user=mdettweiler [2015-08-27 00:01:52] 759*2^1407445-1 is not prime. Res64: 51FFA36B7CDDABB5 Time : 0.0 sec. user=mdettweiler [2015-08-27 00:01:52] 861*2^1407445-1 is not prime. Res64: 1C794E2E08F15A11 Time : 0.0 sec. user=mdettweiler [2015-08-27 00:01:54] 893*2^1407444-1 is not prime. Res64: 5CADD69FC897DD25 Time : 0.0 sec. user=mdettweiler [2015-08-27 00:01:54] 729*2^1407445-1 is not prime. Res64: 1DF929FAA0B323A4 Time : 0.0 sec. user=mdettweiler [2015-08-27 00:02:37] 925*2^1407445-1 is not prime. Res64: D7462CE9582B0D10 Time : 0.0 sec. user=mdettweiler [2015-08-27 00:02:37] 951*2^1407445-1 is not prime. Res64: 59F5FB34B4551242 Time : 0.0 sec. user=mdettweiler [2015-08-27 00:02:49] 979*2^1407445-1 is not prime. Res64: F256BD702E579136 Time : 0.0 sec. user=mdettweiler [2015-08-27 00:02:51] 987*2^1407445-1 is not prime. Res64: 08793C8D8371A502 Time : 0.0 sec. user=mdettweiler [2015-08-27 00:19:31] 693*2^1407446-1 is not prime. Res64: CE3159A84DFD3455 Time : 0.0 sec. user=mdettweiler [2015-08-27 00:19:32] 603*2^1407446-1 is not prime. Res64: E3B7CB3C67409857 Time : 0.0 sec. user=mdettweiler [2015-08-27 00:19:32] 711*2^1407446-1 is not prime. Res64: AE5C29AD433B05CB Time : 0.0 sec. user=mdettweiler [2015-08-27 00:19:32] 651*2^1407446-1 is not prime. Res64: 684DCEAB91ECC871 Time : 0.0 sec. user=mdettweiler [2015-08-27 00:20:16] 761*2^1407446-1 is not prime. Res64: BE268277CABEDA66 Time : 0.0 sec. user=mdettweiler [2015-08-27 00:20:19] 825*2^1407446-1 is not prime. Res64: 9BFA389244517FDE Time : 0.0 sec. user=mdettweiler [2015-08-27 00:20:33] 857*2^1407446-1 is not prime. Res64: BB872A30ECA0561D Time : 0.0 sec. user=mdettweiler [2015-08-27 00:20:35] 639*2^1407447-1 is not prime. Res64: D94A276E1E548B0B Time : 0.0 sec. user=mdettweiler [2015-08-27 00:37:09] 685*2^1407447-1 is not prime. Res64: A1D5D4158AB0E93C Time : 0.0 sec. user=mdettweiler [2015-08-27 00:37:09] 741*2^1407447-1 is not prime. Res64: 86E833816D91E1CA Time : 0.0 sec. user=mdettweiler [2015-08-27 00:37:13] 751*2^1407447-1 is not prime. Res64: AE74B5A408E639DF Time : 0.0 sec. user=mdettweiler [2015-08-27 00:37:14] 781*2^1407447-1 is not prime. Res64: B09AC4593F0A01BC Time : 0.0 sec. user=mdettweiler [2015-08-27 00:38:02] 975*2^1407447-1 is not prime. Res64: CDBBC5D14105D23F Time : 0.0 sec. user=mdettweiler [2015-08-27 00:38:02] 615*2^1407448-1 is not prime. Res64: 3B9C4278E37AE8AE Time : 0.0 sec. user=mdettweiler [2015-08-27 00:38:16] 707*2^1407448-1 is not prime. Res64: F972F31FBE352708 Time : 0.0 sec. user=mdettweiler [2015-08-27 00:38:17] 797*2^1407448-1 is not prime. Res64: DFA62301D10A3770 Time : 0.0 sec. user=mdettweiler [2015-08-27 00:54:42] 989*2^1407448-1 is not prime. Res64: 067AEEC070367868 Time : 0.0 sec. user=mdettweiler [2015-08-27 00:54:42] 999*2^1407448-1 is not prime. Res64: 7BE2036049B5727D Time : 0.0 sec. user=mdettweiler [2015-08-27 00:54:52] 627*2^1407449-1 is not prime. Res64: 884ABF308F086E83 Time : 0.0 sec. user=mdettweiler [2015-08-27 00:54:53] 631*2^1407449-1 is not prime. Res64: C0340825D083A38F Time : 0.0 sec. user=mdettweiler [2015-08-27 00:55:45] 727*2^1407449-1 is not prime. Res64: D900FB78E53B9E6E Time : 0.0 sec. user=mdettweiler [2015-08-27 00:55:45] 909*2^1407449-1 is not prime. Res64: 6FA6A1B4EBC1F80A Time : 0.0 sec. user=mdettweiler [2015-08-27 00:55:48] 735*2^1407450-1 is not prime. Res64: 4DEFF6EDA1FBE3B5 Time : 0.0 sec. user=mdettweiler [2015-08-27 00:55:49] 797*2^1407450-1 is not prime. Res64: 91435FE1679F35BC Time : 0.0 sec. user=mdettweiler [2015-08-27 01:12:14] 821*2^1407450-1 is not prime. Res64: 5C399DC62A27EC7F Time : 0.0 sec. user=mdettweiler [2015-08-27 01:12:15] 923*2^1407450-1 is not prime. Res64: BA43329E4B8AFFC8 Time : 0.0 sec. user=mdettweiler [2015-08-27 01:12:37] 601*2^1407451-1 is not prime. Res64: B3E3DAB017538409 Time : 0.0 sec. user=mdettweiler [2015-08-27 01:12:38] 625*2^1407451-1 is not prime. Res64: EADF832B4EBE56D4 Time : 0.0 sec. user=mdettweiler [2015-08-27 01:13:31] 733*2^1407451-1 is not prime. Res64: 36911109CEAA19A6 Time : 0.0 sec. user=mdettweiler [2015-08-27 01:13:32] 751*2^1407451-1 is not prime. Res64: 6ED1AEFE23190B65 Time : 0.0 sec. user=mdettweiler [2015-08-27 01:13:32] 631*2^1407451-1 is not prime. Res64: D7C14A112E1DEB8D Time : 0.0 sec. user=mdettweiler [2015-08-27 01:13:32] 675*2^1407451-1 is not prime. Res64: EDA54C0FDED0067A Time : 0.0 sec. user=mdettweiler [2015-08-27 01:29:56] 769*2^1407451-1 is not prime. Res64: F00E1B171635DB53 Time : 0.0 sec. user=mdettweiler [2015-08-27 01:29:57] 813*2^1407451-1 is not prime. Res64: 3CAA5CB5E814D966 Time : 0.0 sec. user=mdettweiler [2015-08-27 01:30:22] 871*2^1407451-1 is not prime. Res64: 184179A6C119609E Time : 0.0 sec. user=mdettweiler [2015-08-27 01:30:25] 885*2^1407451-1 is not prime. Res64: D1C591A05EE2B40E Time : 0.0 sec. user=mdettweiler [2015-08-27 01:31:06] 969*2^1407451-1 is not prime. Res64: C6F08E29BE99A946 Time : 0.0 sec. user=mdettweiler [2015-08-27 01:31:07] 669*2^1407452-1 is not prime. Res64: 9145A697FBDF7130 Time : 0.0 sec. user=mdettweiler [2015-08-27 01:31:17] 959*2^1407452-1 is not prime. Res64: 8839BEAC181F0E78 Time : 0.0 sec. user=mdettweiler [2015-08-27 01:31:17] 919*2^1407453-1 is not prime. Res64: 5FE8955BC642F138 Time : 0.0 sec. user=mdettweiler [2015-08-27 01:47:53] 671*2^1407454-1 is not prime. Res64: 63FC66DA0AD02BED Time : 0.0 sec. user=mdettweiler [2015-08-27 01:47:54] 731*2^1407454-1 is not prime. Res64: E03AE899A1A2877C Time : 0.0 sec. user=mdettweiler [2015-08-27 01:48:07] 791*2^1407454-1 is not prime. Res64: A49C41F14E548619 Time : 0.0 sec. user=mdettweiler [2015-08-27 01:48:08] 715*2^1407455-1 is not prime. Res64: 9C3C25FA80D94055 Time : 0.0 sec. user=mdettweiler [2015-08-27 01:48:51] 909*2^1407455-1 is not prime. Res64: A472D946792DC25E Time : 0.0 sec. user=mdettweiler [2015-08-27 01:48:53] 639*2^1407456-1 is not prime. Res64: 04B9BDC1480D4CA8 Time : 0.0 sec. user=mdettweiler [2015-08-27 01:49:00] 669*2^1407456-1 is not prime. Res64: DF5107C61F45A6F2 Time : 0.0 sec. user=mdettweiler [2015-08-27 01:49:01] 707*2^1407456-1 is not prime. Res64: FECABE81EDEC5EAD Time : 0.0 sec. user=mdettweiler [2015-08-27 02:05:38] 717*2^1407456-1 is not prime. Res64: C93B73547644E197 Time : 0.0 sec. user=mdettweiler [2015-08-27 02:05:39] 735*2^1407456-1 is not prime. Res64: C9D9AC5E9C2989A4 Time : 0.0 sec. user=mdettweiler [2015-08-27 02:05:48] 737*2^1407456-1 is not prime. Res64: 306291F8F4C3AC38 Time : 0.0 sec. user=mdettweiler [2015-08-27 02:05:49] 899*2^1407456-1 is not prime. Res64: 2FE93BE0738ED993 Time : 0.0 sec. user=mdettweiler [2015-08-27 02:06:32] 923*2^1407456-1 is not prime. Res64: 82CB489C701CBC6C Time : 0.0 sec. user=mdettweiler [2015-08-27 02:06:33] 933*2^1407456-1 is not prime. Res64: 1E847106549DDBE5 Time : 0.0 sec. user=mdettweiler [2015-08-27 02:06:40] 969*2^1407456-1 is not prime. Res64: 3AA2093D69E67C38 Time : 0.0 sec. user=mdettweiler [2015-08-27 02:06:41] 607*2^1407457-1 is not prime. Res64: 80482B13D55290ED Time : 0.0 sec. user=mdettweiler [2015-08-27 02:23:37] 835*2^1407457-1 is not prime. Res64: 48A2108421C309AD Time : 0.0 sec. user=mdettweiler [2015-08-27 02:23:37] 617*2^1407458-1 is not prime. Res64: 3CEB60C8251ADA5D Time : 0.0 sec. user=mdettweiler [2015-08-27 02:23:40] 715*2^1407457-1 is not prime. Res64: 9D8AA5E59AF7A23E Time : 0.0 sec. user=mdettweiler [2015-08-27 02:23:40] 829*2^1407457-1 is not prime. Res64: 26DFDAA05CB2747B Time : 0.0 sec. user=mdettweiler [2015-08-27 02:24:18] 683*2^1407458-1 is not prime. Res64: 1A717FE02C35CE93 Time : 0.0 sec. user=mdettweiler [2015-08-27 02:24:18] 755*2^1407458-1 is not prime. Res64: 741C3D6A23DC7ABA Time : 0.0 sec. user=mdettweiler [2015-08-27 02:24:32] 773*2^1407458-1 is not prime. Res64: AFD99E1F0416B85B Time : 0.0 sec. user=mdettweiler [2015-08-27 02:24:32] 837*2^1407458-1 is not prime. Res64: 7D73075E5622179A Time : 0.0 sec. user=mdettweiler [2015-08-27 02:41:17] 857*2^1407458-1 is not prime. Res64: F90AD612261E8141 Time : 0.0 sec. user=mdettweiler [2015-08-27 02:41:18] 911*2^1407458-1 is not prime. Res64: 3741E0B57C962964 Time : 0.0 sec. user=mdettweiler [2015-08-27 02:41:18] 971*2^1407458-1 is not prime. Res64: 614498BBF8C996F1 Time : 0.0 sec. user=mdettweiler [2015-08-27 02:41:19] 685*2^1407459-1 is not prime. Res64: 533684DAAEB99ED5 Time : 0.0 sec. user=mdettweiler [2015-08-27 02:41:56] 711*2^1407459-1 is not prime. Res64: EF472A096935386B Time : 0.0 sec. user=mdettweiler [2015-08-27 02:41:57] 793*2^1407459-1 is not prime. Res64: FC107743195255FD Time : 0.0 sec. user=mdettweiler [2015-08-27 02:42:11] 879*2^1407459-1 is not prime. Res64: B90A3EB65032CF4F Time : 0.0 sec. user=mdettweiler [2015-08-27 02:42:11] 951*2^1407459-1 is not prime. Res64: 8D0FDF082B13C9B8 Time : 0.0 sec. user=mdettweiler [2015-08-27 02:59:00] 629*2^1407460-1 is not prime. Res64: 1A28068C23D10C2C Time : 0.0 sec. user=mdettweiler [2015-08-27 02:59:00] 717*2^1407460-1 is not prime. Res64: 3896BA0DB0D61DBA Time : 0.0 sec. user=mdettweiler [2015-08-27 02:59:02] 973*2^1407459-1 is not prime. Res64: 6677A3DA39213968 Time : 0.0 sec. user=mdettweiler [2015-08-27 02:59:03] 609*2^1407460-1 is not prime. Res64: 7FFC7D7E8D0B6C16 Time : 0.0 sec. user=mdettweiler [2015-08-27 02:59:29] 833*2^1407460-1 is not prime. Res64: 5245D7D56CB3DC9F Time : 0.0 sec. user=mdettweiler [2015-08-27 02:59:30] 873*2^1407460-1 is not prime. Res64: 5A5DFCC39A142056 Time : 0.0 sec. user=mdettweiler [2015-08-27 02:59:45] 909*2^1407460-1 is not prime. Res64: E5E2C8093B49F093 Time : 0.0 sec. user=mdettweiler [2015-08-27 02:59:45] 933*2^1407460-1 is not prime. Res64: 5783DF0A1EBC1759 Time : 0.0 sec. user=mdettweiler [2015-08-27 03:16:46] 745*2^1407461-1 is not prime. Res64: 0F00D00AB8DBA771 Time : 0.0 sec. user=mdettweiler [2015-08-27 03:16:46] 757*2^1407461-1 is not prime. Res64: A9B7B184AE89FAE0 Time : 0.0 sec. user=mdettweiler [2015-08-27 03:16:47] 939*2^1407460-1 is not prime. Res64: 4FDE1A64B585F9F5 Time : 0.0 sec. user=mdettweiler [2015-08-27 03:16:47] 999*2^1407460-1 is not prime. Res64: A81DA604CFD67964 Time : 0.0 sec. user=mdettweiler [2015-08-27 03:17:14] 859*2^1407461-1 is not prime. Res64: 2D476FDB0C9046D7 Time : 0.0 sec. user=mdettweiler [2015-08-27 03:17:15] 889*2^1407461-1 is not prime. Res64: AA5ED594E842FB52 Time : 0.0 sec. user=mdettweiler [2015-08-27 03:17:21] 951*2^1407461-1 is not prime. Res64: F805F10C8909C5CA Time : 0.0 sec. user=mdettweiler [2015-08-27 03:17:21] 635*2^1407462-1 is not prime. Res64: 6E15F1BEC3857034 Time : 0.0 sec. user=mdettweiler [2015-08-27 03:34:25] 711*2^1407462-1 is not prime. Res64: A3754DAC69B1CC06 Time : 0.0 sec. user=mdettweiler [2015-08-27 03:34:26] 717*2^1407462-1 is not prime. Res64: 470443A3F586DB34 Time : 0.0 sec. user=mdettweiler [2015-08-27 03:34:29] 747*2^1407462-1 is not prime. Res64: 2080A8BA4216E3F1 Time : 0.0 sec. user=mdettweiler [2015-08-27 03:34:31] 777*2^1407462-1 is not prime. Res64: 14D8EDAEA220E569 Time : 0.0 sec. user=mdettweiler [2015-08-27 03:34:56] 797*2^1407462-1 is not prime. Res64: 0E8440BDEA563E39 Time : 0.0 sec. user=mdettweiler [2015-08-27 03:34:57] 801*2^1407462-1 is not prime. Res64: F09965E8AC5A7864 Time : 0.0 sec. user=mdettweiler [2015-08-27 03:35:04] 807*2^1407462-1 is not prime. Res64: 54A21783459D4C6D Time : 0.0 sec. user=mdettweiler [2015-08-27 03:35:05] 833*2^1407462-1 is not prime. Res64: 8B0607A1DEB30518 Time : 0.0 sec. user=mdettweiler [2015-08-27 03:52:26] 723*2^1407463-1 is not prime. Res64: 674BA8808173E901 Time : 0.0 sec. user=mdettweiler [2015-08-27 03:52:27] 853*2^1407463-1 is not prime. Res64: 7015502D65846B5A Time : 0.0 sec. user=mdettweiler [2015-08-27 03:52:29] 873*2^1407462-1 is not prime. Res64: 04B2C6CC980F1A42 Time : 0.0 sec. user=mdettweiler [2015-08-27 03:52:29] 921*2^1407462-1 is not prime. Res64: A3A002BA54958A8C Time : 0.0 sec. user=mdettweiler [2015-08-27 03:52:37] 999*2^1407463-1 is not prime. Res64: 0A8CB3204A893767 Time : 0.0 sec. user=mdettweiler [2015-08-27 03:52:37] 615*2^1407464-1 is not prime. Res64: C6DC62D5CDA4A486 Time : 0.0 sec. user=mdettweiler [2015-08-27 03:52:42] 629*2^1407464-1 is not prime. Res64: AD4AF552DB7DBBC1 Time : 0.0 sec. user=mdettweiler [2015-08-27 03:52:42] 675*2^1407464-1 is not prime. Res64: 7FED1B45FFD5A97C Time : 0.0 sec. user=mdettweiler [2015-08-27 04:10:06] 833*2^1407464-1 is not prime. Res64: 11C510298FCAD83F Time : 0.0 sec. user=mdettweiler [2015-08-27 04:10:07] 897*2^1407464-1 is not prime. Res64: 635D95793CD4EF24 Time : 0.0 sec. user=mdettweiler [2015-08-27 04:10:08] 639*2^1407465-1 is not prime. Res64: BB87356BD64076B1 Time : 0.0 sec. user=mdettweiler [2015-08-27 04:10:09] 691*2^1407465-1 is not prime. Res64: 16FF20D2AF74D502 Time : 0.0 sec. user=mdettweiler [2015-08-27 04:10:11] 789*2^1407465-1 is not prime. Res64: 808808D50D3F1FAB Time : 0.0 sec. user=mdettweiler [2015-08-27 04:10:12] 817*2^1407465-1 is not prime. Res64: A7B5875C1EC5DBCE Time : 0.0 sec. user=mdettweiler [2015-08-27 04:10:25] 895*2^1407465-1 is not prime. Res64: DAADBD6B7C44AD9A Time : 0.0 sec. user=mdettweiler [2015-08-27 04:10:25] 603*2^1407466-1 is not prime. Res64: 443A62849AF7AFC9 Time : 0.0 sec. user=mdettweiler [2015-08-27 04:27:54] 623*2^1407466-1 is not prime. Res64: 07DFDAAF349C063E Time : 0.0 sec. user=mdettweiler [2015-08-27 04:27:54] 663*2^1407466-1 is not prime. Res64: EF9A5CF83DF46FFF Time : 0.0 sec. user=mdettweiler [2015-08-27 04:27:54] 857*2^1407466-1 is not prime. Res64: CA8A8AB8B4E39F92 Time : 0.0 sec. user=mdettweiler [2015-08-27 04:27:55] 905*2^1407466-1 is not prime. Res64: BFF9A9F1F63839AD Time : 0.0 sec. user=mdettweiler [2015-08-27 04:27:58] 713*2^1407466-1 is not prime. Res64: 8B5C6FC7D3B7F292 Time : 0.0 sec. user=mdettweiler [2015-08-27 04:27:59] 735*2^1407466-1 is not prime. Res64: D1B143E2B05F0004 Time : 0.0 sec. user=mdettweiler [2015-08-27 04:28:08] 923*2^1407466-1 is not prime. Res64: F857DC7E304E702C Time : 0.0 sec. user=mdettweiler [2015-08-27 04:28:09] 673*2^1407467-1 is not prime. Res64: 30018E164AE6E0D0 Time : 0.0 sec. user=mdettweiler [2015-08-27 04:45:29] 841*2^1407467-1 is not prime. Res64: 98E4406DEA6B66F7 Time : 0.0 sec. user=mdettweiler [2015-08-27 04:45:30] 913*2^1407467-1 is not prime. Res64: 3FAA6A03234F8AAA Time : 0.0 sec. user=mdettweiler [2015-08-27 04:45:34] 705*2^1407467-1 is not prime. Res64: 75CA0C0DD49E452E Time : 0.0 sec. user=mdettweiler [2015-08-27 04:45:34] 825*2^1407467-1 is not prime. Res64: 604100FCFAAD75E5 Time : 0.0 sec. user=mdettweiler [2015-08-27 04:45:37] 949*2^1407467-1 is not prime. Res64: 9231D8A658EC70A3 Time : 0.0 sec. user=mdettweiler [2015-08-27 04:45:37] 629*2^1407468-1 is not prime. Res64: C4173540DB38920A Time : 0.0 sec. user=mdettweiler [2015-08-27 04:45:41] 635*2^1407468-1 is not prime. Res64: 89114CD7E7D32A61 Time : 0.0 sec. user=mdettweiler [2015-08-27 04:45:41] 783*2^1407468-1 is not prime. Res64: 411FA4560BC6F642 Time : 0.0 sec. user=mdettweiler [2015-08-27 05:03:13] 771*2^1407469-1 is not prime. Res64: 5CA47EA5FF805E7E Time : 0.0 sec. user=mdettweiler [2015-08-27 05:03:14] 797*2^1407468-1 is not prime. Res64: C86B1E031C81B6B5 Time : 0.0 sec. user=mdettweiler [2015-08-27 05:03:14] 867*2^1407469-1 is not prime. Res64: 266FCDCF6132B3C6 Time : 0.0 sec. user=mdettweiler [2015-08-27 05:03:15] 945*2^1407468-1 is not prime. Res64: 4909ECEB262EEF58 Time : 0.0 sec. user=mdettweiler [2015-08-27 05:03:20] 993*2^1407468-1 is not prime. Res64: 391B839172EDB93C Time : 0.0 sec. user=mdettweiler [2015-08-27 05:03:21] 751*2^1407469-1 is not prime. Res64: 337164A694662D8D Time : 0.0 sec. user=mdettweiler [2015-08-27 05:03:26] 985*2^1407469-1 is not prime. Res64: B994C57EB25344C7 Time : 0.0 sec. user=mdettweiler [2015-08-27 05:03:27] 827*2^1407470-1 is not prime. Res64: 94426EE9D29C1EFC Time : 0.0 sec. user=mdettweiler [2015-08-27 05:21:19] 945*2^1407470-1 is not prime. Res64: 81915CD16C4BD344 Time : 0.0 sec. user=mdettweiler [2015-08-27 05:21:19] 981*2^1407470-1 is not prime. Res64: FC2F2C767D62E91F Time : 0.0 sec. user=mdettweiler [2015-08-27 05:21:22] 911*2^1407470-1 is not prime. Res64: 56A77E07397C0C22 Time : 0.0 sec. user=mdettweiler [2015-08-27 05:21:23] 941*2^1407470-1 is not prime. Res64: 4E6B44CABF245B4B Time : 0.0 sec. user=mdettweiler [2015-08-27 05:21:23] 609*2^1407471-1 is not prime. Res64: A5E43D733AE8C7C1 Time : 0.0 sec. user=mdettweiler [2015-08-27 05:21:24] 865*2^1407471-1 is not prime. Res64: 46C270DCB296D087 Time : 0.0 sec. user=mdettweiler [2015-08-27 05:21:28] 831*2^1407470-1 is not prime. Res64: A3BCC96C0FADB5C6 Time : 0.0 sec. user=mdettweiler [2015-08-27 05:21:29] 887*2^1407470-1 is not prime. Res64: 8449CF1D6E62ABAE Time : 0.0 sec. user=mdettweiler [2015-08-27 05:38:54] 885*2^1407471-1 is not prime. Res64: B963F73B7DFA145A Time : 0.0 sec. user=mdettweiler [2015-08-27 05:38:54] 979*2^1407471-1 is not prime. Res64: E48AA8B3DECC17F0 Time : 0.0 sec. user=mdettweiler [2015-08-27 05:38:57] 999*2^1407471-1 is not prime. Res64: 3A70680D32657FBB Time : 0.0 sec. user=mdettweiler [2015-08-27 05:38:57] 629*2^1407472-1 is not prime. Res64: 29EEDB1A493823BC Time : 0.0 sec. user=mdettweiler [2015-08-27 05:39:01] 653*2^1407472-1 is not prime. Res64: B5A854051C10EED7 Time : 0.0 sec. user=mdettweiler [2015-08-27 05:39:02] 903*2^1407472-1 is not prime. Res64: 80653969C36C451E Time : 0.0 sec. user=mdettweiler [2015-08-27 05:39:08] 975*2^1407472-1 is not prime. Res64: 69AA6AD86FE28DF3 Time : 0.0 sec. user=mdettweiler [2015-08-27 05:39:09] 649*2^1407473-1 is not prime. Res64: 7669E467E75650E7 Time : 0.0 sec. user=mdettweiler [2015-08-27 05:56:46] 657*2^1407473-1 is not prime. Res64: 3641FF65BAF53816 Time : 0.0 sec. user=mdettweiler [2015-08-27 05:56:46] 735*2^1407473-1 is not prime. Res64: E68CE0245640ED2C Time : 0.0 sec. user=mdettweiler [2015-08-27 05:56:46] 991*2^1407473-1 is not prime. Res64: 6A8CBE41E91C0D01 Time : 0.0 sec. user=mdettweiler [2015-08-27 05:56:47] 605*2^1407474-1 is not prime. Res64: F74084FD04EF667C Time : 0.0 sec. user=mdettweiler [2015-08-27 05:56:52] 861*2^1407473-1 is not prime. Res64: 98AA8230340ADC2A Time : 0.0 sec. user=mdettweiler [2015-08-27 05:56:53] 985*2^1407473-1 is not prime. Res64: 98DF43629B78028A Time : 0.0 sec. user=mdettweiler [2015-08-27 05:56:58] 683*2^1407474-1 is not prime. Res64: 731E9AC63373CB2F Time : 0.0 sec. user=mdettweiler [2015-08-27 05:56:58] 825*2^1407474-1 is not prime. Res64: 0FCBB5E35C996825 Time : 0.0 sec. user=mdettweiler [2015-08-27 06:14:25] 915*2^1407474-1 is not prime. Res64: DB39FB14AFB1BE40 Time : 0.0 sec. user=mdettweiler [2015-08-27 06:14:25] 917*2^1407474-1 is not prime. Res64: 931DF86FCB999557 Time : 0.0 sec. user=mdettweiler [2015-08-27 06:14:30] 945*2^1407474-1 is not prime. Res64: D0D989FAFA32F0DB Time : 0.0 sec. user=mdettweiler [2015-08-27 06:14:30] 947*2^1407474-1 is not prime. Res64: 1EF303BCC85306CF Time : 0.0 sec. user=mdettweiler [2015-08-27 06:14:36] 603*2^1407475-1 is not prime. Res64: 4DCB5DE5B19B315E Time : 0.0 sec. user=mdettweiler [2015-08-27 06:14:36] 759*2^1407475-1 is not prime. Res64: 964CAAB16E2431F0 Time : 0.0 sec. user=mdettweiler [2015-08-27 06:14:42] 775*2^1407475-1 is not prime. Res64: B8023514C796F841 Time : 0.0 sec. user=mdettweiler [2015-08-27 06:14:43] 871*2^1407475-1 is not prime. Res64: 0E622A7D2758800F Time : 0.0 sec. user=mdettweiler [2015-08-27 06:31:57] 895*2^1407475-1 is not prime. Res64: 8EDA115E76B6008D Time : 0.0 sec. user=mdettweiler [2015-08-27 06:31:58] 973*2^1407475-1 is not prime. Res64: C9658EA4E3AC2E70 Time : 0.0 sec. user=mdettweiler [2015-08-27 06:32:08] 875*2^1407476-1 is not prime. Res64: 2EA4C11D8D98E0CE Time : 0.0 sec. user=mdettweiler [2015-08-27 06:32:09] 969*2^1407476-1 is not prime. Res64: CFD4719C2636E748 Time : 0.0 sec. user=mdettweiler [2015-08-27 06:32:11] 759*2^1407476-1 is not prime. Res64: B051231E8907CF86 Time : 0.0 sec. user=mdettweiler [2015-08-27 06:32:11] 825*2^1407476-1 is not prime. Res64: D07A78915C663C2C Time : 0.0 sec. user=mdettweiler [2015-08-27 06:32:28] 835*2^1407477-1 is not prime. Res64: 445B44021D5DEC63 Time : 0.0 sec. user=mdettweiler [2015-08-27 06:32:28] 891*2^1407477-1 is not prime. Res64: CCF798F8CC979B16 Time : 0.0 sec. user=mdettweiler [2015-08-27 06:49:31] 945*2^1407477-1 is not prime. Res64: 8F84DF2BD48C7C69 Time : 0.0 sec. user=mdettweiler [2015-08-27 06:49:31] 991*2^1407477-1 is not prime. Res64: 9E44AE5262861511 Time : 0.0 sec. user=mdettweiler [2015-08-27 06:49:42] 845*2^1407478-1 is not prime. Res64: C0A3349B168302F1 Time : 0.0 sec. user=mdettweiler [2015-08-27 06:49:42] 951*2^1407478-1 is not prime. Res64: 293225DBCA4DF961 Time : 0.0 sec. user=mdettweiler [2015-08-27 06:49:43] 605*2^1407478-1 is not prime. Res64: B6630A2683EF6F09 Time : 0.0 sec. user=mdettweiler [2015-08-27 06:49:43] 815*2^1407478-1 is not prime. Res64: 43304A7721485D28 Time : 0.0 sec. user=mdettweiler [2015-08-27 06:50:00] 993*2^1407478-1 is not prime. Res64: 5A946B38C93AF590 Time : 0.0 sec. user=mdettweiler [2015-08-27 06:50:00] 661*2^1407479-1 is not prime. Res64: 45F201BA49D09E72 Time : 0.0 sec. user=mdettweiler [2015-08-27 07:07:12] 663*2^1407479-1 is not prime. Res64: 0E15918222F3A5EB Time : 0.0 sec. user=mdettweiler [2015-08-27 07:07:13] 693*2^1407479-1 is not prime. Res64: CC9511A9B2CCD161 Time : 0.0 sec. user=mdettweiler [2015-08-27 07:07:19] 843*2^1407479-1 is not prime. Res64: 5B66C0E70C9286AD Time : 0.0 sec. user=mdettweiler [2015-08-27 07:07:22] 909*2^1407479-1 is not prime. Res64: 19C0D245779A1B61 Time : 0.0 sec. user=mdettweiler [2015-08-27 07:07:25] 759*2^1407479-1 is not prime. Res64: A7EF3A978A8FD0E5 Time : 0.0 sec. user=mdettweiler [2015-08-27 07:07:26] 811*2^1407479-1 is not prime. Res64: DC5B2A3D66D748B4 Time : 0.0 sec. user=mdettweiler [2015-08-27 07:07:37] 689*2^1407480-1 is not prime. Res64: FE13747DAE442134 Time : 0.0 sec. user=mdettweiler [2015-08-27 07:07:38] 795*2^1407480-1 is not prime. Res64: AC09904662FB6EBC Time : 0.0 sec. user=mdettweiler [2015-08-27 07:25:12] 839*2^1407480-1 is not prime. Res64: 6250CB8B502A54A3 Time : 0.0 sec. user=mdettweiler [2015-08-27 07:25:12] 845*2^1407480-1 is not prime. Res64: 9A121CB2BA53E0A1 Time : 0.0 sec. user=mdettweiler [2015-08-27 07:25:13] 651*2^1407482-1 is not prime. Res64: 093070AF152D68ED Time : 0.0 sec. user=mdettweiler [2015-08-27 07:25:13] 657*2^1407482-1 is not prime. Res64: 5839A18F1C5478FC Time : 0.0 sec. user=mdettweiler [2015-08-27 07:25:18] 975*2^1407480-1 is not prime. Res64: 61EB05DB422BA3F0 Time : 0.0 sec. user=mdettweiler [2015-08-27 07:25:19] 937*2^1407481-1 is not prime. Res64: DB12FF815F769138 Time : 0.0 sec. user=mdettweiler [2015-08-27 07:25:22] 797*2^1407482-1 is not prime. Res64: 7824A40FB77EB1F3 Time : 0.0 sec. user=mdettweiler [2015-08-27 07:25:22] 825*2^1407482-1 is not prime. Res64: D1D30026B8BE0C2C Time : 0.0 sec. user=mdettweiler [2015-08-27 07:42:52] 843*2^1407482-1 is not prime. Res64: D9DDA959E4D42E89 Time : 0.0 sec. user=mdettweiler [2015-08-27 07:42:53] 699*2^1407483-1 is not prime. Res64: 66136925A63F27CB Time : 0.0 sec. user=mdettweiler [2015-08-27 07:42:55] 739*2^1407483-1 is not prime. Res64: C2DE8DF8A4369D50 Time : 0.0 sec. user=mdettweiler [2015-08-27 07:42:56] 753*2^1407483-1 is not prime. Res64: 047DBD092DFD7590 Time : 0.0 sec. user=mdettweiler [2015-08-27 07:43:01] 759*2^1407484-1 is not prime. Res64: A7426BB2025EFC82 Time : 0.0 sec. user=mdettweiler [2015-08-27 07:43:01] 803*2^1407484-1 is not prime. Res64: F89942B6861CB68F Time : 0.0 sec. user=mdettweiler [2015-08-27 07:43:13] 781*2^1407483-1 is not prime. Res64: 2C7DE3D97010364A Time : 0.0 sec. user=mdettweiler [2015-08-27 07:43:13] 755*2^1407484-1 is not prime. Res64: 0A04A9A8E415CAB5 Time : 0.0 sec. user=mdettweiler [2015-08-27 08:00:31] 903*2^1407484-1 is not prime. Res64: 9992CA4E457A33AF Time : 0.0 sec. user=mdettweiler [2015-08-27 08:00:31] 993*2^1407484-1 is not prime. Res64: A67FB41FA2C85DE1 Time : 0.0 sec. user=mdettweiler [2015-08-27 08:00:39] 995*2^1407484-1 is not prime. Res64: B60ECE5D4AFF762C Time : 0.0 sec. user=mdettweiler [2015-08-27 08:00:39] 669*2^1407485-1 is not prime. Res64: 3B7D21595F36F81D Time : 0.0 sec. user=mdettweiler [2015-08-27 08:00:43] 691*2^1407485-1 is not prime. Res64: 84F3C6B19208E5DA Time : 0.0 sec. user=mdettweiler [2015-08-27 08:00:43] 715*2^1407485-1 is not prime. Res64: 0302876D527F715E Time : 0.0 sec. user=mdettweiler [2015-08-27 08:00:54] 729*2^1407485-1 is not prime. Res64: E2AB11A8B8124C3A Time : 0.0 sec. user=mdettweiler [2015-08-27 08:00:55] 775*2^1407485-1 is not prime. Res64: B848652FE86B60D5 Time : 0.0 sec. user=mdettweiler [2015-08-27 08:18:09] 795*2^1407485-1 is not prime. Res64: 4EC2F79436C9EFAB Time : 0.0 sec. user=mdettweiler [2015-08-27 08:18:10] 819*2^1407485-1 is not prime. Res64: 49096B3EEE907EB7 Time : 0.0 sec. user=mdettweiler [2015-08-27 08:18:23] 825*2^1407485-1 is not prime. Res64: FE1F44C7B104826E Time : 0.0 sec. user=mdettweiler [2015-08-27 08:18:23] 707*2^1407486-1 is not prime. Res64: 257C8FC4986315AF Time : 0.0 sec. user=mdettweiler [2015-08-27 08:18:23] 611*2^1407486-1 is not prime. Res64: B3621B921CD20E1E Time : 0.0 sec. user=mdettweiler [2015-08-27 08:18:23] 711*2^1407486-1 is not prime. Res64: 4E443E89187F49F2 Time : 0.0 sec. user=mdettweiler [2015-08-27 08:18:38] 713*2^1407486-1 is not prime. Res64: F74CFA1601E4F5A0 Time : 0.0 sec. user=mdettweiler [2015-08-27 08:18:39] 783*2^1407486-1 is not prime. Res64: 7585062A3BD79728 Time : 0.0 sec. user=mdettweiler [2015-08-27 08:35:53] 861*2^1407486-1 is not prime. Res64: DE874794D3ED77F5 Time : 0.0 sec. user=mdettweiler [2015-08-27 08:35:53] 685*2^1407487-1 is not prime. Res64: F52759D19EAA0BE9 Time : 0.0 sec. user=mdettweiler [2015-08-27 08:36:02] 633*2^1407488-1 is not prime. Res64: BDF511B1F174A626 Time : 0.0 sec. user=mdettweiler [2015-08-27 08:36:02] 815*2^1407488-1 is not prime. Res64: B32C5A90D37518AC Time : 0.0 sec. user=mdettweiler [2015-08-27 08:36:13] 895*2^1407487-1 is not prime. Res64: D47B679ECAFB9486 Time : 0.0 sec. user=mdettweiler [2015-08-27 08:36:14] 629*2^1407488-1 is not prime. Res64: 1A1E73DEF249DC92 Time : 0.0 sec. user=mdettweiler [2015-08-27 08:36:17] 825*2^1407488-1 is not prime. Res64: EAB7AF92A3C57B0F Time : 0.0 sec. user=mdettweiler [2015-08-27 08:36:17] 845*2^1407488-1 is not prime. Res64: 42305630D964688D Time : 0.0 sec. user=mdettweiler [2015-08-27 08:53:34] 679*2^1407489-1 is not prime. Res64: 1B5DCD7F210A418F Time : 0.0 sec. user=mdettweiler [2015-08-27 08:53:35] 685*2^1407489-1 is not prime. Res64: 5BFE7B99A45E3F97 Time : 0.0 sec. user=mdettweiler [2015-08-27 08:53:45] 765*2^1407489-1 is not prime. Res64: FA377C5E36BF8676 Time : 0.0 sec. user=mdettweiler [2015-08-27 08:53:46] 817*2^1407489-1 is not prime. Res64: 8AF4211386BAD59D Time : 0.0 sec. user=mdettweiler [2015-08-27 08:53:52] 861*2^1407489-1 is not prime. Res64: E729BBE55145BED4 Time : 0.0 sec. user=mdettweiler [2015-08-27 08:53:53] 985*2^1407489-1 is not prime. Res64: 8F690FA7944C6A42 Time : 0.0 sec. user=mdettweiler [2015-08-27 08:54:09] 623*2^1407490-1 is not prime. Res64: CF08816624A46F3E Time : 0.0 sec. user=mdettweiler [2015-08-27 08:54:09] 701*2^1407490-1 is not prime. Res64: DB05CB297C867241 Time : 0.0 sec. user=mdettweiler [2015-08-27 09:11:22] 741*2^1407490-1 is not prime. Res64: 66542A9F66EB231A Time : 0.0 sec. user=mdettweiler [2015-08-27 09:11:22] 743*2^1407490-1 is not prime. Res64: AF7751916003FFD7 Time : 0.0 sec. user=mdettweiler [2015-08-27 09:11:42] 747*2^1407490-1 is not prime. Res64: 6ADD606E01154F0C Time : 0.0 sec. user=mdettweiler [2015-08-27 09:11:42] 813*2^1407490-1 is not prime. Res64: B661DFDB85C8E97C Time : 0.0 sec. user=mdettweiler [2015-08-27 09:11:44] 833*2^1407490-1 is not prime. Res64: CF2A5E41CD5E6A03 Time : 0.0 sec. user=mdettweiler [2015-08-27 09:11:44] 911*2^1407490-1 is not prime. Res64: 63D4CC3201B26BB0 Time : 0.0 sec. user=mdettweiler [2015-08-27 09:11:49] 917*2^1407490-1 is not prime. Res64: 6B8BC1A8C649DE35 Time : 0.0 sec. user=mdettweiler [2015-08-27 09:11:49] 975*2^1407490-1 is not prime. Res64: CF00D718D5A40222 Time : 0.0 sec. user=mdettweiler [2015-08-27 09:29:04] 987*2^1407490-1 is not prime. Res64: 43B9E4A18359DD78 Time : 0.0 sec. user=mdettweiler [2015-08-27 09:29:04] 615*2^1407491-1 is not prime. Res64: 257418A8A457572C Time : 0.0 sec. user=mdettweiler [2015-08-27 09:29:24] 669*2^1407491-1 is not prime. Res64: DDE9872FC1214A57 Time : 0.0 sec. user=mdettweiler [2015-08-27 09:29:24] 693*2^1407491-1 is not prime. Res64: 2865CB3C59718479 Time : 0.0 sec. user=mdettweiler [2015-08-27 09:29:27] 711*2^1407491-1 is not prime. Res64: 969CD0A9C8CC6A68 Time : 0.0 sec. user=mdettweiler [2015-08-27 09:29:27] 775*2^1407491-1 is not prime. Res64: DB4908B2E23383DF Time : 0.0 sec. user=mdettweiler [2015-08-27 09:29:32] 801*2^1407491-1 is not prime. Res64: 6EF6348FD7860399 Time : 0.0 sec. user=mdettweiler [2015-08-27 09:29:33] 871*2^1407491-1 is not prime. Res64: 6DD450F72780B384 Time : 0.0 sec. user=mdettweiler [2015-08-27 09:46:44] 885*2^1407491-1 is not prime. Res64: 04824C4C9E8F97F8 Time : 0.0 sec. user=mdettweiler [2015-08-27 09:46:44] 939*2^1407491-1 is not prime. Res64: 9F4A1B55A0AEDCCD Time : 0.0 sec. user=mdettweiler [2015-08-27 09:47:06] 981*2^1407491-1 is not prime. Res64: A90A97A32814240F Time : 0.0 sec. user=mdettweiler [2015-08-27 09:47:06] 999*2^1407491-1 is not prime. Res64: 8E9A864F803AD943 Time : 0.0 sec. user=mdettweiler [2015-08-27 09:47:09] 623*2^1407492-1 is not prime. Res64: 1D6BD70905A887ED Time : 0.0 sec. user=mdettweiler [2015-08-27 09:47:10] 633*2^1407492-1 is not prime. Res64: 4C795E3C0C3D625A Time : 0.0 sec. user=mdettweiler [2015-08-27 09:47:17] 669*2^1407492-1 is not prime. Res64: EE446FA6F78E11AD Time : 0.0 sec. user=mdettweiler [2015-08-27 09:47:17] 693*2^1407492-1 is not prime. Res64: 5C037466E764E9A0 Time : 0.0 sec. user=mdettweiler [2015-08-27 10:04:21] 749*2^1407492-1 is not prime. Res64: 926C1B499722D5F5 Time : 0.0 sec. user=mdettweiler [2015-08-27 10:04:23] 777*2^1407492-1 is not prime. Res64: F3D10E854B9C9635 Time : 0.0 sec. user=mdettweiler [2015-08-27 10:04:40] 803*2^1407492-1 is not prime. Res64: 605946C55ECDB60C Time : 0.0 sec. user=mdettweiler [2015-08-27 10:04:41] 909*2^1407492-1 is not prime. Res64: 2F636F44785D5D52 Time : 0.0 sec. user=mdettweiler [2015-08-27 10:04:48] 923*2^1407492-1 is not prime. Res64: ECEC9AF70D3BF2A6 Time : 0.0 sec. user=mdettweiler [2015-08-27 10:04:49] 959*2^1407492-1 is not prime. Res64: E65FEB02B4ED929D Time : 0.0 sec. user=mdettweiler [2015-08-27 10:04:54] 609*2^1407493-1 is not prime. Res64: 55D7022AA5524BC5 Time : 0.0 sec. user=mdettweiler [2015-08-27 10:04:55] 679*2^1407493-1 is not prime. Res64: 78A516391DE3C541 Time : 0.0 sec. user=mdettweiler [2015-08-27 10:22:17] 681*2^1407493-1 is not prime. Res64: 6E23AC062C1F509C Time : 0.0 sec. user=mdettweiler [2015-08-27 10:22:17] 699*2^1407493-1 is not prime. Res64: 4D13191ED9C802A7 Time : 0.0 sec. user=mdettweiler [2015-08-27 10:22:25] 747*2^1407493-1 is not prime. Res64: 8E9C4D2B4E1D41B5 Time : 0.0 sec. user=mdettweiler [2015-08-27 10:22:25] 769*2^1407493-1 is not prime. Res64: B30EFC4968ABF46C Time : 0.0 sec. user=mdettweiler [2015-08-27 10:22:32] 831*2^1407493-1 is not prime. Res64: 5BFBC4A04ABC5D07 Time : 0.0 sec. user=mdettweiler [2015-08-27 10:22:32] 939*2^1407493-1 is not prime. Res64: AFDF3CDC212B8E1A Time : 0.0 sec. user=mdettweiler [2015-08-27 10:22:36] 957*2^1407493-1 is not prime. Res64: CBA9A333AD1D2E03 Time : 0.0 sec. user=mdettweiler [2015-08-27 10:22:37] 641*2^1407494-1 is not prime. Res64: 7C875E95B74706E0 Time : 0.0 sec. user=mdettweiler [2015-08-27 10:39:59] 885*2^1407494-1 is not prime. Res64: 12EE1330FB6F8462 Time : 0.0 sec. user=mdettweiler [2015-08-27 10:40:00] 945*2^1407494-1 is not prime. Res64: E6E258D05227AA18 Time : 0.0 sec. user=mdettweiler [2015-08-27 10:40:03] 649*2^1407495-1 is not prime. Res64: DE959AD13116DA3C Time : 0.0 sec. user=mdettweiler [2015-08-27 10:40:03] 705*2^1407495-1 is not prime. Res64: 6BE7AE810E95C544 Time : 0.0 sec. user=mdettweiler [2015-08-27 10:40:12] 751*2^1407495-1 is not prime. Res64: 8E62EE8B767BA575 Time : 0.0 sec. user=mdettweiler [2015-08-27 10:40:13] 805*2^1407495-1 is not prime. Res64: 90292A5502BB6D4F Time : 0.0 sec. user=mdettweiler [2015-08-27 10:40:23] 819*2^1407495-1 is not prime. Res64: 1BD390589B01FE1F Time : 0.0 sec. user=mdettweiler [2015-08-27 10:40:23] 921*2^1407495-1 is not prime. Res64: DEF7316D6C76011D Time : 0.0 sec. user=mdettweiler [2015-08-27 10:57:53] 695*2^1407496-1 is not prime. Res64: E2ED41D28DA0C883 Time : 0.0 sec. user=mdettweiler [2015-08-27 10:57:53] 973*2^1407495-1 is not prime. Res64: B9C07EE9CC86622A Time : 0.0 sec. user=mdettweiler [2015-08-27 10:57:53] 705*2^1407496-1 is not prime. Res64: 149A49C185A6DE45 Time : 0.0 sec. user=mdettweiler [2015-08-27 10:57:54] 693*2^1407496-1 is not prime. Res64: E9B12070D5D298BA Time : 0.0 sec. user=mdettweiler [2015-08-27 10:58:15] 873*2^1407496-1 is not prime. Res64: 6DBBB5AE9FD2ABD3 Time : 0.0 sec. user=mdettweiler [2015-08-27 10:58:15] 619*2^1407497-1 is not prime. Res64: 8F803BA279732FA8 Time : 0.0 sec. user=mdettweiler [2015-08-27 10:58:20] 843*2^1407496-1 is not prime. Res64: BDEF5908514C1435 Time : 0.0 sec. user=mdettweiler [2015-08-27 10:58:20] 849*2^1407496-1 is not prime. Res64: BDE35A65878E3ACC Time : 0.0 sec. user=mdettweiler [2015-08-27 11:16:10] 805*2^1407497-1 is not prime. Res64: 554592F0AFF27B51 Time : 0.0 sec. user=mdettweiler [2015-08-27 11:16:11] 669*2^1407497-1 is not prime. Res64: 251DB83156EE43BE Time : 0.0 sec. user=mdettweiler [2015-08-27 11:16:11] 841*2^1407497-1 is not prime. Res64: 97F03D22DFD2740B Time : 0.0 sec. user=mdettweiler [2015-08-27 11:16:11] 729*2^1407497-1 is not prime. Res64: 862BA0CB45F3BB6B Time : 0.0 sec. user=mdettweiler [2015-08-27 11:16:36] 889*2^1407497-1 is not prime. Res64: 26CEA4A1E67D2D2A Time : 0.0 sec. user=mdettweiler [2015-08-27 11:16:36] 663*2^1407498-1 is not prime. Res64: 3275EBAD1F73E88F Time : 0.0 sec. user=mdettweiler [2015-08-27 11:16:37] 705*2^1407498-1 is not prime. Res64: 99834CB39B4D6B51 Time : 0.0 sec. user=mdettweiler [2015-08-27 11:16:38] 927*2^1407498-1 is not prime. Res64: 2955A24B3F0AC595 Time : 0.0 sec. user=mdettweiler [2015-08-27 11:35:08] 951*2^1407498-1 is not prime. Res64: 0CAE73ED4A72AD1D Time : 0.0 sec. user=mdettweiler [2015-08-27 11:35:09] 971*2^1407498-1 is not prime. Res64: F0296ACB42A1216C Time : 0.0 sec. user=mdettweiler [2015-08-27 11:35:14] 679*2^1407499-1 is not prime. Res64: 8139CB552D47055E Time : 0.0 sec. user=mdettweiler [2015-08-27 11:35:14] 691*2^1407499-1 is not prime. Res64: 704A0AF35800BC10 Time : 0.0 sec. user=mdettweiler [2015-08-27 11:35:39] 829*2^1407499-1 is not prime. Res64: 946DF9D3796906E5 Time : 0.0 sec. user=mdettweiler [2015-08-27 11:35:40] 883*2^1407499-1 is not prime. Res64: A89B4E1023787769 Time : 0.0 sec. user=mdettweiler [2015-08-27 11:35:49] 733*2^1407499-1 is not prime. Res64: 1367D87CF0E61ECA Time : 0.0 sec. user=mdettweiler [2015-08-27 11:35:50] 745*2^1407499-1 is not prime. Res64: 3DFEB1C2D58486E3 Time : 0.0 sec. user=mdettweiler [2015-08-27 11:56:18] 919*2^1407499-1 is not prime. Res64: CFFB4D6EBC3FEEA7 Time : 0.0 sec. user=mdettweiler [2015-08-27 11:56:19] 925*2^1407499-1 is not prime. Res64: 75BEADA6C8845C8B Time : 0.0 sec. user=mdettweiler [2015-08-27 11:56:38] 735*2^1407500-1 is not prime. Res64: BDEEDB6E22BB7E32 Time : 0.0 sec. user=mdettweiler [2015-08-27 11:56:38] 879*2^1407500-1 is not prime. Res64: E6A5B0BA334C4F48 Time : 0.0 sec. user=mdettweiler [2015-08-27 11:56:58] 625*2^1407501-1 is not prime. Res64: E132A64E2A866546 Time : 0.0 sec. user=mdettweiler [2015-08-27 11:56:58] 649*2^1407501-1 is not prime. Res64: 8E4E278D69C922BA Time : 0.0 sec. user=mdettweiler [2015-08-27 11:57:06] 795*2^1407501-1 is not prime. Res64: D1D8532B0D832BD7 Time : 0.0 sec. user=mdettweiler [2015-08-27 11:57:06] 805*2^1407501-1 is not prime. Res64: 8E025EB3098BD40B Time : 0.0 sec. user=mdettweiler [2015-08-27 12:17:57] 811*2^1407501-1 is not prime. Res64: B18ADBB7D0E2F67D Time : 0.0 sec. user=mdettweiler [2015-08-27 12:17:58] 951*2^1407501-1 is not prime. Res64: A04FE20DB2F2EF48 Time : 0.0 sec. user=mdettweiler [2015-08-27 12:18:11] 961*2^1407501-1 is not prime. Res64: 564B28C9A9E057CC Time : 0.0 sec. user=mdettweiler [2015-08-27 12:18:11] 991*2^1407501-1 is not prime. Res64: 51A9516A11BC6836 Time : 0.0 sec. user=mdettweiler [2015-08-27 12:18:24] 755*2^1407502-1 is not prime. Res64: 760330AB359FE7DA Time : 0.0 sec. user=mdettweiler [2015-08-27 12:18:24] 833*2^1407502-1 is not prime. Res64: 660F43F6E0256145 Time : 0.0 sec. user=mdettweiler [2015-08-27 12:18:26] 735*2^1407503-1 is not prime. Res64: 3D7A8E3D4C397289 Time : 0.0 sec. user=mdettweiler [2015-08-27 12:18:27] 739*2^1407503-1 is not prime. Res64: D8DD560046B44829 Time : 0.0 sec. user=mdettweiler [2015-08-27 12:35:59] 823*2^1407503-1 is not prime. Res64: E0B6FEEBACA0D36A Time : 0.0 sec. user=mdettweiler [2015-08-27 12:36:00] 705*2^1407504-1 is not prime. Res64: 73FC5938EAC30AC3 Time : 0.0 sec. user=mdettweiler [2015-08-27 12:36:07] 717*2^1407504-1 is not prime. Res64: 2B499C2E3C44EA46 Time : 0.0 sec. user=mdettweiler [2015-08-27 12:36:08] 789*2^1407504-1 is not prime. Res64: E1637DF4EB0E20F0 Time : 0.0 sec. user=mdettweiler [2015-08-27 12:36:18] 795*2^1407504-1 is not prime. Res64: F7E1F33001820BFE Time : 0.0 sec. user=mdettweiler [2015-08-27 12:36:19] 825*2^1407504-1 is not prime. Res64: 46F0991E9BA47D47 Time : 0.0 sec. user=mdettweiler [2015-08-27 12:36:28] 705*2^1407505-1 is not prime. Res64: 167CE25D086B9DEC Time : 0.0 sec. user=mdettweiler [2015-08-27 12:36:29] 877*2^1407505-1 is not prime. Res64: ED2ECA6C4E0F3D1A Time : 0.0 sec. user=mdettweiler [2015-08-27 12:54:11] 889*2^1407505-1 is not prime. Res64: 58DC0D6E01C117EF Time : 0.0 sec. user=mdettweiler [2015-08-27 12:54:11] 711*2^1407506-1 is not prime. Res64: 7AB809E11CDB7275 Time : 0.0 sec. user=mdettweiler [2015-08-27 12:54:15] 743*2^1407506-1 is not prime. Res64: 58DAE1BB4B93CD5E Time : 0.0 sec. user=mdettweiler [2015-08-27 12:54:15] 773*2^1407506-1 is not prime. Res64: E19A8CA30DE7407E Time : 0.0 sec. user=mdettweiler [2015-08-27 12:54:25] 903*2^1407506-1 is not prime. Res64: 91D8C02F531E5C2B Time : 0.0 sec. user=mdettweiler [2015-08-27 12:54:25] 971*2^1407506-1 is not prime. Res64: 6DBF83AE023F51A5 Time : 0.0 sec. user=mdettweiler [2015-08-27 12:54:30] 801*2^1407506-1 is not prime. Res64: 323FE49448B8F30A Time : 0.0 sec. user=mdettweiler [2015-08-27 12:54:30] 815*2^1407506-1 is not prime. Res64: A68C993531D32DE8 Time : 0.0 sec. user=mdettweiler [2015-08-27 13:12:30] 751*2^1407507-1 is not prime. Res64: 66F53BD5AC6C84EA Time : 0.0 sec. user=mdettweiler [2015-08-27 13:12:31] 849*2^1407507-1 is not prime. Res64: 556BF4F01B8F30B1 Time : 0.0 sec. user=mdettweiler [2015-08-27 13:12:50] 675*2^1407507-1 is not prime. Res64: D02F21EEF2D00E2B Time : 0.0 sec. user=mdettweiler [2015-08-27 13:12:50] 685*2^1407507-1 is not prime. Res64: EF21966AD6FB465E Time : 0.0 sec. user=mdettweiler [2015-08-27 13:12:57] 951*2^1407507-1 is not prime. Res64: 4BBDE8E3EA1B3D8A Time : 0.0 sec. user=mdettweiler [2015-08-27 13:12:58] 979*2^1407507-1 is not prime. Res64: 5548FFCCD43656BB Time : 0.0 sec. user=mdettweiler [2015-08-27 13:14:10] 657*2^1407508-1 is not prime. Res64: AF94EB80E77C4349 Time : 0.0 sec. user=mdettweiler [2015-08-27 13:14:10] 663*2^1407508-1 is not prime. Res64: 2A8C5B50CE58749A Time : 0.0 sec. user=mdettweiler [2015-08-27 13:30:57] 777*2^1407508-1 is not prime. Res64: 309EA87CFDD4C4FD Time : 0.0 sec. user=mdettweiler [2015-08-27 13:30:57] 833*2^1407508-1 is not prime. Res64: 53F2A48D96451540 Time : 0.0 sec. user=mdettweiler [2015-08-27 13:31:06] 839*2^1407508-1 is not prime. Res64: F8D1FFEA0EC03A6F Time : 0.0 sec. user=mdettweiler [2015-08-27 13:31:06] 869*2^1407508-1 is not prime. Res64: A7F3368666CBE51A Time : 0.0 sec. user=mdettweiler [2015-08-27 13:31:31] 927*2^1407508-1 is not prime. Res64: F1A96ADA1CB32756 Time : 0.0 sec. user=mdettweiler [2015-08-27 13:31:32] 769*2^1407509-1 is not prime. Res64: 785EBD0D4BC725B8 Time : 0.0 sec. user=mdettweiler [2015-08-27 13:32:36] 771*2^1407509-1 is not prime. Res64: E8AB354A29E13285 Time : 0.0 sec. user=mdettweiler [2015-08-27 13:32:36] 789*2^1407509-1 is not prime. Res64: C65921C05C03AC2F Time : 0.0 sec. user=mdettweiler [2015-08-27 13:49:00] 885*2^1407509-1 is not prime. Res64: B1C9BCA06E3040CA Time : 0.0 sec. user=mdettweiler [2015-08-27 13:49:00] 927*2^1407509-1 is not prime. Res64: 87059312E9EB8DF4 Time : 0.0 sec. user=mdettweiler [2015-08-27 13:49:15] 955*2^1407509-1 is not prime. Res64: 1BAC657D297C3C17 Time : 0.0 sec. user=mdettweiler [2015-08-27 13:49:15] 641*2^1407510-1 is not prime. Res64: 2D5C6AA235788766 Time : 0.0 sec. user=mdettweiler [2015-08-27 13:49:33] 711*2^1407510-1 is not prime. Res64: 40DC2DED72027241 Time : 0.0 sec. user=mdettweiler [2015-08-27 13:49:33] 755*2^1407510-1 is not prime. Res64: C0CEC32B5A5D2DC8 Time : 0.0 sec. user=mdettweiler [2015-08-27 13:50:41] 765*2^1407510-1 is not prime. Res64: BE9FF55EAFABED0A Time : 0.0 sec. user=mdettweiler [2015-08-27 13:50:41] 843*2^1407510-1 is not prime. Res64: 8B555782FEB320AB Time : 0.0 sec. user=mdettweiler [2015-08-27 14:06:57] 845*2^1407510-1 is not prime. Res64: 2021504B59CF3D4A Time : 0.0 sec. user=mdettweiler [2015-08-27 14:06:59] 963*2^1407510-1 is not prime. Res64: 15E33961F0819C98 Time : 0.0 sec. user=mdettweiler [2015-08-27 14:07:13] 645*2^1407511-1 is not prime. Res64: F5C990F8A4364463 Time : 0.0 sec. user=mdettweiler [2015-08-27 14:07:14] 783*2^1407511-1 is not prime. Res64: BBB961DDF2CC049C Time : 0.0 sec. user=mdettweiler [2015-08-27 14:07:32] 813*2^1407511-1 is not prime. Res64: 55622C5E4208A496 Time : 0.0 sec. user=mdettweiler [2015-08-27 14:07:32] 885*2^1407511-1 is not prime. Res64: 022AAD90124A8455 Time : 0.0 sec. user=mdettweiler [2015-08-27 14:08:36] 925*2^1407511-1 is not prime. Res64: 3B5DBC115FCEB547 Time : 0.0 sec. user=mdettweiler [2015-08-27 14:08:37] 939*2^1407511-1 is not prime. Res64: 8F28C862664406EA Time : 0.0 sec. user=mdettweiler [2015-08-27 14:25:02] 609*2^1407512-1 is not prime. Res64: 4BF25735E55EC317 Time : 0.0 sec. user=mdettweiler [2015-08-27 14:25:03] 633*2^1407512-1 is not prime. Res64: BCA26339622463DA Time : 0.0 sec. user=mdettweiler [2015-08-27 14:25:06] 951*2^1407511-1 is not prime. Res64: 05223C99ACF79B0B Time : 0.0 sec. user=mdettweiler [2015-08-27 14:25:07] 961*2^1407511-1 is not prime. Res64: 1DA6268068F9A7A1 Time : 0.0 sec. user=mdettweiler [2015-08-27 14:25:47] 813*2^1407512-1 is not prime. Res64: 3CBCB067E2847559 Time : 0.0 sec. user=mdettweiler [2015-08-27 14:25:48] 833*2^1407512-1 is not prime. Res64: 5BB913B31E620132 Time : 0.0 sec. user=mdettweiler [2015-08-27 14:26:33] 923*2^1407512-1 is not prime. Res64: 2AFF4B4104FE17F1 Time : 0.0 sec. user=mdettweiler [2015-08-27 14:26:34] 607*2^1407513-1 is not prime. Res64: 502BEBBA8A24DF30 Time : 0.0 sec. user=mdettweiler [2015-08-27 14:42:57] 637*2^1407513-1 is not prime. Res64: 9BEA622AE445BB36 Time : 0.0 sec. user=mdettweiler [2015-08-27 14:42:57] 651*2^1407513-1 is not prime. Res64: A2C4BD56DA8999A7 Time : 0.0 sec. user=mdettweiler [2015-08-27 14:43:12] 657*2^1407513-1 is not prime. Res64: 5F1E21AFAA08ED0F Time : 0.0 sec. user=mdettweiler [2015-08-27 14:43:13] 895*2^1407513-1 is not prime. Res64: 4A84004C3E7FD8E1 Time : 0.0 sec. user=mdettweiler [2015-08-27 14:43:39] 945*2^1407513-1 is not prime. Res64: 73F331EB891BD093 Time : 0.0 sec. user=mdettweiler [2015-08-27 14:43:40] 665*2^1407514-1 is not prime. Res64: 801F64A3DBBA55FD Time : 0.0 sec. user=mdettweiler [2015-08-27 14:44:30] 821*2^1407514-1 is not prime. Res64: 799557B894CAD9F2 Time : 0.0 sec. user=mdettweiler [2015-08-27 14:44:30] 915*2^1407514-1 is not prime. Res64: 21DFB6644B87028D Time : 0.0 sec. user=mdettweiler [2015-08-27 15:00:51] 679*2^1407515-1 is not prime. Res64: B6E96CE5C5781C2F Time : 0.0 sec. user=mdettweiler [2015-08-27 15:00:51] 781*2^1407515-1 is not prime. Res64: 9F32E452E6860797 Time : 0.0 sec. user=mdettweiler [2015-08-27 15:01:14] 789*2^1407515-1 is not prime. Res64: 6FB96C2FD9B08DE4 Time : 0.0 sec. user=mdettweiler [2015-08-27 15:01:14] 855*2^1407515-1 is not prime. Res64: 77B4DF3AF9E7D6FF Time : 0.0 sec. user=mdettweiler [2015-08-27 15:01:39] 861*2^1407515-1 is not prime. Res64: 7FECD34F0CF754D7 Time : 0.0 sec. user=mdettweiler [2015-08-27 15:01:40] 883*2^1407515-1 is not prime. Res64: DE8F46117250D9FF Time : 0.0 sec. user=mdettweiler [2015-08-27 15:02:29] 895*2^1407515-1 is not prime. Res64: 31DFCBD270C405AB Time : 0.0 sec. user=mdettweiler [2015-08-27 15:02:30] 609*2^1407516-1 is not prime. Res64: 62A1C8972B8B0836 Time : 0.0 sec. user=mdettweiler [2015-08-27 15:19:03] 947*2^1407516-1 is not prime. Res64: 0BA2C781181B0E18 Time : 0.0 sec. user=mdettweiler [2015-08-27 15:19:03] 601*2^1407517-1 is not prime. Res64: 774B87D7C21F5AE2 Time : 0.0 sec. user=mdettweiler [2015-08-27 15:19:05] 693*2^1407516-1 is not prime. Res64: 7F4E98EB08EDAA6C Time : 0.0 sec. user=mdettweiler [2015-08-27 15:19:06] 903*2^1407516-1 is not prime. Res64: D44F125F7A546F9E Time : 0.0 sec. user=mdettweiler [2015-08-27 15:19:51] 691*2^1407517-1 is not prime. Res64: E5B063F3076D2ED3 Time : 0.0 sec. user=mdettweiler [2015-08-27 15:19:52] 729*2^1407517-1 is not prime. Res64: 41B271399ED14941 Time : 0.0 sec. user=mdettweiler [2015-08-27 15:20:28] 747*2^1407517-1 is not prime. Res64: 7041B06CFAA28A72 Time : 0.0 sec. user=mdettweiler [2015-08-27 15:20:28] 831*2^1407517-1 is not prime. Res64: 12814EE71EEBF119 Time : 0.0 sec. user=mdettweiler [2015-08-27 15:41:49] 665*2^1407518-1 is not prime. Res64: F654D8468FE10CB7 Time : 0.0 sec. user=mdettweiler [2015-08-27 15:41:49] 711*2^1407518-1 is not prime. Res64: 69CD56A09719E168 Time : 0.0 sec. user=mdettweiler [2015-08-27 15:42:25] 867*2^1407517-1 is not prime. Res64: A41F8362844A2A2B Time : 0.0 sec. user=mdettweiler [2015-08-27 15:42:25] 985*2^1407517-1 is not prime. Res64: 73CBA0BFDDB69E81 Time : 0.0 sec. user=mdettweiler [2015-08-27 15:43:01] 743*2^1407518-1 is not prime. Res64: 58159A3542425EF0 Time : 0.0 sec. user=mdettweiler [2015-08-27 15:43:02] 761*2^1407518-1 is not prime. Res64: 5AE0E75350290FFC Time : 0.0 sec. user=mdettweiler [2015-08-27 15:44:19] 771*2^1407518-1 is not prime. Res64: DF5978988F81AB2F Time : 0.0 sec. user=mdettweiler [2015-08-27 15:44:19] 827*2^1407518-1 is not prime. Res64: 867BD076897A45C8 Time : 0.0 sec. user=S_K_ [2015-08-27 15:47:14] 971*2^1407514-1 is not prime. Res64: 326754A62B7E80E6 Time : 0.0 sec. user=mdettweiler [2015-08-27 16:01:07] 833*2^1407518-1 is not prime. Res64: FD928B09FE0DF8BF Time : 0.0 sec. user=mdettweiler [2015-08-27 16:01:08] 845*2^1407518-1 is not prime. Res64: 7D967DB43B6F4ABC Time : 0.0 sec. user=mdettweiler [2015-08-27 16:01:31] 911*2^1407518-1 is not prime. Res64: AB31E3C72E6B28D7 Time : 0.0 sec. user=mdettweiler [2015-08-27 16:01:32] 935*2^1407518-1 is not prime. Res64: BB9CB52261266F9A Time : 0.0 sec. user=mdettweiler [2015-08-27 16:02:01] 625*2^1407519-1 is not prime. Res64: A09251CB1D3096B7 Time : 0.0 sec. user=mdettweiler [2015-08-27 16:02:02] 663*2^1407519-1 is not prime. Res64: 04DD4926D8F57E8E Time : 0.0 sec. user=mdettweiler [2015-08-27 16:03:03] 675*2^1407519-1 is not prime. Res64: D4844AB8C921D671 Time : 0.0 sec. user=mdettweiler [2015-08-27 16:03:04] 751*2^1407519-1 is not prime. Res64: 8896702813321F7E Time : 0.0 sec. user=mdettweiler [2015-08-27 16:20:05] 973*2^1407519-1 is not prime. Res64: 3718E52329F55568 Time : 0.0 sec. user=mdettweiler [2015-08-27 16:20:05] 759*2^1407520-1 is not prime. Res64: 74E1D8908B04A669 Time : 0.0 sec. user=mdettweiler [2015-08-27 16:20:30] 649*2^1407521-1 is not prime. Res64: 60092C3AB6B114D0 Time : 0.0 sec. user=mdettweiler [2015-08-27 16:20:31] 657*2^1407521-1 is not prime. Res64: D3EE414980E82EFF Time : 0.0 sec. user=mdettweiler [2015-08-27 16:21:14] 697*2^1407521-1 is not prime. Res64: 7FF75DD3308B4784 Time : 0.0 sec. user=mdettweiler [2015-08-27 16:21:14] 735*2^1407521-1 is not prime. Res64: 222185BEE11D65E5 Time : 0.0 sec. user=mdettweiler [2015-08-27 16:22:06] 861*2^1407521-1 is not prime. Res64: FC1D6C24302ADDD2 Time : 0.0 sec. user=mdettweiler [2015-08-27 16:22:07] 885*2^1407521-1 is not prime. Res64: A637C6BC721624FE Time : 0.0 sec. user=mdettweiler [2015-08-27 16:39:34] 901*2^1407521-1 is not prime. Res64: AD220FEFA66FB76B Time : 0.0 sec. user=mdettweiler [2015-08-27 16:39:34] 665*2^1407522-1 is not prime. Res64: 9E6D7E147B23B075 Time : 0.0 sec. user=mdettweiler [2015-08-27 16:40:11] 683*2^1407522-1 is not prime. Res64: CB3BB242B38D61C8 Time : 0.0 sec. user=mdettweiler [2015-08-27 16:40:11] 873*2^1407522-1 is not prime. Res64: F590FE6C32E79CD6 Time : 0.0 sec. user=mdettweiler [2015-08-27 16:40:45] 875*2^1407522-1 is not prime. Res64: 8B357154B8BDCD1A Time : 0.0 sec. user=mdettweiler [2015-08-27 16:40:46] 903*2^1407522-1 is not prime. Res64: 74B40FD2A49A0F3A Time : 0.0 sec. user=mdettweiler [2015-08-27 16:42:14] 941*2^1407522-1 is not prime. Res64: 6F6D332EFF2F80F0 Time : 0.0 sec. user=mdettweiler [2015-08-27 16:42:14] 631*2^1407523-1 is not prime. Res64: 08E36F72FDA1571B Time : 0.0 sec. user=mdettweiler [2015-08-27 17:02:00] 675*2^1407523-1 is not prime. Res64: 99F5CDAE692A8BE6 Time : 0.0 sec. user=mdettweiler [2015-08-27 17:02:01] 723*2^1407523-1 is not prime. Res64: 022248EE76071050 Time : 0.0 sec. user=mdettweiler [2015-08-27 17:03:01] 793*2^1407523-1 is not prime. Res64: F7F3716B53886509 Time : 0.0 sec. user=mdettweiler [2015-08-27 17:03:03] 915*2^1407523-1 is not prime. Res64: 57E91C35C809881B Time : 0.0 sec. user=mdettweiler [2015-08-27 17:03:19] 745*2^1407523-1 is not prime. Res64: B9B2B7C50DE87D86 Time : 0.0 sec. user=mdettweiler [2015-08-27 17:03:21] 789*2^1407523-1 is not prime. Res64: 8DF71C71BC803E44 Time : 0.0 sec. user=S_K_ [2015-08-27 17:04:31] 861*2^1407519-1 is not prime. Res64: D26EDAB6CBA8C3C5 Time : 0.0 sec. user=mdettweiler [2015-08-27 17:05:12] 945*2^1407523-1 is not prime. Res64: A95DA00DC2B0A3FE Time : 0.0 sec. user=mdettweiler [2015-08-27 17:05:13] 623*2^1407524-1 is not prime. Res64: B981FFADAE1A420E Time : 0.0 sec. user=mdettweiler [2015-08-27 17:22:33] 725*2^1407524-1 is not prime. Res64: 8581D83BA495B045 Time : 0.0 sec. user=mdettweiler [2015-08-27 17:22:33] 855*2^1407524-1 is not prime. Res64: 7543F4F50CB3A3DB Time : 0.0 sec. user=mdettweiler [2015-08-27 17:23:40] 915*2^1407524-1 is not prime. Res64: 68D7FA152B7B5941 Time : 0.0 sec. user=mdettweiler [2015-08-27 17:23:40] 983*2^1407524-1 is not prime. Res64: 7B89037DB76762B8 Time : 0.0 sec. user=mdettweiler [2015-08-27 17:23:58] 669*2^1407525-1 is not prime. Res64: 0EAAA66F36D7A582 Time : 0.0 sec. user=mdettweiler [2015-08-27 17:23:59] 777*2^1407525-1 is not prime. Res64: 6D7AA80DC65D8FF2 Time : 0.0 sec. user=mdettweiler [2015-08-27 17:25:40] 819*2^1407525-1 is not prime. Res64: 9E2D78F2850CA4A7 Time : 0.0 sec. user=mdettweiler [2015-08-27 17:25:40] 831*2^1407525-1 is not prime. Res64: 785EFEB6B985066C Time : 0.0 sec. user=mdettweiler [2015-08-27 17:40:26] 867*2^1407525-1 is not prime. Res64: 200CFBCA8D0100AA Time : 0.0 sec. user=mdettweiler [2015-08-27 17:40:26] 979*2^1407525-1 is not prime. Res64: 87F32C68BA16B7E3 Time : 0.0 sec. user=mdettweiler [2015-08-27 17:41:36] 603*2^1407526-1 is not prime. Res64: 8D386C05694B5B62 Time : 0.0 sec. user=mdettweiler [2015-08-27 17:41:36] 695*2^1407526-1 is not prime. Res64: AF4230AF84FFD246 Time : 0.0 sec. user=mdettweiler [2015-08-27 17:41:56] 857*2^1407526-1 is not prime. Res64: 460507EBCAF9386E Time : 0.0 sec. user=mdettweiler [2015-08-27 17:41:56] 975*2^1407526-1 is not prime. Res64: A91E9C6391D44CA4 Time : 0.0 sec. user=mdettweiler [2015-08-27 17:43:49] 603*2^1407527-1 is not prime. Res64: B5AB25BF8992D3DC Time : 0.0 sec. user=mdettweiler [2015-08-27 17:43:49] 655*2^1407527-1 is not prime. Res64: B6600794AE51DA6A Time : 0.0 sec. user=mdettweiler [2015-08-27 18:01:51] 615*2^1407528-1 is not prime. Res64: B660EE137805194A Time : 0.0 sec. user=mdettweiler [2015-08-27 18:01:53] 639*2^1407528-1 is not prime. Res64: F8592872E8248B6A Time : 0.0 sec. user=mdettweiler [2015-08-27 18:02:55] 689*2^1407528-1 is not prime. Res64: 62372447CE456D6C Time : 0.0 sec. user=mdettweiler [2015-08-27 18:02:56] 765*2^1407528-1 is not prime. Res64: 5DC9FBDFACCD84CA Time : 0.0 sec. user=mdettweiler [2015-08-27 18:03:32] 803*2^1407528-1 is not prime. Res64: 984C2C90FF145FF9 Time : 0.0 sec. user=mdettweiler [2015-08-27 18:03:34] 825*2^1407528-1 is not prime. Res64: B7AB8285FE43DDCE Time : 0.0 sec. user=mdettweiler [2015-08-27 18:05:30] 845*2^1407528-1 is not prime. Res64: FFCD32938FDB45F0 Time : 0.0 sec. user=mdettweiler [2015-08-27 18:05:31] 849*2^1407528-1 is not prime. Res64: 2BC61AAD6057B001 Time : 0.0 sec. user=mdettweiler [2015-08-27 18:24:31] 893*2^1407528-1 is not prime. Res64: 24CEAA02A4F9D800 Time : 0.0 sec. user=mdettweiler [2015-08-27 18:24:31] 957*2^1407528-1 is not prime. Res64: 69E1694E1D6A2A43 Time : 0.0 sec. user=mdettweiler [2015-08-27 18:24:54] 747*2^1407529-1 is not prime. Res64: 514C988562BA603A Time : 0.0 sec. user=mdettweiler [2015-08-27 18:24:54] 807*2^1407529-1 is not prime. Res64: FFB3DAAB1E0470CD Time : 0.0 sec. user=mdettweiler [2015-08-27 18:25:51] 829*2^1407529-1 is not prime. Res64: 92DF8393F40C993B Time : 0.0 sec. user=mdettweiler [2015-08-27 18:25:51] 909*2^1407529-1 is not prime. Res64: 9EA2B28EEC8249A0 Time : 0.0 sec. user=mdettweiler [2015-08-27 18:27:45] 931*2^1407529-1 is not prime. Res64: B45421D5971CA024 Time : 0.0 sec. user=mdettweiler [2015-08-27 18:27:46] 987*2^1407529-1 is not prime. Res64: DEE7E5A13CBB63C0 Time : 0.0 sec. user=mdettweiler [2015-08-27 18:43:52] 833*2^1407530-1 is not prime. Res64: BD19BCF610B06449 Time : 0.0 sec. user=mdettweiler [2015-08-27 18:43:52] 911*2^1407530-1 is not prime. Res64: DB77CCE6DEA46D39 Time : 0.0 sec. user=mdettweiler [2015-08-27 18:43:56] 995*2^1407530-1 is not prime. Res64: 2568ACEC89A350B5 Time : 0.0 sec. user=mdettweiler [2015-08-27 18:43:56] 651*2^1407531-1 is not prime. Res64: FCC4DB00E84EB701 Time : 0.0 sec. user=mdettweiler [2015-08-27 18:44:51] 705*2^1407531-1 is not prime. Res64: 19119D8CA2563046 Time : 0.0 sec. user=mdettweiler [2015-08-27 18:44:51] 709*2^1407531-1 is not prime. Res64: F2A6ABD48A36DB1B Time : 0.0 sec. user=mdettweiler [2015-08-27 18:46:25] 741*2^1407531-1 is not prime. Res64: 692817E0E2EAE95B Time : 0.0 sec. user=mdettweiler [2015-08-27 18:46:26] 849*2^1407531-1 is not prime. Res64: 900E067C4E70CBB8 Time : 0.0 sec. user=mdettweiler [2015-08-27 19:02:06] 743*2^1407532-1 is not prime. Res64: 7FAE0355519DBAED Time : 0.0 sec. user=mdettweiler [2015-08-27 19:02:06] 843*2^1407532-1 is not prime. Res64: 3157A557CA2AC35E Time : 0.0 sec. user=mdettweiler [2015-08-27 19:02:18] 855*2^1407532-1 is not prime. Res64: 6878F9A13BC7A901 Time : 0.0 sec. user=mdettweiler [2015-08-27 19:02:19] 863*2^1407532-1 is not prime. Res64: 14AA12363C7AB101 Time : 0.0 sec. user=mdettweiler [2015-08-27 19:03:04] 965*2^1407532-1 is not prime. Res64: 7EF59C1F0F87823E Time : 0.0 sec. user=mdettweiler [2015-08-27 19:03:05] 627*2^1407533-1 is not prime. Res64: 6FD49FA750FB7BB2 Time : 0.0 sec. user=mdettweiler [2015-08-27 19:04:33] 781*2^1407533-1 is not prime. Res64: 73FCB918736F1B7B Time : 0.0 sec. user=mdettweiler [2015-08-27 19:04:34] 795*2^1407533-1 is not prime. Res64: AB0AB296B5A46D15 Time : 0.0 sec. user=mdettweiler [2015-08-27 19:20:02] 847*2^1407533-1 is not prime. Res64: 318574BB4FCCF493 Time : 0.0 sec. user=mdettweiler [2015-08-27 19:20:03] 937*2^1407533-1 is not prime. Res64: 2B7789A4F8621DF3 Time : 0.0 sec. user=mdettweiler [2015-08-27 19:20:13] 949*2^1407533-1 is not prime. Res64: D85898E180FD218B Time : 0.0 sec. user=mdettweiler [2015-08-27 19:20:13] 951*2^1407533-1 is not prime. Res64: 9A13CDDD2912260B Time : 0.0 sec. user=mdettweiler [2015-08-27 19:20:55] 985*2^1407533-1 is not prime. Res64: 41ED848D0B77BD43 Time : 0.0 sec. user=mdettweiler [2015-08-27 19:20:55] 605*2^1407534-1 is not prime. Res64: 87990A6649C9F667 Time : 0.0 sec. user=mdettweiler [2015-08-27 19:22:41] 641*2^1407534-1 is not prime. Res64: 85789F44AD04ACFF Time : 0.0 sec. user=mdettweiler [2015-08-27 19:22:41] 671*2^1407534-1 is not prime. Res64: D33C3BA667A51B1E Time : 0.0 sec. user=mdettweiler [2015-08-27 19:37:58] 815*2^1407534-1 is not prime. Res64: 282321537ADBB2CC Time : 0.0 sec. user=mdettweiler [2015-08-27 19:37:59] 833*2^1407534-1 is not prime. Res64: A9E4EA822B893683 Time : 0.0 sec. user=mdettweiler [2015-08-27 19:37:59] 707*2^1407534-1 is not prime. Res64: 8D89D766299C6975 Time : 0.0 sec. user=mdettweiler [2015-08-27 19:38:00] 741*2^1407534-1 is not prime. Res64: 5534996745E53FA3 Time : 0.0 sec. user=mdettweiler [2015-08-27 19:38:51] 851*2^1407534-1 is not prime. Res64: 21F42A85777207EA Time : 0.0 sec. user=mdettweiler [2015-08-27 19:38:52] 881*2^1407534-1 is not prime. Res64: 8096136A9FDC08B9 Time : 0.0 sec. user=mdettweiler [2015-08-27 19:40:37] 917*2^1407534-1 is not prime. Res64: 0DF6B9AD740F711E Time : 0.0 sec. user=mdettweiler [2015-08-27 19:40:37] 947*2^1407534-1 is not prime. Res64: 8B8D360F1E1C0B67 Time : 0.0 sec. user=mdettweiler [2015-08-27 19:56:02] 673*2^1407535-1 is not prime. Res64: AA3BC9041F9C0E35 Time : 0.0 sec. user=mdettweiler [2015-08-27 19:56:03] 685*2^1407535-1 is not prime. Res64: B078A686BE906EE9 Time : 0.0 sec. user=mdettweiler [2015-08-27 19:56:24] 735*2^1407535-1 is not prime. Res64: 5B99763A1E8D3599 Time : 0.0 sec. user=mdettweiler [2015-08-27 19:56:25] 771*2^1407535-1 is not prime. Res64: E159869987A93FCB Time : 0.0 sec. user=mdettweiler [2015-08-27 19:56:56] 819*2^1407535-1 is not prime. Res64: B0A8517FA4386893 Time : 0.0 sec. user=mdettweiler [2015-08-27 19:56:56] 855*2^1407535-1 is not prime. Res64: 40266BC4DE2E622A Time : 0.0 sec. user=mdettweiler [2015-08-27 19:58:54] 677*2^1407536-1 is not prime. Res64: 799CC8642852FD96 Time : 0.0 sec. user=mdettweiler [2015-08-27 19:58:55] 689*2^1407536-1 is not prime. Res64: 7B81F3286B9AEB0C Time : 0.0 sec. user=mdettweiler [2015-08-27 20:14:02] 785*2^1407536-1 is not prime. Res64: 5F4BA8EF8CE703B1 Time : 0.0 sec. user=mdettweiler [2015-08-27 20:14:03] 825*2^1407536-1 is not prime. Res64: 8369B91AE821FA92 Time : 0.0 sec. user=mdettweiler [2015-08-27 20:14:23] 903*2^1407536-1 is not prime. Res64: 481483D3C4300902 Time : 0.0 sec. user=mdettweiler [2015-08-27 20:14:23] 601*2^1407537-1 is not prime. Res64: DAEFC4FE26D30146 Time : 0.0 sec. user=mdettweiler [2015-08-27 20:14:54] 649*2^1407537-1 is not prime. Res64: DF6C90465723ABCE Time : 0.0 sec. user=mdettweiler [2015-08-27 20:14:55] 865*2^1407537-1 is not prime. Res64: 99CABEC239D5391E Time : 0.0 sec. user=mdettweiler [2015-08-27 20:17:09] 871*2^1407537-1 is not prime. Res64: 6B72470DC6E4874B Time : 0.0 sec. user=mdettweiler [2015-08-27 20:17:09] 747*2^1407538-1 is not prime. Res64: 1B49D06BC3AB85C9 Time : 0.0 sec. user=mdettweiler [2015-08-27 20:31:57] 855*2^1407538-1 is not prime. Res64: 771D12347195C1F3 Time : 0.0 sec. user=mdettweiler [2015-08-27 20:31:58] 857*2^1407538-1 is not prime. Res64: FC83ED17F8D79671 Time : 0.0 sec. user=mdettweiler [2015-08-27 20:32:25] 945*2^1407538-1 is not prime. Res64: 491C81E9896A7231 Time : 0.0 sec. user=mdettweiler [2015-08-27 20:32:26] 971*2^1407538-1 is not prime. Res64: 53A078AB3130A089 Time : 0.0 sec. user=mdettweiler [2015-08-27 20:32:46] 995*2^1407538-1 is not prime. Res64: E1DA52C07FDD03F0 Time : 0.0 sec. user=mdettweiler [2015-08-27 20:32:47] 643*2^1407539-1 is not prime. Res64: FC4FC93F324CEEBF Time : 0.0 sec. user=mdettweiler [2015-08-27 20:35:06] 645*2^1407539-1 is not prime. Res64: D24D7BB0ADE3D758 Time : 0.0 sec. user=mdettweiler [2015-08-27 20:35:06] 823*2^1407539-1 is not prime. Res64: 22878B071FFDC35B Time : 0.0 sec. user=mdettweiler [2015-08-27 20:49:54] 985*2^1407539-1 is not prime. Res64: C7998E8C3E31AF91 Time : 0.0 sec. user=mdettweiler [2015-08-27 20:49:54] 819*2^1407540-1 is not prime. Res64: D63E264C96658C81 Time : 0.0 sec. user=mdettweiler [2015-08-27 20:50:24] 873*2^1407540-1 is not prime. Res64: 293E985C8DDA7D1B Time : 0.0 sec. user=mdettweiler [2015-08-27 20:50:24] 905*2^1407540-1 is not prime. Res64: 044FC50655046E0D Time : 0.0 sec. user=mdettweiler [2015-08-27 20:50:36] 607*2^1407541-1 is not prime. Res64: E57C5DDE6F99DFCA Time : 0.0 sec. user=mdettweiler [2015-08-27 20:50:36] 685*2^1407541-1 is not prime. Res64: 02403ECE1E9E5EFB Time : 0.0 sec. user=mdettweiler [2015-08-27 20:52:51] 687*2^1407541-1 is not prime. Res64: 0475254F4072B04E Time : 0.0 sec. user=mdettweiler [2015-08-27 20:52:51] 939*2^1407541-1 is not prime. Res64: 60B11C737C26E2B9 Time : 0.0 sec. user=mdettweiler [2015-08-27 21:07:47] 955*2^1407541-1 is not prime. Res64: F0CD73B9407870BD Time : 0.0 sec. user=mdettweiler [2015-08-27 21:07:48] 957*2^1407541-1 is not prime. Res64: CEF07216F6E279B9 Time : 0.0 sec. user=mdettweiler [2015-08-27 21:08:21] 975*2^1407541-1 is not prime. Res64: 8C2DA0A028BC6B7B Time : 0.0 sec. user=mdettweiler [2015-08-27 21:08:21] 979*2^1407541-1 is not prime. Res64: 40594BD2A8C7ECAB Time : 0.0 sec. user=mdettweiler [2015-08-27 21:08:28] 867*2^1407542-1 is not prime. Res64: CB4F64094AE18BB3 Time : 0.0 sec. user=mdettweiler [2015-08-27 21:08:29] 613*2^1407543-1 is not prime. Res64: 30B1332841C6CF04 Time : 0.0 sec. user=mdettweiler [2015-08-27 21:10:44] 723*2^1407543-1 is not prime. Res64: A4EDAAE21057692D Time : 0.0 sec. user=mdettweiler [2015-08-27 21:10:45] 819*2^1407543-1 is not prime. Res64: 8069562C993BC26B Time : 0.0 sec. user=mdettweiler [2015-08-27 21:26:16] 677*2^1407544-1 is not prime. Res64: 140C584D687CEDC5 Time : 0.0 sec. user=mdettweiler [2015-08-27 21:26:17] 723*2^1407544-1 is not prime. Res64: BA50FA5DDC318886 Time : 0.0 sec. user=mdettweiler [2015-08-27 21:26:42] 657*2^1407545-1 is not prime. Res64: EE2CFB32CEB82666 Time : 0.0 sec. user=mdettweiler [2015-08-27 21:26:42] 711*2^1407545-1 is not prime. Res64: EF100AD2D720A23F Time : 0.0 sec. user=mdettweiler [2015-08-27 21:26:54] 813*2^1407544-1 is not prime. Res64: 084446D8A01FB2AA Time : 0.0 sec. user=mdettweiler [2015-08-27 21:26:54] 927*2^1407544-1 is not prime. Res64: 5EFAEEBF259F7A43 Time : 0.0 sec. user=mdettweiler [2015-08-27 21:29:30] 715*2^1407545-1 is not prime. Res64: 6D7AED8E816ACBE6 Time : 0.0 sec. user=mdettweiler [2015-08-27 21:29:30] 795*2^1407545-1 is not prime. Res64: 63D6EA0EB8A360C4 Time : 0.0 sec. user=mdettweiler [2015-08-27 21:46:25] 831*2^1407545-1 is not prime. Res64: 0FF57019BEDA6248 Time : 0.0 sec. user=mdettweiler [2015-08-27 21:46:25] 871*2^1407545-1 is not prime. Res64: 9F106945C74CFE08 Time : 0.0 sec. user=mdettweiler [2015-08-27 21:46:38] 657*2^1407546-1 is not prime. Res64: 9F4A4CF4FD745538 Time : 0.0 sec. user=mdettweiler [2015-08-27 21:46:39] 803*2^1407546-1 is not prime. Res64: BD87DE91E82282F5 Time : 0.0 sec. user=mdettweiler [2015-08-27 21:47:07] 917*2^1407546-1 is not prime. Res64: AB3C5EEBA3D86286 Time : 0.0 sec. user=mdettweiler [2015-08-27 21:47:07] 933*2^1407546-1 is not prime. Res64: 9ABEC1E32AE4EF2D Time : 0.0 sec. user=mdettweiler [2015-08-27 21:49:06] 983*2^1407546-1 is not prime. Res64: 214E1B2D47B4BA0D Time : 0.0 sec. user=mdettweiler [2015-08-27 21:49:07] 603*2^1407547-1 is not prime. Res64: 2539EB28DE75DF55 Time : 0.0 sec. user=mdettweiler [2015-08-27 22:05:42] 735*2^1407547-1 is not prime. Res64: 8C02578F6F722AE1 Time : 0.0 sec. user=mdettweiler [2015-08-27 22:05:45] 741*2^1407547-1 is not prime. Res64: E3EDA58B131F1EBD Time : 0.0 sec. user=mdettweiler [2015-08-27 22:05:55] 765*2^1407547-1 is not prime. Res64: BAA0649D468F2880 Time : 0.0 sec. user=mdettweiler [2015-08-27 22:05:56] 769*2^1407547-1 is not prime. Res64: 5265D967F9CE8ED1 Time : 0.0 sec. user=mdettweiler [2015-08-27 22:06:25] 801*2^1407547-1 is not prime. Res64: 3BD19E3CBDD7096D Time : 0.0 sec. user=mdettweiler [2015-08-27 22:06:27] 883*2^1407547-1 is not prime. Res64: E6EF78332CDEDA03 Time : 0.0 sec. user=mdettweiler [2015-08-27 22:08:26] 961*2^1407547-1 is not prime. Res64: 0EC4A68DD155090D Time : 0.0 sec. user=mdettweiler [2015-08-27 22:08:26] 973*2^1407547-1 is not prime. Res64: A2538A99B5331992 Time : 0.0 sec. user=mdettweiler [2015-08-27 22:25:03] 659*2^1407548-1 is not prime. Res64: 4AAB24A2B61AFCD2 Time : 0.0 sec. user=mdettweiler [2015-08-27 22:25:03] 683*2^1407548-1 is not prime. Res64: 146A81D65F904101 Time : 0.0 sec. user=mdettweiler [2015-08-27 22:25:10] 687*2^1407548-1 is not prime. Res64: 643C02688B6E23B7 Time : 0.0 sec. user=mdettweiler [2015-08-27 22:25:10] 789*2^1407548-1 is not prime. Res64: 46D50B434833820C Time : 0.0 sec. user=mdettweiler [2015-08-27 22:25:33] 827*2^1407548-1 is not prime. Res64: 788EA8C56D043851 Time : 0.0 sec. user=mdettweiler [2015-08-27 22:25:34] 837*2^1407548-1 is not prime. Res64: BB9DDA4F3251303A Time : 0.0 sec. user=mdettweiler [2015-08-27 22:28:43] 845*2^1407548-1 is not prime. Res64: E270D63692F5C2FF Time : 0.0 sec. user=mdettweiler [2015-08-27 22:28:43] 855*2^1407548-1 is not prime. Res64: 6045C4184B666A62 Time : 0.0 sec. user=S_K_ [2015-08-27 22:39:08] 645*2^1407530-1 is not prime. Res64: 2A305D19279FAF8D Time : 0.0 sec. user=mdettweiler [2015-08-27 22:44:15] 893*2^1407548-1 is not prime. Res64: 2F8A43196A28EFB8 Time : 0.0 sec. user=mdettweiler [2015-08-27 22:44:15] 923*2^1407548-1 is not prime. Res64: C5FF4FE90EAAAFA1 Time : 0.0 sec. user=mdettweiler [2015-08-27 22:44:53] 789*2^1407549-1 is not prime. Res64: 687A169983B41C94 Time : 0.0 sec. user=mdettweiler [2015-08-27 22:44:53] 835*2^1407549-1 is not prime. Res64: 5BBAA472F7022837 Time : 0.0 sec. user=mdettweiler [2015-08-27 22:44:57] 655*2^1407549-1 is not prime. Res64: 0503829CCA996C3F Time : 0.0 sec. user=mdettweiler [2015-08-27 22:44:58] 657*2^1407549-1 is not prime. Res64: 060B04F7691CD161 Time : 0.0 sec. user=mdettweiler [2015-08-27 22:47:57] 889*2^1407549-1 is not prime. Res64: BCFF810831C11CCE Time : 0.0 sec. user=mdettweiler [2015-08-27 22:47:57] 895*2^1407549-1 is not prime. Res64: 44E00C9BF5583BFE Time : 0.0 sec. user=mdettweiler [2015-08-27 23:03:08] 657*2^1407550-1 is not prime. Res64: 13DDF44A07A1D72E Time : 0.0 sec. user=mdettweiler [2015-08-27 23:03:10] 675*2^1407550-1 is not prime. Res64: C2BEE70B8696FE25 Time : 0.0 sec. user=mdettweiler [2015-08-27 23:03:59] 845*2^1407550-1 is not prime. Res64: 2F15D4311621A734 Time : 0.0 sec. user=mdettweiler [2015-08-27 23:04:00] 891*2^1407550-1 is not prime. Res64: 30A68CC40E2580C8 Time : 0.0 sec. user=mdettweiler [2015-08-27 23:04:03] 687*2^1407550-1 is not prime. Res64: 77A2C948568DD2D9 Time : 0.0 sec. user=mdettweiler [2015-08-27 23:04:04] 777*2^1407550-1 is not prime. Res64: 84915C36721BCBE5 Time : 0.0 sec. user=mdettweiler [2015-08-27 23:06:46] 645*2^1407551-1 is not prime. Res64: C923DFB9BE0A5683 Time : 0.0 sec. user=mdettweiler [2015-08-27 23:06:48] 651*2^1407551-1 is not prime. Res64: BF2F9E2809B5EE54 Time : 0.0 sec. user=mdettweiler [2015-08-27 23:24:31] 669*2^1407551-1 is not prime. Res64: 2EAB7F3DBE50C393 Time : 0.0 sec. user=mdettweiler [2015-08-27 23:24:32] 685*2^1407551-1 is not prime. Res64: 61DA4D080A2894FC Time : 0.0 sec. user=mdettweiler [2015-08-27 23:24:43] 859*2^1407551-1 is not prime. Res64: 1C259327170C8A54 Time : 0.0 sec. user=mdettweiler [2015-08-27 23:24:43] 969*2^1407551-1 is not prime. Res64: 3262D72D80A4DD35 Time : 0.0 sec. user=mdettweiler [2015-08-27 23:25:22] 999*2^1407551-1 is not prime. Res64: 5953B04684E7C2C6 Time : 0.0 sec. user=mdettweiler [2015-08-27 23:25:22] 747*2^1407552-1 is not prime. Res64: 915F539A0C8AEB38 Time : 0.0 sec. user=mdettweiler [2015-08-27 23:29:09] 779*2^1407552-1 is not prime. Res64: 85FA6326942687C7 Time : 0.0 sec. user=mdettweiler [2015-08-27 23:29:09] 899*2^1407552-1 is not prime. Res64: 3998767853155366 Time : 0.0 sec. user=mdettweiler [2015-08-27 23:47:28] 619*2^1407553-1 is not prime. Res64: AF3FCB73720FCA12 Time : 0.0 sec. user=mdettweiler [2015-08-27 23:47:29] 685*2^1407553-1 is not prime. Res64: DE010F2991570A53 Time : 0.0 sec. user=mdettweiler [2015-08-27 23:47:35] 705*2^1407553-1 is not prime. Res64: 60A9625AD9425A7A Time : 0.0 sec. user=mdettweiler [2015-08-27 23:47:35] 817*2^1407553-1 is not prime. Res64: A736C84BB3AFD724 Time : 0.0 sec. user=mdettweiler [2015-08-27 23:48:11] 925*2^1407553-1 is not prime. Res64: 5AE8690DD3035366 Time : 0.0 sec. user=mdettweiler [2015-08-27 23:48:11] 939*2^1407553-1 is not prime. Res64: 4A5B6F98A6BB351B Time : 0.0 sec. user=mdettweiler [2015-08-27 23:51:02] 819*2^1407220-1 is not prime. Res64: 8DC290C766E97D49 Time : 0.0 sec. user=mdettweiler [2015-08-27 23:51:03] 839*2^1407220-1 is not prime. Res64: 5A815E51DBEA3D5F Time : 0.0 sec.