user=vaughan [2009-08-12 00:00:04] 705*2^710321-1 is not prime. Res64: 5A3BEA559BC47E73 Time : 697.0 sec. user=vaughan [2009-08-12 00:02:24] 671*2^710322-1 is not prime. Res64: C206C2978494CAED Time : 484.0 sec. user=vaughan [2009-08-12 00:02:26] 741*2^710322-1 is not prime. Res64: D735C9CE8CEC4734 Time : 485.0 sec. user=vaughan [2009-08-12 00:02:35] 755*2^710322-1 is not prime. Res64: 3C62203A02539C1C Time : 485.0 sec. user=vaughan [2009-08-12 00:03:13] 765*2^710322-1 is not prime. Res64: 59CE005AFA246E7A Time : 485.0 sec. user=vaughan [2009-08-12 00:05:01] 717*2^710321-1 is not prime. Res64: B17B3FD08AF96483 Time : 881.0 sec. user=vaughan [2009-08-12 00:05:23] 635*2^710322-1 is not prime. Res64: 788B297FB675696E Time : 740.0 sec. user=tnerual [2009-08-12 00:06:31] 759*2^710316-1 is not prime. Res64: BFDA2CD76EBE63A7 Time : 1841.0 sec. user=vaughan [2009-08-12 00:06:57] 781*2^710321-1 is not prime. Res64: B40BAB51FE49AF90 Time : 841.0 sec. user=vaughan [2009-08-12 00:07:00] 777*2^710322-1 is not prime. Res64: AE1762A3B68EDC8A Time : 693.0 sec. user=vaughan [2009-08-12 00:09:32] 705*2^710323-1 is not prime. Res64: 07F0D497E03914C2 Time : 742.0 sec. user=vaughan [2009-08-12 00:10:27] 627*2^710325-1 is not prime. Res64: 3C7D60AA74E415A3 Time : 484.0 sec. user=vaughan [2009-08-12 00:10:31] 649*2^710325-1 is not prime. Res64: E0FB2A16903C8F27 Time : 485.0 sec. user=vaughan [2009-08-12 00:10:39] 735*2^710325-1 is not prime. Res64: 2EB435A0FC380D80 Time : 484.0 sec. user=vaughan [2009-08-12 00:11:17] 781*2^710325-1 is not prime. Res64: 889B8BAE365563D1 Time : 485.0 sec. user=vaughan [2009-08-12 00:11:40] 665*2^710324-1 is not prime. Res64: 5851CD1696EC1F1F Time : 696.0 sec. user=vaughan [2009-08-12 00:16:00] 791*2^710322-1 is not prime. Res64: E2C1E6E0C3E67937 Time : 1223.0 sec. user=vaughan [2009-08-12 00:16:37] 771*2^710323-1 is not prime. Res64: E8E8097B4DEBB677 Time : 1145.0 sec. user=vaughan [2009-08-12 00:17:43] 723*2^710326-1 is not prime. Res64: F1E9DDFE7F822E7B Time : 740.0 sec. user=vaughan [2009-08-12 00:18:31] 675*2^710327-1 is not prime. Res64: A77206D7B685F13F Time : 484.0 sec. user=vaughan [2009-08-12 00:18:32] 785*2^710326-1 is not prime. Res64: 0B186EF30D7844F0 Time : 692.0 sec. user=vaughan [2009-08-12 00:18:34] 685*2^710327-1 is not prime. Res64: 1DF78E06F3575035 Time : 483.0 sec. user=vaughan [2009-08-12 00:18:44] 693*2^710327-1 is not prime. Res64: B0EEAF38425F6D53 Time : 485.0 sec. user=vaughan [2009-08-12 00:19:21] 703*2^710327-1 is not prime. Res64: 7791B764AD227445 Time : 484.0 sec. user=vaughan [2009-08-12 00:20:28] 755*2^710326-1 is not prime. Res64: 9DEB21A2A0639336 Time : 811.0 sec. user=vaughan [2009-08-12 00:21:54] 645*2^710327-1 is not prime. Res64: 7BDB7CD348B8258C Time : 742.0 sec. user=vaughan [2009-08-12 00:23:17] 705*2^710327-1 is not prime. Res64: 84B58362AE99FF3D Time : 697.0 sec. user=vaughan [2009-08-12 00:23:48] 713*2^710326-1 is not prime. Res64: DE10CE050C22267B Time : 1127.0 sec. user=vaughan [2009-08-12 00:26:36] 639*2^710329-1 is not prime. Res64: 22323B542BDF0BE4 Time : 485.0 sec. user=vaughan [2009-08-12 00:26:37] 691*2^710329-1 is not prime. Res64: E4959E0617FE8C0B Time : 483.0 sec. user=vaughan [2009-08-12 00:26:47] 789*2^710329-1 is not prime. Res64: 8E19BE1C373A2D3E Time : 483.0 sec. user=vaughan [2009-08-12 00:27:28] 657*2^710330-1 is not prime. Res64: 14A58ED15459D298 Time : 487.0 sec. user=vaughan [2009-08-12 00:29:04] 753*2^710328-1 is not prime. Res64: 4EDA74D5D0AD8507 Time : 785.0 sec. user=vaughan [2009-08-12 00:29:46] 625*2^710329-1 is not prime. Res64: FBB6B4F0376BFC62 Time : 790.0 sec. user=vaughan [2009-08-12 00:30:01] 637*2^710329-1 is not prime. Res64: 9F125F0CD488B8E7 Time : 738.0 sec. user=vaughan [2009-08-12 00:30:05] 687*2^710329-1 is not prime. Res64: 3F29DD5EA70753DD Time : 693.0 sec. user=vaughan [2009-08-12 00:34:16] 711*2^710330-1 is not prime. Res64: 37F59D482A1A72D0 Time : 742.0 sec. user=vaughan [2009-08-12 00:34:23] 707*2^710330-1 is not prime. Res64: 8929965EE5180E75 Time : 835.0 sec. user=vaughan [2009-08-12 00:34:41] 785*2^710330-1 is not prime. Res64: 9B2DFD91DF175611 Time : 485.0 sec. user=vaughan [2009-08-12 00:34:42] 797*2^710330-1 is not prime. Res64: F039BA2E999D1DFB Time : 485.0 sec. user=vaughan [2009-08-12 00:34:52] 639*2^710331-1 is not prime. Res64: DD9F345BF0069C06 Time : 485.0 sec. user=vaughan [2009-08-12 00:34:54] 743*2^710330-1 is not prime. Res64: 80CA46926AB72988 Time : 697.0 sec. user=vaughan [2009-08-12 00:35:32] 705*2^710331-1 is not prime. Res64: F3889D9F97C8E9C1 Time : 484.0 sec. user=tnerual [2009-08-12 00:37:00] 737*2^710326-1 is not prime. Res64: 397CCA415B75BD4E Time : 1829.0 sec. user=vaughan [2009-08-12 00:40:53] 773*2^710330-1 is not prime. Res64: 36959FCF9EFC8D92 Time : 1025.0 sec. user=vaughan [2009-08-12 00:41:38] 647*2^710332-1 is not prime. Res64: 0CC622A99FE3BBF8 Time : 693.0 sec. user=vaughan [2009-08-12 00:42:08] 709*2^710331-1 is not prime. Res64: 4F9E341E8CF7FB2E Time : 785.0 sec. user=vaughan [2009-08-12 00:42:20] 615*2^710332-1 is not prime. Res64: 4E061279EDD4B37E Time : 739.0 sec. user=vaughan [2009-08-12 00:42:54] 783*2^710331-1 is not prime. Res64: D195CFE4EF807250 Time : 789.0 sec. user=vaughan [2009-08-12 00:43:18] 651*2^710334-1 is not prime. Res64: 77A921A3A2C5B531 Time : 517.0 sec. user=vaughan [2009-08-12 00:43:19] 663*2^710334-1 is not prime. Res64: 3FCBCA6CAA76C07F Time : 518.0 sec. user=vaughan [2009-08-12 00:43:33] 677*2^710334-1 is not prime. Res64: 52BFDFA2C73431E5 Time : 521.0 sec. user=vaughan [2009-08-12 00:44:17] 633*2^710335-1 is not prime. Res64: 18F823293D805077 Time : 525.0 sec. user=vaughan [2009-08-12 00:46:30] 773*2^710334-1 is not prime. Res64: F7D6034F0F6F8FE0 Time : 696.0 sec. user=vaughan [2009-08-12 00:46:38] 679*2^710333-1 is not prime. Res64: 43010B4D739758C4 Time : 742.0 sec. user=vaughan [2009-08-12 00:49:32] 615*2^710334-1 is not prime. Res64: 9417F05A1F102CB7 Time : 909.0 sec. user=vaughan [2009-08-12 00:52:33] 759*2^710336-1 is not prime. Res64: DB178041D988B3D3 Time : 555.0 sec. user=vaughan [2009-08-12 00:52:34] 743*2^710336-1 is not prime. Res64: D79EBC239F4FA13F Time : 556.0 sec. user=vaughan [2009-08-12 00:52:49] 767*2^710336-1 is not prime. Res64: 5C3FC283D0BCBC4A Time : 557.0 sec. user=vaughan [2009-08-12 00:53:11] 633*2^710336-1 is not prime. Res64: 825725F6D846BAC0 Time : 694.0 sec. user=vaughan [2009-08-12 00:53:32] 625*2^710337-1 is not prime. Res64: B76DABDC4516A9B7 Time : 555.0 sec. user=vaughan [2009-08-12 00:54:39] 699*2^710336-1 is not prime. Res64: 4EC66C8DD082CB1B Time : 740.0 sec. user=vaughan [2009-08-12 00:55:14] 657*2^710336-1 is not prime. Res64: 8D30F949B3CF483A Time : 786.0 sec. user=vaughan [2009-08-12 00:56:05] 735*2^710336-1 is not prime. Res64: 7EA692AE60E5B783 Time : 791.0 sec. user=vaughan [2009-08-12 00:58:07] 795*2^710337-1 is not prime. Res64: 9F611BED66115DAA Time : 697.0 sec. user=vaughan [2009-08-12 00:58:59] 605*2^710338-1 is not prime. Res64: 1582F63282BFAEB4 Time : 742.0 sec. user=vaughan [2009-08-12 01:01:45] 713*2^710338-1 is not prime. Res64: 052EE276570B265E Time : 552.0 sec. user=vaughan [2009-08-12 01:01:49] 777*2^710338-1 is not prime. Res64: 2EE0BA26A3F07FAF Time : 555.0 sec. user=vaughan [2009-08-12 01:01:50] 623*2^710338-1 is not prime. Res64: E75140435648FD9C Time : 738.0 sec. user=vaughan [2009-08-12 01:01:57] 623*2^710336-1 is not prime. Res64: D198D01E0C8471B0 Time : 1264.0 sec. user=vaughan [2009-08-12 01:02:05] 791*2^710338-1 is not prime. Res64: 06369A37BA1F6D77 Time : 557.0 sec. user=vaughan [2009-08-12 01:02:48] 705*2^710339-1 is not prime. Res64: 6DB13102F7086AC6 Time : 556.0 sec. user=vaughan [2009-08-12 01:04:43] 619*2^710339-1 is not prime. Res64: FB1C6663CDB4FBDD Time : 693.0 sec. user=vaughan [2009-08-12 01:06:58] 745*2^710339-1 is not prime. Res64: 0245CCFBB027F724 Time : 739.0 sec. user=tnerual [2009-08-12 01:07:30] 693*2^710335-1 is not prime. Res64: B2588AE407BBB3A1 Time : 1831.0 sec. user=vaughan [2009-08-12 01:08:20] 647*2^710340-1 is not prime. Res64: 8BFF485C52BD683F Time : 787.0 sec. user=vaughan [2009-08-12 01:09:15] 669*2^710340-1 is not prime. Res64: 9E3FF69A02BF3E4F Time : 791.0 sec. user=vaughan [2009-08-12 01:09:44] 725*2^710340-1 is not prime. Res64: ACC1901FB9FC3CE0 Time : 697.0 sec. user=vaughan [2009-08-12 01:10:59] 675*2^710341-1 is not prime. Res64: 25BB7C5C72728DA9 Time : 555.0 sec. user=vaughan [2009-08-12 01:11:02] 741*2^710341-1 is not prime. Res64: 13F7AC604287A1E5 Time : 553.0 sec. user=vaughan [2009-08-12 01:11:23] 671*2^710342-1 is not prime. Res64: 479C2E71E4C54BAF Time : 558.0 sec. user=vaughan [2009-08-12 01:11:23] 735*2^710340-1 is not prime. Res64: 29004053B84A78AE Time : 744.0 sec. user=vaughan [2009-08-12 01:12:03] 743*2^710342-1 is not prime. Res64: 5FEBE46D8B2437DF Time : 555.0 sec. user=vaughan [2009-08-12 01:15:55] 615*2^710342-1 is not prime. Res64: 8C0E9EF1C131ED16 Time : 845.0 sec. user=vaughan [2009-08-12 01:16:16] 705*2^710343-1 is not prime. Res64: 430FB233216DF8CF Time : 693.0 sec. user=vaughan [2009-08-12 01:19:16] 745*2^710343-1 is not prime. Res64: 43FE61EC59857BBF Time : 739.0 sec. user=vaughan [2009-08-12 01:20:14] 649*2^710345-1 is not prime. Res64: 1B0B93C04E62E1B8 Time : 555.0 sec. user=vaughan [2009-08-12 01:20:19] 699*2^710345-1 is not prime. Res64: 5A0A155EA00AFC52 Time : 557.0 sec. user=vaughan [2009-08-12 01:20:39] 715*2^710345-1 is not prime. Res64: CFEA72902ED52CF5 Time : 556.0 sec. user=vaughan [2009-08-12 01:21:01] 635*2^710342-1 is not prime. Res64: C066BF5F3D155311 Time : 1144.0 sec. user=vaughan [2009-08-12 01:21:16] 729*2^710345-1 is not prime. Res64: 3EC6C7E873CDE66D Time : 554.0 sec. user=vaughan [2009-08-12 01:21:21] 785*2^710344-1 is not prime. Res64: C3813DAC0D181A49 Time : 698.0 sec. user=vaughan [2009-08-12 01:21:24] 795*2^710343-1 is not prime. Res64: 78312D62D6BE930D Time : 785.0 sec. user=vaughan [2009-08-12 01:22:23] 707*2^710344-1 is not prime. Res64: C9549FE2AC0DF17A Time : 789.0 sec. user=vaughan [2009-08-12 01:23:45] 721*2^710345-1 is not prime. Res64: 692847956AD9871E Time : 742.0 sec. user=vaughan [2009-08-12 01:27:49] 795*2^710345-1 is not prime. Res64: FBD4E3533CFBEE9E Time : 694.0 sec. user=vaughan [2009-08-12 01:29:29] 657*2^710346-1 is not prime. Res64: AC17221D8211B40E Time : 555.0 sec. user=vaughan [2009-08-12 01:29:35] 725*2^710346-1 is not prime. Res64: 916CFF25D993EF31 Time : 556.0 sec. user=vaughan [2009-08-12 01:29:53] 601*2^710347-1 is not prime. Res64: D92620769E538A53 Time : 555.0 sec. user=vaughan [2009-08-12 01:30:23] 741*2^710345-1 is not prime. Res64: C1D76E340FCC7BA7 Time : 868.0 sec. user=vaughan [2009-08-12 01:30:30] 651*2^710347-1 is not prime. Res64: D67E17D6FDBE7C71 Time : 554.0 sec. user=vaughan [2009-08-12 01:31:35] 647*2^710346-1 is not prime. Res64: 02473F804AF40274 Time : 739.0 sec. user=vaughan [2009-08-12 01:32:58] 673*2^710347-1 is not prime. Res64: 81213EF20BD97DEF Time : 697.0 sec. user=vaughan [2009-08-12 01:34:29] 663*2^710348-1 is not prime. Res64: 9ED78908EA1D79EC Time : 785.0 sec. user=vaughan [2009-08-12 01:35:36] 749*2^710348-1 is not prime. Res64: E33DE2FB0F78113F Time : 793.0 sec. user=vaughan [2009-08-12 01:36:07] 753*2^710348-1 is not prime. Res64: 25F896AE5C824495 Time : 743.0 sec. user=tnerual [2009-08-12 01:38:15] 765*2^710343-1 is not prime. Res64: 63ACDA7609881C98 Time : 1846.0 sec. user=vaughan [2009-08-12 01:38:43] 661*2^710349-1 is not prime. Res64: B021541156C8DD63 Time : 554.0 sec. user=vaughan [2009-08-12 01:38:49] 727*2^710349-1 is not prime. Res64: 5FF70C9A413065C2 Time : 554.0 sec. user=vaughan [2009-08-12 01:39:10] 735*2^710349-1 is not prime. Res64: F41EB5C17416F697 Time : 557.0 sec. user=vaughan [2009-08-12 01:39:22] 767*2^710348-1 is not prime. Res64: 12E4162EDA8DC628 Time : 693.0 sec. user=vaughan [2009-08-12 01:39:45] 789*2^710349-1 is not prime. Res64: ECFC35A8C3A331B8 Time : 555.0 sec. user=vaughan [2009-08-12 01:40:58] 631*2^710347-1 is not prime. Res64: 811FEAC21426B946 Time : 1197.0 sec. user=vaughan [2009-08-12 01:43:53] 603*2^710350-1 is not prime. Res64: 13BC00A559DFE40B Time : 738.0 sec. user=vaughan [2009-08-12 01:43:59] 759*2^710349-1 is not prime. Res64: A5E1DEE9D7EC04EC Time : 816.0 sec. user=vaughan [2009-08-12 01:44:35] 623*2^710350-1 is not prime. Res64: 6764B9C1A152B9E6 Time : 697.0 sec. user=vaughan [2009-08-12 01:47:34] 687*2^710350-1 is not prime. Res64: E818CD5DA2CD18BC Time : 785.0 sec. user=vaughan [2009-08-12 01:48:01] 735*2^710351-1 is not prime. Res64: 0A9497937F5F5A7C Time : 558.0 sec. user=vaughan [2009-08-12 01:48:04] 789*2^710351-1 is not prime. Res64: 04AF0344D423FF49 Time : 555.0 sec. user=vaughan [2009-08-12 01:48:26] 665*2^710352-1 is not prime. Res64: 4BCA5F32FE11F41A Time : 556.0 sec. user=vaughan [2009-08-12 01:48:31] 601*2^710351-1 is not prime. Res64: EAD26D646DDCCD13 Time : 744.0 sec. user=vaughan [2009-08-12 01:48:46] 773*2^710350-1 is not prime. Res64: 08586A4BFDDAC258 Time : 791.0 sec. user=vaughan [2009-08-12 01:49:03] 719*2^710352-1 is not prime. Res64: E8C06A06CE731234 Time : 558.0 sec. user=vaughan [2009-08-12 01:50:54] 689*2^710352-1 is not prime. Res64: DDE2A6B04359779C Time : 692.0 sec. user=vaughan [2009-08-12 01:56:11] 609*2^710353-1 is not prime. Res64: 2A057779E4342461 Time : 697.0 sec. user=vaughan [2009-08-12 01:56:12] 765*2^710352-1 is not prime. Res64: E1A59FDF9B78B70E Time : 740.0 sec. user=vaughan [2009-08-12 01:56:19] 779*2^710352-1 is not prime. Res64: 66BECA73C725082B Time : 740.0 sec. user=vaughan [2009-08-12 01:57:17] 741*2^710353-1 is not prime. Res64: 487AEAD9D6FEA5D1 Time : 556.0 sec. user=vaughan [2009-08-12 01:57:19] 605*2^710354-1 is not prime. Res64: 1B2E0C74C3A9BD37 Time : 556.0 sec. user=vaughan [2009-08-12 01:57:43] 677*2^710354-1 is not prime. Res64: 82D1F9B7F64EF039 Time : 557.0 sec. user=vaughan [2009-08-12 01:58:18] 711*2^710355-1 is not prime. Res64: 4A2CF0F98441C9AC Time : 556.0 sec. user=vaughan [2009-08-12 02:00:37] 619*2^710353-1 is not prime. Res64: B7D022BAB5B2E6CE Time : 784.0 sec. user=vaughan [2009-08-12 02:00:53] 687*2^710354-1 is not prime. Res64: 2863C0F11574E16E Time : 742.0 sec. user=vaughan [2009-08-12 02:01:54] 743*2^710354-1 is not prime. Res64: F77A24CA2B2EABBA Time : 789.0 sec. user=vaughan [2009-08-12 02:02:27] 741*2^710355-1 is not prime. Res64: 83E616590DDBE4A1 Time : 693.0 sec. user=vaughan [2009-08-12 02:02:51] 725*2^710352-1 is not prime. Res64: 5961A83CA47E71D2 Time : 1314.0 sec. user=vaughan [2009-08-12 02:06:32] 601*2^710357-1 is not prime. Res64: 10FC5A635709E513 Time : 556.0 sec. user=vaughan [2009-08-12 02:06:34] 735*2^710357-1 is not prime. Res64: 95AFF9D1E3C1748B Time : 555.0 sec. user=vaughan [2009-08-12 02:06:58] 781*2^710357-1 is not prime. Res64: C3BA3B7ABC1C6EA3 Time : 555.0 sec. user=vaughan [2009-08-12 02:07:32] 651*2^710358-1 is not prime. Res64: DFAD19455DC02B29 Time : 554.0 sec. user=vaughan [2009-08-12 02:07:48] 751*2^710355-1 is not prime. Res64: 0DE8D41E8001EA98 Time : 697.0 sec. user=vaughan [2009-08-12 02:08:30] 675*2^710356-1 is not prime. Res64: 5353DCD5F51D10CF Time : 739.0 sec. user=tnerual [2009-08-12 02:09:38] 619*2^710351-1 is not prime. Res64: 08636948EC53D753 Time : 1884.0 sec. user=vaughan [2009-08-12 02:10:16] 777*2^710356-1 is not prime. Res64: EDC8FBB6E0C80E1B Time : 837.0 sec. user=vaughan [2009-08-12 02:13:14] 683*2^710358-1 is not prime. Res64: AD0299D6EB8C4DEF Time : 742.0 sec. user=vaughan [2009-08-12 02:13:42] 681*2^710358-1 is not prime. Res64: 6C36CA27C43E4A9A Time : 786.0 sec. user=vaughan [2009-08-12 02:13:59] 725*2^710358-1 is not prime. Res64: 286CC577A055A859 Time : 692.0 sec. user=vaughan [2009-08-12 02:15:03] 693*2^710358-1 is not prime. Res64: 9F0B1AAC77B54DC4 Time : 789.0 sec. user=vaughan [2009-08-12 02:15:47] 609*2^710360-1 is not prime. Res64: 866D5AAD760E052A Time : 555.0 sec. user=vaughan [2009-08-12 02:15:49] 665*2^710360-1 is not prime. Res64: C27671B3765492CA Time : 556.0 sec. user=vaughan [2009-08-12 02:16:14] 747*2^710360-1 is not prime. Res64: B41D9A2C6D74B234 Time : 556.0 sec. user=vaughan [2009-08-12 02:16:48] 785*2^710360-1 is not prime. Res64: E924D1FF3A991C72 Time : 556.0 sec. user=vaughan [2009-08-12 02:19:24] 625*2^710361-1 is not prime. Res64: B92CFC833FB3469F Time : 696.0 sec. user=vaughan [2009-08-12 02:20:47] 679*2^710361-1 is not prime. Res64: 12D5A63D385068D0 Time : 738.0 sec. user=vaughan [2009-08-12 02:22:35] 731*2^710358-1 is not prime. Res64: 915886CFE1BB411C Time : 1184.0 sec. user=vaughan [2009-08-12 02:23:12] 751*2^710361-1 is not prime. Res64: 67D3A300B7E3F375 Time : 776.0 sec. user=vaughan [2009-08-12 02:25:02] 717*2^710362-1 is not prime. Res64: 46639B917F43D4EA Time : 555.0 sec. user=vaughan [2009-08-12 02:25:03] 791*2^710362-1 is not prime. Res64: A0EDB85C1CCF276C Time : 554.0 sec. user=vaughan [2009-08-12 02:25:26] 745*2^710363-1 is not prime. Res64: B6B41A3CF9112778 Time : 552.0 sec. user=vaughan [2009-08-12 02:25:32] 675*2^710362-1 is not prime. Res64: F260BFD68583467C Time : 693.0 sec. user=vaughan [2009-08-12 02:25:36] 777*2^710361-1 is not prime. Res64: 1EAABF403B7544DF Time : 742.0 sec. user=vaughan [2009-08-12 02:26:02] 783*2^710364-1 is not prime. Res64: 8F440923ED149C3A Time : 554.0 sec. user=vaughan [2009-08-12 02:26:46] 651*2^710362-1 is not prime. Res64: 46AD1D8FA64891C3 Time : 785.0 sec. user=vaughan [2009-08-12 02:28:11] 695*2^710362-1 is not prime. Res64: 246524F79E706D2E Time : 789.0 sec. user=vaughan [2009-08-12 02:31:01] 661*2^710365-1 is not prime. Res64: 90FA5796A96B56C3 Time : 697.0 sec. user=vaughan [2009-08-12 02:33:06] 685*2^710365-1 is not prime. Res64: E9732D273FE5E4EA Time : 739.0 sec. user=vaughan [2009-08-12 02:34:18] 751*2^710365-1 is not prime. Res64: 990615088C0CF63A Time : 556.0 sec. user=vaughan [2009-08-12 02:34:19] 721*2^710365-1 is not prime. Res64: 2CDD8DB39CD7E7EB Time : 557.0 sec. user=vaughan [2009-08-12 02:34:41] 683*2^710366-1 is not prime. Res64: 6AB8A040D82229F8 Time : 555.0 sec. user=vaughan [2009-08-12 02:35:17] 661*2^710367-1 is not prime. Res64: AE654B82AE51ACD9 Time : 555.0 sec. user=vaughan [2009-08-12 02:37:04] 713*2^710366-1 is not prime. Res64: E156DAEDA15B6CA1 Time : 692.0 sec. user=vaughan [2009-08-12 02:38:34] 691*2^710365-1 is not prime. Res64: 7E12667A79AA1126 Time : 959.0 sec. user=vaughan [2009-08-12 02:38:39] 717*2^710366-1 is not prime. Res64: 0775D26C11A60CC3 Time : 784.0 sec. user=vaughan [2009-08-12 02:38:58] 717*2^710365-1 is not prime. Res64: FF554DBB5C26E52F Time : 946.0 sec. user=vaughan [2009-08-12 02:39:51] 693*2^710367-1 is not prime. Res64: E17AB26E07ED9662 Time : 785.0 sec. user=vaughan [2009-08-12 02:41:20] 739*2^710367-1 is not prime. Res64: D9CAA91382470CB1 Time : 789.0 sec. user=vaughan [2009-08-12 02:42:37] 751*2^710367-1 is not prime. Res64: 9DEC699A85D6F165 Time : 696.0 sec. user=vaughan [2009-08-12 02:43:32] 781*2^710367-1 is not prime. Res64: 6506BE4759F29A0F Time : 554.0 sec. user=vaughan [2009-08-12 02:43:35] 605*2^710368-1 is not prime. Res64: F1A3A35F1ED390B9 Time : 556.0 sec. user=vaughan [2009-08-12 02:43:54] 645*2^710368-1 is not prime. Res64: 968EC11B18F9C2E3 Time : 554.0 sec. user=vaughan [2009-08-12 02:44:32] 735*2^710368-1 is not prime. Res64: 7E0CB8F806E3BBFD Time : 556.0 sec. user=tnerual [2009-08-12 02:45:17] 717*2^710361-1 is not prime. Res64: 9FDAF09AD244534D Time : 2139.0 sec. user=vaughan [2009-08-12 02:45:22] 775*2^710367-1 is not prime. Res64: 39FA411DAA22C1E3 Time : 736.0 sec. user=vaughan [2009-08-12 02:48:37] 631*2^710369-1 is not prime. Res64: 0F2E385988CD1882 Time : 693.0 sec. user=vaughan [2009-08-12 02:51:01] 699*2^710369-1 is not prime. Res64: D413AC0F422144AB Time : 742.0 sec. user=vaughan [2009-08-12 02:52:41] 657*2^710370-1 is not prime. Res64: 8574F13889D2B7CE Time : 823.0 sec. user=vaughan [2009-08-12 02:52:45] 777*2^710370-1 is not prime. Res64: 7F9B0D1C99261689 Time : 554.0 sec. user=vaughan [2009-08-12 02:52:50] 609*2^710371-1 is not prime. Res64: 0FE3757316E298C0 Time : 555.0 sec. user=vaughan [2009-08-12 02:52:56] 711*2^710370-1 is not prime. Res64: D2892F50C18A47FB Time : 785.0 sec. user=vaughan [2009-08-12 02:53:07] 651*2^710371-1 is not prime. Res64: C48B05BD7949323A Time : 553.0 sec. user=vaughan [2009-08-12 02:53:50] 679*2^710371-1 is not prime. Res64: 1827B4932C5AAA70 Time : 558.0 sec. user=vaughan [2009-08-12 02:54:13] 765*2^710370-1 is not prime. Res64: C1061B36095641AF Time : 696.0 sec. user=vaughan [2009-08-12 02:54:28] 735*2^710370-1 is not prime. Res64: 3FC327B5DCB4F335 Time : 789.0 sec. user=vaughan [2009-08-12 02:57:40] 693*2^710371-1 is not prime. Res64: 942E34CABD6A154D Time : 738.0 sec. user=vaughan [2009-08-12 02:59:16] 675*2^710369-1 is not prime. Res64: 6F8D168F4D01F18C Time : 1242.0 sec. user=vaughan [2009-08-12 03:00:12] 715*2^710371-1 is not prime. Res64: 0184E3B80DE0612B Time : 695.0 sec. user=vaughan [2009-08-12 03:02:00] 699*2^710372-1 is not prime. Res64: 689A8FCC1AA93C8C Time : 555.0 sec. user=vaughan [2009-08-12 03:02:05] 725*2^710372-1 is not prime. Res64: 1A16FFF5B53CBEC0 Time : 556.0 sec. user=vaughan [2009-08-12 03:02:20] 797*2^710372-1 is not prime. Res64: C2A5917DC8299675 Time : 553.0 sec. user=vaughan [2009-08-12 03:03:04] 649*2^710373-1 is not prime. Res64: 155DAA92C61194E1 Time : 555.0 sec. user=vaughan [2009-08-12 03:03:08] 733*2^710371-1 is not prime. Res64: 27E3E0AD3C1C73A3 Time : 728.0 sec. user=vaughan [2009-08-12 03:05:44] 635*2^710372-1 is not prime. Res64: 666BD9FA49F55FBA Time : 783.0 sec. user=vaughan [2009-08-12 03:06:00] 777*2^710372-1 is not prime. Res64: B7844C087E9781BC Time : 784.0 sec. user=vaughan [2009-08-12 03:06:24] 679*2^710373-1 is not prime. Res64: 8A00D3145985DAA2 Time : 731.0 sec. user=vaughan [2009-08-12 03:07:36] 707*2^710374-1 is not prime. Res64: 9273B5B16FD69971 Time : 789.0 sec. user=vaughan [2009-08-12 03:09:49] 651*2^710375-1 is not prime. Res64: A1EF2203AA5FC749 Time : 729.0 sec. user=vaughan [2009-08-12 03:11:14] 623*2^710376-1 is not prime. Res64: DBF34CDE1085E354 Time : 555.0 sec. user=vaughan [2009-08-12 03:11:23] 629*2^710376-1 is not prime. Res64: 71A28175620A3B96 Time : 558.0 sec. user=vaughan [2009-08-12 03:11:34] 707*2^710376-1 is not prime. Res64: 2EB7E0B936996F1A Time : 554.0 sec. user=vaughan [2009-08-12 03:11:46] 609*2^710376-1 is not prime. Res64: 8BAE127F0BCFD00C Time : 694.0 sec. user=vaughan [2009-08-12 03:12:21] 735*2^710376-1 is not prime. Res64: D9BB62803C5BE12C Time : 557.0 sec. user=vaughan [2009-08-12 03:15:06] 737*2^710376-1 is not prime. Res64: 09772B79D294B597 Time : 718.0 sec. user=tnerual [2009-08-12 03:15:38] 681*2^710371-1 is not prime. Res64: 24AD3FA2100A27A3 Time : 1822.0 sec. user=vaughan [2009-08-12 03:18:33] 649*2^710377-1 is not prime. Res64: CA9D1CE6E39761E3 Time : 729.0 sec. user=vaughan [2009-08-12 03:18:41] 741*2^710375-1 is not prime. Res64: FA8917520B0E05B6 Time : 1165.0 sec. user=vaughan [2009-08-12 03:19:05] 777*2^710376-1 is not prime. Res64: 6C0F85F139EE52B2 Time : 785.0 sec. user=vaughan [2009-08-12 03:20:20] 759*2^710376-1 is not prime. Res64: FA3EE92430AED427 Time : 876.0 sec. user=vaughan [2009-08-12 03:20:28] 799*2^710377-1 is not prime. Res64: C184219B9D746261 Time : 554.0 sec. user=vaughan [2009-08-12 03:20:40] 605*2^710378-1 is not prime. Res64: 4A2464B9679EBB68 Time : 557.0 sec. user=vaughan [2009-08-12 03:20:44] 741*2^710377-1 is not prime. Res64: 7466A4B02E2BD953 Time : 789.0 sec. user=vaughan [2009-08-12 03:20:48] 657*2^710378-1 is not prime. Res64: 1A51A0794574B1B7 Time : 554.0 sec. user=vaughan [2009-08-12 03:21:36] 773*2^710378-1 is not prime. Res64: 25EC7B8E20E443E2 Time : 555.0 sec. user=vaughan [2009-08-12 03:21:58] 771*2^710377-1 is not prime. Res64: 3BDF7B7FF3B3E517 Time : 729.0 sec. user=vaughan [2009-08-12 03:23:19] 767*2^710378-1 is not prime. Res64: F518CBFA138D57B0 Time : 693.0 sec. user=vaughan [2009-08-12 03:27:04] 797*2^710378-1 is not prime. Res64: 66013863E92F555C Time : 718.0 sec. user=vaughan [2009-08-12 03:29:41] 785*2^710380-1 is not prime. Res64: 30215F21EB7FE4BB Time : 554.0 sec. user=vaughan [2009-08-12 03:29:56] 675*2^710381-1 is not prime. Res64: FED6A07D49E8EDCE Time : 556.0 sec. user=vaughan [2009-08-12 03:30:06] 777*2^710382-1 is not prime. Res64: 64531FF5ECF68A8B Time : 558.0 sec. user=vaughan [2009-08-12 03:30:42] 709*2^710379-1 is not prime. Res64: ED90D1D11E27C390 Time : 729.0 sec. user=vaughan [2009-08-12 03:30:51] 791*2^710382-1 is not prime. Res64: CBEF576140A8E34D Time : 555.0 sec. user=vaughan [2009-08-12 03:32:09] 609*2^710380-1 is not prime. Res64: 7BC82840B81D97DA Time : 784.0 sec. user=vaughan [2009-08-12 03:33:51] 685*2^710381-1 is not prime. Res64: 9B90BF64DDA14055 Time : 788.0 sec. user=vaughan [2009-08-12 03:34:07] 649*2^710383-1 is not prime. Res64: 8BCD9D0033122E82 Time : 730.0 sec. user=vaughan [2009-08-12 03:34:18] 707*2^710380-1 is not prime. Res64: 4E59F09E98EEB1F0 Time : 838.0 sec. user=vaughan [2009-08-12 03:34:53] 663*2^710383-1 is not prime. Res64: FEBF7C727DE57B14 Time : 694.0 sec. user=vaughan [2009-08-12 03:38:38] 793*2^710379-1 is not prime. Res64: ED2281038092558A Time : 1197.0 sec. user=vaughan [2009-08-12 03:38:58] 709*2^710383-1 is not prime. Res64: CB200BDCD3813BA0 Time : 557.0 sec. user=vaughan [2009-08-12 03:39:04] 705*2^710383-1 is not prime. Res64: 3347C37B70F3267E Time : 720.0 sec. user=vaughan [2009-08-12 03:39:14] 723*2^710383-1 is not prime. Res64: 9B53F58B19113988 Time : 559.0 sec. user=vaughan [2009-08-12 03:39:22] 783*2^710383-1 is not prime. Res64: 811AA647AF016EFF Time : 556.0 sec. user=vaughan [2009-08-12 03:40:07] 767*2^710384-1 is not prime. Res64: 35BAB7F2112EFDC7 Time : 556.0 sec. user=vaughan [2009-08-12 03:42:51] 759*2^710384-1 is not prime. Res64: C672AE2BA9ADBC80 Time : 729.0 sec. user=vaughan [2009-08-12 03:45:14] 607*2^710385-1 is not prime. Res64: D66342BD7862F10C Time : 785.0 sec. user=vaughan [2009-08-12 03:46:17] 705*2^710385-1 is not prime. Res64: 8F08C2448E27B0B1 Time : 730.0 sec. user=tnerual [2009-08-12 03:46:25] 633*2^710379-1 is not prime. Res64: A84CCA79F3C4FE36 Time : 1847.0 sec. user=vaughan [2009-08-12 03:46:27] 617*2^710386-1 is not prime. Res64: E6E01CF2E9D79900 Time : 694.0 sec. user=vaughan [2009-08-12 03:46:58] 667*2^710385-1 is not prime. Res64: 160EC73A34EC0E7F Time : 787.0 sec. user=vaughan [2009-08-12 03:47:57] 781*2^710385-1 is not prime. Res64: 3F5E1F114F3A2B81 Time : 819.0 sec. user=vaughan [2009-08-12 03:48:11] 645*2^710386-1 is not prime. Res64: 2C0EEFE6886795FD Time : 554.0 sec. user=vaughan [2009-08-12 03:48:31] 643*2^710387-1 is not prime. Res64: 3C63217754A1817E Time : 557.0 sec. user=vaughan [2009-08-12 03:48:39] 645*2^710387-1 is not prime. Res64: 17B2C33E4B00A166 Time : 557.0 sec. user=vaughan [2009-08-12 03:49:25] 673*2^710387-1 is not prime. Res64: 03FEA9BAB3EF7039 Time : 558.0 sec. user=vaughan [2009-08-12 03:51:03] 657*2^710386-1 is not prime. Res64: B35E75DBC940E01B Time : 719.0 sec. user=vaughan [2009-08-12 03:55:00] 699*2^710387-1 is not prime. Res64: 13B2662F55B003D3 Time : 729.0 sec. user=vaughan [2009-08-12 03:57:26] 775*2^710389-1 is not prime. Res64: 60BA7224D113E5AB Time : 555.0 sec. user=vaughan [2009-08-12 03:57:48] 605*2^710390-1 is not prime. Res64: 5753DABE993C5A05 Time : 557.0 sec. user=vaughan [2009-08-12 03:57:51] 641*2^710390-1 is not prime. Res64: 984BFD13528D8BB0 Time : 552.0 sec. user=vaughan [2009-08-12 03:58:00] 783*2^710388-1 is not prime. Res64: ED8C1B6E729C9991 Time : 694.0 sec. user=vaughan [2009-08-12 03:58:21] 735*2^710387-1 is not prime. Res64: C6E197E25D09BC7F Time : 787.0 sec. user=vaughan [2009-08-12 03:58:27] 759*2^710388-1 is not prime. Res64: CDA57D0FE2AB905B Time : 730.0 sec. user=vaughan [2009-08-12 03:58:41] 795*2^710390-1 is not prime. Res64: A968D003727E0C3C Time : 556.0 sec. user=vaughan [2009-08-12 04:00:07] 789*2^710388-1 is not prime. Res64: 2CE5F30727A9E74E Time : 789.0 sec. user=vaughan [2009-08-12 04:00:37] 639*2^710389-1 is not prime. Res64: 9E0AE8F693E3170F Time : 760.0 sec. user=vaughan [2009-08-12 04:00:38] 623*2^710386-1 is not prime. Res64: 1BD2A1E315F2A637 Time : 1320.0 sec. user=vaughan [2009-08-12 04:03:00] 711*2^710391-1 is not prime. Res64: 9EC4C27846F3B16E Time : 717.0 sec. user=vaughan [2009-08-12 04:06:42] 605*2^710392-1 is not prime. Res64: 177EFCDAB8C94876 Time : 556.0 sec. user=vaughan [2009-08-12 04:07:04] 609*2^710392-1 is not prime. Res64: 6918286EC8F1DE37 Time : 556.0 sec. user=vaughan [2009-08-12 04:07:06] 675*2^710392-1 is not prime. Res64: 1C8A1C97E755AEB6 Time : 555.0 sec. user=vaughan [2009-08-12 04:07:09] 775*2^710391-1 is not prime. Res64: DCA9EC82F59891ED Time : 729.0 sec. user=vaughan [2009-08-12 04:07:56] 765*2^710392-1 is not prime. Res64: 54CD7D8C1B9E53E4 Time : 556.0 sec. user=vaughan [2009-08-12 04:09:34] 693*2^710392-1 is not prime. Res64: 98352513DAB21373 Time : 694.0 sec. user=vaughan [2009-08-12 04:10:37] 735*2^710392-1 is not prime. Res64: 2CDF24635888F357 Time : 730.0 sec. user=vaughan [2009-08-12 04:11:26] 713*2^710392-1 is not prime. Res64: 00226A99DC0907C4 Time : 786.0 sec. user=vaughan [2009-08-12 04:13:15] 615*2^710393-1 is not prime. Res64: 81CA4782E4D92709 Time : 788.0 sec. user=vaughan [2009-08-12 04:14:28] 747*2^710393-1 is not prime. Res64: D148FA1CA4A94E7D Time : 831.0 sec. user=vaughan [2009-08-12 04:14:58] 615*2^710394-1 is not prime. Res64: 4938BE4DECD9A35E Time : 718.0 sec. user=vaughan [2009-08-12 04:15:56] 651*2^710394-1 is not prime. Res64: 56B95F9EA1A9006D Time : 554.0 sec. user=vaughan [2009-08-12 04:16:19] 663*2^710394-1 is not prime. Res64: 800C4447C1F7568F Time : 555.0 sec. user=vaughan [2009-08-12 04:16:22] 681*2^710394-1 is not prime. Res64: 205DA8323FC9919B Time : 557.0 sec. user=vaughan [2009-08-12 04:17:10] 685*2^710395-1 is not prime. Res64: 153D1632D163D85D Time : 554.0 sec. user=tnerual [2009-08-12 04:17:51] 773*2^710388-1 is not prime. Res64: 1B9DCF2DF91E44AD Time : 1886.0 sec. user=vaughan [2009-08-12 04:19:18] 747*2^710394-1 is not prime. Res64: 0518D295C56DE917 Time : 729.0 sec. user=vaughan [2009-08-12 04:21:07] 741*2^710395-1 is not prime. Res64: 6F970B0109F5D728 Time : 694.0 sec. user=vaughan [2009-08-12 04:21:27] 789*2^710393-1 is not prime. Res64: F62BB08DA5E546A5 Time : 1249.0 sec. user=vaughan [2009-08-12 04:22:46] 759*2^710395-1 is not prime. Res64: 0254A7C309D3647C Time : 729.0 sec. user=vaughan [2009-08-12 04:24:30] 765*2^710395-1 is not prime. Res64: CEEEB864AAB71006 Time : 784.0 sec. user=vaughan [2009-08-12 04:25:12] 717*2^710397-1 is not prime. Res64: C62CFA7FF5B78C98 Time : 556.0 sec. user=vaughan [2009-08-12 04:25:36] 769*2^710397-1 is not prime. Res64: 44BD3F93CAB6CE3A Time : 554.0 sec. user=vaughan [2009-08-12 04:25:36] 765*2^710397-1 is not prime. Res64: C02D362758F3C6BF Time : 557.0 sec. user=vaughan [2009-08-12 04:26:23] 647*2^710398-1 is not prime. Res64: AD63A59C153FBF44 Time : 553.0 sec. user=vaughan [2009-08-12 04:26:23] 725*2^710396-1 is not prime. Res64: 356104344AD810C8 Time : 788.0 sec. user=vaughan [2009-08-12 04:26:56] 621*2^710397-1 is not prime. Res64: A5F30192CA68544A Time : 718.0 sec. user=vaughan [2009-08-12 04:28:59] 759*2^710396-1 is not prime. Res64: 07735720A808BC7F Time : 871.0 sec. user=vaughan [2009-08-12 04:31:27] 687*2^710398-1 is not prime. Res64: C133D57B8C228BC6 Time : 729.0 sec. user=vaughan [2009-08-12 04:32:41] 621*2^710399-1 is not prime. Res64: 0EB942DC65B156FF Time : 694.0 sec. user=vaughan [2009-08-12 04:34:26] 723*2^710400-1 is not prime. Res64: F3FECCF8E556D5A9 Time : 555.0 sec. user=vaughan [2009-08-12 04:34:51] 725*2^710400-1 is not prime. Res64: 9B16173F54266F47 Time : 556.0 sec. user=vaughan [2009-08-12 04:34:53] 759*2^710400-1 is not prime. Res64: 38AEBA1C85629228 Time : 558.0 sec. user=vaughan [2009-08-12 04:34:56] 665*2^710400-1 is not prime. Res64: 354ADD5FF61C7A52 Time : 730.0 sec. user=vaughan [2009-08-12 04:35:38] 679*2^710401-1 is not prime. Res64: 08A6C1ABE14055DB Time : 555.0 sec. user=vaughan [2009-08-12 04:35:54] 645*2^710399-1 is not prime. Res64: 1DBD191D7DEA95BA Time : 867.0 sec. user=vaughan [2009-08-12 04:37:34] 675*2^710400-1 is not prime. Res64: 5320153413A5DC19 Time : 784.0 sec. user=vaughan [2009-08-12 04:38:55] 747*2^710401-1 is not prime. Res64: D037BAF2B3AF74A2 Time : 719.0 sec. user=vaughan [2009-08-12 04:39:32] 717*2^710401-1 is not prime. Res64: 67061438E33A93F3 Time : 789.0 sec. user=vaughan [2009-08-12 04:42:59] 627*2^710402-1 is not prime. Res64: 5D393A953410EE47 Time : 840.0 sec. user=vaughan [2009-08-12 04:43:36] 633*2^710402-1 is not prime. Res64: 8BDB9DEC21548359 Time : 729.0 sec. user=vaughan [2009-08-12 04:43:43] 701*2^710402-1 is not prime. Res64: 2A5FAB4E6B726CCA Time : 557.0 sec. user=vaughan [2009-08-12 04:44:05] 741*2^710402-1 is not prime. Res64: D24F6A5E9B859352 Time : 554.0 sec. user=vaughan [2009-08-12 04:44:08] 743*2^710402-1 is not prime. Res64: 01C4A010B6B06C12 Time : 555.0 sec. user=vaughan [2009-08-12 04:44:14] 671*2^710402-1 is not prime. Res64: 4519653959549B8A Time : 693.0 sec. user=vaughan [2009-08-12 04:44:51] 643*2^710403-1 is not prime. Res64: 2DD60CC57FF10E51 Time : 553.0 sec. user=vaughan [2009-08-12 04:47:05] 639*2^710403-1 is not prime. Res64: B237122DAC3DBDD7 Time : 730.0 sec. user=tnerual [2009-08-12 04:48:13] 665*2^710398-1 is not prime. Res64: 12606AD363B41286 Time : 1822.0 sec. user=vaughan [2009-08-12 04:50:40] 615*2^710404-1 is not prime. Res64: 50462BA54ECBF77F Time : 786.0 sec. user=vaughan [2009-08-12 04:50:54] 635*2^710404-1 is not prime. Res64: 26565974874E8394 Time : 719.0 sec. user=vaughan [2009-08-12 04:52:42] 675*2^710404-1 is not prime. Res64: ECDEAA46424E0296 Time : 790.0 sec. user=vaughan [2009-08-12 04:52:58] 717*2^710405-1 is not prime. Res64: 9C556A7A38EFDAF3 Time : 556.0 sec. user=vaughan [2009-08-12 04:53:23] 795*2^710405-1 is not prime. Res64: 4B36C32B6740DE55 Time : 558.0 sec. user=vaughan [2009-08-12 04:53:26] 615*2^710406-1 is not prime. Res64: EB4085281DE1EE21 Time : 558.0 sec. user=vaughan [2009-08-12 04:54:05] 635*2^710406-1 is not prime. Res64: E6C2F8825F5C535D Time : 554.0 sec. user=vaughan [2009-08-12 04:55:45] 711*2^710405-1 is not prime. Res64: 88381F096746BB6D Time : 729.0 sec. user=vaughan [2009-08-12 04:55:49] 627*2^710406-1 is not prime. Res64: 111C90234843D9B7 Time : 695.0 sec. user=vaughan [2009-08-12 04:56:03] 657*2^710405-1 is not prime. Res64: 9E164BF23BDA37AE Time : 784.0 sec. user=vaughan [2009-08-12 04:58:28] 721*2^710403-1 is not prime. Res64: B2F937167462117A Time : 1354.0 sec. user=vaughan [2009-08-12 04:59:14] 693*2^710406-1 is not prime. Res64: 24B18D696BC52DBB Time : 729.0 sec. user=vaughan [2009-08-12 05:02:14] 609*2^710407-1 is not prime. Res64: 4731207E751F1801 Time : 556.0 sec. user=vaughan [2009-08-12 05:02:40] 633*2^710407-1 is not prime. Res64: FD2C89276F33069C Time : 557.0 sec. user=vaughan [2009-08-12 05:02:42] 645*2^710407-1 is not prime. Res64: 6F4BC1CB7D7280B7 Time : 556.0 sec. user=vaughan [2009-08-12 05:02:52] 747*2^710406-1 is not prime. Res64: 802D1A69DFB21EAE Time : 718.0 sec. user=vaughan [2009-08-12 05:03:18] 759*2^710407-1 is not prime. Res64: C8BF3F771E7DF9BE Time : 553.0 sec. user=vaughan [2009-08-12 05:03:47] 717*2^710406-1 is not prime. Res64: 2C4EDD8C8F4FBAB3 Time : 787.0 sec. user=vaughan [2009-08-12 05:05:56] 765*2^710406-1 is not prime. Res64: 62407FC4BEF8A9BC Time : 794.0 sec. user=vaughan [2009-08-12 05:07:22] 713*2^710408-1 is not prime. Res64: 4708FF72C1AB13DC Time : 693.0 sec. user=vaughan [2009-08-12 05:07:55] 793*2^710407-1 is not prime. Res64: 584219E3B70B72E3 Time : 730.0 sec. user=vaughan [2009-08-12 05:09:53] 709*2^710409-1 is not prime. Res64: 4C38DC65F997D3EB Time : 830.0 sec. user=vaughan [2009-08-12 05:11:26] 645*2^710410-1 is not prime. Res64: 51DB858D5254FDB3 Time : 553.0 sec. user=vaughan [2009-08-12 05:11:29] 747*2^710409-1 is not prime. Res64: 1B2E70EBBD0532E8 Time : 735.0 sec. user=vaughan [2009-08-12 05:11:55] 701*2^710410-1 is not prime. Res64: 938597791FDD9FEB Time : 553.0 sec. user=vaughan [2009-08-12 05:11:56] 657*2^710410-1 is not prime. Res64: 27A3A85F743FFB9E Time : 556.0 sec. user=vaughan [2009-08-12 05:12:36] 603*2^710411-1 is not prime. Res64: B90E390EEA0BEA0D Time : 558.0 sec. user=vaughan [2009-08-12 05:14:37] 745*2^710409-1 is not prime. Res64: 5ED812802DE5215F Time : 969.0 sec. user=vaughan [2009-08-12 05:14:54] 723*2^710410-1 is not prime. Res64: 179B8362932E279F Time : 722.0 sec. user=vaughan [2009-08-12 05:17:11] 609*2^710411-1 is not prime. Res64: 308291066D810F6F Time : 804.0 sec. user=tnerual [2009-08-12 05:18:41] 711*2^710406-1 is not prime. Res64: C33B196BC216EAED Time : 1828.0 sec. user=vaughan [2009-08-12 05:19:24] 711*2^710411-1 is not prime. Res64: 790C7FCA545CFF1B Time : 808.0 sec. user=vaughan [2009-08-12 05:19:33] 625*2^710413-1 is not prime. Res64: 257219741ADBD604 Time : 698.0 sec. user=vaughan [2009-08-12 05:19:37] 781*2^710411-1 is not prime. Res64: 45B596AC14546981 Time : 735.0 sec. user=vaughan [2009-08-12 05:20:42] 687*2^710413-1 is not prime. Res64: B3C0178D4B9026FE Time : 556.0 sec. user=vaughan [2009-08-12 05:21:10] 641*2^710414-1 is not prime. Res64: 97E77EF9FBFAFA79 Time : 554.0 sec. user=vaughan [2009-08-12 05:21:12] 751*2^710413-1 is not prime. Res64: 303A9DA99DBAA71B Time : 557.0 sec. user=vaughan [2009-08-12 05:21:50] 645*2^710414-1 is not prime. Res64: 261252E2B3749C6F Time : 554.0 sec. user=vaughan [2009-08-12 05:23:44] 727*2^710413-1 is not prime. Res64: 731046BDA7818837 Time : 736.0 sec. user=vaughan [2009-08-12 05:24:08] 639*2^710413-1 is not prime. Res64: 60B9E56CDE0939A6 Time : 855.0 sec. user=vaughan [2009-08-12 05:26:54] 717*2^710414-1 is not prime. Res64: 842A06EEE65D81C2 Time : 720.0 sec. user=vaughan [2009-08-12 05:29:59] 763*2^710415-1 is not prime. Res64: A1716E96D7684CC6 Time : 557.0 sec. user=vaughan [2009-08-12 05:30:24] 629*2^710416-1 is not prime. Res64: 16B8AFBE1E3D889F Time : 555.0 sec. user=vaughan [2009-08-12 05:30:27] 691*2^710417-1 is not prime. Res64: 6FA10D967B9B9A2E Time : 555.0 sec. user=vaughan [2009-08-12 05:30:34] 731*2^710414-1 is not prime. Res64: 480864DC5B91CE22 Time : 803.0 sec. user=vaughan [2009-08-12 05:31:10] 747*2^710417-1 is not prime. Res64: A88455584493DB78 Time : 560.0 sec. user=vaughan [2009-08-12 05:31:12] 685*2^710415-1 is not prime. Res64: 226EE2C5D25D83DB Time : 699.0 sec. user=vaughan [2009-08-12 05:31:49] 739*2^710415-1 is not prime. Res64: 97CC8DFD0F7052A6 Time : 733.0 sec. user=vaughan [2009-08-12 05:32:52] 633*2^710415-1 is not prime. Res64: A56A42EA9D5DE7A4 Time : 808.0 sec. user=vaughan [2009-08-12 05:34:58] 683*2^710414-1 is not prime. Res64: 1DD0ABA9F3BF4584 Time : 1222.0 sec. user=vaughan [2009-08-12 05:35:58] 605*2^710418-1 is not prime. Res64: A72DD300157D8E8C Time : 735.0 sec. user=vaughan [2009-08-12 05:37:33] 627*2^710418-1 is not prime. Res64: 435981DFC3538A7D Time : 805.0 sec. user=vaughan [2009-08-12 05:38:55] 633*2^710418-1 is not prime. Res64: 8D5A371FFC785787 Time : 721.0 sec. user=vaughan [2009-08-12 05:39:14] 665*2^710418-1 is not prime. Res64: C48FE26F6F3A524B Time : 556.0 sec. user=vaughan [2009-08-12 05:39:39] 713*2^710418-1 is not prime. Res64: 933E5D1B284B256E Time : 555.0 sec. user=vaughan [2009-08-12 05:39:43] 755*2^710418-1 is not prime. Res64: 16B6070483DCBFA4 Time : 556.0 sec. user=vaughan [2009-08-12 05:40:23] 639*2^710419-1 is not prime. Res64: 53812E9D093317A8 Time : 554.0 sec. user=vaughan [2009-08-12 05:42:50] 751*2^710419-1 is not prime. Res64: 73432CF876B49208 Time : 699.0 sec. user=vaughan [2009-08-12 05:43:58] 797*2^710418-1 is not prime. Res64: A7967C60F903C58F Time : 804.0 sec. user=vaughan [2009-08-12 05:44:02] 775*2^710419-1 is not prime. Res64: 9BBED5C47D9D6358 Time : 733.0 sec. user=vaughan [2009-08-12 05:46:21] 635*2^710420-1 is not prime. Res64: B9AC6425AA4EA7EC Time : 810.0 sec. user=vaughan [2009-08-12 05:48:13] 707*2^710420-1 is not prime. Res64: 522FDD1FC6152D3A Time : 735.0 sec. user=vaughan [2009-08-12 05:48:31] 709*2^710421-1 is not prime. Res64: A308B03E17E2919F Time : 557.0 sec. user=vaughan [2009-08-12 05:48:54] 617*2^710422-1 is not prime. Res64: A932ED28E91B5A11 Time : 555.0 sec. user=vaughan [2009-08-12 05:48:58] 645*2^710422-1 is not prime. Res64: 5FE376F69D256310 Time : 556.0 sec. user=tnerual [2009-08-12 05:49:01] 797*2^710414-1 is not prime. Res64: 0D7F49C4025D8737 Time : 1821.0 sec. user=vaughan [2009-08-12 05:49:39] 713*2^710422-1 is not prime. Res64: CF1B4347F03EECAB Time : 556.0 sec. user=vaughan [2009-08-12 05:50:28] 735*2^710420-1 is not prime. Res64: C879B243F77B71E9 Time : 775.0 sec. user=vaughan [2009-08-12 05:50:55] 679*2^710421-1 is not prime. Res64: 1B0C6A14151B6A43 Time : 721.0 sec. user=vaughan [2009-08-12 05:54:27] 743*2^710422-1 is not prime. Res64: 8DA2835F00F87D34 Time : 698.0 sec. user=vaughan [2009-08-12 05:56:14] 649*2^710423-1 is not prime. Res64: 24B6F3EEDB11911A Time : 732.0 sec. user=vaughan [2009-08-12 05:56:55] 677*2^710420-1 is not prime. Res64: BF5C87E3F96938C7 Time : 1317.0 sec. user=vaughan [2009-08-12 05:57:24] 619*2^710423-1 is not prime. Res64: 042CBF92AB859B33 Time : 806.0 sec. user=vaughan [2009-08-12 05:57:43] 605*2^710424-1 is not prime. Res64: 91B640DA4AAD77AD Time : 552.0 sec. user=vaughan [2009-08-12 05:58:12] 695*2^710424-1 is not prime. Res64: 6709B7FB183F5C5B Time : 558.0 sec. user=vaughan [2009-08-12 05:58:13] 717*2^710424-1 is not prime. Res64: 1BB26BF6A86E1AD4 Time : 555.0 sec. user=vaughan [2009-08-12 05:58:52] 651*2^710425-1 is not prime. Res64: FD142FA32459EC2E Time : 554.0 sec. user=vaughan [2009-08-12 05:59:50] 675*2^710423-1 is not prime. Res64: 5D0E8682C7F6CFAE Time : 809.0 sec. user=vaughan [2009-08-12 06:00:28] 753*2^710423-1 is not prime. Res64: 92387E147A518F6A Time : 735.0 sec. user=vaughan [2009-08-12 06:02:56] 777*2^710425-1 is not prime. Res64: D360C0395A83E76B Time : 721.0 sec. user=vaughan [2009-08-12 06:02:58] 715*2^710425-1 is not prime. Res64: 2269CD15ECA5504D Time : 750.0 sec. user=vaughan [2009-08-12 06:06:05] 799*2^710425-1 is not prime. Res64: 8AB8EC98988BE3AE Time : 698.0 sec. user=vaughan [2009-08-12 06:06:59] 625*2^710427-1 is not prime. Res64: 8AFBA127DC5C608B Time : 556.0 sec. user=vaughan [2009-08-12 06:07:26] 675*2^710427-1 is not prime. Res64: CA0BAB9BA5ED6685 Time : 555.0 sec. user=vaughan [2009-08-12 06:07:30] 769*2^710427-1 is not prime. Res64: F8F57015F7CCC9F8 Time : 557.0 sec. user=vaughan [2009-08-12 06:08:08] 603*2^710428-1 is not prime. Res64: 6F2C0A96907721A5 Time : 556.0 sec. user=vaughan [2009-08-12 06:08:26] 615*2^710426-1 is not prime. Res64: B70AA83BAA2D804A Time : 732.0 sec. user=vaughan [2009-08-12 06:10:42] 743*2^710426-1 is not prime. Res64: 75326AF362EC43B2 Time : 798.0 sec. user=vaughan [2009-08-12 06:12:44] 601*2^710429-1 is not prime. Res64: 0FC55BDF2C1B9F53 Time : 736.0 sec. user=vaughan [2009-08-12 06:13:10] 783*2^710428-1 is not prime. Res64: BD0F5E923D0BECAF Time : 800.0 sec. user=vaughan [2009-08-12 06:14:02] 641*2^710426-1 is not prime. Res64: 7B6CF659C2AABE3C Time : 1027.0 sec. user=vaughan [2009-08-12 06:14:56] 615*2^710429-1 is not prime. Res64: F37A38B14A092B3C Time : 720.0 sec. user=vaughan [2009-08-12 06:16:12] 679*2^710429-1 is not prime. Res64: EAE099F3DC5A6A3F Time : 553.0 sec. user=vaughan [2009-08-12 06:16:42] 721*2^710429-1 is not prime. Res64: C00CF95B2B38DA0D Time : 556.0 sec. user=vaughan [2009-08-12 06:16:45] 735*2^710429-1 is not prime. Res64: 065CFE42F0602FC0 Time : 555.0 sec. user=vaughan [2009-08-12 06:17:23] 635*2^710430-1 is not prime. Res64: 556F420C0879131F Time : 555.0 sec. user=vaughan [2009-08-12 06:17:42] 655*2^710429-1 is not prime. Res64: AA4226FF5A7C8F78 Time : 697.0 sec. user=vaughan [2009-08-12 06:18:32] 631*2^710429-1 is not prime. Res64: CB0707D194945002 Time : 934.0 sec. user=tnerual [2009-08-12 06:19:27] 767*2^710424-1 is not prime. Res64: 1E72C735617049A8 Time : 1827.0 sec. user=vaughan [2009-08-12 06:20:38] 641*2^710430-1 is not prime. Res64: 9B64F5E37518A842 Time : 732.0 sec. user=vaughan [2009-08-12 06:24:00] 717*2^710430-1 is not prime. Res64: 5965F913FAF3A3D5 Time : 798.0 sec. user=vaughan [2009-08-12 06:24:59] 765*2^710430-1 is not prime. Res64: E4427BC45BB1D6ED Time : 735.0 sec. user=vaughan [2009-08-12 06:25:27] 705*2^710431-1 is not prime. Res64: 775D1FE74457F878 Time : 555.0 sec. user=vaughan [2009-08-12 06:25:58] 603*2^710432-1 is not prime. Res64: 18237E8DAB6F03A2 Time : 556.0 sec. user=vaughan [2009-08-12 06:26:03] 609*2^710432-1 is not prime. Res64: 9D8360DC2ECCB95E Time : 558.0 sec. user=vaughan [2009-08-12 06:26:36] 619*2^710431-1 is not prime. Res64: DF1BDAA8EAE97538 Time : 807.0 sec. user=vaughan [2009-08-12 06:26:41] 635*2^710432-1 is not prime. Res64: 98ECD56FE91ECD9C Time : 558.0 sec. user=vaughan [2009-08-12 06:26:58] 685*2^710431-1 is not prime. Res64: 48F160FB0A895615 Time : 722.0 sec. user=vaughan [2009-08-12 06:29:20] 689*2^710432-1 is not prime. Res64: 222AE59F3A765AF3 Time : 698.0 sec. user=vaughan [2009-08-12 06:31:42] 663*2^710431-1 is not prime. Res64: BF63B8053B59F3E7 Time : 1060.0 sec. user=vaughan [2009-08-12 06:32:50] 789*2^710433-1 is not prime. Res64: AA765C79C36DFFEB Time : 732.0 sec. user=vaughan [2009-08-12 06:33:29] 717*2^710432-1 is not prime. Res64: 9C1666C2A34117F5 Time : 897.0 sec. user=vaughan [2009-08-12 06:34:42] 671*2^710434-1 is not prime. Res64: 97618688E421878B Time : 555.0 sec. user=vaughan [2009-08-12 06:35:12] 717*2^710434-1 is not prime. Res64: 28521FD45DB638DB Time : 554.0 sec. user=vaughan [2009-08-12 06:35:20] 747*2^710434-1 is not prime. Res64: 106E3E749A6BD69D Time : 557.0 sec. user=vaughan [2009-08-12 06:35:57] 771*2^710435-1 is not prime. Res64: 0BF956D745572104 Time : 557.0 sec. user=vaughan [2009-08-12 06:37:14] 665*2^710434-1 is not prime. Res64: 5EA48A687081694B Time : 735.0 sec. user=vaughan [2009-08-12 06:37:28] 633*2^710434-1 is not prime. Res64: 2F22C6AB9194121F Time : 808.0 sec. user=vaughan [2009-08-12 06:38:58] 623*2^710436-1 is not prime. Res64: 8697DA4B5F5BD03C Time : 721.0 sec. user=vaughan [2009-08-12 06:40:07] 733*2^710435-1 is not prime. Res64: 787AE7E812EB6ED3 Time : 811.0 sec. user=vaughan [2009-08-12 06:40:58] 675*2^710436-1 is not prime. Res64: 1C42B69ADC4BD389 Time : 698.0 sec. user=vaughan [2009-08-12 06:43:58] 773*2^710436-1 is not prime. Res64: 98F4AFC8E6AF8ABB Time : 556.0 sec. user=vaughan [2009-08-12 06:44:29] 649*2^710437-1 is not prime. Res64: 99CA66E18D2CF7ED Time : 558.0 sec. user=vaughan [2009-08-12 06:44:38] 729*2^710437-1 is not prime. Res64: CB64C1E358C45D2C Time : 559.0 sec. user=vaughan [2009-08-12 06:45:03] 737*2^710436-1 is not prime. Res64: 68E9E46B63FD27D8 Time : 733.0 sec. user=vaughan [2009-08-12 06:45:13] 747*2^710437-1 is not prime. Res64: 7DC37716A589BF29 Time : 556.0 sec. user=vaughan [2009-08-12 06:46:26] 765*2^710436-1 is not prime. Res64: 5BFA068230AA4B38 Time : 778.0 sec. user=vaughan [2009-08-12 06:49:29] 759*2^710437-1 is not prime. Res64: 0E63522DBA65944E Time : 735.0 sec. user=tnerual [2009-08-12 06:49:47] 649*2^710433-1 is not prime. Res64: 0737C5E736516609 Time : 1821.0 sec. user=vaughan [2009-08-12 06:50:52] 769*2^710437-1 is not prime. Res64: C2AE57E9711C104A Time : 804.0 sec. user=vaughan [2009-08-12 06:50:58] 603*2^710438-1 is not prime. Res64: 66042483F0A17C82 Time : 720.0 sec. user=vaughan [2009-08-12 06:51:44] 705*2^710436-1 is not prime. Res64: 689C64E53004B71E Time : 1202.0 sec. user=vaughan [2009-08-12 06:52:36] 707*2^710438-1 is not prime. Res64: 583D502FBD95198E Time : 698.0 sec. user=vaughan [2009-08-12 06:53:12] 609*2^710440-1 is not prime. Res64: 05BB521485216E42 Time : 554.0 sec. user=vaughan [2009-08-12 06:53:33] 627*2^710438-1 is not prime. Res64: BD6A2C33205A6B3B Time : 806.0 sec. user=vaughan [2009-08-12 06:53:47] 663*2^710440-1 is not prime. Res64: F32B23045E54C55C Time : 558.0 sec. user=vaughan [2009-08-12 06:53:54] 677*2^710440-1 is not prime. Res64: FB11A87D13676F7D Time : 556.0 sec. user=vaughan [2009-08-12 06:54:27] 735*2^710440-1 is not prime. Res64: 0DEF62F62D49B242 Time : 555.0 sec. user=vaughan [2009-08-12 06:57:17] 689*2^710440-1 is not prime. Res64: 4ACF1A25ABE1FFB9 Time : 734.0 sec. user=vaughan [2009-08-12 06:59:21] 717*2^710441-1 is not prime. Res64: 5F4835966CAC4AC6 Time : 775.0 sec. user=vaughan [2009-08-12 07:01:44] 621*2^710442-1 is not prime. Res64: FC2A8C91B5337BD6 Time : 735.0 sec. user=vaughan [2009-08-12 07:02:27] 775*2^710443-1 is not prime. Res64: C6FD9658D4EE2118 Time : 555.0 sec. user=vaughan [2009-08-12 07:03:00] 755*2^710442-1 is not prime. Res64: C316352997A75F7F Time : 722.0 sec. user=vaughan [2009-08-12 07:03:02] 657*2^710444-1 is not prime. Res64: B464326D745A3316 Time : 556.0 sec. user=vaughan [2009-08-12 07:03:08] 683*2^710444-1 is not prime. Res64: C90CAEBB6E0C7E47 Time : 554.0 sec. user=vaughan [2009-08-12 07:03:41] 699*2^710444-1 is not prime. Res64: 63F77D9F007DE60C Time : 554.0 sec. user=vaughan [2009-08-12 07:04:14] 713*2^710442-1 is not prime. Res64: 4F123D9E756DCD27 Time : 802.0 sec. user=vaughan [2009-08-12 07:04:14] 703*2^710443-1 is not prime. Res64: 2A401B7FAB6119EE Time : 698.0 sec. user=vaughan [2009-08-12 07:06:59] 635*2^710444-1 is not prime. Res64: 00FE5903FA71BA9B Time : 806.0 sec. user=vaughan [2009-08-12 07:09:30] 759*2^710444-1 is not prime. Res64: 35C640FACDF84B74 Time : 734.0 sec. user=vaughan [2009-08-12 07:11:42] 777*2^710445-1 is not prime. Res64: 8833D4D2F3345B22 Time : 555.0 sec. user=vaughan [2009-08-12 07:12:18] 603*2^710446-1 is not prime. Res64: C2CCB008E4454FE7 Time : 556.0 sec. user=vaughan [2009-08-12 07:12:24] 657*2^710446-1 is not prime. Res64: CC31350C53F94279 Time : 556.0 sec. user=vaughan [2009-08-12 07:12:55] 705*2^710446-1 is not prime. Res64: 631FBF6F3B768DCF Time : 554.0 sec. user=vaughan [2009-08-12 07:13:59] 765*2^710445-1 is not prime. Res64: 51F605DADC0D4E58 Time : 735.0 sec. user=vaughan [2009-08-12 07:15:01] 787*2^710445-1 is not prime. Res64: 998D5D17AA32CCB4 Time : 722.0 sec. user=vaughan [2009-08-12 07:15:52] 777*2^710446-1 is not prime. Res64: E233C1F9DE4D090C Time : 698.0 sec. user=vaughan [2009-08-12 07:17:34] 755*2^710446-1 is not prime. Res64: D539B3860C3F8D6E Time : 801.0 sec. user=vaughan [2009-08-12 07:20:23] 661*2^710447-1 is not prime. Res64: 362E9856EE992540 Time : 804.0 sec. user=vaughan [2009-08-12 07:20:58] 663*2^710448-1 is not prime. Res64: 1D5FDBC3FE3D4007 Time : 556.0 sec. user=vaughan [2009-08-12 07:21:34] 699*2^710448-1 is not prime. Res64: 28BEE2D9AD2E0179 Time : 556.0 sec. user=vaughan [2009-08-12 07:21:40] 707*2^710448-1 is not prime. Res64: F1E4F8B8C198252D Time : 556.0 sec. user=vaughan [2009-08-12 07:21:42] 703*2^710447-1 is not prime. Res64: F693F17BFBCC632F Time : 733.0 sec. user=vaughan [2009-08-12 07:22:11] 713*2^710448-1 is not prime. Res64: 0B3EC0DED974C2DC Time : 556.0 sec. user=vaughan [2009-08-12 07:26:17] 737*2^710448-1 is not prime. Res64: F180C211DF176EB3 Time : 738.0 sec. user=vaughan [2009-08-12 07:27:05] 753*2^710448-1 is not prime. Res64: 1F308E4830CCBBE2 Time : 724.0 sec. user=vaughan [2009-08-12 07:27:34] 789*2^710448-1 is not prime. Res64: CDD5318E221C8510 Time : 702.0 sec. user=vaughan [2009-08-12 07:30:16] 665*2^710450-1 is not prime. Res64: 95E365A4A1734C19 Time : 559.0 sec. user=vaughan [2009-08-12 07:30:50] 677*2^710450-1 is not prime. Res64: 84A11333BE5DFA08 Time : 556.0 sec. user=vaughan [2009-08-12 07:30:56] 797*2^710448-1 is not prime. Res64: 141BD7F4907E4A2F Time : 803.0 sec. user=vaughan [2009-08-12 07:30:57] 731*2^710450-1 is not prime. Res64: 490BD0EFD3772987 Time : 557.0 sec. user=vaughan [2009-08-12 07:31:26] 753*2^710450-1 is not prime. Res64: 151ADB85E44640DD Time : 555.0 sec. user=vaughan [2009-08-12 07:33:49] 651*2^710450-1 is not prime. Res64: C37D1B06737AE896 Time : 807.0 sec. user=vaughan [2009-08-12 07:33:53] 735*2^710450-1 is not prime. Res64: A0A391030D458988 Time : 731.0 sec. user=vaughan [2009-08-12 07:38:33] 755*2^710450-1 is not prime. Res64: 7D2D17F43E7F5C59 Time : 737.0 sec. user=vaughan [2009-08-12 07:39:06] 797*2^710450-1 is not prime. Res64: 021F68AAB83335A2 Time : 722.0 sec. user=vaughan [2009-08-12 07:39:12] 625*2^710451-1 is not prime. Res64: 970285D95C04445E Time : 699.0 sec. user=vaughan [2009-08-12 07:39:34] 649*2^710451-1 is not prime. Res64: 2C86C2BD3A1BE623 Time : 559.0 sec. user=vaughan [2009-08-12 07:40:04] 679*2^710451-1 is not prime. Res64: DF1057E058FBCEAB Time : 555.0 sec. user=vaughan [2009-08-12 07:40:10] 793*2^710451-1 is not prime. Res64: A2B985C89FF3CCB4 Time : 554.0 sec. user=vaughan [2009-08-12 07:40:40] 795*2^710451-1 is not prime. Res64: FC19589748F5A2C2 Time : 554.0 sec. user=vaughan [2009-08-12 07:44:19] 703*2^710451-1 is not prime. Res64: CC32A5FE1E8BD57B Time : 803.0 sec. user=vaughan [2009-08-12 07:46:05] 665*2^710452-1 is not prime. Res64: D400A16DB642E6AD Time : 732.0 sec. user=vaughan [2009-08-12 07:47:15] 639*2^710452-1 is not prime. Res64: 7AE4F851C64E6744 Time : 806.0 sec. user=vaughan [2009-08-12 07:48:50] 697*2^710453-1 is not prime. Res64: FD6DD3C7A03BA053 Time : 557.0 sec. user=vaughan [2009-08-12 07:49:21] 715*2^710453-1 is not prime. Res64: F44FCF881F10EA4C Time : 557.0 sec. user=vaughan [2009-08-12 07:49:26] 727*2^710453-1 is not prime. Res64: 5FFF24D69FA2D5CF Time : 556.0 sec. user=vaughan [2009-08-12 07:49:53] 747*2^710453-1 is not prime. Res64: 4AAF636CCC21DB68 Time : 554.0 sec. user=vaughan [2009-08-12 07:50:48] 687*2^710452-1 is not prime. Res64: A3760F396C32353D Time : 735.0 sec. user=vaughan [2009-08-12 07:50:51] 631*2^710453-1 is not prime. Res64: B624A0087C7B7C4D Time : 699.0 sec. user=vaughan [2009-08-12 07:51:06] 759*2^710452-1 is not prime. Res64: EA1FB17AE883BD87 Time : 721.0 sec. user=vaughan [2009-08-12 07:57:41] 795*2^710453-1 is not prime. Res64: 409355D8F35224EF Time : 803.0 sec. user=vaughan [2009-08-12 07:58:04] 707*2^710454-1 is not prime. Res64: 9D0508D96261CEAD Time : 555.0 sec. user=vaughan [2009-08-12 07:58:18] 657*2^710454-1 is not prime. Res64: D30571642B0621FB Time : 733.0 sec. user=vaughan [2009-08-12 07:58:35] 725*2^710454-1 is not prime. Res64: 854E8DB7AE770047 Time : 554.0 sec. user=vaughan [2009-08-12 07:58:44] 791*2^710454-1 is not prime. Res64: 479C89806131AB64 Time : 558.0 sec. user=vaughan [2009-08-12 07:59:09] 609*2^710456-1 is not prime. Res64: 0EE917F3A39A13E1 Time : 556.0 sec. user=vaughan [2009-08-12 08:00:41] 665*2^710454-1 is not prime. Res64: C637508E4DB81F9E Time : 806.0 sec. user=vaughan [2009-08-12 08:02:33] 657*2^710456-1 is not prime. Res64: A2822A7144F92FD6 Time : 703.0 sec. user=vaughan [2009-08-12 08:03:08] 635*2^710456-1 is not prime. Res64: FA45A0B13667A995 Time : 740.0 sec. user=vaughan [2009-08-12 08:03:11] 743*2^710456-1 is not prime. Res64: E8F799FCF56E13F6 Time : 725.0 sec. user=vaughan [2009-08-12 08:07:20] 777*2^710457-1 is not prime. Res64: 841531794DF78BB2 Time : 556.0 sec. user=vaughan [2009-08-12 08:07:51] 663*2^710458-1 is not prime. Res64: 99DCCC4DBD675800 Time : 556.0 sec. user=vaughan [2009-08-12 08:07:59] 723*2^710458-1 is not prime. Res64: 7B67CCEC1635D4C9 Time : 556.0 sec. user=vaughan [2009-08-12 08:08:21] 675*2^710459-1 is not prime. Res64: F2DC6133E150771C Time : 553.0 sec. user=vaughan [2009-08-12 08:10:34] 611*2^710458-1 is not prime. Res64: 95D86EC4212F0991 Time : 737.0 sec. user=vaughan [2009-08-12 08:11:05] 609*2^710457-1 is not prime. Res64: 2798EDBDA19CCBE9 Time : 805.0 sec. user=vaughan [2009-08-12 08:14:08] 711*2^710459-1 is not prime. Res64: 0EBC790033E12374 Time : 807.0 sec. user=vaughan [2009-08-12 08:14:13] 771*2^710459-1 is not prime. Res64: 60766C82B6A11DC1 Time : 700.0 sec. user=vaughan [2009-08-12 08:15:12] 665*2^710460-1 is not prime. Res64: 8AF282B8E590FCB2 Time : 721.0 sec. user=vaughan [2009-08-12 08:15:23] 629*2^710460-1 is not prime. Res64: 487C17A03940684F Time : 735.0 sec. user=vaughan [2009-08-12 08:16:34] 669*2^710460-1 is not prime. Res64: 0479156B3716AB33 Time : 555.0 sec. user=vaughan [2009-08-12 08:17:07] 759*2^710460-1 is not prime. Res64: E93049A63A5D0C7A Time : 556.0 sec. user=vaughan [2009-08-12 08:17:15] 783*2^710460-1 is not prime. Res64: 3FF96DF6813A7D23 Time : 556.0 sec. user=vaughan [2009-08-12 08:17:34] 681*2^710461-1 is not prime. Res64: 0325C33D70520B50 Time : 553.0 sec. user=vaughan [2009-08-12 08:22:47] 771*2^710461-1 is not prime. Res64: 2702FDD4DC8DD379 Time : 733.0 sec. user=vaughan [2009-08-12 08:24:29] 777*2^710461-1 is not prime. Res64: 4040164ECDACE6BD Time : 805.0 sec. user=vaughan [2009-08-12 08:25:50] 675*2^710463-1 is not prime. Res64: 8BB1B1A3BD70BF0F Time : 556.0 sec. user=vaughan [2009-08-12 08:25:51] 623*2^710462-1 is not prime. Res64: 7BF2A4132299EC15 Time : 698.0 sec. user=vaughan [2009-08-12 08:26:21] 685*2^710463-1 is not prime. Res64: BFAA2F60C430C338 Time : 555.0 sec. user=vaughan [2009-08-12 08:26:30] 691*2^710463-1 is not prime. Res64: BF5AA8A593A73163 Time : 555.0 sec. user=vaughan [2009-08-12 08:26:49] 741*2^710463-1 is not prime. Res64: 2A92E30877F56DB5 Time : 555.0 sec. user=vaughan [2009-08-12 08:27:12] 743*2^710462-1 is not prime. Res64: 879C56DD188A5120 Time : 720.0 sec. user=vaughan [2009-08-12 08:27:34] 617*2^710462-1 is not prime. Res64: D64D79A039D7319E Time : 806.0 sec. user=vaughan [2009-08-12 08:27:38] 767*2^710462-1 is not prime. Res64: 2C87845B1DE110F6 Time : 735.0 sec. user=vaughan [2009-08-12 08:34:59] 677*2^710464-1 is not prime. Res64: 18304BAA2100D0AC Time : 732.0 sec. user=vaughan [2009-08-12 08:35:04] 669*2^710465-1 is not prime. Res64: 28620F3709890966 Time : 554.0 sec. user=vaughan [2009-08-12 08:35:36] 633*2^710466-1 is not prime. Res64: 185F7B146FD33A22 Time : 555.0 sec. user=vaughan [2009-08-12 08:35:48] 683*2^710466-1 is not prime. Res64: 20AE1DB963846A73 Time : 558.0 sec. user=vaughan [2009-08-12 08:36:04] 711*2^710466-1 is not prime. Res64: 53629944351EBD86 Time : 555.0 sec. user=vaughan [2009-08-12 08:37:29] 685*2^710465-1 is not prime. Res64: 3D8E65D10EF830D0 Time : 698.0 sec. user=vaughan [2009-08-12 08:37:53] 723*2^710464-1 is not prime. Res64: 8A6CA1A75BDAA391 Time : 805.0 sec. user=vaughan [2009-08-12 08:39:12] 723*2^710466-1 is not prime. Res64: 922D9200FE0AD893 Time : 720.0 sec. user=vaughan [2009-08-12 08:39:53] 741*2^710466-1 is not prime. Res64: C1630AB88645C3FA Time : 735.0 sec. user=vaughan [2009-08-12 08:41:02] 737*2^710466-1 is not prime. Res64: 0F1D944B075E1EC1 Time : 808.0 sec. user=vaughan [2009-08-12 08:44:19] 649*2^710467-1 is not prime. Res64: F5AA93F4BC3810B0 Time : 555.0 sec. user=vaughan [2009-08-12 08:44:53] 733*2^710467-1 is not prime. Res64: D3FDB7051B57095D Time : 558.0 sec. user=vaughan [2009-08-12 08:45:03] 769*2^710467-1 is not prime. Res64: A1365E93B8B46675 Time : 556.0 sec. user=vaughan [2009-08-12 08:45:20] 647*2^710468-1 is not prime. Res64: 51455C275732F2C2 Time : 556.0 sec. user=vaughan [2009-08-12 08:47:11] 609*2^710467-1 is not prime. Res64: 593D2808FB0D66B2 Time : 732.0 sec. user=vaughan [2009-08-12 08:49:06] 735*2^710468-1 is not prime. Res64: 40928EF22BB1C9BF Time : 698.0 sec. user=vaughan [2009-08-12 08:51:12] 667*2^710469-1 is not prime. Res64: BC6A84100EECA83A Time : 720.0 sec. user=vaughan [2009-08-12 08:51:19] 625*2^710469-1 is not prime. Res64: 07C4DB3E0610E179 Time : 807.0 sec. user=vaughan [2009-08-12 08:52:08] 691*2^710469-1 is not prime. Res64: C0DEB983E4F0BB45 Time : 735.0 sec. user=vaughan [2009-08-12 08:53:35] 745*2^710469-1 is not prime. Res64: 2BCED9AE5B6E2048 Time : 556.0 sec. user=vaughan [2009-08-12 08:54:07] 605*2^710470-1 is not prime. Res64: 7377AB2F5F92400C Time : 554.0 sec. user=vaughan [2009-08-12 08:54:19] 665*2^710470-1 is not prime. Res64: EB7935E54F599A47 Time : 556.0 sec. user=vaughan [2009-08-12 08:54:33] 727*2^710469-1 is not prime. Res64: FECD04B7F1A4B51D Time : 811.0 sec. user=vaughan [2009-08-12 08:54:33] 723*2^710470-1 is not prime. Res64: CB4752DB2E2CA7EE Time : 554.0 sec. user=vaughan [2009-08-12 08:59:24] 755*2^710470-1 is not prime. Res64: 404B552F7A72BDAD Time : 733.0 sec. user=vaughan [2009-08-12 09:00:44] 773*2^710470-1 is not prime. Res64: B5954724CA6FCCB7 Time : 698.0 sec. user=vaughan [2009-08-12 09:02:51] 635*2^710472-1 is not prime. Res64: 1CE7AAFAD9A0B3D8 Time : 556.0 sec. user=vaughan [2009-08-12 09:03:13] 791*2^710470-1 is not prime. Res64: 7989649026A88E0A Time : 721.0 sec. user=vaughan [2009-08-12 09:03:24] 759*2^710472-1 is not prime. Res64: C1B46594426A1C39 Time : 557.0 sec. user=vaughan [2009-08-12 09:03:34] 779*2^710472-1 is not prime. Res64: 8C5D50D414EA28BD Time : 555.0 sec. user=vaughan [2009-08-12 09:03:50] 625*2^710473-1 is not prime. Res64: 0FB625A387F70E13 Time : 557.0 sec. user=vaughan [2009-08-12 09:04:22] 633*2^710472-1 is not prime. Res64: D5F9B9A4A6A34662 Time : 735.0 sec. user=vaughan [2009-08-12 09:04:44] 741*2^710471-1 is not prime. Res64: EE407BECBD5FC0BE Time : 806.0 sec. user=vaughan [2009-08-12 09:08:03] 797*2^710472-1 is not prime. Res64: D46B4837D7F3768C Time : 811.0 sec. user=vaughan [2009-08-12 09:11:37] 789*2^710473-1 is not prime. Res64: 04249E75BAE852F7 Time : 733.0 sec. user=vaughan [2009-08-12 09:12:06] 683*2^710474-1 is not prime. Res64: EABE1912DF230C11 Time : 555.0 sec. user=vaughan [2009-08-12 09:12:22] 627*2^710474-1 is not prime. Res64: E5E1AD15C71E679E Time : 698.0 sec. user=vaughan [2009-08-12 09:12:39] 735*2^710475-1 is not prime. Res64: 9EC7C6A19ADAFA0E Time : 555.0 sec. user=vaughan [2009-08-12 09:12:49] 739*2^710475-1 is not prime. Res64: B42D5CFF029F0047 Time : 555.0 sec. user=vaughan [2009-08-12 09:13:03] 749*2^710476-1 is not prime. Res64: 8BC7487DB1FA95BB Time : 553.0 sec. user=vaughan [2009-08-12 09:15:15] 633*2^710475-1 is not prime. Res64: AF05751E14EAC4F7 Time : 722.0 sec. user=vaughan [2009-08-12 09:16:39] 601*2^710477-1 is not prime. Res64: 82A1170078EDF110 Time : 737.0 sec. user=vaughan [2009-08-12 09:18:12] 635*2^710478-1 is not prime. Res64: D5176C99035A7520 Time : 808.0 sec. user=vaughan [2009-08-12 09:21:19] 711*2^710478-1 is not prime. Res64: 56C3008DAA34C0F4 Time : 554.0 sec. user=vaughan [2009-08-12 09:21:34] 657*2^710478-1 is not prime. Res64: 8529FF8CB48FBE17 Time : 812.0 sec. user=vaughan [2009-08-12 09:21:55] 685*2^710479-1 is not prime. Res64: 4C38E127F1DC5516 Time : 556.0 sec. user=vaughan [2009-08-12 09:22:05] 765*2^710479-1 is not prime. Res64: 7214B45C45450985 Time : 557.0 sec. user=vaughan [2009-08-12 09:22:18] 615*2^710480-1 is not prime. Res64: 6678B09CEF79374C Time : 555.0 sec. user=vaughan [2009-08-12 09:23:49] 671*2^710478-1 is not prime. Res64: FB861E64D4A840E1 Time : 732.0 sec. user=vaughan [2009-08-12 09:23:59] 661*2^710479-1 is not prime. Res64: AF88235DE0266954 Time : 698.0 sec. user=vaughan [2009-08-12 09:27:16] 635*2^710480-1 is not prime. Res64: 9D30A5E0543B38AF Time : 721.0 sec. user=vaughan [2009-08-12 09:28:55] 659*2^710480-1 is not prime. Res64: FD5A118F68E666DE Time : 736.0 sec. user=vaughan [2009-08-12 09:30:34] 789*2^710480-1 is not prime. Res64: D43A1F21F3082350 Time : 555.0 sec. user=vaughan [2009-08-12 09:31:10] 675*2^710481-1 is not prime. Res64: A136B52CEC610457 Time : 555.0 sec. user=vaughan [2009-08-12 09:31:20] 709*2^710481-1 is not prime. Res64: 537EBE5E582ACD70 Time : 555.0 sec. user=vaughan [2009-08-12 09:31:34] 739*2^710481-1 is not prime. Res64: 6FE99436679B74EB Time : 556.0 sec. user=vaughan [2009-08-12 09:31:39] 713*2^710480-1 is not prime. Res64: 3799349401FDB49E Time : 807.0 sec. user=vaughan [2009-08-12 09:35:04] 669*2^710481-1 is not prime. Res64: 2A1E4DFFBEB5B90C Time : 811.0 sec. user=vaughan [2009-08-12 09:35:37] 677*2^710482-1 is not prime. Res64: 89206D3C5C423DB3 Time : 698.0 sec. user=vaughan [2009-08-12 09:36:02] 653*2^710482-1 is not prime. Res64: F23723AEA928A4D6 Time : 733.0 sec. user=vaughan [2009-08-12 09:39:17] 681*2^710482-1 is not prime. Res64: 5C2DC414900FE0A3 Time : 721.0 sec. user=vaughan [2009-08-12 09:39:49] 699*2^710483-1 is not prime. Res64: 700EF7410B805B62 Time : 555.0 sec. user=vaughan [2009-08-12 09:40:24] 745*2^710483-1 is not prime. Res64: 6056915DD963DC72 Time : 554.0 sec. user=vaughan [2009-08-12 09:40:36] 615*2^710484-1 is not prime. Res64: 8532CE865F1266E4 Time : 556.0 sec. user=vaughan [2009-08-12 09:40:50] 635*2^710484-1 is not prime. Res64: E4AC77180B54CE2C Time : 556.0 sec. user=vaughan [2009-08-12 09:41:10] 663*2^710483-1 is not prime. Res64: 9F89285C930FE2CF Time : 735.0 sec. user=vaughan [2009-08-12 09:45:06] 719*2^710484-1 is not prime. Res64: D77DE3C0A5FDA3A1 Time : 807.0 sec. user=vaughan [2009-08-12 09:47:14] 687*2^710485-1 is not prime. Res64: 659F9FD40895E4F9 Time : 697.0 sec. user=vaughan [2009-08-12 09:48:15] 691*2^710485-1 is not prime. Res64: 8B7E096CB1F2707A Time : 733.0 sec. user=vaughan [2009-08-12 09:48:34] 667*2^710485-1 is not prime. Res64: AF2A2945D45E0C65 Time : 810.0 sec. user=vaughan [2009-08-12 09:49:04] 757*2^710485-1 is not prime. Res64: 3DA77BD2C0CE9816 Time : 555.0 sec. user=vaughan [2009-08-12 09:49:40] 627*2^710486-1 is not prime. Res64: 044CAFD24DB08FA4 Time : 556.0 sec. user=vaughan [2009-08-12 09:49:51] 713*2^710486-1 is not prime. Res64: 7393948AF2BE1262 Time : 555.0 sec. user=vaughan [2009-08-12 09:50:04] 743*2^710486-1 is not prime. Res64: 6E8C346227533F0C Time : 554.0 sec. user=vaughan [2009-08-12 09:51:18] 727*2^710485-1 is not prime. Res64: 596A884BA75E477E Time : 721.0 sec. user=vaughan [2009-08-12 09:53:26] 761*2^710486-1 is not prime. Res64: 3E19E2A0E6858B5C Time : 736.0 sec. user=vaughan [2009-08-12 09:58:16] 661*2^710487-1 is not prime. Res64: 7D97133560985A83 Time : 552.0 sec. user=vaughan [2009-08-12 09:58:32] 785*2^710486-1 is not prime. Res64: B12F0F438234BDFC Time : 806.0 sec. user=vaughan [2009-08-12 09:58:52] 795*2^710486-1 is not prime. Res64: 72C181A9C6BAF452 Time : 698.0 sec. user=vaughan [2009-08-12 09:58:54] 741*2^710487-1 is not prime. Res64: 527357317FA4F091 Time : 554.0 sec. user=vaughan [2009-08-12 09:59:08] 793*2^710487-1 is not prime. Res64: 7EE6390808EA309B Time : 557.0 sec. user=vaughan [2009-08-12 09:59:22] 639*2^710488-1 is not prime. Res64: AD57F4481118DFAC Time : 558.0 sec. user=vaughan [2009-08-12 10:00:27] 619*2^710487-1 is not prime. Res64: 424830E94447CBC3 Time : 732.0 sec. user=vaughan [2009-08-12 10:02:05] 649*2^710487-1 is not prime. Res64: CC64A22D6F4C8C11 Time : 811.0 sec. user=vaughan [2009-08-12 10:03:19] 695*2^710488-1 is not prime. Res64: FBAF05FAB9B17318 Time : 721.0 sec. user=vaughan [2009-08-12 10:05:41] 797*2^710488-1 is not prime. Res64: D3CD7EA139F013F6 Time : 735.0 sec. user=vaughan [2009-08-12 10:07:32] 615*2^710489-1 is not prime. Res64: B2D9915F9094F6D3 Time : 556.0 sec. user=vaughan [2009-08-12 10:08:09] 795*2^710489-1 is not prime. Res64: EC686A70BDB32FCE Time : 555.0 sec. user=vaughan [2009-08-12 10:08:22] 799*2^710489-1 is not prime. Res64: F0A9173E8C9C2C7A Time : 554.0 sec. user=vaughan [2009-08-12 10:08:37] 665*2^710490-1 is not prime. Res64: CDDEB0F06F78D987 Time : 556.0 sec. user=vaughan [2009-08-12 10:10:30] 775*2^710489-1 is not prime. Res64: C1C325AE29C6170A Time : 698.0 sec. user=vaughan [2009-08-12 10:11:59] 741*2^710489-1 is not prime. Res64: A39D830BF0204E54 Time : 807.0 sec. user=vaughan [2009-08-12 10:12:41] 725*2^710490-1 is not prime. Res64: 2649C79AA3E8E500 Time : 734.0 sec. user=vaughan [2009-08-12 10:15:19] 645*2^710491-1 is not prime. Res64: 52EB8C5775D656EB Time : 720.0 sec. user=vaughan [2009-08-12 10:15:36] 741*2^710490-1 is not prime. Res64: F162866546FA011C Time : 812.0 sec. user=vaughan [2009-08-12 10:16:47] 775*2^710491-1 is not prime. Res64: 214F046D3D6C3A70 Time : 555.0 sec. user=vaughan [2009-08-12 10:17:24] 789*2^710491-1 is not prime. Res64: C9A22E7DCB7869AA Time : 555.0 sec. user=vaughan [2009-08-12 10:17:40] 609*2^710492-1 is not prime. Res64: 6B542B57D3E1E9B0 Time : 558.0 sec. user=vaughan [2009-08-12 10:17:54] 735*2^710492-1 is not prime. Res64: 43E10BD1C37315E8 Time : 557.0 sec. user=vaughan [2009-08-12 10:17:57] 723*2^710491-1 is not prime. Res64: 87BED33FF9B41072 Time : 737.0 sec. user=vaughan [2009-08-12 10:22:08] 755*2^710492-1 is not prime. Res64: 898DBB78913A3D88 Time : 699.0 sec. user=vaughan [2009-08-12 10:24:54] 607*2^710493-1 is not prime. Res64: 6A05BCCE6203BB70 Time : 734.0 sec. user=vaughan [2009-08-12 10:25:26] 777*2^710492-1 is not prime. Res64: C8763C4790233339 Time : 807.0 sec. user=vaughan [2009-08-12 10:26:03] 651*2^710493-1 is not prime. Res64: 6CDECD0D9932BF4E Time : 556.0 sec. user=vaughan [2009-08-12 10:26:40] 685*2^710493-1 is not prime. Res64: D9A91D5808B364AD Time : 556.0 sec. user=vaughan [2009-08-12 10:26:56] 605*2^710494-1 is not prime. Res64: 14576980828FF57E Time : 556.0 sec. user=vaughan [2009-08-12 10:27:10] 705*2^710494-1 is not prime. Res64: 2874832FB69FC8FB Time : 556.0 sec. user=vaughan [2009-08-12 10:27:20] 609*2^710493-1 is not prime. Res64: 4DA5DA14E12F1053 Time : 721.0 sec. user=vaughan [2009-08-12 10:29:07] 627*2^710493-1 is not prime. Res64: DEC8B752B2124787 Time : 811.0 sec. user=vaughan [2009-08-12 10:30:12] 785*2^710494-1 is not prime. Res64: 9FE7E2240A7234FA Time : 735.0 sec. user=vaughan [2009-08-12 10:33:46] 645*2^710495-1 is not prime. Res64: B8D8778CD906F683 Time : 698.0 sec. user=vaughan [2009-08-12 10:35:18] 661*2^710495-1 is not prime. Res64: BB57189C4A98C8B6 Time : 556.0 sec. user=vaughan [2009-08-12 10:35:57] 663*2^710495-1 is not prime. Res64: 1F670457764E9EED Time : 557.0 sec. user=vaughan [2009-08-12 10:36:12] 679*2^710495-1 is not prime. Res64: DBADE43AADC57F75 Time : 557.0 sec. user=vaughan [2009-08-12 10:36:26] 633*2^710496-1 is not prime. Res64: 6A7E15091A0505CD Time : 557.0 sec. user=vaughan [2009-08-12 10:37:07] 649*2^710495-1 is not prime. Res64: 4FEB9E0ED9E8B269 Time : 734.0 sec. user=vaughan [2009-08-12 10:38:54] 651*2^710495-1 is not prime. Res64: 90659722AC34C8BF Time : 808.0 sec. user=vaughan [2009-08-12 10:39:21] 689*2^710496-1 is not prime. Res64: F4F3D1E05E8F48E2 Time : 721.0 sec. user=vaughan [2009-08-12 10:42:28] 735*2^710496-1 is not prime. Res64: 60B3AA62E68C9AA7 Time : 737.0 sec. user=vaughan [2009-08-12 10:42:40] 707*2^710496-1 is not prime. Res64: 69A540C3541812F0 Time : 813.0 sec. user=vaughan [2009-08-12 10:44:33] 699*2^710497-1 is not prime. Res64: A896B791BDA05B9A Time : 555.0 sec. user=vaughan [2009-08-12 10:45:11] 717*2^710497-1 is not prime. Res64: C1FB0B293D0A2E3F Time : 554.0 sec. user=vaughan [2009-08-12 10:45:24] 779*2^710496-1 is not prime. Res64: 653F25614D3D903D Time : 698.0 sec. user=vaughan [2009-08-12 10:45:27] 623*2^710498-1 is not prime. Res64: 01F6CFC90DC940F2 Time : 555.0 sec. user=vaughan [2009-08-12 10:45:43] 633*2^710498-1 is not prime. Res64: E76E348536EF4714 Time : 557.0 sec. user=vaughan [2009-08-12 10:49:19] 687*2^710498-1 is not prime. Res64: E7631EA42FC07619 Time : 733.0 sec. user=vaughan [2009-08-12 10:51:21] 773*2^710498-1 is not prime. Res64: 3D23C6003CCDE2D2 Time : 721.0 sec. user=vaughan [2009-08-12 10:52:23] 713*2^710498-1 is not prime. Res64: 7F7B303BC9A46866 Time : 809.0 sec. user=vaughan [2009-08-12 10:53:51] 621*2^710499-1 is not prime. Res64: 6F0E3B15A838904A Time : 558.0 sec. user=vaughan [2009-08-12 10:54:25] 795*2^710499-1 is not prime. Res64: BD8C7749A7485216 Time : 554.0 sec. user=vaughan [2009-08-12 10:54:42] 791*2^710498-1 is not prime. Res64: FB56520366E0A489 Time : 735.0 sec. user=vaughan [2009-08-12 10:54:43] 695*2^710500-1 is not prime. Res64: 231B0F9FF88C3270 Time : 556.0 sec. user=vaughan [2009-08-12 10:54:59] 699*2^710500-1 is not prime. Res64: 5777E5CD2BB9D95C Time : 557.0 sec. user=vaughan [2009-08-12 10:56:12] 609*2^710499-1 is not prime. Res64: BA8CF7CF125B5F33 Time : 812.0 sec. user=vaughan [2009-08-12 10:57:01] 687*2^710500-1 is not prime. Res64: E806E54440BF9BCE Time : 698.0 sec. user=vaughan [2009-08-12 11:01:32] 631*2^710501-1 is not prime. Res64: B5907FB8FFE45FB0 Time : 733.0 sec. user=vaughan [2009-08-12 11:03:06] 745*2^710501-1 is not prime. Res64: DE0BB14C901D3EAE Time : 555.0 sec. user=vaughan [2009-08-12 11:03:21] 697*2^710501-1 is not prime. Res64: 350231C19E10C2B2 Time : 720.0 sec. user=vaughan [2009-08-12 11:03:40] 615*2^710502-1 is not prime. Res64: 258E2B4B4333967D Time : 555.0 sec. user=vaughan [2009-08-12 11:03:58] 729*2^710503-1 is not prime. Res64: 85E2064CCA3DB6A9 Time : 555.0 sec. user=vaughan [2009-08-12 11:04:13] 735*2^710503-1 is not prime. Res64: F7A3C2ED64AC99BD Time : 554.0 sec. user=vaughan [2009-08-12 11:05:51] 741*2^710501-1 is not prime. Res64: F05E681CE6B00992 Time : 808.0 sec. user=vaughan [2009-08-12 11:06:59] 761*2^710502-1 is not prime. Res64: 1CE11741FAAD0109 Time : 737.0 sec. user=vaughan [2009-08-12 11:08:41] 605*2^710504-1 is not prime. Res64: C9EEA79B73472163 Time : 700.0 sec. user=vaughan [2009-08-12 11:09:43] 741*2^710503-1 is not prime. Res64: 75E7725330158107 Time : 812.0 sec. user=vaughan [2009-08-12 11:12:21] 625*2^710505-1 is not prime. Res64: ABFF354655B70B0C Time : 555.0 sec. user=vaughan [2009-08-12 11:12:58] 675*2^710505-1 is not prime. Res64: 4E62F240CE70AEA7 Time : 558.0 sec. user=vaughan [2009-08-12 11:13:13] 711*2^710505-1 is not prime. Res64: 2A5303750C7D07ED Time : 555.0 sec. user=vaughan [2009-08-12 11:13:30] 741*2^710505-1 is not prime. Res64: 45DA47BDEC1A27D8 Time : 557.0 sec. user=vaughan [2009-08-12 11:13:44] 747*2^710504-1 is not prime. Res64: 0B32DC7E4969E7F0 Time : 732.0 sec. user=vaughan [2009-08-12 11:15:22] 627*2^710505-1 is not prime. Res64: 68D80E378CEDE443 Time : 721.0 sec. user=vaughan [2009-08-12 11:19:15] 723*2^710506-1 is not prime. Res64: EC50EF355FD59D54 Time : 737.0 sec. user=vaughan [2009-08-12 11:19:19] 603*2^710506-1 is not prime. Res64: 90608CC81DCA71C4 Time : 809.0 sec. user=vaughan [2009-08-12 11:20:18] 765*2^710506-1 is not prime. Res64: 21129CB7E0D06596 Time : 698.0 sec. user=vaughan [2009-08-12 11:21:34] 627*2^710508-1 is not prime. Res64: F651EB253532843F Time : 553.0 sec. user=vaughan [2009-08-12 11:22:11] 669*2^710508-1 is not prime. Res64: A45CF30F2339FF09 Time : 553.0 sec. user=vaughan [2009-08-12 11:22:32] 707*2^710508-1 is not prime. Res64: 813134939C902D14 Time : 560.0 sec. user=vaughan [2009-08-12 11:22:46] 609*2^710509-1 is not prime. Res64: D31A7A2E85702813 Time : 557.0 sec. user=vaughan [2009-08-12 11:23:15] 609*2^710507-1 is not prime. Res64: FB5ACE2CD97924F0 Time : 812.0 sec. user=vaughan [2009-08-12 11:25:56] 625*2^710509-1 is not prime. Res64: 5D544204C9A02F90 Time : 732.0 sec. user=vaughan [2009-08-12 11:27:23] 661*2^710509-1 is not prime. Res64: D85F16084CCCC1D9 Time : 721.0 sec. user=vaughan [2009-08-12 11:30:48] 743*2^710510-1 is not prime. Res64: BA4EF1B51B930DF4 Time : 554.0 sec. user=vaughan [2009-08-12 11:31:27] 615*2^710511-1 is not prime. Res64: C76CF202E03559C9 Time : 556.0 sec. user=vaughan [2009-08-12 11:31:29] 685*2^710509-1 is not prime. Res64: 79A8DD4C1A918117 Time : 735.0 sec. user=vaughan [2009-08-12 11:31:46] 703*2^710511-1 is not prime. Res64: DE9740151E745C93 Time : 555.0 sec. user=vaughan [2009-08-12 11:31:56] 665*2^710510-1 is not prime. Res64: CEF955F5212BC89C Time : 698.0 sec. user=vaughan [2009-08-12 11:32:02] 735*2^710511-1 is not prime. Res64: AB192CC7DF5C3389 Time : 556.0 sec. user=vaughan [2009-08-12 11:32:47] 663*2^710510-1 is not prime. Res64: 746DD20E777DA88E Time : 809.0 sec. user=vaughan [2009-08-12 11:36:48] 781*2^710511-1 is not prime. Res64: 865220F9A090698B Time : 813.0 sec. user=vaughan [2009-08-12 11:38:08] 691*2^710513-1 is not prime. Res64: EECB97C87913C31B Time : 732.0 sec. user=vaughan [2009-08-12 11:39:23] 741*2^710513-1 is not prime. Res64: 055C02EBA69C73F7 Time : 720.0 sec. user=vaughan [2009-08-12 11:40:02] 663*2^710514-1 is not prime. Res64: 161EF462F10DB15C Time : 554.0 sec. user=vaughan [2009-08-12 11:40:42] 737*2^710514-1 is not prime. Res64: A8D7A893C8908CB8 Time : 555.0 sec. user=vaughan [2009-08-12 11:41:00] 783*2^710514-1 is not prime. Res64: A6F3694436D9FA95 Time : 554.0 sec. user=vaughan [2009-08-12 11:41:14] 649*2^710515-1 is not prime. Res64: 2A015588C50A7B62 Time : 552.0 sec. user=vaughan [2009-08-12 11:43:33] 631*2^710515-1 is not prime. Res64: F26CEF3BA0ECC47D Time : 697.0 sec. user=vaughan [2009-08-12 11:43:44] 755*2^710514-1 is not prime. Res64: 762EE0E8AE3F06AC Time : 735.0 sec. user=vaughan [2009-08-12 11:46:15] 651*2^710515-1 is not prime. Res64: 4A2C84F17C711361 Time : 809.0 sec. user=vaughan [2009-08-12 11:49:16] 719*2^710516-1 is not prime. Res64: 093A05425D871589 Time : 554.0 sec. user=vaughan [2009-08-12 11:49:59] 709*2^710517-1 is not prime. Res64: 3BC9C8A6C757322B Time : 557.0 sec. user=vaughan [2009-08-12 11:50:16] 795*2^710517-1 is not prime. Res64: 06A5D2DAAC5F66A7 Time : 556.0 sec. user=vaughan [2009-08-12 11:50:20] 617*2^710516-1 is not prime. Res64: 59FD52C9E1F9F12D Time : 732.0 sec. user=vaughan [2009-08-12 11:50:21] 765*2^710515-1 is not prime. Res64: 5030BE57AF352E8F Time : 813.0 sec. user=vaughan [2009-08-12 11:50:28] 605*2^710518-1 is not prime. Res64: F73F3D27E56C822A Time : 554.0 sec. user=vaughan [2009-08-12 11:51:25] 669*2^710516-1 is not prime. Res64: 23FC73C11D8FE7DB Time : 722.0 sec. user=vaughan [2009-08-12 11:55:11] 773*2^710518-1 is not prime. Res64: D2304592E31A336D Time : 698.0 sec. user=vaughan [2009-08-12 11:55:59] 603*2^710519-1 is not prime. Res64: D3C8EF544A424EA8 Time : 735.0 sec. user=vaughan [2009-08-12 11:58:28] 655*2^710519-1 is not prime. Res64: 3BC9ABF222E70F87 Time : 552.0 sec. user=vaughan [2009-08-12 11:59:14] 675*2^710519-1 is not prime. Res64: 3F611A94417DEE23 Time : 555.0 sec. user=vaughan [2009-08-12 11:59:30] 703*2^710519-1 is not prime. Res64: F1B67E2717C68026 Time : 554.0 sec. user=vaughan [2009-08-12 11:59:42] 645*2^710519-1 is not prime. Res64: D7D9D12B73A4D6D8 Time : 808.0 sec. user=vaughan [2009-08-12 11:59:43] 765*2^710520-1 is not prime. Res64: 698DEB403809854E Time : 555.0 sec. user=vaughan [2009-08-12 12:02:33] 705*2^710519-1 is not prime. Res64: 5D4CB259C2C3FC15 Time : 733.0 sec. user=vaughan [2009-08-12 12:03:25] 685*2^710521-1 is not prime. Res64: 8D0ADB6A9E3A9604 Time : 721.0 sec. user=vaughan [2009-08-12 12:03:52] 735*2^710519-1 is not prime. Res64: 55E14226CAB870D4 Time : 811.0 sec. user=vaughan [2009-08-12 12:06:49] 741*2^710521-1 is not prime. Res64: FD982F83BE708385 Time : 698.0 sec. user=vaughan [2009-08-12 12:07:42] 767*2^710522-1 is not prime. Res64: 9F50DD9EE48DD708 Time : 554.0 sec. user=vaughan [2009-08-12 12:08:14] 645*2^710522-1 is not prime. Res64: 3C3C0186F1A5D7EE Time : 735.0 sec. user=vaughan [2009-08-12 12:08:31] 785*2^710522-1 is not prime. Res64: 7B800C5E1E091BE1 Time : 557.0 sec. user=vaughan [2009-08-12 12:08:46] 609*2^710523-1 is not prime. Res64: 94837E94EAB67EA4 Time : 556.0 sec. user=vaughan [2009-08-12 12:08:58] 705*2^710523-1 is not prime. Res64: 6235ED574DDCC20E Time : 555.0 sec. user=vaughan [2009-08-12 12:13:09] 613*2^710523-1 is not prime. Res64: 2C03B3DED5B45530 Time : 808.0 sec. user=vaughan [2009-08-12 12:14:45] 753*2^710523-1 is not prime. Res64: 07A4CD57948F2694 Time : 733.0 sec. user=vaughan [2009-08-12 12:15:26] 775*2^710523-1 is not prime. Res64: BD6746A68B04D950 Time : 721.0 sec. user=vaughan [2009-08-12 12:16:55] 609*2^710524-1 is not prime. Res64: 3AAA83FF4DCECA5F Time : 554.0 sec. user=vaughan [2009-08-12 12:17:24] 781*2^710523-1 is not prime. Res64: 7C5CBB435ED010E9 Time : 812.0 sec. user=vaughan [2009-08-12 12:17:44] 759*2^710524-1 is not prime. Res64: E911932F0C662975 Time : 553.0 sec. user=vaughan [2009-08-12 12:18:01] 691*2^710525-1 is not prime. Res64: 0672A1A7EC4DEB5F Time : 555.0 sec. user=vaughan [2009-08-12 12:18:12] 699*2^710525-1 is not prime. Res64: A463E4386CF0EB30 Time : 554.0 sec. user=vaughan [2009-08-12 12:18:27] 795*2^710523-1 is not prime. Res64: 4AFB19A273C9EE30 Time : 698.0 sec. user=vaughan [2009-08-12 12:20:30] 615*2^710524-1 is not prime. Res64: A62EAB20446114CC Time : 736.0 sec. user=vaughan [2009-08-12 12:26:09] 755*2^710526-1 is not prime. Res64: B8D0CD3721363DB2 Time : 554.0 sec. user=vaughan [2009-08-12 12:26:38] 721*2^710525-1 is not prime. Res64: 6AB6AC64E98BFD8D Time : 810.0 sec. user=vaughan [2009-08-12 12:26:57] 735*2^710525-1 is not prime. Res64: 60207A150DFB9B56 Time : 733.0 sec. user=vaughan [2009-08-12 12:27:00] 783*2^710526-1 is not prime. Res64: AE58DCC9A34E05DD Time : 556.0 sec. user=vaughan [2009-08-12 12:27:16] 609*2^710527-1 is not prime. Res64: B7950DBF21EEBA6C Time : 555.0 sec. user=vaughan [2009-08-12 12:27:24] 625*2^710527-1 is not prime. Res64: DEF7762FC18898EC Time : 552.0 sec. user=vaughan [2009-08-12 12:27:26] 723*2^710526-1 is not prime. Res64: 48044E916884C184 Time : 720.0 sec. user=vaughan [2009-08-12 12:30:05] 633*2^710527-1 is not prime. Res64: 1CC29D0D9B627D08 Time : 699.0 sec. user=vaughan [2009-08-12 12:30:56] 777*2^710526-1 is not prime. Res64: 1421F6E53CA88EAF Time : 812.0 sec. user=vaughan [2009-08-12 12:32:45] 693*2^710527-1 is not prime. Res64: 6AF7DB23ABDE7FD2 Time : 735.0 sec. user=vaughan [2009-08-12 12:35:25] 741*2^710527-1 is not prime. Res64: 0DC4C1D866C4FD6F Time : 556.0 sec. user=vaughan [2009-08-12 12:36:15] 669*2^710528-1 is not prime. Res64: 07B0515322730154 Time : 555.0 sec. user=vaughan [2009-08-12 12:36:32] 683*2^710528-1 is not prime. Res64: 4C5770699DD2225E Time : 556.0 sec. user=vaughan [2009-08-12 12:36:40] 657*2^710529-1 is not prime. Res64: 03F8E83529423916 Time : 556.0 sec. user=vaughan [2009-08-12 12:39:09] 633*2^710528-1 is not prime. Res64: 54F3809D7DB50A41 Time : 732.0 sec. user=vaughan [2009-08-12 12:39:26] 679*2^710529-1 is not prime. Res64: F1EBC5B286DE1CE8 Time : 720.0 sec. user=vaughan [2009-08-12 12:40:05] 775*2^710527-1 is not prime. Res64: D935801A89F1A846 Time : 808.0 sec. user=vaughan [2009-08-12 12:41:42] 691*2^710529-1 is not prime. Res64: 708E56F39E828D2C Time : 698.0 sec. user=vaughan [2009-08-12 12:44:28] 741*2^710529-1 is not prime. Res64: F23978A9A83F3AFB Time : 812.0 sec. user=vaughan [2009-08-12 12:44:39] 645*2^710530-1 is not prime. Res64: 523374A02C7C187C Time : 554.0 sec. user=vaughan [2009-08-12 12:44:59] 781*2^710529-1 is not prime. Res64: 692C182E826B9B15 Time : 735.0 sec. user=vaughan [2009-08-12 12:45:32] 687*2^710530-1 is not prime. Res64: 4866ACFB8A8AF9CF Time : 557.0 sec. user=vaughan [2009-08-12 12:45:47] 701*2^710530-1 is not prime. Res64: 6CE6ADAC6FC763F2 Time : 555.0 sec. user=vaughan [2009-08-12 12:45:55] 731*2^710530-1 is not prime. Res64: FDDDAFB993DC2582 Time : 555.0 sec. user=vaughan [2009-08-12 12:51:21] 619*2^710531-1 is not prime. Res64: 3D2259C068F3DF8D Time : 732.0 sec. user=vaughan [2009-08-12 12:51:26] 673*2^710531-1 is not prime. Res64: 316E5DE36CECF81A Time : 720.0 sec. user=vaughan [2009-08-12 12:53:21] 711*2^710531-1 is not prime. Res64: 7C0B8D4F60635F7C Time : 699.0 sec. user=vaughan [2009-08-12 12:53:32] 685*2^710531-1 is not prime. Res64: BF35DC42610E2718 Time : 808.0 sec. user=vaughan [2009-08-12 12:53:53] 745*2^710531-1 is not prime. Res64: A8AD42FE3A57DB13 Time : 555.0 sec. user=vaughan [2009-08-12 12:54:49] 741*2^710533-1 is not prime. Res64: C7C05130C3553C28 Time : 558.0 sec. user=vaughan [2009-08-12 12:54:59] 765*2^710533-1 is not prime. Res64: CC87A16C8331BB6F Time : 552.0 sec. user=vaughan [2009-08-12 12:55:09] 605*2^710534-1 is not prime. Res64: 5470C3E87CD0292C Time : 555.0 sec. user=vaughan [2009-08-12 12:57:14] 783*2^710531-1 is not prime. Res64: DF70CE8E234DA7E0 Time : 735.0 sec. user=vaughan [2009-08-12 12:57:59] 741*2^710531-1 is not prime. Res64: E50BA22859D311E4 Time : 811.0 sec. user=vaughan [2009-08-12 13:03:05] 619*2^710535-1 is not prime. Res64: 1239EA8DF701206B Time : 552.0 sec. user=vaughan [2009-08-12 13:03:27] 623*2^710534-1 is not prime. Res64: F779796A0B2EE743 Time : 721.0 sec. user=vaughan [2009-08-12 13:03:32] 617*2^710534-1 is not prime. Res64: E577BEF8E36A9AB5 Time : 731.0 sec. user=vaughan [2009-08-12 13:04:02] 795*2^710535-1 is not prime. Res64: 051603BDE72C6044 Time : 553.0 sec. user=vaughan [2009-08-12 13:04:16] 639*2^710536-1 is not prime. Res64: 13449C204ED2420D Time : 557.0 sec. user=vaughan [2009-08-12 13:04:23] 755*2^710536-1 is not prime. Res64: 3310E861F03D3981 Time : 554.0 sec. user=vaughan [2009-08-12 13:04:59] 635*2^710534-1 is not prime. Res64: B04605B0D408FA95 Time : 698.0 sec. user=vaughan [2009-08-12 13:06:58] 795*2^710534-1 is not prime. Res64: 4C79E089A83FC4FB Time : 807.0 sec. user=vaughan [2009-08-12 13:09:29] 619*2^710537-1 is not prime. Res64: 7EB25E7F6B7F9B49 Time : 735.0 sec. user=vaughan [2009-08-12 13:11:30] 711*2^710537-1 is not prime. Res64: 96EDBBB1FA86469A Time : 811.0 sec. user=vaughan [2009-08-12 13:12:22] 735*2^710537-1 is not prime. Res64: C4DD586D75ECDB61 Time : 557.0 sec. user=vaughan [2009-08-12 13:13:17] 641*2^710538-1 is not prime. Res64: 145685534F2D782E Time : 555.0 sec. user=vaughan [2009-08-12 13:13:32] 671*2^710538-1 is not prime. Res64: 20B9AC4B6D5A55EC Time : 556.0 sec. user=vaughan [2009-08-12 13:13:37] 705*2^710538-1 is not prime. Res64: CC433E5EDC53B319 Time : 554.0 sec. user=vaughan [2009-08-12 13:15:29] 615*2^710538-1 is not prime. Res64: 6FCF094C8E24F602 Time : 722.0 sec. user=vaughan [2009-08-12 13:15:44] 621*2^710538-1 is not prime. Res64: 3DA2949553770721 Time : 732.0 sec. user=vaughan [2009-08-12 13:16:37] 755*2^710538-1 is not prime. Res64: 7303231CCCBF820B Time : 699.0 sec. user=vaughan [2009-08-12 13:20:24] 709*2^710539-1 is not prime. Res64: BD97468ED63289ED Time : 807.0 sec. user=vaughan [2009-08-12 13:21:35] 771*2^710539-1 is not prime. Res64: 522AC09C07A662E0 Time : 553.0 sec. user=vaughan [2009-08-12 13:21:44] 723*2^710539-1 is not prime. Res64: 3EF07FAF67D3F450 Time : 735.0 sec. user=vaughan [2009-08-12 13:22:33] 627*2^710541-1 is not prime. Res64: 010A184AFBB3DD7C Time : 557.0 sec. user=vaughan [2009-08-12 13:22:49] 735*2^710541-1 is not prime. Res64: 1864DF35282BEBD6 Time : 557.0 sec. user=vaughan [2009-08-12 13:22:52] 611*2^710542-1 is not prime. Res64: 40CC4DACAD3FF362 Time : 555.0 sec. user=vaughan [2009-08-12 13:24:58] 759*2^710539-1 is not prime. Res64: C2FF650F3637D850 Time : 808.0 sec. user=vaughan [2009-08-12 13:27:30] 623*2^710542-1 is not prime. Res64: 392A8C61E3DC279A Time : 721.0 sec. user=vaughan [2009-08-12 13:27:56] 647*2^710542-1 is not prime. Res64: 9D1468C9A35AFA12 Time : 732.0 sec. user=vaughan [2009-08-12 13:28:14] 765*2^710542-1 is not prime. Res64: 6EBFC544EF40FC79 Time : 698.0 sec. user=vaughan [2009-08-12 13:30:49] 615*2^710543-1 is not prime. Res64: B56B0748A97127E1 Time : 555.0 sec. user=vaughan [2009-08-12 13:31:47] 605*2^710544-1 is not prime. Res64: 36291A4982D16EEF Time : 554.0 sec. user=vaughan [2009-08-12 13:32:05] 607*2^710545-1 is not prime. Res64: 9FE7688F25DECA56 Time : 557.0 sec. user=vaughan [2009-08-12 13:32:08] 649*2^710545-1 is not prime. Res64: 837E5E987A5EA3F2 Time : 556.0 sec. user=vaughan [2009-08-12 13:33:50] 785*2^710542-1 is not prime. Res64: 69DE2F567E46D43D Time : 806.0 sec. user=vaughan [2009-08-12 13:33:59] 771*2^710543-1 is not prime. Res64: D6A9DE35C9BFF969 Time : 735.0 sec. user=vaughan [2009-08-12 13:38:28] 765*2^710545-1 is not prime. Res64: 011126F812B9D8DD Time : 810.0 sec. user=vaughan [2009-08-12 13:39:30] 799*2^710545-1 is not prime. Res64: 758A48C98F5667F6 Time : 720.0 sec. user=vaughan [2009-08-12 13:39:52] 755*2^710546-1 is not prime. Res64: FC4FC32BF87F810A Time : 698.0 sec. user=vaughan [2009-08-12 13:40:03] 773*2^710546-1 is not prime. Res64: 5910AC83A8AA30A1 Time : 554.0 sec. user=vaughan [2009-08-12 13:40:08] 735*2^710546-1 is not prime. Res64: 29333F0368ED8174 Time : 732.0 sec. user=vaughan [2009-08-12 13:41:02] 615*2^710547-1 is not prime. Res64: CDF00385BB0B8890 Time : 556.0 sec. user=vaughan [2009-08-12 13:41:18] 649*2^710547-1 is not prime. Res64: 3FE3831D503AAAD1 Time : 553.0 sec. user=vaughan [2009-08-12 13:41:22] 669*2^710547-1 is not prime. Res64: B947D1BCF9462D74 Time : 554.0 sec. user=vaughan [2009-08-12 13:46:14] 703*2^710547-1 is not prime. Res64: 5D8AFFB5BADDE2FE Time : 736.0 sec. user=vaughan [2009-08-12 13:47:15] 675*2^710547-1 is not prime. Res64: 05D718B8B3D0BB8D Time : 805.0 sec. user=vaughan [2009-08-12 13:49:16] 777*2^710548-1 is not prime. Res64: 014ACEF6E1B6E8C5 Time : 553.0 sec. user=vaughan [2009-08-12 13:50:15] 721*2^710549-1 is not prime. Res64: DFB8BF8F73E69A71 Time : 553.0 sec. user=vaughan [2009-08-12 13:50:34] 789*2^710549-1 is not prime. Res64: C34639EAA52AC75F Time : 556.0 sec. user=vaughan [2009-08-12 13:50:35] 741*2^710550-1 is not prime. Res64: 90B222A74601B814 Time : 553.0 sec. user=vaughan [2009-08-12 13:51:30] 695*2^710548-1 is not prime. Res64: DD2E9A1B6B9DA1F8 Time : 698.0 sec. user=vaughan [2009-08-12 13:51:30] 735*2^710547-1 is not prime. Res64: 587EE4AE7A67337E Time : 720.0 sec. user=vaughan [2009-08-12 13:51:57] 709*2^710547-1 is not prime. Res64: 32E006B1A34C836C Time : 810.0 sec. user=vaughan [2009-08-12 13:52:20] 675*2^710549-1 is not prime. Res64: A22A441D6230253F Time : 732.0 sec. user=vaughan [2009-08-12 13:58:29] 603*2^710551-1 is not prime. Res64: 2F57EABF03DBF79F Time : 735.0 sec. user=vaughan [2009-08-12 13:58:30] 625*2^710551-1 is not prime. Res64: AF4DBBE33A5D9A96 Time : 554.0 sec. user=vaughan [2009-08-12 13:59:33] 673*2^710551-1 is not prime. Res64: D7AAE6A2A6E8B598 Time : 558.0 sec. user=vaughan [2009-08-12 13:59:47] 783*2^710551-1 is not prime. Res64: 4325EECF0AC7C317 Time : 553.0 sec. user=vaughan [2009-08-12 13:59:52] 603*2^710552-1 is not prime. Res64: 3799EEE3689DD7FA Time : 557.0 sec. user=vaughan [2009-08-12 14:00:41] 619*2^710551-1 is not prime. Res64: BCA0442BD1588589 Time : 806.0 sec. user=vaughan [2009-08-12 14:03:08] 623*2^710552-1 is not prime. Res64: F585FFFE21CCF7D6 Time : 699.0 sec. user=vaughan [2009-08-12 14:03:31] 717*2^710552-1 is not prime. Res64: 9055C77A8BB20663 Time : 721.0 sec. user=vaughan [2009-08-12 14:04:33] 727*2^710553-1 is not prime. Res64: 850FE0590EF668BA Time : 733.0 sec. user=vaughan [2009-08-12 14:05:28] 637*2^710553-1 is not prime. Res64: B90381E12AF68A45 Time : 812.0 sec. user=vaughan [2009-08-12 14:07:43] 663*2^710554-1 is not prime. Res64: A7D0750A03B78E59 Time : 553.0 sec. user=vaughan [2009-08-12 14:08:46] 677*2^710554-1 is not prime. Res64: C399B466BA238DE9 Time : 554.0 sec. user=vaughan [2009-08-12 14:09:01] 701*2^710554-1 is not prime. Res64: DF420D204C63E4E1 Time : 554.0 sec. user=vaughan [2009-08-12 14:09:09] 723*2^710554-1 is not prime. Res64: 4A576B52A62EAE83 Time : 557.0 sec. user=vaughan [2009-08-12 14:10:44] 789*2^710553-1 is not prime. Res64: 33DD594382352928 Time : 735.0 sec. user=vaughan [2009-08-12 14:14:06] 765*2^710554-1 is not prime. Res64: E3D6A8D1059AB5FA Time : 805.0 sec. user=vaughan [2009-08-12 14:14:46] 791*2^710554-1 is not prime. Res64: FCA63E5823543982 Time : 698.0 sec. user=vaughan [2009-08-12 14:15:31] 601*2^710555-1 is not prime. Res64: FF14D7DA794610F9 Time : 720.0 sec. user=vaughan [2009-08-12 14:16:45] 603*2^710555-1 is not prime. Res64: 9EF5C08A787D1B6E Time : 733.0 sec. user=vaughan [2009-08-12 14:16:57] 741*2^710555-1 is not prime. Res64: F41366C73234A879 Time : 555.0 sec. user=vaughan [2009-08-12 14:18:04] 753*2^710555-1 is not prime. Res64: CEB63EF120CF36F5 Time : 558.0 sec. user=vaughan [2009-08-12 14:18:20] 771*2^710555-1 is not prime. Res64: 0E68F2E257BF3195 Time : 559.0 sec. user=vaughan [2009-08-12 14:18:24] 777*2^710556-1 is not prime. Res64: D913F43D0EFC7C93 Time : 556.0 sec. user=vaughan [2009-08-12 14:18:51] 705*2^710555-1 is not prime. Res64: 36AF3F19F506AA5D Time : 804.0 sec. user=vaughan [2009-08-12 14:22:59] 609*2^710557-1 is not prime. Res64: 3701EA0CE60793F5 Time : 735.0 sec. user=vaughan [2009-08-12 14:26:11] 623*2^710558-1 is not prime. Res64: 57BA9EC9DBBCABC7 Time : 554.0 sec. user=vaughan [2009-08-12 14:26:24] 741*2^710557-1 is not prime. Res64: ADE4A57BEA30FEA3 Time : 698.0 sec. user=vaughan [2009-08-12 14:27:10] 645*2^710557-1 is not prime. Res64: 38A16716D5647C0B Time : 784.0 sec. user=vaughan [2009-08-12 14:27:19] 731*2^710558-1 is not prime. Res64: 0361058D251B226F Time : 555.0 sec. user=vaughan [2009-08-12 14:27:31] 747*2^710557-1 is not prime. Res64: 15E24127A8952ABD Time : 720.0 sec. user=vaughan [2009-08-12 14:27:35] 753*2^710558-1 is not prime. Res64: 10458E53509404C5 Time : 556.0 sec. user=vaughan [2009-08-12 14:27:41] 755*2^710558-1 is not prime. Res64: B8DDF525EB58BA45 Time : 557.0 sec. user=vaughan [2009-08-12 14:28:57] 603*2^710558-1 is not prime. Res64: 9F7D9CB42F52D855 Time : 733.0 sec. user=vaughan [2009-08-12 14:31:55] 633*2^710559-1 is not prime. Res64: BCEDEF739C114EEE Time : 785.0 sec. user=vaughan [2009-08-12 14:35:14] 669*2^710559-1 is not prime. Res64: 896A851E985953D4 Time : 735.0 sec. user=vaughan [2009-08-12 14:35:25] 685*2^710559-1 is not prime. Res64: F09C96F39E7B4763 Time : 555.0 sec. user=vaughan [2009-08-12 14:36:36] 717*2^710560-1 is not prime. Res64: 729063026CA39E49 Time : 557.0 sec. user=vaughan [2009-08-12 14:36:51] 759*2^710560-1 is not prime. Res64: AEF5FD12DEBE3D3D Time : 556.0 sec. user=vaughan [2009-08-12 14:36:58] 601*2^710561-1 is not prime. Res64: CF86A72251D0449A Time : 557.0 sec. user=vaughan [2009-08-12 14:38:02] 751*2^710559-1 is not prime. Res64: 769F05334A2B66FF Time : 699.0 sec. user=vaughan [2009-08-12 14:39:32] 735*2^710560-1 is not prime. Res64: A317F96B3EF6D227 Time : 721.0 sec. user=vaughan [2009-08-12 14:40:10] 609*2^710560-1 is not prime. Res64: 811F7266E5297015 Time : 780.0 sec. user=vaughan [2009-08-12 14:41:09] 691*2^710561-1 is not prime. Res64: E8F149BF07985E37 Time : 732.0 sec. user=vaughan [2009-08-12 14:44:40] 627*2^710562-1 is not prime. Res64: EFC7F48FEE67BF26 Time : 555.0 sec. user=vaughan [2009-08-12 14:44:57] 715*2^710561-1 is not prime. Res64: F8DD3DA1B572D465 Time : 783.0 sec. user=vaughan [2009-08-12 14:45:48] 731*2^710562-1 is not prime. Res64: 958CF2F707F2AA18 Time : 553.0 sec. user=vaughan [2009-08-12 14:46:07] 741*2^710562-1 is not prime. Res64: BE8030C860D47DAE Time : 557.0 sec. user=vaughan [2009-08-12 14:46:11] 777*2^710562-1 is not prime. Res64: 358985EC0D208BEC Time : 553.0 sec. user=vaughan [2009-08-12 14:47:29] 799*2^710561-1 is not prime. Res64: 62DDEFC62F5AC41B Time : 735.0 sec. user=vaughan [2009-08-12 14:49:40] 609*2^710563-1 is not prime. Res64: 7EB6632F74046DE9 Time : 698.0 sec. user=vaughan [2009-08-12 14:51:34] 615*2^710563-1 is not prime. Res64: FF332B4AE73B60C7 Time : 723.0 sec. user=vaughan [2009-08-12 14:53:11] 619*2^710563-1 is not prime. Res64: 560DC79A78D07958 Time : 781.0 sec. user=vaughan [2009-08-12 14:53:21] 631*2^710563-1 is not prime. Res64: A385C9006467BCCA Time : 732.0 sec. user=vaughan [2009-08-12 14:53:53] 691*2^710563-1 is not prime. Res64: 67250E920BC33947 Time : 553.0 sec. user=vaughan [2009-08-12 14:55:02] 705*2^710563-1 is not prime. Res64: 5581FEEFE1C7859C Time : 554.0 sec. user=vaughan [2009-08-12 14:55:20] 751*2^710563-1 is not prime. Res64: FB1B96FD082D5334 Time : 554.0 sec. user=vaughan [2009-08-12 14:55:25] 783*2^710563-1 is not prime. Res64: 2595F4B24EC404E8 Time : 554.0 sec. user=vaughan [2009-08-12 14:58:01] 703*2^710563-1 is not prime. Res64: 9D2E35C9AD4B0FE4 Time : 785.0 sec. user=vaughan [2009-08-12 14:59:41] 793*2^710563-1 is not prime. Res64: 977D210A8230B6C8 Time : 732.0 sec. user=vaughan [2009-08-12 15:01:18] 659*2^710564-1 is not prime. Res64: A9CF9887B7201C7E Time : 698.0 sec. user=vaughan [2009-08-12 15:03:08] 617*2^710566-1 is not prime. Res64: 2154234EBC88B760 Time : 555.0 sec. user=vaughan [2009-08-12 15:03:26] 753*2^710564-1 is not prime. Res64: 625C8C480FAE833E Time : 712.0 sec. user=vaughan [2009-08-12 15:04:19] 653*2^710566-1 is not prime. Res64: DC38B9FFF68B5C66 Time : 557.0 sec. user=vaughan [2009-08-12 15:04:32] 657*2^710566-1 is not prime. Res64: 387E2923941D835C Time : 552.0 sec. user=vaughan [2009-08-12 15:04:40] 677*2^710566-1 is not prime. Res64: 43B727E2DDD45D5B Time : 555.0 sec. user=vaughan [2009-08-12 15:05:05] 611*2^710566-1 is not prime. Res64: D33551AF49AC7922 Time : 704.0 sec. user=vaughan [2009-08-12 15:06:16] 781*2^710565-1 is not prime. Res64: CDC5062C16C662D1 Time : 785.0 sec. user=vaughan [2009-08-12 15:11:11] 695*2^710566-1 is not prime. Res64: 3958383765E7AB6C Time : 790.0 sec. user=vaughan [2009-08-12 15:11:37] 713*2^710566-1 is not prime. Res64: BB33A71ABADABB65 Time : 716.0 sec. user=vaughan [2009-08-12 15:12:22] 785*2^710566-1 is not prime. Res64: BB81C81084D75A7A Time : 555.0 sec. user=vaughan [2009-08-12 15:12:49] 723*2^710566-1 is not prime. Res64: 4843F44A73A4F04D Time : 691.0 sec. user=vaughan [2009-08-12 15:13:31] 651*2^710567-1 is not prime. Res64: 173E5797254597C9 Time : 552.0 sec. user=vaughan [2009-08-12 15:13:49] 673*2^710567-1 is not prime. Res64: 382DDBD036315279 Time : 557.0 sec. user=vaughan [2009-08-12 15:13:53] 629*2^710568-1 is not prime. Res64: 411694D0529E6E9A Time : 554.0 sec. user=vaughan [2009-08-12 15:15:11] 619*2^710567-1 is not prime. Res64: 59369C0467444568 Time : 705.0 sec. user=vaughan [2009-08-12 15:16:32] 665*2^710568-1 is not prime. Res64: F62E26E91BC0011E Time : 687.0 sec. user=vaughan [2009-08-12 15:19:23] 683*2^710568-1 is not prime. Res64: 7BCC9C7EB22FF7A4 Time : 787.0 sec. user=vaughan [2009-08-12 15:21:40] 773*2^710568-1 is not prime. Res64: 41BD73C8C46B6B77 Time : 558.0 sec. user=vaughan [2009-08-12 15:22:47] 795*2^710568-1 is not prime. Res64: 2EE008BC5C23BAA6 Time : 556.0 sec. user=vaughan [2009-08-12 15:23:04] 681*2^710569-1 is not prime. Res64: 75088BC7F031470C Time : 555.0 sec. user=vaughan [2009-08-12 15:23:08] 687*2^710569-1 is not prime. Res64: 6569AF625B1A561C Time : 555.0 sec. user=vaughan [2009-08-12 15:23:34] 707*2^710568-1 is not prime. Res64: 0E8AF4F616DA3773 Time : 717.0 sec. user=vaughan [2009-08-12 15:24:20] 777*2^710568-1 is not prime. Res64: 0F259E0416CB9B66 Time : 691.0 sec. user=vaughan [2009-08-12 15:24:22] 705*2^710568-1 is not prime. Res64: FA01FF6861A28677 Time : 791.0 sec. user=vaughan [2009-08-12 15:26:53] 691*2^710569-1 is not prime. Res64: B9BFEEFD2AACABD5 Time : 704.0 sec. user=vaughan [2009-08-12 15:28:00] 699*2^710569-1 is not prime. Res64: 925BF86BC5590D61 Time : 688.0 sec. user=vaughan [2009-08-12 15:30:55] 645*2^710570-1 is not prime. Res64: 54527D6A52CF1469 Time : 556.0 sec. user=vaughan [2009-08-12 15:32:02] 713*2^710570-1 is not prime. Res64: ACD43B5C6DE83DBD Time : 555.0 sec. user=vaughan [2009-08-12 15:32:18] 717*2^710570-1 is not prime. Res64: 31062A88301EFC34 Time : 555.0 sec. user=vaughan [2009-08-12 15:32:25] 741*2^710570-1 is not prime. Res64: 3B3D5DB66CF1F5E3 Time : 557.0 sec. user=vaughan [2009-08-12 15:32:31] 605*2^710570-1 is not prime. Res64: 61122F38A369567B Time : 788.0 sec. user=vaughan [2009-08-12 15:35:31] 755*2^710570-1 is not prime. Res64: A6D561E9B0475B50 Time : 718.0 sec. user=vaughan [2009-08-12 15:35:50] 797*2^710570-1 is not prime. Res64: C867AC90D729424B Time : 690.0 sec. user=vaughan [2009-08-12 15:37:35] 615*2^710571-1 is not prime. Res64: 2B91ECFAB18C097B Time : 793.0 sec. user=vaughan [2009-08-12 15:38:35] 723*2^710572-1 is not prime. Res64: F79B30358F3D2770 Time : 702.0 sec. user=vaughan [2009-08-12 15:39:27] 749*2^710572-1 is not prime. Res64: DFC727097139EA08 Time : 688.0 sec. user=vaughan [2009-08-12 15:40:22] 759*2^710572-1 is not prime. Res64: F9980FC291C7FC83 Time : 567.0 sec. user=vaughan [2009-08-12 15:41:32] 781*2^710573-1 is not prime. Res64: CF06022A7E2155C6 Time : 570.0 sec. user=vaughan [2009-08-12 15:41:50] 789*2^710573-1 is not prime. Res64: 011B0F18C0FB6E4B Time : 572.0 sec. user=vaughan [2009-08-12 15:41:55] 611*2^710574-1 is not prime. Res64: CDF06DF564315A0F Time : 571.0 sec. user=vaughan [2009-08-12 15:45:41] 737*2^710574-1 is not prime. Res64: 200810CC22AA4DA9 Time : 790.0 sec. user=vaughan [2009-08-12 15:47:22] 767*2^710574-1 is not prime. Res64: 96AF88C133A65438 Time : 692.0 sec. user=vaughan [2009-08-12 15:47:27] 765*2^710574-1 is not prime. Res64: 05C9E17A23B55B10 Time : 716.0 sec. user=vaughan [2009-08-12 15:50:17] 783*2^710575-1 is not prime. Res64: 5DC41CF739CB5E56 Time : 595.0 sec. user=vaughan [2009-08-12 15:50:17] 645*2^710575-1 is not prime. Res64: 27D8C3D12E217CE4 Time : 702.0 sec. user=vaughan [2009-08-12 15:50:47] 797*2^710574-1 is not prime. Res64: 6DAD9C9AAE5BF80B Time : 792.0 sec. user=vaughan [2009-08-12 15:50:58] 651*2^710575-1 is not prime. Res64: 9B57808923D6B55D Time : 691.0 sec. user=vaughan [2009-08-12 15:51:27] 609*2^710576-1 is not prime. Res64: 94DB413F7A96A987 Time : 595.0 sec. user=vaughan [2009-08-12 15:51:46] 615*2^710576-1 is not prime. Res64: 9DA02B54399BD089 Time : 596.0 sec. user=vaughan [2009-08-12 15:51:53] 617*2^710576-1 is not prime. Res64: 887B7A821EF982C0 Time : 598.0 sec. user=vaughan [2009-08-12 15:58:51] 623*2^710576-1 is not prime. Res64: 74E3C8C246744A5C Time : 790.0 sec. user=vaughan [2009-08-12 15:58:54] 645*2^710576-1 is not prime. Res64: 91F2A31619EDD320 Time : 692.0 sec. user=vaughan [2009-08-12 15:59:24] 675*2^710576-1 is not prime. Res64: 8BB55A86300F8C54 Time : 717.0 sec. user=vaughan [2009-08-12 16:00:21] 693*2^710576-1 is not prime. Res64: 44EB142E4CB05453 Time : 605.0 sec. user=vaughan [2009-08-12 16:01:32] 773*2^710576-1 is not prime. Res64: 2C8F9E86DDEAF4E1 Time : 606.0 sec. user=vaughan [2009-08-12 16:01:51] 615*2^710577-1 is not prime. Res64: DBB3AE98F349D077 Time : 605.0 sec. user=vaughan [2009-08-12 16:01:53] 751*2^710577-1 is not prime. Res64: FCB810798EEF0D7F Time : 601.0 sec. user=vaughan [2009-08-12 16:01:59] 699*2^710576-1 is not prime. Res64: 6DACF596D6BBCC2E Time : 702.0 sec. user=vaughan [2009-08-12 16:02:26] 767*2^710576-1 is not prime. Res64: 3EA319A8DE0C2DDD Time : 689.0 sec. user=vaughan [2009-08-12 16:04:01] 743*2^710576-1 is not prime. Res64: E51F43E33BE9FE3B Time : 794.0 sec. user=vaughan [2009-08-12 16:10:07] 635*2^710578-1 is not prime. Res64: 76587770E434D0F8 Time : 586.0 sec. user=vaughan [2009-08-12 16:10:24] 605*2^710578-1 is not prime. Res64: 3EFAFE9B2085CBC8 Time : 691.0 sec. user=vaughan [2009-08-12 16:11:18] 755*2^710578-1 is not prime. Res64: 1C9C4D5C0D56125C Time : 586.0 sec. user=vaughan [2009-08-12 16:11:21] 611*2^710578-1 is not prime. Res64: 3EB56C5D355A9B73 Time : 717.0 sec. user=vaughan [2009-08-12 16:11:33] 773*2^710578-1 is not prime. Res64: 3DCA9D9D5B40085E Time : 582.0 sec. user=vaughan [2009-08-12 16:11:35] 601*2^710579-1 is not prime. Res64: 582FC116313B6ABF Time : 582.0 sec. user=vaughan [2009-08-12 16:12:04] 781*2^710577-1 is not prime. Res64: 475B4AB3633FE6C1 Time : 793.0 sec. user=vaughan [2009-08-12 16:13:41] 615*2^710579-1 is not prime. Res64: E2BF842E944C1575 Time : 702.0 sec. user=vaughan [2009-08-12 16:13:53] 619*2^710579-1 is not prime. Res64: 24C5CB1587A2EBCC Time : 687.0 sec. user=vaughan [2009-08-12 16:17:17] 759*2^710579-1 is not prime. Res64: B088DD792E896A16 Time : 796.0 sec. user=vaughan [2009-08-12 16:20:03] 799*2^710579-1 is not prime. Res64: 6D9D9E565B502C8D Time : 596.0 sec. user=vaughan [2009-08-12 16:21:18] 669*2^710580-1 is not prime. Res64: 2BB7E27E0BBD575B Time : 600.0 sec. user=vaughan [2009-08-12 16:21:38] 795*2^710580-1 is not prime. Res64: AA8E8024B710E137 Time : 605.0 sec. user=vaughan [2009-08-12 16:21:40] 651*2^710581-1 is not prime. Res64: 35C6AA4729878256 Time : 605.0 sec. user=vaughan [2009-08-12 16:21:56] 635*2^710580-1 is not prime. Res64: D28CF911A275EB96 Time : 692.0 sec. user=vaughan [2009-08-12 16:23:17] 693*2^710580-1 is not prime. Res64: 1B33FFC121BF6F0B Time : 717.0 sec. user=vaughan [2009-08-12 16:25:17] 727*2^710581-1 is not prime. Res64: C815B81BE43A0094 Time : 793.0 sec. user=vaughan [2009-08-12 16:25:21] 627*2^710582-1 is not prime. Res64: AB3E3F8182BEC260 Time : 688.0 sec. user=vaughan [2009-08-12 16:25:24] 603*2^710582-1 is not prime. Res64: 2D29F753E64FF315 Time : 703.0 sec. user=vaughan [2009-08-12 16:30:04] 661*2^710583-1 is not prime. Res64: 40DEFEDB9CFAEAA4 Time : 601.0 sec. user=vaughan [2009-08-12 16:30:33] 771*2^710582-1 is not prime. Res64: FD9B3E22914513DB Time : 796.0 sec. user=vaughan [2009-08-12 16:31:25] 735*2^710583-1 is not prime. Res64: 08A1E2BDCD112AB4 Time : 608.0 sec. user=vaughan [2009-08-12 16:31:46] 605*2^710584-1 is not prime. Res64: 6F82332B30A77DAB Time : 608.0 sec. user=vaughan [2009-08-12 16:31:47] 615*2^710584-1 is not prime. Res64: 17BAA40E57D0DACA Time : 607.0 sec. user=vaughan [2009-08-12 16:33:26] 629*2^710584-1 is not prime. Res64: 52BEA7056F9FFC51 Time : 691.0 sec. user=vaughan [2009-08-12 16:35:14] 765*2^710584-1 is not prime. Res64: F64965011A10BC31 Time : 717.0 sec. user=vaughan [2009-08-12 16:36:49] 787*2^710585-1 is not prime. Res64: 60B7CC2978A01220 Time : 688.0 sec. user=vaughan [2009-08-12 16:37:05] 799*2^710585-1 is not prime. Res64: AAD8A5EAA223F661 Time : 702.0 sec. user=vaughan [2009-08-12 16:38:30] 715*2^710585-1 is not prime. Res64: C3C11123BB30F9B4 Time : 793.0 sec. user=vaughan [2009-08-12 16:40:14] 713*2^710586-1 is not prime. Res64: 74E422C18BFBA4E6 Time : 610.0 sec. user=vaughan [2009-08-12 16:41:33] 663*2^710587-1 is not prime. Res64: C537BC376929AB68 Time : 609.0 sec. user=vaughan [2009-08-12 16:41:53] 691*2^710587-1 is not prime. Res64: D45A8C21FD116735 Time : 607.0 sec. user=vaughan [2009-08-12 16:41:57] 775*2^710587-1 is not prime. Res64: 9203572E7CDF203B Time : 611.0 sec. user=vaughan [2009-08-12 16:43:51] 601*2^710587-1 is not prime. Res64: 3BA9AA2AD324BC22 Time : 798.0 sec. user=vaughan [2009-08-12 16:44:58] 665*2^710588-1 is not prime. Res64: 7F05CD3057E9B06F Time : 692.0 sec. user=vaughan [2009-08-12 16:47:11] 725*2^710588-1 is not prime. Res64: 270F2487D9BD8B45 Time : 717.0 sec. user=vaughan [2009-08-12 16:48:17] 767*2^710588-1 is not prime. Res64: 6A697EDFB69EF7FB Time : 688.0 sec. user=vaughan [2009-08-12 16:48:47] 621*2^710589-1 is not prime. Res64: FE441630A3DE1456 Time : 702.0 sec. user=vaughan [2009-08-12 16:50:28] 747*2^710589-1 is not prime. Res64: 0361B6BE40DC87DF Time : 614.0 sec. user=vaughan [2009-08-12 16:51:35] 795*2^710589-1 is not prime. Res64: 807FA598AFFF36C6 Time : 602.0 sec. user=vaughan [2009-08-12 16:51:43] 745*2^710589-1 is not prime. Res64: 26E9DB4A620271E3 Time : 793.0 sec. user=vaughan [2009-08-12 16:51:50] 657*2^710590-1 is not prime. Res64: F4D68C551A1A7EAD Time : 597.0 sec. user=vaughan [2009-08-12 16:51:56] 675*2^710590-1 is not prime. Res64: FE877BBB6F276117 Time : 599.0 sec. user=vaughan [2009-08-12 16:56:38] 783*2^710590-1 is not prime. Res64: 2D531C689EFE03E8 Time : 700.0 sec. user=vaughan [2009-08-12 16:57:08] 731*2^710590-1 is not prime. Res64: D57E73280E9025A8 Time : 798.0 sec. user=vaughan [2009-08-12 16:59:18] 603*2^710591-1 is not prime. Res64: 7E478FA5455FEF2F Time : 727.0 sec. user=vaughan [2009-08-12 16:59:54] 711*2^710591-1 is not prime. Res64: C5CB3E355E0F38CD Time : 697.0 sec. user=vaughan [2009-08-12 17:00:39] 745*2^710591-1 is not prime. Res64: D4CF8E2EDA809FAF Time : 712.0 sec. user=vaughan [2009-08-12 17:00:40] 627*2^710592-1 is not prime. Res64: 6684340D556898FD Time : 612.0 sec. user=vaughan [2009-08-12 17:02:01] 633*2^710592-1 is not prime. Res64: 434791E28042F0B2 Time : 626.0 sec. user=vaughan [2009-08-12 17:02:12] 725*2^710592-1 is not prime. Res64: 078440D7857A08FA Time : 622.0 sec. user=vaughan [2009-08-12 17:02:25] 625*2^710593-1 is not prime. Res64: F4013C3FE2864F9E Time : 629.0 sec. user=vaughan [2009-08-12 17:04:57] 689*2^710592-1 is not prime. Res64: 03CC7203377BA04B Time : 794.0 sec. user=vaughan [2009-08-12 17:08:09] 721*2^710593-1 is not prime. Res64: 5B17D102257F9649 Time : 692.0 sec. user=vaughan [2009-08-12 17:10:25] 771*2^710593-1 is not prime. Res64: 6A17E7E78A9EB6A5 Time : 798.0 sec. user=vaughan [2009-08-12 17:10:51] 663*2^710595-1 is not prime. Res64: B282341A006E1315 Time : 611.0 sec. user=vaughan [2009-08-12 17:11:14] 605*2^710594-1 is not prime. Res64: 77D56BE11ECE7F2E Time : 717.0 sec. user=vaughan [2009-08-12 17:11:22] 753*2^710594-1 is not prime. Res64: 7C0B5FEE98ECE77E Time : 688.0 sec. user=vaughan [2009-08-12 17:12:05] 691*2^710595-1 is not prime. Res64: 4D90F1220E8AD4DB Time : 604.0 sec. user=vaughan [2009-08-12 17:12:21] 609*2^710595-1 is not prime. Res64: 0796AF576C99D961 Time : 702.0 sec. user=vaughan [2009-08-12 17:12:22] 753*2^710595-1 is not prime. Res64: 7CDBBCE7DEA76163 Time : 610.0 sec. user=vaughan [2009-08-12 17:12:33] 765*2^710595-1 is not prime. Res64: EC1CC36FEBAF5780 Time : 608.0 sec. user=vaughan [2009-08-12 17:18:09] 781*2^710595-1 is not prime. Res64: 315F3CF0E03C6FE6 Time : 792.0 sec. user=vaughan [2009-08-12 17:19:39] 647*2^710596-1 is not prime. Res64: 9D738A1361E11E95 Time : 690.0 sec. user=vaughan [2009-08-12 17:20:36] 717*2^710596-1 is not prime. Res64: 46348AB494D75427 Time : 586.0 sec. user=vaughan [2009-08-12 17:21:53] 741*2^710597-1 is not prime. Res64: 86AC8C9913F529DC Time : 588.0 sec. user=vaughan [2009-08-12 17:22:10] 725*2^710598-1 is not prime. Res64: 20C9219AAA81D5F9 Time : 588.0 sec. user=vaughan [2009-08-12 17:22:15] 731*2^710598-1 is not prime. Res64: 776267CCF8A1881A Time : 583.0 sec. user=vaughan [2009-08-12 17:22:53] 735*2^710597-1 is not prime. Res64: ADC9F4258712780E Time : 692.0 sec. user=vaughan [2009-08-12 17:23:11] 649*2^710597-1 is not prime. Res64: 86CEC8121C82375A Time : 717.0 sec. user=vaughan [2009-08-12 17:23:40] 705*2^710596-1 is not prime. Res64: A265F9F33E4ACFB6 Time : 796.0 sec. user=vaughan [2009-08-12 17:24:03] 705*2^710598-1 is not prime. Res64: 751DD3D354FC3787 Time : 702.0 sec. user=vaughan [2009-08-12 17:30:02] 745*2^710599-1 is not prime. Res64: 547D9A761748A880 Time : 566.0 sec. user=vaughan [2009-08-12 17:31:10] 729*2^710599-1 is not prime. Res64: B30F0E769277714C Time : 691.0 sec. user=vaughan [2009-08-12 17:31:15] 615*2^710600-1 is not prime. Res64: 75F27A5F5FFA8AE8 Time : 562.0 sec. user=vaughan [2009-08-12 17:31:21] 601*2^710599-1 is not prime. Res64: 54955AF61694A58A Time : 792.0 sec. user=vaughan [2009-08-12 17:31:30] 635*2^710600-1 is not prime. Res64: 4B8907804BDE0E7B Time : 560.0 sec. user=vaughan [2009-08-12 17:31:39] 689*2^710600-1 is not prime. Res64: D6490278748DA3B2 Time : 564.0 sec. user=vaughan [2009-08-12 17:34:21] 601*2^710601-1 is not prime. Res64: D3AA7CEA4D5B653F Time : 688.0 sec. user=vaughan [2009-08-12 17:35:07] 645*2^710602-1 is not prime. Res64: DB9281147A7C002A Time : 716.0 sec. user=vaughan [2009-08-12 17:35:45] 673*2^710603-1 is not prime. Res64: 95F3DAB66213052D Time : 702.0 sec. user=vaughan [2009-08-12 17:36:57] 701*2^710602-1 is not prime. Res64: 71E17DB910AB0989 Time : 798.0 sec. user=vaughan [2009-08-12 17:39:39] 735*2^710603-1 is not prime. Res64: 24DAAEC25DC108D1 Time : 577.0 sec. user=vaughan [2009-08-12 17:40:55] 675*2^710604-1 is not prime. Res64: 06CA77EC550AE33D Time : 581.0 sec. user=vaughan [2009-08-12 17:41:13] 737*2^710604-1 is not prime. Res64: 38CA115BB3822C6E Time : 583.0 sec. user=vaughan [2009-08-12 17:41:25] 661*2^710605-1 is not prime. Res64: 8B873061D5F42AA9 Time : 586.0 sec. user=vaughan [2009-08-12 17:42:40] 789*2^710603-1 is not prime. Res64: A10A993CA33F9359 Time : 690.0 sec. user=vaughan [2009-08-12 17:44:33] 717*2^710604-1 is not prime. Res64: FCE0DEEA966860C2 Time : 792.0 sec. user=vaughan [2009-08-12 17:45:48] 667*2^710605-1 is not prime. Res64: 1A2944ADBFDD2254 Time : 688.0 sec. user=vaughan [2009-08-12 17:47:04] 717*2^710605-1 is not prime. Res64: 4331C0465337C24E Time : 717.0 sec. user=vaughan [2009-08-12 17:47:26] 705*2^710606-1 is not prime. Res64: EE954A9916BB72C0 Time : 702.0 sec. user=vaughan [2009-08-12 17:49:33] 625*2^710607-1 is not prime. Res64: 62A1E24173CEABD4 Time : 594.0 sec. user=vaughan [2009-08-12 17:50:12] 761*2^710606-1 is not prime. Res64: CD802423E1336CDD Time : 795.0 sec. user=vaughan [2009-08-12 17:50:45] 649*2^710607-1 is not prime. Res64: EBC4B5424ED31F71 Time : 590.0 sec. user=vaughan [2009-08-12 17:51:04] 669*2^710607-1 is not prime. Res64: 4370E9E9293892EF Time : 591.0 sec. user=vaughan [2009-08-12 17:51:18] 703*2^710607-1 is not prime. Res64: 70187AD2FE895874 Time : 593.0 sec. user=vaughan [2009-08-12 17:54:12] 741*2^710607-1 is not prime. Res64: 2BEBCF94CE85417D Time : 692.0 sec. user=vaughan [2009-08-12 17:57:16] 797*2^710608-1 is not prime. Res64: 9E154B94B9116C76 Time : 688.0 sec. user=vaughan [2009-08-12 17:57:45] 707*2^710608-1 is not prime. Res64: 5AF7D2B1D9A3750E Time : 792.0 sec. user=vaughan [2009-08-12 17:59:01] 619*2^710609-1 is not prime. Res64: 9A825D60188E359F Time : 717.0 sec. user=vaughan [2009-08-12 17:59:08] 601*2^710611-1 is not prime. Res64: AF65E3448F7183BE Time : 702.0 sec. user=vaughan [2009-08-12 17:59:17] 745*2^710611-1 is not prime. Res64: 3F8BD6CB8695A7C7 Time : 584.0 sec. user=vaughan [2009-08-12 18:00:31] 719*2^710612-1 is not prime. Res64: AB4B863321A99A47 Time : 587.0 sec. user=vaughan [2009-08-12 18:00:46] 797*2^710612-1 is not prime. Res64: 08250BE8458D30B2 Time : 583.0 sec. user=vaughan [2009-08-12 18:01:06] 615*2^710613-1 is not prime. Res64: AC057E2383E1AC70 Time : 589.0 sec. user=vaughan [2009-08-12 18:03:28] 635*2^710612-1 is not prime. Res64: D0177C95705EBFCC Time : 796.0 sec. user=vaughan [2009-08-12 18:05:42] 681*2^710613-1 is not prime. Res64: 6492D01A01C27DB0 Time : 690.0 sec. user=vaughan [2009-08-12 18:08:43] 741*2^710613-1 is not prime. Res64: C59A3E03BE002B38 Time : 687.0 sec. user=vaughan [2009-08-12 18:08:45] 663*2^710614-1 is not prime. Res64: 4BFCB438DA7C5FCB Time : 568.0 sec. user=vaughan [2009-08-12 18:09:55] 681*2^710614-1 is not prime. Res64: 638B80EB7DBB8AC1 Time : 564.0 sec. user=vaughan [2009-08-12 18:10:22] 655*2^710615-1 is not prime. Res64: 8E1D5816AE48784F Time : 576.0 sec. user=vaughan [2009-08-12 18:10:42] 781*2^710615-1 is not prime. Res64: 4325CA49544EA4BC Time : 576.0 sec. user=vaughan [2009-08-12 18:10:50] 651*2^710614-1 is not prime. Res64: DB89DB4AF91607F7 Time : 702.0 sec. user=vaughan [2009-08-12 18:10:57] 645*2^710614-1 is not prime. Res64: 8387D012458E7035 Time : 716.0 sec. user=vaughan [2009-08-12 18:10:58] 795*2^710613-1 is not prime. Res64: 423F1C3F433B9A22 Time : 793.0 sec. user=vaughan [2009-08-12 18:16:44] 623*2^710616-1 is not prime. Res64: C2AD33D32DCD5AC2 Time : 796.0 sec. user=vaughan [2009-08-12 18:17:13] 789*2^710616-1 is not prime. Res64: FC75FDF9DEE15AA8 Time : 691.0 sec. user=vaughan [2009-08-12 18:18:53] 729*2^710617-1 is not prime. Res64: 79780DE64873ECD7 Time : 608.0 sec. user=vaughan [2009-08-12 18:20:11] 751*2^710617-1 is not prime. Res64: 57CCDD302B603509 Time : 616.0 sec. user=vaughan [2009-08-12 18:20:13] 661*2^710617-1 is not prime. Res64: 6AA418A82A8E4AD9 Time : 690.0 sec. user=vaughan [2009-08-12 18:20:21] 775*2^710617-1 is not prime. Res64: 659E3F0D9A908A8E Time : 599.0 sec. user=vaughan [2009-08-12 18:20:46] 799*2^710617-1 is not prime. Res64: FD768CC6A8DEC87C Time : 604.0 sec. user=vaughan [2009-08-12 18:22:32] 603*2^710618-1 is not prime. Res64: 964116052370C420 Time : 702.0 sec. user=vaughan [2009-08-12 18:22:54] 707*2^710618-1 is not prime. Res64: 03CC6E96912FBA74 Time : 717.0 sec. user=vaughan [2009-08-12 18:24:09] 771*2^710618-1 is not prime. Res64: 0F89460D5306AFE7 Time : 792.0 sec. user=vaughan [2009-08-12 18:28:43] 619*2^710619-1 is not prime. Res64: A2C7E3118AB3A71A Time : 690.0 sec. user=vaughan [2009-08-12 18:28:47] 649*2^710619-1 is not prime. Res64: DCC63DAAFDC78D3A Time : 594.0 sec. user=vaughan [2009-08-12 18:29:57] 797*2^710618-1 is not prime. Res64: 4599D865CE145F1F Time : 794.0 sec. user=vaughan [2009-08-12 18:30:07] 709*2^710619-1 is not prime. Res64: 8796BAC808BD3B5B Time : 596.0 sec. user=vaughan [2009-08-12 18:30:19] 629*2^710620-1 is not prime. Res64: F509EBBD11E58BA1 Time : 598.0 sec. user=vaughan [2009-08-12 18:30:42] 785*2^710620-1 is not prime. Res64: A4AD2E411466CAF8 Time : 597.0 sec. user=vaughan [2009-08-12 18:31:40] 793*2^710619-1 is not prime. Res64: 32F9C1BB053E65BE Time : 688.0 sec. user=vaughan [2009-08-12 18:34:14] 615*2^710621-1 is not prime. Res64: 9D2F2B0FDB34B768 Time : 702.0 sec. user=vaughan [2009-08-12 18:34:51] 619*2^710621-1 is not prime. Res64: C1C9DA241F22C9A5 Time : 717.0 sec. user=vaughan [2009-08-12 18:37:22] 631*2^710621-1 is not prime. Res64: 3CA224173E65BE61 Time : 794.0 sec. user=vaughan [2009-08-12 18:38:43] 675*2^710621-1 is not prime. Res64: C948F76BD7782D03 Time : 597.0 sec. user=vaughan [2009-08-12 18:40:05] 621*2^710622-1 is not prime. Res64: D3663BB3A39300BB Time : 599.0 sec. user=vaughan [2009-08-12 18:40:14] 683*2^710622-1 is not prime. Res64: 88E691CAC443A466 Time : 595.0 sec. user=vaughan [2009-08-12 18:40:15] 649*2^710621-1 is not prime. Res64: B6923F3D32916384 Time : 692.0 sec. user=vaughan [2009-08-12 18:40:36] 693*2^710622-1 is not prime. Res64: 6685F8FD2115769B Time : 594.0 sec. user=vaughan [2009-08-12 18:43:08] 711*2^710622-1 is not prime. Res64: B2519C873C4C27A5 Time : 688.0 sec. user=vaughan [2009-08-12 18:43:10] 747*2^710621-1 is not prime. Res64: 61F48BBC36D1D0DB Time : 793.0 sec. user=vaughan [2009-08-12 18:45:55] 755*2^710622-1 is not prime. Res64: 021C44E6F2C4BCDD Time : 702.0 sec. user=vaughan [2009-08-12 18:46:47] 765*2^710622-1 is not prime. Res64: F9CF694ACFD1A2DD Time : 716.0 sec. user=vaughan [2009-08-12 18:48:33] 693*2^710623-1 is not prime. Res64: 009B20EDC76829AB Time : 590.0 sec. user=vaughan [2009-08-12 18:49:51] 745*2^710623-1 is not prime. Res64: 2482EA672ED65C1E Time : 586.0 sec. user=vaughan [2009-08-12 18:50:00] 763*2^710623-1 is not prime. Res64: A8479FA27F47F0BA Time : 587.0 sec. user=vaughan [2009-08-12 18:50:22] 657*2^710624-1 is not prime. Res64: F1B499285551822C Time : 586.0 sec. user=vaughan [2009-08-12 18:50:31] 603*2^710623-1 is not prime. Res64: B6E75C8DF38F026C Time : 789.0 sec. user=vaughan [2009-08-12 18:51:47] 615*2^710624-1 is not prime. Res64: 983D74D84C6B8D8E Time : 692.0 sec. user=vaughan [2009-08-12 18:54:35] 659*2^710624-1 is not prime. Res64: 375A4B10AE595195 Time : 687.0 sec. user=vaughan [2009-08-12 18:56:23] 665*2^710624-1 is not prime. Res64: D0CD5D95AE444E56 Time : 793.0 sec. user=vaughan [2009-08-12 18:57:37] 699*2^710624-1 is not prime. Res64: B1DB3D6182172832 Time : 702.0 sec. user=vaughan [2009-08-12 18:58:06] 609*2^710625-1 is not prime. Res64: C61BECB41F0FFD84 Time : 573.0 sec. user=vaughan [2009-08-12 18:58:44] 795*2^710624-1 is not prime. Res64: 7E7E70090BA77DAB Time : 717.0 sec. user=vaughan [2009-08-12 18:59:22] 649*2^710625-1 is not prime. Res64: 9903FAF2C3C92991 Time : 571.0 sec. user=vaughan [2009-08-12 18:59:31] 651*2^710625-1 is not prime. Res64: D4BBAEAD32FEA549 Time : 571.0 sec. user=vaughan [2009-08-12 18:59:49] 699*2^710625-1 is not prime. Res64: B4D8923D2F133E5A Time : 568.0 sec. user=vaughan [2009-08-12 19:03:19] 777*2^710625-1 is not prime. Res64: B96A339CED42AD2C Time : 692.0 sec. user=vaughan [2009-08-12 19:03:42] 735*2^710625-1 is not prime. Res64: 8611CA7BEDD1199A Time : 791.0 sec. user=vaughan [2009-08-12 19:06:03] 795*2^710625-1 is not prime. Res64: 65CF618149D718FC Time : 688.0 sec. user=vaughan [2009-08-12 19:07:40] 639*2^710628-1 is not prime. Res64: 2E447DC37034A10C Time : 574.0 sec. user=vaughan [2009-08-12 19:08:52] 741*2^710629-1 is not prime. Res64: 6D1893BE02AD2D27 Time : 570.0 sec. user=vaughan [2009-08-12 19:09:01] 757*2^710629-1 is not prime. Res64: 602D0C8E877F39FA Time : 570.0 sec. user=vaughan [2009-08-12 19:09:20] 773*2^710626-1 is not prime. Res64: 3059697AE45537F0 Time : 703.0 sec. user=vaughan [2009-08-12 19:09:20] 615*2^710630-1 is not prime. Res64: 4A5E300E2AC3D764 Time : 571.0 sec. user=vaughan [2009-08-12 19:09:37] 623*2^710626-1 is not prime. Res64: 08022596E19C2812 Time : 794.0 sec. user=vaughan [2009-08-12 19:10:41] 675*2^710629-1 is not prime. Res64: 8F242F94AFEDC631 Time : 717.0 sec. user=vaughan [2009-08-12 19:14:55] 627*2^710630-1 is not prime. Res64: F26225E145E2146C Time : 696.0 sec. user=vaughan [2009-08-12 19:16:50] 657*2^710630-1 is not prime. Res64: 5270144D228B0348 Time : 789.0 sec. user=vaughan [2009-08-12 19:17:10] 785*2^710630-1 is not prime. Res64: C6D6BE429493F567 Time : 570.0 sec. user=vaughan [2009-08-12 19:17:38] 761*2^710630-1 is not prime. Res64: 1039BFF4692EC1DD Time : 695.0 sec. user=vaughan [2009-08-12 19:18:18] 791*2^710630-1 is not prime. Res64: 5682E1F9CC3D52B5 Time : 567.0 sec. user=vaughan [2009-08-12 19:18:33] 675*2^710631-1 is not prime. Res64: 4F842D5B195897EE Time : 573.0 sec. user=vaughan [2009-08-12 19:18:49] 711*2^710631-1 is not prime. Res64: E912D7BC198BACD5 Time : 569.0 sec. user=vaughan [2009-08-12 19:21:19] 685*2^710631-1 is not prime. Res64: F69FCB09E8BD9FC7 Time : 720.0 sec. user=vaughan [2009-08-12 19:22:48] 751*2^710631-1 is not prime. Res64: 53453292115E6949 Time : 791.0 sec. user=vaughan [2009-08-12 19:23:08] 603*2^710632-1 is not prime. Res64: 067A195778529632 Time : 748.0 sec. user=vaughan [2009-08-12 19:26:30] 779*2^710632-1 is not prime. Res64: 97AD95C147EB51E0 Time : 561.0 sec. user=vaughan [2009-08-12 19:26:34] 699*2^710632-1 is not prime. Res64: 686C1A7D8DC3BFB9 Time : 700.0 sec. user=vaughan [2009-08-12 19:27:37] 611*2^710634-1 is not prime. Res64: D46D5F7F9D9BEF6F Time : 559.0 sec. user=vaughan [2009-08-12 19:27:51] 707*2^710634-1 is not prime. Res64: 51329EA826EB4153 Time : 558.0 sec. user=vaughan [2009-08-12 19:28:08] 755*2^710634-1 is not prime. Res64: 3B19CA126E9EC034 Time : 559.0 sec. user=vaughan [2009-08-12 19:29:17] 729*2^710633-1 is not prime. Res64: 0CAC5E42DEC316E7 Time : 700.0 sec. user=vaughan [2009-08-12 19:29:58] 713*2^710632-1 is not prime. Res64: C33D5D80AF976F16 Time : 789.0 sec. user=vaughan [2009-08-12 19:33:26] 765*2^710634-1 is not prime. Res64: 0E91774C834A62F2 Time : 727.0 sec. user=vaughan [2009-08-12 19:35:42] 791*2^710634-1 is not prime. Res64: A50A35711A2B30D9 Time : 755.0 sec. user=vaughan [2009-08-12 19:35:45] 651*2^710635-1 is not prime. Res64: A554DCB1510191EE Time : 556.0 sec. user=vaughan [2009-08-12 19:36:00] 783*2^710634-1 is not prime. Res64: 6A172852D581461C Time : 792.0 sec. user=vaughan [2009-08-12 19:36:50] 715*2^710635-1 is not prime. Res64: 30524985957C2C39 Time : 554.0 sec. user=vaughan [2009-08-12 19:37:06] 669*2^710636-1 is not prime. Res64: DA2A47A4BD08C265 Time : 555.0 sec. user=vaughan [2009-08-12 19:37:21] 677*2^710636-1 is not prime. Res64: 599691B67A72069A Time : 553.0 sec. user=vaughan [2009-08-12 19:38:14] 675*2^710635-1 is not prime. Res64: 080265BB74A34184 Time : 700.0 sec. user=vaughan [2009-08-12 19:41:05] 759*2^710636-1 is not prime. Res64: ACFA903434F9EFF0 Time : 708.0 sec. user=vaughan [2009-08-12 19:43:07] 767*2^710636-1 is not prime. Res64: CD72A2DC51FE502C Time : 790.0 sec. user=vaughan [2009-08-12 19:45:00] 643*2^710639-1 is not prime. Res64: 1405B8AF95DCF1BB Time : 555.0 sec. user=vaughan [2009-08-12 19:46:04] 789*2^710639-1 is not prime. Res64: 13DF11169834EDCB Time : 555.0 sec. user=vaughan [2009-08-12 19:46:12] 617*2^710638-1 is not prime. Res64: 055B30FFBB55F00A Time : 766.0 sec. user=vaughan [2009-08-12 19:46:19] 629*2^710640-1 is not prime. Res64: 90D1E4164D9C4495 Time : 553.0 sec. user=vaughan [2009-08-12 19:46:34] 633*2^710640-1 is not prime. Res64: D8262146D7013C44 Time : 553.0 sec. user=vaughan [2009-08-12 19:49:06] 621*2^710639-1 is not prime. Res64: 549E352D4E56CAEB Time : 804.0 sec. user=vaughan [2009-08-12 19:49:12] 753*2^710639-1 is not prime. Res64: EB75C9B272B2C13B Time : 792.0 sec. user=vaughan [2009-08-12 19:50:59] 669*2^710640-1 is not prime. Res64: C52476BE5883C8CC Time : 765.0 sec. user=vaughan [2009-08-12 19:53:49] 695*2^710640-1 is not prime. Res64: 5B4DA41562874A69 Time : 764.0 sec. user=vaughan [2009-08-12 19:54:13] 753*2^710640-1 is not prime. Res64: BB3DC21489AB470B Time : 554.0 sec. user=vaughan [2009-08-12 19:55:19] 797*2^710640-1 is not prime. Res64: 5D489890B1538E04 Time : 555.0 sec. user=vaughan [2009-08-12 19:55:36] 717*2^710641-1 is not prime. Res64: 2997F3EE7B6E4488 Time : 557.0 sec. user=vaughan [2009-08-12 19:55:48] 747*2^710641-1 is not prime. Res64: D372E42A35998E43 Time : 554.0 sec. user=vaughan [2009-08-12 19:56:16] 707*2^710640-1 is not prime. Res64: A40D1C334ED58680 Time : 790.0 sec. user=vaughan [2009-08-12 19:59:49] 607*2^710641-1 is not prime. Res64: E097AC2856150A5E Time : 817.0 sec. user=vaughan [2009-08-12 20:02:24] 741*2^710642-1 is not prime. Res64: FDB0467989958BA7 Time : 792.0 sec. user=vaughan [2009-08-12 20:02:58] 675*2^710642-1 is not prime. Res64: DA5E01791B953665 Time : 832.0 sec. user=vaughan [2009-08-12 20:03:29] 663*2^710643-1 is not prime. Res64: EEEB38AE1208881C Time : 556.0 sec. user=vaughan [2009-08-12 20:03:57] 755*2^710642-1 is not prime. Res64: FA62E2B0B2BC589F Time : 778.0 sec. user=vaughan [2009-08-12 20:04:32] 691*2^710643-1 is not prime. Res64: 15C9A49C1BFD9953 Time : 553.0 sec. user=vaughan [2009-08-12 20:04:50] 699*2^710643-1 is not prime. Res64: DA63092779EC60AB Time : 554.0 sec. user=vaughan [2009-08-12 20:05:02] 745*2^710643-1 is not prime. Res64: 459A5CF753CF9EB5 Time : 555.0 sec. user=vaughan [2009-08-12 20:06:33] 797*2^710642-1 is not prime. Res64: 25E92B52B89162B8 Time : 764.0 sec. user=vaughan [2009-08-12 20:09:25] 775*2^710643-1 is not prime. Res64: D2D31C75392DF13E Time : 789.0 sec. user=vaughan [2009-08-12 20:12:44] 719*2^710644-1 is not prime. Res64: 9C97F4FB32C332D3 Time : 555.0 sec. user=vaughan [2009-08-12 20:13:18] 783*2^710643-1 is not prime. Res64: 5CE3E04965F2211A Time : 810.0 sec. user=vaughan [2009-08-12 20:13:47] 787*2^710645-1 is not prime. Res64: 7D81ADD2C215BB08 Time : 555.0 sec. user=vaughan [2009-08-12 20:14:05] 611*2^710646-1 is not prime. Res64: 23A87CBD36245C13 Time : 555.0 sec. user=vaughan [2009-08-12 20:14:18] 777*2^710646-1 is not prime. Res64: C629A1A17A33DEA9 Time : 556.0 sec. user=vaughan [2009-08-12 20:15:36] 609*2^710644-1 is not prime. Res64: 684B17D1885CF201 Time : 792.0 sec. user=vaughan [2009-08-12 20:16:39] 707*2^710644-1 is not prime. Res64: BB274803AE7D3867 Time : 822.0 sec. user=vaughan [2009-08-12 20:16:56] 627*2^710645-1 is not prime. Res64: 8FAC9412DE665611 Time : 779.0 sec. user=vaughan [2009-08-12 20:19:15] 625*2^710647-1 is not prime. Res64: E4FC7F79A058C4F8 Time : 762.0 sec. user=vaughan [2009-08-12 20:22:10] 675*2^710647-1 is not prime. Res64: BEFC5B98CAB8C22D Time : 566.0 sec. user=vaughan [2009-08-12 20:22:34] 673*2^710647-1 is not prime. Res64: 626C9D6BEA43B303 Time : 789.0 sec. user=vaughan [2009-08-12 20:23:17] 645*2^710648-1 is not prime. Res64: BF197736FF5410F0 Time : 571.0 sec. user=vaughan [2009-08-12 20:23:33] 735*2^710648-1 is not prime. Res64: 897E33EEC6949CEE Time : 568.0 sec. user=vaughan [2009-08-12 20:23:49] 625*2^710649-1 is not prime. Res64: 8B5F51257DC18D0D Time : 571.0 sec. user=vaughan [2009-08-12 20:26:50] 759*2^710647-1 is not prime. Res64: ED001F1F65D3A181 Time : 812.0 sec. user=vaughan [2009-08-12 20:28:46] 637*2^710649-1 is not prime. Res64: 5A4E03A46E9D98F0 Time : 790.0 sec. user=vaughan [2009-08-12 20:29:47] 765*2^710649-1 is not prime. Res64: 4D21A8DE91D3530B Time : 771.0 sec. user=vaughan [2009-08-12 20:30:15] 741*2^710649-1 is not prime. Res64: FAEB777938B5E8A0 Time : 817.0 sec. user=vaughan [2009-08-12 20:31:56] 795*2^710649-1 is not prime. Res64: 2B0F8C18C4339531 Time : 761.0 sec. user=vaughan [2009-08-12 20:32:04] 647*2^710650-1 is not prime. Res64: 0AA313C60E3D4D29 Time : 594.0 sec. user=vaughan [2009-08-12 20:33:15] 765*2^710650-1 is not prime. Res64: 242CCE7278325C0A Time : 598.0 sec. user=vaughan [2009-08-12 20:33:30] 783*2^710650-1 is not prime. Res64: 8765A5C5B8D5A8BF Time : 597.0 sec. user=vaughan [2009-08-12 20:33:45] 615*2^710651-1 is not prime. Res64: D584FFB8B89A2472 Time : 596.0 sec. user=vaughan [2009-08-12 20:35:40] 671*2^710650-1 is not prime. Res64: B020C0ED92B3C17A Time : 786.0 sec. user=vaughan [2009-08-12 20:40:18] 645*2^710651-1 is not prime. Res64: 9FA81AC4072509C2 Time : 808.0 sec. user=vaughan [2009-08-12 20:41:55] 651*2^710651-1 is not prime. Res64: D95E1AED2B649323 Time : 789.0 sec. user=vaughan [2009-08-12 20:42:10] 609*2^710652-1 is not prime. Res64: 36EBC128DA1FB31C Time : 606.0 sec. user=vaughan [2009-08-12 20:42:38] 663*2^710651-1 is not prime. Res64: 3E0793B517AFA44E Time : 771.0 sec. user=vaughan [2009-08-12 20:43:19] 683*2^710652-1 is not prime. Res64: 65090C1918AFECE7 Time : 605.0 sec. user=vaughan [2009-08-12 20:43:32] 693*2^710652-1 is not prime. Res64: 90B148423E49C59E Time : 602.0 sec. user=vaughan [2009-08-12 20:43:44] 695*2^710652-1 is not prime. Res64: C7F79E2BBCCC56BA Time : 600.0 sec. user=vaughan [2009-08-12 20:43:59] 669*2^710651-1 is not prime. Res64: FC95060E8C149004 Time : 824.0 sec. user=vaughan [2009-08-12 20:44:39] 741*2^710651-1 is not prime. Res64: 2A8D3F75CF429F1F Time : 763.0 sec. user=vaughan [2009-08-12 20:48:47] 717*2^710652-1 is not prime. Res64: A4628836B510311F Time : 787.0 sec. user=vaughan [2009-08-12 20:52:05] 685*2^710653-1 is not prime. Res64: BF23A1525FF19A7C Time : 597.0 sec. user=vaughan [2009-08-12 20:53:12] 727*2^710653-1 is not prime. Res64: 52404657622F0CFC Time : 593.0 sec. user=vaughan [2009-08-12 20:53:25] 741*2^710653-1 is not prime. Res64: 781382E89576EEAC Time : 593.0 sec. user=vaughan [2009-08-12 20:53:38] 753*2^710652-1 is not prime. Res64: 17B1279EAAE9DDCF Time : 801.0 sec. user=vaughan [2009-08-12 20:53:49] 617*2^710654-1 is not prime. Res64: 484ACFD1B1DAE51D Time : 605.0 sec. user=vaughan [2009-08-12 20:55:05] 615*2^710653-1 is not prime. Res64: AACF0351A9BB4FE8 Time : 790.0 sec. user=vaughan [2009-08-12 20:55:13] 721*2^710653-1 is not prime. Res64: 192234025878971A Time : 755.0 sec. user=vaughan [2009-08-12 20:56:55] 657*2^710654-1 is not prime. Res64: D511D15577836A55 Time : 736.0 sec. user=vaughan [2009-08-12 20:57:17] 651*2^710654-1 is not prime. Res64: A811AAB3BE8382D9 Time : 799.0 sec. user=vaughan [2009-08-12 21:01:54] 683*2^710654-1 is not prime. Res64: 0EB6E09160E58542 Time : 787.0 sec. user=vaughan [2009-08-12 21:02:20] 731*2^710654-1 is not prime. Res64: 6F54DA51530D0100 Time : 615.0 sec. user=vaughan [2009-08-12 21:03:31] 619*2^710655-1 is not prime. Res64: 7FD33585062FADB4 Time : 619.0 sec. user=vaughan [2009-08-12 21:03:43] 709*2^710655-1 is not prime. Res64: B105D37CDBFF43F0 Time : 619.0 sec. user=vaughan [2009-08-12 21:04:04] 639*2^710656-1 is not prime. Res64: 482E615085562C75 Time : 616.0 sec. user=vaughan [2009-08-12 21:05:57] 751*2^710655-1 is not prime. Res64: AC225C52A545FF6A Time : 739.0 sec. user=vaughan [2009-08-12 21:06:59] 723*2^710656-1 is not prime. Res64: CDFF90A6E2A73D7F Time : 707.0 sec. user=vaughan [2009-08-12 21:08:16] 689*2^710656-1 is not prime. Res64: 6C55741AA8B4AF0A Time : 791.0 sec. user=vaughan [2009-08-12 21:08:44] 743*2^710656-1 is not prime. Res64: F433C6951C2D4909 Time : 709.0 sec. user=vaughan [2009-08-12 21:10:04] 779*2^710656-1 is not prime. Res64: D1BDEC56814D921C Time : 767.0 sec. user=vaughan [2009-08-12 21:12:39] 615*2^710657-1 is not prime. Res64: 56DF5DF28518DD4A Time : 620.0 sec. user=vaughan [2009-08-12 21:13:49] 631*2^710657-1 is not prime. Res64: 22EC4975CE244D39 Time : 618.0 sec. user=vaughan [2009-08-12 21:14:04] 699*2^710657-1 is not prime. Res64: A129DC52598FB41F Time : 621.0 sec. user=vaughan [2009-08-12 21:14:24] 729*2^710657-1 is not prime. Res64: E6120CD8F5ADA7B0 Time : 620.0 sec. user=vaughan [2009-08-12 21:15:01] 607*2^710657-1 is not prime. Res64: 6F8690681D2D80F0 Time : 787.0 sec. user=vaughan [2009-08-12 21:18:17] 747*2^710657-1 is not prime. Res64: 5CFC8C836EE9DF36 Time : 740.0 sec. user=vaughan [2009-08-12 21:18:47] 759*2^710657-1 is not prime. Res64: 7AB4E91049A2BBB7 Time : 709.0 sec. user=vaughan [2009-08-12 21:20:33] 621*2^710658-1 is not prime. Res64: 154A3A173A392382 Time : 709.0 sec. user=vaughan [2009-08-12 21:21:30] 769*2^710657-1 is not prime. Res64: FF34F86D5CCD9DD4 Time : 794.0 sec. user=vaughan [2009-08-12 21:22:31] 683*2^710658-1 is not prime. Res64: 307831914A8CFE82 Time : 592.0 sec. user=vaughan [2009-08-12 21:22:45] 663*2^710658-1 is not prime. Res64: 8AB2BFD9C4733099 Time : 761.0 sec. user=vaughan [2009-08-12 21:23:39] 735*2^710658-1 is not prime. Res64: 1EA49E5C080C2CE2 Time : 590.0 sec. user=vaughan [2009-08-12 21:23:54] 645*2^710659-1 is not prime. Res64: 0DA9CD231D801317 Time : 590.0 sec. user=vaughan [2009-08-12 21:24:18] 705*2^710659-1 is not prime. Res64: 9B58265ACEAE05DF Time : 594.0 sec. user=vaughan [2009-08-12 21:28:11] 735*2^710659-1 is not prime. Res64: 05D06330B72B40EB Time : 790.0 sec. user=vaughan [2009-08-12 21:30:34] 669*2^710660-1 is not prime. Res64: B9869E1B7DE61318 Time : 708.0 sec. user=vaughan [2009-08-12 21:31:08] 629*2^710660-1 is not prime. Res64: F502E2D9D2EF07CA Time : 771.0 sec. user=vaughan [2009-08-12 21:32:04] 709*2^710661-1 is not prime. Res64: 244F5C5F7FA6F766 Time : 573.0 sec. user=vaughan [2009-08-12 21:32:14] 707*2^710660-1 is not prime. Res64: A9726CCD377F1C68 Time : 701.0 sec. user=vaughan [2009-08-12 21:33:19] 727*2^710661-1 is not prime. Res64: DAC3AFC0FC2AE1F2 Time : 581.0 sec. user=vaughan [2009-08-12 21:33:35] 611*2^710662-1 is not prime. Res64: 00564A9DAAE4F7F7 Time : 582.0 sec. user=vaughan [2009-08-12 21:33:57] 651*2^710662-1 is not prime. Res64: A427475022E56007 Time : 579.0 sec. user=vaughan [2009-08-12 21:34:40] 627*2^710661-1 is not prime. Res64: C4790AA51CE763BD Time : 791.0 sec. user=vaughan [2009-08-12 21:35:31] 711*2^710661-1 is not prime. Res64: 06D09938B239F3F7 Time : 766.0 sec. user=vaughan [2009-08-12 21:41:17] 681*2^710662-1 is not prime. Res64: C337E04688681437 Time : 786.0 sec. user=vaughan [2009-08-12 21:42:08] 609*2^710664-1 is not prime. Res64: 003472EB4F3E614C Time : 604.0 sec. user=vaughan [2009-08-12 21:43:13] 777*2^710662-1 is not prime. Res64: 6332B1EC0732A5CD Time : 759.0 sec. user=vaughan [2009-08-12 21:43:15] 705*2^710664-1 is not prime. Res64: B6936D1A4684DD59 Time : 596.0 sec. user=vaughan [2009-08-12 21:43:34] 773*2^710664-1 is not prime. Res64: D12D9585CF2CAF0D Time : 599.0 sec. user=vaughan [2009-08-12 21:43:53] 607*2^710665-1 is not prime. Res64: 7C3EA4CB33B16C75 Time : 597.0 sec. user=vaughan [2009-08-12 21:44:47] 615*2^710664-1 is not prime. Res64: 03248BA06EF8EFC4 Time : 754.0 sec. user=vaughan [2009-08-12 21:44:48] 741*2^710663-1 is not prime. Res64: E571F8B97CD44C7A Time : 820.0 sec. user=vaughan [2009-08-12 21:47:49] 651*2^710665-1 is not prime. Res64: 912728E81D08F2B6 Time : 790.0 sec. user=vaughan [2009-08-12 21:49:07] 765*2^710665-1 is not prime. Res64: 11FBFE491EF7929C Time : 817.0 sec. user=vaughan [2009-08-12 21:51:55] 641*2^710666-1 is not prime. Res64: A21946EBFA4A5448 Time : 588.0 sec. user=vaughan [2009-08-12 21:53:05] 741*2^710666-1 is not prime. Res64: E47236530B889758 Time : 590.0 sec. user=vaughan [2009-08-12 21:53:24] 747*2^710666-1 is not prime. Res64: FDFEC83782FB81AA Time : 590.0 sec. user=vaughan [2009-08-12 21:53:44] 785*2^710666-1 is not prime. Res64: 796557EC7E9098A7 Time : 591.0 sec. user=vaughan [2009-08-12 21:54:23] 633*2^710666-1 is not prime. Res64: BC7199DC3DC05466 Time : 786.0 sec. user=vaughan [2009-08-12 21:56:13] 651*2^710666-1 is not prime. Res64: 0E8E95996786A0C7 Time : 780.0 sec. user=vaughan [2009-08-12 21:57:25] 609*2^710667-1 is not prime. Res64: D082BD279A6B34EC Time : 758.0 sec. user=vaughan [2009-08-12 21:58:40] 703*2^710667-1 is not prime. Res64: BFD4A2E7D22944E7 Time : 833.0 sec. user=vaughan [2009-08-12 22:01:01] 735*2^710667-1 is not prime. Res64: 3E8BD23D0DF2C42A Time : 793.0 sec. user=vaughan [2009-08-12 22:01:41] 769*2^710667-1 is not prime. Res64: BF1897949B89A77C Time : 586.0 sec. user=vaughan [2009-08-12 22:02:50] 781*2^710667-1 is not prime. Res64: 5ACE3D5911C1C6B0 Time : 585.0 sec. user=vaughan [2009-08-12 22:02:54] 765*2^710667-1 is not prime. Res64: 8BA6E41AEF1B018E Time : 827.0 sec. user=vaughan [2009-08-12 22:03:07] 635*2^710668-1 is not prime. Res64: 1A621141FD492FCD Time : 584.0 sec. user=vaughan [2009-08-12 22:03:29] 723*2^710668-1 is not prime. Res64: BD4DC1F5B9FE8952 Time : 585.0 sec. user=vaughan [2009-08-12 22:07:29] 649*2^710669-1 is not prime. Res64: CF38426AB86B7AB3 Time : 786.0 sec. user=vaughan [2009-08-12 22:09:18] 675*2^710669-1 is not prime. Res64: 5412361885B78123 Time : 785.0 sec. user=vaughan [2009-08-12 22:10:10] 685*2^710669-1 is not prime. Res64: 02C5BFDC529F9B72 Time : 765.0 sec. user=vaughan [2009-08-12 22:11:14] 787*2^710669-1 is not prime. Res64: 35C84984EE570DCC Time : 574.0 sec. user=vaughan [2009-08-12 22:12:19] 647*2^710670-1 is not prime. Res64: C1C0DC92704B3885 Time : 570.0 sec. user=vaughan [2009-08-12 22:12:23] 747*2^710669-1 is not prime. Res64: F633F156D606F3A9 Time : 823.0 sec. user=vaughan [2009-08-12 22:12:34] 707*2^710670-1 is not prime. Res64: EEDC84C21ED62DCE Time : 567.0 sec. user=vaughan [2009-08-12 22:12:54] 761*2^710670-1 is not prime. Res64: 4CDE4DAB8170CBB3 Time : 565.0 sec. user=vaughan [2009-08-12 22:14:10] 781*2^710669-1 is not prime. Res64: 2B7A54582C136116 Time : 790.0 sec. user=vaughan [2009-08-12 22:16:04] 681*2^710670-1 is not prime. Res64: F074B49C24CC75A2 Time : 790.0 sec. user=vaughan [2009-08-12 22:20:40] 765*2^710670-1 is not prime. Res64: AE3E840C7E160053 Time : 791.0 sec. user=vaughan [2009-08-12 22:20:47] 681*2^710671-1 is not prime. Res64: 9D58CEAD86D5072D Time : 574.0 sec. user=vaughan [2009-08-12 22:21:20] 773*2^710670-1 is not prime. Res64: 1789778191A6D338 Time : 722.0 sec. user=vaughan [2009-08-12 22:21:56] 693*2^710671-1 is not prime. Res64: 249C7EBB00BF62D7 Time : 577.0 sec. user=vaughan [2009-08-12 22:22:03] 615*2^710671-1 is not prime. Res64: A4CE305D8BBC8C9C Time : 713.0 sec. user=vaughan [2009-08-12 22:22:13] 745*2^710671-1 is not prime. Res64: EC5AC05399666CBE Time : 580.0 sec. user=vaughan [2009-08-12 22:22:35] 793*2^710671-1 is not prime. Res64: 6C89BE542DBEF001 Time : 581.0 sec. user=vaughan [2009-08-12 22:25:41] 705*2^710671-1 is not prime. Res64: 9DF774B2068DD806 Time : 798.0 sec. user=vaughan [2009-08-12 22:27:18] 675*2^710672-1 is not prime. Res64: FB591966FD885E3E Time : 788.0 sec. user=vaughan [2009-08-12 22:29:09] 677*2^710672-1 is not prime. Res64: EA6693F3A15CDDCC Time : 785.0 sec. user=vaughan [2009-08-12 22:31:06] 759*2^710672-1 is not prime. Res64: 4956FA2A78821151 Time : 620.0 sec. user=vaughan [2009-08-12 22:32:33] 657*2^710674-1 is not prime. Res64: 0D0AB20937FD82C2 Time : 621.0 sec. user=vaughan [2009-08-12 22:32:43] 795*2^710673-1 is not prime. Res64: 9DB403046D49389B Time : 647.0 sec. user=vaughan [2009-08-12 22:32:48] 665*2^710674-1 is not prime. Res64: C15713D96522FABE Time : 613.0 sec. user=vaughan [2009-08-12 22:33:39] 681*2^710673-1 is not prime. Res64: 7C2E0A80EB1BEF36 Time : 739.0 sec. user=vaughan [2009-08-12 22:33:46] 743*2^710672-1 is not prime. Res64: C54A8D8AA66A96BA Time : 786.0 sec. user=vaughan [2009-08-12 22:34:11] 605*2^710674-1 is not prime. Res64: A36582D0FB8252D1 Time : 728.0 sec. user=vaughan [2009-08-12 22:39:03] 671*2^710674-1 is not prime. Res64: 0BC29346DE6CC409 Time : 803.0 sec. user=vaughan [2009-08-12 22:40:27] 747*2^710674-1 is not prime. Res64: CCCA392C6A5C4044 Time : 789.0 sec. user=vaughan [2009-08-12 22:41:17] 645*2^710675-1 is not prime. Res64: BB3381AB02DA9BFC Time : 611.0 sec. user=vaughan [2009-08-12 22:42:13] 609*2^710675-1 is not prime. Res64: 320DB398EEDC23D0 Time : 785.0 sec. user=vaughan [2009-08-12 22:42:47] 673*2^710675-1 is not prime. Res64: 870D93C517A85D31 Time : 614.0 sec. user=vaughan [2009-08-12 22:43:00] 733*2^710675-1 is not prime. Res64: 925F5F42733B7953 Time : 618.0 sec. user=vaughan [2009-08-12 22:43:06] 705*2^710676-1 is not prime. Res64: AD4DEFFA35012D7B Time : 619.0 sec. user=vaughan [2009-08-12 22:45:55] 735*2^710676-1 is not prime. Res64: 16AF665BEA8B5E75 Time : 737.0 sec. user=vaughan [2009-08-12 22:46:16] 607*2^710677-1 is not prime. Res64: 3A726C9C71C85CA8 Time : 726.0 sec. user=vaughan [2009-08-12 22:46:53] 601*2^710677-1 is not prime. Res64: CA2AB770AC396BEA Time : 787.0 sec. user=vaughan [2009-08-12 22:51:39] 729*2^710677-1 is not prime. Res64: EA886B0D2398E229 Time : 623.0 sec. user=vaughan [2009-08-12 22:52:18] 639*2^710677-1 is not prime. Res64: EF16B6C47024B03C Time : 795.0 sec. user=vaughan [2009-08-12 22:53:02] 645*2^710678-1 is not prime. Res64: 6E8B89C9185511DA Time : 615.0 sec. user=vaughan [2009-08-12 22:53:15] 687*2^710678-1 is not prime. Res64: 01055A50482572C6 Time : 615.0 sec. user=vaughan [2009-08-12 22:53:23] 693*2^710678-1 is not prime. Res64: 6ED4816460F3B0CE Time : 618.0 sec. user=vaughan [2009-08-12 22:53:36] 727*2^710677-1 is not prime. Res64: EE575F75A4F84456 Time : 789.0 sec. user=vaughan [2009-08-12 22:55:15] 747*2^710677-1 is not prime. Res64: 90762DB0E0FC6467 Time : 782.0 sec. user=vaughan [2009-08-12 22:58:16] 707*2^710678-1 is not prime. Res64: 600CFC5504F38FD3 Time : 741.0 sec. user=vaughan [2009-08-12 22:58:29] 743*2^710678-1 is not prime. Res64: 36C1EAFB9B50F1CD Time : 733.0 sec. user=vaughan [2009-08-12 22:59:58] 773*2^710678-1 is not prime. Res64: 05B1123AC83F4002 Time : 785.0 sec. user=vaughan [2009-08-12 23:01:02] 795*2^710678-1 is not prime. Res64: 0A86D12C1F00D0C6 Time : 564.0 sec. user=vaughan [2009-08-12 23:02:23] 649*2^710679-1 is not prime. Res64: DE33AC1A65F075F9 Time : 561.0 sec. user=vaughan [2009-08-12 23:02:35] 663*2^710679-1 is not prime. Res64: A1E60A00F61F5928 Time : 560.0 sec. user=vaughan [2009-08-12 23:02:44] 691*2^710679-1 is not prime. Res64: 954C0DCBC69C16AF Time : 561.0 sec. user=vaughan [2009-08-12 23:06:00] 633*2^710679-1 is not prime. Res64: FCEDDDF56EC2C254 Time : 822.0 sec. user=vaughan [2009-08-12 23:06:44] 693*2^710679-1 is not prime. Res64: 3013CD7C0925C5E9 Time : 788.0 sec. user=vaughan [2009-08-12 23:08:24] 741*2^710679-1 is not prime. Res64: C4928A56E25F8B44 Time : 790.0 sec. user=vaughan [2009-08-12 23:08:26] 663*2^710443-1 is not prime. Res64: 7752EABB6F3E89CA Time : 58603.0 sec. user=vaughan [2009-08-12 23:09:03] 717*2^710445-1 is not prime. Res64: 99430508C4C5B7AE Time : 58183.0 sec. user=vaughan [2009-08-12 23:10:39] 793*2^710679-1 is not prime. Res64: F8C484EAE8EED152 Time : 744.0 sec. user=vaughan [2009-08-12 23:10:55] 675*2^710680-1 is not prime. Res64: 3588B786B8BAC95B Time : 746.0 sec. user=vaughan [2009-08-12 23:11:14] 743*2^710680-1 is not prime. Res64: 36207E10691928A4 Time : 612.0 sec. user=vaughan [2009-08-12 23:12:34] 615*2^710681-1 is not prime. Res64: BD33FDE1C9563A51 Time : 611.0 sec. user=vaughan [2009-08-12 23:12:46] 715*2^710681-1 is not prime. Res64: 1DAF0E146FEC1E52 Time : 611.0 sec. user=vaughan [2009-08-12 23:12:55] 717*2^710681-1 is not prime. Res64: 92868AD88B6D1557 Time : 611.0 sec. user=vaughan [2009-08-12 23:13:05] 687*2^710680-1 is not prime. Res64: 28ACB282AFCBA69F Time : 787.0 sec. user=vaughan [2009-08-12 23:19:40] 777*2^710681-1 is not prime. Res64: 7BC3C52BCFD3868F Time : 820.0 sec. user=vaughan [2009-08-12 23:19:54] 635*2^710682-1 is not prime. Res64: 4CD755214E7D295B Time : 790.0 sec. user=vaughan [2009-08-12 23:21:10] 603*2^710683-1 is not prime. Res64: 699AEF72CF6F93D2 Time : 596.0 sec. user=vaughan [2009-08-12 23:21:37] 681*2^710682-1 is not prime. Res64: 1E3D9695C7EF099D Time : 794.0 sec. user=vaughan [2009-08-12 23:22:22] 625*2^710683-1 is not prime. Res64: 7F43D2054DA782BC Time : 588.0 sec. user=vaughan [2009-08-12 23:22:34] 649*2^710683-1 is not prime. Res64: 2C981DC079DBD6E2 Time : 588.0 sec. user=vaughan [2009-08-12 23:22:50] 673*2^710683-1 is not prime. Res64: BACD95CB6C1D1776 Time : 595.0 sec. user=vaughan [2009-08-12 23:23:07] 765*2^710682-1 is not prime. Res64: E2C3E0DD0950DE78 Time : 748.0 sec. user=vaughan [2009-08-12 23:23:15] 797*2^710682-1 is not prime. Res64: AB3EC2A7E710CF79 Time : 740.0 sec. user=vaughan [2009-08-12 23:26:10] 735*2^710683-1 is not prime. Res64: F0C4A3C2C21BBB21 Time : 785.0 sec. user=vaughan [2009-08-12 23:28:16] 713*2^710682-1 is not prime. Res64: C6F4A03191BAC0D8 Time : 1191.0 sec. user=vaughan [2009-08-12 23:28:59] 723*2^710682-1 is not prime. Res64: D720E437314E7065 Time : 1196.0 sec. user=vaughan [2009-08-12 23:30:49] 617*2^710684-1 is not prime. Res64: F708F86E730BB4C1 Time : 580.0 sec. user=vaughan [2009-08-12 23:32:06] 773*2^710684-1 is not prime. Res64: 9036FF106B53FD4A Time : 584.0 sec. user=vaughan [2009-08-12 23:32:13] 601*2^710685-1 is not prime. Res64: B8E76CB610C5579A Time : 580.0 sec. user=vaughan [2009-08-12 23:32:32] 649*2^710685-1 is not prime. Res64: 5179353145EE49A5 Time : 582.0 sec. user=vaughan [2009-08-12 23:33:01] 789*2^710683-1 is not prime. Res64: 5D8AA5E90EA0FAA2 Time : 787.0 sec. user=vaughan [2009-08-12 23:33:29] 771*2^710683-1 is not prime. Res64: A10EE0D33064D231 Time : 829.0 sec. user=vaughan [2009-08-12 23:35:01] 707*2^710684-1 is not prime. Res64: 7BA0FF71D9819041 Time : 804.0 sec. user=vaughan [2009-08-12 23:35:37] 657*2^710685-1 is not prime. Res64: 9F11457C8F3C15AE Time : 750.0 sec. user=vaughan [2009-08-12 23:35:41] 747*2^710686-1 is not prime. Res64: 9B9969F783B66404 Time : 746.0 sec. user=vaughan [2009-08-12 23:39:13] 755*2^710686-1 is not prime. Res64: 63F71E2954AF7C37 Time : 783.0 sec. user=vaughan [2009-08-12 23:40:53] 605*2^710688-1 is not prime. Res64: 06D860C3F6F6C886 Time : 604.0 sec. user=vaughan [2009-08-12 23:42:13] 735*2^710688-1 is not prime. Res64: 5FC7EA609231BEB2 Time : 608.0 sec. user=vaughan [2009-08-12 23:42:25] 691*2^710689-1 is not prime. Res64: 8517FD2D5008EF32 Time : 613.0 sec. user=vaughan [2009-08-12 23:42:44] 699*2^710689-1 is not prime. Res64: BEC5C1A8F78D0578 Time : 612.0 sec. user=vaughan [2009-08-12 23:46:09] 775*2^710689-1 is not prime. Res64: AFAF57369303A0E6 Time : 788.0 sec. user=vaughan [2009-08-12 23:47:20] 671*2^710690-1 is not prime. Res64: 61393CB769B431EE Time : 831.0 sec. user=vaughan [2009-08-12 23:47:25] 601*2^710687-1 is not prime. Res64: 89CD75AACC66C486 Time : 1150.0 sec. user=vaughan [2009-08-12 23:48:07] 785*2^710690-1 is not prime. Res64: ADD8BF4DEB96BB75 Time : 746.0 sec. user=vaughan [2009-08-12 23:48:16] 741*2^710690-1 is not prime. Res64: DD67AA3846F6337D Time : 759.0 sec. user=vaughan [2009-08-12 23:48:27] 677*2^710690-1 is not prime. Res64: 414169602EC39C1A Time : 806.0 sec. user=vaughan [2009-08-12 23:48:48] 763*2^710687-1 is not prime. Res64: 685BCF38AB9D0405 Time : 1190.0 sec. user=vaughan [2009-08-12 23:51:02] 649*2^710691-1 is not prime. Res64: 141A2EC227580570 Time : 609.0 sec. user=vaughan [2009-08-12 23:52:17] 643*2^710691-1 is not prime. Res64: E99BCC3F49F1DBE0 Time : 784.0 sec. user=vaughan [2009-08-12 23:52:27] 675*2^710691-1 is not prime. Res64: AE1A56E505C4879B Time : 614.0 sec. user=vaughan [2009-08-12 23:52:43] 709*2^710691-1 is not prime. Res64: 615E85A3E4785FD2 Time : 618.0 sec. user=vaughan [2009-08-12 23:53:04] 735*2^710691-1 is not prime. Res64: C0A7E6812C5DB887 Time : 620.0 sec. user=vaughan [2009-08-12 23:59:17] 741*2^710691-1 is not prime. Res64: 06C4FDA4637AB98D Time : 788.0 sec.