user=mdettweiler [2020-06-20 00:05:18] 757*2^1561661-1 is not prime. Res64: 597AA245FA6A9E7B Time : 0.0 sec. user=mdettweiler [2020-06-20 00:05:19] 879*2^1561661-1 is not prime. Res64: 6DFF755230EA6ACF Time : 0.0 sec. user=mdettweiler [2020-06-20 00:05:20] 885*2^1561661-1 is not prime. Res64: 4D33AE2E45D2A269 Time : 0.0 sec. user=mdettweiler [2020-06-20 00:05:21] 925*2^1561661-1 is not prime. Res64: 7166F05607B7674E Time : 0.0 sec. user=mdettweiler [2020-06-20 00:05:22] 931*2^1561661-1 is not prime. Res64: A29FCC969769F3A0 Time : 0.0 sec. user=mdettweiler [2020-06-20 00:40:17] 981*2^1561661-1 is not prime. Res64: DC167A4713910448 Time : 0.0 sec. user=mdettweiler [2020-06-20 00:40:18] 627*2^1561662-1 is not prime. Res64: 68F2633AF1DFEF07 Time : 0.0 sec. user=mdettweiler [2020-06-20 00:40:18] 711*2^1561662-1 is not prime. Res64: 62FCAA61E796B69C Time : 0.0 sec. user=mdettweiler [2020-06-20 00:40:18] 741*2^1561662-1 is not prime. Res64: 9BD62F37D4AD140C Time : 0.0 sec. user=mdettweiler [2020-06-20 00:40:19] 609*2^1561663-1 is not prime. Res64: 4E195443A0DA3336 Time : 0.0 sec. user=mdettweiler [2020-06-20 00:52:54] 615*2^1561663-1 is not prime. Res64: E8EB63854170872E Time : 0.0 sec. user=mdettweiler [2020-06-20 00:52:54] 693*2^1561663-1 is not prime. Res64: E2F94B320B34E976 Time : 0.0 sec. user=mdettweiler [2020-06-20 00:52:54] 741*2^1561663-1 is not prime. Res64: AA84E3C60B9DEE31 Time : 0.0 sec. user=mdettweiler [2020-06-20 00:52:55] 769*2^1561663-1 is not prime. Res64: F09E263D21952FEB Time : 0.0 sec. user=mdettweiler [2020-06-20 00:52:55] 775*2^1561663-1 is not prime. Res64: 24591E7F552912F0 Time : 0.0 sec. user=mdettweiler [2020-06-20 01:02:23] 793*2^1561663-1 is not prime. Res64: 05058D43B7F1F63E Time : 0.0 sec. user=mdettweiler [2020-06-20 01:02:24] 871*2^1561663-1 is not prime. Res64: 370FA9ECE7F38AA8 Time : 0.0 sec. user=mdettweiler [2020-06-20 01:02:27] 873*2^1561663-1 is not prime. Res64: 9C71B4FEDE9D07FB Time : 0.0 sec. user=mdettweiler [2020-06-20 01:02:29] 885*2^1561663-1 is not prime. Res64: E8AF227444E09E2A Time : 0.0 sec. user=mdettweiler [2020-06-20 01:02:30] 951*2^1561663-1 is not prime. Res64: 2D4FEBF2BACF725C Time : 0.0 sec. user=mdettweiler [2020-06-20 01:34:19] 609*2^1561664-1 is not prime. Res64: 28BAF060A07AC26C Time : 0.0 sec. user=mdettweiler [2020-06-20 01:34:21] 659*2^1561664-1 is not prime. Res64: 7382931F206197DC Time : 0.0 sec. user=mdettweiler [2020-06-20 01:34:23] 683*2^1561664-1 is not prime. Res64: 076E237F761C41A2 Time : 0.0 sec. user=mdettweiler [2020-06-20 01:34:26] 819*2^1561664-1 is not prime. Res64: 4B52269B9937AD49 Time : 0.0 sec. user=mdettweiler [2020-06-20 01:34:28] 873*2^1561664-1 is not prime. Res64: 0F184ADD00EDF88A Time : 0.0 sec. user=mdettweiler [2020-06-20 01:48:11] 935*2^1561664-1 is not prime. Res64: 628CB4A47E8E01BB Time : 0.0 sec. user=mdettweiler [2020-06-20 01:48:13] 969*2^1561664-1 is not prime. Res64: 9CD4E36473538C9E Time : 0.0 sec. user=mdettweiler [2020-06-20 01:48:14] 983*2^1561664-1 is not prime. Res64: 4B41CA9411654891 Time : 0.0 sec. user=mdettweiler [2020-06-20 01:48:14] 627*2^1561665-1 is not prime. Res64: C943D68FD693F72B Time : 0.0 sec. user=mdettweiler [2020-06-20 01:48:15] 649*2^1561665-1 is not prime. Res64: 69289D571E5B02B4 Time : 0.0 sec. user=mdettweiler [2020-06-20 01:57:42] 777*2^1561665-1 is not prime. Res64: 1259B789641D6449 Time : 0.0 sec. user=mdettweiler [2020-06-20 01:57:43] 805*2^1561665-1 is not prime. Res64: B037B06BCE53CFAF Time : 0.0 sec. user=mdettweiler [2020-06-20 01:57:44] 811*2^1561665-1 is not prime. Res64: CB2A13D596449A59 Time : 0.0 sec. user=mdettweiler [2020-06-20 01:57:45] 819*2^1561665-1 is not prime. Res64: 17D3579A2601BB55 Time : 0.0 sec. user=mdettweiler [2020-06-20 01:57:46] 951*2^1561665-1 is not prime. Res64: D429D5B65B3A0159 Time : 0.0 sec. user=mdettweiler [2020-06-20 02:28:32] 603*2^1561666-1 is not prime. Res64: BE81FF744EEBBC32 Time : 0.0 sec. user=mdettweiler [2020-06-20 02:28:33] 713*2^1561666-1 is not prime. Res64: 63F60069A0CD4461 Time : 0.0 sec. user=mdettweiler [2020-06-20 02:28:34] 735*2^1561666-1 is not prime. Res64: 322CAF70B80F1F4F Time : 0.0 sec. user=mdettweiler [2020-06-20 02:28:35] 801*2^1561666-1 is not prime. Res64: 0661262E403182EB Time : 0.0 sec. user=mdettweiler [2020-06-20 02:28:36] 917*2^1561666-1 is not prime. Res64: 540F4105AE5427D2 Time : 0.0 sec. user=mdettweiler [2020-06-20 02:45:03] 987*2^1561666-1 is not prime. Res64: FABDAAAC5DA0C073 Time : 0.0 sec. user=mdettweiler [2020-06-20 02:45:03] 655*2^1561667-1 is not prime. Res64: E4616C629EE5790A Time : 0.0 sec. user=mdettweiler [2020-06-20 02:45:04] 861*2^1561667-1 is not prime. Res64: 4A232C3CCDF69B80 Time : 0.0 sec. user=mdettweiler [2020-06-20 02:45:04] 871*2^1561667-1 is not prime. Res64: 0AE4A880D6948A66 Time : 0.0 sec. user=mdettweiler [2020-06-20 02:45:05] 909*2^1561667-1 is not prime. Res64: 750034B92E8D80AF Time : 0.0 sec. user=mdettweiler [2020-06-20 02:51:42] 949*2^1561667-1 is not prime. Res64: 6D2C2E81B20CCA62 Time : 0.0 sec. user=mdettweiler [2020-06-20 02:51:42] 635*2^1561668-1 is not prime. Res64: 8F15548605832163 Time : 0.0 sec. user=mdettweiler [2020-06-20 02:51:42] 707*2^1561668-1 is not prime. Res64: F33FFF8FB652C504 Time : 0.0 sec. user=mdettweiler [2020-06-20 02:51:43] 723*2^1561668-1 is not prime. Res64: 3F1F35CCFE63D8CE Time : 0.0 sec. user=mdettweiler [2020-06-20 02:51:43] 735*2^1561668-1 is not prime. Res64: DB4E37AB09BD8D14 Time : 0.0 sec. user=mdettweiler [2020-06-20 03:24:41] 753*2^1561668-1 is not prime. Res64: 179FAA285936AC6E Time : 0.0 sec. user=mdettweiler [2020-06-20 03:24:41] 759*2^1561668-1 is not prime. Res64: BD02B39DD4B04DDD Time : 0.0 sec. user=mdettweiler [2020-06-20 03:24:42] 819*2^1561668-1 is not prime. Res64: 434F4F4EB0B44AFE Time : 0.0 sec. user=mdettweiler [2020-06-20 03:24:42] 929*2^1561668-1 is not prime. Res64: 4577D3CAB4E16F5B Time : 0.0 sec. user=mdettweiler [2020-06-20 03:24:43] 933*2^1561668-1 is not prime. Res64: 1469B3BCD6892B22 Time : 0.0 sec. user=mdettweiler [2020-06-20 03:38:19] 619*2^1561669-1 is not prime. Res64: BFDC8F48757F1ECC Time : 0.0 sec. user=mdettweiler [2020-06-20 03:38:23] 639*2^1561669-1 is not prime. Res64: 48F5828FBD3DE94E Time : 0.0 sec. user=mdettweiler [2020-06-20 03:38:25] 789*2^1561669-1 is not prime. Res64: 55B1DD034C75084E Time : 0.0 sec. user=mdettweiler [2020-06-20 03:38:26] 817*2^1561669-1 is not prime. Res64: 62A6D92C6A71915F Time : 0.0 sec. user=mdettweiler [2020-06-20 03:38:29] 895*2^1561669-1 is not prime. Res64: BF6381AB66C2C0D6 Time : 0.0 sec. user=mdettweiler [2020-06-20 03:48:52] 951*2^1561669-1 is not prime. Res64: 813248D31B26FD70 Time : 0.0 sec. user=mdettweiler [2020-06-20 03:48:55] 985*2^1561669-1 is not prime. Res64: E1F53C75F63BCE16 Time : 0.0 sec. user=mdettweiler [2020-06-20 03:48:58] 731*2^1561670-1 is not prime. Res64: 88FA4C43A211ECF3 Time : 0.0 sec. user=mdettweiler [2020-06-20 03:49:02] 897*2^1561670-1 is not prime. Res64: 0EF9A358D7AEC5CC Time : 0.0 sec. user=mdettweiler [2020-06-20 03:49:06] 885*2^1561671-1 is not prime. Res64: 279C0CF380FF01FE Time : 0.0 sec. user=mdettweiler [2020-06-20 04:19:07] 961*2^1561671-1 is not prime. Res64: BFF7AF3188094AFB Time : 0.0 sec. user=mdettweiler [2020-06-20 04:19:09] 979*2^1561671-1 is not prime. Res64: AE0350136DB6ED06 Time : 0.0 sec. user=mdettweiler [2020-06-20 04:19:10] 623*2^1561672-1 is not prime. Res64: D24EF5B77CE7A38D Time : 0.0 sec. user=mdettweiler [2020-06-20 04:19:11] 657*2^1561672-1 is not prime. Res64: 1C5BBE06590C7B19 Time : 0.0 sec. user=mdettweiler [2020-06-20 04:19:13] 699*2^1561672-1 is not prime. Res64: 04765ECC4F0BB636 Time : 0.0 sec. user=mdettweiler [2020-06-20 04:35:01] 843*2^1561672-1 is not prime. Res64: 5BF741897E5AF0DD Time : 0.0 sec. user=mdettweiler [2020-06-20 04:35:01] 899*2^1561672-1 is not prime. Res64: 67CD0F1304E4B2A9 Time : 0.0 sec. user=mdettweiler [2020-06-20 04:35:02] 983*2^1561672-1 is not prime. Res64: FF9193177983D6C1 Time : 0.0 sec. user=mdettweiler [2020-06-20 04:35:02] 729*2^1561673-1 is not prime. Res64: C85FC5069033608A Time : 0.0 sec. user=mdettweiler [2020-06-20 04:35:03] 781*2^1561673-1 is not prime. Res64: 05E2AB8A87CBE6BF Time : 0.0 sec. user=mdettweiler [2020-06-20 04:43:03] 915*2^1561673-1 is not prime. Res64: 6AA043AFA61DDF04 Time : 0.0 sec. user=mdettweiler [2020-06-20 04:43:04] 651*2^1561674-1 is not prime. Res64: 717A83FD4E88BE2B Time : 0.0 sec. user=mdettweiler [2020-06-20 04:43:04] 671*2^1561674-1 is not prime. Res64: 405E45855806C013 Time : 0.0 sec. user=mdettweiler [2020-06-20 04:43:04] 705*2^1561674-1 is not prime. Res64: 49D9FBA85189B8F5 Time : 0.0 sec. user=mdettweiler [2020-06-20 04:43:05] 815*2^1561674-1 is not prime. Res64: 478634A5BE2B2795 Time : 0.0 sec. user=mdettweiler [2020-06-20 05:16:12] 885*2^1561674-1 is not prime. Res64: D4F712362F6113FD Time : 0.0 sec. user=mdettweiler [2020-06-20 05:16:13] 923*2^1561674-1 is not prime. Res64: 31DB4C3EA828048C Time : 0.0 sec. user=mdettweiler [2020-06-20 05:16:13] 993*2^1561674-1 is not prime. Res64: 18590405577C16D7 Time : 0.0 sec. user=mdettweiler [2020-06-20 05:16:14] 679*2^1561675-1 is not prime. Res64: AE8F0EEED95893DD Time : 0.0 sec. user=mdettweiler [2020-06-20 05:16:14] 829*2^1561675-1 is not prime. Res64: 15D6CBDC38E57261 Time : 0.0 sec. user=mdettweiler [2020-06-20 05:29:20] 861*2^1561675-1 is not prime. Res64: 43B70D2F85B6DC4D Time : 0.0 sec. user=mdettweiler [2020-06-20 05:29:20] 633*2^1561676-1 is not prime. Res64: 9A17CFA5171402A7 Time : 0.0 sec. user=mdettweiler [2020-06-20 05:29:21] 675*2^1561676-1 is not prime. Res64: 12EF412E17A964A6 Time : 0.0 sec. user=mdettweiler [2020-06-20 05:29:21] 743*2^1561676-1 is not prime. Res64: 47E8BA1CD7D0A836 Time : 0.0 sec. user=mdettweiler [2020-06-20 05:29:22] 843*2^1561676-1 is not prime. Res64: D539CBB3BBDCBA7A Time : 0.0 sec. user=mdettweiler [2020-06-20 05:37:36] 987*2^1561676-1 is not prime. Res64: C33B8382ECF83F24 Time : 0.0 sec. user=mdettweiler [2020-06-20 05:37:36] 649*2^1561677-1 is not prime. Res64: CC8AFC516683C579 Time : 0.0 sec. user=mdettweiler [2020-06-20 05:37:36] 747*2^1561677-1 is not prime. Res64: 1F494027985FD94D Time : 0.0 sec. user=mdettweiler [2020-06-20 05:37:37] 781*2^1561677-1 is not prime. Res64: CFEA66BFF1E98D2B Time : 0.0 sec. user=mdettweiler [2020-06-20 05:37:37] 889*2^1561677-1 is not prime. Res64: AD1F5F9D7EEF60DF Time : 0.0 sec. user=mdettweiler [2020-06-20 06:13:00] 891*2^1561677-1 is not prime. Res64: 6726E40219D62442 Time : 0.0 sec. user=mdettweiler [2020-06-20 06:13:00] 895*2^1561677-1 is not prime. Res64: 918A3808E04FAADC Time : 0.0 sec. user=mdettweiler [2020-06-20 06:13:01] 919*2^1561677-1 is not prime. Res64: D43A94B3F753249D Time : 0.0 sec. user=mdettweiler [2020-06-20 06:13:01] 955*2^1561677-1 is not prime. Res64: 4C1CA1325D50EDC7 Time : 0.0 sec. user=mdettweiler [2020-06-20 06:13:02] 681*2^1561678-1 is not prime. Res64: 0E1F0D50CBA9C372 Time : 0.0 sec. user=mdettweiler [2020-06-20 06:25:18] 705*2^1561678-1 is not prime. Res64: EAB15F165EF2BD1A Time : 0.0 sec. user=mdettweiler [2020-06-20 06:25:18] 747*2^1561678-1 is not prime. Res64: 88314738F3738441 Time : 0.0 sec. user=mdettweiler [2020-06-20 06:25:19] 825*2^1561678-1 is not prime. Res64: B4ECEC5AD90A144A Time : 0.0 sec. user=mdettweiler [2020-06-20 06:25:19] 975*2^1561678-1 is not prime. Res64: 45399FD704830C22 Time : 0.0 sec. user=mdettweiler [2020-06-20 06:25:20] 995*2^1561678-1 is not prime. Res64: 500DB14CF5293CBE Time : 0.0 sec. user=mdettweiler [2020-06-20 06:31:14] 661*2^1561679-1 is not prime. Res64: 4CF8FD1C4E7CBD89 Time : 0.0 sec. user=mdettweiler [2020-06-20 06:31:15] 741*2^1561679-1 is not prime. Res64: 695FD1DB9D285476 Time : 0.0 sec. user=mdettweiler [2020-06-20 06:31:15] 775*2^1561679-1 is not prime. Res64: A5B7B9A797997CA7 Time : 0.0 sec. user=mdettweiler [2020-06-20 06:31:16] 909*2^1561679-1 is not prime. Res64: 70FA2BCD06693388 Time : 0.0 sec. user=mdettweiler [2020-06-20 06:31:16] 765*2^1561680-1 is not prime. Res64: 75A135A538420072 Time : 0.0 sec. user=mdettweiler [2020-06-20 07:11:16] 857*2^1561680-1 is not prime. Res64: 2AD584D828792EE1 Time : 0.0 sec. user=mdettweiler [2020-06-20 07:11:17] 909*2^1561680-1 is not prime. Res64: 2E9306CC9AE0C787 Time : 0.0 sec. user=mdettweiler [2020-06-20 07:11:17] 927*2^1561680-1 is not prime. Res64: 32A95230B0C3302F Time : 0.0 sec. user=mdettweiler [2020-06-20 07:11:18] 929*2^1561680-1 is not prime. Res64: 1979E051CE67E751 Time : 0.0 sec. user=mdettweiler [2020-06-20 07:11:18] 935*2^1561680-1 is not prime. Res64: A3AB0C073A166AED Time : 0.0 sec. user=mdettweiler [2020-06-20 07:18:35] 607*2^1561681-1 is not prime. Res64: 2DD34A1CA9444938 Time : 0.0 sec. user=mdettweiler [2020-06-20 07:18:36] 609*2^1561681-1 is not prime. Res64: D0512A9746B6E1CD Time : 0.0 sec. user=mdettweiler [2020-06-20 07:18:36] 777*2^1561681-1 is not prime. Res64: BEABD1007F22CB44 Time : 0.0 sec. user=mdettweiler [2020-06-20 07:18:37] 801*2^1561681-1 is not prime. Res64: 7DF5A3459A5CCE43 Time : 0.0 sec. user=mdettweiler [2020-06-20 07:18:37] 819*2^1561681-1 is not prime. Res64: AE9C088B8A44E0A4 Time : 0.0 sec. user=mdettweiler [2020-06-20 07:25:54] 835*2^1561681-1 is not prime. Res64: 82CCFA2711F73912 Time : 0.0 sec. user=mdettweiler [2020-06-20 07:25:54] 937*2^1561681-1 is not prime. Res64: 654D045C2982479D Time : 0.0 sec. user=mdettweiler [2020-06-20 07:25:54] 735*2^1561682-1 is not prime. Res64: 45F72B0C1B0C6BB0 Time : 0.0 sec. user=mdettweiler [2020-06-20 07:25:55] 813*2^1561682-1 is not prime. Res64: 62BC5908BCAF5BCD Time : 0.0 sec. user=mdettweiler [2020-06-20 07:25:55] 621*2^1561683-1 is not prime. Res64: C19E340BE6F440BA Time : 0.0 sec. user=mdettweiler [2020-06-20 08:05:34] 663*2^1561683-1 is not prime. Res64: 4B1D13157EAD10F8 Time : 0.0 sec. user=mdettweiler [2020-06-20 08:05:38] 685*2^1561683-1 is not prime. Res64: D7281FCC8EF7D74B Time : 0.0 sec. user=mdettweiler [2020-06-20 08:05:39] 795*2^1561683-1 is not prime. Res64: 80EE1E592CD4B9C1 Time : 0.0 sec. user=mdettweiler [2020-06-20 08:05:40] 873*2^1561683-1 is not prime. Res64: B0FA3CAF36717778 Time : 0.0 sec. user=mdettweiler [2020-06-20 08:05:43] 945*2^1561683-1 is not prime. Res64: 75071C567D23C5A1 Time : 0.0 sec. user=mdettweiler [2020-06-20 08:11:33] 961*2^1561683-1 is not prime. Res64: 6A1EB64BA63C8DD3 Time : 0.0 sec. user=mdettweiler [2020-06-20 08:11:34] 617*2^1561684-1 is not prime. Res64: AAD5C47485BCAF87 Time : 0.0 sec. user=mdettweiler [2020-06-20 08:11:34] 635*2^1561684-1 is not prime. Res64: 372B4D19F62D4C7D Time : 0.0 sec. user=mdettweiler [2020-06-20 08:11:35] 677*2^1561684-1 is not prime. Res64: 018387B5F29E9C09 Time : 0.0 sec. user=mdettweiler [2020-06-20 08:11:35] 687*2^1561684-1 is not prime. Res64: 772B985E1CDA43BF Time : 0.0 sec. user=mdettweiler [2020-06-20 08:18:41] 699*2^1561684-1 is not prime. Res64: 0C2494528936A8A8 Time : 0.0 sec. user=mdettweiler [2020-06-20 08:18:41] 707*2^1561684-1 is not prime. Res64: 5DD37780B9858773 Time : 0.0 sec. user=mdettweiler [2020-06-20 08:18:42] 717*2^1561684-1 is not prime. Res64: 6EC460726035A60C Time : 0.0 sec. user=mdettweiler [2020-06-20 08:18:42] 749*2^1561684-1 is not prime. Res64: 5F03A7B403F7F4EC Time : 0.0 sec. user=mdettweiler [2020-06-20 08:18:43] 813*2^1561684-1 is not prime. Res64: 636EFF04D34F2D19 Time : 0.0 sec. user=mdettweiler [2020-06-20 09:00:36] 863*2^1561684-1 is not prime. Res64: EFCA4BEA4DC124D7 Time : 0.0 sec. user=mdettweiler [2020-06-20 09:00:37] 903*2^1561684-1 is not prime. Res64: ACC0852B2C5937BC Time : 0.0 sec. user=mdettweiler [2020-06-20 09:00:38] 669*2^1561685-1 is not prime. Res64: BC221A2C9E1D92D3 Time : 0.0 sec. user=mdettweiler [2020-06-20 09:00:39] 697*2^1561685-1 is not prime. Res64: 7E67FA8241D17022 Time : 0.0 sec. user=mdettweiler [2020-06-20 09:00:41] 721*2^1561685-1 is not prime. Res64: A67D662244C2D3BC Time : 0.0 sec. user=mdettweiler [2020-06-20 09:09:37] 837*2^1561685-1 is not prime. Res64: 33E15E5445A4EF96 Time : 0.0 sec. user=mdettweiler [2020-06-20 09:09:37] 859*2^1561685-1 is not prime. Res64: 15CFDDF65AA80117 Time : 0.0 sec. user=mdettweiler [2020-06-20 09:09:38] 871*2^1561685-1 is not prime. Res64: 8D2F7E9ABD6A22B2 Time : 0.0 sec. user=mdettweiler [2020-06-20 09:09:38] 937*2^1561685-1 is not prime. Res64: AFBC318598D5207C Time : 0.0 sec. user=mdettweiler [2020-06-20 09:09:39] 969*2^1561685-1 is not prime. Res64: 45900A18F84FB4D1 Time : 0.0 sec. user=mdettweiler [2020-06-20 09:14:44] 985*2^1561685-1 is not prime. Res64: DA14AE0FDE695D96 Time : 0.0 sec. user=mdettweiler [2020-06-20 09:14:45] 707*2^1561686-1 is not prime. Res64: 0085A6E9265EF78D Time : 0.0 sec. user=mdettweiler [2020-06-20 09:14:45] 713*2^1561686-1 is not prime. Res64: 0D1ADFB0B9F04531 Time : 0.0 sec. user=mdettweiler [2020-06-20 09:14:46] 881*2^1561686-1 is not prime. Res64: 96F52AE3DA33282E Time : 0.0 sec. user=mdettweiler [2020-06-20 09:14:46] 941*2^1561686-1 is not prime. Res64: 828BA8B67469A612 Time : 0.0 sec. user=mdettweiler [2020-06-20 09:53:05] 619*2^1561687-1 is not prime. Res64: 2BCC6770689FDD68 Time : 0.0 sec. user=mdettweiler [2020-06-20 09:53:05] 639*2^1561687-1 is not prime. Res64: 55DC3D2761EA9F33 Time : 0.0 sec. user=mdettweiler [2020-06-20 09:53:06] 763*2^1561687-1 is not prime. Res64: C365C52A2BEEEC4E Time : 0.0 sec. user=mdettweiler [2020-06-20 09:53:06] 765*2^1561687-1 is not prime. Res64: 98C5788D415C6977 Time : 0.0 sec. user=mdettweiler [2020-06-20 09:53:07] 793*2^1561687-1 is not prime. Res64: D6E4911FE9E2D628 Time : 0.0 sec. user=mdettweiler [2020-06-20 10:08:05] 831*2^1561687-1 is not prime. Res64: A5CD4663596EEDA6 Time : 0.0 sec. user=mdettweiler [2020-06-20 10:08:06] 859*2^1561687-1 is not prime. Res64: 8CC0FF4E3AFA748D Time : 0.0 sec. user=mdettweiler [2020-06-20 10:08:06] 873*2^1561687-1 is not prime. Res64: 215651F33F85425A Time : 0.0 sec. user=mdettweiler [2020-06-20 10:08:07] 909*2^1561687-1 is not prime. Res64: 16BAA2B3306B78CE Time : 0.0 sec. user=mdettweiler [2020-06-20 10:08:07] 973*2^1561687-1 is not prime. Res64: 1CD09CC18D32DE64 Time : 0.0 sec. user=mdettweiler [2020-06-20 10:10:24] 879*2^1561688-1 is not prime. Res64: 080271B6EE80B0CF Time : 0.0 sec. user=mdettweiler [2020-06-20 10:10:25] 915*2^1561688-1 is not prime. Res64: BC271311FBB54377 Time : 0.0 sec. user=mdettweiler [2020-06-20 10:10:25] 999*2^1561688-1 is not prime. Res64: E6F0BDD30DB9C5D5 Time : 0.0 sec. user=mdettweiler [2020-06-20 10:10:26] 639*2^1561689-1 is not prime. Res64: 2550C7FEBA36D13A Time : 0.0 sec. user=mdettweiler [2020-06-20 10:10:26] 661*2^1561689-1 is not prime. Res64: 2A16D4CA16F9F046 Time : 0.0 sec. user=mdettweiler [2020-06-20 10:46:59] 889*2^1561689-1 is not prime. Res64: D896D0FB3A61D0BC Time : 0.0 sec. user=mdettweiler [2020-06-20 10:46:59] 623*2^1561690-1 is not prime. Res64: 453C8EC6C2714867 Time : 0.0 sec. user=mdettweiler [2020-06-20 10:47:00] 675*2^1561690-1 is not prime. Res64: 84DF7EE364819E1B Time : 0.0 sec. user=mdettweiler [2020-06-20 10:47:00] 735*2^1561690-1 is not prime. Res64: 15FE1D857CB5542D Time : 0.0 sec. user=mdettweiler [2020-06-20 10:47:00] 755*2^1561690-1 is not prime. Res64: 8698C6A8B284F6C2 Time : 0.0 sec. user=mdettweiler [2020-06-20 11:02:47] 783*2^1561690-1 is not prime. Res64: F16EEB791FC5B3AD Time : 0.0 sec. user=mdettweiler [2020-06-20 11:02:48] 801*2^1561690-1 is not prime. Res64: BD73E5AD07BE71D3 Time : 0.0 sec. user=mdettweiler [2020-06-20 11:02:49] 933*2^1561690-1 is not prime. Res64: 5568D9A2B4AB388D Time : 0.0 sec. user=mdettweiler [2020-06-20 11:02:51] 775*2^1561691-1 is not prime. Res64: E6124B473C34A2A3 Time : 0.0 sec. user=mdettweiler [2020-06-20 11:02:51] 801*2^1561691-1 is not prime. Res64: 10E2866BE9BE13FB Time : 0.0 sec. user=mdettweiler [2020-06-20 11:06:50] 823*2^1561691-1 is not prime. Res64: 85BD730BB32368F5 Time : 0.0 sec. user=mdettweiler [2020-06-20 11:06:51] 843*2^1561691-1 is not prime. Res64: 311DE6FAF26093BE Time : 0.0 sec. user=mdettweiler [2020-06-20 11:06:52] 879*2^1561691-1 is not prime. Res64: 3598C373E5C1DE1E Time : 0.0 sec. user=mdettweiler [2020-06-20 11:06:54] 669*2^1561692-1 is not prime. Res64: 0BA319E9EC5939D2 Time : 0.0 sec. user=mdettweiler [2020-06-20 11:06:55] 765*2^1561692-1 is not prime. Res64: CEE5E3A6D4095260 Time : 0.0 sec. user=mdettweiler [2020-06-20 11:42:10] 825*2^1561692-1 is not prime. Res64: 9F1F9CB0667F9EF9 Time : 0.0 sec. user=mdettweiler [2020-06-20 11:42:10] 863*2^1561692-1 is not prime. Res64: CB12DA049E7483AD Time : 0.0 sec. user=mdettweiler [2020-06-20 11:42:11] 699*2^1561693-1 is not prime. Res64: 5E68DB698622F920 Time : 0.0 sec. user=mdettweiler [2020-06-20 11:42:11] 769*2^1561693-1 is not prime. Res64: FCA6DEADD8C936BC Time : 0.0 sec. user=mdettweiler [2020-06-20 11:42:12] 789*2^1561693-1 is not prime. Res64: B4D6570AFCEC006F Time : 0.0 sec. user=mdettweiler [2020-06-20 12:00:15] 957*2^1561693-1 is not prime. Res64: AFE9C5AD7172D19F Time : 0.0 sec. user=mdettweiler [2020-06-20 12:00:17] 797*2^1561694-1 is not prime. Res64: 11B1AAD664A0513F Time : 0.0 sec. user=mdettweiler [2020-06-20 12:00:18] 813*2^1561694-1 is not prime. Res64: 362A6705C846646D Time : 0.0 sec. user=mdettweiler [2020-06-20 12:00:20] 825*2^1561694-1 is not prime. Res64: 88B8EA689B0E0FBB Time : 0.0 sec. user=mdettweiler [2020-06-20 12:00:22] 923*2^1561694-1 is not prime. Res64: 35B21A93CA5B0A2F Time : 0.0 sec. user=mdettweiler [2020-06-20 12:01:56] 927*2^1561694-1 is not prime. Res64: E82A094BE4C94375 Time : 0.0 sec. user=mdettweiler [2020-06-20 12:01:58] 735*2^1561695-1 is not prime. Res64: 238081CD236B5A15 Time : 0.0 sec. user=mdettweiler [2020-06-20 12:01:59] 765*2^1561695-1 is not prime. Res64: B5AB6436D1426732 Time : 0.0 sec. user=mdettweiler [2020-06-20 12:02:00] 781*2^1561695-1 is not prime. Res64: 41D6CD5FC2A208D9 Time : 0.0 sec. user=mdettweiler [2020-06-20 12:02:02] 783*2^1561695-1 is not prime. Res64: E06835A06DDB8A9D Time : 0.0 sec. user=mdettweiler [2020-06-20 12:41:40] 789*2^1561695-1 is not prime. Res64: 4C9EC96D03E348C3 Time : 0.0 sec. user=mdettweiler [2020-06-20 12:41:41] 829*2^1561695-1 is not prime. Res64: 821FDEEAA00AFE1C Time : 0.0 sec. user=mdettweiler [2020-06-20 12:41:41] 853*2^1561695-1 is not prime. Res64: 5880703ECD915EA1 Time : 0.0 sec. user=mdettweiler [2020-06-20 12:41:41] 885*2^1561695-1 is not prime. Res64: 6BF54D5321C2CCFE Time : 0.0 sec. user=mdettweiler [2020-06-20 12:41:42] 909*2^1561695-1 is not prime. Res64: 4161370D27F7D888 Time : 0.0 sec. user=mdettweiler [2020-06-20 12:54:45] 985*2^1561695-1 is not prime. Res64: 90FFAFBB4B2027DD Time : 0.0 sec. user=mdettweiler [2020-06-20 12:54:46] 645*2^1561696-1 is not prime. Res64: 57FFC7BA15AA7A08 Time : 0.0 sec. user=mdettweiler [2020-06-20 12:54:46] 677*2^1561696-1 is not prime. Res64: D5CE8DE623518A84 Time : 0.0 sec. user=mdettweiler [2020-06-20 12:54:46] 689*2^1561696-1 is not prime. Res64: 86D08A8EEEAE44DB Time : 0.0 sec. user=mdettweiler [2020-06-20 12:54:47] 693*2^1561696-1 is not prime. Res64: EBD116976B5D1779 Time : 0.0 sec. user=mdettweiler [2020-06-20 12:58:00] 695*2^1561696-1 is not prime. Res64: ED6DC891BC0FFAB0 Time : 0.0 sec. user=mdettweiler [2020-06-20 12:58:00] 765*2^1561696-1 is not prime. Res64: 961826D8167128E7 Time : 0.0 sec. user=mdettweiler [2020-06-20 12:58:01] 843*2^1561696-1 is not prime. Res64: 1429A1D7B75D46A6 Time : 0.0 sec. user=mdettweiler [2020-06-20 12:58:01] 855*2^1561696-1 is not prime. Res64: 7BF2FDECA8CD16D0 Time : 0.0 sec. user=mdettweiler [2020-06-20 12:58:02] 747*2^1561697-1 is not prime. Res64: 20C81001B0BC2624 Time : 0.0 sec. user=mdettweiler [2020-06-20 13:38:31] 769*2^1561697-1 is not prime. Res64: 1EBA3AE03444DD85 Time : 0.0 sec. user=mdettweiler [2020-06-20 13:38:32] 831*2^1561697-1 is not prime. Res64: 0294F79688BEC902 Time : 0.0 sec. user=mdettweiler [2020-06-20 13:38:33] 861*2^1561697-1 is not prime. Res64: B4E494AB4E9B06D3 Time : 0.0 sec. user=mdettweiler [2020-06-20 13:38:33] 949*2^1561697-1 is not prime. Res64: F5E8822DD00C4095 Time : 0.0 sec. user=mdettweiler [2020-06-20 13:38:33] 985*2^1561697-1 is not prime. Res64: 9A6887C3EBE7066B Time : 0.0 sec. user=mdettweiler [2020-06-20 13:49:27] 681*2^1561698-1 is not prime. Res64: B14900240954C000 Time : 0.0 sec. user=mdettweiler [2020-06-20 13:49:27] 737*2^1561698-1 is not prime. Res64: A0C3C17889245BA8 Time : 0.0 sec. user=mdettweiler [2020-06-20 13:49:28] 767*2^1561698-1 is not prime. Res64: 1246E7D1780DADC7 Time : 0.0 sec. user=mdettweiler [2020-06-20 13:49:28] 861*2^1561698-1 is not prime. Res64: 0EBCFD96CA3924D4 Time : 0.0 sec. user=mdettweiler [2020-06-20 13:49:28] 915*2^1561698-1 is not prime. Res64: 0EB4B733AC918088 Time : 0.0 sec. user=mdettweiler [2020-06-20 13:52:20] 619*2^1561699-1 is not prime. Res64: 73DEA5855D83A647 Time : 0.0 sec. user=mdettweiler [2020-06-20 13:52:20] 631*2^1561699-1 is not prime. Res64: 32EAAE7DEF5AF108 Time : 0.0 sec. user=mdettweiler [2020-06-20 13:52:20] 765*2^1561699-1 is not prime. Res64: FC9EF551FA40F0EB Time : 0.0 sec. user=mdettweiler [2020-06-20 13:52:21] 835*2^1561699-1 is not prime. Res64: C64C13C7BB198D3D Time : 0.0 sec. user=mdettweiler [2020-06-20 13:52:21] 859*2^1561699-1 is not prime. Res64: D6316B6F31D98469 Time : 0.0 sec. user=mdettweiler [2020-06-20 14:31:55] 909*2^1561699-1 is not prime. Res64: 07B577AFF9941EF0 Time : 0.0 sec. user=mdettweiler [2020-06-20 14:31:56] 615*2^1561700-1 is not prime. Res64: AECF8DE389D490A0 Time : 0.0 sec. user=mdettweiler [2020-06-20 14:31:56] 633*2^1561700-1 is not prime. Res64: 5EFD6568E42D2195 Time : 0.0 sec. user=mdettweiler [2020-06-20 14:31:57] 707*2^1561700-1 is not prime. Res64: 2FB8E935201E46F3 Time : 0.0 sec. user=mdettweiler [2020-06-20 14:31:57] 795*2^1561700-1 is not prime. Res64: 65791FE6D38C9867 Time : 0.0 sec. user=mdettweiler [2020-06-20 14:42:51] 607*2^1561701-1 is not prime. Res64: 8A52D4C1A13FFF6D Time : 0.0 sec. user=mdettweiler [2020-06-20 14:42:52] 651*2^1561701-1 is not prime. Res64: 95366B02A1C67B66 Time : 0.0 sec. user=mdettweiler [2020-06-20 14:42:52] 727*2^1561701-1 is not prime. Res64: 713973B8161D5EBB Time : 0.0 sec. user=mdettweiler [2020-06-20 14:42:53] 741*2^1561701-1 is not prime. Res64: 4FEE24C96162375E Time : 0.0 sec. user=mdettweiler [2020-06-20 14:42:53] 825*2^1561701-1 is not prime. Res64: 81EE39A22EC2B234 Time : 0.0 sec. user=mdettweiler [2020-06-20 14:47:02] 927*2^1561701-1 is not prime. Res64: 91733EEF9989F1DA Time : 0.0 sec. user=mdettweiler [2020-06-20 14:47:03] 621*2^1561702-1 is not prime. Res64: EAF4A0303F559DB9 Time : 0.0 sec. user=mdettweiler [2020-06-20 14:47:03] 731*2^1561702-1 is not prime. Res64: 538197AEF8A807CB Time : 0.0 sec. user=mdettweiler [2020-06-20 14:47:04] 755*2^1561702-1 is not prime. Res64: 1C1E942D314E202D Time : 0.0 sec. user=mdettweiler [2020-06-20 14:47:04] 857*2^1561702-1 is not prime. Res64: 467228C383FAAE26 Time : 0.0 sec. user=mdettweiler [2020-06-20 15:25:10] 661*2^1561703-1 is not prime. Res64: 3A8886A65816864B Time : 0.0 sec. user=mdettweiler [2020-06-20 15:25:11] 685*2^1561703-1 is not prime. Res64: BD62F056683A2FC0 Time : 0.0 sec. user=mdettweiler [2020-06-20 15:25:11] 759*2^1561703-1 is not prime. Res64: 369664FFCB2724FE Time : 0.0 sec. user=mdettweiler [2020-06-20 15:25:12] 771*2^1561703-1 is not prime. Res64: A511E257D1BB0119 Time : 0.0 sec. user=mdettweiler [2020-06-20 15:25:13] 949*2^1561703-1 is not prime. Res64: 8B77D287A672A073 Time : 0.0 sec. user=mdettweiler [2020-06-20 15:36:08] 955*2^1561703-1 is not prime. Res64: C82B75A7E6618078 Time : 0.0 sec. user=mdettweiler [2020-06-20 15:36:09] 609*2^1561704-1 is not prime. Res64: 313031647F3950BD Time : 0.0 sec. user=mdettweiler [2020-06-20 15:36:10] 623*2^1561704-1 is not prime. Res64: C6B9A7306F75E8EF Time : 0.0 sec. user=mdettweiler [2020-06-20 15:36:10] 719*2^1561704-1 is not prime. Res64: C21D1083E05CF209 Time : 0.0 sec. user=mdettweiler [2020-06-20 15:36:11] 795*2^1561704-1 is not prime. Res64: 1C7F3A293A2863F4 Time : 0.0 sec. user=mdettweiler [2020-06-20 15:41:18] 899*2^1561704-1 is not prime. Res64: B5B3FFA6799E947B Time : 0.0 sec. user=mdettweiler [2020-06-20 15:41:18] 947*2^1561704-1 is not prime. Res64: DA4BA3E50F06C71C Time : 0.0 sec. user=mdettweiler [2020-06-20 15:41:19] 667*2^1561705-1 is not prime. Res64: 5D484E380689E698 Time : 0.0 sec. user=mdettweiler [2020-06-20 15:41:19] 717*2^1561705-1 is not prime. Res64: 7683A3D6461A02AA Time : 0.0 sec. user=mdettweiler [2020-06-20 15:41:19] 641*2^1561706-1 is not prime. Res64: 7E0D52690F1CFB59 Time : 0.0 sec. user=mdettweiler [2020-06-20 16:20:08] 705*2^1561706-1 is not prime. Res64: B05E9CD09C40E9E7 Time : 0.0 sec. user=mdettweiler [2020-06-20 16:20:09] 707*2^1561706-1 is not prime. Res64: EF514379D48471EE Time : 0.0 sec. user=mdettweiler [2020-06-20 16:20:10] 717*2^1561706-1 is not prime. Res64: 56357661FDA8F1F4 Time : 0.0 sec. user=mdettweiler [2020-06-20 16:20:10] 911*2^1561706-1 is not prime. Res64: A67A8B7D97A468C0 Time : 0.0 sec. user=mdettweiler [2020-06-20 16:20:11] 963*2^1561706-1 is not prime. Res64: 36F4B1CF919BE6CC Time : 0.0 sec. user=mdettweiler [2020-06-20 16:33:18] 983*2^1561706-1 is not prime. Res64: 1AAA2A075F679F83 Time : 0.0 sec. user=mdettweiler [2020-06-20 16:33:18] 793*2^1561707-1 is not prime. Res64: EB22CE5938FCBBEA Time : 0.0 sec. user=mdettweiler [2020-06-20 16:33:19] 871*2^1561707-1 is not prime. Res64: D27164631E73A149 Time : 0.0 sec. user=mdettweiler [2020-06-20 16:33:19] 951*2^1561707-1 is not prime. Res64: BD53F1E4A7D988D8 Time : 0.0 sec. user=mdettweiler [2020-06-20 16:33:20] 991*2^1561707-1 is not prime. Res64: CE0F297FA082503C Time : 0.0 sec. user=mdettweiler [2020-06-20 16:35:10] 707*2^1561708-1 is not prime. Res64: FD6FD1F284973BD2 Time : 0.0 sec. user=mdettweiler [2020-06-20 16:35:11] 749*2^1561708-1 is not prime. Res64: 385101B86DECE77B Time : 0.0 sec. user=mdettweiler [2020-06-20 16:35:11] 755*2^1561708-1 is not prime. Res64: 6C29D997EBE47B28 Time : 0.0 sec. user=mdettweiler [2020-06-20 16:35:12] 797*2^1561708-1 is not prime. Res64: 12F90682C640859D Time : 0.0 sec. user=mdettweiler [2020-06-20 16:35:12] 875*2^1561708-1 is not prime. Res64: 0AD2AC7F320B1E8F Time : 0.0 sec. user=mdettweiler [2020-06-20 17:15:34] 899*2^1561708-1 is not prime. Res64: EF164BFE1504AA20 Time : 0.0 sec. user=mdettweiler [2020-06-20 17:15:34] 905*2^1561708-1 is not prime. Res64: C2C33D782A26B757 Time : 0.0 sec. user=mdettweiler [2020-06-20 17:15:35] 631*2^1561709-1 is not prime. Res64: FF892D200DEE4264 Time : 0.0 sec. user=mdettweiler [2020-06-20 17:15:36] 657*2^1561709-1 is not prime. Res64: CBDD5C04EE639C57 Time : 0.0 sec. user=mdettweiler [2020-06-20 17:15:36] 949*2^1561709-1 is not prime. Res64: E64836DD26FF7F49 Time : 0.0 sec. user=mdettweiler [2020-06-20 17:27:04] 951*2^1561709-1 is not prime. Res64: E3067D4D52F6D78A Time : 0.0 sec. user=mdettweiler [2020-06-20 17:27:04] 711*2^1561710-1 is not prime. Res64: C1657C6CF3104584 Time : 0.0 sec. user=mdettweiler [2020-06-20 17:27:05] 717*2^1561710-1 is not prime. Res64: 64B59BEEA93F448E Time : 0.0 sec. user=mdettweiler [2020-06-20 17:27:05] 761*2^1561710-1 is not prime. Res64: 33274BC104BF1279 Time : 0.0 sec. user=mdettweiler [2020-06-20 17:27:06] 765*2^1561710-1 is not prime. Res64: 8035A129A7024E9B Time : 0.0 sec. user=mdettweiler [2020-06-20 17:31:07] 783*2^1561710-1 is not prime. Res64: A389D7631FFBA2F3 Time : 0.0 sec. user=mdettweiler [2020-06-20 17:31:08] 851*2^1561710-1 is not prime. Res64: 82F601F2315F0DFB Time : 0.0 sec. user=mdettweiler [2020-06-20 17:31:08] 945*2^1561710-1 is not prime. Res64: 0361F143CB1EB65F Time : 0.0 sec. user=mdettweiler [2020-06-20 17:31:09] 763*2^1561711-1 is not prime. Res64: FA452C322AA5FB54 Time : 0.0 sec. user=mdettweiler [2020-06-20 17:31:09] 819*2^1561711-1 is not prime. Res64: 0B3539CE572993CD Time : 0.0 sec. user=mdettweiler [2020-06-20 18:11:26] 861*2^1561711-1 is not prime. Res64: 3A2428848B9515C6 Time : 0.0 sec. user=mdettweiler [2020-06-20 18:11:27] 961*2^1561711-1 is not prime. Res64: 433186509C498FF2 Time : 0.0 sec. user=mdettweiler [2020-06-20 18:11:27] 975*2^1561711-1 is not prime. Res64: 083CFAB66F25F33C Time : 0.0 sec. user=mdettweiler [2020-06-20 18:11:28] 633*2^1561712-1 is not prime. Res64: 51D98B200623C64A Time : 0.0 sec. user=mdettweiler [2020-06-20 18:11:28] 759*2^1561712-1 is not prime. Res64: D8D302E5CCE5F73D Time : 0.0 sec. user=mdettweiler [2020-06-20 18:24:05] 803*2^1561712-1 is not prime. Res64: 8808B86C6998C7E3 Time : 0.0 sec. user=mdettweiler [2020-06-20 18:24:06] 825*2^1561712-1 is not prime. Res64: 57AA8990126BDEAD Time : 0.0 sec. user=mdettweiler [2020-06-20 18:24:06] 899*2^1561712-1 is not prime. Res64: F40358A8EA5FB0B3 Time : 0.0 sec. user=mdettweiler [2020-06-20 18:24:07] 935*2^1561712-1 is not prime. Res64: 33CF3170E471D03D Time : 0.0 sec. user=mdettweiler [2020-06-20 18:24:07] 963*2^1561712-1 is not prime. Res64: 5EEFE1E986614513 Time : 0.0 sec. user=mdettweiler [2020-06-20 18:25:26] 995*2^1561712-1 is not prime. Res64: CC938A77096D7F4F Time : 0.0 sec. user=mdettweiler [2020-06-20 18:25:26] 627*2^1561713-1 is not prime. Res64: 542E6BA95AF7EA1E Time : 0.0 sec. user=mdettweiler [2020-06-20 18:25:27] 649*2^1561713-1 is not prime. Res64: 01483048BAB52B16 Time : 0.0 sec. user=mdettweiler [2020-06-20 18:25:27] 705*2^1561713-1 is not prime. Res64: 78EC88DEDC0A9860 Time : 0.0 sec. user=mdettweiler [2020-06-20 18:25:28] 829*2^1561713-1 is not prime. Res64: 5F2FBFB0DE20DDBA Time : 0.0 sec. user=mdettweiler [2020-06-20 19:06:53] 867*2^1561713-1 is not prime. Res64: 1D4459D8A42BDEC7 Time : 0.0 sec. user=mdettweiler [2020-06-20 19:06:55] 919*2^1561713-1 is not prime. Res64: F520196E1C645611 Time : 0.0 sec. user=mdettweiler [2020-06-20 19:06:57] 969*2^1561713-1 is not prime. Res64: 7D5E718CA65B3CBD Time : 0.0 sec. user=mdettweiler [2020-06-20 19:06:58] 605*2^1561714-1 is not prime. Res64: 07D236350473969B Time : 0.0 sec. user=mdettweiler [2020-06-20 19:07:00] 635*2^1561714-1 is not prime. Res64: AB4B8E659B69BCAF Time : 0.0 sec. user=mdettweiler [2020-06-20 19:19:52] 657*2^1561714-1 is not prime. Res64: 4F7176FBE8B93CE5 Time : 0.0 sec. user=mdettweiler [2020-06-20 19:19:52] 887*2^1561714-1 is not prime. Res64: 1C70EDFB75AE5F8B Time : 0.0 sec. user=mdettweiler [2020-06-20 19:19:53] 945*2^1561714-1 is not prime. Res64: F646EC0B7D55B359 Time : 0.0 sec. user=mdettweiler [2020-06-20 19:19:53] 983*2^1561714-1 is not prime. Res64: D14EC2A2844DA688 Time : 0.0 sec. user=mdettweiler [2020-06-20 19:19:54] 775*2^1561715-1 is not prime. Res64: F1B9AF77CAA84C8C Time : 0.0 sec. user=mdettweiler [2020-06-20 19:22:38] 841*2^1561715-1 is not prime. Res64: 7E56340AA3055780 Time : 0.0 sec. user=mdettweiler [2020-06-20 19:22:38] 843*2^1561715-1 is not prime. Res64: D6AD02C961195472 Time : 0.0 sec. user=mdettweiler [2020-06-20 19:22:38] 883*2^1561715-1 is not prime. Res64: BEBE5AF93F47F8C3 Time : 0.0 sec. user=mdettweiler [2020-06-20 19:22:39] 979*2^1561715-1 is not prime. Res64: 24B5806BB5597022 Time : 0.0 sec. user=mdettweiler [2020-06-20 19:22:39] 693*2^1561716-1 is not prime. Res64: 9F56D8ADEBB7FCEE Time : 0.0 sec. user=mdettweiler [2020-06-20 20:03:20] 767*2^1561716-1 is not prime. Res64: FFDC56D77EB21B2D Time : 0.0 sec. user=mdettweiler [2020-06-20 20:03:22] 777*2^1561716-1 is not prime. Res64: B77369965C1277DA Time : 0.0 sec. user=mdettweiler [2020-06-20 20:03:24] 843*2^1561716-1 is not prime. Res64: 70307234573EFBE5 Time : 0.0 sec. user=mdettweiler [2020-06-20 20:03:26] 867*2^1561716-1 is not prime. Res64: 2DA8A03BFAFD3E8D Time : 0.0 sec. user=mdettweiler [2020-06-20 20:03:28] 909*2^1561716-1 is not prime. Res64: DD8091009FE04074 Time : 0.0 sec. user=mdettweiler [2020-06-20 20:14:41] 605*2^1561718-1 is not prime. Res64: 13D140023B533720 Time : 0.0 sec. user=mdettweiler [2020-06-20 20:14:41] 663*2^1561718-1 is not prime. Res64: 1E9D1622195A9F47 Time : 0.0 sec. user=mdettweiler [2020-06-20 20:14:41] 671*2^1561718-1 is not prime. Res64: 9D54DBDE1CE2314E Time : 0.0 sec. user=mdettweiler [2020-06-20 20:14:42] 707*2^1561718-1 is not prime. Res64: 0788BE58F4DDE79C Time : 0.0 sec. user=mdettweiler [2020-06-20 20:14:42] 711*2^1561718-1 is not prime. Res64: 7C8D4AE12C1671A1 Time : 0.0 sec. user=mdettweiler [2020-06-20 20:14:44] 607*2^1561717-1 is not prime. Res64: CE9B90BBC7067F30 Time : 0.0 sec. user=mdettweiler [2020-06-20 20:14:45] 727*2^1561717-1 is not prime. Res64: 57907C1C6F83B3F2 Time : 0.0 sec. user=mdettweiler [2020-06-20 20:14:45] 757*2^1561717-1 is not prime. Res64: 9E13B9453F493D3F Time : 0.0 sec. user=mdettweiler [2020-06-20 20:14:45] 817*2^1561717-1 is not prime. Res64: F3A2F6BA83E6C105 Time : 0.0 sec. user=mdettweiler [2020-06-20 20:14:46] 871*2^1561717-1 is not prime. Res64: 7F02837CA4B3BBA4 Time : 0.0 sec. user=mdettweiler [2020-06-20 21:00:36] 713*2^1561718-1 is not prime. Res64: D92F4E40E15F9046 Time : 0.0 sec. user=mdettweiler [2020-06-20 21:00:38] 815*2^1561718-1 is not prime. Res64: D0D1616CB891634E Time : 0.0 sec. user=mdettweiler [2020-06-20 21:00:39] 875*2^1561718-1 is not prime. Res64: 9F96427DE45F730F Time : 0.0 sec. user=mdettweiler [2020-06-20 21:00:41] 921*2^1561718-1 is not prime. Res64: 312C79234C9AA0B9 Time : 0.0 sec. user=mdettweiler [2020-06-20 21:00:42] 957*2^1561718-1 is not prime. Res64: C086814C22E69631 Time : 0.0 sec. user=mdettweiler [2020-06-20 21:08:32] 971*2^1561718-1 is not prime. Res64: 0938659702D79BDB Time : 0.0 sec. user=mdettweiler [2020-06-20 21:08:33] 621*2^1561719-1 is not prime. Res64: EC45B014FD41004F Time : 0.0 sec. user=mdettweiler [2020-06-20 21:08:33] 663*2^1561719-1 is not prime. Res64: 6515AF1DBB0B1494 Time : 0.0 sec. user=mdettweiler [2020-06-20 21:08:34] 669*2^1561719-1 is not prime. Res64: 45E597F0F3E5BE0F Time : 0.0 sec. user=mdettweiler [2020-06-20 21:08:34] 691*2^1561719-1 is not prime. Res64: E052AF885296EDC6 Time : 0.0 sec. user=mdettweiler [2020-06-20 21:09:34] 711*2^1561719-1 is not prime. Res64: 6143AE0CD451EF33 Time : 0.0 sec. user=mdettweiler [2020-06-20 21:09:34] 723*2^1561719-1 is not prime. Res64: 8B1FC1687095FE73 Time : 0.0 sec. user=mdettweiler [2020-06-20 21:09:34] 735*2^1561719-1 is not prime. Res64: EF5309516D268CB1 Time : 0.0 sec. user=mdettweiler [2020-06-20 21:09:35] 763*2^1561719-1 is not prime. Res64: A805C1063F320AD8 Time : 0.0 sec. user=mdettweiler [2020-06-20 21:09:35] 859*2^1561719-1 is not prime. Res64: 046F93C898EDB6FF Time : 0.0 sec. user=mdettweiler [2020-06-20 21:55:50] 931*2^1561719-1 is not prime. Res64: E9A0D562B9A17902 Time : 0.0 sec. user=mdettweiler [2020-06-20 21:55:50] 933*2^1561719-1 is not prime. Res64: A5820CDE289C0A37 Time : 0.0 sec. user=mdettweiler [2020-06-20 21:55:51] 665*2^1561720-1 is not prime. Res64: 3CA1047E3FB86B2E Time : 0.0 sec. user=mdettweiler [2020-06-20 21:55:51] 717*2^1561720-1 is not prime. Res64: DF4DB72CE145468E Time : 0.0 sec. user=mdettweiler [2020-06-20 21:55:52] 743*2^1561720-1 is not prime. Res64: 1D5218D6D77CD83E Time : 0.0 sec. user=mdettweiler [2020-06-20 22:06:55] 939*2^1561720-1 is not prime. Res64: 50F85EF6B7B12D66 Time : 0.0 sec. user=mdettweiler [2020-06-20 22:06:59] 965*2^1561720-1 is not prime. Res64: 2FF43FB3F0CF3D78 Time : 0.0 sec. user=mdettweiler [2020-06-20 22:07:02] 849*2^1561720-1 is not prime. Res64: BE3E1D36E316E73B Time : 0.0 sec. user=mdettweiler [2020-06-20 22:07:02] 989*2^1561720-1 is not prime. Res64: 4C3CBEA00966089B Time : 0.0 sec. user=mdettweiler [2020-06-20 22:07:04] 691*2^1561721-1 is not prime. Res64: 6ED07D9DAE81FF31 Time : 0.0 sec. user=mdettweiler [2020-06-20 22:07:07] 873*2^1561720-1 is not prime. Res64: 243EFB347C71E253 Time : 0.0 sec. user=mdettweiler [2020-06-20 22:07:09] 837*2^1561721-1 is not prime. Res64: B4E4EAA8E7751CF8 Time : 0.0 sec. user=mdettweiler [2020-06-20 22:07:12] 917*2^1561720-1 is not prime. Res64: 7DC1DE6FE25A3E70 Time : 0.0 sec. user=mdettweiler [2020-06-20 22:07:14] 927*2^1561720-1 is not prime. Res64: 19301D8A1A853A0D Time : 0.0 sec. user=mdettweiler [2020-06-20 22:07:16] 933*2^1561720-1 is not prime. Res64: 3230099A8CA506CB Time : 0.0 sec. user=mdettweiler [2020-06-20 22:51:09] 925*2^1561721-1 is not prime. Res64: A8BA33C82665C5FC Time : 0.0 sec. user=mdettweiler [2020-06-20 22:51:10] 937*2^1561721-1 is not prime. Res64: 1FE44DEFF0B17C8D Time : 0.0 sec. user=mdettweiler [2020-06-20 22:51:10] 949*2^1561721-1 is not prime. Res64: 8D5C0FBF644EEB1E Time : 0.0 sec. user=mdettweiler [2020-06-20 22:51:11] 621*2^1561722-1 is not prime. Res64: 9E7D3955E9B5844E Time : 0.0 sec. user=mdettweiler [2020-06-20 22:51:11] 633*2^1561722-1 is not prime. Res64: BB1EDE56F39CE86A Time : 0.0 sec. user=mdettweiler [2020-06-20 23:05:01] 741*2^1561723-1 is not prime. Res64: 5F7BC83C68B86AD0 Time : 0.0 sec. user=mdettweiler [2020-06-20 23:05:03] 819*2^1561723-1 is not prime. Res64: E86A5E1D6D180BD0 Time : 0.0 sec. user=mdettweiler [2020-06-20 23:05:04] 975*2^1561722-1 is not prime. Res64: 1C6A0CED09582152 Time : 0.0 sec. user=mdettweiler [2020-06-20 23:05:04] 829*2^1561723-1 is not prime. Res64: 7C9F280855464708 Time : 0.0 sec. user=mdettweiler [2020-06-20 23:05:05] 915*2^1561723-1 is not prime. Res64: 1B0FE8A295AFB6E4 Time : 0.0 sec. user=mdettweiler [2020-06-20 23:05:06] 853*2^1561723-1 is not prime. Res64: 09B7F5139966A964 Time : 0.0 sec. user=mdettweiler [2020-06-20 23:05:06] 725*2^1561724-1 is not prime. Res64: 653CA07A49CD3A16 Time : 0.0 sec. user=mdettweiler [2020-06-20 23:05:07] 885*2^1561724-1 is not prime. Res64: 4B939236438339A9 Time : 0.0 sec. user=mdettweiler [2020-06-20 23:05:07] 871*2^1561723-1 is not prime. Res64: 5EBD4E2340808412 Time : 0.0 sec. user=mdettweiler [2020-06-20 23:05:08] 909*2^1561724-1 is not prime. Res64: 37315EDCFBEEB16E Time : 0.0 sec. user=mdettweiler [2020-06-20 23:45:35] 655*2^1561725-1 is not prime. Res64: FDC83DEA49658A5E Time : 0.0 sec. user=mdettweiler [2020-06-20 23:45:36] 741*2^1561725-1 is not prime. Res64: AE007189BF1DB446 Time : 0.0 sec. user=mdettweiler [2020-06-20 23:45:36] 847*2^1561725-1 is not prime. Res64: 22377D2573A323DC Time : 0.0 sec. user=mdettweiler [2020-06-20 23:45:37] 867*2^1561725-1 is not prime. Res64: DEF44C026539F751 Time : 0.0 sec. user=mdettweiler [2020-06-20 23:45:37] 647*2^1561726-1 is not prime. Res64: 4734F7E3B9E341F9 Time : 0.0 sec. user=mdettweiler [2020-06-20 23:58:30] 633*2^1561727-1 is not prime. Res64: 9B2914BCE3442011 Time : 0.0 sec. user=mdettweiler [2020-06-20 23:58:31] 759*2^1561727-1 is not prime. Res64: 3189BB5E29029659 Time : 0.0 sec. user=mdettweiler [2020-06-20 23:58:31] 799*2^1561727-1 is not prime. Res64: 0EF2BCA96046E5A6 Time : 0.0 sec. user=mdettweiler [2020-06-20 23:58:32] 823*2^1561727-1 is not prime. Res64: 00F323ADF178EDC1 Time : 0.0 sec. user=mdettweiler [2020-06-20 23:58:32] 633*2^1561728-1 is not prime. Res64: 1F2D59FCF5507E0E Time : 0.0 sec. user=mdettweiler [2020-06-21 00:00:07] 723*2^1561726-1 is not prime. Res64: 03B95D0D52E27E00 Time : 0.0 sec. user=mdettweiler [2020-06-21 00:00:09] 765*2^1561726-1 is not prime. Res64: 7B4F936D7EA3F4EA Time : 0.0 sec. user=mdettweiler [2020-06-21 00:00:09] 783*2^1561726-1 is not prime. Res64: 6E915853FF87F154 Time : 0.0 sec. user=mdettweiler [2020-06-21 00:00:09] 833*2^1561726-1 is not prime. Res64: 382162254797FE02 Time : 0.0 sec. user=mdettweiler [2020-06-21 00:00:10] 861*2^1561726-1 is not prime. Res64: 34AFBDA74D0A2E00 Time : 0.0 sec.