user=mdettweiler [2015-09-20 00:10:22] 951*2^1409734-1 is not prime. Res64: AD045EB691D21F3A Time : 0.0 sec. user=mdettweiler [2015-09-20 00:10:22] 855*2^1409734-1 is not prime. Res64: C1A5E620A3D4D7E3 Time : 0.0 sec. user=mdettweiler [2015-09-20 00:10:22] 791*2^1409734-1 is not prime. Res64: 6963CE2295F936DB Time : 0.0 sec. user=mdettweiler [2015-09-20 00:10:22] 987*2^1409734-1 is not prime. Res64: 6439CD6F62E98124 Time : 0.0 sec. user=mdettweiler [2015-09-20 00:10:22] 825*2^1409734-1 is not prime. Res64: 4E7A1AF537289445 Time : 0.0 sec. user=mdettweiler [2015-09-20 00:10:22] 917*2^1409734-1 is not prime. Res64: 0B12142093D6E885 Time : 0.0 sec. user=mdettweiler [2015-09-20 00:27:52] 705*2^1409735-1 is not prime. Res64: 04085E494C3F2561 Time : 0.0 sec. user=mdettweiler [2015-09-20 00:27:52] 759*2^1409735-1 is not prime. Res64: 40468E28D00BBCA9 Time : 0.0 sec. user=mdettweiler [2015-09-20 00:27:53] 991*2^1409735-1 is not prime. Res64: CBA706B8FE66C75C Time : 0.0 sec. user=mdettweiler [2015-09-20 00:27:53] 657*2^1409736-1 is not prime. Res64: 39794080E9D20798 Time : 0.0 sec. user=mdettweiler [2015-09-20 00:27:54] 619*2^1409737-1 is not prime. Res64: 806DF4824BFC96DF Time : 0.0 sec. user=mdettweiler [2015-09-20 00:27:55] 651*2^1409737-1 is not prime. Res64: 54D8C76A411E7247 Time : 0.0 sec. user=mdettweiler [2015-09-20 00:45:15] 699*2^1409737-1 is not prime. Res64: 997796BC760456A2 Time : 0.0 sec. user=mdettweiler [2015-09-20 00:45:16] 729*2^1409737-1 is not prime. Res64: 9EF94DBAB7D6FA82 Time : 0.0 sec. user=mdettweiler [2015-09-20 00:45:16] 769*2^1409737-1 is not prime. Res64: 87051ECB620EF020 Time : 0.0 sec. user=mdettweiler [2015-09-20 00:45:17] 771*2^1409737-1 is not prime. Res64: E3A19B1A60D6F46F Time : 0.0 sec. user=mdettweiler [2015-09-20 00:45:18] 805*2^1409737-1 is not prime. Res64: C05200BB930DA70E Time : 0.0 sec. user=mdettweiler [2015-09-20 00:45:18] 841*2^1409737-1 is not prime. Res64: F66F379D8A29489B Time : 0.0 sec. user=mdettweiler [2015-09-20 01:02:40] 871*2^1409737-1 is not prime. Res64: 2CBD461AA54D3CBF Time : 0.0 sec. user=mdettweiler [2015-09-20 01:02:40] 915*2^1409737-1 is not prime. Res64: EC955ACEF66383EF Time : 0.0 sec. user=mdettweiler [2015-09-20 01:02:41] 979*2^1409737-1 is not prime. Res64: 5C43CF725A554470 Time : 0.0 sec. user=mdettweiler [2015-09-20 01:02:42] 931*2^1409737-1 is not prime. Res64: 062980AE23908699 Time : 0.0 sec. user=mdettweiler [2015-09-20 01:02:42] 627*2^1409738-1 is not prime. Res64: A706719A9BD9930B Time : 0.0 sec. user=mdettweiler [2015-09-20 01:02:43] 895*2^1409737-1 is not prime. Res64: B4F01F9A28B18A7D Time : 0.0 sec. user=mdettweiler [2015-09-20 01:20:35] 957*2^1409738-1 is not prime. Res64: ACBCE20274071421 Time : 0.0 sec. user=mdettweiler [2015-09-20 01:20:36] 601*2^1409739-1 is not prime. Res64: B20C324883D552BC Time : 0.0 sec. user=mdettweiler [2015-09-20 01:20:36] 619*2^1409739-1 is not prime. Res64: 8262A90D86FE5663 Time : 0.0 sec. user=mdettweiler [2015-09-20 01:20:36] 773*2^1409738-1 is not prime. Res64: CE54218F2173CB0D Time : 0.0 sec. user=mdettweiler [2015-09-20 01:20:36] 615*2^1409739-1 is not prime. Res64: B816F4037A7E4EF4 Time : 0.0 sec. user=mdettweiler [2015-09-20 01:20:36] 987*2^1409738-1 is not prime. Res64: 4ECDA1B907AB5CC7 Time : 0.0 sec. user=juhehe [2015-09-20 01:24:45] 703*2^1409711-1 is not prime. Res64: 9F132BD5D2CD81CC Time : 0.0 sec. user=mdettweiler [2015-09-20 01:38:03] 859*2^1409739-1 is not prime. Res64: 3EF21091249CFACB Time : 0.0 sec. user=mdettweiler [2015-09-20 01:38:04] 903*2^1409739-1 is not prime. Res64: B1A55C94DA393CCF Time : 0.0 sec. user=mdettweiler [2015-09-20 01:38:04] 649*2^1409739-1 is not prime. Res64: D1A30D69648F291F Time : 0.0 sec. user=mdettweiler [2015-09-20 01:38:05] 675*2^1409739-1 is not prime. Res64: F5F47F2DCC3BDB27 Time : 0.0 sec. user=mdettweiler [2015-09-20 01:38:06] 735*2^1409739-1 is not prime. Res64: 41B72B9409B3729C Time : 0.0 sec. user=mdettweiler [2015-09-20 01:38:07] 775*2^1409739-1 is not prime. Res64: 1760250C3D6C9B05 Time : 0.0 sec. user=mdettweiler [2015-09-20 01:55:31] 695*2^1409740-1 is not prime. Res64: 007BD3D0B7BE28EB Time : 0.0 sec. user=mdettweiler [2015-09-20 01:55:31] 999*2^1409740-1 is not prime. Res64: 87176E5BF1F22FE7 Time : 0.0 sec. user=mdettweiler [2015-09-20 01:55:31] 743*2^1409740-1 is not prime. Res64: 9E4126ECB78CE287 Time : 0.0 sec. user=mdettweiler [2015-09-20 01:55:31] 649*2^1409741-1 is not prime. Res64: F8F55A7E0600106A Time : 0.0 sec. user=mdettweiler [2015-09-20 01:55:32] 863*2^1409740-1 is not prime. Res64: 706AEFED701B9424 Time : 0.0 sec. user=mdettweiler [2015-09-20 01:55:32] 989*2^1409740-1 is not prime. Res64: 248E9DDF020F3087 Time : 0.0 sec. user=mdettweiler [2015-09-20 02:12:59] 737*2^1409742-1 is not prime. Res64: 6DB0A5DA514C6648 Time : 0.0 sec. user=mdettweiler [2015-09-20 02:12:59] 843*2^1409742-1 is not prime. Res64: A39B3875277D7751 Time : 0.0 sec. user=mdettweiler [2015-09-20 02:12:59] 801*2^1409742-1 is not prime. Res64: 06E30E8C899B9A16 Time : 0.0 sec. user=mdettweiler [2015-09-20 02:13:00] 867*2^1409742-1 is not prime. Res64: 5A80CA7D6724E93D Time : 0.0 sec. user=mdettweiler [2015-09-20 02:13:00] 727*2^1409741-1 is not prime. Res64: F0368CA2AF0629FC Time : 0.0 sec. user=mdettweiler [2015-09-20 02:13:00] 955*2^1409741-1 is not prime. Res64: AFF5213D4A180261 Time : 0.0 sec. user=juhehe [2015-09-20 02:14:26] 623*2^1409740-1 is not prime. Res64: C2E9590257067164 Time : 0.0 sec. user=mdettweiler [2015-09-20 02:30:24] 1001*2^1409742-1 is not prime. Res64: 1AEAD13FADE20DE7 Time : 0.0 sec. user=mdettweiler [2015-09-20 02:30:24] 615*2^1409743-1 is not prime. Res64: 193F596CC775D8C5 Time : 0.0 sec. user=mdettweiler [2015-09-20 02:30:24] 915*2^1409742-1 is not prime. Res64: DD4E55522351B631 Time : 0.0 sec. user=mdettweiler [2015-09-20 02:30:25] 603*2^1409743-1 is not prime. Res64: B717AA1978FDC421 Time : 0.0 sec. user=mdettweiler [2015-09-20 02:30:25] 625*2^1409743-1 is not prime. Res64: 74265FD7DE03677E Time : 0.0 sec. user=mdettweiler [2015-09-20 02:30:25] 947*2^1409742-1 is not prime. Res64: 917EBABC8AF77570 Time : 0.0 sec. user=mdettweiler [2015-09-20 02:47:54] 629*2^1409744-1 is not prime. Res64: 8EBF143D04BDD061 Time : 0.0 sec. user=mdettweiler [2015-09-20 02:47:55] 635*2^1409744-1 is not prime. Res64: A5542144394653F9 Time : 0.0 sec. user=mdettweiler [2015-09-20 02:47:55] 705*2^1409743-1 is not prime. Res64: 252A5A6AE6F40D2E Time : 0.0 sec. user=mdettweiler [2015-09-20 02:47:56] 763*2^1409743-1 is not prime. Res64: 0735570FD89152AC Time : 0.0 sec. user=mdettweiler [2015-09-20 02:47:56] 811*2^1409743-1 is not prime. Res64: 3C1C9EAE4AF9B250 Time : 0.0 sec. user=mdettweiler [2015-09-20 02:47:57] 853*2^1409743-1 is not prime. Res64: D20E6C1D5A2D0537 Time : 0.0 sec. user=juhehe [2015-09-20 02:52:15] 693*2^1409743-1 is not prime. Res64: 5441979886702552 Time : 0.0 sec. user=mdettweiler [2015-09-20 03:05:22] 759*2^1409744-1 is not prime. Res64: 1E054AF228CD203A Time : 0.0 sec. user=mdettweiler [2015-09-20 03:05:23] 717*2^1409744-1 is not prime. Res64: 40703736FE4D20E8 Time : 0.0 sec. user=mdettweiler [2015-09-20 03:05:24] 795*2^1409744-1 is not prime. Res64: D7E053EB1DA26F9A Time : 0.0 sec. user=mdettweiler [2015-09-20 03:05:25] 725*2^1409744-1 is not prime. Res64: 89F639FF37D59762 Time : 0.0 sec. user=mdettweiler [2015-09-20 03:05:26] 855*2^1409744-1 is not prime. Res64: DF10C410E0A8B916 Time : 0.0 sec. user=mdettweiler [2015-09-20 03:05:29] 923*2^1409744-1 is not prime. Res64: BF1F1DADBA7CC790 Time : 0.0 sec. user=mdettweiler [2015-09-20 03:23:16] 957*2^1409744-1 is not prime. Res64: 18745E7CA4C61257 Time : 0.0 sec. user=mdettweiler [2015-09-20 03:23:16] 777*2^1409745-1 is not prime. Res64: 463FD8DE7A77B2F5 Time : 0.0 sec. user=mdettweiler [2015-09-20 03:23:16] 669*2^1409745-1 is not prime. Res64: FF32D7E4DAED63F6 Time : 0.0 sec. user=mdettweiler [2015-09-20 03:23:17] 781*2^1409745-1 is not prime. Res64: 97E800FAFB8617B7 Time : 0.0 sec. user=mdettweiler [2015-09-20 03:23:22] 759*2^1409745-1 is not prime. Res64: D75E4B9AD864E86B Time : 0.0 sec. user=mdettweiler [2015-09-20 03:23:23] 765*2^1409745-1 is not prime. Res64: 4D5467F00D7C2E99 Time : 0.0 sec. user=mdettweiler [2015-09-20 03:40:45] 909*2^1409745-1 is not prime. Res64: 048FCEC9D12C1746 Time : 0.0 sec. user=mdettweiler [2015-09-20 03:40:45] 795*2^1409745-1 is not prime. Res64: 537AAE34D1E363C5 Time : 0.0 sec. user=mdettweiler [2015-09-20 03:40:46] 919*2^1409745-1 is not prime. Res64: 6CBA6EE9B8E2443D Time : 0.0 sec. user=mdettweiler [2015-09-20 03:40:46] 819*2^1409745-1 is not prime. Res64: 8D59DC113FC5235A Time : 0.0 sec. user=mdettweiler [2015-09-20 03:40:49] 603*2^1409746-1 is not prime. Res64: 2B27AADDC73BC690 Time : 0.0 sec. user=mdettweiler [2015-09-20 03:40:50] 891*2^1409746-1 is not prime. Res64: 8EEC670D2FFD182E Time : 0.0 sec. user=mdettweiler [2015-09-20 03:58:24] 903*2^1409746-1 is not prime. Res64: 9165EB334A15E3AE Time : 0.0 sec. user=mdettweiler [2015-09-20 03:58:24] 945*2^1409746-1 is not prime. Res64: 1BAF031B13E09F72 Time : 0.0 sec. user=mdettweiler [2015-09-20 03:58:25] 1001*2^1409746-1 is not prime. Res64: F8D130A479333028 Time : 0.0 sec. user=mdettweiler [2015-09-20 03:58:25] 685*2^1409747-1 is not prime. Res64: 9EC87CE8AE8CF252 Time : 0.0 sec. user=mdettweiler [2015-09-20 03:58:27] 643*2^1409747-1 is not prime. Res64: EE89D93E7A4D59AA Time : 0.0 sec. user=mdettweiler [2015-09-20 03:58:28] 645*2^1409747-1 is not prime. Res64: F466ED3DF2A38B23 Time : 0.0 sec. user=mdettweiler [2015-09-20 04:15:57] 765*2^1409748-1 is not prime. Res64: DB30B06E3CDD9EF0 Time : 0.0 sec. user=mdettweiler [2015-09-20 04:15:57] 871*2^1409747-1 is not prime. Res64: 61D2190B203758A1 Time : 0.0 sec. user=mdettweiler [2015-09-20 04:15:57] 767*2^1409748-1 is not prime. Res64: 9B201A2F6B0EC976 Time : 0.0 sec. user=mdettweiler [2015-09-20 04:15:57] 963*2^1409747-1 is not prime. Res64: 287F838AF99A34D1 Time : 0.0 sec. user=mdettweiler [2015-09-20 04:15:58] 843*2^1409748-1 is not prime. Res64: 2D95A5065DD7D776 Time : 0.0 sec. user=mdettweiler [2015-09-20 04:15:59] 879*2^1409748-1 is not prime. Res64: 8BF7481D56114DCC Time : 0.0 sec. user=mdettweiler [2015-09-20 04:33:30] 825*2^1409749-1 is not prime. Res64: 215626A896337A54 Time : 0.0 sec. user=mdettweiler [2015-09-20 04:33:30] 877*2^1409749-1 is not prime. Res64: 48AC6B303C762E1C Time : 0.0 sec. user=mdettweiler [2015-09-20 04:33:30] 769*2^1409749-1 is not prime. Res64: 66A42B825750CB87 Time : 0.0 sec. user=mdettweiler [2015-09-20 04:33:31] 817*2^1409749-1 is not prime. Res64: 61BEA5ED957B5668 Time : 0.0 sec. user=mdettweiler [2015-09-20 04:33:32] 969*2^1409748-1 is not prime. Res64: 9C1B3CCD5BDA1C8C Time : 0.0 sec. user=mdettweiler [2015-09-20 04:33:32] 675*2^1409749-1 is not prime. Res64: 15A27929E8AEF9D6 Time : 0.0 sec. user=juhehe [2015-09-20 04:47:42] 887*2^1409748-1 is not prime. Res64: 09738D25E5681F77 Time : 0.0 sec. user=mdettweiler [2015-09-20 04:51:00] 741*2^1409750-1 is not prime. Res64: 3B07EC374B848609 Time : 0.0 sec. user=mdettweiler [2015-09-20 04:51:00] 945*2^1409749-1 is not prime. Res64: 2F0F740D75381A45 Time : 0.0 sec. user=mdettweiler [2015-09-20 04:51:01] 743*2^1409750-1 is not prime. Res64: CD0ED28A980EFA77 Time : 0.0 sec. user=mdettweiler [2015-09-20 04:51:01] 999*2^1409749-1 is not prime. Res64: 1E53E4C9030CE2D5 Time : 0.0 sec. user=mdettweiler [2015-09-20 04:51:02] 813*2^1409750-1 is not prime. Res64: A55FC8EA2FEDA1DB Time : 0.0 sec. user=mdettweiler [2015-09-20 04:51:02] 851*2^1409750-1 is not prime. Res64: 986B3204C24EA5D3 Time : 0.0 sec. user=mdettweiler [2015-09-20 05:08:24] 981*2^1409750-1 is not prime. Res64: 1D73447BFDDF0B80 Time : 0.0 sec. user=mdettweiler [2015-09-20 05:08:24] 887*2^1409750-1 is not prime. Res64: A4750EE3F0A33098 Time : 0.0 sec. user=mdettweiler [2015-09-20 05:08:25] 615*2^1409751-1 is not prime. Res64: 15F372255618195C Time : 0.0 sec. user=mdettweiler [2015-09-20 05:08:25] 917*2^1409750-1 is not prime. Res64: 1A5C1BAFF3855F39 Time : 0.0 sec. user=mdettweiler [2015-09-20 05:08:27] 649*2^1409751-1 is not prime. Res64: D1948980B9A485A0 Time : 0.0 sec. user=mdettweiler [2015-09-20 05:08:27] 709*2^1409751-1 is not prime. Res64: E913F62214935788 Time : 0.0 sec. user=mdettweiler [2015-09-20 05:25:56] 645*2^1409752-1 is not prime. Res64: 2342C51B65255BB0 Time : 0.0 sec. user=mdettweiler [2015-09-20 05:25:56] 747*2^1409752-1 is not prime. Res64: A782EB8492AC3275 Time : 0.0 sec. user=mdettweiler [2015-09-20 05:25:57] 793*2^1409751-1 is not prime. Res64: F286F099D07667A4 Time : 0.0 sec. user=mdettweiler [2015-09-20 05:25:57] 803*2^1409752-1 is not prime. Res64: 0DE43980743491BB Time : 0.0 sec. user=mdettweiler [2015-09-20 05:25:57] 921*2^1409751-1 is not prime. Res64: 915376BD5F76C99A Time : 0.0 sec. user=mdettweiler [2015-09-20 05:25:57] 855*2^1409752-1 is not prime. Res64: 0FF463632155CEA3 Time : 0.0 sec. user=mdettweiler [2015-09-20 05:43:21] 995*2^1409752-1 is not prime. Res64: 6CCE599737D4D453 Time : 0.0 sec. user=mdettweiler [2015-09-20 05:43:22] 651*2^1409753-1 is not prime. Res64: 40EA4CCEA606D699 Time : 0.0 sec. user=mdettweiler [2015-09-20 05:43:22] 975*2^1409752-1 is not prime. Res64: 2C233C62B60E10BE Time : 0.0 sec. user=mdettweiler [2015-09-20 05:43:22] 863*2^1409752-1 is not prime. Res64: 395BF99197218A41 Time : 0.0 sec. user=mdettweiler [2015-09-20 05:43:22] 983*2^1409752-1 is not prime. Res64: 1F7D9DA9D260764B Time : 0.0 sec. user=mdettweiler [2015-09-20 05:43:23] 897*2^1409752-1 is not prime. Res64: E20F26D47F7F6696 Time : 0.0 sec. user=mdettweiler [2015-09-20 06:00:46] 685*2^1409753-1 is not prime. Res64: 5CCE788490EDEFE1 Time : 0.0 sec. user=mdettweiler [2015-09-20 06:00:47] 829*2^1409753-1 is not prime. Res64: 825EAD3AFAEB4B71 Time : 0.0 sec. user=mdettweiler [2015-09-20 06:00:48] 889*2^1409753-1 is not prime. Res64: C89F7CAD0FC7A898 Time : 0.0 sec. user=mdettweiler [2015-09-20 06:00:48] 967*2^1409753-1 is not prime. Res64: 9F46C27950A7101A Time : 0.0 sec. user=mdettweiler [2015-09-20 06:00:49] 937*2^1409753-1 is not prime. Res64: 59703F8337047733 Time : 0.0 sec. user=mdettweiler [2015-09-20 06:00:49] 635*2^1409754-1 is not prime. Res64: 569EE05EEFE39C62 Time : 0.0 sec. user=mdettweiler [2015-09-20 06:18:20] 861*2^1409754-1 is not prime. Res64: E7864AC99DA129FF Time : 0.0 sec. user=mdettweiler [2015-09-20 06:18:20] 671*2^1409754-1 is not prime. Res64: 399C29F214B2C4BD Time : 0.0 sec. user=mdettweiler [2015-09-20 06:18:20] 755*2^1409754-1 is not prime. Res64: 1501536A82CDFE48 Time : 0.0 sec. user=mdettweiler [2015-09-20 06:18:21] 771*2^1409755-1 is not prime. Res64: 3484F0103DB6F80A Time : 0.0 sec. user=mdettweiler [2015-09-20 06:18:21] 783*2^1409754-1 is not prime. Res64: 60443F6453F3E255 Time : 0.0 sec. user=mdettweiler [2015-09-20 06:18:21] 821*2^1409754-1 is not prime. Res64: 66E4860A181D0B9C Time : 0.0 sec. user=mdettweiler [2015-09-20 06:35:53] 785*2^1409756-1 is not prime. Res64: 5AC33D2D64339AAE Time : 0.0 sec. user=mdettweiler [2015-09-20 06:35:53] 827*2^1409756-1 is not prime. Res64: 6D7574B4CDDB5C39 Time : 0.0 sec. user=mdettweiler [2015-09-20 06:35:53] 873*2^1409756-1 is not prime. Res64: B16D5C6BA43E0EE5 Time : 0.0 sec. user=mdettweiler [2015-09-20 06:35:54] 635*2^1409756-1 is not prime. Res64: 9B0F9F7AC9E8A1AE Time : 0.0 sec. user=mdettweiler [2015-09-20 06:35:54] 899*2^1409756-1 is not prime. Res64: 0324578B0ED91ABF Time : 0.0 sec. user=mdettweiler [2015-09-20 06:35:54] 743*2^1409756-1 is not prime. Res64: 61B08001FB551096 Time : 0.0 sec. user=juhehe [2015-09-20 06:42:38] 951*2^1409755-1 is not prime. Res64: 7A26AA09AF0A9330 Time : 0.0 sec. user=mdettweiler [2015-09-20 06:53:18] 625*2^1409757-1 is not prime. Res64: 85DAF78F1418AA44 Time : 0.0 sec. user=mdettweiler [2015-09-20 06:53:18] 963*2^1409756-1 is not prime. Res64: 0F70122C4AE2C68D Time : 0.0 sec. user=mdettweiler [2015-09-20 06:53:18] 805*2^1409757-1 is not prime. Res64: 4F00D84C12BDEC4F Time : 0.0 sec. user=mdettweiler [2015-09-20 06:53:18] 999*2^1409756-1 is not prime. Res64: 5617B6348974F738 Time : 0.0 sec. user=mdettweiler [2015-09-20 06:53:18] 847*2^1409757-1 is not prime. Res64: 98CFB4EC6CE2C4A9 Time : 0.0 sec. user=mdettweiler [2015-09-20 06:53:19] 657*2^1409758-1 is not prime. Res64: FE18B1BC7ECD4DE4 Time : 0.0 sec. user=mdettweiler [2015-09-20 07:10:43] 609*2^1409759-1 is not prime. Res64: D282E40550FEB285 Time : 0.0 sec. user=mdettweiler [2015-09-20 07:10:44] 775*2^1409759-1 is not prime. Res64: D8E0039AADFFC56F Time : 0.0 sec. user=mdettweiler [2015-09-20 07:10:44] 645*2^1409759-1 is not prime. Res64: 263A0AA477F209BE Time : 0.0 sec. user=mdettweiler [2015-09-20 07:10:44] 831*2^1409758-1 is not prime. Res64: 9684C34E9E629FA6 Time : 0.0 sec. user=mdettweiler [2015-09-20 07:10:44] 949*2^1409759-1 is not prime. Res64: 319F519E3F637F8F Time : 0.0 sec. user=mdettweiler [2015-09-20 07:10:44] 601*2^1409759-1 is not prime. Res64: D1D6F1CBF196C731 Time : 0.0 sec. user=mdettweiler [2015-09-20 07:28:13] 765*2^1409760-1 is not prime. Res64: DB4C39B6E1688A10 Time : 0.0 sec. user=mdettweiler [2015-09-20 07:28:13] 839*2^1409760-1 is not prime. Res64: AF31D8CF71890CC6 Time : 0.0 sec. user=mdettweiler [2015-09-20 07:28:14] 969*2^1409759-1 is not prime. Res64: 07A4192B2B8AEEB6 Time : 0.0 sec. user=mdettweiler [2015-09-20 07:28:14] 633*2^1409760-1 is not prime. Res64: D0D7F27279A80762 Time : 0.0 sec. user=mdettweiler [2015-09-20 07:28:17] 665*2^1409760-1 is not prime. Res64: CDE08FA571006ADA Time : 0.0 sec. user=mdettweiler [2015-09-20 07:28:17] 669*2^1409760-1 is not prime. Res64: 700AB0641197ED58 Time : 0.0 sec. user=mdettweiler [2015-09-20 07:45:38] 877*2^1409761-1 is not prime. Res64: C3F9564638552BFA Time : 0.0 sec. user=mdettweiler [2015-09-20 07:45:38] 967*2^1409761-1 is not prime. Res64: 21D5C2CBD1B7C582 Time : 0.0 sec. user=mdettweiler [2015-09-20 07:45:38] 937*2^1409761-1 is not prime. Res64: 2F896D3986F646EF Time : 0.0 sec. user=mdettweiler [2015-09-20 07:45:38] 735*2^1409762-1 is not prime. Res64: 654DB2D2385FF602 Time : 0.0 sec. user=mdettweiler [2015-09-20 07:45:42] 747*2^1409762-1 is not prime. Res64: BE8757837C51B847 Time : 0.0 sec. user=mdettweiler [2015-09-20 07:45:43] 831*2^1409762-1 is not prime. Res64: 0D33925A9504312A Time : 0.0 sec. user=mdettweiler [2015-09-20 08:03:05] 609*2^1409763-1 is not prime. Res64: 1AD2367110681970 Time : 0.0 sec. user=mdettweiler [2015-09-20 08:03:06] 963*2^1409762-1 is not prime. Res64: C5A942AFFC4E7830 Time : 0.0 sec. user=mdettweiler [2015-09-20 08:03:07] 741*2^1409763-1 is not prime. Res64: BC1283462BAA0300 Time : 0.0 sec. user=mdettweiler [2015-09-20 08:03:07] 1001*2^1409762-1 is not prime. Res64: F893E5B57CB7CAEB Time : 0.0 sec. user=mdettweiler [2015-09-20 08:03:10] 769*2^1409763-1 is not prime. Res64: 356F323BD42F7098 Time : 0.0 sec. user=mdettweiler [2015-09-20 08:03:11] 919*2^1409763-1 is not prime. Res64: 3615DBD4ADEC18C3 Time : 0.0 sec. user=mdettweiler [2015-09-20 08:20:32] 609*2^1409764-1 is not prime. Res64: C25B5BF3C744103F Time : 0.0 sec. user=mdettweiler [2015-09-20 08:20:33] 635*2^1409764-1 is not prime. Res64: 26D35963C3B4CA55 Time : 0.0 sec. user=mdettweiler [2015-09-20 08:20:33] 743*2^1409764-1 is not prime. Res64: F13A098F618354D8 Time : 0.0 sec. user=mdettweiler [2015-09-20 08:20:33] 857*2^1409764-1 is not prime. Res64: 27F4F535233D9EBF Time : 0.0 sec. user=mdettweiler [2015-09-20 08:20:35] 989*2^1409764-1 is not prime. Res64: 12765EE86EF8801B Time : 0.0 sec. user=mdettweiler [2015-09-20 08:20:36] 759*2^1409765-1 is not prime. Res64: C6955B8DDE12F046 Time : 0.0 sec. user=juhehe [2015-09-20 08:37:09] 945*2^1409763-1 is not prime. Res64: F25A8E00BAEEF148 Time : 0.0 sec. user=mdettweiler [2015-09-20 08:37:56] 867*2^1409765-1 is not prime. Res64: 9308B31A47A6DB04 Time : 0.0 sec. user=mdettweiler [2015-09-20 08:37:57] 907*2^1409765-1 is not prime. Res64: 241E87194551EF14 Time : 0.0 sec. user=mdettweiler [2015-09-20 08:37:57] 949*2^1409765-1 is not prime. Res64: 539532D0D33BE087 Time : 0.0 sec. user=mdettweiler [2015-09-20 08:37:57] 955*2^1409765-1 is not prime. Res64: 5A1FDDE5F83410B8 Time : 0.0 sec. user=mdettweiler [2015-09-20 08:37:58] 957*2^1409765-1 is not prime. Res64: 8315FC5523BE2FDD Time : 0.0 sec. user=mdettweiler [2015-09-20 08:37:58] 741*2^1409766-1 is not prime. Res64: 690CA276C622AB5F Time : 0.0 sec. user=mdettweiler [2015-09-20 08:55:21] 783*2^1409766-1 is not prime. Res64: 03311DCDDF377826 Time : 0.0 sec. user=mdettweiler [2015-09-20 08:55:21] 941*2^1409766-1 is not prime. Res64: 32DA341F9A84589A Time : 0.0 sec. user=mdettweiler [2015-09-20 08:55:21] 815*2^1409766-1 is not prime. Res64: 6E43BF0453868A3C Time : 0.0 sec. user=mdettweiler [2015-09-20 08:55:21] 793*2^1409767-1 is not prime. Res64: 5C2477E91B5A6B62 Time : 0.0 sec. user=mdettweiler [2015-09-20 08:55:23] 615*2^1409768-1 is not prime. Res64: 211BBAD2D215BABB Time : 0.0 sec. user=mdettweiler [2015-09-20 08:55:23] 623*2^1409768-1 is not prime. Res64: 7FB7199FE81B49BF Time : 0.0 sec. user=mdettweiler [2015-09-20 09:12:45] 657*2^1409768-1 is not prime. Res64: DBAB5FB9B475F867 Time : 0.0 sec. user=mdettweiler [2015-09-20 09:12:46] 713*2^1409768-1 is not prime. Res64: 0A1B5372F4882C9C Time : 0.0 sec. user=mdettweiler [2015-09-20 09:12:46] 743*2^1409768-1 is not prime. Res64: 2C05E5681510320F Time : 0.0 sec. user=mdettweiler [2015-09-20 09:12:47] 893*2^1409768-1 is not prime. Res64: 1D1A59B282449888 Time : 0.0 sec. user=mdettweiler [2015-09-20 09:12:48] 899*2^1409768-1 is not prime. Res64: C9CA9418DEC70D06 Time : 0.0 sec. user=mdettweiler [2015-09-20 09:12:48] 959*2^1409768-1 is not prime. Res64: 2F130FB2576283E9 Time : 0.0 sec. user=mdettweiler [2015-09-20 09:30:09] 639*2^1409769-1 is not prime. Res64: 9A6F5CF517B66B7A Time : 0.0 sec. user=mdettweiler [2015-09-20 09:30:09] 795*2^1409769-1 is not prime. Res64: 11D1DD70D4041DD0 Time : 0.0 sec. user=mdettweiler [2015-09-20 09:30:09] 811*2^1409769-1 is not prime. Res64: 5D55C16AADFC6D06 Time : 0.0 sec. user=mdettweiler [2015-09-20 09:30:10] 951*2^1409769-1 is not prime. Res64: FEC2145C706E9908 Time : 0.0 sec. user=mdettweiler [2015-09-20 09:30:11] 999*2^1409769-1 is not prime. Res64: CDB61516E8B01953 Time : 0.0 sec. user=mdettweiler [2015-09-20 09:30:11] 665*2^1409770-1 is not prime. Res64: 9E68B397F7E703D3 Time : 0.0 sec. user=mdettweiler [2015-09-20 09:47:33] 713*2^1409770-1 is not prime. Res64: 245CA7F5A871319F Time : 0.0 sec. user=mdettweiler [2015-09-20 09:47:34] 723*2^1409770-1 is not prime. Res64: 5039CA8EFBF114CD Time : 0.0 sec. user=mdettweiler [2015-09-20 09:47:34] 677*2^1409770-1 is not prime. Res64: B368931EE5A3CAC9 Time : 0.0 sec. user=mdettweiler [2015-09-20 09:47:34] 707*2^1409770-1 is not prime. Res64: 62CE4661FEAD96E0 Time : 0.0 sec. user=mdettweiler [2015-09-20 09:47:37] 747*2^1409770-1 is not prime. Res64: F71F223A227D8AB7 Time : 0.0 sec. user=mdettweiler [2015-09-20 09:47:38] 755*2^1409770-1 is not prime. Res64: 82C328A9EB20D052 Time : 0.0 sec. user=mdettweiler [2015-09-20 10:04:59] 765*2^1409770-1 is not prime. Res64: D9C5FEF2A99E0E18 Time : 0.0 sec. user=mdettweiler [2015-09-20 10:04:59] 813*2^1409770-1 is not prime. Res64: EA4EB133BDEC04A5 Time : 0.0 sec. user=mdettweiler [2015-09-20 10:05:01] 791*2^1409770-1 is not prime. Res64: A3A9508567F46DB0 Time : 0.0 sec. user=mdettweiler [2015-09-20 10:05:02] 857*2^1409770-1 is not prime. Res64: 026AEE93977CD12D Time : 0.0 sec. user=mdettweiler [2015-09-20 10:05:04] 933*2^1409770-1 is not prime. Res64: 5739971E77E008E5 Time : 0.0 sec. user=mdettweiler [2015-09-20 10:05:05] 971*2^1409770-1 is not prime. Res64: D38DEF66C4D999D9 Time : 0.0 sec. user=mdettweiler [2015-09-20 10:22:54] 621*2^1409771-1 is not prime. Res64: 06116F1E557C560E Time : 0.0 sec. user=mdettweiler [2015-09-20 10:22:55] 673*2^1409771-1 is not prime. Res64: 8F82EA772CCE9CB4 Time : 0.0 sec. user=mdettweiler [2015-09-20 10:22:56] 811*2^1409771-1 is not prime. Res64: 3FFBA9FBC55705E4 Time : 0.0 sec. user=mdettweiler [2015-09-20 10:22:56] 635*2^1409772-1 is not prime. Res64: 46443DF4BF8E2193 Time : 0.0 sec. user=mdettweiler [2015-09-20 10:22:57] 643*2^1409771-1 is not prime. Res64: DDD6BAF6B0C6E275 Time : 0.0 sec. user=mdettweiler [2015-09-20 10:22:58] 665*2^1409772-1 is not prime. Res64: 74386E11BAA796B5 Time : 0.0 sec. user=juhehe [2015-09-20 10:31:33] 619*2^1409771-1 is not prime. Res64: 19110560DABB09DD Time : 0.0 sec. user=mdettweiler [2015-09-20 10:40:18] 695*2^1409772-1 is not prime. Res64: DC996F439D3606C3 Time : 0.0 sec. user=mdettweiler [2015-09-20 10:40:18] 875*2^1409772-1 is not prime. Res64: C436278D73714E0C Time : 0.0 sec. user=mdettweiler [2015-09-20 10:40:19] 837*2^1409772-1 is not prime. Res64: 3952F4C241482C28 Time : 0.0 sec. user=mdettweiler [2015-09-20 10:40:19] 879*2^1409772-1 is not prime. Res64: DCC06F1D60492F9F Time : 0.0 sec. user=mdettweiler [2015-09-20 10:40:21] 899*2^1409772-1 is not prime. Res64: 71B0DD6742D53746 Time : 0.0 sec. user=mdettweiler [2015-09-20 10:40:21] 965*2^1409772-1 is not prime. Res64: 667D7A31E7FC4008 Time : 0.0 sec. user=mdettweiler [2015-09-20 10:57:42] 687*2^1409773-1 is not prime. Res64: 1C77542C3D174070 Time : 0.0 sec. user=mdettweiler [2015-09-20 10:57:43] 721*2^1409773-1 is not prime. Res64: 41304B23655E2ACB Time : 0.0 sec. user=mdettweiler [2015-09-20 10:57:44] 729*2^1409773-1 is not prime. Res64: 042E249BC5531992 Time : 0.0 sec. user=mdettweiler [2015-09-20 10:57:44] 859*2^1409773-1 is not prime. Res64: 6795E5DA21FDDB42 Time : 0.0 sec. user=mdettweiler [2015-09-20 10:57:45] 817*2^1409773-1 is not prime. Res64: D7E8160F42866E52 Time : 0.0 sec. user=mdettweiler [2015-09-20 10:57:45] 937*2^1409773-1 is not prime. Res64: 422E1FBE83732706 Time : 0.0 sec. user=mdettweiler [2015-09-20 11:15:09] 615*2^1409774-1 is not prime. Res64: 73DF5D79B867FB9D Time : 0.0 sec. user=mdettweiler [2015-09-20 11:15:09] 753*2^1409774-1 is not prime. Res64: A521F3CD8966DD77 Time : 0.0 sec. user=mdettweiler [2015-09-20 11:15:09] 675*2^1409774-1 is not prime. Res64: B69DB64147B6AD37 Time : 0.0 sec. user=mdettweiler [2015-09-20 11:15:10] 755*2^1409774-1 is not prime. Res64: B85ED71B1D4D3996 Time : 0.0 sec. user=mdettweiler [2015-09-20 11:15:15] 939*2^1409773-1 is not prime. Res64: FEE911CAA587AC5C Time : 0.0 sec. user=mdettweiler [2015-09-20 11:15:15] 999*2^1409773-1 is not prime. Res64: EA6559F0447249F3 Time : 0.0 sec. user=mdettweiler [2015-09-20 11:32:33] 783*2^1409775-1 is not prime. Res64: F978E5A548F09FC8 Time : 0.0 sec. user=mdettweiler [2015-09-20 11:32:33] 853*2^1409775-1 is not prime. Res64: 6B85FB09B5F7A8DF Time : 0.0 sec. user=mdettweiler [2015-09-20 11:32:33] 805*2^1409775-1 is not prime. Res64: 26CAB831B189EDEA Time : 0.0 sec. user=mdettweiler [2015-09-20 11:32:33] 985*2^1409775-1 is not prime. Res64: 070FE4D5A96DC971 Time : 0.0 sec. user=mdettweiler [2015-09-20 11:32:38] 623*2^1409776-1 is not prime. Res64: B289A298CC46C749 Time : 0.0 sec. user=mdettweiler [2015-09-20 11:32:39] 785*2^1409776-1 is not prime. Res64: C41A9159587A7405 Time : 0.0 sec. user=juhehe [2015-09-20 11:47:38] 643*2^1409775-1 is not prime. Res64: 55BDF8F474C07C80 Time : 0.0 sec. user=mdettweiler [2015-09-20 11:49:58] 645*2^1409777-1 is not prime. Res64: 40AFBC6C730563A5 Time : 0.0 sec. user=mdettweiler [2015-09-20 11:49:58] 777*2^1409777-1 is not prime. Res64: 9CD74A6565D8BE9E Time : 0.0 sec. user=mdettweiler [2015-09-20 11:50:00] 999*2^1409776-1 is not prime. Res64: E283E65415EE89EC Time : 0.0 sec. user=mdettweiler [2015-09-20 11:50:00] 631*2^1409777-1 is not prime. Res64: F4290D8693776775 Time : 0.0 sec. user=mdettweiler [2015-09-20 11:50:04] 801*2^1409777-1 is not prime. Res64: AA3D89811409DA4A Time : 0.0 sec. user=mdettweiler [2015-09-20 11:50:04] 981*2^1409777-1 is not prime. Res64: 577F9B8FA2A8D8B0 Time : 0.0 sec. user=mdettweiler [2015-09-20 12:07:21] 657*2^1409778-1 is not prime. Res64: 95476691F80583F7 Time : 0.0 sec. user=mdettweiler [2015-09-20 12:07:22] 681*2^1409778-1 is not prime. Res64: 780F7ECE30E519C9 Time : 0.0 sec. user=mdettweiler [2015-09-20 12:07:23] 803*2^1409778-1 is not prime. Res64: 07A9F253741FF284 Time : 0.0 sec. user=mdettweiler [2015-09-20 12:07:24] 881*2^1409778-1 is not prime. Res64: 1384C4FF76985367 Time : 0.0 sec. user=mdettweiler [2015-09-20 12:07:28] 893*2^1409778-1 is not prime. Res64: 415AACCECD5A7D4F Time : 0.0 sec. user=mdettweiler [2015-09-20 12:07:28] 905*2^1409778-1 is not prime. Res64: AA5EBACA780F1C79 Time : 0.0 sec. user=mdettweiler [2015-09-20 12:25:05] 971*2^1409778-1 is not prime. Res64: EC38F6BD740E2A87 Time : 0.0 sec. user=mdettweiler [2015-09-20 12:25:05] 619*2^1409779-1 is not prime. Res64: 5F538964FA2CF563 Time : 0.0 sec. user=mdettweiler [2015-09-20 12:25:05] 645*2^1409779-1 is not prime. Res64: FACF2144C0827D21 Time : 0.0 sec. user=mdettweiler [2015-09-20 12:25:05] 615*2^1409779-1 is not prime. Res64: E8E030F337C61ABF Time : 0.0 sec. user=mdettweiler [2015-09-20 12:25:06] 765*2^1409779-1 is not prime. Res64: DDB81E49E1EAECD4 Time : 0.0 sec. user=mdettweiler [2015-09-20 12:25:06] 909*2^1409779-1 is not prime. Res64: 7C3E69934FE7ACC3 Time : 0.0 sec. user=mdettweiler [2015-09-20 12:43:13] 633*2^1409780-1 is not prime. Res64: 688BE0A7E5AA35EF Time : 0.0 sec. user=mdettweiler [2015-09-20 12:43:13] 635*2^1409780-1 is not prime. Res64: AFD16A166AA6AB71 Time : 0.0 sec. user=mdettweiler [2015-09-20 12:43:14] 647*2^1409780-1 is not prime. Res64: 4A18F5BECD3A76A2 Time : 0.0 sec. user=mdettweiler [2015-09-20 12:43:14] 995*2^1409780-1 is not prime. Res64: B145980D4C4AFE73 Time : 0.0 sec. user=mdettweiler [2015-09-20 12:43:14] 875*2^1409780-1 is not prime. Res64: BDA1ECBC1D5634F3 Time : 0.0 sec. user=mdettweiler [2015-09-20 12:43:14] 657*2^1409781-1 is not prime. Res64: 0AA0719FA9665323 Time : 0.0 sec. user=mdettweiler [2015-09-20 13:00:56] 727*2^1409781-1 is not prime. Res64: 3FD09B4F2FB5B424 Time : 0.0 sec. user=mdettweiler [2015-09-20 13:00:57] 735*2^1409781-1 is not prime. Res64: 9A6956C942DD5F34 Time : 0.0 sec. user=mdettweiler [2015-09-20 13:00:58] 741*2^1409781-1 is not prime. Res64: 744D0B412AE7D86F Time : 0.0 sec. user=mdettweiler [2015-09-20 13:00:59] 871*2^1409781-1 is not prime. Res64: 99D9E370E536FA83 Time : 0.0 sec. user=mdettweiler [2015-09-20 13:00:59] 679*2^1409781-1 is not prime. Res64: 35F836AA0E3AAA7B Time : 0.0 sec. user=mdettweiler [2015-09-20 13:01:01] 709*2^1409781-1 is not prime. Res64: B7E64ED5641C30AB Time : 0.0 sec. user=mdettweiler [2015-09-20 13:18:58] 877*2^1409781-1 is not prime. Res64: 5FE4559E0A415DA0 Time : 0.0 sec. user=mdettweiler [2015-09-20 13:18:59] 937*2^1409781-1 is not prime. Res64: 492ACAA2C2614431 Time : 0.0 sec. user=mdettweiler [2015-09-20 13:19:01] 969*2^1409781-1 is not prime. Res64: 60744302BF611FEF Time : 0.0 sec. user=mdettweiler [2015-09-20 13:19:01] 997*2^1409781-1 is not prime. Res64: BF363B0778C9B253 Time : 0.0 sec. user=mdettweiler [2015-09-20 13:19:02] 987*2^1409781-1 is not prime. Res64: 96FA1659C6FDE3E0 Time : 0.0 sec. user=mdettweiler [2015-09-20 13:19:02] 603*2^1409782-1 is not prime. Res64: FF6E2CB067AA5B23 Time : 0.0 sec. user=mdettweiler [2015-09-20 13:37:16] 635*2^1409782-1 is not prime. Res64: FB059D7FA9E06AA5 Time : 0.0 sec. user=mdettweiler [2015-09-20 13:37:17] 677*2^1409782-1 is not prime. Res64: 75CE7A578F7075B9 Time : 0.0 sec. user=mdettweiler [2015-09-20 13:37:17] 821*2^1409782-1 is not prime. Res64: A0B2296E24F127FB Time : 0.0 sec. user=mdettweiler [2015-09-20 13:37:18] 831*2^1409782-1 is not prime. Res64: A896ED429BF869EE Time : 0.0 sec. user=mdettweiler [2015-09-20 13:37:20] 741*2^1409782-1 is not prime. Res64: 77476164B2ABEE77 Time : 0.0 sec. user=mdettweiler [2015-09-20 13:37:20] 815*2^1409782-1 is not prime. Res64: C87A249B21E88D13 Time : 0.0 sec. user=juhehe [2015-09-20 13:41:53] 617*2^1409782-1 is not prime. Res64: EA89F4C066B27A40 Time : 0.0 sec. user=mdettweiler [2015-09-20 13:55:54] 855*2^1409783-1 is not prime. Res64: C2F606F23197D3F5 Time : 0.0 sec. user=mdettweiler [2015-09-20 13:55:54] 945*2^1409782-1 is not prime. Res64: 12BD488BAFB6EC45 Time : 0.0 sec. user=mdettweiler [2015-09-20 13:55:54] 939*2^1409783-1 is not prime. Res64: CE1029A1E4E06620 Time : 0.0 sec. user=mdettweiler [2015-09-20 13:55:54] 965*2^1409782-1 is not prime. Res64: 37FB3AF22B13FC3B Time : 0.0 sec. user=mdettweiler [2015-09-20 13:55:55] 661*2^1409783-1 is not prime. Res64: A9852447CD35E7B1 Time : 0.0 sec. user=mdettweiler [2015-09-20 13:55:56] 703*2^1409783-1 is not prime. Res64: F379A6E09799E9B9 Time : 0.0 sec. user=mdettweiler [2015-09-20 14:13:25] 981*2^1409783-1 is not prime. Res64: 5BD28F526402E787 Time : 0.0 sec. user=mdettweiler [2015-09-20 14:13:25] 609*2^1409784-1 is not prime. Res64: C78D15DED0CB5726 Time : 0.0 sec. user=mdettweiler [2015-09-20 14:13:26] 985*2^1409783-1 is not prime. Res64: CD6D59623094CEDD Time : 0.0 sec. user=mdettweiler [2015-09-20 14:13:26] 683*2^1409784-1 is not prime. Res64: 1C14AAA293D515D9 Time : 0.0 sec. user=mdettweiler [2015-09-20 14:13:26] 747*2^1409784-1 is not prime. Res64: 9A253CC706C51AC2 Time : 0.0 sec. user=mdettweiler [2015-09-20 14:13:27] 873*2^1409784-1 is not prime. Res64: 2F69F94F560388DE Time : 0.0 sec. user=mdettweiler [2015-09-20 14:30:58] 939*2^1409785-1 is not prime. Res64: 0B1E03AFAAA2944F Time : 0.0 sec. user=mdettweiler [2015-09-20 14:30:58] 625*2^1409785-1 is not prime. Res64: A73E71C4FF3D723B Time : 0.0 sec. user=mdettweiler [2015-09-20 14:30:58] 759*2^1409785-1 is not prime. Res64: 26F2B53D9A7CFD68 Time : 0.0 sec. user=mdettweiler [2015-09-20 14:30:59] 641*2^1409786-1 is not prime. Res64: AC9D12A8D8651D0D Time : 0.0 sec. user=mdettweiler [2015-09-20 14:30:59] 861*2^1409785-1 is not prime. Res64: 0CEB90810B0CB3A5 Time : 0.0 sec. user=mdettweiler [2015-09-20 14:30:59] 675*2^1409785-1 is not prime. Res64: E3FCEDB45F78C864 Time : 0.0 sec. user=mdettweiler [2015-09-20 14:48:28] 671*2^1409786-1 is not prime. Res64: 27394AB1C8DF2AE3 Time : 0.0 sec. user=mdettweiler [2015-09-20 14:48:28] 747*2^1409786-1 is not prime. Res64: 313F8A7337C48855 Time : 0.0 sec. user=mdettweiler [2015-09-20 14:48:31] 755*2^1409786-1 is not prime. Res64: 6B757FF55DAEA92E Time : 0.0 sec. user=mdettweiler [2015-09-20 14:48:31] 827*2^1409786-1 is not prime. Res64: D6BE323F5F2515D7 Time : 0.0 sec. user=mdettweiler [2015-09-20 14:48:31] 953*2^1409786-1 is not prime. Res64: EBEF10E2E840CADB Time : 0.0 sec. user=mdettweiler [2015-09-20 14:48:32] 957*2^1409786-1 is not prime. Res64: 2BC2D7ECA8FD799C Time : 0.0 sec. user=mdettweiler [2015-09-20 15:06:00] 609*2^1409787-1 is not prime. Res64: 63C222042CF8FD2C Time : 0.0 sec. user=mdettweiler [2015-09-20 15:06:00] 805*2^1409787-1 is not prime. Res64: 453A62D1119958B6 Time : 0.0 sec. user=mdettweiler [2015-09-20 15:06:01] 825*2^1409787-1 is not prime. Res64: 611A37457D5D8D48 Time : 0.0 sec. user=mdettweiler [2015-09-20 15:06:02] 901*2^1409787-1 is not prime. Res64: 24BFCDA589A43ED0 Time : 0.0 sec. user=mdettweiler [2015-09-20 15:06:02] 945*2^1409787-1 is not prime. Res64: 37AF4B7BF7A6CE50 Time : 0.0 sec. user=mdettweiler [2015-09-20 15:06:03] 639*2^1409788-1 is not prime. Res64: 4ECA4A7115404397 Time : 0.0 sec. user=mdettweiler [2015-09-20 15:23:30] 855*2^1409788-1 is not prime. Res64: 0FCACC8F37DA3B96 Time : 0.0 sec. user=mdettweiler [2015-09-20 15:23:30] 811*2^1409789-1 is not prime. Res64: 52494BAB0D62BC90 Time : 0.0 sec. user=mdettweiler [2015-09-20 15:23:32] 837*2^1409789-1 is not prime. Res64: DC5A8B278041BFFA Time : 0.0 sec. user=mdettweiler [2015-09-20 15:23:32] 861*2^1409789-1 is not prime. Res64: 8CE43905D2AFF241 Time : 0.0 sec. user=mdettweiler [2015-09-20 15:23:34] 885*2^1409789-1 is not prime. Res64: 515B3934D0BB544B Time : 0.0 sec. user=mdettweiler [2015-09-20 15:23:34] 927*2^1409789-1 is not prime. Res64: 92A3DB1EDE5D08AE Time : 0.0 sec. user=juhehe [2015-09-20 15:35:28] 743*2^1409788-1 is not prime. Res64: 677C12E84F8E1C41 Time : 0.0 sec. user=mdettweiler [2015-09-20 15:41:04] 939*2^1409789-1 is not prime. Res64: 97F76B7C41E8512F Time : 0.0 sec. user=mdettweiler [2015-09-20 15:41:04] 955*2^1409789-1 is not prime. Res64: F644E28BA14F1C5A Time : 0.0 sec. user=mdettweiler [2015-09-20 15:41:05] 967*2^1409789-1 is not prime. Res64: 9912944C2B34026D Time : 0.0 sec. user=mdettweiler [2015-09-20 15:41:05] 985*2^1409789-1 is not prime. Res64: 4E601B23C52DE06F Time : 0.0 sec. user=mdettweiler [2015-09-20 15:41:07] 657*2^1409790-1 is not prime. Res64: 4343334DFB14CE52 Time : 0.0 sec. user=mdettweiler [2015-09-20 15:41:07] 717*2^1409790-1 is not prime. Res64: A94CCDE1F5BDAA1B Time : 0.0 sec. user=mdettweiler [2015-09-20 15:58:40] 741*2^1409790-1 is not prime. Res64: 83B09C6AB0A37458 Time : 0.0 sec. user=mdettweiler [2015-09-20 15:58:40] 927*2^1409790-1 is not prime. Res64: 0838ABBCD749263D Time : 0.0 sec. user=mdettweiler [2015-09-20 15:58:40] 601*2^1409791-1 is not prime. Res64: 121911E29B994438 Time : 0.0 sec. user=mdettweiler [2015-09-20 15:58:40] 645*2^1409791-1 is not prime. Res64: A9F41F90E938B5C0 Time : 0.0 sec. user=mdettweiler [2015-09-20 15:58:44] 675*2^1409791-1 is not prime. Res64: 3D9946B988C1CD32 Time : 0.0 sec. user=mdettweiler [2015-09-20 15:58:44] 771*2^1409791-1 is not prime. Res64: ECE3496AB26B10B1 Time : 0.0 sec. user=mdettweiler [2015-09-20 16:16:15] 789*2^1409791-1 is not prime. Res64: 7D8CA3B556881B67 Time : 0.0 sec. user=mdettweiler [2015-09-20 16:16:15] 873*2^1409791-1 is not prime. Res64: A02FE1CAFD56BCA1 Time : 0.0 sec. user=mdettweiler [2015-09-20 16:16:17] 687*2^1409792-1 is not prime. Res64: FC0984ED71402779 Time : 0.0 sec. user=mdettweiler [2015-09-20 16:16:18] 717*2^1409792-1 is not prime. Res64: 1C553F526F36A27F Time : 0.0 sec. user=mdettweiler [2015-09-20 16:16:20] 933*2^1409791-1 is not prime. Res64: EC85584AD02B9A86 Time : 0.0 sec. user=mdettweiler [2015-09-20 16:16:21] 979*2^1409791-1 is not prime. Res64: D5883DA20A9CE45F Time : 0.0 sec. user=mdettweiler [2015-09-20 16:33:50] 797*2^1409792-1 is not prime. Res64: 1B49A85FA7214D0C Time : 0.0 sec. user=mdettweiler [2015-09-20 16:33:50] 825*2^1409792-1 is not prime. Res64: BA8F6FD98962D9B6 Time : 0.0 sec. user=mdettweiler [2015-09-20 16:33:51] 827*2^1409792-1 is not prime. Res64: 781760F203863747 Time : 0.0 sec. user=mdettweiler [2015-09-20 16:33:51] 879*2^1409792-1 is not prime. Res64: E8E0075D5555FAB3 Time : 0.0 sec. user=mdettweiler [2015-09-20 16:33:52] 983*2^1409792-1 is not prime. Res64: 2B76E22AD7DECD43 Time : 0.0 sec. user=mdettweiler [2015-09-20 16:33:52] 705*2^1409793-1 is not prime. Res64: BD66E5E3FAB37C00 Time : 0.0 sec. user=mdettweiler [2015-09-20 16:51:26] 721*2^1409793-1 is not prime. Res64: AE504C3D9EA1A1C3 Time : 0.0 sec. user=mdettweiler [2015-09-20 16:51:26] 741*2^1409793-1 is not prime. Res64: CC9F2703B1E6BD6C Time : 0.0 sec. user=mdettweiler [2015-09-20 16:51:26] 759*2^1409793-1 is not prime. Res64: 1BB3E3E90E0CC638 Time : 0.0 sec. user=mdettweiler [2015-09-20 16:51:27] 765*2^1409793-1 is not prime. Res64: 7C12C7B13286F252 Time : 0.0 sec. user=mdettweiler [2015-09-20 16:51:31] 895*2^1409793-1 is not prime. Res64: 7053709BD235E743 Time : 0.0 sec. user=mdettweiler [2015-09-20 16:51:31] 621*2^1409794-1 is not prime. Res64: 5F92CCAA4CBCA6D8 Time : 0.0 sec. user=mdettweiler [2015-09-20 17:09:03] 815*2^1409794-1 is not prime. Res64: 6F0A2A46A4EA9C89 Time : 0.0 sec. user=mdettweiler [2015-09-20 17:09:03] 915*2^1409794-1 is not prime. Res64: E6802A03498AC295 Time : 0.0 sec. user=mdettweiler [2015-09-20 17:09:05] 681*2^1409794-1 is not prime. Res64: EC99A3BAFC480EBD Time : 0.0 sec. user=mdettweiler [2015-09-20 17:09:05] 737*2^1409794-1 is not prime. Res64: 3DDEA8E111716257 Time : 0.0 sec. user=mdettweiler [2015-09-20 17:09:09] 941*2^1409794-1 is not prime. Res64: A7EACA4DA8E55A02 Time : 0.0 sec. user=mdettweiler [2015-09-20 17:09:09] 645*2^1409795-1 is not prime. Res64: B07EB036B4BEE603 Time : 0.0 sec. user=mdettweiler [2015-09-20 17:26:41] 801*2^1409795-1 is not prime. Res64: DBB5046EE83FE753 Time : 0.0 sec. user=mdettweiler [2015-09-20 17:26:42] 843*2^1409795-1 is not prime. Res64: CD13A9231AA14F1D Time : 0.0 sec. user=mdettweiler [2015-09-20 17:26:42] 885*2^1409795-1 is not prime. Res64: CCC5CD2928CEB90A Time : 0.0 sec. user=mdettweiler [2015-09-20 17:26:42] 889*2^1409795-1 is not prime. Res64: 23D4321D74A7D937 Time : 0.0 sec. user=mdettweiler [2015-09-20 17:26:43] 915*2^1409795-1 is not prime. Res64: 50D9B491A7374920 Time : 0.0 sec. user=mdettweiler [2015-09-20 17:26:43] 985*2^1409795-1 is not prime. Res64: 61548D6E6B85B81C Time : 0.0 sec. user=mdettweiler [2015-09-20 17:44:21] 729*2^1409797-1 is not prime. Res64: 50B2EF6393052B47 Time : 0.0 sec. user=mdettweiler [2015-09-20 17:44:21] 987*2^1409796-1 is not prime. Res64: 7D3BF5B659143151 Time : 0.0 sec. user=mdettweiler [2015-09-20 17:44:22] 775*2^1409797-1 is not prime. Res64: FBD83BAEE90087A6 Time : 0.0 sec. user=mdettweiler [2015-09-20 17:44:22] 651*2^1409797-1 is not prime. Res64: 239808A703763431 Time : 0.0 sec. user=mdettweiler [2015-09-20 17:44:23] 909*2^1409796-1 is not prime. Res64: EFAD4E2CCAAE0510 Time : 0.0 sec. user=mdettweiler [2015-09-20 17:44:23] 945*2^1409796-1 is not prime. Res64: 7CE03C2C2CB7D294 Time : 0.0 sec. user=mdettweiler [2015-09-20 18:02:02] 831*2^1409797-1 is not prime. Res64: BC55192DFF93B11B Time : 0.0 sec. user=mdettweiler [2015-09-20 18:02:03] 835*2^1409797-1 is not prime. Res64: B79B24209CEFA31E Time : 0.0 sec. user=mdettweiler [2015-09-20 18:02:03] 867*2^1409797-1 is not prime. Res64: 48DB2E26C2BBA8AD Time : 0.0 sec. user=mdettweiler [2015-09-20 18:02:04] 961*2^1409797-1 is not prime. Res64: 3C3FC68BA00F1296 Time : 0.0 sec. user=mdettweiler [2015-09-20 18:02:04] 915*2^1409797-1 is not prime. Res64: B752B4E5A6F5AD63 Time : 0.0 sec. user=mdettweiler [2015-09-20 18:02:05] 975*2^1409797-1 is not prime. Res64: D138034F0742BB8B Time : 0.0 sec. user=juhehe [2015-09-20 18:04:49] 801*2^1409797-1 is not prime. Res64: 2BE25B7A70CC32C8 Time : 0.0 sec. user=mdettweiler [2015-09-20 18:19:49] 617*2^1409798-1 is not prime. Res64: F56E2F7D32B82594 Time : 0.0 sec. user=mdettweiler [2015-09-20 18:19:50] 791*2^1409798-1 is not prime. Res64: 8FF17F90EDBE2781 Time : 0.0 sec. user=mdettweiler [2015-09-20 18:19:50] 771*2^1409798-1 is not prime. Res64: A1E5EDB5DC1B29D4 Time : 0.0 sec. user=mdettweiler [2015-09-20 18:19:50] 971*2^1409798-1 is not prime. Res64: 1842AE96F7C13DDD Time : 0.0 sec. user=mdettweiler [2015-09-20 18:19:50] 875*2^1409798-1 is not prime. Res64: CF016078FAC58438 Time : 0.0 sec. user=mdettweiler [2015-09-20 18:19:51] 621*2^1409799-1 is not prime. Res64: 7E14DC8790D10827 Time : 0.0 sec. user=mdettweiler [2015-09-20 18:37:20] 605*2^1409800-1 is not prime. Res64: 39AA0C6618A984FB Time : 0.0 sec. user=mdettweiler [2015-09-20 18:37:20] 679*2^1409799-1 is not prime. Res64: 432506C6A97F4353 Time : 0.0 sec. user=mdettweiler [2015-09-20 18:37:20] 741*2^1409799-1 is not prime. Res64: 1E1D5C62681F6C39 Time : 0.0 sec. user=mdettweiler [2015-09-20 18:37:21] 979*2^1409799-1 is not prime. Res64: CD2EB71FA836CE2C Time : 0.0 sec. user=mdettweiler [2015-09-20 18:37:21] 645*2^1409800-1 is not prime. Res64: C8A44D222C05ECDE Time : 0.0 sec. user=mdettweiler [2015-09-20 18:37:21] 691*2^1409799-1 is not prime. Res64: ADB41F870FCBCED8 Time : 0.0 sec. user=mdettweiler [2015-09-20 18:54:50] 745*2^1409801-1 is not prime. Res64: 4D2D19046831DA3A Time : 0.0 sec. user=mdettweiler [2015-09-20 18:54:50] 781*2^1409801-1 is not prime. Res64: B60D054357783DED Time : 0.0 sec. user=mdettweiler [2015-09-20 18:54:51] 723*2^1409800-1 is not prime. Res64: FCBC105A86E15E37 Time : 0.0 sec. user=mdettweiler [2015-09-20 18:54:51] 965*2^1409800-1 is not prime. Res64: E487FE6AB4C9B4A7 Time : 0.0 sec. user=mdettweiler [2015-09-20 18:54:51] 873*2^1409800-1 is not prime. Res64: 42CA71DA25E42470 Time : 0.0 sec. user=mdettweiler [2015-09-20 18:54:51] 727*2^1409801-1 is not prime. Res64: 222D8C58B954D037 Time : 0.0 sec. user=juhehe [2015-09-20 19:06:21] 687*2^1409800-1 is not prime. Res64: 1DDA8C7530521648 Time : 0.0 sec. user=mdettweiler [2015-09-20 19:12:26] 893*2^1409802-1 is not prime. Res64: 21AEA3E91A685D82 Time : 0.0 sec. user=mdettweiler [2015-09-20 19:12:26] 751*2^1409803-1 is not prime. Res64: 6EFBECC15CF832FE Time : 0.0 sec. user=mdettweiler [2015-09-20 19:12:26] 915*2^1409802-1 is not prime. Res64: 6AEE0D584F0023C8 Time : 0.0 sec. user=mdettweiler [2015-09-20 19:12:27] 819*2^1409803-1 is not prime. Res64: 90DE8A99AAB1E7F1 Time : 0.0 sec. user=mdettweiler [2015-09-20 19:12:27] 615*2^1409803-1 is not prime. Res64: 33E21AE22F438EB2 Time : 0.0 sec. user=mdettweiler [2015-09-20 19:12:28] 663*2^1409803-1 is not prime. Res64: 06A046D7F916A111 Time : 0.0 sec. user=juhehe [2015-09-20 19:20:50] 981*2^1409801-1 is not prime. Res64: B81AD9D0D9D904B2 Time : 0.0 sec. user=mdettweiler [2015-09-20 19:30:08] 885*2^1409803-1 is not prime. Res64: A84106A198B52151 Time : 0.0 sec. user=mdettweiler [2015-09-20 19:30:08] 969*2^1409803-1 is not prime. Res64: 4FCED57AF2F14608 Time : 0.0 sec. user=mdettweiler [2015-09-20 19:30:09] 605*2^1409804-1 is not prime. Res64: EBE7E46985793427 Time : 0.0 sec. user=mdettweiler [2015-09-20 19:30:09] 985*2^1409803-1 is not prime. Res64: 85256A54824F21AB Time : 0.0 sec. user=mdettweiler [2015-09-20 19:30:09] 999*2^1409803-1 is not prime. Res64: 4D1C0E2B3B98002F Time : 0.0 sec. user=mdettweiler [2015-09-20 19:30:09] 617*2^1409804-1 is not prime. Res64: 5A5B6D833AEDBBDB Time : 0.0 sec. user=mdettweiler [2015-09-20 19:47:58] 665*2^1409804-1 is not prime. Res64: 4DFB684C6839D3EF Time : 0.0 sec. user=mdettweiler [2015-09-20 19:47:58] 683*2^1409804-1 is not prime. Res64: 3B5B04E0F0701381 Time : 0.0 sec. user=mdettweiler [2015-09-20 19:47:59] 675*2^1409804-1 is not prime. Res64: E31BCDF82AF35DA8 Time : 0.0 sec. user=mdettweiler [2015-09-20 19:47:59] 725*2^1409804-1 is not prime. Res64: 217EC23B3E6E2CA8 Time : 0.0 sec. user=mdettweiler [2015-09-20 19:47:59] 785*2^1409804-1 is not prime. Res64: AF23BFB5D9FCBB4E Time : 0.0 sec. user=mdettweiler [2015-09-20 19:47:59] 837*2^1409804-1 is not prime. Res64: 6B53898B92A3B83B Time : 0.0 sec. user=mdettweiler [2015-09-20 20:05:33] 657*2^1409805-1 is not prime. Res64: 5ADC27E6FC72CD06 Time : 0.0 sec. user=mdettweiler [2015-09-20 20:05:33] 675*2^1409805-1 is not prime. Res64: 2C38627410CBF633 Time : 0.0 sec. user=mdettweiler [2015-09-20 20:05:33] 885*2^1409804-1 is not prime. Res64: A10637589E9C635B Time : 0.0 sec. user=mdettweiler [2015-09-20 20:05:35] 667*2^1409805-1 is not prime. Res64: 16DBA2E6C0C8A5DD Time : 0.0 sec. user=mdettweiler [2015-09-20 20:05:36] 935*2^1409804-1 is not prime. Res64: 33254BC7C57E7D82 Time : 0.0 sec. user=mdettweiler [2015-09-20 20:05:36] 699*2^1409805-1 is not prime. Res64: 9FD33701DD4A7008 Time : 0.0 sec. user=mdettweiler [2015-09-20 20:23:17] 805*2^1409805-1 is not prime. Res64: 5DBD91435B90191C Time : 0.0 sec. user=mdettweiler [2015-09-20 20:23:18] 885*2^1409805-1 is not prime. Res64: C47B3ADDEFD83DEC Time : 0.0 sec. user=mdettweiler [2015-09-20 20:23:18] 891*2^1409805-1 is not prime. Res64: C25263AE231E8750 Time : 0.0 sec. user=mdettweiler [2015-09-20 20:23:18] 861*2^1409806-1 is not prime. Res64: CE5B5F8E6DFF4A80 Time : 0.0 sec. user=mdettweiler [2015-09-20 20:23:19] 951*2^1409805-1 is not prime. Res64: F3FED33FAE4C955D Time : 0.0 sec. user=mdettweiler [2015-09-20 20:23:19] 911*2^1409806-1 is not prime. Res64: B63113898F17E401 Time : 0.0 sec. user=mdettweiler [2015-09-20 20:40:47] 991*2^1409807-1 is not prime. Res64: 72D7EBA3BBBD3085 Time : 0.0 sec. user=mdettweiler [2015-09-20 20:40:48] 735*2^1409808-1 is not prime. Res64: 78A10D4A22DE7A0F Time : 0.0 sec. user=mdettweiler [2015-09-20 20:40:48] 619*2^1409807-1 is not prime. Res64: F362CF00466376A4 Time : 0.0 sec. user=mdettweiler [2015-09-20 20:40:48] 661*2^1409807-1 is not prime. Res64: 13FD39D24271AE78 Time : 0.0 sec. user=mdettweiler [2015-09-20 20:40:48] 673*2^1409807-1 is not prime. Res64: 259A159DB48FECD8 Time : 0.0 sec. user=mdettweiler [2015-09-20 20:40:49] 775*2^1409807-1 is not prime. Res64: 5E5D23AF6E040550 Time : 0.0 sec. user=mdettweiler [2015-09-20 20:58:14] 975*2^1409808-1 is not prime. Res64: 5A8D9FC2B915D07F Time : 0.0 sec. user=mdettweiler [2015-09-20 20:58:14] 625*2^1409809-1 is not prime. Res64: A75FC62F5259E9AB Time : 0.0 sec. user=mdettweiler [2015-09-20 20:58:15] 699*2^1409809-1 is not prime. Res64: 84FBB56528102515 Time : 0.0 sec. user=mdettweiler [2015-09-20 20:58:15] 861*2^1409809-1 is not prime. Res64: D12DB8608DCA3E28 Time : 0.0 sec. user=mdettweiler [2015-09-20 20:58:15] 649*2^1409809-1 is not prime. Res64: B86A47F71A3482D5 Time : 0.0 sec. user=mdettweiler [2015-09-20 20:58:16] 661*2^1409809-1 is not prime. Res64: 66AD6753AAE7555D Time : 0.0 sec. user=mdettweiler [2015-09-20 21:15:42] 857*2^1409810-1 is not prime. Res64: B7E2EBC82E268718 Time : 0.0 sec. user=mdettweiler [2015-09-20 21:15:42] 987*2^1409809-1 is not prime. Res64: CF7FC2568C038F74 Time : 0.0 sec. user=mdettweiler [2015-09-20 21:15:43] 893*2^1409810-1 is not prime. Res64: E07979A1F8C07510 Time : 0.0 sec. user=mdettweiler [2015-09-20 21:15:43] 831*2^1409810-1 is not prime. Res64: 1312FAFC7CB4A1D6 Time : 0.0 sec. user=mdettweiler [2015-09-20 21:15:43] 917*2^1409810-1 is not prime. Res64: 892F0D020EBE74DF Time : 0.0 sec. user=mdettweiler [2015-09-20 21:15:43] 927*2^1409810-1 is not prime. Res64: C813BC0495982183 Time : 0.0 sec. user=juhehe [2015-09-20 21:18:52] 945*2^1409808-1 is not prime. Res64: FEBDDCA96DF93962 Time : 0.0 sec. user=mdettweiler [2015-09-20 21:33:12] 619*2^1409811-1 is not prime. Res64: 1D2FD75B72AD4059 Time : 0.0 sec. user=mdettweiler [2015-09-20 21:33:12] 669*2^1409811-1 is not prime. Res64: D087FF30F250B2EF Time : 0.0 sec. user=mdettweiler [2015-09-20 21:33:13] 649*2^1409811-1 is not prime. Res64: 6F029E821439B155 Time : 0.0 sec. user=mdettweiler [2015-09-20 21:33:13] 723*2^1409811-1 is not prime. Res64: 239B8F4F5A0B97AE Time : 0.0 sec. user=mdettweiler [2015-09-20 21:33:13] 835*2^1409811-1 is not prime. Res64: 440AAEBCE749BA1E Time : 0.0 sec. user=mdettweiler [2015-09-20 21:33:14] 895*2^1409811-1 is not prime. Res64: FFBA3C411F5B44C0 Time : 0.0 sec. user=mdettweiler [2015-09-20 21:50:45] 961*2^1409811-1 is not prime. Res64: 422048B4B5159A10 Time : 0.0 sec. user=mdettweiler [2015-09-20 21:50:46] 969*2^1409811-1 is not prime. Res64: 77439A4A00819E4E Time : 0.0 sec. user=mdettweiler [2015-09-20 21:50:47] 873*2^1409812-1 is not prime. Res64: 8E942B08CF540F81 Time : 0.0 sec. user=mdettweiler [2015-09-20 21:50:48] 903*2^1409812-1 is not prime. Res64: 6B13A920697A0763 Time : 0.0 sec. user=mdettweiler [2015-09-20 21:50:49] 653*2^1409812-1 is not prime. Res64: 9C8349A9D1145A84 Time : 0.0 sec. user=mdettweiler [2015-09-20 21:50:50] 777*2^1409812-1 is not prime. Res64: 50374800FA3BC16B Time : 0.0 sec. user=mdettweiler [2015-09-20 22:08:16] 957*2^1409812-1 is not prime. Res64: 8D24047564F88662 Time : 0.0 sec. user=mdettweiler [2015-09-20 22:08:17] 999*2^1409812-1 is not prime. Res64: B044D2E1271A42C1 Time : 0.0 sec. user=mdettweiler [2015-09-20 22:08:20] 741*2^1409813-1 is not prime. Res64: D836B6F9BE09F3BC Time : 0.0 sec. user=mdettweiler [2015-09-20 22:08:20] 747*2^1409813-1 is not prime. Res64: E7B17FC1CE4B64C0 Time : 0.0 sec. user=mdettweiler [2015-09-20 22:08:22] 675*2^1409813-1 is not prime. Res64: C57562AF525A5CD3 Time : 0.0 sec. user=mdettweiler [2015-09-20 22:08:23] 735*2^1409813-1 is not prime. Res64: 974FBAA43755132D Time : 0.0 sec. user=mdettweiler [2015-09-20 22:25:52] 615*2^1409814-1 is not prime. Res64: EF20B123169FDA65 Time : 0.0 sec. user=mdettweiler [2015-09-20 22:25:52] 915*2^1409813-1 is not prime. Res64: 2CA4BE84C94958A5 Time : 0.0 sec. user=mdettweiler [2015-09-20 22:25:52] 627*2^1409814-1 is not prime. Res64: 6940F8E41FDF474C Time : 0.0 sec. user=mdettweiler [2015-09-20 22:25:52] 987*2^1409813-1 is not prime. Res64: 0A55D7E0B07229E4 Time : 0.0 sec. user=mdettweiler [2015-09-20 22:25:55] 811*2^1409813-1 is not prime. Res64: E60E383F797CCB01 Time : 0.0 sec. user=mdettweiler [2015-09-20 22:25:55] 867*2^1409813-1 is not prime. Res64: 3E0926CFD764498E Time : 0.0 sec. user=mdettweiler [2015-09-20 22:44:22] 747*2^1409814-1 is not prime. Res64: 9A36B3D831BD9127 Time : 0.0 sec. user=mdettweiler [2015-09-20 22:44:23] 755*2^1409814-1 is not prime. Res64: 02F5C08BE853C311 Time : 0.0 sec. user=mdettweiler [2015-09-20 22:44:25] 765*2^1409814-1 is not prime. Res64: EADA9BE5EDC195A8 Time : 0.0 sec. user=mdettweiler [2015-09-20 22:44:25] 791*2^1409814-1 is not prime. Res64: CB68B65EA648C645 Time : 0.0 sec. user=mdettweiler [2015-09-20 22:44:25] 641*2^1409814-1 is not prime. Res64: 36BDA6F6B391AD6A Time : 0.0 sec. user=mdettweiler [2015-09-20 22:44:25] 657*2^1409814-1 is not prime. Res64: 0DC8CA4ADE522428 Time : 0.0 sec. user=mdettweiler [2015-09-20 23:03:21] 965*2^1409814-1 is not prime. Res64: 8A5C71E0F2B51EF8 Time : 0.0 sec. user=mdettweiler [2015-09-20 23:03:22] 993*2^1409814-1 is not prime. Res64: B4543A2CAC19EDF8 Time : 0.0 sec. user=mdettweiler [2015-09-20 23:03:23] 983*2^1409814-1 is not prime. Res64: AEC51CBD052EBD86 Time : 0.0 sec. user=mdettweiler [2015-09-20 23:03:23] 651*2^1409815-1 is not prime. Res64: A4D6C144DD2B3FA2 Time : 0.0 sec. user=mdettweiler [2015-09-20 23:03:24] 1001*2^1409814-1 is not prime. Res64: F87F27C8F7979E3B Time : 0.0 sec. user=mdettweiler [2015-09-20 23:03:26] 663*2^1409815-1 is not prime. Res64: F4B70106FD7A9B94 Time : 0.0 sec. user=mdettweiler [2015-09-20 23:22:42] 623*2^1409816-1 is not prime. Res64: E5F3A320BA20B180 Time : 0.0 sec. user=mdettweiler [2015-09-20 23:22:42] 657*2^1409816-1 is not prime. Res64: 8307DB1159240A62 Time : 0.0 sec. user=mdettweiler [2015-09-20 23:22:46] 833*2^1409816-1 is not prime. Res64: DF412C9530F375D3 Time : 0.0 sec. user=mdettweiler [2015-09-20 23:22:46] 867*2^1409816-1 is not prime. Res64: F0137473579ECABC Time : 0.0 sec. user=mdettweiler [2015-09-20 23:22:48] 875*2^1409816-1 is not prime. Res64: B28B630C4F0DB0DD Time : 0.0 sec. user=mdettweiler [2015-09-20 23:22:48] 923*2^1409816-1 is not prime. Res64: B1C412E0DCCD20A1 Time : 0.0 sec. user=juhehe [2015-09-20 23:24:04] 889*2^1409815-1 is not prime. Res64: 3D757B8A2260467A Time : 0.0 sec. user=mdettweiler [2015-09-20 23:40:47] 807*2^1409817-1 is not prime. Res64: C68DC91F3DF54009 Time : 0.0 sec. user=mdettweiler [2015-09-20 23:40:47] 835*2^1409817-1 is not prime. Res64: 2623622B9F48EC04 Time : 0.0 sec. user=mdettweiler [2015-09-20 23:40:48] 607*2^1409817-1 is not prime. Res64: 89D1724024C4194D Time : 0.0 sec. user=mdettweiler [2015-09-20 23:40:48] 795*2^1409817-1 is not prime. Res64: 9752D9F3C45608CB Time : 0.0 sec. user=mdettweiler [2015-09-20 23:40:49] 849*2^1409817-1 is not prime. Res64: AB0167E3B7E3787F Time : 0.0 sec. user=mdettweiler [2015-09-20 23:40:50] 915*2^1409817-1 is not prime. Res64: 508AC4E86681F6E6 Time : 0.0 sec. user=mdettweiler [2015-09-20 23:58:14] 621*2^1409818-1 is not prime. Res64: 4687E2A894F2999C Time : 0.0 sec. user=mdettweiler [2015-09-20 23:58:15] 623*2^1409818-1 is not prime. Res64: 9D02BD7FF8C5A40F Time : 0.0 sec. user=mdettweiler [2015-09-20 23:58:16] 711*2^1409819-1 is not prime. Res64: 87C854087B841612 Time : 0.0 sec. user=mdettweiler [2015-09-20 23:58:16] 741*2^1409819-1 is not prime. Res64: EB363E1D0506559C Time : 0.0 sec. user=mdettweiler [2015-09-20 23:58:18] 665*2^1409818-1 is not prime. Res64: FB2DEA8BEB8C2196 Time : 0.0 sec. user=mdettweiler [2015-09-20 23:58:18] 645*2^1409819-1 is not prime. Res64: 16BCE69BBC1130A8 Time : 0.0 sec.