user=mdettweiler [2016-04-02 00:03:16] 773*2^1425074-1 is not prime. Res64: F11147A0D7DE6CC1 Time : 0.0 sec. user=mdettweiler [2016-04-02 00:03:18] 831*2^1425074-1 is not prime. Res64: 2F515270C6BC90D2 Time : 0.0 sec. user=mdettweiler [2016-04-02 00:03:18] 875*2^1425074-1 is not prime. Res64: 9DF7BB591EDCC4A4 Time : 0.0 sec. user=mdettweiler [2016-04-02 00:03:19] 885*2^1425074-1 is not prime. Res64: 2A67E4EC9B9B03FA Time : 0.0 sec. user=mdettweiler [2016-04-02 00:03:19] 741*2^1425075-1 is not prime. Res64: 146E57667D728B8F Time : 0.0 sec. user=mdettweiler [2016-04-02 00:40:46] 765*2^1425075-1 is not prime. Res64: 93A734A12F8E68D5 Time : 0.0 sec. user=mdettweiler [2016-04-02 00:40:46] 909*2^1425075-1 is not prime. Res64: 35E808299C888C33 Time : 0.0 sec. user=mdettweiler [2016-04-02 00:40:47] 949*2^1425075-1 is not prime. Res64: 01DAD5FD8459B85E Time : 0.0 sec. user=mdettweiler [2016-04-02 00:40:47] 629*2^1425076-1 is not prime. Res64: 9086AE023EC343DC Time : 0.0 sec. user=mdettweiler [2016-04-02 00:40:48] 675*2^1425076-1 is not prime. Res64: 08B5D29283949698 Time : 0.0 sec. user=mdettweiler [2016-04-02 00:41:09] 927*2^1425076-1 is not prime. Res64: CA129815D1E0E6D3 Time : 0.0 sec. user=mdettweiler [2016-04-02 00:41:09] 989*2^1425076-1 is not prime. Res64: C397BC7953548AC7 Time : 0.0 sec. user=mdettweiler [2016-04-02 00:41:09] 649*2^1425077-1 is not prime. Res64: 12FC633F06E8D876 Time : 0.0 sec. user=mdettweiler [2016-04-02 00:41:09] 655*2^1425077-1 is not prime. Res64: DC95CEDC0792C3F4 Time : 0.0 sec. user=mdettweiler [2016-04-02 00:41:09] 675*2^1425077-1 is not prime. Res64: 047945E0E2855838 Time : 0.0 sec. user=mdettweiler [2016-04-02 00:41:19] 867*2^1425077-1 is not prime. Res64: 063E67C1CCB62C38 Time : 0.0 sec. user=mdettweiler [2016-04-02 00:41:19] 871*2^1425077-1 is not prime. Res64: BF20FE42A265E925 Time : 0.0 sec. user=mdettweiler [2016-04-02 00:41:20] 939*2^1425077-1 is not prime. Res64: CFBCF92123E9727D Time : 0.0 sec. user=mdettweiler [2016-04-02 00:41:20] 713*2^1425078-1 is not prime. Res64: AF6DC7BA60A9E729 Time : 0.0 sec. user=mdettweiler [2016-04-02 00:41:20] 773*2^1425078-1 is not prime. Res64: 58CEB346328D6C79 Time : 0.0 sec. user=mdettweiler [2016-04-02 00:48:22] 825*2^1425078-1 is not prime. Res64: 1CB02A73079FDAF3 Time : 0.0 sec. user=mdettweiler [2016-04-02 00:48:23] 867*2^1425078-1 is not prime. Res64: 441C2D597F8CE9F7 Time : 0.0 sec. user=mdettweiler [2016-04-02 00:48:23] 923*2^1425078-1 is not prime. Res64: 967CEDEA09664D19 Time : 0.0 sec. user=mdettweiler [2016-04-02 00:48:23] 993*2^1425078-1 is not prime. Res64: 1FCE93FDE10F340B Time : 0.0 sec. user=mdettweiler [2016-04-02 00:48:24] 685*2^1425079-1 is not prime. Res64: A700BBA6B5206142 Time : 0.0 sec. user=mdettweiler [2016-04-02 00:53:18] 877*2^1425081-1 is not prime. Res64: EC772376E9FA731F Time : 0.0 sec. user=mdettweiler [2016-04-02 01:26:02] 705*2^1425079-1 is not prime. Res64: 1AC06833A71F918F Time : 0.0 sec. user=mdettweiler [2016-04-02 01:26:03] 811*2^1425079-1 is not prime. Res64: A55B20690E0A66C1 Time : 0.0 sec. user=mdettweiler [2016-04-02 01:26:04] 993*2^1425079-1 is not prime. Res64: 45C83630C92F695F Time : 0.0 sec. user=mdettweiler [2016-04-02 01:26:05] 725*2^1425080-1 is not prime. Res64: 87D60DF60B2400A5 Time : 0.0 sec. user=mdettweiler [2016-04-02 01:26:06] 789*2^1425080-1 is not prime. Res64: DFC6E9BCF800C4DF Time : 0.0 sec. user=mdettweiler [2016-04-02 01:26:17] 935*2^1425080-1 is not prime. Res64: 615A8D30981FAD66 Time : 0.0 sec. user=mdettweiler [2016-04-02 01:26:18] 609*2^1425081-1 is not prime. Res64: 7DF76F91AFB6C4D9 Time : 0.0 sec. user=mdettweiler [2016-04-02 01:26:20] 669*2^1425081-1 is not prime. Res64: 60E5F29E271452CC Time : 0.0 sec. user=mdettweiler [2016-04-02 01:26:21] 745*2^1425081-1 is not prime. Res64: BAF4C85F9129300D Time : 0.0 sec. user=mdettweiler [2016-04-02 01:26:21] 691*2^1425081-1 is not prime. Res64: F07944DC2ED96271 Time : 0.0 sec. user=mdettweiler [2016-04-02 01:26:22] 727*2^1425081-1 is not prime. Res64: E07571A11FE2FD19 Time : 0.0 sec. user=mdettweiler [2016-04-02 01:26:23] 777*2^1425081-1 is not prime. Res64: 3C256CCF8783439D Time : 0.0 sec. user=mdettweiler [2016-04-02 01:26:24] 781*2^1425081-1 is not prime. Res64: 7A75589D0A53C4F1 Time : 0.0 sec. user=mdettweiler [2016-04-02 01:26:28] 847*2^1425081-1 is not prime. Res64: B4F837C5443BB1C4 Time : 0.0 sec. user=mdettweiler [2016-04-02 01:26:30] 871*2^1425081-1 is not prime. Res64: 63418BE0A4675B9B Time : 0.0 sec. user=mdettweiler [2016-04-02 01:33:34] 907*2^1425081-1 is not prime. Res64: 6EED6C865307FE73 Time : 0.0 sec. user=mdettweiler [2016-04-02 01:33:35] 921*2^1425081-1 is not prime. Res64: 943BEC92C5AB81E6 Time : 0.0 sec. user=mdettweiler [2016-04-02 01:33:35] 949*2^1425081-1 is not prime. Res64: 899D88B2A33B9F74 Time : 0.0 sec. user=mdettweiler [2016-04-02 01:33:35] 997*2^1425081-1 is not prime. Res64: 601EAFA9F01D8290 Time : 0.0 sec. user=mdettweiler [2016-04-02 01:33:36] 621*2^1425082-1 is not prime. Res64: 65604D4E0511DA98 Time : 0.0 sec. user=mdettweiler [2016-04-02 02:11:15] 813*2^1425083-1 is not prime. Res64: 7A1FA7E26DFDFD31 Time : 0.0 sec. user=mdettweiler [2016-04-02 02:11:16] 879*2^1425083-1 is not prime. Res64: 29D0C9CC760D1BED Time : 0.0 sec. user=mdettweiler [2016-04-02 02:11:16] 981*2^1425083-1 is not prime. Res64: 55E4572DCD841CF3 Time : 0.0 sec. user=mdettweiler [2016-04-02 02:11:17] 837*2^1425084-1 is not prime. Res64: 5B1EC957A68B5CA9 Time : 0.0 sec. user=mdettweiler [2016-04-02 02:11:17] 927*2^1425084-1 is not prime. Res64: 45B97A5E83D63873 Time : 0.0 sec. user=mdettweiler [2016-04-02 02:11:24] 995*2^1425082-1 is not prime. Res64: 2C4013F6851D6709 Time : 0.0 sec. user=mdettweiler [2016-04-02 02:11:25] 675*2^1425083-1 is not prime. Res64: CFBCFC2FE265120B Time : 0.0 sec. user=mdettweiler [2016-04-02 02:11:25] 987*2^1425084-1 is not prime. Res64: 64BE894F4230B1D9 Time : 0.0 sec. user=mdettweiler [2016-04-02 02:11:25] 685*2^1425083-1 is not prime. Res64: BBDCE2536E753BA1 Time : 0.0 sec. user=mdettweiler [2016-04-02 02:11:25] 993*2^1425084-1 is not prime. Res64: FE88A607FE6C811B Time : 0.0 sec. user=mdettweiler [2016-04-02 02:11:25] 741*2^1425083-1 is not prime. Res64: D290C9A71ED2603A Time : 0.0 sec. user=mdettweiler [2016-04-02 02:11:26] 691*2^1425085-1 is not prime. Res64: 1F18F8991AA6B29F Time : 0.0 sec. user=mdettweiler [2016-04-02 02:11:26] 771*2^1425083-1 is not prime. Res64: EBFFE0421B438436 Time : 0.0 sec. user=mdettweiler [2016-04-02 02:11:26] 877*2^1425085-1 is not prime. Res64: 019CADEF6A51CEDA Time : 0.0 sec. user=mdettweiler [2016-04-02 02:11:26] 895*2^1425085-1 is not prime. Res64: 2FEAA8316C8A4C9E Time : 0.0 sec. user=mdettweiler [2016-04-02 02:18:32] 603*2^1425086-1 is not prime. Res64: 703B93914215E49B Time : 0.0 sec. user=mdettweiler [2016-04-02 02:18:32] 623*2^1425086-1 is not prime. Res64: 7F72F84BB49B163D Time : 0.0 sec. user=mdettweiler [2016-04-02 02:18:33] 825*2^1425086-1 is not prime. Res64: D0BFEF78B590E14D Time : 0.0 sec. user=mdettweiler [2016-04-02 02:18:33] 843*2^1425086-1 is not prime. Res64: F68CD5824DF82977 Time : 0.0 sec. user=mdettweiler [2016-04-02 02:18:34] 945*2^1425086-1 is not prime. Res64: 060ADF33B5412AF9 Time : 0.0 sec. user=mdettweiler [2016-04-02 02:56:15] 795*2^1425089-1 is not prime. Res64: CDDB18E67D87DCD1 Time : 0.0 sec. user=mdettweiler [2016-04-02 02:56:15] 865*2^1425089-1 is not prime. Res64: 4B00E85110B7E6A2 Time : 0.0 sec. user=mdettweiler [2016-04-02 02:56:15] 867*2^1425089-1 is not prime. Res64: F7BD99381508E93A Time : 0.0 sec. user=mdettweiler [2016-04-02 02:56:16] 985*2^1425089-1 is not prime. Res64: D0D802B980D7E3AD Time : 0.0 sec. user=mdettweiler [2016-04-02 02:56:16] 641*2^1425090-1 is not prime. Res64: D770A7EDB0CDC5E1 Time : 0.0 sec. user=mdettweiler [2016-04-02 02:56:25] 735*2^1425087-1 is not prime. Res64: 87782FEDE7AB5CA7 Time : 0.0 sec. user=mdettweiler [2016-04-02 02:56:25] 739*2^1425087-1 is not prime. Res64: 85247E3704761A2A Time : 0.0 sec. user=mdettweiler [2016-04-02 02:56:26] 975*2^1425087-1 is not prime. Res64: B1D92B1B665091A5 Time : 0.0 sec. user=mdettweiler [2016-04-02 02:56:26] 629*2^1425088-1 is not prime. Res64: B3FE4ADD1AD6E49F Time : 0.0 sec. user=mdettweiler [2016-04-02 02:56:27] 723*2^1425088-1 is not prime. Res64: 78F45A35EA9777C0 Time : 0.0 sec. user=mdettweiler [2016-04-02 02:56:32] 887*2^1425088-1 is not prime. Res64: ABE0C0E6FCDC9B99 Time : 0.0 sec. user=mdettweiler [2016-04-02 02:56:32] 969*2^1425088-1 is not prime. Res64: 1FAED1D5A5E4048A Time : 0.0 sec. user=mdettweiler [2016-04-02 02:56:32] 675*2^1425089-1 is not prime. Res64: C2CDC9BF3EE062D4 Time : 0.0 sec. user=mdettweiler [2016-04-02 02:56:33] 741*2^1425089-1 is not prime. Res64: D2582EBAADD9A823 Time : 0.0 sec. user=mdettweiler [2016-04-02 02:56:33] 789*2^1425089-1 is not prime. Res64: FEF76713F753EC69 Time : 0.0 sec. user=mdettweiler [2016-04-02 02:56:51] 905*2^1425090-1 is not prime. Res64: 70A7FFBB029B777C Time : 0.0 sec. user=mdettweiler [2016-04-02 03:03:36] 657*2^1425090-1 is not prime. Res64: 7268030CE6988D8E Time : 0.0 sec. user=mdettweiler [2016-04-02 03:03:37] 711*2^1425090-1 is not prime. Res64: 8748677ACEFEB91B Time : 0.0 sec. user=mdettweiler [2016-04-02 03:03:40] 783*2^1425090-1 is not prime. Res64: A7DE96764FFC0172 Time : 0.0 sec. user=mdettweiler [2016-04-02 03:03:41] 797*2^1425090-1 is not prime. Res64: A1CBBBA615A4D609 Time : 0.0 sec. user=mdettweiler [2016-04-02 03:03:42] 885*2^1425090-1 is not prime. Res64: 15C98D0C2EB45908 Time : 0.0 sec. user=mdettweiler [2016-04-02 03:41:12] 971*2^1425090-1 is not prime. Res64: 615ACD5F4F9BD01D Time : 0.0 sec. user=mdettweiler [2016-04-02 03:41:13] 601*2^1425091-1 is not prime. Res64: ED62D666F1326CD6 Time : 0.0 sec. user=mdettweiler [2016-04-02 03:41:14] 673*2^1425091-1 is not prime. Res64: 7C8C28BE83107089 Time : 0.0 sec. user=mdettweiler [2016-04-02 03:41:15] 679*2^1425091-1 is not prime. Res64: E994191E887D47FF Time : 0.0 sec. user=mdettweiler [2016-04-02 03:41:15] 681*2^1425091-1 is not prime. Res64: 03F5F317B796A29A Time : 0.0 sec. user=mdettweiler [2016-04-02 03:41:23] 855*2^1425091-1 is not prime. Res64: 8F35DD7D86041C2E Time : 0.0 sec. user=mdettweiler [2016-04-02 03:41:24] 885*2^1425091-1 is not prime. Res64: E1122FA70B254BF1 Time : 0.0 sec. user=mdettweiler [2016-04-02 03:41:25] 895*2^1425091-1 is not prime. Res64: B1C3827AB1A4F978 Time : 0.0 sec. user=mdettweiler [2016-04-02 03:41:27] 999*2^1425091-1 is not prime. Res64: 871ADC513E1B6057 Time : 0.0 sec. user=mdettweiler [2016-04-02 03:41:28] 623*2^1425092-1 is not prime. Res64: 2F801C09BDF6DE06 Time : 0.0 sec. user=mdettweiler [2016-04-02 03:41:30] 837*2^1425092-1 is not prime. Res64: E4298D84F0783C64 Time : 0.0 sec. user=mdettweiler [2016-04-02 03:41:32] 885*2^1425092-1 is not prime. Res64: 7DBD06FDDDAB9AB7 Time : 0.0 sec. user=mdettweiler [2016-04-02 03:41:32] 899*2^1425092-1 is not prime. Res64: 8ED18DF999D4F2C1 Time : 0.0 sec. user=mdettweiler [2016-04-02 03:41:33] 999*2^1425092-1 is not prime. Res64: FED77687CF7C120A Time : 0.0 sec. user=mdettweiler [2016-04-02 03:41:33] 649*2^1425093-1 is not prime. Res64: F989960CD04E9D78 Time : 0.0 sec. user=mdettweiler [2016-04-02 03:49:03] 651*2^1425093-1 is not prime. Res64: AAA744AA3C2D6AB7 Time : 0.0 sec. user=mdettweiler [2016-04-02 03:49:04] 745*2^1425093-1 is not prime. Res64: 81532CC319E97E9B Time : 0.0 sec. user=mdettweiler [2016-04-02 03:49:04] 765*2^1425093-1 is not prime. Res64: B707CA2871B14ECD Time : 0.0 sec. user=mdettweiler [2016-04-02 03:49:05] 805*2^1425093-1 is not prime. Res64: F214972DC5E7F275 Time : 0.0 sec. user=mdettweiler [2016-04-02 03:49:06] 829*2^1425093-1 is not prime. Res64: DF3C7A8A027F8B76 Time : 0.0 sec. user=mdettweiler [2016-04-02 03:57:30] 705*2^1425096-1 is not prime. Res64: 749CE64A6B1461B7 Time : 0.0 sec. user=mdettweiler [2016-04-02 03:57:47] 737*2^1425096-1 is not prime. Res64: 536BA3215A0E4035 Time : 0.0 sec. user=mdettweiler [2016-04-02 04:26:12] 723*2^1425094-1 is not prime. Res64: CB1927C281B9D344 Time : 0.0 sec. user=mdettweiler [2016-04-02 04:26:12] 741*2^1425094-1 is not prime. Res64: F190BE472C666D0A Time : 0.0 sec. user=mdettweiler [2016-04-02 04:26:12] 755*2^1425094-1 is not prime. Res64: 51DDB1AE2DEFAA13 Time : 0.0 sec. user=mdettweiler [2016-04-02 04:26:13] 825*2^1425094-1 is not prime. Res64: 635BEE9D8526515E Time : 0.0 sec. user=mdettweiler [2016-04-02 04:26:13] 945*2^1425094-1 is not prime. Res64: D398E60E695853A0 Time : 0.0 sec. user=mdettweiler [2016-04-02 04:26:14] 867*2^1425093-1 is not prime. Res64: 1A568836D3F9BF75 Time : 0.0 sec. user=mdettweiler [2016-04-02 04:26:14] 877*2^1425093-1 is not prime. Res64: 4AF1875243C10FE7 Time : 0.0 sec. user=mdettweiler [2016-04-02 04:26:15] 605*2^1425094-1 is not prime. Res64: 4178BFC4B813993D Time : 0.0 sec. user=mdettweiler [2016-04-02 04:26:15] 671*2^1425094-1 is not prime. Res64: 78F00CA073267D3A Time : 0.0 sec. user=mdettweiler [2016-04-02 04:26:16] 677*2^1425094-1 is not prime. Res64: 1F57CCEB87EB3DDD Time : 0.0 sec. user=mdettweiler [2016-04-02 04:26:29] 971*2^1425094-1 is not prime. Res64: 1126328F63C05DE2 Time : 0.0 sec. user=mdettweiler [2016-04-02 04:26:29] 1001*2^1425094-1 is not prime. Res64: 31BBD0EB377C5608 Time : 0.0 sec. user=mdettweiler [2016-04-02 04:26:29] 609*2^1425095-1 is not prime. Res64: BE98E972DF4BF6A1 Time : 0.0 sec. user=mdettweiler [2016-04-02 04:26:30] 735*2^1425095-1 is not prime. Res64: AC1EA06682301FD7 Time : 0.0 sec. user=mdettweiler [2016-04-02 04:26:30] 741*2^1425095-1 is not prime. Res64: D26DD00B28D83B84 Time : 0.0 sec. user=mdettweiler [2016-04-02 04:33:56] 753*2^1425095-1 is not prime. Res64: CC47759957AA3D37 Time : 0.0 sec. user=mdettweiler [2016-04-02 04:33:57] 843*2^1425095-1 is not prime. Res64: E7AA43F8632A7E13 Time : 0.0 sec. user=mdettweiler [2016-04-02 04:33:57] 865*2^1425095-1 is not prime. Res64: A47288C8B674673B Time : 0.0 sec. user=mdettweiler [2016-04-02 04:33:58] 979*2^1425095-1 is not prime. Res64: 39139327FC28FA0A Time : 0.0 sec. user=mdettweiler [2016-04-02 04:33:58] 635*2^1425096-1 is not prime. Res64: EA366C0AAFE3FE11 Time : 0.0 sec. user=mdettweiler [2016-04-02 05:12:00] 899*2^1425096-1 is not prime. Res64: 00CE2A6AC5C3B85C Time : 0.0 sec. user=mdettweiler [2016-04-02 05:12:01] 817*2^1425097-1 is not prime. Res64: 36EB8F8DB8E8D452 Time : 0.0 sec. user=mdettweiler [2016-04-02 05:12:01] 819*2^1425097-1 is not prime. Res64: 1F8C606A653F0812 Time : 0.0 sec. user=mdettweiler [2016-04-02 05:12:02] 889*2^1425097-1 is not prime. Res64: BAEDEBA6E0D56979 Time : 0.0 sec. user=mdettweiler [2016-04-02 05:12:02] 901*2^1425097-1 is not prime. Res64: 232EEDE13925C57E Time : 0.0 sec. user=mdettweiler [2016-04-02 05:12:11] 909*2^1425097-1 is not prime. Res64: 5854A8238A406E87 Time : 0.0 sec. user=mdettweiler [2016-04-02 05:12:11] 755*2^1425098-1 is not prime. Res64: AE77990A0F381CCB Time : 0.0 sec. user=mdettweiler [2016-04-02 05:12:11] 791*2^1425098-1 is not prime. Res64: ECC237EC23651303 Time : 0.0 sec. user=mdettweiler [2016-04-02 05:12:12] 927*2^1425098-1 is not prime. Res64: E6D8E6FB2553F712 Time : 0.0 sec. user=mdettweiler [2016-04-02 05:12:12] 621*2^1425099-1 is not prime. Res64: 3A17D5BB34956B48 Time : 0.0 sec. user=mdettweiler [2016-04-02 05:12:27] 745*2^1425099-1 is not prime. Res64: 2D30F4228962A191 Time : 0.0 sec. user=mdettweiler [2016-04-02 05:12:27] 859*2^1425099-1 is not prime. Res64: 612A5171C4827BED Time : 0.0 sec. user=mdettweiler [2016-04-02 05:12:27] 861*2^1425099-1 is not prime. Res64: 6141D91834BA0242 Time : 0.0 sec. user=mdettweiler [2016-04-02 05:12:28] 921*2^1425099-1 is not prime. Res64: BCE3D87FABAFCB44 Time : 0.0 sec. user=mdettweiler [2016-04-02 05:12:28] 951*2^1425099-1 is not prime. Res64: 263047ED1C81767C Time : 0.0 sec. user=mdettweiler [2016-04-02 05:19:55] 973*2^1425099-1 is not prime. Res64: A53E1E538D7B0085 Time : 0.0 sec. user=mdettweiler [2016-04-02 05:19:55] 975*2^1425099-1 is not prime. Res64: 60EC202CA6C9C852 Time : 0.0 sec. user=mdettweiler [2016-04-02 05:19:56] 991*2^1425099-1 is not prime. Res64: 23B4041A216CA0B6 Time : 0.0 sec. user=mdettweiler [2016-04-02 05:19:56] 647*2^1425100-1 is not prime. Res64: 71975B0A851CD384 Time : 0.0 sec. user=mdettweiler [2016-04-02 05:19:56] 693*2^1425100-1 is not prime. Res64: 1A13A485635392A0 Time : 0.0 sec. user=mdettweiler [2016-04-02 05:57:00] 939*2^1425101-1 is not prime. Res64: BB365980611E2CAC Time : 0.0 sec. user=mdettweiler [2016-04-02 05:57:01] 693*2^1425102-1 is not prime. Res64: F7C34D7684267AF8 Time : 0.0 sec. user=mdettweiler [2016-04-02 05:57:01] 725*2^1425102-1 is not prime. Res64: 960C7CB12DEAF117 Time : 0.0 sec. user=mdettweiler [2016-04-02 05:57:01] 761*2^1425102-1 is not prime. Res64: 12E266FB976E0324 Time : 0.0 sec. user=mdettweiler [2016-04-02 05:57:01] 923*2^1425100-1 is not prime. Res64: 9DAD912C5B9033E9 Time : 0.0 sec. user=mdettweiler [2016-04-02 05:57:02] 797*2^1425102-1 is not prime. Res64: 6A7A0C9B589D1588 Time : 0.0 sec. user=mdettweiler [2016-04-02 05:57:02] 939*2^1425100-1 is not prime. Res64: E4C5CC8A884E92C6 Time : 0.0 sec. user=mdettweiler [2016-04-02 05:57:02] 957*2^1425100-1 is not prime. Res64: 2BCE36488F6F0EC5 Time : 0.0 sec. user=mdettweiler [2016-04-02 05:57:03] 735*2^1425101-1 is not prime. Res64: 8E43BBB235A017D1 Time : 0.0 sec. user=mdettweiler [2016-04-02 05:57:03] 811*2^1425101-1 is not prime. Res64: B1BDD8F1F4C85EF9 Time : 0.0 sec. user=mdettweiler [2016-04-02 05:57:20] 807*2^1425102-1 is not prime. Res64: E98B0A4A8EE59082 Time : 0.0 sec. user=mdettweiler [2016-04-02 05:57:20] 873*2^1425102-1 is not prime. Res64: FE4669744D1E2C9E Time : 0.0 sec. user=mdettweiler [2016-04-02 05:57:20] 921*2^1425102-1 is not prime. Res64: D76BADDF597B56C6 Time : 0.0 sec. user=mdettweiler [2016-04-02 05:57:21] 705*2^1425103-1 is not prime. Res64: 06B1F4CDB73BC5E0 Time : 0.0 sec. user=mdettweiler [2016-04-02 05:57:21] 723*2^1425103-1 is not prime. Res64: 405EDC5AF56F5496 Time : 0.0 sec. user=mdettweiler [2016-04-02 06:04:57] 729*2^1425103-1 is not prime. Res64: 948AFFBB85A92299 Time : 0.0 sec. user=mdettweiler [2016-04-02 06:04:58] 741*2^1425103-1 is not prime. Res64: 47E64F0306B65EF9 Time : 0.0 sec. user=mdettweiler [2016-04-02 06:05:00] 859*2^1425103-1 is not prime. Res64: 522B8C7B8AAAC8AA Time : 0.0 sec. user=mdettweiler [2016-04-02 06:05:02] 933*2^1425103-1 is not prime. Res64: FBB74EA08A5BA2F7 Time : 0.0 sec. user=mdettweiler [2016-04-02 06:05:03] 657*2^1425104-1 is not prime. Res64: 433C8B2D7ADE9D9C Time : 0.0 sec. user=mdettweiler [2016-04-02 06:41:49] 849*2^1425105-1 is not prime. Res64: D4D09FFA069BB3A6 Time : 0.0 sec. user=mdettweiler [2016-04-02 06:41:49] 871*2^1425105-1 is not prime. Res64: 9BFFA127A465D0F5 Time : 0.0 sec. user=mdettweiler [2016-04-02 06:41:50] 885*2^1425105-1 is not prime. Res64: 42786FFD8FF596A8 Time : 0.0 sec. user=mdettweiler [2016-04-02 06:41:50] 895*2^1425105-1 is not prime. Res64: 680D995025F0603A Time : 0.0 sec. user=mdettweiler [2016-04-02 06:41:50] 909*2^1425105-1 is not prime. Res64: 549DECEE537671EC Time : 0.0 sec. user=mdettweiler [2016-04-02 06:42:06] 743*2^1425104-1 is not prime. Res64: 3F67EA81EAC28C7E Time : 0.0 sec. user=mdettweiler [2016-04-02 06:42:06] 639*2^1425105-1 is not prime. Res64: 9EACA1007170D4C3 Time : 0.0 sec. user=mdettweiler [2016-04-02 06:42:07] 727*2^1425105-1 is not prime. Res64: BF33B1B8A820DDBB Time : 0.0 sec. user=mdettweiler [2016-04-02 06:42:07] 781*2^1425105-1 is not prime. Res64: ACC30C3B2BA7C25A Time : 0.0 sec. user=mdettweiler [2016-04-02 06:42:08] 795*2^1425105-1 is not prime. Res64: F09E76341EAB6416 Time : 0.0 sec. user=mdettweiler [2016-04-02 06:42:22] 915*2^1425105-1 is not prime. Res64: 63AC3F9D79875D2A Time : 0.0 sec. user=mdettweiler [2016-04-02 06:42:23] 701*2^1425106-1 is not prime. Res64: 44DAC6CA9EB1438A Time : 0.0 sec. user=mdettweiler [2016-04-02 06:42:23] 735*2^1425106-1 is not prime. Res64: C5B7B953FC27F649 Time : 0.0 sec. user=mdettweiler [2016-04-02 06:42:23] 747*2^1425106-1 is not prime. Res64: C97D64D8F9AC1001 Time : 0.0 sec. user=mdettweiler [2016-04-02 06:42:24] 833*2^1425106-1 is not prime. Res64: 5556DB9CA7C1F617 Time : 0.0 sec. user=mdettweiler [2016-04-02 06:50:16] 631*2^1425107-1 is not prime. Res64: 66F20A9E1F6F9B09 Time : 0.0 sec. user=mdettweiler [2016-04-02 06:50:17] 651*2^1425107-1 is not prime. Res64: 3E294CC21365E0D8 Time : 0.0 sec. user=mdettweiler [2016-04-02 06:50:17] 693*2^1425107-1 is not prime. Res64: 1ECB531E5B7D1DF5 Time : 0.0 sec. user=mdettweiler [2016-04-02 06:50:17] 741*2^1425107-1 is not prime. Res64: 3943E2831FE8AF54 Time : 0.0 sec. user=mdettweiler [2016-04-02 06:50:18] 895*2^1425107-1 is not prime. Res64: 39560CB4A809E260 Time : 0.0 sec. user=mdettweiler [2016-04-02 07:26:38] 963*2^1425107-1 is not prime. Res64: 4CCF45F82C02CA87 Time : 0.0 sec. user=mdettweiler [2016-04-02 07:26:39] 629*2^1425108-1 is not prime. Res64: DBCEFB20D062FDA7 Time : 0.0 sec. user=mdettweiler [2016-04-02 07:26:39] 657*2^1425108-1 is not prime. Res64: 1DCC451372B14A00 Time : 0.0 sec. user=mdettweiler [2016-04-02 07:26:40] 737*2^1425108-1 is not prime. Res64: D0F09030CC4487C4 Time : 0.0 sec. user=mdettweiler [2016-04-02 07:26:40] 797*2^1425108-1 is not prime. Res64: A9B71EE058947130 Time : 0.0 sec. user=mdettweiler [2016-04-02 07:26:57] 899*2^1425108-1 is not prime. Res64: C64BF9DEF38345C6 Time : 0.0 sec. user=mdettweiler [2016-04-02 07:26:57] 909*2^1425108-1 is not prime. Res64: 8A7A576BAA576BD8 Time : 0.0 sec. user=mdettweiler [2016-04-02 07:26:57] 915*2^1425108-1 is not prime. Res64: B4E8F3BFC72FD7F5 Time : 0.0 sec. user=mdettweiler [2016-04-02 07:26:58] 929*2^1425108-1 is not prime. Res64: 05FDC4D6E8C850CF Time : 0.0 sec. user=mdettweiler [2016-04-02 07:26:58] 933*2^1425108-1 is not prime. Res64: EA4A2EC0F8EAF488 Time : 0.0 sec. user=mdettweiler [2016-04-02 07:27:25] 945*2^1425108-1 is not prime. Res64: 0FED451232D03677 Time : 0.0 sec. user=mdettweiler [2016-04-02 07:27:26] 975*2^1425108-1 is not prime. Res64: FB953665BAEEBA50 Time : 0.0 sec. user=mdettweiler [2016-04-02 07:27:26] 801*2^1425109-1 is not prime. Res64: AD333E5F0F21E612 Time : 0.0 sec. user=mdettweiler [2016-04-02 07:27:27] 961*2^1425109-1 is not prime. Res64: 8AF90730955CB163 Time : 0.0 sec. user=mdettweiler [2016-04-02 07:27:27] 663*2^1425110-1 is not prime. Res64: 55409A542A53A338 Time : 0.0 sec. user=mdettweiler [2016-04-02 07:35:01] 717*2^1425110-1 is not prime. Res64: C046F2209CEBFA76 Time : 0.0 sec. user=mdettweiler [2016-04-02 07:35:01] 743*2^1425110-1 is not prime. Res64: E4AC68DEACE88103 Time : 0.0 sec. user=mdettweiler [2016-04-02 07:35:02] 801*2^1425110-1 is not prime. Res64: F0EF5A245845526C Time : 0.0 sec. user=mdettweiler [2016-04-02 07:35:02] 935*2^1425110-1 is not prime. Res64: F7B2CB820F9ACD82 Time : 0.0 sec. user=mdettweiler [2016-04-02 07:35:02] 981*2^1425110-1 is not prime. Res64: 6779EA004FA48EE1 Time : 0.0 sec. user=mdettweiler [2016-04-02 08:11:36] 987*2^1425110-1 is not prime. Res64: 0BCF11F23F900070 Time : 0.0 sec. user=mdettweiler [2016-04-02 08:11:36] 651*2^1425111-1 is not prime. Res64: FBCD430AAE85FF7D Time : 0.0 sec. user=mdettweiler [2016-04-02 08:11:36] 735*2^1425111-1 is not prime. Res64: 2F4B6D2B74AA7641 Time : 0.0 sec. user=mdettweiler [2016-04-02 08:11:37] 783*2^1425111-1 is not prime. Res64: B4918F7BECADFDA2 Time : 0.0 sec. user=mdettweiler [2016-04-02 08:11:37] 933*2^1425111-1 is not prime. Res64: AFA6FFD44508652D Time : 0.0 sec. user=mdettweiler [2016-04-02 08:11:56] 603*2^1425112-1 is not prime. Res64: 2E44086F2F6214EE Time : 0.0 sec. user=mdettweiler [2016-04-02 08:11:56] 653*2^1425112-1 is not prime. Res64: DEAE05BBBC598319 Time : 0.0 sec. user=mdettweiler [2016-04-02 08:11:56] 687*2^1425112-1 is not prime. Res64: B5491B4159FEA282 Time : 0.0 sec. user=mdettweiler [2016-04-02 08:11:57] 705*2^1425112-1 is not prime. Res64: C13528E57DC6AC35 Time : 0.0 sec. user=mdettweiler [2016-04-02 08:11:57] 779*2^1425112-1 is not prime. Res64: 98ED5B463DB3D694 Time : 0.0 sec. user=mdettweiler [2016-04-02 08:12:11] 873*2^1425112-1 is not prime. Res64: 7C02CD7CD1904B80 Time : 0.0 sec. user=mdettweiler [2016-04-02 08:12:11] 909*2^1425112-1 is not prime. Res64: E5117DFB0952DFD4 Time : 0.0 sec. user=mdettweiler [2016-04-02 08:12:12] 989*2^1425112-1 is not prime. Res64: 5C1B8FF6449A925F Time : 0.0 sec. user=mdettweiler [2016-04-02 08:12:12] 999*2^1425112-1 is not prime. Res64: C162B8810690D525 Time : 0.0 sec. user=mdettweiler [2016-04-02 08:12:13] 619*2^1425113-1 is not prime. Res64: CFBAAF7548F90674 Time : 0.0 sec. user=mdettweiler [2016-04-02 08:20:04] 649*2^1425113-1 is not prime. Res64: B88FD3C954EFAAAA Time : 0.0 sec. user=mdettweiler [2016-04-02 08:20:05] 699*2^1425113-1 is not prime. Res64: 51E1F2B72A211F69 Time : 0.0 sec. user=mdettweiler [2016-04-02 08:20:05] 715*2^1425113-1 is not prime. Res64: B8961E9003AD53DD Time : 0.0 sec. user=mdettweiler [2016-04-02 08:20:06] 735*2^1425113-1 is not prime. Res64: C42A01B52B600C3E Time : 0.0 sec. user=mdettweiler [2016-04-02 08:20:06] 771*2^1425113-1 is not prime. Res64: 93E0A301D3CE8F82 Time : 0.0 sec. user=mdettweiler [2016-04-02 08:35:30] 837*2^1425113-1 is not prime. Res64: 0BC2E2881938E81A Time : 0.0 sec. user=mdettweiler [2016-04-02 08:56:41] 969*2^1425116-1 is not prime. Res64: 002D6B288FD00803 Time : 0.0 sec. user=mdettweiler [2016-04-02 08:56:47] 889*2^1425113-1 is not prime. Res64: C3D8A7CA08C21E14 Time : 0.0 sec. user=mdettweiler [2016-04-02 08:56:48] 991*2^1425113-1 is not prime. Res64: 02AB7C3C92850705 Time : 0.0 sec. user=mdettweiler [2016-04-02 08:56:48] 605*2^1425114-1 is not prime. Res64: 26948B1A59983D3A Time : 0.0 sec. user=mdettweiler [2016-04-02 08:56:49] 641*2^1425114-1 is not prime. Res64: 042D28BD5432A864 Time : 0.0 sec. user=mdettweiler [2016-04-02 08:56:49] 791*2^1425114-1 is not prime. Res64: 78B26851C7ED592E Time : 0.0 sec. user=mdettweiler [2016-04-02 08:56:56] 825*2^1425114-1 is not prime. Res64: ACBB9AC1A00D9063 Time : 0.0 sec. user=mdettweiler [2016-04-02 08:56:56] 891*2^1425114-1 is not prime. Res64: A82993E5FFD39248 Time : 0.0 sec. user=mdettweiler [2016-04-02 08:56:56] 971*2^1425114-1 is not prime. Res64: E7B44380634CA217 Time : 0.0 sec. user=mdettweiler [2016-04-02 08:56:57] 735*2^1425115-1 is not prime. Res64: 239F36CED2740C5B Time : 0.0 sec. user=mdettweiler [2016-04-02 08:56:57] 741*2^1425115-1 is not prime. Res64: 644D0E495620AED8 Time : 0.0 sec. user=mdettweiler [2016-04-02 08:57:15] 885*2^1425115-1 is not prime. Res64: 2150699F0FD5B7AA Time : 0.0 sec. user=mdettweiler [2016-04-02 08:57:15] 969*2^1425115-1 is not prime. Res64: EC3367D8563A196B Time : 0.0 sec. user=mdettweiler [2016-04-02 08:57:15] 985*2^1425115-1 is not prime. Res64: C1819A9DD5C435C6 Time : 0.0 sec. user=mdettweiler [2016-04-02 08:57:16] 647*2^1425116-1 is not prime. Res64: 781FD83154216124 Time : 0.0 sec. user=mdettweiler [2016-04-02 08:57:16] 663*2^1425116-1 is not prime. Res64: 53CE75FC412408CA Time : 0.0 sec. user=mdettweiler [2016-04-02 09:05:07] 683*2^1425116-1 is not prime. Res64: 387F2C6125368952 Time : 0.0 sec. user=mdettweiler [2016-04-02 09:05:08] 767*2^1425116-1 is not prime. Res64: 2C72B50A2965152A Time : 0.0 sec. user=mdettweiler [2016-04-02 09:05:09] 867*2^1425116-1 is not prime. Res64: C7014BFD29BC1087 Time : 0.0 sec. user=mdettweiler [2016-04-02 09:05:11] 903*2^1425116-1 is not prime. Res64: 46C49E428639488E Time : 0.0 sec. user=mdettweiler [2016-04-02 09:05:12] 957*2^1425116-1 is not prime. Res64: 7D22908B2F43B4A9 Time : 0.0 sec. user=mdettweiler [2016-04-02 09:41:56] 999*2^1425116-1 is not prime. Res64: B8F3F37C3EDDFC6C Time : 0.0 sec. user=mdettweiler [2016-04-02 09:41:56] 621*2^1425117-1 is not prime. Res64: 4EA22A1D10514DB3 Time : 0.0 sec. user=mdettweiler [2016-04-02 09:41:56] 709*2^1425117-1 is not prime. Res64: 1788EF36434F5182 Time : 0.0 sec. user=mdettweiler [2016-04-02 09:41:57] 717*2^1425117-1 is not prime. Res64: 7EB4A3F4D59FB040 Time : 0.0 sec. user=mdettweiler [2016-04-02 09:41:57] 765*2^1425117-1 is not prime. Res64: 644BD55715FA586D Time : 0.0 sec. user=mdettweiler [2016-04-02 09:41:57] 889*2^1425117-1 is not prime. Res64: 493E13EB11F02BD9 Time : 0.0 sec. user=mdettweiler [2016-04-02 09:41:58] 927*2^1425117-1 is not prime. Res64: E8FE3ED03C345FAA Time : 0.0 sec. user=mdettweiler [2016-04-02 09:41:58] 979*2^1425117-1 is not prime. Res64: 9716AD27BAF29D60 Time : 0.0 sec. user=mdettweiler [2016-04-02 09:41:58] 611*2^1425118-1 is not prime. Res64: 4B0DCBD703D1886C Time : 0.0 sec. user=mdettweiler [2016-04-02 09:41:59] 623*2^1425118-1 is not prime. Res64: 8FC862307C2815B7 Time : 0.0 sec. user=mdettweiler [2016-04-02 09:42:22] 663*2^1425118-1 is not prime. Res64: 44D6C1057A5C98CB Time : 0.0 sec. user=mdettweiler [2016-04-02 09:42:22] 681*2^1425118-1 is not prime. Res64: 79A93E4796566FC6 Time : 0.0 sec. user=mdettweiler [2016-04-02 09:42:23] 705*2^1425118-1 is not prime. Res64: 9883705B659489CD Time : 0.0 sec. user=mdettweiler [2016-04-02 09:42:23] 713*2^1425118-1 is not prime. Res64: D175CD601EB2B67B Time : 0.0 sec. user=mdettweiler [2016-04-02 09:42:23] 723*2^1425118-1 is not prime. Res64: 3F42BCD3BDCCC49D Time : 0.0 sec. user=mdettweiler [2016-04-02 09:50:23] 737*2^1425118-1 is not prime. Res64: 97E392192BB0E9CD Time : 0.0 sec. user=mdettweiler [2016-04-02 09:50:23] 891*2^1425118-1 is not prime. Res64: 2C717188ADBF3DE4 Time : 0.0 sec. user=mdettweiler [2016-04-02 09:50:24] 971*2^1425118-1 is not prime. Res64: 3451B2F6F32D453B Time : 0.0 sec. user=mdettweiler [2016-04-02 09:50:24] 685*2^1425119-1 is not prime. Res64: 8BA761B0E21AF2A8 Time : 0.0 sec. user=mdettweiler [2016-04-02 09:50:24] 855*2^1425119-1 is not prime. Res64: 1EF6412F681C03D7 Time : 0.0 sec. user=mdettweiler [2016-04-02 10:26:53] 909*2^1425119-1 is not prime. Res64: C4480104D7291852 Time : 0.0 sec. user=mdettweiler [2016-04-02 10:26:53] 819*2^1425121-1 is not prime. Res64: C9F191115E11FD65 Time : 0.0 sec. user=mdettweiler [2016-04-02 10:26:54] 627*2^1425120-1 is not prime. Res64: C136D89F95FC3839 Time : 0.0 sec. user=mdettweiler [2016-04-02 10:26:54] 705*2^1425122-1 is not prime. Res64: 256B2E000DDF0AD4 Time : 0.0 sec. user=mdettweiler [2016-04-02 10:26:54] 615*2^1425121-1 is not prime. Res64: 07D0CEF6070A3514 Time : 0.0 sec. user=mdettweiler [2016-04-02 10:26:54] 713*2^1425122-1 is not prime. Res64: 5B78DF97DB7A42B1 Time : 0.0 sec. user=mdettweiler [2016-04-02 10:26:55] 645*2^1425121-1 is not prime. Res64: 1C9C1EFF9CA4216D Time : 0.0 sec. user=mdettweiler [2016-04-02 10:26:55] 843*2^1425122-1 is not prime. Res64: AA912CB91B6DB158 Time : 0.0 sec. user=mdettweiler [2016-04-02 10:26:55] 911*2^1425122-1 is not prime. Res64: 422038C20E0E7A8E Time : 0.0 sec. user=mdettweiler [2016-04-02 10:26:55] 771*2^1425121-1 is not prime. Res64: CF46A1B018DD90B4 Time : 0.0 sec. user=mdettweiler [2016-04-02 10:27:21] 921*2^1425122-1 is not prime. Res64: 015A755E7FB0F73A Time : 0.0 sec. user=mdettweiler [2016-04-02 10:27:21] 923*2^1425122-1 is not prime. Res64: 4CC6952422299397 Time : 0.0 sec. user=mdettweiler [2016-04-02 10:27:22] 963*2^1425122-1 is not prime. Res64: AAE42C0072ECEFBE Time : 0.0 sec. user=mdettweiler [2016-04-02 10:27:22] 753*2^1425123-1 is not prime. Res64: 17A8AB99476999C3 Time : 0.0 sec. user=mdettweiler [2016-04-02 10:27:22] 605*2^1425124-1 is not prime. Res64: 1B2B45647E8D2538 Time : 0.0 sec. user=mdettweiler [2016-04-02 10:35:18] 635*2^1425124-1 is not prime. Res64: 06490B53728A8A03 Time : 0.0 sec. user=mdettweiler [2016-04-02 10:35:18] 707*2^1425124-1 is not prime. Res64: D2734575DC6F5B35 Time : 0.0 sec. user=mdettweiler [2016-04-02 10:35:18] 717*2^1425124-1 is not prime. Res64: C24960611EDA468D Time : 0.0 sec. user=mdettweiler [2016-04-02 10:35:19] 887*2^1425124-1 is not prime. Res64: EEA4D32E7FE600E4 Time : 0.0 sec. user=mdettweiler [2016-04-02 10:35:19] 927*2^1425124-1 is not prime. Res64: 6B82F15B7C5FAC0A Time : 0.0 sec. user=mdettweiler [2016-04-02 11:11:40] 847*2^1425125-1 is not prime. Res64: E0541147144168C0 Time : 0.0 sec. user=mdettweiler [2016-04-02 11:11:41] 859*2^1425125-1 is not prime. Res64: C660618E1ADC6143 Time : 0.0 sec. user=mdettweiler [2016-04-02 11:11:41] 929*2^1425124-1 is not prime. Res64: EA8F7A2DBCC26892 Time : 0.0 sec. user=mdettweiler [2016-04-02 11:11:41] 949*2^1425125-1 is not prime. Res64: 44F28B8F259E6499 Time : 0.0 sec. user=mdettweiler [2016-04-02 11:11:41] 989*2^1425124-1 is not prime. Res64: A78276766215C808 Time : 0.0 sec. user=mdettweiler [2016-04-02 11:11:42] 957*2^1425125-1 is not prime. Res64: 92665A6B0F04D5E7 Time : 0.0 sec. user=mdettweiler [2016-04-02 11:11:42] 619*2^1425125-1 is not prime. Res64: C5738918BE50CE0F Time : 0.0 sec. user=mdettweiler [2016-04-02 11:11:42] 641*2^1425126-1 is not prime. Res64: 661A3DD07C87AA8F Time : 0.0 sec. user=mdettweiler [2016-04-02 11:11:42] 675*2^1425125-1 is not prime. Res64: C68BC8D3ECA6C5F8 Time : 0.0 sec. user=mdettweiler [2016-04-02 11:11:43] 691*2^1425125-1 is not prime. Res64: 7FBE7D65EF8D0578 Time : 0.0 sec. user=mdettweiler [2016-04-02 11:12:16] 647*2^1425126-1 is not prime. Res64: 58F904ADB9576A88 Time : 0.0 sec. user=mdettweiler [2016-04-02 11:12:16] 765*2^1425126-1 is not prime. Res64: 672EE4BA2EB90CCE Time : 0.0 sec. user=mdettweiler [2016-04-02 11:12:17] 923*2^1425126-1 is not prime. Res64: 3A4B2D477A571FDA Time : 0.0 sec. user=mdettweiler [2016-04-02 11:12:17] 983*2^1425126-1 is not prime. Res64: A93582FF21A3B7A2 Time : 0.0 sec. user=mdettweiler [2016-04-02 11:12:18] 603*2^1425127-1 is not prime. Res64: BAABC861609617BE Time : 0.0 sec. user=mdettweiler [2016-04-02 11:20:01] 681*2^1425127-1 is not prime. Res64: 0A23FA78892F29D8 Time : 0.0 sec. user=mdettweiler [2016-04-02 11:20:01] 805*2^1425127-1 is not prime. Res64: 77451327F28080E2 Time : 0.0 sec. user=mdettweiler [2016-04-02 11:20:01] 913*2^1425127-1 is not prime. Res64: 5791BE5B35E7C0D5 Time : 0.0 sec. user=mdettweiler [2016-04-02 11:20:02] 919*2^1425127-1 is not prime. Res64: CA81030F305FE0ED Time : 0.0 sec. user=mdettweiler [2016-04-02 11:20:02] 961*2^1425127-1 is not prime. Res64: 1946A281490017CA Time : 0.0 sec. user=mdettweiler [2016-04-02 11:56:32] 899*2^1425128-1 is not prime. Res64: 1F5F77D301C70BE3 Time : 0.0 sec. user=mdettweiler [2016-04-02 11:56:33] 923*2^1425128-1 is not prime. Res64: 846F9B312274C834 Time : 0.0 sec. user=mdettweiler [2016-04-02 11:56:33] 963*2^1425128-1 is not prime. Res64: 2060533D523AEE1C Time : 0.0 sec. user=mdettweiler [2016-04-02 11:56:34] 977*2^1425128-1 is not prime. Res64: 39E4BFFB2C46EDA5 Time : 0.0 sec. user=mdettweiler [2016-04-02 11:56:34] 609*2^1425129-1 is not prime. Res64: 3ACDE3727AE5654C Time : 0.0 sec. user=mdettweiler [2016-04-02 11:56:50] 665*2^1425128-1 is not prime. Res64: E52198D9F7DAEB9E Time : 0.0 sec. user=mdettweiler [2016-04-02 11:56:51] 687*2^1425128-1 is not prime. Res64: 6BF1AAAAB46F1392 Time : 0.0 sec. user=mdettweiler [2016-04-02 11:56:51] 713*2^1425128-1 is not prime. Res64: 7E6584FCE0992898 Time : 0.0 sec. user=mdettweiler [2016-04-02 11:56:51] 843*2^1425128-1 is not prime. Res64: A121BFE629C2C760 Time : 0.0 sec. user=mdettweiler [2016-04-02 11:56:52] 879*2^1425128-1 is not prime. Res64: A86E503EBCC51273 Time : 0.0 sec. user=mdettweiler [2016-04-02 11:57:16] 625*2^1425129-1 is not prime. Res64: 49098355D733E9D3 Time : 0.0 sec. user=mdettweiler [2016-04-02 11:57:17] 649*2^1425129-1 is not prime. Res64: B6D373BF74E579BF Time : 0.0 sec. user=mdettweiler [2016-04-02 11:57:17] 747*2^1425129-1 is not prime. Res64: B881DD7393A82342 Time : 0.0 sec. user=mdettweiler [2016-04-02 11:57:18] 817*2^1425129-1 is not prime. Res64: AEDC4CFDA9ECA8F8 Time : 0.0 sec. user=mdettweiler [2016-04-02 11:57:18] 865*2^1425129-1 is not prime. Res64: 4E9EA7FD24C425A0 Time : 0.0 sec. user=mdettweiler [2016-04-02 12:04:53] 895*2^1425129-1 is not prime. Res64: 0E70E4B484E128BA Time : 0.0 sec. user=mdettweiler [2016-04-02 12:04:55] 657*2^1425130-1 is not prime. Res64: 8F9A52654AD0B8C2 Time : 0.0 sec. user=mdettweiler [2016-04-02 12:04:56] 717*2^1425130-1 is not prime. Res64: B9EBCF44E42EEDFC Time : 0.0 sec. user=mdettweiler [2016-04-02 12:04:57] 791*2^1425130-1 is not prime. Res64: FF56396B43D10736 Time : 0.0 sec. user=mdettweiler [2016-04-02 12:04:58] 891*2^1425130-1 is not prime. Res64: 27846A2B98DB1072 Time : 0.0 sec. user=mdettweiler [2016-04-02 12:28:24] 961*2^1425133-1 is not prime. Res64: 46A078ACD03D4C68 Time : 0.0 sec. user=mdettweiler [2016-04-02 12:42:04] 945*2^1425130-1 is not prime. Res64: 817186658C3497AA Time : 0.0 sec. user=mdettweiler [2016-04-02 12:42:04] 971*2^1425130-1 is not prime. Res64: E31CF30488C1D1BA Time : 0.0 sec. user=mdettweiler [2016-04-02 12:42:04] 981*2^1425130-1 is not prime. Res64: 505A02DC93BC1364 Time : 0.0 sec. user=mdettweiler [2016-04-02 12:42:05] 615*2^1425131-1 is not prime. Res64: 99ACEAD482C4C4DA Time : 0.0 sec. user=mdettweiler [2016-04-02 12:42:05] 711*2^1425131-1 is not prime. Res64: CF2175449A9ACA10 Time : 0.0 sec. user=mdettweiler [2016-04-02 12:42:42] 801*2^1425131-1 is not prime. Res64: C7B8F662A667DE19 Time : 0.0 sec. user=mdettweiler [2016-04-02 12:42:43] 859*2^1425131-1 is not prime. Res64: 630017913235CA8B Time : 0.0 sec. user=mdettweiler [2016-04-02 12:42:43] 903*2^1425131-1 is not prime. Res64: F008497FFB31746B Time : 0.0 sec. user=mdettweiler [2016-04-02 12:42:43] 693*2^1425132-1 is not prime. Res64: 006DBC2595E1672E Time : 0.0 sec. user=mdettweiler [2016-04-02 12:42:43] 753*2^1425132-1 is not prime. Res64: A8D914EE7DC9E6F7 Time : 0.0 sec. user=mdettweiler [2016-04-02 12:43:00] 779*2^1425132-1 is not prime. Res64: 1BB8AC707199B365 Time : 0.0 sec. user=mdettweiler [2016-04-02 12:43:01] 809*2^1425132-1 is not prime. Res64: F3FE274C1D299A37 Time : 0.0 sec. user=mdettweiler [2016-04-02 12:43:01] 947*2^1425132-1 is not prime. Res64: 9DF1A6A026645FBB Time : 0.0 sec. user=mdettweiler [2016-04-02 12:43:01] 977*2^1425132-1 is not prime. Res64: 988D24AFEFFF5093 Time : 0.0 sec. user=mdettweiler [2016-04-02 12:43:02] 609*2^1425133-1 is not prime. Res64: B1300641AC621006 Time : 0.0 sec. user=mdettweiler [2016-04-02 12:45:46] 967*2^1425133-1 is not prime. Res64: FD68CEC25D61341D Time : 0.0 sec. user=mdettweiler [2016-04-02 12:51:01] 639*2^1425133-1 is not prime. Res64: 0D6764619AC6A494 Time : 0.0 sec. user=mdettweiler [2016-04-02 12:51:01] 757*2^1425133-1 is not prime. Res64: 9E21C0CD01AD612B Time : 0.0 sec. user=mdettweiler [2016-04-02 12:51:02] 771*2^1425133-1 is not prime. Res64: 177D6AFF835B0D58 Time : 0.0 sec. user=mdettweiler [2016-04-02 12:51:02] 847*2^1425133-1 is not prime. Res64: 0E4BE804B983EEB1 Time : 0.0 sec. user=mdettweiler [2016-04-02 12:51:02] 955*2^1425133-1 is not prime. Res64: 0D838E881D692448 Time : 0.0 sec. user=mdettweiler [2016-04-02 13:28:01] 641*2^1425134-1 is not prime. Res64: 8A102A23C0B7E912 Time : 0.0 sec. user=mdettweiler [2016-04-02 13:28:02] 645*2^1425134-1 is not prime. Res64: 8FCCECF68A8A2548 Time : 0.0 sec. user=mdettweiler [2016-04-02 13:28:02] 755*2^1425134-1 is not prime. Res64: DE20AFC76C43B502 Time : 0.0 sec. user=mdettweiler [2016-04-02 13:28:03] 861*2^1425134-1 is not prime. Res64: 871C2CEAFD56FC6B Time : 0.0 sec. user=mdettweiler [2016-04-02 13:28:03] 965*2^1425134-1 is not prime. Res64: 8D6B9CEAA7D55F0E Time : 0.0 sec. user=mdettweiler [2016-04-02 13:28:46] 613*2^1425135-1 is not prime. Res64: DE7FD12C2FFC1F64 Time : 0.0 sec. user=mdettweiler [2016-04-02 13:28:47] 651*2^1425135-1 is not prime. Res64: 85E6F9F9A4366CC2 Time : 0.0 sec. user=mdettweiler [2016-04-02 13:28:48] 793*2^1425135-1 is not prime. Res64: 6D7875416BAC6747 Time : 0.0 sec. user=mdettweiler [2016-04-02 13:28:48] 823*2^1425135-1 is not prime. Res64: F67178736297DA05 Time : 0.0 sec. user=mdettweiler [2016-04-02 13:28:49] 909*2^1425135-1 is not prime. Res64: 2792129A32389C3D Time : 0.0 sec. user=mdettweiler [2016-04-02 13:29:12] 707*2^1425136-1 is not prime. Res64: A6045B04BC8F949B Time : 0.0 sec. user=mdettweiler [2016-04-02 13:29:12] 755*2^1425136-1 is not prime. Res64: BC902E08E67125C6 Time : 0.0 sec. user=mdettweiler [2016-04-02 13:29:13] 765*2^1425136-1 is not prime. Res64: DAF478FAF541D729 Time : 0.0 sec. user=mdettweiler [2016-04-02 13:29:13] 699*2^1425137-1 is not prime. Res64: 6A5D2E7D3BC5CD27 Time : 0.0 sec. user=mdettweiler [2016-04-02 13:29:14] 727*2^1425137-1 is not prime. Res64: 62BF81C16BE96D27 Time : 0.0 sec. user=mdettweiler [2016-04-02 13:37:01] 769*2^1425137-1 is not prime. Res64: EE771679A2610AAE Time : 0.0 sec. user=mdettweiler [2016-04-02 13:37:02] 867*2^1425137-1 is not prime. Res64: B1BC08123D25E2B8 Time : 0.0 sec. user=mdettweiler [2016-04-02 13:37:02] 925*2^1425137-1 is not prime. Res64: EAC64A6F2F7294D0 Time : 0.0 sec. user=mdettweiler [2016-04-02 13:37:02] 735*2^1425138-1 is not prime. Res64: 5AC82EBCF73E3D04 Time : 0.0 sec. user=mdettweiler [2016-04-02 13:37:03] 747*2^1425138-1 is not prime. Res64: 0B9EFC473828F36C Time : 0.0 sec. user=mdettweiler [2016-04-02 14:14:03] 887*2^1425138-1 is not prime. Res64: 5B8DE035B4C65C51 Time : 0.0 sec. user=mdettweiler [2016-04-02 14:14:04] 625*2^1425139-1 is not prime. Res64: C14DEB3FC5290BCF Time : 0.0 sec. user=mdettweiler [2016-04-02 14:14:04] 639*2^1425139-1 is not prime. Res64: D1128DFD6DF3F3CF Time : 0.0 sec. user=mdettweiler [2016-04-02 14:14:04] 649*2^1425139-1 is not prime. Res64: DD9041FB477CA240 Time : 0.0 sec. user=mdettweiler [2016-04-02 14:14:05] 675*2^1425139-1 is not prime. Res64: 75A7868142701A51 Time : 0.0 sec. user=mdettweiler [2016-04-02 14:14:45] 691*2^1425139-1 is not prime. Res64: C2ACC18E6FEC460A Time : 0.0 sec. user=mdettweiler [2016-04-02 14:14:45] 765*2^1425139-1 is not prime. Res64: C4C7F432CFC97417 Time : 0.0 sec. user=mdettweiler [2016-04-02 14:14:45] 859*2^1425139-1 is not prime. Res64: DD959449700AB9E1 Time : 0.0 sec. user=mdettweiler [2016-04-02 14:14:46] 925*2^1425139-1 is not prime. Res64: 01DCB7B8E48C21E0 Time : 0.0 sec. user=mdettweiler [2016-04-02 14:14:46] 951*2^1425139-1 is not prime. Res64: EE25719AF4A82FC8 Time : 0.0 sec. user=mdettweiler [2016-04-02 14:15:29] 969*2^1425139-1 is not prime. Res64: 41C68B43CF32E8B9 Time : 0.0 sec. user=mdettweiler [2016-04-02 14:15:30] 609*2^1425140-1 is not prime. Res64: 780AA2FB8F720C32 Time : 0.0 sec. user=mdettweiler [2016-04-02 14:15:30] 615*2^1425140-1 is not prime. Res64: BBA76AE903D07F71 Time : 0.0 sec. user=mdettweiler [2016-04-02 14:15:30] 699*2^1425140-1 is not prime. Res64: EE852DCA8ED79FE3 Time : 0.0 sec. user=mdettweiler [2016-04-02 14:15:31] 785*2^1425140-1 is not prime. Res64: 977672B1CDF165FD Time : 0.0 sec. user=mdettweiler [2016-04-02 14:23:50] 825*2^1425140-1 is not prime. Res64: AC01A715E1E6BEC4 Time : 0.0 sec. user=mdettweiler [2016-04-02 14:23:50] 879*2^1425140-1 is not prime. Res64: A64E9469A23D4EE6 Time : 0.0 sec. user=mdettweiler [2016-04-02 14:23:50] 609*2^1425141-1 is not prime. Res64: 1F763BDAA37B36B9 Time : 0.0 sec. user=mdettweiler [2016-04-02 14:23:50] 685*2^1425141-1 is not prime. Res64: 6A0211BAA8C1AB7F Time : 0.0 sec. user=mdettweiler [2016-04-02 14:23:51] 747*2^1425141-1 is not prime. Res64: C7AD328DE8B9FB68 Time : 0.0 sec. user=mdettweiler [2016-04-02 14:49:01] 945*2^1425144-1 is not prime. Res64: C0236AF5FA7FBF12 Time : 0.0 sec. user=mdettweiler [2016-04-02 15:03:51] 889*2^1425141-1 is not prime. Res64: 42D5E7CD82CED0E0 Time : 0.0 sec. user=mdettweiler [2016-04-02 15:03:54] 945*2^1425141-1 is not prime. Res64: F786F31656CFD8CA Time : 0.0 sec. user=mdettweiler [2016-04-02 15:03:56] 695*2^1425142-1 is not prime. Res64: 1DAD6DF3D50C9B8A Time : 0.0 sec. user=mdettweiler [2016-04-02 15:03:58] 713*2^1425142-1 is not prime. Res64: A83FCA6E81894B1B Time : 0.0 sec. user=mdettweiler [2016-04-02 15:03:59] 747*2^1425142-1 is not prime. Res64: 3264C14CCED3A077 Time : 0.0 sec. user=mdettweiler [2016-04-02 15:05:08] 963*2^1425143-1 is not prime. Res64: 0DBD8B3E09782BD0 Time : 0.0 sec. user=mdettweiler [2016-04-02 15:05:09] 981*2^1425143-1 is not prime. Res64: 151839F5B121B70D Time : 0.0 sec. user=mdettweiler [2016-04-02 15:05:11] 993*2^1425143-1 is not prime. Res64: 3B5B245D685908EA Time : 0.0 sec. user=mdettweiler [2016-04-02 15:05:12] 999*2^1425143-1 is not prime. Res64: DCA8D24F85AA522D Time : 0.0 sec. user=mdettweiler [2016-04-02 15:05:13] 663*2^1425144-1 is not prime. Res64: A390590C775DEEE8 Time : 0.0 sec. user=mdettweiler [2016-04-02 15:05:16] 1001*2^1425142-1 is not prime. Res64: CC109A11C02233D6 Time : 0.0 sec. user=mdettweiler [2016-04-02 15:05:17] 661*2^1425143-1 is not prime. Res64: 1310696FAFEFCB41 Time : 0.0 sec. user=mdettweiler [2016-04-02 15:05:19] 739*2^1425143-1 is not prime. Res64: 5465D77E19B6B939 Time : 0.0 sec. user=mdettweiler [2016-04-02 15:05:20] 889*2^1425143-1 is not prime. Res64: C98AD088BCDB0BA5 Time : 0.0 sec. user=mdettweiler [2016-04-02 15:05:22] 921*2^1425143-1 is not prime. Res64: D511D2E21EC1804D Time : 0.0 sec. user=mdettweiler [2016-04-02 15:12:44] 683*2^1425144-1 is not prime. Res64: 39E31F1340D194F6 Time : 0.0 sec. user=mdettweiler [2016-04-02 15:12:44] 719*2^1425144-1 is not prime. Res64: 2E91BF239E9F1779 Time : 0.0 sec. user=mdettweiler [2016-04-02 15:12:44] 765*2^1425144-1 is not prime. Res64: 5EB40FE2F0484311 Time : 0.0 sec. user=mdettweiler [2016-04-02 15:12:44] 875*2^1425144-1 is not prime. Res64: 1B3A962E7F80F76B Time : 0.0 sec. user=mdettweiler [2016-04-02 15:12:45] 899*2^1425144-1 is not prime. Res64: ACBF98E91BA2F791 Time : 0.0 sec. user=mdettweiler [2016-04-02 15:50:32] 993*2^1425144-1 is not prime. Res64: 80B2FD8DD4AAFD5F Time : 0.0 sec. user=mdettweiler [2016-04-02 15:50:32] 651*2^1425145-1 is not prime. Res64: 2420D29FA27AD523 Time : 0.0 sec. user=mdettweiler [2016-04-02 15:50:33] 777*2^1425145-1 is not prime. Res64: BAE62AF50A47668A Time : 0.0 sec. user=mdettweiler [2016-04-02 15:50:33] 831*2^1425145-1 is not prime. Res64: 2E291FE037B4EFF9 Time : 0.0 sec. user=mdettweiler [2016-04-02 15:50:34] 841*2^1425145-1 is not prime. Res64: 275FDE3B10B6EE43 Time : 0.0 sec. user=mdettweiler [2016-04-02 15:51:59] 903*2^1425147-1 is not prime. Res64: E386A1170459DA5D Time : 0.0 sec. user=mdettweiler [2016-04-02 15:51:59] 931*2^1425147-1 is not prime. Res64: 5C63AFD4697EEBA6 Time : 0.0 sec. user=mdettweiler [2016-04-02 15:52:00] 647*2^1425148-1 is not prime. Res64: BD1A40FB579D1710 Time : 0.0 sec. user=mdettweiler [2016-04-02 15:52:00] 705*2^1425148-1 is not prime. Res64: B081902C8B1FA2C2 Time : 0.0 sec. user=mdettweiler [2016-04-02 15:52:01] 777*2^1425148-1 is not prime. Res64: 864A72DF63373D3C Time : 0.0 sec. user=mdettweiler [2016-04-02 15:52:29] 987*2^1425145-1 is not prime. Res64: B85431A15F0A53BD Time : 0.0 sec. user=mdettweiler [2016-04-02 15:52:30] 671*2^1425146-1 is not prime. Res64: DFB37434E307C51D Time : 0.0 sec. user=mdettweiler [2016-04-02 15:52:30] 887*2^1425146-1 is not prime. Res64: A4C13D953F6C8D82 Time : 0.0 sec. user=mdettweiler [2016-04-02 15:52:31] 923*2^1425146-1 is not prime. Res64: 7B3B7BB82812F97B Time : 0.0 sec. user=mdettweiler [2016-04-02 15:52:31] 781*2^1425147-1 is not prime. Res64: 26D85B17DFE5A60E Time : 0.0 sec. user=mdettweiler [2016-04-02 15:58:38] 825*2^1425148-1 is not prime. Res64: 237E1EAA9C19CC07 Time : 0.0 sec. user=mdettweiler [2016-04-02 15:58:38] 839*2^1425148-1 is not prime. Res64: C397AEDD39C3BACD Time : 0.0 sec. user=mdettweiler [2016-04-02 15:58:38] 843*2^1425148-1 is not prime. Res64: 2158C212E1C02395 Time : 0.0 sec. user=mdettweiler [2016-04-02 15:58:39] 621*2^1425149-1 is not prime. Res64: 9B2D17C632E32FC4 Time : 0.0 sec. user=mdettweiler [2016-04-02 15:58:39] 631*2^1425149-1 is not prime. Res64: C97E4F4978C9D54B Time : 0.0 sec. user=mdettweiler [2016-04-02 16:17:15] 815*2^1425152-1 is not prime. Res64: 8D3A19157B4E3886 Time : 0.0 sec. user=mdettweiler [2016-04-02 16:35:40] 711*2^1425149-1 is not prime. Res64: 4FD0E784018D0E9B Time : 0.0 sec. user=mdettweiler [2016-04-02 16:35:40] 799*2^1425149-1 is not prime. Res64: 01BB04BF4EAC1E76 Time : 0.0 sec. user=mdettweiler [2016-04-02 16:35:41] 825*2^1425149-1 is not prime. Res64: 7F8E90C6D5775E55 Time : 0.0 sec. user=mdettweiler [2016-04-02 16:35:41] 879*2^1425149-1 is not prime. Res64: D06052971690D963 Time : 0.0 sec. user=mdettweiler [2016-04-02 16:35:41] 939*2^1425149-1 is not prime. Res64: D1DAE32D1D90D648 Time : 0.0 sec. user=mdettweiler [2016-04-02 16:37:05] 713*2^1425150-1 is not prime. Res64: CE9B7C0A8C5E5A02 Time : 0.0 sec. user=mdettweiler [2016-04-02 16:37:05] 717*2^1425150-1 is not prime. Res64: 06DBBC1E534E8F75 Time : 0.0 sec. user=mdettweiler [2016-04-02 16:37:06] 755*2^1425150-1 is not prime. Res64: 62A90B5BC7D8DC92 Time : 0.0 sec. user=mdettweiler [2016-04-02 16:37:06] 777*2^1425150-1 is not prime. Res64: 4AB67EF8AFB76EF5 Time : 0.0 sec. user=mdettweiler [2016-04-02 16:37:06] 791*2^1425150-1 is not prime. Res64: F422B8379228731E Time : 0.0 sec. user=mdettweiler [2016-04-02 16:37:12] 821*2^1425150-1 is not prime. Res64: 53E3CF110345B000 Time : 0.0 sec. user=mdettweiler [2016-04-02 16:37:13] 851*2^1425150-1 is not prime. Res64: BE48802E8F04BF89 Time : 0.0 sec. user=mdettweiler [2016-04-02 16:37:13] 873*2^1425150-1 is not prime. Res64: ABA2F0730539F41C Time : 0.0 sec. user=mdettweiler [2016-04-02 16:37:13] 971*2^1425150-1 is not prime. Res64: FA2853082B821C67 Time : 0.0 sec. user=mdettweiler [2016-04-02 16:37:14] 661*2^1425151-1 is not prime. Res64: 63F73865B34CE539 Time : 0.0 sec. user=mdettweiler [2016-04-02 16:43:55] 735*2^1425151-1 is not prime. Res64: A2AA007C6B0542A6 Time : 0.0 sec. user=mdettweiler [2016-04-02 16:43:55] 841*2^1425151-1 is not prime. Res64: B0E603FE070D6868 Time : 0.0 sec. user=mdettweiler [2016-04-02 16:43:55] 973*2^1425151-1 is not prime. Res64: 2958CA5A3B0A333B Time : 0.0 sec. user=mdettweiler [2016-04-02 16:43:56] 665*2^1425152-1 is not prime. Res64: 1ADEA69AFE18460D Time : 0.0 sec. user=mdettweiler [2016-04-02 16:43:56] 755*2^1425152-1 is not prime. Res64: 976B1B041559946F Time : 0.0 sec. user=mdettweiler [2016-04-02 17:09:55] 981*2^1425155-1 is not prime. Res64: 205AE0BC2432F35B Time : 0.0 sec. user=mdettweiler [2016-04-02 17:20:47] 827*2^1425152-1 is not prime. Res64: 0420D7D42FDDFD2E Time : 0.0 sec. user=mdettweiler [2016-04-02 17:20:47] 963*2^1425152-1 is not prime. Res64: 76D9B131D1BE3692 Time : 0.0 sec. user=mdettweiler [2016-04-02 17:20:48] 685*2^1425153-1 is not prime. Res64: 169CA1527D8AD232 Time : 0.0 sec. user=mdettweiler [2016-04-02 17:20:48] 691*2^1425153-1 is not prime. Res64: 44B58688B0424021 Time : 0.0 sec. user=mdettweiler [2016-04-02 17:20:48] 807*2^1425153-1 is not prime. Res64: 234779C841A7EBDB Time : 0.0 sec. user=mdettweiler [2016-04-02 17:22:22] 817*2^1425153-1 is not prime. Res64: D117E4AEB04B8BC6 Time : 0.0 sec. user=mdettweiler [2016-04-02 17:22:23] 847*2^1425153-1 is not prime. Res64: 8855F3C0DAB67B82 Time : 0.0 sec. user=mdettweiler [2016-04-02 17:22:23] 861*2^1425153-1 is not prime. Res64: E6C1E97C36B267E0 Time : 0.0 sec. user=mdettweiler [2016-04-02 17:22:24] 675*2^1425154-1 is not prime. Res64: 7FB4D63366FF9873 Time : 0.0 sec. user=mdettweiler [2016-04-02 17:22:24] 681*2^1425154-1 is not prime. Res64: 051733294EB4D97E Time : 0.0 sec. user=mdettweiler [2016-04-02 17:22:31] 765*2^1425154-1 is not prime. Res64: E00029B78CCC565A Time : 0.0 sec. user=mdettweiler [2016-04-02 17:22:31] 815*2^1425154-1 is not prime. Res64: 62BA70EE61BF68DC Time : 0.0 sec. user=mdettweiler [2016-04-02 17:22:32] 917*2^1425154-1 is not prime. Res64: 53BA7687D9FC6FAF Time : 0.0 sec. user=mdettweiler [2016-04-02 17:22:32] 947*2^1425154-1 is not prime. Res64: DDEA68E902A64773 Time : 0.0 sec. user=mdettweiler [2016-04-02 17:22:32] 675*2^1425155-1 is not prime. Res64: 78AD204E0FA1900E Time : 0.0 sec. user=mdettweiler [2016-04-02 17:27:17] 719*2^1425156-1 is not prime. Res64: C6317887C2DEBDBB Time : 0.0 sec. user=mdettweiler [2016-04-02 17:27:18] 705*2^1425156-1 is not prime. Res64: 914BD192C880CDE0 Time : 0.0 sec. user=mdettweiler [2016-04-02 17:29:07] 735*2^1425155-1 is not prime. Res64: B891E17D637EE035 Time : 0.0 sec. user=mdettweiler [2016-04-02 17:29:08] 799*2^1425155-1 is not prime. Res64: F34312AAB0A938C5 Time : 0.0 sec. user=mdettweiler [2016-04-02 17:29:08] 859*2^1425155-1 is not prime. Res64: F4E41A295E12CA58 Time : 0.0 sec. user=mdettweiler [2016-04-02 17:29:09] 871*2^1425155-1 is not prime. Res64: 64CB26FAFCEA6236 Time : 0.0 sec. user=mdettweiler [2016-04-02 17:29:09] 909*2^1425155-1 is not prime. Res64: 2A451C4FC1298C93 Time : 0.0 sec. user=mdettweiler [2016-04-02 17:45:02] 713*2^1425162-1 is not prime. Res64: DBE470DA760D3571 Time : 0.0 sec. user=mdettweiler [2016-04-02 18:06:13] 789*2^1425156-1 is not prime. Res64: CB52CAA0517DFCF2 Time : 0.0 sec. user=mdettweiler [2016-04-02 18:06:14] 843*2^1425156-1 is not prime. Res64: 803319B0BF6A8F0E Time : 0.0 sec. user=mdettweiler [2016-04-02 18:06:15] 903*2^1425156-1 is not prime. Res64: CAD2CD85FCA82127 Time : 0.0 sec. user=mdettweiler [2016-04-02 18:06:16] 905*2^1425156-1 is not prime. Res64: E40337724DD14C54 Time : 0.0 sec. user=mdettweiler [2016-04-02 18:06:17] 777*2^1425157-1 is not prime. Res64: F2BDA6845820AD58 Time : 0.0 sec. user=mdettweiler [2016-04-02 18:08:22] 971*2^1425158-1 is not prime. Res64: A8ED67CAC04D0F24 Time : 0.0 sec. user=mdettweiler [2016-04-02 18:08:23] 735*2^1425159-1 is not prime. Res64: 358C2B20BD8BC149 Time : 0.0 sec. user=mdettweiler [2016-04-02 18:08:23] 763*2^1425159-1 is not prime. Res64: FF6A5921C37295FB Time : 0.0 sec. user=mdettweiler [2016-04-02 18:08:24] 829*2^1425159-1 is not prime. Res64: 3351D4A03FA765A2 Time : 0.0 sec. user=mdettweiler [2016-04-02 18:08:24] 895*2^1425159-1 is not prime. Res64: 7FAC602506C0F152 Time : 0.0 sec. user=mdettweiler [2016-04-02 18:08:25] 861*2^1425157-1 is not prime. Res64: 87790EB5C138AD58 Time : 0.0 sec. user=mdettweiler [2016-04-02 18:08:26] 885*2^1425157-1 is not prime. Res64: 34A2CAB6FDE22FEC Time : 0.0 sec. user=mdettweiler [2016-04-02 18:08:26] 967*2^1425157-1 is not prime. Res64: 2DBDCFBE9B669BF2 Time : 0.0 sec. user=mdettweiler [2016-04-02 18:08:26] 797*2^1425158-1 is not prime. Res64: 85CC845A00A2094F Time : 0.0 sec. user=mdettweiler [2016-04-02 18:08:27] 831*2^1425158-1 is not prime. Res64: B8E5554435E32754 Time : 0.0 sec. user=mdettweiler [2016-04-02 18:14:39] 909*2^1425160-1 is not prime. Res64: 3DD4D79B08E49031 Time : 0.0 sec. user=mdettweiler [2016-04-02 18:14:39] 999*2^1425160-1 is not prime. Res64: F1DE239323646E35 Time : 0.0 sec. user=mdettweiler [2016-04-02 18:14:40] 747*2^1425161-1 is not prime. Res64: EA3C2250B9169B39 Time : 0.0 sec. user=mdettweiler [2016-04-02 18:14:41] 951*2^1425161-1 is not prime. Res64: B5D89365EA15EF92 Time : 0.0 sec. user=mdettweiler [2016-04-02 18:14:41] 711*2^1425162-1 is not prime. Res64: 49AEF48E699A1FFF Time : 0.0 sec. user=mdettweiler [2016-04-02 18:20:03] 707*2^1425164-1 is not prime. Res64: 9947E940CC307A56 Time : 0.0 sec. user=mdettweiler [2016-04-02 18:51:15] 777*2^1425162-1 is not prime. Res64: 4B36FFD645E6DBC4 Time : 0.0 sec. user=mdettweiler [2016-04-02 18:51:15] 825*2^1425162-1 is not prime. Res64: A39DA4543FE9633A Time : 0.0 sec. user=mdettweiler [2016-04-02 18:51:16] 833*2^1425162-1 is not prime. Res64: 10E9D0B8479BA2F4 Time : 0.0 sec. user=mdettweiler [2016-04-02 18:51:16] 875*2^1425162-1 is not prime. Res64: C56F8FC8E7094FB6 Time : 0.0 sec. user=mdettweiler [2016-04-02 18:51:17] 945*2^1425162-1 is not prime. Res64: B711CD88E2285A46 Time : 0.0 sec. user=mdettweiler [2016-04-02 18:53:26] 891*2^1425163-1 is not prime. Res64: 9F7F90A234E2C074 Time : 0.0 sec. user=mdettweiler [2016-04-02 18:53:27] 895*2^1425163-1 is not prime. Res64: F08491A51673C7D2 Time : 0.0 sec. user=mdettweiler [2016-04-02 18:53:27] 945*2^1425163-1 is not prime. Res64: 63CAEC0BC7B877E7 Time : 0.0 sec. user=mdettweiler [2016-04-02 18:53:28] 617*2^1425164-1 is not prime. Res64: 270DE0C96E6FAA1C Time : 0.0 sec. user=mdettweiler [2016-04-02 18:53:28] 683*2^1425164-1 is not prime. Res64: E903EB6F33315775 Time : 0.0 sec. user=mdettweiler [2016-04-02 18:53:42] 947*2^1425162-1 is not prime. Res64: 33DBC9F62152DCDE Time : 0.0 sec. user=mdettweiler [2016-04-02 18:53:42] 963*2^1425162-1 is not prime. Res64: 7E62961B71D4D124 Time : 0.0 sec. user=mdettweiler [2016-04-02 18:53:42] 703*2^1425163-1 is not prime. Res64: 231E9FDE4B2E3E90 Time : 0.0 sec. user=mdettweiler [2016-04-02 18:53:43] 709*2^1425163-1 is not prime. Res64: F6185C783AD874E0 Time : 0.0 sec. user=mdettweiler [2016-04-02 18:53:43] 855*2^1425163-1 is not prime. Res64: 44DEBD8FC1E0DB2B Time : 0.0 sec. user=mdettweiler [2016-04-02 18:59:57] 755*2^1425164-1 is not prime. Res64: B78C286F307F126A Time : 0.0 sec. user=mdettweiler [2016-04-02 18:59:58] 825*2^1425164-1 is not prime. Res64: 5ECA49ED0C105F85 Time : 0.0 sec. user=mdettweiler [2016-04-02 18:59:58] 837*2^1425164-1 is not prime. Res64: BECB03FCB7B0E4DD Time : 0.0 sec. user=mdettweiler [2016-04-02 18:59:59] 843*2^1425164-1 is not prime. Res64: 52B6A5BE76BB4F3C Time : 0.0 sec. user=mdettweiler [2016-04-02 18:59:59] 885*2^1425164-1 is not prime. Res64: D3806BCC8FE6070C Time : 0.0 sec. user=mdettweiler [2016-04-02 19:36:13] 927*2^1425164-1 is not prime. Res64: 2FCB1D0D0BD3A185 Time : 0.0 sec. user=mdettweiler [2016-04-02 19:36:14] 609*2^1425165-1 is not prime. Res64: 3D82E68960C977CD Time : 0.0 sec. user=mdettweiler [2016-04-02 19:36:14] 721*2^1425165-1 is not prime. Res64: DE354D23AA231089 Time : 0.0 sec. user=mdettweiler [2016-04-02 19:36:15] 735*2^1425165-1 is not prime. Res64: 266DBBF02883CBDB Time : 0.0 sec. user=mdettweiler [2016-04-02 19:36:15] 819*2^1425165-1 is not prime. Res64: F58D941FF0137556 Time : 0.0 sec. user=mdettweiler [2016-04-02 19:38:40] 849*2^1425165-1 is not prime. Res64: 385A7212BD9C190C Time : 0.0 sec. user=mdettweiler [2016-04-02 19:38:41] 895*2^1425165-1 is not prime. Res64: 6A38D3B074073FBA Time : 0.0 sec. user=mdettweiler [2016-04-02 19:38:41] 979*2^1425165-1 is not prime. Res64: BB743F2DB12A0E7B Time : 0.0 sec. user=mdettweiler [2016-04-02 19:38:42] 635*2^1425166-1 is not prime. Res64: 11723E209B425FA3 Time : 0.0 sec. user=mdettweiler [2016-04-02 19:38:42] 695*2^1425166-1 is not prime. Res64: 0211498919F2D914 Time : 0.0 sec. user=mdettweiler [2016-04-02 19:38:44] 741*2^1425166-1 is not prime. Res64: 147345F9EB483A17 Time : 0.0 sec. user=mdettweiler [2016-04-02 19:38:45] 825*2^1425166-1 is not prime. Res64: 1DD3DCF9A5626C50 Time : 0.0 sec. user=mdettweiler [2016-04-02 19:38:45] 945*2^1425166-1 is not prime. Res64: 75A83A2D2D172E87 Time : 0.0 sec. user=mdettweiler [2016-04-02 19:38:46] 645*2^1425167-1 is not prime. Res64: 9393CAB4A1149EDD Time : 0.0 sec. user=mdettweiler [2016-04-02 19:38:46] 753*2^1425167-1 is not prime. Res64: 6EA03DC8C8FF1FE8 Time : 0.0 sec. user=mdettweiler [2016-04-02 19:45:03] 759*2^1425167-1 is not prime. Res64: 3182B80A11CD9537 Time : 0.0 sec. user=mdettweiler [2016-04-02 19:45:04] 871*2^1425167-1 is not prime. Res64: 1B4250D068B1CF48 Time : 0.0 sec. user=mdettweiler [2016-04-02 19:45:04] 883*2^1425167-1 is not prime. Res64: 941AA33C6E78556D Time : 0.0 sec. user=mdettweiler [2016-04-02 19:45:04] 949*2^1425167-1 is not prime. Res64: E1C7F9CD1AB850F9 Time : 0.0 sec. user=mdettweiler [2016-04-02 19:45:05] 955*2^1425167-1 is not prime. Res64: FB2A2DF0CF27F989 Time : 0.0 sec. user=mdettweiler [2016-04-02 20:21:19] 657*2^1425168-1 is not prime. Res64: FE3DC79F769FB5B0 Time : 0.0 sec. user=mdettweiler [2016-04-02 20:21:20] 707*2^1425168-1 is not prime. Res64: AA0BDCB082AEEC42 Time : 0.0 sec. user=mdettweiler [2016-04-02 20:21:20] 737*2^1425168-1 is not prime. Res64: B639006EFE48D922 Time : 0.0 sec. user=mdettweiler [2016-04-02 20:21:20] 765*2^1425168-1 is not prime. Res64: 77B115BCCC699C3B Time : 0.0 sec. user=mdettweiler [2016-04-02 20:21:20] 795*2^1425168-1 is not prime. Res64: FD0EE81BEADDF9AC Time : 0.0 sec. user=mdettweiler [2016-04-02 20:23:40] 903*2^1425171-1 is not prime. Res64: 9C1E57A9471CC1BE Time : 0.0 sec. user=mdettweiler [2016-04-02 20:23:47] 775*2^1425169-1 is not prime. Res64: 1182855BC51EC0E6 Time : 0.0 sec. user=mdettweiler [2016-04-02 20:23:48] 811*2^1425169-1 is not prime. Res64: 2A108B8281BB5807 Time : 0.0 sec. user=mdettweiler [2016-04-02 20:23:48] 645*2^1425170-1 is not prime. Res64: EE8940917959A29E Time : 0.0 sec. user=mdettweiler [2016-04-02 20:23:48] 701*2^1425170-1 is not prime. Res64: AB56A88988CB0ED7 Time : 0.0 sec. user=mdettweiler [2016-04-02 20:23:49] 767*2^1425170-1 is not prime. Res64: EC136E7E7BE29C04 Time : 0.0 sec. user=mdettweiler [2016-04-02 20:24:04] 933*2^1425168-1 is not prime. Res64: BC7B3A9C3805A2C6 Time : 0.0 sec. user=mdettweiler [2016-04-02 20:24:05] 975*2^1425168-1 is not prime. Res64: AC829E906F5A0D51 Time : 0.0 sec. user=mdettweiler [2016-04-02 20:24:05] 601*2^1425169-1 is not prime. Res64: 69C9C0C3BAE70CC8 Time : 0.0 sec. user=mdettweiler [2016-04-02 20:24:05] 687*2^1425169-1 is not prime. Res64: D11AF6B106B0B7E0 Time : 0.0 sec. user=mdettweiler [2016-04-02 20:24:06] 765*2^1425169-1 is not prime. Res64: E0A1BE8E872DCB09 Time : 0.0 sec. user=mdettweiler [2016-04-02 20:30:18] 773*2^1425170-1 is not prime. Res64: FE19886DCE66EA51 Time : 0.0 sec. user=mdettweiler [2016-04-02 20:30:18] 867*2^1425170-1 is not prime. Res64: C60A4EE652D760F9 Time : 0.0 sec. user=mdettweiler [2016-04-02 20:30:19] 921*2^1425170-1 is not prime. Res64: 01E6994D46859D5A Time : 0.0 sec. user=mdettweiler [2016-04-02 20:30:19] 625*2^1425171-1 is not prime. Res64: F21F1B40EA2647B6 Time : 0.0 sec. user=mdettweiler [2016-04-02 20:30:20] 735*2^1425171-1 is not prime. Res64: B09C9C7432EBF222 Time : 0.0 sec. user=mdettweiler [2016-04-02 20:40:46] 679*2^1425175-1 is not prime. Res64: 06C70BDB04CBD5B9 Time : 0.0 sec. user=mdettweiler [2016-04-02 21:06:49] 973*2^1425171-1 is not prime. Res64: 506E80C0B56B3BA4 Time : 0.0 sec. user=mdettweiler [2016-04-02 21:06:50] 979*2^1425171-1 is not prime. Res64: B6CAE6E2ADFEF930 Time : 0.0 sec. user=mdettweiler [2016-04-02 21:06:51] 735*2^1425172-1 is not prime. Res64: 61CECD87F40F824F Time : 0.0 sec. user=mdettweiler [2016-04-02 21:06:52] 749*2^1425172-1 is not prime. Res64: 8FD10798227A6DC0 Time : 0.0 sec. user=mdettweiler [2016-04-02 21:06:53] 765*2^1425172-1 is not prime. Res64: 406844744EED2A13 Time : 0.0 sec. user=mdettweiler [2016-04-02 21:09:28] 807*2^1425172-1 is not prime. Res64: CC1C5AEADE0A52CA Time : 0.0 sec. user=mdettweiler [2016-04-02 21:09:29] 827*2^1425172-1 is not prime. Res64: A9BB5E0B7C7A110A Time : 0.0 sec. user=mdettweiler [2016-04-02 21:09:29] 875*2^1425172-1 is not prime. Res64: 66355F7CFD5DB4B0 Time : 0.0 sec. user=mdettweiler [2016-04-02 21:09:30] 959*2^1425172-1 is not prime. Res64: 1F84205B4480F229 Time : 0.0 sec. user=mdettweiler [2016-04-02 21:09:30] 621*2^1425173-1 is not prime. Res64: 95643AA7DF355D3A Time : 0.0 sec. user=mdettweiler [2016-04-02 21:09:44] 759*2^1425173-1 is not prime. Res64: C1FE9018F67A5C47 Time : 0.0 sec. user=mdettweiler [2016-04-02 21:09:45] 805*2^1425173-1 is not prime. Res64: DA031C0E1569884C Time : 0.0 sec. user=mdettweiler [2016-04-02 21:09:45] 831*2^1425173-1 is not prime. Res64: 827C2285B845CC97 Time : 0.0 sec. user=mdettweiler [2016-04-02 21:09:46] 945*2^1425173-1 is not prime. Res64: 01AB44B4D46BCD0F Time : 0.0 sec. user=mdettweiler [2016-04-02 21:09:46] 627*2^1425174-1 is not prime. Res64: 0AAEBCCCDB460040 Time : 0.0 sec. user=mdettweiler [2016-04-02 21:16:01] 651*2^1425174-1 is not prime. Res64: 08FCD821E20D0983 Time : 0.0 sec. user=mdettweiler [2016-04-02 21:16:02] 705*2^1425174-1 is not prime. Res64: CE0C0D799D591050 Time : 0.0 sec. user=mdettweiler [2016-04-02 21:16:02] 737*2^1425174-1 is not prime. Res64: 9A07C0262136EB35 Time : 0.0 sec. user=mdettweiler [2016-04-02 21:16:02] 971*2^1425174-1 is not prime. Res64: 5DB34CFBACFD2FCF Time : 0.0 sec. user=mdettweiler [2016-04-02 21:16:03] 633*2^1425175-1 is not prime. Res64: E47DFCA83752B8BF Time : 0.0 sec. user=mdettweiler [2016-04-02 21:16:17] 657*2^1425176-1 is not prime. Res64: D8E58B3DA3AFD844 Time : 0.0 sec. user=mdettweiler [2016-04-02 21:34:10] 791*2^1425178-1 is not prime. Res64: 3F6DB0BBE137A88E Time : 0.0 sec. user=mdettweiler [2016-04-02 21:52:13] 831*2^1425175-1 is not prime. Res64: FC5BE232DF1832C2 Time : 0.0 sec. user=mdettweiler [2016-04-02 21:52:13] 849*2^1425175-1 is not prime. Res64: 885F72D47AF08D15 Time : 0.0 sec. user=mdettweiler [2016-04-02 21:52:14] 859*2^1425175-1 is not prime. Res64: BFCF8C4BFC2FFA52 Time : 0.0 sec. user=mdettweiler [2016-04-02 21:52:14] 969*2^1425175-1 is not prime. Res64: 0D04FF7AB6961320 Time : 0.0 sec. user=mdettweiler [2016-04-02 21:52:15] 609*2^1425176-1 is not prime. Res64: 1AC8413D31CAFC01 Time : 0.0 sec. user=mdettweiler [2016-04-02 21:55:09] 669*2^1425176-1 is not prime. Res64: 51C3806B258057FD Time : 0.0 sec. user=mdettweiler [2016-04-02 21:55:09] 773*2^1425176-1 is not prime. Res64: 7839953F793A4C19 Time : 0.0 sec. user=mdettweiler [2016-04-02 21:55:09] 873*2^1425176-1 is not prime. Res64: CB586506D7F2ADF1 Time : 0.0 sec. user=mdettweiler [2016-04-02 21:55:10] 963*2^1425176-1 is not prime. Res64: 42408CBE31F643D9 Time : 0.0 sec. user=mdettweiler [2016-04-02 21:55:10] 999*2^1425176-1 is not prime. Res64: 02653F52B7BEC762 Time : 0.0 sec. user=mdettweiler [2016-04-02 21:55:22] 615*2^1425177-1 is not prime. Res64: ADA892A08ED627D7 Time : 0.0 sec. user=mdettweiler [2016-04-02 21:55:22] 681*2^1425177-1 is not prime. Res64: 986889FA42A00769 Time : 0.0 sec. user=mdettweiler [2016-04-02 21:55:23] 711*2^1425177-1 is not prime. Res64: ADD4C2758678DFBF Time : 0.0 sec. user=mdettweiler [2016-04-02 21:55:23] 717*2^1425177-1 is not prime. Res64: 4413C2516D62981C Time : 0.0 sec. user=mdettweiler [2016-04-02 21:55:24] 769*2^1425177-1 is not prime. Res64: E4DDE816CF5FA783 Time : 0.0 sec. user=mdettweiler [2016-04-02 22:01:26] 847*2^1425177-1 is not prime. Res64: 431D4408E16E3DAC Time : 0.0 sec. user=mdettweiler [2016-04-02 22:01:27] 997*2^1425177-1 is not prime. Res64: A14EBA81C4127662 Time : 0.0 sec. user=mdettweiler [2016-04-02 22:01:28] 635*2^1425178-1 is not prime. Res64: B0699F820BA92925 Time : 0.0 sec. user=mdettweiler [2016-04-02 22:01:29] 687*2^1425178-1 is not prime. Res64: 06C612610671054C Time : 0.0 sec. user=mdettweiler [2016-04-02 22:01:30] 695*2^1425178-1 is not prime. Res64: 224B51C880E69D9D Time : 0.0 sec. user=mdettweiler [2016-04-02 22:26:33] 769*2^1425181-1 is not prime. Res64: B92BED21C81B4586 Time : 0.0 sec. user=mdettweiler [2016-04-02 22:37:29] 857*2^1425178-1 is not prime. Res64: 858DA8DD0849EE43 Time : 0.0 sec. user=mdettweiler [2016-04-02 22:37:29] 905*2^1425178-1 is not prime. Res64: 42D4C23643B077E1 Time : 0.0 sec. user=mdettweiler [2016-04-02 22:37:30] 951*2^1425178-1 is not prime. Res64: 3071A806E93A15F8 Time : 0.0 sec. user=mdettweiler [2016-04-02 22:37:30] 975*2^1425178-1 is not prime. Res64: 248BEABB95416109 Time : 0.0 sec. user=mdettweiler [2016-04-02 22:37:31] 615*2^1425179-1 is not prime. Res64: BA9116AA4EEE066B Time : 0.0 sec. user=mdettweiler [2016-04-02 22:40:24] 705*2^1425179-1 is not prime. Res64: 2257B7F262DD1053 Time : 0.0 sec. user=mdettweiler [2016-04-02 22:40:24] 799*2^1425179-1 is not prime. Res64: 93A17B021122C72F Time : 0.0 sec. user=mdettweiler [2016-04-02 22:40:25] 819*2^1425179-1 is not prime. Res64: 79177DACC7DFB264 Time : 0.0 sec. user=mdettweiler [2016-04-02 22:40:25] 669*2^1425180-1 is not prime. Res64: 98040156F68947A4 Time : 0.0 sec. user=mdettweiler [2016-04-02 22:40:25] 689*2^1425180-1 is not prime. Res64: E693D03FA66EA3EF Time : 0.0 sec. user=mdettweiler [2016-04-02 22:40:38] 753*2^1425180-1 is not prime. Res64: EC82112E3F39B145 Time : 0.0 sec. user=mdettweiler [2016-04-02 22:40:38] 783*2^1425180-1 is not prime. Res64: E59D65F7EBB41DEA Time : 0.0 sec. user=mdettweiler [2016-04-02 22:40:39] 803*2^1425180-1 is not prime. Res64: 10B8386F103FCF8A Time : 0.0 sec. user=mdettweiler [2016-04-02 22:40:39] 863*2^1425180-1 is not prime. Res64: F032963605D26361 Time : 0.0 sec. user=mdettweiler [2016-04-02 22:40:39] 873*2^1425180-1 is not prime. Res64: 4689ED515F7863D9 Time : 0.0 sec. user=mdettweiler [2016-04-02 22:47:01] 899*2^1425180-1 is not prime. Res64: 721B865B9C45D06E Time : 0.0 sec. user=mdettweiler [2016-04-02 22:47:02] 915*2^1425180-1 is not prime. Res64: 9885B022EC38A66F Time : 0.0 sec. user=mdettweiler [2016-04-02 22:47:02] 999*2^1425180-1 is not prime. Res64: B80C7C93A292DCEE Time : 0.0 sec. user=mdettweiler [2016-04-02 22:47:03] 681*2^1425181-1 is not prime. Res64: 829D0BD67B493116 Time : 0.0 sec. user=mdettweiler [2016-04-02 22:47:03] 687*2^1425181-1 is not prime. Res64: 0C32D1400EA9311A Time : 0.0 sec. user=mdettweiler [2016-04-02 23:22:45] 825*2^1425181-1 is not prime. Res64: 9CAEC91B6E06AD58 Time : 0.0 sec. user=mdettweiler [2016-04-02 23:22:46] 861*2^1425181-1 is not prime. Res64: 979AFDE9DC15A7FA Time : 0.0 sec. user=mdettweiler [2016-04-02 23:22:46] 951*2^1425181-1 is not prime. Res64: 6AB1287B09AF987A Time : 0.0 sec. user=mdettweiler [2016-04-02 23:22:47] 615*2^1425182-1 is not prime. Res64: 0EF6E2FD63CED7C1 Time : 0.0 sec. user=mdettweiler [2016-04-02 23:22:47] 801*2^1425182-1 is not prime. Res64: FE3A1F8FF4A33E33 Time : 0.0 sec. user=mdettweiler [2016-04-02 23:25:55] 915*2^1425182-1 is not prime. Res64: 90174C50FF4E4F66 Time : 0.0 sec. user=mdettweiler [2016-04-02 23:25:55] 957*2^1425182-1 is not prime. Res64: 85545B2D9D184308 Time : 0.0 sec. user=mdettweiler [2016-04-02 23:25:56] 987*2^1425182-1 is not prime. Res64: FDA49258A8882D53 Time : 0.0 sec. user=mdettweiler [2016-04-02 23:25:56] 613*2^1425183-1 is not prime. Res64: AAC59077232F6E6D Time : 0.0 sec. user=mdettweiler [2016-04-02 23:25:57] 675*2^1425183-1 is not prime. Res64: 66BA0D7F3DE29708 Time : 0.0 sec. user=mdettweiler [2016-04-02 23:26:15] 691*2^1425183-1 is not prime. Res64: 9F5780A6F7100358 Time : 0.0 sec. user=mdettweiler [2016-04-02 23:26:15] 723*2^1425183-1 is not prime. Res64: 5CB9394148302BE4 Time : 0.0 sec. user=mdettweiler [2016-04-02 23:26:15] 793*2^1425183-1 is not prime. Res64: B203576DCB14D389 Time : 0.0 sec. user=mdettweiler [2016-04-02 23:26:16] 919*2^1425183-1 is not prime. Res64: 287F07A9F48399B9 Time : 0.0 sec. user=mdettweiler [2016-04-02 23:26:16] 921*2^1425183-1 is not prime. Res64: 24DA65E3FC2ADC66 Time : 0.0 sec. user=mdettweiler [2016-04-02 23:32:51] 635*2^1425184-1 is not prime. Res64: 819932127DD6959F Time : 0.0 sec. user=mdettweiler [2016-04-02 23:32:51] 665*2^1425184-1 is not prime. Res64: 0D4E4FC3D17E9F23 Time : 0.0 sec. user=mdettweiler [2016-04-02 23:32:52] 677*2^1425184-1 is not prime. Res64: D2CC519E4EE0A8C3 Time : 0.0 sec. user=mdettweiler [2016-04-02 23:32:52] 755*2^1425184-1 is not prime. Res64: 88C9A34E3E78EF11 Time : 0.0 sec. user=mdettweiler [2016-04-02 23:32:52] 825*2^1425184-1 is not prime. Res64: 0E1C0F6292F34C99 Time : 0.0 sec.