user=vaughan [2012-02-13 00:04:24] 523*2^1122539-1 is not prime. Res64: 7A68F85DEFFDC50A Time : 0.0 sec. user=vaughan [2012-02-13 00:04:26] 543*2^1122539-1 is not prime. Res64: 6ECAF456CE0D3D6B Time : 0.0 sec. user=vaughan [2012-02-13 00:06:43] 439*2^1122541-1 is not prime. Res64: 3ED77B40F1EDEE4F Time : 0.0 sec. user=vaughan [2012-02-13 00:06:44] 549*2^1122541-1 is not prime. Res64: EAC5B049A01081ED Time : 0.0 sec. user=vaughan [2012-02-13 00:09:45] 533*2^1122544-1 is not prime. Res64: E19E170B20AA5BE6 Time : 0.0 sec. user=vaughan [2012-02-13 00:09:47] 587*2^1122544-1 is not prime. Res64: C97804854D89CC28 Time : 0.0 sec. user=henryzz [2012-02-13 00:17:28] 539*2^1122760-1 is not prime. Res64: 2FEE84A563778AEF Time : 0.0 sec. user=henryzz [2012-02-13 00:18:00] 465*2^1122761-1 is not prime. Res64: 565937F38D30C222 Time : 0.0 sec. user=henryzz [2012-02-13 00:18:10] 475*2^1122761-1 is not prime. Res64: 70F95FCFB050D48A Time : 0.0 sec. user=henryzz [2012-02-13 00:20:08] 477*2^1122761-1 is not prime. Res64: 20A35290C587BD81 Time : 0.0 sec. user=vaughan [2012-02-13 00:21:46] 533*2^1122740-1 is not prime. Res64: DF08C1CF73DA8155 Time : 0.0 sec. user=vaughan [2012-02-13 00:21:46] 483*2^1122746-1 is not prime. Res64: 35BF95BE6C9CB65B Time : 0.0 sec. user=vaughan [2012-02-13 00:26:34] 461*2^1122738-1 is not prime. Res64: FF07E12CE87D7029 Time : 0.0 sec. user=vaughan [2012-02-13 00:26:34] 469*2^1122737-1 is not prime. Res64: 5D103BBD6828EA24 Time : 0.0 sec. user=vaughan [2012-02-13 00:26:34] 411*2^1122739-1 is not prime. Res64: 8687796942824A70 Time : 0.0 sec. user=vaughan [2012-02-13 00:26:34] 561*2^1122739-1 is not prime. Res64: 42B79EF7EDF99220 Time : 0.0 sec. user=vaughan [2012-02-13 00:26:34] 453*2^1122736-1 is not prime. Res64: F062D6A86A290C61 Time : 0.0 sec. user=vaughan [2012-02-13 00:26:34] 589*2^1122737-1 is not prime. Res64: E2E5BA30FD37D533 Time : 0.0 sec. user=vaughan [2012-02-13 00:28:06] 589*2^1122739-1 is not prime. Res64: 4C4259B76FB3EE27 Time : 0.0 sec. user=vaughan [2012-02-13 00:32:29] 465*2^1122747-1 is not prime. Res64: 15E38EB1B274C94D Time : 0.0 sec. user=vaughan [2012-02-13 00:32:35] 545*2^1122740-1 is not prime. Res64: 740199F4039A140A Time : 0.0 sec. user=vaughan [2012-02-13 00:33:32] 495*2^1122338-1 is not prime. Res64: A5D8F90669D2D328 Time : 0.0 sec. user=henryzz [2012-02-13 00:37:55] 585*2^1122764-1 is not prime. Res64: 49DE56A2817C70FF Time : 0.0 sec. user=henryzz [2012-02-13 00:38:37] 599*2^1122764-1 is not prime. Res64: 81E70B467F0AA8DD Time : 0.0 sec. user=henryzz [2012-02-13 00:38:38] 457*2^1122765-1 is not prime. Res64: 1CB5BB1001945009 Time : 0.0 sec. user=henryzz [2012-02-13 00:40:47] 507*2^1122765-1 is not prime. Res64: 7448355395CDF2BE Time : 0.0 sec. user=vaughan [2012-02-13 00:41:03] 497*2^1122482-1 is not prime. Res64: 7B86F8A3C34D1868 Time : 0.0 sec. user=vaughan [2012-02-13 00:41:11] 441*2^1122483-1 is not prime. Res64: 0B04B34008CE37AB Time : 0.0 sec. user=vaughan [2012-02-13 00:43:15] 421*2^1122751-1 is not prime. Res64: 85F638B7A1AD3711 Time : 0.0 sec. user=vaughan [2012-02-13 00:43:16] 453*2^1122751-1 is not prime. Res64: 05ACA776808DEA9B Time : 0.0 sec. user=vaughan [2012-02-13 00:44:01] 527*2^1122736-1 is not prime. Res64: B8BC318769D8ABD6 Time : 0.0 sec. user=vaughan [2012-02-13 00:44:02] 513*2^1122738-1 is not prime. Res64: A808945CD4936C65 Time : 0.0 sec. user=vaughan [2012-02-13 00:44:02] 439*2^1122739-1 is not prime. Res64: 05330345D99CB558 Time : 0.0 sec. user=vaughan [2012-02-13 00:44:06] 573*2^1122739-1 is not prime. Res64: A70ABC85600BC4CD Time : 0.0 sec. user=vaughan [2012-02-13 00:44:06] 405*2^1122738-1 is not prime. Res64: 076DDA03310C92A2 Time : 0.0 sec. user=vaughan [2012-02-13 00:44:07] 487*2^1122737-1 is not prime. Res64: ADF2BB202EEBC595 Time : 0.0 sec. user=vaughan [2012-02-13 00:49:04] 517*2^1122761-1 is not prime. Res64: F17C775364C2511F Time : 0.0 sec. user=vaughan [2012-02-13 00:49:04] 431*2^1122762-1 is not prime. Res64: B0818D2E34603B21 Time : 0.0 sec. user=vaughan [2012-02-13 00:50:56] 529*2^1122533-1 is not prime. Res64: 3158783C95773DF2 Time : 0.0 sec. user=vaughan [2012-02-13 00:50:56] 453*2^1122534-1 is not prime. Res64: 24C20016AD9998EF Time : 0.0 sec. user=vaughan [2012-02-13 00:51:09] 549*2^1122531-1 is not prime. Res64: 20B6AA8739FA24CC Time : 0.0 sec. user=vaughan [2012-02-13 00:51:10] 565*2^1122531-1 is not prime. Res64: C3C28DA1C332D8D5 Time : 0.0 sec. user=vaughan [2012-02-13 00:51:19] 453*2^1122762-1 is not prime. Res64: 6FDDDE79493B23AE Time : 0.0 sec. user=vaughan [2012-02-13 00:51:20] 537*2^1122762-1 is not prime. Res64: 30FC8973CADCBE45 Time : 0.0 sec. user=vaughan [2012-02-13 00:51:52] 585*2^1122531-1 is not prime. Res64: A3BBAA2769079039 Time : 0.0 sec. user=vaughan [2012-02-13 00:51:53] 413*2^1122532-1 is not prime. Res64: D0F1F3429ACE6B6A Time : 0.0 sec. user=vaughan [2012-02-13 00:52:16] 557*2^1122534-1 is not prime. Res64: CA973847DF83B2D9 Time : 0.0 sec. user=vaughan [2012-02-13 00:52:17] 563*2^1122534-1 is not prime. Res64: 41FED19C199FE1F1 Time : 0.0 sec. user=vaughan [2012-02-13 00:52:54] 525*2^1122745-1 is not prime. Res64: F473FB8A788ED85A Time : 0.0 sec. user=vaughan [2012-02-13 00:52:54] 583*2^1122747-1 is not prime. Res64: DBEE495C7411A63D Time : 0.0 sec. user=vaughan [2012-02-13 00:52:54] 541*2^1122745-1 is not prime. Res64: 03E4E0FAB81B1F17 Time : 0.0 sec. user=vaughan [2012-02-13 00:52:55] 585*2^1122747-1 is not prime. Res64: 75761AFA8D29C9E4 Time : 0.0 sec. user=vaughan [2012-02-13 00:52:57] 539*2^1122532-1 is not prime. Res64: B3C79B099D559A45 Time : 0.0 sec. user=vaughan [2012-02-13 00:52:58] 579*2^1122532-1 is not prime. Res64: 87FC177AE7D5C675 Time : 0.0 sec. user=vaughan [2012-02-13 00:54:25] 499*2^1122763-1 is not prime. Res64: FB11C1617D89E0ED Time : 0.0 sec. user=vaughan [2012-02-13 00:54:26] 447*2^1122764-1 is not prime. Res64: CD382B47B9B0C5BD Time : 0.0 sec. user=vaughan [2012-02-13 00:54:29] 511*2^1122765-1 is not prime. Res64: B8197F81EB488630 Time : 0.0 sec. user=vaughan [2012-02-13 00:54:30] 577*2^1122765-1 is not prime. Res64: AD6423D2CFEB4FC5 Time : 0.0 sec. user=vaughan [2012-02-13 00:54:39] 447*2^1122766-1 is not prime. Res64: AC6917BACD9AFEC7 Time : 0.0 sec. user=vaughan [2012-02-13 00:54:40] 477*2^1122766-1 is not prime. Res64: D8A20C030B7E2978 Time : 0.0 sec. user=vaughan [2012-02-13 00:58:26] 513*2^1122766-1 is not prime. Res64: EBA14326C9AFB150 Time : 0.0 sec. user=vaughan [2012-02-13 00:58:27] 551*2^1122766-1 is not prime. Res64: DFFE45073EA82AEF Time : 0.0 sec. user=henryzz [2012-02-13 00:58:36] 561*2^1122766-1 is not prime. Res64: D1E7641D38DF02E2 Time : 0.0 sec. user=henryzz [2012-02-13 00:59:11] 465*2^1122767-1 is not prime. Res64: 1EE39A2803B04A6B Time : 0.0 sec. user=henryzz [2012-02-13 00:59:32] 469*2^1122767-1 is not prime. Res64: A5BE08DAF465DB48 Time : 0.0 sec. user=henryzz [2012-02-13 01:00:46] 489*2^1122767-1 is not prime. Res64: 475D69F32B43E120 Time : 0.0 sec. user=vaughan [2012-02-13 01:03:13] 417*2^1122546-1 is not prime. Res64: 985FBAB67AA94A57 Time : 0.0 sec. user=vaughan [2012-02-13 01:03:13] 431*2^1122546-1 is not prime. Res64: E865698708B2E30A Time : 0.0 sec. user=vaughan [2012-02-13 01:05:36] 525*2^1122768-1 is not prime. Res64: 02D722FDBCC1A3C5 Time : 0.0 sec. user=vaughan [2012-02-13 01:05:37] 569*2^1122768-1 is not prime. Res64: 1D0CFCD2A2AAEC1C Time : 0.0 sec. user=vaughan [2012-02-13 01:10:16] 573*2^1122538-1 is not prime. Res64: 65AEAFA1E3EDF1D0 Time : 0.0 sec. user=vaughan [2012-02-13 01:10:17] 581*2^1122538-1 is not prime. Res64: 6C31E0FDC9A19D1D Time : 0.0 sec. user=vaughan [2012-02-13 01:16:21] 557*2^1122780-1 is not prime. Res64: 4EFAF0D645F7FF8C Time : 0.0 sec. user=vaughan [2012-02-13 01:16:22] 411*2^1122781-1 is not prime. Res64: 034E6DB2F9CFE3B0 Time : 0.0 sec. user=vaughan [2012-02-13 01:16:37] 429*2^1122781-1 is not prime. Res64: 6CD08ADC224FDFEE Time : 0.0 sec. user=vaughan [2012-02-13 01:16:37] 477*2^1122781-1 is not prime. Res64: 0A86598143E4A9BF Time : 0.0 sec. user=vaughan [2012-02-13 01:17:40] 445*2^1122779-1 is not prime. Res64: AEF75EE5C96D1281 Time : 0.0 sec. user=vaughan [2012-02-13 01:17:41] 495*2^1122779-1 is not prime. Res64: AD1324A2311930F4 Time : 0.0 sec. user=vaughan [2012-02-13 01:17:44] 575*2^1122778-1 is not prime. Res64: 329F4152E4D18F0C Time : 0.0 sec. user=vaughan [2012-02-13 01:17:45] 597*2^1122778-1 is not prime. Res64: 10C27A9469F71263 Time : 0.0 sec. user=henryzz [2012-02-13 01:19:14] 447*2^1122782-1 is not prime. Res64: 8C9DA718E0AADCAF Time : 0.0 sec. user=henryzz [2012-02-13 01:19:48] 439*2^1122783-1 is not prime. Res64: A53B447F731C1061 Time : 0.0 sec. user=henryzz [2012-02-13 01:20:20] 453*2^1122783-1 is not prime. Res64: B3657103C95C2FDC Time : 0.0 sec. user=vaughan [2012-02-13 01:20:47] 549*2^1122767-1 is not prime. Res64: 2C42324C4DFFDCE8 Time : 0.0 sec. user=vaughan [2012-02-13 01:20:47] 413*2^1122768-1 is not prime. Res64: 82A491749F4A4864 Time : 0.0 sec. user=vaughan [2012-02-13 01:20:50] 465*2^1122768-1 is not prime. Res64: AF6418CE73ADAE36 Time : 0.0 sec. user=vaughan [2012-02-13 01:20:51] 513*2^1122768-1 is not prime. Res64: 2BB97DEEC706B5F6 Time : 0.0 sec. user=vaughan [2012-02-13 01:20:55] 547*2^1122769-1 is not prime. Res64: D42042C831AD7D47 Time : 0.0 sec. user=vaughan [2012-02-13 01:20:56] 533*2^1122770-1 is not prime. Res64: 4C0AEF2267C5152E Time : 0.0 sec. user=vaughan [2012-02-13 01:20:56] 417*2^1122770-1 is not prime. Res64: 3DBE478201DB8A21 Time : 0.0 sec. user=vaughan [2012-02-13 01:20:56] 545*2^1122770-1 is not prime. Res64: 910253FD17EBB781 Time : 0.0 sec. user=vaughan [2012-02-13 01:20:59] 585*2^1122770-1 is not prime. Res64: A0FF376DE701F1E5 Time : 0.0 sec. user=vaughan [2012-02-13 01:21:00] 409*2^1122771-1 is not prime. Res64: 8E69A5BE16A366B4 Time : 0.0 sec. user=vaughan [2012-02-13 01:21:02] 539*2^1122772-1 is not prime. Res64: 0B89184368C28C9B Time : 0.0 sec. user=vaughan [2012-02-13 01:21:02] 465*2^1122773-1 is not prime. Res64: A37DA35EA6F27609 Time : 0.0 sec. user=vaughan [2012-02-13 01:21:03] 437*2^1122772-1 is not prime. Res64: 842BBF2CFACA7FF6 Time : 0.0 sec. user=vaughan [2012-02-13 01:21:04] 507*2^1122772-1 is not prime. Res64: 6DABE154AE933650 Time : 0.0 sec. user=vaughan [2012-02-13 01:21:05] 415*2^1122771-1 is not prime. Res64: 38A6344D1862BACD Time : 0.0 sec. user=vaughan [2012-02-13 01:21:05] 445*2^1122771-1 is not prime. Res64: 56FDEBE06BCA5D87 Time : 0.0 sec. user=henryzz [2012-02-13 01:21:18] 471*2^1122783-1 is not prime. Res64: 2AD354DFEDE79004 Time : 0.0 sec. user=vaughan [2012-02-13 01:23:11] 541*2^1122781-1 is not prime. Res64: 03F53485B7C21EC6 Time : 0.0 sec. user=vaughan [2012-02-13 01:23:12] 561*2^1122781-1 is not prime. Res64: C9E9AF3184D450DB Time : 0.0 sec. user=vaughan [2012-02-13 01:27:31] 437*2^1122784-1 is not prime. Res64: 8FAFDF8C8B1D601B Time : 0.0 sec. user=vaughan [2012-02-13 01:27:32] 485*2^1122784-1 is not prime. Res64: B3F899DF0A5640B2 Time : 0.0 sec. user=vaughan [2012-02-13 01:30:33] 437*2^1122774-1 is not prime. Res64: DE8B78AC28C02F2F Time : 0.0 sec. user=vaughan [2012-02-13 01:30:33] 463*2^1122775-1 is not prime. Res64: AFAE4C339A0D3772 Time : 0.0 sec. user=vaughan [2012-02-13 01:30:50] 511*2^1122775-1 is not prime. Res64: 0B0E8C4B62853EA1 Time : 0.0 sec. user=vaughan [2012-02-13 01:30:51] 555*2^1122775-1 is not prime. Res64: E9AC2BF496033C08 Time : 0.0 sec. user=vaughan [2012-02-13 01:31:49] 425*2^1122778-1 is not prime. Res64: ABBDDF55DB4E652E Time : 0.0 sec. user=vaughan [2012-02-13 01:31:50] 545*2^1122778-1 is not prime. Res64: 0FABA8175EAE62F7 Time : 0.0 sec. user=vaughan [2012-02-13 01:32:02] 449*2^1122776-1 is not prime. Res64: F90D37FCD2ACF48F Time : 0.0 sec. user=vaughan [2012-02-13 01:32:02] 495*2^1122776-1 is not prime. Res64: C326348019C70F43 Time : 0.0 sec. user=vaughan [2012-02-13 01:33:53] 547*2^1122773-1 is not prime. Res64: 9B810004AE176297 Time : 0.0 sec. user=vaughan [2012-02-13 01:33:54] 591*2^1122773-1 is not prime. Res64: E42CD8DB303F2FD5 Time : 0.0 sec. user=vaughan [2012-02-13 01:35:37] 531*2^1122779-1 is not prime. Res64: 450E4F427123D09A Time : 0.0 sec. user=vaughan [2012-02-13 01:35:38] 553*2^1122779-1 is not prime. Res64: DDE4C80573B515B7 Time : 0.0 sec. user=vaughan [2012-02-13 01:36:06] 595*2^1122775-1 is not prime. Res64: 2D3C175233F7E2F9 Time : 0.0 sec. user=vaughan [2012-02-13 01:36:07] 407*2^1122776-1 is not prime. Res64: 6CD046DE79065AA8 Time : 0.0 sec. user=vaughan [2012-02-13 01:38:37] 465*2^1122785-1 is not prime. Res64: 9550F38333F81AA7 Time : 0.0 sec. user=vaughan [2012-02-13 01:38:37] 497*2^1122786-1 is not prime. Res64: DAEAF774E10F7B05 Time : 0.0 sec. user=vaughan [2012-02-13 01:38:51] 507*2^1122786-1 is not prime. Res64: 714659CFDF36C264 Time : 0.0 sec. user=vaughan [2012-02-13 01:38:52] 531*2^1122786-1 is not prime. Res64: 6743DED332981422 Time : 0.0 sec. user=vaughan [2012-02-13 01:39:12] 465*2^1122780-1 is not prime. Res64: 6EBEB65C72F4A30E Time : 0.0 sec. user=vaughan [2012-02-13 01:39:13] 473*2^1122780-1 is not prime. Res64: 22E5C3F9507EA9F5 Time : 0.0 sec. user=henryzz [2012-02-13 01:39:41] 493*2^1122787-1 is not prime. Res64: D3303F0752F2779E Time : 0.0 sec. user=henryzz [2012-02-13 01:40:22] 511*2^1122787-1 is not prime. Res64: 5A7854F77F5E46ED Time : 0.0 sec. user=henryzz [2012-02-13 01:40:54] 583*2^1122787-1 is not prime. Res64: 6A3A6CA59B54E080 Time : 0.0 sec. user=henryzz [2012-02-13 01:42:12] 437*2^1122792-1 is not prime. Res64: 7804E29741858045 Time : 0.0 sec. user=vaughan [2012-02-13 01:42:24] 587*2^1122786-1 is not prime. Res64: 27178E4724C30335 Time : 0.0 sec. user=vaughan [2012-02-13 01:42:25] 405*2^1122787-1 is not prime. Res64: D18E1323ADD78A5D Time : 0.0 sec. user=vaughan [2012-02-13 01:42:29] 465*2^1122787-1 is not prime. Res64: F4F6809099AC37FA Time : 0.0 sec. user=vaughan [2012-02-13 01:42:29] 471*2^1122787-1 is not prime. Res64: C3B5D3F93CAB7902 Time : 0.0 sec. user=vaughan [2012-02-13 01:42:41] 571*2^1122783-1 is not prime. Res64: C46D11D0DC5EC2A9 Time : 0.0 sec. user=vaughan [2012-02-13 01:42:42] 407*2^1122784-1 is not prime. Res64: FFA022B6B9A5E5C1 Time : 0.0 sec. user=vaughan [2012-02-13 01:47:55] 527*2^1122792-1 is not prime. Res64: 6853C5653B0814C2 Time : 0.0 sec. user=vaughan [2012-02-13 01:47:56] 411*2^1122793-1 is not prime. Res64: 688901B544A9401D Time : 0.0 sec. user=vaughan [2012-02-13 01:49:17] 439*2^1122793-1 is not prime. Res64: AE4698EEBD07A2A7 Time : 0.0 sec. user=vaughan [2012-02-13 01:49:18] 481*2^1122793-1 is not prime. Res64: D6B4059E2CB4BA12 Time : 0.0 sec. user=vaughan [2012-02-13 01:50:06] 409*2^1122785-1 is not prime. Res64: 746ECC525B2182CB Time : 0.0 sec. user=vaughan [2012-02-13 01:50:07] 441*2^1122785-1 is not prime. Res64: 164BC6BE3A0536D1 Time : 0.0 sec. user=vaughan [2012-02-13 01:57:44] 597*2^1122789-1 is not prime. Res64: BC3CD72BBC059299 Time : 0.0 sec. user=vaughan [2012-02-13 01:57:45] 413*2^1122790-1 is not prime. Res64: 78096B3E0E7938A1 Time : 0.0 sec. user=vaughan [2012-02-13 01:57:46] 471*2^1122790-1 is not prime. Res64: B427DFF689658D47 Time : 0.0 sec. user=vaughan [2012-02-13 01:57:47] 477*2^1122790-1 is not prime. Res64: 6E61C2EFDFE99305 Time : 0.0 sec. user=vaughan [2012-02-13 01:57:51] 525*2^1122790-1 is not prime. Res64: 3BB2FABE8EEB7BC0 Time : 0.0 sec. user=vaughan [2012-02-13 01:57:51] 555*2^1122790-1 is not prime. Res64: 8533512B96CE6AF9 Time : 0.0 sec. user=vaughan [2012-02-13 01:57:52] 567*2^1122790-1 is not prime. Res64: 4E60536DC9CEC303 Time : 0.0 sec. user=vaughan [2012-02-13 01:57:53] 519*2^1122791-1 is not prime. Res64: 40B3ADDDE8E59376 Time : 0.0 sec. user=vaughan [2012-02-13 01:57:56] 525*2^1122791-1 is not prime. Res64: 951E50B870BC310D Time : 0.0 sec. user=vaughan [2012-02-13 01:57:57] 559*2^1122791-1 is not prime. Res64: 86437C566CC378A9 Time : 0.0 sec. user=vaughan [2012-02-13 01:57:59] 579*2^1122791-1 is not prime. Res64: D34B5AC1612E0B55 Time : 0.0 sec. user=vaughan [2012-02-13 01:58:00] 405*2^1122792-1 is not prime. Res64: B11210EF1904A830 Time : 0.0 sec. user=henryzz [2012-02-13 01:59:37] 423*2^1122799-1 is not prime. Res64: 8F29E3B08389855E Time : 0.0 sec. user=vaughan [2012-02-13 02:00:10] 577*2^1122797-1 is not prime. Res64: 10D256519CE2D0C1 Time : 0.0 sec. user=vaughan [2012-02-13 02:00:24] 461*2^1122798-1 is not prime. Res64: 5835BD7A42B7C7AE Time : 0.0 sec. user=vaughan [2012-02-13 02:00:27] 485*2^1122798-1 is not prime. Res64: AF3D3522D97759DC Time : 0.0 sec. user=vaughan [2012-02-13 02:00:29] 519*2^1122788-1 is not prime. Res64: 5B1555158D71F5FE Time : 0.0 sec. user=henryzz [2012-02-13 02:00:29] 523*2^1122799-1 is not prime. Res64: B22A2D162C00B440 Time : 0.0 sec. user=vaughan [2012-02-13 02:00:30] 585*2^1122788-1 is not prime. Res64: 43AEB52F121E0414 Time : 0.0 sec. user=vaughan [2012-02-13 02:00:34] 507*2^1122789-1 is not prime. Res64: 16F539A3A94CBA90 Time : 0.0 sec. user=vaughan [2012-02-13 02:00:35] 549*2^1122789-1 is not prime. Res64: 9AD6D7E497A90243 Time : 0.0 sec. user=henryzz [2012-02-13 02:01:42] 413*2^1122800-1 is not prime. Res64: 2B9F023BD318B028 Time : 0.0 sec. user=henryzz [2012-02-13 02:03:57] 593*2^1122800-1 is not prime. Res64: 5769DDCB3E4B24B3 Time : 0.0 sec. user=vaughan [2012-02-13 02:07:05] 429*2^1122801-1 is not prime. Res64: 7E32DF0B05CE2716 Time : 0.0 sec. user=vaughan [2012-02-13 02:07:07] 447*2^1122801-1 is not prime. Res64: 36294B5EDE73ED61 Time : 0.0 sec. user=vaughan [2012-02-13 02:07:09] 465*2^1122801-1 is not prime. Res64: 405271902260A2AB Time : 0.0 sec. user=vaughan [2012-02-13 02:07:12] 549*2^1122801-1 is not prime. Res64: C8B4A65E3F8AA4F2 Time : 0.0 sec. user=vaughan [2012-02-13 02:10:09] 511*2^1122793-1 is not prime. Res64: 3DCF1162B3DB1D9E Time : 0.0 sec. user=vaughan [2012-02-13 02:10:10] 591*2^1122793-1 is not prime. Res64: 776B666EF8D85DE3 Time : 0.0 sec. user=vaughan [2012-02-13 02:11:01] 571*2^1122803-1 is not prime. Res64: D35D496D802C2B07 Time : 0.0 sec. user=vaughan [2012-02-13 02:11:03] 573*2^1122803-1 is not prime. Res64: 8BC111797E51CE9B Time : 0.0 sec. user=vaughan [2012-02-13 02:11:22] 585*2^1122794-1 is not prime. Res64: 1080CE76A648D434 Time : 0.0 sec. user=vaughan [2012-02-13 02:11:25] 469*2^1122795-1 is not prime. Res64: 4CBA5E799C4A61E6 Time : 0.0 sec. user=vaughan [2012-02-13 02:12:46] 411*2^1122803-1 is not prime. Res64: 544192862247D264 Time : 0.0 sec. user=vaughan [2012-02-13 02:12:47] 565*2^1122803-1 is not prime. Res64: BC2FB3FDCC5BE587 Time : 0.0 sec. user=vaughan [2012-02-13 02:13:47] 595*2^1122793-1 is not prime. Res64: EE51E4B476996B4E Time : 0.0 sec. user=vaughan [2012-02-13 02:13:48] 563*2^1122794-1 is not prime. Res64: 5F76B0A67F124415 Time : 0.0 sec. user=vaughan [2012-02-13 02:15:23] 535*2^1122795-1 is not prime. Res64: 90053BAFEFC7DFAE Time : 0.0 sec. user=vaughan [2012-02-13 02:15:23] 483*2^1122796-1 is not prime. Res64: CDE29A70F2904B7D Time : 0.0 sec. user=vaughan [2012-02-13 02:18:43] 539*2^1122796-1 is not prime. Res64: ACBDC82F739A7ED2 Time : 0.0 sec. user=vaughan [2012-02-13 02:18:44] 545*2^1122796-1 is not prime. Res64: 310F65611700EF25 Time : 0.0 sec. user=henryzz [2012-02-13 02:19:57] 485*2^1122808-1 is not prime. Res64: 0CDA406AC6075083 Time : 0.0 sec. user=vaughan [2012-02-13 02:20:49] 445*2^1122797-1 is not prime. Res64: CD4076D9D78A6FCF Time : 0.0 sec. user=vaughan [2012-02-13 02:20:50] 465*2^1122797-1 is not prime. Res64: D5D7C785444EC4C3 Time : 0.0 sec. user=vaughan [2012-02-13 02:20:57] 495*2^1122797-1 is not prime. Res64: E4A30B6F5E4333B0 Time : 0.0 sec. user=vaughan [2012-02-13 02:20:58] 517*2^1122797-1 is not prime. Res64: 0E27291B3680CBDE Time : 0.0 sec. user=henryzz [2012-02-13 02:21:33] 567*2^1122808-1 is not prime. Res64: FDDBC7AABD05A406 Time : 0.0 sec. user=vaughan [2012-02-13 02:22:12] 565*2^1122801-1 is not prime. Res64: AC1744DAB341BAB9 Time : 0.0 sec. user=vaughan [2012-02-13 02:22:12] 585*2^1122801-1 is not prime. Res64: E92B238DE54CE4B0 Time : 0.0 sec. user=henryzz [2012-02-13 02:22:15] 483*2^1122810-1 is not prime. Res64: BD4E1915D9B62BB9 Time : 0.0 sec. user=vaughan [2012-02-13 02:22:16] 507*2^1122808-1 is not prime. Res64: 990EE5247867173F Time : 0.0 sec. user=vaughan [2012-02-13 02:22:16] 533*2^1122808-1 is not prime. Res64: 2A5857F5BD28765A Time : 0.0 sec. user=vaughan [2012-02-13 02:24:05] 557*2^1122798-1 is not prime. Res64: FDDF0946F71BE969 Time : 0.0 sec. user=vaughan [2012-02-13 02:24:05] 415*2^1122799-1 is not prime. Res64: 91AC43F954EE3BEE Time : 0.0 sec. user=henryzz [2012-02-13 02:24:25] 503*2^1122810-1 is not prime. Res64: 78CFD5FE950FD446 Time : 0.0 sec. user=vaughan [2012-02-13 02:29:01] 417*2^1122798-1 is not prime. Res64: CEE42D6FC68E1F32 Time : 0.0 sec. user=vaughan [2012-02-13 02:29:50] 473*2^1122804-1 is not prime. Res64: EE5CB43626F31E72 Time : 0.0 sec. user=vaughan [2012-02-13 02:29:51] 497*2^1122804-1 is not prime. Res64: F0E2724DA2ED680A Time : 0.0 sec. user=vaughan [2012-02-13 02:32:14] 513*2^1122810-1 is not prime. Res64: 7A22540319A626CC Time : 0.0 sec. user=vaughan [2012-02-13 02:32:15] 439*2^1122811-1 is not prime. Res64: 0ECDD4EF59D428FA Time : 0.0 sec. user=vaughan [2012-02-13 02:32:19] 493*2^1122811-1 is not prime. Res64: 9382025A226906E0 Time : 0.0 sec. user=vaughan [2012-02-13 02:32:20] 499*2^1122811-1 is not prime. Res64: 1FD419EAE64CF5B2 Time : 0.0 sec. user=vaughan [2012-02-13 02:32:50] 467*2^1122812-1 is not prime. Res64: 1F9920B512F1159F Time : 0.0 sec. user=vaughan [2012-02-13 02:32:51] 451*2^1122813-1 is not prime. Res64: 7AEC06E4FC89DEFE Time : 0.0 sec. user=vaughan [2012-02-13 02:34:49] 415*2^1122805-1 is not prime. Res64: E50015EB73E9B5F6 Time : 0.0 sec. user=vaughan [2012-02-13 02:34:50] 429*2^1122805-1 is not prime. Res64: B172D71FAAF8F834 Time : 0.0 sec. user=vaughan [2012-02-13 02:34:53] 457*2^1122805-1 is not prime. Res64: 2CF520C8C97315CA Time : 0.0 sec. user=vaughan [2012-02-13 02:34:54] 507*2^1122805-1 is not prime. Res64: 2DA5BB2D4CD4F271 Time : 0.0 sec. user=vaughan [2012-02-13 02:34:56] 511*2^1122805-1 is not prime. Res64: C05846CB7CFD20A5 Time : 0.0 sec. user=vaughan [2012-02-13 02:34:56] 597*2^1122805-1 is not prime. Res64: A0DEE8AC547F55CF Time : 0.0 sec. user=vaughan [2012-02-13 02:34:57] 531*2^1122805-1 is not prime. Res64: 6A96580A3E2514ED Time : 0.0 sec. user=vaughan [2012-02-13 02:34:58] 407*2^1122806-1 is not prime. Res64: 512369F1E648A819 Time : 0.0 sec. user=vaughan [2012-02-13 02:35:02] 501*2^1122806-1 is not prime. Res64: C6DFBD778B8C0331 Time : 0.0 sec. user=vaughan [2012-02-13 02:35:03] 471*2^1122807-1 is not prime. Res64: E639DBA2F8E26849 Time : 0.0 sec. user=vaughan [2012-02-13 02:35:09] 483*2^1122807-1 is not prime. Res64: 672E1DB7B621199A Time : 0.0 sec. user=vaughan [2012-02-13 02:35:10] 585*2^1122807-1 is not prime. Res64: DA41ADEDCBAB19D8 Time : 0.0 sec. user=vaughan [2012-02-13 02:37:38] 401*2^1122814-1 is not prime. Res64: 5E81123CF49F0BBE Time : 0.0 sec. user=vaughan [2012-02-13 02:37:39] 411*2^1122814-1 is not prime. Res64: 5ABFB84AB97F2A0A Time : 0.0 sec. user=vaughan [2012-02-13 02:40:15] 437*2^1122810-1 is not prime. Res64: BFE9DBA73A797E05 Time : 0.0 sec. user=vaughan [2012-02-13 02:40:16] 411*2^1122809-1 is not prime. Res64: 84FC04E700F5A1E5 Time : 0.0 sec. user=vaughan [2012-02-13 02:40:16] 443*2^1122810-1 is not prime. Res64: 9839EF75C358000E Time : 0.0 sec. user=vaughan [2012-02-13 02:40:17] 507*2^1122809-1 is not prime. Res64: 22B43C43EB079F4F Time : 0.0 sec. user=henryzz [2012-02-13 02:41:04] 459*2^1122815-1 is not prime. Res64: 52D1596D29428F79 Time : 0.0 sec. user=henryzz [2012-02-13 02:42:47] 509*2^1122816-1 is not prime. Res64: FAC0D9571CAE2426 Time : 0.0 sec. user=henryzz [2012-02-13 02:43:08] 499*2^1122817-1 is not prime. Res64: C6E382D76732DB2F Time : 0.0 sec. user=vaughan [2012-02-13 02:44:31] 405*2^1122817-1 is not prime. Res64: 81E98217418D40D1 Time : 0.0 sec. user=vaughan [2012-02-13 02:44:32] 471*2^1122817-1 is not prime. Res64: 19487386BD2B805B Time : 0.0 sec. user=henryzz [2012-02-13 02:45:17] 525*2^1122818-1 is not prime. Res64: 1EA93E566C563E1C Time : 0.0 sec. user=vaughan [2012-02-13 02:49:45] 531*2^1122811-1 is not prime. Res64: 61605B33D7236692 Time : 0.0 sec. user=vaughan [2012-02-13 02:49:46] 453*2^1122812-1 is not prime. Res64: 67CD212D55D4DEE7 Time : 0.0 sec. user=vaughan [2012-02-13 02:51:05] 499*2^1122813-1 is not prime. Res64: BAF15E6AC902D068 Time : 0.0 sec. user=vaughan [2012-02-13 02:51:06] 565*2^1122813-1 is not prime. Res64: A5E9A95505B9F5F9 Time : 0.0 sec. user=vaughan [2012-02-13 02:51:14] 533*2^1122818-1 is not prime. Res64: D5E784C4CF3CF083 Time : 0.0 sec. user=vaughan [2012-02-13 02:51:14] 561*2^1122818-1 is not prime. Res64: D91906D407B54207 Time : 0.0 sec. user=vaughan [2012-02-13 02:54:45] 417*2^1122822-1 is not prime. Res64: DBDB0ABA87F04F5B Time : 0.0 sec. user=vaughan [2012-02-13 02:54:46] 483*2^1122822-1 is not prime. Res64: B72BFA9EB3CAEA83 Time : 0.0 sec. user=vaughan [2012-02-13 02:55:04] 443*2^1122814-1 is not prime. Res64: 228431BD561DA132 Time : 0.0 sec. user=vaughan [2012-02-13 02:55:04] 483*2^1122814-1 is not prime. Res64: 9D092A6D4A89F216 Time : 0.0 sec. user=vaughan [2012-02-13 02:55:36] 425*2^1122814-1 is not prime. Res64: 17A85194910956CB Time : 0.0 sec. user=vaughan [2012-02-13 02:55:36] 437*2^1122814-1 is not prime. Res64: D42B79DE42494F29 Time : 0.0 sec. user=vaughan [2012-02-13 02:57:07] 481*2^1122819-1 is not prime. Res64: 2F9240CF95430994 Time : 0.0 sec. user=vaughan [2012-02-13 02:57:08] 493*2^1122819-1 is not prime. Res64: A949216637BA0160 Time : 0.0 sec. user=vaughan [2012-02-13 02:57:11] 489*2^1122820-1 is not prime. Res64: 22869BFE14F16ACF Time : 0.0 sec. user=vaughan [2012-02-13 02:57:12] 545*2^1122820-1 is not prime. Res64: 4FE1FA934EA79320 Time : 0.0 sec. user=vaughan [2012-02-13 03:01:46] 513*2^1122816-1 is not prime. Res64: 5B6C0308C9D0D4D0 Time : 0.0 sec. user=vaughan [2012-02-13 03:01:47] 557*2^1122816-1 is not prime. Res64: 3CBCF08DDB10E5DA Time : 0.0 sec. user=vaughan [2012-02-13 03:02:29] 523*2^1122827-1 is not prime. Res64: 9C76F420835E490D Time : 0.0 sec. user=vaughan [2012-02-13 03:02:30] 585*2^1122827-1 is not prime. Res64: 7EDBE2C38901DB21 Time : 0.0 sec. user=henryzz [2012-02-13 03:03:01] 423*2^1122830-1 is not prime. Res64: 1EBE4C78C61DB3F9 Time : 0.0 sec. user=vaughan [2012-02-13 03:03:12] 469*2^1122815-1 is not prime. Res64: F8C654BC5912603D Time : 0.0 sec. user=vaughan [2012-02-13 03:03:13] 519*2^1122815-1 is not prime. Res64: 444598411976AE82 Time : 0.0 sec. user=henryzz [2012-02-13 03:03:31] 489*2^1122832-1 is not prime. Res64: C73A7C643139651D Time : 0.0 sec. user=henryzz [2012-02-13 03:03:37] 559*2^1122833-1 is not prime. Res64: 8116B88D0B31435E Time : 0.0 sec. user=vaughan [2012-02-13 03:04:07] 533*2^1122814-1 is not prime. Res64: 3326C8F2CA845EA1 Time : 0.0 sec. user=vaughan [2012-02-13 03:04:08] 421*2^1122815-1 is not prime. Res64: 695DB10BECCBA464 Time : 0.0 sec. user=vaughan [2012-02-13 03:05:42] 413*2^1122834-1 is not prime. Res64: B372E7CB2844D16F Time : 0.0 sec. user=vaughan [2012-02-13 03:05:43] 447*2^1122834-1 is not prime. Res64: 5EAFF6F88123DDFA Time : 0.0 sec. user=henryzz [2012-02-13 03:06:14] 453*2^1122834-1 is not prime. Res64: 50DAB2A5C3DA36F4 Time : 0.0 sec. user=vaughan [2012-02-13 03:06:19] 553*2^1122815-1 is not prime. Res64: 23EB8D9AFD0FEE2A Time : 0.0 sec. user=vaughan [2012-02-13 03:06:23] 503*2^1122816-1 is not prime. Res64: C0DAE95C8659E7B3 Time : 0.0 sec. user=vaughan [2012-02-13 03:09:21] 497*2^1122818-1 is not prime. Res64: D32DB731C9F43E02 Time : 0.0 sec. user=vaughan [2012-02-13 03:09:24] 507*2^1122818-1 is not prime. Res64: 84B81C58531B0CF0 Time : 0.0 sec. user=vaughan [2012-02-13 03:09:33] 439*2^1122819-1 is not prime. Res64: 54F97001805FBA2C Time : 0.0 sec. user=vaughan [2012-02-13 03:09:34] 441*2^1122819-1 is not prime. Res64: AADAB0867C395239 Time : 0.0 sec. user=vaughan [2012-02-13 03:12:26] 405*2^1122835-1 is not prime. Res64: 78C4D80867D98E99 Time : 0.0 sec. user=vaughan [2012-02-13 03:12:26] 501*2^1122822-1 is not prime. Res64: 1AAD682A256180AC Time : 0.0 sec. user=vaughan [2012-02-13 03:12:36] 539*2^1122824-1 is not prime. Res64: C58EB97249B4BCF1 Time : 0.0 sec. user=vaughan [2012-02-13 03:12:36] 411*2^1122835-1 is not prime. Res64: 84C48E2608CFE2D8 Time : 0.0 sec. user=vaughan [2012-02-13 03:12:36] 493*2^1122823-1 is not prime. Res64: 12CF9A53251F8617 Time : 0.0 sec. user=vaughan [2012-02-13 03:12:36] 417*2^1122824-1 is not prime. Res64: 949376C1FD7B30B3 Time : 0.0 sec. user=vaughan [2012-02-13 03:12:37] 447*2^1122825-1 is not prime. Res64: 8A4DA95D6EEDC352 Time : 0.0 sec. user=vaughan [2012-02-13 03:12:37] 555*2^1122825-1 is not prime. Res64: 8E695F32CD5FD711 Time : 0.0 sec. user=vaughan [2012-02-13 03:12:37] 555*2^1122823-1 is not prime. Res64: F81C4BE078671347 Time : 0.0 sec. user=vaughan [2012-02-13 03:12:37] 425*2^1122824-1 is not prime. Res64: B49146CA3FC97752 Time : 0.0 sec. user=vaughan [2012-02-13 03:12:38] 565*2^1122825-1 is not prime. Res64: 875EE0390EB902A3 Time : 0.0 sec. user=vaughan [2012-02-13 03:12:43] 525*2^1122826-1 is not prime. Res64: D029EF5E8E8976D6 Time : 0.0 sec. user=vaughan [2012-02-13 03:12:45] 527*2^1122826-1 is not prime. Res64: DD39998F79E0E50F Time : 0.0 sec. user=vaughan [2012-02-13 03:15:56] 415*2^1122835-1 is not prime. Res64: 17B23FDDA6C818A3 Time : 0.0 sec. user=vaughan [2012-02-13 03:15:56] 579*2^1122835-1 is not prime. Res64: 0E9319D9B509A60C Time : 0.0 sec. user=vaughan [2012-02-13 03:19:54] 579*2^1122828-1 is not prime. Res64: D2B2747A252E9398 Time : 0.0 sec. user=vaughan [2012-02-13 03:19:55] 469*2^1122829-1 is not prime. Res64: D2A85F9B7B98FF15 Time : 0.0 sec. user=vaughan [2012-02-13 03:19:57] 481*2^1122829-1 is not prime. Res64: DE8AC8DDE68249A8 Time : 0.0 sec. user=vaughan [2012-02-13 03:19:57] 555*2^1122829-1 is not prime. Res64: C95B47ABEAB2A74F Time : 0.0 sec. user=vaughan [2012-02-13 03:21:57] 585*2^1122836-1 is not prime. Res64: 867FDEACB3F6AA9A Time : 0.0 sec. user=vaughan [2012-02-13 03:21:57] 571*2^1122837-1 is not prime. Res64: 31B59C9F95162938 Time : 0.0 sec. user=vaughan [2012-02-13 03:22:01] 401*2^1122838-1 is not prime. Res64: 78CCF85FFAE628AF Time : 0.0 sec. user=vaughan [2012-02-13 03:22:01] 461*2^1122838-1 is not prime. Res64: 2340AB6E11E4C856 Time : 0.0 sec. user=henryzz [2012-02-13 03:24:33] 531*2^1122839-1 is not prime. Res64: 67D7B9F0B91E55ED Time : 0.0 sec. user=henryzz [2012-02-13 03:24:46] 421*2^1122841-1 is not prime. Res64: B9456E28D4FF5844 Time : 0.0 sec. user=henryzz [2012-02-13 03:25:06] 543*2^1122840-1 is not prime. Res64: 3B1594FEB895AF9A Time : 0.0 sec. user=vaughan [2012-02-13 03:27:19] 551*2^1122838-1 is not prime. Res64: B7A5F567A4AE0094 Time : 0.0 sec. user=vaughan [2012-02-13 03:27:19] 451*2^1122839-1 is not prime. Res64: CE1E5BF9E335F440 Time : 0.0 sec. user=vaughan [2012-02-13 03:27:27] 477*2^1122841-1 is not prime. Res64: 40DCB2BA4A2BE071 Time : 0.0 sec. user=vaughan [2012-02-13 03:27:28] 541*2^1122841-1 is not prime. Res64: 6B83CE396396A993 Time : 0.0 sec. user=vaughan [2012-02-13 03:29:21] 461*2^1122834-1 is not prime. Res64: 2ACF59AA9A3AE9CE Time : 0.0 sec. user=vaughan [2012-02-13 03:29:22] 465*2^1122834-1 is not prime. Res64: 36926211E7220232 Time : 0.0 sec. user=henryzz [2012-02-13 03:29:43] 591*2^1122841-1 is not prime. Res64: C98D3A12E172A0A5 Time : 0.0 sec. user=vaughan [2012-02-13 03:30:39] 473*2^1122834-1 is not prime. Res64: 0021AABDBF8672DD Time : 0.0 sec. user=vaughan [2012-02-13 03:30:41] 551*2^1122834-1 is not prime. Res64: C9C74860EADC0BA6 Time : 0.0 sec. user=juhehe [2012-02-13 03:33:05] 471*2^1122558-1 is not prime. Res64: C1F0E447CACB07DB Time : 0.0 sec. user=juhehe [2012-02-13 03:33:16] 513*2^1122558-1 is not prime. Res64: 252BDAB165E6D47B Time : 0.0 sec. user=vaughan [2012-02-13 03:33:26] 503*2^1122836-1 is not prime. Res64: 30A77DC760FD236E Time : 0.0 sec. user=vaughan [2012-02-13 03:33:28] 563*2^1122836-1 is not prime. Res64: 4025CDAA7509DEBC Time : 0.0 sec. user=vaughan [2012-02-13 03:34:20] 405*2^1122836-1 is not prime. Res64: BC72CFCDC52A5CA1 Time : 0.0 sec. user=vaughan [2012-02-13 03:34:21] 435*2^1122836-1 is not prime. Res64: 3DF23ADE40187D02 Time : 0.0 sec. user=vaughan [2012-02-13 03:34:26] 519*2^1122536-1 is not prime. Res64: 35F540273075E413 Time : 0.0 sec. user=vaughan [2012-02-13 03:34:45] 517*2^1122845-1 is not prime. Res64: 6B72C7593058D21D Time : 0.0 sec. user=vaughan [2012-02-13 03:34:46] 443*2^1122846-1 is not prime. Res64: 5116DD4C24634B3D Time : 0.0 sec. user=vaughan [2012-02-13 03:36:34] 493*2^1122539-1 is not prime. Res64: FC73BBB60F8B55FE Time : 0.0 sec. user=vaughan [2012-02-13 03:38:04] 501*2^1122849-1 is not prime. Res64: D1B485EFC00BD580 Time : 0.0 sec. user=vaughan [2012-02-13 03:38:04] 537*2^1122849-1 is not prime. Res64: 8454339C9E0291DB Time : 0.0 sec. user=henryzz [2012-02-13 03:46:54] 479*2^1122852-1 is not prime. Res64: D3B8BE6C33806E98 Time : 0.0 sec. user=henryzz [2012-02-13 03:46:54] 499*2^1122853-1 is not prime. Res64: EBC054C9C6FA3A6C Time : 0.0 sec. user=henryzz [2012-02-13 03:47:19] 525*2^1122853-1 is not prime. Res64: ACCDDBE8F02CF5A1 Time : 0.0 sec. user=henryzz [2012-02-13 03:52:14] 483*2^1122856-1 is not prime. Res64: CF0C957C5FD0AE7C Time : 0.0 sec. user=juhehe [2012-02-13 04:04:21] 567*2^1122857-1 is not prime. Res64: 26E2B0E2A66AD644 Time : 0.0 sec. user=juhehe [2012-02-13 04:04:31] 431*2^1122858-1 is not prime. Res64: 3763C7AD68F77587 Time : 0.0 sec. user=henryzz [2012-02-13 04:08:23] 463*2^1122863-1 is not prime. Res64: 3F30CFE56D3E2B33 Time : 0.0 sec. user=henryzz [2012-02-13 04:08:48] 447*2^1122864-1 is not prime. Res64: 996EE4777D1BC1E1 Time : 0.0 sec. user=henryzz [2012-02-13 04:09:30] 509*2^1122864-1 is not prime. Res64: 867C56A2F43D58A7 Time : 0.0 sec. user=henryzz [2012-02-13 04:14:08] 513*2^1122864-1 is not prime. Res64: 06AB7503CA2B7E4A Time : 0.0 sec. user=henryzz [2012-02-13 04:30:41] 495*2^1122866-1 is not prime. Res64: E580D5EFB67B4F25 Time : 0.0 sec. user=henryzz [2012-02-13 04:31:12] 551*2^1122866-1 is not prime. Res64: 6B52BEFF73362330 Time : 0.0 sec. user=henryzz [2012-02-13 04:31:47] 581*2^1122866-1 is not prime. Res64: AE5EAC834F0BE289 Time : 0.0 sec. user=henryzz [2012-02-13 04:35:38] 451*2^1122867-1 is not prime. Res64: 925DC6F487691A96 Time : 0.0 sec. user=juhehe [2012-02-13 04:35:42] 557*2^1122864-1 is not prime. Res64: 5866D04B67F97371 Time : 0.0 sec. user=juhehe [2012-02-13 04:35:51] 511*2^1122865-1 is not prime. Res64: E8B80C3BC1EFDACC Time : 0.0 sec. user=vaughan [2012-02-13 04:47:51] 485*2^1122546-1 is not prime. Res64: 30F038D841EA46AC Time : 0.0 sec. user=vaughan [2012-02-13 04:47:53] 541*2^1122547-1 is not prime. Res64: EB9A688705757487 Time : 0.0 sec. user=henryzz [2012-02-13 04:52:49] 495*2^1122867-1 is not prime. Res64: 0EBADAAF90B02561 Time : 0.0 sec. user=henryzz [2012-02-13 04:53:20] 523*2^1122867-1 is not prime. Res64: 246F2C15959696CF Time : 0.0 sec. user=vaughan [2012-02-13 04:53:24] 591*2^1122853-1 is not prime. Res64: 59BBEBFD94CF540D Time : 0.0 sec. user=henryzz [2012-02-13 04:54:11] 495*2^1122868-1 is not prime. Res64: 2D0FB3D9F8FB8278 Time : 0.0 sec. user=henryzz [2012-02-13 04:57:02] 445*2^1122869-1 is not prime. Res64: 7905174544FF855D Time : 0.0 sec. user=vaughan [2012-02-13 04:57:49] 581*2^1122546-1 is not prime. Res64: C39B516C0974A4FE Time : 0.0 sec. user=vaughan [2012-02-13 05:05:37] 483*2^1122854-1 is not prime. Res64: 6D3CBE94359E8384 Time : 0.0 sec. user=juhehe [2012-02-13 05:07:00] 411*2^1122869-1 is not prime. Res64: DBC126EB296B81D5 Time : 0.0 sec. user=juhehe [2012-02-13 05:07:08] 411*2^1122870-1 is not prime. Res64: F06094722BBDA00F Time : 0.0 sec. user=vaughan [2012-02-13 05:07:41] 425*2^1122862-1 is not prime. Res64: 9923C60E6164D9DB Time : 0.0 sec. user=vaughan [2012-02-13 05:07:43] 461*2^1122862-1 is not prime. Res64: F7EDA81726EA03E0 Time : 0.0 sec. user=vaughan [2012-02-13 05:07:44] 489*2^1122859-1 is not prime. Res64: 88DD22019B789B39 Time : 0.0 sec. user=vaughan [2012-02-13 05:07:45] 449*2^1122860-1 is not prime. Res64: 0071717E09FAA1A0 Time : 0.0 sec. user=vaughan [2012-02-13 05:13:41] 553*2^1122543-1 is not prime. Res64: 651402F07345935B Time : 0.0 sec. user=vaughan [2012-02-13 05:13:43] 559*2^1122543-1 is not prime. Res64: 8AF210A98FB59F21 Time : 0.0 sec. user=henryzz [2012-02-13 05:13:51] 455*2^1122870-1 is not prime. Res64: 9C7650A08183F9BC Time : 0.0 sec. user=henryzz [2012-02-13 05:14:40] 461*2^1122870-1 is not prime. Res64: D004B6AA528F5700 Time : 0.0 sec. user=henryzz [2012-02-13 05:15:45] 591*2^1122870-1 is not prime. Res64: 1E17CF19961BE34E Time : 0.0 sec. user=vaughan [2012-02-13 05:17:32] 533*2^1122860-1 is not prime. Res64: B2FB500583426C02 Time : 0.0 sec. user=vaughan [2012-02-13 05:17:33] 439*2^1122861-1 is not prime. Res64: 66DD77033F0108F0 Time : 0.0 sec. user=vaughan [2012-02-13 05:17:38] 561*2^1122862-1 is not prime. Res64: 5884C6543DF0ED1F Time : 0.0 sec. user=vaughan [2012-02-13 05:17:39] 433*2^1122863-1 is not prime. Res64: D70310E2DFAA038B Time : 0.0 sec. user=vaughan [2012-02-13 05:17:39] 475*2^1122871-1 is not prime. Res64: 1FFECF8F238B000E Time : 0.0 sec. user=vaughan [2012-02-13 05:17:40] 483*2^1122871-1 is not prime. Res64: DA763D3D0BA79375 Time : 0.0 sec. user=henryzz [2012-02-13 05:18:17] 441*2^1122871-1 is not prime. Res64: F01A3B71F8CB5733 Time : 0.0 sec. user=vaughan [2012-02-13 05:21:50] 533*2^1122842-1 is not prime. Res64: 787BB111367672BB Time : 0.0 sec. user=vaughan [2012-02-13 05:21:50] 427*2^1122841-1 is not prime. Res64: BABCBBCA8177440F Time : 0.0 sec. user=vaughan [2012-02-13 05:21:50] 495*2^1122844-1 is not prime. Res64: 28659D3ACF258262 Time : 0.0 sec. user=vaughan [2012-02-13 05:22:29] 475*2^1122335-1 is not prime. Res64: A18056F23E681FCE Time : 0.0 sec. user=vaughan [2012-02-13 05:27:30] 525*2^1122872-1 is not prime. Res64: 8FAF73B3A0F4D6EE Time : 0.0 sec. user=vaughan [2012-02-13 05:27:30] 537*2^1122872-1 is not prime. Res64: E615B98173342E60 Time : 0.0 sec. user=vaughan [2012-02-13 05:27:31] 563*2^1122872-1 is not prime. Res64: 068045D6C6BDEA01 Time : 0.0 sec. user=vaughan [2012-02-13 05:27:31] 405*2^1122873-1 is not prime. Res64: E77AEF7895A04B3B Time : 0.0 sec. user=vaughan [2012-02-13 05:28:56] 559*2^1122871-1 is not prime. Res64: 40CDE48F571D2CFF Time : 0.0 sec. user=vaughan [2012-02-13 05:28:57] 449*2^1122872-1 is not prime. Res64: DFCDADC48F1D0BD2 Time : 0.0 sec. user=henryzz [2012-02-13 05:34:47] 585*2^1122873-1 is not prime. Res64: 0C9BA8758DC82715 Time : 0.0 sec. user=henryzz [2012-02-13 05:35:36] 591*2^1122873-1 is not prime. Res64: B47AA3ECDA14A360 Time : 0.0 sec. user=henryzz [2012-02-13 05:37:13] 443*2^1122874-1 is not prime. Res64: 299427914A42C764 Time : 0.0 sec. user=vaughan [2012-02-13 05:37:22] 513*2^1122876-1 is not prime. Res64: 3EF91D46DE459856 Time : 0.0 sec. user=vaughan [2012-02-13 05:37:23] 563*2^1122876-1 is not prime. Res64: CD9D3B05CA1E3EA0 Time : 0.0 sec. user=juhehe [2012-02-13 05:38:17] 467*2^1122872-1 is not prime. Res64: 77A10387F1CD381A Time : 0.0 sec. user=juhehe [2012-02-13 05:38:27] 483*2^1122872-1 is not prime. Res64: 3034691E5388CD91 Time : 0.0 sec. user=vaughan [2012-02-13 05:39:31] 475*2^1122875-1 is not prime. Res64: 46DE78B8317E0317 Time : 0.0 sec. user=vaughan [2012-02-13 05:39:32] 455*2^1122876-1 is not prime. Res64: A0EA6F48A532CC7C Time : 0.0 sec. user=vaughan [2012-02-13 05:39:37] 421*2^1122875-1 is not prime. Res64: 887E62C2AD87D944 Time : 0.0 sec. user=vaughan [2012-02-13 05:39:37] 433*2^1122875-1 is not prime. Res64: C54DE3FC8592CB7F Time : 0.0 sec. user=henryzz [2012-02-13 05:40:19] 489*2^1122877-1 is not prime. Res64: 136D65E437311536 Time : 0.0 sec. user=vaughan [2012-02-13 05:41:10] 541*2^1122523-1 is not prime. Res64: 03E8D482B0DD9A3F Time : 0.0 sec. user=vaughan [2012-02-13 05:44:08] 501*2^1122843-1 is not prime. Res64: 95B24A86C9EA88C3 Time : 0.0 sec. user=vaughan [2012-02-13 05:44:16] 471*2^1122841-1 is not prime. Res64: 61FEDAE1563C4D83 Time : 0.0 sec. user=vaughan [2012-02-13 05:44:19] 549*2^1122844-1 is not prime. Res64: 5859B9783D718BB5 Time : 0.0 sec. user=vaughan [2012-02-13 05:47:13] 555*2^1122877-1 is not prime. Res64: 1C0DE476F6178A16 Time : 0.0 sec. user=vaughan [2012-02-13 05:47:13] 561*2^1122878-1 is not prime. Res64: 8CBB901C9CF4D0D0 Time : 0.0 sec. user=vaughan [2012-02-13 05:47:13] 545*2^1122878-1 is not prime. Res64: 1DAADE37EEDA8BA6 Time : 0.0 sec. user=vaughan [2012-02-13 05:47:14] 465*2^1122879-1 is not prime. Res64: 4E7DEB24FA51987E Time : 0.0 sec. user=vaughan [2012-02-13 05:50:21] 481*2^1122879-1 is not prime. Res64: C5D8B0645FC87BA6 Time : 0.0 sec. user=vaughan [2012-02-13 05:50:22] 407*2^1122880-1 is not prime. Res64: A67843CDABECEA99 Time : 0.0 sec. user=vaughan [2012-02-13 05:51:07] 579*2^1122740-1 is not prime. Res64: 0F027B8D06863046 Time : 0.0 sec. user=vaughan [2012-02-13 05:51:08] 405*2^1122742-1 is not prime. Res64: 6E67118A55ED8931 Time : 0.0 sec. user=vaughan [2012-02-13 05:51:11] 567*2^1122748-1 is not prime. Res64: 3DFA9DA97B6DC28A Time : 0.0 sec. user=vaughan [2012-02-13 05:51:11] 597*2^1122748-1 is not prime. Res64: 8DFA583ADC73C043 Time : 0.0 sec. user=vaughan [2012-02-13 05:51:18] 419*2^1122744-1 is not prime. Res64: 54AD0E5B356B54D1 Time : 0.0 sec. user=vaughan [2012-02-13 05:51:19] 563*2^1122744-1 is not prime. Res64: 2A41C3C8CF31F922 Time : 0.0 sec. user=henryzz [2012-02-13 05:55:48] 455*2^1122880-1 is not prime. Res64: D3AD66C9A4089562 Time : 0.0 sec. user=henryzz [2012-02-13 05:56:53] 537*2^1122880-1 is not prime. Res64: 3DBF9F6135344413 Time : 0.0 sec. user=vaughan [2012-02-13 05:57:04] 597*2^1122880-1 is not prime. Res64: 0F9D9F45673500F4 Time : 0.0 sec. user=vaughan [2012-02-13 05:57:05] 409*2^1122881-1 is not prime. Res64: E87A7A5E80E6C447 Time : 0.0 sec. user=vaughan [2012-02-13 05:57:15] 507*2^1122877-1 is not prime. Res64: 31D7E9405C1D7A71 Time : 0.0 sec. user=vaughan [2012-02-13 05:57:16] 531*2^1122877-1 is not prime. Res64: 3759F8E361FF5018 Time : 0.0 sec. user=henryzz [2012-02-13 05:58:14] 549*2^1122880-1 is not prime. Res64: BEBA5F987A034036 Time : 0.0 sec. user=vaughan [2012-02-13 06:00:29] 511*2^1122883-1 is not prime. Res64: C82A0542CAF8D8C9 Time : 0.0 sec. user=vaughan [2012-02-13 06:00:39] 573*2^1122883-1 is not prime. Res64: 32A22A6CD0C16FC0 Time : 0.0 sec. user=vaughan [2012-02-13 06:00:39] 413*2^1122884-1 is not prime. Res64: 8C8CF850C77F3D96 Time : 0.0 sec. user=vaughan [2012-02-13 06:00:43] 417*2^1122884-1 is not prime. Res64: 27F12B72ACFD4537 Time : 0.0 sec. user=henryzz [2012-02-13 06:01:41] 545*2^1122884-1 is not prime. Res64: 14A6FE15E5B18DE2 Time : 0.0 sec. user=vaughan [2012-02-13 06:06:54] 507*2^1122888-1 is not prime. Res64: 33B16AE928AF096C Time : 0.0 sec. user=vaughan [2012-02-13 06:06:58] 571*2^1122887-1 is not prime. Res64: D2AAA485B1E46AB4 Time : 0.0 sec. user=vaughan [2012-02-13 06:06:59] 525*2^1122888-1 is not prime. Res64: 0A69EE655CED00C3 Time : 0.0 sec. user=vaughan [2012-02-13 06:07:01] 473*2^1122888-1 is not prime. Res64: FB4CAF658814BC1E Time : 0.0 sec. user=juhehe [2012-02-13 06:09:32] 537*2^1122881-1 is not prime. Res64: 5E0ACF05DB3A119A Time : 0.0 sec. user=juhehe [2012-02-13 06:09:42] 571*2^1122881-1 is not prime. Res64: 5EE26EA49FCDEBB9 Time : 0.0 sec. user=vaughan [2012-02-13 06:11:14] 527*2^1122888-1 is not prime. Res64: D45B2F0B67ED3BEF Time : 0.0 sec. user=vaughan [2012-02-13 06:11:15] 407*2^1122890-1 is not prime. Res64: 74105A1DE88BEE96 Time : 0.0 sec. user=vaughan [2012-02-13 06:16:48] 409*2^1122893-1 is not prime. Res64: B4DA839E0FF49BC3 Time : 0.0 sec. user=vaughan [2012-02-13 06:16:49] 417*2^1122893-1 is not prime. Res64: 75C0D1A6C3C9471B Time : 0.0 sec. user=henryzz [2012-02-13 06:17:15] 497*2^1122892-1 is not prime. Res64: 88930BA2A477FD6C Time : 0.0 sec. user=henryzz [2012-02-13 06:18:50] 525*2^1122892-1 is not prime. Res64: A7725DD47C00B8A8 Time : 0.0 sec. user=henryzz [2012-02-13 06:19:26] 425*2^1122894-1 is not prime. Res64: 1CCB97FC8620BC95 Time : 0.0 sec. user=vaughan [2012-02-13 06:20:12] 513*2^1122735-1 is not prime. Res64: 369D226609342810 Time : 0.0 sec. user=vaughan [2012-02-13 06:21:35] 501*2^1122894-1 is not prime. Res64: 14C7318500EE4BF2 Time : 0.0 sec. user=vaughan [2012-02-13 06:21:36] 503*2^1122894-1 is not prime. Res64: 6F9AFD544EE169BE Time : 0.0 sec. user=vaughan [2012-02-13 06:21:45] 405*2^1122895-1 is not prime. Res64: 76AEE2C8D777A983 Time : 0.0 sec. user=vaughan [2012-02-13 06:21:46] 415*2^1122895-1 is not prime. Res64: 892181B103506401 Time : 0.0 sec. user=henryzz [2012-02-13 06:22:36] 429*2^1122895-1 is not prime. Res64: A0A50DFE301B9B00 Time : 0.0 sec. user=vaughan [2012-02-13 06:25:06] 431*2^1122890-1 is not prime. Res64: 614EB554D2D9B25A Time : 0.0 sec. user=vaughan [2012-02-13 06:25:06] 483*2^1122890-1 is not prime. Res64: C6DBFC231D02AF67 Time : 0.0 sec. user=vaughan [2012-02-13 06:25:12] 515*2^1122890-1 is not prime. Res64: C7AF3DADD2AB4364 Time : 0.0 sec. user=vaughan [2012-02-13 06:25:13] 545*2^1122890-1 is not prime. Res64: 3AFEFE7D5CD68AB6 Time : 0.0 sec. user=vaughan [2012-02-13 06:25:24] 489*2^1122891-1 is not prime. Res64: 81C52663B9DBADDA Time : 0.0 sec. user=vaughan [2012-02-13 06:25:24] 555*2^1122891-1 is not prime. Res64: 0AC037D564863628 Time : 0.0 sec. user=vaughan [2012-02-13 06:25:58] 429*2^1122885-1 is not prime. Res64: 218A864D9919CC82 Time : 0.0 sec. user=vaughan [2012-02-13 06:25:58] 577*2^1122885-1 is not prime. Res64: 1158E0416A748C8D Time : 0.0 sec. user=vaughan [2012-02-13 06:26:42] 535*2^1122895-1 is not prime. Res64: 0FC17A984B0F6A38 Time : 0.0 sec. user=vaughan [2012-02-13 06:26:42] 413*2^1122898-1 is not prime. Res64: 89725B79AC66201A Time : 0.0 sec. user=vaughan [2012-02-13 06:26:42] 541*2^1122895-1 is not prime. Res64: 10A495115B8462E9 Time : 0.0 sec. user=vaughan [2012-02-13 06:26:43] 495*2^1122898-1 is not prime. Res64: EC584F4E6FC4214A Time : 0.0 sec. user=vaughan [2012-02-13 06:28:53] 411*2^1122886-1 is not prime. Res64: A09E3B8F51AB31C2 Time : 0.0 sec. user=vaughan [2012-02-13 06:28:53] 483*2^1122886-1 is not prime. Res64: 5EF80184A3BE8C45 Time : 0.0 sec. user=vaughan [2012-02-13 06:28:59] 465*2^1122887-1 is not prime. Res64: 601CDC6DFEA5E33D Time : 0.0 sec. user=vaughan [2012-02-13 06:28:59] 559*2^1122887-1 is not prime. Res64: 12619D693CE352F2 Time : 0.0 sec. user=vaughan [2012-02-13 06:29:04] 513*2^1122886-1 is not prime. Res64: 4A9CA8FD74901383 Time : 0.0 sec. user=vaughan [2012-02-13 06:29:04] 575*2^1122886-1 is not prime. Res64: 6A75A8FEB42A62C2 Time : 0.0 sec. user=vaughan [2012-02-13 06:31:37] 451*2^1122893-1 is not prime. Res64: B5B0519724E44FA2 Time : 0.0 sec. user=vaughan [2012-02-13 06:31:38] 507*2^1122893-1 is not prime. Res64: 0A1274E25A163799 Time : 0.0 sec. user=vaughan [2012-02-13 06:32:17] 465*2^1122899-1 is not prime. Res64: 613EE7391B4B1C51 Time : 0.0 sec. user=vaughan [2012-02-13 06:32:18] 549*2^1122899-1 is not prime. Res64: 69040D17800B9B29 Time : 0.0 sec. user=vaughan [2012-02-13 06:32:44] 537*2^1122902-1 is not prime. Res64: D8A7F9A7909EC0A2 Time : 0.0 sec. user=vaughan [2012-02-13 06:32:51] 481*2^1122903-1 is not prime. Res64: 35324E6684C31E8B Time : 0.0 sec. user=vaughan [2012-02-13 06:36:35] 539*2^1122900-1 is not prime. Res64: 4354A0546234FC02 Time : 0.0 sec. user=vaughan [2012-02-13 06:36:36] 549*2^1122900-1 is not prime. Res64: 9314EA3A765FC61D Time : 0.0 sec. user=vaughan [2012-02-13 06:36:54] 493*2^1122907-1 is not prime. Res64: A0FBD557A88ACCC2 Time : 0.0 sec. user=vaughan [2012-02-13 06:36:56] 563*2^1122906-1 is not prime. Res64: FE3EE3F0B0D390CC Time : 0.0 sec. user=henryzz [2012-02-13 06:38:37] 591*2^1122901-1 is not prime. Res64: 9250A409C8604090 Time : 0.0 sec. user=vaughan [2012-02-13 06:38:42] 523*2^1122735-1 is not prime. Res64: AF446D8DEFA15F31 Time : 0.0 sec. user=henryzz [2012-02-13 06:40:04] 423*2^1122902-1 is not prime. Res64: 384D10D23C30483A Time : 0.0 sec. user=henryzz [2012-02-13 06:40:26] 483*2^1122902-1 is not prime. Res64: ED682EE3600C0C26 Time : 0.0 sec. user=juhehe [2012-02-13 06:40:46] 527*2^1122898-1 is not prime. Res64: AD3D7F4E547B82B0 Time : 0.0 sec. user=juhehe [2012-02-13 06:40:54] 433*2^1122899-1 is not prime. Res64: 48B34BD3BC0856E6 Time : 0.0 sec. user=henryzz [2012-02-13 06:43:54] 565*2^1122903-1 is not prime. Res64: 9D7719BDE2DEA3FA Time : 0.0 sec. user=vaughan [2012-02-13 06:56:59] 425*2^1122750-1 is not prime. Res64: 32683A2E6BF1FA1C Time : 0.0 sec. user=vaughan [2012-02-13 06:56:59] 447*2^1122750-1 is not prime. Res64: BA2568617DD8E2FF Time : 0.0 sec. user=vaughan [2012-02-13 06:57:00] 453*2^1122742-1 is not prime. Res64: D020B1F28A5D3973 Time : 0.0 sec. user=vaughan [2012-02-13 06:57:01] 465*2^1122743-1 is not prime. Res64: 450765BB20546436 Time : 0.0 sec. user=vaughan [2012-02-13 06:57:07] 525*2^1122750-1 is not prime. Res64: 64F2903BB30106E8 Time : 0.0 sec. user=vaughan [2012-02-13 06:57:07] 405*2^1122751-1 is not prime. Res64: 95E81B1ADA587B08 Time : 0.0 sec. user=vaughan [2012-02-13 06:57:12] 511*2^1122743-1 is not prime. Res64: D12D29ED36171F3B Time : 0.0 sec. user=vaughan [2012-02-13 06:57:13] 549*2^1122743-1 is not prime. Res64: 1FC420C78818E63F Time : 0.0 sec. user=henryzz [2012-02-13 06:59:49] 539*2^1122912-1 is not prime. Res64: C4473BE0F27764BA Time : 0.0 sec. user=henryzz [2012-02-13 07:01:30] 477*2^1122913-1 is not prime. Res64: F5F5BE1E45BDBA3D Time : 0.0 sec. user=henryzz [2012-02-13 07:01:46] 517*2^1122913-1 is not prime. Res64: 6A823BDADC95525E Time : 0.0 sec. user=henryzz [2012-02-13 07:05:40] 565*2^1122913-1 is not prime. Res64: FE9DD6DE9D4CD3B6 Time : 0.0 sec. user=vaughan [2012-02-13 07:07:15] 525*2^1122910-1 is not prime. Res64: 9FEE401DD6464B9A Time : 0.0 sec. user=vaughan [2012-02-13 07:07:16] 527*2^1122910-1 is not prime. Res64: 022F70104C594432 Time : 0.0 sec. user=juhehe [2012-02-13 07:11:55] 555*2^1122913-1 is not prime. Res64: CB566B7CC75B19B5 Time : 0.0 sec. user=juhehe [2012-02-13 07:12:05] 559*2^1122913-1 is not prime. Res64: 7FCBA4780DC3366F Time : 0.0 sec. user=vaughan [2012-02-13 07:15:33] 427*2^1122913-1 is not prime. Res64: 3090FD3A2E3A54AD Time : 0.0 sec. user=vaughan [2012-02-13 07:15:34] 471*2^1122913-1 is not prime. Res64: DA5FFD37F703AEA2 Time : 0.0 sec. user=henryzz [2012-02-13 07:20:57] 483*2^1122916-1 is not prime. Res64: 94809E145A98248E Time : 0.0 sec. user=henryzz [2012-02-13 07:22:35] 439*2^1122917-1 is not prime. Res64: 8ADCC27B92201D09 Time : 0.0 sec. user=henryzz [2012-02-13 07:22:50] 447*2^1122917-1 is not prime. Res64: 7C5DB52A90FF9C95 Time : 0.0 sec. user=vaughan [2012-02-13 07:26:06] 567*2^1122917-1 is not prime. Res64: D1D7C60C97C06A1E Time : 0.0 sec. user=vaughan [2012-02-13 07:26:13] 563*2^1122914-1 is not prime. Res64: B039786DC5512CDB Time : 0.0 sec. user=vaughan [2012-02-13 07:26:18] 583*2^1122915-1 is not prime. Res64: A8A86AC0A83C985E Time : 0.0 sec. user=vaughan [2012-02-13 07:26:25] 503*2^1122914-1 is not prime. Res64: 320308947E1680F7 Time : 0.0 sec. user=vaughan [2012-02-13 07:26:28] 437*2^1122914-1 is not prime. Res64: 0CDDDFBF4E69EF67 Time : 0.0 sec. user=henryzz [2012-02-13 07:27:12] 451*2^1122917-1 is not prime. Res64: 5FC28D800876D68E Time : 0.0 sec. user=henryzz [2012-02-13 07:42:01] 511*2^1122919-1 is not prime. Res64: 7D74D0D5BFF70EB7 Time : 0.0 sec. user=juhehe [2012-02-13 07:43:13] 485*2^1122918-1 is not prime. Res64: 8965CC11FE329FC0 Time : 0.0 sec. user=juhehe [2012-02-13 07:43:23] 555*2^1122918-1 is not prime. Res64: 4ED80BEA05048846 Time : 0.0 sec. user=henryzz [2012-02-13 07:44:02] 553*2^1122919-1 is not prime. Res64: 2FDE174E23BDF088 Time : 0.0 sec. user=henryzz [2012-02-13 07:44:05] 531*2^1122919-1 is not prime. Res64: 1491742441302D54 Time : 0.0 sec. user=henryzz [2012-02-13 07:48:58] 589*2^1122919-1 is not prime. Res64: C21A3745981C9263 Time : 0.0 sec. user=henryzz [2012-02-13 08:03:16] 467*2^1122920-1 is not prime. Res64: A2950F5B91B41F85 Time : 0.0 sec. user=henryzz [2012-02-13 08:05:15] 435*2^1122922-1 is not prime. Res64: 7A1FD4CBEDF9A79C Time : 0.0 sec. user=henryzz [2012-02-13 08:05:16] 559*2^1122921-1 is not prime. Res64: BF2188D7BBF00297 Time : 0.0 sec. user=henryzz [2012-02-13 08:10:18] 497*2^1122922-1 is not prime. Res64: 6C37C05BD990D73C Time : 0.0 sec. user=juhehe [2012-02-13 08:14:32] 525*2^1122920-1 is not prime. Res64: 7F49CFEB00D78B79 Time : 0.0 sec. user=juhehe [2012-02-13 08:14:41] 543*2^1122920-1 is not prime. Res64: 2DE67D980CEC5C9D Time : 0.0 sec. user=henryzz [2012-02-13 08:24:23] 409*2^1122923-1 is not prime. Res64: 08638CD187D1C997 Time : 0.0 sec. user=henryzz [2012-02-13 08:26:48] 511*2^1122923-1 is not prime. Res64: 096C9F1C0732AC73 Time : 0.0 sec. user=henryzz [2012-02-13 08:27:14] 453*2^1122923-1 is not prime. Res64: 62DB6B554B4664A3 Time : 0.0 sec. user=henryzz [2012-02-13 08:31:17] 549*2^1122923-1 is not prime. Res64: F9508FAAB83677AE Time : 0.0 sec. user=juhehe [2012-02-13 08:45:43] 453*2^1122924-1 is not prime. Res64: BA3C1524DD7E8011 Time : 0.0 sec. user=juhehe [2012-02-13 08:45:53] 555*2^1122924-1 is not prime. Res64: C1F762920AA58AB7 Time : 0.0 sec. user=henryzz [2012-02-13 08:46:11] 597*2^1122924-1 is not prime. Res64: 259CD0A8AE1F2269 Time : 0.0 sec. user=henryzz [2012-02-13 08:47:59] 409*2^1122925-1 is not prime. Res64: FA418F0DA8474CC0 Time : 0.0 sec. user=henryzz [2012-02-13 08:49:02] 415*2^1122925-1 is not prime. Res64: 776CB5420067D4EA Time : 0.0 sec. user=henryzz [2012-02-13 08:52:42] 429*2^1122925-1 is not prime. Res64: 522407709ACCA907 Time : 0.0 sec. user=henryzz [2012-02-13 09:07:41] 437*2^1122926-1 is not prime. Res64: 76AFB82DB4F995C0 Time : 0.0 sec. user=henryzz [2012-02-13 09:09:14] 473*2^1122926-1 is not prime. Res64: D5D4CBA8140BEA2B Time : 0.0 sec. user=henryzz [2012-02-13 09:10:05] 501*2^1122926-1 is not prime. Res64: 1782B314BB300A6E Time : 0.0 sec. user=henryzz [2012-02-13 09:15:06] 583*2^1122927-1 is not prime. Res64: 120D06D3187EDDBF Time : 0.0 sec. user=juhehe [2012-02-13 09:17:12] 537*2^1122925-1 is not prime. Res64: 50B864936520E52E Time : 0.0 sec. user=juhehe [2012-02-13 09:17:24] 555*2^1122925-1 is not prime. Res64: E8C1604D44984E3D Time : 0.0 sec. user=henryzz [2012-02-13 09:29:33] 467*2^1122928-1 is not prime. Res64: DADD8C94548592D6 Time : 0.0 sec. user=henryzz [2012-02-13 09:31:20] 567*2^1122928-1 is not prime. Res64: C4A46786A9C4A134 Time : 0.0 sec. user=henryzz [2012-02-13 09:32:11] 441*2^1122929-1 is not prime. Res64: F47621E6E99C7A4D Time : 0.0 sec. user=henryzz [2012-02-13 09:37:33] 411*2^1122930-1 is not prime. Res64: FC4E6DA6BE4262AA Time : 0.0 sec. user=juhehe [2012-02-13 09:48:40] 461*2^1122930-1 is not prime. Res64: 876C563D1870624A Time : 0.0 sec. user=juhehe [2012-02-13 09:48:51] 537*2^1122930-1 is not prime. Res64: 423F577686682B4B Time : 0.0 sec. user=henryzz [2012-02-13 09:52:08] 509*2^1122480-1 is not prime. Res64: D541D39BDBF5EA86 Time : 0.0 sec. user=henryzz [2012-02-13 09:55:04] 433*2^1122931-1 is not prime. Res64: CB63E06EC8D9213B Time : 0.0 sec. user=henryzz [2012-02-13 09:55:41] 439*2^1122481-1 is not prime. Res64: 098C54130F64AD66 Time : 0.0 sec. user=henryzz [2012-02-13 09:59:30] 467*2^1122932-1 is not prime. Res64: 2F2E1466B0C87FC0 Time : 0.0 sec. user=juhehe [2012-02-13 10:02:06] 405*2^1122580-1 is not prime. Res64: CCA040634DFFB9B0 Time : 0.0 sec. user=juhehe [2012-02-13 10:19:56] 489*2^1122932-1 is not prime. Res64: 623AA17D55C48704 Time : 0.0 sec. user=juhehe [2012-02-13 10:20:08] 599*2^1122932-1 is not prime. Res64: 3E7360CDBCD2B6B5 Time : 0.0 sec. user=henryzz [2012-02-13 10:21:40] 521*2^1122482-1 is not prime. Res64: FD0F672364684DFC Time : 0.0 sec. user=henryzz [2012-02-13 10:22:02] 437*2^1122482-1 is not prime. Res64: F299D11756EA572B Time : 0.0 sec. user=juhehe [2012-02-13 10:25:41] 451*2^1122933-1 is not prime. Res64: 61B90234A64D53FD Time : 0.0 sec. user=henryzz [2012-02-13 10:26:06] 583*2^1122483-1 is not prime. Res64: 23150D2D52A55149 Time : 0.0 sec. user=henryzz [2012-02-13 10:29:30] 465*2^1122484-1 is not prime. Res64: 55774E3E534BA79A Time : 0.0 sec. user=henryzz [2012-02-13 10:49:00] 459*2^1122933-1 is not prime. Res64: EDA24369B8C3F720 Time : 0.0 sec. user=juhehe [2012-02-13 10:49:17] 555*2^1122933-1 is not prime. Res64: 728EB820ED662A84 Time : 0.0 sec. user=juhehe [2012-02-13 10:51:08] 439*2^1122487-1 is not prime. Res64: 487336001E1C25CE Time : 0.0 sec. user=juhehe [2012-02-13 10:51:20] 469*2^1122487-1 is not prime. Res64: 39CFE0EDC66F585E Time : 0.0 sec. user=henryzz [2012-02-13 10:53:00] 585*2^1122933-1 is not prime. Res64: C6B1ABF47C66EA05 Time : 0.0 sec. user=henryzz [2012-02-13 10:54:53] 549*2^1122933-1 is not prime. Res64: 638AE7C20B128E7D Time : 0.0 sec. user=henryzz [2012-02-13 10:59:15] 591*2^1122933-1 is not prime. Res64: D56E7857A45BED32 Time : 0.0 sec. user=juhehe [2012-02-13 11:11:27] 441*2^1122935-1 is not prime. Res64: 7E907BC194D96CBC Time : 0.0 sec. user=henryzz [2012-02-13 11:13:59] 425*2^1122934-1 is not prime. Res64: 7CCDCC7887C7D7AB Time : 0.0 sec. user=henryzz [2012-02-13 11:19:01] 557*2^1122936-1 is not prime. Res64: 88A5AA7FD1D55A58 Time : 0.0 sec. user=juhehe [2012-02-13 11:22:27] 455*2^1122936-1 is not prime. Res64: 22B09D3E32468856 Time : 0.0 sec. user=juhehe [2012-02-13 11:22:43] 503*2^1122936-1 is not prime. Res64: 983AEB63FAE7AA82 Time : 0.0 sec. user=henryzz [2012-02-13 11:23:44] 439*2^1122937-1 is not prime. Res64: F8C1E8FD21BBF7DC Time : 0.0 sec. user=henryzz [2012-02-13 11:24:58] 555*2^1122937-1 is not prime. Res64: D90FDA35AF3046AD Time : 0.0 sec. user=juhehe [2012-02-13 11:30:12] 515*2^1122938-1 is not prime. Res64: DA5EBAD6F382915F Time : 0.0 sec. user=henryzz [2012-02-13 11:35:34] 415*2^1122939-1 is not prime. Res64: 3A9ED5E896477A77 Time : 0.0 sec. user=henryzz [2012-02-13 11:41:12] 405*2^1122940-1 is not prime. Res64: 1008751BD9E9A7C4 Time : 0.0 sec. user=henryzz [2012-02-13 11:46:15] 577*2^1122941-1 is not prime. Res64: 7F3D06C80B3A9E10 Time : 0.0 sec. user=henryzz [2012-02-13 11:48:39] 401*2^1122942-1 is not prime. Res64: 379F6DE8049BDF0F Time : 0.0 sec. user=juhehe [2012-02-13 11:50:06] 447*2^1122942-1 is not prime. Res64: 51263BBD74F66D9E Time : 0.0 sec. user=juhehe [2012-02-13 11:53:46] 597*2^1122940-1 is not prime. Res64: 636EE8A5A85FF61B Time : 0.0 sec. user=juhehe [2012-02-13 11:54:03] 517*2^1122941-1 is not prime. Res64: 0C7F52E354949E33 Time : 0.0 sec. user=juhehe [2012-02-13 12:12:45] 509*2^1122944-1 is not prime. Res64: E25AACD35DB843EF Time : 0.0 sec. user=henryzz [2012-02-13 12:19:34] 541*2^1122943-1 is not prime. Res64: 9A2651674E4FB864 Time : 0.0 sec. user=henryzz [2012-02-13 12:19:45] 411*2^1122943-1 is not prime. Res64: CE9AB27B64DBA277 Time : 0.0 sec. user=henryzz [2012-02-13 12:20:45] 495*2^1122945-1 is not prime. Res64: 55409D80730D94B3 Time : 0.0 sec. user=henryzz [2012-02-13 12:20:57] 441*2^1122943-1 is not prime. Res64: 4DF82194580BC787 Time : 0.0 sec. user=juhehe [2012-02-13 12:25:05] 471*2^1122945-1 is not prime. Res64: E09B65BE28989EC4 Time : 0.0 sec. user=juhehe [2012-02-13 12:25:15] 475*2^1122945-1 is not prime. Res64: 6526D9CD9FF66F25 Time : 0.0 sec. user=juhehe [2012-02-13 12:35:31] 437*2^1122946-1 is not prime. Res64: 5BF06F8BE2745CE0 Time : 0.0 sec. user=juhehe [2012-02-13 12:56:19] 491*2^1122946-1 is not prime. Res64: 474925C3FBA11DA7 Time : 0.0 sec. user=juhehe [2012-02-13 12:56:28] 531*2^1122946-1 is not prime. Res64: CA6CFFDB58A6CBB2 Time : 0.0 sec. user=juhehe [2012-02-13 13:27:35] 589*2^1122947-1 is not prime. Res64: 073A58570EDC37B0 Time : 0.0 sec. user=juhehe [2012-02-13 13:27:47] 453*2^1122948-1 is not prime. Res64: 248C43116094E225 Time : 0.0 sec. user=juhehe [2012-02-13 13:58:55] 527*2^1122948-1 is not prime. Res64: 9531BAFDCC0B99A3 Time : 0.0 sec. user=juhehe [2012-02-13 13:59:05] 557*2^1122948-1 is not prime. Res64: 152F52D4293E5109 Time : 0.0 sec. user=juhehe [2012-02-13 14:30:12] 597*2^1122948-1 is not prime. Res64: 5CA673E5B2D8BD38 Time : 0.0 sec. user=juhehe [2012-02-13 14:30:22] 429*2^1122949-1 is not prime. Res64: 02C38E46C0E69B4E Time : 0.0 sec. user=juhehe [2012-02-13 15:01:35] 435*2^1122949-1 is not prime. Res64: 7036F11988E82A1B Time : 0.0 sec. user=juhehe [2012-02-13 15:01:44] 565*2^1122949-1 is not prime. Res64: 31582487CD46724B Time : 0.0 sec. user=juhehe [2012-02-13 15:33:05] 411*2^1122950-1 is not prime. Res64: E3DFB97531E390A9 Time : 0.0 sec. user=juhehe [2012-02-13 15:33:12] 455*2^1122950-1 is not prime. Res64: 530A0F2B4A8AA1BF Time : 0.0 sec. user=juhehe [2012-02-13 16:04:24] 567*2^1122950-1 is not prime. Res64: B70EEB3D02179856 Time : 0.0 sec. user=juhehe [2012-02-13 16:04:32] 591*2^1122950-1 is not prime. Res64: A1D3C09B4EB42AEE Time : 0.0 sec. user=vaughan [2012-02-13 16:13:54] 467*2^1122838-1 is not prime. Res64: F827903003392640 Time : 0.0 sec. user=vaughan [2012-02-13 16:15:23] 579*2^1122839-1 is not prime. Res64: AAA7DD812C19201F Time : 0.0 sec. user=vaughan [2012-02-13 16:16:28] 429*2^1122847-1 is not prime. Res64: 474A4DFB7B5F40F3 Time : 0.0 sec. user=vaughan [2012-02-13 16:16:28] 453*2^1122846-1 is not prime. Res64: 5573C26A5EBA44E0 Time : 0.0 sec. user=vaughan [2012-02-13 16:16:29] 495*2^1122846-1 is not prime. Res64: 5AED0B11D9CE0130 Time : 0.0 sec. user=vaughan [2012-02-13 16:16:29] 509*2^1122848-1 is not prime. Res64: 342E1738B1B97C51 Time : 0.0 sec. user=vaughan [2012-02-13 16:16:29] 499*2^1122847-1 is not prime. Res64: 9B8D3A788692A7FD Time : 0.0 sec. user=vaughan [2012-02-13 16:16:29] 439*2^1122823-1 is not prime. Res64: 4C45BBCC7A47B992 Time : 0.0 sec. user=vaughan [2012-02-13 16:19:10] 581*2^1122850-1 is not prime. Res64: 381BCEE8EDF65ED1 Time : 0.0 sec. user=vaughan [2012-02-13 16:19:10] 437*2^1122852-1 is not prime. Res64: 08FD10D3462613B0 Time : 0.0 sec. user=vaughan [2012-02-13 16:19:39] 553*2^1122903-1 is not prime. Res64: 27570A03B8A9B828 Time : 0.0 sec. user=vaughan [2012-02-13 16:19:42] 459*2^1122903-1 is not prime. Res64: 20D031C920D67E33 Time : 0.0 sec. user=vaughan [2012-02-13 16:21:05] 475*2^1122845-1 is not prime. Res64: 8472BBE78105F27D Time : 0.0 sec. user=vaughan [2012-02-13 16:21:43] 595*2^1122547-1 is not prime. Res64: 108F9489AA0CB341 Time : 0.0 sec. user=vaughan [2012-02-13 16:21:43] 453*2^1122907-1 is not prime. Res64: AE5DF6493E42B335 Time : 0.0 sec. user=vaughan [2012-02-13 16:21:53] 425*2^1122908-1 is not prime. Res64: 1B037926FE1FC56C Time : 0.0 sec. user=vaughan [2012-02-13 16:31:07] 549*2^1122911-1 is not prime. Res64: 0284575F893EFF4A Time : 0.0 sec. user=vaughan [2012-02-13 16:31:08] 479*2^1122912-1 is not prime. Res64: 33D022B751197C6C Time : 0.0 sec. user=vaughan [2012-02-13 16:31:13] 441*2^1122873-1 is not prime. Res64: BEE1BC7EBEFC8222 Time : 0.0 sec. user=vaughan [2012-02-13 16:31:14] 475*2^1122873-1 is not prime. Res64: AF1FBBCBA86181FA Time : 0.0 sec. user=vaughan [2012-02-13 16:31:55] 497*2^1122912-1 is not prime. Res64: 9E68DC5E55C91D56 Time : 0.0 sec. user=vaughan [2012-02-13 16:31:55] 513*2^1122912-1 is not prime. Res64: 9441D7C95C12BDEC Time : 0.0 sec. user=vaughan [2012-02-13 16:32:09] 477*2^1122740-1 is not prime. Res64: 7F405474D456D99F Time : 0.0 sec. user=vaughan [2012-02-13 16:32:51] 453*2^1122852-1 is not prime. Res64: 893F9538C48C6297 Time : 0.0 sec. user=vaughan [2012-02-13 16:32:57] 579*2^1122851-1 is not prime. Res64: 9B93AC9A91663218 Time : 0.0 sec. user=vaughan [2012-02-13 16:33:57] 451*2^1122847-1 is not prime. Res64: 5445C6980898EB15 Time : 0.0 sec. user=vaughan [2012-02-13 16:33:57] 521*2^1122846-1 is not prime. Res64: 0AD51BD1DFCB4C4F Time : 0.0 sec. user=vaughan [2012-02-13 16:33:57] 479*2^1122848-1 is not prime. Res64: CD1D15F2A97B6032 Time : 0.0 sec. user=vaughan [2012-02-13 16:33:58] 573*2^1122848-1 is not prime. Res64: 22D8619E4DC1C92D Time : 0.0 sec. user=vaughan [2012-02-13 16:34:01] 423*2^1122847-1 is not prime. Res64: C4E6EAF2A7468AE8 Time : 0.0 sec. user=juhehe [2012-02-13 16:35:38] 441*2^1122951-1 is not prime. Res64: 74B036FD9AD3E620 Time : 0.0 sec. user=juhehe [2012-02-13 16:35:49] 513*2^1122951-1 is not prime. Res64: CE2C8D07F984F58C Time : 0.0 sec. user=vaughan [2012-02-13 16:38:28] 467*2^1122908-1 is not prime. Res64: 2565E23198CB8032 Time : 0.0 sec. user=vaughan [2012-02-13 16:38:28] 539*2^1122908-1 is not prime. Res64: C05095E8B831BA07 Time : 0.0 sec. user=vaughan [2012-02-13 16:38:33] 487*2^1122909-1 is not prime. Res64: C145CAC58088832B Time : 0.0 sec. user=vaughan [2012-02-13 16:38:33] 579*2^1122909-1 is not prime. Res64: 4A9A4CC3131DC5BD Time : 0.0 sec. user=vaughan [2012-02-13 16:38:38] 573*2^1122908-1 is not prime. Res64: 293D6D514F91E9AE Time : 0.0 sec. user=vaughan [2012-02-13 16:38:38] 465*2^1122909-1 is not prime. Res64: 6DD611450CFF7711 Time : 0.0 sec. user=vaughan [2012-02-13 16:39:06] 525*2^1122904-1 is not prime. Res64: 332B2D175980E891 Time : 0.0 sec. user=vaughan [2012-02-13 16:39:07] 405*2^1122905-1 is not prime. Res64: C66E74BBC368F6D0 Time : 0.0 sec. user=vaughan [2012-02-13 16:39:11] 413*2^1122904-1 is not prime. Res64: FC1680619E4BF8BF Time : 0.0 sec. user=vaughan [2012-02-13 16:39:11] 447*2^1122904-1 is not prime. Res64: 60B078D14C7E6135 Time : 0.0 sec. user=vaughan [2012-02-13 16:39:14] 475*2^1122905-1 is not prime. Res64: 47B23690093B2279 Time : 0.0 sec. user=vaughan [2012-02-13 16:39:15] 507*2^1122905-1 is not prime. Res64: BFBE54C3D52884E4 Time : 0.0 sec. user=vaughan [2012-02-13 16:39:29] 507*2^1122838-1 is not prime. Res64: 1B7740FAF8414651 Time : 0.0 sec. user=vaughan [2012-02-13 16:41:21] 481*2^1122845-1 is not prime. Res64: A9B2466724506D0F Time : 0.0 sec. user=vaughan [2012-02-13 16:41:46] 559*2^1122953-1 is not prime. Res64: CCE7153B85016788 Time : 0.0 sec. user=vaughan [2012-02-13 16:41:47] 589*2^1122953-1 is not prime. Res64: A4EDF3F6FBDC9E45 Time : 0.0 sec. user=vaughan [2012-02-13 16:41:51] 487*2^1122953-1 is not prime. Res64: EEDAE5F82D0BACD1 Time : 0.0 sec. user=vaughan [2012-02-13 16:41:51] 517*2^1122953-1 is not prime. Res64: EE15657F9FA377B3 Time : 0.0 sec. user=vaughan [2012-02-13 16:42:01] 465*2^1122954-1 is not prime. Res64: 9438FEFF83148FB7 Time : 0.0 sec. user=vaughan [2012-02-13 16:42:01] 501*2^1122954-1 is not prime. Res64: 560791CAA40A36C1 Time : 0.0 sec. user=vaughan [2012-02-13 16:42:09] 531*2^1122951-1 is not prime. Res64: 18168D24BA771395 Time : 0.0 sec. user=vaughan [2012-02-13 16:42:10] 591*2^1122951-1 is not prime. Res64: 3E8D7F40EF4224FC Time : 0.0 sec. user=vaughan [2012-02-13 16:42:19] 413*2^1122952-1 is not prime. Res64: E4A0EF69221606B2 Time : 0.0 sec. user=vaughan [2012-02-13 16:42:20] 445*2^1122953-1 is not prime. Res64: DEDB4BBC2503A4D3 Time : 0.0 sec. user=vaughan [2012-02-13 16:46:32] 555*2^1122853-1 is not prime. Res64: BF6730A3410C92C8 Time : 0.0 sec. user=vaughan [2012-02-13 16:46:33] 577*2^1122853-1 is not prime. Res64: F159E423EDCBA467 Time : 0.0 sec. user=vaughan [2012-02-13 16:56:12] 549*2^1122849-1 is not prime. Res64: 50123D698310371C Time : 0.0 sec. user=vaughan [2012-02-13 16:56:12] 561*2^1122850-1 is not prime. Res64: 61CB08D55DC96D30 Time : 0.0 sec. user=vaughan [2012-02-13 16:57:32] 465*2^1122959-1 is not prime. Res64: E27B3BEFDFC340A1 Time : 0.0 sec. user=vaughan [2012-02-13 16:57:32] 405*2^1122960-1 is not prime. Res64: DD88207033A79932 Time : 0.0 sec. user=vaughan [2012-02-13 16:57:32] 577*2^1122957-1 is not prime. Res64: 8164E8F4F99A3F7E Time : 0.0 sec. user=vaughan [2012-02-13 17:00:56] 409*2^1122957-1 is not prime. Res64: F312AE9912FC23B4 Time : 0.0 sec. user=vaughan [2012-02-13 17:04:46] 455*2^1122956-1 is not prime. Res64: 0E4CE2EB72246B87 Time : 0.0 sec. user=vaughan [2012-02-13 17:04:46] 553*2^1122955-1 is not prime. Res64: C8C4671E62540387 Time : 0.0 sec. user=juhehe [2012-02-13 17:06:56] 419*2^1122964-1 is not prime. Res64: E695499708160083 Time : 0.0 sec. user=juhehe [2012-02-13 17:07:06] 495*2^1122964-1 is not prime. Res64: FBBE2F5165280044 Time : 0.0 sec. user=vaughan [2012-02-13 17:10:47] 537*2^1122957-1 is not prime. Res64: 76F502CE5B615AF4 Time : 0.0 sec. user=vaughan [2012-02-13 17:11:25] 473*2^1122960-1 is not prime. Res64: 0D688EC4408ADBA2 Time : 0.0 sec. user=vaughan [2012-02-13 17:11:39] 559*2^1122959-1 is not prime. Res64: 3290D0F36F1A0D63 Time : 0.0 sec. user=vaughan [2012-02-13 17:15:22] 405*2^1122956-1 is not prime. Res64: 871CC266C928D8D9 Time : 0.0 sec. user=vaughan [2012-02-13 17:16:41] 597*2^1122849-1 is not prime. Res64: BE7838A5D70B6E5E Time : 0.0 sec. user=vaughan [2012-02-13 17:16:45] 567*2^1122850-1 is not prime. Res64: 1A9510FF03BDE59C Time : 0.0 sec. user=vaughan [2012-02-13 17:20:34] 557*2^1122972-1 is not prime. Res64: B647533DC487D13E Time : 0.0 sec. user=vaughan [2012-02-13 17:20:35] 567*2^1122972-1 is not prime. Res64: 951850D98F32F9DE Time : 0.0 sec. user=vaughan [2012-02-13 17:20:36] 465*2^1122971-1 is not prime. Res64: 1970DEDD84F8341C Time : 0.0 sec. user=vaughan [2012-02-13 17:20:37] 579*2^1122971-1 is not prime. Res64: 4343872D15D7EC06 Time : 0.0 sec. user=vaughan [2012-02-13 17:25:07] 511*2^1122973-1 is not prime. Res64: 5284BFA75541159C Time : 0.0 sec. user=vaughan [2012-02-13 17:25:07] 559*2^1122973-1 is not prime. Res64: 9487BA42D8F8625B Time : 0.0 sec. user=vaughan [2012-02-13 17:25:47] 569*2^1122972-1 is not prime. Res64: CF4B5F74A9612F23 Time : 0.0 sec. user=vaughan [2012-02-13 17:25:47] 579*2^1122972-1 is not prime. Res64: 4804BFECBF907B94 Time : 0.0 sec. user=vaughan [2012-02-13 17:25:51] 593*2^1122972-1 is not prime. Res64: F7ADE47583ED9789 Time : 0.0 sec. user=vaughan [2012-02-13 17:25:52] 477*2^1122973-1 is not prime. Res64: 44733520F326D232 Time : 0.0 sec. user=vaughan [2012-02-13 17:30:32] 575*2^1122974-1 is not prime. Res64: 7E941A3F409A1DDF Time : 0.0 sec. user=vaughan [2012-02-13 17:30:33] 445*2^1122975-1 is not prime. Res64: ED15D8DC54178007 Time : 0.0 sec. user=vaughan [2012-02-13 17:36:10] 533*2^1122958-1 is not prime. Res64: 542B106237CBF6D1 Time : 0.0 sec. user=vaughan [2012-02-13 17:36:11] 547*2^1122961-1 is not prime. Res64: D92450A15448B35A Time : 0.0 sec. user=vaughan [2012-02-13 17:36:11] 445*2^1122959-1 is not prime. Res64: CA9FACEC7A263B3B Time : 0.0 sec. user=vaughan [2012-02-13 17:36:11] 407*2^1122962-1 is not prime. Res64: 49409895DB8C695D Time : 0.0 sec. user=vaughan [2012-02-13 17:36:13] 497*2^1122962-1 is not prime. Res64: A6F7531CA12FB917 Time : 0.0 sec. user=vaughan [2012-02-13 17:36:13] 553*2^1122963-1 is not prime. Res64: FBFAFD3C3BA76EF1 Time : 0.0 sec. user=vaughan [2012-02-13 17:36:13] 561*2^1122962-1 is not prime. Res64: 5F0CFC9452B29CB9 Time : 0.0 sec. user=vaughan [2012-02-13 17:36:13] 503*2^1122962-1 is not prime. Res64: 4C0DB3EB6D217B83 Time : 0.0 sec. user=vaughan [2012-02-13 17:36:14] 595*2^1122963-1 is not prime. Res64: 3753E41FD474E45A Time : 0.0 sec. user=vaughan [2012-02-13 17:36:14] 495*2^1122963-1 is not prime. Res64: 157C181F876FCB38 Time : 0.0 sec. user=vaughan [2012-02-13 17:36:17] 537*2^1122960-1 is not prime. Res64: C1929BE99537EA4C Time : 0.0 sec. user=vaughan [2012-02-13 17:36:17] 405*2^1122961-1 is not prime. Res64: 8607A75E1BA54566 Time : 0.0 sec. user=vaughan [2012-02-13 17:36:28] 507*2^1122977-1 is not prime. Res64: D41479BFBF1005E4 Time : 0.0 sec. user=vaughan [2012-02-13 17:36:28] 549*2^1122977-1 is not prime. Res64: 56C8C302579A64C3 Time : 0.0 sec. user=vaughan [2012-02-13 17:36:49] 425*2^1122968-1 is not prime. Res64: 6F7031ADDB50C8C4 Time : 0.0 sec. user=vaughan [2012-02-13 17:36:50] 473*2^1122968-1 is not prime. Res64: A90DD3268523E744 Time : 0.0 sec. user=vaughan [2012-02-13 17:36:52] 585*2^1122968-1 is not prime. Res64: 6C0533B118E5FD91 Time : 0.0 sec. user=vaughan [2012-02-13 17:36:53] 465*2^1122969-1 is not prime. Res64: 4F2179DE5AF0CDF6 Time : 0.0 sec. user=vaughan [2012-02-13 17:36:55] 441*2^1122967-1 is not prime. Res64: 6CD774EA4ECC14CA Time : 0.0 sec. user=vaughan [2012-02-13 17:36:56] 451*2^1122967-1 is not prime. Res64: 8D4A58715C6FD62F Time : 0.0 sec. user=vaughan [2012-02-13 17:36:59] 513*2^1122970-1 is not prime. Res64: B3DD1881C61BA433 Time : 0.0 sec. user=vaughan [2012-02-13 17:37:00] 531*2^1122970-1 is not prime. Res64: 10773C1F1DA22DBA Time : 0.0 sec. user=juhehe [2012-02-13 17:38:17] 417*2^1122974-1 is not prime. Res64: 23D43A91964E8736 Time : 0.0 sec. user=juhehe [2012-02-13 17:38:25] 501*2^1122974-1 is not prime. Res64: 8184D11B2D410E2D Time : 0.0 sec. user=vaughan [2012-02-13 17:38:36] 451*2^1122975-1 is not prime. Res64: 3ABE2FCD9C72EC1E Time : 0.0 sec. user=vaughan [2012-02-13 17:38:36] 465*2^1122975-1 is not prime. Res64: 0C3F1D8317353749 Time : 0.0 sec. user=vaughan [2012-02-13 17:38:40] 595*2^1122975-1 is not prime. Res64: 3835845E9D3FC835 Time : 0.0 sec. user=vaughan [2012-02-13 17:38:41] 405*2^1122977-1 is not prime. Res64: A94F37F750B920C9 Time : 0.0 sec. user=vaughan [2012-02-13 17:40:17] 515*2^1122978-1 is not prime. Res64: 9BEDD77CCD313410 Time : 0.0 sec. user=vaughan [2012-02-13 17:40:17] 573*2^1122978-1 is not prime. Res64: DEE1170A08B72E08 Time : 0.0 sec. user=vaughan [2012-02-13 17:40:21] 511*2^1122979-1 is not prime. Res64: 18FB6096D3DA83CA Time : 0.0 sec. user=vaughan [2012-02-13 17:40:22] 561*2^1122979-1 is not prime. Res64: FCE4EBC48C9E9C62 Time : 0.0 sec. user=vaughan [2012-02-13 17:46:59] 401*2^1122982-1 is not prime. Res64: 71BB3B81CEC948CC Time : 0.0 sec. user=vaughan [2012-02-13 17:46:59] 503*2^1122982-1 is not prime. Res64: D3153D93ACB12B6D Time : 0.0 sec. user=vaughan [2012-02-13 17:47:02] 483*2^1122980-1 is not prime. Res64: 8F1907C4B467C4C0 Time : 0.0 sec. user=vaughan [2012-02-13 17:47:03] 577*2^1122981-1 is not prime. Res64: F2DD66913D63F65D Time : 0.0 sec. user=vaughan [2012-02-13 17:50:16] 527*2^1122982-1 is not prime. Res64: 84B964B3EA2970F9 Time : 0.0 sec. user=vaughan [2012-02-13 17:50:16] 567*2^1122982-1 is not prime. Res64: 6DA3796175EB3776 Time : 0.0 sec. user=vaughan [2012-02-13 17:51:48] 573*2^1122966-1 is not prime. Res64: AF8D65638B4D3355 Time : 0.0 sec. user=vaughan [2012-02-13 17:51:48] 471*2^1122966-1 is not prime. Res64: C9B8AF2D9055625C Time : 0.0 sec. user=vaughan [2012-02-13 17:51:48] 405*2^1122967-1 is not prime. Res64: 5EB9ACD53B2ED220 Time : 0.0 sec. user=vaughan [2012-02-13 17:51:49] 503*2^1122966-1 is not prime. Res64: 6413CFDDE7067516 Time : 0.0 sec. user=vaughan [2012-02-13 17:51:51] 431*2^1122966-1 is not prime. Res64: 6B8694440DA1DC08 Time : 0.0 sec. user=vaughan [2012-02-13 17:51:51] 453*2^1122966-1 is not prime. Res64: E7FCC362D82C8DE9 Time : 0.0 sec. user=vaughan [2012-02-13 17:52:33] 405*2^1122980-1 is not prime. Res64: 62376888A82DD48D Time : 0.0 sec. user=vaughan [2012-02-13 17:52:34] 437*2^1122980-1 is not prime. Res64: B39D2F8C2CED3934 Time : 0.0 sec. user=vaughan [2012-02-13 17:57:32] 589*2^1122977-1 is not prime. Res64: 9223DD96B0031350 Time : 0.0 sec. user=vaughan [2012-02-13 17:57:33] 417*2^1122978-1 is not prime. Res64: 6602FD8630F098C4 Time : 0.0 sec. user=vaughan [2012-02-13 17:57:36] 465*2^1122978-1 is not prime. Res64: D8A87990BEF5287A Time : 0.0 sec. user=vaughan [2012-02-13 17:57:36] 483*2^1122978-1 is not prime. Res64: 1737E716C6852E80 Time : 0.0 sec. user=vaughan [2012-02-13 17:57:46] 503*2^1122986-1 is not prime. Res64: 0A34647A9F39AE7E Time : 0.0 sec. user=vaughan [2012-02-13 17:57:46] 573*2^1122986-1 is not prime. Res64: 36CDACEDF9146642 Time : 0.0 sec. user=vaughan [2012-02-13 17:59:59] 563*2^1122990-1 is not prime. Res64: 43B2EA1616B5B5EB Time : 0.0 sec. user=vaughan [2012-02-13 17:59:59] 421*2^1122991-1 is not prime. Res64: E302B9A77BE2C981 Time : 0.0 sec. user=vaughan [2012-02-13 18:00:06] 469*2^1122991-1 is not prime. Res64: 05B4EF2626586806 Time : 0.0 sec. user=vaughan [2012-02-13 18:00:09] 483*2^1122991-1 is not prime. Res64: B320B2C12EBF69BD Time : 0.0 sec. user=vaughan [2012-02-13 18:06:41] 405*2^1122990-1 is not prime. Res64: 6269B6B3D54A78E9 Time : 0.0 sec. user=vaughan [2012-02-13 18:06:43] 489*2^1122989-1 is not prime. Res64: 5FD7B23021BB249D Time : 0.0 sec. user=vaughan [2012-02-13 18:06:44] 453*2^1122990-1 is not prime. Res64: 2823E40753F71BB1 Time : 0.0 sec. user=vaughan [2012-02-13 18:06:47] 579*2^1122989-1 is not prime. Res64: B48884EC5FDE1ECF Time : 0.0 sec. user=vaughan [2012-02-13 18:07:52] 513*2^1122987-1 is not prime. Res64: D2432245A78AC575 Time : 0.0 sec. user=vaughan [2012-02-13 18:07:53] 523*2^1122987-1 is not prime. Res64: 8659537D551DD9AC Time : 0.0 sec. user=vaughan [2012-02-13 18:08:03] 585*2^1122987-1 is not prime. Res64: 4B6C86D64F9894D5 Time : 0.0 sec. user=vaughan [2012-02-13 18:08:04] 437*2^1122988-1 is not prime. Res64: D4F37456EBFA398B Time : 0.0 sec. user=vaughan [2012-02-13 18:08:04] 519*2^1122991-1 is not prime. Res64: 403A7AEBF3DFAA23 Time : 0.0 sec. user=vaughan [2012-02-13 18:08:05] 455*2^1122992-1 is not prime. Res64: 51B022F1918422DE Time : 0.0 sec. user=vaughan [2012-02-13 18:08:06] 465*2^1122988-1 is not prime. Res64: F8D9B339AABF8BAD Time : 0.0 sec. user=vaughan [2012-02-13 18:08:10] 483*2^1122988-1 is not prime. Res64: DBB8F0E435FF3F7B Time : 0.0 sec. user=vaughan [2012-02-13 18:08:14] 479*2^1122992-1 is not prime. Res64: 78131B2F817378DE Time : 0.0 sec. user=juhehe [2012-02-13 18:09:34] 549*2^1122988-1 is not prime. Res64: 3450533493FFD145 Time : 0.0 sec. user=juhehe [2012-02-13 18:09:43] 469*2^1122989-1 is not prime. Res64: 4574213C0D5CE77E Time : 0.0 sec. user=vaughan [2012-02-13 18:09:59] 405*2^1122993-1 is not prime. Res64: E54276E4B05098CB Time : 0.0 sec. user=vaughan [2012-02-13 18:10:03] 457*2^1122993-1 is not prime. Res64: 56F861D9A2F93203 Time : 0.0 sec. user=vaughan [2012-02-13 18:13:30] 433*2^1122983-1 is not prime. Res64: 3E18BB273B8660DB Time : 0.0 sec. user=vaughan [2012-02-13 18:13:30] 481*2^1122983-1 is not prime. Res64: 6EFFFEF5625FB009 Time : 0.0 sec. user=vaughan [2012-02-13 18:13:31] 429*2^1122985-1 is not prime. Res64: FABBD56BE215CA83 Time : 0.0 sec. user=vaughan [2012-02-13 18:13:31] 481*2^1122985-1 is not prime. Res64: 5428AE96EE627A76 Time : 0.0 sec. user=vaughan [2012-02-13 18:13:32] 423*2^1122984-1 is not prime. Res64: 2D2C80A9389A9389 Time : 0.0 sec. user=vaughan [2012-02-13 18:13:32] 557*2^1122984-1 is not prime. Res64: 5D877BF6D4D26024 Time : 0.0 sec. user=vaughan [2012-02-13 18:13:33] 541*2^1122985-1 is not prime. Res64: 70A9EBF5A3418A4A Time : 0.0 sec. user=vaughan [2012-02-13 18:13:33] 493*2^1122983-1 is not prime. Res64: 4650735ED6206F32 Time : 0.0 sec. user=vaughan [2012-02-13 18:13:33] 589*2^1122985-1 is not prime. Res64: 697BD9A2D2941493 Time : 0.0 sec. user=vaughan [2012-02-13 18:13:34] 549*2^1122983-1 is not prime. Res64: C065F4785026D4D1 Time : 0.0 sec. user=vaughan [2012-02-13 18:13:34] 437*2^1122986-1 is not prime. Res64: 91BA1B0A245D9BFB Time : 0.0 sec. user=vaughan [2012-02-13 18:13:35] 501*2^1122986-1 is not prime. Res64: E725A72530FE61B1 Time : 0.0 sec. user=vaughan [2012-02-13 18:17:50] 495*2^1122988-1 is not prime. Res64: D9574DDFF83E0FE9 Time : 0.0 sec. user=vaughan [2012-02-13 18:17:51] 527*2^1122988-1 is not prime. Res64: 27ABE49429A55CED Time : 0.0 sec. user=vaughan [2012-02-13 18:18:54] 437*2^1122998-1 is not prime. Res64: D2AC4511C48F80F8 Time : 0.0 sec. user=vaughan [2012-02-13 18:18:54] 495*2^1122998-1 is not prime. Res64: 6EA1F45EF99FD58E Time : 0.0 sec. user=vaughan [2012-02-13 18:19:41] 507*2^1122998-1 is not prime. Res64: EBD05CC0533E7B1A Time : 0.0 sec. user=vaughan [2012-02-13 18:19:42] 585*2^1122998-1 is not prime. Res64: B4C1EF6BF4B78DE4 Time : 0.0 sec. user=vaughan [2012-02-13 18:19:54] 489*2^1122999-1 is not prime. Res64: 4FA507B07E4B5100 Time : 0.0 sec. user=vaughan [2012-02-13 18:19:54] 495*2^1123000-1 is not prime. Res64: D1676A618DD345E4 Time : 0.0 sec. user=vaughan [2012-02-13 18:20:10] 543*2^1122995-1 is not prime. Res64: 7F00E3A6BBA57189 Time : 0.0 sec. user=vaughan [2012-02-13 18:20:10] 437*2^1122996-1 is not prime. Res64: 8C6F21E8B727ECC5 Time : 0.0 sec. user=vaughan [2012-02-13 18:29:23] 593*2^1123002-1 is not prime. Res64: 3ED789143E974725 Time : 0.0 sec. user=vaughan [2012-02-13 18:29:23] 437*2^1123004-1 is not prime. Res64: D9A9211E7FD669AC Time : 0.0 sec. user=vaughan [2012-02-13 18:29:46] 415*2^1123005-1 is not prime. Res64: 5012F5D4DED76584 Time : 0.0 sec. user=vaughan [2012-02-13 18:29:47] 469*2^1123005-1 is not prime. Res64: 1B4D1755BACBCF7A Time : 0.0 sec. user=vaughan [2012-02-13 18:30:08] 483*2^1122992-1 is not prime. Res64: 8AA834240C4738F3 Time : 0.0 sec. user=vaughan [2012-02-13 18:33:56] 533*2^1123000-1 is not prime. Res64: 15E6BCA23E296D6D Time : 0.0 sec. user=vaughan [2012-02-13 18:33:57] 597*2^1123000-1 is not prime. Res64: 483CBF920EC2AC16 Time : 0.0 sec. user=vaughan [2012-02-13 18:33:59] 489*2^1123001-1 is not prime. Res64: 9CAD028210D19D7D Time : 0.0 sec. user=vaughan [2012-02-13 18:34:00] 525*2^1123001-1 is not prime. Res64: E85EDD4543F3A1BD Time : 0.0 sec. user=vaughan [2012-02-13 18:36:50] 545*2^1122994-1 is not prime. Res64: 5BE3EEEC41F6B1B2 Time : 0.0 sec. user=vaughan [2012-02-13 18:36:50] 561*2^1122994-1 is not prime. Res64: E1F9D39774289D14 Time : 0.0 sec. user=vaughan [2012-02-13 18:36:53] 421*2^1122995-1 is not prime. Res64: 1B2C1BE3DCD13456 Time : 0.0 sec. user=vaughan [2012-02-13 18:36:53] 475*2^1122993-1 is not prime. Res64: 4571968AB2B13278 Time : 0.0 sec. user=vaughan [2012-02-13 18:36:53] 465*2^1122995-1 is not prime. Res64: 13D42C0C41ABA1AE Time : 0.0 sec. user=vaughan [2012-02-13 18:36:54] 499*2^1122993-1 is not prime. Res64: 349187B3D9DF9206 Time : 0.0 sec. user=vaughan [2012-02-13 18:38:21] 479*2^1122996-1 is not prime. Res64: B6FCB4C6E2CA1CA2 Time : 0.0 sec. user=vaughan [2012-02-13 18:38:22] 525*2^1122996-1 is not prime. Res64: 2C924182F55206A4 Time : 0.0 sec. user=vaughan [2012-02-13 18:38:24] 451*2^1122997-1 is not prime. Res64: 10F9F84A783BBFE8 Time : 0.0 sec. user=vaughan [2012-02-13 18:38:25] 505*2^1122997-1 is not prime. Res64: 2089455F06236E30 Time : 0.0 sec. user=vaughan [2012-02-13 18:39:08] 559*2^1123001-1 is not prime. Res64: 4EC14A187CEB3505 Time : 0.0 sec. user=vaughan [2012-02-13 18:39:09] 577*2^1123001-1 is not prime. Res64: D15D9B0656D41F4B Time : 0.0 sec. user=vaughan [2012-02-13 18:39:24] 441*2^1123011-1 is not prime. Res64: 520C12A88645D56E Time : 0.0 sec. user=vaughan [2012-02-13 18:39:25] 459*2^1123011-1 is not prime. Res64: E8825E828B66BBEB Time : 0.0 sec. user=vaughan [2012-02-13 18:39:26] 485*2^1123002-1 is not prime. Res64: 107A708A83BF28EB Time : 0.0 sec. user=vaughan [2012-02-13 18:39:27] 525*2^1123002-1 is not prime. Res64: 24958AD4059827E4 Time : 0.0 sec. user=vaughan [2012-02-13 18:39:33] 507*2^1123004-1 is not prime. Res64: 76EAD8B9759D8FC6 Time : 0.0 sec. user=vaughan [2012-02-13 18:39:33] 533*2^1123004-1 is not prime. Res64: 8DFE83F78287DB55 Time : 0.0 sec. user=vaughan [2012-02-13 18:39:36] 583*2^1123011-1 is not prime. Res64: A71760FFECF7949F Time : 0.0 sec. user=vaughan [2012-02-13 18:39:37] 405*2^1123012-1 is not prime. Res64: F22291C6C6A5D20E Time : 0.0 sec. user=vaughan [2012-02-13 18:39:57] 503*2^1123010-1 is not prime. Res64: C37E86E7942913D4 Time : 0.0 sec. user=vaughan [2012-02-13 18:39:58] 575*2^1123010-1 is not prime. Res64: 0A7ED8106C023CC5 Time : 0.0 sec. user=juhehe [2012-02-13 18:40:50] 567*2^1123004-1 is not prime. Res64: E4143FA3A16F4AF2 Time : 0.0 sec. user=juhehe [2012-02-13 18:41:01] 599*2^1123004-1 is not prime. Res64: 1F7336934F88F498 Time : 0.0 sec. user=vaughan [2012-02-13 18:47:29] 447*2^1123012-1 is not prime. Res64: 6832E6D9EDAFAFF9 Time : 0.0 sec. user=vaughan [2012-02-13 18:47:30] 455*2^1123012-1 is not prime. Res64: 31030E5ED292AE62 Time : 0.0 sec. user=vaughan [2012-02-13 18:49:08] 495*2^1123005-1 is not prime. Res64: 8394F4C88AA06794 Time : 0.0 sec. user=vaughan [2012-02-13 18:49:09] 511*2^1123005-1 is not prime. Res64: 8D347B2DB09B1351 Time : 0.0 sec. user=vaughan [2012-02-13 18:49:09] 425*2^1123006-1 is not prime. Res64: E4E42CDD646ACDA3 Time : 0.0 sec. user=vaughan [2012-02-13 18:49:10] 585*2^1123005-1 is not prime. Res64: 8D3FC44823A49A6F Time : 0.0 sec. user=vaughan [2012-02-13 18:49:10] 447*2^1123006-1 is not prime. Res64: 33692C3B073F5590 Time : 0.0 sec. user=vaughan [2012-02-13 18:49:10] 595*2^1123005-1 is not prime. Res64: B95437A356D8C159 Time : 0.0 sec. user=vaughan [2012-02-13 18:49:12] 471*2^1123006-1 is not prime. Res64: 80E4006E6E30E6D5 Time : 0.0 sec. user=vaughan [2012-02-13 18:49:12] 483*2^1123006-1 is not prime. Res64: DDAFDF6A743F1BA6 Time : 0.0 sec. user=vaughan [2012-02-13 18:49:14] 441*2^1123007-1 is not prime. Res64: 2E65F36C2D3EEF6B Time : 0.0 sec. user=vaughan [2012-02-13 18:49:14] 415*2^1123009-1 is not prime. Res64: D9BB3BE1476BF667 Time : 0.0 sec. user=vaughan [2012-02-13 18:49:15] 511*2^1123007-1 is not prime. Res64: 74FBF24DA485F441 Time : 0.0 sec. user=vaughan [2012-02-13 18:49:15] 525*2^1123009-1 is not prime. Res64: F0D38FF2800DC61E Time : 0.0 sec. user=vaughan [2012-02-13 18:49:29] 573*2^1123012-1 is not prime. Res64: 020A25A3756B436D Time : 0.0 sec. user=vaughan [2012-02-13 18:49:30] 411*2^1123013-1 is not prime. Res64: 0DDCA3B97E5040E7 Time : 0.0 sec. user=vaughan [2012-02-13 18:50:27] 513*2^1123012-1 is not prime. Res64: 00BD2D2909FF24B8 Time : 0.0 sec. user=vaughan [2012-02-13 18:50:28] 533*2^1123012-1 is not prime. Res64: E365101C977430AC Time : 0.0 sec. user=vaughan [2012-02-13 18:51:17] 441*2^1123013-1 is not prime. Res64: 08648C6B6ABB9A46 Time : 0.0 sec. user=vaughan [2012-02-13 18:51:18] 591*2^1123013-1 is not prime. Res64: 1D8D2F6F3C9A4D29 Time : 0.0 sec. user=vaughan [2012-02-13 18:58:34] 423*2^1123010-1 is not prime. Res64: 6315724FBBFD3F93 Time : 0.0 sec. user=vaughan [2012-02-13 18:58:35] 483*2^1123010-1 is not prime. Res64: 132651968E7BDD3C Time : 0.0 sec. user=vaughan [2012-02-13 18:59:07] 403*2^1123019-1 is not prime. Res64: 7B86B5FD734D0EFB Time : 0.0 sec. user=vaughan [2012-02-13 18:59:07] 465*2^1123019-1 is not prime. Res64: F72BCAA539A7777F Time : 0.0 sec. user=vaughan [2012-02-13 18:59:19] 421*2^1123021-1 is not prime. Res64: 594208BE49F6AD16 Time : 0.0 sec. user=vaughan [2012-02-13 18:59:19] 427*2^1123021-1 is not prime. Res64: 249FD1E822727AA7 Time : 0.0 sec. user=vaughan [2012-02-13 19:01:05] 505*2^1123021-1 is not prime. Res64: 157B3AA6FFCD627F Time : 0.0 sec. user=vaughan [2012-02-13 19:01:06] 501*2^1123022-1 is not prime. Res64: 504E3A27FB3D5F22 Time : 0.0 sec. user=vaughan [2012-02-13 19:02:06] 485*2^1123014-1 is not prime. Res64: 52B10C02F5A87DCF Time : 0.0 sec. user=vaughan [2012-02-13 19:02:08] 507*2^1123014-1 is not prime. Res64: 239DEDE0F32BB2C3 Time : 0.0 sec. user=vaughan [2012-02-13 19:02:32] 585*2^1123014-1 is not prime. Res64: AEEC44AC3B165372 Time : 0.0 sec. user=vaughan [2012-02-13 19:02:33] 433*2^1123015-1 is not prime. Res64: BA4B646DAC0024AC Time : 0.0 sec. user=vaughan [2012-02-13 19:09:12] 411*2^1123026-1 is not prime. Res64: 62F1E515DD2DB87A Time : 0.0 sec. user=vaughan [2012-02-13 19:09:13] 465*2^1123026-1 is not prime. Res64: C98978A2E1D94887 Time : 0.0 sec. user=vaughan [2012-02-13 19:10:19] 513*2^1123018-1 is not prime. Res64: 0C3C9D8A5EFD3433 Time : 0.0 sec. user=vaughan [2012-02-13 19:10:20] 581*2^1123018-1 is not prime. Res64: B0F1558A60947CCE Time : 0.0 sec. user=vaughan [2012-02-13 19:10:39] 511*2^1123019-1 is not prime. Res64: 28CC219BB52B6E4A Time : 0.0 sec. user=vaughan [2012-02-13 19:10:40] 579*2^1123019-1 is not prime. Res64: C2EC87818433411B Time : 0.0 sec. user=vaughan [2012-02-13 19:10:46] 479*2^1123020-1 is not prime. Res64: 26F38CD60EBD0733 Time : 0.0 sec. user=vaughan [2012-02-13 19:10:47] 405*2^1123021-1 is not prime. Res64: F999CB13BF0C7A40 Time : 0.0 sec. user=vaughan [2012-02-13 19:11:34] 513*2^1123026-1 is not prime. Res64: C5F5E0C421B474B9 Time : 0.0 sec. user=vaughan [2012-02-13 19:11:35] 493*2^1123027-1 is not prime. Res64: BCCB649F2B7B31CA Time : 0.0 sec. user=juhehe [2012-02-13 19:12:09] 557*2^1123022-1 is not prime. Res64: 2A6DFD3A4F8594D4 Time : 0.0 sec. user=juhehe [2012-02-13 19:12:19] 561*2^1123022-1 is not prime. Res64: 381144FB739C3FC8 Time : 0.0 sec. user=vaughan [2012-02-13 19:12:32] 531*2^1123027-1 is not prime. Res64: 5939C416D4B4F433 Time : 0.0 sec. user=vaughan [2012-02-13 19:12:33] 555*2^1123027-1 is not prime. Res64: FFFCE6B57C98AE9D Time : 0.0 sec. user=vaughan [2012-02-13 19:15:59] 591*2^1123022-1 is not prime. Res64: 3DEC4B356BC5991D Time : 0.0 sec. user=vaughan [2012-02-13 19:16:00] 423*2^1123023-1 is not prime. Res64: 17BA8567BDD1BFBC Time : 0.0 sec. user=vaughan [2012-02-13 19:18:55] 459*2^1123028-1 is not prime. Res64: 0D23E75D1421ADD7 Time : 0.0 sec. user=vaughan [2012-02-13 19:18:56] 525*2^1123028-1 is not prime. Res64: 8465C60BB98207DD Time : 0.0 sec. user=vaughan [2012-02-13 19:19:07] 563*2^1123028-1 is not prime. Res64: 6EC8BA12AE851E59 Time : 0.0 sec. user=vaughan [2012-02-13 19:19:08] 529*2^1123017-1 is not prime. Res64: D4D11C0416A4CB6C Time : 0.0 sec. user=vaughan [2012-02-13 19:19:08] 415*2^1123029-1 is not prime. Res64: BF38BF2509CE0C45 Time : 0.0 sec. user=vaughan [2012-02-13 19:19:09] 549*2^1123017-1 is not prime. Res64: F0151199539D77F4 Time : 0.0 sec. user=vaughan [2012-02-13 19:19:12] 447*2^1123018-1 is not prime. Res64: 348913F61EC5298C Time : 0.0 sec. user=vaughan [2012-02-13 19:19:13] 491*2^1123018-1 is not prime. Res64: 1054AE312CE1BAD3 Time : 0.0 sec. user=vaughan [2012-02-13 19:21:50] 449*2^1123016-1 is not prime. Res64: BEA5BEC8E4021106 Time : 0.0 sec. user=vaughan [2012-02-13 19:21:51] 483*2^1123016-1 is not prime. Res64: 7641C2B7EC430D36 Time : 0.0 sec. user=vaughan [2012-02-13 19:21:54] 471*2^1123017-1 is not prime. Res64: CB01386916C96DF2 Time : 0.0 sec. user=vaughan [2012-02-13 19:21:54] 495*2^1123016-1 is not prime. Res64: D2C3D1379CEAA487 Time : 0.0 sec. user=vaughan [2012-02-13 19:21:54] 499*2^1123017-1 is not prime. Res64: 21B10D24813CCA7E Time : 0.0 sec. user=vaughan [2012-02-13 19:21:55] 525*2^1123016-1 is not prime. Res64: 48323B1DD3C67B57 Time : 0.0 sec. user=vaughan [2012-02-13 19:22:15] 459*2^1123029-1 is not prime. Res64: 32CF1643467F33E2 Time : 0.0 sec. user=vaughan [2012-02-13 19:22:16] 471*2^1123029-1 is not prime. Res64: DD0CEBF857FAFCC1 Time : 0.0 sec. user=vaughan [2012-02-13 19:24:00] 549*2^1123023-1 is not prime. Res64: AD25A64C533D036C Time : 0.0 sec. user=vaughan [2012-02-13 19:24:00] 527*2^1123024-1 is not prime. Res64: E36D2C3D88C3CC72 Time : 0.0 sec. user=vaughan [2012-02-13 19:24:01] 575*2^1123024-1 is not prime. Res64: D0021644700C659F Time : 0.0 sec. user=vaughan [2012-02-13 19:24:01] 563*2^1123024-1 is not prime. Res64: 4A720F4417EE0666 Time : 0.0 sec. user=vaughan [2012-02-13 19:24:01] 455*2^1123024-1 is not prime. Res64: 0019525355D1BB69 Time : 0.0 sec. user=vaughan [2012-02-13 19:24:01] 493*2^1123023-1 is not prime. Res64: 1C39835E685E8F89 Time : 0.0 sec. user=vaughan [2012-02-13 19:24:01] 475*2^1123025-1 is not prime. Res64: 329884126CC812B4 Time : 0.0 sec. user=vaughan [2012-02-13 19:24:02] 541*2^1123023-1 is not prime. Res64: 58361714EA4B0935 Time : 0.0 sec. user=vaughan [2012-02-13 19:24:04] 585*2^1123025-1 is not prime. Res64: F88459EBE9F4E9E5 Time : 0.0 sec. user=vaughan [2012-02-13 19:24:04] 591*2^1123025-1 is not prime. Res64: 4073B772D1FBF887 Time : 0.0 sec. user=vaughan [2012-02-13 19:24:05] 477*2^1123025-1 is not prime. Res64: 6A1EAEF6AD9BAF44 Time : 0.0 sec. user=vaughan [2012-02-13 19:24:06] 547*2^1123025-1 is not prime. Res64: 01CC8B06C98E48C2 Time : 0.0 sec. user=vaughan [2012-02-13 19:28:58] 437*2^1123032-1 is not prime. Res64: 40A5C0E7CD24BB1D Time : 0.0 sec. user=vaughan [2012-02-13 19:28:59] 447*2^1123032-1 is not prime. Res64: 2EEC192E826927CE Time : 0.0 sec. user=vaughan [2012-02-13 19:30:22] 581*2^1123030-1 is not prime. Res64: AAA9F3A34E1C37D7 Time : 0.0 sec. user=vaughan [2012-02-13 19:30:23] 597*2^1123030-1 is not prime. Res64: EE8A9454D3428B0F Time : 0.0 sec. user=vaughan [2012-02-13 19:30:35] 411*2^1123031-1 is not prime. Res64: AC8B4B52E0958A80 Time : 0.0 sec. user=vaughan [2012-02-13 19:30:36] 463*2^1123031-1 is not prime. Res64: B345D9AE4AF6EDA4 Time : 0.0 sec. user=vaughan [2012-02-13 19:32:52] 473*2^1123034-1 is not prime. Res64: 43F856AEA43743CC Time : 0.0 sec. user=vaughan [2012-02-13 19:32:53] 503*2^1123034-1 is not prime. Res64: D1949A356572830A Time : 0.0 sec. user=vaughan [2012-02-13 19:33:46] 561*2^1123034-1 is not prime. Res64: FA111D8CF7BB2CDC Time : 0.0 sec. user=vaughan [2012-02-13 19:33:47] 585*2^1123034-1 is not prime. Res64: 9210F3F3D4ECB791 Time : 0.0 sec. user=vaughan [2012-02-13 19:38:42] 465*2^1123036-1 is not prime. Res64: 98292FA23E3CC982 Time : 0.0 sec. user=vaughan [2012-02-13 19:38:43] 525*2^1123036-1 is not prime. Res64: D19AC369B7B69E82 Time : 0.0 sec. user=vaughan [2012-02-13 19:38:54] 445*2^1123037-1 is not prime. Res64: 4920DD9B002EAEF1 Time : 0.0 sec. user=vaughan [2012-02-13 19:38:55] 465*2^1123037-1 is not prime. Res64: 855FEDC6DD98BAE2 Time : 0.0 sec. user=vaughan [2012-02-13 19:39:19] 561*2^1123027-1 is not prime. Res64: 17E86C80E9F36E47 Time : 0.0 sec. user=vaughan [2012-02-13 19:39:19] 453*2^1123028-1 is not prime. Res64: 9E7B3831CEAEB13D Time : 0.0 sec. user=vaughan [2012-02-13 19:41:31] 497*2^1123032-1 is not prime. Res64: FACC012AEB2A4ECE Time : 0.0 sec. user=vaughan [2012-02-13 19:41:32] 555*2^1123032-1 is not prime. Res64: 0E9BEE7DD33B1EDF Time : 0.0 sec. user=vaughan [2012-02-13 19:41:55] 441*2^1123033-1 is not prime. Res64: 6569EABCB6161CF3 Time : 0.0 sec. user=vaughan [2012-02-13 19:41:57] 481*2^1123033-1 is not prime. Res64: 8D9C6B8C6A8B6E40 Time : 0.0 sec. user=vaughan [2012-02-13 19:42:04] 555*2^1123033-1 is not prime. Res64: 91E8A6F0B5C18BB6 Time : 0.0 sec. user=vaughan [2012-02-13 19:42:05] 407*2^1123034-1 is not prime. Res64: 89AC00A9490E464E Time : 0.0 sec. user=juhehe [2012-02-13 19:43:17] 525*2^1123034-1 is not prime. Res64: CBC945C5D77BE785 Time : 0.0 sec. user=vaughan [2012-02-13 19:43:22] 445*2^1123043-1 is not prime. Res64: AE16A62EF8E198AD Time : 0.0 sec. user=vaughan [2012-02-13 19:43:23] 549*2^1123043-1 is not prime. Res64: C15D26C50BF6408D Time : 0.0 sec. user=juhehe [2012-02-13 19:43:43] 531*2^1123034-1 is not prime. Res64: E4368F2E9480E2CC Time : 0.0 sec. user=vaughan [2012-02-13 19:44:11] 451*2^1123035-1 is not prime. Res64: FA8D7E891C5BBE16 Time : 0.0 sec. user=vaughan [2012-02-13 19:44:12] 573*2^1123035-1 is not prime. Res64: 8BB2B7A9F952E0CF Time : 0.0 sec. user=vaughan [2012-02-13 19:48:44] 567*2^1123046-1 is not prime. Res64: 792CCE9256040483 Time : 0.0 sec. user=vaughan [2012-02-13 19:48:45] 593*2^1123046-1 is not prime. Res64: 8E17C2D8A97BFFE4 Time : 0.0 sec. user=vaughan [2012-02-13 19:53:58] 507*2^1123049-1 is not prime. Res64: 5A444EDC221E67CA Time : 0.0 sec. user=vaughan [2012-02-13 19:53:59] 549*2^1123049-1 is not prime. Res64: 27F4C4EEC48DA85B Time : 0.0 sec. user=vaughan [2012-02-13 19:54:54] 405*2^1123050-1 is not prime. Res64: 49A189E7BE0AB09B Time : 0.0 sec. user=vaughan [2012-02-13 19:54:54] 431*2^1123050-1 is not prime. Res64: 25C2405E1B74B2B5 Time : 0.0 sec. user=vaughan [2012-02-13 19:57:50] 421*2^1123049-1 is not prime. Res64: 50EA9857C2CEBCC4 Time : 0.0 sec. user=vaughan [2012-02-13 19:57:50] 477*2^1123049-1 is not prime. Res64: F2E9E56BF1E59D89 Time : 0.0 sec. user=vaughan [2012-02-13 19:57:52] 465*2^1123047-1 is not prime. Res64: EA82ECB193FE0353 Time : 0.0 sec. user=vaughan [2012-02-13 19:57:52] 573*2^1123047-1 is not prime. Res64: CBB86A0AA4654145 Time : 0.0 sec. user=vaughan [2012-02-13 19:58:32] 473*2^1123050-1 is not prime. Res64: 68154825D9E4E71C Time : 0.0 sec. user=vaughan [2012-02-13 19:58:32] 527*2^1123050-1 is not prime. Res64: F5871CB51FD656C2 Time : 0.0 sec. user=vaughan [2012-02-13 19:58:42] 585*2^1123050-1 is not prime. Res64: 7B8F3DBAD16A6137 Time : 0.0 sec. user=vaughan [2012-02-13 19:58:43] 415*2^1123051-1 is not prime. Res64: 4765903A8DEF909B Time : 0.0 sec. user=vaughan [2012-02-13 19:59:30] 455*2^1123044-1 is not prime. Res64: BFEDBB426FA41238 Time : 0.0 sec. user=vaughan [2012-02-13 19:59:30] 405*2^1123045-1 is not prime. Res64: 12CD3874AF6264AD Time : 0.0 sec. user=vaughan [2012-02-13 19:59:31] 479*2^1123044-1 is not prime. Res64: A1F4600EBDF4C724 Time : 0.0 sec. user=vaughan [2012-02-13 19:59:31] 481*2^1123045-1 is not prime. Res64: AD808A01E9DEE235 Time : 0.0 sec. user=vaughan [2012-02-13 19:59:31] 421*2^1123045-1 is not prime. Res64: 81CF9D7215C7BC80 Time : 0.0 sec. user=vaughan [2012-02-13 19:59:31] 525*2^1123045-1 is not prime. Res64: 41EA98B7B8CE1BCC Time : 0.0 sec. user=vaughan [2012-02-13 19:59:32] 525*2^1123044-1 is not prime. Res64: C4479A75D72B317C Time : 0.0 sec. user=vaughan [2012-02-13 19:59:32] 563*2^1123044-1 is not prime. Res64: E7E169D57BE05BDA Time : 0.0 sec. user=vaughan [2012-02-13 19:59:33] 537*2^1123045-1 is not prime. Res64: D834678C52836EF5 Time : 0.0 sec. user=vaughan [2012-02-13 19:59:34] 405*2^1123046-1 is not prime. Res64: 320EB5941067DD12 Time : 0.0 sec. user=vaughan [2012-02-13 19:59:34] 501*2^1123046-1 is not prime. Res64: 9084A6219CAE9B21 Time : 0.0 sec. user=vaughan [2012-02-13 19:59:35] 545*2^1123046-1 is not prime. Res64: BF2D4E1624A881FE Time : 0.0 sec. user=vaughan [2012-02-13 20:00:01] 567*2^1123037-1 is not prime. Res64: 5A842E58039B24D7 Time : 0.0 sec. user=vaughan [2012-02-13 20:00:02] 423*2^1123038-1 is not prime. Res64: 8D6119598D6C4743 Time : 0.0 sec. user=vaughan [2012-02-13 20:00:03] 567*2^1123038-1 is not prime. Res64: 243778C26D369ABC Time : 0.0 sec. user=vaughan [2012-02-13 20:00:09] 411*2^1123039-1 is not prime. Res64: 9BA6A4B4431954B0 Time : 0.0 sec. user=vaughan [2012-02-13 20:04:35] 459*2^1123055-1 is not prime. Res64: C662392A0996E07D Time : 0.0 sec. user=vaughan [2012-02-13 20:04:36] 425*2^1123056-1 is not prime. Res64: 5954CC396DC9FA92 Time : 0.0 sec. user=vaughan [2012-02-13 20:06:52] 433*2^1123039-1 is not prime. Res64: 22667A67CDFA63F3 Time : 0.0 sec. user=vaughan [2012-02-13 20:06:53] 441*2^1123039-1 is not prime. Res64: 437BD4D09FF84BAE Time : 0.0 sec. user=vaughan [2012-02-13 20:06:57] 593*2^1123042-1 is not prime. Res64: 9CF4792217440821 Time : 0.0 sec. user=vaughan [2012-02-13 20:06:59] 471*2^1123042-1 is not prime. Res64: 37877B8448F42E55 Time : 0.0 sec. user=vaughan [2012-02-13 20:07:00] 411*2^1123043-1 is not prime. Res64: 14E7CB4117B964ED Time : 0.0 sec. user=vaughan [2012-02-13 20:07:02] 561*2^1123042-1 is not prime. Res64: 3B88E78C08C084C3 Time : 0.0 sec. user=vaughan [2012-02-13 20:08:29] 473*2^1123058-1 is not prime. Res64: CC8C1F72B370F1FC Time : 0.0 sec. user=vaughan [2012-02-13 20:08:30] 495*2^1123058-1 is not prime. Res64: 899B49CAB8DF157B Time : 0.0 sec. user=vaughan [2012-02-13 20:11:13] 439*2^1123057-1 is not prime. Res64: ECF8B8F83C45B5E8 Time : 0.0 sec. user=vaughan [2012-02-13 20:11:14] 441*2^1123057-1 is not prime. Res64: CB275235E06B8EC0 Time : 0.0 sec. user=vaughan [2012-02-13 20:12:42] 495*2^1123052-1 is not prime. Res64: 347198712F8D8A02 Time : 0.0 sec. user=vaughan [2012-02-13 20:12:43] 587*2^1123052-1 is not prime. Res64: 91D25FBC0B94DC0B Time : 0.0 sec. user=vaughan [2012-02-13 20:13:17] 459*2^1123053-1 is not prime. Res64: 097EE8C0C571CBBF Time : 0.0 sec. user=vaughan [2012-02-13 20:13:17] 511*2^1123053-1 is not prime. Res64: 2257FE36843EDCDA Time : 0.0 sec. user=vaughan [2012-02-13 20:13:23] 517*2^1123053-1 is not prime. Res64: 74E3E8EFED1A5C9E Time : 0.0 sec. user=vaughan [2012-02-13 20:13:23] 577*2^1123053-1 is not prime. Res64: F71F3583ACB7855F Time : 0.0 sec. user=juhehe [2012-02-13 20:14:32] 513*2^1123054-1 is not prime. Res64: 8396C537F920BC6C Time : 0.0 sec. user=juhehe [2012-02-13 20:14:59] 473*2^1123056-1 is not prime. Res64: FBE0ED18C93BF618 Time : 0.0 sec. user=vaughan [2012-02-13 20:15:15] 551*2^1123058-1 is not prime. Res64: 16A67ECA59FF533C Time : 0.0 sec. user=vaughan [2012-02-13 20:15:16] 567*2^1123058-1 is not prime. Res64: 13F708D3EED120B2 Time : 0.0 sec. user=vaughan [2012-02-13 20:16:11] 565*2^1123059-1 is not prime. Res64: DA0A1604F3F9FE9D Time : 0.0 sec. user=vaughan [2012-02-13 20:16:12] 573*2^1123059-1 is not prime. Res64: 93DAEA8A8495361F Time : 0.0 sec. user=vaughan [2012-02-13 20:18:17] 527*2^1123062-1 is not prime. Res64: EA41546B0DD6C045 Time : 0.0 sec. user=vaughan [2012-02-13 20:18:18] 563*2^1123062-1 is not prime. Res64: 9506053DA52F9791 Time : 0.0 sec. user=vaughan [2012-02-13 20:18:30] 573*2^1123062-1 is not prime. Res64: 3E774C19650A19ED Time : 0.0 sec. user=vaughan [2012-02-13 20:18:31] 465*2^1123063-1 is not prime. Res64: 810D0A2AEEE412B0 Time : 0.0 sec. user=vaughan [2012-02-13 20:20:08] 549*2^1123051-1 is not prime. Res64: 2FD37D116B1F1771 Time : 0.0 sec. user=vaughan [2012-02-13 20:20:09] 573*2^1123051-1 is not prime. Res64: F64A6A7451ACE5F7 Time : 0.0 sec. user=vaughan [2012-02-13 20:24:46] 567*2^1123060-1 is not prime. Res64: B10EFA879FE5EBCC Time : 0.0 sec. user=vaughan [2012-02-13 20:24:47] 569*2^1123060-1 is not prime. Res64: 441528034A75FB36 Time : 0.0 sec. user=vaughan [2012-02-13 20:25:06] 439*2^1123061-1 is not prime. Res64: FC98C5F4671A1C20 Time : 0.0 sec. user=vaughan [2012-02-13 20:25:06] 565*2^1123061-1 is not prime. Res64: 27399DA0A4CFC194 Time : 0.0 sec. user=vaughan [2012-02-13 20:25:57] 405*2^1123072-1 is not prime. Res64: 71111CC75E662DB0 Time : 0.0 sec. user=vaughan [2012-02-13 20:25:58] 419*2^1123072-1 is not prime. Res64: 059BF4B7AE3ACA1D Time : 0.0 sec. user=vaughan [2012-02-13 20:28:17] 595*2^1123073-1 is not prime. Res64: 2FD89AC194DCE8B1 Time : 0.0 sec. user=vaughan [2012-02-13 20:28:18] 437*2^1123074-1 is not prime. Res64: EFA66EBAE4C72222 Time : 0.0 sec. user=vaughan [2012-02-13 20:35:45] 405*2^1123065-1 is not prime. Res64: 20743EF370E45D3D Time : 0.0 sec. user=vaughan [2012-02-13 20:35:46] 527*2^1123066-1 is not prime. Res64: 2AEC53E70BD27FBF Time : 0.0 sec. user=vaughan [2012-02-13 20:35:47] 593*2^1123066-1 is not prime. Res64: 2CEFFE9BB68E7824 Time : 0.0 sec. user=vaughan [2012-02-13 20:35:47] 423*2^1123068-1 is not prime. Res64: 06C4533C4472396E Time : 0.0 sec. user=vaughan [2012-02-13 20:35:48] 433*2^1123067-1 is not prime. Res64: 6290F852917564B1 Time : 0.0 sec. user=vaughan [2012-02-13 20:35:48] 515*2^1123068-1 is not prime. Res64: F7CCAB163EB3788F Time : 0.0 sec. user=vaughan [2012-02-13 20:35:48] 453*2^1123068-1 is not prime. Res64: C2F49525740EE5E7 Time : 0.0 sec. user=vaughan [2012-02-13 20:35:49] 483*2^1123068-1 is not prime. Res64: B392DF6F95355E27 Time : 0.0 sec. user=vaughan [2012-02-13 20:35:49] 537*2^1123068-1 is not prime. Res64: A239640F9922B24E Time : 0.0 sec. user=vaughan [2012-02-13 20:35:49] 503*2^1123068-1 is not prime. Res64: C227A2383E55D722 Time : 0.0 sec. user=vaughan [2012-02-13 20:35:50] 519*2^1123063-1 is not prime. Res64: 98687B97FBAE8A8C Time : 0.0 sec. user=vaughan [2012-02-13 20:35:50] 589*2^1123063-1 is not prime. Res64: 1657A8732E9BE6F5 Time : 0.0 sec. user=vaughan [2012-02-13 20:36:35] 469*2^1123079-1 is not prime. Res64: A390AE3BD1D6680E Time : 0.0 sec. user=vaughan [2012-02-13 20:36:36] 525*2^1123079-1 is not prime. Res64: 909B71B2F012E30E Time : 0.0 sec. user=vaughan [2012-02-13 20:37:27] 479*2^1123080-1 is not prime. Res64: 6650647B18F45726 Time : 0.0 sec. user=vaughan [2012-02-13 20:37:27] 537*2^1123080-1 is not prime. Res64: 43B1B56D3E52CE29 Time : 0.0 sec. user=vaughan [2012-02-13 20:38:02] 415*2^1123081-1 is not prime. Res64: 73E300F4536054BD Time : 0.0 sec. user=vaughan [2012-02-13 20:38:02] 525*2^1123081-1 is not prime. Res64: 627446CD1A727668 Time : 0.0 sec. user=vaughan [2012-02-13 20:38:15] 527*2^1123074-1 is not prime. Res64: 0CB0C31A334F5AA9 Time : 0.0 sec. user=vaughan [2012-02-13 20:38:15] 405*2^1123082-1 is not prime. Res64: 89536806E81AFD87 Time : 0.0 sec. user=vaughan [2012-02-13 20:38:15] 465*2^1123075-1 is not prime. Res64: 2093245BD4DC35CD Time : 0.0 sec. user=vaughan [2012-02-13 20:38:15] 497*2^1123082-1 is not prime. Res64: FF7E5044F70CAA20 Time : 0.0 sec. user=vaughan [2012-02-13 20:40:56] 569*2^1123068-1 is not prime. Res64: AABA9B2FD1B26172 Time : 0.0 sec. user=vaughan [2012-02-13 20:40:56] 471*2^1123069-1 is not prime. Res64: 6ECE3A12F0F4C58F Time : 0.0 sec. user=vaughan [2012-02-13 20:40:57] 521*2^1123070-1 is not prime. Res64: 7DB18D5B8719B6C2 Time : 0.0 sec. user=vaughan [2012-02-13 20:40:58] 593*2^1123070-1 is not prime. Res64: B25765A5716DE26F Time : 0.0 sec. user=vaughan [2012-02-13 20:43:54] 425*2^1123076-1 is not prime. Res64: DD20B6F22389394B Time : 0.0 sec. user=vaughan [2012-02-13 20:43:54] 435*2^1123076-1 is not prime. Res64: 36392169868A3FA9 Time : 0.0 sec. user=vaughan [2012-02-13 20:44:35] 441*2^1123077-1 is not prime. Res64: A8DC03E0669A4B90 Time : 0.0 sec. user=vaughan [2012-02-13 20:44:35] 445*2^1123077-1 is not prime. Res64: C5527A75BFFA3080 Time : 0.0 sec. user=vaughan [2012-02-13 20:44:41] 471*2^1123077-1 is not prime. Res64: 13AA049F57893E50 Time : 0.0 sec. user=vaughan [2012-02-13 20:44:42] 579*2^1123077-1 is not prime. Res64: 67EA3608858FA67C Time : 0.0 sec. user=juhehe [2012-02-13 20:45:45] 575*2^1123078-1 is not prime. Res64: 71CD6DBCE7ACC394 Time : 0.0 sec. user=juhehe [2012-02-13 20:46:18] 451*2^1123079-1 is not prime. Res64: FA8C5E807D29651E Time : 0.0 sec. user=vaughan [2012-02-13 20:47:25] 507*2^1123084-1 is not prime. Res64: 2974129206B206FA Time : 0.0 sec. user=vaughan [2012-02-13 20:47:26] 525*2^1123085-1 is not prime. Res64: 3D6E061CACE92FBD Time : 0.0 sec. user=vaughan [2012-02-13 20:48:02] 567*2^1123085-1 is not prime. Res64: B5367FBB833271F1 Time : 0.0 sec. user=vaughan [2012-02-13 20:48:03] 579*2^1123085-1 is not prime. Res64: 48D97A5F036DD985 Time : 0.0 sec. user=vaughan [2012-02-13 20:51:29] 595*2^1123083-1 is not prime. Res64: 858C22E51577F686 Time : 0.0 sec. user=vaughan [2012-02-13 20:51:30] 419*2^1123084-1 is not prime. Res64: 86BE0CB2760D43A0 Time : 0.0 sec. user=vaughan [2012-02-13 20:51:57] 443*2^1123084-1 is not prime. Res64: FCB9E44CAB64A738 Time : 0.0 sec. user=vaughan [2012-02-13 20:51:57] 483*2^1123084-1 is not prime. Res64: E97A6C29AD3C1C9D Time : 0.0 sec. user=vaughan [2012-02-13 20:52:06] 507*2^1123072-1 is not prime. Res64: B518FE03B0D764B1 Time : 0.0 sec. user=vaughan [2012-02-13 20:52:07] 569*2^1123072-1 is not prime. Res64: F3989F654090FD0B Time : 0.0 sec. user=vaughan [2012-02-13 20:52:07] 411*2^1123073-1 is not prime. Res64: DAD1738C952A9F90 Time : 0.0 sec. user=vaughan [2012-02-13 20:52:08] 529*2^1123073-1 is not prime. Res64: 683AA3D9405C8358 Time : 0.0 sec. user=vaughan [2012-02-13 20:52:08] 577*2^1123073-1 is not prime. Res64: 21BBA78F5B8703F6 Time : 0.0 sec. user=vaughan [2012-02-13 20:52:08] 585*2^1123073-1 is not prime. Res64: 422802B540B1A366 Time : 0.0 sec. user=vaughan [2012-02-13 20:57:45] 579*2^1123091-1 is not prime. Res64: 5DAB9A71D9C43A6D Time : 0.0 sec. user=vaughan [2012-02-13 20:57:45] 567*2^1123092-1 is not prime. Res64: B59EBE7843662363 Time : 0.0 sec. user=vaughan [2012-02-13 20:58:01] 499*2^1123093-1 is not prime. Res64: 479C56477C82A75D Time : 0.0 sec. user=vaughan [2012-02-13 20:58:02] 503*2^1123094-1 is not prime. Res64: AEDDCD368B97F100 Time : 0.0 sec. user=vaughan [2012-02-13 20:58:04] 561*2^1123090-1 is not prime. Res64: 046146644413B2AD Time : 0.0 sec. user=vaughan [2012-02-13 20:58:05] 581*2^1123090-1 is not prime. Res64: B5C7D2C0DCBF41ED Time : 0.0 sec. user=vaughan [2012-02-13 20:58:54] 505*2^1123091-1 is not prime. Res64: 3B07290C9ED005FD Time : 0.0 sec. user=vaughan [2012-02-13 20:58:55] 571*2^1123091-1 is not prime. Res64: AC6B28316AB7B3DD Time : 0.0 sec. user=vaughan [2012-02-13 21:00:56] 441*2^1123083-1 is not prime. Res64: 808DE293DEE22277 Time : 0.0 sec. user=vaughan [2012-02-13 21:00:58] 489*2^1123083-1 is not prime. Res64: EDC4AB7ABCCA641C Time : 0.0 sec. user=vaughan [2012-02-13 21:04:50] 507*2^1123094-1 is not prime. Res64: 69A0C2A04D122FE1 Time : 0.0 sec. user=vaughan [2012-02-13 21:04:51] 545*2^1123094-1 is not prime. Res64: 1C74F914A91E0BB4 Time : 0.0 sec. user=vaughan [2012-02-13 21:07:49] 427*2^1123101-1 is not prime. Res64: 2AE904709DD633DB Time : 0.0 sec. user=vaughan [2012-02-13 21:07:53] 445*2^1123101-1 is not prime. Res64: F68E29DECB44F654 Time : 0.0 sec. user=vaughan [2012-02-13 21:08:44] 537*2^1123100-1 is not prime. Res64: 892B1E69AEDF5BBD Time : 0.0 sec. user=vaughan [2012-02-13 21:08:45] 563*2^1123100-1 is not prime. Res64: 62A9499AB50D1282 Time : 0.0 sec. user=vaughan [2012-02-13 21:11:33] 455*2^1123086-1 is not prime. Res64: 0AD14268431CB28E Time : 0.0 sec. user=vaughan [2012-02-13 21:11:33] 465*2^1123086-1 is not prime. Res64: 8DFBAE57939421FE Time : 0.0 sec. user=vaughan [2012-02-13 21:11:36] 473*2^1123086-1 is not prime. Res64: 51CC0078D40DD4B9 Time : 0.0 sec. user=vaughan [2012-02-13 21:11:41] 591*2^1123086-1 is not prime. Res64: 608D8D02A6F3F752 Time : 0.0 sec. user=vaughan [2012-02-13 21:11:41] 465*2^1123090-1 is not prime. Res64: EA1E30671CC751A7 Time : 0.0 sec. user=vaughan [2012-02-13 21:11:44] 405*2^1123088-1 is not prime. Res64: 0C89CC4685820832 Time : 0.0 sec. user=vaughan [2012-02-13 21:11:45] 557*2^1123088-1 is not prime. Res64: AB354BAF86CF723C Time : 0.0 sec. user=vaughan [2012-02-13 21:11:49] 545*2^1123090-1 is not prime. Res64: E3611D97DB6C5D5C Time : 0.0 sec. user=vaughan [2012-02-13 21:11:52] 519*2^1123087-1 is not prime. Res64: 874012EA670EBCF7 Time : 0.0 sec. user=vaughan [2012-02-13 21:11:53] 531*2^1123087-1 is not prime. Res64: 9D360E839B753FDB Time : 0.0 sec. user=vaughan [2012-02-13 21:15:00] 437*2^1123096-1 is not prime. Res64: 12F524104EB931D9 Time : 0.0 sec. user=vaughan [2012-02-13 21:15:01] 447*2^1123097-1 is not prime. Res64: 4BE22571AEF84F57 Time : 0.0 sec. user=vaughan [2012-02-13 21:15:45] 507*2^1123097-1 is not prime. Res64: 72404E088854F9E5 Time : 0.0 sec. user=vaughan [2012-02-13 21:15:46] 431*2^1123098-1 is not prime. Res64: D0FBBB8CDF0D9BE6 Time : 0.0 sec. user=vaughan [2012-02-13 21:15:53] 553*2^1123099-1 is not prime. Res64: 67851176A54FF88F Time : 0.0 sec. user=vaughan [2012-02-13 21:15:53] 489*2^1123100-1 is not prime. Res64: AABCF46C012D695D Time : 0.0 sec. user=juhehe [2012-02-13 21:16:57] 515*2^1123100-1 is not prime. Res64: 08CB535CB4893CB1 Time : 0.0 sec. user=juhehe [2012-02-13 21:17:30] 525*2^1123100-1 is not prime. Res64: 617FDC54239FAA56 Time : 0.0 sec. user=vaughan [2012-02-13 21:17:30] 407*2^1123106-1 is not prime. Res64: 3CFC5B57B1BDE557 Time : 0.0 sec. user=vaughan [2012-02-13 21:17:31] 437*2^1123106-1 is not prime. Res64: 17062AD23779DF4D Time : 0.0 sec. user=vaughan [2012-02-13 21:17:50] 433*2^1123107-1 is not prime. Res64: 86E4662C6CB08021 Time : 0.0 sec. user=vaughan [2012-02-13 21:17:51] 471*2^1123107-1 is not prime. Res64: A56F972AEED48482 Time : 0.0 sec. user=vaughan [2012-02-13 21:18:33] 465*2^1123101-1 is not prime. Res64: 5511966A48FE6565 Time : 0.0 sec. user=vaughan [2012-02-13 21:18:34] 413*2^1123102-1 is not prime. Res64: 52B5DB607640E5CC Time : 0.0 sec. user=vaughan [2012-02-13 21:18:59] 437*2^1123102-1 is not prime. Res64: ED6C64D663187207 Time : 0.0 sec. user=vaughan [2012-02-13 21:19:00] 411*2^1123103-1 is not prime. Res64: 7A7CFF9E170A25DD Time : 0.0 sec. user=vaughan [2012-02-13 21:19:35] 501*2^1123107-1 is not prime. Res64: 0DDDE2C3C8E844F5 Time : 0.0 sec. user=vaughan [2012-02-13 21:19:35] 437*2^1123108-1 is not prime. Res64: C9FA2CD9C3BF86FC Time : 0.0 sec. user=vaughan [2012-02-13 21:20:24] 497*2^1123108-1 is not prime. Res64: 0DE284AB033C8843 Time : 0.0 sec. user=vaughan [2012-02-13 21:20:24] 569*2^1123108-1 is not prime. Res64: D20A57D0D0D1B37F Time : 0.0 sec. user=vaughan [2012-02-13 21:21:42] 573*2^1123094-1 is not prime. Res64: E45346525BDA1CFD Time : 0.0 sec. user=vaughan [2012-02-13 21:21:43] 535*2^1123095-1 is not prime. Res64: ECF4838B64F1071D Time : 0.0 sec. user=vaughan [2012-02-13 21:21:45] 551*2^1123094-1 is not prime. Res64: E5EF2BAFACFB0149 Time : 0.0 sec. user=vaughan [2012-02-13 21:21:45] 561*2^1123094-1 is not prime. Res64: C17DF0EB77444AA8 Time : 0.0 sec. user=vaughan [2012-02-13 21:27:41] 423*2^1123111-1 is not prime. Res64: B3A0A6CE8B71970E Time : 0.0 sec. user=vaughan [2012-02-13 21:27:41] 429*2^1123111-1 is not prime. Res64: 8DAA9E027E382EA1 Time : 0.0 sec. user=vaughan [2012-02-13 21:29:54] 525*2^1123111-1 is not prime. Res64: 9E1E106B42F33DA9 Time : 0.0 sec. user=vaughan [2012-02-13 21:29:54] 531*2^1123111-1 is not prime. Res64: 786E0E088996C015 Time : 0.0 sec. user=vaughan [2012-02-13 21:31:36] 483*2^1123110-1 is not prime. Res64: 6DD30170598C59CC Time : 0.0 sec. user=vaughan [2012-02-13 21:31:36] 501*2^1123110-1 is not prime. Res64: BCCFDAE1290CD93D Time : 0.0 sec. user=vaughan [2012-02-13 21:36:06] 459*2^1123088-1 is not prime. Res64: D1FD2B8A0BCD7378 Time : 0.0 sec. user=vaughan [2012-02-13 21:37:08] 481*2^1123103-1 is not prime. Res64: CB7E63059C1F8EEB Time : 0.0 sec. user=vaughan [2012-02-13 21:37:08] 453*2^1123104-1 is not prime. Res64: 93E89F1FF4841481 Time : 0.0 sec. user=vaughan [2012-02-13 21:37:09] 465*2^1123105-1 is not prime. Res64: 393247650BFB8D84 Time : 0.0 sec. user=vaughan [2012-02-13 21:37:09] 471*2^1123105-1 is not prime. Res64: 293A9B3E759696FE Time : 0.0 sec. user=vaughan [2012-02-13 21:37:11] 459*2^1123104-1 is not prime. Res64: A563844A634BD81C Time : 0.0 sec. user=vaughan [2012-02-13 21:37:12] 593*2^1123104-1 is not prime. Res64: 20F9273E7709177C Time : 0.0 sec. user=vaughan [2012-02-13 21:37:16] 597*2^1123116-1 is not prime. Res64: C5559E4DA78FD941 Time : 0.0 sec. user=vaughan [2012-02-13 21:37:17] 405*2^1123117-1 is not prime. Res64: CD63BC72E9D13773 Time : 0.0 sec. user=vaughan [2012-02-13 21:37:37] 447*2^1123117-1 is not prime. Res64: 538F9855AB6B60DE Time : 0.0 sec. user=vaughan [2012-02-13 21:37:37] 507*2^1123117-1 is not prime. Res64: 916C50BB8792BF9E Time : 0.0 sec. user=vaughan [2012-02-13 21:40:42] 511*2^1123119-1 is not prime. Res64: 52DDA733E5955B61 Time : 0.0 sec. user=vaughan [2012-02-13 21:40:42] 573*2^1123119-1 is not prime. Res64: 33C1DC9BB8EAF42D Time : 0.0 sec. user=vaughan [2012-02-13 21:41:44] 509*2^1123120-1 is not prime. Res64: 3C75950C18BB1AA5 Time : 0.0 sec. user=vaughan [2012-02-13 21:41:45] 513*2^1123120-1 is not prime. Res64: FE7F0A5D2E12A297 Time : 0.0 sec. user=vaughan [2012-02-13 21:41:48] 507*2^1123109-1 is not prime. Res64: 5DABA4589EBD2A7D Time : 0.0 sec. user=vaughan [2012-02-13 21:41:49] 525*2^1123109-1 is not prime. Res64: 2CBB10CCC6491B8C Time : 0.0 sec. user=vaughan [2012-02-13 21:45:30] 595*2^1123117-1 is not prime. Res64: F19BCFB1F57563A6 Time : 0.0 sec. user=vaughan [2012-02-13 21:45:31] 423*2^1123118-1 is not prime. Res64: 1EF257EE74CD5C59 Time : 0.0 sec. user=vaughan [2012-02-13 21:45:57] 483*2^1123118-1 is not prime. Res64: CB63983676EA6897 Time : 0.0 sec. user=vaughan [2012-02-13 21:45:58] 433*2^1123119-1 is not prime. Res64: AD3081B08D2D9B7D Time : 0.0 sec. user=vaughan [2012-02-13 21:46:08] 401*2^1123114-1 is not prime. Res64: DEA070BA8C3E8E92 Time : 0.0 sec. user=vaughan [2012-02-13 21:46:08] 513*2^1123114-1 is not prime. Res64: 8D47DDCAB453B0C4 Time : 0.0 sec. user=vaughan [2012-02-13 21:46:47] 595*2^1123111-1 is not prime. Res64: 80ED52E1E147369D Time : 0.0 sec. user=vaughan [2012-02-13 21:46:48] 417*2^1123112-1 is not prime. Res64: CEF05B9CD38C8F4D Time : 0.0 sec. user=vaughan [2012-02-13 21:46:56] 525*2^1123114-1 is not prime. Res64: EB1CF5C03EC500D2 Time : 0.0 sec. user=vaughan [2012-02-13 21:46:57] 531*2^1123114-1 is not prime. Res64: 619723436CD2F489 Time : 0.0 sec. user=vaughan [2012-02-13 21:46:58] 437*2^1123112-1 is not prime. Res64: 691ADB72079B9E21 Time : 0.0 sec. user=vaughan [2012-02-13 21:46:59] 459*2^1123112-1 is not prime. Res64: D2FC7780B0278419 Time : 0.0 sec. user=vaughan [2012-02-13 21:46:59] 447*2^1123112-1 is not prime. Res64: D7987EC8454CA92C Time : 0.0 sec. user=vaughan [2012-02-13 21:46:59] 507*2^1123112-1 is not prime. Res64: 4CF34BFA8061FCA7 Time : 0.0 sec. user=vaughan [2012-02-13 21:47:00] 507*2^1123113-1 is not prime. Res64: F109CBA0B7350C33 Time : 0.0 sec. user=vaughan [2012-02-13 21:47:00] 511*2^1123113-1 is not prime. Res64: D7A9EE734CEDBF01 Time : 0.0 sec. user=vaughan [2012-02-13 21:47:06] 469*2^1123115-1 is not prime. Res64: FA28CA1FE61E4C1F Time : 0.0 sec. user=vaughan [2012-02-13 21:47:06] 475*2^1123115-1 is not prime. Res64: 7581908A538DED94 Time : 0.0 sec. user=vaughan [2012-02-13 21:47:27] 447*2^1123122-1 is not prime. Res64: E8596A62D07DCF5A Time : 0.0 sec. user=vaughan [2012-02-13 21:47:27] 495*2^1123122-1 is not prime. Res64: EE2238C711192E79 Time : 0.0 sec. user=juhehe [2012-02-13 21:48:15] 473*2^1123116-1 is not prime. Res64: 701E82B11F0117AC Time : 0.0 sec. user=juhehe [2012-02-13 21:48:48] 587*2^1123116-1 is not prime. Res64: 930E830CEE04B1D2 Time : 0.0 sec. user=vaughan [2012-02-13 21:50:37] 453*2^1123090-1 is not prime. Res64: 9FCB6AD0B97D5366 Time : 0.0 sec. user=vaughan [2012-02-13 21:51:38] 525*2^1123122-1 is not prime. Res64: 039413D9986BAB1B Time : 0.0 sec. user=vaughan [2012-02-13 21:51:39] 551*2^1123122-1 is not prime. Res64: 4BF74EAD3222C43D Time : 0.0 sec. user=vaughan [2012-02-13 21:57:02] 487*2^1123125-1 is not prime. Res64: 522F76CADDFD7EA5 Time : 0.0 sec. user=vaughan [2012-02-13 21:57:03] 531*2^1123125-1 is not prime. Res64: 81863F97D03B890E Time : 0.0 sec. user=vaughan [2012-02-13 21:57:20] 503*2^1123126-1 is not prime. Res64: 19D2B7157E67C3B1 Time : 0.0 sec. user=vaughan [2012-02-13 21:57:20] 525*2^1123126-1 is not prime. Res64: 397961165EBDEAA1 Time : 0.0 sec. user=vaughan [2012-02-13 21:58:47] 563*2^1123122-1 is not prime. Res64: E090F6C7F6509EBC Time : 0.0 sec. user=vaughan [2012-02-13 21:58:48] 411*2^1123123-1 is not prime. Res64: DA728676E6F7682E Time : 0.0 sec. user=vaughan [2012-02-13 22:02:18] 527*2^1123126-1 is not prime. Res64: 0B22482AF7B1C36D Time : 0.0 sec. user=vaughan [2012-02-13 22:02:19] 463*2^1123127-1 is not prime. Res64: FE3315CDD535ABE1 Time : 0.0 sec. user=vaughan [2012-02-13 22:02:32] 421*2^1123121-1 is not prime. Res64: 152E98D42B0304CA Time : 0.0 sec. user=vaughan [2012-02-13 22:02:33] 441*2^1123121-1 is not prime. Res64: 0EBADDBB3935FC7A Time : 0.0 sec. user=vaughan [2012-02-13 22:02:35] 559*2^1123121-1 is not prime. Res64: CB5BA95E9819E756 Time : 0.0 sec. user=vaughan [2012-02-13 22:02:36] 591*2^1123121-1 is not prime. Res64: 2BCF354911D10B67 Time : 0.0 sec. user=vaughan [2012-02-13 22:03:01] 519*2^1123127-1 is not prime. Res64: 6B880FE79A9F7D56 Time : 0.0 sec. user=vaughan [2012-02-13 22:03:03] 429*2^1123128-1 is not prime. Res64: 5310F6AC01132826 Time : 0.0 sec. user=vaughan [2012-02-13 22:07:11] 571*2^1123133-1 is not prime. Res64: 326F35BF435FB5E9 Time : 0.0 sec. user=vaughan [2012-02-13 22:07:13] 473*2^1123134-1 is not prime. Res64: 116EE6885E2363D5 Time : 0.0 sec. user=vaughan [2012-02-13 22:11:31] 463*2^1123123-1 is not prime. Res64: 8EFBF30D84D633E2 Time : 0.0 sec. user=vaughan [2012-02-13 22:11:33] 493*2^1123123-1 is not prime. Res64: D1897820B84AC4DD Time : 0.0 sec. user=vaughan [2012-02-13 22:11:59] 427*2^1123129-1 is not prime. Res64: 1AEFEBD09D20F201 Time : 0.0 sec. user=vaughan [2012-02-13 22:12:00] 481*2^1123129-1 is not prime. Res64: 02A8564E3750443D Time : 0.0 sec. user=vaughan [2012-02-13 22:12:35] 495*2^1123129-1 is not prime. Res64: 47F9B5D9666793A1 Time : 0.0 sec. user=vaughan [2012-02-13 22:12:37] 597*2^1123129-1 is not prime. Res64: F832F063BDAEA995 Time : 0.0 sec. user=vaughan [2012-02-13 22:12:54] 447*2^1123136-1 is not prime. Res64: 102C757D9EBEA835 Time : 0.0 sec. user=vaughan [2012-02-13 22:12:56] 479*2^1123136-1 is not prime. Res64: C583E6610E9BBF95 Time : 0.0 sec. user=vaughan [2012-02-13 22:16:47] 495*2^1123136-1 is not prime. Res64: 683FE692C1BF51FF Time : 0.0 sec. user=vaughan [2012-02-13 22:16:48] 563*2^1123136-1 is not prime. Res64: 11909C7E9B1E28D9 Time : 0.0 sec. user=vaughan [2012-02-13 22:17:09] 573*2^1123136-1 is not prime. Res64: 9078962B32C203F3 Time : 0.0 sec. user=vaughan [2012-02-13 22:17:10] 585*2^1123136-1 is not prime. Res64: 1955F5B3CA53B2E1 Time : 0.0 sec. user=vaughan [2012-02-13 22:17:16] 437*2^1123130-1 is not prime. Res64: 1B4F1AF2419A1A94 Time : 0.0 sec. user=vaughan [2012-02-13 22:17:16] 447*2^1123130-1 is not prime. Res64: 78A612147F4A0075 Time : 0.0 sec. user=vaughan [2012-02-13 22:18:12] 453*2^1123131-1 is not prime. Res64: 6457404181C69496 Time : 0.0 sec. user=vaughan [2012-02-13 22:18:12] 469*2^1123131-1 is not prime. Res64: 8FF02372FD804F21 Time : 0.0 sec. user=vaughan [2012-02-13 22:18:20] 465*2^1123133-1 is not prime. Res64: 3C5B61C9BEEFFFCC Time : 0.0 sec. user=vaughan [2012-02-13 22:18:20] 565*2^1123133-1 is not prime. Res64: 3AD78F3377CE2049 Time : 0.0 sec. user=juhehe [2012-02-13 22:19:43] 503*2^1123134-1 is not prime. Res64: 5E01550D2EB26B32 Time : 0.0 sec. user=juhehe [2012-02-13 22:20:09] 567*2^1123134-1 is not prime. Res64: A0FC6F484B376D17 Time : 0.0 sec. user=vaughan [2012-02-13 22:22:09] 403*2^1123131-1 is not prime. Res64: 990A6B681F327908 Time : 0.0 sec. user=vaughan [2012-02-13 22:22:09] 415*2^1123131-1 is not prime. Res64: 93C048E06DBCF80D Time : 0.0 sec. user=vaughan [2012-02-13 22:22:10] 519*2^1123123-1 is not prime. Res64: E09A78F8D9ECE6DB Time : 0.0 sec. user=vaughan [2012-02-13 22:22:10] 555*2^1123123-1 is not prime. Res64: 95BD809EB450F68F Time : 0.0 sec. user=vaughan [2012-02-13 22:22:11] 561*2^1123123-1 is not prime. Res64: 68D75B0911699691 Time : 0.0 sec. user=vaughan [2012-02-13 22:22:11] 503*2^1123124-1 is not prime. Res64: EE5D398C81162E1C Time : 0.0 sec. user=vaughan [2012-02-13 22:22:13] 585*2^1123124-1 is not prime. Res64: 5477095E266F8994 Time : 0.0 sec. user=vaughan [2012-02-13 22:22:14] 451*2^1123125-1 is not prime. Res64: EBE7AEE3B8621929 Time : 0.0 sec. user=vaughan [2012-02-13 22:22:18] 507*2^1123132-1 is not prime. Res64: A0C775052E7CE77A Time : 0.0 sec. user=vaughan [2012-02-13 22:22:19] 405*2^1123133-1 is not prime. Res64: EE6D13F6173C3087 Time : 0.0 sec. user=vaughan [2012-02-13 22:22:20] 585*2^1123131-1 is not prime. Res64: 4C60FAA2DD2924AF Time : 0.0 sec. user=vaughan [2012-02-13 22:22:20] 455*2^1123132-1 is not prime. Res64: 04157278D86E4F01 Time : 0.0 sec. user=vaughan [2012-02-13 22:22:22] 511*2^1123131-1 is not prime. Res64: 28C0662447C53FC8 Time : 0.0 sec. user=vaughan [2012-02-13 22:22:23] 535*2^1123131-1 is not prime. Res64: 2635DC631034A1C8 Time : 0.0 sec. user=vaughan [2012-02-13 22:22:35] 537*2^1123128-1 is not prime. Res64: A1AE6F0AA98A9A6B Time : 0.0 sec. user=vaughan [2012-02-13 22:22:35] 555*2^1123128-1 is not prime. Res64: 9C0479456CB1DBDB Time : 0.0 sec. user=vaughan [2012-02-13 22:23:31] 513*2^1123138-1 is not prime. Res64: CC0DE1CB4CCAC32F Time : 0.0 sec. user=vaughan [2012-02-13 22:23:32] 579*2^1123139-1 is not prime. Res64: 028B6E56178312B4 Time : 0.0 sec. user=vaughan [2012-02-13 22:24:17] 511*2^1123141-1 is not prime. Res64: 82604CA3F191B8AE Time : 0.0 sec. user=vaughan [2012-02-13 22:24:18] 525*2^1123141-1 is not prime. Res64: 256CB3AC9A5915A7 Time : 0.0 sec. user=vaughan [2012-02-13 22:25:25] 457*2^1123137-1 is not prime. Res64: 4D0D69053512C65F Time : 0.0 sec. user=vaughan [2012-02-13 22:25:26] 549*2^1123137-1 is not prime. Res64: 62D728B342FBFD37 Time : 0.0 sec. user=vaughan [2012-02-13 22:25:58] 585*2^1123134-1 is not prime. Res64: 4A64E72E766305F3 Time : 0.0 sec. user=vaughan [2012-02-13 22:25:58] 413*2^1123136-1 is not prime. Res64: 74748FCFE77E02A7 Time : 0.0 sec. user=vaughan [2012-02-13 22:27:03] 531*2^1123141-1 is not prime. Res64: 9E60136081FB9D93 Time : 0.0 sec. user=vaughan [2012-02-13 22:27:03] 591*2^1123141-1 is not prime. Res64: 88C2CBDEFFF53EE6 Time : 0.0 sec. user=vaughan [2012-02-13 22:34:05] 447*2^1123145-1 is not prime. Res64: 8C8AAD6D1277451C Time : 0.0 sec. user=vaughan [2012-02-13 22:34:06] 469*2^1123145-1 is not prime. Res64: 743961B118E23765 Time : 0.0 sec. user=vaughan [2012-02-13 22:36:30] 475*2^1123145-1 is not prime. Res64: 763149F24BC5306E Time : 0.0 sec. user=vaughan [2012-02-13 22:36:31] 561*2^1123145-1 is not prime. Res64: 5ED2AF02AF2C0B97 Time : 0.0 sec. user=vaughan [2012-02-13 22:36:54] 567*2^1123145-1 is not prime. Res64: C6E0CD3424DAF8F0 Time : 0.0 sec. user=vaughan [2012-02-13 22:36:54] 585*2^1123145-1 is not prime. Res64: 5D6D8B518873F27D Time : 0.0 sec. user=vaughan [2012-02-13 22:38:48] 477*2^1123142-1 is not prime. Res64: 8F5D4E714E673C2C Time : 0.0 sec. user=vaughan [2012-02-13 22:38:49] 565*2^1123143-1 is not prime. Res64: C04F37D589E4EFEC Time : 0.0 sec. user=vaughan [2012-02-13 22:39:45] 465*2^1123144-1 is not prime. Res64: 636D59C3A8872F13 Time : 0.0 sec. user=vaughan [2012-02-13 22:39:45] 411*2^1123145-1 is not prime. Res64: 19554230B5FC2874 Time : 0.0 sec. user=vaughan [2012-02-13 22:43:22] 595*2^1123139-1 is not prime. Res64: 0C74652B5C9A36A7 Time : 0.0 sec. user=vaughan [2012-02-13 22:43:23] 459*2^1123140-1 is not prime. Res64: 85AB10DE8A548D72 Time : 0.0 sec. user=vaughan [2012-02-13 22:43:28] 537*2^1123140-1 is not prime. Res64: 25361AB87369616F Time : 0.0 sec. user=vaughan [2012-02-13 22:43:28] 421*2^1123141-1 is not prime. Res64: D42567086802EE6E Time : 0.0 sec. user=vaughan [2012-02-13 22:44:51] 511*2^1123151-1 is not prime. Res64: EC5B21759D30F266 Time : 0.0 sec. user=vaughan [2012-02-13 22:44:52] 519*2^1123151-1 is not prime. Res64: 30BDA67512AACC05 Time : 0.0 sec. user=vaughan [2012-02-13 22:45:32] 559*2^1123151-1 is not prime. Res64: 24036756C4A02BDF Time : 0.0 sec. user=vaughan [2012-02-13 22:45:33] 579*2^1123151-1 is not prime. Res64: B94B4F04B582CE35 Time : 0.0 sec. user=vaughan [2012-02-13 22:46:47] 567*2^1123152-1 is not prime. Res64: 52E80C11265AF651 Time : 0.0 sec. user=vaughan [2012-02-13 22:46:47] 569*2^1123152-1 is not prime. Res64: F1502D5EE62C16D8 Time : 0.0 sec. user=vaughan [2012-02-13 22:46:56] 447*2^1123142-1 is not prime. Res64: 1B1FD14437C6BEDF Time : 0.0 sec. user=vaughan [2012-02-13 22:46:57] 461*2^1123142-1 is not prime. Res64: AC56C6638701CFEB Time : 0.0 sec. user=vaughan [2012-02-13 22:48:22] 417*2^1123146-1 is not prime. Res64: 7CB32CE83F180D3D Time : 0.0 sec. user=vaughan [2012-02-13 22:48:23] 447*2^1123146-1 is not prime. Res64: BEDC4BF7A05C339C Time : 0.0 sec. user=vaughan [2012-02-13 22:49:24] 483*2^1123146-1 is not prime. Res64: 8705A320D15C5BBA Time : 0.0 sec. user=vaughan [2012-02-13 22:49:25] 501*2^1123146-1 is not prime. Res64: A491141790545C05 Time : 0.0 sec. user=vaughan [2012-02-13 22:49:36] 527*2^1123146-1 is not prime. Res64: F7315E9E631AE5E0 Time : 0.0 sec. user=vaughan [2012-02-13 22:49:36] 563*2^1123146-1 is not prime. Res64: 1E52078D751F737B Time : 0.0 sec. user=juhehe [2012-02-13 22:50:56] 573*2^1123146-1 is not prime. Res64: 2C4C64E15053C88B Time : 0.0 sec. user=juhehe [2012-02-13 22:51:21] 441*2^1123147-1 is not prime. Res64: 16821CA989C2490C Time : 0.0 sec. user=vaughan [2012-02-13 22:52:10] 423*2^1123152-1 is not prime. Res64: F19C7B41A5EBF6F3 Time : 0.0 sec. user=vaughan [2012-02-13 22:52:11] 425*2^1123152-1 is not prime. Res64: 95DA7BEA684156F8 Time : 0.0 sec. user=vaughan [2012-02-13 22:55:41] 405*2^1123153-1 is not prime. Res64: 67D36A7AD12CD70E Time : 0.0 sec. user=vaughan [2012-02-13 22:55:42] 409*2^1123153-1 is not prime. Res64: 64B7F0453CF41A7D Time : 0.0 sec. user=vaughan [2012-02-13 22:56:14] 477*2^1123153-1 is not prime. Res64: 164B5046CD83ADC3 Time : 0.0 sec. user=vaughan [2012-02-13 22:56:14] 481*2^1123153-1 is not prime. Res64: 61032A646AD947B6 Time : 0.0 sec. user=vaughan [2012-02-13 22:56:38] 597*2^1123153-1 is not prime. Res64: F40A511DA8AB4BAE Time : 0.0 sec. user=vaughan [2012-02-13 22:56:38] 417*2^1123154-1 is not prime. Res64: C56C7106D631DC61 Time : 0.0 sec. user=vaughan [2012-02-13 22:57:21] 489*2^1123147-1 is not prime. Res64: 755355AA1DB830C0 Time : 0.0 sec. user=vaughan [2012-02-13 22:57:21] 495*2^1123147-1 is not prime. Res64: 33C8DA8462BC84C7 Time : 0.0 sec. user=vaughan [2012-02-13 22:57:28] 471*2^1123149-1 is not prime. Res64: A91022F6BF5DB023 Time : 0.0 sec. user=vaughan [2012-02-13 22:57:29] 483*2^1123150-1 is not prime. Res64: 3CC27F8096DE65C4 Time : 0.0 sec. user=vaughan [2012-02-13 22:57:36] 525*2^1123150-1 is not prime. Res64: 78983F7FFA9F4226 Time : 0.0 sec. user=vaughan [2012-02-13 22:57:36] 567*2^1123150-1 is not prime. Res64: 7F7F5E3F59219F39 Time : 0.0 sec. user=vaughan [2012-02-13 22:57:37] 403*2^1123151-1 is not prime. Res64: 10234E26B1437B3D Time : 0.0 sec. user=vaughan [2012-02-13 22:57:37] 439*2^1123151-1 is not prime. Res64: 5C7D1524681FBF5F Time : 0.0 sec. user=vaughan [2012-02-13 23:01:12] 489*2^1123152-1 is not prime. Res64: 6CB5D6B719F0A432 Time : 0.0 sec. user=vaughan [2012-02-13 23:01:13] 497*2^1123152-1 is not prime. Res64: 6B83FDC71469CB4E Time : 0.0 sec. user=vaughan [2012-02-13 23:03:25] 451*2^1123151-1 is not prime. Res64: 5E4D7FB47D90F1A0 Time : 0.0 sec. user=vaughan [2012-02-13 23:03:31] 465*2^1123151-1 is not prime. Res64: CB98018AB0BEE90E Time : 0.0 sec. user=vaughan [2012-02-13 23:05:22] 409*2^1123155-1 is not prime. Res64: FAE8BFE4EB79C2FB Time : 0.0 sec. user=vaughan [2012-02-13 23:05:23] 411*2^1123155-1 is not prime. Res64: E4498C596F0362E2 Time : 0.0 sec. user=vaughan [2012-02-13 23:06:05] 561*2^1123157-1 is not prime. Res64: 7A53A9A04E5A35A7 Time : 0.0 sec. user=vaughan [2012-02-13 23:06:06] 589*2^1123157-1 is not prime. Res64: FB17654F9FB879A1 Time : 0.0 sec. user=vaughan [2012-02-13 23:06:25] 429*2^1123155-1 is not prime. Res64: EC0A5A77A0B3E1CF Time : 0.0 sec. user=vaughan [2012-02-13 23:06:26] 591*2^1123155-1 is not prime. Res64: 3B04974315A6895E Time : 0.0 sec. user=vaughan [2012-02-13 23:06:31] 481*2^1123159-1 is not prime. Res64: 75B8159779273F2A Time : 0.0 sec. user=vaughan [2012-02-13 23:06:33] 589*2^1123159-1 is not prime. Res64: 685A6ADE62E8E741 Time : 0.0 sec. user=vaughan [2012-02-13 23:06:55] 453*2^1123158-1 is not prime. Res64: D642A8AC86209071 Time : 0.0 sec. user=vaughan [2012-02-13 23:06:57] 573*2^1123158-1 is not prime. Res64: 876002C47ABF9180 Time : 0.0 sec. user=vaughan [2012-02-13 23:07:12] 579*2^1123147-1 is not prime. Res64: 1071E0D3D0B0B042 Time : 0.0 sec. user=vaughan [2012-02-13 23:07:16] 467*2^1123148-1 is not prime. Res64: 36CAD8A175DAF927 Time : 0.0 sec. user=vaughan [2012-02-13 23:07:16] 545*2^1123148-1 is not prime. Res64: 99E3551C325C1D63 Time : 0.0 sec. user=vaughan [2012-02-13 23:07:22] 599*2^1123148-1 is not prime. Res64: 4F2E02136AA92461 Time : 0.0 sec. user=vaughan [2012-02-13 23:07:26] 445*2^1123149-1 is not prime. Res64: BC66670494E83068 Time : 0.0 sec. user=vaughan [2012-02-13 23:07:26] 465*2^1123149-1 is not prime. Res64: 21930B4E747EA115 Time : 0.0 sec. user=vaughan [2012-02-13 23:15:56] 405*2^1123165-1 is not prime. Res64: 54F887BF4122EEAF Time : 0.0 sec. user=vaughan [2012-02-13 23:15:57] 429*2^1123165-1 is not prime. Res64: E1AD26174B5DDBEB Time : 0.0 sec. user=vaughan [2012-02-13 23:16:24] 451*2^1123165-1 is not prime. Res64: FFD9A628B97B6F6B Time : 0.0 sec. user=vaughan [2012-02-13 23:16:25] 471*2^1123165-1 is not prime. Res64: E1C0354C9829D049 Time : 0.0 sec. user=vaughan [2012-02-13 23:16:48] 503*2^1123164-1 is not prime. Res64: BA81B18C850290A0 Time : 0.0 sec. user=vaughan [2012-02-13 23:16:49] 507*2^1123164-1 is not prime. Res64: F2DF8006369930E5 Time : 0.0 sec. user=vaughan [2012-02-13 23:18:48] 425*2^1123164-1 is not prime. Res64: 9ABB13EAC289C681 Time : 0.0 sec. user=vaughan [2012-02-13 23:18:49] 459*2^1123164-1 is not prime. Res64: 926713424CCF8D19 Time : 0.0 sec. user=vaughan [2012-02-13 23:19:32] 591*2^1123161-1 is not prime. Res64: 7D8332BA84C82664 Time : 0.0 sec. user=vaughan [2012-02-13 23:19:32] 401*2^1123162-1 is not prime. Res64: 6A0D31FEC799B8C8 Time : 0.0 sec. user=vaughan [2012-02-13 23:20:36] 405*2^1123162-1 is not prime. Res64: 6CFCA2E8C89136D9 Time : 0.0 sec. user=vaughan [2012-02-13 23:20:37] 533*2^1123162-1 is not prime. Res64: FFAA0D7E5DDFCA32 Time : 0.0 sec. user=vaughan [2012-02-13 23:20:50] 567*2^1123162-1 is not prime. Res64: 0548CAB4942DA14E Time : 0.0 sec. user=vaughan [2012-02-13 23:20:51] 489*2^1123163-1 is not prime. Res64: 01D9FAA409FFB0EB Time : 0.0 sec. user=vaughan [2012-02-13 23:22:07] 405*2^1123160-1 is not prime. Res64: 28BAAEEBA6B43BB3 Time : 0.0 sec. user=vaughan [2012-02-13 23:22:08] 465*2^1123160-1 is not prime. Res64: 1F466D687C86B058 Time : 0.0 sec. user=juhehe [2012-02-13 23:22:09] 493*2^1123163-1 is not prime. Res64: 3DF0E824959410D7 Time : 0.0 sec. user=juhehe [2012-02-13 23:22:40] 505*2^1123163-1 is not prime. Res64: 9965DEAF1F1E29D7 Time : 0.0 sec. user=vaughan [2012-02-13 23:24:12] 485*2^1123156-1 is not prime. Res64: 5938DF3E245AE047 Time : 0.0 sec. user=vaughan [2012-02-13 23:24:12] 497*2^1123156-1 is not prime. Res64: C4CBDE0EB7477BD1 Time : 0.0 sec. user=vaughan [2012-02-13 23:24:20] 417*2^1123157-1 is not prime. Res64: 1A25DBC9BCC251BB Time : 0.0 sec. user=vaughan [2012-02-13 23:24:21] 507*2^1123157-1 is not prime. Res64: 445DDEFAEC049F60 Time : 0.0 sec. user=vaughan [2012-02-13 23:26:22] 541*2^1123171-1 is not prime. Res64: 5B4EF08832010607 Time : 0.0 sec. user=vaughan [2012-02-13 23:26:23] 573*2^1123171-1 is not prime. Res64: E9DA8D8FD650553C Time : 0.0 sec. user=vaughan [2012-02-13 23:27:28] 503*2^1123170-1 is not prime. Res64: C6309957314C7392 Time : 0.0 sec. user=vaughan [2012-02-13 23:27:28] 525*2^1123170-1 is not prime. Res64: EE75ACD0B379C5F5 Time : 0.0 sec. user=vaughan [2012-02-13 23:28:21] 449*2^1123172-1 is not prime. Res64: 8AF7AEBAA726A8C8 Time : 0.0 sec. user=vaughan [2012-02-13 23:28:21] 409*2^1123173-1 is not prime. Res64: 6730E8E0A92D11D4 Time : 0.0 sec. user=vaughan [2012-02-13 23:32:18] 579*2^1123169-1 is not prime. Res64: CB7FCEE0F27DC071 Time : 0.0 sec. user=vaughan [2012-02-13 23:32:19] 465*2^1123170-1 is not prime. Res64: 44E60582B259B680 Time : 0.0 sec. user=vaughan [2012-02-13 23:32:37] 477*2^1123165-1 is not prime. Res64: 804DD8FC2FA5AF5D Time : 0.0 sec. user=vaughan [2012-02-13 23:32:38] 489*2^1123165-1 is not prime. Res64: A74EA775587909DD Time : 0.0 sec. user=vaughan [2012-02-13 23:32:43] 407*2^1123166-1 is not prime. Res64: A517FAB069B89468 Time : 0.0 sec. user=vaughan [2012-02-13 23:32:44] 417*2^1123166-1 is not prime. Res64: 4356A6AD6E7BB2F2 Time : 0.0 sec. user=vaughan [2012-02-13 23:32:52] 477*2^1123166-1 is not prime. Res64: A2BB0D10BC4C87C3 Time : 0.0 sec. user=vaughan [2012-02-13 23:32:54] 567*2^1123166-1 is not prime. Res64: 9900071068607E3E Time : 0.0 sec. user=vaughan [2012-02-13 23:32:56] 493*2^1123167-1 is not prime. Res64: C4F13FCFB1352A26 Time : 0.0 sec. user=vaughan [2012-02-13 23:32:57] 501*2^1123167-1 is not prime. Res64: F4D7915BDFD469C9 Time : 0.0 sec. user=vaughan [2012-02-13 23:33:23] 563*2^1123170-1 is not prime. Res64: 7E91353B7124D952 Time : 0.0 sec. user=vaughan [2012-02-13 23:33:23] 499*2^1123171-1 is not prime. Res64: F0E771FCA7CDA3AE Time : 0.0 sec. user=vaughan [2012-02-13 23:35:45] 459*2^1123175-1 is not prime. Res64: 32C5846A3BE8C837 Time : 0.0 sec. user=vaughan [2012-02-13 23:35:46] 465*2^1123175-1 is not prime. Res64: 254E204C20D3A9A8 Time : 0.0 sec. user=vaughan [2012-02-13 23:36:12] 531*2^1123175-1 is not prime. Res64: 5B051A1A10108F24 Time : 0.0 sec. user=vaughan [2012-02-13 23:36:13] 477*2^1123177-1 is not prime. Res64: A73CE5F02C3F5A53 Time : 0.0 sec. user=vaughan [2012-02-13 23:36:26] 559*2^1123167-1 is not prime. Res64: 9DD807A9CCDAEAA0 Time : 0.0 sec. user=vaughan [2012-02-13 23:36:27] 527*2^1123168-1 is not prime. Res64: B358204977A0760D Time : 0.0 sec. user=vaughan [2012-02-13 23:38:06] 577*2^1123177-1 is not prime. Res64: 825FCFA92F3E094B Time : 0.0 sec. user=vaughan [2012-02-13 23:38:07] 459*2^1123179-1 is not prime. Res64: 0686C577F540D895 Time : 0.0 sec. user=vaughan [2012-02-13 23:44:32] 537*2^1123168-1 is not prime. Res64: 6BD6DC111C66F2CC Time : 0.0 sec. user=vaughan [2012-02-13 23:44:33] 559*2^1123169-1 is not prime. Res64: 254D342C06431C31 Time : 0.0 sec. user=vaughan [2012-02-13 23:45:30] 471*2^1123179-1 is not prime. Res64: D121100394B54CBB Time : 0.0 sec. user=vaughan [2012-02-13 23:45:31] 595*2^1123179-1 is not prime. Res64: 050251A759AD0AE7 Time : 0.0 sec. user=vaughan [2012-02-13 23:46:06] 509*2^1123184-1 is not prime. Res64: 68012B8A7242EC15 Time : 0.0 sec. user=vaughan [2012-02-13 23:46:07] 511*2^1123185-1 is not prime. Res64: A959D87C269304D4 Time : 0.0 sec. user=vaughan [2012-02-13 23:48:27] 483*2^1123186-1 is not prime. Res64: C9F08266ED56B766 Time : 0.0 sec. user=vaughan [2012-02-13 23:48:28] 497*2^1123186-1 is not prime. Res64: BA4F901F17D6F371 Time : 0.0 sec. user=vaughan [2012-02-13 23:49:31] 581*2^1123186-1 is not prime. Res64: 6793652E4080823C Time : 0.0 sec. user=vaughan [2012-02-13 23:49:32] 587*2^1123186-1 is not prime. Res64: 94A9B3173C09A165 Time : 0.0 sec. user=vaughan [2012-02-13 23:50:37] 423*2^1123180-1 is not prime. Res64: 67761879F64F9A96 Time : 0.0 sec. user=vaughan [2012-02-13 23:50:38] 489*2^1123180-1 is not prime. Res64: CEFC4A38763CE039 Time : 0.0 sec. user=vaughan [2012-02-13 23:51:53] 519*2^1123180-1 is not prime. Res64: 785FC3FB4D1394F2 Time : 0.0 sec. user=vaughan [2012-02-13 23:51:53] 409*2^1123181-1 is not prime. Res64: 26EA457F2FDFAB79 Time : 0.0 sec. user=vaughan [2012-02-13 23:52:10] 495*2^1123181-1 is not prime. Res64: 71D599FA3A3B07C6 Time : 0.0 sec. user=vaughan [2012-02-13 23:52:10] 401*2^1123182-1 is not prime. Res64: 3B1B94F5E8D9BC3C Time : 0.0 sec. user=vaughan [2012-02-13 23:52:29] 507*2^1123173-1 is not prime. Res64: 44D548CA0BAE46F6 Time : 0.0 sec. user=vaughan [2012-02-13 23:52:30] 595*2^1123173-1 is not prime. Res64: 81EB4B1E1CEFE13E Time : 0.0 sec. user=vaughan [2012-02-13 23:52:30] 597*2^1123173-1 is not prime. Res64: 4BA2955448B9D727 Time : 0.0 sec. user=vaughan [2012-02-13 23:52:31] 425*2^1123174-1 is not prime. Res64: AA7DE0E727CB8F23 Time : 0.0 sec. user=vaughan [2012-02-13 23:52:31] 435*2^1123174-1 is not prime. Res64: 2DE59A17C0233C1C Time : 0.0 sec. user=vaughan [2012-02-13 23:52:32] 423*2^1123175-1 is not prime. Res64: 4DB9C7C734A6E172 Time : 0.0 sec. user=juhehe [2012-02-13 23:53:24] 503*2^1123182-1 is not prime. Res64: 511B40C681D59284 Time : 0.0 sec. user=juhehe [2012-02-13 23:53:57] 555*2^1123182-1 is not prime. Res64: 6DE840D625AA6B2C Time : 0.0 sec. user=vaughan [2012-02-13 23:55:26] 559*2^1123191-1 is not prime. Res64: 6D6BAFE9A2A8D2F1 Time : 0.0 sec. user=vaughan [2012-02-13 23:55:27] 595*2^1123191-1 is not prime. Res64: D34D53A5B43A3C25 Time : 0.0 sec. user=vaughan [2012-02-13 23:55:52] 549*2^1123192-1 is not prime. Res64: 1384D28788ABB0DD Time : 0.0 sec. user=vaughan [2012-02-13 23:55:53] 563*2^1123192-1 is not prime. Res64: E852F03C65CDE9BC Time : 0.0 sec. user=vaughan [2012-02-13 23:57:45] 447*2^1123182-1 is not prime. Res64: 3509BA041BFDD3D4 Time : 0.0 sec. user=vaughan [2012-02-13 23:57:45] 485*2^1123182-1 is not prime. Res64: 4DF9EF7A59FE0370 Time : 0.0 sec. user=vaughan [2012-02-13 23:58:17] 489*2^1123187-1 is not prime. Res64: CD10653A64CBDD0F Time : 0.0 sec. user=vaughan [2012-02-13 23:58:18] 493*2^1123187-1 is not prime. Res64: 9DFF2C70A8C2F1B0 Time : 0.0 sec. user=vaughan [2012-02-13 23:58:53] 591*2^1123193-1 is not prime. Res64: 1245E7875BF05A59 Time : 0.0 sec. user=vaughan [2012-02-13 23:58:53] 411*2^1123194-1 is not prime. Res64: 63ED4D03E36D5B96 Time : 0.0 sec. user=vaughan [2012-02-13 23:59:17] 417*2^1123190-1 is not prime. Res64: D2191C9DB2F8E858 Time : 0.0 sec. user=vaughan [2012-02-13 23:59:18] 585*2^1123190-1 is not prime. Res64: 8EC6D9DFD84F881E Time : 0.0 sec.