user=mdettweiler [2012-11-28 00:03:55] 605*2^1236460-1 is not prime. Res64: 83F49568FBB5C855 Time : 0.0 sec. user=mdettweiler [2012-11-28 00:03:57] 693*2^1236460-1 is not prime. Res64: 7C8347FA8221E693 Time : 0.0 sec. user=mdettweiler [2012-11-28 00:12:39] 887*2^1236460-1 is not prime. Res64: DBA6F085325DBE5A Time : 0.0 sec. user=mdettweiler [2012-11-28 00:12:40] 897*2^1236460-1 is not prime. Res64: 3A26170BCE740BB8 Time : 0.0 sec. user=vaughan [2012-11-28 00:15:19] 909*2^1236459-1 is not prime. Res64: 51FF4D2602C7E668 Time : 0.0 sec. user=mdettweiler [2012-11-28 00:21:53] 959*2^1236460-1 is not prime. Res64: E0C9B040770164FD Time : 0.0 sec. user=mdettweiler [2012-11-28 00:21:55] 987*2^1236460-1 is not prime. Res64: 484F054BE69F8D6F Time : 0.0 sec. user=mdettweiler [2012-11-28 00:30:01] 697*2^1236461-1 is not prime. Res64: 757C2CFE1D093030 Time : 0.0 sec. user=mdettweiler [2012-11-28 00:30:02] 735*2^1236461-1 is not prime. Res64: 3FB4C37B67F94B00 Time : 0.0 sec. user=mdettweiler [2012-11-28 00:39:19] 871*2^1236461-1 is not prime. Res64: B15686079F75B750 Time : 0.0 sec. user=mdettweiler [2012-11-28 00:39:20] 931*2^1236461-1 is not prime. Res64: 8039583B3D531F09 Time : 0.0 sec. user=mdettweiler [2012-11-28 00:47:18] 937*2^1236461-1 is not prime. Res64: EE245EDF68007C44 Time : 0.0 sec. user=mdettweiler [2012-11-28 00:47:19] 955*2^1236461-1 is not prime. Res64: 4CD44DEBE00F4A46 Time : 0.0 sec. user=vaughan [2012-11-28 00:53:09] 741*2^1236461-1 is not prime. Res64: 7F07407E71FC5BA8 Time : 0.0 sec. user=mdettweiler [2012-11-28 00:56:36] 611*2^1236462-1 is not prime. Res64: 0A855CC4EC361092 Time : 0.0 sec. user=mdettweiler [2012-11-28 00:56:36] 755*2^1236462-1 is not prime. Res64: 7580FE3F9C86CBFE Time : 0.0 sec. user=mdettweiler [2012-11-28 01:04:38] 947*2^1236462-1 is not prime. Res64: 3C9D7D316ECF97CB Time : 0.0 sec. user=mdettweiler [2012-11-28 01:04:40] 693*2^1236463-1 is not prime. Res64: 45F8C5C9BB9E3228 Time : 0.0 sec. user=mdettweiler [2012-11-28 01:13:50] 735*2^1236463-1 is not prime. Res64: C3847B28BFBEF7FE Time : 0.0 sec. user=mdettweiler [2012-11-28 01:13:51] 861*2^1236463-1 is not prime. Res64: B5840D4822A51101 Time : 0.0 sec. user=mdettweiler [2012-11-28 01:22:55] 873*2^1236463-1 is not prime. Res64: D4667A8BF782ED9C Time : 0.0 sec. user=mdettweiler [2012-11-28 01:22:55] 901*2^1236463-1 is not prime. Res64: 0233BD81911296B0 Time : 0.0 sec. user=vaughan [2012-11-28 01:30:55] 705*2^1236463-1 is not prime. Res64: C921DC25A88426D2 Time : 0.0 sec. user=mdettweiler [2012-11-28 01:31:12] 993*2^1236463-1 is not prime. Res64: 4F73ADE579DA6DE1 Time : 0.0 sec. user=mdettweiler [2012-11-28 01:31:15] 755*2^1236464-1 is not prime. Res64: 506DD52C9CE1FFBC Time : 0.0 sec. user=mdettweiler [2012-11-28 01:40:10] 843*2^1236464-1 is not prime. Res64: 76D5DF0A12C3511D Time : 0.0 sec. user=mdettweiler [2012-11-28 01:40:11] 873*2^1236464-1 is not prime. Res64: 52C74521D219E576 Time : 0.0 sec. user=mdettweiler [2012-11-28 01:48:34] 927*2^1236464-1 is not prime. Res64: 9257EE7D643E18E5 Time : 0.0 sec. user=mdettweiler [2012-11-28 01:48:34] 601*2^1236465-1 is not prime. Res64: 41E333294E1D0C3E Time : 0.0 sec. user=mdettweiler [2012-11-28 01:57:27] 649*2^1236465-1 is not prime. Res64: B0955A6DFC8BDE99 Time : 0.0 sec. user=mdettweiler [2012-11-28 01:57:27] 717*2^1236465-1 is not prime. Res64: F394FC4C3655FFB9 Time : 0.0 sec. user=mdettweiler [2012-11-28 02:05:53] 741*2^1236465-1 is not prime. Res64: A9A530DE1B545E7F Time : 0.0 sec. user=mdettweiler [2012-11-28 02:05:54] 765*2^1236465-1 is not prime. Res64: A3DBAA96854A7D63 Time : 0.0 sec. user=vaughan [2012-11-28 02:08:59] 897*2^1236464-1 is not prime. Res64: BFF6D5B80BB0E0CE Time : 0.0 sec. user=mdettweiler [2012-11-28 02:14:44] 885*2^1236465-1 is not prime. Res64: 5995556E839B5413 Time : 0.0 sec. user=mdettweiler [2012-11-28 02:14:46] 909*2^1236465-1 is not prime. Res64: E3B1835E6D4839FD Time : 0.0 sec. user=mdettweiler [2012-11-28 02:23:15] 915*2^1236465-1 is not prime. Res64: 69DCB105CBF0EC22 Time : 0.0 sec. user=mdettweiler [2012-11-28 02:23:15] 979*2^1236465-1 is not prime. Res64: 1EF141A8E1E0CACB Time : 0.0 sec. user=mdettweiler [2012-11-28 02:32:25] 653*2^1236466-1 is not prime. Res64: B46B462ACFAC5A53 Time : 0.0 sec. user=mdettweiler [2012-11-28 02:32:26] 747*2^1236466-1 is not prime. Res64: 84C28A8AFFC24677 Time : 0.0 sec. user=mdettweiler [2012-11-28 02:40:33] 801*2^1236466-1 is not prime. Res64: 076245AF1A97CA71 Time : 0.0 sec. user=mdettweiler [2012-11-28 02:40:39] 867*2^1236466-1 is not prime. Res64: 13A3B4CF88E62B09 Time : 0.0 sec. user=vaughan [2012-11-28 02:46:52] 985*2^1236465-1 is not prime. Res64: 97AE720E692530D6 Time : 0.0 sec. user=mdettweiler [2012-11-28 02:49:42] 911*2^1236466-1 is not prime. Res64: 42856653A2822778 Time : 0.0 sec. user=mdettweiler [2012-11-28 02:49:43] 917*2^1236466-1 is not prime. Res64: 5859AFC47BFD303D Time : 0.0 sec. user=mdettweiler [2012-11-28 02:58:38] 923*2^1236466-1 is not prime. Res64: 79175EA629B97EA0 Time : 0.0 sec. user=mdettweiler [2012-11-28 02:58:40] 933*2^1236466-1 is not prime. Res64: 225CF761CE8D2F59 Time : 0.0 sec. user=mdettweiler [2012-11-28 03:07:08] 609*2^1236467-1 is not prime. Res64: F51D94218254E655 Time : 0.0 sec. user=mdettweiler [2012-11-28 03:07:11] 663*2^1236467-1 is not prime. Res64: 14EABB54B8EC3890 Time : 0.0 sec. user=mdettweiler [2012-11-28 03:16:17] 711*2^1236467-1 is not prime. Res64: FE47B98F8699A092 Time : 0.0 sec. user=mdettweiler [2012-11-28 03:16:19] 979*2^1236467-1 is not prime. Res64: 2F15C195DE246B5C Time : 0.0 sec. user=mdettweiler [2012-11-28 03:24:54] 683*2^1236468-1 is not prime. Res64: BA27DC3B05BFB980 Time : 0.0 sec. user=mdettweiler [2012-11-28 03:24:54] 777*2^1236468-1 is not prime. Res64: C995998241812356 Time : 0.0 sec. user=vaughan [2012-11-28 03:25:08] 983*2^1236466-1 is not prime. Res64: 73CD5B2290F54F12 Time : 0.0 sec. user=mdettweiler [2012-11-28 03:33:49] 789*2^1236468-1 is not prime. Res64: 488AA3AE2BAEB6E2 Time : 0.0 sec. user=mdettweiler [2012-11-28 03:33:51] 803*2^1236468-1 is not prime. Res64: E4EB027B84A2D474 Time : 0.0 sec. user=mdettweiler [2012-11-28 03:42:12] 845*2^1236468-1 is not prime. Res64: 5B2CD31F044E0BAD Time : 0.0 sec. user=mdettweiler [2012-11-28 03:42:13] 909*2^1236468-1 is not prime. Res64: 3C5DD76529C688FC Time : 0.0 sec. user=mdettweiler [2012-11-28 03:51:20] 999*2^1236468-1 is not prime. Res64: A241D89AE9D791AE Time : 0.0 sec. user=mdettweiler [2012-11-28 03:51:20] 675*2^1236469-1 is not prime. Res64: BB5B222D830589A4 Time : 0.0 sec. user=mdettweiler [2012-11-28 03:59:34] 615*2^1236470-1 is not prime. Res64: 30A3D9D9AD483EF3 Time : 0.0 sec. user=mdettweiler [2012-11-28 03:59:35] 627*2^1236470-1 is not prime. Res64: BE6AF82E53152ABB Time : 0.0 sec. user=vaughan [2012-11-28 04:02:57] 945*2^1236468-1 is not prime. Res64: 499D4C115684EA48 Time : 0.0 sec. user=mdettweiler [2012-11-28 04:08:38] 635*2^1236470-1 is not prime. Res64: 31D757733B71FA5B Time : 0.0 sec. user=mdettweiler [2012-11-28 04:08:40] 731*2^1236470-1 is not prime. Res64: E2BBB692660C65C9 Time : 0.0 sec. user=mdettweiler [2012-11-28 04:16:52] 867*2^1236470-1 is not prime. Res64: 7DBED82A8DAEC459 Time : 0.0 sec. user=mdettweiler [2012-11-28 04:16:54] 893*2^1236470-1 is not prime. Res64: E8C2F3292E22E3ED Time : 0.0 sec. user=mdettweiler [2012-11-28 04:26:05] 951*2^1236470-1 is not prime. Res64: B27AFCEA0750B101 Time : 0.0 sec. user=mdettweiler [2012-11-28 04:26:06] 601*2^1236471-1 is not prime. Res64: 81E700EF57A88736 Time : 0.0 sec. user=mdettweiler [2012-11-28 04:34:23] 661*2^1236471-1 is not prime. Res64: 483D754BAD9DB3FD Time : 0.0 sec. user=mdettweiler [2012-11-28 04:34:24] 675*2^1236471-1 is not prime. Res64: B44420A7A50CC376 Time : 0.0 sec. user=vaughan [2012-11-28 04:40:49] 941*2^1236470-1 is not prime. Res64: 02F88C542A9DAD21 Time : 0.0 sec. user=mdettweiler [2012-11-28 04:43:24] 805*2^1236471-1 is not prime. Res64: 201541BB08540ACF Time : 0.0 sec. user=mdettweiler [2012-11-28 04:43:24] 891*2^1236471-1 is not prime. Res64: 9F07D20C3F4D5600 Time : 0.0 sec. user=mdettweiler [2012-11-28 04:51:51] 945*2^1236471-1 is not prime. Res64: EBEA9BEE06ABEE66 Time : 0.0 sec. user=mdettweiler [2012-11-28 04:51:51] 969*2^1236471-1 is not prime. Res64: 424B464DE26C533B Time : 0.0 sec. user=mdettweiler [2012-11-28 05:00:42] 735*2^1236472-1 is not prime. Res64: 83515D7A71AEDA13 Time : 0.0 sec. user=mdettweiler [2012-11-28 05:00:44] 779*2^1236472-1 is not prime. Res64: 7E3F59D0302D5851 Time : 0.0 sec. user=mdettweiler [2012-11-28 05:09:08] 843*2^1236472-1 is not prime. Res64: 214A71C02016D2C3 Time : 0.0 sec. user=mdettweiler [2012-11-28 05:09:10] 899*2^1236472-1 is not prime. Res64: AB7C29D151C0995F Time : 0.0 sec. user=mdettweiler [2012-11-28 05:18:10] 939*2^1236472-1 is not prime. Res64: 71F5795AB106534A Time : 0.0 sec. user=mdettweiler [2012-11-28 05:18:11] 691*2^1236473-1 is not prime. Res64: 681E8383FF68C896 Time : 0.0 sec. user=vaughan [2012-11-28 05:18:41] 603*2^1236472-1 is not prime. Res64: 46809C6A3CE152FB Time : 0.0 sec. user=mdettweiler [2012-11-28 05:26:33] 715*2^1236473-1 is not prime. Res64: AE24F62C0CFFC3C2 Time : 0.0 sec. user=mdettweiler [2012-11-28 05:26:34] 837*2^1236473-1 is not prime. Res64: 694EA8B7D477A8DA Time : 0.0 sec. user=mdettweiler [2012-11-28 05:35:29] 847*2^1236473-1 is not prime. Res64: C46807BEDAB9F191 Time : 0.0 sec. user=mdettweiler [2012-11-28 05:35:30] 605*2^1236474-1 is not prime. Res64: 8C52D3993CA0844D Time : 0.0 sec. user=mdettweiler [2012-11-28 05:43:51] 803*2^1236474-1 is not prime. Res64: B5AC3D34ED4BF0B4 Time : 0.0 sec. user=mdettweiler [2012-11-28 05:43:52] 873*2^1236474-1 is not prime. Res64: 7A384B0C6818ADA8 Time : 0.0 sec. user=mdettweiler [2012-11-28 05:52:46] 619*2^1236475-1 is not prime. Res64: 6BD169640B028B44 Time : 0.0 sec. user=mdettweiler [2012-11-28 05:52:47] 631*2^1236475-1 is not prime. Res64: C1017416DA83C12A Time : 0.0 sec. user=vaughan [2012-11-28 05:56:29] 707*2^1236474-1 is not prime. Res64: AA48193F834B1B4D Time : 0.0 sec. user=mdettweiler [2012-11-28 06:01:10] 709*2^1236475-1 is not prime. Res64: 3CC47A5689C79391 Time : 0.0 sec. user=mdettweiler [2012-11-28 06:01:11] 883*2^1236475-1 is not prime. Res64: 7BA050D49F4DB8C3 Time : 0.0 sec. user=mdettweiler [2012-11-28 06:10:04] 885*2^1236475-1 is not prime. Res64: 9C13A2CF8E3A1E7D Time : 0.0 sec. user=mdettweiler [2012-11-28 06:10:06] 609*2^1236476-1 is not prime. Res64: FCF4EECABE014C63 Time : 0.0 sec. user=mdettweiler [2012-11-28 06:18:37] 717*2^1236476-1 is not prime. Res64: 554A55121845A7F3 Time : 0.0 sec. user=mdettweiler [2012-11-28 06:18:38] 759*2^1236476-1 is not prime. Res64: 89DF0713AFC73F1C Time : 0.0 sec. user=mdettweiler [2012-11-28 06:27:30] 711*2^1236477-1 is not prime. Res64: 01D4446FE6CAA6F0 Time : 0.0 sec. user=mdettweiler [2012-11-28 06:27:30] 735*2^1236477-1 is not prime. Res64: 4CE419830610130E Time : 0.0 sec. user=vaughan [2012-11-28 06:34:21] 633*2^1236476-1 is not prime. Res64: EB654B51F25BD950 Time : 0.0 sec. user=mdettweiler [2012-11-28 06:35:58] 747*2^1236477-1 is not prime. Res64: 80B696A07A6E721D Time : 0.0 sec. user=mdettweiler [2012-11-28 06:35:59] 795*2^1236477-1 is not prime. Res64: 9F840BD6C12CA633 Time : 0.0 sec. user=mdettweiler [2012-11-28 06:44:46] 871*2^1236477-1 is not prime. Res64: F5B10673FF171FBF Time : 0.0 sec. user=mdettweiler [2012-11-28 06:44:47] 999*2^1236477-1 is not prime. Res64: 62C66AA45A418598 Time : 0.0 sec. user=mdettweiler [2012-11-28 06:53:17] 707*2^1236478-1 is not prime. Res64: 9D05CC712E862A17 Time : 0.0 sec. user=mdettweiler [2012-11-28 06:53:17] 827*2^1236478-1 is not prime. Res64: 8529A239D409ACD9 Time : 0.0 sec. user=mdettweiler [2012-11-28 07:02:04] 833*2^1236478-1 is not prime. Res64: E665F5F3EEBDA6BD Time : 0.0 sec. user=mdettweiler [2012-11-28 07:02:05] 843*2^1236478-1 is not prime. Res64: FCD2229D0F2744BF Time : 0.0 sec. user=mdettweiler [2012-11-28 07:10:33] 645*2^1236479-1 is not prime. Res64: BC05FDB626785CA7 Time : 0.0 sec. user=mdettweiler [2012-11-28 07:10:33] 823*2^1236479-1 is not prime. Res64: AA836A233011D013 Time : 0.0 sec. user=vaughan [2012-11-28 07:12:09] 603*2^1236478-1 is not prime. Res64: A5B54CD0C6D5F5F0 Time : 0.0 sec. user=mdettweiler [2012-11-28 07:19:30] 859*2^1236479-1 is not prime. Res64: FB1D8702DB7D3579 Time : 0.0 sec. user=mdettweiler [2012-11-28 07:19:31] 985*2^1236479-1 is not prime. Res64: 5897A5AA31A96DD9 Time : 0.0 sec. user=mdettweiler [2012-11-28 07:27:56] 627*2^1236480-1 is not prime. Res64: FF94FF4798B093A2 Time : 0.0 sec. user=mdettweiler [2012-11-28 07:27:58] 633*2^1236480-1 is not prime. Res64: 777977E88DA4A1D4 Time : 0.0 sec. user=mdettweiler [2012-11-28 07:36:50] 707*2^1236480-1 is not prime. Res64: 0C69C2C04E1C0B85 Time : 0.0 sec. user=mdettweiler [2012-11-28 07:36:51] 863*2^1236480-1 is not prime. Res64: B0415DD6A1948682 Time : 0.0 sec. user=mdettweiler [2012-11-28 07:45:15] 867*2^1236480-1 is not prime. Res64: 1E98C8CE24ED6B48 Time : 0.0 sec. user=mdettweiler [2012-11-28 07:45:15] 875*2^1236480-1 is not prime. Res64: 21D08EC703514734 Time : 0.0 sec. user=vaughan [2012-11-28 07:50:08] 635*2^1236480-1 is not prime. Res64: 34749B8268135014 Time : 0.0 sec. user=mdettweiler [2012-11-28 07:54:07] 615*2^1236481-1 is not prime. Res64: 454441CBDCB5C38A Time : 0.0 sec. user=mdettweiler [2012-11-28 07:54:07] 651*2^1236481-1 is not prime. Res64: 9C1458C8458BF338 Time : 0.0 sec. user=mdettweiler [2012-11-28 08:02:31] 727*2^1236481-1 is not prime. Res64: FD642C2EB05B1F63 Time : 0.0 sec. user=mdettweiler [2012-11-28 08:02:32] 819*2^1236481-1 is not prime. Res64: F04E4EB359481244 Time : 0.0 sec. user=mdettweiler [2012-11-28 08:11:23] 871*2^1236481-1 is not prime. Res64: DF843A864E7992F0 Time : 0.0 sec. user=mdettweiler [2012-11-28 08:11:25] 877*2^1236481-1 is not prime. Res64: 3D4B179A05F286A1 Time : 0.0 sec. user=mdettweiler [2012-11-28 08:19:55] 955*2^1236481-1 is not prime. Res64: CB5DB0A502A3A3C4 Time : 0.0 sec. user=mdettweiler [2012-11-28 08:19:55] 957*2^1236481-1 is not prime. Res64: F631C331AD3BD8F0 Time : 0.0 sec. user=vaughan [2012-11-28 08:27:56] 835*2^1236481-1 is not prime. Res64: EEBCA2FBF6178476 Time : 0.0 sec. user=mdettweiler [2012-11-28 08:28:52] 997*2^1236481-1 is not prime. Res64: 5C0E8B4455593803 Time : 0.0 sec. user=mdettweiler [2012-11-28 08:28:52] 671*2^1236482-1 is not prime. Res64: 975770132BC8892C Time : 0.0 sec. user=mdettweiler [2012-11-28 08:37:12] 713*2^1236482-1 is not prime. Res64: 22D1743283FEEC2A Time : 0.0 sec. user=mdettweiler [2012-11-28 08:37:13] 755*2^1236482-1 is not prime. Res64: D55DD6A162D753D9 Time : 0.0 sec. user=mdettweiler [2012-11-28 08:46:10] 797*2^1236482-1 is not prime. Res64: FECB2AAACD7F7CC5 Time : 0.0 sec. user=mdettweiler [2012-11-28 08:46:11] 903*2^1236482-1 is not prime. Res64: 6760DDECB4A14B8A Time : 0.0 sec. user=mdettweiler [2012-11-28 08:54:28] 945*2^1236482-1 is not prime. Res64: CCEB635259416637 Time : 0.0 sec. user=mdettweiler [2012-11-28 08:54:29] 981*2^1236482-1 is not prime. Res64: 462F516A4A0B2411 Time : 0.0 sec. user=mdettweiler [2012-11-28 09:03:27] 619*2^1236483-1 is not prime. Res64: 2BBD283FD5901E7B Time : 0.0 sec. user=mdettweiler [2012-11-28 09:03:29] 625*2^1236483-1 is not prime. Res64: B2E4A0BE775499AD Time : 0.0 sec. user=vaughan [2012-11-28 09:05:47] 771*2^1236482-1 is not prime. Res64: DF3AE16B0C74517C Time : 0.0 sec. user=mdettweiler [2012-11-28 09:11:46] 705*2^1236483-1 is not prime. Res64: 433EACA39F0DB662 Time : 0.0 sec. user=mdettweiler [2012-11-28 09:11:50] 853*2^1236483-1 is not prime. Res64: B7B83812AF14D675 Time : 0.0 sec. user=mdettweiler [2012-11-28 09:20:51] 913*2^1236483-1 is not prime. Res64: BB09FF5E5001B3A2 Time : 0.0 sec. user=mdettweiler [2012-11-28 09:20:51] 609*2^1236484-1 is not prime. Res64: E1CD2ED9E7C0ADF5 Time : 0.0 sec. user=mdettweiler [2012-11-28 09:29:16] 657*2^1236484-1 is not prime. Res64: F64669BCE4FB755B Time : 0.0 sec. user=mdettweiler [2012-11-28 09:29:16] 743*2^1236484-1 is not prime. Res64: 590A0AFB80894742 Time : 0.0 sec. user=mdettweiler [2012-11-28 09:38:07] 869*2^1236484-1 is not prime. Res64: 11C0DAC939AEECB8 Time : 0.0 sec. user=mdettweiler [2012-11-28 09:38:08] 909*2^1236484-1 is not prime. Res64: 3D456889A190F5BC Time : 0.0 sec. user=vaughan [2012-11-28 09:43:37] 635*2^1236484-1 is not prime. Res64: F4149D52EF03C395 Time : 0.0 sec. user=mdettweiler [2012-11-28 09:46:32] 607*2^1236485-1 is not prime. Res64: 040169AB3F3CCF25 Time : 0.0 sec. user=mdettweiler [2012-11-28 09:46:33] 699*2^1236485-1 is not prime. Res64: 0EC03DA02E3D5B7C Time : 0.0 sec. user=mdettweiler [2012-11-28 09:55:25] 729*2^1236485-1 is not prime. Res64: 398D28B36DE12B82 Time : 0.0 sec. user=mdettweiler [2012-11-28 09:55:26] 855*2^1236485-1 is not prime. Res64: EB85E026F3BEFCC4 Time : 0.0 sec. user=mdettweiler [2012-11-28 10:03:48] 641*2^1236486-1 is not prime. Res64: 002A696948D3C346 Time : 0.0 sec. user=mdettweiler [2012-11-28 10:03:51] 725*2^1236486-1 is not prime. Res64: 76FCB2ED4CB6C9B1 Time : 0.0 sec. user=mdettweiler [2012-11-28 10:12:42] 783*2^1236486-1 is not prime. Res64: F94F2D46002791EE Time : 0.0 sec. user=mdettweiler [2012-11-28 10:12:46] 851*2^1236486-1 is not prime. Res64: AA544238D282D1C1 Time : 0.0 sec. user=mdettweiler [2012-11-28 10:21:07] 923*2^1236486-1 is not prime. Res64: 1269010AE159DE4D Time : 0.0 sec. user=mdettweiler [2012-11-28 10:21:08] 945*2^1236486-1 is not prime. Res64: 3C3E00882610CBC6 Time : 0.0 sec. user=mdettweiler [2012-11-28 10:30:21] 615*2^1236487-1 is not prime. Res64: 8081E93798BD1128 Time : 0.0 sec. user=mdettweiler [2012-11-28 10:30:21] 619*2^1236487-1 is not prime. Res64: AA65A79A03B46841 Time : 0.0 sec. user=mdettweiler [2012-11-28 10:38:24] 645*2^1236487-1 is not prime. Res64: F615361CA75DE10D Time : 0.0 sec. user=mdettweiler [2012-11-28 10:38:25] 693*2^1236487-1 is not prime. Res64: BFC3C7B71D876988 Time : 0.0 sec. user=mdettweiler [2012-11-28 10:47:38] 871*2^1236487-1 is not prime. Res64: 831B98ADA6F02F76 Time : 0.0 sec. user=mdettweiler [2012-11-28 10:47:39] 961*2^1236487-1 is not prime. Res64: B9CE929C47450AD6 Time : 0.0 sec. user=mdettweiler [2012-11-28 10:55:41] 975*2^1236487-1 is not prime. Res64: CD5ADDDEEA497620 Time : 0.0 sec. user=mdettweiler [2012-11-28 10:55:42] 665*2^1236488-1 is not prime. Res64: C2C05F9C0C692EE4 Time : 0.0 sec. user=mdettweiler [2012-11-28 11:12:58] 935*2^1236488-1 is not prime. Res64: 8357F53ACFC11BB0 Time : 0.0 sec. user=mdettweiler [2012-11-28 11:13:01] 615*2^1236489-1 is not prime. Res64: EC2ED4DB862B02F3 Time : 0.0 sec. user=mdettweiler [2012-11-28 11:25:56] 683*2^1236488-1 is not prime. Res64: 413739F43EACAB52 Time : 0.0 sec. user=mdettweiler [2012-11-28 11:25:57] 897*2^1236488-1 is not prime. Res64: 1D8BC93C06B47431 Time : 0.0 sec. user=mdettweiler [2012-11-28 11:30:38] 627*2^1236489-1 is not prime. Res64: ED8E72E2474A7E00 Time : 0.0 sec. user=mdettweiler [2012-11-28 11:30:38] 649*2^1236489-1 is not prime. Res64: 319908B36E397CE7 Time : 0.0 sec. user=mdettweiler [2012-11-28 11:43:22] 685*2^1236489-1 is not prime. Res64: 8A0253453F31AB37 Time : 0.0 sec. user=mdettweiler [2012-11-28 11:43:22] 847*2^1236489-1 is not prime. Res64: 9B56EE8C15932FAA Time : 0.0 sec. user=mdettweiler [2012-11-28 11:47:55] 945*2^1236489-1 is not prime. Res64: 0F88ECF2D18E07D5 Time : 0.0 sec. user=mdettweiler [2012-11-28 11:47:55] 949*2^1236489-1 is not prime. Res64: B2F020C84C05E47C Time : 0.0 sec. user=mdettweiler [2012-11-28 12:00:39] 975*2^1236489-1 is not prime. Res64: 3311E3243FBF2908 Time : 0.0 sec. user=mdettweiler [2012-11-28 12:00:40] 603*2^1236490-1 is not prime. Res64: C599F5C93FE358F9 Time : 0.0 sec. user=mdettweiler [2012-11-28 12:05:12] 665*2^1236490-1 is not prime. Res64: F0DA987CA524EEE9 Time : 0.0 sec. user=mdettweiler [2012-11-28 12:05:13] 777*2^1236490-1 is not prime. Res64: 6FE4B5D9B06F5449 Time : 0.0 sec. user=mdettweiler [2012-11-28 12:18:09] 791*2^1236490-1 is not prime. Res64: 2B761411700A3B1C Time : 0.0 sec. user=mdettweiler [2012-11-28 12:18:10] 911*2^1236490-1 is not prime. Res64: D995300C425A53E5 Time : 0.0 sec. user=mdettweiler [2012-11-28 12:22:32] 933*2^1236490-1 is not prime. Res64: 0A063A89881B169E Time : 0.0 sec. user=mdettweiler [2012-11-28 12:22:32] 609*2^1236491-1 is not prime. Res64: 17D9EF0EF47E301E Time : 0.0 sec. user=mdettweiler [2012-11-28 12:35:27] 619*2^1236491-1 is not prime. Res64: B93726304F825D11 Time : 0.0 sec. user=mdettweiler [2012-11-28 12:35:28] 649*2^1236491-1 is not prime. Res64: 8DC4A3BF324659AA Time : 0.0 sec. user=mdettweiler [2012-11-28 12:39:48] 675*2^1236491-1 is not prime. Res64: 3391651B8580C483 Time : 0.0 sec. user=mdettweiler [2012-11-28 12:39:49] 715*2^1236491-1 is not prime. Res64: 873C396267A634AC Time : 0.0 sec. user=mdettweiler [2012-11-28 12:52:45] 735*2^1236491-1 is not prime. Res64: EAFEC3C978748FB0 Time : 0.0 sec. user=mdettweiler [2012-11-28 12:52:45] 823*2^1236491-1 is not prime. Res64: F58F0AE56FABB970 Time : 0.0 sec. user=mdettweiler [2012-11-28 12:57:04] 889*2^1236491-1 is not prime. Res64: 6685A370E4B5F946 Time : 0.0 sec. user=mdettweiler [2012-11-28 12:57:05] 999*2^1236491-1 is not prime. Res64: 6FC19FD7423C9AAC Time : 0.0 sec. user=mdettweiler [2012-11-28 13:10:03] 653*2^1236492-1 is not prime. Res64: DB6A99C38315B826 Time : 0.0 sec. user=mdettweiler [2012-11-28 13:10:05] 675*2^1236492-1 is not prime. Res64: E9EB5A299943A59F Time : 0.0 sec. user=mdettweiler [2012-11-28 13:14:21] 759*2^1236492-1 is not prime. Res64: 71F844DFAF1D1580 Time : 0.0 sec. user=mdettweiler [2012-11-28 13:14:22] 767*2^1236492-1 is not prime. Res64: C8914C5A433CF34F Time : 0.0 sec. user=mdettweiler [2012-11-28 13:27:35] 863*2^1236492-1 is not prime. Res64: D93C83BFD6B79234 Time : 0.0 sec. user=mdettweiler [2012-11-28 13:27:36] 923*2^1236492-1 is not prime. Res64: 2B4D3233F20ABDB5 Time : 0.0 sec. user=mdettweiler [2012-11-28 13:31:41] 959*2^1236492-1 is not prime. Res64: 525709CB936F20B9 Time : 0.0 sec. user=mdettweiler [2012-11-28 13:31:42] 987*2^1236492-1 is not prime. Res64: 7457FE663EFDCC87 Time : 0.0 sec. user=mdettweiler [2012-11-28 13:44:54] 609*2^1236493-1 is not prime. Res64: EC751D07968895DC Time : 0.0 sec. user=mdettweiler [2012-11-28 13:44:55] 625*2^1236493-1 is not prime. Res64: BDF429EDAE890EE2 Time : 0.0 sec. user=mdettweiler [2012-11-28 13:48:59] 847*2^1236493-1 is not prime. Res64: 4A3451F93965E100 Time : 0.0 sec. user=mdettweiler [2012-11-28 13:48:59] 861*2^1236493-1 is not prime. Res64: 4E91EF7B1D31F414 Time : 0.0 sec. user=mdettweiler [2012-11-28 14:02:13] 635*2^1236494-1 is not prime. Res64: 0A8220DBFE1C8D1A Time : 0.0 sec. user=mdettweiler [2012-11-28 14:02:15] 675*2^1236494-1 is not prime. Res64: F0B0DC84BDBFAAA6 Time : 0.0 sec. user=mdettweiler [2012-11-28 14:06:16] 687*2^1236494-1 is not prime. Res64: F5EFA8C3374EF2CF Time : 0.0 sec. user=mdettweiler [2012-11-28 14:06:17] 831*2^1236494-1 is not prime. Res64: 644595319986E98C Time : 0.0 sec. user=mdettweiler [2012-11-28 14:19:48] 875*2^1236494-1 is not prime. Res64: C830B50672594D2B Time : 0.0 sec. user=mdettweiler [2012-11-28 14:19:49] 923*2^1236494-1 is not prime. Res64: 5F1FCB881815764D Time : 0.0 sec. user=mdettweiler [2012-11-28 14:23:43] 951*2^1236494-1 is not prime. Res64: EAC068FC5A350BA2 Time : 0.0 sec. user=mdettweiler [2012-11-28 14:23:44] 1001*2^1236494-1 is not prime. Res64: DF0EB9AE1B7DE4CF Time : 0.0 sec. user=mdettweiler [2012-11-28 14:37:16] 669*2^1236495-1 is not prime. Res64: 55938F27C42B9833 Time : 0.0 sec. user=mdettweiler [2012-11-28 14:37:17] 693*2^1236495-1 is not prime. Res64: C9890DBFF8508040 Time : 0.0 sec. user=mdettweiler [2012-11-28 14:41:11] 711*2^1236495-1 is not prime. Res64: F820CAB2F1524318 Time : 0.0 sec. user=mdettweiler [2012-11-28 14:41:12] 763*2^1236495-1 is not prime. Res64: 413630D7EF516D73 Time : 0.0 sec. user=mdettweiler [2012-11-28 14:54:42] 921*2^1236495-1 is not prime. Res64: EFA1E8D90E5BD942 Time : 0.0 sec. user=mdettweiler [2012-11-28 14:54:42] 963*2^1236495-1 is not prime. Res64: B4A4E1A7DEA9C328 Time : 0.0 sec. user=mdettweiler [2012-11-28 14:58:36] 973*2^1236495-1 is not prime. Res64: F72740D1924E1AE0 Time : 0.0 sec. user=mdettweiler [2012-11-28 14:58:36] 657*2^1236496-1 is not prime. Res64: 1D7E02D7845A5041 Time : 0.0 sec. user=mdettweiler [2012-11-28 15:12:29] 705*2^1236496-1 is not prime. Res64: 41B5A5B3924D599B Time : 0.0 sec. user=mdettweiler [2012-11-28 15:12:31] 707*2^1236496-1 is not prime. Res64: 8BB422FECD7AFB32 Time : 0.0 sec. user=mdettweiler [2012-11-28 15:16:27] 743*2^1236496-1 is not prime. Res64: 5AAEB293E51D4459 Time : 0.0 sec. user=mdettweiler [2012-11-28 15:16:27] 803*2^1236496-1 is not prime. Res64: 05C758A004E8E8A2 Time : 0.0 sec. user=mdettweiler [2012-11-28 15:30:31] 807*2^1236496-1 is not prime. Res64: CE55D726747E33C6 Time : 0.0 sec. user=mdettweiler [2012-11-28 15:30:32] 825*2^1236496-1 is not prime. Res64: FFCFCAC5A8385EB8 Time : 0.0 sec. user=mdettweiler [2012-11-28 15:34:19] 887*2^1236496-1 is not prime. Res64: 26D7D4EF515DB145 Time : 0.0 sec. user=mdettweiler [2012-11-28 15:34:20] 771*2^1236497-1 is not prime. Res64: 380C8F87F57A4737 Time : 0.0 sec. user=mdettweiler [2012-11-28 15:48:36] 781*2^1236497-1 is not prime. Res64: CC9D90E39A226D56 Time : 0.0 sec. user=mdettweiler [2012-11-28 15:48:37] 867*2^1236497-1 is not prime. Res64: 6E9ED0F55D5BF5C4 Time : 0.0 sec. user=mdettweiler [2012-11-28 15:52:11] 879*2^1236497-1 is not prime. Res64: 45D3AA0405090429 Time : 0.0 sec. user=mdettweiler [2012-11-28 15:52:12] 967*2^1236497-1 is not prime. Res64: F0D154FECA4E639B Time : 0.0 sec. user=mdettweiler [2012-11-28 16:06:23] 979*2^1236497-1 is not prime. Res64: ADD0121EC0FD4700 Time : 0.0 sec. user=mdettweiler [2012-11-28 16:06:24] 663*2^1236498-1 is not prime. Res64: 0F93CAAB131BD86F Time : 0.0 sec. user=mdettweiler [2012-11-28 16:10:23] 747*2^1236498-1 is not prime. Res64: C5329B5AD025FCD7 Time : 0.0 sec. user=mdettweiler [2012-11-28 16:10:24] 755*2^1236498-1 is not prime. Res64: 382CFCB2F534CA97 Time : 0.0 sec. user=mdettweiler [2012-11-28 16:24:14] 815*2^1236498-1 is not prime. Res64: 6A73EE61FC7C8D65 Time : 0.0 sec. user=mdettweiler [2012-11-28 16:24:15] 887*2^1236498-1 is not prime. Res64: C66253325406F072 Time : 0.0 sec. user=mdettweiler [2012-11-28 16:28:16] 993*2^1236498-1 is not prime. Res64: 926DBCCFDE09D062 Time : 0.0 sec. user=mdettweiler [2012-11-28 16:28:16] 619*2^1236499-1 is not prime. Res64: 07A9DEB406239E68 Time : 0.0 sec. user=mdettweiler [2012-11-28 16:42:07] 771*2^1236499-1 is not prime. Res64: B2F8AC5264ADDDC2 Time : 0.0 sec. user=mdettweiler [2012-11-28 16:42:07] 925*2^1236499-1 is not prime. Res64: C77297F36367FD53 Time : 0.0 sec. user=mdettweiler [2012-11-28 16:46:11] 973*2^1236499-1 is not prime. Res64: 5BA0F986C2812BC8 Time : 0.0 sec. user=mdettweiler [2012-11-28 16:46:12] 975*2^1236499-1 is not prime. Res64: 5CCB64E5D580C540 Time : 0.0 sec. user=mdettweiler [2012-11-28 17:00:11] 993*2^1236499-1 is not prime. Res64: 9BB53154170A0A9D Time : 0.0 sec. user=mdettweiler [2012-11-28 17:00:11] 615*2^1236500-1 is not prime. Res64: 28DF94DDAF01F4E2 Time : 0.0 sec. user=mdettweiler [2012-11-28 17:04:15] 795*2^1236500-1 is not prime. Res64: 43B094FD59B44F3C Time : 0.0 sec. user=mdettweiler [2012-11-28 17:04:16] 915*2^1236500-1 is not prime. Res64: B47B2E7E341B1CF0 Time : 0.0 sec. user=mdettweiler [2012-11-28 17:20:00] 977*2^1236500-1 is not prime. Res64: 9EFEACE26657B11A Time : 0.0 sec. user=mdettweiler [2012-11-28 17:21:57] 609*2^1236501-1 is not prime. Res64: 3C7702A3CFA2EDA6 Time : 0.0 sec. user=mdettweiler [2012-11-28 17:21:58] 861*2^1236501-1 is not prime. Res64: 9479A3C745F29296 Time : 0.0 sec. user=mdettweiler [2012-11-28 17:30:29] 999*2^1236500-1 is not prime. Res64: 9B305490B5F903B3 Time : 0.0 sec. user=mdettweiler [2012-11-28 17:39:19] 961*2^1236501-1 is not prime. Res64: 610C275F9A7789E9 Time : 0.0 sec. user=mdettweiler [2012-11-28 17:39:20] 611*2^1236502-1 is not prime. Res64: 8C64604447B06AD6 Time : 0.0 sec. user=mdettweiler [2012-11-28 17:47:47] 635*2^1236502-1 is not prime. Res64: 3282A0E6EAA1A09F Time : 0.0 sec. user=mdettweiler [2012-11-28 17:47:47] 755*2^1236502-1 is not prime. Res64: 14DDD7EC94B7F54B Time : 0.0 sec. user=mdettweiler [2012-11-28 17:56:37] 765*2^1236502-1 is not prime. Res64: 32893A366AAFB6D5 Time : 0.0 sec. user=mdettweiler [2012-11-28 17:56:37] 813*2^1236502-1 is not prime. Res64: 9806C10B459762BD Time : 0.0 sec. user=mdettweiler [2012-11-28 18:05:05] 911*2^1236502-1 is not prime. Res64: EC75345C771883F9 Time : 0.0 sec. user=mdettweiler [2012-11-28 18:05:07] 705*2^1236503-1 is not prime. Res64: 245A842DECA67C3A Time : 0.0 sec. user=mdettweiler [2012-11-28 18:13:54] 623*2^1236504-1 is not prime. Res64: 0548D3EC9FF5DB3E Time : 0.0 sec. user=mdettweiler [2012-11-28 18:13:55] 627*2^1236504-1 is not prime. Res64: 39B9C00B6E4B80AE Time : 0.0 sec. user=mdettweiler [2012-11-28 18:22:31] 809*2^1236504-1 is not prime. Res64: 9D276BC9D436911F Time : 0.0 sec. user=mdettweiler [2012-11-28 18:22:32] 863*2^1236504-1 is not prime. Res64: 61DE211DAB9B9253 Time : 0.0 sec. user=mdettweiler [2012-11-28 18:31:24] 899*2^1236504-1 is not prime. Res64: 23F988D59FDFEAB9 Time : 0.0 sec. user=mdettweiler [2012-11-28 18:31:24] 975*2^1236504-1 is not prime. Res64: 0A94D6D0D7B77851 Time : 0.0 sec. user=mdettweiler [2012-11-28 18:39:57] 619*2^1236505-1 is not prime. Res64: 9B9F6F2D44FD772B Time : 0.0 sec. user=mdettweiler [2012-11-28 18:39:58] 625*2^1236505-1 is not prime. Res64: AB22AF3F46FB8884 Time : 0.0 sec. user=mdettweiler [2012-11-28 18:48:42] 651*2^1236505-1 is not prime. Res64: 5D10A8922A8A39AC Time : 0.0 sec. user=mdettweiler [2012-11-28 18:48:42] 661*2^1236505-1 is not prime. Res64: AEAFAD7EF2325CA8 Time : 0.0 sec. user=mdettweiler [2012-11-28 18:57:15] 777*2^1236505-1 is not prime. Res64: 67ED9685981EE19A Time : 0.0 sec. user=mdettweiler [2012-11-28 18:57:16] 623*2^1236506-1 is not prime. Res64: 5AB0B2DC3445FAB6 Time : 0.0 sec. user=mdettweiler [2012-11-28 19:06:03] 633*2^1236506-1 is not prime. Res64: 31068C8169465A5E Time : 0.0 sec. user=mdettweiler [2012-11-28 19:06:04] 767*2^1236506-1 is not prime. Res64: C45439C03EB395CE Time : 0.0 sec. user=mdettweiler [2012-11-28 19:14:36] 875*2^1236506-1 is not prime. Res64: CC4679081B0812E2 Time : 0.0 sec. user=mdettweiler [2012-11-28 19:14:37] 601*2^1236507-1 is not prime. Res64: 1E86783FE5950C6A Time : 0.0 sec. user=mdettweiler [2012-11-28 19:23:33] 619*2^1236507-1 is not prime. Res64: 779764DFB99A8E55 Time : 0.0 sec. user=mdettweiler [2012-11-28 19:23:34] 643*2^1236507-1 is not prime. Res64: 85A88C261A4E1FD6 Time : 0.0 sec. user=mdettweiler [2012-11-28 19:31:59] 649*2^1236507-1 is not prime. Res64: 84061D207239CC2C Time : 0.0 sec. user=mdettweiler [2012-11-28 19:31:59] 685*2^1236507-1 is not prime. Res64: E26491CFD7A9BFB2 Time : 0.0 sec. user=mdettweiler [2012-11-28 19:40:58] 739*2^1236507-1 is not prime. Res64: 5411D9B6765E7867 Time : 0.0 sec. user=mdettweiler [2012-11-28 19:40:58] 775*2^1236507-1 is not prime. Res64: 4F3651AA76A78F6F Time : 0.0 sec. user=mdettweiler [2012-11-28 19:49:19] 861*2^1236507-1 is not prime. Res64: 134A0F343CC78BDE Time : 0.0 sec. user=mdettweiler [2012-11-28 19:49:20] 873*2^1236507-1 is not prime. Res64: 8D9009AD6130C241 Time : 0.0 sec. user=mdettweiler [2012-11-28 19:58:21] 615*2^1236508-1 is not prime. Res64: 53B6E257C2CC090A Time : 0.0 sec. user=mdettweiler [2012-11-28 19:58:22] 677*2^1236508-1 is not prime. Res64: 94562076FE49431D Time : 0.0 sec. user=mdettweiler [2012-11-28 20:06:43] 735*2^1236508-1 is not prime. Res64: 4516B7CFBDBDAC17 Time : 0.0 sec. user=mdettweiler [2012-11-28 20:06:46] 833*2^1236508-1 is not prime. Res64: EAED4A73E0CD0654 Time : 0.0 sec. user=mdettweiler [2012-11-28 20:15:43] 933*2^1236508-1 is not prime. Res64: CBD23172579C0E6A Time : 0.0 sec. user=mdettweiler [2012-11-28 20:15:44] 619*2^1236509-1 is not prime. Res64: 81B4E905C528E363 Time : 0.0 sec. user=mdettweiler [2012-11-28 20:24:24] 645*2^1236509-1 is not prime. Res64: 6B5056DCAD0A65E7 Time : 0.0 sec. user=mdettweiler [2012-11-28 20:24:25] 759*2^1236509-1 is not prime. Res64: 6BABA6DE1D3A80A9 Time : 0.0 sec. user=mdettweiler [2012-11-28 20:33:13] 811*2^1236509-1 is not prime. Res64: F7D3C468A5335783 Time : 0.0 sec. user=mdettweiler [2012-11-28 20:33:14] 867*2^1236509-1 is not prime. Res64: 9BB6C8E522413594 Time : 0.0 sec. user=mdettweiler [2012-11-28 20:41:43] 889*2^1236509-1 is not prime. Res64: 9EDB6B1C3AA23992 Time : 0.0 sec. user=mdettweiler [2012-11-28 20:41:43] 641*2^1236510-1 is not prime. Res64: B9B8A992AE428087 Time : 0.0 sec. user=mdettweiler [2012-11-28 20:50:33] 681*2^1236510-1 is not prime. Res64: 2D0703D2191697C6 Time : 0.0 sec. user=mdettweiler [2012-11-28 20:50:34] 765*2^1236510-1 is not prime. Res64: AF6986779338CB3C Time : 0.0 sec. user=mdettweiler [2012-11-28 20:59:01] 619*2^1236511-1 is not prime. Res64: EE8C0E911A347780 Time : 0.0 sec. user=mdettweiler [2012-11-28 20:59:01] 645*2^1236511-1 is not prime. Res64: ECC8F929B948875E Time : 0.0 sec. user=mdettweiler [2012-11-28 21:07:52] 685*2^1236511-1 is not prime. Res64: 716D31C9FC2EDC17 Time : 0.0 sec. user=mdettweiler [2012-11-28 21:07:53] 693*2^1236511-1 is not prime. Res64: 90F20406EE2E18D4 Time : 0.0 sec. user=mdettweiler [2012-11-28 21:16:22] 723*2^1236511-1 is not prime. Res64: 074BC2D20921CA65 Time : 0.0 sec. user=mdettweiler [2012-11-28 21:16:25] 745*2^1236511-1 is not prime. Res64: 53995AD0F688EE26 Time : 0.0 sec. user=mdettweiler [2012-11-28 21:25:17] 763*2^1236511-1 is not prime. Res64: FF11BB167B5E241E Time : 0.0 sec. user=mdettweiler [2012-11-28 21:25:19] 829*2^1236511-1 is not prime. Res64: 213A0BB3B6AF64EA Time : 0.0 sec. user=mdettweiler [2012-11-28 21:34:01] 841*2^1236511-1 is not prime. Res64: 921AE2D5DC2DD498 Time : 0.0 sec. user=mdettweiler [2012-11-28 21:34:02] 603*2^1236512-1 is not prime. Res64: ADDF6C86EAA9726A Time : 0.0 sec. user=mdettweiler [2012-11-28 21:42:36] 717*2^1236512-1 is not prime. Res64: 81FF1CB7516EE5B1 Time : 0.0 sec. user=mdettweiler [2012-11-28 21:42:37] 777*2^1236512-1 is not prime. Res64: 3DFBB68894B256C2 Time : 0.0 sec. user=mdettweiler [2012-11-28 21:51:18] 815*2^1236512-1 is not prime. Res64: 5F7EC4C422C7BA2E Time : 0.0 sec. user=mdettweiler [2012-11-28 21:51:19] 875*2^1236512-1 is not prime. Res64: 8C0E9783BAC18C57 Time : 0.0 sec. user=mdettweiler [2012-11-28 21:59:57] 915*2^1236512-1 is not prime. Res64: 4FEEC18235D499FD Time : 0.0 sec. user=mdettweiler [2012-11-28 21:59:58] 923*2^1236512-1 is not prime. Res64: 838C25972403FD09 Time : 0.0 sec. user=mdettweiler [2012-11-28 22:08:36] 963*2^1236512-1 is not prime. Res64: 89E1C66B3B403BC2 Time : 0.0 sec. user=mdettweiler [2012-11-28 22:08:38] 627*2^1236513-1 is not prime. Res64: BEA6A12FE35E2BFE Time : 0.0 sec. user=mdettweiler [2012-11-28 22:21:10] 681*2^1236513-1 is not prime. Res64: 7C04F8BB93F77549 Time : 0.0 sec. user=mdettweiler [2012-11-28 22:25:56] 765*2^1236513-1 is not prime. Res64: 17B41AD70CFA611B Time : 0.0 sec. user=mdettweiler [2012-11-28 22:25:57] 915*2^1236513-1 is not prime. Res64: 60A98CB85B4DCFA6 Time : 0.0 sec. user=mdettweiler [2012-11-28 22:40:55] 691*2^1236513-1 is not prime. Res64: C9172A87405C8ED3 Time : 0.0 sec. user=mdettweiler [2012-11-28 22:43:14] 987*2^1236513-1 is not prime. Res64: CFB2434460B7F97C Time : 0.0 sec. user=mdettweiler [2012-11-28 22:43:14] 717*2^1236514-1 is not prime. Res64: 46A674B28BDC3957 Time : 0.0 sec. user=mdettweiler [2012-11-28 22:58:12] 821*2^1236514-1 is not prime. Res64: 07B7788DC056F3AE Time : 0.0 sec. user=mdettweiler [2012-11-28 22:58:13] 941*2^1236514-1 is not prime. Res64: 493B617B4CD8A71F Time : 0.0 sec. user=mdettweiler [2012-11-28 23:00:34] 951*2^1236514-1 is not prime. Res64: 321A72D99445082F Time : 0.0 sec. user=mdettweiler [2012-11-28 23:00:36] 753*2^1236515-1 is not prime. Res64: E849345E0F835EFE Time : 0.0 sec. user=mdettweiler [2012-11-28 23:15:29] 861*2^1236515-1 is not prime. Res64: 733711D9D1A6186C Time : 0.0 sec. user=mdettweiler [2012-11-28 23:15:32] 885*2^1236515-1 is not prime. Res64: F6ABB80C31C4C907 Time : 0.0 sec. user=mdettweiler [2012-11-28 23:18:37] 949*2^1236515-1 is not prime. Res64: D2C176ADD3DD4601 Time : 0.0 sec. user=mdettweiler [2012-11-28 23:33:00] 627*2^1236516-1 is not prime. Res64: A587C116B7F81219 Time : 0.0 sec. user=mdettweiler [2012-11-28 23:33:01] 635*2^1236516-1 is not prime. Res64: 8900D1842641D240 Time : 0.0 sec. user=mdettweiler [2012-11-28 23:34:47] 969*2^1236515-1 is not prime. Res64: 38A5F04BC7DBC9A5 Time : 0.0 sec. user=mdettweiler [2012-11-28 23:50:19] 707*2^1236516-1 is not prime. Res64: 5D1ED3B207CEB237 Time : 0.0 sec. user=mdettweiler [2012-11-28 23:50:19] 735*2^1236516-1 is not prime. Res64: DB03FF176AEFD278 Time : 0.0 sec. user=mdettweiler [2012-11-28 23:52:04] 873*2^1236516-1 is not prime. Res64: EFDEB29E434B40A9 Time : 0.0 sec. user=mdettweiler [2012-11-28 23:52:04] 879*2^1236516-1 is not prime. Res64: 78CDB4F0427E766D Time : 0.0 sec.