user=mdettweiler [2010-12-03 00:11:01] 36039*2^481649-1 is not prime. Res64: C9D513363565D1F5 Time : 0.0 sec. user=mdettweiler [2010-12-03 00:20:31] 42489*2^481649-1 is not prime. Res64: 4AD5464A83354B07 Time : 0.0 sec. user=mdettweiler [2010-12-03 00:27:05] 43809*2^481649-1 is not prime. Res64: F713CAC0C9660AE8 Time : 0.0 sec. user=mdettweiler [2010-12-03 00:35:51] 44061*2^481649-1 is not prime. Res64: 392E10F7DA5AD075 Time : 0.0 sec. user=mdettweiler [2010-12-03 00:43:28] 44775*2^481649-1 is not prime. Res64: 9EF2FB916DF1340D Time : 0.0 sec. user=mdettweiler [2010-12-03 00:52:35] 47109*2^481649-1 is not prime. Res64: CFD7C0515BC14748 Time : 0.0 sec. user=mdettweiler [2010-12-03 01:01:05] 49041*2^481649-1 is not prime. Res64: 4B24D6E90692017D Time : 0.0 sec. user=mdettweiler [2010-12-03 01:10:06] 51285*2^481649-1 is not prime. Res64: 2859C62074C378A0 Time : 0.0 sec. user=mdettweiler [2010-12-03 01:16:35] 53109*2^481649-1 is not prime. Res64: 56C68F11BE235255 Time : 0.0 sec. user=mdettweiler [2010-12-03 01:23:06] 53889*2^481649-1 is not prime. Res64: 14C4D56ACC97C1CC Time : 0.0 sec. user=mdettweiler [2010-12-03 01:29:34] 54165*2^481649-1 is not prime. Res64: F525E9817C4E6D4C Time : 0.0 sec. user=mdettweiler [2010-12-03 01:38:02] 57075*2^481649-1 is not prime. Res64: 6B455F0C1F96F616 Time : 0.0 sec. user=mdettweiler [2010-12-03 01:47:18] 62121*2^481649-1 is not prime. Res64: 97140146C5133C71 Time : 0.0 sec. user=mdettweiler [2010-12-03 01:54:42] 62829*2^481649-1 is not prime. Res64: AFAD34118000E40F Time : 0.0 sec. user=mdettweiler [2010-12-03 02:01:16] 64665*2^481649-1 is not prime. Res64: FC5508670F876008 Time : 0.0 sec. user=mdettweiler [2010-12-03 02:07:41] 66825*2^481649-1 is not prime. Res64: F540D39C4F9967D9 Time : 0.0 sec. user=mdettweiler [2010-12-03 02:14:02] 67269*2^481649-1 is not prime. Res64: 5D22BC205548501D Time : 0.0 sec. user=mdettweiler [2010-12-03 02:20:40] 68529*2^481649-1 is not prime. Res64: 88FAF79819B07563 Time : 0.0 sec. user=mdettweiler [2010-12-03 02:27:01] 70119*2^481649-1 is not prime. Res64: E1B6A0FFAD499DF0 Time : 0.0 sec. user=mdettweiler [2010-12-03 02:33:35] 70689*2^481649-1 is not prime. Res64: E74BAD6DCB6872E7 Time : 0.0 sec. user=mdettweiler [2010-12-03 02:40:08] 72705*2^481649-1 is not prime. Res64: D61237B95AB5B481 Time : 0.0 sec. user=mdettweiler [2010-12-03 02:46:58] 81771*2^481649-1 is not prime. Res64: EB77A1DC3496C29E Time : 0.0 sec. user=mdettweiler [2010-12-03 02:53:21] 86241*2^481649-1 is not prime. Res64: 045E23B1966F341E Time : 0.0 sec. user=mdettweiler [2010-12-03 02:59:42] 91389*2^481649-1 is not prime. Res64: 29CF645B69907DF1 Time : 0.0 sec. user=mdettweiler [2010-12-03 03:06:13] 92775*2^481649-1 is not prime. Res64: BA866E44A99ACB0E Time : 0.0 sec. user=mdettweiler [2010-12-03 03:12:36] 97101*2^481649-1 is not prime. Res64: C85600B691B1C88E Time : 0.0 sec. user=mdettweiler [2010-12-03 03:19:06] 97479*2^481649-1 is not prime. Res64: AEB07E2C93B5AF15 Time : 0.0 sec. user=mdettweiler [2010-12-03 03:25:36] 8673*2^481650-1 is not prime. Res64: 5BA04C66D118FA8D Time : 0.0 sec. user=mdettweiler [2010-12-03 03:31:59] 11277*2^481650-1 is not prime. Res64: 57F42EA8B6BED842 Time : 0.0 sec. user=mdettweiler [2010-12-03 03:38:30] 17433*2^481650-1 is not prime. Res64: C13066910DF701AB Time : 0.0 sec. user=mdettweiler [2010-12-03 03:44:51] 19443*2^481650-1 is not prime. Res64: BC7B50A8FCB2F830 Time : 0.0 sec. user=mdettweiler [2010-12-03 03:51:23] 21417*2^481650-1 is not prime. Res64: 83BED3BD4F1D4D79 Time : 0.0 sec. user=mdettweiler [2010-12-03 03:57:43] 28905*2^481650-1 is not prime. Res64: 8B28B65E1EDA2C11 Time : 0.0 sec. user=mdettweiler [2010-12-03 04:04:10] 35613*2^481650-1 is not prime. Res64: 5901B1595070945C Time : 0.0 sec. user=mdettweiler [2010-12-03 04:10:38] 41193*2^481650-1 is not prime. Res64: 29AD70C1A7F2D281 Time : 0.0 sec. user=mdettweiler [2010-12-03 04:17:14] 43743*2^481650-1 is not prime. Res64: 344FFC53875EC51A Time : 0.0 sec. user=mdettweiler [2010-12-03 04:23:43] 46833*2^481650-1 is not prime. Res64: 5DDEF112BC7DC2C9 Time : 0.0 sec. user=mdettweiler [2010-12-03 04:30:06] 46923*2^481650-1 is not prime. Res64: 1C0D3D4D2B49C544 Time : 0.0 sec. user=mdettweiler [2010-12-03 04:36:34] 48183*2^481650-1 is not prime. Res64: 0C52A3A140EC9BFA Time : 0.0 sec. user=mdettweiler [2010-12-03 04:43:03] 48393*2^481650-1 is not prime. Res64: FCAA9841DCE6555D Time : 0.0 sec. user=mdettweiler [2010-12-03 04:49:30] 48843*2^481650-1 is not prime. Res64: 2E458026E95C430C Time : 0.0 sec. user=mdettweiler [2010-12-03 04:55:57] 51867*2^481650-1 is not prime. Res64: 482065EA0F4430CA Time : 0.0 sec. user=mdettweiler [2010-12-03 05:02:20] 55137*2^481650-1 is not prime. Res64: CF3C397F285E95F3 Time : 0.0 sec. user=mdettweiler [2010-12-03 05:08:46] 61845*2^481650-1 is not prime. Res64: B400BF1FE17D9E11 Time : 0.0 sec. user=mdettweiler [2010-12-03 05:15:13] 69765*2^481650-1 is not prime. Res64: E5939A93602EFBE9 Time : 0.0 sec. user=mdettweiler [2010-12-03 05:21:35] 70887*2^481650-1 is not prime. Res64: E0ABEDBF416CAA78 Time : 0.0 sec. user=mdettweiler [2010-12-03 05:28:06] 74037*2^481650-1 is not prime. Res64: 47D313F471C76474 Time : 0.0 sec. user=mdettweiler [2010-12-03 05:34:35] 74883*2^481650-1 is not prime. Res64: 5C053BFF810204B0 Time : 0.0 sec. user=mdettweiler [2010-12-03 05:41:03] 79005*2^481650-1 is not prime. Res64: 96E4A183E0F6B643 Time : 0.0 sec. user=mdettweiler [2010-12-03 05:47:31] 80637*2^481650-1 is not prime. Res64: F38369062F5F41EE Time : 0.0 sec. user=mdettweiler [2010-12-03 05:53:59] 83697*2^481650-1 is not prime. Res64: 95707113EAF59880 Time : 0.0 sec. user=mdettweiler [2010-12-03 06:00:20] 83793*2^481650-1 is not prime. Res64: 98E6C17D5C30CAF5 Time : 0.0 sec. user=mdettweiler [2010-12-03 06:06:49] 84315*2^481650-1 is not prime. Res64: A2677389E36D6FBA Time : 0.0 sec. user=mdettweiler [2010-12-03 06:13:15] 89325*2^481650-1 is not prime. Res64: F396FC5BB45193C6 Time : 0.0 sec. user=mdettweiler [2010-12-03 06:19:36] 89817*2^481650-1 is not prime. Res64: 679399CB9CD41F77 Time : 0.0 sec. user=mdettweiler [2010-12-03 06:26:05] 90027*2^481650-1 is not prime. Res64: 4081EFC0F8DE01FB Time : 0.0 sec. user=mdettweiler [2010-12-03 06:32:25] 95763*2^481650-1 is not prime. Res64: 899265B5873336A9 Time : 0.0 sec. user=mdettweiler [2010-12-03 06:38:46] 97275*2^481650-1 is not prime. Res64: A7561E7D42BBF876 Time : 0.0 sec. user=mdettweiler [2010-12-03 06:45:15] 97377*2^481650-1 is not prime. Res64: BE83167BB93C2976 Time : 0.0 sec. user=mdettweiler [2010-12-03 06:49:33] 2301*2^481651-1 is not prime. Res64: 279E7AE88A607E14 Time : 0.0 sec. user=mdettweiler [2010-12-03 06:53:56] 2925*2^481651-1 is not prime. Res64: F493656E7D7445A2 Time : 0.0 sec. user=mdettweiler [2010-12-03 07:00:29] 3771*2^481651-1 is not prime. Res64: 3E5FC64BE5F07987 Time : 0.0 sec. user=mdettweiler [2010-12-03 07:06:59] 5655*2^481651-1 is not prime. Res64: 29D62B8FB767A0F5 Time : 0.0 sec. user=mdettweiler [2010-12-03 07:13:19] 11859*2^481651-1 is not prime. Res64: C3698206AC640B0D Time : 0.0 sec. user=mdettweiler [2010-12-03 07:19:49] 15885*2^481651-1 is not prime. Res64: B59BEAFCB535A932 Time : 0.0 sec. user=mdettweiler [2010-12-03 07:26:10] 18249*2^481651-1 is not prime. Res64: 854271A43A5F5887 Time : 0.0 sec. user=mdettweiler [2010-12-03 07:32:32] 19305*2^481651-1 is not prime. Res64: B3DBC0603799439C Time : 0.0 sec. user=mdettweiler [2010-12-03 07:38:54] 30129*2^481651-1 is not prime. Res64: E4655157D4B34FEB Time : 0.0 sec. user=mdettweiler [2010-12-03 07:45:22] 33591*2^481651-1 is not prime. Res64: E349E67CB1A3187C Time : 0.0 sec. user=mdettweiler [2010-12-03 07:51:43] 35721*2^481651-1 is not prime. Res64: F13EF45A9B95E5F1 Time : 0.0 sec. user=mdettweiler [2010-12-03 07:58:04] 37305*2^481651-1 is not prime. Res64: 76880ED5F1334CB7 Time : 0.0 sec. user=mdettweiler [2010-12-03 08:04:32] 49839*2^481651-1 is not prime. Res64: 25065706FC10055E Time : 0.0 sec. user=mdettweiler [2010-12-03 08:11:01] 54375*2^481651-1 is not prime. Res64: F1815BCE994433CF Time : 0.0 sec. user=mdettweiler [2010-12-03 08:17:27] 56499*2^481651-1 is not prime. Res64: FA529FBAFAD6B5E7 Time : 0.0 sec. user=mdettweiler [2010-12-03 08:23:50] 59619*2^481651-1 is not prime. Res64: 1506C513F210E23B Time : 0.0 sec. user=mdettweiler [2010-12-03 08:30:18] 62061*2^481651-1 is not prime. Res64: BEB3F838C32724CC Time : 0.0 sec. user=mdettweiler [2010-12-03 08:36:39] 62865*2^481651-1 is not prime. Res64: 58E125866CF95DBB Time : 0.0 sec. user=mdettweiler [2010-12-03 08:43:00] 74979*2^481651-1 is not prime. Res64: 80895DED020C448B Time : 0.0 sec. user=mdettweiler [2010-12-03 08:49:26] 83229*2^481651-1 is not prime. Res64: A173C63BE8AA048E Time : 0.0 sec. user=mdettweiler [2010-12-03 08:55:53] 92139*2^481651-1 is not prime. Res64: 304FD5C7F8F2CC9C Time : 0.0 sec. user=mdettweiler [2010-12-03 09:02:16] 94695*2^481651-1 is not prime. Res64: 77856DA4F0DE02E8 Time : 0.0 sec. user=mdettweiler [2010-12-03 09:08:37] 3927*2^481652-1 is not prime. Res64: EA20211D9E3D195C Time : 0.0 sec. user=mdettweiler [2010-12-03 09:14:58] 4593*2^481652-1 is not prime. Res64: 74B12F2B455421EE Time : 0.0 sec. user=mdettweiler [2010-12-03 09:21:27] 16197*2^481652-1 is not prime. Res64: F6449AF5CD9E1B3F Time : 0.0 sec. user=mdettweiler [2010-12-03 09:27:55] 16335*2^481652-1 is not prime. Res64: 2BCC410056F2FA32 Time : 0.0 sec. user=mdettweiler [2010-12-03 09:34:19] 21405*2^481652-1 is not prime. Res64: 30B9480223B70DE6 Time : 0.0 sec. user=mdettweiler [2010-12-03 09:40:39] 25563*2^481652-1 is not prime. Res64: 8DC64DB8916EC675 Time : 0.0 sec. user=mdettweiler [2010-12-03 09:47:07] 26103*2^481652-1 is not prime. Res64: 383A971E84BEC30A Time : 0.0 sec. user=mdettweiler [2010-12-03 09:53:29] 31935*2^481652-1 is not prime. Res64: F6B4717DF929AA85 Time : 0.0 sec. user=mdettweiler [2010-12-03 09:59:50] 35217*2^481652-1 is not prime. Res64: EA7EE24D091A5FC8 Time : 0.0 sec. user=mdettweiler [2010-12-03 10:06:18] 41427*2^481652-1 is not prime. Res64: 8E568821A300DC05 Time : 0.0 sec. user=mdettweiler [2010-12-03 10:12:47] 42795*2^481652-1 is not prime. Res64: B7B3B6C3B8739A84 Time : 0.0 sec. user=mdettweiler [2010-12-03 10:19:16] 44715*2^481652-1 is not prime. Res64: BD4B6097E09FA445 Time : 0.0 sec. user=mdettweiler [2010-12-03 10:25:37] 48453*2^481652-1 is not prime. Res64: 262EEA3E2DF12768 Time : 0.0 sec. user=mdettweiler [2010-12-03 10:32:04] 49473*2^481652-1 is not prime. Res64: F86FC276D6132911 Time : 0.0 sec. user=mdettweiler [2010-12-03 10:38:32] 49587*2^481652-1 is not prime. Res64: A965AC4A3E0CC0F7 Time : 0.0 sec. user=mdettweiler [2010-12-03 10:44:54] 50397*2^481652-1 is not prime. Res64: 0F770C4D3467CA88 Time : 0.0 sec. user=mdettweiler [2010-12-03 10:51:22] 51387*2^481652-1 is not prime. Res64: D1C309BB0147C4FC Time : 0.0 sec. user=mdettweiler [2010-12-03 10:57:49] 53283*2^481652-1 is not prime. Res64: E7E3BE8658F60EFF Time : 0.0 sec. user=mdettweiler [2010-12-03 11:04:10] 53565*2^481652-1 is not prime. Res64: E0FBEA52871AF06B Time : 0.0 sec. user=mdettweiler [2010-12-03 11:10:31] 56055*2^481652-1 is not prime. Res64: B020B965329375E7 Time : 0.0 sec. user=mdettweiler [2010-12-03 11:16:54] 62097*2^481652-1 is not prime. Res64: 5FAFC42027D41698 Time : 0.0 sec. user=mdettweiler [2010-12-03 11:23:15] 62577*2^481652-1 is not prime. Res64: 52810FFECC16657F Time : 0.0 sec. user=mdettweiler [2010-12-03 11:29:37] 62745*2^481652-1 is not prime. Res64: 88F849C1AE02658D Time : 0.0 sec. user=mdettweiler [2010-12-03 11:35:59] 63735*2^481652-1 is not prime. Res64: B1FD60B56D7D82F6 Time : 0.0 sec. user=mdettweiler [2010-12-03 11:42:19] 70377*2^481652-1 is not prime. Res64: 4707AF289062598B Time : 0.0 sec. user=mdettweiler [2010-12-03 11:48:39] 71313*2^481652-1 is not prime. Res64: DA21DB2B41361AFE Time : 0.0 sec. user=mdettweiler [2010-12-03 11:55:06] 71427*2^481652-1 is not prime. Res64: 0002ACF61E438D3F Time : 0.0 sec. user=mdettweiler [2010-12-03 12:01:34] 78645*2^481652-1 is not prime. Res64: 2BEB47B9E0E4B902 Time : 0.0 sec. user=mdettweiler [2010-12-03 12:07:56] 87807*2^481652-1 is not prime. Res64: EA0AA5AB32237B21 Time : 0.0 sec. user=mdettweiler [2010-12-03 12:14:24] 92637*2^481652-1 is not prime. Res64: 9EC843C82E2A68FA Time : 0.0 sec. user=mdettweiler [2010-12-03 12:20:50] 97077*2^481652-1 is not prime. Res64: 432E4C5353B28EC8 Time : 0.0 sec. user=mdettweiler [2010-12-03 12:25:09] 861*2^481653-1 is not prime. Res64: AB59488626A1A468 Time : 0.0 sec. user=mdettweiler [2010-12-03 12:29:32] 2601*2^481653-1 is not prime. Res64: EC12E9D0CC190AAD Time : 0.0 sec. user=mdettweiler [2010-12-03 12:35:53] 9735*2^481653-1 is not prime. Res64: FEFB4FA5BE782646 Time : 0.0 sec. user=mdettweiler [2010-12-03 12:42:13] 10155*2^481653-1 is not prime. Res64: DFCA1A1F380C6E1F Time : 0.0 sec. user=mdettweiler [2010-12-03 12:48:34] 10341*2^481653-1 is not prime. Res64: F3FDD7F22860B671 Time : 0.0 sec. user=mdettweiler [2010-12-03 12:55:31] 10671*2^481653-1 is not prime. Res64: DF1A0124C9214206 Time : 0.0 sec. user=mdettweiler [2010-12-03 13:02:29] 19905*2^481653-1 is not prime. Res64: 50FBF6E217FF3DEC Time : 0.0 sec. user=mdettweiler [2010-12-03 13:09:17] 20361*2^481653-1 is not prime. Res64: 97C6456A2CBB1EAA Time : 0.0 sec. user=mdettweiler [2010-12-03 13:16:26] 28185*2^481653-1 is not prime. Res64: D15D0F95DAEAAA26 Time : 0.0 sec. user=mdettweiler [2010-12-03 13:23:14] 30315*2^481653-1 is not prime. Res64: 3F2D0410ED50061A Time : 0.0 sec.