user=mdettweiler [2016-09-19 00:01:35] 765*2^1440142-1 is not prime. Res64: 0C54AFBA720BCEE0 Time : 0.0 sec. user=mdettweiler [2016-09-19 00:01:36] 923*2^1440142-1 is not prime. Res64: 47B38952158B8B9D Time : 0.0 sec. user=mdettweiler [2016-09-19 00:01:36] 965*2^1440142-1 is not prime. Res64: 0A90E783B24DF5E3 Time : 0.0 sec. user=mdettweiler [2016-09-19 00:01:37] 649*2^1440143-1 is not prime. Res64: ED70E0F59350223B Time : 0.0 sec. user=mdettweiler [2016-09-19 00:01:37] 673*2^1440143-1 is not prime. Res64: 8FA653F398A540C1 Time : 0.0 sec. user=mdettweiler [2016-09-19 00:38:19] 913*2^1440143-1 is not prime. Res64: EFD167C061CC27CB Time : 0.0 sec. user=mdettweiler [2016-09-19 00:38:19] 693*2^1440144-1 is not prime. Res64: 21750911E5284E79 Time : 0.0 sec. user=mdettweiler [2016-09-19 00:38:19] 843*2^1440144-1 is not prime. Res64: EDA027D467753232 Time : 0.0 sec. user=mdettweiler [2016-09-19 00:38:20] 927*2^1440144-1 is not prime. Res64: 39B3550CBA7EAC02 Time : 0.0 sec. user=mdettweiler [2016-09-19 00:38:20] 983*2^1440144-1 is not prime. Res64: 4083A73C87AF1FC7 Time : 0.0 sec. user=mdettweiler [2016-09-19 00:44:50] 721*2^1440145-1 is not prime. Res64: 7D4F6F35EF6059A3 Time : 0.0 sec. user=mdettweiler [2016-09-19 00:44:51] 765*2^1440145-1 is not prime. Res64: 5C391844E4095D88 Time : 0.0 sec. user=mdettweiler [2016-09-19 00:44:51] 811*2^1440145-1 is not prime. Res64: 4AE8859E6B15E371 Time : 0.0 sec. user=mdettweiler [2016-09-19 00:44:52] 817*2^1440145-1 is not prime. Res64: 0CC2EEF9F6329241 Time : 0.0 sec. user=mdettweiler [2016-09-19 00:44:52] 841*2^1440145-1 is not prime. Res64: 75A6D91F05EAE491 Time : 0.0 sec. user=mdettweiler [2016-09-19 00:47:20] 861*2^1440145-1 is not prime. Res64: 04BEF9965342DC31 Time : 0.0 sec. user=mdettweiler [2016-09-19 00:47:20] 871*2^1440145-1 is not prime. Res64: E2EDA1BCCD6D65D7 Time : 0.0 sec. user=mdettweiler [2016-09-19 00:47:21] 957*2^1440145-1 is not prime. Res64: B6D3E6DD93C79298 Time : 0.0 sec. user=mdettweiler [2016-09-19 00:47:21] 975*2^1440145-1 is not prime. Res64: F7FEEE9C788A3A19 Time : 0.0 sec. user=mdettweiler [2016-09-19 00:47:21] 985*2^1440145-1 is not prime. Res64: 266D5CB2EC17C7E1 Time : 0.0 sec. user=mdettweiler [2016-09-19 01:23:54] 997*2^1440145-1 is not prime. Res64: EDABEC03B22873D3 Time : 0.0 sec. user=mdettweiler [2016-09-19 01:23:54] 633*2^1440146-1 is not prime. Res64: 8A9DFEA0B759777F Time : 0.0 sec. user=mdettweiler [2016-09-19 01:23:55] 641*2^1440146-1 is not prime. Res64: 32181D098341F5F7 Time : 0.0 sec. user=mdettweiler [2016-09-19 01:23:55] 677*2^1440146-1 is not prime. Res64: 377334E628D4E0FE Time : 0.0 sec. user=mdettweiler [2016-09-19 01:23:56] 713*2^1440146-1 is not prime. Res64: 414C191847297975 Time : 0.0 sec. user=mdettweiler [2016-09-19 01:30:43] 717*2^1440146-1 is not prime. Res64: 76C58D9DE0B7CBEF Time : 0.0 sec. user=mdettweiler [2016-09-19 01:30:46] 747*2^1440146-1 is not prime. Res64: 7F7946F9FAD1662F Time : 0.0 sec. user=mdettweiler [2016-09-19 01:30:48] 815*2^1440146-1 is not prime. Res64: 4FA60A282A16316A Time : 0.0 sec. user=mdettweiler [2016-09-19 01:30:50] 1001*2^1440146-1 is not prime. Res64: 40F5A69B17E00D42 Time : 0.0 sec. user=mdettweiler [2016-09-19 01:30:52] 633*2^1440147-1 is not prime. Res64: C200FFA23BDA03F4 Time : 0.0 sec. user=mdettweiler [2016-09-19 01:33:13] 675*2^1440147-1 is not prime. Res64: 4E0B88B871549D03 Time : 0.0 sec. user=mdettweiler [2016-09-19 01:33:14] 805*2^1440147-1 is not prime. Res64: 46FA7499F9DBA2FE Time : 0.0 sec. user=mdettweiler [2016-09-19 01:33:16] 825*2^1440147-1 is not prime. Res64: 5446634B3B1DC826 Time : 0.0 sec. user=mdettweiler [2016-09-19 01:33:17] 843*2^1440147-1 is not prime. Res64: 9F601573D79D7231 Time : 0.0 sec. user=mdettweiler [2016-09-19 01:33:18] 945*2^1440147-1 is not prime. Res64: A37E6164BED8D4E8 Time : 0.0 sec. user=mdettweiler [2016-09-19 01:53:35] 603*2^1440139-1 is not prime. Res64: 258AF97B0546D4BC Time : 0.0 sec. user=mdettweiler [2016-09-19 01:53:36] 615*2^1440139-1 is not prime. Res64: F71CE679AD1A2C41 Time : 0.0 sec. user=mdettweiler [2016-09-19 02:09:25] 663*2^1440148-1 is not prime. Res64: A57C89172885E668 Time : 0.0 sec. user=mdettweiler [2016-09-19 02:09:26] 735*2^1440148-1 is not prime. Res64: 699C537FEF904901 Time : 0.0 sec. user=mdettweiler [2016-09-19 02:09:27] 909*2^1440148-1 is not prime. Res64: 1A7EE3E407498F69 Time : 0.0 sec. user=mdettweiler [2016-09-19 02:09:28] 957*2^1440148-1 is not prime. Res64: 824ECD79FA9B50FD Time : 0.0 sec. user=mdettweiler [2016-09-19 02:09:29] 999*2^1440148-1 is not prime. Res64: AEC4CC83263FB1F0 Time : 0.0 sec. user=mdettweiler [2016-09-19 02:16:34] 685*2^1440149-1 is not prime. Res64: C38C91CA04E72323 Time : 0.0 sec. user=mdettweiler [2016-09-19 02:16:34] 745*2^1440149-1 is not prime. Res64: D1D14F5E518B58D1 Time : 0.0 sec. user=mdettweiler [2016-09-19 02:16:35] 829*2^1440149-1 is not prime. Res64: 9C675457AC1422DE Time : 0.0 sec. user=mdettweiler [2016-09-19 02:16:35] 611*2^1440150-1 is not prime. Res64: 701A999E2DE8A95A Time : 0.0 sec. user=mdettweiler [2016-09-19 02:16:36] 861*2^1440150-1 is not prime. Res64: 4BB874E8C8AA9EA7 Time : 0.0 sec. user=mdettweiler [2016-09-19 02:18:30] 867*2^1440150-1 is not prime. Res64: 871C5AB753C781BE Time : 0.0 sec. user=mdettweiler [2016-09-19 02:18:31] 927*2^1440150-1 is not prime. Res64: EDD2311486EF054F Time : 0.0 sec. user=mdettweiler [2016-09-19 02:18:31] 1001*2^1440150-1 is not prime. Res64: 24CDA8341700387C Time : 0.0 sec. user=mdettweiler [2016-09-19 02:18:31] 619*2^1440151-1 is not prime. Res64: FD5D6EFBF45FF506 Time : 0.0 sec. user=mdettweiler [2016-09-19 02:18:32] 651*2^1440151-1 is not prime. Res64: DC13E0396C910B86 Time : 0.0 sec. user=mdettweiler [2016-09-19 02:38:32] 703*2^1440151-1 is not prime. Res64: 89CFFC9643D84731 Time : 0.0 sec. user=mdettweiler [2016-09-19 02:38:33] 709*2^1440151-1 is not prime. Res64: C836AA1B4A2A05FD Time : 0.0 sec. user=mdettweiler [2016-09-19 02:38:34] 617*2^1440152-1 is not prime. Res64: 17320F3878C3A7F2 Time : 0.0 sec. user=mdettweiler [2016-09-19 02:38:35] 665*2^1440152-1 is not prime. Res64: 5DF55CD944F9D049 Time : 0.0 sec. user=mdettweiler [2016-09-19 02:38:36] 687*2^1440152-1 is not prime. Res64: A3265FA81C0392BA Time : 0.0 sec. user=mdettweiler [2016-09-19 02:54:25] 725*2^1440152-1 is not prime. Res64: D5F54F1247FD67B4 Time : 0.0 sec. user=mdettweiler [2016-09-19 02:54:26] 867*2^1440152-1 is not prime. Res64: 952C45B8791BD1F0 Time : 0.0 sec. user=mdettweiler [2016-09-19 02:54:26] 903*2^1440152-1 is not prime. Res64: 917325D8F953A30C Time : 0.0 sec. user=mdettweiler [2016-09-19 02:54:27] 915*2^1440152-1 is not prime. Res64: 4A1DCF60CAB44F6C Time : 0.0 sec. user=mdettweiler [2016-09-19 02:54:28] 983*2^1440152-1 is not prime. Res64: 1DEB109AEF5104CD Time : 0.0 sec. user=mdettweiler [2016-09-19 03:01:25] 657*2^1440153-1 is not prime. Res64: 8C7A8C529562C704 Time : 0.0 sec. user=mdettweiler [2016-09-19 03:01:27] 705*2^1440153-1 is not prime. Res64: B52F5C6B63C110C8 Time : 0.0 sec. user=mdettweiler [2016-09-19 03:01:28] 817*2^1440153-1 is not prime. Res64: 2576DA5133523FAB Time : 0.0 sec. user=mdettweiler [2016-09-19 03:01:29] 969*2^1440153-1 is not prime. Res64: 50A3A823053BD11E Time : 0.0 sec. user=mdettweiler [2016-09-19 03:01:32] 999*2^1440153-1 is not prime. Res64: 6E85C93B9D1414C1 Time : 0.0 sec. user=mdettweiler [2016-09-19 03:03:26] 825*2^1440154-1 is not prime. Res64: 6C57080D78D54EB0 Time : 0.0 sec. user=mdettweiler [2016-09-19 03:03:28] 831*2^1440154-1 is not prime. Res64: 973DA60EFD14EFD3 Time : 0.0 sec. user=mdettweiler [2016-09-19 03:03:29] 887*2^1440154-1 is not prime. Res64: 242F1BD3FD82F7C9 Time : 0.0 sec. user=mdettweiler [2016-09-19 03:03:30] 903*2^1440154-1 is not prime. Res64: 1A293B627AC472B0 Time : 0.0 sec. user=mdettweiler [2016-09-19 03:03:31] 981*2^1440154-1 is not prime. Res64: 80252AAA50F96A40 Time : 0.0 sec. user=mdettweiler [2016-09-19 03:23:40] 645*2^1440155-1 is not prime. Res64: F14A67C5C8BFF099 Time : 0.0 sec. user=mdettweiler [2016-09-19 03:23:41] 735*2^1440155-1 is not prime. Res64: 92CDB0739FC0F309 Time : 0.0 sec. user=mdettweiler [2016-09-19 03:23:41] 819*2^1440155-1 is not prime. Res64: 3CE13FD823214D8F Time : 0.0 sec. user=mdettweiler [2016-09-19 03:23:42] 885*2^1440155-1 is not prime. Res64: 5FEC6379740F2C76 Time : 0.0 sec. user=mdettweiler [2016-09-19 03:23:42] 943*2^1440155-1 is not prime. Res64: FBE79B3EE52FA013 Time : 0.0 sec. user=mdettweiler [2016-09-19 03:39:34] 985*2^1440155-1 is not prime. Res64: ADF30B69B6722330 Time : 0.0 sec. user=mdettweiler [2016-09-19 03:39:38] 777*2^1440156-1 is not prime. Res64: 5BBFC4E7490B2EDE Time : 0.0 sec. user=mdettweiler [2016-09-19 03:39:41] 845*2^1440156-1 is not prime. Res64: DEF579C693058931 Time : 0.0 sec. user=mdettweiler [2016-09-19 03:39:46] 857*2^1440156-1 is not prime. Res64: A107D180CC34653C Time : 0.0 sec. user=mdettweiler [2016-09-19 03:39:49] 933*2^1440156-1 is not prime. Res64: 8C769DFF0499BE92 Time : 0.0 sec. user=mdettweiler [2016-09-19 03:46:42] 975*2^1440156-1 is not prime. Res64: 27FFBA9AD73BCCD2 Time : 0.0 sec. user=mdettweiler [2016-09-19 03:46:43] 993*2^1440156-1 is not prime. Res64: 892E5259A4E1EE3A Time : 0.0 sec. user=mdettweiler [2016-09-19 03:46:45] 717*2^1440157-1 is not prime. Res64: EA1C4E8F25CDE9D9 Time : 0.0 sec. user=mdettweiler [2016-09-19 03:46:46] 759*2^1440157-1 is not prime. Res64: 74CB50234535E71E Time : 0.0 sec. user=mdettweiler [2016-09-19 03:46:47] 771*2^1440157-1 is not prime. Res64: BB6308B05BDF279E Time : 0.0 sec. user=mdettweiler [2016-09-19 03:48:52] 777*2^1440157-1 is not prime. Res64: F6266A50BB52CF16 Time : 0.0 sec. user=mdettweiler [2016-09-19 03:48:53] 805*2^1440157-1 is not prime. Res64: 56B653E047E10A69 Time : 0.0 sec. user=mdettweiler [2016-09-19 03:48:54] 937*2^1440157-1 is not prime. Res64: D727BA3B6D20280A Time : 0.0 sec. user=mdettweiler [2016-09-19 03:48:55] 939*2^1440157-1 is not prime. Res64: E6A53DFD4E8177A7 Time : 0.0 sec. user=mdettweiler [2016-09-19 03:48:57] 955*2^1440157-1 is not prime. Res64: 0E522DCD2E8A6B4D Time : 0.0 sec. user=mdettweiler [2016-09-19 04:08:49] 635*2^1440158-1 is not prime. Res64: B2F13D4E3FFE4C8C Time : 0.0 sec. user=mdettweiler [2016-09-19 04:08:52] 651*2^1440158-1 is not prime. Res64: EB0048D32656A83B Time : 0.0 sec. user=mdettweiler [2016-09-19 04:08:55] 707*2^1440158-1 is not prime. Res64: A64B4102CFE2128E Time : 0.0 sec. user=mdettweiler [2016-09-19 04:08:58] 711*2^1440158-1 is not prime. Res64: 6D2A10497E2C2AE1 Time : 0.0 sec. user=mdettweiler [2016-09-19 04:09:02] 791*2^1440158-1 is not prime. Res64: E129148F4F233BB8 Time : 0.0 sec. user=mdettweiler [2016-09-19 04:25:40] 801*2^1440158-1 is not prime. Res64: 02C219ACC13A4F2B Time : 0.0 sec. user=mdettweiler [2016-09-19 04:25:40] 845*2^1440158-1 is not prime. Res64: 54DA166EFA4839B2 Time : 0.0 sec. user=mdettweiler [2016-09-19 04:25:41] 887*2^1440158-1 is not prime. Res64: CEC2251AAFFE9FC0 Time : 0.0 sec. user=mdettweiler [2016-09-19 04:25:42] 993*2^1440158-1 is not prime. Res64: 276C85EDD7A5231F Time : 0.0 sec. user=mdettweiler [2016-09-19 04:25:43] 613*2^1440159-1 is not prime. Res64: B858C4755DB8B22F Time : 0.0 sec. user=mdettweiler [2016-09-19 04:32:46] 691*2^1440159-1 is not prime. Res64: BB38D65ABF25410F Time : 0.0 sec. user=mdettweiler [2016-09-19 04:32:47] 831*2^1440159-1 is not prime. Res64: 1C3A8C16646AC12A Time : 0.0 sec. user=mdettweiler [2016-09-19 04:32:47] 873*2^1440159-1 is not prime. Res64: F0BAE551FE5203F3 Time : 0.0 sec. user=mdettweiler [2016-09-19 04:32:48] 677*2^1440160-1 is not prime. Res64: 583B12FA997B5CCB Time : 0.0 sec. user=mdettweiler [2016-09-19 04:32:49] 689*2^1440160-1 is not prime. Res64: 84A879718F435514 Time : 0.0 sec. user=mdettweiler [2016-09-19 04:35:46] 717*2^1440160-1 is not prime. Res64: 9CC20978BD20B642 Time : 0.0 sec. user=mdettweiler [2016-09-19 04:35:46] 723*2^1440160-1 is not prime. Res64: 2253649A32A009AC Time : 0.0 sec. user=mdettweiler [2016-09-19 04:35:47] 755*2^1440160-1 is not prime. Res64: 6C1FD9EB6441518F Time : 0.0 sec. user=mdettweiler [2016-09-19 04:35:48] 813*2^1440160-1 is not prime. Res64: 5253EC60F6E76049 Time : 0.0 sec. user=mdettweiler [2016-09-19 04:35:48] 601*2^1440161-1 is not prime. Res64: 59703C7F8E6558F5 Time : 0.0 sec. user=mdettweiler [2016-09-19 04:55:32] 637*2^1440161-1 is not prime. Res64: E59E79E4B94F1299 Time : 0.0 sec. user=mdettweiler [2016-09-19 04:55:33] 811*2^1440161-1 is not prime. Res64: 30777A0BC140E581 Time : 0.0 sec. user=mdettweiler [2016-09-19 04:55:33] 879*2^1440161-1 is not prime. Res64: F383E6329AA0CE1A Time : 0.0 sec. user=mdettweiler [2016-09-19 04:55:34] 931*2^1440161-1 is not prime. Res64: F413EE730CF80B00 Time : 0.0 sec. user=mdettweiler [2016-09-19 04:55:35] 991*2^1440161-1 is not prime. Res64: C499DABAD870B670 Time : 0.0 sec. user=mdettweiler [2016-09-19 05:11:21] 735*2^1440162-1 is not prime. Res64: 6EBEB8689FC71F44 Time : 0.0 sec. user=mdettweiler [2016-09-19 05:11:22] 867*2^1440162-1 is not prime. Res64: 5A10107E92A2DE57 Time : 0.0 sec. user=mdettweiler [2016-09-19 05:11:23] 735*2^1440163-1 is not prime. Res64: 868B84C84FD8A4CE Time : 0.0 sec. user=mdettweiler [2016-09-19 05:11:23] 855*2^1440163-1 is not prime. Res64: 3B02EDD783C70B75 Time : 0.0 sec. user=mdettweiler [2016-09-19 05:11:25] 889*2^1440163-1 is not prime. Res64: 2AA7F000C5739490 Time : 0.0 sec. user=mdettweiler [2016-09-19 05:18:03] 915*2^1440163-1 is not prime. Res64: 9AC8323B6399C3D1 Time : 0.0 sec. user=mdettweiler [2016-09-19 05:18:04] 609*2^1440164-1 is not prime. Res64: F6EFCFD03F4D01B1 Time : 0.0 sec. user=mdettweiler [2016-09-19 05:18:05] 699*2^1440164-1 is not prime. Res64: B4E18BDEF13F42D3 Time : 0.0 sec. user=mdettweiler [2016-09-19 05:18:06] 719*2^1440164-1 is not prime. Res64: 493135D9FC0E2FEC Time : 0.0 sec. user=mdettweiler [2016-09-19 05:18:06] 725*2^1440164-1 is not prime. Res64: 59734BF3F4ED16BF Time : 0.0 sec. user=mdettweiler [2016-09-19 05:20:47] 789*2^1440164-1 is not prime. Res64: D7875CDED89690D5 Time : 0.0 sec. user=mdettweiler [2016-09-19 05:20:48] 813*2^1440164-1 is not prime. Res64: 160AFFDAEEAAA7B0 Time : 0.0 sec. user=mdettweiler [2016-09-19 05:20:48] 869*2^1440164-1 is not prime. Res64: 940E8BE1CE6572C1 Time : 0.0 sec. user=mdettweiler [2016-09-19 05:20:49] 885*2^1440164-1 is not prime. Res64: 064DDA17BB18B0E1 Time : 0.0 sec. user=mdettweiler [2016-09-19 05:20:49] 927*2^1440164-1 is not prime. Res64: 150594DAFFCC631E Time : 0.0 sec. user=mdettweiler [2016-09-19 05:40:34] 929*2^1440164-1 is not prime. Res64: 6EF383FC7C9B661E Time : 0.0 sec. user=mdettweiler [2016-09-19 05:40:34] 957*2^1440164-1 is not prime. Res64: 6E4B2CD830BFDAE4 Time : 0.0 sec. user=mdettweiler [2016-09-19 05:40:35] 669*2^1440165-1 is not prime. Res64: A85A01AAA9A7A4E6 Time : 0.0 sec. user=mdettweiler [2016-09-19 05:40:35] 735*2^1440165-1 is not prime. Res64: DCC5FC2858CF0CFE Time : 0.0 sec. user=mdettweiler [2016-09-19 05:40:35] 969*2^1440165-1 is not prime. Res64: 1C2A6BF176D948B6 Time : 0.0 sec. user=mdettweiler [2016-09-19 05:56:29] 975*2^1440165-1 is not prime. Res64: 6717495638AFF709 Time : 0.0 sec. user=mdettweiler [2016-09-19 05:56:29] 979*2^1440165-1 is not prime. Res64: BA552B38B78FD1FA Time : 0.0 sec. user=mdettweiler [2016-09-19 05:56:29] 999*2^1440165-1 is not prime. Res64: 111F00AC2439CD07 Time : 0.0 sec. user=mdettweiler [2016-09-19 05:56:30] 611*2^1440166-1 is not prime. Res64: C8F6702BE6C6B471 Time : 0.0 sec. user=mdettweiler [2016-09-19 05:56:30] 623*2^1440166-1 is not prime. Res64: F38E2D4F4AA83E80 Time : 0.0 sec. user=mdettweiler [2016-09-19 06:03:08] 821*2^1440166-1 is not prime. Res64: 1C8CA17596193CE2 Time : 0.0 sec. user=mdettweiler [2016-09-19 06:03:09] 825*2^1440166-1 is not prime. Res64: C52AB759DB4AD338 Time : 0.0 sec. user=mdettweiler [2016-09-19 06:03:10] 891*2^1440166-1 is not prime. Res64: F22C5A36B82FB62E Time : 0.0 sec. user=mdettweiler [2016-09-19 06:03:10] 965*2^1440166-1 is not prime. Res64: E2D2DDE20E74798D Time : 0.0 sec. user=mdettweiler [2016-09-19 06:03:11] 711*2^1440167-1 is not prime. Res64: 38D1323FBA0AC626 Time : 0.0 sec. user=mdettweiler [2016-09-19 06:05:34] 825*2^1440167-1 is not prime. Res64: 9442C77B374C193B Time : 0.0 sec. user=mdettweiler [2016-09-19 06:05:35] 635*2^1440168-1 is not prime. Res64: B118FDE7278109F7 Time : 0.0 sec. user=mdettweiler [2016-09-19 06:05:36] 689*2^1440168-1 is not prime. Res64: E5E19BDDF20AD2D8 Time : 0.0 sec. user=mdettweiler [2016-09-19 06:05:36] 707*2^1440168-1 is not prime. Res64: 15102C4507F0E7BC Time : 0.0 sec. user=mdettweiler [2016-09-19 06:05:37] 825*2^1440168-1 is not prime. Res64: 3FDA177516CFE89C Time : 0.0 sec. user=mdettweiler [2016-09-19 06:25:32] 843*2^1440168-1 is not prime. Res64: D2E3802C91FBD591 Time : 0.0 sec. user=mdettweiler [2016-09-19 06:25:33] 879*2^1440168-1 is not prime. Res64: A8D16CFCDC2EC651 Time : 0.0 sec. user=mdettweiler [2016-09-19 06:25:33] 899*2^1440168-1 is not prime. Res64: D52FADAB79E7775E Time : 0.0 sec. user=mdettweiler [2016-09-19 06:25:33] 905*2^1440168-1 is not prime. Res64: 5E66D75048FC47A4 Time : 0.0 sec. user=mdettweiler [2016-09-19 06:25:34] 637*2^1440169-1 is not prime. Res64: CEFC56B87E629C46 Time : 0.0 sec. user=mdettweiler [2016-09-19 06:41:24] 705*2^1440169-1 is not prime. Res64: A99D77EF3ED31136 Time : 0.0 sec. user=mdettweiler [2016-09-19 06:41:25] 745*2^1440169-1 is not prime. Res64: 111384A046E1376A Time : 0.0 sec. user=mdettweiler [2016-09-19 06:41:25] 747*2^1440169-1 is not prime. Res64: 4A8CE2FCACA65066 Time : 0.0 sec. user=mdettweiler [2016-09-19 06:41:25] 811*2^1440169-1 is not prime. Res64: 01FFFBEAC19D9E40 Time : 0.0 sec. user=mdettweiler [2016-09-19 06:41:26] 819*2^1440169-1 is not prime. Res64: DCCBB5F18A954D91 Time : 0.0 sec. user=mdettweiler [2016-09-19 06:48:18] 985*2^1440169-1 is not prime. Res64: 38D20D3072501AC2 Time : 0.0 sec. user=mdettweiler [2016-09-19 06:48:18] 997*2^1440169-1 is not prime. Res64: 13EA785D16784A95 Time : 0.0 sec. user=mdettweiler [2016-09-19 06:48:18] 657*2^1440170-1 is not prime. Res64: 1922A3A930B30BDC Time : 0.0 sec. user=mdettweiler [2016-09-19 06:48:19] 783*2^1440170-1 is not prime. Res64: 8FA1FE9D7557252F Time : 0.0 sec. user=mdettweiler [2016-09-19 06:48:19] 797*2^1440170-1 is not prime. Res64: 283D080B59A97D37 Time : 0.0 sec. user=mdettweiler [2016-09-19 06:50:35] 845*2^1440170-1 is not prime. Res64: F75D050FA351D551 Time : 0.0 sec. user=mdettweiler [2016-09-19 06:50:36] 887*2^1440170-1 is not prime. Res64: 7B8282BDDDFD073C Time : 0.0 sec. user=mdettweiler [2016-09-19 06:50:36] 917*2^1440170-1 is not prime. Res64: 63FFA8B9CDC125EC Time : 0.0 sec. user=mdettweiler [2016-09-19 06:50:36] 971*2^1440170-1 is not prime. Res64: 41EE226A154B7224 Time : 0.0 sec. user=mdettweiler [2016-09-19 06:50:37] 651*2^1440171-1 is not prime. Res64: 5E45835F3A1AF1A3 Time : 0.0 sec. user=mdettweiler [2016-09-19 07:10:50] 669*2^1440171-1 is not prime. Res64: 15B9F904D89C64A1 Time : 0.0 sec. user=mdettweiler [2016-09-19 07:10:52] 789*2^1440171-1 is not prime. Res64: D567A02DC8AF3EC7 Time : 0.0 sec. user=mdettweiler [2016-09-19 07:10:53] 801*2^1440171-1 is not prime. Res64: FA6506279A5B5E82 Time : 0.0 sec. user=mdettweiler [2016-09-19 07:10:54] 861*2^1440171-1 is not prime. Res64: 11D8332E1A1E93AE Time : 0.0 sec. user=mdettweiler [2016-09-19 07:10:55] 895*2^1440171-1 is not prime. Res64: 635C348ADE3ACDAD Time : 0.0 sec. user=mdettweiler [2016-09-19 07:26:36] 903*2^1440171-1 is not prime. Res64: 40695963C1299A13 Time : 0.0 sec. user=mdettweiler [2016-09-19 07:26:37] 945*2^1440171-1 is not prime. Res64: 87AA432B07792A2F Time : 0.0 sec. user=mdettweiler [2016-09-19 07:26:37] 623*2^1440172-1 is not prime. Res64: 7796977BF929E39C Time : 0.0 sec. user=mdettweiler [2016-09-19 07:26:37] 657*2^1440172-1 is not prime. Res64: C4CD821E2D72D2BD Time : 0.0 sec. user=mdettweiler [2016-09-19 07:26:38] 759*2^1440172-1 is not prime. Res64: 6B2422063F70A5F9 Time : 0.0 sec. user=mdettweiler [2016-09-19 07:33:19] 833*2^1440172-1 is not prime. Res64: 003567C050586BAB Time : 0.0 sec. user=mdettweiler [2016-09-19 07:33:19] 909*2^1440172-1 is not prime. Res64: 3DCB5A21EFB873F1 Time : 0.0 sec. user=mdettweiler [2016-09-19 07:33:20] 939*2^1440172-1 is not prime. Res64: 5E67D10410A3167C Time : 0.0 sec. user=mdettweiler [2016-09-19 07:33:20] 619*2^1440173-1 is not prime. Res64: 2F9FAEF043379327 Time : 0.0 sec. user=mdettweiler [2016-09-19 07:33:20] 657*2^1440173-1 is not prime. Res64: D7D59FCACE3E7513 Time : 0.0 sec. user=mdettweiler [2016-09-19 07:35:21] 699*2^1440173-1 is not prime. Res64: 07768DB985023A2A Time : 0.0 sec. user=mdettweiler [2016-09-19 07:35:21] 721*2^1440173-1 is not prime. Res64: 6195D3B281B2929C Time : 0.0 sec. user=mdettweiler [2016-09-19 07:35:22] 735*2^1440173-1 is not prime. Res64: 3BD45C776D606F88 Time : 0.0 sec. user=mdettweiler [2016-09-19 07:35:22] 781*2^1440173-1 is not prime. Res64: E4314EBAF4BA5CF3 Time : 0.0 sec. user=mdettweiler [2016-09-19 07:35:22] 847*2^1440173-1 is not prime. Res64: AE72937B7203B7A7 Time : 0.0 sec. user=mdettweiler [2016-09-19 07:56:03] 981*2^1440173-1 is not prime. Res64: 5266CFCEE63027F2 Time : 0.0 sec. user=mdettweiler [2016-09-19 07:56:04] 985*2^1440173-1 is not prime. Res64: 1906F4CA398CA952 Time : 0.0 sec. user=mdettweiler [2016-09-19 07:56:04] 627*2^1440174-1 is not prime. Res64: 3CC9C95957E878BA Time : 0.0 sec. user=mdettweiler [2016-09-19 07:56:04] 657*2^1440174-1 is not prime. Res64: A7092991720F6A6F Time : 0.0 sec. user=mdettweiler [2016-09-19 07:56:05] 717*2^1440174-1 is not prime. Res64: 62732CF1EB55E4FB Time : 0.0 sec. user=mdettweiler [2016-09-19 08:11:38] 725*2^1440174-1 is not prime. Res64: 829C578DAD978A6B Time : 0.0 sec. user=mdettweiler [2016-09-19 08:11:39] 755*2^1440174-1 is not prime. Res64: F396C90FA5B0888D Time : 0.0 sec. user=mdettweiler [2016-09-19 08:11:39] 791*2^1440174-1 is not prime. Res64: 5C0AA6622F0CF969 Time : 0.0 sec. user=mdettweiler [2016-09-19 08:11:40] 825*2^1440174-1 is not prime. Res64: 5B92E86CE4ABD915 Time : 0.0 sec. user=mdettweiler [2016-09-19 08:11:41] 965*2^1440174-1 is not prime. Res64: 86E92D7A96BEB47A Time : 0.0 sec. user=mdettweiler [2016-09-19 08:18:17] 715*2^1440175-1 is not prime. Res64: 0C40377F39F2A05B Time : 0.0 sec. user=mdettweiler [2016-09-19 08:18:18] 765*2^1440175-1 is not prime. Res64: 9705FD8BE7120C5B Time : 0.0 sec. user=mdettweiler [2016-09-19 08:18:18] 819*2^1440175-1 is not prime. Res64: 7BF21A71D91499CD Time : 0.0 sec. user=mdettweiler [2016-09-19 08:18:18] 871*2^1440175-1 is not prime. Res64: 59D18C6B120F12E4 Time : 0.0 sec. user=mdettweiler [2016-09-19 08:18:19] 885*2^1440175-1 is not prime. Res64: 8D479FC855A4F051 Time : 0.0 sec. user=mdettweiler [2016-09-19 08:20:16] 985*2^1440175-1 is not prime. Res64: A3EEC71FB3B69075 Time : 0.0 sec. user=mdettweiler [2016-09-19 08:20:16] 999*2^1440175-1 is not prime. Res64: 3BAEF517481E0145 Time : 0.0 sec. user=mdettweiler [2016-09-19 08:20:17] 629*2^1440176-1 is not prime. Res64: 758C186AF9F9C921 Time : 0.0 sec. user=mdettweiler [2016-09-19 08:20:17] 657*2^1440176-1 is not prime. Res64: B97853C39CC6CC6E Time : 0.0 sec. user=mdettweiler [2016-09-19 08:20:17] 699*2^1440176-1 is not prime. Res64: FBBF5DB76D80C682 Time : 0.0 sec. user=mdettweiler [2016-09-19 08:40:58] 845*2^1440176-1 is not prime. Res64: 5998275B6502A5F5 Time : 0.0 sec. user=mdettweiler [2016-09-19 08:40:59] 873*2^1440176-1 is not prime. Res64: 96BB0A68169DD7DF Time : 0.0 sec. user=mdettweiler [2016-09-19 08:40:59] 969*2^1440176-1 is not prime. Res64: 4D3A2979A55DEF32 Time : 0.0 sec. user=mdettweiler [2016-09-19 08:40:59] 609*2^1440177-1 is not prime. Res64: BAA9746ED18642E8 Time : 0.0 sec. user=mdettweiler [2016-09-19 08:41:00] 667*2^1440177-1 is not prime. Res64: 2BC5A097AA365A68 Time : 0.0 sec. user=mdettweiler [2016-09-19 08:56:48] 669*2^1440177-1 is not prime. Res64: 526625A0F59EEBAE Time : 0.0 sec. user=mdettweiler [2016-09-19 08:56:49] 681*2^1440177-1 is not prime. Res64: F5B76101B2049AE1 Time : 0.0 sec. user=mdettweiler [2016-09-19 08:56:49] 699*2^1440177-1 is not prime. Res64: A5A65091F3209CBE Time : 0.0 sec. user=mdettweiler [2016-09-19 08:56:49] 717*2^1440177-1 is not prime. Res64: 590796A1D55842C9 Time : 0.0 sec. user=mdettweiler [2016-09-19 08:56:50] 909*2^1440177-1 is not prime. Res64: F500485C4240D6A7 Time : 0.0 sec. user=mdettweiler [2016-09-19 09:03:16] 937*2^1440177-1 is not prime. Res64: 146C1168CEEF4125 Time : 0.0 sec. user=mdettweiler [2016-09-19 09:03:16] 955*2^1440177-1 is not prime. Res64: 13279082A15AE817 Time : 0.0 sec. user=mdettweiler [2016-09-19 09:03:17] 623*2^1440178-1 is not prime. Res64: 433E5045E826DE48 Time : 0.0 sec. user=mdettweiler [2016-09-19 09:03:18] 651*2^1440178-1 is not prime. Res64: 986D58608876DEFD Time : 0.0 sec. user=mdettweiler [2016-09-19 09:03:19] 665*2^1440178-1 is not prime. Res64: CBCEA1A8E33E74FE Time : 0.0 sec. user=mdettweiler [2016-09-19 09:05:17] 713*2^1440178-1 is not prime. Res64: 568687545EDD65C7 Time : 0.0 sec. user=mdettweiler [2016-09-19 09:05:18] 723*2^1440178-1 is not prime. Res64: E9904F36A72B6095 Time : 0.0 sec. user=mdettweiler [2016-09-19 09:05:19] 791*2^1440178-1 is not prime. Res64: B6F19D5114D4A8B6 Time : 0.0 sec. user=mdettweiler [2016-09-19 09:05:20] 825*2^1440178-1 is not prime. Res64: 7719ACA1906FD5CE Time : 0.0 sec. user=mdettweiler [2016-09-19 09:05:21] 957*2^1440178-1 is not prime. Res64: 33AFF44903E2B5E5 Time : 0.0 sec. user=mdettweiler [2016-09-19 09:26:36] 987*2^1440178-1 is not prime. Res64: FE77808F79B963BD Time : 0.0 sec. user=mdettweiler [2016-09-19 09:26:36] 995*2^1440178-1 is not prime. Res64: DE673394B0A2A898 Time : 0.0 sec. user=mdettweiler [2016-09-19 09:26:37] 609*2^1440179-1 is not prime. Res64: C8BDC105CA2C7B50 Time : 0.0 sec. user=mdettweiler [2016-09-19 09:26:37] 645*2^1440179-1 is not prime. Res64: AA2CBE703E343922 Time : 0.0 sec. user=mdettweiler [2016-09-19 09:26:37] 883*2^1440179-1 is not prime. Res64: CF2DEB658FB5A50B Time : 0.0 sec. user=mdettweiler [2016-09-19 09:44:39] 969*2^1440179-1 is not prime. Res64: CF3A02DDB7BDA506 Time : 0.0 sec. user=mdettweiler [2016-09-19 09:44:39] 719*2^1440180-1 is not prime. Res64: C085768406D0A5BB Time : 0.0 sec. user=mdettweiler [2016-09-19 09:44:40] 809*2^1440180-1 is not prime. Res64: D48F36949F901D00 Time : 0.0 sec. user=mdettweiler [2016-09-19 09:44:40] 839*2^1440180-1 is not prime. Res64: 42B5B456EB7F8AD2 Time : 0.0 sec. user=mdettweiler [2016-09-19 09:44:40] 923*2^1440180-1 is not prime. Res64: 73EE3DA6C9E6F407 Time : 0.0 sec. user=mdettweiler [2016-09-19 09:52:29] 639*2^1440181-1 is not prime. Res64: 1107D6A952C11ACE Time : 0.0 sec. user=mdettweiler [2016-09-19 09:52:30] 681*2^1440181-1 is not prime. Res64: 48D3EF4126674569 Time : 0.0 sec. user=mdettweiler [2016-09-19 09:52:30] 747*2^1440181-1 is not prime. Res64: 418AFAB2CFD44682 Time : 0.0 sec. user=mdettweiler [2016-09-19 09:52:30] 819*2^1440181-1 is not prime. Res64: D8168B434AA6847E Time : 0.0 sec. user=mdettweiler [2016-09-19 09:52:30] 997*2^1440181-1 is not prime. Res64: 0AB77558F7A427F7 Time : 0.0 sec. user=mdettweiler [2016-09-19 09:55:04] 999*2^1440181-1 is not prime. Res64: 3070E0D497AAB3DC Time : 0.0 sec. user=mdettweiler [2016-09-19 09:55:04] 675*2^1440182-1 is not prime. Res64: CAF1D885F9118E00 Time : 0.0 sec. user=mdettweiler [2016-09-19 09:55:04] 713*2^1440182-1 is not prime. Res64: 951A24CCE41518C8 Time : 0.0 sec. user=mdettweiler [2016-09-19 09:55:05] 743*2^1440182-1 is not prime. Res64: 2ABEECCBC3E4314D Time : 0.0 sec. user=mdettweiler [2016-09-19 09:55:05] 755*2^1440182-1 is not prime. Res64: 9EFAE508F856D1A9 Time : 0.0 sec. user=mdettweiler [2016-09-19 10:17:19] 761*2^1440182-1 is not prime. Res64: 9629556E89C9238F Time : 0.0 sec. user=mdettweiler [2016-09-19 10:17:19] 771*2^1440182-1 is not prime. Res64: 506B53D4D7FA8054 Time : 0.0 sec. user=mdettweiler [2016-09-19 10:17:19] 825*2^1440182-1 is not prime. Res64: 4C3ADBEE94415301 Time : 0.0 sec. user=mdettweiler [2016-09-19 10:17:20] 833*2^1440182-1 is not prime. Res64: F8502F4D77EC992B Time : 0.0 sec. user=mdettweiler [2016-09-19 10:17:20] 893*2^1440182-1 is not prime. Res64: D6C9A33B9B79C4CB Time : 0.0 sec. user=mdettweiler [2016-09-19 10:34:27] 911*2^1440182-1 is not prime. Res64: 7830EB896A0DABA9 Time : 0.0 sec. user=mdettweiler [2016-09-19 10:34:27] 693*2^1440183-1 is not prime. Res64: A1AE1487CFB272A9 Time : 0.0 sec. user=mdettweiler [2016-09-19 10:34:27] 831*2^1440183-1 is not prime. Res64: 8BBA4A24B4C2DCC7 Time : 0.0 sec. user=mdettweiler [2016-09-19 10:34:28] 891*2^1440183-1 is not prime. Res64: C4FB6ECDA5556C98 Time : 0.0 sec. user=mdettweiler [2016-09-19 10:34:28] 945*2^1440183-1 is not prime. Res64: 299F93BA96241C25 Time : 0.0 sec. user=mdettweiler [2016-09-19 10:40:43] 657*2^1440184-1 is not prime. Res64: 0EACD770A8A73A73 Time : 0.0 sec. user=mdettweiler [2016-09-19 10:40:43] 665*2^1440184-1 is not prime. Res64: CBE01737D8E11A65 Time : 0.0 sec. user=mdettweiler [2016-09-19 10:40:44] 759*2^1440184-1 is not prime. Res64: 84A38030813AFAC5 Time : 0.0 sec. user=mdettweiler [2016-09-19 10:40:44] 819*2^1440184-1 is not prime. Res64: DF822F2E86F0C507 Time : 0.0 sec. user=mdettweiler [2016-09-19 10:40:44] 887*2^1440184-1 is not prime. Res64: DB72733E43676BE8 Time : 0.0 sec. user=mdettweiler [2016-09-19 10:43:03] 915*2^1440184-1 is not prime. Res64: 9178D2859208D5AC Time : 0.0 sec. user=mdettweiler [2016-09-19 10:43:03] 989*2^1440184-1 is not prime. Res64: 06606DEB24D06ED3 Time : 0.0 sec. user=mdettweiler [2016-09-19 10:43:04] 627*2^1440185-1 is not prime. Res64: 6E00FE1F3CEF1C9F Time : 0.0 sec. user=mdettweiler [2016-09-19 10:43:04] 679*2^1440185-1 is not prime. Res64: C4A39C813CBE2BF1 Time : 0.0 sec. user=mdettweiler [2016-09-19 10:43:04] 805*2^1440185-1 is not prime. Res64: 2AD67384E9AF1CA3 Time : 0.0 sec. user=mdettweiler [2016-09-19 11:03:08] 979*2^1440185-1 is not prime. Res64: 0A2E9C2EDBF8188D Time : 0.0 sec. user=mdettweiler [2016-09-19 11:03:09] 837*2^1440186-1 is not prime. Res64: 13244892E88D9BF4 Time : 0.0 sec. user=mdettweiler [2016-09-19 11:03:09] 983*2^1440186-1 is not prime. Res64: E46B75B441988E86 Time : 0.0 sec. user=mdettweiler [2016-09-19 11:03:10] 693*2^1440187-1 is not prime. Res64: 627B45484C1CE3AD Time : 0.0 sec. user=mdettweiler [2016-09-19 11:03:10] 843*2^1440187-1 is not prime. Res64: C6B25B02B62F939F Time : 0.0 sec. user=mdettweiler [2016-09-19 11:20:09] 915*2^1440187-1 is not prime. Res64: C65D7B0319557411 Time : 0.0 sec. user=mdettweiler [2016-09-19 11:20:09] 975*2^1440187-1 is not prime. Res64: D9EB01C09D82D08C Time : 0.0 sec. user=mdettweiler [2016-09-19 11:20:10] 979*2^1440187-1 is not prime. Res64: 4C4CE8C282A061A4 Time : 0.0 sec. user=mdettweiler [2016-09-19 11:20:10] 993*2^1440187-1 is not prime. Res64: B335AD7E4CA9AABD Time : 0.0 sec. user=mdettweiler [2016-09-19 11:20:10] 647*2^1440188-1 is not prime. Res64: 3D6516C39C8A24C5 Time : 0.0 sec. user=mdettweiler [2016-09-19 11:26:34] 749*2^1440188-1 is not prime. Res64: 40AD9204FA14645C Time : 0.0 sec. user=mdettweiler [2016-09-19 11:26:34] 839*2^1440188-1 is not prime. Res64: AC3A7294DE72FB50 Time : 0.0 sec. user=mdettweiler [2016-09-19 11:26:35] 875*2^1440188-1 is not prime. Res64: 08EC15BEBF906D78 Time : 0.0 sec. user=mdettweiler [2016-09-19 11:26:35] 969*2^1440188-1 is not prime. Res64: 030FAF5510EE352E Time : 0.0 sec. user=mdettweiler [2016-09-19 11:26:36] 639*2^1440189-1 is not prime. Res64: 6F274FC228559EEE Time : 0.0 sec. user=mdettweiler [2016-09-19 11:28:55] 795*2^1440189-1 is not prime. Res64: 34E477A5CDCB34A9 Time : 0.0 sec. user=mdettweiler [2016-09-19 11:28:55] 829*2^1440189-1 is not prime. Res64: D25A10BA87F4C932 Time : 0.0 sec. user=mdettweiler [2016-09-19 11:28:55] 919*2^1440189-1 is not prime. Res64: A8854FEB1A5F64E5 Time : 0.0 sec. user=mdettweiler [2016-09-19 11:28:56] 951*2^1440189-1 is not prime. Res64: D91F5C51424279A2 Time : 0.0 sec. user=mdettweiler [2016-09-19 11:28:56] 975*2^1440189-1 is not prime. Res64: 3CED5423D00F1026 Time : 0.0 sec. user=mdettweiler [2016-09-19 11:48:32] 603*2^1440190-1 is not prime. Res64: 12088D9AC6221787 Time : 0.0 sec. user=mdettweiler [2016-09-19 11:48:32] 741*2^1440190-1 is not prime. Res64: CC1EC35E0E511256 Time : 0.0 sec. user=mdettweiler [2016-09-19 11:48:33] 761*2^1440190-1 is not prime. Res64: CCE33817365AF344 Time : 0.0 sec. user=mdettweiler [2016-09-19 11:48:33] 785*2^1440190-1 is not prime. Res64: A5CBCE6DB7FFC96A Time : 0.0 sec. user=mdettweiler [2016-09-19 11:48:33] 609*2^1440191-1 is not prime. Res64: E5CFD01F4D95B342 Time : 0.0 sec. user=mdettweiler [2016-09-19 12:05:11] 715*2^1440191-1 is not prime. Res64: 109C52322FCFFA06 Time : 0.0 sec. user=mdettweiler [2016-09-19 12:05:13] 813*2^1440191-1 is not prime. Res64: 89D5AAC5EBC5A4D4 Time : 0.0 sec. user=mdettweiler [2016-09-19 12:05:14] 819*2^1440191-1 is not prime. Res64: 11CB98D12E5C85C0 Time : 0.0 sec. user=mdettweiler [2016-09-19 12:05:15] 841*2^1440191-1 is not prime. Res64: EFEA0311EB60ABBF Time : 0.0 sec. user=mdettweiler [2016-09-19 12:05:16] 943*2^1440191-1 is not prime. Res64: 5503BD3B63701C19 Time : 0.0 sec. user=mdettweiler [2016-09-19 12:11:39] 955*2^1440191-1 is not prime. Res64: DFD0249910055188 Time : 0.0 sec. user=mdettweiler [2016-09-19 12:11:39] 669*2^1440192-1 is not prime. Res64: 1ABCB616CA553891 Time : 0.0 sec. user=mdettweiler [2016-09-19 12:11:40] 689*2^1440192-1 is not prime. Res64: 9096EC18FD9E626E Time : 0.0 sec. user=mdettweiler [2016-09-19 12:11:41] 693*2^1440192-1 is not prime. Res64: E0F927EDD4013D82 Time : 0.0 sec. user=mdettweiler [2016-09-19 12:11:42] 753*2^1440192-1 is not prime. Res64: 34CDF88ED912A856 Time : 0.0 sec. user=mdettweiler [2016-09-19 12:33:37] 687*2^1440193-1 is not prime. Res64: D38891EF6318B6D8 Time : 0.0 sec. user=mdettweiler [2016-09-19 12:33:38] 765*2^1440193-1 is not prime. Res64: 65AD49A8850FF72A Time : 0.0 sec. user=mdettweiler [2016-09-19 12:33:38] 951*2^1440193-1 is not prime. Res64: C04F792F2436DC4C Time : 0.0 sec. user=mdettweiler [2016-09-19 12:33:39] 657*2^1440194-1 is not prime. Res64: 42C03B78B61A5C35 Time : 0.0 sec. user=mdettweiler [2016-09-19 12:33:39] 791*2^1440194-1 is not prime. Res64: 89F33EE946FE465B Time : 0.0 sec. user=mdettweiler [2016-09-19 12:50:44] 797*2^1440194-1 is not prime. Res64: 4D966502F996CF40 Time : 0.0 sec. user=mdettweiler [2016-09-19 12:50:44] 885*2^1440194-1 is not prime. Res64: 470805FBF6312877 Time : 0.0 sec. user=mdettweiler [2016-09-19 12:50:45] 601*2^1440195-1 is not prime. Res64: 4C207AD38A06E210 Time : 0.0 sec. user=mdettweiler [2016-09-19 12:50:45] 613*2^1440195-1 is not prime. Res64: AD983C8AE3754BF8 Time : 0.0 sec. user=mdettweiler [2016-09-19 12:50:46] 619*2^1440195-1 is not prime. Res64: 4FC90BDC6A67228D Time : 0.0 sec. user=mdettweiler [2016-09-19 12:57:07] 639*2^1440195-1 is not prime. Res64: 81596B0E244E18D2 Time : 0.0 sec. user=mdettweiler [2016-09-19 12:57:08] 643*2^1440195-1 is not prime. Res64: 92472CF281C13FE3 Time : 0.0 sec. user=mdettweiler [2016-09-19 12:57:08] 765*2^1440195-1 is not prime. Res64: 5DAC720D946ECD41 Time : 0.0 sec. user=mdettweiler [2016-09-19 12:57:08] 873*2^1440195-1 is not prime. Res64: 13BEA83447C94182 Time : 0.0 sec. user=mdettweiler [2016-09-19 12:57:09] 951*2^1440195-1 is not prime. Res64: 662E68BA07E506C8 Time : 0.0 sec. user=mdettweiler [2016-09-19 13:19:21] 961*2^1440195-1 is not prime. Res64: 9B02E5E465888DF9 Time : 0.0 sec. user=mdettweiler [2016-09-19 13:19:22] 689*2^1440196-1 is not prime. Res64: F5CDE57C75FB9B42 Time : 0.0 sec. user=mdettweiler [2016-09-19 13:19:22] 869*2^1440196-1 is not prime. Res64: 0C7AABF8196575C4 Time : 0.0 sec. user=mdettweiler [2016-09-19 13:19:23] 875*2^1440196-1 is not prime. Res64: 86A029F881E0B2A3 Time : 0.0 sec. user=mdettweiler [2016-09-19 13:19:23] 711*2^1440197-1 is not prime. Res64: 01120828D25F4C12 Time : 0.0 sec. user=mdettweiler [2016-09-19 13:36:49] 717*2^1440197-1 is not prime. Res64: 5DAE619FA85B224D Time : 0.0 sec. user=mdettweiler [2016-09-19 13:36:49] 729*2^1440197-1 is not prime. Res64: E3C877EA564548F5 Time : 0.0 sec. user=mdettweiler [2016-09-19 13:36:50] 771*2^1440197-1 is not prime. Res64: 69C81FBF056E677B Time : 0.0 sec. user=mdettweiler [2016-09-19 13:36:50] 795*2^1440197-1 is not prime. Res64: D26F557368EA26F6 Time : 0.0 sec. user=mdettweiler [2016-09-19 13:36:50] 799*2^1440197-1 is not prime. Res64: CC2BA0D5F4DE6CE4 Time : 0.0 sec. user=mdettweiler [2016-09-19 13:43:23] 925*2^1440197-1 is not prime. Res64: 15624A8C53A86E09 Time : 0.0 sec. user=mdettweiler [2016-09-19 13:43:23] 677*2^1440198-1 is not prime. Res64: 99345D6C1793743E Time : 0.0 sec. user=mdettweiler [2016-09-19 13:43:24] 683*2^1440198-1 is not prime. Res64: EBEFC6C9F3E67EBE Time : 0.0 sec. user=mdettweiler [2016-09-19 13:43:24] 695*2^1440198-1 is not prime. Res64: CA9D26A0A8299C2B Time : 0.0 sec. user=mdettweiler [2016-09-19 13:43:24] 707*2^1440198-1 is not prime. Res64: D628B0141D0912B3 Time : 0.0 sec. user=mdettweiler [2016-09-19 14:06:44] 777*2^1440198-1 is not prime. Res64: AFAF8B8B6710CA3C Time : 0.0 sec. user=mdettweiler [2016-09-19 14:06:45] 791*2^1440198-1 is not prime. Res64: 6EB39124C11C0942 Time : 0.0 sec. user=mdettweiler [2016-09-19 14:06:46] 843*2^1440198-1 is not prime. Res64: 782607ECE564B2D7 Time : 0.0 sec. user=mdettweiler [2016-09-19 14:06:47] 915*2^1440198-1 is not prime. Res64: 8C79EB958F2E6B0C Time : 0.0 sec. user=mdettweiler [2016-09-19 14:06:49] 921*2^1440198-1 is not prime. Res64: AF75DFDE1954FEDD Time : 0.0 sec. user=mdettweiler [2016-09-19 14:28:19] 971*2^1440198-1 is not prime. Res64: FB481BCFBAC917D3 Time : 0.0 sec. user=mdettweiler [2016-09-19 14:28:20] 609*2^1440199-1 is not prime. Res64: 32A5148D3E9B6EEF Time : 0.0 sec. user=mdettweiler [2016-09-19 14:28:20] 723*2^1440199-1 is not prime. Res64: 019C946EB1E35149 Time : 0.0 sec. user=mdettweiler [2016-09-19 14:28:20] 759*2^1440199-1 is not prime. Res64: BD5D5672634B9820 Time : 0.0 sec. user=mdettweiler [2016-09-19 14:28:20] 873*2^1440199-1 is not prime. Res64: BE98F092F97E3F59 Time : 0.0 sec. user=mdettweiler [2016-09-19 14:35:05] 933*2^1440199-1 is not prime. Res64: 3777B07656392FC5 Time : 0.0 sec. user=mdettweiler [2016-09-19 14:35:05] 699*2^1440200-1 is not prime. Res64: 2AA6E4FCE0A15F9A Time : 0.0 sec. user=mdettweiler [2016-09-19 14:35:05] 713*2^1440200-1 is not prime. Res64: 80309A7385C53639 Time : 0.0 sec. user=mdettweiler [2016-09-19 14:35:05] 735*2^1440200-1 is not prime. Res64: 647B967393240DDD Time : 0.0 sec. user=mdettweiler [2016-09-19 14:35:06] 843*2^1440200-1 is not prime. Res64: 50BF67A474BB92E4 Time : 0.0 sec. user=mdettweiler [2016-09-19 14:58:01] 855*2^1440200-1 is not prime. Res64: 2BD306D6DD5C3239 Time : 0.0 sec. user=mdettweiler [2016-09-19 14:58:02] 977*2^1440200-1 is not prime. Res64: 8F0B40F1181EE8F9 Time : 0.0 sec. user=mdettweiler [2016-09-19 14:58:02] 995*2^1440200-1 is not prime. Res64: A690DE58760EEB21 Time : 0.0 sec. user=mdettweiler [2016-09-19 14:58:02] 781*2^1440201-1 is not prime. Res64: D69DB2F0C297F81A Time : 0.0 sec. user=mdettweiler [2016-09-19 14:58:03] 805*2^1440201-1 is not prime. Res64: 352A401A2B7DB924 Time : 0.0 sec. user=mdettweiler [2016-09-19 15:15:21] 877*2^1440201-1 is not prime. Res64: F76115982477C25C Time : 0.0 sec. user=mdettweiler [2016-09-19 15:15:21] 937*2^1440201-1 is not prime. Res64: B5585C77A345F4C2 Time : 0.0 sec. user=mdettweiler [2016-09-19 15:15:21] 741*2^1440202-1 is not prime. Res64: 90B73C894139C571 Time : 0.0 sec. user=mdettweiler [2016-09-19 15:15:22] 833*2^1440202-1 is not prime. Res64: 64E42BE69A0C32F4 Time : 0.0 sec. user=mdettweiler [2016-09-19 15:15:22] 887*2^1440202-1 is not prime. Res64: 7D615DE5BF1B8EFA Time : 0.0 sec. user=mdettweiler [2016-09-19 15:21:24] 957*2^1440202-1 is not prime. Res64: 19044581721F6D61 Time : 0.0 sec. user=mdettweiler [2016-09-19 15:21:24] 603*2^1440203-1 is not prime. Res64: BCC421C10A1CBF83 Time : 0.0 sec. user=mdettweiler [2016-09-19 15:21:24] 609*2^1440203-1 is not prime. Res64: 46B5641014C9F5E9 Time : 0.0 sec. user=mdettweiler [2016-09-19 15:21:25] 619*2^1440203-1 is not prime. Res64: 64FCC0CBD9876225 Time : 0.0 sec. user=mdettweiler [2016-09-19 15:21:25] 631*2^1440203-1 is not prime. Res64: 2076C568A5BF44B8 Time : 0.0 sec. user=mdettweiler [2016-09-19 15:44:46] 813*2^1440203-1 is not prime. Res64: F176285C03075AAF Time : 0.0 sec. user=mdettweiler [2016-09-19 15:44:46] 825*2^1440203-1 is not prime. Res64: 23F3E0EDD5E3B6F2 Time : 0.0 sec. user=mdettweiler [2016-09-19 15:44:47] 871*2^1440203-1 is not prime. Res64: F01A92ABD9C7240D Time : 0.0 sec. user=mdettweiler [2016-09-19 15:44:47] 675*2^1440204-1 is not prime. Res64: 2A38BC9478A2177A Time : 0.0 sec. user=mdettweiler [2016-09-19 15:44:47] 783*2^1440204-1 is not prime. Res64: 10F23539D1E7198A Time : 0.0 sec. user=mdettweiler [2016-09-19 16:02:07] 899*2^1440204-1 is not prime. Res64: B6731B288C7A84DE Time : 0.0 sec. user=mdettweiler [2016-09-19 16:02:08] 929*2^1440204-1 is not prime. Res64: 020C53B6B4348BCD Time : 0.0 sec. user=mdettweiler [2016-09-19 16:02:09] 965*2^1440204-1 is not prime. Res64: 0D41F2D889C70728 Time : 0.0 sec. user=mdettweiler [2016-09-19 16:02:10] 645*2^1440205-1 is not prime. Res64: A5270012CA83C021 Time : 0.0 sec. user=mdettweiler [2016-09-19 16:02:10] 649*2^1440205-1 is not prime. Res64: E69BCD63F04946B5 Time : 0.0 sec. user=mdettweiler [2016-09-19 16:07:49] 687*2^1440205-1 is not prime. Res64: 515B74663964A198 Time : 0.0 sec. user=mdettweiler [2016-09-19 16:07:51] 759*2^1440205-1 is not prime. Res64: 6A2604A7361CE4C2 Time : 0.0 sec. user=mdettweiler [2016-09-19 16:07:53] 771*2^1440205-1 is not prime. Res64: 79A8C58CE392BB8C Time : 0.0 sec. user=mdettweiler [2016-09-19 16:07:54] 937*2^1440205-1 is not prime. Res64: 1FE2B7BAAC7666E7 Time : 0.0 sec. user=mdettweiler [2016-09-19 16:07:55] 939*2^1440205-1 is not prime. Res64: 5A962DDB5245FB15 Time : 0.0 sec. user=mdettweiler [2016-09-19 16:31:33] 999*2^1440205-1 is not prime. Res64: C68E71BD10F48424 Time : 0.0 sec. user=mdettweiler [2016-09-19 16:31:34] 635*2^1440206-1 is not prime. Res64: 320EBF4C27D52E9C Time : 0.0 sec. user=mdettweiler [2016-09-19 16:31:34] 957*2^1440206-1 is not prime. Res64: 5A8B055E8CFF0202 Time : 0.0 sec. user=mdettweiler [2016-09-19 16:31:35] 971*2^1440206-1 is not prime. Res64: ADD95D1C7BE6E09E Time : 0.0 sec. user=mdettweiler [2016-09-19 16:31:35] 805*2^1440207-1 is not prime. Res64: 8618197F7FE3B561 Time : 0.0 sec. user=mdettweiler [2016-09-19 16:47:53] 825*2^1440207-1 is not prime. Res64: 919B3BCF9DA3B543 Time : 0.0 sec. user=mdettweiler [2016-09-19 16:47:53] 871*2^1440207-1 is not prime. Res64: 807A154D48AEA160 Time : 0.0 sec. user=mdettweiler [2016-09-19 16:47:54] 979*2^1440207-1 is not prime. Res64: 9353E1B54ED3E1FB Time : 0.0 sec. user=mdettweiler [2016-09-19 16:47:54] 665*2^1440208-1 is not prime. Res64: AF50B679163C8F59 Time : 0.0 sec. user=mdettweiler [2016-09-19 16:47:54] 803*2^1440208-1 is not prime. Res64: 9CA36742010F5197 Time : 0.0 sec. user=mdettweiler [2016-09-19 16:53:46] 819*2^1440208-1 is not prime. Res64: 7C0C83CC0776F1F1 Time : 0.0 sec. user=mdettweiler [2016-09-19 16:53:47] 843*2^1440208-1 is not prime. Res64: CFBC3BB94EAF218D Time : 0.0 sec. user=mdettweiler [2016-09-19 16:53:47] 969*2^1440208-1 is not prime. Res64: AD09A0362101A17C Time : 0.0 sec. user=mdettweiler [2016-09-19 16:53:47] 781*2^1440209-1 is not prime. Res64: B4A25E49EFD8EF13 Time : 0.0 sec. user=mdettweiler [2016-09-19 16:53:48] 811*2^1440209-1 is not prime. Res64: C509E7315E489F2C Time : 0.0 sec. user=mdettweiler [2016-09-19 17:17:01] 829*2^1440209-1 is not prime. Res64: DFE8F88F5B4ADEA2 Time : 0.0 sec. user=mdettweiler [2016-09-19 17:17:01] 855*2^1440209-1 is not prime. Res64: 4D264775B53DA629 Time : 0.0 sec. user=mdettweiler [2016-09-19 17:17:01] 985*2^1440209-1 is not prime. Res64: B6816DBBA0878123 Time : 0.0 sec. user=mdettweiler [2016-09-19 17:17:02] 681*2^1440210-1 is not prime. Res64: F11AA176F5D17A5E Time : 0.0 sec. user=mdettweiler [2016-09-19 17:17:02] 845*2^1440210-1 is not prime. Res64: 125E4357CB239B52 Time : 0.0 sec. user=mdettweiler [2016-09-19 17:33:32] 1001*2^1440210-1 is not prime. Res64: 288F2E61825DFAFD Time : 0.0 sec. user=mdettweiler [2016-09-19 17:33:32] 793*2^1440211-1 is not prime. Res64: EC6E2D514B768F7B Time : 0.0 sec. user=mdettweiler [2016-09-19 17:33:33] 909*2^1440211-1 is not prime. Res64: D2ABFC61CC7059ED Time : 0.0 sec. user=mdettweiler [2016-09-19 17:33:33] 623*2^1440212-1 is not prime. Res64: 9CF27B400B6BBD7B Time : 0.0 sec. user=mdettweiler [2016-09-19 17:33:34] 689*2^1440212-1 is not prime. Res64: 707FFB1BD15CAF6C Time : 0.0 sec. user=mdettweiler [2016-09-19 17:39:24] 813*2^1440212-1 is not prime. Res64: A135F24F4DF4CB93 Time : 0.0 sec. user=mdettweiler [2016-09-19 17:39:24] 621*2^1440213-1 is not prime. Res64: FBECD4FBD88C568F Time : 0.0 sec. user=mdettweiler [2016-09-19 17:39:25] 627*2^1440213-1 is not prime. Res64: 5618AC444FA51659 Time : 0.0 sec. user=mdettweiler [2016-09-19 17:39:25] 675*2^1440213-1 is not prime. Res64: 3BE7942A40A5E8BC Time : 0.0 sec. user=mdettweiler [2016-09-19 17:39:25] 741*2^1440213-1 is not prime. Res64: B571CC4266D2D951 Time : 0.0 sec. user=mdettweiler [2016-09-19 18:02:47] 781*2^1440213-1 is not prime. Res64: 276D6281DE7CFC39 Time : 0.0 sec. user=mdettweiler [2016-09-19 18:02:49] 817*2^1440213-1 is not prime. Res64: 83F3B1886C433DA4 Time : 0.0 sec. user=mdettweiler [2016-09-19 18:02:50] 847*2^1440213-1 is not prime. Res64: 6018B79BF1712270 Time : 0.0 sec. user=mdettweiler [2016-09-19 18:02:51] 999*2^1440213-1 is not prime. Res64: 41465026C6F842AC Time : 0.0 sec. user=mdettweiler [2016-09-19 18:02:51] 635*2^1440214-1 is not prime. Res64: F0AD81EE3A36E4A9 Time : 0.0 sec. user=mdettweiler [2016-09-19 18:18:58] 681*2^1440214-1 is not prime. Res64: C700156CA2538632 Time : 0.0 sec. user=mdettweiler [2016-09-19 18:18:58] 857*2^1440214-1 is not prime. Res64: C9FE877B7AFAF167 Time : 0.0 sec. user=mdettweiler [2016-09-19 18:18:59] 915*2^1440214-1 is not prime. Res64: 4C5C8A0F81026271 Time : 0.0 sec. user=mdettweiler [2016-09-19 18:18:59] 603*2^1440215-1 is not prime. Res64: 7C454F2FD5C7AEFA Time : 0.0 sec. user=mdettweiler [2016-09-19 18:19:00] 649*2^1440215-1 is not prime. Res64: E440077681453030 Time : 0.0 sec. user=mdettweiler [2016-09-19 18:24:50] 909*2^1440215-1 is not prime. Res64: EB707A410E1EDA29 Time : 0.0 sec. user=mdettweiler [2016-09-19 18:24:50] 949*2^1440215-1 is not prime. Res64: 95F3B1D3D50EF5A9 Time : 0.0 sec. user=mdettweiler [2016-09-19 18:24:51] 963*2^1440215-1 is not prime. Res64: FBF0E917290BAE8D Time : 0.0 sec. user=mdettweiler [2016-09-19 18:24:51] 639*2^1440216-1 is not prime. Res64: 14A49EF4DD88FCD7 Time : 0.0 sec. user=mdettweiler [2016-09-19 18:24:51] 693*2^1440216-1 is not prime. Res64: F070E6D871953ECC Time : 0.0 sec. user=mdettweiler [2016-09-19 18:48:41] 695*2^1440216-1 is not prime. Res64: 84563FF321E06AED Time : 0.0 sec. user=mdettweiler [2016-09-19 18:48:42] 765*2^1440216-1 is not prime. Res64: E8EA34834FDED51E Time : 0.0 sec. user=mdettweiler [2016-09-19 18:48:42] 779*2^1440216-1 is not prime. Res64: ABAF02B93F5376D6 Time : 0.0 sec. user=mdettweiler [2016-09-19 18:48:42] 903*2^1440216-1 is not prime. Res64: D70AD8B361C9E8CA Time : 0.0 sec. user=mdettweiler [2016-09-19 18:48:43] 909*2^1440216-1 is not prime. Res64: A65F25AD65E24F1A Time : 0.0 sec. user=mdettweiler [2016-09-19 19:04:44] 933*2^1440216-1 is not prime. Res64: 2C7ECA2E0F1388D1 Time : 0.0 sec. user=mdettweiler [2016-09-19 19:04:46] 993*2^1440216-1 is not prime. Res64: 2ADB6608D76703D3 Time : 0.0 sec. user=mdettweiler [2016-09-19 19:04:48] 609*2^1440217-1 is not prime. Res64: 895083813B392FE5 Time : 0.0 sec. user=mdettweiler [2016-09-19 19:04:50] 817*2^1440217-1 is not prime. Res64: 86AB78ADD0547385 Time : 0.0 sec. user=mdettweiler [2016-09-19 19:04:51] 895*2^1440217-1 is not prime. Res64: EF041DF786893E44 Time : 0.0 sec. user=mdettweiler [2016-09-19 19:10:32] 605*2^1440218-1 is not prime. Res64: 2BE8F08F2B3E8DD2 Time : 0.0 sec. user=mdettweiler [2016-09-19 19:10:33] 633*2^1440218-1 is not prime. Res64: 87BB74FDF703EB97 Time : 0.0 sec. user=mdettweiler [2016-09-19 19:10:34] 683*2^1440218-1 is not prime. Res64: 000CCEC349B0B622 Time : 0.0 sec. user=mdettweiler [2016-09-19 19:10:34] 705*2^1440218-1 is not prime. Res64: 07FF656C9DE83793 Time : 0.0 sec. user=mdettweiler [2016-09-19 19:10:35] 867*2^1440218-1 is not prime. Res64: DC5FC0008A1B7EE7 Time : 0.0 sec. user=mdettweiler [2016-09-19 19:34:21] 803*2^1440192-1 is not prime. Res64: 6D1337C3B6E9AE40 Time : 0.0 sec. user=mdettweiler [2016-09-19 19:34:22] 909*2^1440192-1 is not prime. Res64: 8387030CE54505EE Time : 0.0 sec. user=mdettweiler [2016-09-19 19:34:22] 945*2^1440192-1 is not prime. Res64: 7B60FD9DEEA77F2A Time : 0.0 sec. user=mdettweiler [2016-09-19 19:34:22] 619*2^1440193-1 is not prime. Res64: 819A7BD42ED3CA10 Time : 0.0 sec. user=mdettweiler [2016-09-19 19:34:22] 685*2^1440193-1 is not prime. Res64: 8A4AEBF827FBE5A8 Time : 0.0 sec. user=mdettweiler [2016-09-19 19:34:24] 887*2^1440218-1 is not prime. Res64: FF4E1A1532FAAF9C Time : 0.0 sec. user=mdettweiler [2016-09-19 19:34:25] 923*2^1440218-1 is not prime. Res64: 0311C12718223150 Time : 0.0 sec. user=mdettweiler [2016-09-19 19:34:25] 613*2^1440219-1 is not prime. Res64: F356A2DAD891B374 Time : 0.0 sec. user=mdettweiler [2016-09-19 19:34:25] 615*2^1440219-1 is not prime. Res64: F781CFDDFD1216FB Time : 0.0 sec. user=mdettweiler [2016-09-19 19:34:26] 685*2^1440219-1 is not prime. Res64: F981F147E637F9C2 Time : 0.0 sec. user=mdettweiler [2016-09-19 19:50:23] 703*2^1440219-1 is not prime. Res64: D8F37C3EB2FFE944 Time : 0.0 sec. user=mdettweiler [2016-09-19 19:50:23] 835*2^1440219-1 is not prime. Res64: 8101BABF09098A1D Time : 0.0 sec. user=mdettweiler [2016-09-19 19:50:23] 853*2^1440219-1 is not prime. Res64: 9FBDA6AED691A7B0 Time : 0.0 sec. user=mdettweiler [2016-09-19 19:50:24] 919*2^1440219-1 is not prime. Res64: 27F46E35810D07C0 Time : 0.0 sec. user=mdettweiler [2016-09-19 19:50:24] 603*2^1440220-1 is not prime. Res64: 729CC69C9A721578 Time : 0.0 sec. user=mdettweiler [2016-09-19 19:55:58] 623*2^1440220-1 is not prime. Res64: 81C23095C53D1376 Time : 0.0 sec. user=mdettweiler [2016-09-19 19:55:58] 635*2^1440220-1 is not prime. Res64: F022E968A985A99A Time : 0.0 sec. user=mdettweiler [2016-09-19 19:55:58] 677*2^1440220-1 is not prime. Res64: 4A39C596EDB427B5 Time : 0.0 sec. user=mdettweiler [2016-09-19 19:55:59] 743*2^1440220-1 is not prime. Res64: 33A2DB0393C47DF5 Time : 0.0 sec. user=mdettweiler [2016-09-19 19:55:59] 777*2^1440220-1 is not prime. Res64: A7549CF8F6182B53 Time : 0.0 sec. user=mdettweiler [2016-09-19 20:19:19] 939*2^1440220-1 is not prime. Res64: 4A2593A42CE1AB93 Time : 0.0 sec. user=mdettweiler [2016-09-19 20:19:20] 615*2^1440221-1 is not prime. Res64: 5EFBDC458F775D00 Time : 0.0 sec. user=mdettweiler [2016-09-19 20:19:20] 631*2^1440221-1 is not prime. Res64: 0302EECA3F3444B5 Time : 0.0 sec. user=mdettweiler [2016-09-19 20:19:21] 825*2^1440221-1 is not prime. Res64: 351C954BB2A8C99D Time : 0.0 sec. user=mdettweiler [2016-09-19 20:19:21] 741*2^1440222-1 is not prime. Res64: 6852ECDA1D0D62E9 Time : 0.0 sec. user=mdettweiler [2016-09-19 20:19:24] 803*2^1440220-1 is not prime. Res64: F2915C273435F3A7 Time : 0.0 sec. user=mdettweiler [2016-09-19 20:19:25] 833*2^1440220-1 is not prime. Res64: 0E8A889848CAB870 Time : 0.0 sec. user=mdettweiler [2016-09-19 20:19:25] 855*2^1440220-1 is not prime. Res64: 4F515C89598B2BC9 Time : 0.0 sec. user=mdettweiler [2016-09-19 20:19:25] 897*2^1440220-1 is not prime. Res64: F092E95E93544C53 Time : 0.0 sec. user=mdettweiler [2016-09-19 20:19:26] 905*2^1440220-1 is not prime. Res64: ECD2B150AA44A7E2 Time : 0.0 sec. user=mdettweiler [2016-09-19 20:35:19] 765*2^1440222-1 is not prime. Res64: F68E3AC204DC93C4 Time : 0.0 sec. user=mdettweiler [2016-09-19 20:35:20] 777*2^1440222-1 is not prime. Res64: F1326C2DC44CFD27 Time : 0.0 sec. user=mdettweiler [2016-09-19 20:35:20] 797*2^1440222-1 is not prime. Res64: 850A54AACC3EC233 Time : 0.0 sec. user=mdettweiler [2016-09-19 20:35:20] 801*2^1440222-1 is not prime. Res64: 7016D03C996A47B7 Time : 0.0 sec. user=mdettweiler [2016-09-19 20:35:21] 843*2^1440222-1 is not prime. Res64: E7A09AC541A98844 Time : 0.0 sec. user=mdettweiler [2016-09-19 20:40:44] 863*2^1440222-1 is not prime. Res64: 4506F42D7149BB67 Time : 0.0 sec. user=mdettweiler [2016-09-19 20:40:44] 945*2^1440222-1 is not prime. Res64: FBD19EA74522DD60 Time : 0.0 sec. user=mdettweiler [2016-09-19 20:40:45] 951*2^1440222-1 is not prime. Res64: 1A5C45B47F0BBC05 Time : 0.0 sec. user=mdettweiler [2016-09-19 20:40:45] 977*2^1440222-1 is not prime. Res64: 67E0D79DA1512A41 Time : 0.0 sec. user=mdettweiler [2016-09-19 20:40:45] 625*2^1440223-1 is not prime. Res64: F95327A91D16C51A Time : 0.0 sec. user=mdettweiler [2016-09-19 21:04:06] 883*2^1440223-1 is not prime. Res64: 915A50C764D5187A Time : 0.0 sec. user=mdettweiler [2016-09-19 21:04:07] 915*2^1440223-1 is not prime. Res64: 7A0E3C14C9E1F774 Time : 0.0 sec. user=mdettweiler [2016-09-19 21:04:08] 939*2^1440223-1 is not prime. Res64: 7A45CDD89A12C109 Time : 0.0 sec. user=mdettweiler [2016-09-19 21:04:09] 635*2^1440224-1 is not prime. Res64: F5A19A9F350BCD4C Time : 0.0 sec. user=mdettweiler [2016-09-19 21:04:10] 689*2^1440224-1 is not prime. Res64: 6C1C3D4C91CB1CFF Time : 0.0 sec. user=mdettweiler [2016-09-19 21:04:10] 903*2^1440224-1 is not prime. Res64: 6F3502036B1CC837 Time : 0.0 sec. user=mdettweiler [2016-09-19 21:04:11] 983*2^1440224-1 is not prime. Res64: 5898347408EF5CBD Time : 0.0 sec. user=mdettweiler [2016-09-19 21:04:13] 601*2^1440225-1 is not prime. Res64: 416683E3CF054B1B Time : 0.0 sec. user=mdettweiler [2016-09-19 21:04:15] 679*2^1440225-1 is not prime. Res64: 7051ED4085848D3E Time : 0.0 sec. user=mdettweiler [2016-09-19 21:04:16] 717*2^1440225-1 is not prime. Res64: A36967052D102ED1 Time : 0.0 sec. user=mdettweiler [2016-09-19 21:20:11] 751*2^1440225-1 is not prime. Res64: B97ADF9FD6294FB7 Time : 0.0 sec. user=mdettweiler [2016-09-19 21:20:11] 765*2^1440225-1 is not prime. Res64: 6ACDE1A85C076E84 Time : 0.0 sec. user=mdettweiler [2016-09-19 21:20:12] 781*2^1440225-1 is not prime. Res64: 2A73828C76AB20E5 Time : 0.0 sec. user=mdettweiler [2016-09-19 21:20:12] 937*2^1440225-1 is not prime. Res64: 08304F6F1BB7D78A Time : 0.0 sec. user=mdettweiler [2016-09-19 21:20:13] 623*2^1440226-1 is not prime. Res64: 9A866BDE4B35BDE8 Time : 0.0 sec. user=mdettweiler [2016-09-19 21:25:46] 635*2^1440226-1 is not prime. Res64: C7B66D4B78A2991C Time : 0.0 sec. user=mdettweiler [2016-09-19 21:25:46] 671*2^1440226-1 is not prime. Res64: 34781B409F32BC0C Time : 0.0 sec. user=mdettweiler [2016-09-19 21:25:47] 741*2^1440226-1 is not prime. Res64: 4D46E357DA6A20A4 Time : 0.0 sec. user=mdettweiler [2016-09-19 21:25:47] 755*2^1440226-1 is not prime. Res64: F0BAA4B8D4A814D2 Time : 0.0 sec. user=mdettweiler [2016-09-19 21:25:47] 785*2^1440226-1 is not prime. Res64: FFABD79A8707A6A2 Time : 0.0 sec. user=mdettweiler [2016-09-19 21:49:19] 933*2^1440226-1 is not prime. Res64: 94F0EEEA9EB4434B Time : 0.0 sec. user=mdettweiler [2016-09-19 21:49:19] 615*2^1440227-1 is not prime. Res64: 3A3BA60A5635285E Time : 0.0 sec. user=mdettweiler [2016-09-19 21:49:20] 775*2^1440227-1 is not prime. Res64: 4BCF0356C61B72E8 Time : 0.0 sec. user=mdettweiler [2016-09-19 21:49:20] 781*2^1440227-1 is not prime. Res64: F404E3239B5C6CB5 Time : 0.0 sec. user=mdettweiler [2016-09-19 21:49:21] 861*2^1440227-1 is not prime. Res64: 7F83FBCC9EDEEF99 Time : 0.0 sec. user=mdettweiler [2016-09-19 21:49:22] 973*2^1440227-1 is not prime. Res64: 3890B3F1B4A9DF63 Time : 0.0 sec. user=mdettweiler [2016-09-19 21:49:22] 999*2^1440227-1 is not prime. Res64: 1D523CF08C9301C5 Time : 0.0 sec. user=mdettweiler [2016-09-19 21:49:23] 773*2^1440228-1 is not prime. Res64: D4E99C3935BD908A Time : 0.0 sec. user=mdettweiler [2016-09-19 21:49:23] 789*2^1440228-1 is not prime. Res64: 18948FB1192E773B Time : 0.0 sec. user=mdettweiler [2016-09-19 21:49:23] 797*2^1440228-1 is not prime. Res64: F8B9F2697162DFAE Time : 0.0 sec. user=mdettweiler [2016-09-19 22:05:18] 839*2^1440228-1 is not prime. Res64: B5E6E091E2B35BE5 Time : 0.0 sec. user=mdettweiler [2016-09-19 22:05:20] 845*2^1440228-1 is not prime. Res64: CC509F0D55915D3B Time : 0.0 sec. user=mdettweiler [2016-09-19 22:05:21] 899*2^1440228-1 is not prime. Res64: 36F89B74738D99A0 Time : 0.0 sec. user=mdettweiler [2016-09-19 22:05:22] 905*2^1440228-1 is not prime. Res64: FB637733C78D0B92 Time : 0.0 sec. user=mdettweiler [2016-09-19 22:05:23] 915*2^1440228-1 is not prime. Res64: D04A1FF59F809A87 Time : 0.0 sec. user=mdettweiler [2016-09-19 22:11:28] 927*2^1440228-1 is not prime. Res64: B7E60DA8E87DC982 Time : 0.0 sec. user=mdettweiler [2016-09-19 22:11:30] 667*2^1440229-1 is not prime. Res64: 6B6405F6E1002D71 Time : 0.0 sec. user=mdettweiler [2016-09-19 22:11:31] 721*2^1440229-1 is not prime. Res64: 6F065F9FB40A482E Time : 0.0 sec. user=mdettweiler [2016-09-19 22:11:33] 771*2^1440229-1 is not prime. Res64: 0A41EEF53E28DB23 Time : 0.0 sec. user=mdettweiler [2016-09-19 22:11:35] 799*2^1440229-1 is not prime. Res64: 289360B59CF81A1A Time : 0.0 sec. user=mdettweiler [2016-09-19 22:36:24] 641*2^1440230-1 is not prime. Res64: 857660C489D41650 Time : 0.0 sec. user=mdettweiler [2016-09-19 22:36:24] 831*2^1440230-1 is not prime. Res64: 55C52F4574FCF917 Time : 0.0 sec. user=mdettweiler [2016-09-19 22:36:24] 851*2^1440230-1 is not prime. Res64: 62E97318C3ADBD31 Time : 0.0 sec. user=mdettweiler [2016-09-19 22:36:24] 857*2^1440230-1 is not prime. Res64: 513E3E75104A1A46 Time : 0.0 sec. user=mdettweiler [2016-09-19 22:36:25] 861*2^1440230-1 is not prime. Res64: 3BA1D5FDC34EEFB4 Time : 0.0 sec. user=mdettweiler [2016-09-19 22:36:38] 801*2^1440229-1 is not prime. Res64: 016E1A8459F63995 Time : 0.0 sec. user=mdettweiler [2016-09-19 22:36:38] 931*2^1440229-1 is not prime. Res64: 459390CAFEF68C79 Time : 0.0 sec. user=mdettweiler [2016-09-19 22:36:38] 951*2^1440229-1 is not prime. Res64: 3D0275EFA1B908CE Time : 0.0 sec. user=mdettweiler [2016-09-19 22:36:39] 999*2^1440229-1 is not prime. Res64: 516B8714A3381069 Time : 0.0 sec. user=mdettweiler [2016-09-19 22:36:39] 603*2^1440230-1 is not prime. Res64: 55E0112E2EE4B856 Time : 0.0 sec. user=mdettweiler [2016-09-19 22:54:02] 917*2^1440230-1 is not prime. Res64: C0BA9A4D209C2357 Time : 0.0 sec. user=mdettweiler [2016-09-19 22:54:02] 693*2^1440231-1 is not prime. Res64: 05BB4C3E5A3E18D1 Time : 0.0 sec. user=mdettweiler [2016-09-19 22:54:03] 781*2^1440231-1 is not prime. Res64: 1DCAA53AD07032AF Time : 0.0 sec. user=mdettweiler [2016-09-19 22:54:03] 783*2^1440231-1 is not prime. Res64: DF3291601DD28F9F Time : 0.0 sec. user=mdettweiler [2016-09-19 22:54:03] 861*2^1440231-1 is not prime. Res64: A00E49D90E254CEF Time : 0.0 sec. user=mdettweiler [2016-09-19 23:00:21] 879*2^1440231-1 is not prime. Res64: E09ACA7F11729899 Time : 0.0 sec. user=mdettweiler [2016-09-19 23:00:22] 913*2^1440231-1 is not prime. Res64: 7A9BE099AABA97EE Time : 0.0 sec. user=mdettweiler [2016-09-19 23:00:23] 945*2^1440231-1 is not prime. Res64: EB8C69692CB7F735 Time : 0.0 sec. user=mdettweiler [2016-09-19 23:00:23] 961*2^1440231-1 is not prime. Res64: 4D0CA5C4CA1555CD Time : 0.0 sec. user=mdettweiler [2016-09-19 23:00:24] 689*2^1440232-1 is not prime. Res64: F829990E5C1FCB8D Time : 0.0 sec. user=mdettweiler [2016-09-19 23:26:40] 691*2^1440233-1 is not prime. Res64: 5B3BFD67103C31F9 Time : 0.0 sec. user=mdettweiler [2016-09-19 23:26:40] 735*2^1440233-1 is not prime. Res64: 39FCA90258B92A66 Time : 0.0 sec. user=mdettweiler [2016-09-19 23:26:41] 795*2^1440233-1 is not prime. Res64: E0AAB3EA62A7ECCA Time : 0.0 sec. user=mdettweiler [2016-09-19 23:26:41] 605*2^1440234-1 is not prime. Res64: F00C22C7F6BDF09F Time : 0.0 sec. user=mdettweiler [2016-09-19 23:26:41] 621*2^1440234-1 is not prime. Res64: 39CF374259395079 Time : 0.0 sec. user=mdettweiler [2016-09-19 23:30:23] 875*2^1440232-1 is not prime. Res64: 715D0F7FD94A041F Time : 0.0 sec. user=mdettweiler [2016-09-19 23:30:23] 947*2^1440232-1 is not prime. Res64: DAEA05908A2A57FF Time : 0.0 sec. user=mdettweiler [2016-09-19 23:30:23] 631*2^1440233-1 is not prime. Res64: ADA5CF784609934D Time : 0.0 sec. user=mdettweiler [2016-09-19 23:30:24] 657*2^1440233-1 is not prime. Res64: AEB51BD08786AFB7 Time : 0.0 sec. user=mdettweiler [2016-09-19 23:30:24] 669*2^1440233-1 is not prime. Res64: A5F271E2E7EF3F13 Time : 0.0 sec. user=mdettweiler [2016-09-19 23:45:15] 783*2^1440234-1 is not prime. Res64: C75BEFF88FA2F404 Time : 0.0 sec. user=mdettweiler [2016-09-19 23:45:15] 825*2^1440234-1 is not prime. Res64: 28EE7D7C1AE4C2D5 Time : 0.0 sec. user=mdettweiler [2016-09-19 23:45:16] 921*2^1440234-1 is not prime. Res64: F4418A0440D715B6 Time : 0.0 sec. user=mdettweiler [2016-09-19 23:45:16] 649*2^1440235-1 is not prime. Res64: C68690791AA350EA Time : 0.0 sec. user=mdettweiler [2016-09-19 23:45:17] 673*2^1440235-1 is not prime. Res64: 64691FD556FCACA2 Time : 0.0 sec. user=mdettweiler [2016-09-19 23:50:25] 699*2^1440235-1 is not prime. Res64: 12D6FB5E04A6F290 Time : 0.0 sec. user=mdettweiler [2016-09-19 23:50:26] 775*2^1440235-1 is not prime. Res64: ECE78E0A46BFC231 Time : 0.0 sec. user=mdettweiler [2016-09-19 23:50:26] 855*2^1440235-1 is not prime. Res64: 55114E843FEF3BBF Time : 0.0 sec. user=mdettweiler [2016-09-19 23:50:26] 861*2^1440235-1 is not prime. Res64: 214458023966B49A Time : 0.0 sec. user=mdettweiler [2016-09-19 23:50:26] 873*2^1440235-1 is not prime. Res64: 8235E479D39A0E16 Time : 0.0 sec.