user=mdettweiler [2015-08-07 00:08:03] 625*2^1405549-1 is not prime. Res64: 321076D5B22ACD71 Time : 0.0 sec. user=mdettweiler [2015-08-07 00:08:03] 699*2^1405549-1 is not prime. Res64: 27441AB7B10115F7 Time : 0.0 sec. user=mdettweiler [2015-08-07 00:13:31] 771*2^1405549-1 is not prime. Res64: 3F08C5B438942FEE Time : 0.0 sec. user=mdettweiler [2015-08-07 00:13:31] 825*2^1405549-1 is not prime. Res64: 45A257D407169CD3 Time : 0.0 sec. user=mdettweiler [2015-08-07 00:14:31] 885*2^1405549-1 is not prime. Res64: 1F26B0374AFF73E0 Time : 0.0 sec. user=mdettweiler [2015-08-07 00:14:31] 975*2^1405549-1 is not prime. Res64: EB577552CE012DDD Time : 0.0 sec. user=mdettweiler [2015-08-07 00:17:24] 645*2^1405550-1 is not prime. Res64: CDA485F9D6733211 Time : 0.0 sec. user=mdettweiler [2015-08-07 00:17:25] 663*2^1405550-1 is not prime. Res64: B6A58D6C47970D61 Time : 0.0 sec. user=mdettweiler [2015-08-07 00:26:42] 707*2^1405550-1 is not prime. Res64: 65423E820E12F652 Time : 0.0 sec. user=mdettweiler [2015-08-07 00:26:42] 957*2^1405550-1 is not prime. Res64: 047F7EB08959F273 Time : 0.0 sec. user=mdettweiler [2015-08-07 00:32:32] 609*2^1405551-1 is not prime. Res64: EB33A1CC41C5C158 Time : 0.0 sec. user=mdettweiler [2015-08-07 00:32:33] 739*2^1405551-1 is not prime. Res64: C6B793229FD16046 Time : 0.0 sec. user=mdettweiler [2015-08-07 00:33:20] 783*2^1405551-1 is not prime. Res64: 5B7D0223F4D92BFF Time : 0.0 sec. user=mdettweiler [2015-08-07 00:33:20] 861*2^1405551-1 is not prime. Res64: 9C406A27368B94FA Time : 0.0 sec. user=mdettweiler [2015-08-07 00:36:26] 873*2^1405551-1 is not prime. Res64: 53E77D8E298704C3 Time : 0.0 sec. user=mdettweiler [2015-08-07 00:36:26] 895*2^1405551-1 is not prime. Res64: E8DC1FB4EB3AF5AB Time : 0.0 sec. user=mdettweiler [2015-08-07 00:45:52] 909*2^1405551-1 is not prime. Res64: 0F298F1E6418FC60 Time : 0.0 sec. user=mdettweiler [2015-08-07 00:45:53] 931*2^1405551-1 is not prime. Res64: B3D8A96D1F143EFE Time : 0.0 sec. user=mdettweiler [2015-08-07 00:51:27] 629*2^1405552-1 is not prime. Res64: 172797E280A80085 Time : 0.0 sec. user=mdettweiler [2015-08-07 00:51:27] 645*2^1405552-1 is not prime. Res64: 213ADECCDFA9E592 Time : 0.0 sec. user=mdettweiler [2015-08-07 00:52:07] 695*2^1405552-1 is not prime. Res64: 64DA7D65C1A8BEF0 Time : 0.0 sec. user=mdettweiler [2015-08-07 00:52:07] 735*2^1405552-1 is not prime. Res64: 3731C36D78AF2FEA Time : 0.0 sec. user=mdettweiler [2015-08-07 00:55:14] 813*2^1405552-1 is not prime. Res64: 905CDFB5624A0C2C Time : 0.0 sec. user=mdettweiler [2015-08-07 00:55:15] 849*2^1405552-1 is not prime. Res64: CA8337C8419A750E Time : 0.0 sec. user=mdettweiler [2015-08-07 01:04:27] 873*2^1405552-1 is not prime. Res64: D8392D4933E5F9FD Time : 0.0 sec. user=mdettweiler [2015-08-07 01:04:28] 909*2^1405552-1 is not prime. Res64: C22C5CE83DB942B4 Time : 0.0 sec. user=mdettweiler [2015-08-07 01:10:01] 675*2^1405553-1 is not prime. Res64: EAD3D04B0899C13C Time : 0.0 sec. user=mdettweiler [2015-08-07 01:10:01] 735*2^1405553-1 is not prime. Res64: AB2D36913AB961AA Time : 0.0 sec. user=mdettweiler [2015-08-07 01:10:53] 789*2^1405553-1 is not prime. Res64: FA9B8057C05B84D9 Time : 0.0 sec. user=mdettweiler [2015-08-07 01:10:53] 957*2^1405553-1 is not prime. Res64: F638FB89D963CBC0 Time : 0.0 sec. user=mdettweiler [2015-08-07 01:13:45] 967*2^1405553-1 is not prime. Res64: 960D9779696A4E58 Time : 0.0 sec. user=mdettweiler [2015-08-07 01:13:46] 605*2^1405554-1 is not prime. Res64: 3CB53B8F3327D288 Time : 0.0 sec. user=mdettweiler [2015-08-07 01:23:32] 791*2^1405554-1 is not prime. Res64: EE0075B24D619DE1 Time : 0.0 sec. user=mdettweiler [2015-08-07 01:23:32] 893*2^1405554-1 is not prime. Res64: 2DA5DA31F4039752 Time : 0.0 sec. user=mdettweiler [2015-08-07 01:28:46] 945*2^1405554-1 is not prime. Res64: 84967E5822849654 Time : 0.0 sec. user=mdettweiler [2015-08-07 01:28:47] 619*2^1405555-1 is not prime. Res64: 8DFFB1E3E6BB7DD4 Time : 0.0 sec. user=mdettweiler [2015-08-07 01:29:39] 649*2^1405555-1 is not prime. Res64: 36ADFCFFAA4C7F10 Time : 0.0 sec. user=mdettweiler [2015-08-07 01:29:41] 759*2^1405555-1 is not prime. Res64: E404AB706859EAEF Time : 0.0 sec. user=mdettweiler [2015-08-07 01:32:35] 793*2^1405555-1 is not prime. Res64: 8862CB54A11DE680 Time : 0.0 sec. user=mdettweiler [2015-08-07 01:32:35] 829*2^1405555-1 is not prime. Res64: 73D2C11894059EF2 Time : 0.0 sec. user=mdettweiler [2015-08-07 01:42:19] 873*2^1405555-1 is not prime. Res64: 97A78407156A5921 Time : 0.0 sec. user=mdettweiler [2015-08-07 01:42:19] 913*2^1405555-1 is not prime. Res64: 74B834BA2AF74118 Time : 0.0 sec. user=mdettweiler [2015-08-07 01:47:29] 915*2^1405555-1 is not prime. Res64: CA7A6EF082A4A29E Time : 0.0 sec. user=mdettweiler [2015-08-07 01:47:29] 961*2^1405555-1 is not prime. Res64: 979B483E9F9EAE98 Time : 0.0 sec. user=mdettweiler [2015-08-07 01:48:29] 615*2^1405556-1 is not prime. Res64: 592A83A514A1AA35 Time : 0.0 sec. user=mdettweiler [2015-08-07 01:48:30] 623*2^1405556-1 is not prime. Res64: 20DC6B861D50C841 Time : 0.0 sec. user=mdettweiler [2015-08-07 01:51:20] 689*2^1405556-1 is not prime. Res64: 2C31E4B03BA1E512 Time : 0.0 sec. user=mdettweiler [2015-08-07 01:51:20] 693*2^1405556-1 is not prime. Res64: 9BA6194F8C12B2BB Time : 0.0 sec. user=mdettweiler [2015-08-07 02:01:14] 845*2^1405556-1 is not prime. Res64: 778F0336762E3149 Time : 0.0 sec. user=mdettweiler [2015-08-07 02:01:14] 655*2^1405557-1 is not prime. Res64: 900EF2642BEB6492 Time : 0.0 sec. user=mdettweiler [2015-08-07 02:05:52] 681*2^1405557-1 is not prime. Res64: 9B9996B1767F97C5 Time : 0.0 sec. user=mdettweiler [2015-08-07 02:05:53] 711*2^1405557-1 is not prime. Res64: 98A4A352CF244571 Time : 0.0 sec. user=mdettweiler [2015-08-07 02:06:36] 751*2^1405557-1 is not prime. Res64: 198D345540777E63 Time : 0.0 sec. user=mdettweiler [2015-08-07 02:06:37] 859*2^1405557-1 is not prime. Res64: EE61386BABADA889 Time : 0.0 sec. user=mdettweiler [2015-08-07 02:09:17] 663*2^1405558-1 is not prime. Res64: DC09F8C28DF9061C Time : 0.0 sec. user=mdettweiler [2015-08-07 02:09:18] 765*2^1405558-1 is not prime. Res64: 288FB2386CD31CD6 Time : 0.0 sec. user=mdettweiler [2015-08-07 02:18:52] 791*2^1405558-1 is not prime. Res64: 0FC3D074D55E9B1F Time : 0.0 sec. user=mdettweiler [2015-08-07 02:18:53] 821*2^1405558-1 is not prime. Res64: 57185912D1FA30E8 Time : 0.0 sec. user=mdettweiler [2015-08-07 02:23:54] 827*2^1405558-1 is not prime. Res64: CBBDA5EBB59D6089 Time : 0.0 sec. user=mdettweiler [2015-08-07 02:23:54] 975*2^1405558-1 is not prime. Res64: 10A19B8EDF26E8DE Time : 0.0 sec. user=mdettweiler [2015-08-07 02:24:37] 981*2^1405558-1 is not prime. Res64: D32F8A2018983B9D Time : 0.0 sec. user=mdettweiler [2015-08-07 02:24:38] 1001*2^1405558-1 is not prime. Res64: D26BAF09F51DF46D Time : 0.0 sec. user=mdettweiler [2015-08-07 02:27:32] 601*2^1405559-1 is not prime. Res64: E58D74762E3953D2 Time : 0.0 sec. user=mdettweiler [2015-08-07 02:27:33] 675*2^1405559-1 is not prime. Res64: A5FB013274CF9288 Time : 0.0 sec. user=mdettweiler [2015-08-07 02:37:39] 693*2^1405559-1 is not prime. Res64: 21C16F7846E67983 Time : 0.0 sec. user=mdettweiler [2015-08-07 02:37:39] 711*2^1405559-1 is not prime. Res64: 27C199FA1B05A5DD Time : 0.0 sec. user=mdettweiler [2015-08-07 02:42:09] 745*2^1405559-1 is not prime. Res64: 64D685AC1DBF7E0B Time : 0.0 sec. user=mdettweiler [2015-08-07 02:42:10] 789*2^1405559-1 is not prime. Res64: FDDD46E74D205464 Time : 0.0 sec. user=mdettweiler [2015-08-07 02:43:52] 879*2^1405559-1 is not prime. Res64: 7A42A9ED5E54807D Time : 0.0 sec. user=mdettweiler [2015-08-07 02:43:52] 889*2^1405559-1 is not prime. Res64: 3D260C1CB5CC2755 Time : 0.0 sec. user=mdettweiler [2015-08-07 02:45:50] 949*2^1405559-1 is not prime. Res64: 2BA46DAA21CF9011 Time : 0.0 sec. user=mdettweiler [2015-08-07 02:45:51] 609*2^1405560-1 is not prime. Res64: CCE578B7EBA760C1 Time : 0.0 sec. user=mdettweiler [2015-08-07 02:55:19] 695*2^1405560-1 is not prime. Res64: 0E4FAECE20AE9F0E Time : 0.0 sec. user=mdettweiler [2015-08-07 02:55:19] 759*2^1405560-1 is not prime. Res64: 865F80EFF101A6B1 Time : 0.0 sec. user=mdettweiler [2015-08-07 02:59:43] 863*2^1405560-1 is not prime. Res64: 93924E2FADCD3A89 Time : 0.0 sec. user=mdettweiler [2015-08-07 02:59:43] 879*2^1405560-1 is not prime. Res64: A30B1A171C37BC57 Time : 0.0 sec. user=mdettweiler [2015-08-07 03:01:32] 649*2^1405561-1 is not prime. Res64: E36B0DFE8B6E38B3 Time : 0.0 sec. user=mdettweiler [2015-08-07 03:01:33] 687*2^1405561-1 is not prime. Res64: EFA11AF34FB63EFB Time : 0.0 sec. user=mdettweiler [2015-08-07 03:03:27] 861*2^1405561-1 is not prime. Res64: 9393BB3C25EA5E0D Time : 0.0 sec. user=mdettweiler [2015-08-07 03:03:28] 889*2^1405561-1 is not prime. Res64: 3ACDFC11378BB11A Time : 0.0 sec. user=mdettweiler [2015-08-07 03:12:51] 931*2^1405561-1 is not prime. Res64: AF2E88AD1D81F315 Time : 0.0 sec. user=mdettweiler [2015-08-07 03:12:52] 633*2^1405562-1 is not prime. Res64: B449D0A8C4349E9A Time : 0.0 sec. user=mdettweiler [2015-08-07 03:17:18] 741*2^1405562-1 is not prime. Res64: 13EF4D3C33028CC4 Time : 0.0 sec. user=mdettweiler [2015-08-07 03:17:18] 767*2^1405562-1 is not prime. Res64: 8A6B4427E0AFFDF5 Time : 0.0 sec. user=mdettweiler [2015-08-07 03:19:22] 945*2^1405562-1 is not prime. Res64: 0E8499F35CD9482C Time : 0.0 sec. user=mdettweiler [2015-08-07 03:19:22] 963*2^1405562-1 is not prime. Res64: CFEA3164463A4F13 Time : 0.0 sec. user=mdettweiler [2015-08-07 03:20:57] 977*2^1405562-1 is not prime. Res64: 3F162A6E41E7F201 Time : 0.0 sec. user=mdettweiler [2015-08-07 03:20:57] 1001*2^1405562-1 is not prime. Res64: 4725274ED0660B70 Time : 0.0 sec. user=mdettweiler [2015-08-07 03:30:36] 705*2^1405563-1 is not prime. Res64: 72C537AA5AF8FA4A Time : 0.0 sec. user=mdettweiler [2015-08-07 03:30:36] 741*2^1405563-1 is not prime. Res64: 307B49B0E8253E77 Time : 0.0 sec. user=mdettweiler [2015-08-07 03:34:49] 781*2^1405563-1 is not prime. Res64: 62F1678D49BEFEA0 Time : 0.0 sec. user=mdettweiler [2015-08-07 03:34:50] 943*2^1405563-1 is not prime. Res64: E8B176C9C9B40220 Time : 0.0 sec. user=mdettweiler [2015-08-07 03:36:51] 609*2^1405564-1 is not prime. Res64: 68DA76BC2CFEE4B2 Time : 0.0 sec. user=mdettweiler [2015-08-07 03:36:52] 623*2^1405564-1 is not prime. Res64: 4855FCA011C808ED Time : 0.0 sec. user=mdettweiler [2015-08-07 03:38:26] 855*2^1405564-1 is not prime. Res64: F0939FABA54DE729 Time : 0.0 sec. user=mdettweiler [2015-08-07 03:38:28] 869*2^1405564-1 is not prime. Res64: C677CB48A334BC38 Time : 0.0 sec. user=mdettweiler [2015-08-07 03:48:10] 873*2^1405564-1 is not prime. Res64: FB75B2A562A47C3E Time : 0.0 sec. user=mdettweiler [2015-08-07 03:48:11] 939*2^1405564-1 is not prime. Res64: E04BB1D23AFB5180 Time : 0.0 sec. user=mdettweiler [2015-08-07 03:52:26] 959*2^1405564-1 is not prime. Res64: D95AE73432FD78BF Time : 0.0 sec. user=mdettweiler [2015-08-07 03:52:26] 697*2^1405565-1 is not prime. Res64: 43ECBBF9A874B4FC Time : 0.0 sec. user=mdettweiler [2015-08-07 03:54:23] 861*2^1405565-1 is not prime. Res64: 8548F5B186259472 Time : 0.0 sec. user=mdettweiler [2015-08-07 03:54:24] 937*2^1405565-1 is not prime. Res64: 7F79EE5506B5552B Time : 0.0 sec. user=mdettweiler [2015-08-07 03:55:58] 755*2^1405566-1 is not prime. Res64: 78B7363854E58827 Time : 0.0 sec. user=mdettweiler [2015-08-07 03:55:58] 921*2^1405566-1 is not prime. Res64: 2A15046FA40C758C Time : 0.0 sec. user=mdettweiler [2015-08-07 04:05:58] 971*2^1405566-1 is not prime. Res64: D8515F68464A22B0 Time : 0.0 sec. user=mdettweiler [2015-08-07 04:06:00] 645*2^1405567-1 is not prime. Res64: 2CA14BCC118D23F5 Time : 0.0 sec. user=mdettweiler [2015-08-07 04:10:16] 715*2^1405567-1 is not prime. Res64: 147EAC3F9A1C8A6B Time : 0.0 sec. user=mdettweiler [2015-08-07 04:10:17] 759*2^1405567-1 is not prime. Res64: E68DF27477C2875E Time : 0.0 sec. user=mdettweiler [2015-08-07 04:12:08] 819*2^1405567-1 is not prime. Res64: 207D96C8785B7CCC Time : 0.0 sec. user=mdettweiler [2015-08-07 04:12:08] 875*2^1405568-1 is not prime. Res64: D5FF2E3C04BE7FF9 Time : 0.0 sec. user=mdettweiler [2015-08-07 04:13:46] 923*2^1405568-1 is not prime. Res64: B0147A03975416FF Time : 0.0 sec. user=mdettweiler [2015-08-07 04:13:46] 963*2^1405568-1 is not prime. Res64: 726506389CECEDC0 Time : 0.0 sec. user=mdettweiler [2015-08-07 04:23:55] 609*2^1405569-1 is not prime. Res64: 513005877971BEE6 Time : 0.0 sec. user=mdettweiler [2015-08-07 04:23:56] 705*2^1405569-1 is not prime. Res64: 9492E0050264BD77 Time : 0.0 sec. user=mdettweiler [2015-08-07 04:27:47] 765*2^1405569-1 is not prime. Res64: F91F00295FBCCC5F Time : 0.0 sec. user=mdettweiler [2015-08-07 04:27:47] 769*2^1405569-1 is not prime. Res64: 838D6AE7A58132A4 Time : 0.0 sec. user=mdettweiler [2015-08-07 04:29:42] 787*2^1405569-1 is not prime. Res64: CBC6041F48868F9D Time : 0.0 sec. user=mdettweiler [2015-08-07 04:29:43] 807*2^1405569-1 is not prime. Res64: 72722DACFA979C00 Time : 0.0 sec. user=mdettweiler [2015-08-07 04:31:16] 895*2^1405569-1 is not prime. Res64: D9D140A022429797 Time : 0.0 sec. user=mdettweiler [2015-08-07 04:31:17] 987*2^1405569-1 is not prime. Res64: 0CBAF91061B21A03 Time : 0.0 sec. user=mdettweiler [2015-08-07 04:41:35] 605*2^1405570-1 is not prime. Res64: DC7CBC0912983943 Time : 0.0 sec. user=mdettweiler [2015-08-07 04:41:35] 657*2^1405570-1 is not prime. Res64: 496A2F0AA9A182E1 Time : 0.0 sec. user=mdettweiler [2015-08-07 04:45:22] 827*2^1405570-1 is not prime. Res64: B72403FF1F3A1C12 Time : 0.0 sec. user=mdettweiler [2015-08-07 04:45:23] 857*2^1405570-1 is not prime. Res64: 410AA41ABA3D2D9F Time : 0.0 sec. user=mdettweiler [2015-08-07 04:47:28] 915*2^1405570-1 is not prime. Res64: 3287C4594FFABCE8 Time : 0.0 sec. user=mdettweiler [2015-08-07 04:47:29] 945*2^1405570-1 is not prime. Res64: 5C3CF3FCA0445B88 Time : 0.0 sec. user=mdettweiler [2015-08-07 04:48:48] 995*2^1405570-1 is not prime. Res64: 80DAD2F331034E31 Time : 0.0 sec. user=mdettweiler [2015-08-07 04:48:48] 693*2^1405571-1 is not prime. Res64: DDE97B73BDA98633 Time : 0.0 sec. user=mdettweiler [2015-08-07 04:59:09] 855*2^1405571-1 is not prime. Res64: C53D3B0EFD822949 Time : 0.0 sec. user=mdettweiler [2015-08-07 04:59:09] 913*2^1405571-1 is not prime. Res64: CC997AA4C7336B2B Time : 0.0 sec. user=mdettweiler [2015-08-07 05:02:53] 737*2^1405572-1 is not prime. Res64: A812B30D1D72F1E2 Time : 0.0 sec. user=mdettweiler [2015-08-07 05:02:54] 777*2^1405572-1 is not prime. Res64: 692EF3523F21577A Time : 0.0 sec. user=mdettweiler [2015-08-07 05:05:09] 887*2^1405572-1 is not prime. Res64: 1521AEFD15169E5E Time : 0.0 sec. user=mdettweiler [2015-08-07 05:05:11] 975*2^1405572-1 is not prime. Res64: 0963859F78ACF5DD Time : 0.0 sec. user=mdettweiler [2015-08-07 05:06:18] 687*2^1405573-1 is not prime. Res64: AEEA0ADC6844FEDE Time : 0.0 sec. user=mdettweiler [2015-08-07 05:06:19] 805*2^1405573-1 is not prime. Res64: 5C4FF29E8A064854 Time : 0.0 sec. user=mdettweiler [2015-08-07 05:16:48] 895*2^1405573-1 is not prime. Res64: 02A665963320E72F Time : 0.0 sec. user=mdettweiler [2015-08-07 05:16:49] 967*2^1405573-1 is not prime. Res64: CB0E07FE1C04D15B Time : 0.0 sec. user=mdettweiler [2015-08-07 05:20:42] 665*2^1405574-1 is not prime. Res64: D7E05D4369E5436C Time : 0.0 sec. user=mdettweiler [2015-08-07 05:20:42] 711*2^1405574-1 is not prime. Res64: 645DC2DAE965E82A Time : 0.0 sec. user=mdettweiler [2015-08-07 05:23:01] 795*2^1405574-1 is not prime. Res64: 87A85A8886763067 Time : 0.0 sec. user=mdettweiler [2015-08-07 05:23:02] 857*2^1405574-1 is not prime. Res64: 91C7A151ABB81ECF Time : 0.0 sec. user=mdettweiler [2015-08-07 05:24:01] 885*2^1405574-1 is not prime. Res64: 8B8291E90434E2D9 Time : 0.0 sec. user=mdettweiler [2015-08-07 05:24:01] 965*2^1405574-1 is not prime. Res64: 84623D19AEB68EFC Time : 0.0 sec. user=mdettweiler [2015-08-07 05:34:27] 601*2^1405575-1 is not prime. Res64: ADAF93521D15CE6A Time : 0.0 sec. user=mdettweiler [2015-08-07 05:34:27] 619*2^1405575-1 is not prime. Res64: A25DBB23C5913E04 Time : 0.0 sec. user=mdettweiler [2015-08-07 05:38:16] 741*2^1405575-1 is not prime. Res64: F0C624ED17C61579 Time : 0.0 sec. user=mdettweiler [2015-08-07 05:38:16] 853*2^1405575-1 is not prime. Res64: 0DF10DEB9DB14A6B Time : 0.0 sec. user=mdettweiler [2015-08-07 05:40:38] 859*2^1405575-1 is not prime. Res64: C2C3B5AB169C2CFA Time : 0.0 sec. user=mdettweiler [2015-08-07 05:40:39] 885*2^1405575-1 is not prime. Res64: BB758345383C76BA Time : 0.0 sec. user=mdettweiler [2015-08-07 05:41:36] 951*2^1405575-1 is not prime. Res64: 01F2A6F958BBC9E9 Time : 0.0 sec. user=mdettweiler [2015-08-07 05:41:37] 675*2^1405576-1 is not prime. Res64: 21070A1BC7F1F04E Time : 0.0 sec. user=mdettweiler [2015-08-07 05:51:59] 707*2^1405576-1 is not prime. Res64: 3F7139160AAFE342 Time : 0.0 sec. user=mdettweiler [2015-08-07 05:52:00] 849*2^1405576-1 is not prime. Res64: 75953BAF6E735FB0 Time : 0.0 sec. user=mdettweiler [2015-08-07 05:55:47] 873*2^1405576-1 is not prime. Res64: 8A07E07BA38FD6E8 Time : 0.0 sec. user=mdettweiler [2015-08-07 05:55:48] 887*2^1405576-1 is not prime. Res64: 2176DBD0A0C159A5 Time : 0.0 sec. user=mdettweiler [2015-08-07 05:58:15] 905*2^1405576-1 is not prime. Res64: FE00675F23F64513 Time : 0.0 sec. user=mdettweiler [2015-08-07 05:58:16] 989*2^1405576-1 is not prime. Res64: 3C87D18EA5F517A4 Time : 0.0 sec. user=mdettweiler [2015-08-07 05:59:14] 607*2^1405577-1 is not prime. Res64: EADD0AAA529A7EF2 Time : 0.0 sec. user=mdettweiler [2015-08-07 05:59:14] 649*2^1405577-1 is not prime. Res64: A68E4789BC37F247 Time : 0.0 sec. user=mdettweiler [2015-08-07 06:09:37] 697*2^1405577-1 is not prime. Res64: 65F6F1E6A1483A55 Time : 0.0 sec. user=mdettweiler [2015-08-07 06:09:37] 769*2^1405577-1 is not prime. Res64: 283AF4DFFA7D242F Time : 0.0 sec. user=mdettweiler [2015-08-07 06:13:22] 777*2^1405577-1 is not prime. Res64: C8ABD2A4E02CEAF4 Time : 0.0 sec. user=mdettweiler [2015-08-07 06:13:23] 871*2^1405577-1 is not prime. Res64: 4F348CE6D1A13443 Time : 0.0 sec. user=mdettweiler [2015-08-07 06:15:51] 879*2^1405577-1 is not prime. Res64: 2A3428A4B00A1A5A Time : 0.0 sec. user=mdettweiler [2015-08-07 06:15:52] 981*2^1405577-1 is not prime. Res64: C0D9091A15B1DCA0 Time : 0.0 sec. user=mdettweiler [2015-08-07 06:16:47] 605*2^1405578-1 is not prime. Res64: 463DC780AA37C32F Time : 0.0 sec. user=mdettweiler [2015-08-07 06:16:47] 651*2^1405578-1 is not prime. Res64: 35022201385DDA9D Time : 0.0 sec. user=mdettweiler [2015-08-07 06:27:11] 665*2^1405578-1 is not prime. Res64: 4F5188E8FE5E64E0 Time : 0.0 sec. user=mdettweiler [2015-08-07 06:27:11] 677*2^1405578-1 is not prime. Res64: 0C8FA6967A442C06 Time : 0.0 sec. user=mdettweiler [2015-08-07 06:30:59] 777*2^1405578-1 is not prime. Res64: 07A832702CC867B9 Time : 0.0 sec. user=mdettweiler [2015-08-07 06:30:59] 821*2^1405578-1 is not prime. Res64: 69C69F4AD7452A15 Time : 0.0 sec. user=mdettweiler [2015-08-07 06:33:27] 971*2^1405578-1 is not prime. Res64: 087A622E942FB4B1 Time : 0.0 sec. user=mdettweiler [2015-08-07 06:33:27] 649*2^1405579-1 is not prime. Res64: C7273937AB876F54 Time : 0.0 sec. user=mdettweiler [2015-08-07 06:34:25] 843*2^1405579-1 is not prime. Res64: 37B71B3C6B7EBF68 Time : 0.0 sec. user=mdettweiler [2015-08-07 06:34:25] 913*2^1405579-1 is not prime. Res64: 3CD88DA59FE3861D Time : 0.0 sec. user=mdettweiler [2015-08-07 06:44:45] 717*2^1405580-1 is not prime. Res64: 47B3675D8EB10ED7 Time : 0.0 sec. user=mdettweiler [2015-08-07 06:44:45] 753*2^1405580-1 is not prime. Res64: D840760C5E99A30A Time : 0.0 sec. user=mdettweiler [2015-08-07 06:48:31] 899*2^1405580-1 is not prime. Res64: A32708D76AAF42F8 Time : 0.0 sec. user=mdettweiler [2015-08-07 06:48:32] 983*2^1405580-1 is not prime. Res64: B235AA51FA98CE91 Time : 0.0 sec. user=mdettweiler [2015-08-07 06:51:05] 995*2^1405580-1 is not prime. Res64: 1D93CE2E62E33CA6 Time : 0.0 sec. user=mdettweiler [2015-08-07 06:51:05] 607*2^1405581-1 is not prime. Res64: 7303360D9F85F102 Time : 0.0 sec. user=mdettweiler [2015-08-07 06:51:59] 649*2^1405581-1 is not prime. Res64: 093969ADDE55D8C8 Time : 0.0 sec. user=mdettweiler [2015-08-07 06:51:59] 727*2^1405581-1 is not prime. Res64: FBA52576B64629E3 Time : 0.0 sec. user=mdettweiler [2015-08-07 07:02:27] 747*2^1405581-1 is not prime. Res64: 95CDDC6A70B71315 Time : 0.0 sec. user=mdettweiler [2015-08-07 07:02:28] 795*2^1405581-1 is not prime. Res64: C38248AECD5A5532 Time : 0.0 sec. user=mdettweiler [2015-08-07 07:06:15] 889*2^1405581-1 is not prime. Res64: FC187E5828F92DF2 Time : 0.0 sec. user=mdettweiler [2015-08-07 07:06:15] 951*2^1405581-1 is not prime. Res64: CC709A172786DD15 Time : 0.0 sec. user=mdettweiler [2015-08-07 07:08:46] 645*2^1405582-1 is not prime. Res64: 0A6230CD6D660BE1 Time : 0.0 sec. user=mdettweiler [2015-08-07 07:08:47] 653*2^1405582-1 is not prime. Res64: A4DB482A03922006 Time : 0.0 sec. user=mdettweiler [2015-08-07 07:09:36] 657*2^1405582-1 is not prime. Res64: 8F91F18C8449FCB0 Time : 0.0 sec. user=mdettweiler [2015-08-07 07:09:36] 785*2^1405582-1 is not prime. Res64: DB165325FDA03F35 Time : 0.0 sec. user=mdettweiler [2015-08-07 07:20:19] 791*2^1405582-1 is not prime. Res64: 52ED336163322C23 Time : 0.0 sec. user=mdettweiler [2015-08-07 07:20:19] 863*2^1405582-1 is not prime. Res64: 47C97B61CEBDEF95 Time : 0.0 sec. user=mdettweiler [2015-08-07 07:23:49] 947*2^1405582-1 is not prime. Res64: C7215412FC7CA6EC Time : 0.0 sec. user=mdettweiler [2015-08-07 07:23:50] 965*2^1405582-1 is not prime. Res64: BA6917F090F29770 Time : 0.0 sec. user=mdettweiler [2015-08-07 07:26:20] 983*2^1405582-1 is not prime. Res64: 1542AE70156CF15F Time : 0.0 sec. user=mdettweiler [2015-08-07 07:26:21] 987*2^1405582-1 is not prime. Res64: 01FBA4C5CDC710A8 Time : 0.0 sec. user=mdettweiler [2015-08-07 07:27:15] 603*2^1405583-1 is not prime. Res64: 5F52E0627C409465 Time : 0.0 sec. user=mdettweiler [2015-08-07 07:27:16] 649*2^1405583-1 is not prime. Res64: 06CCB4B456B727F5 Time : 0.0 sec. user=mdettweiler [2015-08-07 07:37:55] 663*2^1405583-1 is not prime. Res64: CFE711BBAE9F435F Time : 0.0 sec. user=mdettweiler [2015-08-07 07:37:56] 669*2^1405583-1 is not prime. Res64: DE4EE105A5C20F1C Time : 0.0 sec. user=mdettweiler [2015-08-07 07:41:26] 759*2^1405583-1 is not prime. Res64: 0A008513F9EB079A Time : 0.0 sec. user=mdettweiler [2015-08-07 07:41:27] 763*2^1405583-1 is not prime. Res64: 33D091B51A06CE83 Time : 0.0 sec. user=mdettweiler [2015-08-07 07:43:56] 813*2^1405583-1 is not prime. Res64: F163E74F8D49EC61 Time : 0.0 sec. user=mdettweiler [2015-08-07 07:43:57] 859*2^1405583-1 is not prime. Res64: 27889B261B71280E Time : 0.0 sec. user=mdettweiler [2015-08-07 07:44:46] 861*2^1405583-1 is not prime. Res64: C576CF9C24985C76 Time : 0.0 sec. user=mdettweiler [2015-08-07 07:44:46] 921*2^1405583-1 is not prime. Res64: 79549751C2BBAEB4 Time : 0.0 sec. user=mdettweiler [2015-08-07 07:55:29] 981*2^1405583-1 is not prime. Res64: 4B6066FECF25C5E2 Time : 0.0 sec. user=mdettweiler [2015-08-07 07:55:29] 627*2^1405584-1 is not prime. Res64: 80266605797FB6AE Time : 0.0 sec. user=mdettweiler [2015-08-07 07:58:59] 695*2^1405584-1 is not prime. Res64: 6ECEC98D32AB7B56 Time : 0.0 sec. user=mdettweiler [2015-08-07 07:58:59] 705*2^1405584-1 is not prime. Res64: 4CD29C52F072843D Time : 0.0 sec. user=mdettweiler [2015-08-07 08:01:36] 717*2^1405584-1 is not prime. Res64: 3E62C2CE52C5AB68 Time : 0.0 sec. user=mdettweiler [2015-08-07 08:01:37] 809*2^1405584-1 is not prime. Res64: 51F0AA231E2F0CCF Time : 0.0 sec. user=mdettweiler [2015-08-07 08:02:17] 645*2^1405585-1 is not prime. Res64: 88C2A49E21155EF9 Time : 0.0 sec. user=mdettweiler [2015-08-07 08:02:18] 667*2^1405585-1 is not prime. Res64: 631632C6CB794522 Time : 0.0 sec. user=mdettweiler [2015-08-07 08:13:01] 679*2^1405585-1 is not prime. Res64: 7F16C11D3AF6F97F Time : 0.0 sec. user=mdettweiler [2015-08-07 08:13:01] 699*2^1405585-1 is not prime. Res64: 8F201A7F87E690EA Time : 0.0 sec. user=mdettweiler [2015-08-07 08:16:40] 705*2^1405585-1 is not prime. Res64: 0D4893FF17448880 Time : 0.0 sec. user=mdettweiler [2015-08-07 08:16:40] 765*2^1405585-1 is not prime. Res64: F34CEC97F337A3BE Time : 0.0 sec. user=mdettweiler [2015-08-07 08:19:22] 799*2^1405585-1 is not prime. Res64: BE2E9A4D2815F49F Time : 0.0 sec. user=mdettweiler [2015-08-07 08:19:23] 801*2^1405585-1 is not prime. Res64: 56206920A1F0D3BD Time : 0.0 sec. user=mdettweiler [2015-08-07 08:19:52] 877*2^1405585-1 is not prime. Res64: 4E08BDAC7B6BA396 Time : 0.0 sec. user=mdettweiler [2015-08-07 08:19:52] 623*2^1405586-1 is not prime. Res64: 7A96A9C6D439C117 Time : 0.0 sec. user=mdettweiler [2015-08-07 08:30:37] 645*2^1405586-1 is not prime. Res64: FC51F4B4C4E07EC3 Time : 0.0 sec. user=mdettweiler [2015-08-07 08:30:37] 683*2^1405586-1 is not prime. Res64: A34D57E1A458379D Time : 0.0 sec. user=mdettweiler [2015-08-07 08:34:16] 935*2^1405586-1 is not prime. Res64: E7A472203BBB0441 Time : 0.0 sec. user=mdettweiler [2015-08-07 08:34:16] 971*2^1405586-1 is not prime. Res64: C37545D3B5F6F451 Time : 0.0 sec. user=mdettweiler [2015-08-07 08:36:58] 619*2^1405587-1 is not prime. Res64: 994F1E291A94235F Time : 0.0 sec. user=mdettweiler [2015-08-07 08:36:59] 651*2^1405587-1 is not prime. Res64: 79097096EF62602A Time : 0.0 sec. user=mdettweiler [2015-08-07 08:37:26] 705*2^1405587-1 is not prime. Res64: 50EEF570601A33D9 Time : 0.0 sec. user=mdettweiler [2015-08-07 08:37:26] 795*2^1405587-1 is not prime. Res64: 2377E896AE8851EF Time : 0.0 sec. user=mdettweiler [2015-08-07 08:48:13] 805*2^1405587-1 is not prime. Res64: 034C8927ECDC9683 Time : 0.0 sec. user=mdettweiler [2015-08-07 08:48:13] 891*2^1405587-1 is not prime. Res64: 8BF39886AF85CCAE Time : 0.0 sec. user=mdettweiler [2015-08-07 08:51:51] 951*2^1405587-1 is not prime. Res64: 9D0BB081D1FEE7C4 Time : 0.0 sec. user=mdettweiler [2015-08-07 08:51:51] 979*2^1405587-1 is not prime. Res64: 1ADEBC588DF4A2EB Time : 0.0 sec. user=mdettweiler [2015-08-07 08:54:30] 615*2^1405588-1 is not prime. Res64: F10ADE33AA605B5E Time : 0.0 sec. user=mdettweiler [2015-08-07 08:54:31] 647*2^1405588-1 is not prime. Res64: F4F428E0918C958B Time : 0.0 sec. user=mdettweiler [2015-08-07 08:54:58] 695*2^1405588-1 is not prime. Res64: 3DC94B4667810EB4 Time : 0.0 sec. user=mdettweiler [2015-08-07 08:54:59] 707*2^1405588-1 is not prime. Res64: 004660E33B93CCCD Time : 0.0 sec. user=mdettweiler [2015-08-07 09:05:46] 743*2^1405588-1 is not prime. Res64: C4DD8FE5EA72E647 Time : 0.0 sec. user=mdettweiler [2015-08-07 09:05:47] 827*2^1405588-1 is not prime. Res64: EC69D7F98C71E55F Time : 0.0 sec. user=mdettweiler [2015-08-07 09:09:19] 843*2^1405588-1 is not prime. Res64: 6F0315A859F2ACD0 Time : 0.0 sec. user=mdettweiler [2015-08-07 09:09:19] 845*2^1405588-1 is not prime. Res64: 2A121F18E8287AD7 Time : 0.0 sec. user=mdettweiler [2015-08-07 09:12:04] 915*2^1405588-1 is not prime. Res64: 0E88F691803DCA3A Time : 0.0 sec. user=mdettweiler [2015-08-07 09:12:04] 995*2^1405588-1 is not prime. Res64: D19547CFEB69843B Time : 0.0 sec. user=mdettweiler [2015-08-07 09:12:34] 727*2^1405589-1 is not prime. Res64: 1B64CA8DD628BA29 Time : 0.0 sec. user=mdettweiler [2015-08-07 09:12:35] 781*2^1405589-1 is not prime. Res64: 0F462139DAA3E86E Time : 0.0 sec. user=mdettweiler [2015-08-07 09:23:22] 811*2^1405589-1 is not prime. Res64: 9EA11C4CC9AE2342 Time : 0.0 sec. user=mdettweiler [2015-08-07 09:23:23] 671*2^1405590-1 is not prime. Res64: 70287F399939B27B Time : 0.0 sec. user=mdettweiler [2015-08-07 09:26:54] 741*2^1405590-1 is not prime. Res64: 36D13EDB0454FDD1 Time : 0.0 sec. user=mdettweiler [2015-08-07 09:26:55] 777*2^1405590-1 is not prime. Res64: 6A87728AA4617FE0 Time : 0.0 sec. user=mdettweiler [2015-08-07 09:29:41] 915*2^1405590-1 is not prime. Res64: 81E0A7E22F4B95E6 Time : 0.0 sec. user=mdettweiler [2015-08-07 09:29:41] 921*2^1405590-1 is not prime. Res64: 6A1EE2149B6FDF3F Time : 0.0 sec. user=mdettweiler [2015-08-07 09:30:15] 977*2^1405590-1 is not prime. Res64: 17A97EDC9798856C Time : 0.0 sec. user=mdettweiler [2015-08-07 09:30:15] 745*2^1405591-1 is not prime. Res64: F09BF78C9EE918F6 Time : 0.0 sec. user=mdettweiler [2015-08-07 09:40:57] 873*2^1405591-1 is not prime. Res64: 71BB5ED1C1495248 Time : 0.0 sec. user=mdettweiler [2015-08-07 09:40:58] 931*2^1405591-1 is not prime. Res64: 541F4EB2833EE73A Time : 0.0 sec. user=mdettweiler [2015-08-07 09:44:30] 999*2^1405591-1 is not prime. Res64: F0C278C3F4781FA7 Time : 0.0 sec. user=mdettweiler [2015-08-07 09:44:30] 615*2^1405592-1 is not prime. Res64: 59B8BBD46D20E51C Time : 0.0 sec. user=mdettweiler [2015-08-07 09:47:19] 617*2^1405592-1 is not prime. Res64: F5BE5D97D687B97B Time : 0.0 sec. user=mdettweiler [2015-08-07 09:47:20] 669*2^1405592-1 is not prime. Res64: 115FB5B0399B3994 Time : 0.0 sec. user=mdettweiler [2015-08-07 09:47:46] 687*2^1405592-1 is not prime. Res64: E32CD6A70371E4C2 Time : 0.0 sec. user=mdettweiler [2015-08-07 09:47:46] 717*2^1405592-1 is not prime. Res64: EC50517F3204D216 Time : 0.0 sec. user=mdettweiler [2015-08-07 09:58:29] 827*2^1405592-1 is not prime. Res64: A95BC1143335D80C Time : 0.0 sec. user=mdettweiler [2015-08-07 09:58:30] 893*2^1405592-1 is not prime. Res64: DF18B1138293F560 Time : 0.0 sec. user=mdettweiler [2015-08-07 10:02:05] 899*2^1405592-1 is not prime. Res64: 82922BB55014FDA4 Time : 0.0 sec. user=mdettweiler [2015-08-07 10:02:06] 903*2^1405592-1 is not prime. Res64: 83BC5E8561A271E5 Time : 0.0 sec. user=mdettweiler [2015-08-07 10:04:54] 977*2^1405592-1 is not prime. Res64: CD055973E5972900 Time : 0.0 sec. user=mdettweiler [2015-08-07 10:04:55] 657*2^1405593-1 is not prime. Res64: DE3093F9D364DC76 Time : 0.0 sec. user=mdettweiler [2015-08-07 10:05:26] 685*2^1405593-1 is not prime. Res64: 831E75DAB392198D Time : 0.0 sec. user=mdettweiler [2015-08-07 10:05:27] 699*2^1405593-1 is not prime. Res64: 97314B3EACF87740 Time : 0.0 sec. user=mdettweiler [2015-08-07 10:16:08] 751*2^1405593-1 is not prime. Res64: E8A8ECF0F154CBC9 Time : 0.0 sec. user=mdettweiler [2015-08-07 10:16:09] 871*2^1405593-1 is not prime. Res64: 8303EFFF5563C860 Time : 0.0 sec. user=mdettweiler [2015-08-07 10:19:45] 991*2^1405593-1 is not prime. Res64: 119D241407A8FA29 Time : 0.0 sec. user=mdettweiler [2015-08-07 10:19:46] 999*2^1405593-1 is not prime. Res64: 8EA5C140F7A75B92 Time : 0.0 sec. user=mdettweiler [2015-08-07 10:22:29] 773*2^1405594-1 is not prime. Res64: 75840C351A0A940D Time : 0.0 sec. user=mdettweiler [2015-08-07 10:22:29] 803*2^1405594-1 is not prime. Res64: C220C651B25BA297 Time : 0.0 sec. user=mdettweiler [2015-08-07 10:22:58] 825*2^1405594-1 is not prime. Res64: 8DD976E0F8000D79 Time : 0.0 sec. user=mdettweiler [2015-08-07 10:22:58] 885*2^1405594-1 is not prime. Res64: 01A257BE8E4C1B61 Time : 0.0 sec. user=mdettweiler [2015-08-07 10:33:52] 887*2^1405594-1 is not prime. Res64: 01CAD64FAD647902 Time : 0.0 sec. user=mdettweiler [2015-08-07 10:33:53] 601*2^1405595-1 is not prime. Res64: 652E2DBD761E7FC4 Time : 0.0 sec. user=mdettweiler [2015-08-07 10:37:28] 619*2^1405595-1 is not prime. Res64: 8D6100B9287B4EB5 Time : 0.0 sec. user=mdettweiler [2015-08-07 10:37:28] 783*2^1405595-1 is not prime. Res64: CD5BC8E672F4D31C Time : 0.0 sec. user=mdettweiler [2015-08-07 10:40:04] 963*2^1405595-1 is not prime. Res64: 770087AB4EF4C41B Time : 0.0 sec. user=mdettweiler [2015-08-07 10:40:05] 609*2^1405596-1 is not prime. Res64: 8C63CF4366624DCB Time : 0.0 sec. user=mdettweiler [2015-08-07 10:40:29] 629*2^1405596-1 is not prime. Res64: 017207B4FFF3C07A Time : 0.0 sec. user=mdettweiler [2015-08-07 10:40:30] 783*2^1405596-1 is not prime. Res64: A52D004300DF1DDA Time : 0.0 sec. user=mdettweiler [2015-08-07 10:51:24] 879*2^1405596-1 is not prime. Res64: A19F1F96C2688577 Time : 0.0 sec. user=mdettweiler [2015-08-07 10:51:25] 887*2^1405596-1 is not prime. Res64: 9B997F003E96495B Time : 0.0 sec. user=mdettweiler [2015-08-07 10:55:07] 899*2^1405596-1 is not prime. Res64: A36A58A2F7101FE4 Time : 0.0 sec. user=mdettweiler [2015-08-07 10:55:08] 945*2^1405596-1 is not prime. Res64: 4A5959B635098A3C Time : 0.0 sec. user=mdettweiler [2015-08-07 10:57:45] 975*2^1405596-1 is not prime. Res64: 2B9BECCB4CA56FC7 Time : 0.0 sec. user=mdettweiler [2015-08-07 10:57:45] 983*2^1405596-1 is not prime. Res64: 25A5223E9128C8C8 Time : 0.0 sec. user=mdettweiler [2015-08-07 10:58:05] 645*2^1405597-1 is not prime. Res64: B300E14AD2A4424F Time : 0.0 sec. user=mdettweiler [2015-08-07 10:58:06] 685*2^1405597-1 is not prime. Res64: 7F2653C51182C749 Time : 0.0 sec. user=mdettweiler [2015-08-07 11:08:57] 741*2^1405597-1 is not prime. Res64: 3681DAE132AB831E Time : 0.0 sec. user=mdettweiler [2015-08-07 11:08:57] 801*2^1405597-1 is not prime. Res64: 860A46A082862984 Time : 0.0 sec. user=mdettweiler [2015-08-07 11:12:47] 885*2^1405597-1 is not prime. Res64: AB7ED4DFDBFA6767 Time : 0.0 sec. user=mdettweiler [2015-08-07 11:12:47] 889*2^1405597-1 is not prime. Res64: F78C33B36F3EE64F Time : 0.0 sec. user=mdettweiler [2015-08-07 11:15:26] 955*2^1405597-1 is not prime. Res64: 57B38294ACC09533 Time : 0.0 sec. user=mdettweiler [2015-08-07 11:15:26] 617*2^1405598-1 is not prime. Res64: D9BB718B70FD4BA4 Time : 0.0 sec. user=mdettweiler [2015-08-07 11:15:47] 635*2^1405598-1 is not prime. Res64: 238F37BC73B342E9 Time : 0.0 sec. user=mdettweiler [2015-08-07 11:15:47] 645*2^1405598-1 is not prime. Res64: 7C0BBA683D32379A Time : 0.0 sec. user=mdettweiler [2015-08-07 11:27:04] 677*2^1405598-1 is not prime. Res64: A2BBDFBD1BC7E7F8 Time : 0.0 sec. user=mdettweiler [2015-08-07 11:27:04] 767*2^1405598-1 is not prime. Res64: EEDD8282A258F36A Time : 0.0 sec. user=mdettweiler [2015-08-07 11:30:53] 941*2^1405598-1 is not prime. Res64: F5BF5B25AE6071D0 Time : 0.0 sec. user=mdettweiler [2015-08-07 11:30:53] 853*2^1405599-1 is not prime. Res64: 1654E32B5D15F1A9 Time : 0.0 sec. user=mdettweiler [2015-08-07 11:34:09] 895*2^1405599-1 is not prime. Res64: FC37582E65C38F9D Time : 0.0 sec. user=mdettweiler [2015-08-07 11:34:10] 609*2^1405600-1 is not prime. Res64: 58F48123001B657F Time : 0.0 sec. user=mdettweiler [2015-08-07 11:34:32] 629*2^1405600-1 is not prime. Res64: 6404414F7B286A95 Time : 0.0 sec. user=mdettweiler [2015-08-07 11:34:32] 645*2^1405600-1 is not prime. Res64: 3A2B730E6B090DFB Time : 0.0 sec. user=mdettweiler [2015-08-07 11:46:54] 857*2^1405600-1 is not prime. Res64: 00E6C6D427B3DEB3 Time : 0.0 sec. user=mdettweiler [2015-08-07 11:46:54] 873*2^1405600-1 is not prime. Res64: C3A38AB1A6D0F8E7 Time : 0.0 sec. user=mdettweiler [2015-08-07 11:51:19] 679*2^1405601-1 is not prime. Res64: 8335593D4E887721 Time : 0.0 sec. user=mdettweiler [2015-08-07 11:51:19] 747*2^1405601-1 is not prime. Res64: 35BC078466B7ABB3 Time : 0.0 sec. user=mdettweiler [2015-08-07 11:54:33] 855*2^1405601-1 is not prime. Res64: FF2DD9B4E00CE052 Time : 0.0 sec. user=mdettweiler [2015-08-07 11:54:33] 861*2^1405601-1 is not prime. Res64: D0264E5DEBDF579E Time : 0.0 sec. user=mdettweiler [2015-08-07 11:55:04] 907*2^1405601-1 is not prime. Res64: E9A966CF8FC2BABB Time : 0.0 sec. user=mdettweiler [2015-08-07 11:55:04] 611*2^1405602-1 is not prime. Res64: 9C13F6B5CD420D5A Time : 0.0 sec. user=mdettweiler [2015-08-07 12:07:48] 621*2^1405602-1 is not prime. Res64: 154455FA8CBEFD24 Time : 0.0 sec. user=mdettweiler [2015-08-07 12:07:49] 725*2^1405602-1 is not prime. Res64: 36B97C0C7093E0F2 Time : 0.0 sec. user=mdettweiler [2015-08-07 12:12:34] 791*2^1405602-1 is not prime. Res64: F36AA0A2FB2A1DC5 Time : 0.0 sec. user=mdettweiler [2015-08-07 12:12:34] 803*2^1405602-1 is not prime. Res64: A9582B9BFC25E012 Time : 0.0 sec. user=mdettweiler [2015-08-07 12:15:54] 873*2^1405602-1 is not prime. Res64: 6821C134762CEC34 Time : 0.0 sec. user=mdettweiler [2015-08-07 12:15:54] 917*2^1405602-1 is not prime. Res64: F553589733771D43 Time : 0.0 sec. user=mdettweiler [2015-08-07 12:16:24] 923*2^1405602-1 is not prime. Res64: D73DB6CC87EC8DD6 Time : 0.0 sec. user=mdettweiler [2015-08-07 12:16:24] 963*2^1405602-1 is not prime. Res64: E5A144E1F58E7E2B Time : 0.0 sec. user=mdettweiler [2015-08-07 12:29:22] 983*2^1405602-1 is not prime. Res64: 7CA43CF355DEE130 Time : 0.0 sec. user=mdettweiler [2015-08-07 12:29:22] 609*2^1405603-1 is not prime. Res64: 195D722B05E4AFCE Time : 0.0 sec. user=mdettweiler [2015-08-07 12:33:37] 703*2^1405603-1 is not prime. Res64: 0B68210CD85247B8 Time : 0.0 sec. user=mdettweiler [2015-08-07 12:33:37] 723*2^1405603-1 is not prime. Res64: 1055D40E6826C7F1 Time : 0.0 sec. user=mdettweiler [2015-08-07 12:37:03] 735*2^1405603-1 is not prime. Res64: DA41639906AA3D90 Time : 0.0 sec. user=mdettweiler [2015-08-07 12:37:03] 969*2^1405603-1 is not prime. Res64: 54DBF5A1B47B0430 Time : 0.0 sec. user=mdettweiler [2015-08-07 12:37:03] 853*2^1405603-1 is not prime. Res64: 5EE7F1EDED618A61 Time : 0.0 sec. user=mdettweiler [2015-08-07 12:37:03] 699*2^1405604-1 is not prime. Res64: 8BD4F50F85928FDC Time : 0.0 sec. user=mdettweiler [2015-08-07 12:48:26] 743*2^1405604-1 is not prime. Res64: AD5195DC3C0E41DC Time : 0.0 sec. user=mdettweiler [2015-08-07 12:48:27] 825*2^1405604-1 is not prime. Res64: 5D87443EE000A02A Time : 0.0 sec. user=mdettweiler [2015-08-07 12:52:04] 855*2^1405604-1 is not prime. Res64: E6D748F04C026AEE Time : 0.0 sec. user=mdettweiler [2015-08-07 12:52:05] 869*2^1405604-1 is not prime. Res64: 73E29A62A9D2DD0C Time : 0.0 sec. user=mdettweiler [2015-08-07 12:55:06] 609*2^1405605-1 is not prime. Res64: F85CE7DEEB393A2B Time : 0.0 sec. user=mdettweiler [2015-08-07 12:55:07] 649*2^1405605-1 is not prime. Res64: 51FD7E462E906876 Time : 0.0 sec. user=mdettweiler [2015-08-07 12:55:09] 927*2^1405604-1 is not prime. Res64: F37E7084128BCD52 Time : 0.0 sec. user=mdettweiler [2015-08-07 12:55:09] 935*2^1405604-1 is not prime. Res64: 973D592028B4F5CE Time : 0.0 sec. user=mdettweiler [2015-08-07 13:06:07] 781*2^1405605-1 is not prime. Res64: B12F34CF5E1AB454 Time : 0.0 sec. user=mdettweiler [2015-08-07 13:06:08] 819*2^1405605-1 is not prime. Res64: AA38519E628D6158 Time : 0.0 sec. user=mdettweiler [2015-08-07 13:09:42] 891*2^1405605-1 is not prime. Res64: FC8CF1400A77FA0E Time : 0.0 sec. user=mdettweiler [2015-08-07 13:09:42] 915*2^1405605-1 is not prime. Res64: 014ED1DA6D0D2198 Time : 0.0 sec. user=mdettweiler [2015-08-07 13:12:43] 813*2^1405606-1 is not prime. Res64: 00E9013FC8E3D652 Time : 0.0 sec. user=mdettweiler [2015-08-07 13:12:43] 843*2^1405606-1 is not prime. Res64: DD128BA9BC477259 Time : 0.0 sec. user=mdettweiler [2015-08-07 13:12:46] 857*2^1405606-1 is not prime. Res64: DBA44FC344F9596F Time : 0.0 sec. user=mdettweiler [2015-08-07 13:12:46] 873*2^1405606-1 is not prime. Res64: ABF3CB5675EE7533 Time : 0.0 sec. user=mdettweiler [2015-08-07 13:24:02] 957*2^1405606-1 is not prime. Res64: 9EF30E4F843BC48E Time : 0.0 sec. user=mdettweiler [2015-08-07 13:24:02] 729*2^1405607-1 is not prime. Res64: 05D2DF544B022CB9 Time : 0.0 sec. user=mdettweiler [2015-08-07 13:27:20] 955*2^1405607-1 is not prime. Res64: 2BDDB1BEAAE26C80 Time : 0.0 sec. user=mdettweiler [2015-08-07 13:27:21] 993*2^1405607-1 is not prime. Res64: E4F7BAB56A6CB421 Time : 0.0 sec. user=mdettweiler [2015-08-07 13:30:24] 629*2^1405608-1 is not prime. Res64: 12703CB127D95513 Time : 0.0 sec. user=mdettweiler [2015-08-07 13:30:24] 737*2^1405608-1 is not prime. Res64: 3274BB6BD396C733 Time : 0.0 sec. user=mdettweiler [2015-08-07 13:30:24] 753*2^1405608-1 is not prime. Res64: 1CB4C25776EDFE2B Time : 0.0 sec. user=mdettweiler [2015-08-07 13:30:25] 773*2^1405608-1 is not prime. Res64: 9A4EB0D4368D81E0 Time : 0.0 sec. user=mdettweiler [2015-08-07 13:41:44] 887*2^1405608-1 is not prime. Res64: 91CF6F899091A52D Time : 0.0 sec. user=mdettweiler [2015-08-07 13:41:45] 615*2^1405609-1 is not prime. Res64: ED251F8E3EF52C30 Time : 0.0 sec. user=mdettweiler [2015-08-07 13:45:05] 771*2^1405609-1 is not prime. Res64: 6777FA53E33147B6 Time : 0.0 sec. user=mdettweiler [2015-08-07 13:45:06] 789*2^1405609-1 is not prime. Res64: B19975218BCD18C2 Time : 0.0 sec. user=mdettweiler [2015-08-07 13:48:01] 835*2^1405609-1 is not prime. Res64: 47B26428E6EEEA48 Time : 0.0 sec. user=mdettweiler [2015-08-07 13:48:02] 847*2^1405609-1 is not prime. Res64: 6C879C547FE2A89A Time : 0.0 sec. user=mdettweiler [2015-08-07 13:48:02] 877*2^1405609-1 is not prime. Res64: 8F894462A902702F Time : 0.0 sec. user=mdettweiler [2015-08-07 13:48:03] 999*2^1405609-1 is not prime. Res64: F140D9C7FFB0A725 Time : 0.0 sec. user=mdettweiler [2015-08-07 13:59:24] 731*2^1405610-1 is not prime. Res64: E855693F8ED93C00 Time : 0.0 sec. user=mdettweiler [2015-08-07 13:59:25] 791*2^1405610-1 is not prime. Res64: 2DD046336AD0586F Time : 0.0 sec. user=mdettweiler [2015-08-07 14:02:46] 935*2^1405610-1 is not prime. Res64: E297B1A8E2DE2388 Time : 0.0 sec. user=mdettweiler [2015-08-07 14:02:48] 957*2^1405610-1 is not prime. Res64: 44363651E8358DEE Time : 0.0 sec. user=mdettweiler [2015-08-07 14:05:42] 995*2^1405610-1 is not prime. Res64: 0C16B4B03D4BEC6C Time : 0.0 sec. user=mdettweiler [2015-08-07 14:05:44] 609*2^1405611-1 is not prime. Res64: 02503B4331040FC0 Time : 0.0 sec. user=mdettweiler [2015-08-07 14:05:46] 769*2^1405611-1 is not prime. Res64: 247B206B4D9B76EA Time : 0.0 sec. user=mdettweiler [2015-08-07 14:05:48] 819*2^1405611-1 is not prime. Res64: D43F71963549675E Time : 0.0 sec. user=mdettweiler [2015-08-07 14:17:00] 861*2^1405611-1 is not prime. Res64: FD1ACB82A8A95B12 Time : 0.0 sec. user=mdettweiler [2015-08-07 14:17:00] 895*2^1405611-1 is not prime. Res64: 424B784D43C8BF2B Time : 0.0 sec. user=mdettweiler [2015-08-07 14:20:28] 909*2^1405611-1 is not prime. Res64: 1BB95B6BBE13332B Time : 0.0 sec. user=mdettweiler [2015-08-07 14:20:28] 609*2^1405612-1 is not prime. Res64: 150C39B6656E0BA9 Time : 0.0 sec. user=mdettweiler [2015-08-07 14:23:46] 653*2^1405612-1 is not prime. Res64: 2F6AE8D599302CD9 Time : 0.0 sec. user=mdettweiler [2015-08-07 14:23:47] 765*2^1405612-1 is not prime. Res64: C58594A87E65A241 Time : 0.0 sec. user=mdettweiler [2015-08-07 14:23:53] 777*2^1405612-1 is not prime. Res64: 3022DFD02DEC491C Time : 0.0 sec. user=mdettweiler [2015-08-07 14:23:53] 819*2^1405612-1 is not prime. Res64: 0FF5CD964B4C3122 Time : 0.0 sec. user=mdettweiler [2015-08-07 14:35:10] 825*2^1405612-1 is not prime. Res64: 2C3EC81FE06F1611 Time : 0.0 sec. user=mdettweiler [2015-08-07 14:35:10] 903*2^1405612-1 is not prime. Res64: 0E2FF07A7F08061D Time : 0.0 sec. user=mdettweiler [2015-08-07 14:38:25] 909*2^1405612-1 is not prime. Res64: B101EB0ECEE13729 Time : 0.0 sec. user=mdettweiler [2015-08-07 14:38:25] 975*2^1405612-1 is not prime. Res64: 8B4E7C80B571916B Time : 0.0 sec. user=mdettweiler [2015-08-07 14:41:40] 627*2^1405613-1 is not prime. Res64: FDFBC30A6FD47D4B Time : 0.0 sec. user=mdettweiler [2015-08-07 14:41:40] 771*2^1405613-1 is not prime. Res64: F71C25E95EFAC308 Time : 0.0 sec. user=mdettweiler [2015-08-07 14:42:02] 949*2^1405613-1 is not prime. Res64: 7788DA7E1FE3768F Time : 0.0 sec. user=mdettweiler [2015-08-07 14:42:02] 651*2^1405614-1 is not prime. Res64: DCCA79590DCFED22 Time : 0.0 sec. user=mdettweiler [2015-08-07 14:53:01] 657*2^1405614-1 is not prime. Res64: 276DC4AB9B95D50E Time : 0.0 sec. user=mdettweiler [2015-08-07 14:53:01] 663*2^1405614-1 is not prime. Res64: 654B56CB3C6B3117 Time : 0.0 sec. user=mdettweiler [2015-08-07 14:56:13] 711*2^1405614-1 is not prime. Res64: 1F7CBCBA848DBFE2 Time : 0.0 sec. user=mdettweiler [2015-08-07 14:56:13] 717*2^1405614-1 is not prime. Res64: AD34C4F2D6E7CCF8 Time : 0.0 sec. user=mdettweiler [2015-08-07 14:59:29] 755*2^1405614-1 is not prime. Res64: A43A97EAB2BF5193 Time : 0.0 sec. user=mdettweiler [2015-08-07 14:59:30] 783*2^1405614-1 is not prime. Res64: DE1E12B93379C730 Time : 0.0 sec. user=mdettweiler [2015-08-07 14:59:49] 885*2^1405614-1 is not prime. Res64: 609BE476ADA7DC9B Time : 0.0 sec. user=mdettweiler [2015-08-07 14:59:49] 975*2^1405614-1 is not prime. Res64: 75099C59B9564EDD Time : 0.0 sec. user=mdettweiler [2015-08-07 15:10:47] 609*2^1405615-1 is not prime. Res64: A5FDE93DCF8B5E51 Time : 0.0 sec. user=mdettweiler [2015-08-07 15:10:47] 633*2^1405615-1 is not prime. Res64: 8B766BAE5423E736 Time : 0.0 sec. user=mdettweiler [2015-08-07 15:14:00] 693*2^1405615-1 is not prime. Res64: 91EA7BB08AB6528E Time : 0.0 sec. user=mdettweiler [2015-08-07 15:14:00] 723*2^1405615-1 is not prime. Res64: 2F9C7F359CCE6D99 Time : 0.0 sec. user=mdettweiler [2015-08-07 15:17:10] 741*2^1405615-1 is not prime. Res64: 0DD345A6F1609677 Time : 0.0 sec. user=mdettweiler [2015-08-07 15:17:10] 775*2^1405615-1 is not prime. Res64: 3CFDC2FD0C93BB9B Time : 0.0 sec. user=mdettweiler [2015-08-07 15:17:33] 805*2^1405615-1 is not prime. Res64: 0C27207ED3C75AB0 Time : 0.0 sec. user=mdettweiler [2015-08-07 15:17:34] 819*2^1405615-1 is not prime. Res64: A5B0B7B94E89DD3A Time : 0.0 sec. user=mdettweiler [2015-08-07 15:29:25] 831*2^1405615-1 is not prime. Res64: 4D1D52A8DCF5C577 Time : 0.0 sec. user=mdettweiler [2015-08-07 15:29:25] 615*2^1405616-1 is not prime. Res64: B4D0DFDBF73FB47A Time : 0.0 sec. user=mdettweiler [2015-08-07 15:32:53] 617*2^1405616-1 is not prime. Res64: A51EC4748EDF4EAE Time : 0.0 sec. user=mdettweiler [2015-08-07 15:32:54] 677*2^1405616-1 is not prime. Res64: 6D9C6B5F93382A6C Time : 0.0 sec. user=mdettweiler [2015-08-07 15:36:31] 735*2^1405616-1 is not prime. Res64: 32F133AA5D72BE29 Time : 0.0 sec. user=mdettweiler [2015-08-07 15:36:31] 917*2^1405616-1 is not prime. Res64: 27E5E7933234293F Time : 0.0 sec. user=mdettweiler [2015-08-07 15:36:43] 607*2^1405617-1 is not prime. Res64: DE3E903210197993 Time : 0.0 sec. user=mdettweiler [2015-08-07 15:36:43] 609*2^1405617-1 is not prime. Res64: 109A14552CA271ED Time : 0.0 sec. user=mdettweiler [2015-08-07 15:48:23] 615*2^1405617-1 is not prime. Res64: B4D8B5C948E50541 Time : 0.0 sec. user=mdettweiler [2015-08-07 15:48:23] 649*2^1405617-1 is not prime. Res64: 54FD7E7AD53C1C4B Time : 0.0 sec. user=mdettweiler [2015-08-07 15:51:58] 727*2^1405617-1 is not prime. Res64: 9282A5BFF3AA7DE2 Time : 0.0 sec. user=mdettweiler [2015-08-07 15:51:58] 777*2^1405617-1 is not prime. Res64: E50163446CE639D9 Time : 0.0 sec. user=mdettweiler [2015-08-07 15:55:42] 781*2^1405617-1 is not prime. Res64: 094C9D0C118C224C Time : 0.0 sec. user=mdettweiler [2015-08-07 15:55:42] 829*2^1405617-1 is not prime. Res64: BE7AC0BE4F0CD77B Time : 0.0 sec. user=mdettweiler [2015-08-07 15:55:42] 837*2^1405617-1 is not prime. Res64: C15AF55D46EC1226 Time : 0.0 sec. user=mdettweiler [2015-08-07 15:55:42] 861*2^1405617-1 is not prime. Res64: 87F2CD238E4E58B5 Time : 0.0 sec. user=mdettweiler [2015-08-07 16:07:35] 891*2^1405617-1 is not prime. Res64: A75EB04631A8B271 Time : 0.0 sec. user=mdettweiler [2015-08-07 16:07:35] 919*2^1405617-1 is not prime. Res64: BD7106115C2DE9E1 Time : 0.0 sec. user=mdettweiler [2015-08-07 16:11:03] 985*2^1405617-1 is not prime. Res64: 350AD6CCFCAE270A Time : 0.0 sec. user=mdettweiler [2015-08-07 16:11:03] 603*2^1405618-1 is not prime. Res64: ED14D9FF266AE1BC Time : 0.0 sec. user=mdettweiler [2015-08-07 16:14:26] 605*2^1405618-1 is not prime. Res64: 27B89AFFF9C98701 Time : 0.0 sec. user=mdettweiler [2015-08-07 16:14:26] 695*2^1405618-1 is not prime. Res64: DB83D91CE8B3C258 Time : 0.0 sec. user=mdettweiler [2015-08-07 16:14:44] 735*2^1405618-1 is not prime. Res64: 0064EE5561BDCD63 Time : 0.0 sec. user=mdettweiler [2015-08-07 16:14:44] 773*2^1405618-1 is not prime. Res64: D1DB672B21CF884F Time : 0.0 sec. user=mdettweiler [2015-08-07 16:26:22] 831*2^1405618-1 is not prime. Res64: C7229F2EADF4A349 Time : 0.0 sec. user=mdettweiler [2015-08-07 16:26:23] 833*2^1405618-1 is not prime. Res64: 1217275503C56E49 Time : 0.0 sec. user=mdettweiler [2015-08-07 16:29:13] 923*2^1405618-1 is not prime. Res64: 0A1308FF31D61B29 Time : 0.0 sec. user=mdettweiler [2015-08-07 16:29:13] 945*2^1405618-1 is not prime. Res64: 7EFAB4FCEC20A4BB Time : 0.0 sec. user=mdettweiler [2015-08-07 16:32:31] 971*2^1405618-1 is not prime. Res64: D2BB1BB343248074 Time : 0.0 sec. user=mdettweiler [2015-08-07 16:32:31] 1001*2^1405618-1 is not prime. Res64: 39BBE84F0FAB059A Time : 0.0 sec. user=mdettweiler [2015-08-07 16:32:55] 669*2^1405619-1 is not prime. Res64: 763B4FB0C464F74F Time : 0.0 sec. user=mdettweiler [2015-08-07 16:32:55] 753*2^1405619-1 is not prime. Res64: 8C44BAA0A8514FD0 Time : 0.0 sec. user=mdettweiler [2015-08-07 16:44:50] 843*2^1405619-1 is not prime. Res64: EE8A96C2B47AC52E Time : 0.0 sec. user=mdettweiler [2015-08-07 16:44:50] 903*2^1405619-1 is not prime. Res64: 6F4438F3DE1D81DB Time : 0.0 sec. user=mdettweiler [2015-08-07 16:47:39] 931*2^1405619-1 is not prime. Res64: DCC9CACF1ED9847B Time : 0.0 sec. user=mdettweiler [2015-08-07 16:47:39] 979*2^1405619-1 is not prime. Res64: CC623D52F06B4303 Time : 0.0 sec. user=mdettweiler [2015-08-07 16:51:12] 991*2^1405619-1 is not prime. Res64: 7BA8043782B116D0 Time : 0.0 sec. user=mdettweiler [2015-08-07 16:51:13] 689*2^1405620-1 is not prime. Res64: F5C3624FB576C30D Time : 0.0 sec. user=mdettweiler [2015-08-07 16:51:27] 719*2^1405620-1 is not prime. Res64: 9A7C1CF2D9CAA146 Time : 0.0 sec. user=mdettweiler [2015-08-07 16:51:28] 735*2^1405620-1 is not prime. Res64: FA199FB49B23FAC3 Time : 0.0 sec. user=mdettweiler [2015-08-07 17:03:54] 773*2^1405620-1 is not prime. Res64: 8FA96736FB4CD7CA Time : 0.0 sec. user=mdettweiler [2015-08-07 17:03:55] 795*2^1405620-1 is not prime. Res64: 7BE90B5944CC25DC Time : 0.0 sec. user=mdettweiler [2015-08-07 17:06:38] 825*2^1405620-1 is not prime. Res64: 97EF81A966201388 Time : 0.0 sec. user=mdettweiler [2015-08-07 17:06:38] 845*2^1405620-1 is not prime. Res64: 5A5CDB982128033F Time : 0.0 sec. user=mdettweiler [2015-08-07 17:10:03] 879*2^1405620-1 is not prime. Res64: 9F465AE43D49EEF3 Time : 0.0 sec. user=mdettweiler [2015-08-07 17:10:04] 975*2^1405620-1 is not prime. Res64: C4D0ACE43EB46751 Time : 0.0 sec. user=mdettweiler [2015-08-07 17:10:24] 625*2^1405621-1 is not prime. Res64: 8352880C3B9041E9 Time : 0.0 sec. user=mdettweiler [2015-08-07 17:10:24] 715*2^1405621-1 is not prime. Res64: 2024BD8898E07CB1 Time : 0.0 sec. user=mdettweiler [2015-08-07 17:25:20] 811*2^1405621-1 is not prime. Res64: 80A95BB5F2AD3FC9 Time : 0.0 sec. user=mdettweiler [2015-08-07 17:25:20] 871*2^1405621-1 is not prime. Res64: 2785DFB480C66DFC Time : 0.0 sec. user=mdettweiler [2015-08-07 17:28:02] 931*2^1405621-1 is not prime. Res64: FC7F4078E3E0EB1D Time : 0.0 sec. user=mdettweiler [2015-08-07 17:28:02] 937*2^1405621-1 is not prime. Res64: 44757E48CDBD84A5 Time : 0.0 sec. user=mdettweiler [2015-08-07 17:31:53] 645*2^1405622-1 is not prime. Res64: 67FF97E8AF05AD06 Time : 0.0 sec. user=mdettweiler [2015-08-07 17:31:54] 693*2^1405622-1 is not prime. Res64: 2EEBE164F8EFB3EA Time : 0.0 sec. user=mdettweiler [2015-08-07 17:31:59] 967*2^1405621-1 is not prime. Res64: B4736DE2284A4987 Time : 0.0 sec. user=mdettweiler [2015-08-07 17:32:00] 975*2^1405621-1 is not prime. Res64: FFB8F062A88AF315 Time : 0.0 sec. user=mdettweiler [2015-08-07 17:46:18] 711*2^1405622-1 is not prime. Res64: B8CE0E28799E9497 Time : 0.0 sec. user=mdettweiler [2015-08-07 17:46:18] 743*2^1405622-1 is not prime. Res64: 6FC0505E3050F8E9 Time : 0.0 sec. user=mdettweiler [2015-08-07 17:48:41] 747*2^1405622-1 is not prime. Res64: 45C50A58676CEFD7 Time : 0.0 sec. user=mdettweiler [2015-08-07 17:48:41] 771*2^1405622-1 is not prime. Res64: 6F4E0F0E90D9F1D1 Time : 0.0 sec. user=mdettweiler [2015-08-07 17:51:40] 833*2^1405622-1 is not prime. Res64: 5638036BE92021ED Time : 0.0 sec. user=mdettweiler [2015-08-07 17:51:40] 867*2^1405622-1 is not prime. Res64: 0B17F8BE4761EB7B Time : 0.0 sec. user=mdettweiler [2015-08-07 17:51:50] 797*2^1405622-1 is not prime. Res64: A1296F8B5A22F2E4 Time : 0.0 sec. user=mdettweiler [2015-08-07 17:51:51] 825*2^1405622-1 is not prime. Res64: 3124DE32EBC3911D Time : 0.0 sec. user=mdettweiler [2015-08-07 18:04:11] 885*2^1405622-1 is not prime. Res64: 18332A77C98DB824 Time : 0.0 sec. user=mdettweiler [2015-08-07 18:04:12] 887*2^1405622-1 is not prime. Res64: 20B09AF07FF1B0D5 Time : 0.0 sec. user=mdettweiler [2015-08-07 18:06:27] 935*2^1405622-1 is not prime. Res64: C3D91329E358923B Time : 0.0 sec. user=mdettweiler [2015-08-07 18:06:27] 619*2^1405623-1 is not prime. Res64: 389019040779CA78 Time : 0.0 sec. user=mdettweiler [2015-08-07 18:09:25] 693*2^1405623-1 is not prime. Res64: 13492A7EEB161FB8 Time : 0.0 sec. user=mdettweiler [2015-08-07 18:09:25] 891*2^1405623-1 is not prime. Res64: F065D164D9077933 Time : 0.0 sec. user=mdettweiler [2015-08-07 18:09:42] 961*2^1405623-1 is not prime. Res64: AA5B632F6D567078 Time : 0.0 sec. user=mdettweiler [2015-08-07 18:09:42] 617*2^1405624-1 is not prime. Res64: 35438F90E16E7A3F Time : 0.0 sec. user=mdettweiler [2015-08-07 18:22:07] 675*2^1405624-1 is not prime. Res64: ECBD2D9B9AB4598E Time : 0.0 sec. user=mdettweiler [2015-08-07 18:22:07] 677*2^1405624-1 is not prime. Res64: 3A4CFAFBEA0F4A8C Time : 0.0 sec. user=mdettweiler [2015-08-07 18:24:21] 849*2^1405624-1 is not prime. Res64: C6D95A65A70573BD Time : 0.0 sec. user=mdettweiler [2015-08-07 18:24:21] 869*2^1405624-1 is not prime. Res64: AC79564ED86136C9 Time : 0.0 sec. user=mdettweiler [2015-08-07 18:27:04] 909*2^1405624-1 is not prime. Res64: E6CFD7723484A778 Time : 0.0 sec. user=mdettweiler [2015-08-07 18:27:04] 965*2^1405624-1 is not prime. Res64: C2DA1E6014A5192D Time : 0.0 sec. user=mdettweiler [2015-08-07 18:27:33] 657*2^1405625-1 is not prime. Res64: 4A6DD5E5DF9AB3A6 Time : 0.0 sec. user=mdettweiler [2015-08-07 18:27:34] 715*2^1405625-1 is not prime. Res64: A2E162AD560118F7 Time : 0.0 sec. user=mdettweiler [2015-08-07 18:39:56] 721*2^1405625-1 is not prime. Res64: CC7F13CBC2FA1B86 Time : 0.0 sec. user=mdettweiler [2015-08-07 18:39:56] 729*2^1405625-1 is not prime. Res64: B136F92D948B387C Time : 0.0 sec. user=mdettweiler [2015-08-07 18:42:04] 759*2^1405625-1 is not prime. Res64: 91C31294A306DAC2 Time : 0.0 sec. user=mdettweiler [2015-08-07 18:42:04] 847*2^1405625-1 is not prime. Res64: B75F1E7B73542F1F Time : 0.0 sec. user=mdettweiler [2015-08-07 18:44:45] 981*2^1405625-1 is not prime. Res64: FC52C140065B62B5 Time : 0.0 sec. user=mdettweiler [2015-08-07 18:44:45] 987*2^1405625-1 is not prime. Res64: 1EE83CAC592AADAC Time : 0.0 sec. user=mdettweiler [2015-08-07 18:45:20] 707*2^1405626-1 is not prime. Res64: 466351F52F367913 Time : 0.0 sec. user=mdettweiler [2015-08-07 18:45:22] 875*2^1405626-1 is not prime. Res64: 9C4EB5BE7A14CF94 Time : 0.0 sec. user=mdettweiler [2015-08-07 18:57:47] 649*2^1405627-1 is not prime. Res64: CA50A47411A6F802 Time : 0.0 sec. user=mdettweiler [2015-08-07 18:57:47] 681*2^1405627-1 is not prime. Res64: 1CA8E9ECECA55BD7 Time : 0.0 sec. user=mdettweiler [2015-08-07 18:59:56] 741*2^1405627-1 is not prime. Res64: D91C289A59C3EE00 Time : 0.0 sec. user=mdettweiler [2015-08-07 18:59:56] 759*2^1405627-1 is not prime. Res64: 8CA3A43C43534BD8 Time : 0.0 sec. user=mdettweiler [2015-08-07 19:02:28] 925*2^1405627-1 is not prime. Res64: 871AB42DB7484F76 Time : 0.0 sec. user=mdettweiler [2015-08-07 19:02:28] 735*2^1405628-1 is not prime. Res64: C5BF3486D72E7166 Time : 0.0 sec. user=mdettweiler [2015-08-07 19:03:09] 773*2^1405628-1 is not prime. Res64: 73C0B92CF6E088B4 Time : 0.0 sec. user=mdettweiler [2015-08-07 19:03:11] 839*2^1405628-1 is not prime. Res64: 92820843A684A698 Time : 0.0 sec. user=mdettweiler [2015-08-07 19:15:37] 875*2^1405628-1 is not prime. Res64: D1AD581D05CC06C8 Time : 0.0 sec. user=mdettweiler [2015-08-07 19:15:37] 959*2^1405628-1 is not prime. Res64: C6FE6E2649E04132 Time : 0.0 sec. user=mdettweiler [2015-08-07 19:17:45] 977*2^1405628-1 is not prime. Res64: 55D419DF9E65B84A Time : 0.0 sec. user=mdettweiler [2015-08-07 19:17:45] 993*2^1405628-1 is not prime. Res64: 0A1F2F41E4ADB803 Time : 0.0 sec. user=mdettweiler [2015-08-07 19:20:13] 657*2^1405629-1 is not prime. Res64: 9FC6126194144BB0 Time : 0.0 sec. user=mdettweiler [2015-08-07 19:20:13] 669*2^1405629-1 is not prime. Res64: 7878A93803665F6B Time : 0.0 sec. user=mdettweiler [2015-08-07 19:21:05] 789*2^1405629-1 is not prime. Res64: 105222DDAA4CAF62 Time : 0.0 sec. user=mdettweiler [2015-08-07 19:21:06] 927*2^1405629-1 is not prime. Res64: 5C49F484EFFF624A Time : 0.0 sec. user=mdettweiler [2015-08-07 19:33:34] 955*2^1405629-1 is not prime. Res64: F4039900F8018CCF Time : 0.0 sec. user=mdettweiler [2015-08-07 19:33:35] 611*2^1405630-1 is not prime. Res64: 98D4EAB0EB15D4C2 Time : 0.0 sec. user=mdettweiler [2015-08-07 19:35:35] 773*2^1405630-1 is not prime. Res64: 7A893DEA3B36822B Time : 0.0 sec. user=mdettweiler [2015-08-07 19:35:36] 923*2^1405630-1 is not prime. Res64: 4FBEFC28D2AD4F13 Time : 0.0 sec. user=mdettweiler [2015-08-07 19:37:55] 645*2^1405631-1 is not prime. Res64: 50354895F133A202 Time : 0.0 sec. user=mdettweiler [2015-08-07 19:37:55] 661*2^1405631-1 is not prime. Res64: 6EBBC4FC1054A66F Time : 0.0 sec. user=mdettweiler [2015-08-07 19:38:54] 673*2^1405631-1 is not prime. Res64: 75F4493ADDF97FA4 Time : 0.0 sec. user=mdettweiler [2015-08-07 19:38:55] 763*2^1405631-1 is not prime. Res64: 096CD5D62192D0B5 Time : 0.0 sec. user=mdettweiler [2015-08-07 19:51:21] 789*2^1405631-1 is not prime. Res64: A422FD2E4E55C653 Time : 0.0 sec. user=mdettweiler [2015-08-07 19:51:21] 841*2^1405631-1 is not prime. Res64: 8EB5F86E06A5B6B2 Time : 0.0 sec. user=mdettweiler [2015-08-07 19:53:14] 865*2^1405631-1 is not prime. Res64: 3C2A98ECF7F1C5DD Time : 0.0 sec. user=mdettweiler [2015-08-07 19:53:14] 737*2^1405632-1 is not prime. Res64: 907A3ED28CA2643D Time : 0.0 sec. user=mdettweiler [2015-08-07 19:55:46] 945*2^1405632-1 is not prime. Res64: CF2184DE80F94D25 Time : 0.0 sec. user=mdettweiler [2015-08-07 19:55:46] 675*2^1405633-1 is not prime. Res64: 3EE16587B98F7107 Time : 0.0 sec. user=mdettweiler [2015-08-07 19:56:44] 691*2^1405633-1 is not prime. Res64: 5CE920E5C96601B3 Time : 0.0 sec. user=mdettweiler [2015-08-07 19:56:45] 747*2^1405633-1 is not prime. Res64: 0D8D1C9FB4F9B42C Time : 0.0 sec. user=mdettweiler [2015-08-07 20:09:09] 751*2^1405633-1 is not prime. Res64: 216ABA3AF80A9A7D Time : 0.0 sec. user=mdettweiler [2015-08-07 20:09:10] 769*2^1405633-1 is not prime. Res64: C1AFB8077DBA2BD8 Time : 0.0 sec. user=mdettweiler [2015-08-07 20:11:01] 895*2^1405633-1 is not prime. Res64: 078538032483BA64 Time : 0.0 sec. user=mdettweiler [2015-08-07 20:11:01] 897*2^1405633-1 is not prime. Res64: 822B9DB8D621BCA5 Time : 0.0 sec. user=mdettweiler [2015-08-07 20:13:23] 945*2^1405633-1 is not prime. Res64: 6FAFFD3976E89203 Time : 0.0 sec. user=mdettweiler [2015-08-07 20:13:23] 979*2^1405633-1 is not prime. Res64: 3F066505F90745DB Time : 0.0 sec. user=mdettweiler [2015-08-07 20:14:28] 657*2^1405634-1 is not prime. Res64: 0C67714ADAF69648 Time : 0.0 sec. user=mdettweiler [2015-08-07 20:14:29] 665*2^1405634-1 is not prime. Res64: 5426952D9FFBEB08 Time : 0.0 sec. user=mdettweiler [2015-08-07 20:28:01] 677*2^1405634-1 is not prime. Res64: C784F367DF772F80 Time : 0.0 sec. user=mdettweiler [2015-08-07 20:28:01] 705*2^1405634-1 is not prime. Res64: 71908F963E8B89D2 Time : 0.0 sec. user=mdettweiler [2015-08-07 20:29:47] 935*2^1405634-1 is not prime. Res64: 53025869D687C2DF Time : 0.0 sec. user=mdettweiler [2015-08-07 20:29:47] 649*2^1405635-1 is not prime. Res64: BCF7B7251BBD1623 Time : 0.0 sec. user=mdettweiler [2015-08-07 20:32:27] 735*2^1405635-1 is not prime. Res64: 0EA807A28C68FD7A Time : 0.0 sec. user=mdettweiler [2015-08-07 20:32:28] 775*2^1405635-1 is not prime. Res64: 169B3967879CBEC2 Time : 0.0 sec. user=mdettweiler [2015-08-07 20:33:26] 793*2^1405635-1 is not prime. Res64: 6488DB1F5E7B542D Time : 0.0 sec. user=mdettweiler [2015-08-07 20:33:26] 795*2^1405635-1 is not prime. Res64: 9ECE0863D3E2FE23 Time : 0.0 sec. user=mdettweiler [2015-08-07 20:46:49] 805*2^1405635-1 is not prime. Res64: 0F2D20032F46663D Time : 0.0 sec. user=mdettweiler [2015-08-07 20:46:49] 617*2^1405636-1 is not prime. Res64: 3B06FA1D4D992449 Time : 0.0 sec. user=mdettweiler [2015-08-07 20:48:32] 629*2^1405636-1 is not prime. Res64: 28C0718D456ECE5C Time : 0.0 sec. user=mdettweiler [2015-08-07 20:48:32] 765*2^1405636-1 is not prime. Res64: 12AB65C3AC776064 Time : 0.0 sec. user=mdettweiler [2015-08-07 20:51:37] 903*2^1405636-1 is not prime. Res64: D8744ACE7F1C4E84 Time : 0.0 sec. user=mdettweiler [2015-08-07 20:51:37] 905*2^1405636-1 is not prime. Res64: F8FE2F9F4A47F48F Time : 0.0 sec. user=mdettweiler [2015-08-07 20:52:28] 975*2^1405636-1 is not prime. Res64: D82388E9EFDE02FE Time : 0.0 sec. user=mdettweiler [2015-08-07 20:52:28] 711*2^1405637-1 is not prime. Res64: 4502BBBCCD8A3F31 Time : 0.0 sec. user=mdettweiler [2015-08-07 21:05:52] 729*2^1405637-1 is not prime. Res64: 696B165D4F112D99 Time : 0.0 sec. user=mdettweiler [2015-08-07 21:05:53] 955*2^1405637-1 is not prime. Res64: 87CA684585D6346C Time : 0.0 sec. user=mdettweiler [2015-08-07 21:07:53] 615*2^1405638-1 is not prime. Res64: 414764B20BE24824 Time : 0.0 sec. user=mdettweiler [2015-08-07 21:07:53] 621*2^1405638-1 is not prime. Res64: A4955519C3DB8AEF Time : 0.0 sec. user=mdettweiler [2015-08-07 21:10:34] 663*2^1405638-1 is not prime. Res64: AE34182AA79D300F Time : 0.0 sec. user=mdettweiler [2015-08-07 21:10:35] 677*2^1405638-1 is not prime. Res64: 5CF79027C8F82837 Time : 0.0 sec. user=mdettweiler [2015-08-07 21:11:29] 765*2^1405638-1 is not prime. Res64: 6976770DD48A84D5 Time : 0.0 sec. user=mdettweiler [2015-08-07 21:11:29] 773*2^1405638-1 is not prime. Res64: 983989D78004B958 Time : 0.0 sec. user=mdettweiler [2015-08-07 21:25:08] 625*2^1405639-1 is not prime. Res64: 4894A57BEC68B945 Time : 0.0 sec. user=mdettweiler [2015-08-07 21:25:08] 639*2^1405639-1 is not prime. Res64: 285824515979E54F Time : 0.0 sec. user=mdettweiler [2015-08-07 21:27:14] 883*2^1405639-1 is not prime. Res64: 7E87FAC3C7766AF9 Time : 0.0 sec. user=mdettweiler [2015-08-07 21:27:14] 885*2^1405639-1 is not prime. Res64: 308F461B9DD8BAE6 Time : 0.0 sec. user=mdettweiler [2015-08-07 21:29:52] 919*2^1405639-1 is not prime. Res64: 5802473EE54EAD64 Time : 0.0 sec. user=mdettweiler [2015-08-07 21:29:52] 797*2^1405640-1 is not prime. Res64: E752CC197290A948 Time : 0.0 sec. user=mdettweiler [2015-08-07 21:30:34] 843*2^1405640-1 is not prime. Res64: 1BA9174DFE69FE01 Time : 0.0 sec. user=mdettweiler [2015-08-07 21:30:34] 661*2^1405641-1 is not prime. Res64: 3A3CB00367EF65FB Time : 0.0 sec. user=mdettweiler [2015-08-07 21:44:21] 717*2^1405641-1 is not prime. Res64: 47E293DBE0235F80 Time : 0.0 sec. user=mdettweiler [2015-08-07 21:44:21] 751*2^1405641-1 is not prime. Res64: 1FC4F23B7885D306 Time : 0.0 sec. user=mdettweiler [2015-08-07 21:46:21] 795*2^1405641-1 is not prime. Res64: 167EC5AA9DD16645 Time : 0.0 sec. user=mdettweiler [2015-08-07 21:46:22] 811*2^1405641-1 is not prime. Res64: F644E3391D9F4566 Time : 0.0 sec. user=mdettweiler [2015-08-07 21:48:57] 969*2^1405641-1 is not prime. Res64: 5D03F1FAF31EA659 Time : 0.0 sec. user=mdettweiler [2015-08-07 21:48:57] 701*2^1405642-1 is not prime. Res64: D96A2E18854803EF Time : 0.0 sec. user=mdettweiler [2015-08-07 21:49:45] 803*2^1405642-1 is not prime. Res64: A129C2CF29388666 Time : 0.0 sec. user=mdettweiler [2015-08-07 21:49:45] 833*2^1405642-1 is not prime. Res64: 500F742664618341 Time : 0.0 sec. user=mdettweiler [2015-08-07 22:03:18] 885*2^1405642-1 is not prime. Res64: F599738C33BBAEF9 Time : 0.0 sec. user=mdettweiler [2015-08-07 22:03:20] 941*2^1405642-1 is not prime. Res64: B1BDE151B3F08A59 Time : 0.0 sec. user=mdettweiler [2015-08-07 22:05:14] 987*2^1405642-1 is not prime. Res64: EF5592A2D5ADA440 Time : 0.0 sec. user=mdettweiler [2015-08-07 22:05:15] 705*2^1405643-1 is not prime. Res64: ABB197BC2E084CDC Time : 0.0 sec. user=mdettweiler [2015-08-07 22:07:15] 745*2^1405643-1 is not prime. Res64: 758301F05C47560C Time : 0.0 sec. user=mdettweiler [2015-08-07 22:07:16] 825*2^1405643-1 is not prime. Res64: 0F747A912846047D Time : 0.0 sec. user=mdettweiler [2015-08-07 22:08:13] 629*2^1405644-1 is not prime. Res64: EECE22DA60E65BAF Time : 0.0 sec. user=mdettweiler [2015-08-07 22:08:13] 705*2^1405644-1 is not prime. Res64: 2D5E4604FC884BB7 Time : 0.0 sec. user=mdettweiler [2015-08-07 22:22:19] 723*2^1405644-1 is not prime. Res64: 3B521E4825896527 Time : 0.0 sec. user=mdettweiler [2015-08-07 22:22:20] 773*2^1405644-1 is not prime. Res64: A0A3DEB836BFE9FA Time : 0.0 sec. user=mdettweiler [2015-08-07 22:24:38] 825*2^1405644-1 is not prime. Res64: 0E89083C59ECB156 Time : 0.0 sec. user=mdettweiler [2015-08-07 22:24:38] 857*2^1405644-1 is not prime. Res64: 9B1D33C00F74ED57 Time : 0.0 sec. user=mdettweiler [2015-08-07 22:26:21] 863*2^1405644-1 is not prime. Res64: B878B2DF392A6D5F Time : 0.0 sec. user=mdettweiler [2015-08-07 22:26:21] 893*2^1405644-1 is not prime. Res64: 65C76F85B99844DA Time : 0.0 sec. user=mdettweiler [2015-08-07 22:27:13] 903*2^1405644-1 is not prime. Res64: 76555194D22AC120 Time : 0.0 sec. user=mdettweiler [2015-08-07 22:27:13] 975*2^1405644-1 is not prime. Res64: 372809F90DF9CD2E Time : 0.0 sec. user=mdettweiler [2015-08-07 22:42:16] 721*2^1405645-1 is not prime. Res64: 91BBB800CF6026E3 Time : 0.0 sec. user=mdettweiler [2015-08-07 22:42:16] 799*2^1405645-1 is not prime. Res64: 7D81A6866FF535AC Time : 0.0 sec. user=mdettweiler [2015-08-07 22:43:55] 871*2^1405645-1 is not prime. Res64: 1B6137C8EA7FDAA3 Time : 0.0 sec. user=mdettweiler [2015-08-07 22:43:55] 885*2^1405645-1 is not prime. Res64: D2A1A7CAD96FA72E Time : 0.0 sec. user=mdettweiler [2015-08-07 22:45:48] 895*2^1405645-1 is not prime. Res64: 69726529A99CDE88 Time : 0.0 sec. user=mdettweiler [2015-08-07 22:45:48] 925*2^1405645-1 is not prime. Res64: 43388B6FC1F75576 Time : 0.0 sec. user=mdettweiler [2015-08-07 22:46:43] 773*2^1405646-1 is not prime. Res64: 9CD527644EF77D94 Time : 0.0 sec. user=mdettweiler [2015-08-07 22:46:43] 965*2^1405646-1 is not prime. Res64: 1A3382BD67EA2552 Time : 0.0 sec. user=mdettweiler [2015-08-07 23:01:10] 1001*2^1405646-1 is not prime. Res64: 0F793E9906939845 Time : 0.0 sec. user=mdettweiler [2015-08-07 23:01:11] 661*2^1405647-1 is not prime. Res64: C71E8C71C422034E Time : 0.0 sec. user=mdettweiler [2015-08-07 23:02:54] 669*2^1405647-1 is not prime. Res64: 6E85F5347EC02173 Time : 0.0 sec. user=mdettweiler [2015-08-07 23:02:55] 691*2^1405647-1 is not prime. Res64: CA97E9BDC6B03046 Time : 0.0 sec. user=mdettweiler [2015-08-07 23:04:36] 741*2^1405647-1 is not prime. Res64: 3EA248566E1DF43A Time : 0.0 sec. user=mdettweiler [2015-08-07 23:04:37] 805*2^1405647-1 is not prime. Res64: 929B65615AFFCAA1 Time : 0.0 sec. user=mdettweiler [2015-08-07 23:05:29] 859*2^1405647-1 is not prime. Res64: B250607271242CC1 Time : 0.0 sec. user=mdettweiler [2015-08-07 23:05:30] 879*2^1405647-1 is not prime. Res64: 06B2ABF87B993B6F Time : 0.0 sec. user=mdettweiler [2015-08-07 23:20:25] 895*2^1405647-1 is not prime. Res64: 86292777E381CF28 Time : 0.0 sec. user=mdettweiler [2015-08-07 23:20:26] 615*2^1405648-1 is not prime. Res64: 1757941398C591DD Time : 0.0 sec. user=mdettweiler [2015-08-07 23:21:59] 665*2^1405648-1 is not prime. Res64: 09FF13F1FD521696 Time : 0.0 sec. user=mdettweiler [2015-08-07 23:22:00] 723*2^1405648-1 is not prime. Res64: B681758178658BA8 Time : 0.0 sec. user=mdettweiler [2015-08-07 23:23:41] 735*2^1405648-1 is not prime. Res64: DD184BC26A86EB1E Time : 0.0 sec. user=mdettweiler [2015-08-07 23:23:41] 755*2^1405648-1 is not prime. Res64: DA95F11083DF5918 Time : 0.0 sec. user=mdettweiler [2015-08-07 23:24:23] 887*2^1405648-1 is not prime. Res64: D012C1E226F6327B Time : 0.0 sec. user=mdettweiler [2015-08-07 23:24:23] 691*2^1405649-1 is not prime. Res64: 253080B48A611050 Time : 0.0 sec. user=mdettweiler [2015-08-07 23:39:49] 721*2^1405649-1 is not prime. Res64: 037F44EA153D4E21 Time : 0.0 sec. user=mdettweiler [2015-08-07 23:39:50] 771*2^1405649-1 is not prime. Res64: 1482D1084C87CD96 Time : 0.0 sec. user=mdettweiler [2015-08-07 23:41:22] 787*2^1405649-1 is not prime. Res64: 2EEBDDF9ED1AAFCB Time : 0.0 sec. user=mdettweiler [2015-08-07 23:41:22] 789*2^1405649-1 is not prime. Res64: 47D86C17DECD25E9 Time : 0.0 sec. user=mdettweiler [2015-08-07 23:43:12] 847*2^1405649-1 is not prime. Res64: 45E29C4B43CA8708 Time : 0.0 sec. user=mdettweiler [2015-08-07 23:43:12] 889*2^1405649-1 is not prime. Res64: 9BB6F28E4C08F8FC Time : 0.0 sec. user=mdettweiler [2015-08-07 23:43:44] 967*2^1405649-1 is not prime. Res64: C5F649C475A82B84 Time : 0.0 sec. user=mdettweiler [2015-08-07 23:43:44] 635*2^1405650-1 is not prime. Res64: 51197A5B1E789904 Time : 0.0 sec. user=mdettweiler [2015-08-07 23:59:12] 921*2^1405650-1 is not prime. Res64: 6ECE798CDC6A1B0E Time : 0.0 sec. user=mdettweiler [2015-08-07 23:59:12] 941*2^1405650-1 is not prime. Res64: FBE43DF50292F071 Time : 0.0 sec. user=mdettweiler [2015-08-08 00:00:44] 603*2^1405651-1 is not prime. Res64: 67969391BD1DCD50 Time : 0.0 sec. user=mdettweiler [2015-08-08 00:00:44] 645*2^1405651-1 is not prime. Res64: 753A0227AB0F417B Time : 0.0 sec.