user=mdettweiler [2015-04-08 00:06:58] 609*2^1397139-1 is not prime. Res64: 7A6993BE1A68C66F Time : 0.0 sec. user=mdettweiler [2015-04-08 00:06:59] 613*2^1397139-1 is not prime. Res64: 98732D00ED55F0EB Time : 0.0 sec. user=mdettweiler [2015-04-08 00:08:48] 885*2^1397139-1 is not prime. Res64: 8C86FBF0D155F9A4 Time : 0.0 sec. user=mdettweiler [2015-04-08 00:08:49] 891*2^1397139-1 is not prime. Res64: 48BFD2D044A7CE52 Time : 0.0 sec. user=mdettweiler [2015-04-08 00:09:13] 949*2^1397139-1 is not prime. Res64: 2BCF71159997BC9F Time : 0.0 sec. user=mdettweiler [2015-04-08 00:09:14] 717*2^1397140-1 is not prime. Res64: 67FA47F491B0947D Time : 0.0 sec. user=mdettweiler [2015-04-08 00:26:50] 785*2^1397140-1 is not prime. Res64: 2C6C92B8A90B6A80 Time : 0.0 sec. user=mdettweiler [2015-04-08 00:26:50] 827*2^1397140-1 is not prime. Res64: 7F326906A4F23C86 Time : 0.0 sec. user=mdettweiler [2015-04-08 00:34:58] 843*2^1397140-1 is not prime. Res64: EA8CCF9DAFD6BBDF Time : 0.0 sec. user=mdettweiler [2015-04-08 00:34:59] 885*2^1397140-1 is not prime. Res64: BF69D41347FBCEDD Time : 0.0 sec. user=mdettweiler [2015-04-08 00:36:16] 899*2^1397140-1 is not prime. Res64: E4A80CDD56BFB827 Time : 0.0 sec. user=mdettweiler [2015-04-08 00:36:16] 909*2^1397140-1 is not prime. Res64: AB5E0DD8BDAB19EA Time : 0.0 sec. user=mdettweiler [2015-04-08 00:37:12] 923*2^1397140-1 is not prime. Res64: 3AD33B475F62D64A Time : 0.0 sec. user=mdettweiler [2015-04-08 00:37:13] 975*2^1397140-1 is not prime. Res64: A43B19F6A349D63B Time : 0.0 sec. user=juhehe [2015-04-08 00:52:38] 983*2^1397140-1 is not prime. Res64: B760F1192664DF94 Time : 0.0 sec. user=mdettweiler [2015-04-08 00:54:20] 989*2^1397140-1 is not prime. Res64: 58032891A1A80D7E Time : 0.0 sec. user=mdettweiler [2015-04-08 00:54:20] 735*2^1397141-1 is not prime. Res64: B9366196D560D211 Time : 0.0 sec. user=mdettweiler [2015-04-08 01:02:14] 957*2^1397141-1 is not prime. Res64: 4A73D1AC20C0DC37 Time : 0.0 sec. user=mdettweiler [2015-04-08 01:02:15] 611*2^1397142-1 is not prime. Res64: 15FB1934C6BD4A3B Time : 0.0 sec. user=mdettweiler [2015-04-08 01:03:28] 621*2^1397142-1 is not prime. Res64: 38339D78F49B7C5B Time : 0.0 sec. user=mdettweiler [2015-04-08 01:03:30] 635*2^1397142-1 is not prime. Res64: 5FAA0D33EAC625C5 Time : 0.0 sec. user=mdettweiler [2015-04-08 01:04:13] 941*2^1397142-1 is not prime. Res64: 722D5807AD1021E7 Time : 0.0 sec. user=mdettweiler [2015-04-08 01:04:15] 963*2^1397142-1 is not prime. Res64: 8FCE2E921274E6F4 Time : 0.0 sec. user=mdettweiler [2015-04-08 01:22:07] 975*2^1397142-1 is not prime. Res64: C645A92469A00361 Time : 0.0 sec. user=mdettweiler [2015-04-08 01:22:08] 685*2^1397143-1 is not prime. Res64: 8078D3E0357B9599 Time : 0.0 sec. user=mdettweiler [2015-04-08 01:30:09] 693*2^1397143-1 is not prime. Res64: 79315E4F4DE6A5E4 Time : 0.0 sec. user=mdettweiler [2015-04-08 01:30:11] 705*2^1397143-1 is not prime. Res64: 5FC8C4B55C392D51 Time : 0.0 sec. user=mdettweiler [2015-04-08 01:31:41] 993*2^1397143-1 is not prime. Res64: 48C057B517D3A254 Time : 0.0 sec. user=mdettweiler [2015-04-08 01:31:42] 605*2^1397144-1 is not prime. Res64: 4BA18C3F589AC43B Time : 0.0 sec. user=mdettweiler [2015-04-08 01:31:50] 811*2^1397143-1 is not prime. Res64: 2B6127DFFE96F1A0 Time : 0.0 sec. user=mdettweiler [2015-04-08 01:31:51] 951*2^1397143-1 is not prime. Res64: 954CB3C37CA1F3D0 Time : 0.0 sec. user=mdettweiler [2015-04-08 01:49:01] 617*2^1397144-1 is not prime. Res64: 480CF98C34BA7A89 Time : 0.0 sec. user=mdettweiler [2015-04-08 01:49:01] 629*2^1397144-1 is not prime. Res64: 9200DE43E1125198 Time : 0.0 sec. user=mdettweiler [2015-04-08 01:57:00] 843*2^1397144-1 is not prime. Res64: A38F91C455F953B2 Time : 0.0 sec. user=mdettweiler [2015-04-08 01:57:01] 869*2^1397144-1 is not prime. Res64: 6B7F1148C090F026 Time : 0.0 sec. user=mdettweiler [2015-04-08 01:58:19] 607*2^1397145-1 is not prime. Res64: 1FD215EBDF016E42 Time : 0.0 sec. user=mdettweiler [2015-04-08 01:58:19] 657*2^1397145-1 is not prime. Res64: D9AE6E8E43FD5981 Time : 0.0 sec. user=mdettweiler [2015-04-08 01:58:31] 861*2^1397145-1 is not prime. Res64: 53FD42606189ABB9 Time : 0.0 sec. user=mdettweiler [2015-04-08 01:58:31] 675*2^1397146-1 is not prime. Res64: 6BEAA2157917F8C6 Time : 0.0 sec. user=mdettweiler [2015-04-08 02:15:42] 677*2^1397146-1 is not prime. Res64: 2D8C80E5FB568716 Time : 0.0 sec. user=mdettweiler [2015-04-08 02:15:43] 723*2^1397146-1 is not prime. Res64: BF7091952F8E0A8C Time : 0.0 sec. user=mdettweiler [2015-04-08 02:23:44] 1001*2^1397146-1 is not prime. Res64: C625C72460B1327B Time : 0.0 sec. user=mdettweiler [2015-04-08 02:23:44] 859*2^1397147-1 is not prime. Res64: 5A9DDB4F217C7BD6 Time : 0.0 sec. user=mdettweiler [2015-04-08 02:24:55] 663*2^1397148-1 is not prime. Res64: C078DFFD9E009E31 Time : 0.0 sec. user=mdettweiler [2015-04-08 02:24:55] 689*2^1397148-1 is not prime. Res64: 9CBD44AD21754EF1 Time : 0.0 sec. user=mdettweiler [2015-04-08 02:25:01] 845*2^1397148-1 is not prime. Res64: C1CA00B4098EB2C4 Time : 0.0 sec. user=mdettweiler [2015-04-08 02:25:02] 933*2^1397148-1 is not prime. Res64: A2C97953B0178C23 Time : 0.0 sec. user=juhehe [2015-04-08 02:27:41] 843*2^1397146-1 is not prime. Res64: EFBA51AD5DBD4364 Time : 0.0 sec. user=mdettweiler [2015-04-08 02:42:21] 987*2^1397148-1 is not prime. Res64: E7DC3C3DD9EE508F Time : 0.0 sec. user=mdettweiler [2015-04-08 02:42:21] 675*2^1397149-1 is not prime. Res64: 1CEA16C9FCE4D6C8 Time : 0.0 sec. user=juhehe [2015-04-08 02:47:25] 969*2^1397148-1 is not prime. Res64: 65BD10D2BC3F2930 Time : 0.0 sec. user=mdettweiler [2015-04-08 02:50:16] 729*2^1397149-1 is not prime. Res64: 584AEB4243221395 Time : 0.0 sec. user=mdettweiler [2015-04-08 02:50:16] 979*2^1397149-1 is not prime. Res64: D013B5AA573C9825 Time : 0.0 sec. user=mdettweiler [2015-04-08 02:51:28] 741*2^1397150-1 is not prime. Res64: 6D366456D8E336C5 Time : 0.0 sec. user=mdettweiler [2015-04-08 02:51:29] 923*2^1397150-1 is not prime. Res64: 58735DD3C04942C1 Time : 0.0 sec. user=mdettweiler [2015-04-08 02:51:35] 999*2^1397149-1 is not prime. Res64: 77D4EA39E8C21E49 Time : 0.0 sec. user=mdettweiler [2015-04-08 02:51:35] 627*2^1397150-1 is not prime. Res64: 65611709557BC7C5 Time : 0.0 sec. user=mdettweiler [2015-04-08 03:09:03] 953*2^1397150-1 is not prime. Res64: 3624F653F1835E88 Time : 0.0 sec. user=mdettweiler [2015-04-08 03:09:03] 619*2^1397151-1 is not prime. Res64: 76AC87F4AFDFF8B2 Time : 0.0 sec. user=mdettweiler [2015-04-08 03:16:48] 625*2^1397151-1 is not prime. Res64: 5AA45B42D9A43AEF Time : 0.0 sec. user=mdettweiler [2015-04-08 03:16:48] 651*2^1397151-1 is not prime. Res64: F1614BC32C4959F5 Time : 0.0 sec. user=mdettweiler [2015-04-08 03:17:50] 825*2^1397151-1 is not prime. Res64: 3513004720CF77C4 Time : 0.0 sec. user=mdettweiler [2015-04-08 03:17:50] 861*2^1397151-1 is not prime. Res64: 77BEE86089127E50 Time : 0.0 sec. user=mdettweiler [2015-04-08 03:18:11] 999*2^1397151-1 is not prime. Res64: 86324474275F9D97 Time : 0.0 sec. user=mdettweiler [2015-04-08 03:18:12] 609*2^1397152-1 is not prime. Res64: 83C49DE7A7D83CFE Time : 0.0 sec. user=mdettweiler [2015-04-08 03:35:32] 705*2^1397152-1 is not prime. Res64: C12E22EEFE224151 Time : 0.0 sec. user=mdettweiler [2015-04-08 03:35:35] 735*2^1397152-1 is not prime. Res64: A1510E5CAAF8C4F7 Time : 0.0 sec. user=mdettweiler [2015-04-08 03:43:15] 903*2^1397152-1 is not prime. Res64: FE2F1D0C9AC85C2D Time : 0.0 sec. user=mdettweiler [2015-04-08 03:43:17] 929*2^1397152-1 is not prime. Res64: 3B1C50D2D52D56E2 Time : 0.0 sec. user=mdettweiler [2015-04-08 03:43:54] 989*2^1397152-1 is not prime. Res64: E2D5BF73413490EB Time : 0.0 sec. user=mdettweiler [2015-04-08 03:43:55] 995*2^1397152-1 is not prime. Res64: 42A94C49EC060BAE Time : 0.0 sec. user=mdettweiler [2015-04-08 03:44:32] 999*2^1397152-1 is not prime. Res64: F183F535862D7773 Time : 0.0 sec. user=mdettweiler [2015-04-08 03:44:35] 691*2^1397153-1 is not prime. Res64: AD9B27412108F780 Time : 0.0 sec. user=mdettweiler [2015-04-08 04:02:40] 729*2^1397153-1 is not prime. Res64: B8CBE0BFD9FC7194 Time : 0.0 sec. user=mdettweiler [2015-04-08 04:02:42] 951*2^1397153-1 is not prime. Res64: DC0A03A279F7EE61 Time : 0.0 sec. user=mdettweiler [2015-04-08 04:09:58] 621*2^1397154-1 is not prime. Res64: 0DA47C91FCB5473D Time : 0.0 sec. user=mdettweiler [2015-04-08 04:09:58] 633*2^1397154-1 is not prime. Res64: 80FB4613B6BE51E4 Time : 0.0 sec. user=mdettweiler [2015-04-08 04:10:10] 635*2^1397154-1 is not prime. Res64: 9570601F8E79E62E Time : 0.0 sec. user=mdettweiler [2015-04-08 04:10:10] 665*2^1397154-1 is not prime. Res64: 6645D2FDD19582E2 Time : 0.0 sec. user=mdettweiler [2015-04-08 04:11:09] 681*2^1397154-1 is not prime. Res64: 9E47977C45C9E30E Time : 0.0 sec. user=mdettweiler [2015-04-08 04:11:10] 705*2^1397154-1 is not prime. Res64: C629FBFDDE5215F9 Time : 0.0 sec. user=mdettweiler [2015-04-08 04:31:11] 797*2^1397154-1 is not prime. Res64: 6E9981ABFD6BD4B7 Time : 0.0 sec. user=mdettweiler [2015-04-08 04:31:12] 861*2^1397154-1 is not prime. Res64: D4CFC6263AF35E85 Time : 0.0 sec. user=juhehe [2015-04-08 04:31:54] 723*2^1397154-1 is not prime. Res64: CD74AC322BFC8C9F Time : 0.0 sec. user=mdettweiler [2015-04-08 04:36:48] 609*2^1397155-1 is not prime. Res64: 8CC4229D39131942 Time : 0.0 sec. user=mdettweiler [2015-04-08 04:36:48] 625*2^1397155-1 is not prime. Res64: 70F31E93D0785680 Time : 0.0 sec. user=mdettweiler [2015-04-08 04:37:06] 873*2^1397154-1 is not prime. Res64: FB0FD734101A32C1 Time : 0.0 sec. user=mdettweiler [2015-04-08 04:37:06] 975*2^1397154-1 is not prime. Res64: 2F8A2095C486A777 Time : 0.0 sec. user=mdettweiler [2015-04-08 04:38:12] 651*2^1397155-1 is not prime. Res64: 15E61DC8066E6113 Time : 0.0 sec. user=mdettweiler [2015-04-08 04:38:12] 693*2^1397155-1 is not prime. Res64: 01D5D00EDB759EC1 Time : 0.0 sec. user=mdettweiler [2015-04-08 04:57:41] 765*2^1397155-1 is not prime. Res64: 389DD3805DABEF5C Time : 0.0 sec. user=mdettweiler [2015-04-08 04:57:41] 853*2^1397155-1 is not prime. Res64: C7204D296CDFF113 Time : 0.0 sec. user=mdettweiler [2015-04-08 05:03:25] 861*2^1397155-1 is not prime. Res64: D0A2F10FB8B19946 Time : 0.0 sec. user=mdettweiler [2015-04-08 05:03:26] 999*2^1397155-1 is not prime. Res64: 29507EC7D6BD6C00 Time : 0.0 sec. user=mdettweiler [2015-04-08 05:03:35] 617*2^1397156-1 is not prime. Res64: E7D2403B359AA662 Time : 0.0 sec. user=mdettweiler [2015-04-08 05:03:36] 669*2^1397156-1 is not prime. Res64: F76DA276FDB0185D Time : 0.0 sec. user=mdettweiler [2015-04-08 05:04:40] 707*2^1397156-1 is not prime. Res64: 07EA602B74B2423A Time : 0.0 sec. user=mdettweiler [2015-04-08 05:04:41] 759*2^1397156-1 is not prime. Res64: 8B8BACBC600D00FF Time : 0.0 sec. user=mdettweiler [2015-04-08 05:24:05] 899*2^1397156-1 is not prime. Res64: CAC9DD177C6162A3 Time : 0.0 sec. user=mdettweiler [2015-04-08 05:24:05] 935*2^1397156-1 is not prime. Res64: 689B0FE2841D217D Time : 0.0 sec. user=mdettweiler [2015-04-08 05:29:50] 999*2^1397156-1 is not prime. Res64: 2E27834C2DB18975 Time : 0.0 sec. user=mdettweiler [2015-04-08 05:29:50] 667*2^1397157-1 is not prime. Res64: D137BDBBE44E241C Time : 0.0 sec. user=mdettweiler [2015-04-08 05:30:00] 669*2^1397157-1 is not prime. Res64: 7DA88A3FF884177F Time : 0.0 sec. user=mdettweiler [2015-04-08 05:30:00] 765*2^1397157-1 is not prime. Res64: DC49F6DAF5A538DD Time : 0.0 sec. user=mdettweiler [2015-04-08 05:30:53] 871*2^1397157-1 is not prime. Res64: A5D083655DB670EC Time : 0.0 sec. user=mdettweiler [2015-04-08 05:30:54] 663*2^1397158-1 is not prime. Res64: 7244E9144CC5E168 Time : 0.0 sec. user=mdettweiler [2015-04-08 05:50:36] 671*2^1397158-1 is not prime. Res64: 7B1D9B08066A80DC Time : 0.0 sec. user=mdettweiler [2015-04-08 05:50:36] 713*2^1397158-1 is not prime. Res64: 54FDB8DC4D24952B Time : 0.0 sec. user=mdettweiler [2015-04-08 05:55:57] 993*2^1397158-1 is not prime. Res64: 6A8CD1BC36E0E6FE Time : 0.0 sec. user=mdettweiler [2015-04-08 05:55:57] 693*2^1397159-1 is not prime. Res64: 0D97662AC498EAC1 Time : 0.0 sec. user=mdettweiler [2015-04-08 05:56:04] 777*2^1397158-1 is not prime. Res64: 774A94D8310480F5 Time : 0.0 sec. user=mdettweiler [2015-04-08 05:56:05] 971*2^1397158-1 is not prime. Res64: BAE7D93C08836739 Time : 0.0 sec. user=mdettweiler [2015-04-08 05:57:14] 825*2^1397159-1 is not prime. Res64: 344B98D9B1EFBCF3 Time : 0.0 sec. user=mdettweiler [2015-04-08 05:57:14] 829*2^1397159-1 is not prime. Res64: DFBE957ECEEEBB4E Time : 0.0 sec. user=mdettweiler [2015-04-08 06:16:52] 735*2^1397160-1 is not prime. Res64: A87961CAD2D6C470 Time : 0.0 sec. user=mdettweiler [2015-04-08 06:16:52] 777*2^1397160-1 is not prime. Res64: 768325D1BC6D7AA2 Time : 0.0 sec. user=mdettweiler [2015-04-08 06:22:07] 795*2^1397160-1 is not prime. Res64: 3038662AE0AD239E Time : 0.0 sec. user=mdettweiler [2015-04-08 06:22:07] 797*2^1397160-1 is not prime. Res64: 2B9B796A6EFCEDE5 Time : 0.0 sec. user=mdettweiler [2015-04-08 06:22:22] 803*2^1397160-1 is not prime. Res64: F9401A094DCB8A82 Time : 0.0 sec. user=juhehe [2015-04-08 06:22:22] 633*2^1397160-1 is not prime. Res64: 1820C0E7842C80CC Time : 0.0 sec. user=mdettweiler [2015-04-08 06:22:22] 927*2^1397160-1 is not prime. Res64: A7DE50361FFB60EE Time : 0.0 sec. user=mdettweiler [2015-04-08 06:23:21] 933*2^1397160-1 is not prime. Res64: 1C42A25461E70A0F Time : 0.0 sec. user=mdettweiler [2015-04-08 06:23:21] 615*2^1397161-1 is not prime. Res64: 436DA5770BEE100D Time : 0.0 sec. user=mdettweiler [2015-04-08 06:43:15] 679*2^1397161-1 is not prime. Res64: 1B0912CC49E3E939 Time : 0.0 sec. user=mdettweiler [2015-04-08 06:43:15] 745*2^1397161-1 is not prime. Res64: 99411A3289C12664 Time : 0.0 sec. user=mdettweiler [2015-04-08 06:48:18] 819*2^1397161-1 is not prime. Res64: CED806D200473ACD Time : 0.0 sec. user=mdettweiler [2015-04-08 06:48:19] 889*2^1397161-1 is not prime. Res64: 19C992B58C944D01 Time : 0.0 sec. user=mdettweiler [2015-04-08 06:48:41] 895*2^1397161-1 is not prime. Res64: 9EE786495112B46E Time : 0.0 sec. user=mdettweiler [2015-04-08 06:48:41] 771*2^1397162-1 is not prime. Res64: 38AD2F8CFCE1EBEC Time : 0.0 sec. user=mdettweiler [2015-04-08 06:49:30] 831*2^1397162-1 is not prime. Res64: 7148EDF068730359 Time : 0.0 sec. user=mdettweiler [2015-04-08 06:49:31] 675*2^1397163-1 is not prime. Res64: EF65007CC072A9B5 Time : 0.0 sec. user=mdettweiler [2015-04-08 07:09:36] 685*2^1397163-1 is not prime. Res64: C96EBBC878BCE1CD Time : 0.0 sec. user=mdettweiler [2015-04-08 07:09:36] 703*2^1397163-1 is not prime. Res64: 4F08280DA29B8FC7 Time : 0.0 sec. user=mdettweiler [2015-04-08 07:14:37] 775*2^1397163-1 is not prime. Res64: B7D467B72E6D9B54 Time : 0.0 sec. user=mdettweiler [2015-04-08 07:14:37] 795*2^1397163-1 is not prime. Res64: B4DBCE535D340519 Time : 0.0 sec. user=mdettweiler [2015-04-08 07:15:00] 823*2^1397163-1 is not prime. Res64: 57B55C58D80ACB6A Time : 0.0 sec. user=mdettweiler [2015-04-08 07:15:01] 873*2^1397163-1 is not prime. Res64: F3F05B01A7369C3B Time : 0.0 sec. user=mdettweiler [2015-04-08 07:15:40] 945*2^1397163-1 is not prime. Res64: BBB3E2CC29C6FDE1 Time : 0.0 sec. user=mdettweiler [2015-04-08 07:15:41] 951*2^1397163-1 is not prime. Res64: D0CB6E1FDF3075D3 Time : 0.0 sec. user=mdettweiler [2015-04-08 07:36:04] 969*2^1397163-1 is not prime. Res64: DA653176D83150BC Time : 0.0 sec. user=mdettweiler [2015-04-08 07:36:04] 617*2^1397164-1 is not prime. Res64: AE93D26D213A5F0D Time : 0.0 sec. user=mdettweiler [2015-04-08 07:40:49] 657*2^1397164-1 is not prime. Res64: 46E5EF7C6CFEDC9A Time : 0.0 sec. user=mdettweiler [2015-04-08 07:40:50] 825*2^1397164-1 is not prime. Res64: 5145F208355569BD Time : 0.0 sec. user=mdettweiler [2015-04-08 07:41:08] 827*2^1397164-1 is not prime. Res64: B6F63A9986A2B871 Time : 0.0 sec. user=mdettweiler [2015-04-08 07:41:09] 927*2^1397164-1 is not prime. Res64: B986565E92C96353 Time : 0.0 sec. user=mdettweiler [2015-04-08 07:41:44] 989*2^1397164-1 is not prime. Res64: 68B7490434710595 Time : 0.0 sec. user=mdettweiler [2015-04-08 07:41:45] 607*2^1397165-1 is not prime. Res64: E55F431213F2B628 Time : 0.0 sec. user=mdettweiler [2015-04-08 08:02:27] 871*2^1397165-1 is not prime. Res64: 94B911C16ED3A587 Time : 0.0 sec. user=mdettweiler [2015-04-08 08:02:29] 979*2^1397165-1 is not prime. Res64: 2823D7E6A4410BB9 Time : 0.0 sec. user=mdettweiler [2015-04-08 08:07:02] 641*2^1397166-1 is not prime. Res64: E2DA1067454507A0 Time : 0.0 sec. user=mdettweiler [2015-04-08 08:07:03] 693*2^1397166-1 is not prime. Res64: D07B9BE0C77BE0F3 Time : 0.0 sec. user=mdettweiler [2015-04-08 08:07:17] 875*2^1397166-1 is not prime. Res64: 1B0DE3EFC65572F2 Time : 0.0 sec. user=mdettweiler [2015-04-08 08:07:17] 945*2^1397166-1 is not prime. Res64: 5653689CDE2E3F3E Time : 0.0 sec. user=mdettweiler [2015-04-08 08:07:58] 947*2^1397166-1 is not prime. Res64: 1F3720DC5E447AAC Time : 0.0 sec. user=mdettweiler [2015-04-08 08:07:58] 609*2^1397167-1 is not prime. Res64: C40AC600B3FD85F1 Time : 0.0 sec. user=juhehe [2015-04-08 08:11:23] 717*2^1397165-1 is not prime. Res64: 1CE2310DDDBF48A0 Time : 0.0 sec. user=mdettweiler [2015-04-08 08:29:01] 645*2^1397167-1 is not prime. Res64: C4031A5F7E4E940E Time : 0.0 sec. user=mdettweiler [2015-04-08 08:29:02] 729*2^1397167-1 is not prime. Res64: 0D90C5E39563CDBC Time : 0.0 sec. user=mdettweiler [2015-04-08 08:33:26] 883*2^1397167-1 is not prime. Res64: F82B49228DE2A07E Time : 0.0 sec. user=mdettweiler [2015-04-08 08:33:26] 891*2^1397167-1 is not prime. Res64: E8A5AE9706834EF5 Time : 0.0 sec. user=mdettweiler [2015-04-08 08:33:26] 735*2^1397167-1 is not prime. Res64: 0E3D58A67A063103 Time : 0.0 sec. user=mdettweiler [2015-04-08 08:33:27] 871*2^1397167-1 is not prime. Res64: 2EA98E26A3D347DA Time : 0.0 sec. user=mdettweiler [2015-04-08 08:34:14] 915*2^1397167-1 is not prime. Res64: 209D90DDABBBA982 Time : 0.0 sec. user=mdettweiler [2015-04-08 08:34:14] 925*2^1397167-1 is not prime. Res64: 737188C72B1AB2D1 Time : 0.0 sec. user=mdettweiler [2015-04-08 08:55:21] 615*2^1397168-1 is not prime. Res64: CE51679B9BDC7F95 Time : 0.0 sec. user=mdettweiler [2015-04-08 08:55:21] 629*2^1397168-1 is not prime. Res64: 23A702301A5FD13F Time : 0.0 sec. user=mdettweiler [2015-04-08 08:59:35] 645*2^1397168-1 is not prime. Res64: 32DE93B644CB4356 Time : 0.0 sec. user=mdettweiler [2015-04-08 08:59:35] 665*2^1397168-1 is not prime. Res64: 1D417F80679592A0 Time : 0.0 sec. user=mdettweiler [2015-04-08 08:59:46] 745*2^1397169-1 is not prime. Res64: EC73C0B803CD6A17 Time : 0.0 sec. user=mdettweiler [2015-04-08 08:59:46] 789*2^1397169-1 is not prime. Res64: 192E74486957A3D6 Time : 0.0 sec. user=mdettweiler [2015-04-08 09:00:24] 889*2^1397169-1 is not prime. Res64: EFF8D458EE16C7CB Time : 0.0 sec. user=mdettweiler [2015-04-08 09:00:25] 951*2^1397169-1 is not prime. Res64: 095AC9A3A563C8D0 Time : 0.0 sec. user=mdettweiler [2015-04-08 09:21:45] 635*2^1397170-1 is not prime. Res64: 4E2E013E714E3ABA Time : 0.0 sec. user=mdettweiler [2015-04-08 09:21:46] 677*2^1397170-1 is not prime. Res64: C9CE676854EE8038 Time : 0.0 sec. user=mdettweiler [2015-04-08 09:25:55] 681*2^1397170-1 is not prime. Res64: 7012EB06DF0AEFAC Time : 0.0 sec. user=mdettweiler [2015-04-08 09:25:56] 723*2^1397170-1 is not prime. Res64: F5F5C6D2931898F5 Time : 0.0 sec. user=mdettweiler [2015-04-08 09:26:10] 783*2^1397170-1 is not prime. Res64: DEDEBA89B3E9423F Time : 0.0 sec. user=mdettweiler [2015-04-08 09:26:10] 785*2^1397170-1 is not prime. Res64: 554FBE965DCA1917 Time : 0.0 sec. user=mdettweiler [2015-04-08 09:26:37] 843*2^1397170-1 is not prime. Res64: 1DFEE2EBE887BFE8 Time : 0.0 sec. user=mdettweiler [2015-04-08 09:26:37] 911*2^1397170-1 is not prime. Res64: ED298D4DE902C63F Time : 0.0 sec. user=juhehe [2015-04-08 09:27:09] 999*2^1397169-1 is not prime. Res64: 71B35F43E9B5D9A0 Time : 0.0 sec. user=mdettweiler [2015-04-08 09:48:06] 971*2^1397170-1 is not prime. Res64: 3CA65E48C4ED9171 Time : 0.0 sec. user=mdettweiler [2015-04-08 09:48:07] 619*2^1397171-1 is not prime. Res64: E90CBFC6EEFA3D87 Time : 0.0 sec. user=mdettweiler [2015-04-08 09:52:10] 645*2^1397171-1 is not prime. Res64: E5F75C06499F4EEA Time : 0.0 sec. user=mdettweiler [2015-04-08 09:52:10] 663*2^1397171-1 is not prime. Res64: D67626A4A3F72402 Time : 0.0 sec. user=mdettweiler [2015-04-08 09:52:34] 685*2^1397171-1 is not prime. Res64: 2B5B5B7F8FB6C19D Time : 0.0 sec. user=mdettweiler [2015-04-08 09:52:34] 711*2^1397171-1 is not prime. Res64: 8290D87FEA74FD5C Time : 0.0 sec. user=mdettweiler [2015-04-08 09:52:56] 753*2^1397171-1 is not prime. Res64: DAAD615E96E5F0C9 Time : 0.0 sec. user=mdettweiler [2015-04-08 09:52:57] 825*2^1397171-1 is not prime. Res64: 7BB7803176FAED84 Time : 0.0 sec. user=mdettweiler [2015-04-08 10:14:26] 879*2^1397171-1 is not prime. Res64: 22D96308A05E6439 Time : 0.0 sec. user=mdettweiler [2015-04-08 10:14:27] 943*2^1397171-1 is not prime. Res64: BECA1F324EC42AE8 Time : 0.0 sec. user=mdettweiler [2015-04-08 10:18:35] 955*2^1397171-1 is not prime. Res64: 801B55FA31120D23 Time : 0.0 sec. user=mdettweiler [2015-04-08 10:18:35] 979*2^1397171-1 is not prime. Res64: 5DFA31769D1E290C Time : 0.0 sec. user=mdettweiler [2015-04-08 10:18:44] 627*2^1397172-1 is not prime. Res64: C50AE2C4F359B0CF Time : 0.0 sec. user=mdettweiler [2015-04-08 10:18:45] 669*2^1397172-1 is not prime. Res64: 2941D0E143609019 Time : 0.0 sec. user=mdettweiler [2015-04-08 10:19:04] 803*2^1397172-1 is not prime. Res64: F5E39184283A4B2B Time : 0.0 sec. user=mdettweiler [2015-04-08 10:19:05] 837*2^1397172-1 is not prime. Res64: BADF639D05730283 Time : 0.0 sec. user=mdettweiler [2015-04-08 10:40:47] 649*2^1397173-1 is not prime. Res64: B68DAE695302ED37 Time : 0.0 sec. user=mdettweiler [2015-04-08 10:40:47] 765*2^1397173-1 is not prime. Res64: 8698A9A703C4683A Time : 0.0 sec. user=mdettweiler [2015-04-08 10:44:50] 877*2^1397173-1 is not prime. Res64: 776E0C035023A128 Time : 0.0 sec. user=mdettweiler [2015-04-08 10:44:50] 999*2^1397173-1 is not prime. Res64: 7A93C38B9AA05410 Time : 0.0 sec. user=mdettweiler [2015-04-08 10:44:59] 657*2^1397174-1 is not prime. Res64: 547910723B59F2C3 Time : 0.0 sec. user=mdettweiler [2015-04-08 10:45:00] 731*2^1397174-1 is not prime. Res64: FF2E414E4E0CED26 Time : 0.0 sec. user=mdettweiler [2015-04-08 10:45:15] 743*2^1397174-1 is not prime. Res64: 2AC6251E6B2135B4 Time : 0.0 sec. user=mdettweiler [2015-04-08 10:45:15] 887*2^1397174-1 is not prime. Res64: 2E840AF41BB70369 Time : 0.0 sec. user=mdettweiler [2015-04-08 11:07:15] 941*2^1397174-1 is not prime. Res64: A2453FDB6061D78E Time : 0.0 sec. user=mdettweiler [2015-04-08 11:07:15] 953*2^1397174-1 is not prime. Res64: 354138A12F84B131 Time : 0.0 sec. user=mdettweiler [2015-04-08 11:11:05] 1001*2^1397174-1 is not prime. Res64: 19809A5A02BA846B Time : 0.0 sec. user=mdettweiler [2015-04-08 11:11:06] 763*2^1397175-1 is not prime. Res64: 8A6B4763B4E093FB Time : 0.0 sec. user=mdettweiler [2015-04-08 11:11:10] 829*2^1397175-1 is not prime. Res64: 3EECBB5D9FB2EC34 Time : 0.0 sec. user=mdettweiler [2015-04-08 11:11:11] 831*2^1397175-1 is not prime. Res64: 5910016045889357 Time : 0.0 sec. user=mdettweiler [2015-04-08 11:11:28] 885*2^1397175-1 is not prime. Res64: 0487ED4261DE75DC Time : 0.0 sec. user=mdettweiler [2015-04-08 11:11:28] 623*2^1397176-1 is not prime. Res64: D47C4B7D89C04EAA Time : 0.0 sec. user=juhehe [2015-04-08 11:12:56] 923*2^1397174-1 is not prime. Res64: 96476F94F372CBA4 Time : 0.0 sec. user=mdettweiler [2015-04-08 11:33:45] 657*2^1397176-1 is not prime. Res64: 3F89695C4ADB50D3 Time : 0.0 sec. user=mdettweiler [2015-04-08 11:33:45] 755*2^1397176-1 is not prime. Res64: 45D393D996084BC5 Time : 0.0 sec. user=mdettweiler [2015-04-08 11:37:22] 765*2^1397176-1 is not prime. Res64: DA2BD6063EE34ACF Time : 0.0 sec. user=mdettweiler [2015-04-08 11:37:23] 849*2^1397176-1 is not prime. Res64: 0D311783F8C1C1F8 Time : 0.0 sec. user=mdettweiler [2015-04-08 11:37:25] 873*2^1397176-1 is not prime. Res64: 89F4143A625D0B3C Time : 0.0 sec. user=mdettweiler [2015-04-08 11:37:26] 903*2^1397176-1 is not prime. Res64: 0CF2C6C33568D59E Time : 0.0 sec. user=mdettweiler [2015-04-08 11:37:45] 905*2^1397176-1 is not prime. Res64: 14789334BA22C665 Time : 0.0 sec. user=mdettweiler [2015-04-08 11:37:45] 965*2^1397176-1 is not prime. Res64: CDAD3EB700189B96 Time : 0.0 sec. user=mdettweiler [2015-04-08 12:00:03] 697*2^1397177-1 is not prime. Res64: 79D9F6F3E92C7E4E Time : 0.0 sec. user=mdettweiler [2015-04-08 12:00:03] 931*2^1397177-1 is not prime. Res64: ED546B333133D326 Time : 0.0 sec. user=mdettweiler [2015-04-08 12:03:36] 937*2^1397177-1 is not prime. Res64: A837B18DF299884E Time : 0.0 sec. user=mdettweiler [2015-04-08 12:03:37] 605*2^1397178-1 is not prime. Res64: B1FFF932A1197FE2 Time : 0.0 sec. user=mdettweiler [2015-04-08 12:03:48] 657*2^1397178-1 is not prime. Res64: CF1548C3B08D503E Time : 0.0 sec. user=mdettweiler [2015-04-08 12:03:49] 927*2^1397178-1 is not prime. Res64: ABF715DD04D12E04 Time : 0.0 sec. user=mdettweiler [2015-04-08 12:04:14] 945*2^1397178-1 is not prime. Res64: 8E8F2B45FBAE0796 Time : 0.0 sec. user=mdettweiler [2015-04-08 12:04:15] 873*2^1397179-1 is not prime. Res64: 213CD5DF5A25EBA1 Time : 0.0 sec. user=mdettweiler [2015-04-08 12:26:29] 961*2^1397179-1 is not prime. Res64: AA2BFA2BB6F9207D Time : 0.0 sec. user=mdettweiler [2015-04-08 12:26:30] 827*2^1397180-1 is not prime. Res64: F8AE600BD65C4034 Time : 0.0 sec. user=mdettweiler [2015-04-08 12:30:00] 885*2^1397180-1 is not prime. Res64: A8FF2F2886AC2A83 Time : 0.0 sec. user=mdettweiler [2015-04-08 12:30:00] 963*2^1397180-1 is not prime. Res64: F870BCC7A62717E2 Time : 0.0 sec. user=mdettweiler [2015-04-08 12:30:09] 999*2^1397180-1 is not prime. Res64: A4912C4243F0E45F Time : 0.0 sec. user=mdettweiler [2015-04-08 12:30:10] 627*2^1397181-1 is not prime. Res64: 50B254C6A36D56B1 Time : 0.0 sec. user=mdettweiler [2015-04-08 12:30:41] 709*2^1397181-1 is not prime. Res64: 1F4BDBCA956CB0ED Time : 0.0 sec. user=mdettweiler [2015-04-08 12:30:41] 717*2^1397181-1 is not prime. Res64: E012B62C2ABC1D1A Time : 0.0 sec. user=mdettweiler [2015-04-08 12:53:15] 861*2^1397181-1 is not prime. Res64: 2A31D4E0C13F9810 Time : 0.0 sec. user=mdettweiler [2015-04-08 12:53:15] 877*2^1397181-1 is not prime. Res64: F440A0C1C28A5A2A Time : 0.0 sec. user=mdettweiler [2015-04-08 12:56:26] 991*2^1397181-1 is not prime. Res64: 3F3A1572875464AC Time : 0.0 sec. user=mdettweiler [2015-04-08 12:56:26] 621*2^1397182-1 is not prime. Res64: 5037818E6BE4E4C4 Time : 0.0 sec. user=mdettweiler [2015-04-08 12:56:28] 923*2^1397182-1 is not prime. Res64: A785D6A1516F50D3 Time : 0.0 sec. user=mdettweiler [2015-04-08 12:56:28] 987*2^1397182-1 is not prime. Res64: 750D2868EE86D97C Time : 0.0 sec. user=mdettweiler [2015-04-08 12:57:08] 663*2^1397183-1 is not prime. Res64: 64AA8612325FA194 Time : 0.0 sec. user=mdettweiler [2015-04-08 12:57:08] 981*2^1397183-1 is not prime. Res64: DAC30FBE1621A186 Time : 0.0 sec. user=juhehe [2015-04-08 13:07:12] 979*2^1397181-1 is not prime. Res64: 6D333D376694906A Time : 0.0 sec. user=mdettweiler [2015-04-08 13:20:24] 725*2^1397184-1 is not prime. Res64: 15D7B258C5511BDE Time : 0.0 sec. user=mdettweiler [2015-04-08 13:20:25] 645*2^1397185-1 is not prime. Res64: 1310161B67786A25 Time : 0.0 sec. user=mdettweiler [2015-04-08 13:23:25] 919*2^1397185-1 is not prime. Res64: 8C7521FBE1DE19A0 Time : 0.0 sec. user=mdettweiler [2015-04-08 13:23:26] 951*2^1397185-1 is not prime. Res64: D442A3AC1BF9CA14 Time : 0.0 sec. user=mdettweiler [2015-04-08 13:23:31] 649*2^1397185-1 is not prime. Res64: 240D5F4D4A18EC87 Time : 0.0 sec. user=mdettweiler [2015-04-08 13:23:31] 765*2^1397185-1 is not prime. Res64: BB8E8927AC3EA8D7 Time : 0.0 sec. user=mdettweiler [2015-04-08 13:24:19] 641*2^1397186-1 is not prime. Res64: 1270F1543E7BBDD5 Time : 0.0 sec. user=mdettweiler [2015-04-08 13:24:20] 705*2^1397186-1 is not prime. Res64: 47D64900A5C3A0AD Time : 0.0 sec. user=mdettweiler [2015-04-08 13:51:35] 741*2^1397186-1 is not prime. Res64: C9076211165B7381 Time : 0.0 sec. user=mdettweiler [2015-04-08 13:51:35] 755*2^1397186-1 is not prime. Res64: C7E2730703E99826 Time : 0.0 sec. user=mdettweiler [2015-04-08 13:54:51] 935*2^1397186-1 is not prime. Res64: 325567156E63604C Time : 0.0 sec. user=mdettweiler [2015-04-08 13:54:52] 619*2^1397187-1 is not prime. Res64: B90A05494C2CA5AD Time : 0.0 sec. user=mdettweiler [2015-04-08 13:55:20] 851*2^1397186-1 is not prime. Res64: 7C61F58A232771D2 Time : 0.0 sec. user=mdettweiler [2015-04-08 13:55:20] 893*2^1397186-1 is not prime. Res64: E505EE0366B2D250 Time : 0.0 sec. user=mdettweiler [2015-04-08 13:56:44] 711*2^1397187-1 is not prime. Res64: 3AE288D6D01D99D9 Time : 0.0 sec. user=mdettweiler [2015-04-08 13:56:44] 735*2^1397187-1 is not prime. Res64: 8DB96F0CB646320B Time : 0.0 sec. user=mdettweiler [2015-04-08 14:19:38] 843*2^1397187-1 is not prime. Res64: 64C5D4007ECACBAC Time : 0.0 sec. user=mdettweiler [2015-04-08 14:19:38] 895*2^1397187-1 is not prime. Res64: 5F5FA1F22AF57233 Time : 0.0 sec. user=mdettweiler [2015-04-08 14:22:18] 931*2^1397187-1 is not prime. Res64: 5FED51BD447E7D3D Time : 0.0 sec. user=mdettweiler [2015-04-08 14:22:18] 985*2^1397187-1 is not prime. Res64: DF88E0DE4C18296D Time : 0.0 sec. user=mdettweiler [2015-04-08 14:22:52] 647*2^1397188-1 is not prime. Res64: 3491C19FA6EA2613 Time : 0.0 sec. user=mdettweiler [2015-04-08 14:22:52] 687*2^1397188-1 is not prime. Res64: 87A36EA72C0099DA Time : 0.0 sec. user=mdettweiler [2015-04-08 14:23:41] 689*2^1397188-1 is not prime. Res64: AC54BB118CD1EA45 Time : 0.0 sec. user=mdettweiler [2015-04-08 14:23:41] 783*2^1397188-1 is not prime. Res64: C33BD2368C02EFB4 Time : 0.0 sec. user=mdettweiler [2015-04-08 14:46:17] 899*2^1397188-1 is not prime. Res64: B83563E5E43FB2A8 Time : 0.0 sec. user=mdettweiler [2015-04-08 14:46:17] 915*2^1397188-1 is not prime. Res64: 12A966A6F90F6A10 Time : 0.0 sec. user=mdettweiler [2015-04-08 14:48:57] 987*2^1397188-1 is not prime. Res64: 86520CDC9ECDFF43 Time : 0.0 sec. user=mdettweiler [2015-04-08 14:48:58] 989*2^1397188-1 is not prime. Res64: C12F06AA0E41D0AA Time : 0.0 sec. user=mdettweiler [2015-04-08 14:49:30] 655*2^1397189-1 is not prime. Res64: A1F8F70936C1204D Time : 0.0 sec. user=mdettweiler [2015-04-08 14:49:31] 711*2^1397189-1 is not prime. Res64: 164382CFFA27F1DE Time : 0.0 sec. user=mdettweiler [2015-04-08 14:50:18] 729*2^1397189-1 is not prime. Res64: A102A6D778C4E455 Time : 0.0 sec. user=mdettweiler [2015-04-08 14:50:19] 825*2^1397189-1 is not prime. Res64: 84AD66F16A0FA870 Time : 0.0 sec. user=juhehe [2015-04-08 14:50:48] 897*2^1397188-1 is not prime. Res64: CA5AEC8B1A512042 Time : 0.0 sec. user=mdettweiler [2015-04-08 15:13:03] 847*2^1397189-1 is not prime. Res64: C3875432FB4B45EA Time : 0.0 sec. user=mdettweiler [2015-04-08 15:13:03] 885*2^1397189-1 is not prime. Res64: 9FAF8424762FCC61 Time : 0.0 sec. user=mdettweiler [2015-04-08 15:15:50] 889*2^1397189-1 is not prime. Res64: 8296D877877E4D0E Time : 0.0 sec. user=mdettweiler [2015-04-08 15:15:50] 611*2^1397190-1 is not prime. Res64: C8ED3A57BB1EB653 Time : 0.0 sec. user=mdettweiler [2015-04-08 15:16:02] 741*2^1397190-1 is not prime. Res64: 60FD3E3A3B5CB087 Time : 0.0 sec. user=mdettweiler [2015-04-08 15:16:02] 747*2^1397190-1 is not prime. Res64: 7EF6E7A37D7835DE Time : 0.0 sec. user=mdettweiler [2015-04-08 15:17:05] 761*2^1397190-1 is not prime. Res64: 327CB6A2E777A9CA Time : 0.0 sec. user=mdettweiler [2015-04-08 15:17:06] 777*2^1397190-1 is not prime. Res64: 517874BEF8658947 Time : 0.0 sec. user=juhehe [2015-04-08 15:36:01] 825*2^1397190-1 is not prime. Res64: A94C5CDD666456F1 Time : 0.0 sec. user=mdettweiler [2015-04-08 15:39:50] 861*2^1397190-1 is not prime. Res64: 3FA0A8A93829BAF4 Time : 0.0 sec. user=mdettweiler [2015-04-08 15:39:51] 863*2^1397190-1 is not prime. Res64: FB8A20B7E22D4E0E Time : 0.0 sec. user=mdettweiler [2015-04-08 15:42:35] 927*2^1397190-1 is not prime. Res64: BB7BBD3B3E349E22 Time : 0.0 sec. user=mdettweiler [2015-04-08 15:42:35] 945*2^1397190-1 is not prime. Res64: 733B77D1AFA7A59D Time : 0.0 sec. user=mdettweiler [2015-04-08 15:42:36] 965*2^1397190-1 is not prime. Res64: DCF799CB57FC4A18 Time : 0.0 sec. user=mdettweiler [2015-04-08 15:42:37] 663*2^1397191-1 is not prime. Res64: 1F5D0E67C680F1DE Time : 0.0 sec. user=mdettweiler [2015-04-08 15:43:50] 723*2^1397191-1 is not prime. Res64: EE7546F859F11B43 Time : 0.0 sec. user=mdettweiler [2015-04-08 15:43:50] 805*2^1397191-1 is not prime. Res64: A3A177A29F9E7696 Time : 0.0 sec. user=mdettweiler [2015-04-08 16:08:01] 861*2^1397191-1 is not prime. Res64: EDEAA714E6FA2D63 Time : 0.0 sec. user=mdettweiler [2015-04-08 16:08:02] 873*2^1397191-1 is not prime. Res64: 7AF13E061B8FE395 Time : 0.0 sec. user=mdettweiler [2015-04-08 16:11:14] 885*2^1397191-1 is not prime. Res64: 59323412DEDB3FB2 Time : 0.0 sec. user=mdettweiler [2015-04-08 16:11:14] 931*2^1397191-1 is not prime. Res64: 06E0CDAA34064817 Time : 0.0 sec. user=mdettweiler [2015-04-08 16:11:20] 969*2^1397191-1 is not prime. Res64: 49B063EAC3445316 Time : 0.0 sec. user=mdettweiler [2015-04-08 16:11:20] 973*2^1397191-1 is not prime. Res64: EC8EFA7739B84BB0 Time : 0.0 sec. user=mdettweiler [2015-04-08 16:12:53] 669*2^1397192-1 is not prime. Res64: BDA1A4ABD0F5C183 Time : 0.0 sec. user=mdettweiler [2015-04-08 16:12:53] 689*2^1397192-1 is not prime. Res64: B6BD96AB102722BB Time : 0.0 sec. user=mdettweiler [2015-04-08 16:39:42] 725*2^1397192-1 is not prime. Res64: D108F105A88D07B8 Time : 0.0 sec. user=mdettweiler [2015-04-08 16:39:42] 785*2^1397192-1 is not prime. Res64: D5193F74565E437F Time : 0.0 sec. user=mdettweiler [2015-04-08 16:42:00] 983*2^1397192-1 is not prime. Res64: CA47ADA94B8C68EC Time : 0.0 sec. user=mdettweiler [2015-04-08 16:42:00] 995*2^1397192-1 is not prime. Res64: 463402432A05A417 Time : 0.0 sec. user=mdettweiler [2015-04-08 16:42:18] 875*2^1397192-1 is not prime. Res64: 807AB7194FEF0447 Time : 0.0 sec. user=mdettweiler [2015-04-08 16:42:18] 945*2^1397192-1 is not prime. Res64: 8C5DC13FA1B918F6 Time : 0.0 sec. user=mdettweiler [2015-04-08 16:43:29] 721*2^1397193-1 is not prime. Res64: 9EEDF5A80B541CBD Time : 0.0 sec. user=mdettweiler [2015-04-08 16:43:29] 741*2^1397193-1 is not prime. Res64: D13C277A1CF12B5E Time : 0.0 sec. user=juhehe [2015-04-08 16:46:28] 813*2^1397192-1 is not prime. Res64: 1C17AA16CBD3A8E6 Time : 0.0 sec. user=mdettweiler [2015-04-08 17:08:01] 759*2^1397193-1 is not prime. Res64: C2CB581DA63A9353 Time : 0.0 sec. user=mdettweiler [2015-04-08 17:08:01] 765*2^1397193-1 is not prime. Res64: 05B0D0E5F9798A9E Time : 0.0 sec. user=mdettweiler [2015-04-08 17:10:18] 817*2^1397193-1 is not prime. Res64: DE82DDE88017E70C Time : 0.0 sec. user=mdettweiler [2015-04-08 17:10:18] 921*2^1397193-1 is not prime. Res64: 75007D4841D43677 Time : 0.0 sec. user=mdettweiler [2015-04-08 17:10:49] 979*2^1397193-1 is not prime. Res64: 2C938B26F162401B Time : 0.0 sec. user=mdettweiler [2015-04-08 17:10:49] 675*2^1397194-1 is not prime. Res64: 6743A8CF5E2039F7 Time : 0.0 sec. user=mdettweiler [2015-04-08 17:12:00] 741*2^1397194-1 is not prime. Res64: 94B051FAD1AE1156 Time : 0.0 sec. user=mdettweiler [2015-04-08 17:12:00] 813*2^1397194-1 is not prime. Res64: 413C9367AF5E5C6D Time : 0.0 sec. user=mdettweiler [2015-04-08 17:36:53] 885*2^1397194-1 is not prime. Res64: 62933EF2CC38122D Time : 0.0 sec. user=mdettweiler [2015-04-08 17:36:54] 917*2^1397194-1 is not prime. Res64: 9A858EF5639C319B Time : 0.0 sec. user=mdettweiler [2015-04-08 17:38:21] 971*2^1397194-1 is not prime. Res64: 547F0F35C5ADFE47 Time : 0.0 sec. user=mdettweiler [2015-04-08 17:38:21] 981*2^1397194-1 is not prime. Res64: 57B4A8170FB8241A Time : 0.0 sec. user=mdettweiler [2015-04-08 17:38:44] 685*2^1397195-1 is not prime. Res64: B21F1E71C5270612 Time : 0.0 sec. user=mdettweiler [2015-04-08 17:38:45] 973*2^1397195-1 is not prime. Res64: 4CDEE865219422A8 Time : 0.0 sec. user=mdettweiler [2015-04-08 17:40:16] 999*2^1397195-1 is not prime. Res64: B470D5CA739C4AE8 Time : 0.0 sec. user=mdettweiler [2015-04-08 17:40:17] 669*2^1397196-1 is not prime. Res64: 7039A8EE9F726C90 Time : 0.0 sec. user=mdettweiler [2015-04-08 18:04:03] 693*2^1397196-1 is not prime. Res64: C9D3E80D8F0BAE20 Time : 0.0 sec. user=mdettweiler [2015-04-08 18:04:05] 699*2^1397196-1 is not prime. Res64: B6C91CAE0674112D Time : 0.0 sec. user=mdettweiler [2015-04-08 18:05:33] 735*2^1397196-1 is not prime. Res64: DFF25693C7F0716B Time : 0.0 sec. user=mdettweiler [2015-04-08 18:05:34] 737*2^1397196-1 is not prime. Res64: B7AAB07B58FE18A0 Time : 0.0 sec. user=mdettweiler [2015-04-08 18:05:46] 843*2^1397196-1 is not prime. Res64: 50E14FC6C7D9B3B0 Time : 0.0 sec. user=mdettweiler [2015-04-08 18:05:49] 903*2^1397196-1 is not prime. Res64: BF8A6C016708458F Time : 0.0 sec. user=mdettweiler [2015-04-08 18:07:38] 945*2^1397196-1 is not prime. Res64: 4DAD05300201933B Time : 0.0 sec. user=mdettweiler [2015-04-08 18:07:38] 615*2^1397197-1 is not prime. Res64: 7B97C1257D643C53 Time : 0.0 sec. user=mdettweiler [2015-04-08 18:31:47] 741*2^1397197-1 is not prime. Res64: 6E60C7650C75E88A Time : 0.0 sec. user=mdettweiler [2015-04-08 18:31:47] 769*2^1397197-1 is not prime. Res64: D5FD1D571AF06D35 Time : 0.0 sec. user=mdettweiler [2015-04-08 18:33:08] 843*2^1397198-1 is not prime. Res64: CB42587778AB7065 Time : 0.0 sec. user=mdettweiler [2015-04-08 18:33:08] 867*2^1397198-1 is not prime. Res64: B5EE8AB7355916E8 Time : 0.0 sec. user=mdettweiler [2015-04-08 18:33:12] 819*2^1397197-1 is not prime. Res64: E63FB8B6784212E9 Time : 0.0 sec. user=mdettweiler [2015-04-08 18:33:12] 833*2^1397198-1 is not prime. Res64: A5B58ABDB18545C9 Time : 0.0 sec. user=mdettweiler [2015-04-08 18:35:02] 963*2^1397198-1 is not prime. Res64: 28332E44EF1E7C7B Time : 0.0 sec. user=mdettweiler [2015-04-08 18:35:02] 619*2^1397199-1 is not prime. Res64: 9F3F2DE237476F92 Time : 0.0 sec. user=juhehe [2015-04-08 18:36:24] 687*2^1397197-1 is not prime. Res64: 50E7D60A7A42DDB6 Time : 0.0 sec. user=mdettweiler [2015-04-08 19:00:13] 663*2^1397199-1 is not prime. Res64: 9BA2FF82256C260D Time : 0.0 sec. user=mdettweiler [2015-04-08 19:00:14] 711*2^1397199-1 is not prime. Res64: C02FD316B72EED4B Time : 0.0 sec. user=mdettweiler [2015-04-08 19:01:08] 741*2^1397199-1 is not prime. Res64: C7C565DD9B234ACD Time : 0.0 sec. user=mdettweiler [2015-04-08 19:01:09] 895*2^1397199-1 is not prime. Res64: 1C6B27609B241C74 Time : 0.0 sec. user=mdettweiler [2015-04-08 19:01:18] 921*2^1397199-1 is not prime. Res64: EA51C57F21A32B98 Time : 0.0 sec. user=mdettweiler [2015-04-08 19:01:19] 951*2^1397199-1 is not prime. Res64: 33571F2272009226 Time : 0.0 sec. user=mdettweiler [2015-04-08 19:03:17] 975*2^1397199-1 is not prime. Res64: D77241D13CA8AC56 Time : 0.0 sec. user=mdettweiler [2015-04-08 19:03:18] 623*2^1397200-1 is not prime. Res64: D028C8293FDF6B3A Time : 0.0 sec. user=mdettweiler [2015-04-08 19:28:37] 635*2^1397200-1 is not prime. Res64: 38F1E7181AB49CB3 Time : 0.0 sec. user=mdettweiler [2015-04-08 19:28:37] 653*2^1397200-1 is not prime. Res64: E796E5FECB14851E Time : 0.0 sec. user=mdettweiler [2015-04-08 19:29:22] 699*2^1397200-1 is not prime. Res64: F10CFDF632A88C2B Time : 0.0 sec. user=mdettweiler [2015-04-08 19:29:22] 797*2^1397200-1 is not prime. Res64: 56B19D1F03342657 Time : 0.0 sec. user=mdettweiler [2015-04-08 19:29:38] 845*2^1397200-1 is not prime. Res64: 08B23A2486A2E9EC Time : 0.0 sec. user=mdettweiler [2015-04-08 19:29:38] 863*2^1397200-1 is not prime. Res64: 135F1684FF757B64 Time : 0.0 sec. user=mdettweiler [2015-04-08 19:31:38] 933*2^1397200-1 is not prime. Res64: B7800780F9A7950F Time : 0.0 sec. user=mdettweiler [2015-04-08 19:31:39] 939*2^1397200-1 is not prime. Res64: B49B469511A9B32F Time : 0.0 sec. user=mdettweiler [2015-04-08 19:56:37] 959*2^1397200-1 is not prime. Res64: C648C86106AEE040 Time : 0.0 sec. user=mdettweiler [2015-04-08 19:56:37] 747*2^1397201-1 is not prime. Res64: 05B106CEE37D8D1E Time : 0.0 sec. user=mdettweiler [2015-04-08 19:57:00] 829*2^1397201-1 is not prime. Res64: 4FB019A9980F96A5 Time : 0.0 sec. user=mdettweiler [2015-04-08 19:57:00] 837*2^1397201-1 is not prime. Res64: A703956D7D175603 Time : 0.0 sec. user=mdettweiler [2015-04-08 19:57:33] 861*2^1397201-1 is not prime. Res64: 4AFEC668A83AD449 Time : 0.0 sec. user=mdettweiler [2015-04-08 19:57:33] 987*2^1397201-1 is not prime. Res64: 117DBF0EC39C599E Time : 0.0 sec. user=mdettweiler [2015-04-08 19:59:43] 647*2^1397202-1 is not prime. Res64: BE0A9F4A7BDAAC87 Time : 0.0 sec. user=mdettweiler [2015-04-08 19:59:43] 903*2^1397202-1 is not prime. Res64: B831377F68171E6A Time : 0.0 sec. user=mdettweiler [2015-04-08 20:25:10] 625*2^1397203-1 is not prime. Res64: 5180A5609E40AB9B Time : 0.0 sec. user=mdettweiler [2015-04-08 20:25:10] 633*2^1397203-1 is not prime. Res64: C7893C451E105B56 Time : 0.0 sec. user=mdettweiler [2015-04-08 20:25:40] 615*2^1397204-1 is not prime. Res64: A04CF5F9FD12ED35 Time : 0.0 sec. user=mdettweiler [2015-04-08 20:25:41] 635*2^1397204-1 is not prime. Res64: 76C3FB4EF3FD4EEA Time : 0.0 sec. user=mdettweiler [2015-04-08 20:25:42] 675*2^1397203-1 is not prime. Res64: 6CCB127BB7BC1527 Time : 0.0 sec. user=mdettweiler [2015-04-08 20:25:42] 943*2^1397203-1 is not prime. Res64: 63CC81D062F0030C Time : 0.0 sec. user=mdettweiler [2015-04-08 20:28:05] 749*2^1397204-1 is not prime. Res64: 8C8B209D979547C6 Time : 0.0 sec. user=mdettweiler [2015-04-08 20:28:05] 773*2^1397204-1 is not prime. Res64: 9B77C060D1CD4E30 Time : 0.0 sec. user=mdettweiler [2015-04-08 20:54:17] 785*2^1397204-1 is not prime. Res64: C49E2C61C54B7D35 Time : 0.0 sec. user=mdettweiler [2015-04-08 20:54:17] 819*2^1397204-1 is not prime. Res64: 74A87617B5E4EC5A Time : 0.0 sec. user=mdettweiler [2015-04-08 20:54:48] 987*2^1397204-1 is not prime. Res64: B55093BF2A3A2CE1 Time : 0.0 sec. user=mdettweiler [2015-04-08 20:54:49] 691*2^1397205-1 is not prime. Res64: 2E8B1159873A1575 Time : 0.0 sec. user=mdettweiler [2015-04-08 20:55:10] 873*2^1397204-1 is not prime. Res64: 8A97D0DC47F25C37 Time : 0.0 sec. user=mdettweiler [2015-04-08 20:55:11] 909*2^1397204-1 is not prime. Res64: 5FA9D9FAAC6327C0 Time : 0.0 sec. user=mdettweiler [2015-04-08 20:57:01] 819*2^1397205-1 is not prime. Res64: DCB7C3EF7D0EDD9B Time : 0.0 sec. user=mdettweiler [2015-04-08 20:57:02] 861*2^1397205-1 is not prime. Res64: 06D75C2A4636BC75 Time : 0.0 sec. user=juhehe [2015-04-08 21:02:19] 717*2^1397205-1 is not prime. Res64: 4B5C76C82D2F59C5 Time : 0.0 sec. user=mdettweiler [2015-04-08 21:23:22] 603*2^1397206-1 is not prime. Res64: C2C58C12BA85191F Time : 0.0 sec. user=mdettweiler [2015-04-08 21:23:22] 677*2^1397206-1 is not prime. Res64: 20FB8865F01431B3 Time : 0.0 sec. user=mdettweiler [2015-04-08 21:23:55] 723*2^1397206-1 is not prime. Res64: 664D3410908A06C0 Time : 0.0 sec. user=mdettweiler [2015-04-08 21:23:56] 783*2^1397206-1 is not prime. Res64: 3FF10FE0704F9947 Time : 0.0 sec. user=mdettweiler [2015-04-08 21:24:11] 873*2^1397206-1 is not prime. Res64: 91150FAFA5635E34 Time : 0.0 sec. user=mdettweiler [2015-04-08 21:24:11] 945*2^1397206-1 is not prime. Res64: BFCB002BE31F940A Time : 0.0 sec. user=mdettweiler [2015-04-08 21:25:58] 957*2^1397206-1 is not prime. Res64: 7BC86EDC7F41B3EC Time : 0.0 sec. user=mdettweiler [2015-04-08 21:25:58] 619*2^1397207-1 is not prime. Res64: 6186A375CD8A7D8F Time : 0.0 sec. user=juhehe [2015-04-08 21:37:22] 645*2^1397207-1 is not prime. Res64: A50AFEBFA4796781 Time : 0.0 sec. user=mdettweiler [2015-04-08 21:52:20] 673*2^1397207-1 is not prime. Res64: 676284A03DC75855 Time : 0.0 sec. user=mdettweiler [2015-04-08 21:52:20] 735*2^1397207-1 is not prime. Res64: AEFF97AC19B2DEA0 Time : 0.0 sec. user=mdettweiler [2015-04-08 21:53:03] 775*2^1397207-1 is not prime. Res64: C80791622EB78CDA Time : 0.0 sec. user=mdettweiler [2015-04-08 21:53:03] 963*2^1397207-1 is not prime. Res64: 1B5DD606F1D3BCEB Time : 0.0 sec. user=mdettweiler [2015-04-08 21:53:09] 991*2^1397207-1 is not prime. Res64: 88914470CE424771 Time : 0.0 sec. user=mdettweiler [2015-04-08 21:53:09] 629*2^1397208-1 is not prime. Res64: A234101F5E14671C Time : 0.0 sec. user=mdettweiler [2015-04-08 21:54:54] 633*2^1397208-1 is not prime. Res64: 733F34E5D7C48B11 Time : 0.0 sec. user=mdettweiler [2015-04-08 21:54:54] 663*2^1397208-1 is not prime. Res64: 03E1CF2487EF5FD7 Time : 0.0 sec. user=mdettweiler [2015-04-08 22:21:23] 695*2^1397208-1 is not prime. Res64: 9CB7166AD93CA1FA Time : 0.0 sec. user=mdettweiler [2015-04-08 22:21:23] 797*2^1397208-1 is not prime. Res64: 4FC5CE3881F09EFB Time : 0.0 sec. user=mdettweiler [2015-04-08 22:22:17] 809*2^1397208-1 is not prime. Res64: F7605B3031B2E8A9 Time : 0.0 sec. user=mdettweiler [2015-04-08 22:22:18] 879*2^1397208-1 is not prime. Res64: D270B7962AD14A84 Time : 0.0 sec. user=mdettweiler [2015-04-08 22:22:26] 615*2^1397209-1 is not prime. Res64: A2447ED2F9247CF8 Time : 0.0 sec. user=mdettweiler [2015-04-08 22:22:26] 619*2^1397209-1 is not prime. Res64: 95246BDE5B1C842F Time : 0.0 sec. user=mdettweiler [2015-04-08 22:24:00] 625*2^1397209-1 is not prime. Res64: D7F97A09796D71C6 Time : 0.0 sec. user=mdettweiler [2015-04-08 22:24:01] 817*2^1397209-1 is not prime. Res64: B9C9370E2BC3B58A Time : 0.0 sec. user=mdettweiler [2015-04-08 22:50:31] 885*2^1397209-1 is not prime. Res64: 1526A47E30FF2E77 Time : 0.0 sec. user=mdettweiler [2015-04-08 22:50:31] 987*2^1397209-1 is not prime. Res64: 290CE8D78D5C7163 Time : 0.0 sec. user=mdettweiler [2015-04-08 22:51:18] 997*2^1397209-1 is not prime. Res64: 5C7E035BCBBEE9EF Time : 0.0 sec. user=mdettweiler [2015-04-08 22:51:19] 735*2^1397210-1 is not prime. Res64: 92BB9586AA063B79 Time : 0.0 sec. user=mdettweiler [2015-04-08 22:51:28] 753*2^1397210-1 is not prime. Res64: A82446105632319C Time : 0.0 sec. user=mdettweiler [2015-04-08 22:51:28] 785*2^1397210-1 is not prime. Res64: BD9B0662FD32E51D Time : 0.0 sec. user=mdettweiler [2015-04-08 22:53:11] 813*2^1397210-1 is not prime. Res64: 042DFF6803DD094E Time : 0.0 sec. user=mdettweiler [2015-04-08 22:53:11] 917*2^1397210-1 is not prime. Res64: 2D15CBA8F63E67E2 Time : 0.0 sec. user=mdettweiler [2015-04-08 23:19:16] 977*2^1397210-1 is not prime. Res64: DA2E855B92525539 Time : 0.0 sec. user=mdettweiler [2015-04-08 23:19:16] 709*2^1397211-1 is not prime. Res64: 479380248647A592 Time : 0.0 sec. user=mdettweiler [2015-04-08 23:19:48] 753*2^1397211-1 is not prime. Res64: 5179184F5D9C6553 Time : 0.0 sec. user=mdettweiler [2015-04-08 23:19:48] 849*2^1397211-1 is not prime. Res64: F4E67F342E6611B0 Time : 0.0 sec. user=mdettweiler [2015-04-08 23:19:55] 609*2^1397212-1 is not prime. Res64: BF8332BCD5B52A3D Time : 0.0 sec. user=mdettweiler [2015-04-08 23:19:55] 617*2^1397212-1 is not prime. Res64: D03D49FCCCA95C6C Time : 0.0 sec. user=mdettweiler [2015-04-08 23:21:25] 797*2^1397212-1 is not prime. Res64: A164A2B51A38F2D8 Time : 0.0 sec. user=mdettweiler [2015-04-08 23:21:25] 909*2^1397212-1 is not prime. Res64: 773A4AE9658A699C Time : 0.0 sec. user=juhehe [2015-04-08 23:30:06] 749*2^1397212-1 is not prime. Res64: AC46722BF444E89A Time : 0.0 sec. user=mdettweiler [2015-04-08 23:46:35] 959*2^1397212-1 is not prime. Res64: 03E070F3AB6170A4 Time : 0.0 sec. user=mdettweiler [2015-04-08 23:46:35] 697*2^1397213-1 is not prime. Res64: 4646FAF98984B6CC Time : 0.0 sec. user=mdettweiler [2015-04-08 23:47:01] 879*2^1397213-1 is not prime. Res64: 28CC1E0601F9647F Time : 0.0 sec. user=mdettweiler [2015-04-08 23:47:02] 885*2^1397213-1 is not prime. Res64: 5A20F3C5DF49A1E8 Time : 0.0 sec. user=mdettweiler [2015-04-08 23:47:11] 721*2^1397213-1 is not prime. Res64: FBD7763D7B3CB7DB Time : 0.0 sec. user=mdettweiler [2015-04-08 23:47:12] 771*2^1397213-1 is not prime. Res64: AC218EF2DB434B14 Time : 0.0 sec. user=mdettweiler [2015-04-08 23:48:35] 915*2^1397213-1 is not prime. Res64: 54FA70EF50B5B102 Time : 0.0 sec. user=mdettweiler [2015-04-08 23:48:35] 985*2^1397213-1 is not prime. Res64: BC9BBD194D26E9B3 Time : 0.0 sec.