user=mdettweiler [2012-11-05 00:04:42] 815*2^1233662-1 is not prime. Res64: 70EDD1A5A39AE20C Time : 0.0 sec. user=mdettweiler [2012-11-05 00:04:43] 903*2^1233662-1 is not prime. Res64: A0D669709C091F0F Time : 0.0 sec. user=mdettweiler [2012-11-05 00:13:16] 921*2^1233662-1 is not prime. Res64: 5AC4E141C8F19C64 Time : 0.0 sec. user=mdettweiler [2012-11-05 00:13:18] 951*2^1233662-1 is not prime. Res64: 1712E80E7B59FB2A Time : 0.0 sec. user=vaughan [2012-11-05 00:23:41] 911*2^1233662-1 is not prime. Res64: E0A99F1884C41182 Time : 0.0 sec. user=mdettweiler [2012-11-05 00:25:40] 963*2^1233662-1 is not prime. Res64: C5AFCE132668E762 Time : 0.0 sec. user=mdettweiler [2012-11-05 00:25:41] 675*2^1233663-1 is not prime. Res64: E649A926E40BC7EF Time : 0.0 sec. user=mdettweiler [2012-11-05 00:34:07] 919*2^1233663-1 is not prime. Res64: 4A684D551BA6C01C Time : 0.0 sec. user=mdettweiler [2012-11-05 00:34:08] 945*2^1233663-1 is not prime. Res64: 9792AA70C0093EE1 Time : 0.0 sec. user=mdettweiler [2012-11-05 00:46:30] 803*2^1233664-1 is not prime. Res64: 5908328F45E2F4C2 Time : 0.0 sec. user=mdettweiler [2012-11-05 00:46:30] 875*2^1233664-1 is not prime. Res64: AE1B1C343D972BC1 Time : 0.0 sec. user=mdettweiler [2012-11-05 00:54:56] 947*2^1233664-1 is not prime. Res64: 608D1513BD0A3670 Time : 0.0 sec. user=mdettweiler [2012-11-05 00:54:57] 975*2^1233664-1 is not prime. Res64: C953D5B5B3CB3468 Time : 0.0 sec. user=vaughan [2012-11-05 01:01:24] 963*2^1233663-1 is not prime. Res64: D17CE1CF263F88AD Time : 0.0 sec. user=mdettweiler [2012-11-05 01:07:20] 983*2^1233664-1 is not prime. Res64: A1EB2DDFCC241C76 Time : 0.0 sec. user=mdettweiler [2012-11-05 01:07:21] 619*2^1233665-1 is not prime. Res64: D14B62C7A87E0F0A Time : 0.0 sec. user=mdettweiler [2012-11-05 01:15:45] 711*2^1233665-1 is not prime. Res64: 97AD8B562B30204D Time : 0.0 sec. user=mdettweiler [2012-11-05 01:15:46] 715*2^1233665-1 is not prime. Res64: 5BB92E64918BAFA2 Time : 0.0 sec. user=mdettweiler [2012-11-05 01:28:11] 837*2^1233665-1 is not prime. Res64: FE1AD56AD175265B Time : 0.0 sec. user=mdettweiler [2012-11-05 01:28:11] 871*2^1233665-1 is not prime. Res64: D3AFC5F5616FC152 Time : 0.0 sec. user=mdettweiler [2012-11-05 01:36:36] 915*2^1233665-1 is not prime. Res64: A67F70D0C6031C34 Time : 0.0 sec. user=mdettweiler [2012-11-05 01:36:36] 765*2^1233666-1 is not prime. Res64: 1B696EBF6C75167A Time : 0.0 sec. user=vaughan [2012-11-05 01:39:12] 727*2^1233665-1 is not prime. Res64: D1251833E304FCD3 Time : 0.0 sec. user=mdettweiler [2012-11-05 01:49:03] 767*2^1233666-1 is not prime. Res64: 3326C80AE5278363 Time : 0.0 sec. user=mdettweiler [2012-11-05 01:49:04] 833*2^1233666-1 is not prime. Res64: 403718496D5F9789 Time : 0.0 sec. user=mdettweiler [2012-11-05 01:57:24] 851*2^1233666-1 is not prime. Res64: B9296B300733FBE8 Time : 0.0 sec. user=mdettweiler [2012-11-05 01:57:24] 873*2^1233666-1 is not prime. Res64: 462255FB11491A1C Time : 0.0 sec. user=mdettweiler [2012-11-05 02:09:51] 615*2^1233667-1 is not prime. Res64: FE25A02538E6E252 Time : 0.0 sec. user=mdettweiler [2012-11-05 02:09:52] 673*2^1233667-1 is not prime. Res64: AF633E6CF957C578 Time : 0.0 sec. user=vaughan [2012-11-05 02:16:52] 993*2^1233666-1 is not prime. Res64: 95768AAC175DCF82 Time : 0.0 sec. user=mdettweiler [2012-11-05 02:18:12] 733*2^1233667-1 is not prime. Res64: A28DF9D8F10FFA70 Time : 0.0 sec. user=mdettweiler [2012-11-05 02:18:14] 819*2^1233667-1 is not prime. Res64: 9532BD01D855C6E9 Time : 0.0 sec. user=mdettweiler [2012-11-05 02:30:39] 849*2^1233667-1 is not prime. Res64: 5F38D3FE292D6977 Time : 0.0 sec. user=mdettweiler [2012-11-05 02:30:40] 871*2^1233667-1 is not prime. Res64: BC0040536EAAC6E2 Time : 0.0 sec. user=mdettweiler [2012-11-05 02:39:01] 951*2^1233667-1 is not prime. Res64: 13EFB1FCFC2128E9 Time : 0.0 sec. user=mdettweiler [2012-11-05 02:39:05] 623*2^1233668-1 is not prime. Res64: ED57FD678FD8630E Time : 0.0 sec. user=mdettweiler [2012-11-05 02:51:39] 669*2^1233668-1 is not prime. Res64: D66620191BC58A44 Time : 0.0 sec. user=mdettweiler [2012-11-05 02:51:40] 735*2^1233668-1 is not prime. Res64: AFDECFF87ED487C2 Time : 0.0 sec. user=vaughan [2012-11-05 02:54:46] 931*2^1233667-1 is not prime. Res64: 6DC1F4BB852FDE84 Time : 0.0 sec. user=mdettweiler [2012-11-05 03:00:22] 797*2^1233668-1 is not prime. Res64: B9995FFBE6ED40DB Time : 0.0 sec. user=mdettweiler [2012-11-05 03:00:24] 833*2^1233668-1 is not prime. Res64: 1260084BBA0011DA Time : 0.0 sec. user=mdettweiler [2012-11-05 03:12:36] 845*2^1233668-1 is not prime. Res64: 167C67507ABA0594 Time : 0.0 sec. user=mdettweiler [2012-11-05 03:12:37] 963*2^1233668-1 is not prime. Res64: C4CF4675040F7061 Time : 0.0 sec. user=mdettweiler [2012-11-05 03:21:15] 747*2^1233669-1 is not prime. Res64: 72A86294204A458E Time : 0.0 sec. user=mdettweiler [2012-11-05 03:21:15] 769*2^1233669-1 is not prime. Res64: 228414DFAEE2FF1B Time : 0.0 sec. user=vaughan [2012-11-05 03:32:26] 679*2^1233669-1 is not prime. Res64: E8C51652FFCEAE40 Time : 0.0 sec. user=mdettweiler [2012-11-05 03:33:31] 787*2^1233669-1 is not prime. Res64: 43C29B12C41DECFF Time : 0.0 sec. user=mdettweiler [2012-11-05 03:33:32] 811*2^1233669-1 is not prime. Res64: 6198743AA145BD17 Time : 0.0 sec. user=mdettweiler [2012-11-05 03:42:01] 817*2^1233669-1 is not prime. Res64: 084CA003FDB8EB20 Time : 0.0 sec. user=mdettweiler [2012-11-05 03:42:02] 907*2^1233669-1 is not prime. Res64: 1F204BDBD9D6AB73 Time : 0.0 sec. user=mdettweiler [2012-11-05 03:54:20] 761*2^1233670-1 is not prime. Res64: 0E9A5028CDD60310 Time : 0.0 sec. user=mdettweiler [2012-11-05 03:54:21] 773*2^1233670-1 is not prime. Res64: 24D583DD57144DFE Time : 0.0 sec. user=mdettweiler [2012-11-05 04:02:46] 777*2^1233670-1 is not prime. Res64: 375AF86E7F493268 Time : 0.0 sec. user=mdettweiler [2012-11-05 04:02:47] 891*2^1233670-1 is not prime. Res64: D65644C4469E6E29 Time : 0.0 sec. user=vaughan [2012-11-05 04:10:19] 713*2^1233670-1 is not prime. Res64: 242E53754E81EB50 Time : 0.0 sec. user=mdettweiler [2012-11-05 04:15:09] 987*2^1233670-1 is not prime. Res64: 206BB59E049D498C Time : 0.0 sec. user=mdettweiler [2012-11-05 04:15:10] 615*2^1233671-1 is not prime. Res64: C9BB4CE742C5897C Time : 0.0 sec. user=mdettweiler [2012-11-05 04:23:33] 621*2^1233671-1 is not prime. Res64: 2125042A83F486E6 Time : 0.0 sec. user=mdettweiler [2012-11-05 04:23:34] 663*2^1233671-1 is not prime. Res64: E5A5EF48E9683CBA Time : 0.0 sec. user=mdettweiler [2012-11-05 04:36:00] 705*2^1233671-1 is not prime. Res64: 1118EC2C81167472 Time : 0.0 sec. user=mdettweiler [2012-11-05 04:36:03] 789*2^1233671-1 is not prime. Res64: ED7DD13DAA175F78 Time : 0.0 sec. user=mdettweiler [2012-11-05 04:44:20] 841*2^1233671-1 is not prime. Res64: 4B10A99BEC7DEA97 Time : 0.0 sec. user=mdettweiler [2012-11-05 04:44:21] 921*2^1233671-1 is not prime. Res64: 0D18976AEC107AEC Time : 0.0 sec. user=vaughan [2012-11-05 04:48:13] 703*2^1233671-1 is not prime. Res64: 6120D93D546FDEA1 Time : 0.0 sec. user=mdettweiler [2012-11-05 04:57:12] 943*2^1233671-1 is not prime. Res64: 51EB2144C7C664FA Time : 0.0 sec. user=mdettweiler [2012-11-05 04:57:12] 955*2^1233671-1 is not prime. Res64: 540B4D29CDFAA4CF Time : 0.0 sec. user=mdettweiler [2012-11-05 05:05:20] 635*2^1233672-1 is not prime. Res64: E5049E8ABCD2ECA3 Time : 0.0 sec. user=mdettweiler [2012-11-05 05:05:21] 725*2^1233672-1 is not prime. Res64: 8EF15CFEA089D54B Time : 0.0 sec. user=mdettweiler [2012-11-05 05:17:59] 915*2^1233672-1 is not prime. Res64: 7D50538757DC0A93 Time : 0.0 sec. user=mdettweiler [2012-11-05 05:18:00] 933*2^1233672-1 is not prime. Res64: 32350F598B521B93 Time : 0.0 sec. user=vaughan [2012-11-05 05:25:58] 899*2^1233672-1 is not prime. Res64: FC0E3CCB2CB02CA6 Time : 0.0 sec. user=mdettweiler [2012-11-05 05:26:19] 947*2^1233672-1 is not prime. Res64: 0917CD82208D2A6A Time : 0.0 sec. user=mdettweiler [2012-11-05 05:26:20] 975*2^1233672-1 is not prime. Res64: 0B234E323B069182 Time : 0.0 sec. user=mdettweiler [2012-11-05 05:39:00] 977*2^1233672-1 is not prime. Res64: 5EA9D2A3F925226E Time : 0.0 sec. user=mdettweiler [2012-11-05 05:39:01] 649*2^1233673-1 is not prime. Res64: 18127082C59E4FEC Time : 0.0 sec. user=mdettweiler [2012-11-05 05:47:08] 705*2^1233673-1 is not prime. Res64: 622A0C049BB90A3F Time : 0.0 sec. user=mdettweiler [2012-11-05 05:47:09] 715*2^1233673-1 is not prime. Res64: D33028EADE7CBEDF Time : 0.0 sec. user=mdettweiler [2012-11-05 05:59:48] 861*2^1233673-1 is not prime. Res64: 559F023EB5A84C59 Time : 0.0 sec. user=mdettweiler [2012-11-05 05:59:49] 641*2^1233674-1 is not prime. Res64: 02E36E81615CCB4E Time : 0.0 sec. user=vaughan [2012-11-05 06:03:39] 675*2^1233673-1 is not prime. Res64: C5C94C4A6E9B97FC Time : 0.0 sec. user=mdettweiler [2012-11-05 06:07:57] 717*2^1233674-1 is not prime. Res64: 20F5BD135DD06C52 Time : 0.0 sec. user=mdettweiler [2012-11-05 06:07:59] 785*2^1233674-1 is not prime. Res64: 79F2FE2D8852C053 Time : 0.0 sec. user=mdettweiler [2012-11-05 06:20:37] 851*2^1233674-1 is not prime. Res64: 9836CD645163AA09 Time : 0.0 sec. user=mdettweiler [2012-11-05 06:20:38] 935*2^1233674-1 is not prime. Res64: 84B061B47C10D0DE Time : 0.0 sec. user=mdettweiler [2012-11-05 06:28:49] 639*2^1233675-1 is not prime. Res64: A0A7C78BD51F2EA0 Time : 0.0 sec. user=mdettweiler [2012-11-05 06:28:50] 651*2^1233675-1 is not prime. Res64: 513E70BBE370E522 Time : 0.0 sec. user=vaughan [2012-11-05 06:41:24] 613*2^1233675-1 is not prime. Res64: 02B7F8BE83685184 Time : 0.0 sec. user=mdettweiler [2012-11-05 06:41:29] 783*2^1233675-1 is not prime. Res64: 2A7893F8817D74D7 Time : 0.0 sec. user=mdettweiler [2012-11-05 06:41:29] 793*2^1233675-1 is not prime. Res64: B5FB21D05AB8A4AE Time : 0.0 sec. user=mdettweiler [2012-11-05 06:49:36] 819*2^1233675-1 is not prime. Res64: AEADD760D96CF878 Time : 0.0 sec. user=mdettweiler [2012-11-05 06:49:37] 609*2^1233676-1 is not prime. Res64: 1E8C557A28342A19 Time : 0.0 sec. user=mdettweiler [2012-11-05 07:02:14] 639*2^1233676-1 is not prime. Res64: DBFAC97A6298F30F Time : 0.0 sec. user=mdettweiler [2012-11-05 07:02:15] 743*2^1233676-1 is not prime. Res64: B083B10BEDB8472B Time : 0.0 sec. user=mdettweiler [2012-11-05 07:10:21] 759*2^1233676-1 is not prime. Res64: 56B6811411DF51C2 Time : 0.0 sec. user=mdettweiler [2012-11-05 07:10:22] 785*2^1233676-1 is not prime. Res64: 6820A9B0A5CD34CE Time : 0.0 sec. user=vaughan [2012-11-05 07:19:10] 615*2^1233676-1 is not prime. Res64: A3B5AA033B42A208 Time : 0.0 sec. user=mdettweiler [2012-11-05 07:23:02] 909*2^1233676-1 is not prime. Res64: 29E75AEEED0178D3 Time : 0.0 sec. user=mdettweiler [2012-11-05 07:23:03] 607*2^1233677-1 is not prime. Res64: 8D32412742C109F8 Time : 0.0 sec. user=mdettweiler [2012-11-05 07:31:54] 621*2^1233677-1 is not prime. Res64: 103FB976DC1A34ED Time : 0.0 sec. user=mdettweiler [2012-11-05 07:31:54] 627*2^1233677-1 is not prime. Res64: 55043AE4647013D1 Time : 0.0 sec. user=mdettweiler [2012-11-05 07:45:51] 795*2^1233677-1 is not prime. Res64: 47DB13B4EBF2A983 Time : 0.0 sec. user=mdettweiler [2012-11-05 07:45:52] 939*2^1233677-1 is not prime. Res64: 172A201BE98CC430 Time : 0.0 sec. user=mdettweiler [2012-11-05 07:54:36] 641*2^1233678-1 is not prime. Res64: 9314D93E46683788 Time : 0.0 sec. user=mdettweiler [2012-11-05 07:54:37] 711*2^1233678-1 is not prime. Res64: 6330464EEB903F77 Time : 0.0 sec. user=vaughan [2012-11-05 07:57:07] 735*2^1233677-1 is not prime. Res64: 959779CFDA3D99C0 Time : 0.0 sec. user=mdettweiler [2012-11-05 08:07:20] 737*2^1233678-1 is not prime. Res64: 3B8B6BE551C635ED Time : 0.0 sec. user=mdettweiler [2012-11-05 08:07:22] 933*2^1233678-1 is not prime. Res64: 074C6C0A6F45020B Time : 0.0 sec. user=mdettweiler [2012-11-05 08:15:24] 1001*2^1233678-1 is not prime. Res64: BBB016AF53A663D7 Time : 0.0 sec. user=mdettweiler [2012-11-05 08:15:27] 703*2^1233679-1 is not prime. Res64: EE10AE06E074B48A Time : 0.0 sec. user=mdettweiler [2012-11-05 08:28:06] 889*2^1233679-1 is not prime. Res64: 4D8CD1DFCC08FCFE Time : 0.0 sec. user=mdettweiler [2012-11-05 08:28:07] 931*2^1233679-1 is not prime. Res64: 0FE4329E06F5F02E Time : 0.0 sec. user=vaughan [2012-11-05 08:34:50] 873*2^1233679-1 is not prime. Res64: 09CE98425C318D92 Time : 0.0 sec. user=mdettweiler [2012-11-05 08:36:39] 743*2^1233680-1 is not prime. Res64: 1A25F713101C0646 Time : 0.0 sec. user=mdettweiler [2012-11-05 08:36:40] 753*2^1233680-1 is not prime. Res64: CA1B3CB5F8AE0C8F Time : 0.0 sec. user=mdettweiler [2012-11-05 08:48:51] 825*2^1233680-1 is not prime. Res64: 47602167654684EE Time : 0.0 sec. user=mdettweiler [2012-11-05 08:48:52] 899*2^1233680-1 is not prime. Res64: 74293A031EF7C95A Time : 0.0 sec. user=mdettweiler [2012-11-05 08:57:25] 709*2^1233681-1 is not prime. Res64: B80E43DD5D961392 Time : 0.0 sec. user=mdettweiler [2012-11-05 08:57:26] 789*2^1233681-1 is not prime. Res64: 7956851ADD6198BB Time : 0.0 sec. user=mdettweiler [2012-11-05 09:09:36] 829*2^1233681-1 is not prime. Res64: E9B1615C3C60E9B2 Time : 0.0 sec. user=mdettweiler [2012-11-05 09:09:37] 837*2^1233681-1 is not prime. Res64: 06A65756137BB279 Time : 0.0 sec. user=vaughan [2012-11-05 09:12:32] 705*2^1233681-1 is not prime. Res64: CA0E3242DA22B535 Time : 0.0 sec. user=mdettweiler [2012-11-05 09:18:11] 867*2^1233681-1 is not prime. Res64: AEED4959385C94F3 Time : 0.0 sec. user=mdettweiler [2012-11-05 09:18:13] 871*2^1233681-1 is not prime. Res64: 5E71DFF0EEE310E9 Time : 0.0 sec. user=mdettweiler [2012-11-05 09:30:22] 665*2^1233682-1 is not prime. Res64: 88345ECCECA05959 Time : 0.0 sec. user=mdettweiler [2012-11-05 09:30:23] 701*2^1233682-1 is not prime. Res64: 5448F64A0149A822 Time : 0.0 sec. user=mdettweiler [2012-11-05 09:39:11] 881*2^1233682-1 is not prime. Res64: A8976C07DF6238C9 Time : 0.0 sec. user=mdettweiler [2012-11-05 09:39:12] 885*2^1233682-1 is not prime. Res64: 13DA0AF0962D3525 Time : 0.0 sec. user=vaughan [2012-11-05 09:50:14] 831*2^1233682-1 is not prime. Res64: 59CF65F212DB2BE2 Time : 0.0 sec. user=mdettweiler [2012-11-05 09:51:08] 619*2^1233683-1 is not prime. Res64: D4EF3212B94F52CA Time : 0.0 sec. user=mdettweiler [2012-11-05 09:51:08] 663*2^1233683-1 is not prime. Res64: 0EB4FCA7B57DBB25 Time : 0.0 sec. user=mdettweiler [2012-11-05 09:59:57] 679*2^1233683-1 is not prime. Res64: CE4041CAB24B0584 Time : 0.0 sec. user=mdettweiler [2012-11-05 09:59:57] 735*2^1233683-1 is not prime. Res64: DDEA983A327BC678 Time : 0.0 sec. user=mdettweiler [2012-11-05 10:11:54] 855*2^1233683-1 is not prime. Res64: 6860A52667BB0D2A Time : 0.0 sec. user=mdettweiler [2012-11-05 10:11:55] 949*2^1233683-1 is not prime. Res64: 91116272DFDC29B6 Time : 0.0 sec. user=mdettweiler [2012-11-05 10:20:42] 627*2^1233684-1 is not prime. Res64: 283341F6F1746A0E Time : 0.0 sec. user=mdettweiler [2012-11-05 10:20:43] 689*2^1233684-1 is not prime. Res64: E1E8674038646736 Time : 0.0 sec. user=vaughan [2012-11-05 10:27:58] 771*2^1233683-1 is not prime. Res64: 0A93C7DA3FA21F01 Time : 0.0 sec. user=mdettweiler [2012-11-05 10:32:44] 699*2^1233684-1 is not prime. Res64: 705891AF1E54088A Time : 0.0 sec. user=mdettweiler [2012-11-05 10:32:44] 737*2^1233684-1 is not prime. Res64: 4931BD282CE45580 Time : 0.0 sec. user=mdettweiler [2012-11-05 10:41:28] 749*2^1233684-1 is not prime. Res64: 46B399FFE9F1F402 Time : 0.0 sec. user=mdettweiler [2012-11-05 10:41:29] 773*2^1233684-1 is not prime. Res64: 12852525C3B6223B Time : 0.0 sec. user=mdettweiler [2012-11-05 10:53:44] 947*2^1233684-1 is not prime. Res64: 8473F2305388C829 Time : 0.0 sec. user=mdettweiler [2012-11-05 10:53:44] 975*2^1233684-1 is not prime. Res64: 7ED0E1D97AC6B247 Time : 0.0 sec. user=mdettweiler [2012-11-05 11:02:53] 645*2^1233685-1 is not prime. Res64: C0C9F374D3F07FE7 Time : 0.0 sec. user=mdettweiler [2012-11-05 11:02:53] 951*2^1233685-1 is not prime. Res64: 53B166EBBA81051B Time : 0.0 sec. user=vaughan [2012-11-05 11:05:41] 887*2^1233684-1 is not prime. Res64: 8C76D56B2B79D158 Time : 0.0 sec. user=mdettweiler [2012-11-05 11:15:10] 617*2^1233686-1 is not prime. Res64: 74BFE14EBD87D02E Time : 0.0 sec. user=mdettweiler [2012-11-05 11:15:14] 623*2^1233686-1 is not prime. Res64: B902405BA061FC09 Time : 0.0 sec. user=mdettweiler [2012-11-05 11:24:15] 705*2^1233686-1 is not prime. Res64: FE5BDEA1F1D07939 Time : 0.0 sec. user=mdettweiler [2012-11-05 11:24:15] 717*2^1233686-1 is not prime. Res64: 51E57AAB5FDF83D7 Time : 0.0 sec. user=mdettweiler [2012-11-05 11:36:52] 843*2^1233686-1 is not prime. Res64: 14E351C1FC093E2A Time : 0.0 sec. user=mdettweiler [2012-11-05 11:36:52] 983*2^1233686-1 is not prime. Res64: 922DEEDFE9743694 Time : 0.0 sec. user=vaughan [2012-11-05 11:43:27] 773*2^1233686-1 is not prime. Res64: A71A79D41185DF87 Time : 0.0 sec. user=mdettweiler [2012-11-05 11:45:32] 739*2^1233687-1 is not prime. Res64: 66DECA77BCE18BB0 Time : 0.0 sec. user=mdettweiler [2012-11-05 11:45:33] 823*2^1233687-1 is not prime. Res64: 43C1010CF4183C76 Time : 0.0 sec. user=mdettweiler [2012-11-05 11:58:07] 973*2^1233687-1 is not prime. Res64: 3ABB83CAF370ACE7 Time : 0.0 sec. user=mdettweiler [2012-11-05 11:58:08] 635*2^1233688-1 is not prime. Res64: E3CCB837D3D9B0BE Time : 0.0 sec. user=mdettweiler [2012-11-05 12:06:48] 695*2^1233688-1 is not prime. Res64: 95AF4A6951C815BB Time : 0.0 sec. user=mdettweiler [2012-11-05 12:06:50] 723*2^1233688-1 is not prime. Res64: 3389E9A4A4447DB8 Time : 0.0 sec. user=mdettweiler [2012-11-05 12:19:22] 755*2^1233688-1 is not prime. Res64: C661DB9F7AC68FDF Time : 0.0 sec. user=mdettweiler [2012-11-05 12:19:23] 827*2^1233688-1 is not prime. Res64: F1BE11B36F50BD2E Time : 0.0 sec. user=vaughan [2012-11-05 12:21:10] 663*2^1233688-1 is not prime. Res64: C4330B5BA56053C7 Time : 0.0 sec. user=mdettweiler [2012-11-05 12:28:08] 849*2^1233688-1 is not prime. Res64: 2328993E7A9AD8FA Time : 0.0 sec. user=mdettweiler [2012-11-05 12:28:09] 855*2^1233688-1 is not prime. Res64: 9649D652E630990B Time : 0.0 sec. user=mdettweiler [2012-11-05 12:40:44] 905*2^1233688-1 is not prime. Res64: E57D10A231BED5F3 Time : 0.0 sec. user=mdettweiler [2012-11-05 12:40:44] 601*2^1233689-1 is not prime. Res64: 3C68A592B53BC4EE Time : 0.0 sec. user=mdettweiler [2012-11-05 12:49:25] 795*2^1233689-1 is not prime. Res64: BCC2D84708873EF8 Time : 0.0 sec. user=mdettweiler [2012-11-05 12:49:25] 841*2^1233689-1 is not prime. Res64: 05568C80B53E99D5 Time : 0.0 sec. user=vaughan [2012-11-05 12:58:52] 769*2^1233689-1 is not prime. Res64: 27963232704BFE6A Time : 0.0 sec. user=mdettweiler [2012-11-05 13:02:00] 909*2^1233689-1 is not prime. Res64: D9DF6993EA1C63AE Time : 0.0 sec. user=mdettweiler [2012-11-05 13:02:02] 945*2^1233689-1 is not prime. Res64: 0371071D0BB61EFA Time : 0.0 sec. user=mdettweiler [2012-11-05 13:10:41] 979*2^1233689-1 is not prime. Res64: 77517A59B22D2933 Time : 0.0 sec. user=mdettweiler [2012-11-05 13:10:42] 681*2^1233690-1 is not prime. Res64: C4A22543B5D260E0 Time : 0.0 sec. user=mdettweiler [2012-11-05 13:23:19] 797*2^1233690-1 is not prime. Res64: F7DA4DB49D30F1A0 Time : 0.0 sec. user=mdettweiler [2012-11-05 13:23:20] 803*2^1233690-1 is not prime. Res64: 899CA1A1F806F713 Time : 0.0 sec. user=mdettweiler [2012-11-05 13:32:02] 843*2^1233690-1 is not prime. Res64: 0FB327782C68E11F Time : 0.0 sec. user=mdettweiler [2012-11-05 13:32:02] 621*2^1233691-1 is not prime. Res64: CD5429BEA6234C7C Time : 0.0 sec. user=vaughan [2012-11-05 13:36:34] 765*2^1233690-1 is not prime. Res64: 154742B1DBC3069B Time : 0.0 sec. user=mdettweiler [2012-11-05 13:44:39] 681*2^1233691-1 is not prime. Res64: B5AB3578BD34A765 Time : 0.0 sec. user=mdettweiler [2012-11-05 13:44:39] 709*2^1233691-1 is not prime. Res64: ADB8C2C9B09340ED Time : 0.0 sec. user=mdettweiler [2012-11-05 13:53:25] 871*2^1233691-1 is not prime. Res64: A9574511202765EC Time : 0.0 sec. user=mdettweiler [2012-11-05 13:53:26] 901*2^1233691-1 is not prime. Res64: 25782542448226D5 Time : 0.0 sec. user=mdettweiler [2012-11-05 14:05:50] 815*2^1233536-1 is not prime. Res64: 86D20F8ABEB24564 Time : 0.0 sec. user=mdettweiler [2012-11-05 14:05:51] 925*2^1233691-1 is not prime. Res64: 794C31FCBC7247F1 Time : 0.0 sec. user=vaughan [2012-11-05 14:14:17] 913*2^1233691-1 is not prime. Res64: E96D97CBB844D2FF Time : 0.0 sec. user=mdettweiler [2012-11-05 14:14:28] 961*2^1233691-1 is not prime. Res64: CF4C55713274C96B Time : 0.0 sec. user=mdettweiler [2012-11-05 14:14:30] 683*2^1233692-1 is not prime. Res64: D2199941A6E615D7 Time : 0.0 sec. user=mdettweiler [2012-11-05 14:26:50] 743*2^1233692-1 is not prime. Res64: F8D744A00FB523E3 Time : 0.0 sec. user=mdettweiler [2012-11-05 14:26:51] 767*2^1233692-1 is not prime. Res64: AF61B521D3EC8D5E Time : 0.0 sec. user=mdettweiler [2012-11-05 14:47:52] 833*2^1233692-1 is not prime. Res64: 146522B23F0C097A Time : 0.0 sec. user=mdettweiler [2012-11-05 14:47:52] 867*2^1233692-1 is not prime. Res64: 23D0334B9AC163C0 Time : 0.0 sec. user=vaughan [2012-11-05 14:52:06] 803*2^1233692-1 is not prime. Res64: D56BD846BD6895EC Time : 0.0 sec. user=mdettweiler [2012-11-05 15:09:03] 899*2^1233692-1 is not prime. Res64: 43AA92FD3DBA2AA3 Time : 0.0 sec. user=mdettweiler [2012-11-05 15:09:04] 999*2^1233692-1 is not prime. Res64: F79DBEE6EF0C7F3F Time : 0.0 sec. user=vaughan [2012-11-05 15:29:49] 621*2^1233693-1 is not prime. Res64: 33B809C8B69A154C Time : 0.0 sec. user=mdettweiler [2012-11-05 15:30:20] 699*2^1233693-1 is not prime. Res64: 2C1D02B71A3CDC7D Time : 0.0 sec. user=mdettweiler [2012-11-05 15:30:20] 747*2^1233693-1 is not prime. Res64: 4B417CA704277782 Time : 0.0 sec. user=mdettweiler [2012-11-05 15:51:32] 915*2^1233693-1 is not prime. Res64: A1068BA84C6FA9B7 Time : 0.0 sec. user=mdettweiler [2012-11-05 15:51:33] 635*2^1233694-1 is not prime. Res64: 02B606A4FBB0AAE3 Time : 0.0 sec. user=vaughan [2012-11-05 16:07:30] 751*2^1233693-1 is not prime. Res64: DB5B558CB0FA351B Time : 0.0 sec. user=mdettweiler [2012-11-05 16:12:44] 681*2^1233694-1 is not prime. Res64: 93C92100D19B9CA6 Time : 0.0 sec. user=mdettweiler [2012-11-05 16:12:45] 765*2^1233694-1 is not prime. Res64: A799790C0E14580D Time : 0.0 sec. user=mdettweiler [2012-11-05 16:34:37] 827*2^1233694-1 is not prime. Res64: 421E7800C0E6FED2 Time : 0.0 sec. user=mdettweiler [2012-11-05 16:34:38] 993*2^1233694-1 is not prime. Res64: A043F0EA7F71D6C1 Time : 0.0 sec. user=vaughan [2012-11-05 16:45:14] 785*2^1233694-1 is not prime. Res64: 39A0CDD46736F3F0 Time : 0.0 sec. user=mdettweiler [2012-11-05 16:55:58] 1001*2^1233694-1 is not prime. Res64: 499CBDD9F34DA79B Time : 0.0 sec. user=mdettweiler [2012-11-05 16:55:59] 669*2^1233695-1 is not prime. Res64: 1D9F86D507EEFE45 Time : 0.0 sec. user=mdettweiler [2012-11-05 17:17:16] 783*2^1233695-1 is not prime. Res64: A9469AD7639AE517 Time : 0.0 sec. user=mdettweiler [2012-11-05 17:17:18] 861*2^1233695-1 is not prime. Res64: 13591A6CA2D0E49E Time : 0.0 sec. user=vaughan [2012-11-05 17:22:57] 759*2^1233695-1 is not prime. Res64: F1185A6776517A0F Time : 0.0 sec. user=mdettweiler [2012-11-05 17:39:45] 865*2^1233695-1 is not prime. Res64: F4CF7437A5BED6EC Time : 0.0 sec. user=mdettweiler [2012-11-05 17:39:46] 999*2^1233695-1 is not prime. Res64: 7EBE7FE6F635AD81 Time : 0.0 sec. user=mdettweiler [2012-11-05 17:48:49] 813*2^1233692-1 is not prime. Res64: 981F81C36269D90C Time : 0.0 sec. user=mdettweiler [2012-11-05 17:48:50] 827*2^1233692-1 is not prime. Res64: EBB0CC5FF8175DEC Time : 0.0 sec. user=vaughan [2012-11-05 18:00:39] 825*2^1233696-1 is not prime. Res64: A02A7A1CDB9210A9 Time : 0.0 sec. user=mdettweiler [2012-11-05 18:01:24] 845*2^1233696-1 is not prime. Res64: F31F756973718612 Time : 0.0 sec. user=mdettweiler [2012-11-05 18:01:26] 909*2^1233696-1 is not prime. Res64: C5FA56ECFBCB8B87 Time : 0.0 sec. user=mdettweiler [2012-11-05 18:10:24] 927*2^1233696-1 is not prime. Res64: B12385B125F3E45A Time : 0.0 sec. user=mdettweiler [2012-11-05 18:10:27] 975*2^1233696-1 is not prime. Res64: C2D2E36A8729D328 Time : 0.0 sec. user=mdettweiler [2012-11-05 18:22:59] 741*2^1233697-1 is not prime. Res64: 8129BEDF998B5EAB Time : 0.0 sec. user=mdettweiler [2012-11-05 18:23:00] 777*2^1233697-1 is not prime. Res64: 6B3F584F76B8859B Time : 0.0 sec. user=mdettweiler [2012-11-05 18:32:03] 861*2^1233697-1 is not prime. Res64: 7B0545D62FCB32DD Time : 0.0 sec. user=mdettweiler [2012-11-05 18:32:04] 867*2^1233697-1 is not prime. Res64: 97B948357BE38104 Time : 0.0 sec. user=vaughan [2012-11-05 18:38:31] 637*2^1233697-1 is not prime. Res64: 9167E70D6165E349 Time : 0.0 sec. user=mdettweiler [2012-11-05 18:44:30] 901*2^1233697-1 is not prime. Res64: 8D678CCACDB81AEA Time : 0.0 sec. user=mdettweiler [2012-11-05 18:44:31] 603*2^1233698-1 is not prime. Res64: 3D7413CA5A4361A3 Time : 0.0 sec. user=mdettweiler [2012-11-05 18:53:15] 735*2^1233698-1 is not prime. Res64: C2819C993959E060 Time : 0.0 sec. user=mdettweiler [2012-11-05 18:53:16] 767*2^1233698-1 is not prime. Res64: E9DE4AFE437885CB Time : 0.0 sec. user=mdettweiler [2012-11-05 19:05:30] 953*2^1233698-1 is not prime. Res64: D466586C2CA6271F Time : 0.0 sec. user=mdettweiler [2012-11-05 19:05:32] 601*2^1233699-1 is not prime. Res64: F0BDCE34A828FCE7 Time : 0.0 sec. user=mdettweiler [2012-11-05 19:14:26] 633*2^1233699-1 is not prime. Res64: BC561AB420534C86 Time : 0.0 sec. user=mdettweiler [2012-11-05 19:14:28] 669*2^1233699-1 is not prime. Res64: 876069F04E86DCB3 Time : 0.0 sec. user=vaughan [2012-11-05 19:16:13] 867*2^1233698-1 is not prime. Res64: 9C595C984A79C676 Time : 0.0 sec. user=mdettweiler [2012-11-05 19:27:15] 751*2^1233699-1 is not prime. Res64: 97C180BA37182365 Time : 0.0 sec. user=mdettweiler [2012-11-05 19:27:15] 775*2^1233699-1 is not prime. Res64: B6C26D9730BE0869 Time : 0.0 sec. user=mdettweiler [2012-11-05 19:36:44] 943*2^1233699-1 is not prime. Res64: 2DFA896CF93EE9BA Time : 0.0 sec. user=mdettweiler [2012-11-05 19:36:44] 797*2^1233700-1 is not prime. Res64: 10A56BBACAA1DED3 Time : 0.0 sec. user=mdettweiler [2012-11-05 19:48:56] 631*2^1233701-1 is not prime. Res64: 06305E1DB8BAE431 Time : 0.0 sec. user=mdettweiler [2012-11-05 19:48:56] 747*2^1233701-1 is not prime. Res64: CE1E35D15E417C41 Time : 0.0 sec. user=vaughan [2012-11-05 19:53:59] 989*2^1233700-1 is not prime. Res64: 9C2C870E16E1DCE3 Time : 0.0 sec. user=mdettweiler [2012-11-05 19:58:26] 799*2^1233701-1 is not prime. Res64: 1DE05E80353259F3 Time : 0.0 sec. user=mdettweiler [2012-11-05 19:58:27] 837*2^1233701-1 is not prime. Res64: 14ADFD74AFCE2410 Time : 0.0 sec. user=mdettweiler [2012-11-05 20:10:37] 861*2^1233701-1 is not prime. Res64: F97BB2D022FE65DE Time : 0.0 sec. user=mdettweiler [2012-11-05 20:10:39] 627*2^1233702-1 is not prime. Res64: 68B6781839DC4F2E Time : 0.0 sec. user=mdettweiler [2012-11-05 20:20:10] 717*2^1233702-1 is not prime. Res64: 9E22951D0E41C99D Time : 0.0 sec. user=mdettweiler [2012-11-05 20:20:11] 791*2^1233702-1 is not prime. Res64: 1725877E223EC316 Time : 0.0 sec. user=vaughan [2012-11-05 20:31:41] 681*2^1233702-1 is not prime. Res64: 8D701CBD4039A1D3 Time : 0.0 sec. user=mdettweiler [2012-11-05 20:32:12] 821*2^1233702-1 is not prime. Res64: 35A1E51D8819470F Time : 0.0 sec. user=mdettweiler [2012-11-05 20:32:12] 825*2^1233702-1 is not prime. Res64: BD146B11E9038D8F Time : 0.0 sec. user=mdettweiler [2012-11-05 20:41:19] 923*2^1233702-1 is not prime. Res64: 5481F440E7FA3732 Time : 0.0 sec. user=mdettweiler [2012-11-05 20:41:20] 977*2^1233702-1 is not prime. Res64: 15A715EBDB194E30 Time : 0.0 sec. user=mdettweiler [2012-11-05 20:53:19] 883*2^1233703-1 is not prime. Res64: 9ED05B34E3B32DB8 Time : 0.0 sec. user=mdettweiler [2012-11-05 20:53:21] 951*2^1233703-1 is not prime. Res64: C816948E23D8E9F5 Time : 0.0 sec. user=mdettweiler [2012-11-05 21:02:24] 961*2^1233703-1 is not prime. Res64: 1F08416FC2695F40 Time : 0.0 sec. user=mdettweiler [2012-11-05 21:02:25] 605*2^1233704-1 is not prime. Res64: 69F512653BF5570C Time : 0.0 sec. user=vaughan [2012-11-05 21:09:26] 673*2^1233703-1 is not prime. Res64: A531BE6C6496939A Time : 0.0 sec. user=mdettweiler [2012-11-05 21:14:27] 759*2^1233704-1 is not prime. Res64: C192C639FE2BD056 Time : 0.0 sec. user=mdettweiler [2012-11-05 21:14:30] 795*2^1233704-1 is not prime. Res64: 0AC161BFFE087AD9 Time : 0.0 sec. user=mdettweiler [2012-11-05 21:23:41] 903*2^1233704-1 is not prime. Res64: E10AA4398CFAA640 Time : 0.0 sec. user=mdettweiler [2012-11-05 21:23:42] 923*2^1233704-1 is not prime. Res64: E7318A1FB8607540 Time : 0.0 sec. user=mdettweiler [2012-11-05 21:35:50] 625*2^1233705-1 is not prime. Res64: 7242EF05F0D9B2F6 Time : 0.0 sec. user=mdettweiler [2012-11-05 21:35:51] 705*2^1233705-1 is not prime. Res64: 426A382BCA74636C Time : 0.0 sec. user=mdettweiler [2012-11-05 21:44:43] 759*2^1233705-1 is not prime. Res64: 26485EE811D62514 Time : 0.0 sec. user=mdettweiler [2012-11-05 21:44:44] 871*2^1233705-1 is not prime. Res64: 77FE6505849A450A Time : 0.0 sec. user=vaughan [2012-11-05 21:47:11] 969*2^1233704-1 is not prime. Res64: 921D43DC9795748E Time : 0.0 sec. user=mdettweiler [2012-11-05 21:56:51] 919*2^1233705-1 is not prime. Res64: 0ED304A74A692B39 Time : 0.0 sec. user=mdettweiler [2012-11-05 21:56:52] 635*2^1233706-1 is not prime. Res64: F963761E2F490C41 Time : 0.0 sec. user=mdettweiler [2012-11-05 22:05:48] 815*2^1233706-1 is not prime. Res64: BF62759373015E56 Time : 0.0 sec. user=mdettweiler [2012-11-05 22:05:49] 833*2^1233706-1 is not prime. Res64: 8EA28FEC513D3FA8 Time : 0.0 sec. user=mdettweiler [2012-11-05 22:17:57] 609*2^1233707-1 is not prime. Res64: 244B3A01CBF879AD Time : 0.0 sec. user=mdettweiler [2012-11-05 22:17:58] 693*2^1233707-1 is not prime. Res64: 71FB2157769F8EE4 Time : 0.0 sec. user=vaughan [2012-11-05 22:24:52] 911*2^1233706-1 is not prime. Res64: C3BB3F6CF8C3BC51 Time : 0.0 sec. user=mdettweiler [2012-11-05 22:26:55] 703*2^1233707-1 is not prime. Res64: C27C5464488AC86E Time : 0.0 sec. user=mdettweiler [2012-11-05 22:26:56] 775*2^1233707-1 is not prime. Res64: F5F306211F428C9C Time : 0.0 sec. user=mdettweiler [2012-11-05 22:39:05] 861*2^1233707-1 is not prime. Res64: 63AC29803BB58DFB Time : 0.0 sec. user=mdettweiler [2012-11-05 22:39:06] 879*2^1233707-1 is not prime. Res64: C205540A2EA58904 Time : 0.0 sec. user=mdettweiler [2012-11-05 22:47:57] 605*2^1233708-1 is not prime. Res64: 19086F23113A8C05 Time : 0.0 sec. user=mdettweiler [2012-11-05 22:47:58] 629*2^1233708-1 is not prime. Res64: CA69DA54FC5C81A4 Time : 0.0 sec. user=mdettweiler [2012-11-05 23:00:11] 669*2^1233708-1 is not prime. Res64: 2FD6A7D08878109E Time : 0.0 sec. user=mdettweiler [2012-11-05 23:00:13] 705*2^1233708-1 is not prime. Res64: 754842CE1D8C1A6B Time : 0.0 sec. user=vaughan [2012-11-05 23:02:34] 955*2^1233707-1 is not prime. Res64: FFAFFFF8EE2E5DB5 Time : 0.0 sec. user=mdettweiler [2012-11-05 23:09:00] 707*2^1233708-1 is not prime. Res64: 392A4900DA2E9E98 Time : 0.0 sec. user=mdettweiler [2012-11-05 23:09:01] 639*2^1233709-1 is not prime. Res64: 16BDC27A975E383B Time : 0.0 sec. user=mdettweiler [2012-11-05 23:21:17] 789*2^1233709-1 is not prime. Res64: 201C6435D648CECE Time : 0.0 sec. user=mdettweiler [2012-11-05 23:21:18] 861*2^1233709-1 is not prime. Res64: 9CDD27CA32460034 Time : 0.0 sec. user=mdettweiler [2012-11-05 23:30:11] 651*2^1233710-1 is not prime. Res64: 397E8D78D45C15D2 Time : 0.0 sec. user=mdettweiler [2012-11-05 23:30:12] 743*2^1233710-1 is not prime. Res64: A884B5F2ACFCE20B Time : 0.0 sec. user=vaughan [2012-11-05 23:40:17] 939*2^1233709-1 is not prime. Res64: 4E8FE57CFBE3B22C Time : 0.0 sec. user=mdettweiler [2012-11-05 23:42:24] 831*2^1233710-1 is not prime. Res64: DEDA05A6C3118E1E Time : 0.0 sec. user=mdettweiler [2012-11-05 23:42:25] 857*2^1233710-1 is not prime. Res64: 42B8D267DA99C7CE Time : 0.0 sec. user=mdettweiler [2012-11-05 23:51:15] 861*2^1233710-1 is not prime. Res64: 0BEA1781C2227F69 Time : 0.0 sec. user=mdettweiler [2012-11-05 23:51:16] 981*2^1233710-1 is not prime. Res64: 41FBA1450B25FA10 Time : 0.0 sec.