user=mdettweiler [2016-02-15 00:01:49] 843*2^1422022-1 is not prime. Res64: B0499AF876191F60 Time : 0.0 sec. user=mdettweiler [2016-02-15 00:01:50] 885*2^1422022-1 is not prime. Res64: 1474C67F042B6444 Time : 0.0 sec. user=mdettweiler [2016-02-15 00:11:07] 911*2^1422022-1 is not prime. Res64: 1E27CF91B2D9DDED Time : 0.0 sec. user=mdettweiler [2016-02-15 00:11:08] 1001*2^1422022-1 is not prime. Res64: DD86EAE47BF6BF65 Time : 0.0 sec. user=mdettweiler [2016-02-15 00:11:12] 745*2^1422023-1 is not prime. Res64: 9F841C5FF11D83AB Time : 0.0 sec. user=mdettweiler [2016-02-15 00:11:13] 759*2^1422023-1 is not prime. Res64: 1A85B453B3E6EEE6 Time : 0.0 sec. user=mdettweiler [2016-02-15 00:19:18] 813*2^1422023-1 is not prime. Res64: CB390188B4A2ADAA Time : 0.0 sec. user=mdettweiler [2016-02-15 00:19:19] 879*2^1422023-1 is not prime. Res64: 3CE0BDA111980788 Time : 0.0 sec. user=mdettweiler [2016-02-15 00:28:37] 969*2^1422023-1 is not prime. Res64: F5FBCCD39767D2CB Time : 0.0 sec. user=mdettweiler [2016-02-15 00:28:37] 609*2^1422024-1 is not prime. Res64: F33B0417167A8E0A Time : 0.0 sec. user=mdettweiler [2016-02-15 00:28:40] 639*2^1422024-1 is not prime. Res64: 76F9A0265C2DB206 Time : 0.0 sec. user=mdettweiler [2016-02-15 00:28:41] 837*2^1422024-1 is not prime. Res64: 43D9CA12D92B0276 Time : 0.0 sec. user=mdettweiler [2016-02-15 00:36:47] 843*2^1422024-1 is not prime. Res64: 74C1D35294AB41A2 Time : 0.0 sec. user=mdettweiler [2016-02-15 00:36:48] 909*2^1422024-1 is not prime. Res64: FF90BF676D48CC36 Time : 0.0 sec. user=mdettweiler [2016-02-15 00:46:03] 765*2^1422025-1 is not prime. Res64: D0CA8F2B62EFA45B Time : 0.0 sec. user=mdettweiler [2016-02-15 00:46:04] 925*2^1422025-1 is not prime. Res64: 50256266BCFC3AF9 Time : 0.0 sec. user=mdettweiler [2016-02-15 00:46:07] 831*2^1422026-1 is not prime. Res64: 074228A3792A76E2 Time : 0.0 sec. user=mdettweiler [2016-02-15 00:46:08] 857*2^1422026-1 is not prime. Res64: BED4FB8041B3F125 Time : 0.0 sec. user=mdettweiler [2016-02-15 00:54:15] 875*2^1422026-1 is not prime. Res64: 39C7F36031A1A06B Time : 0.0 sec. user=mdettweiler [2016-02-15 00:54:15] 893*2^1422026-1 is not prime. Res64: 16F94666F4DA813D Time : 0.0 sec. user=mdettweiler [2016-02-15 01:03:31] 619*2^1422027-1 is not prime. Res64: 0D8058AE2B3D0C15 Time : 0.0 sec. user=mdettweiler [2016-02-15 01:03:32] 699*2^1422027-1 is not prime. Res64: 3F9206D880408C50 Time : 0.0 sec. user=mdettweiler [2016-02-15 01:03:35] 955*2^1422027-1 is not prime. Res64: CE865B6C019E5D53 Time : 0.0 sec. user=mdettweiler [2016-02-15 01:03:36] 961*2^1422027-1 is not prime. Res64: 3FF46FF0E31AAB66 Time : 0.0 sec. user=mdettweiler [2016-02-15 01:11:43] 687*2^1422028-1 is not prime. Res64: 3CEAC56B610F6481 Time : 0.0 sec. user=mdettweiler [2016-02-15 01:11:44] 783*2^1422028-1 is not prime. Res64: 6CA9069935BE9143 Time : 0.0 sec. user=mdettweiler [2016-02-15 01:21:17] 843*2^1422028-1 is not prime. Res64: 037FCF37CAFA958B Time : 0.0 sec. user=mdettweiler [2016-02-15 01:21:17] 869*2^1422028-1 is not prime. Res64: F23731C4B3C32042 Time : 0.0 sec. user=mdettweiler [2016-02-15 01:21:18] 875*2^1422028-1 is not prime. Res64: CC8FE3A59455F2A0 Time : 0.0 sec. user=mdettweiler [2016-02-15 01:21:18] 953*2^1422028-1 is not prime. Res64: 47ED42D32C40EBFD Time : 0.0 sec. user=mdettweiler [2016-02-15 01:29:17] 957*2^1422028-1 is not prime. Res64: 3A7E51A31CB61E92 Time : 0.0 sec. user=mdettweiler [2016-02-15 01:29:18] 999*2^1422028-1 is not prime. Res64: 9ECC1716F6F4A7E8 Time : 0.0 sec. user=mdettweiler [2016-02-15 01:38:43] 619*2^1422029-1 is not prime. Res64: 5C27E02FAB911645 Time : 0.0 sec. user=mdettweiler [2016-02-15 01:38:44] 711*2^1422029-1 is not prime. Res64: 4CFAB65A914CB33F Time : 0.0 sec. user=mdettweiler [2016-02-15 01:38:44] 747*2^1422029-1 is not prime. Res64: 7232E178F559A78D Time : 0.0 sec. user=mdettweiler [2016-02-15 01:38:45] 819*2^1422029-1 is not prime. Res64: DA1FBFA17C9075E7 Time : 0.0 sec. user=mdettweiler [2016-02-15 01:46:57] 837*2^1422029-1 is not prime. Res64: 018CF6F29941125C Time : 0.0 sec. user=mdettweiler [2016-02-15 01:46:57] 641*2^1422030-1 is not prime. Res64: A5D9BCA38BA835E8 Time : 0.0 sec. user=mdettweiler [2016-02-15 01:56:16] 765*2^1422030-1 is not prime. Res64: FC57C30DB9BF135F Time : 0.0 sec. user=mdettweiler [2016-02-15 01:56:16] 861*2^1422030-1 is not prime. Res64: 72AE703A65602EBC Time : 0.0 sec. user=mdettweiler [2016-02-15 01:56:20] 665*2^1422030-1 is not prime. Res64: 8C3F27B9E3B814F6 Time : 0.0 sec. user=mdettweiler [2016-02-15 01:56:21] 671*2^1422030-1 is not prime. Res64: 3AD062B5627F2847 Time : 0.0 sec. user=mdettweiler [2016-02-15 02:04:27] 885*2^1422030-1 is not prime. Res64: 90D997B409414349 Time : 0.0 sec. user=mdettweiler [2016-02-15 02:04:29] 977*2^1422030-1 is not prime. Res64: 5AA1735FC4C5A51E Time : 0.0 sec. user=mdettweiler [2016-02-15 02:13:44] 645*2^1422031-1 is not prime. Res64: FF7EE39A06DE17D3 Time : 0.0 sec. user=mdettweiler [2016-02-15 02:13:45] 681*2^1422031-1 is not prime. Res64: 5198F2D9DB15E923 Time : 0.0 sec. user=mdettweiler [2016-02-15 02:13:48] 783*2^1422031-1 is not prime. Res64: 3A82C7BEFA6C614C Time : 0.0 sec. user=mdettweiler [2016-02-15 02:13:49] 859*2^1422031-1 is not prime. Res64: 1AA4F794C0AE1378 Time : 0.0 sec. user=mdettweiler [2016-02-15 02:21:59] 885*2^1422031-1 is not prime. Res64: C83F03D61C141439 Time : 0.0 sec. user=mdettweiler [2016-02-15 02:22:00] 901*2^1422031-1 is not prime. Res64: 552655E264872B74 Time : 0.0 sec. user=mdettweiler [2016-02-15 02:31:26] 939*2^1422031-1 is not prime. Res64: 56C95CF8F99F5454 Time : 0.0 sec. user=mdettweiler [2016-02-15 02:31:27] 603*2^1422032-1 is not prime. Res64: 7FB49BF19DB499AB Time : 0.0 sec. user=mdettweiler [2016-02-15 02:31:27] 973*2^1422031-1 is not prime. Res64: 3D89A527B07C2117 Time : 0.0 sec. user=mdettweiler [2016-02-15 02:31:27] 725*2^1422032-1 is not prime. Res64: E386A0A0A5470514 Time : 0.0 sec. user=mdettweiler [2016-02-15 02:39:28] 743*2^1422032-1 is not prime. Res64: 3F03705A5373A7B4 Time : 0.0 sec. user=mdettweiler [2016-02-15 02:39:28] 755*2^1422032-1 is not prime. Res64: D0AA6EF677977810 Time : 0.0 sec. user=mdettweiler [2016-02-15 02:49:02] 875*2^1422032-1 is not prime. Res64: 72EE6BE7A0F7866D Time : 0.0 sec. user=mdettweiler [2016-02-15 02:49:02] 785*2^1422032-1 is not prime. Res64: 7B6602558972D29A Time : 0.0 sec. user=mdettweiler [2016-02-15 02:49:02] 957*2^1422032-1 is not prime. Res64: CF409018837D6452 Time : 0.0 sec. user=mdettweiler [2016-02-15 02:49:02] 797*2^1422032-1 is not prime. Res64: B95D7CA338A00AB1 Time : 0.0 sec. user=mdettweiler [2016-02-15 02:56:57] 607*2^1422033-1 is not prime. Res64: B0626101FC46F6DF Time : 0.0 sec. user=mdettweiler [2016-02-15 02:56:57] 627*2^1422033-1 is not prime. Res64: 15E716D972D12558 Time : 0.0 sec. user=mdettweiler [2016-02-15 03:06:32] 819*2^1422033-1 is not prime. Res64: 91EF37B9F1E77874 Time : 0.0 sec. user=mdettweiler [2016-02-15 03:06:34] 919*2^1422033-1 is not prime. Res64: 3E802EAF9AA41E35 Time : 0.0 sec. user=mdettweiler [2016-02-15 03:06:35] 657*2^1422033-1 is not prime. Res64: E3E9A0BB7BC23B30 Time : 0.0 sec. user=mdettweiler [2016-02-15 03:06:38] 805*2^1422033-1 is not prime. Res64: 1219FD212DC030A1 Time : 0.0 sec. user=mdettweiler [2016-02-15 03:14:25] 955*2^1422033-1 is not prime. Res64: DA99A64255A8CA72 Time : 0.0 sec. user=mdettweiler [2016-02-15 03:14:25] 645*2^1422034-1 is not prime. Res64: 0C17E5D0C4414480 Time : 0.0 sec. user=mdettweiler [2016-02-15 03:24:17] 657*2^1422034-1 is not prime. Res64: 73EAE3AB338A4A6C Time : 0.0 sec. user=mdettweiler [2016-02-15 03:24:17] 861*2^1422034-1 is not prime. Res64: 8AEC291E562A1DB6 Time : 0.0 sec. user=mdettweiler [2016-02-15 03:24:19] 885*2^1422034-1 is not prime. Res64: 0254951B01D96423 Time : 0.0 sec. user=mdettweiler [2016-02-15 03:24:19] 891*2^1422034-1 is not prime. Res64: 5DE9D18512C51211 Time : 0.0 sec. user=mdettweiler [2016-02-15 03:31:54] 915*2^1422034-1 is not prime. Res64: 07EC38826D05FA29 Time : 0.0 sec. user=mdettweiler [2016-02-15 03:31:55] 917*2^1422034-1 is not prime. Res64: F44D969ABFD9D6BF Time : 0.0 sec. user=mdettweiler [2016-02-15 03:41:46] 603*2^1422035-1 is not prime. Res64: 4CD8BCD03AABF27B Time : 0.0 sec. user=mdettweiler [2016-02-15 03:41:47] 609*2^1422035-1 is not prime. Res64: 2DF829C7901EF9D9 Time : 0.0 sec. user=mdettweiler [2016-02-15 03:41:48] 643*2^1422035-1 is not prime. Res64: 04FBA61CC5FF4DC6 Time : 0.0 sec. user=mdettweiler [2016-02-15 03:41:49] 699*2^1422035-1 is not prime. Res64: 8B065635CC1347A8 Time : 0.0 sec. user=mdettweiler [2016-02-15 03:49:33] 823*2^1422035-1 is not prime. Res64: 4114B5CB3A2760E0 Time : 0.0 sec. user=mdettweiler [2016-02-15 03:49:34] 949*2^1422035-1 is not prime. Res64: C2CA2DDCD5661B91 Time : 0.0 sec. user=mdettweiler [2016-02-15 03:59:27] 963*2^1422035-1 is not prime. Res64: C1DEB779B2DC5253 Time : 0.0 sec. user=mdettweiler [2016-02-15 03:59:28] 623*2^1422036-1 is not prime. Res64: 89BBEAF00171850C Time : 0.0 sec. user=mdettweiler [2016-02-15 03:59:28] 633*2^1422036-1 is not prime. Res64: 40D6CAE8FDC465EF Time : 0.0 sec. user=mdettweiler [2016-02-15 03:59:28] 803*2^1422036-1 is not prime. Res64: 6965E255FD67147B Time : 0.0 sec. user=mdettweiler [2016-02-15 04:07:26] 903*2^1422036-1 is not prime. Res64: 4E92DA5714C67F48 Time : 0.0 sec. user=mdettweiler [2016-02-15 04:07:27] 625*2^1422037-1 is not prime. Res64: 910C5146AFA8B6A6 Time : 0.0 sec. user=mdettweiler [2016-02-15 04:16:57] 915*2^1422037-1 is not prime. Res64: DE99CF8F5E00A243 Time : 0.0 sec. user=mdettweiler [2016-02-15 04:16:57] 931*2^1422037-1 is not prime. Res64: 6E7F04251DF9DB2E Time : 0.0 sec. user=mdettweiler [2016-02-15 04:16:58] 717*2^1422037-1 is not prime. Res64: 7EE40B0CB3DC2E5E Time : 0.0 sec. user=mdettweiler [2016-02-15 04:16:58] 765*2^1422037-1 is not prime. Res64: E848B80E8227643E Time : 0.0 sec. user=mdettweiler [2016-02-15 04:25:01] 605*2^1422038-1 is not prime. Res64: E64BF7B644672EBD Time : 0.0 sec. user=mdettweiler [2016-02-15 04:25:01] 801*2^1422038-1 is not prime. Res64: 695261922260DE13 Time : 0.0 sec. user=mdettweiler [2016-02-15 04:34:25] 897*2^1422038-1 is not prime. Res64: 7B3A048AB331B88A Time : 0.0 sec. user=mdettweiler [2016-02-15 04:34:26] 875*2^1422038-1 is not prime. Res64: 46B790D240A849CB Time : 0.0 sec. user=mdettweiler [2016-02-15 04:34:26] 923*2^1422038-1 is not prime. Res64: 58B97AB9FD0F833E Time : 0.0 sec. user=mdettweiler [2016-02-15 04:34:26] 885*2^1422038-1 is not prime. Res64: 4D1C990DCAE7CCEB Time : 0.0 sec. user=mdettweiler [2016-02-15 04:42:27] 945*2^1422038-1 is not prime. Res64: D4B4E8A984D6AB8B Time : 0.0 sec. user=mdettweiler [2016-02-15 04:42:28] 987*2^1422038-1 is not prime. Res64: C868179FAFE57795 Time : 0.0 sec. user=mdettweiler [2016-02-15 04:51:53] 619*2^1422039-1 is not prime. Res64: 36DA4B3D4F5330AA Time : 0.0 sec. user=mdettweiler [2016-02-15 04:51:54] 625*2^1422039-1 is not prime. Res64: B5673F28682B097A Time : 0.0 sec. user=mdettweiler [2016-02-15 04:51:55] 663*2^1422039-1 is not prime. Res64: BC8D5B97792D3FCA Time : 0.0 sec. user=mdettweiler [2016-02-15 04:51:55] 675*2^1422039-1 is not prime. Res64: C573EEDE79B59458 Time : 0.0 sec. user=mdettweiler [2016-02-15 04:59:56] 703*2^1422039-1 is not prime. Res64: E1B907331F3D0A4D Time : 0.0 sec. user=mdettweiler [2016-02-15 04:59:56] 833*2^1422040-1 is not prime. Res64: F0A0CDC7C840BD7F Time : 0.0 sec. user=mdettweiler [2016-02-15 05:09:22] 839*2^1422040-1 is not prime. Res64: BE3D2CD8854CCA90 Time : 0.0 sec. user=mdettweiler [2016-02-15 05:09:22] 845*2^1422040-1 is not prime. Res64: CD1B46EE34E0420C Time : 0.0 sec. user=mdettweiler [2016-02-15 05:09:23] 923*2^1422040-1 is not prime. Res64: 21A14FA0242ABA1B Time : 0.0 sec. user=mdettweiler [2016-02-15 05:09:24] 601*2^1422041-1 is not prime. Res64: A3C8EA5B6A2AB7B8 Time : 0.0 sec. user=mdettweiler [2016-02-15 05:17:23] 669*2^1422041-1 is not prime. Res64: 0F98C2B2E454AF22 Time : 0.0 sec. user=mdettweiler [2016-02-15 05:17:23] 705*2^1422041-1 is not prime. Res64: 8C6311ADFC84294C Time : 0.0 sec. user=mdettweiler [2016-02-15 05:26:52] 741*2^1422041-1 is not prime. Res64: 2E33825716CA9C36 Time : 0.0 sec. user=mdettweiler [2016-02-15 05:26:52] 769*2^1422041-1 is not prime. Res64: A7DFEAA7AE510E05 Time : 0.0 sec. user=mdettweiler [2016-02-15 05:26:53] 711*2^1422041-1 is not prime. Res64: B01824221B6BC7BC Time : 0.0 sec. user=mdettweiler [2016-02-15 05:26:54] 715*2^1422041-1 is not prime. Res64: F066685C2D1735D1 Time : 0.0 sec. user=mdettweiler [2016-02-15 05:34:51] 795*2^1422041-1 is not prime. Res64: 3D0B2155FA69CBBE Time : 0.0 sec. user=mdettweiler [2016-02-15 05:34:51] 861*2^1422041-1 is not prime. Res64: 6C44FAE89B038DDF Time : 0.0 sec. user=mdettweiler [2016-02-15 05:44:19] 885*2^1422041-1 is not prime. Res64: 7D0019640C79BDDF Time : 0.0 sec. user=mdettweiler [2016-02-15 05:44:20] 931*2^1422041-1 is not prime. Res64: A06429D42B1E7323 Time : 0.0 sec. user=mdettweiler [2016-02-15 05:44:20] 997*2^1422041-1 is not prime. Res64: 03EDB33CE8CCAC79 Time : 0.0 sec. user=mdettweiler [2016-02-15 05:44:20] 635*2^1422042-1 is not prime. Res64: CA56AE20FEFD5532 Time : 0.0 sec. user=mdettweiler [2016-02-15 05:52:18] 671*2^1422042-1 is not prime. Res64: 07170CD54E4DC6E1 Time : 0.0 sec. user=mdettweiler [2016-02-15 05:52:18] 731*2^1422042-1 is not prime. Res64: 27A43A36400FBDA9 Time : 0.0 sec. user=mdettweiler [2016-02-15 06:01:47] 951*2^1422042-1 is not prime. Res64: 1DCA85291E0F45F0 Time : 0.0 sec. user=mdettweiler [2016-02-15 06:01:47] 941*2^1422042-1 is not prime. Res64: F4AFE8514B2E515A Time : 0.0 sec. user=mdettweiler [2016-02-15 06:01:48] 1001*2^1422042-1 is not prime. Res64: 66D4C580F93B69EB Time : 0.0 sec. user=mdettweiler [2016-02-15 06:01:48] 947*2^1422042-1 is not prime. Res64: 58EFF0EEF043CC36 Time : 0.0 sec. user=mdettweiler [2016-02-15 06:09:47] 603*2^1422043-1 is not prime. Res64: 45979CEBBFB4377E Time : 0.0 sec. user=mdettweiler [2016-02-15 06:09:47] 615*2^1422043-1 is not prime. Res64: 5C23288536436CD1 Time : 0.0 sec. user=mdettweiler [2016-02-15 06:19:27] 631*2^1422043-1 is not prime. Res64: FDB58F69E0271D48 Time : 0.0 sec. user=mdettweiler [2016-02-15 06:19:27] 751*2^1422043-1 is not prime. Res64: 5679913495AB4CFF Time : 0.0 sec. user=mdettweiler [2016-02-15 06:19:27] 735*2^1422043-1 is not prime. Res64: 3990C500AC0B0EFC Time : 0.0 sec. user=mdettweiler [2016-02-15 06:19:28] 885*2^1422043-1 is not prime. Res64: 781E06B1EFBA7C71 Time : 0.0 sec. user=mdettweiler [2016-02-15 06:27:20] 901*2^1422043-1 is not prime. Res64: 3FC65D6FDF31EC6D Time : 0.0 sec. user=mdettweiler [2016-02-15 06:27:20] 951*2^1422043-1 is not prime. Res64: 998F0ABA53BD1AB5 Time : 0.0 sec. user=mdettweiler [2016-02-15 06:36:56] 759*2^1422044-1 is not prime. Res64: 5CCD6BA5D2D12215 Time : 0.0 sec. user=mdettweiler [2016-02-15 06:36:57] 873*2^1422044-1 is not prime. Res64: 797DFF9072436A6B Time : 0.0 sec. user=mdettweiler [2016-02-15 06:37:01] 999*2^1422043-1 is not prime. Res64: 8AE6895AF29AA500 Time : 0.0 sec. user=mdettweiler [2016-02-15 06:37:02] 617*2^1422044-1 is not prime. Res64: 05FB0A388167E6DE Time : 0.0 sec. user=mdettweiler [2016-02-15 06:44:49] 601*2^1422045-1 is not prime. Res64: 667DA1C580D67C23 Time : 0.0 sec. user=mdettweiler [2016-02-15 06:44:50] 609*2^1422045-1 is not prime. Res64: 7843A183D16A4E17 Time : 0.0 sec. user=mdettweiler [2016-02-15 06:54:23] 795*2^1422045-1 is not prime. Res64: A78A0E93EF842471 Time : 0.0 sec. user=mdettweiler [2016-02-15 06:54:23] 861*2^1422045-1 is not prime. Res64: A98E893DB9F543E0 Time : 0.0 sec. user=mdettweiler [2016-02-15 06:54:33] 951*2^1422045-1 is not prime. Res64: CC87486ADE816540 Time : 0.0 sec. user=mdettweiler [2016-02-15 06:54:33] 603*2^1422046-1 is not prime. Res64: 799898EEEC81B037 Time : 0.0 sec. user=mdettweiler [2016-02-15 07:02:23] 657*2^1422046-1 is not prime. Res64: 7CA1583D65916F35 Time : 0.0 sec. user=mdettweiler [2016-02-15 07:02:24] 675*2^1422046-1 is not prime. Res64: 779EA7362D344F1D Time : 0.0 sec. user=mdettweiler [2016-02-15 07:11:51] 741*2^1422046-1 is not prime. Res64: 1D691DC62C0A8C5C Time : 0.0 sec. user=mdettweiler [2016-02-15 07:11:52] 843*2^1422046-1 is not prime. Res64: C6EC5E1C7D96E6D4 Time : 0.0 sec. user=mdettweiler [2016-02-15 07:12:00] 881*2^1422046-1 is not prime. Res64: 27384618073979E2 Time : 0.0 sec. user=mdettweiler [2016-02-15 07:12:01] 987*2^1422046-1 is not prime. Res64: 3FF212EBC1BA2642 Time : 0.0 sec. user=mdettweiler [2016-02-15 07:19:55] 741*2^1422047-1 is not prime. Res64: 63774BC60FC5F321 Time : 0.0 sec. user=mdettweiler [2016-02-15 07:19:56] 759*2^1422047-1 is not prime. Res64: C34093BDEC75494A Time : 0.0 sec. user=mdettweiler [2016-02-15 07:29:22] 813*2^1422047-1 is not prime. Res64: 80870F838CCE9A24 Time : 0.0 sec. user=mdettweiler [2016-02-15 07:29:22] 889*2^1422047-1 is not prime. Res64: CDCF4EA3AF46D7D5 Time : 0.0 sec. user=mdettweiler [2016-02-15 07:29:31] 747*2^1422048-1 is not prime. Res64: 0A178D3E10F2081A Time : 0.0 sec. user=mdettweiler [2016-02-15 07:29:31] 753*2^1422048-1 is not prime. Res64: ABBEC8DFBCBC85A2 Time : 0.0 sec. user=mdettweiler [2016-02-15 07:37:26] 725*2^1421964-1 is not prime. Res64: 437EE92031B2FB72 Time : 0.0 sec. user=mdettweiler [2016-02-15 07:37:27] 795*2^1421964-1 is not prime. Res64: F1EBE1A87B346D90 Time : 0.0 sec. user=mdettweiler [2016-02-15 07:46:52] 765*2^1422048-1 is not prime. Res64: D0F18753D4E6A2DB Time : 0.0 sec. user=mdettweiler [2016-02-15 07:46:52] 803*2^1422048-1 is not prime. Res64: 5DF2F1E6DCCF2255 Time : 0.0 sec. user=mdettweiler [2016-02-15 07:47:00] 845*2^1422048-1 is not prime. Res64: 4D74D69E2FF160FA Time : 0.0 sec. user=mdettweiler [2016-02-15 07:47:00] 959*2^1422048-1 is not prime. Res64: 2A14B2AFD884BCC8 Time : 0.0 sec. user=mdettweiler [2016-02-15 07:54:56] 969*2^1422048-1 is not prime. Res64: 83B8B408493D56DE Time : 0.0 sec. user=mdettweiler [2016-02-15 07:54:57] 975*2^1422048-1 is not prime. Res64: C5D540692EC0A6AC Time : 0.0 sec. user=mdettweiler [2016-02-15 08:04:21] 615*2^1422049-1 is not prime. Res64: 43D84198BB350403 Time : 0.0 sec. user=mdettweiler [2016-02-15 08:04:23] 625*2^1422049-1 is not prime. Res64: E75FBEA82CB82832 Time : 0.0 sec. user=mdettweiler [2016-02-15 08:04:29] 685*2^1422049-1 is not prime. Res64: 868E134F5FEB9D43 Time : 0.0 sec. user=mdettweiler [2016-02-15 08:04:30] 729*2^1422049-1 is not prime. Res64: 149409E58118770E Time : 0.0 sec. user=mdettweiler [2016-02-15 08:12:23] 741*2^1422049-1 is not prime. Res64: 8DCDF8A293A9CC83 Time : 0.0 sec. user=mdettweiler [2016-02-15 08:12:24] 769*2^1422049-1 is not prime. Res64: C83A0D0DE962A12B Time : 0.0 sec. user=mdettweiler [2016-02-15 08:22:21] 775*2^1422049-1 is not prime. Res64: E5C6FDEBA41BFF1E Time : 0.0 sec. user=mdettweiler [2016-02-15 08:22:22] 801*2^1422049-1 is not prime. Res64: E952DE76BC47FB69 Time : 0.0 sec. user=mdettweiler [2016-02-15 08:22:25] 831*2^1422049-1 is not prime. Res64: 54EEF1C2EBFECC99 Time : 0.0 sec. user=mdettweiler [2016-02-15 08:22:25] 847*2^1422049-1 is not prime. Res64: D08EC401A30C4F71 Time : 0.0 sec. user=mdettweiler [2016-02-15 08:29:53] 867*2^1422049-1 is not prime. Res64: A5FBD2F8CAE39BE4 Time : 0.0 sec. user=mdettweiler [2016-02-15 08:29:54] 895*2^1422049-1 is not prime. Res64: 4C9CF0B2A2187F4D Time : 0.0 sec. user=mdettweiler [2016-02-15 08:39:49] 641*2^1422050-1 is not prime. Res64: 112A90201C1A67C8 Time : 0.0 sec. user=mdettweiler [2016-02-15 08:39:50] 671*2^1422050-1 is not prime. Res64: ACC26BF61ED57E51 Time : 0.0 sec. user=mdettweiler [2016-02-15 08:39:52] 713*2^1422050-1 is not prime. Res64: F7E6EA5F50EB7116 Time : 0.0 sec. user=mdettweiler [2016-02-15 08:39:53] 735*2^1422050-1 is not prime. Res64: 522B23CA99F8B495 Time : 0.0 sec. user=mdettweiler [2016-02-15 08:47:22] 755*2^1422050-1 is not prime. Res64: D9DF6DFCA6B92E6E Time : 0.0 sec. user=mdettweiler [2016-02-15 08:47:22] 773*2^1422050-1 is not prime. Res64: FEA19AB6B4136C3F Time : 0.0 sec. user=mdettweiler [2016-02-15 08:57:18] 825*2^1422050-1 is not prime. Res64: 183DDC1B0A729327 Time : 0.0 sec. user=mdettweiler [2016-02-15 08:57:18] 845*2^1422050-1 is not prime. Res64: 5F10E6D240376361 Time : 0.0 sec. user=mdettweiler [2016-02-15 08:57:21] 945*2^1422050-1 is not prime. Res64: 92BA84B13D5A5FF9 Time : 0.0 sec. user=mdettweiler [2016-02-15 08:57:22] 951*2^1422050-1 is not prime. Res64: B82FF1BED7631304 Time : 0.0 sec. user=mdettweiler [2016-02-15 09:04:54] 1001*2^1422050-1 is not prime. Res64: 6FE365F162CC239F Time : 0.0 sec. user=mdettweiler [2016-02-15 09:04:56] 619*2^1422051-1 is not prime. Res64: 001AAEC8C09BD626 Time : 0.0 sec. user=mdettweiler [2016-02-15 09:14:45] 643*2^1422051-1 is not prime. Res64: 8A86F936EA12EEB0 Time : 0.0 sec. user=mdettweiler [2016-02-15 09:14:46] 709*2^1422051-1 is not prime. Res64: 4B823CB7F56CBACD Time : 0.0 sec. user=mdettweiler [2016-02-15 09:14:49] 741*2^1422051-1 is not prime. Res64: 4FA4BAEF4F2C7B75 Time : 0.0 sec. user=mdettweiler [2016-02-15 09:14:49] 819*2^1422051-1 is not prime. Res64: FCD0B671367BA3C5 Time : 0.0 sec. user=mdettweiler [2016-02-15 09:22:38] 871*2^1422051-1 is not prime. Res64: 91DFCAB7259CCF8D Time : 0.0 sec. user=mdettweiler [2016-02-15 09:22:39] 903*2^1422051-1 is not prime. Res64: 1859940E68EA4142 Time : 0.0 sec. user=mdettweiler [2016-02-15 09:32:13] 951*2^1422051-1 is not prime. Res64: D15FF4E839BBD5BC Time : 0.0 sec. user=mdettweiler [2016-02-15 09:32:14] 955*2^1422051-1 is not prime. Res64: 0ACA4E5525E33F1D Time : 0.0 sec. user=mdettweiler [2016-02-15 09:32:16] 695*2^1422052-1 is not prime. Res64: 0482B4B87718A1E8 Time : 0.0 sec. user=mdettweiler [2016-02-15 09:32:17] 803*2^1422052-1 is not prime. Res64: D5636FD0113B3429 Time : 0.0 sec. user=mdettweiler [2016-02-15 09:40:06] 863*2^1422052-1 is not prime. Res64: E5102A7ADE07B4C9 Time : 0.0 sec. user=mdettweiler [2016-02-15 09:40:07] 885*2^1422052-1 is not prime. Res64: 9B63A6124D761F87 Time : 0.0 sec. user=mdettweiler [2016-02-15 09:49:42] 909*2^1422052-1 is not prime. Res64: AAD971A844A796ED Time : 0.0 sec. user=mdettweiler [2016-02-15 09:49:43] 619*2^1422053-1 is not prime. Res64: B5A2BDA8BE8D34A8 Time : 0.0 sec. user=mdettweiler [2016-02-15 09:49:49] 631*2^1422053-1 is not prime. Res64: 1B66D7B706321F07 Time : 0.0 sec. user=mdettweiler [2016-02-15 09:49:50] 679*2^1422053-1 is not prime. Res64: BBAE4EA9FF5ED02B Time : 0.0 sec. user=mdettweiler [2016-02-15 09:57:35] 831*2^1422053-1 is not prime. Res64: E18446782DB28324 Time : 0.0 sec. user=mdettweiler [2016-02-15 09:57:35] 847*2^1422053-1 is not prime. Res64: A3AAA92A582B91D3 Time : 0.0 sec. user=mdettweiler [2016-02-15 10:07:10] 925*2^1422053-1 is not prime. Res64: B912A124A46D1A35 Time : 0.0 sec. user=mdettweiler [2016-02-15 10:07:11] 981*2^1422053-1 is not prime. Res64: 30A8955551352FB6 Time : 0.0 sec. user=mdettweiler [2016-02-15 10:07:17] 693*2^1422054-1 is not prime. Res64: 94DFE6575DA53A64 Time : 0.0 sec. user=mdettweiler [2016-02-15 10:07:17] 807*2^1422054-1 is not prime. Res64: 5D4871BD70FCC09A Time : 0.0 sec. user=mdettweiler [2016-02-15 10:15:02] 881*2^1422054-1 is not prime. Res64: 39147950DD21251F Time : 0.0 sec. user=mdettweiler [2016-02-15 10:15:03] 941*2^1422054-1 is not prime. Res64: 896B04A5DDAA9862 Time : 0.0 sec. user=mdettweiler [2016-02-15 10:24:43] 645*2^1422055-1 is not prime. Res64: 7677436B7B88B95D Time : 0.0 sec. user=mdettweiler [2016-02-15 10:24:43] 649*2^1422055-1 is not prime. Res64: 4E393DBB5D876D15 Time : 0.0 sec. user=mdettweiler [2016-02-15 10:24:52] 663*2^1422055-1 is not prime. Res64: 9DDF4055793DA4A2 Time : 0.0 sec. user=mdettweiler [2016-02-15 10:24:52] 709*2^1422055-1 is not prime. Res64: 269F29A3397CF051 Time : 0.0 sec. user=mdettweiler [2016-02-15 10:32:32] 615*2^1422056-1 is not prime. Res64: E19AC5D628646562 Time : 0.0 sec. user=mdettweiler [2016-02-15 10:32:32] 659*2^1422056-1 is not prime. Res64: C48BA8E5ABF510CF Time : 0.0 sec. user=mdettweiler [2016-02-15 10:42:11] 693*2^1422056-1 is not prime. Res64: B824724BD8D311E5 Time : 0.0 sec. user=mdettweiler [2016-02-15 10:42:11] 833*2^1422056-1 is not prime. Res64: 43BBEB523183C2B1 Time : 0.0 sec. user=mdettweiler [2016-02-15 10:42:20] 867*2^1422056-1 is not prime. Res64: BB8E58CD68886F5F Time : 0.0 sec. user=mdettweiler [2016-02-15 10:42:21] 957*2^1422056-1 is not prime. Res64: 7A2ECAF27A31AEE3 Time : 0.0 sec. user=mdettweiler [2016-02-15 10:50:00] 969*2^1422056-1 is not prime. Res64: CCD77740132AF9F0 Time : 0.0 sec. user=mdettweiler [2016-02-15 10:50:01] 999*2^1422056-1 is not prime. Res64: 012974625BAB75E2 Time : 0.0 sec. user=mdettweiler [2016-02-15 10:59:39] 681*2^1422057-1 is not prime. Res64: 2994DF4A1F2671E7 Time : 0.0 sec. user=mdettweiler [2016-02-15 10:59:39] 717*2^1422057-1 is not prime. Res64: 852CC01E324B011F Time : 0.0 sec. user=mdettweiler [2016-02-15 10:59:50] 735*2^1422057-1 is not prime. Res64: 250C385E930C1C82 Time : 0.0 sec. user=mdettweiler [2016-02-15 10:59:50] 805*2^1422057-1 is not prime. Res64: B91E2DA562B0DDDE Time : 0.0 sec. user=mdettweiler [2016-02-15 11:07:28] 861*2^1422057-1 is not prime. Res64: 2B2F2E91554B9C90 Time : 0.0 sec. user=mdettweiler [2016-02-15 11:07:28] 901*2^1422057-1 is not prime. Res64: 05252203C4667EE3 Time : 0.0 sec. user=mdettweiler [2016-02-15 11:17:06] 915*2^1422057-1 is not prime. Res64: 16B8DD1B5BB79CB8 Time : 0.0 sec. user=mdettweiler [2016-02-15 11:17:07] 955*2^1422057-1 is not prime. Res64: 31EE3EAD6CDC3BED Time : 0.0 sec. user=mdettweiler [2016-02-15 11:17:17] 603*2^1422058-1 is not prime. Res64: 6F48D22A56210ECE Time : 0.0 sec. user=mdettweiler [2016-02-15 11:17:18] 611*2^1422058-1 is not prime. Res64: 380C51AC02A597D0 Time : 0.0 sec. user=mdettweiler [2016-02-15 11:25:03] 695*2^1422058-1 is not prime. Res64: 40E6C698A4A592BC Time : 0.0 sec. user=mdettweiler [2016-02-15 11:25:04] 735*2^1422058-1 is not prime. Res64: DDDA9DC3E5568B06 Time : 0.0 sec. user=mdettweiler [2016-02-15 11:34:35] 755*2^1422058-1 is not prime. Res64: 33DB1A53027BAD7B Time : 0.0 sec. user=mdettweiler [2016-02-15 11:34:35] 777*2^1422058-1 is not prime. Res64: 67ED71FDACD49C98 Time : 0.0 sec. user=mdettweiler [2016-02-15 11:34:46] 933*2^1422058-1 is not prime. Res64: 3981ACF18C6FB854 Time : 0.0 sec. user=mdettweiler [2016-02-15 11:34:47] 957*2^1422058-1 is not prime. Res64: 82202CBD2C2FF552 Time : 0.0 sec. user=mdettweiler [2016-02-15 11:42:32] 675*2^1422059-1 is not prime. Res64: A4DEF3296225D71F Time : 0.0 sec. user=mdettweiler [2016-02-15 11:42:33] 705*2^1422059-1 is not prime. Res64: 0E1B88DBE2EF899A Time : 0.0 sec. user=mdettweiler [2016-02-15 11:52:02] 753*2^1422059-1 is not prime. Res64: 629EED3B160AF353 Time : 0.0 sec. user=mdettweiler [2016-02-15 11:52:03] 813*2^1422059-1 is not prime. Res64: 30393544AF33DCD7 Time : 0.0 sec. user=mdettweiler [2016-02-15 11:52:15] 859*2^1422059-1 is not prime. Res64: 7F0C40B6C6A89727 Time : 0.0 sec. user=mdettweiler [2016-02-15 11:52:15] 883*2^1422059-1 is not prime. Res64: 0F91AE55CB02E025 Time : 0.0 sec. user=mdettweiler [2016-02-15 11:59:59] 629*2^1422060-1 is not prime. Res64: 8EFF21A590A2288E Time : 0.0 sec. user=mdettweiler [2016-02-15 11:59:59] 777*2^1422060-1 is not prime. Res64: 2F4A805BA2C6C487 Time : 0.0 sec. user=mdettweiler [2016-02-15 12:09:29] 819*2^1422060-1 is not prime. Res64: 25D640BBBB66120C Time : 0.0 sec. user=mdettweiler [2016-02-15 12:09:29] 839*2^1422060-1 is not prime. Res64: 92AC06310B7CB688 Time : 0.0 sec. user=mdettweiler [2016-02-15 12:09:44] 929*2^1422060-1 is not prime. Res64: BD99860DCE8A7E48 Time : 0.0 sec. user=mdettweiler [2016-02-15 12:09:44] 975*2^1422060-1 is not prime. Res64: B1B2D27237167DA3 Time : 0.0 sec. user=mdettweiler [2016-02-15 12:17:28] 745*2^1422061-1 is not prime. Res64: FCDC38038FAC0895 Time : 0.0 sec. user=mdettweiler [2016-02-15 12:17:28] 757*2^1422061-1 is not prime. Res64: E7AB1F624E9FD3FC Time : 0.0 sec. user=mdettweiler [2016-02-15 12:26:57] 895*2^1422061-1 is not prime. Res64: D0F629DC5479DB6F Time : 0.0 sec. user=mdettweiler [2016-02-15 12:26:57] 999*2^1422061-1 is not prime. Res64: 0F7D2071C2D0C837 Time : 0.0 sec. user=mdettweiler [2016-02-15 12:27:12] 767*2^1422062-1 is not prime. Res64: 5239CC848189E6EE Time : 0.0 sec. user=mdettweiler [2016-02-15 12:27:12] 981*2^1422062-1 is not prime. Res64: A1917CC84D95DC1C Time : 0.0 sec. user=mdettweiler [2016-02-15 12:34:56] 723*2^1422063-1 is not prime. Res64: 6B3BB7A08DEC46F6 Time : 0.0 sec. user=mdettweiler [2016-02-15 12:34:56] 751*2^1422063-1 is not prime. Res64: EFE22E528643E70F Time : 0.0 sec. user=mdettweiler [2016-02-15 12:44:25] 763*2^1422063-1 is not prime. Res64: C868850C9ABA0E0D Time : 0.0 sec. user=mdettweiler [2016-02-15 12:44:25] 789*2^1422063-1 is not prime. Res64: 2A5429AE8296E991 Time : 0.0 sec. user=mdettweiler [2016-02-15 12:44:39] 795*2^1422063-1 is not prime. Res64: D74B5FE4E249B441 Time : 0.0 sec. user=mdettweiler [2016-02-15 12:44:40] 849*2^1422063-1 is not prime. Res64: CF520B194558A188 Time : 0.0 sec. user=mdettweiler [2016-02-15 12:52:23] 895*2^1422063-1 is not prime. Res64: E142BF4134288831 Time : 0.0 sec. user=mdettweiler [2016-02-15 12:52:23] 963*2^1422063-1 is not prime. Res64: D86BA89043E8704F Time : 0.0 sec. user=mdettweiler [2016-02-15 13:01:52] 675*2^1422064-1 is not prime. Res64: C88C028F757D1927 Time : 0.0 sec. user=mdettweiler [2016-02-15 13:01:53] 773*2^1422064-1 is not prime. Res64: 460209929C96E0A2 Time : 0.0 sec. user=mdettweiler [2016-02-15 13:02:08] 819*2^1422064-1 is not prime. Res64: 685F1FA95C55D83A Time : 0.0 sec. user=mdettweiler [2016-02-15 13:02:09] 939*2^1422064-1 is not prime. Res64: 8441F467126EF7CE Time : 0.0 sec. user=mdettweiler [2016-02-15 13:09:50] 649*2^1422065-1 is not prime. Res64: D76C68D2AB40C568 Time : 0.0 sec. user=mdettweiler [2016-02-15 13:09:50] 685*2^1422065-1 is not prime. Res64: 00984F2430430BD7 Time : 0.0 sec. user=mdettweiler [2016-02-15 13:19:29] 727*2^1422065-1 is not prime. Res64: DAFC5B89E46CE0AE Time : 0.0 sec. user=mdettweiler [2016-02-15 13:19:30] 741*2^1422065-1 is not prime. Res64: BF6F2FC1D2055955 Time : 0.0 sec. user=mdettweiler [2016-02-15 13:19:37] 771*2^1422065-1 is not prime. Res64: 1895D7E5ABDD570B Time : 0.0 sec. user=mdettweiler [2016-02-15 13:19:38] 795*2^1422065-1 is not prime. Res64: 1D528EFFD0CDBE08 Time : 0.0 sec. user=mdettweiler [2016-02-15 13:27:20] 799*2^1422065-1 is not prime. Res64: 79A14DA94628A5A2 Time : 0.0 sec. user=mdettweiler [2016-02-15 13:27:21] 909*2^1422065-1 is not prime. Res64: EC0467C40FDA1F2B Time : 0.0 sec. user=mdettweiler [2016-02-15 13:36:59] 981*2^1422065-1 is not prime. Res64: DD54CEC003AB823C Time : 0.0 sec. user=mdettweiler [2016-02-15 13:36:59] 723*2^1422066-1 is not prime. Res64: 4E91426D9E1A42E3 Time : 0.0 sec. user=mdettweiler [2016-02-15 13:37:08] 725*2^1422066-1 is not prime. Res64: D1FC8DAB297EB61C Time : 0.0 sec. user=mdettweiler [2016-02-15 13:37:08] 741*2^1422066-1 is not prime. Res64: 6EFF80000E090A09 Time : 0.0 sec. user=mdettweiler [2016-02-15 13:44:49] 803*2^1422066-1 is not prime. Res64: 5E5BD53468E34A45 Time : 0.0 sec. user=mdettweiler [2016-02-15 13:44:50] 837*2^1422066-1 is not prime. Res64: 688D72F6596F911C Time : 0.0 sec. user=mdettweiler [2016-02-15 13:54:33] 917*2^1422066-1 is not prime. Res64: CD23F3A27E4B5E5C Time : 0.0 sec. user=mdettweiler [2016-02-15 13:54:33] 1001*2^1422066-1 is not prime. Res64: 1C7F32112C549677 Time : 0.0 sec. user=mdettweiler [2016-02-15 13:54:41] 609*2^1422067-1 is not prime. Res64: FD4B08780584FD29 Time : 0.0 sec. user=mdettweiler [2016-02-15 13:54:41] 631*2^1422067-1 is not prime. Res64: D8C55A383CBF0CD8 Time : 0.0 sec. user=mdettweiler [2016-02-15 14:02:18] 675*2^1422067-1 is not prime. Res64: FAF779499937E0FA Time : 0.0 sec. user=mdettweiler [2016-02-15 14:02:19] 741*2^1422067-1 is not prime. Res64: 8E26671F1F120C9B Time : 0.0 sec. user=mdettweiler [2016-02-15 14:12:02] 829*2^1422067-1 is not prime. Res64: 95679E129F095FDC Time : 0.0 sec. user=mdettweiler [2016-02-15 14:12:02] 861*2^1422067-1 is not prime. Res64: 54748C3C270F5028 Time : 0.0 sec. user=mdettweiler [2016-02-15 14:12:10] 689*2^1422068-1 is not prime. Res64: 9B247ECFD2DB6A62 Time : 0.0 sec. user=mdettweiler [2016-02-15 14:12:10] 743*2^1422068-1 is not prime. Res64: FD1E86DF86A2A441 Time : 0.0 sec. user=mdettweiler [2016-02-15 14:19:53] 789*2^1422068-1 is not prime. Res64: 26CA4655A9F7F49D Time : 0.0 sec. user=mdettweiler [2016-02-15 14:19:53] 837*2^1422068-1 is not prime. Res64: C6754469FBB291EB Time : 0.0 sec. user=mdettweiler [2016-02-15 14:29:30] 839*2^1422068-1 is not prime. Res64: 4F610D4EC4B2E8BD Time : 0.0 sec. user=mdettweiler [2016-02-15 14:29:30] 893*2^1422068-1 is not prime. Res64: 4AFA1AF6401CCE99 Time : 0.0 sec. user=mdettweiler [2016-02-15 14:29:37] 953*2^1422068-1 is not prime. Res64: 4D3BA14B0F5537DC Time : 0.0 sec. user=mdettweiler [2016-02-15 14:29:37] 957*2^1422068-1 is not prime. Res64: 5C56CE584659AAEE Time : 0.0 sec. user=mdettweiler [2016-02-15 14:37:20] 993*2^1422068-1 is not prime. Res64: 25EFCA1EB2F4967C Time : 0.0 sec. user=mdettweiler [2016-02-15 14:37:20] 999*2^1422068-1 is not prime. Res64: F096667610BD085F Time : 0.0 sec. user=mdettweiler [2016-02-15 14:46:56] 621*2^1422069-1 is not prime. Res64: 8ACC2BB97A52C0D1 Time : 0.0 sec. user=mdettweiler [2016-02-15 14:46:57] 795*2^1422069-1 is not prime. Res64: 045EA7C664E90A3D Time : 0.0 sec. user=mdettweiler [2016-02-15 14:47:05] 837*2^1422069-1 is not prime. Res64: 083C85C6E27E032A Time : 0.0 sec. user=mdettweiler [2016-02-15 14:47:05] 877*2^1422069-1 is not prime. Res64: 5AF468120316EB6B Time : 0.0 sec. user=mdettweiler [2016-02-15 14:54:47] 889*2^1422069-1 is not prime. Res64: C7E15CD224FEF277 Time : 0.0 sec. user=mdettweiler [2016-02-15 14:54:47] 949*2^1422069-1 is not prime. Res64: 224424000A6296E6 Time : 0.0 sec. user=mdettweiler [2016-02-15 15:04:29] 961*2^1422069-1 is not prime. Res64: 21CEE6A292796AE9 Time : 0.0 sec. user=mdettweiler [2016-02-15 15:04:31] 991*2^1422069-1 is not prime. Res64: 6363CDAC79448FCF Time : 0.0 sec. user=mdettweiler [2016-02-15 15:04:36] 645*2^1422070-1 is not prime. Res64: 4BDF5297BF651E47 Time : 0.0 sec. user=mdettweiler [2016-02-15 15:04:38] 713*2^1422070-1 is not prime. Res64: BD6FC5C1B028467E Time : 0.0 sec. user=mdettweiler [2016-02-15 15:12:25] 765*2^1422070-1 is not prime. Res64: 94D76B2993673FAF Time : 0.0 sec. user=mdettweiler [2016-02-15 15:12:26] 773*2^1422070-1 is not prime. Res64: 9B2FFAB18E4B6A34 Time : 0.0 sec. user=mdettweiler [2016-02-15 15:22:29] 957*2^1422070-1 is not prime. Res64: 3D3C043FD9D738FF Time : 0.0 sec. user=mdettweiler [2016-02-15 15:22:30] 669*2^1422071-1 is not prime. Res64: 2F598B93063D8E7A Time : 0.0 sec. user=mdettweiler [2016-02-15 15:22:31] 711*2^1422071-1 is not prime. Res64: E21DBD20DCA53327 Time : 0.0 sec. user=mdettweiler [2016-02-15 15:22:32] 783*2^1422071-1 is not prime. Res64: A02F207C524971C1 Time : 0.0 sec. user=mdettweiler [2016-02-15 15:30:27] 843*2^1422071-1 is not prime. Res64: 73FD5FD46463FDEB Time : 0.0 sec. user=mdettweiler [2016-02-15 15:30:27] 883*2^1422071-1 is not prime. Res64: 9B39F4F069E428AA Time : 0.0 sec. user=mdettweiler [2016-02-15 15:40:34] 725*2^1422072-1 is not prime. Res64: 17074A900C4EB141 Time : 0.0 sec. user=mdettweiler [2016-02-15 15:40:34] 767*2^1422072-1 is not prime. Res64: 5A6E766E15E6DBE2 Time : 0.0 sec. user=mdettweiler [2016-02-15 15:40:35] 973*2^1422071-1 is not prime. Res64: 3ABAC35959B58215 Time : 0.0 sec. user=mdettweiler [2016-02-15 15:40:36] 657*2^1422072-1 is not prime. Res64: DE636A31D91D7869 Time : 0.0 sec. user=mdettweiler [2016-02-15 15:48:37] 917*2^1422072-1 is not prime. Res64: 6A7780FCDB195870 Time : 0.0 sec. user=mdettweiler [2016-02-15 15:48:37] 975*2^1422072-1 is not prime. Res64: 67DE52B5BCA449E0 Time : 0.0 sec. user=mdettweiler [2016-02-15 15:58:45] 765*2^1422073-1 is not prime. Res64: 5EF35ED81A9773F7 Time : 0.0 sec. user=mdettweiler [2016-02-15 15:58:45] 983*2^1422072-1 is not prime. Res64: 196921857D45E5EA Time : 0.0 sec. user=mdettweiler [2016-02-15 15:58:45] 831*2^1422073-1 is not prime. Res64: 3ECA3981065EF903 Time : 0.0 sec. user=mdettweiler [2016-02-15 15:58:45] 715*2^1422073-1 is not prime. Res64: D8BAECC40F4EBE9D Time : 0.0 sec. user=mdettweiler [2016-02-15 16:06:31] 957*2^1422073-1 is not prime. Res64: FD81A375B5EE2E33 Time : 0.0 sec. user=mdettweiler [2016-02-15 16:06:31] 665*2^1422074-1 is not prime. Res64: BEDA20456A2B062F Time : 0.0 sec. user=mdettweiler [2016-02-15 16:16:39] 987*2^1422074-1 is not prime. Res64: A3440777DACD652E Time : 0.0 sec. user=mdettweiler [2016-02-15 16:16:40] 675*2^1422075-1 is not prime. Res64: B8D386AE6B921F36 Time : 0.0 sec. user=mdettweiler [2016-02-15 16:16:42] 741*2^1422074-1 is not prime. Res64: 155C11AACA462FE7 Time : 0.0 sec. user=mdettweiler [2016-02-15 16:16:43] 923*2^1422074-1 is not prime. Res64: 29465EEE5EDB94D1 Time : 0.0 sec. user=mdettweiler [2016-02-15 16:24:23] 751*2^1422075-1 is not prime. Res64: 573D74BC044E560A Time : 0.0 sec. user=mdettweiler [2016-02-15 16:24:23] 861*2^1422075-1 is not prime. Res64: 1F3E18A1E1D4A5C2 Time : 0.0 sec. user=mdettweiler [2016-02-15 16:34:23] 903*2^1422075-1 is not prime. Res64: 2982572C7B2F477F Time : 0.0 sec. user=mdettweiler [2016-02-15 16:34:24] 961*2^1422075-1 is not prime. Res64: 98FB9147D3CA5407 Time : 0.0 sec. user=mdettweiler [2016-02-15 16:34:25] 963*2^1422075-1 is not prime. Res64: B84BFCF14C233A97 Time : 0.0 sec. user=mdettweiler [2016-02-15 16:34:25] 603*2^1422076-1 is not prime. Res64: 63CCE0AA82A9017D Time : 0.0 sec. user=mdettweiler [2016-02-15 16:42:07] 717*2^1422076-1 is not prime. Res64: 80C26DE2ECB8B048 Time : 0.0 sec. user=mdettweiler [2016-02-15 16:42:07] 773*2^1422076-1 is not prime. Res64: 9638CCB80E1321AD Time : 0.0 sec. user=mdettweiler [2016-02-15 16:52:03] 783*2^1422076-1 is not prime. Res64: 6074E01166182193 Time : 0.0 sec. user=mdettweiler [2016-02-15 16:52:03] 999*2^1422076-1 is not prime. Res64: 1491774A5D7490CC Time : 0.0 sec. user=mdettweiler [2016-02-15 16:52:03] 933*2^1422076-1 is not prime. Res64: 44AFFD4DBA00F775 Time : 0.0 sec. user=mdettweiler [2016-02-15 16:52:03] 729*2^1422077-1 is not prime. Res64: 3029ECB62BB951FC Time : 0.0 sec. user=mdettweiler [2016-02-15 16:59:39] 735*2^1422077-1 is not prime. Res64: D1062E4D8133A839 Time : 0.0 sec. user=mdettweiler [2016-02-15 16:59:39] 741*2^1422077-1 is not prime. Res64: 0344CFB6A161D671 Time : 0.0 sec. user=mdettweiler [2016-02-15 17:09:35] 647*2^1422078-1 is not prime. Res64: 7F1E4EE935986A7E Time : 0.0 sec. user=mdettweiler [2016-02-15 17:09:35] 705*2^1422078-1 is not prime. Res64: 22C4119EABD82653 Time : 0.0 sec. user=mdettweiler [2016-02-15 17:09:35] 831*2^1422077-1 is not prime. Res64: D1500316B83840ED Time : 0.0 sec. user=mdettweiler [2016-02-15 17:09:38] 879*2^1422077-1 is not prime. Res64: AF337B285403649D Time : 0.0 sec. user=mdettweiler [2016-02-15 17:17:11] 761*2^1422078-1 is not prime. Res64: 131A6D2D074B1702 Time : 0.0 sec. user=mdettweiler [2016-02-15 17:17:12] 705*2^1422079-1 is not prime. Res64: 6954F68E11475438 Time : 0.0 sec. user=mdettweiler [2016-02-15 17:27:12] 723*2^1422079-1 is not prime. Res64: 30940D5BB6C43538 Time : 0.0 sec. user=mdettweiler [2016-02-15 17:27:13] 759*2^1422079-1 is not prime. Res64: 5B9F61CC47B70E4A Time : 0.0 sec. user=mdettweiler [2016-02-15 17:27:13] 765*2^1422079-1 is not prime. Res64: A9E4B352DF93C8AA Time : 0.0 sec. user=mdettweiler [2016-02-15 17:27:13] 769*2^1422079-1 is not prime. Res64: 7885D1D01B6F0B65 Time : 0.0 sec. user=mdettweiler [2016-02-15 17:34:41] 829*2^1422079-1 is not prime. Res64: 28EF4F849B61D736 Time : 0.0 sec. user=mdettweiler [2016-02-15 17:34:41] 603*2^1422080-1 is not prime. Res64: 540F904FC06E8582 Time : 0.0 sec. user=mdettweiler [2016-02-15 17:44:43] 725*2^1422080-1 is not prime. Res64: 85B0B9CB8929B99E Time : 0.0 sec. user=mdettweiler [2016-02-15 17:44:43] 797*2^1422080-1 is not prime. Res64: 94A68DEE841D647A Time : 0.0 sec. user=mdettweiler [2016-02-15 17:44:43] 825*2^1422080-1 is not prime. Res64: 5B553913C47B5D07 Time : 0.0 sec. user=mdettweiler [2016-02-15 17:44:43] 827*2^1422080-1 is not prime. Res64: 4976EE0893F5FE46 Time : 0.0 sec. user=mdettweiler [2016-02-15 17:52:11] 893*2^1422080-1 is not prime. Res64: 363DD8A51379134E Time : 0.0 sec. user=mdettweiler [2016-02-15 17:52:11] 777*2^1422081-1 is not prime. Res64: 90083972D75F726A Time : 0.0 sec. user=mdettweiler [2016-02-15 18:02:14] 795*2^1422081-1 is not prime. Res64: D817347B53B501B6 Time : 0.0 sec. user=mdettweiler [2016-02-15 18:02:15] 829*2^1422081-1 is not prime. Res64: 509B9A662C29C4E3 Time : 0.0 sec. user=mdettweiler [2016-02-15 18:02:16] 849*2^1422081-1 is not prime. Res64: 6AE09971517075D5 Time : 0.0 sec. user=mdettweiler [2016-02-15 18:02:17] 819*2^1422081-1 is not prime. Res64: 9F38DDB093E08AD1 Time : 0.0 sec. user=mdettweiler [2016-02-15 18:09:42] 921*2^1422081-1 is not prime. Res64: 06B6065E10D9D977 Time : 0.0 sec. user=mdettweiler [2016-02-15 18:09:42] 651*2^1422082-1 is not prime. Res64: 386C54913AC0EA8E Time : 0.0 sec. user=mdettweiler [2016-02-15 18:20:03] 741*2^1422082-1 is not prime. Res64: 1C562D30A4A166AE Time : 0.0 sec. user=mdettweiler [2016-02-15 18:20:04] 747*2^1422082-1 is not prime. Res64: 4F78BEDEF288F176 Time : 0.0 sec. user=mdettweiler [2016-02-15 18:20:05] 657*2^1422082-1 is not prime. Res64: 10652D1DB74D4C76 Time : 0.0 sec. user=mdettweiler [2016-02-15 18:20:07] 675*2^1422082-1 is not prime. Res64: FE43FA93BAE77750 Time : 0.0 sec. user=mdettweiler [2016-02-15 18:27:13] 755*2^1422082-1 is not prime. Res64: 9427C30D6F0660FA Time : 0.0 sec. user=mdettweiler [2016-02-15 18:27:13] 915*2^1422082-1 is not prime. Res64: C891795938461C3D Time : 0.0 sec. user=mdettweiler [2016-02-15 18:37:38] 775*2^1422083-1 is not prime. Res64: 44F4905606238A29 Time : 0.0 sec. user=mdettweiler [2016-02-15 18:37:38] 801*2^1422083-1 is not prime. Res64: 375E366CC93729BF Time : 0.0 sec. user=mdettweiler [2016-02-15 18:37:43] 663*2^1422084-1 is not prime. Res64: 2A85567D563BA5E2 Time : 0.0 sec. user=mdettweiler [2016-02-15 18:37:43] 665*2^1422084-1 is not prime. Res64: B952EFAA848AC492 Time : 0.0 sec. user=mdettweiler [2016-02-15 18:44:45] 693*2^1422084-1 is not prime. Res64: 1B39325E9326C0DC Time : 0.0 sec. user=mdettweiler [2016-02-15 18:44:46] 959*2^1422084-1 is not prime. Res64: 3B1EF15F5D076F02 Time : 0.0 sec. user=mdettweiler [2016-02-15 18:55:12] 649*2^1422085-1 is not prime. Res64: 4BAA21437CCD8C50 Time : 0.0 sec. user=mdettweiler [2016-02-15 18:55:12] 651*2^1422085-1 is not prime. Res64: EDDFE227EB7C24AA Time : 0.0 sec. user=mdettweiler [2016-02-15 18:55:15] 699*2^1422085-1 is not prime. Res64: 488E0CC498C54908 Time : 0.0 sec. user=mdettweiler [2016-02-15 18:55:15] 775*2^1422085-1 is not prime. Res64: 92AF195B3428962D Time : 0.0 sec. user=mdettweiler [2016-02-15 19:02:17] 861*2^1422085-1 is not prime. Res64: 0DDE53CC4BE4FCA7 Time : 0.0 sec. user=mdettweiler [2016-02-15 19:02:18] 867*2^1422085-1 is not prime. Res64: CB2C76AC75CEA653 Time : 0.0 sec. user=mdettweiler [2016-02-15 19:12:41] 885*2^1422085-1 is not prime. Res64: F12E05968B03409E Time : 0.0 sec. user=mdettweiler [2016-02-15 19:12:42] 975*2^1422085-1 is not prime. Res64: 84269E8822F1A3C5 Time : 0.0 sec. user=mdettweiler [2016-02-15 19:12:45] 743*2^1422086-1 is not prime. Res64: 2155B4F14B3DE5EE Time : 0.0 sec. user=mdettweiler [2016-02-15 19:12:45] 785*2^1422086-1 is not prime. Res64: 84ABA219F198F759 Time : 0.0 sec. user=mdettweiler [2016-02-15 19:19:57] 825*2^1422086-1 is not prime. Res64: FE460B1B307D9C71 Time : 0.0 sec. user=mdettweiler [2016-02-15 19:19:57] 875*2^1422086-1 is not prime. Res64: C10D79347AA92D49 Time : 0.0 sec. user=mdettweiler [2016-02-15 19:30:16] 921*2^1422086-1 is not prime. Res64: 934A69054277F029 Time : 0.0 sec. user=mdettweiler [2016-02-15 19:30:17] 957*2^1422086-1 is not prime. Res64: B2FC195A1D6810B2 Time : 0.0 sec. user=mdettweiler [2016-02-15 19:30:24] 887*2^1422086-1 is not prime. Res64: 184A6F5294F11222 Time : 0.0 sec. user=mdettweiler [2016-02-15 19:30:24] 893*2^1422086-1 is not prime. Res64: BCE27E2425D8D80B Time : 0.0 sec. user=mdettweiler [2016-02-15 19:37:30] 993*2^1422086-1 is not prime. Res64: A2E0089519BFA9FC Time : 0.0 sec. user=mdettweiler [2016-02-15 19:37:31] 1001*2^1422086-1 is not prime. Res64: B06856210204BC24 Time : 0.0 sec. user=mdettweiler [2016-02-15 19:47:46] 633*2^1422087-1 is not prime. Res64: 4751464E9C072C08 Time : 0.0 sec. user=mdettweiler [2016-02-15 19:47:47] 649*2^1422087-1 is not prime. Res64: 73D2337E83B42910 Time : 0.0 sec. user=mdettweiler [2016-02-15 19:47:54] 691*2^1422087-1 is not prime. Res64: 99D5A6F70C6F82D2 Time : 0.0 sec. user=mdettweiler [2016-02-15 19:47:55] 709*2^1422087-1 is not prime. Res64: B60AD83A64EEFDCE Time : 0.0 sec. user=mdettweiler [2016-02-15 19:55:00] 829*2^1422087-1 is not prime. Res64: E8DA09F02C8F7BC4 Time : 0.0 sec. user=mdettweiler [2016-02-15 19:55:00] 831*2^1422087-1 is not prime. Res64: 879183A59409EA2C Time : 0.0 sec. user=mdettweiler [2016-02-15 20:05:20] 945*2^1422087-1 is not prime. Res64: 147BBBD6BD985690 Time : 0.0 sec. user=mdettweiler [2016-02-15 20:05:21] 961*2^1422087-1 is not prime. Res64: F5B4E83686DBD156 Time : 0.0 sec. user=mdettweiler [2016-02-15 20:05:26] 979*2^1422087-1 is not prime. Res64: 110DC6B71AE6DA58 Time : 0.0 sec. user=mdettweiler [2016-02-15 20:05:27] 657*2^1422088-1 is not prime. Res64: 4FB665117AF6679F Time : 0.0 sec. user=mdettweiler [2016-02-15 20:12:29] 723*2^1422088-1 is not prime. Res64: D7E1A50CB049BFEA Time : 0.0 sec. user=mdettweiler [2016-02-15 20:12:30] 887*2^1422088-1 is not prime. Res64: 31433D22F569BAF7 Time : 0.0 sec. user=mdettweiler [2016-02-15 20:23:02] 975*2^1422088-1 is not prime. Res64: 0E53847FF0046756 Time : 0.0 sec. user=mdettweiler [2016-02-15 20:23:03] 601*2^1422089-1 is not prime. Res64: CFDF7C56188439F8 Time : 0.0 sec. user=mdettweiler [2016-02-15 20:23:03] 741*2^1422089-1 is not prime. Res64: 132864EC70E093C8 Time : 0.0 sec. user=mdettweiler [2016-02-15 20:23:03] 787*2^1422089-1 is not prime. Res64: 2A2BEA1BE2258365 Time : 0.0 sec. user=mdettweiler [2016-02-15 20:30:01] 811*2^1422089-1 is not prime. Res64: 397971EF8E3D05A0 Time : 0.0 sec. user=mdettweiler [2016-02-15 20:30:02] 945*2^1422089-1 is not prime. Res64: B96638591A669B4B Time : 0.0 sec. user=mdettweiler [2016-02-15 20:40:38] 991*2^1422089-1 is not prime. Res64: 1EF72526AD1EA8A9 Time : 0.0 sec. user=mdettweiler [2016-02-15 20:40:38] 611*2^1422090-1 is not prime. Res64: 6C5C394B95D44C7A Time : 0.0 sec. user=mdettweiler [2016-02-15 20:40:38] 707*2^1422090-1 is not prime. Res64: CFF9858A98DEF509 Time : 0.0 sec. user=mdettweiler [2016-02-15 20:40:38] 777*2^1422090-1 is not prime. Res64: 1663256379FC2E1C Time : 0.0 sec. user=mdettweiler [2016-02-15 20:47:35] 905*2^1422090-1 is not prime. Res64: 494F9182EFF7BA22 Time : 0.0 sec. user=mdettweiler [2016-02-15 20:47:36] 1001*2^1422090-1 is not prime. Res64: 12E6379EFBF93EF6 Time : 0.0 sec. user=mdettweiler [2016-02-15 20:58:08] 801*2^1422091-1 is not prime. Res64: 8A241CFA502E01D0 Time : 0.0 sec. user=mdettweiler [2016-02-15 20:58:08] 603*2^1422091-1 is not prime. Res64: 5FF6DD974F836D72 Time : 0.0 sec. user=mdettweiler [2016-02-15 20:58:08] 835*2^1422091-1 is not prime. Res64: 6F0065CF080FF39D Time : 0.0 sec. user=mdettweiler [2016-02-15 20:58:08] 769*2^1422091-1 is not prime. Res64: 45E1E695E476DE70 Time : 0.0 sec. user=mdettweiler [2016-02-15 21:05:07] 961*2^1422091-1 is not prime. Res64: 1656F843149B7BAC Time : 0.0 sec. user=mdettweiler [2016-02-15 21:05:09] 647*2^1422092-1 is not prime. Res64: 34BFD04DC250350A Time : 0.0 sec. user=mdettweiler [2016-02-15 21:15:41] 819*2^1422092-1 is not prime. Res64: 84EF296A892A44D6 Time : 0.0 sec. user=mdettweiler [2016-02-15 21:15:41] 837*2^1422092-1 is not prime. Res64: 079277C1FEFF9BA1 Time : 0.0 sec. user=mdettweiler [2016-02-15 21:15:42] 855*2^1422092-1 is not prime. Res64: 786FB381061641F8 Time : 0.0 sec. user=mdettweiler [2016-02-15 21:15:43] 875*2^1422092-1 is not prime. Res64: DD405D6591F758E4 Time : 0.0 sec. user=mdettweiler [2016-02-15 21:22:49] 977*2^1422092-1 is not prime. Res64: FF7E33D2C4027AA5 Time : 0.0 sec. user=mdettweiler [2016-02-15 21:22:50] 625*2^1422093-1 is not prime. Res64: 81D158E7FA237761 Time : 0.0 sec. user=mdettweiler [2016-02-15 21:33:11] 657*2^1422093-1 is not prime. Res64: D5B9C712F70BCD64 Time : 0.0 sec. user=mdettweiler [2016-02-15 21:33:12] 849*2^1422093-1 is not prime. Res64: BCA13DD8BE68D6A2 Time : 0.0 sec. user=mdettweiler [2016-02-15 21:33:14] 891*2^1422093-1 is not prime. Res64: 7852532A8E40C59C Time : 0.0 sec. user=mdettweiler [2016-02-15 21:33:15] 895*2^1422093-1 is not prime. Res64: CF3B1DB20EE4EB1B Time : 0.0 sec. user=mdettweiler [2016-02-15 21:40:20] 915*2^1422093-1 is not prime. Res64: E768B7F2391A411F Time : 0.0 sec. user=mdettweiler [2016-02-15 21:40:21] 937*2^1422093-1 is not prime. Res64: 4205DDD0EDFD4B87 Time : 0.0 sec. user=mdettweiler [2016-02-15 21:50:45] 705*2^1422094-1 is not prime. Res64: E4EE11E03DC3B9B1 Time : 0.0 sec. user=mdettweiler [2016-02-15 21:50:45] 707*2^1422094-1 is not prime. Res64: A432916EE9F4531B Time : 0.0 sec. user=mdettweiler [2016-02-15 21:50:46] 987*2^1422093-1 is not prime. Res64: 1552FC264FF95173 Time : 0.0 sec. user=mdettweiler [2016-02-15 21:50:46] 651*2^1422094-1 is not prime. Res64: 8883E91FF581CF5E Time : 0.0 sec. user=mdettweiler [2016-02-15 21:57:51] 731*2^1422094-1 is not prime. Res64: D852D1736AE334C0 Time : 0.0 sec. user=mdettweiler [2016-02-15 21:57:51] 833*2^1422094-1 is not prime. Res64: F146AE6662A628E0 Time : 0.0 sec. user=mdettweiler [2016-02-15 22:08:15] 965*2^1422094-1 is not prime. Res64: 3BD132DB2205DC4E Time : 0.0 sec. user=mdettweiler [2016-02-15 22:08:16] 1001*2^1422094-1 is not prime. Res64: 60E60ABA64335752 Time : 0.0 sec. user=mdettweiler [2016-02-15 22:08:17] 915*2^1422094-1 is not prime. Res64: 779B25CE2E91D84D Time : 0.0 sec. user=mdettweiler [2016-02-15 22:08:18] 917*2^1422094-1 is not prime. Res64: 7664BA4D964A8A1C Time : 0.0 sec. user=mdettweiler [2016-02-15 22:15:22] 603*2^1422095-1 is not prime. Res64: 9724FF03813D7202 Time : 0.0 sec. user=mdettweiler [2016-02-15 22:15:22] 609*2^1422095-1 is not prime. Res64: 5B05A0E979F34B23 Time : 0.0 sec. user=mdettweiler [2016-02-15 22:25:48] 643*2^1422095-1 is not prime. Res64: 51A65B73ECE8E9D1 Time : 0.0 sec. user=mdettweiler [2016-02-15 22:25:49] 655*2^1422095-1 is not prime. Res64: 7BCE97C3D2B113E5 Time : 0.0 sec. user=mdettweiler [2016-02-15 22:25:50] 679*2^1422095-1 is not prime. Res64: 70E497B4D035C509 Time : 0.0 sec. user=mdettweiler [2016-02-15 22:25:50] 843*2^1422095-1 is not prime. Res64: 2D380AE2400D33EE Time : 0.0 sec. user=mdettweiler [2016-02-15 22:32:53] 699*2^1422096-1 is not prime. Res64: 56F761EEC6DB42B1 Time : 0.0 sec. user=mdettweiler [2016-02-15 22:32:54] 735*2^1422096-1 is not prime. Res64: A60A079AA15A2CAF Time : 0.0 sec. user=mdettweiler [2016-02-15 22:43:20] 737*2^1422096-1 is not prime. Res64: 5B251F2A6244CA5D Time : 0.0 sec. user=mdettweiler [2016-02-15 22:43:20] 825*2^1422096-1 is not prime. Res64: 9D6335781190BF1A Time : 0.0 sec. user=mdettweiler [2016-02-15 22:43:21] 845*2^1422096-1 is not prime. Res64: 3AF8D4DC7D32E831 Time : 0.0 sec. user=mdettweiler [2016-02-15 22:43:22] 867*2^1422096-1 is not prime. Res64: 0A7AAAB3E0F5AD35 Time : 0.0 sec. user=mdettweiler [2016-02-15 22:50:23] 927*2^1422096-1 is not prime. Res64: A05D4E9A457A8DB9 Time : 0.0 sec. user=mdettweiler [2016-02-15 22:50:24] 933*2^1422096-1 is not prime. Res64: 869FEA3725165934 Time : 0.0 sec. user=mdettweiler [2016-02-15 23:00:50] 947*2^1422096-1 is not prime. Res64: E655BD0CA391225E Time : 0.0 sec. user=mdettweiler [2016-02-15 23:00:51] 615*2^1422097-1 is not prime. Res64: F7D67D3F9C738198 Time : 0.0 sec. user=mdettweiler [2016-02-15 23:00:53] 637*2^1422097-1 is not prime. Res64: 0EE1D18C3A2F3A7E Time : 0.0 sec. user=mdettweiler [2016-02-15 23:00:56] 687*2^1422097-1 is not prime. Res64: A2FAEED4A568AE01 Time : 0.0 sec. user=mdettweiler [2016-02-15 23:07:55] 871*2^1422097-1 is not prime. Res64: 04B7E58D375B0AE0 Time : 0.0 sec. user=mdettweiler [2016-02-15 23:07:56] 915*2^1422097-1 is not prime. Res64: 671059FF61894677 Time : 0.0 sec. user=mdettweiler [2016-02-15 23:18:24] 919*2^1422097-1 is not prime. Res64: 482EE99BB6B5E826 Time : 0.0 sec. user=mdettweiler [2016-02-15 23:18:25] 939*2^1422097-1 is not prime. Res64: DCB7363B390F7323 Time : 0.0 sec. user=mdettweiler [2016-02-15 23:18:27] 651*2^1422098-1 is not prime. Res64: 5BEF2A7673BE6F9F Time : 0.0 sec. user=mdettweiler [2016-02-15 23:18:29] 845*2^1422098-1 is not prime. Res64: D1764DCF9D84BE99 Time : 0.0 sec. user=mdettweiler [2016-02-15 23:25:26] 957*2^1422098-1 is not prime. Res64: 8BE0AB73BCFB9F51 Time : 0.0 sec. user=mdettweiler [2016-02-15 23:25:27] 609*2^1422099-1 is not prime. Res64: 22A007834D896C78 Time : 0.0 sec. user=mdettweiler [2016-02-15 23:36:06] 619*2^1422099-1 is not prime. Res64: B77CA141E09392E3 Time : 0.0 sec. user=mdettweiler [2016-02-15 23:36:07] 685*2^1422099-1 is not prime. Res64: 708E7812B6C6C0CE Time : 0.0 sec. user=mdettweiler [2016-02-15 23:36:08] 801*2^1422099-1 is not prime. Res64: 82E69DB7C3185FA7 Time : 0.0 sec. user=mdettweiler [2016-02-15 23:36:08] 895*2^1422099-1 is not prime. Res64: E37B39FA7F919448 Time : 0.0 sec. user=mdettweiler [2016-02-15 23:43:07] 909*2^1422099-1 is not prime. Res64: A21F687BAE518F60 Time : 0.0 sec. user=mdettweiler [2016-02-15 23:43:07] 931*2^1422099-1 is not prime. Res64: B61237B80162DB77 Time : 0.0 sec. user=mdettweiler [2016-02-15 23:53:44] 991*2^1422099-1 is not prime. Res64: B8F9931C864E1A37 Time : 0.0 sec. user=mdettweiler [2016-02-15 23:53:45] 629*2^1422100-1 is not prime. Res64: 21841B306CE6160D Time : 0.0 sec. user=mdettweiler [2016-02-15 23:53:45] 955*2^1422099-1 is not prime. Res64: 3362A3048914DC2B Time : 0.0 sec. user=mdettweiler [2016-02-15 23:53:45] 985*2^1422099-1 is not prime. Res64: 7C8174A9929B0D9A Time : 0.0 sec. user=mdettweiler [2016-02-16 00:00:43] 773*2^1422100-1 is not prime. Res64: BB9E1E8337714C4C Time : 0.0 sec. user=mdettweiler [2016-02-16 00:00:44] 857*2^1422100-1 is not prime. Res64: 742E0D926AE25E22 Time : 0.0 sec.