user=mdettweiler [2015-02-17 00:07:12] 923*2^1391196-1 is not prime. Res64: CC2B8E7936EBDC39 Time : 0.0 sec. user=mdettweiler [2015-02-17 00:07:13] 987*2^1391196-1 is not prime. Res64: EB5A05D7BDA3F5EF Time : 0.0 sec. user=mdettweiler [2015-02-17 00:10:24] 615*2^1391197-1 is not prime. Res64: 525C9AF7AFCA4F8E Time : 0.0 sec. user=mdettweiler [2015-02-17 00:10:24] 625*2^1391197-1 is not prime. Res64: 0EA0FD18689D46FE Time : 0.0 sec. user=mdettweiler [2015-02-17 00:35:26] 769*2^1391197-1 is not prime. Res64: CE00C61F4CFE0373 Time : 0.0 sec. user=mdettweiler [2015-02-17 00:35:27] 817*2^1391197-1 is not prime. Res64: 071BF339F1E37F93 Time : 0.0 sec. user=mdettweiler [2015-02-17 00:37:52] 825*2^1391197-1 is not prime. Res64: 294E0D5655FF795F Time : 0.0 sec. user=mdettweiler [2015-02-17 00:37:52] 861*2^1391197-1 is not prime. Res64: CEDF81A371FACC69 Time : 0.0 sec. user=mdettweiler [2015-02-17 01:05:16] 867*2^1391197-1 is not prime. Res64: 1677873F281C4B23 Time : 0.0 sec. user=mdettweiler [2015-02-17 01:05:16] 871*2^1391197-1 is not prime. Res64: 07B91F31EEEE18CD Time : 0.0 sec. user=mdettweiler [2015-02-17 01:07:51] 889*2^1391197-1 is not prime. Res64: D3B1671E4D9C6DF6 Time : 0.0 sec. user=mdettweiler [2015-02-17 01:07:52] 897*2^1391197-1 is not prime. Res64: 487D47D60D12CF34 Time : 0.0 sec. user=mdettweiler [2015-02-17 01:15:11] 683*2^1391196-1 is not prime. Res64: D165C0E0CBBB86F4 Time : 0.0 sec. user=mdettweiler [2015-02-17 01:15:12] 695*2^1391196-1 is not prime. Res64: 774B2F8D8F9C9C94 Time : 0.0 sec. user=mdettweiler [2015-02-17 01:33:06] 919*2^1391197-1 is not prime. Res64: 4550EAF50FC567E6 Time : 0.0 sec. user=mdettweiler [2015-02-17 01:33:07] 927*2^1391197-1 is not prime. Res64: 9611058B5BB830B5 Time : 0.0 sec. user=mdettweiler [2015-02-17 01:35:52] 939*2^1391197-1 is not prime. Res64: 612399AA5D605983 Time : 0.0 sec. user=mdettweiler [2015-02-17 01:35:52] 617*2^1391198-1 is not prime. Res64: A0A442A907CE2C79 Time : 0.0 sec. user=mdettweiler [2015-02-17 01:42:50] 623*2^1391198-1 is not prime. Res64: D553B4DE2F259D33 Time : 0.0 sec. user=mdettweiler [2015-02-17 01:42:51] 677*2^1391198-1 is not prime. Res64: 6C0D7A7466904AB6 Time : 0.0 sec. user=mdettweiler [2015-02-17 02:00:44] 767*2^1391198-1 is not prime. Res64: 35BBEAE486EAECC0 Time : 0.0 sec. user=mdettweiler [2015-02-17 02:00:46] 771*2^1391198-1 is not prime. Res64: A5A6A222CB19BCD9 Time : 0.0 sec. user=mdettweiler [2015-02-17 02:03:06] 813*2^1391198-1 is not prime. Res64: 2D279A3554D6C6EB Time : 0.0 sec. user=mdettweiler [2015-02-17 02:03:07] 815*2^1391198-1 is not prime. Res64: B7DDFA49F4D47D90 Time : 0.0 sec. user=mdettweiler [2015-02-17 02:10:35] 875*2^1391198-1 is not prime. Res64: B342E2C4942A4D1F Time : 0.0 sec. user=mdettweiler [2015-02-17 02:10:35] 921*2^1391198-1 is not prime. Res64: 19093F6D48D04063 Time : 0.0 sec. user=mdettweiler [2015-02-17 02:28:48] 705*2^1391199-1 is not prime. Res64: 678B70078B1D37C4 Time : 0.0 sec. user=mdettweiler [2015-02-17 02:28:49] 723*2^1391199-1 is not prime. Res64: 4238DD4ABCBD416C Time : 0.0 sec. user=mdettweiler [2015-02-17 02:30:56] 853*2^1391199-1 is not prime. Res64: 9E0338BDCACF1AD5 Time : 0.0 sec. user=mdettweiler [2015-02-17 02:30:57] 919*2^1391199-1 is not prime. Res64: 529DC4D22373DEFF Time : 0.0 sec. user=mdettweiler [2015-02-17 02:37:41] 645*2^1391200-1 is not prime. Res64: C3411844335BF3DF Time : 0.0 sec. user=mdettweiler [2015-02-17 02:37:41] 665*2^1391200-1 is not prime. Res64: F751C98146B24527 Time : 0.0 sec. user=mdettweiler [2015-02-17 02:56:26] 689*2^1391200-1 is not prime. Res64: B3CCB13BBC030D1D Time : 0.0 sec. user=mdettweiler [2015-02-17 02:56:26] 719*2^1391200-1 is not prime. Res64: D55B3AA3D5E1E67E Time : 0.0 sec. user=mdettweiler [2015-02-17 02:58:18] 785*2^1391200-1 is not prime. Res64: E3E1F74D9F5631FE Time : 0.0 sec. user=mdettweiler [2015-02-17 02:58:18] 797*2^1391200-1 is not prime. Res64: 455209B9E12F84BB Time : 0.0 sec. user=mdettweiler [2015-02-17 03:06:46] 857*2^1391200-1 is not prime. Res64: 539C56A9C05B85D5 Time : 0.0 sec. user=mdettweiler [2015-02-17 03:06:47] 959*2^1391200-1 is not prime. Res64: B64C5B15F5F01B5A Time : 0.0 sec. user=mdettweiler [2015-02-17 03:25:22] 965*2^1391200-1 is not prime. Res64: 6D51D8A9C745934B Time : 0.0 sec. user=mdettweiler [2015-02-17 03:25:24] 691*2^1391201-1 is not prime. Res64: 76CBD41E11AA4E13 Time : 0.0 sec. user=mdettweiler [2015-02-17 03:26:08] 865*2^1391201-1 is not prime. Res64: 3B6B0512460C19FD Time : 0.0 sec. user=mdettweiler [2015-02-17 03:26:08] 885*2^1391201-1 is not prime. Res64: 87762B24E41AF2BD Time : 0.0 sec. user=mdettweiler [2015-02-17 03:34:27] 967*2^1391201-1 is not prime. Res64: 7844F3E8E8F930FC Time : 0.0 sec. user=mdettweiler [2015-02-17 03:34:29] 915*2^1391202-1 is not prime. Res64: 9343C9CE86569956 Time : 0.0 sec. user=juhehe [2015-02-17 03:38:52] 923*2^1391202-1 is not prime. Res64: 7A3A9E67C5A16AB6 Time : 0.0 sec. user=mdettweiler [2015-02-17 03:53:04] 983*2^1391202-1 is not prime. Res64: CB6ADC432E5112F2 Time : 0.0 sec. user=mdettweiler [2015-02-17 03:53:04] 603*2^1391203-1 is not prime. Res64: 04189AB57777BE2D Time : 0.0 sec. user=mdettweiler [2015-02-17 03:53:29] 705*2^1391203-1 is not prime. Res64: 36990C7742FFA058 Time : 0.0 sec. user=mdettweiler [2015-02-17 03:53:30] 769*2^1391203-1 is not prime. Res64: B8CA62526175B8BC Time : 0.0 sec. user=mdettweiler [2015-02-17 04:02:19] 813*2^1391203-1 is not prime. Res64: 7649FE3F5F513D95 Time : 0.0 sec. user=mdettweiler [2015-02-17 04:02:20] 835*2^1391203-1 is not prime. Res64: CCFABFA13F0AC51E Time : 0.0 sec. user=mdettweiler [2015-02-17 04:20:46] 615*2^1391204-1 is not prime. Res64: 5DF7A31E132958EE Time : 0.0 sec. user=mdettweiler [2015-02-17 04:20:46] 869*2^1391204-1 is not prime. Res64: EA1E36FBFAA280E7 Time : 0.0 sec. user=mdettweiler [2015-02-17 04:21:06] 855*2^1391203-1 is not prime. Res64: 309C9273C9647EBF Time : 0.0 sec. user=mdettweiler [2015-02-17 04:21:07] 859*2^1391203-1 is not prime. Res64: FFE1788517CB5DEA Time : 0.0 sec. user=mdettweiler [2015-02-17 04:30:15] 987*2^1391204-1 is not prime. Res64: AE12AB46EC7A4AF6 Time : 0.0 sec. user=mdettweiler [2015-02-17 04:30:15] 655*2^1391205-1 is not prime. Res64: 22B79D043E5E4013 Time : 0.0 sec. user=mdettweiler [2015-02-17 04:47:59] 741*2^1391205-1 is not prime. Res64: 3DD3C171B2C6CA9D Time : 0.0 sec. user=mdettweiler [2015-02-17 04:48:00] 861*2^1391205-1 is not prime. Res64: 9C9B578CC5600487 Time : 0.0 sec. user=mdettweiler [2015-02-17 04:48:30] 921*2^1391205-1 is not prime. Res64: 9E988EC41F6EF93E Time : 0.0 sec. user=mdettweiler [2015-02-17 04:48:30] 951*2^1391205-1 is not prime. Res64: 4AF9BF17B574A50F Time : 0.0 sec. user=mdettweiler [2015-02-17 04:57:38] 743*2^1391206-1 is not prime. Res64: 3950D9E3DC43D82A Time : 0.0 sec. user=mdettweiler [2015-02-17 04:57:38] 761*2^1391206-1 is not prime. Res64: D015BC5BA0766627 Time : 0.0 sec. user=mdettweiler [2015-02-17 05:14:51] 891*2^1391206-1 is not prime. Res64: 3A1A4200B4B2D2D9 Time : 0.0 sec. user=mdettweiler [2015-02-17 05:14:52] 987*2^1391206-1 is not prime. Res64: EF2BCB135F179732 Time : 0.0 sec. user=mdettweiler [2015-02-17 05:15:47] 1001*2^1391206-1 is not prime. Res64: B523EDC5D8ADEB17 Time : 0.0 sec. user=mdettweiler [2015-02-17 05:15:48] 651*2^1391207-1 is not prime. Res64: BBFAD14D42E459B6 Time : 0.0 sec. user=mdettweiler [2015-02-17 05:24:40] 909*2^1391207-1 is not prime. Res64: 753975209FDB87F3 Time : 0.0 sec. user=mdettweiler [2015-02-17 05:24:40] 759*2^1391208-1 is not prime. Res64: 63FE16699BCC1862 Time : 0.0 sec. user=mdettweiler [2015-02-17 05:41:46] 819*2^1391208-1 is not prime. Res64: F20C32A16D0E320B Time : 0.0 sec. user=mdettweiler [2015-02-17 05:41:46] 879*2^1391208-1 is not prime. Res64: 798716A422D9DE00 Time : 0.0 sec. user=mdettweiler [2015-02-17 05:42:27] 977*2^1391208-1 is not prime. Res64: 6968CD05E77AF7FC Time : 0.0 sec. user=mdettweiler [2015-02-17 05:42:27] 615*2^1391209-1 is not prime. Res64: D16FCC69D153E03A Time : 0.0 sec. user=mdettweiler [2015-02-17 05:51:39] 685*2^1391209-1 is not prime. Res64: B987B7D3826C123F Time : 0.0 sec. user=mdettweiler [2015-02-17 05:51:39] 765*2^1391209-1 is not prime. Res64: E8ED22395EE37CFD Time : 0.0 sec. user=mdettweiler [2015-02-17 06:08:23] 771*2^1391209-1 is not prime. Res64: 47FB25782FA1FF99 Time : 0.0 sec. user=mdettweiler [2015-02-17 06:08:24] 799*2^1391209-1 is not prime. Res64: E326664D338932AE Time : 0.0 sec. user=mdettweiler [2015-02-17 06:09:36] 801*2^1391209-1 is not prime. Res64: 9B8C9D5BA711571F Time : 0.0 sec. user=mdettweiler [2015-02-17 06:09:36] 861*2^1391209-1 is not prime. Res64: 10D54C0A6F555487 Time : 0.0 sec. user=mdettweiler [2015-02-17 06:18:25] 633*2^1391210-1 is not prime. Res64: 4D608E9153C9F152 Time : 0.0 sec. user=mdettweiler [2015-02-17 06:18:25] 657*2^1391210-1 is not prime. Res64: 749DFB850AEB5C7A Time : 0.0 sec. user=mdettweiler [2015-02-17 06:35:01] 665*2^1391210-1 is not prime. Res64: 55063C6DC61ED1CE Time : 0.0 sec. user=mdettweiler [2015-02-17 06:35:02] 741*2^1391210-1 is not prime. Res64: EED773C7E7C6B062 Time : 0.0 sec. user=mdettweiler [2015-02-17 06:36:36] 801*2^1391210-1 is not prime. Res64: A0CE20E8D07FB80E Time : 0.0 sec. user=mdettweiler [2015-02-17 06:36:36] 923*2^1391210-1 is not prime. Res64: D47B2322A694CD3E Time : 0.0 sec. user=mdettweiler [2015-02-17 06:45:13] 935*2^1391210-1 is not prime. Res64: 515868D35987EAE5 Time : 0.0 sec. user=mdettweiler [2015-02-17 06:45:13] 669*2^1391211-1 is not prime. Res64: 784306653B5BB4AE Time : 0.0 sec. user=mdettweiler [2015-02-17 07:02:02] 679*2^1391211-1 is not prime. Res64: E8030CBD1BB1906C Time : 0.0 sec. user=mdettweiler [2015-02-17 07:02:03] 769*2^1391211-1 is not prime. Res64: CD86C02217EE89DD Time : 0.0 sec. user=mdettweiler [2015-02-17 07:03:33] 903*2^1391211-1 is not prime. Res64: D1F4D590480C50F2 Time : 0.0 sec. user=mdettweiler [2015-02-17 07:03:34] 913*2^1391211-1 is not prime. Res64: 0C10AEDC101436DD Time : 0.0 sec. user=mdettweiler [2015-02-17 07:12:14] 615*2^1391212-1 is not prime. Res64: FE5B493187309BC0 Time : 0.0 sec. user=mdettweiler [2015-02-17 07:12:15] 639*2^1391212-1 is not prime. Res64: 439B5313E246CEAC Time : 0.0 sec. user=mdettweiler [2015-02-17 07:29:04] 689*2^1391212-1 is not prime. Res64: 44C7B833A691C55E Time : 0.0 sec. user=mdettweiler [2015-02-17 07:29:05] 785*2^1391212-1 is not prime. Res64: A7516CA4AD372B5A Time : 0.0 sec. user=mdettweiler [2015-02-17 07:30:36] 797*2^1391212-1 is not prime. Res64: DF5BA15A95FCD725 Time : 0.0 sec. user=mdettweiler [2015-02-17 07:30:36] 819*2^1391212-1 is not prime. Res64: F3E1B88DA4A4866A Time : 0.0 sec. user=mdettweiler [2015-02-17 07:39:32] 857*2^1391212-1 is not prime. Res64: 76A5782EAA237AB3 Time : 0.0 sec. user=mdettweiler [2015-02-17 07:39:33] 869*2^1391212-1 is not prime. Res64: D8C8ABA0CC300AFA Time : 0.0 sec. user=mdettweiler [2015-02-17 07:52:21] 627*2^1391196-1 is not prime. Res64: 90768A3E5AD08B27 Time : 0.0 sec. user=mdettweiler [2015-02-17 07:55:48] 903*2^1391212-1 is not prime. Res64: 93BDC44AD5E8479C Time : 0.0 sec. user=mdettweiler [2015-02-17 07:55:48] 771*2^1391213-1 is not prime. Res64: 0F961BFDADF0826A Time : 0.0 sec. user=mdettweiler [2015-02-17 07:57:28] 787*2^1391213-1 is not prime. Res64: 5E8FEC369D77A77F Time : 0.0 sec. user=mdettweiler [2015-02-17 07:57:28] 937*2^1391213-1 is not prime. Res64: 3D0E808559A6DCCC Time : 0.0 sec. user=mdettweiler [2015-02-17 08:06:02] 705*2^1391214-1 is not prime. Res64: C147AA6FF8140BD2 Time : 0.0 sec. user=mdettweiler [2015-02-17 08:06:04] 723*2^1391214-1 is not prime. Res64: 38942C9D8BF3EB8E Time : 0.0 sec. user=mdettweiler [2015-02-17 08:18:15] 765*2^1391214-1 is not prime. Res64: 3D44E78FA436418C Time : 0.0 sec. user=mdettweiler [2015-02-17 08:18:16] 825*2^1391214-1 is not prime. Res64: F46300D1B698044B Time : 0.0 sec. user=mdettweiler [2015-02-17 08:21:35] 873*2^1391214-1 is not prime. Res64: 6453092844DB8116 Time : 0.0 sec. user=mdettweiler [2015-02-17 08:21:35] 885*2^1391214-1 is not prime. Res64: 4E39079E7BDFD99A Time : 0.0 sec. user=mdettweiler [2015-02-17 08:23:10] 917*2^1391214-1 is not prime. Res64: 8FC776772A966081 Time : 0.0 sec. user=mdettweiler [2015-02-17 08:23:11] 765*2^1391215-1 is not prime. Res64: 4F310433AF162306 Time : 0.0 sec. user=mdettweiler [2015-02-17 08:32:29] 855*2^1391215-1 is not prime. Res64: ED7EF32DCF99BE34 Time : 0.0 sec. user=mdettweiler [2015-02-17 08:32:29] 871*2^1391215-1 is not prime. Res64: 51EF3AF600DD81FD Time : 0.0 sec. user=mdettweiler [2015-02-17 08:44:02] 895*2^1391215-1 is not prime. Res64: 0189993747332B27 Time : 0.0 sec. user=mdettweiler [2015-02-17 08:44:02] 913*2^1391215-1 is not prime. Res64: C7CE360D5C893DEE Time : 0.0 sec. user=mdettweiler [2015-02-17 08:47:20] 629*2^1391216-1 is not prime. Res64: 5AAE84DBBC53D866 Time : 0.0 sec. user=mdettweiler [2015-02-17 08:47:20] 633*2^1391216-1 is not prime. Res64: A6C0C744568F46BE Time : 0.0 sec. user=mdettweiler [2015-02-17 08:48:53] 635*2^1391216-1 is not prime. Res64: AAFE4F92AE443217 Time : 0.0 sec. user=mdettweiler [2015-02-17 08:48:53] 827*2^1391216-1 is not prime. Res64: F572FBD3256BCC04 Time : 0.0 sec. user=mdettweiler [2015-02-17 08:58:17] 999*2^1391216-1 is not prime. Res64: ACAA23994CF52B6C Time : 0.0 sec. user=mdettweiler [2015-02-17 08:58:17] 615*2^1391217-1 is not prime. Res64: 4D5D1B81D6A392D1 Time : 0.0 sec. user=mdettweiler [2015-02-17 09:09:47] 669*2^1391217-1 is not prime. Res64: E7CD87F56E674F46 Time : 0.0 sec. user=mdettweiler [2015-02-17 09:09:48] 675*2^1391217-1 is not prime. Res64: A793698F6322DECB Time : 0.0 sec. user=mdettweiler [2015-02-17 09:13:07] 765*2^1391217-1 is not prime. Res64: 48D492FB43078162 Time : 0.0 sec. user=mdettweiler [2015-02-17 09:13:07] 781*2^1391217-1 is not prime. Res64: F310341AE78CC79D Time : 0.0 sec. user=mdettweiler [2015-02-17 09:14:37] 895*2^1391217-1 is not prime. Res64: D8052D7ACEF79145 Time : 0.0 sec. user=mdettweiler [2015-02-17 09:14:38] 645*2^1391218-1 is not prime. Res64: D81FCE9AAC688719 Time : 0.0 sec. user=mdettweiler [2015-02-17 09:24:07] 677*2^1391218-1 is not prime. Res64: E07A42BD78B066A7 Time : 0.0 sec. user=mdettweiler [2015-02-17 09:24:08] 705*2^1391218-1 is not prime. Res64: 4E1C2DE5F6741EDD Time : 0.0 sec. user=mdettweiler [2015-02-17 09:35:36] 731*2^1391218-1 is not prime. Res64: 5B6E7BC6FE438871 Time : 0.0 sec. user=mdettweiler [2015-02-17 09:35:37] 735*2^1391218-1 is not prime. Res64: 50FD7C7B8F833DC1 Time : 0.0 sec. user=mdettweiler [2015-02-17 09:38:49] 743*2^1391218-1 is not prime. Res64: FC13789B025CAB44 Time : 0.0 sec. user=mdettweiler [2015-02-17 09:38:50] 945*2^1391218-1 is not prime. Res64: 5E55170E065EF516 Time : 0.0 sec. user=mdettweiler [2015-02-17 09:40:24] 993*2^1391218-1 is not prime. Res64: B061923EE9805865 Time : 0.0 sec. user=mdettweiler [2015-02-17 09:40:25] 621*2^1391219-1 is not prime. Res64: 9709997A0F4E5D2A Time : 0.0 sec. user=mdettweiler [2015-02-17 09:49:58] 703*2^1391219-1 is not prime. Res64: 647928CBCC034F00 Time : 0.0 sec. user=mdettweiler [2015-02-17 09:49:58] 753*2^1391219-1 is not prime. Res64: B39F6E8FD757B4C7 Time : 0.0 sec. user=mdettweiler [2015-02-17 10:01:26] 669*2^1391220-1 is not prime. Res64: A2EFDA697459DBDB Time : 0.0 sec. user=mdettweiler [2015-02-17 10:01:27] 675*2^1391220-1 is not prime. Res64: FE8EC54493B36EC7 Time : 0.0 sec. user=mdettweiler [2015-02-17 10:04:37] 777*2^1391220-1 is not prime. Res64: 51C82118A231282B Time : 0.0 sec. user=mdettweiler [2015-02-17 10:04:38] 843*2^1391220-1 is not prime. Res64: C7FEE1CDFF61A5DE Time : 0.0 sec. user=mdettweiler [2015-02-17 10:06:09] 863*2^1391220-1 is not prime. Res64: 93370C3B7775670F Time : 0.0 sec. user=mdettweiler [2015-02-17 10:06:09] 867*2^1391220-1 is not prime. Res64: 0CC5CADD245C126A Time : 0.0 sec. user=mdettweiler [2015-02-17 10:15:37] 933*2^1391220-1 is not prime. Res64: E71C53EB5E865146 Time : 0.0 sec. user=mdettweiler [2015-02-17 10:15:37] 987*2^1391220-1 is not prime. Res64: 9CB82B0893F3B3A8 Time : 0.0 sec. user=mdettweiler [2015-02-17 10:27:23] 717*2^1391221-1 is not prime. Res64: 51522FCDA1D36E46 Time : 0.0 sec. user=mdettweiler [2015-02-17 10:27:23] 829*2^1391221-1 is not prime. Res64: B26DD332654C382C Time : 0.0 sec. user=mdettweiler [2015-02-17 10:30:21] 847*2^1391221-1 is not prime. Res64: 6A11786CDB6DCCDF Time : 0.0 sec. user=mdettweiler [2015-02-17 10:30:21] 931*2^1391221-1 is not prime. Res64: 8E9115332E23DC28 Time : 0.0 sec. user=mdettweiler [2015-02-17 10:31:46] 937*2^1391221-1 is not prime. Res64: A1313A5E922E9639 Time : 0.0 sec. user=mdettweiler [2015-02-17 10:31:46] 713*2^1391222-1 is not prime. Res64: 987A26F1CA8DBF5A Time : 0.0 sec. user=mdettweiler [2015-02-17 10:41:21] 815*2^1391222-1 is not prime. Res64: 23A8031829E83A10 Time : 0.0 sec. user=mdettweiler [2015-02-17 10:41:21] 921*2^1391222-1 is not prime. Res64: 1C625AACFDEF46BC Time : 0.0 sec. user=mdettweiler [2015-02-17 10:53:05] 957*2^1391222-1 is not prime. Res64: 36B5A2AA8CDEDC54 Time : 0.0 sec. user=mdettweiler [2015-02-17 10:53:05] 963*2^1391222-1 is not prime. Res64: 126600F0D01CF98F Time : 0.0 sec. user=mdettweiler [2015-02-17 10:55:59] 619*2^1391223-1 is not prime. Res64: 58F78502647C5DE7 Time : 0.0 sec. user=mdettweiler [2015-02-17 10:56:00] 661*2^1391223-1 is not prime. Res64: 07127CB688DB971F Time : 0.0 sec. user=mdettweiler [2015-02-17 10:57:28] 663*2^1391223-1 is not prime. Res64: 8930CFBD940D0E3E Time : 0.0 sec. user=mdettweiler [2015-02-17 10:57:28] 691*2^1391223-1 is not prime. Res64: B3717720BD83D39A Time : 0.0 sec. user=mdettweiler [2015-02-17 11:07:11] 709*2^1391223-1 is not prime. Res64: B14776BE92ECBA0E Time : 0.0 sec. user=mdettweiler [2015-02-17 11:07:12] 741*2^1391223-1 is not prime. Res64: 3F17918BE67D36A2 Time : 0.0 sec. user=mdettweiler [2015-02-17 11:18:58] 823*2^1391223-1 is not prime. Res64: 52C5D16B1102DD5B Time : 0.0 sec. user=mdettweiler [2015-02-17 11:18:59] 853*2^1391223-1 is not prime. Res64: BC61E836A7352843 Time : 0.0 sec. user=mdettweiler [2015-02-17 11:21:57] 879*2^1391223-1 is not prime. Res64: D29FD86EA4EFBD89 Time : 0.0 sec. user=mdettweiler [2015-02-17 11:21:57] 933*2^1391223-1 is not prime. Res64: 672FB6D195B5A899 Time : 0.0 sec. user=mdettweiler [2015-02-17 11:23:05] 945*2^1391223-1 is not prime. Res64: 401198C3C323B44E Time : 0.0 sec. user=mdettweiler [2015-02-17 11:23:06] 609*2^1391224-1 is not prime. Res64: CC131E72A6214137 Time : 0.0 sec. user=mdettweiler [2015-02-17 11:32:53] 629*2^1391224-1 is not prime. Res64: 57431A042F343E32 Time : 0.0 sec. user=mdettweiler [2015-02-17 11:32:53] 677*2^1391224-1 is not prime. Res64: D7BA24B055842FF5 Time : 0.0 sec. user=mdettweiler [2015-02-17 11:44:44] 765*2^1391224-1 is not prime. Res64: EBC0A60FBAC117E9 Time : 0.0 sec. user=mdettweiler [2015-02-17 11:44:44] 855*2^1391224-1 is not prime. Res64: ACAA5AA29F60EDF3 Time : 0.0 sec. user=mdettweiler [2015-02-17 11:47:45] 887*2^1391224-1 is not prime. Res64: EF818B93EB1032CB Time : 0.0 sec. user=mdettweiler [2015-02-17 11:47:45] 909*2^1391224-1 is not prime. Res64: 803D8B3E78096596 Time : 0.0 sec. user=mdettweiler [2015-02-17 11:48:44] 917*2^1391224-1 is not prime. Res64: C9F411F16395B58A Time : 0.0 sec. user=mdettweiler [2015-02-17 11:48:45] 669*2^1391225-1 is not prime. Res64: CA907897AF07B5F6 Time : 0.0 sec. user=mdettweiler [2015-02-17 11:58:41] 841*2^1391225-1 is not prime. Res64: 79F0974DDC2EADF2 Time : 0.0 sec. user=mdettweiler [2015-02-17 11:58:42] 949*2^1391225-1 is not prime. Res64: FAE2DC79C9AB3275 Time : 0.0 sec. user=mdettweiler [2015-02-17 12:10:25] 957*2^1391225-1 is not prime. Res64: 149310D72D6E975F Time : 0.0 sec. user=mdettweiler [2015-02-17 12:10:25] 981*2^1391225-1 is not prime. Res64: 67A21B552C11FC84 Time : 0.0 sec. user=mdettweiler [2015-02-17 12:13:28] 653*2^1391226-1 is not prime. Res64: 8C6E855E3853C503 Time : 0.0 sec. user=mdettweiler [2015-02-17 12:13:28] 671*2^1391226-1 is not prime. Res64: 180C64A095D53B36 Time : 0.0 sec. user=mdettweiler [2015-02-17 12:14:27] 755*2^1391226-1 is not prime. Res64: E21E0AE6DF583A2C Time : 0.0 sec. user=mdettweiler [2015-02-17 12:14:28] 767*2^1391226-1 is not prime. Res64: D16186AA9E6E881E Time : 0.0 sec. user=mdettweiler [2015-02-17 12:24:23] 815*2^1391226-1 is not prime. Res64: 2808EB55D0AD391E Time : 0.0 sec. user=mdettweiler [2015-02-17 12:24:23] 947*2^1391226-1 is not prime. Res64: FE0245A13E6B024C Time : 0.0 sec. user=mdettweiler [2015-02-17 12:36:07] 993*2^1391226-1 is not prime. Res64: F47C61A5A06D6F4A Time : 0.0 sec. user=mdettweiler [2015-02-17 12:36:07] 651*2^1391227-1 is not prime. Res64: 1E65EEDD45358C0A Time : 0.0 sec. user=mdettweiler [2015-02-17 12:39:15] 873*2^1391227-1 is not prime. Res64: 711F8B6164E541BA Time : 0.0 sec. user=mdettweiler [2015-02-17 12:39:16] 813*2^1391228-1 is not prime. Res64: 4778AE4D40800294 Time : 0.0 sec. user=mdettweiler [2015-02-17 12:40:09] 845*2^1391228-1 is not prime. Res64: 0E765DA54B81E848 Time : 0.0 sec. user=mdettweiler [2015-02-17 12:40:09] 869*2^1391228-1 is not prime. Res64: A0FA949F7DA84939 Time : 0.0 sec. user=juhehe [2015-02-17 12:43:37] 885*2^1391228-1 is not prime. Res64: A3010C1447DE838A Time : 0.0 sec. user=mdettweiler [2015-02-17 12:50:12] 915*2^1391228-1 is not prime. Res64: D814D5659C40FCC7 Time : 0.0 sec. user=mdettweiler [2015-02-17 12:50:12] 957*2^1391228-1 is not prime. Res64: 39F61779AFAFBF19 Time : 0.0 sec. user=mdettweiler [2015-02-17 13:02:16] 963*2^1391228-1 is not prime. Res64: 877653AAFE4237FB Time : 0.0 sec. user=mdettweiler [2015-02-17 13:02:18] 615*2^1391229-1 is not prime. Res64: 61328BE65EF6D7C2 Time : 0.0 sec. user=mdettweiler [2015-02-17 13:05:22] 669*2^1391229-1 is not prime. Res64: B875DEEF961683F6 Time : 0.0 sec. user=mdettweiler [2015-02-17 13:05:23] 787*2^1391229-1 is not prime. Res64: D4A14F346066DFCF Time : 0.0 sec. user=mdettweiler [2015-02-17 13:06:15] 885*2^1391229-1 is not prime. Res64: 0B55319F25F8C29A Time : 0.0 sec. user=mdettweiler [2015-02-17 13:06:16] 955*2^1391229-1 is not prime. Res64: CF8CAB6C20EAF753 Time : 0.0 sec. user=mdettweiler [2015-02-17 13:16:33] 671*2^1391230-1 is not prime. Res64: 04B0CBDDC2FB234A Time : 0.0 sec. user=mdettweiler [2015-02-17 13:16:33] 833*2^1391230-1 is not prime. Res64: 7DC59967EE4E783C Time : 0.0 sec. user=mdettweiler [2015-02-17 13:28:55] 1001*2^1391230-1 is not prime. Res64: B4BF51B3E1CDB9EA Time : 0.0 sec. user=mdettweiler [2015-02-17 13:28:55] 673*2^1391231-1 is not prime. Res64: 02DA23C680629B62 Time : 0.0 sec. user=mdettweiler [2015-02-17 13:31:54] 693*2^1391231-1 is not prime. Res64: 755464A8553BEB18 Time : 0.0 sec. user=mdettweiler [2015-02-17 13:31:55] 705*2^1391231-1 is not prime. Res64: 4AC149BE115EE809 Time : 0.0 sec. user=mdettweiler [2015-02-17 13:32:46] 753*2^1391231-1 is not prime. Res64: 3617CDECFADC0344 Time : 0.0 sec. user=mdettweiler [2015-02-17 13:32:46] 825*2^1391231-1 is not prime. Res64: DE38392894151CFE Time : 0.0 sec. user=mdettweiler [2015-02-17 13:43:06] 843*2^1391231-1 is not prime. Res64: BDA565CE1F678D8D Time : 0.0 sec. user=mdettweiler [2015-02-17 13:43:06] 859*2^1391231-1 is not prime. Res64: 274872B9BCD4A516 Time : 0.0 sec. user=mdettweiler [2015-02-17 13:55:26] 889*2^1391231-1 is not prime. Res64: C05812A4CFAE1E30 Time : 0.0 sec. user=mdettweiler [2015-02-17 13:55:27] 909*2^1391231-1 is not prime. Res64: 4509E52DFB296A05 Time : 0.0 sec. user=mdettweiler [2015-02-17 13:59:05] 949*2^1391231-1 is not prime. Res64: 5BB24D061EE5A219 Time : 0.0 sec. user=mdettweiler [2015-02-17 13:59:05] 627*2^1391232-1 is not prime. Res64: A84A92B30228BA97 Time : 0.0 sec. user=mdettweiler [2015-02-17 14:00:30] 669*2^1391232-1 is not prime. Res64: A20E02B1249C8122 Time : 0.0 sec. user=mdettweiler [2015-02-17 14:00:31] 815*2^1391232-1 is not prime. Res64: C051A226EC06B3BA Time : 0.0 sec. user=mdettweiler [2015-02-17 14:12:23] 879*2^1391232-1 is not prime. Res64: D1B63298192433D5 Time : 0.0 sec. user=mdettweiler [2015-02-17 14:12:23] 929*2^1391232-1 is not prime. Res64: D0B4C65C72C79E10 Time : 0.0 sec. user=mdettweiler [2015-02-17 14:24:22] 945*2^1391232-1 is not prime. Res64: CC93B830A46A0DF8 Time : 0.0 sec. user=mdettweiler [2015-02-17 14:24:22] 983*2^1391232-1 is not prime. Res64: 90155A728D8F6379 Time : 0.0 sec. user=mdettweiler [2015-02-17 14:27:46] 607*2^1391233-1 is not prime. Res64: 1BCEBD5F4CAC01D5 Time : 0.0 sec. user=mdettweiler [2015-02-17 14:27:46] 609*2^1391233-1 is not prime. Res64: 65C5F2AA1948CDC9 Time : 0.0 sec. user=mdettweiler [2015-02-17 14:28:41] 651*2^1391233-1 is not prime. Res64: 2F47A654A4A05BF9 Time : 0.0 sec. user=mdettweiler [2015-02-17 14:28:42] 801*2^1391233-1 is not prime. Res64: FDA14F6416707BE5 Time : 0.0 sec. user=mdettweiler [2015-02-17 14:39:31] 805*2^1391233-1 is not prime. Res64: D952528AB24A9061 Time : 0.0 sec. user=mdettweiler [2015-02-17 14:39:31] 753*2^1391234-1 is not prime. Res64: 670B0411719D374A Time : 0.0 sec. user=mdettweiler [2015-02-17 14:50:28] 797*2^1391234-1 is not prime. Res64: 6D932C034673E941 Time : 0.0 sec. user=mdettweiler [2015-02-17 14:50:29] 827*2^1391234-1 is not prime. Res64: E20E36D30F73A9F5 Time : 0.0 sec. user=mdettweiler [2015-02-17 14:53:56] 935*2^1391234-1 is not prime. Res64: E4886BDECBAC91C6 Time : 0.0 sec. user=mdettweiler [2015-02-17 14:53:56] 995*2^1391234-1 is not prime. Res64: FB87554F55049673 Time : 0.0 sec. user=mdettweiler [2015-02-17 14:54:36] 679*2^1391235-1 is not prime. Res64: 3D73A60FB7015D62 Time : 0.0 sec. user=mdettweiler [2015-02-17 14:54:36] 735*2^1391235-1 is not prime. Res64: 35810DDBC74BC440 Time : 0.0 sec. user=mdettweiler [2015-02-17 15:05:38] 783*2^1391235-1 is not prime. Res64: 88314C0F26B924FD Time : 0.0 sec. user=mdettweiler [2015-02-17 15:05:39] 657*2^1391236-1 is not prime. Res64: 0C9A2A390743733F Time : 0.0 sec. user=mdettweiler [2015-02-17 15:16:22] 719*2^1391236-1 is not prime. Res64: 40FEF95D6B57AB6B Time : 0.0 sec. user=mdettweiler [2015-02-17 15:16:23] 765*2^1391236-1 is not prime. Res64: A2212F04A3164B8C Time : 0.0 sec. user=mdettweiler [2015-02-17 15:20:05] 839*2^1391236-1 is not prime. Res64: 3EAA71499473C1F4 Time : 0.0 sec. user=mdettweiler [2015-02-17 15:20:05] 845*2^1391236-1 is not prime. Res64: E57856D0AAF0A986 Time : 0.0 sec. user=mdettweiler [2015-02-17 15:20:33] 939*2^1391236-1 is not prime. Res64: 794EF9019B84FFEA Time : 0.0 sec. user=mdettweiler [2015-02-17 15:20:33] 607*2^1391237-1 is not prime. Res64: DF3A5B65418B1C5C Time : 0.0 sec. user=mdettweiler [2015-02-17 15:32:15] 645*2^1391237-1 is not prime. Res64: 89BDC4E9E114AAAD Time : 0.0 sec. user=mdettweiler [2015-02-17 15:32:16] 747*2^1391237-1 is not prime. Res64: 7E0AE09ECF7D3BFE Time : 0.0 sec. user=mdettweiler [2015-02-17 15:42:27] 847*2^1391237-1 is not prime. Res64: C679B29E859420D4 Time : 0.0 sec. user=mdettweiler [2015-02-17 15:42:28] 861*2^1391237-1 is not prime. Res64: 31F46415972A9F23 Time : 0.0 sec. user=mdettweiler [2015-02-17 15:45:51] 867*2^1391237-1 is not prime. Res64: C8A58D31A56FB7DB Time : 0.0 sec. user=mdettweiler [2015-02-17 15:45:52] 981*2^1391237-1 is not prime. Res64: 1979A7A03603E41B Time : 0.0 sec. user=mdettweiler [2015-02-17 15:46:30] 985*2^1391237-1 is not prime. Res64: 33D6C31DE1187F66 Time : 0.0 sec. user=mdettweiler [2015-02-17 15:46:30] 713*2^1391238-1 is not prime. Res64: 24110C047A384B74 Time : 0.0 sec. user=mdettweiler [2015-02-17 15:58:18] 933*2^1391238-1 is not prime. Res64: 1EEF85021A42D221 Time : 0.0 sec. user=mdettweiler [2015-02-17 15:58:19] 945*2^1391238-1 is not prime. Res64: 09FD1F74CEDF2031 Time : 0.0 sec. user=mdettweiler [2015-02-17 16:09:13] 609*2^1391239-1 is not prime. Res64: 8321964CCC84867C Time : 0.0 sec. user=mdettweiler [2015-02-17 16:09:13] 745*2^1391239-1 is not prime. Res64: EA214ED5A6FC35C9 Time : 0.0 sec. user=mdettweiler [2015-02-17 16:12:38] 811*2^1391239-1 is not prime. Res64: 6B5568EF183ADB59 Time : 0.0 sec. user=mdettweiler [2015-02-17 16:12:39] 933*2^1391239-1 is not prime. Res64: 96144992BAA785F3 Time : 0.0 sec. user=mdettweiler [2015-02-17 16:13:22] 677*2^1391240-1 is not prime. Res64: 88DECADE34AEBEE8 Time : 0.0 sec. user=mdettweiler [2015-02-17 16:13:22] 735*2^1391240-1 is not prime. Res64: B988EDBD571F1D33 Time : 0.0 sec. user=mdettweiler [2015-02-17 16:24:59] 797*2^1391240-1 is not prime. Res64: B94F1B2886D58EB3 Time : 0.0 sec. user=mdettweiler [2015-02-17 16:24:59] 827*2^1391240-1 is not prime. Res64: 89BD8D4149817B8C Time : 0.0 sec. user=mdettweiler [2015-02-17 16:36:03] 843*2^1391240-1 is not prime. Res64: 0F0AA068F27DDB50 Time : 0.0 sec. user=mdettweiler [2015-02-17 16:36:03] 875*2^1391240-1 is not prime. Res64: 73979A863AC26DE2 Time : 0.0 sec. user=mdettweiler [2015-02-17 16:39:13] 945*2^1391240-1 is not prime. Res64: AAE1FD875FD60EAB Time : 0.0 sec. user=mdettweiler [2015-02-17 16:39:14] 957*2^1391240-1 is not prime. Res64: A7C37DFC57426124 Time : 0.0 sec. user=mdettweiler [2015-02-17 16:39:48] 995*2^1391240-1 is not prime. Res64: E654AEDD80FF1D34 Time : 0.0 sec. user=mdettweiler [2015-02-17 16:39:48] 649*2^1391241-1 is not prime. Res64: BC3154B9E3D01949 Time : 0.0 sec. user=mdettweiler [2015-02-17 16:52:45] 705*2^1391241-1 is not prime. Res64: 5D9312630EC5AAAB Time : 0.0 sec. user=mdettweiler [2015-02-17 16:52:45] 745*2^1391241-1 is not prime. Res64: C88D6042AEDD6438 Time : 0.0 sec. user=mdettweiler [2015-02-17 17:08:08] 861*2^1391241-1 is not prime. Res64: 2E4247A071671D78 Time : 0.0 sec. user=mdettweiler [2015-02-17 17:08:09] 877*2^1391241-1 is not prime. Res64: DAD21673EE4C073C Time : 0.0 sec. user=mdettweiler [2015-02-17 17:12:08] 907*2^1391241-1 is not prime. Res64: 637E25B29DCAE704 Time : 0.0 sec. user=mdettweiler [2015-02-17 17:12:08] 955*2^1391241-1 is not prime. Res64: 72575FE1D9FB39A0 Time : 0.0 sec. user=mdettweiler [2015-02-17 17:13:13] 997*2^1391241-1 is not prime. Res64: F5BEFE3E2D125888 Time : 0.0 sec. user=mdettweiler [2015-02-17 17:13:13] 681*2^1391242-1 is not prime. Res64: D832F2D05F3A5160 Time : 0.0 sec. user=mdettweiler [2015-02-17 17:24:09] 731*2^1391242-1 is not prime. Res64: 3B2B31C2414F1D11 Time : 0.0 sec. user=mdettweiler [2015-02-17 17:24:09] 803*2^1391242-1 is not prime. Res64: 2E80C2AA6E235DEF Time : 0.0 sec. user=mdettweiler [2015-02-17 17:35:20] 915*2^1391242-1 is not prime. Res64: 0748BA89BC2B5C27 Time : 0.0 sec. user=mdettweiler [2015-02-17 17:35:20] 947*2^1391242-1 is not prime. Res64: 22308426AEC360D8 Time : 0.0 sec. user=mdettweiler [2015-02-17 17:39:10] 983*2^1391242-1 is not prime. Res64: 755C9DD9A2CCCE57 Time : 0.0 sec. user=mdettweiler [2015-02-17 17:39:10] 643*2^1391243-1 is not prime. Res64: AA94575DF41B10D6 Time : 0.0 sec. user=mdettweiler [2015-02-17 17:40:07] 955*2^1391243-1 is not prime. Res64: FC2F0E89FCF681FD Time : 0.0 sec. user=mdettweiler [2015-02-17 17:40:07] 999*2^1391243-1 is not prime. Res64: 8913513066E1811B Time : 0.0 sec. user=mdettweiler [2015-02-17 17:51:05] 737*2^1391244-1 is not prime. Res64: C213102124DBC899 Time : 0.0 sec. user=mdettweiler [2015-02-17 17:51:05] 903*2^1391244-1 is not prime. Res64: 29AF06B6CE9213B8 Time : 0.0 sec. user=mdettweiler [2015-02-17 18:02:17] 947*2^1391244-1 is not prime. Res64: E035B6816D568533 Time : 0.0 sec. user=mdettweiler [2015-02-17 18:02:19] 721*2^1391245-1 is not prime. Res64: BA17C2B111DFEE3E Time : 0.0 sec. user=mdettweiler [2015-02-17 18:06:14] 727*2^1391245-1 is not prime. Res64: 5EED4122E398CD7F Time : 0.0 sec. user=mdettweiler [2015-02-17 18:06:14] 757*2^1391245-1 is not prime. Res64: 690F4999F09E3ED2 Time : 0.0 sec. user=mdettweiler [2015-02-17 18:06:27] 789*2^1391245-1 is not prime. Res64: 81939049A3A790BF Time : 0.0 sec. user=mdettweiler [2015-02-17 18:06:27] 799*2^1391245-1 is not prime. Res64: 497835DB2CEC26A8 Time : 0.0 sec. user=mdettweiler [2015-02-17 18:20:06] 819*2^1391245-1 is not prime. Res64: 4DB103099FB4B687 Time : 0.0 sec. user=mdettweiler [2015-02-17 18:20:07] 961*2^1391245-1 is not prime. Res64: 0B44D315CE89AEBB Time : 0.0 sec. user=mdettweiler [2015-02-17 18:35:44] 603*2^1391246-1 is not prime. Res64: 5D7F3A745667821E Time : 0.0 sec. user=mdettweiler [2015-02-17 18:35:45] 711*2^1391246-1 is not prime. Res64: 71324E5C01B4098A Time : 0.0 sec. user=mdettweiler [2015-02-17 18:39:53] 813*2^1391246-1 is not prime. Res64: 65BB7EE70DCF60F8 Time : 0.0 sec. user=mdettweiler [2015-02-17 18:39:53] 957*2^1391246-1 is not prime. Res64: BED614F82E7D0455 Time : 0.0 sec. user=mdettweiler [2015-02-17 18:40:05] 625*2^1391247-1 is not prime. Res64: 7569A0600F33B227 Time : 0.0 sec. user=mdettweiler [2015-02-17 18:40:05] 711*2^1391247-1 is not prime. Res64: 0FD81B8D649E98F5 Time : 0.0 sec. user=mdettweiler [2015-02-17 18:51:37] 831*2^1391247-1 is not prime. Res64: BCB672BA53E37643 Time : 0.0 sec. user=mdettweiler [2015-02-17 18:51:37] 951*2^1391247-1 is not prime. Res64: CC0FBFD2F9BE671A Time : 0.0 sec. user=mdettweiler [2015-02-17 19:03:38] 961*2^1391247-1 is not prime. Res64: 4BF1B406235063CE Time : 0.0 sec. user=mdettweiler [2015-02-17 19:03:39] 665*2^1391248-1 is not prime. Res64: FE7D205029F74072 Time : 0.0 sec. user=mdettweiler [2015-02-17 19:07:34] 695*2^1391248-1 is not prime. Res64: 741861646E1C6E98 Time : 0.0 sec. user=mdettweiler [2015-02-17 19:07:34] 705*2^1391248-1 is not prime. Res64: 0E30637FE9423BAC Time : 0.0 sec. user=mdettweiler [2015-02-17 19:07:36] 803*2^1391248-1 is not prime. Res64: F29BCB186602A631 Time : 0.0 sec. user=mdettweiler [2015-02-17 19:07:36] 875*2^1391248-1 is not prime. Res64: 4EF1F8B12EE6811F Time : 0.0 sec. user=mdettweiler [2015-02-17 19:20:50] 995*2^1391248-1 is not prime. Res64: 587C09E6041B78D3 Time : 0.0 sec. user=mdettweiler [2015-02-17 19:20:50] 999*2^1391248-1 is not prime. Res64: E0C9CEB372D62389 Time : 0.0 sec. user=mdettweiler [2015-02-17 19:35:24] 697*2^1391249-1 is not prime. Res64: F34C242249DD04DE Time : 0.0 sec. user=mdettweiler [2015-02-17 19:35:25] 775*2^1391249-1 is not prime. Res64: 735DC025E82F44BB Time : 0.0 sec. user=mdettweiler [2015-02-17 19:39:38] 997*2^1391249-1 is not prime. Res64: CA54856B9B887CFE Time : 0.0 sec. user=mdettweiler [2015-02-17 19:39:38] 665*2^1391250-1 is not prime. Res64: C483D1248F5DF029 Time : 0.0 sec. user=mdettweiler [2015-02-17 19:40:56] 879*2^1391249-1 is not prime. Res64: A586D374C6AC1B69 Time : 0.0 sec. user=mdettweiler [2015-02-17 19:40:56] 987*2^1391249-1 is not prime. Res64: C6134FDE1594C1A5 Time : 0.0 sec. user=mdettweiler [2015-02-17 19:53:36] 713*2^1391250-1 is not prime. Res64: 83F4F803A6A8E6B5 Time : 0.0 sec. user=mdettweiler [2015-02-17 19:53:36] 717*2^1391250-1 is not prime. Res64: DD9E0D9DC14DDECB Time : 0.0 sec. user=mdettweiler [2015-02-17 20:05:58] 773*2^1391250-1 is not prime. Res64: 0043A91E4FDA1325 Time : 0.0 sec. user=mdettweiler [2015-02-17 20:06:00] 777*2^1391250-1 is not prime. Res64: C09751893E2B1441 Time : 0.0 sec. user=mdettweiler [2015-02-17 20:09:43] 797*2^1391250-1 is not prime. Res64: 893893CC07299D30 Time : 0.0 sec. user=mdettweiler [2015-02-17 20:09:43] 921*2^1391250-1 is not prime. Res64: 910F31A6B29D5432 Time : 0.0 sec. user=mdettweiler [2015-02-17 20:10:57] 745*2^1391251-1 is not prime. Res64: 5FB142CD745966D2 Time : 0.0 sec. user=mdettweiler [2015-02-17 20:10:57] 873*2^1391251-1 is not prime. Res64: D636B8FACB9E72CB Time : 0.0 sec. user=mdettweiler [2015-02-17 20:22:47] 961*2^1391251-1 is not prime. Res64: 51493009167C9740 Time : 0.0 sec. user=mdettweiler [2015-02-17 20:22:47] 973*2^1391251-1 is not prime. Res64: 4CC9B24D5B601911 Time : 0.0 sec. user=mdettweiler [2015-02-17 20:35:34] 993*2^1391251-1 is not prime. Res64: 7D0E4B09EBE35693 Time : 0.0 sec. user=mdettweiler [2015-02-17 20:35:34] 603*2^1391252-1 is not prime. Res64: D6AACB7F63479FD5 Time : 0.0 sec. user=mdettweiler [2015-02-17 20:39:07] 677*2^1391252-1 is not prime. Res64: 91408ACA187A0DAE Time : 0.0 sec. user=mdettweiler [2015-02-17 20:39:07] 759*2^1391252-1 is not prime. Res64: C37907D7CB80BEEE Time : 0.0 sec. user=mdettweiler [2015-02-17 20:40:23] 885*2^1391252-1 is not prime. Res64: D1EF117671291A78 Time : 0.0 sec. user=mdettweiler [2015-02-17 20:40:24] 903*2^1391252-1 is not prime. Res64: 6B4844E5F0583B2A Time : 0.0 sec. user=mdettweiler [2015-02-17 20:50:57] 963*2^1391252-1 is not prime. Res64: F18F71131B12BF2A Time : 0.0 sec. user=mdettweiler [2015-02-17 20:50:57] 977*2^1391252-1 is not prime. Res64: E689E0BE76900724 Time : 0.0 sec. user=mdettweiler [2015-02-17 21:03:02] 615*2^1391253-1 is not prime. Res64: 22AEF8F7904B70FA Time : 0.0 sec. user=mdettweiler [2015-02-17 21:03:04] 727*2^1391253-1 is not prime. Res64: 31AD0D013B4C1A8C Time : 0.0 sec. user=mdettweiler [2015-02-17 21:06:40] 769*2^1391253-1 is not prime. Res64: 2568948E77A62D52 Time : 0.0 sec. user=mdettweiler [2015-02-17 21:06:40] 915*2^1391253-1 is not prime. Res64: 4954E2A0CEA2E971 Time : 0.0 sec. user=mdettweiler [2015-02-17 21:07:59] 927*2^1391253-1 is not prime. Res64: CC660912FD9B263F Time : 0.0 sec. user=mdettweiler [2015-02-17 21:07:59] 961*2^1391253-1 is not prime. Res64: 0A01F499EBB862E5 Time : 0.0 sec. user=mdettweiler [2015-02-17 21:18:36] 987*2^1391253-1 is not prime. Res64: A49E72928BC49DC4 Time : 0.0 sec. user=mdettweiler [2015-02-17 21:18:36] 623*2^1391254-1 is not prime. Res64: 0333B133AA232463 Time : 0.0 sec. user=mdettweiler [2015-02-17 21:30:53] 645*2^1391254-1 is not prime. Res64: AEE8E83AFA02D0E3 Time : 0.0 sec. user=mdettweiler [2015-02-17 21:30:54] 663*2^1391254-1 is not prime. Res64: D40FA876B01DD973 Time : 0.0 sec. user=mdettweiler [2015-02-17 21:34:17] 671*2^1391254-1 is not prime. Res64: 358BA541C3688A2E Time : 0.0 sec. user=mdettweiler [2015-02-17 21:34:17] 687*2^1391254-1 is not prime. Res64: 3C40626E4E5537AA Time : 0.0 sec. user=mdettweiler [2015-02-17 21:35:15] 731*2^1391254-1 is not prime. Res64: 91C77D9C7BF98159 Time : 0.0 sec. user=mdettweiler [2015-02-17 21:35:15] 765*2^1391254-1 is not prime. Res64: 91DE548BEB5C30A3 Time : 0.0 sec. user=mdettweiler [2015-02-17 21:46:22] 915*2^1391254-1 is not prime. Res64: 106A8ACBE5DE3612 Time : 0.0 sec. user=mdettweiler [2015-02-17 21:46:22] 601*2^1391255-1 is not prime. Res64: D5FA300CE5858D24 Time : 0.0 sec. user=juhehe [2015-02-17 21:51:32] 603*2^1391255-1 is not prime. Res64: 1CBEBEA8BBDFC9DF Time : 0.0 sec. user=mdettweiler [2015-02-17 21:58:39] 609*2^1391255-1 is not prime. Res64: 8F8737831EE8BDC9 Time : 0.0 sec. user=mdettweiler [2015-02-17 21:58:40] 649*2^1391255-1 is not prime. Res64: DD4359F3DBCACF36 Time : 0.0 sec. user=mdettweiler [2015-02-17 22:02:24] 693*2^1391255-1 is not prime. Res64: 53B1484E6EF38139 Time : 0.0 sec. user=mdettweiler [2015-02-17 22:02:25] 753*2^1391255-1 is not prime. Res64: BA3280B39A4DAA88 Time : 0.0 sec. user=mdettweiler [2015-02-17 22:02:48] 799*2^1391255-1 is not prime. Res64: 68DBD87281C9A328 Time : 0.0 sec. user=mdettweiler [2015-02-17 22:02:49] 865*2^1391255-1 is not prime. Res64: 2B9913B21069B3FD Time : 0.0 sec. user=mdettweiler [2015-02-17 22:14:05] 913*2^1391255-1 is not prime. Res64: 58420D6CF77F699F Time : 0.0 sec. user=mdettweiler [2015-02-17 22:14:06] 693*2^1391256-1 is not prime. Res64: 26331793C8EF9597 Time : 0.0 sec. user=mdettweiler [2015-02-17 22:25:59] 893*2^1391256-1 is not prime. Res64: 555BF761E491B9F3 Time : 0.0 sec. user=mdettweiler [2015-02-17 22:25:59] 905*2^1391256-1 is not prime. Res64: 7A87B4C4586B0043 Time : 0.0 sec. user=mdettweiler [2015-02-17 22:29:34] 639*2^1391257-1 is not prime. Res64: 0C6A47D68DE77B59 Time : 0.0 sec. user=mdettweiler [2015-02-17 22:29:34] 747*2^1391257-1 is not prime. Res64: A771AC0D657D2A12 Time : 0.0 sec. user=mdettweiler [2015-02-17 22:30:18] 831*2^1391257-1 is not prime. Res64: 5AD2BB6CAA48C0F8 Time : 0.0 sec. user=mdettweiler [2015-02-17 22:30:18] 861*2^1391257-1 is not prime. Res64: 0D6AB328A4390C73 Time : 0.0 sec. user=mdettweiler [2015-02-17 22:41:59] 901*2^1391257-1 is not prime. Res64: 762D95E64FDD2484 Time : 0.0 sec. user=mdettweiler [2015-02-17 22:41:59] 773*2^1391258-1 is not prime. Res64: 79F43AF8773F23D6 Time : 0.0 sec. user=mdettweiler [2015-02-17 22:54:05] 833*2^1391258-1 is not prime. Res64: 559105571862B216 Time : 0.0 sec. user=mdettweiler [2015-02-17 22:54:05] 885*2^1391258-1 is not prime. Res64: 27B763D93E8F2119 Time : 0.0 sec. user=mdettweiler [2015-02-17 22:57:56] 915*2^1391258-1 is not prime. Res64: 3A38D7215364C986 Time : 0.0 sec. user=mdettweiler [2015-02-17 22:57:56] 941*2^1391258-1 is not prime. Res64: F338434149759DB7 Time : 0.0 sec. user=mdettweiler [2015-02-17 22:57:57] 957*2^1391258-1 is not prime. Res64: 40919ABAAB0BACA3 Time : 0.0 sec. user=mdettweiler [2015-02-17 22:57:57] 625*2^1391259-1 is not prime. Res64: F27B3D34C38218FE Time : 0.0 sec. user=mdettweiler [2015-02-17 23:09:59] 663*2^1391259-1 is not prime. Res64: 52C0D31A43DB09AE Time : 0.0 sec. user=mdettweiler [2015-02-17 23:09:59] 711*2^1391259-1 is not prime. Res64: 6C34B174CE0A0AAD Time : 0.0 sec. user=mdettweiler [2015-02-17 23:21:42] 751*2^1391259-1 is not prime. Res64: B852084B5D4CC06D Time : 0.0 sec. user=mdettweiler [2015-02-17 23:21:42] 801*2^1391259-1 is not prime. Res64: BA4F344A61C49924 Time : 0.0 sec. user=mdettweiler [2015-02-17 23:25:14] 929*2^1391260-1 is not prime. Res64: DCFDF98A1CCE2378 Time : 0.0 sec. user=mdettweiler [2015-02-17 23:25:15] 933*2^1391260-1 is not prime. Res64: 25324E0FB14041D4 Time : 0.0 sec. user=mdettweiler [2015-02-17 23:25:30] 975*2^1391259-1 is not prime. Res64: E3935B47A755D07D Time : 0.0 sec. user=mdettweiler [2015-02-17 23:25:31] 609*2^1391260-1 is not prime. Res64: 8F8077E337BB44C0 Time : 0.0 sec. user=mdettweiler [2015-02-17 23:37:35] 615*2^1391261-1 is not prime. Res64: 3D92239BD8B100DB Time : 0.0 sec. user=mdettweiler [2015-02-17 23:37:35] 619*2^1391261-1 is not prime. Res64: 6976D12A77317C76 Time : 0.0 sec. user=mdettweiler [2015-02-17 23:49:14] 685*2^1391261-1 is not prime. Res64: D06946469A43EAB3 Time : 0.0 sec. user=mdettweiler [2015-02-17 23:49:15] 711*2^1391261-1 is not prime. Res64: DBEB3C8D9C1BBE65 Time : 0.0 sec. user=mdettweiler [2015-02-17 23:52:39] 741*2^1391261-1 is not prime. Res64: 114A42706E6356C1 Time : 0.0 sec. user=mdettweiler [2015-02-17 23:52:40] 757*2^1391261-1 is not prime. Res64: 3F9A9BA44AF0E217 Time : 0.0 sec. user=mdettweiler [2015-02-17 23:52:56] 837*2^1391261-1 is not prime. Res64: A14F64E52C608F3A Time : 0.0 sec. user=mdettweiler [2015-02-17 23:52:57] 867*2^1391261-1 is not prime. Res64: 20F51C4A6AE74E7B Time : 0.0 sec.