user=mdettweiler [2015-12-16 00:01:07] 679*2^1417559-1 is not prime. Res64: 5FE4F3A940D6B15B Time : 0.0 sec. user=mdettweiler [2015-12-16 00:01:07] 705*2^1417559-1 is not prime. Res64: 37EAD1AE2FFB3487 Time : 0.0 sec. user=mdettweiler [2015-12-16 00:07:01] 853*2^1417559-1 is not prime. Res64: 323C0D8CF7EB0A9C Time : 0.0 sec. user=mdettweiler [2015-12-16 00:07:02] 855*2^1417559-1 is not prime. Res64: E936BE6DA119E661 Time : 0.0 sec. user=mdettweiler [2015-12-16 00:18:38] 859*2^1417559-1 is not prime. Res64: 7D7EFC6ABBBA08F7 Time : 0.0 sec. user=mdettweiler [2015-12-16 00:18:38] 865*2^1417559-1 is not prime. Res64: 88521A594B2EE31D Time : 0.0 sec. user=mdettweiler [2015-12-16 00:24:36] 885*2^1417559-1 is not prime. Res64: 6FC6F0DDF6B710F0 Time : 0.0 sec. user=mdettweiler [2015-12-16 00:24:36] 767*2^1417560-1 is not prime. Res64: A727FA0A90C06E90 Time : 0.0 sec. user=mdettweiler [2015-12-16 00:36:15] 845*2^1417560-1 is not prime. Res64: EDE10F6B15BD96DE Time : 0.0 sec. user=mdettweiler [2015-12-16 00:36:16] 873*2^1417560-1 is not prime. Res64: ED2677E997817593 Time : 0.0 sec. user=mdettweiler [2015-12-16 00:42:09] 615*2^1417561-1 is not prime. Res64: 20584C9AA4B16422 Time : 0.0 sec. user=mdettweiler [2015-12-16 00:42:10] 691*2^1417561-1 is not prime. Res64: A300CAECE1D45F12 Time : 0.0 sec. user=mdettweiler [2015-12-16 00:53:45] 651*2^1417562-1 is not prime. Res64: 29A1F6225BEDACF2 Time : 0.0 sec. user=mdettweiler [2015-12-16 00:53:45] 731*2^1417562-1 is not prime. Res64: 1576B3B0A16969C6 Time : 0.0 sec. user=mdettweiler [2015-12-16 00:59:38] 825*2^1417562-1 is not prime. Res64: 2A1340BCE75A4814 Time : 0.0 sec. user=mdettweiler [2015-12-16 00:59:38] 843*2^1417562-1 is not prime. Res64: AF9A99A0D3787FA6 Time : 0.0 sec. user=mdettweiler [2015-12-16 01:11:13] 893*2^1417562-1 is not prime. Res64: D4E70DA9FF53288C Time : 0.0 sec. user=mdettweiler [2015-12-16 01:11:13] 953*2^1417562-1 is not prime. Res64: 3E4406462584F8AD Time : 0.0 sec. user=mdettweiler [2015-12-16 01:17:04] 649*2^1417563-1 is not prime. Res64: 2C194512F38CDEDD Time : 0.0 sec. user=mdettweiler [2015-12-16 01:17:04] 685*2^1417563-1 is not prime. Res64: 09FCD025A4C759A1 Time : 0.0 sec. user=mdettweiler [2015-12-16 01:28:41] 769*2^1417563-1 is not prime. Res64: A2BE4725EBAF2152 Time : 0.0 sec. user=mdettweiler [2015-12-16 01:28:42] 861*2^1417563-1 is not prime. Res64: 719D9BD4DBE2AAE9 Time : 0.0 sec. user=mdettweiler [2015-12-16 01:34:32] 871*2^1417563-1 is not prime. Res64: 652267E42A173153 Time : 0.0 sec. user=mdettweiler [2015-12-16 01:34:33] 895*2^1417563-1 is not prime. Res64: 45FE5A7D66AA9596 Time : 0.0 sec. user=mdettweiler [2015-12-16 01:46:10] 955*2^1417563-1 is not prime. Res64: CA553A7FC6036289 Time : 0.0 sec. user=mdettweiler [2015-12-16 01:46:10] 615*2^1417564-1 is not prime. Res64: 95317CCCDCD12469 Time : 0.0 sec. user=mdettweiler [2015-12-16 01:52:04] 657*2^1417564-1 is not prime. Res64: 46F0DC23633047F4 Time : 0.0 sec. user=mdettweiler [2015-12-16 01:52:05] 705*2^1417564-1 is not prime. Res64: C6CF3972B196A0A7 Time : 0.0 sec. user=mdettweiler [2015-12-16 02:03:37] 707*2^1417564-1 is not prime. Res64: 0CDFF79F8BCDF56F Time : 0.0 sec. user=mdettweiler [2015-12-16 02:03:39] 783*2^1417564-1 is not prime. Res64: 739B58F7F3AD6526 Time : 0.0 sec. user=mdettweiler [2015-12-16 02:09:31] 875*2^1417564-1 is not prime. Res64: B3FA473F853E0FDE Time : 0.0 sec. user=mdettweiler [2015-12-16 02:09:31] 975*2^1417564-1 is not prime. Res64: F49863DC9751AB84 Time : 0.0 sec. user=mdettweiler [2015-12-16 02:21:18] 675*2^1417565-1 is not prime. Res64: DD728988F52230BC Time : 0.0 sec. user=mdettweiler [2015-12-16 02:21:19] 721*2^1417565-1 is not prime. Res64: 7F79C3869FEA1A4F Time : 0.0 sec. user=mdettweiler [2015-12-16 02:27:01] 775*2^1417565-1 is not prime. Res64: B5FB0BE295519045 Time : 0.0 sec. user=mdettweiler [2015-12-16 02:27:02] 991*2^1417565-1 is not prime. Res64: 9C9931AC925BE13C Time : 0.0 sec. user=mdettweiler [2015-12-16 02:38:46] 657*2^1417566-1 is not prime. Res64: 56478DE166C68A1E Time : 0.0 sec. user=mdettweiler [2015-12-16 02:38:46] 713*2^1417566-1 is not prime. Res64: 85D2441E74553412 Time : 0.0 sec. user=mdettweiler [2015-12-16 02:44:29] 801*2^1417566-1 is not prime. Res64: 93193742DC318835 Time : 0.0 sec. user=mdettweiler [2015-12-16 02:44:30] 807*2^1417566-1 is not prime. Res64: E973B3255FBD49A9 Time : 0.0 sec. user=mdettweiler [2015-12-16 02:56:14] 619*2^1417567-1 is not prime. Res64: C9F75BADAA75986E Time : 0.0 sec. user=mdettweiler [2015-12-16 02:56:15] 633*2^1417567-1 is not prime. Res64: 9C503965C7D31D15 Time : 0.0 sec. user=mdettweiler [2015-12-16 03:01:57] 645*2^1417567-1 is not prime. Res64: 79EDB3FB097A282F Time : 0.0 sec. user=mdettweiler [2015-12-16 03:01:58] 729*2^1417567-1 is not prime. Res64: 68F0825D5AA0BFC8 Time : 0.0 sec. user=mdettweiler [2015-12-16 03:13:44] 751*2^1417567-1 is not prime. Res64: E78CD82FFBF1464D Time : 0.0 sec. user=mdettweiler [2015-12-16 03:13:46] 841*2^1417567-1 is not prime. Res64: 8F9400856587CFAE Time : 0.0 sec. user=mdettweiler [2015-12-16 03:19:30] 885*2^1417567-1 is not prime. Res64: 46F37DE396FB9613 Time : 0.0 sec. user=mdettweiler [2015-12-16 03:19:31] 895*2^1417567-1 is not prime. Res64: BCA4EED50810E9F3 Time : 0.0 sec. user=mdettweiler [2015-12-16 03:31:22] 915*2^1417567-1 is not prime. Res64: 754957539547BED9 Time : 0.0 sec. user=mdettweiler [2015-12-16 03:31:24] 683*2^1417568-1 is not prime. Res64: 3765116E4798DBCA Time : 0.0 sec. user=mdettweiler [2015-12-16 03:37:06] 803*2^1417568-1 is not prime. Res64: 133225A1B01FDA50 Time : 0.0 sec. user=mdettweiler [2015-12-16 03:37:09] 879*2^1417568-1 is not prime. Res64: D4B43F866AD7D36C Time : 0.0 sec. user=mdettweiler [2015-12-16 03:49:04] 649*2^1417569-1 is not prime. Res64: 0FF2704CE47D0D16 Time : 0.0 sec. user=mdettweiler [2015-12-16 03:49:06] 735*2^1417569-1 is not prime. Res64: E082401744B3AA24 Time : 0.0 sec. user=mdettweiler [2015-12-16 03:54:57] 831*2^1417569-1 is not prime. Res64: 18143CBD6D533F93 Time : 0.0 sec. user=mdettweiler [2015-12-16 03:54:58] 837*2^1417569-1 is not prime. Res64: 2D68CA79D8A9933B Time : 0.0 sec. user=mdettweiler [2015-12-16 04:06:54] 889*2^1417569-1 is not prime. Res64: 583F3156E67B47FB Time : 0.0 sec. user=mdettweiler [2015-12-16 04:06:55] 951*2^1417569-1 is not prime. Res64: F866285E64FBAE5D Time : 0.0 sec. user=mdettweiler [2015-12-16 04:12:38] 987*2^1417569-1 is not prime. Res64: 54189FEFBC534664 Time : 0.0 sec. user=mdettweiler [2015-12-16 04:12:39] 651*2^1417570-1 is not prime. Res64: 2E07A44BAEE72FE6 Time : 0.0 sec. user=mdettweiler [2015-12-16 04:24:45] 735*2^1417570-1 is not prime. Res64: 8090E857E971011E Time : 0.0 sec. user=mdettweiler [2015-12-16 04:24:46] 765*2^1417570-1 is not prime. Res64: 307CC171A86BD93A Time : 0.0 sec. user=mdettweiler [2015-12-16 04:30:15] 867*2^1417570-1 is not prime. Res64: E47CB7A326D469C3 Time : 0.0 sec. user=mdettweiler [2015-12-16 04:30:16] 911*2^1417570-1 is not prime. Res64: 4AC290475751DAF6 Time : 0.0 sec. user=mdettweiler [2015-12-16 04:42:19] 917*2^1417570-1 is not prime. Res64: AA1EF9CCCFB7EF40 Time : 0.0 sec. user=mdettweiler [2015-12-16 04:42:21] 975*2^1417570-1 is not prime. Res64: 9FB6B60EDD0F6A3E Time : 0.0 sec. user=mdettweiler [2015-12-16 04:47:51] 645*2^1417571-1 is not prime. Res64: 942FBDFAA6C2061F Time : 0.0 sec. user=mdettweiler [2015-12-16 04:47:52] 669*2^1417571-1 is not prime. Res64: D193D29A2EADF197 Time : 0.0 sec. user=mdettweiler [2015-12-16 04:59:56] 735*2^1417571-1 is not prime. Res64: 5D99E98FA35F53C0 Time : 0.0 sec. user=mdettweiler [2015-12-16 04:59:57] 775*2^1417571-1 is not prime. Res64: 994D784F1D242C48 Time : 0.0 sec. user=mdettweiler [2015-12-16 05:05:30] 841*2^1417571-1 is not prime. Res64: 18BA9CC51A6AE4D5 Time : 0.0 sec. user=mdettweiler [2015-12-16 05:05:33] 885*2^1417571-1 is not prime. Res64: D20BBB1D851DF227 Time : 0.0 sec. user=mdettweiler [2015-12-16 05:17:34] 931*2^1417571-1 is not prime. Res64: 79BD103211D2F738 Time : 0.0 sec. user=mdettweiler [2015-12-16 05:17:35] 949*2^1417571-1 is not prime. Res64: C3FDB8A40F0276F6 Time : 0.0 sec. user=mdettweiler [2015-12-16 05:23:19] 969*2^1417571-1 is not prime. Res64: 14EF8D836E265B0C Time : 0.0 sec. user=mdettweiler [2015-12-16 05:23:20] 979*2^1417571-1 is not prime. Res64: 101709E3A7BF3896 Time : 0.0 sec. user=mdettweiler [2015-12-16 05:35:11] 635*2^1417572-1 is not prime. Res64: B1F939CE86CB6C00 Time : 0.0 sec. user=mdettweiler [2015-12-16 05:35:13] 653*2^1417572-1 is not prime. Res64: B9AB0064963CD869 Time : 0.0 sec. user=mdettweiler [2015-12-16 05:40:55] 777*2^1417572-1 is not prime. Res64: 9B18FF9970927D62 Time : 0.0 sec. user=mdettweiler [2015-12-16 05:40:56] 909*2^1417572-1 is not prime. Res64: 7FF0D4EEC6D5898B Time : 0.0 sec. user=mdettweiler [2015-12-16 05:52:45] 947*2^1417572-1 is not prime. Res64: 857A200B163CFB8F Time : 0.0 sec. user=mdettweiler [2015-12-16 05:52:46] 987*2^1417572-1 is not prime. Res64: F6C3C959B6C97926 Time : 0.0 sec. user=mdettweiler [2015-12-16 05:58:35] 607*2^1417573-1 is not prime. Res64: 07E3AC018506C729 Time : 0.0 sec. user=mdettweiler [2015-12-16 05:58:36] 679*2^1417573-1 is not prime. Res64: 9C5F7773FBD01ACA Time : 0.0 sec. user=mdettweiler [2015-12-16 06:10:22] 897*2^1417573-1 is not prime. Res64: D6C6C63C7B42D689 Time : 0.0 sec. user=mdettweiler [2015-12-16 06:10:23] 901*2^1417573-1 is not prime. Res64: F4315C147CD1267C Time : 0.0 sec. user=mdettweiler [2015-12-16 06:16:14] 919*2^1417573-1 is not prime. Res64: 01F8FB4EE0B0DAA3 Time : 0.0 sec. user=mdettweiler [2015-12-16 06:16:15] 961*2^1417573-1 is not prime. Res64: E0272D6FABAD7CD6 Time : 0.0 sec. user=mdettweiler [2015-12-16 06:27:58] 967*2^1417573-1 is not prime. Res64: 1ADE0DB1AA31A26B Time : 0.0 sec. user=mdettweiler [2015-12-16 06:27:59] 999*2^1417573-1 is not prime. Res64: 84F0E366D9206852 Time : 0.0 sec. user=mdettweiler [2015-12-16 06:33:50] 707*2^1417574-1 is not prime. Res64: BCBF5A61EB918ECE Time : 0.0 sec. user=mdettweiler [2015-12-16 06:33:51] 717*2^1417574-1 is not prime. Res64: E5EAB9BB02F5818F Time : 0.0 sec. user=mdettweiler [2015-12-16 06:45:34] 735*2^1417575-1 is not prime. Res64: 49AE30361894417B Time : 0.0 sec. user=mdettweiler [2015-12-16 06:45:34] 805*2^1417575-1 is not prime. Res64: 3A486107DEBD6011 Time : 0.0 sec. user=mdettweiler [2015-12-16 06:51:28] 853*2^1417575-1 is not prime. Res64: D28BB0F16C53F251 Time : 0.0 sec. user=mdettweiler [2015-12-16 06:51:28] 963*2^1417575-1 is not prime. Res64: C977589968B1B3B1 Time : 0.0 sec. user=mdettweiler [2015-12-16 07:03:09] 973*2^1417575-1 is not prime. Res64: CE8C9897F89E8CA3 Time : 0.0 sec. user=mdettweiler [2015-12-16 07:03:11] 873*2^1417576-1 is not prime. Res64: 3600768567F4B9D1 Time : 0.0 sec. user=mdettweiler [2015-12-16 07:09:05] 897*2^1417576-1 is not prime. Res64: E836582A0E728692 Time : 0.0 sec. user=mdettweiler [2015-12-16 07:09:06] 903*2^1417576-1 is not prime. Res64: FA1FFD09644434E9 Time : 0.0 sec. user=mdettweiler [2015-12-16 07:20:49] 939*2^1417576-1 is not prime. Res64: 06C3C849365017B3 Time : 0.0 sec. user=mdettweiler [2015-12-16 07:20:50] 989*2^1417576-1 is not prime. Res64: 5BC587163EE31035 Time : 0.0 sec. user=mdettweiler [2015-12-16 07:26:44] 711*2^1417577-1 is not prime. Res64: 2DE66A3637B65786 Time : 0.0 sec. user=mdettweiler [2015-12-16 07:26:45] 939*2^1417577-1 is not prime. Res64: 358AC3AFD9C2CDE6 Time : 0.0 sec. user=mdettweiler [2015-12-16 07:38:26] 621*2^1417578-1 is not prime. Res64: E39955F605BA625E Time : 0.0 sec. user=mdettweiler [2015-12-16 07:38:27] 633*2^1417578-1 is not prime. Res64: 84AAE888EA4D000E Time : 0.0 sec. user=mdettweiler [2015-12-16 07:44:21] 635*2^1417578-1 is not prime. Res64: AED19F11AC9408C3 Time : 0.0 sec. user=mdettweiler [2015-12-16 07:44:22] 891*2^1417578-1 is not prime. Res64: 4C6432A2DCE3BB65 Time : 0.0 sec. user=mdettweiler [2015-12-16 07:56:02] 915*2^1417578-1 is not prime. Res64: FD970FBEE037504A Time : 0.0 sec. user=mdettweiler [2015-12-16 07:56:03] 927*2^1417578-1 is not prime. Res64: F1F7B61BF49E6F2E Time : 0.0 sec. user=mdettweiler [2015-12-16 08:01:58] 971*2^1417578-1 is not prime. Res64: 90CDCD7853225DD9 Time : 0.0 sec. user=mdettweiler [2015-12-16 08:01:59] 993*2^1417578-1 is not prime. Res64: 410F381D93EFCE49 Time : 0.0 sec. user=mdettweiler [2015-12-16 08:13:39] 633*2^1417579-1 is not prime. Res64: 85B465A5435DA283 Time : 0.0 sec. user=mdettweiler [2015-12-16 08:13:40] 645*2^1417579-1 is not prime. Res64: 5D85990631690805 Time : 0.0 sec. user=mdettweiler [2015-12-16 08:19:37] 675*2^1417579-1 is not prime. Res64: B3E5067F6432CBB8 Time : 0.0 sec. user=mdettweiler [2015-12-16 08:19:37] 685*2^1417579-1 is not prime. Res64: A261C1AFBD8F149D Time : 0.0 sec. user=mdettweiler [2015-12-16 08:31:14] 691*2^1417579-1 is not prime. Res64: 0F8CEAF117F59404 Time : 0.0 sec. user=mdettweiler [2015-12-16 08:31:15] 703*2^1417579-1 is not prime. Res64: CDDE9D77085F4D51 Time : 0.0 sec. user=mdettweiler [2015-12-16 08:37:13] 751*2^1417579-1 is not prime. Res64: 4F21EBC98862BBA5 Time : 0.0 sec. user=mdettweiler [2015-12-16 08:37:14] 759*2^1417579-1 is not prime. Res64: 10C0D7DBDEAF98E4 Time : 0.0 sec. user=mdettweiler [2015-12-16 08:48:49] 765*2^1417579-1 is not prime. Res64: FE5E925B3153F63B Time : 0.0 sec. user=mdettweiler [2015-12-16 08:48:50] 859*2^1417579-1 is not prime. Res64: 95F558881B9EE503 Time : 0.0 sec. user=mdettweiler [2015-12-16 08:54:48] 861*2^1417579-1 is not prime. Res64: ECEC7E2AA00A51C4 Time : 0.0 sec. user=mdettweiler [2015-12-16 08:54:49] 885*2^1417579-1 is not prime. Res64: 8DC73323587150B7 Time : 0.0 sec. user=mdettweiler [2015-12-16 09:06:25] 925*2^1417579-1 is not prime. Res64: 2C689C99F2DA526C Time : 0.0 sec. user=mdettweiler [2015-12-16 09:06:30] 951*2^1417579-1 is not prime. Res64: 6B4785A33C2E699E Time : 0.0 sec. user=mdettweiler [2015-12-16 09:12:25] 879*2^1417580-1 is not prime. Res64: F189895AD7849E3A Time : 0.0 sec. user=mdettweiler [2015-12-16 09:12:27] 987*2^1417580-1 is not prime. Res64: AE7EF77E8F3630B0 Time : 0.0 sec. user=mdettweiler [2015-12-16 09:24:23] 621*2^1417581-1 is not prime. Res64: 8DA67BDF19D8E37C Time : 0.0 sec. user=mdettweiler [2015-12-16 09:24:23] 649*2^1417581-1 is not prime. Res64: C5AA4B47867C611A Time : 0.0 sec. user=mdettweiler [2015-12-16 09:30:03] 837*2^1417581-1 is not prime. Res64: 08D3B00908C21508 Time : 0.0 sec. user=mdettweiler [2015-12-16 09:30:06] 861*2^1417581-1 is not prime. Res64: 54837F483FAD1537 Time : 0.0 sec. user=mdettweiler [2015-12-16 09:41:56] 867*2^1417581-1 is not prime. Res64: D6A7692E06C067B4 Time : 0.0 sec. user=mdettweiler [2015-12-16 09:41:57] 885*2^1417581-1 is not prime. Res64: EDB07968B3CBACC5 Time : 0.0 sec. user=mdettweiler [2015-12-16 09:47:43] 969*2^1417581-1 is not prime. Res64: 0BF1243A3731849F Time : 0.0 sec. user=mdettweiler [2015-12-16 09:47:44] 657*2^1417582-1 is not prime. Res64: 512B152AFF4DFA5F Time : 0.0 sec. user=mdettweiler [2015-12-16 09:59:29] 681*2^1417582-1 is not prime. Res64: C70FCAEB90111BB0 Time : 0.0 sec. user=mdettweiler [2015-12-16 09:59:30] 717*2^1417582-1 is not prime. Res64: 13A28DA4BC5A4ED1 Time : 0.0 sec. user=mdettweiler [2015-12-16 10:05:20] 741*2^1417582-1 is not prime. Res64: DD3269655C0FE1E4 Time : 0.0 sec. user=mdettweiler [2015-12-16 10:05:22] 825*2^1417582-1 is not prime. Res64: 227D79B3C8803AA1 Time : 0.0 sec. user=mdettweiler [2015-12-16 10:17:03] 897*2^1417582-1 is not prime. Res64: C3CEBB7A82AC7AAF Time : 0.0 sec. user=mdettweiler [2015-12-16 10:17:03] 923*2^1417582-1 is not prime. Res64: 2AD40125FAC74895 Time : 0.0 sec. user=mdettweiler [2015-12-16 10:23:04] 957*2^1417582-1 is not prime. Res64: 59480FEF5F9CB0E8 Time : 0.0 sec. user=mdettweiler [2015-12-16 10:23:04] 663*2^1417583-1 is not prime. Res64: 38D9008156BA836C Time : 0.0 sec. user=mdettweiler [2015-12-16 10:34:32] 721*2^1417583-1 is not prime. Res64: B6ABC38181956AC7 Time : 0.0 sec. user=mdettweiler [2015-12-16 10:34:32] 739*2^1417583-1 is not prime. Res64: 5B186D7089335E5B Time : 0.0 sec. user=mdettweiler [2015-12-16 10:40:31] 775*2^1417583-1 is not prime. Res64: C9B50A7E17886356 Time : 0.0 sec. user=mdettweiler [2015-12-16 10:40:31] 663*2^1417584-1 is not prime. Res64: 8D6EB1A0A2E72759 Time : 0.0 sec. user=mdettweiler [2015-12-16 10:51:58] 723*2^1417584-1 is not prime. Res64: 14F3D951302A69E6 Time : 0.0 sec. user=mdettweiler [2015-12-16 10:51:58] 765*2^1417584-1 is not prime. Res64: D6FAE86F4FCF6981 Time : 0.0 sec. user=mdettweiler [2015-12-16 10:57:56] 863*2^1417584-1 is not prime. Res64: DFC315EF79D49063 Time : 0.0 sec. user=mdettweiler [2015-12-16 10:57:57] 893*2^1417584-1 is not prime. Res64: 6F90AF1C937ADA79 Time : 0.0 sec. user=mdettweiler [2015-12-16 11:09:23] 959*2^1417584-1 is not prime. Res64: CBC9C6D0D51BEF45 Time : 0.0 sec. user=mdettweiler [2015-12-16 11:09:24] 777*2^1417585-1 is not prime. Res64: 6FEE8ADE94227F8A Time : 0.0 sec. user=mdettweiler [2015-12-16 11:15:21] 939*2^1417585-1 is not prime. Res64: 72464C2454187902 Time : 0.0 sec. user=mdettweiler [2015-12-16 11:15:22] 635*2^1417586-1 is not prime. Res64: 6CB1EA4F8F43A05D Time : 0.0 sec. user=mdettweiler [2015-12-16 11:26:52] 705*2^1417586-1 is not prime. Res64: 221599A55188EE45 Time : 0.0 sec. user=mdettweiler [2015-12-16 11:26:52] 713*2^1417586-1 is not prime. Res64: DD53D128AC588CBF Time : 0.0 sec. user=mdettweiler [2015-12-16 11:32:48] 875*2^1417586-1 is not prime. Res64: 31F93810204CFBDE Time : 0.0 sec. user=mdettweiler [2015-12-16 11:32:48] 935*2^1417586-1 is not prime. Res64: 4BFDCEE64575F14B Time : 0.0 sec. user=mdettweiler [2015-12-16 11:44:18] 675*2^1417587-1 is not prime. Res64: 79DF186BA59A014F Time : 0.0 sec. user=mdettweiler [2015-12-16 11:44:19] 859*2^1417587-1 is not prime. Res64: E1E933EFBBBF77FD Time : 0.0 sec. user=mdettweiler [2015-12-16 11:50:14] 895*2^1417587-1 is not prime. Res64: FB54763F48B82C83 Time : 0.0 sec. user=mdettweiler [2015-12-16 11:50:15] 603*2^1417588-1 is not prime. Res64: 53F97260A4ED0D0B Time : 0.0 sec. user=mdettweiler [2015-12-16 12:01:45] 657*2^1417588-1 is not prime. Res64: 2125A906858CD610 Time : 0.0 sec. user=mdettweiler [2015-12-16 12:01:47] 663*2^1417588-1 is not prime. Res64: 3EA6B26357387BE3 Time : 0.0 sec. user=mdettweiler [2015-12-16 12:07:42] 689*2^1417588-1 is not prime. Res64: 41F1A94742526D3C Time : 0.0 sec. user=mdettweiler [2015-12-16 12:07:43] 819*2^1417588-1 is not prime. Res64: 95EC13EA6255438D Time : 0.0 sec. user=mdettweiler [2015-12-16 12:19:25] 827*2^1417588-1 is not prime. Res64: 91EF4FF948D7C6BA Time : 0.0 sec. user=mdettweiler [2015-12-16 12:19:26] 843*2^1417588-1 is not prime. Res64: 1487DDAB3BC028A6 Time : 0.0 sec. user=mdettweiler [2015-12-16 12:25:10] 845*2^1417588-1 is not prime. Res64: 343353C46083845B Time : 0.0 sec. user=mdettweiler [2015-12-16 12:25:11] 957*2^1417588-1 is not prime. Res64: 6B852DC1AA06B552 Time : 0.0 sec. user=mdettweiler [2015-12-16 12:36:52] 657*2^1417589-1 is not prime. Res64: 26EBD6FFA01803D7 Time : 0.0 sec. user=mdettweiler [2015-12-16 12:36:52] 697*2^1417589-1 is not prime. Res64: 46171DE1CB68ADB8 Time : 0.0 sec. user=mdettweiler [2015-12-16 12:42:36] 795*2^1417589-1 is not prime. Res64: EEA677222F99425C Time : 0.0 sec. user=mdettweiler [2015-12-16 12:42:36] 801*2^1417589-1 is not prime. Res64: B90DE5A31C5D8B6B Time : 0.0 sec. user=mdettweiler [2015-12-16 12:54:20] 811*2^1417589-1 is not prime. Res64: A53CBB819D0A6B9F Time : 0.0 sec. user=mdettweiler [2015-12-16 12:54:20] 847*2^1417589-1 is not prime. Res64: CC10B8EE82E95AD1 Time : 0.0 sec. user=mdettweiler [2015-12-16 13:00:01] 897*2^1417589-1 is not prime. Res64: 4D8EC7A912610790 Time : 0.0 sec. user=mdettweiler [2015-12-16 13:00:01] 677*2^1417590-1 is not prime. Res64: F2EA69F5BF5A6D85 Time : 0.0 sec. user=mdettweiler [2015-12-16 13:11:48] 741*2^1417590-1 is not prime. Res64: 6A7A2B99910FF212 Time : 0.0 sec. user=mdettweiler [2015-12-16 13:11:49] 801*2^1417590-1 is not prime. Res64: 87945C2331A16A36 Time : 0.0 sec. user=mdettweiler [2015-12-16 13:17:27] 851*2^1417590-1 is not prime. Res64: 722C072D14AD5D85 Time : 0.0 sec. user=mdettweiler [2015-12-16 13:17:28] 867*2^1417590-1 is not prime. Res64: D2326697F05F0D4A Time : 0.0 sec. user=mdettweiler [2015-12-16 13:29:18] 917*2^1417590-1 is not prime. Res64: 549202213F6E85E9 Time : 0.0 sec. user=mdettweiler [2015-12-16 13:29:18] 921*2^1417590-1 is not prime. Res64: 16FD6C42F9EC9C77 Time : 0.0 sec. user=mdettweiler [2015-12-16 13:34:53] 649*2^1417591-1 is not prime. Res64: 6659299D093A4527 Time : 0.0 sec. user=mdettweiler [2015-12-16 13:34:53] 681*2^1417591-1 is not prime. Res64: 27DE96C59A73FD5A Time : 0.0 sec. user=mdettweiler [2015-12-16 13:46:43] 741*2^1417591-1 is not prime. Res64: 5BF2C29B90965996 Time : 0.0 sec. user=mdettweiler [2015-12-16 13:46:44] 861*2^1417591-1 is not prime. Res64: 80754DEEF125373F Time : 0.0 sec. user=mdettweiler [2015-12-16 13:52:18] 901*2^1417591-1 is not prime. Res64: B932683BD465E513 Time : 0.0 sec. user=mdettweiler [2015-12-16 13:52:19] 925*2^1417591-1 is not prime. Res64: 18A431DD419127E6 Time : 0.0 sec. user=mdettweiler [2015-12-16 14:04:10] 951*2^1417591-1 is not prime. Res64: E6D7D9726B0C816D Time : 0.0 sec. user=mdettweiler [2015-12-16 14:04:12] 961*2^1417591-1 is not prime. Res64: A1BDF4118982D428 Time : 0.0 sec. user=mdettweiler [2015-12-16 14:09:45] 605*2^1417592-1 is not prime. Res64: B72EADC1FA7E802F Time : 0.0 sec. user=mdettweiler [2015-12-16 14:09:46] 629*2^1417592-1 is not prime. Res64: BE15C8D42B6D3D6F Time : 0.0 sec. user=mdettweiler [2015-12-16 14:21:51] 633*2^1417592-1 is not prime. Res64: FBA911BB93A3F927 Time : 0.0 sec. user=mdettweiler [2015-12-16 14:21:52] 735*2^1417592-1 is not prime. Res64: 20F3CA658D750A03 Time : 0.0 sec. user=mdettweiler [2015-12-16 14:27:17] 827*2^1417592-1 is not prime. Res64: 7F37FDE6B2BB08F8 Time : 0.0 sec. user=mdettweiler [2015-12-16 14:27:17] 873*2^1417592-1 is not prime. Res64: B8165DFD519D7129 Time : 0.0 sec. user=mdettweiler [2015-12-16 14:39:21] 607*2^1417593-1 is not prime. Res64: C5E100BC95EE60E3 Time : 0.0 sec. user=mdettweiler [2015-12-16 14:39:21] 637*2^1417593-1 is not prime. Res64: 979FFF03CA341C72 Time : 0.0 sec. user=mdettweiler [2015-12-16 14:44:43] 651*2^1417593-1 is not prime. Res64: E5F7FD6037012694 Time : 0.0 sec. user=mdettweiler [2015-12-16 14:44:43] 705*2^1417593-1 is not prime. Res64: C69CF45DDEAE49AD Time : 0.0 sec. user=mdettweiler [2015-12-16 14:56:47] 747*2^1417593-1 is not prime. Res64: F1E59CF6BD6A7CC2 Time : 0.0 sec. user=mdettweiler [2015-12-16 14:56:47] 765*2^1417593-1 is not prime. Res64: 969939533A64D4BF Time : 0.0 sec. user=mdettweiler [2015-12-16 15:02:09] 807*2^1417593-1 is not prime. Res64: B5FD59C4CB1DD69C Time : 0.0 sec. user=mdettweiler [2015-12-16 15:02:10] 949*2^1417593-1 is not prime. Res64: EF47ED58A95CB711 Time : 0.0 sec. user=mdettweiler [2015-12-16 15:14:13] 991*2^1417593-1 is not prime. Res64: 72B237323A3D514B Time : 0.0 sec. user=mdettweiler [2015-12-16 15:14:13] 681*2^1417594-1 is not prime. Res64: 0D81B7E5BA293285 Time : 0.0 sec. user=mdettweiler [2015-12-16 15:19:52] 917*2^1417594-1 is not prime. Res64: DEB2F256FE994BA1 Time : 0.0 sec. user=mdettweiler [2015-12-16 15:19:52] 923*2^1417594-1 is not prime. Res64: 07A754B909E41C2B Time : 0.0 sec. user=mdettweiler [2015-12-16 15:31:42] 663*2^1417595-1 is not prime. Res64: 29A9CA0A1A6BDAD0 Time : 0.0 sec. user=mdettweiler [2015-12-16 15:31:43] 705*2^1417595-1 is not prime. Res64: 09FB6637AEE92C59 Time : 0.0 sec. user=mdettweiler [2015-12-16 15:37:18] 741*2^1417595-1 is not prime. Res64: B888EC2A20BF79D4 Time : 0.0 sec. user=mdettweiler [2015-12-16 15:37:18] 805*2^1417595-1 is not prime. Res64: BCA5150385608018 Time : 0.0 sec. user=mdettweiler [2015-12-16 15:49:10] 669*2^1417596-1 is not prime. Res64: 25B18EE2FD1BF911 Time : 0.0 sec. user=mdettweiler [2015-12-16 15:49:10] 699*2^1417596-1 is not prime. Res64: EAD925B87E5478E5 Time : 0.0 sec. user=mdettweiler [2015-12-16 15:54:44] 707*2^1417596-1 is not prime. Res64: AE23A6CE008EFD62 Time : 0.0 sec. user=mdettweiler [2015-12-16 15:54:45] 857*2^1417596-1 is not prime. Res64: 222A46BE84DDCB48 Time : 0.0 sec. user=mdettweiler [2015-12-16 16:06:38] 905*2^1417596-1 is not prime. Res64: 304FF8C901EF5547 Time : 0.0 sec. user=mdettweiler [2015-12-16 16:06:40] 969*2^1417596-1 is not prime. Res64: 07F0D4FE82CE4870 Time : 0.0 sec. user=mdettweiler [2015-12-16 16:12:10] 601*2^1417597-1 is not prime. Res64: 1142D240558AAA94 Time : 0.0 sec. user=mdettweiler [2015-12-16 16:12:10] 625*2^1417597-1 is not prime. Res64: B31A0A63EDA5AB7F Time : 0.0 sec. user=mdettweiler [2015-12-16 16:24:16] 747*2^1417597-1 is not prime. Res64: 8246F5919C39A1A2 Time : 0.0 sec. user=mdettweiler [2015-12-16 16:24:17] 751*2^1417597-1 is not prime. Res64: 92B9D1DDA760758C Time : 0.0 sec. user=mdettweiler [2015-12-16 16:29:37] 919*2^1417597-1 is not prime. Res64: FFD78A807CC825AC Time : 0.0 sec. user=mdettweiler [2015-12-16 16:29:38] 931*2^1417597-1 is not prime. Res64: 0D2C6F01800AF31A Time : 0.0 sec. user=mdettweiler [2015-12-16 16:41:43] 939*2^1417597-1 is not prime. Res64: DD2F2C2F1F017313 Time : 0.0 sec. user=mdettweiler [2015-12-16 16:41:43] 985*2^1417597-1 is not prime. Res64: 00F056F23B1752C5 Time : 0.0 sec. user=mdettweiler [2015-12-16 16:47:04] 771*2^1417598-1 is not prime. Res64: A0499FF4021B853A Time : 0.0 sec. user=mdettweiler [2015-12-16 16:47:04] 875*2^1417598-1 is not prime. Res64: E7928341B4EC4E3A Time : 0.0 sec. user=mdettweiler [2015-12-16 16:59:09] 957*2^1417598-1 is not prime. Res64: A35E0C63E84AADE1 Time : 0.0 sec. user=mdettweiler [2015-12-16 16:59:09] 1001*2^1417598-1 is not prime. Res64: 5EF13BC00BC427E0 Time : 0.0 sec. user=mdettweiler [2015-12-16 17:04:30] 663*2^1417599-1 is not prime. Res64: 4AAFAFA767AD4C18 Time : 0.0 sec. user=mdettweiler [2015-12-16 17:04:31] 693*2^1417599-1 is not prime. Res64: 2FC56B27B654E1D9 Time : 0.0 sec. user=mdettweiler [2015-12-16 17:16:36] 885*2^1417599-1 is not prime. Res64: 1B3A18471EEAE126 Time : 0.0 sec. user=mdettweiler [2015-12-16 17:16:36] 891*2^1417599-1 is not prime. Res64: 1DCC8BDABD006C6A Time : 0.0 sec. user=mdettweiler [2015-12-16 17:22:09] 933*2^1417599-1 is not prime. Res64: 3EB5F74B51EC9A8A Time : 0.0 sec. user=mdettweiler [2015-12-16 17:22:10] 975*2^1417599-1 is not prime. Res64: 824D97063FA30D95 Time : 0.0 sec. user=mdettweiler [2015-12-16 17:34:05] 747*2^1417600-1 is not prime. Res64: 113572BA2A1D9D91 Time : 0.0 sec. user=mdettweiler [2015-12-16 17:34:06] 857*2^1417600-1 is not prime. Res64: 1B60B7EFE50B77BA Time : 0.0 sec. user=mdettweiler [2015-12-16 17:39:38] 873*2^1417600-1 is not prime. Res64: E9424D5902F48BE8 Time : 0.0 sec. user=mdettweiler [2015-12-16 17:39:38] 897*2^1417600-1 is not prime. Res64: 93DA3009C8C14742 Time : 0.0 sec. user=mdettweiler [2015-12-16 17:51:32] 975*2^1417600-1 is not prime. Res64: 48C44F2F42A734C7 Time : 0.0 sec. user=mdettweiler [2015-12-16 17:51:32] 989*2^1417600-1 is not prime. Res64: D480F808B114012A Time : 0.0 sec. user=mdettweiler [2015-12-16 17:57:04] 705*2^1417601-1 is not prime. Res64: 5871213C0653C5B1 Time : 0.0 sec. user=mdettweiler [2015-12-16 17:57:04] 741*2^1417601-1 is not prime. Res64: B3CD1684605C5387 Time : 0.0 sec. user=mdettweiler [2015-12-16 18:09:00] 951*2^1417601-1 is not prime. Res64: 79591D8DE57C700D Time : 0.0 sec. user=mdettweiler [2015-12-16 18:09:00] 955*2^1417601-1 is not prime. Res64: 16D71BA9825319CB Time : 0.0 sec. user=mdettweiler [2015-12-16 18:14:31] 671*2^1417602-1 is not prime. Res64: 68C0E205EC732437 Time : 0.0 sec. user=mdettweiler [2015-12-16 18:14:32] 717*2^1417602-1 is not prime. Res64: 1BF6E8CC172192EE Time : 0.0 sec. user=mdettweiler [2015-12-16 18:26:29] 725*2^1417602-1 is not prime. Res64: DB843C14CD30610D Time : 0.0 sec. user=mdettweiler [2015-12-16 18:26:29] 747*2^1417602-1 is not prime. Res64: 579F8494E38861CA Time : 0.0 sec. user=mdettweiler [2015-12-16 18:31:57] 885*2^1417602-1 is not prime. Res64: 604E5F8890329FC9 Time : 0.0 sec. user=mdettweiler [2015-12-16 18:31:58] 941*2^1417602-1 is not prime. Res64: BC1E5C8C7B6C0FBA Time : 0.0 sec. user=mdettweiler [2015-12-16 18:43:55] 685*2^1417603-1 is not prime. Res64: 9B16982CB55C5E74 Time : 0.0 sec. user=mdettweiler [2015-12-16 18:43:56] 723*2^1417603-1 is not prime. Res64: 410D60E9545FF953 Time : 0.0 sec. user=mdettweiler [2015-12-16 18:49:23] 793*2^1417603-1 is not prime. Res64: 38AED8D03ADF8415 Time : 0.0 sec. user=mdettweiler [2015-12-16 18:49:23] 901*2^1417603-1 is not prime. Res64: D1399B199B74CC37 Time : 0.0 sec. user=mdettweiler [2015-12-16 19:01:22] 961*2^1417603-1 is not prime. Res64: F64E5A575AFB46EC Time : 0.0 sec. user=mdettweiler [2015-12-16 19:01:23] 803*2^1417604-1 is not prime. Res64: 203537179275C9AC Time : 0.0 sec. user=mdettweiler [2015-12-16 19:06:50] 903*2^1417604-1 is not prime. Res64: 7B3C2BD3A96C4F39 Time : 0.0 sec. user=mdettweiler [2015-12-16 19:06:50] 953*2^1417604-1 is not prime. Res64: 60B96064BB373C08 Time : 0.0 sec. user=mdettweiler [2015-12-16 19:18:57] 649*2^1417605-1 is not prime. Res64: 79967739B0A4A9B0 Time : 0.0 sec. user=mdettweiler [2015-12-16 19:18:57] 657*2^1417605-1 is not prime. Res64: 5100B08FB7457F38 Time : 0.0 sec. user=mdettweiler [2015-12-16 19:24:17] 877*2^1417605-1 is not prime. Res64: 407B878630686601 Time : 0.0 sec. user=mdettweiler [2015-12-16 19:24:17] 937*2^1417605-1 is not prime. Res64: B1908A3B76B5DC73 Time : 0.0 sec. user=mdettweiler [2015-12-16 19:36:28] 955*2^1417605-1 is not prime. Res64: 6A339682EF360141 Time : 0.0 sec. user=mdettweiler [2015-12-16 19:36:28] 979*2^1417605-1 is not prime. Res64: 39EFA5526554E840 Time : 0.0 sec. user=mdettweiler [2015-12-16 19:41:43] 651*2^1417606-1 is not prime. Res64: 0F2CBC36F24AC273 Time : 0.0 sec. user=mdettweiler [2015-12-16 19:41:43] 813*2^1417606-1 is not prime. Res64: 4DE3FAABC70095FB Time : 0.0 sec. user=mdettweiler [2015-12-16 19:53:53] 825*2^1417606-1 is not prime. Res64: E0F3787598E29E89 Time : 0.0 sec. user=mdettweiler [2015-12-16 19:53:54] 833*2^1417606-1 is not prime. Res64: 42C73E88AA53DFA9 Time : 0.0 sec. user=mdettweiler [2015-12-16 19:59:09] 857*2^1417606-1 is not prime. Res64: DAA680367486233B Time : 0.0 sec. user=mdettweiler [2015-12-16 19:59:09] 911*2^1417606-1 is not prime. Res64: 8C40A901A9D0771C Time : 0.0 sec. user=mdettweiler [2015-12-16 20:11:20] 739*2^1417607-1 is not prime. Res64: 81B3D376E457A512 Time : 0.0 sec. user=mdettweiler [2015-12-16 20:11:20] 813*2^1417607-1 is not prime. Res64: 04291447F673D7C0 Time : 0.0 sec. user=mdettweiler [2015-12-16 20:16:35] 829*2^1417607-1 is not prime. Res64: 5A8F96611D5355E1 Time : 0.0 sec. user=mdettweiler [2015-12-16 20:16:35] 879*2^1417607-1 is not prime. Res64: B82C2096F3BA9D4B Time : 0.0 sec. user=mdettweiler [2015-12-16 20:28:47] 689*2^1417608-1 is not prime. Res64: 5419982BB74BFF69 Time : 0.0 sec. user=mdettweiler [2015-12-16 20:28:48] 699*2^1417608-1 is not prime. Res64: C060A1F2815C209D Time : 0.0 sec. user=mdettweiler [2015-12-16 20:34:01] 735*2^1417608-1 is not prime. Res64: 20C79CC6AED05851 Time : 0.0 sec. user=mdettweiler [2015-12-16 20:34:01] 845*2^1417608-1 is not prime. Res64: 6B94A2DFE0462788 Time : 0.0 sec. user=mdettweiler [2015-12-16 20:46:17] 879*2^1417608-1 is not prime. Res64: 041E102526A1C8C4 Time : 0.0 sec. user=mdettweiler [2015-12-16 20:46:18] 893*2^1417608-1 is not prime. Res64: 62FD22A6F5312665 Time : 0.0 sec. user=mdettweiler [2015-12-16 20:51:27] 609*2^1417609-1 is not prime. Res64: 4D4C3A2B2FF19321 Time : 0.0 sec. user=mdettweiler [2015-12-16 20:51:28] 687*2^1417609-1 is not prime. Res64: BFD531A0CCCF866C Time : 0.0 sec. user=mdettweiler [2015-12-16 21:03:45] 741*2^1417609-1 is not prime. Res64: E3C6E3B44B335761 Time : 0.0 sec. user=mdettweiler [2015-12-16 21:03:46] 861*2^1417609-1 is not prime. Res64: EA75665A6D5475B1 Time : 0.0 sec. user=mdettweiler [2015-12-16 21:08:53] 717*2^1417610-1 is not prime. Res64: 975216E79D667E69 Time : 0.0 sec. user=mdettweiler [2015-12-16 21:08:54] 743*2^1417610-1 is not prime. Res64: 81C581D126BE713F Time : 0.0 sec. user=mdettweiler [2015-12-16 21:21:26] 747*2^1417610-1 is not prime. Res64: 797C7F1E179D6999 Time : 0.0 sec. user=mdettweiler [2015-12-16 21:21:26] 755*2^1417610-1 is not prime. Res64: D1E75BE7CE8C0B1F Time : 0.0 sec. user=mdettweiler [2015-12-16 21:26:23] 843*2^1417610-1 is not prime. Res64: 73323AA208130355 Time : 0.0 sec. user=mdettweiler [2015-12-16 21:26:23] 851*2^1417610-1 is not prime. Res64: 483B27768F9AD0B5 Time : 0.0 sec. user=mdettweiler [2015-12-16 21:38:52] 861*2^1417610-1 is not prime. Res64: F09FC9B230F7C904 Time : 0.0 sec. user=mdettweiler [2015-12-16 21:38:52] 941*2^1417610-1 is not prime. Res64: 66AF58CC095477A9 Time : 0.0 sec. user=mdettweiler [2015-12-16 21:43:49] 951*2^1417610-1 is not prime. Res64: 4B878E75FC9491D6 Time : 0.0 sec. user=mdettweiler [2015-12-16 21:43:49] 685*2^1417611-1 is not prime. Res64: 86FB81F2210FFB7B Time : 0.0 sec. user=mdettweiler [2015-12-16 21:56:18] 775*2^1417611-1 is not prime. Res64: 819473CB3769157C Time : 0.0 sec. user=mdettweiler [2015-12-16 21:56:19] 781*2^1417611-1 is not prime. Res64: 13A1A0FA6B60D2ED Time : 0.0 sec. user=mdettweiler [2015-12-16 22:01:16] 783*2^1417611-1 is not prime. Res64: 7ACD36EF32C14CFE Time : 0.0 sec. user=mdettweiler [2015-12-16 22:01:17] 795*2^1417611-1 is not prime. Res64: 8948259D4669064F Time : 0.0 sec. user=mdettweiler [2015-12-16 22:13:44] 823*2^1417611-1 is not prime. Res64: DE1F4DEC15FCBD8E Time : 0.0 sec. user=mdettweiler [2015-12-16 22:13:45] 849*2^1417611-1 is not prime. Res64: BA7669B9B06ED88D Time : 0.0 sec. user=mdettweiler [2015-12-16 22:18:44] 677*2^1417612-1 is not prime. Res64: C16D5F91CF6C3AE8 Time : 0.0 sec. user=mdettweiler [2015-12-16 22:18:44] 803*2^1417612-1 is not prime. Res64: 68D4AAFF82F7145D Time : 0.0 sec. user=mdettweiler [2015-12-16 22:31:11] 989*2^1417612-1 is not prime. Res64: B1692300C9EBAFBE Time : 0.0 sec. user=mdettweiler [2015-12-16 22:31:11] 759*2^1417613-1 is not prime. Res64: E5D152CCE1C98B32 Time : 0.0 sec. user=mdettweiler [2015-12-16 22:36:10] 805*2^1417613-1 is not prime. Res64: A842BF8D9A33BE58 Time : 0.0 sec. user=mdettweiler [2015-12-16 22:36:10] 811*2^1417613-1 is not prime. Res64: 396650E7C1F4268F Time : 0.0 sec. user=mdettweiler [2015-12-16 22:48:37] 831*2^1417613-1 is not prime. Res64: 7BD453D56E306CD7 Time : 0.0 sec. user=mdettweiler [2015-12-16 22:48:37] 879*2^1417613-1 is not prime. Res64: 885B26C4D7993D1C Time : 0.0 sec. user=mdettweiler [2015-12-16 22:53:36] 969*2^1417613-1 is not prime. Res64: 6ACF574009380B78 Time : 0.0 sec. user=mdettweiler [2015-12-16 22:53:36] 987*2^1417613-1 is not prime. Res64: 82582A244EF157B7 Time : 0.0 sec. user=mdettweiler [2015-12-16 23:06:03] 611*2^1417614-1 is not prime. Res64: 3BE6A973BA455BE2 Time : 0.0 sec. user=mdettweiler [2015-12-16 23:06:04] 765*2^1417614-1 is not prime. Res64: D4F53148819CC5EE Time : 0.0 sec. user=mdettweiler [2015-12-16 23:11:02] 815*2^1417614-1 is not prime. Res64: E4C11FC156DB3D51 Time : 0.0 sec. user=mdettweiler [2015-12-16 23:11:02] 861*2^1417614-1 is not prime. Res64: 4891FDB850DF4F9F Time : 0.0 sec. user=mdettweiler [2015-12-16 23:23:52] 927*2^1417614-1 is not prime. Res64: 80098DD2BE3E3B1E Time : 0.0 sec. user=mdettweiler [2015-12-16 23:23:52] 1001*2^1417614-1 is not prime. Res64: CE8920E43A39A6D9 Time : 0.0 sec. user=mdettweiler [2015-12-16 23:28:29] 675*2^1417615-1 is not prime. Res64: 595FADAA63E4A61B Time : 0.0 sec. user=mdettweiler [2015-12-16 23:28:29] 841*2^1417615-1 is not prime. Res64: 9EC864568637610D Time : 0.0 sec. user=mdettweiler [2015-12-16 23:41:18] 843*2^1417615-1 is not prime. Res64: 9D3B5A82FDB18C8A Time : 0.0 sec. user=mdettweiler [2015-12-16 23:41:18] 855*2^1417615-1 is not prime. Res64: CE8A3C28B1C66706 Time : 0.0 sec. user=mdettweiler [2015-12-16 23:45:54] 859*2^1417615-1 is not prime. Res64: E3958FD4BCBC2E99 Time : 0.0 sec. user=mdettweiler [2015-12-16 23:45:54] 919*2^1417615-1 is not prime. Res64: 31763589767481FD Time : 0.0 sec. user=mdettweiler [2015-12-16 23:58:44] 603*2^1417616-1 is not prime. Res64: 5A5C5F24FC69DA02 Time : 0.0 sec. user=mdettweiler [2015-12-16 23:58:44] 615*2^1417616-1 is not prime. Res64: 5B1EF4FF2EB19CA2 Time : 0.0 sec.