user=mdettweiler [2016-08-05 00:18:27] 979*2^1436699-1 is not prime. Res64: 1A65750D65673D04 Time : 0.0 sec. user=mdettweiler [2016-08-05 00:18:27] 635*2^1436700-1 is not prime. Res64: 7915FA466F824EA6 Time : 0.0 sec. user=mdettweiler [2016-08-05 00:18:27] 717*2^1436700-1 is not prime. Res64: 4DF4A641F2E0BAFD Time : 0.0 sec. user=mdettweiler [2016-08-05 00:18:28] 719*2^1436700-1 is not prime. Res64: 7A1F9476B2E58F4C Time : 0.0 sec. user=mdettweiler [2016-08-05 00:18:28] 779*2^1436700-1 is not prime. Res64: B2CA230872CDDB25 Time : 0.0 sec. user=mdettweiler [2016-08-05 00:27:45] 803*2^1436700-1 is not prime. Res64: B79EBBC4109743FF Time : 0.0 sec. user=mdettweiler [2016-08-05 00:27:45] 845*2^1436700-1 is not prime. Res64: 64F8FA0AA8745836 Time : 0.0 sec. user=mdettweiler [2016-08-05 00:27:45] 717*2^1436701-1 is not prime. Res64: 018662B93C0173F6 Time : 0.0 sec. user=mdettweiler [2016-08-05 00:27:45] 747*2^1436701-1 is not prime. Res64: 33D9B6BD19E610AB Time : 0.0 sec. user=mdettweiler [2016-08-05 00:27:45] 789*2^1436701-1 is not prime. Res64: 74BEE6EDCDE695C1 Time : 0.0 sec. user=mdettweiler [2016-08-05 00:32:39] 855*2^1436701-1 is not prime. Res64: 46D213C507B0BD16 Time : 0.0 sec. user=mdettweiler [2016-08-05 00:32:39] 877*2^1436701-1 is not prime. Res64: 3475A1EFC9F78DA7 Time : 0.0 sec. user=mdettweiler [2016-08-05 00:32:39] 951*2^1436701-1 is not prime. Res64: 42B3E86CDE129461 Time : 0.0 sec. user=mdettweiler [2016-08-05 00:32:40] 665*2^1436702-1 is not prime. Res64: 28AC93F4AD409398 Time : 0.0 sec. user=mdettweiler [2016-08-05 00:32:40] 683*2^1436702-1 is not prime. Res64: 6C1C69040E63FEEF Time : 0.0 sec. user=mdettweiler [2016-08-05 01:02:38] 815*2^1436702-1 is not prime. Res64: 81CECCF17F6465B0 Time : 0.0 sec. user=mdettweiler [2016-08-05 01:02:39] 643*2^1436703-1 is not prime. Res64: BD66C850EA6A7F8F Time : 0.0 sec. user=mdettweiler [2016-08-05 01:02:40] 693*2^1436703-1 is not prime. Res64: 5962BF20EF6F311B Time : 0.0 sec. user=mdettweiler [2016-08-05 01:02:41] 871*2^1436703-1 is not prime. Res64: AF7EE3F781F63337 Time : 0.0 sec. user=mdettweiler [2016-08-05 01:02:42] 623*2^1436704-1 is not prime. Res64: 59FF2BA60E8D31DE Time : 0.0 sec. user=mdettweiler [2016-08-05 01:11:56] 635*2^1436704-1 is not prime. Res64: 133AF18B25C42C11 Time : 0.0 sec. user=mdettweiler [2016-08-05 01:11:56] 755*2^1436704-1 is not prime. Res64: 7E059D98BADCAF62 Time : 0.0 sec. user=mdettweiler [2016-08-05 01:11:57] 785*2^1436704-1 is not prime. Res64: 2AF2AA16B96EAA0B Time : 0.0 sec. user=mdettweiler [2016-08-05 01:11:57] 825*2^1436704-1 is not prime. Res64: 40FC5C4C584DDCC6 Time : 0.0 sec. user=mdettweiler [2016-08-05 01:11:57] 899*2^1436704-1 is not prime. Res64: 7C9645823F2520FA Time : 0.0 sec. user=mdettweiler [2016-08-05 01:16:49] 993*2^1436704-1 is not prime. Res64: 8A5DF67125183AC2 Time : 0.0 sec. user=mdettweiler [2016-08-05 01:16:49] 619*2^1436705-1 is not prime. Res64: 1BB9C87C420AB43A Time : 0.0 sec. user=mdettweiler [2016-08-05 01:16:49] 645*2^1436705-1 is not prime. Res64: AB68B6AA22ADFEA3 Time : 0.0 sec. user=mdettweiler [2016-08-05 01:16:50] 657*2^1436705-1 is not prime. Res64: DE598E75FD4F0A0F Time : 0.0 sec. user=mdettweiler [2016-08-05 01:16:50] 735*2^1436705-1 is not prime. Res64: 5B6E2DB6E3154C23 Time : 0.0 sec. user=mdettweiler [2016-08-05 01:46:52] 847*2^1436705-1 is not prime. Res64: 6BEE38A5C48C8C80 Time : 0.0 sec. user=mdettweiler [2016-08-05 01:46:52] 871*2^1436705-1 is not prime. Res64: C4615E4D11020AAC Time : 0.0 sec. user=mdettweiler [2016-08-05 01:46:52] 633*2^1436706-1 is not prime. Res64: 70EB26227D157740 Time : 0.0 sec. user=mdettweiler [2016-08-05 01:46:52] 657*2^1436706-1 is not prime. Res64: 0BC3C990B4D124C9 Time : 0.0 sec. user=mdettweiler [2016-08-05 01:46:53] 681*2^1436707-1 is not prime. Res64: B9046C3AD89034A5 Time : 0.0 sec. user=mdettweiler [2016-08-05 01:56:11] 703*2^1436707-1 is not prime. Res64: CE7BEDE1B5270B1B Time : 0.0 sec. user=mdettweiler [2016-08-05 01:56:11] 715*2^1436707-1 is not prime. Res64: A443406A94BF895E Time : 0.0 sec. user=mdettweiler [2016-08-05 01:56:11] 741*2^1436707-1 is not prime. Res64: 3C5EA679ED0A4B6E Time : 0.0 sec. user=mdettweiler [2016-08-05 01:56:11] 769*2^1436707-1 is not prime. Res64: D76ED218D5047668 Time : 0.0 sec. user=mdettweiler [2016-08-05 01:56:11] 829*2^1436707-1 is not prime. Res64: 2F1C273AE8DBF732 Time : 0.0 sec. user=mdettweiler [2016-08-05 02:01:11] 617*2^1436708-1 is not prime. Res64: 8C43669C01FEFDC2 Time : 0.0 sec. user=mdettweiler [2016-08-05 02:01:12] 677*2^1436708-1 is not prime. Res64: ED202E484CCB2513 Time : 0.0 sec. user=mdettweiler [2016-08-05 02:01:12] 683*2^1436708-1 is not prime. Res64: 7CCCEC4FBA98FDBA Time : 0.0 sec. user=mdettweiler [2016-08-05 02:01:13] 699*2^1436708-1 is not prime. Res64: DD1437CE10A3AFE9 Time : 0.0 sec. user=mdettweiler [2016-08-05 02:01:13] 797*2^1436708-1 is not prime. Res64: F22A74C599F72337 Time : 0.0 sec. user=mdettweiler [2016-08-05 02:31:31] 839*2^1436708-1 is not prime. Res64: F36021BF234EE815 Time : 0.0 sec. user=mdettweiler [2016-08-05 02:31:32] 969*2^1436708-1 is not prime. Res64: DB90BA7A364AA747 Time : 0.0 sec. user=mdettweiler [2016-08-05 02:31:33] 765*2^1436709-1 is not prime. Res64: A676D9CAC1B1D580 Time : 0.0 sec. user=mdettweiler [2016-08-05 02:31:34] 789*2^1436709-1 is not prime. Res64: 744D63A2107656B9 Time : 0.0 sec. user=mdettweiler [2016-08-05 02:31:35] 907*2^1436709-1 is not prime. Res64: 185E435CFC1CDC32 Time : 0.0 sec. user=mdettweiler [2016-08-05 02:40:40] 921*2^1436709-1 is not prime. Res64: 64DFC976478AF4DD Time : 0.0 sec. user=mdettweiler [2016-08-05 02:40:41] 949*2^1436709-1 is not prime. Res64: DC5DC0B0B655B226 Time : 0.0 sec. user=mdettweiler [2016-08-05 02:40:41] 951*2^1436709-1 is not prime. Res64: 00FDF91AAD916EE5 Time : 0.0 sec. user=mdettweiler [2016-08-05 02:40:41] 605*2^1436710-1 is not prime. Res64: E6A03FB4005B67D4 Time : 0.0 sec. user=mdettweiler [2016-08-05 02:40:45] 657*2^1436710-1 is not prime. Res64: 3AB046B006A0AF2E Time : 0.0 sec. user=mdettweiler [2016-08-05 02:45:38] 707*2^1436710-1 is not prime. Res64: 7B906CE6D2B56D20 Time : 0.0 sec. user=mdettweiler [2016-08-05 02:45:38] 1001*2^1436710-1 is not prime. Res64: 48C2593868B14C4D Time : 0.0 sec. user=mdettweiler [2016-08-05 02:45:39] 661*2^1436711-1 is not prime. Res64: 12946CC78C558321 Time : 0.0 sec. user=mdettweiler [2016-08-05 02:45:39] 693*2^1436711-1 is not prime. Res64: 6E36DFDBD2FB40C0 Time : 0.0 sec. user=mdettweiler [2016-08-05 02:45:39] 745*2^1436711-1 is not prime. Res64: 9FFAB25D937CA851 Time : 0.0 sec. user=mdettweiler [2016-08-05 03:16:04] 789*2^1436711-1 is not prime. Res64: 5AF24A2B392C691A Time : 0.0 sec. user=mdettweiler [2016-08-05 03:16:05] 813*2^1436711-1 is not prime. Res64: CDCB5FFD5ECA738B Time : 0.0 sec. user=mdettweiler [2016-08-05 03:16:05] 825*2^1436711-1 is not prime. Res64: 5521C1B22FE9534B Time : 0.0 sec. user=mdettweiler [2016-08-05 03:16:06] 879*2^1436711-1 is not prime. Res64: B60E113E859C3ED8 Time : 0.0 sec. user=mdettweiler [2016-08-05 03:16:07] 949*2^1436711-1 is not prime. Res64: B7CE9C79402BAD28 Time : 0.0 sec. user=mdettweiler [2016-08-05 03:24:51] 623*2^1436712-1 is not prime. Res64: 7117E5BC6DDDC620 Time : 0.0 sec. user=mdettweiler [2016-08-05 03:24:51] 669*2^1436712-1 is not prime. Res64: 91AC2918A4DACBE2 Time : 0.0 sec. user=mdettweiler [2016-08-05 03:24:52] 747*2^1436712-1 is not prime. Res64: D13F1861823DEE2F Time : 0.0 sec. user=mdettweiler [2016-08-05 03:24:52] 837*2^1436712-1 is not prime. Res64: 227EB84C67C554C0 Time : 0.0 sec. user=mdettweiler [2016-08-05 03:24:52] 873*2^1436712-1 is not prime. Res64: C338D7DC3779DC83 Time : 0.0 sec. user=mdettweiler [2016-08-05 03:29:49] 909*2^1436712-1 is not prime. Res64: 5CB30BE21BD188AF Time : 0.0 sec. user=mdettweiler [2016-08-05 03:29:51] 607*2^1436713-1 is not prime. Res64: EADAA2164FE87008 Time : 0.0 sec. user=mdettweiler [2016-08-05 03:29:52] 705*2^1436713-1 is not prime. Res64: 48C49C43E2103634 Time : 0.0 sec. user=mdettweiler [2016-08-05 03:29:53] 855*2^1436713-1 is not prime. Res64: F9749A5F882EC5AB Time : 0.0 sec. user=mdettweiler [2016-08-05 03:29:56] 895*2^1436713-1 is not prime. Res64: 300CBC194EB91C27 Time : 0.0 sec. user=juhehe [2016-08-05 03:30:33] 915*2^1436713-1 is not prime. Res64: 6B8D266E2574EA31 Time : 0.0 sec. user=mdettweiler [2016-08-05 04:00:29] 833*2^1436714-1 is not prime. Res64: E0F574F470719FBA Time : 0.0 sec. user=mdettweiler [2016-08-05 04:00:34] 941*2^1436714-1 is not prime. Res64: 58E289B35182C3B6 Time : 0.0 sec. user=mdettweiler [2016-08-05 04:00:39] 945*2^1436714-1 is not prime. Res64: 1CE5095201EB67CF Time : 0.0 sec. user=mdettweiler [2016-08-05 04:00:44] 953*2^1436714-1 is not prime. Res64: 18B3958AA942AD35 Time : 0.0 sec. user=mdettweiler [2016-08-05 04:00:47] 1001*2^1436714-1 is not prime. Res64: 95886C87B563457F Time : 0.0 sec. user=mdettweiler [2016-08-05 04:09:10] 633*2^1436715-1 is not prime. Res64: AD9ADCAC29C00357 Time : 0.0 sec. user=mdettweiler [2016-08-05 04:09:11] 913*2^1436715-1 is not prime. Res64: 9EB3B9B07F1D66F1 Time : 0.0 sec. user=mdettweiler [2016-08-05 04:09:12] 969*2^1436715-1 is not prime. Res64: 00167CA6A3267FE8 Time : 0.0 sec. user=mdettweiler [2016-08-05 04:09:15] 755*2^1436716-1 is not prime. Res64: 879B168146345618 Time : 0.0 sec. user=mdettweiler [2016-08-05 04:09:16] 969*2^1436716-1 is not prime. Res64: AED7418D2C97290B Time : 0.0 sec. user=mdettweiler [2016-08-05 04:14:14] 999*2^1436716-1 is not prime. Res64: ED30A29FB10990BD Time : 0.0 sec. user=mdettweiler [2016-08-05 04:14:15] 621*2^1436717-1 is not prime. Res64: 67D9149040F40238 Time : 0.0 sec. user=mdettweiler [2016-08-05 04:14:15] 699*2^1436717-1 is not prime. Res64: 3D1C4F36F0CC44E7 Time : 0.0 sec. user=mdettweiler [2016-08-05 04:14:15] 879*2^1436717-1 is not prime. Res64: C2A1A8C8BFCABF2B Time : 0.0 sec. user=mdettweiler [2016-08-05 04:14:16] 901*2^1436717-1 is not prime. Res64: C6E696018040F5D6 Time : 0.0 sec. user=mdettweiler [2016-08-05 04:45:35] 915*2^1436717-1 is not prime. Res64: 071C4BF2CA483034 Time : 0.0 sec. user=mdettweiler [2016-08-05 04:45:36] 949*2^1436717-1 is not prime. Res64: AE9B47ECFE2779A8 Time : 0.0 sec. user=mdettweiler [2016-08-05 04:45:36] 981*2^1436717-1 is not prime. Res64: 5FD819F874E047DB Time : 0.0 sec. user=mdettweiler [2016-08-05 04:45:37] 627*2^1436718-1 is not prime. Res64: 44597F838C4C2B7B Time : 0.0 sec. user=mdettweiler [2016-08-05 04:45:38] 681*2^1436718-1 is not prime. Res64: 8CA6D3096E8DB6CA Time : 0.0 sec. user=mdettweiler [2016-08-05 04:53:35] 711*2^1436718-1 is not prime. Res64: 178CE97BEDA14D26 Time : 0.0 sec. user=mdettweiler [2016-08-05 04:53:35] 773*2^1436718-1 is not prime. Res64: 8911CD2DB9810903 Time : 0.0 sec. user=mdettweiler [2016-08-05 04:53:38] 619*2^1436719-1 is not prime. Res64: 2E2AA96A080F999F Time : 0.0 sec. user=mdettweiler [2016-08-05 04:53:38] 703*2^1436719-1 is not prime. Res64: D70F9F5EB1FF3CD7 Time : 0.0 sec. user=mdettweiler [2016-08-05 04:53:38] 723*2^1436719-1 is not prime. Res64: D6C60FAEF8DE0052 Time : 0.0 sec. user=mdettweiler [2016-08-05 04:58:23] 769*2^1436719-1 is not prime. Res64: ECEE04E47A711841 Time : 0.0 sec. user=mdettweiler [2016-08-05 04:58:23] 909*2^1436719-1 is not prime. Res64: F19B912A6427D8AC Time : 0.0 sec. user=mdettweiler [2016-08-05 04:58:24] 675*2^1436720-1 is not prime. Res64: 671592CFF1CE7226 Time : 0.0 sec. user=mdettweiler [2016-08-05 04:58:24] 687*2^1436720-1 is not prime. Res64: E3A7C94353B14546 Time : 0.0 sec. user=mdettweiler [2016-08-05 04:58:24] 689*2^1436720-1 is not prime. Res64: A240DFD64A56E4DE Time : 0.0 sec. user=mdettweiler [2016-08-05 05:29:52] 725*2^1436720-1 is not prime. Res64: 92CD286353E3481D Time : 0.0 sec. user=mdettweiler [2016-08-05 05:29:53] 743*2^1436720-1 is not prime. Res64: 87357C7AA7023D32 Time : 0.0 sec. user=mdettweiler [2016-08-05 05:29:53] 827*2^1436720-1 is not prime. Res64: 0AB987002CA45176 Time : 0.0 sec. user=mdettweiler [2016-08-05 05:29:54] 875*2^1436720-1 is not prime. Res64: FB02A6FA1AA9DE63 Time : 0.0 sec. user=mdettweiler [2016-08-05 05:29:55] 609*2^1436721-1 is not prime. Res64: 3C28E66B1762236F Time : 0.0 sec. user=mdettweiler [2016-08-05 05:37:47] 675*2^1436721-1 is not prime. Res64: 5E81B4BEBF1EC875 Time : 0.0 sec. user=mdettweiler [2016-08-05 05:37:47] 709*2^1436721-1 is not prime. Res64: 2CBD40845B9A7934 Time : 0.0 sec. user=mdettweiler [2016-08-05 05:37:47] 747*2^1436721-1 is not prime. Res64: D98A257BA5A31D54 Time : 0.0 sec. user=mdettweiler [2016-08-05 05:37:47] 777*2^1436721-1 is not prime. Res64: B52C077A67DF18D7 Time : 0.0 sec. user=mdettweiler [2016-08-05 05:37:48] 795*2^1436721-1 is not prime. Res64: 815D7287BEA741C5 Time : 0.0 sec. user=mdettweiler [2016-08-05 05:42:33] 817*2^1436721-1 is not prime. Res64: 59FCDA63DD4C5ADB Time : 0.0 sec. user=mdettweiler [2016-08-05 05:42:34] 835*2^1436721-1 is not prime. Res64: 9F20ADEC716143B3 Time : 0.0 sec. user=mdettweiler [2016-08-05 05:42:36] 847*2^1436721-1 is not prime. Res64: 3975B5C06C01F0CD Time : 0.0 sec. user=mdettweiler [2016-08-05 05:42:36] 865*2^1436721-1 is not prime. Res64: EB3CCD01D66128A2 Time : 0.0 sec. user=mdettweiler [2016-08-05 05:42:36] 645*2^1436722-1 is not prime. Res64: 4DCA8FAB2889BEA7 Time : 0.0 sec. user=mdettweiler [2016-08-05 06:14:07] 647*2^1436722-1 is not prime. Res64: C39CD6A8281597F5 Time : 0.0 sec. user=mdettweiler [2016-08-05 06:14:08] 653*2^1436722-1 is not prime. Res64: ECF2B25952266157 Time : 0.0 sec. user=mdettweiler [2016-08-05 06:14:08] 723*2^1436722-1 is not prime. Res64: 46426D4813BF2543 Time : 0.0 sec. user=mdettweiler [2016-08-05 06:14:08] 747*2^1436722-1 is not prime. Res64: A7202F045B7433BA Time : 0.0 sec. user=mdettweiler [2016-08-05 06:14:09] 881*2^1436722-1 is not prime. Res64: A68652A6648973F3 Time : 0.0 sec. user=mdettweiler [2016-08-05 06:21:55] 887*2^1436722-1 is not prime. Res64: 3A6124FA3AE11A39 Time : 0.0 sec. user=mdettweiler [2016-08-05 06:21:55] 917*2^1436722-1 is not prime. Res64: 1087AD7E15C1F615 Time : 0.0 sec. user=mdettweiler [2016-08-05 06:21:55] 633*2^1436723-1 is not prime. Res64: BF3C7487EF0599DA Time : 0.0 sec. user=mdettweiler [2016-08-05 06:21:55] 735*2^1436723-1 is not prime. Res64: 2B1DA9DB21EA5D83 Time : 0.0 sec. user=mdettweiler [2016-08-05 06:21:56] 829*2^1436723-1 is not prime. Res64: 769E80661E37053A Time : 0.0 sec. user=mdettweiler [2016-08-05 06:26:46] 843*2^1436724-1 is not prime. Res64: A493645323E33F7F Time : 0.0 sec. user=mdettweiler [2016-08-05 06:26:46] 915*2^1436724-1 is not prime. Res64: EFF91DEF7CFB5B9D Time : 0.0 sec. user=mdettweiler [2016-08-05 06:26:47] 625*2^1436725-1 is not prime. Res64: 24E320CFE76AD4C1 Time : 0.0 sec. user=mdettweiler [2016-08-05 06:26:47] 679*2^1436725-1 is not prime. Res64: 9090B714F69880F0 Time : 0.0 sec. user=mdettweiler [2016-08-05 06:26:47] 691*2^1436725-1 is not prime. Res64: 8DC33A6199BC6910 Time : 0.0 sec. user=mdettweiler [2016-08-05 06:58:15] 721*2^1436725-1 is not prime. Res64: 29CCDB22377EABD4 Time : 0.0 sec. user=mdettweiler [2016-08-05 06:58:16] 729*2^1436725-1 is not prime. Res64: A575D501FCB4E2EB Time : 0.0 sec. user=mdettweiler [2016-08-05 06:58:16] 861*2^1436725-1 is not prime. Res64: 79171C7DECB0359B Time : 0.0 sec. user=mdettweiler [2016-08-05 06:58:16] 955*2^1436725-1 is not prime. Res64: AA0C5B48630130CB Time : 0.0 sec. user=mdettweiler [2016-08-05 06:58:16] 997*2^1436725-1 is not prime. Res64: 556570B48D1B95F1 Time : 0.0 sec. user=mdettweiler [2016-08-05 07:06:02] 623*2^1436726-1 is not prime. Res64: 7D877606F386D61F Time : 0.0 sec. user=mdettweiler [2016-08-05 07:06:03] 635*2^1436726-1 is not prime. Res64: 5A3B2C5DD903B209 Time : 0.0 sec. user=mdettweiler [2016-08-05 07:06:06] 641*2^1436726-1 is not prime. Res64: 4E9F1796DD4330A0 Time : 0.0 sec. user=mdettweiler [2016-08-05 07:06:07] 677*2^1436726-1 is not prime. Res64: 4C4FC7A18A184729 Time : 0.0 sec. user=mdettweiler [2016-08-05 07:06:07] 755*2^1436726-1 is not prime. Res64: 727954DA857741F1 Time : 0.0 sec. user=mdettweiler [2016-08-05 07:10:53] 795*2^1436726-1 is not prime. Res64: D6726D4D38BEB701 Time : 0.0 sec. user=mdettweiler [2016-08-05 07:10:53] 825*2^1436726-1 is not prime. Res64: E53ED716753E41BC Time : 0.0 sec. user=mdettweiler [2016-08-05 07:10:54] 867*2^1436726-1 is not prime. Res64: 172611EC5085BE15 Time : 0.0 sec. user=mdettweiler [2016-08-05 07:10:54] 875*2^1436726-1 is not prime. Res64: F6ADC5E15D9CB8D3 Time : 0.0 sec. user=mdettweiler [2016-08-05 07:10:54] 921*2^1436726-1 is not prime. Res64: 4A9B86D0E1A6F43E Time : 0.0 sec. user=mdettweiler [2016-08-05 07:42:32] 1001*2^1436726-1 is not prime. Res64: C264DF56572751C2 Time : 0.0 sec. user=mdettweiler [2016-08-05 07:42:32] 819*2^1436727-1 is not prime. Res64: D9FBCEDF86B6B7D1 Time : 0.0 sec. user=mdettweiler [2016-08-05 07:42:33] 931*2^1436727-1 is not prime. Res64: FFACF332EB1E762E Time : 0.0 sec. user=mdettweiler [2016-08-05 07:42:34] 713*2^1436728-1 is not prime. Res64: 20825F704374F52A Time : 0.0 sec. user=mdettweiler [2016-08-05 07:42:37] 645*2^1436729-1 is not prime. Res64: 6A4217FD3471A242 Time : 0.0 sec. user=mdettweiler [2016-08-05 07:50:22] 811*2^1436729-1 is not prime. Res64: 00B814F181A52A22 Time : 0.0 sec. user=mdettweiler [2016-08-05 07:50:22] 841*2^1436729-1 is not prime. Res64: D12C533849F00B74 Time : 0.0 sec. user=mdettweiler [2016-08-05 07:50:22] 847*2^1436729-1 is not prime. Res64: 41D05FFFC58E64BD Time : 0.0 sec. user=mdettweiler [2016-08-05 07:50:22] 867*2^1436729-1 is not prime. Res64: 02689AA2722DC3D7 Time : 0.0 sec. user=mdettweiler [2016-08-05 07:50:23] 925*2^1436729-1 is not prime. Res64: 8FDDC6A0A25FE266 Time : 0.0 sec. user=mdettweiler [2016-08-05 07:55:00] 641*2^1436730-1 is not prime. Res64: 297250710EDAD00D Time : 0.0 sec. user=mdettweiler [2016-08-05 07:55:00] 711*2^1436730-1 is not prime. Res64: AF6D19A6A4496739 Time : 0.0 sec. user=mdettweiler [2016-08-05 07:55:01] 765*2^1436730-1 is not prime. Res64: 969546FDACE8E22C Time : 0.0 sec. user=mdettweiler [2016-08-05 07:55:01] 767*2^1436730-1 is not prime. Res64: 4248F15546E7B0BA Time : 0.0 sec. user=mdettweiler [2016-08-05 07:55:01] 833*2^1436730-1 is not prime. Res64: 5DA17A6A0644D36B Time : 0.0 sec. user=mdettweiler [2016-08-05 08:26:45] 619*2^1436731-1 is not prime. Res64: 428DDC3BE61BA626 Time : 0.0 sec. user=mdettweiler [2016-08-05 08:26:46] 645*2^1436731-1 is not prime. Res64: BADB4FCF07D78F86 Time : 0.0 sec. user=mdettweiler [2016-08-05 08:26:46] 649*2^1436731-1 is not prime. Res64: D2DA5CD5FD778CDD Time : 0.0 sec. user=mdettweiler [2016-08-05 08:26:46] 769*2^1436731-1 is not prime. Res64: 9216EBE1262E5492 Time : 0.0 sec. user=mdettweiler [2016-08-05 08:26:46] 835*2^1436731-1 is not prime. Res64: 2B711111396605E8 Time : 0.0 sec. user=mdettweiler [2016-08-05 08:34:35] 913*2^1436731-1 is not prime. Res64: 1E15C6BFE165AB09 Time : 0.0 sec. user=mdettweiler [2016-08-05 08:34:35] 973*2^1436731-1 is not prime. Res64: 3DEDF3E62EEC523E Time : 0.0 sec. user=mdettweiler [2016-08-05 08:34:36] 719*2^1436732-1 is not prime. Res64: EB35384CBBAA1FCA Time : 0.0 sec. user=mdettweiler [2016-08-05 08:34:36] 755*2^1436732-1 is not prime. Res64: 63E420702D3B73A4 Time : 0.0 sec. user=mdettweiler [2016-08-05 08:34:36] 873*2^1436732-1 is not prime. Res64: 8712CBA74943B5EE Time : 0.0 sec. user=mdettweiler [2016-08-05 08:39:13] 903*2^1436732-1 is not prime. Res64: 25AF94F465B65E9F Time : 0.0 sec. user=mdettweiler [2016-08-05 08:39:13] 977*2^1436732-1 is not prime. Res64: DF83EC7C9438E472 Time : 0.0 sec. user=mdettweiler [2016-08-05 08:39:13] 657*2^1436733-1 is not prime. Res64: 0228C7602584A554 Time : 0.0 sec. user=mdettweiler [2016-08-05 08:39:13] 669*2^1436733-1 is not prime. Res64: DC7EA0B2B6AD1FA4 Time : 0.0 sec. user=mdettweiler [2016-08-05 08:39:14] 847*2^1436733-1 is not prime. Res64: 83E80B0DA432D9C0 Time : 0.0 sec. user=mdettweiler [2016-08-05 09:10:56] 885*2^1436733-1 is not prime. Res64: 2B4F7D62B1031512 Time : 0.0 sec. user=mdettweiler [2016-08-05 09:10:56] 889*2^1436733-1 is not prime. Res64: 144982E832C805B8 Time : 0.0 sec. user=mdettweiler [2016-08-05 09:10:56] 937*2^1436733-1 is not prime. Res64: 631DC814C36CE58B Time : 0.0 sec. user=mdettweiler [2016-08-05 09:10:56] 985*2^1436733-1 is not prime. Res64: F3129936F4A1E831 Time : 0.0 sec. user=mdettweiler [2016-08-05 09:10:57] 605*2^1436734-1 is not prime. Res64: EDD136D088DE6704 Time : 0.0 sec. user=mdettweiler [2016-08-05 09:18:52] 687*2^1436734-1 is not prime. Res64: 04A44908617A7A49 Time : 0.0 sec. user=mdettweiler [2016-08-05 09:18:53] 705*2^1436734-1 is not prime. Res64: 0C100AC9F49A8630 Time : 0.0 sec. user=mdettweiler [2016-08-05 09:18:53] 737*2^1436734-1 is not prime. Res64: CF8BAA4E00810955 Time : 0.0 sec. user=mdettweiler [2016-08-05 09:18:53] 755*2^1436734-1 is not prime. Res64: 107999D10ADA7817 Time : 0.0 sec. user=mdettweiler [2016-08-05 09:18:53] 825*2^1436734-1 is not prime. Res64: 057E5436354C7783 Time : 0.0 sec. user=mdettweiler [2016-08-05 09:23:37] 831*2^1436734-1 is not prime. Res64: C12BEF8831B76A5C Time : 0.0 sec. user=mdettweiler [2016-08-05 09:23:37] 861*2^1436734-1 is not prime. Res64: 14E73032AA4198F7 Time : 0.0 sec. user=mdettweiler [2016-08-05 09:23:37] 915*2^1436734-1 is not prime. Res64: 905DD5C5F4ED9555 Time : 0.0 sec. user=mdettweiler [2016-08-05 09:23:38] 947*2^1436734-1 is not prime. Res64: 378012795C392518 Time : 0.0 sec. user=mdettweiler [2016-08-05 09:23:38] 975*2^1436734-1 is not prime. Res64: 874A8CF8665A1FC3 Time : 0.0 sec. user=mdettweiler [2016-08-05 09:57:07] 987*2^1436734-1 is not prime. Res64: 9DB48407495FE007 Time : 0.0 sec. user=mdettweiler [2016-08-05 09:57:07] 1001*2^1436734-1 is not prime. Res64: 42B806128CCCD4F4 Time : 0.0 sec. user=mdettweiler [2016-08-05 09:57:08] 661*2^1436735-1 is not prime. Res64: 95C79869A92A3A53 Time : 0.0 sec. user=mdettweiler [2016-08-05 09:57:08] 735*2^1436735-1 is not prime. Res64: 2B4C498E811A3621 Time : 0.0 sec. user=mdettweiler [2016-08-05 09:57:08] 741*2^1436735-1 is not prime. Res64: EDC2BE4F2D7BD89B Time : 0.0 sec. user=mdettweiler [2016-08-05 10:05:07] 909*2^1436735-1 is not prime. Res64: A1225C744C3F6D7C Time : 0.0 sec. user=mdettweiler [2016-08-05 10:05:08] 609*2^1436736-1 is not prime. Res64: 9BBFD499E0EA29D1 Time : 0.0 sec. user=mdettweiler [2016-08-05 10:05:09] 747*2^1436736-1 is not prime. Res64: 81927ACC59CC2D0D Time : 0.0 sec. user=mdettweiler [2016-08-05 10:05:10] 789*2^1436736-1 is not prime. Res64: F66D0468D28FC320 Time : 0.0 sec. user=mdettweiler [2016-08-05 10:05:11] 857*2^1436736-1 is not prime. Res64: 79B6AE216BA8C7D9 Time : 0.0 sec. user=mdettweiler [2016-08-05 10:09:39] 895*2^1436737-1 is not prime. Res64: 5215752BA7726317 Time : 0.0 sec. user=mdettweiler [2016-08-05 10:09:40] 931*2^1436737-1 is not prime. Res64: FC644DE32BB1EFBD Time : 0.0 sec. user=mdettweiler [2016-08-05 10:09:40] 937*2^1436737-1 is not prime. Res64: 257F636407C0866C Time : 0.0 sec. user=mdettweiler [2016-08-05 10:09:41] 945*2^1436737-1 is not prime. Res64: FEC0AA6C69CE74B3 Time : 0.0 sec. user=mdettweiler [2016-08-05 10:09:42] 955*2^1436737-1 is not prime. Res64: DE07DB6C71E856B0 Time : 0.0 sec. user=mdettweiler [2016-08-05 10:41:15] 753*2^1436738-1 is not prime. Res64: C2643890E12A5FF3 Time : 0.0 sec. user=mdettweiler [2016-08-05 10:41:15] 797*2^1436738-1 is not prime. Res64: 900E1DC7360A1AA2 Time : 0.0 sec. user=mdettweiler [2016-08-05 10:41:15] 951*2^1436738-1 is not prime. Res64: C86851C6B9ED15C8 Time : 0.0 sec. user=mdettweiler [2016-08-05 10:41:16] 609*2^1436739-1 is not prime. Res64: 24E60464685C9F2B Time : 0.0 sec. user=mdettweiler [2016-08-05 10:41:16] 625*2^1436739-1 is not prime. Res64: 171B96F2DDA7FB33 Time : 0.0 sec. user=mdettweiler [2016-08-05 10:49:32] 919*2^1436739-1 is not prime. Res64: C2308903E65F40DE Time : 0.0 sec. user=mdettweiler [2016-08-05 10:49:32] 975*2^1436739-1 is not prime. Res64: EE9EB5B590616C4F Time : 0.0 sec. user=mdettweiler [2016-08-05 10:49:33] 855*2^1436740-1 is not prime. Res64: 997A36D5A549C406 Time : 0.0 sec. user=mdettweiler [2016-08-05 10:49:33] 631*2^1436741-1 is not prime. Res64: 2921F05DB6009949 Time : 0.0 sec. user=mdettweiler [2016-08-05 10:49:33] 697*2^1436741-1 is not prime. Res64: 0CC44A3328EBFCFE Time : 0.0 sec. user=mdettweiler [2016-08-05 10:53:55] 987*2^1436741-1 is not prime. Res64: 5AC4E04E95360558 Time : 0.0 sec. user=mdettweiler [2016-08-05 10:53:59] 671*2^1436742-1 is not prime. Res64: E99C2A4AB2792DDA Time : 0.0 sec. user=mdettweiler [2016-08-05 10:53:59] 683*2^1436742-1 is not prime. Res64: 082CB8836E2E6665 Time : 0.0 sec. user=mdettweiler [2016-08-05 10:53:59] 725*2^1436742-1 is not prime. Res64: 92DFDAC6539C1A5E Time : 0.0 sec. user=mdettweiler [2016-08-05 10:53:59] 765*2^1436742-1 is not prime. Res64: 930F4FF9A26A3822 Time : 0.0 sec. user=mdettweiler [2016-08-05 11:25:25] 843*2^1436742-1 is not prime. Res64: 04188B3EC4ADC02C Time : 0.0 sec. user=mdettweiler [2016-08-05 11:25:26] 903*2^1436742-1 is not prime. Res64: 807B9449510E4228 Time : 0.0 sec. user=mdettweiler [2016-08-05 11:25:26] 963*2^1436742-1 is not prime. Res64: 09C47CC4F4873A2B Time : 0.0 sec. user=mdettweiler [2016-08-05 11:25:26] 615*2^1436743-1 is not prime. Res64: 2D3C7E679564FB19 Time : 0.0 sec. user=mdettweiler [2016-08-05 11:25:27] 883*2^1436743-1 is not prime. Res64: 40C0F9F78E5DF6F6 Time : 0.0 sec. user=mdettweiler [2016-08-05 11:33:44] 885*2^1436743-1 is not prime. Res64: D1DC0258C4AC2380 Time : 0.0 sec. user=mdettweiler [2016-08-05 11:33:44] 925*2^1436743-1 is not prime. Res64: AAA22819FB47C8DD Time : 0.0 sec. user=mdettweiler [2016-08-05 11:33:45] 969*2^1436743-1 is not prime. Res64: 4EEBB24F65E120D2 Time : 0.0 sec. user=mdettweiler [2016-08-05 11:33:45] 755*2^1436744-1 is not prime. Res64: CD7BA4D192AE61FB Time : 0.0 sec. user=mdettweiler [2016-08-05 11:33:45] 767*2^1436744-1 is not prime. Res64: 92CD5A46671B01DC Time : 0.0 sec. user=mdettweiler [2016-08-05 11:38:09] 789*2^1436744-1 is not prime. Res64: FF07C87C9C5FFE12 Time : 0.0 sec. user=mdettweiler [2016-08-05 11:38:12] 607*2^1436745-1 is not prime. Res64: 467F297A2DAA438F Time : 0.0 sec. user=mdettweiler [2016-08-05 11:38:13] 777*2^1436745-1 is not prime. Res64: 2653F872ED91E307 Time : 0.0 sec. user=mdettweiler [2016-08-05 11:38:14] 817*2^1436745-1 is not prime. Res64: EB6B997506771408 Time : 0.0 sec. user=mdettweiler [2016-08-05 11:38:14] 819*2^1436745-1 is not prime. Res64: 78DD68118DDEE132 Time : 0.0 sec. user=mdettweiler [2016-08-05 12:09:56] 885*2^1436745-1 is not prime. Res64: 352C8D49390DF92E Time : 0.0 sec. user=mdettweiler [2016-08-05 12:09:56] 889*2^1436745-1 is not prime. Res64: 122F8847D02F2E84 Time : 0.0 sec. user=mdettweiler [2016-08-05 12:09:58] 623*2^1436746-1 is not prime. Res64: A19B043C4ACA0462 Time : 0.0 sec. user=mdettweiler [2016-08-05 12:09:59] 695*2^1436746-1 is not prime. Res64: 2B9AA875930584AC Time : 0.0 sec. user=mdettweiler [2016-08-05 12:09:59] 713*2^1436746-1 is not prime. Res64: F7C675861E617946 Time : 0.0 sec. user=mdettweiler [2016-08-05 12:18:18] 735*2^1436746-1 is not prime. Res64: 6A216DFC67179A09 Time : 0.0 sec. user=mdettweiler [2016-08-05 12:18:18] 743*2^1436746-1 is not prime. Res64: E93F64E793753E66 Time : 0.0 sec. user=mdettweiler [2016-08-05 12:18:18] 783*2^1436746-1 is not prime. Res64: DA2B4A85F5A86233 Time : 0.0 sec. user=mdettweiler [2016-08-05 12:18:19] 801*2^1436746-1 is not prime. Res64: B37A2A71BA66E905 Time : 0.0 sec. user=mdettweiler [2016-08-05 12:18:19] 911*2^1436746-1 is not prime. Res64: A897A2EA31623F42 Time : 0.0 sec. user=mdettweiler [2016-08-05 12:22:45] 971*2^1436746-1 is not prime. Res64: 094233B571C8C363 Time : 0.0 sec. user=mdettweiler [2016-08-05 12:22:46] 987*2^1436746-1 is not prime. Res64: BCE2604DFF40C927 Time : 0.0 sec. user=mdettweiler [2016-08-05 12:22:46] 621*2^1436747-1 is not prime. Res64: 26AA8C40433636F4 Time : 0.0 sec. user=mdettweiler [2016-08-05 12:22:46] 663*2^1436747-1 is not prime. Res64: 777DECC6A332483C Time : 0.0 sec. user=mdettweiler [2016-08-05 12:22:47] 675*2^1436747-1 is not prime. Res64: 59DAF080BFF5CA10 Time : 0.0 sec. user=mdettweiler [2016-08-05 12:54:14] 859*2^1436747-1 is not prime. Res64: 0E81DFF4A4965E89 Time : 0.0 sec. user=mdettweiler [2016-08-05 12:54:14] 871*2^1436747-1 is not prime. Res64: F558A670304D876E Time : 0.0 sec. user=mdettweiler [2016-08-05 12:54:14] 705*2^1436748-1 is not prime. Res64: 5EEBE3F802E0CBB7 Time : 0.0 sec. user=mdettweiler [2016-08-05 12:54:15] 765*2^1436748-1 is not prime. Res64: 5D61C1A2564AD54C Time : 0.0 sec. user=mdettweiler [2016-08-05 12:54:15] 783*2^1436748-1 is not prime. Res64: 63E3D6C78ADFCB6E Time : 0.0 sec. user=mdettweiler [2016-08-05 13:02:28] 845*2^1436748-1 is not prime. Res64: BA795D98C0923FEC Time : 0.0 sec. user=mdettweiler [2016-08-05 13:02:28] 945*2^1436748-1 is not prime. Res64: 51AA2B2A7F5E6A04 Time : 0.0 sec. user=mdettweiler [2016-08-05 13:02:29] 609*2^1436749-1 is not prime. Res64: 6C4A036E47921177 Time : 0.0 sec. user=mdettweiler [2016-08-05 13:02:30] 619*2^1436749-1 is not prime. Res64: AD3CE622CB5D0500 Time : 0.0 sec. user=mdettweiler [2016-08-05 13:02:31] 817*2^1436749-1 is not prime. Res64: 59C261D79340A894 Time : 0.0 sec. user=mdettweiler [2016-08-05 13:06:53] 867*2^1436749-1 is not prime. Res64: 89D5E8365DA06748 Time : 0.0 sec. user=mdettweiler [2016-08-05 13:06:54] 919*2^1436749-1 is not prime. Res64: 8D2660DB6128B1CF Time : 0.0 sec. user=mdettweiler [2016-08-05 13:06:55] 939*2^1436749-1 is not prime. Res64: 01324432724EA624 Time : 0.0 sec. user=mdettweiler [2016-08-05 13:06:55] 979*2^1436749-1 is not prime. Res64: 101929DEDDE0BEDF Time : 0.0 sec. user=mdettweiler [2016-08-05 13:06:56] 627*2^1436750-1 is not prime. Res64: C5F089843EE73AEE Time : 0.0 sec. user=mdettweiler [2016-08-05 13:38:26] 741*2^1436750-1 is not prime. Res64: 3B0770BCA879FD80 Time : 0.0 sec. user=mdettweiler [2016-08-05 13:38:27] 935*2^1436750-1 is not prime. Res64: 037BBBF6D82046A2 Time : 0.0 sec. user=mdettweiler [2016-08-05 13:38:27] 981*2^1436750-1 is not prime. Res64: 94001B1BE91346A4 Time : 0.0 sec. user=mdettweiler [2016-08-05 13:38:27] 775*2^1436751-1 is not prime. Res64: 06D804D99F648DFE Time : 0.0 sec. user=mdettweiler [2016-08-05 13:38:28] 849*2^1436751-1 is not prime. Res64: 6C88BF511E26EB98 Time : 0.0 sec. user=mdettweiler [2016-08-05 13:46:44] 861*2^1436751-1 is not prime. Res64: 96DAFB30366D0A7D Time : 0.0 sec. user=mdettweiler [2016-08-05 13:46:44] 931*2^1436751-1 is not prime. Res64: 9302A204D7FE5B23 Time : 0.0 sec. user=mdettweiler [2016-08-05 13:46:44] 609*2^1436752-1 is not prime. Res64: 797034F278270F14 Time : 0.0 sec. user=mdettweiler [2016-08-05 13:46:45] 677*2^1436752-1 is not prime. Res64: A778244003701349 Time : 0.0 sec. user=mdettweiler [2016-08-05 13:46:45] 719*2^1436752-1 is not prime. Res64: 4A2D4F65E8945B93 Time : 0.0 sec. user=mdettweiler [2016-08-05 13:51:04] 789*2^1436753-1 is not prime. Res64: BCC256FCC21E3716 Time : 0.0 sec. user=mdettweiler [2016-08-05 13:51:05] 837*2^1436753-1 is not prime. Res64: 2F089786F77D1773 Time : 0.0 sec. user=mdettweiler [2016-08-05 13:51:05] 855*2^1436753-1 is not prime. Res64: 6D1512FC7275738A Time : 0.0 sec. user=mdettweiler [2016-08-05 13:51:05] 937*2^1436753-1 is not prime. Res64: 05FEB820F463AC31 Time : 0.0 sec. user=mdettweiler [2016-08-05 13:51:06] 657*2^1436754-1 is not prime. Res64: 49BE3238E9F1A2D2 Time : 0.0 sec. user=mdettweiler [2016-08-05 14:22:36] 663*2^1436754-1 is not prime. Res64: 384E26D7E60FAB74 Time : 0.0 sec. user=mdettweiler [2016-08-05 14:22:37] 725*2^1436754-1 is not prime. Res64: F5B7F8940E283628 Time : 0.0 sec. user=mdettweiler [2016-08-05 14:22:37] 797*2^1436754-1 is not prime. Res64: F723F12F4FB513C3 Time : 0.0 sec. user=mdettweiler [2016-08-05 14:22:38] 803*2^1436754-1 is not prime. Res64: CBEE717A01406D48 Time : 0.0 sec. user=mdettweiler [2016-08-05 14:22:38] 837*2^1436754-1 is not prime. Res64: 8D3368B21015FB17 Time : 0.0 sec. user=mdettweiler [2016-08-05 14:30:51] 861*2^1436754-1 is not prime. Res64: DCABFE5935F460D8 Time : 0.0 sec. user=mdettweiler [2016-08-05 14:30:52] 903*2^1436754-1 is not prime. Res64: D2621E1BF47EA9E3 Time : 0.0 sec. user=mdettweiler [2016-08-05 14:30:53] 947*2^1436754-1 is not prime. Res64: 4AEA4DB6BC67780B Time : 0.0 sec. user=mdettweiler [2016-08-05 14:30:53] 983*2^1436754-1 is not prime. Res64: 0EA46FAB43CCC21B Time : 0.0 sec. user=mdettweiler [2016-08-05 14:30:54] 603*2^1436755-1 is not prime. Res64: 5B7365CCF3750258 Time : 0.0 sec. user=mdettweiler [2016-08-05 14:35:15] 609*2^1436755-1 is not prime. Res64: 15CD9A9563B82A31 Time : 0.0 sec. user=mdettweiler [2016-08-05 14:35:16] 691*2^1436755-1 is not prime. Res64: 8AA6032D21E0A6AF Time : 0.0 sec. user=mdettweiler [2016-08-05 14:35:16] 693*2^1436755-1 is not prime. Res64: FD5985F8026000FF Time : 0.0 sec. user=mdettweiler [2016-08-05 14:35:17] 723*2^1436755-1 is not prime. Res64: 5900DE2ECEE3238B Time : 0.0 sec. user=mdettweiler [2016-08-05 14:35:20] 775*2^1436755-1 is not prime. Res64: 092FBAFA3FABC949 Time : 0.0 sec. user=mdettweiler [2016-08-05 15:06:49] 973*2^1436755-1 is not prime. Res64: 9FC6A9F54C2D8168 Time : 0.0 sec. user=mdettweiler [2016-08-05 15:06:51] 609*2^1436756-1 is not prime. Res64: A79CDE7277940FCF Time : 0.0 sec. user=mdettweiler [2016-08-05 15:06:53] 617*2^1436756-1 is not prime. Res64: 1A6928B8657F75D2 Time : 0.0 sec. user=mdettweiler [2016-08-05 15:06:54] 813*2^1436756-1 is not prime. Res64: 4582D0378D365C86 Time : 0.0 sec. user=mdettweiler [2016-08-05 15:06:55] 845*2^1436756-1 is not prime. Res64: 199051C7739E8E92 Time : 0.0 sec. user=mdettweiler [2016-08-05 15:15:03] 873*2^1436756-1 is not prime. Res64: 899C633A18285E1D Time : 0.0 sec. user=mdettweiler [2016-08-05 15:15:04] 897*2^1436756-1 is not prime. Res64: FAF85C81BA7F9ADC Time : 0.0 sec. user=mdettweiler [2016-08-05 15:15:04] 983*2^1436756-1 is not prime. Res64: FC1C67DDF5ABBB8D Time : 0.0 sec. user=mdettweiler [2016-08-05 15:15:05] 627*2^1436757-1 is not prime. Res64: 6CE5E829C49EC67F Time : 0.0 sec. user=mdettweiler [2016-08-05 15:15:07] 741*2^1436757-1 is not prime. Res64: 5EE8617BB036F685 Time : 0.0 sec. user=mdettweiler [2016-08-05 15:19:31] 805*2^1436757-1 is not prime. Res64: 048F96FB87ADC43A Time : 0.0 sec. user=mdettweiler [2016-08-05 15:19:31] 817*2^1436757-1 is not prime. Res64: 4DE23BD6ACE720A6 Time : 0.0 sec. user=mdettweiler [2016-08-05 15:19:31] 819*2^1436757-1 is not prime. Res64: C647A00C9B6060F4 Time : 0.0 sec. user=mdettweiler [2016-08-05 15:19:31] 955*2^1436757-1 is not prime. Res64: 59486430C85F623D Time : 0.0 sec. user=mdettweiler [2016-08-05 15:19:32] 997*2^1436757-1 is not prime. Res64: 50018815EFEA8AB3 Time : 0.0 sec. user=mdettweiler [2016-08-05 15:51:54] 617*2^1436758-1 is not prime. Res64: B911DAFB45BD08AC Time : 0.0 sec. user=mdettweiler [2016-08-05 15:51:54] 651*2^1436758-1 is not prime. Res64: 723CD9A43CC1B4AD Time : 0.0 sec. user=mdettweiler [2016-08-05 15:51:55] 665*2^1436758-1 is not prime. Res64: B8DD6D25F3524A26 Time : 0.0 sec. user=mdettweiler [2016-08-05 15:51:55] 687*2^1436758-1 is not prime. Res64: E7AE3DDF00076F59 Time : 0.0 sec. user=mdettweiler [2016-08-05 15:51:55] 827*2^1436758-1 is not prime. Res64: EBA864022F3F0B9C Time : 0.0 sec. user=mdettweiler [2016-08-05 16:00:27] 891*2^1436758-1 is not prime. Res64: DF8C4AF596529FD3 Time : 0.0 sec. user=mdettweiler [2016-08-05 16:00:27] 1001*2^1436758-1 is not prime. Res64: D4313A12D113F3F0 Time : 0.0 sec. user=mdettweiler [2016-08-05 16:00:28] 601*2^1436759-1 is not prime. Res64: 5149853A63653419 Time : 0.0 sec. user=mdettweiler [2016-08-05 16:00:28] 655*2^1436759-1 is not prime. Res64: 75500773F09BF7FD Time : 0.0 sec. user=mdettweiler [2016-08-05 16:00:28] 661*2^1436759-1 is not prime. Res64: 1C07D9EAB2FB27D8 Time : 0.0 sec. user=mdettweiler [2016-08-05 16:04:57] 753*2^1436759-1 is not prime. Res64: 1F2D9F8657729DF2 Time : 0.0 sec. user=mdettweiler [2016-08-05 16:04:58] 843*2^1436759-1 is not prime. Res64: 2252B4FEE5916331 Time : 0.0 sec. user=mdettweiler [2016-08-05 16:04:58] 885*2^1436759-1 is not prime. Res64: 43138333DC48AE0A Time : 0.0 sec. user=mdettweiler [2016-08-05 16:04:59] 985*2^1436759-1 is not prime. Res64: 6DC1831ABA4DB4BB Time : 0.0 sec. user=mdettweiler [2016-08-05 16:05:00] 707*2^1436760-1 is not prime. Res64: 934396692B7ACC27 Time : 0.0 sec. user=juhehe [2016-08-05 16:13:04] 767*2^1436760-1 is not prime. Res64: 38D93CDF7D2D31A3 Time : 0.0 sec. user=mdettweiler [2016-08-05 16:36:57] 779*2^1436760-1 is not prime. Res64: 2BF67CC9A1C89B09 Time : 0.0 sec. user=mdettweiler [2016-08-05 16:36:58] 789*2^1436760-1 is not prime. Res64: EF604AA1A6952873 Time : 0.0 sec. user=mdettweiler [2016-08-05 16:36:58] 797*2^1436760-1 is not prime. Res64: 77B47A63932190CA Time : 0.0 sec. user=mdettweiler [2016-08-05 16:36:58] 809*2^1436760-1 is not prime. Res64: 0C1D4AF404657039 Time : 0.0 sec. user=mdettweiler [2016-08-05 16:36:59] 927*2^1436760-1 is not prime. Res64: D4945C61D7E569AD Time : 0.0 sec. user=mdettweiler [2016-08-05 16:45:08] 957*2^1436760-1 is not prime. Res64: 91207F509004102B Time : 0.0 sec. user=mdettweiler [2016-08-05 16:45:08] 687*2^1436761-1 is not prime. Res64: 9CE7B315379B2F40 Time : 0.0 sec. user=mdettweiler [2016-08-05 16:45:08] 777*2^1436761-1 is not prime. Res64: 4C033E918BB402E3 Time : 0.0 sec. user=mdettweiler [2016-08-05 16:45:09] 805*2^1436761-1 is not prime. Res64: B2E6522A80F90FC7 Time : 0.0 sec. user=mdettweiler [2016-08-05 16:45:09] 819*2^1436761-1 is not prime. Res64: 4519778B11D03613 Time : 0.0 sec. user=mdettweiler [2016-08-05 16:49:38] 889*2^1436761-1 is not prime. Res64: 241E95826E50C9C3 Time : 0.0 sec. user=mdettweiler [2016-08-05 16:49:38] 925*2^1436761-1 is not prime. Res64: DB9B0F44D93A149C Time : 0.0 sec. user=mdettweiler [2016-08-05 16:49:38] 955*2^1436761-1 is not prime. Res64: 673BF09CF7705213 Time : 0.0 sec. user=mdettweiler [2016-08-05 16:49:39] 633*2^1436762-1 is not prime. Res64: B65F60D9750EE224 Time : 0.0 sec. user=mdettweiler [2016-08-05 16:49:39] 645*2^1436762-1 is not prime. Res64: 4AFFC6F7D2A0663F Time : 0.0 sec. user=mdettweiler [2016-08-05 17:21:11] 747*2^1436762-1 is not prime. Res64: 026024A21979B240 Time : 0.0 sec. user=mdettweiler [2016-08-05 17:21:11] 801*2^1436762-1 is not prime. Res64: 54B08C97C5AB8CFB Time : 0.0 sec. user=mdettweiler [2016-08-05 17:21:12] 945*2^1436762-1 is not prime. Res64: 9AD916B76BCCE97B Time : 0.0 sec. user=mdettweiler [2016-08-05 17:21:15] 685*2^1436763-1 is not prime. Res64: E9FA5B15FBA7B065 Time : 0.0 sec. user=mdettweiler [2016-08-05 17:21:16] 739*2^1436763-1 is not prime. Res64: 6517F733F136EFB7 Time : 0.0 sec. user=mdettweiler [2016-08-05 17:29:21] 789*2^1436763-1 is not prime. Res64: AB075F2BE3A380A3 Time : 0.0 sec. user=mdettweiler [2016-08-05 17:29:21] 985*2^1436763-1 is not prime. Res64: 5F0AEADFE61467A9 Time : 0.0 sec. user=mdettweiler [2016-08-05 17:29:21] 657*2^1436764-1 is not prime. Res64: 71CBEF7D64B06218 Time : 0.0 sec. user=mdettweiler [2016-08-05 17:29:22] 677*2^1436764-1 is not prime. Res64: A991FD6EDADC575F Time : 0.0 sec. user=mdettweiler [2016-08-05 17:29:22] 719*2^1436764-1 is not prime. Res64: 1C0609E1EB9EB254 Time : 0.0 sec. user=mdettweiler [2016-08-05 17:33:49] 723*2^1436764-1 is not prime. Res64: 4A86BED17B09A8B3 Time : 0.0 sec. user=mdettweiler [2016-08-05 17:33:49] 819*2^1436764-1 is not prime. Res64: 5DC10003DC3F5F5B Time : 0.0 sec. user=mdettweiler [2016-08-05 17:33:52] 897*2^1436764-1 is not prime. Res64: D62E8DE7F093ADDF Time : 0.0 sec. user=mdettweiler [2016-08-05 17:33:53] 655*2^1436765-1 is not prime. Res64: 2496793B236C73A1 Time : 0.0 sec. user=mdettweiler [2016-08-05 17:33:54] 715*2^1436765-1 is not prime. Res64: 6800ABA9CABE1114 Time : 0.0 sec. user=mdettweiler [2016-08-05 18:05:28] 717*2^1436765-1 is not prime. Res64: CB0AD3CE2CFBF32D Time : 0.0 sec. user=mdettweiler [2016-08-05 18:05:30] 805*2^1436765-1 is not prime. Res64: DF36A3541AA8D60B Time : 0.0 sec. user=mdettweiler [2016-08-05 18:05:32] 951*2^1436765-1 is not prime. Res64: 9278B157EDD0A75D Time : 0.0 sec. user=mdettweiler [2016-08-05 18:05:33] 957*2^1436765-1 is not prime. Res64: 008212E1568941AA Time : 0.0 sec. user=mdettweiler [2016-08-05 18:05:35] 981*2^1436765-1 is not prime. Res64: E9DD90716FD37015 Time : 0.0 sec. user=mdettweiler [2016-08-05 18:13:40] 641*2^1436766-1 is not prime. Res64: B1010CE7D2BA14FF Time : 0.0 sec. user=mdettweiler [2016-08-05 18:13:41] 815*2^1436766-1 is not prime. Res64: 458E5DBF48CFE217 Time : 0.0 sec. user=mdettweiler [2016-08-05 18:13:41] 821*2^1436766-1 is not prime. Res64: A9ECFA65DE143443 Time : 0.0 sec. user=mdettweiler [2016-08-05 18:13:42] 891*2^1436766-1 is not prime. Res64: 09AA3630EBBEE0C5 Time : 0.0 sec. user=mdettweiler [2016-08-05 18:13:42] 945*2^1436766-1 is not prime. Res64: 591C548E200A92A2 Time : 0.0 sec. user=mdettweiler [2016-08-05 18:18:08] 609*2^1436767-1 is not prime. Res64: D706DA6546F9D042 Time : 0.0 sec. user=mdettweiler [2016-08-05 18:18:08] 681*2^1436767-1 is not prime. Res64: 70D70CA6E912D798 Time : 0.0 sec. user=mdettweiler [2016-08-05 18:18:09] 769*2^1436767-1 is not prime. Res64: 16748F3E5963BFF8 Time : 0.0 sec. user=mdettweiler [2016-08-05 18:18:09] 819*2^1436767-1 is not prime. Res64: 1BD0F9625FFBF85A Time : 0.0 sec. user=mdettweiler [2016-08-05 18:18:10] 829*2^1436767-1 is not prime. Res64: 3483557537302499 Time : 0.0 sec. user=mdettweiler [2016-08-05 18:49:48] 871*2^1436767-1 is not prime. Res64: 3E0E00F1EAF497F4 Time : 0.0 sec. user=mdettweiler [2016-08-05 18:49:49] 913*2^1436767-1 is not prime. Res64: 13F0874A31CBF985 Time : 0.0 sec. user=mdettweiler [2016-08-05 18:49:49] 931*2^1436767-1 is not prime. Res64: F0386D8B7283A6CD Time : 0.0 sec. user=mdettweiler [2016-08-05 18:49:51] 767*2^1436768-1 is not prime. Res64: C8E0EE5745203A7A Time : 0.0 sec. user=mdettweiler [2016-08-05 18:49:52] 893*2^1436768-1 is not prime. Res64: 1A2ED1C45F52C672 Time : 0.0 sec. user=mdettweiler [2016-08-05 18:57:50] 927*2^1436768-1 is not prime. Res64: 8789D8C85961B157 Time : 0.0 sec. user=mdettweiler [2016-08-05 18:57:50] 999*2^1436768-1 is not prime. Res64: DFF591B84803A283 Time : 0.0 sec. user=mdettweiler [2016-08-05 18:57:51] 769*2^1436769-1 is not prime. Res64: 90BFA4240E27CDBC Time : 0.0 sec. user=mdettweiler [2016-08-05 18:57:51] 861*2^1436769-1 is not prime. Res64: 139B1E4C39276DE3 Time : 0.0 sec. user=mdettweiler [2016-08-05 18:57:52] 907*2^1436769-1 is not prime. Res64: 7CEC507557945312 Time : 0.0 sec. user=mdettweiler [2016-08-05 19:02:19] 665*2^1436770-1 is not prime. Res64: 083CBC83797A5362 Time : 0.0 sec. user=mdettweiler [2016-08-05 19:02:20] 735*2^1436770-1 is not prime. Res64: 92171C9D020033ED Time : 0.0 sec. user=mdettweiler [2016-08-05 19:02:21] 917*2^1436770-1 is not prime. Res64: B158ED7EB89A381E Time : 0.0 sec. user=mdettweiler [2016-08-05 19:02:21] 995*2^1436770-1 is not prime. Res64: 463BBC6DFC71DF82 Time : 0.0 sec. user=mdettweiler [2016-08-05 19:02:22] 1001*2^1436770-1 is not prime. Res64: 02B3959E1DDDF1AE Time : 0.0 sec. user=mdettweiler [2016-08-05 19:34:04] 609*2^1436771-1 is not prime. Res64: 4CF14D4A471C8700 Time : 0.0 sec. user=mdettweiler [2016-08-05 19:34:04] 669*2^1436771-1 is not prime. Res64: 4BC066CD7BFF155B Time : 0.0 sec. user=mdettweiler [2016-08-05 19:34:05] 733*2^1436771-1 is not prime. Res64: 2A5F087A81899E31 Time : 0.0 sec. user=mdettweiler [2016-08-05 19:34:05] 909*2^1436771-1 is not prime. Res64: 3614612006133954 Time : 0.0 sec. user=mdettweiler [2016-08-05 19:34:06] 999*2^1436771-1 is not prime. Res64: 56AC75425543696E Time : 0.0 sec. user=mdettweiler [2016-08-05 19:42:03] 635*2^1436772-1 is not prime. Res64: F1B4F6F8A1948B5F Time : 0.0 sec. user=mdettweiler [2016-08-05 19:42:04] 857*2^1436772-1 is not prime. Res64: 1B94EA2C24A7B336 Time : 0.0 sec. user=mdettweiler [2016-08-05 19:42:04] 899*2^1436772-1 is not prime. Res64: 00255DE1C4D654CB Time : 0.0 sec. user=mdettweiler [2016-08-05 19:42:04] 923*2^1436772-1 is not prime. Res64: 8F3107B2587C5A37 Time : 0.0 sec. user=mdettweiler [2016-08-05 19:42:05] 625*2^1436773-1 is not prime. Res64: 96C665C7C289EC16 Time : 0.0 sec. user=mdettweiler [2016-08-05 19:46:31] 771*2^1436773-1 is not prime. Res64: 0F8A101FFBA0FE46 Time : 0.0 sec. user=mdettweiler [2016-08-05 19:46:32] 939*2^1436773-1 is not prime. Res64: 2C34308B3332F4AA Time : 0.0 sec. user=mdettweiler [2016-08-05 19:46:32] 999*2^1436773-1 is not prime. Res64: 56E489F60693D8E9 Time : 0.0 sec. user=mdettweiler [2016-08-05 19:46:33] 623*2^1436774-1 is not prime. Res64: ED426129F06B10F2 Time : 0.0 sec. user=mdettweiler [2016-08-05 19:46:33] 663*2^1436774-1 is not prime. Res64: 877BBF31D4A23AD2 Time : 0.0 sec. user=mdettweiler [2016-08-05 20:18:13] 705*2^1436774-1 is not prime. Res64: CCA2492CBAA2B9AF Time : 0.0 sec. user=mdettweiler [2016-08-05 20:18:14] 917*2^1436774-1 is not prime. Res64: 1F49EDC0959AC30F Time : 0.0 sec. user=mdettweiler [2016-08-05 20:18:15] 923*2^1436774-1 is not prime. Res64: 7C13D6EBC1ED8A71 Time : 0.0 sec. user=mdettweiler [2016-08-05 20:18:15] 935*2^1436774-1 is not prime. Res64: 6CF616B2630C15ED Time : 0.0 sec. user=mdettweiler [2016-08-05 20:18:15] 995*2^1436774-1 is not prime. Res64: 5665DBA527151165 Time : 0.0 sec. user=mdettweiler [2016-08-05 20:26:17] 649*2^1436775-1 is not prime. Res64: 2326709EABA07043 Time : 0.0 sec. user=mdettweiler [2016-08-05 20:26:18] 921*2^1436775-1 is not prime. Res64: 16A59E6FDAEAECC7 Time : 0.0 sec. user=mdettweiler [2016-08-05 20:26:18] 955*2^1436775-1 is not prime. Res64: 81A1BBFB1C6CA51A Time : 0.0 sec. user=mdettweiler [2016-08-05 20:26:19] 979*2^1436775-1 is not prime. Res64: A5F7B9E10A72ECC0 Time : 0.0 sec. user=mdettweiler [2016-08-05 20:26:20] 603*2^1436776-1 is not prime. Res64: 264B9BAEAC686FFA Time : 0.0 sec. user=mdettweiler [2016-08-05 20:30:46] 623*2^1436776-1 is not prime. Res64: 163964EBA674C9EE Time : 0.0 sec. user=mdettweiler [2016-08-05 20:30:47] 675*2^1436776-1 is not prime. Res64: 0131E527E28CC374 Time : 0.0 sec. user=mdettweiler [2016-08-05 20:30:47] 693*2^1436776-1 is not prime. Res64: 60BF47C5BB237330 Time : 0.0 sec. user=mdettweiler [2016-08-05 20:30:47] 717*2^1436776-1 is not prime. Res64: 376B92EAFCC0CF9B Time : 0.0 sec. user=mdettweiler [2016-08-05 20:30:48] 785*2^1436776-1 is not prime. Res64: BB8A2ECC76AFFC66 Time : 0.0 sec. user=mdettweiler [2016-08-05 21:03:02] 803*2^1436776-1 is not prime. Res64: 061EE710738B04D7 Time : 0.0 sec. user=mdettweiler [2016-08-05 21:03:04] 843*2^1436776-1 is not prime. Res64: 834F0E08E5A745C6 Time : 0.0 sec. user=mdettweiler [2016-08-05 21:03:05] 903*2^1436776-1 is not prime. Res64: 5248BF59E3F0F7F5 Time : 0.0 sec. user=mdettweiler [2016-08-05 21:03:06] 649*2^1436777-1 is not prime. Res64: 9AF7069288FE5399 Time : 0.0 sec. user=mdettweiler [2016-08-05 21:03:08] 691*2^1436777-1 is not prime. Res64: 3152E2A98ECF36F9 Time : 0.0 sec. user=mdettweiler [2016-08-05 21:11:07] 841*2^1436777-1 is not prime. Res64: C94EBE4B201AA195 Time : 0.0 sec. user=mdettweiler [2016-08-05 21:11:09] 925*2^1436777-1 is not prime. Res64: 272E00CCD51F087D Time : 0.0 sec. user=mdettweiler [2016-08-05 21:11:09] 939*2^1436777-1 is not prime. Res64: AA6DA10A0AFB1F40 Time : 0.0 sec. user=mdettweiler [2016-08-05 21:11:10] 967*2^1436777-1 is not prime. Res64: CC04C301684E79F3 Time : 0.0 sec. user=mdettweiler [2016-08-05 21:11:11] 633*2^1436778-1 is not prime. Res64: 5882DDE7B92F763C Time : 0.0 sec. user=mdettweiler [2016-08-05 21:15:44] 671*2^1436778-1 is not prime. Res64: C6F24AF9310B5392 Time : 0.0 sec. user=mdettweiler [2016-08-05 21:15:44] 681*2^1436778-1 is not prime. Res64: 1DA634DDFF649921 Time : 0.0 sec. user=mdettweiler [2016-08-05 21:15:45] 905*2^1436778-1 is not prime. Res64: 595A76C7995AC2C1 Time : 0.0 sec. user=mdettweiler [2016-08-05 21:15:45] 923*2^1436778-1 is not prime. Res64: 56492CCF201984E8 Time : 0.0 sec. user=mdettweiler [2016-08-05 21:15:45] 975*2^1436778-1 is not prime. Res64: 58B69372F8500C4A Time : 0.0 sec. user=mdettweiler [2016-08-05 21:47:51] 619*2^1436779-1 is not prime. Res64: BAF4AB31D0DB299C Time : 0.0 sec. user=mdettweiler [2016-08-05 21:47:51] 723*2^1436779-1 is not prime. Res64: 7EBD263068CB8780 Time : 0.0 sec. user=mdettweiler [2016-08-05 21:47:51] 771*2^1436779-1 is not prime. Res64: 10CD2142DED80970 Time : 0.0 sec. user=mdettweiler [2016-08-05 21:47:52] 885*2^1436779-1 is not prime. Res64: EBDB861A3085F9C7 Time : 0.0 sec. user=mdettweiler [2016-08-05 21:47:52] 889*2^1436779-1 is not prime. Res64: 9467D8D4943299EB Time : 0.0 sec. user=mdettweiler [2016-08-05 21:55:42] 895*2^1436779-1 is not prime. Res64: 1EFEBD75A3488AC8 Time : 0.0 sec. user=mdettweiler [2016-08-05 21:55:42] 635*2^1436780-1 is not prime. Res64: B4B1AF486CFA9FAE Time : 0.0 sec. user=mdettweiler [2016-08-05 21:55:43] 719*2^1436780-1 is not prime. Res64: 613D8F4CC77BF7F2 Time : 0.0 sec. user=mdettweiler [2016-08-05 21:55:43] 767*2^1436780-1 is not prime. Res64: EEED68969883CD87 Time : 0.0 sec. user=mdettweiler [2016-08-05 21:55:46] 827*2^1436780-1 is not prime. Res64: 5A6520CA1122942F Time : 0.0 sec. user=mdettweiler [2016-08-05 22:00:02] 839*2^1436780-1 is not prime. Res64: 36CF22057566A074 Time : 0.0 sec. user=mdettweiler [2016-08-05 22:00:05] 923*2^1436780-1 is not prime. Res64: 17FCED1A9CF75196 Time : 0.0 sec. user=mdettweiler [2016-08-05 22:00:05] 963*2^1436780-1 is not prime. Res64: 47B7A22FE30F2C28 Time : 0.0 sec. user=mdettweiler [2016-08-05 22:00:05] 999*2^1436780-1 is not prime. Res64: 5BBC38B96508E552 Time : 0.0 sec. user=mdettweiler [2016-08-05 22:00:06] 609*2^1436781-1 is not prime. Res64: 0152B120B0867169 Time : 0.0 sec. user=mdettweiler [2016-08-05 22:31:57] 625*2^1436781-1 is not prime. Res64: 855B4D4969FD3247 Time : 0.0 sec. user=mdettweiler [2016-08-05 22:31:58] 717*2^1436781-1 is not prime. Res64: 554037492DE301F6 Time : 0.0 sec. user=mdettweiler [2016-08-05 22:31:58] 835*2^1436781-1 is not prime. Res64: 9324144508000042 Time : 0.0 sec. user=mdettweiler [2016-08-05 22:31:59] 895*2^1436781-1 is not prime. Res64: 4A42B83BC4EE9714 Time : 0.0 sec. user=mdettweiler [2016-08-05 22:31:59] 907*2^1436781-1 is not prime. Res64: E7F127A65BDA1805 Time : 0.0 sec. user=mdettweiler [2016-08-05 22:39:49] 987*2^1436781-1 is not prime. Res64: CDD842CD731C1F21 Time : 0.0 sec. user=mdettweiler [2016-08-05 22:39:49] 997*2^1436781-1 is not prime. Res64: 3AF947F830F09D3B Time : 0.0 sec. user=mdettweiler [2016-08-05 22:39:49] 999*2^1436781-1 is not prime. Res64: 94BFB4E211958E11 Time : 0.0 sec. user=mdettweiler [2016-08-05 22:39:50] 675*2^1436782-1 is not prime. Res64: 70FA96F625C216A7 Time : 0.0 sec. user=mdettweiler [2016-08-05 22:39:50] 917*2^1436782-1 is not prime. Res64: 06C7BC8AE35CDC6F Time : 0.0 sec. user=mdettweiler [2016-08-05 22:44:14] 957*2^1436782-1 is not prime. Res64: 9F333DB10852A9B2 Time : 0.0 sec. user=mdettweiler [2016-08-05 22:44:14] 633*2^1436783-1 is not prime. Res64: 0C42171543571073 Time : 0.0 sec. user=mdettweiler [2016-08-05 22:44:15] 661*2^1436783-1 is not prime. Res64: 3572864D7B486464 Time : 0.0 sec. user=mdettweiler [2016-08-05 22:44:15] 669*2^1436783-1 is not prime. Res64: 95C1C2BCB91C771A Time : 0.0 sec. user=mdettweiler [2016-08-05 22:44:15] 693*2^1436783-1 is not prime. Res64: 4E2576CC54D45F1D Time : 0.0 sec. user=mdettweiler [2016-08-05 23:16:07] 609*2^1436784-1 is not prime. Res64: A8C5D59EB714EAFD Time : 0.0 sec. user=mdettweiler [2016-08-05 23:16:07] 683*2^1436784-1 is not prime. Res64: 48005B442475FE71 Time : 0.0 sec. user=mdettweiler [2016-08-05 23:16:08] 705*2^1436784-1 is not prime. Res64: 5C146AA60A7289E4 Time : 0.0 sec. user=mdettweiler [2016-08-05 23:16:08] 719*2^1436784-1 is not prime. Res64: E75C1BB7856B3BE9 Time : 0.0 sec. user=mdettweiler [2016-08-05 23:16:09] 899*2^1436784-1 is not prime. Res64: 505201CA03CF84C9 Time : 0.0 sec. user=mdettweiler [2016-08-05 23:24:02] 927*2^1436784-1 is not prime. Res64: 828F3766A30EFA1D Time : 0.0 sec. user=mdettweiler [2016-08-05 23:24:03] 929*2^1436784-1 is not prime. Res64: A54089AEBDC77CC0 Time : 0.0 sec. user=mdettweiler [2016-08-05 23:24:03] 945*2^1436784-1 is not prime. Res64: 54A544C618F910A8 Time : 0.0 sec. user=mdettweiler [2016-08-05 23:24:03] 705*2^1436785-1 is not prime. Res64: 6A8E06A28147D578 Time : 0.0 sec. user=mdettweiler [2016-08-05 23:24:04] 741*2^1436785-1 is not prime. Res64: 420A1478A5FA5848 Time : 0.0 sec. user=mdettweiler [2016-08-05 23:28:25] 885*2^1436785-1 is not prime. Res64: ED9D3F7EF5500CDE Time : 0.0 sec. user=mdettweiler [2016-08-05 23:28:26] 895*2^1436785-1 is not prime. Res64: 7194F5A852E881E9 Time : 0.0 sec. user=mdettweiler [2016-08-05 23:28:26] 951*2^1436785-1 is not prime. Res64: CE4F6D0468A5E5C6 Time : 0.0 sec. user=mdettweiler [2016-08-05 23:28:26] 957*2^1436785-1 is not prime. Res64: AB19CD91D10C5887 Time : 0.0 sec. user=mdettweiler [2016-08-05 23:28:27] 633*2^1436786-1 is not prime. Res64: 5C7A1A30769CD1B5 Time : 0.0 sec. user=mdettweiler [2016-08-06 00:00:17] 785*2^1436786-1 is not prime. Res64: AAD9033821A11A69 Time : 0.0 sec. user=mdettweiler [2016-08-06 00:00:18] 813*2^1436786-1 is not prime. Res64: 612EBBEE12B36B50 Time : 0.0 sec. user=mdettweiler [2016-08-06 00:00:18] 851*2^1436786-1 is not prime. Res64: BF61E15154905B88 Time : 0.0 sec. user=mdettweiler [2016-08-06 00:00:19] 911*2^1436786-1 is not prime. Res64: DCA0FDA358FC86AB Time : 0.0 sec. user=mdettweiler [2016-08-06 00:00:19] 775*2^1436787-1 is not prime. Res64: 522E3AF46C9C0C75 Time : 0.0 sec.