user=mdettweiler [2016-10-18 00:07:51] 693*2^1443084-1 is not prime. Res64: C997275DFC22156C Time : 0.0 sec. user=mdettweiler [2016-10-18 00:07:53] 759*2^1443084-1 is not prime. Res64: 29DB7234964DF032 Time : 0.0 sec. user=mdettweiler [2016-10-18 00:07:54] 837*2^1443084-1 is not prime. Res64: 5ED3CDA765445D7A Time : 0.0 sec. user=mdettweiler [2016-10-18 00:07:55] 899*2^1443084-1 is not prime. Res64: D6A52F304F8A2C1A Time : 0.0 sec. user=mdettweiler [2016-10-18 00:07:57] 909*2^1443084-1 is not prime. Res64: B96DE2EB7BCD3CFA Time : 0.0 sec. user=mdettweiler [2016-10-18 00:19:23] 927*2^1443084-1 is not prime. Res64: B7B38183EA73218B Time : 0.0 sec. user=mdettweiler [2016-10-18 00:19:24] 759*2^1443085-1 is not prime. Res64: 304B131E1A5E9D5A Time : 0.0 sec. user=mdettweiler [2016-10-18 00:19:25] 819*2^1443085-1 is not prime. Res64: 80C4E6E3847CEF19 Time : 0.0 sec. user=mdettweiler [2016-10-18 00:19:26] 825*2^1443085-1 is not prime. Res64: 8EAEA4E170FA919E Time : 0.0 sec. user=mdettweiler [2016-10-18 00:19:27] 847*2^1443085-1 is not prime. Res64: 9793FB1EEAEC23F7 Time : 0.0 sec. user=mdettweiler [2016-10-18 00:19:31] 895*2^1443085-1 is not prime. Res64: 1E6AECC6A4F22B6E Time : 0.0 sec. user=mdettweiler [2016-10-18 00:19:33] 897*2^1443085-1 is not prime. Res64: F28B4153BF1CF7A4 Time : 0.0 sec. user=mdettweiler [2016-10-18 00:19:34] 641*2^1443086-1 is not prime. Res64: 1EB0779C486A90FC Time : 0.0 sec. user=mdettweiler [2016-10-18 00:19:35] 705*2^1443086-1 is not prime. Res64: 39C1D59365CADE3F Time : 0.0 sec. user=mdettweiler [2016-10-18 00:19:36] 743*2^1443086-1 is not prime. Res64: D066F077AE562C7D Time : 0.0 sec. user=mdettweiler [2016-10-18 00:21:13] 831*2^1443086-1 is not prime. Res64: C09EF8CB8217B671 Time : 0.0 sec. user=mdettweiler [2016-10-18 00:21:14] 893*2^1443086-1 is not prime. Res64: 34579F8503C79C61 Time : 0.0 sec. user=mdettweiler [2016-10-18 00:21:15] 923*2^1443086-1 is not prime. Res64: F19AAF714554C95A Time : 0.0 sec. user=mdettweiler [2016-10-18 00:21:16] 945*2^1443086-1 is not prime. Res64: 1958E61C968241AA Time : 0.0 sec. user=mdettweiler [2016-10-18 00:21:17] 971*2^1443086-1 is not prime. Res64: 50C356AB0E19580E Time : 0.0 sec. user=mdettweiler [2016-10-18 00:52:37] 625*2^1443087-1 is not prime. Res64: B6E6541187F05FF2 Time : 0.0 sec. user=mdettweiler [2016-10-18 00:52:37] 685*2^1443087-1 is not prime. Res64: 8C856C80E01C185C Time : 0.0 sec. user=mdettweiler [2016-10-18 00:52:38] 739*2^1443087-1 is not prime. Res64: C538CFB16103BE7B Time : 0.0 sec. user=mdettweiler [2016-10-18 00:52:38] 741*2^1443087-1 is not prime. Res64: 97D02987FA06FC24 Time : 0.0 sec. user=mdettweiler [2016-10-18 00:52:39] 781*2^1443087-1 is not prime. Res64: 85E6DA029A5F21C5 Time : 0.0 sec. user=mdettweiler [2016-10-18 01:04:00] 933*2^1443087-1 is not prime. Res64: FA573BDED419FF68 Time : 0.0 sec. user=mdettweiler [2016-10-18 01:04:02] 979*2^1443087-1 is not prime. Res64: 7921180B7657D375 Time : 0.0 sec. user=mdettweiler [2016-10-18 01:04:03] 605*2^1443088-1 is not prime. Res64: 8A76B081D557B62B Time : 0.0 sec. user=mdettweiler [2016-10-18 01:04:04] 827*2^1443088-1 is not prime. Res64: D283C9BC3EF82CE7 Time : 0.0 sec. user=mdettweiler [2016-10-18 01:04:07] 657*2^1443089-1 is not prime. Res64: CFA5857F441232D3 Time : 0.0 sec. user=mdettweiler [2016-10-18 01:04:08] 727*2^1443089-1 is not prime. Res64: 69B82C72F4200D4A Time : 0.0 sec. user=mdettweiler [2016-10-18 01:04:09] 837*2^1443089-1 is not prime. Res64: D3D1E6D14D5565D0 Time : 0.0 sec. user=mdettweiler [2016-10-18 01:04:11] 855*2^1443089-1 is not prime. Res64: 879CD1BDC6751511 Time : 0.0 sec. user=mdettweiler [2016-10-18 01:04:13] 861*2^1443089-1 is not prime. Res64: 952CC1689EE72048 Time : 0.0 sec. user=mdettweiler [2016-10-18 01:04:18] 611*2^1443090-1 is not prime. Res64: FAF6C8D13E9347D3 Time : 0.0 sec. user=mdettweiler [2016-10-18 01:05:50] 765*2^1443090-1 is not prime. Res64: 59C38804875AD081 Time : 0.0 sec. user=mdettweiler [2016-10-18 01:05:52] 825*2^1443090-1 is not prime. Res64: 73CC2985B5167DDC Time : 0.0 sec. user=mdettweiler [2016-10-18 01:05:53] 833*2^1443090-1 is not prime. Res64: 69B1ABA1E404169B Time : 0.0 sec. user=mdettweiler [2016-10-18 01:05:55] 861*2^1443090-1 is not prime. Res64: C08854F94E3175D0 Time : 0.0 sec. user=mdettweiler [2016-10-18 01:05:57] 971*2^1443090-1 is not prime. Res64: 2785F0DF00607552 Time : 0.0 sec. user=mdettweiler [2016-10-18 01:37:04] 601*2^1443091-1 is not prime. Res64: FEC5A8227AF1C9DB Time : 0.0 sec. user=mdettweiler [2016-10-18 01:37:05] 975*2^1443091-1 is not prime. Res64: 2AA6E84AD02629C0 Time : 0.0 sec. user=mdettweiler [2016-10-18 01:37:05] 993*2^1443091-1 is not prime. Res64: 1A0D8800623E3AE2 Time : 0.0 sec. user=mdettweiler [2016-10-18 01:37:06] 635*2^1443092-1 is not prime. Res64: CFEEC95A306467B9 Time : 0.0 sec. user=mdettweiler [2016-10-18 01:37:06] 699*2^1443092-1 is not prime. Res64: 00003CADDDAEE2B2 Time : 0.0 sec. user=mdettweiler [2016-10-18 01:48:40] 873*2^1443092-1 is not prime. Res64: 697A87C8A8D5703B Time : 0.0 sec. user=mdettweiler [2016-10-18 01:48:40] 879*2^1443092-1 is not prime. Res64: B864E699C5CCAA40 Time : 0.0 sec. user=mdettweiler [2016-10-18 01:48:41] 945*2^1443092-1 is not prime. Res64: BD778DFA9F7B188B Time : 0.0 sec. user=mdettweiler [2016-10-18 01:48:41] 627*2^1443093-1 is not prime. Res64: E2205217BE73F880 Time : 0.0 sec. user=mdettweiler [2016-10-18 01:48:42] 657*2^1443093-1 is not prime. Res64: BF3833D311334B58 Time : 0.0 sec. user=mdettweiler [2016-10-18 01:48:53] 669*2^1443093-1 is not prime. Res64: E8B03098611FB631 Time : 0.0 sec. user=mdettweiler [2016-10-18 01:48:53] 685*2^1443093-1 is not prime. Res64: 363A33A0D8036FD5 Time : 0.0 sec. user=mdettweiler [2016-10-18 01:48:54] 759*2^1443093-1 is not prime. Res64: DC17C9A2301C0601 Time : 0.0 sec. user=mdettweiler [2016-10-18 01:48:54] 861*2^1443093-1 is not prime. Res64: 24829778BD2DB167 Time : 0.0 sec. user=mdettweiler [2016-10-18 01:48:55] 891*2^1443093-1 is not prime. Res64: DA7AB84CE601B314 Time : 0.0 sec. user=mdettweiler [2016-10-18 01:50:27] 921*2^1443093-1 is not prime. Res64: 083DDD9D08B08FA8 Time : 0.0 sec. user=mdettweiler [2016-10-18 01:50:27] 979*2^1443093-1 is not prime. Res64: 612F60B968F7D956 Time : 0.0 sec. user=mdettweiler [2016-10-18 01:50:28] 605*2^1443094-1 is not prime. Res64: DD70C8AF0AD664F6 Time : 0.0 sec. user=mdettweiler [2016-10-18 01:50:28] 621*2^1443094-1 is not prime. Res64: C5F7DECE76103DC2 Time : 0.0 sec. user=mdettweiler [2016-10-18 01:50:29] 623*2^1443094-1 is not prime. Res64: 29C43DE790DE4CA8 Time : 0.0 sec. user=mdettweiler [2016-10-18 02:22:30] 773*2^1443094-1 is not prime. Res64: 5A56054B77C150DB Time : 0.0 sec. user=mdettweiler [2016-10-18 02:22:31] 983*2^1443094-1 is not prime. Res64: B09CC789E0E38FB7 Time : 0.0 sec. user=mdettweiler [2016-10-18 02:22:31] 843*2^1443095-1 is not prime. Res64: F5ACDF1AF483D931 Time : 0.0 sec. user=mdettweiler [2016-10-18 02:22:32] 855*2^1443095-1 is not prime. Res64: 69C47513042D5840 Time : 0.0 sec. user=mdettweiler [2016-10-18 02:22:32] 889*2^1443095-1 is not prime. Res64: 1679E7FD8A429B6C Time : 0.0 sec. user=mdettweiler [2016-10-18 02:34:23] 943*2^1443095-1 is not prime. Res64: C89E1FBF9321851F Time : 0.0 sec. user=mdettweiler [2016-10-18 02:34:25] 963*2^1443095-1 is not prime. Res64: D2D3E74F9EADDEC6 Time : 0.0 sec. user=mdettweiler [2016-10-18 02:34:28] 979*2^1443095-1 is not prime. Res64: 3BBF5DA64F18B1C7 Time : 0.0 sec. user=mdettweiler [2016-10-18 02:34:30] 981*2^1443095-1 is not prime. Res64: E33394C0D925099F Time : 0.0 sec. user=mdettweiler [2016-10-18 02:34:33] 999*2^1443095-1 is not prime. Res64: 487F194A9511A19E Time : 0.0 sec. user=mdettweiler [2016-10-18 02:34:35] 633*2^1443096-1 is not prime. Res64: 22D3AE69F551AB7C Time : 0.0 sec. user=mdettweiler [2016-10-18 02:34:36] 707*2^1443096-1 is not prime. Res64: 86D6809E22EE41CC Time : 0.0 sec. user=mdettweiler [2016-10-18 02:34:38] 773*2^1443096-1 is not prime. Res64: 62540DD9BB0F57E0 Time : 0.0 sec. user=mdettweiler [2016-10-18 02:34:43] 779*2^1443096-1 is not prime. Res64: 5F23DC4C183A3E8C Time : 0.0 sec. user=mdettweiler [2016-10-18 02:34:50] 923*2^1443096-1 is not prime. Res64: C17AA119810A8662 Time : 0.0 sec. user=mdettweiler [2016-10-18 02:36:06] 615*2^1443097-1 is not prime. Res64: 0E8C36555FB80B3B Time : 0.0 sec. user=mdettweiler [2016-10-18 02:36:07] 625*2^1443097-1 is not prime. Res64: 0ACBE23EE17CD9E1 Time : 0.0 sec. user=mdettweiler [2016-10-18 02:36:08] 717*2^1443097-1 is not prime. Res64: 14F74945743B7ACE Time : 0.0 sec. user=mdettweiler [2016-10-18 02:36:09] 741*2^1443097-1 is not prime. Res64: A7A93C580F961465 Time : 0.0 sec. user=mdettweiler [2016-10-18 02:36:10] 847*2^1443097-1 is not prime. Res64: 84CF60AD540C6738 Time : 0.0 sec. user=mdettweiler [2016-10-18 03:07:19] 939*2^1443097-1 is not prime. Res64: AF6104E8A9E8686B Time : 0.0 sec. user=mdettweiler [2016-10-18 03:07:21] 999*2^1443097-1 is not prime. Res64: 6BB1F99A980E13F5 Time : 0.0 sec. user=mdettweiler [2016-10-18 03:07:22] 623*2^1443098-1 is not prime. Res64: 8678075F55FFEE62 Time : 0.0 sec. user=mdettweiler [2016-10-18 03:07:26] 791*2^1443098-1 is not prime. Res64: E787D4F747EF4181 Time : 0.0 sec. user=mdettweiler [2016-10-18 03:07:28] 613*2^1443099-1 is not prime. Res64: 5956669F060B7891 Time : 0.0 sec. user=mdettweiler [2016-10-18 03:19:20] 619*2^1443099-1 is not prime. Res64: 4FBCBFF88B37F5CA Time : 0.0 sec. user=mdettweiler [2016-10-18 03:19:21] 853*2^1443099-1 is not prime. Res64: 31F22DE83FC810A1 Time : 0.0 sec. user=mdettweiler [2016-10-18 03:19:21] 895*2^1443099-1 is not prime. Res64: 38C0A191D4E47CB8 Time : 0.0 sec. user=mdettweiler [2016-10-18 03:19:22] 903*2^1443099-1 is not prime. Res64: 79F2515350888AA5 Time : 0.0 sec. user=mdettweiler [2016-10-18 03:19:23] 955*2^1443099-1 is not prime. Res64: B9F1C6575AEA4CEC Time : 0.0 sec. user=mdettweiler [2016-10-18 03:19:43] 961*2^1443099-1 is not prime. Res64: A09BD09D89832421 Time : 0.0 sec. user=mdettweiler [2016-10-18 03:19:43] 609*2^1443100-1 is not prime. Res64: 46370FC0E439353E Time : 0.0 sec. user=mdettweiler [2016-10-18 03:19:44] 693*2^1443100-1 is not prime. Res64: 1A408D990724EB83 Time : 0.0 sec. user=mdettweiler [2016-10-18 03:19:44] 819*2^1443100-1 is not prime. Res64: 58F0F8CAB2332097 Time : 0.0 sec. user=mdettweiler [2016-10-18 03:19:45] 845*2^1443100-1 is not prime. Res64: 53218D1B45A60FF7 Time : 0.0 sec. user=mdettweiler [2016-10-18 03:21:01] 855*2^1443100-1 is not prime. Res64: 1BCB46143C084F10 Time : 0.0 sec. user=mdettweiler [2016-10-18 03:21:01] 885*2^1443100-1 is not prime. Res64: A00325B7D081CBB1 Time : 0.0 sec. user=mdettweiler [2016-10-18 03:21:01] 983*2^1443100-1 is not prime. Res64: E6C11D94570D1AA8 Time : 0.0 sec. user=mdettweiler [2016-10-18 03:21:02] 989*2^1443100-1 is not prime. Res64: 88570CE84665CEA2 Time : 0.0 sec. user=mdettweiler [2016-10-18 03:21:02] 995*2^1443100-1 is not prime. Res64: 92C6C5CCBA25D0C7 Time : 0.0 sec. user=mdettweiler [2016-10-18 03:53:11] 999*2^1443100-1 is not prime. Res64: 448D9DC5382F843B Time : 0.0 sec. user=mdettweiler [2016-10-18 03:53:14] 607*2^1443101-1 is not prime. Res64: FAE2904F094783F9 Time : 0.0 sec. user=mdettweiler [2016-10-18 03:53:15] 615*2^1443101-1 is not prime. Res64: 15F3EB0BD9CF5ADC Time : 0.0 sec. user=mdettweiler [2016-10-18 03:53:17] 937*2^1443101-1 is not prime. Res64: 4D5FC56774B58911 Time : 0.0 sec. user=mdettweiler [2016-10-18 03:53:20] 949*2^1443101-1 is not prime. Res64: 83A5C0AA0F600636 Time : 0.0 sec. user=mdettweiler [2016-10-18 04:04:35] 951*2^1443101-1 is not prime. Res64: E70D8E68845BED6B Time : 0.0 sec. user=mdettweiler [2016-10-18 04:04:37] 987*2^1443101-1 is not prime. Res64: 8FEC9055471AD026 Time : 0.0 sec. user=mdettweiler [2016-10-18 04:04:39] 741*2^1443102-1 is not prime. Res64: F10CCE353BD83B51 Time : 0.0 sec. user=mdettweiler [2016-10-18 04:04:40] 791*2^1443102-1 is not prime. Res64: 4BFDC3EA36C5CDFA Time : 0.0 sec. user=mdettweiler [2016-10-18 04:04:43] 921*2^1443102-1 is not prime. Res64: 869C0558490DB2BF Time : 0.0 sec. user=mdettweiler [2016-10-18 04:05:07] 609*2^1443103-1 is not prime. Res64: A77206DB269F0724 Time : 0.0 sec. user=mdettweiler [2016-10-18 04:05:09] 693*2^1443103-1 is not prime. Res64: 5C84CC48B0A3F9F1 Time : 0.0 sec. user=mdettweiler [2016-10-18 04:05:11] 709*2^1443103-1 is not prime. Res64: 9794ED45478E7E47 Time : 0.0 sec. user=mdettweiler [2016-10-18 04:05:12] 751*2^1443103-1 is not prime. Res64: 2FEA44D9C041C188 Time : 0.0 sec. user=mdettweiler [2016-10-18 04:05:13] 763*2^1443103-1 is not prime. Res64: F8DE671F35D95A9B Time : 0.0 sec. user=mdettweiler [2016-10-18 04:06:27] 859*2^1443103-1 is not prime. Res64: EA7A75AD84B90FCC Time : 0.0 sec. user=mdettweiler [2016-10-18 04:06:29] 943*2^1443103-1 is not prime. Res64: 51E072DDDDC5F5DD Time : 0.0 sec. user=mdettweiler [2016-10-18 04:06:32] 999*2^1443103-1 is not prime. Res64: 11904874054FAF60 Time : 0.0 sec. user=mdettweiler [2016-10-18 04:06:33] 615*2^1443104-1 is not prime. Res64: E56CDB9D20BD7CBF Time : 0.0 sec. user=mdettweiler [2016-10-18 04:06:35] 635*2^1443104-1 is not prime. Res64: 4BAC3B645DFEE0F8 Time : 0.0 sec. user=mdettweiler [2016-10-18 04:38:48] 665*2^1443104-1 is not prime. Res64: E4F2D85432D3E4EC Time : 0.0 sec. user=mdettweiler [2016-10-18 04:38:48] 677*2^1443104-1 is not prime. Res64: 0F6118FD9A1556E3 Time : 0.0 sec. user=mdettweiler [2016-10-18 04:38:49] 753*2^1443104-1 is not prime. Res64: 32ECEEE77F06709A Time : 0.0 sec. user=mdettweiler [2016-10-18 04:38:49] 825*2^1443104-1 is not prime. Res64: B8D72042BF2EC9B3 Time : 0.0 sec. user=mdettweiler [2016-10-18 04:38:50] 601*2^1443105-1 is not prime. Res64: 73753AECACD7D709 Time : 0.0 sec. user=mdettweiler [2016-10-18 04:49:57] 649*2^1443105-1 is not prime. Res64: 33B26282D576E54C Time : 0.0 sec. user=mdettweiler [2016-10-18 04:49:57] 711*2^1443105-1 is not prime. Res64: C061F013E05A9679 Time : 0.0 sec. user=mdettweiler [2016-10-18 04:49:58] 727*2^1443105-1 is not prime. Res64: D4AF2067C7FC8121 Time : 0.0 sec. user=mdettweiler [2016-10-18 04:49:58] 777*2^1443105-1 is not prime. Res64: 39386637D0AD124C Time : 0.0 sec. user=mdettweiler [2016-10-18 04:49:59] 837*2^1443105-1 is not prime. Res64: 0968DED3BC8CEB65 Time : 0.0 sec. user=mdettweiler [2016-10-18 04:50:25] 847*2^1443105-1 is not prime. Res64: 7547E7C487EC3961 Time : 0.0 sec. user=mdettweiler [2016-10-18 04:50:27] 919*2^1443105-1 is not prime. Res64: B4F219D7FED4104F Time : 0.0 sec. user=mdettweiler [2016-10-18 04:50:28] 611*2^1443106-1 is not prime. Res64: BB0196F8722FE04B Time : 0.0 sec. user=mdettweiler [2016-10-18 04:50:30] 657*2^1443106-1 is not prime. Res64: 4F2966E6120FD40C Time : 0.0 sec. user=mdettweiler [2016-10-18 04:50:31] 663*2^1443106-1 is not prime. Res64: 14AE6551A3B4AE21 Time : 0.0 sec. user=mdettweiler [2016-10-18 04:52:20] 741*2^1443106-1 is not prime. Res64: FCAE695FA9E72B41 Time : 0.0 sec. user=mdettweiler [2016-10-18 04:52:20] 993*2^1443106-1 is not prime. Res64: 6102A79DA7D011DD Time : 0.0 sec. user=mdettweiler [2016-10-18 04:52:21] 619*2^1443107-1 is not prime. Res64: 59361AFCEAF34AD9 Time : 0.0 sec. user=mdettweiler [2016-10-18 04:52:21] 963*2^1443107-1 is not prime. Res64: 78C372348DC0630C Time : 0.0 sec. user=mdettweiler [2016-10-18 04:52:22] 633*2^1443108-1 is not prime. Res64: 5EA7DF6631A31E08 Time : 0.0 sec. user=mdettweiler [2016-10-18 05:23:32] 657*2^1443108-1 is not prime. Res64: D838722F6F3BFEAD Time : 0.0 sec. user=mdettweiler [2016-10-18 05:23:33] 777*2^1443108-1 is not prime. Res64: EB23B79ADACCBC49 Time : 0.0 sec. user=mdettweiler [2016-10-18 05:23:33] 789*2^1443108-1 is not prime. Res64: EB89AFD12FD54524 Time : 0.0 sec. user=mdettweiler [2016-10-18 05:23:34] 795*2^1443108-1 is not prime. Res64: 444F1D9B28AC9056 Time : 0.0 sec. user=mdettweiler [2016-10-18 05:23:34] 825*2^1443108-1 is not prime. Res64: 9987B5610FD68643 Time : 0.0 sec. user=mdettweiler [2016-10-18 05:34:28] 845*2^1443108-1 is not prime. Res64: 9B0D92596D574233 Time : 0.0 sec. user=mdettweiler [2016-10-18 05:34:29] 887*2^1443108-1 is not prime. Res64: BAF9D1303D99C37D Time : 0.0 sec. user=mdettweiler [2016-10-18 05:34:29] 649*2^1443109-1 is not prime. Res64: 9AACF2071FDB126F Time : 0.0 sec. user=mdettweiler [2016-10-18 05:34:30] 741*2^1443109-1 is not prime. Res64: 1D8B619417A7F555 Time : 0.0 sec. user=mdettweiler [2016-10-18 05:34:30] 757*2^1443109-1 is not prime. Res64: ECBBC4249B89D08F Time : 0.0 sec. user=mdettweiler [2016-10-18 05:35:07] 771*2^1443109-1 is not prime. Res64: 1F7AFF0F91162044 Time : 0.0 sec. user=mdettweiler [2016-10-18 05:35:07] 897*2^1443109-1 is not prime. Res64: 6602F04563E06D3C Time : 0.0 sec. user=mdettweiler [2016-10-18 05:35:08] 919*2^1443109-1 is not prime. Res64: 9A93EBF67A74A1F6 Time : 0.0 sec. user=mdettweiler [2016-10-18 05:35:08] 955*2^1443109-1 is not prime. Res64: 54C669EB7FCCD446 Time : 0.0 sec. user=mdettweiler [2016-10-18 05:35:09] 961*2^1443109-1 is not prime. Res64: 3318C52AAA16EB70 Time : 0.0 sec. user=mdettweiler [2016-10-18 05:36:51] 623*2^1443110-1 is not prime. Res64: 1278FBA4957E9D82 Time : 0.0 sec. user=mdettweiler [2016-10-18 05:36:51] 773*2^1443110-1 is not prime. Res64: 071AB79BF50D4B04 Time : 0.0 sec. user=mdettweiler [2016-10-18 05:36:52] 785*2^1443110-1 is not prime. Res64: 640F35D9D61A58E1 Time : 0.0 sec. user=mdettweiler [2016-10-18 05:36:52] 885*2^1443110-1 is not prime. Res64: 492A27D10E0B8461 Time : 0.0 sec. user=mdettweiler [2016-10-18 05:36:53] 887*2^1443110-1 is not prime. Res64: DDC552CA2B946DEB Time : 0.0 sec. user=mdettweiler [2016-10-18 06:08:11] 893*2^1443110-1 is not prime. Res64: A0201011CC6F468A Time : 0.0 sec. user=mdettweiler [2016-10-18 06:08:12] 601*2^1443111-1 is not prime. Res64: 00A42F3AFED802F7 Time : 0.0 sec. user=mdettweiler [2016-10-18 06:08:13] 735*2^1443111-1 is not prime. Res64: AE5125CFB9CED513 Time : 0.0 sec. user=mdettweiler [2016-10-18 06:08:13] 819*2^1443111-1 is not prime. Res64: 2CD2A293E5C8AC1A Time : 0.0 sec. user=mdettweiler [2016-10-18 06:08:14] 859*2^1443111-1 is not prime. Res64: CBDD4CE316A5BC0C Time : 0.0 sec. user=mdettweiler [2016-10-18 06:19:05] 865*2^1443111-1 is not prime. Res64: 5EB73529B72ECC11 Time : 0.0 sec. user=mdettweiler [2016-10-18 06:19:06] 885*2^1443111-1 is not prime. Res64: FFF307D26FED6C2B Time : 0.0 sec. user=mdettweiler [2016-10-18 06:19:07] 921*2^1443111-1 is not prime. Res64: 76E2156C75C86A0D Time : 0.0 sec. user=mdettweiler [2016-10-18 06:19:07] 951*2^1443111-1 is not prime. Res64: C8896F46C7179A00 Time : 0.0 sec. user=mdettweiler [2016-10-18 06:19:08] 603*2^1443112-1 is not prime. Res64: 7E9FC14DC8789481 Time : 0.0 sec. user=mdettweiler [2016-10-18 06:19:34] 623*2^1443112-1 is not prime. Res64: A6995B477D64D91A Time : 0.0 sec. user=mdettweiler [2016-10-18 06:19:35] 639*2^1443112-1 is not prime. Res64: 511BE655B5A1B43C Time : 0.0 sec. user=mdettweiler [2016-10-18 06:19:36] 765*2^1443112-1 is not prime. Res64: 13B7EFA7FDF5879B Time : 0.0 sec. user=mdettweiler [2016-10-18 06:19:37] 827*2^1443112-1 is not prime. Res64: 7D95B60AD73E3022 Time : 0.0 sec. user=mdettweiler [2016-10-18 06:19:38] 863*2^1443112-1 is not prime. Res64: 857CA6B799A2DF30 Time : 0.0 sec. user=mdettweiler [2016-10-18 06:21:25] 917*2^1443112-1 is not prime. Res64: 3B3FD3C131BC0DDD Time : 0.0 sec. user=mdettweiler [2016-10-18 06:21:26] 989*2^1443112-1 is not prime. Res64: 9AD799A90E4EB9DB Time : 0.0 sec. user=mdettweiler [2016-10-18 06:21:26] 615*2^1443113-1 is not prime. Res64: 0DF03B19C17E6974 Time : 0.0 sec. user=mdettweiler [2016-10-18 06:21:27] 697*2^1443113-1 is not prime. Res64: 54D18CE73C37461E Time : 0.0 sec. user=mdettweiler [2016-10-18 06:21:28] 811*2^1443113-1 is not prime. Res64: AB14EA021E21BB63 Time : 0.0 sec. user=mdettweiler [2016-10-18 06:52:41] 987*2^1443113-1 is not prime. Res64: 73FC7B0EEC978A87 Time : 0.0 sec. user=mdettweiler [2016-10-18 06:52:42] 651*2^1443114-1 is not prime. Res64: 9ABF8FDACA269D7A Time : 0.0 sec. user=mdettweiler [2016-10-18 06:52:43] 677*2^1443114-1 is not prime. Res64: 476177BDA543574B Time : 0.0 sec. user=mdettweiler [2016-10-18 06:52:44] 725*2^1443114-1 is not prime. Res64: BE8E40A96C8E76CF Time : 0.0 sec. user=mdettweiler [2016-10-18 06:52:45] 783*2^1443114-1 is not prime. Res64: D0E759B4141FAE64 Time : 0.0 sec. user=mdettweiler [2016-10-18 07:03:57] 983*2^1443114-1 is not prime. Res64: 731D3D2F253B9F25 Time : 0.0 sec. user=mdettweiler [2016-10-18 07:03:59] 993*2^1443114-1 is not prime. Res64: B0472C8F5CAA90D0 Time : 0.0 sec. user=mdettweiler [2016-10-18 07:04:01] 633*2^1443115-1 is not prime. Res64: 0AEF5F980E3E7479 Time : 0.0 sec. user=mdettweiler [2016-10-18 07:04:03] 649*2^1443115-1 is not prime. Res64: F5457FF54C03B442 Time : 0.0 sec. user=mdettweiler [2016-10-18 07:04:04] 679*2^1443115-1 is not prime. Res64: BB3384C8A388990F Time : 0.0 sec. user=mdettweiler [2016-10-18 07:04:23] 741*2^1443115-1 is not prime. Res64: 53CFCC36A2B7CCF4 Time : 0.0 sec. user=mdettweiler [2016-10-18 07:04:24] 819*2^1443115-1 is not prime. Res64: 54032FE210D7A327 Time : 0.0 sec. user=mdettweiler [2016-10-18 07:04:25] 841*2^1443115-1 is not prime. Res64: 0DB125FBAE8C1780 Time : 0.0 sec. user=mdettweiler [2016-10-18 07:04:26] 843*2^1443115-1 is not prime. Res64: D0EA4FEC9F21E44F Time : 0.0 sec. user=mdettweiler [2016-10-18 07:04:27] 855*2^1443115-1 is not prime. Res64: FF36663195F8E637 Time : 0.0 sec. user=mdettweiler [2016-10-18 07:06:28] 861*2^1443115-1 is not prime. Res64: 30EB47C8F1C97580 Time : 0.0 sec. user=mdettweiler [2016-10-18 07:06:29] 895*2^1443115-1 is not prime. Res64: 7C732B42E0E664DB Time : 0.0 sec. user=mdettweiler [2016-10-18 07:06:30] 909*2^1443115-1 is not prime. Res64: 22586C30253AF596 Time : 0.0 sec. user=mdettweiler [2016-10-18 07:06:32] 603*2^1443116-1 is not prime. Res64: C82A8CD494ADBAD2 Time : 0.0 sec. user=mdettweiler [2016-10-18 07:06:34] 777*2^1443116-1 is not prime. Res64: 7DF433709CAA2961 Time : 0.0 sec. user=mdettweiler [2016-10-18 07:37:29] 789*2^1443116-1 is not prime. Res64: 7074B0D9C7779990 Time : 0.0 sec. user=mdettweiler [2016-10-18 07:37:30] 987*2^1443116-1 is not prime. Res64: 343F4024FE8E2592 Time : 0.0 sec. user=mdettweiler [2016-10-18 07:37:30] 609*2^1443117-1 is not prime. Res64: 6C097923E5B2730D Time : 0.0 sec. user=mdettweiler [2016-10-18 07:37:31] 655*2^1443117-1 is not prime. Res64: 0C162B3460D31480 Time : 0.0 sec. user=mdettweiler [2016-10-18 07:37:31] 747*2^1443117-1 is not prime. Res64: D7FF96876C0A4C1F Time : 0.0 sec. user=mdettweiler [2016-10-18 07:48:59] 817*2^1443117-1 is not prime. Res64: 9FF7604F06B92D9D Time : 0.0 sec. user=mdettweiler [2016-10-18 07:49:00] 927*2^1443117-1 is not prime. Res64: 4E44E12CE4CD5670 Time : 0.0 sec. user=mdettweiler [2016-10-18 07:49:00] 707*2^1443118-1 is not prime. Res64: A751A370F1C321ED Time : 0.0 sec. user=mdettweiler [2016-10-18 07:49:01] 755*2^1443118-1 is not prime. Res64: 9B95B9B55B9E589F Time : 0.0 sec. user=mdettweiler [2016-10-18 07:49:01] 801*2^1443118-1 is not prime. Res64: 3760810C08B5DA69 Time : 0.0 sec. user=mdettweiler [2016-10-18 07:49:13] 885*2^1443118-1 is not prime. Res64: 90CD3E81E041D175 Time : 0.0 sec. user=mdettweiler [2016-10-18 07:49:13] 911*2^1443118-1 is not prime. Res64: 39D59E9498A7AE41 Time : 0.0 sec. user=mdettweiler [2016-10-18 07:49:14] 633*2^1443119-1 is not prime. Res64: 50B7745D2B09E6C3 Time : 0.0 sec. user=mdettweiler [2016-10-18 07:49:14] 753*2^1443119-1 is not prime. Res64: 75506F617B2EF2B5 Time : 0.0 sec. user=mdettweiler [2016-10-18 07:49:15] 985*2^1443119-1 is not prime. Res64: DDFD209DA1F84816 Time : 0.0 sec. user=mdettweiler [2016-10-18 07:51:15] 999*2^1443119-1 is not prime. Res64: 9537971BE7BD5F37 Time : 0.0 sec. user=mdettweiler [2016-10-18 07:51:15] 707*2^1443120-1 is not prime. Res64: B0B999D9559421D2 Time : 0.0 sec. user=mdettweiler [2016-10-18 07:51:16] 713*2^1443120-1 is not prime. Res64: 91CC4B86316611AD Time : 0.0 sec. user=mdettweiler [2016-10-18 07:51:16] 719*2^1443120-1 is not prime. Res64: D6EFC0DF59EE09BE Time : 0.0 sec. user=mdettweiler [2016-10-18 07:51:17] 753*2^1443120-1 is not prime. Res64: 90BFE3A9F76D2A2C Time : 0.0 sec. user=mdettweiler [2016-10-18 08:22:12] 779*2^1443120-1 is not prime. Res64: 5A411594683A5903 Time : 0.0 sec. user=mdettweiler [2016-10-18 08:22:13] 789*2^1443120-1 is not prime. Res64: 547D1205640D241A Time : 0.0 sec. user=mdettweiler [2016-10-18 08:22:14] 825*2^1443120-1 is not prime. Res64: 56E2CB9F84819995 Time : 0.0 sec. user=mdettweiler [2016-10-18 08:22:14] 899*2^1443120-1 is not prime. Res64: 36FD5138F7AE92E3 Time : 0.0 sec. user=mdettweiler [2016-10-18 08:22:15] 945*2^1443120-1 is not prime. Res64: 42CA5FD6465B9134 Time : 0.0 sec. user=mdettweiler [2016-10-18 08:33:39] 983*2^1443120-1 is not prime. Res64: 2C57F9B7A90D24C5 Time : 0.0 sec. user=mdettweiler [2016-10-18 08:33:39] 895*2^1443121-1 is not prime. Res64: BADB7AD837F39852 Time : 0.0 sec. user=mdettweiler [2016-10-18 08:33:39] 615*2^1443122-1 is not prime. Res64: E4847BED7C2A6E99 Time : 0.0 sec. user=mdettweiler [2016-10-18 08:33:40] 635*2^1443122-1 is not prime. Res64: 6D6EDF0D5F3BF741 Time : 0.0 sec. user=mdettweiler [2016-10-18 08:33:40] 711*2^1443122-1 is not prime. Res64: 5E406357014234EC Time : 0.0 sec. user=mdettweiler [2016-10-18 08:33:53] 873*2^1443122-1 is not prime. Res64: 2AF3448188355858 Time : 0.0 sec. user=mdettweiler [2016-10-18 08:33:54] 885*2^1443122-1 is not prime. Res64: DD39B6A1EC5EE998 Time : 0.0 sec. user=mdettweiler [2016-10-18 08:33:54] 613*2^1443123-1 is not prime. Res64: 782D679910A2996C Time : 0.0 sec. user=mdettweiler [2016-10-18 08:33:55] 753*2^1443123-1 is not prime. Res64: 1C7DF4C5627ED2D6 Time : 0.0 sec. user=mdettweiler [2016-10-18 08:33:55] 789*2^1443123-1 is not prime. Res64: 4E1F8DF149A75B47 Time : 0.0 sec. user=mdettweiler [2016-10-18 08:35:51] 819*2^1443123-1 is not prime. Res64: 37C5875E38EB5029 Time : 0.0 sec. user=mdettweiler [2016-10-18 08:35:51] 859*2^1443123-1 is not prime. Res64: B0B35372383857A5 Time : 0.0 sec. user=mdettweiler [2016-10-18 08:35:52] 871*2^1443123-1 is not prime. Res64: 3200E7181916C970 Time : 0.0 sec. user=mdettweiler [2016-10-18 08:35:52] 951*2^1443123-1 is not prime. Res64: DE594816F153120F Time : 0.0 sec. user=mdettweiler [2016-10-18 08:35:53] 605*2^1443124-1 is not prime. Res64: 1AD74AD6F35AC83F Time : 0.0 sec. user=mdettweiler [2016-10-18 09:06:47] 623*2^1443124-1 is not prime. Res64: 31D3753C3676047A Time : 0.0 sec. user=mdettweiler [2016-10-18 09:06:49] 765*2^1443124-1 is not prime. Res64: 814A449478F8021A Time : 0.0 sec. user=mdettweiler [2016-10-18 09:06:50] 923*2^1443124-1 is not prime. Res64: BB3248DA20EA98A4 Time : 0.0 sec. user=mdettweiler [2016-10-18 09:06:51] 939*2^1443124-1 is not prime. Res64: 5A8F9F83EDD1FF2E Time : 0.0 sec. user=mdettweiler [2016-10-18 09:06:53] 987*2^1443124-1 is not prime. Res64: EDEABA54B2879256 Time : 0.0 sec. user=mdettweiler [2016-10-18 09:18:05] 699*2^1443125-1 is not prime. Res64: C74777A685F7FB6E Time : 0.0 sec. user=mdettweiler [2016-10-18 09:18:06] 759*2^1443125-1 is not prime. Res64: 59B9DC6B1D555281 Time : 0.0 sec. user=mdettweiler [2016-10-18 09:18:06] 799*2^1443125-1 is not prime. Res64: 0ECB1A9CEAEEBF9D Time : 0.0 sec. user=mdettweiler [2016-10-18 09:18:07] 825*2^1443125-1 is not prime. Res64: BDD8BB45D075E623 Time : 0.0 sec. user=mdettweiler [2016-10-18 09:18:07] 925*2^1443125-1 is not prime. Res64: 98C9DB53C29E25D7 Time : 0.0 sec. user=mdettweiler [2016-10-18 09:18:25] 955*2^1443125-1 is not prime. Res64: 947383DEC49E42DA Time : 0.0 sec. user=mdettweiler [2016-10-18 09:18:25] 683*2^1443126-1 is not prime. Res64: 1EBEE1191F69D6BA Time : 0.0 sec. user=mdettweiler [2016-10-18 09:18:26] 723*2^1443126-1 is not prime. Res64: 75CC5031FE2A196C Time : 0.0 sec. user=mdettweiler [2016-10-18 09:18:26] 945*2^1443126-1 is not prime. Res64: 2998398126516501 Time : 0.0 sec. user=mdettweiler [2016-10-18 09:18:27] 971*2^1443126-1 is not prime. Res64: 1EA64D38F1EE1C0C Time : 0.0 sec. user=mdettweiler [2016-10-18 09:20:21] 603*2^1443127-1 is not prime. Res64: 76564AF142EAB0D9 Time : 0.0 sec. user=mdettweiler [2016-10-18 09:20:22] 619*2^1443127-1 is not prime. Res64: 73AC1EF63EE591D0 Time : 0.0 sec. user=mdettweiler [2016-10-18 09:20:23] 915*2^1443127-1 is not prime. Res64: 3FC8EF2FA5F75E46 Time : 0.0 sec. user=mdettweiler [2016-10-18 09:20:23] 931*2^1443127-1 is not prime. Res64: 294C1C84F0234A74 Time : 0.0 sec. user=mdettweiler [2016-10-18 09:20:24] 973*2^1443127-1 is not prime. Res64: B7BCB6FF02706095 Time : 0.0 sec. user=mdettweiler [2016-10-18 09:51:59] 985*2^1443127-1 is not prime. Res64: AA8ADEF492938E82 Time : 0.0 sec. user=mdettweiler [2016-10-18 09:51:59] 629*2^1443128-1 is not prime. Res64: 5E1FD48FC14C66B8 Time : 0.0 sec. user=mdettweiler [2016-10-18 09:52:00] 837*2^1443128-1 is not prime. Res64: 5B9E729AFF6D62B3 Time : 0.0 sec. user=mdettweiler [2016-10-18 09:52:00] 843*2^1443128-1 is not prime. Res64: 707E0929252830F7 Time : 0.0 sec. user=mdettweiler [2016-10-18 09:52:01] 875*2^1443128-1 is not prime. Res64: 6BF519DD865CAA10 Time : 0.0 sec. user=mdettweiler [2016-10-18 10:02:55] 959*2^1443128-1 is not prime. Res64: B12EA802B5D05F8C Time : 0.0 sec. user=mdettweiler [2016-10-18 10:02:56] 963*2^1443128-1 is not prime. Res64: 06DAE54F655A147A Time : 0.0 sec. user=mdettweiler [2016-10-18 10:02:57] 969*2^1443128-1 is not prime. Res64: 5041896A7E3ED01D Time : 0.0 sec. user=mdettweiler [2016-10-18 10:02:58] 681*2^1443129-1 is not prime. Res64: 7B217D5286B109E2 Time : 0.0 sec. user=mdettweiler [2016-10-18 10:02:59] 747*2^1443129-1 is not prime. Res64: 9295AE549C36FAA9 Time : 0.0 sec. user=mdettweiler [2016-10-18 10:03:16] 807*2^1443129-1 is not prime. Res64: 2AB91886BB5FE26A Time : 0.0 sec. user=mdettweiler [2016-10-18 10:03:17] 997*2^1443129-1 is not prime. Res64: 17912CAAD260AFBA Time : 0.0 sec. user=mdettweiler [2016-10-18 10:03:18] 605*2^1443130-1 is not prime. Res64: 0EA384899CC9E390 Time : 0.0 sec. user=mdettweiler [2016-10-18 10:03:19] 645*2^1443130-1 is not prime. Res64: 0B93B002C6FB1620 Time : 0.0 sec. user=mdettweiler [2016-10-18 10:03:20] 647*2^1443130-1 is not prime. Res64: 4A990F19AB7C0AEF Time : 0.0 sec. user=mdettweiler [2016-10-18 10:05:15] 657*2^1443130-1 is not prime. Res64: 6514A413BBC012E8 Time : 0.0 sec. user=mdettweiler [2016-10-18 10:05:17] 735*2^1443130-1 is not prime. Res64: A7317B3D98988FBB Time : 0.0 sec. user=mdettweiler [2016-10-18 10:05:19] 773*2^1443130-1 is not prime. Res64: 503EDA916D0A1A63 Time : 0.0 sec. user=mdettweiler [2016-10-18 10:05:21] 957*2^1443130-1 is not prime. Res64: BF20095E0B7C94CE Time : 0.0 sec. user=mdettweiler [2016-10-18 10:05:23] 975*2^1443130-1 is not prime. Res64: 5750BEE57C05F6CF Time : 0.0 sec. user=mdettweiler [2016-10-18 10:36:46] 981*2^1443130-1 is not prime. Res64: D1456830B489D8DF Time : 0.0 sec. user=mdettweiler [2016-10-18 10:36:47] 759*2^1443131-1 is not prime. Res64: 85F804B7424757EA Time : 0.0 sec. user=mdettweiler [2016-10-18 10:36:47] 921*2^1443131-1 is not prime. Res64: A57B391BF6BC4B0F Time : 0.0 sec. user=mdettweiler [2016-10-18 10:36:48] 939*2^1443131-1 is not prime. Res64: 1DE3DDCA2829E218 Time : 0.0 sec. user=mdettweiler [2016-10-18 10:36:48] 635*2^1443132-1 is not prime. Res64: FA31061DA07F366D Time : 0.0 sec. user=mdettweiler [2016-10-18 10:47:45] 803*2^1443132-1 is not prime. Res64: 8153D774C72D61F7 Time : 0.0 sec. user=mdettweiler [2016-10-18 10:47:46] 879*2^1443132-1 is not prime. Res64: B50CCABC7BF86B2D Time : 0.0 sec. user=mdettweiler [2016-10-18 10:47:46] 929*2^1443132-1 is not prime. Res64: 0BA663031711E31C Time : 0.0 sec. user=mdettweiler [2016-10-18 10:47:47] 987*2^1443132-1 is not prime. Res64: 6D781ED48D6B404A Time : 0.0 sec. user=mdettweiler [2016-10-18 10:47:47] 639*2^1443133-1 is not prime. Res64: 227F0ADD8136DCAE Time : 0.0 sec. user=mdettweiler [2016-10-18 10:47:54] 747*2^1443133-1 is not prime. Res64: AE51591532BEC748 Time : 0.0 sec. user=mdettweiler [2016-10-18 10:47:54] 757*2^1443133-1 is not prime. Res64: 7C4AEA659AE92DE1 Time : 0.0 sec. user=mdettweiler [2016-10-18 10:47:55] 805*2^1443133-1 is not prime. Res64: 0C3D37488BE7D8C2 Time : 0.0 sec. user=mdettweiler [2016-10-18 10:47:55] 835*2^1443133-1 is not prime. Res64: 7E1EB86A0E659EB4 Time : 0.0 sec. user=mdettweiler [2016-10-18 10:47:56] 861*2^1443133-1 is not prime. Res64: 63339A5E21D6BF09 Time : 0.0 sec. user=mdettweiler [2016-10-18 10:50:08] 937*2^1443133-1 is not prime. Res64: C4C42AE555B6DBA4 Time : 0.0 sec. user=mdettweiler [2016-10-18 10:50:08] 961*2^1443133-1 is not prime. Res64: 4FED7F5F493EDA9E Time : 0.0 sec. user=mdettweiler [2016-10-18 10:50:08] 623*2^1443134-1 is not prime. Res64: A4E572AA5040812D Time : 0.0 sec. user=mdettweiler [2016-10-18 10:50:09] 671*2^1443134-1 is not prime. Res64: FDB667FCAEFFCBFD Time : 0.0 sec. user=mdettweiler [2016-10-18 10:50:09] 675*2^1443134-1 is not prime. Res64: CC69C019DB894E8C Time : 0.0 sec. user=mdettweiler [2016-10-18 11:21:28] 791*2^1443134-1 is not prime. Res64: D650C87BCB5FAAD3 Time : 0.0 sec. user=mdettweiler [2016-10-18 11:21:28] 651*2^1443135-1 is not prime. Res64: 3941F9C13E7C204A Time : 0.0 sec. user=mdettweiler [2016-10-18 11:21:29] 691*2^1443135-1 is not prime. Res64: E7C705E75599174C Time : 0.0 sec. user=mdettweiler [2016-10-18 11:21:29] 751*2^1443135-1 is not prime. Res64: 4136B78DFC64BF08 Time : 0.0 sec. user=mdettweiler [2016-10-18 11:21:30] 763*2^1443135-1 is not prime. Res64: 2A37DC4C0EB97A0B Time : 0.0 sec. user=mdettweiler [2016-10-18 11:32:25] 969*2^1443135-1 is not prime. Res64: 5A64BCE8E65E4406 Time : 0.0 sec. user=mdettweiler [2016-10-18 11:32:25] 615*2^1443136-1 is not prime. Res64: 06DD1901263DD3E3 Time : 0.0 sec. user=mdettweiler [2016-10-18 11:32:26] 743*2^1443136-1 is not prime. Res64: 914BE242F47D1C6F Time : 0.0 sec. user=mdettweiler [2016-10-18 11:32:26] 759*2^1443136-1 is not prime. Res64: E358161BD3294023 Time : 0.0 sec. user=mdettweiler [2016-10-18 11:32:27] 813*2^1443136-1 is not prime. Res64: 3B9A020383C5B870 Time : 0.0 sec. user=mdettweiler [2016-10-18 11:32:27] 781*2^1443135-1 is not prime. Res64: 4BDA7104CBFEF993 Time : 0.0 sec. user=mdettweiler [2016-10-18 11:32:27] 825*2^1443135-1 is not prime. Res64: 514C505A4E5C634C Time : 0.0 sec. user=mdettweiler [2016-10-18 11:32:28] 859*2^1443135-1 is not prime. Res64: 207B17407E8BDAB3 Time : 0.0 sec. user=mdettweiler [2016-10-18 11:32:28] 885*2^1443135-1 is not prime. Res64: A1FA4734ECD47839 Time : 0.0 sec. user=mdettweiler [2016-10-18 11:32:29] 933*2^1443135-1 is not prime. Res64: 479B6CF7EDBF24AE Time : 0.0 sec. user=mdettweiler [2016-10-18 11:34:54] 833*2^1443136-1 is not prime. Res64: F2B7D0D45439E46A Time : 0.0 sec. user=mdettweiler [2016-10-18 11:34:54] 849*2^1443136-1 is not prime. Res64: 5EFF85C24BB8938F Time : 0.0 sec. user=mdettweiler [2016-10-18 11:34:55] 873*2^1443136-1 is not prime. Res64: E1889C2466899744 Time : 0.0 sec. user=mdettweiler [2016-10-18 11:34:55] 927*2^1443136-1 is not prime. Res64: 8B00B7D863E994AF Time : 0.0 sec. user=mdettweiler [2016-10-18 11:34:56] 699*2^1443137-1 is not prime. Res64: EA8145387B12A9DE Time : 0.0 sec. user=mdettweiler [2016-10-18 12:06:09] 729*2^1443137-1 is not prime. Res64: 0AF624A42C425698 Time : 0.0 sec. user=mdettweiler [2016-10-18 12:06:11] 889*2^1443137-1 is not prime. Res64: 04CA6E74113E5F4E Time : 0.0 sec. user=mdettweiler [2016-10-18 12:06:12] 901*2^1443137-1 is not prime. Res64: ACE4B6333E54F36E Time : 0.0 sec. user=mdettweiler [2016-10-18 12:06:13] 937*2^1443137-1 is not prime. Res64: D79393686D146453 Time : 0.0 sec. user=mdettweiler [2016-10-18 12:06:14] 945*2^1443137-1 is not prime. Res64: 8AF828D6072A1EBA Time : 0.0 sec. user=mdettweiler [2016-10-18 12:17:03] 967*2^1443137-1 is not prime. Res64: 4E1CB520346BDED3 Time : 0.0 sec. user=mdettweiler [2016-10-18 12:17:05] 681*2^1443138-1 is not prime. Res64: B8254CCFD972AF05 Time : 0.0 sec. user=mdettweiler [2016-10-18 12:17:07] 737*2^1443138-1 is not prime. Res64: A21D358BD3A0E2F2 Time : 0.0 sec. user=mdettweiler [2016-10-18 12:17:08] 755*2^1443138-1 is not prime. Res64: D882D2E11E7886FC Time : 0.0 sec. user=mdettweiler [2016-10-18 12:17:10] 861*2^1443138-1 is not prime. Res64: 2F7D4DDA9E5F7012 Time : 0.0 sec. user=mdettweiler [2016-10-18 12:17:14] 867*2^1443138-1 is not prime. Res64: FA7F58925625DA32 Time : 0.0 sec. user=mdettweiler [2016-10-18 12:17:17] 881*2^1443138-1 is not prime. Res64: 77F626683E9019F2 Time : 0.0 sec. user=mdettweiler [2016-10-18 12:17:18] 963*2^1443138-1 is not prime. Res64: 3048F0AF0CA46432 Time : 0.0 sec. user=mdettweiler [2016-10-18 12:17:19] 1001*2^1443138-1 is not prime. Res64: 2FBBEA862E3359AC Time : 0.0 sec. user=mdettweiler [2016-10-18 12:17:21] 603*2^1443139-1 is not prime. Res64: 96559DDC9296E6AF Time : 0.0 sec. user=mdettweiler [2016-10-18 12:19:36] 645*2^1443139-1 is not prime. Res64: 65E6F06D9870C8BD Time : 0.0 sec. user=mdettweiler [2016-10-18 12:19:37] 681*2^1443139-1 is not prime. Res64: E78F89E77A95129D Time : 0.0 sec. user=mdettweiler [2016-10-18 12:19:37] 703*2^1443139-1 is not prime. Res64: 42DC56597FBAEE9E Time : 0.0 sec. user=mdettweiler [2016-10-18 12:19:38] 759*2^1443139-1 is not prime. Res64: 38D7419537C693D5 Time : 0.0 sec. user=mdettweiler [2016-10-18 12:19:39] 769*2^1443139-1 is not prime. Res64: FF79BBA2A086EBAE Time : 0.0 sec. user=mdettweiler [2016-10-18 12:50:48] 843*2^1443139-1 is not prime. Res64: DEA41DFA4F273BE7 Time : 0.0 sec. user=mdettweiler [2016-10-18 12:50:48] 735*2^1443140-1 is not prime. Res64: 6E4B016CE225FA12 Time : 0.0 sec. user=mdettweiler [2016-10-18 12:50:49] 759*2^1443140-1 is not prime. Res64: 6CD037DA7B6467FB Time : 0.0 sec. user=mdettweiler [2016-10-18 12:50:50] 803*2^1443140-1 is not prime. Res64: FF4359AE1161D02F Time : 0.0 sec. user=mdettweiler [2016-10-18 12:50:51] 885*2^1443140-1 is not prime. Res64: F865342A67F14728 Time : 0.0 sec. user=mdettweiler [2016-10-18 13:02:04] 953*2^1443140-1 is not prime. Res64: 1BECA1CD37A7760E Time : 0.0 sec. user=mdettweiler [2016-10-18 13:02:05] 627*2^1443141-1 is not prime. Res64: 0969A92CCB768543 Time : 0.0 sec. user=mdettweiler [2016-10-18 13:02:06] 711*2^1443141-1 is not prime. Res64: 5D490E3179C53B2E Time : 0.0 sec. user=mdettweiler [2016-10-18 13:02:07] 837*2^1443141-1 is not prime. Res64: 2350206B01840E27 Time : 0.0 sec. user=mdettweiler [2016-10-18 13:02:08] 811*2^1443141-1 is not prime. Res64: A02AEEA19F206D43 Time : 0.0 sec. user=mdettweiler [2016-10-18 13:02:08] 901*2^1443141-1 is not prime. Res64: 11AB56A3B3D17C3C Time : 0.0 sec. user=mdettweiler [2016-10-18 13:02:09] 975*2^1443141-1 is not prime. Res64: 31023231EA1890A1 Time : 0.0 sec. user=mdettweiler [2016-10-18 13:02:10] 829*2^1443141-1 is not prime. Res64: 9BF3F7EBB1FD5767 Time : 0.0 sec. user=mdettweiler [2016-10-18 13:02:10] 647*2^1443142-1 is not prime. Res64: A7EDB9F014A456AB Time : 0.0 sec. user=mdettweiler [2016-10-18 13:02:11] 677*2^1443142-1 is not prime. Res64: 14874B4C43830184 Time : 0.0 sec. user=mdettweiler [2016-10-18 13:04:23] 681*2^1443142-1 is not prime. Res64: 96D6BA7CFBE25B6A Time : 0.0 sec. user=mdettweiler [2016-10-18 13:04:24] 713*2^1443142-1 is not prime. Res64: 2A241EF81693BE96 Time : 0.0 sec. user=mdettweiler [2016-10-18 13:04:25] 761*2^1443142-1 is not prime. Res64: 661EE2ABAD0EA730 Time : 0.0 sec. user=mdettweiler [2016-10-18 13:04:26] 791*2^1443142-1 is not prime. Res64: 6A54E99FEDED1784 Time : 0.0 sec. user=mdettweiler [2016-10-18 13:04:27] 705*2^1443143-1 is not prime. Res64: E58A015A7EF5BD1C Time : 0.0 sec. user=mdettweiler [2016-10-18 13:35:29] 735*2^1443143-1 is not prime. Res64: D39E153165012C6C Time : 0.0 sec. user=mdettweiler [2016-10-18 13:35:29] 771*2^1443143-1 is not prime. Res64: 16964A8C0015E163 Time : 0.0 sec. user=mdettweiler [2016-10-18 13:35:30] 775*2^1443143-1 is not prime. Res64: AF5A4621DB6081E0 Time : 0.0 sec. user=mdettweiler [2016-10-18 13:35:30] 783*2^1443143-1 is not prime. Res64: FC7DC238AA1A3FC9 Time : 0.0 sec. user=mdettweiler [2016-10-18 13:35:31] 895*2^1443143-1 is not prime. Res64: EBD05AD4A4C10F60 Time : 0.0 sec. user=mdettweiler [2016-10-18 13:46:55] 825*2^1443144-1 is not prime. Res64: 5B365CCAFBEB57E5 Time : 0.0 sec. user=mdettweiler [2016-10-18 13:46:55] 929*2^1443144-1 is not prime. Res64: 91DC298C64A3F05C Time : 0.0 sec. user=mdettweiler [2016-10-18 13:46:56] 609*2^1443145-1 is not prime. Res64: C082A7446543ECE7 Time : 0.0 sec. user=mdettweiler [2016-10-18 13:46:56] 651*2^1443145-1 is not prime. Res64: 128E5166A964769C Time : 0.0 sec. user=mdettweiler [2016-10-18 13:46:56] 999*2^1443143-1 is not prime. Res64: E220379A6FD4CE47 Time : 0.0 sec. user=mdettweiler [2016-10-18 13:46:57] 789*2^1443145-1 is not prime. Res64: D23B360AF1343750 Time : 0.0 sec. user=mdettweiler [2016-10-18 13:46:57] 629*2^1443144-1 is not prime. Res64: 358B4CEA65E3D304 Time : 0.0 sec. user=mdettweiler [2016-10-18 13:46:57] 705*2^1443144-1 is not prime. Res64: C880D138617DFE67 Time : 0.0 sec. user=mdettweiler [2016-10-18 13:46:58] 719*2^1443144-1 is not prime. Res64: 8E5BFDC01E45319F Time : 0.0 sec. user=mdettweiler [2016-10-18 13:46:58] 737*2^1443144-1 is not prime. Res64: 21BA9A279D55189C Time : 0.0 sec. user=mdettweiler [2016-10-18 13:49:23] 831*2^1443145-1 is not prime. Res64: 1C7EAB10C9FA543E Time : 0.0 sec. user=mdettweiler [2016-10-18 13:49:24] 871*2^1443145-1 is not prime. Res64: 1B0C969EAAE5C376 Time : 0.0 sec. user=mdettweiler [2016-10-18 13:49:25] 885*2^1443145-1 is not prime. Res64: 47BE77E5CC2EAC7E Time : 0.0 sec. user=mdettweiler [2016-10-18 13:49:26] 985*2^1443145-1 is not prime. Res64: 3FE65824BB60BC12 Time : 0.0 sec. user=mdettweiler [2016-10-18 13:49:26] 987*2^1443145-1 is not prime. Res64: 3D37881EE4C01A39 Time : 0.0 sec. user=mdettweiler [2016-10-18 14:20:06] 645*2^1443146-1 is not prime. Res64: 6AECB9AD42F29B60 Time : 0.0 sec. user=mdettweiler [2016-10-18 14:20:07] 701*2^1443146-1 is not prime. Res64: 9F28D90CFD53F243 Time : 0.0 sec. user=mdettweiler [2016-10-18 14:20:08] 713*2^1443146-1 is not prime. Res64: 06145D22620E2540 Time : 0.0 sec. user=mdettweiler [2016-10-18 14:20:08] 773*2^1443146-1 is not prime. Res64: C45114784BABB098 Time : 0.0 sec. user=mdettweiler [2016-10-18 14:20:09] 783*2^1443146-1 is not prime. Res64: 118633AF178BF293 Time : 0.0 sec. user=mdettweiler [2016-10-18 14:31:35] 633*2^1443147-1 is not prime. Res64: 06410B3A2843F2EF Time : 0.0 sec. user=mdettweiler [2016-10-18 14:31:35] 617*2^1443148-1 is not prime. Res64: 97702484278A3EDC Time : 0.0 sec. user=mdettweiler [2016-10-18 14:31:36] 735*2^1443147-1 is not prime. Res64: 6A622D8BD24BA4A4 Time : 0.0 sec. user=mdettweiler [2016-10-18 14:31:36] 623*2^1443148-1 is not prime. Res64: DE9809C4B201EBB7 Time : 0.0 sec. user=mdettweiler [2016-10-18 14:31:36] 739*2^1443147-1 is not prime. Res64: 4551D42357AC2D2B Time : 0.0 sec. user=mdettweiler [2016-10-18 14:31:36] 629*2^1443148-1 is not prime. Res64: F31DF35D875CFEB8 Time : 0.0 sec. user=mdettweiler [2016-10-18 14:31:37] 805*2^1443147-1 is not prime. Res64: 170EFBB11E050B5B Time : 0.0 sec. user=mdettweiler [2016-10-18 14:31:37] 723*2^1443148-1 is not prime. Res64: 28C72EFF859F2CA5 Time : 0.0 sec. user=mdettweiler [2016-10-18 14:31:37] 961*2^1443147-1 is not prime. Res64: D2FA76D84A3EBA24 Time : 0.0 sec. user=mdettweiler [2016-10-18 14:31:38] 749*2^1443148-1 is not prime. Res64: B0D81C3418FEA13B Time : 0.0 sec. user=mdettweiler [2016-10-18 14:34:02] 869*2^1443148-1 is not prime. Res64: D991809FADC14B1B Time : 0.0 sec. user=mdettweiler [2016-10-18 14:34:02] 875*2^1443148-1 is not prime. Res64: 93A9F46B79E3965C Time : 0.0 sec. user=mdettweiler [2016-10-18 14:34:03] 959*2^1443148-1 is not prime. Res64: 2C900AE33CEB891B Time : 0.0 sec. user=mdettweiler [2016-10-18 14:34:03] 601*2^1443149-1 is not prime. Res64: 29FCF991E28EC15B Time : 0.0 sec. user=mdettweiler [2016-10-18 14:34:04] 645*2^1443149-1 is not prime. Res64: 2C23300957255AB0 Time : 0.0 sec. user=mdettweiler [2016-10-18 15:04:38] 729*2^1443149-1 is not prime. Res64: B269F0319439683D Time : 0.0 sec. user=mdettweiler [2016-10-18 15:04:40] 745*2^1443149-1 is not prime. Res64: 099E4B31419388E9 Time : 0.0 sec. user=mdettweiler [2016-10-18 15:04:41] 861*2^1443149-1 is not prime. Res64: BF8114B40B29528F Time : 0.0 sec. user=mdettweiler [2016-10-18 15:04:42] 985*2^1443149-1 is not prime. Res64: C510658D2208FF09 Time : 0.0 sec. user=mdettweiler [2016-10-18 15:04:43] 991*2^1443149-1 is not prime. Res64: 26221A00EE7DDE39 Time : 0.0 sec. user=mdettweiler [2016-10-18 15:16:17] 661*2^1443151-1 is not prime. Res64: 195E20CD06534B91 Time : 0.0 sec. user=mdettweiler [2016-10-18 15:16:17] 735*2^1443151-1 is not prime. Res64: 622110DF8B78E558 Time : 0.0 sec. user=mdettweiler [2016-10-18 15:16:18] 889*2^1443151-1 is not prime. Res64: 616B5B73CF4E2B83 Time : 0.0 sec. user=mdettweiler [2016-10-18 15:16:18] 925*2^1443151-1 is not prime. Res64: 3D896B8A942824BF Time : 0.0 sec. user=mdettweiler [2016-10-18 15:16:19] 609*2^1443152-1 is not prime. Res64: 1032934B5F7A3DFE Time : 0.0 sec. user=mdettweiler [2016-10-18 15:16:20] 695*2^1443150-1 is not prime. Res64: 4C2C69F57B542306 Time : 0.0 sec. user=mdettweiler [2016-10-18 15:16:21] 765*2^1443150-1 is not prime. Res64: F285D96233CBC880 Time : 0.0 sec. user=mdettweiler [2016-10-18 15:16:22] 821*2^1443150-1 is not prime. Res64: 47CEA00E7336B8F9 Time : 0.0 sec. user=mdettweiler [2016-10-18 15:16:22] 927*2^1443150-1 is not prime. Res64: 2980AE235C07C28C Time : 0.0 sec. user=mdettweiler [2016-10-18 15:16:23] 639*2^1443151-1 is not prime. Res64: CC005567057BD018 Time : 0.0 sec. user=mdettweiler [2016-10-18 15:18:44] 617*2^1443152-1 is not prime. Res64: 353E7647FFD179CA Time : 0.0 sec. user=mdettweiler [2016-10-18 15:18:44] 623*2^1443152-1 is not prime. Res64: D49BAF8743D21C92 Time : 0.0 sec. user=mdettweiler [2016-10-18 15:18:45] 657*2^1443152-1 is not prime. Res64: E0934242CD974384 Time : 0.0 sec. user=mdettweiler [2016-10-18 15:18:45] 693*2^1443152-1 is not prime. Res64: 8C94A8CD655FBE13 Time : 0.0 sec. user=mdettweiler [2016-10-18 15:18:46] 713*2^1443152-1 is not prime. Res64: FBFD1B160F4F8E85 Time : 0.0 sec. user=mdettweiler [2016-10-18 15:49:21] 725*2^1443152-1 is not prime. Res64: B55049A2BB22046A Time : 0.0 sec. user=mdettweiler [2016-10-18 15:49:22] 963*2^1443152-1 is not prime. Res64: EB95DE3524F3636D Time : 0.0 sec. user=mdettweiler [2016-10-18 15:49:22] 999*2^1443152-1 is not prime. Res64: B505AA8D77DCE864 Time : 0.0 sec. user=mdettweiler [2016-10-18 15:49:23] 747*2^1443153-1 is not prime. Res64: 8A507D9700E6616A Time : 0.0 sec. user=mdettweiler [2016-10-18 15:49:23] 895*2^1443153-1 is not prime. Res64: CB0D2BE104603C0D Time : 0.0 sec. user=mdettweiler [2016-10-18 16:01:05] 833*2^1443154-1 is not prime. Res64: 45AF26228DBF6239 Time : 0.0 sec. user=mdettweiler [2016-10-18 16:01:06] 971*2^1443154-1 is not prime. Res64: F90C1F27E5AB23BB Time : 0.0 sec. user=mdettweiler [2016-10-18 16:01:07] 603*2^1443155-1 is not prime. Res64: 1AD7C96B4F019A45 Time : 0.0 sec. user=mdettweiler [2016-10-18 16:01:07] 759*2^1443155-1 is not prime. Res64: B0AAD260747E8097 Time : 0.0 sec. user=mdettweiler [2016-10-18 16:01:08] 781*2^1443155-1 is not prime. Res64: 526AAA62706E42CF Time : 0.0 sec. user=mdettweiler [2016-10-18 16:01:09] 901*2^1443153-1 is not prime. Res64: A36A17F6CCE93D5D Time : 0.0 sec. user=mdettweiler [2016-10-18 16:01:10] 919*2^1443153-1 is not prime. Res64: 2DF5C5C1A753CDC4 Time : 0.0 sec. user=mdettweiler [2016-10-18 16:01:11] 991*2^1443153-1 is not prime. Res64: F6AA7D1C98323569 Time : 0.0 sec. user=mdettweiler [2016-10-18 16:01:13] 695*2^1443154-1 is not prime. Res64: 7663F075E9A71055 Time : 0.0 sec. user=mdettweiler [2016-10-18 16:01:14] 723*2^1443154-1 is not prime. Res64: CC628F47AAF30993 Time : 0.0 sec. user=mdettweiler [2016-10-18 16:03:31] 921*2^1443155-1 is not prime. Res64: E13B675CC118415A Time : 0.0 sec. user=mdettweiler [2016-10-18 16:03:32] 973*2^1443155-1 is not prime. Res64: BFBEDACBFB7C9B2E Time : 0.0 sec. user=mdettweiler [2016-10-18 16:03:33] 999*2^1443155-1 is not prime. Res64: 343C05E27523FAA7 Time : 0.0 sec. user=mdettweiler [2016-10-18 16:03:34] 639*2^1443156-1 is not prime. Res64: D2CD3F3ACFD7C3CA Time : 0.0 sec. user=mdettweiler [2016-10-18 16:03:36] 653*2^1443156-1 is not prime. Res64: FE672063CD02A819 Time : 0.0 sec. user=mdettweiler [2016-10-18 16:34:04] 669*2^1443156-1 is not prime. Res64: 7297D14B6B1C8597 Time : 0.0 sec. user=mdettweiler [2016-10-18 16:34:04] 693*2^1443156-1 is not prime. Res64: 0F62200D96A4DD54 Time : 0.0 sec. user=mdettweiler [2016-10-18 16:34:05] 707*2^1443156-1 is not prime. Res64: 868AC0D382A6C62B Time : 0.0 sec. user=mdettweiler [2016-10-18 16:34:05] 725*2^1443156-1 is not prime. Res64: 154225AA12AB8BAA Time : 0.0 sec. user=mdettweiler [2016-10-18 16:34:06] 749*2^1443156-1 is not prime. Res64: 87A5E90819961CC3 Time : 0.0 sec. user=mdettweiler [2016-10-18 16:45:45] 759*2^1443156-1 is not prime. Res64: F91793662DE5C6E2 Time : 0.0 sec. user=mdettweiler [2016-10-18 16:45:46] 765*2^1443156-1 is not prime. Res64: 014732001A336F35 Time : 0.0 sec. user=mdettweiler [2016-10-18 16:45:46] 767*2^1443156-1 is not prime. Res64: 11FEE153818EEF9C Time : 0.0 sec. user=mdettweiler [2016-10-18 16:45:47] 825*2^1443156-1 is not prime. Res64: B33C29735076D3EB Time : 0.0 sec. user=mdettweiler [2016-10-18 16:45:47] 857*2^1443156-1 is not prime. Res64: D1C28E294ADCA7CE Time : 0.0 sec. user=mdettweiler [2016-10-18 16:45:51] 947*2^1443156-1 is not prime. Res64: 4165CD69D053DA5F Time : 0.0 sec. user=mdettweiler [2016-10-18 16:45:51] 715*2^1443157-1 is not prime. Res64: 2FE4FED329782456 Time : 0.0 sec. user=mdettweiler [2016-10-18 16:45:52] 945*2^1443157-1 is not prime. Res64: 5337E56A105AC581 Time : 0.0 sec. user=mdettweiler [2016-10-18 16:45:52] 657*2^1443158-1 is not prime. Res64: 038C6E6AF12DD1CC Time : 0.0 sec. user=mdettweiler [2016-10-18 16:45:53] 665*2^1443158-1 is not prime. Res64: 5E80ED84DFBED469 Time : 0.0 sec. user=mdettweiler [2016-10-18 16:48:17] 713*2^1443158-1 is not prime. Res64: 2DD8AFA235302D10 Time : 0.0 sec. user=mdettweiler [2016-10-18 16:48:17] 771*2^1443158-1 is not prime. Res64: 6E4C8C0BA2F958F2 Time : 0.0 sec. user=mdettweiler [2016-10-18 16:48:18] 845*2^1443158-1 is not prime. Res64: D36674DC1BCB4E56 Time : 0.0 sec. user=mdettweiler [2016-10-18 16:48:18] 875*2^1443158-1 is not prime. Res64: 206D3685C864E70F Time : 0.0 sec. user=mdettweiler [2016-10-18 16:48:19] 887*2^1443158-1 is not prime. Res64: FFAE649D794A9493 Time : 0.0 sec. user=mdettweiler [2016-10-18 17:18:42] 921*2^1443158-1 is not prime. Res64: 1912A59407C6C744 Time : 0.0 sec. user=mdettweiler [2016-10-18 17:18:42] 977*2^1443158-1 is not prime. Res64: 2E4BFEA876D3E721 Time : 0.0 sec. user=mdettweiler [2016-10-18 17:18:43] 615*2^1443159-1 is not prime. Res64: F8FA05F6A4E9F0D6 Time : 0.0 sec. user=mdettweiler [2016-10-18 17:18:44] 633*2^1443159-1 is not prime. Res64: A5D0BCABA1C6A1F1 Time : 0.0 sec. user=mdettweiler [2016-10-18 17:18:44] 669*2^1443159-1 is not prime. Res64: 3BDF04B5250D6263 Time : 0.0 sec. user=mdettweiler [2016-10-18 17:30:18] 975*2^1443159-1 is not prime. Res64: DBDB216144283885 Time : 0.0 sec. user=mdettweiler [2016-10-18 17:30:19] 665*2^1443160-1 is not prime. Res64: D72688937C7BEA4C Time : 0.0 sec. user=mdettweiler [2016-10-18 17:30:19] 677*2^1443160-1 is not prime. Res64: 09CFE2C9FEF5A30B Time : 0.0 sec. user=mdettweiler [2016-10-18 17:30:20] 723*2^1443160-1 is not prime. Res64: 5CD27D2B59981025 Time : 0.0 sec. user=mdettweiler [2016-10-18 17:30:20] 785*2^1443160-1 is not prime. Res64: 795DA1D27F54CBD1 Time : 0.0 sec. user=mdettweiler [2016-10-18 17:30:25] 803*2^1443160-1 is not prime. Res64: FC90C76BE52E1B7F Time : 0.0 sec. user=mdettweiler [2016-10-18 17:30:26] 697*2^1443161-1 is not prime. Res64: EA12270DFB472306 Time : 0.0 sec. user=mdettweiler [2016-10-18 17:30:26] 715*2^1443161-1 is not prime. Res64: E68ECBBA327FE281 Time : 0.0 sec. user=mdettweiler [2016-10-18 17:30:27] 799*2^1443161-1 is not prime. Res64: 3F70A35BF3086E8E Time : 0.0 sec. user=mdettweiler [2016-10-18 17:30:27] 861*2^1443161-1 is not prime. Res64: 838487C7727AEE9F Time : 0.0 sec. user=mdettweiler [2016-10-18 17:33:11] 925*2^1443161-1 is not prime. Res64: 507D8FF222EF7CFC Time : 0.0 sec. user=mdettweiler [2016-10-18 17:33:11] 981*2^1443161-1 is not prime. Res64: 94EF490379C2413A Time : 0.0 sec. user=mdettweiler [2016-10-18 17:33:12] 671*2^1443162-1 is not prime. Res64: 6A7DC71DF5F7E292 Time : 0.0 sec. user=mdettweiler [2016-10-18 17:33:12] 705*2^1443162-1 is not prime. Res64: AF5D0E83A519CCF8 Time : 0.0 sec. user=mdettweiler [2016-10-18 17:33:13] 711*2^1443162-1 is not prime. Res64: 3C0C6570C8E3E5B8 Time : 0.0 sec. user=mdettweiler [2016-10-18 18:03:26] 725*2^1443162-1 is not prime. Res64: 7AE5DD6341C77FA6 Time : 0.0 sec. user=mdettweiler [2016-10-18 18:03:27] 797*2^1443162-1 is not prime. Res64: F1A37971B7846E72 Time : 0.0 sec. user=mdettweiler [2016-10-18 18:03:28] 801*2^1443162-1 is not prime. Res64: AE96D39CD5874940 Time : 0.0 sec. user=mdettweiler [2016-10-18 18:03:29] 807*2^1443162-1 is not prime. Res64: 289A0BA9177AB1A6 Time : 0.0 sec. user=mdettweiler [2016-10-18 18:03:30] 873*2^1443162-1 is not prime. Res64: 8C6641EB13D75EAD Time : 0.0 sec. user=mdettweiler [2016-10-18 18:14:56] 875*2^1443162-1 is not prime. Res64: C0BE48C664DFC8FB Time : 0.0 sec. user=mdettweiler [2016-10-18 18:14:59] 771*2^1443163-1 is not prime. Res64: 79FEFF6B37657F4E Time : 0.0 sec. user=mdettweiler [2016-10-18 18:15:02] 973*2^1443163-1 is not prime. Res64: 2AC089CF83C739D9 Time : 0.0 sec. user=mdettweiler [2016-10-18 18:15:07] 885*2^1443164-1 is not prime. Res64: DF99C59D3C75D086 Time : 0.0 sec. user=mdettweiler [2016-10-18 18:15:11] 741*2^1443165-1 is not prime. Res64: 80160FAA8AFB0380 Time : 0.0 sec. user=mdettweiler [2016-10-18 18:15:14] 897*2^1443164-1 is not prime. Res64: 69332ADA0C2F0F12 Time : 0.0 sec. user=mdettweiler [2016-10-18 18:15:19] 751*2^1443165-1 is not prime. Res64: B8FCCD775614CF87 Time : 0.0 sec. user=mdettweiler [2016-10-18 18:15:22] 645*2^1443166-1 is not prime. Res64: 4FFAB273B5B5A51F Time : 0.0 sec. user=mdettweiler [2016-10-18 18:15:28] 773*2^1443166-1 is not prime. Res64: C03C6C352E09B997 Time : 0.0 sec. user=mdettweiler [2016-10-18 18:15:40] 843*2^1443166-1 is not prime. Res64: A06B21477AC3F9DA Time : 0.0 sec. user=mdettweiler [2016-10-18 18:17:55] 857*2^1443166-1 is not prime. Res64: 504DD3514D1E6AC6 Time : 0.0 sec. user=mdettweiler [2016-10-18 18:17:55] 861*2^1443166-1 is not prime. Res64: EC7EC3068CA95E35 Time : 0.0 sec. user=mdettweiler [2016-10-18 18:17:56] 975*2^1443166-1 is not prime. Res64: B758B817FE8D3F59 Time : 0.0 sec. user=mdettweiler [2016-10-18 18:17:57] 621*2^1443167-1 is not prime. Res64: DE2B3CBDB88DEAE0 Time : 0.0 sec. user=mdettweiler [2016-10-18 18:17:58] 663*2^1443167-1 is not prime. Res64: 390783B696F6F80F Time : 0.0 sec. user=mdettweiler [2016-10-18 18:48:44] 669*2^1443167-1 is not prime. Res64: ABA2ABA0DE8D1C2B Time : 0.0 sec. user=mdettweiler [2016-10-18 18:48:45] 703*2^1443167-1 is not prime. Res64: 9A482BBB971F88E4 Time : 0.0 sec. user=mdettweiler [2016-10-18 18:48:46] 859*2^1443167-1 is not prime. Res64: C6803B4BF525CE8B Time : 0.0 sec. user=mdettweiler [2016-10-18 18:48:47] 945*2^1443167-1 is not prime. Res64: C320C6744F54F7D3 Time : 0.0 sec. user=mdettweiler [2016-10-18 18:48:48] 963*2^1443167-1 is not prime. Res64: D0F9B4344CEAEB4B Time : 0.0 sec. user=mdettweiler [2016-10-18 19:01:34] 669*2^1443168-1 is not prime. Res64: F7E5EB50360B3174 Time : 0.0 sec. user=mdettweiler [2016-10-18 19:01:35] 797*2^1443168-1 is not prime. Res64: 856FC067D77C8E1C Time : 0.0 sec. user=mdettweiler [2016-10-18 19:01:36] 809*2^1443168-1 is not prime. Res64: D03C17921E44C001 Time : 0.0 sec. user=mdettweiler [2016-10-18 19:01:38] 839*2^1443168-1 is not prime. Res64: D7455449513B2656 Time : 0.0 sec. user=mdettweiler [2016-10-18 19:01:39] 893*2^1443168-1 is not prime. Res64: 4CE7EACF839D8E06 Time : 0.0 sec. user=mdettweiler [2016-10-18 19:03:18] 899*2^1443168-1 is not prime. Res64: 3AE6106D0B1FBC0F Time : 0.0 sec. user=mdettweiler [2016-10-18 19:03:19] 927*2^1443168-1 is not prime. Res64: A230A88A99E35CE0 Time : 0.0 sec. user=mdettweiler [2016-10-18 19:03:20] 933*2^1443168-1 is not prime. Res64: 515E75A4064FC73A Time : 0.0 sec. user=mdettweiler [2016-10-18 19:03:21] 969*2^1443168-1 is not prime. Res64: 191C65D5F0A6D88E Time : 0.0 sec. user=mdettweiler [2016-10-18 19:03:21] 615*2^1443169-1 is not prime. Res64: FD61321801AF72B9 Time : 0.0 sec. user=mdettweiler [2016-10-18 19:34:06] 769*2^1443169-1 is not prime. Res64: 5CE54A8D180DDC7C Time : 0.0 sec. user=mdettweiler [2016-10-18 19:34:07] 775*2^1443169-1 is not prime. Res64: CC239DB4BE6F76EC Time : 0.0 sec. user=mdettweiler [2016-10-18 19:34:07] 867*2^1443169-1 is not prime. Res64: F2DEC93C16BD2326 Time : 0.0 sec. user=mdettweiler [2016-10-18 19:34:08] 951*2^1443169-1 is not prime. Res64: 5665B96EE05E37B0 Time : 0.0 sec. user=mdettweiler [2016-10-18 19:34:08] 985*2^1443169-1 is not prime. Res64: EC58647734DEBDF0 Time : 0.0 sec. user=mdettweiler [2016-10-18 19:46:43] 605*2^1443170-1 is not prime. Res64: 7A691443D19D97B7 Time : 0.0 sec. user=mdettweiler [2016-10-18 19:46:44] 773*2^1443170-1 is not prime. Res64: FAD27363F4F84B99 Time : 0.0 sec. user=mdettweiler [2016-10-18 19:46:44] 783*2^1443170-1 is not prime. Res64: ED01039E8DC89CFC Time : 0.0 sec. user=mdettweiler [2016-10-18 19:46:45] 827*2^1443170-1 is not prime. Res64: BCF9399D5AB1DD04 Time : 0.0 sec. user=mdettweiler [2016-10-18 19:46:45] 875*2^1443170-1 is not prime. Res64: B9E6DDD94416C7F9 Time : 0.0 sec. user=mdettweiler [2016-10-18 19:48:41] 893*2^1443170-1 is not prime. Res64: 5BBB0B96E7BF7135 Time : 0.0 sec. user=mdettweiler [2016-10-18 19:48:41] 915*2^1443170-1 is not prime. Res64: FE82F07D19D12785 Time : 0.0 sec. user=mdettweiler [2016-10-18 19:48:42] 951*2^1443170-1 is not prime. Res64: 46AEACC87203ABF5 Time : 0.0 sec. user=mdettweiler [2016-10-18 19:48:42] 649*2^1443171-1 is not prime. Res64: E6655C3623F62158 Time : 0.0 sec. user=mdettweiler [2016-10-18 19:48:43] 741*2^1443171-1 is not prime. Res64: 73AB0F61C3857B46 Time : 0.0 sec. user=mdettweiler [2016-10-18 20:19:20] 783*2^1443171-1 is not prime. Res64: 80C7BE2660C701FF Time : 0.0 sec. user=mdettweiler [2016-10-18 20:19:21] 801*2^1443171-1 is not prime. Res64: 4D22EF051A89C104 Time : 0.0 sec. user=mdettweiler [2016-10-18 20:19:22] 891*2^1443171-1 is not prime. Res64: 609CC39F814ED69D Time : 0.0 sec. user=mdettweiler [2016-10-18 20:19:22] 945*2^1443171-1 is not prime. Res64: A64D28589D0608E5 Time : 0.0 sec. user=mdettweiler [2016-10-18 20:19:23] 623*2^1443172-1 is not prime. Res64: 890A7036A1E65429 Time : 0.0 sec. user=mdettweiler [2016-10-18 20:31:57] 629*2^1443172-1 is not prime. Res64: DA281C7693820B6B Time : 0.0 sec. user=mdettweiler [2016-10-18 20:31:57] 647*2^1443172-1 is not prime. Res64: 6C7F96F20A9E7040 Time : 0.0 sec. user=mdettweiler [2016-10-18 20:31:58] 705*2^1443172-1 is not prime. Res64: ADB8E7B75808108C Time : 0.0 sec. user=mdettweiler [2016-10-18 20:31:58] 797*2^1443172-1 is not prime. Res64: E94CE0EDF95FE3C7 Time : 0.0 sec. user=mdettweiler [2016-10-18 20:31:59] 863*2^1443172-1 is not prime. Res64: 51AB55A02ACDA9F7 Time : 0.0 sec. user=mdettweiler [2016-10-18 20:34:01] 897*2^1443172-1 is not prime. Res64: 0E16E2DBDF491AFB Time : 0.0 sec. user=mdettweiler [2016-10-18 20:34:02] 903*2^1443172-1 is not prime. Res64: D11EC8DCE5A49AD0 Time : 0.0 sec. user=mdettweiler [2016-10-18 20:34:02] 929*2^1443172-1 is not prime. Res64: 7ADBC152D9395FE5 Time : 0.0 sec. user=mdettweiler [2016-10-18 20:34:03] 959*2^1443172-1 is not prime. Res64: 8C1E07C3BA6F66C6 Time : 0.0 sec. user=mdettweiler [2016-10-18 20:34:03] 987*2^1443172-1 is not prime. Res64: 4F5F9AB9D168E600 Time : 0.0 sec. user=mdettweiler [2016-10-18 21:06:48] 805*2^1443173-1 is not prime. Res64: A7ED66D2748B5D9E Time : 0.0 sec. user=mdettweiler [2016-10-18 21:06:51] 925*2^1443173-1 is not prime. Res64: 2BED90A12AF2EF63 Time : 0.0 sec. user=mdettweiler [2016-10-18 21:06:53] 927*2^1443173-1 is not prime. Res64: C95841A3D8371BA3 Time : 0.0 sec. user=mdettweiler [2016-10-18 21:06:56] 937*2^1443173-1 is not prime. Res64: 74402CF0D8F4775D Time : 0.0 sec. user=mdettweiler [2016-10-18 21:06:59] 939*2^1443173-1 is not prime. Res64: D8B90458A96C650E Time : 0.0 sec. user=mdettweiler [2016-10-18 21:19:24] 605*2^1443174-1 is not prime. Res64: 3602119C73F2CE1F Time : 0.0 sec. user=mdettweiler [2016-10-18 21:19:25] 641*2^1443174-1 is not prime. Res64: 0FB6BB83C8E04DEB Time : 0.0 sec. user=mdettweiler [2016-10-18 21:19:25] 645*2^1443175-1 is not prime. Res64: EE4B0B562B62D8C4 Time : 0.0 sec. user=mdettweiler [2016-10-18 21:19:26] 705*2^1443175-1 is not prime. Res64: 85A639A8A5748A2E Time : 0.0 sec. user=mdettweiler [2016-10-18 21:19:26] 909*2^1443175-1 is not prime. Res64: C45EFDF8F84F145A Time : 0.0 sec. user=mdettweiler [2016-10-18 21:22:09] 933*2^1443175-1 is not prime. Res64: 5104A18EA35036B5 Time : 0.0 sec. user=mdettweiler [2016-10-18 21:22:09] 973*2^1443175-1 is not prime. Res64: 46B3D3AF7C3C9BEE Time : 0.0 sec. user=mdettweiler [2016-10-18 21:22:09] 999*2^1443175-1 is not prime. Res64: E148C211782F4A0A Time : 0.0 sec. user=mdettweiler [2016-10-18 21:22:10] 743*2^1443176-1 is not prime. Res64: 4B1629ED8DC68115 Time : 0.0 sec. user=mdettweiler [2016-10-18 21:22:10] 785*2^1443176-1 is not prime. Res64: 9B16C20C44A24FF8 Time : 0.0 sec. user=mdettweiler [2016-10-18 21:27:11] 873*2^1443176-1 is not prime. Res64: 5BD97BAB4C6536EC Time : 0.0 sec. user=mdettweiler [2016-10-18 21:27:12] 875*2^1443176-1 is not prime. Res64: CBB6F74B4E581A9E Time : 0.0 sec. user=mdettweiler [2016-10-18 21:27:13] 957*2^1443176-1 is not prime. Res64: 7C4D88310912375A Time : 0.0 sec. user=mdettweiler [2016-10-18 21:27:14] 999*2^1443176-1 is not prime. Res64: 4CDC8630B53F1565 Time : 0.0 sec. user=mdettweiler [2016-10-18 21:27:14] 739*2^1443177-1 is not prime. Res64: 9B53202851DA95F0 Time : 0.0 sec. user=mdettweiler [2016-10-18 21:52:50] 805*2^1443177-1 is not prime. Res64: 2928CF188054932F Time : 0.0 sec. user=mdettweiler [2016-10-18 21:52:50] 633*2^1443178-1 is not prime. Res64: FF3CF0AA02453F1E Time : 0.0 sec. user=mdettweiler [2016-10-18 21:52:50] 681*2^1443178-1 is not prime. Res64: 48365EFA56C30E5B Time : 0.0 sec. user=mdettweiler [2016-10-18 21:52:51] 803*2^1443178-1 is not prime. Res64: 6F691CA7B4F528AC Time : 0.0 sec. user=mdettweiler [2016-10-18 21:52:51] 867*2^1443178-1 is not prime. Res64: C74668F7CC762694 Time : 0.0 sec. user=mdettweiler [2016-10-18 22:05:35] 887*2^1443178-1 is not prime. Res64: A9C078B1B30C148A Time : 0.0 sec. user=mdettweiler [2016-10-18 22:05:37] 741*2^1443179-1 is not prime. Res64: C5505010AE78EF46 Time : 0.0 sec. user=mdettweiler [2016-10-18 22:05:38] 759*2^1443179-1 is not prime. Res64: FE0A90AA6007879D Time : 0.0 sec. user=mdettweiler [2016-10-18 22:05:40] 775*2^1443179-1 is not prime. Res64: 9531735A45A6589F Time : 0.0 sec. user=mdettweiler [2016-10-18 22:05:41] 789*2^1443179-1 is not prime. Res64: DBD9C72B00FF26A6 Time : 0.0 sec. user=mdettweiler [2016-10-18 22:10:34] 811*2^1443179-1 is not prime. Res64: 07EC50125DF03DFE Time : 0.0 sec. user=mdettweiler [2016-10-18 22:10:38] 825*2^1443179-1 is not prime. Res64: A4C7ACCE3FE3EDFD Time : 0.0 sec. user=mdettweiler [2016-10-18 22:10:40] 885*2^1443179-1 is not prime. Res64: DE4393F1EEF96AB9 Time : 0.0 sec. user=mdettweiler [2016-10-18 22:10:43] 969*2^1443179-1 is not prime. Res64: 041B315388A851A3 Time : 0.0 sec. user=mdettweiler [2016-10-18 22:10:46] 675*2^1443180-1 is not prime. Res64: 68947878E2BD1F58 Time : 0.0 sec. user=mdettweiler [2016-10-18 22:14:09] 717*2^1443180-1 is not prime. Res64: CC741A255940656F Time : 0.0 sec. user=mdettweiler [2016-10-18 22:14:12] 789*2^1443180-1 is not prime. Res64: FE2DDCB462FC8197 Time : 0.0 sec. user=mdettweiler [2016-10-18 22:14:17] 905*2^1443180-1 is not prime. Res64: 3D35563FFE536605 Time : 0.0 sec. user=mdettweiler [2016-10-18 22:44:53] 945*2^1443181-1 is not prime. Res64: 52BA59E7C3074AA2 Time : 0.0 sec. user=mdettweiler [2016-10-18 22:44:54] 615*2^1443182-1 is not prime. Res64: 6148AC7EDD410C45 Time : 0.0 sec. user=mdettweiler [2016-10-18 22:44:54] 671*2^1443182-1 is not prime. Res64: 53F35885E61FCFFB Time : 0.0 sec. user=mdettweiler [2016-10-18 22:44:55] 693*2^1443182-1 is not prime. Res64: 986B4CC72EE05334 Time : 0.0 sec. user=mdettweiler [2016-10-18 22:44:56] 713*2^1443182-1 is not prime. Res64: D546051736F68793 Time : 0.0 sec. user=mdettweiler [2016-10-18 22:58:29] 731*2^1443182-1 is not prime. Res64: DDF3E1A7D96DC4B6 Time : 0.0 sec. user=mdettweiler [2016-10-18 22:58:29] 785*2^1443182-1 is not prime. Res64: EB03D9ED3CA8928E Time : 0.0 sec. user=mdettweiler [2016-10-18 22:58:29] 935*2^1443182-1 is not prime. Res64: 07BEA8F0DEB95794 Time : 0.0 sec. user=mdettweiler [2016-10-18 22:58:30] 981*2^1443182-1 is not prime. Res64: 9929EE41CA48F73D Time : 0.0 sec. user=mdettweiler [2016-10-18 22:58:30] 1001*2^1443182-1 is not prime. Res64: 5595BA40A844997D Time : 0.0 sec. user=mdettweiler [2016-10-18 23:02:06] 643*2^1443183-1 is not prime. Res64: 482DE126FF4A4F99 Time : 0.0 sec. user=mdettweiler [2016-10-18 23:02:07] 745*2^1443183-1 is not prime. Res64: DE28CB75CF1A0BD1 Time : 0.0 sec. user=mdettweiler [2016-10-18 23:02:08] 775*2^1443183-1 is not prime. Res64: 02DB95DA2B2D6253 Time : 0.0 sec. user=mdettweiler [2016-10-18 23:02:09] 795*2^1443183-1 is not prime. Res64: CC93F5D898D3F470 Time : 0.0 sec. user=mdettweiler [2016-10-18 23:02:10] 831*2^1443183-1 is not prime. Res64: 85EF39E994DDF396 Time : 0.0 sec. user=mdettweiler [2016-10-18 23:30:46] 861*2^1443183-1 is not prime. Res64: A5E49930BE0D228C Time : 0.0 sec. user=mdettweiler [2016-10-18 23:30:47] 717*2^1443184-1 is not prime. Res64: 7B1B2BF3B4391EB7 Time : 0.0 sec. user=mdettweiler [2016-10-18 23:30:47] 785*2^1443184-1 is not prime. Res64: D5C06FC3B96E6B4F Time : 0.0 sec. user=mdettweiler [2016-10-18 23:30:47] 855*2^1443184-1 is not prime. Res64: 5A69893863D4B152 Time : 0.0 sec. user=mdettweiler [2016-10-18 23:30:48] 869*2^1443184-1 is not prime. Res64: 4682F3D21D0D35E3 Time : 0.0 sec. user=mdettweiler [2016-10-18 23:43:56] 983*2^1443184-1 is not prime. Res64: 6A6721909C3B3125 Time : 0.0 sec. user=mdettweiler [2016-10-18 23:43:57] 619*2^1443185-1 is not prime. Res64: 409EC6A5D521A1B4 Time : 0.0 sec. user=mdettweiler [2016-10-18 23:43:57] 699*2^1443185-1 is not prime. Res64: A40F40A1C0854428 Time : 0.0 sec. user=mdettweiler [2016-10-18 23:43:57] 727*2^1443185-1 is not prime. Res64: BE9E13354661045B Time : 0.0 sec. user=mdettweiler [2016-10-18 23:43:58] 831*2^1443185-1 is not prime. Res64: 624BDDEBE5C28257 Time : 0.0 sec. user=mdettweiler [2016-10-18 23:47:36] 871*2^1443185-1 is not prime. Res64: C0258CE14B42A442 Time : 0.0 sec. user=mdettweiler [2016-10-18 23:47:36] 937*2^1443185-1 is not prime. Res64: 5D2F951792307A5C Time : 0.0 sec. user=mdettweiler [2016-10-18 23:47:36] 611*2^1443186-1 is not prime. Res64: 12F858EABD2329F3 Time : 0.0 sec. user=mdettweiler [2016-10-18 23:47:37] 633*2^1443186-1 is not prime. Res64: 8BAAA17EA0541A6D Time : 0.0 sec. user=mdettweiler [2016-10-18 23:47:37] 711*2^1443186-1 is not prime. Res64: 621D13B600C3D7B6 Time : 0.0 sec.