user=mdettweiler [2018-03-03 00:01:24] 977*2^1503402-1 is not prime. Res64: D547AEC7986EBAB5 Time : 0.0 sec. user=mdettweiler [2018-03-03 00:01:25] 603*2^1503403-1 is not prime. Res64: F8BA8400954F9DB3 Time : 0.0 sec. user=mdettweiler [2018-03-03 00:01:25] 663*2^1503403-1 is not prime. Res64: CB010BAD58637611 Time : 0.0 sec. user=mdettweiler [2018-03-03 00:01:26] 681*2^1503403-1 is not prime. Res64: 12BAC73ACC48074F Time : 0.0 sec. user=mdettweiler [2018-03-03 00:01:26] 741*2^1503403-1 is not prime. Res64: 9DD23CC01443281F Time : 0.0 sec. user=mdettweiler [2018-03-03 00:18:10] 789*2^1503403-1 is not prime. Res64: 4ACE5ABA086E3709 Time : 0.0 sec. user=mdettweiler [2018-03-03 00:18:11] 835*2^1503403-1 is not prime. Res64: B32028EA38627201 Time : 0.0 sec. user=mdettweiler [2018-03-03 00:18:11] 871*2^1503403-1 is not prime. Res64: F3020EDFE145548C Time : 0.0 sec. user=mdettweiler [2018-03-03 00:18:12] 605*2^1503404-1 is not prime. Res64: 97E9AA09A4701299 Time : 0.0 sec. user=mdettweiler [2018-03-03 00:18:12] 675*2^1503404-1 is not prime. Res64: 64619338F99B2E0F Time : 0.0 sec. user=mdettweiler [2018-03-03 00:49:33] 795*2^1503404-1 is not prime. Res64: 5123786A5C5CBC54 Time : 0.0 sec. user=mdettweiler [2018-03-03 00:49:33] 983*2^1503404-1 is not prime. Res64: B020169431597C40 Time : 0.0 sec. user=mdettweiler [2018-03-03 00:49:34] 717*2^1503405-1 is not prime. Res64: 9B3023B09B029766 Time : 0.0 sec. user=mdettweiler [2018-03-03 00:49:34] 825*2^1503405-1 is not prime. Res64: 28663E394FA3B7EC Time : 0.0 sec. user=mdettweiler [2018-03-03 00:49:35] 891*2^1503405-1 is not prime. Res64: 61072366F143BD10 Time : 0.0 sec. user=mdettweiler [2018-03-03 00:51:45] 919*2^1503405-1 is not prime. Res64: F83AFC436B1EFC3E Time : 0.0 sec. user=mdettweiler [2018-03-03 00:51:46] 937*2^1503405-1 is not prime. Res64: 806245B4E5EFF1E6 Time : 0.0 sec. user=mdettweiler [2018-03-03 00:51:46] 755*2^1503406-1 is not prime. Res64: 5701F7F95369DC71 Time : 0.0 sec. user=mdettweiler [2018-03-03 00:51:46] 821*2^1503406-1 is not prime. Res64: 011845C8AE320365 Time : 0.0 sec. user=mdettweiler [2018-03-03 00:51:47] 857*2^1503406-1 is not prime. Res64: DFD5534E9B7949EF Time : 0.0 sec. user=mdettweiler [2018-03-03 01:07:32] 861*2^1503406-1 is not prime. Res64: 2331863BCE410867 Time : 0.0 sec. user=mdettweiler [2018-03-03 01:07:36] 903*2^1503406-1 is not prime. Res64: 3DC321460B3714DC Time : 0.0 sec. user=mdettweiler [2018-03-03 01:07:39] 663*2^1503407-1 is not prime. Res64: 1DC4D3680369C6FF Time : 0.0 sec. user=mdettweiler [2018-03-03 01:07:40] 673*2^1503407-1 is not prime. Res64: 1AD7684131430325 Time : 0.0 sec. user=mdettweiler [2018-03-03 01:07:42] 799*2^1503407-1 is not prime. Res64: 3B472C19B00012A1 Time : 0.0 sec. user=mdettweiler [2018-03-03 01:38:39] 805*2^1503407-1 is not prime. Res64: B98B04E271C6040C Time : 0.0 sec. user=mdettweiler [2018-03-03 01:38:40] 861*2^1503407-1 is not prime. Res64: BF6A253BE34E31B3 Time : 0.0 sec. user=mdettweiler [2018-03-03 01:38:41] 887*2^1503408-1 is not prime. Res64: 1D22BA826863639E Time : 0.0 sec. user=mdettweiler [2018-03-03 01:38:41] 625*2^1503409-1 is not prime. Res64: 452469B9BCC9EB0A Time : 0.0 sec. user=mdettweiler [2018-03-03 01:38:42] 687*2^1503409-1 is not prime. Res64: 60E70B4591409421 Time : 0.0 sec. user=mdettweiler [2018-03-03 01:39:44] 721*2^1503409-1 is not prime. Res64: 10C85CE966B16C64 Time : 0.0 sec. user=mdettweiler [2018-03-03 01:39:45] 885*2^1503409-1 is not prime. Res64: DC6B991AAC652E15 Time : 0.0 sec. user=mdettweiler [2018-03-03 01:39:46] 633*2^1503410-1 is not prime. Res64: 067ACEA6171D9FC8 Time : 0.0 sec. user=mdettweiler [2018-03-03 01:39:47] 641*2^1503410-1 is not prime. Res64: FCE72FB6FB0C1C48 Time : 0.0 sec. user=mdettweiler [2018-03-03 01:39:48] 651*2^1503410-1 is not prime. Res64: 53D457874B5EE089 Time : 0.0 sec. user=mdettweiler [2018-03-03 01:57:08] 735*2^1503410-1 is not prime. Res64: D35C6257C3938AB0 Time : 0.0 sec. user=mdettweiler [2018-03-03 01:57:08] 741*2^1503410-1 is not prime. Res64: 1451FA86282BD905 Time : 0.0 sec. user=mdettweiler [2018-03-03 01:57:08] 801*2^1503410-1 is not prime. Res64: 100C160E20EA33D7 Time : 0.0 sec. user=mdettweiler [2018-03-03 01:57:09] 851*2^1503410-1 is not prime. Res64: B5846695148CA5F1 Time : 0.0 sec. user=mdettweiler [2018-03-03 01:57:09] 923*2^1503410-1 is not prime. Res64: 667157FA7AC37AA5 Time : 0.0 sec. user=mdettweiler [2018-03-03 02:27:08] 609*2^1503411-1 is not prime. Res64: F545EA3EDB03A27D Time : 0.0 sec. user=mdettweiler [2018-03-03 02:27:09] 619*2^1503411-1 is not prime. Res64: 1121DA91594FB36E Time : 0.0 sec. user=mdettweiler [2018-03-03 02:27:09] 709*2^1503411-1 is not prime. Res64: 632632B43FEE039C Time : 0.0 sec. user=mdettweiler [2018-03-03 02:27:10] 735*2^1503411-1 is not prime. Res64: AB515080C280EEAA Time : 0.0 sec. user=mdettweiler [2018-03-03 02:27:10] 781*2^1503411-1 is not prime. Res64: D871E160F5B8168C Time : 0.0 sec. user=mdettweiler [2018-03-03 02:28:50] 909*2^1503411-1 is not prime. Res64: 83672675E4B1DB85 Time : 0.0 sec. user=mdettweiler [2018-03-03 02:28:51] 913*2^1503411-1 is not prime. Res64: BDBC8C92766BB0B1 Time : 0.0 sec. user=mdettweiler [2018-03-03 02:28:51] 617*2^1503412-1 is not prime. Res64: AD72D79DCAEF6C94 Time : 0.0 sec. user=mdettweiler [2018-03-03 02:28:52] 689*2^1503412-1 is not prime. Res64: AFAA858CE6618237 Time : 0.0 sec. user=mdettweiler [2018-03-03 02:28:52] 857*2^1503412-1 is not prime. Res64: 4F224D15103A06DE Time : 0.0 sec. user=mdettweiler [2018-03-03 02:46:58] 873*2^1503412-1 is not prime. Res64: E8433005029DC19D Time : 0.0 sec. user=mdettweiler [2018-03-03 02:46:59] 965*2^1503412-1 is not prime. Res64: AB583FD82F6E33F1 Time : 0.0 sec. user=mdettweiler [2018-03-03 02:47:00] 975*2^1503412-1 is not prime. Res64: 2E1C6F37EDBBD46B Time : 0.0 sec. user=mdettweiler [2018-03-03 02:47:00] 989*2^1503412-1 is not prime. Res64: EF8B9E90ED16AB82 Time : 0.0 sec. user=mdettweiler [2018-03-03 02:47:01] 607*2^1503413-1 is not prime. Res64: B3DC876D92FC4BC5 Time : 0.0 sec. user=mdettweiler [2018-03-03 03:18:44] 773*2^1503414-1 is not prime. Res64: 5FED4E9CD756AEA6 Time : 0.0 sec. user=mdettweiler [2018-03-03 03:18:44] 807*2^1503414-1 is not prime. Res64: 17A5604E6FFF14AD Time : 0.0 sec. user=mdettweiler [2018-03-03 03:18:45] 947*2^1503414-1 is not prime. Res64: 13F0ED07E4D2FD28 Time : 0.0 sec. user=mdettweiler [2018-03-03 03:18:45] 649*2^1503415-1 is not prime. Res64: 6D5D889C07E4CE4D Time : 0.0 sec. user=mdettweiler [2018-03-03 03:18:46] 651*2^1503415-1 is not prime. Res64: 57AA3674697A2DAA Time : 0.0 sec. user=mdettweiler [2018-03-03 03:19:20] 811*2^1503413-1 is not prime. Res64: 196B6B201A3963C4 Time : 0.0 sec. user=mdettweiler [2018-03-03 03:19:21] 871*2^1503413-1 is not prime. Res64: 8A06D7F631B5FB9E Time : 0.0 sec. user=mdettweiler [2018-03-03 03:19:21] 915*2^1503413-1 is not prime. Res64: B4168617CF2B4083 Time : 0.0 sec. user=mdettweiler [2018-03-03 03:19:22] 657*2^1503414-1 is not prime. Res64: 08DC80D0FFD532DB Time : 0.0 sec. user=mdettweiler [2018-03-03 03:19:22] 683*2^1503414-1 is not prime. Res64: EE9ED31D16F76F30 Time : 0.0 sec. user=mdettweiler [2018-03-03 03:36:09] 673*2^1503415-1 is not prime. Res64: 536281EDFB72D302 Time : 0.0 sec. user=mdettweiler [2018-03-03 03:36:12] 735*2^1503415-1 is not prime. Res64: D77CD72DF679877D Time : 0.0 sec. user=mdettweiler [2018-03-03 03:36:13] 741*2^1503415-1 is not prime. Res64: 8602CD6CDD248CA8 Time : 0.0 sec. user=mdettweiler [2018-03-03 03:36:14] 763*2^1503415-1 is not prime. Res64: 24EC03E374121F81 Time : 0.0 sec. user=mdettweiler [2018-03-03 03:36:15] 793*2^1503415-1 is not prime. Res64: 20789C1A3A9C4279 Time : 0.0 sec. user=mdettweiler [2018-03-03 04:07:29] 859*2^1503415-1 is not prime. Res64: BE0C6C5683A0A3E1 Time : 0.0 sec. user=mdettweiler [2018-03-03 04:07:32] 871*2^1503415-1 is not prime. Res64: 3BB02FFBB2610584 Time : 0.0 sec. user=mdettweiler [2018-03-03 04:07:36] 889*2^1503415-1 is not prime. Res64: 396AE01B5D16F13F Time : 0.0 sec. user=mdettweiler [2018-03-03 04:07:38] 603*2^1503416-1 is not prime. Res64: 42969BD0568E4975 Time : 0.0 sec. user=mdettweiler [2018-03-03 04:07:40] 633*2^1503416-1 is not prime. Res64: 17EA906B9B0789AB Time : 0.0 sec. user=mdettweiler [2018-03-03 04:08:10] 777*2^1503416-1 is not prime. Res64: 061F2A4C1BFD4479 Time : 0.0 sec. user=mdettweiler [2018-03-03 04:08:13] 875*2^1503416-1 is not prime. Res64: 6295AAC49469C6F9 Time : 0.0 sec. user=mdettweiler [2018-03-03 04:08:16] 625*2^1503417-1 is not prime. Res64: CB165BCEF51EFC28 Time : 0.0 sec. user=mdettweiler [2018-03-03 04:08:20] 661*2^1503417-1 is not prime. Res64: 73F8803DE2CA44DB Time : 0.0 sec. user=mdettweiler [2018-03-03 04:08:23] 691*2^1503417-1 is not prime. Res64: BAE5CDADE950AC17 Time : 0.0 sec. user=mdettweiler [2018-03-03 04:25:20] 735*2^1503417-1 is not prime. Res64: 5A350FF186A849C2 Time : 0.0 sec. user=mdettweiler [2018-03-03 04:25:21] 747*2^1503417-1 is not prime. Res64: 38C7E60FDFA42F45 Time : 0.0 sec. user=mdettweiler [2018-03-03 04:25:21] 871*2^1503417-1 is not prime. Res64: A9A8D05DDAA2BDEC Time : 0.0 sec. user=mdettweiler [2018-03-03 04:25:21] 919*2^1503417-1 is not prime. Res64: 73BFDA623512BFE3 Time : 0.0 sec. user=mdettweiler [2018-03-03 04:25:22] 605*2^1503418-1 is not prime. Res64: 0D73B140E5FB2B8B Time : 0.0 sec. user=mdettweiler [2018-03-03 04:56:53] 603*2^1503419-1 is not prime. Res64: B709EF9598B5DE9C Time : 0.0 sec. user=mdettweiler [2018-03-03 04:56:53] 631*2^1503419-1 is not prime. Res64: F3A9A694D9954EA0 Time : 0.0 sec. user=mdettweiler [2018-03-03 04:56:53] 741*2^1503419-1 is not prime. Res64: DCD03E2B63BF1583 Time : 0.0 sec. user=mdettweiler [2018-03-03 04:56:54] 759*2^1503419-1 is not prime. Res64: FD3B405501055FA1 Time : 0.0 sec. user=mdettweiler [2018-03-03 04:56:54] 895*2^1503419-1 is not prime. Res64: 5BE31B867A2CE9B9 Time : 0.0 sec. user=mdettweiler [2018-03-03 04:57:01] 617*2^1503418-1 is not prime. Res64: 14D67D66650A2117 Time : 0.0 sec. user=mdettweiler [2018-03-03 04:57:01] 651*2^1503418-1 is not prime. Res64: 88DEAAA6C8242BE6 Time : 0.0 sec. user=mdettweiler [2018-03-03 04:57:02] 707*2^1503418-1 is not prime. Res64: 8583996BC1EF16DB Time : 0.0 sec. user=mdettweiler [2018-03-03 04:57:02] 723*2^1503418-1 is not prime. Res64: 5760DB2AB6698973 Time : 0.0 sec. user=mdettweiler [2018-03-03 04:57:03] 773*2^1503418-1 is not prime. Res64: 5FAA5B1221825459 Time : 0.0 sec. user=mdettweiler [2018-03-03 05:14:47] 719*2^1503420-1 is not prime. Res64: F40A364A759A8640 Time : 0.0 sec. user=mdettweiler [2018-03-03 05:14:48] 767*2^1503420-1 is not prime. Res64: FB85CF6E3DE2366F Time : 0.0 sec. user=mdettweiler [2018-03-03 05:14:48] 839*2^1503420-1 is not prime. Res64: BF1A843D67125B0D Time : 0.0 sec. user=mdettweiler [2018-03-03 05:14:49] 887*2^1503420-1 is not prime. Res64: 02FBC9A5DA527B58 Time : 0.0 sec. user=mdettweiler [2018-03-03 05:14:49] 909*2^1503420-1 is not prime. Res64: 5F7FD619E1A446CE Time : 0.0 sec. user=mdettweiler [2018-03-03 05:44:35] 927*2^1503420-1 is not prime. Res64: B4699DC8003119EF Time : 0.0 sec. user=mdettweiler [2018-03-03 05:44:35] 615*2^1503421-1 is not prime. Res64: D26AFCD47486CD74 Time : 0.0 sec. user=mdettweiler [2018-03-03 05:44:36] 625*2^1503421-1 is not prime. Res64: E930FF9290BC7141 Time : 0.0 sec. user=mdettweiler [2018-03-03 05:44:36] 645*2^1503421-1 is not prime. Res64: F2EC930592691CCE Time : 0.0 sec. user=mdettweiler [2018-03-03 05:44:37] 687*2^1503421-1 is not prime. Res64: 2542966F979FD0D1 Time : 0.0 sec. user=mdettweiler [2018-03-03 05:45:58] 751*2^1503421-1 is not prime. Res64: 1760BFBE35A3EB9E Time : 0.0 sec. user=mdettweiler [2018-03-03 05:45:59] 825*2^1503421-1 is not prime. Res64: 4FED122787271B5B Time : 0.0 sec. user=mdettweiler [2018-03-03 05:45:59] 871*2^1503421-1 is not prime. Res64: 7177BD21D7CD6C08 Time : 0.0 sec. user=mdettweiler [2018-03-03 05:46:00] 979*2^1503421-1 is not prime. Res64: CC4CB34B966566B5 Time : 0.0 sec. user=mdettweiler [2018-03-03 05:46:00] 603*2^1503422-1 is not prime. Res64: E2097F42E3FE7620 Time : 0.0 sec. user=mdettweiler [2018-03-03 06:03:46] 651*2^1503422-1 is not prime. Res64: 6883B7D89CBB0832 Time : 0.0 sec. user=mdettweiler [2018-03-03 06:03:49] 677*2^1503422-1 is not prime. Res64: 9819F5D51CF0FCBF Time : 0.0 sec. user=mdettweiler [2018-03-03 06:03:50] 713*2^1503422-1 is not prime. Res64: 765E0CC03B0B4EBA Time : 0.0 sec. user=mdettweiler [2018-03-03 06:03:52] 827*2^1503422-1 is not prime. Res64: 5378AA93DA700E92 Time : 0.0 sec. user=mdettweiler [2018-03-03 06:03:55] 893*2^1503422-1 is not prime. Res64: 39AA43BE2625B5E3 Time : 0.0 sec. user=mdettweiler [2018-03-03 06:34:07] 923*2^1503422-1 is not prime. Res64: 985721E9DD54948E Time : 0.0 sec. user=mdettweiler [2018-03-03 06:34:07] 965*2^1503422-1 is not prime. Res64: FAC1311F5FF48D8F Time : 0.0 sec. user=mdettweiler [2018-03-03 06:34:08] 1001*2^1503422-1 is not prime. Res64: DC42AA1EC38F9554 Time : 0.0 sec. user=mdettweiler [2018-03-03 06:34:08] 745*2^1503423-1 is not prime. Res64: 5B71D5FD679CD9AC Time : 0.0 sec. user=mdettweiler [2018-03-03 06:34:09] 765*2^1503423-1 is not prime. Res64: E359C7CAC34F1D84 Time : 0.0 sec. user=mdettweiler [2018-03-03 06:35:56] 823*2^1503423-1 is not prime. Res64: AB9B4B3307FB558A Time : 0.0 sec. user=mdettweiler [2018-03-03 06:35:56] 825*2^1503423-1 is not prime. Res64: 9B04216C51CFA482 Time : 0.0 sec. user=mdettweiler [2018-03-03 06:35:56] 853*2^1503423-1 is not prime. Res64: 4F04F0591C1C9B44 Time : 0.0 sec. user=mdettweiler [2018-03-03 06:35:57] 879*2^1503423-1 is not prime. Res64: 048BD2C671EEBE08 Time : 0.0 sec. user=mdettweiler [2018-03-03 06:35:57] 963*2^1503423-1 is not prime. Res64: 371301FC7A113F1A Time : 0.0 sec. user=mdettweiler [2018-03-03 06:53:47] 705*2^1503424-1 is not prime. Res64: 2535251EC2061802 Time : 0.0 sec. user=mdettweiler [2018-03-03 06:53:48] 719*2^1503424-1 is not prime. Res64: 14C0DAD509B7A37E Time : 0.0 sec. user=mdettweiler [2018-03-03 06:53:48] 869*2^1503424-1 is not prime. Res64: EFD4E53586E24DA5 Time : 0.0 sec. user=mdettweiler [2018-03-03 06:53:48] 917*2^1503424-1 is not prime. Res64: DA4FEFD22027448C Time : 0.0 sec. user=mdettweiler [2018-03-03 06:53:49] 969*2^1503424-1 is not prime. Res64: 5EA6B53CCAAC6CB7 Time : 0.0 sec. user=mdettweiler [2018-03-03 07:23:46] 675*2^1503425-1 is not prime. Res64: 343100898BF4B492 Time : 0.0 sec. user=mdettweiler [2018-03-03 07:23:47] 771*2^1503425-1 is not prime. Res64: 2DE1B6361B8BBED9 Time : 0.0 sec. user=mdettweiler [2018-03-03 07:23:47] 777*2^1503425-1 is not prime. Res64: 46103986EA28C515 Time : 0.0 sec. user=mdettweiler [2018-03-03 07:23:48] 799*2^1503425-1 is not prime. Res64: 800BD45077FBAA16 Time : 0.0 sec. user=mdettweiler [2018-03-03 07:23:48] 865*2^1503425-1 is not prime. Res64: 03D52499E85764B5 Time : 0.0 sec. user=mdettweiler [2018-03-03 07:25:58] 867*2^1503425-1 is not prime. Res64: 68E72A9BB7A08932 Time : 0.0 sec. user=mdettweiler [2018-03-03 07:25:58] 871*2^1503425-1 is not prime. Res64: 1B553A5CC75D6CE1 Time : 0.0 sec. user=mdettweiler [2018-03-03 07:25:59] 889*2^1503425-1 is not prime. Res64: 7ED8E5EF8244BA20 Time : 0.0 sec. user=mdettweiler [2018-03-03 07:25:59] 925*2^1503425-1 is not prime. Res64: 2A8D42603A86DB28 Time : 0.0 sec. user=mdettweiler [2018-03-03 07:25:59] 955*2^1503425-1 is not prime. Res64: B5D1C62B09E720CF Time : 0.0 sec. user=mdettweiler [2018-03-03 07:42:09] 957*2^1503425-1 is not prime. Res64: 8ACC3F2ED22AC7EE Time : 0.0 sec. user=mdettweiler [2018-03-03 07:42:10] 641*2^1503426-1 is not prime. Res64: 3D6A46EE034BCD3F Time : 0.0 sec. user=mdettweiler [2018-03-03 07:42:10] 657*2^1503426-1 is not prime. Res64: 1D447DD6E2466B5F Time : 0.0 sec. user=mdettweiler [2018-03-03 07:42:10] 671*2^1503426-1 is not prime. Res64: 0674E6C0F2A10C4D Time : 0.0 sec. user=mdettweiler [2018-03-03 07:42:11] 755*2^1503426-1 is not prime. Res64: D2FA74A9EFF31DCA Time : 0.0 sec. user=mdettweiler [2018-03-03 08:11:50] 923*2^1503426-1 is not prime. Res64: 624EAE7F92B0EE60 Time : 0.0 sec. user=mdettweiler [2018-03-03 08:11:51] 609*2^1503427-1 is not prime. Res64: 34AB454FCD2E9977 Time : 0.0 sec. user=mdettweiler [2018-03-03 08:11:51] 645*2^1503427-1 is not prime. Res64: 701F792B9A98A8A4 Time : 0.0 sec. user=mdettweiler [2018-03-03 08:11:52] 675*2^1503427-1 is not prime. Res64: EFA736F79157898A Time : 0.0 sec. user=mdettweiler [2018-03-03 08:11:52] 681*2^1503427-1 is not prime. Res64: 92B470A3536D296C Time : 0.0 sec. user=mdettweiler [2018-03-03 08:14:59] 685*2^1503427-1 is not prime. Res64: E9ADBEED0F6B4AA2 Time : 0.0 sec. user=mdettweiler [2018-03-03 08:14:59] 813*2^1503427-1 is not prime. Res64: AAB31FC3F1DD6710 Time : 0.0 sec. user=mdettweiler [2018-03-03 08:15:00] 819*2^1503427-1 is not prime. Res64: 74F6986648D204EE Time : 0.0 sec. user=mdettweiler [2018-03-03 08:15:00] 915*2^1503427-1 is not prime. Res64: BABA5A6E2BB905FA Time : 0.0 sec. user=mdettweiler [2018-03-03 08:15:01] 623*2^1503428-1 is not prime. Res64: F7D18EA8041B8A36 Time : 0.0 sec. user=mdettweiler [2018-03-03 08:31:17] 629*2^1503428-1 is not prime. Res64: 2D81FF96A40DD6C9 Time : 0.0 sec. user=mdettweiler [2018-03-03 08:31:17] 633*2^1503428-1 is not prime. Res64: 63238EEC0C3E541A Time : 0.0 sec. user=mdettweiler [2018-03-03 08:31:18] 707*2^1503428-1 is not prime. Res64: A9CD7134F336FFD6 Time : 0.0 sec. user=mdettweiler [2018-03-03 08:31:18] 855*2^1503428-1 is not prime. Res64: E0EE8D586F0852EC Time : 0.0 sec. user=mdettweiler [2018-03-03 08:31:19] 875*2^1503428-1 is not prime. Res64: 49770BF9DE184771 Time : 0.0 sec. user=mdettweiler [2018-03-03 09:02:05] 691*2^1503429-1 is not prime. Res64: 2BF63158105E16E9 Time : 0.0 sec. user=mdettweiler [2018-03-03 09:02:06] 721*2^1503429-1 is not prime. Res64: 9689ACC083D98ADB Time : 0.0 sec. user=mdettweiler [2018-03-03 09:02:08] 741*2^1503429-1 is not prime. Res64: 9553F67FD5DB227D Time : 0.0 sec. user=mdettweiler [2018-03-03 09:02:10] 877*2^1503429-1 is not prime. Res64: 37A0A36B9DC77D5B Time : 0.0 sec. user=mdettweiler [2018-03-03 09:02:11] 945*2^1503429-1 is not prime. Res64: F463C2D1308AD5FF Time : 0.0 sec. user=mdettweiler [2018-03-03 09:05:10] 991*2^1503429-1 is not prime. Res64: 6F736DFB95F1B921 Time : 0.0 sec. user=mdettweiler [2018-03-03 09:05:17] 623*2^1503430-1 is not prime. Res64: 0AECCA88745EEDA5 Time : 0.0 sec. user=mdettweiler [2018-03-03 09:05:22] 663*2^1503430-1 is not prime. Res64: 92CEECB6EE954B83 Time : 0.0 sec. user=mdettweiler [2018-03-03 09:05:27] 755*2^1503430-1 is not prime. Res64: 6AF62B345EAD3787 Time : 0.0 sec. user=mdettweiler [2018-03-03 09:05:33] 843*2^1503430-1 is not prime. Res64: 6FDCE90BCEF73819 Time : 0.0 sec. user=mdettweiler [2018-03-03 09:22:07] 861*2^1503430-1 is not prime. Res64: 3817E43E795561F1 Time : 0.0 sec. user=mdettweiler [2018-03-03 09:22:07] 867*2^1503430-1 is not prime. Res64: 5AF8EAAF2A86EB4E Time : 0.0 sec. user=mdettweiler [2018-03-03 09:22:08] 951*2^1503430-1 is not prime. Res64: 56921CFD787DDBEF Time : 0.0 sec. user=mdettweiler [2018-03-03 09:22:08] 965*2^1503430-1 is not prime. Res64: E4938D6479EE6D1A Time : 0.0 sec. user=mdettweiler [2018-03-03 09:22:09] 981*2^1503430-1 is not prime. Res64: 2A8E73D54F76B470 Time : 0.0 sec. user=mdettweiler [2018-03-03 09:51:28] 987*2^1503430-1 is not prime. Res64: 1A827F794D73691F Time : 0.0 sec. user=mdettweiler [2018-03-03 09:51:29] 1001*2^1503430-1 is not prime. Res64: 079DCC20E18D466E Time : 0.0 sec. user=mdettweiler [2018-03-03 09:51:29] 645*2^1503431-1 is not prime. Res64: B2EF997049108839 Time : 0.0 sec. user=mdettweiler [2018-03-03 09:51:30] 661*2^1503431-1 is not prime. Res64: 1196CE695D7A3E08 Time : 0.0 sec. user=mdettweiler [2018-03-03 09:51:30] 703*2^1503431-1 is not prime. Res64: C26CC0F72983DD36 Time : 0.0 sec. user=mdettweiler [2018-03-03 09:56:25] 763*2^1503431-1 is not prime. Res64: 065FE9F8D1851F8B Time : 0.0 sec. user=mdettweiler [2018-03-03 09:56:26] 865*2^1503431-1 is not prime. Res64: 0017F97718569EA7 Time : 0.0 sec. user=mdettweiler [2018-03-03 09:56:26] 921*2^1503431-1 is not prime. Res64: F682AE8B3EE697DA Time : 0.0 sec. user=mdettweiler [2018-03-03 09:56:27] 993*2^1503431-1 is not prime. Res64: 1BF6455F22A07899 Time : 0.0 sec. user=mdettweiler [2018-03-03 09:56:27] 725*2^1503432-1 is not prime. Res64: AD0BB272489019F8 Time : 0.0 sec. user=mdettweiler [2018-03-03 10:11:24] 737*2^1503432-1 is not prime. Res64: E78B7CB2427280E1 Time : 0.0 sec. user=mdettweiler [2018-03-03 10:11:25] 819*2^1503432-1 is not prime. Res64: CAA244BC6A024520 Time : 0.0 sec. user=mdettweiler [2018-03-03 10:11:26] 825*2^1503432-1 is not prime. Res64: 03B66DCE88BD8818 Time : 0.0 sec. user=mdettweiler [2018-03-03 10:11:26] 977*2^1503432-1 is not prime. Res64: BE65396F8EBDE8EA Time : 0.0 sec. user=mdettweiler [2018-03-03 10:11:27] 625*2^1503433-1 is not prime. Res64: 924D9042DAA689A5 Time : 0.0 sec. user=mdettweiler [2018-03-03 10:41:38] 705*2^1503433-1 is not prime. Res64: 6BA7F2BF70231095 Time : 0.0 sec. user=mdettweiler [2018-03-03 10:41:39] 817*2^1503433-1 is not prime. Res64: 658A1D8BB0C6A278 Time : 0.0 sec. user=mdettweiler [2018-03-03 10:41:39] 895*2^1503433-1 is not prime. Res64: D793FC51D2EB62FF Time : 0.0 sec. user=mdettweiler [2018-03-03 10:41:40] 901*2^1503433-1 is not prime. Res64: 9591FABF3EEA4D90 Time : 0.0 sec. user=mdettweiler [2018-03-03 10:41:40] 919*2^1503433-1 is not prime. Res64: F97702C25790255B Time : 0.0 sec. user=mdettweiler [2018-03-03 10:46:02] 635*2^1503434-1 is not prime. Res64: 0EC68A32A1E19594 Time : 0.0 sec. user=mdettweiler [2018-03-03 10:46:02] 755*2^1503434-1 is not prime. Res64: E74DB9A623545463 Time : 0.0 sec. user=mdettweiler [2018-03-03 10:46:03] 797*2^1503434-1 is not prime. Res64: 99E513A8677F2CBC Time : 0.0 sec. user=mdettweiler [2018-03-03 10:46:03] 837*2^1503434-1 is not prime. Res64: ABF055C2B1563AEC Time : 0.0 sec. user=mdettweiler [2018-03-03 10:46:03] 887*2^1503434-1 is not prime. Res64: 808FA63A0D8D4BC0 Time : 0.0 sec. user=mdettweiler [2018-03-03 11:01:12] 903*2^1503434-1 is not prime. Res64: 497344DF07736B2D Time : 0.0 sec. user=mdettweiler [2018-03-03 11:01:14] 995*2^1503434-1 is not prime. Res64: 68980A6EBF9084B9 Time : 0.0 sec. user=mdettweiler [2018-03-03 11:01:15] 1001*2^1503434-1 is not prime. Res64: F5B076E3AFA5D3A2 Time : 0.0 sec. user=mdettweiler [2018-03-03 11:01:17] 633*2^1503435-1 is not prime. Res64: C89418C21F02AED6 Time : 0.0 sec. user=mdettweiler [2018-03-03 11:01:18] 679*2^1503435-1 is not prime. Res64: 4E5679EAD7F27D29 Time : 0.0 sec. user=mdettweiler [2018-03-03 11:32:20] 741*2^1503435-1 is not prime. Res64: 4ECC31C183E95221 Time : 0.0 sec. user=mdettweiler [2018-03-03 11:32:21] 789*2^1503435-1 is not prime. Res64: 64F6019EACEC74DE Time : 0.0 sec. user=mdettweiler [2018-03-03 11:32:21] 793*2^1503435-1 is not prime. Res64: 5133B67C7402FF48 Time : 0.0 sec. user=mdettweiler [2018-03-03 11:32:21] 921*2^1503435-1 is not prime. Res64: 1700D396FEF727E9 Time : 0.0 sec. user=mdettweiler [2018-03-03 11:32:22] 963*2^1503435-1 is not prime. Res64: B8D5706C9BD390D4 Time : 0.0 sec. user=mdettweiler [2018-03-03 11:35:57] 623*2^1503436-1 is not prime. Res64: 4F5569D9D045F231 Time : 0.0 sec. user=mdettweiler [2018-03-03 11:35:57] 707*2^1503436-1 is not prime. Res64: 25D66E54F426EAA3 Time : 0.0 sec. user=mdettweiler [2018-03-03 11:35:58] 903*2^1503436-1 is not prime. Res64: 6A9065290D5FF52B Time : 0.0 sec. user=mdettweiler [2018-03-03 11:35:58] 939*2^1503436-1 is not prime. Res64: 5BAFBA0B22C75866 Time : 0.0 sec. user=mdettweiler [2018-03-03 11:35:59] 983*2^1503436-1 is not prime. Res64: E3C1A447AE51272B Time : 0.0 sec. user=mdettweiler [2018-03-03 11:52:08] 685*2^1503437-1 is not prime. Res64: 874E72ED7722ABC2 Time : 0.0 sec. user=mdettweiler [2018-03-03 11:52:08] 697*2^1503437-1 is not prime. Res64: 18817200FF8E71DA Time : 0.0 sec. user=mdettweiler [2018-03-03 11:52:08] 781*2^1503437-1 is not prime. Res64: 2E236503BDCF0D7B Time : 0.0 sec. user=mdettweiler [2018-03-03 11:52:09] 931*2^1503437-1 is not prime. Res64: F5466AC2BE98607A Time : 0.0 sec. user=mdettweiler [2018-03-03 11:52:09] 939*2^1503437-1 is not prime. Res64: 73D175254BA15FCD Time : 0.0 sec. user=mdettweiler [2018-03-03 12:22:06] 981*2^1503437-1 is not prime. Res64: F3446144DCF51079 Time : 0.0 sec. user=mdettweiler [2018-03-03 12:22:06] 647*2^1503438-1 is not prime. Res64: B27A728D216FC618 Time : 0.0 sec. user=mdettweiler [2018-03-03 12:22:07] 663*2^1503438-1 is not prime. Res64: EC6A6F1F92BA184D Time : 0.0 sec. user=mdettweiler [2018-03-03 12:22:07] 683*2^1503438-1 is not prime. Res64: 816293C806DF6F55 Time : 0.0 sec. user=mdettweiler [2018-03-03 12:22:08] 795*2^1503438-1 is not prime. Res64: B36DEA7736A3282E Time : 0.0 sec. user=mdettweiler [2018-03-03 12:25:23] 797*2^1503438-1 is not prime. Res64: B1488080E949C5A1 Time : 0.0 sec. user=mdettweiler [2018-03-03 12:25:24] 863*2^1503438-1 is not prime. Res64: 05A5266C0B4B1B44 Time : 0.0 sec. user=mdettweiler [2018-03-03 12:25:25] 645*2^1503439-1 is not prime. Res64: 3A5F1F833BD306EF Time : 0.0 sec. user=mdettweiler [2018-03-03 12:25:25] 649*2^1503439-1 is not prime. Res64: ADB18C42AB851036 Time : 0.0 sec. user=mdettweiler [2018-03-03 12:25:26] 685*2^1503439-1 is not prime. Res64: 382E39C33D75D892 Time : 0.0 sec. user=mdettweiler [2018-03-03 12:42:10] 729*2^1503439-1 is not prime. Res64: 3E05A9CDF4CFC74B Time : 0.0 sec. user=mdettweiler [2018-03-03 12:42:10] 741*2^1503439-1 is not prime. Res64: 598F4656A2D88159 Time : 0.0 sec. user=mdettweiler [2018-03-03 12:42:11] 751*2^1503439-1 is not prime. Res64: 18453E0C71A3D484 Time : 0.0 sec. user=mdettweiler [2018-03-03 12:42:11] 885*2^1503439-1 is not prime. Res64: DF3D945FAC455B1D Time : 0.0 sec. user=mdettweiler [2018-03-03 12:42:12] 913*2^1503439-1 is not prime. Res64: 3F51ABCCD6A7F912 Time : 0.0 sec. user=mdettweiler [2018-03-03 13:11:51] 919*2^1503439-1 is not prime. Res64: 88DA5542A54AD484 Time : 0.0 sec. user=mdettweiler [2018-03-03 13:11:51] 975*2^1503439-1 is not prime. Res64: 8CAD538FDF3F5BBB Time : 0.0 sec. user=mdettweiler [2018-03-03 13:11:52] 665*2^1503440-1 is not prime. Res64: AC1495C4B08DD24A Time : 0.0 sec. user=mdettweiler [2018-03-03 13:11:52] 677*2^1503440-1 is not prime. Res64: 73468D69A90F6FDA Time : 0.0 sec. user=mdettweiler [2018-03-03 13:11:53] 689*2^1503440-1 is not prime. Res64: 39D1D01AABB16897 Time : 0.0 sec. user=mdettweiler [2018-03-03 13:15:32] 825*2^1503440-1 is not prime. Res64: 4B1BCDC9EB8EF31F Time : 0.0 sec. user=mdettweiler [2018-03-03 13:15:33] 855*2^1503440-1 is not prime. Res64: 0D7A2309B0035988 Time : 0.0 sec. user=mdettweiler [2018-03-03 13:15:33] 959*2^1503440-1 is not prime. Res64: 44E6BD25BDB8A699 Time : 0.0 sec. user=mdettweiler [2018-03-03 13:15:34] 999*2^1503440-1 is not prime. Res64: C7F9F50106E48D59 Time : 0.0 sec. user=mdettweiler [2018-03-03 13:15:34] 637*2^1503441-1 is not prime. Res64: 9C5B688BC729DD78 Time : 0.0 sec. user=mdettweiler [2018-03-03 13:31:39] 675*2^1503441-1 is not prime. Res64: DEFEED2A9B5D859C Time : 0.0 sec. user=mdettweiler [2018-03-03 13:31:40] 705*2^1503441-1 is not prime. Res64: 4D7C10B0B95B8D73 Time : 0.0 sec. user=mdettweiler [2018-03-03 13:31:40] 739*2^1503441-1 is not prime. Res64: BD42407B075ADAD1 Time : 0.0 sec. user=mdettweiler [2018-03-03 13:31:40] 861*2^1503441-1 is not prime. Res64: C050F63D8870AEAD Time : 0.0 sec. user=mdettweiler [2018-03-03 13:31:41] 951*2^1503441-1 is not prime. Res64: 7687F85A0C738C4A Time : 0.0 sec. user=mdettweiler [2018-03-03 14:00:38] 991*2^1503441-1 is not prime. Res64: 82B16377EE926729 Time : 0.0 sec. user=mdettweiler [2018-03-03 14:00:40] 647*2^1503442-1 is not prime. Res64: 2120824E189BFB71 Time : 0.0 sec. user=mdettweiler [2018-03-03 14:00:41] 681*2^1503442-1 is not prime. Res64: 7CD511C64681DA59 Time : 0.0 sec. user=mdettweiler [2018-03-03 14:00:42] 701*2^1503442-1 is not prime. Res64: 985A97DA371D2A58 Time : 0.0 sec. user=mdettweiler [2018-03-03 14:00:44] 723*2^1503442-1 is not prime. Res64: B46BE1B36335F435 Time : 0.0 sec. user=mdettweiler [2018-03-03 14:07:33] 785*2^1503442-1 is not prime. Res64: 444DDD9392569825 Time : 0.0 sec. user=mdettweiler [2018-03-03 14:07:34] 621*2^1503443-1 is not prime. Res64: DC4EB41A9CDFB03A Time : 0.0 sec. user=mdettweiler [2018-03-03 14:07:35] 805*2^1503443-1 is not prime. Res64: 2DBEAFF760E6DA7C Time : 0.0 sec. user=mdettweiler [2018-03-03 14:07:35] 829*2^1503443-1 is not prime. Res64: AA0A2A37EDBD2E8D Time : 0.0 sec. user=mdettweiler [2018-03-03 14:07:36] 955*2^1503443-1 is not prime. Res64: CF7AD1EF68EA964A Time : 0.0 sec. user=mdettweiler [2018-03-03 14:21:48] 993*2^1503443-1 is not prime. Res64: A12BD63C56BB8935 Time : 0.0 sec. user=mdettweiler [2018-03-03 14:21:49] 773*2^1503444-1 is not prime. Res64: 876EFEA6EEF008EC Time : 0.0 sec. user=mdettweiler [2018-03-03 14:21:49] 783*2^1503444-1 is not prime. Res64: DEDC273B299D4F3E Time : 0.0 sec. user=mdettweiler [2018-03-03 14:21:50] 803*2^1503444-1 is not prime. Res64: 909D874F7999D1B8 Time : 0.0 sec. user=mdettweiler [2018-03-03 14:21:50] 927*2^1503444-1 is not prime. Res64: 444D47399A4C316D Time : 0.0 sec. user=mdettweiler [2018-03-03 14:50:12] 945*2^1503444-1 is not prime. Res64: CD25552F4BB76F12 Time : 0.0 sec. user=mdettweiler [2018-03-03 14:50:13] 959*2^1503444-1 is not prime. Res64: 5626F56BA644E3E7 Time : 0.0 sec. user=mdettweiler [2018-03-03 14:50:13] 619*2^1503445-1 is not prime. Res64: 71669B5E0FB8FDA1 Time : 0.0 sec. user=mdettweiler [2018-03-03 14:50:14] 771*2^1503445-1 is not prime. Res64: F5A495A948B0C616 Time : 0.0 sec. user=mdettweiler [2018-03-03 14:50:14] 937*2^1503445-1 is not prime. Res64: 7A022165260CFDFB Time : 0.0 sec. user=mdettweiler [2018-03-03 14:56:47] 987*2^1503445-1 is not prime. Res64: 5F0246EC49F56560 Time : 0.0 sec. user=mdettweiler [2018-03-03 14:56:48] 627*2^1503446-1 is not prime. Res64: 7EC0539233854D0D Time : 0.0 sec. user=mdettweiler [2018-03-03 14:56:48] 741*2^1503446-1 is not prime. Res64: 7C81921329CEAC5B Time : 0.0 sec. user=mdettweiler [2018-03-03 14:56:49] 785*2^1503446-1 is not prime. Res64: D508D3A74CF34361 Time : 0.0 sec. user=mdettweiler [2018-03-03 14:56:49] 801*2^1503446-1 is not prime. Res64: A4A78C30DE01442E Time : 0.0 sec. user=mdettweiler [2018-03-03 15:10:32] 815*2^1503446-1 is not prime. Res64: FA62117F2AF74660 Time : 0.0 sec. user=mdettweiler [2018-03-03 15:10:32] 935*2^1503446-1 is not prime. Res64: F707C1CE42B1806F Time : 0.0 sec. user=mdettweiler [2018-03-03 15:10:33] 601*2^1503447-1 is not prime. Res64: 2BBE79CA6875C087 Time : 0.0 sec. user=mdettweiler [2018-03-03 15:10:33] 633*2^1503447-1 is not prime. Res64: 7C479D3A0D2009BE Time : 0.0 sec. user=mdettweiler [2018-03-03 15:10:34] 651*2^1503447-1 is not prime. Res64: 4E50D695936CED7E Time : 0.0 sec. user=mdettweiler [2018-03-03 15:40:00] 685*2^1503447-1 is not prime. Res64: 184EB3109D9893C6 Time : 0.0 sec. user=mdettweiler [2018-03-03 15:40:00] 693*2^1503447-1 is not prime. Res64: 12433B5F289F8DB4 Time : 0.0 sec. user=mdettweiler [2018-03-03 15:40:01] 687*2^1503448-1 is not prime. Res64: 202991F3733C535C Time : 0.0 sec. user=mdettweiler [2018-03-03 15:40:01] 689*2^1503448-1 is not prime. Res64: 587F2252C0B77EB7 Time : 0.0 sec. user=mdettweiler [2018-03-03 15:40:02] 825*2^1503448-1 is not prime. Res64: D567052EEC9A473C Time : 0.0 sec. user=mdettweiler [2018-03-03 15:46:49] 839*2^1503448-1 is not prime. Res64: 4282E853BD3EBC6E Time : 0.0 sec. user=mdettweiler [2018-03-03 15:46:49] 989*2^1503448-1 is not prime. Res64: 9213F4493755A4E4 Time : 0.0 sec. user=mdettweiler [2018-03-03 15:46:50] 619*2^1503449-1 is not prime. Res64: AF31518E1701E8C5 Time : 0.0 sec. user=mdettweiler [2018-03-03 15:46:50] 631*2^1503449-1 is not prime. Res64: C60899B388D42977 Time : 0.0 sec. user=mdettweiler [2018-03-03 15:46:51] 697*2^1503449-1 is not prime. Res64: 42F4E7F3BE61FBAA Time : 0.0 sec. user=mdettweiler [2018-03-03 16:02:39] 789*2^1503449-1 is not prime. Res64: A4F42F22FA5531A4 Time : 0.0 sec. user=mdettweiler [2018-03-03 16:02:42] 795*2^1503449-1 is not prime. Res64: E993A45664F77E01 Time : 0.0 sec. user=mdettweiler [2018-03-03 16:02:44] 831*2^1503449-1 is not prime. Res64: 567DE30FA28F3805 Time : 0.0 sec. user=mdettweiler [2018-03-03 16:02:47] 847*2^1503449-1 is not prime. Res64: 2242BDF4DB188934 Time : 0.0 sec. user=mdettweiler [2018-03-03 16:02:50] 641*2^1503450-1 is not prime. Res64: A593F914DAE2250D Time : 0.0 sec. user=mdettweiler [2018-03-03 16:32:46] 707*2^1503450-1 is not prime. Res64: 33ABB39005548906 Time : 0.0 sec. user=mdettweiler [2018-03-03 16:32:47] 735*2^1503450-1 is not prime. Res64: 51D1EFFAB59272DF Time : 0.0 sec. user=mdettweiler [2018-03-03 16:32:47] 767*2^1503450-1 is not prime. Res64: 9D725A1CA9920FF4 Time : 0.0 sec. user=mdettweiler [2018-03-03 16:32:48] 797*2^1503450-1 is not prime. Res64: 5ECF4F01BC7875A3 Time : 0.0 sec. user=mdettweiler [2018-03-03 16:32:48] 905*2^1503450-1 is not prime. Res64: 402585889E94A435 Time : 0.0 sec. user=mdettweiler [2018-03-03 16:40:25] 927*2^1503450-1 is not prime. Res64: C95D32F3FDF54AA9 Time : 0.0 sec. user=mdettweiler [2018-03-03 16:40:26] 759*2^1503451-1 is not prime. Res64: 6A622A3D272777DD Time : 0.0 sec. user=mdettweiler [2018-03-03 16:40:26] 775*2^1503451-1 is not prime. Res64: 361AF1719E9F7592 Time : 0.0 sec. user=mdettweiler [2018-03-03 16:40:27] 849*2^1503451-1 is not prime. Res64: 4FB3661005A9DC2A Time : 0.0 sec. user=mdettweiler [2018-03-03 16:40:27] 861*2^1503451-1 is not prime. Res64: AEB7DB9D5D57B4B3 Time : 0.0 sec. user=mdettweiler [2018-03-03 16:55:50] 931*2^1503451-1 is not prime. Res64: 7422F418C8DECA53 Time : 0.0 sec. user=mdettweiler [2018-03-03 16:55:50] 961*2^1503451-1 is not prime. Res64: 5499CFCA6894A8B1 Time : 0.0 sec. user=mdettweiler [2018-03-03 16:55:51] 609*2^1503452-1 is not prime. Res64: FD4F3C9E7AF28575 Time : 0.0 sec. user=mdettweiler [2018-03-03 16:55:51] 617*2^1503452-1 is not prime. Res64: 5CF53F6A41591D6C Time : 0.0 sec. user=mdettweiler [2018-03-03 16:55:52] 635*2^1503452-1 is not prime. Res64: 41EBFAB93846FF83 Time : 0.0 sec. user=mdettweiler [2018-03-03 17:27:06] 725*2^1503452-1 is not prime. Res64: CD4319965C49D464 Time : 0.0 sec. user=mdettweiler [2018-03-03 17:27:06] 843*2^1503452-1 is not prime. Res64: EEAFC8C5E1339D6D Time : 0.0 sec. user=mdettweiler [2018-03-03 17:27:07] 885*2^1503452-1 is not prime. Res64: 9FCCE7D36A0142C9 Time : 0.0 sec. user=mdettweiler [2018-03-03 17:27:07] 957*2^1503452-1 is not prime. Res64: EFA3860F355EF0F9 Time : 0.0 sec. user=mdettweiler [2018-03-03 17:27:08] 999*2^1503452-1 is not prime. Res64: 568511686F5BCB49 Time : 0.0 sec. user=mdettweiler [2018-03-03 17:33:33] 651*2^1503453-1 is not prime. Res64: F6BFF598FB2AF2EE Time : 0.0 sec. user=mdettweiler [2018-03-03 17:33:33] 691*2^1503453-1 is not prime. Res64: 2E91B441E3864EFB Time : 0.0 sec. user=mdettweiler [2018-03-03 17:33:34] 951*2^1503453-1 is not prime. Res64: 7C647B2DB30D1D24 Time : 0.0 sec. user=mdettweiler [2018-03-03 17:33:34] 681*2^1503454-1 is not prime. Res64: 89998AABE0725289 Time : 0.0 sec. user=mdettweiler [2018-03-03 17:33:35] 687*2^1503454-1 is not prime. Res64: 6ECD3F0D1AB18888 Time : 0.0 sec. user=mdettweiler [2018-03-03 17:50:44] 863*2^1503454-1 is not prime. Res64: 633F912A7573DC45 Time : 0.0 sec. user=mdettweiler [2018-03-03 17:50:44] 1001*2^1503454-1 is not prime. Res64: 2C92B4B10D77A63E Time : 0.0 sec. user=mdettweiler [2018-03-03 17:50:45] 661*2^1503455-1 is not prime. Res64: A9CA2FFAE0387240 Time : 0.0 sec. user=mdettweiler [2018-03-03 17:50:45] 883*2^1503455-1 is not prime. Res64: 75F3BA3937D48532 Time : 0.0 sec. user=mdettweiler [2018-03-03 17:50:46] 943*2^1503455-1 is not prime. Res64: 85E682F65037DADC Time : 0.0 sec. user=mdettweiler [2018-03-03 18:21:34] 981*2^1503455-1 is not prime. Res64: 9C4B26DD34616C5E Time : 0.0 sec. user=mdettweiler [2018-03-03 18:21:34] 737*2^1503456-1 is not prime. Res64: 9687F8A2AF8347F2 Time : 0.0 sec. user=mdettweiler [2018-03-03 18:21:35] 767*2^1503456-1 is not prime. Res64: F777C0D16F25C8C4 Time : 0.0 sec. user=mdettweiler [2018-03-03 18:21:36] 887*2^1503456-1 is not prime. Res64: F5BBD514A963B3C2 Time : 0.0 sec. user=mdettweiler [2018-03-03 18:21:36] 957*2^1503457-1 is not prime. Res64: 92EA460598EF6DFC Time : 0.0 sec. user=mdettweiler [2018-03-03 18:27:46] 985*2^1503457-1 is not prime. Res64: 60B6F70D95656E25 Time : 0.0 sec. user=mdettweiler [2018-03-03 18:27:46] 747*2^1503458-1 is not prime. Res64: 52D7F4EE5735CE1A Time : 0.0 sec. user=mdettweiler [2018-03-03 18:27:47] 767*2^1503458-1 is not prime. Res64: 0103B09495EA3C92 Time : 0.0 sec. user=mdettweiler [2018-03-03 18:27:47] 791*2^1503458-1 is not prime. Res64: 82D30BCA18198B91 Time : 0.0 sec. user=mdettweiler [2018-03-03 18:27:47] 857*2^1503458-1 is not prime. Res64: 038BCA5ABE12B0D0 Time : 0.0 sec. user=mdettweiler [2018-03-03 18:43:14] 945*2^1503458-1 is not prime. Res64: 3CBF3D00FE40E303 Time : 0.0 sec. user=mdettweiler [2018-03-03 18:43:15] 995*2^1503458-1 is not prime. Res64: 96AAC3574372BAA0 Time : 0.0 sec. user=mdettweiler [2018-03-03 18:43:15] 691*2^1503459-1 is not prime. Res64: 9D17CD8B17FA2C84 Time : 0.0 sec. user=mdettweiler [2018-03-03 18:43:16] 735*2^1503459-1 is not prime. Res64: BA5460DA87DFE6BD Time : 0.0 sec. user=mdettweiler [2018-03-03 18:43:16] 769*2^1503459-1 is not prime. Res64: 6D1A7AAFA265260A Time : 0.0 sec. user=mdettweiler [2018-03-03 19:14:07] 975*2^1503459-1 is not prime. Res64: 7AAE2A607028792B Time : 0.0 sec. user=mdettweiler [2018-03-03 19:14:08] 985*2^1503459-1 is not prime. Res64: EA7331CF660F0BBE Time : 0.0 sec. user=mdettweiler [2018-03-03 19:14:09] 665*2^1503460-1 is not prime. Res64: CD8C9BF1BCA0A2BF Time : 0.0 sec. user=mdettweiler [2018-03-03 19:14:11] 677*2^1503460-1 is not prime. Res64: 6CE47ADD09A93519 Time : 0.0 sec. user=mdettweiler [2018-03-03 19:14:11] 687*2^1503460-1 is not prime. Res64: 90D4B80B957E8B20 Time : 0.0 sec. user=mdettweiler [2018-03-03 19:20:35] 783*2^1503460-1 is not prime. Res64: 77406BF8AC818C9A Time : 0.0 sec. user=mdettweiler [2018-03-03 19:20:35] 819*2^1503460-1 is not prime. Res64: 4514F9A561D161FC Time : 0.0 sec. user=mdettweiler [2018-03-03 19:20:36] 983*2^1503460-1 is not prime. Res64: 47C79019E8A2BC7A Time : 0.0 sec. user=mdettweiler [2018-03-03 19:20:37] 607*2^1503461-1 is not prime. Res64: 9F03D399485D252E Time : 0.0 sec. user=mdettweiler [2018-03-03 19:20:37] 741*2^1503461-1 is not prime. Res64: 4DDDDFBC5C0509AD Time : 0.0 sec. user=mdettweiler [2018-03-03 19:34:49] 745*2^1503461-1 is not prime. Res64: 96E2689906BB529C Time : 0.0 sec. user=mdettweiler [2018-03-03 19:34:49] 855*2^1503461-1 is not prime. Res64: 861893A4DB1F9145 Time : 0.0 sec. user=mdettweiler [2018-03-03 19:34:50] 621*2^1503462-1 is not prime. Res64: 35D355BB7090B74F Time : 0.0 sec. user=mdettweiler [2018-03-03 19:34:50] 647*2^1503462-1 is not prime. Res64: DF744CF831817071 Time : 0.0 sec. user=mdettweiler [2018-03-03 19:34:51] 677*2^1503462-1 is not prime. Res64: 8CCAC812D7B012CF Time : 0.0 sec. user=mdettweiler [2018-03-03 20:07:28] 681*2^1503462-1 is not prime. Res64: 76CC905E0FF6F6C4 Time : 0.0 sec. user=mdettweiler [2018-03-03 20:07:30] 695*2^1503462-1 is not prime. Res64: 3A007BDEE6135B17 Time : 0.0 sec. user=mdettweiler [2018-03-03 20:07:33] 791*2^1503462-1 is not prime. Res64: EA0D6BE49F4CCCA2 Time : 0.0 sec. user=mdettweiler [2018-03-03 20:07:35] 947*2^1503462-1 is not prime. Res64: E1EAAEA8DED61245 Time : 0.0 sec. user=mdettweiler [2018-03-03 20:07:38] 977*2^1503462-1 is not prime. Res64: 9DDB71234557D0DE Time : 0.0 sec. user=mdettweiler [2018-03-03 20:13:24] 603*2^1503463-1 is not prime. Res64: 65C8F1B25AEE9C50 Time : 0.0 sec. user=mdettweiler [2018-03-03 20:13:27] 745*2^1503463-1 is not prime. Res64: 49B2B8D16DA9C8EC Time : 0.0 sec. user=mdettweiler [2018-03-03 20:13:28] 853*2^1503463-1 is not prime. Res64: 49E8AD80BCE0077E Time : 0.0 sec. user=mdettweiler [2018-03-03 20:13:29] 889*2^1503463-1 is not prime. Res64: 45A44362A6E53879 Time : 0.0 sec. user=mdettweiler [2018-03-03 20:13:30] 901*2^1503463-1 is not prime. Res64: CDBC1469D08C2787 Time : 0.0 sec. user=mdettweiler [2018-03-03 20:28:51] 689*2^1503464-1 is not prime. Res64: 432776D47C86A3A8 Time : 0.0 sec. user=mdettweiler [2018-03-03 20:28:52] 899*2^1503464-1 is not prime. Res64: 3F9089339002E439 Time : 0.0 sec. user=mdettweiler [2018-03-03 20:28:52] 923*2^1503464-1 is not prime. Res64: D65608DE16C0BFE4 Time : 0.0 sec. user=mdettweiler [2018-03-03 20:28:53] 927*2^1503464-1 is not prime. Res64: 8F030E2448698D53 Time : 0.0 sec. user=mdettweiler [2018-03-03 20:28:53] 935*2^1503464-1 is not prime. Res64: 518735BFE2FB86BA Time : 0.0 sec. user=mdettweiler [2018-03-03 21:03:14] 945*2^1503464-1 is not prime. Res64: FAE578A34B9D505E Time : 0.0 sec. user=mdettweiler [2018-03-03 21:03:16] 957*2^1503464-1 is not prime. Res64: AAC3BEB3CB4A56DD Time : 0.0 sec. user=mdettweiler [2018-03-03 21:03:18] 717*2^1503465-1 is not prime. Res64: 99DF8D32D1EC28B4 Time : 0.0 sec. user=mdettweiler [2018-03-03 21:03:21] 739*2^1503465-1 is not prime. Res64: 4F59ACF1193CA779 Time : 0.0 sec. user=mdettweiler [2018-03-03 21:03:22] 877*2^1503465-1 is not prime. Res64: C1C4FBC3A5398A86 Time : 0.0 sec. user=mdettweiler [2018-03-03 21:08:21] 955*2^1503465-1 is not prime. Res64: 0C81044859335F51 Time : 0.0 sec. user=mdettweiler [2018-03-03 21:08:21] 975*2^1503465-1 is not prime. Res64: A7D15651F8803FB7 Time : 0.0 sec. user=mdettweiler [2018-03-03 21:08:22] 997*2^1503465-1 is not prime. Res64: B316F3D4077C3D2F Time : 0.0 sec. user=mdettweiler [2018-03-03 21:08:22] 677*2^1503466-1 is not prime. Res64: B8AF5FECC24B0B4B Time : 0.0 sec. user=mdettweiler [2018-03-03 21:08:23] 735*2^1503466-1 is not prime. Res64: 333BE0C55B2948A0 Time : 0.0 sec. user=mdettweiler [2018-03-03 21:22:31] 765*2^1503466-1 is not prime. Res64: 64A9A97BA33433DA Time : 0.0 sec. user=mdettweiler [2018-03-03 21:22:32] 843*2^1503466-1 is not prime. Res64: AAA2EA73CC35CDC6 Time : 0.0 sec. user=mdettweiler [2018-03-03 21:22:32] 917*2^1503466-1 is not prime. Res64: 294BB1996DF2DA0E Time : 0.0 sec. user=mdettweiler [2018-03-03 21:22:33] 609*2^1503467-1 is not prime. Res64: 23A38CC189F97A71 Time : 0.0 sec. user=mdettweiler [2018-03-03 21:22:33] 619*2^1503467-1 is not prime. Res64: C8BC8FA927DFA1FE Time : 0.0 sec. user=mdettweiler [2018-03-03 21:56:52] 685*2^1503467-1 is not prime. Res64: A9F81DE6DB814A61 Time : 0.0 sec. user=mdettweiler [2018-03-03 21:56:53] 703*2^1503467-1 is not prime. Res64: 40EE39E46FF4F0F2 Time : 0.0 sec. user=mdettweiler [2018-03-03 21:56:53] 635*2^1503468-1 is not prime. Res64: 7EE137158B1FCBE2 Time : 0.0 sec. user=mdettweiler [2018-03-03 21:56:54] 689*2^1503468-1 is not prime. Res64: C960C38D2BCBDF79 Time : 0.0 sec. user=mdettweiler [2018-03-03 21:56:54] 773*2^1503468-1 is not prime. Res64: B751F8BB97757616 Time : 0.0 sec. user=mdettweiler [2018-03-03 22:02:55] 845*2^1503468-1 is not prime. Res64: 4B4F1D90D8D16EDD Time : 0.0 sec. user=mdettweiler [2018-03-03 22:02:58] 867*2^1503468-1 is not prime. Res64: 5234FFA484FA7D69 Time : 0.0 sec. user=mdettweiler [2018-03-03 22:03:00] 915*2^1503468-1 is not prime. Res64: 1051137E8A285AAC Time : 0.0 sec. user=mdettweiler [2018-03-03 22:03:03] 935*2^1503468-1 is not prime. Res64: 05CD0741CDD51592 Time : 0.0 sec. user=mdettweiler [2018-03-03 22:03:05] 721*2^1503469-1 is not prime. Res64: 0F9E7E79A70B38D0 Time : 0.0 sec. user=mdettweiler [2018-03-03 22:14:24] 747*2^1503469-1 is not prime. Res64: 8B0E9C872D88AE51 Time : 0.0 sec. user=mdettweiler [2018-03-03 22:14:24] 603*2^1503470-1 is not prime. Res64: 1134A911CE180F65 Time : 0.0 sec. user=mdettweiler [2018-03-03 22:14:25] 605*2^1503470-1 is not prime. Res64: 39E49434579918F1 Time : 0.0 sec. user=mdettweiler [2018-03-03 22:14:26] 635*2^1503470-1 is not prime. Res64: 67B8EABBA6CDEEFA Time : 0.0 sec. user=mdettweiler [2018-03-03 22:14:26] 773*2^1503470-1 is not prime. Res64: 93CE398A4A195846 Time : 0.0 sec. user=mdettweiler [2018-03-03 22:50:09] 795*2^1503470-1 is not prime. Res64: A0E46567BD64AE53 Time : 0.0 sec. user=mdettweiler [2018-03-03 22:50:10] 613*2^1503471-1 is not prime. Res64: 3632BFFC52FB6BDE Time : 0.0 sec. user=mdettweiler [2018-03-03 22:50:10] 619*2^1503471-1 is not prime. Res64: 300B8139DCD67C80 Time : 0.0 sec. user=mdettweiler [2018-03-03 22:50:11] 901*2^1503471-1 is not prime. Res64: 0842B90E62625BC4 Time : 0.0 sec. user=mdettweiler [2018-03-03 22:50:11] 975*2^1503471-1 is not prime. Res64: F9327EEF44EA0A7D Time : 0.0 sec. user=mdettweiler [2018-03-03 22:56:32] 979*2^1503471-1 is not prime. Res64: 8824A126022442F6 Time : 0.0 sec. user=mdettweiler [2018-03-03 22:56:32] 615*2^1503472-1 is not prime. Res64: BAE9F85ECADE1307 Time : 0.0 sec. user=mdettweiler [2018-03-03 22:56:33] 675*2^1503472-1 is not prime. Res64: 764B8A63E69DBA52 Time : 0.0 sec. user=mdettweiler [2018-03-03 22:56:33] 695*2^1503472-1 is not prime. Res64: 058EA242C71B1C6B Time : 0.0 sec. user=mdettweiler [2018-03-03 22:56:34] 717*2^1503472-1 is not prime. Res64: 96171C7CB74B02D8 Time : 0.0 sec. user=mdettweiler [2018-03-03 23:08:46] 833*2^1503472-1 is not prime. Res64: 61908584E9DE7222 Time : 0.0 sec. user=mdettweiler [2018-03-03 23:08:47] 897*2^1503472-1 is not prime. Res64: 1D82831403D6BF4A Time : 0.0 sec. user=mdettweiler [2018-03-03 23:08:47] 999*2^1503472-1 is not prime. Res64: 1AC8969D3AC00EEC Time : 0.0 sec. user=mdettweiler [2018-03-03 23:08:48] 715*2^1503473-1 is not prime. Res64: 988028DDC91D545B Time : 0.0 sec. user=mdettweiler [2018-03-03 23:08:49] 627*2^1503474-1 is not prime. Res64: 6ABE1003A26C599D Time : 0.0 sec. user=mdettweiler [2018-03-03 23:44:48] 641*2^1503474-1 is not prime. Res64: A65AD001AB2D45C2 Time : 0.0 sec. user=mdettweiler [2018-03-03 23:44:48] 767*2^1503474-1 is not prime. Res64: CAE11CF0C96652D9 Time : 0.0 sec. user=mdettweiler [2018-03-03 23:44:49] 807*2^1503474-1 is not prime. Res64: CA13719112F7F1C4 Time : 0.0 sec. user=mdettweiler [2018-03-03 23:44:49] 815*2^1503474-1 is not prime. Res64: 0B7ACC22FEC76024 Time : 0.0 sec. user=mdettweiler [2018-03-03 23:44:50] 851*2^1503474-1 is not prime. Res64: 8085111DC1AB20E8 Time : 0.0 sec. user=mdettweiler [2018-03-03 23:52:23] 875*2^1503474-1 is not prime. Res64: 1D2DCDD1DEEFD7B5 Time : 0.0 sec. user=mdettweiler [2018-03-03 23:52:24] 891*2^1503474-1 is not prime. Res64: 725279BE18624434 Time : 0.0 sec. user=mdettweiler [2018-03-03 23:52:24] 971*2^1503474-1 is not prime. Res64: 94C51C842D7F0541 Time : 0.0 sec. user=mdettweiler [2018-03-03 23:52:25] 983*2^1503474-1 is not prime. Res64: 667DC02BD5FF9902 Time : 0.0 sec. user=mdettweiler [2018-03-03 23:52:25] 993*2^1503474-1 is not prime. Res64: 44A6DA969296173E Time : 0.0 sec.