user=ototero [2012-08-14 00:01:05] 321*2^1876175-1 is not prime. Res64: 5337036AEC4BF596 Time : 52534.0 sec. user=ototero [2012-08-14 00:01:05] 339*2^1876175-1 is not prime. Res64: 7773E9C5E64093EA Time : 52533.0 sec. user=ototero [2012-08-14 00:01:06] 339*2^1876179-1 is not prime. Res64: 83DEA43CBD07ACF1 Time : 52534.0 sec. user=ototero [2012-08-14 00:01:06] 339*2^1876187-1 is not prime. Res64: 8932568708808034 Time : 52534.0 sec. user=ototero [2012-08-14 00:01:06] 327*2^1876189-1 is not prime. Res64: 3D130C7535697085 Time : 52533.0 sec. user=ototero [2012-08-14 00:01:06] 321*2^1876190-1 is not prime. Res64: D7040C8791799106 Time : 52533.0 sec. user=ototero [2012-08-14 00:01:06] 339*2^1876191-1 is not prime. Res64: 70038D103B5DFD31 Time : 52533.0 sec. user=ototero [2012-08-14 00:01:06] 327*2^1876196-1 is not prime. Res64: 1D730588454045C7 Time : 52532.0 sec. user=ototero [2012-08-14 00:01:07] 345*2^1876197-1 is not prime. Res64: 9DA12243DFB086AB Time : 52533.0 sec. user=ototero [2012-08-14 00:01:07] 321*2^1876198-1 is not prime. Res64: 8DFC3C0180072EA5 Time : 52533.0 sec. user=kar_bon [2012-08-14 00:41:14] 339*2^1876561-1 is not prime. Res64: E2E62633DC649DEF Time : 3732.0 sec. user=ototero [2012-08-14 02:20:47] 333*2^1876479-1 is not prime. Res64: 24D54E969C2B4940 Time : 33298.0 sec. user=ototero [2012-08-14 02:20:47] 339*2^1876481-1 is not prime. Res64: 0E4E0E4B0E68F3F5 Time : 33298.0 sec. user=ototero [2012-08-14 02:20:47] 321*2^1876487-1 is not prime. Res64: 848069371F1A5526 Time : 33297.0 sec. user=ototero [2012-08-14 02:20:47] 327*2^1876488-1 is not prime. Res64: 98A3799CE4D3A68E Time : 33297.0 sec. user=ototero [2012-08-14 02:20:47] 339*2^1876491-1 is not prime. Res64: 64037B8F8F9EF3CB Time : 33296.0 sec. user=ototero [2012-08-14 03:10:17] 315*2^1876551-1 is not prime. Res64: 52B8CD8E56A49E00 Time : 13423.0 sec. user=ototero [2012-08-14 03:10:17] 333*2^1876554-1 is not prime. Res64: 4A57EFD98A7C30D8 Time : 13423.0 sec. user=ototero [2012-08-14 04:14:02] 315*2^1876531-1 is not prime. Res64: 6F446DB59A0CCA35 Time : 20101.0 sec. user=ototero [2012-08-14 04:14:02] 315*2^1876534-1 is not prime. Res64: 27504865B1373141 Time : 20100.0 sec. user=ototero [2012-08-14 04:14:02] 327*2^1876540-1 is not prime. Res64: 9636A8C61120EF0C Time : 20100.0 sec. user=ototero [2012-08-14 06:55:31] 333*2^1876635-1 is not prime. Res64: 35CB1F2FCCE18DDA Time : 13513.0 sec. user=ototero [2012-08-14 06:55:31] 321*2^1876657-1 is not prime. Res64: F22999C2BCD01BA4 Time : 13513.0 sec. user=kar_bon [2012-08-14 07:30:31] 333*2^1876571-1 is not prime. Res64: B8034F74BEEA3B56 Time : 27802.0 sec. user=kar_bon [2012-08-14 08:24:15] 345*2^1876617-1 is not prime. Res64: CDB56D460998F007 Time : 27781.0 sec. user=kar_bon [2012-08-14 08:32:31] 333*2^1876671-1 is not prime. Res64: BC2CA5D178419543 Time : 3720.0 sec. user=kar_bon [2012-08-14 09:26:24] 327*2^1876673-1 is not prime. Res64: E8C25911E10F4B1E Time : 3729.0 sec. user=kar_bon [2012-08-14 09:34:41] 345*2^1876674-1 is not prime. Res64: 1D5E451A0CEB26D8 Time : 3730.0 sec. user=ototero [2012-08-14 09:55:14] 321*2^1876658-1 is not prime. Res64: C131C11ED7318124 Time : 20471.0 sec. user=ototero [2012-08-14 09:55:14] 327*2^1876658-1 is not prime. Res64: 0474245FE43739C7 Time : 20471.0 sec. user=ototero [2012-08-14 09:55:14] 345*2^1876665-1 is not prime. Res64: E24FA3FFD66941F0 Time : 20471.0 sec. user=ototero [2012-08-14 10:03:32] 333*2^1876455-1 is not prime. Res64: 8CED13B75D428048 Time : 67320.0 sec. user=ototero [2012-08-14 10:03:32] 321*2^1876457-1 is not prime. Res64: 777AC273754D84C0 Time : 67320.0 sec. user=ototero [2012-08-14 10:03:32] 327*2^1876458-1 is not prime. Res64: CBBE7D32F5D7A4C7 Time : 67320.0 sec. user=ototero [2012-08-14 10:03:32] 339*2^1876461-1 is not prime. Res64: 4482C0C7DC18F825 Time : 67319.0 sec. user=ototero [2012-08-14 10:03:32] 339*2^1876463-1 is not prime. Res64: 5ACD1FBFDE0EFB50 Time : 67319.0 sec. user=ototero [2012-08-14 10:03:33] 327*2^1876464-1 is not prime. Res64: 65E59693B5946D2B Time : 67320.0 sec. user=ototero [2012-08-14 10:03:33] 315*2^1876467-1 is not prime. Res64: 8FBC88C792098BA7 Time : 67319.0 sec. user=ototero [2012-08-14 10:03:33] 315*2^1876468-1 is not prime. Res64: 46F89746753DA7AF Time : 67319.0 sec. user=ototero [2012-08-14 10:03:33] 321*2^1876470-1 is not prime. Res64: 123517F8FE33D133 Time : 67318.0 sec. user=ototero [2012-08-14 10:03:33] 315*2^1876471-1 is not prime. Res64: 8A30ABECD2CAE927 Time : 67318.0 sec. user=kar_bon [2012-08-14 10:28:22] 315*2^1876675-1 is not prime. Res64: 97931733327104E2 Time : 3718.0 sec. user=kar_bon [2012-08-14 10:36:40] 315*2^1876687-1 is not prime. Res64: 5265A5516A66EA3F Time : 3718.0 sec. user=ototero [2012-08-14 10:43:40] 345*2^1876666-1 is not prime. Res64: B18941CEDA2E5C11 Time : 13688.0 sec. user=ototero [2012-08-14 10:43:40] 315*2^1876670-1 is not prime. Res64: B4BD72AD28706D07 Time : 13688.0 sec. user=ototero [2012-08-14 11:48:11] 315*2^1876624-1 is not prime. Res64: 73EFB9635A957F95 Time : 34043.0 sec. user=ototero [2012-08-14 11:48:11] 321*2^1876626-1 is not prime. Res64: FAECAB95A034C9A2 Time : 34043.0 sec. user=ototero [2012-08-14 11:48:11] 327*2^1876626-1 is not prime. Res64: 00A8705544B97A0B Time : 34043.0 sec. user=ototero [2012-08-14 11:48:11] 345*2^1876626-1 is not prime. Res64: 56D2ADFCCD99739C Time : 34042.0 sec. user=ototero [2012-08-14 11:48:12] 345*2^1876632-1 is not prime. Res64: D1025151BCFD4D6D Time : 34043.0 sec. user=ototero [2012-08-14 13:55:04] 333*2^1876580-1 is not prime. Res64: 1EBACA1C1F16F1B9 Time : 50037.0 sec. user=ototero [2012-08-14 13:55:04] 321*2^1876581-1 is not prime. Res64: FB3373716059B6E0 Time : 50037.0 sec. user=ototero [2012-08-14 13:55:04] 339*2^1876583-1 is not prime. Res64: 2238FD667F096F58 Time : 50036.0 sec. user=ototero [2012-08-14 13:55:05] 345*2^1876584-1 is not prime. Res64: 68C1560F2975A3B6 Time : 50037.0 sec. user=ototero [2012-08-14 13:55:05] 345*2^1876590-1 is not prime. Res64: 6393098B0C4C1C37 Time : 50037.0 sec. user=ototero [2012-08-14 13:55:05] 315*2^1876602-1 is not prime. Res64: D58AC093B05FCFC8 Time : 50036.0 sec. user=ototero [2012-08-14 13:55:05] 327*2^1876602-1 is not prime. Res64: F5E86FD131262611 Time : 50036.0 sec. user=ototero [2012-08-14 13:55:05] 321*2^1876607-1 is not prime. Res64: 4478F7D0ECF1BA36 Time : 50036.0 sec. user=ototero [2012-08-14 13:55:05] 339*2^1876609-1 is not prime. Res64: 42017D582E3E9CB5 Time : 50035.0 sec. user=ototero [2012-08-14 13:55:06] 321*2^1876614-1 is not prime. Res64: 7953485F039FAF06 Time : 50036.0 sec. user=ototero [2012-08-14 14:31:57] 333*2^1876740-1 is not prime. Res64: C169C20E152544E7 Time : 13696.0 sec. user=ototero [2012-08-14 14:31:58] 345*2^1876740-1 is not prime. Res64: 124EF7257BC71F8F Time : 13697.0 sec. user=ototero [2012-08-14 15:37:24] 339*2^1876688-1 is not prime. Res64: BEDA9CC23D33CE61 Time : 20529.0 sec. user=ototero [2012-08-14 15:37:24] 315*2^1876690-1 is not prime. Res64: C3D9B860226DD7EA Time : 20529.0 sec. user=ototero [2012-08-14 15:37:24] 315*2^1876692-1 is not prime. Res64: B1DBCDA246CF6C7F Time : 20529.0 sec. user=kar_bon [2012-08-14 16:06:44] 321*2^1876222-1 is not prime. Res64: 02A9E1D0E7D34B79 Time : 92008.0 sec. user=kar_bon [2012-08-14 16:06:44] 345*2^1876222-1 is not prime. Res64: 838D7B642027838C Time : 92007.0 sec. user=kar_bon [2012-08-14 16:06:44] 327*2^1876225-1 is not prime. Res64: ED2696E742168C1E Time : 92007.0 sec. user=kar_bon [2012-08-14 16:06:44] 315*2^1876231-1 is not prime. Res64: 01B4EEA8B5E820F1 Time : 92007.0 sec. user=kar_bon [2012-08-14 16:06:45] 327*2^1876233-1 is not prime. Res64: 8C37039AF2B5B538 Time : 92007.0 sec. user=kar_bon [2012-08-14 16:06:45] 345*2^1876236-1 is not prime. Res64: 250E8F8CFEED1C2B Time : 92007.0 sec. user=kar_bon [2012-08-14 16:06:45] 315*2^1876238-1 is not prime. Res64: 9D67CBF295A89D7A Time : 92006.0 sec. user=kar_bon [2012-08-14 16:06:45] 345*2^1876239-1 is not prime. Res64: 841C478DBC922F52 Time : 92006.0 sec. user=kar_bon [2012-08-14 16:06:46] 333*2^1876251-1 is not prime. Res64: 4BA2EB28F99DF1EA Time : 92007.0 sec. user=kar_bon [2012-08-14 16:06:47] 339*2^1876432-1 is not prime. Res64: 86BFADF94FB9931A Time : 91965.0 sec. user=kar_bon [2012-08-14 16:06:48] 315*2^1876435-1 is not prime. Res64: A3A2BB3CAE7FE730 Time : 91965.0 sec. user=kar_bon [2012-08-14 16:06:48] 315*2^1876439-1 is not prime. Res64: 642518D23A878775 Time : 91965.0 sec. user=kar_bon [2012-08-14 16:06:48] 327*2^1876440-1 is not prime. Res64: 2A04AD7A015B3903 Time : 91965.0 sec. user=kar_bon [2012-08-14 16:06:48] 321*2^1876441-1 is not prime. Res64: E5159B5E6BC9EDB3 Time : 91964.0 sec. user=kar_bon [2012-08-14 16:06:49] 327*2^1876441-1 is not prime. Res64: 9DD06A74191DE865 Time : 91965.0 sec. user=kar_bon [2012-08-14 16:06:49] 315*2^1876446-1 is not prime. Res64: 1651715DC946FE83 Time : 91964.0 sec. user=kar_bon [2012-08-14 16:06:49] 333*2^1876448-1 is not prime. Res64: F04B4A69BD302081 Time : 91964.0 sec. user=kar_bon [2012-08-14 16:06:49] 333*2^1876454-1 is not prime. Res64: F961BA9EFC3C6CA0 Time : 91964.0 sec. user=kar_bon [2012-08-14 16:06:54] 339*2^1876255-1 is not prime. Res64: 4971E8A2C4082AD8 Time : 92008.0 sec. user=kar_bon [2012-08-14 16:06:54] 333*2^1876256-1 is not prime. Res64: 6162B0D002EA1A52 Time : 92008.0 sec. user=kar_bon [2012-08-14 16:06:54] 315*2^1876258-1 is not prime. Res64: 64D006A1A83B0E65 Time : 92008.0 sec. user=kar_bon [2012-08-14 16:06:55] 315*2^1876259-1 is not prime. Res64: FC43172315962C86 Time : 92008.0 sec. user=kar_bon [2012-08-14 16:06:55] 327*2^1876260-1 is not prime. Res64: AC07B34FB024F13A Time : 92008.0 sec. user=kar_bon [2012-08-14 16:06:55] 345*2^1876260-1 is not prime. Res64: 1FC4ACB0F3A24054 Time : 92007.0 sec. user=kar_bon [2012-08-14 16:06:56] 315*2^1876267-1 is not prime. Res64: 7579CFFEF7492915 Time : 92008.0 sec. user=kar_bon [2012-08-14 16:06:56] 345*2^1876269-1 is not prime. Res64: 0C8D1398F1C3E3F1 Time : 92008.0 sec. user=kar_bon [2012-08-14 16:06:56] 333*2^1876271-1 is not prime. Res64: 395961C3CD452AD4 Time : 92007.0 sec. user=kar_bon [2012-08-14 16:06:59] 345*2^1876291-1 is not prime. Res64: CB1EB098C1A2596C Time : 92009.0 sec. user=kar_bon [2012-08-14 16:06:59] 333*2^1876299-1 is not prime. Res64: 1FB2262D6FA3EC58 Time : 92008.0 sec. user=kar_bon [2012-08-14 16:06:59] 345*2^1876312-1 is not prime. Res64: C327CA83E1E7FA5E Time : 92008.0 sec. user=kar_bon [2012-08-14 16:06:59] 333*2^1876314-1 is not prime. Res64: 3302F59C76E22303 Time : 92008.0 sec. user=kar_bon [2012-08-14 16:07:00] 339*2^1876315-1 is not prime. Res64: 3B0FBB8197156EDF Time : 92008.0 sec. user=kar_bon [2012-08-14 16:07:00] 321*2^1876317-1 is not prime. Res64: C798220E41471E17 Time : 92008.0 sec. user=kar_bon [2012-08-14 16:07:01] 327*2^1876321-1 is not prime. Res64: 1B7685F61DB4BF4C Time : 92008.0 sec. user=kar_bon [2012-08-14 16:07:01] 315*2^1876327-1 is not prime. Res64: 16AC108FF7112E37 Time : 92008.0 sec. user=kar_bon [2012-08-14 16:07:01] 345*2^1876327-1 is not prime. Res64: CC79519FBA17B5CC Time : 92008.0 sec. user=kar_bon [2012-08-14 16:07:02] 315*2^1876334-1 is not prime. Res64: 780619123DD8F817 Time : 92009.0 sec. user=kar_bon [2012-08-14 16:07:02] 321*2^1876337-1 is not prime. Res64: 4327A5407FBA386F Time : 92008.0 sec. user=kar_bon [2012-08-14 16:07:03] 321*2^1876345-1 is not prime. Res64: 8072A0D61283CFDD Time : 92009.0 sec. user=kar_bon [2012-08-14 16:07:03] 327*2^1876345-1 is not prime. Res64: 40BCCFC3E54D898D Time : 92008.0 sec. user=kar_bon [2012-08-14 16:07:03] 315*2^1876347-1 is not prime. Res64: EE53F241AD2C545F Time : 92008.0 sec. user=kar_bon [2012-08-14 16:07:04] 315*2^1876349-1 is not prime. Res64: 147E80C0D52C0B2D Time : 92009.0 sec. user=kar_bon [2012-08-14 16:07:04] 333*2^1876350-1 is not prime. Res64: 6F84005D0D36A172 Time : 92008.0 sec. user=kar_bon [2012-08-14 16:07:04] 345*2^1876351-1 is not prime. Res64: 8D792778B1D86BA5 Time : 92008.0 sec. user=kar_bon [2012-08-14 16:07:04] 339*2^1876355-1 is not prime. Res64: 853D1F67AB0C1F7E Time : 92007.0 sec. user=kar_bon [2012-08-14 16:07:06] 327*2^1876362-1 is not prime. Res64: 1F5D1FCA835DAFB2 Time : 92007.0 sec. user=kar_bon [2012-08-14 16:07:06] 315*2^1876370-1 is not prime. Res64: BBB9341297CD0431 Time : 92006.0 sec. user=kar_bon [2012-08-14 16:07:06] 315*2^1876371-1 is not prime. Res64: BA54F577E4CB7F3C Time : 92006.0 sec. user=kar_bon [2012-08-14 16:07:07] 315*2^1876374-1 is not prime. Res64: 305E37F6A18C1E60 Time : 92007.0 sec. user=kar_bon [2012-08-14 16:07:07] 333*2^1876374-1 is not prime. Res64: 181FEBEA72EEF33D Time : 92006.0 sec. user=kar_bon [2012-08-14 16:07:07] 315*2^1876378-1 is not prime. Res64: CD3E1B3042D661E0 Time : 92006.0 sec. user=kar_bon [2012-08-14 16:07:07] 333*2^1876383-1 is not prime. Res64: 70F3A9F1299EA742 Time : 92005.0 sec. user=kar_bon [2012-08-14 16:07:08] 327*2^1876384-1 is not prime. Res64: 3A9122496A74E52B Time : 92006.0 sec. user=kar_bon [2012-08-14 16:07:08] 327*2^1876394-1 is not prime. Res64: 6782376DF0D48718 Time : 92006.0 sec. user=kar_bon [2012-08-14 16:07:09] 333*2^1876395-1 is not prime. Res64: 4D494CE230A06E7E Time : 92004.0 sec. user=kar_bon [2012-08-14 16:07:10] 327*2^1876396-1 is not prime. Res64: 0E1D41C44AB97AC7 Time : 92005.0 sec. user=kar_bon [2012-08-14 16:07:10] 327*2^1876400-1 is not prime. Res64: F907B0B6C0D05351 Time : 92005.0 sec. user=kar_bon [2012-08-14 16:07:10] 321*2^1876401-1 is not prime. Res64: 1FDFEDD39B89A8E6 Time : 92004.0 sec. user=kar_bon [2012-08-14 16:07:10] 327*2^1876404-1 is not prime. Res64: 60C4600E62A3C646 Time : 92004.0 sec. user=kar_bon [2012-08-14 16:07:11] 315*2^1876405-1 is not prime. Res64: C70588554EE5BB78 Time : 92004.0 sec. user=kar_bon [2012-08-14 16:07:11] 315*2^1876407-1 is not prime. Res64: 5C4DC035D88A5EE4 Time : 92004.0 sec. user=kar_bon [2012-08-14 16:07:11] 315*2^1876411-1 is not prime. Res64: C23CE8E066020CA3 Time : 92004.0 sec. user=kar_bon [2012-08-14 16:07:11] 339*2^1876411-1 is not prime. Res64: 5A7D5E0F6CAD8C26 Time : 92003.0 sec. user=kar_bon [2012-08-14 16:07:13] 315*2^1876414-1 is not prime. Res64: F1519F7D8397DEC4 Time : 92004.0 sec. user=kar_bon [2012-08-14 16:07:14] 339*2^1876415-1 is not prime. Res64: 31F7E5D5045E09EB Time : 92005.0 sec. user=kar_bon [2012-08-14 16:07:14] 315*2^1876418-1 is not prime. Res64: 158A094D015D8B04 Time : 92005.0 sec. user=kar_bon [2012-08-14 16:07:14] 327*2^1876418-1 is not prime. Res64: 5EA6114A157BB144 Time : 92004.0 sec. user=kar_bon [2012-08-14 16:07:14] 315*2^1876419-1 is not prime. Res64: ACB23A06D613A8AC Time : 92004.0 sec. user=kar_bon [2012-08-14 16:07:15] 327*2^1876421-1 is not prime. Res64: 0D592DD9A15F84EE Time : 92004.0 sec. user=kar_bon [2012-08-14 16:07:15] 345*2^1876426-1 is not prime. Res64: E3C3690FEEFCA585 Time : 92004.0 sec. user=kar_bon [2012-08-14 16:07:15] 315*2^1876427-1 is not prime. Res64: DBE9D5193BF75BED Time : 92004.0 sec. user=kar_bon [2012-08-14 16:07:15] 315*2^1876430-1 is not prime. Res64: A2E916BC79CCC3B1 Time : 92003.0 sec. user=ototero [2012-08-14 18:20:03] 321*2^1876798-1 is not prime. Res64: DA61D4B1CBCEED32 Time : 13685.0 sec. user=ototero [2012-08-14 18:20:03] 345*2^1876804-1 is not prime. Res64: FEC8DFCF9A6B2C67 Time : 13685.0 sec. user=kar_bon [2012-08-14 18:43:40] 321*2^1876735-1 is not prime. Res64: 4230275068233B10 Time : 29718.0 sec. user=kar_bon [2012-08-14 18:51:47] 339*2^1876736-1 is not prime. Res64: 0C1458FC90AA39D0 Time : 29707.0 sec. user=kar_bon [2012-08-14 19:45:57] 339*2^1877057-1 is not prime. Res64: 330CF1934881548B Time : 3737.0 sec. user=kar_bon [2012-08-14 19:54:02] 327*2^1877058-1 is not prime. Res64: 011DDBF359E4D714 Time : 3735.0 sec. user=kar_bon [2012-08-14 20:48:08] 339*2^1877061-1 is not prime. Res64: DAF5216A49B5FCCA Time : 3731.0 sec. user=kar_bon [2012-08-14 20:56:17] 327*2^1877065-1 is not prime. Res64: C898BCAC860B33AC Time : 3734.0 sec. user=ototero [2012-08-14 21:04:07] 321*2^1876821-1 is not prime. Res64: BE2618FB680B566A Time : 19603.0 sec. user=ototero [2012-08-14 21:04:08] 327*2^1876826-1 is not prime. Res64: 2329DC2E16C407E5 Time : 19603.0 sec. user=ototero [2012-08-14 21:04:08] 333*2^1876826-1 is not prime. Res64: 5A377580D31A886F Time : 19603.0 sec. user=ototero [2012-08-14 21:04:12] 345*2^1876744-1 is not prime. Res64: 19F74CA1FA22905F Time : 33360.0 sec. user=ototero [2012-08-14 21:04:13] 339*2^1876745-1 is not prime. Res64: 86A280F757F5B71F Time : 33361.0 sec. user=ototero [2012-08-14 21:04:13] 315*2^1876749-1 is not prime. Res64: A355DC0DF0F2DCA5 Time : 33360.0 sec. user=ototero [2012-08-14 21:04:13] 327*2^1876752-1 is not prime. Res64: 46778FA7AF625A79 Time : 33360.0 sec. user=ototero [2012-08-14 21:04:13] 327*2^1876756-1 is not prime. Res64: 0E4C832716BB0C92 Time : 33360.0 sec. user=kar_bon [2012-08-14 21:50:30] 315*2^1877067-1 is not prime. Res64: C61571B3D0BBACD0 Time : 3742.0 sec. user=ototero [2012-08-14 21:53:13] 315*2^1877050-1 is not prime. Res64: AC0C4B38FFCBCE7F Time : 12790.0 sec. user=ototero [2012-08-14 21:53:13] 333*2^1877054-1 is not prime. Res64: 17F2A788FE72E411 Time : 12789.0 sec. user=kar_bon [2012-08-14 21:58:30] 345*2^1877070-1 is not prime. Res64: B5A6DF203DA8DF90 Time : 3733.0 sec. user=kar_bon [2012-08-14 22:52:50] 339*2^1877103-1 is not prime. Res64: D6F52410F051F728 Time : 3740.0 sec. user=kar_bon [2012-08-14 23:00:44] 315*2^1877116-1 is not prime. Res64: 3A7FEC22F359EF3D Time : 3733.0 sec. user=kar_bon [2012-08-14 23:55:03] 345*2^1877116-1 is not prime. Res64: F0348DFF28E34F5D Time : 3733.0 sec.