user=mdettweiler [2015-07-08 00:04:24] 767*2^1402440-1 is not prime. Res64: CCF47E425D20D224 Time : 0.0 sec. user=mdettweiler [2015-07-08 00:07:11] 909*2^1402440-1 is not prime. Res64: EA9DD9188E0FB059 Time : 0.0 sec. user=mdettweiler [2015-07-08 00:07:13] 715*2^1402441-1 is not prime. Res64: A9B0D6195717DF1D Time : 0.0 sec. user=mdettweiler [2015-07-08 00:27:13] 811*2^1402441-1 is not prime. Res64: 4265BE7A6332766E Time : 0.0 sec. user=mdettweiler [2015-07-08 00:27:13] 939*2^1402441-1 is not prime. Res64: 2265EC31843C6EEC Time : 0.0 sec. user=mdettweiler [2015-07-08 00:47:33] 997*2^1402441-1 is not prime. Res64: D214FC9EB8E2E86F Time : 0.0 sec. user=mdettweiler [2015-07-08 00:47:33] 603*2^1402442-1 is not prime. Res64: 80273C3E5486F1B7 Time : 0.0 sec. user=mdettweiler [2015-07-08 01:07:51] 665*2^1402442-1 is not prime. Res64: 14B7CFFDFDA654F9 Time : 0.0 sec. user=mdettweiler [2015-07-08 01:07:52] 711*2^1402442-1 is not prime. Res64: 88F3077C05DC3E82 Time : 0.0 sec. user=mdettweiler [2015-07-08 01:16:41] 789*2^1402440-1 is not prime. Res64: 8DC97568BD5D803B Time : 0.0 sec. user=mdettweiler [2015-07-08 01:25:53] 979*2^1402439-1 is not prime. Res64: 1730912FF6F9F102 Time : 0.0 sec. user=mdettweiler [2015-07-08 01:25:54] 999*2^1402439-1 is not prime. Res64: A6E8F2E8C7F2D7A9 Time : 0.0 sec. user=mdettweiler [2015-07-08 01:26:28] 743*2^1402442-1 is not prime. Res64: E4AA7D46F127989C Time : 0.0 sec. user=mdettweiler [2015-07-08 01:26:30] 867*2^1402442-1 is not prime. Res64: 8ACC33D2C15E04D8 Time : 0.0 sec. user=mdettweiler [2015-07-08 01:34:17] 885*2^1402442-1 is not prime. Res64: F36080F65B7E68A7 Time : 0.0 sec. user=mdettweiler [2015-07-08 01:34:17] 887*2^1402442-1 is not prime. Res64: 291B8BD5E5716E1D Time : 0.0 sec. user=mdettweiler [2015-07-08 01:43:29] 945*2^1402442-1 is not prime. Res64: C7AB574DE8B95D68 Time : 0.0 sec. user=mdettweiler [2015-07-08 01:43:29] 613*2^1402443-1 is not prime. Res64: A03E158B05369499 Time : 0.0 sec. user=mdettweiler [2015-07-08 01:44:06] 699*2^1402443-1 is not prime. Res64: 88E46D323F20338B Time : 0.0 sec. user=mdettweiler [2015-07-08 01:44:06] 705*2^1402443-1 is not prime. Res64: 6F1CA325F75B32F2 Time : 0.0 sec. user=mdettweiler [2015-07-08 01:51:53] 739*2^1402443-1 is not prime. Res64: 2C134D68715C7491 Time : 0.0 sec. user=mdettweiler [2015-07-08 01:51:54] 783*2^1402443-1 is not prime. Res64: 027BFEFA931B6700 Time : 0.0 sec. user=mdettweiler [2015-07-08 02:01:08] 605*2^1402444-1 is not prime. Res64: BFE1CE62E4896518 Time : 0.0 sec. user=mdettweiler [2015-07-08 02:01:09] 723*2^1402444-1 is not prime. Res64: 7A915EF1E3D27FD6 Time : 0.0 sec. user=mdettweiler [2015-07-08 02:01:54] 813*2^1402444-1 is not prime. Res64: A54B18C28B5D3F5D Time : 0.0 sec. user=mdettweiler [2015-07-08 02:01:55] 819*2^1402444-1 is not prime. Res64: F5838BEB097E9065 Time : 0.0 sec. user=mdettweiler [2015-07-08 02:09:48] 833*2^1402444-1 is not prime. Res64: B1AE6956DEEB9133 Time : 0.0 sec. user=mdettweiler [2015-07-08 02:09:49] 995*2^1402444-1 is not prime. Res64: 182FBA71A0D3E2C1 Time : 0.0 sec. user=mdettweiler [2015-07-08 02:18:59] 657*2^1402445-1 is not prime. Res64: 4DE9C444794263A6 Time : 0.0 sec. user=mdettweiler [2015-07-08 02:19:00] 711*2^1402445-1 is not prime. Res64: 489B36C16432CC38 Time : 0.0 sec. user=mdettweiler [2015-07-08 02:19:39] 885*2^1402445-1 is not prime. Res64: 393C241D274D87AB Time : 0.0 sec. user=mdettweiler [2015-07-08 02:19:39] 951*2^1402445-1 is not prime. Res64: E1636BB579EFD538 Time : 0.0 sec. user=mdettweiler [2015-07-08 02:27:32] 991*2^1402445-1 is not prime. Res64: DD4CBFA88874F65E Time : 0.0 sec. user=mdettweiler [2015-07-08 02:27:32] 765*2^1402446-1 is not prime. Res64: DB3CA03047CB5826 Time : 0.0 sec. user=mdettweiler [2015-07-08 02:36:37] 777*2^1402446-1 is not prime. Res64: F2C1283BBD1284ED Time : 0.0 sec. user=mdettweiler [2015-07-08 02:36:37] 783*2^1402446-1 is not prime. Res64: 60805CA3658599FE Time : 0.0 sec. user=mdettweiler [2015-07-08 02:37:21] 795*2^1402446-1 is not prime. Res64: 580143A5391A9D7D Time : 0.0 sec. user=mdettweiler [2015-07-08 02:37:21] 873*2^1402446-1 is not prime. Res64: B3A3719F5BF6CE2F Time : 0.0 sec. user=S_K_ [2015-07-08 02:40:44] 921*2^1402442-1 is not prime. Res64: 5DCC3BD0B87CE1E7 Time : 0.0 sec. user=mdettweiler [2015-07-08 02:45:14] 971*2^1402446-1 is not prime. Res64: A0AE52E2470430A8 Time : 0.0 sec. user=mdettweiler [2015-07-08 02:45:15] 619*2^1402447-1 is not prime. Res64: EAC3A3B1E5C0C7C1 Time : 0.0 sec. user=mdettweiler [2015-07-08 02:54:09] 999*2^1402447-1 is not prime. Res64: BB2FB5A23833C79B Time : 0.0 sec. user=mdettweiler [2015-07-08 02:54:09] 803*2^1402448-1 is not prime. Res64: D9EAE81BFABF527F Time : 0.0 sec. user=mdettweiler [2015-07-08 02:54:51] 957*2^1402448-1 is not prime. Res64: 3CF5466472A85F37 Time : 0.0 sec. user=mdettweiler [2015-07-08 02:54:52] 959*2^1402448-1 is not prime. Res64: 2E4571AFD1F99D47 Time : 0.0 sec. user=mdettweiler [2015-07-08 03:02:37] 735*2^1402449-1 is not prime. Res64: 45A81F466F902B8D Time : 0.0 sec. user=mdettweiler [2015-07-08 03:02:38] 865*2^1402449-1 is not prime. Res64: 76055F7FD87CE326 Time : 0.0 sec. user=mdettweiler [2015-07-08 03:11:32] 867*2^1402449-1 is not prime. Res64: D9F187FF4182192C Time : 0.0 sec. user=mdettweiler [2015-07-08 03:11:33] 919*2^1402449-1 is not prime. Res64: C7FA3FFD099FC603 Time : 0.0 sec. user=mdettweiler [2015-07-08 03:12:13] 997*2^1402449-1 is not prime. Res64: 60AED078B34EE269 Time : 0.0 sec. user=mdettweiler [2015-07-08 03:12:14] 651*2^1402450-1 is not prime. Res64: AE53C10D76EB8BED Time : 0.0 sec. user=mdettweiler [2015-07-08 03:20:18] 671*2^1402450-1 is not prime. Res64: 6518F46071501066 Time : 0.0 sec. user=mdettweiler [2015-07-08 03:20:18] 713*2^1402450-1 is not prime. Res64: E00151F9FB6F0C09 Time : 0.0 sec. user=mdettweiler [2015-07-08 03:29:19] 765*2^1402450-1 is not prime. Res64: A63598143273F6EE Time : 0.0 sec. user=mdettweiler [2015-07-08 03:29:20] 825*2^1402450-1 is not prime. Res64: CEC1B56825B1DA6B Time : 0.0 sec. user=mdettweiler [2015-07-08 03:29:53] 827*2^1402450-1 is not prime. Res64: 7FCC913FAC5B73E2 Time : 0.0 sec. user=mdettweiler [2015-07-08 03:29:54] 981*2^1402450-1 is not prime. Res64: 04363D82130E7DFB Time : 0.0 sec. user=mdettweiler [2015-07-08 03:37:46] 609*2^1402451-1 is not prime. Res64: 80C154E72B50046C Time : 0.0 sec. user=mdettweiler [2015-07-08 03:37:47] 615*2^1402451-1 is not prime. Res64: A40CB0D57225FDE1 Time : 0.0 sec. user=mdettweiler [2015-07-08 03:46:53] 649*2^1402451-1 is not prime. Res64: D70730C2C998F799 Time : 0.0 sec. user=mdettweiler [2015-07-08 03:46:54] 909*2^1402451-1 is not prime. Res64: EEEB70DF862561EA Time : 0.0 sec. user=mdettweiler [2015-07-08 03:47:34] 979*2^1402451-1 is not prime. Res64: B72282A7CD157AB2 Time : 0.0 sec. user=mdettweiler [2015-07-08 03:47:36] 999*2^1402451-1 is not prime. Res64: 40DB40B32C0847A5 Time : 0.0 sec. user=mdettweiler [2015-07-08 03:55:41] 615*2^1402452-1 is not prime. Res64: E7091C7E3C715610 Time : 0.0 sec. user=mdettweiler [2015-07-08 03:55:41] 749*2^1402452-1 is not prime. Res64: 051DDB4B78659829 Time : 0.0 sec. user=mdettweiler [2015-07-08 04:04:47] 777*2^1402452-1 is not prime. Res64: 477FBEF1ACB6E3B5 Time : 0.0 sec. user=mdettweiler [2015-07-08 04:04:48] 863*2^1402452-1 is not prime. Res64: 96295F9ABACC0834 Time : 0.0 sec. user=mdettweiler [2015-07-08 04:05:20] 909*2^1402452-1 is not prime. Res64: 3D8A415283480010 Time : 0.0 sec. user=mdettweiler [2015-07-08 04:05:21] 945*2^1402452-1 is not prime. Res64: 3C14D2E77AFD5A36 Time : 0.0 sec. user=mdettweiler [2015-07-08 04:13:08] 681*2^1402453-1 is not prime. Res64: A049B7AB3FD99AAE Time : 0.0 sec. user=mdettweiler [2015-07-08 04:13:08] 811*2^1402453-1 is not prime. Res64: ACEE5F4C45433080 Time : 0.0 sec. user=mdettweiler [2015-07-08 04:22:36] 867*2^1402453-1 is not prime. Res64: 756606230A12D47A Time : 0.0 sec. user=mdettweiler [2015-07-08 04:22:37] 955*2^1402453-1 is not prime. Res64: E5D33074A98E53EE Time : 0.0 sec. user=mdettweiler [2015-07-08 04:22:45] 617*2^1402454-1 is not prime. Res64: 7E67D6358D4748BB Time : 0.0 sec. user=mdettweiler [2015-07-08 04:22:45] 623*2^1402454-1 is not prime. Res64: 0BF05B9E00B5F2EC Time : 0.0 sec. user=S_K_ [2015-07-08 04:28:59] 995*2^1402448-1 is not prime. Res64: 6D60096E6CB0F213 Time : 0.0 sec. user=mdettweiler [2015-07-08 04:30:28] 795*2^1402454-1 is not prime. Res64: C2E0ED15BBCF27CA Time : 0.0 sec. user=mdettweiler [2015-07-08 04:30:29] 965*2^1402454-1 is not prime. Res64: 5F0A847F42DD8804 Time : 0.0 sec. user=mdettweiler [2015-07-08 04:40:00] 649*2^1402455-1 is not prime. Res64: D99AD18DF6929988 Time : 0.0 sec. user=mdettweiler [2015-07-08 04:40:00] 663*2^1402455-1 is not prime. Res64: C53D1C3B571AB727 Time : 0.0 sec. user=mdettweiler [2015-07-08 04:40:06] 691*2^1402455-1 is not prime. Res64: D742C09C5FB880D6 Time : 0.0 sec. user=mdettweiler [2015-07-08 04:40:07] 693*2^1402455-1 is not prime. Res64: F67BC3AC54A60CB2 Time : 0.0 sec. user=mdettweiler [2015-07-08 04:47:51] 741*2^1402455-1 is not prime. Res64: 7B8A0F6D386F0C88 Time : 0.0 sec. user=mdettweiler [2015-07-08 04:47:51] 751*2^1402455-1 is not prime. Res64: 22B62B1B02F718EE Time : 0.0 sec. user=mdettweiler [2015-07-08 04:57:23] 825*2^1402455-1 is not prime. Res64: 9389F8D1AD6C33FE Time : 0.0 sec. user=mdettweiler [2015-07-08 04:57:23] 861*2^1402455-1 is not prime. Res64: 308E4958F0492A1A Time : 0.0 sec. user=mdettweiler [2015-07-08 04:57:29] 909*2^1402455-1 is not prime. Res64: CD9D94F5951A105B Time : 0.0 sec. user=mdettweiler [2015-07-08 04:57:29] 921*2^1402455-1 is not prime. Res64: 47F61724F0304EF8 Time : 0.0 sec. user=mdettweiler [2015-07-08 05:05:13] 999*2^1402455-1 is not prime. Res64: 913B18B9DBD9E91D Time : 0.0 sec. user=mdettweiler [2015-07-08 05:05:14] 623*2^1402456-1 is not prime. Res64: 961683D9BAC6D1E3 Time : 0.0 sec. user=mdettweiler [2015-07-08 05:14:45] 735*2^1402456-1 is not prime. Res64: C0E72AE0338D146D Time : 0.0 sec. user=mdettweiler [2015-07-08 05:14:45] 803*2^1402456-1 is not prime. Res64: 9C5955CAC70A4138 Time : 0.0 sec. user=mdettweiler [2015-07-08 05:14:50] 813*2^1402456-1 is not prime. Res64: A0FDC6A96D248D4F Time : 0.0 sec. user=mdettweiler [2015-07-08 05:14:51] 843*2^1402456-1 is not prime. Res64: 0AEF67BCE29A0C12 Time : 0.0 sec. user=mdettweiler [2015-07-08 05:22:49] 887*2^1402456-1 is not prime. Res64: A5EDED8C4DF0CD47 Time : 0.0 sec. user=mdettweiler [2015-07-08 05:22:49] 905*2^1402456-1 is not prime. Res64: 039B9AD06E6BB9DB Time : 0.0 sec. user=mdettweiler [2015-07-08 05:32:07] 917*2^1402456-1 is not prime. Res64: 058C047EF7D59AEF Time : 0.0 sec. user=mdettweiler [2015-07-08 05:32:08] 965*2^1402456-1 is not prime. Res64: B6E9CDD29510E5ED Time : 0.0 sec. user=mdettweiler [2015-07-08 05:32:12] 607*2^1402457-1 is not prime. Res64: BA4AF07DAF5330C7 Time : 0.0 sec. user=mdettweiler [2015-07-08 05:32:12] 627*2^1402457-1 is not prime. Res64: C188FEB93063E83B Time : 0.0 sec. user=mdettweiler [2015-07-08 05:40:11] 631*2^1402457-1 is not prime. Res64: 1DE0503575D95E54 Time : 0.0 sec. user=mdettweiler [2015-07-08 05:40:11] 675*2^1402457-1 is not prime. Res64: D777DE6F6E2D1118 Time : 0.0 sec. user=mdettweiler [2015-07-08 05:49:30] 717*2^1402457-1 is not prime. Res64: ADADD8CE9126DFE1 Time : 0.0 sec. user=mdettweiler [2015-07-08 05:49:30] 805*2^1402457-1 is not prime. Res64: 317A029B1DAB1E5A Time : 0.0 sec. user=mdettweiler [2015-07-08 05:49:34] 931*2^1402457-1 is not prime. Res64: 0580F3E564331184 Time : 0.0 sec. user=mdettweiler [2015-07-08 05:49:35] 633*2^1402458-1 is not prime. Res64: FE8CF6864833F096 Time : 0.0 sec. user=mdettweiler [2015-07-08 05:57:36] 641*2^1402458-1 is not prime. Res64: AC74BCE2ED0F4FCA Time : 0.0 sec. user=mdettweiler [2015-07-08 05:57:36] 651*2^1402458-1 is not prime. Res64: 490AFCD88D18508E Time : 0.0 sec. user=mdettweiler [2015-07-08 06:06:51] 681*2^1402458-1 is not prime. Res64: 88FA84CF81FE1840 Time : 0.0 sec. user=mdettweiler [2015-07-08 06:06:51] 735*2^1402458-1 is not prime. Res64: EA17F3C2C2BF9EDC Time : 0.0 sec. user=mdettweiler [2015-07-08 06:06:55] 933*2^1402458-1 is not prime. Res64: 6317B7E2808FF1A3 Time : 0.0 sec. user=mdettweiler [2015-07-08 06:06:55] 619*2^1402459-1 is not prime. Res64: CB86870DF68115FF Time : 0.0 sec. user=mdettweiler [2015-07-08 06:14:58] 625*2^1402459-1 is not prime. Res64: 76CD73746DBC3D1C Time : 0.0 sec. user=mdettweiler [2015-07-08 06:14:58] 691*2^1402459-1 is not prime. Res64: 98BCAF1D1DCE7C8C Time : 0.0 sec. user=mdettweiler [2015-07-08 06:24:16] 735*2^1402459-1 is not prime. Res64: D322F99B6CFA612B Time : 0.0 sec. user=mdettweiler [2015-07-08 06:24:16] 891*2^1402459-1 is not prime. Res64: 81B72A28437547B8 Time : 0.0 sec. user=mdettweiler [2015-07-08 06:24:16] 647*2^1402460-1 is not prime. Res64: 5F7EFC27F338FB15 Time : 0.0 sec. user=mdettweiler [2015-07-08 06:24:17] 735*2^1402460-1 is not prime. Res64: 78363781F8F8AA9D Time : 0.0 sec. user=mdettweiler [2015-07-08 06:32:23] 773*2^1402460-1 is not prime. Res64: 4D456DF300AF6906 Time : 0.0 sec. user=mdettweiler [2015-07-08 06:32:23] 855*2^1402460-1 is not prime. Res64: 06FE9FC20289395B Time : 0.0 sec. user=mdettweiler [2015-07-08 06:41:45] 909*2^1402460-1 is not prime. Res64: 62D876E8FCC0633A Time : 0.0 sec. user=mdettweiler [2015-07-08 06:41:46] 999*2^1402460-1 is not prime. Res64: 6AA70DD6ECE8FAFD Time : 0.0 sec. user=mdettweiler [2015-07-08 06:41:46] 977*2^1402460-1 is not prime. Res64: 0BC2A2E6A2523F5B Time : 0.0 sec. user=mdettweiler [2015-07-08 06:41:47] 625*2^1402461-1 is not prime. Res64: BB586996F6C6D7DC Time : 0.0 sec. user=mdettweiler [2015-07-08 06:49:45] 649*2^1402461-1 is not prime. Res64: 9EE70751A8266951 Time : 0.0 sec. user=mdettweiler [2015-07-08 06:49:46] 691*2^1402461-1 is not prime. Res64: 6FE99712608EF279 Time : 0.0 sec. user=mdettweiler [2015-07-08 06:59:08] 745*2^1402461-1 is not prime. Res64: 99A3B3C1BE90745C Time : 0.0 sec. user=mdettweiler [2015-07-08 06:59:09] 795*2^1402461-1 is not prime. Res64: 1D7AC31049F0A779 Time : 0.0 sec. user=mdettweiler [2015-07-08 06:59:09] 805*2^1402461-1 is not prime. Res64: 3D00F2A9A1501543 Time : 0.0 sec. user=mdettweiler [2015-07-08 06:59:09] 811*2^1402461-1 is not prime. Res64: 6FD638DC3677BB61 Time : 0.0 sec. user=S_K_ [2015-07-08 07:06:04] 739*2^1402455-1 is not prime. Res64: 2B4293FCC06484FB Time : 0.0 sec. user=mdettweiler [2015-07-08 07:07:07] 817*2^1402461-1 is not prime. Res64: EE3AEE9F5723A8D6 Time : 0.0 sec. user=mdettweiler [2015-07-08 07:07:08] 665*2^1402462-1 is not prime. Res64: 2675F215B02DF1AF Time : 0.0 sec. user=mdettweiler [2015-07-08 07:16:31] 831*2^1402462-1 is not prime. Res64: 6B27B6A9922789E3 Time : 0.0 sec. user=mdettweiler [2015-07-08 07:16:31] 863*2^1402462-1 is not prime. Res64: 51411B9215180B0F Time : 0.0 sec. user=mdettweiler [2015-07-08 07:16:33] 873*2^1402462-1 is not prime. Res64: 0D32CC7F4E590D13 Time : 0.0 sec. user=mdettweiler [2015-07-08 07:16:34] 633*2^1402463-1 is not prime. Res64: 054492360A316655 Time : 0.0 sec. user=mdettweiler [2015-07-08 07:25:03] 705*2^1402463-1 is not prime. Res64: F125B063ECF226BE Time : 0.0 sec. user=mdettweiler [2015-07-08 07:25:03] 741*2^1402463-1 is not prime. Res64: D278C96BA50205B8 Time : 0.0 sec. user=mdettweiler [2015-07-08 07:33:53] 813*2^1402463-1 is not prime. Res64: 8850AAA573624408 Time : 0.0 sec. user=mdettweiler [2015-07-08 07:33:53] 885*2^1402463-1 is not prime. Res64: 424599A4902F53C7 Time : 0.0 sec. user=mdettweiler [2015-07-08 07:33:54] 949*2^1402463-1 is not prime. Res64: 924E67A03D8E8453 Time : 0.0 sec. user=mdettweiler [2015-07-08 07:33:55] 955*2^1402463-1 is not prime. Res64: 466A189FAF547B4F Time : 0.0 sec. user=mdettweiler [2015-07-08 07:42:24] 665*2^1402464-1 is not prime. Res64: 34841C01F52AA59C Time : 0.0 sec. user=mdettweiler [2015-07-08 07:42:24] 753*2^1402464-1 is not prime. Res64: 649976D8442D755C Time : 0.0 sec. user=mdettweiler [2015-07-08 07:51:14] 915*2^1402464-1 is not prime. Res64: 23DFCBDA1E97B762 Time : 0.0 sec. user=mdettweiler [2015-07-08 07:51:14] 945*2^1402464-1 is not prime. Res64: 6685C63177312129 Time : 0.0 sec. user=mdettweiler [2015-07-08 07:51:15] 983*2^1402464-1 is not prime. Res64: 8367746E5983D705 Time : 0.0 sec. user=mdettweiler [2015-07-08 07:51:16] 661*2^1402465-1 is not prime. Res64: 5BCC137CF475340C Time : 0.0 sec. user=mdettweiler [2015-07-08 07:59:45] 909*2^1402465-1 is not prime. Res64: 1B7CFF30A4757A74 Time : 0.0 sec. user=mdettweiler [2015-07-08 07:59:46] 937*2^1402465-1 is not prime. Res64: 2D595398DC9472D3 Time : 0.0 sec. user=mdettweiler [2015-07-08 08:08:36] 873*2^1402466-1 is not prime. Res64: FD439865E09B2557 Time : 0.0 sec. user=mdettweiler [2015-07-08 08:08:36] 893*2^1402466-1 is not prime. Res64: AF3F9C1BB644D5CA Time : 0.0 sec. user=mdettweiler [2015-07-08 08:08:37] 971*2^1402466-1 is not prime. Res64: A10A40A42ED84775 Time : 0.0 sec. user=mdettweiler [2015-07-08 08:08:37] 993*2^1402466-1 is not prime. Res64: 2E7F8E1D09E32EDB Time : 0.0 sec. user=mdettweiler [2015-07-08 08:17:09] 601*2^1402467-1 is not prime. Res64: F5086F90F4FD6EEE Time : 0.0 sec. user=mdettweiler [2015-07-08 08:17:10] 615*2^1402467-1 is not prime. Res64: A3F260039D9EB0A3 Time : 0.0 sec. user=mdettweiler [2015-07-08 08:26:01] 859*2^1402467-1 is not prime. Res64: 799130D1F3C48A92 Time : 0.0 sec. user=mdettweiler [2015-07-08 08:26:01] 903*2^1402467-1 is not prime. Res64: 9BDB358936F8D786 Time : 0.0 sec. user=mdettweiler [2015-07-08 08:26:01] 625*2^1402467-1 is not prime. Res64: 60A19C1B3AA7199E Time : 0.0 sec. user=mdettweiler [2015-07-08 08:26:02] 751*2^1402467-1 is not prime. Res64: D2CE9A221C16C0CF Time : 0.0 sec. user=mdettweiler [2015-07-08 08:34:33] 963*2^1402467-1 is not prime. Res64: 36EFE833572A5189 Time : 0.0 sec. user=mdettweiler [2015-07-08 08:34:34] 603*2^1402468-1 is not prime. Res64: B449F1ECD3F8F82E Time : 0.0 sec. user=mdettweiler [2015-07-08 08:43:23] 777*2^1402468-1 is not prime. Res64: 6196C9AA45CD8AD3 Time : 0.0 sec. user=mdettweiler [2015-07-08 08:43:23] 827*2^1402468-1 is not prime. Res64: ECCCE4AB3181ECF2 Time : 0.0 sec. user=mdettweiler [2015-07-08 08:43:24] 843*2^1402468-1 is not prime. Res64: 0BF33847A2E2C57E Time : 0.0 sec. user=mdettweiler [2015-07-08 08:43:24] 845*2^1402468-1 is not prime. Res64: F2FEB129B808BD11 Time : 0.0 sec. user=mdettweiler [2015-07-08 08:51:55] 975*2^1402468-1 is not prime. Res64: C472ED17B2EDE097 Time : 0.0 sec. user=mdettweiler [2015-07-08 08:51:55] 657*2^1402469-1 is not prime. Res64: 3CB4E4606D81EE3C Time : 0.0 sec. user=mdettweiler [2015-07-08 09:00:45] 697*2^1402469-1 is not prime. Res64: D75F5B2377589A33 Time : 0.0 sec. user=mdettweiler [2015-07-08 09:00:46] 759*2^1402469-1 is not prime. Res64: 9D38D396E0E7FBE6 Time : 0.0 sec. user=mdettweiler [2015-07-08 09:00:46] 725*2^1402470-1 is not prime. Res64: 4E029A044F66E0D3 Time : 0.0 sec. user=mdettweiler [2015-07-08 09:00:47] 755*2^1402470-1 is not prime. Res64: 298F29D65C804F0E Time : 0.0 sec. user=mdettweiler [2015-07-08 09:09:16] 861*2^1402470-1 is not prime. Res64: 55210E34C109D934 Time : 0.0 sec. user=mdettweiler [2015-07-08 09:09:17] 639*2^1402471-1 is not prime. Res64: 1FB7128EC67F0B84 Time : 0.0 sec. user=mdettweiler [2015-07-08 09:18:14] 805*2^1402471-1 is not prime. Res64: 253D0999360796D5 Time : 0.0 sec. user=mdettweiler [2015-07-08 09:18:14] 883*2^1402471-1 is not prime. Res64: 0A5D89645B18FAAA Time : 0.0 sec. user=mdettweiler [2015-07-08 09:18:18] 617*2^1402472-1 is not prime. Res64: A8AFAB8D52FFB436 Time : 0.0 sec. user=mdettweiler [2015-07-08 09:18:19] 725*2^1402472-1 is not prime. Res64: 8AE99C0BEE0F9FB4 Time : 0.0 sec. user=mdettweiler [2015-07-08 09:26:47] 759*2^1402472-1 is not prime. Res64: 49D5E69D298473EA Time : 0.0 sec. user=mdettweiler [2015-07-08 09:26:48] 837*2^1402472-1 is not prime. Res64: DA4A34F869778EEB Time : 0.0 sec. user=mdettweiler [2015-07-08 09:36:23] 675*2^1402473-1 is not prime. Res64: 684D1AF5FE02B31B Time : 0.0 sec. user=mdettweiler [2015-07-08 09:36:23] 765*2^1402473-1 is not prime. Res64: EC47FDD0E8A92589 Time : 0.0 sec. user=mdettweiler [2015-07-08 09:36:25] 781*2^1402473-1 is not prime. Res64: C098BFAE7463BEA3 Time : 0.0 sec. user=mdettweiler [2015-07-08 09:36:25] 969*2^1402473-1 is not prime. Res64: 3FC7D1AE595254D6 Time : 0.0 sec. user=mdettweiler [2015-07-08 09:44:50] 605*2^1402474-1 is not prime. Res64: E3AC20E6C5B3C318 Time : 0.0 sec. user=mdettweiler [2015-07-08 09:44:51] 621*2^1402474-1 is not prime. Res64: 2B5D59C3A6635845 Time : 0.0 sec. user=mdettweiler [2015-07-08 09:53:49] 665*2^1402474-1 is not prime. Res64: 3709C44359EA7332 Time : 0.0 sec. user=mdettweiler [2015-07-08 09:53:50] 741*2^1402474-1 is not prime. Res64: A34AA4995960C628 Time : 0.0 sec. user=mdettweiler [2015-07-08 09:53:52] 783*2^1402474-1 is not prime. Res64: D778425A31D0CCB8 Time : 0.0 sec. user=mdettweiler [2015-07-08 09:53:53] 803*2^1402474-1 is not prime. Res64: 0E65D5393A9DD8C9 Time : 0.0 sec. user=mdettweiler [2015-07-08 10:02:17] 947*2^1402474-1 is not prime. Res64: FD4C97195EAFD93C Time : 0.0 sec. user=mdettweiler [2015-07-08 10:02:18] 951*2^1402474-1 is not prime. Res64: 6EEFDE384AA23796 Time : 0.0 sec. user=mdettweiler [2015-07-08 10:11:12] 663*2^1402475-1 is not prime. Res64: A6373D6A1CD0F09C Time : 0.0 sec. user=mdettweiler [2015-07-08 10:11:12] 771*2^1402475-1 is not prime. Res64: 94AAA0CDE44A32CB Time : 0.0 sec. user=mdettweiler [2015-07-08 10:11:15] 781*2^1402475-1 is not prime. Res64: 65FE9684C8969021 Time : 0.0 sec. user=mdettweiler [2015-07-08 10:11:16] 805*2^1402475-1 is not prime. Res64: 41DB4833ECFB96D1 Time : 0.0 sec. user=mdettweiler [2015-07-08 10:19:51] 861*2^1402475-1 is not prime. Res64: 609ECD06093EC87E Time : 0.0 sec. user=mdettweiler [2015-07-08 10:19:51] 913*2^1402475-1 is not prime. Res64: C2B75BE0E3FED7C6 Time : 0.0 sec. user=mdettweiler [2015-07-08 10:28:37] 629*2^1402476-1 is not prime. Res64: DFF458EAB7506E58 Time : 0.0 sec. user=mdettweiler [2015-07-08 10:28:38] 693*2^1402476-1 is not prime. Res64: 82AFC13DB71DAD3D Time : 0.0 sec. user=mdettweiler [2015-07-08 10:28:38] 707*2^1402476-1 is not prime. Res64: E59742FF729A649A Time : 0.0 sec. user=mdettweiler [2015-07-08 10:28:38] 927*2^1402476-1 is not prime. Res64: AF314F86B4F2996D Time : 0.0 sec. user=mdettweiler [2015-07-08 10:37:14] 615*2^1402477-1 is not prime. Res64: AEC3892262F8A877 Time : 0.0 sec. user=mdettweiler [2015-07-08 10:37:15] 691*2^1402477-1 is not prime. Res64: 220BAEEC00ABA4D8 Time : 0.0 sec. user=mdettweiler [2015-07-08 10:46:00] 771*2^1402477-1 is not prime. Res64: A7B80DD902935A51 Time : 0.0 sec. user=mdettweiler [2015-07-08 10:46:01] 831*2^1402477-1 is not prime. Res64: 7E1E3B76759E554A Time : 0.0 sec. user=mdettweiler [2015-07-08 10:46:02] 919*2^1402477-1 is not prime. Res64: FA3362401190739B Time : 0.0 sec. user=mdettweiler [2015-07-08 10:46:02] 937*2^1402477-1 is not prime. Res64: 55930AA694B028FA Time : 0.0 sec. user=mdettweiler [2015-07-08 10:54:51] 999*2^1402477-1 is not prime. Res64: 06BA30A12D7B60AD Time : 0.0 sec. user=mdettweiler [2015-07-08 10:54:51] 641*2^1402478-1 is not prime. Res64: A7DDB7BDCB66AAC5 Time : 0.0 sec. user=mdettweiler [2015-07-08 11:03:47] 831*2^1402478-1 is not prime. Res64: 514E3987FF258437 Time : 0.0 sec. user=mdettweiler [2015-07-08 11:03:48] 711*2^1402478-1 is not prime. Res64: 15CE55CF14212006 Time : 0.0 sec. user=mdettweiler [2015-07-08 11:03:48] 893*2^1402478-1 is not prime. Res64: 39FF1945CC35C0A2 Time : 0.0 sec. user=mdettweiler [2015-07-08 11:03:49] 731*2^1402478-1 is not prime. Res64: 04BC502EEC19A6A2 Time : 0.0 sec. user=mdettweiler [2015-07-08 11:12:37] 615*2^1402479-1 is not prime. Res64: 7A82D7EBDDE3FA2A Time : 0.0 sec. user=mdettweiler [2015-07-08 11:12:37] 619*2^1402479-1 is not prime. Res64: DC39CF817A22B541 Time : 0.0 sec. user=mdettweiler [2015-07-08 11:22:03] 831*2^1402479-1 is not prime. Res64: 7B6AC6922C64351C Time : 0.0 sec. user=mdettweiler [2015-07-08 11:22:03] 891*2^1402479-1 is not prime. Res64: BFE6752FC2231156 Time : 0.0 sec. user=mdettweiler [2015-07-08 11:22:05] 735*2^1402479-1 is not prime. Res64: F58AACCE704BEC1A Time : 0.0 sec. user=mdettweiler [2015-07-08 11:22:05] 921*2^1402479-1 is not prime. Res64: F429F1A21E2C59EF Time : 0.0 sec. user=mdettweiler [2015-07-08 11:30:33] 951*2^1402479-1 is not prime. Res64: EA349D2FC9C1E835 Time : 0.0 sec. user=mdettweiler [2015-07-08 11:30:33] 969*2^1402479-1 is not prime. Res64: 12304B4770F43D4C Time : 0.0 sec. user=mdettweiler [2015-07-08 11:39:59] 707*2^1402480-1 is not prime. Res64: 917FF135BBEF554F Time : 0.0 sec. user=mdettweiler [2015-07-08 11:40:00] 717*2^1402480-1 is not prime. Res64: 3748084ECA4B0986 Time : 0.0 sec. user=mdettweiler [2015-07-08 11:40:02] 975*2^1402479-1 is not prime. Res64: 93AF96560C1CC04C Time : 0.0 sec. user=mdettweiler [2015-07-08 11:40:02] 653*2^1402480-1 is not prime. Res64: 21E5F2A1B5D4F049 Time : 0.0 sec. user=mdettweiler [2015-07-08 11:48:42] 723*2^1402480-1 is not prime. Res64: 7B626724DA703BA0 Time : 0.0 sec. user=mdettweiler [2015-07-08 11:48:42] 735*2^1402480-1 is not prime. Res64: E70CEED094CD22E8 Time : 0.0 sec. user=mdettweiler [2015-07-08 11:58:10] 759*2^1402480-1 is not prime. Res64: 0135027A495530CA Time : 0.0 sec. user=mdettweiler [2015-07-08 11:58:10] 849*2^1402480-1 is not prime. Res64: 9740EFA10EEF6785 Time : 0.0 sec. user=mdettweiler [2015-07-08 11:58:13] 855*2^1402480-1 is not prime. Res64: C66C014E17E7330E Time : 0.0 sec. user=mdettweiler [2015-07-08 11:58:13] 989*2^1402480-1 is not prime. Res64: E09F61E9355A9B7C Time : 0.0 sec. user=mdettweiler [2015-07-08 12:06:30] 669*2^1402481-1 is not prime. Res64: 71634BE7D5FA9D53 Time : 0.0 sec. user=mdettweiler [2015-07-08 12:06:31] 691*2^1402481-1 is not prime. Res64: 78D349BA32CCA768 Time : 0.0 sec. user=mdettweiler [2015-07-08 12:15:33] 769*2^1402481-1 is not prime. Res64: ED67ACC9463E3C3D Time : 0.0 sec. user=mdettweiler [2015-07-08 12:15:33] 885*2^1402481-1 is not prime. Res64: FFA2A38DE9AE2F08 Time : 0.0 sec. user=mdettweiler [2015-07-08 12:15:37] 987*2^1402481-1 is not prime. Res64: 63631F114C2821EF Time : 0.0 sec. user=mdettweiler [2015-07-08 12:15:37] 803*2^1402482-1 is not prime. Res64: 1778519167D31234 Time : 0.0 sec. user=mdettweiler [2015-07-08 12:23:59] 945*2^1402482-1 is not prime. Res64: 78329FCDEEAD3A4C Time : 0.0 sec. user=mdettweiler [2015-07-08 12:23:59] 983*2^1402482-1 is not prime. Res64: AB42155C66131C4B Time : 0.0 sec. user=mdettweiler [2015-07-08 12:33:00] 675*2^1402483-1 is not prime. Res64: 2D26572300AF080A Time : 0.0 sec. user=mdettweiler [2015-07-08 12:33:00] 693*2^1402483-1 is not prime. Res64: F2B4786DD0FFE9C4 Time : 0.0 sec. user=mdettweiler [2015-07-08 12:33:09] 913*2^1402483-1 is not prime. Res64: EAA337D220453EEA Time : 0.0 sec. user=mdettweiler [2015-07-08 12:33:09] 919*2^1402483-1 is not prime. Res64: 7C456F0B4EBABA90 Time : 0.0 sec. user=mdettweiler [2015-07-08 12:41:29] 677*2^1402484-1 is not prime. Res64: 1882C36E5C29D88B Time : 0.0 sec. user=mdettweiler [2015-07-08 12:41:29] 707*2^1402484-1 is not prime. Res64: 27589A16EE84F37E Time : 0.0 sec. user=mdettweiler [2015-07-08 12:50:35] 869*2^1402484-1 is not prime. Res64: C40192315907BF14 Time : 0.0 sec. user=mdettweiler [2015-07-08 12:50:35] 953*2^1402484-1 is not prime. Res64: FEAC9D764C387B9F Time : 0.0 sec. user=mdettweiler [2015-07-08 12:50:45] 955*2^1402485-1 is not prime. Res64: 809B75E46AA331E0 Time : 0.0 sec. user=mdettweiler [2015-07-08 12:50:45] 663*2^1402486-1 is not prime. Res64: 9B0B5A1BDD2BEAFB Time : 0.0 sec. user=mdettweiler [2015-07-08 12:58:57] 917*2^1402486-1 is not prime. Res64: 3DD1E1B902E24185 Time : 0.0 sec. user=mdettweiler [2015-07-08 12:58:58] 945*2^1402486-1 is not prime. Res64: 8057BA0868AA8FE7 Time : 0.0 sec. user=mdettweiler [2015-07-08 13:08:00] 947*2^1402486-1 is not prime. Res64: 19F0938D14B565C3 Time : 0.0 sec. user=mdettweiler [2015-07-08 13:08:01] 957*2^1402486-1 is not prime. Res64: 4FF53CC97692FA15 Time : 0.0 sec. user=mdettweiler [2015-07-08 13:08:16] 609*2^1402487-1 is not prime. Res64: 9AA6341C1E6F7526 Time : 0.0 sec. user=mdettweiler [2015-07-08 13:08:17] 675*2^1402487-1 is not prime. Res64: E76B24A8F30E15F1 Time : 0.0 sec. user=mdettweiler [2015-07-08 13:16:22] 693*2^1402487-1 is not prime. Res64: 96BA9B5954CD8CD5 Time : 0.0 sec. user=mdettweiler [2015-07-08 13:16:23] 715*2^1402487-1 is not prime. Res64: E73B65646E41D5AA Time : 0.0 sec. user=mdettweiler [2015-07-08 13:25:40] 865*2^1402487-1 is not prime. Res64: A72EB1CB2327F474 Time : 0.0 sec. user=mdettweiler [2015-07-08 13:25:40] 663*2^1402488-1 is not prime. Res64: B1E62A70D080A429 Time : 0.0 sec. user=mdettweiler [2015-07-08 13:25:40] 985*2^1402487-1 is not prime. Res64: 80D2C0A63B98AA62 Time : 0.0 sec. user=mdettweiler [2015-07-08 13:25:41] 725*2^1402488-1 is not prime. Res64: 2236F47EB7F941B4 Time : 0.0 sec. user=mdettweiler [2015-07-08 13:33:44] 765*2^1402488-1 is not prime. Res64: 05F4B940CC334BC7 Time : 0.0 sec. user=mdettweiler [2015-07-08 13:33:45] 777*2^1402488-1 is not prime. Res64: 4DC67019C25A2DA0 Time : 0.0 sec. user=mdettweiler [2015-07-08 13:43:02] 797*2^1402488-1 is not prime. Res64: A49D0FB144AD2B65 Time : 0.0 sec. user=mdettweiler [2015-07-08 13:43:02] 809*2^1402488-1 is not prime. Res64: 30D9C9315B8FE302 Time : 0.0 sec. user=mdettweiler [2015-07-08 13:43:03] 887*2^1402488-1 is not prime. Res64: 8C762A36A903DCFC Time : 0.0 sec. user=mdettweiler [2015-07-08 13:43:03] 935*2^1402488-1 is not prime. Res64: F39B5976D7C8DADB Time : 0.0 sec. user=mdettweiler [2015-07-08 13:51:08] 609*2^1402489-1 is not prime. Res64: 95148A49D96BCE77 Time : 0.0 sec. user=mdettweiler [2015-07-08 13:51:09] 615*2^1402489-1 is not prime. Res64: BF686ACEAC7C791D Time : 0.0 sec. user=S_K_ [2015-07-08 13:52:38] 759*2^1402487-1 is not prime. Res64: 7F4702BF94B0A7F1 Time : 0.0 sec. user=mdettweiler [2015-07-08 14:00:26] 729*2^1402489-1 is not prime. Res64: 1E3450FCEB138F10 Time : 0.0 sec. user=mdettweiler [2015-07-08 14:00:28] 877*2^1402489-1 is not prime. Res64: 254531D14E87BB0D Time : 0.0 sec. user=mdettweiler [2015-07-08 14:00:29] 931*2^1402489-1 is not prime. Res64: BB82236690AE81CC Time : 0.0 sec. user=mdettweiler [2015-07-08 14:00:30] 623*2^1402490-1 is not prime. Res64: DDA148DF28A5FFEA Time : 0.0 sec. user=mdettweiler [2015-07-08 14:08:31] 635*2^1402490-1 is not prime. Res64: 3510514EB83F4300 Time : 0.0 sec. user=mdettweiler [2015-07-08 14:08:32] 677*2^1402490-1 is not prime. Res64: ED91CE346EE1D0DC Time : 0.0 sec. user=mdettweiler [2015-07-08 14:17:52] 713*2^1402490-1 is not prime. Res64: 31B22274979E26EC Time : 0.0 sec. user=mdettweiler [2015-07-08 14:17:53] 813*2^1402490-1 is not prime. Res64: CAFB00EB97F66709 Time : 0.0 sec. user=mdettweiler [2015-07-08 14:17:53] 857*2^1402490-1 is not prime. Res64: F1AE1F4658870174 Time : 0.0 sec. user=mdettweiler [2015-07-08 14:17:54] 885*2^1402490-1 is not prime. Res64: C599A85D6D46A8E3 Time : 0.0 sec. user=mdettweiler [2015-07-08 14:25:54] 927*2^1402490-1 is not prime. Res64: 7AA90E49526B4BDF Time : 0.0 sec. user=mdettweiler [2015-07-08 14:25:54] 941*2^1402490-1 is not prime. Res64: B83AD38C7D1CE593 Time : 0.0 sec. user=mdettweiler [2015-07-08 14:35:15] 745*2^1402491-1 is not prime. Res64: 811BBD957EDD80B7 Time : 0.0 sec. user=mdettweiler [2015-07-08 14:35:15] 975*2^1402491-1 is not prime. Res64: B8B238C0011C626E Time : 0.0 sec. user=mdettweiler [2015-07-08 14:35:16] 605*2^1402492-1 is not prime. Res64: ACCA71C08F862117 Time : 0.0 sec. user=mdettweiler [2015-07-08 14:35:17] 869*2^1402492-1 is not prime. Res64: 40B62F42066310CA Time : 0.0 sec. user=mdettweiler [2015-07-08 14:43:20] 875*2^1402492-1 is not prime. Res64: D71E0669666DB93F Time : 0.0 sec. user=mdettweiler [2015-07-08 14:43:21] 615*2^1402493-1 is not prime. Res64: 93C79130D4B78073 Time : 0.0 sec. user=mdettweiler [2015-07-08 14:52:39] 775*2^1402493-1 is not prime. Res64: FB3D5F7679234CF5 Time : 0.0 sec. user=mdettweiler [2015-07-08 14:52:40] 805*2^1402493-1 is not prime. Res64: E50BB91CBD2C21E5 Time : 0.0 sec. user=mdettweiler [2015-07-08 14:52:43] 685*2^1402493-1 is not prime. Res64: 483B7A209A67CC04 Time : 0.0 sec. user=mdettweiler [2015-07-08 14:52:43] 759*2^1402493-1 is not prime. Res64: 69D7CC3760725570 Time : 0.0 sec. user=mdettweiler [2015-07-08 15:00:45] 867*2^1402493-1 is not prime. Res64: CF3437FC5C2DCC2A Time : 0.0 sec. user=mdettweiler [2015-07-08 15:00:46] 969*2^1402493-1 is not prime. Res64: A2B9FE19885BE2B6 Time : 0.0 sec. user=mdettweiler [2015-07-08 15:10:04] 705*2^1402494-1 is not prime. Res64: 4E125DF66B5C30B2 Time : 0.0 sec. user=mdettweiler [2015-07-08 15:10:04] 891*2^1402494-1 is not prime. Res64: 96FA2A73D8353A00 Time : 0.0 sec. user=mdettweiler [2015-07-08 15:10:09] 917*2^1402494-1 is not prime. Res64: F047A9516E5585C4 Time : 0.0 sec. user=mdettweiler [2015-07-08 15:10:10] 927*2^1402494-1 is not prime. Res64: BB6DA546C4091D19 Time : 0.0 sec. user=mdettweiler [2015-07-08 15:18:12] 951*2^1402494-1 is not prime. Res64: 348D98F20CA6F663 Time : 0.0 sec. user=mdettweiler [2015-07-08 15:18:12] 751*2^1402495-1 is not prime. Res64: 4A08BAC231809FEE Time : 0.0 sec. user=mdettweiler [2015-07-08 15:27:26] 755*2^1402496-1 is not prime. Res64: EE547EFFB31E9160 Time : 0.0 sec. user=mdettweiler [2015-07-08 15:27:27] 759*2^1402496-1 is not prime. Res64: 5B3E7658EA8F7938 Time : 0.0 sec. user=mdettweiler [2015-07-08 15:27:32] 825*2^1402496-1 is not prime. Res64: 7E978D5F9E8540FE Time : 0.0 sec. user=mdettweiler [2015-07-08 15:27:32] 909*2^1402496-1 is not prime. Res64: C5AA518F8C794D58 Time : 0.0 sec. user=mdettweiler [2015-07-08 15:35:35] 927*2^1402496-1 is not prime. Res64: 4EC4F1255584E6AC Time : 0.0 sec. user=mdettweiler [2015-07-08 15:35:35] 667*2^1402497-1 is not prime. Res64: A462E6ED91491391 Time : 0.0 sec. user=mdettweiler [2015-07-08 15:44:49] 781*2^1402497-1 is not prime. Res64: 99DABED1F4750005 Time : 0.0 sec. user=mdettweiler [2015-07-08 15:44:49] 901*2^1402497-1 is not prime. Res64: F701BC694198F261 Time : 0.0 sec. user=mdettweiler [2015-07-08 15:44:53] 955*2^1402497-1 is not prime. Res64: 4891F2FDC1C883F6 Time : 0.0 sec. user=mdettweiler [2015-07-08 15:44:54] 979*2^1402497-1 is not prime. Res64: 2409FC4A7EA9DD83 Time : 0.0 sec. user=mdettweiler [2015-07-08 15:53:00] 633*2^1402498-1 is not prime. Res64: 795017AC10D1AF4B Time : 0.0 sec. user=mdettweiler [2015-07-08 15:53:01] 651*2^1402498-1 is not prime. Res64: E10C146E4EB341F1 Time : 0.0 sec. user=mdettweiler [2015-07-08 16:02:13] 723*2^1402498-1 is not prime. Res64: F6D6448D1689034A Time : 0.0 sec. user=mdettweiler [2015-07-08 16:02:14] 737*2^1402498-1 is not prime. Res64: 42B6F033AD501DED Time : 0.0 sec. user=mdettweiler [2015-07-08 16:02:17] 825*2^1402498-1 is not prime. Res64: 0A8E80EF381B15B7 Time : 0.0 sec. user=mdettweiler [2015-07-08 16:02:18] 915*2^1402498-1 is not prime. Res64: A06D138F0AA631E2 Time : 0.0 sec. user=mdettweiler [2015-07-08 16:10:24] 621*2^1402499-1 is not prime. Res64: 0A74425F4E35B11D Time : 0.0 sec. user=mdettweiler [2015-07-08 16:10:24] 703*2^1402499-1 is not prime. Res64: F08A25C46309B5E9 Time : 0.0 sec. user=mdettweiler [2015-07-08 16:20:04] 745*2^1402499-1 is not prime. Res64: E7166BC9730AC551 Time : 0.0 sec. user=mdettweiler [2015-07-08 16:20:05] 759*2^1402499-1 is not prime. Res64: FE19CEC9431FB56A Time : 0.0 sec. user=mdettweiler [2015-07-08 16:20:05] 999*2^1402499-1 is not prime. Res64: 958DADF4152B552B Time : 0.0 sec. user=mdettweiler [2015-07-08 16:20:06] 669*2^1402500-1 is not prime. Res64: 970B3570E8D8556B Time : 0.0 sec. user=mdettweiler [2015-07-08 16:27:46] 695*2^1402500-1 is not prime. Res64: B62D514375FCBDE0 Time : 0.0 sec. user=mdettweiler [2015-07-08 16:27:47] 803*2^1402500-1 is not prime. Res64: E0CCAAAD16E47AE4 Time : 0.0 sec. user=S_K_ [2015-07-08 16:36:54] 669*2^1402496-1 is not prime. Res64: EB4A640C4DAE716D Time : 0.0 sec. user=mdettweiler [2015-07-08 16:37:29] 857*2^1402500-1 is not prime. Res64: 3B9C82176FDA2F6C Time : 0.0 sec. user=mdettweiler [2015-07-08 16:37:30] 933*2^1402500-1 is not prime. Res64: 9F0E0708B7E9C14C Time : 0.0 sec. user=mdettweiler [2015-07-08 16:37:30] 983*2^1402500-1 is not prime. Res64: 911CFF542F95697D Time : 0.0 sec. user=mdettweiler [2015-07-08 16:37:30] 607*2^1402501-1 is not prime. Res64: 1EE7B91DD6D69922 Time : 0.0 sec. user=mdettweiler [2015-07-08 16:45:09] 685*2^1402501-1 is not prime. Res64: 80B657A3B5C6FB6A Time : 0.0 sec. user=mdettweiler [2015-07-08 16:45:10] 687*2^1402501-1 is not prime. Res64: D7F1CB7B5D020001 Time : 0.0 sec. user=mdettweiler [2015-07-08 16:54:53] 927*2^1402501-1 is not prime. Res64: 0A92D1D9EEA5257E Time : 0.0 sec. user=mdettweiler [2015-07-08 16:54:53] 747*2^1402501-1 is not prime. Res64: D27429D52FE0E4D1 Time : 0.0 sec. user=mdettweiler [2015-07-08 16:54:54] 615*2^1402502-1 is not prime. Res64: 9AC5ADC36876783D Time : 0.0 sec. user=mdettweiler [2015-07-08 16:54:54] 777*2^1402501-1 is not prime. Res64: 7FA01ED25F8F6D18 Time : 0.0 sec. user=mdettweiler [2015-07-08 17:02:32] 635*2^1402502-1 is not prime. Res64: 11C1EA988009D36D Time : 0.0 sec. user=mdettweiler [2015-07-08 17:02:33] 665*2^1402502-1 is not prime. Res64: 55E6AA12AC95FBD7 Time : 0.0 sec. user=mdettweiler [2015-07-08 17:12:16] 887*2^1402502-1 is not prime. Res64: A9C021424FB301BD Time : 0.0 sec. user=mdettweiler [2015-07-08 17:12:17] 693*2^1402502-1 is not prime. Res64: 8C84470EE28E17E5 Time : 0.0 sec. user=mdettweiler [2015-07-08 17:12:17] 813*2^1402502-1 is not prime. Res64: F15E9D38B4500253 Time : 0.0 sec. user=mdettweiler [2015-07-08 17:12:17] 893*2^1402502-1 is not prime. Res64: 204660AA23CEE22E Time : 0.0 sec. user=mdettweiler [2015-07-08 17:20:11] 945*2^1402502-1 is not prime. Res64: 93770BC3C533CBC7 Time : 0.0 sec. user=mdettweiler [2015-07-08 17:20:12] 987*2^1402502-1 is not prime. Res64: FB11C48774EB1656 Time : 0.0 sec. user=mdettweiler [2015-07-08 17:29:43] 649*2^1402503-1 is not prime. Res64: 7A27C3D94F0671EF Time : 0.0 sec. user=mdettweiler [2015-07-08 17:29:43] 685*2^1402503-1 is not prime. Res64: B3D08922A4447B2A Time : 0.0 sec. user=mdettweiler [2015-07-08 17:29:43] 679*2^1402503-1 is not prime. Res64: 04C96B1699D2F019 Time : 0.0 sec. user=mdettweiler [2015-07-08 17:29:44] 795*2^1402503-1 is not prime. Res64: B42E7637BE84BE95 Time : 0.0 sec. user=mdettweiler [2015-07-08 17:37:35] 819*2^1402503-1 is not prime. Res64: FB1E1D3F64F15898 Time : 0.0 sec. user=mdettweiler [2015-07-08 17:37:36] 849*2^1402503-1 is not prime. Res64: 9C4D1914ECF560B2 Time : 0.0 sec. user=mdettweiler [2015-07-08 17:47:07] 951*2^1402503-1 is not prime. Res64: F5309F99CDF33A02 Time : 0.0 sec. user=mdettweiler [2015-07-08 17:47:07] 617*2^1402504-1 is not prime. Res64: 593D4ADA450B6092 Time : 0.0 sec. user=mdettweiler [2015-07-08 17:47:07] 985*2^1402503-1 is not prime. Res64: E36C84ACDC5AADC4 Time : 0.0 sec. user=mdettweiler [2015-07-08 17:47:07] 665*2^1402504-1 is not prime. Res64: AEF81E6A59BA15A9 Time : 0.0 sec. user=mdettweiler [2015-07-08 17:55:02] 677*2^1402504-1 is not prime. Res64: 60D0D9D42803506D Time : 0.0 sec. user=mdettweiler [2015-07-08 17:55:02] 705*2^1402504-1 is not prime. Res64: D415375943F9F44D Time : 0.0 sec. user=mdettweiler [2015-07-08 18:04:30] 965*2^1402504-1 is not prime. Res64: D3620FE5E8FA4D47 Time : 0.0 sec. user=mdettweiler [2015-07-08 18:04:31] 849*2^1402504-1 is not prime. Res64: 4BF9D64332A6FEF2 Time : 0.0 sec. user=mdettweiler [2015-07-08 18:04:32] 651*2^1402505-1 is not prime. Res64: 8003E7F98E771D42 Time : 0.0 sec. user=mdettweiler [2015-07-08 18:04:32] 875*2^1402504-1 is not prime. Res64: 3A4F26F129D6D1C0 Time : 0.0 sec. user=mdettweiler [2015-07-08 18:12:25] 679*2^1402505-1 is not prime. Res64: 58CF867029AB0DDE Time : 0.0 sec. user=mdettweiler [2015-07-08 18:12:25] 729*2^1402505-1 is not prime. Res64: B5927916EBBE2E2A Time : 0.0 sec. user=mdettweiler [2015-07-08 18:22:18] 735*2^1402505-1 is not prime. Res64: 57645024ED937F49 Time : 0.0 sec. user=mdettweiler [2015-07-08 18:22:18] 949*2^1402505-1 is not prime. Res64: 31ADD54D6BCA0C4C Time : 0.0 sec. user=mdettweiler [2015-07-08 18:22:18] 611*2^1402506-1 is not prime. Res64: E2F6F04BB3404BC6 Time : 0.0 sec. user=mdettweiler [2015-07-08 18:22:19] 641*2^1402506-1 is not prime. Res64: B80A9C6CA26C648E Time : 0.0 sec. user=mdettweiler [2015-07-08 18:29:49] 671*2^1402506-1 is not prime. Res64: F3CEE9000FEFB77D Time : 0.0 sec. user=mdettweiler [2015-07-08 18:29:50] 705*2^1402506-1 is not prime. Res64: D1AB87EBDF6C37F0 Time : 0.0 sec. user=mdettweiler [2015-07-08 18:39:41] 881*2^1402506-1 is not prime. Res64: 4FA5EF03F8DD05FD Time : 0.0 sec. user=mdettweiler [2015-07-08 18:39:42] 921*2^1402506-1 is not prime. Res64: 0CDD3E9D68FDF4B7 Time : 0.0 sec. user=mdettweiler [2015-07-08 18:39:43] 971*2^1402506-1 is not prime. Res64: 0A50F04F9EFE708A Time : 0.0 sec. user=mdettweiler [2015-07-08 18:39:43] 615*2^1402507-1 is not prime. Res64: 9E3D764E3473542E Time : 0.0 sec. user=mdettweiler [2015-07-08 18:47:14] 735*2^1402507-1 is not prime. Res64: 27A6BBFBDEF14C3E Time : 0.0 sec. user=mdettweiler [2015-07-08 18:47:15] 819*2^1402507-1 is not prime. Res64: 814FA7D2B30558BB Time : 0.0 sec. user=mdettweiler [2015-07-08 18:57:04] 849*2^1402507-1 is not prime. Res64: B95DBA57A52122EE Time : 0.0 sec. user=mdettweiler [2015-07-08 18:57:05] 919*2^1402507-1 is not prime. Res64: 186512F1BAD7D853 Time : 0.0 sec. user=mdettweiler [2015-07-08 18:57:05] 985*2^1402507-1 is not prime. Res64: 0818E3DAC993BE70 Time : 0.0 sec. user=mdettweiler [2015-07-08 18:57:05] 663*2^1402508-1 is not prime. Res64: AC940D0FBCE0877C Time : 0.0 sec. user=mdettweiler [2015-07-08 19:04:38] 777*2^1402508-1 is not prime. Res64: F087D54A0DB81335 Time : 0.0 sec. user=mdettweiler [2015-07-08 19:04:39] 837*2^1402508-1 is not prime. Res64: CF70A2EE89BFCDBE Time : 0.0 sec. user=mdettweiler [2015-07-08 19:14:35] 839*2^1402508-1 is not prime. Res64: CFEBCEB6BBA143F4 Time : 0.0 sec. user=mdettweiler [2015-07-08 19:14:35] 655*2^1402509-1 is not prime. Res64: 28A6D32568887E6D Time : 0.0 sec. user=mdettweiler [2015-07-08 19:14:39] 667*2^1402509-1 is not prime. Res64: 6474931854950AFD Time : 0.0 sec. user=mdettweiler [2015-07-08 19:14:39] 709*2^1402509-1 is not prime. Res64: A6304F88D640C450 Time : 0.0 sec. user=mdettweiler [2015-07-08 19:22:22] 765*2^1402509-1 is not prime. Res64: 77119B5E97664903 Time : 0.0 sec. user=mdettweiler [2015-07-08 19:22:22] 847*2^1402509-1 is not prime. Res64: FDCB68A287DB8651 Time : 0.0 sec. user=mdettweiler [2015-07-08 19:32:43] 923*2^1402510-1 is not prime. Res64: B04C3945D7FE3789 Time : 0.0 sec. user=mdettweiler [2015-07-08 19:32:43] 609*2^1402511-1 is not prime. Res64: 1303D7A93546A0E7 Time : 0.0 sec. user=mdettweiler [2015-07-08 19:32:47] 657*2^1402510-1 is not prime. Res64: F9A384A13FE07264 Time : 0.0 sec. user=mdettweiler [2015-07-08 19:32:48] 773*2^1402510-1 is not prime. Res64: 6CFBBF9E78FD2881 Time : 0.0 sec. user=mdettweiler [2015-07-08 19:40:30] 643*2^1402511-1 is not prime. Res64: 7121FCDCC51A5DA2 Time : 0.0 sec. user=mdettweiler [2015-07-08 19:40:30] 955*2^1402511-1 is not prime. Res64: 8DEB15D8105AF3FD Time : 0.0 sec. user=mdettweiler [2015-07-08 19:50:29] 627*2^1402512-1 is not prime. Res64: EC0461E8055DB2F8 Time : 0.0 sec. user=mdettweiler [2015-07-08 19:50:29] 629*2^1402512-1 is not prime. Res64: C43121D426E2B462 Time : 0.0 sec. user=mdettweiler [2015-07-08 19:50:33] 779*2^1402512-1 is not prime. Res64: 127A2FA5725AECA9 Time : 0.0 sec. user=mdettweiler [2015-07-08 19:50:33] 873*2^1402512-1 is not prime. Res64: AAF99730AB8DDFEA Time : 0.0 sec. user=mdettweiler [2015-07-08 19:58:20] 887*2^1402512-1 is not prime. Res64: A002C370D745175C Time : 0.0 sec. user=mdettweiler [2015-07-08 19:58:20] 977*2^1402512-1 is not prime. Res64: 708AFC121307D5C6 Time : 0.0 sec. user=mdettweiler [2015-07-08 20:08:17] 609*2^1402513-1 is not prime. Res64: 2DA67AD36308C0CC Time : 0.0 sec. user=mdettweiler [2015-07-08 20:08:18] 639*2^1402513-1 is not prime. Res64: 53F42B6C9052D2C7 Time : 0.0 sec. user=mdettweiler [2015-07-08 20:08:20] 741*2^1402513-1 is not prime. Res64: 5C540A9A5411C80C Time : 0.0 sec. user=mdettweiler [2015-07-08 20:08:21] 789*2^1402513-1 is not prime. Res64: C1EF7864ABEA95B7 Time : 0.0 sec. user=mdettweiler [2015-07-08 20:16:07] 861*2^1402513-1 is not prime. Res64: 1712644FDFA59FEF Time : 0.0 sec. user=mdettweiler [2015-07-08 20:16:08] 937*2^1402513-1 is not prime. Res64: 4E6BDE7BECE51A73 Time : 0.0 sec. user=mdettweiler [2015-07-08 20:26:16] 985*2^1402513-1 is not prime. Res64: 9C1D4ECAA3943F83 Time : 0.0 sec. user=mdettweiler [2015-07-08 20:26:16] 755*2^1402514-1 is not prime. Res64: C85B6ED30A4D7C15 Time : 0.0 sec. user=mdettweiler [2015-07-08 20:26:18] 945*2^1402514-1 is not prime. Res64: 920C34039C668D99 Time : 0.0 sec. user=mdettweiler [2015-07-08 20:26:18] 993*2^1402514-1 is not prime. Res64: 9A463F15BB69C2AC Time : 0.0 sec. user=mdettweiler [2015-07-08 20:34:00] 1001*2^1402514-1 is not prime. Res64: 95D7545837B9170C Time : 0.0 sec. user=mdettweiler [2015-07-08 20:34:01] 691*2^1402515-1 is not prime. Res64: A1C1D36ABE532183 Time : 0.0 sec. user=mdettweiler [2015-07-08 20:44:12] 789*2^1402515-1 is not prime. Res64: ABD432B640B0BA60 Time : 0.0 sec. user=mdettweiler [2015-07-08 20:44:12] 969*2^1402515-1 is not prime. Res64: D06C208F6EB2629C Time : 0.0 sec. user=mdettweiler [2015-07-08 20:44:14] 689*2^1402516-1 is not prime. Res64: D302B95F208AF710 Time : 0.0 sec. user=mdettweiler [2015-07-08 20:44:14] 699*2^1402516-1 is not prime. Res64: 2CCDA3A1DB647180 Time : 0.0 sec. user=mdettweiler [2015-07-08 20:51:53] 735*2^1402516-1 is not prime. Res64: 1A68B46678608ED3 Time : 0.0 sec. user=mdettweiler [2015-07-08 20:51:53] 785*2^1402516-1 is not prime. Res64: 1C20AE94EAA0CEA9 Time : 0.0 sec. user=mdettweiler [2015-07-08 21:01:53] 855*2^1402516-1 is not prime. Res64: A23762D6FB1135E5 Time : 0.0 sec. user=mdettweiler [2015-07-08 21:01:54] 875*2^1402516-1 is not prime. Res64: 99369652DAAE180E Time : 0.0 sec. user=mdettweiler [2015-07-08 21:01:56] 975*2^1402516-1 is not prime. Res64: B8FC944E5BC92C49 Time : 0.0 sec. user=mdettweiler [2015-07-08 21:01:57] 619*2^1402517-1 is not prime. Res64: 4FDB07CABDC5198A Time : 0.0 sec. user=mdettweiler [2015-07-08 21:09:41] 621*2^1402517-1 is not prime. Res64: AEBDBF0EB8595F2E Time : 0.0 sec. user=mdettweiler [2015-07-08 21:09:42] 889*2^1402517-1 is not prime. Res64: CC9B5143B2F1D91A Time : 0.0 sec. user=mdettweiler [2015-07-08 21:20:09] 901*2^1402517-1 is not prime. Res64: 86542CE4C84B87C6 Time : 0.0 sec. user=mdettweiler [2015-07-08 21:20:10] 925*2^1402517-1 is not prime. Res64: 7B651799F0FF40A6 Time : 0.0 sec. user=mdettweiler [2015-07-08 21:20:10] 991*2^1402517-1 is not prime. Res64: 5782C338E76DB861 Time : 0.0 sec. user=mdettweiler [2015-07-08 21:20:10] 657*2^1402518-1 is not prime. Res64: 26EC2E64AD2CF091 Time : 0.0 sec. user=mdettweiler [2015-07-08 21:27:39] 663*2^1402518-1 is not prime. Res64: 9C0D21233F6CD0CD Time : 0.0 sec. user=mdettweiler [2015-07-08 21:27:39] 681*2^1402518-1 is not prime. Res64: E9328414216DC6EB Time : 0.0 sec. user=mdettweiler [2015-07-08 21:38:04] 825*2^1402518-1 is not prime. Res64: 773DBFCD2F82652B Time : 0.0 sec. user=mdettweiler [2015-07-08 21:38:04] 639*2^1402519-1 is not prime. Res64: B22FAC4242A5B57D Time : 0.0 sec. user=mdettweiler [2015-07-08 21:38:08] 747*2^1402518-1 is not prime. Res64: 0BA7F04A117BC05C Time : 0.0 sec. user=mdettweiler [2015-07-08 21:38:08] 761*2^1402518-1 is not prime. Res64: 7F54D85E815D1829 Time : 0.0 sec. user=mdettweiler [2015-07-08 21:45:29] 649*2^1402519-1 is not prime. Res64: 9BBEAF4DE62E5CA8 Time : 0.0 sec. user=mdettweiler [2015-07-08 21:45:30] 705*2^1402519-1 is not prime. Res64: B23FC47943D8BF97 Time : 0.0 sec. user=mdettweiler [2015-07-08 21:55:51] 709*2^1402519-1 is not prime. Res64: 4365BB629D44ACE0 Time : 0.0 sec. user=mdettweiler [2015-07-08 21:55:51] 765*2^1402519-1 is not prime. Res64: 5A768A881D41017B Time : 0.0 sec. user=mdettweiler [2015-07-08 21:55:55] 933*2^1402519-1 is not prime. Res64: 4822ABF93CE39F1B Time : 0.0 sec. user=mdettweiler [2015-07-08 21:55:55] 677*2^1402520-1 is not prime. Res64: 5AB6EE5EA5900419 Time : 0.0 sec. user=mdettweiler [2015-07-08 22:03:31] 797*2^1402520-1 is not prime. Res64: D4E344C381EFFD87 Time : 0.0 sec. user=mdettweiler [2015-07-08 22:03:32] 679*2^1402521-1 is not prime. Res64: 1954498FF112C0A2 Time : 0.0 sec. user=mdettweiler [2015-07-08 22:13:47] 819*2^1402521-1 is not prime. Res64: ED0BE9557A838C41 Time : 0.0 sec. user=mdettweiler [2015-07-08 22:13:47] 835*2^1402521-1 is not prime. Res64: 115BD4FE2982687A Time : 0.0 sec. user=mdettweiler [2015-07-08 22:13:51] 847*2^1402521-1 is not prime. Res64: 08A04A5BC5E71AE4 Time : 0.0 sec. user=mdettweiler [2015-07-08 22:13:51] 865*2^1402521-1 is not prime. Res64: 9D466D1D940207C9 Time : 0.0 sec. user=mdettweiler [2015-07-08 22:21:35] 909*2^1402521-1 is not prime. Res64: 34347B2F7172ED57 Time : 0.0 sec. user=mdettweiler [2015-07-08 22:21:36] 979*2^1402521-1 is not prime. Res64: 727499D18D2BEF97 Time : 0.0 sec. user=mdettweiler [2015-07-08 22:31:40] 621*2^1402522-1 is not prime. Res64: 9F1F76217DB206A7 Time : 0.0 sec. user=mdettweiler [2015-07-08 22:31:40] 741*2^1402522-1 is not prime. Res64: C20615933E9DB8B4 Time : 0.0 sec. user=mdettweiler [2015-07-08 22:31:42] 857*2^1402522-1 is not prime. Res64: 0EB6355E768DD416 Time : 0.0 sec. user=mdettweiler [2015-07-08 22:31:43] 885*2^1402522-1 is not prime. Res64: 10F98FBBD0AF02DB Time : 0.0 sec. user=mdettweiler [2015-07-08 22:39:22] 911*2^1402522-1 is not prime. Res64: 9E73382260715765 Time : 0.0 sec. user=mdettweiler [2015-07-08 22:39:22] 947*2^1402522-1 is not prime. Res64: 3A666C1324B1FAA1 Time : 0.0 sec. user=mdettweiler [2015-07-08 22:49:16] 673*2^1402523-1 is not prime. Res64: 132AE356AD5283B1 Time : 0.0 sec. user=mdettweiler [2015-07-08 22:49:17] 975*2^1402522-1 is not prime. Res64: F34456E7C9FCCDFC Time : 0.0 sec. user=mdettweiler [2015-07-08 22:49:17] 693*2^1402523-1 is not prime. Res64: 4A3DBCB46CFEB6B6 Time : 0.0 sec. user=mdettweiler [2015-07-08 22:49:17] 995*2^1402522-1 is not prime. Res64: A7B994FEB7D29A80 Time : 0.0 sec. user=mdettweiler [2015-07-08 22:56:57] 789*2^1402523-1 is not prime. Res64: 6D65B95697667D9A Time : 0.0 sec. user=mdettweiler [2015-07-08 22:56:57] 859*2^1402523-1 is not prime. Res64: C42D2EA6336BFA6D Time : 0.0 sec. user=mdettweiler [2015-07-08 23:06:59] 991*2^1402523-1 is not prime. Res64: 25AA100D2583ED97 Time : 0.0 sec. user=mdettweiler [2015-07-08 23:07:00] 695*2^1402524-1 is not prime. Res64: 27E4F96E27AF08D5 Time : 0.0 sec. user=mdettweiler [2015-07-08 23:07:00] 749*2^1402524-1 is not prime. Res64: 4307BEBF92C6FF1D Time : 0.0 sec. user=mdettweiler [2015-07-08 23:07:00] 825*2^1402524-1 is not prime. Res64: 7F11509A2BE7049E Time : 0.0 sec. user=mdettweiler [2015-07-08 23:15:25] 959*2^1402524-1 is not prime. Res64: 8428EBA2DD5B77BC Time : 0.0 sec. user=mdettweiler [2015-07-08 23:15:26] 609*2^1402525-1 is not prime. Res64: D09AA6A0C2B53147 Time : 0.0 sec. user=mdettweiler [2015-07-08 23:25:18] 651*2^1402525-1 is not prime. Res64: B8C98C5EEC51CB3A Time : 0.0 sec. user=mdettweiler [2015-07-08 23:25:18] 897*2^1402525-1 is not prime. Res64: 080188A76243D1B2 Time : 0.0 sec. user=mdettweiler [2015-07-08 23:25:19] 757*2^1402525-1 is not prime. Res64: 30E5AE6CD4EB1F5F Time : 0.0 sec. user=mdettweiler [2015-07-08 23:25:19] 951*2^1402525-1 is not prime. Res64: 32DC6A1CB1411269 Time : 0.0 sec. user=mdettweiler [2015-07-08 23:32:55] 615*2^1402526-1 is not prime. Res64: 282ECC4523A834D0 Time : 0.0 sec. user=mdettweiler [2015-07-08 23:32:55] 675*2^1402526-1 is not prime. Res64: 7A00CF793CD8948E Time : 0.0 sec. user=mdettweiler [2015-07-08 23:42:53] 857*2^1402526-1 is not prime. Res64: EEE91DD2818F352B Time : 0.0 sec. user=mdettweiler [2015-07-08 23:42:54] 897*2^1402526-1 is not prime. Res64: C690AE61F450F07C Time : 0.0 sec. user=mdettweiler [2015-07-08 23:42:55] 911*2^1402526-1 is not prime. Res64: 34A53152FFB53D99 Time : 0.0 sec. user=mdettweiler [2015-07-08 23:42:55] 981*2^1402526-1 is not prime. Res64: F4DB6130FF440FDE Time : 0.0 sec. user=mdettweiler [2015-07-08 23:50:28] 621*2^1402527-1 is not prime. Res64: 609DFE56993B2C40 Time : 0.0 sec. user=mdettweiler [2015-07-08 23:50:29] 693*2^1402527-1 is not prime. Res64: 4DE4C718C034DF5A Time : 0.0 sec. user=mdettweiler [2015-07-09 00:00:24] 709*2^1402527-1 is not prime. Res64: 0F0F57E161F1416D Time : 0.0 sec. user=mdettweiler [2015-07-09 00:00:24] 711*2^1402527-1 is not prime. Res64: 6E9867107C5818F5 Time : 0.0 sec. user=mdettweiler [2015-07-09 00:00:25] 819*2^1402527-1 is not prime. Res64: 309F29E1C2EE0BC7 Time : 0.0 sec. user=mdettweiler [2015-07-09 00:00:25] 849*2^1402527-1 is not prime. Res64: 4AD193776557168C Time : 0.0 sec.