user=mdettweiler [2015-12-05 00:03:33] 939*2^1416844-1 is not prime. Res64: 7F344320F6809ED4 Time : 0.0 sec. user=mdettweiler [2015-12-05 00:03:34] 987*2^1416844-1 is not prime. Res64: 3DC8CA0A5AAAB95C Time : 0.0 sec. user=mdettweiler [2015-12-05 00:03:35] 863*2^1416844-1 is not prime. Res64: A9D179E159701530 Time : 0.0 sec. user=mdettweiler [2015-12-05 00:03:37] 887*2^1416844-1 is not prime. Res64: 6E2FE2D5D8D99011 Time : 0.0 sec. user=mdettweiler [2015-12-05 00:12:11] 657*2^1416845-1 is not prime. Res64: 53FA47D2A94A798B Time : 0.0 sec. user=mdettweiler [2015-12-05 00:12:13] 727*2^1416845-1 is not prime. Res64: CAE3A597487703F2 Time : 0.0 sec. user=mdettweiler [2015-12-05 00:21:24] 811*2^1416845-1 is not prime. Res64: E8ACFAC3DDC3168C Time : 0.0 sec. user=mdettweiler [2015-12-05 00:21:24] 951*2^1416845-1 is not prime. Res64: F418666C59F5CD17 Time : 0.0 sec. user=mdettweiler [2015-12-05 00:21:25] 837*2^1416845-1 is not prime. Res64: EE81F96D4DD76A45 Time : 0.0 sec. user=mdettweiler [2015-12-05 00:21:25] 957*2^1416845-1 is not prime. Res64: E9C38BDFC492440A Time : 0.0 sec. user=mdettweiler [2015-12-05 00:30:01] 987*2^1416845-1 is not prime. Res64: 1C39BA5BA494DBBC Time : 0.0 sec. user=mdettweiler [2015-12-05 00:30:01] 611*2^1416846-1 is not prime. Res64: 65B2092CBF05C56B Time : 0.0 sec. user=mdettweiler [2015-12-05 00:39:03] 725*2^1416846-1 is not prime. Res64: 15A881B5193B633F Time : 0.0 sec. user=mdettweiler [2015-12-05 00:39:04] 801*2^1416846-1 is not prime. Res64: 212BB7B7E97C0156 Time : 0.0 sec. user=mdettweiler [2015-12-05 00:39:05] 657*2^1416846-1 is not prime. Res64: 5D045AD9BF619711 Time : 0.0 sec. user=mdettweiler [2015-12-05 00:39:05] 671*2^1416846-1 is not prime. Res64: E072DCFBD21880D1 Time : 0.0 sec. user=mdettweiler [2015-12-05 00:47:40] 921*2^1416846-1 is not prime. Res64: C30E2422C2809DAA Time : 0.0 sec. user=mdettweiler [2015-12-05 00:47:40] 741*2^1416847-1 is not prime. Res64: C32318E4DFC8E87C Time : 0.0 sec. user=mdettweiler [2015-12-05 00:56:43] 751*2^1416847-1 is not prime. Res64: D2F9715D313C7744 Time : 0.0 sec. user=mdettweiler [2015-12-05 00:56:43] 909*2^1416847-1 is not prime. Res64: 9807B28726E92CA8 Time : 0.0 sec. user=mdettweiler [2015-12-05 00:56:43] 871*2^1416847-1 is not prime. Res64: 455D5B4AB2DF25E8 Time : 0.0 sec. user=mdettweiler [2015-12-05 00:56:44] 951*2^1416847-1 is not prime. Res64: A14F0BA9632E4F35 Time : 0.0 sec. user=mdettweiler [2015-12-05 01:05:18] 975*2^1416847-1 is not prime. Res64: 779CB561CF939A46 Time : 0.0 sec. user=mdettweiler [2015-12-05 01:05:19] 603*2^1416848-1 is not prime. Res64: 4462DC97FDF6CA57 Time : 0.0 sec. user=mdettweiler [2015-12-05 01:14:19] 687*2^1416848-1 is not prime. Res64: FFF4A6CC53E5F80B Time : 0.0 sec. user=mdettweiler [2015-12-05 01:14:19] 755*2^1416848-1 is not prime. Res64: 8DBF4CE41A93F1A7 Time : 0.0 sec. user=mdettweiler [2015-12-05 01:14:22] 759*2^1416848-1 is not prime. Res64: 084BAC3D8C455DF9 Time : 0.0 sec. user=mdettweiler [2015-12-05 01:14:22] 825*2^1416848-1 is not prime. Res64: 908772B3F2E01325 Time : 0.0 sec. user=mdettweiler [2015-12-05 01:23:03] 927*2^1416848-1 is not prime. Res64: A5A09408DE7D6988 Time : 0.0 sec. user=mdettweiler [2015-12-05 01:23:04] 625*2^1416849-1 is not prime. Res64: B33B3736DC095E6D Time : 0.0 sec. user=mdettweiler [2015-12-05 01:31:57] 667*2^1416849-1 is not prime. Res64: BF3A834E122E0496 Time : 0.0 sec. user=mdettweiler [2015-12-05 01:31:57] 765*2^1416849-1 is not prime. Res64: 8026A5CEE59884CE Time : 0.0 sec. user=mdettweiler [2015-12-05 01:31:59] 781*2^1416849-1 is not prime. Res64: 6B613B1CCC4BF6DE Time : 0.0 sec. user=mdettweiler [2015-12-05 01:31:59] 831*2^1416849-1 is not prime. Res64: 738EEB216A0AD781 Time : 0.0 sec. user=mdettweiler [2015-12-05 01:40:41] 949*2^1416849-1 is not prime. Res64: 943F447B1D290F14 Time : 0.0 sec. user=mdettweiler [2015-12-05 01:40:42] 991*2^1416849-1 is not prime. Res64: 193F4E683E7A944C Time : 0.0 sec. user=mdettweiler [2015-12-05 01:49:34] 635*2^1416850-1 is not prime. Res64: E0769EF5E9A3D21E Time : 0.0 sec. user=mdettweiler [2015-12-05 01:49:34] 675*2^1416850-1 is not prime. Res64: 61BEFA3824B11D0A Time : 0.0 sec. user=mdettweiler [2015-12-05 01:49:35] 713*2^1416850-1 is not prime. Res64: 1F8303EA290C0DE7 Time : 0.0 sec. user=mdettweiler [2015-12-05 01:49:36] 743*2^1416850-1 is not prime. Res64: 3BA9FF2F6E04F97E Time : 0.0 sec. user=mdettweiler [2015-12-05 01:58:25] 765*2^1416850-1 is not prime. Res64: EAB4286D125639EC Time : 0.0 sec. user=mdettweiler [2015-12-05 01:58:26] 773*2^1416850-1 is not prime. Res64: 87BA62F200100FBA Time : 0.0 sec. user=mdettweiler [2015-12-05 02:07:13] 885*2^1416850-1 is not prime. Res64: C540CA5E18E1A6C9 Time : 0.0 sec. user=mdettweiler [2015-12-05 02:07:14] 651*2^1416851-1 is not prime. Res64: 2C19ACCDE9107E22 Time : 0.0 sec. user=mdettweiler [2015-12-05 02:07:14] 951*2^1416850-1 is not prime. Res64: 0ECC6354EA1C4AF9 Time : 0.0 sec. user=mdettweiler [2015-12-05 02:07:15] 673*2^1416851-1 is not prime. Res64: A3FEE705B8A5C8D6 Time : 0.0 sec. user=mdettweiler [2015-12-05 02:16:03] 733*2^1416851-1 is not prime. Res64: EF52BBBE797349C1 Time : 0.0 sec. user=mdettweiler [2015-12-05 02:16:04] 735*2^1416851-1 is not prime. Res64: 67782D7DDA68F264 Time : 0.0 sec. user=mdettweiler [2015-12-05 02:24:51] 813*2^1416851-1 is not prime. Res64: 85CBA8AB5605A5D4 Time : 0.0 sec. user=mdettweiler [2015-12-05 02:24:51] 825*2^1416851-1 is not prime. Res64: 9A1C560FA5C284A4 Time : 0.0 sec. user=mdettweiler [2015-12-05 02:24:52] 843*2^1416851-1 is not prime. Res64: BB265D950AEFD265 Time : 0.0 sec. user=mdettweiler [2015-12-05 02:24:52] 657*2^1416852-1 is not prime. Res64: 46B9C9691F450BFD Time : 0.0 sec. user=mdettweiler [2015-12-05 02:33:51] 665*2^1416852-1 is not prime. Res64: 2946DADA661A0101 Time : 0.0 sec. user=mdettweiler [2015-12-05 02:33:51] 725*2^1416852-1 is not prime. Res64: 4BCFDD6EEBC389ED Time : 0.0 sec. user=mdettweiler [2015-12-05 02:42:28] 893*2^1416852-1 is not prime. Res64: 72447DF849E85A4C Time : 0.0 sec. user=mdettweiler [2015-12-05 02:42:28] 903*2^1416852-1 is not prime. Res64: DBEA36E92F64E51D Time : 0.0 sec. user=mdettweiler [2015-12-05 02:42:29] 759*2^1416852-1 is not prime. Res64: 921B4BE828D348E8 Time : 0.0 sec. user=mdettweiler [2015-12-05 02:42:30] 867*2^1416852-1 is not prime. Res64: 6B5AAB565E05348C Time : 0.0 sec. user=mdettweiler [2015-12-05 02:51:37] 959*2^1416852-1 is not prime. Res64: 74FC3832B82B7B96 Time : 0.0 sec. user=mdettweiler [2015-12-05 02:51:38] 609*2^1416853-1 is not prime. Res64: 841CDEA945A4AC40 Time : 0.0 sec. user=mdettweiler [2015-12-05 03:00:11] 721*2^1416853-1 is not prime. Res64: 713C5AE9B2E0FEA8 Time : 0.0 sec. user=mdettweiler [2015-12-05 03:00:11] 765*2^1416853-1 is not prime. Res64: 3BAAED5C108117ED Time : 0.0 sec. user=mdettweiler [2015-12-05 03:00:12] 687*2^1416853-1 is not prime. Res64: 86E660793157725A Time : 0.0 sec. user=mdettweiler [2015-12-05 03:00:13] 699*2^1416853-1 is not prime. Res64: B993AC88F9924D40 Time : 0.0 sec. user=mdettweiler [2015-12-05 03:09:19] 859*2^1416853-1 is not prime. Res64: 296EABE03827D2B8 Time : 0.0 sec. user=mdettweiler [2015-12-05 03:09:20] 861*2^1416853-1 is not prime. Res64: 16997D8FFA3EE3F8 Time : 0.0 sec. user=mdettweiler [2015-12-05 03:17:59] 683*2^1416854-1 is not prime. Res64: D6C24ABF424077A5 Time : 0.0 sec. user=mdettweiler [2015-12-05 03:18:00] 825*2^1416854-1 is not prime. Res64: 056ADB646B5C047D Time : 0.0 sec. user=mdettweiler [2015-12-05 03:18:06] 827*2^1416854-1 is not prime. Res64: 2C06F65C0E5CAC7D Time : 0.0 sec. user=mdettweiler [2015-12-05 03:18:06] 613*2^1416855-1 is not prime. Res64: 9C8CE4C068C9F96A Time : 0.0 sec. user=mdettweiler [2015-12-05 03:27:01] 625*2^1416855-1 is not prime. Res64: A71EFFB1CAF9401B Time : 0.0 sec. user=mdettweiler [2015-12-05 03:27:03] 735*2^1416855-1 is not prime. Res64: D8EFE80F12A0F8F2 Time : 0.0 sec. user=mdettweiler [2015-12-05 03:35:37] 775*2^1416855-1 is not prime. Res64: DFD0E3E0F0029658 Time : 0.0 sec. user=mdettweiler [2015-12-05 03:35:38] 795*2^1416855-1 is not prime. Res64: EE05483C91374511 Time : 0.0 sec. user=mdettweiler [2015-12-05 03:35:42] 969*2^1416855-1 is not prime. Res64: 57148F2EE4B1263E Time : 0.0 sec. user=mdettweiler [2015-12-05 03:35:44] 973*2^1416855-1 is not prime. Res64: 0983C9CFF3095E6B Time : 0.0 sec. user=mdettweiler [2015-12-05 03:44:49] 825*2^1416856-1 is not prime. Res64: 13F7858815C1E141 Time : 0.0 sec. user=mdettweiler [2015-12-05 03:44:52] 833*2^1416856-1 is not prime. Res64: D4BC396B8FD77361 Time : 0.0 sec. user=mdettweiler [2015-12-05 03:53:32] 923*2^1416856-1 is not prime. Res64: 4640D48B9AFC179A Time : 0.0 sec. user=mdettweiler [2015-12-05 03:53:34] 849*2^1416856-1 is not prime. Res64: 18D632EF898CAAAF Time : 0.0 sec. user=mdettweiler [2015-12-05 03:53:36] 933*2^1416856-1 is not prime. Res64: 838E581B33DC6318 Time : 0.0 sec. user=mdettweiler [2015-12-05 03:53:37] 875*2^1416856-1 is not prime. Res64: 1304872BED54B224 Time : 0.0 sec. user=mdettweiler [2015-12-05 04:02:46] 939*2^1416856-1 is not prime. Res64: 508BD1358CC28FBB Time : 0.0 sec. user=mdettweiler [2015-12-05 04:02:48] 631*2^1416857-1 is not prime. Res64: 7ED5D15C7B3D3BEC Time : 0.0 sec. user=mdettweiler [2015-12-05 04:11:35] 675*2^1416857-1 is not prime. Res64: 737432B2DC4F44F3 Time : 0.0 sec. user=mdettweiler [2015-12-05 04:11:35] 781*2^1416857-1 is not prime. Res64: 25D0AFD2239FE225 Time : 0.0 sec. user=mdettweiler [2015-12-05 04:11:36] 715*2^1416857-1 is not prime. Res64: 024F0DF56EE7F667 Time : 0.0 sec. user=mdettweiler [2015-12-05 04:11:36] 795*2^1416857-1 is not prime. Res64: 52DA678384219AF8 Time : 0.0 sec. user=mdettweiler [2015-12-05 04:20:33] 805*2^1416857-1 is not prime. Res64: F71FBB25E8999264 Time : 0.0 sec. user=mdettweiler [2015-12-05 04:20:34] 829*2^1416857-1 is not prime. Res64: CAE71008B817C773 Time : 0.0 sec. user=mdettweiler [2015-12-05 04:29:14] 979*2^1416857-1 is not prime. Res64: 0117BEA342E1AD66 Time : 0.0 sec. user=mdettweiler [2015-12-05 04:29:14] 641*2^1416858-1 is not prime. Res64: EAF9BF702B3E2E99 Time : 0.0 sec. user=mdettweiler [2015-12-05 04:29:14] 605*2^1416858-1 is not prime. Res64: 278DDC2B2139ED54 Time : 0.0 sec. user=mdettweiler [2015-12-05 04:29:14] 707*2^1416858-1 is not prime. Res64: B087A2DB5793C47F Time : 0.0 sec. user=mdettweiler [2015-12-05 04:38:10] 803*2^1416858-1 is not prime. Res64: 62B96350E3640D8A Time : 0.0 sec. user=mdettweiler [2015-12-05 04:38:10] 875*2^1416858-1 is not prime. Res64: 492DBF3CE00021D6 Time : 0.0 sec. user=mdettweiler [2015-12-05 04:46:53] 645*2^1416859-1 is not prime. Res64: 8BB83DA40AC7A2D0 Time : 0.0 sec. user=mdettweiler [2015-12-05 04:46:53] 691*2^1416859-1 is not prime. Res64: A87F6B84C97D1668 Time : 0.0 sec. user=mdettweiler [2015-12-05 04:46:54] 881*2^1416858-1 is not prime. Res64: 68E62EDB2C5DFA0E Time : 0.0 sec. user=mdettweiler [2015-12-05 04:46:54] 927*2^1416858-1 is not prime. Res64: 66F8EF28E29E48B5 Time : 0.0 sec. user=mdettweiler [2015-12-05 04:55:49] 853*2^1416859-1 is not prime. Res64: 08D7C4A39DD25F49 Time : 0.0 sec. user=mdettweiler [2015-12-05 04:55:50] 859*2^1416859-1 is not prime. Res64: A4F022F1078E54D1 Time : 0.0 sec. user=mdettweiler [2015-12-05 05:04:29] 999*2^1416859-1 is not prime. Res64: DF443A772BC04263 Time : 0.0 sec. user=mdettweiler [2015-12-05 05:04:31] 717*2^1416860-1 is not prime. Res64: 449F905DA1F0EF1B Time : 0.0 sec. user=mdettweiler [2015-12-05 05:04:32] 919*2^1416859-1 is not prime. Res64: DAF1BF8D6FCEE450 Time : 0.0 sec. user=mdettweiler [2015-12-05 05:04:33] 961*2^1416859-1 is not prime. Res64: 5CF8B33366063793 Time : 0.0 sec. user=mdettweiler [2015-12-05 05:13:26] 755*2^1416860-1 is not prime. Res64: F067752F34E4C9B6 Time : 0.0 sec. user=mdettweiler [2015-12-05 05:13:27] 767*2^1416860-1 is not prime. Res64: DB6A5206580607F0 Time : 0.0 sec. user=mdettweiler [2015-12-05 05:22:30] 797*2^1416860-1 is not prime. Res64: D2477C64CDE6063E Time : 0.0 sec. user=mdettweiler [2015-12-05 05:22:31] 833*2^1416860-1 is not prime. Res64: 42C8F7D5B82CE37D Time : 0.0 sec. user=mdettweiler [2015-12-05 05:22:33] 855*2^1416860-1 is not prime. Res64: F794DF44EAE59EE3 Time : 0.0 sec. user=mdettweiler [2015-12-05 05:22:34] 857*2^1416860-1 is not prime. Res64: C41DC96A6B77AB5D Time : 0.0 sec. user=mdettweiler [2015-12-05 05:31:02] 923*2^1416860-1 is not prime. Res64: 9332AB2132FC4A0C Time : 0.0 sec. user=mdettweiler [2015-12-05 05:31:02] 615*2^1416861-1 is not prime. Res64: 4ABA2A4D2B20C43C Time : 0.0 sec. user=mdettweiler [2015-12-05 05:40:14] 627*2^1416861-1 is not prime. Res64: F5F1F3D0555FF605 Time : 0.0 sec. user=mdettweiler [2015-12-05 05:40:15] 651*2^1416861-1 is not prime. Res64: C418C7577D26C4F7 Time : 0.0 sec. user=mdettweiler [2015-12-05 05:40:15] 657*2^1416861-1 is not prime. Res64: 2E5FD7D92BD78ED4 Time : 0.0 sec. user=mdettweiler [2015-12-05 05:40:15] 661*2^1416861-1 is not prime. Res64: BACB9BA402C52F48 Time : 0.0 sec. user=mdettweiler [2015-12-05 05:48:39] 669*2^1416861-1 is not prime. Res64: FB7E394798199159 Time : 0.0 sec. user=mdettweiler [2015-12-05 05:48:39] 811*2^1416861-1 is not prime. Res64: 386B4937A089B0A4 Time : 0.0 sec. user=mdettweiler [2015-12-05 05:57:51] 829*2^1416861-1 is not prime. Res64: B025B69BE81F7B89 Time : 0.0 sec. user=mdettweiler [2015-12-05 05:57:51] 895*2^1416861-1 is not prime. Res64: 74FBAE2EB93A0339 Time : 0.0 sec. user=mdettweiler [2015-12-05 05:57:55] 945*2^1416861-1 is not prime. Res64: 69472AA58B326874 Time : 0.0 sec. user=mdettweiler [2015-12-05 05:57:55] 653*2^1416862-1 is not prime. Res64: A3B40B08A4CF0C22 Time : 0.0 sec. user=mdettweiler [2015-12-05 06:06:15] 665*2^1416862-1 is not prime. Res64: C482717856F50FC9 Time : 0.0 sec. user=mdettweiler [2015-12-05 06:06:16] 723*2^1416862-1 is not prime. Res64: 5B2362E9CD097F0A Time : 0.0 sec. user=mdettweiler [2015-12-05 06:15:27] 885*2^1416862-1 is not prime. Res64: BE06B0F44AB73496 Time : 0.0 sec. user=mdettweiler [2015-12-05 06:15:28] 975*2^1416862-1 is not prime. Res64: 5AF267777F2CAEE0 Time : 0.0 sec. user=mdettweiler [2015-12-05 06:15:31] 685*2^1416863-1 is not prime. Res64: 999E21776951B826 Time : 0.0 sec. user=mdettweiler [2015-12-05 06:15:32] 789*2^1416863-1 is not prime. Res64: E83180956258186A Time : 0.0 sec. user=mdettweiler [2015-12-05 06:23:53] 825*2^1416863-1 is not prime. Res64: AD1DABD8759C7709 Time : 0.0 sec. user=mdettweiler [2015-12-05 06:23:53] 861*2^1416863-1 is not prime. Res64: 3DFC68D0CBB9E659 Time : 0.0 sec. user=mdettweiler [2015-12-05 06:33:21] 913*2^1416863-1 is not prime. Res64: 25BAF560E3EC46B2 Time : 0.0 sec. user=mdettweiler [2015-12-05 06:33:21] 921*2^1416863-1 is not prime. Res64: F14B008C4AFDA2E0 Time : 0.0 sec. user=mdettweiler [2015-12-05 06:33:23] 963*2^1416863-1 is not prime. Res64: 60515AD1CC88DB25 Time : 0.0 sec. user=mdettweiler [2015-12-05 06:33:23] 981*2^1416863-1 is not prime. Res64: 1610170573362FB0 Time : 0.0 sec. user=mdettweiler [2015-12-05 06:41:44] 705*2^1416864-1 is not prime. Res64: E39CB7ED241B7215 Time : 0.0 sec. user=mdettweiler [2015-12-05 06:41:44] 601*2^1416865-1 is not prime. Res64: 428025AB12B09790 Time : 0.0 sec. user=mdettweiler [2015-12-05 06:51:01] 691*2^1416865-1 is not prime. Res64: D7D7A459A2E1D104 Time : 0.0 sec. user=mdettweiler [2015-12-05 06:51:01] 705*2^1416865-1 is not prime. Res64: A079907CB8605369 Time : 0.0 sec. user=mdettweiler [2015-12-05 06:51:03] 799*2^1416865-1 is not prime. Res64: 690E5E4CC7F654CE Time : 0.0 sec. user=mdettweiler [2015-12-05 06:51:03] 801*2^1416865-1 is not prime. Res64: 721D52BBB9C9C45C Time : 0.0 sec. user=mdettweiler [2015-12-05 06:59:19] 855*2^1416865-1 is not prime. Res64: A5305B71B49FE8F7 Time : 0.0 sec. user=mdettweiler [2015-12-05 06:59:20] 861*2^1416865-1 is not prime. Res64: 635C2F19ABB57818 Time : 0.0 sec. user=mdettweiler [2015-12-05 07:08:37] 603*2^1416866-1 is not prime. Res64: E4A5F368480F1953 Time : 0.0 sec. user=mdettweiler [2015-12-05 07:08:38] 633*2^1416866-1 is not prime. Res64: 215BB0BDB4B563B6 Time : 0.0 sec. user=mdettweiler [2015-12-05 07:08:40] 641*2^1416866-1 is not prime. Res64: 448D7C35FFE636BF Time : 0.0 sec. user=mdettweiler [2015-12-05 07:08:41] 717*2^1416866-1 is not prime. Res64: 26B890615D70EF16 Time : 0.0 sec. user=mdettweiler [2015-12-05 07:17:00] 831*2^1416866-1 is not prime. Res64: 376310C8F5393F80 Time : 0.0 sec. user=mdettweiler [2015-12-05 07:17:01] 851*2^1416866-1 is not prime. Res64: 977498C7A5F2EDBD Time : 0.0 sec. user=mdettweiler [2015-12-05 07:26:21] 963*2^1416866-1 is not prime. Res64: CCA255E9F6B57C11 Time : 0.0 sec. user=mdettweiler [2015-12-05 07:26:21] 993*2^1416866-1 is not prime. Res64: 7972EFA4549130D3 Time : 0.0 sec. user=mdettweiler [2015-12-05 07:26:22] 887*2^1416866-1 is not prime. Res64: 82297D87AFD1BEA4 Time : 0.0 sec. user=mdettweiler [2015-12-05 07:26:22] 911*2^1416866-1 is not prime. Res64: 662E4AADD61DC6A7 Time : 0.0 sec. user=mdettweiler [2015-12-05 07:34:37] 795*2^1416867-1 is not prime. Res64: A1C0FF07A13723F4 Time : 0.0 sec. user=mdettweiler [2015-12-05 07:34:37] 805*2^1416867-1 is not prime. Res64: C6150630373B8159 Time : 0.0 sec. user=mdettweiler [2015-12-05 07:43:56] 823*2^1416867-1 is not prime. Res64: 160EFC48CB3CD1F9 Time : 0.0 sec. user=mdettweiler [2015-12-05 07:43:57] 951*2^1416867-1 is not prime. Res64: 9883CDAEBC25BF76 Time : 0.0 sec. user=mdettweiler [2015-12-05 07:43:59] 909*2^1416868-1 is not prime. Res64: 9802D3692F648F69 Time : 0.0 sec. user=mdettweiler [2015-12-05 07:43:59] 969*2^1416868-1 is not prime. Res64: EDD93EB9E9F1BDDB Time : 0.0 sec. user=mdettweiler [2015-12-05 07:52:13] 691*2^1416869-1 is not prime. Res64: DD1F57972563FEEF Time : 0.0 sec. user=mdettweiler [2015-12-05 07:52:14] 721*2^1416869-1 is not prime. Res64: 9B1D284A556FF629 Time : 0.0 sec. user=mdettweiler [2015-12-05 08:01:34] 811*2^1416869-1 is not prime. Res64: EA3843F7E55B2FD8 Time : 0.0 sec. user=mdettweiler [2015-12-05 08:01:36] 861*2^1416869-1 is not prime. Res64: EACB68D5EEFA198D Time : 0.0 sec. user=mdettweiler [2015-12-05 08:01:37] 865*2^1416869-1 is not prime. Res64: 581A96AB20AE73C6 Time : 0.0 sec. user=mdettweiler [2015-12-05 08:01:39] 931*2^1416869-1 is not prime. Res64: 7007DEB4DD071CEC Time : 0.0 sec. user=mdettweiler [2015-12-05 08:09:54] 985*2^1416869-1 is not prime. Res64: 204EA3CAD75742B9 Time : 0.0 sec. user=mdettweiler [2015-12-05 08:09:55] 717*2^1416870-1 is not prime. Res64: 2DE0F0D1506AC702 Time : 0.0 sec. user=mdettweiler [2015-12-05 08:19:20] 725*2^1416870-1 is not prime. Res64: 0B0C8065972CC3E7 Time : 0.0 sec. user=mdettweiler [2015-12-05 08:19:20] 747*2^1416870-1 is not prime. Res64: E8ED42ABBE959540 Time : 0.0 sec. user=mdettweiler [2015-12-05 08:19:21] 783*2^1416870-1 is not prime. Res64: 3C1B144D3AE6E34C Time : 0.0 sec. user=mdettweiler [2015-12-05 08:19:22] 833*2^1416870-1 is not prime. Res64: C99BF4C385B9D8DB Time : 0.0 sec. user=mdettweiler [2015-12-05 08:27:34] 891*2^1416870-1 is not prime. Res64: A62C0E72E43FED4C Time : 0.0 sec. user=mdettweiler [2015-12-05 08:27:35] 893*2^1416870-1 is not prime. Res64: CD3AC61E27B5BD67 Time : 0.0 sec. user=mdettweiler [2015-12-05 08:36:55] 915*2^1416870-1 is not prime. Res64: 4F131047DB131909 Time : 0.0 sec. user=mdettweiler [2015-12-05 08:36:56] 963*2^1416870-1 is not prime. Res64: 839ED84FC5704EE4 Time : 0.0 sec. user=mdettweiler [2015-12-05 08:36:56] 771*2^1416871-1 is not prime. Res64: 666477C9E7ABBF8C Time : 0.0 sec. user=mdettweiler [2015-12-05 08:36:57] 901*2^1416871-1 is not prime. Res64: 3CE96C1B71FBD849 Time : 0.0 sec. user=mdettweiler [2015-12-05 08:45:10] 933*2^1416871-1 is not prime. Res64: DDECAD74DEE4A61F Time : 0.0 sec. user=mdettweiler [2015-12-05 08:45:11] 939*2^1416871-1 is not prime. Res64: 46164B9D43DC049C Time : 0.0 sec. user=mdettweiler [2015-12-05 08:54:33] 669*2^1416872-1 is not prime. Res64: 5003BB11E2502993 Time : 0.0 sec. user=mdettweiler [2015-12-05 08:54:33] 609*2^1416873-1 is not prime. Res64: 8C296EE8F3F3579D Time : 0.0 sec. user=mdettweiler [2015-12-05 08:54:33] 893*2^1416872-1 is not prime. Res64: 0BBB7EB51C6A8472 Time : 0.0 sec. user=mdettweiler [2015-12-05 08:54:33] 741*2^1416873-1 is not prime. Res64: CE47765CF971AE9C Time : 0.0 sec. user=mdettweiler [2015-12-05 09:02:48] 787*2^1416873-1 is not prime. Res64: 0367FA733598E5DF Time : 0.0 sec. user=mdettweiler [2015-12-05 09:02:50] 901*2^1416873-1 is not prime. Res64: 84D82DEA938D5C86 Time : 0.0 sec. user=mdettweiler [2015-12-05 09:12:08] 741*2^1416874-1 is not prime. Res64: 346FCC56DCA762CC Time : 0.0 sec. user=mdettweiler [2015-12-05 09:12:08] 609*2^1416875-1 is not prime. Res64: D22CC88968848980 Time : 0.0 sec. user=mdettweiler [2015-12-05 09:12:09] 915*2^1416874-1 is not prime. Res64: 9A27D843A3DB0D81 Time : 0.0 sec. user=mdettweiler [2015-12-05 09:12:09] 645*2^1416875-1 is not prime. Res64: FB3EDC115C6A61CC Time : 0.0 sec. user=mdettweiler [2015-12-05 09:20:29] 655*2^1416875-1 is not prime. Res64: EDC33F15F8DC8316 Time : 0.0 sec. user=mdettweiler [2015-12-05 09:20:29] 861*2^1416875-1 is not prime. Res64: A4660E1C5AE573DA Time : 0.0 sec. user=mdettweiler [2015-12-05 09:29:55] 999*2^1416875-1 is not prime. Res64: 70B2EFB1FD4FA117 Time : 0.0 sec. user=mdettweiler [2015-12-05 09:29:55] 609*2^1416876-1 is not prime. Res64: EFD58E733F7FBEC1 Time : 0.0 sec. user=mdettweiler [2015-12-05 09:29:57] 909*2^1416875-1 is not prime. Res64: 7849C9BEFE716DBD Time : 0.0 sec. user=mdettweiler [2015-12-05 09:29:58] 913*2^1416875-1 is not prime. Res64: 3036A807DB34599E Time : 0.0 sec. user=mdettweiler [2015-12-05 09:38:07] 735*2^1416876-1 is not prime. Res64: 4BA1032C0585BC80 Time : 0.0 sec. user=mdettweiler [2015-12-05 09:38:07] 765*2^1416876-1 is not prime. Res64: 39A9A5FC9F0A8E68 Time : 0.0 sec. user=mdettweiler [2015-12-05 09:47:32] 789*2^1416876-1 is not prime. Res64: 5F052EA7FC24188A Time : 0.0 sec. user=mdettweiler [2015-12-05 09:47:32] 825*2^1416876-1 is not prime. Res64: 5723DE0C5B999094 Time : 0.0 sec. user=mdettweiler [2015-12-05 09:47:34] 837*2^1416876-1 is not prime. Res64: 85B7F5FF9CF7C371 Time : 0.0 sec. user=mdettweiler [2015-12-05 09:47:35] 843*2^1416876-1 is not prime. Res64: 878EDC32CB32C9FD Time : 0.0 sec. user=mdettweiler [2015-12-05 09:55:43] 867*2^1416876-1 is not prime. Res64: FD7D11AD505D71F5 Time : 0.0 sec. user=mdettweiler [2015-12-05 09:55:44] 615*2^1416877-1 is not prime. Res64: 4DF6C08579B2B3DD Time : 0.0 sec. user=mdettweiler [2015-12-05 10:05:08] 729*2^1416877-1 is not prime. Res64: E08A8EB7851C65AF Time : 0.0 sec. user=mdettweiler [2015-12-05 10:05:10] 817*2^1416877-1 is not prime. Res64: 2004D1BDDDB0E9FC Time : 0.0 sec. user=mdettweiler [2015-12-05 10:05:11] 751*2^1416877-1 is not prime. Res64: 60A295BD29634734 Time : 0.0 sec. user=mdettweiler [2015-12-05 10:05:12] 819*2^1416877-1 is not prime. Res64: 2DDBB3E08739F62F Time : 0.0 sec. user=mdettweiler [2015-12-05 10:13:18] 895*2^1416877-1 is not prime. Res64: ED54ABDEA8B67F9F Time : 0.0 sec. user=mdettweiler [2015-12-05 10:13:19] 979*2^1416877-1 is not prime. Res64: 8C6336B31B876132 Time : 0.0 sec. user=mdettweiler [2015-12-05 10:22:59] 997*2^1416877-1 is not prime. Res64: 8E14D481F4C9EB9D Time : 0.0 sec. user=mdettweiler [2015-12-05 10:22:59] 605*2^1416878-1 is not prime. Res64: 5ABA900D22F7B01D Time : 0.0 sec. user=mdettweiler [2015-12-05 10:23:00] 791*2^1416878-1 is not prime. Res64: 1650063FBFE9E4C5 Time : 0.0 sec. user=mdettweiler [2015-12-05 10:23:00] 857*2^1416878-1 is not prime. Res64: EBB92E154239DFCF Time : 0.0 sec. user=mdettweiler [2015-12-05 10:30:58] 945*2^1416878-1 is not prime. Res64: DB4AFA6CD8629D91 Time : 0.0 sec. user=mdettweiler [2015-12-05 10:30:58] 619*2^1416879-1 is not prime. Res64: E4C1D8D71B5E9CD9 Time : 0.0 sec. user=mdettweiler [2015-12-05 10:40:37] 829*2^1416879-1 is not prime. Res64: B7269BAF12A5FF78 Time : 0.0 sec. user=mdettweiler [2015-12-05 10:40:37] 885*2^1416879-1 is not prime. Res64: FD6D872726F17681 Time : 0.0 sec. user=mdettweiler [2015-12-05 10:40:39] 691*2^1416879-1 is not prime. Res64: BC1F0A3A26FDE297 Time : 0.0 sec. user=mdettweiler [2015-12-05 10:40:40] 793*2^1416879-1 is not prime. Res64: 0EB58170E9FE3F2D Time : 0.0 sec. user=mdettweiler [2015-12-05 10:48:38] 891*2^1416879-1 is not prime. Res64: 9FE4FFFB4EE06133 Time : 0.0 sec. user=mdettweiler [2015-12-05 10:48:38] 991*2^1416879-1 is not prime. Res64: 9D0A8E71E3980D80 Time : 0.0 sec. user=mdettweiler [2015-12-05 10:58:14] 629*2^1416880-1 is not prime. Res64: C679B9FD41F57BD9 Time : 0.0 sec. user=mdettweiler [2015-12-05 10:58:14] 699*2^1416880-1 is not prime. Res64: DF39384ED789666F Time : 0.0 sec. user=mdettweiler [2015-12-05 10:58:20] 713*2^1416880-1 is not prime. Res64: C2B092EDBC7BB052 Time : 0.0 sec. user=mdettweiler [2015-12-05 10:58:21] 825*2^1416880-1 is not prime. Res64: 5D38F897911DBABA Time : 0.0 sec. user=mdettweiler [2015-12-05 11:06:18] 827*2^1416880-1 is not prime. Res64: 17A5FA9E618776B7 Time : 0.0 sec. user=mdettweiler [2015-12-05 11:06:18] 875*2^1416880-1 is not prime. Res64: 74D798817687AA68 Time : 0.0 sec. user=mdettweiler [2015-12-05 11:15:51] 927*2^1416880-1 is not prime. Res64: 1537BC1B66D80C0E Time : 0.0 sec. user=mdettweiler [2015-12-05 11:15:51] 975*2^1416880-1 is not prime. Res64: 375C1335B00A5CA6 Time : 0.0 sec. user=mdettweiler [2015-12-05 11:15:57] 619*2^1416881-1 is not prime. Res64: A264C1EB204930EF Time : 0.0 sec. user=mdettweiler [2015-12-05 11:15:57] 705*2^1416881-1 is not prime. Res64: CFF0182DC01BDF8F Time : 0.0 sec. user=mdettweiler [2015-12-05 11:23:53] 775*2^1416881-1 is not prime. Res64: 5BBECB97D7EF0D58 Time : 0.0 sec. user=mdettweiler [2015-12-05 11:23:53] 889*2^1416881-1 is not prime. Res64: C543696997254887 Time : 0.0 sec. user=mdettweiler [2015-12-05 11:33:28] 925*2^1416881-1 is not prime. Res64: D15A65570098D33C Time : 0.0 sec. user=mdettweiler [2015-12-05 11:33:29] 621*2^1416882-1 is not prime. Res64: BDBD9056EAE333DA Time : 0.0 sec. user=mdettweiler [2015-12-05 11:33:32] 651*2^1416882-1 is not prime. Res64: 5CB202D156A35A0C Time : 0.0 sec. user=mdettweiler [2015-12-05 11:33:33] 807*2^1416882-1 is not prime. Res64: A1DD9A600884FBBF Time : 0.0 sec. user=mdettweiler [2015-12-05 11:41:30] 951*2^1416882-1 is not prime. Res64: A2AA6D53150AF1B9 Time : 0.0 sec. user=mdettweiler [2015-12-05 11:41:30] 675*2^1416883-1 is not prime. Res64: 05EDCE7DC26AEFE5 Time : 0.0 sec. user=mdettweiler [2015-12-05 11:51:04] 765*2^1416883-1 is not prime. Res64: 4332824DB47EA11B Time : 0.0 sec. user=mdettweiler [2015-12-05 11:51:04] 771*2^1416883-1 is not prime. Res64: 1DE7DCC5A17824B9 Time : 0.0 sec. user=mdettweiler [2015-12-05 11:51:07] 913*2^1416883-1 is not prime. Res64: C94BC0FA6007EB43 Time : 0.0 sec. user=mdettweiler [2015-12-05 11:51:07] 961*2^1416883-1 is not prime. Res64: 5D00FD3825047E87 Time : 0.0 sec. user=mdettweiler [2015-12-05 11:59:06] 969*2^1416883-1 is not prime. Res64: 90BAA426B8D1BBFB Time : 0.0 sec. user=mdettweiler [2015-12-05 11:59:07] 985*2^1416883-1 is not prime. Res64: CD7730EEBAE2BC07 Time : 0.0 sec. user=mdettweiler [2015-12-05 12:08:42] 609*2^1416884-1 is not prime. Res64: 7BC72CBA95C380F0 Time : 0.0 sec. user=mdettweiler [2015-12-05 12:08:43] 803*2^1416884-1 is not prime. Res64: 928CE6B40E392796 Time : 0.0 sec. user=mdettweiler [2015-12-05 12:08:48] 885*2^1416884-1 is not prime. Res64: 87319BB2B231F558 Time : 0.0 sec. user=mdettweiler [2015-12-05 12:08:49] 945*2^1416884-1 is not prime. Res64: 7198582CC71C2061 Time : 0.0 sec. user=mdettweiler [2015-12-05 12:16:45] 679*2^1416885-1 is not prime. Res64: B4DBDDA6C02FCAE6 Time : 0.0 sec. user=mdettweiler [2015-12-05 12:16:45] 817*2^1416885-1 is not prime. Res64: 651AD908B4D2C9BD Time : 0.0 sec. user=mdettweiler [2015-12-05 12:26:28] 819*2^1416885-1 is not prime. Res64: 3411C2ADA9DACA22 Time : 0.0 sec. user=mdettweiler [2015-12-05 12:26:28] 847*2^1416885-1 is not prime. Res64: 9A9689E353AFFC23 Time : 0.0 sec. user=mdettweiler [2015-12-05 12:26:29] 651*2^1416886-1 is not prime. Res64: 85F9342A5546076A Time : 0.0 sec. user=mdettweiler [2015-12-05 12:26:30] 657*2^1416886-1 is not prime. Res64: 8CC8CE90B2C5AFA8 Time : 0.0 sec. user=mdettweiler [2015-12-05 12:34:24] 705*2^1416886-1 is not prime. Res64: DEFE0D39B81E8BFE Time : 0.0 sec. user=mdettweiler [2015-12-05 12:34:25] 743*2^1416886-1 is not prime. Res64: 774D4502F28901E1 Time : 0.0 sec. user=mdettweiler [2015-12-05 12:44:05] 755*2^1416886-1 is not prime. Res64: E3DC012E5A0B12EE Time : 0.0 sec. user=mdettweiler [2015-12-05 12:44:05] 773*2^1416886-1 is not prime. Res64: 8FC43654FEF1645A Time : 0.0 sec. user=mdettweiler [2015-12-05 12:44:06] 833*2^1416886-1 is not prime. Res64: 9CE488AABEE36908 Time : 0.0 sec. user=mdettweiler [2015-12-05 12:44:06] 857*2^1416886-1 is not prime. Res64: 3B13C881440F165A Time : 0.0 sec. user=mdettweiler [2015-12-05 12:52:02] 873*2^1416886-1 is not prime. Res64: 9961560F2BB50705 Time : 0.0 sec. user=mdettweiler [2015-12-05 12:52:03] 891*2^1416886-1 is not prime. Res64: 1C30A4C71B653C64 Time : 0.0 sec. user=mdettweiler [2015-12-05 13:01:44] 923*2^1416886-1 is not prime. Res64: C4275EE6F7E7B882 Time : 0.0 sec. user=mdettweiler [2015-12-05 13:01:44] 633*2^1416887-1 is not prime. Res64: DE52AAC021CA85A9 Time : 0.0 sec. user=mdettweiler [2015-12-05 13:01:45] 661*2^1416887-1 is not prime. Res64: 95E4F981F6551BE2 Time : 0.0 sec. user=mdettweiler [2015-12-05 13:01:45] 965*2^1416886-1 is not prime. Res64: 7EB8B418D441FF0C Time : 0.0 sec. user=mdettweiler [2015-12-05 13:09:40] 675*2^1416887-1 is not prime. Res64: B373F396CDAF7E40 Time : 0.0 sec. user=mdettweiler [2015-12-05 13:09:42] 825*2^1416887-1 is not prime. Res64: 28C2ABBEB6A33071 Time : 0.0 sec. user=mdettweiler [2015-12-05 13:19:22] 999*2^1416887-1 is not prime. Res64: 8EB9FDA29114A871 Time : 0.0 sec. user=mdettweiler [2015-12-05 13:19:22] 683*2^1416888-1 is not prime. Res64: 716D4AE390BA14BD Time : 0.0 sec. user=mdettweiler [2015-12-05 13:19:23] 865*2^1416887-1 is not prime. Res64: E6617CB6BA2E8F1F Time : 0.0 sec. user=mdettweiler [2015-12-05 13:19:23] 885*2^1416887-1 is not prime. Res64: 28C517DD34442E06 Time : 0.0 sec. user=mdettweiler [2015-12-05 13:27:31] 695*2^1416888-1 is not prime. Res64: 2123573680487320 Time : 0.0 sec. user=mdettweiler [2015-12-05 13:27:32] 773*2^1416888-1 is not prime. Res64: 22B1EF6F824FA6C5 Time : 0.0 sec. user=mdettweiler [2015-12-05 13:37:06] 899*2^1416888-1 is not prime. Res64: EAC769F26BFF6D45 Time : 0.0 sec. user=mdettweiler [2015-12-05 13:37:06] 957*2^1416888-1 is not prime. Res64: A9E4D704A53691FD Time : 0.0 sec. user=mdettweiler [2015-12-05 13:37:06] 661*2^1416889-1 is not prime. Res64: F2BF127BAAD02678 Time : 0.0 sec. user=mdettweiler [2015-12-05 13:37:07] 729*2^1416889-1 is not prime. Res64: 54A474FBACD4C36D Time : 0.0 sec. user=mdettweiler [2015-12-05 13:45:19] 741*2^1416889-1 is not prime. Res64: 1D9ABF1EED8D6640 Time : 0.0 sec. user=mdettweiler [2015-12-05 13:45:19] 841*2^1416889-1 is not prime. Res64: 51B97301080AB4C7 Time : 0.0 sec. user=mdettweiler [2015-12-05 13:55:00] 767*2^1416890-1 is not prime. Res64: 0241E12FF2883632 Time : 0.0 sec. user=mdettweiler [2015-12-05 13:55:00] 885*2^1416890-1 is not prime. Res64: B34917BF66D0AECB Time : 0.0 sec. user=mdettweiler [2015-12-05 13:55:01] 877*2^1416889-1 is not prime. Res64: 904AF2195C067C78 Time : 0.0 sec. user=mdettweiler [2015-12-05 13:55:02] 633*2^1416890-1 is not prime. Res64: B93C9C2E539D7394 Time : 0.0 sec. user=mdettweiler [2015-12-05 14:03:29] 915*2^1416890-1 is not prime. Res64: 977DFCEF89F260EA Time : 0.0 sec. user=mdettweiler [2015-12-05 14:03:30] 705*2^1416891-1 is not prime. Res64: 4ACFFCF068855198 Time : 0.0 sec. user=mdettweiler [2015-12-05 14:13:13] 711*2^1416891-1 is not prime. Res64: CDF95521840E022E Time : 0.0 sec. user=mdettweiler [2015-12-05 14:13:14] 751*2^1416891-1 is not prime. Res64: 7F16C30B6D9D3984 Time : 0.0 sec. user=mdettweiler [2015-12-05 14:13:15] 723*2^1416891-1 is not prime. Res64: 76AB1953309D1C57 Time : 0.0 sec. user=mdettweiler [2015-12-05 14:13:15] 769*2^1416891-1 is not prime. Res64: 4207D89061B1F38C Time : 0.0 sec. user=mdettweiler [2015-12-05 14:21:39] 781*2^1416891-1 is not prime. Res64: 444B6EA324172C02 Time : 0.0 sec. user=mdettweiler [2015-12-05 14:21:39] 901*2^1416891-1 is not prime. Res64: 020BA5AC0ECCDB91 Time : 0.0 sec. user=mdettweiler [2015-12-05 14:31:19] 909*2^1416891-1 is not prime. Res64: 468399EC32B1A066 Time : 0.0 sec. user=mdettweiler [2015-12-05 14:31:19] 949*2^1416891-1 is not prime. Res64: 127D394FBDA94BF0 Time : 0.0 sec. user=mdettweiler [2015-12-05 14:31:23] 617*2^1416892-1 is not prime. Res64: 32FDD16BE1D7B4CC Time : 0.0 sec. user=mdettweiler [2015-12-05 14:31:23] 819*2^1416892-1 is not prime. Res64: B5CBA235DD0E778C Time : 0.0 sec. user=mdettweiler [2015-12-05 14:39:29] 827*2^1416892-1 is not prime. Res64: 996B52632B960CD0 Time : 0.0 sec. user=mdettweiler [2015-12-05 14:39:30] 863*2^1416892-1 is not prime. Res64: 09D13B0A31AA4E40 Time : 0.0 sec. user=mdettweiler [2015-12-05 14:49:04] 875*2^1416892-1 is not prime. Res64: C47788919429D11F Time : 0.0 sec. user=mdettweiler [2015-12-05 14:49:05] 939*2^1416892-1 is not prime. Res64: F526E3C5201B21B7 Time : 0.0 sec. user=mdettweiler [2015-12-05 14:49:07] 987*2^1416892-1 is not prime. Res64: 97655AB931B26248 Time : 0.0 sec. user=mdettweiler [2015-12-05 14:49:08] 615*2^1416893-1 is not prime. Res64: 67C2A9A0BC2B7221 Time : 0.0 sec. user=mdettweiler [2015-12-05 14:57:22] 721*2^1416893-1 is not prime. Res64: 7BD89F65A72E54C3 Time : 0.0 sec. user=mdettweiler [2015-12-05 14:57:23] 747*2^1416893-1 is not prime. Res64: 0E087D7E9A39427F Time : 0.0 sec. user=mdettweiler [2015-12-05 15:07:09] 979*2^1416893-1 is not prime. Res64: 4BF7528F5DEE00AD Time : 0.0 sec. user=mdettweiler [2015-12-05 15:07:11] 671*2^1416894-1 is not prime. Res64: 64E56B6982A8AB26 Time : 0.0 sec. user=mdettweiler [2015-12-05 15:07:13] 795*2^1416893-1 is not prime. Res64: 9266D8A9323DA6FF Time : 0.0 sec. user=mdettweiler [2015-12-05 15:07:14] 885*2^1416893-1 is not prime. Res64: 505EDD6BC772EA6B Time : 0.0 sec. user=mdettweiler [2015-12-05 15:15:28] 741*2^1416894-1 is not prime. Res64: 8817E6BC1672C897 Time : 0.0 sec. user=mdettweiler [2015-12-05 15:15:29] 927*2^1416894-1 is not prime. Res64: 65DEAD0F9E3A84A5 Time : 0.0 sec. user=mdettweiler [2015-12-05 15:25:33] 709*2^1416895-1 is not prime. Res64: 421A5501E78B767F Time : 0.0 sec. user=mdettweiler [2015-12-05 15:25:34] 723*2^1416895-1 is not prime. Res64: EC0DCD2B35F2FD70 Time : 0.0 sec. user=mdettweiler [2015-12-05 15:25:38] 771*2^1416895-1 is not prime. Res64: 406FDEB8EA800A4E Time : 0.0 sec. user=mdettweiler [2015-12-05 15:25:38] 849*2^1416895-1 is not prime. Res64: 0D9D23E83F7F6CF8 Time : 0.0 sec. user=mdettweiler [2015-12-05 15:33:38] 857*2^1416896-1 is not prime. Res64: 7AEA6F97A1A14D0F Time : 0.0 sec. user=mdettweiler [2015-12-05 15:33:38] 957*2^1416896-1 is not prime. Res64: 3949F36457198065 Time : 0.0 sec. user=mdettweiler [2015-12-05 15:43:54] 669*2^1416897-1 is not prime. Res64: 7095FFEF76583ADD Time : 0.0 sec. user=mdettweiler [2015-12-05 15:43:55] 735*2^1416897-1 is not prime. Res64: 9FE062E5852355DC Time : 0.0 sec. user=mdettweiler [2015-12-05 15:44:01] 867*2^1416897-1 is not prime. Res64: E12BB0370FB80E7D Time : 0.0 sec. user=mdettweiler [2015-12-05 15:44:01] 821*2^1416898-1 is not prime. Res64: 5D56ADC6C683E63E Time : 0.0 sec. user=mdettweiler [2015-12-05 15:51:59] 923*2^1416898-1 is not prime. Res64: 299E7E481596A737 Time : 0.0 sec. user=mdettweiler [2015-12-05 15:52:00] 971*2^1416898-1 is not prime. Res64: 90292B5372E0BA0D Time : 0.0 sec. user=mdettweiler [2015-12-05 16:01:58] 669*2^1416899-1 is not prime. Res64: 43254A50A6180C4A Time : 0.0 sec. user=mdettweiler [2015-12-05 16:01:58] 733*2^1416899-1 is not prime. Res64: F5A5E5AC88BD080C Time : 0.0 sec. user=mdettweiler [2015-12-05 16:02:03] 949*2^1416899-1 is not prime. Res64: BAEC6EEEF7B4945D Time : 0.0 sec. user=mdettweiler [2015-12-05 16:02:04] 627*2^1416900-1 is not prime. Res64: 5D4FF215A264F55D Time : 0.0 sec. user=mdettweiler [2015-12-05 16:10:00] 789*2^1416900-1 is not prime. Res64: E49BC5575CC100A6 Time : 0.0 sec. user=mdettweiler [2015-12-05 16:10:01] 873*2^1416900-1 is not prime. Res64: 6C2737F5B45148A7 Time : 0.0 sec. user=mdettweiler [2015-12-05 16:19:58] 905*2^1416900-1 is not prime. Res64: D276416BC28B6130 Time : 0.0 sec. user=mdettweiler [2015-12-05 16:19:58] 929*2^1416900-1 is not prime. Res64: C2BD766FD09A7F89 Time : 0.0 sec. user=mdettweiler [2015-12-05 16:20:13] 775*2^1416901-1 is not prime. Res64: 8F4E6D0B7D0B6845 Time : 0.0 sec. user=mdettweiler [2015-12-05 16:20:13] 799*2^1416901-1 is not prime. Res64: F070909753AA12EA Time : 0.0 sec. user=mdettweiler [2015-12-05 16:28:21] 867*2^1416901-1 is not prime. Res64: 35CA52F1BFBD2690 Time : 0.0 sec. user=mdettweiler [2015-12-05 16:28:21] 931*2^1416901-1 is not prime. Res64: C6A4B617FD8E8A4F Time : 0.0 sec. user=mdettweiler [2015-12-05 16:38:27] 623*2^1416902-1 is not prime. Res64: 1AB497BF6BE7E4B3 Time : 0.0 sec. user=mdettweiler [2015-12-05 16:38:27] 651*2^1416902-1 is not prime. Res64: D3D09A2FE55BB025 Time : 0.0 sec. user=mdettweiler [2015-12-05 16:38:38] 675*2^1416902-1 is not prime. Res64: F5AA1BDD5A506B6F Time : 0.0 sec. user=mdettweiler [2015-12-05 16:38:39] 731*2^1416902-1 is not prime. Res64: 3C5149B21BD57B05 Time : 0.0 sec. user=mdettweiler [2015-12-05 16:47:41] 801*2^1416902-1 is not prime. Res64: 355A9987D44BBCC8 Time : 0.0 sec. user=mdettweiler [2015-12-05 16:47:41] 825*2^1416902-1 is not prime. Res64: 82698BE81AE51647 Time : 0.0 sec. user=mdettweiler [2015-12-05 16:57:49] 867*2^1416902-1 is not prime. Res64: 796BA7A555ED8D23 Time : 0.0 sec. user=mdettweiler [2015-12-05 16:57:49] 875*2^1416902-1 is not prime. Res64: 18C3E7CB80D43E2D Time : 0.0 sec. user=mdettweiler [2015-12-05 16:58:02] 887*2^1416902-1 is not prime. Res64: 103C201D5926EDE1 Time : 0.0 sec. user=mdettweiler [2015-12-05 16:58:03] 951*2^1416902-1 is not prime. Res64: 90C4AA25E95838A8 Time : 0.0 sec. user=mdettweiler [2015-12-05 17:06:16] 957*2^1416902-1 is not prime. Res64: 5130C4D09B733F83 Time : 0.0 sec. user=mdettweiler [2015-12-05 17:06:16] 987*2^1416902-1 is not prime. Res64: 6ED8F3214A30E540 Time : 0.0 sec. user=mdettweiler [2015-12-05 17:15:56] 705*2^1416903-1 is not prime. Res64: 63FA93A97A67E3FF Time : 0.0 sec. user=mdettweiler [2015-12-05 17:15:56] 805*2^1416903-1 is not prime. Res64: 7EE1094DC3552006 Time : 0.0 sec. user=mdettweiler [2015-12-05 17:16:11] 819*2^1416903-1 is not prime. Res64: 92E819F98B5B2048 Time : 0.0 sec. user=mdettweiler [2015-12-05 17:16:11] 693*2^1416904-1 is not prime. Res64: C2315743C12BD5FF Time : 0.0 sec. user=mdettweiler [2015-12-05 17:24:23] 785*2^1416904-1 is not prime. Res64: 718E83E3F7ACD3B0 Time : 0.0 sec. user=mdettweiler [2015-12-05 17:24:23] 813*2^1416904-1 is not prime. Res64: D643331EC58E1CEB Time : 0.0 sec. user=mdettweiler [2015-12-05 17:34:01] 833*2^1416904-1 is not prime. Res64: 92D1346A6D4B09D1 Time : 0.0 sec. user=mdettweiler [2015-12-05 17:34:01] 899*2^1416904-1 is not prime. Res64: 3C76FDF7BDA96D3D Time : 0.0 sec. user=mdettweiler [2015-12-05 17:34:17] 903*2^1416904-1 is not prime. Res64: 2D39F850EA4ACD24 Time : 0.0 sec. user=mdettweiler [2015-12-05 17:34:17] 909*2^1416904-1 is not prime. Res64: 23C383FB92AF8E8E Time : 0.0 sec. user=mdettweiler [2015-12-05 17:42:20] 917*2^1416904-1 is not prime. Res64: 4BE02E1EBE4F240D Time : 0.0 sec. user=mdettweiler [2015-12-05 17:42:21] 975*2^1416904-1 is not prime. Res64: D31067D2F31467B7 Time : 0.0 sec. user=mdettweiler [2015-12-05 17:51:56] 645*2^1416905-1 is not prime. Res64: 7CDECB268A97EF94 Time : 0.0 sec. user=mdettweiler [2015-12-05 17:51:57] 691*2^1416905-1 is not prime. Res64: B94AE7366C83E3B0 Time : 0.0 sec. user=mdettweiler [2015-12-05 17:52:11] 955*2^1416905-1 is not prime. Res64: 7EE4FE7D7BE5327E Time : 0.0 sec. user=mdettweiler [2015-12-05 17:52:11] 611*2^1416906-1 is not prime. Res64: 9F1C3A513496DC46 Time : 0.0 sec. user=mdettweiler [2015-12-05 18:00:17] 641*2^1416906-1 is not prime. Res64: E6A27E03266EAF74 Time : 0.0 sec. user=mdettweiler [2015-12-05 18:00:18] 705*2^1416906-1 is not prime. Res64: 12B14D7F72C2E3A4 Time : 0.0 sec. user=mdettweiler [2015-12-05 18:10:04] 707*2^1416906-1 is not prime. Res64: 84CB21A1604DF8B8 Time : 0.0 sec. user=mdettweiler [2015-12-05 18:10:06] 741*2^1416906-1 is not prime. Res64: A56C1648B0310F18 Time : 0.0 sec. user=mdettweiler [2015-12-05 18:10:18] 765*2^1416906-1 is not prime. Res64: A8E8454F03A77EFA Time : 0.0 sec. user=mdettweiler [2015-12-05 18:10:19] 891*2^1416906-1 is not prime. Res64: 8C3DC521C0486C10 Time : 0.0 sec. user=mdettweiler [2015-12-05 18:18:30] 893*2^1416906-1 is not prime. Res64: 274BD775AA069774 Time : 0.0 sec. user=mdettweiler [2015-12-05 18:18:31] 903*2^1416906-1 is not prime. Res64: 6002225451F54FB5 Time : 0.0 sec. user=mdettweiler [2015-12-05 18:28:25] 609*2^1416907-1 is not prime. Res64: 670FA4A344082BA6 Time : 0.0 sec. user=mdettweiler [2015-12-05 18:28:25] 615*2^1416907-1 is not prime. Res64: 093A57145FDE2953 Time : 0.0 sec. user=mdettweiler [2015-12-05 18:28:32] 651*2^1416907-1 is not prime. Res64: 8BC1D61F4098C075 Time : 0.0 sec. user=mdettweiler [2015-12-05 18:28:32] 765*2^1416907-1 is not prime. Res64: 2ACB7D485B334265 Time : 0.0 sec. user=mdettweiler [2015-12-05 18:36:33] 829*2^1416907-1 is not prime. Res64: 688F9C51BA8D1E7A Time : 0.0 sec. user=mdettweiler [2015-12-05 18:36:34] 883*2^1416907-1 is not prime. Res64: CF18A751D4F00C36 Time : 0.0 sec. user=mdettweiler [2015-12-05 18:46:18] 891*2^1416907-1 is not prime. Res64: 2F68C88987E29B25 Time : 0.0 sec. user=mdettweiler [2015-12-05 18:46:18] 895*2^1416907-1 is not prime. Res64: 7865E984CAA65F0F Time : 0.0 sec. user=mdettweiler [2015-12-05 18:46:21] 767*2^1416908-1 is not prime. Res64: F3D0D4AF0B6A610C Time : 0.0 sec. user=mdettweiler [2015-12-05 18:46:22] 837*2^1416908-1 is not prime. Res64: 23C1275E08CBEB9F Time : 0.0 sec. user=mdettweiler [2015-12-05 18:54:17] 839*2^1416908-1 is not prime. Res64: 4EC54C688A0AEA1A Time : 0.0 sec. user=mdettweiler [2015-12-05 18:54:17] 977*2^1416908-1 is not prime. Res64: E52AA24888BBB3A5 Time : 0.0 sec. user=mdettweiler [2015-12-05 19:04:01] 711*2^1416909-1 is not prime. Res64: 46D93E3CD670DC4B Time : 0.0 sec. user=mdettweiler [2015-12-05 19:04:03] 891*2^1416909-1 is not prime. Res64: 6D40D64B51AE5F27 Time : 0.0 sec. user=mdettweiler [2015-12-05 19:04:03] 951*2^1416909-1 is not prime. Res64: DA06C4F100F6746A Time : 0.0 sec. user=mdettweiler [2015-12-05 19:04:04] 605*2^1416910-1 is not prime. Res64: 79417AC1CBA59713 Time : 0.0 sec. user=mdettweiler [2015-12-05 19:11:59] 665*2^1416910-1 is not prime. Res64: AD6AF7CEC3D671B8 Time : 0.0 sec. user=mdettweiler [2015-12-05 19:12:00] 717*2^1416910-1 is not prime. Res64: 888BFF6D3BF63A8C Time : 0.0 sec. user=mdettweiler [2015-12-05 19:21:54] 777*2^1416910-1 is not prime. Res64: EE2DC5CB0CFE4E38 Time : 0.0 sec. user=mdettweiler [2015-12-05 19:21:54] 791*2^1416910-1 is not prime. Res64: 22AD9C8848151618 Time : 0.0 sec. user=mdettweiler [2015-12-05 19:21:55] 945*2^1416910-1 is not prime. Res64: A974DFD8359BD10E Time : 0.0 sec. user=mdettweiler [2015-12-05 19:21:55] 951*2^1416910-1 is not prime. Res64: 8A71B3B46042052E Time : 0.0 sec. user=mdettweiler [2015-12-05 19:29:51] 987*2^1416910-1 is not prime. Res64: 770956C9D27FDA56 Time : 0.0 sec. user=mdettweiler [2015-12-05 19:29:51] 705*2^1416911-1 is not prime. Res64: E6FC3EFF650D213B Time : 0.0 sec. user=mdettweiler [2015-12-05 19:39:37] 715*2^1416911-1 is not prime. Res64: 05003DC937091CBD Time : 0.0 sec. user=mdettweiler [2015-12-05 19:39:37] 805*2^1416911-1 is not prime. Res64: 0D0BA546DC2FA731 Time : 0.0 sec. user=mdettweiler [2015-12-05 19:39:37] 741*2^1416911-1 is not prime. Res64: 602516E8EA418209 Time : 0.0 sec. user=mdettweiler [2015-12-05 19:39:38] 999*2^1416911-1 is not prime. Res64: 0E65DFE67F0B65EF Time : 0.0 sec. user=mdettweiler [2015-12-05 19:47:36] 605*2^1416912-1 is not prime. Res64: D1CA399458111775 Time : 0.0 sec. user=mdettweiler [2015-12-05 19:47:36] 609*2^1416912-1 is not prime. Res64: 37BD068A20B48C9E Time : 0.0 sec. user=mdettweiler [2015-12-05 19:57:20] 615*2^1416912-1 is not prime. Res64: 9CE704F88CA08097 Time : 0.0 sec. user=mdettweiler [2015-12-05 19:57:21] 797*2^1416912-1 is not prime. Res64: 62EE03883015BCB9 Time : 0.0 sec. user=mdettweiler [2015-12-05 19:57:22] 825*2^1416912-1 is not prime. Res64: 8398D11D62BD639C Time : 0.0 sec. user=mdettweiler [2015-12-05 19:57:22] 895*2^1416913-1 is not prime. Res64: A589DBC01858570D Time : 0.0 sec. user=mdettweiler [2015-12-05 20:05:18] 951*2^1416913-1 is not prime. Res64: B6DDA2BC1E4EA2C4 Time : 0.0 sec. user=mdettweiler [2015-12-05 20:05:19] 987*2^1416913-1 is not prime. Res64: 8ACC2FDBA9DA83C5 Time : 0.0 sec. user=mdettweiler [2015-12-05 20:15:01] 935*2^1416914-1 is not prime. Res64: 9F1BC92D88749501 Time : 0.0 sec. user=mdettweiler [2015-12-05 20:15:01] 731*2^1416914-1 is not prime. Res64: D0A223E3ABEEF8C2 Time : 0.0 sec. user=mdettweiler [2015-12-05 20:15:02] 643*2^1416915-1 is not prime. Res64: CFC460E9787B415D Time : 0.0 sec. user=mdettweiler [2015-12-05 20:15:03] 827*2^1416914-1 is not prime. Res64: B93B49FB72E8B6EF Time : 0.0 sec. user=mdettweiler [2015-12-05 20:23:03] 669*2^1416915-1 is not prime. Res64: 9D43307F5ECA49F1 Time : 0.0 sec. user=mdettweiler [2015-12-05 20:23:04] 709*2^1416915-1 is not prime. Res64: EEE22F97C3891E15 Time : 0.0 sec. user=mdettweiler [2015-12-05 20:32:55] 723*2^1416915-1 is not prime. Res64: 381377E3F78E0692 Time : 0.0 sec. user=mdettweiler [2015-12-05 20:32:56] 751*2^1416915-1 is not prime. Res64: 9BA83AEC8B342BE9 Time : 0.0 sec. user=mdettweiler [2015-12-05 20:32:57] 795*2^1416915-1 is not prime. Res64: DA06B6147B454435 Time : 0.0 sec. user=mdettweiler [2015-12-05 20:32:57] 903*2^1416915-1 is not prime. Res64: E1F0950F686ABE50 Time : 0.0 sec. user=mdettweiler [2015-12-05 20:40:42] 913*2^1416915-1 is not prime. Res64: 12FB634B60E4104B Time : 0.0 sec. user=mdettweiler [2015-12-05 20:40:43] 921*2^1416915-1 is not prime. Res64: A97BF7FA904F48DC Time : 0.0 sec. user=mdettweiler [2015-12-05 20:50:35] 689*2^1416916-1 is not prime. Res64: 999BFEED771B01E5 Time : 0.0 sec. user=mdettweiler [2015-12-05 20:50:35] 783*2^1416916-1 is not prime. Res64: 1B074A1813B11A15 Time : 0.0 sec. user=mdettweiler [2015-12-05 20:50:40] 857*2^1416916-1 is not prime. Res64: E0B19C9289577899 Time : 0.0 sec. user=mdettweiler [2015-12-05 20:50:40] 875*2^1416916-1 is not prime. Res64: 78F00D89653D681C Time : 0.0 sec. user=mdettweiler [2015-12-05 20:58:26] 887*2^1416916-1 is not prime. Res64: A28BCC54CD484EB9 Time : 0.0 sec. user=mdettweiler [2015-12-05 20:58:27] 957*2^1416916-1 is not prime. Res64: F48F385DA57BADE9 Time : 0.0 sec. user=mdettweiler [2015-12-05 21:08:24] 627*2^1416917-1 is not prime. Res64: ACEE204748C1B5D8 Time : 0.0 sec. user=mdettweiler [2015-12-05 21:08:25] 669*2^1416917-1 is not prime. Res64: 4AFF884117328D24 Time : 0.0 sec. user=mdettweiler [2015-12-05 21:08:27] 675*2^1416917-1 is not prime. Res64: 39932F7B876B642C Time : 0.0 sec. user=mdettweiler [2015-12-05 21:08:29] 685*2^1416917-1 is not prime. Res64: 2CFD2BCA4D8366C6 Time : 0.0 sec. user=mdettweiler [2015-12-05 21:16:22] 697*2^1416917-1 is not prime. Res64: DB3972196B9F104A Time : 0.0 sec. user=mdettweiler [2015-12-05 21:16:22] 861*2^1416917-1 is not prime. Res64: A6A95F149B6C2D83 Time : 0.0 sec. user=mdettweiler [2015-12-05 21:26:33] 641*2^1416918-1 is not prime. Res64: 711FDC7C41CADF7F Time : 0.0 sec. user=mdettweiler [2015-12-05 21:26:34] 683*2^1416918-1 is not prime. Res64: EC1E09454C192A4A Time : 0.0 sec. user=mdettweiler [2015-12-05 21:26:35] 885*2^1416917-1 is not prime. Res64: 079066842079DFD6 Time : 0.0 sec. user=mdettweiler [2015-12-05 21:26:36] 621*2^1416918-1 is not prime. Res64: E6B92FB119570456 Time : 0.0 sec. user=mdettweiler [2015-12-05 21:34:05] 707*2^1416918-1 is not prime. Res64: 76042A9E05A5CDB0 Time : 0.0 sec. user=mdettweiler [2015-12-05 21:34:05] 755*2^1416918-1 is not prime. Res64: C4C9C30DB7C59671 Time : 0.0 sec. user=mdettweiler [2015-12-05 21:44:17] 765*2^1416918-1 is not prime. Res64: 91A9384374A1ACCC Time : 0.0 sec. user=mdettweiler [2015-12-05 21:44:17] 797*2^1416918-1 is not prime. Res64: F08D2CAB4DCDCCD2 Time : 0.0 sec. user=mdettweiler [2015-12-05 21:44:20] 821*2^1416918-1 is not prime. Res64: ED07BD5E8455191D Time : 0.0 sec. user=mdettweiler [2015-12-05 21:44:21] 609*2^1416919-1 is not prime. Res64: 5AA96AD2C88028E5 Time : 0.0 sec. user=mdettweiler [2015-12-05 21:51:47] 703*2^1416919-1 is not prime. Res64: F2B3C51A1E0C0DD5 Time : 0.0 sec. user=mdettweiler [2015-12-05 21:51:47] 729*2^1416919-1 is not prime. Res64: 11B879119E394746 Time : 0.0 sec. user=mdettweiler [2015-12-05 22:02:02] 775*2^1416919-1 is not prime. Res64: 3244E9824DF7B467 Time : 0.0 sec. user=mdettweiler [2015-12-05 22:02:03] 789*2^1416919-1 is not prime. Res64: D0DBEDD3218B4F8B Time : 0.0 sec. user=mdettweiler [2015-12-05 22:02:07] 853*2^1416919-1 is not prime. Res64: A55AC68167300E15 Time : 0.0 sec. user=mdettweiler [2015-12-05 22:02:08] 891*2^1416919-1 is not prime. Res64: 20F2ED9C015ED3CF Time : 0.0 sec. user=mdettweiler [2015-12-05 22:09:33] 961*2^1416919-1 is not prime. Res64: 5FC400F799620742 Time : 0.0 sec. user=mdettweiler [2015-12-05 22:09:35] 717*2^1416920-1 is not prime. Res64: 4215D3E98D1148B8 Time : 0.0 sec. user=mdettweiler [2015-12-05 22:20:01] 789*2^1416920-1 is not prime. Res64: 73311426C173E1E9 Time : 0.0 sec. user=mdettweiler [2015-12-05 22:20:01] 743*2^1416920-1 is not prime. Res64: 170E72DBD881E9F8 Time : 0.0 sec. user=mdettweiler [2015-12-05 22:20:01] 825*2^1416920-1 is not prime. Res64: 58BB011161A540CB Time : 0.0 sec. user=mdettweiler [2015-12-05 22:20:01] 767*2^1416920-1 is not prime. Res64: 8B350C38CE203C4C Time : 0.0 sec. user=mdettweiler [2015-12-05 22:27:36] 929*2^1416920-1 is not prime. Res64: 8564F27328C7FD73 Time : 0.0 sec. user=mdettweiler [2015-12-05 22:27:36] 977*2^1416920-1 is not prime. Res64: 485235B0DC1B6182 Time : 0.0 sec. user=mdettweiler [2015-12-05 22:37:56] 607*2^1416921-1 is not prime. Res64: 9AD0DADCB9D9261D Time : 0.0 sec. user=mdettweiler [2015-12-05 22:37:57] 657*2^1416921-1 is not prime. Res64: E3A45DD94B3AC00C Time : 0.0 sec. user=mdettweiler [2015-12-05 22:37:59] 675*2^1416921-1 is not prime. Res64: CDE0CDA6477584FC Time : 0.0 sec. user=mdettweiler [2015-12-05 22:38:00] 861*2^1416921-1 is not prime. Res64: F59B8BE1E269E4F0 Time : 0.0 sec. user=mdettweiler [2015-12-05 22:45:42] 979*2^1416921-1 is not prime. Res64: 1C4A32CB751C2A79 Time : 0.0 sec. user=mdettweiler [2015-12-05 22:45:42] 991*2^1416921-1 is not prime. Res64: 4C178C7441986BF4 Time : 0.0 sec. user=mdettweiler [2015-12-05 22:56:04] 735*2^1416922-1 is not prime. Res64: 423CDC470ACF083A Time : 0.0 sec. user=mdettweiler [2015-12-05 22:56:05] 843*2^1416922-1 is not prime. Res64: 6BE9E8519089CE8C Time : 0.0 sec. user=mdettweiler [2015-12-05 22:56:06] 701*2^1416922-1 is not prime. Res64: 2B4F858A65B92AC1 Time : 0.0 sec. user=mdettweiler [2015-12-05 22:56:06] 731*2^1416922-1 is not prime. Res64: 8C1027E9255D10F9 Time : 0.0 sec. user=mdettweiler [2015-12-05 23:03:37] 885*2^1416922-1 is not prime. Res64: 92587420065B8ED5 Time : 0.0 sec. user=mdettweiler [2015-12-05 23:03:39] 887*2^1416922-1 is not prime. Res64: BD8FC4DC2124969C Time : 0.0 sec. user=mdettweiler [2015-12-05 23:13:51] 891*2^1416922-1 is not prime. Res64: 3C66803E6BD32B76 Time : 0.0 sec. user=mdettweiler [2015-12-05 23:13:52] 947*2^1416922-1 is not prime. Res64: 2476170518A0FDA0 Time : 0.0 sec. user=mdettweiler [2015-12-05 23:13:53] 995*2^1416922-1 is not prime. Res64: C9FA63F5DA13DF81 Time : 0.0 sec. user=mdettweiler [2015-12-05 23:13:54] 823*2^1416923-1 is not prime. Res64: 4B789FC8806F2B41 Time : 0.0 sec. user=mdettweiler [2015-12-05 23:21:47] 901*2^1416923-1 is not prime. Res64: 135DE3866F09C68E Time : 0.0 sec. user=mdettweiler [2015-12-05 23:21:47] 627*2^1416924-1 is not prime. Res64: 41B7F104F6AD4ABC Time : 0.0 sec. user=mdettweiler [2015-12-05 23:32:57] 705*2^1416924-1 is not prime. Res64: 7D3488E82E660838 Time : 0.0 sec. user=mdettweiler [2015-12-05 23:32:57] 707*2^1416924-1 is not prime. Res64: 7A1CA79E71D3ADD3 Time : 0.0 sec. user=mdettweiler [2015-12-05 23:33:00] 717*2^1416924-1 is not prime. Res64: 933C9E5BB0AAC074 Time : 0.0 sec. user=mdettweiler [2015-12-05 23:33:01] 749*2^1416924-1 is not prime. Res64: DBCE44B63979B966 Time : 0.0 sec. user=mdettweiler [2015-12-05 23:40:50] 899*2^1416924-1 is not prime. Res64: 8CA446DFD6699362 Time : 0.0 sec. user=mdettweiler [2015-12-05 23:40:51] 905*2^1416924-1 is not prime. Res64: BB80B8F07995A9A1 Time : 0.0 sec. user=mdettweiler [2015-12-05 23:51:14] 935*2^1416924-1 is not prime. Res64: 00090F04643140B7 Time : 0.0 sec. user=mdettweiler [2015-12-05 23:51:14] 987*2^1416924-1 is not prime. Res64: 1CA1630E330D1BC5 Time : 0.0 sec. user=mdettweiler [2015-12-05 23:51:19] 717*2^1416925-1 is not prime. Res64: 8C6983AC522F6968 Time : 0.0 sec. user=mdettweiler [2015-12-05 23:51:20] 801*2^1416925-1 is not prime. Res64: 06D58C67D177AC3D Time : 0.0 sec. user=mdettweiler [2015-12-05 23:58:54] 805*2^1416925-1 is not prime. Res64: 7481C1FD6C8B858B Time : 0.0 sec. user=mdettweiler [2015-12-05 23:58:54] 817*2^1416925-1 is not prime. Res64: 89C6B3D88C5611F4 Time : 0.0 sec.