user=vaughan [2009-07-02 00:01:05] 465*2^702138-1 is not prime. Res64: 644AB7A845627BA8 Time : 5415.0 sec. user=vaughan [2009-07-02 00:01:22] 585*2^702138-1 is not prime. Res64: 8BC50FCC35F919F2 Time : 5357.0 sec. user=vaughan [2009-07-02 00:02:05] 573*2^702143-1 is not prime. Res64: 03F93728DA9FF60A Time : 1363.0 sec. user=vaughan [2009-07-02 00:10:04] 471*2^702139-1 is not prime. Res64: 224A49F2A4415BBA Time : 5390.0 sec. user=vaughan [2009-07-02 00:10:23] 555*2^702139-1 is not prime. Res64: CE2F220AA7A78689 Time : 5345.0 sec. user=gd_barnes [2009-07-02 00:11:18] 561*2^702139-1 is not prime. Res64: 63A4D641102A6C1D Time : 5003.0 sec. user=vaughan [2009-07-02 00:19:13] 417*2^702140-1 is not prime. Res64: E13434519B43FA2B Time : 5412.0 sec. user=vaughan [2009-07-02 00:19:32] 473*2^702140-1 is not prime. Res64: 0FAD87E87BFB3F70 Time : 5345.0 sec. user=vaughan [2009-07-02 00:24:38] 447*2^702146-1 is not prime. Res64: CF215A849F3192E4 Time : 1353.0 sec. user=vaughan [2009-07-02 00:27:38] 545*2^702140-1 is not prime. Res64: C87F30F1FB83F251 Time : 5378.0 sec. user=gd_barnes [2009-07-02 00:27:51] 537*2^702141-1 is not prime. Res64: 44E287E9054FA3B9 Time : 5000.0 sec. user=vaughan [2009-07-02 00:27:57] 499*2^702141-1 is not prime. Res64: ED370961A23C7485 Time : 5322.0 sec. user=vaughan [2009-07-02 00:35:29] 565*2^702141-1 is not prime. Res64: F902190F522E6007 Time : 5283.0 sec. user=vaughan [2009-07-02 00:35:49] 571*2^702141-1 is not prime. Res64: D4E14A992A820242 Time : 5232.0 sec. user=vaughan [2009-07-02 00:43:21] 423*2^702142-1 is not prime. Res64: 02A7D562C9D6F835 Time : 5216.0 sec. user=vaughan [2009-07-02 00:43:40] 513*2^702142-1 is not prime. Res64: 526738C092371B2B Time : 5178.0 sec. user=gd_barnes [2009-07-02 00:44:43] 561*2^702142-1 is not prime. Res64: AE648C9C491F0D5F Time : 5008.0 sec. user=vaughan [2009-07-02 00:47:21] 451*2^702147-1 is not prime. Res64: 5E407E96FC345EC6 Time : 1363.0 sec. user=vaughan [2009-07-02 00:51:11] 411*2^702143-1 is not prime. Res64: BD9B52A8937AE66A Time : 5133.0 sec. user=vaughan [2009-07-02 00:51:32] 463*2^702143-1 is not prime. Res64: 1619499E82CE9C11 Time : 5122.0 sec. user=vaughan [2009-07-02 00:59:02] 501*2^702143-1 is not prime. Res64: 1D59A534D6D58F7F Time : 5070.0 sec. user=vaughan [2009-07-02 00:59:27] 505*2^702143-1 is not prime. Res64: 112B78E7782BBAC6 Time : 5061.0 sec. user=gd_barnes [2009-07-02 01:01:09] 571*2^702143-1 is not prime. Res64: 8528130A710AEB70 Time : 4983.0 sec. user=vaughan [2009-07-02 01:06:51] 465*2^702144-1 is not prime. Res64: CF896917B87A7D74 Time : 4995.0 sec. user=vaughan [2009-07-02 01:07:21] 567*2^702144-1 is not prime. Res64: 05721A289BC79741 Time : 5011.0 sec. user=vaughan [2009-07-02 01:10:53] 507*2^702148-1 is not prime. Res64: F2125402293039CE Time : 1412.0 sec. user=vaughan [2009-07-02 01:14:43] 597*2^702144-1 is not prime. Res64: 6ACFD79954251DF1 Time : 4956.0 sec. user=vaughan [2009-07-02 01:15:13] 441*2^702145-1 is not prime. Res64: 61E9F98BAC5FC06A Time : 4959.0 sec. user=gd_barnes [2009-07-02 01:17:53] 495*2^702145-1 is not prime. Res64: CFE54A08298608BF Time : 4991.0 sec. user=vaughan [2009-07-02 01:22:37] 567*2^702145-1 is not prime. Res64: A28348C41D24425A Time : 4892.0 sec. user=vaughan [2009-07-02 01:23:01] 595*2^702145-1 is not prime. Res64: 89A40819030E671A Time : 4899.0 sec. user=vaughan [2009-07-02 01:30:29] 483*2^702146-1 is not prime. Res64: 2D2BF034388E3136 Time : 4825.0 sec. user=vaughan [2009-07-02 01:30:52] 507*2^702146-1 is not prime. Res64: 5F7162F48DFDB12C Time : 4829.0 sec. user=vaughan [2009-07-02 01:34:17] 443*2^702150-1 is not prime. Res64: B0E4B3C3C98B3B84 Time : 1404.0 sec. user=gd_barnes [2009-07-02 01:34:35] 515*2^702146-1 is not prime. Res64: A99FBACCFC493FA6 Time : 4997.0 sec. user=vaughan [2009-07-02 01:38:25] 573*2^702146-1 is not prime. Res64: 3F674D8E660C0F36 Time : 4752.0 sec. user=vaughan [2009-07-02 01:38:52] 409*2^702147-1 is not prime. Res64: A3F6987B8C32E58C Time : 4760.0 sec. user=vaughan [2009-07-02 01:46:21] 471*2^702147-1 is not prime. Res64: 982651B5A45E6384 Time : 4723.0 sec. user=vaughan [2009-07-02 01:46:42] 543*2^702147-1 is not prime. Res64: 80F87D43994BED7D Time : 4725.0 sec. user=gd_barnes [2009-07-02 01:51:15] 489*2^702147-1 is not prime. Res64: 55CC2E4098FC896E Time : 5004.0 sec. user=vaughan [2009-07-02 01:54:14] 419*2^702148-1 is not prime. Res64: EDF577D2A50BF338 Time : 4725.0 sec. user=vaughan [2009-07-02 01:54:32] 429*2^702148-1 is not prime. Res64: 7B66FE644B605545 Time : 4723.0 sec. user=vaughan [2009-07-02 01:56:53] 465*2^702151-1 is not prime. Res64: CBA5B91DCEC79C51 Time : 1357.0 sec. user=vaughan [2009-07-02 02:02:09] 435*2^702148-1 is not prime. Res64: E966079357CBBFB8 Time : 4728.0 sec. user=vaughan [2009-07-02 02:02:19] 449*2^702148-1 is not prime. Res64: 855718D678253139 Time : 4719.0 sec. user=gd_barnes [2009-07-02 02:07:56] 495*2^702148-1 is not prime. Res64: 2C6623298C392FC1 Time : 4993.0 sec. user=vaughan [2009-07-02 02:10:03] 537*2^702148-1 is not prime. Res64: 7808B751FDF9F470 Time : 4733.0 sec. user=vaughan [2009-07-02 02:10:07] 563*2^702148-1 is not prime. Res64: 9AF33333758A95D5 Time : 4715.0 sec. user=vaughan [2009-07-02 02:17:59] 411*2^702149-1 is not prime. Res64: 689F885031AE20B7 Time : 4712.0 sec. user=vaughan [2009-07-02 02:17:59] 573*2^702148-1 is not prime. Res64: 7485E2EEC8AFB770 Time : 4737.0 sec. user=vaughan [2009-07-02 02:19:44] 525*2^702153-1 is not prime. Res64: B904DDB35C1A2D4C Time : 1372.0 sec. user=gd_barnes [2009-07-02 02:24:51] 567*2^702149-1 is not prime. Res64: 9A9DD5F906CCC2AB Time : 5022.0 sec. user=vaughan [2009-07-02 02:26:29] 431*2^702150-1 is not prime. Res64: C1621135FD2FE1C6 Time : 4748.0 sec. user=vaughan [2009-07-02 02:26:39] 405*2^702150-1 is not prime. Res64: 80092EF1F1128615 Time : 4788.0 sec. user=vaughan [2009-07-02 02:35:32] 471*2^702150-1 is not prime. Res64: E316553DE7D4EC12 Time : 4819.0 sec. user=vaughan [2009-07-02 02:36:07] 447*2^702150-1 is not prime. Res64: 321FB407EA496A59 Time : 4884.0 sec. user=gd_barnes [2009-07-02 02:41:37] 501*2^702150-1 is not prime. Res64: CDA2D1F3EF096D20 Time : 5024.0 sec. user=vaughan [2009-07-02 02:42:19] 465*2^702155-1 is not prime. Res64: F7AE32F6ADD7825C Time : 1355.0 sec. user=vaughan [2009-07-02 02:44:43] 415*2^702151-1 is not prime. Res64: D655AC19C9628DEB Time : 4902.0 sec. user=vaughan [2009-07-02 02:45:30] 513*2^702150-1 is not prime. Res64: CCBCA5738F30AA80 Time : 4973.0 sec. user=gd_barnes [2009-07-02 02:53:35] 469*2^702151-1 is not prime. Res64: 6BE4E6D61DEA12F8 Time : 4741.0 sec. user=vaughan [2009-07-02 02:53:57] 451*2^702151-1 is not prime. Res64: 3EB30F316F309692 Time : 4985.0 sec. user=vaughan [2009-07-02 02:55:09] 421*2^702151-1 is not prime. Res64: 89588356439AE23A Time : 5080.0 sec. user=vaughan [2009-07-02 03:03:12] 541*2^702151-1 is not prime. Res64: 977F41AE8ECCD773 Time : 5061.0 sec. user=vaughan [2009-07-02 03:04:05] 499*2^702151-1 is not prime. Res64: 8F3D273EF4C54E5E Time : 5140.0 sec. user=gd_barnes [2009-07-02 03:04:43] 495*2^702152-1 is not prime. Res64: 34CFCBF6CEDD03BF Time : 4408.0 sec. user=vaughan [2009-07-02 03:04:51] 557*2^702156-1 is not prime. Res64: 1340F5E39DEBD307 Time : 1353.0 sec. user=vaughan [2009-07-02 03:12:46] 423*2^702152-1 is not prime. Res64: F573DF8B6F71FD9C Time : 5164.0 sec. user=vaughan [2009-07-02 03:13:44] 417*2^702152-1 is not prime. Res64: 4B378AD09D0C1E1E Time : 5243.0 sec. user=gd_barnes [2009-07-02 03:15:53] 483*2^702154-1 is not prime. Res64: B5AF265FBAE59843 Time : 4077.0 sec. user=vaughan [2009-07-02 03:21:50] 585*2^702152-1 is not prime. Res64: 24C630C98732A47A Time : 5238.0 sec. user=vaughan [2009-07-02 03:23:03] 515*2^702152-1 is not prime. Res64: 4A8ACD38FB169CD6 Time : 5329.0 sec. user=gd_barnes [2009-07-02 03:27:01] 529*2^702155-1 is not prime. Res64: F0811121A8B4AFF3 Time : 3730.0 sec. user=vaughan [2009-07-02 03:27:21] 571*2^702159-1 is not prime. Res64: 249FB9388DD2B9BD Time : 1350.0 sec. user=vaughan [2009-07-02 03:30:35] 595*2^702153-1 is not prime. Res64: 298178E071328C79 Time : 5296.0 sec. user=vaughan [2009-07-02 03:31:50] 549*2^702153-1 is not prime. Res64: 2148AF81FBE6413A Time : 5381.0 sec. user=gd_barnes [2009-07-02 03:38:11] 545*2^702156-1 is not prime. Res64: E65E5F6D32FA14FC Time : 3394.0 sec. user=vaughan [2009-07-02 03:39:43] 525*2^702154-1 is not prime. Res64: C702E73BCB8F5D57 Time : 5376.0 sec. user=vaughan [2009-07-02 03:41:03] 513*2^702154-1 is not prime. Res64: A400A08121B12A0B Time : 5460.0 sec. user=vaughan [2009-07-02 03:48:43] 561*2^702154-1 is not prime. Res64: 6C058FDDD9EA91DA Time : 5444.0 sec. user=gd_barnes [2009-07-02 03:49:19] 549*2^702157-1 is not prime. Res64: AD61BC7B9AAC12FF Time : 3345.0 sec. user=vaughan [2009-07-02 03:49:53] 483*2^702162-1 is not prime. Res64: 238CDFC8BAF88E9B Time : 1353.0 sec. user=vaughan [2009-07-02 03:50:09] 403*2^702155-1 is not prime. Res64: D9EF5275F8238683 Time : 5530.0 sec. user=vaughan [2009-07-02 03:57:17] 413*2^702156-1 is not prime. Res64: 33664D15F0481794 Time : 5448.0 sec. user=vaughan [2009-07-02 03:58:42] 479*2^702156-1 is not prime. Res64: 944F5C51CD3DC011 Time : 5523.0 sec. user=gd_barnes [2009-07-02 04:00:28] 523*2^702159-1 is not prime. Res64: E13EC626B3B09DBB Time : 3345.0 sec. user=vaughan [2009-07-02 04:05:57] 483*2^702156-1 is not prime. Res64: 223A7C3543F1FC14 Time : 5425.0 sec. user=vaughan [2009-07-02 04:07:33] 503*2^702156-1 is not prime. Res64: ECFAE3FE9AA42864 Time : 5486.0 sec. user=gd_barnes [2009-07-02 04:11:37] 449*2^702160-1 is not prime. Res64: 4E288628608C09DD Time : 3345.0 sec. user=vaughan [2009-07-02 04:12:26] 459*2^702165-1 is not prime. Res64: C103609119B33EBC Time : 1353.0 sec. user=vaughan [2009-07-02 04:15:06] 579*2^702156-1 is not prime. Res64: 4648A8292E7ECEC7 Time : 5423.0 sec. user=vaughan [2009-07-02 04:16:55] 585*2^702156-1 is not prime. Res64: 9F1B84FCB30F2E0B Time : 5485.0 sec. user=gd_barnes [2009-07-02 04:22:46] 437*2^702162-1 is not prime. Res64: DBDF717BD587C016 Time : 3345.0 sec. user=vaughan [2009-07-02 04:24:15] 561*2^702157-1 is not prime. Res64: EC0ABCC70732F550 Time : 5419.0 sec. user=vaughan [2009-07-02 04:25:59] 467*2^702158-1 is not prime. Res64: 87F033D0C6817B71 Time : 5450.0 sec. user=vaughan [2009-07-02 04:32:27] 551*2^702158-1 is not prime. Res64: 9CDF14C9E7CC5420 Time : 5356.0 sec. user=vaughan [2009-07-02 04:33:53] 439*2^702159-1 is not prime. Res64: 1CE6A4BB837987F8 Time : 5388.0 sec. user=gd_barnes [2009-07-02 04:33:54] 451*2^702163-1 is not prime. Res64: 85F9E002C7A8D87E Time : 3343.0 sec. user=vaughan [2009-07-02 04:35:22] 587*2^702166-1 is not prime. Res64: AE985C841012F422 Time : 1376.0 sec. user=vaughan [2009-07-02 04:40:19] 595*2^702159-1 is not prime. Res64: E2AF0A55DA3DC9B8 Time : 5254.0 sec. user=vaughan [2009-07-02 04:41:43] 447*2^702160-1 is not prime. Res64: C5093F0F3E179617 Time : 5279.0 sec. user=gd_barnes [2009-07-02 04:45:03] 451*2^702165-1 is not prime. Res64: 544ACE70FBFB25B7 Time : 3344.0 sec. user=vaughan [2009-07-02 04:48:50] 585*2^702161-1 is not prime. Res64: 65D22AFCD846705E Time : 5220.0 sec. user=vaughan [2009-07-02 04:50:41] 401*2^702162-1 is not prime. Res64: 9F69692B23593126 Time : 5258.0 sec. user=gd_barnes [2009-07-02 04:56:12] 447*2^702166-1 is not prime. Res64: 24B2283470E9E623 Time : 3344.0 sec. user=vaughan [2009-07-02 04:57:47] 521*2^702162-1 is not prime. Res64: C8066C359F88CFEE Time : 5232.0 sec. user=vaughan [2009-07-02 04:57:52] 567*2^702168-1 is not prime. Res64: 867BE326F383916B Time : 1350.0 sec. user=vaughan [2009-07-02 04:59:33] 563*2^702162-1 is not prime. Res64: 968ADE136EE0F4AD Time : 5263.0 sec. user=vaughan [2009-07-02 05:06:46] 437*2^702164-1 is not prime. Res64: F4F6F256C032B80A Time : 5223.0 sec. user=gd_barnes [2009-07-02 05:07:19] 573*2^702166-1 is not prime. Res64: 22BC6E34FCA28914 Time : 3342.0 sec. user=vaughan [2009-07-02 05:08:51] 489*2^702164-1 is not prime. Res64: AB62F2F52FC4719C Time : 5268.0 sec. user=vaughan [2009-07-02 05:16:15] 567*2^702164-1 is not prime. Res64: 98E87E26334DBB39 Time : 5252.0 sec. user=gd_barnes [2009-07-02 05:18:23] 419*2^702168-1 is not prime. Res64: A29B6F05E134CB99 Time : 3337.0 sec. user=vaughan [2009-07-02 05:18:50] 471*2^702165-1 is not prime. Res64: 9D183B2A6ED0B4AC Time : 5321.0 sec. user=vaughan [2009-07-02 05:20:06] 535*2^702171-1 is not prime. Res64: 95D8225DF59B9EBC Time : 1335.0 sec. user=vaughan [2009-07-02 05:25:51] 555*2^702165-1 is not prime. Res64: 76AE0CAD334EDF66 Time : 5314.0 sec. user=vaughan [2009-07-02 05:28:23] 585*2^702165-1 is not prime. Res64: 9092A96F0A29E104 Time : 5381.0 sec. user=gd_barnes [2009-07-02 05:29:27] 537*2^702168-1 is not prime. Res64: D06FDB5E2F053924 Time : 3334.0 sec. user=vaughan [2009-07-02 05:35:18] 491*2^702166-1 is not prime. Res64: 382802C6BAA18C24 Time : 5361.0 sec. user=vaughan [2009-07-02 05:38:00] 495*2^702166-1 is not prime. Res64: 49F850D5038564A0 Time : 5427.0 sec. user=gd_barnes [2009-07-02 05:40:32] 425*2^702170-1 is not prime. Res64: 22E3E3B2C7D1DDB2 Time : 3329.0 sec. user=vaughan [2009-07-02 05:42:04] 443*2^702174-1 is not prime. Res64: 93F428A040873AED Time : 1318.0 sec. user=vaughan [2009-07-02 05:44:48] 469*2^702167-1 is not prime. Res64: EC83255EBA73AB37 Time : 5382.0 sec. user=vaughan [2009-07-02 05:47:40] 553*2^702167-1 is not prime. Res64: 9BC793645194C621 Time : 5446.0 sec. user=gd_barnes [2009-07-02 05:51:36] 581*2^702170-1 is not prime. Res64: 8AA5D0BACFBBECBB Time : 3324.0 sec. user=vaughan [2009-07-02 05:54:02] 423*2^702168-1 is not prime. Res64: C83BC7F0D7E58377 Time : 5387.0 sec. user=vaughan [2009-07-02 05:57:07] 453*2^702168-1 is not prime. Res64: 12F2B350AAE1BC50 Time : 5469.0 sec. user=gd_barnes [2009-07-02 06:02:42] 409*2^702173-1 is not prime. Res64: D915563111578DFA Time : 3323.0 sec. user=vaughan [2009-07-02 06:03:08] 465*2^702168-1 is not prime. Res64: 066B7A44E8F32652 Time : 5441.0 sec. user=vaughan [2009-07-02 06:03:54] 481*2^702175-1 is not prime. Res64: 553ADBA6BD10878B Time : 1310.0 sec. user=vaughan [2009-07-02 06:06:51] 527*2^702168-1 is not prime. Res64: 328AEBC8FA6DCA5B Time : 5578.0 sec. user=vaughan [2009-07-02 06:12:14] 481*2^702169-1 is not prime. Res64: 62ECF911491507FB Time : 5515.0 sec. user=gd_barnes [2009-07-02 06:13:48] 547*2^702173-1 is not prime. Res64: 64270120D9FB65FF Time : 3325.0 sec. user=vaughan [2009-07-02 06:16:00] 505*2^702169-1 is not prime. Res64: 6F50D54887145E53 Time : 5657.0 sec. user=vaughan [2009-07-02 06:21:22] 501*2^702170-1 is not prime. Res64: 7694EADC7214CB7F Time : 5553.0 sec. user=vaughan [2009-07-02 06:24:30] 593*2^702176-1 is not prime. Res64: FAEFF8E2DB9EF3AF Time : 1236.0 sec. user=gd_barnes [2009-07-02 06:24:53] 557*2^702174-1 is not prime. Res64: 72BD5DC04C7CDBB4 Time : 3326.0 sec. user=vaughan [2009-07-02 06:24:57] 567*2^702170-1 is not prime. Res64: 4BB1A71FCCC34946 Time : 5656.0 sec. user=vaughan [2009-07-02 06:30:39] 469*2^702171-1 is not prime. Res64: A1CC693B15CF826E Time : 5573.0 sec. user=vaughan [2009-07-02 06:34:14] 405*2^702172-1 is not prime. Res64: 322594B78953CCFF Time : 5681.0 sec. user=gd_barnes [2009-07-02 06:35:58] 465*2^702175-1 is not prime. Res64: 1CAE6607AA4B1E21 Time : 3326.0 sec. user=vaughan [2009-07-02 06:39:38] 485*2^702172-1 is not prime. Res64: 8F1CDFD0F677D731 Time : 5572.0 sec. user=vaughan [2009-07-02 06:43:14] 477*2^702173-1 is not prime. Res64: A4C2FB6431137CA4 Time : 5663.0 sec. user=vaughan [2009-07-02 06:45:10] 471*2^702178-1 is not prime. Res64: E5C190CA9F11541E Time : 1241.0 sec. user=gd_barnes [2009-07-02 06:47:06] 435*2^702176-1 is not prime. Res64: 09978EB8263AB817 Time : 3330.0 sec. user=vaughan [2009-07-02 06:48:43] 487*2^702173-1 is not prime. Res64: A988EC886DAB0AA8 Time : 5548.0 sec. user=vaughan [2009-07-02 06:52:15] 423*2^702174-1 is not prime. Res64: F2215798630F4D56 Time : 5605.0 sec. user=vaughan [2009-07-02 06:57:09] 453*2^702174-1 is not prime. Res64: DDF325D1D2DECC70 Time : 5478.0 sec. user=gd_barnes [2009-07-02 06:58:17] 573*2^702176-1 is not prime. Res64: 49634C4808343A78 Time : 3335.0 sec. user=vaughan [2009-07-02 07:01:01] 521*2^702174-1 is not prime. Res64: D45FEDB69BAB24C3 Time : 5558.0 sec. user=vaughan [2009-07-02 07:05:43] 579*2^702179-1 is not prime. Res64: E306D31B4D43304B Time : 1233.0 sec. user=vaughan [2009-07-02 07:06:07] 567*2^702174-1 is not prime. Res64: 2DC3C05EC45D7DCC Time : 5449.0 sec. user=gd_barnes [2009-07-02 07:09:25] 517*2^702177-1 is not prime. Res64: 9822768C25152D48 Time : 3338.0 sec. user=vaughan [2009-07-02 07:10:30] 423*2^702175-1 is not prime. Res64: 41758B224D03FE20 Time : 5550.0 sec. user=vaughan [2009-07-02 07:14:48] 499*2^702175-1 is not prime. Res64: D61F2D30FF30A2A9 Time : 5401.0 sec. user=vaughan [2009-07-02 07:18:46] 525*2^702175-1 is not prime. Res64: D38B52BF2C8E50B1 Time : 5467.0 sec. user=gd_barnes [2009-07-02 07:20:31] 483*2^702178-1 is not prime. Res64: A0F8F612B8AFED8B Time : 3338.0 sec. user=vaughan [2009-07-02 07:23:24] 455*2^702176-1 is not prime. Res64: 2938A8A17549790D Time : 5362.0 sec. user=vaughan [2009-07-02 07:26:15] 557*2^702180-1 is not prime. Res64: B1A38ACF0FB4F874 Time : 1233.0 sec. user=vaughan [2009-07-02 07:27:55] 503*2^702176-1 is not prime. Res64: 5EC871740860C437 Time : 5448.0 sec. user=gd_barnes [2009-07-02 07:31:36] 527*2^702178-1 is not prime. Res64: 1CBC7FE1228F4795 Time : 3338.0 sec. user=vaughan [2009-07-02 07:32:06] 587*2^702176-1 is not prime. Res64: 38F23DC22C7D90A5 Time : 5338.0 sec. user=vaughan [2009-07-02 07:36:31] 465*2^702177-1 is not prime. Res64: ABEF0B60CF27FFE6 Time : 5380.0 sec. user=vaughan [2009-07-02 07:40:40] 469*2^702177-1 is not prime. Res64: 9DF46F8681C23A9C Time : 5306.0 sec. user=gd_barnes [2009-07-02 07:42:42] 589*2^702179-1 is not prime. Res64: 368C7A93B5867698 Time : 3336.0 sec. user=vaughan [2009-07-02 07:44:52] 571*2^702177-1 is not prime. Res64: 1301E180A6FC05B5 Time : 5332.0 sec. user=vaughan [2009-07-02 07:46:47] 563*2^702184-1 is not prime. Res64: 51A0344472CE9580 Time : 1232.0 sec. user=vaughan [2009-07-02 07:49:09] 453*2^702178-1 is not prime. Res64: 6789FC6EDF9B50C4 Time : 5268.0 sec. user=gd_barnes [2009-07-02 07:53:46] 525*2^702180-1 is not prime. Res64: 5228C7E3BE869C98 Time : 3329.0 sec. user=vaughan [2009-07-02 07:53:58] 491*2^702178-1 is not prime. Res64: 5FAA6F7E3414AA76 Time : 5341.0 sec. user=vaughan [2009-07-02 07:58:15] 507*2^702178-1 is not prime. Res64: 478BE12ADA615054 Time : 5256.0 sec. user=vaughan [2009-07-02 08:03:10] 513*2^702178-1 is not prime. Res64: C7F15C2A8AC97A13 Time : 5336.0 sec. user=gd_barnes [2009-07-02 08:04:51] 437*2^702182-1 is not prime. Res64: 55531F574E84892D Time : 3326.0 sec. user=vaughan [2009-07-02 08:07:21] 589*2^702185-1 is not prime. Res64: AFF802B93D717BF6 Time : 1234.0 sec. user=vaughan [2009-07-02 08:07:29] 597*2^702178-1 is not prime. Res64: C0B9A8A57A7393B7 Time : 5271.0 sec. user=vaughan [2009-07-02 08:12:38] 411*2^702179-1 is not prime. Res64: 0B789018A556B226 Time : 5365.0 sec. user=gd_barnes [2009-07-02 08:15:56] 561*2^702182-1 is not prime. Res64: 0F602DF6728C35A3 Time : 3325.0 sec. user=vaughan [2009-07-02 08:17:04] 595*2^702179-1 is not prime. Res64: DDC6C7157469D1A3 Time : 5301.0 sec. user=vaughan [2009-07-02 08:21:50] 405*2^702180-1 is not prime. Res64: 4D925C5C28EA8742 Time : 5375.0 sec. user=vaughan [2009-07-02 08:26:03] 465*2^702180-1 is not prime. Res64: ECC64907AED5278A Time : 5334.0 sec. user=gd_barnes [2009-07-02 08:27:01] 587*2^702184-1 is not prime. Res64: 3496ED19D3F27F1F Time : 3325.0 sec. user=vaughan [2009-07-02 08:27:54] 495*2^702187-1 is not prime. Res64: F595A78BE2C57CFF Time : 1233.0 sec. user=vaughan [2009-07-02 08:30:43] 539*2^702180-1 is not prime. Res64: F77AB387C2055DFC Time : 5382.0 sec. user=vaughan [2009-07-02 08:34:26] 525*2^702181-1 is not prime. Res64: A9ECE1B1E34DB156 Time : 5299.0 sec. user=gd_barnes [2009-07-02 08:38:06] 525*2^702185-1 is not prime. Res64: 24AC367ABC0FBC2E Time : 3325.0 sec. user=vaughan [2009-07-02 08:39:03] 483*2^702182-1 is not prime. Res64: 176F52E95C3A2059 Time : 5314.0 sec. user=vaughan [2009-07-02 08:43:01] 545*2^702182-1 is not prime. Res64: BCDE9AE3C7E75DA4 Time : 5294.0 sec. user=vaughan [2009-07-02 08:48:15] 551*2^702182-1 is not prime. Res64: 7D0E6F24E1BB3E2B Time : 5369.0 sec. user=vaughan [2009-07-02 08:48:35] 451*2^702189-1 is not prime. Res64: C8F16ADCEA5845D9 Time : 1241.0 sec. user=gd_barnes [2009-07-02 08:49:13] 437*2^702186-1 is not prime. Res64: 6BDFA2E4AA43D6EC Time : 3327.0 sec. user=vaughan [2009-07-02 08:52:12] 429*2^702184-1 is not prime. Res64: 342BA6C43E79EAD8 Time : 5328.0 sec. user=vaughan [2009-07-02 08:57:31] 567*2^702184-1 is not prime. Res64: 5AF7913086A1C084 Time : 5376.0 sec. user=gd_barnes [2009-07-02 09:00:18] 563*2^702186-1 is not prime. Res64: 7572506F150EE866 Time : 3328.0 sec. user=vaughan [2009-07-02 09:01:40] 405*2^702185-1 is not prime. Res64: FEE4F204831F6B81 Time : 5374.0 sec. user=vaughan [2009-07-02 09:07:09] 411*2^702185-1 is not prime. Res64: 47578A7AFEBF673C Time : 5438.0 sec. user=vaughan [2009-07-02 09:09:19] 545*2^702190-1 is not prime. Res64: F999F1F1DF91103D Time : 1244.0 sec. user=vaughan [2009-07-02 09:10:44] 481*2^702185-1 is not prime. Res64: 1EC81A643874674E Time : 5404.0 sec. user=gd_barnes [2009-07-02 09:11:24] 583*2^702187-1 is not prime. Res64: 6F111948670C3C7E Time : 3328.0 sec. user=vaughan [2009-07-02 09:16:14] 567*2^702185-1 is not prime. Res64: BAE4E01BB04B1901 Time : 5482.0 sec. user=vaughan [2009-07-02 09:19:29] 431*2^702186-1 is not prime. Res64: 6E0CC9F5DB795C70 Time : 5420.0 sec. user=gd_barnes [2009-07-02 09:22:29] 447*2^702189-1 is not prime. Res64: 9D7450AB605C554E Time : 3329.0 sec. user=vaughan [2009-07-02 09:24:39] 483*2^702186-1 is not prime. Res64: DB1F6D93D95C9CF6 Time : 5441.0 sec. user=vaughan [2009-07-02 09:28:00] 497*2^702186-1 is not prime. Res64: 0C3B5CE21BE99F66 Time : 5386.0 sec. user=vaughan [2009-07-02 09:29:55] 555*2^702192-1 is not prime. Res64: E1E9759A151D7254 Time : 1237.0 sec. user=gd_barnes [2009-07-02 09:33:35] 443*2^702190-1 is not prime. Res64: FFCD96C4AD2E0A5B Time : 3329.0 sec. user=vaughan [2009-07-02 09:33:47] 501*2^702186-1 is not prime. Res64: 55132A3EBEEBCF3B Time : 5437.0 sec. user=vaughan [2009-07-02 09:36:53] 519*2^702187-1 is not prime. Res64: EBBA8CB7227832C1 Time : 5364.0 sec. user=vaughan [2009-07-02 09:42:30] 555*2^702187-1 is not prime. Res64: AC4D33239A9D59C1 Time : 5392.0 sec. user=gd_barnes [2009-07-02 09:44:40] 555*2^702190-1 is not prime. Res64: 37FB1BEFCBCCA725 Time : 3327.0 sec. user=vaughan [2009-07-02 09:45:43] 449*2^702188-1 is not prime. Res64: 17E0FE1A6AAAB8DA Time : 5319.0 sec. user=vaughan [2009-07-02 09:50:30] 555*2^702193-1 is not prime. Res64: 48649914044D82C2 Time : 1236.0 sec. user=vaughan [2009-07-02 09:51:48] 507*2^702188-1 is not prime. Res64: 36536AF3BF39A639 Time : 5398.0 sec. user=vaughan [2009-07-02 09:54:56] 415*2^702189-1 is not prime. Res64: 79D4F25A330C20E9 Time : 5333.0 sec. user=gd_barnes [2009-07-02 09:55:47] 459*2^702192-1 is not prime. Res64: FB7E7BA72FEAFE77 Time : 3329.0 sec. user=vaughan [2009-07-02 10:00:40] 507*2^702189-1 is not prime. Res64: FC9CDD8A0C2D9614 Time : 5398.0 sec. user=vaughan [2009-07-02 10:03:40] 401*2^702190-1 is not prime. Res64: B4480D4E28E289ED Time : 5354.0 sec. user=gd_barnes [2009-07-02 10:06:51] 593*2^702192-1 is not prime. Res64: C095E217E65C7BC4 Time : 3327.0 sec. user=vaughan [2009-07-02 10:09:41] 453*2^702190-1 is not prime. Res64: 9E7E0B7C51D39E54 Time : 5438.0 sec. user=vaughan [2009-07-02 10:11:07] 459*2^702195-1 is not prime. Res64: 01504D80E37DB46D Time : 1237.0 sec. user=vaughan [2009-07-02 10:12:38] 477*2^702190-1 is not prime. Res64: 2DC4E6944D908726 Time : 5377.0 sec. user=gd_barnes [2009-07-02 10:17:56] 477*2^702193-1 is not prime. Res64: 26B48055F5E451C4 Time : 3327.0 sec. user=vaughan [2009-07-02 10:18:08] 533*2^702190-1 is not prime. Res64: 09650B0C974979D6 Time : 5393.0 sec. user=vaughan [2009-07-02 10:20:50] 445*2^702191-1 is not prime. Res64: 2262F91B3718064F Time : 5318.0 sec. user=vaughan [2009-07-02 10:26:32] 579*2^702191-1 is not prime. Res64: D92C2908522845BD Time : 5342.0 sec. user=gd_barnes [2009-07-02 10:29:01] 565*2^702193-1 is not prime. Res64: 8F8962349271BA90 Time : 3326.0 sec. user=vaughan [2009-07-02 10:29:19] 527*2^702192-1 is not prime. Res64: 8A78FC7E152727EF Time : 5259.0 sec. user=vaughan [2009-07-02 10:31:41] 473*2^702198-1 is not prime. Res64: 4789EEBA5046925F Time : 1234.0 sec. user=vaughan [2009-07-02 10:34:47] 549*2^702192-1 is not prime. Res64: 6D525B42CE534DB5 Time : 5259.0 sec. user=vaughan [2009-07-02 10:37:38] 567*2^702192-1 is not prime. Res64: A7BDA23C01582673 Time : 5214.0 sec. user=gd_barnes [2009-07-02 10:40:06] 403*2^702195-1 is not prime. Res64: 3A59D8545D7B3EC0 Time : 3326.0 sec. user=vaughan [2009-07-02 10:43:10] 409*2^702193-1 is not prime. Res64: 22B2ECCBAB63AA43 Time : 5216.0 sec. user=vaughan [2009-07-02 10:45:51] 435*2^702193-1 is not prime. Res64: 15F6C67110E12085 Time : 5182.0 sec. user=gd_barnes [2009-07-02 10:51:12] 583*2^702195-1 is not prime. Res64: 607737562FFE8EAA Time : 3326.0 sec. user=vaughan [2009-07-02 10:52:00] 489*2^702193-1 is not prime. Res64: 52C15520C930F205 Time : 5241.0 sec. user=vaughan [2009-07-02 10:52:15] 525*2^702200-1 is not prime. Res64: DE281CA2FFC88788 Time : 1234.0 sec. user=vaughan [2009-07-02 10:53:53] 541*2^702193-1 is not prime. Res64: 6D1AD02B53024747 Time : 5153.0 sec. user=vaughan [2009-07-02 10:59:54] 407*2^702194-1 is not prime. Res64: FBCA58ADCA812F43 Time : 5167.0 sec. user=vaughan [2009-07-02 11:01:44] 423*2^702194-1 is not prime. Res64: C0817D3B194D741A Time : 5091.0 sec. user=gd_barnes [2009-07-02 11:02:21] 589*2^702197-1 is not prime. Res64: EBAAC5D77DC73BA2 Time : 3330.0 sec. user=vaughan [2009-07-02 11:07:57] 501*2^702194-1 is not prime. Res64: AB22F6101BFADB0C Time : 5127.0 sec. user=vaughan [2009-07-02 11:09:41] 405*2^702195-1 is not prime. Res64: 0F13B5E2BA28023B Time : 5038.0 sec. user=vaughan [2009-07-02 11:12:52] 437*2^702204-1 is not prime. Res64: 42BB1F8CAE79CAE3 Time : 1238.0 sec. user=gd_barnes [2009-07-02 11:13:30] 429*2^702199-1 is not prime. Res64: 4BDBEFFD5561BB58 Time : 3334.0 sec. user=vaughan [2009-07-02 11:15:47] 541*2^702195-1 is not prime. Res64: C0C79BB6F70FEE14 Time : 5040.0 sec. user=vaughan [2009-07-02 11:17:33] 555*2^702195-1 is not prime. Res64: 03B64D77836202A9 Time : 4958.0 sec. user=vaughan [2009-07-02 11:24:21] 455*2^702196-1 is not prime. Res64: 8EE0535569059F1E Time : 5021.0 sec. user=gd_barnes [2009-07-02 11:24:39] 449*2^702200-1 is not prime. Res64: F706C3132E08740B Time : 3338.0 sec. user=vaughan [2009-07-02 11:26:13] 577*2^702197-1 is not prime. Res64: 204D42273F5B56A6 Time : 4953.0 sec. user=vaughan [2009-07-02 11:33:13] 447*2^702198-1 is not prime. Res64: 017828AFD239C852 Time : 5012.0 sec. user=vaughan [2009-07-02 11:33:26] 407*2^702206-1 is not prime. Res64: 2CD962AB74FD4046 Time : 1234.0 sec. user=vaughan [2009-07-02 11:34:59] 503*2^702198-1 is not prime. Res64: 9CEECF52B311C3EC Time : 4942.0 sec. user=gd_barnes [2009-07-02 11:35:48] 567*2^702202-1 is not prime. Res64: 9DFD269ED9CF71BD Time : 3342.0 sec. user=vaughan [2009-07-02 11:41:03] 439*2^702199-1 is not prime. Res64: 780E1100472D220B Time : 4975.0 sec. user=vaughan [2009-07-02 11:42:52] 489*2^702199-1 is not prime. Res64: C07DAF0BC9E85B48 Time : 4922.0 sec. user=gd_barnes [2009-07-02 11:46:58] 571*2^702203-1 is not prime. Res64: FCD70F8786EC0CD1 Time : 3346.0 sec. user=vaughan [2009-07-02 11:48:56] 493*2^702199-1 is not prime. Res64: 3F6586880B22099D Time : 4944.0 sec. user=vaughan [2009-07-02 11:50:44] 489*2^702200-1 is not prime. Res64: FAC43B6C25DC644A Time : 4885.0 sec. user=vaughan [2009-07-02 11:57:12] 465*2^702201-1 is not prime. Res64: F51B3CFD016953E2 Time : 4945.0 sec. user=gd_barnes [2009-07-02 11:58:09] 409*2^702205-1 is not prime. Res64: A519AB452FE228D6 Time : 3348.0 sec. user=vaughan [2009-07-02 11:59:17] 597*2^702201-1 is not prime. Res64: 218133F91C1DCDD7 Time : 4900.0 sec. user=vaughan [2009-07-02 11:59:57] 595*2^702207-1 is not prime. Res64: 110F77133135FA61 Time : 1592.0 sec. user=vaughan [2009-07-02 12:05:59] 489*2^702203-1 is not prime. Res64: 5637DFEF3547F65D Time : 4969.0 sec. user=vaughan [2009-07-02 12:07:39] 523*2^702203-1 is not prime. Res64: E675DF0FD2A03143 Time : 4909.0 sec. user=gd_barnes [2009-07-02 12:09:20] 461*2^702206-1 is not prime. Res64: C20425BABD992E6B Time : 3350.0 sec. user=vaughan [2009-07-02 12:13:52] 413*2^702204-1 is not prime. Res64: 2636279218B7368D Time : 4912.0 sec. user=vaughan [2009-07-02 12:15:27] 479*2^702204-1 is not prime. Res64: 0B960BA89EE5B379 Time : 4894.0 sec. user=gd_barnes [2009-07-02 12:20:29] 489*2^702207-1 is not prime. Res64: C3EDBD98A080CB47 Time : 3350.0 sec. user=vaughan [2009-07-02 12:21:46] 539*2^702204-1 is not prime. Res64: 53F618C8637A798B Time : 4912.0 sec. user=vaughan [2009-07-02 12:23:18] 555*2^702204-1 is not prime. Res64: 30545F5101821E05 Time : 4895.0 sec. user=vaughan [2009-07-02 12:30:13] 477*2^702205-1 is not prime. Res64: 581595F35CB2DEAD Time : 4937.0 sec. user=gd_barnes [2009-07-02 12:31:40] 445*2^702209-1 is not prime. Res64: E169646C0AB05F6B Time : 3352.0 sec. user=vaughan [2009-07-02 12:31:42] 525*2^702205-1 is not prime. Res64: 6420D26599A3BFB6 Time : 4921.0 sec. user=vaughan [2009-07-02 12:34:28] 599*2^702212-1 is not prime. Res64: AF9C013B8D4A9843 Time : 2071.0 sec. user=vaughan [2009-07-02 12:38:02] 477*2^702206-1 is not prime. Res64: BE1FF4C0BF4F95F8 Time : 4936.0 sec. user=vaughan [2009-07-02 12:39:36] 573*2^702206-1 is not prime. Res64: E217C43D39BE273F Time : 4923.0 sec. user=gd_barnes [2009-07-02 12:42:50] 405*2^702211-1 is not prime. Res64: E55F82449A8F8362 Time : 3352.0 sec. user=vaughan [2009-07-02 12:46:04] 451*2^702207-1 is not prime. Res64: 02585FA2265FD526 Time : 4903.0 sec. user=vaughan [2009-07-02 12:47:33] 573*2^702207-1 is not prime. Res64: DD093F6CB286E6FC Time : 4880.0 sec. user=gd_barnes [2009-07-02 12:54:01] 447*2^702212-1 is not prime. Res64: 1EC46D99F4940068 Time : 3352.0 sec. user=vaughan [2009-07-02 12:54:20] 579*2^702207-1 is not prime. Res64: DFC5BF7804098040 Time : 4868.0 sec. user=vaughan [2009-07-02 12:55:48] 419*2^702208-1 is not prime. Res64: 7496FF1E2E45AC17 Time : 4850.0 sec. user=vaughan [2009-07-02 13:02:49] 469*2^702209-1 is not prime. Res64: F2227991A71045F2 Time : 4907.0 sec. user=vaughan [2009-07-02 13:04:04] 453*2^702210-1 is not prime. Res64: CD4EF985F6493B83 Time : 4873.0 sec. user=gd_barnes [2009-07-02 13:05:11] 529*2^702213-1 is not prime. Res64: 5695A9571D31A443 Time : 3352.0 sec. user=vaughan [2009-07-02 13:08:59] 509*2^702216-1 is not prime. Res64: CF786E90319C181A Time : 2071.0 sec. user=vaughan [2009-07-02 13:10:40] 421*2^702211-1 is not prime. Res64: 25100DF08E92364B Time : 4906.0 sec. user=vaughan [2009-07-02 13:11:57] 441*2^702211-1 is not prime. Res64: DE590A571D81360F Time : 4873.0 sec. user=gd_barnes [2009-07-02 13:16:22] 491*2^702214-1 is not prime. Res64: F8EE9AFC56F567D3 Time : 3353.0 sec. user=vaughan [2009-07-02 13:19:44] 595*2^702211-1 is not prime. Res64: 55EE3DDC6972D41A Time : 4953.0 sec. user=vaughan [2009-07-02 13:20:50] 537*2^702212-1 is not prime. Res64: B2F7CF8BA46FE5FF Time : 4893.0 sec. user=gd_barnes [2009-07-02 13:27:33] 459*2^702215-1 is not prime. Res64: B3E82DA8FA33E9BB Time : 3353.0 sec. user=vaughan [2009-07-02 13:27:59] 475*2^702213-1 is not prime. Res64: 96E932229E3C6DF6 Time : 4920.0 sec. user=vaughan [2009-07-02 13:28:48] 517*2^702213-1 is not prime. Res64: FB0C407BE2CD1D71 Time : 4869.0 sec. user=vaughan [2009-07-02 13:36:40] 443*2^702214-1 is not prime. Res64: A61F02270A3FD406 Time : 4968.0 sec. user=vaughan [2009-07-02 13:37:18] 465*2^702214-1 is not prime. Res64: 4BED753A0661E0E0 Time : 4911.0 sec. user=gd_barnes [2009-07-02 13:38:42] 483*2^702218-1 is not prime. Res64: B4DCFF044370605E Time : 3352.0 sec. user=vaughan [2009-07-02 13:43:48] 533*2^702220-1 is not prime. Res64: 1E32D94849628F77 Time : 2089.0 sec. user=vaughan [2009-07-02 13:44:28] 503*2^702214-1 is not prime. Res64: CB1514FE98618EB2 Time : 4963.0 sec. user=vaughan [2009-07-02 13:45:11] 521*2^702214-1 is not prime. Res64: 327B67BD4B6DA7CC Time : 4913.0 sec. user=gd_barnes [2009-07-02 13:49:53] 433*2^702219-1 is not prime. Res64: 2F45ABC8737FE773 Time : 3352.0 sec. user=vaughan [2009-07-02 13:52:19] 575*2^702214-1 is not prime. Res64: AB40B1629119669D Time : 4927.0 sec. user=vaughan [2009-07-02 13:53:04] 469*2^702215-1 is not prime. Res64: FCB58C1DA62BA467 Time : 4882.0 sec. user=vaughan [2009-07-02 14:00:10] 441*2^702217-1 is not prime. Res64: 442E0223B7105C33 Time : 4928.0 sec. user=vaughan [2009-07-02 14:01:01] 565*2^702217-1 is not prime. Res64: 212C44698DC7E9D6 Time : 4886.0 sec. user=gd_barnes [2009-07-02 14:01:03] 453*2^702220-1 is not prime. Res64: CA569AEE102E7566 Time : 3352.0 sec. user=vaughan [2009-07-02 14:08:29] 545*2^702218-1 is not prime. Res64: F7A6C66DE7ADE44C Time : 4945.0 sec. user=vaughan [2009-07-02 14:09:12] 567*2^702218-1 is not prime. Res64: CF85DDC3C3D33C3A Time : 4900.0 sec. user=gd_barnes [2009-07-02 14:12:14] 525*2^702221-1 is not prime. Res64: FEC6F33F514B7D24 Time : 3352.0 sec. user=vaughan [2009-07-02 14:16:14] 523*2^702223-1 is not prime. Res64: AB39AD218E485732 Time : 1946.0 sec. user=vaughan [2009-07-02 14:16:52] 441*2^702219-1 is not prime. Res64: 480D8147791A8156 Time : 4952.0 sec. user=vaughan [2009-07-02 14:17:47] 465*2^702219-1 is not prime. Res64: 2BF68326E6F8B694 Time : 4919.0 sec. user=gd_barnes [2009-07-02 14:23:24] 567*2^702222-1 is not prime. Res64: 0E72B2C3FDDFDB47 Time : 3351.0 sec. user=vaughan [2009-07-02 14:25:30] 483*2^702219-1 is not prime. Res64: CCC1F55AE39A1288 Time : 4961.0 sec. user=vaughan [2009-07-02 14:26:21] 513*2^702219-1 is not prime. Res64: 97308A2EF5EBDA22 Time : 4938.0 sec. user=vaughan [2009-07-02 14:33:57] 409*2^702221-1 is not prime. Res64: 001CA2737C51C3C0 Time : 4998.0 sec. user=gd_barnes [2009-07-02 14:34:34] 475*2^702223-1 is not prime. Res64: E78A18F62DBE99C2 Time : 3352.0 sec. user=vaughan [2009-07-02 14:34:38] 465*2^702221-1 is not prime. Res64: 3B3A66D2A9EFACF4 Time : 4962.0 sec. user=vaughan [2009-07-02 14:41:59] 485*2^702222-1 is not prime. Res64: 672725D9259948C2 Time : 4936.0 sec. user=vaughan [2009-07-02 14:42:32] 513*2^702222-1 is not prime. Res64: 7DFF3ECC4EC407AB Time : 4903.0 sec. user=gd_barnes [2009-07-02 14:45:45] 585*2^702224-1 is not prime. Res64: 9B70CB833F2B91CF Time : 3352.0 sec. user=vaughan [2009-07-02 14:47:20] 437*2^702228-1 is not prime. Res64: 074C6F77FF414CBC Time : 1866.0 sec. user=vaughan [2009-07-02 14:50:42] 415*2^702223-1 is not prime. Res64: FFB18411C8BE1024 Time : 4963.0 sec. user=vaughan [2009-07-02 14:51:43] 421*2^702223-1 is not prime. Res64: E46FEEA5BEC31E29 Time : 4975.0 sec. user=gd_barnes [2009-07-02 14:56:54] 597*2^702226-1 is not prime. Res64: 1A4965F3F26FE4F9 Time : 3351.0 sec. user=vaughan [2009-07-02 14:58:58] 429*2^702223-1 is not prime. Res64: DE7E970681F3A7A9 Time : 4938.0 sec. user=vaughan [2009-07-02 14:59:47] 441*2^702223-1 is not prime. Res64: 769089514EC94EB8 Time : 4949.0 sec. user=vaughan [2009-07-02 15:06:53] 541*2^702223-1 is not prime. Res64: C6DA1720D39458AE Time : 4945.0 sec. user=vaughan [2009-07-02 15:07:35] 555*2^702223-1 is not prime. Res64: 644666177E26E0C7 Time : 4944.0 sec. user=gd_barnes [2009-07-02 15:08:05] 505*2^702227-1 is not prime. Res64: A69D4921A891A137 Time : 3352.0 sec. user=vaughan [2009-07-02 15:14:46] 405*2^702225-1 is not prime. Res64: CD327E50318D2D78 Time : 4947.0 sec. user=vaughan [2009-07-02 15:15:23] 529*2^702225-1 is not prime. Res64: 989EC54A22770317 Time : 4940.0 sec. user=gd_barnes [2009-07-02 15:19:14] 569*2^702228-1 is not prime. Res64: 19E1290F6973CE95 Time : 3350.0 sec. user=vaughan [2009-07-02 15:22:15] 439*2^702231-1 is not prime. Res64: 37170B6F12CB13EB Time : 2095.0 sec. user=vaughan [2009-07-02 15:23:22] 461*2^702226-1 is not prime. Res64: F014E89AA197C187 Time : 4993.0 sec. user=vaughan [2009-07-02 15:23:52] 581*2^702226-1 is not prime. Res64: 6D2C3AFAC531F869 Time : 4971.0 sec. user=gd_barnes [2009-07-02 15:30:37] 567*2^702229-1 is not prime. Res64: 246CA0BBE3597B87 Time : 3363.0 sec. user=vaughan [2009-07-02 15:31:38] 403*2^702227-1 is not prime. Res64: 73C25754D35D32A8 Time : 4989.0 sec. user=vaughan [2009-07-02 15:32:20] 475*2^702227-1 is not prime. Res64: 923603BF3318E9FC Time : 4988.0 sec. user=vaughan [2009-07-02 15:39:55] 537*2^702228-1 is not prime. Res64: 62467E2D349D3A77 Time : 4983.0 sec. user=vaughan [2009-07-02 15:40:42] 567*2^702228-1 is not prime. Res64: 9D2AB8503B44F74F Time : 4975.0 sec. user=gd_barnes [2009-07-02 15:42:06] 447*2^702230-1 is not prime. Res64: 9C15F4A77D65D0E3 Time : 3382.0 sec. user=vaughan [2009-07-02 15:48:01] 471*2^702229-1 is not prime. Res64: E8BDD1CA26F29C1E Time : 4952.0 sec. user=vaughan [2009-07-02 15:48:45] 555*2^702229-1 is not prime. Res64: 799D3E49E93720D5 Time : 4944.0 sec. user=vaughan [2009-07-02 15:56:28] 565*2^702229-1 is not prime. Res64: 7E9E77C1A8BC7275 Time : 4951.0 sec. user=vaughan [2009-07-02 15:57:11] 463*2^702235-1 is not prime. Res64: A864E6AA0233C9AD Time : 2096.0 sec. user=vaughan [2009-07-02 15:57:23] 405*2^702230-1 is not prime. Res64: EC5F0692C9544AD8 Time : 4965.0 sec. user=gd_barnes [2009-07-02 16:00:04] 591*2^702231-1 is not prime. Res64: 603BE9B512952FDE Time : 3790.0 sec. user=vaughan [2009-07-02 16:04:21] 417*2^702230-1 is not prime. Res64: AED9E6F9A9A66FF7 Time : 4942.0 sec. user=vaughan [2009-07-02 16:05:13] 431*2^702230-1 is not prime. Res64: 6AE5DB1858B1E14F Time : 4961.0 sec. user=gd_barnes [2009-07-02 16:11:43] 567*2^702233-1 is not prime. Res64: A2DF1209A2538231 Time : 3818.0 sec. user=vaughan [2009-07-02 16:12:18] 475*2^702231-1 is not prime. Res64: 46CF51CE0C75837C Time : 4896.0 sec. user=vaughan [2009-07-02 16:13:24] 571*2^702231-1 is not prime. Res64: 692238D19BA14D8C Time : 4901.0 sec. user=vaughan [2009-07-02 16:20:09] 413*2^702232-1 is not prime. Res64: 12C5A3F55DFDB1AC Time : 4871.0 sec. user=vaughan [2009-07-02 16:21:18] 519*2^702232-1 is not prime. Res64: 83B456A08815348D Time : 4891.0 sec. user=gd_barnes [2009-07-02 16:22:52] 421*2^702235-1 is not prime. Res64: 0490C5BDDCA988E4 Time : 3818.0 sec. user=vaughan [2009-07-02 16:28:10] 501*2^702233-1 is not prime. Res64: 46EB312CAF33A2AC Time : 4877.0 sec. user=vaughan [2009-07-02 16:29:19] 517*2^702233-1 is not prime. Res64: 7651B725237AC14A Time : 4904.0 sec. user=vaughan [2009-07-02 16:31:43] 469*2^702239-1 is not prime. Res64: C06B3969F12F6FC9 Time : 2072.0 sec. user=vaughan [2009-07-02 16:36:00] 595*2^702233-1 is not prime. Res64: 7647B0280534673E Time : 4874.0 sec. user=vaughan [2009-07-02 16:37:20] 447*2^702234-1 is not prime. Res64: 0E39D09191A3C9DC Time : 4918.0 sec. user=vaughan [2009-07-02 16:44:42] 535*2^702235-1 is not prime. Res64: 15B65473FEE6ACDB Time : 4880.0 sec. user=vaughan [2009-07-02 16:45:48] 541*2^702235-1 is not prime. Res64: C585F8BF67DE2B2C Time : 4917.0 sec. user=vaughan [2009-07-02 16:52:45] 441*2^702237-1 is not prime. Res64: 7D450FE6F511B778 Time : 4867.0 sec. user=vaughan [2009-07-02 16:53:45] 495*2^702237-1 is not prime. Res64: DCAE5D6029171872 Time : 4886.0 sec. user=vaughan [2009-07-02 17:00:56] 517*2^702237-1 is not prime. Res64: 01F8EBFD3614D9E2 Time : 4862.0 sec. user=vaughan [2009-07-02 17:02:02] 549*2^702237-1 is not prime. Res64: DE632E8D4B202295 Time : 4880.0 sec. user=vaughan [2009-07-02 17:06:13] 425*2^702236-1 is not prime. Res64: 34A191A969B8A550 Time : 2070.0 sec. user=vaughan [2009-07-02 17:09:32] 507*2^702238-1 is not prime. Res64: 8A8CF006A3AE9A3E Time : 4891.0 sec. user=vaughan [2009-07-02 17:10:19] 591*2^702238-1 is not prime. Res64: D431F79B45458F42 Time : 4894.0 sec. user=vaughan [2009-07-02 17:17:26] 597*2^702238-1 is not prime. Res64: 4C266549A77B5FC6 Time : 4858.0 sec. user=vaughan [2009-07-02 17:18:08] 501*2^702239-1 is not prime. Res64: BF7E06644C5F1284 Time : 4845.0 sec. user=vaughan [2009-07-02 17:25:52] 579*2^702239-1 is not prime. Res64: A629F686A72DE3D9 Time : 4891.0 sec. user=vaughan [2009-07-02 17:26:23] 413*2^702240-1 is not prime. Res64: 8A859584C91974B3 Time : 4871.0 sec. user=vaughan [2009-07-02 17:33:47] 555*2^702240-1 is not prime. Res64: 876D4BB574FCE314 Time : 4890.0 sec. user=vaughan [2009-07-02 17:34:14] 587*2^702240-1 is not prime. Res64: 4AB7A4BFE1734560 Time : 4850.0 sec. user=vaughan [2009-07-02 17:41:10] 525*2^702244-1 is not prime. Res64: 05B38D6DDCDEDECB Time : 2097.0 sec. user=vaughan [2009-07-02 17:41:39] 427*2^702241-1 is not prime. Res64: 0B169C6FCC773CDF Time : 4890.0 sec. user=vaughan [2009-07-02 17:42:02] 477*2^702241-1 is not prime. Res64: CA45B94FAB34A3F5 Time : 4844.0 sec. user=vaughan [2009-07-02 17:50:02] 405*2^702242-1 is not prime. Res64: 5D0496073860188B Time : 4913.0 sec. user=vaughan [2009-07-02 17:50:11] 453*2^702242-1 is not prime. Res64: 094FA42BBE945B97 Time : 4853.0 sec. user=vaughan [2009-07-02 17:57:57] 491*2^702238-1 is not prime. Res64: 9413888FB0E80E9C Time : 4917.0 sec. user=vaughan [2009-07-02 17:57:59] 559*2^702239-1 is not prime. Res64: 5F3F38C3AB3713F7 Time : 4840.0 sec. user=vaughan [2009-07-02 18:06:27] 455*2^702240-1 is not prime. Res64: A6FA2B73CC0B35E1 Time : 4905.0 sec. user=vaughan [2009-07-02 18:06:30] 525*2^702241-1 is not prime. Res64: 980879CD5745F38A Time : 4842.0 sec. user=vaughan [2009-07-02 18:14:34] 453*2^702243-1 is not prime. Res64: 617BE1B52919E02D Time : 4849.0 sec. user=vaughan [2009-07-02 18:14:47] 497*2^702242-1 is not prime. Res64: CFB4BB03D37BE861 Time : 4922.0 sec. user=vaughan [2009-07-02 18:22:22] 507*2^702244-1 is not prime. Res64: 747C9E1F0FC41BD9 Time : 4820.0 sec. user=vaughan [2009-07-02 18:22:44] 435*2^702244-1 is not prime. Res64: E227AFBF5A604648 Time : 4909.0 sec. user=vaughan [2009-07-02 18:30:09] 593*2^702244-1 is not prime. Res64: BD87E3F8593E2742 Time : 4790.0 sec. user=vaughan [2009-07-02 18:30:40] 533*2^702244-1 is not prime. Res64: B0145B39CDFDF4FC Time : 4868.0 sec. user=vaughan [2009-07-02 18:32:01] 455*2^702246-1 is not prime. Res64: 9291A0B677FC02A4 Time : 3051.0 sec. user=vaughan [2009-07-02 18:38:25] 465*2^702245-1 is not prime. Res64: F09F9A1926B7E5B8 Time : 4817.0 sec. user=vaughan [2009-07-02 18:39:07] 447*2^702245-1 is not prime. Res64: 7680CFF4D788F2AE Time : 4901.0 sec. user=vaughan [2009-07-02 18:46:16] 477*2^702245-1 is not prime. Res64: B8DD9DB522784DAD Time : 4793.0 sec. user=vaughan [2009-07-02 18:47:00] 475*2^702245-1 is not prime. Res64: 01F69622D98D4C58 Time : 4869.0 sec. user=vaughan [2009-07-02 18:54:06] 453*2^702246-1 is not prime. Res64: 12F94D2D179286F3 Time : 4792.0 sec. user=vaughan [2009-07-02 18:54:57] 577*2^702245-1 is not prime. Res64: 62D8E76C6856CD10 Time : 4870.0 sec. user=vaughan [2009-07-02 19:02:25] 525*2^702246-1 is not prime. Res64: F81E35AC1457D391 Time : 4823.0 sec. user=vaughan [2009-07-02 19:03:28] 483*2^702246-1 is not prime. Res64: A0203854B22FA159 Time : 4909.0 sec. user=vaughan [2009-07-02 19:10:27] 595*2^702247-1 is not prime. Res64: 51D3C62B891081A3 Time : 4816.0 sec. user=vaughan [2009-07-02 19:11:44] 573*2^702246-1 is not prime. Res64: DB9F2526A585C2F2 Time : 4902.0 sec. user=vaughan [2009-07-02 19:18:29] 533*2^702248-1 is not prime. Res64: 8EE5A297532EBC5B Time : 4830.0 sec. user=vaughan [2009-07-02 19:19:42] 435*2^702248-1 is not prime. Res64: A26D059E1DAB9716 Time : 4905.0 sec. user=vaughan [2009-07-02 19:26:40] 599*2^702248-1 is not prime. Res64: C7E53C49114D561E Time : 4810.0 sec. user=vaughan [2009-07-02 19:28:09] 573*2^702248-1 is not prime. Res64: 9FE08AE2CAB1EB43 Time : 4902.0 sec. user=vaughan [2009-07-02 19:35:05] 425*2^702250-1 is not prime. Res64: 501FCC7F1AF4185E Time : 4831.0 sec. user=vaughan [2009-07-02 19:36:44] 437*2^702250-1 is not prime. Res64: 06266FD8132CAF8C Time : 4917.0 sec. user=vaughan [2009-07-02 19:43:41] 525*2^702250-1 is not prime. Res64: DD2E58773D480510 Time : 4879.0 sec. user=vaughan [2009-07-02 19:45:39] 533*2^702250-1 is not prime. Res64: CB1507F0293C61EE Time : 4975.0 sec. user=vaughan [2009-07-02 19:51:58] 545*2^702250-1 is not prime. Res64: 26B0394D01CC1B0B Time : 4909.0 sec. user=vaughan [2009-07-02 19:54:02] 561*2^702250-1 is not prime. Res64: 37C25A6F58E297A4 Time : 5002.0 sec. user=vaughan [2009-07-02 19:59:31] 403*2^702251-1 is not prime. Res64: F1C9C12160D01E39 Time : 5250.0 sec. user=vaughan [2009-07-02 20:00:34] 421*2^702251-1 is not prime. Res64: 0159DCE3DCB49F9F Time : 4929.0 sec. user=vaughan [2009-07-02 20:02:40] 433*2^702251-1 is not prime. Res64: F428E0501BF13877 Time : 5013.0 sec. user=vaughan [2009-07-02 20:09:33] 489*2^702251-1 is not prime. Res64: 9307968641972238 Time : 4997.0 sec. user=vaughan [2009-07-02 20:11:38] 493*2^702251-1 is not prime. Res64: 24A8425E6D2C11CE Time : 5079.0 sec. user=vaughan [2009-07-02 20:18:31] 531*2^702251-1 is not prime. Res64: 2ECA07D8A60011B8 Time : 5066.0 sec. user=vaughan [2009-07-02 20:20:46] 515*2^702252-1 is not prime. Res64: 9BFD0EAFB7E84BA1 Time : 5149.0 sec. user=vaughan [2009-07-02 20:26:47] 537*2^702252-1 is not prime. Res64: AAFD2FEE6FA4BA6C Time : 5062.0 sec. user=vaughan [2009-07-02 20:28:49] 569*2^702252-1 is not prime. Res64: 2FA00FD8A127CCF0 Time : 5122.0 sec. user=vaughan [2009-07-02 20:35:05] 441*2^702253-1 is not prime. Res64: D6D2DC70AE58F4A3 Time : 5079.0 sec. user=vaughan [2009-07-02 20:37:16] 451*2^702253-1 is not prime. Res64: D76D19139108AB72 Time : 5132.0 sec. user=vaughan [2009-07-02 20:43:38] 465*2^702253-1 is not prime. Res64: 866189EB5CEA0A35 Time : 5109.0 sec. user=vaughan [2009-07-02 20:46:06] 477*2^702253-1 is not prime. Res64: 3CE19EFFB4CAF38D Time : 5184.0 sec. user=vaughan [2009-07-02 20:51:33] 507*2^702253-1 is not prime. Res64: 6477C127924ECA61 Time : 5094.0 sec. user=vaughan [2009-07-02 20:54:01] 517*2^702253-1 is not prime. Res64: 4C776BEAB02E6FFF Time : 5152.0 sec. user=vaughan [2009-07-02 20:59:50] 555*2^702253-1 is not prime. Res64: 96AB00B6530326FD Time : 5086.0 sec. user=vaughan [2009-07-02 21:02:24] 559*2^702253-1 is not prime. Res64: 9128C6A791CF2BB2 Time : 5140.0 sec. user=vaughan [2009-07-02 21:05:53] 469*2^702255-1 is not prime. Res64: EB92F8F95C3E527A Time : 3982.0 sec. user=vaughan [2009-07-02 21:08:10] 453*2^702254-1 is not prime. Res64: B9AFB1784022C852 Time : 5069.0 sec. user=vaughan [2009-07-02 21:11:10] 501*2^702254-1 is not prime. Res64: 637295D327D6239F Time : 5131.0 sec. user=vaughan [2009-07-02 21:16:45] 507*2^702254-1 is not prime. Res64: 5D2675BE724A57FA Time : 5087.0 sec. user=vaughan [2009-07-02 21:20:01] 557*2^702254-1 is not prime. Res64: DF5C54238A9AE4AC Time : 5159.0 sec. user=vaughan [2009-07-02 21:25:20] 511*2^702255-1 is not prime. Res64: D7CFED408D65497F Time : 5087.0 sec. user=vaughan [2009-07-02 21:28:26] 535*2^702255-1 is not prime. Res64: D218657D2DC3D251 Time : 5147.0 sec. user=vaughan [2009-07-02 21:34:04] 435*2^702256-1 is not prime. Res64: 1168965113C280F4 Time : 5072.0 sec. user=vaughan [2009-07-02 21:37:26] 447*2^702256-1 is not prime. Res64: DB6059EACC3B0CA4 Time : 5148.0 sec. user=vaughan [2009-07-02 21:37:47] 405*2^702258-1 is not prime. Res64: B21E695B4C19E3EC Time : 1915.0 sec. user=vaughan [2009-07-02 21:43:08] 479*2^702256-1 is not prime. Res64: 1EC6DF23EB6909F7 Time : 5077.0 sec. user=vaughan [2009-07-02 21:47:12] 483*2^702256-1 is not prime. Res64: A7650FE502C0E8A5 Time : 5186.0 sec. user=vaughan [2009-07-02 21:52:30] 495*2^702256-1 is not prime. Res64: F01991B48712AC54 Time : 5144.0 sec. user=vaughan [2009-07-02 21:56:28] 507*2^702256-1 is not prime. Res64: B71E9672FFF4F756 Time : 5259.0 sec. user=vaughan [2009-07-02 22:01:35] 563*2^702256-1 is not prime. Res64: 74EF55386D69B835 Time : 5190.0 sec. user=vaughan [2009-07-02 22:05:43] 567*2^702256-1 is not prime. Res64: EDE934F77CF12D0D Time : 5307.0 sec. user=vaughan [2009-07-02 22:10:27] 487*2^702257-1 is not prime. Res64: 257910328ACFB52C Time : 5210.0 sec. user=vaughan [2009-07-02 22:11:48] 539*2^702260-1 is not prime. Res64: 0C2898001CC761AB Time : 2042.0 sec. user=vaughan [2009-07-02 22:15:09] 495*2^702257-1 is not prime. Res64: D32B3FC6081F4877 Time : 5344.0 sec. user=vaughan [2009-07-02 22:19:37] 507*2^702257-1 is not prime. Res64: 779D597EEA5723D3 Time : 5284.0 sec. user=vaughan [2009-07-02 22:24:04] 549*2^702257-1 is not prime. Res64: A2423E653649E3C6 Time : 5403.0 sec. user=vaughan [2009-07-02 22:28:38] 571*2^702257-1 is not prime. Res64: DB93C3882306A36F Time : 5328.0 sec. user=vaughan [2009-07-02 22:33:42] 585*2^702257-1 is not prime. Res64: 3973D891C321D704 Time : 5478.0 sec. user=vaughan [2009-07-02 22:37:47] 437*2^702258-1 is not prime. Res64: 465526E87131D2E2 Time : 5377.0 sec. user=vaughan [2009-07-02 22:42:58] 451*2^702259-1 is not prime. Res64: 27C52729A0BA38A6 Time : 5509.0 sec. user=vaughan [2009-07-02 22:46:16] 591*2^702262-1 is not prime. Res64: BE2A21AAB79D41E0 Time : 2068.0 sec. user=vaughan [2009-07-02 22:46:59] 493*2^702259-1 is not prime. Res64: CF6505AC8F8C5358 Time : 5414.0 sec. user=vaughan [2009-07-02 22:51:42] 511*2^702259-1 is not prime. Res64: 062A91AED05AB4DC Time : 5501.0 sec. user=vaughan [2009-07-02 22:55:29] 531*2^702259-1 is not prime. Res64: 44CFF5A444EDD49C Time : 5410.0 sec. user=vaughan [2009-07-02 23:00:48] 549*2^702259-1 is not prime. Res64: 5D8D73EA4D098887 Time : 5542.0 sec. user=vaughan [2009-07-02 23:04:39] 573*2^702259-1 is not prime. Res64: 9E8406AB496E3FC8 Time : 5436.0 sec. user=vaughan [2009-07-02 23:09:05] 489*2^702260-1 is not prime. Res64: 6F005A26BA21C506 Time : 5499.0 sec. user=vaughan [2009-07-02 23:12:55] 545*2^702260-1 is not prime. Res64: 6F5167BEE4E629AF Time : 5387.0 sec. user=vaughan [2009-07-02 23:17:46] 471*2^702261-1 is not prime. Res64: CD8227F227D355A3 Time : 5434.0 sec. user=vaughan [2009-07-02 23:20:37] 407*2^702266-1 is not prime. Res64: 585FCF49FF57C2B3 Time : 2062.0 sec. user=vaughan [2009-07-02 23:22:08] 591*2^702261-1 is not prime. Res64: 43E4BD11A535ABE3 Time : 5378.0 sec. user=vaughan [2009-07-02 23:26:59] 483*2^702262-1 is not prime. Res64: 408EA36A27B3E884 Time : 5432.0 sec. user=vaughan [2009-07-02 23:30:57] 533*2^702262-1 is not prime. Res64: 512D92CC871B60F6 Time : 5362.0 sec. user=vaughan [2009-07-02 23:35:34] 545*2^702262-1 is not prime. Res64: C6A62370B9EEA02F Time : 5391.0 sec. user=vaughan [2009-07-02 23:39:58] 551*2^702262-1 is not prime. Res64: 65FBB93E479B6EC2 Time : 5371.0 sec. user=vaughan [2009-07-02 23:44:47] 411*2^702263-1 is not prime. Res64: A9C80176AB08911B Time : 5379.0 sec. user=vaughan [2009-07-02 23:48:57] 465*2^702263-1 is not prime. Res64: 81359B782971B985 Time : 5361.0 sec. user=vaughan [2009-07-02 23:53:52] 523*2^702263-1 is not prime. Res64: D666B1D66A837603 Time : 5388.0 sec. user=vaughan [2009-07-02 23:54:39] 555*2^702267-1 is not prime. Res64: 8C860FAB64575B9A Time : 2043.0 sec. user=vaughan [2009-07-02 23:58:11] 571*2^702263-1 is not prime. Res64: D44FC96B19A82134 Time : 5373.0 sec.