user=mdettweiler [2015-02-16 00:04:59] 867*2^1391125-1 is not prime. Res64: 69F825FBA9AFB4A4 Time : 0.0 sec. user=mdettweiler [2015-02-16 00:05:01] 895*2^1391125-1 is not prime. Res64: D9603368CAC5BD59 Time : 0.0 sec. user=mdettweiler [2015-02-16 00:05:29] 915*2^1391125-1 is not prime. Res64: 4D00C006C84353B4 Time : 0.0 sec. user=mdettweiler [2015-02-16 00:05:32] 955*2^1391125-1 is not prime. Res64: 800B886E9F2CB184 Time : 0.0 sec. user=mdettweiler [2015-02-16 00:06:06] 603*2^1391126-1 is not prime. Res64: 35AC04811532CBED Time : 0.0 sec. user=mdettweiler [2015-02-16 00:06:10] 623*2^1391126-1 is not prime. Res64: 47E54519C34A4654 Time : 0.0 sec. user=mdettweiler [2015-02-16 00:20:50] 683*2^1391126-1 is not prime. Res64: 8A444820CD8F49A5 Time : 0.0 sec. user=mdettweiler [2015-02-16 00:20:50] 693*2^1391126-1 is not prime. Res64: B2A9A7C35D1AC69C Time : 0.0 sec. user=mdettweiler [2015-02-16 00:31:26] 911*2^1391126-1 is not prime. Res64: EACED47BC97CF21A Time : 0.0 sec. user=mdettweiler [2015-02-16 00:31:27] 935*2^1391126-1 is not prime. Res64: F6DC02DEF987DB31 Time : 0.0 sec. user=mdettweiler [2015-02-16 00:31:32] 741*2^1391126-1 is not prime. Res64: 164CD1076D8F5CD9 Time : 0.0 sec. user=mdettweiler [2015-02-16 00:31:32] 825*2^1391126-1 is not prime. Res64: 5062425ADF4EAB42 Time : 0.0 sec. user=mdettweiler [2015-02-16 00:32:08] 625*2^1391127-1 is not prime. Res64: 66C7049068C9DDEC Time : 0.0 sec. user=mdettweiler [2015-02-16 00:32:09] 751*2^1391127-1 is not prime. Res64: 86B870A7F6DBEB94 Time : 0.0 sec. user=mdettweiler [2015-02-16 00:46:39] 603*2^1391128-1 is not prime. Res64: AB78498B81BD5D93 Time : 0.0 sec. user=mdettweiler [2015-02-16 00:46:39] 615*2^1391128-1 is not prime. Res64: D18DCCFEED11A3F4 Time : 0.0 sec. user=mdettweiler [2015-02-16 00:57:05] 657*2^1391128-1 is not prime. Res64: CA597B5661BC8666 Time : 0.0 sec. user=mdettweiler [2015-02-16 00:57:05] 677*2^1391128-1 is not prime. Res64: A1B06A8CBE2F1C49 Time : 0.0 sec. user=mdettweiler [2015-02-16 00:57:28] 689*2^1391128-1 is not prime. Res64: 469E61ED7B3D6862 Time : 0.0 sec. user=mdettweiler [2015-02-16 00:57:28] 947*2^1391128-1 is not prime. Res64: AF9D39145028B714 Time : 0.0 sec. user=mdettweiler [2015-02-16 00:57:43] 999*2^1391128-1 is not prime. Res64: C0FB8F60FBE3DDE0 Time : 0.0 sec. user=mdettweiler [2015-02-16 00:57:44] 711*2^1391129-1 is not prime. Res64: 964EBD6243644163 Time : 0.0 sec. user=mdettweiler [2015-02-16 01:12:28] 759*2^1391129-1 is not prime. Res64: 9ADC091F76AD6F2C Time : 0.0 sec. user=mdettweiler [2015-02-16 01:12:28] 889*2^1391129-1 is not prime. Res64: EC20791B0746B375 Time : 0.0 sec. user=mdettweiler [2015-02-16 01:22:53] 897*2^1391129-1 is not prime. Res64: 4799AD29588DC49A Time : 0.0 sec. user=mdettweiler [2015-02-16 01:22:54] 695*2^1391130-1 is not prime. Res64: 74E5B1943F69CAFF Time : 0.0 sec. user=mdettweiler [2015-02-16 01:23:22] 711*2^1391130-1 is not prime. Res64: 090E433F0362A32F Time : 0.0 sec. user=mdettweiler [2015-02-16 01:23:22] 755*2^1391130-1 is not prime. Res64: A02B7EAD931CC7DB Time : 0.0 sec. user=mdettweiler [2015-02-16 01:23:33] 867*2^1391130-1 is not prime. Res64: 7CC8E5042ED60148 Time : 0.0 sec. user=mdettweiler [2015-02-16 01:23:34] 873*2^1391130-1 is not prime. Res64: E26479B8DDF4D56D Time : 0.0 sec. user=mdettweiler [2015-02-16 01:38:13] 917*2^1391130-1 is not prime. Res64: 569BB4AAF8779C19 Time : 0.0 sec. user=mdettweiler [2015-02-16 01:38:13] 971*2^1391130-1 is not prime. Res64: E6A6795958E51D53 Time : 0.0 sec. user=mdettweiler [2015-02-16 01:48:37] 651*2^1391131-1 is not prime. Res64: 58DD721029FF2F1E Time : 0.0 sec. user=mdettweiler [2015-02-16 01:48:37] 703*2^1391131-1 is not prime. Res64: 6D3914B0EC2AA0E0 Time : 0.0 sec. user=mdettweiler [2015-02-16 01:49:12] 819*2^1391131-1 is not prime. Res64: EA209B387D78937D Time : 0.0 sec. user=mdettweiler [2015-02-16 01:49:12] 975*2^1391131-1 is not prime. Res64: BF80A5E7E0D2DB91 Time : 0.0 sec. user=mdettweiler [2015-02-16 01:49:12] 901*2^1391131-1 is not prime. Res64: A4F74CE649B01FB8 Time : 0.0 sec. user=mdettweiler [2015-02-16 01:49:12] 633*2^1391132-1 is not prime. Res64: 181EE5ABF9C6F782 Time : 0.0 sec. user=mdettweiler [2015-02-16 02:03:57] 687*2^1391132-1 is not prime. Res64: 9D8A8654E0C2DC68 Time : 0.0 sec. user=mdettweiler [2015-02-16 02:03:59] 693*2^1391132-1 is not prime. Res64: 57F0F86BAE71AFAA Time : 0.0 sec. user=mdettweiler [2015-02-16 02:14:15] 867*2^1391132-1 is not prime. Res64: FD4E111D42DDC2AA Time : 0.0 sec. user=mdettweiler [2015-02-16 02:14:15] 909*2^1391132-1 is not prime. Res64: 0D0A4A9261E0312F Time : 0.0 sec. user=mdettweiler [2015-02-16 02:14:50] 781*2^1391133-1 is not prime. Res64: 10193795C90571D4 Time : 0.0 sec. user=mdettweiler [2015-02-16 02:14:51] 847*2^1391133-1 is not prime. Res64: 2EFEE18E78C180AE Time : 0.0 sec. user=mdettweiler [2015-02-16 02:14:58] 699*2^1391133-1 is not prime. Res64: 84E8852062664B8E Time : 0.0 sec. user=mdettweiler [2015-02-16 02:14:58] 885*2^1391133-1 is not prime. Res64: E49BACF7AD8B34D2 Time : 0.0 sec. user=mdettweiler [2015-02-16 02:29:47] 895*2^1391133-1 is not prime. Res64: E9FB1521AFFAE18E Time : 0.0 sec. user=mdettweiler [2015-02-16 02:29:48] 645*2^1391134-1 is not prime. Res64: 18F70A9EAA83C24D Time : 0.0 sec. user=mdettweiler [2015-02-16 02:39:57] 657*2^1391134-1 is not prime. Res64: 2BC2B649B9D7A510 Time : 0.0 sec. user=mdettweiler [2015-02-16 02:39:57] 681*2^1391134-1 is not prime. Res64: 5EEE1C6AE1D6AC30 Time : 0.0 sec. user=mdettweiler [2015-02-16 02:40:23] 687*2^1391134-1 is not prime. Res64: 7C938BBF5EBBF6A2 Time : 0.0 sec. user=mdettweiler [2015-02-16 02:40:24] 705*2^1391134-1 is not prime. Res64: 6A94A8853EBA2665 Time : 0.0 sec. user=mdettweiler [2015-02-16 02:40:34] 903*2^1391134-1 is not prime. Res64: 67BBB702805D81C8 Time : 0.0 sec. user=mdettweiler [2015-02-16 02:40:35] 945*2^1391134-1 is not prime. Res64: 8CD40ED0150CD83C Time : 0.0 sec. user=mdettweiler [2015-02-16 02:55:26] 965*2^1391134-1 is not prime. Res64: 63F11B14CD84CDC7 Time : 0.0 sec. user=mdettweiler [2015-02-16 02:55:26] 609*2^1391135-1 is not prime. Res64: 9594E77C63476013 Time : 0.0 sec. user=mdettweiler [2015-02-16 03:06:20] 721*2^1391135-1 is not prime. Res64: 400A9B9DD84B2480 Time : 0.0 sec. user=mdettweiler [2015-02-16 03:06:20] 841*2^1391135-1 is not prime. Res64: FD33C4AB5277513F Time : 0.0 sec. user=mdettweiler [2015-02-16 03:06:39] 661*2^1391135-1 is not prime. Res64: 901472C3872F2CC6 Time : 0.0 sec. user=mdettweiler [2015-02-16 03:06:40] 705*2^1391135-1 is not prime. Res64: 5014081182A08C9D Time : 0.0 sec. user=mdettweiler [2015-02-16 03:06:57] 789*2^1391136-1 is not prime. Res64: 0149242285D2AA7B Time : 0.0 sec. user=mdettweiler [2015-02-16 03:06:58] 875*2^1391136-1 is not prime. Res64: A04900C0CC662B3F Time : 0.0 sec. user=mdettweiler [2015-02-16 03:22:08] 879*2^1391136-1 is not prime. Res64: 5B2771FA3240A80D Time : 0.0 sec. user=mdettweiler [2015-02-16 03:22:08] 649*2^1391137-1 is not prime. Res64: C16938D9CC5E90D5 Time : 0.0 sec. user=mdettweiler [2015-02-16 03:31:58] 651*2^1391137-1 is not prime. Res64: 74022B751FB35BEA Time : 0.0 sec. user=mdettweiler [2015-02-16 03:32:00] 685*2^1391137-1 is not prime. Res64: 5774D7296BD1AB7B Time : 0.0 sec. user=mdettweiler [2015-02-16 03:32:13] 727*2^1391137-1 is not prime. Res64: C76539721FA8F521 Time : 0.0 sec. user=mdettweiler [2015-02-16 03:32:15] 729*2^1391137-1 is not prime. Res64: D204173EFD641479 Time : 0.0 sec. user=mdettweiler [2015-02-16 03:32:36] 817*2^1391137-1 is not prime. Res64: 6CE91FEEC61CD00A Time : 0.0 sec. user=mdettweiler [2015-02-16 03:32:37] 835*2^1391137-1 is not prime. Res64: 138B63FD90CBEFFA Time : 0.0 sec. user=mdettweiler [2015-02-16 03:47:40] 885*2^1391137-1 is not prime. Res64: F7A0E73EC8C5A45D Time : 0.0 sec. user=mdettweiler [2015-02-16 03:47:42] 915*2^1391137-1 is not prime. Res64: 863B247AF146EA90 Time : 0.0 sec. user=mdettweiler [2015-02-16 03:57:40] 931*2^1391137-1 is not prime. Res64: 972A964AD94A4292 Time : 0.0 sec. user=mdettweiler [2015-02-16 03:57:41] 997*2^1391137-1 is not prime. Res64: 3774B5D38FD7C0CE Time : 0.0 sec. user=mdettweiler [2015-02-16 03:58:00] 605*2^1391138-1 is not prime. Res64: 7FC259E759D60747 Time : 0.0 sec. user=mdettweiler [2015-02-16 03:58:01] 705*2^1391138-1 is not prime. Res64: FABA034C07B69BB7 Time : 0.0 sec. user=mdettweiler [2015-02-16 03:58:03] 797*2^1391138-1 is not prime. Res64: 5E1F54B6399707D8 Time : 0.0 sec. user=mdettweiler [2015-02-16 03:58:03] 885*2^1391138-1 is not prime. Res64: 5CCDF8A031697180 Time : 0.0 sec. user=mdettweiler [2015-02-16 04:13:28] 993*2^1391138-1 is not prime. Res64: CF25532A207A2A54 Time : 0.0 sec. user=mdettweiler [2015-02-16 04:13:29] 619*2^1391139-1 is not prime. Res64: 2F0934B4F0807517 Time : 0.0 sec. user=mdettweiler [2015-02-16 04:23:19] 669*2^1391139-1 is not prime. Res64: E8325DD8A31362C9 Time : 0.0 sec. user=mdettweiler [2015-02-16 04:23:20] 675*2^1391139-1 is not prime. Res64: 95233648F27341DB Time : 0.0 sec. user=mdettweiler [2015-02-16 04:23:33] 789*2^1391139-1 is not prime. Res64: 942A9893D6AAF648 Time : 0.0 sec. user=mdettweiler [2015-02-16 04:23:34] 891*2^1391139-1 is not prime. Res64: 410ECA0B8BFC3ED4 Time : 0.0 sec. user=mdettweiler [2015-02-16 04:23:50] 969*2^1391139-1 is not prime. Res64: D4F7DC86C99DBCEE Time : 0.0 sec. user=mdettweiler [2015-02-16 04:23:50] 999*2^1391139-1 is not prime. Res64: 257EA2A9FB73CBB6 Time : 0.0 sec. user=mdettweiler [2015-02-16 04:39:04] 629*2^1391140-1 is not prime. Res64: 7D6B9950DE5E0ACF Time : 0.0 sec. user=mdettweiler [2015-02-16 04:39:04] 783*2^1391140-1 is not prime. Res64: 6D7094A8CF6F55A9 Time : 0.0 sec. user=mdettweiler [2015-02-16 04:48:56] 887*2^1391140-1 is not prime. Res64: FEB811BAF23EFF22 Time : 0.0 sec. user=mdettweiler [2015-02-16 04:48:57] 983*2^1391140-1 is not prime. Res64: 2A1921EB49758FE9 Time : 0.0 sec. user=mdettweiler [2015-02-16 04:48:59] 987*2^1391140-1 is not prime. Res64: 48A5DAA8EB71B727 Time : 0.0 sec. user=mdettweiler [2015-02-16 04:48:59] 995*2^1391140-1 is not prime. Res64: 8176A26FC6E38BAE Time : 0.0 sec. user=mdettweiler [2015-02-16 04:49:21] 607*2^1391141-1 is not prime. Res64: E52FF5B9A94B042A Time : 0.0 sec. user=mdettweiler [2015-02-16 04:49:21] 615*2^1391141-1 is not prime. Res64: BD372E21F1C32501 Time : 0.0 sec. user=mdettweiler [2015-02-16 05:04:34] 649*2^1391141-1 is not prime. Res64: FA7BFCB32F7481EB Time : 0.0 sec. user=mdettweiler [2015-02-16 05:04:35] 675*2^1391141-1 is not prime. Res64: AB29C950F30B6CB8 Time : 0.0 sec. user=mdettweiler [2015-02-16 05:14:26] 901*2^1391141-1 is not prime. Res64: F59DEF22A43E32EA Time : 0.0 sec. user=mdettweiler [2015-02-16 05:14:27] 925*2^1391141-1 is not prime. Res64: FC23301687781EB5 Time : 0.0 sec. user=mdettweiler [2015-02-16 05:14:28] 735*2^1391141-1 is not prime. Res64: 0FA3CD2BB1A8504A Time : 0.0 sec. user=mdettweiler [2015-02-16 05:14:29] 855*2^1391141-1 is not prime. Res64: 80B3FF0B8F866E99 Time : 0.0 sec. user=mdettweiler [2015-02-16 05:14:55] 987*2^1391141-1 is not prime. Res64: 9ECECEED673505F1 Time : 0.0 sec. user=mdettweiler [2015-02-16 05:14:55] 997*2^1391141-1 is not prime. Res64: 80C0099D845D18E0 Time : 0.0 sec. user=mdettweiler [2015-02-16 05:30:27] 621*2^1391142-1 is not prime. Res64: 2777C40D352304B7 Time : 0.0 sec. user=mdettweiler [2015-02-16 05:30:27] 635*2^1391142-1 is not prime. Res64: E4CED5CA10B9EF19 Time : 0.0 sec. user=mdettweiler [2015-02-16 05:39:56] 891*2^1391142-1 is not prime. Res64: D2185B8569006046 Time : 0.0 sec. user=mdettweiler [2015-02-16 05:39:57] 649*2^1391143-1 is not prime. Res64: 4507F18E0D0750B4 Time : 0.0 sec. user=mdettweiler [2015-02-16 05:39:58] 683*2^1391142-1 is not prime. Res64: 2AE056D74E2B0E21 Time : 0.0 sec. user=mdettweiler [2015-02-16 05:39:58] 695*2^1391142-1 is not prime. Res64: 6DF8F4A74B6B733B Time : 0.0 sec. user=mdettweiler [2015-02-16 05:40:33] 679*2^1391143-1 is not prime. Res64: 7322EC6043482764 Time : 0.0 sec. user=mdettweiler [2015-02-16 05:40:33] 703*2^1391143-1 is not prime. Res64: 4A759FD512FE5C7E Time : 0.0 sec. user=mdettweiler [2015-02-16 05:55:58] 723*2^1391143-1 is not prime. Res64: F930695EDA3C514F Time : 0.0 sec. user=mdettweiler [2015-02-16 05:55:58] 765*2^1391143-1 is not prime. Res64: 278AF40985270ACA Time : 0.0 sec. user=mdettweiler [2015-02-16 06:05:21] 829*2^1391143-1 is not prime. Res64: 0F856A5EAE5F9175 Time : 0.0 sec. user=mdettweiler [2015-02-16 06:05:24] 891*2^1391143-1 is not prime. Res64: 8D6132D30ACD5DF1 Time : 0.0 sec. user=mdettweiler [2015-02-16 06:05:26] 901*2^1391143-1 is not prime. Res64: ABD97049EB88E43A Time : 0.0 sec. user=mdettweiler [2015-02-16 06:05:29] 973*2^1391143-1 is not prime. Res64: E80D095E8F39D6D3 Time : 0.0 sec. user=mdettweiler [2015-02-16 06:06:03] 993*2^1391143-1 is not prime. Res64: 44689D551E65676A Time : 0.0 sec. user=mdettweiler [2015-02-16 06:06:03] 609*2^1391144-1 is not prime. Res64: 35387B5541D4CDA5 Time : 0.0 sec. user=mdettweiler [2015-02-16 06:21:29] 615*2^1391144-1 is not prime. Res64: 27D711912A075650 Time : 0.0 sec. user=mdettweiler [2015-02-16 06:21:29] 617*2^1391144-1 is not prime. Res64: 698AAC779E5F64E4 Time : 0.0 sec. user=mdettweiler [2015-02-16 06:31:01] 855*2^1391144-1 is not prime. Res64: 3EAAC180B9E2B07B Time : 0.0 sec. user=mdettweiler [2015-02-16 06:31:01] 875*2^1391144-1 is not prime. Res64: 50DC927665AC37B2 Time : 0.0 sec. user=mdettweiler [2015-02-16 06:31:04] 897*2^1391144-1 is not prime. Res64: 32D622FD883A3E22 Time : 0.0 sec. user=mdettweiler [2015-02-16 06:31:04] 915*2^1391144-1 is not prime. Res64: F680E974D8F5E7CC Time : 0.0 sec. user=mdettweiler [2015-02-16 06:31:38] 929*2^1391144-1 is not prime. Res64: DAA7D2F98920C7D9 Time : 0.0 sec. user=mdettweiler [2015-02-16 06:31:38] 935*2^1391144-1 is not prime. Res64: DB609154F4CC457A Time : 0.0 sec. user=mdettweiler [2015-02-16 06:47:05] 983*2^1391144-1 is not prime. Res64: 67E677EBF58264C0 Time : 0.0 sec. user=mdettweiler [2015-02-16 06:47:05] 705*2^1391145-1 is not prime. Res64: D6CA349CCCE8BD94 Time : 0.0 sec. user=mdettweiler [2015-02-16 06:56:38] 819*2^1391145-1 is not prime. Res64: 86E35D45B068DC34 Time : 0.0 sec. user=mdettweiler [2015-02-16 06:56:38] 889*2^1391145-1 is not prime. Res64: 6BDFBBC0B8A136E7 Time : 0.0 sec. user=mdettweiler [2015-02-16 06:56:45] 717*2^1391145-1 is not prime. Res64: C22D26F276F718E1 Time : 0.0 sec. user=mdettweiler [2015-02-16 06:56:45] 741*2^1391145-1 is not prime. Res64: 2412F4D9DE8DE0AB Time : 0.0 sec. user=mdettweiler [2015-02-16 06:57:10] 915*2^1391145-1 is not prime. Res64: FAC15E2A8A007DCE Time : 0.0 sec. user=mdettweiler [2015-02-16 06:57:10] 937*2^1391145-1 is not prime. Res64: 5D6B0C653238A94A Time : 0.0 sec. user=mdettweiler [2015-02-16 07:12:49] 647*2^1391146-1 is not prime. Res64: 9B0BA4798CC53307 Time : 0.0 sec. user=mdettweiler [2015-02-16 07:12:49] 695*2^1391146-1 is not prime. Res64: 8570BB32CCABB528 Time : 0.0 sec. user=mdettweiler [2015-02-16 07:22:10] 987*2^1391146-1 is not prime. Res64: 321CEB3D08244D49 Time : 0.0 sec. user=mdettweiler [2015-02-16 07:22:10] 663*2^1391147-1 is not prime. Res64: 5156DE23EA4CE656 Time : 0.0 sec. user=mdettweiler [2015-02-16 07:22:13] 711*2^1391147-1 is not prime. Res64: C04A27E2C71163C8 Time : 0.0 sec. user=mdettweiler [2015-02-16 07:22:13] 759*2^1391147-1 is not prime. Res64: B9E75EAA587427DD Time : 0.0 sec. user=mdettweiler [2015-02-16 07:23:00] 813*2^1391147-1 is not prime. Res64: 6F9F028BA4C11AAC Time : 0.0 sec. user=mdettweiler [2015-02-16 07:23:00] 841*2^1391147-1 is not prime. Res64: D67ED1A135DADFD3 Time : 0.0 sec. user=mdettweiler [2015-02-16 07:38:22] 903*2^1391147-1 is not prime. Res64: E59AB61F9A90EEF4 Time : 0.0 sec. user=mdettweiler [2015-02-16 07:38:22] 915*2^1391147-1 is not prime. Res64: 290E8FD1DC48B4A7 Time : 0.0 sec. user=mdettweiler [2015-02-16 07:47:33] 973*2^1391147-1 is not prime. Res64: E45183C3877985DC Time : 0.0 sec. user=mdettweiler [2015-02-16 07:47:34] 765*2^1391148-1 is not prime. Res64: 4D4B057D0F7C1D89 Time : 0.0 sec. user=mdettweiler [2015-02-16 07:47:36] 949*2^1391147-1 is not prime. Res64: D21A841D57908231 Time : 0.0 sec. user=mdettweiler [2015-02-16 07:47:37] 955*2^1391147-1 is not prime. Res64: CCCF71137A3A9DF3 Time : 0.0 sec. user=mdettweiler [2015-02-16 07:48:30] 867*2^1391148-1 is not prime. Res64: 796A11CEE981BE9B Time : 0.0 sec. user=mdettweiler [2015-02-16 07:48:31] 977*2^1391148-1 is not prime. Res64: 6A40C6B86F5E5259 Time : 0.0 sec. user=mdettweiler [2015-02-16 08:03:55] 993*2^1391148-1 is not prime. Res64: E61FBC14EB78A119 Time : 0.0 sec. user=mdettweiler [2015-02-16 08:03:57] 801*2^1391149-1 is not prime. Res64: D88BE26AFE91622F Time : 0.0 sec. user=mdettweiler [2015-02-16 08:12:57] 811*2^1391149-1 is not prime. Res64: 66E201170709CD5D Time : 0.0 sec. user=mdettweiler [2015-02-16 08:12:58] 847*2^1391149-1 is not prime. Res64: 454898C76B1B3B6D Time : 0.0 sec. user=mdettweiler [2015-02-16 08:13:04] 855*2^1391149-1 is not prime. Res64: 5954D8F7E3053304 Time : 0.0 sec. user=mdettweiler [2015-02-16 08:13:04] 877*2^1391149-1 is not prime. Res64: 418E51D0FB617AFE Time : 0.0 sec. user=mdettweiler [2015-02-16 08:14:04] 999*2^1391149-1 is not prime. Res64: AAEFC5CE5DF41215 Time : 0.0 sec. user=mdettweiler [2015-02-16 08:14:05] 711*2^1391150-1 is not prime. Res64: 0321BC3B227337D3 Time : 0.0 sec. user=mdettweiler [2015-02-16 08:29:59] 767*2^1391150-1 is not prime. Res64: 2689831A424BB5BF Time : 0.0 sec. user=mdettweiler [2015-02-16 08:29:59] 843*2^1391150-1 is not prime. Res64: BB5892F5752B7E0F Time : 0.0 sec. user=mdettweiler [2015-02-16 08:38:38] 885*2^1391150-1 is not prime. Res64: 6F99CA1DBF7B238C Time : 0.0 sec. user=mdettweiler [2015-02-16 08:38:38] 897*2^1391150-1 is not prime. Res64: 0B94032B38C5B039 Time : 0.0 sec. user=mdettweiler [2015-02-16 08:38:39] 941*2^1391150-1 is not prime. Res64: 7C6B8D550600408D Time : 0.0 sec. user=mdettweiler [2015-02-16 08:38:39] 1001*2^1391150-1 is not prime. Res64: AA34027C4FC44AE8 Time : 0.0 sec. user=mdettweiler [2015-02-16 08:39:53] 609*2^1391151-1 is not prime. Res64: 6F283D91CF73395B Time : 0.0 sec. user=mdettweiler [2015-02-16 08:39:53] 625*2^1391151-1 is not prime. Res64: B7E20DD3B7E620C6 Time : 0.0 sec. user=mdettweiler [2015-02-16 08:55:48] 691*2^1391151-1 is not prime. Res64: 3B85C388D3735143 Time : 0.0 sec. user=mdettweiler [2015-02-16 08:55:49] 745*2^1391151-1 is not prime. Res64: 0D9D3067C76A7348 Time : 0.0 sec. user=mdettweiler [2015-02-16 09:04:31] 769*2^1391151-1 is not prime. Res64: B762D028C3E76188 Time : 0.0 sec. user=mdettweiler [2015-02-16 09:04:32] 775*2^1391151-1 is not prime. Res64: 787F6493F1C4DC77 Time : 0.0 sec. user=mdettweiler [2015-02-16 09:04:42] 781*2^1391151-1 is not prime. Res64: 8B028489BC32C144 Time : 0.0 sec. user=mdettweiler [2015-02-16 09:04:44] 975*2^1391151-1 is not prime. Res64: B9B841E5D33FCBCA Time : 0.0 sec. user=mdettweiler [2015-02-16 09:05:50] 623*2^1391152-1 is not prime. Res64: 77EFBC456444DC02 Time : 0.0 sec. user=mdettweiler [2015-02-16 09:05:51] 645*2^1391152-1 is not prime. Res64: E798AB3AC7FF96FB Time : 0.0 sec. user=mdettweiler [2015-02-16 09:21:28] 803*2^1391152-1 is not prime. Res64: C7448A868E3798CC Time : 0.0 sec. user=mdettweiler [2015-02-16 09:21:28] 863*2^1391152-1 is not prime. Res64: AC5F17CE1C063AC7 Time : 0.0 sec. user=mdettweiler [2015-02-16 09:30:40] 873*2^1391152-1 is not prime. Res64: 60096253E130A009 Time : 0.0 sec. user=mdettweiler [2015-02-16 09:30:41] 903*2^1391152-1 is not prime. Res64: D585AD7D18EE247A Time : 0.0 sec. user=mdettweiler [2015-02-16 09:30:57] 957*2^1391152-1 is not prime. Res64: 51B5D11885AB8D65 Time : 0.0 sec. user=mdettweiler [2015-02-16 09:30:58] 787*2^1391153-1 is not prime. Res64: 14DFD723898A035C Time : 0.0 sec. user=mdettweiler [2015-02-16 09:32:00] 829*2^1391153-1 is not prime. Res64: 17E491D40207819A Time : 0.0 sec. user=mdettweiler [2015-02-16 09:32:00] 937*2^1391153-1 is not prime. Res64: E380E846557E33A1 Time : 0.0 sec. user=mdettweiler [2015-02-16 09:47:17] 987*2^1391153-1 is not prime. Res64: 994EBA40DB31D5DD Time : 0.0 sec. user=mdettweiler [2015-02-16 09:47:17] 621*2^1391154-1 is not prime. Res64: 1ECC00426DCA064C Time : 0.0 sec. user=juhehe [2015-02-16 09:55:14] 711*2^1391154-1 is not prime. Res64: 1DF26BF522F2F4FA Time : 0.0 sec. user=mdettweiler [2015-02-16 09:56:34] 717*2^1391154-1 is not prime. Res64: 619CA7239850C0B5 Time : 0.0 sec. user=mdettweiler [2015-02-16 09:56:34] 767*2^1391154-1 is not prime. Res64: 26B3AA298A1076EA Time : 0.0 sec. user=mdettweiler [2015-02-16 09:56:39] 903*2^1391154-1 is not prime. Res64: BF78041F2ECE4031 Time : 0.0 sec. user=mdettweiler [2015-02-16 09:56:39] 983*2^1391154-1 is not prime. Res64: 12A842BEB796E0EF Time : 0.0 sec. user=mdettweiler [2015-02-16 09:57:51] 993*2^1391154-1 is not prime. Res64: 92C48A38D5F1FC9D Time : 0.0 sec. user=mdettweiler [2015-02-16 09:57:52] 1001*2^1391154-1 is not prime. Res64: 80012AFED89937E3 Time : 0.0 sec. user=mdettweiler [2015-02-16 10:13:11] 645*2^1391155-1 is not prime. Res64: 7672C510DE118011 Time : 0.0 sec. user=mdettweiler [2015-02-16 10:13:11] 789*2^1391155-1 is not prime. Res64: 679EE1A769C0617E Time : 0.0 sec. user=mdettweiler [2015-02-16 10:22:32] 867*2^1391156-1 is not prime. Res64: 4FDFBD79252ADDA4 Time : 0.0 sec. user=mdettweiler [2015-02-16 10:22:33] 983*2^1391156-1 is not prime. Res64: E3758122858CB4FD Time : 0.0 sec. user=mdettweiler [2015-02-16 10:22:37] 617*2^1391156-1 is not prime. Res64: 342A14CB33EA99C7 Time : 0.0 sec. user=mdettweiler [2015-02-16 10:22:38] 689*2^1391156-1 is not prime. Res64: F4DBD5CB494C16C2 Time : 0.0 sec. user=mdettweiler [2015-02-16 10:23:47] 669*2^1391157-1 is not prime. Res64: 8E6DB673450DDC16 Time : 0.0 sec. user=mdettweiler [2015-02-16 10:23:47] 777*2^1391157-1 is not prime. Res64: 1E215F1BAA46F9FC Time : 0.0 sec. user=mdettweiler [2015-02-16 10:39:09] 937*2^1391157-1 is not prime. Res64: E3824378ACD94F60 Time : 0.0 sec. user=mdettweiler [2015-02-16 10:39:09] 955*2^1391157-1 is not prime. Res64: 877366A3D49888FD Time : 0.0 sec. user=mdettweiler [2015-02-16 10:48:18] 671*2^1391158-1 is not prime. Res64: 40A63098CBED3517 Time : 0.0 sec. user=mdettweiler [2015-02-16 10:48:18] 755*2^1391158-1 is not prime. Res64: B8E33EC3B3CE97A1 Time : 0.0 sec. user=mdettweiler [2015-02-16 10:48:29] 833*2^1391158-1 is not prime. Res64: 7A67A5BF31CF1D77 Time : 0.0 sec. user=mdettweiler [2015-02-16 10:48:29] 881*2^1391158-1 is not prime. Res64: 82354B608B205214 Time : 0.0 sec. user=mdettweiler [2015-02-16 10:49:35] 915*2^1391158-1 is not prime. Res64: 493CF0C509F522C0 Time : 0.0 sec. user=mdettweiler [2015-02-16 10:49:35] 923*2^1391158-1 is not prime. Res64: C372DA6CFFE5242D Time : 0.0 sec. user=mdettweiler [2015-02-16 11:04:48] 753*2^1391159-1 is not prime. Res64: FE0ADEF5F1F72BBC Time : 0.0 sec. user=mdettweiler [2015-02-16 11:04:49] 775*2^1391159-1 is not prime. Res64: 67F95E7B8B89B2BF Time : 0.0 sec. user=mdettweiler [2015-02-16 11:14:10] 789*2^1391159-1 is not prime. Res64: FC081D235DB487C1 Time : 0.0 sec. user=mdettweiler [2015-02-16 11:14:10] 799*2^1391159-1 is not prime. Res64: 9ED58EDB8C4D68C8 Time : 0.0 sec. user=mdettweiler [2015-02-16 11:14:18] 865*2^1391159-1 is not prime. Res64: C8A06B7BDC5168DD Time : 0.0 sec. user=mdettweiler [2015-02-16 11:14:18] 991*2^1391159-1 is not prime. Res64: A4B644CE5214DEB4 Time : 0.0 sec. user=mdettweiler [2015-02-16 11:15:20] 993*2^1391159-1 is not prime. Res64: 1C094BF2E2A86037 Time : 0.0 sec. user=mdettweiler [2015-02-16 11:15:20] 665*2^1391160-1 is not prime. Res64: 8CEE452F7BD7091C Time : 0.0 sec. user=mdettweiler [2015-02-16 11:31:01] 695*2^1391160-1 is not prime. Res64: FEE232E5BE26E7ED Time : 0.0 sec. user=mdettweiler [2015-02-16 11:31:01] 717*2^1391160-1 is not prime. Res64: BDEB7433F8ED83F8 Time : 0.0 sec. user=mdettweiler [2015-02-16 11:40:15] 747*2^1391160-1 is not prime. Res64: 1A12A2672F905ACD Time : 0.0 sec. user=mdettweiler [2015-02-16 11:40:16] 765*2^1391160-1 is not prime. Res64: FD7A11889791EF15 Time : 0.0 sec. user=mdettweiler [2015-02-16 11:40:23] 803*2^1391160-1 is not prime. Res64: DFBA09B20DCC7A6A Time : 0.0 sec. user=mdettweiler [2015-02-16 11:40:24] 923*2^1391160-1 is not prime. Res64: DF6AEBB358C18636 Time : 0.0 sec. user=mdettweiler [2015-02-16 11:41:31] 975*2^1391160-1 is not prime. Res64: 15A2A60FCF340895 Time : 0.0 sec. user=mdettweiler [2015-02-16 11:41:31] 675*2^1391161-1 is not prime. Res64: 26DCAFDC2C1E519C Time : 0.0 sec. user=mdettweiler [2015-02-16 11:58:45] 687*2^1391161-1 is not prime. Res64: E39B90E98274527F Time : 0.0 sec. user=mdettweiler [2015-02-16 11:58:45] 691*2^1391161-1 is not prime. Res64: 6D5908761CA9E621 Time : 0.0 sec. user=mdettweiler [2015-02-16 12:07:08] 801*2^1391161-1 is not prime. Res64: 586B93EF1681A977 Time : 0.0 sec. user=mdettweiler [2015-02-16 12:07:08] 871*2^1391161-1 is not prime. Res64: 3C62A27F622668B2 Time : 0.0 sec. user=mdettweiler [2015-02-16 12:08:18] 675*2^1391162-1 is not prime. Res64: AB9A469F7F0730EF Time : 0.0 sec. user=mdettweiler [2015-02-16 12:08:18] 713*2^1391162-1 is not prime. Res64: 25C8E605F547D36D Time : 0.0 sec. user=mdettweiler [2015-02-16 12:08:39] 877*2^1391161-1 is not prime. Res64: C685988BB7229957 Time : 0.0 sec. user=mdettweiler [2015-02-16 12:08:39] 975*2^1391161-1 is not prime. Res64: BADE75DAE1D707F2 Time : 0.0 sec. user=mdettweiler [2015-02-16 12:26:13] 857*2^1391162-1 is not prime. Res64: 5B7A82BE1BB3E334 Time : 0.0 sec. user=mdettweiler [2015-02-16 12:26:13] 987*2^1391162-1 is not prime. Res64: CD5926AE6792E25A Time : 0.0 sec. user=mdettweiler [2015-02-16 12:34:28] 835*2^1391163-1 is not prime. Res64: CA1F4BF9C3FC33AB Time : 0.0 sec. user=mdettweiler [2015-02-16 12:34:29] 963*2^1391163-1 is not prime. Res64: 517EF4DE99306F74 Time : 0.0 sec. user=mdettweiler [2015-02-16 12:35:32] 609*2^1391164-1 is not prime. Res64: E208958FD4A99E9C Time : 0.0 sec. user=mdettweiler [2015-02-16 12:35:33] 623*2^1391164-1 is not prime. Res64: 77BEFFD827C66F09 Time : 0.0 sec. user=mdettweiler [2015-02-16 12:36:07] 749*2^1391164-1 is not prime. Res64: 7F5495EB98BAC9D1 Time : 0.0 sec. user=mdettweiler [2015-02-16 12:36:07] 803*2^1391164-1 is not prime. Res64: 831A0A42DB9C7369 Time : 0.0 sec. user=mdettweiler [2015-02-16 12:53:07] 819*2^1391164-1 is not prime. Res64: CDE4CA6C9F670C10 Time : 0.0 sec. user=mdettweiler [2015-02-16 12:53:08] 899*2^1391164-1 is not prime. Res64: 31DBDB5E5F900575 Time : 0.0 sec. user=mdettweiler [2015-02-16 13:02:30] 929*2^1391164-1 is not prime. Res64: C08B21428CA50281 Time : 0.0 sec. user=mdettweiler [2015-02-16 13:02:32] 975*2^1391164-1 is not prime. Res64: 9359C9EC0DA64C90 Time : 0.0 sec. user=mdettweiler [2015-02-16 13:02:32] 669*2^1391165-1 is not prime. Res64: CACB816263C4EE5B Time : 0.0 sec. user=mdettweiler [2015-02-16 13:02:33] 685*2^1391165-1 is not prime. Res64: 5FF55EADCA29C3EF Time : 0.0 sec. user=mdettweiler [2015-02-16 13:04:01] 717*2^1391165-1 is not prime. Res64: 038FB577D6D4F6E3 Time : 0.0 sec. user=mdettweiler [2015-02-16 13:04:02] 957*2^1391165-1 is not prime. Res64: BB3E72A59B4248AC Time : 0.0 sec. user=mdettweiler [2015-02-16 13:19:31] 981*2^1391165-1 is not prime. Res64: 18DDD477CD61ADCA Time : 0.0 sec. user=mdettweiler [2015-02-16 13:19:31] 657*2^1391166-1 is not prime. Res64: FA48F87649EDE02E Time : 0.0 sec. user=mdettweiler [2015-02-16 13:29:54] 711*2^1391166-1 is not prime. Res64: 6A38863857DE4203 Time : 0.0 sec. user=mdettweiler [2015-02-16 13:29:54] 725*2^1391166-1 is not prime. Res64: 8BB52F6ED386F69F Time : 0.0 sec. user=mdettweiler [2015-02-16 13:30:51] 633*2^1391167-1 is not prime. Res64: 6E9A95D00EE5B1BB Time : 0.0 sec. user=mdettweiler [2015-02-16 13:30:52] 735*2^1391167-1 is not prime. Res64: B38448850DE03038 Time : 0.0 sec. user=mdettweiler [2015-02-16 13:31:09] 801*2^1391166-1 is not prime. Res64: B4A4CB1F2F200F6B Time : 0.0 sec. user=mdettweiler [2015-02-16 13:31:09] 851*2^1391166-1 is not prime. Res64: 64050EB3F8D8D0DC Time : 0.0 sec. user=mdettweiler [2015-02-16 13:46:54] 805*2^1391167-1 is not prime. Res64: 0422B605B21719A2 Time : 0.0 sec. user=mdettweiler [2015-02-16 13:46:54] 985*2^1391167-1 is not prime. Res64: F3B6A0F2F1FEB5B4 Time : 0.0 sec. user=mdettweiler [2015-02-16 13:57:03] 893*2^1391168-1 is not prime. Res64: 237300782CC59569 Time : 0.0 sec. user=mdettweiler [2015-02-16 13:57:03] 999*2^1391168-1 is not prime. Res64: 4C8B1D1B52F93DB8 Time : 0.0 sec. user=mdettweiler [2015-02-16 13:57:37] 623*2^1391168-1 is not prime. Res64: 44435B84FCF60333 Time : 0.0 sec. user=mdettweiler [2015-02-16 13:57:38] 875*2^1391168-1 is not prime. Res64: AE4021AC9DF018B9 Time : 0.0 sec. user=mdettweiler [2015-02-16 13:58:45] 709*2^1391169-1 is not prime. Res64: 704AD79F83A8E22C Time : 0.0 sec. user=mdettweiler [2015-02-16 13:58:46] 727*2^1391169-1 is not prime. Res64: 005EFDEE805E5A64 Time : 0.0 sec. user=mdettweiler [2015-02-16 14:13:29] 745*2^1391169-1 is not prime. Res64: 7AE60728024B4DF5 Time : 0.0 sec. user=mdettweiler [2015-02-16 14:13:30] 787*2^1391169-1 is not prime. Res64: 6BD967EAFF92FF55 Time : 0.0 sec. user=mdettweiler [2015-02-16 14:22:45] 789*2^1391169-1 is not prime. Res64: C389A93A62DD427A Time : 0.0 sec. user=mdettweiler [2015-02-16 14:22:45] 951*2^1391169-1 is not prime. Res64: 01A0D3E9A17F73B1 Time : 0.0 sec. user=mdettweiler [2015-02-16 14:23:31] 979*2^1391169-1 is not prime. Res64: B08AA93351A8B613 Time : 0.0 sec. user=mdettweiler [2015-02-16 14:23:31] 681*2^1391170-1 is not prime. Res64: 9011F756B199DE73 Time : 0.0 sec. user=mdettweiler [2015-02-16 14:24:55] 687*2^1391170-1 is not prime. Res64: 547AEFD7CAD96664 Time : 0.0 sec. user=mdettweiler [2015-02-16 14:24:55] 741*2^1391170-1 is not prime. Res64: 29AC353F6A060FA0 Time : 0.0 sec. user=mdettweiler [2015-02-16 14:39:40] 801*2^1391170-1 is not prime. Res64: 086CC6E1D4546A8C Time : 0.0 sec. user=mdettweiler [2015-02-16 14:39:41] 675*2^1391171-1 is not prime. Res64: 49A91EE381DCB571 Time : 0.0 sec. user=mdettweiler [2015-02-16 14:48:44] 711*2^1391171-1 is not prime. Res64: AC4D251DAFC67167 Time : 0.0 sec. user=mdettweiler [2015-02-16 14:48:44] 781*2^1391171-1 is not prime. Res64: 935E74B64E5D5F3F Time : 0.0 sec. user=mdettweiler [2015-02-16 14:49:23] 895*2^1391171-1 is not prime. Res64: EA7FA50967BB4271 Time : 0.0 sec. user=mdettweiler [2015-02-16 14:49:23] 999*2^1391171-1 is not prime. Res64: D4472C57B0E5616F Time : 0.0 sec. user=mdettweiler [2015-02-16 14:50:49] 605*2^1391172-1 is not prime. Res64: 51328F8516B28494 Time : 0.0 sec. user=mdettweiler [2015-02-16 14:50:49] 635*2^1391172-1 is not prime. Res64: 050C4D5A738C7B85 Time : 0.0 sec. user=mdettweiler [2015-02-16 15:05:35] 689*2^1391172-1 is not prime. Res64: F9B79B55FB3764C4 Time : 0.0 sec. user=mdettweiler [2015-02-16 15:05:35] 693*2^1391172-1 is not prime. Res64: 6513344E3B818018 Time : 0.0 sec. user=mdettweiler [2015-02-16 15:15:29] 723*2^1391172-1 is not prime. Res64: BAB5A5D3D7443B39 Time : 0.0 sec. user=mdettweiler [2015-02-16 15:15:30] 837*2^1391172-1 is not prime. Res64: F3DCB86785869824 Time : 0.0 sec. user=mdettweiler [2015-02-16 15:16:27] 983*2^1391172-1 is not prime. Res64: A136052DC082E54A Time : 0.0 sec. user=mdettweiler [2015-02-16 15:16:27] 607*2^1391173-1 is not prime. Res64: 92A51DAD7B96FE64 Time : 0.0 sec. user=mdettweiler [2015-02-16 15:18:10] 715*2^1391173-1 is not prime. Res64: 1A4B3D325C4231E6 Time : 0.0 sec. user=mdettweiler [2015-02-16 15:18:11] 741*2^1391173-1 is not prime. Res64: 93F01B97BCEA5C53 Time : 0.0 sec. user=mdettweiler [2015-02-16 15:34:43] 751*2^1391173-1 is not prime. Res64: 34EA8951A7127275 Time : 0.0 sec. user=mdettweiler [2015-02-16 15:34:44] 765*2^1391173-1 is not prime. Res64: 23A58EE7A0D7677A Time : 0.0 sec. user=mdettweiler [2015-02-16 15:44:04] 819*2^1391173-1 is not prime. Res64: DCA1C1F0B36C7E43 Time : 0.0 sec. user=mdettweiler [2015-02-16 15:44:04] 957*2^1391173-1 is not prime. Res64: 8B4FA783FB2E2684 Time : 0.0 sec. user=mdettweiler [2015-02-16 15:45:43] 979*2^1391173-1 is not prime. Res64: EFAD8A4795076CA2 Time : 0.0 sec. user=mdettweiler [2015-02-16 15:45:43] 651*2^1391174-1 is not prime. Res64: 485A0D8520660999 Time : 0.0 sec. user=mdettweiler [2015-02-16 15:47:04] 741*2^1391174-1 is not prime. Res64: 0B02B4C435968F6F Time : 0.0 sec. user=mdettweiler [2015-02-16 15:47:04] 747*2^1391174-1 is not prime. Res64: EB2657E0790FE897 Time : 0.0 sec. user=mdettweiler [2015-02-16 16:02:57] 831*2^1391174-1 is not prime. Res64: CFDBD59EB8991627 Time : 0.0 sec. user=mdettweiler [2015-02-16 16:02:58] 875*2^1391174-1 is not prime. Res64: ECF8891C7F2E4231 Time : 0.0 sec. user=mdettweiler [2015-02-16 16:11:09] 613*2^1391175-1 is not prime. Res64: 26E50DCA22DDDB8A Time : 0.0 sec. user=mdettweiler [2015-02-16 16:11:10] 775*2^1391175-1 is not prime. Res64: 25801A15DBD24E7E Time : 0.0 sec. user=mdettweiler [2015-02-16 16:12:22] 781*2^1391175-1 is not prime. Res64: 6B011C167EC2B974 Time : 0.0 sec. user=mdettweiler [2015-02-16 16:12:23] 829*2^1391175-1 is not prime. Res64: F556FB0FC52FD3C0 Time : 0.0 sec. user=mdettweiler [2015-02-16 16:14:03] 859*2^1391175-1 is not prime. Res64: B634FE8A0C5836B1 Time : 0.0 sec. user=mdettweiler [2015-02-16 16:14:03] 861*2^1391175-1 is not prime. Res64: 66903075A1B89A4B Time : 0.0 sec. user=mdettweiler [2015-02-16 16:29:49] 991*2^1391175-1 is not prime. Res64: 8190CF5F9B00B6F4 Time : 0.0 sec. user=mdettweiler [2015-02-16 16:29:49] 719*2^1391176-1 is not prime. Res64: 555F45A9794A9E51 Time : 0.0 sec. user=mdettweiler [2015-02-16 16:37:58] 869*2^1391176-1 is not prime. Res64: 95A38FCFCBFF8255 Time : 0.0 sec. user=mdettweiler [2015-02-16 16:37:58] 989*2^1391176-1 is not prime. Res64: 79C22D494F3C42F9 Time : 0.0 sec. user=mdettweiler [2015-02-16 16:39:01] 601*2^1391177-1 is not prime. Res64: 8969AB77CFCDB1BD Time : 0.0 sec. user=mdettweiler [2015-02-16 16:39:01] 619*2^1391177-1 is not prime. Res64: 54F807371A30746B Time : 0.0 sec. user=mdettweiler [2015-02-16 16:40:54] 627*2^1391177-1 is not prime. Res64: 1892DC47B98B9C09 Time : 0.0 sec. user=mdettweiler [2015-02-16 16:40:54] 631*2^1391177-1 is not prime. Res64: 9216D12874FC02A0 Time : 0.0 sec. user=mdettweiler [2015-02-16 16:57:45] 669*2^1391177-1 is not prime. Res64: D6E1542F5310F2E8 Time : 0.0 sec. user=mdettweiler [2015-02-16 16:57:45] 727*2^1391177-1 is not prime. Res64: 6D2297182A068F05 Time : 0.0 sec. user=mdettweiler [2015-02-16 17:08:42] 777*2^1391177-1 is not prime. Res64: CE6AE64E6BD79229 Time : 0.0 sec. user=mdettweiler [2015-02-16 17:08:43] 621*2^1391178-1 is not prime. Res64: 08EC77446D7781FF Time : 0.0 sec. user=mdettweiler [2015-02-16 17:08:54] 711*2^1391178-1 is not prime. Res64: 988A07FCD969DE4E Time : 0.0 sec. user=mdettweiler [2015-02-16 17:08:54] 731*2^1391178-1 is not prime. Res64: 3A48073E5763F726 Time : 0.0 sec. user=mdettweiler [2015-02-16 17:11:23] 837*2^1391178-1 is not prime. Res64: B9678EC5F3BE6935 Time : 0.0 sec. user=mdettweiler [2015-02-16 17:11:23] 887*2^1391178-1 is not prime. Res64: 96EF215E00E2A37C Time : 0.0 sec. user=mdettweiler [2015-02-16 17:28:47] 923*2^1391178-1 is not prime. Res64: 26ACA603B0376ABA Time : 0.0 sec. user=mdettweiler [2015-02-16 17:28:48] 1001*2^1391178-1 is not prime. Res64: 58D4D96B13ABDFEA Time : 0.0 sec. user=mdettweiler [2015-02-16 17:39:37] 759*2^1391179-1 is not prime. Res64: E598BB43000CA1DC Time : 0.0 sec. user=mdettweiler [2015-02-16 17:39:38] 885*2^1391179-1 is not prime. Res64: 79EB35D53D420984 Time : 0.0 sec. user=mdettweiler [2015-02-16 17:41:13] 931*2^1391179-1 is not prime. Res64: BC3534C6FFC1C001 Time : 0.0 sec. user=mdettweiler [2015-02-16 17:41:14] 951*2^1391179-1 is not prime. Res64: 415421FBB63C5C26 Time : 0.0 sec. user=mdettweiler [2015-02-16 17:44:06] 961*2^1391179-1 is not prime. Res64: 1F365B2734EC9BB2 Time : 0.0 sec. user=mdettweiler [2015-02-16 17:44:07] 975*2^1391179-1 is not prime. Res64: AA18F7429C04D150 Time : 0.0 sec. user=mdettweiler [2015-02-16 18:00:51] 797*2^1391180-1 is not prime. Res64: 09DAE5FAD06072A8 Time : 0.0 sec. user=mdettweiler [2015-02-16 18:00:52] 893*2^1391180-1 is not prime. Res64: 0C42375D19BB7D59 Time : 0.0 sec. user=mdettweiler [2015-02-16 18:08:59] 923*2^1391180-1 is not prime. Res64: 6023C45D26E48991 Time : 0.0 sec. user=mdettweiler [2015-02-16 18:08:59] 977*2^1391180-1 is not prime. Res64: F9AE362729D0C20B Time : 0.0 sec. user=mdettweiler [2015-02-16 18:10:36] 625*2^1391181-1 is not prime. Res64: 210A86F9AA39EDB7 Time : 0.0 sec. user=mdettweiler [2015-02-16 18:10:36] 627*2^1391181-1 is not prime. Res64: 4A80C58C3E4D089D Time : 0.0 sec. user=mdettweiler [2015-02-16 18:12:48] 781*2^1391181-1 is not prime. Res64: 7F7420446E03978B Time : 0.0 sec. user=mdettweiler [2015-02-16 18:12:49] 847*2^1391181-1 is not prime. Res64: DCDCAB3A47836830 Time : 0.0 sec. user=mdettweiler [2015-02-16 18:27:55] 861*2^1391181-1 is not prime. Res64: 333B5BE026394C6E Time : 0.0 sec. user=mdettweiler [2015-02-16 18:27:56] 877*2^1391181-1 is not prime. Res64: 37EBFBB817686908 Time : 0.0 sec. user=mdettweiler [2015-02-16 18:35:42] 949*2^1391181-1 is not prime. Res64: F27840BC566E2536 Time : 0.0 sec. user=mdettweiler [2015-02-16 18:35:42] 975*2^1391181-1 is not prime. Res64: 0111F9D87C67BE7F Time : 0.0 sec. user=mdettweiler [2015-02-16 18:37:10] 611*2^1391182-1 is not prime. Res64: A883B98445E50047 Time : 0.0 sec. user=mdettweiler [2015-02-16 18:37:10] 665*2^1391182-1 is not prime. Res64: F279FA99FFE39A2A Time : 0.0 sec. user=mdettweiler [2015-02-16 18:39:30] 815*2^1391182-1 is not prime. Res64: D205DD88AADAF562 Time : 0.0 sec. user=mdettweiler [2015-02-16 18:39:31] 827*2^1391182-1 is not prime. Res64: 4BA90166E5937561 Time : 0.0 sec. user=mdettweiler [2015-02-16 18:54:38] 833*2^1391182-1 is not prime. Res64: 5BC8DC90D369C969 Time : 0.0 sec. user=mdettweiler [2015-02-16 18:54:38] 881*2^1391182-1 is not prime. Res64: C2B9DBF4A24BA8A6 Time : 0.0 sec. user=juhehe [2015-02-16 19:01:33] 911*2^1391182-1 is not prime. Res64: D03FE63F4EA93EA6 Time : 0.0 sec. user=mdettweiler [2015-02-16 19:02:29] 917*2^1391182-1 is not prime. Res64: 87B14932DDB70DDF Time : 0.0 sec. user=mdettweiler [2015-02-16 19:02:30] 975*2^1391182-1 is not prime. Res64: 20264B548EFE797A Time : 0.0 sec. user=mdettweiler [2015-02-16 19:03:53] 603*2^1391183-1 is not prime. Res64: 94567AF626ABBE72 Time : 0.0 sec. user=mdettweiler [2015-02-16 19:03:57] 679*2^1391183-1 is not prime. Res64: F30A1712D2EBAA5A Time : 0.0 sec. user=mdettweiler [2015-02-16 19:06:23] 759*2^1391183-1 is not prime. Res64: 4D6B9DAB63BC2CC6 Time : 0.0 sec. user=mdettweiler [2015-02-16 19:06:24] 771*2^1391183-1 is not prime. Res64: 88C7C0D8A74F65F8 Time : 0.0 sec. user=mdettweiler [2015-02-16 19:21:28] 775*2^1391183-1 is not prime. Res64: 382129EE462B42C4 Time : 0.0 sec. user=mdettweiler [2015-02-16 19:21:29] 829*2^1391183-1 is not prime. Res64: C37F86A489F91437 Time : 0.0 sec. user=mdettweiler [2015-02-16 19:30:06] 615*2^1391184-1 is not prime. Res64: FCA382E6E3E29C2D Time : 0.0 sec. user=mdettweiler [2015-02-16 19:30:06] 719*2^1391184-1 is not prime. Res64: 0B15DD630F2213F8 Time : 0.0 sec. user=mdettweiler [2015-02-16 19:30:32] 767*2^1391184-1 is not prime. Res64: C2D58E3450D9F690 Time : 0.0 sec. user=mdettweiler [2015-02-16 19:30:32] 917*2^1391184-1 is not prime. Res64: C5E1922FB1AB8434 Time : 0.0 sec. user=mdettweiler [2015-02-16 19:33:09] 661*2^1391185-1 is not prime. Res64: 71314880B19681E8 Time : 0.0 sec. user=mdettweiler [2015-02-16 19:33:10] 889*2^1391185-1 is not prime. Res64: 985D172B3C8AD299 Time : 0.0 sec. user=mdettweiler [2015-02-16 19:48:11] 937*2^1391185-1 is not prime. Res64: A3CB827EA69FE239 Time : 0.0 sec. user=mdettweiler [2015-02-16 19:48:12] 975*2^1391185-1 is not prime. Res64: DB0109E81481D98F Time : 0.0 sec. user=mdettweiler [2015-02-16 19:56:45] 813*2^1391186-1 is not prime. Res64: DAF9138682DCCCDE Time : 0.0 sec. user=mdettweiler [2015-02-16 19:56:46] 831*2^1391186-1 is not prime. Res64: FA116AE5557F6D88 Time : 0.0 sec. user=mdettweiler [2015-02-16 19:57:10] 861*2^1391186-1 is not prime. Res64: 7ED13C8955D07803 Time : 0.0 sec. user=mdettweiler [2015-02-16 19:57:11] 893*2^1391186-1 is not prime. Res64: C0338DF439F482F4 Time : 0.0 sec. user=mdettweiler [2015-02-16 19:59:44] 903*2^1391186-1 is not prime. Res64: 0EB4DC7F5EE531C4 Time : 0.0 sec. user=mdettweiler [2015-02-16 19:59:45] 735*2^1391187-1 is not prime. Res64: F345D9B4C1EF4811 Time : 0.0 sec. user=mdettweiler [2015-02-16 20:14:55] 741*2^1391187-1 is not prime. Res64: DF7C21641AB7B2FC Time : 0.0 sec. user=mdettweiler [2015-02-16 20:14:56] 823*2^1391187-1 is not prime. Res64: A9DECB9A8F21E25B Time : 0.0 sec. user=mdettweiler [2015-02-16 20:24:35] 909*2^1391187-1 is not prime. Res64: 40AB10437BE416E0 Time : 0.0 sec. user=mdettweiler [2015-02-16 20:24:35] 919*2^1391187-1 is not prime. Res64: B7E86B6EA4BE7CD8 Time : 0.0 sec. user=mdettweiler [2015-02-16 20:24:46] 825*2^1391187-1 is not prime. Res64: 18AE3627E562EAED Time : 0.0 sec. user=mdettweiler [2015-02-16 20:24:47] 835*2^1391187-1 is not prime. Res64: 02246B656A6EBE70 Time : 0.0 sec. user=mdettweiler [2015-02-16 20:27:31] 951*2^1391187-1 is not prime. Res64: ECBA23072DBF547E Time : 0.0 sec. user=mdettweiler [2015-02-16 20:27:32] 855*2^1391188-1 is not prime. Res64: 9AD14F141F3033D7 Time : 0.0 sec. user=mdettweiler [2015-02-16 20:43:17] 875*2^1391188-1 is not prime. Res64: C537E476E1EAECC3 Time : 0.0 sec. user=mdettweiler [2015-02-16 20:43:17] 885*2^1391188-1 is not prime. Res64: 9E468FB07E418D18 Time : 0.0 sec. user=mdettweiler [2015-02-16 20:53:05] 989*2^1391188-1 is not prime. Res64: 04910495D47E811E Time : 0.0 sec. user=mdettweiler [2015-02-16 20:53:06] 699*2^1391189-1 is not prime. Res64: 1EFC1C4AB5C9EC56 Time : 0.0 sec. user=mdettweiler [2015-02-16 20:53:08] 789*2^1391189-1 is not prime. Res64: D5A84F04B774041A Time : 0.0 sec. user=mdettweiler [2015-02-16 20:53:08] 861*2^1391189-1 is not prime. Res64: 3BFD03AAB4AC046B Time : 0.0 sec. user=mdettweiler [2015-02-16 20:55:24] 885*2^1391189-1 is not prime. Res64: 40BF0B19934648D4 Time : 0.0 sec. user=mdettweiler [2015-02-16 20:55:24] 979*2^1391189-1 is not prime. Res64: FF20AB2BC4C462E2 Time : 0.0 sec. user=mdettweiler [2015-02-16 21:10:56] 765*2^1391190-1 is not prime. Res64: F60B9F30777A3150 Time : 0.0 sec. user=mdettweiler [2015-02-16 21:10:56] 777*2^1391190-1 is not prime. Res64: 37C50447B6B611E7 Time : 0.0 sec. user=mdettweiler [2015-02-16 21:20:21] 609*2^1391191-1 is not prime. Res64: 6F1A450684C76655 Time : 0.0 sec. user=mdettweiler [2015-02-16 21:20:22] 621*2^1391191-1 is not prime. Res64: 8932810CE0694438 Time : 0.0 sec. user=mdettweiler [2015-02-16 21:20:27] 797*2^1391190-1 is not prime. Res64: A0B5E81CF9B7A82D Time : 0.0 sec. user=mdettweiler [2015-02-16 21:20:28] 915*2^1391190-1 is not prime. Res64: 6A62CFEF948D60B3 Time : 0.0 sec. user=mdettweiler [2015-02-16 21:22:55] 805*2^1391191-1 is not prime. Res64: 660BDD790E6A20A1 Time : 0.0 sec. user=mdettweiler [2015-02-16 21:22:55] 841*2^1391191-1 is not prime. Res64: 05D6FAF38F8DA7B1 Time : 0.0 sec. user=mdettweiler [2015-02-16 21:38:04] 849*2^1391191-1 is not prime. Res64: B2F61C4DEC634191 Time : 0.0 sec. user=mdettweiler [2015-02-16 21:38:04] 969*2^1391191-1 is not prime. Res64: 349415FA1D738D45 Time : 0.0 sec. user=mdettweiler [2015-02-16 21:50:53] 669*2^1391192-1 is not prime. Res64: 94AC6A8F48F950BA Time : 0.0 sec. user=mdettweiler [2015-02-16 21:50:53] 683*2^1391192-1 is not prime. Res64: 490E57AB97271A79 Time : 0.0 sec. user=mdettweiler [2015-02-16 21:52:42] 689*2^1391192-1 is not prime. Res64: D0A03D0CA5B61D8D Time : 0.0 sec. user=mdettweiler [2015-02-16 21:52:43] 755*2^1391192-1 is not prime. Res64: F02DA0E633E2C79D Time : 0.0 sec. user=mdettweiler [2015-02-16 21:57:13] 797*2^1391192-1 is not prime. Res64: A904FB4F582DF45F Time : 0.0 sec. user=mdettweiler [2015-02-16 21:57:14] 899*2^1391192-1 is not prime. Res64: 0BC5D7A37A6C1076 Time : 0.0 sec. user=mdettweiler [2015-02-16 22:11:50] 945*2^1391192-1 is not prime. Res64: F46F1E25F3789786 Time : 0.0 sec. user=mdettweiler [2015-02-16 22:11:50] 999*2^1391192-1 is not prime. Res64: 6BD9B7932015205E Time : 0.0 sec. user=mdettweiler [2015-02-16 22:21:15] 625*2^1391193-1 is not prime. Res64: F7BA1CC357CA4A15 Time : 0.0 sec. user=mdettweiler [2015-02-16 22:21:16] 669*2^1391193-1 is not prime. Res64: 54AF388A2EC51ACA Time : 0.0 sec. user=mdettweiler [2015-02-16 22:21:46] 739*2^1391193-1 is not prime. Res64: A8B75F65C87DD780 Time : 0.0 sec. user=mdettweiler [2015-02-16 22:21:47] 751*2^1391193-1 is not prime. Res64: 9D861B9E94A05001 Time : 0.0 sec. user=mdettweiler [2015-02-16 22:25:06] 849*2^1391193-1 is not prime. Res64: 1D14B6D32A5FEEDD Time : 0.0 sec. user=mdettweiler [2015-02-16 22:25:06] 651*2^1391194-1 is not prime. Res64: FF3A5383CA2D00EE Time : 0.0 sec. user=mdettweiler [2015-02-16 22:37:43] 723*2^1391194-1 is not prime. Res64: B58B1EBFA97759DE Time : 0.0 sec. user=mdettweiler [2015-02-16 22:37:43] 737*2^1391194-1 is not prime. Res64: 32FAC0EE12BCE102 Time : 0.0 sec. user=mdettweiler [2015-02-16 22:47:09] 755*2^1391194-1 is not prime. Res64: B1A5341A656EBFC5 Time : 0.0 sec. user=mdettweiler [2015-02-16 22:47:10] 783*2^1391194-1 is not prime. Res64: 2CB25C4F5589E893 Time : 0.0 sec. user=mdettweiler [2015-02-16 22:47:37] 803*2^1391194-1 is not prime. Res64: 417588CD013818AE Time : 0.0 sec. user=mdettweiler [2015-02-16 22:47:38] 815*2^1391194-1 is not prime. Res64: 78558D0DDA7117FF Time : 0.0 sec. user=mdettweiler [2015-02-16 22:51:04] 643*2^1391195-1 is not prime. Res64: D373BB07F15F27A4 Time : 0.0 sec. user=mdettweiler [2015-02-16 22:51:04] 669*2^1391195-1 is not prime. Res64: 8CEB9B2EEF9A72B0 Time : 0.0 sec. user=mdettweiler [2015-02-16 23:03:33] 735*2^1391195-1 is not prime. Res64: E128CF65D8838665 Time : 0.0 sec. user=mdettweiler [2015-02-16 23:03:35] 759*2^1391195-1 is not prime. Res64: 6588D07346A8E874 Time : 0.0 sec. user=mdettweiler [2015-02-16 23:13:12] 801*2^1391195-1 is not prime. Res64: 3EA55C47A6DAB925 Time : 0.0 sec. user=mdettweiler [2015-02-16 23:13:13] 883*2^1391195-1 is not prime. Res64: 7281C394FDFED4C7 Time : 0.0 sec. user=mdettweiler [2015-02-16 23:13:43] 909*2^1391195-1 is not prime. Res64: FAC2D718E43E50FC Time : 0.0 sec. user=mdettweiler [2015-02-16 23:13:43] 915*2^1391195-1 is not prime. Res64: 3CCC205B404E8007 Time : 0.0 sec. user=mdettweiler [2015-02-16 23:17:06] 949*2^1391195-1 is not prime. Res64: B8647222ECF9CA97 Time : 0.0 sec. user=mdettweiler [2015-02-16 23:17:06] 963*2^1391195-1 is not prime. Res64: 8471D6D05694DE00 Time : 0.0 sec. user=mdettweiler [2015-02-16 23:30:44] 999*2^1391195-1 is not prime. Res64: 4107124D4EC69950 Time : 0.0 sec. user=mdettweiler [2015-02-16 23:39:06] 773*2^1391196-1 is not prime. Res64: 5527683200F7EC32 Time : 0.0 sec. user=mdettweiler [2015-02-16 23:39:10] 779*2^1391196-1 is not prime. Res64: AAB9FBF56B3CA6BC Time : 0.0 sec. user=mdettweiler [2015-02-16 23:42:25] 845*2^1391196-1 is not prime. Res64: 521487ECACC111A0 Time : 0.0 sec. user=mdettweiler [2015-02-16 23:42:26] 899*2^1391196-1 is not prime. Res64: 09DABEF2EE2B86D7 Time : 0.0 sec.