user=vaughan [2009-05-25 00:00:34] 537*2^689120-1 is not prime. Res64: 305C1B9854261D1D Time : 449.0 sec. user=vaughan [2009-05-25 00:00:55] 573*2^689119-1 is not prime. Res64: 8ABF8F07FB2DD68C Time : 798.0 sec. user=vaughan [2009-05-25 00:04:32] 543*2^689120-1 is not prime. Res64: 9B0F41A8D2A01E3A Time : 445.0 sec. user=SazanEyes [2009-05-25 00:04:34] 507*2^689102-1 is not prime. Res64: 74ED1A7D751DA982 Time : 8520.0 sec. user=vaughan [2009-05-25 00:06:34] 499*2^689119-1 is not prime. Res64: 22EB5B20D654711B Time : 1440.0 sec. user=vaughan [2009-05-25 00:08:05] 413*2^689118-1 is not prime. Res64: 87A47336AD0D2633 Time : 2419.0 sec. user=vaughan [2009-05-25 00:08:07] 517*2^689121-1 is not prime. Res64: B8C1EC9EDB7C214F Time : 453.0 sec. user=vaughan [2009-05-25 00:08:38] 531*2^689119-1 is not prime. Res64: D103C5BB19638A3C Time : 1273.0 sec. user=vaughan [2009-05-25 00:11:55] 527*2^689122-1 is not prime. Res64: 9613C0D2AD6D9773 Time : 443.0 sec. user=vaughan [2009-05-25 00:14:06] 577*2^689121-1 is not prime. Res64: 2FC9E8CD083A5AD9 Time : 791.0 sec. user=vaughan [2009-05-25 00:15:38] 447*2^689124-1 is not prime. Res64: 5C5771350A88C236 Time : 451.0 sec. user=SazanEyes [2009-05-25 00:16:49] 465*2^689103-1 is not prime. Res64: 4DD1E202D6BEF0CC Time : 8664.0 sec. user=vaughan [2009-05-25 00:19:18] 483*2^689124-1 is not prime. Res64: 1049FC93B53C8327 Time : 443.0 sec. user=vaughan [2009-05-25 00:23:07] 557*2^689124-1 is not prime. Res64: 1755F1B5556B6220 Time : 449.0 sec. user=vaughan [2009-05-25 00:26:43] 421*2^689125-1 is not prime. Res64: 61A2644880F5AD3A Time : 445.0 sec. user=vaughan [2009-05-25 00:27:13] 555*2^689124-1 is not prime. Res64: EBAAE2B6DD03A78C Time : 787.0 sec. user=vaughan [2009-05-25 00:29:48] 455*2^689124-1 is not prime. Res64: 49C21E5CA1B17B87 Time : 1270.0 sec. user=vaughan [2009-05-25 00:30:21] 591*2^689123-1 is not prime. Res64: 0D0AB32558CAF768 Time : 1427.0 sec. user=vaughan [2009-05-25 00:30:36] 429*2^689125-1 is not prime. Res64: F0FCE4AFB35E80E4 Time : 449.0 sec. user=SazanEyes [2009-05-25 00:34:02] 573*2^689106-1 is not prime. Res64: FC878F3B92CCE3C3 Time : 8604.0 sec. user=vaughan [2009-05-25 00:34:05] 441*2^689125-1 is not prime. Res64: E13B30E4578F106A Time : 443.0 sec. user=vaughan [2009-05-25 00:38:10] 447*2^689121-1 is not prime. Res64: 784888BE80A95343 Time : 2399.0 sec. user=vaughan [2009-05-25 00:38:14] 573*2^689126-1 is not prime. Res64: C8E4F24276344354 Time : 458.0 sec. user=vaughan [2009-05-25 00:39:20] 451*2^689125-1 is not prime. Res64: AE6A7E03900F6691 Time : 727.0 sec. user=vaughan [2009-05-25 00:41:29] 423*2^689127-1 is not prime. Res64: 2ABB3C0838CF78C4 Time : 445.0 sec. user=vaughan [2009-05-25 00:45:45] 549*2^689127-1 is not prime. Res64: 24F11DACF44941E4 Time : 452.0 sec. user=SazanEyes [2009-05-25 00:45:45] 435*2^689108-1 is not prime. Res64: 525DEB11C472FA87 Time : 8671.0 sec. user=vaughan [2009-05-25 00:48:20] 419*2^689124-1 is not prime. Res64: CE207E9A18BC0D8C Time : 2416.0 sec. user=vaughan [2009-05-25 00:48:51] 465*2^689128-1 is not prime. Res64: 05BA9FFD4E6F405F Time : 442.0 sec. user=vaughan [2009-05-25 00:51:06] 525*2^689125-1 is not prime. Res64: AD01B1FA3242BAAE Time : 1279.0 sec. user=vaughan [2009-05-25 00:51:46] 419*2^689128-1 is not prime. Res64: C897BF3A4DC17D88 Time : 746.0 sec. user=vaughan [2009-05-25 00:53:16] 483*2^689128-1 is not prime. Res64: B3EBCEFB24317E23 Time : 452.0 sec. user=vaughan [2009-05-25 00:53:39] 495*2^689126-1 is not prime. Res64: 92B10B1878CC5B9D Time : 1398.0 sec. user=vaughan [2009-05-25 00:56:14] 411*2^689129-1 is not prime. Res64: 137CE5C40C118A42 Time : 443.0 sec. user=vaughan [2009-05-25 01:00:49] 595*2^689129-1 is not prime. Res64: AD70BC6988E2DBBA Time : 453.0 sec. user=SazanEyes [2009-05-25 01:02:07] 471*2^689110-1 is not prime. Res64: BE38CD4E839B22DA Time : 8519.0 sec. user=vaughan [2009-05-25 01:03:39] 461*2^689130-1 is not prime. Res64: 381FD4C701F8E7F5 Time : 446.0 sec. user=vaughan [2009-05-25 01:03:52] 459*2^689129-1 is not prime. Res64: 90B140D76C1C82B7 Time : 727.0 sec. user=vaughan [2009-05-25 01:08:16] 465*2^689130-1 is not prime. Res64: 6CE92B55832E4CBB Time : 447.0 sec. user=vaughan [2009-05-25 01:11:03] 513*2^689130-1 is not prime. Res64: 7C71C69926EFB23E Time : 444.0 sec. user=vaughan [2009-05-25 01:12:37] 435*2^689129-1 is not prime. Res64: C2582E5AC5ABA356 Time : 1291.0 sec. user=SazanEyes [2009-05-25 01:14:38] 579*2^689111-1 is not prime. Res64: A2363944CD86D199 Time : 8669.0 sec. user=vaughan [2009-05-25 01:15:45] 587*2^689130-1 is not prime. Res64: 985E433A67791195 Time : 449.0 sec. user=vaughan [2009-05-25 01:16:36] 563*2^689130-1 is not prime. Res64: 298712F994A280E7 Time : 764.0 sec. user=vaughan [2009-05-25 01:16:50] 501*2^689127-1 is not prime. Res64: BC744072CE30C77B Time : 2320.0 sec. user=vaughan [2009-05-25 01:17:52] 447*2^689130-1 is not prime. Res64: 5039EC2FF56C48DA Time : 1453.0 sec. user=vaughan [2009-05-25 01:18:27] 429*2^689131-1 is not prime. Res64: FC8CC43491BA0E8C Time : 444.0 sec. user=vaughan [2009-05-25 01:23:14] 519*2^689131-1 is not prime. Res64: 9ECBD2BE166FCEA2 Time : 449.0 sec. user=vaughan [2009-05-25 01:25:24] 573*2^689128-1 is not prime. Res64: 53E1F119901227D9 Time : 2224.0 sec. user=vaughan [2009-05-25 01:25:53] 579*2^689132-1 is not prime. Res64: 7A19783983C9963A Time : 446.0 sec. user=vaughan [2009-05-25 01:29:00] 541*2^689131-1 is not prime. Res64: A9F51A3AB455A72C Time : 744.0 sec. user=SazanEyes [2009-05-25 01:29:57] 577*2^689113-1 is not prime. Res64: 840029ADF641EA85 Time : 8502.0 sec. user=vaughan [2009-05-25 01:30:52] 599*2^689132-1 is not prime. Res64: 9F4447AD29A4C7C9 Time : 459.0 sec. user=vaughan [2009-05-25 01:33:20] 451*2^689133-1 is not prime. Res64: 4B434185386491F9 Time : 447.0 sec. user=vaughan [2009-05-25 01:34:42] 453*2^689131-1 is not prime. Res64: 8C6E284D2F1DADB2 Time : 1325.0 sec. user=vaughan [2009-05-25 01:38:21] 537*2^689133-1 is not prime. Res64: 4281247C599BDDCB Time : 450.0 sec. user=vaughan [2009-05-25 01:40:45] 565*2^689133-1 is not prime. Res64: 43F5F261A354138B Time : 446.0 sec. user=vaughan [2009-05-25 01:41:42] 471*2^689133-1 is not prime. Res64: CBA7513A500F4626 Time : 762.0 sec. user=vaughan [2009-05-25 01:42:04] 477*2^689132-1 is not prime. Res64: B402711954692F52 Time : 1453.0 sec. user=SazanEyes [2009-05-25 01:43:34] 555*2^689115-1 is not prime. Res64: 9A249EDB20937FF6 Time : 8675.0 sec. user=vaughan [2009-05-25 01:45:50] 495*2^689134-1 is not prime. Res64: C213D7E2E2F080FF Time : 449.0 sec. user=vaughan [2009-05-25 01:48:09] 551*2^689134-1 is not prime. Res64: 31B0C76A587CCDB6 Time : 444.0 sec. user=vaughan [2009-05-25 01:53:18] 465*2^689135-1 is not prime. Res64: A08149FEBC66D27B Time : 448.0 sec. user=vaughan [2009-05-25 01:54:44] 567*2^689134-1 is not prime. Res64: 9E88E7837A61E37C Time : 782.0 sec. user=vaughan [2009-05-25 01:55:21] 413*2^689132-1 is not prime. Res64: E41266E8AE46F026 Time : 2311.0 sec. user=vaughan [2009-05-25 01:55:34] 481*2^689135-1 is not prime. Res64: 9E02BB28A5076502 Time : 445.0 sec. user=vaughan [2009-05-25 01:55:57] 483*2^689134-1 is not prime. Res64: 7DBB8911ED5C692A Time : 1275.0 sec. user=SazanEyes [2009-05-25 01:59:15] 525*2^689118-1 is not prime. Res64: AC30B50638CB07BC Time : 8570.0 sec. user=vaughan [2009-05-25 02:00:48] 499*2^689137-1 is not prime. Res64: 2919E6F531B4A76B Time : 450.0 sec. user=vaughan [2009-05-25 02:02:59] 493*2^687655-1 is not prime. Res64: 9A9BDE8A7D34AAB1 Time : 445.0 sec. user=vaughan [2009-05-25 02:03:44] 427*2^689133-1 is not prime. Res64: B998FB7309845E85 Time : 2301.0 sec. user=vaughan [2009-05-25 02:06:16] 469*2^687655-1 is not prime. Res64: 3A1CD7AA9F2B0351 Time : 693.0 sec. user=vaughan [2009-05-25 02:07:59] 411*2^689135-1 is not prime. Res64: 48C065F0EAC0CB55 Time : 1555.0 sec. user=vaughan [2009-05-25 02:08:17] 567*2^687656-1 is not prime. Res64: C54F34E05E003A70 Time : 449.0 sec. user=vaughan [2009-05-25 02:10:23] 409*2^687657-1 is not prime. Res64: 2CB49B23ED508CC6 Time : 445.0 sec. user=SazanEyes [2009-05-25 02:12:22] 437*2^689120-1 is not prime. Res64: 2C0E3E0BD67E4913 Time : 8662.0 sec. user=vaughan [2009-05-25 02:15:54] 453*2^687658-1 is not prime. Res64: A9087C6FEE2D86EA Time : 457.0 sec. user=vaughan [2009-05-25 02:17:49] 461*2^687658-1 is not prime. Res64: 93D7524AEC04FA3B Time : 446.0 sec. user=vaughan [2009-05-25 02:18:27] 535*2^687655-1 is not prime. Res64: A95160FAD9443BC1 Time : 1350.0 sec. user=vaughan [2009-05-25 02:19:04] 579*2^687657-1 is not prime. Res64: C632B077F99D31C0 Time : 769.0 sec. user=vaughan [2009-05-25 02:23:22] 491*2^687658-1 is not prime. Res64: 66CAD3DE5A677CE5 Time : 448.0 sec. user=vaughan [2009-05-25 02:25:13] 497*2^687658-1 is not prime. Res64: 83B7AA4D3DE9CF09 Time : 445.0 sec. user=SazanEyes [2009-05-25 02:28:38] 511*2^689123-1 is not prime. Res64: 35159E7F6D44E54A Time : 8645.0 sec. user=vaughan [2009-05-25 02:30:52] 513*2^687658-1 is not prime. Res64: F7905BC0D2B31800 Time : 709.0 sec. user=vaughan [2009-05-25 02:30:57] 551*2^687658-1 is not prime. Res64: 321C2AB5367DAB2B Time : 455.0 sec. user=vaughan [2009-05-25 02:31:23] 401*2^687658-1 is not prime. Res64: 3268584CE8B478D7 Time : 1405.0 sec. user=vaughan [2009-05-25 02:31:44] 489*2^687655-1 is not prime. Res64: E9C2EA9781771462 Time : 2183.0 sec. user=vaughan [2009-05-25 02:32:37] 435*2^687659-1 is not prime. Res64: 4626FBD0B31C7C2D Time : 444.0 sec. user=vaughan [2009-05-25 02:38:25] 553*2^687659-1 is not prime. Res64: 59B42A46B3194FC2 Time : 449.0 sec. user=vaughan [2009-05-25 02:39:46] 507*2^687658-1 is not prime. Res64: 5C59C14DD89685E9 Time : 1279.0 sec. user=vaughan [2009-05-25 02:40:01] 495*2^687661-1 is not prime. Res64: ED569D3058FCBAB0 Time : 444.0 sec. user=SazanEyes [2009-05-25 02:41:17] 411*2^689125-1 is not prime. Res64: 4B2AA3CE491B55E7 Time : 8668.0 sec. user=vaughan [2009-05-25 02:42:41] 529*2^687657-1 is not prime. Res64: 1EFD3BDF33666270 Time : 2338.0 sec. user=vaughan [2009-05-25 02:43:20] 493*2^687659-1 is not prime. Res64: C8901EECB838972F Time : 749.0 sec. user=vaughan [2009-05-25 02:45:53] 525*2^687661-1 is not prime. Res64: A7ECC103D748596E Time : 449.0 sec. user=vaughan [2009-05-25 02:47:25] 561*2^687661-1 is not prime. Res64: 64AC3A6D96CA241B Time : 444.0 sec. user=vaughan [2009-05-25 02:53:21] 507*2^687662-1 is not prime. Res64: FE34FBCF51A6E31A Time : 448.0 sec. user=vaughan [2009-05-25 02:54:48] 521*2^687662-1 is not prime. Res64: BEC1D61DC51A54AF Time : 444.0 sec. user=vaughan [2009-05-25 02:55:00] 461*2^687662-1 is not prime. Res64: 64F4FFF2219BE670 Time : 700.0 sec. user=vaughan [2009-05-25 02:56:25] 453*2^687660-1 is not prime. Res64: 3C352B17C6400AB0 Time : 1502.0 sec. user=SazanEyes [2009-05-25 02:56:39] 575*2^689126-1 is not prime. Res64: 207F41E53B7F4988 Time : 8557.0 sec. user=vaughan [2009-05-25 03:00:49] 581*2^687662-1 is not prime. Res64: 5097419985BD0FDD Time : 448.0 sec. user=vaughan [2009-05-25 03:01:34] 549*2^687661-1 is not prime. Res64: 5DCAA648E2CE16D0 Time : 1309.0 sec. user=vaughan [2009-05-25 03:02:11] 409*2^687663-1 is not prime. Res64: 5186DC7363F27984 Time : 444.0 sec. user=vaughan [2009-05-25 03:06:27] 429*2^687663-1 is not prime. Res64: 5134CB2AE90325D8 Time : 687.0 sec. user=vaughan [2009-05-25 03:08:18] 453*2^687664-1 is not prime. Res64: 9D7B27BB85019E2F Time : 449.0 sec. user=vaughan [2009-05-25 03:09:34] 569*2^687664-1 is not prime. Res64: 8F67966C8B5D70E3 Time : 443.0 sec. user=SazanEyes [2009-05-25 03:10:10] 563*2^689128-1 is not prime. Res64: 7439E8104CE3F422 Time : 8665.0 sec. user=vaughan [2009-05-25 03:10:45] 479*2^687660-1 is not prime. Res64: EE8CB3E66B4C8590 Time : 2341.0 sec. user=vaughan [2009-05-25 03:15:47] 511*2^687665-1 is not prime. Res64: 46B993AB2A4398E7 Time : 449.0 sec. user=vaughan [2009-05-25 03:16:58] 517*2^687665-1 is not prime. Res64: 071FC6280BF28001 Time : 444.0 sec. user=vaughan [2009-05-25 03:17:53] 469*2^687665-1 is not prime. Res64: 133D84CC0E22B464 Time : 686.0 sec. user=vaughan [2009-05-25 03:19:36] 465*2^687663-1 is not prime. Res64: 590370A0712A3CA5 Time : 1391.0 sec. user=vaughan [2009-05-25 03:20:31] 407*2^687662-1 is not prime. Res64: D714FD72CFBC1A6C Time : 2271.0 sec. user=vaughan [2009-05-25 03:23:17] 427*2^687673-1 is not prime. Res64: 5EAD378E98B4128C Time : 450.0 sec. user=vaughan [2009-05-25 03:24:11] 525*2^687664-1 is not prime. Res64: 21A3FAFC92BF4169 Time : 1357.0 sec. user=vaughan [2009-05-25 03:24:21] 533*2^687680-1 is not prime. Res64: 73C60532B4328F88 Time : 443.0 sec. user=SazanEyes [2009-05-25 03:24:26] 501*2^689130-1 is not prime. Res64: 05CB58EAD51764C8 Time : 8539.0 sec. user=vaughan [2009-05-25 03:29:24] 547*2^687685-1 is not prime. Res64: 9E16192FE293F64C Time : 692.0 sec. user=vaughan [2009-05-25 03:30:49] 477*2^687701-1 is not prime. Res64: 455FDCF39026507B Time : 452.0 sec. user=vaughan [2009-05-25 03:31:45] 413*2^687706-1 is not prime. Res64: E081AE396B2A822C Time : 444.0 sec. user=vaughan [2009-05-25 03:38:23] 401*2^687714-1 is not prime. Res64: A8F05EBFE7BF1DD2 Time : 455.0 sec. user=SazanEyes [2009-05-25 03:39:08] 489*2^689131-1 is not prime. Res64: 86F9E879277665C9 Time : 8671.0 sec. user=vaughan [2009-05-25 03:39:11] 505*2^687719-1 is not prime. Res64: 615F3FB92C01B0D6 Time : 446.0 sec. user=vaughan [2009-05-25 03:40:48] 467*2^687712-1 is not prime. Res64: 630E9226DB2AD303 Time : 685.0 sec. user=vaughan [2009-05-25 03:45:01] 595*2^687665-1 is not prime. Res64: E8BAAA3DD6024AAD Time : 2057.0 sec. user=vaughan [2009-05-25 03:45:16] 417*2^687693-1 is not prime. Res64: 0D65FC2D17C8610B Time : 1541.0 sec. user=vaughan [2009-05-25 03:45:53] 557*2^687720-1 is not prime. Res64: 66C67E15430E2F72 Time : 450.0 sec. user=vaughan [2009-05-25 03:46:35] 561*2^689137-1 is not prime. Res64: 5AFE90322157BD62 Time : 444.0 sec. user=vaughan [2009-05-25 03:46:55] 493*2^687703-1 is not prime. Res64: C29FE3AE1ECC79A0 Time : 1364.0 sec. user=vaughan [2009-05-25 03:52:14] 405*2^689138-1 is not prime. Res64: 68F58DF3447ECBEE Time : 687.0 sec. user=SazanEyes [2009-05-25 03:52:36] 529*2^689133-1 is not prime. Res64: 2C0E1D074C6042E5 Time : 8559.0 sec. user=vaughan [2009-05-25 03:53:21] 525*2^687730-1 is not prime. Res64: F8BE7CD8FA84A311 Time : 448.0 sec. user=vaughan [2009-05-25 03:54:00] 507*2^689138-1 is not prime. Res64: 88C4FC808C76CBCD Time : 445.0 sec. user=vaughan [2009-05-25 03:57:38] 425*2^687698-1 is not prime. Res64: 14BB84BD724E7660 Time : 2228.0 sec. user=vaughan [2009-05-25 04:00:48] 453*2^687734-1 is not prime. Res64: 28121F7C60D67988 Time : 447.0 sec. user=vaughan [2009-05-25 04:01:25] 555*2^689139-1 is not prime. Res64: 813CDE6A1B137185 Time : 445.0 sec. user=vaughan [2009-05-25 04:03:53] 585*2^689138-1 is not prime. Res64: 304268FA1471ACBE Time : 700.0 sec. user=SazanEyes [2009-05-25 04:08:01] 433*2^689135-1 is not prime. Res64: 22ADBDA2E13D587F Time : 8667.0 sec. user=vaughan [2009-05-25 04:08:15] 405*2^689140-1 is not prime. Res64: 286B6541BD9C1D4B Time : 447.0 sec. user=vaughan [2009-05-25 04:08:43] 495*2^689138-1 is not prime. Res64: E59E0D2EDEC2E506 Time : 1407.0 sec. user=vaughan [2009-05-25 04:08:51] 429*2^689140-1 is not prime. Res64: F88CD2F48070904B Time : 446.0 sec. user=vaughan [2009-05-25 04:09:38] 575*2^689138-1 is not prime. Res64: 949E4E79BE07D1C5 Time : 1363.0 sec. user=vaughan [2009-05-25 04:15:21] 447*2^689140-1 is not prime. Res64: DC1BF7F7F3F7BA26 Time : 688.0 sec. user=vaughan [2009-05-25 04:15:41] 425*2^687740-1 is not prime. Res64: BFCF74EB2B9CC0A4 Time : 446.0 sec. user=vaughan [2009-05-25 04:16:15] 545*2^689140-1 is not prime. Res64: 5020CAC262C00A17 Time : 445.0 sec. user=SazanEyes [2009-05-25 04:20:27] 553*2^687655-1 is not prime. Res64: 56E40C47848674F7 Time : 8472.0 sec. user=vaughan [2009-05-25 04:22:40] 465*2^687728-1 is not prime. Res64: 39A93FFB42F4DBD8 Time : 2259.0 sec. user=vaughan [2009-05-25 04:23:08] 447*2^689141-1 is not prime. Res64: 6699A398189EA8A1 Time : 447.0 sec. user=vaughan [2009-05-25 04:23:39] 547*2^689141-1 is not prime. Res64: 0BFA137F79D17607 Time : 445.0 sec. user=vaughan [2009-05-25 04:26:48] 597*2^687745-1 is not prime. Res64: D957B1FDFCFCBFF7 Time : 687.0 sec. user=vaughan [2009-05-25 04:30:36] 445*2^687749-1 is not prime. Res64: 9E0BE02ECDF524D1 Time : 448.0 sec. user=vaughan [2009-05-25 04:31:03] 577*2^689141-1 is not prime. Res64: ECFD4E0F2066138E Time : 444.0 sec. user=vaughan [2009-05-25 04:31:59] 567*2^689140-1 is not prime. Res64: 2303D52E22EBA926 Time : 1341.0 sec. user=vaughan [2009-05-25 04:33:06] 539*2^689140-1 is not prime. Res64: C20CF84347439CF7 Time : 1463.0 sec. user=vaughan [2009-05-25 04:36:26] 441*2^687735-1 is not prime. Res64: D2F2040E35528B8A Time : 2328.0 sec. user=SazanEyes [2009-05-25 04:36:59] 465*2^687658-1 is not prime. Res64: B187D012FFAC99C9 Time : 8677.0 sec. user=vaughan [2009-05-25 04:38:05] 493*2^687751-1 is not prime. Res64: 2E2514BC8D111082 Time : 450.0 sec. user=vaughan [2009-05-25 04:38:24] 519*2^687751-1 is not prime. Res64: 33611FE1C6779690 Time : 441.0 sec. user=vaughan [2009-05-25 04:38:31] 441*2^689143-1 is not prime. Res64: C45A1939178C45A7 Time : 703.0 sec. user=vaughan [2009-05-25 04:45:32] 587*2^689144-1 is not prime. Res64: 21AADA4C3D25A7D2 Time : 448.0 sec. user=vaughan [2009-05-25 04:45:49] 531*2^689145-1 is not prime. Res64: C1AF67BDC537CF60 Time : 445.0 sec. user=SazanEyes [2009-05-25 04:48:45] 489*2^687659-1 is not prime. Res64: 0FA01F9378984A07 Time : 8407.0 sec. user=vaughan [2009-05-25 04:50:01] 535*2^689145-1 is not prime. Res64: 1C5050F7A1B2C875 Time : 690.0 sec. user=vaughan [2009-05-25 04:53:01] 555*2^687757-1 is not prime. Res64: 0CD6CE4DBEC65BEA Time : 450.0 sec. user=vaughan [2009-05-25 04:53:11] 515*2^687758-1 is not prime. Res64: 5ACE33A0393D714B Time : 442.0 sec. user=vaughan [2009-05-25 04:54:51] 471*2^687753-1 is not prime. Res64: 167C0903D9F9DBD4 Time : 1372.0 sec. user=vaughan [2009-05-25 04:56:11] 489*2^689143-1 is not prime. Res64: 47FC204F2C7E97AB Time : 1385.0 sec. user=vaughan [2009-05-25 04:58:50] 583*2^687747-1 is not prime. Res64: DAE82AA4550BFCBF Time : 2171.0 sec. user=vaughan [2009-05-25 05:00:31] 465*2^687765-1 is not prime. Res64: AD7A2A8E95366729 Time : 450.0 sec. user=vaughan [2009-05-25 05:00:34] 405*2^689146-1 is not prime. Res64: 14833FEFE193A4C8 Time : 443.0 sec. user=vaughan [2009-05-25 05:01:38] 459*2^687761-1 is not prime. Res64: 1A60850E33627334 Time : 697.0 sec. user=SazanEyes [2009-05-25 05:04:47] 565*2^687661-1 is not prime. Res64: 70A34A55AE0A4D9A Time : 8611.0 sec. user=vaughan [2009-05-25 05:08:00] 497*2^689146-1 is not prime. Res64: B50890D1C784EA2B Time : 446.0 sec. user=vaughan [2009-05-25 05:08:00] 425*2^689146-1 is not prime. Res64: 6F786D249E528596 Time : 449.0 sec. user=vaughan [2009-05-25 05:13:28] 503*2^689146-1 is not prime. Res64: 89E92CDB02F16DC6 Time : 710.0 sec. user=vaughan [2009-05-25 05:15:24] 501*2^687770-1 is not prime. Res64: C8C0735ED9BD2BCA Time : 445.0 sec. user=vaughan [2009-05-25 05:15:28] 593*2^687770-1 is not prime. Res64: 8EADF80A7809DF0C Time : 448.0 sec. user=vaughan [2009-05-25 05:16:07] 477*2^687766-1 is not prime. Res64: 0E400428E874B01D Time : 1276.0 sec. user=SazanEyes [2009-05-25 05:17:02] 523*2^687663-1 is not prime. Res64: 7A5ECB54F5A7CC89 Time : 8423.0 sec. user=vaughan [2009-05-25 05:17:06] 463*2^687755-1 is not prime. Res64: D280AC2E05C70DB0 Time : 2440.0 sec. user=vaughan [2009-05-25 05:19:22] 413*2^689146-1 is not prime. Res64: 826AAE0899559343 Time : 1391.0 sec. user=vaughan [2009-05-25 05:22:48] 499*2^687775-1 is not prime. Res64: 4AC96377674AD352 Time : 444.0 sec. user=vaughan [2009-05-25 05:22:57] 587*2^689146-1 is not prime. Res64: 1A59503B4AF08C09 Time : 449.0 sec. user=vaughan [2009-05-25 05:25:22] 431*2^687774-1 is not prime. Res64: 29FD3F04166632F0 Time : 714.0 sec. user=vaughan [2009-05-25 05:30:12] 567*2^687780-1 is not prime. Res64: 11D0908D25DDB2ED Time : 444.0 sec. user=vaughan [2009-05-25 05:30:26] 573*2^689147-1 is not prime. Res64: C34536FBAE04DB0F Time : 449.0 sec. user=SazanEyes [2009-05-25 05:33:44] 579*2^687665-1 is not prime. Res64: A81DD9EE7374B142 Time : 8614.0 sec. user=vaughan [2009-05-25 05:36:50] 585*2^689147-1 is not prime. Res64: 944420B0379BA817 Time : 688.0 sec. user=vaughan [2009-05-25 05:37:37] 533*2^687782-1 is not prime. Res64: 3DA4014F2B8E005D Time : 445.0 sec. user=vaughan [2009-05-25 05:37:55] 585*2^687782-1 is not prime. Res64: 2CFF182273C7A88B Time : 449.0 sec. user=vaughan [2009-05-25 05:38:41] 531*2^687767-1 is not prime. Res64: 95E52785408FEE30 Time : 2391.0 sec. user=vaughan [2009-05-25 05:38:43] 401*2^687778-1 is not prime. Res64: 99520328E1A4D546 Time : 1356.0 sec. user=vaughan [2009-05-25 05:42:18] 459*2^687779-1 is not prime. Res64: 81067FF289B7819E Time : 1376.0 sec. user=vaughan [2009-05-25 05:45:02] 465*2^689148-1 is not prime. Res64: 3F97954066430549 Time : 446.0 sec. user=SazanEyes [2009-05-25 05:45:18] 429*2^687708-1 is not prime. Res64: 49BC501C83323FE0 Time : 8453.0 sec. user=vaughan [2009-05-25 05:45:25] 479*2^689148-1 is not prime. Res64: 77BE7DE836CAD320 Time : 450.0 sec. user=vaughan [2009-05-25 05:48:31] 415*2^687789-1 is not prime. Res64: C2CB9025CEACD72B Time : 701.0 sec. user=vaughan [2009-05-25 05:52:26] 483*2^687790-1 is not prime. Res64: E5CF4B6CE46F95D8 Time : 444.0 sec. user=vaughan [2009-05-25 05:52:54] 549*2^689148-1 is not prime. Res64: 714AAF27A8586963 Time : 450.0 sec. user=vaughan [2009-05-25 05:57:19] 465*2^689147-1 is not prime. Res64: 13FA8F9027D7BEFB Time : 2413.0 sec. user=vaughan [2009-05-25 05:59:49] 585*2^687795-1 is not prime. Res64: 0A8B805967431D64 Time : 443.0 sec. user=vaughan [2009-05-25 05:59:52] 503*2^687794-1 is not prime. Res64: 826B46508C5C4DB5 Time : 681.0 sec. user=vaughan [2009-05-25 06:00:07] 537*2^689148-1 is not prime. Res64: ECBF058563C010DC Time : 1285.0 sec. user=vaughan [2009-05-25 06:00:22] 519*2^687796-1 is not prime. Res64: 7500E2F4473FE9B9 Time : 448.0 sec. user=SazanEyes [2009-05-25 06:02:39] 471*2^687726-1 is not prime. Res64: 37DADD2A28119958 Time : 8611.0 sec. user=vaughan [2009-05-25 06:05:33] 471*2^687790-1 is not prime. Res64: B54F7214D5BDA24F Time : 1395.0 sec. user=vaughan [2009-05-25 06:07:12] 423*2^687798-1 is not prime. Res64: D7CA25DD942D032D Time : 443.0 sec. user=vaughan [2009-05-25 06:07:50] 519*2^687800-1 is not prime. Res64: 43D589B57C11A3EB Time : 448.0 sec. user=vaughan [2009-05-25 06:11:11] 485*2^687798-1 is not prime. Res64: AADF59E9E43331B6 Time : 679.0 sec. user=SazanEyes [2009-05-25 06:13:20] 471*2^689139-1 is not prime. Res64: DDFEA65FC988DE3C Time : 8444.0 sec. user=vaughan [2009-05-25 06:14:37] 465*2^687803-1 is not prime. Res64: 3B301452284F0785 Time : 445.0 sec. user=vaughan [2009-05-25 06:15:18] 465*2^687804-1 is not prime. Res64: 5399579EC6E25C17 Time : 448.0 sec. user=vaughan [2009-05-25 06:18:36] 527*2^689148-1 is not prime. Res64: 97BC55B1D89063B8 Time : 2395.0 sec. user=vaughan [2009-05-25 06:22:00] 501*2^687807-1 is not prime. Res64: 441B99BED8EACC20 Time : 443.0 sec. user=vaughan [2009-05-25 06:22:39] 473*2^687804-1 is not prime. Res64: 79B286C98939DDA4 Time : 688.0 sec. user=vaughan [2009-05-25 06:22:47] 511*2^687807-1 is not prime. Res64: 2175FDEF71E54751 Time : 449.0 sec. user=vaughan [2009-05-25 06:22:50] 483*2^687799-1 is not prime. Res64: 1FA0C1A18866480D Time : 1363.0 sec. user=vaughan [2009-05-25 06:28:26] 409*2^687803-1 is not prime. Res64: 9B3A1723B2B43407 Time : 1373.0 sec. user=vaughan [2009-05-25 06:29:23] 579*2^687807-1 is not prime. Res64: 39DFBBE81E51C50E Time : 443.0 sec. user=vaughan [2009-05-25 06:30:16] 571*2^687809-1 is not prime. Res64: 6646E309DFB4F4A3 Time : 450.0 sec. user=SazanEyes [2009-05-25 06:31:27] 523*2^687739-1 is not prime. Res64: AA6C6FE53F7BE114 Time : 8606.0 sec. user=vaughan [2009-05-25 06:33:58] 435*2^687809-1 is not prime. Res64: 51573788DFD27400 Time : 679.0 sec. user=vaughan [2009-05-25 06:36:46] 555*2^687813-1 is not prime. Res64: 59E4305E99AB0844 Time : 443.0 sec. user=vaughan [2009-05-25 06:37:44] 577*2^687813-1 is not prime. Res64: 5A7FCF42B35AD03D Time : 449.0 sec. user=vaughan [2009-05-25 06:38:42] 573*2^687796-1 is not prime. Res64: D2277AEF36D253F5 Time : 2483.0 sec. user=SazanEyes [2009-05-25 06:41:40] 439*2^687747-1 is not prime. Res64: 9511AE243F064B74 Time : 8473.0 sec. user=vaughan [2009-05-25 06:44:10] 549*2^687817-1 is not prime. Res64: EFB3BEC230E0A989 Time : 444.0 sec. user=vaughan [2009-05-25 06:45:14] 465*2^687819-1 is not prime. Res64: B4AF2EBAA1D666AC Time : 450.0 sec. user=vaughan [2009-05-25 06:45:26] 413*2^687816-1 is not prime. Res64: BCB0F97D88E0DED6 Time : 688.0 sec. user=vaughan [2009-05-25 06:45:37] 437*2^687810-1 is not prime. Res64: AACEC7022BE05C5D Time : 1367.0 sec. user=vaughan [2009-05-25 06:51:35] 417*2^687821-1 is not prime. Res64: 05FD67C058ABC706 Time : 445.0 sec. user=vaughan [2009-05-25 06:51:48] 505*2^687811-1 is not prime. Res64: 92B1D79AF902AE48 Time : 1402.0 sec. user=vaughan [2009-05-25 06:52:43] 525*2^687821-1 is not prime. Res64: 241EA5D0007A4015 Time : 449.0 sec. user=vaughan [2009-05-25 06:57:13] 453*2^687824-1 is not prime. Res64: 57A8C7AE14E83068 Time : 707.0 sec. user=vaughan [2009-05-25 06:58:13] 573*2^687807-1 is not prime. Res64: E12A84357BA3D81B Time : 2377.0 sec. user=vaughan [2009-05-25 06:58:59] 427*2^687825-1 is not prime. Res64: 54D5122E937CB427 Time : 444.0 sec. user=vaughan [2009-05-25 07:00:12] 413*2^687826-1 is not prime. Res64: D087333A61C21393 Time : 449.0 sec. user=SazanEyes [2009-05-25 07:00:18] 549*2^689143-1 is not prime. Res64: 1A63BDA37BF0FAF7 Time : 8599.0 sec. user=vaughan [2009-05-25 07:06:22] 567*2^687828-1 is not prime. Res64: E5CE0B5553783D00 Time : 443.0 sec. user=vaughan [2009-05-25 07:07:41] 441*2^687829-1 is not prime. Res64: E5AEDC96285A8E6D Time : 449.0 sec. user=vaughan [2009-05-25 07:08:32] 557*2^689148-1 is not prime. Res64: F33C7BBD4977CBC9 Time : 1375.0 sec. user=vaughan [2009-05-25 07:08:53] 437*2^687826-1 is not prime. Res64: 8F7C9B2C474C4581 Time : 700.0 sec. user=SazanEyes [2009-05-25 07:09:46] 543*2^687759-1 is not prime. Res64: DC27420E8840C610 Time : 8461.0 sec. user=vaughan [2009-05-25 07:13:47] 533*2^687832-1 is not prime. Res64: 63AF5C2DFB607107 Time : 445.0 sec. user=vaughan [2009-05-25 07:15:09] 409*2^687833-1 is not prime. Res64: C8807549076429B5 Time : 449.0 sec. user=vaughan [2009-05-25 07:15:47] 511*2^687825-1 is not prime. Res64: FA33AE0069899401 Time : 1439.0 sec. user=vaughan [2009-05-25 07:17:20] 595*2^687819-1 is not prime. Res64: 944350D307AFE4DF Time : 2319.0 sec. user=vaughan [2009-05-25 07:20:42] 531*2^687834-1 is not prime. Res64: FD88BECCF5C65CE4 Time : 709.0 sec. user=vaughan [2009-05-25 07:21:10] 437*2^687836-1 is not prime. Res64: 9AB3ED831D8C23F6 Time : 444.0 sec. user=vaughan [2009-05-25 07:22:37] 451*2^687837-1 is not prime. Res64: AEB508A26B887C10 Time : 448.0 sec. user=vaughan [2009-05-25 07:28:33] 549*2^687839-1 is not prime. Res64: 3249C25EF428E07B Time : 444.0 sec. user=SazanEyes [2009-05-25 07:29:11] 595*2^687769-1 is not prime. Res64: F7421E71F2DD8E70 Time : 8664.0 sec. user=vaughan [2009-05-25 07:30:05] 405*2^687840-1 is not prime. Res64: 263536E05E562237 Time : 448.0 sec. user=vaughan [2009-05-25 07:32:30] 561*2^687838-1 is not prime. Res64: C87C48EF96FF7B47 Time : 708.0 sec. user=vaughan [2009-05-25 07:32:36] 421*2^687833-1 is not prime. Res64: BE4EDA334C2DCDD8 Time : 1447.0 sec. user=vaughan [2009-05-25 07:33:20] 527*2^687828-1 is not prime. Res64: 3A0681229B1FB574 Time : 2107.0 sec. user=vaughan [2009-05-25 07:35:57] 405*2^687841-1 is not prime. Res64: DF83E67B80D417FA Time : 444.0 sec. user=vaughan [2009-05-25 07:37:33] 593*2^687842-1 is not prime. Res64: F86E452937CF6B6F Time : 448.0 sec. user=SazanEyes [2009-05-25 07:38:09] 421*2^689147-1 is not prime. Res64: 6FDB65C0E5979AA9 Time : 8467.0 sec. user=vaughan [2009-05-25 07:38:26] 467*2^687838-1 is not prime. Res64: A0AA6710C5AC9B93 Time : 1359.0 sec. user=vaughan [2009-05-25 07:43:21] 425*2^687848-1 is not prime. Res64: 60C7BF105CCB3B5D Time : 444.0 sec. user=vaughan [2009-05-25 07:44:15] 533*2^687844-1 is not prime. Res64: 914078B05ECAD922 Time : 705.0 sec. user=vaughan [2009-05-25 07:45:02] 441*2^687849-1 is not prime. Res64: 3C48D8D01653E239 Time : 449.0 sec. user=vaughan [2009-05-25 07:50:46] 581*2^687850-1 is not prime. Res64: A9A10AEF98608E21 Time : 445.0 sec. user=vaughan [2009-05-25 07:52:30] 593*2^687854-1 is not prime. Res64: 7850EE6915743D40 Time : 449.0 sec. user=vaughan [2009-05-25 07:55:08] 465*2^687845-1 is not prime. Res64: 0BDC5C4BF232FC39 Time : 1353.0 sec. user=vaughan [2009-05-25 07:55:46] 405*2^687852-1 is not prime. Res64: D33FECAA444734FE Time : 691.0 sec. user=SazanEyes [2009-05-25 07:57:54] 529*2^687785-1 is not prime. Res64: 5AA41C1D4784B837 Time : 8650.0 sec. user=vaughan [2009-05-25 07:58:10] 485*2^687856-1 is not prime. Res64: 0AC5E44F83FFE3DE Time : 445.0 sec. user=vaughan [2009-05-25 07:58:50] 507*2^687838-1 is not prime. Res64: 79D935C6684AA783 Time : 2493.0 sec. user=vaughan [2009-05-25 07:59:58] 539*2^687856-1 is not prime. Res64: 0A7E8672A2F70BCC Time : 449.0 sec. user=vaughan [2009-05-25 08:01:26] 437*2^687850-1 is not prime. Res64: 554B1CCC79B84935 Time : 1381.0 sec. user=vaughan [2009-05-25 08:05:34] 401*2^687862-1 is not prime. Res64: CA5DF6E152415C9E Time : 444.0 sec. user=SazanEyes [2009-05-25 08:06:12] 473*2^687794-1 is not prime. Res64: EFBE84F10C9D6D9F Time : 8455.0 sec. user=vaughan [2009-05-25 08:07:21] 425*2^687858-1 is not prime. Res64: AF8FEF198F0CCBA2 Time : 695.0 sec. user=vaughan [2009-05-25 08:07:25] 503*2^687864-1 is not prime. Res64: 08D54586B55B7F7A Time : 447.0 sec. user=vaughan [2009-05-25 08:11:44] 513*2^687846-1 is not prime. Res64: D691BC27AE1A46D3 Time : 2304.0 sec. user=vaughan [2009-05-25 08:12:56] 429*2^687865-1 is not prime. Res64: ED24F987B804F12E Time : 442.0 sec. user=vaughan [2009-05-25 08:14:54] 583*2^687867-1 is not prime. Res64: B9C706848AD9AABB Time : 449.0 sec. user=vaughan [2009-05-25 08:18:01] 595*2^687857-1 is not prime. Res64: 1AF41A239E67C256 Time : 1373.0 sec. user=vaughan [2009-05-25 08:19:26] 565*2^687865-1 is not prime. Res64: CFB935C7323365CD Time : 725.0 sec. user=vaughan [2009-05-25 08:20:18] 423*2^687871-1 is not prime. Res64: 7ECA6A518809FB32 Time : 442.0 sec. user=vaughan [2009-05-25 08:22:22] 559*2^687871-1 is not prime. Res64: 2FE272BE8BDC22C0 Time : 448.0 sec. user=vaughan [2009-05-25 08:23:50] 411*2^689149-1 is not prime. Res64: D16DC9C9C17D4DFB Time : 1344.0 sec. user=SazanEyes [2009-05-25 08:26:53] 497*2^687802-1 is not prime. Res64: 2A4D27EA337C544D Time : 8654.0 sec. user=vaughan [2009-05-25 08:27:39] 483*2^687874-1 is not prime. Res64: A98BCE1CAE34D8E3 Time : 442.0 sec. user=vaughan [2009-05-25 08:29:52] 433*2^687875-1 is not prime. Res64: 64728A4F00219537 Time : 450.0 sec. user=vaughan [2009-05-25 08:31:04] 459*2^687873-1 is not prime. Res64: 96CB7B11E836B05B Time : 698.0 sec. user=vaughan [2009-05-25 08:35:00] 545*2^687878-1 is not prime. Res64: F4D9E4BD777D2A8E Time : 442.0 sec. user=SazanEyes [2009-05-25 08:35:38] 453*2^687806-1 is not prime. Res64: 96725ACB3C551E74 Time : 8538.0 sec. user=vaughan [2009-05-25 08:36:31] 559*2^687863-1 is not prime. Res64: 0FCF7A5A57C5161F Time : 2262.0 sec. user=vaughan [2009-05-25 08:37:21] 411*2^687879-1 is not prime. Res64: 8D5302F9D3B5A471 Time : 449.0 sec. user=vaughan [2009-05-25 08:40:55] 437*2^687872-1 is not prime. Res64: 297B570A9610089C Time : 1375.0 sec. user=vaughan [2009-05-25 08:42:23] 565*2^687879-1 is not prime. Res64: 8A6150F7F55C6569 Time : 443.0 sec. user=vaughan [2009-05-25 08:42:40] 511*2^687879-1 is not prime. Res64: 4FE9BE3A32BF6EBC Time : 696.0 sec. user=vaughan [2009-05-25 08:44:50] 483*2^687882-1 is not prime. Res64: FAFFE2FF14EAD8E3 Time : 449.0 sec. user=vaughan [2009-05-25 08:46:46] 597*2^687868-1 is not prime. Res64: 2316D6F5514FEBDF Time : 2103.0 sec. user=vaughan [2009-05-25 08:47:02] 437*2^687876-1 is not prime. Res64: 8988A35D2D86BEB6 Time : 1392.0 sec. user=vaughan [2009-05-25 08:49:46] 505*2^687883-1 is not prime. Res64: 8A4DB7FBB83A44E5 Time : 444.0 sec. user=vaughan [2009-05-25 08:52:17] 599*2^687884-1 is not prime. Res64: 6B9C0B39D182886B Time : 447.0 sec. user=vaughan [2009-05-25 08:54:20] 473*2^687884-1 is not prime. Res64: 95FDB02768D3FAD0 Time : 700.0 sec. user=SazanEyes [2009-05-25 08:55:45] 595*2^687813-1 is not prime. Res64: 1746D1B1D87EF65D Time : 8659.0 sec. user=vaughan [2009-05-25 08:57:09] 531*2^687887-1 is not prime. Res64: FB502238444AD0DA Time : 444.0 sec. user=vaughan [2009-05-25 08:59:43] 465*2^687888-1 is not prime. Res64: 80AABC9552385373 Time : 446.0 sec. user=vaughan [2009-05-25 09:03:31] 587*2^687882-1 is not prime. Res64: DE2B603C9584D7B6 Time : 1356.0 sec. user=SazanEyes [2009-05-25 09:03:41] 593*2^687820-1 is not prime. Res64: C728D469D817A507 Time : 8521.0 sec. user=vaughan [2009-05-25 09:04:32] 513*2^687892-1 is not prime. Res64: FBA77315B4081BD9 Time : 443.0 sec. user=vaughan [2009-05-25 09:05:57] 415*2^687889-1 is not prime. Res64: 6CEA35FBD5B23B0F Time : 698.0 sec. user=vaughan [2009-05-25 09:07:09] 465*2^687893-1 is not prime. Res64: 09C417E4705C0EE0 Time : 446.0 sec. user=vaughan [2009-05-25 09:09:27] 457*2^689149-1 is not prime. Res64: 55182241D0274D49 Time : 1345.0 sec. user=vaughan [2009-05-25 09:11:55] 483*2^687896-1 is not prime. Res64: B76C083E95C59ECA Time : 443.0 sec. user=vaughan [2009-05-25 09:14:36] 435*2^687898-1 is not prime. Res64: 31F261D072783D07 Time : 447.0 sec. user=vaughan [2009-05-25 09:17:11] 447*2^687881-1 is not prime. Res64: C7E0D4D1A524DFC7 Time : 2441.0 sec. user=vaughan [2009-05-25 09:17:30] 441*2^687897-1 is not prime. Res64: 5EE1B792AD783BBA Time : 694.0 sec. user=vaughan [2009-05-25 09:19:19] 447*2^687901-1 is not prime. Res64: 5B9A9154B1357BCB Time : 444.0 sec. user=vaughan [2009-05-25 09:22:02] 577*2^687901-1 is not prime. Res64: 3ED2E0CF00853743 Time : 447.0 sec. user=SazanEyes [2009-05-25 09:24:30] 493*2^687831-1 is not prime. Res64: C340C484BFA2E1CD Time : 8652.0 sec. user=vaughan [2009-05-25 09:25:06] 521*2^687886-1 is not prime. Res64: 43E2E4E78E4D1658 Time : 2301.0 sec. user=vaughan [2009-05-25 09:26:15] 461*2^687894-1 is not prime. Res64: 75351BF47EAC8412 Time : 1365.0 sec. user=vaughan [2009-05-25 09:26:43] 481*2^687903-1 is not prime. Res64: 4376E1F290E33A93 Time : 445.0 sec. user=vaughan [2009-05-25 09:29:10] 545*2^687902-1 is not prime. Res64: 68ABB505867513EB Time : 701.0 sec. user=vaughan [2009-05-25 09:29:28] 483*2^687904-1 is not prime. Res64: B8A5816CDDCE1C68 Time : 447.0 sec. user=vaughan [2009-05-25 09:32:02] 573*2^687899-1 is not prime. Res64: 8CDC371C22368574 Time : 1355.0 sec. user=SazanEyes [2009-05-25 09:33:10] 583*2^687835-1 is not prime. Res64: 659084970DE8211D Time : 8604.0 sec. user=vaughan [2009-05-25 09:34:07] 511*2^687907-1 is not prime. Res64: F44A2D13CD4779A2 Time : 444.0 sec. user=vaughan [2009-05-25 09:36:54] 589*2^687907-1 is not prime. Res64: 550360DF4422DD1E Time : 446.0 sec. user=vaughan [2009-05-25 09:41:16] 469*2^689149-1 is not prime. Res64: 34BE18D8DD2A4649 Time : 726.0 sec. user=vaughan [2009-05-25 09:41:33] 507*2^689149-1 is not prime. Res64: FD86E5C83E448684 Time : 446.0 sec. user=vaughan [2009-05-25 09:44:20] 489*2^687911-1 is not prime. Res64: 67C07DFC997742E6 Time : 446.0 sec. user=vaughan [2009-05-25 09:48:56] 563*2^687914-1 is not prime. Res64: 8E42B46456C6A519 Time : 444.0 sec. user=vaughan [2009-05-25 09:49:01] 503*2^687906-1 is not prime. Res64: F1A2BBA8A62F0C62 Time : 1366.0 sec. user=vaughan [2009-05-25 09:51:46] 415*2^687915-1 is not prime. Res64: 5FD93CE2542641AD Time : 446.0 sec. user=SazanEyes [2009-05-25 09:53:22] 565*2^687841-1 is not prime. Res64: 072F6DF64CCD898B Time : 8651.0 sec. user=vaughan [2009-05-25 09:54:03] 597*2^687913-1 is not prime. Res64: 43496CC3D7D06833 Time : 767.0 sec. user=vaughan [2009-05-25 09:55:51] 457*2^687909-1 is not prime. Res64: 068057D6FCD1B3F4 Time : 1429.0 sec. user=vaughan [2009-05-25 09:56:05] 425*2^687902-1 is not prime. Res64: 7E63883F4357D99B Time : 2334.0 sec. user=vaughan [2009-05-25 09:56:19] 595*2^687915-1 is not prime. Res64: 766E1C3B071B6221 Time : 443.0 sec. user=vaughan [2009-05-25 09:59:12] 435*2^687917-1 is not prime. Res64: 19EF8E29F612FD63 Time : 446.0 sec. user=vaughan [2009-05-25 10:00:58] 481*2^687905-1 is not prime. Res64: BC00C98FAB0C9619 Time : 2152.0 sec. user=SazanEyes [2009-05-25 10:02:30] 549*2^687849-1 is not prime. Res64: F86C3992BE8AC053 Time : 8661.0 sec. user=vaughan [2009-05-25 10:03:42] 447*2^687922-1 is not prime. Res64: 87AD791CAC7B02A3 Time : 443.0 sec. user=vaughan [2009-05-25 10:06:39] 503*2^687922-1 is not prime. Res64: 86C808E1B7B7EC0C Time : 447.0 sec. user=vaughan [2009-05-25 10:06:42] 557*2^687918-1 is not prime. Res64: BA3AE2DFCEAAF0C1 Time : 759.0 sec. user=vaughan [2009-05-25 10:11:06] 597*2^687924-1 is not prime. Res64: DEAE9CAD5CF2B3CA Time : 444.0 sec. user=vaughan [2009-05-25 10:12:47] 483*2^687916-1 is not prime. Res64: B17E1A9D040F00C2 Time : 1428.0 sec. user=vaughan [2009-05-25 10:14:05] 567*2^687925-1 is not prime. Res64: BD419AA552A31EDA Time : 447.0 sec. user=vaughan [2009-05-25 10:18:29] 437*2^687928-1 is not prime. Res64: 635193771E2CCD49 Time : 444.0 sec. user=vaughan [2009-05-25 10:19:10] 585*2^687918-1 is not prime. Res64: 7684E9B3C25FB277 Time : 1400.0 sec. user=vaughan [2009-05-25 10:19:18] 507*2^687926-1 is not prime. Res64: F83A15AF42CC2F45 Time : 756.0 sec. user=vaughan [2009-05-25 10:21:32] 441*2^687929-1 is not prime. Res64: A457C7F7F07B3592 Time : 448.0 sec. user=SazanEyes [2009-05-25 10:22:14] 459*2^687860-1 is not prime. Res64: 7732C5F7D98D658C Time : 8660.0 sec. user=vaughan [2009-05-25 10:25:52] 465*2^687929-1 is not prime. Res64: 6861177DB330DAB0 Time : 444.0 sec. user=vaughan [2009-05-25 10:29:00] 549*2^687931-1 is not prime. Res64: 840162B1F43B6A74 Time : 448.0 sec. user=vaughan [2009-05-25 10:31:47] 531*2^687930-1 is not prime. Res64: F6C43B07A60C199A Time : 749.0 sec. user=SazanEyes [2009-05-25 10:31:58] 441*2^687865-1 is not prime. Res64: CA121EFCCD722D51 Time : 8746.0 sec. user=vaughan [2009-05-25 10:33:15] 409*2^687935-1 is not prime. Res64: 55AB1DC9A9FB7631 Time : 443.0 sec. user=vaughan [2009-05-25 10:35:19] 507*2^687928-1 is not prime. Res64: C072CB3DBE13C34D Time : 1353.0 sec. user=vaughan [2009-05-25 10:36:18] 471*2^687921-1 is not prime. Res64: 3327ABB1E54E8679 Time : 2414.0 sec. user=vaughan [2009-05-25 10:36:28] 587*2^687936-1 is not prime. Res64: BF5837A84DDDEADB Time : 448.0 sec. user=vaughan [2009-05-25 10:38:55] 475*2^687923-1 is not prime. Res64: 10BA1DA0245476E3 Time : 2277.0 sec. user=vaughan [2009-05-25 10:40:38] 497*2^687938-1 is not prime. Res64: 5354354C21A33C96 Time : 443.0 sec. user=vaughan [2009-05-25 10:42:10] 489*2^687929-1 is not prime. Res64: 1151F365A7E39099 Time : 1380.0 sec. user=vaughan [2009-05-25 10:43:56] 501*2^687942-1 is not prime. Res64: B3CC9DF8AD250F62 Time : 448.0 sec. user=vaughan [2009-05-25 10:44:08] 597*2^687936-1 is not prime. Res64: E5C286BEE2E096DD Time : 741.0 sec. user=vaughan [2009-05-25 10:48:02] 525*2^687944-1 is not prime. Res64: 0877D9BA97D41D60 Time : 444.0 sec. user=SazanEyes [2009-05-25 10:51:08] 539*2^687876-1 is not prime. Res64: 2999B5C67DC0F08F Time : 8655.0 sec. user=vaughan [2009-05-25 10:51:24] 555*2^689149-1 is not prime. Res64: ED4AE31A64A6FC60 Time : 448.0 sec. user=vaughan [2009-05-25 10:55:26] 481*2^687583-1 is not prime. Res64: F6D6ADFDFFE70529 Time : 444.0 sec. user=vaughan [2009-05-25 10:55:46] 455*2^689150-1 is not prime. Res64: 89A9254BF254AA7E Time : 698.0 sec. user=vaughan [2009-05-25 10:58:00] 465*2^687939-1 is not prime. Res64: 7FE4E8A913F565F0 Time : 1361.0 sec. user=vaughan [2009-05-25 10:58:52] 515*2^689150-1 is not prime. Res64: 2CB44C9136FD70D7 Time : 448.0 sec. user=SazanEyes [2009-05-25 11:00:03] 549*2^687880-1 is not prime. Res64: 27A5D483048979CB Time : 8665.0 sec. user=vaughan [2009-05-25 11:02:50] 525*2^689150-1 is not prime. Res64: E1E46AF6EC611783 Time : 445.0 sec. user=vaughan [2009-05-25 11:04:51] 517*2^687945-1 is not prime. Res64: BC19C8FAF19265B0 Time : 1361.0 sec. user=vaughan [2009-05-25 11:06:19] 571*2^689151-1 is not prime. Res64: 6B45306D515D50E2 Time : 448.0 sec. user=vaughan [2009-05-25 11:07:35] 405*2^689151-1 is not prime. Res64: 702408682055774A Time : 710.0 sec. user=vaughan [2009-05-25 11:10:14] 455*2^689152-1 is not prime. Res64: 6B35203442BA3F9E Time : 445.0 sec. user=vaughan [2009-05-25 11:13:46] 513*2^689152-1 is not prime. Res64: 00CC4433C5DF1848 Time : 447.0 sec. user=vaughan [2009-05-25 11:16:13] 525*2^687940-1 is not prime. Res64: ECDE8B66E7168186 Time : 2396.0 sec. user=vaughan [2009-05-25 11:17:38] 573*2^689152-1 is not prime. Res64: DB7D4CA70631F8F6 Time : 444.0 sec. user=vaughan [2009-05-25 11:18:32] 557*2^687942-1 is not prime. Res64: 03218A6FFD732685 Time : 2378.0 sec. user=vaughan [2009-05-25 11:19:07] 549*2^689152-1 is not prime. Res64: 35B867A7E3F615FC Time : 693.0 sec. user=SazanEyes [2009-05-25 11:19:53] 435*2^687892-1 is not prime. Res64: 0230C21E266C7628 Time : 8648.0 sec. user=vaughan [2009-05-25 11:21:14] 409*2^689153-1 is not prime. Res64: 1D0237B8FEBA717B Time : 448.0 sec. user=vaughan [2009-05-25 11:21:21] 483*2^689151-1 is not prime. Res64: F2E4B1E9CE9534F1 Time : 1401.0 sec. user=vaughan [2009-05-25 11:25:03] 525*2^689153-1 is not prime. Res64: 61D51ABCD5748000 Time : 445.0 sec. user=vaughan [2009-05-25 11:28:00] 467*2^689152-1 is not prime. Res64: 0BD11AEBA6213344 Time : 1389.0 sec. user=SazanEyes [2009-05-25 11:28:13] 475*2^687895-1 is not prime. Res64: 5596432419AD3BFB Time : 8673.0 sec. user=vaughan [2009-05-25 11:28:43] 523*2^689155-1 is not prime. Res64: F270B6E3E8F272A5 Time : 449.0 sec. user=vaughan [2009-05-25 11:30:59] 513*2^689154-1 is not prime. Res64: 29A6C98A0D159876 Time : 713.0 sec. user=vaughan [2009-05-25 11:32:27] 413*2^689156-1 is not prime. Res64: 1AC2D0166F9505E4 Time : 444.0 sec. user=vaughan [2009-05-25 11:36:13] 453*2^689156-1 is not prime. Res64: 627C0DED4DE88B5B Time : 450.0 sec. user=vaughan [2009-05-25 11:39:51] 525*2^689156-1 is not prime. Res64: 89A43B97E9621612 Time : 444.0 sec. user=vaughan [2009-05-25 11:42:30] 465*2^689156-1 is not prime. Res64: D293367D9EF00BF4 Time : 692.0 sec. user=vaughan [2009-05-25 11:43:42] 545*2^689156-1 is not prime. Res64: 05992515350803EE Time : 450.0 sec. user=vaughan [2009-05-25 11:44:57] 583*2^689155-1 is not prime. Res64: 09B4E31580404FF6 Time : 1417.0 sec. user=vaughan [2009-05-25 11:47:15] 563*2^689156-1 is not prime. Res64: 46C2ED940336A5D2 Time : 444.0 sec. user=SazanEyes [2009-05-25 11:49:05] 447*2^687905-1 is not prime. Res64: CDD38CDB8549B34F Time : 8675.0 sec. user=vaughan [2009-05-25 11:51:09] 417*2^689156-1 is not prime. Res64: 03E7B4612C3A22BA Time : 1389.0 sec. user=vaughan [2009-05-25 11:51:11] 585*2^689156-1 is not prime. Res64: 21506146C1375BBE Time : 450.0 sec. user=vaughan [2009-05-25 11:54:00] 573*2^689156-1 is not prime. Res64: F6EE54FD2F4DCF00 Time : 690.0 sec. user=vaughan [2009-05-25 11:54:39] 549*2^689157-1 is not prime. Res64: D5B2438B44EDB977 Time : 444.0 sec. user=SazanEyes [2009-05-25 11:56:24] 507*2^687909-1 is not prime. Res64: AA23C28FB53D73BB Time : 8594.0 sec. user=vaughan [2009-05-25 11:56:55] 487*2^689153-1 is not prime. Res64: 74CECE7ADF60C4C8 Time : 2446.0 sec. user=vaughan [2009-05-25 11:58:13] 483*2^689154-1 is not prime. Res64: 060B7098026D9A98 Time : 2383.0 sec. user=vaughan [2009-05-25 11:58:39] 469*2^689159-1 is not prime. Res64: F97F0AD22BCCEF09 Time : 448.0 sec. user=vaughan [2009-05-25 12:02:04] 453*2^689160-1 is not prime. Res64: DF4052D4D1FBC0C5 Time : 445.0 sec. user=vaughan [2009-05-25 12:06:07] 495*2^689161-1 is not prime. Res64: 20BCEDBDECA1EF4C Time : 448.0 sec. user=vaughan [2009-05-25 12:06:55] 573*2^689159-1 is not prime. Res64: 480DC2C3041AE1B9 Time : 775.0 sec. user=vaughan [2009-05-25 12:07:43] 441*2^689157-1 is not prime. Res64: DBA6AA48AE83EFA0 Time : 1366.0 sec. user=vaughan [2009-05-25 12:09:29] 499*2^689161-1 is not prime. Res64: 19BCA341D699AD62 Time : 445.0 sec. user=vaughan [2009-05-25 12:13:35] 407*2^689162-1 is not prime. Res64: C4BB18D2E47CFC27 Time : 448.0 sec. user=vaughan [2009-05-25 12:14:32] 421*2^689159-1 is not prime. Res64: 5242B9165C0398BD Time : 1403.0 sec. user=vaughan [2009-05-25 12:16:54] 501*2^689162-1 is not prime. Res64: 10AE41CD507AC677 Time : 446.0 sec. user=SazanEyes [2009-05-25 12:18:08] 527*2^687918-1 is not prime. Res64: A3BA52A8FED3B7AC Time : 8686.0 sec. user=vaughan [2009-05-25 12:21:03] 503*2^689162-1 is not prime. Res64: 5F68AE73B74EB9F3 Time : 448.0 sec. user=vaughan [2009-05-25 12:21:42] 417*2^689162-1 is not prime. Res64: 1837B24A38E018B0 Time : 887.0 sec. user=vaughan [2009-05-25 12:24:18] 565*2^689163-1 is not prime. Res64: 91D70F3248878C60 Time : 445.0 sec. user=SazanEyes [2009-05-25 12:24:36] 425*2^687924-1 is not prime. Res64: 46A2160890AD2C63 Time : 8526.0 sec. user=vaughan [2009-05-25 12:28:30] 435*2^689164-1 is not prime. Res64: C781CC872670DBF3 Time : 447.0 sec. user=vaughan [2009-05-25 12:31:19] 431*2^689162-1 is not prime. Res64: 8413EAAA9A224944 Time : 1416.0 sec. user=vaughan [2009-05-25 12:31:43] 447*2^689164-1 is not prime. Res64: E3397EC819B145EB Time : 445.0 sec. user=vaughan [2009-05-25 12:35:57] 447*2^689165-1 is not prime. Res64: 78C545567B779BE7 Time : 447.0 sec. user=vaughan [2009-05-25 12:35:57] 437*2^689164-1 is not prime. Res64: 50C6093A7225D7E8 Time : 855.0 sec. user=vaughan [2009-05-25 12:36:42] 527*2^689160-1 is not prime. Res64: 0AAD5B7DEFEFA4CC Time : 2387.0 sec. user=vaughan [2009-05-25 12:37:25] 409*2^689163-1 is not prime. Res64: 4DCAFC897FD63858 Time : 1373.0 sec. user=vaughan [2009-05-25 12:37:29] 405*2^689161-1 is not prime. Res64: 9D61F74F26636917 Time : 2356.0 sec. user=vaughan [2009-05-25 12:39:08] 481*2^689165-1 is not prime. Res64: DE70769B9C015F81 Time : 445.0 sec. user=vaughan [2009-05-25 12:43:25] 511*2^689165-1 is not prime. Res64: 00D96915447D1456 Time : 448.0 sec. user=vaughan [2009-05-25 12:46:34] 435*2^689168-1 is not prime. Res64: 764E322ADD001DF3 Time : 446.0 sec. user=SazanEyes [2009-05-25 12:47:11] 561*2^687934-1 is not prime. Res64: 0B6C89AE0ABE98BC Time : 8698.0 sec. user=vaughan [2009-05-25 12:47:19] 471*2^689166-1 is not prime. Res64: 86D0A9AFB0AD1582 Time : 682.0 sec. user=vaughan [2009-05-25 12:50:53] 479*2^689168-1 is not prime. Res64: 379742CF2963B664 Time : 448.0 sec. user=SazanEyes [2009-05-25 12:52:58] 465*2^687937-1 is not prime. Res64: D65429C8E5509D18 Time : 8460.0 sec. user=vaughan [2009-05-25 12:53:59] 563*2^689168-1 is not prime. Res64: 16D61910CD487728 Time : 446.0 sec. user=vaughan [2009-05-25 12:54:03] 475*2^689165-1 is not prime. Res64: 3AE56077408AE64C Time : 1364.0 sec. user=vaughan [2009-05-25 12:58:20] 439*2^689169-1 is not prime. Res64: 016FCD139A094D79 Time : 448.0 sec. user=vaughan [2009-05-25 13:00:18] 451*2^689167-1 is not prime. Res64: E3B5B820B5EF1013 Time : 1373.0 sec. user=vaughan [2009-05-25 13:00:41] 415*2^689169-1 is not prime. Res64: C08B28CBF077428E Time : 802.0 sec. user=vaughan [2009-05-25 13:01:25] 503*2^689170-1 is not prime. Res64: 1FF4979F3BEE2B37 Time : 446.0 sec. user=vaughan [2009-05-25 13:05:47] 531*2^689170-1 is not prime. Res64: A4DB49DBCB58930F Time : 448.0 sec. user=vaughan [2009-05-25 13:08:50] 575*2^689170-1 is not prime. Res64: 87E88841549D4DDE Time : 446.0 sec. user=vaughan [2009-05-25 13:13:14] 587*2^689170-1 is not prime. Res64: 821DFA386C73774F Time : 447.0 sec. user=vaughan [2009-05-25 13:13:55] 561*2^689170-1 is not prime. Res64: 2700811B620D352D Time : 794.0 sec. user=SazanEyes [2009-05-25 13:16:06] 483*2^689150-1 is not prime. Res64: 51BB67E042BF5F39 Time : 8698.0 sec. user=vaughan [2009-05-25 13:16:16] 441*2^689171-1 is not prime. Res64: 9FA45F9D7AC4DB19 Time : 446.0 sec. user=vaughan [2009-05-25 13:16:39] 525*2^689170-1 is not prime. Res64: CCB41F79DF25A48C Time : 1357.0 sec. user=vaughan [2009-05-25 13:17:39] 503*2^689166-1 is not prime. Res64: 8679A8E7154C11B9 Time : 2457.0 sec. user=vaughan [2009-05-25 13:18:05] 519*2^689167-1 is not prime. Res64: AC291B7A8781A0F2 Time : 2436.0 sec. user=vaughan [2009-05-25 13:20:42] 511*2^689171-1 is not prime. Res64: FD4505E9F033AE29 Time : 448.0 sec. user=SazanEyes [2009-05-25 13:20:48] 583*2^689151-1 is not prime. Res64: 3DFC31EBEF5FDDFF Time : 8445.0 sec. user=vaughan [2009-05-25 13:23:09] 545*2^689170-1 is not prime. Res64: A187999A1F34E3BB Time : 1371.0 sec. user=vaughan [2009-05-25 13:23:41] 593*2^689172-1 is not prime. Res64: 021E8E98D3D5E68E Time : 446.0 sec. user=vaughan [2009-05-25 13:26:44] 565*2^689171-1 is not prime. Res64: 734F5B0E28FD9232 Time : 770.0 sec. user=vaughan [2009-05-25 13:28:10] 525*2^689173-1 is not prime. Res64: 2C8D19E23F7ED984 Time : 448.0 sec. user=vaughan [2009-05-25 13:31:05] 595*2^689173-1 is not prime. Res64: B53985188BF72635 Time : 444.0 sec. user=vaughan [2009-05-25 13:35:37] 411*2^689175-1 is not prime. Res64: 871673A4B84441A0 Time : 447.0 sec. user=vaughan [2009-05-25 13:38:30] 441*2^689175-1 is not prime. Res64: 3BF7CE218DE96E73 Time : 445.0 sec. user=vaughan [2009-05-25 13:39:19] 533*2^689174-1 is not prime. Res64: CC072C1FA94FD5F0 Time : 756.0 sec. user=vaughan [2009-05-25 13:39:33] 435*2^689173-1 is not prime. Res64: F8190CAA59B90953 Time : 1375.0 sec. user=vaughan [2009-05-25 13:43:05] 459*2^689175-1 is not prime. Res64: 443530240E777CBA Time : 448.0 sec. user=SazanEyes [2009-05-25 13:45:03] 405*2^689155-1 is not prime. Res64: 307B753D10138D98 Time : 8710.0 sec. user=vaughan [2009-05-25 13:45:56] 513*2^689175-1 is not prime. Res64: F5C7C58317B6F804 Time : 446.0 sec. user=vaughan [2009-05-25 13:47:59] 561*2^689173-1 is not prime. Res64: 3A9EAA8A33AF3054 Time : 1491.0 sec. user=SazanEyes [2009-05-25 13:48:50] 449*2^689156-1 is not prime. Res64: 234FF7DF85505451 Time : 8437.0 sec. user=vaughan [2009-05-25 13:50:32] 507*2^689176-1 is not prime. Res64: C6BD0658A7D2CB1B Time : 448.0 sec. user=vaughan [2009-05-25 13:51:49] 573*2^689175-1 is not prime. Res64: 9B91A57C4E101F7C Time : 750.0 sec. user=vaughan [2009-05-25 13:53:21] 539*2^689176-1 is not prime. Res64: FEC939FC6C34687D Time : 446.0 sec. user=vaughan [2009-05-25 13:56:11] 477*2^689173-1 is not prime. Res64: 7288CB048F953547 Time : 2286.0 sec. user=vaughan [2009-05-25 13:57:06] 441*2^689173-1 is not prime. Res64: FC2A5B409C0EF008 Time : 2367.0 sec. user=vaughan [2009-05-25 13:58:00] 477*2^689177-1 is not prime. Res64: 44EAF6075BAA129F Time : 448.0 sec. user=vaughan [2009-05-25 14:00:44] 567*2^689177-1 is not prime. Res64: A518011E65914525 Time : 444.0 sec. user=vaughan [2009-05-25 14:02:49] 455*2^689176-1 is not prime. Res64: E53BD23CAA7A8209 Time : 1398.0 sec. user=vaughan [2009-05-25 14:04:33] 507*2^689177-1 is not prime. Res64: 99D6653E99E5B66B Time : 764.0 sec. user=vaughan [2009-05-25 14:05:31] 453*2^689178-1 is not prime. Res64: 6BF494720219F326 Time : 451.0 sec. user=vaughan [2009-05-25 14:08:06] 507*2^689178-1 is not prime. Res64: B1FB24A6DA37A4BC Time : 443.0 sec. user=vaughan [2009-05-25 14:10:46] 593*2^689176-1 is not prime. Res64: 2D331E792D7DC872 Time : 1367.0 sec. user=vaughan [2009-05-25 14:13:02] 481*2^689179-1 is not prime. Res64: 68D078DDEA095236 Time : 451.0 sec. user=SazanEyes [2009-05-25 14:13:59] 527*2^689158-1 is not prime. Res64: 312AD082A4318B66 Time : 8694.0 sec. user=vaughan [2009-05-25 14:15:27] 505*2^689179-1 is not prime. Res64: 4EC50ABAB1B13936 Time : 441.0 sec. user=vaughan [2009-05-25 14:17:05] 563*2^689178-1 is not prime. Res64: 96AEA20A3664E4A5 Time : 752.0 sec. user=SazanEyes [2009-05-25 14:17:17] 525*2^689160-1 is not prime. Res64: 5BF9D158DFAD7FDF Time : 8453.0 sec. user=vaughan [2009-05-25 14:20:34] 447*2^689180-1 is not prime. Res64: 9EC1D2A99C5F98C6 Time : 452.0 sec. user=vaughan [2009-05-25 14:22:51] 427*2^689181-1 is not prime. Res64: F8124E8ECCB83D32 Time : 444.0 sec. user=vaughan [2009-05-25 14:25:54] 551*2^689178-1 is not prime. Res64: 4CBA0A82A7CB0C2D Time : 1385.0 sec. user=vaughan [2009-05-25 14:28:02] 549*2^689181-1 is not prime. Res64: B68AB2807493E8B4 Time : 448.0 sec. user=vaughan [2009-05-25 14:29:10] 429*2^689181-1 is not prime. Res64: 88FBF34414BCCEA2 Time : 725.0 sec. user=vaughan [2009-05-25 14:30:16] 555*2^689181-1 is not prime. Res64: 51F4BDD4D1DF3DC2 Time : 445.0 sec. user=vaughan [2009-05-25 14:34:30] 555*2^689179-1 is not prime. Res64: CDBF26BCFF60DD0C Time : 1425.0 sec. user=vaughan [2009-05-25 14:35:25] 571*2^689177-1 is not prime. Res64: D9ACFF80216F16F2 Time : 2355.0 sec. user=vaughan [2009-05-25 14:35:33] 591*2^689181-1 is not prime. Res64: A86075ACA85DDB2C Time : 451.0 sec. user=vaughan [2009-05-25 14:36:08] 443*2^689178-1 is not prime. Res64: 500B48A6981FB5D4 Time : 2342.0 sec. user=vaughan [2009-05-25 14:37:38] 505*2^689183-1 is not prime. Res64: 92E2F04E7AA80B9A Time : 442.0 sec. user=vaughan [2009-05-25 14:41:15] 465*2^689183-1 is not prime. Res64: 263C95B42F107648 Time : 726.0 sec. user=SazanEyes [2009-05-25 14:42:59] 595*2^689163-1 is not prime. Res64: 077371996AD62C21 Time : 8692.0 sec. user=vaughan [2009-05-25 14:43:02] 415*2^689185-1 is not prime. Res64: DD8423B1328F8350 Time : 450.0 sec. user=vaughan [2009-05-25 14:45:03] 565*2^689185-1 is not prime. Res64: A05CD91AE296238A Time : 445.0 sec. user=SazanEyes [2009-05-25 14:45:18] 519*2^689164-1 is not prime. Res64: 58E16608CE3D8D32 Time : 8443.0 sec. user=vaughan [2009-05-25 14:48:59] 577*2^689181-1 is not prime. Res64: A4C71DF4F653FECC Time : 1386.0 sec. user=vaughan [2009-05-25 14:50:29] 581*2^689186-1 is not prime. Res64: 7F84EE090CFAD3BC Time : 448.0 sec. user=vaughan [2009-05-25 14:52:27] 593*2^689186-1 is not prime. Res64: FD54E8BE6AD498B8 Time : 445.0 sec. user=vaughan [2009-05-25 14:52:42] 591*2^689185-1 is not prime. Res64: FD1C9F51B921ADBE Time : 687.0 sec. user=vaughan [2009-05-25 14:57:11] 573*2^689183-1 is not prime. Res64: F3B8BC6E1EC7B3A3 Time : 1362.0 sec. user=vaughan [2009-05-25 14:57:56] 441*2^689187-1 is not prime. Res64: 634ADEE3EB928045 Time : 447.0 sec. user=vaughan [2009-05-25 14:59:51] 489*2^689187-1 is not prime. Res64: BA71BBB92117605C Time : 444.0 sec. user=vaughan [2009-05-25 15:04:25] 529*2^689187-1 is not prime. Res64: 7F5BB57CAAE6D3CE Time : 703.0 sec. user=vaughan [2009-05-25 15:05:23] 579*2^689187-1 is not prime. Res64: 72E6AC0512981C1C Time : 447.0 sec. user=vaughan [2009-05-25 15:07:17] 495*2^689188-1 is not prime. Res64: F4CF4E3E48580ACE Time : 446.0 sec. user=vaughan [2009-05-25 15:10:25] 439*2^689187-1 is not prime. Res64: 1A6CBC874A6CE628 Time : 1286.0 sec. user=SazanEyes [2009-05-25 15:11:56] 567*2^689168-1 is not prime. Res64: 02BD795C72F91F4E Time : 8685.0 sec. user=vaughan [2009-05-25 15:13:13] 441*2^689189-1 is not prime. Res64: 71A00DE024FC64D2 Time : 470.0 sec. user=SazanEyes [2009-05-25 15:13:55] 425*2^689170-1 is not prime. Res64: B4698AEAB96B1632 Time : 8457.0 sec. user=vaughan [2009-05-25 15:14:46] 507*2^689189-1 is not prime. Res64: CF78D1820B30EC2D Time : 450.0 sec. user=vaughan [2009-05-25 15:15:48] 503*2^689184-1 is not prime. Res64: D3D1D8F0BCC1EE55 Time : 2423.0 sec. user=vaughan [2009-05-25 15:16:40] 499*2^689185-1 is not prime. Res64: 351B949AF8C11A52 Time : 2432.0 sec. user=vaughan [2009-05-25 15:16:46] 549*2^689188-1 is not prime. Res64: 7980F24008ABDA68 Time : 741.0 sec. user=vaughan [2009-05-25 15:19:58] 553*2^689187-1 is not prime. Res64: 56F2698E3FE03CA8 Time : 1368.0 sec. user=vaughan [2009-05-25 15:20:41] 503*2^689190-1 is not prime. Res64: C092E68613A1AA74 Time : 448.0 sec. user=vaughan [2009-05-25 15:22:10] 527*2^689190-1 is not prime. Res64: 37C9622AA4AAB21A Time : 444.0 sec. user=vaughan [2009-05-25 15:28:08] 425*2^689192-1 is not prime. Res64: 03486D07196BFCC6 Time : 448.0 sec. user=vaughan [2009-05-25 15:28:58] 525*2^689191-1 is not prime. Res64: 0B3A7CF894AAAC2C Time : 732.0 sec. user=vaughan [2009-05-25 15:29:34] 437*2^689192-1 is not prime. Res64: AD962BFDAB36E129 Time : 444.0 sec. user=vaughan [2009-05-25 15:33:15] 549*2^689189-1 is not prime. Res64: 6D1D629EDFF594C6 Time : 1370.0 sec. user=vaughan [2009-05-25 15:35:36] 557*2^689192-1 is not prime. Res64: 39E8550A20FEB4FF Time : 448.0 sec. user=vaughan [2009-05-25 15:36:59] 499*2^689193-1 is not prime. Res64: 1A13BB84016F77CD Time : 445.0 sec. user=SazanEyes [2009-05-25 15:40:54] 595*2^689171-1 is not prime. Res64: 07D55E8ADFB913A7 Time : 8688.0 sec. user=vaughan [2009-05-25 15:41:22] 471*2^689193-1 is not prime. Res64: 371BE3BB7568E9B3 Time : 744.0 sec. user=SazanEyes [2009-05-25 15:42:14] 549*2^689173-1 is not prime. Res64: 73B87FB4004F437F Time : 8486.0 sec. user=vaughan [2009-05-25 15:42:48] 535*2^689191-1 is not prime. Res64: 3682365B7E809661 Time : 1370.0 sec. user=vaughan [2009-05-25 15:43:12] 507*2^689193-1 is not prime. Res64: F749F998B7BB5416 Time : 456.0 sec. user=vaughan [2009-05-25 15:44:25] 525*2^689193-1 is not prime. Res64: 9893FDBF648146EE Time : 447.0 sec. user=vaughan [2009-05-25 15:50:44] 409*2^689195-1 is not prime. Res64: DCC92D405E7D460F Time : 453.0 sec. user=vaughan [2009-05-25 15:51:50] 445*2^689195-1 is not prime. Res64: F2ED71E037BE72A2 Time : 445.0 sec. user=vaughan [2009-05-25 15:53:15] 495*2^689194-1 is not prime. Res64: 0674B7F7EE0BCCC6 Time : 713.0 sec. user=vaughan [2009-05-25 15:54:58] 501*2^689193-1 is not prime. Res64: 02029EF45C8BF056 Time : 1304.0 sec. user=vaughan [2009-05-25 15:55:51] 415*2^689191-1 is not prime. Res64: F57887D34C9F0165 Time : 2403.0 sec. user=vaughan [2009-05-25 15:57:05] 489*2^689191-1 is not prime. Res64: 2CD5C112D934826F Time : 2425.0 sec. user=vaughan [2009-05-25 15:58:21] 463*2^689195-1 is not prime. Res64: 608B71DD3DDC2880 Time : 457.0 sec. user=vaughan [2009-05-25 15:59:16] 405*2^689196-1 is not prime. Res64: 31E02FF3E76262C9 Time : 446.0 sec. user=vaughan [2009-05-25 16:05:24] 453*2^689196-1 is not prime. Res64: B92E759F09A074EA Time : 729.0 sec. user=vaughan [2009-05-25 16:05:51] 471*2^689197-1 is not prime. Res64: 3BA9E69A256E0B37 Time : 450.0 sec. user=vaughan [2009-05-25 16:06:41] 495*2^689197-1 is not prime. Res64: 449923EB0C3F2189 Time : 445.0 sec. user=vaughan [2009-05-25 16:06:55] 567*2^689194-1 is not prime. Res64: F67C7A71996103CC Time : 1447.0 sec. user=SazanEyes [2009-05-25 16:08:31] 527*2^689176-1 is not prime. Res64: 4A7C71DCC30F5492 Time : 8608.0 sec. user=SazanEyes [2009-05-25 16:10:23] 597*2^689176-1 is not prime. Res64: 4873B6C06E55ACF3 Time : 8493.0 sec. user=vaughan [2009-05-25 16:13:19] 435*2^689198-1 is not prime. Res64: 0F677D640A949904 Time : 448.0 sec. user=vaughan [2009-05-25 16:14:07] 439*2^689199-1 is not prime. Res64: 414CC72C7843B8B0 Time : 446.0 sec. user=vaughan [2009-05-25 16:17:45] 589*2^689197-1 is not prime. Res64: 6775B48FD13AF4E0 Time : 741.0 sec. user=vaughan [2009-05-25 16:17:59] 515*2^689196-1 is not prime. Res64: 7AC84F5ACDDF6CF9 Time : 1383.0 sec. user=vaughan [2009-05-25 16:20:49] 407*2^689200-1 is not prime. Res64: F1B10ECD3AC929EA Time : 450.0 sec. user=vaughan [2009-05-25 16:21:31] 447*2^689201-1 is not prime. Res64: 612D068239482C77 Time : 445.0 sec. user=vaughan [2009-05-25 16:28:17] 547*2^689201-1 is not prime. Res64: 1CE714016E36347A Time : 449.0 sec. user=vaughan [2009-05-25 16:28:56] 579*2^689201-1 is not prime. Res64: F33104786B6EA1F2 Time : 446.0 sec. user=vaughan [2009-05-25 16:29:39] 511*2^689201-1 is not prime. Res64: 3F1C5A2270E132A8 Time : 714.0 sec. user=vaughan [2009-05-25 16:30:00] 513*2^689199-1 is not prime. Res64: E3D1BA64ADB49FBE Time : 1385.0 sec. user=vaughan [2009-05-25 16:35:46] 417*2^689202-1 is not prime. Res64: 1C8B531EC7496FFF Time : 449.0 sec. user=vaughan [2009-05-25 16:36:21] 483*2^689202-1 is not prime. Res64: 4A72CA70A0943239 Time : 445.0 sec. user=vaughan [2009-05-25 16:36:36] 557*2^689196-1 is not prime. Res64: E10A1CF3DB5F2053 Time : 2445.0 sec. user=SazanEyes [2009-05-25 16:37:31] 539*2^689180-1 is not prime. Res64: 57F2BC1E46BDB7FE Time : 8612.0 sec. user=vaughan [2009-05-25 16:37:31] 465*2^689197-1 is not prime. Res64: 5B5949C8125E15D1 Time : 2427.0 sec. user=vaughan [2009-05-25 16:39:20] 529*2^689201-1 is not prime. Res64: A666B003A125C78F Time : 1282.0 sec. user=SazanEyes [2009-05-25 16:39:52] 537*2^689181-1 is not prime. Res64: 32326B1B997190F2 Time : 8555.0 sec. user=vaughan [2009-05-25 16:41:26] 485*2^689202-1 is not prime. Res64: 35582796D1D06E1E Time : 707.0 sec. user=vaughan [2009-05-25 16:43:16] 525*2^689202-1 is not prime. Res64: C2DA4459D208E827 Time : 450.0 sec. user=vaughan [2009-05-25 16:43:46] 543*2^689202-1 is not prime. Res64: B6A14A5DB68CB689 Time : 445.0 sec. user=vaughan [2009-05-25 16:50:45] 587*2^689204-1 is not prime. Res64: 08BB2D0AFC8674E4 Time : 450.0 sec. user=vaughan [2009-05-25 16:51:10] 593*2^689204-1 is not prime. Res64: CA00E7E772B2C6AF Time : 445.0 sec. user=vaughan [2009-05-25 16:53:25] 459*2^689204-1 is not prime. Res64: 39B9D41CF3A2DA28 Time : 719.0 sec. user=vaughan [2009-05-25 16:53:46] 513*2^689202-1 is not prime. Res64: C9A4BFD3A98024BA Time : 1427.0 sec. user=vaughan [2009-05-25 16:58:14] 427*2^689205-1 is not prime. Res64: 6CA90FE933A525C7 Time : 450.0 sec. user=vaughan [2009-05-25 16:58:34] 577*2^689205-1 is not prime. Res64: D61FF74907F120F2 Time : 445.0 sec. user=vaughan [2009-05-25 17:01:59] 549*2^689203-1 is not prime. Res64: 78A241775B472AC2 Time : 1359.0 sec. user=vaughan [2009-05-25 17:04:53] 579*2^689205-1 is not prime. Res64: D59CE0C8411836A9 Time : 688.0 sec. user=vaughan [2009-05-25 17:05:43] 505*2^689207-1 is not prime. Res64: C40590D19B2C3C25 Time : 449.0 sec. user=vaughan [2009-05-25 17:05:59] 459*2^689208-1 is not prime. Res64: 9E777C396C97092D Time : 445.0 sec. user=SazanEyes [2009-05-25 17:06:26] 525*2^689186-1 is not prime. Res64: 5D855B70AF28A0D6 Time : 8607.0 sec. user=SazanEyes [2009-05-25 17:08:09] 433*2^689187-1 is not prime. Res64: 0C4325572060CF43 Time : 8571.0 sec. user=vaughan [2009-05-25 17:13:11] 429*2^689209-1 is not prime. Res64: 716D5E55A24E49BE Time : 448.0 sec. user=vaughan [2009-05-25 17:13:23] 439*2^689209-1 is not prime. Res64: 02AF5C707AB2F227 Time : 445.0 sec. user=vaughan [2009-05-25 17:16:14] 411*2^689209-1 is not prime. Res64: BC9A1F562B9CCB56 Time : 681.0 sec. user=vaughan [2009-05-25 17:16:47] 597*2^689205-1 is not prime. Res64: 7C2F1C45626C6D79 Time : 1381.0 sec. user=vaughan [2009-05-25 17:17:13] 551*2^689202-1 is not prime. Res64: 396D6B7E6A104D5A Time : 2437.0 sec. user=vaughan [2009-05-25 17:17:59] 451*2^689203-1 is not prime. Res64: 8C75ABF4EEE7052C Time : 2428.0 sec. user=vaughan [2009-05-25 17:20:40] 561*2^689209-1 is not prime. Res64: E3353CEE05F1ED1C Time : 449.0 sec. user=vaughan [2009-05-25 17:20:47] 589*2^689209-1 is not prime. Res64: F330B4CBAFD5220A Time : 444.0 sec. user=vaughan [2009-05-25 17:24:39] 485*2^689208-1 is not prime. Res64: 504A85D7A0D4EED4 Time : 1361.0 sec. user=vaughan [2009-05-25 17:27:27] 597*2^689209-1 is not prime. Res64: 6D34E6F4005CCA32 Time : 674.0 sec. user=vaughan [2009-05-25 17:28:08] 567*2^689210-1 is not prime. Res64: 90C23B5AF0FA3D2F Time : 448.0 sec. user=vaughan [2009-05-25 17:28:12] 409*2^689211-1 is not prime. Res64: 196E87CCAA0A3390 Time : 445.0 sec. user=SazanEyes [2009-05-25 17:35:23] 431*2^689190-1 is not prime. Res64: 0E10D13A670D3FD5 Time : 8607.0 sec. user=vaughan [2009-05-25 17:35:37] 535*2^689211-1 is not prime. Res64: B89F461EDD99C58E Time : 449.0 sec. user=vaughan [2009-05-25 17:35:37] 423*2^689212-1 is not prime. Res64: FC8D06C193483BB1 Time : 446.0 sec. user=SazanEyes [2009-05-25 17:37:47] 521*2^689190-1 is not prime. Res64: 65B1069CA7E80979 Time : 8632.0 sec. user=vaughan [2009-05-25 17:38:48] 445*2^689211-1 is not prime. Res64: E48DCD6EC1ED56C3 Time : 682.0 sec. user=vaughan [2009-05-25 17:40:21] 407*2^689210-1 is not prime. Res64: 66FEAA650AFBEAE3 Time : 1414.0 sec. user=vaughan [2009-05-25 17:43:02] 481*2^689213-1 is not prime. Res64: C968948E69365003 Time : 445.0 sec. user=vaughan [2009-05-25 17:43:05] 567*2^689212-1 is not prime. Res64: 81C7B17C3CE7FA66 Time : 449.0 sec. user=vaughan [2009-05-25 17:47:28] 415*2^689211-1 is not prime. Res64: 298DA9DD0CA9125C Time : 1369.0 sec. user=vaughan [2009-05-25 17:50:02] 529*2^689213-1 is not prime. Res64: 895828176361C9B2 Time : 675.0 sec. user=vaughan [2009-05-25 17:50:27] 423*2^689214-1 is not prime. Res64: 72863A8374D90E80 Time : 445.0 sec. user=vaughan [2009-05-25 17:50:34] 461*2^689214-1 is not prime. Res64: 116400448F7EBDC4 Time : 450.0 sec. user=vaughan [2009-05-25 17:57:36] 503*2^689210-1 is not prime. Res64: A22507A214793D24 Time : 2423.0 sec. user=vaughan [2009-05-25 17:57:52] 587*2^689214-1 is not prime. Res64: D6186D4D79CF8C91 Time : 446.0 sec. user=vaughan [2009-05-25 17:58:02] 433*2^689215-1 is not prime. Res64: BDCC7DD1A71A08E9 Time : 448.0 sec. user=vaughan [2009-05-25 17:58:46] 521*2^689210-1 is not prime. Res64: 85885138DF05D660 Time : 2447.0 sec. user=vaughan [2009-05-25 18:01:13] 567*2^689214-1 is not prime. Res64: 0187DF2B97CDBBD5 Time : 671.0 sec. user=vaughan [2009-05-25 18:03:09] 571*2^689213-1 is not prime. Res64: 6197387AB461090B Time : 1368.0 sec. user=SazanEyes [2009-05-25 18:04:20] 453*2^689194-1 is not prime. Res64: 074A09AFA73FA8D6 Time : 8606.0 sec. user=vaughan [2009-05-25 18:05:17] 459*2^689216-1 is not prime. Res64: 7D06C32095ADC413 Time : 445.0 sec. user=vaughan [2009-05-25 18:05:30] 465*2^689216-1 is not prime. Res64: 3588928B254333AA Time : 448.0 sec. user=SazanEyes [2009-05-25 18:06:09] 555*2^689194-1 is not prime. Res64: 4924B12CC2001CC0 Time : 8635.0 sec. user=vaughan [2009-05-25 18:09:59] 465*2^689214-1 is not prime. Res64: 9CC14583EA708756 Time : 1351.0 sec. user=vaughan [2009-05-25 18:12:27] 537*2^689216-1 is not prime. Res64: BD436843ADB239D0 Time : 674.0 sec. user=vaughan [2009-05-25 18:12:41] 441*2^689217-1 is not prime. Res64: AA4642B8C58121DD Time : 444.0 sec. user=vaughan [2009-05-25 18:13:00] 511*2^689217-1 is not prime. Res64: ABE65D7EA4177908 Time : 450.0 sec. user=vaughan [2009-05-25 18:20:03] 533*2^689218-1 is not prime. Res64: 69F207A8E5C8568E Time : 442.0 sec. user=vaughan [2009-05-25 18:20:32] 567*2^689218-1 is not prime. Res64: BAC80C3D3ECD1022 Time : 452.0 sec. user=vaughan [2009-05-25 18:23:37] 513*2^689218-1 is not prime. Res64: 0A81825C5BA6AB70 Time : 670.0 sec. user=vaughan [2009-05-25 18:26:45] 539*2^689216-1 is not prime. Res64: FECE8F79F4AF23B3 Time : 1416.0 sec. user=vaughan [2009-05-25 18:27:24] 403*2^689219-1 is not prime. Res64: 15917F8BB780E456 Time : 441.0 sec. user=vaughan [2009-05-25 18:28:04] 505*2^689219-1 is not prime. Res64: A9E21949C79DE8C1 Time : 452.0 sec. user=SazanEyes [2009-05-25 18:32:10] 543*2^689199-1 is not prime. Res64: 0A5E73ED9CE7C7F1 Time : 8620.0 sec. user=vaughan [2009-05-25 18:32:40] 491*2^689218-1 is not prime. Res64: DC14C4BD202CFE4B Time : 1361.0 sec. user=SazanEyes [2009-05-25 18:34:11] 571*2^689199-1 is not prime. Res64: 572C6A4AB82B36EA Time : 8628.0 sec. user=vaughan [2009-05-25 18:34:44] 429*2^689220-1 is not prime. Res64: 9C2A698F0C8A07B4 Time : 668.0 sec. user=vaughan [2009-05-25 18:34:46] 597*2^689220-1 is not prime. Res64: CC8F82DE42ED47F6 Time : 442.0 sec. user=vaughan [2009-05-25 18:35:35] 441*2^689221-1 is not prime. Res64: 6FF741128F150D27 Time : 452.0 sec. user=vaughan [2009-05-25 18:37:40] 441*2^689215-1 is not prime. Res64: F0B2ABD91A34F93F Time : 2404.0 sec. user=vaughan [2009-05-25 18:39:38] 503*2^689216-1 is not prime. Res64: AC4C8FE8EBAFCF78 Time : 2452.0 sec. user=vaughan [2009-05-25 18:42:11] 407*2^689222-1 is not prime. Res64: F19F6A0FE88B65A6 Time : 445.0 sec. user=vaughan [2009-05-25 18:43:06] 453*2^689222-1 is not prime. Res64: F0FBF6075D4DD2FE Time : 451.0 sec. user=vaughan [2009-05-25 18:45:49] 555*2^689221-1 is not prime. Res64: 4F12586299763EB8 Time : 666.0 sec. user=vaughan [2009-05-25 18:49:24] 539*2^689220-1 is not prime. Res64: 750B88DC15203155 Time : 1359.0 sec. user=vaughan [2009-05-25 18:49:36] 481*2^689223-1 is not prime. Res64: B588D4D4D072FAAC Time : 446.0 sec. user=vaughan [2009-05-25 18:50:34] 565*2^689223-1 is not prime. Res64: 2C2F1A248F6F7994 Time : 449.0 sec. user=vaughan [2009-05-25 18:55:04] 471*2^689221-1 is not prime. Res64: 1EBEB419C6A68981 Time : 1344.0 sec. user=vaughan [2009-05-25 18:57:00] 437*2^689224-1 is not prime. Res64: 46222109569A1BCC Time : 444.0 sec. user=vaughan [2009-05-25 18:57:03] 573*2^689223-1 is not prime. Res64: 3E0DFA8E0C70413F Time : 675.0 sec. user=vaughan [2009-05-25 18:58:03] 507*2^689224-1 is not prime. Res64: 657C179DA91C78C3 Time : 450.0 sec. user=SazanEyes [2009-05-25 19:01:10] 541*2^689203-1 is not prime. Res64: 44134D2CC754E426 Time : 8619.0 sec. user=SazanEyes [2009-05-25 19:01:59] 583*2^689203-1 is not prime. Res64: E5461D7E220901F1 Time : 8527.0 sec. user=vaughan [2009-05-25 19:04:25] 569*2^689224-1 is not prime. Res64: 636D387C7AF44A47 Time : 445.0 sec. user=vaughan [2009-05-25 19:05:35] 507*2^689225-1 is not prime. Res64: 7D94E7830FD711A7 Time : 452.0 sec. user=vaughan [2009-05-25 19:08:38] 593*2^689224-1 is not prime. Res64: AFC03CBF8FE88975 Time : 695.0 sec. user=vaughan [2009-05-25 19:11:49] 587*2^689226-1 is not prime. Res64: 19DE7CFD1FA7EE2B Time : 444.0 sec. user=vaughan [2009-05-25 19:13:03] 421*2^689227-1 is not prime. Res64: CEACDF2F775C391A Time : 448.0 sec. user=vaughan [2009-05-25 19:13:19] 435*2^689224-1 is not prime. Res64: 0704D34761925D7B Time : 1435.0 sec. user=vaughan [2009-05-25 19:15:51] 495*2^689222-1 is not prime. Res64: D44B1EAF15BAA1C0 Time : 2291.0 sec. user=vaughan [2009-05-25 19:17:55] 533*2^689224-1 is not prime. Res64: C31BA293BDC82103 Time : 1371.0 sec. user=vaughan [2009-05-25 19:19:13] 493*2^689227-1 is not prime. Res64: 5D227C1B57FB0039 Time : 444.0 sec. user=vaughan [2009-05-25 19:20:18] 459*2^689223-1 is not prime. Res64: ED6083ADA660FD3D Time : 2440.0 sec. user=vaughan [2009-05-25 19:20:31] 495*2^689227-1 is not prime. Res64: E6849EA3362181AE Time : 448.0 sec. user=vaughan [2009-05-25 19:21:00] 475*2^689227-1 is not prime. Res64: 82AAEE3316577896 Time : 742.0 sec. user=vaughan [2009-05-25 19:26:39] 533*2^689228-1 is not prime. Res64: 70F582CE78745C74 Time : 446.0 sec. user=vaughan [2009-05-25 19:28:00] 415*2^689229-1 is not prime. Res64: 35F99063BA4119EB Time : 449.0 sec. user=SazanEyes [2009-05-25 19:30:07] 535*2^689209-1 is not prime. Res64: 516A6CFC4AD52211 Time : 8621.0 sec. user=SazanEyes [2009-05-25 19:30:20] 555*2^689209-1 is not prime. Res64: 900D3E92C0108FEC Time : 8532.0 sec. user=vaughan [2009-05-25 19:33:12] 429*2^689229-1 is not prime. Res64: D18B7699C13A9FDC Time : 732.0 sec. user=vaughan [2009-05-25 19:34:03] 555*2^689229-1 is not prime. Res64: 82083289C43B970F Time : 445.0 sec. user=vaughan [2009-05-25 19:35:27] 437*2^689230-1 is not prime. Res64: ADDC9D23F726D606 Time : 448.0 sec. user=vaughan [2009-05-25 19:36:32] 465*2^689228-1 is not prime. Res64: 0CB7AFE0B3544619 Time : 1393.0 sec. user=vaughan [2009-05-25 19:39:21] 525*2^689228-1 is not prime. Res64: 4549BEB921156F36 Time : 1287.0 sec. user=vaughan [2009-05-25 19:41:27] 559*2^689231-1 is not prime. Res64: 41A1E4B439B15EC9 Time : 444.0 sec. user=vaughan [2009-05-25 19:42:54] 585*2^689231-1 is not prime. Res64: E6557921FC5011EF Time : 447.0 sec. user=vaughan [2009-05-25 19:44:56] 421*2^689231-1 is not prime. Res64: 3E0F3F1BE73F333B Time : 704.0 sec. user=vaughan [2009-05-25 19:48:53] 427*2^689233-1 is not prime. Res64: 02F73B7B53927F14 Time : 446.0 sec. user=vaughan [2009-05-25 19:50:21] 517*2^689233-1 is not prime. Res64: E0B7F5D8B9B63F1F Time : 447.0 sec. user=vaughan [2009-05-25 19:53:44] 489*2^689228-1 is not prime. Res64: DEC391012397469F Time : 2273.0 sec. user=vaughan [2009-05-25 19:56:18] 565*2^689233-1 is not prime. Res64: 798F8EA5ED3A6487 Time : 446.0 sec. user=vaughan [2009-05-25 19:57:41] 555*2^689233-1 is not prime. Res64: 6A99728A698487A4 Time : 765.0 sec. user=vaughan [2009-05-25 19:57:48] 533*2^689234-1 is not prime. Res64: C4301D06940922BC Time : 447.0 sec. user=SazanEyes [2009-05-25 19:58:36] 495*2^689213-1 is not prime. Res64: 77CF44286BA1ECC1 Time : 8449.0 sec. user=SazanEyes [2009-05-25 19:59:07] 455*2^689212-1 is not prime. Res64: 9C7A577C6E97460E Time : 8625.0 sec. user=vaughan [2009-05-25 20:00:19] 419*2^689232-1 is not prime. Res64: 0FB7DD04B2AB2980 Time : 1427.0 sec. user=vaughan [2009-05-25 20:00:23] 573*2^689228-1 is not prime. Res64: 18D94F995C39CA24 Time : 2405.0 sec. user=vaughan [2009-05-25 20:02:47] 507*2^689232-1 is not prime. Res64: ADEA4C4E103172C7 Time : 1407.0 sec. user=vaughan [2009-05-25 20:03:42] 441*2^689235-1 is not prime. Res64: 98B9EB4AA04B6866 Time : 445.0 sec. user=vaughan [2009-05-25 20:05:15] 493*2^689235-1 is not prime. Res64: A885F8D4769DC7EF Time : 447.0 sec. user=vaughan [2009-05-25 20:10:17] 459*2^689235-1 is not prime. Res64: 48FB942EEF1B5E74 Time : 756.0 sec. user=vaughan [2009-05-25 20:11:07] 529*2^689237-1 is not prime. Res64: F8DDB2EAFCD90E57 Time : 445.0 sec. user=vaughan [2009-05-25 20:12:41] 549*2^689237-1 is not prime. Res64: AFAEE833073F3114 Time : 447.0 sec. user=vaughan [2009-05-25 20:18:31] 413*2^689238-1 is not prime. Res64: 5366450B51722132 Time : 444.0 sec. user=vaughan [2009-05-25 20:20:07] 437*2^689238-1 is not prime. Res64: C96C2C73CF029D5E Time : 446.0 sec. user=vaughan [2009-05-25 20:22:23] 567*2^689237-1 is not prime. Res64: 605433E7BF10AF10 Time : 726.0 sec. user=vaughan [2009-05-25 20:23:21] 441*2^689237-1 is not prime. Res64: 315129D5291BAA24 Time : 1382.0 sec. user=vaughan [2009-05-25 20:25:54] 519*2^689237-1 is not prime. Res64: FEB07ED70923B97D Time : 1388.0 sec. user=vaughan [2009-05-25 20:25:57] 483*2^689238-1 is not prime. Res64: A9047D1E97A24688 Time : 446.0 sec. user=vaughan [2009-05-25 20:27:33] 485*2^689238-1 is not prime. Res64: D726BD7EA4D16849 Time : 446.0 sec. user=SazanEyes [2009-05-25 20:28:11] 483*2^689218-1 is not prime. Res64: ED5265602BD79371 Time : 8522.0 sec. user=SazanEyes [2009-05-25 20:28:16] 587*2^689216-1 is not prime. Res64: 37C1967E01ECE695 Time : 8636.0 sec. user=vaughan [2009-05-25 20:32:00] 411*2^689235-1 is not prime. Res64: DCB0F75C978CD740 Time : 2296.0 sec. user=vaughan [2009-05-25 20:33:21] 451*2^689239-1 is not prime. Res64: 1B5956675FD1DC3D Time : 445.0 sec. user=vaughan [2009-05-25 20:33:54] 557*2^689238-1 is not prime. Res64: 441553B9C1B0F651 Time : 691.0 sec. user=vaughan [2009-05-25 20:35:01] 463*2^689239-1 is not prime. Res64: 7908899D89BF05E5 Time : 448.0 sec. user=vaughan [2009-05-25 20:40:11] 489*2^689237-1 is not prime. Res64: C1A2934A22AD35C2 Time : 2388.0 sec. user=vaughan [2009-05-25 20:40:46] 533*2^689240-1 is not prime. Res64: 03320910EEA1D2B0 Time : 446.0 sec. user=vaughan [2009-05-25 20:42:29] 531*2^689241-1 is not prime. Res64: 91BFDD7296EBCB2C Time : 449.0 sec. user=vaughan [2009-05-25 20:46:20] 499*2^689241-1 is not prime. Res64: 5725CDBE9C2E08B5 Time : 746.0 sec. user=vaughan [2009-05-25 20:47:05] 563*2^689238-1 is not prime. Res64: 1CEC59398B8C6122 Time : 1425.0 sec. user=vaughan [2009-05-25 20:48:10] 571*2^689241-1 is not prime. Res64: 34055EC1A8DD14F1 Time : 444.0 sec. user=vaughan [2009-05-25 20:48:56] 567*2^689238-1 is not prime. Res64: 10F21AD7BBD8D103 Time : 1386.0 sec. user=vaughan [2009-05-25 20:49:57] 467*2^689242-1 is not prime. Res64: 573336A2E4EFAED3 Time : 448.0 sec. user=vaughan [2009-05-25 20:55:34] 439*2^689243-1 is not prime. Res64: 2943C390A1A77A3E Time : 444.0 sec. user=vaughan [2009-05-25 20:57:25] 519*2^689243-1 is not prime. Res64: 707188E94B6C1242 Time : 448.0 sec. user=SazanEyes [2009-05-25 20:57:50] 469*2^689221-1 is not prime. Res64: F2674823762B7041 Time : 8740.0 sec. user=SazanEyes [2009-05-25 20:58:11] 507*2^689221-1 is not prime. Res64: AAAC3E714E1CAC1E Time : 8640.0 sec. user=vaughan [2009-05-25 20:58:50] 495*2^689242-1 is not prime. Res64: 49A59D593BEBC8A4 Time : 750.0 sec. user=vaughan [2009-05-25 21:02:58] 413*2^689244-1 is not prime. Res64: A5D76E1F9310640B Time : 444.0 sec. user=vaughan [2009-05-25 21:04:55] 497*2^689244-1 is not prime. Res64: 84D6C43D2C91CCBC Time : 450.0 sec. user=vaughan [2009-05-25 21:10:23] 465*2^689245-1 is not prime. Res64: F059999F90AB2965 Time : 445.0 sec. user=vaughan [2009-05-25 21:10:30] 533*2^689242-1 is not prime. Res64: 98006CF19E9896D4 Time : 1405.0 sec. user=vaughan [2009-05-25 21:10:30] 583*2^689239-1 is not prime. Res64: AD64B8C5A311C3D5 Time : 2310.0 sec. user=vaughan [2009-05-25 21:11:21] 447*2^689245-1 is not prime. Res64: A2C5B7F5587610F7 Time : 751.0 sec. user=vaughan [2009-05-25 21:12:07] 495*2^689243-1 is not prime. Res64: 122690CB93F40D65 Time : 1391.0 sec. user=vaughan [2009-05-25 21:12:23] 477*2^689245-1 is not prime. Res64: DD2D9496E39D6738 Time : 449.0 sec. user=vaughan [2009-05-25 21:17:48] 507*2^689245-1 is not prime. Res64: 18F739FD0B1F3E39 Time : 445.0 sec. user=vaughan [2009-05-25 21:19:37] 537*2^689241-1 is not prime. Res64: 9FB86F13613EA564 Time : 2367.0 sec. user=vaughan [2009-05-25 21:19:51] 595*2^689247-1 is not prime. Res64: 24E80B7E8D0224B7 Time : 448.0 sec. user=vaughan [2009-05-25 21:24:00] 521*2^689246-1 is not prime. Res64: 9DC77FE21555437F Time : 759.0 sec. user=vaughan [2009-05-25 21:25:13] 413*2^689248-1 is not prime. Res64: 28F3EB0FB0E9F11C Time : 446.0 sec. user=SazanEyes [2009-05-25 21:26:44] 567*2^689225-1 is not prime. Res64: 2637E586066DA113 Time : 8735.0 sec. user=SazanEyes [2009-05-25 21:27:12] 551*2^689226-1 is not prime. Res64: 33834EB4F5A5FFE0 Time : 8713.0 sec. user=vaughan [2009-05-25 21:27:19] 489*2^689248-1 is not prime. Res64: 13B45DC2155A81A8 Time : 448.0 sec. user=vaughan [2009-05-25 21:32:37] 563*2^689248-1 is not prime. Res64: DB46939070CF3402 Time : 444.0 sec. user=vaughan [2009-05-25 21:34:17] 407*2^689246-1 is not prime. Res64: 920719322437836B Time : 1427.0 sec. user=vaughan [2009-05-25 21:34:47] 487*2^689249-1 is not prime. Res64: 5E62027A5E84C346 Time : 448.0 sec. user=vaughan [2009-05-25 21:34:59] 557*2^689246-1 is not prime. Res64: ABFE32D111348441 Time : 1372.0 sec. user=vaughan [2009-05-25 21:37:03] 527*2^689248-1 is not prime. Res64: 6207EB73129C0472 Time : 783.0 sec. user=vaughan [2009-05-25 21:40:02] 549*2^689249-1 is not prime. Res64: 592574F059963A7D Time : 445.0 sec. user=vaughan [2009-05-25 21:42:21] 589*2^689249-1 is not prime. Res64: 9FCD82B6545E01FB Time : 454.0 sec. user=vaughan [2009-05-25 21:47:27] 555*2^689250-1 is not prime. Res64: C5CBEED8008E1CE1 Time : 445.0 sec. user=vaughan [2009-05-25 21:48:55] 461*2^689246-1 is not prime. Res64: 58AD2AF5603BEB45 Time : 2305.0 sec. user=vaughan [2009-05-25 21:49:17] 483*2^689250-1 is not prime. Res64: 96F1450FD4B71B2A Time : 734.0 sec. user=vaughan [2009-05-25 21:49:51] 441*2^689251-1 is not prime. Res64: 2C206482D382E789 Time : 450.0 sec. user=vaughan [2009-05-25 21:54:52] 549*2^689251-1 is not prime. Res64: 4D9EEFCDC07070AA Time : 445.0 sec. user=SazanEyes [2009-05-25 21:55:50] 561*2^689230-1 is not prime. Res64: 459E947B41D1143E Time : 8743.0 sec. user=SazanEyes [2009-05-25 21:56:23] 403*2^689231-1 is not prime. Res64: 5ED9980A847E530A Time : 8763.0 sec. user=vaughan [2009-05-25 21:57:20] 557*2^689252-1 is not prime. Res64: AEF78BDAF6D51BDB Time : 449.0 sec. user=vaughan [2009-05-25 21:57:38] 559*2^689249-1 is not prime. Res64: 9FFB2E2819C26169 Time : 1401.0 sec. user=vaughan [2009-05-25 21:57:40] 461*2^689250-1 is not prime. Res64: 0B4ADACC8FEB3B81 Time : 1361.0 sec. user=vaughan [2009-05-25 21:59:52] 437*2^689248-1 is not prime. Res64: 92B265DCA1D5FE3E Time : 2415.0 sec. user=vaughan [2009-05-25 22:01:18] 425*2^689252-1 is not prime. Res64: 2E932ABF28D1829E Time : 721.0 sec. user=vaughan [2009-05-25 22:02:16] 573*2^689252-1 is not prime. Res64: 895630FA81B9BA1C Time : 445.0 sec. user=vaughan [2009-05-25 22:04:51] 417*2^689253-1 is not prime. Res64: DDC6E81A8A59C850 Time : 451.0 sec. user=vaughan [2009-05-25 22:09:38] 527*2^689256-1 is not prime. Res64: F33321B4694F4D5D Time : 442.0 sec. user=vaughan [2009-05-25 22:12:23] 465*2^689257-1 is not prime. Res64: 5843685E28384432 Time : 452.0 sec. user=vaughan [2009-05-25 22:13:34] 585*2^689255-1 is not prime. Res64: B0AC7ACF2C99A70D Time : 736.0 sec. user=vaughan [2009-05-25 22:17:03] 499*2^689257-1 is not prime. Res64: ADFC694958A221C4 Time : 445.0 sec. user=vaughan [2009-05-25 22:19:53] 507*2^689257-1 is not prime. Res64: 75EE42B20DAB0D81 Time : 451.0 sec. user=vaughan [2009-05-25 22:20:27] 425*2^689254-1 is not prime. Res64: 0EA22DB46F09F284 Time : 1367.0 sec. user=vaughan [2009-05-25 22:21:27] 475*2^689253-1 is not prime. Res64: 016BE8D71C4CF313 Time : 1430.0 sec. user=vaughan [2009-05-25 22:24:26] 417*2^689258-1 is not prime. Res64: 6E2A7D1718245A90 Time : 444.0 sec. user=SazanEyes [2009-05-25 22:24:38] 497*2^689236-1 is not prime. Res64: A371E5D58D567E5D Time : 8731.0 sec. user=SazanEyes [2009-05-25 22:25:00] 591*2^689235-1 is not prime. Res64: 93C449AC8FD4E929 Time : 8785.0 sec. user=vaughan [2009-05-25 22:26:02] 589*2^689257-1 is not prime. Res64: 176EF09083C41204 Time : 748.0 sec. user=vaughan [2009-05-25 22:27:04] 561*2^689251-1 is not prime. Res64: 8A1344E6D09856C4 Time : 2296.0 sec. user=vaughan [2009-05-25 22:27:26] 453*2^689258-1 is not prime. Res64: 7A1694D6A0E2231F Time : 453.0 sec. user=vaughan [2009-05-25 22:31:49] 573*2^689258-1 is not prime. Res64: DAC4C38B564F0D41 Time : 443.0 sec. user=vaughan [2009-05-25 22:34:57] 595*2^689259-1 is not prime. Res64: 94ABCD2D888E443F Time : 451.0 sec. user=vaughan [2009-05-25 22:38:34] 493*2^689259-1 is not prime. Res64: 59BF15E914A345F1 Time : 753.0 sec. user=vaughan [2009-05-25 22:39:13] 437*2^689260-1 is not prime. Res64: 0D3DB3C51CDBD304 Time : 444.0 sec. user=vaughan [2009-05-25 22:40:33] 523*2^689255-1 is not prime. Res64: B3559EE85F137FC9 Time : 2442.0 sec. user=vaughan [2009-05-25 22:42:26] 411*2^689261-1 is not prime. Res64: C130D48BD60B328F Time : 450.0 sec. user=vaughan [2009-05-25 22:43:15] 473*2^689258-1 is not prime. Res64: ED8F44BDB52D0BA9 Time : 1368.0 sec. user=vaughan [2009-05-25 22:44:35] 567*2^689258-1 is not prime. Res64: 371A52AEDDD48352 Time : 1388.0 sec. user=vaughan [2009-05-25 22:46:37] 437*2^689262-1 is not prime. Res64: FDD160A1945B9357 Time : 444.0 sec. user=vaughan [2009-05-25 22:49:57] 483*2^689263-1 is not prime. Res64: 254000C37F5399CD Time : 452.0 sec. user=vaughan [2009-05-25 22:50:34] 447*2^689261-1 is not prime. Res64: B16C60CAE89134A9 Time : 721.0 sec. user=SazanEyes [2009-05-25 22:53:04] 465*2^689239-1 is not prime. Res64: DAE3A958B05517AB Time : 8693.0 sec. user=SazanEyes [2009-05-25 22:53:41] 549*2^689239-1 is not prime. Res64: 2403889EE158636F Time : 8725.0 sec. user=vaughan [2009-05-25 22:53:59] 447*2^689264-1 is not prime. Res64: 2F7C25A6D56260CA Time : 442.0 sec. user=vaughan [2009-05-25 22:57:27] 453*2^689264-1 is not prime. Res64: C2BAD15E6E8BDF36 Time : 450.0 sec. user=vaughan [2009-05-25 23:01:24] 543*2^689264-1 is not prime. Res64: 850ACA2B8261CFD7 Time : 445.0 sec. user=vaughan [2009-05-25 23:02:43] 503*2^689264-1 is not prime. Res64: 258025A9733725CB Time : 729.0 sec. user=vaughan [2009-05-25 23:04:58] 591*2^689265-1 is not prime. Res64: AD74B180918166D1 Time : 451.0 sec. user=vaughan [2009-05-25 23:06:06] 525*2^689263-1 is not prime. Res64: 393572E0AC019D68 Time : 1371.0 sec. user=vaughan [2009-05-25 23:07:40] 511*2^689259-1 is not prime. Res64: C2F662CC3EAA09DA Time : 2436.0 sec. user=vaughan [2009-05-25 23:08:40] 423*2^689264-1 is not prime. Res64: 3FE15A45DBC7A973 Time : 1445.0 sec. user=vaughan [2009-05-25 23:08:46] 405*2^689266-1 is not prime. Res64: 3DD7B2140C36A03F Time : 443.0 sec. user=vaughan [2009-05-25 23:12:31] 425*2^689266-1 is not prime. Res64: D2EE2E65CDB33DD3 Time : 453.0 sec. user=vaughan [2009-05-25 23:14:58] 411*2^689266-1 is not prime. Res64: 9F48897F6FE8707C Time : 735.0 sec. user=vaughan [2009-05-25 23:16:10] 483*2^689268-1 is not prime. Res64: 00E996A4D72C7F83 Time : 445.0 sec. user=vaughan [2009-05-25 23:20:00] 561*2^689269-1 is not prime. Res64: 1796C77F7D83342D Time : 449.0 sec. user=vaughan [2009-05-25 23:21:05] 415*2^689263-1 is not prime. Res64: FC6FF1D71F03C097 Time : 2432.0 sec. user=SazanEyes [2009-05-25 23:22:21] 405*2^689245-1 is not prime. Res64: AD4F02FBC7A1323A Time : 8650.0 sec. user=SazanEyes [2009-05-25 23:22:32] 585*2^689244-1 is not prime. Res64: 40683D641B1B0BEA Time : 8682.0 sec. user=vaughan [2009-05-25 23:23:35] 455*2^689270-1 is not prime. Res64: 11C732C2E91ED530 Time : 445.0 sec. user=vaughan [2009-05-25 23:27:09] 577*2^689269-1 is not prime. Res64: F6758B33C3EE93AD Time : 731.0 sec. user=vaughan [2009-05-25 23:27:28] 461*2^689270-1 is not prime. Res64: A9EA46E891AFB0B0 Time : 448.0 sec. user=vaughan [2009-05-25 23:28:55] 443*2^689266-1 is not prime. Res64: 61131E20708D514F Time : 1369.0 sec. user=vaughan [2009-05-25 23:30:59] 513*2^689271-1 is not prime. Res64: 8EDEC53484A62337 Time : 444.0 sec. user=vaughan [2009-05-25 23:31:46] 437*2^689268-1 is not prime. Res64: BB9B46929A437070 Time : 1386.0 sec. user=vaughan [2009-05-25 23:34:56] 413*2^689272-1 is not prime. Res64: 01D29C797242CE1F Time : 448.0 sec. user=vaughan [2009-05-25 23:38:24] 537*2^689272-1 is not prime. Res64: 69F948E2760680B8 Time : 445.0 sec. user=vaughan [2009-05-25 23:39:01] 595*2^689271-1 is not prime. Res64: 8C2CAC0EBF133868 Time : 713.0 sec. user=vaughan [2009-05-25 23:42:25] 507*2^689273-1 is not prime. Res64: 20092C9E389B9706 Time : 449.0 sec. user=vaughan [2009-05-25 23:45:49] 517*2^689273-1 is not prime. Res64: 43165CE8F763622F Time : 445.0 sec. user=vaughan [2009-05-25 23:47:31] 531*2^689267-1 is not prime. Res64: D5AF4419849EE8F9 Time : 2392.0 sec. user=vaughan [2009-05-25 23:49:56] 585*2^689273-1 is not prime. Res64: 23031FAB6E31F81E Time : 452.0 sec. user=vaughan [2009-05-25 23:51:19] 565*2^689273-1 is not prime. Res64: 9002C14FCAA1E35B Time : 739.0 sec. user=SazanEyes [2009-05-25 23:51:31] 459*2^689249-1 is not prime. Res64: 4897A2FD2414E35B Time : 8687.0 sec. user=vaughan [2009-05-25 23:51:37] 429*2^689272-1 is not prime. Res64: 6792D006E60A66D2 Time : 1363.0 sec. user=SazanEyes [2009-05-25 23:51:39] 481*2^689249-1 is not prime. Res64: AA83396F59EF2CE2 Time : 8667.0 sec. user=vaughan [2009-05-25 23:53:13] 423*2^689274-1 is not prime. Res64: DFDA55BD601D86D4 Time : 444.0 sec. user=vaughan [2009-05-25 23:55:39] 495*2^689273-1 is not prime. Res64: 383A49EBC2E7C1CB Time : 1433.0 sec. user=vaughan [2009-05-25 23:57:28] 513*2^689274-1 is not prime. Res64: 197FC5D4BA97BDCC Time : 453.0 sec.