user=mdettweiler [2016-07-01 00:01:35] 657*2^1433993-1 is not prime. Res64: 9CBEB3777C67D1E5 Time : 0.0 sec. user=mdettweiler [2016-07-01 00:01:39] 741*2^1433993-1 is not prime. Res64: D52B7610966B3CC1 Time : 0.0 sec. user=mdettweiler [2016-07-01 00:01:43] 745*2^1433993-1 is not prime. Res64: 1E185AE6089E71D9 Time : 0.0 sec. user=mdettweiler [2016-07-01 00:01:47] 759*2^1433993-1 is not prime. Res64: 53CD2F5676839839 Time : 0.0 sec. user=mdettweiler [2016-07-01 00:01:51] 861*2^1433993-1 is not prime. Res64: 9B25320FCBA2CEA7 Time : 0.0 sec. user=mdettweiler [2016-07-01 00:06:39] 871*2^1433993-1 is not prime. Res64: 8F0229D617F32EDC Time : 0.0 sec. user=mdettweiler [2016-07-01 00:06:46] 615*2^1433994-1 is not prime. Res64: 854353718BE0A54D Time : 0.0 sec. user=mdettweiler [2016-07-01 00:06:54] 861*2^1433994-1 is not prime. Res64: 8A5AB9F70C37EB98 Time : 0.0 sec. user=mdettweiler [2016-07-01 00:07:00] 887*2^1433994-1 is not prime. Res64: 20A6FBF235D25E8D Time : 0.0 sec. user=mdettweiler [2016-07-01 00:07:08] 903*2^1433994-1 is not prime. Res64: C5533C3ABDAAA078 Time : 0.0 sec. user=mdettweiler [2016-07-01 00:16:29] 735*2^1433995-1 is not prime. Res64: DA9CFFA49701A595 Time : 0.0 sec. user=mdettweiler [2016-07-01 00:16:29] 751*2^1433995-1 is not prime. Res64: 462A90C979543A1B Time : 0.0 sec. user=mdettweiler [2016-07-01 00:16:30] 853*2^1433995-1 is not prime. Res64: 5FA0648564C2540C Time : 0.0 sec. user=mdettweiler [2016-07-01 00:16:30] 913*2^1433995-1 is not prime. Res64: C4FAEB019F7CF80B Time : 0.0 sec. user=mdettweiler [2016-07-01 00:16:31] 603*2^1433996-1 is not prime. Res64: 65136C505265CD0F Time : 0.0 sec. user=mdettweiler [2016-07-01 00:33:34] 615*2^1433996-1 is not prime. Res64: 1322064A2E8CB548 Time : 0.0 sec. user=mdettweiler [2016-07-01 00:33:40] 623*2^1433996-1 is not prime. Res64: 9D8BD9565D41D4F7 Time : 0.0 sec. user=mdettweiler [2016-07-01 00:33:41] 633*2^1433996-1 is not prime. Res64: C16C1E92F3A300BF Time : 0.0 sec. user=mdettweiler [2016-07-01 00:33:48] 677*2^1433996-1 is not prime. Res64: 64749A86A1C59F8F Time : 0.0 sec. user=mdettweiler [2016-07-01 00:33:55] 899*2^1433996-1 is not prime. Res64: 56AF5BCAF5520F7B Time : 0.0 sec. user=mdettweiler [2016-07-01 00:46:37] 935*2^1433996-1 is not prime. Res64: B66227A30F5042ED Time : 0.0 sec. user=mdettweiler [2016-07-01 00:46:37] 685*2^1433997-1 is not prime. Res64: 4F5E25035DF7801C Time : 0.0 sec. user=mdettweiler [2016-07-01 00:46:38] 741*2^1433997-1 is not prime. Res64: ED624A5E86FA47C4 Time : 0.0 sec. user=mdettweiler [2016-07-01 00:46:38] 781*2^1433997-1 is not prime. Res64: 7359EB94156B7FAD Time : 0.0 sec. user=mdettweiler [2016-07-01 00:46:38] 847*2^1433997-1 is not prime. Res64: B1A81E1AA4EEED22 Time : 0.0 sec. user=mdettweiler [2016-07-01 00:52:14] 657*2^1433998-1 is not prime. Res64: 394F3808E7A1CC1F Time : 0.0 sec. user=mdettweiler [2016-07-01 00:52:15] 665*2^1433998-1 is not prime. Res64: FFBCE2A6E805B9EC Time : 0.0 sec. user=mdettweiler [2016-07-01 00:52:15] 723*2^1433998-1 is not prime. Res64: 05F6D394134FE899 Time : 0.0 sec. user=mdettweiler [2016-07-01 00:52:15] 773*2^1433998-1 is not prime. Res64: 9BFF0C59E1B67281 Time : 0.0 sec. user=mdettweiler [2016-07-01 00:52:16] 791*2^1433998-1 is not prime. Res64: F23A550D474227DF Time : 0.0 sec. user=mdettweiler [2016-07-01 01:01:28] 843*2^1433998-1 is not prime. Res64: 3664F32532017D69 Time : 0.0 sec. user=mdettweiler [2016-07-01 01:01:29] 887*2^1433998-1 is not prime. Res64: FA264E5B008E8248 Time : 0.0 sec. user=mdettweiler [2016-07-01 01:01:30] 975*2^1433998-1 is not prime. Res64: C9DB3A0E31E8DEA3 Time : 0.0 sec. user=mdettweiler [2016-07-01 01:01:31] 619*2^1433999-1 is not prime. Res64: 41641124ED107F9F Time : 0.0 sec. user=mdettweiler [2016-07-01 01:01:33] 819*2^1433999-1 is not prime. Res64: 6983BC110F3F5A2D Time : 0.0 sec. user=mdettweiler [2016-07-01 01:18:48] 895*2^1433999-1 is not prime. Res64: 0EEAE9DF8C212DB0 Time : 0.0 sec. user=mdettweiler [2016-07-01 01:18:54] 913*2^1433999-1 is not prime. Res64: D317E16AC52F5169 Time : 0.0 sec. user=mdettweiler [2016-07-01 01:19:01] 969*2^1433999-1 is not prime. Res64: 5E57595CC142779A Time : 0.0 sec. user=mdettweiler [2016-07-01 01:19:07] 985*2^1433999-1 is not prime. Res64: B774029D58A9F446 Time : 0.0 sec. user=mdettweiler [2016-07-01 01:19:14] 999*2^1433999-1 is not prime. Res64: 78A3919C4D40449F Time : 0.0 sec. user=mdettweiler [2016-07-01 01:31:25] 753*2^1434000-1 is not prime. Res64: 4442AA8C17EFA943 Time : 0.0 sec. user=mdettweiler [2016-07-01 01:31:26] 839*2^1434000-1 is not prime. Res64: B5C3EA50A614CC6A Time : 0.0 sec. user=mdettweiler [2016-07-01 01:31:26] 845*2^1434000-1 is not prime. Res64: D543660748562576 Time : 0.0 sec. user=mdettweiler [2016-07-01 01:31:27] 945*2^1434000-1 is not prime. Res64: 8358F078A9F46934 Time : 0.0 sec. user=mdettweiler [2016-07-01 01:31:27] 983*2^1434000-1 is not prime. Res64: 6B8E1C3E6C96341C Time : 0.0 sec. user=mdettweiler [2016-07-01 01:37:06] 615*2^1434001-1 is not prime. Res64: EBE7927475B18F8C Time : 0.0 sec. user=mdettweiler [2016-07-01 01:37:06] 625*2^1434001-1 is not prime. Res64: C19015083F50F965 Time : 0.0 sec. user=mdettweiler [2016-07-01 01:37:07] 687*2^1434001-1 is not prime. Res64: D2CE3239647C33E3 Time : 0.0 sec. user=mdettweiler [2016-07-01 01:37:07] 715*2^1434001-1 is not prime. Res64: FC7041922CB1A199 Time : 0.0 sec. user=mdettweiler [2016-07-01 01:37:07] 955*2^1434001-1 is not prime. Res64: 04FBF92D3293C7A6 Time : 0.0 sec. user=mdettweiler [2016-07-01 01:46:29] 741*2^1434002-1 is not prime. Res64: EEA4BDDEDE24BB53 Time : 0.0 sec. user=mdettweiler [2016-07-01 01:46:32] 743*2^1434002-1 is not prime. Res64: 0C6E4D802F5AB0CA Time : 0.0 sec. user=mdettweiler [2016-07-01 01:46:36] 771*2^1434002-1 is not prime. Res64: 720C7EA4E711D062 Time : 0.0 sec. user=mdettweiler [2016-07-01 01:46:41] 815*2^1434002-1 is not prime. Res64: 0BBC9BA33DBF978F Time : 0.0 sec. user=mdettweiler [2016-07-01 01:46:44] 885*2^1434002-1 is not prime. Res64: F9EAA57575F7B9FB Time : 0.0 sec. user=mdettweiler [2016-07-01 02:04:00] 887*2^1434002-1 is not prime. Res64: 338DB2460ED6D2A3 Time : 0.0 sec. user=mdettweiler [2016-07-01 02:04:01] 893*2^1434002-1 is not prime. Res64: A9FA331BCF9B963B Time : 0.0 sec. user=mdettweiler [2016-07-01 02:04:02] 915*2^1434002-1 is not prime. Res64: 22961BC8F2F725C3 Time : 0.0 sec. user=mdettweiler [2016-07-01 02:04:03] 615*2^1434003-1 is not prime. Res64: 9EE705DE02F20D11 Time : 0.0 sec. user=mdettweiler [2016-07-01 02:04:04] 649*2^1434003-1 is not prime. Res64: BE955455F5060091 Time : 0.0 sec. user=mdettweiler [2016-07-01 02:15:58] 753*2^1434003-1 is not prime. Res64: 7C56F6FE0DA65286 Time : 0.0 sec. user=mdettweiler [2016-07-01 02:15:59] 789*2^1434003-1 is not prime. Res64: 68744DC7518246BC Time : 0.0 sec. user=mdettweiler [2016-07-01 02:15:59] 985*2^1434003-1 is not prime. Res64: 8DF82EA5CABA0510 Time : 0.0 sec. user=mdettweiler [2016-07-01 02:15:59] 609*2^1434004-1 is not prime. Res64: 8AD3F2B6A88D5F53 Time : 0.0 sec. user=mdettweiler [2016-07-01 02:16:00] 615*2^1434004-1 is not prime. Res64: CEE508D4F50B2776 Time : 0.0 sec. user=mdettweiler [2016-07-01 02:21:41] 635*2^1434004-1 is not prime. Res64: 50FB9043DCED644C Time : 0.0 sec. user=mdettweiler [2016-07-01 02:21:48] 803*2^1434004-1 is not prime. Res64: 97F25A3E847D164E Time : 0.0 sec. user=mdettweiler [2016-07-01 02:21:54] 857*2^1434004-1 is not prime. Res64: 1EA3C8E0B41AA803 Time : 0.0 sec. user=mdettweiler [2016-07-01 02:22:01] 887*2^1434004-1 is not prime. Res64: 290C6C9BAB571610 Time : 0.0 sec. user=mdettweiler [2016-07-01 02:22:07] 959*2^1434004-1 is not prime. Res64: 5B2257B1E860A1F2 Time : 0.0 sec. user=mdettweiler [2016-07-01 02:31:29] 983*2^1434004-1 is not prime. Res64: CC411DF52355F8CA Time : 0.0 sec. user=mdettweiler [2016-07-01 02:31:35] 717*2^1434005-1 is not prime. Res64: 9FC96CA48D00F3F5 Time : 0.0 sec. user=mdettweiler [2016-07-01 02:31:42] 735*2^1434005-1 is not prime. Res64: 81D0A6A4CF1B1F99 Time : 0.0 sec. user=mdettweiler [2016-07-01 02:31:47] 907*2^1434005-1 is not prime. Res64: 054F5694C4640020 Time : 0.0 sec. user=mdettweiler [2016-07-01 02:31:52] 925*2^1434005-1 is not prime. Res64: 4A539A8B1D471CD4 Time : 0.0 sec. user=mdettweiler [2016-07-01 02:48:52] 611*2^1434006-1 is not prime. Res64: 1AC8D5A9E721EAC8 Time : 0.0 sec. user=mdettweiler [2016-07-01 02:48:52] 635*2^1434006-1 is not prime. Res64: 206C08395109E698 Time : 0.0 sec. user=mdettweiler [2016-07-01 02:48:52] 755*2^1434006-1 is not prime. Res64: C2C6EE58A6DF8AC3 Time : 0.0 sec. user=mdettweiler [2016-07-01 02:48:53] 891*2^1434006-1 is not prime. Res64: AED6482448BE4DD6 Time : 0.0 sec. user=mdettweiler [2016-07-01 02:48:53] 923*2^1434006-1 is not prime. Res64: D189A358A60B0C8F Time : 0.0 sec. user=mdettweiler [2016-07-01 03:00:59] 945*2^1434006-1 is not prime. Res64: 63FE4CFDA45CA53E Time : 0.0 sec. user=mdettweiler [2016-07-01 03:01:04] 645*2^1434007-1 is not prime. Res64: 87B1F8FC545DE818 Time : 0.0 sec. user=mdettweiler [2016-07-01 03:01:09] 819*2^1434007-1 is not prime. Res64: F0EFE8FFE3DAB118 Time : 0.0 sec. user=mdettweiler [2016-07-01 03:01:13] 861*2^1434007-1 is not prime. Res64: B610FCEAFBF363CF Time : 0.0 sec. user=mdettweiler [2016-07-01 03:01:18] 951*2^1434007-1 is not prime. Res64: FEB356EB1E30F273 Time : 0.0 sec. user=mdettweiler [2016-07-01 03:07:20] 975*2^1434007-1 is not prime. Res64: 2CEBF3F024FF31EF Time : 0.0 sec. user=mdettweiler [2016-07-01 03:07:26] 985*2^1434007-1 is not prime. Res64: DFF1687705138292 Time : 0.0 sec. user=mdettweiler [2016-07-01 03:07:32] 687*2^1434008-1 is not prime. Res64: 9A2136F961216B75 Time : 0.0 sec. user=mdettweiler [2016-07-01 03:07:38] 773*2^1434008-1 is not prime. Res64: C7C70F25FEAD0467 Time : 0.0 sec. user=mdettweiler [2016-07-01 03:07:45] 797*2^1434008-1 is not prime. Res64: FB0C56C1E1E3020F Time : 0.0 sec. user=mdettweiler [2016-07-01 03:16:55] 999*2^1434008-1 is not prime. Res64: EAE09C9391B8347C Time : 0.0 sec. user=mdettweiler [2016-07-01 03:16:56] 649*2^1434009-1 is not prime. Res64: 2A71CAB265B229DA Time : 0.0 sec. user=mdettweiler [2016-07-01 03:16:56] 681*2^1434009-1 is not prime. Res64: 9CFCC43CBE2D901A Time : 0.0 sec. user=mdettweiler [2016-07-01 03:16:57] 711*2^1434009-1 is not prime. Res64: 46CDE4A3D911EDC7 Time : 0.0 sec. user=mdettweiler [2016-07-01 03:16:57] 765*2^1434009-1 is not prime. Res64: 1B1BE7E179E24E57 Time : 0.0 sec. user=mdettweiler [2016-07-01 03:33:46] 955*2^1434009-1 is not prime. Res64: 35058F98C0C7539C Time : 0.0 sec. user=mdettweiler [2016-07-01 03:33:48] 687*2^1434010-1 is not prime. Res64: 15EA5EF82E9FC1D3 Time : 0.0 sec. user=mdettweiler [2016-07-01 03:33:50] 803*2^1434010-1 is not prime. Res64: 3645DDE681D90E89 Time : 0.0 sec. user=mdettweiler [2016-07-01 03:33:51] 827*2^1434010-1 is not prime. Res64: 2C420D92F569C3BE Time : 0.0 sec. user=mdettweiler [2016-07-01 03:33:52] 891*2^1434010-1 is not prime. Res64: BA6145AB237E3260 Time : 0.0 sec. user=mdettweiler [2016-07-01 03:46:29] 905*2^1434010-1 is not prime. Res64: 544E9B42046CFE55 Time : 0.0 sec. user=mdettweiler [2016-07-01 03:46:33] 615*2^1434011-1 is not prime. Res64: 17F96C9A6C6C8098 Time : 0.0 sec. user=mdettweiler [2016-07-01 03:46:38] 631*2^1434011-1 is not prime. Res64: 8ED5528C977EA94C Time : 0.0 sec. user=mdettweiler [2016-07-01 03:46:42] 705*2^1434011-1 is not prime. Res64: 33AD8BA7E64C2623 Time : 0.0 sec. user=mdettweiler [2016-07-01 03:46:46] 733*2^1434011-1 is not prime. Res64: 147903F10E8F401B Time : 0.0 sec. user=mdettweiler [2016-07-01 03:53:00] 735*2^1434011-1 is not prime. Res64: 7205218727F73A74 Time : 0.0 sec. user=mdettweiler [2016-07-01 03:53:03] 745*2^1434011-1 is not prime. Res64: A18D59EC3DCE4B5F Time : 0.0 sec. user=mdettweiler [2016-07-01 03:53:05] 859*2^1434011-1 is not prime. Res64: 3D6CEA67178D697B Time : 0.0 sec. user=mdettweiler [2016-07-01 03:53:09] 909*2^1434011-1 is not prime. Res64: 2A58444F49A65C13 Time : 0.0 sec. user=mdettweiler [2016-07-01 03:53:11] 993*2^1434011-1 is not prime. Res64: 3504EB23B91F486B Time : 0.0 sec. user=mdettweiler [2016-07-01 04:01:38] 627*2^1434012-1 is not prime. Res64: EC2C34954412A272 Time : 0.0 sec. user=mdettweiler [2016-07-01 04:01:39] 693*2^1434012-1 is not prime. Res64: 1ED67F8545DD1A05 Time : 0.0 sec. user=mdettweiler [2016-07-01 04:01:40] 619*2^1434013-1 is not prime. Res64: 389E67F89F71341C Time : 0.0 sec. user=mdettweiler [2016-07-01 04:01:41] 861*2^1434013-1 is not prime. Res64: D38F1AD6F38EDB1A Time : 0.0 sec. user=mdettweiler [2016-07-01 04:01:42] 895*2^1434013-1 is not prime. Res64: 81381AC5C46E5074 Time : 0.0 sec. user=mdettweiler [2016-07-01 04:18:51] 675*2^1434014-1 is not prime. Res64: 3227FBE915AEC485 Time : 0.0 sec. user=mdettweiler [2016-07-01 04:18:58] 747*2^1434014-1 is not prime. Res64: 29ADC676B68169FE Time : 0.0 sec. user=mdettweiler [2016-07-01 04:19:06] 773*2^1434014-1 is not prime. Res64: 2B58398E7BA97E35 Time : 0.0 sec. user=mdettweiler [2016-07-01 04:19:13] 791*2^1434014-1 is not prime. Res64: E4F314D7FA4DA5A8 Time : 0.0 sec. user=mdettweiler [2016-07-01 04:19:20] 897*2^1434014-1 is not prime. Res64: 9C79BBAFCDBE93CA Time : 0.0 sec. user=mdettweiler [2016-07-01 04:31:55] 927*2^1434014-1 is not prime. Res64: 29A9D2F8EC57186E Time : 0.0 sec. user=mdettweiler [2016-07-01 04:31:56] 971*2^1434014-1 is not prime. Res64: 29CE86DB5304F0AD Time : 0.0 sec. user=mdettweiler [2016-07-01 04:31:56] 601*2^1434015-1 is not prime. Res64: 144AF48F78C23296 Time : 0.0 sec. user=mdettweiler [2016-07-01 04:31:56] 619*2^1434015-1 is not prime. Res64: A8529228AA2513CF Time : 0.0 sec. user=mdettweiler [2016-07-01 04:31:57] 651*2^1434015-1 is not prime. Res64: 97933418D8B748AA Time : 0.0 sec. user=mdettweiler [2016-07-01 04:38:21] 663*2^1434015-1 is not prime. Res64: 8A1F49A93A7FF1DB Time : 0.0 sec. user=mdettweiler [2016-07-01 04:38:21] 679*2^1434015-1 is not prime. Res64: 70125DAB76FDB7B3 Time : 0.0 sec. user=mdettweiler [2016-07-01 04:38:22] 709*2^1434015-1 is not prime. Res64: 68373C97955FD7D7 Time : 0.0 sec. user=mdettweiler [2016-07-01 04:38:22] 765*2^1434015-1 is not prime. Res64: D316861207A12930 Time : 0.0 sec. user=mdettweiler [2016-07-01 04:38:22] 775*2^1434015-1 is not prime. Res64: 507000D19C014A1C Time : 0.0 sec. user=mdettweiler [2016-07-01 04:46:53] 819*2^1434015-1 is not prime. Res64: FAEBBBCE5763FC35 Time : 0.0 sec. user=mdettweiler [2016-07-01 04:46:59] 885*2^1434015-1 is not prime. Res64: A876ADE792164877 Time : 0.0 sec. user=mdettweiler [2016-07-01 04:47:00] 913*2^1434015-1 is not prime. Res64: 24C1AC64CC6FF557 Time : 0.0 sec. user=mdettweiler [2016-07-01 04:47:05] 961*2^1434015-1 is not prime. Res64: B513D3F54A2D1661 Time : 0.0 sec. user=mdettweiler [2016-07-01 04:47:06] 963*2^1434015-1 is not prime. Res64: 020AC8519C194FAC Time : 0.0 sec. user=mdettweiler [2016-07-01 05:05:49] 991*2^1434015-1 is not prime. Res64: 172E07E7D37A2D04 Time : 0.0 sec. user=mdettweiler [2016-07-01 05:05:50] 677*2^1434016-1 is not prime. Res64: C60FFDFDDC66FAFF Time : 0.0 sec. user=mdettweiler [2016-07-01 05:05:51] 755*2^1434016-1 is not prime. Res64: B331FC99CBEEDBDF Time : 0.0 sec. user=mdettweiler [2016-07-01 05:05:52] 747*2^1434017-1 is not prime. Res64: DDEB44AA902022E8 Time : 0.0 sec. user=mdettweiler [2016-07-01 05:05:53] 795*2^1434017-1 is not prime. Res64: 50AB0C40427FDEEE Time : 0.0 sec. user=mdettweiler [2016-07-01 05:18:45] 801*2^1434017-1 is not prime. Res64: 93E5BD1CEC060DE1 Time : 0.0 sec. user=mdettweiler [2016-07-01 05:18:46] 879*2^1434017-1 is not prime. Res64: 38662491A586BA55 Time : 0.0 sec. user=mdettweiler [2016-07-01 05:18:46] 909*2^1434017-1 is not prime. Res64: 26864C529E0AEA55 Time : 0.0 sec. user=mdettweiler [2016-07-01 05:18:47] 937*2^1434017-1 is not prime. Res64: 26287F3D1393351A Time : 0.0 sec. user=mdettweiler [2016-07-01 05:18:47] 627*2^1434018-1 is not prime. Res64: 8393C2474CBA541C Time : 0.0 sec. user=mdettweiler [2016-07-01 05:24:48] 683*2^1434018-1 is not prime. Res64: 719650B051097890 Time : 0.0 sec. user=mdettweiler [2016-07-01 05:24:55] 711*2^1434018-1 is not prime. Res64: C979CA1959223F46 Time : 0.0 sec. user=mdettweiler [2016-07-01 05:25:02] 755*2^1434018-1 is not prime. Res64: 49E2EA8651EA19A4 Time : 0.0 sec. user=mdettweiler [2016-07-01 05:25:09] 791*2^1434018-1 is not prime. Res64: 438EA00D80211013 Time : 0.0 sec. user=mdettweiler [2016-07-01 05:25:15] 905*2^1434018-1 is not prime. Res64: 712EB94600988103 Time : 0.0 sec. user=mdettweiler [2016-07-01 05:32:32] 941*2^1434018-1 is not prime. Res64: B266029162FEECCA Time : 0.0 sec. user=mdettweiler [2016-07-01 05:32:36] 601*2^1434019-1 is not prime. Res64: 30132BF34FF55864 Time : 0.0 sec. user=mdettweiler [2016-07-01 05:32:40] 615*2^1434019-1 is not prime. Res64: 1D01CC4C633FAD9C Time : 0.0 sec. user=mdettweiler [2016-07-01 05:32:44] 691*2^1434019-1 is not prime. Res64: 207A7B0CB3F3F421 Time : 0.0 sec. user=mdettweiler [2016-07-01 05:32:48] 801*2^1434019-1 is not prime. Res64: F30E2276D2BD510C Time : 0.0 sec. user=mdettweiler [2016-07-01 05:50:53] 829*2^1434019-1 is not prime. Res64: D630009C29681D79 Time : 0.0 sec. user=mdettweiler [2016-07-01 05:50:53] 889*2^1434019-1 is not prime. Res64: 3BA4FC3BB01BFAD7 Time : 0.0 sec. user=mdettweiler [2016-07-01 05:50:54] 909*2^1434019-1 is not prime. Res64: 9BEB9B65505C4092 Time : 0.0 sec. user=mdettweiler [2016-07-01 05:50:54] 931*2^1434019-1 is not prime. Res64: 7AD2E20A2A55AB13 Time : 0.0 sec. user=mdettweiler [2016-07-01 05:50:54] 939*2^1434019-1 is not prime. Res64: E50933E57228BA03 Time : 0.0 sec. user=mdettweiler [2016-07-01 06:03:37] 943*2^1434019-1 is not prime. Res64: 33D885D46C3C0A86 Time : 0.0 sec. user=mdettweiler [2016-07-01 06:03:42] 609*2^1434020-1 is not prime. Res64: FA37C5C5346AF175 Time : 0.0 sec. user=mdettweiler [2016-07-01 06:03:48] 635*2^1434020-1 is not prime. Res64: D37996F4925F1F77 Time : 0.0 sec. user=mdettweiler [2016-07-01 06:03:55] 735*2^1434020-1 is not prime. Res64: A609AEDF624D2889 Time : 0.0 sec. user=mdettweiler [2016-07-01 06:04:02] 789*2^1434020-1 is not prime. Res64: 47B81669B3984073 Time : 0.0 sec. user=mdettweiler [2016-07-01 06:10:06] 797*2^1434020-1 is not prime. Res64: 129C0374B9C8285A Time : 0.0 sec. user=mdettweiler [2016-07-01 06:10:13] 839*2^1434020-1 is not prime. Res64: B5FA872703CC6C22 Time : 0.0 sec. user=mdettweiler [2016-07-01 06:10:14] 935*2^1434020-1 is not prime. Res64: F5E9E2306435975C Time : 0.0 sec. user=mdettweiler [2016-07-01 06:10:21] 999*2^1434020-1 is not prime. Res64: 64B1902D2F8D09FE Time : 0.0 sec. user=mdettweiler [2016-07-01 06:10:27] 691*2^1434021-1 is not prime. Res64: 1DD170FEEDD81401 Time : 0.0 sec. user=mdettweiler [2016-07-01 06:17:36] 861*2^1434021-1 is not prime. Res64: 80B0EA8E2AF676C4 Time : 0.0 sec. user=mdettweiler [2016-07-01 06:17:37] 991*2^1434021-1 is not prime. Res64: 3D8A4742BAD1E147 Time : 0.0 sec. user=mdettweiler [2016-07-01 06:17:37] 635*2^1434022-1 is not prime. Res64: 72D0AFADA03C33B9 Time : 0.0 sec. user=mdettweiler [2016-07-01 06:17:38] 647*2^1434022-1 is not prime. Res64: B5BECB68812EA410 Time : 0.0 sec. user=mdettweiler [2016-07-01 06:17:38] 653*2^1434022-1 is not prime. Res64: 51C62F1F79366254 Time : 0.0 sec. user=mdettweiler [2016-07-01 06:35:44] 677*2^1434022-1 is not prime. Res64: 9D291558515C1E09 Time : 0.0 sec. user=mdettweiler [2016-07-01 06:35:51] 705*2^1434022-1 is not prime. Res64: F411E7B37CB0CD60 Time : 0.0 sec. user=mdettweiler [2016-07-01 06:35:58] 713*2^1434022-1 is not prime. Res64: 8C00B01B6CC8A42A Time : 0.0 sec. user=mdettweiler [2016-07-01 06:36:05] 741*2^1434022-1 is not prime. Res64: DBBE284BCB6F0031 Time : 0.0 sec. user=mdettweiler [2016-07-01 06:36:12] 825*2^1434022-1 is not prime. Res64: 459E7D4249C3F63C Time : 0.0 sec. user=mdettweiler [2016-07-01 06:49:18] 885*2^1434022-1 is not prime. Res64: 18A6C1DBC72E60A9 Time : 0.0 sec. user=mdettweiler [2016-07-01 06:49:18] 915*2^1434022-1 is not prime. Res64: F5BC30D920CB0246 Time : 0.0 sec. user=mdettweiler [2016-07-01 06:49:18] 945*2^1434022-1 is not prime. Res64: 2CE66160D6BD645C Time : 0.0 sec. user=mdettweiler [2016-07-01 06:49:19] 965*2^1434022-1 is not prime. Res64: 4D796A5DDC3CEAB8 Time : 0.0 sec. user=mdettweiler [2016-07-01 06:49:19] 621*2^1434023-1 is not prime. Res64: C496FB78D6021339 Time : 0.0 sec. user=mdettweiler [2016-07-01 06:55:21] 663*2^1434023-1 is not prime. Res64: 1089DC0243A313CC Time : 0.0 sec. user=mdettweiler [2016-07-01 06:55:21] 673*2^1434023-1 is not prime. Res64: D86307C785A5B131 Time : 0.0 sec. user=mdettweiler [2016-07-01 06:55:21] 775*2^1434023-1 is not prime. Res64: 77EB0DF276536668 Time : 0.0 sec. user=mdettweiler [2016-07-01 06:55:22] 949*2^1434023-1 is not prime. Res64: 65187A1D1F8A3771 Time : 0.0 sec. user=mdettweiler [2016-07-01 06:55:22] 615*2^1434024-1 is not prime. Res64: 691BEC37E99E25A8 Time : 0.0 sec. user=mdettweiler [2016-07-01 07:02:21] 665*2^1434024-1 is not prime. Res64: 6F4EC4588A7AF403 Time : 0.0 sec. user=mdettweiler [2016-07-01 07:02:22] 689*2^1434024-1 is not prime. Res64: 184969081607BB90 Time : 0.0 sec. user=mdettweiler [2016-07-01 07:02:23] 887*2^1434024-1 is not prime. Res64: 9E6325F8D5526A6B Time : 0.0 sec. user=mdettweiler [2016-07-01 07:02:24] 927*2^1434024-1 is not prime. Res64: 4C68945BE846A467 Time : 0.0 sec. user=mdettweiler [2016-07-01 07:02:25] 679*2^1434025-1 is not prime. Res64: 9D69402CA0D3621E Time : 0.0 sec. user=mdettweiler [2016-07-01 07:21:16] 721*2^1434025-1 is not prime. Res64: 0BF8F33AFEF886C6 Time : 0.0 sec. user=mdettweiler [2016-07-01 07:21:22] 877*2^1434025-1 is not prime. Res64: 43E73A8CD47C7566 Time : 0.0 sec. user=mdettweiler [2016-07-01 07:21:29] 885*2^1434025-1 is not prime. Res64: 8CC47397ABC963BB Time : 0.0 sec. user=mdettweiler [2016-07-01 07:21:35] 895*2^1434025-1 is not prime. Res64: 224DB1F20004DF9B Time : 0.0 sec. user=mdettweiler [2016-07-01 07:21:42] 997*2^1434025-1 is not prime. Res64: 224BB9DFB3030C37 Time : 0.0 sec. user=mdettweiler [2016-07-01 07:33:58] 683*2^1434026-1 is not prime. Res64: 12A335ABBC2D8154 Time : 0.0 sec. user=mdettweiler [2016-07-01 07:33:59] 711*2^1434026-1 is not prime. Res64: 2283FF9DE8AB8C1C Time : 0.0 sec. user=mdettweiler [2016-07-01 07:33:59] 755*2^1434026-1 is not prime. Res64: F798C9F1085DBF94 Time : 0.0 sec. user=mdettweiler [2016-07-01 07:34:00] 837*2^1434026-1 is not prime. Res64: 056EB032B93A8189 Time : 0.0 sec. user=mdettweiler [2016-07-01 07:34:00] 699*2^1434027-1 is not prime. Res64: 13A232AE676220E5 Time : 0.0 sec. user=mdettweiler [2016-07-01 07:40:05] 739*2^1434027-1 is not prime. Res64: 5527DCD27A24D254 Time : 0.0 sec. user=mdettweiler [2016-07-01 07:40:05] 769*2^1434027-1 is not prime. Res64: 78EEAEEDDC5BFB5C Time : 0.0 sec. user=mdettweiler [2016-07-01 07:40:06] 871*2^1434027-1 is not prime. Res64: AC8A79C03519C5B6 Time : 0.0 sec. user=mdettweiler [2016-07-01 07:40:06] 903*2^1434027-1 is not prime. Res64: 409A8E94B583875B Time : 0.0 sec. user=mdettweiler [2016-07-01 07:40:06] 687*2^1434028-1 is not prime. Res64: E3AAB66FD84968EE Time : 0.0 sec. user=mdettweiler [2016-07-01 07:47:10] 707*2^1434028-1 is not prime. Res64: A0F52B2333F18631 Time : 0.0 sec. user=mdettweiler [2016-07-01 07:47:17] 735*2^1434028-1 is not prime. Res64: A34B286716E3F867 Time : 0.0 sec. user=mdettweiler [2016-07-01 07:47:23] 797*2^1434028-1 is not prime. Res64: CC4970F7BF4E6AE8 Time : 0.0 sec. user=mdettweiler [2016-07-01 07:47:29] 875*2^1434028-1 is not prime. Res64: 705F7C43FEF29DD3 Time : 0.0 sec. user=mdettweiler [2016-07-01 07:47:35] 631*2^1434029-1 is not prime. Res64: FF1B56DBC4EAA5A8 Time : 0.0 sec. user=mdettweiler [2016-07-01 08:06:32] 685*2^1434029-1 is not prime. Res64: 67D9D095ECC98DB2 Time : 0.0 sec. user=mdettweiler [2016-07-01 08:06:32] 775*2^1434029-1 is not prime. Res64: 5F82B8099C65D62B Time : 0.0 sec. user=mdettweiler [2016-07-01 08:06:33] 955*2^1434029-1 is not prime. Res64: 7C0D865337ED1025 Time : 0.0 sec. user=mdettweiler [2016-07-01 08:06:33] 641*2^1434030-1 is not prime. Res64: FAB5F14CFA2A4D03 Time : 0.0 sec. user=mdettweiler [2016-07-01 08:06:34] 693*2^1434030-1 is not prime. Res64: 25A2F68EB1360636 Time : 0.0 sec. user=mdettweiler [2016-07-01 08:19:15] 861*2^1434030-1 is not prime. Res64: C6B40B101E97EB9E Time : 0.0 sec. user=mdettweiler [2016-07-01 08:25:04] 705*2^1434031-1 is not prime. Res64: A00C8F6388C6B008 Time : 0.0 sec. user=mdettweiler [2016-07-01 08:25:04] 841*2^1434031-1 is not prime. Res64: E57B41A57D31C406 Time : 0.0 sec. user=mdettweiler [2016-07-01 08:25:10] 871*2^1434031-1 is not prime. Res64: 7FD017F27D0CB9CC Time : 0.0 sec. user=mdettweiler [2016-07-01 08:25:17] 665*2^1434032-1 is not prime. Res64: 948D19313C545083 Time : 0.0 sec. user=mdettweiler [2016-07-01 08:25:23] 669*2^1434032-1 is not prime. Res64: BBEAF6E42F1529B8 Time : 0.0 sec. user=mdettweiler [2016-07-01 08:32:45] 675*2^1434032-1 is not prime. Res64: EAAE14595DFB7A09 Time : 0.0 sec. user=mdettweiler [2016-07-01 08:32:49] 713*2^1434032-1 is not prime. Res64: FC7311A60A5975BC Time : 0.0 sec. user=mdettweiler [2016-07-01 08:32:53] 717*2^1434032-1 is not prime. Res64: BA8A4CE15CB1F90D Time : 0.0 sec. user=mdettweiler [2016-07-01 08:32:58] 719*2^1434032-1 is not prime. Res64: 96553B77A819EE09 Time : 0.0 sec. user=mdettweiler [2016-07-01 08:33:02] 899*2^1434032-1 is not prime. Res64: FF3B177EF7014F8A Time : 0.0 sec. user=mdettweiler [2016-07-01 08:52:00] 917*2^1434032-1 is not prime. Res64: 0AF1D109BA13304B Time : 0.0 sec. user=mdettweiler [2016-07-01 08:52:00] 983*2^1434032-1 is not prime. Res64: 85E4B8781DB646B6 Time : 0.0 sec. user=mdettweiler [2016-07-01 08:52:01] 649*2^1434033-1 is not prime. Res64: 43AD392379C58718 Time : 0.0 sec. user=mdettweiler [2016-07-01 08:52:01] 849*2^1434033-1 is not prime. Res64: FCA1694E78559172 Time : 0.0 sec. user=mdettweiler [2016-07-01 08:52:02] 871*2^1434033-1 is not prime. Res64: FB740917DCEC3E60 Time : 0.0 sec. user=mdettweiler [2016-07-01 09:11:05] 885*2^1434033-1 is not prime. Res64: 67079FEFDD67D680 Time : 0.0 sec. user=mdettweiler [2016-07-01 09:11:06] 717*2^1434034-1 is not prime. Res64: FD7143A96317C186 Time : 0.0 sec. user=mdettweiler [2016-07-01 09:11:06] 803*2^1434034-1 is not prime. Res64: 1B7EA6E5F54F8DC7 Time : 0.0 sec. user=mdettweiler [2016-07-01 09:11:06] 923*2^1434034-1 is not prime. Res64: F306F23F9B21A4C9 Time : 0.0 sec. user=mdettweiler [2016-07-01 09:11:07] 633*2^1434035-1 is not prime. Res64: A9088ED8FF953E90 Time : 0.0 sec. user=mdettweiler [2016-07-01 09:19:20] 675*2^1434035-1 is not prime. Res64: 9773BAC6E12C1414 Time : 0.0 sec. user=mdettweiler [2016-07-01 09:19:20] 685*2^1434035-1 is not prime. Res64: F1056DE7B345E41B Time : 0.0 sec. user=mdettweiler [2016-07-01 09:19:20] 825*2^1434035-1 is not prime. Res64: 460481E12BC0332F Time : 0.0 sec. user=mdettweiler [2016-07-01 09:19:20] 883*2^1434035-1 is not prime. Res64: 011C5E6A77923057 Time : 0.0 sec. user=mdettweiler [2016-07-01 09:19:21] 609*2^1434036-1 is not prime. Res64: 7DB0E138D7CF179A Time : 0.0 sec. user=mdettweiler [2016-07-01 09:39:47] 737*2^1434036-1 is not prime. Res64: 724967C3F9381F89 Time : 0.0 sec. user=mdettweiler [2016-07-01 09:39:53] 789*2^1434036-1 is not prime. Res64: 383F4F2AA1E8950B Time : 0.0 sec. user=mdettweiler [2016-07-01 09:39:59] 825*2^1434036-1 is not prime. Res64: DEEEF09EB3F77C4B Time : 0.0 sec. user=mdettweiler [2016-07-01 09:40:06] 845*2^1434036-1 is not prime. Res64: 089787DCF6242826 Time : 0.0 sec. user=mdettweiler [2016-07-01 09:40:12] 873*2^1434036-1 is not prime. Res64: A291CC1878017A0F Time : 0.0 sec. user=mdettweiler [2016-07-01 10:00:56] 601*2^1434037-1 is not prime. Res64: 8C4D6375B4EA09B0 Time : 0.0 sec. user=mdettweiler [2016-07-01 10:00:57] 741*2^1434037-1 is not prime. Res64: 9C3910D4A516A0F2 Time : 0.0 sec. user=mdettweiler [2016-07-01 10:00:57] 757*2^1434037-1 is not prime. Res64: C376863D3C8A6D2E Time : 0.0 sec. user=mdettweiler [2016-07-01 10:00:58] 927*2^1434037-1 is not prime. Res64: DFE8BB5956FF5787 Time : 0.0 sec. user=mdettweiler [2016-07-01 10:00:59] 939*2^1434037-1 is not prime. Res64: 26C17D4A7CC7CAB2 Time : 0.0 sec. user=mdettweiler [2016-07-01 10:27:41] 915*2^1434038-1 is not prime. Res64: 37A7707AF1197428 Time : 0.0 sec. user=mdettweiler [2016-07-01 10:27:41] 613*2^1434039-1 is not prime. Res64: 7162FB9A0DBDEAD5 Time : 0.0 sec. user=mdettweiler [2016-07-01 10:27:42] 661*2^1434039-1 is not prime. Res64: DAF9ECAF77529AD1 Time : 0.0 sec. user=mdettweiler [2016-07-01 10:27:42] 751*2^1434039-1 is not prime. Res64: E8DCF784997508F8 Time : 0.0 sec. user=mdettweiler [2016-07-01 10:27:43] 885*2^1434039-1 is not prime. Res64: E8681613D0B9E625 Time : 0.0 sec. user=mdettweiler [2016-07-01 10:48:36] 663*2^1434040-1 is not prime. Res64: C349E282A34DC5C3 Time : 0.0 sec. user=mdettweiler [2016-07-01 10:48:42] 765*2^1434040-1 is not prime. Res64: 2E16EF06F5105F9A Time : 0.0 sec. user=mdettweiler [2016-07-01 10:48:48] 843*2^1434040-1 is not prime. Res64: 4950613168168298 Time : 0.0 sec. user=mdettweiler [2016-07-01 10:48:48] 845*2^1434040-1 is not prime. Res64: 9A568427D0C1084E Time : 0.0 sec. user=mdettweiler [2016-07-01 10:48:55] 619*2^1434041-1 is not prime. Res64: 618ADA7488A9B22A Time : 0.0 sec. user=mdettweiler [2016-07-01 11:15:55] 829*2^1434041-1 is not prime. Res64: 91400A2848004D01 Time : 0.0 sec. user=mdettweiler [2016-07-01 11:15:55] 867*2^1434041-1 is not prime. Res64: FB9E0BA96AB7AE79 Time : 0.0 sec. user=mdettweiler [2016-07-01 11:15:56] 967*2^1434041-1 is not prime. Res64: 4F07F7531210B47D Time : 0.0 sec. user=mdettweiler [2016-07-01 11:15:56] 611*2^1434042-1 is not prime. Res64: 01111F2D8BFC4499 Time : 0.0 sec. user=mdettweiler [2016-07-01 11:15:57] 635*2^1434042-1 is not prime. Res64: 49EC1B4DCE34F7D4 Time : 0.0 sec. user=mdettweiler [2016-07-01 11:50:51] 863*2^1434030-1 is not prime. Res64: 0AE045D52E69DD3C Time : 0.0 sec. user=mdettweiler [2016-07-01 11:50:51] 875*2^1434030-1 is not prime. Res64: 7945F802A0D33B73 Time : 0.0 sec. user=mdettweiler [2016-07-01 11:50:52] 603*2^1434031-1 is not prime. Res64: FB65E34DDB800FAF Time : 0.0 sec. user=mdettweiler [2016-07-01 11:50:52] 645*2^1434031-1 is not prime. Res64: 5436EB5A28ED90E0 Time : 0.0 sec. user=mdettweiler [2016-07-01 12:08:42] 691*2^1434043-1 is not prime. Res64: 4900E9C5E58389B1 Time : 0.0 sec. user=mdettweiler [2016-07-01 12:08:49] 783*2^1434043-1 is not prime. Res64: CFFF46FB126460DB Time : 0.0 sec. user=mdettweiler [2016-07-01 12:08:56] 801*2^1434043-1 is not prime. Res64: 56DEAC11CF701747 Time : 0.0 sec. user=mdettweiler [2016-07-01 12:09:02] 855*2^1434043-1 is not prime. Res64: 5E48AF37A2AA17FE Time : 0.0 sec. user=mdettweiler [2016-07-01 12:09:09] 961*2^1434043-1 is not prime. Res64: 4E85B741D367CE11 Time : 0.0 sec. user=mdettweiler [2016-07-01 12:42:38] 617*2^1434044-1 is not prime. Res64: F65F028613FA36A2 Time : 0.0 sec. user=mdettweiler [2016-07-01 12:42:44] 677*2^1434044-1 is not prime. Res64: 096B33E7FD76B2AA Time : 0.0 sec. user=mdettweiler [2016-07-01 12:42:50] 707*2^1434044-1 is not prime. Res64: E9F3477BF6240593 Time : 0.0 sec. user=mdettweiler [2016-07-01 12:42:56] 743*2^1434044-1 is not prime. Res64: C237D5B8BDE7DC07 Time : 0.0 sec. user=mdettweiler [2016-07-01 12:43:02] 759*2^1434044-1 is not prime. Res64: 33A446ED4AA40B35 Time : 0.0 sec. user=mdettweiler [2016-07-01 13:03:46] 789*2^1434044-1 is not prime. Res64: 622B13C4828B7B75 Time : 0.0 sec. user=mdettweiler [2016-07-01 13:03:48] 827*2^1434044-1 is not prime. Res64: F5AF43E584D3071E Time : 0.0 sec. user=mdettweiler [2016-07-01 13:03:49] 875*2^1434044-1 is not prime. Res64: 52953835B0DC4C1E Time : 0.0 sec. user=mdettweiler [2016-07-01 13:03:51] 885*2^1434044-1 is not prime. Res64: CA1984A3E3CC9CDE Time : 0.0 sec. user=mdettweiler [2016-07-01 13:03:52] 909*2^1434044-1 is not prime. Res64: 12422DD2F5380214 Time : 0.0 sec. user=mdettweiler [2016-07-01 14:03:31] 755*2^1434038-1 is not prime. Res64: 5954FA3702794C64 Time : 0.0 sec. user=mdettweiler [2016-07-01 14:03:32] 797*2^1434038-1 is not prime. Res64: 4ACAD42FAE900CF0 Time : 0.0 sec. user=mdettweiler [2016-07-01 14:03:33] 813*2^1434038-1 is not prime. Res64: AB4802002C6938F8 Time : 0.0 sec. user=mdettweiler [2016-07-01 14:03:34] 827*2^1434038-1 is not prime. Res64: 69411FF839E4A5E5 Time : 0.0 sec. user=mdettweiler [2016-07-01 14:03:35] 861*2^1434038-1 is not prime. Res64: D2243BC795B71947 Time : 0.0 sec. user=mdettweiler [2016-07-01 14:03:39] 705*2^1434046-1 is not prime. Res64: B10C101D4D5064D7 Time : 0.0 sec. user=mdettweiler [2016-07-01 14:03:40] 755*2^1434046-1 is not prime. Res64: C6DF13BA9AE86C30 Time : 0.0 sec. user=mdettweiler [2016-07-01 14:03:40] 773*2^1434046-1 is not prime. Res64: 61F63746774B2EC1 Time : 0.0 sec. user=mdettweiler [2016-07-01 14:03:42] 873*2^1434046-1 is not prime. Res64: 6E7840929EC2F0BB Time : 0.0 sec. user=mdettweiler [2016-07-01 14:03:44] 945*2^1434046-1 is not prime. Res64: E8971DEC479AF39B Time : 0.0 sec. user=mdettweiler [2016-07-01 14:54:14] 861*2^1434047-1 is not prime. Res64: ABC2F0E1DACB391A Time : 0.0 sec. user=mdettweiler [2016-07-01 14:54:21] 913*2^1434047-1 is not prime. Res64: 6ADFB379B8789DAF Time : 0.0 sec. user=mdettweiler [2016-07-01 14:54:27] 747*2^1434048-1 is not prime. Res64: DF8E279956FAE45F Time : 0.0 sec. user=mdettweiler [2016-07-01 14:54:32] 753*2^1434048-1 is not prime. Res64: 0651B0D4F8539EE6 Time : 0.0 sec. user=mdettweiler [2016-07-01 14:54:33] 797*2^1434048-1 is not prime. Res64: 20514F7C9A61296C Time : 0.0 sec. user=mdettweiler [2016-07-01 14:55:28] 987*2^1434046-1 is not prime. Res64: 3E4C5FF3A76ABE47 Time : 0.0 sec. user=mdettweiler [2016-07-01 14:55:35] 621*2^1434047-1 is not prime. Res64: 77F42AC7A0833E23 Time : 0.0 sec. user=mdettweiler [2016-07-01 14:55:43] 661*2^1434047-1 is not prime. Res64: E127CB4B321BDF3C Time : 0.0 sec. user=mdettweiler [2016-07-01 14:55:49] 703*2^1434047-1 is not prime. Res64: DC84FD427E91BF27 Time : 0.0 sec. user=mdettweiler [2016-07-01 14:55:56] 813*2^1434047-1 is not prime. Res64: 74508C31DA707FFA Time : 0.0 sec. user=mdettweiler [2016-07-01 15:30:14] 695*2^1434042-1 is not prime. Res64: 2E30936F1EAE98D0 Time : 0.0 sec. user=mdettweiler [2016-07-01 15:30:14] 713*2^1434042-1 is not prime. Res64: CF649198AABA12BC Time : 0.0 sec. user=mdettweiler [2016-07-01 15:30:15] 741*2^1434042-1 is not prime. Res64: 565CB47180D2A64F Time : 0.0 sec. user=mdettweiler [2016-07-01 15:30:15] 833*2^1434042-1 is not prime. Res64: 2A5AB0D4C9CA83EE Time : 0.0 sec. user=mdettweiler [2016-07-01 15:30:16] 685*2^1434043-1 is not prime. Res64: 0D35D40ADDBAF4CB Time : 0.0 sec. user=mdettweiler [2016-07-01 15:43:08] 815*2^1434048-1 is not prime. Res64: F489C938C495F523 Time : 0.0 sec. user=mdettweiler [2016-07-01 15:43:15] 867*2^1434048-1 is not prime. Res64: 01389247BA72F7D3 Time : 0.0 sec. user=mdettweiler [2016-07-01 15:43:19] 879*2^1434048-1 is not prime. Res64: 970DF5BA19B1BDA9 Time : 0.0 sec. user=mdettweiler [2016-07-01 15:43:23] 993*2^1434048-1 is not prime. Res64: 99D558E294F97421 Time : 0.0 sec. user=mdettweiler [2016-07-01 15:43:27] 847*2^1434049-1 is not prime. Res64: 0E472E15E1E23B69 Time : 0.0 sec. user=mdettweiler [2016-07-01 15:44:23] 855*2^1434049-1 is not prime. Res64: 3BCE22958659D111 Time : 0.0 sec. user=mdettweiler [2016-07-01 15:44:28] 939*2^1434049-1 is not prime. Res64: F49BCD6D3ECC0728 Time : 0.0 sec. user=mdettweiler [2016-07-01 15:44:31] 979*2^1434049-1 is not prime. Res64: E7B4E360297EAE3F Time : 0.0 sec. user=mdettweiler [2016-07-01 15:44:36] 985*2^1434049-1 is not prime. Res64: 76415F3EFF6A1B10 Time : 0.0 sec. user=mdettweiler [2016-07-01 15:44:39] 641*2^1434050-1 is not prime. Res64: D6FC4B5BB8710B71 Time : 0.0 sec. user=mdettweiler [2016-07-01 16:18:32] 657*2^1434050-1 is not prime. Res64: 83B2C4FD0057F97E Time : 0.0 sec. user=mdettweiler [2016-07-01 16:18:42] 675*2^1434050-1 is not prime. Res64: 047E2160BEF72493 Time : 0.0 sec. user=mdettweiler [2016-07-01 16:31:53] 845*2^1434050-1 is not prime. Res64: 40F14E21A8764182 Time : 0.0 sec. user=mdettweiler [2016-07-01 16:31:53] 935*2^1434050-1 is not prime. Res64: C50BE678E24B920F Time : 0.0 sec. user=mdettweiler [2016-07-01 16:31:54] 981*2^1434050-1 is not prime. Res64: CC3540A17B186CD2 Time : 0.0 sec. user=mdettweiler [2016-07-01 16:31:54] 609*2^1434051-1 is not prime. Res64: 1F07ABA2B4441453 Time : 0.0 sec. user=mdettweiler [2016-07-01 16:31:54] 709*2^1434051-1 is not prime. Res64: 86D6156CBE2ABB24 Time : 0.0 sec. user=mdettweiler [2016-07-01 16:33:35] 793*2^1434051-1 is not prime. Res64: 30FA14D930967986 Time : 0.0 sec. user=mdettweiler [2016-07-01 16:33:36] 819*2^1434051-1 is not prime. Res64: E8153125194F7AE2 Time : 0.0 sec. user=mdettweiler [2016-07-01 16:33:36] 829*2^1434051-1 is not prime. Res64: 5891C58BB315EA67 Time : 0.0 sec. user=mdettweiler [2016-07-01 16:33:37] 909*2^1434051-1 is not prime. Res64: B29EC0D006962259 Time : 0.0 sec. user=mdettweiler [2016-07-01 16:33:37] 921*2^1434051-1 is not prime. Res64: 1B3FCDC47D0C69D5 Time : 0.0 sec. user=mdettweiler [2016-07-01 17:19:36] 603*2^1434052-1 is not prime. Res64: 5DA56E1DF09AB2AE Time : 0.0 sec. user=mdettweiler [2016-07-01 17:19:40] 827*2^1434052-1 is not prime. Res64: F951E2B00296DD82 Time : 0.0 sec. user=mdettweiler [2016-07-01 17:19:44] 899*2^1434052-1 is not prime. Res64: 51FFFED3BC8C20E6 Time : 0.0 sec. user=mdettweiler [2016-07-01 17:19:49] 909*2^1434052-1 is not prime. Res64: 4A1F3E72F88D37A0 Time : 0.0 sec. user=mdettweiler [2016-07-01 17:19:53] 923*2^1434052-1 is not prime. Res64: 8293900D472E0185 Time : 0.0 sec. user=mdettweiler [2016-07-01 17:21:47] 939*2^1434052-1 is not prime. Res64: 62939292A3FEE0E8 Time : 0.0 sec. user=mdettweiler [2016-07-01 17:21:51] 795*2^1434053-1 is not prime. Res64: FBFCB4F94BB504EB Time : 0.0 sec. user=mdettweiler [2016-07-01 17:21:55] 811*2^1434053-1 is not prime. Res64: 4E9593C28FFA5722 Time : 0.0 sec. user=mdettweiler [2016-07-01 17:21:59] 847*2^1434053-1 is not prime. Res64: 4018C8831CF0ADA6 Time : 0.0 sec. user=mdettweiler [2016-07-01 17:22:04] 867*2^1434053-1 is not prime. Res64: 8FA71F4522187030 Time : 0.0 sec. user=mdettweiler [2016-07-01 17:37:33] 953*2^1434044-1 is not prime. Res64: 9E0FC76867BE75AB Time : 0.0 sec. user=mdettweiler [2016-07-01 17:37:34] 657*2^1434045-1 is not prime. Res64: B1B4BF6DE9B80797 Time : 0.0 sec. user=mdettweiler [2016-07-01 17:37:34] 765*2^1434045-1 is not prime. Res64: 1EE6AB6C05D5CEF3 Time : 0.0 sec. user=mdettweiler [2016-07-01 17:37:35] 889*2^1434045-1 is not prime. Res64: 94BFE03ED250AE5A Time : 0.0 sec. user=mdettweiler [2016-07-01 17:37:35] 603*2^1434046-1 is not prime. Res64: F69F97A440748B71 Time : 0.0 sec. user=mdettweiler [2016-07-01 18:06:47] 901*2^1434053-1 is not prime. Res64: 78A9A4C272A80416 Time : 0.0 sec. user=mdettweiler [2016-07-01 18:06:52] 951*2^1434053-1 is not prime. Res64: 56B0B28369313C39 Time : 0.0 sec. user=mdettweiler [2016-07-01 18:06:58] 969*2^1434053-1 is not prime. Res64: 74777D9A07C54C78 Time : 0.0 sec. user=mdettweiler [2016-07-01 18:07:02] 987*2^1434053-1 is not prime. Res64: 7730641CE13AB561 Time : 0.0 sec. user=mdettweiler [2016-07-01 18:07:07] 665*2^1434054-1 is not prime. Res64: 2FF210F926D62B0B Time : 0.0 sec. user=mdettweiler [2016-07-01 18:08:51] 825*2^1434054-1 is not prime. Res64: 6BA37C58B68DF8B6 Time : 0.0 sec. user=mdettweiler [2016-07-01 18:08:58] 885*2^1434054-1 is not prime. Res64: AEA4F6A94C0B34AE Time : 0.0 sec. user=mdettweiler [2016-07-01 18:09:04] 903*2^1434054-1 is not prime. Res64: 31DDC59E0A0FF3F8 Time : 0.0 sec. user=mdettweiler [2016-07-01 18:09:04] 951*2^1434054-1 is not prime. Res64: 826052666D5D83B1 Time : 0.0 sec. user=mdettweiler [2016-07-01 18:09:11] 971*2^1434054-1 is not prime. Res64: 769F3385FE315BB4 Time : 0.0 sec. user=mdettweiler [2016-07-01 18:23:13] 693*2^1434055-1 is not prime. Res64: 509AA64DDB49472C Time : 0.0 sec. user=mdettweiler [2016-07-01 18:23:13] 741*2^1434055-1 is not prime. Res64: B1F8B71C1231514E Time : 0.0 sec. user=mdettweiler [2016-07-01 18:23:14] 843*2^1434055-1 is not prime. Res64: F6B238B480D28844 Time : 0.0 sec. user=mdettweiler [2016-07-01 18:23:14] 969*2^1434055-1 is not prime. Res64: A9D4AA6A14F6273B Time : 0.0 sec. user=mdettweiler [2016-07-01 18:23:14] 999*2^1434055-1 is not prime. Res64: 9397F24239AFC081 Time : 0.0 sec. user=mdettweiler [2016-07-01 18:53:10] 615*2^1434056-1 is not prime. Res64: 57ECE802930AEFAE Time : 0.0 sec. user=mdettweiler [2016-07-01 18:53:10] 635*2^1434056-1 is not prime. Res64: 4A718D582E4137DD Time : 0.0 sec. user=mdettweiler [2016-07-01 18:53:10] 755*2^1434056-1 is not prime. Res64: B8A5918E8C3F66A5 Time : 0.0 sec. user=mdettweiler [2016-07-01 18:53:11] 825*2^1434056-1 is not prime. Res64: EA39DFD48FD07AA9 Time : 0.0 sec. user=mdettweiler [2016-07-01 18:53:11] 899*2^1434056-1 is not prime. Res64: 106C37CB31D5C6B6 Time : 0.0 sec. user=mdettweiler [2016-07-01 18:54:50] 903*2^1434056-1 is not prime. Res64: CCF252EDB8B20A0F Time : 0.0 sec. user=mdettweiler [2016-07-01 18:54:51] 935*2^1434056-1 is not prime. Res64: 034D68E731F5D055 Time : 0.0 sec. user=mdettweiler [2016-07-01 18:54:51] 999*2^1434056-1 is not prime. Res64: EE18B65F27C62CD1 Time : 0.0 sec. user=mdettweiler [2016-07-01 18:54:51] 609*2^1434057-1 is not prime. Res64: 744CCB632BBB7BD7 Time : 0.0 sec. user=mdettweiler [2016-07-01 18:54:52] 649*2^1434057-1 is not prime. Res64: EE1474E205704C18 Time : 0.0 sec. user=mdettweiler [2016-07-01 18:58:46] 741*2^1434050-1 is not prime. Res64: 711A774BA740C438 Time : 0.0 sec. user=mdettweiler [2016-07-01 18:58:46] 825*2^1434050-1 is not prime. Res64: 6FC6C1B978EFB113 Time : 0.0 sec. user=mdettweiler [2016-07-01 18:58:47] 833*2^1434050-1 is not prime. Res64: 815A062D656B2982 Time : 0.0 sec. user=mdettweiler [2016-07-01 19:09:00] 669*2^1434057-1 is not prime. Res64: BD3AE71041DEC8FC Time : 0.0 sec. user=mdettweiler [2016-07-01 19:09:05] 747*2^1434057-1 is not prime. Res64: 62DA9852814DBD05 Time : 0.0 sec. user=mdettweiler [2016-07-01 19:09:09] 889*2^1434057-1 is not prime. Res64: EB58DF1B5884408F Time : 0.0 sec. user=mdettweiler [2016-07-01 19:09:13] 909*2^1434057-1 is not prime. Res64: 2137B7B06C8050F5 Time : 0.0 sec. user=mdettweiler [2016-07-01 19:09:17] 955*2^1434057-1 is not prime. Res64: 32F5B0339590ECBA Time : 0.0 sec. user=mdettweiler [2016-07-01 19:38:31] 665*2^1434058-1 is not prime. Res64: 6274F4066F65E839 Time : 0.0 sec. user=mdettweiler [2016-07-01 19:38:31] 831*2^1434058-1 is not prime. Res64: F39E097F5E15ACBB Time : 0.0 sec. user=mdettweiler [2016-07-01 19:38:32] 885*2^1434058-1 is not prime. Res64: B4A37D4B055417CB Time : 0.0 sec. user=mdettweiler [2016-07-01 19:38:32] 887*2^1434058-1 is not prime. Res64: 968639937CEC44A4 Time : 0.0 sec. user=mdettweiler [2016-07-01 19:38:33] 957*2^1434058-1 is not prime. Res64: 25475690AB666238 Time : 0.0 sec. user=mdettweiler [2016-07-01 19:40:00] 995*2^1434058-1 is not prime. Res64: ADE48F738ABDCC29 Time : 0.0 sec. user=mdettweiler [2016-07-01 19:40:01] 663*2^1434059-1 is not prime. Res64: 58DCAE623B22A260 Time : 0.0 sec. user=mdettweiler [2016-07-01 19:40:01] 669*2^1434059-1 is not prime. Res64: 670768790F0CB0DB Time : 0.0 sec. user=mdettweiler [2016-07-01 19:40:02] 801*2^1434059-1 is not prime. Res64: 6EACFE575B7FF8F3 Time : 0.0 sec. user=mdettweiler [2016-07-01 19:40:02] 811*2^1434059-1 is not prime. Res64: 05A2F31AA1C89F7A Time : 0.0 sec. user=mdettweiler [2016-07-01 19:43:54] 969*2^1434059-1 is not prime. Res64: 21C428FF24C92F72 Time : 0.0 sec. user=mdettweiler [2016-07-01 19:43:54] 973*2^1434059-1 is not prime. Res64: B7B92296F6FBF2A5 Time : 0.0 sec. user=mdettweiler [2016-07-01 19:43:55] 991*2^1434059-1 is not prime. Res64: AB10DEC067F85C34 Time : 0.0 sec. user=mdettweiler [2016-07-01 19:43:55] 999*2^1434059-1 is not prime. Res64: DDD966A246DB2AAB Time : 0.0 sec. user=mdettweiler [2016-07-01 19:43:56] 653*2^1434060-1 is not prime. Res64: B17F2191ED1F1582 Time : 0.0 sec. user=mdettweiler [2016-07-01 19:54:21] 887*2^1434060-1 is not prime. Res64: CE2D72FF03678BEB Time : 0.0 sec. user=mdettweiler [2016-07-01 19:54:25] 687*2^1434061-1 is not prime. Res64: 17808BE1CD157509 Time : 0.0 sec. user=mdettweiler [2016-07-01 19:54:29] 777*2^1434061-1 is not prime. Res64: 93DBDA98C0E7691B Time : 0.0 sec. user=mdettweiler [2016-07-01 19:54:33] 799*2^1434061-1 is not prime. Res64: 9C2EE4DF3AFE7EC0 Time : 0.0 sec. user=mdettweiler [2016-07-01 19:54:37] 867*2^1434061-1 is not prime. Res64: 6C25888C26981323 Time : 0.0 sec. user=mdettweiler [2016-07-01 20:23:24] 871*2^1434061-1 is not prime. Res64: 76E8CA20499B78B9 Time : 0.0 sec. user=mdettweiler [2016-07-01 20:23:24] 895*2^1434061-1 is not prime. Res64: 8E9F1394257F4EB0 Time : 0.0 sec. user=mdettweiler [2016-07-01 20:23:30] 939*2^1434061-1 is not prime. Res64: 1B71A2B655DE4F4E Time : 0.0 sec. user=mdettweiler [2016-07-01 20:23:37] 713*2^1434062-1 is not prime. Res64: B0E2F2F7BB2AC6AC Time : 0.0 sec. user=mdettweiler [2016-07-01 20:23:43] 813*2^1434062-1 is not prime. Res64: 72014E5AE69D2B8A Time : 0.0 sec. user=mdettweiler [2016-07-01 20:24:53] 815*2^1434062-1 is not prime. Res64: 0C38BD6985273851 Time : 0.0 sec. user=mdettweiler [2016-07-01 20:25:00] 827*2^1434062-1 is not prime. Res64: 540B38A4402881FB Time : 0.0 sec. user=mdettweiler [2016-07-01 20:25:06] 875*2^1434062-1 is not prime. Res64: 04242A4ADB4CB724 Time : 0.0 sec. user=mdettweiler [2016-07-01 20:25:13] 941*2^1434062-1 is not prime. Res64: 9A1865D5D44B81BD Time : 0.0 sec. user=mdettweiler [2016-07-01 20:25:19] 963*2^1434062-1 is not prime. Res64: F36D52F7B07E36FD Time : 0.0 sec. user=mdettweiler [2016-07-01 20:28:54] 675*2^1434063-1 is not prime. Res64: E32CC9FD794224F4 Time : 0.0 sec. user=mdettweiler [2016-07-01 20:28:58] 705*2^1434063-1 is not prime. Res64: 9AAF5FFA11E2EA7D Time : 0.0 sec. user=mdettweiler [2016-07-01 20:29:02] 895*2^1434063-1 is not prime. Res64: 5CA9BD764856EAB5 Time : 0.0 sec. user=mdettweiler [2016-07-01 20:29:06] 955*2^1434063-1 is not prime. Res64: 7596FA164AD07F55 Time : 0.0 sec. user=mdettweiler [2016-07-01 20:29:10] 677*2^1434064-1 is not prime. Res64: DA3694B681D60333 Time : 0.0 sec. user=mdettweiler [2016-07-01 20:39:32] 693*2^1434064-1 is not prime. Res64: B2D4F79BF9C573E6 Time : 0.0 sec. user=mdettweiler [2016-07-01 20:39:32] 695*2^1434064-1 is not prime. Res64: 12D7EFB6302D13F0 Time : 0.0 sec. user=mdettweiler [2016-07-01 20:39:32] 719*2^1434064-1 is not prime. Res64: B9470DB64E3E4278 Time : 0.0 sec. user=mdettweiler [2016-07-01 20:39:33] 855*2^1434064-1 is not prime. Res64: F1D452B47D7067D2 Time : 0.0 sec. user=mdettweiler [2016-07-01 20:39:33] 697*2^1434065-1 is not prime. Res64: 08076801014D41AA Time : 0.0 sec. user=mdettweiler [2016-07-01 21:08:54] 775*2^1434065-1 is not prime. Res64: 1ECD69B05B4D337A Time : 0.0 sec. user=mdettweiler [2016-07-01 21:09:01] 789*2^1434065-1 is not prime. Res64: 016C85279FF02C14 Time : 0.0 sec. user=mdettweiler [2016-07-01 21:09:08] 925*2^1434065-1 is not prime. Res64: 1886D384A8D93A46 Time : 0.0 sec. user=mdettweiler [2016-07-01 21:09:09] 881*2^1434066-1 is not prime. Res64: B9B4DD2E892262A6 Time : 0.0 sec. user=mdettweiler [2016-07-01 21:09:15] 905*2^1434066-1 is not prime. Res64: DF614F7AE0FE988B Time : 0.0 sec. user=mdettweiler [2016-07-01 21:10:24] 941*2^1434066-1 is not prime. Res64: E7F4921FD8CF8E3E Time : 0.0 sec. user=mdettweiler [2016-07-01 21:10:30] 963*2^1434066-1 is not prime. Res64: D93A7DE9CB8BE0B9 Time : 0.0 sec. user=mdettweiler [2016-07-01 21:10:37] 983*2^1434066-1 is not prime. Res64: B8B9DF66E3D42CBE Time : 0.0 sec. user=mdettweiler [2016-07-01 21:10:37] 993*2^1434066-1 is not prime. Res64: 79A784E64222F1C4 Time : 0.0 sec. user=mdettweiler [2016-07-01 21:10:44] 735*2^1434067-1 is not prime. Res64: 50CE66B32243C82F Time : 0.0 sec. user=mdettweiler [2016-07-01 21:14:09] 805*2^1434067-1 is not prime. Res64: D2EED3AD7C2CE8BE Time : 0.0 sec. user=mdettweiler [2016-07-01 21:14:09] 861*2^1434067-1 is not prime. Res64: E1AE3883DF251D2F Time : 0.0 sec. user=mdettweiler [2016-07-01 21:14:10] 901*2^1434067-1 is not prime. Res64: AECBD9D5974020C2 Time : 0.0 sec. user=mdettweiler [2016-07-01 21:14:10] 913*2^1434067-1 is not prime. Res64: 1D47F3744CF4D703 Time : 0.0 sec. user=mdettweiler [2016-07-01 21:14:11] 973*2^1434067-1 is not prime. Res64: CDD68D457AA42B51 Time : 0.0 sec. user=mdettweiler [2016-07-01 21:24:35] 603*2^1434068-1 is not prime. Res64: 3466EFF76E1FB7EB Time : 0.0 sec. user=mdettweiler [2016-07-01 21:24:35] 819*2^1434068-1 is not prime. Res64: DA0EC2C56FE19F74 Time : 0.0 sec. user=mdettweiler [2016-07-01 21:24:36] 825*2^1434068-1 is not prime. Res64: F834E8DE11FA6F97 Time : 0.0 sec. user=mdettweiler [2016-07-01 21:24:36] 869*2^1434068-1 is not prime. Res64: 565A38F4DDBE5C15 Time : 0.0 sec. user=mdettweiler [2016-07-01 21:24:36] 963*2^1434068-1 is not prime. Res64: 6E1A58A23F724CE9 Time : 0.0 sec. user=mdettweiler [2016-07-01 21:54:19] 657*2^1434069-1 is not prime. Res64: 67D98D2347BF7A16 Time : 0.0 sec. user=mdettweiler [2016-07-01 21:54:19] 745*2^1434069-1 is not prime. Res64: 63FFFDFABE6A3A9F Time : 0.0 sec. user=mdettweiler [2016-07-01 21:54:20] 951*2^1434069-1 is not prime. Res64: BF9AEDB97B9271EA Time : 0.0 sec. user=mdettweiler [2016-07-01 21:54:20] 955*2^1434069-1 is not prime. Res64: FCE7C25D630A18E4 Time : 0.0 sec. user=mdettweiler [2016-07-01 21:54:21] 975*2^1434069-1 is not prime. Res64: D7CF98F98278B506 Time : 0.0 sec. user=mdettweiler [2016-07-01 21:57:02] 663*2^1434070-1 is not prime. Res64: 30F1F437CF13FD4B Time : 0.0 sec. user=mdettweiler [2016-07-01 21:57:03] 695*2^1434070-1 is not prime. Res64: F74E3BB53300FB85 Time : 0.0 sec. user=mdettweiler [2016-07-01 21:57:03] 717*2^1434070-1 is not prime. Res64: 84F7D527D9A66072 Time : 0.0 sec. user=mdettweiler [2016-07-01 21:57:03] 643*2^1434071-1 is not prime. Res64: F13B5AEA35E62AFE Time : 0.0 sec. user=mdettweiler [2016-07-01 21:57:04] 715*2^1434071-1 is not prime. Res64: 7F721EEDF966B872 Time : 0.0 sec. user=mdettweiler [2016-07-01 21:59:17] 647*2^1434070-1 is not prime. Res64: 05BB575E79C6BBA2 Time : 0.0 sec. user=mdettweiler [2016-07-01 21:59:18] 753*2^1434071-1 is not prime. Res64: CB8B7EFD3A7E55B9 Time : 0.0 sec. user=mdettweiler [2016-07-01 21:59:18] 859*2^1434071-1 is not prime. Res64: A7FBBD25FC7A701F Time : 0.0 sec. user=mdettweiler [2016-07-01 21:59:18] 885*2^1434071-1 is not prime. Res64: 4DF6FE55D0229F29 Time : 0.0 sec. user=mdettweiler [2016-07-01 21:59:19] 901*2^1434071-1 is not prime. Res64: B3642E9D8B9A8C27 Time : 0.0 sec. user=mdettweiler [2016-07-01 22:09:33] 943*2^1434071-1 is not prime. Res64: 227CD48EFA3B66CB Time : 0.0 sec. user=mdettweiler [2016-07-01 22:09:37] 949*2^1434071-1 is not prime. Res64: 674251C607B9472B Time : 0.0 sec. user=mdettweiler [2016-07-01 22:09:41] 849*2^1434072-1 is not prime. Res64: ADF575621A2DE23B Time : 0.0 sec. user=mdettweiler [2016-07-01 22:09:45] 863*2^1434072-1 is not prime. Res64: 0C806E36E0B55E73 Time : 0.0 sec. user=mdettweiler [2016-07-01 22:09:50] 947*2^1434072-1 is not prime. Res64: 059942C76B7A8D1E Time : 0.0 sec. user=mdettweiler [2016-07-01 22:39:15] 649*2^1434073-1 is not prime. Res64: 1FBC535C46838613 Time : 0.0 sec. user=mdettweiler [2016-07-01 22:39:15] 681*2^1434073-1 is not prime. Res64: 85E5ADE03A9EBB9D Time : 0.0 sec. user=mdettweiler [2016-07-01 22:39:15] 685*2^1434073-1 is not prime. Res64: 06350C131890A156 Time : 0.0 sec. user=mdettweiler [2016-07-01 22:39:16] 951*2^1434073-1 is not prime. Res64: 17BD4AD96D25F195 Time : 0.0 sec. user=mdettweiler [2016-07-01 22:39:16] 825*2^1434074-1 is not prime. Res64: F6FA9CBF2A093FCC Time : 0.0 sec. user=mdettweiler [2016-07-01 22:42:02] 861*2^1434074-1 is not prime. Res64: 35D1628462C46FFA Time : 0.0 sec. user=mdettweiler [2016-07-01 22:42:09] 915*2^1434074-1 is not prime. Res64: 656D4388E75622A8 Time : 0.0 sec. user=mdettweiler [2016-07-01 22:42:15] 941*2^1434074-1 is not prime. Res64: 0B5D346B4A9F70A8 Time : 0.0 sec. user=mdettweiler [2016-07-01 22:42:22] 861*2^1434075-1 is not prime. Res64: 2FF31A789B6A94A3 Time : 0.0 sec. user=mdettweiler [2016-07-01 22:42:28] 895*2^1434075-1 is not prime. Res64: E7A1A67D81F8920E Time : 0.0 sec. user=mdettweiler [2016-07-01 22:44:09] 903*2^1434075-1 is not prime. Res64: 65C732B4E0F57477 Time : 0.0 sec. user=mdettweiler [2016-07-01 22:44:15] 949*2^1434075-1 is not prime. Res64: 5DCCE2CC045FEA4C Time : 0.0 sec. user=mdettweiler [2016-07-01 22:44:21] 955*2^1434075-1 is not prime. Res64: C27B9CB12B04FB1E Time : 0.0 sec. user=mdettweiler [2016-07-01 22:44:28] 615*2^1434076-1 is not prime. Res64: AB0AFAE04B6734DB Time : 0.0 sec. user=mdettweiler [2016-07-01 22:44:34] 657*2^1434076-1 is not prime. Res64: 509CF5B0D4B257EE Time : 0.0 sec. user=mdettweiler [2016-07-01 22:54:53] 717*2^1434076-1 is not prime. Res64: FC6E18FFABC3AB9F Time : 0.0 sec. user=mdettweiler [2016-07-01 22:54:59] 735*2^1434076-1 is not prime. Res64: 25AF7AA35B91AD4B Time : 0.0 sec. user=mdettweiler [2016-07-01 22:55:05] 743*2^1434076-1 is not prime. Res64: A0FF809A48B35320 Time : 0.0 sec. user=mdettweiler [2016-07-01 22:55:11] 923*2^1434076-1 is not prime. Res64: 881B5D896024D6A6 Time : 0.0 sec. user=mdettweiler [2016-07-01 22:55:17] 621*2^1434077-1 is not prime. Res64: 5EB038AF92239048 Time : 0.0 sec. user=mdettweiler [2016-07-01 23:27:05] 715*2^1434077-1 is not prime. Res64: 89901F12253EC0D4 Time : 0.0 sec. user=mdettweiler [2016-07-01 23:27:11] 871*2^1434077-1 is not prime. Res64: EF653EBBC38DF616 Time : 0.0 sec. user=mdettweiler [2016-07-01 23:27:12] 889*2^1434077-1 is not prime. Res64: 6DB2AEFEF6958334 Time : 0.0 sec. user=mdettweiler [2016-07-01 23:27:18] 901*2^1434077-1 is not prime. Res64: BAE28C94DEEF50A1 Time : 0.0 sec. user=mdettweiler [2016-07-01 23:27:18] 967*2^1434077-1 is not prime. Res64: 653105E5AA219347 Time : 0.0 sec. user=mdettweiler [2016-07-01 23:29:35] 635*2^1434078-1 is not prime. Res64: FBA9F96AEA83E84B Time : 0.0 sec. user=mdettweiler [2016-07-01 23:29:42] 705*2^1434078-1 is not prime. Res64: 145F00F1D4786B13 Time : 0.0 sec. user=mdettweiler [2016-07-01 23:29:49] 725*2^1434078-1 is not prime. Res64: 3E8978D6977413A4 Time : 0.0 sec. user=mdettweiler [2016-07-01 23:29:55] 797*2^1434078-1 is not prime. Res64: 9C94B0BE20E7E768 Time : 0.0 sec. user=mdettweiler [2016-07-01 23:30:02] 821*2^1434078-1 is not prime. Res64: 9E906CDB02113683 Time : 0.0 sec. user=mdettweiler [2016-07-01 23:32:33] 615*2^1434079-1 is not prime. Res64: 53509D3C9E002C5B Time : 0.0 sec. user=mdettweiler [2016-07-01 23:32:37] 645*2^1434079-1 is not prime. Res64: 698EEB7109ED9D14 Time : 0.0 sec. user=mdettweiler [2016-07-01 23:32:41] 663*2^1434079-1 is not prime. Res64: 937EDAB92BC41785 Time : 0.0 sec. user=mdettweiler [2016-07-01 23:32:45] 735*2^1434079-1 is not prime. Res64: 85D7339ABAF21A9A Time : 0.0 sec. user=mdettweiler [2016-07-01 23:32:49] 775*2^1434079-1 is not prime. Res64: 4B839639D7C492CB Time : 0.0 sec. user=mdettweiler [2016-07-01 23:43:11] 931*2^1434079-1 is not prime. Res64: BAEEBB5A5594B82F Time : 0.0 sec. user=mdettweiler [2016-07-01 23:43:11] 951*2^1434079-1 is not prime. Res64: 4C3787C573C2B9F4 Time : 0.0 sec. user=mdettweiler [2016-07-01 23:43:12] 615*2^1434080-1 is not prime. Res64: 18C7B3B46F1B7301 Time : 0.0 sec. user=mdettweiler [2016-07-01 23:43:12] 825*2^1434080-1 is not prime. Res64: EBF2B3CA880F492C Time : 0.0 sec. user=mdettweiler [2016-07-01 23:43:12] 839*2^1434080-1 is not prime. Res64: 0625CBAB46B7CE4D Time : 0.0 sec.