user=vaughan [2009-02-24 00:00:17] 747*2^622290-1 is not prime. Res64: 6E5220C44F53B992 Time : 11009.0 sec. user=vaughan [2009-02-24 00:00:17] 705*2^622303-1 is not prime. Res64: EF80C03428F9F3EC Time : 5478.0 sec. user=vaughan [2009-02-24 00:01:50] 693*2^622239-1 is not prime. Res64: 66B94BE2339E6A23 Time : 33756.0 sec. user=vaughan [2009-02-24 00:02:46] 777*2^622302-1 is not prime. Res64: DE3BE904FFA2CB3B Time : 5725.0 sec. user=vaughan [2009-02-24 00:06:39] 675*2^621120-1 is not prime. Res64: 8D86E304FC15E216 Time : 200550.0 sec. user=vaughan [2009-02-24 00:07:21] 777*2^622240-1 is not prime. Res64: 663C9233CA8BE15C Time : 33759.0 sec. user=tnerual [2009-02-24 00:08:12] 639*2^622315-1 is not prime. Res64: E9A061D375959C20 Time : 1459.0 sec. user=vaughan [2009-02-24 00:08:17] 609*2^622304-1 is not prime. Res64: 1C8037D34728420B Time : 5576.0 sec. user=vaughan [2009-02-24 00:09:22] 663*2^622315-1 is not prime. Res64: B36D5155328B860D Time : 1351.0 sec. user=vaughan [2009-02-24 00:10:00] 677*2^622304-1 is not prime. Res64: 5E453EECE55CEF08 Time : 5558.0 sec. user=vaughan [2009-02-24 00:12:51] 635*2^622242-1 is not prime. Res64: 2D0DBCA87416A582 Time : 33760.0 sec. user=vaughan [2009-02-24 00:13:04] 623*2^622304-1 is not prime. Res64: D62B3F33B30B8B07 Time : 5842.0 sec. user=vaughan [2009-02-24 00:17:53] 685*2^622305-1 is not prime. Res64: 3657E586F825808F Time : 5650.0 sec. user=vaughan [2009-02-24 00:18:24] 685*2^622243-1 is not prime. Res64: 0CB9E483ED1185AF Time : 33766.0 sec. user=vaughan [2009-02-24 00:19:31] 633*2^622306-1 is not prime. Res64: 2C0B248B4CAED3A9 Time : 5626.0 sec. user=vaughan [2009-02-24 00:23:18] 699*2^622305-1 is not prime. Res64: 99293177AA16B023 Time : 5954.0 sec. user=vaughan [2009-02-24 00:23:52] 705*2^622243-1 is not prime. Res64: F67F43D51C7976F2 Time : 33767.0 sec. user=vaughan [2009-02-24 00:24:22] 743*2^622292-1 is not prime. Res64: 8E88BE1D9A784710 Time : 11518.0 sec. user=vaughan [2009-02-24 00:27:29] 717*2^622306-1 is not prime. Res64: 3683ECE3AEAF336B Time : 5710.0 sec. user=vaughan [2009-02-24 00:29:03] 685*2^622307-1 is not prime. Res64: BA299C7094B52A1F Time : 5684.0 sec. user=vaughan [2009-02-24 00:29:27] 627*2^622245-1 is not prime. Res64: CB24739112ABE9C1 Time : 33771.0 sec. user=vaughan [2009-02-24 00:31:55] 623*2^622318-1 is not prime. Res64: A34E36DAE80C48A7 Time : 1353.0 sec. user=vaughan [2009-02-24 00:33:39] 723*2^622306-1 is not prime. Res64: B66EB0C715F46E40 Time : 6056.0 sec. user=vaughan [2009-02-24 00:34:59] 677*2^622246-1 is not prime. Res64: DA94182AAF22DFED Time : 33778.0 sec. user=tnerual [2009-02-24 00:36:38] 781*2^622317-1 is not prime. Res64: 1DFD694EDB597EEE Time : 1706.0 sec. user=vaughan [2009-02-24 00:37:15] 683*2^622308-1 is not prime. Res64: 9C48127A274B0E9F Time : 5749.0 sec. user=vaughan [2009-02-24 00:38:40] 601*2^622309-1 is not prime. Res64: 8A06182B1EAAED9A Time : 5701.0 sec. user=vaughan [2009-02-24 00:40:32] 713*2^622246-1 is not prime. Res64: F7CF01DBC9D44C2F Time : 33780.0 sec. user=vaughan [2009-02-24 00:44:03] 753*2^622308-1 is not prime. Res64: 57B0BDF22A57BABE Time : 6112.0 sec. user=vaughan [2009-02-24 00:46:03] 767*2^622248-1 is not prime. Res64: 45142262C7CB3169 Time : 33784.0 sec. user=vaughan [2009-02-24 00:46:54] 775*2^622309-1 is not prime. Res64: 116298995BD1B69C Time : 5780.0 sec. user=vaughan [2009-02-24 00:48:16] 785*2^622310-1 is not prime. Res64: 3BFE139251E7C9D7 Time : 5735.0 sec. user=vaughan [2009-02-24 00:49:16] 759*2^622293-1 is not prime. Res64: 83207B745F717FAD Time : 12078.0 sec. user=vaughan [2009-02-24 00:51:37] 615*2^622250-1 is not prime. Res64: 79B8CB07987E54C2 Time : 33792.0 sec. user=vaughan [2009-02-24 00:54:26] 677*2^622310-1 is not prime. Res64: 04B618669D40B931 Time : 6160.0 sec. user=vaughan [2009-02-24 00:54:27] 753*2^622319-1 is not prime. Res64: 32A67CCEBF45A87F Time : 1352.0 sec. user=vaughan [2009-02-24 00:56:35] 693*2^622311-1 is not prime. Res64: E475E3E2E2CAA372 Time : 5789.0 sec. user=vaughan [2009-02-24 00:57:10] 711*2^622250-1 is not prime. Res64: 1D38D46B034D99D5 Time : 33797.0 sec. user=vaughan [2009-02-24 00:57:55] 603*2^622312-1 is not prime. Res64: 60B54B5F2657E527 Time : 5748.0 sec. user=vaughan [2009-02-24 01:02:39] 629*2^622252-1 is not prime. Res64: D32A4E15F4D535DF Time : 33799.0 sec. user=tnerual [2009-02-24 01:04:19] 627*2^622320-1 is not prime. Res64: 7D72DA8FDF1E8025 Time : 1661.0 sec. user=vaughan [2009-02-24 01:04:36] 741*2^622311-1 is not prime. Res64: 936873C4BBDA91E9 Time : 6166.0 sec. user=vaughan [2009-02-24 01:06:09] 631*2^622313-1 is not prime. Res64: 029CD2F66FCED226 Time : 5789.0 sec. user=vaughan [2009-02-24 01:07:25] 699*2^622313-1 is not prime. Res64: FE84068DDA5ADC26 Time : 5742.0 sec. user=vaughan [2009-02-24 01:08:39] 785*2^622252-1 is not prime. Res64: DC482FF6756D627D Time : 33833.0 sec. user=vaughan [2009-02-24 01:13:45] 789*2^622295-1 is not prime. Res64: 36C918566B65B90B Time : 12565.0 sec. user=vaughan [2009-02-24 01:14:37] 721*2^622253-1 is not prime. Res64: 3A60521264C3D65B Time : 33865.0 sec. user=vaughan [2009-02-24 01:14:55] 741*2^622313-1 is not prime. Res64: B036B1F7302EDD4C Time : 6171.0 sec. user=vaughan [2009-02-24 01:15:49] 615*2^622314-1 is not prime. Res64: 0EB6ECAC0FECD2E9 Time : 5787.0 sec. user=vaughan [2009-02-24 01:16:59] 735*2^622322-1 is not prime. Res64: C4365DA2C55DFB63 Time : 1353.0 sec. user=vaughan [2009-02-24 01:17:04] 627*2^622314-1 is not prime. Res64: DBFBCAEEF8E439AE Time : 5746.0 sec. user=vaughan [2009-02-24 01:20:11] 685*2^622255-1 is not prime. Res64: E3272C4FA7B066F6 Time : 33875.0 sec. user=vaughan [2009-02-24 01:25:06] 619*2^622315-1 is not prime. Res64: A9BEB35180495904 Time : 6154.0 sec. user=vaughan [2009-02-24 01:25:23] 691*2^622315-1 is not prime. Res64: EDF9D5E1DE63DADB Time : 5787.0 sec. user=vaughan [2009-02-24 01:25:43] 715*2^622255-1 is not prime. Res64: 148DCB9A0462F576 Time : 33885.0 sec. user=vaughan [2009-02-24 01:26:32] 709*2^622315-1 is not prime. Res64: 94177603690173C7 Time : 5742.0 sec. user=tnerual [2009-02-24 01:27:57] 745*2^622323-1 is not prime. Res64: 24A35EE679F6F23D Time : 1418.0 sec. user=vaughan [2009-02-24 01:31:13] 603*2^622256-1 is not prime. Res64: F124457F7ABCF042 Time : 33890.0 sec. user=vaughan [2009-02-24 01:34:54] 609*2^622316-1 is not prime. Res64: 72FC1D8E2998FDB0 Time : 5783.0 sec. user=vaughan [2009-02-24 01:35:19] 759*2^622315-1 is not prime. Res64: 89F593B50A40DC3B Time : 6168.0 sec. user=vaughan [2009-02-24 01:35:58] 657*2^622316-1 is not prime. Res64: 144822FCF3890793 Time : 5741.0 sec. user=vaughan [2009-02-24 01:36:47] 699*2^622256-1 is not prime. Res64: 4DAFD07340A7DEF8 Time : 33900.0 sec. user=vaughan [2009-02-24 01:37:29] 633*2^622298-1 is not prime. Res64: 0510E8C0BB79387C Time : 13053.0 sec. user=vaughan [2009-02-24 01:39:31] 651*2^622325-1 is not prime. Res64: 91EA010CB9BD9FDA Time : 1353.0 sec. user=vaughan [2009-02-24 01:42:38] 649*2^622257-1 is not prime. Res64: 399EF598A1B2F0FC Time : 33936.0 sec. user=vaughan [2009-02-24 01:44:31] 603*2^622318-1 is not prime. Res64: 634C2FB8357ED3AB Time : 5775.0 sec. user=vaughan [2009-02-24 01:45:25] 667*2^622317-1 is not prime. Res64: 7B77BF34111809FB Time : 6159.0 sec. user=vaughan [2009-02-24 01:45:29] 665*2^622318-1 is not prime. Res64: AC9B2E2648262A6F Time : 5730.0 sec. user=vaughan [2009-02-24 01:48:30] 693*2^622259-1 is not prime. Res64: 8892D3A50BA6B595 Time : 33973.0 sec. user=tnerual [2009-02-24 01:50:07] 771*2^622325-1 is not prime. Res64: 219B8B7AD45DE0AC Time : 1331.0 sec. user=vaughan [2009-02-24 01:53:57] 777*2^622318-1 is not prime. Res64: E7DEF433B13D2349 Time : 5765.0 sec. user=vaughan [2009-02-24 01:54:23] 743*2^622328-1 is not prime. Res64: 9766FDE78907EE66 Time : 354.0 sec. user=vaughan [2009-02-24 01:54:57] 609*2^622319-1 is not prime. Res64: 8DEF5FF44276DCCD Time : 5727.0 sec. user=vaughan [2009-02-24 01:55:38] 713*2^622318-1 is not prime. Res64: 544AC96DC95A53C2 Time : 6154.0 sec. user=vaughan [2009-02-24 02:00:31] 627*2^622329-1 is not prime. Res64: 043B305166072C82 Time : 368.0 sec. user=vaughan [2009-02-24 02:00:54] 653*2^622300-1 is not prime. Res64: 8534B061BADEFAC6 Time : 13474.0 sec. user=vaughan [2009-02-24 02:02:04] 609*2^622327-1 is not prime. Res64: E6EFBF9C7F3E8ADE Time : 1354.0 sec. user=vaughan [2009-02-24 02:03:24] 669*2^622319-1 is not prime. Res64: 2F1D7C247544817A Time : 5755.0 sec. user=vaughan [2009-02-24 02:04:18] 711*2^622319-1 is not prime. Res64: 2041EE951C5A9CFB Time : 5716.0 sec. user=vaughan [2009-02-24 02:05:36] 633*2^622319-1 is not prime. Res64: D915DBD9CA816380 Time : 6138.0 sec. user=vaughan [2009-02-24 02:06:30] 653*2^622330-1 is not prime. Res64: E2A1BAA5CA95F60B Time : 359.0 sec. user=vaughan [2009-02-24 02:12:23] 689*2^622332-1 is not prime. Res64: 805284760DAA8228 Time : 354.0 sec. user=vaughan [2009-02-24 02:12:59] 693*2^622320-1 is not prime. Res64: 4A5FF6B915C76712 Time : 5745.0 sec. user=vaughan [2009-02-24 02:13:47] 725*2^622320-1 is not prime. Res64: 606387357CAA124A Time : 5708.0 sec. user=vaughan [2009-02-24 02:15:47] 789*2^622319-1 is not prime. Res64: 50BCD56BA10E5564 Time : 6128.0 sec. user=tnerual [2009-02-24 02:17:17] 747*2^622328-1 is not prime. Res64: BF5116E1453AA7DB Time : 1630.0 sec. user=vaughan [2009-02-24 02:18:18] 693*2^622332-1 is not prime. Res64: 1D808A94B720E0DE Time : 355.0 sec. user=vaughan [2009-02-24 02:22:38] 649*2^622321-1 is not prime. Res64: 34C75A1D76A4518F Time : 5744.0 sec. user=vaughan [2009-02-24 02:23:26] 747*2^622321-1 is not prime. Res64: 6FDE9D4B7495FFCC Time : 5710.0 sec. user=vaughan [2009-02-24 02:24:10] 687*2^622333-1 is not prime. Res64: B0268B3CC5F6CEFA Time : 352.0 sec. user=vaughan [2009-02-24 02:24:36] 769*2^622303-1 is not prime. Res64: 18F3F7E98F130259 Time : 13959.0 sec. user=vaughan [2009-02-24 02:24:36] 723*2^622330-1 is not prime. Res64: 8806B8DAB80F8681 Time : 1352.0 sec. user=vaughan [2009-02-24 02:26:10] 607*2^622321-1 is not prime. Res64: A9406A4AD78D97F5 Time : 6127.0 sec. user=vaughan [2009-02-24 02:30:04] 677*2^622334-1 is not prime. Res64: A4C4ADBBE1055811 Time : 354.0 sec. user=vaughan [2009-02-24 02:32:15] 753*2^622322-1 is not prime. Res64: AAD455B11DE2E5A9 Time : 5740.0 sec. user=vaughan [2009-02-24 02:33:00] 675*2^622323-1 is not prime. Res64: B0C41DE1B2AB7A88 Time : 5705.0 sec. user=vaughan [2009-02-24 02:35:58] 789*2^622335-1 is not prime. Res64: 9E45B72EF7C84CF8 Time : 355.0 sec. user=vaughan [2009-02-24 02:36:40] 677*2^622322-1 is not prime. Res64: 0454886849775ED9 Time : 6135.0 sec. user=tnerual [2009-02-24 02:39:20] 681*2^622333-1 is not prime. Res64: AFF7F73C4FD63637 Time : 1323.0 sec. user=vaughan [2009-02-24 02:41:50] 705*2^622336-1 is not prime. Res64: D96D466423B51690 Time : 352.0 sec. user=vaughan [2009-02-24 02:41:54] 665*2^622324-1 is not prime. Res64: 40C09F9813F08EBB Time : 5745.0 sec. user=vaughan [2009-02-24 02:42:38] 707*2^622324-1 is not prime. Res64: E57B203F9F93CC26 Time : 5713.0 sec. user=vaughan [2009-02-24 02:47:03] 657*2^622324-1 is not prime. Res64: 54203C9A8DC03716 Time : 6147.0 sec. user=vaughan [2009-02-24 02:47:07] 679*2^622335-1 is not prime. Res64: C14C23A735BD5CFD Time : 1351.0 sec. user=vaughan [2009-02-24 02:47:46] 747*2^622337-1 is not prime. Res64: 2DCB514C22064844 Time : 356.0 sec. user=vaughan [2009-02-24 02:48:38] 651*2^622306-1 is not prime. Res64: 70804BD4DE4D67D8 Time : 14354.0 sec. user=vaughan [2009-02-24 02:51:32] 759*2^622324-1 is not prime. Res64: DB66736CB75BE3FD Time : 5743.0 sec. user=vaughan [2009-02-24 02:52:11] 655*2^622325-1 is not prime. Res64: 16B79FD144A95BE4 Time : 5708.0 sec. user=vaughan [2009-02-24 02:53:43] 649*2^622339-1 is not prime. Res64: 461B9E7B43C778C0 Time : 357.0 sec. user=vaughan [2009-02-24 02:57:21] 723*2^622324-1 is not prime. Res64: 52E2BFC53A9A25C8 Time : 6147.0 sec. user=vaughan [2009-02-24 02:59:36] 759*2^622339-1 is not prime. Res64: EDC382EFDDDDBC15 Time : 354.0 sec. user=vaughan [2009-02-24 03:01:05] 729*2^622325-1 is not prime. Res64: 2EBA5096BA475711 Time : 5742.0 sec. user=vaughan [2009-02-24 03:01:42] 735*2^622325-1 is not prime. Res64: FF1364BB0C619699 Time : 5710.0 sec. user=tnerual [2009-02-24 03:01:44] 675*2^622337-1 is not prime. Res64: E1E7848AC5B1DD02 Time : 1345.0 sec. user=vaughan [2009-02-24 03:05:33] 687*2^622340-1 is not prime. Res64: F3386AD107FC52AF Time : 357.0 sec. user=vaughan [2009-02-24 03:07:35] 727*2^622325-1 is not prime. Res64: A4133F4062AF36DA Time : 6149.0 sec. user=vaughan [2009-02-24 03:09:39] 645*2^622339-1 is not prime. Res64: 8C23556498A23F36 Time : 1352.0 sec. user=vaughan [2009-02-24 03:10:47] 789*2^622325-1 is not prime. Res64: 491626F6C2188996 Time : 5753.0 sec. user=vaughan [2009-02-24 03:11:22] 647*2^622326-1 is not prime. Res64: 27FE48748E012844 Time : 5724.0 sec. user=vaughan [2009-02-24 03:11:27] 765*2^622342-1 is not prime. Res64: 946E573FE27CA93C Time : 354.0 sec. user=vaughan [2009-02-24 03:12:45] 663*2^622310-1 is not prime. Res64: 5754F59FBA3502BF Time : 14521.0 sec. user=vaughan [2009-02-24 03:17:19] 627*2^622344-1 is not prime. Res64: 083C783375939F37 Time : 353.0 sec. user=vaughan [2009-02-24 03:18:00] 635*2^622326-1 is not prime. Res64: 6DD62B5EDF6F27B3 Time : 6162.0 sec. user=vaughan [2009-02-24 03:20:29] 705*2^622327-1 is not prime. Res64: 502CEFCE5D1DF011 Time : 5758.0 sec. user=vaughan [2009-02-24 03:20:57] 677*2^622328-1 is not prime. Res64: 02C04D818C9105D6 Time : 5728.0 sec. user=vaughan [2009-02-24 03:23:14] 737*2^622344-1 is not prime. Res64: 3659A2C3EEDB430D Time : 355.0 sec. user=tnerual [2009-02-24 03:23:45] 657*2^622342-1 is not prime. Res64: 835D759203B67E4A Time : 1321.0 sec. user=vaughan [2009-02-24 03:28:06] 633*2^622328-1 is not prime. Res64: 2DA65BC29CB795AE Time : 6161.0 sec. user=vaughan [2009-02-24 03:29:08] 667*2^622345-1 is not prime. Res64: EEE6735ABC8B80C7 Time : 354.0 sec. user=vaughan [2009-02-24 03:30:03] 625*2^622329-1 is not prime. Res64: 7979E835C2A00E22 Time : 5766.0 sec. user=vaughan [2009-02-24 03:30:30] 741*2^622329-1 is not prime. Res64: 384F77A05F5785C4 Time : 5734.0 sec. user=vaughan [2009-02-24 03:32:10] 605*2^622344-1 is not prime. Res64: 169AD1E1B06FA43C Time : 1351.0 sec. user=vaughan [2009-02-24 03:35:02] 799*2^622345-1 is not prime. Res64: 2B2B70606DEDBE83 Time : 355.0 sec. user=vaughan [2009-02-24 03:37:34] 611*2^622314-1 is not prime. Res64: 9309542F7623B758 Time : 14511.0 sec. user=vaughan [2009-02-24 03:38:27] 745*2^622329-1 is not prime. Res64: C0D926D774B1F7F0 Time : 6169.0 sec. user=vaughan [2009-02-24 03:39:51] 741*2^622330-1 is not prime. Res64: 5A1BA28EAB065B1F Time : 5787.0 sec. user=vaughan [2009-02-24 03:40:10] 675*2^622331-1 is not prime. Res64: 55FD6ADB975F6901 Time : 5752.0 sec. user=vaughan [2009-02-24 03:40:57] 633*2^622347-1 is not prime. Res64: 0B3CC2D589150096 Time : 355.0 sec. user=tnerual [2009-02-24 03:45:47] 721*2^622345-1 is not prime. Res64: CA5802FFED4C7926 Time : 1322.0 sec. user=vaughan [2009-02-24 03:46:54] 755*2^622348-1 is not prime. Res64: B34FD72D7E584BF7 Time : 358.0 sec. user=vaughan [2009-02-24 03:52:08] 765*2^621120-1 is not prime. Res64: 28440912DBAE71B1 Time : 214078.0 sec. user=vaughan [2009-02-24 03:52:49] 685*2^622349-1 is not prime. Res64: 337DBF6911433DD0 Time : 356.0 sec. user=vaughan [2009-02-24 03:52:51] 627*2^622332-1 is not prime. Res64: B173C38038DF6C2A Time : 6435.0 sec. user=vaughan [2009-02-24 03:54:40] 759*2^622349-1 is not prime. Res64: 45CC0038BC5356D4 Time : 422.0 sec. user=vaughan [2009-02-24 03:54:43] 785*2^622346-1 is not prime. Res64: 6CA114845C965220 Time : 1353.0 sec. user=vaughan [2009-02-24 03:55:21] 695*2^622332-1 is not prime. Res64: 2E3C521D09C1155E Time : 6142.0 sec. user=vaughan [2009-02-24 03:55:50] 719*2^622332-1 is not prime. Res64: F553F337E74071B6 Time : 6123.0 sec. user=vaughan [2009-02-24 03:58:46] 799*2^622349-1 is not prime. Res64: 7A466DDC10B9F7FA Time : 357.0 sec. user=vaughan [2009-02-24 04:01:21] 635*2^622316-1 is not prime. Res64: 9EB350A1F40CF4B3 Time : 14464.0 sec. user=vaughan [2009-02-24 04:01:38] 657*2^622350-1 is not prime. Res64: BE38C837B1C96C95 Time : 418.0 sec. user=vaughan [2009-02-24 04:04:40] 681*2^622351-1 is not prime. Res64: 479EFFF42C521F8F Time : 354.0 sec. user=tnerual [2009-02-24 04:07:47] 765*2^622348-1 is not prime. Res64: 7404FB8EF8134584 Time : 1320.0 sec. user=vaughan [2009-02-24 04:08:34] 633*2^622352-1 is not prime. Res64: D9559CD67A3202B3 Time : 416.0 sec. user=vaughan [2009-02-24 04:09:21] 625*2^622333-1 is not prime. Res64: CB1648167DAFECAD Time : 6814.0 sec. user=vaughan [2009-02-24 04:10:34] 743*2^622352-1 is not prime. Res64: 28BB742B4B0FCF5C Time : 355.0 sec. user=vaughan [2009-02-24 04:11:41] 715*2^622333-1 is not prime. Res64: 19E37FC46EA80132 Time : 6544.0 sec. user=vaughan [2009-02-24 04:11:57] 747*2^622333-1 is not prime. Res64: D84C76DAE3E49723 Time : 6512.0 sec. user=vaughan [2009-02-24 04:15:37] 657*2^622353-1 is not prime. Res64: 9487EB672548EBB6 Time : 423.0 sec. user=vaughan [2009-02-24 04:16:31] 751*2^622353-1 is not prime. Res64: 65C973A5FBCD3573 Time : 358.0 sec. user=vaughan [2009-02-24 04:17:17] 681*2^622350-1 is not prime. Res64: 60C1ADED8A796C2C Time : 1355.0 sec. user=vaughan [2009-02-24 04:22:26] 665*2^622354-1 is not prime. Res64: 58155E4DBBE2922E Time : 355.0 sec. user=vaughan [2009-02-24 04:22:35] 663*2^622354-1 is not prime. Res64: 36FCEA267E97ABF9 Time : 418.0 sec. user=vaughan [2009-02-24 04:25:08] 783*2^622335-1 is not prime. Res64: 085F50B16850D734 Time : 7138.0 sec. user=vaughan [2009-02-24 04:26:09] 655*2^622319-1 is not prime. Res64: D43EA3A7A430595A Time : 14507.0 sec. user=vaughan [2009-02-24 04:27:58] 677*2^622336-1 is not prime. Res64: CFB214FE6CC27434 Time : 6898.0 sec. user=vaughan [2009-02-24 04:28:01] 639*2^622336-1 is not prime. Res64: C93F3F404AC6F350 Time : 6946.0 sec. user=vaughan [2009-02-24 04:28:17] 663*2^622355-1 is not prime. Res64: 504B957EFA059F0F Time : 352.0 sec. user=vaughan [2009-02-24 04:29:30] 737*2^622356-1 is not prime. Res64: 2418526A7204DB32 Time : 415.0 sec. user=vaughan [2009-02-24 04:29:42] 795*2^621120-1 is not prime. Res64: B20E1C70F38623CB Time : 216332.0 sec. user=tnerual [2009-02-24 04:29:49] 609*2^622353-1 is not prime. Res64: 24D57138D3615533 Time : 1322.0 sec. user=vaughan [2009-02-24 04:34:09] 677*2^622358-1 is not prime. Res64: A30DFF0AB5235C1C Time : 353.0 sec. user=vaughan [2009-02-24 04:36:32] 705*2^622358-1 is not prime. Res64: 8D140EB5B79B623B Time : 423.0 sec. user=vaughan [2009-02-24 04:40:08] 615*2^622364-1 is not prime. Res64: AE8C7FAA62FA1C31 Time : 359.0 sec. user=vaughan [2009-02-24 04:41:23] 759*2^622336-1 is not prime. Res64: 73C81BD2B9ADAD1A Time : 7483.0 sec. user=vaughan [2009-02-24 04:42:31] 655*2^622355-1 is not prime. Res64: 0D8D99F131DF54A3 Time : 1514.0 sec. user=vaughan [2009-02-24 04:43:41] 749*2^622364-1 is not prime. Res64: 8E0C33D7709F1040 Time : 430.0 sec. user=vaughan [2009-02-24 04:43:53] 609*2^622339-1 is not prime. Res64: E024B3039A7878BE Time : 7276.0 sec. user=vaughan [2009-02-24 04:44:01] 711*2^622338-1 is not prime. Res64: 5D555A7B8D0692DE Time : 7327.0 sec. user=vaughan [2009-02-24 04:46:04] 767*2^622364-1 is not prime. Res64: 6787268011F8E45F Time : 356.0 sec. user=vaughan [2009-02-24 04:50:50] 609*2^622365-1 is not prime. Res64: 6FEC14CE449B1DC5 Time : 430.0 sec. user=vaughan [2009-02-24 04:50:50] 799*2^622321-1 is not prime. Res64: 39FDF4CE76B27F86 Time : 14494.0 sec. user=tnerual [2009-02-24 04:51:50] 625*2^622359-1 is not prime. Res64: 661E1A4C31EA1519 Time : 1321.0 sec. user=vaughan [2009-02-24 04:51:57] 655*2^622365-1 is not prime. Res64: 575D2D3377265B75 Time : 353.0 sec. user=vaughan [2009-02-24 04:53:44] 707*2^622360-1 is not prime. Res64: D0411F4DD03F3812 Time : 1394.0 sec. user=vaughan [2009-02-24 04:57:50] 635*2^622366-1 is not prime. Res64: 5D13D679960CA1AC Time : 354.0 sec. user=vaughan [2009-02-24 04:57:52] 699*2^622365-1 is not prime. Res64: A617C1C12B0A1817 Time : 423.0 sec. user=vaughan [2009-02-24 04:58:04] 633*2^622339-1 is not prime. Res64: 6A4CA794093CC227 Time : 7861.0 sec. user=vaughan [2009-02-24 04:59:29] 723*2^622339-1 is not prime. Res64: C1AABF559719ACE6 Time : 7638.0 sec. user=vaughan [2009-02-24 04:59:47] 703*2^622339-1 is not prime. Res64: 4BDE3882E6D266F4 Time : 7695.0 sec. user=vaughan [2009-02-24 05:03:44] 685*2^622367-1 is not prime. Res64: D9DD1CF64D41D2FC Time : 354.0 sec. user=vaughan [2009-02-24 05:04:50] 693*2^622367-1 is not prime. Res64: 5AB14F31DB177705 Time : 418.0 sec. user=vaughan [2009-02-24 05:05:28] 639*2^622359-1 is not prime. Res64: 4A56B8AD2C1F719E Time : 2105.0 sec. user=vaughan [2009-02-24 05:08:49] 679*2^621121-1 is not prime. Res64: 9A09232CCCCA73A4 Time : 218679.0 sec. user=vaughan [2009-02-24 05:09:41] 609*2^622369-1 is not prime. Res64: F54A59FB57360DB1 Time : 357.0 sec. user=vaughan [2009-02-24 05:11:48] 661*2^622369-1 is not prime. Res64: DC7CEE77C16547DE Time : 419.0 sec. user=tnerual [2009-02-24 05:13:52] 781*2^622365-1 is not prime. Res64: 72F1C28DAD820EFF Time : 1322.0 sec. user=vaughan [2009-02-24 05:14:26] 615*2^622340-1 is not prime. Res64: 50DD5858C0BB71B3 Time : 8225.0 sec. user=vaughan [2009-02-24 05:14:48] 717*2^622324-1 is not prime. Res64: 7DD7BD78ED0766D8 Time : 14463.0 sec. user=vaughan [2009-02-24 05:15:26] 647*2^622342-1 is not prime. Res64: 6B37238715FEE581 Time : 8024.0 sec. user=vaughan [2009-02-24 05:15:40] 743*2^622370-1 is not prime. Res64: 169149CEBC030E78 Time : 361.0 sec. user=vaughan [2009-02-24 05:15:44] 719*2^622340-1 is not prime. Res64: 609B9FF7940F8E0B Time : 8079.0 sec. user=vaughan [2009-02-24 05:16:49] 685*2^622361-1 is not prime. Res64: 07D33BE8EFAA5EBB Time : 2778.0 sec. user=vaughan [2009-02-24 05:19:02] 609*2^622371-1 is not prime. Res64: A474582AF523D3AD Time : 436.0 sec. user=vaughan [2009-02-24 05:21:46] 603*2^622372-1 is not prime. Res64: DA0C4117E50E4B6D Time : 367.0 sec. user=vaughan [2009-02-24 05:26:31] 797*2^622372-1 is not prime. Res64: D619D61EAE8DFBAB Time : 449.0 sec. user=vaughan [2009-02-24 05:27:40] 619*2^622373-1 is not prime. Res64: 980FF1630629FBF6 Time : 354.0 sec. user=vaughan [2009-02-24 05:28:26] 661*2^622359-1 is not prime. Res64: 3FDA135362386EB1 Time : 3483.0 sec. user=vaughan [2009-02-24 05:30:32] 705*2^622343-1 is not prime. Res64: 2BD7BDF0E00DB9AB Time : 8577.0 sec. user=vaughan [2009-02-24 05:31:41] 623*2^622344-1 is not prime. Res64: A49D906D636B6362 Time : 8420.0 sec. user=vaughan [2009-02-24 05:32:06] 609*2^622344-1 is not prime. Res64: 5158A8C4B371B813 Time : 8479.0 sec. user=vaughan [2009-02-24 05:33:24] 721*2^622373-1 is not prime. Res64: 73E38EA9D288E983 Time : 344.0 sec. user=vaughan [2009-02-24 05:33:38] 631*2^622373-1 is not prime. Res64: 0060129F70E41BE3 Time : 427.0 sec. user=tnerual [2009-02-24 05:35:55] 615*2^622371-1 is not prime. Res64: A34140D8CD50F4BD Time : 1323.0 sec. user=vaughan [2009-02-24 05:38:42] 677*2^622326-1 is not prime. Res64: 5298F2E449CBF35A Time : 14473.0 sec. user=vaughan [2009-02-24 05:39:01] 645*2^622375-1 is not prime. Res64: 308B34FDEF587F39 Time : 338.0 sec. user=vaughan [2009-02-24 05:39:51] 697*2^622361-1 is not prime. Res64: C1E4505B581CFD4E Time : 4160.0 sec. user=vaughan [2009-02-24 05:40:48] 651*2^622375-1 is not prime. Res64: C8ED8114244A0A18 Time : 430.0 sec. user=vaughan [2009-02-24 05:44:37] 783*2^622375-1 is not prime. Res64: 56C0C3FFCFFF6E99 Time : 337.0 sec. user=vaughan [2009-02-24 05:47:01] 747*2^622344-1 is not prime. Res64: EAE08C8286D2ECF5 Time : 8943.0 sec. user=vaughan [2009-02-24 05:47:38] 607*2^622345-1 is not prime. Res64: 3515A114B091757C Time : 8802.0 sec. user=vaughan [2009-02-24 05:47:48] 793*2^622375-1 is not prime. Res64: F532BA503CEC55F3 Time : 420.0 sec. user=vaughan [2009-02-24 05:48:14] 759*2^622344-1 is not prime. Res64: 2B8ACD1141C973A3 Time : 8866.0 sec. user=vaughan [2009-02-24 05:50:13] 609*2^622376-1 is not prime. Res64: 4F6A40DCDB946345 Time : 336.0 sec. user=vaughan [2009-02-24 05:51:23] 663*2^622359-1 is not prime. Res64: A57E2BD73304F4F3 Time : 4860.0 sec. user=vaughan [2009-02-24 05:53:06] 785*2^621122-1 is not prime. Res64: 57A59A54E6FD841E Time : 221335.0 sec. user=vaughan [2009-02-24 05:55:03] 735*2^622376-1 is not prime. Res64: F72FA543A2EB07D9 Time : 435.0 sec. user=vaughan [2009-02-24 05:55:48] 681*2^622377-1 is not prime. Res64: BE549BFF75950FA1 Time : 335.0 sec. user=tnerual [2009-02-24 05:58:03] 663*2^622375-1 is not prime. Res64: 3BE9A6184919218D Time : 1330.0 sec. user=vaughan [2009-02-24 06:01:23] 609*2^622379-1 is not prime. Res64: 4A0AAF78380ECB36 Time : 336.0 sec. user=vaughan [2009-02-24 06:02:19] 723*2^622378-1 is not prime. Res64: 4FABBF80DF2DAAF1 Time : 437.0 sec. user=vaughan [2009-02-24 06:02:39] 665*2^622330-1 is not prime. Res64: 8EEF520FB54B69BE Time : 14505.0 sec. user=vaughan [2009-02-24 06:02:54] 795*2^622361-1 is not prime. Res64: E0E4957E43E5F228 Time : 5543.0 sec. user=vaughan [2009-02-24 06:03:01] 751*2^622345-1 is not prime. Res64: B6108F74991C995C Time : 9296.0 sec. user=vaughan [2009-02-24 06:03:33] 783*2^622346-1 is not prime. Res64: 0CD9F2549E7CA018 Time : 9183.0 sec. user=vaughan [2009-02-24 06:04:23] 707*2^622346-1 is not prime. Res64: 9103E0795ADC3D85 Time : 9260.0 sec. user=vaughan [2009-02-24 06:07:00] 643*2^622379-1 is not prime. Res64: C85B2B319D9D91E9 Time : 337.0 sec. user=vaughan [2009-02-24 06:09:10] 705*2^622379-1 is not prime. Res64: 4EA5031E8AB89B72 Time : 412.0 sec. user=vaughan [2009-02-24 06:12:35] 707*2^622380-1 is not prime. Res64: 8B002C54FE6BBD14 Time : 336.0 sec. user=vaughan [2009-02-24 06:14:19] 669*2^622359-1 is not prime. Res64: 06A4B66B699B6C06 Time : 6235.0 sec. user=vaughan [2009-02-24 06:16:16] 717*2^622380-1 is not prime. Res64: 50864042EBBFC864 Time : 427.0 sec. user=vaughan [2009-02-24 06:18:12] 773*2^622380-1 is not prime. Res64: 98B391F77B24AA54 Time : 337.0 sec. user=vaughan [2009-02-24 06:19:22] 665*2^622348-1 is not prime. Res64: 4FC494FACEF52576 Time : 9552.0 sec. user=vaughan [2009-02-24 06:19:49] 623*2^622348-1 is not prime. Res64: 6A58773AFB27B6B3 Time : 9683.0 sec. user=tnerual [2009-02-24 06:20:04] 619*2^622379-1 is not prime. Res64: 9F83FFA22DAD2779 Time : 1321.0 sec. user=vaughan [2009-02-24 06:20:28] 647*2^622348-1 is not prime. Res64: F337E09588222834 Time : 9637.0 sec. user=vaughan [2009-02-24 06:23:16] 651*2^622381-1 is not prime. Res64: 6CAF33BBFE6D346F Time : 422.0 sec. user=vaughan [2009-02-24 06:23:46] 727*2^622381-1 is not prime. Res64: 657E07AE19D3FDF6 Time : 334.0 sec. user=vaughan [2009-02-24 06:26:01] 665*2^622362-1 is not prime. Res64: 86C83DE03BB6F502 Time : 6929.0 sec. user=vaughan [2009-02-24 06:26:51] 797*2^622334-1 is not prime. Res64: 07FFD078D014CC40 Time : 14536.0 sec. user=vaughan [2009-02-24 06:29:20] 661*2^622383-1 is not prime. Res64: C8B7739AEC4611F0 Time : 335.0 sec. user=vaughan [2009-02-24 06:30:12] 711*2^622382-1 is not prime. Res64: D1DABB4C9CDBCA8A Time : 417.0 sec. user=vaughan [2009-02-24 06:34:58] 695*2^622384-1 is not prime. Res64: DF75E440E71B22F5 Time : 338.0 sec. user=vaughan [2009-02-24 06:35:16] 797*2^622350-1 is not prime. Res64: 44DE171962858DE2 Time : 9566.0 sec. user=vaughan [2009-02-24 06:35:30] 641*2^622350-1 is not prime. Res64: 4CD07702B79136D6 Time : 9759.0 sec. user=vaughan [2009-02-24 06:36:49] 713*2^622350-1 is not prime. Res64: 19AF6EAB4069D98E Time : 9689.0 sec. user=vaughan [2009-02-24 06:37:01] 723*2^622384-1 is not prime. Res64: C5438DCE495216E0 Time : 409.0 sec. user=vaughan [2009-02-24 06:37:27] 711*2^622359-1 is not prime. Res64: DD03E0CA85A13005 Time : 7623.0 sec. user=vaughan [2009-02-24 06:40:23] 619*2^621123-1 is not prime. Res64: 083E43A1BD8928D1 Time : 224171.0 sec. user=vaughan [2009-02-24 06:40:31] 765*2^622384-1 is not prime. Res64: 88631006E1E856F0 Time : 335.0 sec. user=tnerual [2009-02-24 06:42:05] 693*2^622382-1 is not prime. Res64: 7AB8120A7ADC9BA6 Time : 1321.0 sec. user=vaughan [2009-02-24 06:43:57] 677*2^622386-1 is not prime. Res64: A99AC13E61B804DB Time : 416.0 sec. user=vaughan [2009-02-24 06:46:05] 645*2^622387-1 is not prime. Res64: 32BC9A032E65EC40 Time : 334.0 sec. user=vaughan [2009-02-24 06:49:30] 677*2^622362-1 is not prime. Res64: 67EA388D53E59FA7 Time : 8338.0 sec. user=vaughan [2009-02-24 06:50:31] 681*2^622339-1 is not prime. Res64: D72953773999ABF9 Time : 14513.0 sec. user=vaughan [2009-02-24 06:51:04] 685*2^622387-1 is not prime. Res64: E8738C689B6A7A52 Time : 427.0 sec. user=vaughan [2009-02-24 06:51:14] 657*2^622354-1 is not prime. Res64: A9E4A6D36E928F19 Time : 9557.0 sec. user=vaughan [2009-02-24 06:51:39] 693*2^622387-1 is not prime. Res64: 97AF540022F84DC3 Time : 334.0 sec. user=vaughan [2009-02-24 06:51:55] 747*2^622353-1 is not prime. Res64: 3CC52D8BCFD26739 Time : 9754.0 sec. user=vaughan [2009-02-24 06:53:05] 789*2^622353-1 is not prime. Res64: AA47A9DDFE228DBD Time : 9684.0 sec. user=vaughan [2009-02-24 06:57:13] 669*2^622388-1 is not prime. Res64: 62C9C764122144E4 Time : 334.0 sec. user=vaughan [2009-02-24 06:58:08] 633*2^622388-1 is not prime. Res64: 315C4752C5B663E3 Time : 425.0 sec. user=vaughan [2009-02-24 07:00:54] 763*2^622359-1 is not prime. Res64: 615F0A9EBB472493 Time : 9029.0 sec. user=vaughan [2009-02-24 07:02:50] 621*2^622389-1 is not prime. Res64: 41E566BF8B60C89E Time : 337.0 sec. user=tnerual [2009-02-24 07:04:12] 673*2^622387-1 is not prime. Res64: ADA7C814D6A413AF Time : 1327.0 sec. user=vaughan [2009-02-24 07:05:12] 709*2^622389-1 is not prime. Res64: 0383B35A6E28ADDE Time : 425.0 sec. user=vaughan [2009-02-24 07:07:14] 727*2^622357-1 is not prime. Res64: 662769573279C1B6 Time : 9557.0 sec. user=vaughan [2009-02-24 07:07:55] 619*2^622357-1 is not prime. Res64: 0D7DDA1218319105 Time : 9767.0 sec. user=vaughan [2009-02-24 07:08:22] 635*2^622390-1 is not prime. Res64: 5F550AA77108E7C1 Time : 333.0 sec. user=vaughan [2009-02-24 07:09:08] 741*2^622357-1 is not prime. Res64: 87F1C7781540439D Time : 9667.0 sec. user=vaughan [2009-02-24 07:12:18] 657*2^622390-1 is not prime. Res64: C2EBDCA7BAE08E79 Time : 426.0 sec. user=vaughan [2009-02-24 07:13:01] 723*2^622362-1 is not prime. Res64: 1EB60185D7FCFD9A Time : 9748.0 sec. user=vaughan [2009-02-24 07:13:48] 643*2^622391-1 is not prime. Res64: 7E6523BADAB67E0F Time : 327.0 sec. user=vaughan [2009-02-24 07:14:43] 635*2^622344-1 is not prime. Res64: 41A11BFF85B5D931 Time : 14519.0 sec. user=vaughan [2009-02-24 07:19:15] 675*2^622391-1 is not prime. Res64: AB7F7EC8506CFD45 Time : 418.0 sec. user=vaughan [2009-02-24 07:19:21] 765*2^622392-1 is not prime. Res64: 5F659B92B668A47A Time : 333.0 sec. user=vaughan [2009-02-24 07:22:56] 627*2^622365-1 is not prime. Res64: 846F63E11D006A20 Time : 9543.0 sec. user=vaughan [2009-02-24 07:24:36] 789*2^622364-1 is not prime. Res64: 406562343B1992A4 Time : 9793.0 sec. user=vaughan [2009-02-24 07:24:55] 705*2^622393-1 is not prime. Res64: 08B8D54BC2DB7E8D Time : 334.0 sec. user=vaughan [2009-02-24 07:25:10] 651*2^622365-1 is not prime. Res64: FC93A57314555BEC Time : 9669.0 sec. user=vaughan [2009-02-24 07:26:13] 675*2^622393-1 is not prime. Res64: F12E770F71F7422F Time : 419.0 sec. user=tnerual [2009-02-24 07:26:14] 647*2^622390-1 is not prime. Res64: A1B7C7E1F58E1EA7 Time : 1322.0 sec. user=vaughan [2009-02-24 07:26:45] 793*2^622359-1 is not prime. Res64: 017E13C8D85A0F42 Time : 10580.0 sec. user=vaughan [2009-02-24 07:29:24] 663*2^621123-1 is not prime. Res64: 226A401752952E72 Time : 227112.0 sec. user=vaughan [2009-02-24 07:30:28] 627*2^622394-1 is not prime. Res64: 733B66D5FA46966D Time : 334.0 sec. user=vaughan [2009-02-24 07:33:17] 671*2^622394-1 is not prime. Res64: E7B4107CC2258B2D Time : 424.0 sec. user=vaughan [2009-02-24 07:36:06] 609*2^622396-1 is not prime. Res64: 1C81CC6ED55FF99D Time : 338.0 sec. user=vaughan [2009-02-24 07:38:45] 767*2^622368-1 is not prime. Res64: 9FFF5342D17F5FC7 Time : 9556.0 sec. user=vaughan [2009-02-24 07:39:05] 643*2^622347-1 is not prime. Res64: 8ACC65B2705B219A Time : 14492.0 sec. user=vaughan [2009-02-24 07:40:21] 629*2^622396-1 is not prime. Res64: DD56B8F585A17E2C Time : 424.0 sec. user=vaughan [2009-02-24 07:40:55] 759*2^622367-1 is not prime. Res64: FC13B52DBDDA2A18 Time : 9771.0 sec. user=vaughan [2009-02-24 07:41:01] 601*2^622369-1 is not prime. Res64: 01F612E3E764D857 Time : 9674.0 sec. user=vaughan [2009-02-24 07:41:41] 647*2^622396-1 is not prime. Res64: 30533FECB4C8B790 Time : 336.0 sec. user=vaughan [2009-02-24 07:42:17] 691*2^622363-1 is not prime. Res64: 56DDD046EF955D13 Time : 11504.0 sec. user=vaughan [2009-02-24 07:47:13] 611*2^622398-1 is not prime. Res64: 6678F78A03F86CFB Time : 333.0 sec. user=vaughan [2009-02-24 07:47:23] 627*2^622397-1 is not prime. Res64: 484FE5F98DD0AA16 Time : 423.0 sec. user=tnerual [2009-02-24 07:48:14] 687*2^622394-1 is not prime. Res64: 87B9A0BA7E2824A7 Time : 1321.0 sec. user=vaughan [2009-02-24 07:52:49] 747*2^622398-1 is not prime. Res64: 937AF7960F4D277F Time : 336.0 sec. user=vaughan [2009-02-24 07:54:14] 775*2^622371-1 is not prime. Res64: A2747DDE57FAF0C8 Time : 9530.0 sec. user=vaughan [2009-02-24 07:54:56] 761*2^622398-1 is not prime. Res64: 3119FF63BA014282 Time : 454.0 sec. user=vaughan [2009-02-24 07:56:38] 603*2^622360-1 is not prime. Res64: 07188067A333C88E Time : 12372.0 sec. user=vaughan [2009-02-24 07:57:04] 743*2^622372-1 is not prime. Res64: 76A13D17D2AFE1B0 Time : 9680.0 sec. user=vaughan [2009-02-24 07:57:35] 649*2^622371-1 is not prime. Res64: 7B359417B78C2784 Time : 9790.0 sec. user=vaughan [2009-02-24 07:58:22] 777*2^622398-1 is not prime. Res64: 8A943F47A25437DE Time : 334.0 sec. user=vaughan [2009-02-24 08:02:06] 685*2^622399-1 is not prime. Res64: 81CDAEBE6C24619C Time : 430.0 sec. user=vaughan [2009-02-24 08:02:58] 775*2^622351-1 is not prime. Res64: C420610941379B86 Time : 14497.0 sec. user=vaughan [2009-02-24 08:03:54] 793*2^622399-1 is not prime. Res64: 0B35A1BAAB177B78 Time : 332.0 sec. user=vaughan [2009-02-24 08:09:13] 635*2^622400-1 is not prime. Res64: 5D6E49CAED3ADA41 Time : 427.0 sec. user=vaughan [2009-02-24 08:09:25] 681*2^622401-1 is not prime. Res64: F6BE90B78CABE48A Time : 331.0 sec. user=vaughan [2009-02-24 08:10:01] 707*2^622374-1 is not prime. Res64: 4EB7831D0A9C4E61 Time : 9501.0 sec. user=tnerual [2009-02-24 08:10:21] 765*2^622398-1 is not prime. Res64: 2B3F07BBB6086E13 Time : 1327.0 sec. user=vaughan [2009-02-24 08:12:22] 775*2^622363-1 is not prime. Res64: 05A5E6C67C969B4E Time : 13309.0 sec. user=vaughan [2009-02-24 08:12:44] 773*2^622374-1 is not prime. Res64: 12ABA015836E4682 Time : 9638.0 sec. user=vaughan [2009-02-24 08:14:16] 693*2^622374-1 is not prime. Res64: 9AC2BCA297B4D1F0 Time : 9824.0 sec. user=vaughan [2009-02-24 08:14:57] 741*2^622402-1 is not prime. Res64: 6BF9BA5BC33E2CA7 Time : 333.0 sec. user=vaughan [2009-02-24 08:16:23] 623*2^622402-1 is not prime. Res64: 9193BB3AC8A6D76A Time : 430.0 sec. user=vaughan [2009-02-24 08:16:49] 735*2^621123-1 is not prime. Res64: AF98D5510B613229 Time : 229956.0 sec. user=vaughan [2009-02-24 08:20:30] 607*2^622405-1 is not prime. Res64: A230C997D5D2770E Time : 333.0 sec. user=vaughan [2009-02-24 08:23:24] 727*2^622405-1 is not prime. Res64: 92510A0BD7BE7339 Time : 422.0 sec. user=vaughan [2009-02-24 08:25:44] 675*2^622376-1 is not prime. Res64: A4925155C61E6C3D Time : 9486.0 sec. user=vaughan [2009-02-24 08:26:01] 777*2^622405-1 is not prime. Res64: 3B895104B1C50F18 Time : 331.0 sec. user=vaughan [2009-02-24 08:26:20] 691*2^622357-1 is not prime. Res64: ABB6951C4964B302 Time : 14411.0 sec. user=vaughan [2009-02-24 08:26:23] 695*2^622360-1 is not prime. Res64: 159CA376E1F83CAF Time : 14156.0 sec. user=vaughan [2009-02-24 08:28:43] 785*2^622376-1 is not prime. Res64: BA1E52DF46C3D417 Time : 9630.0 sec. user=vaughan [2009-02-24 08:30:00] 707*2^622406-1 is not prime. Res64: 34672F2CBD9E9B0C Time : 396.0 sec. user=vaughan [2009-02-24 08:30:28] 657*2^622376-1 is not prime. Res64: 4CFA974DF563FC8F Time : 9807.0 sec. user=vaughan [2009-02-24 08:31:34] 615*2^622407-1 is not prime. Res64: 23362F4949446BCE Time : 333.0 sec. user=tnerual [2009-02-24 08:32:22] 665*2^622404-1 is not prime. Res64: 2178DB98601F60FF Time : 1321.0 sec. user=vaughan [2009-02-24 08:36:34] 615*2^622408-1 is not prime. Res64: 34A1142D8B7A7BB3 Time : 395.0 sec. user=vaughan [2009-02-24 08:37:06] 663*2^622408-1 is not prime. Res64: 56E990C3CAEF6C9C Time : 332.0 sec. user=vaughan [2009-02-24 08:41:33] 635*2^622380-1 is not prime. Res64: 51E3A17D748D8B9B Time : 9480.0 sec. user=vaughan [2009-02-24 08:42:24] 609*2^622364-1 is not prime. Res64: E94C787779A422F6 Time : 15110.0 sec. user=vaughan [2009-02-24 08:42:36] 773*2^622408-1 is not prime. Res64: EE2B6E687C18E864 Time : 331.0 sec. user=vaughan [2009-02-24 08:43:08] 735*2^622408-1 is not prime. Res64: 9BE6B32B124C4A70 Time : 394.0 sec. user=vaughan [2009-02-24 08:44:44] 669*2^622380-1 is not prime. Res64: 09D2F40BEC11EDB5 Time : 9621.0 sec. user=vaughan [2009-02-24 08:46:31] 771*2^622379-1 is not prime. Res64: 92BE5706FCE24B9E Time : 9810.0 sec. user=vaughan [2009-02-24 08:46:43] 765*2^622365-1 is not prime. Res64: 1CCBA5541151F524 Time : 14153.0 sec. user=vaughan [2009-02-24 08:48:01] 699*2^622409-1 is not prime. Res64: 1385FE9E2D42B84A Time : 326.0 sec. user=vaughan [2009-02-24 08:49:59] 727*2^622409-1 is not prime. Res64: F7E19BD3554F183E Time : 411.0 sec. user=vaughan [2009-02-24 08:52:31] 765*2^621123-1 is not prime. Res64: A6D7D72A00D4E69F Time : 232098.0 sec. user=vaughan [2009-02-24 08:53:33] 711*2^622410-1 is not prime. Res64: A62B6DE12703796F Time : 332.0 sec. user=tnerual [2009-02-24 08:54:26] 665*2^622408-1 is not prime. Res64: 73A88062E5BF68D6 Time : 1324.0 sec. user=vaughan [2009-02-24 08:56:15] 607*2^622365-1 is not prime. Res64: 667F679FFCAF8285 Time : 15224.0 sec. user=vaughan [2009-02-24 08:56:59] 769*2^622381-1 is not prime. Res64: 2166C5E279B387DE Time : 9457.0 sec. user=vaughan [2009-02-24 08:57:04] 713*2^622410-1 is not prime. Res64: D8A86D888EC53FC9 Time : 426.0 sec. user=vaughan [2009-02-24 08:59:03] 741*2^622410-1 is not prime. Res64: 5FF03C9AACCDEA08 Time : 330.0 sec. user=vaughan [2009-02-24 09:00:37] 705*2^622382-1 is not prime. Res64: 8B2320BA42B3385F Time : 9609.0 sec. user=vaughan [2009-02-24 09:03:36] 645*2^622382-1 is not prime. Res64: FD0CCAB1ACF8C83E Time : 9828.0 sec. user=vaughan [2009-02-24 09:03:41] 771*2^622411-1 is not prime. Res64: DF7EF840551E61F5 Time : 397.0 sec. user=vaughan [2009-02-24 09:04:34] 609*2^622412-1 is not prime. Res64: 5DAA34100E07B78A Time : 332.0 sec. user=vaughan [2009-02-24 09:06:53] 669*2^622371-1 is not prime. Res64: 337819467A4AF527 Time : 13925.0 sec. user=vaughan [2009-02-24 09:10:03] 685*2^622413-1 is not prime. Res64: 5FD4D998755FA63F Time : 329.0 sec. user=vaughan [2009-02-24 09:10:20] 677*2^622412-1 is not prime. Res64: E0785E93770A7A0A Time : 400.0 sec. user=vaughan [2009-02-24 09:12:23] 737*2^622366-1 is not prime. Res64: E03423D5F9A00B99 Time : 15519.0 sec. user=vaughan [2009-02-24 09:12:38] 645*2^622385-1 is not prime. Res64: 82FCCB97AC829270 Time : 9443.0 sec. user=vaughan [2009-02-24 09:15:35] 765*2^622413-1 is not prime. Res64: AF4E5F56B94677C5 Time : 332.0 sec. user=vaughan [2009-02-24 09:16:20] 795*2^622385-1 is not prime. Res64: E37E66834F2EE6D5 Time : 9571.0 sec. user=tnerual [2009-02-24 09:16:27] 609*2^622411-1 is not prime. Res64: 88EACC4CFBC1F6E8 Time : 1322.0 sec. user=vaughan [2009-02-24 09:16:35] 663*2^622414-1 is not prime. Res64: CFEDA75612076C7D Time : 376.0 sec. user=vaughan [2009-02-24 09:19:33] 721*2^622385-1 is not prime. Res64: 61D5DD67FB44C420 Time : 9844.0 sec. user=vaughan [2009-02-24 09:21:08] 721*2^622415-1 is not prime. Res64: E143E0065F81A16F Time : 333.0 sec. user=vaughan [2009-02-24 09:23:34] 719*2^622416-1 is not prime. Res64: 909EE17B2D16C96A Time : 419.0 sec. user=vaughan [2009-02-24 09:25:57] 705*2^622375-1 is not prime. Res64: 6AFFAE9C8F32402A Time : 13635.0 sec. user=vaughan [2009-02-24 09:26:01] 721*2^622369-1 is not prime. Res64: 1F09AFFD2D029703 Time : 15634.0 sec. user=vaughan [2009-02-24 09:26:39] 715*2^622417-1 is not prime. Res64: 2EC961D579BF26EF Time : 332.0 sec. user=vaughan [2009-02-24 09:28:38] 647*2^622388-1 is not prime. Res64: DD8621762ABB2A1D Time : 9444.0 sec. user=vaughan [2009-02-24 09:29:59] 799*2^622417-1 is not prime. Res64: 0E3EDB49B8361D9B Time : 385.0 sec. user=vaughan [2009-02-24 09:32:12] 633*2^622418-1 is not prime. Res64: 7D31F95D2A7450BA Time : 333.0 sec. user=vaughan [2009-02-24 09:32:32] 795*2^622388-1 is not prime. Res64: 6F5B1CD8A3F5A493 Time : 9567.0 sec. user=vaughan [2009-02-24 09:35:12] 683*2^622388-1 is not prime. Res64: 7167A53CB98C7E32 Time : 9797.0 sec. user=vaughan [2009-02-24 09:36:23] 671*2^622418-1 is not prime. Res64: D9BD994DB913944D Time : 384.0 sec. user=vaughan [2009-02-24 09:37:45] 753*2^622418-1 is not prime. Res64: 79B5137BEBED7D14 Time : 334.0 sec. user=tnerual [2009-02-24 09:38:28] 657*2^622416-1 is not prime. Res64: AE232189A84AC376 Time : 1321.0 sec. user=vaughan [2009-02-24 09:39:04] 615*2^621124-1 is not prime. Res64: 11702DE2984BA426 Time : 234890.0 sec. user=vaughan [2009-02-24 09:42:27] 749*2^622372-1 is not prime. Res64: 2AE9BB2A93108807 Time : 15938.0 sec. user=vaughan [2009-02-24 09:42:50] 677*2^622420-1 is not prime. Res64: EA0466ACF267B602 Time : 387.0 sec. user=vaughan [2009-02-24 09:43:16] 765*2^622420-1 is not prime. Res64: 16BBD53276E3DED6 Time : 332.0 sec. user=vaughan [2009-02-24 09:44:29] 741*2^622390-1 is not prime. Res64: ACC964DE345F82A2 Time : 9436.0 sec. user=vaughan [2009-02-24 09:47:37] 735*2^622379-1 is not prime. Res64: 0B12FE47A19ABBDA Time : 13499.0 sec. user=vaughan [2009-02-24 09:48:15] 669*2^622391-1 is not prime. Res64: 0CF8D751D5326CE3 Time : 9548.0 sec. user=vaughan [2009-02-24 09:48:49] 777*2^622422-1 is not prime. Res64: B73CD46E0915F9B5 Time : 333.0 sec. user=vaughan [2009-02-24 09:49:45] 681*2^622422-1 is not prime. Res64: 0498568DAA8EE995 Time : 416.0 sec. user=vaughan [2009-02-24 09:50:18] 755*2^622390-1 is not prime. Res64: CC99A933781D64FA Time : 9744.0 sec. user=vaughan [2009-02-24 09:54:21] 617*2^622424-1 is not prime. Res64: AA191BDC14D402F9 Time : 332.0 sec. user=vaughan [2009-02-24 09:55:49] 635*2^622374-1 is not prime. Res64: B1B52E165149E22E Time : 16044.0 sec. user=vaughan [2009-02-24 09:56:14] 683*2^622424-1 is not prime. Res64: 899B715A6110B4B4 Time : 389.0 sec. user=vaughan [2009-02-24 09:59:54] 789*2^622424-1 is not prime. Res64: F3AFF7A87385BD24 Time : 334.0 sec. user=vaughan [2009-02-24 10:00:13] 721*2^622393-1 is not prime. Res64: 1D9F7DBD10CC7A48 Time : 9437.0 sec. user=tnerual [2009-02-24 10:00:29] 785*2^622420-1 is not prime. Res64: 75C5C04474A6C8EF Time : 1321.0 sec. user=vaughan [2009-02-24 10:03:03] 651*2^622425-1 is not prime. Res64: 08ECF7FEF4ECE0EA Time : 409.0 sec. user=vaughan [2009-02-24 10:04:12] 645*2^622394-1 is not prime. Res64: 1E3E69444E76E0D5 Time : 9543.0 sec. user=vaughan [2009-02-24 10:05:26] 657*2^622425-1 is not prime. Res64: 35C489D7E8853E2D Time : 333.0 sec. user=vaughan [2009-02-24 10:06:37] 741*2^622393-1 is not prime. Res64: 9F225E7C8A2C5B56 Time : 9721.0 sec. user=vaughan [2009-02-24 10:09:40] 741*2^622425-1 is not prime. Res64: 7680D767730AD515 Time : 397.0 sec. user=vaughan [2009-02-24 10:09:40] 795*2^622383-1 is not prime. Res64: CE6B0FCF5F65C09F Time : 13370.0 sec. user=vaughan [2009-02-24 10:10:58] 603*2^622427-1 is not prime. Res64: FE5FD498278E4AC5 Time : 332.0 sec. user=vaughan [2009-02-24 10:12:26] 789*2^622375-1 is not prime. Res64: A66524A8E2AAD829 Time : 16355.0 sec. user=vaughan [2009-02-24 10:14:33] 629*2^621124-1 is not prime. Res64: D463F34952948707 Time : 237019.0 sec. user=vaughan [2009-02-24 10:15:57] 643*2^622427-1 is not prime. Res64: 5F15CDF6317EF8E6 Time : 377.0 sec. user=vaughan [2009-02-24 10:16:04] 705*2^622396-1 is not prime. Res64: 2ADDD2E4CFE91CD5 Time : 9440.0 sec. user=vaughan [2009-02-24 10:16:31] 715*2^622427-1 is not prime. Res64: 1F36C7AF92A26D67 Time : 333.0 sec. user=vaughan [2009-02-24 10:20:10] 759*2^622397-1 is not prime. Res64: A14C4391322450E2 Time : 9549.0 sec. user=vaughan [2009-02-24 10:22:03] 767*2^622428-1 is not prime. Res64: 699D8F6BB39362F7 Time : 333.0 sec. user=vaughan [2009-02-24 10:22:17] 633*2^622428-1 is not prime. Res64: 5D8F139D9AA3C3A1 Time : 381.0 sec. user=tnerual [2009-02-24 10:22:36] 709*2^622425-1 is not prime. Res64: 85407F391A12880D Time : 1327.0 sec. user=vaughan [2009-02-24 10:23:11] 729*2^622397-1 is not prime. Res64: 49A85C98F10ED5CF Time : 9736.0 sec. user=vaughan [2009-02-24 10:25:36] 735*2^622377-1 is not prime. Res64: 12B1FB114FBAB6D5 Time : 16453.0 sec. user=vaughan [2009-02-24 10:27:32] 681*2^622429-1 is not prime. Res64: 28D19E30B8C89B01 Time : 329.0 sec. user=vaughan [2009-02-24 10:28:40] 641*2^622430-1 is not prime. Res64: 0C7A45F0A3AB674D Time : 383.0 sec. user=vaughan [2009-02-24 10:28:49] 615*2^622388-1 is not prime. Res64: 96DF58385B7D0537 Time : 13098.0 sec. user=vaughan [2009-02-24 10:31:43] 797*2^622398-1 is not prime. Res64: A02DF339EEFA5642 Time : 9449.0 sec. user=vaughan [2009-02-24 10:33:07] 767*2^622430-1 is not prime. Res64: 5B111610F2928A5F Time : 335.0 sec. user=vaughan [2009-02-24 10:35:00] 619*2^622431-1 is not prime. Res64: 91BF6FDC3FA54786 Time : 380.0 sec. user=vaughan [2009-02-24 10:35:41] 759*2^622399-1 is not prime. Res64: 857D74EE30E9E26D Time : 9517.0 sec. user=vaughan [2009-02-24 10:38:39] 635*2^622432-1 is not prime. Res64: 63CE876134B225D8 Time : 332.0 sec. user=vaughan [2009-02-24 10:38:44] 769*2^622399-1 is not prime. Res64: 3FBC4E2B2585753D Time : 9670.0 sec. user=vaughan [2009-02-24 10:41:41] 653*2^622432-1 is not prime. Res64: 727BFD374B0F8539 Time : 402.0 sec. user=vaughan [2009-02-24 10:42:34] 753*2^622379-1 is not prime. Res64: 65B251AA81AEC2A1 Time : 16780.0 sec. user=vaughan [2009-02-24 10:44:15] 717*2^622432-1 is not prime. Res64: 722995941FCBF6F8 Time : 337.0 sec. user=tnerual [2009-02-24 10:44:38] 657*2^622430-1 is not prime. Res64: 1E21EA24B0EEAB32 Time : 1322.0 sec. user=vaughan [2009-02-24 10:46:04] 639*2^622393-1 is not prime. Res64: 5D23E3C758F9009C Time : 12681.0 sec. user=vaughan [2009-02-24 10:47:12] 649*2^622403-1 is not prime. Res64: 89E65DC48DDD64F9 Time : 9431.0 sec. user=vaughan [2009-02-24 10:47:47] 657*2^621124-1 is not prime. Res64: 47266C86A1189A0C Time : 239012.0 sec. user=vaughan [2009-02-24 10:48:04] 755*2^622432-1 is not prime. Res64: 24ADEFE6D24C41BA Time : 384.0 sec. user=vaughan [2009-02-24 10:49:47] 685*2^622433-1 is not prime. Res64: 7B4D5578C427EF42 Time : 333.0 sec. user=vaughan [2009-02-24 10:51:24] 699*2^622404-1 is not prime. Res64: C4F5B7310A4963D4 Time : 9520.0 sec. user=vaughan [2009-02-24 10:53:14] 717*2^622404-1 is not prime. Res64: EE32C9CC0BB5FFA0 Time : 9539.0 sec. user=vaughan [2009-02-24 10:54:29] 641*2^622434-1 is not prime. Res64: 2F53918315D4E7AD Time : 385.0 sec. user=vaughan [2009-02-24 10:55:21] 671*2^622434-1 is not prime. Res64: 1AB2923469BFD9B0 Time : 334.0 sec. user=vaughan [2009-02-24 10:55:22] 601*2^622381-1 is not prime. Res64: D67056BE3844CCD2 Time : 16863.0 sec. user=vaughan [2009-02-24 11:00:52] 773*2^622434-1 is not prime. Res64: 433EEE40DE51941A Time : 332.0 sec. user=vaughan [2009-02-24 11:00:53] 741*2^622434-1 is not prime. Res64: 59391AF0B78E15DF Time : 384.0 sec. user=vaughan [2009-02-24 11:02:40] 773*2^622406-1 is not prime. Res64: 3D20802E8E695A9F Time : 9416.0 sec. user=vaughan [2009-02-24 11:04:11] 615*2^622397-1 is not prime. Res64: 0AD41BDB4495B738 Time : 12306.0 sec. user=vaughan [2009-02-24 11:06:22] 679*2^622435-1 is not prime. Res64: 76F5A1A5570BAB45 Time : 330.0 sec. user=tnerual [2009-02-24 11:06:38] 697*2^622433-1 is not prime. Res64: 1FDDB39A070567F3 Time : 1321.0 sec. user=vaughan [2009-02-24 11:07:07] 715*2^622435-1 is not prime. Res64: EF93238A942778A1 Time : 374.0 sec. user=vaughan [2009-02-24 11:07:20] 605*2^622408-1 is not prime. Res64: 8E1585357A5B4295 Time : 9519.0 sec. user=vaughan [2009-02-24 11:09:09] 657*2^622408-1 is not prime. Res64: A63C6AD860027D1D Time : 9521.0 sec. user=vaughan [2009-02-24 11:11:59] 743*2^622436-1 is not prime. Res64: 320306C5235406BA Time : 337.0 sec. user=vaughan [2009-02-24 11:12:36] 675*2^622383-1 is not prime. Res64: 2D601BA63179C278 Time : 17195.0 sec. user=vaughan [2009-02-24 11:14:14] 789*2^622436-1 is not prime. Res64: 1DA9243FE60BF9BC Time : 427.0 sec. user=vaughan [2009-02-24 11:17:32] 747*2^622437-1 is not prime. Res64: E45602CD42AE39D8 Time : 334.0 sec. user=vaughan [2009-02-24 11:18:23] 601*2^622409-1 is not prime. Res64: 40B5BB22EA2D606B Time : 9410.0 sec. user=vaughan [2009-02-24 11:21:35] 617*2^622438-1 is not prime. Res64: C689B9A4C61EEAA4 Time : 441.0 sec. user=vaughan [2009-02-24 11:23:06] 787*2^622409-1 is not prime. Res64: DB09405BC9FE3367 Time : 9502.0 sec. user=vaughan [2009-02-24 11:23:06] 623*2^622438-1 is not prime. Res64: 39A8BF2DA7C4E957 Time : 334.0 sec. user=vaughan [2009-02-24 11:25:17] 717*2^622386-1 is not prime. Res64: A1095EF6D23EFA92 Time : 17270.0 sec. user=vaughan [2009-02-24 11:25:54] 789*2^622409-1 is not prime. Res64: 2EBF075B5D37A6A1 Time : 9564.0 sec. user=vaughan [2009-02-24 11:26:47] 797*2^622400-1 is not prime. Res64: 9C90E86FED407B7B Time : 12229.0 sec. user=vaughan [2009-02-24 11:28:23] 643*2^622439-1 is not prime. Res64: BAF0E706DB4AE521 Time : 408.0 sec. user=vaughan [2009-02-24 11:28:39] 745*2^622439-1 is not prime. Res64: 657B87025891E309 Time : 334.0 sec. user=tnerual [2009-02-24 11:28:42] 785*2^622436-1 is not prime. Res64: 29974EC3DF4A99FF Time : 1324.0 sec. user=vaughan [2009-02-24 11:34:02] 769*2^622411-1 is not prime. Res64: 9D2EF7ECA070DB83 Time : 9423.0 sec. user=vaughan [2009-02-24 11:34:12] 759*2^622440-1 is not prime. Res64: 95CDED814CEB1E6C Time : 333.0 sec. user=vaughan [2009-02-24 11:34:55] 737*2^622440-1 is not prime. Res64: 4AFA6209F2687CC5 Time : 393.0 sec. user=vaughan [2009-02-24 11:35:58] 721*2^621125-1 is not prime. Res64: 2E3ED335509F7324 Time : 241903.0 sec. user=vaughan [2009-02-24 11:38:55] 665*2^622412-1 is not prime. Res64: AC33F22B265F8DC7 Time : 9498.0 sec. user=vaughan [2009-02-24 11:39:43] 645*2^622441-1 is not prime. Res64: D70514A9B4396835 Time : 331.0 sec. user=vaughan [2009-02-24 11:41:33] 777*2^622441-1 is not prime. Res64: F5C55B471032E097 Time : 399.0 sec. user=vaughan [2009-02-24 11:42:17] 675*2^622412-1 is not prime. Res64: 411B17ED2C427A5F Time : 9521.0 sec. user=vaughan [2009-02-24 11:42:37] 705*2^622387-1 is not prime. Res64: DE352A4F49B94C77 Time : 17587.0 sec. user=vaughan [2009-02-24 11:45:15] 665*2^622442-1 is not prime. Res64: A218BD6CF0879068 Time : 332.0 sec. user=vaughan [2009-02-24 11:48:38] 675*2^622442-1 is not prime. Res64: D2372D12F08E1756 Time : 426.0 sec. user=vaughan [2009-02-24 11:48:44] 649*2^622407-1 is not prime. Res64: 13DA7345D424BD2F Time : 12144.0 sec. user=vaughan [2009-02-24 11:49:43] 783*2^622414-1 is not prime. Res64: 2C20B02AB407201D Time : 9425.0 sec. user=tnerual [2009-02-24 11:50:44] 795*2^622440-1 is not prime. Res64: 652D981F4B7BD24E Time : 1322.0 sec. user=vaughan [2009-02-24 11:50:46] 619*2^622443-1 is not prime. Res64: F716D0753B48E666 Time : 331.0 sec. user=vaughan [2009-02-24 11:55:03] 603*2^622390-1 is not prime. Res64: 821C0D9C73D4E3DB Time : 17650.0 sec. user=vaughan [2009-02-24 11:55:05] 763*2^622415-1 is not prime. Res64: C6BFC53E54D231C0 Time : 9526.0 sec. user=vaughan [2009-02-24 11:55:47] 783*2^622443-1 is not prime. Res64: BF6E87022A433A5F Time : 429.0 sec. user=vaughan [2009-02-24 11:56:16] 743*2^622444-1 is not prime. Res64: 0ECFA9107AEBC34B Time : 330.0 sec. user=vaughan [2009-02-24 11:58:22] 615*2^622417-1 is not prime. Res64: 2D254260A87B7B6A Time : 9530.0 sec. user=vaughan [2009-02-24 12:01:49] 781*2^622445-1 is not prime. Res64: DB8081209FCF0674 Time : 333.0 sec. user=vaughan [2009-02-24 12:02:17] 655*2^622445-1 is not prime. Res64: 1062133890E2E5E0 Time : 390.0 sec. user=vaughan [2009-02-24 12:05:45] 651*2^622418-1 is not prime. Res64: 940EAEE89C0A71E7 Time : 9427.0 sec. user=vaughan [2009-02-24 12:07:40] 641*2^622446-1 is not prime. Res64: 87F58BF2DC26AA1B Time : 351.0 sec. user=vaughan [2009-02-24 12:09:10] 705*2^622446-1 is not prime. Res64: 64C0A3CF26948988 Time : 413.0 sec. user=vaughan [2009-02-24 12:11:30] 685*2^622419-1 is not prime. Res64: 9179837FE10D34F1 Time : 9539.0 sec. user=vaughan [2009-02-24 12:11:46] 647*2^622410-1 is not prime. Res64: 1AFC85EDA4C65131 Time : 12304.0 sec. user=vaughan [2009-02-24 12:12:37] 775*2^622391-1 is not prime. Res64: DE091559EF4225EF Time : 17976.0 sec. user=tnerual [2009-02-24 12:12:46] 675*2^622444-1 is not prime. Res64: 6D23D3E67F62A245 Time : 1322.0 sec. user=vaughan [2009-02-24 12:13:33] 765*2^622447-1 is not prime. Res64: 4CA509DF601FF8E7 Time : 353.0 sec. user=vaughan [2009-02-24 12:14:32] 741*2^622419-1 is not prime. Res64: 9A8DF9F912F0E6A7 Time : 9560.0 sec. user=vaughan [2009-02-24 12:16:03] 617*2^622448-1 is not prime. Res64: CC2D61DA7EBA49A9 Time : 413.0 sec. user=vaughan [2009-02-24 12:19:25] 695*2^622450-1 is not prime. Res64: 9B3657BC0337169B Time : 353.0 sec. user=vaughan [2009-02-24 12:21:45] 771*2^621125-1 is not prime. Res64: BAA71AF3C915673B Time : 244650.0 sec. user=vaughan [2009-02-24 12:22:25] 615*2^622423-1 is not prime. Res64: 560BD3591003824F Time : 9476.0 sec. user=vaughan [2009-02-24 12:22:25] 777*2^622450-1 is not prime. Res64: 5363F10B9C31BE20 Time : 382.0 sec. user=vaughan [2009-02-24 12:24:59] 707*2^622394-1 is not prime. Res64: 8D9B1E6DD48810E8 Time : 17894.0 sec. user=vaughan [2009-02-24 12:25:17] 663*2^622451-1 is not prime. Res64: 4B1B0044C12DF540 Time : 352.0 sec. user=vaughan [2009-02-24 12:28:05] 765*2^622423-1 is not prime. Res64: 361BC98CC33384F7 Time : 9590.0 sec. user=vaughan [2009-02-24 12:28:45] 733*2^622451-1 is not prime. Res64: 892F64AE323708CD Time : 380.0 sec. user=vaughan [2009-02-24 12:30:22] 747*2^622424-1 is not prime. Res64: 9FC2ED07B17665FD Time : 9604.0 sec. user=vaughan [2009-02-24 12:31:10] 669*2^622452-1 is not prime. Res64: 7313F5B0E44C63AA Time : 353.0 sec. user=vaughan [2009-02-24 12:34:23] 747*2^622413-1 is not prime. Res64: BAC0171400BA6DC0 Time : 12450.0 sec. user=tnerual [2009-02-24 12:34:53] 665*2^622450-1 is not prime. Res64: E7C04BD275EB3ED8 Time : 1328.0 sec. user=vaughan [2009-02-24 12:35:22] 651*2^622453-1 is not prime. Res64: 8132DBC564DC937C Time : 397.0 sec. user=vaughan [2009-02-24 12:37:02] 617*2^622454-1 is not prime. Res64: 2EBE480B9C63CDD6 Time : 353.0 sec. user=vaughan [2009-02-24 12:38:36] 685*2^622425-1 is not prime. Res64: AD76736641C7BCBC Time : 9503.0 sec. user=vaughan [2009-02-24 12:42:04] 707*2^622454-1 is not prime. Res64: 5D92D2C443110DBA Time : 402.0 sec. user=vaughan [2009-02-24 12:42:45] 627*2^622398-1 is not prime. Res64: B8FA2BB6B961817F Time : 18028.0 sec. user=vaughan [2009-02-24 12:42:58] 711*2^622454-1 is not prime. Res64: 5F6D8FF4A4A52933 Time : 356.0 sec. user=vaughan [2009-02-24 12:44:29] 751*2^622425-1 is not prime. Res64: DC8E9BDB878EBEB6 Time : 9617.0 sec. user=vaughan [2009-02-24 12:45:46] 619*2^622427-1 is not prime. Res64: FA6914F984F9CEE9 Time : 9549.0 sec. user=vaughan [2009-02-24 12:48:50] 751*2^622455-1 is not prime. Res64: E33C3A0DDF3E7C1D Time : 353.0 sec. user=vaughan [2009-02-24 12:49:02] 663*2^622455-1 is not prime. Res64: 51D39FA4B2D07A22 Time : 419.0 sec. user=vaughan [2009-02-24 12:54:45] 741*2^622399-1 is not prime. Res64: A2428F69F6302125 Time : 17887.0 sec. user=vaughan [2009-02-24 12:54:45] 653*2^622456-1 is not prime. Res64: 68DB7CADDEDCB449 Time : 355.0 sec. user=vaughan [2009-02-24 12:54:54] 663*2^622428-1 is not prime. Res64: CB4F4BA7022B5175 Time : 9530.0 sec. user=vaughan [2009-02-24 12:55:48] 695*2^622456-1 is not prime. Res64: 2C4C3ADA24D7091E Time : 406.0 sec. user=tnerual [2009-02-24 12:56:54] 663*2^622454-1 is not prime. Res64: E25D66D91E4E4502 Time : 1322.0 sec. user=vaughan [2009-02-24 12:57:33] 603*2^622418-1 is not prime. Res64: D0FAD7D2EA2B8C4F Time : 12696.0 sec. user=vaughan [2009-02-24 13:00:31] 777*2^621125-1 is not prime. Res64: FFDC5CBC6DF77FCE Time : 246975.0 sec. user=vaughan [2009-02-24 13:00:41] 675*2^622457-1 is not prime. Res64: 6DA5D7748AC6E82F Time : 356.0 sec. user=vaughan [2009-02-24 13:01:01] 675*2^622430-1 is not prime. Res64: 437BAB613D77C89C Time : 9470.0 sec. user=vaughan [2009-02-24 13:01:01] 621*2^622429-1 is not prime. Res64: 1C4315A47B7A0B5A Time : 9651.0 sec. user=vaughan [2009-02-24 13:02:52] 671*2^622458-1 is not prime. Res64: 55E22A3A949439B4 Time : 424.0 sec. user=vaughan [2009-02-24 13:06:34] 691*2^622459-1 is not prime. Res64: E3504A43CF9C6B2D Time : 353.0 sec. user=vaughan [2009-02-24 13:09:40] 759*2^622459-1 is not prime. Res64: 797B4A386962470C Time : 408.0 sec. user=vaughan [2009-02-24 13:11:10] 763*2^622431-1 is not prime. Res64: DD4AD1CE34E35DFA Time : 9568.0 sec. user=vaughan [2009-02-24 13:12:27] 769*2^622459-1 is not prime. Res64: C981564CCF3A088A Time : 354.0 sec. user=vaughan [2009-02-24 13:12:41] 683*2^622404-1 is not prime. Res64: 64B39380CADD0DFF Time : 18020.0 sec. user=vaughan [2009-02-24 13:16:31] 603*2^622460-1 is not prime. Res64: 807BAD684A626B10 Time : 411.0 sec. user=vaughan [2009-02-24 13:16:50] 723*2^622432-1 is not prime. Res64: 40F051083D66F0B6 Time : 9486.0 sec. user=vaughan [2009-02-24 13:17:26] 695*2^622432-1 is not prime. Res64: B49538246525860F Time : 9705.0 sec. user=vaughan [2009-02-24 13:18:25] 773*2^622460-1 is not prime. Res64: 6D670D2C001E6F29 Time : 358.0 sec. user=tnerual [2009-02-24 13:18:55] 695*2^622458-1 is not prime. Res64: D58050CCA4BD8CA0 Time : 1322.0 sec. user=vaughan [2009-02-24 13:19:57] 663*2^622423-1 is not prime. Res64: FCD89A1D7EBA7A4F Time : 12741.0 sec. user=vaughan [2009-02-24 13:23:06] 741*2^622461-1 is not prime. Res64: 6CA98C0AE8D2870A Time : 395.0 sec. user=vaughan [2009-02-24 13:24:19] 653*2^622462-1 is not prime. Res64: F9DDA4965E02DC4A Time : 354.0 sec. user=vaughan [2009-02-24 13:24:35] 795*2^622407-1 is not prime. Res64: 6BDE46832D132DA5 Time : 17893.0 sec. user=vaughan [2009-02-24 13:27:19] 787*2^622433-1 is not prime. Res64: 50B8B882A124F638 Time : 9607.0 sec. user=vaughan [2009-02-24 13:29:22] 721*2^622463-1 is not prime. Res64: 16461D3E498417CD Time : 377.0 sec. user=vaughan [2009-02-24 13:29:52] 683*2^622434-1 is not prime. Res64: 06F8C30817AE7D8A Time : 9399.0 sec. user=vaughan [2009-02-24 13:30:13] 729*2^622463-1 is not prime. Res64: 74E7F50072D22A5E Time : 355.0 sec. user=vaughan [2009-02-24 13:34:03] 677*2^622434-1 is not prime. Res64: DF5E84FDD4245869 Time : 9759.0 sec. user=vaughan [2009-02-24 13:35:35] 623*2^622464-1 is not prime. Res64: 3B945785D28F5529 Time : 373.0 sec. user=vaughan [2009-02-24 13:36:08] 693*2^622464-1 is not prime. Res64: EB2F5C22981D14E0 Time : 355.0 sec. user=vaughan [2009-02-24 13:37:48] 705*2^622427-1 is not prime. Res64: 7BE785D700D353EF Time : 12488.0 sec. user=vaughan [2009-02-24 13:40:08] 611*2^621126-1 is not prime. Res64: 5499FBB4A2AF48A7 Time : 249352.0 sec. user=tnerual [2009-02-24 13:40:57] 675*2^622462-1 is not prime. Res64: 1EED2430B62C2499 Time : 1323.0 sec. user=vaughan [2009-02-24 13:41:49] 777*2^622465-1 is not prime. Res64: 9790C9FCB844A12F Time : 374.0 sec. user=vaughan [2009-02-24 13:42:02] 789*2^622465-1 is not prime. Res64: 9449EE9C64538A85 Time : 355.0 sec. user=vaughan [2009-02-24 13:42:28] 717*2^622437-1 is not prime. Res64: 5C03139F7D0B826C Time : 9199.0 sec. user=vaughan [2009-02-24 13:42:40] 697*2^622409-1 is not prime. Res64: B1639CFF7BBF647A Time : 18016.0 sec. user=vaughan [2009-02-24 13:43:28] 623*2^622436-1 is not prime. Res64: 40B84D4A667ADDB2 Time : 9648.0 sec. user=vaughan [2009-02-24 13:47:57] 677*2^622468-1 is not prime. Res64: A741E919162AD8B7 Time : 356.0 sec. user=vaughan [2009-02-24 13:48:06] 711*2^622467-1 is not prime. Res64: 73FAA16EDF418FD0 Time : 377.0 sec. user=vaughan [2009-02-24 13:50:18] 655*2^622437-1 is not prime. Res64: 31D4D3602975A45F Time : 9778.0 sec. user=vaughan [2009-02-24 13:53:54] 797*2^622468-1 is not prime. Res64: E6DD721884EB1AED Time : 357.0 sec. user=vaughan [2009-02-24 13:53:59] 685*2^622431-1 is not prime. Res64: E529D21953C7760E Time : 12311.0 sec. user=vaughan [2009-02-24 13:54:22] 691*2^622411-1 is not prime. Res64: 0629BE926C7E82C9 Time : 17887.0 sec. user=vaughan [2009-02-24 13:55:01] 615*2^622469-1 is not prime. Res64: F1C17C548AAA6651 Time : 415.0 sec. user=vaughan [2009-02-24 13:55:19] 665*2^622440-1 is not prime. Res64: DC820C5494318CC5 Time : 8965.0 sec. user=vaughan [2009-02-24 13:59:17] 705*2^622438-1 is not prime. Res64: 903A09D8B7DB5336 Time : 9654.0 sec. user=vaughan [2009-02-24 13:59:47] 691*2^622469-1 is not prime. Res64: D0A36CD08C9A68CF Time : 354.0 sec. user=vaughan [2009-02-24 14:02:05] 673*2^622471-1 is not prime. Res64: 81AD2A418D544E1D Time : 424.0 sec. user=tnerual [2009-02-24 14:02:59] 705*2^622467-1 is not prime. Res64: 7388DA846BA63115 Time : 1323.0 sec. user=vaughan [2009-02-24 14:05:40] 723*2^622471-1 is not prime. Res64: E77392C3C3588F22 Time : 353.0 sec. user=vaughan [2009-02-24 14:05:54] 661*2^622439-1 is not prime. Res64: 8B276E27B777B2CE Time : 9769.0 sec. user=vaughan [2009-02-24 14:08:18] 641*2^621126-1 is not prime. Res64: 945F2FB842F8BDAD Time : 251041.0 sec. user=vaughan [2009-02-24 14:08:50] 771*2^622471-1 is not prime. Res64: 302B1388B9930839 Time : 406.0 sec. user=vaughan [2009-02-24 14:09:00] 677*2^622442-1 is not prime. Res64: 657AD13AA6F3E27F Time : 8803.0 sec. user=vaughan [2009-02-24 14:11:34] 793*2^622471-1 is not prime. Res64: CE02B58616AF8790 Time : 355.0 sec. user=vaughan [2009-02-24 14:12:40] 687*2^622414-1 is not prime. Res64: 5F29A5BCBA96CE39 Time : 18017.0 sec. user=vaughan [2009-02-24 14:12:56] 735*2^622433-1 is not prime. Res64: 122A21E781DF7377 Time : 12412.0 sec. user=vaughan [2009-02-24 14:14:29] 797*2^622440-1 is not prime. Res64: 8C469E8B73A30740 Time : 9628.0 sec. user=vaughan [2009-02-24 14:15:43] 735*2^622472-1 is not prime. Res64: 03B0614E85FBC4F4 Time : 414.0 sec. user=vaughan [2009-02-24 14:17:27] 627*2^622473-1 is not prime. Res64: D257105ED9D8A7DA Time : 353.0 sec. user=vaughan [2009-02-24 14:20:35] 633*2^622442-1 is not prime. Res64: E23EFC613148D1CF Time : 9700.0 sec. user=vaughan [2009-02-24 14:22:43] 721*2^622473-1 is not prime. Res64: 6747E6262E5738FB Time : 420.0 sec. user=vaughan [2009-02-24 14:23:18] 635*2^622446-1 is not prime. Res64: 029976E8664E2263 Time : 8696.0 sec. user=vaughan [2009-02-24 14:23:21] 781*2^622473-1 is not prime. Res64: 4B5BDE13EB67E025 Time : 354.0 sec. user=vaughan [2009-02-24 14:24:14] 623*2^622418-1 is not prime. Res64: 0BD92D0108A598BF Time : 17894.0 sec. user=tnerual [2009-02-24 14:25:00] 789*2^622471-1 is not prime. Res64: 41A6DAFB08C69E79 Time : 1321.0 sec. user=vaughan [2009-02-24 14:28:59] 617*2^622444-1 is not prime. Res64: 8BB0EF1C4D911F60 Time : 9556.0 sec. user=vaughan [2009-02-24 14:29:14] 747*2^622474-1 is not prime. Res64: 628E59337FD1A468 Time : 354.0 sec. user=vaughan [2009-02-24 14:29:49] 687*2^622474-1 is not prime. Res64: F793B74B68BC4B94 Time : 426.0 sec. user=vaughan [2009-02-24 14:35:01] 773*2^622444-1 is not prime. Res64: 1B5FEC24A9C565C9 Time : 9596.0 sec. user=vaughan [2009-02-24 14:35:07] 693*2^622475-1 is not prime. Res64: BE6776E58BD08679 Time : 353.0 sec. user=vaughan [2009-02-24 14:36:13] 629*2^622436-1 is not prime. Res64: 4043FBDB319D0EA0 Time : 12722.0 sec. user=vaughan [2009-02-24 14:36:36] 783*2^622475-1 is not prime. Res64: D925A3A0A395688C Time : 407.0 sec. user=vaughan [2009-02-24 14:37:17] 723*2^622450-1 is not prime. Res64: 7932C17C2FE98A08 Time : 8566.0 sec. user=vaughan [2009-02-24 14:40:00] 725*2^621126-1 is not prime. Res64: D4A3B261A9BE217B Time : 252943.0 sec. user=vaughan [2009-02-24 14:41:05] 693*2^622476-1 is not prime. Res64: DE62CA1B2AD2FDDF Time : 358.0 sec. user=vaughan [2009-02-24 14:42:40] 769*2^622421-1 is not prime. Res64: B7A70E58B043758F Time : 18013.0 sec. user=vaughan [2009-02-24 14:43:15] 645*2^622447-1 is not prime. Res64: A21538F89A7DAFEA Time : 9450.0 sec. user=vaughan [2009-02-24 14:43:45] 773*2^622476-1 is not prime. Res64: 9EE2C0C2BC9A45A6 Time : 429.0 sec. user=vaughan [2009-02-24 14:47:00] 743*2^622478-1 is not prime. Res64: E63C87C7113BC5A2 Time : 355.0 sec. user=tnerual [2009-02-24 14:47:03] 649*2^622475-1 is not prime. Res64: CC40117E8C8A669B Time : 1324.0 sec. user=vaughan [2009-02-24 14:49:17] 637*2^622449-1 is not prime. Res64: 9B4FE8619B5378A4 Time : 9467.0 sec. user=vaughan [2009-02-24 14:50:41] 685*2^622453-1 is not prime. Res64: 5B5A5BDD7DCE57A8 Time : 8419.0 sec. user=vaughan [2009-02-24 14:50:48] 663*2^622479-1 is not prime. Res64: 46599E8C0CF95892 Time : 423.0 sec. user=vaughan [2009-02-24 14:52:54] 653*2^622480-1 is not prime. Res64: 6DA2572FD5FA2B02 Time : 355.0 sec. user=vaughan [2009-02-24 14:54:08] 627*2^622425-1 is not prime. Res64: 3C973DE40B70C1B7 Time : 17899.0 sec. user=vaughan [2009-02-24 14:55:23] 699*2^622440-1 is not prime. Res64: E96844C38D074CD8 Time : 12516.0 sec. user=vaughan [2009-02-24 14:56:22] 711*2^622451-1 is not prime. Res64: D307F8BECB1EA790 Time : 9238.0 sec. user=vaughan [2009-02-24 14:57:42] 797*2^622480-1 is not prime. Res64: 510893BECE8E91C5 Time : 415.0 sec. user=vaughan [2009-02-24 14:58:48] 645*2^622481-1 is not prime. Res64: EBFE82259BC4385D Time : 354.0 sec. user=vaughan [2009-02-24 15:01:53] 683*2^622452-1 is not prime. Res64: 5F6B97580E2BF96E Time : 9228.0 sec. user=vaughan [2009-02-24 15:04:09] 609*2^622456-1 is not prime. Res64: A6B364F8F11E235D Time : 8304.0 sec. user=vaughan [2009-02-24 15:04:21] 731*2^622482-1 is not prime. Res64: 823480BC89A4ACAB Time : 399.0 sec. user=vaughan [2009-02-24 15:04:42] 747*2^622482-1 is not prime. Res64: DC69C6D62AD5967C Time : 354.0 sec. user=vaughan [2009-02-24 15:08:41] 643*2^622455-1 is not prime. Res64: 5B13645F3CC4D8EC Time : 9005.0 sec. user=vaughan [2009-02-24 15:08:53] 777*2^621126-1 is not prime. Res64: A37D9B4E36741284 Time : 254676.0 sec. user=tnerual [2009-02-24 15:09:09] 687*2^622480-1 is not prime. Res64: 1CC02283A66AA09A Time : 1326.0 sec. user=vaughan [2009-02-24 15:10:34] 771*2^622483-1 is not prime. Res64: 62452447A4D2E109 Time : 352.0 sec. user=vaughan [2009-02-24 15:11:11] 765*2^622483-1 is not prime. Res64: 559A06962BE8C2EB Time : 410.0 sec. user=vaughan [2009-02-24 15:11:47] 793*2^622443-1 is not prime. Res64: 0FB934F1A5560331 Time : 12183.0 sec. user=vaughan [2009-02-24 15:12:39] 741*2^622427-1 is not prime. Res64: 3C6FF7393788AE96 Time : 18013.0 sec. user=vaughan [2009-02-24 15:14:04] 783*2^622455-1 is not prime. Res64: 5D39D1D5936ACC50 Time : 8975.0 sec. user=vaughan [2009-02-24 15:16:26] 759*2^622484-1 is not prime. Res64: 2E1AC237BF9096FB Time : 352.0 sec. user=vaughan [2009-02-24 15:17:49] 691*2^622485-1 is not prime. Res64: 355093CF2C233F64 Time : 398.0 sec. user=vaughan [2009-02-24 15:20:07] 723*2^622459-1 is not prime. Res64: AFB7A1B7DA214D8B Time : 8346.0 sec. user=vaughan [2009-02-24 15:20:59] 727*2^622457-1 is not prime. Res64: 3DC13EBF06AC6A67 Time : 8765.0 sec. user=vaughan [2009-02-24 15:22:19] 609*2^622487-1 is not prime. Res64: 6C07A0CEE65B7893 Time : 353.0 sec. user=vaughan [2009-02-24 15:23:54] 731*2^622430-1 is not prime. Res64: 25B3D3B0AC73E3A5 Time : 17898.0 sec. user=vaughan [2009-02-24 15:24:35] 633*2^622487-1 is not prime. Res64: 18776F1508F50AAD Time : 406.0 sec. user=vaughan [2009-02-24 15:26:25] 741*2^622459-1 is not prime. Res64: FE11080BE286B326 Time : 8724.0 sec. user=vaughan [2009-02-24 15:27:19] 681*2^622449-1 is not prime. Res64: F161460E43A9F4E7 Time : 11733.0 sec. user=vaughan [2009-02-24 15:28:12] 729*2^622487-1 is not prime. Res64: 2CD0B3BB453B1E36 Time : 353.0 sec. user=tnerual [2009-02-24 15:31:11] 707*2^622484-1 is not prime. Res64: 1E5E4FAD0DC0E8E8 Time : 1322.0 sec. user=vaughan [2009-02-24 15:31:24] 799*2^622487-1 is not prime. Res64: 701700DC353ED0E9 Time : 409.0 sec. user=vaughan [2009-02-24 15:33:22] 669*2^622460-1 is not prime. Res64: A56E3443B1DABB76 Time : 8532.0 sec. user=vaughan [2009-02-24 15:34:06] 669*2^622488-1 is not prime. Res64: 03F187154EB3F000 Time : 355.0 sec. user=vaughan [2009-02-24 15:34:44] 747*2^622461-1 is not prime. Res64: 66B4CC09DC0958E9 Time : 8274.0 sec. user=vaughan [2009-02-24 15:36:13] 615*2^621127-1 is not prime. Res64: 9ED589EF7578A3D8 Time : 256315.0 sec. user=vaughan [2009-02-24 15:38:23] 637*2^622489-1 is not prime. Res64: DE2A0C1C086CC806 Time : 419.0 sec. user=vaughan [2009-02-24 15:38:49] 611*2^622462-1 is not prime. Res64: 361464D3867F9CE9 Time : 8484.0 sec. user=vaughan [2009-02-24 15:39:58] 691*2^622489-1 is not prime. Res64: AA13C718F04D89CA Time : 352.0 sec. user=vaughan [2009-02-24 15:42:45] 779*2^622432-1 is not prime. Res64: 12D0E304F27BCE30 Time : 18011.0 sec. user=vaughan [2009-02-24 15:42:53] 657*2^622454-1 is not prime. Res64: BB4122A1472A4950 Time : 11311.0 sec. user=vaughan [2009-02-24 15:45:18] 765*2^622489-1 is not prime. Res64: 2264C30E090BEC54 Time : 415.0 sec. user=vaughan [2009-02-24 15:45:34] 609*2^622464-1 is not prime. Res64: 3F87854A5C662F62 Time : 8295.0 sec. user=vaughan [2009-02-24 15:45:53] 651*2^622490-1 is not prime. Res64: B501A3389719F82B Time : 355.0 sec. user=vaughan [2009-02-24 15:48:31] 629*2^622464-1 is not prime. Res64: A9BF210E21F033A0 Time : 8319.0 sec. user=vaughan [2009-02-24 15:51:04] 601*2^622465-1 is not prime. Res64: 4305B28D5B202971 Time : 8221.0 sec. user=vaughan [2009-02-24 15:51:46] 785*2^622490-1 is not prime. Res64: E823C57352B796D6 Time : 354.0 sec. user=vaughan [2009-02-24 15:52:13] 701*2^622490-1 is not prime. Res64: A99A1055B442FE50 Time : 416.0 sec. user=tnerual [2009-02-24 15:53:17] 615*2^622489-1 is not prime. Res64: 43970BBEC6685A58 Time : 1326.0 sec. user=vaughan [2009-02-24 15:53:42] 651*2^622435-1 is not prime. Res64: 79D2571A879A92BC Time : 17901.0 sec. user=vaughan [2009-02-24 15:57:37] 765*2^622468-1 is not prime. Res64: 3EF263B57A2AF270 Time : 8050.0 sec. user=vaughan [2009-02-24 15:57:38] 651*2^622491-1 is not prime. Res64: 27B8F27BA7818360 Time : 352.0 sec. user=vaughan [2009-02-24 15:59:14] 723*2^622491-1 is not prime. Res64: 48A7EC9459F1775A Time : 421.0 sec. user=vaughan [2009-02-24 15:59:21] 767*2^622458-1 is not prime. Res64: A56B2B9277E4980F Time : 10910.0 sec. user=vaughan [2009-02-24 16:02:30] 723*2^622468-1 is not prime. Res64: C75FC0C3BDFB599E Time : 8402.0 sec. user=vaughan [2009-02-24 16:03:07] 655*2^622469-1 is not prime. Res64: 3FC361BCFD91B1E6 Time : 7969.0 sec. user=vaughan [2009-02-24 16:03:25] 609*2^622492-1 is not prime. Res64: DD6834F6F2AC424B Time : 347.0 sec. user=vaughan [2009-02-24 16:04:36] 735*2^621127-1 is not prime. Res64: 8EFFB5315CDBF2AF Time : 258018.0 sec. user=vaughan [2009-02-24 16:05:57] 615*2^622492-1 is not prime. Res64: 6519229781458AFB Time : 403.0 sec. user=vaughan [2009-02-24 16:09:17] 695*2^622492-1 is not prime. Res64: 2DE4055DA57861EE Time : 352.0 sec. user=vaughan [2009-02-24 16:09:45] 709*2^622471-1 is not prime. Res64: A19F2170608903ED Time : 7828.0 sec. user=vaughan [2009-02-24 16:12:49] 777*2^622492-1 is not prime. Res64: 0B48D771D29AC33B Time : 412.0 sec. user=vaughan [2009-02-24 16:12:51] 611*2^622438-1 is not prime. Res64: 3FE41E9832CB33A0 Time : 18016.0 sec. user=vaughan [2009-02-24 16:15:09] 621*2^622493-1 is not prime. Res64: AABFA17DFA2B5D50 Time : 352.0 sec. user=vaughan [2009-02-24 16:15:14] 615*2^622472-1 is not prime. Res64: 009895BE16076B3D Time : 7760.0 sec. user=tnerual [2009-02-24 16:15:23] 783*2^622491-1 is not prime. Res64: 36EFB404623FC603 Time : 1326.0 sec. user=vaughan [2009-02-24 16:15:50] 693*2^622463-1 is not prime. Res64: 4A4EDDF0B61DD772 Time : 10554.0 sec. user=vaughan [2009-02-24 16:16:06] 685*2^622471-1 is not prime. Res64: 7395B22C075DFBC6 Time : 8447.0 sec. user=vaughan [2009-02-24 16:19:27] 691*2^622493-1 is not prime. Res64: 64A4A46143140257 Time : 398.0 sec. user=vaughan [2009-02-24 16:21:02] 723*2^622495-1 is not prime. Res64: 70BC594DE5F20760 Time : 353.0 sec. user=vaughan [2009-02-24 16:21:57] 699*2^622473-1 is not prime. Res64: C7F1B97C6FB97354 Time : 7648.0 sec. user=vaughan [2009-02-24 16:23:29] 771*2^622439-1 is not prime. Res64: B8D4885822B70712 Time : 17893.0 sec. user=vaughan [2009-02-24 16:26:21] 727*2^622497-1 is not prime. Res64: 1630264C05944F33 Time : 414.0 sec. user=vaughan [2009-02-24 16:26:55] 781*2^622497-1 is not prime. Res64: 2836B7B3CC40C299 Time : 354.0 sec. user=vaughan [2009-02-24 16:27:19] 605*2^622474-1 is not prime. Res64: 728E34DEF748F472 Time : 7605.0 sec. user=vaughan [2009-02-24 16:29:45] 797*2^622472-1 is not prime. Res64: F86D289CD577C89D Time : 8445.0 sec. user=vaughan [2009-02-24 16:30:56] 741*2^621127-1 is not prime. Res64: 9BAB41A90BB87930 Time : 276.0 sec. user=vaughan [2009-02-24 16:32:48] 725*2^621128-1 is not prime. Res64: BF07765CA06F1A7D Time : 354.0 sec. user=vaughan [2009-02-24 16:33:03] 755*2^622466-1 is not prime. Res64: 7CA841E72A81458F Time : 10515.0 sec. user=vaughan [2009-02-24 16:34:15] 669*2^622475-1 is not prime. Res64: B28137E54CA12E5A Time : 7516.0 sec. user=tnerual [2009-02-24 16:37:29] 725*2^622496-1 is not prime. Res64: 1B10A25A0FB0BA2B Time : 1326.0 sec. user=vaughan [2009-02-24 16:38:41] 781*2^621129-1 is not prime. Res64: 4127D5A8769F5304 Time : 353.0 sec. user=vaughan [2009-02-24 16:39:46] 639*2^622476-1 is not prime. Res64: 21F41524B01C802B Time : 7486.0 sec. user=vaughan [2009-02-24 16:40:33] 603*2^621130-1 is not prime. Res64: A987905813C778E3 Time : 413.0 sec. user=vaughan [2009-02-24 16:42:51] 797*2^622442-1 is not prime. Res64: 188EEFD09BBB318F Time : 18014.0 sec. user=vaughan [2009-02-24 16:44:33] 789*2^621131-1 is not prime. Res64: 5398B5E9C398E764 Time : 353.0 sec. user=vaughan [2009-02-24 16:45:59] 731*2^622474-1 is not prime. Res64: 2CD251149D1EB5E9 Time : 8561.0 sec. user=vaughan [2009-02-24 16:46:44] 615*2^622479-1 is not prime. Res64: 577DE59A9F6B8BF2 Time : 7409.0 sec. user=vaughan [2009-02-24 16:47:16] 723*2^621132-1 is not prime. Res64: 88777642DAB7B84C Time : 403.0 sec. user=vaughan [2009-02-24 16:48:36] 725*2^622470-1 is not prime. Res64: 3E9921A3CBCA0BEF Time : 10477.0 sec. user=vaughan [2009-02-24 16:50:27] 765*2^621132-1 is not prime. Res64: 3B7F40D2F83860CC Time : 354.0 sec. user=vaughan [2009-02-24 16:52:03] 707*2^622480-1 is not prime. Res64: E81C95778378877B Time : 7367.0 sec. user=vaughan [2009-02-24 16:53:17] 765*2^622444-1 is not prime. Res64: CB964D145A8391DB Time : 17895.0 sec. user=vaughan [2009-02-24 16:54:29] 687*2^621133-1 is not prime. Res64: DE7D5CCB17C8462A Time : 433.0 sec. user=vaughan [2009-02-24 16:56:23] 757*2^621133-1 is not prime. Res64: 69FEA8C34C61F0C5 Time : 356.0 sec. user=vaughan [2009-02-24 16:58:56] 683*2^622482-1 is not prime. Res64: 5E0930F57F018786 Time : 7355.0 sec. user=tnerual [2009-02-24 16:59:28] 631*2^621131-1 is not prime. Res64: 7EEDF0EBD6CE99C4 Time : 1319.0 sec. user=vaughan [2009-02-24 16:59:45] 663*2^622478-1 is not prime. Res64: 2F5AF33D25180DC1 Time : 8548.0 sec. user=vaughan [2009-02-24 17:01:34] 785*2^621134-1 is not prime. Res64: A2E77BE42794765F Time : 425.0 sec. user=vaughan [2009-02-24 17:02:14] 693*2^621135-1 is not prime. Res64: 604AC56F47A7422C Time : 352.0 sec. user=vaughan [2009-02-24 17:04:32] 765*2^622482-1 is not prime. Res64: C721DCD355CA92F1 Time : 7359.0 sec. user=vaughan [2009-02-24 17:06:28] 691*2^622473-1 is not prime. Res64: 9073CD9BB2A06FDB Time : 10412.0 sec. user=vaughan [2009-02-24 17:08:06] 631*2^621137-1 is not prime. Res64: 08F156FF0860DD3F Time : 352.0 sec. user=vaughan [2009-02-24 17:08:34] 619*2^621137-1 is not prime. Res64: 8DEDA681BFFE1F26 Time : 420.0 sec. user=vaughan [2009-02-24 17:11:19] 789*2^622483-1 is not prime. Res64: 3C8B587D7D933760 Time : 7358.0 sec. user=vaughan [2009-02-24 17:13:00] 735*2^622449-1 is not prime. Res64: 5D05B7FA6A4E4163 Time : 18023.0 sec. user=vaughan [2009-02-24 17:13:58] 711*2^621137-1 is not prime. Res64: ABDEF555D38A8EE4 Time : 352.0 sec. user=vaughan [2009-02-24 17:15:27] 773*2^622480-1 is not prime. Res64: 3B9B1F180765A1A5 Time : 8687.0 sec. user=vaughan [2009-02-24 17:15:36] 777*2^621137-1 is not prime. Res64: F692AC48C7D1E568 Time : 422.0 sec. user=vaughan [2009-02-24 17:17:02] 741*2^622486-1 is not prime. Res64: B0626B8D69CECEE8 Time : 7378.0 sec. user=vaughan [2009-02-24 17:19:53] 747*2^621138-1 is not prime. Res64: F9E54549F31EE4EC Time : 355.0 sec. user=tnerual [2009-02-24 17:21:31] 695*2^621136-1 is not prime. Res64: 19FE41EBF84D0278 Time : 1323.0 sec. user=vaughan [2009-02-24 17:22:50] 615*2^621139-1 is not prime. Res64: 704D2D896DF369B2 Time : 434.0 sec. user=vaughan [2009-02-24 17:23:11] 635*2^622452-1 is not prime. Res64: CE7876AD94089800 Time : 17892.0 sec. user=vaughan [2009-02-24 17:24:02] 673*2^622487-1 is not prime. Res64: FB7AEB3C03177172 Time : 7383.0 sec. user=vaughan [2009-02-24 17:25:46] 751*2^621139-1 is not prime. Res64: BA95DEE3E2936A25 Time : 353.0 sec. user=vaughan [2009-02-24 17:28:47] 705*2^622476-1 is not prime. Res64: 7F1DBD9BEC5AE1E6 Time : 10354.0 sec. user=vaughan [2009-02-24 17:29:52] 635*2^622488-1 is not prime. Res64: F8CDD4D6BDE06CA4 Time : 7407.0 sec. user=vaughan [2009-02-24 17:30:23] 669*2^621140-1 is not prime. Res64: 13084A9D36F38605 Time : 453.0 sec. user=vaughan [2009-02-24 17:31:40] 621*2^621141-1 is not prime. Res64: 09EBA071E8319FA7 Time : 354.0 sec. user=vaughan [2009-02-24 17:32:05] 693*2^622483-1 is not prime. Res64: 8AA639DD713A7489 Time : 8876.0 sec. user=vaughan [2009-02-24 17:36:47] 639*2^622489-1 is not prime. Res64: F6DF2884B37FFBD9 Time : 7405.0 sec. user=vaughan [2009-02-24 17:37:33] 635*2^621142-1 is not prime. Res64: 4B81E6446DA875AD Time : 354.0 sec. user=vaughan [2009-02-24 17:37:38] 617*2^621142-1 is not prime. Res64: 53AC59682A17D63E Time : 436.0 sec. user=vaughan [2009-02-24 17:42:29] 799*2^622489-1 is not prime. Res64: 8553569BDDEE7345 Time : 7420.0 sec. user=vaughan [2009-02-24 17:43:03] 669*2^622455-1 is not prime. Res64: 83634480A50E0498 Time : 18019.0 sec. user=vaughan [2009-02-24 17:43:03] 753*2^621128-1 is not prime. Res64: A8A4B502AE7BCFE5 Time : 4544.0 sec. user=vaughan [2009-02-24 17:43:27] 615*2^621143-1 is not prime. Res64: 33C29AE47976C027 Time : 354.0 sec. user=tnerual [2009-02-24 17:43:30] 771*2^621139-1 is not prime. Res64: 161A7AF92EE70B28 Time : 1319.0 sec. user=vaughan [2009-02-24 17:44:52] 673*2^621143-1 is not prime. Res64: 1400E3F56E763C75 Time : 434.0 sec. user=vaughan [2009-02-24 17:49:00] 645*2^622487-1 is not prime. Res64: E7EAA88CAF9044CC Time : 8933.0 sec. user=vaughan [2009-02-24 17:49:18] 663*2^621144-1 is not prime. Res64: 0333093854A126D1 Time : 352.0 sec. user=vaughan [2009-02-24 17:49:24] 717*2^622490-1 is not prime. Res64: B02E4C3058BD4CF6 Time : 7430.0 sec. user=vaughan [2009-02-24 17:52:02] 759*2^621144-1 is not prime. Res64: 531885B7923AE1C2 Time : 430.0 sec. user=vaughan [2009-02-24 17:53:03] 779*2^622456-1 is not prime. Res64: 24107BEEE3B63A7C Time : 17898.0 sec. user=vaughan [2009-02-24 17:54:37] 633*2^622482-1 is not prime. Res64: C75B1BE3725B0F55 Time : 10754.0 sec. user=vaughan [2009-02-24 17:55:06] 619*2^622491-1 is not prime. Res64: 7482041CF8E9B857 Time : 7442.0 sec. user=vaughan [2009-02-24 17:55:11] 789*2^621144-1 is not prime. Res64: BE8E892888B86B98 Time : 353.0 sec. user=vaughan [2009-02-24 17:59:03] 735*2^621163-1 is not prime. Res64: AF6754BDBE205A5E Time : 421.0 sec. user=vaughan [2009-02-24 18:01:05] 693*2^622499-1 is not prime. Res64: CF51FCB29F85FE74 Time : 354.0 sec. user=vaughan [2009-02-24 18:01:49] 605*2^622492-1 is not prime. Res64: A4DC09789F67AF64 Time : 7453.0 sec. user=tnerual [2009-02-24 18:05:33] 747*2^621144-1 is not prime. Res64: 9A6E4C1056255700 Time : 1323.0 sec. user=vaughan [2009-02-24 18:05:58] 705*2^622489-1 is not prime. Res64: 1FB1C3F2BFADC5D1 Time : 9075.0 sec. user=vaughan [2009-02-24 18:06:59] 759*2^622499-1 is not prime. Res64: A601792CB2441B1B Time : 356.0 sec. user=vaughan [2009-02-24 18:07:36] 675*2^622492-1 is not prime. Res64: D54C580B68E9B821 Time : 7469.0 sec. user=vaughan [2009-02-24 18:12:45] 703*2^622499-1 is not prime. Res64: 12F19EF22DCB948B Time : 823.0 sec. user=vaughan [2009-02-24 18:12:55] 627*2^622500-1 is not prime. Res64: EA2BF95740659B12 Time : 356.0 sec. user=vaughan [2009-02-24 18:12:59] 727*2^622461-1 is not prime. Res64: 2D41248BB5E94FD4 Time : 18018.0 sec. user=vaughan [2009-02-24 18:14:05] 649*2^622493-1 is not prime. Res64: 37B99C6BA8B14B57 Time : 7460.0 sec. user=vaughan [2009-02-24 18:18:49] 767*2^622500-1 is not prime. Res64: 7A22132044CD0FEF Time : 354.0 sec. user=vaughan [2009-02-24 18:20:01] 765*2^622495-1 is not prime. Res64: 9DF1827155880FB2 Time : 7487.0 sec. user=vaughan [2009-02-24 18:20:54] 623*2^622486-1 is not prime. Res64: 7D4E96B911B25B70 Time : 11348.0 sec. user=vaughan [2009-02-24 18:22:56] 741*2^622463-1 is not prime. Res64: 28B62DC266737026 Time : 17901.0 sec. user=vaughan [2009-02-24 18:24:33] 791*2^622490-1 is not prime. Res64: CC65210D5389B3A6 Time : 9362.0 sec. user=vaughan [2009-02-24 18:24:41] 683*2^622502-1 is not prime. Res64: E5CDDCA65E2A1E64 Time : 353.0 sec. user=vaughan [2009-02-24 18:26:12] 651*2^622498-1 is not prime. Res64: 51B1BA0712A6DD17 Time : 7455.0 sec. user=tnerual [2009-02-24 18:27:32] 727*2^621189-1 is not prime. Res64: 0B5E3A6AD2F0039B Time : 1319.0 sec. user=vaughan [2009-02-24 18:28:10] 725*2^622500-1 is not prime. Res64: 05F0C441DB790B49 Time : 925.0 sec. user=vaughan [2009-02-24 18:30:33] 679*2^622503-1 is not prime. Res64: E808980514770FAE Time : 352.0 sec. user=vaughan [2009-02-24 18:35:38] 783*2^622503-1 is not prime. Res64: B75FB267CBA9FA19 Time : 448.0 sec. user=vaughan [2009-02-24 18:36:25] 603*2^621211-1 is not prime. Res64: 251EA72AC72A4D3E Time : 352.0 sec. user=vaughan [2009-02-24 18:38:21] 777*2^621130-1 is not prime. Res64: D15571468E34057C Time : 7446.0 sec. user=vaughan [2009-02-24 18:42:19] 675*2^622504-1 is not prime. Res64: C967AA903F48B532 Time : 354.0 sec. user=vaughan [2009-02-24 18:42:56] 749*2^622468-1 is not prime. Res64: 32C247B07949E9CD Time : 18016.0 sec. user=vaughan [2009-02-24 18:42:58] 615*2^622504-1 is not prime. Res64: 19C9A23349782CF5 Time : 440.0 sec. user=vaughan [2009-02-24 18:43:45] 665*2^622492-1 is not prime. Res64: 00D9F9DE9D6CF719 Time : 9675.0 sec. user=vaughan [2009-02-24 18:44:33] 633*2^621132-1 is not prime. Res64: 6C95BBEAFC63FA3A Time : 7487.0 sec. user=vaughan [2009-02-24 18:47:13] 663*2^622488-1 is not prime. Res64: 6EE3A3301AA10FAE Time : 11995.0 sec. user=vaughan [2009-02-24 18:48:13] 685*2^622505-1 is not prime. Res64: 73FD74D2BC2C6603 Time : 354.0 sec. user=tnerual [2009-02-24 18:49:34] 709*2^622503-1 is not prime. Res64: D6DEB770E7315E1A Time : 1322.0 sec. user=vaughan [2009-02-24 18:50:26] 717*2^622506-1 is not prime. Res64: 0F091717F46BDE35 Time : 448.0 sec. user=vaughan [2009-02-24 18:50:43] 615*2^621133-1 is not prime. Res64: F21DF6728E97C010 Time : 7439.0 sec. user=vaughan [2009-02-24 18:52:51] 639*2^622471-1 is not prime. Res64: 25D14D97EB971EF3 Time : 17909.0 sec. user=vaughan [2009-02-24 18:54:07] 631*2^622507-1 is not prime. Res64: 340432ABD5F5085C Time : 354.0 sec. user=vaughan [2009-02-24 18:56:59] 605*2^621134-1 is not prime. Res64: 72C23F3331B9B156 Time : 7496.0 sec. user=vaughan [2009-02-24 18:57:52] 703*2^622507-1 is not prime. Res64: 6A1E27B3BC001D97 Time : 447.0 sec. user=vaughan [2009-02-24 19:00:00] 625*2^622509-1 is not prime. Res64: 59D6E6BD2793C479 Time : 353.0 sec. user=vaughan [2009-02-24 19:02:22] 607*2^622497-1 is not prime. Res64: 05158ACB9EE17AFA Time : 9976.0 sec. user=vaughan [2009-02-24 19:03:20] 653*2^621136-1 is not prime. Res64: B09874FD29FFFF96 Time : 7464.0 sec. user=vaughan [2009-02-24 19:05:26] 635*2^622510-1 is not prime. Res64: A9DA65AEDB90CDE5 Time : 455.0 sec. user=vaughan [2009-02-24 19:05:54] 673*2^621235-1 is not prime. Res64: D1AD80E2A406D2E4 Time : 354.0 sec. user=vaughan [2009-02-24 19:05:57] 669*2^621129-1 is not prime. Res64: 5400B296F6831E85 Time : 9372.0 sec. user=vaughan [2009-02-24 19:09:32] 685*2^621137-1 is not prime. Res64: 23BD25478C2997BC Time : 7500.0 sec. user=vaughan [2009-02-24 19:11:33] 677*2^622490-1 is not prime. Res64: 8E73EAA11B18BC85 Time : 12521.0 sec. user=vaughan [2009-02-24 19:11:53] 683*2^622512-1 is not prime. Res64: 05F8598886C7A5D2 Time : 360.0 sec. user=vaughan [2009-02-24 19:12:54] 759*2^622511-1 is not prime. Res64: 583AED4D9832D798 Time : 448.0 sec. user=vaughan [2009-02-24 19:12:55] 649*2^622473-1 is not prime. Res64: 57415FCC0336AEA9 Time : 18015.0 sec. user=vaughan [2009-02-24 19:15:43] 799*2^621137-1 is not prime. Res64: 0BE73E07E7BF6135 Time : 7464.0 sec. user=vaughan [2009-02-24 19:17:48] 765*2^622513-1 is not prime. Res64: 717C611A0C9BEE63 Time : 355.0 sec. user=vaughan [2009-02-24 19:20:16] 623*2^622514-1 is not prime. Res64: 305C4345E70C8908 Time : 442.0 sec. user=vaughan [2009-02-24 19:22:09] 745*2^621139-1 is not prime. Res64: F6C1867B7CAE8DB1 Time : 7507.0 sec. user=vaughan [2009-02-24 19:22:44] 633*2^622475-1 is not prime. Res64: 6EC8E637BCB179FB Time : 17910.0 sec. user=tnerual [2009-02-24 19:23:06] 651*2^622507-1 is not prime. Res64: DDEE0A078764FF0A Time : 2012.0 sec. user=vaughan [2009-02-24 19:23:40] 677*2^622514-1 is not prime. Res64: A87CFA104B9239F8 Time : 352.0 sec. user=vaughan [2009-02-24 19:27:36] 701*2^622514-1 is not prime. Res64: 9BF16964FDCD5425 Time : 440.0 sec. user=vaughan [2009-02-24 19:28:08] 615*2^621141-1 is not prime. Res64: 7616D71E8467CE30 Time : 7447.0 sec. user=vaughan [2009-02-24 19:29:32] 711*2^622515-1 is not prime. Res64: D2D782B3326180C2 Time : 352.0 sec. user=vaughan [2009-02-24 19:34:49] 777*2^621141-1 is not prime. Res64: E88F3C61FB512791 Time : 7497.0 sec. user=vaughan [2009-02-24 19:34:58] 775*2^622515-1 is not prime. Res64: 08ACDF15AD9A0A0B Time : 442.0 sec. user=vaughan [2009-02-24 19:35:26] 773*2^622516-1 is not prime. Res64: CCBA7EA0C8A1CCBF Time : 354.0 sec. user=vaughan [2009-02-24 19:36:39] 647*2^622492-1 is not prime. Res64: 91E7ED23F0755AF8 Time : 13039.0 sec. user=vaughan [2009-02-24 19:39:55] 779*2^621132-1 is not prime. Res64: 64F4D701506C47B3 Time : 10436.0 sec. user=vaughan [2009-02-24 19:40:24] 691*2^621129-1 is not prime. Res64: B263BFDBBC1D8025 Time : 11368.0 sec. user=vaughan [2009-02-24 19:40:32] 737*2^621142-1 is not prime. Res64: 005B51E871B32D3F Time : 7425.0 sec. user=vaughan [2009-02-24 19:41:18] 645*2^622517-1 is not prime. Res64: 446B460609BD6FCE Time : 352.0 sec. user=vaughan [2009-02-24 19:42:22] 615*2^622517-1 is not prime. Res64: 44149DD8E9625FE1 Time : 444.0 sec. user=vaughan [2009-02-24 19:42:56] 753*2^622478-1 is not prime. Res64: 47BD174B556BF2E9 Time : 18016.0 sec. user=vaughan [2009-02-24 19:47:12] 683*2^622518-1 is not prime. Res64: 297A8CD0028A106A Time : 354.0 sec. user=vaughan [2009-02-24 19:47:22] 763*2^621143-1 is not prime. Res64: 110594F63CB0E49B Time : 7493.0 sec. user=vaughan [2009-02-24 19:49:14] 693*2^622518-1 is not prime. Res64: 37A6AEB8139F80F9 Time : 412.0 sec. user=vaughan [2009-02-24 19:52:39] 621*2^622482-1 is not prime. Res64: F1DF00B70FC57772 Time : 17912.0 sec. user=vaughan [2009-02-24 19:52:52] 705*2^621147-1 is not prime. Res64: 1CD2784259F914E2 Time : 7409.0 sec. user=vaughan [2009-02-24 19:53:04] 601*2^622519-1 is not prime. Res64: 6819EEFE132B4E08 Time : 353.0 sec. user=vaughan [2009-02-24 19:56:01] 665*2^622520-1 is not prime. Res64: 35701ABEA81F18B0 Time : 407.0 sec. user=vaughan [2009-02-24 19:56:26] 773*2^622496-1 is not prime. Res64: CB83D1FEDDA00799 Time : 13236.0 sec. user=vaughan [2009-02-24 19:57:04] 765*2^621136-1 is not prime. Res64: 85968E414A198067 Time : 10639.0 sec. user=vaughan [2009-02-24 19:58:50] 713*2^622520-1 is not prime. Res64: 3BB3B0959D054400 Time : 346.0 sec. user=vaughan [2009-02-24 19:59:40] 601*2^622499-1 is not prime. Res64: B91472F0430D57CC Time : 7474.0 sec. user=vaughan [2009-02-24 20:03:12] 785*2^622520-1 is not prime. Res64: 76312CC4463F29E4 Time : 431.0 sec. user=vaughan [2009-02-24 20:04:42] 691*2^622521-1 is not prime. Res64: 39061964D7E96955 Time : 352.0 sec. user=vaughan [2009-02-24 20:05:01] 775*2^622499-1 is not prime. Res64: DC30CE7D8F6EF5AD Time : 7392.0 sec. user=tnerual [2009-02-24 20:05:34] 669*2^622515-1 is not prime. Res64: 41825F36DAFF41BD Time : 2548.0 sec. user=vaughan [2009-02-24 20:10:18] 675*2^622523-1 is not prime. Res64: 6680B2CFA17EF138 Time : 426.0 sec. user=vaughan [2009-02-24 20:10:35] 705*2^622523-1 is not prime. Res64: 185664103AE5123D Time : 353.0 sec. user=vaughan [2009-02-24 20:12:05] 635*2^622500-1 is not prime. Res64: D3D0D510EE88A6E8 Time : 7470.0 sec. user=vaughan [2009-02-24 20:12:56] 663*2^622486-1 is not prime. Res64: A0D2DE56218DF9F6 Time : 18017.0 sec. user=vaughan [2009-02-24 20:15:25] 791*2^621138-1 is not prime. Res64: 4C97A7C5FE5DCF3E Time : 10798.0 sec. user=vaughan [2009-02-24 20:16:29] 765*2^622524-1 is not prime. Res64: DFCB664F2DA54E45 Time : 354.0 sec. user=vaughan [2009-02-24 20:17:25] 719*2^622524-1 is not prime. Res64: 66A2C45B854D31B9 Time : 427.0 sec. user=vaughan [2009-02-24 20:17:26] 649*2^622501-1 is not prime. Res64: 71E6E557EC5F4FB6 Time : 7401.0 sec. user=vaughan [2009-02-24 20:20:16] 795*2^621129-1 is not prime. Res64: D2BCBEBB740A6FCD Time : 13634.0 sec. user=vaughan [2009-02-24 20:22:03] 771*2^621293-1 is not prime. Res64: CCFD9180DCA8AB1D Time : 335.0 sec. user=vaughan [2009-02-24 20:22:31] 775*2^622487-1 is not prime. Res64: C460F5735FEB2848 Time : 17917.0 sec. user=vaughan [2009-02-24 20:24:26] 693*2^622502-1 is not prime. Res64: 97BB16621F5A9706 Time : 7465.0 sec. user=vaughan [2009-02-24 20:24:42] 751*2^622525-1 is not prime. Res64: 3CE01F02ED75A2F2 Time : 437.0 sec. user=vaughan [2009-02-24 20:27:11] 641*2^622526-1 is not prime. Res64: 9ECF6BD2AA818D19 Time : 308.0 sec. user=tnerual [2009-02-24 20:27:36] 771*2^622523-1 is not prime. Res64: 0A9794AFA5C5ECF7 Time : 1322.0 sec. user=vaughan [2009-02-24 20:29:46] 693*2^622503-1 is not prime. Res64: 811B41ABDB02F572 Time : 7415.0 sec. user=vaughan [2009-02-24 20:31:50] 773*2^622526-1 is not prime. Res64: 775129E107276044 Time : 428.0 sec. user=vaughan [2009-02-24 20:32:58] 669*2^622527-1 is not prime. Res64: 26C876ADA82A060C Time : 348.0 sec. user=vaughan [2009-02-24 20:33:59] 665*2^621142-1 is not prime. Res64: 86FB26A6FC7DAC9E Time : 10915.0 sec. user=vaughan [2009-02-24 20:37:06] 793*2^622503-1 is not prime. Res64: A35A430A675C4EB2 Time : 7499.0 sec. user=vaughan [2009-02-24 20:38:52] 741*2^622527-1 is not prime. Res64: 9D1A7A82F14B71AF Time : 354.0 sec. user=vaughan [2009-02-24 20:38:54] 709*2^622527-1 is not prime. Res64: 8E5463C29426AAD7 Time : 424.0 sec. user=vaughan [2009-02-24 20:42:31] 743*2^622504-1 is not prime. Res64: 6DBB0EAB896E81AE Time : 7451.0 sec. user=vaughan [2009-02-24 20:43:39] 741*2^621133-1 is not prime. Res64: 3C64183B1D50AF7D Time : 14104.0 sec. user=vaughan [2009-02-24 20:44:43] 695*2^621310-1 is not prime. Res64: D3E8610B7EFE28FB Time : 351.0 sec. user=vaughan [2009-02-24 20:45:55] 735*2^622528-1 is not prime. Res64: 7E2E3FDF86880D9A Time : 421.0 sec. user=tnerual [2009-02-24 20:49:43] 685*2^622527-1 is not prime. Res64: AA11BFC03D5A3963 Time : 1327.0 sec. user=vaughan [2009-02-24 20:49:50] 741*2^622506-1 is not prime. Res64: 68D0DA6002ED8A84 Time : 7517.0 sec. user=vaughan [2009-02-24 20:50:36] 729*2^622529-1 is not prime. Res64: 79B84C271208B45B Time : 353.0 sec. user=vaughan [2009-02-24 20:52:06] 767*2^621144-1 is not prime. Res64: 57A3337E05A801BE Time : 10986.0 sec. user=vaughan [2009-02-24 20:53:14] 611*2^622530-1 is not prime. Res64: D763622886A0CA36 Time : 439.0 sec. user=vaughan [2009-02-24 20:55:15] 603*2^622508-1 is not prime. Res64: C212A49B41D343D0 Time : 7472.0 sec. user=vaughan [2009-02-24 20:56:28] 625*2^622531-1 is not prime. Res64: 3C0AFD6D75BB31E2 Time : 353.0 sec. user=vaughan [2009-02-24 21:00:20] 679*2^622531-1 is not prime. Res64: D43E6F6C3C3A240A Time : 426.0 sec. user=vaughan [2009-02-24 21:02:21] 775*2^622531-1 is not prime. Res64: 03D541A4FB4C8A28 Time : 353.0 sec. user=vaughan [2009-02-24 21:02:33] 765*2^622509-1 is not prime. Res64: A6239AE481A22AB5 Time : 7534.0 sec. user=vaughan [2009-02-24 21:07:30] 605*2^622532-1 is not prime. Res64: 4FD290481A2A28A2 Time : 430.0 sec. user=vaughan [2009-02-24 21:07:46] 609*2^622511-1 is not prime. Res64: 9DB5BC20274D573A Time : 7466.0 sec. user=vaughan [2009-02-24 21:08:17] 633*2^622532-1 is not prime. Res64: E03082D8685FD9E7 Time : 356.0 sec. user=vaughan [2009-02-24 21:09:50] 699*2^621137-1 is not prime. Res64: BE7B6379299D5F48 Time : 14603.0 sec. user=vaughan [2009-02-24 21:09:50] 615*2^622500-1 is not prime. Res64: EBC4204C7A541F78 Time : 11033.0 sec. user=tnerual [2009-02-24 21:11:45] 681*2^622530-1 is not prime. Res64: CCD81674CFB1617D Time : 1322.0 sec. user=vaughan [2009-02-24 21:14:09] 765*2^622533-1 is not prime. Res64: 43211CA1E287919A Time : 353.0 sec. user=vaughan [2009-02-24 21:14:39] 651*2^621331-1 is not prime. Res64: ED0D60D4EB7F9158 Time : 430.0 sec. user=vaughan [2009-02-24 21:15:15] 717*2^622512-1 is not prime. Res64: DDD9B5F35C5BE52F Time : 7544.0 sec. user=vaughan [2009-02-24 21:20:01] 687*2^622534-1 is not prime. Res64: DE5846A7152DC274 Time : 352.0 sec. user=vaughan [2009-02-24 21:20:24] 671*2^622514-1 is not prime. Res64: 3A6B212B7CB39F9A Time : 7481.0 sec. user=vaughan [2009-02-24 21:22:03] 755*2^622534-1 is not prime. Res64: E9CEB716CB34FA94 Time : 444.0 sec. user=vaughan [2009-02-24 21:25:53] 721*2^622535-1 is not prime. Res64: DAE65C7F61BCBFEA Time : 352.0 sec. user=vaughan [2009-02-24 21:27:49] 643*2^622503-1 is not prime. Res64: 253FBF127A0004D5 Time : 10996.0 sec. user=vaughan [2009-02-24 21:28:03] 753*2^622514-1 is not prime. Res64: 8CA518D1552E91B7 Time : 7554.0 sec. user=vaughan [2009-02-24 21:29:34] 609*2^622536-1 is not prime. Res64: 28F59BA9A8B6F9B4 Time : 451.0 sec. user=vaughan [2009-02-24 21:31:47] 615*2^622536-1 is not prime. Res64: 03CA942AA5112E7D Time : 354.0 sec. user=vaughan [2009-02-24 21:33:06] 793*2^622515-1 is not prime. Res64: 4B75F2E3DBE19D95 Time : 7498.0 sec. user=tnerual [2009-02-24 21:33:47] 663*2^622534-1 is not prime. Res64: 6FFE665EC580ED64 Time : 1322.0 sec. user=vaughan [2009-02-24 21:34:38] 717*2^621141-1 is not prime. Res64: 773BB2888CF2A379 Time : 14751.0 sec. user=vaughan [2009-02-24 21:36:44] 759*2^622536-1 is not prime. Res64: D9524A82CBFF25DA Time : 430.0 sec. user=vaughan [2009-02-24 21:37:39] 777*2^622536-1 is not prime. Res64: 5DF4400482E31F45 Time : 352.0 sec. user=vaughan [2009-02-24 21:40:55] 779*2^622516-1 is not prime. Res64: EBC6A7DF52DF3AE9 Time : 7566.0 sec. user=vaughan [2009-02-24 21:43:32] 635*2^622538-1 is not prime. Res64: 7D60B8BA6672F9B8 Time : 353.0 sec. user=vaughan [2009-02-24 21:43:56] 777*2^622537-1 is not prime. Res64: A94925AB7B91B69A Time : 432.0 sec. user=vaughan [2009-02-24 21:45:43] 647*2^622518-1 is not prime. Res64: E842896E3201756E Time : 7511.0 sec. user=vaughan [2009-02-24 21:45:59] 723*2^622506-1 is not prime. Res64: AF313650A29158EE Time : 10935.0 sec. user=vaughan [2009-02-24 21:49:24] 671*2^622538-1 is not prime. Res64: B6197DDF4028B94A Time : 352.0 sec. user=vaughan [2009-02-24 21:51:18] 683*2^622538-1 is not prime. Res64: B823EBA6FBA8BA37 Time : 442.0 sec. user=vaughan [2009-02-24 21:53:32] 675*2^622519-1 is not prime. Res64: CBC04BA20F5F9558 Time : 7570.0 sec. user=vaughan [2009-02-24 21:55:20] 789*2^622539-1 is not prime. Res64: 5C75638B296FB7C8 Time : 357.0 sec. user=tnerual [2009-02-24 21:55:49] 609*2^622537-1 is not prime. Res64: 6730A42A12F634E0 Time : 1322.0 sec. user=vaughan [2009-02-24 21:58:28] 689*2^622520-1 is not prime. Res64: 69FA0FAB393666B8 Time : 7536.0 sec. user=vaughan [2009-02-24 21:58:39] 609*2^622540-1 is not prime. Res64: 49B123B1D2D2253B Time : 441.0 sec. user=vaughan [2009-02-24 21:59:09] 737*2^622498-1 is not prime. Res64: CF0F0DBEA4A2E6C5 Time : 14673.0 sec. user=vaughan [2009-02-24 22:01:17] 635*2^622540-1 is not prime. Res64: EE03F0341C34725C Time : 357.0 sec. user=vaughan [2009-02-24 22:04:04] 765*2^622510-1 is not prime. Res64: 951F3BDBC73C9374 Time : 10902.0 sec. user=vaughan [2009-02-24 22:06:10] 687*2^622540-1 is not prime. Res64: 85452B17B9AFC374 Time : 451.0 sec. user=vaughan [2009-02-24 22:06:12] 717*2^622522-1 is not prime. Res64: 743A9B25D48360C1 Time : 7592.0 sec. user=vaughan [2009-02-24 22:07:15] 723*2^622540-1 is not prime. Res64: 7C40CDF374987236 Time : 359.0 sec. user=vaughan [2009-02-24 22:11:03] 715*2^622523-1 is not prime. Res64: 41C3AFCE16A7E53B Time : 7562.0 sec. user=vaughan [2009-02-24 22:13:13] 777*2^622542-1 is not prime. Res64: 6F7DBA6435393294 Time : 358.0 sec. user=vaughan [2009-02-24 22:13:41] 671*2^622542-1 is not prime. Res64: CF9327951BB5EC63 Time : 451.0 sec. user=tnerual [2009-02-24 22:17:51] 675*2^622540-1 is not prime. Res64: DBC53DB60F00476C Time : 1322.0 sec. user=vaughan [2009-02-24 22:18:45] 607*2^622525-1 is not prime. Res64: B7FBC9E6E5B56F8F Time : 7600.0 sec. user=vaughan [2009-02-24 22:19:12] 693*2^622543-1 is not prime. Res64: 24941377E6C1CA8A Time : 360.0 sec. user=vaughan [2009-02-24 22:21:03] 709*2^622543-1 is not prime. Res64: CBA7C27B9D7FB74A Time : 442.0 sec. user=vaughan [2009-02-24 22:22:54] 777*2^621250-1 is not prime. Res64: B1F941B10B001BE9 Time : 10884.0 sec. user=vaughan [2009-02-24 22:23:24] 759*2^622525-1 is not prime. Res64: AEFF251B31070D82 Time : 7558.0 sec. user=vaughan [2009-02-24 22:25:12] 675*2^622544-1 is not prime. Res64: BC4B925FBBAFA35B Time : 361.0 sec. user=vaughan [2009-02-24 22:25:28] 743*2^622502-1 is not prime. Res64: 7D10134C8BE1DDD8 Time : 14674.0 sec. user=vaughan [2009-02-24 22:28:38] 725*2^622544-1 is not prime. Res64: 0118078F60366244 Time : 456.0 sec. user=vaughan [2009-02-24 22:31:20] 667*2^622545-1 is not prime. Res64: 1D43738FBD6810C6 Time : 368.0 sec. user=vaughan [2009-02-24 22:31:27] 741*2^622526-1 is not prime. Res64: 61337B75E4848F46 Time : 7622.0 sec. user=vaughan [2009-02-24 22:35:56] 735*2^622545-1 is not prime. Res64: 401146C5DB650565 Time : 438.0 sec. user=vaughan [2009-02-24 22:36:19] 691*2^622527-1 is not prime. Res64: 935D78BB94F96DA6 Time : 7593.0 sec. user=vaughan [2009-02-24 22:37:26] 751*2^622545-1 is not prime. Res64: FAD7DE2CCC77FBF0 Time : 368.0 sec. user=tnerual [2009-02-24 22:39:54] 741*2^622543-1 is not prime. Res64: D3C4AA2694AE2F37 Time : 1323.0 sec. user=vaughan [2009-02-24 22:42:46] 611*2^622518-1 is not prime. Res64: FC12C1F84DA19463 Time : 10972.0 sec. user=vaughan [2009-02-24 22:43:27] 655*2^622547-1 is not prime. Res64: 4E5A3782275F42D1 Time : 362.0 sec. user=vaughan [2009-02-24 22:49:27] 765*2^622549-1 is not prime. Res64: 73228D2875C8E8FF Time : 360.0 sec. user=vaughan [2009-02-24 22:55:23] 675*2^622550-1 is not prime. Res64: B07D468B46FACC08 Time : 357.0 sec. user=vaughan [2009-02-24 23:01:22] 791*2^622550-1 is not prime. Res64: 640A2034DE44D958 Time : 359.0 sec. user=tnerual [2009-02-24 23:01:56] 669*2^622548-1 is not prime. Res64: 40BAD2F6858D7E42 Time : 1322.0 sec. user=vaughan [2009-02-24 23:07:19] 613*2^622551-1 is not prime. Res64: 82BABAE5A6311A29 Time : 358.0 sec. user=vaughan [2009-02-24 23:13:20] 763*2^622551-1 is not prime. Res64: 8A2713B3338AFCFE Time : 361.0 sec. user=vaughan [2009-02-24 23:19:18] 609*2^622552-1 is not prime. Res64: 9B602D61FA06CA2B Time : 358.0 sec. user=tnerual [2009-02-24 23:23:58] 751*2^622551-1 is not prime. Res64: 2058A334DB1CFBC4 Time : 1322.0 sec. user=vaughan [2009-02-24 23:25:17] 653*2^622552-1 is not prime. Res64: 124B399F6A734F04 Time : 359.0 sec. user=vaughan [2009-02-24 23:31:13] 695*2^622552-1 is not prime. Res64: D489DBFF83D09E47 Time : 357.0 sec. user=vaughan [2009-02-24 23:37:09] 719*2^622552-1 is not prime. Res64: 6BA6BAD2E20EF4CC Time : 356.0 sec. user=vaughan [2009-02-24 23:43:06] 777*2^622552-1 is not prime. Res64: 0867C195660A6D96 Time : 357.0 sec. user=tnerual [2009-02-24 23:46:00] 693*2^622552-1 is not prime. Res64: CD04248A2C606818 Time : 1322.0 sec. user=vaughan [2009-02-24 23:49:07] 697*2^622553-1 is not prime. Res64: 46ECE8EE655DC209 Time : 361.0 sec. user=vaughan [2009-02-24 23:54:55] 745*2^622553-1 is not prime. Res64: 3B508C7E59E1C95A Time : 349.0 sec.