user=mdettweiler [2015-12-22 00:02:48] 985*2^1417895-1 is not prime. Res64: EE7BD08694B4BB33 Time : 0.0 sec. user=mdettweiler [2015-12-22 00:02:49] 615*2^1417896-1 is not prime. Res64: AEF29A5DDAB7F6BE Time : 0.0 sec. user=mdettweiler [2015-12-22 00:02:49] 855*2^1417895-1 is not prime. Res64: FD0DFB1BAB4368B7 Time : 0.0 sec. user=mdettweiler [2015-12-22 00:02:50] 963*2^1417895-1 is not prime. Res64: 8FA66932B27108E2 Time : 0.0 sec. user=mdettweiler [2015-12-22 00:20:26] 657*2^1417896-1 is not prime. Res64: 229156A3A7094FB1 Time : 0.0 sec. user=mdettweiler [2015-12-22 00:20:26] 707*2^1417896-1 is not prime. Res64: A2543B80534869AA Time : 0.0 sec. user=mdettweiler [2015-12-22 00:20:26] 675*2^1417896-1 is not prime. Res64: 6695ADA9343DC44F Time : 0.0 sec. user=mdettweiler [2015-12-22 00:20:26] 825*2^1417896-1 is not prime. Res64: 1E4CA05D88802539 Time : 0.0 sec. user=mdettweiler [2015-12-22 00:37:56] 923*2^1417896-1 is not prime. Res64: CA61CB5351CB947A Time : 0.0 sec. user=mdettweiler [2015-12-22 00:37:56] 879*2^1417896-1 is not prime. Res64: 857BFAB0B4DF0C66 Time : 0.0 sec. user=mdettweiler [2015-12-22 00:37:56] 651*2^1417897-1 is not prime. Res64: 7DA941356D832C79 Time : 0.0 sec. user=mdettweiler [2015-12-22 00:37:56] 899*2^1417896-1 is not prime. Res64: 06582AD1E72BCA9F Time : 0.0 sec. user=mdettweiler [2015-12-22 00:55:25] 687*2^1417897-1 is not prime. Res64: B237A5497927AE4A Time : 0.0 sec. user=mdettweiler [2015-12-22 00:55:25] 771*2^1417897-1 is not prime. Res64: 677D182AF7496FC7 Time : 0.0 sec. user=mdettweiler [2015-12-22 00:55:26] 741*2^1417897-1 is not prime. Res64: 71447EAC8C207DA5 Time : 0.0 sec. user=mdettweiler [2015-12-22 00:55:26] 831*2^1417897-1 is not prime. Res64: 829958E0A780B3F0 Time : 0.0 sec. user=mdettweiler [2015-12-22 01:12:57] 635*2^1417898-1 is not prime. Res64: 6AE00D48B2AF7753 Time : 0.0 sec. user=mdettweiler [2015-12-22 01:12:58] 791*2^1417898-1 is not prime. Res64: 8E14082F9BE6C03F Time : 0.0 sec. user=mdettweiler [2015-12-22 01:12:59] 707*2^1417898-1 is not prime. Res64: 5309F4009B2635B8 Time : 0.0 sec. user=mdettweiler [2015-12-22 01:13:01] 935*2^1417898-1 is not prime. Res64: 38F59DC18931E8AE Time : 0.0 sec. user=mdettweiler [2015-12-22 01:30:36] 835*2^1417899-1 is not prime. Res64: 2D07542A6D5617CF Time : 0.0 sec. user=mdettweiler [2015-12-22 01:30:37] 609*2^1417899-1 is not prime. Res64: 42DCA1997F842C0C Time : 0.0 sec. user=mdettweiler [2015-12-22 01:30:37] 615*2^1417900-1 is not prime. Res64: 03C8FCC53DA1511D Time : 0.0 sec. user=mdettweiler [2015-12-22 01:30:38] 703*2^1417899-1 is not prime. Res64: CE2CB613BA04BE2B Time : 0.0 sec. user=mdettweiler [2015-12-22 01:48:12] 677*2^1417900-1 is not prime. Res64: 84F153B6E1302CC1 Time : 0.0 sec. user=mdettweiler [2015-12-22 01:48:13] 885*2^1417900-1 is not prime. Res64: B613227661B1CDFE Time : 0.0 sec. user=mdettweiler [2015-12-22 01:48:13] 743*2^1417900-1 is not prime. Res64: B450E7DC9339EF96 Time : 0.0 sec. user=mdettweiler [2015-12-22 01:48:14] 989*2^1417900-1 is not prime. Res64: 1AF9565A22997D22 Time : 0.0 sec. user=mdettweiler [2015-12-22 02:05:45] 727*2^1417901-1 is not prime. Res64: 57819B908CA83D49 Time : 0.0 sec. user=mdettweiler [2015-12-22 02:05:46] 949*2^1417901-1 is not prime. Res64: A4F6A33E54496136 Time : 0.0 sec. user=mdettweiler [2015-12-22 02:05:47] 769*2^1417901-1 is not prime. Res64: D2CC6A8762558589 Time : 0.0 sec. user=mdettweiler [2015-12-22 02:05:47] 981*2^1417901-1 is not prime. Res64: A4781C76BC71E91B Time : 0.0 sec. user=mdettweiler [2015-12-22 02:23:21] 611*2^1417902-1 is not prime. Res64: ADD614D237495E99 Time : 0.0 sec. user=mdettweiler [2015-12-22 02:23:21] 797*2^1417902-1 is not prime. Res64: E269A9DEADBB8ED3 Time : 0.0 sec. user=mdettweiler [2015-12-22 02:23:22] 737*2^1417902-1 is not prime. Res64: F8B7F40BB86B184E Time : 0.0 sec. user=mdettweiler [2015-12-22 02:23:22] 621*2^1417903-1 is not prime. Res64: 1E9B8EC6A9BD4E65 Time : 0.0 sec. user=mdettweiler [2015-12-22 02:40:54] 675*2^1417903-1 is not prime. Res64: 4464B4B64A25D0D8 Time : 0.0 sec. user=mdettweiler [2015-12-22 02:40:54] 735*2^1417903-1 is not prime. Res64: 3740237208FCC881 Time : 0.0 sec. user=mdettweiler [2015-12-22 02:40:54] 765*2^1417903-1 is not prime. Res64: F4097E8A40DC6604 Time : 0.0 sec. user=mdettweiler [2015-12-22 02:40:55] 729*2^1417903-1 is not prime. Res64: BB30D431790A8D9C Time : 0.0 sec. user=mdettweiler [2015-12-22 02:58:27] 913*2^1417903-1 is not prime. Res64: 4A0FB854A0B3193E Time : 0.0 sec. user=mdettweiler [2015-12-22 02:58:27] 635*2^1417904-1 is not prime. Res64: 8C1370EA4BB01EE1 Time : 0.0 sec. user=mdettweiler [2015-12-22 02:58:28] 819*2^1417903-1 is not prime. Res64: 6785F015B9B46A93 Time : 0.0 sec. user=mdettweiler [2015-12-22 02:58:28] 861*2^1417903-1 is not prime. Res64: B4D95A78BDEC3B95 Time : 0.0 sec. user=mdettweiler [2015-12-22 03:15:57] 899*2^1417904-1 is not prime. Res64: 2EA00DDA89D12384 Time : 0.0 sec. user=mdettweiler [2015-12-22 03:15:57] 819*2^1417904-1 is not prime. Res64: 300A0487D160F6B4 Time : 0.0 sec. user=mdettweiler [2015-12-22 03:15:58] 857*2^1417904-1 is not prime. Res64: 7E146E9376F77168 Time : 0.0 sec. user=mdettweiler [2015-12-22 03:15:58] 945*2^1417904-1 is not prime. Res64: F55BFE44C61B8A72 Time : 0.0 sec. user=mdettweiler [2015-12-22 03:33:27] 601*2^1417905-1 is not prime. Res64: C164FFB42A7C6800 Time : 0.0 sec. user=mdettweiler [2015-12-22 03:33:28] 765*2^1417905-1 is not prime. Res64: 37A6279481906E38 Time : 0.0 sec. user=mdettweiler [2015-12-22 03:33:29] 627*2^1417905-1 is not prime. Res64: C2B2A60A73EA9DD6 Time : 0.0 sec. user=mdettweiler [2015-12-22 03:33:30] 831*2^1417905-1 is not prime. Res64: BB4260FE89ABCD23 Time : 0.0 sec. user=mdettweiler [2015-12-22 03:51:20] 917*2^1417906-1 is not prime. Res64: 2BC8AA948F279136 Time : 0.0 sec. user=mdettweiler [2015-12-22 03:51:21] 777*2^1417906-1 is not prime. Res64: 3E5DCB582E24D3E0 Time : 0.0 sec. user=mdettweiler [2015-12-22 03:51:23] 923*2^1417906-1 is not prime. Res64: BADB2454B51D575C Time : 0.0 sec. user=mdettweiler [2015-12-22 03:51:25] 815*2^1417906-1 is not prime. Res64: 11A7D575B62C89E4 Time : 0.0 sec. user=mdettweiler [2015-12-22 04:09:10] 987*2^1417906-1 is not prime. Res64: 2A3F3F67AB9BBEF3 Time : 0.0 sec. user=mdettweiler [2015-12-22 04:09:10] 645*2^1417907-1 is not prime. Res64: 72BFA9B820198F41 Time : 0.0 sec. user=mdettweiler [2015-12-22 04:09:10] 651*2^1417907-1 is not prime. Res64: C7B3D57F56BF7D07 Time : 0.0 sec. user=mdettweiler [2015-12-22 04:09:11] 673*2^1417907-1 is not prime. Res64: 24947BF25147A73A Time : 0.0 sec. user=mdettweiler [2015-12-22 04:26:40] 733*2^1417907-1 is not prime. Res64: C40CD6AF35B32EB4 Time : 0.0 sec. user=mdettweiler [2015-12-22 04:26:41] 889*2^1417907-1 is not prime. Res64: B5C4AF9F75D49716 Time : 0.0 sec. user=mdettweiler [2015-12-22 04:26:41] 901*2^1417907-1 is not prime. Res64: FEABDF585EA3DD67 Time : 0.0 sec. user=mdettweiler [2015-12-22 04:26:41] 633*2^1417908-1 is not prime. Res64: 7713EF616D041D2A Time : 0.0 sec. user=mdettweiler [2015-12-22 04:44:10] 753*2^1417908-1 is not prime. Res64: C694AFB009A0730F Time : 0.0 sec. user=mdettweiler [2015-12-22 04:44:11] 657*2^1417908-1 is not prime. Res64: 74515DB399661FAD Time : 0.0 sec. user=mdettweiler [2015-12-22 04:44:11] 825*2^1417908-1 is not prime. Res64: F911963CEC18B9D2 Time : 0.0 sec. user=mdettweiler [2015-12-22 04:44:11] 737*2^1417908-1 is not prime. Res64: 052AF2A06344A1CC Time : 0.0 sec. user=mdettweiler [2015-12-22 05:01:41] 909*2^1417908-1 is not prime. Res64: FF5AB481EF5A4AA1 Time : 0.0 sec. user=mdettweiler [2015-12-22 05:01:43] 923*2^1417908-1 is not prime. Res64: C8B61FF255164A89 Time : 0.0 sec. user=mdettweiler [2015-12-22 05:01:43] 649*2^1417909-1 is not prime. Res64: 5DA3525969ADF148 Time : 0.0 sec. user=mdettweiler [2015-12-22 05:01:46] 721*2^1417909-1 is not prime. Res64: EC0C9AA01E6ABA1A Time : 0.0 sec. user=mdettweiler [2015-12-22 05:19:31] 829*2^1417909-1 is not prime. Res64: 4A65EC84E5522E59 Time : 0.0 sec. user=mdettweiler [2015-12-22 05:19:31] 895*2^1417909-1 is not prime. Res64: B3002ABC08FDC4F9 Time : 0.0 sec. user=mdettweiler [2015-12-22 05:19:35] 897*2^1417909-1 is not prime. Res64: 3D7D437DA40632EF Time : 0.0 sec. user=mdettweiler [2015-12-22 05:19:35] 657*2^1417910-1 is not prime. Res64: C8D8F7A28FC29006 Time : 0.0 sec. user=mdettweiler [2015-12-22 05:37:00] 713*2^1417910-1 is not prime. Res64: 2BC57A3EC3EA0722 Time : 0.0 sec. user=mdettweiler [2015-12-22 05:37:01] 857*2^1417910-1 is not prime. Res64: 39785CC8819ED696 Time : 0.0 sec. user=mdettweiler [2015-12-22 05:37:03] 861*2^1417910-1 is not prime. Res64: E5C4557B5D633A82 Time : 0.0 sec. user=mdettweiler [2015-12-22 05:37:03] 875*2^1417910-1 is not prime. Res64: 86D82677DC10B134 Time : 0.0 sec. user=mdettweiler [2015-12-22 05:54:29] 923*2^1417910-1 is not prime. Res64: 4632CA90495D1FD7 Time : 0.0 sec. user=mdettweiler [2015-12-22 05:54:30] 823*2^1417911-1 is not prime. Res64: E5C21C424556A0B6 Time : 0.0 sec. user=mdettweiler [2015-12-22 05:54:31] 859*2^1417911-1 is not prime. Res64: 927003E18C55B322 Time : 0.0 sec. user=mdettweiler [2015-12-22 05:54:31] 949*2^1417911-1 is not prime. Res64: 2CA11A821D6C3ACA Time : 0.0 sec. user=mdettweiler [2015-12-22 06:11:58] 665*2^1417912-1 is not prime. Res64: 74A3797E77B6B750 Time : 0.0 sec. user=mdettweiler [2015-12-22 06:11:59] 887*2^1417912-1 is not prime. Res64: BF513F00540325EC Time : 0.0 sec. user=mdettweiler [2015-12-22 06:11:59] 869*2^1417912-1 is not prime. Res64: 0E97C3111DC21F7B Time : 0.0 sec. user=mdettweiler [2015-12-22 06:11:59] 915*2^1417912-1 is not prime. Res64: 20789561C9E3C370 Time : 0.0 sec. user=mdettweiler [2015-12-22 06:29:29] 917*2^1417912-1 is not prime. Res64: F4B8E031258B32C4 Time : 0.0 sec. user=mdettweiler [2015-12-22 06:29:29] 965*2^1417912-1 is not prime. Res64: 3107D41E69A36241 Time : 0.0 sec. user=mdettweiler [2015-12-22 06:29:30] 983*2^1417912-1 is not prime. Res64: E71CC791BB197200 Time : 0.0 sec. user=mdettweiler [2015-12-22 06:29:30] 675*2^1417913-1 is not prime. Res64: F7C77C57F202CF92 Time : 0.0 sec. user=mdettweiler [2015-12-22 06:46:59] 789*2^1417913-1 is not prime. Res64: 4BAF62C748FF662E Time : 0.0 sec. user=mdettweiler [2015-12-22 06:46:59] 897*2^1417913-1 is not prime. Res64: 0591B3C9F9023050 Time : 0.0 sec. user=mdettweiler [2015-12-22 06:46:59] 721*2^1417913-1 is not prime. Res64: DA01BE25AF8DC740 Time : 0.0 sec. user=mdettweiler [2015-12-22 06:47:00] 727*2^1417913-1 is not prime. Res64: C5E3047E18CA8F78 Time : 0.0 sec. user=mdettweiler [2015-12-22 07:04:29] 991*2^1417913-1 is not prime. Res64: CAD3E5638DEE0D41 Time : 0.0 sec. user=mdettweiler [2015-12-22 07:04:30] 915*2^1417913-1 is not prime. Res64: E980BE15CAEC618A Time : 0.0 sec. user=mdettweiler [2015-12-22 07:04:31] 611*2^1417914-1 is not prime. Res64: F8C12CE10E42B5EC Time : 0.0 sec. user=mdettweiler [2015-12-22 07:04:31] 981*2^1417913-1 is not prime. Res64: A1A77CF55C18C87D Time : 0.0 sec. user=mdettweiler [2015-12-22 07:22:26] 807*2^1417914-1 is not prime. Res64: 0B1E9523E99E5063 Time : 0.0 sec. user=mdettweiler [2015-12-22 07:22:26] 821*2^1417914-1 is not prime. Res64: 7ADD77FD72C8FB63 Time : 0.0 sec. user=mdettweiler [2015-12-22 07:22:26] 971*2^1417914-1 is not prime. Res64: 30EBB14CECC7534E Time : 0.0 sec. user=mdettweiler [2015-12-22 07:22:27] 619*2^1417915-1 is not prime. Res64: D882384226FE165D Time : 0.0 sec. user=mdettweiler [2015-12-22 07:39:55] 919*2^1417915-1 is not prime. Res64: 722E3A09F2544E3E Time : 0.0 sec. user=mdettweiler [2015-12-22 07:39:55] 629*2^1417916-1 is not prime. Res64: 5F03C67AD9CCB821 Time : 0.0 sec. user=mdettweiler [2015-12-22 07:39:56] 723*2^1417915-1 is not prime. Res64: C1A1F9CC1BA6DF56 Time : 0.0 sec. user=mdettweiler [2015-12-22 07:39:57] 855*2^1417915-1 is not prime. Res64: 02095F6E2BDA782E Time : 0.0 sec. user=mdettweiler [2015-12-22 07:57:24] 707*2^1417916-1 is not prime. Res64: 135D677E18543770 Time : 0.0 sec. user=mdettweiler [2015-12-22 07:57:25] 789*2^1417916-1 is not prime. Res64: F4065734A8B61AD1 Time : 0.0 sec. user=mdettweiler [2015-12-22 07:57:25] 635*2^1417916-1 is not prime. Res64: 5963938F03668544 Time : 0.0 sec. user=mdettweiler [2015-12-22 07:57:26] 669*2^1417916-1 is not prime. Res64: 5BA6E3F1DA13EC5C Time : 0.0 sec. user=mdettweiler [2015-12-22 08:14:54] 837*2^1417916-1 is not prime. Res64: 7A83BDCE568267AD Time : 0.0 sec. user=mdettweiler [2015-12-22 08:14:54] 875*2^1417916-1 is not prime. Res64: F3E25B681B00B1C5 Time : 0.0 sec. user=mdettweiler [2015-12-22 08:14:56] 903*2^1417916-1 is not prime. Res64: 627A2EB13007966F Time : 0.0 sec. user=mdettweiler [2015-12-22 08:14:56] 969*2^1417916-1 is not prime. Res64: 5FE05B5EEC4E18ED Time : 0.0 sec. user=mdettweiler [2015-12-22 08:32:24] 685*2^1417917-1 is not prime. Res64: 7FF4301E037E04FE Time : 0.0 sec. user=mdettweiler [2015-12-22 08:32:24] 759*2^1417917-1 is not prime. Res64: ED5F88B2C7D50602 Time : 0.0 sec. user=mdettweiler [2015-12-22 08:32:24] 691*2^1417917-1 is not prime. Res64: 0058B0D1A3DFA35C Time : 0.0 sec. user=mdettweiler [2015-12-22 08:32:25] 859*2^1417917-1 is not prime. Res64: C0B69AF7E20B0F97 Time : 0.0 sec. user=mdettweiler [2015-12-22 08:49:53] 865*2^1417917-1 is not prime. Res64: 2CACD206796CE117 Time : 0.0 sec. user=mdettweiler [2015-12-22 08:49:53] 901*2^1417917-1 is not prime. Res64: 7BDDA7435FD5BF85 Time : 0.0 sec. user=mdettweiler [2015-12-22 08:49:53] 605*2^1417918-1 is not prime. Res64: FA6B377320B89331 Time : 0.0 sec. user=mdettweiler [2015-12-22 08:49:54] 663*2^1417918-1 is not prime. Res64: C423BDAC001BC457 Time : 0.0 sec. user=mdettweiler [2015-12-22 09:07:23] 681*2^1417918-1 is not prime. Res64: 879D7D319083A420 Time : 0.0 sec. user=mdettweiler [2015-12-22 09:07:23] 737*2^1417918-1 is not prime. Res64: 2BE1DC51514BA188 Time : 0.0 sec. user=mdettweiler [2015-12-22 09:07:24] 705*2^1417918-1 is not prime. Res64: AA0901F610261D88 Time : 0.0 sec. user=mdettweiler [2015-12-22 09:07:24] 755*2^1417918-1 is not prime. Res64: 9C7CB2A40F7A3CF6 Time : 0.0 sec. user=mdettweiler [2015-12-22 09:24:54] 815*2^1417918-1 is not prime. Res64: 073A4C2FB75998EC Time : 0.0 sec. user=mdettweiler [2015-12-22 09:24:55] 761*2^1417918-1 is not prime. Res64: 828DAC682E3A19D2 Time : 0.0 sec. user=mdettweiler [2015-12-22 09:24:55] 863*2^1417918-1 is not prime. Res64: DF7C75364BF3267D Time : 0.0 sec. user=mdettweiler [2015-12-22 09:24:55] 773*2^1417918-1 is not prime. Res64: 5CAC4D1A957E8FEA Time : 0.0 sec. user=mdettweiler [2015-12-22 09:42:24] 615*2^1417919-1 is not prime. Res64: CE3B67FC11560443 Time : 0.0 sec. user=mdettweiler [2015-12-22 09:42:25] 633*2^1417919-1 is not prime. Res64: 68462CC43D345212 Time : 0.0 sec. user=mdettweiler [2015-12-22 09:42:25] 693*2^1417919-1 is not prime. Res64: 8A09565219254D0F Time : 0.0 sec. user=mdettweiler [2015-12-22 09:42:26] 729*2^1417919-1 is not prime. Res64: 025E6141F780C2DE Time : 0.0 sec. user=mdettweiler [2015-12-22 09:59:54] 759*2^1417919-1 is not prime. Res64: 541197FF01BA9D84 Time : 0.0 sec. user=mdettweiler [2015-12-22 09:59:54] 913*2^1417919-1 is not prime. Res64: 9667AB9613ED21AC Time : 0.0 sec. user=mdettweiler [2015-12-22 09:59:54] 609*2^1417920-1 is not prime. Res64: B862EAC5DA01FFB6 Time : 0.0 sec. user=mdettweiler [2015-12-22 09:59:55] 693*2^1417920-1 is not prime. Res64: EA571EC1EFB80F7B Time : 0.0 sec. user=mdettweiler [2015-12-22 10:17:23] 855*2^1417921-1 is not prime. Res64: CD6C131A498BBA92 Time : 0.0 sec. user=mdettweiler [2015-12-22 10:17:24] 955*2^1417921-1 is not prime. Res64: 65990802EEFD76EB Time : 0.0 sec. user=mdettweiler [2015-12-22 10:17:24] 857*2^1417920-1 is not prime. Res64: 6DF3759E021797E9 Time : 0.0 sec. user=mdettweiler [2015-12-22 10:17:24] 747*2^1417921-1 is not prime. Res64: 2D91A1CBEEBE1E2E Time : 0.0 sec. user=mdettweiler [2015-12-22 10:34:53] 623*2^1417922-1 is not prime. Res64: A6AB87A100CAD75D Time : 0.0 sec. user=mdettweiler [2015-12-22 10:34:53] 731*2^1417922-1 is not prime. Res64: 20388A0A3FEB9F33 Time : 0.0 sec. user=mdettweiler [2015-12-22 10:34:54] 923*2^1417922-1 is not prime. Res64: 40FA12E5753380D5 Time : 0.0 sec. user=mdettweiler [2015-12-22 10:34:54] 945*2^1417922-1 is not prime. Res64: 48BCD75355B40EFB Time : 0.0 sec. user=mdettweiler [2015-12-22 10:52:22] 981*2^1417922-1 is not prime. Res64: D5F96B32E8EE7D97 Time : 0.0 sec. user=mdettweiler [2015-12-22 10:52:23] 663*2^1417923-1 is not prime. Res64: 86A47826912F714A Time : 0.0 sec. user=mdettweiler [2015-12-22 10:52:23] 995*2^1417922-1 is not prime. Res64: FADD4074B6B92759 Time : 0.0 sec. user=mdettweiler [2015-12-22 10:52:23] 669*2^1417923-1 is not prime. Res64: A92458B1B6BE3AFC Time : 0.0 sec. user=mdettweiler [2015-12-22 11:09:52] 885*2^1417923-1 is not prime. Res64: B147157EB1C10402 Time : 0.0 sec. user=mdettweiler [2015-12-22 11:09:52] 745*2^1417923-1 is not prime. Res64: D7CEA5562B921D99 Time : 0.0 sec. user=mdettweiler [2015-12-22 11:09:53] 635*2^1417924-1 is not prime. Res64: 1CD4FF7883B7B316 Time : 0.0 sec. user=mdettweiler [2015-12-22 11:09:53] 795*2^1417923-1 is not prime. Res64: A895FE5442E77A5B Time : 0.0 sec. user=mdettweiler [2015-12-22 11:27:24] 947*2^1417924-1 is not prime. Res64: D513438E4B1D420E Time : 0.0 sec. user=mdettweiler [2015-12-22 11:27:24] 987*2^1417924-1 is not prime. Res64: E25024AA7A51888F Time : 0.0 sec. user=mdettweiler [2015-12-22 11:27:25] 695*2^1417924-1 is not prime. Res64: F725B35C025B2516 Time : 0.0 sec. user=mdettweiler [2015-12-22 11:27:25] 785*2^1417924-1 is not prime. Res64: 815519E69C18F293 Time : 0.0 sec. user=mdettweiler [2015-12-22 11:44:54] 669*2^1417925-1 is not prime. Res64: 4139F38700AD1D5E Time : 0.0 sec. user=mdettweiler [2015-12-22 11:44:54] 691*2^1417925-1 is not prime. Res64: B9E77593B1BF177D Time : 0.0 sec. user=mdettweiler [2015-12-22 11:44:55] 759*2^1417925-1 is not prime. Res64: DFD1DEFD0B58F700 Time : 0.0 sec. user=mdettweiler [2015-12-22 11:44:56] 855*2^1417925-1 is not prime. Res64: BF2CF1BEE244F62A Time : 0.0 sec. user=mdettweiler [2015-12-22 12:02:24] 865*2^1417925-1 is not prime. Res64: F3254B3B674867A3 Time : 0.0 sec. user=mdettweiler [2015-12-22 12:02:25] 885*2^1417925-1 is not prime. Res64: DEDDA2BDB34AAAA4 Time : 0.0 sec. user=mdettweiler [2015-12-22 12:02:25] 677*2^1417926-1 is not prime. Res64: 387A795CA3463BD6 Time : 0.0 sec. user=mdettweiler [2015-12-22 12:02:26] 723*2^1417926-1 is not prime. Res64: 31E4E8C77CE1525F Time : 0.0 sec. user=mdettweiler [2015-12-22 12:20:06] 741*2^1417926-1 is not prime. Res64: F57BBE27FE94A360 Time : 0.0 sec. user=mdettweiler [2015-12-22 12:20:06] 807*2^1417926-1 is not prime. Res64: 7F5D4CFBFD7F84A9 Time : 0.0 sec. user=mdettweiler [2015-12-22 12:20:06] 765*2^1417926-1 is not prime. Res64: 3762BC8860C229EA Time : 0.0 sec. user=mdettweiler [2015-12-22 12:20:07] 833*2^1417926-1 is not prime. Res64: 7F6904EAEC83BFC3 Time : 0.0 sec. user=mdettweiler [2015-12-22 12:37:37] 673*2^1417927-1 is not prime. Res64: 679A4CF0AD03D5E0 Time : 0.0 sec. user=mdettweiler [2015-12-22 12:37:37] 963*2^1417926-1 is not prime. Res64: 19C03345EA534D27 Time : 0.0 sec. user=mdettweiler [2015-12-22 12:37:37] 741*2^1417927-1 is not prime. Res64: 11F07B107BA5188A Time : 0.0 sec. user=mdettweiler [2015-12-22 12:37:37] 1001*2^1417926-1 is not prime. Res64: 47ACC81B17983983 Time : 0.0 sec. user=mdettweiler [2015-12-22 12:55:10] 973*2^1417927-1 is not prime. Res64: 836D70898E7440C3 Time : 0.0 sec. user=mdettweiler [2015-12-22 12:55:11] 909*2^1417927-1 is not prime. Res64: 52444CC2F823E49B Time : 0.0 sec. user=mdettweiler [2015-12-22 12:55:11] 975*2^1417927-1 is not prime. Res64: B2F2968C762E378B Time : 0.0 sec. user=mdettweiler [2015-12-22 12:55:11] 933*2^1417927-1 is not prime. Res64: F2228BA48C6AA2A6 Time : 0.0 sec. user=mdettweiler [2015-12-22 13:12:40] 979*2^1417927-1 is not prime. Res64: BE35FA9F14CEE73F Time : 0.0 sec. user=mdettweiler [2015-12-22 13:12:40] 725*2^1417928-1 is not prime. Res64: 8DBEDAE1E1A7AD35 Time : 0.0 sec. user=mdettweiler [2015-12-22 13:12:40] 657*2^1417928-1 is not prime. Res64: 9FC1416CA0EE975D Time : 0.0 sec. user=mdettweiler [2015-12-22 13:12:41] 797*2^1417928-1 is not prime. Res64: 507DAD6D14E93249 Time : 0.0 sec. user=mdettweiler [2015-12-22 13:30:09] 993*2^1417928-1 is not prime. Res64: 2604BFBDDB52504A Time : 0.0 sec. user=mdettweiler [2015-12-22 13:30:10] 601*2^1417929-1 is not prime. Res64: C01D512BCDE8C78D Time : 0.0 sec. user=mdettweiler [2015-12-22 13:30:10] 827*2^1417928-1 is not prime. Res64: 024E62F85AEAE905 Time : 0.0 sec. user=mdettweiler [2015-12-22 13:30:10] 927*2^1417928-1 is not prime. Res64: 33658FE81CD0DF83 Time : 0.0 sec. user=mdettweiler [2015-12-22 13:47:38] 661*2^1417929-1 is not prime. Res64: 579D2F98AF501FFF Time : 0.0 sec. user=mdettweiler [2015-12-22 13:47:39] 727*2^1417929-1 is not prime. Res64: 30376AF9B75C602D Time : 0.0 sec. user=mdettweiler [2015-12-22 13:47:39] 835*2^1417929-1 is not prime. Res64: 807F1E984F657E85 Time : 0.0 sec. user=mdettweiler [2015-12-22 13:47:39] 861*2^1417929-1 is not prime. Res64: 04CA8EE02991B48B Time : 0.0 sec. user=mdettweiler [2015-12-22 14:05:09] 975*2^1417929-1 is not prime. Res64: 3E9A03CC90C0FAE3 Time : 0.0 sec. user=mdettweiler [2015-12-22 14:05:09] 909*2^1417929-1 is not prime. Res64: 4D9DD58BA2298044 Time : 0.0 sec. user=mdettweiler [2015-12-22 14:05:11] 919*2^1417929-1 is not prime. Res64: 773268521F2D1AC7 Time : 0.0 sec. user=mdettweiler [2015-12-22 14:05:12] 611*2^1417930-1 is not prime. Res64: C5B3AF811B096C43 Time : 0.0 sec. user=mdettweiler [2015-12-22 14:22:52] 635*2^1417930-1 is not prime. Res64: D1D4A12E02A8126A Time : 0.0 sec. user=mdettweiler [2015-12-22 14:22:52] 743*2^1417930-1 is not prime. Res64: 595D274CD006B098 Time : 0.0 sec. user=mdettweiler [2015-12-22 14:22:53] 695*2^1417930-1 is not prime. Res64: 376F2180A25BB486 Time : 0.0 sec. user=mdettweiler [2015-12-22 14:22:53] 873*2^1417930-1 is not prime. Res64: 8D9C44FA8F36F487 Time : 0.0 sec. user=mdettweiler [2015-12-22 14:40:26] 911*2^1417930-1 is not prime. Res64: 25AFB9890ED3D7D6 Time : 0.0 sec. user=mdettweiler [2015-12-22 14:40:26] 663*2^1417931-1 is not prime. Res64: A6687170DC839020 Time : 0.0 sec. user=mdettweiler [2015-12-22 14:40:27] 711*2^1417931-1 is not prime. Res64: 1AE84DB02D72BC7A Time : 0.0 sec. user=mdettweiler [2015-12-22 14:40:28] 759*2^1417931-1 is not prime. Res64: 25EC13FA237F551E Time : 0.0 sec. user=mdettweiler [2015-12-22 14:57:55] 871*2^1417931-1 is not prime. Res64: 61D687B83C119301 Time : 0.0 sec. user=mdettweiler [2015-12-22 14:57:55] 999*2^1417931-1 is not prime. Res64: 20E97AFF4FE38C3A Time : 0.0 sec. user=mdettweiler [2015-12-22 14:57:56] 653*2^1417932-1 is not prime. Res64: EA1022ABDFE8237B Time : 0.0 sec. user=mdettweiler [2015-12-22 14:57:57] 753*2^1417932-1 is not prime. Res64: F1A8474B71BF3AC2 Time : 0.0 sec. user=mdettweiler [2015-12-22 15:15:24] 797*2^1417932-1 is not prime. Res64: 974BFDA45F5DCCA7 Time : 0.0 sec. user=mdettweiler [2015-12-22 15:15:24] 929*2^1417932-1 is not prime. Res64: 36303A4364E149F9 Time : 0.0 sec. user=mdettweiler [2015-12-22 15:15:25] 819*2^1417932-1 is not prime. Res64: 796FEEB46F29BD8F Time : 0.0 sec. user=mdettweiler [2015-12-22 15:15:25] 687*2^1417933-1 is not prime. Res64: 804BEB90247139A0 Time : 0.0 sec. user=mdettweiler [2015-12-22 15:32:53] 945*2^1417933-1 is not prime. Res64: D4B60B0F58FFD16E Time : 0.0 sec. user=mdettweiler [2015-12-22 15:32:53] 687*2^1417934-1 is not prime. Res64: 1C92B3C8F1C0BDE5 Time : 0.0 sec. user=mdettweiler [2015-12-22 15:32:57] 847*2^1417933-1 is not prime. Res64: 6876600FAEF0AEEE Time : 0.0 sec. user=mdettweiler [2015-12-22 15:32:57] 855*2^1417933-1 is not prime. Res64: C81FC1117319CA66 Time : 0.0 sec. user=mdettweiler [2015-12-22 15:50:22] 887*2^1417934-1 is not prime. Res64: 74CE557FEFF6727D Time : 0.0 sec. user=mdettweiler [2015-12-22 15:50:22] 915*2^1417934-1 is not prime. Res64: 4FF3E00F54368D6E Time : 0.0 sec. user=mdettweiler [2015-12-22 15:50:26] 951*2^1417934-1 is not prime. Res64: 07A52D1BF8B5270F Time : 0.0 sec. user=mdettweiler [2015-12-22 15:50:26] 987*2^1417934-1 is not prime. Res64: 8BDFD4629F48E6DC Time : 0.0 sec. user=mdettweiler [2015-12-22 16:07:53] 651*2^1417935-1 is not prime. Res64: 9BE726B1F6B9669E Time : 0.0 sec. user=mdettweiler [2015-12-22 16:07:54] 685*2^1417935-1 is not prime. Res64: BA86954FEC3AC04F Time : 0.0 sec. user=mdettweiler [2015-12-22 16:07:55] 693*2^1417935-1 is not prime. Res64: 08E5999039686FE0 Time : 0.0 sec. user=mdettweiler [2015-12-22 16:07:56] 793*2^1417935-1 is not prime. Res64: B6BC819B67FB354D Time : 0.0 sec. user=mdettweiler [2015-12-22 16:25:22] 795*2^1417935-1 is not prime. Res64: EBFEA96E99874048 Time : 0.0 sec. user=mdettweiler [2015-12-22 16:25:23] 973*2^1417935-1 is not prime. Res64: C86D32FF9BC6FBB6 Time : 0.0 sec. user=mdettweiler [2015-12-22 16:25:24] 603*2^1417936-1 is not prime. Res64: 97284FAD6EA7299F Time : 0.0 sec. user=mdettweiler [2015-12-22 16:25:25] 623*2^1417936-1 is not prime. Res64: 0FFDEA522BEF7C07 Time : 0.0 sec. user=mdettweiler [2015-12-22 16:42:51] 705*2^1417936-1 is not prime. Res64: FE776B17F5008BC3 Time : 0.0 sec. user=mdettweiler [2015-12-22 16:42:52] 717*2^1417936-1 is not prime. Res64: 62760ABE73168CA6 Time : 0.0 sec. user=mdettweiler [2015-12-22 16:42:53] 723*2^1417936-1 is not prime. Res64: 70A2D7C6E1D60931 Time : 0.0 sec. user=mdettweiler [2015-12-22 16:42:53] 735*2^1417936-1 is not prime. Res64: A33CBB5D8E2A97FC Time : 0.0 sec. user=mdettweiler [2015-12-22 17:00:22] 965*2^1417936-1 is not prime. Res64: 135944EE23576575 Time : 0.0 sec. user=mdettweiler [2015-12-22 17:00:22] 855*2^1417936-1 is not prime. Res64: C0C5CC80FC0BA539 Time : 0.0 sec. user=mdettweiler [2015-12-22 17:00:23] 691*2^1417937-1 is not prime. Res64: 02B6B3F215D24E37 Time : 0.0 sec. user=mdettweiler [2015-12-22 17:00:23] 917*2^1417936-1 is not prime. Res64: 777A5321117CADCF Time : 0.0 sec. user=mdettweiler [2015-12-22 17:17:53] 909*2^1417937-1 is not prime. Res64: 31C236C414F6E771 Time : 0.0 sec. user=mdettweiler [2015-12-22 17:17:53] 671*2^1417938-1 is not prime. Res64: 8AB9AB15C66DCD03 Time : 0.0 sec. user=mdettweiler [2015-12-22 17:17:54] 767*2^1417938-1 is not prime. Res64: 6E8B22EF14B26036 Time : 0.0 sec. user=mdettweiler [2015-12-22 17:17:54] 797*2^1417938-1 is not prime. Res64: F278358B4EF08818 Time : 0.0 sec. user=mdettweiler [2015-12-22 17:35:24] 951*2^1417938-1 is not prime. Res64: C0C2CBC4C1ED29AA Time : 0.0 sec. user=mdettweiler [2015-12-22 17:35:24] 971*2^1417938-1 is not prime. Res64: 5CC1CD51A740CB9D Time : 0.0 sec. user=mdettweiler [2015-12-22 17:35:25] 887*2^1417938-1 is not prime. Res64: 4C3C98D80C633E9D Time : 0.0 sec. user=mdettweiler [2015-12-22 17:35:26] 905*2^1417938-1 is not prime. Res64: DDA4DE282285E467 Time : 0.0 sec. user=mdettweiler [2015-12-22 17:52:52] 621*2^1417939-1 is not prime. Res64: 22DA51E460800686 Time : 0.0 sec. user=mdettweiler [2015-12-22 17:52:52] 733*2^1417939-1 is not prime. Res64: D4765485BCBB253B Time : 0.0 sec. user=mdettweiler [2015-12-22 17:52:54] 843*2^1417939-1 is not prime. Res64: 5A1CE5F0F9D5CC70 Time : 0.0 sec. user=mdettweiler [2015-12-22 17:52:54] 859*2^1417939-1 is not prime. Res64: 958E8D258AB3F428 Time : 0.0 sec. user=mdettweiler [2015-12-22 18:10:20] 885*2^1417939-1 is not prime. Res64: DC676C6440B55FEB Time : 0.0 sec. user=mdettweiler [2015-12-22 18:10:21] 919*2^1417939-1 is not prime. Res64: 84952377ADFED16D Time : 0.0 sec. user=mdettweiler [2015-12-22 18:10:22] 931*2^1417939-1 is not prime. Res64: C2DEA1E5DB78EA1F Time : 0.0 sec. user=mdettweiler [2015-12-22 18:10:23] 943*2^1417939-1 is not prime. Res64: 91DF2B6153389EB6 Time : 0.0 sec. user=mdettweiler [2015-12-22 18:27:52] 833*2^1417940-1 is not prime. Res64: 4AAB79361A38CC27 Time : 0.0 sec. user=mdettweiler [2015-12-22 18:27:52] 979*2^1417939-1 is not prime. Res64: D9AAB0687BD8E63B Time : 0.0 sec. user=mdettweiler [2015-12-22 18:27:53] 935*2^1417940-1 is not prime. Res64: 41B9259F2C3CD5D4 Time : 0.0 sec. user=mdettweiler [2015-12-22 18:27:53] 813*2^1417940-1 is not prime. Res64: CE04089A98BEFCA0 Time : 0.0 sec. user=mdettweiler [2015-12-22 18:45:21] 847*2^1417941-1 is not prime. Res64: 6F2DBED670ACC62B Time : 0.0 sec. user=mdettweiler [2015-12-22 18:45:22] 885*2^1417941-1 is not prime. Res64: B4CC6C4324C6DEF7 Time : 0.0 sec. user=mdettweiler [2015-12-22 18:45:22] 983*2^1417940-1 is not prime. Res64: 08FF8F2EE6BC6A12 Time : 0.0 sec. user=mdettweiler [2015-12-22 18:45:22] 639*2^1417941-1 is not prime. Res64: 1302174F687C2732 Time : 0.0 sec. user=mdettweiler [2015-12-22 19:02:51] 901*2^1417941-1 is not prime. Res64: 428B0AF26F983424 Time : 0.0 sec. user=mdettweiler [2015-12-22 19:02:52] 695*2^1417942-1 is not prime. Res64: CFD42A8DBF5428A2 Time : 0.0 sec. user=mdettweiler [2015-12-22 19:02:53] 657*2^1417942-1 is not prime. Res64: 1820DA6A5EA2CBD9 Time : 0.0 sec. user=mdettweiler [2015-12-22 19:02:53] 713*2^1417942-1 is not prime. Res64: D50AD173DEA4DA36 Time : 0.0 sec. user=mdettweiler [2015-12-22 19:20:34] 777*2^1417942-1 is not prime. Res64: DB2A3647D51F8431 Time : 0.0 sec. user=mdettweiler [2015-12-22 19:20:35] 923*2^1417942-1 is not prime. Res64: C46432678D15F0D5 Time : 0.0 sec. user=mdettweiler [2015-12-22 19:20:35] 821*2^1417942-1 is not prime. Res64: 7370CB1E4A54C491 Time : 0.0 sec. user=mdettweiler [2015-12-22 19:20:35] 633*2^1417943-1 is not prime. Res64: CBC419E8A7ADAACE Time : 0.0 sec. user=mdettweiler [2015-12-22 19:38:04] 643*2^1417943-1 is not prime. Res64: 89CFF4C17B9B97A4 Time : 0.0 sec. user=mdettweiler [2015-12-22 19:38:04] 753*2^1417943-1 is not prime. Res64: EFA4653C3A7940B9 Time : 0.0 sec. user=mdettweiler [2015-12-22 19:38:04] 693*2^1417944-1 is not prime. Res64: 50DDF70020167FC6 Time : 0.0 sec. user=mdettweiler [2015-12-22 19:38:04] 837*2^1417944-1 is not prime. Res64: 4C5FC27A22FDA58E Time : 0.0 sec. user=mdettweiler [2015-12-22 19:55:32] 899*2^1417944-1 is not prime. Res64: 7D9D14AACC711166 Time : 0.0 sec. user=mdettweiler [2015-12-22 19:55:32] 947*2^1417944-1 is not prime. Res64: 0D5C69DF627F602D Time : 0.0 sec. user=mdettweiler [2015-12-22 19:55:33] 993*2^1417944-1 is not prime. Res64: 1A81F4D9B93E2C00 Time : 0.0 sec. user=mdettweiler [2015-12-22 19:55:33] 903*2^1417944-1 is not prime. Res64: 5031D775298EFD1E Time : 0.0 sec. user=mdettweiler [2015-12-22 20:13:02] 919*2^1417945-1 is not prime. Res64: 124AE0BCDC5F6BE6 Time : 0.0 sec. user=mdettweiler [2015-12-22 20:13:02] 625*2^1417945-1 is not prime. Res64: 6D79FA2D7A170F33 Time : 0.0 sec. user=mdettweiler [2015-12-22 20:13:02] 885*2^1417945-1 is not prime. Res64: 6A4A8075916D4711 Time : 0.0 sec. user=mdettweiler [2015-12-22 20:13:02] 633*2^1417946-1 is not prime. Res64: 57C778B59A4FF91E Time : 0.0 sec. user=mdettweiler [2015-12-22 20:30:32] 825*2^1417946-1 is not prime. Res64: B268184BFC9AAECD Time : 0.0 sec. user=mdettweiler [2015-12-22 20:30:32] 917*2^1417946-1 is not prime. Res64: A251F62051A18D56 Time : 0.0 sec. user=mdettweiler [2015-12-22 20:30:35] 651*2^1417946-1 is not prime. Res64: 120D9A4143692A01 Time : 0.0 sec. user=mdettweiler [2015-12-22 20:30:36] 785*2^1417946-1 is not prime. Res64: 3644B4BC3010353B Time : 0.0 sec. user=mdettweiler [2015-12-22 20:48:01] 873*2^1417947-1 is not prime. Res64: A43F5DACCDD504E1 Time : 0.0 sec. user=mdettweiler [2015-12-22 20:48:01] 909*2^1417947-1 is not prime. Res64: C4377FECBE2446E5 Time : 0.0 sec. user=mdettweiler [2015-12-22 20:48:04] 743*2^1417948-1 is not prime. Res64: 8B1023DF23D9F43B Time : 0.0 sec. user=mdettweiler [2015-12-22 20:48:05] 957*2^1417948-1 is not prime. Res64: 04F588685E9CFC5B Time : 0.0 sec. user=mdettweiler [2015-12-22 21:05:33] 601*2^1417949-1 is not prime. Res64: 0C01B1DB78EBA829 Time : 0.0 sec. user=mdettweiler [2015-12-22 21:05:35] 645*2^1417949-1 is not prime. Res64: 4BCC32FF84476D93 Time : 0.0 sec. user=mdettweiler [2015-12-22 21:05:35] 679*2^1417949-1 is not prime. Res64: C87183CE9CE608DA Time : 0.0 sec. user=mdettweiler [2015-12-22 21:05:36] 787*2^1417949-1 is not prime. Res64: EB53080AB444E735 Time : 0.0 sec. user=mdettweiler [2015-12-22 21:23:12] 795*2^1417949-1 is not prime. Res64: 2EC0D496EE98405E Time : 0.0 sec. user=mdettweiler [2015-12-22 21:23:12] 831*2^1417949-1 is not prime. Res64: 9F4092CD807C7EF3 Time : 0.0 sec. user=mdettweiler [2015-12-22 21:23:13] 855*2^1417949-1 is not prime. Res64: 5911969EAD4C0BBD Time : 0.0 sec. user=mdettweiler [2015-12-22 21:23:13] 889*2^1417949-1 is not prime. Res64: 5E0C3F39E22F1087 Time : 0.0 sec. user=mdettweiler [2015-12-22 21:40:40] 713*2^1417950-1 is not prime. Res64: 75FA97D472F23CA3 Time : 0.0 sec. user=mdettweiler [2015-12-22 21:40:41] 801*2^1417950-1 is not prime. Res64: 5816D46321E5F1B7 Time : 0.0 sec. user=mdettweiler [2015-12-22 21:40:41] 969*2^1417949-1 is not prime. Res64: 7ADD90D6247427E0 Time : 0.0 sec. user=mdettweiler [2015-12-22 21:40:42] 711*2^1417950-1 is not prime. Res64: E31026223A4A618D Time : 0.0 sec. user=mdettweiler [2015-12-22 21:58:10] 821*2^1417950-1 is not prime. Res64: BA9976C9B19F9A89 Time : 0.0 sec. user=mdettweiler [2015-12-22 21:58:10] 945*2^1417950-1 is not prime. Res64: A34DC60CB4259C57 Time : 0.0 sec. user=mdettweiler [2015-12-22 21:58:10] 917*2^1417950-1 is not prime. Res64: 94C17FB74887DC4A Time : 0.0 sec. user=mdettweiler [2015-12-22 21:58:11] 965*2^1417950-1 is not prime. Res64: 7654CF535ADEE275 Time : 0.0 sec. user=mdettweiler [2015-12-22 22:15:39] 703*2^1417951-1 is not prime. Res64: 31EC974DEB1F3932 Time : 0.0 sec. user=mdettweiler [2015-12-22 22:15:40] 745*2^1417951-1 is not prime. Res64: A4CD15761306B1B1 Time : 0.0 sec. user=mdettweiler [2015-12-22 22:15:40] 849*2^1417951-1 is not prime. Res64: 73CE75D2D4C6F86F Time : 0.0 sec. user=mdettweiler [2015-12-22 22:15:40] 861*2^1417951-1 is not prime. Res64: 837C0F57E3A31E73 Time : 0.0 sec. user=mdettweiler [2015-12-22 22:33:09] 657*2^1417952-1 is not prime. Res64: 86668DE25B516810 Time : 0.0 sec. user=mdettweiler [2015-12-22 22:33:09] 797*2^1417952-1 is not prime. Res64: 0DB5FE463DDBC68F Time : 0.0 sec. user=mdettweiler [2015-12-22 22:33:09] 683*2^1417952-1 is not prime. Res64: 0125910044674B94 Time : 0.0 sec. user=mdettweiler [2015-12-22 22:33:09] 875*2^1417952-1 is not prime. Res64: 3C86C1D9CE19C046 Time : 0.0 sec. user=mdettweiler [2015-12-22 22:50:39] 935*2^1417952-1 is not prime. Res64: FB013460B26D81EB Time : 0.0 sec. user=mdettweiler [2015-12-22 22:50:39] 675*2^1417953-1 is not prime. Res64: A687B13589FEC70B Time : 0.0 sec. user=mdettweiler [2015-12-22 22:50:39] 609*2^1417953-1 is not prime. Res64: F1261F9DB862D979 Time : 0.0 sec. user=mdettweiler [2015-12-22 22:50:39] 781*2^1417953-1 is not prime. Res64: 00693FB86EAD5796 Time : 0.0 sec. user=mdettweiler [2015-12-22 23:08:07] 789*2^1417953-1 is not prime. Res64: 5A1EA3AD409BE7F4 Time : 0.0 sec. user=mdettweiler [2015-12-22 23:08:08] 847*2^1417953-1 is not prime. Res64: B57AA1DA8DB2F953 Time : 0.0 sec. user=mdettweiler [2015-12-22 23:08:08] 819*2^1417953-1 is not prime. Res64: 7AC719AC99558B62 Time : 0.0 sec. user=mdettweiler [2015-12-22 23:08:08] 915*2^1417953-1 is not prime. Res64: 29369F5C76E43140 Time : 0.0 sec. user=mdettweiler [2015-12-22 23:25:39] 675*2^1417954-1 is not prime. Res64: 79B27CCB0BA1D07E Time : 0.0 sec. user=mdettweiler [2015-12-22 23:25:39] 969*2^1417953-1 is not prime. Res64: 38F4C205CB0D980A Time : 0.0 sec. user=mdettweiler [2015-12-22 23:25:39] 741*2^1417954-1 is not prime. Res64: A2FE02280EBFA8C9 Time : 0.0 sec. user=mdettweiler [2015-12-22 23:25:40] 617*2^1417954-1 is not prime. Res64: C3F593924ADB88F0 Time : 0.0 sec. user=mdettweiler [2015-12-22 23:43:08] 855*2^1417954-1 is not prime. Res64: DE45E6D03B6A7CF9 Time : 0.0 sec. user=mdettweiler [2015-12-22 23:43:08] 781*2^1417955-1 is not prime. Res64: 9973E19B76C5D9D9 Time : 0.0 sec. user=mdettweiler [2015-12-22 23:43:10] 963*2^1417955-1 is not prime. Res64: 96E0E084321F6131 Time : 0.0 sec. user=mdettweiler [2015-12-22 23:43:10] 635*2^1417956-1 is not prime. Res64: 9F42BE38D9D3E951 Time : 0.0 sec. user=mdettweiler [2015-12-23 00:00:38] 639*2^1417956-1 is not prime. Res64: 6ED4866728069D59 Time : 0.0 sec. user=mdettweiler [2015-12-23 00:00:38] 707*2^1417956-1 is not prime. Res64: 8B178AC3AB50CBD7 Time : 0.0 sec. user=mdettweiler [2015-12-23 00:00:38] 735*2^1417956-1 is not prime. Res64: BCEF3E2EE261D500 Time : 0.0 sec. user=mdettweiler [2015-12-23 00:00:39] 779*2^1417956-1 is not prime. Res64: E5C9CAE9E28037A1 Time : 0.0 sec.