user=mdettweiler [2018-03-16 00:15:23] 893*2^1504320-1 is not prime. Res64: 28B22A396D234549 Time : 0.0 sec. user=mdettweiler [2018-03-16 00:15:24] 975*2^1504320-1 is not prime. Res64: 5990C80452EB26C0 Time : 0.0 sec. user=mdettweiler [2018-03-16 00:15:24] 607*2^1504321-1 is not prime. Res64: DDB4968D1B273091 Time : 0.0 sec. user=mdettweiler [2018-03-16 00:15:25] 625*2^1504321-1 is not prime. Res64: 9AC8DC364F0D6D36 Time : 0.0 sec. user=mdettweiler [2018-03-16 00:15:25] 715*2^1504321-1 is not prime. Res64: CC880D9DE75B0710 Time : 0.0 sec. user=mdettweiler [2018-03-16 00:35:04] 789*2^1504321-1 is not prime. Res64: AED3F889E82688FF Time : 0.0 sec. user=mdettweiler [2018-03-16 00:35:04] 925*2^1504321-1 is not prime. Res64: BAE20966920388F1 Time : 0.0 sec. user=mdettweiler [2018-03-16 00:35:05] 713*2^1504322-1 is not prime. Res64: 16DF408623F15C44 Time : 0.0 sec. user=mdettweiler [2018-03-16 00:35:05] 755*2^1504322-1 is not prime. Res64: C7319E19657C44C6 Time : 0.0 sec. user=mdettweiler [2018-03-16 00:35:06] 831*2^1504322-1 is not prime. Res64: D1DC82777EBDE380 Time : 0.0 sec. user=mdettweiler [2018-03-16 00:39:01] 893*2^1504322-1 is not prime. Res64: A44B63C870C4AA7F Time : 0.0 sec. user=mdettweiler [2018-03-16 00:39:02] 995*2^1504322-1 is not prime. Res64: FAED231E61484C80 Time : 0.0 sec. user=mdettweiler [2018-03-16 00:39:02] 615*2^1504323-1 is not prime. Res64: 722B8BFFD53201EA Time : 0.0 sec. user=mdettweiler [2018-03-16 00:39:03] 705*2^1504323-1 is not prime. Res64: 786C79479DC5FB57 Time : 0.0 sec. user=mdettweiler [2018-03-16 00:39:03] 765*2^1504323-1 is not prime. Res64: 60962E8A93E3993A Time : 0.0 sec. user=mdettweiler [2018-03-16 00:49:41] 789*2^1504323-1 is not prime. Res64: B4431A6C42E363AD Time : 0.0 sec. user=mdettweiler [2018-03-16 00:49:42] 793*2^1504323-1 is not prime. Res64: 12289AE4E338C60A Time : 0.0 sec. user=mdettweiler [2018-03-16 00:49:42] 795*2^1504323-1 is not prime. Res64: BCA37D961E52A3C9 Time : 0.0 sec. user=mdettweiler [2018-03-16 00:49:43] 623*2^1504324-1 is not prime. Res64: E9D70E52FDEF041A Time : 0.0 sec. user=mdettweiler [2018-03-16 00:49:43] 665*2^1504324-1 is not prime. Res64: DC48BB33C2FFB9FE Time : 0.0 sec. user=mdettweiler [2018-03-16 01:04:49] 863*2^1504324-1 is not prime. Res64: A75E7AAA15C0CCD1 Time : 0.0 sec. user=mdettweiler [2018-03-16 01:04:51] 875*2^1504324-1 is not prime. Res64: 1B44292AEEA83086 Time : 0.0 sec. user=mdettweiler [2018-03-16 01:04:52] 887*2^1504324-1 is not prime. Res64: 8C73F979B3BC563B Time : 0.0 sec. user=mdettweiler [2018-03-16 01:04:53] 923*2^1504324-1 is not prime. Res64: 5A814E6DDC88D638 Time : 0.0 sec. user=mdettweiler [2018-03-16 01:04:54] 691*2^1504325-1 is not prime. Res64: 9ABC6CBB58F67CCF Time : 0.0 sec. user=mdettweiler [2018-03-16 01:24:18] 741*2^1504325-1 is not prime. Res64: 70E233C79EE21E5E Time : 0.0 sec. user=mdettweiler [2018-03-16 01:24:19] 819*2^1504325-1 is not prime. Res64: AB78DFCBAA4D44D5 Time : 0.0 sec. user=mdettweiler [2018-03-16 01:24:19] 859*2^1504325-1 is not prime. Res64: 01435776E540A6F1 Time : 0.0 sec. user=mdettweiler [2018-03-16 01:24:20] 985*2^1504325-1 is not prime. Res64: 2158E72162757D94 Time : 0.0 sec. user=mdettweiler [2018-03-16 01:24:20] 705*2^1504326-1 is not prime. Res64: 8A68FD767D04A238 Time : 0.0 sec. user=mdettweiler [2018-03-16 01:27:57] 755*2^1504326-1 is not prime. Res64: 7512DAD715498081 Time : 0.0 sec. user=mdettweiler [2018-03-16 01:27:58] 833*2^1504326-1 is not prime. Res64: BBD92BAA67677765 Time : 0.0 sec. user=mdettweiler [2018-03-16 01:27:59] 625*2^1504327-1 is not prime. Res64: 272193C431021FB0 Time : 0.0 sec. user=mdettweiler [2018-03-16 01:28:00] 805*2^1504327-1 is not prime. Res64: 098E3B3641479F20 Time : 0.0 sec. user=mdettweiler [2018-03-16 01:28:01] 831*2^1504327-1 is not prime. Res64: 0E77AE002D542AF3 Time : 0.0 sec. user=mdettweiler [2018-03-16 01:38:52] 913*2^1504327-1 is not prime. Res64: 51339EF7FED2DD45 Time : 0.0 sec. user=mdettweiler [2018-03-16 01:38:53] 973*2^1504327-1 is not prime. Res64: 5DE044874CF69BAF Time : 0.0 sec. user=mdettweiler [2018-03-16 01:38:53] 979*2^1504327-1 is not prime. Res64: 7342934B03D960E2 Time : 0.0 sec. user=mdettweiler [2018-03-16 01:38:54] 659*2^1504328-1 is not prime. Res64: A6ABBE7CB1518055 Time : 0.0 sec. user=mdettweiler [2018-03-16 01:38:55] 663*2^1504328-1 is not prime. Res64: 312185412DB7E133 Time : 0.0 sec. user=mdettweiler [2018-03-16 01:54:15] 665*2^1504328-1 is not prime. Res64: 50A5D8C40FF024FD Time : 0.0 sec. user=mdettweiler [2018-03-16 01:54:15] 687*2^1504328-1 is not prime. Res64: 1DB50C3FE3F60D3B Time : 0.0 sec. user=mdettweiler [2018-03-16 01:54:16] 825*2^1504328-1 is not prime. Res64: 7C7EA8F352B3975E Time : 0.0 sec. user=mdettweiler [2018-03-16 01:54:16] 839*2^1504328-1 is not prime. Res64: 53F048CB6CE120BF Time : 0.0 sec. user=mdettweiler [2018-03-16 01:54:17] 855*2^1504328-1 is not prime. Res64: C360C4DF1B7C675A Time : 0.0 sec. user=mdettweiler [2018-03-16 02:12:12] 875*2^1504328-1 is not prime. Res64: AC2E9A05B2C7D14B Time : 0.0 sec. user=mdettweiler [2018-03-16 02:12:13] 615*2^1504329-1 is not prime. Res64: 1B4ECEB2E0CF80EC Time : 0.0 sec. user=mdettweiler [2018-03-16 02:12:13] 625*2^1504329-1 is not prime. Res64: 8A412EDA6C8AE464 Time : 0.0 sec. user=mdettweiler [2018-03-16 02:12:14] 649*2^1504329-1 is not prime. Res64: F42F6D9E482264A0 Time : 0.0 sec. user=mdettweiler [2018-03-16 02:12:15] 691*2^1504329-1 is not prime. Res64: 77BD725187DAB62F Time : 0.0 sec. user=mdettweiler [2018-03-16 02:17:29] 721*2^1504329-1 is not prime. Res64: 7A203C18AEDA5DAD Time : 0.0 sec. user=mdettweiler [2018-03-16 02:17:30] 781*2^1504329-1 is not prime. Res64: 8C98318D18F31126 Time : 0.0 sec. user=mdettweiler [2018-03-16 02:17:30] 807*2^1504329-1 is not prime. Res64: A4AB4C6015CB7071 Time : 0.0 sec. user=mdettweiler [2018-03-16 02:17:31] 861*2^1504329-1 is not prime. Res64: EC288C1EAA8233F0 Time : 0.0 sec. user=mdettweiler [2018-03-16 02:17:31] 867*2^1504329-1 is not prime. Res64: 405EDA3D70ED784F Time : 0.0 sec. user=mdettweiler [2018-03-16 02:27:49] 889*2^1504329-1 is not prime. Res64: 2B34AAF70228640A Time : 0.0 sec. user=mdettweiler [2018-03-16 02:27:50] 635*2^1504330-1 is not prime. Res64: 878DE9E28C02855F Time : 0.0 sec. user=mdettweiler [2018-03-16 02:27:51] 917*2^1504330-1 is not prime. Res64: FCD5E6097BC3023B Time : 0.0 sec. user=mdettweiler [2018-03-16 02:27:51] 987*2^1504330-1 is not prime. Res64: 64FCB0275860FF04 Time : 0.0 sec. user=mdettweiler [2018-03-16 02:27:52] 679*2^1504331-1 is not prime. Res64: AFFFB6D74BB78A76 Time : 0.0 sec. user=mdettweiler [2018-03-16 02:43:40] 685*2^1504331-1 is not prime. Res64: 6390193167637F86 Time : 0.0 sec. user=mdettweiler [2018-03-16 02:43:40] 843*2^1504331-1 is not prime. Res64: CECB6749410EB688 Time : 0.0 sec. user=mdettweiler [2018-03-16 02:43:41] 871*2^1504331-1 is not prime. Res64: AC14B5757602ACFA Time : 0.0 sec. user=mdettweiler [2018-03-16 02:43:41] 883*2^1504331-1 is not prime. Res64: E14992EB62AE5855 Time : 0.0 sec. user=mdettweiler [2018-03-16 02:43:42] 901*2^1504331-1 is not prime. Res64: 1DCA2931B337BD59 Time : 0.0 sec. user=mdettweiler [2018-03-16 03:01:30] 969*2^1504331-1 is not prime. Res64: EE5F552806C9B78C Time : 0.0 sec. user=mdettweiler [2018-03-16 03:01:32] 991*2^1504331-1 is not prime. Res64: E807664506FCAAE4 Time : 0.0 sec. user=mdettweiler [2018-03-16 03:01:33] 627*2^1504332-1 is not prime. Res64: B9E213CBA4A6F443 Time : 0.0 sec. user=mdettweiler [2018-03-16 03:01:34] 779*2^1504332-1 is not prime. Res64: 005C9AE9F08B9A96 Time : 0.0 sec. user=mdettweiler [2018-03-16 03:01:35] 929*2^1504332-1 is not prime. Res64: DFA6A88B1EAFB967 Time : 0.0 sec. user=mdettweiler [2018-03-16 03:05:58] 609*2^1504333-1 is not prime. Res64: DB745B30A3CAD15B Time : 0.0 sec. user=mdettweiler [2018-03-16 03:06:00] 679*2^1504333-1 is not prime. Res64: 5B8902D6C8B9F598 Time : 0.0 sec. user=mdettweiler [2018-03-16 03:06:02] 849*2^1504333-1 is not prime. Res64: 28270D004D721700 Time : 0.0 sec. user=mdettweiler [2018-03-16 03:06:03] 861*2^1504333-1 is not prime. Res64: BB856EB8949C21AC Time : 0.0 sec. user=mdettweiler [2018-03-16 03:06:04] 665*2^1504334-1 is not prime. Res64: 471FC51B996D89D1 Time : 0.0 sec. user=mdettweiler [2018-03-16 03:17:12] 671*2^1504334-1 is not prime. Res64: A2D40BACDF7DA8B8 Time : 0.0 sec. user=mdettweiler [2018-03-16 03:17:12] 755*2^1504334-1 is not prime. Res64: 83BAD89FE5385F66 Time : 0.0 sec. user=mdettweiler [2018-03-16 03:17:13] 833*2^1504334-1 is not prime. Res64: BE8666C39EDCF08F Time : 0.0 sec. user=mdettweiler [2018-03-16 03:17:13] 921*2^1504334-1 is not prime. Res64: 8369660ACBCFFA91 Time : 0.0 sec. user=mdettweiler [2018-03-16 03:17:14] 965*2^1504334-1 is not prime. Res64: 219133A6A59FBC22 Time : 0.0 sec. user=mdettweiler [2018-03-16 03:32:59] 983*2^1504334-1 is not prime. Res64: D4FB4CBF0CCB180A Time : 0.0 sec. user=mdettweiler [2018-03-16 03:33:00] 709*2^1504335-1 is not prime. Res64: F8E8828B6AAE4741 Time : 0.0 sec. user=mdettweiler [2018-03-16 03:33:01] 735*2^1504335-1 is not prime. Res64: 2C98A0E4E0D8F00A Time : 0.0 sec. user=mdettweiler [2018-03-16 03:33:04] 775*2^1504335-1 is not prime. Res64: 7EC053FA87D51DB1 Time : 0.0 sec. user=mdettweiler [2018-03-16 03:33:04] 781*2^1504335-1 is not prime. Res64: D816C6A1A2430CCA Time : 0.0 sec. user=mdettweiler [2018-03-16 03:52:00] 793*2^1504335-1 is not prime. Res64: 96B9820247C8A68D Time : 0.0 sec. user=mdettweiler [2018-03-16 03:52:01] 819*2^1504335-1 is not prime. Res64: 46FB2896DBEB7CCE Time : 0.0 sec. user=mdettweiler [2018-03-16 03:52:02] 909*2^1504335-1 is not prime. Res64: FB93382AF3496152 Time : 0.0 sec. user=mdettweiler [2018-03-16 03:52:03] 955*2^1504335-1 is not prime. Res64: D494A91164315878 Time : 0.0 sec. user=mdettweiler [2018-03-16 03:52:04] 973*2^1504335-1 is not prime. Res64: 76F4F644B8405AC5 Time : 0.0 sec. user=mdettweiler [2018-03-16 03:56:07] 657*2^1504336-1 is not prime. Res64: 810CF0E31717D1A0 Time : 0.0 sec. user=mdettweiler [2018-03-16 03:56:10] 905*2^1504336-1 is not prime. Res64: B8968647A267AA4F Time : 0.0 sec. user=mdettweiler [2018-03-16 03:56:11] 917*2^1504336-1 is not prime. Res64: 9F985A897358AA07 Time : 0.0 sec. user=mdettweiler [2018-03-16 03:56:12] 927*2^1504336-1 is not prime. Res64: 483171D4BBEEABB7 Time : 0.0 sec. user=mdettweiler [2018-03-16 03:56:13] 957*2^1504336-1 is not prime. Res64: 1F5D25399AB33D4B Time : 0.0 sec. user=mdettweiler [2018-03-16 04:06:25] 989*2^1504336-1 is not prime. Res64: 86EA7C91189AF6C9 Time : 0.0 sec. user=mdettweiler [2018-03-16 04:06:28] 691*2^1504337-1 is not prime. Res64: 31CA8B70632972D9 Time : 0.0 sec. user=mdettweiler [2018-03-16 04:06:32] 729*2^1504337-1 is not prime. Res64: AA515B2EDC4B6C9A Time : 0.0 sec. user=mdettweiler [2018-03-16 04:06:35] 795*2^1504337-1 is not prime. Res64: 6DA023893D1DB121 Time : 0.0 sec. user=mdettweiler [2018-03-16 04:06:37] 847*2^1504337-1 is not prime. Res64: 05337D0CDD8C82A2 Time : 0.0 sec. user=mdettweiler [2018-03-16 04:22:17] 901*2^1504337-1 is not prime. Res64: 56D29F61E8868205 Time : 0.0 sec. user=mdettweiler [2018-03-16 04:22:18] 711*2^1504338-1 is not prime. Res64: C23A512D0A2304A0 Time : 0.0 sec. user=mdettweiler [2018-03-16 04:22:18] 731*2^1504338-1 is not prime. Res64: 57B322FC7D5633C7 Time : 0.0 sec. user=mdettweiler [2018-03-16 04:22:19] 765*2^1504338-1 is not prime. Res64: C885849236EAC3A4 Time : 0.0 sec. user=mdettweiler [2018-03-16 04:22:20] 773*2^1504338-1 is not prime. Res64: F3E9EAC24DA24F8E Time : 0.0 sec. user=mdettweiler [2018-03-16 04:40:42] 803*2^1504338-1 is not prime. Res64: D46D09A6C0BB6532 Time : 0.0 sec. user=mdettweiler [2018-03-16 04:40:43] 975*2^1504338-1 is not prime. Res64: E2105BCCE57D0DF7 Time : 0.0 sec. user=mdettweiler [2018-03-16 04:40:43] 615*2^1504339-1 is not prime. Res64: 390A06C8BA1EFF19 Time : 0.0 sec. user=mdettweiler [2018-03-16 04:40:44] 639*2^1504339-1 is not prime. Res64: 46C2D5553693BADF Time : 0.0 sec. user=mdettweiler [2018-03-16 04:40:44] 709*2^1504339-1 is not prime. Res64: A84B2793AC856BB6 Time : 0.0 sec. user=mdettweiler [2018-03-16 04:45:20] 861*2^1504339-1 is not prime. Res64: 3EA3525891F12BCD Time : 0.0 sec. user=mdettweiler [2018-03-16 04:45:20] 975*2^1504339-1 is not prime. Res64: F88FECA3D23F1DB4 Time : 0.0 sec. user=mdettweiler [2018-03-16 04:45:21] 993*2^1504339-1 is not prime. Res64: 26760D0574E04E2C Time : 0.0 sec. user=mdettweiler [2018-03-16 04:45:21] 603*2^1504340-1 is not prime. Res64: 7AAFD4CDFBD6EFA6 Time : 0.0 sec. user=mdettweiler [2018-03-16 04:45:22] 621*2^1504341-1 is not prime. Res64: 6397D8A99734D166 Time : 0.0 sec. user=mdettweiler [2018-03-16 04:56:45] 751*2^1504341-1 is not prime. Res64: AFEE21B2F32522EA Time : 0.0 sec. user=mdettweiler [2018-03-16 04:56:45] 777*2^1504341-1 is not prime. Res64: 6C0C7474B1FD9A47 Time : 0.0 sec. user=mdettweiler [2018-03-16 04:56:46] 849*2^1504341-1 is not prime. Res64: D98BE902DCBF4345 Time : 0.0 sec. user=mdettweiler [2018-03-16 04:56:46] 901*2^1504341-1 is not prime. Res64: 9E558450F9C1FF58 Time : 0.0 sec. user=mdettweiler [2018-03-16 04:56:47] 907*2^1504341-1 is not prime. Res64: BC4E6EC19BC510B3 Time : 0.0 sec. user=mdettweiler [2018-03-16 05:11:31] 937*2^1504341-1 is not prime. Res64: 4A0F31881EC4C9D0 Time : 0.0 sec. user=mdettweiler [2018-03-16 05:11:32] 915*2^1504342-1 is not prime. Res64: 62E5ED49B6A85458 Time : 0.0 sec. user=mdettweiler [2018-03-16 05:11:32] 987*2^1504342-1 is not prime. Res64: C8BF1F4459416E3E Time : 0.0 sec. user=mdettweiler [2018-03-16 05:11:33] 995*2^1504342-1 is not prime. Res64: 3FE60884B2B2E22F Time : 0.0 sec. user=mdettweiler [2018-03-16 05:11:34] 615*2^1504343-1 is not prime. Res64: 6ADE4636431847DB Time : 0.0 sec. user=mdettweiler [2018-03-16 05:29:06] 673*2^1504343-1 is not prime. Res64: A2FC095022DD2A69 Time : 0.0 sec. user=mdettweiler [2018-03-16 05:29:06] 693*2^1504343-1 is not prime. Res64: EC22087DBEBA6DD1 Time : 0.0 sec. user=mdettweiler [2018-03-16 05:29:07] 715*2^1504343-1 is not prime. Res64: E46EFA28234A49C3 Time : 0.0 sec. user=mdettweiler [2018-03-16 05:29:07] 721*2^1504343-1 is not prime. Res64: A6AFA5789FD0325D Time : 0.0 sec. user=mdettweiler [2018-03-16 05:29:08] 789*2^1504343-1 is not prime. Res64: E4D2F5352A8877FB Time : 0.0 sec. user=mdettweiler [2018-03-16 05:35:17] 813*2^1504343-1 is not prime. Res64: 13DAC7624AFF3206 Time : 0.0 sec. user=mdettweiler [2018-03-16 05:35:18] 859*2^1504343-1 is not prime. Res64: 62CF8D7EDEF51141 Time : 0.0 sec. user=mdettweiler [2018-03-16 05:35:18] 861*2^1504343-1 is not prime. Res64: A92FA6D39A4B3DFC Time : 0.0 sec. user=mdettweiler [2018-03-16 05:35:19] 879*2^1504343-1 is not prime. Res64: F83E1439764E41CC Time : 0.0 sec. user=mdettweiler [2018-03-16 05:35:19] 939*2^1504343-1 is not prime. Res64: EFE309D1372F25D5 Time : 0.0 sec. user=mdettweiler [2018-03-16 05:44:12] 973*2^1504343-1 is not prime. Res64: 4DF516F8611F1BB3 Time : 0.0 sec. user=mdettweiler [2018-03-16 05:44:12] 609*2^1504344-1 is not prime. Res64: 60CC03CBB5A9A7D3 Time : 0.0 sec. user=mdettweiler [2018-03-16 05:44:13] 627*2^1504344-1 is not prime. Res64: 195470C1998DD22E Time : 0.0 sec. user=mdettweiler [2018-03-16 05:44:13] 629*2^1504344-1 is not prime. Res64: 59BB8C102483CD66 Time : 0.0 sec. user=mdettweiler [2018-03-16 05:44:13] 693*2^1504344-1 is not prime. Res64: EC3495D27F7600ED Time : 0.0 sec. user=mdettweiler [2018-03-16 05:59:59] 747*2^1504344-1 is not prime. Res64: 45D686412E7FC37D Time : 0.0 sec. user=mdettweiler [2018-03-16 05:59:59] 789*2^1504344-1 is not prime. Res64: DB67DD090B82EE75 Time : 0.0 sec. user=mdettweiler [2018-03-16 06:00:00] 661*2^1504345-1 is not prime. Res64: A784D096614C51D4 Time : 0.0 sec. user=mdettweiler [2018-03-16 06:00:00] 705*2^1504345-1 is not prime. Res64: 58C227D342B7AF93 Time : 0.0 sec. user=mdettweiler [2018-03-16 06:00:01] 751*2^1504345-1 is not prime. Res64: 61AEE72143F1FAA1 Time : 0.0 sec. user=mdettweiler [2018-03-16 06:19:03] 765*2^1504345-1 is not prime. Res64: BEA534533F322BC2 Time : 0.0 sec. user=mdettweiler [2018-03-16 06:19:04] 777*2^1504345-1 is not prime. Res64: C8F315A84E9BB11A Time : 0.0 sec. user=mdettweiler [2018-03-16 06:19:04] 855*2^1504345-1 is not prime. Res64: CEB1B4AF2C76FD9A Time : 0.0 sec. user=mdettweiler [2018-03-16 06:19:05] 885*2^1504345-1 is not prime. Res64: 0F86CC1FAFB473A2 Time : 0.0 sec. user=mdettweiler [2018-03-16 06:19:05] 889*2^1504345-1 is not prime. Res64: 2677E8A4952F41B4 Time : 0.0 sec. user=mdettweiler [2018-03-16 06:23:55] 895*2^1504345-1 is not prime. Res64: A1ED67662305557C Time : 0.0 sec. user=mdettweiler [2018-03-16 06:23:55] 641*2^1504346-1 is not prime. Res64: E5B77A8EECCE92BB Time : 0.0 sec. user=mdettweiler [2018-03-16 06:23:56] 645*2^1504346-1 is not prime. Res64: 6C67A308C6DD7D1F Time : 0.0 sec. user=mdettweiler [2018-03-16 06:23:56] 711*2^1504346-1 is not prime. Res64: C1FFD874D6C910A3 Time : 0.0 sec. user=mdettweiler [2018-03-16 06:23:57] 785*2^1504346-1 is not prime. Res64: 433A5B1BE2970F1B Time : 0.0 sec. user=mdettweiler [2018-03-16 06:34:01] 887*2^1504346-1 is not prime. Res64: 7953A6F0EE9BF3E5 Time : 0.0 sec. user=mdettweiler [2018-03-16 06:34:01] 993*2^1504346-1 is not prime. Res64: EC46CB0FA3BA35CB Time : 0.0 sec. user=mdettweiler [2018-03-16 06:34:02] 823*2^1504347-1 is not prime. Res64: E79B4A6ECA3840D5 Time : 0.0 sec. user=mdettweiler [2018-03-16 06:34:02] 891*2^1504347-1 is not prime. Res64: 4E7FB85E2620FD08 Time : 0.0 sec. user=mdettweiler [2018-03-16 06:34:03] 903*2^1504347-1 is not prime. Res64: 2D6B998B680820F7 Time : 0.0 sec. user=mdettweiler [2018-03-16 06:48:11] 603*2^1504348-1 is not prime. Res64: 44CC62420FFF0878 Time : 0.0 sec. user=mdettweiler [2018-03-16 06:48:12] 629*2^1504348-1 is not prime. Res64: 59C891F2630303DA Time : 0.0 sec. user=mdettweiler [2018-03-16 06:48:12] 799*2^1504349-1 is not prime. Res64: 458B020A9491521A Time : 0.0 sec. user=mdettweiler [2018-03-16 06:48:13] 925*2^1504349-1 is not prime. Res64: 91F1B09380CC9FB8 Time : 0.0 sec. user=mdettweiler [2018-03-16 06:48:13] 651*2^1504350-1 is not prime. Res64: 1CE55381099DF52F Time : 0.0 sec. user=mdettweiler [2018-03-16 07:08:09] 677*2^1504350-1 is not prime. Res64: DFEE381013F3C1F4 Time : 0.0 sec. user=mdettweiler [2018-03-16 07:08:09] 977*2^1504350-1 is not prime. Res64: 5421CE388ED5A33E Time : 0.0 sec. user=mdettweiler [2018-03-16 07:08:10] 625*2^1504351-1 is not prime. Res64: 5BC09D2A22EE7A9D Time : 0.0 sec. user=mdettweiler [2018-03-16 07:08:10] 769*2^1504351-1 is not prime. Res64: A1C251B5AD2EA366 Time : 0.0 sec. user=mdettweiler [2018-03-16 07:08:11] 813*2^1504351-1 is not prime. Res64: 94B6C1939C2E18C4 Time : 0.0 sec. user=mdettweiler [2018-03-16 07:13:32] 829*2^1504351-1 is not prime. Res64: 88C4E484EFD187FD Time : 0.0 sec. user=mdettweiler [2018-03-16 07:13:32] 843*2^1504351-1 is not prime. Res64: EDFEEAB6E7B19096 Time : 0.0 sec. user=mdettweiler [2018-03-16 07:13:33] 891*2^1504351-1 is not prime. Res64: 4A8A17C787991B1F Time : 0.0 sec. user=mdettweiler [2018-03-16 07:13:33] 925*2^1504351-1 is not prime. Res64: F4CE8C5CE33051F7 Time : 0.0 sec. user=mdettweiler [2018-03-16 07:13:34] 605*2^1504352-1 is not prime. Res64: 37663C310BC551DD Time : 0.0 sec. user=mdettweiler [2018-03-16 07:23:08] 633*2^1504352-1 is not prime. Res64: 98D2C4237CF816EC Time : 0.0 sec. user=mdettweiler [2018-03-16 07:23:09] 735*2^1504352-1 is not prime. Res64: 1895E864DCA0EEBF Time : 0.0 sec. user=mdettweiler [2018-03-16 07:23:09] 767*2^1504352-1 is not prime. Res64: 89DE60876A091C99 Time : 0.0 sec. user=mdettweiler [2018-03-16 07:23:10] 813*2^1504352-1 is not prime. Res64: 2D9D8E0EA9D87DA8 Time : 0.0 sec. user=mdettweiler [2018-03-16 07:23:10] 893*2^1504352-1 is not prime. Res64: 7618FCCF6537B564 Time : 0.0 sec. user=mdettweiler [2018-03-16 07:37:49] 929*2^1504352-1 is not prime. Res64: 9B6AF88D6C64597D Time : 0.0 sec. user=mdettweiler [2018-03-16 07:37:49] 977*2^1504352-1 is not prime. Res64: 97A28FBFA60D4736 Time : 0.0 sec. user=mdettweiler [2018-03-16 07:37:50] 999*2^1504352-1 is not prime. Res64: 0075187CF673C0D3 Time : 0.0 sec. user=mdettweiler [2018-03-16 07:37:50] 699*2^1504353-1 is not prime. Res64: B18D7EBCFB00B5ED Time : 0.0 sec. user=mdettweiler [2018-03-16 07:37:51] 819*2^1504353-1 is not prime. Res64: 379CE3094A20F4AD Time : 0.0 sec. user=mdettweiler [2018-03-16 07:57:14] 885*2^1504353-1 is not prime. Res64: DFEDBB5DF3EC3615 Time : 0.0 sec. user=mdettweiler [2018-03-16 07:57:15] 895*2^1504353-1 is not prime. Res64: 7859950B0787465F Time : 0.0 sec. user=mdettweiler [2018-03-16 07:57:15] 945*2^1504353-1 is not prime. Res64: CCCA86ACBE041AED Time : 0.0 sec. user=mdettweiler [2018-03-16 07:57:16] 621*2^1504354-1 is not prime. Res64: 00578C78BDD4531B Time : 0.0 sec. user=mdettweiler [2018-03-16 07:57:16] 701*2^1504354-1 is not prime. Res64: A318BBA68D9AB72C Time : 0.0 sec. user=mdettweiler [2018-03-16 08:02:22] 885*2^1504354-1 is not prime. Res64: F76A70F57F4F2CF0 Time : 0.0 sec. user=mdettweiler [2018-03-16 08:02:24] 645*2^1504355-1 is not prime. Res64: F54BB3571A3E33E3 Time : 0.0 sec. user=mdettweiler [2018-03-16 08:02:26] 943*2^1504355-1 is not prime. Res64: 4BCA3A3719148E6C Time : 0.0 sec. user=mdettweiler [2018-03-16 08:02:28] 969*2^1504355-1 is not prime. Res64: 27FD82E938BAA746 Time : 0.0 sec. user=mdettweiler [2018-03-16 08:02:31] 633*2^1504356-1 is not prime. Res64: 9DD29E1EEC0DF746 Time : 0.0 sec. user=mdettweiler [2018-03-16 08:13:34] 725*2^1504356-1 is not prime. Res64: CFD7AC66816CFF72 Time : 0.0 sec. user=mdettweiler [2018-03-16 08:13:35] 759*2^1504356-1 is not prime. Res64: 1C93D4A48402F06E Time : 0.0 sec. user=mdettweiler [2018-03-16 08:13:36] 765*2^1504356-1 is not prime. Res64: 419A85F8CA0B9DB1 Time : 0.0 sec. user=mdettweiler [2018-03-16 08:13:36] 779*2^1504356-1 is not prime. Res64: 56440D005967F12B Time : 0.0 sec. user=mdettweiler [2018-03-16 08:13:37] 837*2^1504356-1 is not prime. Res64: 605097D4C586F4BB Time : 0.0 sec. user=mdettweiler [2018-03-16 08:27:02] 843*2^1504356-1 is not prime. Res64: CDF6CDADA27530FF Time : 0.0 sec. user=mdettweiler [2018-03-16 08:27:02] 887*2^1504356-1 is not prime. Res64: A5C064A69BFB73EF Time : 0.0 sec. user=mdettweiler [2018-03-16 08:27:03] 903*2^1504356-1 is not prime. Res64: 2AC7C92034FD1C3A Time : 0.0 sec. user=mdettweiler [2018-03-16 08:27:03] 927*2^1504356-1 is not prime. Res64: 0CAFDCA97031F957 Time : 0.0 sec. user=mdettweiler [2018-03-16 08:27:04] 621*2^1504357-1 is not prime. Res64: 7D60BEA79547A633 Time : 0.0 sec. user=mdettweiler [2018-03-16 08:45:57] 717*2^1504357-1 is not prime. Res64: 14864CD1AFCFD642 Time : 0.0 sec. user=mdettweiler [2018-03-16 08:45:57] 741*2^1504357-1 is not prime. Res64: BC836AFC013B96D4 Time : 0.0 sec. user=mdettweiler [2018-03-16 08:45:57] 751*2^1504357-1 is not prime. Res64: 007D8C6F786AA83D Time : 0.0 sec. user=mdettweiler [2018-03-16 08:45:58] 867*2^1504357-1 is not prime. Res64: 2166FCAAC79701BA Time : 0.0 sec. user=mdettweiler [2018-03-16 08:45:58] 871*2^1504357-1 is not prime. Res64: 1A94610BDABFE421 Time : 0.0 sec. user=mdettweiler [2018-03-16 08:51:05] 955*2^1504357-1 is not prime. Res64: 5205FFA7B7550609 Time : 0.0 sec. user=mdettweiler [2018-03-16 08:51:06] 603*2^1504358-1 is not prime. Res64: 4136A4BB7FCB82A1 Time : 0.0 sec. user=mdettweiler [2018-03-16 08:51:06] 657*2^1504358-1 is not prime. Res64: B3C5F16ADA61065C Time : 0.0 sec. user=mdettweiler [2018-03-16 08:51:07] 755*2^1504358-1 is not prime. Res64: 706BDC4F3CEC2FF4 Time : 0.0 sec. user=mdettweiler [2018-03-16 08:51:07] 897*2^1504358-1 is not prime. Res64: FC913985726101C1 Time : 0.0 sec. user=mdettweiler [2018-03-16 09:02:47] 945*2^1504358-1 is not prime. Res64: 1871C2CB68FC0F07 Time : 0.0 sec. user=mdettweiler [2018-03-16 09:02:48] 613*2^1504359-1 is not prime. Res64: 5BF78457E04DF1F1 Time : 0.0 sec. user=mdettweiler [2018-03-16 09:02:49] 891*2^1504359-1 is not prime. Res64: 94486FC519FA7FE7 Time : 0.0 sec. user=mdettweiler [2018-03-16 09:02:50] 913*2^1504359-1 is not prime. Res64: 84AA4B76C65CCC30 Time : 0.0 sec. user=mdettweiler [2018-03-16 09:02:51] 931*2^1504359-1 is not prime. Res64: 115F189D9D84E643 Time : 0.0 sec. user=mdettweiler [2018-03-16 09:16:02] 717*2^1504360-1 is not prime. Res64: 37D8945F48213E54 Time : 0.0 sec. user=mdettweiler [2018-03-16 09:16:03] 773*2^1504360-1 is not prime. Res64: 1045C14430D575BD Time : 0.0 sec. user=mdettweiler [2018-03-16 09:16:03] 785*2^1504360-1 is not prime. Res64: 43316F9FCE487982 Time : 0.0 sec. user=mdettweiler [2018-03-16 09:16:04] 857*2^1504360-1 is not prime. Res64: CF4E3841F7D8A3DD Time : 0.0 sec. user=mdettweiler [2018-03-16 09:16:04] 675*2^1504361-1 is not prime. Res64: 9C0965FC584F3352 Time : 0.0 sec. user=mdettweiler [2018-03-16 09:35:36] 697*2^1504361-1 is not prime. Res64: 72EAC96A0DE84426 Time : 0.0 sec. user=mdettweiler [2018-03-16 09:35:36] 775*2^1504361-1 is not prime. Res64: 9C8954AFE330329A Time : 0.0 sec. user=mdettweiler [2018-03-16 09:35:37] 855*2^1504361-1 is not prime. Res64: 9B856F5C287506A2 Time : 0.0 sec. user=mdettweiler [2018-03-16 09:35:37] 861*2^1504361-1 is not prime. Res64: 3E0C471CF50F7D8C Time : 0.0 sec. user=mdettweiler [2018-03-16 09:35:38] 871*2^1504361-1 is not prime. Res64: E47B17BF0EC7196B Time : 0.0 sec. user=mdettweiler [2018-03-16 09:40:09] 939*2^1504361-1 is not prime. Res64: 874B281D900CEDEE Time : 0.0 sec. user=mdettweiler [2018-03-16 09:40:10] 997*2^1504361-1 is not prime. Res64: E02618BB5C6B7D96 Time : 0.0 sec. user=mdettweiler [2018-03-16 09:40:11] 621*2^1504362-1 is not prime. Res64: A92EF286C36FC6F0 Time : 0.0 sec. user=mdettweiler [2018-03-16 09:40:11] 747*2^1504362-1 is not prime. Res64: EB53CECE3FAA22D1 Time : 0.0 sec. user=mdettweiler [2018-03-16 09:40:12] 837*2^1504362-1 is not prime. Res64: B19DDEC0CFC8FB75 Time : 0.0 sec. user=mdettweiler [2018-03-16 09:52:14] 873*2^1504362-1 is not prime. Res64: 278E618777D3CBFC Time : 0.0 sec. user=mdettweiler [2018-03-16 09:52:15] 893*2^1504362-1 is not prime. Res64: 4413EE1F1DBFA761 Time : 0.0 sec. user=mdettweiler [2018-03-16 09:52:15] 983*2^1504362-1 is not prime. Res64: 8F3C2723513226E9 Time : 0.0 sec. user=mdettweiler [2018-03-16 09:52:16] 619*2^1504363-1 is not prime. Res64: 877E45C3994BE0A1 Time : 0.0 sec. user=mdettweiler [2018-03-16 09:52:16] 741*2^1504363-1 is not prime. Res64: AC59D23C28D4CB41 Time : 0.0 sec. user=mdettweiler [2018-03-16 10:05:19] 951*2^1504363-1 is not prime. Res64: 92F14CEA143F297E Time : 0.0 sec. user=mdettweiler [2018-03-16 10:05:22] 707*2^1504364-1 is not prime. Res64: E1509B7BB3C78704 Time : 0.0 sec. user=mdettweiler [2018-03-16 10:05:25] 729*2^1504364-1 is not prime. Res64: 7AA3203607D17E38 Time : 0.0 sec. user=mdettweiler [2018-03-16 10:05:27] 803*2^1504364-1 is not prime. Res64: 70064A7A2B351B39 Time : 0.0 sec. user=mdettweiler [2018-03-16 10:05:30] 869*2^1504364-1 is not prime. Res64: FA3BBD849431F7AB Time : 0.0 sec. user=mdettweiler [2018-03-16 10:24:24] 649*2^1504365-1 is not prime. Res64: 06CEBDFE653BFE60 Time : 0.0 sec. user=mdettweiler [2018-03-16 10:24:25] 657*2^1504365-1 is not prime. Res64: FDBEF3BF53C90309 Time : 0.0 sec. user=mdettweiler [2018-03-16 10:24:25] 717*2^1504365-1 is not prime. Res64: 27CA59B11F2ACD2F Time : 0.0 sec. user=mdettweiler [2018-03-16 10:24:26] 819*2^1504365-1 is not prime. Res64: 44EE9CB621A1C91A Time : 0.0 sec. user=mdettweiler [2018-03-16 10:24:26] 831*2^1504365-1 is not prime. Res64: C373D8810F0189BC Time : 0.0 sec. user=mdettweiler [2018-03-16 10:29:33] 889*2^1504365-1 is not prime. Res64: B72A9F5F64619DE9 Time : 0.0 sec. user=mdettweiler [2018-03-16 10:29:33] 949*2^1504365-1 is not prime. Res64: E892FC476BA93864 Time : 0.0 sec. user=mdettweiler [2018-03-16 10:29:34] 969*2^1504365-1 is not prime. Res64: 13BD4CE3758495F2 Time : 0.0 sec. user=mdettweiler [2018-03-16 10:29:36] 723*2^1504366-1 is not prime. Res64: 518D5F0E25D62FDD Time : 0.0 sec. user=mdettweiler [2018-03-16 10:29:37] 785*2^1504366-1 is not prime. Res64: 5D122F16DC157223 Time : 0.0 sec. user=mdettweiler [2018-03-16 10:40:28] 891*2^1504366-1 is not prime. Res64: 00BFF3223D6A2334 Time : 0.0 sec. user=mdettweiler [2018-03-16 10:40:28] 669*2^1504367-1 is not prime. Res64: 6E17CA7B1427D88A Time : 0.0 sec. user=mdettweiler [2018-03-16 10:40:29] 673*2^1504367-1 is not prime. Res64: C1678BEFAE83DFE4 Time : 0.0 sec. user=mdettweiler [2018-03-16 10:40:29] 693*2^1504367-1 is not prime. Res64: AA628E2635C17613 Time : 0.0 sec. user=mdettweiler [2018-03-16 10:40:29] 735*2^1504367-1 is not prime. Res64: CAF871BCD38DA48C Time : 0.0 sec. user=mdettweiler [2018-03-16 10:54:03] 615*2^1504368-1 is not prime. Res64: 78581CCF31DD5E4E Time : 0.0 sec. user=mdettweiler [2018-03-16 10:54:03] 627*2^1504368-1 is not prime. Res64: 1E7EA3CB73DA271D Time : 0.0 sec. user=mdettweiler [2018-03-16 10:54:04] 669*2^1504368-1 is not prime. Res64: E725C3E6CC625149 Time : 0.0 sec. user=mdettweiler [2018-03-16 10:54:04] 689*2^1504368-1 is not prime. Res64: 8D05BFA0181DF1DC Time : 0.0 sec. user=mdettweiler [2018-03-16 10:54:05] 765*2^1504368-1 is not prime. Res64: F6111EF26E514390 Time : 0.0 sec. user=mdettweiler [2018-03-16 11:13:24] 845*2^1504368-1 is not prime. Res64: 1015A21570059DA4 Time : 0.0 sec. user=mdettweiler [2018-03-16 11:13:24] 899*2^1504368-1 is not prime. Res64: C3B67A7EA1AD0A2F Time : 0.0 sec. user=mdettweiler [2018-03-16 11:13:25] 957*2^1504368-1 is not prime. Res64: 5E232239B96BDBFC Time : 0.0 sec. user=mdettweiler [2018-03-16 11:13:26] 601*2^1504369-1 is not prime. Res64: 9831DA5A48E0621F Time : 0.0 sec. user=mdettweiler [2018-03-16 11:13:26] 705*2^1504369-1 is not prime. Res64: BF16643870A4FF91 Time : 0.0 sec. user=mdettweiler [2018-03-16 11:19:27] 855*2^1504141-1 is not prime. Res64: 0D8A31E50D407D7D Time : 0.0 sec. user=mdettweiler [2018-03-16 11:19:27] 769*2^1504369-1 is not prime. Res64: 225195FD6BFFCF7A Time : 0.0 sec. user=mdettweiler [2018-03-16 11:19:28] 861*2^1504369-1 is not prime. Res64: E8199CA9917A7C93 Time : 0.0 sec. user=mdettweiler [2018-03-16 11:19:28] 945*2^1504369-1 is not prime. Res64: E6744073ADED3B74 Time : 0.0 sec. user=mdettweiler [2018-03-16 11:19:29] 857*2^1504370-1 is not prime. Res64: 19367C05C407AA9F Time : 0.0 sec. user=mdettweiler [2018-03-16 11:30:05] 915*2^1504370-1 is not prime. Res64: 8408F01F7F2902CA Time : 0.0 sec. user=mdettweiler [2018-03-16 11:30:06] 1001*2^1504370-1 is not prime. Res64: F15CD4DC41038015 Time : 0.0 sec. user=mdettweiler [2018-03-16 11:30:06] 741*2^1504371-1 is not prime. Res64: 73107B9DF8113F31 Time : 0.0 sec. user=mdettweiler [2018-03-16 11:30:07] 859*2^1504371-1 is not prime. Res64: 7ADA275ADAC26332 Time : 0.0 sec. user=mdettweiler [2018-03-16 11:30:07] 879*2^1504371-1 is not prime. Res64: 2FE57CDF37B4D827 Time : 0.0 sec. user=mdettweiler [2018-03-16 11:42:46] 961*2^1504371-1 is not prime. Res64: 9A7BD1F2503B6F7E Time : 0.0 sec. user=mdettweiler [2018-03-16 11:42:46] 991*2^1504371-1 is not prime. Res64: FAA45268D9303268 Time : 0.0 sec. user=mdettweiler [2018-03-16 11:42:47] 999*2^1504371-1 is not prime. Res64: 6B4254345F970C7E Time : 0.0 sec. user=mdettweiler [2018-03-16 11:42:48] 603*2^1504372-1 is not prime. Res64: 68857CF9B0D679A8 Time : 0.0 sec. user=mdettweiler [2018-03-16 11:42:48] 705*2^1504372-1 is not prime. Res64: D7ACA8E819072087 Time : 0.0 sec. user=mdettweiler [2018-03-16 12:03:07] 765*2^1504372-1 is not prime. Res64: 0AF1774CE27057A3 Time : 0.0 sec. user=mdettweiler [2018-03-16 12:03:08] 779*2^1504372-1 is not prime. Res64: 122EDDCB45658837 Time : 0.0 sec. user=mdettweiler [2018-03-16 12:03:09] 803*2^1504372-1 is not prime. Res64: DAB6C3D04F5522D7 Time : 0.0 sec. user=mdettweiler [2018-03-16 12:03:10] 915*2^1504372-1 is not prime. Res64: EB01D7BF39D1E757 Time : 0.0 sec. user=mdettweiler [2018-03-16 12:03:11] 929*2^1504372-1 is not prime. Res64: 49FBE11097CD9596 Time : 0.0 sec. user=mdettweiler [2018-03-16 12:07:56] 631*2^1504373-1 is not prime. Res64: 064A7248EAA20758 Time : 0.0 sec. user=mdettweiler [2018-03-16 12:07:56] 675*2^1504373-1 is not prime. Res64: B9BDFE1A27E6BC77 Time : 0.0 sec. user=mdettweiler [2018-03-16 12:07:57] 745*2^1504373-1 is not prime. Res64: 311B76D43B3F8F98 Time : 0.0 sec. user=mdettweiler [2018-03-16 12:07:57] 829*2^1504373-1 is not prime. Res64: FEE18FEA14912F3B Time : 0.0 sec. user=mdettweiler [2018-03-16 12:07:58] 901*2^1504373-1 is not prime. Res64: 9DF81DE512D7D77E Time : 0.0 sec. user=mdettweiler [2018-03-16 12:18:24] 981*2^1504373-1 is not prime. Res64: E243D07BC430F41B Time : 0.0 sec. user=mdettweiler [2018-03-16 12:18:25] 635*2^1504374-1 is not prime. Res64: 61CD234C06E2EBFC Time : 0.0 sec. user=mdettweiler [2018-03-16 12:18:25] 671*2^1504374-1 is not prime. Res64: 6BA0B717C4BB3661 Time : 0.0 sec. user=mdettweiler [2018-03-16 12:18:26] 711*2^1504374-1 is not prime. Res64: 764658638C230D36 Time : 0.0 sec. user=mdettweiler [2018-03-16 12:18:26] 783*2^1504374-1 is not prime. Res64: F72B1963B1A522BD Time : 0.0 sec. user=mdettweiler [2018-03-16 12:32:37] 861*2^1504374-1 is not prime. Res64: D1D7F079DA498BF4 Time : 0.0 sec. user=mdettweiler [2018-03-16 12:32:38] 945*2^1504374-1 is not prime. Res64: 2433E1988F62BD92 Time : 0.0 sec. user=mdettweiler [2018-03-16 12:32:38] 947*2^1504374-1 is not prime. Res64: 49EDE4170992C030 Time : 0.0 sec. user=mdettweiler [2018-03-16 12:32:39] 971*2^1504374-1 is not prime. Res64: 5E500BF2659E3443 Time : 0.0 sec. user=mdettweiler [2018-03-16 12:32:39] 993*2^1504374-1 is not prime. Res64: 59DF28B8EDB1471E Time : 0.0 sec. user=mdettweiler [2018-03-16 12:52:17] 675*2^1504375-1 is not prime. Res64: 7FCDF81395A9F922 Time : 0.0 sec. user=mdettweiler [2018-03-16 12:52:18] 871*2^1504375-1 is not prime. Res64: 9A4AAE9969C0AA7F Time : 0.0 sec. user=mdettweiler [2018-03-16 12:52:18] 883*2^1504375-1 is not prime. Res64: F19BABA26D74E6C8 Time : 0.0 sec. user=mdettweiler [2018-03-16 12:52:19] 891*2^1504375-1 is not prime. Res64: C5793DB686440EDA Time : 0.0 sec. user=mdettweiler [2018-03-16 12:52:19] 675*2^1504376-1 is not prime. Res64: FEAB9A7E6E3022B4 Time : 0.0 sec. user=mdettweiler [2018-03-16 12:57:26] 755*2^1504376-1 is not prime. Res64: 6D5B8ABB2B947664 Time : 0.0 sec. user=mdettweiler [2018-03-16 12:57:26] 803*2^1504376-1 is not prime. Res64: 3E9FB830220FCB13 Time : 0.0 sec. user=mdettweiler [2018-03-16 12:57:27] 903*2^1504376-1 is not prime. Res64: 218C0E0BCD666FAB Time : 0.0 sec. user=mdettweiler [2018-03-16 12:57:27] 963*2^1504376-1 is not prime. Res64: B7F34561C87CCB69 Time : 0.0 sec. user=mdettweiler [2018-03-16 12:57:28] 969*2^1504376-1 is not prime. Res64: 0BF7E6567BF7B6D8 Time : 0.0 sec. user=mdettweiler [2018-03-16 13:08:03] 667*2^1504377-1 is not prime. Res64: 7BAB3385F29027AF Time : 0.0 sec. user=mdettweiler [2018-03-16 13:08:04] 777*2^1504377-1 is not prime. Res64: 72FA2BE05F6FE8EB Time : 0.0 sec. user=mdettweiler [2018-03-16 13:08:05] 805*2^1504377-1 is not prime. Res64: 4FBB214D6411008F Time : 0.0 sec. user=mdettweiler [2018-03-16 13:08:05] 807*2^1504377-1 is not prime. Res64: F07745BFA247F3E8 Time : 0.0 sec. user=mdettweiler [2018-03-16 13:08:06] 829*2^1504377-1 is not prime. Res64: 0976A0BBED3D0049 Time : 0.0 sec. user=mdettweiler [2018-03-16 13:21:49] 847*2^1504377-1 is not prime. Res64: A99F4D9E42B01538 Time : 0.0 sec. user=mdettweiler [2018-03-16 13:21:50] 865*2^1504377-1 is not prime. Res64: 1B65B9CEA7D3914E Time : 0.0 sec. user=mdettweiler [2018-03-16 13:21:50] 985*2^1504377-1 is not prime. Res64: A35121F44D50AE40 Time : 0.0 sec. user=mdettweiler [2018-03-16 13:21:50] 635*2^1504378-1 is not prime. Res64: 2BDFDBCF22A12B07 Time : 0.0 sec. user=mdettweiler [2018-03-16 13:21:51] 681*2^1504378-1 is not prime. Res64: BE6AE56C9E02F021 Time : 0.0 sec. user=mdettweiler [2018-03-16 13:42:55] 687*2^1504378-1 is not prime. Res64: 02A0790A74A5C495 Time : 0.0 sec. user=mdettweiler [2018-03-16 13:42:55] 915*2^1504378-1 is not prime. Res64: 3EACD10DF876682A Time : 0.0 sec. user=mdettweiler [2018-03-16 13:42:56] 923*2^1504378-1 is not prime. Res64: A52012C99F09D4C1 Time : 0.0 sec. user=mdettweiler [2018-03-16 13:42:56] 655*2^1504379-1 is not prime. Res64: EBF2E704061E9FBE Time : 0.0 sec. user=mdettweiler [2018-03-16 13:42:57] 663*2^1504379-1 is not prime. Res64: F143752DDE70A792 Time : 0.0 sec. user=mdettweiler [2018-03-16 13:48:36] 693*2^1504379-1 is not prime. Res64: AA6860FD6922EA6A Time : 0.0 sec. user=mdettweiler [2018-03-16 13:48:36] 711*2^1504379-1 is not prime. Res64: F72812C7A0824C0B Time : 0.0 sec. user=mdettweiler [2018-03-16 13:48:36] 789*2^1504379-1 is not prime. Res64: 5BFB2BF7E5A33CD2 Time : 0.0 sec. user=mdettweiler [2018-03-16 13:48:37] 855*2^1504379-1 is not prime. Res64: A2556BB99D9FBB1E Time : 0.0 sec. user=mdettweiler [2018-03-16 13:48:37] 909*2^1504379-1 is not prime. Res64: 32760FEA87BFFCBC Time : 0.0 sec. user=mdettweiler [2018-03-16 13:59:07] 943*2^1504379-1 is not prime. Res64: 7D73BCC24535497B Time : 0.0 sec. user=mdettweiler [2018-03-16 13:59:08] 633*2^1504380-1 is not prime. Res64: B3B618511E5B75FD Time : 0.0 sec. user=mdettweiler [2018-03-16 13:59:08] 647*2^1504380-1 is not prime. Res64: 70A3B861F3B7821E Time : 0.0 sec. user=mdettweiler [2018-03-16 13:59:08] 723*2^1504380-1 is not prime. Res64: C4F970C5709D5B68 Time : 0.0 sec. user=mdettweiler [2018-03-16 13:59:09] 789*2^1504380-1 is not prime. Res64: 7B69FADE074699F1 Time : 0.0 sec. user=mdettweiler [2018-03-16 14:14:26] 873*2^1504380-1 is not prime. Res64: CF880E252A712926 Time : 0.0 sec. user=mdettweiler [2018-03-16 14:14:27] 879*2^1504380-1 is not prime. Res64: CC186B026509C5B7 Time : 0.0 sec. user=mdettweiler [2018-03-16 14:14:27] 923*2^1504380-1 is not prime. Res64: 9332AA3F7E60AFC9 Time : 0.0 sec. user=mdettweiler [2018-03-16 14:14:27] 607*2^1504381-1 is not prime. Res64: A85C85A26481D92F Time : 0.0 sec. user=mdettweiler [2018-03-16 14:14:28] 751*2^1504381-1 is not prime. Res64: D6EC0B3E6601D66D Time : 0.0 sec. user=mdettweiler [2018-03-16 14:34:41] 801*2^1504381-1 is not prime. Res64: DF04530583B1574F Time : 0.0 sec. user=mdettweiler [2018-03-16 14:34:42] 829*2^1504381-1 is not prime. Res64: A6D420F41D5674F3 Time : 0.0 sec. user=mdettweiler [2018-03-16 14:34:42] 651*2^1504382-1 is not prime. Res64: C1978DB39C939D41 Time : 0.0 sec. user=mdettweiler [2018-03-16 14:34:43] 677*2^1504382-1 is not prime. Res64: BCA7294940E6525A Time : 0.0 sec. user=mdettweiler [2018-03-16 14:34:43] 693*2^1504382-1 is not prime. Res64: 08D6BB6B91112B2B Time : 0.0 sec. user=mdettweiler [2018-03-16 14:40:30] 791*2^1504382-1 is not prime. Res64: 1EAB7CC243CA932C Time : 0.0 sec. user=mdettweiler [2018-03-16 14:40:30] 801*2^1504382-1 is not prime. Res64: D8F4693F7A570348 Time : 0.0 sec. user=mdettweiler [2018-03-16 14:40:31] 843*2^1504382-1 is not prime. Res64: 04AF00606CB2240B Time : 0.0 sec. user=mdettweiler [2018-03-16 14:40:31] 873*2^1504382-1 is not prime. Res64: 8F8A312B4E34761D Time : 0.0 sec. user=mdettweiler [2018-03-16 14:40:31] 935*2^1504382-1 is not prime. Res64: D7BFC31F25413ED3 Time : 0.0 sec. user=mdettweiler [2018-03-16 14:49:27] 945*2^1504382-1 is not prime. Res64: B9D8D0451A16C0C8 Time : 0.0 sec. user=mdettweiler [2018-03-16 14:49:27] 639*2^1504383-1 is not prime. Res64: C0378EDDA3483541 Time : 0.0 sec. user=mdettweiler [2018-03-16 14:49:27] 661*2^1504383-1 is not prime. Res64: 6D8A23D137B6D562 Time : 0.0 sec. user=mdettweiler [2018-03-16 14:49:28] 751*2^1504383-1 is not prime. Res64: 40DA324B224842F3 Time : 0.0 sec. user=mdettweiler [2018-03-16 14:49:28] 623*2^1504384-1 is not prime. Res64: 668E675F6BF062E5 Time : 0.0 sec. user=mdettweiler [2018-03-16 15:05:01] 635*2^1504384-1 is not prime. Res64: 692E5343533172BD Time : 0.0 sec. user=mdettweiler [2018-03-16 15:05:02] 657*2^1504384-1 is not prime. Res64: C7CF8987F1E54E99 Time : 0.0 sec. user=mdettweiler [2018-03-16 15:05:03] 869*2^1504384-1 is not prime. Res64: FD2879B08495D22E Time : 0.0 sec. user=mdettweiler [2018-03-16 15:05:04] 875*2^1504384-1 is not prime. Res64: 1671859F1DAB4B21 Time : 0.0 sec. user=mdettweiler [2018-03-16 15:05:05] 969*2^1504384-1 is not prime. Res64: 12E1B5172CA3DD65 Time : 0.0 sec. user=mdettweiler [2018-03-16 15:25:01] 993*2^1504384-1 is not prime. Res64: 5D342BE400DDEF1D Time : 0.0 sec. user=mdettweiler [2018-03-16 15:25:01] 649*2^1504385-1 is not prime. Res64: 7216AC620292788B Time : 0.0 sec. user=mdettweiler [2018-03-16 15:25:02] 679*2^1504385-1 is not prime. Res64: 88886BC3D365A2FE Time : 0.0 sec. user=mdettweiler [2018-03-16 15:25:02] 685*2^1504385-1 is not prime. Res64: 4CB3EC748009BAB1 Time : 0.0 sec. user=mdettweiler [2018-03-16 15:25:03] 727*2^1504385-1 is not prime. Res64: 6F0C0A9BA4DD64A5 Time : 0.0 sec. user=mdettweiler [2018-03-16 15:32:45] 787*2^1504385-1 is not prime. Res64: 762709B4BEA66433 Time : 0.0 sec. user=mdettweiler [2018-03-16 15:32:46] 861*2^1504385-1 is not prime. Res64: 7B7171680FA7F8F2 Time : 0.0 sec. user=mdettweiler [2018-03-16 15:32:46] 683*2^1504386-1 is not prime. Res64: 94D3B292DB2E3698 Time : 0.0 sec. user=mdettweiler [2018-03-16 15:32:46] 705*2^1504386-1 is not prime. Res64: 2C402EF48A030043 Time : 0.0 sec. user=mdettweiler [2018-03-16 15:32:47] 815*2^1504386-1 is not prime. Res64: 6CDC353566F7883A Time : 0.0 sec. user=mdettweiler [2018-03-16 15:41:10] 821*2^1504386-1 is not prime. Res64: 7B8D9C5D66F8F2D8 Time : 0.0 sec. user=mdettweiler [2018-03-16 15:41:10] 843*2^1504386-1 is not prime. Res64: 528A93C383A73F80 Time : 0.0 sec. user=mdettweiler [2018-03-16 15:41:10] 851*2^1504386-1 is not prime. Res64: AED0E8D018FB4774 Time : 0.0 sec. user=mdettweiler [2018-03-16 15:41:11] 881*2^1504386-1 is not prime. Res64: 325C836C16B8E7FE Time : 0.0 sec. user=mdettweiler [2018-03-16 15:41:11] 615*2^1504387-1 is not prime. Res64: 3AC3609162078752 Time : 0.0 sec. user=mdettweiler [2018-03-16 15:55:33] 633*2^1504387-1 is not prime. Res64: 86EA74977D86955A Time : 0.0 sec. user=mdettweiler [2018-03-16 15:55:34] 843*2^1504387-1 is not prime. Res64: E9333DE0318E043A Time : 0.0 sec. user=mdettweiler [2018-03-16 15:55:34] 885*2^1504387-1 is not prime. Res64: 65ABDADF8D3BE80E Time : 0.0 sec. user=mdettweiler [2018-03-16 15:55:35] 985*2^1504387-1 is not prime. Res64: 96FB0684311E571F Time : 0.0 sec. user=mdettweiler [2018-03-16 15:55:35] 617*2^1504388-1 is not prime. Res64: 9B7CBAE45088D9C1 Time : 0.0 sec. user=mdettweiler [2018-03-16 16:14:45] 633*2^1504388-1 is not prime. Res64: D2AF83664D462E6E Time : 0.0 sec. user=mdettweiler [2018-03-16 16:14:46] 789*2^1504388-1 is not prime. Res64: 3743711BFE29172A Time : 0.0 sec. user=mdettweiler [2018-03-16 16:14:46] 867*2^1504388-1 is not prime. Res64: 78D77E5E00B3A950 Time : 0.0 sec. user=mdettweiler [2018-03-16 16:14:47] 875*2^1504388-1 is not prime. Res64: 22B90CB5DB0C2B8F Time : 0.0 sec. user=mdettweiler [2018-03-16 16:14:47] 915*2^1504388-1 is not prime. Res64: 60ED19F6FA935D24 Time : 0.0 sec. user=mdettweiler [2018-03-16 16:22:14] 935*2^1504388-1 is not prime. Res64: 1AFAB734CA8128BE Time : 0.0 sec. user=mdettweiler [2018-03-16 16:22:15] 945*2^1504388-1 is not prime. Res64: 8280E2F525938A53 Time : 0.0 sec. user=mdettweiler [2018-03-16 16:22:15] 953*2^1504388-1 is not prime. Res64: D1B2A4F79A020B60 Time : 0.0 sec. user=mdettweiler [2018-03-16 16:22:15] 957*2^1504388-1 is not prime. Res64: A9D8CFC3131888B1 Time : 0.0 sec. user=mdettweiler [2018-03-16 16:22:16] 625*2^1504389-1 is not prime. Res64: E5314533B0557FED Time : 0.0 sec. user=mdettweiler [2018-03-16 16:29:51] 679*2^1504389-1 is not prime. Res64: C7EDF9157CAD0482 Time : 0.0 sec. user=mdettweiler [2018-03-16 16:29:51] 709*2^1504389-1 is not prime. Res64: 2514AEA359440E3F Time : 0.0 sec. user=mdettweiler [2018-03-16 16:29:52] 811*2^1504389-1 is not prime. Res64: 1F241C7E859ACC7A Time : 0.0 sec. user=mdettweiler [2018-03-16 16:29:52] 955*2^1504389-1 is not prime. Res64: 701334714B3DAB0D Time : 0.0 sec. user=mdettweiler [2018-03-16 16:29:53] 611*2^1504390-1 is not prime. Res64: 147BDDC783CAE19E Time : 0.0 sec. user=mdettweiler [2018-03-16 16:45:21] 653*2^1504390-1 is not prime. Res64: C0F4EFB668659193 Time : 0.0 sec. user=mdettweiler [2018-03-16 16:45:22] 825*2^1504390-1 is not prime. Res64: E73558837FCE5A55 Time : 0.0 sec. user=mdettweiler [2018-03-16 16:45:22] 831*2^1504390-1 is not prime. Res64: 536F6BFD25387712 Time : 0.0 sec. user=mdettweiler [2018-03-16 16:45:22] 833*2^1504390-1 is not prime. Res64: C4455DFD2171852A Time : 0.0 sec. user=mdettweiler [2018-03-16 16:45:23] 887*2^1504390-1 is not prime. Res64: 71842FD15675A4F2 Time : 0.0 sec. user=mdettweiler [2018-03-16 17:03:48] 897*2^1504390-1 is not prime. Res64: 2F456253602786C0 Time : 0.0 sec. user=mdettweiler [2018-03-16 17:03:50] 911*2^1504390-1 is not prime. Res64: 324DAD1450356EE5 Time : 0.0 sec. user=mdettweiler [2018-03-16 17:03:51] 609*2^1504391-1 is not prime. Res64: B82F27053D098759 Time : 0.0 sec. user=mdettweiler [2018-03-16 17:03:52] 651*2^1504391-1 is not prime. Res64: 2FA9732159F62077 Time : 0.0 sec. user=mdettweiler [2018-03-16 17:03:53] 745*2^1504391-1 is not prime. Res64: 003BA675FD998ED1 Time : 0.0 sec. user=mdettweiler [2018-03-16 17:12:29] 979*2^1504391-1 is not prime. Res64: 7DBE4A11A70A2BE8 Time : 0.0 sec. user=mdettweiler [2018-03-16 17:12:30] 849*2^1504392-1 is not prime. Res64: 423BA23F9F63F4B1 Time : 0.0 sec. user=mdettweiler [2018-03-16 17:12:30] 875*2^1504392-1 is not prime. Res64: 588E18F788C8455D Time : 0.0 sec. user=mdettweiler [2018-03-16 17:12:31] 917*2^1504392-1 is not prime. Res64: 7158F0A3B26538BF Time : 0.0 sec. user=mdettweiler [2018-03-16 17:12:31] 933*2^1504392-1 is not prime. Res64: 9F7D7EB1D7467BC4 Time : 0.0 sec. user=mdettweiler [2018-03-16 17:18:25] 607*2^1504393-1 is not prime. Res64: B9F6935F13060F47 Time : 0.0 sec. user=mdettweiler [2018-03-16 17:18:26] 619*2^1504393-1 is not prime. Res64: D54E08231E2EF87F Time : 0.0 sec. user=mdettweiler [2018-03-16 17:18:26] 721*2^1504393-1 is not prime. Res64: 0F878014365D5177 Time : 0.0 sec. user=mdettweiler [2018-03-16 17:18:26] 811*2^1504393-1 is not prime. Res64: 7CB43D56108713A4 Time : 0.0 sec. user=mdettweiler [2018-03-16 17:18:27] 885*2^1504393-1 is not prime. Res64: 5DDD58AA10F60A9E Time : 0.0 sec. user=mdettweiler [2018-03-16 17:34:26] 615*2^1504394-1 is not prime. Res64: 2352A4021AA9D2C6 Time : 0.0 sec. user=mdettweiler [2018-03-16 17:34:26] 705*2^1504394-1 is not prime. Res64: 814566D47E5A0DEC Time : 0.0 sec. user=mdettweiler [2018-03-16 17:34:26] 797*2^1504394-1 is not prime. Res64: 384EC17421D7655A Time : 0.0 sec. user=mdettweiler [2018-03-16 17:34:27] 827*2^1504394-1 is not prime. Res64: 502AAFE4AD1B5711 Time : 0.0 sec. user=mdettweiler [2018-03-16 17:34:27] 831*2^1504394-1 is not prime. Res64: 597C331645DCC7E2 Time : 0.0 sec. user=mdettweiler [2018-03-16 17:53:52] 857*2^1504394-1 is not prime. Res64: 6E7D4B9AA06CD177 Time : 0.0 sec. user=mdettweiler [2018-03-16 17:53:52] 873*2^1504394-1 is not prime. Res64: AB587335ECE6E108 Time : 0.0 sec. user=mdettweiler [2018-03-16 17:53:53] 927*2^1504394-1 is not prime. Res64: 0F15172362B0DE5D Time : 0.0 sec. user=mdettweiler [2018-03-16 17:53:53] 971*2^1504394-1 is not prime. Res64: CEF260584C854436 Time : 0.0 sec. user=mdettweiler [2018-03-16 17:53:54] 619*2^1504395-1 is not prime. Res64: 869D337D32D53410 Time : 0.0 sec. user=mdettweiler [2018-03-16 18:00:59] 679*2^1504395-1 is not prime. Res64: DEB313F48A71DDF4 Time : 0.0 sec. user=mdettweiler [2018-03-16 18:00:59] 709*2^1504395-1 is not prime. Res64: CC74B3BFD658FE58 Time : 0.0 sec. user=mdettweiler [2018-03-16 18:01:00] 955*2^1504395-1 is not prime. Res64: AA2EE4ABCD731616 Time : 0.0 sec. user=mdettweiler [2018-03-16 18:01:01] 615*2^1504396-1 is not prime. Res64: 361C7CFFE8433244 Time : 0.0 sec. user=mdettweiler [2018-03-16 18:01:01] 623*2^1504396-1 is not prime. Res64: 486D6121EF7B3A2A Time : 0.0 sec. user=mdettweiler [2018-03-16 18:08:48] 677*2^1504396-1 is not prime. Res64: 14C6D448E15CA041 Time : 0.0 sec. user=mdettweiler [2018-03-16 18:08:49] 813*2^1504396-1 is not prime. Res64: F9A0C12F7AF556D7 Time : 0.0 sec. user=mdettweiler [2018-03-16 18:08:50] 875*2^1504396-1 is not prime. Res64: 6C9B8A56791F68B6 Time : 0.0 sec. user=mdettweiler [2018-03-16 18:08:50] 903*2^1504396-1 is not prime. Res64: 3F336A84C25A32DA Time : 0.0 sec. user=mdettweiler [2018-03-16 18:08:51] 983*2^1504396-1 is not prime. Res64: C771407F547FDF24 Time : 0.0 sec. user=mdettweiler [2018-03-16 18:23:03] 999*2^1504396-1 is not prime. Res64: 3C5D76E5F1A4B8FD Time : 0.0 sec. user=mdettweiler [2018-03-16 18:23:03] 621*2^1504397-1 is not prime. Res64: 5397F2062B3AB2A6 Time : 0.0 sec. user=mdettweiler [2018-03-16 18:23:03] 627*2^1504397-1 is not prime. Res64: C8151F524CA1A70F Time : 0.0 sec. user=mdettweiler [2018-03-16 18:23:04] 729*2^1504397-1 is not prime. Res64: E5899469A86283FA Time : 0.0 sec. user=mdettweiler [2018-03-16 18:23:04] 735*2^1504397-1 is not prime. Res64: 5A7454ABCBBDBA7A Time : 0.0 sec. user=mdettweiler [2018-03-16 18:43:54] 871*2^1504397-1 is not prime. Res64: 5F14CA479A02EAB5 Time : 0.0 sec. user=mdettweiler [2018-03-16 18:43:54] 927*2^1504397-1 is not prime. Res64: ED1A0C5187E474D5 Time : 0.0 sec. user=mdettweiler [2018-03-16 18:43:54] 937*2^1504397-1 is not prime. Res64: 0BB7BAA9F1B2780A Time : 0.0 sec. user=mdettweiler [2018-03-16 18:43:55] 737*2^1504398-1 is not prime. Res64: 75DC2EAAC8DF13D3 Time : 0.0 sec. user=mdettweiler [2018-03-16 18:43:55] 755*2^1504398-1 is not prime. Res64: 266AB765D6B08E51 Time : 0.0 sec. user=mdettweiler [2018-03-16 18:50:47] 797*2^1504398-1 is not prime. Res64: 78B90420540C9A3E Time : 0.0 sec. user=mdettweiler [2018-03-16 18:50:47] 815*2^1504398-1 is not prime. Res64: 8877C575604A542E Time : 0.0 sec. user=mdettweiler [2018-03-16 18:50:47] 885*2^1504398-1 is not prime. Res64: 79E4F08EDFFA269B Time : 0.0 sec. user=mdettweiler [2018-03-16 18:50:48] 891*2^1504398-1 is not prime. Res64: DFF880DEE18E0239 Time : 0.0 sec. user=mdettweiler [2018-03-16 18:50:48] 619*2^1504399-1 is not prime. Res64: 985939891230D1C8 Time : 0.0 sec. user=mdettweiler [2018-03-16 18:58:24] 751*2^1504399-1 is not prime. Res64: A63AFAE18F6FC1B2 Time : 0.0 sec. user=mdettweiler [2018-03-16 18:58:24] 759*2^1504399-1 is not prime. Res64: 4AAC06B6CA5FD695 Time : 0.0 sec. user=mdettweiler [2018-03-16 18:58:25] 775*2^1504399-1 is not prime. Res64: CAA35ECF95979E0B Time : 0.0 sec. user=mdettweiler [2018-03-16 18:58:25] 789*2^1504399-1 is not prime. Res64: 1EA50871CC6A3BB8 Time : 0.0 sec. user=mdettweiler [2018-03-16 18:58:25] 841*2^1504399-1 is not prime. Res64: 59830700AD9B12ED Time : 0.0 sec. user=mdettweiler [2018-03-16 19:12:27] 663*2^1504400-1 is not prime. Res64: 1EC8C0513A5BBD4A Time : 0.0 sec. user=mdettweiler [2018-03-16 19:12:27] 677*2^1504400-1 is not prime. Res64: 07F4116A32D77CCB Time : 0.0 sec. user=mdettweiler [2018-03-16 19:12:28] 767*2^1504400-1 is not prime. Res64: 90B7ECE500FA697C Time : 0.0 sec. user=mdettweiler [2018-03-16 19:12:28] 839*2^1504400-1 is not prime. Res64: BF50EE2CE0B13DD1 Time : 0.0 sec. user=mdettweiler [2018-03-16 19:12:29] 923*2^1504400-1 is not prime. Res64: 53EDC41DB5E1E1A8 Time : 0.0 sec. user=mdettweiler [2018-03-16 19:31:54] 963*2^1504400-1 is not prime. Res64: F376CEC537AAD809 Time : 0.0 sec. user=mdettweiler [2018-03-16 19:31:54] 977*2^1504400-1 is not prime. Res64: AE4BFB9E7AFEE319 Time : 0.0 sec. user=mdettweiler [2018-03-16 19:31:55] 607*2^1504401-1 is not prime. Res64: D0A1CFF78BEF1FE7 Time : 0.0 sec. user=mdettweiler [2018-03-16 19:31:55] 615*2^1504401-1 is not prime. Res64: 01385FAB87CEC98A Time : 0.0 sec. user=mdettweiler [2018-03-16 19:31:55] 639*2^1504401-1 is not prime. Res64: 1209BC87AD723242 Time : 0.0 sec. user=mdettweiler [2018-03-16 19:39:33] 679*2^1504401-1 is not prime. Res64: 17E9333A3201842E Time : 0.0 sec. user=mdettweiler [2018-03-16 19:39:34] 705*2^1504401-1 is not prime. Res64: 0FE0C5E5A06B1022 Time : 0.0 sec. user=mdettweiler [2018-03-16 19:39:34] 751*2^1504401-1 is not prime. Res64: 799504C3F010D66D Time : 0.0 sec. user=mdettweiler [2018-03-16 19:39:35] 835*2^1504401-1 is not prime. Res64: ED9F902BEEF07F6E Time : 0.0 sec. user=mdettweiler [2018-03-16 19:39:35] 945*2^1504401-1 is not prime. Res64: 9DDEC2EA6B020C1B Time : 0.0 sec. user=mdettweiler [2018-03-16 19:47:21] 991*2^1504401-1 is not prime. Res64: 6C0EA5454AED2DB5 Time : 0.0 sec. user=mdettweiler [2018-03-16 19:47:22] 635*2^1504402-1 is not prime. Res64: B05D0454365B4474 Time : 0.0 sec. user=mdettweiler [2018-03-16 19:47:22] 701*2^1504402-1 is not prime. Res64: 587513E1E8A85B49 Time : 0.0 sec. user=mdettweiler [2018-03-16 19:47:22] 825*2^1504402-1 is not prime. Res64: CA67D3C84A97D9AE Time : 0.0 sec. user=mdettweiler [2018-03-16 19:47:23] 827*2^1504402-1 is not prime. Res64: 5C2353522D1B80A3 Time : 0.0 sec. user=mdettweiler [2018-03-16 20:02:24] 887*2^1504402-1 is not prime. Res64: EC170E5B6C88F4DE Time : 0.0 sec. user=mdettweiler [2018-03-16 20:02:25] 693*2^1504403-1 is not prime. Res64: AD23B934A46F91A3 Time : 0.0 sec. user=mdettweiler [2018-03-16 20:02:26] 825*2^1504403-1 is not prime. Res64: 822DDDD2164C1117 Time : 0.0 sec. user=mdettweiler [2018-03-16 20:02:26] 859*2^1504403-1 is not prime. Res64: E581580F6E1BDFC4 Time : 0.0 sec. user=mdettweiler [2018-03-16 20:02:27] 861*2^1504403-1 is not prime. Res64: 3387059CF8E6D935 Time : 0.0 sec. user=mdettweiler [2018-03-16 20:20:39] 615*2^1504404-1 is not prime. Res64: 915537A5435D6D07 Time : 0.0 sec. user=mdettweiler [2018-03-16 20:20:40] 635*2^1504404-1 is not prime. Res64: C8D1A7ED7937081B Time : 0.0 sec. user=mdettweiler [2018-03-16 20:20:40] 765*2^1504404-1 is not prime. Res64: 5346827B00BA7D9C Time : 0.0 sec. user=mdettweiler [2018-03-16 20:20:41] 825*2^1504404-1 is not prime. Res64: BEF4DB2EDF45EAF0 Time : 0.0 sec. user=mdettweiler [2018-03-16 20:20:41] 935*2^1504404-1 is not prime. Res64: 2E0F335F98A1D22D Time : 0.0 sec. user=mdettweiler [2018-03-16 20:28:35] 661*2^1504405-1 is not prime. Res64: 552D3C36215019FC Time : 0.0 sec. user=mdettweiler [2018-03-16 20:28:35] 715*2^1504405-1 is not prime. Res64: DA8A65F18EBF7B56 Time : 0.0 sec. user=mdettweiler [2018-03-16 20:28:36] 727*2^1504405-1 is not prime. Res64: C88246CF0ABACECF Time : 0.0 sec. user=mdettweiler [2018-03-16 20:28:36] 825*2^1504405-1 is not prime. Res64: 83B67BFF42F00F82 Time : 0.0 sec. user=mdettweiler [2018-03-16 20:28:36] 861*2^1504405-1 is not prime. Res64: C4206001CD8336F7 Time : 0.0 sec. user=mdettweiler [2018-03-16 20:37:30] 867*2^1504405-1 is not prime. Res64: 14A05086BEF19825 Time : 0.0 sec. user=mdettweiler [2018-03-16 20:37:31] 877*2^1504405-1 is not prime. Res64: DBCF7DFD0B8B19E9 Time : 0.0 sec. user=mdettweiler [2018-03-16 20:37:31] 925*2^1504405-1 is not prime. Res64: 9496E004952BA67F Time : 0.0 sec. user=mdettweiler [2018-03-16 20:37:31] 985*2^1504405-1 is not prime. Res64: 8285C4FA4190B6BE Time : 0.0 sec. user=mdettweiler [2018-03-16 20:37:32] 997*2^1504405-1 is not prime. Res64: 1AF9B73EA7679AD3 Time : 0.0 sec. user=mdettweiler [2018-03-16 20:53:10] 635*2^1504406-1 is not prime. Res64: 49A4C6CC95E8D2DB Time : 0.0 sec. user=mdettweiler [2018-03-16 20:53:10] 645*2^1504406-1 is not prime. Res64: 95C5437875C9A923 Time : 0.0 sec. user=mdettweiler [2018-03-16 20:53:10] 713*2^1504406-1 is not prime. Res64: 01504DE48F9B2F8B Time : 0.0 sec. user=mdettweiler [2018-03-16 20:53:10] 741*2^1504406-1 is not prime. Res64: AE06DB239F94271D Time : 0.0 sec. user=mdettweiler [2018-03-16 20:53:11] 843*2^1504406-1 is not prime. Res64: CE4E754ED04C5C4D Time : 0.0 sec. user=mdettweiler [2018-03-16 21:16:09] 873*2^1504406-1 is not prime. Res64: 55AA02372A9911FE Time : 0.0 sec. user=mdettweiler [2018-03-16 21:16:10] 897*2^1504406-1 is not prime. Res64: 6DF43C143BF3886D Time : 0.0 sec. user=mdettweiler [2018-03-16 21:16:10] 923*2^1504406-1 is not prime. Res64: 1DDCCADD027485E9 Time : 0.0 sec. user=mdettweiler [2018-03-16 21:16:10] 941*2^1504406-1 is not prime. Res64: F63C75BD38363448 Time : 0.0 sec. user=mdettweiler [2018-03-16 21:16:11] 795*2^1504407-1 is not prime. Res64: FDBF1745BCE293A8 Time : 0.0 sec. user=mdettweiler [2018-03-16 21:24:32] 825*2^1504407-1 is not prime. Res64: 38B78D182E2363E8 Time : 0.0 sec. user=mdettweiler [2018-03-16 21:24:33] 861*2^1504407-1 is not prime. Res64: B910CECB37B82A46 Time : 0.0 sec. user=mdettweiler [2018-03-16 21:24:33] 909*2^1504407-1 is not prime. Res64: A5485A5D7BDAC8D7 Time : 0.0 sec. user=mdettweiler [2018-03-16 21:24:33] 991*2^1504407-1 is not prime. Res64: 80751BBA701B12FE Time : 0.0 sec. user=mdettweiler [2018-03-16 21:24:34] 603*2^1504408-1 is not prime. Res64: 0B2BC4532EA9240E Time : 0.0 sec. user=mdettweiler [2018-03-16 21:34:16] 735*2^1504408-1 is not prime. Res64: 41C1235E89F3307C Time : 0.0 sec. user=mdettweiler [2018-03-16 21:34:16] 743*2^1504408-1 is not prime. Res64: BDF609F228E6F52B Time : 0.0 sec. user=mdettweiler [2018-03-16 21:34:16] 863*2^1504408-1 is not prime. Res64: AFE7CEAFF248B99A Time : 0.0 sec. user=mdettweiler [2018-03-16 21:34:17] 869*2^1504408-1 is not prime. Res64: 72FCAC732D529A4C Time : 0.0 sec. user=mdettweiler [2018-03-16 21:34:17] 657*2^1504409-1 is not prime. Res64: 2C32DAD4BAF2752E Time : 0.0 sec. user=mdettweiler [2018-03-16 21:46:04] 699*2^1504409-1 is not prime. Res64: 3D4DF9A8C0D60151 Time : 0.0 sec. user=mdettweiler [2018-03-16 21:46:04] 727*2^1504409-1 is not prime. Res64: C2ACA3D0504822D9 Time : 0.0 sec. user=mdettweiler [2018-03-16 21:46:04] 611*2^1504410-1 is not prime. Res64: 82E6F02CBCEA5C2F Time : 0.0 sec. user=mdettweiler [2018-03-16 21:46:05] 627*2^1504410-1 is not prime. Res64: C7A25BFB6DA9C95E Time : 0.0 sec. user=mdettweiler [2018-03-16 21:46:05] 633*2^1504410-1 is not prime. Res64: E6C08A7E08A6ABB8 Time : 0.0 sec. user=mdettweiler [2018-03-16 22:11:23] 635*2^1504410-1 is not prime. Res64: 15D3CEC05679F2BD Time : 0.0 sec. user=mdettweiler [2018-03-16 22:11:23] 713*2^1504410-1 is not prime. Res64: AE86C83A0D8C3580 Time : 0.0 sec. user=mdettweiler [2018-03-16 22:11:23] 717*2^1504410-1 is not prime. Res64: E6DE36A4209C1D18 Time : 0.0 sec. user=mdettweiler [2018-03-16 22:11:24] 725*2^1504410-1 is not prime. Res64: 391234952A83D543 Time : 0.0 sec. user=mdettweiler [2018-03-16 22:11:24] 767*2^1504410-1 is not prime. Res64: A7E0B3F15D7FAAC9 Time : 0.0 sec. user=mdettweiler [2018-03-16 22:19:48] 927*2^1504410-1 is not prime. Res64: ED8F9D57FD7F7CD2 Time : 0.0 sec. user=mdettweiler [2018-03-16 22:19:48] 941*2^1504410-1 is not prime. Res64: AE46592C6712CC2C Time : 0.0 sec. user=mdettweiler [2018-03-16 22:19:49] 751*2^1504411-1 is not prime. Res64: 1247255953278B45 Time : 0.0 sec. user=mdettweiler [2018-03-16 22:19:49] 783*2^1504411-1 is not prime. Res64: 6345D6D9D4FDF738 Time : 0.0 sec. user=mdettweiler [2018-03-16 22:19:49] 805*2^1504411-1 is not prime. Res64: 0EC7B541EA935B91 Time : 0.0 sec. user=mdettweiler [2018-03-16 22:33:11] 855*2^1504411-1 is not prime. Res64: 6F0242FEB36ABEC9 Time : 0.0 sec. user=mdettweiler [2018-03-16 22:33:11] 871*2^1504411-1 is not prime. Res64: 4CF217136932842A Time : 0.0 sec. user=mdettweiler [2018-03-16 22:33:12] 873*2^1504411-1 is not prime. Res64: 2FAE6108DB25C85A Time : 0.0 sec. user=mdettweiler [2018-03-16 22:33:12] 883*2^1504411-1 is not prime. Res64: 59F9EC6E95EBE51B Time : 0.0 sec. user=mdettweiler [2018-03-16 22:33:12] 931*2^1504411-1 is not prime. Res64: 89E67BE04462C2BD Time : 0.0 sec. user=mdettweiler [2018-03-16 22:41:56] 615*2^1504412-1 is not prime. Res64: D7F04D6082B87F39 Time : 0.0 sec. user=mdettweiler [2018-03-16 22:41:56] 617*2^1504412-1 is not prime. Res64: 3A1D332007616EC9 Time : 0.0 sec. user=mdettweiler [2018-03-16 22:41:56] 699*2^1504412-1 is not prime. Res64: 54636D1646510636 Time : 0.0 sec. user=mdettweiler [2018-03-16 22:41:57] 867*2^1504412-1 is not prime. Res64: C2AF1936FEDC9194 Time : 0.0 sec. user=mdettweiler [2018-03-16 22:41:57] 915*2^1504412-1 is not prime. Res64: 14F0EC9CC4773051 Time : 0.0 sec. user=mdettweiler [2018-03-16 23:07:03] 945*2^1504412-1 is not prime. Res64: 69585F601F1A74DB Time : 0.0 sec. user=mdettweiler [2018-03-16 23:07:04] 787*2^1504413-1 is not prime. Res64: 767BF5A19C756718 Time : 0.0 sec. user=mdettweiler [2018-03-16 23:07:05] 789*2^1504413-1 is not prime. Res64: 77DDEB9114D412D7 Time : 0.0 sec. user=mdettweiler [2018-03-16 23:07:07] 867*2^1504413-1 is not prime. Res64: A239467E32A8F352 Time : 0.0 sec. user=mdettweiler [2018-03-16 23:07:08] 895*2^1504413-1 is not prime. Res64: 8C733F2FDD121ECA Time : 0.0 sec. user=mdettweiler [2018-03-16 23:13:37] 915*2^1504413-1 is not prime. Res64: 234E45DBE998F0BA Time : 0.0 sec. user=mdettweiler [2018-03-16 23:13:38] 671*2^1504414-1 is not prime. Res64: B7DD9132456A4439 Time : 0.0 sec. user=mdettweiler [2018-03-16 23:13:38] 717*2^1504414-1 is not prime. Res64: 34F46DD5A438A8F3 Time : 0.0 sec. user=mdettweiler [2018-03-16 23:13:39] 915*2^1504414-1 is not prime. Res64: 783CE8EE56B28AA0 Time : 0.0 sec. user=mdettweiler [2018-03-16 23:13:39] 971*2^1504414-1 is not prime. Res64: 4522EB8089850732 Time : 0.0 sec. user=mdettweiler [2018-03-16 23:26:41] 975*2^1504414-1 is not prime. Res64: 0393B1A05BFC0BB6 Time : 0.0 sec. user=mdettweiler [2018-03-16 23:26:42] 993*2^1504414-1 is not prime. Res64: FABA9472708A942A Time : 0.0 sec. user=mdettweiler [2018-03-16 23:26:42] 753*2^1504415-1 is not prime. Res64: E3A11008D64BAD0C Time : 0.0 sec. user=mdettweiler [2018-03-16 23:26:42] 789*2^1504415-1 is not prime. Res64: 867D8E54431F9227 Time : 0.0 sec. user=mdettweiler [2018-03-16 23:26:43] 825*2^1504415-1 is prime! Time : 0.0 sec. user=mdettweiler [2018-03-16 23:33:55] 843*2^1504415-1 is not prime. Res64: 6D367B9960F6781F Time : 0.0 sec. user=mdettweiler [2018-03-16 23:33:56] 979*2^1504415-1 is not prime. Res64: 6295AA30C2033575 Time : 0.0 sec. user=mdettweiler [2018-03-16 23:33:56] 683*2^1504416-1 is not prime. Res64: 6DC6C76537E7EBAF Time : 0.0 sec. user=mdettweiler [2018-03-16 23:33:56] 717*2^1504416-1 is not prime. Res64: 4852234B3D821FED Time : 0.0 sec. user=mdettweiler [2018-03-16 23:33:57] 737*2^1504416-1 is not prime. Res64: 72D0080BBF86B9EA Time : 0.0 sec. user=mdettweiler [2018-03-16 23:58:02] 789*2^1504416-1 is not prime. Res64: F03EE11F4B18FF73 Time : 0.0 sec. user=mdettweiler [2018-03-16 23:58:02] 815*2^1504416-1 is not prime. Res64: 5935431B10CAE7E4 Time : 0.0 sec. user=mdettweiler [2018-03-16 23:58:02] 857*2^1504416-1 is not prime. Res64: 0C214BEDAB463588 Time : 0.0 sec. user=mdettweiler [2018-03-16 23:58:03] 685*2^1504417-1 is not prime. Res64: 5E588A2ED156594F Time : 0.0 sec. user=mdettweiler [2018-03-16 23:58:03] 729*2^1504417-1 is not prime. Res64: 011F82394944E727 Time : 0.0 sec.