user=juhehe [2015-01-06 00:03:37] 985*2^1388599-1 is not prime. Res64: B0219AB425E81FDD Time : 0.0 sec. user=mdettweiler [2015-01-06 00:24:03] 713*2^1388600-1 is not prime. Res64: B9F0F577F12F26BB Time : 0.0 sec. user=mdettweiler [2015-01-06 00:24:03] 879*2^1388600-1 is not prime. Res64: 04E35450E4EDB216 Time : 0.0 sec. user=odicin [2015-01-06 00:41:37] 735*2^1388481-1 is not prime. Res64: 45C2902556BB8676 Time : 0.0 sec. user=odicin [2015-01-06 00:41:40] 847*2^1388481-1 is not prime. Res64: 438F3FCC1A140C49 Time : 0.0 sec. user=mdettweiler [2015-01-06 00:42:31] 645*2^1388599-1 is not prime. Res64: D0DDAC53D52AF649 Time : 0.0 sec. user=mdettweiler [2015-01-06 00:52:38] 751*2^1388601-1 is not prime. Res64: E9214EB3102D7636 Time : 0.0 sec. user=mdettweiler [2015-01-06 00:52:38] 837*2^1388601-1 is not prime. Res64: A05D06BF2A724920 Time : 0.0 sec. user=odicin [2015-01-06 00:55:46] 909*2^1388601-1 is not prime. Res64: 3B7BCB581948A181 Time : 0.0 sec. user=odicin [2015-01-06 00:55:47] 951*2^1388601-1 is not prime. Res64: 231B1827930F8656 Time : 0.0 sec. user=mdettweiler [2015-01-06 00:58:08] 905*2^1388596-1 is not prime. Res64: 588616A9D5A413DC Time : 0.0 sec. user=odicin [2015-01-06 01:09:53] 911*2^1388602-1 is not prime. Res64: 0B8808FAAE749524 Time : 0.0 sec. user=odicin [2015-01-06 01:09:54] 923*2^1388602-1 is not prime. Res64: 9A16121391EA0C47 Time : 0.0 sec. user=mdettweiler [2015-01-06 01:11:25] 979*2^1388601-1 is not prime. Res64: 7DE8D0124397390E Time : 0.0 sec. user=mdettweiler [2015-01-06 01:18:56] 723*2^1388602-1 is not prime. Res64: E95587C1EBB29CA2 Time : 0.0 sec. user=mdettweiler [2015-01-06 01:25:02] 983*2^1388602-1 is not prime. Res64: 0E998FE7DDC437E0 Time : 0.0 sec. user=odicin [2015-01-06 01:25:30] 995*2^1388602-1 is not prime. Res64: 5B7AE0E3AA4B04F9 Time : 0.0 sec. user=odicin [2015-01-06 01:25:31] 619*2^1388603-1 is not prime. Res64: 062F1519AED95ACF Time : 0.0 sec. user=mdettweiler [2015-01-06 01:26:19] 999*2^1388599-1 is not prime. Res64: FC9E927CC9EB344C Time : 0.0 sec. user=odicin [2015-01-06 01:39:30] 621*2^1388603-1 is not prime. Res64: 7184CA2D6CA19AE0 Time : 0.0 sec. user=odicin [2015-01-06 01:53:39] 663*2^1388603-1 is not prime. Res64: 512D68AEF13E6149 Time : 0.0 sec. user=odicin [2015-01-06 02:01:02] 801*2^1388603-1 is not prime. Res64: F097B881949A153B Time : 0.0 sec. user=odicin [2015-01-06 02:15:04] 825*2^1388603-1 is not prime. Res64: 61AE826940A80E6A Time : 0.0 sec. user=odicin [2015-01-06 02:29:29] 949*2^1388603-1 is not prime. Res64: F75A6FCD8756573A Time : 0.0 sec. user=odicin [2015-01-06 02:29:29] 859*2^1388603-1 is not prime. Res64: 2D2C4614882FCFAE Time : 0.0 sec. user=odicin [2015-01-06 02:43:54] 955*2^1388603-1 is not prime. Res64: A924B4E0898E31B9 Time : 0.0 sec. user=odicin [2015-01-06 02:44:02] 635*2^1388604-1 is not prime. Res64: 0FAFF34912B54F20 Time : 0.0 sec. user=odicin [2015-01-06 02:58:26] 693*2^1388604-1 is not prime. Res64: 0F8CCE57315CD9C8 Time : 0.0 sec. user=odicin [2015-01-06 02:58:27] 795*2^1388604-1 is not prime. Res64: 93D45F0271807BD7 Time : 0.0 sec. user=mdettweiler [2015-01-06 03:06:23] 867*2^1388602-1 is not prime. Res64: 7695DBAE63F45E23 Time : 0.0 sec. user=mdettweiler [2015-01-06 03:07:56] 717*2^1388602-1 is not prime. Res64: 58FF3EDA662AD938 Time : 0.0 sec. user=mdettweiler [2015-01-06 03:11:36] 987*2^1388602-1 is not prime. Res64: 564F6C81EAE742BC Time : 0.0 sec. user=mdettweiler [2015-01-06 03:21:11] 689*2^1388600-1 is not prime. Res64: 62B42089D49BD1A6 Time : 0.0 sec. user=mdettweiler [2015-01-06 03:33:48] 965*2^1388604-1 is not prime. Res64: 349D1493C7C0ECB8 Time : 0.0 sec. user=odicin [2015-01-06 03:33:48] 889*2^1388605-1 is not prime. Res64: DB18029E72054EB0 Time : 0.0 sec. user=odicin [2015-01-06 03:33:48] 859*2^1388605-1 is not prime. Res64: D6F17C2E335DE970 Time : 0.0 sec. user=mdettweiler [2015-01-06 03:33:52] 969*2^1388604-1 is not prime. Res64: 43EEC2B0ADFB33CD Time : 0.0 sec. user=mdettweiler [2015-01-06 03:37:29] 741*2^1388605-1 is not prime. Res64: 2CB531C5F8FE1E2E Time : 0.0 sec. user=mdettweiler [2015-01-06 03:37:31] 777*2^1388605-1 is not prime. Res64: C3908FEE49AC4A54 Time : 0.0 sec. user=mdettweiler [2015-01-06 03:47:13] 641*2^1388606-1 is not prime. Res64: 905A5D9179A831A2 Time : 0.0 sec. user=mdettweiler [2015-01-06 04:00:21] 675*2^1388606-1 is not prime. Res64: 64DD7712F35D4AAC Time : 0.0 sec. user=mdettweiler [2015-01-06 04:00:22] 705*2^1388606-1 is not prime. Res64: 81BB69473673EE6A Time : 0.0 sec. user=mdettweiler [2015-01-06 04:03:46] 825*2^1388606-1 is not prime. Res64: 269D3E4249010EF2 Time : 0.0 sec. user=mdettweiler [2015-01-06 04:03:49] 941*2^1388606-1 is not prime. Res64: 36F0401053774DF7 Time : 0.0 sec. user=odicin [2015-01-06 04:10:31] 953*2^1388606-1 is not prime. Res64: 5873E5E2E84B92F9 Time : 0.0 sec. user=odicin [2015-01-06 04:10:33] 661*2^1388607-1 is not prime. Res64: 35E19488957C0767 Time : 0.0 sec. user=odicin [2015-01-06 04:24:49] 603*2^1388608-1 is not prime. Res64: D1C59BBE402C2086 Time : 0.0 sec. user=odicin [2015-01-06 04:24:49] 755*2^1388608-1 is not prime. Res64: 20E7E9D99093D89F Time : 0.0 sec. user=mdettweiler [2015-01-06 04:27:03] 895*2^1388607-1 is not prime. Res64: 2923FE75E9774AF7 Time : 0.0 sec. user=mdettweiler [2015-01-06 04:27:03] 949*2^1388607-1 is not prime. Res64: 28DF8881C7F53C9B Time : 0.0 sec. user=mdettweiler [2015-01-06 04:30:12] 955*2^1388607-1 is not prime. Res64: 3D6479E557F8D20D Time : 0.0 sec. user=mdettweiler [2015-01-06 04:30:12] 963*2^1388607-1 is not prime. Res64: 67181137EB01B944 Time : 0.0 sec. user=odicin [2015-01-06 04:39:04] 923*2^1388608-1 is not prime. Res64: 0FE32968A0F9B496 Time : 0.0 sec. user=odicin [2015-01-06 04:39:15] 833*2^1388608-1 is not prime. Res64: 14EA6304248225C4 Time : 0.0 sec. user=mdettweiler [2015-01-06 04:50:17] 983*2^1388604-1 is not prime. Res64: FC8B1A98667FBB3D Time : 0.0 sec. user=mdettweiler [2015-01-06 04:50:18] 607*2^1388605-1 is not prime. Res64: EEE48597CDE66B24 Time : 0.0 sec. user=odicin [2015-01-06 04:53:04] 771*2^1388609-1 is not prime. Res64: 879BBFEBAB7A814F Time : 0.0 sec. user=mdettweiler [2015-01-06 04:53:31] 927*2^1388608-1 is not prime. Res64: 376253C96C334764 Time : 0.0 sec. user=mdettweiler [2015-01-06 04:53:31] 969*2^1388608-1 is not prime. Res64: EF3E6F2D17558C7D Time : 0.0 sec. user=mdettweiler [2015-01-06 04:56:24] 675*2^1388609-1 is not prime. Res64: 895ADFF37F4A8D33 Time : 0.0 sec. user=mdettweiler [2015-01-06 04:56:24] 685*2^1388609-1 is not prime. Res64: 5AADE32230CA2D50 Time : 0.0 sec. user=mdettweiler [2015-01-06 05:02:26] 671*2^1388606-1 is not prime. Res64: 8853E745991F0F75 Time : 0.0 sec. user=odicin [2015-01-06 05:13:18] 861*2^1388610-1 is not prime. Res64: FFA4610250C22BD8 Time : 0.0 sec. user=mdettweiler [2015-01-06 05:15:57] 799*2^1388609-1 is not prime. Res64: 7FAA762675FA5847 Time : 0.0 sec. user=mdettweiler [2015-01-06 05:15:58] 865*2^1388609-1 is not prime. Res64: 5F7394183F4BF6D5 Time : 0.0 sec. user=mdettweiler [2015-01-06 05:19:52] 633*2^1388610-1 is not prime. Res64: C7714A86EACF36EA Time : 0.0 sec. user=mdettweiler [2015-01-06 05:19:53] 651*2^1388610-1 is not prime. Res64: D019A3B6BE576515 Time : 0.0 sec. user=mdettweiler [2015-01-06 05:22:31] 791*2^1388610-1 is not prime. Res64: B338027BBADC4C00 Time : 0.0 sec. user=mdettweiler [2015-01-06 05:22:32] 843*2^1388610-1 is not prime. Res64: 21E899D57FFD5220 Time : 0.0 sec. user=odicin [2015-01-06 05:27:15] 685*2^1388611-1 is not prime. Res64: F2939F8E3A0D5D3B Time : 0.0 sec. user=odicin [2015-01-06 05:27:30] 931*2^1388609-1 is not prime. Res64: 237C17795D89FBF2 Time : 0.0 sec. user=mdettweiler [2015-01-06 05:28:40] 619*2^1388611-1 is not prime. Res64: 0765828FBED4F6D1 Time : 0.0 sec. user=mdettweiler [2015-01-06 05:28:40] 679*2^1388611-1 is not prime. Res64: 3455CD08B0C7DF1F Time : 0.0 sec. user=odicin [2015-01-06 05:41:26] 895*2^1388611-1 is not prime. Res64: 8CA9A7903D8CDFCE Time : 0.0 sec. user=odicin [2015-01-06 05:41:42] 961*2^1388611-1 is not prime. Res64: 8F5F4C6B8291A1B8 Time : 0.0 sec. user=mdettweiler [2015-01-06 05:41:48] 769*2^1388611-1 is not prime. Res64: 243BEC3D97338ACB Time : 0.0 sec. user=mdettweiler [2015-01-06 05:41:49] 793*2^1388611-1 is not prime. Res64: 1D894DA928756541 Time : 0.0 sec. user=mdettweiler [2015-01-06 05:45:33] 805*2^1388611-1 is not prime. Res64: 150754AFA95EC951 Time : 0.0 sec. user=mdettweiler [2015-01-06 05:45:33] 813*2^1388611-1 is not prime. Res64: 552D7A90F82D1EB7 Time : 0.0 sec. user=mdettweiler [2015-01-06 05:47:58] 855*2^1388611-1 is not prime. Res64: DE006FF6D788CEEB Time : 0.0 sec. user=mdettweiler [2015-01-06 05:47:58] 873*2^1388611-1 is not prime. Res64: DA7659CB10445E0A Time : 0.0 sec. user=mdettweiler [2015-01-06 05:54:10] 647*2^1388612-1 is not prime. Res64: B47E3C8F35992855 Time : 0.0 sec. user=mdettweiler [2015-01-06 05:54:10] 717*2^1388612-1 is not prime. Res64: 6F8C63E500DFCE73 Time : 0.0 sec. user=odicin [2015-01-06 05:55:56] 855*2^1388612-1 is not prime. Res64: 576D592E50E04542 Time : 0.0 sec. user=odicin [2015-01-06 05:55:56] 825*2^1388612-1 is not prime. Res64: BBD6D942FEFE9705 Time : 0.0 sec. user=odicin [2015-01-06 06:10:06] 621*2^1388614-1 is not prime. Res64: 7A0D1DE3B3CA944C Time : 0.0 sec. user=mdettweiler [2015-01-06 06:11:14] 977*2^1388612-1 is not prime. Res64: 57A0EE10895C660B Time : 0.0 sec. user=mdettweiler [2015-01-06 06:13:32] 861*2^1388613-1 is not prime. Res64: 4A7D932E9F5DFAA2 Time : 0.0 sec. user=mdettweiler [2015-01-06 06:13:33] 885*2^1388613-1 is not prime. Res64: A007A2AC8CEB9CBB Time : 0.0 sec. user=mdettweiler [2015-01-06 06:19:51] 915*2^1388613-1 is not prime. Res64: B03BC38DA1A5B66A Time : 0.0 sec. user=mdettweiler [2015-01-06 06:19:51] 919*2^1388613-1 is not prime. Res64: FAF5B10B5847E772 Time : 0.0 sec. user=odicin [2015-01-06 06:30:57] 741*2^1388614-1 is not prime. Res64: B6F9027B404A034C Time : 0.0 sec. user=mdettweiler [2015-01-06 06:40:14] 635*2^1388614-1 is not prime. Res64: BBEB66F3ED467947 Time : 0.0 sec. user=mdettweiler [2015-01-06 06:40:14] 705*2^1388614-1 is not prime. Res64: D38B5F062443CDCF Time : 0.0 sec. user=odicin [2015-01-06 06:45:11] 987*2^1388614-1 is not prime. Res64: C66D1145C262220E Time : 0.0 sec. user=odicin [2015-01-06 06:45:23] 619*2^1388615-1 is not prime. Res64: B5BE398C04700F87 Time : 0.0 sec. user=mdettweiler [2015-01-06 06:46:12] 783*2^1388614-1 is not prime. Res64: 86F5E5AEAD3A5A95 Time : 0.0 sec. user=mdettweiler [2015-01-06 06:46:13] 923*2^1388614-1 is not prime. Res64: 64A1A25812A1215F Time : 0.0 sec. user=odicin [2015-01-06 06:59:40] 853*2^1388615-1 is not prime. Res64: CDFA2BF14172EED1 Time : 0.0 sec. user=odicin [2015-01-06 06:59:40] 939*2^1388615-1 is not prime. Res64: 6A86D8FF9BC184FC Time : 0.0 sec. user=mdettweiler [2015-01-06 07:07:00] 679*2^1388615-1 is not prime. Res64: 9A73415976CDD675 Time : 0.0 sec. user=mdettweiler [2015-01-06 07:12:52] 981*2^1388615-1 is not prime. Res64: 6C78997507945743 Time : 0.0 sec. user=mdettweiler [2015-01-06 07:12:53] 705*2^1388616-1 is not prime. Res64: 5E3B508C04F61F14 Time : 0.0 sec. user=odicin [2015-01-06 07:13:58] 765*2^1388616-1 is not prime. Res64: E87649E7B4EA0E0E Time : 0.0 sec. user=odicin [2015-01-06 07:13:59] 767*2^1388616-1 is not prime. Res64: 9502A7122DDDE766 Time : 0.0 sec. user=mdettweiler [2015-01-06 07:24:38] 903*2^1388612-1 is not prime. Res64: 7FEE731AA2E9C8EF Time : 0.0 sec. user=mdettweiler [2015-01-06 07:24:39] 935*2^1388612-1 is not prime. Res64: AEE11F9B3ADCEB61 Time : 0.0 sec. user=odicin [2015-01-06 07:28:22] 741*2^1388617-1 is not prime. Res64: C43ADF2131FEF59D Time : 0.0 sec. user=odicin [2015-01-06 07:28:24] 777*2^1388617-1 is not prime. Res64: 2D2B431E2EF7C654 Time : 0.0 sec. user=mdettweiler [2015-01-06 07:31:56] 609*2^1388613-1 is not prime. Res64: 0C55EDF875C2DC83 Time : 0.0 sec. user=mdettweiler [2015-01-06 07:39:48] 899*2^1388616-1 is not prime. Res64: A0F1FCB9BE6D3EE6 Time : 0.0 sec. user=mdettweiler [2015-01-06 07:39:49] 729*2^1388617-1 is not prime. Res64: 3A9FD2FC124B5C11 Time : 0.0 sec. user=odicin [2015-01-06 07:42:49] 755*2^1388618-1 is not prime. Res64: FEE9623C4EE00BEE Time : 0.0 sec. user=odicin [2015-01-06 07:42:49] 641*2^1388618-1 is not prime. Res64: 26E65227E9DCCA8E Time : 0.0 sec. user=mdettweiler [2015-01-06 07:50:27] 957*2^1388617-1 is not prime. Res64: 3416F199782E3E94 Time : 0.0 sec. user=mdettweiler [2015-01-06 07:50:28] 985*2^1388617-1 is not prime. Res64: ECA951054C984C54 Time : 0.0 sec. user=mdettweiler [2015-01-06 07:57:38] 773*2^1388618-1 is not prime. Res64: 3595A3F416613F01 Time : 0.0 sec. user=mdettweiler [2015-01-06 07:57:39] 801*2^1388618-1 is not prime. Res64: A155FCDA1A3DF9CB Time : 0.0 sec. user=mdettweiler [2015-01-06 08:16:20] 601*2^1388619-1 is not prime. Res64: 601155839EED770A Time : 0.0 sec. user=mdettweiler [2015-01-06 08:16:20] 613*2^1388619-1 is not prime. Res64: E7E1461C2A8AC60A Time : 0.0 sec. user=mdettweiler [2015-01-06 08:23:35] 879*2^1388619-1 is not prime. Res64: 09EBF55E54D7180E Time : 0.0 sec. user=mdettweiler [2015-01-06 08:23:36] 961*2^1388619-1 is not prime. Res64: 4D1F0DB6AB9F734C Time : 0.0 sec. user=odicin [2015-01-06 08:24:29] 603*2^1388620-1 is not prime. Res64: BB8AB432573B2068 Time : 0.0 sec. user=odicin [2015-01-06 08:24:29] 609*2^1388620-1 is not prime. Res64: 6A9B4CA897E4A471 Time : 0.0 sec. user=mdettweiler [2015-01-06 08:25:04] 759*2^1388615-1 is not prime. Res64: 33C7D962ABE0FB5D Time : 0.0 sec. user=mdettweiler [2015-01-06 08:42:22] 975*2^1388619-1 is not prime. Res64: 5609AA99B465AD2A Time : 0.0 sec. user=mdettweiler [2015-01-06 08:42:22] 985*2^1388619-1 is not prime. Res64: 0F69A436EEC470D5 Time : 0.0 sec. user=mdettweiler [2015-01-06 08:49:34] 615*2^1388620-1 is not prime. Res64: BEFE33E42943A820 Time : 0.0 sec. user=mdettweiler [2015-01-06 08:49:35] 623*2^1388620-1 is not prime. Res64: 4772332657D4B2F2 Time : 0.0 sec. user=mdettweiler [2015-01-06 08:50:48] 653*2^1388620-1 is not prime. Res64: 3396B8C586DD0C27 Time : 0.0 sec. user=mdettweiler [2015-01-06 08:50:49] 723*2^1388620-1 is not prime. Res64: 087053548527C09F Time : 0.0 sec. user=odicin [2015-01-06 08:59:51] 735*2^1388621-1 is not prime. Res64: 813026E28C71E1A3 Time : 0.0 sec. user=odicin [2015-01-06 08:59:53] 983*2^1388620-1 is not prime. Res64: 5604B0408C023148 Time : 0.0 sec. user=mdettweiler [2015-01-06 09:08:04] 863*2^1388620-1 is not prime. Res64: D78FA61812DBBFD1 Time : 0.0 sec. user=mdettweiler [2015-01-06 09:08:05] 875*2^1388620-1 is not prime. Res64: 533D27C0A7631FA3 Time : 0.0 sec. user=odicin [2015-01-06 09:14:01] 747*2^1388622-1 is not prime. Res64: 1C9C0E44B6C4D2A7 Time : 0.0 sec. user=odicin [2015-01-06 09:14:04] 765*2^1388622-1 is not prime. Res64: 1CEB5902A20CC607 Time : 0.0 sec. user=mdettweiler [2015-01-06 09:15:37] 775*2^1388621-1 is not prime. Res64: 3B5CCE3AF58F5349 Time : 0.0 sec. user=mdettweiler [2015-01-06 09:16:47] 955*2^1388621-1 is not prime. Res64: 1A39CC3CF27FF898 Time : 0.0 sec. user=mdettweiler [2015-01-06 09:16:47] 991*2^1388621-1 is not prime. Res64: 2C406EB1BE2C28D7 Time : 0.0 sec. user=mdettweiler [2015-01-06 09:21:49] 813*2^1388618-1 is not prime. Res64: F432C3E2AC590CF6 Time : 0.0 sec. user=mdettweiler [2015-01-06 09:21:50] 957*2^1388618-1 is not prime. Res64: 6A617301307866C0 Time : 0.0 sec. user=odicin [2015-01-06 09:28:20] 863*2^1388622-1 is not prime. Res64: 404AD3E31CB93959 Time : 0.0 sec. user=odicin [2015-01-06 09:28:20] 873*2^1388622-1 is not prime. Res64: 57F193FE39CB349B Time : 0.0 sec. user=mdettweiler [2015-01-06 09:34:03] 791*2^1388622-1 is not prime. Res64: 5C86669AC0F7E640 Time : 0.0 sec. user=mdettweiler [2015-01-06 09:34:03] 825*2^1388622-1 is not prime. Res64: BCDA82BE5C41CEC2 Time : 0.0 sec. user=odicin [2015-01-06 09:42:31] 819*2^1388623-1 is not prime. Res64: 4A17336ED7218F9A Time : 0.0 sec. user=odicin [2015-01-06 09:42:34] 859*2^1388623-1 is not prime. Res64: F71D7125B7694B0F Time : 0.0 sec. user=mdettweiler [2015-01-06 09:43:05] 945*2^1388622-1 is not prime. Res64: 4BFFCD6EFB37B811 Time : 0.0 sec. user=mdettweiler [2015-01-06 09:47:38] 609*2^1388623-1 is not prime. Res64: 90153771A92252C1 Time : 0.0 sec. user=mdettweiler [2015-01-06 09:47:38] 679*2^1388623-1 is not prime. Res64: 1F6F129FCA007E53 Time : 0.0 sec. user=odicin [2015-01-06 09:56:48] 813*2^1388624-1 is not prime. Res64: 037F9F9B4520D49E Time : 0.0 sec. user=odicin [2015-01-06 09:56:49] 827*2^1388624-1 is not prime. Res64: 7A9CBC5DE357F6FD Time : 0.0 sec. user=mdettweiler [2015-01-06 10:00:24] 675*2^1388624-1 is not prime. Res64: 2AE0B9A52CF411CF Time : 0.0 sec. user=mdettweiler [2015-01-06 10:00:25] 677*2^1388624-1 is not prime. Res64: 4850557F33BC5700 Time : 0.0 sec. user=odicin [2015-01-06 10:10:48] 607*2^1388625-1 is not prime. Res64: 9F7E55979369C3CE Time : 0.0 sec. user=odicin [2015-01-06 10:10:48] 685*2^1388625-1 is not prime. Res64: F960CFE4AA5E6349 Time : 0.0 sec. user=mdettweiler [2015-01-06 10:14:04] 855*2^1388624-1 is not prime. Res64: E77F5D1F63C1C379 Time : 0.0 sec. user=mdettweiler [2015-01-06 10:14:05] 983*2^1388624-1 is not prime. Res64: CF4DF6044FACA6ED Time : 0.0 sec. user=odicin [2015-01-06 10:26:34] 765*2^1388625-1 is not prime. Res64: 5ABE08E7244F4D49 Time : 0.0 sec. user=mdettweiler [2015-01-06 10:27:19] 699*2^1388625-1 is not prime. Res64: 9026130AAA05F4A7 Time : 0.0 sec. user=mdettweiler [2015-01-06 10:27:20] 727*2^1388625-1 is not prime. Res64: 9D4CCF6665AD2B48 Time : 0.0 sec. user=mdettweiler [2015-01-06 10:30:41] 937*2^1388621-1 is not prime. Res64: 0AAAD704FD9B215A Time : 0.0 sec. user=mdettweiler [2015-01-06 10:40:18] 895*2^1388625-1 is not prime. Res64: ADC2B55BD3D07BB1 Time : 0.0 sec. user=mdettweiler [2015-01-06 10:40:19] 915*2^1388625-1 is not prime. Res64: 8F1B95095921A08F Time : 0.0 sec. user=odicin [2015-01-06 10:40:46] 741*2^1388626-1 is not prime. Res64: 8A006D857736537C Time : 0.0 sec. user=juhehe [2015-01-06 10:43:01] 937*2^1388625-1 is not prime. Res64: 2000C294E7040BC1 Time : 0.0 sec. user=odicin [2015-01-06 10:46:17] 947*2^1388626-1 is not prime. Res64: 3CF9647D197945CB Time : 0.0 sec. user=mdettweiler [2015-01-06 10:53:19] 765*2^1388626-1 is not prime. Res64: 1D3F0AC995602176 Time : 0.0 sec. user=mdettweiler [2015-01-06 10:53:19] 873*2^1388626-1 is not prime. Res64: DBBC1F717BBE8372 Time : 0.0 sec. user=juhehe [2015-01-06 10:54:09] 677*2^1388626-1 is not prime. Res64: 4D673289D15AA51E Time : 0.0 sec. user=odicin [2015-01-06 10:55:03] 669*2^1388627-1 is not prime. Res64: 9D22DAD06080543C Time : 0.0 sec. user=mdettweiler [2015-01-06 10:56:30] 891*2^1388626-1 is not prime. Res64: 970153C4906519E2 Time : 0.0 sec. user=mdettweiler [2015-01-06 10:56:31] 933*2^1388626-1 is not prime. Res64: 25B87E2CC5E93556 Time : 0.0 sec. user=mdettweiler [2015-01-06 10:57:51] 603*2^1388623-1 is not prime. Res64: 2F80E86B04827F45 Time : 0.0 sec. user=odicin [2015-01-06 11:00:32] 675*2^1388627-1 is not prime. Res64: F98A6E1F0621E155 Time : 0.0 sec. user=odicin [2015-01-06 11:09:20] 715*2^1388627-1 is not prime. Res64: DA77424BF113592A Time : 0.0 sec. user=odicin [2015-01-06 11:14:41] 809*2^1388628-1 is not prime. Res64: 66E9E90C9CBE89D7 Time : 0.0 sec. user=mdettweiler [2015-01-06 11:19:33] 703*2^1388627-1 is not prime. Res64: A770492109A33509 Time : 0.0 sec. user=mdettweiler [2015-01-06 11:19:33] 711*2^1388627-1 is not prime. Res64: 4DF42074A118BD52 Time : 0.0 sec. user=mdettweiler [2015-01-06 11:22:48] 801*2^1388627-1 is not prime. Res64: 3A512E6BD5FFC20E Time : 0.0 sec. user=mdettweiler [2015-01-06 11:22:48] 843*2^1388627-1 is not prime. Res64: 368DAD7C0946790B Time : 0.0 sec. user=mdettweiler [2015-01-06 11:24:03] 949*2^1388627-1 is not prime. Res64: 5AE20C02935163AD Time : 0.0 sec. user=mdettweiler [2015-01-06 11:24:03] 639*2^1388628-1 is not prime. Res64: 234C25FDF517F2C2 Time : 0.0 sec. user=odicin [2015-01-06 11:24:18] 839*2^1388628-1 is not prime. Res64: DA914D07604C4EBA Time : 0.0 sec. user=odicin [2015-01-06 11:29:16] 957*2^1388628-1 is not prime. Res64: 30FDC6EF9F8CC76C Time : 0.0 sec. user=odicin [2015-01-06 11:38:28] 887*2^1388630-1 is not prime. Res64: 9384E830B1089238 Time : 0.0 sec. user=odicin [2015-01-06 11:43:27] 951*2^1388630-1 is not prime. Res64: 6D2F7B57BAA4D5B2 Time : 0.0 sec. user=mdettweiler [2015-01-06 11:46:24] 619*2^1388629-1 is not prime. Res64: 6AA0E64E55F80AD7 Time : 0.0 sec. user=mdettweiler [2015-01-06 11:46:24] 957*2^1388629-1 is not prime. Res64: 704FB427F08B36C4 Time : 0.0 sec. user=mdettweiler [2015-01-06 11:49:52] 987*2^1388629-1 is not prime. Res64: 7318ACBBC7CF969D Time : 0.0 sec. user=mdettweiler [2015-01-06 11:49:52] 665*2^1388630-1 is not prime. Res64: E1220473D3B690DE Time : 0.0 sec. user=mdettweiler [2015-01-06 11:51:06] 741*2^1388630-1 is not prime. Res64: 1B88C360F56C74B9 Time : 0.0 sec. user=mdettweiler [2015-01-06 11:51:06] 867*2^1388630-1 is not prime. Res64: A6CE49F0C94390F8 Time : 0.0 sec. user=odicin [2015-01-06 11:52:46] 977*2^1388630-1 is not prime. Res64: A1C077DB35D36F0F Time : 0.0 sec. user=odicin [2015-01-06 11:57:42] 981*2^1388630-1 is not prime. Res64: 3EE748ECE5452EFE Time : 0.0 sec. user=odicin [2015-01-06 12:06:55] 859*2^1388631-1 is not prime. Res64: 6161496A9E8AD93A Time : 0.0 sec. user=odicin [2015-01-06 12:11:47] 871*2^1388631-1 is not prime. Res64: 1EFF3664284F5935 Time : 0.0 sec. user=mdettweiler [2015-01-06 12:13:04] 995*2^1388630-1 is not prime. Res64: 84488F2264160408 Time : 0.0 sec. user=mdettweiler [2015-01-06 12:13:04] 675*2^1388631-1 is not prime. Res64: 1B7C4DF6BEDF0423 Time : 0.0 sec. user=mdettweiler [2015-01-06 12:16:37] 685*2^1388631-1 is not prime. Res64: 2343CD25A6F70393 Time : 0.0 sec. user=mdettweiler [2015-01-06 12:16:45] 739*2^1388631-1 is not prime. Res64: BFC0763CE142BB0D Time : 0.0 sec. user=mdettweiler [2015-01-06 12:18:14] 745*2^1388631-1 is not prime. Res64: 549A3F62443F41F1 Time : 0.0 sec. user=mdettweiler [2015-01-06 12:18:14] 795*2^1388631-1 is not prime. Res64: F02F4C8EF99861B8 Time : 0.0 sec. user=odicin [2015-01-06 12:21:13] 873*2^1388631-1 is not prime. Res64: 1BABAD0A680B2BC2 Time : 0.0 sec. user=mdettweiler [2015-01-06 12:25:13] 971*2^1388626-1 is not prime. Res64: B5686828DD944244 Time : 0.0 sec. user=mdettweiler [2015-01-06 12:25:14] 601*2^1388627-1 is not prime. Res64: FA633D5B72B8EEED Time : 0.0 sec. user=odicin [2015-01-06 12:25:59] 921*2^1388631-1 is not prime. Res64: 226FE4BF40354CDE Time : 0.0 sec. user=odicin [2015-01-06 12:35:27] 669*2^1388633-1 is not prime. Res64: 115E8DA11B7CB2F4 Time : 0.0 sec. user=odicin [2015-01-06 12:40:07] 767*2^1388634-1 is not prime. Res64: 30EF40CBB4091393 Time : 0.0 sec. user=mdettweiler [2015-01-06 12:41:12] 705*2^1388632-1 is not prime. Res64: C00FA73B7FA79C11 Time : 0.0 sec. user=mdettweiler [2015-01-06 12:41:12] 713*2^1388632-1 is not prime. Res64: 6398A77223310B92 Time : 0.0 sec. user=mdettweiler [2015-01-06 12:45:09] 743*2^1388632-1 is not prime. Res64: 2BF32CEB92EC047D Time : 0.0 sec. user=mdettweiler [2015-01-06 12:45:09] 819*2^1388632-1 is not prime. Res64: 8F47B84F7E6BF9BF Time : 0.0 sec. user=mdettweiler [2015-01-06 12:46:29] 983*2^1388632-1 is not prime. Res64: C503D9E57A5E87C3 Time : 0.0 sec. user=odicin [2015-01-06 12:49:57] 773*2^1388634-1 is not prime. Res64: 19DAA89D5F5E2D96 Time : 0.0 sec. user=mdettweiler [2015-01-06 12:53:32] 939*2^1388633-1 is not prime. Res64: 67DB49308F9D8123 Time : 0.0 sec. user=odicin [2015-01-06 12:54:18] 887*2^1388634-1 is not prime. Res64: D5B5C2EF3B8A990C Time : 0.0 sec. user=odicin [2015-01-06 13:25:32] 819*2^1388635-1 is not prime. Res64: 635418DAD675FE79 Time : 0.0 sec. user=Mini-Geek [2015-01-06 13:26:38] 919*2^1388635-1 is not prime. Res64: 41E96D23CD3CA1A6 Time : 0.0 sec. user=odicin [2015-01-06 13:30:13] 885*2^1388635-1 is not prime. Res64: 043805AE56B03435 Time : 0.0 sec. user=odicin [2015-01-06 13:39:27] 633*2^1388636-1 is not prime. Res64: B294F54B97A3552E Time : 0.0 sec. user=odicin [2015-01-06 13:53:21] 749*2^1388636-1 is not prime. Res64: C066624D632E2247 Time : 0.0 sec. user=odicin [2015-01-06 14:32:06] 825*2^1388636-1 is not prime. Res64: 79517178527CA442 Time : 0.0 sec. user=odicin [2015-01-06 14:34:29] 923*2^1388636-1 is not prime. Res64: 04EF78E608228EC4 Time : 0.0 sec. user=mdettweiler [2015-01-06 14:45:15] 631*2^1388633-1 is not prime. Res64: D1C5BF0A88DDCD59 Time : 0.0 sec. user=odicin [2015-01-06 14:53:16] 699*2^1388637-1 is not prime. Res64: F76A69E2A0DBAB24 Time : 0.0 sec. user=mdettweiler [2015-01-06 14:54:30] 981*2^1388633-1 is not prime. Res64: EEB623E63EDE3BF5 Time : 0.0 sec. user=odicin [2015-01-06 14:55:29] 817*2^1388637-1 is not prime. Res64: 6DFF5E1E8F2724EB Time : 0.0 sec. user=mdettweiler [2015-01-06 15:13:43] 829*2^1388637-1 is not prime. Res64: ADBCE4556804B59F Time : 0.0 sec. user=mdettweiler [2015-01-06 15:13:44] 831*2^1388637-1 is not prime. Res64: 5DA7C3244217E278 Time : 0.0 sec. user=odicin [2015-01-06 15:14:16] 891*2^1388637-1 is not prime. Res64: EF2ECB19E5B438B3 Time : 0.0 sec. user=odicin [2015-01-06 15:16:32] 801*2^1388638-1 is not prime. Res64: E90F46CDE1289B7E Time : 0.0 sec. user=mdettweiler [2015-01-06 15:22:56] 937*2^1388637-1 is not prime. Res64: E6D5C3D815656927 Time : 0.0 sec. user=mdettweiler [2015-01-06 15:22:56] 737*2^1388638-1 is not prime. Res64: 3EC7B4479F31C8EF Time : 0.0 sec. user=odicin [2015-01-06 15:35:18] 897*2^1388638-1 is not prime. Res64: 3618F32596F63066 Time : 0.0 sec. user=odicin [2015-01-06 15:37:47] 945*2^1388638-1 is not prime. Res64: C918DF0B5F9F9455 Time : 0.0 sec. user=mdettweiler [2015-01-06 15:42:13] 827*2^1388638-1 is not prime. Res64: D1F72A5FD36C43B4 Time : 0.0 sec. user=mdettweiler [2015-01-06 15:42:13] 857*2^1388638-1 is not prime. Res64: 3765C3EEA009A838 Time : 0.0 sec. user=mdettweiler [2015-01-06 15:51:24] 693*2^1388639-1 is not prime. Res64: 0FB5416F38C88A2D Time : 0.0 sec. user=mdettweiler [2015-01-06 15:51:24] 705*2^1388639-1 is not prime. Res64: B0BDCE44435E9DEF Time : 0.0 sec. user=odicin [2015-01-06 15:56:14] 721*2^1388639-1 is not prime. Res64: 04253B4CF49ADB39 Time : 0.0 sec. user=odicin [2015-01-06 16:01:20] 741*2^1388639-1 is not prime. Res64: 209224D639B229D1 Time : 0.0 sec. user=mdettweiler [2015-01-06 16:16:02] 913*2^1388639-1 is not prime. Res64: 62AFB6A6B7092853 Time : 0.0 sec. user=mdettweiler [2015-01-06 16:16:03] 675*2^1388640-1 is not prime. Res64: E961811DC620F3A9 Time : 0.0 sec. user=odicin [2015-01-06 16:21:17] 873*2^1388640-1 is not prime. Res64: B66A930C0794D79B Time : 0.0 sec. user=mdettweiler [2015-01-06 16:27:18] 717*2^1388640-1 is not prime. Res64: 8861D8C0E9FA3014 Time : 0.0 sec. user=odicin [2015-01-06 16:40:46] 929*2^1388640-1 is not prime. Res64: 34B52FC6C76520CC Time : 0.0 sec. user=odicin [2015-01-06 16:42:32] 945*2^1388640-1 is not prime. Res64: 6B2E0B2EB1F81F24 Time : 0.0 sec. user=mdettweiler [2015-01-06 16:53:02] 879*2^1388640-1 is not prime. Res64: 9C858CF1751F0A92 Time : 0.0 sec. user=mdettweiler [2015-01-06 16:53:02] 909*2^1388640-1 is not prime. Res64: ED3422E6FB839865 Time : 0.0 sec. user=odicin [2015-01-06 17:00:11] 975*2^1388640-1 is not prime. Res64: FE76408A6AACE513 Time : 0.0 sec. user=odicin [2015-01-06 17:02:14] 649*2^1388641-1 is not prime. Res64: 833D77C8809180D7 Time : 0.0 sec. user=odicin [2015-01-06 17:19:51] 691*2^1388641-1 is not prime. Res64: 2C0CAEC45F3ABBC8 Time : 0.0 sec. user=odicin [2015-01-06 17:21:24] 769*2^1388641-1 is not prime. Res64: 42AD8AE5032D942A Time : 0.0 sec. user=mdettweiler [2015-01-06 17:28:07] 685*2^1388641-1 is not prime. Res64: E676ABA0B0C32828 Time : 0.0 sec. user=mdettweiler [2015-01-06 17:28:08] 687*2^1388641-1 is not prime. Res64: FA59E6A2B1484736 Time : 0.0 sec. user=odicin [2015-01-06 17:41:20] 799*2^1388641-1 is not prime. Res64: 5CB9877E3A4B580C Time : 0.0 sec. user=odicin [2015-01-06 17:41:22] 931*2^1388641-1 is not prime. Res64: 5350EB39CBB127A4 Time : 0.0 sec. user=odicin [2015-01-06 18:00:38] 633*2^1388642-1 is not prime. Res64: E22DB790729B120D Time : 0.0 sec. user=odicin [2015-01-06 18:01:09] 671*2^1388642-1 is not prime. Res64: DEF98E0957D11331 Time : 0.0 sec. user=mdettweiler [2015-01-06 18:01:56] 957*2^1388641-1 is not prime. Res64: E2B5A46735B591E0 Time : 0.0 sec. user=mdettweiler [2015-01-06 18:01:57] 997*2^1388641-1 is not prime. Res64: 9813472AA62430EF Time : 0.0 sec. user=mdettweiler [2015-01-06 18:12:14] 809*2^1388640-1 is not prime. Res64: A8FAF5E34896E2E7 Time : 0.0 sec. user=odicin [2015-01-06 18:20:04] 731*2^1388642-1 is not prime. Res64: 5C659F8733745A12 Time : 0.0 sec. user=odicin [2015-01-06 18:22:36] 945*2^1388642-1 is not prime. Res64: 1898B198B38210AC Time : 0.0 sec. user=mdettweiler [2015-01-06 18:32:02] 951*2^1388642-1 is not prime. Res64: 05B3CB4A347A04A1 Time : 0.0 sec. user=mdettweiler [2015-01-06 18:32:03] 751*2^1388643-1 is not prime. Res64: C815CFF60EA3E44A Time : 0.0 sec. user=odicin [2015-01-06 18:39:54] 885*2^1388644-1 is not prime. Res64: FBC3E4C2CADE9970 Time : 0.0 sec. user=odicin [2015-01-06 18:42:08] 923*2^1388644-1 is not prime. Res64: 9508FDB7F901684C Time : 0.0 sec. user=mdettweiler [2015-01-06 18:42:29] 615*2^1388644-1 is not prime. Res64: F0DDE44B48AFF761 Time : 0.0 sec. user=mdettweiler [2015-01-06 18:42:29] 857*2^1388644-1 is not prime. Res64: 53695A91A22EB799 Time : 0.0 sec. user=odicin [2015-01-06 19:01:19] 727*2^1388645-1 is not prime. Res64: BFD42BACA2768D4A Time : 0.0 sec. user=mdettweiler [2015-01-06 19:02:22] 655*2^1388645-1 is not prime. Res64: 951569D539C6E8AD Time : 0.0 sec. user=mdettweiler [2015-01-06 19:02:23] 669*2^1388645-1 is not prime. Res64: 629104997B7AC3E2 Time : 0.0 sec. user=mdettweiler [2015-01-06 19:12:18] 801*2^1388645-1 is not prime. Res64: 6E39DA2BEC00C00F Time : 0.0 sec. user=mdettweiler [2015-01-06 19:12:20] 969*2^1388645-1 is not prime. Res64: 1AECDBC41F4F5706 Time : 0.0 sec. user=odicin [2015-01-06 19:20:41] 611*2^1388646-1 is not prime. Res64: 0F65DA8929B402F8 Time : 0.0 sec. user=odicin [2015-01-06 19:30:34] 625*2^1388647-1 is not prime. Res64: 3B3DF2724517973D Time : 0.0 sec. user=mdettweiler [2015-01-06 19:31:19] 825*2^1388646-1 is not prime. Res64: 75BB2C5CE12032C0 Time : 0.0 sec. user=mdettweiler [2015-01-06 19:31:20] 867*2^1388646-1 is not prime. Res64: 5F61CFB4C1ED454B Time : 0.0 sec. user=odicin [2015-01-06 19:40:49] 957*2^1388646-1 is not prime. Res64: 85E80168562030B1 Time : 0.0 sec. user=mdettweiler [2015-01-06 19:41:06] 921*2^1388646-1 is not prime. Res64: BFAECD0BD8E55AC5 Time : 0.0 sec. user=mdettweiler [2015-01-06 19:41:07] 923*2^1388646-1 is not prime. Res64: 212EE9F51D9DBDDC Time : 0.0 sec. user=odicin [2015-01-06 19:49:50] 1001*2^1388646-1 is not prime. Res64: A6FC706257313415 Time : 0.0 sec. user=mdettweiler [2015-01-06 19:59:58] 645*2^1388647-1 is not prime. Res64: 41973ACBFC97B62A Time : 0.0 sec. user=mdettweiler [2015-01-06 19:59:59] 693*2^1388647-1 is not prime. Res64: 828E8D1DDF9BE1A9 Time : 0.0 sec. user=odicin [2015-01-06 19:59:59] 715*2^1388647-1 is not prime. Res64: A97B47D59F280893 Time : 0.0 sec. user=mdettweiler [2015-01-06 20:09:34] 763*2^1388647-1 is not prime. Res64: BA871BDA0F830645 Time : 0.0 sec. user=mdettweiler [2015-01-06 20:09:36] 829*2^1388647-1 is not prime. Res64: C6393C2F61687E00 Time : 0.0 sec. user=odicin [2015-01-06 20:10:39] 889*2^1388647-1 is not prime. Res64: 84915DE029DEEBF5 Time : 0.0 sec. user=odicin [2015-01-06 20:19:06] 893*2^1388648-1 is not prime. Res64: 6EA8575D9A8981E0 Time : 0.0 sec. user=mdettweiler [2015-01-06 20:28:32] 919*2^1388647-1 is not prime. Res64: 408511B415BF1C62 Time : 0.0 sec. user=odicin [2015-01-06 20:30:19] 745*2^1388649-1 is not prime. Res64: B6458A41A60B8041 Time : 0.0 sec. user=odicin [2015-01-06 20:38:29] 751*2^1388649-1 is not prime. Res64: A521FBFECD91F544 Time : 0.0 sec. user=mdettweiler [2015-01-06 20:39:03] 929*2^1388648-1 is not prime. Res64: 23C4F33D24650734 Time : 0.0 sec. user=mdettweiler [2015-01-06 20:39:04] 667*2^1388649-1 is not prime. Res64: F09B670C9FBBBC8B Time : 0.0 sec. user=odicin [2015-01-06 20:52:47] 877*2^1388649-1 is not prime. Res64: 142D19CBFA28D659 Time : 0.0 sec. user=odicin [2015-01-06 20:57:25] 945*2^1388649-1 is not prime. Res64: 21B85FB5979C40E2 Time : 0.0 sec. user=mdettweiler [2015-01-06 21:08:18] 731*2^1388650-1 is not prime. Res64: 3CB66CA41926DB80 Time : 0.0 sec. user=odicin [2015-01-06 21:12:59] 777*2^1388650-1 is not prime. Res64: 7E8404350C01BD6A Time : 0.0 sec. user=odicin [2015-01-06 21:17:13] 825*2^1388650-1 is not prime. Res64: D443D20F5A803D3F Time : 0.0 sec. user=odicin [2015-01-06 21:32:39] 833*2^1388650-1 is not prime. Res64: D0C7ED5220CDA634 Time : 0.0 sec. user=odicin [2015-01-06 21:36:56] 873*2^1388650-1 is not prime. Res64: 9D9FC944A88796B5 Time : 0.0 sec. user=odicin [2015-01-06 21:52:11] 621*2^1388651-1 is not prime. Res64: 3AF7641AC23D532B Time : 0.0 sec. user=odicin [2015-01-06 21:56:27] 651*2^1388651-1 is not prime. Res64: 5868B61C752531C3 Time : 0.0 sec. user=odicin [2015-01-06 22:11:44] 781*2^1388651-1 is not prime. Res64: 0088200E6DD8E53A Time : 0.0 sec. user=odicin [2015-01-06 22:15:21] 823*2^1388651-1 is not prime. Res64: A10F487C8FBDA053 Time : 0.0 sec. user=odicin [2015-01-06 22:31:27] 825*2^1388651-1 is not prime. Res64: 5457BED495FA93BA Time : 0.0 sec. user=odicin [2015-01-06 22:35:07] 623*2^1388652-1 is not prime. Res64: 25AE192A03882714 Time : 0.0 sec. user=mdettweiler [2015-01-06 22:44:57] 869*2^1388648-1 is not prime. Res64: 59A19EE3106E598E Time : 0.0 sec. user=odicin [2015-01-06 22:52:57] 647*2^1388652-1 is not prime. Res64: A61143E883F969CC Time : 0.0 sec. user=odicin [2015-01-06 23:11:50] 947*2^1388652-1 is not prime. Res64: 1A25045DDE3B624F Time : 0.0 sec. user=mdettweiler [2015-01-06 23:13:59] 825*2^1388652-1 is not prime. Res64: 289332C0E3040EB4 Time : 0.0 sec. user=mdettweiler [2015-01-06 23:14:00] 933*2^1388652-1 is not prime. Res64: 4811F92BB48FC27C Time : 0.0 sec. user=odicin [2015-01-06 23:23:33] 959*2^1388652-1 is not prime. Res64: F3F3518CE5873395 Time : 0.0 sec. user=mdettweiler [2015-01-06 23:25:50] 773*2^1388650-1 is not prime. Res64: 1A8F9D4FEB274028 Time : 0.0 sec. user=odicin [2015-01-06 23:33:08] 965*2^1388652-1 is not prime. Res64: 09E7FA17C932B912 Time : 0.0 sec. user=mdettweiler [2015-01-06 23:42:27] 607*2^1388653-1 is not prime. Res64: 299A37E95BB807F4 Time : 0.0 sec. user=mdettweiler [2015-01-06 23:42:28] 615*2^1388653-1 is not prime. Res64: 31A9183BEAD743CD Time : 0.0 sec. user=odicin [2015-01-06 23:43:12] 639*2^1388653-1 is not prime. Res64: 5579BA4EF579F426 Time : 0.0 sec. user=mdettweiler [2015-01-06 23:54:19] 685*2^1388653-1 is not prime. Res64: 9EECA7DD0B55886E Time : 0.0 sec. user=mdettweiler [2015-01-06 23:54:19] 789*2^1388653-1 is not prime. Res64: E134500F5B218353 Time : 0.0 sec.