user=mdettweiler [2012-11-17 00:13:06] 631*2^1234499-1 is not prime. Res64: 19A0666DF0A406B5 Time : 0.0 sec. user=mdettweiler [2012-11-17 00:13:09] 669*2^1234499-1 is not prime. Res64: 224987BF37BAD1CD Time : 0.0 sec. user=mdettweiler [2012-11-17 00:13:11] 693*2^1234499-1 is not prime. Res64: 6912D28939BE6951 Time : 0.0 sec. user=mdettweiler [2012-11-17 00:13:15] 745*2^1234499-1 is not prime. Res64: 3729A8060C351C91 Time : 0.0 sec. user=vaughan [2012-11-17 00:19:18] 955*2^1234499-1 is not prime. Res64: 12D11BFDA4DA5911 Time : 0.0 sec. user=vaughan [2012-11-17 00:19:31] 723*2^1234500-1 is not prime. Res64: 9BDB93ABA5AE648C Time : 0.0 sec. user=vaughan [2012-11-17 00:19:42] 813*2^1234499-1 is not prime. Res64: 8CE693CEBB67C400 Time : 0.0 sec. user=vaughan [2012-11-17 00:19:50] 669*2^1234500-1 is not prime. Res64: 47757F70D11F9922 Time : 0.0 sec. user=mdettweiler [2012-11-17 00:34:19] 725*2^1234500-1 is not prime. Res64: 156181913CCBB4E1 Time : 0.0 sec. user=mdettweiler [2012-11-17 00:34:19] 899*2^1234500-1 is not prime. Res64: C412735E59374D68 Time : 0.0 sec. user=mdettweiler [2012-11-17 00:34:24] 741*2^1234501-1 is not prime. Res64: 943677EF5A9923A8 Time : 0.0 sec. user=mdettweiler [2012-11-17 00:34:24] 937*2^1234501-1 is not prime. Res64: A03A10053984F23F Time : 0.0 sec. user=vaughan [2012-11-17 00:46:13] 939*2^1234501-1 is not prime. Res64: CC54BA1599513696 Time : 0.0 sec. user=vaughan [2012-11-17 00:46:27] 967*2^1234501-1 is not prime. Res64: BD654F367AE1302E Time : 0.0 sec. user=mdettweiler [2012-11-17 00:55:16] 987*2^1234501-1 is not prime. Res64: 2ADE179DACEA7894 Time : 0.0 sec. user=mdettweiler [2012-11-17 00:55:16] 999*2^1234501-1 is not prime. Res64: 906AFF7DD78A6748 Time : 0.0 sec. user=mdettweiler [2012-11-17 00:55:17] 615*2^1234502-1 is not prime. Res64: F8AFB670A06399E0 Time : 0.0 sec. user=mdettweiler [2012-11-17 00:55:17] 675*2^1234502-1 is not prime. Res64: D28A2F19509E8523 Time : 0.0 sec. user=vaughan [2012-11-17 01:12:29] 743*2^1234502-1 is not prime. Res64: 6D8D094A6DA1E843 Time : 0.0 sec. user=vaughan [2012-11-17 01:12:36] 755*2^1234502-1 is not prime. Res64: DE0998BFFE97EDFB Time : 0.0 sec. user=vaughan [2012-11-17 01:12:43] 831*2^1234502-1 is not prime. Res64: 85BA03D1BFEF7952 Time : 0.0 sec. user=vaughan [2012-11-17 01:12:55] 921*2^1234502-1 is not prime. Res64: A5997A73B162C86E Time : 0.0 sec. user=mdettweiler [2012-11-17 01:16:07] 945*2^1234502-1 is not prime. Res64: A5F467272AAF7178 Time : 0.0 sec. user=mdettweiler [2012-11-17 01:16:09] 763*2^1234503-1 is not prime. Res64: 2EF6AA88F25F2A62 Time : 0.0 sec. user=mdettweiler [2012-11-17 01:16:12] 669*2^1234503-1 is not prime. Res64: B0683773FDC63407 Time : 0.0 sec. user=mdettweiler [2012-11-17 01:16:15] 765*2^1234503-1 is not prime. Res64: 4CBF38269817BC34 Time : 0.0 sec. user=mdettweiler [2012-11-17 01:37:05] 933*2^1234503-1 is not prime. Res64: F0C3E24F290F3BC8 Time : 0.0 sec. user=mdettweiler [2012-11-17 01:37:06] 857*2^1234504-1 is not prime. Res64: 2D79EEEC93B7352B Time : 0.0 sec. user=mdettweiler [2012-11-17 01:37:11] 869*2^1234504-1 is not prime. Res64: D5DAE703A7803BF9 Time : 0.0 sec. user=mdettweiler [2012-11-17 01:37:11] 917*2^1234504-1 is not prime. Res64: 66079342AC128F39 Time : 0.0 sec. user=vaughan [2012-11-17 01:38:53] 781*2^1234503-1 is not prime. Res64: E3E861C4C2E35856 Time : 0.0 sec. user=vaughan [2012-11-17 01:39:05] 853*2^1234503-1 is not prime. Res64: B039C80025ADC5C6 Time : 0.0 sec. user=vaughan [2012-11-17 01:39:15] 829*2^1234503-1 is not prime. Res64: 8EC08191BED5C520 Time : 0.0 sec. user=mdettweiler [2012-11-17 01:57:56] 775*2^1234505-1 is not prime. Res64: 57F02698CCB5E5B4 Time : 0.0 sec. user=mdettweiler [2012-11-17 01:57:56] 799*2^1234505-1 is not prime. Res64: 49CB3F2E17C6334F Time : 0.0 sec. user=mdettweiler [2012-11-17 01:58:01] 939*2^1234505-1 is not prime. Res64: 1EB97748C9FBACDA Time : 0.0 sec. user=mdettweiler [2012-11-17 01:58:01] 949*2^1234505-1 is not prime. Res64: FCEB4766A5548D16 Time : 0.0 sec. user=vaughan [2012-11-17 02:03:40] 627*2^1234505-1 is not prime. Res64: 8B072ECC9FE66AF7 Time : 0.0 sec. user=vaughan [2012-11-17 02:05:37] 777*2^1234506-1 is not prime. Res64: F784430DEB602C26 Time : 0.0 sec. user=vaughan [2012-11-17 02:05:39] 723*2^1234506-1 is not prime. Res64: 73BFED57EB56FCBB Time : 0.0 sec. user=vaughan [2012-11-17 02:05:56] 975*2^1234506-1 is not prime. Res64: E3B21D664FFEF487 Time : 0.0 sec. user=mdettweiler [2012-11-17 02:18:46] 601*2^1234507-1 is not prime. Res64: AD69D549A412448F Time : 0.0 sec. user=mdettweiler [2012-11-17 02:18:48] 633*2^1234507-1 is not prime. Res64: C3741718A6EFC6C7 Time : 0.0 sec. user=mdettweiler [2012-11-17 02:18:50] 651*2^1234507-1 is not prime. Res64: 5AC39907C19D249B Time : 0.0 sec. user=mdettweiler [2012-11-17 02:18:53] 675*2^1234507-1 is not prime. Res64: 875F087628D09402 Time : 0.0 sec. user=vaughan [2012-11-17 02:30:29] 901*2^1234507-1 is not prime. Res64: 9C28042155061D2E Time : 0.0 sec. user=vaughan [2012-11-17 02:32:31] 633*2^1234508-1 is not prime. Res64: EB41684D42B304ED Time : 0.0 sec. user=vaughan [2012-11-17 02:32:33] 961*2^1234507-1 is not prime. Res64: 6BA07CE0479347F0 Time : 0.0 sec. user=mdettweiler [2012-11-17 02:39:56] 735*2^1234508-1 is not prime. Res64: FB0D7D4546CF7A90 Time : 0.0 sec. user=mdettweiler [2012-11-17 02:39:57] 749*2^1234508-1 is not prime. Res64: 5A14122A8A1C8DBB Time : 0.0 sec. user=mdettweiler [2012-11-17 02:39:57] 635*2^1234508-1 is not prime. Res64: 331767CC510452F4 Time : 0.0 sec. user=mdettweiler [2012-11-17 02:39:58] 767*2^1234508-1 is not prime. Res64: D05881A158C8D8C2 Time : 0.0 sec. user=vaughan [2012-11-17 02:59:44] 987*2^1234508-1 is not prime. Res64: 742D776B709AA72B Time : 0.0 sec. user=vaughan [2012-11-17 02:59:55] 855*2^1234508-1 is not prime. Res64: 0BDFDACF75B8D648 Time : 0.0 sec. user=vaughan [2012-11-17 03:00:23] 865*2^1234509-1 is not prime. Res64: 1BE869077A03FE66 Time : 0.0 sec. user=mdettweiler [2012-11-17 03:00:55] 951*2^1234509-1 is not prime. Res64: C5C31FF203B9BC80 Time : 0.0 sec. user=mdettweiler [2012-11-17 03:00:55] 891*2^1234509-1 is not prime. Res64: 844AFB00440A1222 Time : 0.0 sec. user=mdettweiler [2012-11-17 03:01:21] 603*2^1234510-1 is not prime. Res64: E0B3C8F08B12CFA1 Time : 0.0 sec. user=vaughan [2012-11-17 03:24:47] 965*2^1234510-1 is not prime. Res64: 166E84529FEABFAB Time : 0.0 sec. user=vaughan [2012-11-17 03:27:34] 615*2^1234511-1 is not prime. Res64: 57A0ABDB566464C1 Time : 0.0 sec. user=vaughan [2012-11-17 03:28:03] 661*2^1234511-1 is not prime. Res64: 45D612AAC353E6BE Time : 0.0 sec. user=mdettweiler [2012-11-17 03:46:43] 895*2^1234509-1 is not prime. Res64: C7B2B44A0ACCDA2D Time : 0.0 sec. user=juhehe [2012-11-17 03:49:09] 833*2^1234458-1 is not prime. Res64: 1C25D37E1D6352CB Time : 0.0 sec. user=vaughan [2012-11-17 03:51:30] 703*2^1234511-1 is not prime. Res64: 505E772A4A6B7BB0 Time : 0.0 sec. user=vaughan [2012-11-17 03:53:13] 735*2^1234511-1 is not prime. Res64: D73B7F5BF1EAF77C Time : 0.0 sec. user=vaughan [2012-11-17 03:54:11] 825*2^1234511-1 is not prime. Res64: 15AF3A3DBF24B5B1 Time : 0.0 sec. user=vaughan [2012-11-17 03:54:46] 865*2^1234511-1 is not prime. Res64: E645E0534980DD28 Time : 0.0 sec. user=mdettweiler [2012-11-17 04:03:57] 975*2^1234512-1 is not prime. Res64: 53221A73B530EACE Time : 0.0 sec. user=mdettweiler [2012-11-17 04:04:00] 649*2^1234513-1 is not prime. Res64: B0257BA176429201 Time : 0.0 sec. user=mdettweiler [2012-11-17 04:08:01] 715*2^1234513-1 is not prime. Res64: 91949EA2056D0F51 Time : 0.0 sec. user=mdettweiler [2012-11-17 04:08:03] 729*2^1234513-1 is not prime. Res64: 535D9BFAB4385616 Time : 0.0 sec. user=vaughan [2012-11-17 04:18:36] 801*2^1234513-1 is not prime. Res64: D95175E4B2658568 Time : 0.0 sec. user=vaughan [2012-11-17 04:20:17] 805*2^1234513-1 is not prime. Res64: 2815D40E76948561 Time : 0.0 sec. user=vaughan [2012-11-17 04:20:55] 829*2^1234513-1 is not prime. Res64: 85FB91F6792F653C Time : 0.0 sec. user=vaughan [2012-11-17 04:21:45] 847*2^1234513-1 is not prime. Res64: 521E07EFDF51E101 Time : 0.0 sec. user=vaughan [2012-11-17 04:24:45] 689*2^1234512-1 is not prime. Res64: 0B0CEFDFE5DF62C8 Time : 0.0 sec. user=mdettweiler [2012-11-17 04:25:06] 895*2^1234513-1 is not prime. Res64: E5289FB30D0D2524 Time : 0.0 sec. user=mdettweiler [2012-11-17 04:25:06] 901*2^1234513-1 is not prime. Res64: DCD33D20DF77AFBC Time : 0.0 sec. user=vaughan [2012-11-17 04:25:25] 809*2^1234512-1 is not prime. Res64: CFB6F21FB448F6C8 Time : 0.0 sec. user=mdettweiler [2012-11-17 04:29:11] 951*2^1234513-1 is not prime. Res64: 2774FF922788A8AE Time : 0.0 sec. user=mdettweiler [2012-11-17 04:29:11] 967*2^1234513-1 is not prime. Res64: 7D71110F3395BE3B Time : 0.0 sec. user=vaughan [2012-11-17 04:31:14] 797*2^1234512-1 is not prime. Res64: 14BEDD605CC48555 Time : 0.0 sec. user=vaughan [2012-11-17 04:31:20] 939*2^1234511-1 is not prime. Res64: EC5A6CEB8D59B08D Time : 0.0 sec. user=vaughan [2012-11-17 04:45:48] 885*2^1234514-1 is not prime. Res64: 0E1DD345B66BF113 Time : 0.0 sec. user=mdettweiler [2012-11-17 04:45:56] 679*2^1234515-1 is not prime. Res64: E59E97CE6B58C0D8 Time : 0.0 sec. user=mdettweiler [2012-11-17 04:45:57] 801*2^1234515-1 is not prime. Res64: 5052D1BF373F3BF6 Time : 0.0 sec. user=vaughan [2012-11-17 04:47:11] 887*2^1234514-1 is not prime. Res64: 65C9AEDFDF956271 Time : 0.0 sec. user=vaughan [2012-11-17 04:47:38] 945*2^1234514-1 is not prime. Res64: AE7AEAFFC2F32924 Time : 0.0 sec. user=vaughan [2012-11-17 04:48:33] 619*2^1234515-1 is not prime. Res64: D1059D26D5F8EC4A Time : 0.0 sec. user=mdettweiler [2012-11-17 04:50:01] 805*2^1234515-1 is not prime. Res64: 7EA6A59EF7D66DF5 Time : 0.0 sec. user=mdettweiler [2012-11-17 04:50:01] 895*2^1234515-1 is not prime. Res64: E3A32229F098E661 Time : 0.0 sec. user=vaughan [2012-11-17 04:59:03] 625*2^1234515-1 is not prime. Res64: 9FF60BCEDC4390B2 Time : 0.0 sec. user=vaughan [2012-11-17 05:00:39] 909*2^1234511-1 is not prime. Res64: 0219E53765A7038B Time : 0.0 sec. user=vaughan [2012-11-17 05:00:43] 693*2^1234512-1 is not prime. Res64: D6B8DA46C2A8FC5F Time : 0.0 sec. user=vaughan [2012-11-17 05:03:55] 951*2^1234515-1 is not prime. Res64: 2161AECCADC4AD59 Time : 0.0 sec. user=mdettweiler [2012-11-17 05:06:52] 991*2^1234515-1 is not prime. Res64: 16E908452AEA6A65 Time : 0.0 sec. user=mdettweiler [2012-11-17 05:06:54] 999*2^1234515-1 is not prime. Res64: 5F00B3A134FA6491 Time : 0.0 sec. user=mdettweiler [2012-11-17 05:10:52] 909*2^1234516-1 is not prime. Res64: 104C5044EB223DFE Time : 0.0 sec. user=mdettweiler [2012-11-17 05:10:54] 933*2^1234516-1 is not prime. Res64: A129A4E3ACF296F2 Time : 0.0 sec. user=vaughan [2012-11-17 05:12:50] 677*2^1234516-1 is not prime. Res64: 91B2F59C3A919C45 Time : 0.0 sec. user=vaughan [2012-11-17 05:14:45] 693*2^1234516-1 is not prime. Res64: 1A8900730788B2F3 Time : 0.0 sec. user=mdettweiler [2012-11-17 05:28:20] 757*2^1234517-1 is not prime. Res64: 79B75DA4A32225CC Time : 0.0 sec. user=mdettweiler [2012-11-17 05:28:21] 759*2^1234517-1 is not prime. Res64: F45DE25916678C31 Time : 0.0 sec. user=mdettweiler [2012-11-17 05:31:51] 871*2^1234517-1 is not prime. Res64: 50133E209E033A86 Time : 0.0 sec. user=mdettweiler [2012-11-17 05:31:52] 945*2^1234517-1 is not prime. Res64: D28EB9AD5BF316DD Time : 0.0 sec. user=vaughan [2012-11-17 05:32:15] 965*2^1234516-1 is not prime. Res64: FEC170CC752E5774 Time : 0.0 sec. user=vaughan [2012-11-17 05:33:04] 727*2^1234517-1 is not prime. Res64: C78CCEC37F8AB5AB Time : 0.0 sec. user=mdettweiler [2012-11-17 05:49:15] 765*2^1234518-1 is not prime. Res64: 1B74707B66A4A5AE Time : 0.0 sec. user=mdettweiler [2012-11-17 05:49:15] 951*2^1234518-1 is not prime. Res64: E645B90400897719 Time : 0.0 sec. user=vaughan [2012-11-17 05:49:55] 711*2^1234518-1 is not prime. Res64: C95E371559C8C257 Time : 0.0 sec. user=mdettweiler [2012-11-17 05:52:47] 971*2^1234518-1 is not prime. Res64: 52B16C77F719A785 Time : 0.0 sec. user=mdettweiler [2012-11-17 05:52:48] 621*2^1234519-1 is not prime. Res64: 17061A5E994EF00C Time : 0.0 sec. user=vaughan [2012-11-17 05:53:31] 979*2^1234515-1 is not prime. Res64: 42F523D3007AEEF6 Time : 0.0 sec. user=vaughan [2012-11-17 06:01:04] 681*2^1234519-1 is not prime. Res64: F76B9CF2B81473C9 Time : 0.0 sec. user=vaughan [2012-11-17 06:07:14] 795*2^1234517-1 is not prime. Res64: 567875FE1D754E24 Time : 0.0 sec. user=vaughan [2012-11-17 06:07:57] 651*2^1234518-1 is not prime. Res64: B08D5A431FCBEBB1 Time : 0.0 sec. user=mdettweiler [2012-11-17 06:10:08] 723*2^1234519-1 is not prime. Res64: A7F63D9DFBB3FD16 Time : 0.0 sec. user=mdettweiler [2012-11-17 06:10:11] 735*2^1234519-1 is not prime. Res64: B7054B6E9CE13AA5 Time : 0.0 sec. user=mdettweiler [2012-11-17 06:13:41] 629*2^1234520-1 is not prime. Res64: 8ED3CCC05C7C3992 Time : 0.0 sec. user=mdettweiler [2012-11-17 06:13:43] 699*2^1234520-1 is not prime. Res64: 09F405DE2795B3F0 Time : 0.0 sec. user=vaughan [2012-11-17 06:14:06] 993*2^1234516-1 is not prime. Res64: 27E85CBF3F80F8FF Time : 0.0 sec. user=vaughan [2012-11-17 06:24:09] 803*2^1234520-1 is not prime. Res64: AA00B79BC8231683 Time : 0.0 sec. user=mdettweiler [2012-11-17 06:31:10] 669*2^1234521-1 is not prime. Res64: 86C0D6287380F13F Time : 0.0 sec. user=mdettweiler [2012-11-17 06:31:10] 795*2^1234521-1 is not prime. Res64: 4583E5996CD7929C Time : 0.0 sec. user=vaughan [2012-11-17 06:34:08] 857*2^1234520-1 is not prime. Res64: 693C0BDE72A03DBD Time : 0.0 sec. user=mdettweiler [2012-11-17 06:34:36] 945*2^1234521-1 is not prime. Res64: 3643B6C49F143A62 Time : 0.0 sec. user=mdettweiler [2012-11-17 06:34:37] 955*2^1234521-1 is not prime. Res64: 36ABBEC561FFAAD0 Time : 0.0 sec. user=vaughan [2012-11-17 06:41:05] 927*2^1234520-1 is not prime. Res64: 6B988DA392F4B9A2 Time : 0.0 sec. user=vaughan [2012-11-17 06:50:30] 855*2^1234520-1 is not prime. Res64: C9E403F0AD979BFC Time : 0.0 sec. user=vaughan [2012-11-17 06:50:44] 899*2^1234520-1 is not prime. Res64: AF1BBB4E7C753FD5 Time : 0.0 sec. user=mdettweiler [2012-11-17 06:52:01] 675*2^1234522-1 is not prime. Res64: DD32FD3B0D543145 Time : 0.0 sec. user=mdettweiler [2012-11-17 06:52:01] 803*2^1234522-1 is not prime. Res64: DCD4FBEFCD32A646 Time : 0.0 sec. user=vaughan [2012-11-17 06:54:41] 819*2^1234521-1 is not prime. Res64: CD3C45E2C16261DD Time : 0.0 sec. user=vaughan [2012-11-17 06:55:21] 633*2^1234522-1 is not prime. Res64: AD7AFC4935BA354B Time : 0.0 sec. user=mdettweiler [2012-11-17 06:55:28] 945*2^1234522-1 is not prime. Res64: 2E5A28AA4A24349B Time : 0.0 sec. user=mdettweiler [2012-11-17 06:55:29] 975*2^1234522-1 is not prime. Res64: 03AB8D33DEBF4F0E Time : 0.0 sec. user=vaughan [2012-11-17 06:57:16] 999*2^1234521-1 is not prime. Res64: DA663FE8E016E6F3 Time : 0.0 sec. user=vaughan [2012-11-17 07:04:40] 895*2^1234521-1 is not prime. Res64: 9E06D3B9F82BF59B Time : 0.0 sec. user=vaughan [2012-11-17 07:09:43] 873*2^1234522-1 is not prime. Res64: 37137E4EF51A8DE4 Time : 0.0 sec. user=mdettweiler [2012-11-17 07:12:51] 819*2^1234523-1 is not prime. Res64: 7AB110959BD5E455 Time : 0.0 sec. user=mdettweiler [2012-11-17 07:12:52] 879*2^1234523-1 is not prime. Res64: 626004A2F67E4C74 Time : 0.0 sec. user=vaughan [2012-11-17 07:13:04] 693*2^1234523-1 is not prime. Res64: EC83AF00AA7C6672 Time : 0.0 sec. user=mdettweiler [2012-11-17 07:16:19] 955*2^1234523-1 is not prime. Res64: E364EB88EAC102FE Time : 0.0 sec. user=mdettweiler [2012-11-17 07:16:20] 985*2^1234523-1 is not prime. Res64: B580DE9DBAFEC747 Time : 0.0 sec. user=vaughan [2012-11-17 07:17:06] 741*2^1234523-1 is not prime. Res64: BB7038DA6F49DADE Time : 0.0 sec. user=vaughan [2012-11-17 07:21:49] 915*2^1234523-1 is not prime. Res64: 0F81A4072DFF54E8 Time : 0.0 sec. user=mdettweiler [2012-11-17 07:33:47] 773*2^1234524-1 is not prime. Res64: CC9E1697EFD2CC95 Time : 0.0 sec. user=mdettweiler [2012-11-17 07:33:48] 893*2^1234524-1 is not prime. Res64: 1B400C00DB7FF213 Time : 0.0 sec. user=mdettweiler [2012-11-17 07:37:12] 947*2^1234524-1 is not prime. Res64: BA06C06098C82E26 Time : 0.0 sec. user=mdettweiler [2012-11-17 07:37:12] 993*2^1234524-1 is not prime. Res64: 157415324B9A564E Time : 0.0 sec. user=vaughan [2012-11-17 07:42:38] 905*2^1234524-1 is not prime. Res64: 65B2138A7D69D031 Time : 0.0 sec. user=vaughan [2012-11-17 07:44:43] 633*2^1234523-1 is not prime. Res64: CFEC5B14980044D7 Time : 0.0 sec. user=vaughan [2012-11-17 07:45:29] 913*2^1234523-1 is not prime. Res64: EBB7E7DA64A0D3BB Time : 0.0 sec. user=vaughan [2012-11-17 07:49:53] 753*2^1234524-1 is not prime. Res64: E532C558DE369B19 Time : 0.0 sec. user=vaughan [2012-11-17 07:53:28] 749*2^1234524-1 is not prime. Res64: 992EF84B93847D29 Time : 0.0 sec. user=mdettweiler [2012-11-17 07:54:40] 649*2^1234525-1 is not prime. Res64: 72E194445922C3E9 Time : 0.0 sec. user=mdettweiler [2012-11-17 07:54:41] 661*2^1234525-1 is not prime. Res64: 742C94D16240BF42 Time : 0.0 sec. user=mdettweiler [2012-11-17 07:58:03] 687*2^1234525-1 is not prime. Res64: D433E30943D4C012 Time : 0.0 sec. user=mdettweiler [2012-11-17 07:58:03] 757*2^1234525-1 is not prime. Res64: 5EA2CCF90F71E30A Time : 0.0 sec. user=vaughan [2012-11-17 08:01:15] 609*2^1234525-1 is not prime. Res64: CFA52FE21BBF808D Time : 0.0 sec. user=vaughan [2012-11-17 08:04:11] 609*2^1234524-1 is not prime. Res64: A6DEFA19D9E45FE0 Time : 0.0 sec. user=vaughan [2012-11-17 08:09:02] 975*2^1234519-1 is not prime. Res64: 071B05AF9572A5F2 Time : 0.0 sec. user=mdettweiler [2012-11-17 08:15:31] 711*2^1234526-1 is not prime. Res64: 19CDFD55792235A7 Time : 0.0 sec. user=mdettweiler [2012-11-17 08:15:34] 911*2^1234526-1 is not prime. Res64: 31F1660042A5670A Time : 0.0 sec. user=vaughan [2012-11-17 08:16:13] 777*2^1234525-1 is not prime. Res64: 82280B5D53613898 Time : 0.0 sec. user=mdettweiler [2012-11-17 08:18:54] 945*2^1234526-1 is not prime. Res64: D7054EEC3962FE3A Time : 0.0 sec. user=mdettweiler [2012-11-17 08:18:57] 649*2^1234527-1 is not prime. Res64: A5259DF95EF5C894 Time : 0.0 sec. user=vaughan [2012-11-17 08:21:34] 937*2^1234525-1 is not prime. Res64: AD93B93FA84D8BFD Time : 0.0 sec. user=vaughan [2012-11-17 08:29:20] 781*2^1234523-1 is not prime. Res64: 4F45FE48F397EB42 Time : 0.0 sec. user=vaughan [2012-11-17 08:33:39] 915*2^1234525-1 is not prime. Res64: 87AD956101CF3314 Time : 0.0 sec. user=mdettweiler [2012-11-17 08:36:44] 803*2^1234528-1 is not prime. Res64: BE672FDAA0F2D21E Time : 0.0 sec. user=mdettweiler [2012-11-17 08:36:44] 905*2^1234528-1 is not prime. Res64: 921B9A5950E6D231 Time : 0.0 sec. user=vaughan [2012-11-17 08:37:44] 765*2^1234527-1 is not prime. Res64: 8EF23F659036A428 Time : 0.0 sec. user=juhehe [2012-11-17 08:39:19] 823*2^1234527-1 is not prime. Res64: 1319041A80193610 Time : 0.0 sec. user=vaughan [2012-11-17 08:39:23] 855*2^1234525-1 is not prime. Res64: 09F05FF082F1F9D1 Time : 0.0 sec. user=mdettweiler [2012-11-17 08:40:10] 615*2^1234529-1 is not prime. Res64: 28BABB3DE2D756F6 Time : 0.0 sec. user=mdettweiler [2012-11-17 08:40:11] 631*2^1234529-1 is not prime. Res64: EBFC3A9F2CFBD0EE Time : 0.0 sec. user=vaughan [2012-11-17 08:41:19] 693*2^1234527-1 is not prime. Res64: B62092F07D52E051 Time : 0.0 sec. user=vaughan [2012-11-17 08:48:01] 929*2^1234528-1 is not prime. Res64: 03144DBEB26E9CA9 Time : 0.0 sec. user=vaughan [2012-11-17 08:51:15] 951*2^1234525-1 is not prime. Res64: F34E0D63368F739F Time : 0.0 sec. user=vaughan [2012-11-17 08:57:16] 657*2^1234529-1 is not prime. Res64: C058C1B9EC38E05B Time : 0.0 sec. user=mdettweiler [2012-11-17 08:57:34] 789*2^1234529-1 is not prime. Res64: A8F347AC2E02BFFE Time : 0.0 sec. user=mdettweiler [2012-11-17 08:57:34] 795*2^1234529-1 is not prime. Res64: 1C66F8D2911E9786 Time : 0.0 sec. user=vaughan [2012-11-17 08:59:02] 775*2^1234525-1 is not prime. Res64: 9B898E047865CE7E Time : 0.0 sec. user=mdettweiler [2012-11-17 09:01:03] 703*2^1234531-1 is not prime. Res64: DE8AA8E895C24686 Time : 0.0 sec. user=mdettweiler [2012-11-17 09:01:06] 705*2^1234531-1 is not prime. Res64: 5D393EF355378AC7 Time : 0.0 sec. user=vaughan [2012-11-17 09:08:14] 743*2^1234528-1 is not prime. Res64: C74235958FA1CBDC Time : 0.0 sec. user=vaughan [2012-11-17 09:09:18] 841*2^1234529-1 is not prime. Res64: 0B4FA75D3ADEE790 Time : 0.0 sec. user=vaughan [2012-11-17 09:10:52] 723*2^1234531-1 is not prime. Res64: 7553847FA27E78D1 Time : 0.0 sec. user=juhehe [2012-11-17 09:11:59] 927*2^1234530-1 is not prime. Res64: 5DBC5D49A615835A Time : 0.0 sec. user=mdettweiler [2012-11-17 09:18:24] 873*2^1234532-1 is not prime. Res64: 2890861147F588B8 Time : 0.0 sec. user=mdettweiler [2012-11-17 09:18:24] 885*2^1234532-1 is not prime. Res64: 6CC82FDFF009601F Time : 0.0 sec. user=vaughan [2012-11-17 09:19:43] 901*2^1234531-1 is not prime. Res64: 98FBDB4605469B5B Time : 0.0 sec. user=mdettweiler [2012-11-17 09:22:23] 621*2^1234533-1 is not prime. Res64: 1D244B10F6E47A10 Time : 0.0 sec. user=mdettweiler [2012-11-17 09:22:24] 625*2^1234533-1 is not prime. Res64: 953428BDAC6215C9 Time : 0.0 sec. user=vaughan [2012-11-17 09:26:04] 787*2^1234529-1 is not prime. Res64: E2D8AB7F6D068D8A Time : 0.0 sec. user=vaughan [2012-11-17 09:29:13] 833*2^1234532-1 is not prime. Res64: 44C1AE391AB12D1F Time : 0.0 sec. user=vaughan [2012-11-17 09:29:28] 771*2^1234529-1 is not prime. Res64: D03FD7CAB0815E4F Time : 0.0 sec. user=vaughan [2012-11-17 09:35:39] 915*2^1234532-1 is not prime. Res64: A2114BBC281A692F Time : 0.0 sec. user=vaughan [2012-11-17 09:38:13] 999*2^1234531-1 is not prime. Res64: A80D95403BE34838 Time : 0.0 sec. user=mdettweiler [2012-11-17 09:39:12] 773*2^1234534-1 is not prime. Res64: 65269574A30D8C44 Time : 0.0 sec. user=mdettweiler [2012-11-17 09:39:13] 791*2^1234534-1 is not prime. Res64: 492C30B467C58DE8 Time : 0.0 sec. user=vaughan [2012-11-17 09:40:41] 817*2^1234533-1 is not prime. Res64: 0FD0EE087ADD98AB Time : 0.0 sec. user=mdettweiler [2012-11-17 09:43:20] 951*2^1234534-1 is not prime. Res64: 25E6F73B63942DA0 Time : 0.0 sec. user=mdettweiler [2012-11-17 09:43:20] 971*2^1234534-1 is not prime. Res64: DFF8DE09460CABE2 Time : 0.0 sec. user=juhehe [2012-11-17 09:44:42] 979*2^1234533-1 is not prime. Res64: FCEA20B789ECA6AC Time : 0.0 sec. user=vaughan [2012-11-17 09:50:07] 897*2^1234534-1 is not prime. Res64: 14D5B3CEDC8F04E3 Time : 0.0 sec. user=vaughan [2012-11-17 09:55:26] 983*2^1234534-1 is not prime. Res64: 4BF2DC1A7C247C20 Time : 0.0 sec. user=vaughan [2012-11-17 09:58:41] 657*2^1234533-1 is not prime. Res64: 2B305CEFFF04424F Time : 0.0 sec. user=vaughan [2012-11-17 09:59:05] 633*2^1234535-1 is not prime. Res64: 9E9C51D199C89FF1 Time : 0.0 sec. user=mdettweiler [2012-11-17 10:00:01] 765*2^1234536-1 is not prime. Res64: 7877D8F9C195141D Time : 0.0 sec. user=mdettweiler [2012-11-17 10:00:02] 773*2^1234536-1 is not prime. Res64: 5E93E00B769959AC Time : 0.0 sec. user=mdettweiler [2012-11-17 10:04:09] 691*2^1234537-1 is not prime. Res64: 99FEC2F94ABDC159 Time : 0.0 sec. user=mdettweiler [2012-11-17 10:04:11] 831*2^1234537-1 is not prime. Res64: D0157D4668F8281C Time : 0.0 sec. user=vaughan [2012-11-17 10:06:10] 651*2^1234531-1 is not prime. Res64: 82DB348118D4C534 Time : 0.0 sec. user=vaughan [2012-11-17 10:10:01] 849*2^1234536-1 is not prime. Res64: 7645C95B1A048182 Time : 0.0 sec. user=vaughan [2012-11-17 10:17:25] 759*2^1234535-1 is not prime. Res64: 2F9EFE87E115A9E9 Time : 0.0 sec. user=juhehe [2012-11-17 10:17:26] 885*2^1234537-1 is not prime. Res64: C99A4EE68F88356D Time : 0.0 sec. user=vaughan [2012-11-17 10:17:56] 623*2^1234536-1 is not prime. Res64: FC823C9C1D0B2AC5 Time : 0.0 sec. user=vaughan [2012-11-17 10:18:54] 623*2^1234538-1 is not prime. Res64: 7486732BD737F261 Time : 0.0 sec. user=mdettweiler [2012-11-17 10:20:51] 677*2^1234538-1 is not prime. Res64: 03B2AE4BEF1C936E Time : 0.0 sec. user=mdettweiler [2012-11-17 10:20:52] 735*2^1234538-1 is not prime. Res64: 8AF6E2E091C81BCD Time : 0.0 sec. user=vaughan [2012-11-17 10:24:14] 641*2^1234538-1 is not prime. Res64: 9928441B7DB6F903 Time : 0.0 sec. user=vaughan [2012-11-17 10:24:27] 609*2^1234537-1 is not prime. Res64: AD4191E50C07FBED Time : 0.0 sec. user=mdettweiler [2012-11-17 10:25:12] 797*2^1234538-1 is not prime. Res64: 7F9877C320030363 Time : 0.0 sec. user=mdettweiler [2012-11-17 10:25:13] 921*2^1234538-1 is not prime. Res64: 07F330627CAEDC7B Time : 0.0 sec. user=vaughan [2012-11-17 10:26:29] 635*2^1234536-1 is not prime. Res64: A5DC98F863C7C1C9 Time : 0.0 sec. user=vaughan [2012-11-17 10:40:58] 663*2^1234539-1 is not prime. Res64: 8172F92543767C00 Time : 0.0 sec. user=mdettweiler [2012-11-17 10:41:43] 689*2^1234540-1 is not prime. Res64: 77DE4FA4BF1CD84D Time : 0.0 sec. user=mdettweiler [2012-11-17 10:41:44] 717*2^1234540-1 is not prime. Res64: F060DE4E3DB25203 Time : 0.0 sec. user=mdettweiler [2012-11-17 10:46:00] 999*2^1234540-1 is not prime. Res64: 7469203B284F5252 Time : 0.0 sec. user=mdettweiler [2012-11-17 10:46:01] 627*2^1234541-1 is not prime. Res64: E8D4EF9CA7A845B9 Time : 0.0 sec. user=vaughan [2012-11-17 10:49:52] 909*2^1234539-1 is not prime. Res64: 8D1A228D24C90081 Time : 0.0 sec. user=vaughan [2012-11-17 10:55:17] 995*2^1234540-1 is not prime. Res64: 4AA0598EB7F4E68A Time : 0.0 sec. user=vaughan [2012-11-17 10:56:43] 619*2^1234539-1 is not prime. Res64: B0C952247994D8E2 Time : 0.0 sec. user=vaughan [2012-11-17 11:00:14] 657*2^1234538-1 is not prime. Res64: 8135C00CAA238AB0 Time : 0.0 sec. user=vaughan [2012-11-17 11:01:42] 953*2^1234540-1 is not prime. Res64: C5CC9C3B9C04288B Time : 0.0 sec. user=mdettweiler [2012-11-17 11:02:31] 755*2^1234542-1 is not prime. Res64: BB8D988C3BF30779 Time : 0.0 sec. user=mdettweiler [2012-11-17 11:02:31] 765*2^1234542-1 is not prime. Res64: D24ABFCDBCD0EEFE Time : 0.0 sec. user=mdettweiler [2012-11-17 11:06:47] 801*2^1234542-1 is not prime. Res64: D7B76859FBFDD1EA Time : 0.0 sec. user=mdettweiler [2012-11-17 11:06:49] 807*2^1234542-1 is not prime. Res64: 420A6F501E6437C7 Time : 0.0 sec. user=vaughan [2012-11-17 11:11:06] 865*2^1234541-1 is not prime. Res64: A258918F6ACED77B Time : 0.0 sec. user=vaughan [2012-11-17 11:14:23] 879*2^1234539-1 is not prime. Res64: 2B78274D1C2241C7 Time : 0.0 sec. user=vaughan [2012-11-17 11:15:45] 631*2^1234541-1 is not prime. Res64: 567718D7E7130EDF Time : 0.0 sec. user=juhehe [2012-11-17 11:21:00] 815*2^1234542-1 is not prime. Res64: 20F8623CAEC14953 Time : 0.0 sec. user=mdettweiler [2012-11-17 11:23:16] 891*2^1234543-1 is not prime. Res64: F1ABC1405EBD176A Time : 0.0 sec. user=mdettweiler [2012-11-17 11:23:17] 663*2^1234544-1 is not prime. Res64: 47872F8513BD5F4E Time : 0.0 sec. user=vaughan [2012-11-17 11:23:32] 833*2^1234542-1 is not prime. Res64: F5ABCB4029629034 Time : 0.0 sec. user=vaughan [2012-11-17 11:24:21] 633*2^1234543-1 is not prime. Res64: E165008219CBC9D0 Time : 0.0 sec. user=mdettweiler [2012-11-17 11:27:40] 675*2^1234544-1 is not prime. Res64: 43688B08E3D7A4F8 Time : 0.0 sec. user=mdettweiler [2012-11-17 11:27:41] 825*2^1234544-1 is not prime. Res64: F6D4E40D7820A80D Time : 0.0 sec. user=vaughan [2012-11-17 11:29:51] 639*2^1234543-1 is not prime. Res64: 5B3E097CFD80E67D Time : 0.0 sec. user=vaughan [2012-11-17 11:31:24] 751*2^1234543-1 is not prime. Res64: FCE3DAE18ED5C165 Time : 0.0 sec. user=vaughan [2012-11-17 11:34:03] 745*2^1234543-1 is not prime. Res64: 30B6F92725114B93 Time : 0.0 sec. user=vaughan [2012-11-17 11:39:56] 827*2^1234544-1 is not prime. Res64: 3BCB649758827F79 Time : 0.0 sec. user=mdettweiler [2012-11-17 11:44:03] 627*2^1234545-1 is not prime. Res64: 6514F648A20B217C Time : 0.0 sec. user=mdettweiler [2012-11-17 11:44:03] 705*2^1234545-1 is not prime. Res64: 3CC7F7215E3DB8B8 Time : 0.0 sec. user=vaughan [2012-11-17 11:44:21] 625*2^1234545-1 is not prime. Res64: E219B9A3EE661F39 Time : 0.0 sec. user=vaughan [2012-11-17 11:47:05] 875*2^1234544-1 is not prime. Res64: DE42B0BBF5B8E102 Time : 0.0 sec. user=mdettweiler [2012-11-17 11:48:26] 789*2^1234545-1 is not prime. Res64: FC8D00A071A096FB Time : 0.0 sec. user=mdettweiler [2012-11-17 11:48:26] 819*2^1234545-1 is not prime. Res64: E020907BC54190E1 Time : 0.0 sec. user=vaughan [2012-11-17 11:50:42] 721*2^1234545-1 is not prime. Res64: 54DE8AF78D90BA33 Time : 0.0 sec. user=vaughan [2012-11-17 11:51:16] 777*2^1234545-1 is not prime. Res64: A7E44731575EDB5D Time : 0.0 sec. user=vaughan [2012-11-17 11:52:20] 781*2^1234545-1 is not prime. Res64: CA9675D341CEC9A6 Time : 0.0 sec. user=vaughan [2012-11-17 11:56:54] 889*2^1234545-1 is not prime. Res64: 1565AAE00BCC3E6D Time : 0.0 sec. user=vaughan [2012-11-17 11:57:45] 937*2^1234545-1 is not prime. Res64: 69C3F7CF2BC37C3F Time : 0.0 sec. user=vaughan [2012-11-17 12:01:48] 969*2^1234545-1 is not prime. Res64: 2B926BB57E753E14 Time : 0.0 sec. user=mdettweiler [2012-11-17 12:04:47] 861*2^1234546-1 is not prime. Res64: A5CBA8310EA25044 Time : 0.0 sec. user=mdettweiler [2012-11-17 12:04:50] 873*2^1234546-1 is not prime. Res64: 0168D64A9416CDE4 Time : 0.0 sec. user=vaughan [2012-11-17 12:05:40] 773*2^1234546-1 is not prime. Res64: 0AFD1BB1102E98FF Time : 0.0 sec. user=mdettweiler [2012-11-17 12:09:09] 941*2^1234546-1 is not prime. Res64: 08898EFFC79E2539 Time : 0.0 sec. user=mdettweiler [2012-11-17 12:09:18] 603*2^1234547-1 is not prime. Res64: 3C065DD4181D8D2F Time : 0.0 sec. user=vaughan [2012-11-17 12:10:10] 887*2^1234546-1 is not prime. Res64: 5DF0A86569D46E5B Time : 0.0 sec. user=vaughan [2012-11-17 12:15:25] 933*2^1234546-1 is not prime. Res64: 81F6F11A8A6B0CDD Time : 0.0 sec. user=vaughan [2012-11-17 12:16:26] 685*2^1234547-1 is not prime. Res64: BCC73541B7BA060B Time : 0.0 sec. user=vaughan [2012-11-17 12:17:03] 693*2^1234547-1 is not prime. Res64: 1901012658676F39 Time : 0.0 sec. user=vaughan [2012-11-17 12:23:29] 931*2^1234547-1 is not prime. Res64: 7479690C82570B9D Time : 0.0 sec. user=vaughan [2012-11-17 12:24:20] 829*2^1234547-1 is not prime. Res64: C090B28C10BE2198 Time : 0.0 sec. user=mdettweiler [2012-11-17 12:25:56] 705*2^1234548-1 is not prime. Res64: 19B7C022F23D7CEB Time : 0.0 sec. user=mdettweiler [2012-11-17 12:25:56] 809*2^1234548-1 is not prime. Res64: F25F603F93114D0A Time : 0.0 sec. user=vaughan [2012-11-17 12:27:56] 955*2^1234547-1 is not prime. Res64: 789599EC94426990 Time : 0.0 sec. user=vaughan [2012-11-17 12:29:21] 633*2^1234548-1 is not prime. Res64: BFF46CC5884E559E Time : 0.0 sec. user=vaughan [2012-11-17 12:31:14] 915*2^1234548-1 is not prime. Res64: B897B7594844948B Time : 0.0 sec. user=vaughan [2012-11-17 12:35:52] 977*2^1234548-1 is not prime. Res64: 273DAC78C699DB19 Time : 0.0 sec. user=vaughan [2012-11-17 12:42:50] 775*2^1234549-1 is not prime. Res64: 68294E245BB7F802 Time : 0.0 sec. user=mdettweiler [2012-11-17 12:46:40] 741*2^1234550-1 is not prime. Res64: 194DD553EA28E8DA Time : 0.0 sec. user=mdettweiler [2012-11-17 12:46:41] 743*2^1234550-1 is not prime. Res64: DE05F193BECAE183 Time : 0.0 sec. user=vaughan [2012-11-17 12:49:05] 641*2^1234550-1 is not prime. Res64: 90239D7C1B6DB72E Time : 0.0 sec. user=vaughan [2012-11-17 12:52:14] 663*2^1234550-1 is not prime. Res64: C124FB5DCA6125FE Time : 0.0 sec. user=vaughan [2012-11-17 12:55:09] 887*2^1234550-1 is not prime. Res64: A295112E622A2311 Time : 0.0 sec. user=juhehe [2012-11-17 12:55:26] 847*2^1234549-1 is not prime. Res64: 3F4BCEC353D33512 Time : 0.0 sec. user=vaughan [2012-11-17 12:56:53] 935*2^1234550-1 is not prime. Res64: 791F94299400993A Time : 0.0 sec. user=vaughan [2012-11-17 12:57:31] 915*2^1234550-1 is not prime. Res64: FEA07DFBD82D6748 Time : 0.0 sec. user=vaughan [2012-11-17 13:01:42] 621*2^1234551-1 is not prime. Res64: AFCA4C1183593D06 Time : 0.0 sec. user=vaughan [2012-11-17 13:06:10] 747*2^1234549-1 is not prime. Res64: 4C4757DED6E049E1 Time : 0.0 sec. user=mdettweiler [2012-11-17 13:07:25] 931*2^1234551-1 is not prime. Res64: 631068A4962D40B8 Time : 0.0 sec. user=mdettweiler [2012-11-17 13:07:26] 617*2^1234552-1 is not prime. Res64: FDDACFB020D6F6A6 Time : 0.0 sec. user=vaughan [2012-11-17 13:08:29] 741*2^1234551-1 is not prime. Res64: B0CD77AA22EF7F98 Time : 0.0 sec. user=vaughan [2012-11-17 13:08:47] 783*2^1234551-1 is not prime. Res64: 6775DCAACDBB9CC9 Time : 0.0 sec. user=vaughan [2012-11-17 13:10:26] 763*2^1234551-1 is not prime. Res64: 8CAB81836AA38EF2 Time : 0.0 sec. user=vaughan [2012-11-17 13:14:46] 695*2^1234552-1 is not prime. Res64: 90DC5AA12819F432 Time : 0.0 sec. user=vaughan [2012-11-17 13:22:11] 843*2^1234552-1 is not prime. Res64: 003EA78902B2AC75 Time : 0.0 sec. user=vaughan [2012-11-17 13:22:35] 923*2^1234552-1 is not prime. Res64: FD17FF4E1CDB878C Time : 0.0 sec. user=mdettweiler [2012-11-17 13:24:35] 949*2^1234553-1 is not prime. Res64: 4D45DF1B301493D8 Time : 0.0 sec. user=mdettweiler [2012-11-17 13:24:36] 951*2^1234553-1 is not prime. Res64: 38268BEC600C4735 Time : 0.0 sec. user=vaughan [2012-11-17 13:25:19] 697*2^1234553-1 is not prime. Res64: BF17FC461E8959D5 Time : 0.0 sec. user=vaughan [2012-11-17 13:27:58] 721*2^1234553-1 is not prime. Res64: D1CA2E5D710C5AB5 Time : 0.0 sec. user=mdettweiler [2012-11-17 13:28:11] 615*2^1234554-1 is not prime. Res64: 60DBF4126DFB212C Time : 0.0 sec. user=mdettweiler [2012-11-17 13:28:12] 791*2^1234554-1 is not prime. Res64: F353B658C3DC922F Time : 0.0 sec. user=vaughan [2012-11-17 13:32:04] 987*2^1234553-1 is not prime. Res64: 5C9EC19C2F4E924E Time : 0.0 sec. user=vaughan [2012-11-17 13:34:35] 803*2^1234554-1 is not prime. Res64: EB424F83A711E656 Time : 0.0 sec. user=vaughan [2012-11-17 13:34:36] 821*2^1234554-1 is not prime. Res64: 371C0BCE340EB031 Time : 0.0 sec. user=vaughan [2012-11-17 13:38:43] 851*2^1234554-1 is not prime. Res64: 31C590BA7C076816 Time : 0.0 sec. user=vaughan [2012-11-17 13:40:32] 873*2^1234554-1 is not prime. Res64: 80CD01D9D679BA13 Time : 0.0 sec. user=mdettweiler [2012-11-17 13:45:17] 947*2^1234554-1 is not prime. Res64: A0BAC0C20F450FA7 Time : 0.0 sec. user=mdettweiler [2012-11-17 13:45:18] 951*2^1234554-1 is not prime. Res64: 0F75FF96ABD8FDA8 Time : 0.0 sec. user=vaughan [2012-11-17 13:48:20] 941*2^1234554-1 is not prime. Res64: DF42FFF2AF76A2D8 Time : 0.0 sec. user=mdettweiler [2012-11-17 13:48:57] 925*2^1234555-1 is not prime. Res64: E5220FCE0EC2839F Time : 0.0 sec. user=mdettweiler [2012-11-17 13:48:57] 939*2^1234555-1 is not prime. Res64: ED8CEB57B1AD7914 Time : 0.0 sec. user=vaughan [2012-11-17 13:50:29] 915*2^1234554-1 is not prime. Res64: 447E23075C15E233 Time : 0.0 sec. user=vaughan [2012-11-17 13:52:50] 651*2^1234555-1 is not prime. Res64: 658FB1C458EDE17C Time : 0.0 sec. user=vaughan [2012-11-17 13:53:51] 735*2^1234555-1 is not prime. Res64: C37E4B18665246C6 Time : 0.0 sec. user=vaughan [2012-11-17 14:00:23] 615*2^1234556-1 is not prime. Res64: 148679D1F4FB0ABE Time : 0.0 sec. user=vaughan [2012-11-17 14:00:27] 647*2^1234556-1 is not prime. Res64: 6B3083CED39CD458 Time : 0.0 sec. user=mdettweiler [2012-11-17 14:06:02] 773*2^1234556-1 is not prime. Res64: 238B1B91134EBF0C Time : 0.0 sec. user=mdettweiler [2012-11-17 14:06:04] 827*2^1234556-1 is not prime. Res64: 379EE8AEB8F3B38B Time : 0.0 sec. user=vaughan [2012-11-17 14:06:38] 755*2^1234556-1 is not prime. Res64: 5E1573685C71AF82 Time : 0.0 sec. user=mdettweiler [2012-11-17 14:09:42] 923*2^1234556-1 is not prime. Res64: 914DCA864BAE6DF5 Time : 0.0 sec. user=mdettweiler [2012-11-17 14:09:44] 609*2^1234557-1 is not prime. Res64: 217150FA175BC741 Time : 0.0 sec. user=vaughan [2012-11-17 14:14:21] 833*2^1234556-1 is not prime. Res64: 5B9BF12BB49A0644 Time : 0.0 sec. user=vaughan [2012-11-17 14:18:35] 669*2^1234557-1 is not prime. Res64: D44A9861D87933DF Time : 0.0 sec. user=vaughan [2012-11-17 14:19:37] 765*2^1234557-1 is not prime. Res64: 9E2947AA23C118FE Time : 0.0 sec. user=vaughan [2012-11-17 14:20:04] 675*2^1234557-1 is not prime. Res64: B721E2805E6D2A24 Time : 0.0 sec. user=vaughan [2012-11-17 14:23:46] 817*2^1234557-1 is not prime. Res64: 522B9C06A0C1B2C0 Time : 0.0 sec. user=vaughan [2012-11-17 14:26:39] 847*2^1234557-1 is not prime. Res64: 676B6FB8E5A72B11 Time : 0.0 sec. user=vaughan [2012-11-17 14:26:41] 889*2^1234557-1 is not prime. Res64: 55B510258D320C1D Time : 0.0 sec. user=mdettweiler [2012-11-17 14:27:21] 945*2^1234557-1 is not prime. Res64: E811649C05CE96B5 Time : 0.0 sec. user=mdettweiler [2012-11-17 14:27:22] 603*2^1234558-1 is not prime. Res64: 3C0329B1F8CFE35F Time : 0.0 sec. user=juhehe [2012-11-17 14:29:50] 781*2^1234557-1 is not prime. Res64: 8640C2FE433D1051 Time : 0.0 sec. user=mdettweiler [2012-11-17 14:30:55] 801*2^1234558-1 is not prime. Res64: A30570837EACBDE0 Time : 0.0 sec. user=mdettweiler [2012-11-17 14:30:55] 827*2^1234558-1 is not prime. Res64: 8655B027FB5CB055 Time : 0.0 sec. user=vaughan [2012-11-17 14:35:19] 687*2^1234558-1 is not prime. Res64: 3841604F24FAC334 Time : 0.0 sec. user=vaughan [2012-11-17 14:40:03] 855*2^1234558-1 is not prime. Res64: FDE7302996AB8C83 Time : 0.0 sec. user=vaughan [2012-11-17 14:45:27] 897*2^1234558-1 is not prime. Res64: 0B1E586190C54D4D Time : 0.0 sec. user=vaughan [2012-11-17 14:47:36] 867*2^1234558-1 is not prime. Res64: AC66E703873917BE Time : 0.0 sec. user=mdettweiler [2012-11-17 14:48:21] 909*2^1234559-1 is not prime. Res64: 3002CBC4C10C44F5 Time : 0.0 sec. user=mdettweiler [2012-11-17 14:48:21] 991*2^1234559-1 is not prime. Res64: 2E14BFE0F8390632 Time : 0.0 sec. user=vaughan [2012-11-17 14:49:43] 945*2^1234558-1 is not prime. Res64: 1713ED74079E80A0 Time : 0.0 sec. user=mdettweiler [2012-11-17 14:51:48] 765*2^1234560-1 is not prime. Res64: C4F0440E281A5476 Time : 0.0 sec. user=mdettweiler [2012-11-17 14:51:48] 875*2^1234560-1 is not prime. Res64: A43E8C60278B6EBB Time : 0.0 sec. user=vaughan [2012-11-17 14:52:45] 885*2^1234559-1 is not prime. Res64: C8DF77DB645E476C Time : 0.0 sec. user=vaughan [2012-11-17 14:52:46] 951*2^1234558-1 is not prime. Res64: D52DE3C26325DBEF Time : 0.0 sec. user=vaughan [2012-11-17 14:57:28] 879*2^1234560-1 is not prime. Res64: C17BD66DBC626B78 Time : 0.0 sec. user=vaughan [2012-11-17 15:03:52] 899*2^1234560-1 is not prime. Res64: FBB71754D49575B2 Time : 0.0 sec. user=vaughan [2012-11-17 15:05:08] 983*2^1234560-1 is not prime. Res64: D5C98F4CFE94C108 Time : 0.0 sec. user=vaughan [2012-11-17 15:07:00] 685*2^1234561-1 is not prime. Res64: 1121813D9B940120 Time : 0.0 sec. user=mdettweiler [2012-11-17 15:09:17] 713*2^1234562-1 is not prime. Res64: 34E6A761AD58A79A Time : 0.0 sec. user=mdettweiler [2012-11-17 15:09:19] 743*2^1234562-1 is not prime. Res64: 2307EDBB66F440E0 Time : 0.0 sec. user=vaughan [2012-11-17 15:11:58] 799*2^1234561-1 is not prime. Res64: 9D301BC08BB25DE6 Time : 0.0 sec. user=mdettweiler [2012-11-17 15:12:45] 871*2^1234563-1 is not prime. Res64: CCD7AE9B0380A0D6 Time : 0.0 sec. user=mdettweiler [2012-11-17 15:12:46] 629*2^1234564-1 is not prime. Res64: 208B588AE9D0B607 Time : 0.0 sec. user=vaughan [2012-11-17 15:14:31] 997*2^1234561-1 is not prime. Res64: 9A7820F156C8AE8D Time : 0.0 sec. user=vaughan [2012-11-17 15:15:54] 975*2^1234561-1 is not prime. Res64: 90DF61894ED1BD91 Time : 0.0 sec. user=vaughan [2012-11-17 15:16:10] 735*2^1234563-1 is not prime. Res64: 36EFF0CBA70FC1FB Time : 0.0 sec. user=vaughan [2012-11-17 15:18:59] 705*2^1234564-1 is not prime. Res64: B0305442A80FAE23 Time : 0.0 sec. user=vaughan [2012-11-17 15:19:01] 803*2^1234564-1 is not prime. Res64: 603A3294DE986BFA Time : 0.0 sec. user=vaughan [2012-11-17 15:23:23] 813*2^1234564-1 is not prime. Res64: 0400CDA3C1D44D6F Time : 0.0 sec. user=mdettweiler [2012-11-17 15:30:24] 649*2^1234565-1 is not prime. Res64: C2623CDF14CFACCA Time : 0.0 sec. user=mdettweiler [2012-11-17 15:30:24] 727*2^1234565-1 is not prime. Res64: 78B8CE3164A76D5B Time : 0.0 sec. user=vaughan [2012-11-17 15:31:02] 887*2^1234564-1 is not prime. Res64: 2FEEE8D3AE4E8C81 Time : 0.0 sec. user=vaughan [2012-11-17 15:32:01] 869*2^1234564-1 is not prime. Res64: 9EE14261FF1E80F8 Time : 0.0 sec. user=mdettweiler [2012-11-17 15:33:45] 735*2^1234565-1 is not prime. Res64: C49D85DF4ABD003F Time : 0.0 sec. user=mdettweiler [2012-11-17 15:33:45] 865*2^1234565-1 is not prime. Res64: 62B32A894C6DFAD6 Time : 0.0 sec. user=vaughan [2012-11-17 15:35:43] 959*2^1234564-1 is not prime. Res64: D1DF32D54159E8B6 Time : 0.0 sec. user=vaughan [2012-11-17 15:38:03] 729*2^1234565-1 is not prime. Res64: BC8CA0FEBDB8F0C0 Time : 0.0 sec. user=vaughan [2012-11-17 15:42:02] 969*2^1234565-1 is not prime. Res64: 41B032B1D1ECAA1C Time : 0.0 sec. user=vaughan [2012-11-17 15:42:57] 907*2^1234565-1 is not prime. Res64: 61393101E4EB72B7 Time : 0.0 sec. user=vaughan [2012-11-17 15:43:11] 889*2^1234565-1 is not prime. Res64: F0AC1E9BA245111B Time : 0.0 sec. user=vaughan [2012-11-17 15:45:52] 615*2^1234566-1 is not prime. Res64: 684BD89466FF51D9 Time : 0.0 sec. user=vaughan [2012-11-17 15:45:58] 671*2^1234566-1 is not prime. Res64: 87AAB97B5CE39502 Time : 0.0 sec. user=vaughan [2012-11-17 15:49:37] 747*2^1234566-1 is not prime. Res64: FF92F9417D21D68B Time : 0.0 sec. user=mdettweiler [2012-11-17 15:51:22] 933*2^1234566-1 is not prime. Res64: CDB6294C4F5C96FB Time : 0.0 sec. user=mdettweiler [2012-11-17 15:51:23] 645*2^1234567-1 is not prime. Res64: 6DD4DAAD4EB3914B Time : 0.0 sec. user=mdettweiler [2012-11-17 15:54:44] 725*2^1234568-1 is not prime. Res64: 8188D52F3293FB31 Time : 0.0 sec. user=mdettweiler [2012-11-17 15:54:45] 875*2^1234568-1 is not prime. Res64: 217B2E9E55967E92 Time : 0.0 sec. user=vaughan [2012-11-17 15:57:18] 861*2^1234567-1 is not prime. Res64: 07CB7125781209AB Time : 0.0 sec. user=vaughan [2012-11-17 16:00:26] 663*2^1234568-1 is not prime. Res64: 6D2E2714C882BB33 Time : 0.0 sec. user=vaughan [2012-11-17 16:03:23] 893*2^1234568-1 is not prime. Res64: 3F263F835A12F703 Time : 0.0 sec. user=vaughan [2012-11-17 16:04:14] 999*2^1234568-1 is not prime. Res64: 3733E3F455FEB858 Time : 0.0 sec. user=juhehe [2012-11-17 16:04:37] 915*2^1234567-1 is not prime. Res64: EF0EAE32884A1990 Time : 0.0 sec. user=vaughan [2012-11-17 16:08:29] 657*2^1234569-1 is not prime. Res64: CF5FDAB0F6680582 Time : 0.0 sec. user=vaughan [2012-11-17 16:11:12] 769*2^1234569-1 is not prime. Res64: 8215F7A2A4A2543E Time : 0.0 sec. user=vaughan [2012-11-17 16:11:34] 765*2^1234569-1 is not prime. Res64: 65FFE8B93EC7D712 Time : 0.0 sec. user=vaughan [2012-11-17 16:12:05] 889*2^1234569-1 is not prime. Res64: B6FF4446C3A119B4 Time : 0.0 sec. user=vaughan [2012-11-17 16:12:20] 811*2^1234569-1 is not prime. Res64: 6F310C8DD915FF76 Time : 0.0 sec. user=mdettweiler [2012-11-17 16:12:26] 635*2^1234570-1 is not prime. Res64: BD710E759EE0C569 Time : 0.0 sec. user=mdettweiler [2012-11-17 16:12:27] 647*2^1234570-1 is not prime. Res64: 5E597E8A98A17397 Time : 0.0 sec. user=vaughan [2012-11-17 16:15:52] 909*2^1234569-1 is not prime. Res64: 0E365F261C8DDA97 Time : 0.0 sec. user=mdettweiler [2012-11-17 16:15:56] 765*2^1234570-1 is not prime. Res64: 7B5FFFA92446FA3D Time : 0.0 sec. user=mdettweiler [2012-11-17 16:15:57] 777*2^1234570-1 is not prime. Res64: 653CAD3A8063AF2E Time : 0.0 sec. user=vaughan [2012-11-17 16:30:15] 609*2^1234571-1 is not prime. Res64: 6A4E22E97DBF72CB Time : 0.0 sec. user=vaughan [2012-11-17 16:30:35] 643*2^1234571-1 is not prime. Res64: ECB76586155845B5 Time : 0.0 sec. user=vaughan [2012-11-17 16:30:46] 645*2^1234571-1 is not prime. Res64: D91592D30890C2E5 Time : 0.0 sec. user=mdettweiler [2012-11-17 16:33:35] 669*2^1234572-1 is not prime. Res64: 5D2B1E3675B42CBF Time : 0.0 sec. user=mdettweiler [2012-11-17 16:33:35] 719*2^1234572-1 is not prime. Res64: 7F7C7C52C76E87AB Time : 0.0 sec. user=vaughan [2012-11-17 16:34:51] 669*2^1234571-1 is not prime. Res64: 4471A05AB4B87B81 Time : 0.0 sec. user=mdettweiler [2012-11-17 16:37:04] 837*2^1234572-1 is not prime. Res64: 5137AF38AB8922DA Time : 0.0 sec. user=mdettweiler [2012-11-17 16:37:05] 639*2^1234573-1 is not prime. Res64: D8802D2C17B2FD67 Time : 0.0 sec. user=vaughan [2012-11-17 16:38:24] 973*2^1234571-1 is not prime. Res64: 0676872B8755E657 Time : 0.0 sec. user=vaughan [2012-11-17 16:38:24] 629*2^1234572-1 is not prime. Res64: 55A5E3830812F913 Time : 0.0 sec. user=vaughan [2012-11-17 16:38:47] 633*2^1234572-1 is not prime. Res64: 1FB7D6EB3E1BAF27 Time : 0.0 sec. user=vaughan [2012-11-17 16:40:52] 781*2^1234571-1 is not prime. Res64: 553E045365176E3C Time : 0.0 sec. user=vaughan [2012-11-17 16:42:18] 727*2^1234573-1 is not prime. Res64: 520327FA37C7F3C7 Time : 0.0 sec. user=vaughan [2012-11-17 16:48:31] 603*2^1234571-1 is not prime. Res64: 4FA8EAB24136B120 Time : 0.0 sec. user=mdettweiler [2012-11-17 16:55:08] 861*2^1234573-1 is not prime. Res64: 76F742BA54DA3EAA Time : 0.0 sec. user=mdettweiler [2012-11-17 16:55:08] 915*2^1234573-1 is not prime. Res64: EA4FE08C83447DD7 Time : 0.0 sec. user=vaughan [2012-11-17 16:57:58] 757*2^1234573-1 is not prime. Res64: B4DBE2DB70C07C87 Time : 0.0 sec. user=mdettweiler [2012-11-17 16:58:33] 955*2^1234573-1 is not prime. Res64: 38B86A69306E0882 Time : 0.0 sec. user=mdettweiler [2012-11-17 16:58:33] 961*2^1234573-1 is not prime. Res64: AF9DFEA377CCF7BA Time : 0.0 sec. user=vaughan [2012-11-17 16:59:45] 741*2^1234573-1 is not prime. Res64: 06B2FE3BBC8A82DD Time : 0.0 sec. user=vaughan [2012-11-17 17:04:52] 825*2^1234574-1 is not prime. Res64: 2CFD8028F752EB34 Time : 0.0 sec. user=vaughan [2012-11-17 17:05:08] 619*2^1234575-1 is not prime. Res64: D92FBA59593D8B3F Time : 0.0 sec. user=vaughan [2012-11-17 17:07:55] 887*2^1234574-1 is not prime. Res64: 02768D5706C1877D Time : 0.0 sec. user=vaughan [2012-11-17 17:08:33] 625*2^1234575-1 is not prime. Res64: 55BA97A347DF783A Time : 0.0 sec. user=vaughan [2012-11-17 17:08:49] 693*2^1234575-1 is not prime. Res64: 55A2F483D663D3F1 Time : 0.0 sec. user=vaughan [2012-11-17 17:15:10] 711*2^1234575-1 is not prime. Res64: 9BC9585A8598591A Time : 0.0 sec. user=mdettweiler [2012-11-17 17:16:34] 739*2^1234575-1 is not prime. Res64: F320E161E7061404 Time : 0.0 sec. user=mdettweiler [2012-11-17 17:16:39] 823*2^1234575-1 is not prime. Res64: EFBD824D9D1FF4EB Time : 0.0 sec. user=mdettweiler [2012-11-17 17:20:00] 675*2^1234576-1 is not prime. Res64: 4D8C1E77A4280379 Time : 0.0 sec. user=mdettweiler [2012-11-17 17:20:01] 759*2^1234576-1 is not prime. Res64: 240D6A7CC27A2071 Time : 0.0 sec. user=vaughan [2012-11-17 17:23:53] 865*2^1234575-1 is not prime. Res64: E0BCCB302DA625A6 Time : 0.0 sec. user=vaughan [2012-11-17 17:27:07] 951*2^1234575-1 is not prime. Res64: 212B20DAC9B9DDF5 Time : 0.0 sec. user=vaughan [2012-11-17 17:27:42] 825*2^1234576-1 is not prime. Res64: 289A98E58DF3B0C6 Time : 0.0 sec. user=vaughan [2012-11-17 17:28:09] 923*2^1234576-1 is not prime. Res64: 24A3CE4631988551 Time : 0.0 sec. user=vaughan [2012-11-17 17:32:04] 933*2^1234576-1 is not prime. Res64: F85F3651C2A7003B Time : 0.0 sec. user=vaughan [2012-11-17 17:32:14] 631*2^1234577-1 is not prime. Res64: D126BA85D99BBD4E Time : 0.0 sec. user=vaughan [2012-11-17 17:35:45] 777*2^1234577-1 is not prime. Res64: ED536EAC025FB9F4 Time : 0.0 sec. user=vaughan [2012-11-17 17:36:28] 729*2^1234577-1 is not prime. Res64: A40D207AF1C21629 Time : 0.0 sec. user=vaughan [2012-11-17 17:36:58] 715*2^1234577-1 is not prime. Res64: 9D6FF1867BBFF539 Time : 0.0 sec. user=mdettweiler [2012-11-17 17:38:40] 865*2^1234577-1 is not prime. Res64: C989DCC51C9BB7AE Time : 0.0 sec. user=mdettweiler [2012-11-17 17:38:40] 871*2^1234577-1 is not prime. Res64: DE71A919819084C6 Time : 0.0 sec. user=juhehe [2012-11-17 17:39:43] 685*2^1234577-1 is not prime. Res64: A82E8F836DB62DBF Time : 0.0 sec. user=mdettweiler [2012-11-17 17:41:52] 967*2^1234577-1 is not prime. Res64: 8A37F1B543BF1CF0 Time : 0.0 sec. user=mdettweiler [2012-11-17 17:41:53] 981*2^1234577-1 is not prime. Res64: B367A452BD195263 Time : 0.0 sec. user=vaughan [2012-11-17 17:42:00] 805*2^1234577-1 is not prime. Res64: 45FDCECD2B5C570A Time : 0.0 sec. user=vaughan [2012-11-17 17:50:48] 737*2^1234578-1 is not prime. Res64: AD08F8C29508EA2B Time : 0.0 sec. user=vaughan [2012-11-17 17:54:56] 709*2^1234579-1 is not prime. Res64: 2655E6B311D98145 Time : 0.0 sec. user=vaughan [2012-11-17 17:56:09] 893*2^1234578-1 is not prime. Res64: 80DADD460B1981EE Time : 0.0 sec. user=vaughan [2012-11-17 17:56:13] 631*2^1234579-1 is not prime. Res64: 24E584D6E74E1B25 Time : 0.0 sec. user=vaughan [2012-11-17 17:58:53] 769*2^1234579-1 is not prime. Res64: 1FE2EC1A8DFDCC90 Time : 0.0 sec. user=mdettweiler [2012-11-17 18:00:18] 839*2^1234580-1 is not prime. Res64: 28A09E196D4A050C Time : 0.0 sec. user=mdettweiler [2012-11-17 18:00:19] 879*2^1234580-1 is not prime. Res64: D5A7FE95D427AC99 Time : 0.0 sec. user=vaughan [2012-11-17 18:02:33] 885*2^1234579-1 is not prime. Res64: 0971D48B3E01D263 Time : 0.0 sec. user=mdettweiler [2012-11-17 18:03:25] 963*2^1234580-1 is not prime. Res64: 2FB6D42F521E008A Time : 0.0 sec. user=mdettweiler [2012-11-17 18:03:25] 983*2^1234580-1 is not prime. Res64: 7940A21D903C90A0 Time : 0.0 sec. user=vaughan [2012-11-17 18:04:35] 975*2^1234579-1 is not prime. Res64: E4525928E9D5D220 Time : 0.0 sec. user=vaughan [2012-11-17 18:05:25] 913*2^1234579-1 is not prime. Res64: 2DBFD0BE4E9639DF Time : 0.0 sec. user=vaughan [2012-11-17 18:08:50] 601*2^1234581-1 is not prime. Res64: 5203A8BCFDEC54F1 Time : 0.0 sec. user=juhehe [2012-11-17 18:12:28] 959*2^1234580-1 is not prime. Res64: 29A44F227C7ACED3 Time : 0.0 sec. user=vaughan [2012-11-17 18:17:36] 615*2^1234581-1 is not prime. Res64: 5B9D7DF71FED765F Time : 0.0 sec. user=mdettweiler [2012-11-17 18:21:13] 921*2^1234581-1 is not prime. Res64: 3ACA31681FADE00B Time : 0.0 sec. user=mdettweiler [2012-11-17 18:21:14] 979*2^1234581-1 is not prime. Res64: B3D30591876DC14E Time : 0.0 sec. user=vaughan [2012-11-17 18:23:57] 889*2^1234581-1 is not prime. Res64: ABA5F81DE8C7052B Time : 0.0 sec. user=mdettweiler [2012-11-17 18:24:20] 723*2^1234582-1 is not prime. Res64: 73B7173D1E0533CC Time : 0.0 sec. user=mdettweiler [2012-11-17 18:24:20] 731*2^1234582-1 is not prime. Res64: 6E1CA55F2F9157F3 Time : 0.0 sec. user=vaughan [2012-11-17 18:26:18] 837*2^1234581-1 is not prime. Res64: C2A07702D2CD34AD Time : 0.0 sec. user=vaughan [2012-11-17 18:29:39] 617*2^1234582-1 is not prime. Res64: 4C0D5B5876546108 Time : 0.0 sec. user=vaughan [2012-11-17 18:33:51] 843*2^1234582-1 is not prime. Res64: 8F6CEA3B5DEFF43D Time : 0.0 sec. user=vaughan [2012-11-17 18:34:29] 741*2^1234582-1 is not prime. Res64: B8D870B2BF274933 Time : 0.0 sec. user=vaughan [2012-11-17 18:36:16] 911*2^1234582-1 is not prime. Res64: 3A1B43C18A96000B Time : 0.0 sec. user=mdettweiler [2012-11-17 18:42:10] 1001*2^1234582-1 is not prime. Res64: A8ED594CD30D1506 Time : 0.0 sec. user=mdettweiler [2012-11-17 18:42:11] 669*2^1234583-1 is not prime. Res64: 0A20602799931FA6 Time : 0.0 sec. user=mdettweiler [2012-11-17 18:45:16] 813*2^1234583-1 is not prime. Res64: 19C60F6F363019E6 Time : 0.0 sec. user=mdettweiler [2012-11-17 18:45:17] 861*2^1234583-1 is not prime. Res64: 64D2AAEBA9902A44 Time : 0.0 sec. user=vaughan [2012-11-17 18:45:19] 945*2^1234582-1 is not prime. Res64: B5E06587A6E460B4 Time : 0.0 sec. user=vaughan [2012-11-17 18:52:28] 673*2^1234583-1 is not prime. Res64: EB301377CCAD1648 Time : 0.0 sec. user=vaughan [2012-11-17 18:53:12] 915*2^1234583-1 is not prime. Res64: 110843D55978F8C7 Time : 0.0 sec. user=vaughan [2012-11-17 18:53:18] 981*2^1234583-1 is not prime. Res64: FF7088C60348FF8E Time : 0.0 sec. user=vaughan [2012-11-17 18:56:06] 635*2^1234584-1 is not prime. Res64: 25F7695E54E5F4C1 Time : 0.0 sec. user=vaughan [2012-11-17 18:56:41] 639*2^1234584-1 is not prime. Res64: D4B0A1C0D4ECF034 Time : 0.0 sec. user=vaughan [2012-11-17 19:01:57] 663*2^1234584-1 is not prime. Res64: 819C57ABB43D8709 Time : 0.0 sec. user=mdettweiler [2012-11-17 19:03:05] 767*2^1234584-1 is not prime. Res64: 8CEC7D750DD412C8 Time : 0.0 sec. user=mdettweiler [2012-11-17 19:03:06] 843*2^1234584-1 is not prime. Res64: 9C52E701BF7B51CD Time : 0.0 sec. user=vaughan [2012-11-17 19:03:20] 747*2^1234584-1 is not prime. Res64: A2ADED625352E051 Time : 0.0 sec. user=vaughan [2012-11-17 19:03:49] 705*2^1234584-1 is not prime. Res64: D247BAA2000A74FF Time : 0.0 sec. user=mdettweiler [2012-11-17 19:06:10] 765*2^1234585-1 is not prime. Res64: E701C14FFD6004C9 Time : 0.0 sec. user=mdettweiler [2012-11-17 19:06:13] 819*2^1234585-1 is not prime. Res64: F51A446945E7CA12 Time : 0.0 sec. user=vaughan [2012-11-17 19:12:27] 855*2^1234585-1 is not prime. Res64: DA7854D89A288501 Time : 0.0 sec. user=vaughan [2012-11-17 19:16:01] 861*2^1234585-1 is not prime. Res64: CDDDDF5A85853DB3 Time : 0.0 sec. user=juhehe [2012-11-17 19:16:09] 905*2^1234584-1 is not prime. Res64: 4EFB5DA75322994B Time : 0.0 sec. user=vaughan [2012-11-17 19:20:20] 987*2^1234585-1 is not prime. Res64: 26944BC04345EAE2 Time : 0.0 sec. user=vaughan [2012-11-17 19:20:27] 641*2^1234586-1 is not prime. Res64: 6D1570F4976831F1 Time : 0.0 sec. user=vaughan [2012-11-17 19:20:58] 939*2^1234585-1 is not prime. Res64: 98680F3AD3217F35 Time : 0.0 sec. user=vaughan [2012-11-17 19:23:46] 837*2^1234586-1 is not prime. Res64: 9B791A9AA0A4FD3B Time : 0.0 sec. user=mdettweiler [2012-11-17 19:23:59] 711*2^1234587-1 is not prime. Res64: 9F72922AE1CCB52A Time : 0.0 sec. user=mdettweiler [2012-11-17 19:24:00] 751*2^1234587-1 is not prime. Res64: 2A6626BE816EE3F5 Time : 0.0 sec. user=vaughan [2012-11-17 19:25:20] 717*2^1234586-1 is not prime. Res64: 2605E457419BD642 Time : 0.0 sec. user=mdettweiler [2012-11-17 19:27:24] 991*2^1234587-1 is not prime. Res64: 8A134F48C4EC7CA1 Time : 0.0 sec. user=mdettweiler [2012-11-17 19:27:25] 615*2^1234588-1 is not prime. Res64: 646EFA052661D7B1 Time : 0.0 sec. user=vaughan [2012-11-17 19:29:37] 851*2^1234586-1 is not prime. Res64: C289AD7B4685A7A4 Time : 0.0 sec. user=vaughan [2012-11-17 19:30:32] 835*2^1234587-1 is not prime. Res64: AD91891D354DD8BB Time : 0.0 sec. user=vaughan [2012-11-17 19:33:20] 955*2^1234587-1 is not prime. Res64: 2C3496E2B5EF0D95 Time : 0.0 sec. user=vaughan [2012-11-17 19:39:53] 905*2^1234588-1 is not prime. Res64: 073C41FF0185DA58 Time : 0.0 sec. user=vaughan [2012-11-17 19:43:44] 631*2^1234589-1 is not prime. Res64: 4D7CE2DAB270659E Time : 0.0 sec. user=mdettweiler [2012-11-17 19:44:52] 829*2^1234589-1 is not prime. Res64: DCC02A296F5FCCED Time : 0.0 sec. user=mdettweiler [2012-11-17 19:44:52] 837*2^1234589-1 is not prime. Res64: A73EDB38F4D887F6 Time : 0.0 sec. user=vaughan [2012-11-17 19:47:44] 745*2^1234589-1 is not prime. Res64: D5A47F3312A786B2 Time : 0.0 sec. user=vaughan [2012-11-17 19:47:47] 727*2^1234589-1 is not prime. Res64: 6B1A3F5F654F490A Time : 0.0 sec. user=mdettweiler [2012-11-17 19:48:17] 969*2^1234589-1 is not prime. Res64: 764CB26BF5A44448 Time : 0.0 sec. user=mdettweiler [2012-11-17 19:48:18] 987*2^1234589-1 is not prime. Res64: F731F2417288FBC7 Time : 0.0 sec. user=vaughan [2012-11-17 19:51:05] 787*2^1234589-1 is not prime. Res64: AED8E4A7FC402760 Time : 0.0 sec. user=vaughan [2012-11-17 19:51:29] 775*2^1234589-1 is not prime. Res64: 5A7BEC170286B868 Time : 0.0 sec. user=vaughan [2012-11-17 19:52:30] 867*2^1234589-1 is not prime. Res64: B32E9C2D0DC3AFCE Time : 0.0 sec. user=vaughan [2012-11-17 19:58:05] 635*2^1234590-1 is not prime. Res64: 686949FCE608080A Time : 0.0 sec. user=vaughan [2012-11-17 19:59:42] 615*2^1234590-1 is not prime. Res64: 6B69F7897CB6DD34 Time : 0.0 sec. user=vaughan [2012-11-17 20:00:30] 783*2^1234590-1 is not prime. Res64: 44A5D3218067E0CE Time : 0.0 sec. user=mdettweiler [2012-11-17 20:05:45] 951*2^1234590-1 is not prime. Res64: A232C12CCBCE9424 Time : 0.0 sec. user=mdettweiler [2012-11-17 20:05:48] 963*2^1234590-1 is not prime. Res64: 153D8358628F4198 Time : 0.0 sec. user=vaughan [2012-11-17 20:07:20] 867*2^1234590-1 is not prime. Res64: 8B14856D83699F1C Time : 0.0 sec. user=mdettweiler [2012-11-17 20:09:10] 645*2^1234591-1 is not prime. Res64: 4E49075F1878E8C2 Time : 0.0 sec. user=mdettweiler [2012-11-17 20:09:12] 723*2^1234591-1 is not prime. Res64: 36F69C91D096B358 Time : 0.0 sec. user=vaughan [2012-11-17 20:11:20] 875*2^1234590-1 is not prime. Res64: 1C64E9E16971FC7E Time : 0.0 sec. user=vaughan [2012-11-17 20:15:20] 609*2^1234591-1 is not prime. Res64: C1094B668AEF8E73 Time : 0.0 sec. user=vaughan [2012-11-17 20:18:46] 805*2^1234591-1 is not prime. Res64: 23162C3FE79C1192 Time : 0.0 sec. user=vaughan [2012-11-17 20:19:50] 675*2^1234592-1 is not prime. Res64: 4E0255B7D84DD6A8 Time : 0.0 sec. user=vaughan [2012-11-17 20:22:04] 617*2^1234592-1 is not prime. Res64: 7592FCFBCE478541 Time : 0.0 sec. user=vaughan [2012-11-17 20:25:54] 687*2^1234592-1 is not prime. Res64: DAF724E4B9B01F50 Time : 0.0 sec. user=vaughan [2012-11-17 20:26:41] 713*2^1234592-1 is not prime. Res64: 4BF115F10C12D41D Time : 0.0 sec. user=mdettweiler [2012-11-17 20:26:46] 855*2^1234592-1 is not prime. Res64: 6CFF125889D73365 Time : 0.0 sec. user=mdettweiler [2012-11-17 20:26:47] 903*2^1234592-1 is not prime. Res64: E87CEFF36E54730C Time : 0.0 sec. user=mdettweiler [2012-11-17 20:30:19] 615*2^1234593-1 is not prime. Res64: 58B68CD27F9392B9 Time : 0.0 sec. user=mdettweiler [2012-11-17 20:30:20] 625*2^1234593-1 is not prime. Res64: E120D213957183B3 Time : 0.0 sec. user=vaughan [2012-11-17 20:31:38] 725*2^1234592-1 is not prime. Res64: 4906E1B43E7DEEAA Time : 0.0 sec. user=vaughan [2012-11-17 20:35:14] 945*2^1234592-1 is not prime. Res64: E63679711A55FD17 Time : 0.0 sec. user=vaughan [2012-11-17 20:39:07] 699*2^1234593-1 is not prime. Res64: 0E5FACED7BC9FE5B Time : 0.0 sec. user=vaughan [2012-11-17 20:43:34] 751*2^1234593-1 is not prime. Res64: B621155A1BDEFE9D Time : 0.0 sec. user=vaughan [2012-11-17 20:43:41] 781*2^1234593-1 is not prime. Res64: 78029E99B5B4800C Time : 0.0 sec. user=vaughan [2012-11-17 20:46:42] 811*2^1234593-1 is not prime. Res64: D9AA6A7F944774BE Time : 0.0 sec. user=vaughan [2012-11-17 20:47:24] 901*2^1234593-1 is not prime. Res64: 1DAB3C784BEC1AA1 Time : 0.0 sec. user=mdettweiler [2012-11-17 20:47:45] 651*2^1234594-1 is not prime. Res64: A2784ED2BD7469F7 Time : 0.0 sec. user=mdettweiler [2012-11-17 20:47:45] 857*2^1234594-1 is not prime. Res64: EEFF4CFC346C5F7A Time : 0.0 sec. user=mdettweiler [2012-11-17 20:51:15] 861*2^1234594-1 is not prime. Res64: 7573ECDD084BEC5D Time : 0.0 sec. user=mdettweiler [2012-11-17 20:51:16] 915*2^1234594-1 is not prime. Res64: FE4187E18EFC4185 Time : 0.0 sec. user=vaughan [2012-11-17 20:52:40] 985*2^1234593-1 is not prime. Res64: 102449B29F47AF2E Time : 0.0 sec. user=vaughan [2012-11-17 20:53:52] 991*2^1234593-1 is not prime. Res64: 48D0CF4878BD3E46 Time : 0.0 sec. user=vaughan [2012-11-17 20:54:11] 999*2^1234593-1 is not prime. Res64: 111C80B8D51AD20D Time : 0.0 sec. user=vaughan [2012-11-17 21:03:02] 733*2^1234595-1 is not prime. Res64: 9245701127F75731 Time : 0.0 sec. user=vaughan [2012-11-17 21:07:21] 735*2^1234595-1 is not prime. Res64: D941A055CBB0944B Time : 0.0 sec. user=mdettweiler [2012-11-17 21:08:56] 949*2^1234595-1 is not prime. Res64: 2F390271F7D28E5C Time : 0.0 sec. user=mdettweiler [2012-11-17 21:09:00] 765*2^1234596-1 is not prime. Res64: 159793262B60C8CA Time : 0.0 sec. user=vaughan [2012-11-17 21:11:55] 805*2^1234595-1 is not prime. Res64: F679F070C5DA04DF Time : 0.0 sec. user=vaughan [2012-11-17 21:11:57] 771*2^1234595-1 is not prime. Res64: FD9CB8C135FCCFAB Time : 0.0 sec. user=mdettweiler [2012-11-17 21:12:28] 873*2^1234596-1 is not prime. Res64: 33F689545B4677AD Time : 0.0 sec. user=mdettweiler [2012-11-17 21:12:31] 975*2^1234596-1 is not prime. Res64: 8B6A6033671F402D Time : 0.0 sec. user=vaughan [2012-11-17 21:14:54] 841*2^1234595-1 is not prime. Res64: 15F6DF6F9102630E Time : 0.0 sec. user=vaughan [2012-11-17 21:15:11] 885*2^1234595-1 is not prime. Res64: 6172D906D134DF26 Time : 0.0 sec. user=vaughan [2012-11-17 21:22:06] 607*2^1234597-1 is not prime. Res64: 3B885042CBE4B4D7 Time : 0.0 sec. user=vaughan [2012-11-17 21:23:32] 993*2^1234596-1 is not prime. Res64: 984CCC054EE9215F Time : 0.0 sec. user=mdettweiler [2012-11-17 21:30:00] 773*2^1234598-1 is not prime. Res64: 3A4B10CC0ED0839A Time : 0.0 sec. user=mdettweiler [2012-11-17 21:30:01] 897*2^1234598-1 is not prime. Res64: 74B9D9A61E4DC38E Time : 0.0 sec. user=vaughan [2012-11-17 21:31:47] 729*2^1234597-1 is not prime. Res64: 2BFE408ED9984D54 Time : 0.0 sec. user=mdettweiler [2012-11-17 21:33:32] 679*2^1234599-1 is not prime. Res64: 681294B2E8783EF7 Time : 0.0 sec. user=mdettweiler [2012-11-17 21:33:32] 685*2^1234599-1 is not prime. Res64: DFE1E6130D32F61E Time : 0.0 sec. user=vaughan [2012-11-17 21:34:39] 667*2^1234597-1 is not prime. Res64: 935DD9B0D89DED6F Time : 0.0 sec. user=vaughan [2012-11-17 21:35:56] 665*2^1234598-1 is not prime. Res64: E3EE641BA9126F5E Time : 0.0 sec. user=vaughan [2012-11-17 21:40:09] 619*2^1234599-1 is not prime. Res64: 3131CC7DC4BC4670 Time : 0.0 sec. user=vaughan [2012-11-17 21:43:07] 735*2^1234599-1 is not prime. Res64: 7EA78648CD6C2761 Time : 0.0 sec. user=vaughan [2012-11-17 21:43:35] 741*2^1234599-1 is not prime. Res64: 2000ED02E13A06B0 Time : 0.0 sec. user=vaughan [2012-11-17 21:50:10] 853*2^1234599-1 is not prime. Res64: 03052599FADC1E38 Time : 0.0 sec. user=mdettweiler [2012-11-17 21:50:54] 949*2^1234599-1 is not prime. Res64: 80B1B4A03E3CF989 Time : 0.0 sec. user=mdettweiler [2012-11-17 21:50:54] 975*2^1234599-1 is not prime. Res64: 561DFA674B28039B Time : 0.0 sec. user=vaughan [2012-11-17 21:51:34] 891*2^1234599-1 is not prime. Res64: 5ADE47660A6C6B38 Time : 0.0 sec. user=vaughan [2012-11-17 21:51:50] 745*2^1234599-1 is not prime. Res64: 3AB63C325EB3B9A2 Time : 0.0 sec. user=mdettweiler [2012-11-17 21:54:22] 687*2^1234600-1 is not prime. Res64: 84AB07D5C420026B Time : 0.0 sec. user=mdettweiler [2012-11-17 21:54:22] 713*2^1234600-1 is not prime. Res64: 001ABAEE952B110B Time : 0.0 sec. user=vaughan [2012-11-17 22:00:08] 635*2^1234600-1 is not prime. Res64: E8AFEF182BA55F3F Time : 0.0 sec. user=vaughan [2012-11-17 22:04:02] 765*2^1234600-1 is not prime. Res64: 4EF867DC43F9E242 Time : 0.0 sec. user=vaughan [2012-11-17 22:05:00] 723*2^1234600-1 is not prime. Res64: 75C05B027EC4E46F Time : 0.0 sec. user=vaughan [2012-11-17 22:06:35] 785*2^1234600-1 is not prime. Res64: 7D118036A586A04B Time : 0.0 sec. user=vaughan [2012-11-17 22:11:10] 939*2^1234600-1 is not prime. Res64: 222715FEA3C990CE Time : 0.0 sec. user=mdettweiler [2012-11-17 22:11:45] 727*2^1234601-1 is not prime. Res64: B343C9B4A4FD2DC7 Time : 0.0 sec. user=mdettweiler [2012-11-17 22:11:45] 867*2^1234601-1 is not prime. Res64: 12F44102AD294C8B Time : 0.0 sec. user=vaughan [2012-11-17 22:11:45] 957*2^1234600-1 is not prime. Res64: 78D4FAE3B549FF8F Time : 0.0 sec. user=mdettweiler [2012-11-17 22:15:10] 683*2^1234602-1 is not prime. Res64: 5B0EB4FC38E29E65 Time : 0.0 sec. user=mdettweiler [2012-11-17 22:15:13] 725*2^1234602-1 is not prime. Res64: 98793FEAB66EB865 Time : 0.0 sec. user=vaughan [2012-11-17 22:18:25] 615*2^1234601-1 is not prime. Res64: E45C7CBE8709D7BF Time : 0.0 sec. user=vaughan [2012-11-17 22:21:43] 987*2^1234601-1 is not prime. Res64: C06F01DBDB4F16A6 Time : 0.0 sec. user=vaughan [2012-11-17 22:28:28] 767*2^1234602-1 is not prime. Res64: AE45CC400DC6D489 Time : 0.0 sec. user=vaughan [2012-11-17 22:32:19] 797*2^1234602-1 is not prime. Res64: 4F3A5F3CEC4257AF Time : 0.0 sec. user=mdettweiler [2012-11-17 22:32:37] 605*2^1234604-1 is not prime. Res64: 0286D4A5AE0CA240 Time : 0.0 sec. user=mdettweiler [2012-11-17 22:32:38] 699*2^1234604-1 is not prime. Res64: 4390B6AAEC9DDB87 Time : 0.0 sec. user=vaughan [2012-11-17 22:34:57] 765*2^1234603-1 is not prime. Res64: D7C2307A9FD91C53 Time : 0.0 sec. user=vaughan [2012-11-17 22:35:24] 923*2^1234602-1 is not prime. Res64: 461F8F08DC986B2B Time : 0.0 sec. user=mdettweiler [2012-11-17 22:36:03] 725*2^1234604-1 is not prime. Res64: 862B0211DC4957EE Time : 0.0 sec. user=mdettweiler [2012-11-17 22:36:03] 743*2^1234604-1 is not prime. Res64: FA42697B29FDC733 Time : 0.0 sec. user=vaughan [2012-11-17 22:36:48] 853*2^1234603-1 is not prime. Res64: 584786F1F998DBED Time : 0.0 sec. user=vaughan [2012-11-17 22:39:32] 969*2^1234603-1 is not prime. Res64: 181F122FF511A171 Time : 0.0 sec. user=vaughan [2012-11-17 22:47:21] 819*2^1234604-1 is not prime. Res64: CC39B5ED8CF825E6 Time : 0.0 sec. user=vaughan [2012-11-17 22:50:19] 691*2^1234605-1 is not prime. Res64: 203344CD655251E4 Time : 0.0 sec. user=vaughan [2012-11-17 22:51:46] 857*2^1234604-1 is not prime. Res64: 3C297EBCF5E29CCF Time : 0.0 sec. user=mdettweiler [2012-11-17 22:53:26] 777*2^1234605-1 is not prime. Res64: A83351770598A6CF Time : 0.0 sec. user=mdettweiler [2012-11-17 22:53:27] 825*2^1234605-1 is not prime. Res64: 1EC0A7B357EE77DA Time : 0.0 sec. user=vaughan [2012-11-17 22:56:46] 765*2^1234605-1 is not prime. Res64: F3FC3175667E05B5 Time : 0.0 sec. user=mdettweiler [2012-11-17 22:56:52] 647*2^1234606-1 is not prime. Res64: 50489807E79D9A56 Time : 0.0 sec. user=mdettweiler [2012-11-17 22:56:52] 653*2^1234606-1 is not prime. Res64: 6A748F5036DAD59E Time : 0.0 sec. user=vaughan [2012-11-17 23:03:21] 927*2^1234605-1 is not prime. Res64: 899690B1EA07DD68 Time : 0.0 sec. user=vaughan [2012-11-17 23:05:07] 657*2^1234606-1 is not prime. Res64: C8480D1A37ABB0CB Time : 0.0 sec. user=vaughan [2012-11-17 23:07:52] 965*2^1234606-1 is not prime. Res64: 6B123CEF9C18C643 Time : 0.0 sec. user=vaughan [2012-11-17 23:07:54] 777*2^1234606-1 is not prime. Res64: A78B261796313272 Time : 0.0 sec. user=mdettweiler [2012-11-17 23:14:17] 931*2^1234607-1 is not prime. Res64: 5457D0F6DFA99859 Time : 0.0 sec. user=mdettweiler [2012-11-17 23:14:18] 669*2^1234608-1 is not prime. Res64: 62C572F05D1F1964 Time : 0.0 sec. user=vaughan [2012-11-17 23:15:46] 993*2^1234606-1 is not prime. Res64: A5BE84D0B3A62B8F Time : 0.0 sec. user=mdettweiler [2012-11-17 23:17:41] 683*2^1234608-1 is not prime. Res64: 91528700B09C9704 Time : 0.0 sec. user=mdettweiler [2012-11-17 23:17:42] 713*2^1234608-1 is not prime. Res64: 9FE38E5BF886D06D Time : 0.0 sec. user=vaughan [2012-11-17 23:19:45] 859*2^1234607-1 is not prime. Res64: 3BC0006F0A3C4E05 Time : 0.0 sec. user=vaughan [2012-11-17 23:21:02] 643*2^1234607-1 is not prime. Res64: 311A3BB5A7B9D90C Time : 0.0 sec. user=vaughan [2012-11-17 23:25:05] 753*2^1234608-1 is not prime. Res64: 14FFD576C0D67792 Time : 0.0 sec. user=vaughan [2012-11-17 23:29:14] 789*2^1234608-1 is not prime. Res64: 14457A8421DE0EA0 Time : 0.0 sec. user=vaughan [2012-11-17 23:31:38] 887*2^1234608-1 is not prime. Res64: 1FEFA95B13297E19 Time : 0.0 sec. user=vaughan [2012-11-17 23:33:16] 915*2^1234608-1 is not prime. Res64: 73E8BCD7F4E8417B Time : 0.0 sec. user=vaughan [2012-11-17 23:34:59] 769*2^1234609-1 is not prime. Res64: 568C6B87B03CECE5 Time : 0.0 sec. user=mdettweiler [2012-11-17 23:35:11] 771*2^1234609-1 is not prime. Res64: 62FE517BCC9E3301 Time : 0.0 sec. user=mdettweiler [2012-11-17 23:35:11] 925*2^1234609-1 is not prime. Res64: 7ACA1D2BDE946F24 Time : 0.0 sec. user=vaughan [2012-11-17 23:38:25] 933*2^1234608-1 is not prime. Res64: 7E9719CBBB60D53D Time : 0.0 sec. user=mdettweiler [2012-11-17 23:38:31] 735*2^1234610-1 is not prime. Res64: 0CA37294CB50FB70 Time : 0.0 sec. user=mdettweiler [2012-11-17 23:38:31] 753*2^1234610-1 is not prime. Res64: 163EDCB30CEA6B38 Time : 0.0 sec. user=vaughan [2012-11-17 23:44:11] 945*2^1234609-1 is not prime. Res64: 61AAE7248AA714DC Time : 0.0 sec. user=vaughan [2012-11-17 23:47:03] 755*2^1234610-1 is not prime. Res64: 9299CAD668755428 Time : 0.0 sec. user=vaughan [2012-11-17 23:52:27] 813*2^1234610-1 is not prime. Res64: 014513F4EBB3DBCF Time : 0.0 sec. user=vaughan [2012-11-17 23:53:17] 957*2^1234610-1 is not prime. Res64: D602312806435DFC Time : 0.0 sec. user=mdettweiler [2012-11-17 23:56:03] 879*2^1234611-1 is not prime. Res64: 5E1C5126B256B220 Time : 0.0 sec. user=mdettweiler [2012-11-17 23:56:04] 901*2^1234611-1 is not prime. Res64: 7E57838F1D3157AF Time : 0.0 sec. user=vaughan [2012-11-17 23:57:16] 613*2^1234611-1 is not prime. Res64: F9FCA42B5711B7E8 Time : 0.0 sec. user=mdettweiler [2012-11-17 23:59:23] 629*2^1234612-1 is not prime. Res64: FD09335869BEC323 Time : 0.0 sec. user=mdettweiler [2012-11-17 23:59:23] 743*2^1234612-1 is not prime. Res64: 60AB6835F548D8A0 Time : 0.0 sec. user=vaughan [2012-11-17 23:59:39] 615*2^1234611-1 is not prime. Res64: 1DA37AB329CE556D Time : 0.0 sec.