user=vaughan [2009-02-28 00:00:24] 617*2^622484-1 is not prime. Res64: 57C36570F0E759CD Time : 31852.0 sec. user=vaughan [2009-02-28 00:00:50] 751*2^622929-1 is not prime. Res64: FC84BC7AF753372E Time : 130384.0 sec. user=vaughan [2009-02-28 00:02:47] 675*2^623052-1 is not prime. Res64: 1FE6944ED7185DA7 Time : 95348.0 sec. user=vaughan [2009-02-28 00:04:38] 609*2^623065-1 is not prime. Res64: 36FCE583BC92F8FF Time : 88026.0 sec. user=vaughan [2009-02-28 00:05:53] 767*2^623124-1 is not prime. Res64: 6C70B3C16588FC70 Time : 31869.0 sec. user=vaughan [2009-02-28 00:11:25] 617*2^623126-1 is not prime. Res64: EB731F6047D337B9 Time : 31885.0 sec. user=vaughan [2009-02-28 00:12:11] 765*2^623065-1 is not prime. Res64: A909563DC05E19C5 Time : 87390.0 sec. user=vaughan [2009-02-28 00:16:56] 663*2^623126-1 is not prime. Res64: 46A11E52959417E5 Time : 31907.0 sec. user=vaughan [2009-02-28 00:19:09] 641*2^623054-1 is not prime. Res64: 96CC9D53CA2C97B6 Time : 95341.0 sec. user=vaughan [2009-02-28 00:19:38] 633*2^623067-1 is not prime. Res64: F0D9864C8E515F0E Time : 86728.0 sec. user=vaughan [2009-02-28 00:22:24] 601*2^623027-1 is not prime. Res64: 33BE5DABEF621C06 Time : 103618.0 sec. user=vaughan [2009-02-28 00:22:28] 747*2^623126-1 is not prime. Res64: 88FBA3589BCA7D22 Time : 31925.0 sec. user=vaughan [2009-02-28 00:26:40] 619*2^623069-1 is not prime. Res64: 6076E2F040EC1A64 Time : 86331.0 sec. user=vaughan [2009-02-28 00:28:00] 703*2^623127-1 is not prime. Res64: E51CC1F08674326B Time : 31941.0 sec. user=vaughan [2009-02-28 00:30:02] 749*2^622932-1 is not prime. Res64: F6635FA545771BDD Time : 131086.0 sec. user=vaughan [2009-02-28 00:33:31] 711*2^623127-1 is not prime. Res64: 5FF00EE536CEED38 Time : 31960.0 sec. user=vaughan [2009-02-28 00:33:46] 723*2^623071-1 is not prime. Res64: 48BBD161935730EE Time : 85666.0 sec. user=vaughan [2009-02-28 00:34:28] 763*2^623055-1 is not prime. Res64: A621DE5BC3B88E71 Time : 95288.0 sec. user=vaughan [2009-02-28 00:39:00] 639*2^623128-1 is not prime. Res64: 928B82174D8067BB Time : 31978.0 sec. user=vaughan [2009-02-28 00:40:25] 713*2^623072-1 is not prime. Res64: 2E6D8166417F79E4 Time : 85239.0 sec. user=vaughan [2009-02-28 00:44:31] 677*2^623128-1 is not prime. Res64: 6ACF184F9E9C4726 Time : 31999.0 sec. user=vaughan [2009-02-28 00:44:52] 615*2^623027-1 is not prime. Res64: C167A496E57DE008 Time : 104965.0 sec. user=vaughan [2009-02-28 00:46:58] 745*2^623073-1 is not prime. Res64: 9C36950F1B59DFE2 Time : 85013.0 sec. user=vaughan [2009-02-28 00:50:00] 697*2^623129-1 is not prime. Res64: 49CBB87FA1722A48 Time : 32012.0 sec. user=vaughan [2009-02-28 00:51:05] 627*2^623058-1 is not prime. Res64: 1D17A7662C62AF74 Time : 95295.0 sec. user=vaughan [2009-02-28 00:53:36] 621*2^623074-1 is not prime. Res64: 60FAB9D651A030B7 Time : 84889.0 sec. user=vaughan [2009-02-28 00:55:31] 747*2^623129-1 is not prime. Res64: 86FBBAFF5F7B3317 Time : 32035.0 sec. user=vaughan [2009-02-28 00:58:19] 763*2^622935-1 is not prime. Res64: 3A24873412745A2A Time : 131568.0 sec. user=vaughan [2009-02-28 01:00:09] 623*2^623076-1 is not prime. Res64: DD935FC9550A0F2A Time : 84772.0 sec. user=vaughan [2009-02-28 01:01:04] 759*2^623129-1 is not prime. Res64: A02EC2EB36FE20EB Time : 32054.0 sec. user=vaughan [2009-02-28 01:06:24] 681*2^623059-1 is not prime. Res64: A57AAFBDA92E4215 Time : 95232.0 sec. user=vaughan [2009-02-28 01:06:31] 633*2^623130-1 is not prime. Res64: 80886929DEF00B6E Time : 32068.0 sec. user=vaughan [2009-02-28 01:07:05] 719*2^623076-1 is not prime. Res64: FCBC12571D741595 Time : 84680.0 sec. user=vaughan [2009-02-28 01:07:21] 663*2^623027-1 is not prime. Res64: F503FDE9F5D36EB3 Time : 106314.0 sec. user=vaughan [2009-02-28 01:11:43] 641*2^623130-1 is not prime. Res64: DF53AB81B257898F Time : 32069.0 sec. user=vaughan [2009-02-28 01:13:44] 765*2^623076-1 is not prime. Res64: 79692C2C7C94C96A Time : 84559.0 sec. user=vaughan [2009-02-28 01:17:01] 673*2^623131-1 is not prime. Res64: 22C8ED45937C2E91 Time : 32076.0 sec. user=vaughan [2009-02-28 01:20:24] 717*2^623077-1 is not prime. Res64: E58BEDDD0B795BFE Time : 84438.0 sec. user=vaughan [2009-02-28 01:22:07] 723*2^623131-1 is not prime. Res64: 6739D9F8F53A7F12 Time : 32069.0 sec. user=vaughan [2009-02-28 01:22:47] 657*2^623061-1 is not prime. Res64: 3CEE7CA7E74ACE8C Time : 95243.0 sec. user=vaughan [2009-02-28 01:26:26] 727*2^622937-1 is not prime. Res64: 5B9FB42058E4A5D1 Time : 132268.0 sec. user=vaughan [2009-02-28 01:27:00] 773*2^623078-1 is not prime. Res64: 33D79E8D1BDA4804 Time : 84311.0 sec. user=vaughan [2009-02-28 01:27:22] 647*2^623132-1 is not prime. Res64: D00DD23679DA4661 Time : 32073.0 sec. user=vaughan [2009-02-28 01:29:50] 735*2^623027-1 is not prime. Res64: F09A1D2A80E9AA6C Time : 107662.0 sec. user=vaughan [2009-02-28 01:32:31] 735*2^623133-1 is not prime. Res64: B96FEF3C95F31282 Time : 32067.0 sec. user=vaughan [2009-02-28 01:33:34] 723*2^623079-1 is not prime. Res64: 71A9D1BEFFD14A4A Time : 84175.0 sec. user=vaughan [2009-02-28 01:37:43] 671*2^623134-1 is not prime. Res64: F9F7D65DE2616496 Time : 32069.0 sec. user=vaughan [2009-02-28 01:38:13] 665*2^623062-1 is not prime. Res64: F88B7B0B7C87BEF1 Time : 95186.0 sec. user=vaughan [2009-02-28 01:40:20] 645*2^623080-1 is not prime. Res64: 553641DF8E758048 Time : 84060.0 sec. user=vaughan [2009-02-28 01:43:01] 695*2^623134-1 is not prime. Res64: C1EDDA788D59DDB6 Time : 32074.0 sec. user=vaughan [2009-02-28 01:47:38] 723*2^623080-1 is not prime. Res64: EF5C3740D8FE26C7 Time : 83998.0 sec. user=vaughan [2009-02-28 01:48:09] 771*2^623135-1 is not prime. Res64: 9293B58A65C0ECD6 Time : 32072.0 sec. user=vaughan [2009-02-28 01:52:20] 627*2^623028-1 is not prime. Res64: C1A195762F119C33 Time : 109012.0 sec. user=vaughan [2009-02-28 01:53:23] 633*2^623136-1 is not prime. Res64: 733127115FEAD828 Time : 32073.0 sec. user=vaughan [2009-02-28 01:54:00] 675*2^622939-1 is not prime. Res64: D653A2223DD04F0F Time : 132976.0 sec. user=vaughan [2009-02-28 01:54:42] 783*2^623063-1 is not prime. Res64: AE1046F9B1E38736 Time : 95185.0 sec. user=vaughan [2009-02-28 01:55:00] 773*2^623116-1 is not prime. Res64: 517799FEE013C6E4 Time : 42687.0 sec. user=vaughan [2009-02-28 01:58:32] 719*2^623136-1 is not prime. Res64: 0C9E81A2D4507A32 Time : 32070.0 sec. user=vaughan [2009-02-28 02:01:50] 649*2^623117-1 is not prime. Res64: 1E8868739F4C5EE2 Time : 42660.0 sec. user=vaughan [2009-02-28 02:03:45] 627*2^623138-1 is not prime. Res64: 0C1B6247740CD901 Time : 32071.0 sec. user=vaughan [2009-02-28 02:08:40] 781*2^623117-1 is not prime. Res64: 47950CC5A42670FC Time : 42617.0 sec. user=vaughan [2009-02-28 02:08:56] 791*2^623138-1 is not prime. Res64: 0C1EB09F52AFA603 Time : 32069.0 sec. user=vaughan [2009-02-28 02:10:57] 609*2^623199-1 is not prime. Res64: FFB81C524B8E0B5E Time : 975.0 sec. user=vaughan [2009-02-28 02:14:08] 663*2^623139-1 is not prime. Res64: 142957E9E3D468C7 Time : 32069.0 sec. user=vaughan [2009-02-28 02:14:50] 629*2^623028-1 is not prime. Res64: ADA5079DD0796D1A Time : 110362.0 sec. user=vaughan [2009-02-28 02:15:26] 773*2^623118-1 is not prime. Res64: 5244C2CAFDE3B207 Time : 42581.0 sec. user=vaughan [2009-02-28 02:19:20] 623*2^623140-1 is not prime. Res64: 02FAE9AFD01FE170 Time : 32066.0 sec. user=vaughan [2009-02-28 02:21:37] 713*2^622942-1 is not prime. Res64: B26A40863196A7CF Time : 133498.0 sec. user=vaughan [2009-02-28 02:22:06] 635*2^623120-1 is not prime. Res64: ECCAC0861F868A25 Time : 42539.0 sec. user=vaughan [2009-02-28 02:24:30] 695*2^623140-1 is not prime. Res64: BB81C159C295E3EB Time : 32065.0 sec. user=vaughan [2009-02-28 02:28:57] 677*2^622478-1 is not prime. Res64: 27DA645570BDAA1C Time : 42517.0 sec. user=vaughan [2009-02-28 02:29:45] 615*2^623141-1 is not prime. Res64: CBBAB2CDABBE0CDF Time : 32066.0 sec. user=vaughan [2009-02-28 02:34:54] 715*2^623141-1 is not prime. Res64: 8B2E41BA7B508066 Time : 32063.0 sec. user=vaughan [2009-02-28 02:35:25] 727*2^623121-1 is not prime. Res64: B9BFB3BFD4AECBC8 Time : 42473.0 sec. user=vaughan [2009-02-28 02:37:17] 735*2^623028-1 is not prime. Res64: 308C070833B3AF6E Time : 111708.0 sec. user=vaughan [2009-02-28 02:40:06] 619*2^623143-1 is not prime. Res64: BA1DB330A53D6707 Time : 32061.0 sec. user=vaughan [2009-02-28 02:42:34] 785*2^623122-1 is not prime. Res64: 463AAAF889D7EC50 Time : 42493.0 sec. user=vaughan [2009-02-28 02:45:18] 693*2^623143-1 is not prime. Res64: 98AB75589E6E60F7 Time : 32062.0 sec. user=vaughan [2009-02-28 02:47:12] 675*2^622946-1 is not prime. Res64: E7A58F4D8683640A Time : 134038.0 sec. user=vaughan [2009-02-28 02:49:51] 649*2^623123-1 is not prime. Res64: 6CA7A0812D4401D7 Time : 42523.0 sec. user=vaughan [2009-02-28 02:50:30] 663*2^623144-1 is not prime. Res64: 1B4785D2D3075A9D Time : 32062.0 sec. user=vaughan [2009-02-28 02:55:44] 657*2^623145-1 is not prime. Res64: CD2FD40F6E2BBAAB Time : 32066.0 sec. user=vaughan [2009-02-28 02:57:06] 753*2^623124-1 is not prime. Res64: 21C8ACF96F26D5AE Time : 42541.0 sec. user=vaughan [2009-02-28 02:59:46] 759*2^623028-1 is not prime. Res64: 7663B7A724CF1732 Time : 113056.0 sec. user=vaughan [2009-02-28 03:00:56] 685*2^623145-1 is not prime. Res64: F984C7109CDF945B Time : 32067.0 sec. user=vaughan [2009-02-28 03:04:07] 679*2^623125-1 is not prime. Res64: 68EEE8A9F07B2794 Time : 42522.0 sec. user=vaughan [2009-02-28 03:06:07] 603*2^623146-1 is not prime. Res64: 08081D193E8EB8AD Time : 32068.0 sec. user=vaughan [2009-02-28 03:11:06] 641*2^623126-1 is not prime. Res64: D6B05F93322B0834 Time : 42499.0 sec. user=vaughan [2009-02-28 03:11:17] 675*2^623146-1 is not prime. Res64: D031725AE3512F8B Time : 32066.0 sec. user=vaughan [2009-02-28 03:13:56] 735*2^622948-1 is not prime. Res64: 0745EE04CD9F7493 Time : 134680.0 sec. user=vaughan [2009-02-28 03:16:29] 735*2^623146-1 is not prime. Res64: 9E3DA0CB4B336CAC Time : 32067.0 sec. user=vaughan [2009-02-28 03:18:09] 741*2^623126-1 is not prime. Res64: 3B7551AC11B105FB Time : 42500.0 sec. user=vaughan [2009-02-28 03:21:42] 783*2^623146-1 is not prime. Res64: 95E7780252ABA576 Time : 32068.0 sec. user=vaughan [2009-02-28 03:22:15] 661*2^623029-1 is not prime. Res64: 1562FCC64A0D4031 Time : 114404.0 sec. user=vaughan [2009-02-28 03:24:46] 729*2^622489-1 is not prime. Res64: 2E57F7F5CBE2B715 Time : 42481.0 sec. user=vaughan [2009-02-28 03:26:55] 705*2^623148-1 is not prime. Res64: D32DF09DE8716FF5 Time : 32070.0 sec. user=vaughan [2009-02-28 03:31:20] 603*2^623128-1 is not prime. Res64: 2AABBA4658686527 Time : 42432.0 sec. user=vaughan [2009-02-28 03:32:05] 765*2^623148-1 is not prime. Res64: 9847AF7221BB7458 Time : 32069.0 sec. user=vaughan [2009-02-28 03:37:16] 747*2^623149-1 is not prime. Res64: D85E5789BB7086DD Time : 32068.0 sec. user=vaughan [2009-02-28 03:37:48] 765*2^623128-1 is not prime. Res64: 63711D6CE8A1AD89 Time : 42395.0 sec. user=vaughan [2009-02-28 03:41:47] 795*2^622949-1 is not prime. Res64: 1A7B4F48BAE4164D Time : 135351.0 sec. user=vaughan [2009-02-28 03:42:29] 771*2^623149-1 is not prime. Res64: 12B63A42ACFB50FE Time : 32068.0 sec. user=vaughan [2009-02-28 03:44:21] 745*2^623129-1 is not prime. Res64: 86AEDB6185E431D4 Time : 42377.0 sec. user=vaughan [2009-02-28 03:44:44] 657*2^623030-1 is not prime. Res64: 6F853D0870FD18DF Time : 115752.0 sec. user=vaughan [2009-02-28 03:47:41] 641*2^623150-1 is not prime. Res64: BE296D244F8B2EA0 Time : 32067.0 sec. user=vaughan [2009-02-28 03:50:52] 749*2^622492-1 is not prime. Res64: C1D95372424A8637 Time : 42341.0 sec. user=vaughan [2009-02-28 03:52:53] 661*2^623151-1 is not prime. Res64: 94383E691AE69E96 Time : 32068.0 sec. user=vaughan [2009-02-28 03:57:21] 795*2^623129-1 is not prime. Res64: 547CAF558A405C4E Time : 42329.0 sec. user=vaughan [2009-02-28 03:58:05] 711*2^623151-1 is not prime. Res64: AA09FEA1E0B57DB6 Time : 32069.0 sec. user=vaughan [2009-02-28 04:03:17] 741*2^623151-1 is not prime. Res64: 17ABFE3A60048F03 Time : 32069.0 sec. user=vaughan [2009-02-28 04:03:49] 791*2^623130-1 is not prime. Res64: 26591FECCD0213EE Time : 42313.0 sec. user=vaughan [2009-02-28 04:07:13] 745*2^623041-1 is not prime. Res64: A83CF34A6AC8402F Time : 116742.0 sec. user=vaughan [2009-02-28 04:08:28] 623*2^623152-1 is not prime. Res64: 5E5EFE97D3F6E2E0 Time : 32068.0 sec. user=vaughan [2009-02-28 04:09:35] 739*2^622953-1 is not prime. Res64: 9EB6C841834E012C Time : 135845.0 sec. user=vaughan [2009-02-28 04:10:14] 691*2^623131-1 is not prime. Res64: D754636C70E202C0 Time : 42270.0 sec. user=vaughan [2009-02-28 04:13:41] 691*2^623153-1 is not prime. Res64: E7AD7B7B0DF663F3 Time : 32070.0 sec. user=vaughan [2009-02-28 04:16:40] 605*2^623132-1 is not prime. Res64: C7DD69AFEA916A30 Time : 42254.0 sec. user=vaughan [2009-02-28 04:18:51] 627*2^623154-1 is not prime. Res64: 22D4A072FC2ABBE8 Time : 32067.0 sec. user=vaughan [2009-02-28 04:23:05] 745*2^623133-1 is not prime. Res64: D2EA94EAB83D7DC0 Time : 42237.0 sec. user=vaughan [2009-02-28 04:24:03] 791*2^623154-1 is not prime. Res64: 773C201AE5FB81EC Time : 32070.0 sec. user=vaughan [2009-02-28 04:29:15] 715*2^623155-1 is not prime. Res64: D625A67AC1D97AF1 Time : 32069.0 sec. user=vaughan [2009-02-28 04:29:33] 675*2^623134-1 is not prime. Res64: 0996308B6B81E74C Time : 42236.0 sec. user=vaughan [2009-02-28 04:29:41] 677*2^623044-1 is not prime. Res64: 1A380C4E0FE8043E Time : 116699.0 sec. user=vaughan [2009-02-28 04:34:27] 735*2^623156-1 is not prime. Res64: 26764F6F30D781D9 Time : 32069.0 sec. user=vaughan [2009-02-28 04:35:59] 735*2^623135-1 is not prime. Res64: B98D60C92EFC74DB Time : 42235.0 sec. user=vaughan [2009-02-28 04:37:49] 717*2^622956-1 is not prime. Res64: 9684D1F5FB600738 Time : 136123.0 sec. user=vaughan [2009-02-28 04:39:40] 625*2^623157-1 is not prime. Res64: FA783DBB7C1ADCE9 Time : 32071.0 sec. user=vaughan [2009-02-28 04:42:24] 717*2^623136-1 is not prime. Res64: 506EC32A828AF940 Time : 42209.0 sec. user=vaughan [2009-02-28 04:44:51] 649*2^623157-1 is not prime. Res64: B65C3DCFCFDF5CFE Time : 32068.0 sec. user=vaughan [2009-02-28 04:48:50] 639*2^623137-1 is not prime. Res64: 73683F8EB81ABB84 Time : 42205.0 sec. user=vaughan [2009-02-28 04:50:03] 741*2^623157-1 is not prime. Res64: DA8D3AAF956082AB Time : 32072.0 sec. user=vaughan [2009-02-28 04:52:10] 713*2^623046-1 is not prime. Res64: 7DE1CE79039C44C0 Time : 116644.0 sec. user=vaughan [2009-02-28 04:55:21] 611*2^623158-1 is not prime. Res64: A768468894A3E379 Time : 32079.0 sec. user=vaughan [2009-02-28 04:55:21] 665*2^623138-1 is not prime. Res64: 306944FC41EDEF60 Time : 42210.0 sec. user=vaughan [2009-02-28 05:00:33] 651*2^623158-1 is not prime. Res64: 49CFF03E97DC3607 Time : 32075.0 sec. user=vaughan [2009-02-28 05:01:39] 649*2^623139-1 is not prime. Res64: 30C66A1C9F96DFBA Time : 42199.0 sec. user=vaughan [2009-02-28 05:05:32] 775*2^622957-1 is not prime. Res64: 6DA665E884AC7E8F Time : 136781.0 sec. user=vaughan [2009-02-28 05:05:54] 603*2^623159-1 is not prime. Res64: 3A916663B35860D4 Time : 32086.0 sec. user=vaughan [2009-02-28 05:08:04] 685*2^623139-1 is not prime. Res64: 57079EF6541EA236 Time : 42190.0 sec. user=vaughan [2009-02-28 05:11:15] 685*2^623159-1 is not prime. Res64: 0E3195C9BCB47275 Time : 32097.0 sec. user=vaughan [2009-02-28 05:14:29] 797*2^623140-1 is not prime. Res64: 33322A712B63853D Time : 42159.0 sec. user=vaughan [2009-02-28 05:14:38] 753*2^623048-1 is not prime. Res64: A3B692F9947966D8 Time : 116576.0 sec. user=vaughan [2009-02-28 05:16:33] 789*2^623159-1 is not prime. Res64: B3CE3B296496801D Time : 32103.0 sec. user=vaughan [2009-02-28 05:20:55] 657*2^623141-1 is not prime. Res64: 6963D5F88A0B7139 Time : 42123.0 sec. user=vaughan [2009-02-28 05:21:53] 653*2^623160-1 is not prime. Res64: 9F545C3411A6C1BB Time : 32112.0 sec. user=vaughan [2009-02-28 05:27:12] 713*2^623160-1 is not prime. Res64: 3B1B72FD6A218BDB Time : 32119.0 sec. user=vaughan [2009-02-28 05:27:27] 663*2^623143-1 is not prime. Res64: 627C11AFFE39EBD1 Time : 42098.0 sec. user=vaughan [2009-02-28 05:32:32] 767*2^623160-1 is not prime. Res64: ECE99BB508CA2F6A Time : 32127.0 sec. user=vaughan [2009-02-28 05:33:34] 683*2^622986-1 is not prime. Res64: A27113509437A53A Time : 137474.0 sec. user=vaughan [2009-02-28 05:34:10] 775*2^623143-1 is not prime. Res64: 45CBDC1B6DFF1D13 Time : 42083.0 sec. user=vaughan [2009-02-28 05:37:10] 741*2^623051-1 is not prime. Res64: FEFA478C5EF014F6 Time : 116522.0 sec. user=vaughan [2009-02-28 05:37:49] 651*2^623161-1 is not prime. Res64: 7AB02251CD42521B Time : 32132.0 sec. user=vaughan [2009-02-28 05:40:45] 699*2^623144-1 is not prime. Res64: 16BCD82B006885FC Time : 42065.0 sec. user=vaughan [2009-02-28 05:43:09] 747*2^623161-1 is not prime. Res64: 33BF099DF4290038 Time : 32140.0 sec. user=vaughan [2009-02-28 05:47:13] 787*2^623145-1 is not prime. Res64: 5B5A398BB91EDF08 Time : 41849.0 sec. user=vaughan [2009-02-28 05:48:25] 701*2^623162-1 is not prime. Res64: 347ACD007C942919 Time : 32126.0 sec. user=vaughan [2009-02-28 05:53:53] 739*2^623163-1 is not prime. Res64: 82564C3723A2A9A5 Time : 32118.0 sec. user=vaughan [2009-02-28 05:53:56] 717*2^623146-1 is not prime. Res64: D6E88CCC2929FC9A Time : 41593.0 sec. user=vaughan [2009-02-28 05:59:03] 745*2^623163-1 is not prime. Res64: 0ED1FF335168719F Time : 32099.0 sec. user=vaughan [2009-02-28 05:59:37] 699*2^623053-1 is not prime. Res64: 807E14F28431BBEF Time : 116455.0 sec. user=vaughan [2009-02-28 06:00:25] 615*2^623147-1 is not prime. Res64: BF89CEF6FBB712AA Time : 41550.0 sec. user=vaughan [2009-02-28 06:00:51] 603*2^622988-1 is not prime. Res64: 833063C8E478DFFB Time : 138074.0 sec. user=vaughan [2009-02-28 06:04:22] 615*2^623164-1 is not prime. Res64: 55B87A76DED71D8F Time : 32089.0 sec. user=vaughan [2009-02-28 06:07:11] 735*2^623148-1 is not prime. Res64: AA14167964C7FBFA Time : 41548.0 sec. user=vaughan [2009-02-28 06:09:41] 687*2^623164-1 is not prime. Res64: 8EF96C0596A70FF5 Time : 32075.0 sec. user=vaughan [2009-02-28 06:13:56] 773*2^623148-1 is not prime. Res64: 794AFF12F5052566 Time : 41535.0 sec. user=vaughan [2009-02-28 06:15:00] 641*2^623166-1 is not prime. Res64: 492984EDD619FEEC Time : 32062.0 sec. user=vaughan [2009-02-28 06:20:22] 741*2^623166-1 is not prime. Res64: 701EA0C94F435ED6 Time : 32055.0 sec. user=vaughan [2009-02-28 06:21:12] 615*2^623150-1 is not prime. Res64: 6BF2A0AF1D65F5E6 Time : 41553.0 sec. user=vaughan [2009-02-28 06:22:04] 709*2^623055-1 is not prime. Res64: E692CE6B45EEFAE1 Time : 116368.0 sec. user=vaughan [2009-02-28 06:25:36] 633*2^623167-1 is not prime. Res64: 9161EB9660C18E72 Time : 32039.0 sec. user=vaughan [2009-02-28 06:28:27] 649*2^623151-1 is not prime. Res64: AA73198FC21395AF Time : 41585.0 sec. user=vaughan [2009-02-28 06:28:54] 711*2^622989-1 is not prime. Res64: F3B96F1BCF2EB021 Time : 138516.0 sec. user=vaughan [2009-02-28 06:30:54] 639*2^623167-1 is not prime. Res64: 1A55CF2B99102C2F Time : 32025.0 sec. user=vaughan [2009-02-28 06:35:42] 703*2^623151-1 is not prime. Res64: C6BAC0E2382C13DD Time : 41610.0 sec. user=vaughan [2009-02-28 06:36:12] 657*2^623168-1 is not prime. Res64: CF80BDA8679EBC81 Time : 32012.0 sec. user=vaughan [2009-02-28 06:41:31] 795*2^623168-1 is not prime. Res64: A3A4CD9043F60505 Time : 32001.0 sec. user=vaughan [2009-02-28 06:42:57] 609*2^623152-1 is not prime. Res64: C8D3C549D782974E Time : 41622.0 sec. user=vaughan [2009-02-28 06:44:35] 633*2^623058-1 is not prime. Res64: 324999D6BA51AB8B Time : 116304.0 sec. user=vaughan [2009-02-28 06:46:48] 627*2^623169-1 is not prime. Res64: 367DFD2E4E74F1EE Time : 31987.0 sec. user=vaughan [2009-02-28 06:49:55] 705*2^623152-1 is not prime. Res64: 92FEE8F1153D4F16 Time : 41593.0 sec. user=vaughan [2009-02-28 06:52:11] 649*2^623169-1 is not prime. Res64: C71285627D852A2C Time : 31983.0 sec. user=vaughan [2009-02-28 06:56:48] 735*2^623153-1 is not prime. Res64: 41771099670455CF Time : 41570.0 sec. user=vaughan [2009-02-28 06:57:11] 669*2^622992-1 is not prime. Res64: 63546BE8F4DE2756 Time : 138874.0 sec. user=vaughan [2009-02-28 06:57:30] 765*2^623169-1 is not prime. Res64: 2D1AF11700A5CBC7 Time : 31971.0 sec. user=vaughan [2009-02-28 07:02:43] 665*2^623170-1 is not prime. Res64: FAF50B54CF021943 Time : 31955.0 sec. user=vaughan [2009-02-28 07:03:43] 651*2^623155-1 is not prime. Res64: 51C89ED75743896C Time : 41561.0 sec. user=vaughan [2009-02-28 07:07:02] 735*2^623059-1 is not prime. Res64: 4F3758FCB5F67AF0 Time : 116222.0 sec. user=vaughan [2009-02-28 07:08:05] 713*2^623170-1 is not prime. Res64: B52605C7394D0412 Time : 31946.0 sec. user=vaughan [2009-02-28 07:10:29] 771*2^623155-1 is not prime. Res64: B03EB8137D1D2E2D Time : 41552.0 sec. user=vaughan [2009-02-28 07:13:24] 623*2^623172-1 is not prime. Res64: 4DB4FB297BD37E29 Time : 31937.0 sec. user=vaughan [2009-02-28 07:17:31] 621*2^623157-1 is not prime. Res64: 07DE3441E02A17AF Time : 41544.0 sec. user=vaughan [2009-02-28 07:18:37] 765*2^623172-1 is not prime. Res64: 523A595ADF9719DB Time : 31920.0 sec. user=vaughan [2009-02-28 07:23:58] 607*2^623173-1 is not prime. Res64: 4654F6722E95FEF0 Time : 31912.0 sec. user=vaughan [2009-02-28 07:24:24] 699*2^623157-1 is not prime. Res64: BFB69FC037F3B101 Time : 41532.0 sec. user=vaughan [2009-02-28 07:25:55] 701*2^622994-1 is not prime. Res64: B5BC0CAB5C5CA385 Time : 139426.0 sec. user=vaughan [2009-02-28 07:29:13] 681*2^623173-1 is not prime. Res64: 9B156E4133AFB118 Time : 31894.0 sec. user=vaughan [2009-02-28 07:29:32] 677*2^623062-1 is not prime. Res64: 331C00797B327EF6 Time : 116158.0 sec. user=vaughan [2009-02-28 07:31:26] 747*2^623157-1 is not prime. Res64: 5E7FFAC0ADE2B461 Time : 41539.0 sec. user=vaughan [2009-02-28 07:34:31] 623*2^623174-1 is not prime. Res64: 516A959663F55CDA Time : 31881.0 sec. user=vaughan [2009-02-28 07:38:30] 677*2^623158-1 is not prime. Res64: 353C244EBBB29908 Time : 41542.0 sec. user=vaughan [2009-02-28 07:39:52] 685*2^623175-1 is not prime. Res64: 466B1A3E2F458039 Time : 31870.0 sec. user=vaughan [2009-02-28 07:45:08] 795*2^623175-1 is not prime. Res64: 17C98D6FFEAF54F7 Time : 31853.0 sec. user=vaughan [2009-02-28 07:45:35] 615*2^623159-1 is not prime. Res64: E5CC8BA754028DC5 Time : 41557.0 sec. user=vaughan [2009-02-28 07:50:28] 755*2^623176-1 is not prime. Res64: 04FAC6D72E5110B2 Time : 31843.0 sec. user=vaughan [2009-02-28 07:52:02] 723*2^623064-1 is not prime. Res64: 0B59C9B3631AA81F Time : 116091.0 sec. user=vaughan [2009-02-28 07:52:50] 703*2^623159-1 is not prime. Res64: 58127F9692AEC183 Time : 41557.0 sec. user=vaughan [2009-02-28 07:54:41] 741*2^622997-1 is not prime. Res64: 81154027E376895A Time : 139892.0 sec. user=vaughan [2009-02-28 07:55:45] 649*2^623177-1 is not prime. Res64: 80CE541A34718BE4 Time : 31829.0 sec. user=vaughan [2009-02-28 08:00:15] 665*2^623160-1 is not prime. Res64: 97F6499D76F16AA2 Time : 41539.0 sec. user=vaughan [2009-02-28 08:01:04] 615*2^623178-1 is not prime. Res64: 25053C8BBCBB5D43 Time : 31817.0 sec. user=vaughan [2009-02-28 08:06:36] 797*2^623178-1 is not prime. Res64: 9D88B2B36A78A2C3 Time : 31819.0 sec. user=vaughan [2009-02-28 08:07:35] 735*2^623160-1 is not prime. Res64: 113524A2A3C493A9 Time : 41566.0 sec. user=vaughan [2009-02-28 08:12:06] 765*2^623179-1 is not prime. Res64: EA8E0690ED73B0A2 Time : 31816.0 sec. user=vaughan [2009-02-28 08:14:27] 705*2^623066-1 is not prime. Res64: 29C45E717CAB8C0F Time : 116020.0 sec. user=vaughan [2009-02-28 08:15:00] 619*2^623161-1 is not prime. Res64: 4260B5254FDCAFB3 Time : 41595.0 sec. user=vaughan [2009-02-28 08:17:38] 677*2^623180-1 is not prime. Res64: 2269F4DA95A45E65 Time : 31818.0 sec. user=vaughan [2009-02-28 08:22:33] 677*2^623162-1 is not prime. Res64: 801F25E48D815977 Time : 41591.0 sec. user=vaughan [2009-02-28 08:23:02] 617*2^623182-1 is not prime. Res64: 071A38BCD2BFF1C8 Time : 31812.0 sec. user=vaughan [2009-02-28 08:23:32] 745*2^622999-1 is not prime. Res64: B3447169620601E2 Time : 140181.0 sec. user=vaughan [2009-02-28 08:28:33] 703*2^623183-1 is not prime. Res64: 5FD2F1A2CE3FB052 Time : 31810.0 sec. user=vaughan [2009-02-28 08:30:13] 743*2^623162-1 is not prime. Res64: 380F3CB35ED0FF29 Time : 41645.0 sec. user=vaughan [2009-02-28 08:34:04] 759*2^623183-1 is not prime. Res64: 8991BCE2593248A4 Time : 31813.0 sec. user=vaughan [2009-02-28 08:36:58] 615*2^623069-1 is not prime. Res64: 81208A0C87E11206 Time : 115953.0 sec. user=vaughan [2009-02-28 08:37:44] 741*2^623163-1 is not prime. Res64: 08F4B6114A84625A Time : 41666.0 sec. user=vaughan [2009-02-28 08:39:33] 723*2^623184-1 is not prime. Res64: B1E34BFE200C93DE Time : 31811.0 sec. user=vaughan [2009-02-28 08:45:02] 677*2^623164-1 is not prime. Res64: 45FF2FC8C8A7879C Time : 41675.0 sec. user=vaughan [2009-02-28 08:45:05] 633*2^623186-1 is not prime. Res64: BF44353ED1FFF74A Time : 31811.0 sec. user=vaughan [2009-02-28 08:50:34] 671*2^623186-1 is not prime. Res64: 01272ED738DC0BCF Time : 31810.0 sec. user=vaughan [2009-02-28 08:52:13] 645*2^623002-1 is not prime. Res64: 4313AF6FF60C79A4 Time : 140534.0 sec. user=vaughan [2009-02-28 08:52:30] 775*2^623165-1 is not prime. Res64: EFB69A3A604B950F Time : 41704.0 sec. user=vaughan [2009-02-28 08:56:08] 741*2^623187-1 is not prime. Res64: B964D5AE97D2FFAE Time : 31815.0 sec. user=vaughan [2009-02-28 08:59:28] 771*2^623071-1 is not prime. Res64: 02B67409AAFEFC8D Time : 115899.0 sec. user=vaughan [2009-02-28 08:59:49] 713*2^623166-1 is not prime. Res64: ABA3AD04DE28C4D5 Time : 41729.0 sec. user=vaughan [2009-02-28 09:01:38] 775*2^623187-1 is not prime. Res64: 8C18623794ED5DD9 Time : 31813.0 sec. user=vaughan [2009-02-28 09:07:05] 793*2^623187-1 is not prime. Res64: 585A5309594649EA Time : 31809.0 sec. user=vaughan [2009-02-28 09:07:18] 625*2^623167-1 is not prime. Res64: 1C552040693902FD Time : 41751.0 sec. user=vaughan [2009-02-28 09:12:35] 783*2^623188-1 is not prime. Res64: 46F32F59E1B20252 Time : 31807.0 sec. user=vaughan [2009-02-28 09:14:36] 633*2^623168-1 is not prime. Res64: B6D7015CD6D75F3B Time : 41753.0 sec. user=vaughan [2009-02-28 09:18:08] 645*2^623189-1 is not prime. Res64: DC16A2278F8CEF37 Time : 31808.0 sec. user=vaughan [2009-02-28 09:20:46] 651*2^623006-1 is not prime. Res64: 94987D623A1DCEDF Time : 140994.0 sec. user=vaughan [2009-02-28 09:21:56] 781*2^623073-1 is not prime. Res64: 78C0EB04DF8D57BC Time : 115831.0 sec. user=vaughan [2009-02-28 09:22:04] 735*2^623168-1 is not prime. Res64: 9EA090440E5F6480 Time : 41758.0 sec. user=vaughan [2009-02-28 09:23:38] 759*2^623189-1 is not prime. Res64: 06B78EB37B8BD67D Time : 31808.0 sec. user=vaughan [2009-02-28 09:29:06] 651*2^623190-1 is not prime. Res64: 62ADA3D44AD14B70 Time : 31807.0 sec. user=vaughan [2009-02-28 09:29:30] 609*2^623169-1 is not prime. Res64: 246D0E118EA10761 Time : 41761.0 sec. user=vaughan [2009-02-28 09:34:35] 713*2^623190-1 is not prime. Res64: 772391E3B877DEA8 Time : 31804.0 sec. user=vaughan [2009-02-28 09:37:06] 727*2^623169-1 is not prime. Res64: A3F82EF499A95912 Time : 41753.0 sec. user=vaughan [2009-02-28 09:40:11] 761*2^623190-1 is not prime. Res64: 3E090AA395EB0C2F Time : 31811.0 sec. user=vaughan [2009-02-28 09:44:21] 705*2^623076-1 is not prime. Res64: 57A6589C13D17F2B Time : 115774.0 sec. user=vaughan [2009-02-28 09:44:24] 795*2^623169-1 is not prime. Res64: 220130A498B084CF Time : 41751.0 sec. user=vaughan [2009-02-28 09:45:36] 645*2^623191-1 is not prime. Res64: 98220FAAD54EAE16 Time : 31805.0 sec. user=vaughan [2009-02-28 09:49:12] 665*2^623010-1 is not prime. Res64: B27C460F4F17259D Time : 141364.0 sec. user=vaughan [2009-02-28 09:51:06] 759*2^623192-1 is not prime. Res64: 08F0D2B51A51F7A5 Time : 31803.0 sec. user=vaughan [2009-02-28 09:51:44] 777*2^623170-1 is not prime. Res64: 5201D27EACF2F615 Time : 41761.0 sec. user=vaughan [2009-02-28 09:56:37] 797*2^623192-1 is not prime. Res64: 83682338AF459700 Time : 31806.0 sec. user=vaughan [2009-02-28 09:59:07] 695*2^623172-1 is not prime. Res64: 208961561771CAAB Time : 41768.0 sec. user=vaughan [2009-02-28 10:02:07] 765*2^623193-1 is not prime. Res64: AB09C7F2D0DF481B Time : 31825.0 sec. user=vaughan [2009-02-28 10:06:22] 777*2^623172-1 is not prime. Res64: 7501E256B86EE8DD Time : 41740.0 sec. user=vaughan [2009-02-28 10:06:51] 759*2^623077-1 is not prime. Res64: A36F12284577B0E4 Time : 115735.0 sec. user=vaughan [2009-02-28 10:07:36] 657*2^623194-1 is not prime. Res64: 5E762B674009040B Time : 31836.0 sec. user=vaughan [2009-02-28 10:13:06] 705*2^623194-1 is not prime. Res64: 2892B5C3EE6C14F8 Time : 31860.0 sec. user=vaughan [2009-02-28 10:13:48] 715*2^623173-1 is not prime. Res64: 11349EA103486251 Time : 41754.0 sec. user=vaughan [2009-02-28 10:16:14] 749*2^623012-1 is not prime. Res64: 0D04057B0C03FE61 Time : 141638.0 sec. user=vaughan [2009-02-28 10:18:36] 663*2^623195-1 is not prime. Res64: A38450186AF560F0 Time : 31876.0 sec. user=vaughan [2009-02-28 10:21:09] 649*2^623175-1 is not prime. Res64: 697D1F747BD7A702 Time : 41759.0 sec. user=vaughan [2009-02-28 10:24:07] 695*2^623196-1 is not prime. Res64: F120408173DE4D35 Time : 31897.0 sec. user=vaughan [2009-02-28 10:28:31] 691*2^623175-1 is not prime. Res64: A0A14D31A9BACD7B Time : 41764.0 sec. user=vaughan [2009-02-28 10:29:22] 713*2^623080-1 is not prime. Res64: 43E522FB43F0F5E7 Time : 115670.0 sec. user=vaughan [2009-02-28 10:29:38] 729*2^623197-1 is not prime. Res64: AD74C5FBC0306865 Time : 31916.0 sec. user=vaughan [2009-02-28 10:35:07] 623*2^623198-1 is not prime. Res64: 78C56738F86A9B3C Time : 31928.0 sec. user=vaughan [2009-02-28 10:36:12] 609*2^623176-1 is not prime. Res64: B87D65B4CE002CB4 Time : 41795.0 sec. user=vaughan [2009-02-28 10:40:38] 687*2^623198-1 is not prime. Res64: B15E2DF5052DA202 Time : 31950.0 sec. user=vaughan [2009-02-28 10:43:02] 673*2^623015-1 is not prime. Res64: B689A4A08D7C9DCE Time : 141913.0 sec. user=vaughan [2009-02-28 10:43:43] 769*2^623177-1 is not prime. Res64: 2A56D3AFAFFB510E Time : 41812.0 sec. user=vaughan [2009-02-28 10:46:08] 707*2^623198-1 is not prime. Res64: 3D00798C8464E48D Time : 31965.0 sec. user=vaughan [2009-02-28 10:51:13] 621*2^623178-1 is not prime. Res64: C356F815455B0604 Time : 41831.0 sec. user=vaughan [2009-02-28 10:51:37] 615*2^623199-1 is not prime. Res64: F75BE831A9DDFB99 Time : 31985.0 sec. user=vaughan [2009-02-28 10:51:47] 665*2^623082-1 is not prime. Res64: BF013532FA4EF396 Time : 115628.0 sec. user=vaughan [2009-02-28 10:57:12] 705*2^623199-1 is not prime. Res64: F2C7A7B8909E7400 Time : 32007.0 sec. user=vaughan [2009-02-28 10:58:42] 609*2^623179-1 is not prime. Res64: B46C7D3120B4E7A2 Time : 41853.0 sec. user=vaughan [2009-02-28 11:02:40] 775*2^623199-1 is not prime. Res64: A536C54B6A666585 Time : 32024.0 sec. user=vaughan [2009-02-28 11:06:05] 777*2^623180-1 is not prime. Res64: D4E594AE4F2539C8 Time : 41846.0 sec. user=vaughan [2009-02-28 11:08:10] 695*2^623200-1 is not prime. Res64: 2D52A2710B368D02 Time : 32042.0 sec. user=vaughan [2009-02-28 11:11:52] 685*2^623041-1 is not prime. Res64: FEAB7FF4C8A90F66 Time : 142382.0 sec. user=vaughan [2009-02-28 11:13:19] 765*2^623182-1 is not prime. Res64: 4FC3C3BB5F4C3B53 Time : 41842.0 sec. user=vaughan [2009-02-28 11:13:41] 615*2^623201-1 is not prime. Res64: 823F854ECA9BDE2D Time : 32062.0 sec. user=vaughan [2009-02-28 11:14:20] 769*2^623083-1 is not prime. Res64: 7F49AED0C65C5B33 Time : 115591.0 sec. user=vaughan [2009-02-28 11:19:15] 715*2^623201-1 is not prime. Res64: 57F5F2D108CED54D Time : 32085.0 sec. user=vaughan [2009-02-28 11:20:51] 741*2^623183-1 is not prime. Res64: 9FF3A88F1352B7D9 Time : 41864.0 sec. user=vaughan [2009-02-28 11:24:44] 769*2^623201-1 is not prime. Res64: 382CC126D2360FA5 Time : 32099.0 sec. user=vaughan [2009-02-28 11:28:24] 765*2^623184-1 is not prime. Res64: D660A2E834EBA87D Time : 41887.0 sec. user=vaughan [2009-02-28 11:30:12] 777*2^623201-1 is not prime. Res64: 44C84AB6B2DADBAA Time : 32119.0 sec. user=vaughan [2009-02-28 11:35:46] 653*2^623202-1 is not prime. Res64: A78ACE2859957B98 Time : 32140.0 sec. user=vaughan [2009-02-28 11:35:58] 641*2^623186-1 is not prime. Res64: 8D77CFC2F4A7C35F Time : 41913.0 sec. user=vaughan [2009-02-28 11:36:45] 727*2^623085-1 is not prime. Res64: 7CD4DF9C7D81E614 Time : 115421.0 sec. user=vaughan [2009-02-28 11:40:02] 629*2^623044-1 is not prime. Res64: AE66ACD242C4D320 Time : 142697.0 sec. user=vaughan [2009-02-28 11:41:13] 755*2^623202-1 is not prime. Res64: 7ECAD592B4DD9161 Time : 32155.0 sec. user=vaughan [2009-02-28 11:43:42] 711*2^623187-1 is not prime. Res64: C637BB2D82757BBA Time : 41944.0 sec. user=vaughan [2009-02-28 11:46:45] 673*2^623203-1 is not prime. Res64: EE0B5C2EE463F9AC Time : 32175.0 sec. user=vaughan [2009-02-28 11:51:12] 781*2^623187-1 is not prime. Res64: 16DF7F7E3D898241 Time : 41941.0 sec. user=vaughan [2009-02-28 11:52:16] 605*2^623204-1 is not prime. Res64: 28245BF765F5A222 Time : 32192.0 sec. user=vaughan [2009-02-28 11:57:49] 707*2^623204-1 is not prime. Res64: 1FA9AE2956FF6786 Time : 32214.0 sec. user=vaughan [2009-02-28 11:58:49] 743*2^623188-1 is not prime. Res64: 88C11FF9AE30865D Time : 41953.0 sec. user=vaughan [2009-02-28 11:59:15] 723*2^623086-1 is not prime. Res64: 8879B5AAE3C12BD3 Time : 115379.0 sec. user=vaughan [2009-02-28 12:03:22] 627*2^623205-1 is not prime. Res64: 5F15B0A2CC105954 Time : 32236.0 sec. user=vaughan [2009-02-28 12:06:07] 797*2^623188-1 is not prime. Res64: 9989C55D041F42B2 Time : 41967.0 sec. user=vaughan [2009-02-28 12:08:51] 677*2^623206-1 is not prime. Res64: 28D71729ECA7D0FB Time : 32254.0 sec. user=vaughan [2009-02-28 12:08:52] 799*2^623045-1 is not prime. Res64: 47B47A601E20F1F1 Time : 143129.0 sec. user=vaughan [2009-02-28 12:13:32] 775*2^623189-1 is not prime. Res64: EDAC8356D1E23647 Time : 41986.0 sec. user=vaughan [2009-02-28 12:14:20] 663*2^623207-1 is not prime. Res64: 0F8B9CA294658EDE Time : 32272.0 sec. user=vaughan [2009-02-28 12:19:50] 685*2^623207-1 is not prime. Res64: E18DE2177AA763F1 Time : 32288.0 sec. user=vaughan [2009-02-28 12:21:03] 681*2^623190-1 is not prime. Res64: 349A45CC812C6592 Time : 42038.0 sec. user=vaughan [2009-02-28 12:21:43] 725*2^623088-1 is not prime. Res64: CBEF5807CF6B2E71 Time : 115307.0 sec. user=vaughan [2009-02-28 12:25:20] 715*2^623207-1 is not prime. Res64: 93838CF29211AAE8 Time : 32306.0 sec. user=vaughan [2009-02-28 12:28:31] 741*2^623190-1 is not prime. Res64: 732D50F2E8BBAB8D Time : 42093.0 sec. user=vaughan [2009-02-28 12:30:37] 657*2^623208-1 is not prime. Res64: 216EAFF6E25D3525 Time : 32312.0 sec. user=vaughan [2009-02-28 12:35:52] 603*2^623191-1 is not prime. Res64: 808F18E440FBA89A Time : 42137.0 sec. user=vaughan [2009-02-28 12:35:56] 669*2^623208-1 is not prime. Res64: A61AD27C78054754 Time : 32320.0 sec. user=vaughan [2009-02-28 12:37:42] 683*2^623048-1 is not prime. Res64: 939A4477106359FC Time : 143508.0 sec. user=vaughan [2009-02-28 12:41:13] 747*2^623208-1 is not prime. Res64: B122C16A21CAED53 Time : 32325.0 sec. user=vaughan [2009-02-28 12:43:01] 755*2^623192-1 is not prime. Res64: 74E85F22B7BFD6B4 Time : 42172.0 sec. user=vaughan [2009-02-28 12:44:15] 765*2^623089-1 is not prime. Res64: 880F449C3B2082E6 Time : 115278.0 sec. user=vaughan [2009-02-28 12:46:31] 675*2^623209-1 is not prime. Res64: 19A97840313C9347 Time : 32331.0 sec. user=vaughan [2009-02-28 12:50:24] 627*2^623193-1 is not prime. Res64: 3D8B4C2AFE64C47A Time : 42200.0 sec. user=vaughan [2009-02-28 12:51:48] 681*2^623209-1 is not prime. Res64: 031107754A8E0FED Time : 32336.0 sec. user=vaughan [2009-02-28 12:57:09] 771*2^623209-1 is not prime. Res64: 61B9B57ECA7787AC Time : 32344.0 sec. user=vaughan [2009-02-28 12:57:50] 651*2^623194-1 is not prime. Res64: E9E89749230C70DA Time : 42246.0 sec. user=vaughan [2009-02-28 13:02:24] 651*2^623210-1 is not prime. Res64: DF78BEAE8C2AFBD1 Time : 32347.0 sec. user=vaughan [2009-02-28 13:05:15] 663*2^623194-1 is not prime. Res64: E8CF2E3EA07A373D Time : 42291.0 sec. user=vaughan [2009-02-28 13:06:37] 695*2^623050-1 is not prime. Res64: 7D430E106261AE83 Time : 143896.0 sec. user=vaughan [2009-02-28 13:06:46] 767*2^623256-1 is not prime. Res64: 80F95B662F191F02 Time : 1352.0 sec. user=vaughan [2009-02-28 13:07:45] 735*2^623210-1 is not prime. Res64: 2975428A23C3F88B Time : 32357.0 sec. user=vaughan [2009-02-28 13:12:42] 747*2^623194-1 is not prime. Res64: 06F3A200CA9470FD Time : 42342.0 sec. user=vaughan [2009-02-28 13:13:06] 635*2^623212-1 is not prime. Res64: C2A650DC23909C81 Time : 32366.0 sec. user=vaughan [2009-02-28 13:18:22] 693*2^623212-1 is not prime. Res64: 0C0D796A7A0A48FD Time : 32371.0 sec. user=vaughan [2009-02-28 13:20:05] 717*2^623196-1 is not prime. Res64: BA41FA05FE8E44A1 Time : 42392.0 sec. user=vaughan [2009-02-28 13:23:39] 765*2^623212-1 is not prime. Res64: BB8EE90C13E1AC0A Time : 32376.0 sec. user=vaughan [2009-02-28 13:27:46] 757*2^623197-1 is not prime. Res64: 6E605AC184B876CB Time : 42446.0 sec. user=vaughan [2009-02-28 13:29:01] 797*2^623212-1 is not prime. Res64: 544CBE439DEA213D Time : 32387.0 sec. user=vaughan [2009-02-28 13:29:18] 645*2^623258-1 is not prime. Res64: FAD8E4FD921715C1 Time : 1353.0 sec. user=vaughan [2009-02-28 13:34:19] 795*2^623213-1 is not prime. Res64: 217649711139AFEC Time : 32392.0 sec. user=vaughan [2009-02-28 13:34:52] 639*2^623052-1 is not prime. Res64: 27A858048DA6285E Time : 144239.0 sec. user=vaughan [2009-02-28 13:34:58] 641*2^623198-1 is not prime. Res64: 1724B3B620660022 Time : 42440.0 sec. user=vaughan [2009-02-28 13:39:34] 737*2^623214-1 is not prime. Res64: 1F319890686F1C83 Time : 32394.0 sec. user=vaughan [2009-02-28 13:42:10] 613*2^623199-1 is not prime. Res64: A46FFD92C39773E8 Time : 42431.0 sec. user=vaughan [2009-02-28 13:44:53] 783*2^623214-1 is not prime. Res64: 9AF25648AC27E1B0 Time : 32402.0 sec. user=vaughan [2009-02-28 13:49:24] 663*2^623199-1 is not prime. Res64: 25E5D159D91F1E40 Time : 42454.0 sec. user=vaughan [2009-02-28 13:50:16] 663*2^623215-1 is not prime. Res64: 300A5B4A9E005020 Time : 32414.0 sec. user=vaughan [2009-02-28 13:51:49] 755*2^623260-1 is not prime. Res64: CA10C4D141BC44BA Time : 1352.0 sec. user=vaughan [2009-02-28 13:55:31] 741*2^623215-1 is not prime. Res64: 662517231D927747 Time : 32411.0 sec. user=vaughan [2009-02-28 13:56:43] 723*2^623199-1 is not prime. Res64: 452341F1C84C9968 Time : 42484.0 sec. user=vaughan [2009-02-28 14:00:49] 603*2^623216-1 is not prime. Res64: 2D2D5CA7356FCFFC Time : 32416.0 sec. user=vaughan [2009-02-28 14:03:14] 747*2^623053-1 is not prime. Res64: 35D9F1F78C1B968A Time : 144872.0 sec. user=vaughan [2009-02-28 14:04:10] 717*2^623200-1 is not prime. Res64: 7365171C0E659255 Time : 42524.0 sec. user=vaughan [2009-02-28 14:06:07] 789*2^623216-1 is not prime. Res64: FE5EC82EAD439CA4 Time : 32413.0 sec. user=vaughan [2009-02-28 14:11:18] 711*2^623201-1 is not prime. Res64: 98F02248A614B030 Time : 42552.0 sec. user=vaughan [2009-02-28 14:11:27] 777*2^623217-1 is not prime. Res64: 87E14DEDF49E1D35 Time : 32412.0 sec. user=vaughan [2009-02-28 14:14:20] 747*2^623261-1 is not prime. Res64: BF99614FFA57D14F Time : 1351.0 sec. user=vaughan [2009-02-28 14:16:44] 681*2^623218-1 is not prime. Res64: 20DB93A33802BEE9 Time : 32411.0 sec. user=vaughan [2009-02-28 14:18:10] 747*2^623201-1 is not prime. Res64: 6978C27C649D8C19 Time : 42553.0 sec. user=vaughan [2009-02-28 14:22:03] 777*2^623218-1 is not prime. Res64: F3AEE67D93A4E54A Time : 32410.0 sec. user=vaughan [2009-02-28 14:24:56] 633*2^623202-1 is not prime. Res64: 9FE70035909CE7F9 Time : 42571.0 sec. user=vaughan [2009-02-28 14:27:28] 631*2^623219-1 is not prime. Res64: 7C79C8D6DE0AEAB6 Time : 32416.0 sec. user=vaughan [2009-02-28 14:31:37] 717*2^623202-1 is not prime. Res64: FEB91BFE5F839606 Time : 42543.0 sec. user=vaughan [2009-02-28 14:32:40] 705*2^623219-1 is not prime. Res64: 05E9631AA166C71E Time : 32409.0 sec. user=vaughan [2009-02-28 14:34:13] 675*2^623056-1 is not prime. Res64: 674A8C2D7AF8AFE4 Time : 145455.0 sec. user=vaughan [2009-02-28 14:36:53] 705*2^623263-1 is not prime. Res64: 0B93E014D951A681 Time : 1353.0 sec. user=vaughan [2009-02-28 14:38:05] 669*2^623220-1 is not prime. Res64: 2169CFA8A7EDC7FB Time : 32416.0 sec. user=vaughan [2009-02-28 14:38:20] 621*2^623203-1 is not prime. Res64: C04804C5B8DEEE4D Time : 42511.0 sec. user=vaughan [2009-02-28 14:43:25] 725*2^623220-1 is not prime. Res64: 8F863180D9BEC3D7 Time : 32416.0 sec. user=vaughan [2009-02-28 14:44:56] 617*2^623204-1 is not prime. Res64: 4986B86E3E26C4DE Time : 42470.0 sec. user=vaughan [2009-02-28 14:48:45] 691*2^623221-1 is not prime. Res64: 2F8F64D72DE54C66 Time : 32420.0 sec. user=vaughan [2009-02-28 14:52:01] 767*2^623204-1 is not prime. Res64: 921B02D08AD33B4B Time : 42474.0 sec. user=vaughan [2009-02-28 14:54:05] 741*2^623221-1 is not prime. Res64: 983309E8B13E75C5 Time : 32414.0 sec. user=vaughan [2009-02-28 14:58:32] 787*2^623205-1 is not prime. Res64: B197775FC54FD43B Time : 42446.0 sec. user=vaughan [2009-02-28 14:59:22] 711*2^623222-1 is not prime. Res64: 790304D288833A2C Time : 32420.0 sec. user=vaughan [2009-02-28 14:59:23] 689*2^623264-1 is not prime. Res64: 6C2BEECF00F2A992 Time : 1351.0 sec. user=vaughan [2009-02-28 15:03:11] 777*2^623058-1 is not prime. Res64: 3F50F9B17286DC43 Time : 145916.0 sec. user=vaughan [2009-02-28 15:04:42] 747*2^622656-1 is not prime. Res64: 93A52390913072CA Time : 32420.0 sec. user=vaughan [2009-02-28 15:05:25] 675*2^623207-1 is not prime. Res64: AE626A2B02A36E75 Time : 42437.0 sec. user=vaughan [2009-02-28 15:10:00] 739*2^623223-1 is not prime. Res64: B5735C163F5D39CB Time : 32420.0 sec. user=vaughan [2009-02-28 15:12:21] 711*2^623207-1 is not prime. Res64: 4B006054A737652D Time : 42456.0 sec. user=vaughan [2009-02-28 15:15:19] 705*2^623224-1 is not prime. Res64: E370537E82322BFE Time : 32419.0 sec. user=vaughan [2009-02-28 15:19:34] 735*2^623207-1 is not prime. Res64: F969D2743077CFA4 Time : 42494.0 sec. user=vaughan [2009-02-28 15:20:37] 717*2^623224-1 is not prime. Res64: 55150B1EEF5620D6 Time : 32417.0 sec. user=vaughan [2009-02-28 15:21:53] 783*2^623268-1 is not prime. Res64: 417D75668A2360B2 Time : 1351.0 sec. user=vaughan [2009-02-28 15:25:59] 723*2^623224-1 is not prime. Res64: 6CB1705777D8226B Time : 32423.0 sec. user=vaughan [2009-02-28 15:26:45] 705*2^623208-1 is not prime. Res64: 8F76A0D3AFB57081 Time : 42537.0 sec. user=vaughan [2009-02-28 15:30:22] 649*2^623061-1 is not prime. Res64: 91BA4462D51DEB47 Time : 146130.0 sec. user=vaughan [2009-02-28 15:31:22] 691*2^623225-1 is not prime. Res64: 93FC7479157C32EA Time : 32428.0 sec. user=vaughan [2009-02-28 15:33:56] 639*2^623209-1 is not prime. Res64: F7EF3E395930DBC9 Time : 42576.0 sec. user=vaughan [2009-02-28 15:36:30] 777*2^623225-1 is not prime. Res64: 846DEAA3291E5F48 Time : 32418.0 sec. user=vaughan [2009-02-28 15:41:15] 679*2^623209-1 is not prime. Res64: E32C5BFAAF63CD5E Time : 42624.0 sec. user=vaughan [2009-02-28 15:41:44] 609*2^622663-1 is not prime. Res64: 443F403D2171453B Time : 32413.0 sec. user=vaughan [2009-02-28 15:44:25] 717*2^623270-1 is not prime. Res64: 1091534BB2088D41 Time : 1352.0 sec. user=vaughan [2009-02-28 15:46:54] 741*2^622663-1 is not prime. Res64: 965B15C64595F182 Time : 32406.0 sec. user=vaughan [2009-02-28 15:48:32] 741*2^623209-1 is not prime. Res64: E2ED2A5AF462417E Time : 42671.0 sec. user=vaughan [2009-02-28 15:52:09] 799*2^623225-1 is not prime. Res64: 73A9CEB4AA18391F Time : 32400.0 sec. user=vaughan [2009-02-28 15:55:45] 665*2^623210-1 is not prime. Res64: DB47C5E3238A9BDB Time : 42716.0 sec. user=vaughan [2009-02-28 15:57:17] 619*2^623227-1 is not prime. Res64: 459703A312403FE0 Time : 32388.0 sec. user=vaughan [2009-02-28 15:57:40] 705*2^623062-1 is not prime. Res64: A5F780C8EF4F606F Time : 146586.0 sec. user=vaughan [2009-02-28 16:02:29] 633*2^622666-1 is not prime. Res64: 559DC2FE6C8477BB Time : 32387.0 sec. user=vaughan [2009-02-28 16:03:02] 705*2^623211-1 is not prime. Res64: 67E04DAED6332D35 Time : 42768.0 sec. user=vaughan [2009-02-28 16:06:57] 653*2^623272-1 is not prime. Res64: C63757B8C5EACFA1 Time : 1352.0 sec. user=vaughan [2009-02-28 16:07:42] 669*2^622667-1 is not prime. Res64: 8A7712EA3ECCAE03 Time : 32378.0 sec. user=vaughan [2009-02-28 16:10:13] 675*2^623212-1 is not prime. Res64: 257AE8297FBD12BF Time : 42814.0 sec. user=vaughan [2009-02-28 16:12:56] 699*2^623227-1 is not prime. Res64: B2C522323BCEDD2F Time : 32374.0 sec. user=vaughan [2009-02-28 16:17:23] 735*2^623212-1 is not prime. Res64: F59163941F12C941 Time : 42859.0 sec. user=vaughan [2009-02-28 16:18:06] 783*2^622668-1 is not prime. Res64: 02137DF6F4C16658 Time : 32369.0 sec. user=vaughan [2009-02-28 16:23:18] 609*2^622669-1 is not prime. Res64: 0C7A96110D3FC69D Time : 32362.0 sec. user=vaughan [2009-02-28 16:24:16] 693*2^623064-1 is not prime. Res64: 8AF295189B80690C Time : 146925.0 sec. user=vaughan [2009-02-28 16:24:31] 729*2^623213-1 is not prime. Res64: C194F1908B0A65F9 Time : 42898.0 sec. user=vaughan [2009-02-28 16:28:27] 649*2^622671-1 is not prime. Res64: B8238E2F2CEFEB91 Time : 32354.0 sec. user=vaughan [2009-02-28 16:29:31] 775*2^623273-1 is not prime. Res64: 2DD9317A242D8E09 Time : 1354.0 sec. user=vaughan [2009-02-28 16:31:28] 621*2^623214-1 is not prime. Res64: 113653FA8456A8CE Time : 42929.0 sec. user=vaughan [2009-02-28 16:33:40] 707*2^623228-1 is not prime. Res64: DA137AC44302488C Time : 32349.0 sec. user=vaughan [2009-02-28 16:38:30] 747*2^623214-1 is not prime. Res64: E61B178F96946EE0 Time : 42966.0 sec. user=vaughan [2009-02-28 16:38:53] 773*2^623228-1 is not prime. Res64: 1F1AEED0DA0987B3 Time : 32342.0 sec. user=vaughan [2009-02-28 16:44:06] 685*2^622675-1 is not prime. Res64: 41A73BCF2DBC973A Time : 32338.0 sec. user=vaughan [2009-02-28 16:45:30] 633*2^623215-1 is not prime. Res64: 1E0108EAE07E3485 Time : 43000.0 sec. user=vaughan [2009-02-28 16:49:19] 777*2^623228-1 is not prime. Res64: 54683C5F9C2F6686 Time : 32331.0 sec. user=vaughan [2009-02-28 16:52:07] 735*2^623275-1 is not prime. Res64: 487F68D63F4678BF Time : 1356.0 sec. user=vaughan [2009-02-28 16:52:27] 759*2^623215-1 is not prime. Res64: 69897DCA6419341E Time : 43027.0 sec. user=vaughan [2009-02-28 16:53:00] 771*2^623065-1 is not prime. Res64: 04EB0BDFCAC36997 Time : 147372.0 sec. user=vaughan [2009-02-28 16:54:28] 609*2^623229-1 is not prime. Res64: 8CC4C6DD2155BFDF Time : 32324.0 sec. user=vaughan [2009-02-28 16:59:31] 683*2^623216-1 is not prime. Res64: 6D2971398F92FCCE Time : 43072.0 sec. user=vaughan [2009-02-28 16:59:42] 795*2^622677-1 is not prime. Res64: 842C758828B8EA80 Time : 32318.0 sec. user=vaughan [2009-02-28 17:04:53] 655*2^623229-1 is not prime. Res64: 8220D29B98FC95D6 Time : 32299.0 sec. user=vaughan [2009-02-28 17:06:31] 609*2^623217-1 is not prime. Res64: 84A235A54EA0A6C9 Time : 43107.0 sec. user=vaughan [2009-02-28 17:10:10] 729*2^622679-1 is not prime. Res64: 82D991619C4EF428 Time : 32285.0 sec. user=vaughan [2009-02-28 17:13:25] 647*2^623218-1 is not prime. Res64: FF1A5AE823698213 Time : 43136.0 sec. user=vaughan [2009-02-28 17:14:39] 755*2^623278-1 is not prime. Res64: 0ECC70F15512374E Time : 1354.0 sec. user=vaughan [2009-02-28 17:15:16] 627*2^622680-1 is not prime. Res64: 99F59A174A2D8500 Time : 32259.0 sec. user=vaughan [2009-02-28 17:20:17] 687*2^623218-1 is not prime. Res64: 91238877644B7789 Time : 43162.0 sec. user=vaughan [2009-02-28 17:20:27] 747*2^623229-1 is not prime. Res64: 387377A56F494AC5 Time : 32245.0 sec. user=vaughan [2009-02-28 17:21:19] 657*2^623068-1 is not prime. Res64: 8021548912D8160A Time : 147844.0 sec. user=vaughan [2009-02-28 17:25:40] 601*2^622681-1 is not prime. Res64: D256E4CC475767D4 Time : 32228.0 sec. user=vaughan [2009-02-28 17:27:22] 655*2^623219-1 is not prime. Res64: 6BC3E9D7E92FA222 Time : 43195.0 sec. user=vaughan [2009-02-28 17:30:55] 671*2^622682-1 is not prime. Res64: CCA88E51C571A0EC Time : 32212.0 sec. user=vaughan [2009-02-28 17:34:17] 745*2^623219-1 is not prime. Res64: 4B9CA7CB6053F924 Time : 43207.0 sec. user=vaughan [2009-02-28 17:36:04] 695*2^623230-1 is not prime. Res64: DD1DEFF3F1294716 Time : 32191.0 sec. user=vaughan [2009-02-28 17:37:11] 725*2^623280-1 is not prime. Res64: FA794C253B9DD0CC Time : 1353.0 sec. user=vaughan [2009-02-28 17:41:11] 693*2^623220-1 is not prime. Res64: 5A08E9E1D7D98DBB Time : 43227.0 sec. user=vaughan [2009-02-28 17:41:17] 743*2^622684-1 is not prime. Res64: 265DF3A0A5B11F33 Time : 32172.0 sec. user=vaughan [2009-02-28 17:46:29] 731*2^623230-1 is not prime. Res64: 54FB23F4C0CB5948 Time : 32155.0 sec. user=vaughan [2009-02-28 17:48:02] 765*2^623220-1 is not prime. Res64: 83483BC70F870EA3 Time : 43249.0 sec. user=vaughan [2009-02-28 17:51:09] 745*2^623069-1 is not prime. Res64: 975C554152BCA7B5 Time : 148517.0 sec. user=vaughan [2009-02-28 17:51:40] 755*2^622686-1 is not prime. Res64: F655F3502BAB0ABE Time : 32133.0 sec. user=vaughan [2009-02-28 17:55:00] 615*2^623222-1 is not prime. Res64: 1BC0B11E52230457 Time : 43265.0 sec. user=vaughan [2009-02-28 17:56:58] 765*2^623230-1 is not prime. Res64: 687DD62101EDEF5B Time : 32120.0 sec. user=vaughan [2009-02-28 17:59:41] 669*2^623283-1 is not prime. Res64: A57BAE15A5B10738 Time : 1350.0 sec. user=vaughan [2009-02-28 18:02:03] 615*2^623231-1 is not prime. Res64: ECFC795DB8B9A9EC Time : 32098.0 sec. user=vaughan [2009-02-28 18:02:43] 743*2^623222-1 is not prime. Res64: 0FECE676BB9CB653 Time : 43338.0 sec. user=vaughan [2009-02-28 18:07:14] 735*2^623231-1 is not prime. Res64: 7D3A4E9FB6A1FEC2 Time : 32079.0 sec. user=vaughan [2009-02-28 18:12:30] 695*2^623232-1 is not prime. Res64: 63B8D16783A0B290 Time : 32063.0 sec. user=vaughan [2009-02-28 18:14:27] 703*2^623223-1 is not prime. Res64: CCDC220768F5B1A6 Time : 43637.0 sec. user=vaughan [2009-02-28 18:17:40] 615*2^623233-1 is not prime. Res64: F6B673AC6A34384E Time : 32043.0 sec. user=vaughan [2009-02-28 18:19:47] 693*2^623072-1 is not prime. Res64: 9778102839A416C5 Time : 148924.0 sec. user=vaughan [2009-02-28 18:22:12] 729*2^623285-1 is not prime. Res64: 8FF34FF9824FBEDE Time : 1351.0 sec. user=vaughan [2009-02-28 18:22:54] 665*2^623234-1 is not prime. Res64: 0F77C9D83C448F1F Time : 32029.0 sec. user=vaughan [2009-02-28 18:24:54] 635*2^623224-1 is not prime. Res64: B4B907D08B3B7C90 Time : 43859.0 sec. user=vaughan [2009-02-28 18:28:05] 613*2^623235-1 is not prime. Res64: BAC4CB03A620023A Time : 32010.0 sec. user=vaughan [2009-02-28 18:32:21] 685*2^622659-1 is not prime. Res64: DCCC60711A91199F Time : 43869.0 sec. user=vaughan [2009-02-28 18:33:17] 741*2^623235-1 is not prime. Res64: A154804C5DA98C68 Time : 31987.0 sec. user=vaughan [2009-02-28 18:38:30] 677*2^623236-1 is not prime. Res64: 88E4917C4C55CE7F Time : 31974.0 sec. user=vaughan [2009-02-28 18:39:55] 651*2^623225-1 is not prime. Res64: BE28203694EA7AE3 Time : 43888.0 sec. user=vaughan [2009-02-28 18:43:41] 773*2^623236-1 is not prime. Res64: C6D04E9BCDD6E446 Time : 31956.0 sec. user=vaughan [2009-02-28 18:44:43] 635*2^623288-1 is not prime. Res64: B81C39B7CC3C42FB Time : 1351.0 sec. user=vaughan [2009-02-28 18:47:23] 721*2^623225-1 is not prime. Res64: 4B011602255212FC Time : 43902.0 sec. user=vaughan [2009-02-28 18:47:31] 789*2^623073-1 is not prime. Res64: 69AAF013FBC3DFF7 Time : 149520.0 sec. user=vaughan [2009-02-28 18:48:57] 691*2^623237-1 is not prime. Res64: 175732D54BF8C64A Time : 31940.0 sec. user=vaughan [2009-02-28 18:54:07] 727*2^623237-1 is not prime. Res64: BAA5C5D7EB6F92E8 Time : 31921.0 sec. user=vaughan [2009-02-28 18:54:50] 787*2^623225-1 is not prime. Res64: 503A4E0E02CDAACE Time : 43913.0 sec. user=vaughan [2009-02-28 18:59:20] 683*2^623238-1 is not prime. Res64: 395016444D143D7D Time : 31904.0 sec. user=vaughan [2009-02-28 19:02:24] 789*2^622663-1 is not prime. Res64: AA133379DFD56291 Time : 43950.0 sec. user=vaughan [2009-02-28 19:04:33] 711*2^623238-1 is not prime. Res64: A8501085AD8A3B9C Time : 31888.0 sec. user=vaughan [2009-02-28 19:07:15] 741*2^623289-1 is not prime. Res64: 61D325023DF3BCAD Time : 1352.0 sec. user=vaughan [2009-02-28 19:09:45] 707*2^623226-1 is not prime. Res64: EC6FF570668D3BDB Time : 43977.0 sec. user=vaughan [2009-02-28 19:09:46] 741*2^623239-1 is not prime. Res64: 03A4FB87728872A2 Time : 31870.0 sec. user=vaughan [2009-02-28 19:14:43] 675*2^623076-1 is not prime. Res64: 5B6DDC351EDE1AE5 Time : 150168.0 sec. user=vaughan [2009-02-28 19:14:57] 717*2^623240-1 is not prime. Res64: F96E1664F996855B Time : 31851.0 sec. user=vaughan [2009-02-28 19:17:11] 675*2^622666-1 is not prime. Res64: B8151A3CEA6B1D15 Time : 44009.0 sec. user=vaughan [2009-02-28 19:20:10] 705*2^623241-1 is not prime. Res64: 09A632924C0A8095 Time : 31832.0 sec. user=vaughan [2009-02-28 19:24:38] 625*2^623227-1 is not prime. Res64: F596EA8F6E7120EB Time : 44049.0 sec. user=vaughan [2009-02-28 19:25:23] 717*2^623241-1 is not prime. Res64: 062A813100D88604 Time : 31816.0 sec. user=vaughan [2009-02-28 19:29:54] 759*2^623292-1 is not prime. Res64: BE990FFED2105526 Time : 1359.0 sec. user=vaughan [2009-02-28 19:30:36] 603*2^623242-1 is not prime. Res64: 24E6451C114F58CB Time : 31799.0 sec. user=vaughan [2009-02-28 19:32:12] 735*2^622668-1 is not prime. Res64: D12D62E43C473A9F Time : 44081.0 sec. user=vaughan [2009-02-28 19:35:51] 735*2^623242-1 is not prime. Res64: 03CF7B927ADA6D09 Time : 31783.0 sec. user=vaughan [2009-02-28 19:39:28] 741*2^623227-1 is not prime. Res64: 624D8EFF7DC5DD0B Time : 44106.0 sec. user=vaughan [2009-02-28 19:41:01] 741*2^623242-1 is not prime. Res64: 5D228577F390F012 Time : 31765.0 sec. user=vaughan [2009-02-28 19:44:48] 619*2^623077-1 is not prime. Res64: FC5BF069BEF86FD4 Time : 150731.0 sec. user=vaughan [2009-02-28 19:46:12] 693*2^623243-1 is not prime. Res64: 58C42BE8712D17D6 Time : 31740.0 sec. user=vaughan [2009-02-28 19:46:41] 779*2^622672-1 is not prime. Res64: 37807EE339E58F15 Time : 44115.0 sec. user=vaughan [2009-02-28 19:51:24] 741*2^623243-1 is not prime. Res64: F2E9E05CFFD68A62 Time : 31725.0 sec. user=vaughan [2009-02-28 19:52:26] 735*2^623295-1 is not prime. Res64: D7451DC20B1BF54D Time : 1352.0 sec. user=vaughan [2009-02-28 19:53:54] 657*2^622674-1 is not prime. Res64: ADEC4816D5533EED Time : 44124.0 sec. user=vaughan [2009-02-28 19:56:39] 609*2^623244-1 is not prime. Res64: 52AE742EC69E0D76 Time : 31709.0 sec. user=vaughan [2009-02-28 20:01:01] 793*2^622675-1 is not prime. Res64: EA7E5711034C5338 Time : 44128.0 sec. user=vaughan [2009-02-28 20:01:50] 685*2^623245-1 is not prime. Res64: 86CFE18C9E78E98C Time : 31690.0 sec. user=vaughan [2009-02-28 20:07:04] 785*2^623246-1 is not prime. Res64: D3F5595C56E558F1 Time : 31669.0 sec. user=vaughan [2009-02-28 20:08:14] 797*2^623228-1 is not prime. Res64: 811CE92ED4E966C7 Time : 44126.0 sec. user=vaughan [2009-02-28 20:12:16] 781*2^623247-1 is not prime. Res64: 9899166C75DFB70E Time : 31652.0 sec. user=vaughan [2009-02-28 20:13:03] 741*2^623079-1 is not prime. Res64: C5366AE165DAA6DD Time : 151103.0 sec. user=vaughan [2009-02-28 20:14:57] 671*2^623298-1 is not prime. Res64: 635B3B9AB849DDBA Time : 1351.0 sec. user=vaughan [2009-02-28 20:15:23] 717*2^622677-1 is not prime. Res64: 1C9539E381F1C4C8 Time : 44108.0 sec. user=vaughan [2009-02-28 20:17:29] 713*2^623248-1 is not prime. Res64: 507C1FC686D27D07 Time : 31637.0 sec. user=vaughan [2009-02-28 20:22:34] 691*2^623229-1 is not prime. Res64: F70AABEC49A2C5DB Time : 44099.0 sec. user=vaughan [2009-02-28 20:22:39] 743*2^623248-1 is not prime. Res64: E241796494E5734E Time : 31613.0 sec. user=vaughan [2009-02-28 20:27:53] 721*2^623249-1 is not prime. Res64: 9226A4B2102B748D Time : 31601.0 sec. user=vaughan [2009-02-28 20:29:48] 789*2^622679-1 is not prime. Res64: 4B47D82994530A69 Time : 44088.0 sec. user=vaughan [2009-02-28 20:33:06] 789*2^623249-1 is not prime. Res64: 0618BFFF83E308AC Time : 31581.0 sec. user=vaughan [2009-02-28 20:37:08] 745*2^623229-1 is not prime. Res64: 8CAAEE118E3707B0 Time : 44075.0 sec. user=vaughan [2009-02-28 20:37:28] 705*2^623299-1 is not prime. Res64: E8A9863FF883C8C2 Time : 1351.0 sec. user=vaughan [2009-02-28 20:38:16] 651*2^623250-1 is not prime. Res64: B96FEFDCF7995536 Time : 31560.0 sec. user=vaughan [2009-02-28 20:43:12] 685*2^623081-1 is not prime. Res64: 451F3707F2E8D20E Time : 151722.0 sec. user=vaughan [2009-02-28 20:43:28] 603*2^623251-1 is not prime. Res64: F76FCA9C5EAF1A1D Time : 31539.0 sec. user=vaughan [2009-02-28 20:44:18] 691*2^622681-1 is not prime. Res64: 7292B88D0C577D4B Time : 44045.0 sec. user=vaughan [2009-02-28 20:48:42] 663*2^623251-1 is not prime. Res64: A6268A3FD93E5DE3 Time : 31520.0 sec. user=vaughan [2009-02-28 20:51:28] 663*2^623230-1 is not prime. Res64: 55AFE2783A811ACD Time : 44024.0 sec. user=vaughan [2009-02-28 20:53:56] 609*2^623252-1 is not prime. Res64: C3717597C2C69EE6 Time : 31506.0 sec. user=vaughan [2009-02-28 20:58:45] 605*2^622684-1 is not prime. Res64: A930BEA8D20B5A9E Time : 44023.0 sec. user=vaughan [2009-02-28 20:59:11] 611*2^623254-1 is not prime. Res64: 27D3EDE9E3233603 Time : 31491.0 sec. user=vaughan [2009-02-28 21:00:00] 647*2^623302-1 is not prime. Res64: BCC7EA0ED85E1938 Time : 1352.0 sec. user=vaughan [2009-02-28 21:04:22] 635*2^623254-1 is not prime. Res64: 80A1B2A16A2BA4A8 Time : 31472.0 sec. user=vaughan [2009-02-28 21:06:00] 741*2^623230-1 is not prime. Res64: FE080ECF4D316E3D Time : 44010.0 sec. user=vaughan [2009-02-28 21:09:35] 705*2^623254-1 is not prime. Res64: 63A219BA0FD29657 Time : 31457.0 sec. user=vaughan [2009-02-28 21:09:40] 639*2^623083-1 is not prime. Res64: DE4FC029B8343D82 Time : 152326.0 sec. user=vaughan [2009-02-28 21:13:22] 601*2^622687-1 is not prime. Res64: 58310ECC521651CD Time : 44013.0 sec. user=vaughan [2009-02-28 21:14:50] 771*2^623255-1 is not prime. Res64: 4CD809E3288ED7B2 Time : 31453.0 sec. user=vaughan [2009-02-28 21:20:01] 609*2^623256-1 is not prime. Res64: A95E165371AED3D1 Time : 31445.0 sec. user=vaughan [2009-02-28 21:20:42] 715*2^623231-1 is not prime. Res64: 40DF2E8EB834D423 Time : 44004.0 sec. user=vaughan [2009-02-28 21:22:31] 789*2^623304-1 is not prime. Res64: 2024A5BFBD142911 Time : 1352.0 sec. user=vaughan [2009-02-28 21:25:13] 689*2^623256-1 is not prime. Res64: 0B3134669CE0B77A Time : 31440.0 sec. user=vaughan [2009-02-28 21:27:57] 789*2^623231-1 is not prime. Res64: 04E9D9EA0696E79C Time : 44001.0 sec. user=vaughan [2009-02-28 21:30:25] 773*2^623256-1 is not prime. Res64: D2A48686D52E9F2F Time : 31434.0 sec. user=vaughan [2009-02-28 21:35:39] 607*2^623257-1 is not prime. Res64: BC7E0EDCAD18C743 Time : 31431.0 sec. user=vaughan [2009-02-28 21:35:42] 797*2^623232-1 is not prime. Res64: 80FE685CF9875B33 Time : 44019.0 sec. user=vaughan [2009-02-28 21:36:42] 663*2^623084-1 is not prime. Res64: 167E6ACF6DCBA217 Time : 152770.0 sec. user=vaughan [2009-02-28 21:40:54] 651*2^623257-1 is not prime. Res64: AFA9BCBECF2DCDD9 Time : 31425.0 sec. user=vaughan [2009-02-28 21:42:54] 717*2^623234-1 is not prime. Res64: 1F98612F1DAF5465 Time : 44004.0 sec. user=vaughan [2009-02-28 21:45:10] 629*2^623308-1 is not prime. Res64: 7250BD30428CAC38 Time : 1359.0 sec. user=vaughan [2009-02-28 21:46:03] 799*2^623257-1 is not prime. Res64: B08A32BFC8A1C652 Time : 31420.0 sec. user=vaughan [2009-02-28 21:50:14] 651*2^623235-1 is not prime. Res64: 68FE27ED62EFA839 Time : 43989.0 sec. user=vaughan [2009-02-28 21:51:18] 651*2^623258-1 is not prime. Res64: 84BA5B6758E9D2BF Time : 31413.0 sec. user=vaughan [2009-02-28 21:56:28] 773*2^623258-1 is not prime. Res64: 666B7A4D4333F0F4 Time : 31403.0 sec. user=vaughan [2009-02-28 21:57:29] 657*2^623236-1 is not prime. Res64: 39A1BB5A9EB5666F Time : 43986.0 sec. user=vaughan [2009-02-28 22:01:40] 741*2^623259-1 is not prime. Res64: E7184DCD6658C862 Time : 31398.0 sec. user=vaughan [2009-02-28 22:04:53] 615*2^623237-1 is not prime. Res64: FD5779833D602EA9 Time : 43989.0 sec. user=vaughan [2009-02-28 22:06:53] 665*2^623260-1 is not prime. Res64: 5F67C6A2566B95A0 Time : 31395.0 sec. user=vaughan [2009-02-28 22:07:42] 761*2^623310-1 is not prime. Res64: 21BAA859A3D70841 Time : 1354.0 sec. user=vaughan [2009-02-28 22:09:04] 611*2^623086-1 is not prime. Res64: 45D1DE6626BEB969 Time : 153242.0 sec. user=vaughan [2009-02-28 22:12:06] 717*2^623260-1 is not prime. Res64: 281634FF527F0C54 Time : 31386.0 sec. user=vaughan [2009-02-28 22:12:18] 717*2^623237-1 is not prime. Res64: 71B29C20DF292D55 Time : 43992.0 sec. user=vaughan [2009-02-28 22:17:16] 607*2^623261-1 is not prime. Res64: 820B249FFE3AF74A Time : 31377.0 sec. user=vaughan [2009-02-28 22:19:36] 615*2^623238-1 is not prime. Res64: DA40ED4280F644C6 Time : 43994.0 sec. user=vaughan [2009-02-28 22:22:29] 675*2^623261-1 is not prime. Res64: F74A0BE78B00DCCF Time : 31375.0 sec. user=vaughan [2009-02-28 22:26:54] 649*2^623239-1 is not prime. Res64: BD88DB4F8E0BD74B Time : 43987.0 sec. user=vaughan [2009-02-28 22:27:43] 727*2^623261-1 is not prime. Res64: A021B7ED48079919 Time : 31370.0 sec. user=vaughan [2009-02-28 22:30:14] 739*2^623313-1 is not prime. Res64: D12DD330AC25EB9F Time : 1352.0 sec. user=vaughan [2009-02-28 22:32:55] 745*2^623261-1 is not prime. Res64: BC2ECA270C0A42E0 Time : 31360.0 sec. user=vaughan [2009-02-28 22:34:08] 635*2^623240-1 is not prime. Res64: 91B5057E751EBF55 Time : 43979.0 sec. user=vaughan [2009-02-28 22:38:09] 795*2^623261-1 is not prime. Res64: 3B86984C75AA42E1 Time : 31359.0 sec. user=vaughan [2009-02-28 22:41:22] 725*2^623240-1 is not prime. Res64: 73EB3401F839FC6E Time : 43972.0 sec. user=vaughan [2009-02-28 22:41:40] 673*2^623087-1 is not prime. Res64: 6BD7EBE283F2DC12 Time : 153916.0 sec. user=vaughan [2009-02-28 22:43:27] 635*2^623262-1 is not prime. Res64: CE3E7BC18A61C7A1 Time : 31358.0 sec. user=vaughan [2009-02-28 22:48:35] 603*2^623263-1 is not prime. Res64: 2BF267A635EF8F79 Time : 31348.0 sec. user=vaughan [2009-02-28 22:48:37] 747*2^623241-1 is not prime. Res64: 02A9761E1FDE6B6D Time : 43946.0 sec. user=vaughan [2009-02-28 22:52:45] 687*2^623317-1 is not prime. Res64: E8EE74B40CE593C9 Time : 1351.0 sec. user=vaughan [2009-02-28 22:53:49] 675*2^623263-1 is not prime. Res64: 3646642D31F787EE Time : 31342.0 sec. user=vaughan [2009-02-28 22:55:58] 713*2^623242-1 is not prime. Res64: 4C879D888EA96E97 Time : 43935.0 sec. user=vaughan [2009-02-28 22:59:00] 745*2^623263-1 is not prime. Res64: 6BDA5A2D878C8C67 Time : 31337.0 sec. user=vaughan [2009-02-28 23:03:20] 737*2^623242-1 is not prime. Res64: 83D3BD7A5340F6FD Time : 43927.0 sec. user=vaughan [2009-02-28 23:04:12] 765*2^623263-1 is not prime. Res64: 5BB4028FA2A0CCD5 Time : 31329.0 sec. user=vaughan [2009-02-28 23:09:26] 615*2^623264-1 is not prime. Res64: 7B0C9A69BBC929C7 Time : 31320.0 sec. user=vaughan [2009-02-28 23:10:32] 703*2^623243-1 is not prime. Res64: F9E538041AB28975 Time : 43910.0 sec. user=vaughan [2009-02-28 23:13:57] 799*2^623087-1 is not prime. Res64: 2600B7D25C4F1FB6 Time : 154810.0 sec. user=vaughan [2009-02-28 23:14:39] 629*2^623264-1 is not prime. Res64: 4E5E0515796B568B Time : 31319.0 sec. user=vaughan [2009-02-28 23:15:17] 675*2^623320-1 is not prime. Res64: E482F97C6F08C901 Time : 1352.0 sec. user=vaughan [2009-02-28 23:17:42] 753*2^623243-1 is not prime. Res64: D15CE61091FDB11D Time : 43897.0 sec. user=vaughan [2009-02-28 23:19:51] 767*2^623264-1 is not prime. Res64: F7D49A14085560DF Time : 31307.0 sec. user=vaughan [2009-02-28 23:24:53] 683*2^623244-1 is not prime. Res64: C32CE41A9FBF06A1 Time : 43894.0 sec. user=vaughan [2009-02-28 23:25:04] 735*2^623265-1 is not prime. Res64: 82F601E5133CB30C Time : 31299.0 sec. user=vaughan [2009-02-28 23:30:13] 751*2^623265-1 is not prime. Res64: 9639884BA83B0BB3 Time : 31288.0 sec. user=vaughan [2009-02-28 23:32:05] 643*2^623247-1 is not prime. Res64: 34E100949D6A4897 Time : 43874.0 sec. user=vaughan [2009-02-28 23:35:27] 619*2^623267-1 is not prime. Res64: A7761CC461F83D44 Time : 31282.0 sec. user=vaughan [2009-02-28 23:37:49] 673*2^623323-1 is not prime. Res64: 8092E7F7E7ABDD7E Time : 1353.0 sec. user=vaughan [2009-02-28 23:39:31] 665*2^623248-1 is not prime. Res64: 74D6760B2D958C74 Time : 43868.0 sec. user=vaughan [2009-02-28 23:40:37] 737*2^623268-1 is not prime. Res64: CDBA13FD17717622 Time : 31276.0 sec. user=vaughan [2009-02-28 23:45:49] 667*2^623269-1 is not prime. Res64: 80F109A9670F1F99 Time : 31267.0 sec. user=vaughan [2009-02-28 23:46:58] 765*2^623248-1 is not prime. Res64: FF425E90A47016EE Time : 43860.0 sec. user=vaughan [2009-02-28 23:48:03] 609*2^623089-1 is not prime. Res64: 44057527563E87C2 Time : 155914.0 sec. user=vaughan [2009-02-28 23:51:02] 691*2^623269-1 is not prime. Res64: 3ACD7FD00BFA58B6 Time : 31263.0 sec. user=vaughan [2009-02-28 23:54:22] 759*2^623249-1 is not prime. Res64: 16E06EA3AC892D27 Time : 43841.0 sec. user=vaughan [2009-02-28 23:56:14] 747*2^623269-1 is not prime. Res64: 18C017DF49557C81 Time : 31255.0 sec.