user=kar_bon [2011-12-10 00:05:53] 333*2^1612043-1 is not prime. Res64: 4551401BB98BEC9F Time : 2948.0 sec. user=kar_bon [2011-12-10 00:09:08] 315*2^1612047-1 is not prime. Res64: 483C227252B28BA0 Time : 2943.0 sec. user=kar_bon [2011-12-10 00:41:20] 321*2^1612047-1 is not prime. Res64: A3CF15E7008F3B72 Time : 2947.0 sec. user=kar_bon [2011-12-10 00:55:08] 339*2^1612081-1 is not prime. Res64: 68DF1D32F4211942 Time : 2954.0 sec. user=kar_bon [2011-12-10 00:58:19] 333*2^1612083-1 is not prime. Res64: 4FF2902EAF65A8AD Time : 2950.0 sec. user=ototero [2011-12-10 01:09:39] 315*2^1611952-1 is not prime. Res64: 4D8A6E8799906A6A Time : 24690.0 sec. user=ototero [2011-12-10 01:09:41] 345*2^1611952-1 is not prime. Res64: 5F77D7EC5C621DB7 Time : 24691.0 sec. user=ototero [2011-12-10 01:09:41] 327*2^1611960-1 is not prime. Res64: 74184AF6902C6196 Time : 24691.0 sec. user=ototero [2011-12-10 01:09:41] 327*2^1611962-1 is not prime. Res64: 123496BBC1F029A9 Time : 24691.0 sec. user=ototero [2011-12-10 01:09:41] 339*2^1611963-1 is not prime. Res64: 86553090178C88EB Time : 24691.0 sec. user=kar_bon [2011-12-10 01:33:53] 327*2^1612089-1 is not prime. Res64: 4DA184E11CE2CB46 Time : 3152.0 sec. user=kar_bon [2011-12-10 01:50:34] 321*2^1612094-1 is not prime. Res64: 89422491E007F46B Time : 3326.0 sec. user=kar_bon [2011-12-10 01:55:33] 333*2^1612094-1 is not prime. Res64: D275812A93DC76BA Time : 3434.0 sec. user=kar_bon [2011-12-10 02:38:32] 333*2^1612118-1 is not prime. Res64: B6EF48E5FABC4BAD Time : 3879.0 sec. user=kar_bon [2011-12-10 02:57:03] 345*2^1612120-1 is not prime. Res64: C04C17E9827AC97B Time : 3989.0 sec. user=kar_bon [2011-12-10 03:02:37] 345*2^1612122-1 is not prime. Res64: 2D3CE624B0AC7D66 Time : 4024.0 sec. user=kar_bon [2011-12-10 03:52:36] 315*2^1612127-1 is not prime. Res64: 9A2C1E47AC4D3B79 Time : 4444.0 sec. user=kar_bon [2011-12-10 04:02:49] 333*2^1612127-1 is not prime. Res64: 2125D704673C2A89 Time : 3946.0 sec. user=kar_bon [2011-12-10 04:08:14] 339*2^1612129-1 is not prime. Res64: 5604912D8C4EF807 Time : 3936.0 sec. user=kar_bon [2011-12-10 04:52:25] 339*2^1612131-1 is not prime. Res64: DE24C76DD82E6FBD Time : 3588.0 sec. user=kar_bon [2011-12-10 05:03:15] 345*2^1612134-1 is not prime. Res64: 92CABFFAAA519F7C Time : 3626.0 sec. user=kar_bon [2011-12-10 05:05:45] 321*2^1612135-1 is not prime. Res64: 8A877D6C3FE1020C Time : 3450.0 sec. user=kar_bon [2011-12-10 05:41:33] 327*2^1612140-1 is not prime. Res64: BAABEE62EB0B9E27 Time : 2948.0 sec. user=kar_bon [2011-12-10 05:52:31] 345*2^1612140-1 is not prime. Res64: 2E630AF03D27C617 Time : 2955.0 sec. user=kar_bon [2011-12-10 05:54:56] 315*2^1612141-1 is not prime. Res64: 53E875E7611B9DB8 Time : 2950.0 sec. user=kar_bon [2011-12-10 06:30:47] 327*2^1612141-1 is not prime. Res64: 03CA8780184137E2 Time : 2954.0 sec. user=kar_bon [2011-12-10 06:41:45] 315*2^1612142-1 is not prime. Res64: 78F201C5F4D1908C Time : 2954.0 sec. user=kar_bon [2011-12-10 06:44:07] 315*2^1612150-1 is not prime. Res64: 53D2F9737867B316 Time : 2951.0 sec. user=ototero [2011-12-10 06:52:10] 339*2^1611393-1 is not prime. Res64: 213FC1EF6EEBFC85 Time : 51316.0 sec. user=ototero [2011-12-10 06:52:10] 333*2^1611398-1 is not prime. Res64: 2EDA88A3D8DBF6E9 Time : 51316.0 sec. user=ototero [2011-12-10 06:52:10] 327*2^1611408-1 is not prime. Res64: 756C5D38AC29FD85 Time : 51316.0 sec. user=ototero [2011-12-10 06:52:10] 315*2^1611414-1 is not prime. Res64: E83097A588F45E42 Time : 51315.0 sec. user=ototero [2011-12-10 06:52:10] 315*2^1611422-1 is not prime. Res64: 1F66D1C6AA20E951 Time : 51315.0 sec. user=ototero [2011-12-10 06:52:11] 327*2^1611429-1 is not prime. Res64: D71B7568393D38A9 Time : 51316.0 sec. user=ototero [2011-12-10 06:52:11] 321*2^1611431-1 is not prime. Res64: D9CD87FD4188D834 Time : 51315.0 sec. user=ototero [2011-12-10 06:52:11] 333*2^1611434-1 is not prime. Res64: A8FE8B6A22723699 Time : 51315.0 sec. user=ototero [2011-12-10 06:52:11] 333*2^1611438-1 is not prime. Res64: AD9C348857A8A171 Time : 51315.0 sec. user=ototero [2011-12-10 06:52:11] 321*2^1611442-1 is not prime. Res64: ABCDC75A077C6735 Time : 51314.0 sec. user=kar_bon [2011-12-10 07:19:56] 315*2^1612152-1 is not prime. Res64: B75194DB8AB7E1D2 Time : 2949.0 sec. user=kar_bon [2011-12-10 07:30:54] 345*2^1612159-1 is not prime. Res64: 026AE2EEB423167A Time : 2948.0 sec. user=kar_bon [2011-12-10 07:33:20] 333*2^1612163-1 is not prime. Res64: AB226D68348A9A1B Time : 2953.0 sec. user=kar_bon [2011-12-10 08:09:09] 327*2^1612205-1 is not prime. Res64: B9FFFB6DE7338844 Time : 2952.0 sec. user=kar_bon [2011-12-10 08:20:05] 333*2^1612208-1 is not prime. Res64: E9ECBB7CCDB29A02 Time : 2950.0 sec. user=kar_bon [2011-12-10 08:22:32] 315*2^1612210-1 is not prime. Res64: 59CD6A51E97B194C Time : 2951.0 sec. user=ototero [2011-12-10 08:45:42] 321*2^1612102-1 is not prime. Res64: 9AF1298D8753E8E4 Time : 27360.0 sec. user=ototero [2011-12-10 08:45:44] 315*2^1612110-1 is not prime. Res64: BDA38276957F1BE7 Time : 27362.0 sec. user=ototero [2011-12-10 08:45:44] 339*2^1612113-1 is not prime. Res64: A440BEDC42156F58 Time : 27362.0 sec. user=ototero [2011-12-10 08:45:44] 315*2^1612114-1 is not prime. Res64: 0EA97C241498D025 Time : 27361.0 sec. user=ototero [2011-12-10 08:45:44] 333*2^1612116-1 is not prime. Res64: D80DD3616FD70871 Time : 27361.0 sec. user=kar_bon [2011-12-10 08:58:24] 321*2^1612213-1 is not prime. Res64: 5CBE52D559A56568 Time : 2955.0 sec. user=kar_bon [2011-12-10 09:09:14] 315*2^1612214-1 is not prime. Res64: 3EE1D622EB175354 Time : 2948.0 sec. user=kar_bon [2011-12-10 09:11:40] 315*2^1612219-1 is not prime. Res64: 536E146C6E578839 Time : 2947.0 sec. user=kar_bon [2011-12-10 09:47:41] 333*2^1612244-1 is not prime. Res64: 0FB38FBF1A16D752 Time : 2956.0 sec. user=kar_bon [2011-12-10 09:58:30] 321*2^1612245-1 is not prime. Res64: 29D18797F490B6FD Time : 2955.0 sec. user=kar_bon [2011-12-10 10:00:48] 315*2^1612246-1 is not prime. Res64: ED81527D9A3D2F8F Time : 2948.0 sec. user=kar_bon [2011-12-10 10:36:52] 321*2^1613038-1 is not prime. Res64: 774A057FE7D8E864 Time : 2951.0 sec. user=kar_bon [2011-12-10 10:47:47] 321*2^1613041-1 is not prime. Res64: C7D28A2B5B12F2E0 Time : 2957.0 sec. user=kar_bon [2011-12-10 10:50:03] 333*2^1613043-1 is not prime. Res64: 7E5BFB665342D636 Time : 2954.0 sec. user=kar_bon [2011-12-10 11:26:04] 345*2^1613046-1 is not prime. Res64: 0445B5C449F9BC38 Time : 2951.0 sec. user=kar_bon [2011-12-10 11:37:05] 321*2^1613053-1 is not prime. Res64: 2D23BBB70409FFC7 Time : 2957.0 sec. user=kar_bon [2011-12-10 11:39:31] 333*2^1613054-1 is not prime. Res64: DC8ABC3F6359FA53 Time : 2968.0 sec. user=kar_bon [2011-12-10 12:15:13] 339*2^1613055-1 is not prime. Res64: 307F254AE68006C9 Time : 2949.0 sec. user=kar_bon [2011-12-10 12:26:17] 339*2^1613059-1 is not prime. Res64: 801D958265C52B60 Time : 2952.0 sec. user=kar_bon [2011-12-10 12:28:43] 339*2^1613063-1 is not prime. Res64: 3FD1BAE920C606A1 Time : 2952.0 sec. user=kar_bon [2011-12-10 13:04:26] 333*2^1613079-1 is not prime. Res64: 26F8C669F61BF5D8 Time : 2953.0 sec. user=kar_bon [2011-12-10 13:15:34] 339*2^1613079-1 is not prime. Res64: F682830AB10FED80 Time : 2956.0 sec. user=kar_bon [2011-12-10 13:17:58] 315*2^1613087-1 is not prime. Res64: F5F446EAFF78C48B Time : 2954.0 sec. user=kar_bon [2011-12-10 13:53:40] 333*2^1613088-1 is not prime. Res64: 0294CE60907E4E94 Time : 2953.0 sec. user=kar_bon [2011-12-10 14:04:48] 321*2^1613090-1 is not prime. Res64: 96DBC5FF8B5CF02A Time : 2954.0 sec. user=kar_bon [2011-12-10 14:07:17] 327*2^1613100-1 is not prime. Res64: 893E75E5DC010B48 Time : 2959.0 sec. user=kar_bon [2011-12-10 14:42:51] 339*2^1613101-1 is not prime. Res64: F9F7A34D5E4C8E96 Time : 2951.0 sec. user=kar_bon [2011-12-10 14:54:02] 345*2^1613104-1 is not prime. Res64: D9E7EAF2457EE2A0 Time : 2954.0 sec. user=kar_bon [2011-12-10 14:56:29] 315*2^1613106-1 is not prime. Res64: D0359F983ECC6185 Time : 2951.0 sec. user=ototero [2011-12-10 15:03:33] 333*2^1612058-1 is not prime. Res64: 52FD0845B6B06292 Time : 54511.0 sec. user=ototero [2011-12-10 15:03:35] 315*2^1612059-1 is not prime. Res64: 8459E53F2E454415 Time : 54512.0 sec. user=ototero [2011-12-10 15:03:35] 315*2^1612060-1 is not prime. Res64: 2A4543516003AAD8 Time : 54512.0 sec. user=ototero [2011-12-10 15:03:35] 339*2^1612061-1 is not prime. Res64: 561F890E16EBF09E Time : 54512.0 sec. user=ototero [2011-12-10 15:03:35] 327*2^1612065-1 is not prime. Res64: 6768D956201C557F Time : 54511.0 sec. user=ototero [2011-12-10 15:03:36] 321*2^1612066-1 is not prime. Res64: BD5D213BB0BC3D27 Time : 54512.0 sec. user=ototero [2011-12-10 15:03:36] 339*2^1612067-1 is not prime. Res64: 58C351D265E313EC Time : 54512.0 sec. user=ototero [2011-12-10 15:03:36] 315*2^1612075-1 is not prime. Res64: 45B57200038C752C Time : 54511.0 sec. user=ototero [2011-12-10 15:03:36] 339*2^1612075-1 is not prime. Res64: 5A9198589926D154 Time : 54511.0 sec. user=ototero [2011-12-10 15:03:36] 315*2^1612077-1 is not prime. Res64: DACF2798F0FDD3E3 Time : 54511.0 sec. user=kar_bon [2011-12-10 15:32:10] 327*2^1613112-1 is not prime. Res64: 5DA1E7E91CA00D67 Time : 2958.0 sec. user=kar_bon [2011-12-10 15:43:14] 339*2^1613115-1 is not prime. Res64: D55B80AE681E38F6 Time : 2952.0 sec. user=kar_bon [2011-12-10 15:45:39] 327*2^1613116-1 is not prime. Res64: A5992F7E8A920BA7 Time : 2950.0 sec. user=ototero [2011-12-10 16:03:19] 345*2^1612231-1 is not prime. Res64: 6306C20053FABED2 Time : 26254.0 sec. user=ototero [2011-12-10 16:03:20] 315*2^1612235-1 is not prime. Res64: BD50AECAEBEFADFD Time : 26255.0 sec. user=ototero [2011-12-10 16:03:22] 315*2^1612236-1 is not prime. Res64: AD31E55ECD7F2A48 Time : 26258.0 sec. user=ototero [2011-12-10 16:03:24] 333*2^1612238-1 is not prime. Res64: 25457AEC2B1D09DA Time : 26260.0 sec. user=ototero [2011-12-10 16:03:26] 339*2^1612241-1 is not prime. Res64: 664C04438D97D884 Time : 26260.0 sec. user=kar_bon [2011-12-10 16:26:38] 321*2^1613138-1 is not prime. Res64: 153A3D8FE613D028 Time : 3267.0 sec. user=kar_bon [2011-12-10 16:41:39] 339*2^1613155-1 is not prime. Res64: 49F80186CE30ED10 Time : 3505.0 sec. user=kar_bon [2011-12-10 16:44:31] 333*2^1613156-1 is not prime. Res64: 002978F26411073E Time : 3532.0 sec. user=kar_bon [2011-12-10 16:45:55] 339*2^1611451-1 is not prime. Res64: 9FC2D6A4D6692BA0 Time : 85184.0 sec. user=kar_bon [2011-12-10 16:45:56] 327*2^1611458-1 is not prime. Res64: 8EADAD36C1D68D3B Time : 85184.0 sec. user=kar_bon [2011-12-10 16:45:56] 315*2^1611460-1 is not prime. Res64: 7B0EEAD5D6D1EC9B Time : 85184.0 sec. user=kar_bon [2011-12-10 16:45:56] 315*2^1611462-1 is not prime. Res64: 425318675A8880D2 Time : 85183.0 sec. user=kar_bon [2011-12-10 16:45:57] 345*2^1611462-1 is not prime. Res64: EEB024CFF515F26C Time : 85184.0 sec. user=kar_bon [2011-12-10 16:45:57] 327*2^1611465-1 is not prime. Res64: 60333E78C07BE6F1 Time : 85183.0 sec. user=kar_bon [2011-12-10 16:45:57] 315*2^1611471-1 is not prime. Res64: A33D93F376DCC20A Time : 85183.0 sec. user=kar_bon [2011-12-10 16:45:57] 339*2^1611472-1 is not prime. Res64: A2F6C9174D79CF43 Time : 85183.0 sec. user=kar_bon [2011-12-10 16:45:58] 333*2^1611480-1 is not prime. Res64: 4B0A66F6C0F81B58 Time : 85183.0 sec. user=kar_bon [2011-12-10 16:45:58] 345*2^1611489-1 is not prime. Res64: 55BDAD844583667B Time : 85183.0 sec. user=kar_bon [2011-12-10 16:45:58] 333*2^1611504-1 is not prime. Res64: B8D42C10E17BB1C4 Time : 85182.0 sec. user=kar_bon [2011-12-10 16:45:59] 345*2^1611535-1 is not prime. Res64: 5ACD5A6EB936E501 Time : 85183.0 sec. user=kar_bon [2011-12-10 16:45:59] 345*2^1611555-1 is not prime. Res64: 6AC2E1DEEA5B828D Time : 85183.0 sec. user=kar_bon [2011-12-10 16:45:59] 321*2^1611473-1 is not prime. Res64: 6F3F73604560B953 Time : 85185.0 sec. user=kar_bon [2011-12-10 16:46:00] 321*2^1611487-1 is not prime. Res64: E863754FD4282AE9 Time : 85185.0 sec. user=kar_bon [2011-12-10 16:46:00] 339*2^1611496-1 is not prime. Res64: C89A5444CAF21E97 Time : 85185.0 sec. user=kar_bon [2011-12-10 16:46:00] 339*2^1611505-1 is not prime. Res64: 55E319B199DFE5C0 Time : 85184.0 sec. user=kar_bon [2011-12-10 16:46:00] 315*2^1611526-1 is not prime. Res64: 8FADD7A8851C489B Time : 85184.0 sec. user=kar_bon [2011-12-10 16:46:01] 345*2^1611552-1 is not prime. Res64: 03FA7F59F5BB7119 Time : 85185.0 sec. user=kar_bon [2011-12-10 16:46:01] 315*2^1611557-1 is not prime. Res64: 50F24E3693C19353 Time : 85184.0 sec. user=kar_bon [2011-12-10 16:46:01] 333*2^1611566-1 is not prime. Res64: 78550312236A8181 Time : 85179.0 sec. user=kar_bon [2011-12-10 16:46:02] 345*2^1611570-1 is not prime. Res64: E3292618AD9DB3C5 Time : 85180.0 sec. user=kar_bon [2011-12-10 16:46:02] 321*2^1611582-1 is not prime. Res64: 3F9F1DFA6E5E0CA0 Time : 85171.0 sec. user=kar_bon [2011-12-10 16:46:02] 315*2^1611571-1 is not prime. Res64: A983356FF090CDC6 Time : 85179.0 sec. user=kar_bon [2011-12-10 16:46:02] 339*2^1611587-1 is not prime. Res64: B2E25065624CF6A8 Time : 85170.0 sec. user=kar_bon [2011-12-10 16:46:02] 333*2^1611575-1 is not prime. Res64: A4EEC4AB364836E3 Time : 85179.0 sec. user=kar_bon [2011-12-10 16:46:03] 339*2^1611592-1 is not prime. Res64: C6BBC9D1D87E8553 Time : 85171.0 sec. user=kar_bon [2011-12-10 16:46:03] 315*2^1611576-1 is not prime. Res64: 1E7C6D271268EB2F Time : 85179.0 sec. user=kar_bon [2011-12-10 16:46:03] 315*2^1611602-1 is not prime. Res64: 78B9B69FD4EE5681 Time : 85170.0 sec. user=kar_bon [2011-12-10 16:46:03] 333*2^1611579-1 is not prime. Res64: D3D044063D4FB62D Time : 85179.0 sec. user=kar_bon [2011-12-10 16:46:03] 315*2^1611605-1 is not prime. Res64: 13980AE81ED0961D Time : 85170.0 sec. user=kar_bon [2011-12-10 16:46:03] 339*2^1611611-1 is not prime. Res64: E8057960F6FCC96B Time : 85170.0 sec. user=kar_bon [2011-12-10 16:46:04] 327*2^1611612-1 is not prime. Res64: 58B9238E0E967D7F Time : 85170.0 sec. user=kar_bon [2011-12-10 16:46:04] 333*2^1611614-1 is not prime. Res64: 26BC29509F46F7F7 Time : 85170.0 sec. user=kar_bon [2011-12-10 16:46:04] 327*2^1611616-1 is not prime. Res64: 11FE862667CD30B3 Time : 85169.0 sec. user=kar_bon [2011-12-10 16:46:05] 333*2^1611630-1 is not prime. Res64: 1E85723961FE4893 Time : 85170.0 sec. user=kar_bon [2011-12-10 16:46:05] 333*2^1611636-1 is not prime. Res64: 91253E2AFCF449A9 Time : 85170.0 sec. user=kar_bon [2011-12-10 16:46:06] 321*2^1611650-1 is not prime. Res64: B43AD89C6524472E Time : 85170.0 sec. user=kar_bon [2011-12-10 16:46:06] 321*2^1611622-1 is not prime. Res64: 053F8104AF2631A2 Time : 85171.0 sec. user=kar_bon [2011-12-10 16:46:06] 315*2^1611669-1 is not prime. Res64: F6560A88135080B0 Time : 85170.0 sec. user=kar_bon [2011-12-10 16:46:06] 339*2^1611633-1 is not prime. Res64: 9EA8B3F3321923A6 Time : 85171.0 sec. user=kar_bon [2011-12-10 16:46:06] 345*2^1611636-1 is not prime. Res64: 12634244C6AFF6F3 Time : 85170.0 sec. user=kar_bon [2011-12-10 16:46:06] 327*2^1611665-1 is not prime. Res64: 9495FA514C338598 Time : 85170.0 sec. user=kar_bon [2011-12-10 16:46:07] 327*2^1611696-1 is not prime. Res64: CE62628A81BF5592 Time : 85170.0 sec. user=kar_bon [2011-12-10 16:46:07] 327*2^1611749-1 is not prime. Res64: 38D4B2BDAB1370A9 Time : 85170.0 sec. user=kar_bon [2011-12-10 16:46:07] 339*2^1611771-1 is not prime. Res64: 8CC14303EA1A867B Time : 85170.0 sec. user=kar_bon [2011-12-10 16:46:08] 333*2^1611788-1 is not prime. Res64: 0628FB3A70E66A67 Time : 85170.0 sec. user=kar_bon [2011-12-10 16:46:08] 345*2^1611796-1 is not prime. Res64: D8E1AFCABD3104BE Time : 85170.0 sec. user=kar_bon [2011-12-10 16:46:08] 321*2^1611806-1 is not prime. Res64: 92D43A3E89ED57D5 Time : 85169.0 sec. user=kar_bon [2011-12-10 16:46:09] 339*2^1611659-1 is not prime. Res64: B5358E0655391935 Time : 85173.0 sec. user=kar_bon [2011-12-10 16:46:09] 333*2^1611819-1 is not prime. Res64: B328240A57F31512 Time : 85170.0 sec. user=kar_bon [2011-12-10 16:46:09] 333*2^1611674-1 is not prime. Res64: F7B916FA1E9B59C4 Time : 85173.0 sec. user=kar_bon [2011-12-10 16:46:09] 339*2^1611829-1 is not prime. Res64: 97565467AD75B9D3 Time : 85170.0 sec. user=kar_bon [2011-12-10 16:46:09] 345*2^1611735-1 is not prime. Res64: 9F65D6CB5C2C4008 Time : 85172.0 sec. user=kar_bon [2011-12-10 16:46:10] 321*2^1611837-1 is not prime. Res64: 63B59AABBD9AC67A Time : 85170.0 sec. user=kar_bon [2011-12-10 16:46:10] 321*2^1611750-1 is not prime. Res64: 4F70C20A053D4A34 Time : 85173.0 sec. user=kar_bon [2011-12-10 16:46:10] 333*2^1611776-1 is not prime. Res64: 258BDC1AD3FAAC04 Time : 85172.0 sec. user=kar_bon [2011-12-10 16:46:10] 315*2^1611790-1 is not prime. Res64: 7B70F2EA47513B1C Time : 85172.0 sec. user=kar_bon [2011-12-10 16:46:10] 339*2^1611800-1 is not prime. Res64: ADCE12A732DAE14F Time : 85172.0 sec. user=kar_bon [2011-12-10 16:46:11] 315*2^1611808-1 is not prime. Res64: 0E6798E72AF31AD0 Time : 85172.0 sec. user=kar_bon [2011-12-10 16:46:12] 321*2^1611822-1 is not prime. Res64: D23F918E698E57DC Time : 85173.0 sec. user=kar_bon [2011-12-10 16:46:12] 321*2^1611830-1 is not prime. Res64: 4B650C99BAFB5CFA Time : 85172.0 sec. user=kar_bon [2011-12-10 16:46:13] 321*2^1611838-1 is not prime. Res64: 8E978F2D3CA196C0 Time : 85173.0 sec. user=kar_bon [2011-12-10 16:46:13] 321*2^1611846-1 is not prime. Res64: F7081A7428EB914B Time : 85173.0 sec. user=kar_bon [2011-12-10 16:46:14] 345*2^1611664-1 is not prime. Res64: 2BF53323B47DF597 Time : 85178.0 sec. user=kar_bon [2011-12-10 16:46:14] 327*2^1611858-1 is not prime. Res64: 99AC9852DB12A9E1 Time : 85173.0 sec. user=kar_bon [2011-12-10 16:46:14] 321*2^1611686-1 is not prime. Res64: 30B07AEFFD106B28 Time : 85178.0 sec. user=kar_bon [2011-12-10 16:46:14] 315*2^1611739-1 is not prime. Res64: 07172A39E63B2E41 Time : 85177.0 sec. user=kar_bon [2011-12-10 16:46:14] 345*2^1611759-1 is not prime. Res64: 0F6B215ECA8358A0 Time : 85177.0 sec. user=kar_bon [2011-12-10 16:46:15] 327*2^1611788-1 is not prime. Res64: 59493DF3C497124F Time : 85177.0 sec. user=kar_bon [2011-12-10 16:46:15] 315*2^1611795-1 is not prime. Res64: 9B5E0717BA92FAFD Time : 85177.0 sec. user=kar_bon [2011-12-10 16:46:16] 333*2^1611804-1 is not prime. Res64: AFACD295A0D6D7C5 Time : 85178.0 sec. user=kar_bon [2011-12-10 16:46:17] 315*2^1611810-1 is not prime. Res64: 6B9D592C301122FD Time : 85178.0 sec. user=kar_bon [2011-12-10 16:46:17] 321*2^1611823-1 is not prime. Res64: F88CCF85449CCDB7 Time : 85178.0 sec. user=kar_bon [2011-12-10 16:46:17] 327*2^1611833-1 is not prime. Res64: 909FECCC0C688193 Time : 85177.0 sec. user=kar_bon [2011-12-10 16:46:18] 339*2^1611859-1 is not prime. Res64: 0AFDAC6B7A35DEBE Time : 85172.0 sec. user=kar_bon [2011-12-10 16:46:18] 339*2^1611839-1 is not prime. Res64: 899E957C72C5AFE4 Time : 85178.0 sec. user=kar_bon [2011-12-10 16:46:18] 345*2^1611861-1 is not prime. Res64: A9140F728FB60B9F Time : 85172.0 sec. user=kar_bon [2011-12-10 16:46:18] 333*2^1611840-1 is not prime. Res64: 93DB341C77B78CFA Time : 85178.0 sec. user=kar_bon [2011-12-10 16:46:19] 327*2^1611866-1 is not prime. Res64: 7CB08B227A053101 Time : 85172.0 sec. user=kar_bon [2011-12-10 16:46:19] 345*2^1611850-1 is not prime. Res64: 455A27CB3CCB140F Time : 85178.0 sec. user=kar_bon [2011-12-10 16:46:19] 327*2^1611868-1 is not prime. Res64: 9F82C1746189160C Time : 85172.0 sec. user=kar_bon [2011-12-10 16:46:19] 327*2^1611874-1 is not prime. Res64: 65F7B2B7BE2B1552 Time : 85172.0 sec. user=kar_bon [2011-12-10 16:46:20] 315*2^1611876-1 is not prime. Res64: ED3DC0FEDF847EC2 Time : 85172.0 sec. user=kar_bon [2011-12-10 16:46:21] 315*2^1611879-1 is not prime. Res64: B66681186B8F77CB Time : 85173.0 sec. user=kar_bon [2011-12-10 16:46:21] 327*2^1611889-1 is not prime. Res64: 61137785E615EB0F Time : 85172.0 sec. user=kar_bon [2011-12-10 16:46:22] 321*2^1611897-1 is not prime. Res64: 019C7F5BEE20D77D Time : 85173.0 sec. user=kar_bon [2011-12-10 16:46:22] 315*2^1611899-1 is not prime. Res64: A85FF3096E61F151 Time : 85172.0 sec. user=kar_bon [2011-12-10 16:46:22] 315*2^1611900-1 is not prime. Res64: 16D72FB189BE27E7 Time : 85172.0 sec. user=kar_bon [2011-12-10 16:46:22] 339*2^1611903-1 is not prime. Res64: B42F9BFD469379FF Time : 85172.0 sec. user=kar_bon [2011-12-10 16:46:22] 333*2^1611900-1 is not prime. Res64: A4D55DD511BE781C Time : 85172.0 sec. user=kar_bon [2011-12-10 16:46:22] 327*2^1611909-1 is not prime. Res64: 6670176DAE5E290A Time : 85172.0 sec. user=kar_bon [2011-12-10 16:46:23] 315*2^1611904-1 is not prime. Res64: 44B32BA6076545BE Time : 85173.0 sec. user=kar_bon [2011-12-10 16:46:23] 327*2^1611912-1 is not prime. Res64: B357B5C4089DB189 Time : 85172.0 sec. user=kar_bon [2011-12-10 16:46:23] 315*2^1611912-1 is not prime. Res64: E8019AD17FC920A8 Time : 85172.0 sec. user=kar_bon [2011-12-10 16:46:23] 345*2^1611912-1 is not prime. Res64: C9EFAC75C068217A Time : 85172.0 sec. user=kar_bon [2011-12-10 16:46:23] 339*2^1611919-1 is not prime. Res64: DD8D4EECD4CB1C20 Time : 85171.0 sec. user=kar_bon [2011-12-10 16:46:23] 327*2^1611920-1 is not prime. Res64: 8DC2DE4784B8F853 Time : 85171.0 sec. user=kar_bon [2011-12-10 16:46:24] 333*2^1611923-1 is not prime. Res64: 0313116CEEB4548F Time : 85172.0 sec. user=kar_bon [2011-12-10 16:46:24] 327*2^1611924-1 is not prime. Res64: 6D6231689EB08B3F Time : 85171.0 sec. user=kar_bon [2011-12-10 16:46:24] 315*2^1611926-1 is not prime. Res64: BC94598083DD1FFA Time : 85171.0 sec. user=kar_bon [2011-12-10 16:46:24] 327*2^1611933-1 is not prime. Res64: 699F49C4042ED870 Time : 85170.0 sec. user=kar_bon [2011-12-10 16:46:25] 315*2^1611939-1 is not prime. Res64: B92E15B6B30A433A Time : 85171.0 sec. user=kar_bon [2011-12-10 16:46:25] 321*2^1611941-1 is not prime. Res64: 44457A197B1BFF03 Time : 85171.0 sec. user=kar_bon [2011-12-10 17:30:18] 339*2^1613173-1 is not prime. Res64: 400762FAADB611BC Time : 3819.0 sec. user=kar_bon [2011-12-10 17:44:41] 327*2^1613180-1 is not prime. Res64: B95A2CF64F4BFCDE Time : 3782.0 sec. user=kar_bon [2011-12-10 17:46:15] 345*2^1613181-1 is not prime. Res64: 38566EC2BBD2C3E6 Time : 3703.0 sec. user=kar_bon [2011-12-10 18:37:11] 315*2^1613555-1 is not prime. Res64: 0688E12BC9F15E2E Time : 4013.0 sec. user=kar_bon [2011-12-10 18:47:25] 327*2^1613704-1 is not prime. Res64: 579B98222DDCF0D2 Time : 3763.0 sec. user=kar_bon [2011-12-10 18:53:45] 345*2^1613709-1 is not prime. Res64: 894F6C79E4AF6EE6 Time : 4049.0 sec. user=kar_bon [2011-12-10 19:42:09] 321*2^1613714-1 is not prime. Res64: FC6764DAC0979EC5 Time : 3897.0 sec. user=kar_bon [2011-12-10 19:47:58] 339*2^1613720-1 is not prime. Res64: F7600722D0853EF2 Time : 3632.0 sec. user=kar_bon [2011-12-10 19:52:38] 315*2^1613727-1 is not prime. Res64: 11D07E4B5A8318B8 Time : 3533.0 sec. user=kar_bon [2011-12-10 20:34:14] 321*2^1613734-1 is not prime. Res64: D0999CAFF6EE49B7 Time : 3125.0 sec. user=kar_bon [2011-12-10 20:39:54] 333*2^1613736-1 is not prime. Res64: D8E39546058599C4 Time : 3115.0 sec. user=kar_bon [2011-12-10 20:44:42] 327*2^1613738-1 is not prime. Res64: 650BC72F3F7E9A09 Time : 3124.0 sec. user=ototero [2011-12-10 21:17:15] 327*2^1612164-1 is not prime. Res64: 1C0374931552B155 Time : 51903.0 sec. user=ototero [2011-12-10 21:17:15] 333*2^1612170-1 is not prime. Res64: ED75A4ABBC58A689 Time : 51903.0 sec. user=ototero [2011-12-10 21:17:15] 315*2^1612171-1 is not prime. Res64: FB2CC6484DF57FD0 Time : 51903.0 sec. user=ototero [2011-12-10 21:17:15] 345*2^1612171-1 is not prime. Res64: 73A8023EDB4D2642 Time : 51902.0 sec. user=ototero [2011-12-10 21:17:15] 315*2^1612186-1 is not prime. Res64: 1C49A218FE0BA73B Time : 51902.0 sec. user=ototero [2011-12-10 21:17:15] 315*2^1612190-1 is not prime. Res64: C76D29697645F25E Time : 51902.0 sec. user=ototero [2011-12-10 21:17:16] 321*2^1612193-1 is not prime. Res64: 33646710CA4191D1 Time : 51903.0 sec. user=ototero [2011-12-10 21:17:16] 333*2^1612194-1 is not prime. Res64: 66531E6F7DE908CB Time : 51902.0 sec. user=ototero [2011-12-10 21:17:16] 321*2^1612201-1 is not prime. Res64: 830F20268665E1D2 Time : 51902.0 sec. user=ototero [2011-12-10 21:17:16] 327*2^1612201-1 is not prime. Res64: 889A13591DE9B63F Time : 51902.0 sec. user=kar_bon [2011-12-10 21:24:45] 339*2^1613739-1 is not prime. Res64: CD4FA101C182432E Time : 3031.0 sec. user=kar_bon [2011-12-10 21:29:55] 315*2^1613746-1 is not prime. Res64: D0CB2399756CEE98 Time : 3001.0 sec. user=kar_bon [2011-12-10 21:34:29] 327*2^1613753-1 is not prime. Res64: 99F01C7AE7369CD8 Time : 2987.0 sec. user=kar_bon [2011-12-10 22:13:53] 339*2^1613803-1 is not prime. Res64: 6B7F49A2AC5E78CD Time : 2948.0 sec. user=kar_bon [2011-12-10 22:19:08] 315*2^1613805-1 is not prime. Res64: AD0DEE84C763F25A Time : 2953.0 sec. user=kar_bon [2011-12-10 22:23:48] 321*2^1613806-1 is not prime. Res64: 96B76FD432A52610 Time : 2959.0 sec. user=Flatlander [2011-12-10 22:51:26] 327*2^1612481-1 is not prime. Res64: BCB1DF99F83001B7 Time : 47962.0 sec. user=Flatlander [2011-12-10 22:51:26] 345*2^1612486-1 is not prime. Res64: D9C57EDEB7B21E2C Time : 47962.0 sec. user=Flatlander [2011-12-10 22:51:26] 315*2^1612487-1 is not prime. Res64: 87F2019F0DC11840 Time : 47962.0 sec. user=Flatlander [2011-12-10 22:51:26] 339*2^1612487-1 is not prime. Res64: 24051B520B5F838F Time : 47962.0 sec. user=Flatlander [2011-12-10 22:51:26] 327*2^1612493-1 is not prime. Res64: 80D566FF2DDD7C76 Time : 47961.0 sec. user=Flatlander [2011-12-10 22:51:26] 321*2^1612494-1 is not prime. Res64: 2CFA3AEF57F18FBC Time : 47961.0 sec. user=Flatlander [2011-12-10 22:51:26] 321*2^1612495-1 is not prime. Res64: C87919D43CC7EE36 Time : 47961.0 sec. user=Flatlander [2011-12-10 22:51:27] 327*2^1612496-1 is not prime. Res64: 7A3834C75198F28D Time : 47961.0 sec. user=Flatlander [2011-12-10 22:51:27] 345*2^1612497-1 is not prime. Res64: 9485070E3F6310DA Time : 47961.0 sec. user=Flatlander [2011-12-10 22:51:27] 315*2^1612501-1 is not prime. Res64: 9DF3194AB0CFA039 Time : 47961.0 sec. user=Flatlander [2011-12-10 22:51:27] 315*2^1612507-1 is not prime. Res64: F942BE6CC0700F78 Time : 47961.0 sec. user=Flatlander [2011-12-10 22:51:27] 333*2^1612511-1 is not prime. Res64: C41FAB9084733573 Time : 47960.0 sec. user=Flatlander [2011-12-10 22:51:27] 345*2^1612516-1 is not prime. Res64: 8DF1316BE875C6DE Time : 47960.0 sec. user=Flatlander [2011-12-10 22:51:27] 315*2^1612524-1 is not prime. Res64: CEB27F5513EAF31F Time : 47960.0 sec. user=Flatlander [2011-12-10 22:51:28] 327*2^1612525-1 is not prime. Res64: 0FE7B2903B83E801 Time : 47961.0 sec. user=Flatlander [2011-12-10 22:51:28] 315*2^1612527-1 is not prime. Res64: 34C66870A1A30647 Time : 47960.0 sec. user=Flatlander [2011-12-10 22:51:28] 339*2^1612529-1 is not prime. Res64: E3EEF39622FE4C8E Time : 47960.0 sec. user=Flatlander [2011-12-10 22:51:28] 345*2^1612531-1 is not prime. Res64: E9BF88418369B316 Time : 47960.0 sec. user=Flatlander [2011-12-10 22:51:28] 345*2^1612540-1 is not prime. Res64: D7A3BE2653CD0E84 Time : 47960.0 sec. user=Flatlander [2011-12-10 22:51:28] 327*2^1612541-1 is not prime. Res64: 63BC94ED397705F5 Time : 47959.0 sec. user=Flatlander [2011-12-10 22:56:18] 339*2^1612365-1 is not prime. Res64: A3279C0A8218586C Time : 48259.0 sec. user=Flatlander [2011-12-10 22:56:18] 315*2^1612368-1 is not prime. Res64: EF58ACDEBCF6FF0F Time : 48259.0 sec. user=Flatlander [2011-12-10 22:56:18] 345*2^1612386-1 is not prime. Res64: 8D046299F7A6B628 Time : 48259.0 sec. user=Flatlander [2011-12-10 22:56:19] 339*2^1612389-1 is not prime. Res64: 36D4C1F4CD5ADF2E Time : 48260.0 sec. user=Flatlander [2011-12-10 22:56:19] 333*2^1612398-1 is not prime. Res64: B43D5C430B8CD5B1 Time : 48259.0 sec. user=Flatlander [2011-12-10 22:56:19] 327*2^1612416-1 is not prime. Res64: 5C5053C6F8821067 Time : 48259.0 sec. user=Flatlander [2011-12-10 22:56:19] 321*2^1612422-1 is not prime. Res64: 3D0D82D2E341CD1E Time : 48259.0 sec. user=Flatlander [2011-12-10 22:56:19] 339*2^1612423-1 is not prime. Res64: E121F59EA0971DAF Time : 48258.0 sec. user=Flatlander [2011-12-10 22:56:19] 345*2^1612425-1 is not prime. Res64: F2933BE9E9AFF37D Time : 48258.0 sec. user=Flatlander [2011-12-10 22:56:19] 315*2^1612430-1 is not prime. Res64: AEFA00D7B27D5DCF Time : 48258.0 sec. user=Flatlander [2011-12-10 22:56:19] 321*2^1612434-1 is not prime. Res64: C2525E99F9B8A7D2 Time : 48258.0 sec. user=Flatlander [2011-12-10 22:56:20] 333*2^1612434-1 is not prime. Res64: 1CB5E51A1FDE1ADF Time : 48258.0 sec. user=Flatlander [2011-12-10 22:56:20] 315*2^1612439-1 is not prime. Res64: F0F14189E539E498 Time : 48258.0 sec. user=Flatlander [2011-12-10 22:56:20] 339*2^1612448-1 is not prime. Res64: 37DE88585FE061EA Time : 48258.0 sec. user=Flatlander [2011-12-10 22:56:20] 339*2^1612459-1 is not prime. Res64: 5C19D3785F61ACF9 Time : 48258.0 sec. user=Flatlander [2011-12-10 22:56:20] 321*2^1612462-1 is not prime. Res64: 952C0099CB4ACFE1 Time : 48257.0 sec. user=Flatlander [2011-12-10 22:56:20] 327*2^1612464-1 is not prime. Res64: 3426FD793A001A7E Time : 48257.0 sec. user=Flatlander [2011-12-10 22:56:20] 339*2^1612475-1 is not prime. Res64: 07D6DA4778526F8F Time : 48257.0 sec. user=Flatlander [2011-12-10 22:56:21] 315*2^1612478-1 is not prime. Res64: 53876B10BD1FBB6F Time : 48257.0 sec. user=Flatlander [2011-12-10 22:56:21] 345*2^1612485-1 is not prime. Res64: 7A53EF3309EF43A2 Time : 48257.0 sec. user=kar_bon [2011-12-10 23:03:02] 315*2^1613807-1 is not prime. Res64: 49646161973DE555 Time : 2948.0 sec. user=kar_bon [2011-12-10 23:08:29] 333*2^1613807-1 is not prime. Res64: 4B0363AC08EDCF08 Time : 2961.0 sec. user=Flatlander [2011-12-10 23:11:48] 339*2^1612313-1 is not prime. Res64: 756F257CF93E5848 Time : 49194.0 sec. user=Flatlander [2011-12-10 23:11:48] 327*2^1612316-1 is not prime. Res64: FFDF275BEBDCD2EC Time : 49193.0 sec. user=Flatlander [2011-12-10 23:11:49] 315*2^1612322-1 is not prime. Res64: CC2CCE00B47B7534 Time : 49194.0 sec. user=Flatlander [2011-12-10 23:11:49] 327*2^1612324-1 is not prime. Res64: 8FD6EE61267C2F10 Time : 49194.0 sec. user=Flatlander [2011-12-10 23:11:49] 333*2^1612328-1 is not prime. Res64: C0C549D1C309631C Time : 49193.0 sec. user=Flatlander [2011-12-10 23:11:49] 327*2^1612329-1 is not prime. Res64: 2D44AB9266F3604C Time : 49193.0 sec. user=Flatlander [2011-12-10 23:11:49] 333*2^1612331-1 is not prime. Res64: 35D71878310F5D1D Time : 49193.0 sec. user=Flatlander [2011-12-10 23:11:49] 315*2^1612335-1 is not prime. Res64: 1666B919F7A1B4E7 Time : 49193.0 sec. user=Flatlander [2011-12-10 23:11:49] 315*2^1612341-1 is not prime. Res64: 7C5C44D6005540EB Time : 49192.0 sec. user=Flatlander [2011-12-10 23:11:50] 321*2^1612345-1 is not prime. Res64: BCA5D406B07B3240 Time : 49193.0 sec. user=Flatlander [2011-12-10 23:11:50] 327*2^1612345-1 is not prime. Res64: C8F3507967612BC7 Time : 49193.0 sec. user=Flatlander [2011-12-10 23:11:50] 327*2^1612356-1 is not prime. Res64: 6BCD2ED653741533 Time : 49192.0 sec. user=Flatlander [2011-12-10 23:11:50] 315*2^1612360-1 is not prime. Res64: 4C4E33BFA443EF29 Time : 49192.0 sec. user=Flatlander [2011-12-10 23:11:50] 327*2^1612361-1 is not prime. Res64: 45B8795A02AD157B Time : 49192.0 sec. user=Flatlander [2011-12-10 23:11:50] 327*2^1612362-1 is not prime. Res64: AE806EEE7A7A177E Time : 49192.0 sec. user=Flatlander [2011-12-10 23:11:50] 321*2^1612366-1 is not prime. Res64: B5F8E83B3844A1C1 Time : 49191.0 sec. user=Flatlander [2011-12-10 23:11:50] 315*2^1612384-1 is not prime. Res64: 90BBB1C03B7E0A5F Time : 49191.0 sec. user=Flatlander [2011-12-10 23:11:51] 333*2^1612388-1 is not prime. Res64: 0FCF5093D12A22E1 Time : 49192.0 sec. user=Flatlander [2011-12-10 23:11:51] 345*2^1612390-1 is not prime. Res64: 95CDB7EE9A2AEA38 Time : 49192.0 sec. user=Flatlander [2011-12-10 23:11:51] 315*2^1612411-1 is not prime. Res64: 74F76739F9D7AB4B Time : 49191.0 sec. user=Flatlander [2011-12-10 23:11:58] 333*2^1612247-1 is not prime. Res64: 77299B7DB9B59650 Time : 49208.0 sec. user=Flatlander [2011-12-10 23:11:58] 327*2^1612248-1 is not prime. Res64: 42CCC50A8AC0669E Time : 49208.0 sec. user=Flatlander [2011-12-10 23:11:58] 321*2^1612253-1 is not prime. Res64: E25E472E1E10B844 Time : 49207.0 sec. user=Flatlander [2011-12-10 23:11:58] 321*2^1612254-1 is not prime. Res64: A0D9B59F467EDA10 Time : 49207.0 sec. user=Flatlander [2011-12-10 23:11:59] 321*2^1612258-1 is not prime. Res64: 5E0BD0F8B209FE25 Time : 49208.0 sec. user=Flatlander [2011-12-10 23:11:59] 321*2^1612265-1 is not prime. Res64: 19050257CCFFB4DF Time : 49208.0 sec. user=Flatlander [2011-12-10 23:11:59] 333*2^1612268-1 is not prime. Res64: 784AF72D35A2CF0F Time : 49207.0 sec. user=Flatlander [2011-12-10 23:11:59] 321*2^1612274-1 is not prime. Res64: B00C510FAC7C20E2 Time : 49207.0 sec. user=Flatlander [2011-12-10 23:11:59] 315*2^1612275-1 is not prime. Res64: E404D15DCC4527FE Time : 49207.0 sec. user=Flatlander [2011-12-10 23:11:59] 315*2^1612278-1 is not prime. Res64: 78A7D49E2A79BFC7 Time : 49206.0 sec. user=Flatlander [2011-12-10 23:11:59] 345*2^1612281-1 is not prime. Res64: C01C9D4998749072 Time : 49206.0 sec. user=Flatlander [2011-12-10 23:12:00] 315*2^1612286-1 is not prime. Res64: 1DEEDD57B9CF6CCC Time : 49207.0 sec. user=Flatlander [2011-12-10 23:12:00] 339*2^1612299-1 is not prime. Res64: 21B45354A1534EA4 Time : 49207.0 sec. user=Flatlander [2011-12-10 23:12:00] 315*2^1612300-1 is not prime. Res64: DCE27CA8FFC34450 Time : 49206.0 sec. user=Flatlander [2011-12-10 23:12:00] 327*2^1612305-1 is not prime. Res64: 729CBF20D3BD16A3 Time : 49206.0 sec. user=Flatlander [2011-12-10 23:12:00] 315*2^1612306-1 is not prime. Res64: BED3CFA4FBD21DAB Time : 49206.0 sec. user=Flatlander [2011-12-10 23:12:00] 321*2^1612311-1 is not prime. Res64: F28564D2DD504991 Time : 49206.0 sec. user=Flatlander [2011-12-10 23:12:00] 315*2^1612315-1 is not prime. Res64: 3D0741ED73B6A516 Time : 49205.0 sec. user=Flatlander [2011-12-10 23:12:01] 345*2^1612320-1 is not prime. Res64: B148DE49260055B7 Time : 49206.0 sec. user=Flatlander [2011-12-10 23:12:01] 333*2^1612323-1 is not prime. Res64: A4CD4EC033D1FAC1 Time : 49206.0 sec. user=kar_bon [2011-12-10 23:12:58] 345*2^1613811-1 is not prime. Res64: 23E2E231A63D265A Time : 2949.0 sec. user=ototero [2011-12-10 23:17:35] 345*2^1613157-1 is not prime. Res64: 8738A6F4CAE547F9 Time : 26048.0 sec. user=ototero [2011-12-10 23:17:37] 327*2^1613160-1 is not prime. Res64: DDA90FC6A8D23275 Time : 26050.0 sec. user=ototero [2011-12-10 23:17:37] 321*2^1613165-1 is not prime. Res64: BE3A338F571D11FF Time : 26050.0 sec. user=ototero [2011-12-10 23:17:37] 333*2^1613168-1 is not prime. Res64: C7FAD6CAC35DF100 Time : 26049.0 sec. user=ototero [2011-12-10 23:17:37] 327*2^1613169-1 is not prime. Res64: 08B006341B1BCCAC Time : 26049.0 sec. user=kar_bon [2011-12-10 23:52:16] 315*2^1613965-1 is not prime. Res64: AA95D55A3B42B8C1 Time : 2954.0 sec. user=kar_bon [2011-12-10 23:57:47] 315*2^1613967-1 is not prime. Res64: 3B3320581E6CC31A Time : 2958.0 sec.