user=mdettweiler [2016-04-11 00:05:20] 705*2^1425865-1 is not prime. Res64: B16E76400E0E7988 Time : 0.0 sec. user=mdettweiler [2016-04-11 00:05:21] 751*2^1425865-1 is not prime. Res64: CC890AD0AC3EF1D5 Time : 0.0 sec. user=mdettweiler [2016-04-11 00:05:22] 801*2^1425865-1 is not prime. Res64: 8CE89203531CEEF6 Time : 0.0 sec. user=mdettweiler [2016-04-11 00:05:23] 877*2^1425865-1 is not prime. Res64: DF1C427640F8C30E Time : 0.0 sec. user=mdettweiler [2016-04-11 00:05:24] 975*2^1425865-1 is not prime. Res64: 7A0D111117E61873 Time : 0.0 sec. user=mdettweiler [2016-04-11 00:12:59] 997*2^1425865-1 is not prime. Res64: 11A7B56A10028043 Time : 0.0 sec. user=mdettweiler [2016-04-11 00:13:00] 617*2^1425866-1 is not prime. Res64: DAEAE421F1D5C679 Time : 0.0 sec. user=mdettweiler [2016-04-11 00:13:00] 645*2^1425866-1 is not prime. Res64: 3C15699341B1305F Time : 0.0 sec. user=mdettweiler [2016-04-11 00:13:00] 705*2^1425866-1 is not prime. Res64: C0CFB8A0E6C50AF9 Time : 0.0 sec. user=mdettweiler [2016-04-11 00:13:00] 717*2^1425866-1 is not prime. Res64: C810C100D50F6FF3 Time : 0.0 sec. user=mdettweiler [2016-04-11 00:18:21] 773*2^1425866-1 is not prime. Res64: 6663D9E7B0054AD6 Time : 0.0 sec. user=mdettweiler [2016-04-11 00:18:22] 893*2^1425866-1 is not prime. Res64: 3AAB4C96B10416AB Time : 0.0 sec. user=mdettweiler [2016-04-11 00:18:23] 741*2^1425867-1 is not prime. Res64: 4A572DF3884D2722 Time : 0.0 sec. user=mdettweiler [2016-04-11 00:18:23] 859*2^1425867-1 is not prime. Res64: A2960751A082BE59 Time : 0.0 sec. user=mdettweiler [2016-04-11 00:18:24] 909*2^1425867-1 is not prime. Res64: 0BF34C455895E6CA Time : 0.0 sec. user=mdettweiler [2016-04-11 00:18:53] 945*2^1425867-1 is not prime. Res64: 0E72E230E97E7CCA Time : 0.0 sec. user=mdettweiler [2016-04-11 00:18:54] 615*2^1425868-1 is not prime. Res64: 35A38A7411777C1C Time : 0.0 sec. user=mdettweiler [2016-04-11 00:18:54] 743*2^1425868-1 is not prime. Res64: 734FA11CF0C5E6D9 Time : 0.0 sec. user=mdettweiler [2016-04-11 00:18:55] 869*2^1425868-1 is not prime. Res64: 812361B46A21E9AF Time : 0.0 sec. user=mdettweiler [2016-04-11 00:18:56] 899*2^1425868-1 is not prime. Res64: C5D29B8814CABAE6 Time : 0.0 sec. user=mdettweiler [2016-04-11 00:50:50] 631*2^1425869-1 is not prime. Res64: B29BE996D4B79C8E Time : 0.0 sec. user=mdettweiler [2016-04-11 00:50:50] 699*2^1425869-1 is not prime. Res64: 263E7B92AEA6746B Time : 0.0 sec. user=mdettweiler [2016-04-11 00:50:50] 735*2^1425869-1 is not prime. Res64: CB112BC0B6278FDA Time : 0.0 sec. user=mdettweiler [2016-04-11 00:50:50] 847*2^1425869-1 is not prime. Res64: EB87543AEA87AB31 Time : 0.0 sec. user=mdettweiler [2016-04-11 00:50:51] 931*2^1425869-1 is not prime. Res64: 26650C45408748BF Time : 0.0 sec. user=mdettweiler [2016-04-11 00:58:16] 627*2^1425870-1 is not prime. Res64: FA729C210E6E1BF2 Time : 0.0 sec. user=mdettweiler [2016-04-11 00:58:16] 713*2^1425870-1 is not prime. Res64: ADFE40BF1A7CFFED Time : 0.0 sec. user=mdettweiler [2016-04-11 00:58:17] 773*2^1425870-1 is not prime. Res64: 2B7E330789AEDF81 Time : 0.0 sec. user=mdettweiler [2016-04-11 00:58:17] 861*2^1425870-1 is not prime. Res64: C388C0B0634130A2 Time : 0.0 sec. user=mdettweiler [2016-04-11 00:58:17] 867*2^1425870-1 is not prime. Res64: D4026A6357D451DA Time : 0.0 sec. user=mdettweiler [2016-04-11 01:03:46] 873*2^1425870-1 is not prime. Res64: 814B6A8DF65EC542 Time : 0.0 sec. user=mdettweiler [2016-04-11 01:03:48] 945*2^1425870-1 is not prime. Res64: 54BAD436D17363D0 Time : 0.0 sec. user=mdettweiler [2016-04-11 01:03:50] 971*2^1425870-1 is not prime. Res64: 41630E1E733B6F9D Time : 0.0 sec. user=mdettweiler [2016-04-11 01:03:51] 601*2^1425871-1 is not prime. Res64: B10F5D06E118E72E Time : 0.0 sec. user=mdettweiler [2016-04-11 01:03:52] 625*2^1425871-1 is not prime. Res64: 9E85E6F5B8ECB87F Time : 0.0 sec. user=mdettweiler [2016-04-11 01:04:05] 673*2^1425871-1 is not prime. Res64: BFE61AE2954C61D5 Time : 0.0 sec. user=mdettweiler [2016-04-11 01:04:06] 693*2^1425871-1 is not prime. Res64: 0C8620F184CF93AE Time : 0.0 sec. user=mdettweiler [2016-04-11 01:04:08] 715*2^1425871-1 is not prime. Res64: 51499AE651F420CF Time : 0.0 sec. user=mdettweiler [2016-04-11 01:04:10] 735*2^1425871-1 is not prime. Res64: 636D4BAC652CE1C3 Time : 0.0 sec. user=mdettweiler [2016-04-11 01:04:10] 745*2^1425871-1 is not prime. Res64: 304AD27503C44971 Time : 0.0 sec. user=mdettweiler [2016-04-11 01:35:55] 763*2^1425871-1 is not prime. Res64: 3FB3A569C56641A7 Time : 0.0 sec. user=mdettweiler [2016-04-11 01:35:55] 885*2^1425871-1 is not prime. Res64: FA5AF782B2A4F4BA Time : 0.0 sec. user=mdettweiler [2016-04-11 01:35:55] 925*2^1425871-1 is not prime. Res64: EC5E8A16ABF8A593 Time : 0.0 sec. user=mdettweiler [2016-04-11 01:35:56] 951*2^1425871-1 is not prime. Res64: 89D642924661CB4E Time : 0.0 sec. user=mdettweiler [2016-04-11 01:35:56] 993*2^1425871-1 is not prime. Res64: 817FD9C691614BB1 Time : 0.0 sec. user=mdettweiler [2016-04-11 01:43:42] 999*2^1425871-1 is not prime. Res64: 42F886399C93AE3D Time : 0.0 sec. user=mdettweiler [2016-04-11 01:43:43] 725*2^1425872-1 is not prime. Res64: 2842DFF8F788D2DB Time : 0.0 sec. user=mdettweiler [2016-04-11 01:43:43] 735*2^1425872-1 is not prime. Res64: 52F4D708FCB311A9 Time : 0.0 sec. user=mdettweiler [2016-04-11 01:43:44] 777*2^1425872-1 is not prime. Res64: 1B3EC8AD59CF1988 Time : 0.0 sec. user=mdettweiler [2016-04-11 01:43:45] 903*2^1425872-1 is not prime. Res64: 7457D785BF1BBF8A Time : 0.0 sec. user=mdettweiler [2016-04-11 01:49:24] 731*2^1425874-1 is not prime. Res64: 9631BE8252B828AC Time : 0.0 sec. user=mdettweiler [2016-04-11 01:49:25] 815*2^1425874-1 is not prime. Res64: 7497DFD857853752 Time : 0.0 sec. user=mdettweiler [2016-04-11 01:49:25] 855*2^1425874-1 is not prime. Res64: 2615AA6E8C8878DF Time : 0.0 sec. user=mdettweiler [2016-04-11 01:49:25] 887*2^1425874-1 is not prime. Res64: EB8B088CCE050FF7 Time : 0.0 sec. user=mdettweiler [2016-04-11 01:49:25] 917*2^1425874-1 is not prime. Res64: 6D22D395A87E594D Time : 0.0 sec. user=mdettweiler [2016-04-11 01:49:37] 983*2^1425872-1 is not prime. Res64: 8E2765EE493F9727 Time : 0.0 sec. user=mdettweiler [2016-04-11 01:49:37] 739*2^1425873-1 is not prime. Res64: 2DC009B80B919849 Time : 0.0 sec. user=mdettweiler [2016-04-11 01:49:37] 781*2^1425873-1 is not prime. Res64: FD69026694DB366F Time : 0.0 sec. user=mdettweiler [2016-04-11 01:49:37] 621*2^1425874-1 is not prime. Res64: 5FE3C72D7CDBCA12 Time : 0.0 sec. user=mdettweiler [2016-04-11 01:49:38] 665*2^1425874-1 is not prime. Res64: 7EB4986DDEFC8E3B Time : 0.0 sec. user=mdettweiler [2016-04-11 02:21:12] 693*2^1425875-1 is not prime. Res64: B7862A4728178065 Time : 0.0 sec. user=mdettweiler [2016-04-11 02:21:13] 699*2^1425875-1 is not prime. Res64: AF766796EB14616E Time : 0.0 sec. user=mdettweiler [2016-04-11 02:21:13] 733*2^1425875-1 is not prime. Res64: 596D175F456CEFA5 Time : 0.0 sec. user=mdettweiler [2016-04-11 02:21:13] 741*2^1425875-1 is not prime. Res64: 7217A418C663823D Time : 0.0 sec. user=mdettweiler [2016-04-11 02:21:14] 753*2^1425875-1 is not prime. Res64: FC677A7AA362158C Time : 0.0 sec. user=mdettweiler [2016-04-11 02:28:51] 799*2^1425875-1 is not prime. Res64: 9AA6CE896F31F03F Time : 0.0 sec. user=mdettweiler [2016-04-11 02:28:51] 963*2^1425875-1 is not prime. Res64: C3B198FF41AAB829 Time : 0.0 sec. user=mdettweiler [2016-04-11 02:28:52] 689*2^1425876-1 is not prime. Res64: E7689AB2F41140F7 Time : 0.0 sec. user=mdettweiler [2016-04-11 02:28:52] 699*2^1425876-1 is not prime. Res64: 5AD267A63FB47DBD Time : 0.0 sec. user=mdettweiler [2016-04-11 02:28:52] 705*2^1425876-1 is not prime. Res64: CA327012D2812F20 Time : 0.0 sec. user=mdettweiler [2016-04-11 02:34:34] 749*2^1425876-1 is not prime. Res64: E129F36D5CB6D09D Time : 0.0 sec. user=mdettweiler [2016-04-11 02:34:35] 873*2^1425876-1 is not prime. Res64: BC7AD93DEE3B6290 Time : 0.0 sec. user=mdettweiler [2016-04-11 02:34:36] 879*2^1425876-1 is not prime. Res64: B82B46023B96DC22 Time : 0.0 sec. user=mdettweiler [2016-04-11 02:34:36] 905*2^1425876-1 is not prime. Res64: 89D9502FED281822 Time : 0.0 sec. user=mdettweiler [2016-04-11 02:34:36] 969*2^1425876-1 is not prime. Res64: 5470334F81A124F7 Time : 0.0 sec. user=mdettweiler [2016-04-11 02:34:44] 993*2^1425876-1 is not prime. Res64: 2E7BA1EDBD6E9EBA Time : 0.0 sec. user=mdettweiler [2016-04-11 02:34:45] 685*2^1425877-1 is not prime. Res64: 263AEFD0BB2E663C Time : 0.0 sec. user=mdettweiler [2016-04-11 02:34:45] 799*2^1425877-1 is not prime. Res64: 9240FD2DB6FB9CAF Time : 0.0 sec. user=mdettweiler [2016-04-11 02:34:45] 859*2^1425877-1 is not prime. Res64: BC59E7BF318BA43D Time : 0.0 sec. user=mdettweiler [2016-04-11 02:34:46] 871*2^1425877-1 is not prime. Res64: 45D3C3E8E442674C Time : 0.0 sec. user=mdettweiler [2016-04-11 03:06:24] 623*2^1425878-1 is not prime. Res64: 01D0DACB0C8FB92B Time : 0.0 sec. user=mdettweiler [2016-04-11 03:06:25] 627*2^1425878-1 is not prime. Res64: BA7C6F52CB6344F3 Time : 0.0 sec. user=mdettweiler [2016-04-11 03:06:26] 665*2^1425878-1 is not prime. Res64: B38CEA9D8E7EAD21 Time : 0.0 sec. user=mdettweiler [2016-04-11 03:06:26] 687*2^1425878-1 is not prime. Res64: 2A3532CD80866526 Time : 0.0 sec. user=mdettweiler [2016-04-11 03:06:27] 753*2^1425878-1 is not prime. Res64: 5A75A2D3422EC8F2 Time : 0.0 sec. user=mdettweiler [2016-04-11 03:14:18] 801*2^1425878-1 is not prime. Res64: 71F6F3526C25EF87 Time : 0.0 sec. user=mdettweiler [2016-04-11 03:14:18] 887*2^1425878-1 is not prime. Res64: C5DFC8CE33F3366F Time : 0.0 sec. user=mdettweiler [2016-04-11 03:14:18] 911*2^1425878-1 is not prime. Res64: 757D6D98A6F91FBA Time : 0.0 sec. user=mdettweiler [2016-04-11 03:14:19] 945*2^1425878-1 is not prime. Res64: 6FBD6604622B16AE Time : 0.0 sec. user=mdettweiler [2016-04-11 03:14:19] 957*2^1425878-1 is not prime. Res64: 5CCAB63EE580F387 Time : 0.0 sec. user=mdettweiler [2016-04-11 03:19:38] 691*2^1425879-1 is not prime. Res64: B74EEDEC8D512A69 Time : 0.0 sec. user=mdettweiler [2016-04-11 03:19:40] 865*2^1425879-1 is not prime. Res64: 754D00F29C8112BF Time : 0.0 sec. user=mdettweiler [2016-04-11 03:19:40] 803*2^1425880-1 is not prime. Res64: 0A0CE478BF610E31 Time : 0.0 sec. user=mdettweiler [2016-04-11 03:19:41] 827*2^1425880-1 is not prime. Res64: E9548920432BC73F Time : 0.0 sec. user=mdettweiler [2016-04-11 03:19:42] 875*2^1425880-1 is not prime. Res64: 649FA753F5BE31D7 Time : 0.0 sec. user=mdettweiler [2016-04-11 03:20:00] 905*2^1425880-1 is not prime. Res64: ED628FA4F06E6CB8 Time : 0.0 sec. user=mdettweiler [2016-04-11 03:20:00] 927*2^1425880-1 is not prime. Res64: A5EF235C1EF814F7 Time : 0.0 sec. user=mdettweiler [2016-04-11 03:20:01] 957*2^1425880-1 is not prime. Res64: 05525E646D3817A9 Time : 0.0 sec. user=mdettweiler [2016-04-11 03:20:01] 965*2^1425880-1 is not prime. Res64: FC28635C926B9C44 Time : 0.0 sec. user=mdettweiler [2016-04-11 03:20:01] 989*2^1425880-1 is not prime. Res64: C26C0A437115E41C Time : 0.0 sec. user=mdettweiler [2016-04-11 03:51:31] 657*2^1425881-1 is not prime. Res64: 0391D777A1A6F124 Time : 0.0 sec. user=mdettweiler [2016-04-11 03:51:32] 811*2^1425881-1 is not prime. Res64: F855E27AAF044C86 Time : 0.0 sec. user=mdettweiler [2016-04-11 03:51:33] 885*2^1425881-1 is not prime. Res64: 04247C4F175049F0 Time : 0.0 sec. user=mdettweiler [2016-04-11 03:51:34] 901*2^1425881-1 is not prime. Res64: 47A136DCB7D8FFC3 Time : 0.0 sec. user=mdettweiler [2016-04-11 03:51:35] 647*2^1425882-1 is not prime. Res64: 74E23C562B9258F0 Time : 0.0 sec. user=mdettweiler [2016-04-11 03:59:29] 803*2^1425882-1 is not prime. Res64: 7E74686BB1FD552C Time : 0.0 sec. user=mdettweiler [2016-04-11 03:59:29] 873*2^1425882-1 is not prime. Res64: 2D436CDFDEB1E233 Time : 0.0 sec. user=mdettweiler [2016-04-11 03:59:29] 977*2^1425882-1 is not prime. Res64: 2ABEDD6E8A5F0F63 Time : 0.0 sec. user=mdettweiler [2016-04-11 03:59:29] 685*2^1425883-1 is not prime. Res64: E9CF069697C1ECAC Time : 0.0 sec. user=mdettweiler [2016-04-11 03:59:30] 771*2^1425883-1 is not prime. Res64: 801BAD2C6EAA1AC4 Time : 0.0 sec. user=mdettweiler [2016-04-11 04:04:42] 871*2^1425883-1 is not prime. Res64: 052CB623CC1DDAA7 Time : 0.0 sec. user=mdettweiler [2016-04-11 04:04:44] 895*2^1425883-1 is not prime. Res64: DE15A2CEAD2E0ECC Time : 0.0 sec. user=mdettweiler [2016-04-11 04:04:45] 945*2^1425883-1 is not prime. Res64: A1132BEC89E85142 Time : 0.0 sec. user=mdettweiler [2016-04-11 04:04:46] 985*2^1425883-1 is not prime. Res64: 7CA993FDA36EEDEB Time : 0.0 sec. user=mdettweiler [2016-04-11 04:04:47] 659*2^1425884-1 is not prime. Res64: DDBD594DA080F5CB Time : 0.0 sec. user=mdettweiler [2016-04-11 04:05:13] 803*2^1425884-1 is not prime. Res64: 119B9050A41E8841 Time : 0.0 sec. user=mdettweiler [2016-04-11 04:05:14] 897*2^1425884-1 is not prime. Res64: 732C9A888A7EB554 Time : 0.0 sec. user=mdettweiler [2016-04-11 04:05:14] 903*2^1425884-1 is not prime. Res64: 5FE2DE16D804578F Time : 0.0 sec. user=mdettweiler [2016-04-11 04:05:15] 699*2^1425885-1 is not prime. Res64: 92FF26AE077E3F15 Time : 0.0 sec. user=mdettweiler [2016-04-11 04:05:15] 709*2^1425885-1 is not prime. Res64: 6A6618F4B0E95B91 Time : 0.0 sec. user=mdettweiler [2016-04-11 04:36:46] 759*2^1425885-1 is not prime. Res64: 654BF1D2D914D3DB Time : 0.0 sec. user=mdettweiler [2016-04-11 04:36:46] 837*2^1425885-1 is not prime. Res64: FDC2202D403FBA51 Time : 0.0 sec. user=mdettweiler [2016-04-11 04:36:46] 849*2^1425885-1 is not prime. Res64: 388DCDB8FBABCDF0 Time : 0.0 sec. user=mdettweiler [2016-04-11 04:36:46] 861*2^1425885-1 is not prime. Res64: 27699167E811A891 Time : 0.0 sec. user=mdettweiler [2016-04-11 04:36:47] 867*2^1425885-1 is not prime. Res64: 14CC2E71517C5BD3 Time : 0.0 sec. user=mdettweiler [2016-04-11 04:44:42] 999*2^1425885-1 is not prime. Res64: 7E4194DF1ED9384A Time : 0.0 sec. user=mdettweiler [2016-04-11 04:44:43] 705*2^1425886-1 is not prime. Res64: 6E81C6E5B8482F53 Time : 0.0 sec. user=mdettweiler [2016-04-11 04:44:43] 741*2^1425886-1 is not prime. Res64: 83136EBEED372F57 Time : 0.0 sec. user=mdettweiler [2016-04-11 04:44:43] 813*2^1425886-1 is not prime. Res64: 753E37B9AECCFD51 Time : 0.0 sec. user=mdettweiler [2016-04-11 04:44:43] 911*2^1425886-1 is not prime. Res64: 26ECB74F23D38E41 Time : 0.0 sec. user=mdettweiler [2016-04-11 04:50:02] 923*2^1425886-1 is not prime. Res64: C984C127C04186A2 Time : 0.0 sec. user=mdettweiler [2016-04-11 04:50:02] 957*2^1425886-1 is not prime. Res64: 963FAF2BFBBDD4A5 Time : 0.0 sec. user=mdettweiler [2016-04-11 04:50:03] 643*2^1425887-1 is not prime. Res64: 127E7F18C47F3AE8 Time : 0.0 sec. user=mdettweiler [2016-04-11 04:50:03] 813*2^1425887-1 is not prime. Res64: 423B23C8466A26D8 Time : 0.0 sec. user=mdettweiler [2016-04-11 04:50:03] 797*2^1425888-1 is not prime. Res64: CB15B2840C830CD0 Time : 0.0 sec. user=mdettweiler [2016-04-11 04:50:31] 887*2^1425888-1 is not prime. Res64: F703054E81F95B28 Time : 0.0 sec. user=mdettweiler [2016-04-11 04:50:31] 625*2^1425889-1 is not prime. Res64: BCA4D615FF530858 Time : 0.0 sec. user=mdettweiler [2016-04-11 04:50:32] 667*2^1425889-1 is not prime. Res64: 7BA13FC9B936C071 Time : 0.0 sec. user=mdettweiler [2016-04-11 04:50:32] 705*2^1425889-1 is not prime. Res64: CB948D80F9F2BBA1 Time : 0.0 sec. user=mdettweiler [2016-04-11 04:50:32] 885*2^1425889-1 is not prime. Res64: 84C2867A1F6D866C Time : 0.0 sec. user=mdettweiler [2016-04-11 05:22:24] 623*2^1425890-1 is not prime. Res64: 844F9C0829EFB4ED Time : 0.0 sec. user=mdettweiler [2016-04-11 05:22:24] 677*2^1425890-1 is not prime. Res64: 4F9C7F5EAF19F247 Time : 0.0 sec. user=mdettweiler [2016-04-11 05:22:25] 857*2^1425890-1 is not prime. Res64: B88224249254D156 Time : 0.0 sec. user=mdettweiler [2016-04-11 05:22:25] 861*2^1425890-1 is not prime. Res64: 8A32D04DD242E77B Time : 0.0 sec. user=mdettweiler [2016-04-11 05:22:25] 875*2^1425890-1 is not prime. Res64: 1504E2A28D312186 Time : 0.0 sec. user=mdettweiler [2016-04-11 05:30:33] 921*2^1425890-1 is not prime. Res64: 48BFF3DAE3B6C324 Time : 0.0 sec. user=mdettweiler [2016-04-11 05:30:33] 927*2^1425890-1 is not prime. Res64: 592F19D97DC5BF97 Time : 0.0 sec. user=mdettweiler [2016-04-11 05:30:33] 711*2^1425891-1 is not prime. Res64: B976FFDA9125DB2A Time : 0.0 sec. user=mdettweiler [2016-04-11 05:30:34] 735*2^1425891-1 is not prime. Res64: 66616026436E538A Time : 0.0 sec. user=mdettweiler [2016-04-11 05:30:34] 751*2^1425891-1 is not prime. Res64: 62B7C6C32BE80436 Time : 0.0 sec. user=mdettweiler [2016-04-11 05:35:58] 945*2^1425891-1 is not prime. Res64: 1CB5DB19B106A04C Time : 0.0 sec. user=mdettweiler [2016-04-11 05:35:58] 615*2^1425892-1 is not prime. Res64: AD077C9D84673589 Time : 0.0 sec. user=mdettweiler [2016-04-11 05:35:59] 687*2^1425892-1 is not prime. Res64: F1F0DEE8894304E1 Time : 0.0 sec. user=mdettweiler [2016-04-11 05:35:59] 693*2^1425892-1 is not prime. Res64: 14FB500B2062D68B Time : 0.0 sec. user=mdettweiler [2016-04-11 05:35:59] 797*2^1425892-1 is not prime. Res64: A98F7C2FE71E4158 Time : 0.0 sec. user=mdettweiler [2016-04-11 05:37:00] 933*2^1425892-1 is not prime. Res64: 8D8FD2312819EF76 Time : 0.0 sec. user=mdettweiler [2016-04-11 05:37:01] 615*2^1425893-1 is not prime. Res64: A9F65BE6110663D8 Time : 0.0 sec. user=mdettweiler [2016-04-11 05:37:01] 657*2^1425893-1 is not prime. Res64: 386493C2DC803FC0 Time : 0.0 sec. user=mdettweiler [2016-04-11 05:37:01] 715*2^1425893-1 is not prime. Res64: 9C538122ED7A6E15 Time : 0.0 sec. user=mdettweiler [2016-04-11 05:37:01] 727*2^1425893-1 is not prime. Res64: 17E3AD53264CF3A2 Time : 0.0 sec. user=mdettweiler [2016-04-11 06:07:21] 837*2^1425893-1 is not prime. Res64: 25DFA45C72D9E883 Time : 0.0 sec. user=mdettweiler [2016-04-11 06:07:21] 937*2^1425893-1 is not prime. Res64: 5D17FC6A92981FCE Time : 0.0 sec. user=mdettweiler [2016-04-11 06:07:22] 985*2^1425893-1 is not prime. Res64: 2B48A67E5E92D876 Time : 0.0 sec. user=mdettweiler [2016-04-11 06:07:22] 621*2^1425894-1 is not prime. Res64: 344A5E042633ADA9 Time : 0.0 sec. user=mdettweiler [2016-04-11 06:07:22] 663*2^1425894-1 is not prime. Res64: 7F152B58FA48D8BF Time : 0.0 sec. user=mdettweiler [2016-04-11 06:15:39] 693*2^1425894-1 is not prime. Res64: 65C473E7AC5FD32A Time : 0.0 sec. user=mdettweiler [2016-04-11 06:15:39] 783*2^1425894-1 is not prime. Res64: 22DAB87B93C3324D Time : 0.0 sec. user=mdettweiler [2016-04-11 06:15:39] 807*2^1425894-1 is not prime. Res64: 3745D0CA46AE5D99 Time : 0.0 sec. user=mdettweiler [2016-04-11 06:15:39] 685*2^1425895-1 is not prime. Res64: 975508F9F7E1DC3A Time : 0.0 sec. user=mdettweiler [2016-04-11 06:15:40] 759*2^1425895-1 is not prime. Res64: 65BDEA86931132E0 Time : 0.0 sec. user=mdettweiler [2016-04-11 06:21:20] 859*2^1425895-1 is not prime. Res64: 59365ADB0F58E5DC Time : 0.0 sec. user=mdettweiler [2016-04-11 06:21:21] 979*2^1425895-1 is not prime. Res64: 3162EE30FF0BD67C Time : 0.0 sec. user=mdettweiler [2016-04-11 06:21:21] 657*2^1425896-1 is not prime. Res64: CF263E43C8CB19D2 Time : 0.0 sec. user=mdettweiler [2016-04-11 06:21:21] 675*2^1425896-1 is not prime. Res64: 18CC170E0868C0DD Time : 0.0 sec. user=mdettweiler [2016-04-11 06:21:22] 875*2^1425896-1 is not prime. Res64: B4B845045A8D48DA Time : 0.0 sec. user=mdettweiler [2016-04-11 06:22:17] 935*2^1425896-1 is not prime. Res64: 6BB5BE24E6B7493F Time : 0.0 sec. user=mdettweiler [2016-04-11 06:22:18] 957*2^1425896-1 is not prime. Res64: 2CBEAD119F148804 Time : 0.0 sec. user=mdettweiler [2016-04-11 06:22:18] 963*2^1425896-1 is not prime. Res64: BE01D2C7F532662E Time : 0.0 sec. user=mdettweiler [2016-04-11 06:22:18] 807*2^1425897-1 is not prime. Res64: 0CC2C0EDAB5B22CF Time : 0.0 sec. user=mdettweiler [2016-04-11 06:22:18] 603*2^1425898-1 is not prime. Res64: F52C9D9994BE8940 Time : 0.0 sec. user=mdettweiler [2016-04-11 06:52:29] 713*2^1425898-1 is not prime. Res64: 42D25DF4B8172ED2 Time : 0.0 sec. user=mdettweiler [2016-04-11 06:52:29] 755*2^1425898-1 is not prime. Res64: 9E31D6243900EADA Time : 0.0 sec. user=mdettweiler [2016-04-11 06:52:29] 765*2^1425898-1 is not prime. Res64: 0A94D045388A679B Time : 0.0 sec. user=mdettweiler [2016-04-11 06:52:29] 777*2^1425898-1 is not prime. Res64: 207EAF29853F79F3 Time : 0.0 sec. user=mdettweiler [2016-04-11 06:52:30] 843*2^1425898-1 is not prime. Res64: 7EBDC5E7ABF36611 Time : 0.0 sec. user=mdettweiler [2016-04-11 07:00:51] 887*2^1425898-1 is not prime. Res64: 7DF2D6235C4DAA67 Time : 0.0 sec. user=mdettweiler [2016-04-11 07:00:52] 911*2^1425898-1 is not prime. Res64: 39D42777B4DCD000 Time : 0.0 sec. user=mdettweiler [2016-04-11 07:00:52] 945*2^1425898-1 is not prime. Res64: 3EEBBAAAA03CBFCE Time : 0.0 sec. user=mdettweiler [2016-04-11 07:00:53] 633*2^1425899-1 is not prime. Res64: FF0A364AD4B3B410 Time : 0.0 sec. user=mdettweiler [2016-04-11 07:00:53] 675*2^1425899-1 is not prime. Res64: 229293EE4A18EBE6 Time : 0.0 sec. user=mdettweiler [2016-04-11 07:06:28] 775*2^1425899-1 is not prime. Res64: 244FA89C521EEB28 Time : 0.0 sec. user=mdettweiler [2016-04-11 07:06:28] 885*2^1425899-1 is not prime. Res64: D7CF3A4BE814730C Time : 0.0 sec. user=mdettweiler [2016-04-11 07:06:28] 939*2^1425899-1 is not prime. Res64: CDCB34B1163E8861 Time : 0.0 sec. user=mdettweiler [2016-04-11 07:06:29] 635*2^1425900-1 is not prime. Res64: 0D62F535F64E8EDF Time : 0.0 sec. user=mdettweiler [2016-04-11 07:06:29] 783*2^1425900-1 is not prime. Res64: 34080FC9DCC89B23 Time : 0.0 sec. user=mdettweiler [2016-04-11 07:07:37] 819*2^1425900-1 is not prime. Res64: E61E2FC1CB54FC82 Time : 0.0 sec. user=mdettweiler [2016-04-11 07:07:38] 857*2^1425900-1 is not prime. Res64: 87B11978CDA2BA99 Time : 0.0 sec. user=mdettweiler [2016-04-11 07:07:38] 909*2^1425900-1 is not prime. Res64: DDCD5BA6C34DFFC1 Time : 0.0 sec. user=mdettweiler [2016-04-11 07:07:38] 927*2^1425900-1 is not prime. Res64: 66F2783573B256BB Time : 0.0 sec. user=mdettweiler [2016-04-11 07:07:38] 933*2^1425900-1 is not prime. Res64: 2B2A82C60DAF76F9 Time : 0.0 sec. user=mdettweiler [2016-04-11 07:37:40] 937*2^1425901-1 is not prime. Res64: 77DB713A907ACB6B Time : 0.0 sec. user=mdettweiler [2016-04-11 07:37:41] 987*2^1425901-1 is not prime. Res64: 5C8E5427AD397084 Time : 0.0 sec. user=mdettweiler [2016-04-11 07:37:41] 623*2^1425902-1 is not prime. Res64: E3FF49DD848E7679 Time : 0.0 sec. user=mdettweiler [2016-04-11 07:37:41] 627*2^1425902-1 is not prime. Res64: 476DC112156B589F Time : 0.0 sec. user=mdettweiler [2016-04-11 07:37:41] 843*2^1425902-1 is not prime. Res64: C0CF4036E45469E9 Time : 0.0 sec. user=mdettweiler [2016-04-11 07:46:00] 867*2^1425902-1 is not prime. Res64: 1167CFB361E42124 Time : 0.0 sec. user=mdettweiler [2016-04-11 07:46:00] 893*2^1425902-1 is not prime. Res64: 3C4C361CB10E5A27 Time : 0.0 sec. user=mdettweiler [2016-04-11 07:46:00] 903*2^1425902-1 is not prime. Res64: F60C33824620335C Time : 0.0 sec. user=mdettweiler [2016-04-11 07:46:00] 963*2^1425902-1 is not prime. Res64: 6B764F2B94D7B2FD Time : 0.0 sec. user=mdettweiler [2016-04-11 07:46:01] 977*2^1425902-1 is not prime. Res64: 13866366BD884356 Time : 0.0 sec. user=mdettweiler [2016-04-11 07:51:30] 613*2^1425903-1 is not prime. Res64: D1DB0A5309EFD8BE Time : 0.0 sec. user=mdettweiler [2016-04-11 07:51:31] 639*2^1425903-1 is not prime. Res64: 10E117A1B12B490A Time : 0.0 sec. user=mdettweiler [2016-04-11 07:51:31] 685*2^1425903-1 is not prime. Res64: F0B1EC9AC626425D Time : 0.0 sec. user=mdettweiler [2016-04-11 07:51:31] 691*2^1425903-1 is not prime. Res64: 21CB7CCC71D43829 Time : 0.0 sec. user=mdettweiler [2016-04-11 07:51:31] 721*2^1425903-1 is not prime. Res64: 819F6D4045DFC728 Time : 0.0 sec. user=mdettweiler [2016-04-11 07:52:51] 789*2^1425903-1 is not prime. Res64: 4305E2F85D24D3C9 Time : 0.0 sec. user=mdettweiler [2016-04-11 07:52:51] 819*2^1425903-1 is not prime. Res64: 2486716DC0F6C931 Time : 0.0 sec. user=mdettweiler [2016-04-11 07:52:52] 885*2^1425903-1 is not prime. Res64: 5A879E0102A32260 Time : 0.0 sec. user=mdettweiler [2016-04-11 07:52:52] 921*2^1425903-1 is not prime. Res64: D3C737E8F068EC04 Time : 0.0 sec. user=mdettweiler [2016-04-11 07:52:52] 985*2^1425903-1 is not prime. Res64: 1A16CD5E53B13342 Time : 0.0 sec. user=mdettweiler [2016-04-11 08:22:44] 615*2^1425904-1 is not prime. Res64: FD39A7A0DF962793 Time : 0.0 sec. user=mdettweiler [2016-04-11 08:22:44] 765*2^1425904-1 is not prime. Res64: C72FC6EACE8B9FBE Time : 0.0 sec. user=mdettweiler [2016-04-11 08:22:45] 833*2^1425904-1 is not prime. Res64: B6AFB82C01CA4D27 Time : 0.0 sec. user=mdettweiler [2016-04-11 08:22:45] 843*2^1425904-1 is not prime. Res64: 94449FDDD6E6CB89 Time : 0.0 sec. user=mdettweiler [2016-04-11 08:22:45] 849*2^1425904-1 is not prime. Res64: ACBACE2C54920979 Time : 0.0 sec. user=mdettweiler [2016-04-11 08:31:17] 855*2^1425904-1 is not prime. Res64: E7B23EF20945DF77 Time : 0.0 sec. user=mdettweiler [2016-04-11 08:31:17] 869*2^1425904-1 is not prime. Res64: 8ADC84F870EA789E Time : 0.0 sec. user=mdettweiler [2016-04-11 08:31:17] 887*2^1425904-1 is not prime. Res64: 2C548478C5ED9140 Time : 0.0 sec. user=mdettweiler [2016-04-11 08:31:18] 905*2^1425904-1 is not prime. Res64: 879570882F95EFDF Time : 0.0 sec. user=mdettweiler [2016-04-11 08:31:18] 607*2^1425905-1 is not prime. Res64: 3023AAD15B14EC9A Time : 0.0 sec. user=mdettweiler [2016-04-11 08:36:34] 645*2^1425905-1 is not prime. Res64: C428B36C7DD00B7F Time : 0.0 sec. user=mdettweiler [2016-04-11 08:36:34] 717*2^1425905-1 is not prime. Res64: 774B0760A02D9B1C Time : 0.0 sec. user=mdettweiler [2016-04-11 08:36:34] 847*2^1425905-1 is not prime. Res64: C1DA8F443F7AEA32 Time : 0.0 sec. user=mdettweiler [2016-04-11 08:36:35] 865*2^1425905-1 is not prime. Res64: 02123A5604D8009D Time : 0.0 sec. user=mdettweiler [2016-04-11 08:36:35] 867*2^1425905-1 is not prime. Res64: A9773C506DCE8D5A Time : 0.0 sec. user=mdettweiler [2016-04-11 08:37:58] 915*2^1425905-1 is not prime. Res64: 52CA58B78F8493F6 Time : 0.0 sec. user=mdettweiler [2016-04-11 08:37:58] 641*2^1425906-1 is not prime. Res64: F81C1FDD260D3BD5 Time : 0.0 sec. user=mdettweiler [2016-04-11 08:37:58] 695*2^1425906-1 is not prime. Res64: 4C84E51BF82CB757 Time : 0.0 sec. user=mdettweiler [2016-04-11 08:37:59] 725*2^1425906-1 is not prime. Res64: 21D2882C5B2E1B03 Time : 0.0 sec. user=mdettweiler [2016-04-11 08:37:59] 867*2^1425906-1 is not prime. Res64: 5FD21EFEDE709337 Time : 0.0 sec. user=mdettweiler [2016-04-11 09:07:51] 941*2^1425906-1 is not prime. Res64: CE27727D52E1354F Time : 0.0 sec. user=mdettweiler [2016-04-11 09:07:51] 971*2^1425906-1 is not prime. Res64: 196AAFA569DFD10B Time : 0.0 sec. user=mdettweiler [2016-04-11 09:07:51] 1001*2^1425906-1 is not prime. Res64: 5032FCDE45C48601 Time : 0.0 sec. user=mdettweiler [2016-04-11 09:07:51] 615*2^1425907-1 is not prime. Res64: 1F8E5E5520F74C6F Time : 0.0 sec. user=mdettweiler [2016-04-11 09:07:52] 631*2^1425907-1 is not prime. Res64: 248DA48C242E704D Time : 0.0 sec. user=mdettweiler [2016-04-11 09:16:33] 645*2^1425907-1 is not prime. Res64: 0158E13D9C2E0EF5 Time : 0.0 sec. user=mdettweiler [2016-04-11 09:16:33] 733*2^1425907-1 is not prime. Res64: 506D906A93A36AB8 Time : 0.0 sec. user=mdettweiler [2016-04-11 09:16:33] 861*2^1425907-1 is not prime. Res64: 8C7CBCB61E7FDDA8 Time : 0.0 sec. user=mdettweiler [2016-04-11 09:16:33] 909*2^1425907-1 is not prime. Res64: 4BA5795DC82A8715 Time : 0.0 sec. user=mdettweiler [2016-04-11 09:16:34] 915*2^1425907-1 is not prime. Res64: FB141A6163185C7B Time : 0.0 sec. user=mdettweiler [2016-04-11 09:21:39] 615*2^1425908-1 is not prime. Res64: 1791BC66CDF7925E Time : 0.0 sec. user=mdettweiler [2016-04-11 09:21:40] 669*2^1425908-1 is not prime. Res64: FFCDEAAD2BA77356 Time : 0.0 sec. user=mdettweiler [2016-04-11 09:21:40] 735*2^1425908-1 is not prime. Res64: 0D4E220BF51D3F14 Time : 0.0 sec. user=mdettweiler [2016-04-11 09:21:40] 813*2^1425908-1 is not prime. Res64: F356D5ABA7E338FC Time : 0.0 sec. user=mdettweiler [2016-04-11 09:21:40] 935*2^1425908-1 is not prime. Res64: 9ADF108EAF490DF2 Time : 0.0 sec. user=mdettweiler [2016-04-11 09:23:08] 987*2^1425908-1 is not prime. Res64: 292343EB93022561 Time : 0.0 sec. user=mdettweiler [2016-04-11 09:23:08] 621*2^1425909-1 is not prime. Res64: 6DDD7A048EE41BBD Time : 0.0 sec. user=mdettweiler [2016-04-11 09:23:09] 669*2^1425909-1 is not prime. Res64: 70CD54522E4D6443 Time : 0.0 sec. user=mdettweiler [2016-04-11 09:23:09] 691*2^1425909-1 is not prime. Res64: 8C454E5A1FCEFB5E Time : 0.0 sec. user=mdettweiler [2016-04-11 09:23:09] 877*2^1425909-1 is not prime. Res64: CAF9DD5505B3AB94 Time : 0.0 sec. user=mdettweiler [2016-04-11 09:52:51] 665*2^1425910-1 is not prime. Res64: AFB556F6FA81A0A5 Time : 0.0 sec. user=mdettweiler [2016-04-11 09:52:51] 723*2^1425910-1 is not prime. Res64: 1CC07FB9F20ECD74 Time : 0.0 sec. user=mdettweiler [2016-04-11 09:52:51] 791*2^1425910-1 is not prime. Res64: A0FE84F89C5E48B4 Time : 0.0 sec. user=mdettweiler [2016-04-11 09:52:52] 827*2^1425910-1 is not prime. Res64: 1AD962574781B6EE Time : 0.0 sec. user=mdettweiler [2016-04-11 09:52:52] 855*2^1425910-1 is not prime. Res64: 36EFF38E73647929 Time : 0.0 sec. user=mdettweiler [2016-04-11 10:01:56] 933*2^1425910-1 is not prime. Res64: 312EC8BBC371FD97 Time : 0.0 sec. user=mdettweiler [2016-04-11 10:01:58] 609*2^1425911-1 is not prime. Res64: 0944E1D073B74D26 Time : 0.0 sec. user=mdettweiler [2016-04-11 10:01:58] 661*2^1425911-1 is not prime. Res64: AAB4428E2E5E0465 Time : 0.0 sec. user=mdettweiler [2016-04-11 10:01:59] 685*2^1425911-1 is not prime. Res64: 07E89887DC85576E Time : 0.0 sec. user=mdettweiler [2016-04-11 10:02:00] 715*2^1425911-1 is not prime. Res64: 37BAD5284E9FC6A1 Time : 0.0 sec. user=mdettweiler [2016-04-11 10:07:07] 909*2^1425911-1 is not prime. Res64: 985C545C2D3AC532 Time : 0.0 sec. user=mdettweiler [2016-04-11 10:07:08] 931*2^1425911-1 is not prime. Res64: 767C239A0F1BDB1A Time : 0.0 sec. user=mdettweiler [2016-04-11 10:07:09] 973*2^1425911-1 is not prime. Res64: F9A551FECB7671E3 Time : 0.0 sec. user=mdettweiler [2016-04-11 10:07:09] 669*2^1425912-1 is not prime. Res64: D4891AB44D828CB9 Time : 0.0 sec. user=mdettweiler [2016-04-11 10:07:10] 945*2^1425912-1 is not prime. Res64: CA308CC2596A7F36 Time : 0.0 sec. user=mdettweiler [2016-04-11 10:08:34] 983*2^1425912-1 is not prime. Res64: 9A004F232F920B26 Time : 0.0 sec. user=mdettweiler [2016-04-11 10:08:35] 751*2^1425913-1 is not prime. Res64: 041B31FA52E6D48C Time : 0.0 sec. user=mdettweiler [2016-04-11 10:08:35] 771*2^1425913-1 is not prime. Res64: 886E4D8B862FA333 Time : 0.0 sec. user=mdettweiler [2016-04-11 10:08:35] 861*2^1425913-1 is not prime. Res64: F662C6AE4E27E917 Time : 0.0 sec. user=mdettweiler [2016-04-11 10:08:36] 641*2^1425914-1 is not prime. Res64: 99EBE8CA61DB5DA4 Time : 0.0 sec. user=mdettweiler [2016-04-11 10:38:02] 665*2^1425914-1 is not prime. Res64: 2AE9E79848579B69 Time : 0.0 sec. user=mdettweiler [2016-04-11 10:38:02] 687*2^1425914-1 is not prime. Res64: B59BAF6A3EFE9E20 Time : 0.0 sec. user=mdettweiler [2016-04-11 10:38:03] 707*2^1425914-1 is not prime. Res64: 130DA643E7D692CD Time : 0.0 sec. user=mdettweiler [2016-04-11 10:38:03] 731*2^1425914-1 is not prime. Res64: D4102BB37D525EEE Time : 0.0 sec. user=mdettweiler [2016-04-11 10:38:03] 743*2^1425914-1 is not prime. Res64: D2354E553D35A26D Time : 0.0 sec. user=mdettweiler [2016-04-11 10:47:14] 875*2^1425914-1 is not prime. Res64: 33F7453B74548821 Time : 0.0 sec. user=mdettweiler [2016-04-11 10:47:14] 765*2^1425915-1 is not prime. Res64: 2CBAAE43CA1BEFCC Time : 0.0 sec. user=mdettweiler [2016-04-11 10:47:14] 805*2^1425915-1 is not prime. Res64: EF5A9A50F6AFA1B6 Time : 0.0 sec. user=mdettweiler [2016-04-11 10:47:15] 903*2^1425915-1 is not prime. Res64: EB08DB7B0685C14B Time : 0.0 sec. user=mdettweiler [2016-04-11 10:47:15] 909*2^1425915-1 is not prime. Res64: 4D739DBF9278DA6C Time : 0.0 sec. user=mdettweiler [2016-04-11 10:52:17] 955*2^1425915-1 is not prime. Res64: E8615B82D171459F Time : 0.0 sec. user=mdettweiler [2016-04-11 10:52:17] 961*2^1425915-1 is not prime. Res64: 3297817F125AAC9B Time : 0.0 sec. user=mdettweiler [2016-04-11 10:52:18] 979*2^1425915-1 is not prime. Res64: 562125C5FE7DFFF6 Time : 0.0 sec. user=mdettweiler [2016-04-11 10:52:18] 615*2^1425916-1 is not prime. Res64: 1599A37F25F92240 Time : 0.0 sec. user=mdettweiler [2016-04-11 10:52:18] 653*2^1425916-1 is not prime. Res64: 4512CDD18F5FC0B3 Time : 0.0 sec. user=mdettweiler [2016-04-11 10:53:50] 695*2^1425916-1 is not prime. Res64: D59C64F328F41C9D Time : 0.0 sec. user=mdettweiler [2016-04-11 10:53:50] 719*2^1425916-1 is not prime. Res64: 3D1955C3B439FA83 Time : 0.0 sec. user=mdettweiler [2016-04-11 10:53:51] 723*2^1425916-1 is not prime. Res64: D09C2ADF4996A87F Time : 0.0 sec. user=mdettweiler [2016-04-11 10:53:51] 777*2^1425916-1 is not prime. Res64: 8F2DEC936E87F9E8 Time : 0.0 sec. user=mdettweiler [2016-04-11 10:53:51] 833*2^1425916-1 is not prime. Res64: D443A98430E02F3B Time : 0.0 sec. user=mdettweiler [2016-04-11 11:22:58] 869*2^1425916-1 is not prime. Res64: 3DF89AB4A7444F0B Time : 0.0 sec. user=mdettweiler [2016-04-11 11:22:58] 933*2^1425916-1 is not prime. Res64: A220B88598C926E8 Time : 0.0 sec. user=mdettweiler [2016-04-11 11:22:59] 601*2^1425917-1 is not prime. Res64: 90FB5E9588FC0415 Time : 0.0 sec. user=mdettweiler [2016-04-11 11:22:59] 645*2^1425917-1 is not prime. Res64: 2502CEBC8753BFBD Time : 0.0 sec. user=mdettweiler [2016-04-11 11:22:59] 697*2^1425917-1 is not prime. Res64: 26DB24DF856BBECA Time : 0.0 sec. user=mdettweiler [2016-04-11 11:32:25] 777*2^1425917-1 is not prime. Res64: 61F6FAEE14A6F63A Time : 0.0 sec. user=mdettweiler [2016-04-11 11:32:25] 837*2^1425917-1 is not prime. Res64: 931DDF2833570864 Time : 0.0 sec. user=mdettweiler [2016-04-11 11:32:25] 861*2^1425917-1 is not prime. Res64: 837881E23C534803 Time : 0.0 sec. user=mdettweiler [2016-04-11 11:32:26] 665*2^1425918-1 is not prime. Res64: 5C038D181D3D3DA7 Time : 0.0 sec. user=mdettweiler [2016-04-11 11:32:26] 695*2^1425918-1 is not prime. Res64: 3A2E22189EEC2DE3 Time : 0.0 sec. user=mdettweiler [2016-04-11 11:37:23] 725*2^1425918-1 is not prime. Res64: 009ABF022A3E94E9 Time : 0.0 sec. user=mdettweiler [2016-04-11 11:37:23] 731*2^1425918-1 is not prime. Res64: A6373DAA865E3E04 Time : 0.0 sec. user=mdettweiler [2016-04-11 11:37:23] 797*2^1425918-1 is not prime. Res64: E0178A450204642B Time : 0.0 sec. user=mdettweiler [2016-04-11 11:37:23] 891*2^1425918-1 is not prime. Res64: 97B094E58EB09165 Time : 0.0 sec. user=mdettweiler [2016-04-11 11:37:24] 951*2^1425918-1 is not prime. Res64: A2B9B970DA36A982 Time : 0.0 sec. user=mdettweiler [2016-04-11 11:39:19] 993*2^1425918-1 is not prime. Res64: D8597F7A0C747F34 Time : 0.0 sec. user=mdettweiler [2016-04-11 11:39:20] 619*2^1425919-1 is not prime. Res64: 97934306B04D7113 Time : 0.0 sec. user=mdettweiler [2016-04-11 11:39:20] 681*2^1425919-1 is not prime. Res64: E2E04B8B6CE332C7 Time : 0.0 sec. user=mdettweiler [2016-04-11 11:39:20] 705*2^1425919-1 is not prime. Res64: D3F484FFF929CC88 Time : 0.0 sec. user=mdettweiler [2016-04-11 11:39:20] 993*2^1425919-1 is not prime. Res64: 60B695401E900609 Time : 0.0 sec. user=mdettweiler [2016-04-11 12:07:58] 699*2^1425920-1 is not prime. Res64: 3E09271C6B018573 Time : 0.0 sec. user=mdettweiler [2016-04-11 12:07:58] 803*2^1425920-1 is not prime. Res64: F521005C058A17C9 Time : 0.0 sec. user=mdettweiler [2016-04-11 12:07:58] 855*2^1425920-1 is not prime. Res64: 48E5666839002E19 Time : 0.0 sec. user=mdettweiler [2016-04-11 12:07:59] 875*2^1425920-1 is not prime. Res64: F5F1CFC5D5FA699B Time : 0.0 sec. user=mdettweiler [2016-04-11 12:07:59] 879*2^1425920-1 is not prime. Res64: D382214C02C983F8 Time : 0.0 sec. user=mdettweiler [2016-04-11 12:17:33] 625*2^1425921-1 is not prime. Res64: 691AC8B049ED7642 Time : 0.0 sec. user=mdettweiler [2016-04-11 12:17:33] 649*2^1425921-1 is not prime. Res64: 188B5F37757EA310 Time : 0.0 sec. user=mdettweiler [2016-04-11 12:17:33] 709*2^1425921-1 is not prime. Res64: 910FBC825BAE2511 Time : 0.0 sec. user=mdettweiler [2016-04-11 12:17:34] 937*2^1425921-1 is not prime. Res64: B457FE856E6136FA Time : 0.0 sec. user=mdettweiler [2016-04-11 12:17:34] 979*2^1425921-1 is not prime. Res64: A6F5B60317EC91AD Time : 0.0 sec. user=mdettweiler [2016-04-11 12:22:31] 671*2^1425922-1 is not prime. Res64: A86988E7ACA88B93 Time : 0.0 sec. user=mdettweiler [2016-04-11 12:22:31] 681*2^1425922-1 is not prime. Res64: 5FB7FA5485935369 Time : 0.0 sec. user=mdettweiler [2016-04-11 12:22:31] 717*2^1425922-1 is not prime. Res64: 00AA4161D5D40802 Time : 0.0 sec. user=mdettweiler [2016-04-11 12:22:32] 723*2^1425922-1 is not prime. Res64: B0300082103E1121 Time : 0.0 sec. user=mdettweiler [2016-04-11 12:22:32] 741*2^1425922-1 is not prime. Res64: F3530755938F13C6 Time : 0.0 sec. user=mdettweiler [2016-04-11 12:24:47] 803*2^1425922-1 is not prime. Res64: 7B720E1DACF6DBBD Time : 0.0 sec. user=mdettweiler [2016-04-11 12:24:47] 941*2^1425922-1 is not prime. Res64: 64637010ED9E06FC Time : 0.0 sec. user=mdettweiler [2016-04-11 12:24:48] 945*2^1425922-1 is not prime. Res64: A9E6C2772301AA3D Time : 0.0 sec. user=mdettweiler [2016-04-11 12:24:48] 957*2^1425922-1 is not prime. Res64: 509E5A7035DB379A Time : 0.0 sec. user=mdettweiler [2016-04-11 12:24:48] 663*2^1425923-1 is not prime. Res64: 72B809673AF87B21 Time : 0.0 sec. user=mdettweiler [2016-04-11 12:53:40] 693*2^1425923-1 is not prime. Res64: CDD87C1361383074 Time : 0.0 sec. user=mdettweiler [2016-04-11 12:53:40] 715*2^1425923-1 is not prime. Res64: FB505CB7341B0463 Time : 0.0 sec. user=mdettweiler [2016-04-11 12:53:40] 741*2^1425923-1 is not prime. Res64: C1F0F02E72866676 Time : 0.0 sec. user=mdettweiler [2016-04-11 12:53:41] 825*2^1425923-1 is not prime. Res64: 04590FA16E955184 Time : 0.0 sec. user=mdettweiler [2016-04-11 12:53:41] 963*2^1425923-1 is not prime. Res64: DB549201103BD472 Time : 0.0 sec. user=mdettweiler [2016-04-11 13:02:46] 991*2^1425923-1 is not prime. Res64: E366CED16C447438 Time : 0.0 sec. user=mdettweiler [2016-04-11 13:02:47] 605*2^1425924-1 is not prime. Res64: 70A20315E0B53F74 Time : 0.0 sec. user=mdettweiler [2016-04-11 13:02:48] 629*2^1425924-1 is not prime. Res64: AB1A05D72A793E8B Time : 0.0 sec. user=mdettweiler [2016-04-11 13:02:48] 657*2^1425924-1 is not prime. Res64: B9FEF0D0FE4AAD46 Time : 0.0 sec. user=mdettweiler [2016-04-11 13:02:49] 693*2^1425924-1 is not prime. Res64: 30FCF58F73B61541 Time : 0.0 sec. user=mdettweiler [2016-04-11 13:07:46] 795*2^1425924-1 is not prime. Res64: 849E80C6DAD68E51 Time : 0.0 sec. user=mdettweiler [2016-04-11 13:07:46] 863*2^1425924-1 is not prime. Res64: F05505F838EC1C84 Time : 0.0 sec. user=mdettweiler [2016-04-11 13:07:47] 893*2^1425924-1 is not prime. Res64: C201FC3A3B977711 Time : 0.0 sec. user=mdettweiler [2016-04-11 13:07:47] 957*2^1425924-1 is not prime. Res64: 0CFCDBC3585FB08A Time : 0.0 sec. user=mdettweiler [2016-04-11 13:07:48] 965*2^1425924-1 is not prime. Res64: FFAF5852D0ED4854 Time : 0.0 sec. user=mdettweiler [2016-04-11 13:09:59] 729*2^1425925-1 is not prime. Res64: 4509CCCB205484D3 Time : 0.0 sec. user=mdettweiler [2016-04-11 13:09:59] 819*2^1425925-1 is not prime. Res64: 8673B896B1703033 Time : 0.0 sec. user=mdettweiler [2016-04-11 13:09:59] 615*2^1425926-1 is not prime. Res64: E90D9643525658C0 Time : 0.0 sec. user=mdettweiler [2016-04-11 13:10:00] 707*2^1425926-1 is not prime. Res64: FD342EFBFF685037 Time : 0.0 sec. user=mdettweiler [2016-04-11 13:10:00] 911*2^1425926-1 is not prime. Res64: 6071FC15E4029390 Time : 0.0 sec. user=mdettweiler [2016-04-11 13:38:56] 651*2^1425927-1 is not prime. Res64: 60D9A9B56007A8FC Time : 0.0 sec. user=mdettweiler [2016-04-11 13:38:56] 661*2^1425927-1 is not prime. Res64: 6D7644CD84D13C87 Time : 0.0 sec. user=mdettweiler [2016-04-11 13:38:56] 703*2^1425927-1 is not prime. Res64: 8C6B6C10E9B26073 Time : 0.0 sec. user=mdettweiler [2016-04-11 13:38:57] 823*2^1425927-1 is not prime. Res64: 19167ABFDD64912A Time : 0.0 sec. user=mdettweiler [2016-04-11 13:38:57] 963*2^1425927-1 is not prime. Res64: 311BC93E71A95439 Time : 0.0 sec. user=mdettweiler [2016-04-11 13:48:07] 629*2^1425928-1 is not prime. Res64: 35D9A54726191F31 Time : 0.0 sec. user=mdettweiler [2016-04-11 13:48:08] 843*2^1425928-1 is not prime. Res64: 4D2AD32FE9DA7B7A Time : 0.0 sec. user=mdettweiler [2016-04-11 13:48:08] 657*2^1425929-1 is not prime. Res64: 99DED8E4C39615D2 Time : 0.0 sec. user=mdettweiler [2016-04-11 13:48:08] 679*2^1425929-1 is not prime. Res64: 32CF7B168A862929 Time : 0.0 sec. user=mdettweiler [2016-04-11 13:48:08] 831*2^1425929-1 is not prime. Res64: 4CBD3BA8E51C8A87 Time : 0.0 sec. user=mdettweiler [2016-04-11 13:52:58] 867*2^1425929-1 is not prime. Res64: 4833D6BB844654A9 Time : 0.0 sec. user=mdettweiler [2016-04-11 13:52:58] 951*2^1425929-1 is not prime. Res64: 06D0015B2C2BFE37 Time : 0.0 sec. user=mdettweiler [2016-04-11 13:52:58] 627*2^1425930-1 is not prime. Res64: EAADACC19FC97174 Time : 0.0 sec. user=mdettweiler [2016-04-11 13:52:58] 681*2^1425930-1 is not prime. Res64: 804A7BCE2E72A9F5 Time : 0.0 sec. user=mdettweiler [2016-04-11 13:52:59] 725*2^1425930-1 is not prime. Res64: 48E3D01420ECA134 Time : 0.0 sec. user=mdettweiler [2016-04-11 13:55:12] 845*2^1425930-1 is not prime. Res64: 6D733A41099E52D4 Time : 0.0 sec. user=mdettweiler [2016-04-11 13:55:13] 851*2^1425930-1 is not prime. Res64: 6645A35385C6E1C7 Time : 0.0 sec. user=mdettweiler [2016-04-11 13:55:13] 861*2^1425930-1 is not prime. Res64: 2F6E79B75247C6B5 Time : 0.0 sec. user=mdettweiler [2016-04-11 13:55:13] 927*2^1425930-1 is not prime. Res64: 65509777F9757FC0 Time : 0.0 sec. user=mdettweiler [2016-04-11 13:55:13] 971*2^1425930-1 is not prime. Res64: 8243907E12CBD3A5 Time : 0.0 sec. user=mdettweiler [2016-04-11 14:23:51] 977*2^1425930-1 is not prime. Res64: 9F518523077693B4 Time : 0.0 sec. user=mdettweiler [2016-04-11 14:23:52] 645*2^1425931-1 is not prime. Res64: 7B8DC54643BD6A02 Time : 0.0 sec. user=mdettweiler [2016-04-11 14:23:52] 829*2^1425931-1 is not prime. Res64: FC4D7C70C42757AF Time : 0.0 sec. user=mdettweiler [2016-04-11 14:23:52] 855*2^1425931-1 is not prime. Res64: BE0C7095111DCB4B Time : 0.0 sec. user=mdettweiler [2016-04-11 14:23:52] 885*2^1425931-1 is not prime. Res64: DF3D406EFDF09B45 Time : 0.0 sec. user=mdettweiler [2016-04-11 14:33:15] 925*2^1425931-1 is not prime. Res64: B0CABBFD1BC3BBC2 Time : 0.0 sec. user=mdettweiler [2016-04-11 14:33:15] 945*2^1425932-1 is not prime. Res64: 0245DC364E816610 Time : 0.0 sec. user=mdettweiler [2016-04-11 14:33:15] 621*2^1425933-1 is not prime. Res64: 090870E76182A424 Time : 0.0 sec. user=mdettweiler [2016-04-11 14:33:16] 747*2^1425933-1 is not prime. Res64: E33023970E344562 Time : 0.0 sec. user=mdettweiler [2016-04-11 14:33:16] 805*2^1425933-1 is not prime. Res64: ABA1F6453029D0B0 Time : 0.0 sec. user=mdettweiler [2016-04-11 14:38:00] 819*2^1425933-1 is not prime. Res64: FAD86501F93F7C40 Time : 0.0 sec. user=mdettweiler [2016-04-11 14:38:00] 885*2^1425933-1 is not prime. Res64: 59499BD9E61C6905 Time : 0.0 sec. user=mdettweiler [2016-04-11 14:38:01] 895*2^1425933-1 is not prime. Res64: C8EFBA04F7374555 Time : 0.0 sec. user=mdettweiler [2016-04-11 14:38:01] 955*2^1425933-1 is not prime. Res64: 366AC2D32434A273 Time : 0.0 sec. user=mdettweiler [2016-04-11 14:38:01] 687*2^1425934-1 is not prime. Res64: A0F38A291B5B18A0 Time : 0.0 sec. user=mdettweiler [2016-04-11 14:40:24] 695*2^1425934-1 is not prime. Res64: 8FCE204C622EB128 Time : 0.0 sec. user=mdettweiler [2016-04-11 14:40:24] 765*2^1425934-1 is not prime. Res64: B7775CE1806EE0A6 Time : 0.0 sec. user=mdettweiler [2016-04-11 14:40:24] 885*2^1425934-1 is not prime. Res64: B2B2382D90D37FDE Time : 0.0 sec. user=mdettweiler [2016-04-11 14:40:25] 897*2^1425934-1 is not prime. Res64: 0BEB2FDC2E632332 Time : 0.0 sec. user=mdettweiler [2016-04-11 14:40:25] 945*2^1425934-1 is not prime. Res64: B045DF1154206D2C Time : 0.0 sec. user=mdettweiler [2016-04-11 15:08:59] 1001*2^1425934-1 is not prime. Res64: 24D4681A68E20598 Time : 0.0 sec. user=mdettweiler [2016-04-11 15:08:59] 799*2^1425935-1 is not prime. Res64: 34DD294B2CA4F783 Time : 0.0 sec. user=mdettweiler [2016-04-11 15:09:00] 825*2^1425935-1 is not prime. Res64: 1C176FBBFE945389 Time : 0.0 sec. user=mdettweiler [2016-04-11 15:09:00] 841*2^1425935-1 is not prime. Res64: 5ECE7E845A072141 Time : 0.0 sec. user=mdettweiler [2016-04-11 15:09:00] 913*2^1425935-1 is not prime. Res64: D986815BF6CCB9D2 Time : 0.0 sec. user=mdettweiler [2016-04-11 15:18:17] 921*2^1425935-1 is not prime. Res64: 6E5121826B01BB53 Time : 0.0 sec. user=mdettweiler [2016-04-11 15:18:17] 939*2^1425935-1 is not prime. Res64: C675DAEB5A72244C Time : 0.0 sec. user=mdettweiler [2016-04-11 15:18:17] 973*2^1425935-1 is not prime. Res64: BE358EBFFF2AFF4F Time : 0.0 sec. user=mdettweiler [2016-04-11 15:18:18] 705*2^1425936-1 is not prime. Res64: 4AF8D33E271C4B02 Time : 0.0 sec. user=mdettweiler [2016-04-11 15:18:18] 723*2^1425936-1 is not prime. Res64: 939DCC0D207E24DD Time : 0.0 sec. user=mdettweiler [2016-04-11 15:22:57] 845*2^1425936-1 is not prime. Res64: C7008F4CF70140FF Time : 0.0 sec. user=mdettweiler [2016-04-11 15:22:58] 857*2^1425936-1 is not prime. Res64: 88A3C8D3888F7D0D Time : 0.0 sec. user=mdettweiler [2016-04-11 15:22:58] 909*2^1425936-1 is not prime. Res64: 00653AAA08A01762 Time : 0.0 sec. user=mdettweiler [2016-04-11 15:22:58] 927*2^1425936-1 is not prime. Res64: E57199612580125A Time : 0.0 sec. user=mdettweiler [2016-04-11 15:22:58] 885*2^1425937-1 is not prime. Res64: 09D657BF3E116A9A Time : 0.0 sec. user=mdettweiler [2016-04-11 15:25:13] 617*2^1425938-1 is not prime. Res64: 928180CEF54E6700 Time : 0.0 sec. user=mdettweiler [2016-04-11 15:25:13] 731*2^1425938-1 is not prime. Res64: 135736D2C51843A7 Time : 0.0 sec. user=mdettweiler [2016-04-11 15:25:13] 735*2^1425938-1 is not prime. Res64: 9C5E31C1836E06C3 Time : 0.0 sec. user=mdettweiler [2016-04-11 15:25:14] 773*2^1425938-1 is not prime. Res64: CA4A809DC8F26CEC Time : 0.0 sec. user=mdettweiler [2016-04-11 15:25:14] 815*2^1425938-1 is not prime. Res64: CA41F52B8F72C973 Time : 0.0 sec. user=mdettweiler [2016-04-11 15:54:11] 857*2^1425938-1 is not prime. Res64: 547EEFF9C725305E Time : 0.0 sec. user=mdettweiler [2016-04-11 15:54:11] 875*2^1425938-1 is not prime. Res64: 8400E3ABE1960DF4 Time : 0.0 sec. user=mdettweiler [2016-04-11 15:54:12] 669*2^1425939-1 is not prime. Res64: D67ABBB4C45CB64A Time : 0.0 sec. user=mdettweiler [2016-04-11 15:54:12] 903*2^1425939-1 is not prime. Res64: 360D1385DC907363 Time : 0.0 sec. user=mdettweiler [2016-04-11 15:54:12] 931*2^1425939-1 is not prime. Res64: C91904DC4482FD4D Time : 0.0 sec. user=mdettweiler [2016-04-11 16:03:47] 653*2^1425940-1 is not prime. Res64: 92D921170AB84E0E Time : 0.0 sec. user=mdettweiler [2016-04-11 16:03:48] 857*2^1425940-1 is not prime. Res64: 500ED92D9F52C7A0 Time : 0.0 sec. user=mdettweiler [2016-04-11 16:03:49] 873*2^1425940-1 is not prime. Res64: 5636A4DD2776B35B Time : 0.0 sec. user=mdettweiler [2016-04-11 16:03:50] 929*2^1425940-1 is not prime. Res64: 58D8E855F3809F50 Time : 0.0 sec. user=mdettweiler [2016-04-11 16:03:50] 619*2^1425941-1 is not prime. Res64: 84BDE0DD50D242BF Time : 0.0 sec. user=mdettweiler [2016-04-11 16:08:22] 631*2^1425941-1 is not prime. Res64: 0C99AE2D4804B1FE Time : 0.0 sec. user=mdettweiler [2016-04-11 16:08:22] 711*2^1425941-1 is not prime. Res64: 340AD4AD8FE5E817 Time : 0.0 sec. user=mdettweiler [2016-04-11 16:08:23] 741*2^1425941-1 is not prime. Res64: F9E8E05002854C7C Time : 0.0 sec. user=mdettweiler [2016-04-11 16:08:23] 745*2^1425941-1 is not prime. Res64: F4B38EF09F56C17E Time : 0.0 sec. user=mdettweiler [2016-04-11 16:08:23] 777*2^1425941-1 is not prime. Res64: 3B7193DFE4F3AB9D Time : 0.0 sec. user=mdettweiler [2016-04-11 16:10:43] 855*2^1425941-1 is not prime. Res64: ECCFC149960757DE Time : 0.0 sec. user=mdettweiler [2016-04-11 16:10:44] 865*2^1425941-1 is not prime. Res64: 966465F2D01E87D2 Time : 0.0 sec. user=mdettweiler [2016-04-11 16:10:44] 957*2^1425941-1 is not prime. Res64: F39FFC9389928470 Time : 0.0 sec. user=mdettweiler [2016-04-11 16:10:44] 681*2^1425942-1 is not prime. Res64: 6F04CD06D7104C57 Time : 0.0 sec. user=mdettweiler [2016-04-11 16:10:44] 765*2^1425942-1 is not prime. Res64: BBB38E0ACB3DC7AD Time : 0.0 sec. user=mdettweiler [2016-04-11 16:39:27] 821*2^1425942-1 is not prime. Res64: 4EA2897C3E72121C Time : 0.0 sec. user=mdettweiler [2016-04-11 16:39:27] 891*2^1425942-1 is not prime. Res64: 323FA7AD3E718B24 Time : 0.0 sec. user=mdettweiler [2016-04-11 16:39:27] 923*2^1425942-1 is not prime. Res64: 79142264FEE9F858 Time : 0.0 sec. user=mdettweiler [2016-04-11 16:39:28] 975*2^1425942-1 is not prime. Res64: 17BC4E769B756ACC Time : 0.0 sec. user=mdettweiler [2016-04-11 16:39:28] 983*2^1425942-1 is not prime. Res64: 8CA1F9137733124C Time : 0.0 sec. user=mdettweiler [2016-04-11 16:49:26] 615*2^1425943-1 is not prime. Res64: 884F837B4FCAC54B Time : 0.0 sec. user=mdettweiler [2016-04-11 16:49:26] 619*2^1425943-1 is not prime. Res64: 6C1AD48378FCDB06 Time : 0.0 sec. user=mdettweiler [2016-04-11 16:49:26] 649*2^1425943-1 is not prime. Res64: 2394BE5244C5BDFF Time : 0.0 sec. user=mdettweiler [2016-04-11 16:49:27] 709*2^1425943-1 is not prime. Res64: 7FF3F70F9B5EC6CA Time : 0.0 sec. user=mdettweiler [2016-04-11 16:49:27] 793*2^1425943-1 is not prime. Res64: 86FE6BB84B1DC222 Time : 0.0 sec. user=mdettweiler [2016-04-11 16:53:33] 831*2^1425943-1 is not prime. Res64: 1206653F30E80F7D Time : 0.0 sec. user=mdettweiler [2016-04-11 16:53:33] 895*2^1425943-1 is not prime. Res64: AE3AE2F9EF430623 Time : 0.0 sec. user=mdettweiler [2016-04-11 16:53:33] 901*2^1425943-1 is not prime. Res64: 2BFD9CA5C1D72449 Time : 0.0 sec. user=mdettweiler [2016-04-11 16:53:34] 993*2^1425943-1 is not prime. Res64: 082658E9F9497CD9 Time : 0.0 sec. user=mdettweiler [2016-04-11 16:53:34] 683*2^1425944-1 is not prime. Res64: FD8C83DF78E11A3A Time : 0.0 sec. user=mdettweiler [2016-04-11 16:55:53] 893*2^1425944-1 is not prime. Res64: 7DD5CB54A861CACA Time : 0.0 sec. user=mdettweiler [2016-04-11 16:55:53] 995*2^1425944-1 is not prime. Res64: F5D5EACD334E4736 Time : 0.0 sec. user=mdettweiler [2016-04-11 16:55:54] 649*2^1425945-1 is not prime. Res64: D46976A6F70BACD4 Time : 0.0 sec. user=mdettweiler [2016-04-11 16:55:54] 691*2^1425945-1 is not prime. Res64: FC6B77DC3D69EE72 Time : 0.0 sec. user=mdettweiler [2016-04-11 16:55:54] 781*2^1425945-1 is not prime. Res64: 366231C6C7B0F43E Time : 0.0 sec. user=mdettweiler [2016-04-11 17:24:33] 849*2^1425945-1 is not prime. Res64: 7A0E367E28DCD6A6 Time : 0.0 sec. user=mdettweiler [2016-04-11 17:24:33] 861*2^1425945-1 is not prime. Res64: 32E01498BA3453EE Time : 0.0 sec. user=mdettweiler [2016-04-11 17:24:33] 885*2^1425945-1 is not prime. Res64: C54DBF9D6B6998ED Time : 0.0 sec. user=mdettweiler [2016-04-11 17:24:33] 949*2^1425945-1 is not prime. Res64: E0B873F7EF63ECD8 Time : 0.0 sec. user=mdettweiler [2016-04-11 17:24:34] 951*2^1425945-1 is not prime. Res64: 6A05533827707960 Time : 0.0 sec. user=mdettweiler [2016-04-11 17:34:28] 663*2^1425946-1 is not prime. Res64: E5AF6F44D109DD75 Time : 0.0 sec. user=mdettweiler [2016-04-11 17:34:28] 737*2^1425946-1 is not prime. Res64: 5EFCE35E2CF5E867 Time : 0.0 sec. user=mdettweiler [2016-04-11 17:34:28] 783*2^1425946-1 is not prime. Res64: A900226B8374FEFC Time : 0.0 sec. user=mdettweiler [2016-04-11 17:34:28] 813*2^1425946-1 is not prime. Res64: 30E7F4F327D84EF3 Time : 0.0 sec. user=mdettweiler [2016-04-11 17:34:29] 843*2^1425946-1 is not prime. Res64: FFB7E0F1A14FB397 Time : 0.0 sec. user=mdettweiler [2016-04-11 17:38:33] 947*2^1425946-1 is not prime. Res64: 2611F07DAAF73BBD Time : 0.0 sec. user=mdettweiler [2016-04-11 17:38:33] 643*2^1425947-1 is not prime. Res64: A9E288B6DBA5A188 Time : 0.0 sec. user=mdettweiler [2016-04-11 17:38:34] 825*2^1425947-1 is not prime. Res64: 025C4DA9E289372F Time : 0.0 sec. user=mdettweiler [2016-04-11 17:38:34] 859*2^1425947-1 is not prime. Res64: F77F28509A807390 Time : 0.0 sec. user=mdettweiler [2016-04-11 17:38:34] 871*2^1425947-1 is not prime. Res64: DA13756B776E971F Time : 0.0 sec. user=mdettweiler [2016-04-11 17:40:53] 909*2^1425947-1 is not prime. Res64: 583438A5C573BBE0 Time : 0.0 sec. user=mdettweiler [2016-04-11 17:40:54] 973*2^1425947-1 is not prime. Res64: 416BDD57D1DBA737 Time : 0.0 sec. user=mdettweiler [2016-04-11 17:40:54] 629*2^1425948-1 is not prime. Res64: 526C02F154344643 Time : 0.0 sec. user=mdettweiler [2016-04-11 17:40:54] 647*2^1425948-1 is not prime. Res64: 1C4BF25A83A65063 Time : 0.0 sec. user=mdettweiler [2016-04-11 17:40:54] 663*2^1425948-1 is not prime. Res64: CA62DAE7C865C0F7 Time : 0.0 sec. user=mdettweiler [2016-04-11 18:09:45] 723*2^1425948-1 is not prime. Res64: 255FB25F78A2D14A Time : 0.0 sec. user=mdettweiler [2016-04-11 18:09:45] 735*2^1425948-1 is not prime. Res64: AFA4F4B156BF1440 Time : 0.0 sec. user=mdettweiler [2016-04-11 18:09:46] 773*2^1425948-1 is not prime. Res64: F2AADF3B19F54545 Time : 0.0 sec. user=mdettweiler [2016-04-11 18:09:46] 879*2^1425948-1 is not prime. Res64: 01A67D7EAF3F3C88 Time : 0.0 sec. user=mdettweiler [2016-04-11 18:09:47] 615*2^1425949-1 is not prime. Res64: 9249F123242011B5 Time : 0.0 sec. user=mdettweiler [2016-04-11 18:19:37] 619*2^1425949-1 is not prime. Res64: 80AC8C52B327D590 Time : 0.0 sec. user=mdettweiler [2016-04-11 18:19:38] 741*2^1425949-1 is not prime. Res64: DE01B8494DFCBA90 Time : 0.0 sec. user=mdettweiler [2016-04-11 18:19:38] 867*2^1425949-1 is not prime. Res64: 02858759A23F2E09 Time : 0.0 sec. user=mdettweiler [2016-04-11 18:19:38] 885*2^1425949-1 is not prime. Res64: DE02E4EDD5097C35 Time : 0.0 sec. user=mdettweiler [2016-04-11 18:19:38] 961*2^1425949-1 is not prime. Res64: 713240F3BA357B8E Time : 0.0 sec. user=mdettweiler [2016-04-11 18:23:45] 979*2^1425949-1 is not prime. Res64: 576397B6A13CCE04 Time : 0.0 sec. user=mdettweiler [2016-04-11 18:23:45] 651*2^1425950-1 is not prime. Res64: 6668D54391D0E247 Time : 0.0 sec. user=mdettweiler [2016-04-11 18:23:46] 657*2^1425950-1 is not prime. Res64: 39B0DDFB99CB213D Time : 0.0 sec. user=mdettweiler [2016-04-11 18:23:46] 755*2^1425950-1 is not prime. Res64: 6651931F6F9DC3B0 Time : 0.0 sec. user=mdettweiler [2016-04-11 18:23:46] 773*2^1425950-1 is not prime. Res64: 4E793D44E8A78C6B Time : 0.0 sec. user=mdettweiler [2016-04-11 18:26:05] 941*2^1425950-1 is not prime. Res64: 38F6E2FDD8E288AE Time : 0.0 sec. user=mdettweiler [2016-04-11 18:26:05] 945*2^1425950-1 is not prime. Res64: F2D2933B144BEA5D Time : 0.0 sec. user=mdettweiler [2016-04-11 18:26:05] 613*2^1425951-1 is not prime. Res64: 03D87A9F43417220 Time : 0.0 sec. user=mdettweiler [2016-04-11 18:26:05] 723*2^1425951-1 is not prime. Res64: 2C1EBB38DB185815 Time : 0.0 sec. user=mdettweiler [2016-04-11 18:26:06] 789*2^1425951-1 is not prime. Res64: 79C01950436C82B3 Time : 0.0 sec. user=mdettweiler [2016-04-11 18:54:58] 793*2^1425951-1 is not prime. Res64: A6FE84DD401276D5 Time : 0.0 sec. user=mdettweiler [2016-04-11 18:54:59] 999*2^1425951-1 is not prime. Res64: 79C753A2C9AB77F4 Time : 0.0 sec. user=mdettweiler [2016-04-11 18:54:59] 677*2^1425952-1 is not prime. Res64: 3564E492DC94B1C3 Time : 0.0 sec. user=mdettweiler [2016-04-11 18:54:59] 705*2^1425952-1 is not prime. Res64: B76320513A0B41CE Time : 0.0 sec. user=mdettweiler [2016-04-11 18:54:59] 797*2^1425952-1 is not prime. Res64: 670C5023FD089B72 Time : 0.0 sec. user=mdettweiler [2016-04-11 19:05:02] 819*2^1425952-1 is not prime. Res64: 9E03A44E0381022A Time : 0.0 sec. user=mdettweiler [2016-04-11 19:05:03] 909*2^1425952-1 is not prime. Res64: 7866E35AB6D52193 Time : 0.0 sec. user=mdettweiler [2016-04-11 19:05:05] 933*2^1425952-1 is not prime. Res64: 8F54040178346BE1 Time : 0.0 sec. user=mdettweiler [2016-04-11 19:05:06] 975*2^1425952-1 is not prime. Res64: D72754AFE549948C Time : 0.0 sec. user=mdettweiler [2016-04-11 19:05:07] 989*2^1425952-1 is not prime. Res64: 039D3DBDB659E254 Time : 0.0 sec. user=mdettweiler [2016-04-11 19:08:50] 999*2^1425952-1 is not prime. Res64: 80CB7720A93628CD Time : 0.0 sec. user=mdettweiler [2016-04-11 19:08:51] 805*2^1425953-1 is not prime. Res64: 391CD4E4CC386AF3 Time : 0.0 sec. user=mdettweiler [2016-04-11 19:08:51] 811*2^1425953-1 is not prime. Res64: EF6DC9C5B94F47B0 Time : 0.0 sec. user=mdettweiler [2016-04-11 19:08:52] 925*2^1425953-1 is not prime. Res64: 5915619BC6868E4F Time : 0.0 sec. user=mdettweiler [2016-04-11 19:08:52] 641*2^1425954-1 is not prime. Res64: 13BD5CFAAF2BB71D Time : 0.0 sec. user=mdettweiler [2016-04-11 19:11:17] 885*2^1425954-1 is not prime. Res64: B0D00502EE7F3129 Time : 0.0 sec. user=mdettweiler [2016-04-11 19:11:17] 947*2^1425954-1 is not prime. Res64: B9CDA0AFBA8E7C25 Time : 0.0 sec. user=mdettweiler [2016-04-11 19:11:17] 679*2^1425955-1 is not prime. Res64: 3BD2041848119A39 Time : 0.0 sec. user=mdettweiler [2016-04-11 19:11:18] 741*2^1425955-1 is not prime. Res64: 2EE8BD05DCC6CC03 Time : 0.0 sec. user=mdettweiler [2016-04-11 19:11:18] 771*2^1425955-1 is not prime. Res64: 0549CFBA5B5707E2 Time : 0.0 sec. user=mdettweiler [2016-04-11 19:40:04] 805*2^1425955-1 is not prime. Res64: ADE8370EC604F84B Time : 0.0 sec. user=mdettweiler [2016-04-11 19:40:05] 915*2^1425955-1 is not prime. Res64: 1458841CFF49B010 Time : 0.0 sec. user=mdettweiler [2016-04-11 19:40:05] 919*2^1425955-1 is not prime. Res64: 4007600F9814C7B1 Time : 0.0 sec. user=mdettweiler [2016-04-11 19:40:05] 999*2^1425955-1 is not prime. Res64: 07E952C2E8C151DC Time : 0.0 sec. user=mdettweiler [2016-04-11 19:40:05] 617*2^1425956-1 is not prime. Res64: C645495AB7A040FE Time : 0.0 sec. user=mdettweiler [2016-04-11 19:50:23] 683*2^1425956-1 is not prime. Res64: 539D01B0137ED014 Time : 0.0 sec. user=mdettweiler [2016-04-11 19:50:23] 789*2^1425956-1 is not prime. Res64: C3581384859792F7 Time : 0.0 sec. user=mdettweiler [2016-04-11 19:50:23] 803*2^1425956-1 is not prime. Res64: 1C682BA8FC3F6216 Time : 0.0 sec. user=mdettweiler [2016-04-11 19:50:24] 963*2^1425956-1 is not prime. Res64: 5B00EBB8585DFA18 Time : 0.0 sec. user=mdettweiler [2016-04-11 19:50:24] 983*2^1425956-1 is not prime. Res64: 1956D69CF67F889E Time : 0.0 sec. user=mdettweiler [2016-04-11 19:54:24] 625*2^1425957-1 is not prime. Res64: C063A7355FEC65A4 Time : 0.0 sec. user=mdettweiler [2016-04-11 19:54:24] 675*2^1425957-1 is not prime. Res64: C964C350596DF5DF Time : 0.0 sec. user=mdettweiler [2016-04-11 19:54:24] 819*2^1425957-1 is not prime. Res64: 56CE2DF2A659F750 Time : 0.0 sec. user=mdettweiler [2016-04-11 19:54:24] 895*2^1425957-1 is not prime. Res64: BD8DF588A04B060D Time : 0.0 sec. user=mdettweiler [2016-04-11 19:54:25] 997*2^1425957-1 is not prime. Res64: A824365FD45DA4B5 Time : 0.0 sec. user=mdettweiler [2016-04-11 19:56:33] 713*2^1425958-1 is not prime. Res64: 0E821E9FCDAB0615 Time : 0.0 sec. user=mdettweiler [2016-04-11 19:56:33] 761*2^1425958-1 is not prime. Res64: 14DE52D74F1BB7B2 Time : 0.0 sec. user=mdettweiler [2016-04-11 19:56:33] 825*2^1425958-1 is not prime. Res64: 4672CAA5F14522D9 Time : 0.0 sec. user=mdettweiler [2016-04-11 19:56:33] 857*2^1425958-1 is not prime. Res64: 7D4E28A5C9FC6B8A Time : 0.0 sec. user=mdettweiler [2016-04-11 19:56:34] 861*2^1425958-1 is not prime. Res64: 1671F8F29762D578 Time : 0.0 sec. user=mdettweiler [2016-04-11 20:25:18] 993*2^1425958-1 is not prime. Res64: 3EB13DA37CE37F3A Time : 0.0 sec. user=mdettweiler [2016-04-11 20:25:19] 995*2^1425958-1 is not prime. Res64: 34A874CFEBA13C99 Time : 0.0 sec. user=mdettweiler [2016-04-11 20:25:19] 663*2^1425959-1 is not prime. Res64: 1ED26286E81494D4 Time : 0.0 sec. user=mdettweiler [2016-04-11 20:25:20] 669*2^1425959-1 is not prime. Res64: A6889A8DB272E77A Time : 0.0 sec. user=mdettweiler [2016-04-11 20:25:20] 745*2^1425959-1 is not prime. Res64: F2A8ED8400A67DDB Time : 0.0 sec. user=mdettweiler [2016-04-11 20:37:10] 771*2^1425959-1 is not prime. Res64: 22E870A95840C436 Time : 0.0 sec. user=mdettweiler [2016-04-11 20:37:10] 949*2^1425959-1 is not prime. Res64: 0416FA920DC04F64 Time : 0.0 sec. user=mdettweiler [2016-04-11 20:37:10] 993*2^1425959-1 is not prime. Res64: 5011B1239E8FB90C Time : 0.0 sec. user=mdettweiler [2016-04-11 20:37:11] 623*2^1425960-1 is not prime. Res64: F0A22147B6D131CA Time : 0.0 sec. user=mdettweiler [2016-04-11 20:37:11] 695*2^1425960-1 is not prime. Res64: DC6CCF9330F7FDA5 Time : 0.0 sec. user=mdettweiler [2016-04-11 20:43:40] 707*2^1425960-1 is not prime. Res64: E0B5BCEF7DD42B0E Time : 0.0 sec. user=mdettweiler [2016-04-11 20:43:40] 765*2^1425960-1 is not prime. Res64: 6F4DC106CAD68E2C Time : 0.0 sec. user=mdettweiler [2016-04-11 20:43:41] 777*2^1425960-1 is not prime. Res64: 72B7BECBC4398101 Time : 0.0 sec. user=mdettweiler [2016-04-11 20:43:41] 789*2^1425960-1 is not prime. Res64: 395A5808BDCE4A6B Time : 0.0 sec. user=mdettweiler [2016-04-11 20:43:42] 797*2^1425960-1 is not prime. Res64: 6C608898F9A1E628 Time : 0.0 sec. user=mdettweiler [2016-04-11 20:45:25] 839*2^1425960-1 is not prime. Res64: C0C9083D04291804 Time : 0.0 sec. user=mdettweiler [2016-04-11 20:45:25] 843*2^1425960-1 is not prime. Res64: A1B3BD9411BC7667 Time : 0.0 sec. user=mdettweiler [2016-04-11 20:45:26] 845*2^1425960-1 is not prime. Res64: EBE65FF1B213EDE7 Time : 0.0 sec. user=mdettweiler [2016-04-11 20:45:26] 857*2^1425960-1 is not prime. Res64: AEAE5D4F0117CD6D Time : 0.0 sec. user=mdettweiler [2016-04-11 20:45:26] 917*2^1425960-1 is not prime. Res64: 078F5C0261DEF731 Time : 0.0 sec. user=mdettweiler [2016-04-11 21:21:53] 651*2^1425961-1 is not prime. Res64: 609B77A989FB20B9 Time : 0.0 sec. user=mdettweiler [2016-04-11 21:21:53] 877*2^1425961-1 is not prime. Res64: 237F8160C6F63D18 Time : 0.0 sec. user=mdettweiler [2016-04-11 21:21:54] 895*2^1425961-1 is not prime. Res64: 39A0345A4323ABE0 Time : 0.0 sec. user=mdettweiler [2016-04-11 21:21:54] 677*2^1425962-1 is not prime. Res64: 3850E2D162CEE589 Time : 0.0 sec. user=mdettweiler [2016-04-11 21:21:54] 801*2^1425962-1 is not prime. Res64: D6A903B5934FF8D4 Time : 0.0 sec. user=mdettweiler [2016-04-11 21:32:05] 833*2^1425962-1 is not prime. Res64: ECA6AA44A7AC603E Time : 0.0 sec. user=mdettweiler [2016-04-11 21:32:05] 887*2^1425962-1 is not prime. Res64: C59F72CE9F048498 Time : 0.0 sec. user=mdettweiler [2016-04-11 21:32:05] 893*2^1425962-1 is not prime. Res64: 3449EB05B40474FA Time : 0.0 sec. user=mdettweiler [2016-04-11 21:32:06] 921*2^1425962-1 is not prime. Res64: 8002E3799465F202 Time : 0.0 sec. user=mdettweiler [2016-04-11 21:32:06] 983*2^1425962-1 is not prime. Res64: EEA778D9A05EBB38 Time : 0.0 sec. user=mdettweiler [2016-04-11 21:37:13] 703*2^1425963-1 is not prime. Res64: 1602E06223CE64FE Time : 0.0 sec. user=mdettweiler [2016-04-11 21:37:13] 705*2^1425963-1 is not prime. Res64: 515BD9873C54702B Time : 0.0 sec. user=mdettweiler [2016-04-11 21:37:13] 781*2^1425963-1 is not prime. Res64: 6EAA8DA3273D8F97 Time : 0.0 sec. user=mdettweiler [2016-04-11 21:37:14] 823*2^1425963-1 is not prime. Res64: 33B33D9094AB09D5 Time : 0.0 sec. user=mdettweiler [2016-04-11 21:37:14] 861*2^1425963-1 is not prime. Res64: 57FC31C3711792A1 Time : 0.0 sec. user=mdettweiler [2016-04-11 21:38:09] 871*2^1425963-1 is not prime. Res64: 1F870BA8B14AB988 Time : 0.0 sec. user=mdettweiler [2016-04-11 21:38:09] 963*2^1425963-1 is not prime. Res64: D7BC8C612123BD05 Time : 0.0 sec. user=mdettweiler [2016-04-11 21:38:10] 615*2^1425964-1 is not prime. Res64: 21D9A12BC4AC8D6D Time : 0.0 sec. user=mdettweiler [2016-04-11 21:38:10] 617*2^1425964-1 is not prime. Res64: 4B26CBD42D36EB92 Time : 0.0 sec. user=mdettweiler [2016-04-11 21:38:10] 759*2^1425964-1 is not prime. Res64: 3F74B30E70FC249C Time : 0.0 sec. user=mdettweiler [2016-04-11 22:07:11] 827*2^1425964-1 is not prime. Res64: 98BF77BE21D2D886 Time : 0.0 sec. user=mdettweiler [2016-04-11 22:07:12] 929*2^1425964-1 is not prime. Res64: 90346C46DC9B763A Time : 0.0 sec. user=mdettweiler [2016-04-11 22:07:12] 959*2^1425964-1 is not prime. Res64: 1F0A0EBB15786B9B Time : 0.0 sec. user=mdettweiler [2016-04-11 22:07:12] 989*2^1425964-1 is not prime. Res64: A1FE8CD4FCE41490 Time : 0.0 sec. user=mdettweiler [2016-04-11 22:07:12] 995*2^1425964-1 is not prime. Res64: 0849E5BE38296794 Time : 0.0 sec. user=mdettweiler [2016-04-11 22:17:23] 655*2^1425965-1 is not prime. Res64: 5DCD53DB9537F385 Time : 0.0 sec. user=mdettweiler [2016-04-11 22:17:24] 669*2^1425965-1 is not prime. Res64: D2871B1CF88A570D Time : 0.0 sec. user=mdettweiler [2016-04-11 22:17:24] 777*2^1425965-1 is not prime. Res64: BFDD5C1894369678 Time : 0.0 sec. user=mdettweiler [2016-04-11 22:17:24] 611*2^1425966-1 is not prime. Res64: 6D8D5C61FAEAF8E3 Time : 0.0 sec. user=mdettweiler [2016-04-11 22:17:25] 635*2^1425966-1 is not prime. Res64: A86A9CA7077574C0 Time : 0.0 sec. user=mdettweiler [2016-04-11 22:22:22] 815*2^1425966-1 is not prime. Res64: DD515EC3FF108E32 Time : 0.0 sec. user=mdettweiler [2016-04-11 22:22:22] 861*2^1425966-1 is not prime. Res64: 9A6DD3008593D691 Time : 0.0 sec. user=mdettweiler [2016-04-11 22:22:22] 887*2^1425966-1 is not prime. Res64: 1060D702650647D7 Time : 0.0 sec. user=mdettweiler [2016-04-11 22:22:23] 947*2^1425966-1 is not prime. Res64: 6718B92FD5B16FC7 Time : 0.0 sec. user=mdettweiler [2016-04-11 22:22:23] 619*2^1425967-1 is not prime. Res64: 8F241806C2D01171 Time : 0.0 sec. user=mdettweiler [2016-04-11 22:23:18] 693*2^1425967-1 is not prime. Res64: AD97CC82A8A06BEC Time : 0.0 sec. user=mdettweiler [2016-04-11 22:23:18] 715*2^1425967-1 is not prime. Res64: E9B00F54F28FB6D1 Time : 0.0 sec. user=mdettweiler [2016-04-11 22:23:18] 735*2^1425967-1 is not prime. Res64: 526FE7C04900C7CA Time : 0.0 sec. user=mdettweiler [2016-04-11 22:23:19] 993*2^1425967-1 is not prime. Res64: 21717186F9AEF75B Time : 0.0 sec. user=mdettweiler [2016-04-11 22:23:19] 615*2^1425968-1 is not prime. Res64: 22B4AA216F21472B Time : 0.0 sec. user=mdettweiler [2016-04-11 22:52:20] 617*2^1425968-1 is not prime. Res64: A984A1CB750D9573 Time : 0.0 sec. user=mdettweiler [2016-04-11 22:52:20] 629*2^1425968-1 is not prime. Res64: 6090B024CFDEF5BA Time : 0.0 sec. user=mdettweiler [2016-04-11 22:52:20] 657*2^1425968-1 is not prime. Res64: 7A1AD20E448581F6 Time : 0.0 sec. user=mdettweiler [2016-04-11 22:52:20] 725*2^1425968-1 is not prime. Res64: A5A6603754DFCCB4 Time : 0.0 sec. user=mdettweiler [2016-04-11 22:52:21] 819*2^1425968-1 is not prime. Res64: 7EA9A715AFC3C92F Time : 0.0 sec. user=mdettweiler [2016-04-11 23:02:52] 899*2^1425968-1 is not prime. Res64: A029728013427D24 Time : 0.0 sec. user=mdettweiler [2016-04-11 23:02:53] 969*2^1425968-1 is not prime. Res64: 1E5DF1854C078C1E Time : 0.0 sec. user=mdettweiler [2016-04-11 23:02:53] 667*2^1425969-1 is not prime. Res64: 4F6839C06F65394C Time : 0.0 sec. user=mdettweiler [2016-04-11 23:02:54] 681*2^1425969-1 is not prime. Res64: 534CA58DCF5B9F57 Time : 0.0 sec. user=mdettweiler [2016-04-11 23:02:54] 765*2^1425969-1 is not prime. Res64: D9977D7322848CC7 Time : 0.0 sec. user=mdettweiler [2016-04-11 23:07:35] 787*2^1425969-1 is not prime. Res64: E18453032DB3E8A6 Time : 0.0 sec. user=mdettweiler [2016-04-11 23:07:36] 807*2^1425969-1 is not prime. Res64: 1D09F37AC7B2550C Time : 0.0 sec. user=mdettweiler [2016-04-11 23:07:36] 999*2^1425969-1 is not prime. Res64: 4894FCB9FC9C3113 Time : 0.0 sec. user=mdettweiler [2016-04-11 23:07:36] 611*2^1425970-1 is not prime. Res64: BDD30EDB36393865 Time : 0.0 sec. user=mdettweiler [2016-04-11 23:07:37] 777*2^1425970-1 is not prime. Res64: C32259E4991F12A4 Time : 0.0 sec. user=mdettweiler [2016-04-11 23:08:41] 843*2^1425970-1 is not prime. Res64: 1165EC74940D5AED Time : 0.0 sec. user=mdettweiler [2016-04-11 23:08:41] 981*2^1425970-1 is not prime. Res64: 09D1AF2FC9D56730 Time : 0.0 sec. user=mdettweiler [2016-04-11 23:08:41] 663*2^1425971-1 is not prime. Res64: 7F58AB7421BC1F1D Time : 0.0 sec. user=mdettweiler [2016-04-11 23:08:41] 711*2^1425971-1 is not prime. Res64: 977251047656008C Time : 0.0 sec. user=mdettweiler [2016-04-11 23:08:42] 745*2^1425971-1 is not prime. Res64: D1FD74778BE21083 Time : 0.0 sec. user=mdettweiler [2016-04-11 23:39:07] 775*2^1425971-1 is not prime. Res64: C09251902E90BD70 Time : 0.0 sec. user=mdettweiler [2016-04-11 23:39:08] 829*2^1425971-1 is not prime. Res64: B2AB2479B401B5A1 Time : 0.0 sec. user=mdettweiler [2016-04-11 23:39:08] 909*2^1425971-1 is not prime. Res64: A5EE38821C797646 Time : 0.0 sec. user=mdettweiler [2016-04-11 23:39:08] 955*2^1425971-1 is not prime. Res64: EFA58E8BD005CC80 Time : 0.0 sec. user=mdettweiler [2016-04-11 23:39:08] 991*2^1425971-1 is not prime. Res64: 21E5FB4419CF78A5 Time : 0.0 sec. user=mdettweiler [2016-04-11 23:50:38] 647*2^1425972-1 is not prime. Res64: 21EAA29B53511AA1 Time : 0.0 sec. user=mdettweiler [2016-04-11 23:50:38] 675*2^1425972-1 is not prime. Res64: 1CDFE297DD201079 Time : 0.0 sec. user=mdettweiler [2016-04-11 23:50:38] 723*2^1425972-1 is not prime. Res64: 0F5959BBE68CFE97 Time : 0.0 sec. user=mdettweiler [2016-04-11 23:50:39] 753*2^1425972-1 is not prime. Res64: DBFD24CD14CD81FE Time : 0.0 sec. user=mdettweiler [2016-04-11 23:50:39] 857*2^1425972-1 is not prime. Res64: 104F3BDE74A9920F Time : 0.0 sec. user=mdettweiler [2016-04-11 23:55:49] 873*2^1425972-1 is not prime. Res64: D04E363DCC3D4EFE Time : 0.0 sec. user=mdettweiler [2016-04-11 23:55:50] 899*2^1425972-1 is not prime. Res64: 091EB2ABA5BF686D Time : 0.0 sec. user=mdettweiler [2016-04-11 23:55:50] 903*2^1425972-1 is not prime. Res64: 84A6832307D5BC3E Time : 0.0 sec. user=mdettweiler [2016-04-11 23:55:50] 915*2^1425972-1 is not prime. Res64: 986853335690823E Time : 0.0 sec. user=mdettweiler [2016-04-11 23:55:51] 933*2^1425972-1 is not prime. Res64: 2397BA36178757A1 Time : 0.0 sec. user=mdettweiler [2016-04-11 23:57:10] 615*2^1425973-1 is not prime. Res64: 08EC97751A823A37 Time : 0.0 sec. user=mdettweiler [2016-04-11 23:57:11] 699*2^1425973-1 is not prime. Res64: DAE8106EE5527CEF Time : 0.0 sec. user=mdettweiler [2016-04-11 23:57:11] 727*2^1425973-1 is not prime. Res64: D4742312B732541B Time : 0.0 sec. user=mdettweiler [2016-04-11 23:57:11] 831*2^1425973-1 is not prime. Res64: 3933530237CC3E2A Time : 0.0 sec. user=mdettweiler [2016-04-11 23:57:12] 867*2^1425973-1 is not prime. Res64: 74DFCB83ABF1809F Time : 0.0 sec.