user=mdettweiler [2018-08-04 00:04:16] 829*2^1520317-1 is not prime. Res64: 9EBF5AD9850C6483 Time : 0.0 sec. user=mdettweiler [2018-08-04 00:04:17] 871*2^1520317-1 is not prime. Res64: 3EAC859147D99EE3 Time : 0.0 sec. user=mdettweiler [2018-08-04 00:04:17] 901*2^1520317-1 is not prime. Res64: 13A0058020DAC651 Time : 0.0 sec. user=mdettweiler [2018-08-04 00:04:18] 937*2^1520317-1 is not prime. Res64: 070E483526D48935 Time : 0.0 sec. user=mdettweiler [2018-08-04 00:04:18] 945*2^1520317-1 is not prime. Res64: 876288484909161E Time : 0.0 sec. user=mdettweiler [2018-08-04 00:08:54] 665*2^1520318-1 is not prime. Res64: A3BC48C1852C1D84 Time : 0.0 sec. user=mdettweiler [2018-08-04 00:08:55] 687*2^1520318-1 is not prime. Res64: 81377E04B7C68534 Time : 0.0 sec. user=mdettweiler [2018-08-04 00:08:56] 815*2^1520318-1 is not prime. Res64: DD6FDCE396FA0350 Time : 0.0 sec. user=mdettweiler [2018-08-04 00:08:57] 661*2^1520319-1 is not prime. Res64: DEAD20BDA02C6E08 Time : 0.0 sec. user=mdettweiler [2018-08-04 00:08:57] 745*2^1520319-1 is not prime. Res64: 6ABDFC60D4BEEC6A Time : 0.0 sec. user=mdettweiler [2018-08-04 00:09:21] 751*2^1520319-1 is not prime. Res64: 0FAC7C2D6856E932 Time : 0.0 sec. user=mdettweiler [2018-08-04 00:09:21] 775*2^1520319-1 is not prime. Res64: 0F01172EE64140B6 Time : 0.0 sec. user=mdettweiler [2018-08-04 00:09:22] 825*2^1520319-1 is not prime. Res64: 3B5C5C5CD0481FAB Time : 0.0 sec. user=mdettweiler [2018-08-04 00:09:23] 861*2^1520319-1 is not prime. Res64: 4C4FBA9667D01A86 Time : 0.0 sec. user=mdettweiler [2018-08-04 00:09:24] 895*2^1520319-1 is not prime. Res64: B76591AFAE6BEDE1 Time : 0.0 sec. user=mdettweiler [2018-08-04 00:25:47] 931*2^1520319-1 is not prime. Res64: 54304758AD44F290 Time : 0.0 sec. user=mdettweiler [2018-08-04 00:25:47] 605*2^1520320-1 is not prime. Res64: 1E2C31BB4AF6EF0D Time : 0.0 sec. user=mdettweiler [2018-08-04 00:25:48] 777*2^1520320-1 is not prime. Res64: 88903815213B3D07 Time : 0.0 sec. user=mdettweiler [2018-08-04 00:25:48] 813*2^1520320-1 is not prime. Res64: F2B888567A8F2AC9 Time : 0.0 sec. user=mdettweiler [2018-08-04 00:25:49] 843*2^1520320-1 is not prime. Res64: CF03FD64D90F14DF Time : 0.0 sec. user=mdettweiler [2018-08-04 00:56:31] 857*2^1520320-1 is not prime. Res64: 104F0795EC7B99AF Time : 0.0 sec. user=mdettweiler [2018-08-04 00:56:31] 601*2^1520321-1 is not prime. Res64: 7C69193269D81D47 Time : 0.0 sec. user=mdettweiler [2018-08-04 00:56:31] 657*2^1520321-1 is not prime. Res64: 92F3D55616F3D114 Time : 0.0 sec. user=mdettweiler [2018-08-04 00:56:32] 711*2^1520321-1 is not prime. Res64: ED75F974A1A0CE9D Time : 0.0 sec. user=mdettweiler [2018-08-04 00:56:32] 789*2^1520321-1 is not prime. Res64: CB97EEC917C6A702 Time : 0.0 sec. user=mdettweiler [2018-08-04 01:01:26] 837*2^1520321-1 is not prime. Res64: 42809F55F9C81E85 Time : 0.0 sec. user=mdettweiler [2018-08-04 01:01:27] 769*2^1520323-1 is not prime. Res64: 5F07487F5ED8E572 Time : 0.0 sec. user=mdettweiler [2018-08-04 01:01:27] 937*2^1520321-1 is not prime. Res64: AB4A436EC1861656 Time : 0.0 sec. user=mdettweiler [2018-08-04 01:01:27] 835*2^1520323-1 is not prime. Res64: 31CB72FBB9BC3459 Time : 0.0 sec. user=mdettweiler [2018-08-04 01:01:28] 765*2^1520322-1 is not prime. Res64: 3679AAD5138E6239 Time : 0.0 sec. user=mdettweiler [2018-08-04 01:01:29] 849*2^1520323-1 is not prime. Res64: D1B51BC5B31F8A8C Time : 0.0 sec. user=mdettweiler [2018-08-04 01:01:30] 803*2^1520322-1 is not prime. Res64: F720ABB3E6E6DAC0 Time : 0.0 sec. user=mdettweiler [2018-08-04 01:01:30] 951*2^1520323-1 is not prime. Res64: 4255D888A096C03F Time : 0.0 sec. user=mdettweiler [2018-08-04 01:01:31] 941*2^1520322-1 is not prime. Res64: CE7121504D59113B Time : 0.0 sec. user=mdettweiler [2018-08-04 01:01:31] 973*2^1520323-1 is not prime. Res64: 694028CCB5690D34 Time : 0.0 sec. user=mdettweiler [2018-08-04 01:17:40] 717*2^1520324-1 is not prime. Res64: 1DF40EE33B4E13A5 Time : 0.0 sec. user=mdettweiler [2018-08-04 01:17:40] 725*2^1520324-1 is not prime. Res64: 7C7359D490EFA609 Time : 0.0 sec. user=mdettweiler [2018-08-04 01:17:40] 935*2^1520324-1 is not prime. Res64: 55571DDD85414BB3 Time : 0.0 sec. user=mdettweiler [2018-08-04 01:17:41] 959*2^1520324-1 is not prime. Res64: 3E15A3074DD21EEE Time : 0.0 sec. user=mdettweiler [2018-08-04 01:17:41] 983*2^1520324-1 is not prime. Res64: D2A04FF57BA23037 Time : 0.0 sec. user=mdettweiler [2018-08-04 01:48:38] 655*2^1520325-1 is not prime. Res64: E5E5279726B1B533 Time : 0.0 sec. user=mdettweiler [2018-08-04 01:48:39] 741*2^1520325-1 is not prime. Res64: C55703A713A18068 Time : 0.0 sec. user=mdettweiler [2018-08-04 01:48:40] 787*2^1520325-1 is not prime. Res64: 857B7183C9221C84 Time : 0.0 sec. user=mdettweiler [2018-08-04 01:48:40] 789*2^1520325-1 is not prime. Res64: BB3B52B3CE591C59 Time : 0.0 sec. user=mdettweiler [2018-08-04 01:48:41] 805*2^1520325-1 is not prime. Res64: 807FF47D19C64410 Time : 0.0 sec. user=mdettweiler [2018-08-04 01:53:13] 657*2^1520326-1 is not prime. Res64: 322FB32FE2C19D33 Time : 0.0 sec. user=mdettweiler [2018-08-04 01:53:14] 677*2^1520326-1 is not prime. Res64: C79BF0D907BCCA8D Time : 0.0 sec. user=mdettweiler [2018-08-04 01:53:15] 755*2^1520326-1 is not prime. Res64: 5403A31A538240B2 Time : 0.0 sec. user=mdettweiler [2018-08-04 01:53:16] 857*2^1520326-1 is not prime. Res64: C84C50D4545FBCCE Time : 0.0 sec. user=mdettweiler [2018-08-04 01:53:18] 615*2^1520327-1 is not prime. Res64: 67665491209352AF Time : 0.0 sec. user=mdettweiler [2018-08-04 01:53:21] 847*2^1520325-1 is not prime. Res64: BF2ED48B34D1625A Time : 0.0 sec. user=mdettweiler [2018-08-04 01:53:22] 895*2^1520325-1 is not prime. Res64: 7BA3A451CA643EA2 Time : 0.0 sec. user=mdettweiler [2018-08-04 01:53:23] 919*2^1520325-1 is not prime. Res64: ABB6770DA1C30175 Time : 0.0 sec. user=mdettweiler [2018-08-04 01:53:25] 951*2^1520325-1 is not prime. Res64: 39ED73805E460BB0 Time : 0.0 sec. user=mdettweiler [2018-08-04 01:53:27] 975*2^1520325-1 is not prime. Res64: 7560A36D867FDF3B Time : 0.0 sec. user=mdettweiler [2018-08-04 02:09:11] 669*2^1520327-1 is not prime. Res64: 35AE08AA8AACFB53 Time : 0.0 sec. user=mdettweiler [2018-08-04 02:09:12] 843*2^1520327-1 is not prime. Res64: 6452C8AFB5F9473D Time : 0.0 sec. user=mdettweiler [2018-08-04 02:09:13] 885*2^1520327-1 is not prime. Res64: 01B9BBC9808CE814 Time : 0.0 sec. user=mdettweiler [2018-08-04 02:09:13] 901*2^1520327-1 is not prime. Res64: 59E3A69578A85160 Time : 0.0 sec. user=mdettweiler [2018-08-04 02:09:13] 747*2^1520328-1 is not prime. Res64: 79CC75818AF48748 Time : 0.0 sec. user=mdettweiler [2018-08-04 02:40:25] 795*2^1520328-1 is not prime. Res64: 6066016AFB22B47C Time : 0.0 sec. user=mdettweiler [2018-08-04 02:40:26] 809*2^1520328-1 is not prime. Res64: A2BBADEF1D021294 Time : 0.0 sec. user=mdettweiler [2018-08-04 02:40:26] 825*2^1520328-1 is not prime. Res64: 9E222CCBB6FBFC9C Time : 0.0 sec. user=mdettweiler [2018-08-04 02:40:26] 845*2^1520328-1 is not prime. Res64: DB197BA5CF3053A1 Time : 0.0 sec. user=mdettweiler [2018-08-04 02:40:27] 879*2^1520328-1 is not prime. Res64: 5F36A459E82EBF49 Time : 0.0 sec. user=mdettweiler [2018-08-04 02:45:40] 915*2^1520328-1 is not prime. Res64: C77375C3BC881993 Time : 0.0 sec. user=mdettweiler [2018-08-04 02:45:41] 807*2^1520329-1 is not prime. Res64: 86FAA61256BDF43D Time : 0.0 sec. user=mdettweiler [2018-08-04 02:45:42] 855*2^1520329-1 is not prime. Res64: BF5F5CE307935E93 Time : 0.0 sec. user=mdettweiler [2018-08-04 02:45:44] 867*2^1520329-1 is not prime. Res64: D399AE2A6577FFD9 Time : 0.0 sec. user=mdettweiler [2018-08-04 02:45:45] 939*2^1520329-1 is not prime. Res64: 0C44D1AC4C681EAE Time : 0.0 sec. user=mdettweiler [2018-08-04 02:45:55] 985*2^1520329-1 is not prime. Res64: DB170349DECBB15B Time : 0.0 sec. user=mdettweiler [2018-08-04 02:45:57] 675*2^1520330-1 is not prime. Res64: 78BB2EBCC8BED479 Time : 0.0 sec. user=mdettweiler [2018-08-04 02:45:59] 797*2^1520330-1 is not prime. Res64: AF8CE49C42339A67 Time : 0.0 sec. user=mdettweiler [2018-08-04 02:46:00] 845*2^1520330-1 is not prime. Res64: 38F7888EB5833DC1 Time : 0.0 sec. user=mdettweiler [2018-08-04 02:46:02] 857*2^1520330-1 is not prime. Res64: C7744708097107E9 Time : 0.0 sec. user=mdettweiler [2018-08-04 03:03:45] 885*2^1520330-1 is not prime. Res64: 588F3CEBF6F42DFD Time : 0.0 sec. user=mdettweiler [2018-08-04 03:03:46] 957*2^1520330-1 is not prime. Res64: 24993760D5557BFC Time : 0.0 sec. user=mdettweiler [2018-08-04 03:03:46] 977*2^1520330-1 is not prime. Res64: BAB91965DFE130CB Time : 0.0 sec. user=mdettweiler [2018-08-04 03:03:47] 639*2^1520331-1 is not prime. Res64: C8AC2080C3D0478B Time : 0.0 sec. user=mdettweiler [2018-08-04 03:03:47] 745*2^1520331-1 is not prime. Res64: C5CD52339E963297 Time : 0.0 sec. user=mdettweiler [2018-08-04 03:33:38] 751*2^1520331-1 is not prime. Res64: 799C098B82580DD5 Time : 0.0 sec. user=mdettweiler [2018-08-04 03:33:39] 861*2^1520331-1 is not prime. Res64: 5E247FFE0041747D Time : 0.0 sec. user=mdettweiler [2018-08-04 03:33:40] 871*2^1520331-1 is not prime. Res64: 705E8C2350AAB0A0 Time : 0.0 sec. user=mdettweiler [2018-08-04 03:33:41] 895*2^1520331-1 is not prime. Res64: 76AF15B555265DD0 Time : 0.0 sec. user=mdettweiler [2018-08-04 03:33:42] 603*2^1520332-1 is not prime. Res64: 13E2B8996F42F667 Time : 0.0 sec. user=mdettweiler [2018-08-04 03:38:13] 939*2^1520332-1 is not prime. Res64: 3FC6676565624BA9 Time : 0.0 sec. user=mdettweiler [2018-08-04 03:38:14] 621*2^1520333-1 is not prime. Res64: 7A868FE644AFABFF Time : 0.0 sec. user=mdettweiler [2018-08-04 03:38:14] 631*2^1520333-1 is not prime. Res64: 646C01DC8E4B48C0 Time : 0.0 sec. user=mdettweiler [2018-08-04 03:38:15] 795*2^1520333-1 is not prime. Res64: 21245EF90415D782 Time : 0.0 sec. user=mdettweiler [2018-08-04 03:38:16] 811*2^1520333-1 is not prime. Res64: 57265C96B7E1B9F8 Time : 0.0 sec. user=mdettweiler [2018-08-04 03:38:31] 797*2^1520332-1 is not prime. Res64: 71AF21690709D150 Time : 0.0 sec. user=mdettweiler [2018-08-04 03:38:31] 813*2^1520332-1 is not prime. Res64: 0EC7DBCC09D20944 Time : 0.0 sec. user=mdettweiler [2018-08-04 03:38:32] 825*2^1520332-1 is not prime. Res64: 6FCDF2E5F2F18B4F Time : 0.0 sec. user=mdettweiler [2018-08-04 03:38:32] 887*2^1520332-1 is not prime. Res64: 20734DEE510E2EF9 Time : 0.0 sec. user=mdettweiler [2018-08-04 03:38:33] 903*2^1520332-1 is not prime. Res64: B4E74394798F87A5 Time : 0.0 sec. user=mdettweiler [2018-08-04 03:56:12] 847*2^1520333-1 is not prime. Res64: 34876C1DE6FBE4F4 Time : 0.0 sec. user=mdettweiler [2018-08-04 03:56:13] 855*2^1520333-1 is not prime. Res64: 3751FFDD9C42CF32 Time : 0.0 sec. user=mdettweiler [2018-08-04 03:56:15] 945*2^1520333-1 is not prime. Res64: 0E34E9FD6A171949 Time : 0.0 sec. user=mdettweiler [2018-08-04 03:56:16] 991*2^1520333-1 is not prime. Res64: CAE640BA2FC98701 Time : 0.0 sec. user=mdettweiler [2018-08-04 03:56:18] 651*2^1520334-1 is not prime. Res64: 95E9D096B7FC907E Time : 0.0 sec. user=mdettweiler [2018-08-04 04:26:00] 681*2^1520334-1 is not prime. Res64: 55F7F13870BF7A99 Time : 0.0 sec. user=mdettweiler [2018-08-04 04:26:00] 917*2^1520334-1 is not prime. Res64: 5EC9B2F89F5D6D72 Time : 0.0 sec. user=mdettweiler [2018-08-04 04:26:01] 927*2^1520334-1 is not prime. Res64: B2096B5C15570FE1 Time : 0.0 sec. user=mdettweiler [2018-08-04 04:26:04] 993*2^1520334-1 is not prime. Res64: 9DA3B9D5A789FBF4 Time : 0.0 sec. user=mdettweiler [2018-08-04 04:26:05] 765*2^1520335-1 is not prime. Res64: FF7362970EA4630A Time : 0.0 sec. user=mdettweiler [2018-08-04 04:30:52] 793*2^1520335-1 is not prime. Res64: F068E651402D9BBC Time : 0.0 sec. user=mdettweiler [2018-08-04 04:30:52] 849*2^1520335-1 is not prime. Res64: A157B383CC9E0DF3 Time : 0.0 sec. user=mdettweiler [2018-08-04 04:30:53] 855*2^1520335-1 is not prime. Res64: DA9CE762129D6C0C Time : 0.0 sec. user=mdettweiler [2018-08-04 04:30:53] 933*2^1520335-1 is not prime. Res64: EB97CC5BF46C068B Time : 0.0 sec. user=mdettweiler [2018-08-04 04:30:54] 973*2^1520335-1 is not prime. Res64: 23854FDE38DD85F8 Time : 0.0 sec. user=mdettweiler [2018-08-04 04:31:43] 683*2^1520336-1 is not prime. Res64: 9CA3E8FCDBCD53C9 Time : 0.0 sec. user=mdettweiler [2018-08-04 04:31:44] 719*2^1520336-1 is not prime. Res64: E7847EE80C6A0A70 Time : 0.0 sec. user=mdettweiler [2018-08-04 04:31:44] 755*2^1520336-1 is not prime. Res64: C1859053CF362306 Time : 0.0 sec. user=mdettweiler [2018-08-04 04:31:45] 873*2^1520336-1 is not prime. Res64: 4B7EE1927B096204 Time : 0.0 sec. user=mdettweiler [2018-08-04 04:31:45] 875*2^1520336-1 is not prime. Res64: 7D038A6DEFE38B87 Time : 0.0 sec. user=mdettweiler [2018-08-04 04:49:37] 969*2^1520336-1 is not prime. Res64: D0514FE7BA985AF7 Time : 0.0 sec. user=mdettweiler [2018-08-04 04:49:38] 817*2^1520337-1 is not prime. Res64: 10959FB3D9AA106D Time : 0.0 sec. user=mdettweiler [2018-08-04 04:49:38] 889*2^1520337-1 is not prime. Res64: 26FEF1836C24637F Time : 0.0 sec. user=mdettweiler [2018-08-04 04:49:39] 891*2^1520337-1 is not prime. Res64: 56069B50C9679EC7 Time : 0.0 sec. user=mdettweiler [2018-08-04 04:49:40] 895*2^1520337-1 is not prime. Res64: D00657622EA36F25 Time : 0.0 sec. user=mdettweiler [2018-08-04 05:18:17] 681*2^1520338-1 is not prime. Res64: 67A8A386B09F47E3 Time : 0.0 sec. user=mdettweiler [2018-08-04 05:18:18] 737*2^1520338-1 is not prime. Res64: 1B8283C51F6DF7AE Time : 0.0 sec. user=mdettweiler [2018-08-04 05:18:18] 825*2^1520338-1 is not prime. Res64: D1084FB038BF345A Time : 0.0 sec. user=mdettweiler [2018-08-04 05:18:19] 891*2^1520338-1 is not prime. Res64: 3C082B6C845E885D Time : 0.0 sec. user=mdettweiler [2018-08-04 05:18:19] 971*2^1520338-1 is not prime. Res64: 1E4E8BF4CF379589 Time : 0.0 sec. user=mdettweiler [2018-08-04 05:22:37] 987*2^1520338-1 is not prime. Res64: 7B4417B33068D321 Time : 0.0 sec. user=mdettweiler [2018-08-04 05:22:38] 663*2^1520339-1 is not prime. Res64: E18A86A6BA3DCCE5 Time : 0.0 sec. user=mdettweiler [2018-08-04 05:22:38] 909*2^1520339-1 is not prime. Res64: BF042AAAF531793C Time : 0.0 sec. user=mdettweiler [2018-08-04 05:22:38] 633*2^1520340-1 is not prime. Res64: 5795209B84677006 Time : 0.0 sec. user=mdettweiler [2018-08-04 05:22:39] 707*2^1520340-1 is not prime. Res64: C817940A66F767D4 Time : 0.0 sec. user=mdettweiler [2018-08-04 05:23:22] 719*2^1520340-1 is not prime. Res64: 204C4B636ADF94DB Time : 0.0 sec. user=mdettweiler [2018-08-04 05:23:28] 783*2^1520340-1 is not prime. Res64: AF7C0AB357F8759C Time : 0.0 sec. user=mdettweiler [2018-08-04 05:23:29] 819*2^1520340-1 is not prime. Res64: A893067F06D285CB Time : 0.0 sec. user=mdettweiler [2018-08-04 05:23:30] 825*2^1520340-1 is not prime. Res64: A0ED49C226ACEC72 Time : 0.0 sec. user=mdettweiler [2018-08-04 05:23:31] 839*2^1520340-1 is not prime. Res64: 821017CE8CE0C089 Time : 0.0 sec. user=mdettweiler [2018-08-04 05:41:19] 927*2^1520340-1 is not prime. Res64: 37A1D2F6BC65BF22 Time : 0.0 sec. user=mdettweiler [2018-08-04 05:41:20] 691*2^1520341-1 is not prime. Res64: CFD6F8420752FD4B Time : 0.0 sec. user=mdettweiler [2018-08-04 05:41:20] 715*2^1520341-1 is not prime. Res64: 0AD537AB14424875 Time : 0.0 sec. user=mdettweiler [2018-08-04 05:41:21] 745*2^1520341-1 is not prime. Res64: C42DD7CCC255024C Time : 0.0 sec. user=mdettweiler [2018-08-04 05:41:21] 871*2^1520341-1 is not prime. Res64: 74C621C1E87889B2 Time : 0.0 sec. user=mdettweiler [2018-08-04 06:10:40] 951*2^1520341-1 is not prime. Res64: 941773FA2B2E9258 Time : 0.0 sec. user=mdettweiler [2018-08-04 06:10:40] 743*2^1520342-1 is not prime. Res64: FB6453150103E4F0 Time : 0.0 sec. user=mdettweiler [2018-08-04 06:10:41] 755*2^1520342-1 is not prime. Res64: 81AE30DBBDFEE186 Time : 0.0 sec. user=mdettweiler [2018-08-04 06:10:41] 887*2^1520342-1 is not prime. Res64: B1D92DE8C260EB86 Time : 0.0 sec. user=mdettweiler [2018-08-04 06:10:42] 897*2^1520342-1 is not prime. Res64: 3609DA47E4AEF28E Time : 0.0 sec. user=mdettweiler [2018-08-04 06:14:39] 953*2^1520342-1 is not prime. Res64: 0DA70553FFBA16EC Time : 0.0 sec. user=mdettweiler [2018-08-04 06:14:39] 615*2^1520343-1 is not prime. Res64: 69088FD92AE1F366 Time : 0.0 sec. user=mdettweiler [2018-08-04 06:14:39] 805*2^1520343-1 is not prime. Res64: 97F22C0A5D7E4C00 Time : 0.0 sec. user=mdettweiler [2018-08-04 06:14:40] 933*2^1520343-1 is not prime. Res64: 1302DFCB66CECEF4 Time : 0.0 sec. user=mdettweiler [2018-08-04 06:14:40] 873*2^1520344-1 is not prime. Res64: 6EB2C8144D23E6C7 Time : 0.0 sec. user=mdettweiler [2018-08-04 06:15:14] 903*2^1520344-1 is not prime. Res64: D38096EF2BA77262 Time : 0.0 sec. user=mdettweiler [2018-08-04 06:15:14] 939*2^1520344-1 is not prime. Res64: D4EAF818657C28C0 Time : 0.0 sec. user=mdettweiler [2018-08-04 06:15:15] 669*2^1520345-1 is not prime. Res64: 57B15D65C5DAA310 Time : 0.0 sec. user=mdettweiler [2018-08-04 06:15:15] 729*2^1520345-1 is not prime. Res64: 925303CB53209078 Time : 0.0 sec. user=mdettweiler [2018-08-04 06:15:15] 865*2^1520345-1 is not prime. Res64: E57B804DCCF84E7A Time : 0.0 sec. user=mdettweiler [2018-08-04 06:34:38] 871*2^1520345-1 is not prime. Res64: 3B89079540FCBA41 Time : 0.0 sec. user=mdettweiler [2018-08-04 06:34:39] 851*2^1520346-1 is not prime. Res64: D082E45932966C7E Time : 0.0 sec. user=mdettweiler [2018-08-04 06:34:39] 917*2^1520346-1 is not prime. Res64: 681A9820EF1266EF Time : 0.0 sec. user=mdettweiler [2018-08-04 06:34:39] 741*2^1520347-1 is not prime. Res64: 743D096C3341191A Time : 0.0 sec. user=mdettweiler [2018-08-04 06:34:40] 843*2^1520347-1 is not prime. Res64: F39985387E7E34A1 Time : 0.0 sec. user=mdettweiler [2018-08-04 07:02:25] 919*2^1520347-1 is not prime. Res64: 4D986D7D6ACD65F7 Time : 0.0 sec. user=mdettweiler [2018-08-04 07:02:26] 993*2^1520347-1 is not prime. Res64: 7D173C091E0548CA Time : 0.0 sec. user=mdettweiler [2018-08-04 07:02:26] 647*2^1520348-1 is not prime. Res64: B1F206EB4EC858B2 Time : 0.0 sec. user=mdettweiler [2018-08-04 07:02:27] 665*2^1520348-1 is not prime. Res64: FB732058E6CEED11 Time : 0.0 sec. user=mdettweiler [2018-08-04 07:02:28] 683*2^1520348-1 is not prime. Res64: BACAA8FC6825615E Time : 0.0 sec. user=mdettweiler [2018-08-04 07:05:53] 699*2^1520348-1 is not prime. Res64: 6D5801859B21484A Time : 0.0 sec. user=mdettweiler [2018-08-04 07:05:54] 825*2^1520348-1 is not prime. Res64: 9D54DB75CF2DCB9D Time : 0.0 sec. user=mdettweiler [2018-08-04 07:05:56] 845*2^1520348-1 is not prime. Res64: DA55EF7DFF776BB5 Time : 0.0 sec. user=mdettweiler [2018-08-04 07:05:57] 885*2^1520348-1 is not prime. Res64: 9CA784B291466C4B Time : 0.0 sec. user=mdettweiler [2018-08-04 07:05:59] 945*2^1520348-1 is not prime. Res64: 892B9CA40F0ABC07 Time : 0.0 sec. user=mdettweiler [2018-08-04 07:06:24] 959*2^1520348-1 is not prime. Res64: CC3CA80AA681D94F Time : 0.0 sec. user=mdettweiler [2018-08-04 07:06:25] 963*2^1520348-1 is not prime. Res64: 74D8339EF79DFF4E Time : 0.0 sec. user=mdettweiler [2018-08-04 07:06:26] 995*2^1520348-1 is not prime. Res64: 5ED356894232819E Time : 0.0 sec. user=mdettweiler [2018-08-04 07:06:27] 661*2^1520349-1 is not prime. Res64: 1DC23DF29659F4B8 Time : 0.0 sec. user=mdettweiler [2018-08-04 07:06:28] 679*2^1520349-1 is not prime. Res64: 8B5339C41C9FCF70 Time : 0.0 sec. user=mdettweiler [2018-08-04 07:26:01] 847*2^1520349-1 is not prime. Res64: D7045F1425ABE57F Time : 0.0 sec. user=mdettweiler [2018-08-04 07:26:01] 865*2^1520349-1 is not prime. Res64: 0A09B8568DB1923C Time : 0.0 sec. user=mdettweiler [2018-08-04 07:26:01] 955*2^1520349-1 is not prime. Res64: 7AA1ECD3F212B897 Time : 0.0 sec. user=mdettweiler [2018-08-04 07:26:02] 987*2^1520349-1 is not prime. Res64: 2617584CABA28F29 Time : 0.0 sec. user=mdettweiler [2018-08-04 07:26:02] 991*2^1520349-1 is not prime. Res64: 6A50EE8FD75C5B6B Time : 0.0 sec. user=mdettweiler [2018-08-04 07:55:06] 623*2^1520350-1 is not prime. Res64: 6CA8461A95D130DE Time : 0.0 sec. user=mdettweiler [2018-08-04 07:55:06] 825*2^1520350-1 is not prime. Res64: 6A59BB4658B1D31F Time : 0.0 sec. user=mdettweiler [2018-08-04 07:55:07] 863*2^1520350-1 is not prime. Res64: 834F6720F11D083E Time : 0.0 sec. user=mdettweiler [2018-08-04 07:55:07] 957*2^1520350-1 is not prime. Res64: B22E568F84559B5C Time : 0.0 sec. user=mdettweiler [2018-08-04 07:55:08] 645*2^1520351-1 is not prime. Res64: C668B31867C6655C Time : 0.0 sec. user=mdettweiler [2018-08-04 07:57:54] 679*2^1520351-1 is not prime. Res64: AFDF4FC9017567E3 Time : 0.0 sec. user=mdettweiler [2018-08-04 07:57:55] 741*2^1520351-1 is not prime. Res64: 96224289B2198D53 Time : 0.0 sec. user=mdettweiler [2018-08-04 07:57:55] 745*2^1520351-1 is not prime. Res64: 4D68E4895292DF9E Time : 0.0 sec. user=mdettweiler [2018-08-04 07:57:55] 759*2^1520351-1 is not prime. Res64: E8001BBDB4490300 Time : 0.0 sec. user=mdettweiler [2018-08-04 07:57:56] 783*2^1520351-1 is not prime. Res64: F53A3A1CA1B9B1AF Time : 0.0 sec. user=mdettweiler [2018-08-04 07:58:02] 843*2^1520351-1 is not prime. Res64: 0290CBBBDA3A8BAE Time : 0.0 sec. user=mdettweiler [2018-08-04 07:58:02] 913*2^1520351-1 is not prime. Res64: E0304C0391BB898A Time : 0.0 sec. user=mdettweiler [2018-08-04 07:58:02] 973*2^1520351-1 is not prime. Res64: 17397E71E7DED9F7 Time : 0.0 sec. user=mdettweiler [2018-08-04 07:58:03] 633*2^1520352-1 is not prime. Res64: 5BDC8D287FDEDFFB Time : 0.0 sec. user=mdettweiler [2018-08-04 07:58:03] 635*2^1520352-1 is not prime. Res64: C13D58F2760C0A10 Time : 0.0 sec. user=mdettweiler [2018-08-04 08:18:26] 693*2^1520352-1 is not prime. Res64: 3C5C486B60764A07 Time : 0.0 sec. user=mdettweiler [2018-08-04 08:18:26] 759*2^1520352-1 is not prime. Res64: 2895B9F643F6C99D Time : 0.0 sec. user=mdettweiler [2018-08-04 08:18:27] 765*2^1520352-1 is not prime. Res64: 261B5C51A3EF640E Time : 0.0 sec. user=mdettweiler [2018-08-04 08:18:27] 903*2^1520352-1 is not prime. Res64: B11B723FD3B61882 Time : 0.0 sec. user=mdettweiler [2018-08-04 08:18:27] 915*2^1520352-1 is not prime. Res64: 0244E4A67FC0D7DA Time : 0.0 sec. user=mdettweiler [2018-08-04 08:46:30] 619*2^1520353-1 is not prime. Res64: 0503919F78AD4505 Time : 0.0 sec. user=mdettweiler [2018-08-04 08:46:30] 649*2^1520353-1 is not prime. Res64: 776B21D45F0C74F3 Time : 0.0 sec. user=mdettweiler [2018-08-04 08:46:31] 729*2^1520353-1 is not prime. Res64: 287F4FD222A88A01 Time : 0.0 sec. user=mdettweiler [2018-08-04 08:46:31] 747*2^1520353-1 is not prime. Res64: 1971885154D1561D Time : 0.0 sec. user=mdettweiler [2018-08-04 08:46:32] 819*2^1520353-1 is not prime. Res64: 99A92FBF215DDE2C Time : 0.0 sec. user=mdettweiler [2018-08-04 08:49:32] 873*2^1520354-1 is not prime. Res64: 3F72C079602B0225 Time : 0.0 sec. user=mdettweiler [2018-08-04 08:49:33] 915*2^1520354-1 is not prime. Res64: 400A350438239BD5 Time : 0.0 sec. user=mdettweiler [2018-08-04 08:49:33] 987*2^1520354-1 is not prime. Res64: D8E4D178C64A6A6F Time : 0.0 sec. user=mdettweiler [2018-08-04 08:49:34] 663*2^1520355-1 is not prime. Res64: D2D10AECD1018560 Time : 0.0 sec. user=mdettweiler [2018-08-04 08:49:34] 723*2^1520355-1 is not prime. Res64: 20E480B40CD3CD72 Time : 0.0 sec. user=mdettweiler [2018-08-04 08:50:22] 861*2^1520353-1 is not prime. Res64: D05A1790A6B69CC6 Time : 0.0 sec. user=mdettweiler [2018-08-04 08:50:22] 937*2^1520353-1 is not prime. Res64: 191926A3077CEFD2 Time : 0.0 sec. user=mdettweiler [2018-08-04 08:50:22] 615*2^1520354-1 is not prime. Res64: F9E44988388E9642 Time : 0.0 sec. user=mdettweiler [2018-08-04 08:50:23] 683*2^1520354-1 is not prime. Res64: A4F9E96A0E0EBE6B Time : 0.0 sec. user=mdettweiler [2018-08-04 08:50:23] 741*2^1520354-1 is not prime. Res64: AE8B8FB803FCD1BE Time : 0.0 sec. user=mdettweiler [2018-08-04 09:09:39] 765*2^1520355-1 is not prime. Res64: C66F050624747E8D Time : 0.0 sec. user=mdettweiler [2018-08-04 09:09:41] 895*2^1520355-1 is not prime. Res64: FCE830E71DAE3D33 Time : 0.0 sec. user=mdettweiler [2018-08-04 09:09:44] 919*2^1520355-1 is not prime. Res64: 9B6C9520C810FD92 Time : 0.0 sec. user=mdettweiler [2018-08-04 09:09:46] 973*2^1520355-1 is not prime. Res64: F9FD30D484C21578 Time : 0.0 sec. user=mdettweiler [2018-08-04 09:09:47] 675*2^1520356-1 is not prime. Res64: 21D82D1063FD2F42 Time : 0.0 sec. user=mdettweiler [2018-08-04 09:38:32] 693*2^1520356-1 is not prime. Res64: C9F904F4DB1F43BA Time : 0.0 sec. user=mdettweiler [2018-08-04 09:38:33] 783*2^1520356-1 is not prime. Res64: 6E5AB4F614F05757 Time : 0.0 sec. user=mdettweiler [2018-08-04 09:38:33] 807*2^1520356-1 is not prime. Res64: 3F9A621BE7B7B6D2 Time : 0.0 sec. user=mdettweiler [2018-08-04 09:38:33] 873*2^1520356-1 is not prime. Res64: 11D0BCE80F43ADDF Time : 0.0 sec. user=mdettweiler [2018-08-04 09:38:34] 983*2^1520356-1 is not prime. Res64: 2E24D7F848309161 Time : 0.0 sec. user=mdettweiler [2018-08-04 09:41:37] 999*2^1520356-1 is not prime. Res64: 431760E251604277 Time : 0.0 sec. user=mdettweiler [2018-08-04 09:41:37] 619*2^1520357-1 is not prime. Res64: 39B2CABBE4874F86 Time : 0.0 sec. user=mdettweiler [2018-08-04 09:41:38] 741*2^1520357-1 is not prime. Res64: 60ADC52306FBBEAA Time : 0.0 sec. user=mdettweiler [2018-08-04 09:41:38] 747*2^1520357-1 is not prime. Res64: A16905D65491EB3B Time : 0.0 sec. user=mdettweiler [2018-08-04 09:41:38] 769*2^1520357-1 is not prime. Res64: BB2B4CF1C6CD3FF5 Time : 0.0 sec. user=mdettweiler [2018-08-04 09:42:12] 771*2^1520357-1 is not prime. Res64: E7E41A704196D0E3 Time : 0.0 sec. user=mdettweiler [2018-08-04 09:42:12] 949*2^1520357-1 is not prime. Res64: 312946F614A710EF Time : 0.0 sec. user=mdettweiler [2018-08-04 09:42:12] 671*2^1520358-1 is not prime. Res64: 2D88FBF6CD0D22FF Time : 0.0 sec. user=mdettweiler [2018-08-04 09:42:13] 711*2^1520358-1 is not prime. Res64: A7DE21E1B8DAD86A Time : 0.0 sec. user=mdettweiler [2018-08-04 09:42:13] 737*2^1520358-1 is not prime. Res64: 5905AF2871F9A533 Time : 0.0 sec. user=mdettweiler [2018-08-04 10:02:33] 843*2^1520358-1 is not prime. Res64: AB6BDA5147DE0FED Time : 0.0 sec. user=mdettweiler [2018-08-04 10:02:33] 977*2^1520358-1 is not prime. Res64: 999DA1D2A61A9E30 Time : 0.0 sec. user=mdettweiler [2018-08-04 10:02:34] 625*2^1520359-1 is not prime. Res64: A91B00D6E9CFEF6C Time : 0.0 sec. user=mdettweiler [2018-08-04 10:02:34] 735*2^1520359-1 is not prime. Res64: CDC6FEADCE3837C0 Time : 0.0 sec. user=mdettweiler [2018-08-04 10:02:35] 759*2^1520359-1 is not prime. Res64: 1BA186D611E6FE90 Time : 0.0 sec. user=mdettweiler [2018-08-04 10:30:09] 933*2^1520359-1 is not prime. Res64: 75CBAB7F99F40199 Time : 0.0 sec. user=mdettweiler [2018-08-04 10:30:10] 603*2^1520360-1 is not prime. Res64: C2DEB07AC56E9D6B Time : 0.0 sec. user=mdettweiler [2018-08-04 10:30:10] 755*2^1520360-1 is not prime. Res64: A4B8DBC7FE7EFBF5 Time : 0.0 sec. user=mdettweiler [2018-08-04 10:30:10] 857*2^1520360-1 is not prime. Res64: 63C10FEAAB5DF632 Time : 0.0 sec. user=mdettweiler [2018-08-04 10:30:11] 899*2^1520360-1 is not prime. Res64: E0699183F6970641 Time : 0.0 sec. user=mdettweiler [2018-08-04 10:33:03] 959*2^1520360-1 is not prime. Res64: 5EB1E19C84E42DBF Time : 0.0 sec. user=mdettweiler [2018-08-04 10:33:04] 657*2^1520361-1 is not prime. Res64: 20A64A55D1172F4F Time : 0.0 sec. user=mdettweiler [2018-08-04 10:33:04] 711*2^1520361-1 is not prime. Res64: 2B0A92C55F18CF99 Time : 0.0 sec. user=mdettweiler [2018-08-04 10:33:04] 751*2^1520361-1 is not prime. Res64: 2A3AEE18DF7BFA96 Time : 0.0 sec. user=mdettweiler [2018-08-04 10:33:05] 789*2^1520361-1 is not prime. Res64: C3BB2C02CB63C378 Time : 0.0 sec. user=mdettweiler [2018-08-04 10:33:27] 895*2^1520361-1 is not prime. Res64: A4CDC436F8255A4E Time : 0.0 sec. user=mdettweiler [2018-08-04 10:33:28] 945*2^1520361-1 is not prime. Res64: 70BF8E6726E99C18 Time : 0.0 sec. user=mdettweiler [2018-08-04 10:33:28] 717*2^1520362-1 is not prime. Res64: 636D7951811BF0D3 Time : 0.0 sec. user=mdettweiler [2018-08-04 10:33:28] 857*2^1520362-1 is not prime. Res64: 665BBBC2B5917B69 Time : 0.0 sec. user=mdettweiler [2018-08-04 10:33:29] 615*2^1520363-1 is not prime. Res64: F2D2AE47EC099F89 Time : 0.0 sec. user=mdettweiler [2018-08-04 10:54:24] 801*2^1520363-1 is not prime. Res64: F63403430FE992FC Time : 0.0 sec. user=mdettweiler [2018-08-04 10:54:24] 609*2^1520364-1 is not prime. Res64: F7D37EB4B91F9DFD Time : 0.0 sec. user=mdettweiler [2018-08-04 10:54:25] 629*2^1520364-1 is not prime. Res64: 08C1448525466F7F Time : 0.0 sec. user=mdettweiler [2018-08-04 10:54:25] 675*2^1520364-1 is not prime. Res64: 69E7CBF116A97869 Time : 0.0 sec. user=mdettweiler [2018-08-04 10:54:25] 707*2^1520364-1 is not prime. Res64: 86EC52DC8B0F05D9 Time : 0.0 sec. user=mdettweiler [2018-08-04 11:21:27] 625*2^1520365-1 is not prime. Res64: 69E74B62684FD779 Time : 0.0 sec. user=mdettweiler [2018-08-04 11:21:28] 717*2^1520365-1 is not prime. Res64: B1254CF93BD6E876 Time : 0.0 sec. user=mdettweiler [2018-08-04 11:21:28] 729*2^1520365-1 is not prime. Res64: 5533B0A2661741B5 Time : 0.0 sec. user=mdettweiler [2018-08-04 11:21:29] 751*2^1520365-1 is not prime. Res64: D1B75238DD9CE4B7 Time : 0.0 sec. user=mdettweiler [2018-08-04 11:21:29] 771*2^1520365-1 is not prime. Res64: A994D561C4304F04 Time : 0.0 sec. user=mdettweiler [2018-08-04 11:24:48] 777*2^1520365-1 is not prime. Res64: 81AE255CD2F4B9BE Time : 0.0 sec. user=mdettweiler [2018-08-04 11:24:48] 939*2^1520365-1 is not prime. Res64: 8E63991A16AFBE93 Time : 0.0 sec. user=mdettweiler [2018-08-04 11:24:49] 705*2^1520366-1 is not prime. Res64: 94B5F55027847A83 Time : 0.0 sec. user=mdettweiler [2018-08-04 11:24:49] 755*2^1520366-1 is not prime. Res64: 56BD4D2B9F371F7C Time : 0.0 sec. user=mdettweiler [2018-08-04 11:24:49] 861*2^1520366-1 is not prime. Res64: CBAB45783C6722A9 Time : 0.0 sec. user=mdettweiler [2018-08-04 11:25:08] 923*2^1520366-1 is not prime. Res64: F5B66C21D5E931F2 Time : 0.0 sec. user=mdettweiler [2018-08-04 11:25:08] 941*2^1520366-1 is not prime. Res64: 278E834D4A4A8205 Time : 0.0 sec. user=mdettweiler [2018-08-04 11:25:08] 633*2^1520367-1 is not prime. Res64: 7E9ECA755903FC57 Time : 0.0 sec. user=mdettweiler [2018-08-04 11:25:09] 649*2^1520367-1 is not prime. Res64: 29C6EC8236DAED05 Time : 0.0 sec. user=mdettweiler [2018-08-04 11:25:09] 775*2^1520367-1 is not prime. Res64: CA6E5925E2F62767 Time : 0.0 sec. user=mdettweiler [2018-08-04 11:45:53] 861*2^1520367-1 is not prime. Res64: F1C9C3D1F5D7BDF5 Time : 0.0 sec. user=mdettweiler [2018-08-04 11:45:54] 871*2^1520367-1 is not prime. Res64: 67E6C5E51332110F Time : 0.0 sec. user=mdettweiler [2018-08-04 11:45:54] 885*2^1520367-1 is not prime. Res64: 4E4A30CA0DCE3B30 Time : 0.0 sec. user=mdettweiler [2018-08-04 11:45:54] 895*2^1520367-1 is not prime. Res64: 3D248BD205B64DB6 Time : 0.0 sec. user=mdettweiler [2018-08-04 11:45:55] 955*2^1520367-1 is not prime. Res64: 62A174178174DE1E Time : 0.0 sec. user=mdettweiler [2018-08-04 12:12:33] 963*2^1520367-1 is not prime. Res64: 183BE57E3C446274 Time : 0.0 sec. user=mdettweiler [2018-08-04 12:12:34] 657*2^1520368-1 is not prime. Res64: AFC2FFE50244AD1A Time : 0.0 sec. user=mdettweiler [2018-08-04 12:12:34] 663*2^1520368-1 is not prime. Res64: 015011E8C1E54F0C Time : 0.0 sec. user=mdettweiler [2018-08-04 12:12:34] 665*2^1520368-1 is not prime. Res64: E8E1D871C89F1360 Time : 0.0 sec. user=mdettweiler [2018-08-04 12:12:35] 855*2^1520368-1 is not prime. Res64: 087A378300E89B81 Time : 0.0 sec. user=mdettweiler [2018-08-04 12:15:39] 927*2^1520368-1 is not prime. Res64: B0F3687F23CDB273 Time : 0.0 sec. user=mdettweiler [2018-08-04 12:15:40] 929*2^1520368-1 is not prime. Res64: 8D298836850BB320 Time : 0.0 sec. user=mdettweiler [2018-08-04 12:15:40] 999*2^1520368-1 is not prime. Res64: 5528A419BE25AEA1 Time : 0.0 sec. user=mdettweiler [2018-08-04 12:15:41] 601*2^1520369-1 is not prime. Res64: 90B445A988E33A7D Time : 0.0 sec. user=mdettweiler [2018-08-04 12:15:41] 637*2^1520369-1 is not prime. Res64: AA7254BBD38E8B78 Time : 0.0 sec. user=mdettweiler [2018-08-04 12:16:09] 699*2^1520369-1 is not prime. Res64: 1B59E810B3154DD2 Time : 0.0 sec. user=mdettweiler [2018-08-04 12:16:09] 735*2^1520369-1 is not prime. Res64: 7285B1C2B8B1FA46 Time : 0.0 sec. user=mdettweiler [2018-08-04 12:16:10] 747*2^1520369-1 is not prime. Res64: 1D0D88B668B94A0D Time : 0.0 sec. user=mdettweiler [2018-08-04 12:16:10] 787*2^1520369-1 is not prime. Res64: 82DCAF7F4D251F69 Time : 0.0 sec. user=mdettweiler [2018-08-04 12:16:10] 861*2^1520369-1 is not prime. Res64: 39F50F494300F953 Time : 0.0 sec. user=mdettweiler [2018-08-04 12:37:04] 867*2^1520369-1 is not prime. Res64: 474231360FEB4C9D Time : 0.0 sec. user=mdettweiler [2018-08-04 12:37:04] 909*2^1520369-1 is not prime. Res64: 9D82B96B6673839C Time : 0.0 sec. user=mdettweiler [2018-08-04 12:37:04] 931*2^1520369-1 is not prime. Res64: 0C4D3F892A1C7079 Time : 0.0 sec. user=mdettweiler [2018-08-04 12:37:05] 949*2^1520369-1 is not prime. Res64: 0827FB99A612E58C Time : 0.0 sec. user=mdettweiler [2018-08-04 12:37:05] 651*2^1520370-1 is not prime. Res64: 6FCD9DBC6334BC42 Time : 0.0 sec. user=mdettweiler [2018-08-04 13:03:50] 657*2^1520370-1 is not prime. Res64: 80F8C69264B901D4 Time : 0.0 sec. user=mdettweiler [2018-08-04 13:03:51] 711*2^1520370-1 is not prime. Res64: AD9846263B2F2AA6 Time : 0.0 sec. user=mdettweiler [2018-08-04 13:03:52] 713*2^1520370-1 is not prime. Res64: ECA759BB19E0F1FD Time : 0.0 sec. user=mdettweiler [2018-08-04 13:03:53] 725*2^1520370-1 is not prime. Res64: 17D49EF25EE465BB Time : 0.0 sec. user=mdettweiler [2018-08-04 13:03:54] 767*2^1520370-1 is not prime. Res64: 544181B2D26095BB Time : 0.0 sec. user=mdettweiler [2018-08-04 13:06:51] 797*2^1520370-1 is not prime. Res64: 42B56D235CE75A74 Time : 0.0 sec. user=mdettweiler [2018-08-04 13:06:52] 957*2^1520370-1 is not prime. Res64: 5DC7C26BC7183A7A Time : 0.0 sec. user=mdettweiler [2018-08-04 13:06:52] 639*2^1520371-1 is not prime. Res64: ACF4CEA9B950DBBE Time : 0.0 sec. user=mdettweiler [2018-08-04 13:06:52] 651*2^1520371-1 is not prime. Res64: 0BAF5AD92D0FBF04 Time : 0.0 sec. user=mdettweiler [2018-08-04 13:06:53] 685*2^1520371-1 is not prime. Res64: 10B399E723141B42 Time : 0.0 sec. user=mdettweiler [2018-08-04 13:07:25] 835*2^1520371-1 is not prime. Res64: 39AB32135D64FD20 Time : 0.0 sec. user=mdettweiler [2018-08-04 13:07:26] 871*2^1520371-1 is not prime. Res64: CF9E1864000DF998 Time : 0.0 sec. user=mdettweiler [2018-08-04 13:07:26] 925*2^1520371-1 is not prime. Res64: B69EDD900A6B8F74 Time : 0.0 sec. user=mdettweiler [2018-08-04 13:07:26] 961*2^1520371-1 is not prime. Res64: 351D6B258228EC84 Time : 0.0 sec. user=mdettweiler [2018-08-04 13:07:27] 615*2^1520372-1 is not prime. Res64: 57F08C27CC2E05BB Time : 0.0 sec. user=mdettweiler [2018-08-04 13:28:18] 677*2^1520372-1 is not prime. Res64: 7D383200699E5A07 Time : 0.0 sec. user=mdettweiler [2018-08-04 13:28:19] 827*2^1520372-1 is not prime. Res64: A25388E6C0E567A4 Time : 0.0 sec. user=mdettweiler [2018-08-04 13:28:19] 609*2^1520373-1 is not prime. Res64: DA2B3D7C6EC67778 Time : 0.0 sec. user=mdettweiler [2018-08-04 13:28:19] 651*2^1520373-1 is not prime. Res64: C10C81C712B0446F Time : 0.0 sec. user=mdettweiler [2018-08-04 13:28:20] 657*2^1520373-1 is not prime. Res64: 26B0F1064A52C596 Time : 0.0 sec. user=mdettweiler [2018-08-04 13:56:48] 741*2^1520373-1 is not prime. Res64: EEA5FEB130E06266 Time : 0.0 sec. user=mdettweiler [2018-08-04 13:56:49] 759*2^1520373-1 is not prime. Res64: 19DE23F6CF8DF603 Time : 0.0 sec. user=mdettweiler [2018-08-04 13:56:49] 999*2^1520373-1 is not prime. Res64: 70470D7294006917 Time : 0.0 sec. user=mdettweiler [2018-08-04 13:56:49] 617*2^1520374-1 is not prime. Res64: 23FB7ADD31740DA0 Time : 0.0 sec. user=mdettweiler [2018-08-04 13:56:50] 621*2^1520374-1 is not prime. Res64: 16A73D39024BB03C Time : 0.0 sec. user=mdettweiler [2018-08-04 13:58:39] 665*2^1520374-1 is not prime. Res64: 26F0744E7C80EF88 Time : 0.0 sec. user=mdettweiler [2018-08-04 13:58:40] 707*2^1520374-1 is not prime. Res64: DEF789AD0D0D66DA Time : 0.0 sec. user=mdettweiler [2018-08-04 13:58:40] 773*2^1520374-1 is not prime. Res64: 9A13CF47A85267CB Time : 0.0 sec. user=mdettweiler [2018-08-04 13:58:41] 827*2^1520374-1 is not prime. Res64: AF659A59CDAB4F97 Time : 0.0 sec. user=mdettweiler [2018-08-04 13:58:41] 941*2^1520374-1 is not prime. Res64: 84BEA87BA62EB88F Time : 0.0 sec. user=mdettweiler [2018-08-04 13:58:42] 655*2^1520375-1 is not prime. Res64: 52BBDA0BDD224C1A Time : 0.0 sec. user=mdettweiler [2018-08-04 13:58:42] 675*2^1520375-1 is not prime. Res64: D7782D53B02009E2 Time : 0.0 sec. user=mdettweiler [2018-08-04 13:58:42] 693*2^1520375-1 is not prime. Res64: 470D2687EC36426A Time : 0.0 sec. user=mdettweiler [2018-08-04 13:58:43] 843*2^1520375-1 is not prime. Res64: D813420EB4CFD366 Time : 0.0 sec. user=mdettweiler [2018-08-04 13:58:43] 895*2^1520375-1 is not prime. Res64: E8976A52C2F5624B Time : 0.0 sec. user=mdettweiler [2018-08-04 14:19:53] 913*2^1520375-1 is not prime. Res64: 32C7185CD3C8D64C Time : 0.0 sec. user=mdettweiler [2018-08-04 14:19:54] 943*2^1520375-1 is not prime. Res64: 9445AE4F882A6CA2 Time : 0.0 sec. user=mdettweiler [2018-08-04 14:19:54] 949*2^1520375-1 is not prime. Res64: 557637B897E7BE0D Time : 0.0 sec. user=mdettweiler [2018-08-04 14:19:55] 963*2^1520375-1 is not prime. Res64: F2EEED76D6C4456A Time : 0.0 sec. user=mdettweiler [2018-08-04 14:19:55] 985*2^1520375-1 is not prime. Res64: 8D3668C7386F66D3 Time : 0.0 sec. user=mdettweiler [2018-08-04 14:50:39] 729*2^1520377-1 is not prime. Res64: 71CE5FCB9226B814 Time : 0.0 sec. user=mdettweiler [2018-08-04 14:50:39] 919*2^1520377-1 is not prime. Res64: 377D98ED03EB19E8 Time : 0.0 sec. user=mdettweiler [2018-08-04 14:50:40] 707*2^1520378-1 is not prime. Res64: 1833DC8BEBFAFDDD Time : 0.0 sec. user=mdettweiler [2018-08-04 14:50:40] 711*2^1520378-1 is not prime. Res64: 0295914CA98C7F7A Time : 0.0 sec. user=mdettweiler [2018-08-04 14:50:40] 743*2^1520378-1 is not prime. Res64: 48C4A1F9BFDB10ED Time : 0.0 sec. user=mdettweiler [2018-08-04 14:50:46] 791*2^1520378-1 is not prime. Res64: 5526ECB6C8CF2F39 Time : 0.0 sec. user=mdettweiler [2018-08-04 14:50:46] 867*2^1520378-1 is not prime. Res64: FCFA820D2CD4F0D1 Time : 0.0 sec. user=mdettweiler [2018-08-04 14:50:46] 893*2^1520378-1 is not prime. Res64: F05E88C41626D585 Time : 0.0 sec. user=mdettweiler [2018-08-04 14:50:47] 609*2^1520379-1 is not prime. Res64: 4532F4438DB9E420 Time : 0.0 sec. user=mdettweiler [2018-08-04 14:50:47] 723*2^1520379-1 is not prime. Res64: 8AA208D448DA5DC5 Time : 0.0 sec. user=mdettweiler [2018-08-04 14:52:50] 623*2^1520376-1 is not prime. Res64: 963AE0B80FBD4327 Time : 0.0 sec. user=mdettweiler [2018-08-04 14:52:50] 899*2^1520376-1 is not prime. Res64: E5772EFEAA5778A1 Time : 0.0 sec. user=mdettweiler [2018-08-04 14:52:50] 903*2^1520376-1 is not prime. Res64: B03558AD0CDE2516 Time : 0.0 sec. user=mdettweiler [2018-08-04 14:52:51] 947*2^1520376-1 is not prime. Res64: 914BD09984AE4035 Time : 0.0 sec. user=mdettweiler [2018-08-04 14:52:51] 675*2^1520377-1 is not prime. Res64: E97502B962EA3CED Time : 0.0 sec. user=mdettweiler [2018-08-04 15:11:44] 975*2^1520379-1 is not prime. Res64: C7F3D814995777F4 Time : 0.0 sec. user=mdettweiler [2018-08-04 15:11:45] 773*2^1520380-1 is not prime. Res64: C85016C566FBDB05 Time : 0.0 sec. user=mdettweiler [2018-08-04 15:11:45] 827*2^1520380-1 is not prime. Res64: F856076E92DAAAA4 Time : 0.0 sec. user=mdettweiler [2018-08-04 15:11:46] 855*2^1520380-1 is not prime. Res64: B9A39E3711E4E5AE Time : 0.0 sec. user=mdettweiler [2018-08-04 15:11:46] 857*2^1520380-1 is not prime. Res64: F9126CE2EBABB095 Time : 0.0 sec. user=mdettweiler [2018-08-04 15:43:00] 965*2^1520380-1 is not prime. Res64: 86DA4A94520B7423 Time : 0.0 sec. user=mdettweiler [2018-08-04 15:43:00] 989*2^1520380-1 is not prime. Res64: 433AE03C451A196D Time : 0.0 sec. user=mdettweiler [2018-08-04 15:43:01] 745*2^1520381-1 is not prime. Res64: 833589EE4249EBC1 Time : 0.0 sec. user=mdettweiler [2018-08-04 15:43:01] 789*2^1520381-1 is not prime. Res64: B4D853463DE02E45 Time : 0.0 sec. user=mdettweiler [2018-08-04 15:43:01] 801*2^1520381-1 is not prime. Res64: 1F182E9982C04831 Time : 0.0 sec. user=mdettweiler [2018-08-04 15:43:07] 855*2^1520381-1 is not prime. Res64: E1C8316DA49F0B4A Time : 0.0 sec. user=mdettweiler [2018-08-04 15:43:07] 949*2^1520381-1 is not prime. Res64: 61C6DCA38246E84F Time : 0.0 sec. user=mdettweiler [2018-08-04 15:43:07] 981*2^1520381-1 is not prime. Res64: D3444E56D4A2F3F3 Time : 0.0 sec. user=mdettweiler [2018-08-04 15:43:08] 635*2^1520382-1 is not prime. Res64: B49C5DD31E575D78 Time : 0.0 sec. user=mdettweiler [2018-08-04 15:43:08] 717*2^1520382-1 is not prime. Res64: 34D2F0B9CCEB7C0E Time : 0.0 sec. user=mdettweiler [2018-08-04 15:45:05] 737*2^1520382-1 is not prime. Res64: 672CE8598835084B Time : 0.0 sec. user=mdettweiler [2018-08-04 15:45:06] 761*2^1520382-1 is not prime. Res64: 5ED127A01CA7E431 Time : 0.0 sec. user=mdettweiler [2018-08-04 15:45:06] 685*2^1520383-1 is not prime. Res64: 612C266A54F8FCB0 Time : 0.0 sec. user=mdettweiler [2018-08-04 15:45:07] 709*2^1520383-1 is not prime. Res64: E8D0C52D2A1E3FA4 Time : 0.0 sec. user=mdettweiler [2018-08-04 15:45:07] 769*2^1520383-1 is not prime. Res64: 1A6B5E24383EF102 Time : 0.0 sec. user=mdettweiler [2018-08-04 16:05:10] 999*2^1520383-1 is not prime. Res64: 6B298EEF461415B1 Time : 0.0 sec. user=mdettweiler [2018-08-04 16:05:11] 725*2^1520384-1 is not prime. Res64: 270CE02755A8F7D5 Time : 0.0 sec. user=mdettweiler [2018-08-04 16:05:12] 747*2^1520384-1 is not prime. Res64: 26ACB65F7053BF89 Time : 0.0 sec. user=mdettweiler [2018-08-04 16:05:13] 917*2^1520384-1 is not prime. Res64: A0A9F3C4444673C7 Time : 0.0 sec. user=mdettweiler [2018-08-04 16:05:13] 945*2^1520384-1 is not prime. Res64: 0B8E48E4EE36BDDF Time : 0.0 sec. user=mdettweiler [2018-08-04 16:37:46] 995*2^1520384-1 is not prime. Res64: CEBAE22F87CEE0BB Time : 0.0 sec. user=mdettweiler [2018-08-04 16:37:47] 601*2^1520385-1 is not prime. Res64: FE584BF6F9C64372 Time : 0.0 sec. user=mdettweiler [2018-08-04 16:37:47] 667*2^1520385-1 is not prime. Res64: B3F1F15BC4600504 Time : 0.0 sec. user=mdettweiler [2018-08-04 16:37:48] 685*2^1520385-1 is not prime. Res64: 6C5ADD7C72DEFB36 Time : 0.0 sec. user=mdettweiler [2018-08-04 16:37:48] 727*2^1520385-1 is not prime. Res64: CC627236F44D3D3A Time : 0.0 sec. user=mdettweiler [2018-08-04 16:37:52] 741*2^1520385-1 is not prime. Res64: 45FD1AC901A82FCA Time : 0.0 sec. user=mdettweiler [2018-08-04 16:37:53] 849*2^1520385-1 is not prime. Res64: 608165C5A3549B95 Time : 0.0 sec. user=mdettweiler [2018-08-04 16:37:53] 861*2^1520385-1 is not prime. Res64: 1AAD10779DDB5C5F Time : 0.0 sec. user=mdettweiler [2018-08-04 16:37:53] 895*2^1520385-1 is not prime. Res64: 46D706FD76A5DCFC Time : 0.0 sec. user=mdettweiler [2018-08-04 16:37:54] 909*2^1520385-1 is not prime. Res64: D10EF66AAE148946 Time : 0.0 sec. user=mdettweiler [2018-08-04 16:40:00] 723*2^1520386-1 is not prime. Res64: C1095FBBC4FF8B65 Time : 0.0 sec. user=mdettweiler [2018-08-04 16:40:00] 785*2^1520386-1 is not prime. Res64: B08D763E977D8BA0 Time : 0.0 sec. user=mdettweiler [2018-08-04 16:40:00] 857*2^1520386-1 is not prime. Res64: C7DE774D5A0DF51C Time : 0.0 sec. user=mdettweiler [2018-08-04 16:40:01] 891*2^1520386-1 is not prime. Res64: 2CE93D21898D64D2 Time : 0.0 sec. user=mdettweiler [2018-08-04 16:40:01] 663*2^1520387-1 is not prime. Res64: 5474B8D0BCC83763 Time : 0.0 sec. user=mdettweiler [2018-08-04 17:01:20] 669*2^1520387-1 is not prime. Res64: 442E69979C392E16 Time : 0.0 sec. user=mdettweiler [2018-08-04 17:01:21] 735*2^1520387-1 is not prime. Res64: 7E9ADC718CE5091F Time : 0.0 sec. user=mdettweiler [2018-08-04 17:01:22] 741*2^1520387-1 is not prime. Res64: 0EA6191BFB3AB1E2 Time : 0.0 sec. user=mdettweiler [2018-08-04 17:01:23] 871*2^1520387-1 is not prime. Res64: 89588113FC537E1E Time : 0.0 sec. user=mdettweiler [2018-08-04 17:01:23] 889*2^1520387-1 is not prime. Res64: 019A0F830A9F65DE Time : 0.0 sec. user=mdettweiler [2018-08-04 17:33:41] 663*2^1520388-1 is not prime. Res64: E29EF7B5A92EFF1F Time : 0.0 sec. user=mdettweiler [2018-08-04 17:33:41] 669*2^1520388-1 is not prime. Res64: F4EC12ECFE67B736 Time : 0.0 sec. user=mdettweiler [2018-08-04 17:33:42] 695*2^1520388-1 is not prime. Res64: A8FBA56E3348349A Time : 0.0 sec. user=mdettweiler [2018-08-04 17:33:42] 773*2^1520388-1 is not prime. Res64: 9C3F6D1E3480115B Time : 0.0 sec. user=mdettweiler [2018-08-04 17:33:43] 795*2^1520388-1 is not prime. Res64: BFF2077595019013 Time : 0.0 sec. user=mdettweiler [2018-08-04 17:34:00] 867*2^1520388-1 is not prime. Res64: 16A708A40FD1BE55 Time : 0.0 sec. user=mdettweiler [2018-08-04 17:34:00] 927*2^1520388-1 is not prime. Res64: A1154D48F651759F Time : 0.0 sec. user=mdettweiler [2018-08-04 17:34:00] 999*2^1520388-1 is not prime. Res64: 3D2A816291B33B5C Time : 0.0 sec. user=mdettweiler [2018-08-04 17:34:01] 661*2^1520389-1 is not prime. Res64: 2A7020761EC2B65E Time : 0.0 sec. user=mdettweiler [2018-08-04 17:34:01] 687*2^1520389-1 is not prime. Res64: 706C69B7FE67C5D7 Time : 0.0 sec. user=mdettweiler [2018-08-04 17:35:23] 741*2^1520389-1 is not prime. Res64: 347F27CF968D6536 Time : 0.0 sec. user=mdettweiler [2018-08-04 17:35:23] 799*2^1520389-1 is not prime. Res64: 42B36A76C99F072A Time : 0.0 sec. user=mdettweiler [2018-08-04 17:35:24] 819*2^1520389-1 is not prime. Res64: 508327672EF09EE1 Time : 0.0 sec. user=mdettweiler [2018-08-04 17:35:24] 877*2^1520389-1 is not prime. Res64: D0AAC47A6EFC3E0D Time : 0.0 sec. user=mdettweiler [2018-08-04 17:35:25] 897*2^1520389-1 is not prime. Res64: 128302DF2B262B48 Time : 0.0 sec. user=mdettweiler [2018-08-04 17:55:42] 999*2^1520389-1 is not prime. Res64: 7DBF8D1F9337248F Time : 0.0 sec. user=mdettweiler [2018-08-04 17:55:43] 885*2^1520390-1 is not prime. Res64: ACD1B4E2AE1129FE Time : 0.0 sec. user=mdettweiler [2018-08-04 17:55:43] 921*2^1520390-1 is not prime. Res64: 9F70BC03D9A51849 Time : 0.0 sec. user=mdettweiler [2018-08-04 17:55:43] 1001*2^1520390-1 is not prime. Res64: AD838646615F8B0C Time : 0.0 sec. user=mdettweiler [2018-08-04 17:55:44] 615*2^1520391-1 is not prime. Res64: D115423AC180561D Time : 0.0 sec. user=mdettweiler [2018-08-04 18:25:43] 781*2^1520391-1 is not prime. Res64: 39B7D90BD14BD5ED Time : 0.0 sec. user=mdettweiler [2018-08-04 18:25:44] 901*2^1520391-1 is not prime. Res64: 967363C7973DED1C Time : 0.0 sec. user=mdettweiler [2018-08-04 18:25:44] 991*2^1520391-1 is not prime. Res64: AC034A772249E28C Time : 0.0 sec. user=mdettweiler [2018-08-04 18:25:44] 605*2^1520392-1 is not prime. Res64: 0D67FE878D30F7C1 Time : 0.0 sec. user=mdettweiler [2018-08-04 18:25:45] 615*2^1520392-1 is not prime. Res64: E2E9F88A22BBE9E0 Time : 0.0 sec. user=mdettweiler [2018-08-04 18:27:07] 699*2^1520392-1 is not prime. Res64: 60F203F4A47990DE Time : 0.0 sec. user=mdettweiler [2018-08-04 18:27:08] 779*2^1520392-1 is not prime. Res64: 701B2191260D6E44 Time : 0.0 sec. user=mdettweiler [2018-08-04 18:27:08] 863*2^1520392-1 is not prime. Res64: AF62BF785ACE4047 Time : 0.0 sec. user=mdettweiler [2018-08-04 18:27:08] 887*2^1520392-1 is not prime. Res64: F1005BE5117389C0 Time : 0.0 sec. user=mdettweiler [2018-08-04 18:27:09] 903*2^1520392-1 is not prime. Res64: 34D2C0B22842480B Time : 0.0 sec. user=mdettweiler [2018-08-04 18:27:28] 909*2^1520392-1 is not prime. Res64: B428D5D9BDAB2C72 Time : 0.0 sec. user=mdettweiler [2018-08-04 18:27:29] 933*2^1520392-1 is not prime. Res64: 718B8D77EDA116C2 Time : 0.0 sec. user=mdettweiler [2018-08-04 18:27:29] 989*2^1520392-1 is not prime. Res64: 1C1CAB73CA4CA9AE Time : 0.0 sec. user=mdettweiler [2018-08-04 18:27:29] 619*2^1520393-1 is not prime. Res64: 5B667D2FCDA7E2D7 Time : 0.0 sec. user=mdettweiler [2018-08-04 18:27:30] 657*2^1520393-1 is not prime. Res64: B18C48BA38154151 Time : 0.0 sec. user=mdettweiler [2018-08-04 18:47:03] 675*2^1520393-1 is not prime. Res64: 06321E30CDFDBDBB Time : 0.0 sec. user=mdettweiler [2018-08-04 18:47:03] 685*2^1520393-1 is not prime. Res64: 935008789F3E8858 Time : 0.0 sec. user=mdettweiler [2018-08-04 18:47:04] 735*2^1520393-1 is not prime. Res64: 61399B42082ADFEC Time : 0.0 sec. user=mdettweiler [2018-08-04 18:47:04] 955*2^1520393-1 is not prime. Res64: 469039C8A4CDD65C Time : 0.0 sec. user=mdettweiler [2018-08-04 18:47:05] 981*2^1520393-1 is not prime. Res64: 378AEEEE5D9E8E36 Time : 0.0 sec. user=mdettweiler [2018-08-04 19:17:25] 651*2^1520394-1 is not prime. Res64: A690D3AF675D04A9 Time : 0.0 sec. user=mdettweiler [2018-08-04 19:17:26] 755*2^1520394-1 is not prime. Res64: 1BF54B7C57C21A5A Time : 0.0 sec. user=mdettweiler [2018-08-04 19:17:27] 873*2^1520394-1 is not prime. Res64: AF88B4AAE7B7D88E Time : 0.0 sec. user=mdettweiler [2018-08-04 19:17:28] 893*2^1520394-1 is not prime. Res64: A402D505864A1CCA Time : 0.0 sec. user=mdettweiler [2018-08-04 19:17:28] 663*2^1520395-1 is not prime. Res64: B8622A7B713C7E11 Time : 0.0 sec. user=mdettweiler [2018-08-04 19:18:41] 783*2^1520395-1 is not prime. Res64: 170C2FBE8CD0F7BE Time : 0.0 sec. user=mdettweiler [2018-08-04 19:18:41] 829*2^1520395-1 is not prime. Res64: 9E10463B4EC62FFF Time : 0.0 sec. user=mdettweiler [2018-08-04 19:18:41] 871*2^1520395-1 is not prime. Res64: 1982EFB437186DB7 Time : 0.0 sec. user=mdettweiler [2018-08-04 19:18:42] 961*2^1520395-1 is not prime. Res64: 416E12030B87AFE5 Time : 0.0 sec. user=mdettweiler [2018-08-04 19:18:44] 973*2^1520395-1 is not prime. Res64: 222F64EE5D2DBED1 Time : 0.0 sec. user=mdettweiler [2018-08-04 19:19:17] 609*2^1520396-1 is not prime. Res64: 098112AF0A4E33F5 Time : 0.0 sec. user=mdettweiler [2018-08-04 19:19:18] 635*2^1520396-1 is not prime. Res64: 918E97799A6716CE Time : 0.0 sec. user=mdettweiler [2018-08-04 19:19:18] 693*2^1520396-1 is not prime. Res64: E9484F9D37DC2D8D Time : 0.0 sec. user=mdettweiler [2018-08-04 19:19:19] 903*2^1520396-1 is not prime. Res64: 31AD824C0E77ECF6 Time : 0.0 sec. user=mdettweiler [2018-08-04 19:19:19] 909*2^1520396-1 is not prime. Res64: FA0A050AE5D3AFE2 Time : 0.0 sec. user=mdettweiler [2018-08-04 19:39:10] 649*2^1520397-1 is not prime. Res64: 6430CBCEC68D40D7 Time : 0.0 sec. user=mdettweiler [2018-08-04 19:39:11] 655*2^1520397-1 is not prime. Res64: 841C33AB6A22DEEB Time : 0.0 sec. user=mdettweiler [2018-08-04 19:39:11] 667*2^1520397-1 is not prime. Res64: 2581003D4DB1AFA1 Time : 0.0 sec. user=mdettweiler [2018-08-04 19:39:12] 741*2^1520397-1 is not prime. Res64: C23B6A2BDAF182C8 Time : 0.0 sec. user=mdettweiler [2018-08-04 19:39:12] 829*2^1520397-1 is not prime. Res64: B859C2C39A1B5EC0 Time : 0.0 sec. user=mdettweiler [2018-08-04 20:10:45] 615*2^1520399-1 is not prime. Res64: DFFF9FFDE3A8B842 Time : 0.0 sec. user=mdettweiler [2018-08-04 20:10:45] 753*2^1520399-1 is not prime. Res64: 240F25000B4CD0DF Time : 0.0 sec. user=mdettweiler [2018-08-04 20:10:46] 763*2^1520399-1 is not prime. Res64: 1392BC61E4104C92 Time : 0.0 sec. user=mdettweiler [2018-08-04 20:10:46] 775*2^1520399-1 is not prime. Res64: 057CEEEC4176DD08 Time : 0.0 sec. user=mdettweiler [2018-08-04 20:10:47] 855*2^1520399-1 is not prime. Res64: 61D14C8B83ED48A7 Time : 0.0 sec. user=mdettweiler [2018-08-04 20:11:02] 861*2^1520399-1 is not prime. Res64: 53DF1B8DEFF5C423 Time : 0.0 sec. user=mdettweiler [2018-08-04 20:11:02] 949*2^1520399-1 is not prime. Res64: 2CCBCB27FF66A435 Time : 0.0 sec. user=mdettweiler [2018-08-04 20:11:03] 633*2^1520400-1 is not prime. Res64: 2EBBD2BECEF85473 Time : 0.0 sec. user=mdettweiler [2018-08-04 20:11:03] 693*2^1520400-1 is not prime. Res64: CD51EC506EEEFEE9 Time : 0.0 sec. user=mdettweiler [2018-08-04 20:11:03] 717*2^1520400-1 is not prime. Res64: 0DA95D709D13A242 Time : 0.0 sec. user=mdettweiler [2018-08-04 20:12:05] 919*2^1520397-1 is not prime. Res64: 70B948EAB3CCC665 Time : 0.0 sec. user=mdettweiler [2018-08-04 20:12:06] 761*2^1520398-1 is not prime. Res64: F180969C9F51D201 Time : 0.0 sec. user=mdettweiler [2018-08-04 20:12:06] 887*2^1520398-1 is not prime. Res64: 3A058C42F07E9B51 Time : 0.0 sec. user=mdettweiler [2018-08-04 20:12:06] 951*2^1520398-1 is not prime. Res64: 85553CB0B0FA8CB5 Time : 0.0 sec. user=mdettweiler [2018-08-04 20:12:06] 981*2^1520398-1 is not prime. Res64: 39DBD388D5BEC2CD Time : 0.0 sec. user=mdettweiler [2018-08-04 20:31:47] 795*2^1520400-1 is not prime. Res64: 797E19CF8B4AFF70 Time : 0.0 sec. user=mdettweiler [2018-08-04 20:31:47] 863*2^1520400-1 is not prime. Res64: 0228C6FC3A44FB0F Time : 0.0 sec. user=mdettweiler [2018-08-04 20:31:47] 873*2^1520400-1 is not prime. Res64: 18A5B0E4A5942376 Time : 0.0 sec. user=mdettweiler [2018-08-04 20:31:48] 909*2^1520400-1 is not prime. Res64: 662EFF9EB64C24F9 Time : 0.0 sec. user=mdettweiler [2018-08-04 20:31:48] 999*2^1520400-1 is not prime. Res64: 8B315F644560EB3D Time : 0.0 sec. user=mdettweiler [2018-08-04 21:02:24] 705*2^1520402-1 is not prime. Res64: 3276D921B28A3A94 Time : 0.0 sec. user=mdettweiler [2018-08-04 21:02:24] 755*2^1520402-1 is not prime. Res64: 1C16980A25757CDB Time : 0.0 sec. user=mdettweiler [2018-08-04 21:02:25] 935*2^1520402-1 is not prime. Res64: 86C463ECA7393648 Time : 0.0 sec. user=mdettweiler [2018-08-04 21:02:26] 977*2^1520402-1 is not prime. Res64: 3C661590329BEFA6 Time : 0.0 sec. user=mdettweiler [2018-08-04 21:02:26] 995*2^1520402-1 is not prime. Res64: 7D67D80D089D2E32 Time : 0.0 sec. user=mdettweiler [2018-08-04 21:03:13] 619*2^1520401-1 is not prime. Res64: EC9F38D888DCCE0C Time : 0.0 sec. user=mdettweiler [2018-08-04 21:03:14] 937*2^1520401-1 is not prime. Res64: 93C3900DA791BA95 Time : 0.0 sec. user=mdettweiler [2018-08-04 21:03:14] 987*2^1520401-1 is not prime. Res64: CFB5C060F5E2E04E Time : 0.0 sec. user=mdettweiler [2018-08-04 21:03:15] 623*2^1520402-1 is not prime. Res64: F21485998F4A1A1D Time : 0.0 sec. user=mdettweiler [2018-08-04 21:03:16] 671*2^1520402-1 is not prime. Res64: 4BEB285AD45F732F Time : 0.0 sec. user=mdettweiler [2018-08-04 21:03:26] 625*2^1520403-1 is not prime. Res64: 0008A459A46DEFA1 Time : 0.0 sec. user=mdettweiler [2018-08-04 21:03:27] 783*2^1520403-1 is not prime. Res64: 366CB61849A10CD3 Time : 0.0 sec. user=mdettweiler [2018-08-04 21:03:28] 943*2^1520403-1 is not prime. Res64: 5AFDE03FDCBADE88 Time : 0.0 sec. user=mdettweiler [2018-08-04 21:03:28] 955*2^1520403-1 is not prime. Res64: C90B5DA1BCE306AE Time : 0.0 sec. user=mdettweiler [2018-08-04 21:03:29] 635*2^1520404-1 is not prime. Res64: 8E50D48DB9B4B6B4 Time : 0.0 sec. user=mdettweiler [2018-08-04 21:23:09] 719*2^1520404-1 is not prime. Res64: BC23773A59D1BDA8 Time : 0.0 sec. user=mdettweiler [2018-08-04 21:23:10] 843*2^1520404-1 is not prime. Res64: DA409FC8987F562F Time : 0.0 sec. user=mdettweiler [2018-08-04 21:23:10] 869*2^1520404-1 is not prime. Res64: 4FFC2838868DD2C4 Time : 0.0 sec. user=mdettweiler [2018-08-04 21:23:11] 885*2^1520404-1 is not prime. Res64: 5108DD8A803FEE1A Time : 0.0 sec. user=mdettweiler [2018-08-04 21:23:11] 649*2^1520405-1 is not prime. Res64: B2E8532FA07A2C11 Time : 0.0 sec. user=mdettweiler [2018-08-04 21:55:01] 945*2^1520406-1 is not prime. Res64: 198E50413A454BEF Time : 0.0 sec. user=mdettweiler [2018-08-04 21:55:02] 603*2^1520407-1 is not prime. Res64: DB08994DE9C592E1 Time : 0.0 sec. user=mdettweiler [2018-08-04 21:55:02] 685*2^1520407-1 is not prime. Res64: FF0219044F1E9087 Time : 0.0 sec. user=mdettweiler [2018-08-04 21:55:02] 861*2^1520407-1 is not prime. Res64: 577D698476A9EC40 Time : 0.0 sec. user=mdettweiler [2018-08-04 21:55:03] 871*2^1520407-1 is not prime. Res64: 65AF2626413F51CD Time : 0.0 sec. user=mdettweiler [2018-08-04 21:55:27] 937*2^1520405-1 is not prime. Res64: 475A3D54241BF898 Time : 0.0 sec. user=mdettweiler [2018-08-04 21:55:27] 955*2^1520405-1 is not prime. Res64: B14C30A4E520128A Time : 0.0 sec. user=mdettweiler [2018-08-04 21:55:28] 615*2^1520406-1 is not prime. Res64: 07B787C1B0BD7C3C Time : 0.0 sec. user=mdettweiler [2018-08-04 21:55:28] 711*2^1520406-1 is not prime. Res64: 767FD292DCEB1512 Time : 0.0 sec. user=mdettweiler [2018-08-04 21:55:28] 867*2^1520406-1 is not prime. Res64: 902DCBA91F73A097 Time : 0.0 sec. user=mdettweiler [2018-08-04 21:57:58] 697*2^1520405-1 is not prime. Res64: 049B162ECA84017D Time : 0.0 sec. user=mdettweiler [2018-08-04 21:57:58] 711*2^1520405-1 is not prime. Res64: B4F7B03D25F6E78F Time : 0.0 sec. user=mdettweiler [2018-08-04 21:57:59] 741*2^1520405-1 is not prime. Res64: 8737B9CFDA6B839A Time : 0.0 sec. user=mdettweiler [2018-08-04 21:57:59] 757*2^1520405-1 is not prime. Res64: B7974602AC824F02 Time : 0.0 sec. user=mdettweiler [2018-08-04 21:57:59] 759*2^1520405-1 is not prime. Res64: 82FB7647D50BA8AD Time : 0.0 sec. user=mdettweiler [2018-08-04 22:14:43] 891*2^1520407-1 is not prime. Res64: 4A5F6B6839F19BEA Time : 0.0 sec. user=mdettweiler [2018-08-04 22:14:43] 635*2^1520408-1 is not prime. Res64: 576080ED27E1FEFA Time : 0.0 sec. user=mdettweiler [2018-08-04 22:14:44] 767*2^1520408-1 is not prime. Res64: F67A9D792A065A11 Time : 0.0 sec. user=mdettweiler [2018-08-04 22:14:44] 797*2^1520408-1 is not prime. Res64: A88E01633E0CD304 Time : 0.0 sec. user=mdettweiler [2018-08-04 22:14:45] 813*2^1520408-1 is not prime. Res64: B8CD97191B8A1E18 Time : 0.0 sec. user=mdettweiler [2018-08-04 22:47:33] 825*2^1520408-1 is not prime. Res64: A938BF98042BCBF8 Time : 0.0 sec. user=mdettweiler [2018-08-04 22:47:34] 827*2^1520408-1 is not prime. Res64: D4D821CECA1DAD78 Time : 0.0 sec. user=mdettweiler [2018-08-04 22:47:34] 929*2^1520408-1 is not prime. Res64: A93CD08E4E87D31A Time : 0.0 sec. user=mdettweiler [2018-08-04 22:47:34] 957*2^1520408-1 is not prime. Res64: 2B5E14164CA348C1 Time : 0.0 sec. user=mdettweiler [2018-08-04 22:47:35] 709*2^1520409-1 is not prime. Res64: 3CAFD7FDB6D0F639 Time : 0.0 sec. user=mdettweiler [2018-08-04 22:48:13] 711*2^1520409-1 is not prime. Res64: 4C93015D4165436F Time : 0.0 sec. user=mdettweiler [2018-08-04 22:48:13] 735*2^1520409-1 is not prime. Res64: 838B690DDFEBFB11 Time : 0.0 sec. user=mdettweiler [2018-08-04 22:48:14] 787*2^1520409-1 is not prime. Res64: F2E3663365FB8F6D Time : 0.0 sec. user=mdettweiler [2018-08-04 22:48:14] 811*2^1520409-1 is not prime. Res64: F03EEC313C0DB47F Time : 0.0 sec. user=mdettweiler [2018-08-04 22:48:15] 889*2^1520409-1 is not prime. Res64: 52EA18DDA49FA474 Time : 0.0 sec. user=mdettweiler [2018-08-04 22:55:53] 945*2^1520409-1 is not prime. Res64: B0AAAD4ABB131607 Time : 0.0 sec. user=mdettweiler [2018-08-04 22:55:54] 647*2^1520410-1 is not prime. Res64: 54CDFD5482AB1A92 Time : 0.0 sec. user=mdettweiler [2018-08-04 22:55:54] 677*2^1520410-1 is not prime. Res64: D826B92CD9037729 Time : 0.0 sec. user=mdettweiler [2018-08-04 22:55:54] 777*2^1520410-1 is not prime. Res64: AA9834F9CDAAACA1 Time : 0.0 sec. user=mdettweiler [2018-08-04 22:55:55] 821*2^1520410-1 is not prime. Res64: DDED0BDB5709F55A Time : 0.0 sec. user=mdettweiler [2018-08-04 23:19:21] 887*2^1520410-1 is not prime. Res64: 0C751E582853302A Time : 0.0 sec. user=mdettweiler [2018-08-04 23:19:22] 603*2^1520411-1 is not prime. Res64: 0F6C18273C82D9A8 Time : 0.0 sec. user=mdettweiler [2018-08-04 23:19:22] 631*2^1520411-1 is not prime. Res64: 94F616E1E4867F17 Time : 0.0 sec. user=mdettweiler [2018-08-04 23:19:22] 753*2^1520411-1 is not prime. Res64: 6F255C9754A13A3F Time : 0.0 sec. user=mdettweiler [2018-08-04 23:19:23] 859*2^1520411-1 is not prime. Res64: 9AF02A9A6BD2AFC7 Time : 0.0 sec. user=mdettweiler [2018-08-04 23:40:44] 625*2^1520413-1 is not prime. Res64: CDB81FEFA88DE7D8 Time : 0.0 sec. user=mdettweiler [2018-08-04 23:40:44] 847*2^1520413-1 is not prime. Res64: A6819A9965BD9FBD Time : 0.0 sec. user=mdettweiler [2018-08-04 23:40:45] 885*2^1520413-1 is not prime. Res64: BAF18FEC5752B79A Time : 0.0 sec. user=mdettweiler [2018-08-04 23:40:45] 919*2^1520413-1 is not prime. Res64: DE8DF08DEB34FBD5 Time : 0.0 sec. user=mdettweiler [2018-08-04 23:40:45] 985*2^1520413-1 is not prime. Res64: CD0857E4BEB0416A Time : 0.0 sec. user=mdettweiler [2018-08-04 23:40:57] 939*2^1520411-1 is not prime. Res64: 03CAAAE10CD54B4F Time : 0.0 sec. user=mdettweiler [2018-08-04 23:40:58] 945*2^1520411-1 is not prime. Res64: 5E1F73BF82B40A03 Time : 0.0 sec. user=mdettweiler [2018-08-04 23:40:58] 669*2^1520412-1 is not prime. Res64: 4C025679B7ADAF3E Time : 0.0 sec. user=mdettweiler [2018-08-04 23:40:58] 767*2^1520412-1 is not prime. Res64: 69AF476F790E41DE Time : 0.0 sec. user=mdettweiler [2018-08-04 23:40:59] 987*2^1520412-1 is not prime. Res64: 690EBDAF476A3D71 Time : 0.0 sec. user=mdettweiler [2018-08-04 23:53:22] 999*2^1520413-1 is not prime. Res64: BA32DD1EB1D53344 Time : 0.0 sec. user=mdettweiler [2018-08-04 23:53:22] 623*2^1520414-1 is not prime. Res64: 310D88A54A9680F9 Time : 0.0 sec. user=mdettweiler [2018-08-04 23:53:22] 627*2^1520414-1 is not prime. Res64: D17BC9941E62DA39 Time : 0.0 sec. user=mdettweiler [2018-08-04 23:53:23] 773*2^1520414-1 is not prime. Res64: E106F31867551486 Time : 0.0 sec. user=mdettweiler [2018-08-04 23:53:23] 873*2^1520414-1 is not prime. Res64: C7F2511794DCC5FF Time : 0.0 sec.