user=mdettweiler [2013-08-07 00:05:07] 871*2^1249901-1 is not prime. Res64: EC31E2B611EB43F6 Time : 0.0 sec. user=mdettweiler [2013-08-07 00:05:08] 937*2^1249901-1 is not prime. Res64: 60659A50E34972C7 Time : 0.0 sec. user=Beyond [2013-08-07 00:05:58] 757*2^1249901-1 is not prime. Res64: AD3CDEB4B16F6B57 Time : 0.0 sec. user=mdettweiler [2013-08-07 00:08:13] 681*2^1249903-1 is not prime. Res64: 735283A6CF452B3B Time : 0.0 sec. user=mdettweiler [2013-08-07 00:08:13] 705*2^1249903-1 is not prime. Res64: F42D4EEF4AB677A0 Time : 0.0 sec. user=Beyond [2013-08-07 00:08:18] 679*2^1249903-1 is not prime. Res64: 8501DCBC7141597D Time : 0.0 sec. user=mdettweiler [2013-08-07 00:11:17] 729*2^1249903-1 is not prime. Res64: E4A9DEBDDBF31965 Time : 0.0 sec. user=mdettweiler [2013-08-07 00:11:18] 889*2^1249903-1 is not prime. Res64: 61390189E0E07B0B Time : 0.0 sec. user=Beyond [2013-08-07 00:12:16] 723*2^1249903-1 is not prime. Res64: 9E3AE5BB9D7743A1 Time : 0.0 sec. user=Beyond [2013-08-07 00:17:18] 915*2^1249903-1 is not prime. Res64: CA8983D17059FAEC Time : 0.0 sec. user=mdettweiler [2013-08-07 00:18:46] 999*2^1249903-1 is not prime. Res64: 2768378BC27457DC Time : 0.0 sec. user=mdettweiler [2013-08-07 00:18:46] 623*2^1249904-1 is not prime. Res64: 3AD75828AD9CA5D8 Time : 0.0 sec. user=mdettweiler [2013-08-07 00:25:35] 629*2^1249904-1 is not prime. Res64: F6AD4F510BF45DF8 Time : 0.0 sec. user=mdettweiler [2013-08-07 00:25:35] 935*2^1249904-1 is not prime. Res64: EB808C83EE584EF7 Time : 0.0 sec. user=mdettweiler [2013-08-07 00:27:42] 667*2^1249905-1 is not prime. Res64: 06C5F933F9FFAB0F Time : 0.0 sec. user=mdettweiler [2013-08-07 00:27:43] 759*2^1249905-1 is not prime. Res64: 7782F5E9146D887B Time : 0.0 sec. user=Beyond [2013-08-07 00:28:45] 627*2^1249905-1 is not prime. Res64: DC1ECFD2C36E363E Time : 0.0 sec. user=Beyond [2013-08-07 00:31:01] 915*2^1249905-1 is not prime. Res64: 342E610DE4B9C0E4 Time : 0.0 sec. user=mdettweiler [2013-08-07 00:32:51] 919*2^1249905-1 is not prime. Res64: EF9771C3616BD083 Time : 0.0 sec. user=mdettweiler [2013-08-07 00:32:52] 975*2^1249905-1 is not prime. Res64: C99263E8953341DA Time : 0.0 sec. user=Beyond [2013-08-07 00:39:11] 999*2^1249905-1 is not prime. Res64: 7DB499AADB808804 Time : 0.0 sec. user=Beyond [2013-08-07 00:40:03] 803*2^1249906-1 is not prime. Res64: 16A07EED2D3509E4 Time : 0.0 sec. user=mdettweiler [2013-08-07 00:40:05] 923*2^1249906-1 is not prime. Res64: 228FADEB9C44A48F Time : 0.0 sec. user=mdettweiler [2013-08-07 00:40:05] 933*2^1249906-1 is not prime. Res64: 8A6B725B409AF8BA Time : 0.0 sec. user=mdettweiler [2013-08-07 00:45:11] 601*2^1249907-1 is not prime. Res64: 3E8A5A404762C0A2 Time : 0.0 sec. user=mdettweiler [2013-08-07 00:45:11] 693*2^1249907-1 is not prime. Res64: C20D2A199F33AC87 Time : 0.0 sec. user=mdettweiler [2013-08-07 00:47:14] 861*2^1249907-1 is not prime. Res64: 88015BBAE65F9562 Time : 0.0 sec. user=mdettweiler [2013-08-07 00:47:15] 723*2^1249908-1 is not prime. Res64: D65ADA916908E004 Time : 0.0 sec. user=Beyond [2013-08-07 00:51:37] 839*2^1249908-1 is not prime. Res64: 0B25616A2ECE553F Time : 0.0 sec. user=mdettweiler [2013-08-07 00:53:20] 915*2^1249908-1 is not prime. Res64: CC18F5D4649BA39B Time : 0.0 sec. user=mdettweiler [2013-08-07 00:53:21] 927*2^1249908-1 is not prime. Res64: 56CD443DDC93AE8F Time : 0.0 sec. user=Beyond [2013-08-07 00:53:51] 843*2^1249908-1 is not prime. Res64: 1614FC9DFB497213 Time : 0.0 sec. user=mdettweiler [2013-08-07 00:59:41] 759*2^1249909-1 is not prime. Res64: CC0B2CB2BA7092A2 Time : 0.0 sec. user=mdettweiler [2013-08-07 00:59:41] 819*2^1249909-1 is not prime. Res64: 8AFA7099539A54A7 Time : 0.0 sec. user=Beyond [2013-08-07 01:02:08] 687*2^1249909-1 is not prime. Res64: 42A621E243A3017D Time : 0.0 sec. user=Beyond [2013-08-07 01:03:00] 747*2^1249909-1 is not prime. Res64: 1B643572A86F4D28 Time : 0.0 sec. user=mdettweiler [2013-08-07 01:06:42] 957*2^1249909-1 is not prime. Res64: 910C2632246FE54D Time : 0.0 sec. user=mdettweiler [2013-08-07 01:06:42] 985*2^1249909-1 is not prime. Res64: CE703F687425215B Time : 0.0 sec. user=mdettweiler [2013-08-07 01:06:50] 645*2^1249910-1 is not prime. Res64: 23866BB9AF295A53 Time : 0.0 sec. user=mdettweiler [2013-08-07 01:06:51] 797*2^1249910-1 is not prime. Res64: 5C00423CCCF21C81 Time : 0.0 sec. user=mdettweiler [2013-08-07 01:12:55] 875*2^1249910-1 is not prime. Res64: 8DB73F34960DA825 Time : 0.0 sec. user=mdettweiler [2013-08-07 01:12:56] 885*2^1249910-1 is not prime. Res64: 1343023675CC5360 Time : 0.0 sec. user=Beyond [2013-08-07 01:14:35] 833*2^1249910-1 is not prime. Res64: 1E24549F7D85023B Time : 0.0 sec. user=Beyond [2013-08-07 01:16:44] 893*2^1249910-1 is not prime. Res64: FB1A87244C24C95F Time : 0.0 sec. user=mdettweiler [2013-08-07 01:19:42] 669*2^1249911-1 is not prime. Res64: F1D5CB22875DE8EC Time : 0.0 sec. user=mdettweiler [2013-08-07 01:19:42] 829*2^1249911-1 is not prime. Res64: 3BCAA2DD95E96D6D Time : 0.0 sec. user=Beyond [2013-08-07 01:25:00] 871*2^1249911-1 is not prime. Res64: D594514CADC943FB Time : 0.0 sec. user=Beyond [2013-08-07 01:25:45] 609*2^1249912-1 is not prime. Res64: 06BB41526F568252 Time : 0.0 sec. user=mdettweiler [2013-08-07 01:26:59] 687*2^1249912-1 is not prime. Res64: A56B32FB486D8CAB Time : 0.0 sec. user=mdettweiler [2013-08-07 01:26:59] 743*2^1249912-1 is not prime. Res64: 53F2D42A7327F5B5 Time : 0.0 sec. user=mdettweiler [2013-08-07 01:27:14] 803*2^1249912-1 is not prime. Res64: 2F38DEAFB4883F70 Time : 0.0 sec. user=mdettweiler [2013-08-07 01:27:14] 813*2^1249912-1 is not prime. Res64: 1B6A4A0D79A0D9F0 Time : 0.0 sec. user=mdettweiler [2013-08-07 01:32:58] 875*2^1249912-1 is not prime. Res64: F026CCA6C6A565D2 Time : 0.0 sec. user=mdettweiler [2013-08-07 01:32:59] 631*2^1249913-1 is not prime. Res64: 69C7A25F71BF25B4 Time : 0.0 sec. user=mdettweiler [2013-08-07 01:40:19] 987*2^1249913-1 is not prime. Res64: 713F4D7BB9643DF9 Time : 0.0 sec. user=mdettweiler [2013-08-07 01:40:19] 663*2^1249914-1 is not prime. Res64: 028866D5DD8F5718 Time : 0.0 sec. user=Beyond [2013-08-07 01:41:36] 967*2^1249913-1 is not prime. Res64: 7ED4799ABF8601CE Time : 0.0 sec. user=Beyond [2013-08-07 01:43:42] 985*2^1249913-1 is not prime. Res64: E1ED346157829655 Time : 0.0 sec. user=mdettweiler [2013-08-07 01:46:19] 725*2^1249914-1 is not prime. Res64: BEAE82E2DBB67122 Time : 0.0 sec. user=mdettweiler [2013-08-07 01:46:20] 773*2^1249914-1 is not prime. Res64: 512B8CE80249F66E Time : 0.0 sec. user=mdettweiler [2013-08-07 01:46:39] 887*2^1249914-1 is not prime. Res64: 201FB00B7D0AAA67 Time : 0.0 sec. user=mdettweiler [2013-08-07 01:46:40] 903*2^1249914-1 is not prime. Res64: 415BCD13279927CD Time : 0.0 sec. user=Beyond [2013-08-07 01:47:46] 665*2^1249914-1 is not prime. Res64: 16E51F2D428F4DB9 Time : 0.0 sec. user=Beyond [2013-08-07 01:48:31] 677*2^1249914-1 is not prime. Res64: F472D2F85B2FDB7B Time : 0.0 sec. user=mdettweiler [2013-08-07 01:53:10] 923*2^1249914-1 is not prime. Res64: FFB9AF6B4679AB02 Time : 0.0 sec. user=mdettweiler [2013-08-07 01:53:10] 691*2^1249915-1 is not prime. Res64: 6184C5E83C63DF33 Time : 0.0 sec. user=mdettweiler [2013-08-07 01:59:36] 723*2^1249915-1 is not prime. Res64: D9FA70FC0C885438 Time : 0.0 sec. user=mdettweiler [2013-08-07 01:59:36] 841*2^1249915-1 is not prime. Res64: F4BA217294E719A1 Time : 0.0 sec. user=Beyond [2013-08-07 02:04:29] 853*2^1249915-1 is not prime. Res64: 1D3F615A149C9B44 Time : 0.0 sec. user=mdettweiler [2013-08-07 02:05:39] 871*2^1249915-1 is not prime. Res64: 6C7EAEE638453A47 Time : 0.0 sec. user=mdettweiler [2013-08-07 02:05:40] 895*2^1249915-1 is not prime. Res64: B33CD587D14D22BF Time : 0.0 sec. user=Beyond [2013-08-07 02:06:39] 861*2^1249915-1 is not prime. Res64: F4375C90A3D14C7F Time : 0.0 sec. user=mdettweiler [2013-08-07 02:07:59] 919*2^1249915-1 is not prime. Res64: 41739A44DCE97CC1 Time : 0.0 sec. user=mdettweiler [2013-08-07 02:08:00] 999*2^1249915-1 is not prime. Res64: F3BC3B7EC643B9B9 Time : 0.0 sec. user=Beyond [2013-08-07 02:10:41] 633*2^1249916-1 is not prime. Res64: 3A876795085230E7 Time : 0.0 sec. user=Beyond [2013-08-07 02:11:27] 663*2^1249916-1 is not prime. Res64: 177B4C837225835C Time : 0.0 sec. user=mdettweiler [2013-08-07 02:12:44] 777*2^1249916-1 is not prime. Res64: 1F85EF4B1F8C3791 Time : 0.0 sec. user=mdettweiler [2013-08-07 02:12:44] 845*2^1249916-1 is not prime. Res64: F311E0F346130BC8 Time : 0.0 sec. user=mdettweiler [2013-08-07 02:20:05] 963*2^1249916-1 is not prime. Res64: 0EED7C86B36E3F60 Time : 0.0 sec. user=mdettweiler [2013-08-07 02:20:05] 615*2^1249917-1 is not prime. Res64: 9B3EFAC77C597386 Time : 0.0 sec. user=mdettweiler [2013-08-07 02:25:14] 669*2^1249917-1 is not prime. Res64: E86FE5E3E5FD8BFC Time : 0.0 sec. user=mdettweiler [2013-08-07 02:25:14] 699*2^1249917-1 is not prime. Res64: 86094973283D947A Time : 0.0 sec. user=Beyond [2013-08-07 02:27:24] 661*2^1249917-1 is not prime. Res64: 0A22FB0979EA78FF Time : 0.0 sec. user=mdettweiler [2013-08-07 02:27:37] 741*2^1249917-1 is not prime. Res64: CF3CD7485D7D5C79 Time : 0.0 sec. user=mdettweiler [2013-08-07 02:27:37] 781*2^1249917-1 is not prime. Res64: 3B3C48D6E244F82F Time : 0.0 sec. user=Beyond [2013-08-07 02:29:38] 727*2^1249917-1 is not prime. Res64: B14B96FBDB669E2A Time : 0.0 sec. user=mdettweiler [2013-08-07 02:32:14] 713*2^1249918-1 is not prime. Res64: DF04455A5D5D105E Time : 0.0 sec. user=mdettweiler [2013-08-07 02:32:15] 815*2^1249918-1 is not prime. Res64: 95271D65CDD20AE2 Time : 0.0 sec. user=Beyond [2013-08-07 02:33:34] 847*2^1249917-1 is not prime. Res64: F905A0D5FB24EC14 Time : 0.0 sec. user=Beyond [2013-08-07 02:34:26] 895*2^1249917-1 is not prime. Res64: 808836CE709B1347 Time : 0.0 sec. user=mdettweiler [2013-08-07 02:41:26] 951*2^1249918-1 is not prime. Res64: 0A17959B41ACDB80 Time : 0.0 sec. user=mdettweiler [2013-08-07 02:41:27] 975*2^1249918-1 is not prime. Res64: 541D23E81D475C5B Time : 0.0 sec. user=mdettweiler [2013-08-07 02:44:37] 661*2^1249919-1 is not prime. Res64: 6F3BBE7763D18209 Time : 0.0 sec. user=mdettweiler [2013-08-07 02:44:38] 741*2^1249919-1 is not prime. Res64: E1F851AB7FC010B8 Time : 0.0 sec. user=mdettweiler [2013-08-07 02:47:00] 753*2^1249919-1 is not prime. Res64: A727C5B02315336E Time : 0.0 sec. user=mdettweiler [2013-08-07 02:47:01] 909*2^1249919-1 is not prime. Res64: DD00FE901863E585 Time : 0.0 sec. user=Beyond [2013-08-07 02:50:11] 745*2^1249919-1 is not prime. Res64: 8136B0581DEAA952 Time : 0.0 sec. user=mdettweiler [2013-08-07 02:51:37] 615*2^1249920-1 is not prime. Res64: F8964F8EB8651715 Time : 0.0 sec. user=mdettweiler [2013-08-07 02:51:37] 779*2^1249920-1 is not prime. Res64: 5A3373D6B7962CA4 Time : 0.0 sec. user=Beyond [2013-08-07 02:56:16] 809*2^1249920-1 is not prime. Res64: 4B7483C1AE16298F Time : 0.0 sec. user=Beyond [2013-08-07 02:56:36] 999*2^1249919-1 is not prime. Res64: 1F2B1CA16BE281AD Time : 0.0 sec. user=Beyond [2013-08-07 02:57:12] 615*2^1249921-1 is not prime. Res64: C085CF385E1F96FB Time : 0.0 sec. user=mdettweiler [2013-08-07 03:00:55] 717*2^1249921-1 is not prime. Res64: F67D10F668BA4EA1 Time : 0.0 sec. user=mdettweiler [2013-08-07 03:00:57] 819*2^1249921-1 is not prime. Res64: D76997AE9C1405CD Time : 0.0 sec. user=mdettweiler [2013-08-07 03:04:15] 835*2^1249921-1 is not prime. Res64: B0524A760F5B2F05 Time : 0.0 sec. user=mdettweiler [2013-08-07 03:04:16] 849*2^1249921-1 is not prime. Res64: 52A5981C618EBE75 Time : 0.0 sec. user=mdettweiler [2013-08-07 03:07:22] 861*2^1249921-1 is not prime. Res64: 8CB372DD5733FF10 Time : 0.0 sec. user=mdettweiler [2013-08-07 03:07:23] 999*2^1249921-1 is not prime. Res64: B9101A185080AB5E Time : 0.0 sec. user=mdettweiler [2013-08-07 03:11:02] 833*2^1249922-1 is not prime. Res64: 7C6D0F8DD95A7574 Time : 0.0 sec. user=mdettweiler [2013-08-07 03:11:03] 837*2^1249922-1 is not prime. Res64: A039EA5B8AD2DEFB Time : 0.0 sec. user=Beyond [2013-08-07 03:13:11] 825*2^1249922-1 is not prime. Res64: C12ED8423E323BDF Time : 0.0 sec. user=Beyond [2013-08-07 03:19:16] 893*2^1249922-1 is not prime. Res64: 0DCC0D086AD8A788 Time : 0.0 sec. user=Beyond [2013-08-07 03:19:32] 915*2^1249922-1 is not prime. Res64: BACB11D3695130D7 Time : 0.0 sec. user=Beyond [2013-08-07 03:20:20] 685*2^1249923-1 is not prime. Res64: ECE38D8A655233E8 Time : 0.0 sec. user=mdettweiler [2013-08-07 03:20:29] 781*2^1249923-1 is not prime. Res64: 19E29C0F55F06D3A Time : 0.0 sec. user=mdettweiler [2013-08-07 03:20:30] 825*2^1249923-1 is not prime. Res64: 31DD3AA3203E8E57 Time : 0.0 sec. user=mdettweiler [2013-08-07 03:23:46] 849*2^1249923-1 is not prime. Res64: 3148B1147C70CCB8 Time : 0.0 sec. user=mdettweiler [2013-08-07 03:23:47] 901*2^1249923-1 is not prime. Res64: 556439DC215402CE Time : 0.0 sec. user=mdettweiler [2013-08-07 03:28:44] 955*2^1249923-1 is not prime. Res64: 2CEB31150D4D73FB Time : 0.0 sec. user=mdettweiler [2013-08-07 03:28:45] 985*2^1249923-1 is not prime. Res64: 2B1BCE38E0F52BB3 Time : 0.0 sec. user=mdettweiler [2013-08-07 03:30:31] 609*2^1249924-1 is not prime. Res64: 5EBE5CE2D1372D7D Time : 0.0 sec. user=mdettweiler [2013-08-07 03:30:33] 623*2^1249924-1 is not prime. Res64: B0DABEBEA08281A2 Time : 0.0 sec. user=Beyond [2013-08-07 03:36:01] 657*2^1249924-1 is not prime. Res64: BD4CEA974252A4D8 Time : 0.0 sec. user=mdettweiler [2013-08-07 03:40:01] 807*2^1249924-1 is not prime. Res64: 0C840DE95DF0C9A9 Time : 0.0 sec. user=mdettweiler [2013-08-07 03:40:01] 827*2^1249924-1 is not prime. Res64: 4DF25CF6A09AE13A Time : 0.0 sec. user=Beyond [2013-08-07 03:42:08] 665*2^1249924-1 is not prime. Res64: 4758ACC6B532766F Time : 0.0 sec. user=Beyond [2013-08-07 03:42:23] 719*2^1249924-1 is not prime. Res64: 1CCEA3F3512B399B Time : 0.0 sec. user=Beyond [2013-08-07 03:43:12] 773*2^1249924-1 is not prime. Res64: 62BAE32932555299 Time : 0.0 sec. user=mdettweiler [2013-08-07 03:43:13] 855*2^1249924-1 is not prime. Res64: 47587767F213223C Time : 0.0 sec. user=mdettweiler [2013-08-07 03:43:13] 887*2^1249924-1 is not prime. Res64: F428CC003117FB5C Time : 0.0 sec. user=mdettweiler [2013-08-07 03:50:01] 675*2^1249925-1 is not prime. Res64: 4EA035628866B1F9 Time : 0.0 sec. user=mdettweiler [2013-08-07 03:50:02] 721*2^1249925-1 is not prime. Res64: E7354B388F0BC96B Time : 0.0 sec. user=mdettweiler [2013-08-07 03:50:09] 959*2^1249924-1 is not prime. Res64: D5E296A6720FBE07 Time : 0.0 sec. user=mdettweiler [2013-08-07 03:50:10] 965*2^1249924-1 is not prime. Res64: E287AED0BA2CD0F8 Time : 0.0 sec. user=Beyond [2013-08-07 03:58:52] 871*2^1249925-1 is not prime. Res64: CF74FF89BD31EC7C Time : 0.0 sec. user=mdettweiler [2013-08-07 04:00:19] 937*2^1249925-1 is not prime. Res64: 9CCAB5016C6F3E17 Time : 0.0 sec. user=mdettweiler [2013-08-07 04:00:20] 671*2^1249926-1 is not prime. Res64: D2C61A961B89B330 Time : 0.0 sec. user=mdettweiler [2013-08-07 04:02:36] 609*2^1249927-1 is not prime. Res64: C56A9578FA0F2183 Time : 0.0 sec. user=mdettweiler [2013-08-07 04:02:37] 619*2^1249927-1 is not prime. Res64: 27AB80DBF83262D3 Time : 0.0 sec. user=Beyond [2013-08-07 04:04:53] 783*2^1249926-1 is not prime. Res64: 82EB6F9DC52CEE70 Time : 0.0 sec. user=Beyond [2013-08-07 04:05:28] 843*2^1249926-1 is not prime. Res64: 1E838E015C363045 Time : 0.0 sec. user=mdettweiler [2013-08-07 04:09:24] 639*2^1249927-1 is not prime. Res64: A410188E99C257B1 Time : 0.0 sec. user=mdettweiler [2013-08-07 04:09:25] 673*2^1249927-1 is not prime. Res64: CE7043EFCBF13513 Time : 0.0 sec. user=mdettweiler [2013-08-07 04:09:31] 693*2^1249927-1 is not prime. Res64: EAEFD908D0E7DFF9 Time : 0.0 sec. user=mdettweiler [2013-08-07 04:09:31] 831*2^1249927-1 is not prime. Res64: AE371FCF97E0769E Time : 0.0 sec. user=Beyond [2013-08-07 04:10:15] 917*2^1249926-1 is not prime. Res64: AC8BC4E024753192 Time : 0.0 sec. user=mdettweiler [2013-08-07 04:19:44] 913*2^1249927-1 is not prime. Res64: 3732A47C6BAE3EA4 Time : 0.0 sec. user=mdettweiler [2013-08-07 04:19:45] 813*2^1249928-1 is not prime. Res64: 3009296B62B7040C Time : 0.0 sec. user=Beyond [2013-08-07 04:21:50] 901*2^1249927-1 is not prime. Res64: 7AD2ED07CE32C678 Time : 0.0 sec. user=mdettweiler [2013-08-07 04:22:09] 869*2^1249928-1 is not prime. Res64: F0364B97A724AFA6 Time : 0.0 sec. user=mdettweiler [2013-08-07 04:22:09] 649*2^1249929-1 is not prime. Res64: 233CDBD2E8254BBF Time : 0.0 sec. user=Beyond [2013-08-07 04:27:46] 657*2^1249929-1 is not prime. Res64: E0D8575071D3CF33 Time : 0.0 sec. user=Beyond [2013-08-07 04:28:25] 829*2^1249929-1 is not prime. Res64: 58D06197D5A3C0A4 Time : 0.0 sec. user=mdettweiler [2013-08-07 04:28:47] 831*2^1249929-1 is not prime. Res64: EEA8A4AA7DF63AB8 Time : 0.0 sec. user=mdettweiler [2013-08-07 04:28:48] 847*2^1249929-1 is not prime. Res64: 3210A7E4AA4E5C87 Time : 0.0 sec. user=mdettweiler [2013-08-07 04:29:47] 895*2^1249929-1 is not prime. Res64: A6378D04A7B413D3 Time : 0.0 sec. user=mdettweiler [2013-08-07 04:29:48] 955*2^1249929-1 is not prime. Res64: 64B00CFC2CBB9711 Time : 0.0 sec. user=Beyond [2013-08-07 04:33:05] 647*2^1249930-1 is not prime. Res64: 1B7969444668649A Time : 0.0 sec. user=mdettweiler [2013-08-07 04:39:10] 657*2^1249930-1 is not prime. Res64: 5BF43D678016D58B Time : 0.0 sec. user=mdettweiler [2013-08-07 04:39:10] 677*2^1249930-1 is not prime. Res64: 49AEB37E643BC48D Time : 0.0 sec. user=mdettweiler [2013-08-07 04:42:25] 791*2^1249930-1 is not prime. Res64: 0BEB173F273C7B63 Time : 0.0 sec. user=mdettweiler [2013-08-07 04:42:26] 923*2^1249930-1 is not prime. Res64: E841D443487DC118 Time : 0.0 sec. user=Beyond [2013-08-07 04:44:35] 723*2^1249930-1 is not prime. Res64: 9AB1A362B955F6DD Time : 0.0 sec. user=mdettweiler [2013-08-07 04:49:07] 669*2^1249931-1 is not prime. Res64: 1A9B710AB76D50F0 Time : 0.0 sec. user=mdettweiler [2013-08-07 04:49:07] 819*2^1249931-1 is not prime. Res64: E3096C9F584C0C82 Time : 0.0 sec. user=mdettweiler [2013-08-07 04:49:07] 975*2^1249930-1 is not prime. Res64: C89ACDA127833231 Time : 0.0 sec. user=mdettweiler [2013-08-07 04:49:08] 621*2^1249931-1 is not prime. Res64: 316B11DB3EEE9E3F Time : 0.0 sec. user=Beyond [2013-08-07 04:54:40] 945*2^1249930-1 is not prime. Res64: BC6D845F3C8BD641 Time : 0.0 sec. user=Beyond [2013-08-07 04:55:21] 951*2^1249930-1 is not prime. Res64: FFDDE766D36218C5 Time : 0.0 sec. user=Beyond [2013-08-07 04:55:42] 883*2^1249931-1 is not prime. Res64: 374EC1B71D8AA62F Time : 0.0 sec. user=mdettweiler [2013-08-07 05:00:24] 921*2^1249931-1 is not prime. Res64: BEF187ACC28A1F74 Time : 0.0 sec. user=mdettweiler [2013-08-07 05:00:25] 973*2^1249931-1 is not prime. Res64: E9D26519FFBB9CA7 Time : 0.0 sec. user=mdettweiler [2013-08-07 05:02:44] 993*2^1249931-1 is not prime. Res64: 4A6965AE3B6EBFEC Time : 0.0 sec. user=mdettweiler [2013-08-07 05:02:45] 777*2^1249932-1 is not prime. Res64: DBC8449CED64B6B2 Time : 0.0 sec. user=Beyond [2013-08-07 05:07:20] 809*2^1249932-1 is not prime. Res64: 4347E4446637225C Time : 0.0 sec. user=mdettweiler [2013-08-07 05:08:27] 863*2^1249932-1 is not prime. Res64: 2367626459412980 Time : 0.0 sec. user=mdettweiler [2013-08-07 05:08:28] 879*2^1249932-1 is not prime. Res64: 712D779B82470124 Time : 0.0 sec. user=mdettweiler [2013-08-07 05:09:24] 933*2^1249932-1 is not prime. Res64: 3FBD1FAF8AEEEFE4 Time : 0.0 sec. user=mdettweiler [2013-08-07 05:09:25] 675*2^1249933-1 is not prime. Res64: 15A20ADF2DEB9AAE Time : 0.0 sec. user=Beyond [2013-08-07 05:17:33] 751*2^1249933-1 is not prime. Res64: 74FD8CB5E44E08AC Time : 0.0 sec. user=Beyond [2013-08-07 05:18:12] 757*2^1249933-1 is not prime. Res64: 7AFA2903D37C0224 Time : 0.0 sec. user=Beyond [2013-08-07 05:18:34] 769*2^1249933-1 is not prime. Res64: A4ADCDB6ED6DD75E Time : 0.0 sec. user=mdettweiler [2013-08-07 05:20:47] 817*2^1249933-1 is not prime. Res64: CFD1A6D21591D669 Time : 0.0 sec. user=mdettweiler [2013-08-07 05:20:48] 985*2^1249933-1 is not prime. Res64: D4168923ABBF2E13 Time : 0.0 sec. user=mdettweiler [2013-08-07 05:23:09] 999*2^1249933-1 is not prime. Res64: 041A0E2E6BC6199F Time : 0.0 sec. user=mdettweiler [2013-08-07 05:23:09] 675*2^1249934-1 is not prime. Res64: 8440208C9146859D Time : 0.0 sec. user=mdettweiler [2013-08-07 05:27:51] 755*2^1249934-1 is not prime. Res64: 6DDEA9C16F500B6E Time : 0.0 sec. user=mdettweiler [2013-08-07 05:27:52] 797*2^1249934-1 is not prime. Res64: ACCCFA5C9CA8962F Time : 0.0 sec. user=Beyond [2013-08-07 05:30:08] 705*2^1249934-1 is not prime. Res64: D1770C5764FE1D3A Time : 0.0 sec. user=mdettweiler [2013-08-07 05:30:49] 921*2^1249934-1 is not prime. Res64: 56A2BEA65DC1789F Time : 0.0 sec. user=mdettweiler [2013-08-07 05:30:49] 923*2^1249934-1 is not prime. Res64: 44E3D7ADCC5EAFCC Time : 0.0 sec. user=mdettweiler [2013-08-07 05:40:22] 651*2^1249935-1 is not prime. Res64: B2416F55F7BF2EDA Time : 0.0 sec. user=mdettweiler [2013-08-07 05:40:23] 709*2^1249935-1 is not prime. Res64: CF2A28A75A3258D1 Time : 0.0 sec. user=Beyond [2013-08-07 05:40:53] 609*2^1249935-1 is not prime. Res64: 5847020EF897AE50 Time : 0.0 sec. user=Beyond [2013-08-07 05:41:20] 643*2^1249935-1 is not prime. Res64: 26FCF4DE7E26AE06 Time : 0.0 sec. user=mdettweiler [2013-08-07 05:42:41] 735*2^1249935-1 is not prime. Res64: DDC08D767D2FFA48 Time : 0.0 sec. user=mdettweiler [2013-08-07 05:42:42] 775*2^1249935-1 is not prime. Res64: AC5CF46B9659ECE9 Time : 0.0 sec. user=Beyond [2013-08-07 05:44:25] 987*2^1249934-1 is not prime. Res64: 5D974A60B4EAC297 Time : 0.0 sec. user=mdettweiler [2013-08-07 05:49:16] 949*2^1249935-1 is not prime. Res64: 8453AB29C7549ED2 Time : 0.0 sec. user=mdettweiler [2013-08-07 05:49:16] 951*2^1249935-1 is not prime. Res64: 7556701FC1241AD0 Time : 0.0 sec. user=mdettweiler [2013-08-07 05:51:19] 623*2^1249936-1 is not prime. Res64: 40659FD244691F11 Time : 0.0 sec. user=mdettweiler [2013-08-07 05:51:19] 989*2^1249936-1 is not prime. Res64: 29955184ECE58E0E Time : 0.0 sec. user=Beyond [2013-08-07 05:52:52] 609*2^1249936-1 is not prime. Res64: 5AA0B21A197D5099 Time : 0.0 sec. user=mdettweiler [2013-08-07 05:59:56] 615*2^1249937-1 is not prime. Res64: A5D252CC08077321 Time : 0.0 sec. user=mdettweiler [2013-08-07 05:59:56] 711*2^1249937-1 is not prime. Res64: E8063736413B12F9 Time : 0.0 sec. user=mdettweiler [2013-08-07 06:02:13] 657*2^1249938-1 is not prime. Res64: B1131FAEBBB100EF Time : 0.0 sec. user=mdettweiler [2013-08-07 06:02:14] 681*2^1249938-1 is not prime. Res64: 82F31EF9A5C838FD Time : 0.0 sec. user=Beyond [2013-08-07 06:03:36] 889*2^1249937-1 is not prime. Res64: A4644329508396AF Time : 0.0 sec. user=Beyond [2013-08-07 06:07:08] 797*2^1249938-1 is not prime. Res64: 988D8C3B6132D2F3 Time : 0.0 sec. user=Beyond [2013-08-07 06:08:17] 967*2^1249937-1 is not prime. Res64: 2A5554E89D02D6A1 Time : 0.0 sec. user=mdettweiler [2013-08-07 06:08:47] 801*2^1249938-1 is not prime. Res64: 933817BAA6C8E68D Time : 0.0 sec. user=mdettweiler [2013-08-07 06:08:48] 843*2^1249938-1 is not prime. Res64: EC9C6C954BD70EAA Time : 0.0 sec. user=mdettweiler [2013-08-07 06:10:43] 867*2^1249938-1 is not prime. Res64: D06B868D4BCD8AB4 Time : 0.0 sec. user=mdettweiler [2013-08-07 06:10:44] 891*2^1249938-1 is not prime. Res64: 80A796F5681DD4EB Time : 0.0 sec. user=Beyond [2013-08-07 06:19:49] 927*2^1249938-1 is not prime. Res64: B620C9C313BFF2CE Time : 0.0 sec. user=mdettweiler [2013-08-07 06:21:11] 933*2^1249938-1 is not prime. Res64: A06CC519D376F6BC Time : 0.0 sec. user=mdettweiler [2013-08-07 06:21:11] 945*2^1249938-1 is not prime. Res64: A1BA66CD9FFE2BE0 Time : 0.0 sec. user=mdettweiler [2013-08-07 06:21:42] 645*2^1249939-1 is not prime. Res64: 99D1A9E222D01FB7 Time : 0.0 sec. user=mdettweiler [2013-08-07 06:21:42] 685*2^1249939-1 is not prime. Res64: 6A2ED25CE90E093B Time : 0.0 sec. user=Beyond [2013-08-07 06:26:29] 775*2^1249939-1 is not prime. Res64: 253F6FB97F8AA37D Time : 0.0 sec. user=mdettweiler [2013-08-07 06:28:16] 665*2^1249940-1 is not prime. Res64: AF2572262A7C1DEA Time : 0.0 sec. user=mdettweiler [2013-08-07 06:28:17] 759*2^1249940-1 is not prime. Res64: BBA733E817126556 Time : 0.0 sec. user=Beyond [2013-08-07 06:29:52] 859*2^1249939-1 is not prime. Res64: 6C71A04E3E40118F Time : 0.0 sec. user=mdettweiler [2013-08-07 06:30:10] 789*2^1249940-1 is not prime. Res64: 157952D3F2F230ED Time : 0.0 sec. user=mdettweiler [2013-08-07 06:30:11] 827*2^1249940-1 is not prime. Res64: 7D1E2C942828222D Time : 0.0 sec. user=Beyond [2013-08-07 06:31:12] 885*2^1249939-1 is not prime. Res64: CD26A3A9E1505BC6 Time : 0.0 sec. user=mdettweiler [2013-08-07 06:42:24] 929*2^1249940-1 is not prime. Res64: 23AAF146DFDE0264 Time : 0.0 sec. user=mdettweiler [2013-08-07 06:42:25] 963*2^1249940-1 is not prime. Res64: 322D5C39C70FEEB0 Time : 0.0 sec. user=Beyond [2013-08-07 06:42:44] 839*2^1249940-1 is not prime. Res64: 81A9940B4931F2D8 Time : 0.0 sec. user=mdettweiler [2013-08-07 06:42:56] 977*2^1249940-1 is not prime. Res64: 7FCF39EE3A9CFF91 Time : 0.0 sec. user=mdettweiler [2013-08-07 06:42:57] 983*2^1249940-1 is not prime. Res64: 2138A06F3091FB81 Time : 0.0 sec. user=mdettweiler [2013-08-07 06:47:44] 661*2^1249941-1 is not prime. Res64: C439F482A27F1652 Time : 0.0 sec. user=mdettweiler [2013-08-07 06:47:44] 681*2^1249941-1 is not prime. Res64: 85D5DBE20747018F Time : 0.0 sec. user=Beyond [2013-08-07 06:49:26] 651*2^1249941-1 is not prime. Res64: C24B2B3651575C0E Time : 0.0 sec. user=mdettweiler [2013-08-07 06:49:35] 743*2^1249942-1 is not prime. Res64: 1093AEEF35162530 Time : 0.0 sec. user=mdettweiler [2013-08-07 06:49:36] 643*2^1249943-1 is not prime. Res64: 241F1BAECC35D69D Time : 0.0 sec. user=Beyond [2013-08-07 06:52:47] 713*2^1249942-1 is not prime. Res64: 9724EA213461B947 Time : 0.0 sec. user=Beyond [2013-08-07 06:54:06] 663*2^1249943-1 is not prime. Res64: 2E7828A55D14438D Time : 0.0 sec. user=mdettweiler [2013-08-07 07:01:49] 669*2^1249943-1 is not prime. Res64: 925E45B91DC5985F Time : 0.0 sec. user=mdettweiler [2013-08-07 07:01:50] 745*2^1249943-1 is not prime. Res64: 05FB9F05A4AB2AD6 Time : 0.0 sec. user=mdettweiler [2013-08-07 07:04:18] 963*2^1249943-1 is not prime. Res64: DB958A05C3F92CA4 Time : 0.0 sec. user=mdettweiler [2013-08-07 07:04:19] 969*2^1249943-1 is not prime. Res64: 06F0F7DE30F866F3 Time : 0.0 sec. user=Beyond [2013-08-07 07:05:35] 861*2^1249943-1 is not prime. Res64: 37D9FB1F7023DE2C Time : 0.0 sec. user=mdettweiler [2013-08-07 07:07:20] 627*2^1249944-1 is not prime. Res64: C561C8AB89FE7C0A Time : 0.0 sec. user=mdettweiler [2013-08-07 07:07:21] 725*2^1249944-1 is not prime. Res64: 806786218AA057B6 Time : 0.0 sec. user=mdettweiler [2013-08-07 07:09:03] 795*2^1249944-1 is not prime. Res64: F322C3DE2165523A Time : 0.0 sec. user=mdettweiler [2013-08-07 07:09:04] 899*2^1249944-1 is not prime. Res64: E96C1C513E609670 Time : 0.0 sec. user=Beyond [2013-08-07 07:12:15] 789*2^1249944-1 is not prime. Res64: BF0D2F39C5164DD3 Time : 0.0 sec. user=Beyond [2013-08-07 07:15:34] 903*2^1249944-1 is not prime. Res64: 1D5DC341D79D6A82 Time : 0.0 sec. user=Beyond [2013-08-07 07:21:09] 975*2^1249944-1 is not prime. Res64: D9128088D015C852 Time : 0.0 sec. user=mdettweiler [2013-08-07 07:22:19] 651*2^1249945-1 is not prime. Res64: 1FBF2572F2220E99 Time : 0.0 sec. user=mdettweiler [2013-08-07 07:22:19] 987*2^1249945-1 is not prime. Res64: 99F665414D7499A6 Time : 0.0 sec. user=mdettweiler [2013-08-07 07:23:51] 623*2^1249946-1 is not prime. Res64: 7AF181259570FA8A Time : 0.0 sec. user=mdettweiler [2013-08-07 07:23:52] 831*2^1249946-1 is not prime. Res64: 6C6EC53B516F59C2 Time : 0.0 sec. user=mdettweiler [2013-08-07 07:26:50] 619*2^1249947-1 is not prime. Res64: C31108328E9C1DB7 Time : 0.0 sec. user=mdettweiler [2013-08-07 07:26:50] 625*2^1249947-1 is not prime. Res64: C6328573DF461D1C Time : 0.0 sec. user=Beyond [2013-08-07 07:28:28] 615*2^1249947-1 is not prime. Res64: 177BC67E6FFB5199 Time : 0.0 sec. user=mdettweiler [2013-08-07 07:28:35] 639*2^1249947-1 is not prime. Res64: C90B3E29EB08C5CF Time : 0.0 sec. user=mdettweiler [2013-08-07 07:28:35] 643*2^1249947-1 is not prime. Res64: B08B3CB102CEFC80 Time : 0.0 sec. user=Beyond [2013-08-07 07:35:06] 805*2^1249947-1 is not prime. Res64: 67F7C6EE812D9173 Time : 0.0 sec. user=Beyond [2013-08-07 07:38:29] 823*2^1249947-1 is not prime. Res64: AE881EBF9FE6F79D Time : 0.0 sec. user=mdettweiler [2013-08-07 07:41:53] 859*2^1249947-1 is not prime. Res64: 45B4678B54F05853 Time : 0.0 sec. user=mdettweiler [2013-08-07 07:41:54] 871*2^1249947-1 is prime! Time : 0.0 sec. user=mdettweiler [2013-08-07 07:43:24] 665*2^1249948-1 is not prime. Res64: 97D90F701BAB8ED3 Time : 0.0 sec. user=mdettweiler [2013-08-07 07:43:25] 773*2^1249948-1 is not prime. Res64: 50509114BFC44329 Time : 0.0 sec. user=Beyond [2013-08-07 07:44:09] 829*2^1249947-1 is not prime. Res64: 7A5C526ACD7D1018 Time : 0.0 sec. user=mdettweiler [2013-08-07 07:46:18] 819*2^1249948-1 is not prime. Res64: F0852F6C53DD6DC4 Time : 0.0 sec. user=mdettweiler [2013-08-07 07:46:18] 827*2^1249948-1 is not prime. Res64: DB6AEB9646B4161E Time : 0.0 sec. user=mdettweiler [2013-08-07 07:48:57] 923*2^1249948-1 is not prime. Res64: 17D32DFA1276D4E1 Time : 0.0 sec. user=mdettweiler [2013-08-07 07:48:57] 621*2^1249949-1 is not prime. Res64: E7B00CA7236BA953 Time : 0.0 sec. user=Beyond [2013-08-07 07:51:24] 839*2^1249948-1 is not prime. Res64: D47F9FA51A871BEB Time : 0.0 sec. user=Beyond [2013-08-07 07:57:55] 697*2^1249949-1 is not prime. Res64: BB27738185A038C1 Time : 0.0 sec. user=mdettweiler [2013-08-07 08:01:19] 879*2^1249949-1 is not prime. Res64: DF51B42453489E6C Time : 0.0 sec. user=Beyond [2013-08-07 08:01:20] 811*2^1249949-1 is not prime. Res64: D376D4CC0CDA10EE Time : 0.0 sec. user=mdettweiler [2013-08-07 08:01:21] 845*2^1249950-1 is not prime. Res64: 40C9F601E1E1E54D Time : 0.0 sec. user=mdettweiler [2013-08-07 08:03:41] 861*2^1249950-1 is not prime. Res64: 2D771806C74AE803 Time : 0.0 sec. user=mdettweiler [2013-08-07 08:03:42] 951*2^1249950-1 is not prime. Res64: 1620A3AA837E1245 Time : 0.0 sec. user=mdettweiler [2013-08-07 08:06:33] 965*2^1249950-1 is not prime. Res64: 70114AA63EDF5171 Time : 0.0 sec. user=mdettweiler [2013-08-07 08:06:34] 619*2^1249951-1 is not prime. Res64: 3A18D768312FE6A3 Time : 0.0 sec. user=mdettweiler [2013-08-07 08:08:17] 681*2^1249951-1 is not prime. Res64: 87E7BA8DCD4AEE9E Time : 0.0 sec. user=mdettweiler [2013-08-07 08:08:18] 759*2^1249951-1 is not prime. Res64: F20FFAD82CE1FB52 Time : 0.0 sec. user=Beyond [2013-08-07 08:11:09] 963*2^1249950-1 is not prime. Res64: 27A3C105A81CA976 Time : 0.0 sec. user=Beyond [2013-08-07 08:14:03] 819*2^1249951-1 is not prime. Res64: 9462E96790AD3088 Time : 0.0 sec. user=mdettweiler [2013-08-07 08:20:46] 797*2^1249952-1 is not prime. Res64: AFFF6451021B232A Time : 0.0 sec. user=mdettweiler [2013-08-07 08:20:47] 855*2^1249952-1 is not prime. Res64: 00BA8A3AA8F5A6B8 Time : 0.0 sec. user=Beyond [2013-08-07 08:24:02] 743*2^1249952-1 is not prime. Res64: 2722E84FAD10701E Time : 0.0 sec. user=mdettweiler [2013-08-07 08:24:07] 879*2^1249952-1 is not prime. Res64: 33FA97CF6B54BE22 Time : 0.0 sec. user=mdettweiler [2013-08-07 08:24:08] 999*2^1249952-1 is not prime. Res64: 90DDE023F424E986 Time : 0.0 sec. user=Beyond [2013-08-07 08:24:56] 999*2^1249951-1 is not prime. Res64: C9D0068DA54C41FC Time : 0.0 sec. user=mdettweiler [2013-08-07 08:26:03] 625*2^1249953-1 is not prime. Res64: 680D97AC2E994EBE Time : 0.0 sec. user=mdettweiler [2013-08-07 08:26:03] 627*2^1249953-1 is not prime. Res64: 1081B61577B183CC Time : 0.0 sec. user=mdettweiler [2013-08-07 08:27:42] 651*2^1249953-1 is not prime. Res64: F984551DD00F2B9F Time : 0.0 sec. user=mdettweiler [2013-08-07 08:27:42] 739*2^1249953-1 is not prime. Res64: 058AB8DB0AE9F307 Time : 0.0 sec. user=Beyond [2013-08-07 08:33:54] 751*2^1249953-1 is not prime. Res64: E31E30AB574A48A7 Time : 0.0 sec. user=Beyond [2013-08-07 08:36:53] 759*2^1249953-1 is not prime. Res64: 1E1736BFB66FD520 Time : 0.0 sec. user=mdettweiler [2013-08-07 08:40:14] 819*2^1249953-1 is not prime. Res64: ED6AC9B63C54A055 Time : 0.0 sec. user=mdettweiler [2013-08-07 08:40:14] 861*2^1249953-1 is not prime. Res64: 0F2D9866305047BF Time : 0.0 sec. user=mdettweiler [2013-08-07 08:45:26] 919*2^1249953-1 is not prime. Res64: 4B3E41523F5F3EEA Time : 0.0 sec. user=mdettweiler [2013-08-07 08:45:27] 921*2^1249953-1 is not prime. Res64: 4A54D4AD8C24E072 Time : 0.0 sec. user=mdettweiler [2013-08-07 08:45:31] 645*2^1249954-1 is not prime. Res64: E65C0AA18B0287A3 Time : 0.0 sec. user=mdettweiler [2013-08-07 08:45:31] 717*2^1249954-1 is not prime. Res64: CDCCCE801CC5167E Time : 0.0 sec. user=Beyond [2013-08-07 08:46:47] 877*2^1249953-1 is not prime. Res64: B7D41648CA4743A2 Time : 0.0 sec. user=mdettweiler [2013-08-07 08:47:08] 723*2^1249954-1 is not prime. Res64: CDA2DACFD2269851 Time : 0.0 sec. user=mdettweiler [2013-08-07 08:47:09] 731*2^1249954-1 is not prime. Res64: 8D51D9A8188E9342 Time : 0.0 sec. user=Beyond [2013-08-07 08:51:59] 945*2^1249953-1 is not prime. Res64: DD72A01C0941DF61 Time : 0.0 sec. user=Beyond [2013-08-07 08:56:40] 747*2^1249954-1 is not prime. Res64: A8A98B52D27B3DB0 Time : 0.0 sec. user=Beyond [2013-08-07 08:59:37] 791*2^1249954-1 is not prime. Res64: 56DE275E30B52BD9 Time : 0.0 sec. user=mdettweiler [2013-08-07 08:59:42] 803*2^1249954-1 is not prime. Res64: B643260974ED619E Time : 0.0 sec. user=mdettweiler [2013-08-07 08:59:43] 833*2^1249954-1 is not prime. Res64: 9922E125CCA1A2E3 Time : 0.0 sec. user=mdettweiler [2013-08-07 09:05:00] 649*2^1249955-1 is not prime. Res64: 451AC6AB519C7629 Time : 0.0 sec. user=mdettweiler [2013-08-07 09:05:01] 783*2^1249955-1 is not prime. Res64: CC7F5C34B908A543 Time : 0.0 sec. user=mdettweiler [2013-08-07 09:06:36] 871*2^1249955-1 is not prime. Res64: 49C68006A341CD63 Time : 0.0 sec. user=mdettweiler [2013-08-07 09:06:37] 913*2^1249955-1 is not prime. Res64: 497E692A9FEBEBFD Time : 0.0 sec. user=mdettweiler [2013-08-07 09:06:46] 947*2^1249954-1 is not prime. Res64: 61C245000120704A Time : 0.0 sec. user=mdettweiler [2013-08-07 09:06:47] 981*2^1249954-1 is not prime. Res64: 3D8BD9A2835CA982 Time : 0.0 sec. user=Beyond [2013-08-07 09:09:27] 861*2^1249955-1 is not prime. Res64: 04B938451F611FFE Time : 0.0 sec. user=Beyond [2013-08-07 09:19:00] 963*2^1249955-1 is not prime. Res64: 2D20088C38A7F53D Time : 0.0 sec. user=mdettweiler [2013-08-07 09:19:24] 767*2^1249956-1 is not prime. Res64: 9FD7C4E9101D4E6E Time : 0.0 sec. user=mdettweiler [2013-08-07 09:19:25] 773*2^1249956-1 is not prime. Res64: 01D8219B24C3C4F2 Time : 0.0 sec. user=Beyond [2013-08-07 09:22:17] 689*2^1249956-1 is not prime. Res64: 6FD61FA1034DD742 Time : 0.0 sec. user=Beyond [2013-08-07 09:23:37] 973*2^1249955-1 is not prime. Res64: CA60A233BAE4146D Time : 0.0 sec. user=mdettweiler [2013-08-07 09:25:30] 867*2^1249956-1 is not prime. Res64: 7E436B43D5EAF8BC Time : 0.0 sec. user=mdettweiler [2013-08-07 09:25:31] 945*2^1249956-1 is not prime. Res64: 3EB20BEC237826CE Time : 0.0 sec. user=mdettweiler [2013-08-07 09:26:13] 717*2^1249957-1 is not prime. Res64: FEE252CF5D62577E Time : 0.0 sec. user=mdettweiler [2013-08-07 09:26:13] 729*2^1249957-1 is not prime. Res64: 8D2E9E4A0D101A24 Time : 0.0 sec. user=mdettweiler [2013-08-07 09:26:27] 775*2^1249957-1 is not prime. Res64: 4A6515B2CB395184 Time : 0.0 sec. user=mdettweiler [2013-08-07 09:26:28] 831*2^1249957-1 is not prime. Res64: A5EBB49E832E2E7E Time : 0.0 sec. user=Beyond [2013-08-07 09:32:14] 771*2^1249958-1 is not prime. Res64: D860522BF10B1628 Time : 0.0 sec. user=mdettweiler [2013-08-07 09:40:02] 915*2^1249958-1 is not prime. Res64: 7155FC062219CDEE Time : 0.0 sec. user=mdettweiler [2013-08-07 09:40:02] 921*2^1249958-1 is not prime. Res64: CAF3622A316B794F Time : 0.0 sec. user=Beyond [2013-08-07 09:41:56] 831*2^1249958-1 is not prime. Res64: 58E732158B9CA263 Time : 0.0 sec. user=Beyond [2013-08-07 09:45:12] 625*2^1249959-1 is not prime. Res64: 3AA03AB5DEDAC8A9 Time : 0.0 sec. user=mdettweiler [2013-08-07 09:45:12] 843*2^1249959-1 is not prime. Res64: 803B4FE2C239D738 Time : 0.0 sec. user=mdettweiler [2013-08-07 09:45:13] 879*2^1249959-1 is not prime. Res64: 6D2414A672E209F3 Time : 0.0 sec. user=mdettweiler [2013-08-07 09:46:09] 693*2^1249960-1 is not prime. Res64: 090324CCAB6ECB7B Time : 0.0 sec. user=mdettweiler [2013-08-07 09:46:10] 759*2^1249960-1 is not prime. Res64: 08A3656E12ACCDD1 Time : 0.0 sec. user=Beyond [2013-08-07 09:46:33] 723*2^1249959-1 is not prime. Res64: C4394EBDF5AC6FD1 Time : 0.0 sec. user=mdettweiler [2013-08-07 09:47:41] 951*2^1249959-1 is not prime. Res64: 1E09133AB44676E1 Time : 0.0 sec. user=mdettweiler [2013-08-07 09:47:42] 991*2^1249959-1 is not prime. Res64: A87748232A22C31F Time : 0.0 sec. user=Beyond [2013-08-07 09:55:05] 797*2^1249960-1 is not prime. Res64: F037836DE3397861 Time : 0.0 sec. user=mdettweiler [2013-08-07 09:59:37] 803*2^1249960-1 is not prime. Res64: A0949D849B98900F Time : 0.0 sec. user=mdettweiler [2013-08-07 09:59:38] 833*2^1249960-1 is not prime. Res64: CFADF4C070AADC64 Time : 0.0 sec. user=Beyond [2013-08-07 10:04:39] 843*2^1249960-1 is not prime. Res64: BBCCB42840CB7BD7 Time : 0.0 sec. user=mdettweiler [2013-08-07 10:05:43] 857*2^1249960-1 is not prime. Res64: 8CBF5D5B410FD126 Time : 0.0 sec. user=mdettweiler [2013-08-07 10:05:44] 923*2^1249960-1 is not prime. Res64: ECA68A9028F88172 Time : 0.0 sec. user=mdettweiler [2013-08-07 10:07:21] 619*2^1249961-1 is not prime. Res64: 562384AD5F844A45 Time : 0.0 sec. user=mdettweiler [2013-08-07 10:07:22] 691*2^1249961-1 is not prime. Res64: D857B2075A8FC319 Time : 0.0 sec. user=mdettweiler [2013-08-07 10:07:34] 939*2^1249960-1 is not prime. Res64: FB79BD730DA3F86F Time : 0.0 sec. user=mdettweiler [2013-08-07 10:07:35] 983*2^1249960-1 is not prime. Res64: FB2AE441BBA1914F Time : 0.0 sec. user=Beyond [2013-08-07 10:08:02] 849*2^1249960-1 is not prime. Res64: 85A81654C08F34C7 Time : 0.0 sec. user=Beyond [2013-08-07 10:13:35] 989*2^1249960-1 is not prime. Res64: 332DD8C238E981E7 Time : 0.0 sec. user=Beyond [2013-08-07 10:17:55] 715*2^1249961-1 is not prime. Res64: 8A4EFF86FCEDA4A0 Time : 0.0 sec. user=mdettweiler [2013-08-07 10:19:23] 769*2^1249961-1 is not prime. Res64: 8D34C0BF28802FE1 Time : 0.0 sec. user=mdettweiler [2013-08-07 10:19:24] 879*2^1249961-1 is not prime. Res64: 75CF85406858BAC9 Time : 0.0 sec. user=mdettweiler [2013-08-07 10:25:43] 777*2^1249962-1 is not prime. Res64: A3C797B46F4D2730 Time : 0.0 sec. user=mdettweiler [2013-08-07 10:25:43] 833*2^1249962-1 is not prime. Res64: 21C14B4B9A159E36 Time : 0.0 sec. user=mdettweiler [2013-08-07 10:27:21] 873*2^1249962-1 is not prime. Res64: 405CBED2D49D0357 Time : 0.0 sec. user=mdettweiler [2013-08-07 10:27:22] 893*2^1249962-1 is not prime. Res64: 8DC83EF0706C3B34 Time : 0.0 sec. user=Beyond [2013-08-07 10:27:31] 909*2^1249961-1 is not prime. Res64: A516443B078DF526 Time : 0.0 sec. user=mdettweiler [2013-08-07 10:27:47] 603*2^1249963-1 is not prime. Res64: DB9FE350C7557095 Time : 0.0 sec. user=mdettweiler [2013-08-07 10:27:47] 631*2^1249963-1 is not prime. Res64: A41B7086EC860D75 Time : 0.0 sec. user=Beyond [2013-08-07 10:30:51] 639*2^1249963-1 is not prime. Res64: 147885FB50A48C8E Time : 0.0 sec. user=Beyond [2013-08-07 10:36:31] 679*2^1249963-1 is not prime. Res64: C5922853C128854E Time : 0.0 sec. user=mdettweiler [2013-08-07 10:39:08] 765*2^1249963-1 is not prime. Res64: 959A8AD8859FE30A Time : 0.0 sec. user=mdettweiler [2013-08-07 10:39:09] 885*2^1249963-1 is not prime. Res64: 907E0061D483A736 Time : 0.0 sec. user=Beyond [2013-08-07 10:40:50] 745*2^1249963-1 is not prime. Res64: FA990A6EB11FC74B Time : 0.0 sec. user=mdettweiler [2013-08-07 10:45:20] 609*2^1249964-1 is not prime. Res64: D5CFA64155485F69 Time : 0.0 sec. user=mdettweiler [2013-08-07 10:45:20] 617*2^1249964-1 is not prime. Res64: EC05F71B8782EADB Time : 0.0 sec. user=mdettweiler [2013-08-07 10:46:52] 623*2^1249964-1 is not prime. Res64: A3C842A26EA206FB Time : 0.0 sec. user=mdettweiler [2013-08-07 10:46:53] 767*2^1249964-1 is not prime. Res64: F81FE177E8781BB9 Time : 0.0 sec. user=mdettweiler [2013-08-07 10:47:27] 667*2^1249965-1 is not prime. Res64: 37012CFAA8793309 Time : 0.0 sec. user=mdettweiler [2013-08-07 10:47:28] 735*2^1249965-1 is not prime. Res64: 300D7F4AE8E5C746 Time : 0.0 sec. user=Beyond [2013-08-07 10:50:24] 915*2^1249964-1 is not prime. Res64: F543EA6CCABDC8A7 Time : 0.0 sec. user=Beyond [2013-08-07 10:53:45] 741*2^1249965-1 is not prime. Res64: 3EE2EC9A01C1FBF2 Time : 0.0 sec. user=mdettweiler [2013-08-07 10:58:46] 717*2^1249966-1 is not prime. Res64: 73B39D7639FC262C Time : 0.0 sec. user=mdettweiler [2013-08-07 10:58:46] 813*2^1249966-1 is not prime. Res64: 6F5E3FC11A3C8D99 Time : 0.0 sec. user=Beyond [2013-08-07 10:59:21] 789*2^1249965-1 is not prime. Res64: 88F3846FBDAFA6B0 Time : 0.0 sec. user=Beyond [2013-08-07 11:03:40] 881*2^1249966-1 is not prime. Res64: DE4E7F2448D84229 Time : 0.0 sec. user=mdettweiler [2013-08-07 11:04:51] 661*2^1249967-1 is not prime. Res64: BE5B862ECC665303 Time : 0.0 sec. user=mdettweiler [2013-08-07 11:04:52] 753*2^1249967-1 is not prime. Res64: 6E3CE2CA924FE41B Time : 0.0 sec. user=mdettweiler [2013-08-07 11:06:23] 759*2^1249967-1 is not prime. Res64: 21AE5C3B82941438 Time : 0.0 sec. user=mdettweiler [2013-08-07 11:06:24] 825*2^1249967-1 is not prime. Res64: 3935818ADCD0381D Time : 0.0 sec. user=mdettweiler [2013-08-07 11:06:59] 861*2^1249967-1 is not prime. Res64: F6F9DC0BB37872D0 Time : 0.0 sec. user=mdettweiler [2013-08-07 11:07:00] 879*2^1249967-1 is not prime. Res64: 649731D009E5539D Time : 0.0 sec. user=Beyond [2013-08-07 11:16:32] 669*2^1249968-1 is not prime. Res64: D8174FF014E8AA38 Time : 0.0 sec. user=Beyond [2013-08-07 11:17:23] 981*2^1249967-1 is not prime. Res64: 3AC4F215890602BF Time : 0.0 sec. user=mdettweiler [2013-08-07 11:18:22] 735*2^1249968-1 is not prime. Res64: 5258D7E1DBDB176D Time : 0.0 sec. user=mdettweiler [2013-08-07 11:18:23] 789*2^1249968-1 is not prime. Res64: C0AEDB25CFCA5575 Time : 0.0 sec. user=Beyond [2013-08-07 11:22:06] 797*2^1249968-1 is not prime. Res64: C5E49C72CD516886 Time : 0.0 sec. user=mdettweiler [2013-08-07 11:24:23] 837*2^1249968-1 is not prime. Res64: 6BD816AFD20A72F3 Time : 0.0 sec. user=mdettweiler [2013-08-07 11:24:24] 875*2^1249968-1 is not prime. Res64: F625A35C83996542 Time : 0.0 sec. user=Beyond [2013-08-07 11:26:24] 819*2^1249968-1 is not prime. Res64: 271C0EB16A113594 Time : 0.0 sec. user=mdettweiler [2013-08-07 11:26:58] 899*2^1249968-1 is not prime. Res64: 886A77129E0701A2 Time : 0.0 sec. user=mdettweiler [2013-08-07 11:26:58] 947*2^1249968-1 is not prime. Res64: E5FF02EFF93E810C Time : 0.0 sec. user=mdettweiler [2013-08-07 11:27:37] 993*2^1249968-1 is not prime. Res64: A3FE3FB93F5328EC Time : 0.0 sec. user=mdettweiler [2013-08-07 11:27:38] 895*2^1249969-1 is not prime. Res64: 976A93C0C90ED8E7 Time : 0.0 sec. user=mdettweiler [2013-08-07 11:37:57] 645*2^1249970-1 is not prime. Res64: 465E89785E8CE3BE Time : 0.0 sec. user=mdettweiler [2013-08-07 11:37:57] 713*2^1249970-1 is not prime. Res64: 5245044B8B6CB1D9 Time : 0.0 sec. user=Beyond [2013-08-07 11:43:26] 997*2^1249969-1 is not prime. Res64: 140ACAAFE4C5D179 Time : 0.0 sec. user=Beyond [2013-08-07 11:44:20] 999*2^1249969-1 is not prime. Res64: 7772E67FE377D0AB Time : 0.0 sec. user=Beyond [2013-08-07 11:44:38] 813*2^1249970-1 is not prime. Res64: 45C70CBAEC23F640 Time : 0.0 sec. user=mdettweiler [2013-08-07 11:44:53] 845*2^1249970-1 is not prime. Res64: FAB5F4EE725A3B6F Time : 0.0 sec. user=mdettweiler [2013-08-07 11:44:54] 935*2^1249970-1 is not prime. Res64: F14D59A0DB111243 Time : 0.0 sec. user=mdettweiler [2013-08-07 11:46:35] 705*2^1249971-1 is not prime. Res64: FB617E1FBDE64B61 Time : 0.0 sec. user=mdettweiler [2013-08-07 11:46:35] 735*2^1249971-1 is not prime. Res64: 9ACDE9A56B0C6514 Time : 0.0 sec. user=mdettweiler [2013-08-07 11:47:14] 753*2^1249971-1 is not prime. Res64: 7AE810B638F17A18 Time : 0.0 sec. user=mdettweiler [2013-08-07 11:47:14] 775*2^1249971-1 is not prime. Res64: 2EEAAB57BD4B4404 Time : 0.0 sec. user=Beyond [2013-08-07 11:53:18] 1001*2^1249970-1 is not prime. Res64: 40B98968A342A7C7 Time : 0.0 sec. user=mdettweiler [2013-08-07 11:57:28] 801*2^1249971-1 is not prime. Res64: D2677E7E4CAA816E Time : 0.0 sec. user=mdettweiler [2013-08-07 11:57:29] 871*2^1249971-1 is not prime. Res64: 9498CC1B1EEA816C Time : 0.0 sec. user=mdettweiler [2013-08-07 12:04:36] 607*2^1249973-1 is not prime. Res64: 38922E33932B354D Time : 0.0 sec. user=mdettweiler [2013-08-07 12:04:37] 615*2^1249973-1 is not prime. Res64: 57C167BC4F9C79D6 Time : 0.0 sec. user=mdettweiler [2013-08-07 12:06:05] 741*2^1249973-1 is not prime. Res64: 4B40EA709AA519D2 Time : 0.0 sec. user=mdettweiler [2013-08-07 12:06:06] 745*2^1249973-1 is not prime. Res64: DA4C1BD20299D6A6 Time : 0.0 sec. user=Beyond [2013-08-07 12:06:10] 639*2^1249972-1 is not prime. Res64: 5715A06F7762036A Time : 0.0 sec. user=Beyond [2013-08-07 12:07:12] 693*2^1249972-1 is not prime. Res64: 541AFAD8548A46CF Time : 0.0 sec. user=Beyond [2013-08-07 12:07:23] 735*2^1249972-1 is not prime. Res64: 995804B90E3543F1 Time : 0.0 sec. user=mdettweiler [2013-08-07 12:07:43] 829*2^1249973-1 is not prime. Res64: 06B23F5B7D7F6A16 Time : 0.0 sec. user=mdettweiler [2013-08-07 12:07:44] 925*2^1249973-1 is not prime. Res64: 77C573B110DEC4A0 Time : 0.0 sec. user=mdettweiler [2013-08-07 12:17:02] 627*2^1249974-1 is not prime. Res64: 8964E6F00E72AED7 Time : 0.0 sec. user=mdettweiler [2013-08-07 12:17:03] 641*2^1249974-1 is not prime. Res64: 84692B114E04C69C Time : 0.0 sec. user=Beyond [2013-08-07 12:20:15] 987*2^1249973-1 is not prime. Res64: E01DD7521FDC99A2 Time : 0.0 sec. user=mdettweiler [2013-08-07 12:24:10] 657*2^1249974-1 is not prime. Res64: 61C55D41D12093F1 Time : 0.0 sec. user=mdettweiler [2013-08-07 12:24:11] 677*2^1249974-1 is not prime. Res64: 46C62FD8F6C07E53 Time : 0.0 sec. user=mdettweiler [2013-08-07 12:25:42] 707*2^1249974-1 is not prime. Res64: AE299F494670A5CA Time : 0.0 sec. user=mdettweiler [2013-08-07 12:25:43] 873*2^1249974-1 is not prime. Res64: 0781BCFAA7DD3D9C Time : 0.0 sec. user=mdettweiler [2013-08-07 12:27:23] 651*2^1249975-1 is not prime. Res64: 3F0FA8F68DCA3E34 Time : 0.0 sec. user=mdettweiler [2013-08-07 12:27:23] 765*2^1249975-1 is not prime. Res64: AEA6A5C5F0DBD10D Time : 0.0 sec. user=Beyond [2013-08-07 12:29:57] 639*2^1249975-1 is not prime. Res64: 566708936BC9362E Time : 0.0 sec. user=Beyond [2013-08-07 12:33:05] 941*2^1249974-1 is not prime. Res64: 22AA2670E2EC3D5B Time : 0.0 sec. user=Beyond [2013-08-07 12:34:07] 965*2^1249974-1 is not prime. Res64: 85E1EDC6EBC5053A Time : 0.0 sec. user=mdettweiler [2013-08-07 12:36:41] 805*2^1249975-1 is not prime. Res64: 7BEB6BE3E3C42C45 Time : 0.0 sec. user=mdettweiler [2013-08-07 12:36:41] 841*2^1249975-1 is not prime. Res64: 14FB76444638864E Time : 0.0 sec. user=Beyond [2013-08-07 12:42:49] 855*2^1249975-1 is not prime. Res64: 14EF7CD27857D6BB Time : 0.0 sec. user=mdettweiler [2013-08-07 12:45:19] 683*2^1249976-1 is not prime. Res64: 1A5B15064E7C1D75 Time : 0.0 sec. user=mdettweiler [2013-08-07 12:45:20] 699*2^1249976-1 is not prime. Res64: 15C50B13793718A1 Time : 0.0 sec. user=mdettweiler [2013-08-07 12:45:38] 951*2^1249975-1 is not prime. Res64: 548BC778061525DC Time : 0.0 sec. user=mdettweiler [2013-08-07 12:45:39] 999*2^1249975-1 is not prime. Res64: 9C540A2CB5941C4C Time : 0.0 sec. user=mdettweiler [2013-08-07 12:46:57] 747*2^1249976-1 is not prime. Res64: 1A04456B0FA68AB7 Time : 0.0 sec. user=mdettweiler [2013-08-07 12:46:58] 777*2^1249976-1 is not prime. Res64: D30B7E368DF79163 Time : 0.0 sec. user=Beyond [2013-08-07 12:52:44] 833*2^1249976-1 is not prime. Res64: 1C04C4F4B13C0B95 Time : 0.0 sec. user=mdettweiler [2013-08-07 12:56:17] 649*2^1249977-1 is not prime. Res64: BCBE6F3B031D8D74 Time : 0.0 sec. user=mdettweiler [2013-08-07 12:56:18] 759*2^1249977-1 is not prime. Res64: EC6504C4C57AFE8C Time : 0.0 sec. user=Beyond [2013-08-07 12:56:59] 625*2^1249977-1 is not prime. Res64: 9D0560A671EF0789 Time : 0.0 sec. user=Beyond [2013-08-07 13:00:04] 923*2^1249976-1 is not prime. Res64: 81EF10972BE38FFA Time : 0.0 sec. user=Beyond [2013-08-07 13:05:33] 795*2^1249977-1 is not prime. Res64: 210187466C4D4350 Time : 0.0 sec. user=mdettweiler [2013-08-07 13:05:59] 731*2^1249978-1 is not prime. Res64: D38EB55D2C38FC8C Time : 0.0 sec. user=mdettweiler [2013-08-07 13:06:00] 923*2^1249978-1 is not prime. Res64: 3635F6785195A66E Time : 0.0 sec. user=mdettweiler [2013-08-07 13:06:15] 971*2^1249978-1 is not prime. Res64: 1359A18082EE88E1 Time : 0.0 sec. user=mdettweiler [2013-08-07 13:06:16] 621*2^1249979-1 is not prime. Res64: FFE5D8793376E8FC Time : 0.0 sec. user=mdettweiler [2013-08-07 13:06:37] 655*2^1249979-1 is not prime. Res64: 09EB8329EEC3505B Time : 0.0 sec. user=mdettweiler [2013-08-07 13:06:38] 663*2^1249979-1 is not prime. Res64: 85167B3D1175BF87 Time : 0.0 sec. user=Beyond [2013-08-07 13:15:36] 855*2^1249979-1 is not prime. Res64: FF9869346C438623 Time : 0.0 sec. user=mdettweiler [2013-08-07 13:16:50] 969*2^1249979-1 is not prime. Res64: B23153585F6AE75B Time : 0.0 sec. user=mdettweiler [2013-08-07 13:16:51] 635*2^1249980-1 is not prime. Res64: 544761D4B83B7A3D Time : 0.0 sec. user=Beyond [2013-08-07 13:19:51] 735*2^1249980-1 is not prime. Res64: D7AB85220C873B96 Time : 0.0 sec. user=Beyond [2013-08-07 13:23:00] 779*2^1249980-1 is not prime. Res64: D83014BFB1396952 Time : 0.0 sec. user=mdettweiler [2013-08-07 13:25:35] 873*2^1249980-1 is not prime. Res64: 33E2F2EED5CFEEE0 Time : 0.0 sec. user=mdettweiler [2013-08-07 13:25:35] 905*2^1249980-1 is not prime. Res64: 0311AA204D44CC59 Time : 0.0 sec. user=mdettweiler [2013-08-07 13:26:14] 621*2^1249981-1 is not prime. Res64: AA98F7C279289FB8 Time : 0.0 sec. user=mdettweiler [2013-08-07 13:26:14] 625*2^1249981-1 is not prime. Res64: 9E1EB87F91194BC1 Time : 0.0 sec. user=mdettweiler [2013-08-07 13:27:45] 927*2^1249980-1 is not prime. Res64: EBA3756E56F0F5F8 Time : 0.0 sec. user=mdettweiler [2013-08-07 13:27:46] 987*2^1249980-1 is not prime. Res64: 0D0B2D99E951C487 Time : 0.0 sec. user=Beyond [2013-08-07 13:28:26] 783*2^1249980-1 is not prime. Res64: 92AB7850C93214F2 Time : 0.0 sec. user=mdettweiler [2013-08-07 13:36:28] 757*2^1249981-1 is not prime. Res64: 3170F7862DD934CE Time : 0.0 sec. user=mdettweiler [2013-08-07 13:36:28] 825*2^1249981-1 is not prime. Res64: 629D78874BBB3A35 Time : 0.0 sec. user=Beyond [2013-08-07 13:38:25] 741*2^1249981-1 is not prime. Res64: 153A7AE5FFAD58D4 Time : 0.0 sec. user=Beyond [2013-08-07 13:42:38] 861*2^1249981-1 is not prime. Res64: A20316952B2C9A13 Time : 0.0 sec. user=mdettweiler [2013-08-07 13:45:14] 677*2^1249982-1 is not prime. Res64: FE187E52CAAFA278 Time : 0.0 sec. user=mdettweiler [2013-08-07 13:45:15] 743*2^1249982-1 is not prime. Res64: 89525CE719CFA458 Time : 0.0 sec. user=mdettweiler [2013-08-07 13:45:50] 785*2^1249982-1 is not prime. Res64: CC4C97DF903DE187 Time : 0.0 sec. user=mdettweiler [2013-08-07 13:45:51] 827*2^1249982-1 is not prime. Res64: FC2C3E96D5086B6A Time : 0.0 sec. user=mdettweiler [2013-08-07 13:48:18] 911*2^1249982-1 is not prime. Res64: 964273057E9AF8D7 Time : 0.0 sec. user=mdettweiler [2013-08-07 13:48:18] 965*2^1249982-1 is not prime. Res64: 760EAA3C5DDF48D6 Time : 0.0 sec. user=Beyond [2013-08-07 13:50:00] 961*2^1249981-1 is not prime. Res64: 2289D775C05C0C77 Time : 0.0 sec. user=Beyond [2013-08-07 13:51:13] 735*2^1249983-1 is not prime. Res64: 2EE03CF3F6977D1A Time : 0.0 sec. user=mdettweiler [2013-08-07 13:56:15] 789*2^1249983-1 is not prime. Res64: BC4474FF7E997A4B Time : 0.0 sec. user=mdettweiler [2013-08-07 13:56:16] 793*2^1249983-1 is not prime. Res64: 6E35239E7FAC977C Time : 0.0 sec. user=Beyond [2013-08-07 14:01:14] 819*2^1249983-1 is not prime. Res64: 139863E1CF1E7AD8 Time : 0.0 sec. user=mdettweiler [2013-08-07 14:04:57] 853*2^1249983-1 is not prime. Res64: 837A8E060AE7A701 Time : 0.0 sec. user=mdettweiler [2013-08-07 14:04:58] 755*2^1249984-1 is not prime. Res64: E2912AB606EE1EA0 Time : 0.0 sec. user=Beyond [2013-08-07 14:05:31] 823*2^1249983-1 is not prime. Res64: AC8A665EF9A51D4E Time : 0.0 sec. user=mdettweiler [2013-08-07 14:05:32] 827*2^1249984-1 is not prime. Res64: 10B59E6921BE2184 Time : 0.0 sec. user=mdettweiler [2013-08-07 14:05:33] 775*2^1249985-1 is not prime. Res64: DC4DC9526507139F Time : 0.0 sec. user=mdettweiler [2013-08-07 14:07:55] 805*2^1249985-1 is not prime. Res64: E665B3BA9B77DFF6 Time : 0.0 sec. user=mdettweiler [2013-08-07 14:07:56] 847*2^1249985-1 is not prime. Res64: E9955C010BCCDF64 Time : 0.0 sec. user=Beyond [2013-08-07 14:12:52] 611*2^1249986-1 is not prime. Res64: 7A2B122AF515C11A Time : 0.0 sec. user=Beyond [2013-08-07 14:14:04] 893*2^1249986-1 is not prime. Res64: D3A882D28CEA11D7 Time : 0.0 sec. user=mdettweiler [2013-08-07 14:16:49] 923*2^1249986-1 is not prime. Res64: A7FC58617E6B283C Time : 0.0 sec. user=mdettweiler [2013-08-07 14:16:49] 703*2^1249987-1 is not prime. Res64: 07159EE008B0E208 Time : 0.0 sec. user=Beyond [2013-08-07 14:24:14] 769*2^1249987-1 is not prime. Res64: 28988A3BCE3732F6 Time : 0.0 sec. user=mdettweiler [2013-08-07 14:24:59] 793*2^1249987-1 is not prime. Res64: F2257F6A5943F6B9 Time : 0.0 sec. user=mdettweiler [2013-08-07 14:24:59] 885*2^1249987-1 is not prime. Res64: 1C4B89F341F012F2 Time : 0.0 sec. user=mdettweiler [2013-08-07 14:26:31] 985*2^1249987-1 is not prime. Res64: B87A8582E6F9F475 Time : 0.0 sec. user=mdettweiler [2013-08-07 14:26:31] 665*2^1249988-1 is not prime. Res64: B79A106ACEABD91B Time : 0.0 sec. user=mdettweiler [2013-08-07 14:28:03] 677*2^1249988-1 is not prime. Res64: 6B62CFC110247CA7 Time : 0.0 sec. user=mdettweiler [2013-08-07 14:28:03] 789*2^1249988-1 is not prime. Res64: 2B616BB16C3626A7 Time : 0.0 sec. user=Beyond [2013-08-07 14:32:37] 973*2^1249987-1 is not prime. Res64: FABBD7B5643E3AC6 Time : 0.0 sec. user=Beyond [2013-08-07 14:35:37] 797*2^1249988-1 is not prime. Res64: 9D1D98CAFD1A02AA Time : 0.0 sec. user=Beyond [2013-08-07 14:36:53] 813*2^1249988-1 is not prime. Res64: 3442E042DE07B225 Time : 0.0 sec. user=mdettweiler [2013-08-07 14:38:24] 915*2^1249988-1 is not prime. Res64: A550D91B5E822004 Time : 0.0 sec. user=mdettweiler [2013-08-07 14:38:24] 935*2^1249988-1 is not prime. Res64: A07D6935887B3D97 Time : 0.0 sec. user=mdettweiler [2013-08-07 14:45:26] 625*2^1249989-1 is not prime. Res64: B90535BDA5F8DB9D Time : 0.0 sec. user=mdettweiler [2013-08-07 14:45:26] 727*2^1249989-1 is not prime. Res64: A7725E9194A29E89 Time : 0.0 sec. user=mdettweiler [2013-08-07 14:46:39] 769*2^1249989-1 is not prime. Res64: BCAB3D6154F0C1AB Time : 0.0 sec. user=mdettweiler [2013-08-07 14:46:39] 877*2^1249989-1 is not prime. Res64: 84E08754C5608B05 Time : 0.0 sec. user=Beyond [2013-08-07 14:47:01] 615*2^1249989-1 is not prime. Res64: 3700277E51CAD5B5 Time : 0.0 sec. user=mdettweiler [2013-08-07 14:48:57] 919*2^1249989-1 is not prime. Res64: D39377B65BF8BB80 Time : 0.0 sec. user=mdettweiler [2013-08-07 14:48:57] 741*2^1249990-1 is not prime. Res64: 85570F3C37A69E44 Time : 0.0 sec. user=Beyond [2013-08-07 14:55:20] 755*2^1249990-1 is not prime. Res64: E4848AE34578B8C9 Time : 0.0 sec. user=mdettweiler [2013-08-07 14:58:27] 669*2^1249991-1 is not prime. Res64: 9AF013C6E38ABD64 Time : 0.0 sec. user=mdettweiler [2013-08-07 14:58:27] 741*2^1249991-1 is not prime. Res64: 2C7A0C35F6E48665 Time : 0.0 sec. user=Beyond [2013-08-07 14:59:33] 651*2^1249991-1 is not prime. Res64: B97F4FCD44FC9293 Time : 0.0 sec. user=Beyond [2013-08-07 15:02:34] 1001*2^1249990-1 is not prime. Res64: 1623DECAC61B4C64 Time : 0.0 sec. user=mdettweiler [2013-08-07 15:05:19] 759*2^1249991-1 is not prime. Res64: 6B9E62B45C551792 Time : 0.0 sec. user=mdettweiler [2013-08-07 15:05:20] 909*2^1249991-1 is not prime. Res64: 70016292F0209E89 Time : 0.0 sec. user=mdettweiler [2013-08-07 15:08:21] 921*2^1249991-1 is not prime. Res64: ED7D903D47EFE99E Time : 0.0 sec. user=mdettweiler [2013-08-07 15:08:22] 969*2^1249991-1 is not prime. Res64: AA087CFEE28AFE5C Time : 0.0 sec. user=mdettweiler [2013-08-07 15:08:44] 605*2^1249992-1 is not prime. Res64: 09563C43546023DE Time : 0.0 sec. user=mdettweiler [2013-08-07 15:08:45] 629*2^1249992-1 is not prime. Res64: 406E5A3F482E407D Time : 0.0 sec. user=Beyond [2013-08-07 15:14:01] 991*2^1249991-1 is not prime. Res64: 837D85A4267E0A6B Time : 0.0 sec. user=mdettweiler [2013-08-07 15:18:01] 695*2^1249992-1 is not prime. Res64: DEF5083C5501A6CD Time : 0.0 sec. user=mdettweiler [2013-08-07 15:18:01] 747*2^1249992-1 is not prime. Res64: 36D78B6DFA867456 Time : 0.0 sec. user=Beyond [2013-08-07 15:18:04] 675*2^1249992-1 is not prime. Res64: CC84B49333C59D96 Time : 0.0 sec. user=Beyond [2013-08-07 15:22:18] 863*2^1249992-1 is not prime. Res64: 40B6929F3C70DF10 Time : 0.0 sec. user=Beyond [2013-08-07 15:25:22] 909*2^1249992-1 is not prime. Res64: 8BD5E736546B0ACF Time : 0.0 sec. user=mdettweiler [2013-08-07 15:25:54] 923*2^1249992-1 is not prime. Res64: BEF59C3C9945016F Time : 0.0 sec. user=mdettweiler [2013-08-07 15:25:55] 615*2^1249993-1 is not prime. Res64: A3FA8C3AD72CBD4E Time : 0.0 sec. user=mdettweiler [2013-08-07 15:28:05] 639*2^1249993-1 is not prime. Res64: 41C5F4646B956EE0 Time : 0.0 sec. user=mdettweiler [2013-08-07 15:28:06] 769*2^1249993-1 is not prime. Res64: 2A4AFCD7E8A09DD4 Time : 0.0 sec. user=mdettweiler [2013-08-07 15:28:22] 829*2^1249993-1 is not prime. Res64: 39A97737C1AEDFED Time : 0.0 sec. user=mdettweiler [2013-08-07 15:28:23] 895*2^1249993-1 is not prime. Res64: D27194D0F46AF178 Time : 0.0 sec. user=mdettweiler [2013-08-07 15:38:34] 957*2^1249993-1 is not prime. Res64: C81D2F331BA86813 Time : 0.0 sec. user=mdettweiler [2013-08-07 15:38:35] 741*2^1249994-1 is not prime. Res64: B30637667CEED65F Time : 0.0 sec. user=Beyond [2013-08-07 15:40:49] 755*2^1249994-1 is not prime. Res64: 8880322989B637E0 Time : 0.0 sec. user=Beyond [2013-08-07 15:41:02] 945*2^1249993-1 is not prime. Res64: E6E1C2C6203C2E49 Time : 0.0 sec. user=Beyond [2013-08-07 15:45:06] 797*2^1249994-1 is not prime. Res64: 3F9FE9F3BE34E7E3 Time : 0.0 sec. user=mdettweiler [2013-08-07 15:45:28] 851*2^1249994-1 is not prime. Res64: 4403487790B09594 Time : 0.0 sec. user=mdettweiler [2013-08-07 15:45:29] 915*2^1249994-1 is not prime. Res64: 72CE56119D813FFE Time : 0.0 sec. user=mdettweiler [2013-08-07 15:48:07] 711*2^1249995-1 is not prime. Res64: B5F0B713517CE37B Time : 0.0 sec. user=mdettweiler [2013-08-07 15:48:07] 873*2^1249995-1 is not prime. Res64: 289BB2FA0900CD66 Time : 0.0 sec. user=Beyond [2013-08-07 15:48:11] 815*2^1249994-1 is not prime. Res64: 21119A86CEF77AF4 Time : 0.0 sec. user=mdettweiler [2013-08-07 15:49:32] 941*2^1249994-1 is not prime. Res64: FC384BAAABB5883E Time : 0.0 sec. user=mdettweiler [2013-08-07 15:49:32] 971*2^1249994-1 is not prime. Res64: DB497FDEE2B1DF22 Time : 0.0 sec. user=mdettweiler [2013-08-07 16:00:07] 955*2^1249995-1 is not prime. Res64: 1D6D7520C0B12695 Time : 0.0 sec. user=mdettweiler [2013-08-07 16:00:08] 963*2^1249995-1 is not prime. Res64: 253A9E4F99C3A296 Time : 0.0 sec. user=Beyond [2013-08-07 16:03:40] 623*2^1249996-1 is not prime. Res64: CAFC36D08161F127 Time : 0.0 sec. user=Beyond [2013-08-07 16:03:49] 717*2^1249996-1 is not prime. Res64: FCA077DEAB7F527A Time : 0.0 sec. user=mdettweiler [2013-08-07 16:05:10] 755*2^1249996-1 is not prime. Res64: 9184C8A72C7A36B0 Time : 0.0 sec. user=mdettweiler [2013-08-07 16:05:11] 759*2^1249996-1 is not prime. Res64: 3AB694CC680DFA31 Time : 0.0 sec. user=mdettweiler [2013-08-07 16:07:49] 857*2^1249996-1 is not prime. Res64: ADC64C71F633D57A Time : 0.0 sec. user=mdettweiler [2013-08-07 16:07:50] 903*2^1249996-1 is not prime. Res64: DEB3BAB1F50B9666 Time : 0.0 sec. user=Beyond [2013-08-07 16:07:55] 735*2^1249996-1 is not prime. Res64: 49EDB2D5D9972984 Time : 0.0 sec. user=mdettweiler [2013-08-07 16:09:08] 607*2^1249997-1 is not prime. Res64: 57E8D0D5834A656C Time : 0.0 sec. user=mdettweiler [2013-08-07 16:09:08] 699*2^1249997-1 is not prime. Res64: 2D04C018EF756119 Time : 0.0 sec. user=Beyond [2013-08-07 16:15:06] 993*2^1249996-1 is not prime. Res64: 163CEA2602FB4FA2 Time : 0.0 sec. user=mdettweiler [2013-08-07 16:19:44] 837*2^1249997-1 is not prime. Res64: 6850DACFB5D94979 Time : 0.0 sec. user=mdettweiler [2013-08-07 16:19:44] 901*2^1249997-1 is not prime. Res64: 763BE07F565B357A Time : 0.0 sec. user=mdettweiler [2013-08-07 16:24:42] 651*2^1249998-1 is not prime. Res64: 1863D5666B408BCD Time : 0.0 sec. user=mdettweiler [2013-08-07 16:24:43] 681*2^1249998-1 is not prime. Res64: E2F9DC886F1A1E60 Time : 0.0 sec. user=Beyond [2013-08-07 16:26:32] 641*2^1249998-1 is not prime. Res64: 1DAD5400227C6F74 Time : 0.0 sec. user=mdettweiler [2013-08-07 16:27:23] 683*2^1249998-1 is not prime. Res64: 7F0785CFE3453103 Time : 0.0 sec. user=mdettweiler [2013-08-07 16:27:24] 705*2^1249998-1 is not prime. Res64: E81483546844D5E2 Time : 0.0 sec. user=mdettweiler [2013-08-07 16:28:46] 725*2^1249998-1 is not prime. Res64: 0F366BB90145DF11 Time : 0.0 sec. user=mdettweiler [2013-08-07 16:28:47] 777*2^1249998-1 is not prime. Res64: 9C98BF33ADEC10FA Time : 0.0 sec. user=Beyond [2013-08-07 16:30:37] 981*2^1249997-1 is not prime. Res64: A60CA7BAC55ED81B Time : 0.0 sec. user=Beyond [2013-08-07 16:30:42] 707*2^1249998-1 is not prime. Res64: 36467A96F49C6588 Time : 0.0 sec. user=Beyond [2013-08-07 16:37:50] 843*2^1249998-1 is not prime. Res64: 0B46DAE0E8918DA9 Time : 0.0 sec. user=mdettweiler [2013-08-07 16:40:13] 1001*2^1249998-1 is not prime. Res64: C87D5C99A0B16208 Time : 0.0 sec. user=mdettweiler [2013-08-07 16:40:13] 751*2^1249999-1 is not prime. Res64: 736FD34954F72997 Time : 0.0 sec. user=mdettweiler [2013-08-07 16:44:10] 853*2^1249999-1 is not prime. Res64: 1C75CDD937908C11 Time : 0.0 sec. user=mdettweiler [2013-08-07 16:44:11] 861*2^1249999-1 is not prime. Res64: 6EE08FE0051F22FC Time : 0.0 sec. user=mdettweiler [2013-08-07 16:48:31] 629*2^1250000-1 is not prime. Res64: 9F2684F2C62D4CC3 Time : 0.0 sec. user=mdettweiler [2013-08-07 16:48:31] 677*2^1250000-1 is not prime. Res64: CC857FA0CFF7F803 Time : 0.0 sec. user=mdettweiler [2013-08-07 16:48:48] 985*2^1249999-1 is not prime. Res64: 1ED4087F09647929 Time : 0.0 sec. user=mdettweiler [2013-08-07 16:48:48] 993*2^1249999-1 is not prime. Res64: 89A06E9F05A8104E Time : 0.0 sec. user=Beyond [2013-08-07 16:53:24] 767*2^1250000-1 is not prime. Res64: DC330B03C7277564 Time : 0.0 sec. user=Beyond [2013-08-07 16:53:24] 725*2^1250000-1 is not prime. Res64: 0CAB4B2BDF86B691 Time : 0.0 sec. user=Beyond [2013-08-07 16:53:32] 951*2^1249999-1 is not prime. Res64: 8549F08EE429BD27 Time : 0.0 sec. user=Beyond [2013-08-07 17:00:42] 825*2^1250000-1 is not prime. Res64: 67A37FC6BDD116FE Time : 0.0 sec. user=mdettweiler [2013-08-07 17:00:45] 827*2^1250000-1 is not prime. Res64: BA8F362B98BF3DD1 Time : 0.0 sec. user=mdettweiler [2013-08-07 17:00:46] 935*2^1250000-1 is not prime. Res64: 3513ECF50F695D08 Time : 0.0 sec. user=mdettweiler [2013-08-07 17:04:43] 945*2^1250000-1 is not prime. Res64: 7D6079966D15A1EC Time : 0.0 sec. user=mdettweiler [2013-08-07 17:04:44] 609*2^1250001-1 is not prime. Res64: 97E76B83FA7778A4 Time : 0.0 sec. user=mdettweiler [2013-08-07 17:08:22] 677*2^1250002-1 is not prime. Res64: D9FBADC3F94E927D Time : 0.0 sec. user=mdettweiler [2013-08-07 17:08:23] 747*2^1250002-1 is not prime. Res64: 2906B39ADCEFAD3D Time : 0.0 sec. user=mdettweiler [2013-08-07 17:08:59] 747*2^1250001-1 is not prime. Res64: 5AB871E6305099D6 Time : 0.0 sec. user=mdettweiler [2013-08-07 17:09:02] 969*2^1250001-1 is not prime. Res64: 1E5DB28D4C22CD65 Time : 0.0 sec. user=Beyond [2013-08-07 17:16:17] 815*2^1250002-1 is not prime. Res64: BBC953A75834E5A0 Time : 0.0 sec. user=Beyond [2013-08-07 17:16:17] 783*2^1250003-1 is not prime. Res64: 5BA018A95E6550B1 Time : 0.0 sec. user=Beyond [2013-08-07 17:16:28] 811*2^1250003-1 is not prime. Res64: E30E7C1472064CD9 Time : 0.0 sec. user=mdettweiler [2013-08-07 17:20:13] 859*2^1250003-1 is not prime. Res64: 7633CBECDF055CED Time : 0.0 sec. user=mdettweiler [2013-08-07 17:20:14] 915*2^1250003-1 is not prime. Res64: AB731EE077271C31 Time : 0.0 sec. user=Beyond [2013-08-07 17:23:35] 829*2^1250003-1 is not prime. Res64: E310750CFD72480D Time : 0.0 sec. user=mdettweiler [2013-08-07 17:24:10] 657*2^1250004-1 is not prime. Res64: 7596D91DB7E3836B Time : 0.0 sec. user=mdettweiler [2013-08-07 17:24:10] 707*2^1250004-1 is not prime. Res64: 9169D093FCC02071 Time : 0.0 sec. user=mdettweiler [2013-08-07 17:27:52] 737*2^1250004-1 is not prime. Res64: 460A39F3FBD1CB27 Time : 0.0 sec. user=mdettweiler [2013-08-07 17:27:53] 749*2^1250004-1 is not prime. Res64: F0342342A63CB5A7 Time : 0.0 sec. user=mdettweiler [2013-08-07 17:28:32] 887*2^1250004-1 is not prime. Res64: 01030C565E0EB289 Time : 0.0 sec. user=mdettweiler [2013-08-07 17:28:32] 619*2^1250005-1 is not prime. Res64: EBAD62C0D436660C Time : 0.0 sec. user=Beyond [2013-08-07 17:39:13] 661*2^1250005-1 is not prime. Res64: F1EEA3F8EFF8C9E5 Time : 0.0 sec. user=Beyond [2013-08-07 17:39:16] 675*2^1250005-1 is not prime. Res64: 4AC4FAA80B2ADE54 Time : 0.0 sec. user=Beyond [2013-08-07 17:39:23] 757*2^1250005-1 is not prime. Res64: 405193BCE6B8BA0B Time : 0.0 sec. user=mdettweiler [2013-08-07 17:39:48] 771*2^1250005-1 is not prime. Res64: 912E6491823D9E0F Time : 0.0 sec. user=mdettweiler [2013-08-07 17:39:49] 799*2^1250005-1 is not prime. Res64: F0A8D1ED458BBD59 Time : 0.0 sec. user=mdettweiler [2013-08-07 17:44:34] 889*2^1250005-1 is not prime. Res64: 5A4956D51E8F59D1 Time : 0.0 sec. user=mdettweiler [2013-08-07 17:44:34] 975*2^1250005-1 is not prime. Res64: DC554AFDC53BF450 Time : 0.0 sec. user=Beyond [2013-08-07 17:46:30] 871*2^1250005-1 is not prime. Res64: F743164806DD45D6 Time : 0.0 sec. user=mdettweiler [2013-08-07 17:47:30] 603*2^1250006-1 is not prime. Res64: D6BE7189EBA1884E Time : 0.0 sec. user=mdettweiler [2013-08-07 17:47:31] 651*2^1250006-1 is not prime. Res64: 53400E6EBF58B3E0 Time : 0.0 sec. user=mdettweiler [2013-08-07 17:48:06] 683*2^1250006-1 is not prime. Res64: F518C4E1A6D4A336 Time : 0.0 sec. user=mdettweiler [2013-08-07 17:48:06] 827*2^1250006-1 is not prime. Res64: D6F3716692EDC9B6 Time : 0.0 sec. user=mdettweiler [2013-08-07 17:59:22] 887*2^1250006-1 is not prime. Res64: D0BB226E077C74F8 Time : 0.0 sec. user=mdettweiler [2013-08-07 17:59:23] 903*2^1250006-1 is not prime. Res64: 399D1F49870B83D8 Time : 0.0 sec. user=Beyond [2013-08-07 18:02:07] 843*2^1250006-1 is not prime. Res64: 15DB7A094096E831 Time : 0.0 sec. user=Beyond [2013-08-07 18:02:11] 873*2^1250006-1 is not prime. Res64: DE62F0B83E3835CA Time : 0.0 sec. user=Beyond [2013-08-07 18:02:16] 875*2^1250006-1 is not prime. Res64: 896678928353E69E Time : 0.0 sec. user=mdettweiler [2013-08-07 18:05:08] 941*2^1250006-1 is not prime. Res64: 71D344189326A7A3 Time : 0.0 sec. user=mdettweiler [2013-08-07 18:05:09] 693*2^1250007-1 is not prime. Res64: DE4C46D48DAC7792 Time : 0.0 sec. user=mdettweiler [2013-08-07 18:07:17] 751*2^1250007-1 is not prime. Res64: 48973A9C3E8C468B Time : 0.0 sec. user=mdettweiler [2013-08-07 18:07:18] 865*2^1250007-1 is not prime. Res64: 3E0D30575DE9D8EF Time : 0.0 sec. user=Beyond [2013-08-07 18:09:24] 735*2^1250007-1 is not prime. Res64: 3619EB626E181DB2 Time : 0.0 sec. user=mdettweiler [2013-08-07 18:09:37] 919*2^1250007-1 is not prime. Res64: 7C0A193E945535E0 Time : 0.0 sec. user=mdettweiler [2013-08-07 18:09:38] 933*2^1250007-1 is not prime. Res64: F27C9397131CEB8A Time : 0.0 sec. user=mdettweiler [2013-08-07 18:19:56] 975*2^1250007-1 is not prime. Res64: 1E1AFA1C3962204A Time : 0.0 sec. user=mdettweiler [2013-08-07 18:19:57] 663*2^1250008-1 is not prime. Res64: B7B23187A2B2BEEA Time : 0.0 sec. user=mdettweiler [2013-08-07 18:24:41] 721*2^1250009-1 is not prime. Res64: 7886B7E996B885AB Time : 0.0 sec. user=mdettweiler [2013-08-07 18:24:41] 747*2^1250009-1 is not prime. Res64: FA4BD2EBACB69621 Time : 0.0 sec. user=Beyond [2013-08-07 18:24:57] 705*2^1250008-1 is not prime. Res64: 8E79574CC95E6846 Time : 0.0 sec. user=Beyond [2013-08-07 18:24:57] 833*2^1250008-1 is not prime. Res64: FFA54B8713C821EA Time : 0.0 sec. user=mdettweiler [2013-08-07 18:26:49] 861*2^1250009-1 is not prime. Res64: 309C2085FFAB47A6 Time : 0.0 sec. user=mdettweiler [2013-08-07 18:26:50] 657*2^1250010-1 is not prime. Res64: 9F554E6A418F6BA9 Time : 0.0 sec. user=mdettweiler [2013-08-07 18:29:11] 833*2^1250010-1 is not prime. Res64: A0D487A521445607 Time : 0.0 sec. user=mdettweiler [2013-08-07 18:29:12] 861*2^1250010-1 is not prime. Res64: 6B838D880362FA56 Time : 0.0 sec. user=Beyond [2013-08-07 18:29:14] 999*2^1250008-1 is not prime. Res64: 7F570229AF551304 Time : 0.0 sec. user=Beyond [2013-08-07 18:32:08] 773*2^1250010-1 is not prime. Res64: 84E33EF3263B70D9 Time : 0.0 sec. user=mdettweiler [2013-08-07 18:40:24] 921*2^1250010-1 is not prime. Res64: A3B884A364ECCA71 Time : 0.0 sec. user=mdettweiler [2013-08-07 18:40:24] 619*2^1250011-1 is not prime. Res64: B0C848D89AC7FBB6 Time : 0.0 sec. user=mdettweiler [2013-08-07 18:44:19] 871*2^1250011-1 is not prime. Res64: D4F33BFFB6EF7F45 Time : 0.0 sec. user=mdettweiler [2013-08-07 18:44:19] 909*2^1250011-1 is not prime. Res64: 8F6AFB31EB313927 Time : 0.0 sec. user=mdettweiler [2013-08-07 18:46:36] 635*2^1250012-1 is not prime. Res64: C539FC35DC43F181 Time : 0.0 sec. user=mdettweiler [2013-08-07 18:46:37] 833*2^1250012-1 is not prime. Res64: D2F1F5A000D249A0 Time : 0.0 sec. user=mdettweiler [2013-08-07 18:48:46] 857*2^1250012-1 is not prime. Res64: F8F2DEA848B1D1B4 Time : 0.0 sec. user=mdettweiler [2013-08-07 18:48:46] 885*2^1250012-1 is not prime. Res64: D9CBE8CF32425D4E Time : 0.0 sec. user=Beyond [2013-08-07 18:51:48] 903*2^1250012-1 is not prime. Res64: 0F750C9996FB9054 Time : 0.0 sec. user=Beyond [2013-08-07 18:51:55] 931*2^1250011-1 is not prime. Res64: 759F4A3C3A7EF9F3 Time : 0.0 sec. user=Beyond [2013-08-07 18:51:57] 969*2^1250011-1 is not prime. Res64: 910BF0C521CDE957 Time : 0.0 sec. user=Beyond [2013-08-07 18:54:43] 781*2^1250013-1 is not prime. Res64: E74C2AC8A856DE7D Time : 0.0 sec. user=mdettweiler [2013-08-07 18:59:58] 787*2^1250013-1 is not prime. Res64: 7760BD8383186386 Time : 0.0 sec. user=mdettweiler [2013-08-07 18:59:59] 789*2^1250013-1 is not prime. Res64: 8BEE73C6547340BD Time : 0.0 sec. user=mdettweiler [2013-08-07 19:04:51] 895*2^1250013-1 is not prime. Res64: 2480ED3585BAD018 Time : 0.0 sec. user=mdettweiler [2013-08-07 19:04:52] 951*2^1250013-1 is not prime. Res64: 0D629679A2BC1C51 Time : 0.0 sec. user=mdettweiler [2013-08-07 19:06:11] 611*2^1250014-1 is not prime. Res64: 513DF101C7B89F5B Time : 0.0 sec. user=mdettweiler [2013-08-07 19:06:12] 635*2^1250014-1 is not prime. Res64: 5D0F88DEF9E4E379 Time : 0.0 sec. user=mdettweiler [2013-08-07 19:08:20] 687*2^1250014-1 is not prime. Res64: 83A161DEB68E7460 Time : 0.0 sec. user=mdettweiler [2013-08-07 19:08:22] 707*2^1250014-1 is not prime. Res64: C217E422A8073D1B Time : 0.0 sec. user=Beyond [2013-08-07 19:14:44] 731*2^1250014-1 is not prime. Res64: 48496FA9CE56BA77 Time : 0.0 sec. user=Beyond [2013-08-07 19:14:50] 863*2^1250014-1 is not prime. Res64: 6594648BB5F0B602 Time : 0.0 sec. user=Beyond [2013-08-07 19:14:51] 885*2^1250014-1 is not prime. Res64: E934147AC88C57CF Time : 0.0 sec. user=Beyond [2013-08-07 19:17:39] 891*2^1250014-1 is not prime. Res64: 9B45A6B87C6AD968 Time : 0.0 sec. user=mdettweiler [2013-08-07 19:19:33] 645*2^1250015-1 is not prime. Res64: A405EAC3BF051796 Time : 0.0 sec. user=mdettweiler [2013-08-07 19:19:34] 753*2^1250015-1 is not prime. Res64: 4382008FABE1308E Time : 0.0 sec. user=mdettweiler [2013-08-07 19:25:22] 799*2^1250015-1 is not prime. Res64: 7A7DA6ED97A369F0 Time : 0.0 sec. user=mdettweiler [2013-08-07 19:25:22] 985*2^1250015-1 is not prime. Res64: 8055D6019F49E2B1 Time : 0.0 sec. user=mdettweiler [2013-08-07 19:26:41] 999*2^1250015-1 is not prime. Res64: CA0EDB1DE81B000E Time : 0.0 sec. user=mdettweiler [2013-08-07 19:26:41] 615*2^1250016-1 is not prime. Res64: B33FFF1CD6D13593 Time : 0.0 sec. user=mdettweiler [2013-08-07 19:27:58] 669*2^1250016-1 is not prime. Res64: B5F86C1E10C3DB72 Time : 0.0 sec. user=mdettweiler [2013-08-07 19:27:58] 689*2^1250016-1 is not prime. Res64: D25D8E097B9DD3EF Time : 0.0 sec. user=Beyond [2013-08-07 19:37:43] 879*2^1250016-1 is not prime. Res64: 7641D5F4BA722217 Time : 0.0 sec. user=Beyond [2013-08-07 19:37:43] 615*2^1250017-1 is not prime. Res64: 6A92824863640CB8 Time : 0.0 sec. user=Beyond [2013-08-07 19:37:46] 759*2^1250017-1 is not prime. Res64: 0ED72687EF77F107 Time : 0.0 sec. user=mdettweiler [2013-08-07 19:40:06] 967*2^1250017-1 is not prime. Res64: 9605432FE09ED67B Time : 0.0 sec. user=mdettweiler [2013-08-07 19:40:06] 743*2^1250018-1 is not prime. Res64: CDA95EE13EFCC7A1 Time : 0.0 sec. user=Beyond [2013-08-07 19:40:31] 871*2^1250017-1 is not prime. Res64: 8F6ECB4EDC86F3CF Time : 0.0 sec. user=mdettweiler [2013-08-07 19:44:59] 827*2^1250018-1 is not prime. Res64: C2642D91306E92F7 Time : 0.0 sec. user=mdettweiler [2013-08-07 19:45:00] 837*2^1250018-1 is not prime. Res64: C989A57E87131E70 Time : 0.0 sec. user=mdettweiler [2013-08-07 19:47:19] 857*2^1250018-1 is not prime. Res64: 4380565ACACDA782 Time : 0.0 sec. user=mdettweiler [2013-08-07 19:47:19] 953*2^1250018-1 is not prime. Res64: 8E27167C2E080ED3 Time : 0.0 sec. user=mdettweiler [2013-08-07 19:48:33] 977*2^1250018-1 is not prime. Res64: 697890075DD037AA Time : 0.0 sec. user=mdettweiler [2013-08-07 19:48:34] 639*2^1250019-1 is not prime. Res64: 0E28DE21E8F8C120 Time : 0.0 sec. user=Beyond [2013-08-07 20:00:27] 853*2^1250019-1 is not prime. Res64: 982ECEAD74897BBF Time : 0.0 sec. user=mdettweiler [2013-08-07 20:00:43] 999*2^1250019-1 is not prime. Res64: 6A516F28E0A5B766 Time : 0.0 sec. user=mdettweiler [2013-08-07 20:00:44] 615*2^1250020-1 is not prime. Res64: 46D7A0725569D7B8 Time : 0.0 sec. user=Beyond [2013-08-07 20:03:11] 689*2^1250020-1 is not prime. Res64: C94DDB2FBC28D4CD Time : 0.0 sec. user=Beyond [2013-08-07 20:04:36] 943*2^1250019-1 is not prime. Res64: 8DFC77D62CD0F4F5 Time : 0.0 sec. user=Beyond [2013-08-07 20:04:43] 985*2^1250019-1 is not prime. Res64: CCEEFC0A6CB9D574 Time : 0.0 sec. user=mdettweiler [2013-08-07 20:04:45] 783*2^1250020-1 is not prime. Res64: 9D0A7093CEA6B3E5 Time : 0.0 sec. user=mdettweiler [2013-08-07 20:04:45] 827*2^1250020-1 is not prime. Res64: 45133D2AB6B10A94 Time : 0.0 sec. user=mdettweiler [2013-08-07 20:07:04] 619*2^1250021-1 is not prime. Res64: E2EBCC7CD8C6D8FD Time : 0.0 sec. user=mdettweiler [2013-08-07 20:07:05] 657*2^1250021-1 is not prime. Res64: 08B12EA56F4DE3A2 Time : 0.0 sec. user=mdettweiler [2013-08-07 20:10:14] 927*2^1250021-1 is not prime. Res64: DBFF1CF422CBB617 Time : 0.0 sec. user=mdettweiler [2013-08-07 20:10:15] 937*2^1250021-1 is not prime. Res64: C55034871DCA48F3 Time : 0.0 sec. user=mdettweiler [2013-08-07 20:22:22] 955*2^1250021-1 is not prime. Res64: D6F2C48DFA0BEB8F Time : 0.0 sec. user=mdettweiler [2013-08-07 20:22:22] 991*2^1250021-1 is not prime. Res64: 60F5E08D532CD0EB Time : 0.0 sec. user=mdettweiler [2013-08-07 20:24:31] 815*2^1250022-1 is not prime. Res64: 4B9DA8C719F51867 Time : 0.0 sec. user=mdettweiler [2013-08-07 20:24:32] 885*2^1250022-1 is not prime. Res64: C4D856FEDA284BDE Time : 0.0 sec. user=Beyond [2013-08-07 20:26:01] 665*2^1250022-1 is not prime. Res64: 72D61665F20491A2 Time : 0.0 sec. user=Beyond [2013-08-07 20:27:19] 683*2^1250022-1 is not prime. Res64: EDAC534B9CEF0E3C Time : 0.0 sec. user=Beyond [2013-08-07 20:27:29] 765*2^1250022-1 is not prime. Res64: D324553CFC9BABFD Time : 0.0 sec. user=Beyond [2013-08-07 20:27:41] 949*2^1250021-1 is not prime. Res64: 532D818C6F31E885 Time : 0.0 sec. user=mdettweiler [2013-08-07 20:28:45] 945*2^1250022-1 is not prime. Res64: 60DF6EF558D25F25 Time : 0.0 sec. user=mdettweiler [2013-08-07 20:28:45] 963*2^1250022-1 is not prime. Res64: A1A68CCF1925A7FF Time : 0.0 sec. user=mdettweiler [2013-08-07 20:30:57] 983*2^1250022-1 is not prime. Res64: B51472F4C00A9253 Time : 0.0 sec. user=mdettweiler [2013-08-07 20:30:58] 681*2^1250023-1 is not prime. Res64: 89297F6AF819CC41 Time : 0.0 sec. user=mdettweiler [2013-08-07 20:42:14] 705*2^1250023-1 is not prime. Res64: A902C5D308BAF129 Time : 0.0 sec. user=mdettweiler [2013-08-07 20:42:15] 729*2^1250023-1 is not prime. Res64: 90B90FD5987806C7 Time : 0.0 sec. user=mdettweiler [2013-08-07 20:44:15] 745*2^1250023-1 is not prime. Res64: 2333B96DDB922A33 Time : 0.0 sec. user=mdettweiler [2013-08-07 20:44:15] 629*2^1250024-1 is not prime. Res64: ADD3D558BA1BC8DA Time : 0.0 sec. user=mdettweiler [2013-08-07 20:48:29] 803*2^1250024-1 is not prime. Res64: 3F4210EAA0FDFE66 Time : 0.0 sec. user=mdettweiler [2013-08-07 20:48:29] 857*2^1250024-1 is not prime. Res64: 4509C8F3FB872186 Time : 0.0 sec. user=Beyond [2013-08-07 20:48:56] 689*2^1250024-1 is not prime. Res64: 8B1987F25B566854 Time : 0.0 sec. user=Beyond [2013-08-07 20:50:13] 755*2^1250024-1 is not prime. Res64: 6B6856FF1320E897 Time : 0.0 sec. user=Beyond [2013-08-07 20:50:23] 785*2^1250024-1 is not prime. Res64: 048266686E33CE13 Time : 0.0 sec. user=Beyond [2013-08-07 20:50:34] 789*2^1250024-1 is not prime. Res64: 540D685A23A5BFE9 Time : 0.0 sec. user=mdettweiler [2013-08-07 20:51:41] 959*2^1250024-1 is not prime. Res64: 13C19B1DAC3EEBAE Time : 0.0 sec. user=mdettweiler [2013-08-07 20:51:41] 669*2^1250025-1 is not prime. Res64: E71E8BFC8B37FF3E Time : 0.0 sec. user=mdettweiler [2013-08-07 21:02:01] 685*2^1250025-1 is not prime. Res64: C9CF79C4139439C2 Time : 0.0 sec. user=mdettweiler [2013-08-07 21:02:03] 721*2^1250025-1 is not prime. Res64: 44C63358F86FE258 Time : 0.0 sec. user=mdettweiler [2013-08-07 21:04:57] 837*2^1250025-1 is not prime. Res64: 7460D5BA4FAF9754 Time : 0.0 sec. user=mdettweiler [2013-08-07 21:04:58] 951*2^1250025-1 is not prime. Res64: 4D772D9E861C6CF1 Time : 0.0 sec. user=mdettweiler [2013-08-07 21:08:12] 723*2^1250026-1 is not prime. Res64: E50929532FD7239D Time : 0.0 sec. user=mdettweiler [2013-08-07 21:08:13] 833*2^1250026-1 is not prime. Res64: 16630376C792B5D0 Time : 0.0 sec. user=mdettweiler [2013-08-07 21:11:25] 675*2^1250027-1 is not prime. Res64: 9D17647D9759A8D4 Time : 0.0 sec. user=mdettweiler [2013-08-07 21:11:26] 685*2^1250027-1 is not prime. Res64: 0218669651E12A59 Time : 0.0 sec. user=Beyond [2013-08-07 21:11:31] 857*2^1250026-1 is not prime. Res64: BA7206D46F9F2999 Time : 0.0 sec. user=Beyond [2013-08-07 21:13:08] 651*2^1250027-1 is not prime. Res64: 2BA0A34D35A7C221 Time : 0.0 sec. user=Beyond [2013-08-07 21:17:10] 923*2^1250026-1 is not prime. Res64: 7EA25A6688AD4B8D Time : 0.0 sec. user=Beyond [2013-08-07 21:17:24] 975*2^1250026-1 is not prime. Res64: 2952543593F2B84D Time : 0.0 sec. user=mdettweiler [2013-08-07 21:22:01] 879*2^1250027-1 is not prime. Res64: DA4E09D9C4F59E7D Time : 0.0 sec. user=mdettweiler [2013-08-07 21:22:02] 909*2^1250027-1 is not prime. Res64: 0241A886D86D0A0A Time : 0.0 sec. user=mdettweiler [2013-08-07 21:26:35] 949*2^1250027-1 is not prime. Res64: C64FB40A561B90AD Time : 0.0 sec. user=mdettweiler [2013-08-07 21:26:35] 955*2^1250027-1 is not prime. Res64: 967E5A556BAC2F48 Time : 0.0 sec. user=mdettweiler [2013-08-07 21:27:55] 663*2^1250028-1 is not prime. Res64: 9F029D096C979D26 Time : 0.0 sec. user=mdettweiler [2013-08-07 21:27:56] 759*2^1250028-1 is not prime. Res64: 5C38C807B1AB006E Time : 0.0 sec. user=mdettweiler [2013-08-07 21:31:09] 789*2^1250028-1 is not prime. Res64: 8088955A2A1764BD Time : 0.0 sec. user=mdettweiler [2013-08-07 21:31:10] 819*2^1250028-1 is not prime. Res64: 57077B6B0E230254 Time : 0.0 sec. user=Beyond [2013-08-07 21:34:10] 843*2^1250028-1 is not prime. Res64: 485BB45D5D15D06D Time : 0.0 sec. user=Beyond [2013-08-07 21:35:43] 867*2^1250028-1 is not prime. Res64: 679EA337E19E72A3 Time : 0.0 sec. user=mdettweiler [2013-08-07 21:41:47] 699*2^1250029-1 is not prime. Res64: 8FF007FE754AD2E3 Time : 0.0 sec. user=mdettweiler [2013-08-07 21:41:48] 861*2^1250029-1 is not prime. Res64: B1D5BF4919E1393F Time : 0.0 sec. user=Beyond [2013-08-07 21:44:08] 935*2^1250028-1 is not prime. Res64: 2701EB1FCFDDBEEE Time : 0.0 sec. user=Beyond [2013-08-07 21:44:23] 977*2^1250028-1 is not prime. Res64: 0E942C999DEA850C Time : 0.0 sec. user=mdettweiler [2013-08-07 21:46:23] 877*2^1250029-1 is not prime. Res64: 069EFB236EBD5266 Time : 0.0 sec. user=mdettweiler [2013-08-07 21:46:24] 885*2^1250029-1 is not prime. Res64: EE5030BA0D462098 Time : 0.0 sec. user=mdettweiler [2013-08-07 21:49:32] 985*2^1250029-1 is not prime. Res64: BC1E322284CF0B44 Time : 0.0 sec. user=mdettweiler [2013-08-07 21:49:33] 987*2^1250029-1 is not prime. Res64: 69F8A47411850E89 Time : 0.0 sec. user=mdettweiler [2013-08-07 21:50:57] 675*2^1250030-1 is not prime. Res64: D5FA533A363DBB76 Time : 0.0 sec. user=mdettweiler [2013-08-07 21:50:57] 717*2^1250030-1 is not prime. Res64: 489EF3AB09C1DD5F Time : 0.0 sec. user=Beyond [2013-08-07 21:56:53] 741*2^1250030-1 is not prime. Res64: 190190A7F93E1D19 Time : 0.0 sec. user=Beyond [2013-08-07 21:58:29] 755*2^1250030-1 is not prime. Res64: 49D8F50A1AC27A78 Time : 0.0 sec. user=mdettweiler [2013-08-07 22:01:32] 867*2^1250030-1 is not prime. Res64: C693D87E63C6C450 Time : 0.0 sec. user=mdettweiler [2013-08-07 22:01:33] 885*2^1250030-1 is not prime. Res64: E56A81D0F5050C37 Time : 0.0 sec. user=mdettweiler [2013-08-07 22:06:09] 619*2^1250031-1 is not prime. Res64: FD1BC7EA563D726F Time : 0.0 sec. user=mdettweiler [2013-08-07 22:06:10] 769*2^1250031-1 is not prime. Res64: F89BC6B71301A4EC Time : 0.0 sec. user=Beyond [2013-08-07 22:07:08] 615*2^1250031-1 is not prime. Res64: BE61F5C57F5919E8 Time : 0.0 sec. user=mdettweiler [2013-08-07 22:09:20] 781*2^1250031-1 is not prime. Res64: 99A54D228D812886 Time : 0.0 sec. user=mdettweiler [2013-08-07 22:09:21] 859*2^1250031-1 is not prime. Res64: 4EFD25256BD62957 Time : 0.0 sec. user=Beyond [2013-08-07 22:11:06] 987*2^1250030-1 is not prime. Res64: 75961DF5A0CD897E Time : 0.0 sec. user=mdettweiler [2013-08-07 22:12:31] 961*2^1250031-1 is not prime. Res64: 60C8D0B3BA5B754E Time : 0.0 sec. user=mdettweiler [2013-08-07 22:12:32] 975*2^1250031-1 is not prime. Res64: DA8E0EEA40751506 Time : 0.0 sec. user=Beyond [2013-08-07 22:21:12] 635*2^1250032-1 is not prime. Res64: 1FD5A1FE4D2C2243 Time : 0.0 sec. user=mdettweiler [2013-08-07 22:21:18] 687*2^1250032-1 is not prime. Res64: 435C0A7E31DAA91F Time : 0.0 sec. user=mdettweiler [2013-08-07 22:21:18] 719*2^1250032-1 is not prime. Res64: 3FD6A3B1AB7ED4E6 Time : 0.0 sec. user=Beyond [2013-08-07 22:23:51] 979*2^1250031-1 is not prime. Res64: 9244F94AE00A1B2C Time : 0.0 sec. user=mdettweiler [2013-08-07 22:25:52] 723*2^1250032-1 is not prime. Res64: CDFE931B9EE87D36 Time : 0.0 sec. user=mdettweiler [2013-08-07 22:25:52] 803*2^1250032-1 is not prime. Res64: 420E414A27F6CC1F Time : 0.0 sec. user=Beyond [2013-08-07 22:29:56] 863*2^1250032-1 is not prime. Res64: E50DA5BF7F180145 Time : 0.0 sec. user=mdettweiler [2013-08-07 22:29:59] 915*2^1250032-1 is not prime. Res64: D651EFD87E5B7B00 Time : 0.0 sec. user=mdettweiler [2013-08-07 22:30:00] 957*2^1250032-1 is not prime. Res64: 32E93031B0DFEF35 Time : 0.0 sec. user=mdettweiler [2013-08-07 22:32:17] 675*2^1250033-1 is not prime. Res64: 8E58C56B78A656A1 Time : 0.0 sec. user=mdettweiler [2013-08-07 22:32:17] 771*2^1250033-1 is not prime. Res64: D5698F3443AAA6ED Time : 0.0 sec. user=Beyond [2013-08-07 22:33:52] 631*2^1250033-1 is not prime. Res64: B9DBBB2CD0A82014 Time : 0.0 sec. user=mdettweiler [2013-08-07 22:40:59] 621*2^1250034-1 is not prime. Res64: 0FB34A91426EA161 Time : 0.0 sec. user=mdettweiler [2013-08-07 22:41:00] 683*2^1250034-1 is not prime. Res64: A1F6ACE26E2386A4 Time : 0.0 sec. user=mdettweiler [2013-08-07 22:45:36] 767*2^1250034-1 is not prime. Res64: BFFBD3B0FEA6EC38 Time : 0.0 sec. user=mdettweiler [2013-08-07 22:45:37] 893*2^1250034-1 is not prime. Res64: 765251A38582B582 Time : 0.0 sec. user=Beyond [2013-08-07 22:46:32] 705*2^1250034-1 is not prime. Res64: AD12456956439B48 Time : 0.0 sec. user=Beyond [2013-08-07 22:48:13] 949*2^1250033-1 is not prime. Res64: B53B28977540B0B9 Time : 0.0 sec. user=mdettweiler [2013-08-07 22:49:45] 679*2^1250035-1 is not prime. Res64: 622609D63643459D Time : 0.0 sec. user=mdettweiler [2013-08-07 22:49:45] 735*2^1250035-1 is not prime. Res64: AB8B626B05862E31 Time : 0.0 sec. user=mdettweiler [2013-08-07 22:52:00] 829*2^1250035-1 is not prime. Res64: 7FF1B205E66FE65D Time : 0.0 sec. user=mdettweiler [2013-08-07 22:52:00] 853*2^1250035-1 is not prime. Res64: FAD21D47E967B43F Time : 0.0 sec. user=Beyond [2013-08-07 22:52:38] 601*2^1250035-1 is not prime. Res64: CDD0B106A47588DA Time : 0.0 sec. user=mdettweiler [2013-08-07 23:00:39] 725*2^1250036-1 is not prime. Res64: D0DA216EB4C2AC21 Time : 0.0 sec. user=mdettweiler [2013-08-07 23:00:40] 743*2^1250036-1 is not prime. Res64: 728C858FA530D200 Time : 0.0 sec. user=Beyond [2013-08-07 23:00:49] 925*2^1250035-1 is not prime. Res64: 7FDE478949021759 Time : 0.0 sec. user=mdettweiler [2013-08-07 23:05:21] 785*2^1250036-1 is not prime. Res64: 8B27099F08ECD26C Time : 0.0 sec. user=mdettweiler [2013-08-07 23:05:22] 899*2^1250036-1 is not prime. Res64: 8911D4F7B2628901 Time : 0.0 sec. user=mdettweiler [2013-08-07 23:09:29] 615*2^1250037-1 is not prime. Res64: 381A998A441297C5 Time : 0.0 sec. user=mdettweiler [2013-08-07 23:09:29] 667*2^1250037-1 is not prime. Res64: 0A4DF7558587DA98 Time : 0.0 sec. user=Beyond [2013-08-07 23:10:53] 609*2^1250037-1 is not prime. Res64: 5794CA6ECB83222B Time : 0.0 sec. user=mdettweiler [2013-08-07 23:11:46] 699*2^1250037-1 is not prime. Res64: DA2EC48A87582831 Time : 0.0 sec. user=mdettweiler [2013-08-07 23:11:47] 781*2^1250037-1 is not prime. Res64: DE76CC800DB74B03 Time : 0.0 sec. user=Beyond [2013-08-07 23:13:33] 953*2^1250036-1 is not prime. Res64: AEDF7958A3588732 Time : 0.0 sec. user=Beyond [2013-08-07 23:15:20] 847*2^1250037-1 is not prime. Res64: 0FA988835D397EE1 Time : 0.0 sec. user=mdettweiler [2013-08-07 23:20:29] 861*2^1250037-1 is not prime. Res64: B3521D73931EB2E5 Time : 0.0 sec. user=mdettweiler [2013-08-07 23:20:30] 871*2^1250037-1 is not prime. Res64: D9377F1C7A231B24 Time : 0.0 sec. user=mdettweiler [2013-08-07 23:25:06] 747*2^1250038-1 is not prime. Res64: AACC33E261421FBD Time : 0.0 sec. user=mdettweiler [2013-08-07 23:25:07] 773*2^1250038-1 is not prime. Res64: 7BAD2B56E7D5263D Time : 0.0 sec. user=Beyond [2013-08-07 23:27:49] 937*2^1250037-1 is not prime. Res64: 5D6B40A237CABFC3 Time : 0.0 sec. user=mdettweiler [2013-08-07 23:29:11] 801*2^1250038-1 is not prime. Res64: AADE0812E9EFD107 Time : 0.0 sec. user=mdettweiler [2013-08-07 23:29:12] 843*2^1250039-1 is not prime. Res64: 8F867FC98FBCFDB0 Time : 0.0 sec. user=mdettweiler [2013-08-07 23:31:38] 725*2^1250040-1 is not prime. Res64: B7B89B6287FD9CED Time : 0.0 sec. user=mdettweiler [2013-08-07 23:31:39] 839*2^1250040-1 is not prime. Res64: 03F793B6E4DA210D Time : 0.0 sec. user=Beyond [2013-08-07 23:33:42] 675*2^1250040-1 is not prime. Res64: 07DFA8A5182F34DC Time : 0.0 sec. user=Beyond [2013-08-07 23:36:20] 905*2^1250040-1 is not prime. Res64: 29B985B4E56FAFFC Time : 0.0 sec. user=Beyond [2013-08-07 23:38:07] 909*2^1250040-1 is not prime. Res64: 5C6FD245AD9E128D Time : 0.0 sec. user=mdettweiler [2013-08-07 23:40:14] 681*2^1250041-1 is not prime. Res64: 68BCBAA01CCA5B7A Time : 0.0 sec. user=mdettweiler [2013-08-07 23:40:15] 777*2^1250041-1 is not prime. Res64: C3A04BB4FB124554 Time : 0.0 sec. user=mdettweiler [2013-08-07 23:44:54] 847*2^1250041-1 is not prime. Res64: 2A34A01C812D7339 Time : 0.0 sec. user=mdettweiler [2013-08-07 23:44:55] 855*2^1250041-1 is not prime. Res64: 6971D06E2D85716A Time : 0.0 sec. user=mdettweiler [2013-08-07 23:50:47] 921*2^1250042-1 is not prime. Res64: F4ECCCD0051F6EB6 Time : 0.0 sec. user=mdettweiler [2013-08-07 23:50:47] 977*2^1250042-1 is not prime. Res64: 460CB7FCD78DBDB2 Time : 0.0 sec. user=mdettweiler [2013-08-07 23:51:22] 649*2^1250043-1 is not prime. Res64: 175B4789F189E9DE Time : 0.0 sec. user=mdettweiler [2013-08-07 23:51:23] 669*2^1250043-1 is not prime. Res64: 1492C0FCD878F5E8 Time : 0.0 sec. user=Beyond [2013-08-07 23:54:46] 975*2^1250041-1 is not prime. Res64: 033F80E946E88828 Time : 0.0 sec. user=Beyond [2013-08-07 23:56:24] 705*2^1250043-1 is not prime. Res64: 80C197E2BDAC1576 Time : 0.0 sec. user=Beyond [2013-08-07 23:59:06] 721*2^1250043-1 is not prime. Res64: 9C16B655E77557D5 Time : 0.0 sec. user=mdettweiler [2013-08-07 23:59:59] 795*2^1250043-1 is not prime. Res64: 883954AA64148CD1 Time : 0.0 sec. user=mdettweiler [2013-08-08 00:00:00] 803*2^1250044-1 is not prime. Res64: F648F63ACB648ADB Time : 0.0 sec. user=Beyond [2013-08-08 00:00:50] 723*2^1250043-1 is not prime. Res64: BE5D64E259F6477D Time : 0.0 sec.