user=mdettweiler [2016-05-05 00:03:45] 651*2^1428231-1 is not prime. Res64: 10FA90344D2E29DE Time : 0.0 sec. user=mdettweiler [2016-05-05 00:03:45] 901*2^1428231-1 is not prime. Res64: EFEB75FA655AC704 Time : 0.0 sec. user=mdettweiler [2016-05-05 00:03:46] 921*2^1428231-1 is not prime. Res64: 7275386415178A17 Time : 0.0 sec. user=mdettweiler [2016-05-05 00:03:47] 955*2^1428231-1 is not prime. Res64: 0A04BE34604E962C Time : 0.0 sec. user=mdettweiler [2016-05-05 00:03:47] 605*2^1428232-1 is not prime. Res64: 7D92C6EF36EC234F Time : 0.0 sec. user=mdettweiler [2016-05-05 00:04:58] 615*2^1428232-1 is not prime. Res64: BD282351B4D813A0 Time : 0.0 sec. user=mdettweiler [2016-05-05 00:04:59] 695*2^1428232-1 is not prime. Res64: E8741DC3E85B1D20 Time : 0.0 sec. user=mdettweiler [2016-05-05 00:04:59] 705*2^1428232-1 is not prime. Res64: 37F446241CA784DD Time : 0.0 sec. user=mdettweiler [2016-05-05 00:05:00] 807*2^1428232-1 is not prime. Res64: DBCFE21E4ED11D2B Time : 0.0 sec. user=mdettweiler [2016-05-05 00:05:01] 825*2^1428232-1 is not prime. Res64: D45175E61A1CC4C9 Time : 0.0 sec. user=mdettweiler [2016-05-05 00:38:41] 855*2^1428232-1 is not prime. Res64: AFB7E414853D7FF6 Time : 0.0 sec. user=mdettweiler [2016-05-05 00:38:41] 857*2^1428232-1 is not prime. Res64: 949F200CD254F2FE Time : 0.0 sec. user=mdettweiler [2016-05-05 00:38:42] 915*2^1428232-1 is not prime. Res64: 98115CEF6EFD66CF Time : 0.0 sec. user=mdettweiler [2016-05-05 00:38:42] 983*2^1428232-1 is not prime. Res64: 7C9B64E79A8E36D0 Time : 0.0 sec. user=mdettweiler [2016-05-05 00:38:43] 989*2^1428232-1 is not prime. Res64: B831512CEE2709C7 Time : 0.0 sec. user=mdettweiler [2016-05-05 00:40:39] 705*2^1428233-1 is not prime. Res64: 8F23DD9A5E0D0719 Time : 0.0 sec. user=mdettweiler [2016-05-05 00:40:39] 727*2^1428233-1 is not prime. Res64: F4DF77ED40CC9E09 Time : 0.0 sec. user=mdettweiler [2016-05-05 00:40:39] 829*2^1428233-1 is not prime. Res64: BD3D08680AA9A633 Time : 0.0 sec. user=mdettweiler [2016-05-05 00:40:40] 885*2^1428233-1 is not prime. Res64: 2E22F5A380A18EF5 Time : 0.0 sec. user=mdettweiler [2016-05-05 00:40:40] 947*2^1428234-1 is not prime. Res64: 246E608F1A0C8AFB Time : 0.0 sec. user=mdettweiler [2016-05-05 00:49:47] 633*2^1428235-1 is not prime. Res64: E7315097313B7BFC Time : 0.0 sec. user=mdettweiler [2016-05-05 00:49:47] 733*2^1428235-1 is not prime. Res64: 38B0EC3A37939FD6 Time : 0.0 sec. user=mdettweiler [2016-05-05 00:49:47] 741*2^1428235-1 is not prime. Res64: 53D02BEDDAEE2949 Time : 0.0 sec. user=mdettweiler [2016-05-05 00:49:48] 765*2^1428235-1 is not prime. Res64: 892CD7B5C48195B4 Time : 0.0 sec. user=mdettweiler [2016-05-05 00:49:48] 819*2^1428235-1 is not prime. Res64: 8BD1A9B392EA8FCD Time : 0.0 sec. user=mdettweiler [2016-05-05 00:51:02] 861*2^1428235-1 is not prime. Res64: 974459C376AF6910 Time : 0.0 sec. user=mdettweiler [2016-05-05 00:51:03] 969*2^1428235-1 is not prime. Res64: E9C1F59A9C9B529D Time : 0.0 sec. user=mdettweiler [2016-05-05 00:51:03] 603*2^1428236-1 is not prime. Res64: BEB03B8F30343D01 Time : 0.0 sec. user=mdettweiler [2016-05-05 00:51:03] 623*2^1428236-1 is not prime. Res64: F37082BDF8E485CD Time : 0.0 sec. user=mdettweiler [2016-05-05 00:51:04] 633*2^1428236-1 is not prime. Res64: FC860F2D0C2E2387 Time : 0.0 sec. user=mdettweiler [2016-05-05 01:24:12] 635*2^1428236-1 is not prime. Res64: CF18E0D34807AAAD Time : 0.0 sec. user=mdettweiler [2016-05-05 01:24:13] 657*2^1428236-1 is not prime. Res64: 9E5F46C3A317AD8D Time : 0.0 sec. user=mdettweiler [2016-05-05 01:24:13] 693*2^1428236-1 is not prime. Res64: FF1045AB3492191F Time : 0.0 sec. user=mdettweiler [2016-05-05 01:24:13] 743*2^1428236-1 is not prime. Res64: FA084DE511DA8E6B Time : 0.0 sec. user=mdettweiler [2016-05-05 01:24:14] 755*2^1428236-1 is not prime. Res64: DF83E0673C65775C Time : 0.0 sec. user=mdettweiler [2016-05-05 01:26:14] 759*2^1428236-1 is not prime. Res64: 28D22296302A8C5E Time : 0.0 sec. user=mdettweiler [2016-05-05 01:26:16] 813*2^1428236-1 is not prime. Res64: 66E612829C8C0E23 Time : 0.0 sec. user=mdettweiler [2016-05-05 01:26:17] 839*2^1428236-1 is not prime. Res64: 2FBA143EAF7B9F0A Time : 0.0 sec. user=mdettweiler [2016-05-05 01:26:17] 935*2^1428236-1 is not prime. Res64: A04281ACCECEB4BA Time : 0.0 sec. user=mdettweiler [2016-05-05 01:26:18] 969*2^1428236-1 is not prime. Res64: 5FDC94BEA13A0EDF Time : 0.0 sec. user=mdettweiler [2016-05-05 01:35:37] 987*2^1428236-1 is not prime. Res64: E43EA2A431E9FF62 Time : 0.0 sec. user=mdettweiler [2016-05-05 01:35:37] 615*2^1428237-1 is not prime. Res64: 4C9D6A8734F8F66B Time : 0.0 sec. user=mdettweiler [2016-05-05 01:35:38] 639*2^1428237-1 is not prime. Res64: 856D46E14198CBC4 Time : 0.0 sec. user=mdettweiler [2016-05-05 01:35:38] 831*2^1428237-1 is not prime. Res64: 9C47257937F92776 Time : 0.0 sec. user=mdettweiler [2016-05-05 01:35:39] 849*2^1428237-1 is not prime. Res64: 013728272EC7FCA7 Time : 0.0 sec. user=mdettweiler [2016-05-05 01:36:55] 867*2^1428237-1 is not prime. Res64: 893C5ADE56255692 Time : 0.0 sec. user=mdettweiler [2016-05-05 01:36:55] 611*2^1428238-1 is not prime. Res64: C2577FEB65E60D05 Time : 0.0 sec. user=mdettweiler [2016-05-05 01:36:56] 663*2^1428238-1 is not prime. Res64: 37B0ACB146A9393B Time : 0.0 sec. user=mdettweiler [2016-05-05 01:36:56] 707*2^1428238-1 is not prime. Res64: 1F494AC155FF5C34 Time : 0.0 sec. user=mdettweiler [2016-05-05 01:36:57] 827*2^1428238-1 is not prime. Res64: C61B54440D4A7D56 Time : 0.0 sec. user=mdettweiler [2016-05-05 02:10:28] 843*2^1428238-1 is not prime. Res64: AF4E7A7D24DD99B4 Time : 0.0 sec. user=mdettweiler [2016-05-05 02:10:29] 867*2^1428238-1 is not prime. Res64: 31A904E3BA00277C Time : 0.0 sec. user=mdettweiler [2016-05-05 02:10:30] 881*2^1428238-1 is not prime. Res64: BB795B6B4592B5BF Time : 0.0 sec. user=mdettweiler [2016-05-05 02:10:30] 615*2^1428239-1 is not prime. Res64: F427ABB5D0E4006A Time : 0.0 sec. user=mdettweiler [2016-05-05 02:10:31] 643*2^1428239-1 is not prime. Res64: 79DC770165CAB01F Time : 0.0 sec. user=mdettweiler [2016-05-05 02:12:35] 693*2^1428239-1 is not prime. Res64: 9786C419DA38A697 Time : 0.0 sec. user=mdettweiler [2016-05-05 02:12:35] 735*2^1428239-1 is not prime. Res64: 86A24D4A73A6801E Time : 0.0 sec. user=mdettweiler [2016-05-05 02:12:35] 823*2^1428239-1 is not prime. Res64: 7BEE620682F32779 Time : 0.0 sec. user=mdettweiler [2016-05-05 02:12:36] 843*2^1428239-1 is not prime. Res64: 62A1E4B0A027240A Time : 0.0 sec. user=mdettweiler [2016-05-05 02:12:36] 861*2^1428239-1 is not prime. Res64: 61C7CBADA515BFA5 Time : 0.0 sec. user=mdettweiler [2016-05-05 02:21:49] 879*2^1428239-1 is not prime. Res64: 47395803A8F358C5 Time : 0.0 sec. user=mdettweiler [2016-05-05 02:21:49] 885*2^1428239-1 is not prime. Res64: 69295A32D8EDDC23 Time : 0.0 sec. user=mdettweiler [2016-05-05 02:21:49] 979*2^1428239-1 is not prime. Res64: 685211400135DD79 Time : 0.0 sec. user=mdettweiler [2016-05-05 02:21:49] 993*2^1428239-1 is not prime. Res64: E6F5DDB48D788AE6 Time : 0.0 sec. user=mdettweiler [2016-05-05 02:21:50] 845*2^1428240-1 is not prime. Res64: 5B72E36EC5CBA1BD Time : 0.0 sec. user=mdettweiler [2016-05-05 02:23:24] 915*2^1428240-1 is not prime. Res64: 8DF84822360F672C Time : 0.0 sec. user=mdettweiler [2016-05-05 02:23:24] 705*2^1428241-1 is not prime. Res64: A38B232121B96E81 Time : 0.0 sec. user=mdettweiler [2016-05-05 02:23:25] 717*2^1428241-1 is not prime. Res64: F45316A2F2D2A0DF Time : 0.0 sec. user=mdettweiler [2016-05-05 02:23:25] 775*2^1428241-1 is not prime. Res64: 508000C950DCAEB5 Time : 0.0 sec. user=mdettweiler [2016-05-05 02:23:25] 777*2^1428241-1 is not prime. Res64: E3E09DDE1F4D5F51 Time : 0.0 sec. user=mdettweiler [2016-05-05 02:56:28] 979*2^1428241-1 is not prime. Res64: 612A04F02C207EA5 Time : 0.0 sec. user=mdettweiler [2016-05-05 02:56:29] 623*2^1428242-1 is not prime. Res64: CFEBE2870CD18341 Time : 0.0 sec. user=mdettweiler [2016-05-05 02:56:29] 633*2^1428242-1 is not prime. Res64: AC82F87D88D3E721 Time : 0.0 sec. user=mdettweiler [2016-05-05 02:56:30] 657*2^1428242-1 is not prime. Res64: 1A6E1DF31080B9C8 Time : 0.0 sec. user=mdettweiler [2016-05-05 02:56:30] 791*2^1428242-1 is not prime. Res64: B0F9F5DC496BD469 Time : 0.0 sec. user=mdettweiler [2016-05-05 02:58:27] 867*2^1428242-1 is not prime. Res64: 5F5DE098C84613E9 Time : 0.0 sec. user=mdettweiler [2016-05-05 02:58:27] 893*2^1428242-1 is not prime. Res64: CF6188AE693BE075 Time : 0.0 sec. user=mdettweiler [2016-05-05 02:58:28] 915*2^1428242-1 is not prime. Res64: 5B579113C1B4AC46 Time : 0.0 sec. user=mdettweiler [2016-05-05 02:58:28] 921*2^1428242-1 is not prime. Res64: 650F041C442CB879 Time : 0.0 sec. user=mdettweiler [2016-05-05 02:58:28] 935*2^1428242-1 is not prime. Res64: DD21A2C4B96B8A2A Time : 0.0 sec. user=mdettweiler [2016-05-05 03:07:40] 951*2^1428242-1 is not prime. Res64: F555FFFFEEE3133B Time : 0.0 sec. user=mdettweiler [2016-05-05 03:07:41] 963*2^1428242-1 is not prime. Res64: 04CC8F904CC0799C Time : 0.0 sec. user=mdettweiler [2016-05-05 03:07:41] 977*2^1428242-1 is not prime. Res64: A5B857A5FE3A208C Time : 0.0 sec. user=mdettweiler [2016-05-05 03:07:42] 699*2^1428243-1 is not prime. Res64: 25ACD111FE18F406 Time : 0.0 sec. user=mdettweiler [2016-05-05 03:07:42] 703*2^1428243-1 is not prime. Res64: BB53C7E8161150DE Time : 0.0 sec. user=mdettweiler [2016-05-05 03:09:21] 741*2^1428243-1 is not prime. Res64: 0116F0F6C1D90909 Time : 0.0 sec. user=mdettweiler [2016-05-05 03:09:21] 765*2^1428243-1 is not prime. Res64: 3F348D862439A9BD Time : 0.0 sec. user=mdettweiler [2016-05-05 03:09:21] 795*2^1428243-1 is not prime. Res64: ABABCFB74652B2D8 Time : 0.0 sec. user=mdettweiler [2016-05-05 03:09:22] 961*2^1428243-1 is not prime. Res64: BF09C8EBD0D9D7B3 Time : 0.0 sec. user=mdettweiler [2016-05-05 03:09:22] 635*2^1428244-1 is not prime. Res64: 5B5E47F2C8B2D6ED Time : 0.0 sec. user=mdettweiler [2016-05-05 03:42:28] 677*2^1428244-1 is not prime. Res64: D7AD53008C80D008 Time : 0.0 sec. user=mdettweiler [2016-05-05 03:42:31] 717*2^1428244-1 is not prime. Res64: 7843F34ED352C50C Time : 0.0 sec. user=mdettweiler [2016-05-05 03:42:32] 827*2^1428244-1 is not prime. Res64: ACD9DE428B271440 Time : 0.0 sec. user=mdettweiler [2016-05-05 03:42:32] 873*2^1428244-1 is not prime. Res64: 3FA4655A7ED255D7 Time : 0.0 sec. user=mdettweiler [2016-05-05 03:42:33] 909*2^1428244-1 is not prime. Res64: CBEA37D6031C83CE Time : 0.0 sec. user=mdettweiler [2016-05-05 03:44:31] 735*2^1428245-1 is not prime. Res64: 9FFD55C08B732FFB Time : 0.0 sec. user=mdettweiler [2016-05-05 03:44:31] 801*2^1428245-1 is not prime. Res64: 9384B980A0E8A061 Time : 0.0 sec. user=mdettweiler [2016-05-05 03:44:32] 937*2^1428245-1 is not prime. Res64: 08BD0D03F22CC7B7 Time : 0.0 sec. user=mdettweiler [2016-05-05 03:44:33] 987*2^1428245-1 is not prime. Res64: 700FD6179B17A608 Time : 0.0 sec. user=mdettweiler [2016-05-05 03:44:34] 635*2^1428246-1 is not prime. Res64: 4D4CA491D5CC601B Time : 0.0 sec. user=mdettweiler [2016-05-05 03:54:00] 923*2^1428246-1 is not prime. Res64: 0E6871FCCC818E9D Time : 0.0 sec. user=mdettweiler [2016-05-05 03:54:01] 971*2^1428246-1 is not prime. Res64: 8EEA5CED4DEC4C79 Time : 0.0 sec. user=mdettweiler [2016-05-05 03:54:02] 625*2^1428247-1 is not prime. Res64: F9033472F3952759 Time : 0.0 sec. user=mdettweiler [2016-05-05 03:54:03] 651*2^1428247-1 is not prime. Res64: 34DD196C311A7D29 Time : 0.0 sec. user=mdettweiler [2016-05-05 03:54:04] 741*2^1428247-1 is not prime. Res64: A7F3365F14A740DA Time : 0.0 sec. user=mdettweiler [2016-05-05 03:55:27] 813*2^1428247-1 is not prime. Res64: 6C1D620A7B4441CA Time : 0.0 sec. user=mdettweiler [2016-05-05 03:55:28] 961*2^1428247-1 is not prime. Res64: 01C7D13B3C44C9CA Time : 0.0 sec. user=mdettweiler [2016-05-05 03:55:28] 993*2^1428247-1 is not prime. Res64: E847DEF0C9FDC8BE Time : 0.0 sec. user=mdettweiler [2016-05-05 03:55:29] 845*2^1428248-1 is not prime. Res64: 88C6B0ACD9AE90FB Time : 0.0 sec. user=mdettweiler [2016-05-05 03:55:29] 855*2^1428248-1 is not prime. Res64: 7760EDC84366DD4F Time : 0.0 sec. user=mdettweiler [2016-05-05 04:29:38] 969*2^1428248-1 is not prime. Res64: E6868B9B834EF49A Time : 0.0 sec. user=mdettweiler [2016-05-05 04:29:38] 637*2^1428249-1 is not prime. Res64: A83A990E0960F225 Time : 0.0 sec. user=mdettweiler [2016-05-05 04:29:39] 681*2^1428249-1 is not prime. Res64: DB64B0FF3316CB96 Time : 0.0 sec. user=mdettweiler [2016-05-05 04:29:39] 727*2^1428249-1 is not prime. Res64: 38956C8776BF60B9 Time : 0.0 sec. user=mdettweiler [2016-05-05 04:29:39] 781*2^1428249-1 is not prime. Res64: F9867C8AE02F7E3E Time : 0.0 sec. user=mdettweiler [2016-05-05 04:31:39] 817*2^1428249-1 is not prime. Res64: D8C6AF89B61F2008 Time : 0.0 sec. user=mdettweiler [2016-05-05 04:31:39] 949*2^1428249-1 is not prime. Res64: D54DEA1FAA47A216 Time : 0.0 sec. user=mdettweiler [2016-05-05 04:31:40] 975*2^1428249-1 is not prime. Res64: 9A460FFABA52BCDC Time : 0.0 sec. user=mdettweiler [2016-05-05 04:31:40] 675*2^1428250-1 is not prime. Res64: 43CA2C39F90880A6 Time : 0.0 sec. user=mdettweiler [2016-05-05 04:31:40] 687*2^1428250-1 is not prime. Res64: 9254C93368DAA66F Time : 0.0 sec. user=mdettweiler [2016-05-05 04:41:02] 713*2^1428250-1 is not prime. Res64: E6534F162562A0AF Time : 0.0 sec. user=mdettweiler [2016-05-05 04:41:02] 765*2^1428250-1 is not prime. Res64: F77FD68B2B3EFC9D Time : 0.0 sec. user=mdettweiler [2016-05-05 04:41:03] 813*2^1428250-1 is not prime. Res64: 4C093EE5EF23FF4E Time : 0.0 sec. user=mdettweiler [2016-05-05 04:41:03] 833*2^1428250-1 is not prime. Res64: 3DC570131D3B72C9 Time : 0.0 sec. user=mdettweiler [2016-05-05 04:41:03] 941*2^1428250-1 is not prime. Res64: 1DDFB69F4EE7D439 Time : 0.0 sec. user=mdettweiler [2016-05-05 04:42:40] 987*2^1428250-1 is not prime. Res64: 414501D02B51DB4D Time : 0.0 sec. user=mdettweiler [2016-05-05 04:42:40] 615*2^1428251-1 is not prime. Res64: 266C504C66B9EDC0 Time : 0.0 sec. user=mdettweiler [2016-05-05 04:42:40] 643*2^1428251-1 is not prime. Res64: D8D0AC6AB03551C6 Time : 0.0 sec. user=mdettweiler [2016-05-05 04:42:41] 685*2^1428251-1 is not prime. Res64: FC6F50930E13FA86 Time : 0.0 sec. user=mdettweiler [2016-05-05 04:42:41] 711*2^1428251-1 is not prime. Res64: A5F7A2CCAAB6E0D6 Time : 0.0 sec. user=mdettweiler [2016-05-05 05:15:36] 855*2^1428251-1 is not prime. Res64: F89A41CF87CBC1C6 Time : 0.0 sec. user=mdettweiler [2016-05-05 05:15:36] 859*2^1428251-1 is not prime. Res64: 9285035ACEFB8034 Time : 0.0 sec. user=mdettweiler [2016-05-05 05:15:37] 955*2^1428251-1 is not prime. Res64: 5747EAB2E9CA52FD Time : 0.0 sec. user=mdettweiler [2016-05-05 05:15:37] 653*2^1428252-1 is not prime. Res64: 8169DC07119BEBCA Time : 0.0 sec. user=mdettweiler [2016-05-05 05:15:37] 669*2^1428252-1 is not prime. Res64: D113B88CA6FEAAC5 Time : 0.0 sec. user=mdettweiler [2016-05-05 05:17:22] 749*2^1428252-1 is not prime. Res64: B738EF3D60570F22 Time : 0.0 sec. user=mdettweiler [2016-05-05 05:17:22] 759*2^1428252-1 is not prime. Res64: 4BA00452CD8BE0EE Time : 0.0 sec. user=mdettweiler [2016-05-05 05:17:23] 899*2^1428252-1 is not prime. Res64: 19458B69D81B1EBF Time : 0.0 sec. user=mdettweiler [2016-05-05 05:17:23] 621*2^1428253-1 is not prime. Res64: 696E7A0BE82CFEFF Time : 0.0 sec. user=mdettweiler [2016-05-05 05:17:23] 625*2^1428253-1 is not prime. Res64: 4CDCCA00BEDF6A0B Time : 0.0 sec. user=mdettweiler [2016-05-05 05:27:01] 817*2^1428253-1 is not prime. Res64: DAFEB2E98DA5D744 Time : 0.0 sec. user=mdettweiler [2016-05-05 05:27:02] 835*2^1428253-1 is not prime. Res64: E6FA7B9F55909C5A Time : 0.0 sec. user=mdettweiler [2016-05-05 05:27:03] 897*2^1428253-1 is not prime. Res64: 39B6D0B74CDC2EC6 Time : 0.0 sec. user=mdettweiler [2016-05-05 05:27:04] 945*2^1428253-1 is not prime. Res64: 01A97C5F39E6C6EE Time : 0.0 sec. user=mdettweiler [2016-05-05 05:27:04] 671*2^1428254-1 is not prime. Res64: CA34E85B6FD806A8 Time : 0.0 sec. user=mdettweiler [2016-05-05 05:28:29] 677*2^1428254-1 is not prime. Res64: B94CE18EF3CCC84F Time : 0.0 sec. user=mdettweiler [2016-05-05 05:28:30] 711*2^1428254-1 is not prime. Res64: A66A7A285C070F21 Time : 0.0 sec. user=mdettweiler [2016-05-05 05:28:31] 717*2^1428254-1 is not prime. Res64: 008DA9F40340992E Time : 0.0 sec. user=mdettweiler [2016-05-05 05:28:32] 813*2^1428254-1 is not prime. Res64: 887796ADABCB7B1A Time : 0.0 sec. user=mdettweiler [2016-05-05 05:28:33] 861*2^1428254-1 is not prime. Res64: 08EDB5854A406848 Time : 0.0 sec. user=mdettweiler [2016-05-05 06:01:31] 873*2^1428254-1 is not prime. Res64: CB4F59B6FED9E9D2 Time : 0.0 sec. user=mdettweiler [2016-05-05 06:01:32] 917*2^1428254-1 is not prime. Res64: 07AA5662025D117D Time : 0.0 sec. user=mdettweiler [2016-05-05 06:01:32] 981*2^1428254-1 is not prime. Res64: 3041E11084E6EA3B Time : 0.0 sec. user=mdettweiler [2016-05-05 06:01:33] 669*2^1428255-1 is not prime. Res64: 3BED2AFD79D86BE9 Time : 0.0 sec. user=mdettweiler [2016-05-05 06:01:34] 693*2^1428255-1 is not prime. Res64: 8A010ED650B9F86B Time : 0.0 sec. user=mdettweiler [2016-05-05 06:03:21] 805*2^1428255-1 is not prime. Res64: 5ABD304D85B55A61 Time : 0.0 sec. user=mdettweiler [2016-05-05 06:03:22] 885*2^1428255-1 is not prime. Res64: FCEF049F173B6B6E Time : 0.0 sec. user=mdettweiler [2016-05-05 06:03:23] 951*2^1428255-1 is not prime. Res64: FB20669F6C2F735F Time : 0.0 sec. user=mdettweiler [2016-05-05 06:03:24] 645*2^1428256-1 is not prime. Res64: 42952C0A4F968F70 Time : 0.0 sec. user=mdettweiler [2016-05-05 06:03:25] 705*2^1428256-1 is not prime. Res64: 2FE73D0CE6F31DA3 Time : 0.0 sec. user=mdettweiler [2016-05-05 06:13:03] 759*2^1428256-1 is not prime. Res64: EFE58DE1628ECECA Time : 0.0 sec. user=mdettweiler [2016-05-05 06:13:03] 849*2^1428256-1 is not prime. Res64: 02D0B3E6DCFB8EE0 Time : 0.0 sec. user=mdettweiler [2016-05-05 06:13:04] 903*2^1428256-1 is not prime. Res64: CD707BA975E06443 Time : 0.0 sec. user=mdettweiler [2016-05-05 06:13:04] 909*2^1428256-1 is not prime. Res64: 57F006EE47BB0555 Time : 0.0 sec. user=mdettweiler [2016-05-05 06:13:04] 989*2^1428256-1 is not prime. Res64: A6DDDC77DB2A4074 Time : 0.0 sec. user=mdettweiler [2016-05-05 06:14:23] 645*2^1428257-1 is not prime. Res64: B2E398B32B1DFAB2 Time : 0.0 sec. user=mdettweiler [2016-05-05 06:14:23] 669*2^1428257-1 is not prime. Res64: 871CEB9C39CD4C71 Time : 0.0 sec. user=mdettweiler [2016-05-05 06:14:24] 741*2^1428257-1 is not prime. Res64: 4AC403BC2DCD5F89 Time : 0.0 sec. user=mdettweiler [2016-05-05 06:14:24] 759*2^1428257-1 is not prime. Res64: 21CC0A56BC8823F2 Time : 0.0 sec. user=mdettweiler [2016-05-05 06:14:25] 801*2^1428257-1 is not prime. Res64: 243A028D2D97272D Time : 0.0 sec. user=mdettweiler [2016-05-05 06:47:14] 925*2^1428257-1 is not prime. Res64: C6257218DEC04534 Time : 0.0 sec. user=mdettweiler [2016-05-05 06:47:14] 981*2^1428257-1 is not prime. Res64: 267CEE14B3B2EC93 Time : 0.0 sec. user=mdettweiler [2016-05-05 06:47:14] 605*2^1428258-1 is not prime. Res64: 79CA8C5F56F1B25B Time : 0.0 sec. user=mdettweiler [2016-05-05 06:47:15] 663*2^1428258-1 is not prime. Res64: 4AE8F21540ADE66F Time : 0.0 sec. user=mdettweiler [2016-05-05 06:47:15] 725*2^1428258-1 is not prime. Res64: F81411C0B9F6FB7B Time : 0.0 sec. user=mdettweiler [2016-05-05 06:49:19] 797*2^1428258-1 is not prime. Res64: 3DCE0CD52F87D736 Time : 0.0 sec. user=mdettweiler [2016-05-05 06:49:20] 825*2^1428258-1 is not prime. Res64: C9B39067E5630B95 Time : 0.0 sec. user=mdettweiler [2016-05-05 06:49:20] 861*2^1428258-1 is not prime. Res64: 1D6E29CB3716BF9E Time : 0.0 sec. user=mdettweiler [2016-05-05 06:49:20] 905*2^1428258-1 is not prime. Res64: 02B7D2D482F5101C Time : 0.0 sec. user=mdettweiler [2016-05-05 06:49:21] 927*2^1428258-1 is not prime. Res64: 5F3A4E5FA1A5C9A2 Time : 0.0 sec. user=mdettweiler [2016-05-05 06:58:55] 1001*2^1428258-1 is not prime. Res64: D939166095E7433A Time : 0.0 sec. user=mdettweiler [2016-05-05 06:58:55] 723*2^1428259-1 is not prime. Res64: 39F5CD30FFF01202 Time : 0.0 sec. user=mdettweiler [2016-05-05 06:58:56] 843*2^1428259-1 is not prime. Res64: 23D6D42750C9D75F Time : 0.0 sec. user=mdettweiler [2016-05-05 06:58:56] 919*2^1428259-1 is not prime. Res64: 1ECE848A9303C8E5 Time : 0.0 sec. user=mdettweiler [2016-05-05 06:58:56] 665*2^1428260-1 is not prime. Res64: EA331F1D81F211E6 Time : 0.0 sec. user=mdettweiler [2016-05-05 07:00:09] 759*2^1428260-1 is not prime. Res64: ECAD9C995DA5B1E2 Time : 0.0 sec. user=mdettweiler [2016-05-05 07:00:10] 797*2^1428260-1 is not prime. Res64: 3B326DD389663287 Time : 0.0 sec. user=mdettweiler [2016-05-05 07:00:10] 977*2^1428260-1 is not prime. Res64: FCC30A53D3EB9435 Time : 0.0 sec. user=mdettweiler [2016-05-05 07:00:11] 999*2^1428260-1 is not prime. Res64: 7C3F790060A84C33 Time : 0.0 sec. user=mdettweiler [2016-05-05 07:00:11] 657*2^1428261-1 is not prime. Res64: 74887801A96C43D8 Time : 0.0 sec. user=mdettweiler [2016-05-05 07:33:02] 675*2^1428261-1 is not prime. Res64: 6EE3E1432AB5129A Time : 0.0 sec. user=mdettweiler [2016-05-05 07:33:03] 871*2^1428261-1 is not prime. Res64: 0B528FCDD3BF22E8 Time : 0.0 sec. user=mdettweiler [2016-05-05 07:33:03] 907*2^1428261-1 is not prime. Res64: C6F441D116364DC6 Time : 0.0 sec. user=mdettweiler [2016-05-05 07:33:03] 961*2^1428261-1 is not prime. Res64: 85409ECD189D0917 Time : 0.0 sec. user=mdettweiler [2016-05-05 07:33:04] 611*2^1428262-1 is not prime. Res64: 83F0CB4E9612685F Time : 0.0 sec. user=mdettweiler [2016-05-05 07:35:18] 621*2^1428262-1 is not prime. Res64: 8196A90DECE3F213 Time : 0.0 sec. user=mdettweiler [2016-05-05 07:35:19] 623*2^1428262-1 is not prime. Res64: 49A10A8093D0BA70 Time : 0.0 sec. user=mdettweiler [2016-05-05 07:35:19] 657*2^1428262-1 is not prime. Res64: E569134C4D56D0DC Time : 0.0 sec. user=mdettweiler [2016-05-05 07:35:19] 665*2^1428262-1 is not prime. Res64: D7DE5EC746FC3832 Time : 0.0 sec. user=mdettweiler [2016-05-05 07:35:20] 741*2^1428262-1 is not prime. Res64: B03AA74C4140EB1C Time : 0.0 sec. user=mdettweiler [2016-05-05 07:44:35] 831*2^1428262-1 is not prime. Res64: EE1C7E83ABAD40E7 Time : 0.0 sec. user=mdettweiler [2016-05-05 07:44:35] 915*2^1428262-1 is not prime. Res64: 9F7E08854E4AF839 Time : 0.0 sec. user=mdettweiler [2016-05-05 07:44:35] 957*2^1428262-1 is not prime. Res64: DB7516E2698345EA Time : 0.0 sec. user=mdettweiler [2016-05-05 07:44:36] 983*2^1428262-1 is not prime. Res64: 97E6D096A3EC4FD0 Time : 0.0 sec. user=mdettweiler [2016-05-05 07:44:36] 995*2^1428262-1 is not prime. Res64: 9DD85F006D973CDC Time : 0.0 sec. user=mdettweiler [2016-05-05 07:45:45] 663*2^1428263-1 is not prime. Res64: DE7178D78BBEC664 Time : 0.0 sec. user=mdettweiler [2016-05-05 07:45:45] 729*2^1428263-1 is not prime. Res64: DA51FCDBE34BCB57 Time : 0.0 sec. user=mdettweiler [2016-05-05 07:45:45] 981*2^1428263-1 is not prime. Res64: D09BE2518A84297C Time : 0.0 sec. user=mdettweiler [2016-05-05 07:45:46] 699*2^1428264-1 is not prime. Res64: EB59F93878F036F4 Time : 0.0 sec. user=mdettweiler [2016-05-05 07:45:46] 725*2^1428264-1 is not prime. Res64: 863594E230C8117E Time : 0.0 sec. user=mdettweiler [2016-05-05 08:19:53] 753*2^1428264-1 is not prime. Res64: E6820A7A6F42F107 Time : 0.0 sec. user=mdettweiler [2016-05-05 08:19:53] 759*2^1428264-1 is not prime. Res64: B79CD4AD8A82360A Time : 0.0 sec. user=mdettweiler [2016-05-05 08:19:53] 899*2^1428264-1 is not prime. Res64: 9A2A183620F6D02A Time : 0.0 sec. user=mdettweiler [2016-05-05 08:19:53] 909*2^1428264-1 is not prime. Res64: 5B1C6DA0005AB292 Time : 0.0 sec. user=mdettweiler [2016-05-05 08:19:54] 917*2^1428264-1 is not prime. Res64: 55AF16BC79100007 Time : 0.0 sec. user=mdettweiler [2016-05-05 08:22:32] 649*2^1428265-1 is not prime. Res64: E03A085A22A8F6E1 Time : 0.0 sec. user=mdettweiler [2016-05-05 08:22:33] 705*2^1428265-1 is not prime. Res64: 762F887568D61DE6 Time : 0.0 sec. user=mdettweiler [2016-05-05 08:22:33] 775*2^1428265-1 is not prime. Res64: 43F841766ED6B2BE Time : 0.0 sec. user=mdettweiler [2016-05-05 08:22:33] 867*2^1428265-1 is not prime. Res64: 026EE79FCC56FE9F Time : 0.0 sec. user=mdettweiler [2016-05-05 08:22:33] 871*2^1428265-1 is not prime. Res64: D61E4F4D440CAF9E Time : 0.0 sec. user=mdettweiler [2016-05-05 08:32:37] 937*2^1428265-1 is not prime. Res64: 4531C5B05A08DBE1 Time : 0.0 sec. user=mdettweiler [2016-05-05 08:32:38] 975*2^1428265-1 is not prime. Res64: B3D29830E5BB5403 Time : 0.0 sec. user=mdettweiler [2016-05-05 08:32:38] 987*2^1428265-1 is not prime. Res64: 8A7FD40F048FCF66 Time : 0.0 sec. user=mdettweiler [2016-05-05 08:32:39] 623*2^1428266-1 is not prime. Res64: 5B7BBC031D8BB082 Time : 0.0 sec. user=mdettweiler [2016-05-05 08:32:39] 645*2^1428266-1 is not prime. Res64: D5A533BD7A6433C3 Time : 0.0 sec. user=mdettweiler [2016-05-05 08:33:47] 767*2^1428266-1 is not prime. Res64: B73A3621D4137DC1 Time : 0.0 sec. user=mdettweiler [2016-05-05 08:33:47] 783*2^1428266-1 is not prime. Res64: 03AFC3B4DE2CA0A0 Time : 0.0 sec. user=mdettweiler [2016-05-05 08:33:48] 911*2^1428266-1 is not prime. Res64: F1CAA0D4FEB0A30C Time : 0.0 sec. user=mdettweiler [2016-05-05 08:33:48] 615*2^1428267-1 is not prime. Res64: FB825837EB3C106C Time : 0.0 sec. user=mdettweiler [2016-05-05 08:33:49] 741*2^1428267-1 is not prime. Res64: 14BA0F34ABA17EA3 Time : 0.0 sec. user=mdettweiler [2016-05-05 09:08:54] 769*2^1428267-1 is not prime. Res64: 84963A38E4A189B4 Time : 0.0 sec. user=mdettweiler [2016-05-05 09:08:55] 795*2^1428267-1 is not prime. Res64: 69DD41D1D97D90E2 Time : 0.0 sec. user=mdettweiler [2016-05-05 09:08:56] 805*2^1428267-1 is not prime. Res64: 42953F71320AAE5A Time : 0.0 sec. user=mdettweiler [2016-05-05 09:08:56] 945*2^1428267-1 is not prime. Res64: 1FC60DBAE2950661 Time : 0.0 sec. user=mdettweiler [2016-05-05 09:08:57] 963*2^1428267-1 is not prime. Res64: F52997E8C8368C90 Time : 0.0 sec. user=mdettweiler [2016-05-05 09:11:16] 973*2^1428267-1 is not prime. Res64: 811ED3D884B26ECE Time : 0.0 sec. user=mdettweiler [2016-05-05 09:11:17] 639*2^1428268-1 is not prime. Res64: 4A2A6F3674322E3C Time : 0.0 sec. user=mdettweiler [2016-05-05 09:11:18] 813*2^1428268-1 is not prime. Res64: 5C55FA3FD33B62F8 Time : 0.0 sec. user=mdettweiler [2016-05-05 09:11:18] 905*2^1428268-1 is not prime. Res64: 84EBF1600EB4AA4A Time : 0.0 sec. user=mdettweiler [2016-05-05 09:11:19] 953*2^1428268-1 is not prime. Res64: A6F9FA3F2BFF23C3 Time : 0.0 sec. user=mdettweiler [2016-05-05 09:20:44] 697*2^1428269-1 is not prime. Res64: 013EA10319391590 Time : 0.0 sec. user=mdettweiler [2016-05-05 09:20:44] 781*2^1428269-1 is not prime. Res64: CF3A4FC049882334 Time : 0.0 sec. user=mdettweiler [2016-05-05 09:20:44] 831*2^1428269-1 is not prime. Res64: 0B3BA01D6D0B09CF Time : 0.0 sec. user=mdettweiler [2016-05-05 09:20:45] 837*2^1428269-1 is not prime. Res64: 79B6819A76879BED Time : 0.0 sec. user=mdettweiler [2016-05-05 09:20:45] 861*2^1428269-1 is not prime. Res64: 6EB097C4029624AC Time : 0.0 sec. user=mdettweiler [2016-05-05 09:21:56] 945*2^1428269-1 is not prime. Res64: CBBF398B981B5971 Time : 0.0 sec. user=mdettweiler [2016-05-05 09:21:56] 949*2^1428269-1 is not prime. Res64: 0BF00BC50F10D20C Time : 0.0 sec. user=mdettweiler [2016-05-05 09:21:56] 955*2^1428269-1 is not prime. Res64: 7DFC9AA19AB93FC7 Time : 0.0 sec. user=mdettweiler [2016-05-05 09:21:57] 957*2^1428269-1 is not prime. Res64: 471074E4B688AB08 Time : 0.0 sec. user=mdettweiler [2016-05-05 09:21:57] 615*2^1428270-1 is not prime. Res64: 80BECE2A8B9DBB6C Time : 0.0 sec. user=mdettweiler [2016-05-05 09:55:19] 717*2^1428270-1 is not prime. Res64: 5FCBD409D85C5CC6 Time : 0.0 sec. user=mdettweiler [2016-05-05 09:55:20] 861*2^1428270-1 is not prime. Res64: C1802BDC5F97A056 Time : 0.0 sec. user=mdettweiler [2016-05-05 09:55:20] 945*2^1428270-1 is not prime. Res64: 079C04C70CD9ED87 Time : 0.0 sec. user=mdettweiler [2016-05-05 09:55:20] 673*2^1428271-1 is not prime. Res64: 26482B5BF46A26D5 Time : 0.0 sec. user=mdettweiler [2016-05-05 09:55:21] 685*2^1428271-1 is not prime. Res64: A7210394CE82A163 Time : 0.0 sec. user=mdettweiler [2016-05-05 09:57:32] 783*2^1428271-1 is not prime. Res64: 96F7163E84A3B980 Time : 0.0 sec. user=mdettweiler [2016-05-05 09:57:33] 859*2^1428271-1 is not prime. Res64: A0E6A8428B2691CC Time : 0.0 sec. user=mdettweiler [2016-05-05 09:57:33] 943*2^1428271-1 is not prime. Res64: 791B5679026E51E9 Time : 0.0 sec. user=mdettweiler [2016-05-05 09:57:33] 603*2^1428272-1 is not prime. Res64: 7B5B39ED6BE7F89A Time : 0.0 sec. user=mdettweiler [2016-05-05 09:57:34] 617*2^1428272-1 is not prime. Res64: 8BD772D992FF5140 Time : 0.0 sec. user=mdettweiler [2016-05-05 10:07:01] 867*2^1428272-1 is not prime. Res64: FDA6F816CA238CDD Time : 0.0 sec. user=mdettweiler [2016-05-05 10:07:02] 935*2^1428272-1 is not prime. Res64: 60549C89CFE0B6A9 Time : 0.0 sec. user=mdettweiler [2016-05-05 10:07:02] 983*2^1428272-1 is not prime. Res64: A8A35BFFB1A3B5A9 Time : 0.0 sec. user=mdettweiler [2016-05-05 10:07:03] 609*2^1428273-1 is not prime. Res64: 319CBF7FF7B00391 Time : 0.0 sec. user=mdettweiler [2016-05-05 10:07:03] 889*2^1428273-1 is not prime. Res64: AF8BD20C79C6DD1B Time : 0.0 sec. user=mdettweiler [2016-05-05 10:08:19] 915*2^1428273-1 is not prime. Res64: F9B2F629C0E097C0 Time : 0.0 sec. user=mdettweiler [2016-05-05 10:08:20] 765*2^1428274-1 is not prime. Res64: D45AB9EF928523F4 Time : 0.0 sec. user=mdettweiler [2016-05-05 10:08:20] 803*2^1428274-1 is not prime. Res64: CEA703B30A2E5AA9 Time : 0.0 sec. user=mdettweiler [2016-05-05 10:08:20] 833*2^1428274-1 is not prime. Res64: 71E8887B2091EA94 Time : 0.0 sec. user=mdettweiler [2016-05-05 10:08:21] 857*2^1428274-1 is not prime. Res64: A02BF743E691152E Time : 0.0 sec. user=mdettweiler [2016-05-05 10:41:12] 885*2^1428274-1 is not prime. Res64: 2822B4719DDB3D81 Time : 0.0 sec. user=mdettweiler [2016-05-05 10:41:12] 975*2^1428274-1 is not prime. Res64: B8872833B4223DD1 Time : 0.0 sec. user=mdettweiler [2016-05-05 10:41:12] 983*2^1428274-1 is not prime. Res64: E4A1F472E6BBC6AB Time : 0.0 sec. user=mdettweiler [2016-05-05 10:41:13] 655*2^1428275-1 is not prime. Res64: 6058DBE331A12A8D Time : 0.0 sec. user=mdettweiler [2016-05-05 10:41:13] 685*2^1428275-1 is not prime. Res64: A38004458E53773B Time : 0.0 sec. user=mdettweiler [2016-05-05 10:43:31] 859*2^1428275-1 is not prime. Res64: 1AA532CB60588311 Time : 0.0 sec. user=mdettweiler [2016-05-05 10:43:32] 885*2^1428275-1 is not prime. Res64: C3059FDEE169792A Time : 0.0 sec. user=mdettweiler [2016-05-05 10:43:32] 913*2^1428275-1 is not prime. Res64: 832ABD974F3BC4A2 Time : 0.0 sec. user=mdettweiler [2016-05-05 10:43:32] 943*2^1428275-1 is not prime. Res64: 9C7F002C4B28D70F Time : 0.0 sec. user=mdettweiler [2016-05-05 10:43:33] 981*2^1428275-1 is not prime. Res64: D7EE83234627E055 Time : 0.0 sec. user=mdettweiler [2016-05-05 10:52:47] 999*2^1428275-1 is not prime. Res64: DF8F26A2D62B81A6 Time : 0.0 sec. user=mdettweiler [2016-05-05 10:52:47] 635*2^1428276-1 is not prime. Res64: 9B3DD414664D903F Time : 0.0 sec. user=mdettweiler [2016-05-05 10:52:47] 719*2^1428276-1 is not prime. Res64: 3D671375232E0DD5 Time : 0.0 sec. user=mdettweiler [2016-05-05 10:52:48] 749*2^1428276-1 is not prime. Res64: 31B20DCAFDEDB598 Time : 0.0 sec. user=mdettweiler [2016-05-05 10:52:48] 777*2^1428276-1 is not prime. Res64: D93720A0FE81789F Time : 0.0 sec. user=mdettweiler [2016-05-05 10:54:01] 845*2^1428276-1 is not prime. Res64: 5D7FEFEF8FA89207 Time : 0.0 sec. user=mdettweiler [2016-05-05 10:54:01] 873*2^1428276-1 is not prime. Res64: 818FB406114A1826 Time : 0.0 sec. user=mdettweiler [2016-05-05 10:54:01] 717*2^1428277-1 is not prime. Res64: B7D5B1E3CC437F68 Time : 0.0 sec. user=mdettweiler [2016-05-05 10:54:02] 757*2^1428277-1 is not prime. Res64: 8AF7E3C6A1B86248 Time : 0.0 sec. user=mdettweiler [2016-05-05 10:54:02] 775*2^1428277-1 is not prime. Res64: DB41BDC72BBCC878 Time : 0.0 sec. user=mdettweiler [2016-05-05 11:26:56] 885*2^1428277-1 is not prime. Res64: FB3802A815B0AE1D Time : 0.0 sec. user=mdettweiler [2016-05-05 11:26:57] 915*2^1428277-1 is not prime. Res64: 96A5BF0462B949E4 Time : 0.0 sec. user=mdettweiler [2016-05-05 11:26:58] 861*2^1428278-1 is not prime. Res64: 9A5C6257EC665E87 Time : 0.0 sec. user=mdettweiler [2016-05-05 11:26:58] 911*2^1428278-1 is not prime. Res64: 7DC781596DDDBFE0 Time : 0.0 sec. user=mdettweiler [2016-05-05 11:26:59] 935*2^1428278-1 is not prime. Res64: 00B515ED8BD3D8C6 Time : 0.0 sec. user=mdettweiler [2016-05-05 11:29:16] 941*2^1428278-1 is not prime. Res64: 81EFA15985525E92 Time : 0.0 sec. user=mdettweiler [2016-05-05 11:29:17] 601*2^1428279-1 is not prime. Res64: 2FEA4AF336F0DE79 Time : 0.0 sec. user=mdettweiler [2016-05-05 11:29:17] 709*2^1428279-1 is not prime. Res64: F2F3D5FF9E8A021F Time : 0.0 sec. user=mdettweiler [2016-05-05 11:29:17] 735*2^1428279-1 is not prime. Res64: F7789ED439863069 Time : 0.0 sec. user=mdettweiler [2016-05-05 11:29:18] 865*2^1428279-1 is not prime. Res64: 34622324295A7DD7 Time : 0.0 sec. user=mdettweiler [2016-05-05 11:38:34] 885*2^1428279-1 is not prime. Res64: B64BD996AFA9104E Time : 0.0 sec. user=mdettweiler [2016-05-05 11:38:35] 955*2^1428279-1 is not prime. Res64: C869AD2046314CDF Time : 0.0 sec. user=mdettweiler [2016-05-05 11:38:35] 979*2^1428279-1 is not prime. Res64: E5AE67117FCDFACA Time : 0.0 sec. user=mdettweiler [2016-05-05 11:38:35] 605*2^1428280-1 is not prime. Res64: 17B29FEC55EB8EF9 Time : 0.0 sec. user=mdettweiler [2016-05-05 11:38:36] 635*2^1428280-1 is not prime. Res64: 28206F52DC1EB33E Time : 0.0 sec. user=mdettweiler [2016-05-05 11:39:47] 653*2^1428280-1 is prime! Time : 0.0 sec. user=mdettweiler [2016-05-05 11:39:50] 675*2^1428280-1 is not prime. Res64: 4D2A76C39B799909 Time : 0.0 sec. user=mdettweiler [2016-05-05 11:39:50] 677*2^1428280-1 is not prime. Res64: 7A12DC7F2AC58AC0 Time : 0.0 sec. user=mdettweiler [2016-05-05 11:39:51] 777*2^1428280-1 is not prime. Res64: 1ED1EBBAF4D3DBBD Time : 0.0 sec. user=mdettweiler [2016-05-05 11:39:51] 827*2^1428280-1 is not prime. Res64: 38D29883660B6785 Time : 0.0 sec. user=mdettweiler [2016-05-05 12:12:44] 845*2^1428280-1 is not prime. Res64: 2ADAB6FE9350C722 Time : 0.0 sec. user=mdettweiler [2016-05-05 12:12:45] 863*2^1428280-1 is not prime. Res64: 666EB6959E1ADCFF Time : 0.0 sec. user=mdettweiler [2016-05-05 12:12:45] 873*2^1428280-1 is not prime. Res64: E4489D85112768A8 Time : 0.0 sec. user=mdettweiler [2016-05-05 12:12:46] 923*2^1428280-1 is not prime. Res64: E3B4019260D96995 Time : 0.0 sec. user=mdettweiler [2016-05-05 12:12:46] 601*2^1428281-1 is not prime. Res64: 87277BF9AB63E29E Time : 0.0 sec. user=mdettweiler [2016-05-05 12:14:53] 747*2^1428281-1 is not prime. Res64: 1669DFCBF627F55A Time : 0.0 sec. user=mdettweiler [2016-05-05 12:14:53] 799*2^1428281-1 is not prime. Res64: A23161804C7D7D36 Time : 0.0 sec. user=mdettweiler [2016-05-05 12:14:54] 861*2^1428281-1 is not prime. Res64: 89C1700CFF67AFD0 Time : 0.0 sec. user=mdettweiler [2016-05-05 12:14:55] 945*2^1428281-1 is not prime. Res64: DA8105E63B932AA2 Time : 0.0 sec. user=mdettweiler [2016-05-05 12:14:55] 991*2^1428281-1 is not prime. Res64: 2E85A01DBA981D04 Time : 0.0 sec. user=mdettweiler [2016-05-05 12:24:08] 611*2^1428282-1 is not prime. Res64: CABA44581C6A89F3 Time : 0.0 sec. user=mdettweiler [2016-05-05 12:24:09] 651*2^1428282-1 is not prime. Res64: A6C5408BAAE7DACA Time : 0.0 sec. user=mdettweiler [2016-05-05 12:24:09] 923*2^1428282-1 is not prime. Res64: 75F3F5DF0C13C1E6 Time : 0.0 sec. user=mdettweiler [2016-05-05 12:24:09] 603*2^1428283-1 is not prime. Res64: 3C67E30A9B3333FE Time : 0.0 sec. user=mdettweiler [2016-05-05 12:24:10] 615*2^1428283-1 is not prime. Res64: E5FDFFEC83D723AE Time : 0.0 sec. user=mdettweiler [2016-05-05 12:25:25] 709*2^1428283-1 is not prime. Res64: 5BB05474A91076E7 Time : 0.0 sec. user=mdettweiler [2016-05-05 12:25:25] 855*2^1428283-1 is not prime. Res64: DD5E8664944BEE8E Time : 0.0 sec. user=mdettweiler [2016-05-05 12:25:25] 885*2^1428283-1 is not prime. Res64: BC47945120E8F540 Time : 0.0 sec. user=mdettweiler [2016-05-05 12:25:26] 605*2^1428284-1 is not prime. Res64: FD10A17553BD3F79 Time : 0.0 sec. user=mdettweiler [2016-05-05 12:25:26] 699*2^1428284-1 is not prime. Res64: 13BB841C53D86873 Time : 0.0 sec. user=mdettweiler [2016-05-05 12:58:30] 789*2^1428284-1 is not prime. Res64: 812DD7BB44D6CECF Time : 0.0 sec. user=mdettweiler [2016-05-05 12:58:30] 825*2^1428284-1 is not prime. Res64: 57380DAA0A8DB7AC Time : 0.0 sec. user=mdettweiler [2016-05-05 12:58:31] 857*2^1428284-1 is not prime. Res64: 6852C9FBF6546DCF Time : 0.0 sec. user=mdettweiler [2016-05-05 12:58:31] 885*2^1428284-1 is not prime. Res64: B6179B86EC9A066E Time : 0.0 sec. user=mdettweiler [2016-05-05 12:58:31] 893*2^1428284-1 is not prime. Res64: 1019C5521723E971 Time : 0.0 sec. user=mdettweiler [2016-05-05 13:00:37] 909*2^1428284-1 is not prime. Res64: 692F45C42BA9F2B4 Time : 0.0 sec. user=mdettweiler [2016-05-05 13:00:37] 657*2^1428285-1 is not prime. Res64: C589E5C7FB60334D Time : 0.0 sec. user=mdettweiler [2016-05-05 13:00:38] 711*2^1428285-1 is not prime. Res64: A528AE9A58D3B4E5 Time : 0.0 sec. user=mdettweiler [2016-05-05 13:00:39] 759*2^1428285-1 is not prime. Res64: 071D16DD8F5B6A32 Time : 0.0 sec. user=mdettweiler [2016-05-05 13:00:39] 861*2^1428285-1 is not prime. Res64: 251382A4EAD68F0C Time : 0.0 sec. user=mdettweiler [2016-05-05 13:09:53] 885*2^1428285-1 is not prime. Res64: 5341881D8A2CD516 Time : 0.0 sec. user=mdettweiler [2016-05-05 13:09:54] 603*2^1428286-1 is not prime. Res64: 816798E7ECED0161 Time : 0.0 sec. user=mdettweiler [2016-05-05 13:09:54] 717*2^1428286-1 is not prime. Res64: 55CCA0434D048062 Time : 0.0 sec. user=mdettweiler [2016-05-05 13:09:55] 843*2^1428286-1 is not prime. Res64: B240C76DF0496C7F Time : 0.0 sec. user=mdettweiler [2016-05-05 13:09:55] 983*2^1428286-1 is not prime. Res64: 3CBC4CB68A26E801 Time : 0.0 sec. user=mdettweiler [2016-05-05 13:11:13] 993*2^1428286-1 is not prime. Res64: B61ED689DE8F6879 Time : 0.0 sec. user=mdettweiler [2016-05-05 13:11:14] 1001*2^1428286-1 is not prime. Res64: 5D75475ED8449050 Time : 0.0 sec. user=mdettweiler [2016-05-05 13:11:14] 615*2^1428287-1 is not prime. Res64: 2FCBED176DC5413E Time : 0.0 sec. user=mdettweiler [2016-05-05 13:11:14] 621*2^1428287-1 is not prime. Res64: 82AE1DF1C22100B4 Time : 0.0 sec. user=mdettweiler [2016-05-05 13:11:15] 633*2^1428287-1 is not prime. Res64: 1C2B00F5F5DC02D5 Time : 0.0 sec. user=mdettweiler [2016-05-05 13:44:15] 775*2^1428287-1 is not prime. Res64: 1749653BF0ACB6D6 Time : 0.0 sec. user=mdettweiler [2016-05-05 13:44:16] 843*2^1428287-1 is not prime. Res64: A1E10930DA5AD246 Time : 0.0 sec. user=mdettweiler [2016-05-05 13:44:16] 883*2^1428287-1 is not prime. Res64: 41FF8725A2304353 Time : 0.0 sec. user=mdettweiler [2016-05-05 13:44:16] 979*2^1428287-1 is not prime. Res64: 71AEE2B7D584AA36 Time : 0.0 sec. user=mdettweiler [2016-05-05 13:44:17] 713*2^1428288-1 is not prime. Res64: A4DBB128480F802A Time : 0.0 sec. user=mdettweiler [2016-05-05 13:46:36] 725*2^1428288-1 is not prime. Res64: 7466CB6F0760C023 Time : 0.0 sec. user=mdettweiler [2016-05-05 13:46:36] 969*2^1428288-1 is not prime. Res64: E4ADA731439ACE65 Time : 0.0 sec. user=mdettweiler [2016-05-05 13:46:36] 681*2^1428289-1 is not prime. Res64: 4395E03C44E0614B Time : 0.0 sec. user=mdettweiler [2016-05-05 13:46:37] 721*2^1428289-1 is not prime. Res64: D3C49CD4CF4CE446 Time : 0.0 sec. user=mdettweiler [2016-05-05 13:46:37] 811*2^1428289-1 is not prime. Res64: 2678D784767BC018 Time : 0.0 sec. user=mdettweiler [2016-05-05 13:56:04] 955*2^1428289-1 is not prime. Res64: DEF430C4DD1C435B Time : 0.0 sec. user=mdettweiler [2016-05-05 13:56:04] 957*2^1428289-1 is not prime. Res64: 63FD11176D31CFF7 Time : 0.0 sec. user=mdettweiler [2016-05-05 13:56:05] 605*2^1428290-1 is not prime. Res64: 43CB973BAA6909A5 Time : 0.0 sec. user=mdettweiler [2016-05-05 13:56:05] 615*2^1428290-1 is not prime. Res64: CA511E96C3BB3C57 Time : 0.0 sec. user=mdettweiler [2016-05-05 13:56:05] 641*2^1428290-1 is not prime. Res64: DC711A2758985F4F Time : 0.0 sec. user=mdettweiler [2016-05-05 13:57:14] 783*2^1428290-1 is not prime. Res64: 26E9482AF2C51D1D Time : 0.0 sec. user=mdettweiler [2016-05-05 13:57:14] 851*2^1428290-1 is not prime. Res64: 387B6F1C9E64CBC4 Time : 0.0 sec. user=mdettweiler [2016-05-05 13:57:15] 893*2^1428290-1 is not prime. Res64: D014DB57FFB02FF4 Time : 0.0 sec. user=mdettweiler [2016-05-05 13:57:15] 911*2^1428290-1 is not prime. Res64: 87764770C488359E Time : 0.0 sec. user=mdettweiler [2016-05-05 13:57:15] 649*2^1428291-1 is not prime. Res64: 8E26EF9B69EF1A13 Time : 0.0 sec. user=mdettweiler [2016-05-05 14:29:44] 705*2^1428291-1 is not prime. Res64: BFC8C6881773C041 Time : 0.0 sec. user=mdettweiler [2016-05-05 14:29:45] 745*2^1428291-1 is not prime. Res64: 2A216BEA1C0DD0FE Time : 0.0 sec. user=mdettweiler [2016-05-05 14:29:45] 751*2^1428291-1 is not prime. Res64: 15F0B8058B8F027D Time : 0.0 sec. user=mdettweiler [2016-05-05 14:29:46] 969*2^1428291-1 is not prime. Res64: 62DA23F3116A58D4 Time : 0.0 sec. user=mdettweiler [2016-05-05 14:29:46] 609*2^1428292-1 is not prime. Res64: 8F077D149E5A478F Time : 0.0 sec. user=mdettweiler [2016-05-05 14:32:26] 677*2^1428292-1 is not prime. Res64: 4F644A281A613418 Time : 0.0 sec. user=mdettweiler [2016-05-05 14:32:26] 749*2^1428292-1 is not prime. Res64: 9FBEDFF0D1BBD12A Time : 0.0 sec. user=mdettweiler [2016-05-05 14:32:26] 873*2^1428292-1 is not prime. Res64: CAA2F32A9D8EC804 Time : 0.0 sec. user=mdettweiler [2016-05-05 14:32:27] 897*2^1428292-1 is not prime. Res64: 1D13C8DE5CED32E4 Time : 0.0 sec. user=mdettweiler [2016-05-05 14:32:27] 649*2^1428293-1 is not prime. Res64: 93E751258B999A1E Time : 0.0 sec. user=mdettweiler [2016-05-05 14:41:51] 811*2^1428293-1 is not prime. Res64: 3E03D5548D602A70 Time : 0.0 sec. user=mdettweiler [2016-05-05 14:41:51] 915*2^1428293-1 is not prime. Res64: 590E5BA05AF2DCDD Time : 0.0 sec. user=mdettweiler [2016-05-05 14:41:52] 949*2^1428293-1 is not prime. Res64: 46B67F105440EEA1 Time : 0.0 sec. user=mdettweiler [2016-05-05 14:41:52] 705*2^1428294-1 is not prime. Res64: 2188C86CFF79653D Time : 0.0 sec. user=mdettweiler [2016-05-05 14:41:53] 851*2^1428294-1 is not prime. Res64: EE0D943342BEDEA7 Time : 0.0 sec. user=mdettweiler [2016-05-05 14:43:04] 941*2^1428294-1 is not prime. Res64: B1940F0AD55102DC Time : 0.0 sec. user=mdettweiler [2016-05-05 14:43:04] 965*2^1428294-1 is not prime. Res64: C6A0914A1CBCF98C Time : 0.0 sec. user=mdettweiler [2016-05-05 14:43:05] 975*2^1428294-1 is not prime. Res64: A0061198A50DFB08 Time : 0.0 sec. user=mdettweiler [2016-05-05 14:43:05] 983*2^1428294-1 is not prime. Res64: 4A26806C7FABC3A6 Time : 0.0 sec. user=mdettweiler [2016-05-05 14:43:05] 625*2^1428295-1 is not prime. Res64: 92FA2F328AB0FBCC Time : 0.0 sec. user=mdettweiler [2016-05-05 15:15:29] 679*2^1428295-1 is not prime. Res64: 064B4385B3D8FB74 Time : 0.0 sec. user=mdettweiler [2016-05-05 15:15:30] 705*2^1428295-1 is not prime. Res64: 5C24E72F801B1609 Time : 0.0 sec. user=mdettweiler [2016-05-05 15:15:31] 741*2^1428295-1 is not prime. Res64: EFE6FFFC28B81E7E Time : 0.0 sec. user=mdettweiler [2016-05-05 15:15:31] 871*2^1428295-1 is not prime. Res64: 5CE185A62E691A3D Time : 0.0 sec. user=mdettweiler [2016-05-05 15:15:32] 885*2^1428295-1 is not prime. Res64: A61746DD31B45BCD Time : 0.0 sec. user=mdettweiler [2016-05-05 15:18:27] 961*2^1428295-1 is not prime. Res64: 6AE5795BDCFFDFCB Time : 0.0 sec. user=mdettweiler [2016-05-05 15:18:27] 973*2^1428295-1 is not prime. Res64: F4D83DDF6E478012 Time : 0.0 sec. user=mdettweiler [2016-05-05 15:18:27] 985*2^1428295-1 is not prime. Res64: 44A222719B82B9D9 Time : 0.0 sec. user=mdettweiler [2016-05-05 15:18:28] 635*2^1428296-1 is not prime. Res64: 943A471F277F4F58 Time : 0.0 sec. user=mdettweiler [2016-05-05 15:18:28] 659*2^1428296-1 is not prime. Res64: 967985B807FFB270 Time : 0.0 sec. user=mdettweiler [2016-05-05 15:27:45] 759*2^1428296-1 is not prime. Res64: AEC8318B371230E6 Time : 0.0 sec. user=mdettweiler [2016-05-05 15:27:45] 773*2^1428296-1 is not prime. Res64: 58BF3BD131EC6D49 Time : 0.0 sec. user=mdettweiler [2016-05-05 15:27:45] 825*2^1428296-1 is not prime. Res64: 0767A6472C31DE67 Time : 0.0 sec. user=mdettweiler [2016-05-05 15:27:46] 923*2^1428296-1 is not prime. Res64: A6F79CDD453CB6F4 Time : 0.0 sec. user=mdettweiler [2016-05-05 15:27:46] 999*2^1428296-1 is not prime. Res64: 2AB0314275B1B39B Time : 0.0 sec. user=mdettweiler [2016-05-05 15:29:02] 667*2^1428297-1 is not prime. Res64: 8ED9AB6C15AB61ED Time : 0.0 sec. user=mdettweiler [2016-05-05 15:29:02] 747*2^1428297-1 is not prime. Res64: 8565D319592EA216 Time : 0.0 sec. user=mdettweiler [2016-05-05 15:29:03] 777*2^1428297-1 is not prime. Res64: D226275772D92616 Time : 0.0 sec. user=mdettweiler [2016-05-05 15:29:03] 795*2^1428297-1 is not prime. Res64: 0F05B1A09FBD45B2 Time : 0.0 sec. user=mdettweiler [2016-05-05 15:29:03] 849*2^1428297-1 is not prime. Res64: CA13264C5DB73791 Time : 0.0 sec. user=mdettweiler [2016-05-05 16:01:16] 985*2^1428297-1 is not prime. Res64: A3D36A7AA28C48EC Time : 0.0 sec. user=mdettweiler [2016-05-05 16:01:17] 991*2^1428297-1 is not prime. Res64: 12F3036A6F48F115 Time : 0.0 sec. user=mdettweiler [2016-05-05 16:01:18] 617*2^1428298-1 is not prime. Res64: 8129E6A1D12C60C4 Time : 0.0 sec. user=mdettweiler [2016-05-05 16:01:19] 671*2^1428298-1 is not prime. Res64: 9586D33511920378 Time : 0.0 sec. user=mdettweiler [2016-05-05 16:01:20] 857*2^1428298-1 is not prime. Res64: 971E311D2974596C Time : 0.0 sec. user=mdettweiler [2016-05-05 16:04:11] 891*2^1428298-1 is not prime. Res64: 7CA249E2DA9BE5C5 Time : 0.0 sec. user=mdettweiler [2016-05-05 16:04:12] 951*2^1428298-1 is not prime. Res64: C9D9B56A57B41667 Time : 0.0 sec. user=mdettweiler [2016-05-05 16:04:13] 619*2^1428299-1 is not prime. Res64: 8CFB669DE5549339 Time : 0.0 sec. user=mdettweiler [2016-05-05 16:04:14] 663*2^1428299-1 is not prime. Res64: B1F2323344BB2B52 Time : 0.0 sec. user=mdettweiler [2016-05-05 16:04:15] 669*2^1428299-1 is not prime. Res64: 83603AE45D15C13D Time : 0.0 sec. user=mdettweiler [2016-05-05 16:13:39] 861*2^1428299-1 is not prime. Res64: 3D54BBE598552077 Time : 0.0 sec. user=mdettweiler [2016-05-05 16:13:39] 909*2^1428299-1 is not prime. Res64: 47D3799F9998F237 Time : 0.0 sec. user=mdettweiler [2016-05-05 16:13:40] 913*2^1428299-1 is not prime. Res64: 215D43F268A19F00 Time : 0.0 sec. user=mdettweiler [2016-05-05 16:13:40] 931*2^1428299-1 is not prime. Res64: A303ADD0A07E7411 Time : 0.0 sec. user=mdettweiler [2016-05-05 16:13:41] 735*2^1428300-1 is not prime. Res64: C091263A0B9B25BA Time : 0.0 sec. user=mdettweiler [2016-05-05 16:14:53] 737*2^1428300-1 is not prime. Res64: 408665FC81A0913D Time : 0.0 sec. user=mdettweiler [2016-05-05 16:14:53] 797*2^1428300-1 is not prime. Res64: 20F778B8E96DC1BA Time : 0.0 sec. user=mdettweiler [2016-05-05 16:14:54] 803*2^1428300-1 is not prime. Res64: BFBF0442B93CBA08 Time : 0.0 sec. user=mdettweiler [2016-05-05 16:14:55] 825*2^1428300-1 is not prime. Res64: 7EB81474BCA7BEB4 Time : 0.0 sec. user=mdettweiler [2016-05-05 16:14:55] 843*2^1428300-1 is not prime. Res64: CC9A57DEE089636D Time : 0.0 sec. user=mdettweiler [2016-05-05 16:47:09] 857*2^1428300-1 is not prime. Res64: D79A9841F62A295E Time : 0.0 sec. user=mdettweiler [2016-05-05 16:47:09] 965*2^1428300-1 is not prime. Res64: 2400D9066DA216E4 Time : 0.0 sec. user=mdettweiler [2016-05-05 16:47:10] 717*2^1428301-1 is not prime. Res64: 09A802B00987E92E Time : 0.0 sec. user=mdettweiler [2016-05-05 16:47:10] 811*2^1428301-1 is not prime. Res64: 2063BF527518D1B9 Time : 0.0 sec. user=mdettweiler [2016-05-05 16:47:10] 817*2^1428301-1 is not prime. Res64: 0F0FF5CFEAEBFB3A Time : 0.0 sec. user=mdettweiler [2016-05-05 16:50:04] 889*2^1428301-1 is not prime. Res64: 21D65DDA1C990301 Time : 0.0 sec. user=mdettweiler [2016-05-05 16:50:04] 997*2^1428301-1 is not prime. Res64: 65A1B7C47E5B8E95 Time : 0.0 sec. user=mdettweiler [2016-05-05 16:50:04] 741*2^1428302-1 is not prime. Res64: B62E95C22FB34BC4 Time : 0.0 sec. user=mdettweiler [2016-05-05 16:50:05] 801*2^1428302-1 is not prime. Res64: 9E26C1AD3810C266 Time : 0.0 sec. user=mdettweiler [2016-05-05 16:50:05] 825*2^1428302-1 is not prime. Res64: F8B271CE841EC201 Time : 0.0 sec. user=mdettweiler [2016-05-05 16:59:23] 827*2^1428302-1 is not prime. Res64: D0DCABD6A4004A19 Time : 0.0 sec. user=mdettweiler [2016-05-05 16:59:24] 921*2^1428302-1 is not prime. Res64: 1C63615118C790E7 Time : 0.0 sec. user=mdettweiler [2016-05-05 16:59:24] 965*2^1428302-1 is not prime. Res64: 8F45314D9E03F37D Time : 0.0 sec. user=mdettweiler [2016-05-05 16:59:25] 621*2^1428303-1 is not prime. Res64: BB5230361D1B44BC Time : 0.0 sec. user=mdettweiler [2016-05-05 16:59:25] 709*2^1428303-1 is not prime. Res64: C851DBB16EC6B6DB Time : 0.0 sec. user=mdettweiler [2016-05-05 17:00:46] 739*2^1428303-1 is not prime. Res64: 41123E4863F9BEC2 Time : 0.0 sec. user=mdettweiler [2016-05-05 17:00:47] 871*2^1428303-1 is not prime. Res64: 073CABD702D19234 Time : 0.0 sec. user=mdettweiler [2016-05-05 17:00:48] 885*2^1428303-1 is not prime. Res64: 3593B483DD797959 Time : 0.0 sec. user=mdettweiler [2016-05-05 17:00:49] 675*2^1428304-1 is not prime. Res64: BF01657A8A6D20A5 Time : 0.0 sec. user=mdettweiler [2016-05-05 17:00:49] 825*2^1428304-1 is not prime. Res64: 2788E887E9730B4C Time : 0.0 sec. user=mdettweiler [2016-05-05 17:33:10] 959*2^1428304-1 is not prime. Res64: 09B6E1418F97F1C2 Time : 0.0 sec. user=mdettweiler [2016-05-05 17:33:10] 699*2^1428305-1 is not prime. Res64: 9384D161920A4339 Time : 0.0 sec. user=mdettweiler [2016-05-05 17:33:11] 711*2^1428305-1 is not prime. Res64: 9769A551A0B008B3 Time : 0.0 sec. user=mdettweiler [2016-05-05 17:33:11] 837*2^1428305-1 is not prime. Res64: 98BF9743866080A8 Time : 0.0 sec. user=mdettweiler [2016-05-05 17:33:12] 841*2^1428305-1 is not prime. Res64: 2091052AA05037C2 Time : 0.0 sec. user=mdettweiler [2016-05-05 17:35:59] 865*2^1428305-1 is not prime. Res64: 09B1610974A6294F Time : 0.0 sec. user=mdettweiler [2016-05-05 17:36:00] 985*2^1428305-1 is not prime. Res64: 09220A70867B45D4 Time : 0.0 sec. user=mdettweiler [2016-05-05 17:36:00] 987*2^1428305-1 is not prime. Res64: 814E9760536C2A61 Time : 0.0 sec. user=mdettweiler [2016-05-05 17:36:00] 627*2^1428306-1 is not prime. Res64: F64E654C906DD178 Time : 0.0 sec. user=mdettweiler [2016-05-05 17:36:01] 683*2^1428306-1 is not prime. Res64: 35BB71D9B6113BDA Time : 0.0 sec. user=mdettweiler [2016-05-05 17:45:33] 711*2^1428306-1 is not prime. Res64: 22CEC1391A296509 Time : 0.0 sec. user=mdettweiler [2016-05-05 17:45:34] 767*2^1428306-1 is not prime. Res64: A3F1E0D5DC509D21 Time : 0.0 sec. user=mdettweiler [2016-05-05 17:45:34] 777*2^1428306-1 is not prime. Res64: 9EC489EE18984330 Time : 0.0 sec. user=mdettweiler [2016-05-05 17:45:35] 803*2^1428306-1 is not prime. Res64: 612B0D3EAA9F3C3A Time : 0.0 sec. user=mdettweiler [2016-05-05 17:45:35] 807*2^1428306-1 is not prime. Res64: D9E6040C799F2942 Time : 0.0 sec. user=mdettweiler [2016-05-05 17:46:57] 833*2^1428306-1 is not prime. Res64: F9E7D8870CC62D81 Time : 0.0 sec. user=mdettweiler [2016-05-05 17:46:58] 873*2^1428306-1 is not prime. Res64: 7DF85E0EAEFAF331 Time : 0.0 sec. user=mdettweiler [2016-05-05 17:46:58] 941*2^1428306-1 is not prime. Res64: 9E0EF087CB4BDDB0 Time : 0.0 sec. user=mdettweiler [2016-05-05 17:46:59] 603*2^1428307-1 is not prime. Res64: 23501F69DBFA0B36 Time : 0.0 sec. user=mdettweiler [2016-05-05 17:46:59] 631*2^1428307-1 is not prime. Res64: 5D8F83447B7AEE1F Time : 0.0 sec. user=mdettweiler [2016-05-05 18:18:51] 673*2^1428307-1 is not prime. Res64: 43850DCC980E7D6C Time : 0.0 sec. user=mdettweiler [2016-05-05 18:18:51] 751*2^1428307-1 is not prime. Res64: F8AF175290CCFD33 Time : 0.0 sec. user=mdettweiler [2016-05-05 18:18:52] 871*2^1428307-1 is not prime. Res64: 4FAEC5C7606A4C93 Time : 0.0 sec. user=mdettweiler [2016-05-05 18:18:52] 945*2^1428307-1 is not prime. Res64: 3139F12B116A3714 Time : 0.0 sec. user=mdettweiler [2016-05-05 18:18:53] 975*2^1428307-1 is not prime. Res64: 887C909CBF932FE8 Time : 0.0 sec. user=mdettweiler [2016-05-05 18:21:46] 819*2^1428308-1 is not prime. Res64: 695C46359768CED7 Time : 0.0 sec. user=mdettweiler [2016-05-05 18:21:46] 609*2^1428309-1 is not prime. Res64: 7CF065D8D1805FF0 Time : 0.0 sec. user=mdettweiler [2016-05-05 18:21:47] 627*2^1428309-1 is not prime. Res64: 7E03A254359D0051 Time : 0.0 sec. user=mdettweiler [2016-05-05 18:21:47] 649*2^1428309-1 is not prime. Res64: 1A37284099C5F674 Time : 0.0 sec. user=mdettweiler [2016-05-05 18:21:48] 661*2^1428309-1 is not prime. Res64: 645225F041060382 Time : 0.0 sec. user=mdettweiler [2016-05-05 18:31:40] 745*2^1428309-1 is not prime. Res64: 549C3C1A2F26FF83 Time : 0.0 sec. user=mdettweiler [2016-05-05 18:31:41] 747*2^1428309-1 is not prime. Res64: 0264EB5CB15DBE97 Time : 0.0 sec. user=mdettweiler [2016-05-05 18:31:41] 777*2^1428310-1 is not prime. Res64: 96415EAF9FB44776 Time : 0.0 sec. user=mdettweiler [2016-05-05 18:31:42] 827*2^1428310-1 is not prime. Res64: C901B077F9B56CC0 Time : 0.0 sec. user=mdettweiler [2016-05-05 18:31:42] 831*2^1428310-1 is not prime. Res64: 8C198E90B48387ED Time : 0.0 sec. user=mdettweiler [2016-05-05 18:32:53] 861*2^1428310-1 is not prime. Res64: 5EF769DAD2965341 Time : 0.0 sec. user=mdettweiler [2016-05-05 18:32:54] 867*2^1428310-1 is not prime. Res64: 1B1F252C3E7E0B57 Time : 0.0 sec. user=mdettweiler [2016-05-05 18:32:54] 885*2^1428310-1 is not prime. Res64: 6BE919EE533BE1D1 Time : 0.0 sec. user=mdettweiler [2016-05-05 18:32:55] 975*2^1428310-1 is not prime. Res64: CEE4BBA73503E447 Time : 0.0 sec. user=mdettweiler [2016-05-05 18:32:56] 669*2^1428311-1 is not prime. Res64: AD49E87276D423AC Time : 0.0 sec. user=mdettweiler [2016-05-05 19:04:43] 811*2^1428311-1 is not prime. Res64: AE1EA3C244FDC62E Time : 0.0 sec. user=mdettweiler [2016-05-05 19:04:44] 879*2^1428311-1 is not prime. Res64: A62916A970F00F0D Time : 0.0 sec. user=mdettweiler [2016-05-05 19:04:45] 909*2^1428311-1 is not prime. Res64: FF7AA7D7843E5366 Time : 0.0 sec. user=mdettweiler [2016-05-05 19:04:46] 991*2^1428311-1 is not prime. Res64: 0BE1367ED7F8C2E8 Time : 0.0 sec. user=mdettweiler [2016-05-05 19:04:47] 635*2^1428312-1 is not prime. Res64: BE30513F1C6466CC Time : 0.0 sec. user=mdettweiler [2016-05-05 19:07:39] 693*2^1428312-1 is not prime. Res64: 6436F4EC2168E18B Time : 0.0 sec. user=mdettweiler [2016-05-05 19:07:39] 777*2^1428312-1 is not prime. Res64: B0E89E8017C03E86 Time : 0.0 sec. user=mdettweiler [2016-05-05 19:07:40] 687*2^1428313-1 is not prime. Res64: 6E5387FC5EDC1F39 Time : 0.0 sec. user=mdettweiler [2016-05-05 19:07:40] 807*2^1428313-1 is not prime. Res64: 1CBFA7EA027CA9A6 Time : 0.0 sec. user=mdettweiler [2016-05-05 19:07:40] 831*2^1428313-1 is not prime. Res64: 0801F5C1D8E9F9E3 Time : 0.0 sec. user=mdettweiler [2016-05-05 19:17:33] 861*2^1428313-1 is not prime. Res64: 58AA55DA934FA723 Time : 0.0 sec. user=mdettweiler [2016-05-05 19:17:34] 937*2^1428313-1 is not prime. Res64: 43CA9C5BE81F4F74 Time : 0.0 sec. user=mdettweiler [2016-05-05 19:17:35] 979*2^1428313-1 is not prime. Res64: CC83879725D228F6 Time : 0.0 sec. user=mdettweiler [2016-05-05 19:17:36] 633*2^1428314-1 is not prime. Res64: FAB28D485E2B601D Time : 0.0 sec. user=mdettweiler [2016-05-05 19:17:37] 705*2^1428314-1 is not prime. Res64: E68B2089C0100E1D Time : 0.0 sec. user=mdettweiler [2016-05-05 19:18:29] 741*2^1428314-1 is not prime. Res64: 5F2408B60921D121 Time : 0.0 sec. user=mdettweiler [2016-05-05 19:18:30] 887*2^1428314-1 is not prime. Res64: 7AD70F446A37B6A0 Time : 0.0 sec. user=mdettweiler [2016-05-05 19:18:31] 915*2^1428314-1 is not prime. Res64: E76978B6CE8A32E1 Time : 0.0 sec. user=mdettweiler [2016-05-05 19:18:31] 953*2^1428314-1 is not prime. Res64: 61185B5995A055ED Time : 0.0 sec. user=mdettweiler [2016-05-05 19:18:32] 993*2^1428314-1 is not prime. Res64: 25A0F31E271F6730 Time : 0.0 sec. user=mdettweiler [2016-05-05 19:50:54] 619*2^1428315-1 is not prime. Res64: 3E909E453B39AF86 Time : 0.0 sec. user=mdettweiler [2016-05-05 19:50:54] 751*2^1428315-1 is not prime. Res64: A50F865D955F18C6 Time : 0.0 sec. user=mdettweiler [2016-05-05 19:50:54] 765*2^1428315-1 is not prime. Res64: FA65FAB542C8F625 Time : 0.0 sec. user=mdettweiler [2016-05-05 19:50:55] 781*2^1428315-1 is not prime. Res64: DEB649B02A8B371B Time : 0.0 sec. user=mdettweiler [2016-05-05 19:50:55] 823*2^1428315-1 is not prime. Res64: FA02E0872518A7D8 Time : 0.0 sec. user=mdettweiler [2016-05-05 19:53:16] 913*2^1428315-1 is not prime. Res64: 6D311A12CCB784B5 Time : 0.0 sec. user=mdettweiler [2016-05-05 19:53:16] 617*2^1428316-1 is not prime. Res64: 8E4F5537407E7190 Time : 0.0 sec. user=mdettweiler [2016-05-05 19:53:17] 689*2^1428316-1 is not prime. Res64: BA17A94124EB1A80 Time : 0.0 sec. user=mdettweiler [2016-05-05 19:53:17] 845*2^1428316-1 is not prime. Res64: 538B65592927DB10 Time : 0.0 sec. user=mdettweiler [2016-05-05 19:53:18] 903*2^1428316-1 is not prime. Res64: F314EF04D90DBEB3 Time : 0.0 sec. user=mdettweiler [2016-05-05 20:03:36] 909*2^1428316-1 is not prime. Res64: 522B07032D3EE32D Time : 0.0 sec. user=mdettweiler [2016-05-05 20:03:37] 939*2^1428316-1 is not prime. Res64: 1B684AE297FD7A0E Time : 0.0 sec. user=mdettweiler [2016-05-05 20:03:38] 655*2^1428317-1 is not prime. Res64: 01460C81A35BF9B4 Time : 0.0 sec. user=mdettweiler [2016-05-05 20:03:39] 729*2^1428317-1 is not prime. Res64: 435EB2C417B2A189 Time : 0.0 sec. user=mdettweiler [2016-05-05 20:03:40] 771*2^1428317-1 is not prime. Res64: 3AB410A9901E659D Time : 0.0 sec. user=mdettweiler [2016-05-05 20:04:38] 831*2^1428317-1 is not prime. Res64: 1B521B3D3F2A53A9 Time : 0.0 sec. user=mdettweiler [2016-05-05 20:04:39] 861*2^1428317-1 is not prime. Res64: 94450BF382788432 Time : 0.0 sec. user=mdettweiler [2016-05-05 20:04:40] 955*2^1428317-1 is not prime. Res64: A512BBBA7EA58B5B Time : 0.0 sec. user=mdettweiler [2016-05-05 20:04:41] 641*2^1428318-1 is not prime. Res64: 19BC4543A6004E00 Time : 0.0 sec. user=mdettweiler [2016-05-05 20:04:42] 707*2^1428318-1 is not prime. Res64: F7CFA59D2C284F3E Time : 0.0 sec. user=mdettweiler [2016-05-05 20:37:10] 927*2^1428318-1 is not prime. Res64: 1089C4EB8A920780 Time : 0.0 sec. user=mdettweiler [2016-05-05 20:37:10] 945*2^1428318-1 is not prime. Res64: 978DB44DEA464432 Time : 0.0 sec. user=mdettweiler [2016-05-05 20:37:10] 975*2^1428318-1 is not prime. Res64: FBAA10003C7B98F1 Time : 0.0 sec. user=mdettweiler [2016-05-05 20:37:11] 609*2^1428319-1 is not prime. Res64: A037B18EF06169B6 Time : 0.0 sec. user=mdettweiler [2016-05-05 20:37:11] 645*2^1428319-1 is not prime. Res64: C4AC4E8EA9DCBF1A Time : 0.0 sec. user=mdettweiler [2016-05-05 20:39:06] 741*2^1428319-1 is not prime. Res64: 1E9443C464131437 Time : 0.0 sec. user=mdettweiler [2016-05-05 20:39:06] 771*2^1428319-1 is not prime. Res64: 538F4706C222EAF5 Time : 0.0 sec. user=mdettweiler [2016-05-05 20:39:06] 813*2^1428319-1 is not prime. Res64: 32ECBD71C717A3F0 Time : 0.0 sec. user=mdettweiler [2016-05-05 20:39:06] 843*2^1428319-1 is not prime. Res64: FB33B53F1E863AC0 Time : 0.0 sec. user=mdettweiler [2016-05-05 20:39:07] 853*2^1428319-1 is not prime. Res64: 08A41362A8263346 Time : 0.0 sec. user=mdettweiler [2016-05-05 20:49:49] 973*2^1428319-1 is not prime. Res64: 194AF4B17F68DAFA Time : 0.0 sec. user=mdettweiler [2016-05-05 20:49:49] 999*2^1428319-1 is not prime. Res64: 38D04C8EBED47DE4 Time : 0.0 sec. user=mdettweiler [2016-05-05 20:49:50] 645*2^1428320-1 is not prime. Res64: 1F089B318FEC13DD Time : 0.0 sec. user=mdettweiler [2016-05-05 20:49:50] 725*2^1428320-1 is not prime. Res64: 0E1B7B5F8217B371 Time : 0.0 sec. user=mdettweiler [2016-05-05 20:49:50] 743*2^1428320-1 is not prime. Res64: 0D940CCE7CD2C224 Time : 0.0 sec. user=mdettweiler [2016-05-05 20:50:38] 915*2^1428320-1 is not prime. Res64: 8A1CF2EBE15C5054 Time : 0.0 sec. user=mdettweiler [2016-05-05 20:50:38] 927*2^1428320-1 is not prime. Res64: 43FE22EE04666933 Time : 0.0 sec. user=mdettweiler [2016-05-05 20:50:38] 625*2^1428321-1 is not prime. Res64: ECDC6175913938C1 Time : 0.0 sec. user=mdettweiler [2016-05-05 20:50:39] 627*2^1428321-1 is not prime. Res64: 33C1FE0A2525740D Time : 0.0 sec. user=mdettweiler [2016-05-05 20:50:39] 747*2^1428321-1 is not prime. Res64: 5A580BA209DF057D Time : 0.0 sec. user=mdettweiler [2016-05-05 21:22:45] 921*2^1428321-1 is not prime. Res64: 6C5E90B07E1DA696 Time : 0.0 sec. user=mdettweiler [2016-05-05 21:22:46] 831*2^1428322-1 is not prime. Res64: F3E0E023DFA37503 Time : 0.0 sec. user=mdettweiler [2016-05-05 21:22:46] 917*2^1428322-1 is not prime. Res64: E23A746351540CEA Time : 0.0 sec. user=mdettweiler [2016-05-05 21:22:46] 1001*2^1428322-1 is not prime. Res64: 37F67900297350C8 Time : 0.0 sec. user=mdettweiler [2016-05-05 21:22:46] 615*2^1428323-1 is not prime. Res64: 5BA482F10C7A1865 Time : 0.0 sec. user=mdettweiler [2016-05-05 21:24:56] 853*2^1428323-1 is not prime. Res64: 241EBDCFFA6DE2A2 Time : 0.0 sec. user=mdettweiler [2016-05-05 21:24:56] 949*2^1428323-1 is not prime. Res64: 6E3E07A45BE38116 Time : 0.0 sec. user=mdettweiler [2016-05-05 21:24:57] 605*2^1428324-1 is not prime. Res64: 8FC41F505F6D1B84 Time : 0.0 sec. user=mdettweiler [2016-05-05 21:24:57] 737*2^1428324-1 is not prime. Res64: CA2587C6D6F579D7 Time : 0.0 sec. user=mdettweiler [2016-05-05 21:24:57] 795*2^1428324-1 is not prime. Res64: 838A09F7C5970202 Time : 0.0 sec. user=mdettweiler [2016-05-05 21:35:54] 873*2^1428324-1 is not prime. Res64: 810D8BF725811770 Time : 0.0 sec. user=mdettweiler [2016-05-05 21:35:54] 893*2^1428324-1 is not prime. Res64: 3D155DBED43AB4CA Time : 0.0 sec. user=mdettweiler [2016-05-05 21:35:54] 903*2^1428324-1 is not prime. Res64: 1C8EB44664A4516E Time : 0.0 sec. user=mdettweiler [2016-05-05 21:35:54] 915*2^1428324-1 is not prime. Res64: ED5185539D2D09A6 Time : 0.0 sec. user=mdettweiler [2016-05-05 21:35:55] 927*2^1428324-1 is not prime. Res64: BD27A56B83980163 Time : 0.0 sec. user=mdettweiler [2016-05-05 21:36:38] 947*2^1428324-1 is not prime. Res64: 0800856301A04FED Time : 0.0 sec. user=mdettweiler [2016-05-05 21:36:38] 667*2^1428325-1 is not prime. Res64: 10AC9B6126290FA2 Time : 0.0 sec. user=mdettweiler [2016-05-05 21:36:39] 727*2^1428325-1 is not prime. Res64: D1F8FBC7F3DE2CF1 Time : 0.0 sec. user=mdettweiler [2016-05-05 21:36:39] 777*2^1428325-1 is not prime. Res64: 4FA7A948077EEB2D Time : 0.0 sec. user=mdettweiler [2016-05-05 21:36:39] 831*2^1428325-1 is not prime. Res64: 29985A0458FFC579 Time : 0.0 sec. user=mdettweiler [2016-05-05 22:08:35] 867*2^1428325-1 is not prime. Res64: 2C73AE74238DFBCC Time : 0.0 sec. user=mdettweiler [2016-05-05 22:08:36] 623*2^1428326-1 is not prime. Res64: 6FFB7EB2ADB5FD7C Time : 0.0 sec. user=mdettweiler [2016-05-05 22:08:36] 747*2^1428326-1 is not prime. Res64: 4643C9C8E7F76381 Time : 0.0 sec. user=mdettweiler [2016-05-05 22:08:37] 761*2^1428326-1 is not prime. Res64: CDC5CE3B4647D338 Time : 0.0 sec. user=mdettweiler [2016-05-05 22:08:37] 887*2^1428326-1 is not prime. Res64: C8EB544FEDDADC57 Time : 0.0 sec. user=mdettweiler [2016-05-05 22:10:38] 921*2^1428326-1 is not prime. Res64: 5403C3402AC0DF25 Time : 0.0 sec. user=mdettweiler [2016-05-05 22:10:38] 957*2^1428326-1 is not prime. Res64: 895E6BC98FD2FB5C Time : 0.0 sec. user=mdettweiler [2016-05-05 22:10:39] 965*2^1428326-1 is not prime. Res64: C728626EB1401093 Time : 0.0 sec. user=mdettweiler [2016-05-05 22:10:40] 1001*2^1428326-1 is not prime. Res64: 3AC3EC6484868233 Time : 0.0 sec. user=mdettweiler [2016-05-05 22:10:41] 601*2^1428327-1 is not prime. Res64: 419B41719A047F5C Time : 0.0 sec. user=mdettweiler [2016-05-05 22:21:53] 643*2^1428327-1 is not prime. Res64: E8F67AA12513B90B Time : 0.0 sec. user=mdettweiler [2016-05-05 22:21:53] 675*2^1428327-1 is not prime. Res64: E7F583C1B90FAC36 Time : 0.0 sec. user=mdettweiler [2016-05-05 22:21:53] 861*2^1428327-1 is not prime. Res64: 6992B3AACB47C217 Time : 0.0 sec. user=mdettweiler [2016-05-05 22:21:53] 909*2^1428327-1 is not prime. Res64: 6116F5161224A685 Time : 0.0 sec. user=mdettweiler [2016-05-05 22:21:54] 973*2^1428327-1 is not prime. Res64: 718E892EF5A5E208 Time : 0.0 sec. user=mdettweiler [2016-05-05 22:22:48] 695*2^1428328-1 is not prime. Res64: 632212886869D923 Time : 0.0 sec. user=mdettweiler [2016-05-05 22:22:48] 797*2^1428328-1 is not prime. Res64: 90E0B196A5222EF3 Time : 0.0 sec. user=mdettweiler [2016-05-05 22:22:48] 899*2^1428328-1 is not prime. Res64: 94835DC4745076CB Time : 0.0 sec. user=mdettweiler [2016-05-05 22:22:49] 905*2^1428328-1 is not prime. Res64: DC08EF2508E04BE8 Time : 0.0 sec. user=mdettweiler [2016-05-05 22:22:49] 915*2^1428328-1 is not prime. Res64: 3BC5672594C5B3BE Time : 0.0 sec. user=mdettweiler [2016-05-05 22:55:47] 631*2^1428329-1 is not prime. Res64: 07CD25816139419D Time : 0.0 sec. user=mdettweiler [2016-05-05 22:55:47] 685*2^1428329-1 is not prime. Res64: 3D4C7A9AFB0E6C37 Time : 0.0 sec. user=mdettweiler [2016-05-05 22:55:47] 745*2^1428329-1 is not prime. Res64: B398CF0B3803FF36 Time : 0.0 sec. user=mdettweiler [2016-05-05 22:55:47] 775*2^1428329-1 is not prime. Res64: 3D70E38E6A4E8442 Time : 0.0 sec. user=mdettweiler [2016-05-05 22:55:48] 799*2^1428329-1 is not prime. Res64: 3FAC1454C42BD013 Time : 0.0 sec. user=mdettweiler [2016-05-05 22:57:47] 657*2^1428330-1 is not prime. Res64: C9D719A254A40E9D Time : 0.0 sec. user=mdettweiler [2016-05-05 22:57:47] 891*2^1428330-1 is not prime. Res64: 08DC47C83377B262 Time : 0.0 sec. user=mdettweiler [2016-05-05 22:57:47] 619*2^1428331-1 is not prime. Res64: 35E065A604AC5407 Time : 0.0 sec. user=mdettweiler [2016-05-05 22:57:48] 645*2^1428331-1 is not prime. Res64: 840D96D2E49D344F Time : 0.0 sec. user=mdettweiler [2016-05-05 22:57:48] 681*2^1428331-1 is not prime. Res64: 636C0441EA90C043 Time : 0.0 sec. user=mdettweiler [2016-05-05 23:08:54] 709*2^1428331-1 is not prime. Res64: 695470F65048B855 Time : 0.0 sec. user=mdettweiler [2016-05-05 23:08:54] 733*2^1428331-1 is not prime. Res64: 00737164DF17535B Time : 0.0 sec. user=mdettweiler [2016-05-05 23:08:54] 741*2^1428331-1 is not prime. Res64: D4A080686E1C06CA Time : 0.0 sec. user=mdettweiler [2016-05-05 23:08:55] 775*2^1428331-1 is not prime. Res64: D0347FA8F6F4CA6D Time : 0.0 sec. user=mdettweiler [2016-05-05 23:08:55] 793*2^1428331-1 is not prime. Res64: 88CE2CA78420BF39 Time : 0.0 sec. user=mdettweiler [2016-05-05 23:09:53] 861*2^1428331-1 is not prime. Res64: 1174B632CFE7DCEC Time : 0.0 sec. user=mdettweiler [2016-05-05 23:09:54] 895*2^1428331-1 is not prime. Res64: 9F7BDA43CC65FDC9 Time : 0.0 sec. user=mdettweiler [2016-05-05 23:09:55] 913*2^1428331-1 is not prime. Res64: 84A7AACE829EDAE8 Time : 0.0 sec. user=mdettweiler [2016-05-05 23:09:55] 623*2^1428332-1 is not prime. Res64: 2D743E3CC2B17D7A Time : 0.0 sec. user=mdettweiler [2016-05-05 23:09:55] 687*2^1428332-1 is not prime. Res64: 4FD62B34BF8108CC Time : 0.0 sec. user=mdettweiler [2016-05-05 23:41:38] 725*2^1428332-1 is not prime. Res64: 66342412240FD847 Time : 0.0 sec. user=mdettweiler [2016-05-05 23:41:38] 755*2^1428332-1 is not prime. Res64: 838F707AE3DDDD93 Time : 0.0 sec. user=mdettweiler [2016-05-05 23:41:38] 903*2^1428332-1 is not prime. Res64: F5B7DF85BDD7C73E Time : 0.0 sec. user=mdettweiler [2016-05-05 23:41:39] 923*2^1428332-1 is not prime. Res64: C173098C66830325 Time : 0.0 sec. user=mdettweiler [2016-05-05 23:41:39] 607*2^1428333-1 is not prime. Res64: 5487A7B1465F96E1 Time : 0.0 sec. user=mdettweiler [2016-05-05 23:43:37] 867*2^1428333-1 is not prime. Res64: 37626B1D12BF91F9 Time : 0.0 sec. user=mdettweiler [2016-05-05 23:43:38] 889*2^1428333-1 is not prime. Res64: B35C19CCE219C30A Time : 0.0 sec. user=mdettweiler [2016-05-05 23:43:38] 717*2^1428334-1 is not prime. Res64: 97967EA9714CD86C Time : 0.0 sec. user=mdettweiler [2016-05-05 23:43:38] 723*2^1428334-1 is not prime. Res64: 829C1E8D91C49050 Time : 0.0 sec. user=mdettweiler [2016-05-05 23:43:38] 765*2^1428334-1 is not prime. Res64: 998C155B635EE0CB Time : 0.0 sec. user=mdettweiler [2016-05-05 23:55:01] 831*2^1428334-1 is not prime. Res64: 18272238939822FA Time : 0.0 sec. user=mdettweiler [2016-05-05 23:55:01] 887*2^1428334-1 is not prime. Res64: 60B36F4312352078 Time : 0.0 sec. user=mdettweiler [2016-05-05 23:55:02] 981*2^1428334-1 is not prime. Res64: 71A26B5055C68A82 Time : 0.0 sec. user=mdettweiler [2016-05-05 23:55:02] 649*2^1428335-1 is not prime. Res64: 40014CFD443C486B Time : 0.0 sec. user=mdettweiler [2016-05-05 23:55:02] 661*2^1428335-1 is not prime. Res64: 41D2E6CCD2A51AD5 Time : 0.0 sec. user=mdettweiler [2016-05-05 23:55:42] 679*2^1428335-1 is not prime. Res64: CC0A6996B9A3A4F4 Time : 0.0 sec. user=mdettweiler [2016-05-05 23:55:42] 771*2^1428335-1 is not prime. Res64: 53FC7403D127EF6A Time : 0.0 sec. user=mdettweiler [2016-05-05 23:55:43] 883*2^1428335-1 is not prime. Res64: 2014E0A0B5D3471C Time : 0.0 sec. user=mdettweiler [2016-05-05 23:55:43] 653*2^1428336-1 is not prime. Res64: 099522EAA9D08743 Time : 0.0 sec. user=mdettweiler [2016-05-05 23:55:44] 705*2^1428336-1 is not prime. Res64: E199AEAA581C6A07 Time : 0.0 sec.