user=vaughan [2009-07-13 00:00:11] 507*2^703182-1 is not prime. Res64: FEF8DCBD1FF53A54 Time : 4589.0 sec. user=vaughan [2009-07-13 00:02:48] 555*2^703182-1 is not prime. Res64: C1EBF3FD01CF6375 Time : 4531.0 sec. user=vaughan [2009-07-13 00:07:54] 585*2^703182-1 is not prime. Res64: 8BE0C3F9DA48F59D Time : 4593.0 sec. user=vaughan [2009-07-13 00:10:20] 423*2^703183-1 is not prime. Res64: 90E53D7F1C804792 Time : 4530.0 sec. user=vaughan [2009-07-13 00:15:37] 429*2^703183-1 is not prime. Res64: 55C7DDAC45187108 Time : 4599.0 sec. user=vaughan [2009-07-13 00:17:51] 463*2^703183-1 is not prime. Res64: 75A23E498BD7663C Time : 4526.0 sec. user=vaughan [2009-07-13 00:23:18] 475*2^703183-1 is not prime. Res64: D7C553CB02BEA6E9 Time : 4601.0 sec. user=vaughan [2009-07-13 00:25:23] 573*2^703183-1 is not prime. Res64: 08738975979F6026 Time : 4525.0 sec. user=vaughan [2009-07-13 00:30:59] 479*2^703184-1 is not prime. Res64: A285D276543BE76D Time : 4606.0 sec. user=vaughan [2009-07-13 00:32:54] 563*2^703184-1 is not prime. Res64: 28DA6248D2BA8A9E Time : 4522.0 sec. user=vaughan [2009-07-13 00:38:41] 573*2^703184-1 is not prime. Res64: 448F27D36AC47CFD Time : 4611.0 sec. user=vaughan [2009-07-13 00:40:26] 599*2^703184-1 is not prime. Res64: 5F26086C5C281152 Time : 4520.0 sec. user=vaughan [2009-07-13 00:46:22] 469*2^703185-1 is not prime. Res64: 47A77ADD10B5DA4D Time : 4614.0 sec. user=vaughan [2009-07-13 00:47:57] 487*2^703185-1 is not prime. Res64: 815AA7E27EB106A8 Time : 4517.0 sec. user=vaughan [2009-07-13 00:54:03] 525*2^703185-1 is not prime. Res64: 6671124158D9A1E0 Time : 4616.0 sec. user=vaughan [2009-07-13 00:55:30] 565*2^703185-1 is not prime. Res64: 0BFE460BC1C719C2 Time : 4518.0 sec. user=vaughan [2009-07-13 01:01:48] 437*2^703186-1 is not prime. Res64: 9D419526C37FEB4B Time : 4619.0 sec. user=vaughan [2009-07-13 01:03:02] 471*2^703186-1 is not prime. Res64: 18D37BE01E755A5F Time : 4519.0 sec. user=vaughan [2009-07-13 01:09:32] 495*2^703186-1 is not prime. Res64: 8A5CF79CD1E66F5F Time : 4623.0 sec. user=vaughan [2009-07-13 01:10:34] 551*2^703186-1 is not prime. Res64: D7318C7BBEAFC38B Time : 4518.0 sec. user=vaughan [2009-07-13 01:17:18] 561*2^703186-1 is not prime. Res64: 5EE0E7F511433610 Time : 4628.0 sec. user=vaughan [2009-07-13 01:18:06] 433*2^703187-1 is not prime. Res64: EAAC115044A1136F Time : 4519.0 sec. user=vaughan [2009-07-13 01:25:08] 475*2^703187-1 is not prime. Res64: 7FF9EBE279DAC121 Time : 4635.0 sec. user=vaughan [2009-07-13 01:25:38] 571*2^703187-1 is not prime. Res64: 20B8BBBB4D21914F Time : 4519.0 sec. user=vaughan [2009-07-13 01:32:56] 473*2^703188-1 is not prime. Res64: 2313232213445DB7 Time : 4640.0 sec. user=vaughan [2009-07-13 01:33:12] 479*2^703188-1 is not prime. Res64: 403CF4799944AFAD Time : 4521.0 sec. user=vaughan [2009-07-13 01:40:47] 525*2^703188-1 is not prime. Res64: 5ECDB2FCEBEA843F Time : 4650.0 sec. user=vaughan [2009-07-13 01:40:47] 537*2^703188-1 is not prime. Res64: 4E458A275A56224F Time : 4524.0 sec. user=vaughan [2009-07-13 01:48:21] 451*2^703189-1 is not prime. Res64: 6D84E87C5B32EAB1 Time : 4527.0 sec. user=vaughan [2009-07-13 01:48:30] 441*2^703189-1 is not prime. Res64: 80F597B6E377B064 Time : 4651.0 sec. user=vaughan [2009-07-13 01:55:55] 495*2^703189-1 is not prime. Res64: 3930C513D798EB76 Time : 4529.0 sec. user=vaughan [2009-07-13 01:56:09] 465*2^703189-1 is not prime. Res64: BD974F2DEAD6C3F4 Time : 4648.0 sec. user=vaughan [2009-07-13 02:03:30] 411*2^703190-1 is not prime. Res64: 8CFBA238B548CE20 Time : 4533.0 sec. user=vaughan [2009-07-13 02:03:49] 547*2^703189-1 is not prime. Res64: 3B87996FE388C6FE Time : 4647.0 sec. user=vaughan [2009-07-13 02:11:03] 535*2^703191-1 is not prime. Res64: 7CA498608CB841EE Time : 4534.0 sec. user=vaughan [2009-07-13 02:11:26] 431*2^703190-1 is not prime. Res64: BAB1E44A30244F19 Time : 4643.0 sec. user=vaughan [2009-07-13 02:18:37] 593*2^703192-1 is not prime. Res64: 95D456520102452E Time : 4536.0 sec. user=vaughan [2009-07-13 02:19:05] 429*2^703192-1 is not prime. Res64: 0E305D46AAFA02C3 Time : 4637.0 sec. user=vaughan [2009-07-13 02:26:11] 401*2^703194-1 is not prime. Res64: 08FE3AFCDEF47D4F Time : 4538.0 sec. user=vaughan [2009-07-13 02:26:45] 589*2^703193-1 is not prime. Res64: D2517B4D3E36B8B9 Time : 4633.0 sec. user=vaughan [2009-07-13 02:33:46] 473*2^703194-1 is not prime. Res64: 0904CC6BD2990728 Time : 4540.0 sec. user=vaughan [2009-07-13 02:34:22] 447*2^703194-1 is not prime. Res64: 3162E651A0B91553 Time : 4624.0 sec. user=vaughan [2009-07-13 02:41:18] 521*2^703194-1 is not prime. Res64: A16D0D618543AA46 Time : 4540.0 sec. user=vaughan [2009-07-13 02:42:01] 503*2^703194-1 is not prime. Res64: 602D2AC0C2FC3F44 Time : 4614.0 sec. user=vaughan [2009-07-13 02:48:50] 551*2^703194-1 is not prime. Res64: 70DCABE40BE746BC Time : 4538.0 sec. user=vaughan [2009-07-13 02:49:43] 531*2^703194-1 is not prime. Res64: 09AF06450B648F35 Time : 4608.0 sec. user=vaughan [2009-07-13 02:56:22] 531*2^703195-1 is not prime. Res64: 730198BD9B54FE1E Time : 4535.0 sec. user=vaughan [2009-07-13 02:57:24] 593*2^703194-1 is not prime. Res64: 2FAC0CEE08AB10A7 Time : 4598.0 sec. user=vaughan [2009-07-13 03:03:53] 535*2^703195-1 is not prime. Res64: E36C799CBFB0230A Time : 4532.0 sec. user=vaughan [2009-07-13 03:05:04] 553*2^703195-1 is not prime. Res64: DC926410AD863BD6 Time : 4595.0 sec. user=vaughan [2009-07-13 03:11:26] 495*2^703196-1 is not prime. Res64: FFD18222BABF3670 Time : 4531.0 sec. user=vaughan [2009-07-13 03:12:46] 507*2^703196-1 is not prime. Res64: 7F8780B52E8A1FAC Time : 4598.0 sec. user=vaughan [2009-07-13 03:18:55] 537*2^703196-1 is not prime. Res64: EFEA78DD0F27C184 Time : 4526.0 sec. user=vaughan [2009-07-13 03:20:29] 585*2^703196-1 is not prime. Res64: 155018CC2A2E3F01 Time : 4601.0 sec. user=vaughan [2009-07-13 03:26:26] 429*2^703197-1 is not prime. Res64: C7EB548CBB1BA9AC Time : 4523.0 sec. user=vaughan [2009-07-13 03:28:12] 495*2^703197-1 is not prime. Res64: 3D3345BD20AD6084 Time : 4607.0 sec. user=vaughan [2009-07-13 03:33:58] 413*2^703198-1 is not prime. Res64: 85850AA73F6CE769 Time : 4521.0 sec. user=vaughan [2009-07-13 03:35:54] 423*2^703198-1 is not prime. Res64: 2801EC9D73E3F51B Time : 4609.0 sec. user=vaughan [2009-07-13 03:41:31] 491*2^703198-1 is not prime. Res64: 123BE1E0021C6059 Time : 4520.0 sec. user=vaughan [2009-07-13 03:43:34] 575*2^703198-1 is not prime. Res64: F63CA03EE50E1CAF Time : 4609.0 sec. user=vaughan [2009-07-13 03:49:03] 411*2^703199-1 is not prime. Res64: A6BE5429BA7819CE Time : 4517.0 sec. user=vaughan [2009-07-13 03:51:14] 433*2^703199-1 is not prime. Res64: 7585692190F8D516 Time : 4612.0 sec. user=vaughan [2009-07-13 03:56:34] 435*2^703199-1 is not prime. Res64: 97D33782AC8E017E Time : 4517.0 sec. user=vaughan [2009-07-13 03:58:54] 531*2^703199-1 is not prime. Res64: 539376D67457CC09 Time : 4613.0 sec. user=vaughan [2009-07-13 04:04:06] 549*2^703199-1 is not prime. Res64: 11A7A988464E9B49 Time : 4516.0 sec. user=vaughan [2009-07-13 04:06:35] 553*2^703199-1 is not prime. Res64: 1A1CE143E3021D16 Time : 4612.0 sec. user=vaughan [2009-07-13 04:11:37] 573*2^703199-1 is not prime. Res64: E70E7E08A1576700 Time : 4516.0 sec. user=vaughan [2009-07-13 04:14:16] 595*2^703199-1 is not prime. Res64: F9EE2E2CBB5B70D1 Time : 4612.0 sec. user=vaughan [2009-07-13 04:19:09] 453*2^703200-1 is not prime. Res64: B224302505D166A3 Time : 4517.0 sec. user=vaughan [2009-07-13 04:21:57] 459*2^703200-1 is not prime. Res64: 9358CF04968AF014 Time : 4613.0 sec. user=vaughan [2009-07-13 04:26:39] 479*2^703200-1 is not prime. Res64: 2D4F137A7C9BEEB6 Time : 4514.0 sec. user=vaughan [2009-07-13 04:29:37] 597*2^703200-1 is not prime. Res64: D33EDD5E35E1C273 Time : 4612.0 sec. user=vaughan [2009-07-13 04:34:10] 409*2^703201-1 is not prime. Res64: 0828E89528D6A6E6 Time : 4515.0 sec. user=vaughan [2009-07-13 04:37:16] 411*2^703201-1 is not prime. Res64: FC323441E49FB6C1 Time : 4607.0 sec. user=vaughan [2009-07-13 04:41:43] 421*2^703201-1 is not prime. Res64: 5599CD82FBB4DE80 Time : 4517.0 sec. user=vaughan [2009-07-13 04:44:55] 511*2^703201-1 is not prime. Res64: 6A27DDD32DF2C358 Time : 4603.0 sec. user=vaughan [2009-07-13 04:49:17] 541*2^703201-1 is not prime. Res64: D2CE2F1F9E5D9D26 Time : 4519.0 sec. user=vaughan [2009-07-13 04:52:32] 555*2^703201-1 is not prime. Res64: B7F31D791B681E70 Time : 4598.0 sec. user=vaughan [2009-07-13 04:56:51] 423*2^703202-1 is not prime. Res64: 34BA3D0182CD7D2D Time : 4520.0 sec. user=vaughan [2009-07-13 05:00:10] 467*2^703202-1 is not prime. Res64: 8F3B170C2000259C Time : 4596.0 sec. user=vaughan [2009-07-13 05:04:25] 497*2^703202-1 is not prime. Res64: FDCA8D57B728159E Time : 4522.0 sec. user=vaughan [2009-07-13 05:07:47] 525*2^703202-1 is not prime. Res64: 2470AEF803DD9D31 Time : 4593.0 sec. user=vaughan [2009-07-13 05:11:59] 561*2^703202-1 is not prime. Res64: 57B5D598A8BC345F Time : 4525.0 sec. user=vaughan [2009-07-13 05:15:24] 409*2^703203-1 is not prime. Res64: 90E3C8D6FA96EA25 Time : 4590.0 sec. user=vaughan [2009-07-13 05:19:32] 411*2^703203-1 is not prime. Res64: E2F7C77596D18E5F Time : 4527.0 sec. user=vaughan [2009-07-13 05:23:01] 451*2^703203-1 is not prime. Res64: 678580C56EB72139 Time : 4587.0 sec. user=vaughan [2009-07-13 05:27:06] 533*2^703204-1 is not prime. Res64: 478489EA4BEF9B95 Time : 4530.0 sec. user=vaughan [2009-07-13 05:30:39] 597*2^703204-1 is not prime. Res64: 8220C35AF731CA66 Time : 4584.0 sec. user=vaughan [2009-07-13 05:34:40] 451*2^703205-1 is not prime. Res64: B234ED2611BE27C5 Time : 4531.0 sec. user=vaughan [2009-07-13 05:38:16] 577*2^703205-1 is not prime. Res64: C1133C1DD7C4C376 Time : 4580.0 sec. user=vaughan [2009-07-13 05:42:16] 425*2^703206-1 is not prime. Res64: F26AA1A8FE51C90B Time : 4537.0 sec. user=vaughan [2009-07-13 05:46:13] 527*2^703206-1 is not prime. Res64: 2DA95837169076BB Time : 4597.0 sec. user=vaughan [2009-07-13 05:50:02] 537*2^703206-1 is not prime. Res64: 1F1077952C679A6A Time : 4552.0 sec. user=vaughan [2009-07-13 05:53:50] 451*2^703207-1 is not prime. Res64: ADAD65D21FE5211E Time : 4594.0 sec. user=vaughan [2009-07-13 05:57:36] 469*2^703207-1 is not prime. Res64: 4ED9FCD92E01245F Time : 4553.0 sec. user=vaughan [2009-07-13 06:01:27] 493*2^703207-1 is not prime. Res64: 9FAF2CC77F9F614B Time : 4592.0 sec. user=vaughan [2009-07-13 06:05:09] 579*2^703207-1 is not prime. Res64: 9E9570D3EF1413A8 Time : 4552.0 sec. user=vaughan [2009-07-13 06:09:04] 465*2^703208-1 is not prime. Res64: 7C7133A9241D4971 Time : 4593.0 sec. user=vaughan [2009-07-13 06:12:43] 567*2^703208-1 is not prime. Res64: 4AC04DF9D5EC44E6 Time : 4552.0 sec. user=vaughan [2009-07-13 06:16:42] 501*2^703209-1 is not prime. Res64: 45465273BE5D53DF Time : 4592.0 sec. user=vaughan [2009-07-13 06:20:17] 507*2^703209-1 is not prime. Res64: 1D6FE3BD418B2B74 Time : 4552.0 sec. user=vaughan [2009-07-13 06:24:19] 537*2^703209-1 is not prime. Res64: 6B7A04611A053451 Time : 4592.0 sec. user=vaughan [2009-07-13 06:27:50] 549*2^703209-1 is not prime. Res64: 4EB58509DFE1285F Time : 4551.0 sec. user=vaughan [2009-07-13 06:31:56] 555*2^703209-1 is not prime. Res64: 63016C06A652B6A4 Time : 4592.0 sec. user=vaughan [2009-07-13 06:35:25] 595*2^703209-1 is not prime. Res64: 11B1890517F17F31 Time : 4553.0 sec. user=vaughan [2009-07-13 06:39:33] 411*2^703210-1 is not prime. Res64: 3985F61096C99D6F Time : 4592.0 sec. user=vaughan [2009-07-13 06:42:58] 471*2^703210-1 is not prime. Res64: A89897B50FB176FC Time : 4552.0 sec. user=vaughan [2009-07-13 06:47:11] 503*2^703210-1 is not prime. Res64: 56271C81BFFB6F8F Time : 4593.0 sec. user=vaughan [2009-07-13 06:50:31] 555*2^703210-1 is not prime. Res64: C2AB80F5E0DF9888 Time : 4551.0 sec. user=vaughan [2009-07-13 06:54:50] 409*2^703211-1 is not prime. Res64: 3E9E1EE159B6BEB6 Time : 4595.0 sec. user=vaughan [2009-07-13 06:58:02] 445*2^703211-1 is not prime. Res64: F952A9091AB369EF Time : 4546.0 sec. user=vaughan [2009-07-13 07:02:30] 505*2^703211-1 is not prime. Res64: 3E43C56B816AFD2F Time : 4577.0 sec. user=vaughan [2009-07-13 07:05:32] 519*2^703211-1 is not prime. Res64: 65D366AA3A91B7D0 Time : 4530.0 sec. user=vaughan [2009-07-13 07:10:11] 591*2^703211-1 is not prime. Res64: 205DD75F84C694CE Time : 4581.0 sec. user=vaughan [2009-07-13 07:13:03] 455*2^703212-1 is not prime. Res64: 7D26841E410A2DFE Time : 4528.0 sec. user=vaughan [2009-07-13 07:17:52] 479*2^703212-1 is not prime. Res64: 7C65E75E2B684261 Time : 4585.0 sec. user=vaughan [2009-07-13 07:20:34] 579*2^703212-1 is not prime. Res64: 52FC8D1064571491 Time : 4525.0 sec. user=vaughan [2009-07-13 07:25:34] 517*2^703213-1 is not prime. Res64: DBD84504D6F57166 Time : 4590.0 sec. user=vaughan [2009-07-13 07:28:05] 525*2^703213-1 is not prime. Res64: 8555A85307DE5CD4 Time : 4522.0 sec. user=vaughan [2009-07-13 07:33:14] 537*2^703213-1 is not prime. Res64: 646ECF4753B10610 Time : 4592.0 sec. user=vaughan [2009-07-13 07:35:36] 577*2^703213-1 is not prime. Res64: CCAD83C20E151039 Time : 4519.0 sec. user=vaughan [2009-07-13 07:40:54] 417*2^703214-1 is not prime. Res64: 478427814A93DEEB Time : 4595.0 sec. user=vaughan [2009-07-13 07:43:07] 453*2^703214-1 is not prime. Res64: 12B36978A58A5B6B Time : 4517.0 sec. user=vaughan [2009-07-13 07:48:35] 545*2^703214-1 is not prime. Res64: 139FA9E0894F7810 Time : 4599.0 sec. user=vaughan [2009-07-13 07:50:38] 429*2^703215-1 is not prime. Res64: D100B8EFF12B0433 Time : 4513.0 sec. user=vaughan [2009-07-13 07:56:15] 481*2^703215-1 is not prime. Res64: E34764BFF71CF16F Time : 4602.0 sec. user=vaughan [2009-07-13 07:58:10] 479*2^703216-1 is not prime. Res64: 2D801E3A646E5FD1 Time : 4512.0 sec. user=vaughan [2009-07-13 08:03:54] 485*2^703216-1 is not prime. Res64: 1B9210FB8EED646F Time : 4603.0 sec. user=vaughan [2009-07-13 08:05:41] 527*2^703216-1 is not prime. Res64: EE068A70F2D44323 Time : 4510.0 sec. user=vaughan [2009-07-13 08:11:33] 469*2^703217-1 is not prime. Res64: 8C204656072BFF9A Time : 4603.0 sec. user=vaughan [2009-07-13 08:13:12] 549*2^703217-1 is not prime. Res64: B2438D5D308B48AA Time : 4510.0 sec. user=vaughan [2009-07-13 08:19:13] 577*2^703217-1 is not prime. Res64: 8416258A8C4EDD2A Time : 4603.0 sec. user=vaughan [2009-07-13 08:20:44] 417*2^703218-1 is not prime. Res64: D4BF3D881953A178 Time : 4512.0 sec. user=vaughan [2009-07-13 08:26:53] 453*2^703218-1 is not prime. Res64: 9B6AA9FB2ED664E8 Time : 4602.0 sec. user=vaughan [2009-07-13 08:28:16] 515*2^703218-1 is not prime. Res64: A48417249710BD33 Time : 4513.0 sec. user=vaughan [2009-07-13 08:34:33] 581*2^703218-1 is not prime. Res64: 010BC967F680CA99 Time : 4601.0 sec. user=vaughan [2009-07-13 08:35:47] 441*2^703219-1 is not prime. Res64: 769EB4B52AE78F21 Time : 4513.0 sec. user=vaughan [2009-07-13 08:42:13] 523*2^703219-1 is not prime. Res64: 57EDB39355F5D02E Time : 4599.0 sec. user=vaughan [2009-07-13 08:43:19] 425*2^703220-1 is not prime. Res64: 970A47353681F055 Time : 4514.0 sec. user=vaughan [2009-07-13 08:49:53] 459*2^703220-1 is not prime. Res64: 9D3FFDE9FAA6A114 Time : 4599.0 sec. user=vaughan [2009-07-13 08:50:50] 525*2^703220-1 is not prime. Res64: D9F2F2365CDAF490 Time : 4514.0 sec. user=vaughan [2009-07-13 08:57:30] 545*2^703220-1 is not prime. Res64: 04CC6DD88C78CFF2 Time : 4596.0 sec. user=vaughan [2009-07-13 08:58:24] 405*2^703221-1 is not prime. Res64: BC8CC558BAC18728 Time : 4517.0 sec. user=vaughan [2009-07-13 09:05:09] 459*2^703221-1 is not prime. Res64: 1E37D2AEDC640BC9 Time : 4594.0 sec. user=vaughan [2009-07-13 09:05:55] 487*2^703221-1 is not prime. Res64: 2E6218B62A26AAB3 Time : 4517.0 sec. user=vaughan [2009-07-13 09:12:49] 507*2^703221-1 is not prime. Res64: 156FCED3D981F47D Time : 4594.0 sec. user=vaughan [2009-07-13 09:13:26] 401*2^703222-1 is not prime. Res64: 0761A455D085BCBB Time : 4516.0 sec. user=vaughan [2009-07-13 09:20:31] 435*2^703222-1 is not prime. Res64: DDFAF0EB279D688F Time : 4597.0 sec. user=vaughan [2009-07-13 09:20:57] 455*2^703222-1 is not prime. Res64: B4998BAE2408E3C1 Time : 4516.0 sec. user=vaughan [2009-07-13 09:28:12] 461*2^703222-1 is not prime. Res64: DBB544A348BC1F1F Time : 4599.0 sec. user=vaughan [2009-07-13 09:28:28] 467*2^703222-1 is not prime. Res64: 8D5BCCC8607B4230 Time : 4516.0 sec. user=vaughan [2009-07-13 09:35:52] 481*2^703223-1 is not prime. Res64: 0F6FC6B01BC3F911 Time : 4599.0 sec. user=vaughan [2009-07-13 09:36:00] 453*2^703224-1 is not prime. Res64: 1BEFFA3193E87ADB Time : 4517.0 sec. user=vaughan [2009-07-13 09:43:30] 569*2^703224-1 is not prime. Res64: 214AE2B76C6B5272 Time : 4597.0 sec. user=vaughan [2009-07-13 09:43:34] 415*2^703225-1 is not prime. Res64: BB9F4A50D6808A38 Time : 4519.0 sec. user=vaughan [2009-07-13 09:51:07] 421*2^703225-1 is not prime. Res64: 50A8DC973AD64D3B Time : 4594.0 sec. user=vaughan [2009-07-13 09:51:08] 429*2^703225-1 is not prime. Res64: 296763A42E07A4A2 Time : 4521.0 sec. user=vaughan [2009-07-13 09:58:43] 531*2^703225-1 is not prime. Res64: 1DA1DEE7FB0CA347 Time : 4524.0 sec. user=vaughan [2009-07-13 09:58:43] 511*2^703225-1 is not prime. Res64: D0702A8728E773A7 Time : 4590.0 sec. user=vaughan [2009-07-13 10:06:18] 501*2^703226-1 is not prime. Res64: B461D9C31FE6E157 Time : 4528.0 sec. user=vaughan [2009-07-13 10:06:20] 591*2^703225-1 is not prime. Res64: 37AFCAB65D7DA382 Time : 4587.0 sec. user=vaughan [2009-07-13 10:13:52] 525*2^703226-1 is not prime. Res64: 6614F659AA49A676 Time : 4528.0 sec. user=vaughan [2009-07-13 10:13:56] 503*2^703226-1 is not prime. Res64: BDBE62CD76D45D5E Time : 4586.0 sec. user=vaughan [2009-07-13 10:21:26] 563*2^703226-1 is not prime. Res64: 2AD1944571847E63 Time : 4531.0 sec. user=vaughan [2009-07-13 10:21:33] 561*2^703226-1 is not prime. Res64: 43EDA0AB9C65E9FE Time : 4584.0 sec. user=vaughan [2009-07-13 10:29:01] 409*2^703227-1 is not prime. Res64: A80FDDAF408EFA79 Time : 4535.0 sec. user=vaughan [2009-07-13 10:29:10] 581*2^703226-1 is not prime. Res64: F0F730077B402DCA Time : 4581.0 sec. user=vaughan [2009-07-13 10:36:35] 555*2^703227-1 is not prime. Res64: 0506629C9669B2AC Time : 4538.0 sec. user=vaughan [2009-07-13 10:36:47] 471*2^703227-1 is not prime. Res64: 303392F9C1A00532 Time : 4577.0 sec. user=vaughan [2009-07-13 10:44:09] 595*2^703227-1 is not prime. Res64: 91E746843E774E31 Time : 4541.0 sec. user=vaughan [2009-07-13 10:44:24] 579*2^703227-1 is not prime. Res64: 8078DC968CDA4398 Time : 4573.0 sec. user=vaughan [2009-07-13 10:51:43] 437*2^703228-1 is not prime. Res64: 78B0E20BDB977E5D Time : 4544.0 sec. user=vaughan [2009-07-13 10:52:02] 435*2^703228-1 is not prime. Res64: FA401E893FF2615B Time : 4571.0 sec. user=vaughan [2009-07-13 10:59:17] 465*2^703228-1 is not prime. Res64: 79E7282A486BFEAE Time : 4544.0 sec. user=vaughan [2009-07-13 10:59:40] 453*2^703228-1 is not prime. Res64: B4D7DBCC270B3C66 Time : 4570.0 sec. user=vaughan [2009-07-13 11:06:50] 567*2^703228-1 is not prime. Res64: 20964B0A044AAAB1 Time : 4543.0 sec. user=vaughan [2009-07-13 11:07:17] 479*2^703228-1 is not prime. Res64: C5C760DFA67332BB Time : 4570.0 sec. user=vaughan [2009-07-13 11:14:24] 441*2^703229-1 is not prime. Res64: A856D1AF61B4745A Time : 4542.0 sec. user=vaughan [2009-07-13 11:14:53] 487*2^703229-1 is not prime. Res64: A6D5246E3231C287 Time : 4570.0 sec. user=vaughan [2009-07-13 11:21:59] 579*2^703229-1 is not prime. Res64: C011A653B17D86A8 Time : 4542.0 sec. user=vaughan [2009-07-13 11:22:31] 443*2^703230-1 is not prime. Res64: A23D134DEFFE1CE7 Time : 4572.0 sec. user=vaughan [2009-07-13 11:29:33] 447*2^703230-1 is not prime. Res64: 4A488E13F6181BE3 Time : 4541.0 sec. user=vaughan [2009-07-13 11:30:08] 501*2^703230-1 is not prime. Res64: B05003B4B808ADDC Time : 4572.0 sec. user=vaughan [2009-07-13 11:37:07] 555*2^703230-1 is not prime. Res64: 1906F0AA325394B7 Time : 4541.0 sec. user=vaughan [2009-07-13 11:37:45] 563*2^703230-1 is not prime. Res64: 07D7FB347790C6E9 Time : 4572.0 sec. user=vaughan [2009-07-13 11:44:41] 587*2^703230-1 is not prime. Res64: 927B6A4AA84FF89F Time : 4540.0 sec. user=vaughan [2009-07-13 11:45:21] 415*2^703231-1 is not prime. Res64: F03D793D51D30E8B Time : 4571.0 sec. user=vaughan [2009-07-13 11:52:15] 423*2^703231-1 is not prime. Res64: FC277164FC10BC83 Time : 4540.0 sec. user=vaughan [2009-07-13 11:52:58] 469*2^703231-1 is not prime. Res64: 6CB9D563293D8EB9 Time : 4571.0 sec. user=vaughan [2009-07-13 11:59:48] 493*2^703231-1 is not prime. Res64: 9F9F40C41DE7A7D8 Time : 4539.0 sec. user=vaughan [2009-07-13 12:00:35] 499*2^703231-1 is not prime. Res64: CAAF873A7F42082B Time : 4571.0 sec. user=vaughan [2009-07-13 12:07:22] 519*2^703231-1 is not prime. Res64: 05E73BF04B1CFEA2 Time : 4539.0 sec. user=vaughan [2009-07-13 12:08:12] 573*2^703232-1 is not prime. Res64: 6D8089C53AD77335 Time : 4571.0 sec. user=vaughan [2009-07-13 12:14:56] 585*2^703232-1 is not prime. Res64: 3820D3C1EF1362DF Time : 4539.0 sec. user=vaughan [2009-07-13 12:15:49] 445*2^703233-1 is not prime. Res64: CB99A968FF80F807 Time : 4570.0 sec. user=vaughan [2009-07-13 12:22:31] 501*2^703233-1 is not prime. Res64: 8D12C4FE989BB7D4 Time : 4541.0 sec. user=vaughan [2009-07-13 12:23:26] 507*2^703233-1 is not prime. Res64: 8934771D2D57983D Time : 4570.0 sec. user=vaughan [2009-07-13 12:30:05] 517*2^703233-1 is not prime. Res64: 1E8B4CF091300015 Time : 4541.0 sec. user=vaughan [2009-07-13 12:31:03] 571*2^703233-1 is not prime. Res64: D958020AEDCDB5A9 Time : 4570.0 sec. user=vaughan [2009-07-13 12:37:39] 413*2^703234-1 is not prime. Res64: 7AD836448DD96BB1 Time : 4540.0 sec. user=vaughan [2009-07-13 12:38:39] 437*2^703234-1 is not prime. Res64: 334D904063F6CCCD Time : 4569.0 sec. user=vaughan [2009-07-13 12:45:15] 475*2^703235-1 is not prime. Res64: 6DBC95CB43FE47A9 Time : 4543.0 sec. user=vaughan [2009-07-13 12:46:16] 481*2^703235-1 is not prime. Res64: 6078D437B7873A4F Time : 4569.0 sec. user=vaughan [2009-07-13 12:52:49] 511*2^703235-1 is not prime. Res64: 44A1A1F8AE49850C Time : 4543.0 sec. user=vaughan [2009-07-13 12:53:53] 585*2^703235-1 is not prime. Res64: 75D23748DA4478D5 Time : 4568.0 sec. user=vaughan [2009-07-13 13:00:23] 473*2^703236-1 is not prime. Res64: 1D4C8DDE62D9CEFB Time : 4543.0 sec. user=vaughan [2009-07-13 13:01:30] 525*2^703236-1 is not prime. Res64: F64F0DF9E01F91FD Time : 4570.0 sec. user=vaughan [2009-07-13 13:07:57] 537*2^703236-1 is not prime. Res64: 3DC4EB2ED05E05A0 Time : 4542.0 sec. user=vaughan [2009-07-13 13:09:06] 563*2^703236-1 is not prime. Res64: 059BC052F4E3F697 Time : 4568.0 sec. user=vaughan [2009-07-13 13:15:31] 579*2^703236-1 is not prime. Res64: F969502AD09B0830 Time : 4543.0 sec. user=vaughan [2009-07-13 13:16:44] 441*2^703237-1 is not prime. Res64: 6B3A2F655AC42EF1 Time : 4569.0 sec. user=vaughan [2009-07-13 13:23:05] 549*2^703237-1 is not prime. Res64: 06443DB74FED996F Time : 4543.0 sec. user=vaughan [2009-07-13 13:24:21] 431*2^703238-1 is not prime. Res64: 77B79DA96B91AFA9 Time : 4569.0 sec. user=vaughan [2009-07-13 13:30:38] 435*2^703238-1 is not prime. Res64: 5E083BC3CA41D3B7 Time : 4542.0 sec. user=vaughan [2009-07-13 13:31:58] 501*2^703238-1 is not prime. Res64: 7B373921AA5EDEB8 Time : 4569.0 sec. user=vaughan [2009-07-13 13:38:12] 563*2^703238-1 is not prime. Res64: E9F21284F7479889 Time : 4541.0 sec. user=vaughan [2009-07-13 13:39:35] 543*2^703239-1 is not prime. Res64: FA853B81EBB6FF3E Time : 4569.0 sec. user=vaughan [2009-07-13 13:45:46] 429*2^703240-1 is not prime. Res64: 3D9BB846FA09D453 Time : 4541.0 sec. user=vaughan [2009-07-13 13:47:12] 465*2^703240-1 is not prime. Res64: DEE46897C7BAE406 Time : 4569.0 sec. user=vaughan [2009-07-13 13:53:20] 495*2^703240-1 is not prime. Res64: BC2DA097A732CED0 Time : 4541.0 sec. user=vaughan [2009-07-13 13:54:50] 509*2^703240-1 is not prime. Res64: 14277E61E70FA463 Time : 4571.0 sec. user=vaughan [2009-07-13 14:00:55] 525*2^703240-1 is not prime. Res64: 85DFEA5A91B8FBD9 Time : 4541.0 sec. user=vaughan [2009-07-13 14:02:27] 527*2^703240-1 is not prime. Res64: 5D883F33B9DE51B1 Time : 4571.0 sec. user=vaughan [2009-07-13 14:08:29] 563*2^703240-1 is not prime. Res64: 100A5A999BDEE028 Time : 4541.0 sec. user=vaughan [2009-07-13 14:10:04] 475*2^703241-1 is not prime. Res64: 442AD0A88D01217A Time : 4571.0 sec. user=vaughan [2009-07-13 14:16:03] 487*2^703241-1 is not prime. Res64: 850FF50E036DB384 Time : 4540.0 sec. user=vaughan [2009-07-13 14:17:41] 529*2^703241-1 is not prime. Res64: D6FC61C044E4BFE5 Time : 4571.0 sec. user=vaughan [2009-07-13 14:23:37] 585*2^703241-1 is not prime. Res64: 35DAF833EDF6E124 Time : 4540.0 sec. user=vaughan [2009-07-13 14:25:18] 447*2^703242-1 is not prime. Res64: 6DE3D3330F270F38 Time : 4572.0 sec. user=vaughan [2009-07-13 14:31:12] 483*2^703242-1 is not prime. Res64: 9A9CC9D92A6252D4 Time : 4541.0 sec. user=vaughan [2009-07-13 14:32:55] 513*2^703242-1 is not prime. Res64: F3D56DB8B78CE2A8 Time : 4571.0 sec. user=vaughan [2009-07-13 14:38:45] 521*2^703242-1 is not prime. Res64: B60543BDDD4BE7A7 Time : 4540.0 sec. user=vaughan [2009-07-13 14:40:33] 525*2^703242-1 is not prime. Res64: FE35FE0410C8A013 Time : 4572.0 sec. user=vaughan [2009-07-13 14:46:18] 555*2^703242-1 is not prime. Res64: 9D4486A0F4045F54 Time : 4540.0 sec. user=vaughan [2009-07-13 14:48:13] 411*2^703243-1 is not prime. Res64: EE8B7A039F957E79 Time : 4575.0 sec. user=vaughan [2009-07-13 14:53:49] 429*2^703243-1 is not prime. Res64: 5D6CF03A89A0DF18 Time : 4537.0 sec. user=vaughan [2009-07-13 14:55:54] 451*2^703243-1 is not prime. Res64: BBFEC26F6ADF808C Time : 4579.0 sec. user=vaughan [2009-07-13 15:01:20] 463*2^703243-1 is not prime. Res64: 540B6A20B24591F5 Time : 4534.0 sec. user=vaughan [2009-07-13 15:03:35] 495*2^703243-1 is not prime. Res64: 361C680A453235B2 Time : 4583.0 sec. user=vaughan [2009-07-13 15:08:51] 519*2^703243-1 is not prime. Res64: D791B121F90DABB2 Time : 4531.0 sec. user=vaughan [2009-07-13 15:11:16] 503*2^703244-1 is not prime. Res64: CC82E1232C5D9384 Time : 4587.0 sec. user=vaughan [2009-07-13 15:16:23] 545*2^703244-1 is not prime. Res64: CE61C5362A4E5EED Time : 4528.0 sec. user=vaughan [2009-07-13 15:18:57] 585*2^703244-1 is not prime. Res64: D1698AA91B3A6B92 Time : 4590.0 sec. user=vaughan [2009-07-13 15:23:54] 459*2^703245-1 is not prime. Res64: ADD9E65665DB6D97 Time : 4525.0 sec. user=vaughan [2009-07-13 15:26:36] 517*2^703245-1 is not prime. Res64: 370676E1CBCAF527 Time : 4592.0 sec. user=vaughan [2009-07-13 15:31:26] 577*2^703245-1 is not prime. Res64: 18E13308F9EB9BAE Time : 4523.0 sec. user=vaughan [2009-07-13 15:34:16] 585*2^703245-1 is not prime. Res64: 6AD780CE26F06892 Time : 4595.0 sec. user=vaughan [2009-07-13 15:38:57] 425*2^703246-1 is not prime. Res64: 5D1C3EC707781723 Time : 4520.0 sec. user=vaughan [2009-07-13 15:40:31] 521*2^703250-1 is not prime. Res64: 1C0A0C3FDF18F8D5 Time : 1316.0 sec. user=vaughan [2009-07-13 15:40:55] 593*2^703250-1 is not prime. Res64: 38270453366B4DCA Time : 1340.0 sec. user=vaughan [2009-07-13 15:41:45] 545*2^703250-1 is not prime. Res64: 5E05234DEC0B2E1E Time : 1390.0 sec. user=vaughan [2009-07-13 15:41:53] 531*2^703250-1 is not prime. Res64: 5731D39AADDD0C0D Time : 1398.0 sec. user=vaughan [2009-07-13 15:41:56] 483*2^703246-1 is not prime. Res64: 20F830A087DB258A Time : 4598.0 sec. user=vaughan [2009-07-13 15:46:28] 561*2^703246-1 is not prime. Res64: 1D1AB4ADDA52E209 Time : 4516.0 sec. user=vaughan [2009-07-13 15:49:36] 571*2^703247-1 is not prime. Res64: BC6BD918D23178B7 Time : 4601.0 sec. user=vaughan [2009-07-13 15:54:01] 419*2^703248-1 is not prime. Res64: 73E7C7DE7EAFD2DC Time : 4516.0 sec. user=vaughan [2009-07-13 15:57:16] 423*2^703248-1 is not prime. Res64: 92AD92E7BD0190E0 Time : 4603.0 sec. user=vaughan [2009-07-13 16:01:31] 437*2^703248-1 is not prime. Res64: 366A01D1D6FD919E Time : 4514.0 sec. user=vaughan [2009-07-13 16:04:56] 503*2^703248-1 is not prime. Res64: 46D60ABD8A207C6D Time : 4603.0 sec. user=vaughan [2009-07-13 16:09:04] 513*2^703248-1 is not prime. Res64: 225C07F9EB95799A Time : 4515.0 sec. user=vaughan [2009-07-13 16:12:38] 525*2^703248-1 is not prime. Res64: C4953B7EBD327FA2 Time : 4604.0 sec. user=vaughan [2009-07-13 16:16:36] 563*2^703248-1 is not prime. Res64: A3AD5C417655298B Time : 4516.0 sec. user=vaughan [2009-07-13 16:20:17] 585*2^703248-1 is not prime. Res64: 688950035DD38FED Time : 4602.0 sec. user=vaughan [2009-07-13 16:24:10] 525*2^703249-1 is not prime. Res64: 8E992BE513BA2C54 Time : 4519.0 sec. user=vaughan [2009-07-13 16:27:55] 559*2^703249-1 is not prime. Res64: 84CE234C22CA62BE Time : 4599.0 sec. user=vaughan [2009-07-13 16:31:45] 405*2^703250-1 is not prime. Res64: 3FBCCD2E660FE721 Time : 4522.0 sec. user=vaughan [2009-07-13 16:35:32] 441*2^703251-1 is not prime. Res64: 01328B98B18E55DB Time : 4595.0 sec. user=vaughan [2009-07-13 16:39:18] 529*2^703251-1 is not prime. Res64: DEBB4BB912DE2B97 Time : 4524.0 sec. user=vaughan [2009-07-13 16:43:13] 535*2^703251-1 is not prime. Res64: 0F4A4AE89202AEBF Time : 4597.0 sec. user=vaughan [2009-07-13 16:46:49] 537*2^703252-1 is not prime. Res64: 57C9E25091C40024 Time : 4523.0 sec. user=vaughan [2009-07-13 16:50:54] 545*2^703252-1 is not prime. Res64: 76FD1336D86356CD Time : 4598.0 sec. user=vaughan [2009-07-13 16:54:20] 439*2^703253-1 is not prime. Res64: 16FE06BD1F43958A Time : 4524.0 sec. user=vaughan [2009-07-13 16:58:34] 475*2^703253-1 is not prime. Res64: 1A7E8F3A631160C3 Time : 4598.0 sec. user=vaughan [2009-07-13 17:01:52] 507*2^703253-1 is not prime. Res64: 7E945C3A64BF9B97 Time : 4524.0 sec. user=vaughan [2009-07-13 17:06:14] 571*2^703253-1 is not prime. Res64: 3F4F1841C7E738F5 Time : 4598.0 sec. user=vaughan [2009-07-13 17:09:23] 591*2^703253-1 is not prime. Res64: 9C06667366DEBABD Time : 4522.0 sec. user=vaughan [2009-07-13 17:13:54] 447*2^703254-1 is not prime. Res64: 1018E5CF5A075411 Time : 4598.0 sec. user=vaughan [2009-07-13 17:16:54] 503*2^703254-1 is not prime. Res64: 288A733109835B10 Time : 4523.0 sec. user=vaughan [2009-07-13 17:21:35] 543*2^703254-1 is not prime. Res64: 9B7177B1DD761251 Time : 4599.0 sec. user=vaughan [2009-07-13 17:24:25] 433*2^703255-1 is not prime. Res64: 8330377DAF761047 Time : 4521.0 sec. user=vaughan [2009-07-13 17:29:15] 499*2^703255-1 is not prime. Res64: B9CC4677E36AA8AF Time : 4597.0 sec. user=vaughan [2009-07-13 17:31:57] 413*2^703256-1 is not prime. Res64: E0366AC29918F9E3 Time : 4521.0 sec. user=vaughan [2009-07-13 17:36:56] 449*2^703256-1 is not prime. Res64: FFBE41228F845FD7 Time : 4599.0 sec. user=vaughan [2009-07-13 17:39:28] 507*2^703256-1 is not prime. Res64: 8A2BAC8BF11E89B2 Time : 4518.0 sec. user=vaughan [2009-07-13 17:44:35] 557*2^703256-1 is not prime. Res64: A93ED4952D8F9440 Time : 4601.0 sec. user=vaughan [2009-07-13 17:47:03] 587*2^703256-1 is not prime. Res64: 8BA835E678326C52 Time : 4518.0 sec. user=vaughan [2009-07-13 17:52:13] 593*2^703256-1 is not prime. Res64: F926A28641BAD5B6 Time : 4602.0 sec. user=vaughan [2009-07-13 17:54:37] 499*2^703257-1 is not prime. Res64: A3268B909AD482A6 Time : 4519.0 sec. user=vaughan [2009-07-13 17:59:55] 571*2^703257-1 is not prime. Res64: DA9A4FE3C23B9AC5 Time : 4602.0 sec. user=vaughan [2009-07-13 18:02:11] 595*2^703257-1 is not prime. Res64: AB5AAA14429BC4AE Time : 4522.0 sec. user=vaughan [2009-07-13 18:07:34] 405*2^703258-1 is not prime. Res64: 7186567B825C169B Time : 4600.0 sec. user=vaughan [2009-07-13 18:09:45] 425*2^703258-1 is not prime. Res64: 8D80401D0F55E7CA Time : 4525.0 sec. user=vaughan [2009-07-13 18:15:13] 495*2^703258-1 is not prime. Res64: B9B7A932FEE32607 Time : 4599.0 sec. user=vaughan [2009-07-13 18:17:18] 433*2^703259-1 is not prime. Res64: 9883EAF7BB9758C0 Time : 4526.0 sec. user=vaughan [2009-07-13 18:22:51] 505*2^703259-1 is not prime. Res64: 6018DAD94123B944 Time : 4597.0 sec. user=vaughan [2009-07-13 18:24:51] 511*2^703259-1 is not prime. Res64: 70B68E49A1879C4B Time : 4528.0 sec. user=vaughan [2009-07-13 18:30:29] 565*2^703259-1 is not prime. Res64: C329B02C37D4785D Time : 4595.0 sec. user=vaughan [2009-07-13 18:32:25] 589*2^703259-1 is not prime. Res64: DC2FC9AF4E478128 Time : 4531.0 sec. user=vaughan [2009-07-13 18:38:07] 413*2^703260-1 is not prime. Res64: 45E6B2702CE60034 Time : 4592.0 sec. user=vaughan [2009-07-13 18:40:00] 423*2^703260-1 is not prime. Res64: 567DE9C7EC5A23F1 Time : 4535.0 sec. user=vaughan [2009-07-13 18:45:46] 473*2^703260-1 is not prime. Res64: F368F65C7FF54166 Time : 4591.0 sec. user=vaughan [2009-07-13 18:47:33] 525*2^703260-1 is not prime. Res64: C2DFDA2262EF814D Time : 4536.0 sec. user=vaughan [2009-07-13 18:53:27] 557*2^703260-1 is not prime. Res64: A1155847AA981C92 Time : 4591.0 sec. user=vaughan [2009-07-13 18:55:06] 499*2^703261-1 is not prime. Res64: 3B49D94D4D5496BC Time : 4538.0 sec. user=vaughan [2009-07-13 19:01:09] 425*2^703262-1 is not prime. Res64: D178910D49B30050 Time : 4594.0 sec. user=vaughan [2009-07-13 19:02:37] 477*2^703262-1 is not prime. Res64: 4FDC3E4ADD39221E Time : 4535.0 sec. user=vaughan [2009-07-13 19:08:50] 483*2^703262-1 is not prime. Res64: 66E4E7FAC8630014 Time : 4597.0 sec. user=vaughan [2009-07-13 19:10:09] 507*2^703262-1 is not prime. Res64: 0A06BDDC4F6B20AC Time : 4533.0 sec. user=vaughan [2009-07-13 19:16:31] 581*2^703262-1 is not prime. Res64: DF702BA113C62802 Time : 4597.0 sec. user=vaughan [2009-07-13 19:17:40] 483*2^703263-1 is not prime. Res64: FCA70B8D3476E86C Time : 4530.0 sec. user=vaughan [2009-07-13 19:24:13] 489*2^703263-1 is not prime. Res64: 7EFFB0FAF40100E1 Time : 4600.0 sec. user=vaughan [2009-07-13 19:25:11] 523*2^703263-1 is not prime. Res64: 1BF57E9063D09DF6 Time : 4527.0 sec. user=vaughan [2009-07-13 19:31:56] 571*2^703263-1 is not prime. Res64: 06042221A1449DDF Time : 4603.0 sec. user=vaughan [2009-07-13 19:32:43] 455*2^703264-1 is not prime. Res64: B5222DDA31BF27AE Time : 4526.0 sec. user=vaughan [2009-07-13 19:39:37] 507*2^703264-1 is not prime. Res64: 4951EF80C724B47A Time : 4606.0 sec. user=vaughan [2009-07-13 19:40:15] 405*2^703265-1 is not prime. Res64: 493758D3C43F3307 Time : 4524.0 sec. user=vaughan [2009-07-13 19:47:17] 445*2^703265-1 is not prime. Res64: 7412F3CBE55AEDA8 Time : 4608.0 sec. user=vaughan [2009-07-13 19:47:49] 475*2^703265-1 is not prime. Res64: 241A6C1CB6878354 Time : 4524.0 sec. user=vaughan [2009-07-13 19:54:56] 477*2^703265-1 is not prime. Res64: 7AE0E91FFDADBDB7 Time : 4609.0 sec. user=vaughan [2009-07-13 19:55:23] 529*2^703265-1 is not prime. Res64: C8350E55A0B53F7C Time : 4524.0 sec. user=vaughan [2009-07-13 20:02:38] 405*2^703266-1 is not prime. Res64: 7356508473ED0B74 Time : 4612.0 sec. user=vaughan [2009-07-13 20:02:58] 431*2^703266-1 is not prime. Res64: 66223B039A51C3F1 Time : 4525.0 sec. user=vaughan [2009-07-13 20:10:17] 483*2^703266-1 is not prime. Res64: 4655B6F087643F86 Time : 4610.0 sec. user=vaughan [2009-07-13 20:10:33] 507*2^703266-1 is not prime. Res64: 2FDEFCA9F9AB804E Time : 4527.0 sec. user=vaughan [2009-07-13 20:17:58] 405*2^703267-1 is not prime. Res64: 30067EE01BDB2686 Time : 4609.0 sec. user=vaughan [2009-07-13 20:18:07] 421*2^703267-1 is not prime. Res64: E976CA6B7A3E9E08 Time : 4530.0 sec. user=vaughan [2009-07-13 20:25:36] 429*2^703267-1 is not prime. Res64: 982D15326AB149B2 Time : 4606.0 sec. user=vaughan [2009-07-13 20:25:42] 441*2^703267-1 is not prime. Res64: 6FDE7F90F30124F8 Time : 4533.0 sec. user=vaughan [2009-07-13 20:33:15] 531*2^703267-1 is not prime. Res64: F023EDE0ADCB84E7 Time : 4604.0 sec. user=vaughan [2009-07-13 20:33:16] 583*2^703267-1 is not prime. Res64: 41D7C305E660730B Time : 4536.0 sec. user=vaughan [2009-07-13 20:40:50] 545*2^703268-1 is not prime. Res64: BF775649169DA707 Time : 4539.0 sec. user=vaughan [2009-07-13 20:40:55] 589*2^703267-1 is not prime. Res64: 4C682A7F8FFE3EC0 Time : 4602.0 sec. user=vaughan [2009-07-13 20:48:25] 537*2^703269-1 is not prime. Res64: 5DF2B0D9DE16A093 Time : 4542.0 sec. user=vaughan [2009-07-13 20:48:33] 579*2^703268-1 is not prime. Res64: CF53098EA7D1A230 Time : 4597.0 sec. user=vaughan [2009-07-13 20:56:00] 581*2^703270-1 is not prime. Res64: 9093D8F2F2010B24 Time : 4545.0 sec. user=vaughan [2009-07-13 20:56:13] 483*2^703270-1 is not prime. Res64: 60A8BC7FB0506C46 Time : 4596.0 sec. user=vaughan [2009-07-13 21:03:37] 405*2^703272-1 is not prime. Res64: E853F688F54D6180 Time : 4548.0 sec. user=vaughan [2009-07-13 21:03:52] 433*2^703271-1 is not prime. Res64: 02FC13F9AAB99491 Time : 4595.0 sec. user=vaughan [2009-07-13 21:11:11] 437*2^703272-1 is not prime. Res64: A449FF95C1C8464F Time : 4548.0 sec. user=vaughan [2009-07-13 21:11:29] 423*2^703272-1 is not prime. Res64: 25EAFAA62EF51813 Time : 4593.0 sec. user=vaughan [2009-07-13 21:18:42] 411*2^703273-1 is not prime. Res64: 07B9EEEC0BB816ED Time : 4544.0 sec. user=vaughan [2009-07-13 21:19:07] 405*2^703273-1 is not prime. Res64: 80657C7423466B54 Time : 4590.0 sec. user=vaughan [2009-07-13 21:26:16] 429*2^703273-1 is not prime. Res64: A97F7E8FB11230CC Time : 4544.0 sec. user=vaughan [2009-07-13 21:26:46] 421*2^703273-1 is not prime. Res64: E91CC657C4D391FD Time : 4589.0 sec. user=vaughan [2009-07-13 21:33:51] 593*2^703274-1 is not prime. Res64: D7D8251D795159B2 Time : 4544.0 sec. user=vaughan [2009-07-13 21:34:25] 503*2^703274-1 is not prime. Res64: 42964C44B7E6BDA8 Time : 4587.0 sec. user=vaughan [2009-07-13 21:41:25] 459*2^703275-1 is not prime. Res64: 6391BC9D97D85E40 Time : 4543.0 sec. user=vaughan [2009-07-13 21:42:04] 409*2^703275-1 is not prime. Res64: 004575B13E0E6117 Time : 4588.0 sec. user=vaughan [2009-07-13 21:48:59] 489*2^703275-1 is not prime. Res64: 92BE8CBCD140D465 Time : 4543.0 sec. user=vaughan [2009-07-13 21:49:41] 471*2^703275-1 is not prime. Res64: B080BD73EC0B1D90 Time : 4586.0 sec. user=vaughan [2009-07-13 21:56:33] 493*2^703275-1 is not prime. Res64: 0A419BECC17F4BFC Time : 4543.0 sec. user=vaughan [2009-07-13 21:57:19] 511*2^703275-1 is not prime. Res64: 1D0355E6DA0E2FA2 Time : 4584.0 sec. user=vaughan [2009-07-13 22:04:10] 447*2^703276-1 is not prime. Res64: D7A816AF8449D13C Time : 4545.0 sec. user=vaughan [2009-07-13 22:04:54] 455*2^703276-1 is not prime. Res64: 75BAF64460028E9B Time : 4581.0 sec. user=vaughan [2009-07-13 22:11:44] 483*2^703276-1 is not prime. Res64: C6ED8037C9834570 Time : 4545.0 sec. user=vaughan [2009-07-13 22:12:31] 537*2^703276-1 is not prime. Res64: 5F98E93A8B5ED312 Time : 4579.0 sec. user=vaughan [2009-07-13 22:19:18] 567*2^703276-1 is not prime. Res64: 5031BAEFFC7174AE Time : 4541.0 sec. user=vaughan [2009-07-13 22:20:09] 475*2^703277-1 is not prime. Res64: D8EA6E5676482A0A Time : 4577.0 sec. user=vaughan [2009-07-13 22:26:52] 489*2^703277-1 is not prime. Res64: C9FB2A906F3C86FA Time : 4541.0 sec. user=vaughan [2009-07-13 22:27:48] 507*2^703277-1 is not prime. Res64: A567BB461478603F Time : 4579.0 sec. user=vaughan [2009-07-13 22:34:27] 559*2^703277-1 is not prime. Res64: ABA15F925872ED41 Time : 4545.0 sec. user=vaughan [2009-07-13 22:35:27] 571*2^703277-1 is not prime. Res64: 99612F3F3E2AC8E3 Time : 4580.0 sec. user=vaughan [2009-07-13 22:42:01] 417*2^703278-1 is not prime. Res64: 1F2997A674194228 Time : 4545.0 sec. user=vaughan [2009-07-13 22:43:05] 465*2^703278-1 is not prime. Res64: CB258F8D91CA8694 Time : 4579.0 sec. user=vaughan [2009-07-13 22:49:35] 483*2^703278-1 is not prime. Res64: 880E78B531DB571E Time : 4544.0 sec. user=vaughan [2009-07-13 22:50:44] 507*2^703278-1 is not prime. Res64: 08D984E9CCA0A054 Time : 4580.0 sec. user=vaughan [2009-07-13 22:57:09] 513*2^703278-1 is not prime. Res64: 83C728DB901EDCC4 Time : 4544.0 sec. user=vaughan [2009-07-13 22:58:23] 551*2^703278-1 is not prime. Res64: 3B7959D1291619C2 Time : 4580.0 sec. user=vaughan [2009-07-13 23:04:43] 439*2^703279-1 is not prime. Res64: 0C57DBD046513099 Time : 4544.0 sec. user=vaughan [2009-07-13 23:06:02] 583*2^703279-1 is not prime. Res64: E3FB4EEAFECB07E8 Time : 4581.0 sec. user=vaughan [2009-07-13 23:12:17] 473*2^703280-1 is not prime. Res64: 67BCDA21B23D4F64 Time : 4544.0 sec. user=vaughan [2009-07-13 23:13:41] 439*2^703281-1 is not prime. Res64: EF119D8F4D43AE4B Time : 4584.0 sec. user=vaughan [2009-07-13 23:19:52] 475*2^703281-1 is not prime. Res64: F0A3CC16E8812AF4 Time : 4543.0 sec. user=vaughan [2009-07-13 23:21:20] 495*2^703281-1 is not prime. Res64: 9B45FFF67B0DA515 Time : 4586.0 sec. user=vaughan [2009-07-13 23:27:27] 511*2^703281-1 is not prime. Res64: FF4B4D04E3ABF49E Time : 4543.0 sec. user=vaughan [2009-07-13 23:28:59] 571*2^703281-1 is not prime. Res64: D55729E53D32D7BA Time : 4588.0 sec. user=vaughan [2009-07-13 23:35:00] 423*2^703282-1 is not prime. Res64: 5903FF386950DA47 Time : 4542.0 sec. user=vaughan [2009-07-13 23:36:38] 545*2^703282-1 is not prime. Res64: DCDAE11C4A8CA1A9 Time : 4589.0 sec. user=vaughan [2009-07-13 23:42:35] 555*2^703282-1 is not prime. Res64: 79DF4EA7101863C1 Time : 4543.0 sec. user=vaughan [2009-07-13 23:44:17] 567*2^703282-1 is not prime. Res64: D7E2752DAF061C85 Time : 4590.0 sec. user=vaughan [2009-07-13 23:50:09] 505*2^703283-1 is not prime. Res64: 08B92A454802E89B Time : 4542.0 sec. user=vaughan [2009-07-13 23:51:56] 571*2^703283-1 is not prime. Res64: 2770A14C5CDB448C Time : 4589.0 sec. user=vaughan [2009-07-13 23:57:43] 459*2^703284-1 is not prime. Res64: 5CDB5A792D983092 Time : 4542.0 sec. user=vaughan [2009-07-13 23:59:35] 513*2^703284-1 is not prime. Res64: FB5C7727BED3506E Time : 4590.0 sec.