user=vaughan [2009-07-11 00:09:34] 795*2^696669-1 is not prime. Res64: 4E8BCFDD025D7BCB Time : 782.0 sec. user=Zachariassen [2009-07-11 00:12:03] 623*2^696668-1 is not prime. Res64: DB3488D034252C94 Time : 3462.0 sec. user=kar_bon [2009-07-11 00:17:03] 711*2^696666-1 is not prime. Res64: 588DBEF539B2BA0F Time : 6898.0 sec. user=vaughan [2009-07-11 00:22:33] 603*2^696670-1 is not prime. Res64: C215C7D5628E5ED3 Time : 779.0 sec. user=kar_bon [2009-07-11 00:28:12] 691*2^696669-1 is not prime. Res64: 209553621A0731E0 Time : 3368.0 sec. user=vaughan [2009-07-11 00:34:15] 755*2^696670-1 is not prime. Res64: 5583A1CC69E2D982 Time : 702.0 sec. user=kar_bon [2009-07-11 00:39:21] 657*2^696670-1 is not prime. Res64: EB3F5177023F2381 Time : 1338.0 sec. user=Zachariassen [2009-07-11 00:40:54] 759*2^696669-1 is not prime. Res64: B3AE9118981E942E Time : 3459.0 sec. user=vaughan [2009-07-11 00:46:09] 745*2^696671-1 is not prime. Res64: A405A3774BC2FBB4 Time : 714.0 sec. user=kar_bon [2009-07-11 00:50:32] 773*2^696670-1 is not prime. Res64: 74E977C255FED651 Time : 1340.0 sec. user=vaughan [2009-07-11 00:58:04] 615*2^696672-1 is not prime. Res64: B874E4813DE9B914 Time : 715.0 sec. user=kar_bon [2009-07-11 01:01:43] 753*2^696671-1 is not prime. Res64: EB02935637F20FBD Time : 1342.0 sec. user=Zachariassen [2009-07-11 01:09:48] 605*2^696670-1 is not prime. Res64: 994D82EF51868CE3 Time : 3466.0 sec. user=vaughan [2009-07-11 01:10:00] 737*2^696672-1 is not prime. Res64: 89E91C0B5E43607F Time : 717.0 sec. user=kar_bon [2009-07-11 01:12:59] 725*2^696672-1 is not prime. Res64: 0236A047B412D698 Time : 1348.0 sec. user=vaughan [2009-07-11 01:21:54] 609*2^696673-1 is not prime. Res64: 8BC439273555D55F Time : 715.0 sec. user=kar_bon [2009-07-11 01:27:10] 765*2^696672-1 is not prime. Res64: F29306F9525FDBBB Time : 1527.0 sec. user=vaughan [2009-07-11 01:33:50] 699*2^696673-1 is not prime. Res64: 3A06B56AAAF72D92 Time : 716.0 sec. user=Zachariassen [2009-07-11 01:38:46] 789*2^696671-1 is not prime. Res64: 4DFE88C7D90D6F14 Time : 3472.0 sec. user=kar_bon [2009-07-11 01:42:36] 651*2^696673-1 is not prime. Res64: AA0A82250E0D1454 Time : 1778.0 sec. user=vaughan [2009-07-11 01:45:36] 617*2^696674-1 is not prime. Res64: FACB6D69DB45DF45 Time : 707.0 sec. user=kar_bon [2009-07-11 01:55:14] 741*2^696673-1 is not prime. Res64: 6D881B030AB0550B Time : 1685.0 sec. user=vaughan [2009-07-11 01:58:11] 653*2^696676-1 is not prime. Res64: 542BE6513F9BD839 Time : 755.0 sec. user=kar_bon [2009-07-11 02:06:40] 793*2^696675-1 is not prime. Res64: 5B53F847095FCC77 Time : 1444.0 sec. user=Zachariassen [2009-07-11 02:07:47] 767*2^696672-1 is not prime. Res64: 79748FDF92F95CE5 Time : 3479.0 sec. user=vaughan [2009-07-11 02:11:38] 631*2^696677-1 is not prime. Res64: ED478F4104CCF623 Time : 808.0 sec. user=kar_bon [2009-07-11 02:18:52] 707*2^696676-1 is not prime. Res64: F3C5867F37106722 Time : 1418.0 sec. user=vaughan [2009-07-11 02:25:02] 627*2^696678-1 is not prime. Res64: 87DD3C404ED4C2E1 Time : 804.0 sec. user=kar_bon [2009-07-11 02:30:21] 715*2^696677-1 is not prime. Res64: 1101F2781094B5C1 Time : 1421.0 sec. user=Zachariassen [2009-07-11 02:36:27] 671*2^696674-1 is not prime. Res64: 40C94E45F4353419 Time : 3461.0 sec. user=vaughan [2009-07-11 02:39:19] 737*2^696678-1 is not prime. Res64: E365C141CF33F1D6 Time : 858.0 sec. user=kar_bon [2009-07-11 02:41:50] 671*2^696678-1 is not prime. Res64: E65826C1CDC65189 Time : 1379.0 sec. user=kar_bon [2009-07-11 02:53:13] 755*2^696678-1 is not prime. Res64: 303BCD920FF0317C Time : 1372.0 sec. user=vaughan [2009-07-11 02:55:31] 645*2^696679-1 is not prime. Res64: 9458942E267389C1 Time : 972.0 sec. user=kar_bon [2009-07-11 03:04:27] 663*2^696679-1 is not prime. Res64: 3B8212F9FE3C006E Time : 1358.0 sec. user=Zachariassen [2009-07-11 03:05:17] 615*2^696678-1 is not prime. Res64: C0ED81D9CDA2545A Time : 3450.0 sec. user=vaughan [2009-07-11 03:14:11] 793*2^696679-1 is not prime. Res64: 42693BC6CF57D13B Time : 1120.0 sec. user=kar_bon [2009-07-11 03:15:53] 789*2^696679-1 is not prime. Res64: 7542A51B1F3A0E62 Time : 1360.0 sec. user=kar_bon [2009-07-11 03:27:30] 603*2^696680-1 is not prime. Res64: ED7EA075EBB3DECE Time : 1383.0 sec. user=Zachariassen [2009-07-11 03:34:22] 615*2^696679-1 is not prime. Res64: 5C6F3BE7938372E9 Time : 3475.0 sec. user=vaughan [2009-07-11 03:37:43] 795*2^696680-1 is not prime. Res64: 18E07D710235A4B4 Time : 1412.0 sec. user=kar_bon [2009-07-11 03:38:59] 657*2^696681-1 is not prime. Res64: F9498A5D19DB5BB6 Time : 1387.0 sec. user=kar_bon [2009-07-11 03:50:10] 661*2^696681-1 is not prime. Res64: 4628989DA13A73C8 Time : 1360.0 sec. user=kar_bon [2009-07-11 04:01:22] 705*2^696682-1 is not prime. Res64: ADAAB2A58978173A Time : 1343.0 sec. user=vaughan [2009-07-11 04:01:29] 747*2^696681-1 is not prime. Res64: 91000C61833DDF3F Time : 1426.0 sec. user=Zachariassen [2009-07-11 04:03:07] 689*2^696680-1 is not prime. Res64: 9E8F802A2F180CA7 Time : 3470.0 sec. user=kar_bon [2009-07-11 04:13:41] 777*2^696682-1 is not prime. Res64: 0F4849E685433B7D Time : 1411.0 sec. user=vaughan [2009-07-11 04:23:18] 609*2^696684-1 is not prime. Res64: FBB673214CDAC8C4 Time : 1310.0 sec. user=kar_bon [2009-07-11 04:24:46] 715*2^696683-1 is not prime. Res64: 74D6A1A7CF972AD4 Time : 1404.0 sec. user=Zachariassen [2009-07-11 04:31:55] 669*2^696681-1 is not prime. Res64: 5C4DA95A1FC6ACA2 Time : 3453.0 sec. user=kar_bon [2009-07-11 04:35:48] 749*2^696684-1 is not prime. Res64: 29ADFAF2873A5143 Time : 1327.0 sec. user=vaughan [2009-07-11 04:43:51] 609*2^696685-1 is not prime. Res64: A05134159882CF79 Time : 1233.0 sec. user=Zachariassen [2009-07-11 05:00:43] 683*2^696684-1 is not prime. Res64: C186C507C6519AC7 Time : 3456.0 sec. user=vaughan [2009-07-11 05:04:49] 635*2^696686-1 is not prime. Res64: D1AB5A8C389653C3 Time : 1258.0 sec. user=vaughan [2009-07-11 05:27:34] 717*2^696686-1 is not prime. Res64: 3D50640BA80A218E Time : 1365.0 sec. user=Zachariassen [2009-07-11 05:29:24] 675*2^696685-1 is not prime. Res64: E8C6E07B8E02B00C Time : 3449.0 sec. user=vaughan [2009-07-11 05:50:09] 755*2^696686-1 is not prime. Res64: C90B881B97F83C94 Time : 1356.0 sec. user=Zachariassen [2009-07-11 05:58:07] 713*2^696686-1 is not prime. Res64: 38C1DAD6EA579778 Time : 3444.0 sec. user=kar_bon [2009-07-11 06:00:23] 667*2^696685-1 is not prime. Res64: D6AE83EFA7D723BA Time : 5738.0 sec. user=kar_bon [2009-07-11 06:13:03] 789*2^696685-1 is not prime. Res64: AE4ADB5654C74583 Time : 5835.0 sec. user=vaughan [2009-07-11 06:20:23] 785*2^696686-1 is not prime. Res64: 2EE46A63B6D130BA Time : 1814.0 sec. user=kar_bon [2009-07-11 06:24:08] 685*2^696687-1 is not prime. Res64: F677A98E62DE746D Time : 1426.0 sec. user=Zachariassen [2009-07-11 06:26:47] 767*2^696686-1 is not prime. Res64: B9AFB2174C466315 Time : 3443.0 sec. user=kar_bon [2009-07-11 06:35:16] 709*2^696687-1 is not prime. Res64: 5B1E6E29A66C9A03 Time : 1334.0 sec. user=kar_bon [2009-07-11 06:46:23] 781*2^696687-1 is not prime. Res64: D1E239FAB5C3279F Time : 1335.0 sec. user=vaughan [2009-07-11 06:50:16] 735*2^696687-1 is not prime. Res64: D66BFB8DE89AFACF Time : 1793.0 sec. user=Zachariassen [2009-07-11 06:55:38] 649*2^696687-1 is not prime. Res64: A6F5A89140D0A6D5 Time : 3452.0 sec. user=kar_bon [2009-07-11 06:56:34] 755*2^696688-1 is not prime. Res64: 03B82F7837D3BE5C Time : 667.0 sec. user=kar_bon [2009-07-11 06:57:28] 695*2^696688-1 is not prime. Res64: F87D53FF9887F180 Time : 1332.0 sec. user=kar_bon [2009-07-11 07:07:36] 615*2^696689-1 is not prime. Res64: FE4A6EA89EB548EA Time : 1329.0 sec. user=kar_bon [2009-07-11 07:08:29] 645*2^696689-1 is not prime. Res64: 1F2F55FA878FC1EE Time : 1327.0 sec. user=kar_bon [2009-07-11 07:18:41] 799*2^696689-1 is not prime. Res64: 416E6B554C2BB84D Time : 1328.0 sec. user=kar_bon [2009-07-11 07:19:36] 657*2^696690-1 is not prime. Res64: A987583479A29FC8 Time : 1329.0 sec. user=vaughan [2009-07-11 07:19:45] 685*2^696689-1 is not prime. Res64: BCC1B28854FD0CFE Time : 1769.0 sec. user=Zachariassen [2009-07-11 07:24:33] 657*2^696688-1 is not prime. Res64: 0B69558BFC7F1867 Time : 3466.0 sec. user=kar_bon [2009-07-11 07:29:45] 671*2^696690-1 is not prime. Res64: ACB46F27F7C6A238 Time : 1329.0 sec. user=kar_bon [2009-07-11 07:30:41] 725*2^696690-1 is not prime. Res64: 9DBAA98C457FE402 Time : 1332.0 sec. user=kar_bon [2009-07-11 07:40:49] 767*2^696690-1 is not prime. Res64: 1CFA818BB65B228A Time : 1329.0 sec. user=kar_bon [2009-07-11 07:41:47] 603*2^696691-1 is not prime. Res64: BED61179880F7362 Time : 1332.0 sec. user=vaughan [2009-07-11 07:49:38] 673*2^696691-1 is not prime. Res64: 212CC3664A24A03A Time : 1793.0 sec. user=kar_bon [2009-07-11 07:51:54] 733*2^696691-1 is not prime. Res64: 3563E04042C835A1 Time : 1329.0 sec. user=kar_bon [2009-07-11 07:52:54] 771*2^696691-1 is not prime. Res64: CB9E90418529C193 Time : 1333.0 sec. user=Zachariassen [2009-07-11 07:53:20] 697*2^696689-1 is not prime. Res64: 0F8F2DFBC317BC0B Time : 3462.0 sec. user=kar_bon [2009-07-11 08:02:57] 615*2^696692-1 is not prime. Res64: 1E0F7E163AA05DBA Time : 1328.0 sec. user=kar_bon [2009-07-11 08:04:00] 617*2^696692-1 is not prime. Res64: AEF0BFA15DD60885 Time : 1333.0 sec. user=kar_bon [2009-07-11 08:14:01] 743*2^696692-1 is not prime. Res64: 1B8C3BE5F2F6EBC2 Time : 1327.0 sec. user=vaughan [2009-07-11 08:14:15] 629*2^696692-1 is not prime. Res64: 484ADFBB59E36554 Time : 1478.0 sec. user=kar_bon [2009-07-11 08:15:07] 609*2^696693-1 is not prime. Res64: DDA76A8C248C10BB Time : 1333.0 sec. user=Zachariassen [2009-07-11 08:22:07] 703*2^696691-1 is not prime. Res64: 05073E9B874C8B88 Time : 3454.0 sec. user=kar_bon [2009-07-11 08:25:05] 669*2^696693-1 is not prime. Res64: B85DB4DD8D6BD70C Time : 1328.0 sec. user=kar_bon [2009-07-11 08:26:14] 699*2^696693-1 is not prime. Res64: 1FCD26C9BFAA1718 Time : 1334.0 sec. user=vaughan [2009-07-11 08:30:24] 789*2^696693-1 is not prime. Res64: 61E4243AC69E04C0 Time : 969.0 sec. user=kar_bon [2009-07-11 08:36:10] 735*2^696693-1 is not prime. Res64: 78422BB6FC1B7EF8 Time : 1329.0 sec. user=kar_bon [2009-07-11 08:37:21] 795*2^696693-1 is not prime. Res64: FF0D0BF540E3F0B4 Time : 1334.0 sec. user=vaughan [2009-07-11 08:46:51] 675*2^696695-1 is not prime. Res64: F3F5FE5677EA7AA3 Time : 987.0 sec. user=kar_bon [2009-07-11 08:47:14] 707*2^696694-1 is not prime. Res64: FF997F3BA644CB49 Time : 1329.0 sec. user=kar_bon [2009-07-11 08:48:28] 663*2^696695-1 is not prime. Res64: 1AC3A1B24BA59291 Time : 1334.0 sec. user=Zachariassen [2009-07-11 08:51:11] 621*2^696693-1 is not prime. Res64: 95545FB0D75A279F Time : 3471.0 sec. user=kar_bon [2009-07-11 08:58:18] 721*2^696695-1 is not prime. Res64: 425B945147AB8A8B Time : 1329.0 sec. user=kar_bon [2009-07-11 08:59:35] 725*2^696696-1 is not prime. Res64: D382B886D79EDE42 Time : 1334.0 sec. user=vaughan [2009-07-11 09:03:10] 777*2^696696-1 is not prime. Res64: F495E89DD12DAB26 Time : 980.0 sec. user=kar_bon [2009-07-11 09:09:25] 601*2^696697-1 is not prime. Res64: A5EEEA2EFA71AEF6 Time : 1331.0 sec. user=kar_bon [2009-07-11 09:10:46] 619*2^696697-1 is not prime. Res64: D25999867872DBEF Time : 1338.0 sec. user=vaughan [2009-07-11 09:19:46] 635*2^696698-1 is not prime. Res64: 8D8EF3128849DBC2 Time : 997.0 sec. user=Zachariassen [2009-07-11 09:20:06] 611*2^696694-1 is not prime. Res64: 1524A98334AEC76E Time : 3480.0 sec. user=kar_bon [2009-07-11 09:20:38] 799*2^696697-1 is not prime. Res64: 853B4499E9FDE5F5 Time : 1341.0 sec. user=kar_bon [2009-07-11 09:22:01] 633*2^696698-1 is not prime. Res64: 7CE4D1F101056C60 Time : 1346.0 sec. user=kar_bon [2009-07-11 09:33:35] 677*2^696698-1 is not prime. Res64: CC88E83583D7AC54 Time : 1369.0 sec. user=vaughan [2009-07-11 09:35:57] 743*2^696698-1 is not prime. Res64: 82EE8E93D9520A97 Time : 971.0 sec. user=kar_bon [2009-07-11 09:44:54] 633*2^696699-1 is not prime. Res64: EE1A6D7973DE4E6E Time : 1373.0 sec. user=Zachariassen [2009-07-11 09:48:55] 649*2^696697-1 is not prime. Res64: 07D247D81C54DCC6 Time : 3465.0 sec. user=vaughan [2009-07-11 09:51:50] 705*2^696699-1 is not prime. Res64: 20A818692238E65D Time : 953.0 sec. user=kar_bon [2009-07-11 09:56:05] 639*2^696699-1 is not prime. Res64: 76AD20D15147C29D Time : 1350.0 sec. user=vaughan [2009-07-11 10:07:47] 623*2^696700-1 is not prime. Res64: D1365EABA91C07ED Time : 957.0 sec. user=kar_bon [2009-07-11 10:07:50] 775*2^696699-1 is not prime. Res64: 01535ACD1A57BA72 Time : 1376.0 sec. user=Zachariassen [2009-07-11 10:17:43] 771*2^696698-1 is not prime. Res64: A74BCF7D58F7D0EC Time : 3458.0 sec. user=kar_bon [2009-07-11 10:19:19] 695*2^696700-1 is not prime. Res64: 664E5614CADBCB20 Time : 1394.0 sec. user=vaughan [2009-07-11 10:23:37] 717*2^696700-1 is not prime. Res64: 088420821C7655AC Time : 950.0 sec. user=kar_bon [2009-07-11 10:30:48] 615*2^696701-1 is not prime. Res64: 41910E65F3167D12 Time : 1378.0 sec. user=vaughan [2009-07-11 10:39:33] 745*2^696701-1 is not prime. Res64: 5BFFA86EBF3B83DB Time : 957.0 sec. user=kar_bon [2009-07-11 10:42:19] 691*2^696701-1 is not prime. Res64: D4CC926917EF2D0B Time : 1381.0 sec. user=Zachariassen [2009-07-11 10:46:35] 605*2^696700-1 is not prime. Res64: A0773CABB9FBD68E Time : 3460.0 sec. user=kar_bon [2009-07-11 10:53:44] 657*2^696702-1 is not prime. Res64: 92F07B0BF90D4210 Time : 1377.0 sec. user=vaughan [2009-07-11 10:55:08] 705*2^696702-1 is not prime. Res64: 85D2370F380B3167 Time : 935.0 sec. user=kar_bon [2009-07-11 11:04:58] 717*2^696702-1 is not prime. Res64: 06E7EA8235AAF8D8 Time : 1359.0 sec. user=vaughan [2009-07-11 11:10:51] 609*2^696703-1 is not prime. Res64: 21B3D92EECF0EC08 Time : 943.0 sec. user=kar_bon [2009-07-11 11:15:17] 665*2^696698-1 is not prime. Res64: 9875CC7CC03D3B78 Time : 7552.0 sec. user=Zachariassen [2009-07-11 11:15:27] 627*2^696701-1 is not prime. Res64: BB8A116773CDFA78 Time : 3464.0 sec. user=kar_bon [2009-07-11 11:16:06] 797*2^696702-1 is not prime. Res64: DE4A796775863EB7 Time : 1342.0 sec. user=kar_bon [2009-07-11 11:26:27] 791*2^696698-1 is not prime. Res64: CC6857896BDDE1C7 Time : 7550.0 sec. user=vaughan [2009-07-11 11:26:48] 635*2^696704-1 is not prime. Res64: BB4415838937A2E3 Time : 957.0 sec. user=kar_bon [2009-07-11 11:27:19] 751*2^696703-1 is not prime. Res64: 1B897F96D3D3AE56 Time : 1342.0 sec. user=kar_bon [2009-07-11 11:37:43] 725*2^696704-1 is not prime. Res64: 0361DF865D2775DE Time : 1346.0 sec. user=kar_bon [2009-07-11 11:38:39] 785*2^696704-1 is not prime. Res64: A3155E6F1D73F706 Time : 1353.0 sec. user=vaughan [2009-07-11 11:42:44] 639*2^696705-1 is not prime. Res64: 2F4749C39DF87D34 Time : 957.0 sec. user=Zachariassen [2009-07-11 11:44:16] 737*2^696702-1 is not prime. Res64: 23086BEC077BA487 Time : 3461.0 sec. user=kar_bon [2009-07-11 11:48:49] 609*2^696705-1 is not prime. Res64: 9A5170B76953DB0E Time : 1342.0 sec. user=kar_bon [2009-07-11 11:49:43] 649*2^696705-1 is not prime. Res64: 6075A57D98C88AD2 Time : 1344.0 sec. user=vaughan [2009-07-11 11:59:12] 617*2^696706-1 is not prime. Res64: 679DF65C6CF3D5EB Time : 989.0 sec. user=kar_bon [2009-07-11 11:59:52] 691*2^696705-1 is not prime. Res64: 1F24AFC4B8BE4C60 Time : 1330.0 sec. user=kar_bon [2009-07-11 12:00:45] 781*2^696705-1 is not prime. Res64: D9D6D0C30FED74F7 Time : 1326.0 sec. user=kar_bon [2009-07-11 12:10:56] 717*2^696706-1 is not prime. Res64: 1DFEC5B5692A3BE2 Time : 1327.0 sec. user=kar_bon [2009-07-11 12:11:51] 723*2^696706-1 is not prime. Res64: C29F3E3FB842265C Time : 1329.0 sec. user=Zachariassen [2009-07-11 12:13:23] 773*2^696704-1 is not prime. Res64: 037B5102A716E3FC Time : 3477.0 sec. user=vaughan [2009-07-11 12:15:26] 609*2^696707-1 is not prime. Res64: 13D69BC9C26D6EC2 Time : 974.0 sec. user=kar_bon [2009-07-11 12:22:00] 619*2^696707-1 is not prime. Res64: 70423349F1982B3F Time : 1328.0 sec. user=kar_bon [2009-07-11 12:22:55] 655*2^696707-1 is not prime. Res64: DD07D0F442C50AA7 Time : 1330.0 sec. user=vaughan [2009-07-11 12:31:22] 707*2^696708-1 is not prime. Res64: A5AE7349BB791A6F Time : 957.0 sec. user=kar_bon [2009-07-11 12:33:04] 703*2^696707-1 is not prime. Res64: E0289B4657DAC41D Time : 1328.0 sec. user=kar_bon [2009-07-11 12:33:58] 657*2^696708-1 is not prime. Res64: 900BD6C098097311 Time : 1328.0 sec. user=Zachariassen [2009-07-11 12:42:20] 713*2^696706-1 is not prime. Res64: E64264BCCF87D32A Time : 3484.0 sec. user=kar_bon [2009-07-11 12:44:08] 667*2^696709-1 is not prime. Res64: BD7C715041C29201 Time : 1328.0 sec. user=kar_bon [2009-07-11 12:45:02] 771*2^696709-1 is not prime. Res64: 52D1661EEE920A30 Time : 1327.0 sec. user=vaughan [2009-07-11 12:47:22] 615*2^696711-1 is not prime. Res64: 60E633BA04D39EE9 Time : 960.0 sec. user=kar_bon [2009-07-11 12:55:12] 669*2^696711-1 is not prime. Res64: F787BC77A8E6FCF1 Time : 1328.0 sec. user=kar_bon [2009-07-11 12:56:05] 693*2^696711-1 is not prime. Res64: 1936127D6C902663 Time : 1327.0 sec. user=vaughan [2009-07-11 13:03:35] 653*2^696712-1 is not prime. Res64: 55FD4484AEC9938C Time : 973.0 sec. user=kar_bon [2009-07-11 13:06:16] 775*2^696711-1 is not prime. Res64: CFB34E1947543CFA Time : 1328.0 sec. user=kar_bon [2009-07-11 13:07:12] 635*2^696712-1 is not prime. Res64: 1143BC868684438F Time : 1331.0 sec. user=Zachariassen [2009-07-11 13:11:23] 683*2^696708-1 is not prime. Res64: FD669D9CB9D66F74 Time : 3480.0 sec. user=kar_bon [2009-07-11 13:17:27] 719*2^696712-1 is not prime. Res64: 7C1452F142E4DB79 Time : 1336.0 sec. user=kar_bon [2009-07-11 13:18:20] 759*2^696712-1 is not prime. Res64: D262A3B0D1E835E8 Time : 1335.0 sec. user=vaughan [2009-07-11 13:19:50] 691*2^696713-1 is not prime. Res64: 5077DE0AC24EDBFA Time : 975.0 sec. user=kar_bon [2009-07-11 13:28:31] 781*2^696713-1 is not prime. Res64: A176CE8C7193FE76 Time : 1335.0 sec. user=kar_bon [2009-07-11 13:29:23] 627*2^696714-1 is not prime. Res64: A0CA3C1EA90F52C4 Time : 1332.0 sec. user=vaughan [2009-07-11 13:36:05] 747*2^696714-1 is not prime. Res64: AF88B60CA0C10D57 Time : 975.0 sec. user=kar_bon [2009-07-11 13:39:35] 651*2^696714-1 is not prime. Res64: 274CF5D7E1EB791F Time : 1328.0 sec. user=Zachariassen [2009-07-11 13:40:13] 723*2^696711-1 is not prime. Res64: 07B2CBEA827CE18D Time : 3473.0 sec. user=kar_bon [2009-07-11 13:40:26] 711*2^696714-1 is not prime. Res64: D1908AD0AB3438B3 Time : 1326.0 sec. user=kar_bon [2009-07-11 13:50:41] 765*2^696714-1 is not prime. Res64: 1F924428BB7FD4CD Time : 1331.0 sec. user=kar_bon [2009-07-11 13:51:33] 767*2^696714-1 is not prime. Res64: 36FC6F61A13863DC Time : 1330.0 sec. user=vaughan [2009-07-11 13:52:06] 783*2^696714-1 is not prime. Res64: BAA3437834D92CDF Time : 962.0 sec. user=kar_bon [2009-07-11 14:01:54] 601*2^696715-1 is not prime. Res64: 44A96FFE42D36D8B Time : 1339.0 sec. user=kar_bon [2009-07-11 14:02:43] 741*2^696715-1 is not prime. Res64: 653EC83AE6EEB517 Time : 1337.0 sec. user=vaughan [2009-07-11 14:08:12] 707*2^696716-1 is not prime. Res64: 12DC6F81DD7AE514 Time : 967.0 sec. user=Zachariassen [2009-07-11 14:09:02] 633*2^696714-1 is not prime. Res64: 552999EF6AF25261 Time : 3459.0 sec. user=kar_bon [2009-07-11 14:13:02] 751*2^696715-1 is not prime. Res64: D8D25758E2FE2D0B Time : 1341.0 sec. user=kar_bon [2009-07-11 14:13:48] 675*2^696716-1 is not prime. Res64: 5233347B12D80E7C Time : 1336.0 sec. user=kar_bon [2009-07-11 14:24:08] 773*2^696716-1 is not prime. Res64: BE229E47C24EE608 Time : 1334.0 sec. user=vaughan [2009-07-11 14:24:15] 699*2^696717-1 is not prime. Res64: E27F972BF8AA3835 Time : 963.0 sec. user=kar_bon [2009-07-11 14:24:55] 655*2^696717-1 is not prime. Res64: 57207E00DF2BBA0D Time : 1332.0 sec. user=kar_bon [2009-07-11 14:35:18] 765*2^696717-1 is not prime. Res64: A1D376356D09FF66 Time : 1337.0 sec. user=kar_bon [2009-07-11 14:36:03] 769*2^696717-1 is not prime. Res64: 96A24400E81F4769 Time : 1335.0 sec. user=Zachariassen [2009-07-11 14:38:01] 651*2^696715-1 is not prime. Res64: AC2BF256DFAA6EED Time : 3469.0 sec. user=vaughan [2009-07-11 14:40:10] 695*2^696718-1 is not prime. Res64: 1739E948D6CA3957 Time : 955.0 sec. user=kar_bon [2009-07-11 14:46:31] 635*2^696718-1 is not prime. Res64: D51441B176DC0C15 Time : 1343.0 sec. user=kar_bon [2009-07-11 14:47:12] 705*2^696718-1 is not prime. Res64: 9C4FBA869C785D51 Time : 1338.0 sec. user=vaughan [2009-07-11 14:56:03] 675*2^696720-1 is not prime. Res64: B11E60B5CA7217D0 Time : 953.0 sec. user=kar_bon [2009-07-11 14:57:35] 621*2^696719-1 is not prime. Res64: 67F8878BF2256D36 Time : 1337.0 sec. user=kar_bon [2009-07-11 14:58:16] 643*2^696719-1 is not prime. Res64: 12B1CFA6E3FCE50E Time : 1333.0 sec. user=Zachariassen [2009-07-11 15:06:49] 735*2^696717-1 is not prime. Res64: F720ED8516E8BEA7 Time : 3467.0 sec. user=kar_bon [2009-07-11 15:08:38] 789*2^696720-1 is not prime. Res64: C004F1AAEE61CE5D Time : 1328.0 sec. user=kar_bon [2009-07-11 15:09:19] 741*2^696721-1 is not prime. Res64: 4A3B71A27E103C99 Time : 1328.0 sec. user=vaughan [2009-07-11 15:11:48] 651*2^696722-1 is not prime. Res64: 14EB6655B65A6524 Time : 945.0 sec. user=kar_bon [2009-07-11 15:19:45] 665*2^696722-1 is not prime. Res64: E0B267128AED6662 Time : 1330.0 sec. user=kar_bon [2009-07-11 15:20:26] 675*2^696722-1 is not prime. Res64: 3B1CB28A0E8C89D0 Time : 1330.0 sec. user=vaughan [2009-07-11 15:27:23] 625*2^696723-1 is not prime. Res64: 8373B28C292441AB Time : 935.0 sec. user=kar_bon [2009-07-11 15:30:54] 711*2^696722-1 is not prime. Res64: CAD6D4793EE98B64 Time : 1336.0 sec. user=kar_bon [2009-07-11 15:31:32] 731*2^696722-1 is not prime. Res64: 2021B88E0CA14FDB Time : 1333.0 sec. user=Zachariassen [2009-07-11 15:35:40] 721*2^696719-1 is not prime. Res64: 87D5C31517409B1A Time : 3460.0 sec. user=kar_bon [2009-07-11 15:42:00] 705*2^696723-1 is not prime. Res64: B77E821FC01BD6F8 Time : 1335.0 sec. user=kar_bon [2009-07-11 15:42:39] 721*2^696723-1 is not prime. Res64: AA2FA4F9A0ABC56C Time : 1333.0 sec. user=vaughan [2009-07-11 15:43:06] 735*2^696723-1 is not prime. Res64: D29F3C125FAFCD1E Time : 943.0 sec. user=kar_bon [2009-07-11 15:53:05] 741*2^696723-1 is not prime. Res64: E52CA54D73069319 Time : 1331.0 sec. user=kar_bon [2009-07-11 15:53:44] 765*2^696723-1 is not prime. Res64: 7270EB6DD07F6884 Time : 1332.0 sec. user=vaughan [2009-07-11 15:58:44] 663*2^696724-1 is not prime. Res64: 31343A48FC20B758 Time : 939.0 sec. user=kar_bon [2009-07-11 16:04:11] 617*2^696724-1 is not prime. Res64: E522DBA5D0CD9E17 Time : 1331.0 sec. user=Zachariassen [2009-07-11 16:04:29] 705*2^696722-1 is not prime. Res64: 34A1B49D6F911BBD Time : 3460.0 sec. user=kar_bon [2009-07-11 16:04:50] 629*2^696724-1 is not prime. Res64: 3AEE809CED78509A Time : 1332.0 sec. user=vaughan [2009-07-11 16:14:22] 641*2^696726-1 is not prime. Res64: C4DE069E925F6DCD Time : 938.0 sec. user=kar_bon [2009-07-11 16:15:20] 677*2^696724-1 is not prime. Res64: 68FD84B89C92F9B4 Time : 1335.0 sec. user=kar_bon [2009-07-11 16:16:02] 607*2^696725-1 is not prime. Res64: 21E5BC9296D9D975 Time : 1338.0 sec. user=kar_bon [2009-07-11 16:27:14] 683*2^696726-1 is not prime. Res64: 007FC8AB889CAAA9 Time : 1384.0 sec. user=kar_bon [2009-07-11 16:27:55] 713*2^696726-1 is not prime. Res64: D4CB2F6C2A82DABA Time : 1385.0 sec. user=vaughan [2009-07-11 16:27:59] 717*2^696726-1 is not prime. Res64: 331616086DE30007 Time : 817.0 sec. user=Zachariassen [2009-07-11 16:33:13] 615*2^696724-1 is not prime. Res64: 58562AB61FBB27D8 Time : 3453.0 sec. user=kar_bon [2009-07-11 16:38:25] 601*2^696727-1 is not prime. Res64: 3BA0E1856E375CBC Time : 1385.0 sec. user=kar_bon [2009-07-11 16:39:06] 603*2^696727-1 is not prime. Res64: F7DD0294BC52A3FA Time : 1384.0 sec. user=vaughan [2009-07-11 16:39:41] 777*2^696728-1 is not prime. Res64: 55AA29A7F1148C0C Time : 703.0 sec. user=kar_bon [2009-07-11 16:49:41] 615*2^696728-1 is not prime. Res64: 446D69C57E0D4A0C Time : 1347.0 sec. user=kar_bon [2009-07-11 16:50:22] 699*2^696728-1 is not prime. Res64: E0D21EB1F459A733 Time : 1347.0 sec. user=vaughan [2009-07-11 16:51:19] 603*2^696730-1 is not prime. Res64: 0AF4F299C97B0D39 Time : 699.0 sec. user=kar_bon [2009-07-11 17:00:49] 667*2^696729-1 is not prime. Res64: B831E3DE3F49228C Time : 1344.0 sec. user=kar_bon [2009-07-11 17:01:30] 745*2^696729-1 is not prime. Res64: 77003C649F2A62E1 Time : 1344.0 sec. user=Zachariassen [2009-07-11 17:01:55] 707*2^696726-1 is not prime. Res64: D7DA6B8E7A7F52A6 Time : 3446.0 sec. user=vaughan [2009-07-11 17:02:39] 717*2^696730-1 is not prime. Res64: 31F4043883043809 Time : 680.0 sec. user=kar_bon [2009-07-11 17:12:03] 645*2^696730-1 is not prime. Res64: 3ED8736ADE9A18BD Time : 1342.0 sec. user=kar_bon [2009-07-11 17:12:41] 657*2^696730-1 is not prime. Res64: F4F6F492CD07D0EB Time : 1339.0 sec. user=vaughan [2009-07-11 17:13:59] 773*2^696730-1 is not prime. Res64: 3AEFF99C607785BD Time : 680.0 sec. user=kar_bon [2009-07-11 17:23:18] 723*2^696730-1 is not prime. Res64: A43A5058E414FE9D Time : 1349.0 sec. user=kar_bon [2009-07-11 17:23:56] 731*2^696730-1 is not prime. Res64: 783C6460A94BE685 Time : 1346.0 sec. user=vaughan [2009-07-11 17:30:27] 715*2^696731-1 is not prime. Res64: 6BF46F9C65E118B5 Time : 989.0 sec. user=Zachariassen [2009-07-11 17:30:31] 661*2^696729-1 is not prime. Res64: 070863F80F2F09BB Time : 3438.0 sec. user=kar_bon [2009-07-11 17:34:26] 777*2^696730-1 is not prime. Res64: A23CB56AFEE6202F Time : 1344.0 sec. user=kar_bon [2009-07-11 17:35:02] 619*2^696731-1 is not prime. Res64: A6AE8CA7855DC5F5 Time : 1341.0 sec. user=kar_bon [2009-07-11 17:45:31] 741*2^696731-1 is not prime. Res64: DC5F2DDE8E24B811 Time : 1333.0 sec. user=kar_bon [2009-07-11 17:46:06] 619*2^696733-1 is not prime. Res64: 805944800468F1CD Time : 1331.0 sec. user=vaughan [2009-07-11 17:48:22] 625*2^696733-1 is not prime. Res64: 5C69750A02BF4643 Time : 1075.0 sec. user=kar_bon [2009-07-11 17:56:36] 729*2^696733-1 is not prime. Res64: 51E7ACC77796318D Time : 1330.0 sec. user=kar_bon [2009-07-11 17:57:10] 745*2^696733-1 is not prime. Res64: A22E49732D9A4F0D Time : 1328.0 sec. user=Zachariassen [2009-07-11 17:59:28] 735*2^696730-1 is not prime. Res64: 00BE939BC4DB0864 Time : 3453.0 sec. user=vaughan [2009-07-11 18:06:09] 717*2^696734-1 is not prime. Res64: 9D62C185EEFAF98F Time : 1068.0 sec. user=kar_bon [2009-07-11 18:08:01] 635*2^696734-1 is not prime. Res64: BAF418A67A3F6313 Time : 1351.0 sec. user=kar_bon [2009-07-11 18:08:41] 711*2^696734-1 is not prime. Res64: 6F6503FAA9353415 Time : 1355.0 sec. user=kar_bon [2009-07-11 18:20:28] 797*2^696734-1 is not prime. Res64: D201D3D38346B6E2 Time : 1432.0 sec. user=kar_bon [2009-07-11 18:21:33] 649*2^696735-1 is not prime. Res64: 2819E76E0F587A75 Time : 1464.0 sec. user=vaughan [2009-07-11 18:23:56] 675*2^696735-1 is not prime. Res64: 71A2EE6C88427101 Time : 1067.0 sec. user=Zachariassen [2009-07-11 18:28:30] 727*2^696733-1 is not prime. Res64: E383E2307CF26BBD Time : 3480.0 sec. user=kar_bon [2009-07-11 18:32:42] 711*2^696735-1 is not prime. Res64: 612AE2B8CF3C1321 Time : 1481.0 sec. user=kar_bon [2009-07-11 18:34:15] 603*2^696736-1 is not prime. Res64: D154D3C10B5740CB Time : 1534.0 sec. user=vaughan [2009-07-11 18:35:39] 755*2^696736-1 is not prime. Res64: F0046B8D49F64B13 Time : 703.0 sec. user=kar_bon [2009-07-11 18:44:32] 675*2^696736-1 is not prime. Res64: 88DE46D7D9FEE260 Time : 1444.0 sec. user=kar_bon [2009-07-11 18:46:07] 705*2^696736-1 is not prime. Res64: F5E989234899B758 Time : 1475.0 sec. user=vaughan [2009-07-11 18:47:15] 657*2^696738-1 is not prime. Res64: 6D92D7E053CAA0D7 Time : 696.0 sec. user=kar_bon [2009-07-11 18:55:40] 711*2^696737-1 is not prime. Res64: 96BC72AA314C483A Time : 1379.0 sec. user=kar_bon [2009-07-11 18:57:16] 633*2^696738-1 is not prime. Res64: 6A809726A202CF83 Time : 1381.0 sec. user=Zachariassen [2009-07-11 18:57:25] 651*2^696735-1 is not prime. Res64: DD1D4F1883CB40E9 Time : 3477.0 sec. user=vaughan [2009-07-11 18:58:50] 709*2^696739-1 is not prime. Res64: 0B160CE74B545ED5 Time : 695.0 sec. user=kar_bon [2009-07-11 19:06:46] 665*2^696738-1 is not prime. Res64: 80C4926CA9F870CB Time : 1334.0 sec. user=kar_bon [2009-07-11 19:08:23] 725*2^696738-1 is not prime. Res64: 74506F2CA41D5ED5 Time : 1336.0 sec. user=vaughan [2009-07-11 19:10:28] 633*2^696740-1 is not prime. Res64: C2CBFE2462F8848C Time : 698.0 sec. user=kar_bon [2009-07-11 19:17:52] 723*2^696739-1 is not prime. Res64: DF5B9062269EDE7D Time : 1332.0 sec. user=kar_bon [2009-07-11 19:19:30] 733*2^696739-1 is not prime. Res64: 3DCBB63E5BACC6F8 Time : 1334.0 sec. user=vaughan [2009-07-11 19:22:04] 727*2^696741-1 is not prime. Res64: 098879A85187E590 Time : 697.0 sec. user=Zachariassen [2009-07-11 19:26:19] 773*2^696736-1 is not prime. Res64: 6957BB8B3ADD7CEF Time : 3469.0 sec. user=kar_bon [2009-07-11 19:29:01] 675*2^696740-1 is not prime. Res64: 98C97AFF9DCCE9E4 Time : 1335.0 sec. user=kar_bon [2009-07-11 19:30:39] 681*2^696741-1 is not prime. Res64: E29E0F9478130D99 Time : 1336.0 sec. user=vaughan [2009-07-11 19:36:21] 635*2^696742-1 is not prime. Res64: 6D28F4E41B19E517 Time : 857.0 sec. user=kar_bon [2009-07-11 19:40:09] 745*2^696741-1 is not prime. Res64: 0E477FA56242E3FC Time : 1337.0 sec. user=kar_bon [2009-07-11 19:41:48] 621*2^696742-1 is not prime. Res64: 3B3016BB5CBF1861 Time : 1339.0 sec. user=kar_bon [2009-07-11 19:51:16] 717*2^696742-1 is not prime. Res64: EC297CDACCE357EE Time : 1335.0 sec. user=vaughan [2009-07-11 19:52:23] 669*2^696743-1 is not prime. Res64: AF1474E387AF69C3 Time : 963.0 sec. user=kar_bon [2009-07-11 19:52:55] 741*2^696742-1 is not prime. Res64: B85CB139A6A4D1C3 Time : 1336.0 sec. user=Zachariassen [2009-07-11 19:55:11] 603*2^696740-1 is not prime. Res64: 5BDE0E8E36730BCC Time : 3466.0 sec. user=kar_bon [2009-07-11 20:02:22] 703*2^696743-1 is not prime. Res64: 5AE1B4838D105848 Time : 1333.0 sec. user=kar_bon [2009-07-11 20:04:04] 753*2^696743-1 is not prime. Res64: D4D15F1D1451A8F2 Time : 1337.0 sec. user=vaughan [2009-07-11 20:10:04] 675*2^696744-1 is not prime. Res64: F9756B9471EC4424 Time : 1061.0 sec. user=kar_bon [2009-07-11 20:13:30] 789*2^696743-1 is not prime. Res64: EF2BF4D037380E87 Time : 1335.0 sec. user=kar_bon [2009-07-11 20:15:12] 737*2^696744-1 is not prime. Res64: B4B9943873F0EFC5 Time : 1337.0 sec. user=Zachariassen [2009-07-11 20:24:10] 681*2^696742-1 is not prime. Res64: 7D0C6DB094EB2737 Time : 3471.0 sec. user=kar_bon [2009-07-11 20:24:36] 625*2^696745-1 is not prime. Res64: 2A75620D613E630D Time : 1334.0 sec. user=vaughan [2009-07-11 20:25:02] 667*2^696745-1 is not prime. Res64: 71729330296754C8 Time : 898.0 sec. user=kar_bon [2009-07-11 20:26:19] 651*2^696745-1 is not prime. Res64: D0736A615F37FFBF Time : 1336.0 sec. user=kar_bon [2009-07-11 20:35:43] 699*2^696745-1 is not prime. Res64: D2F4A7CE4A6DECE2 Time : 1334.0 sec. user=kar_bon [2009-07-11 20:37:29] 715*2^696745-1 is not prime. Res64: FFB77F9E34A12771 Time : 1337.0 sec. user=vaughan [2009-07-11 20:37:48] 717*2^696746-1 is not prime. Res64: 172EC8637DC1B224 Time : 766.0 sec. user=kar_bon [2009-07-11 20:46:51] 713*2^696746-1 is not prime. Res64: 52DAD09D830754E5 Time : 1335.0 sec. user=kar_bon [2009-07-11 20:48:36] 741*2^696746-1 is not prime. Res64: 97E8649227116FED Time : 1337.0 sec. user=vaughan [2009-07-11 20:50:48] 705*2^696747-1 is not prime. Res64: 5A1FE4BDA2FA9BC1 Time : 781.0 sec. user=Zachariassen [2009-07-11 20:52:58] 767*2^696744-1 is not prime. Res64: 30FA0D9B1F3D6CD3 Time : 3468.0 sec. user=kar_bon [2009-07-11 20:57:56] 783*2^696746-1 is not prime. Res64: 4A701F9600E10399 Time : 1333.0 sec. user=kar_bon [2009-07-11 20:59:43] 621*2^696747-1 is not prime. Res64: AF367C1179AEB1DE Time : 1335.0 sec. user=vaughan [2009-07-11 21:03:18] 783*2^696748-1 is not prime. Res64: 02E22F1C4747BB8E Time : 750.0 sec. user=kar_bon [2009-07-11 21:09:01] 603*2^696748-1 is not prime. Res64: D66D6C1F8F246EC6 Time : 1330.0 sec. user=kar_bon [2009-07-11 21:10:49] 749*2^696748-1 is not prime. Res64: C1248EB7B09F7056 Time : 1333.0 sec. user=vaughan [2009-07-11 21:14:36] 735*2^696749-1 is not prime. Res64: F8C0A76D14E950E3 Time : 679.0 sec. user=kar_bon [2009-07-11 21:20:03] 691*2^696749-1 is not prime. Res64: 3168D896D0CB1AC6 Time : 1327.0 sec. user=Zachariassen [2009-07-11 21:21:44] 707*2^696746-1 is not prime. Res64: C4E013190497C50C Time : 3454.0 sec. user=kar_bon [2009-07-11 21:21:52] 711*2^696749-1 is not prime. Res64: 6D69E64FAD5662F5 Time : 1329.0 sec. user=vaughan [2009-07-11 21:26:25] 627*2^696750-1 is not prime. Res64: 807B3C9DB613FA16 Time : 709.0 sec. user=kar_bon [2009-07-11 21:31:06] 771*2^696749-1 is not prime. Res64: 9B8301D5955361B2 Time : 1326.0 sec. user=kar_bon [2009-07-11 21:32:56] 775*2^696749-1 is not prime. Res64: 46BDAF2D979AB104 Time : 1327.0 sec. user=kar_bon [2009-07-11 21:42:09] 635*2^696750-1 is not prime. Res64: C810CA63C5F9EE5A Time : 1326.0 sec. user=kar_bon [2009-07-11 21:44:00] 707*2^696750-1 is not prime. Res64: 89D1FF400C6B52EA Time : 1328.0 sec. user=vaughan [2009-07-11 21:47:20] 717*2^696750-1 is not prime. Res64: D7CDC54A2991B59E Time : 1256.0 sec. user=Zachariassen [2009-07-11 21:50:38] 631*2^696749-1 is not prime. Res64: 57E910761E40B5E7 Time : 3460.0 sec. user=kar_bon [2009-07-11 21:53:11] 755*2^696750-1 is not prime. Res64: E1718AAC92A7FC78 Time : 1325.0 sec. user=kar_bon [2009-07-11 21:55:06] 609*2^696751-1 is not prime. Res64: 81CE905F8997F48D Time : 1330.0 sec. user=vaughan [2009-07-11 22:01:10] 703*2^696751-1 is not prime. Res64: 1214E7A0C378C6FF Time : 831.0 sec. user=kar_bon [2009-07-11 22:04:14] 651*2^696751-1 is not prime. Res64: 1BF82A7F4CF67AD3 Time : 1326.0 sec. user=kar_bon [2009-07-11 22:06:09] 673*2^696751-1 is not prime. Res64: 8D9FDF28526F947B Time : 1329.0 sec. user=kar_bon [2009-07-11 22:15:14] 789*2^696751-1 is not prime. Res64: 5E71257DD2E7A4CC Time : 1323.0 sec. user=vaughan [2009-07-11 22:16:33] 645*2^696752-1 is not prime. Res64: C800F925040A4029 Time : 924.0 sec. user=kar_bon [2009-07-11 22:17:11] 615*2^696752-1 is not prime. Res64: 320E0BBE7A86595C Time : 1326.0 sec. user=Zachariassen [2009-07-11 22:19:27] 651*2^696750-1 is not prime. Res64: 5D289937AF202D86 Time : 3464.0 sec. user=kar_bon [2009-07-11 22:26:15] 677*2^696752-1 is not prime. Res64: 205D88914BEC9900 Time : 1322.0 sec. user=kar_bon [2009-07-11 22:28:18] 683*2^696752-1 is not prime. Res64: 474551DFD42F041D Time : 1329.0 sec. user=vaughan [2009-07-11 22:32:09] 637*2^696753-1 is not prime. Res64: 763FF5928DEE0A76 Time : 937.0 sec. user=kar_bon [2009-07-11 22:37:17] 719*2^696752-1 is not prime. Res64: 8417E72042746658 Time : 1323.0 sec. user=kar_bon [2009-07-11 22:39:22] 649*2^696753-1 is not prime. Res64: A64F2ED9BB69F205 Time : 1331.0 sec. user=vaughan [2009-07-11 22:45:00] 635*2^696754-1 is not prime. Res64: F7CFCBCD4A6ABA78 Time : 771.0 sec. user=kar_bon [2009-07-11 22:48:18] 685*2^696753-1 is not prime. Res64: FCC9FFB47B667496 Time : 1323.0 sec. user=Zachariassen [2009-07-11 22:48:27] 715*2^696751-1 is not prime. Res64: 951A9ACADD656466 Time : 3470.0 sec. user=kar_bon [2009-07-11 22:50:26] 623*2^696754-1 is not prime. Res64: 1947F88CBCF3FB13 Time : 1329.0 sec. user=vaughan [2009-07-11 22:58:03] 619*2^696755-1 is not prime. Res64: 0D26F1116682F372 Time : 783.0 sec. user=kar_bon [2009-07-11 22:59:21] 657*2^696754-1 is not prime. Res64: E9EFC9DD1D2F2DB9 Time : 1325.0 sec. user=kar_bon [2009-07-11 23:01:28] 675*2^696754-1 is not prime. Res64: E421D55910A0CA6E Time : 1326.0 sec. user=kar_bon [2009-07-11 23:10:26] 663*2^696755-1 is not prime. Res64: D4569E9126B923F9 Time : 1328.0 sec. user=vaughan [2009-07-11 23:10:50] 609*2^696756-1 is not prime. Res64: D296FD8B8B649B4D Time : 767.0 sec. user=kar_bon [2009-07-11 23:12:34] 733*2^696755-1 is not prime. Res64: 597D58FE05D3D3A5 Time : 1328.0 sec. user=Zachariassen [2009-07-11 23:17:07] 657*2^696753-1 is not prime. Res64: 34C7A255E934E4D9 Time : 3461.0 sec. user=kar_bon [2009-07-11 23:21:36] 623*2^696756-1 is not prime. Res64: C4E1AF7CA7325FB9 Time : 1336.0 sec. user=vaughan [2009-07-11 23:23:33] 675*2^696757-1 is not prime. Res64: 62449CA7B2FE232A Time : 763.0 sec. user=kar_bon [2009-07-11 23:23:43] 737*2^696756-1 is not prime. Res64: 30EE26E45B2A4B45 Time : 1336.0 sec. user=kar_bon [2009-07-11 23:32:44] 615*2^696757-1 is not prime. Res64: 7083F6666DFF4D7F Time : 1338.0 sec. user=kar_bon [2009-07-11 23:34:54] 741*2^696757-1 is not prime. Res64: C6371C5015C5B991 Time : 1340.0 sec. user=vaughan [2009-07-11 23:38:48] 623*2^696758-1 is not prime. Res64: 1DE1105675504B13 Time : 915.0 sec. user=kar_bon [2009-07-11 23:43:52] 771*2^696757-1 is not prime. Res64: 64F4CA1939C17AB8 Time : 1337.0 sec. user=Zachariassen [2009-07-11 23:45:58] 705*2^696755-1 is not prime. Res64: 0B368EE5D1606D02 Time : 3452.0 sec. user=kar_bon [2009-07-11 23:46:02] 743*2^696758-1 is not prime. Res64: 42C5754CF9A04D4E Time : 1339.0 sec. user=vaughan [2009-07-11 23:54:16] 775*2^696759-1 is not prime. Res64: C6FAC512FA0688F2 Time : 929.0 sec. user=kar_bon [2009-07-11 23:55:01] 625*2^696759-1 is not prime. Res64: 1EAA7DCFD3AE1334 Time : 1337.0 sec. user=kar_bon [2009-07-11 23:57:11] 633*2^696759-1 is not prime. Res64: 034283E4DEDAEB13 Time : 1337.0 sec.