user=mdettweiler [2017-05-13 00:43:35] 963*2^1453703-1 is not prime. Res64: 9A8F6FC11E12D595 Time : 0.0 sec. user=mdettweiler [2017-05-13 00:43:35] 981*2^1453703-1 is not prime. Res64: AA3EA4AB96C271FD Time : 0.0 sec. user=mdettweiler [2017-05-13 00:43:36] 629*2^1453704-1 is not prime. Res64: 5608B3ABB21767EC Time : 0.0 sec. user=mdettweiler [2017-05-13 00:43:36] 725*2^1453704-1 is not prime. Res64: 82C196263143972D Time : 0.0 sec. user=mdettweiler [2017-05-13 00:43:36] 837*2^1453704-1 is not prime. Res64: EA21AA523E2376A8 Time : 0.0 sec. user=mdettweiler [2017-05-13 00:43:49] 903*2^1453704-1 is not prime. Res64: B33E3473564ADA01 Time : 0.0 sec. user=mdettweiler [2017-05-13 00:43:49] 917*2^1453704-1 is not prime. Res64: 7377BC4C483840BC Time : 0.0 sec. user=mdettweiler [2017-05-13 00:43:50] 975*2^1453704-1 is not prime. Res64: 1AAFAFE27E90DF2F Time : 0.0 sec. user=mdettweiler [2017-05-13 00:43:50] 993*2^1453704-1 is not prime. Res64: E0109F71CF928B4A Time : 0.0 sec. user=mdettweiler [2017-05-13 00:43:50] 997*2^1453705-1 is not prime. Res64: 691966607D442FD2 Time : 0.0 sec. user=mdettweiler [2017-05-13 00:44:26] 603*2^1453706-1 is not prime. Res64: 9B690B5EA3609E1B Time : 0.0 sec. user=mdettweiler [2017-05-13 00:44:27] 641*2^1453706-1 is not prime. Res64: 1FCA151708953BE1 Time : 0.0 sec. user=mdettweiler [2017-05-13 00:44:27] 717*2^1453706-1 is not prime. Res64: 2F2EE3B322B94129 Time : 0.0 sec. user=mdettweiler [2017-05-13 00:44:28] 801*2^1453706-1 is not prime. Res64: 42800EE481D9781A Time : 0.0 sec. user=mdettweiler [2017-05-13 00:44:28] 827*2^1453706-1 is not prime. Res64: CB9AE41764B73ED4 Time : 0.0 sec. user=mdettweiler [2017-05-13 00:45:03] 851*2^1453706-1 is not prime. Res64: 5EC387E4E8680680 Time : 0.0 sec. user=mdettweiler [2017-05-13 00:45:03] 917*2^1453706-1 is not prime. Res64: 9D03FF52360C7C76 Time : 0.0 sec. user=mdettweiler [2017-05-13 00:45:03] 859*2^1453707-1 is not prime. Res64: 1CCAF9C134F2271E Time : 0.0 sec. user=mdettweiler [2017-05-13 00:45:04] 895*2^1453707-1 is not prime. Res64: AA8FF5C7E804AAA2 Time : 0.0 sec. user=mdettweiler [2017-05-13 00:45:04] 615*2^1453708-1 is not prime. Res64: D6038EC7875BF732 Time : 0.0 sec. user=mdettweiler [2017-05-13 01:28:32] 635*2^1453708-1 is not prime. Res64: AF54F2137826D97E Time : 0.0 sec. user=mdettweiler [2017-05-13 01:28:33] 707*2^1453708-1 is not prime. Res64: 9A221CA265944162 Time : 0.0 sec. user=mdettweiler [2017-05-13 01:28:35] 813*2^1453708-1 is not prime. Res64: 50381B7AB998D66F Time : 0.0 sec. user=mdettweiler [2017-05-13 01:28:36] 863*2^1453708-1 is not prime. Res64: 5E9F454E766CB75D Time : 0.0 sec. user=mdettweiler [2017-05-13 01:28:37] 947*2^1453708-1 is not prime. Res64: C5E0ACFAE3B63146 Time : 0.0 sec. user=mdettweiler [2017-05-13 01:28:58] 975*2^1453708-1 is not prime. Res64: 07AFA8A4580711C2 Time : 0.0 sec. user=mdettweiler [2017-05-13 01:29:02] 995*2^1453708-1 is not prime. Res64: 6DE4C69ECEBBA74F Time : 0.0 sec. user=mdettweiler [2017-05-13 01:29:06] 601*2^1453709-1 is not prime. Res64: 47914BE8B3426131 Time : 0.0 sec. user=mdettweiler [2017-05-13 01:29:07] 645*2^1453709-1 is not prime. Res64: A726D46E9B40B554 Time : 0.0 sec. user=mdettweiler [2017-05-13 01:29:08] 649*2^1453709-1 is not prime. Res64: 709A4A2CB28147E8 Time : 0.0 sec. user=mdettweiler [2017-05-13 01:29:21] 747*2^1453709-1 is not prime. Res64: 603DB225D4F46E99 Time : 0.0 sec. user=mdettweiler [2017-05-13 01:29:22] 787*2^1453709-1 is not prime. Res64: 13C411C64F949570 Time : 0.0 sec. user=mdettweiler [2017-05-13 01:29:23] 861*2^1453709-1 is not prime. Res64: A5CF3BE389BFD2B1 Time : 0.0 sec. user=mdettweiler [2017-05-13 01:29:23] 627*2^1453710-1 is not prime. Res64: 6238CA7D187DCF0C Time : 0.0 sec. user=mdettweiler [2017-05-13 01:29:24] 657*2^1453710-1 is not prime. Res64: 43F9D9E71375B58A Time : 0.0 sec. user=mdettweiler [2017-05-13 01:30:03] 665*2^1453710-1 is not prime. Res64: 2085BDFDD5C9FD5C Time : 0.0 sec. user=mdettweiler [2017-05-13 01:30:04] 711*2^1453710-1 is not prime. Res64: B1D36DAE0BF551F2 Time : 0.0 sec. user=mdettweiler [2017-05-13 01:30:05] 797*2^1453710-1 is not prime. Res64: 4F5A355D6BA56E97 Time : 0.0 sec. user=mdettweiler [2017-05-13 01:30:07] 845*2^1453710-1 is not prime. Res64: 76A6A4B7945C202B Time : 0.0 sec. user=mdettweiler [2017-05-13 01:30:08] 893*2^1453710-1 is not prime. Res64: 07FEB41CEA5B02DB Time : 0.0 sec. user=mdettweiler [2017-05-13 02:14:12] 921*2^1453710-1 is not prime. Res64: 3EDFB2F38D02B9CC Time : 0.0 sec. user=mdettweiler [2017-05-13 02:14:13] 941*2^1453710-1 is not prime. Res64: A725A37FEC320A2A Time : 0.0 sec. user=mdettweiler [2017-05-13 02:14:13] 971*2^1453710-1 is not prime. Res64: CE826B4E544747A8 Time : 0.0 sec. user=mdettweiler [2017-05-13 02:14:13] 619*2^1453711-1 is not prime. Res64: 9B91E6B76E6B9838 Time : 0.0 sec. user=mdettweiler [2017-05-13 02:14:14] 649*2^1453711-1 is not prime. Res64: 6405E80CE5DC0FB0 Time : 0.0 sec. user=mdettweiler [2017-05-13 02:14:26] 709*2^1453711-1 is not prime. Res64: CBF8B09B87717A95 Time : 0.0 sec. user=mdettweiler [2017-05-13 02:14:27] 861*2^1453711-1 is not prime. Res64: 824806F546966631 Time : 0.0 sec. user=mdettweiler [2017-05-13 02:14:27] 999*2^1453711-1 is not prime. Res64: 7CBEA4853A0E47D5 Time : 0.0 sec. user=mdettweiler [2017-05-13 02:14:27] 873*2^1453712-1 is not prime. Res64: 5B954ECAF37487F6 Time : 0.0 sec. user=mdettweiler [2017-05-13 02:14:28] 759*2^1453712-1 is not prime. Res64: BBD3F34E51F275D6 Time : 0.0 sec. user=mdettweiler [2017-05-13 02:14:28] 781*2^1453713-1 is not prime. Res64: 699CC71FC76E198D Time : 0.0 sec. user=mdettweiler [2017-05-13 02:14:28] 803*2^1453712-1 is not prime. Res64: F2FB921262CFFACD Time : 0.0 sec. user=mdettweiler [2017-05-13 02:14:28] 871*2^1453713-1 is not prime. Res64: 3D37D6512ED3D81D Time : 0.0 sec. user=mdettweiler [2017-05-13 02:14:29] 665*2^1453714-1 is not prime. Res64: 7529682067A550CB Time : 0.0 sec. user=mdettweiler [2017-05-13 02:14:29] 675*2^1453714-1 is not prime. Res64: 39CC4AFB8AFD794F Time : 0.0 sec. user=mdettweiler [2017-05-13 02:15:31] 677*2^1453714-1 is not prime. Res64: 3BD54AB9EBF93373 Time : 0.0 sec. user=mdettweiler [2017-05-13 02:15:32] 731*2^1453714-1 is not prime. Res64: 6533FBB943382652 Time : 0.0 sec. user=mdettweiler [2017-05-13 02:15:32] 765*2^1453714-1 is not prime. Res64: 49819B471545CB2E Time : 0.0 sec. user=mdettweiler [2017-05-13 02:15:33] 785*2^1453714-1 is not prime. Res64: 97F94C620D2A9AA6 Time : 0.0 sec. user=mdettweiler [2017-05-13 02:15:33] 891*2^1453714-1 is not prime. Res64: AB775F9191C0B186 Time : 0.0 sec. user=mdettweiler [2017-05-13 03:00:38] 915*2^1453714-1 is not prime. Res64: 24362FF32864403B Time : 0.0 sec. user=mdettweiler [2017-05-13 03:00:40] 957*2^1453714-1 is not prime. Res64: 836B6FA61458C7E5 Time : 0.0 sec. user=mdettweiler [2017-05-13 03:00:41] 645*2^1453715-1 is not prime. Res64: 5D8D46B8206BD80F Time : 0.0 sec. user=mdettweiler [2017-05-13 03:00:42] 663*2^1453715-1 is not prime. Res64: FE91F1C1A5224E2A Time : 0.0 sec. user=mdettweiler [2017-05-13 03:00:44] 829*2^1453715-1 is not prime. Res64: 0B40D578E7718FA7 Time : 0.0 sec. user=mdettweiler [2017-05-13 03:00:46] 947*2^1453716-1 is not prime. Res64: A8C657B376D1801F Time : 0.0 sec. user=mdettweiler [2017-05-13 03:00:48] 889*2^1453715-1 is not prime. Res64: F129F1C6B685F475 Time : 0.0 sec. user=mdettweiler [2017-05-13 03:00:49] 741*2^1453717-1 is not prime. Res64: 9CC04468126AB063 Time : 0.0 sec. user=mdettweiler [2017-05-13 03:00:50] 769*2^1453717-1 is not prime. Res64: 0424DF125A08F1D2 Time : 0.0 sec. user=mdettweiler [2017-05-13 03:00:52] 909*2^1453715-1 is not prime. Res64: A8BFDB1605F6049B Time : 0.0 sec. user=mdettweiler [2017-05-13 03:00:54] 805*2^1453717-1 is not prime. Res64: 838A23E0E9DA6510 Time : 0.0 sec. user=mdettweiler [2017-05-13 03:00:56] 835*2^1453717-1 is not prime. Res64: F7DC62D7408EE018 Time : 0.0 sec. user=mdettweiler [2017-05-13 03:00:59] 939*2^1453715-1 is not prime. Res64: 931EAFED787E1462 Time : 0.0 sec. user=mdettweiler [2017-05-13 03:01:04] 973*2^1453715-1 is not prime. Res64: 1F5CF301464D9119 Time : 0.0 sec. user=mdettweiler [2017-05-13 03:01:07] 909*2^1453716-1 is not prime. Res64: FC655970C3D730DA Time : 0.0 sec. user=mdettweiler [2017-05-13 03:01:58] 861*2^1453717-1 is not prime. Res64: D0EE3B4C30ACD80B Time : 0.0 sec. user=mdettweiler [2017-05-13 03:02:00] 937*2^1453717-1 is not prime. Res64: 4200CAEA1E24F2CA Time : 0.0 sec. user=mdettweiler [2017-05-13 03:02:02] 635*2^1453718-1 is not prime. Res64: E6355D901E0F12DA Time : 0.0 sec. user=mdettweiler [2017-05-13 03:02:04] 833*2^1453718-1 is not prime. Res64: 7B616DF0A6A38F43 Time : 0.0 sec. user=mdettweiler [2017-05-13 03:02:05] 875*2^1453718-1 is not prime. Res64: 254312236C4C53F2 Time : 0.0 sec. user=juhehe [2017-05-13 03:09:30] 713*2^1453610-1 is not prime. Res64: 808CA090AB3018D0 Time : 0.0 sec. user=mdettweiler [2017-05-13 03:46:35] 833*2^1453720-1 is not prime. Res64: 993EB3B4C65A183F Time : 0.0 sec. user=mdettweiler [2017-05-13 03:46:36] 983*2^1453720-1 is not prime. Res64: 1ABC768C9B94855C Time : 0.0 sec. user=mdettweiler [2017-05-13 03:46:38] 989*2^1453720-1 is not prime. Res64: FD66814FC7777D33 Time : 0.0 sec. user=mdettweiler [2017-05-13 03:46:40] 995*2^1453720-1 is not prime. Res64: 4343A5C93D2B9ACC Time : 0.0 sec. user=mdettweiler [2017-05-13 03:46:42] 675*2^1453721-1 is not prime. Res64: AE55FEAE6D2CB512 Time : 0.0 sec. user=mdettweiler [2017-05-13 03:46:42] 823*2^1453719-1 is not prime. Res64: 8548125FF525786E Time : 0.0 sec. user=mdettweiler [2017-05-13 03:46:43] 859*2^1453719-1 is not prime. Res64: 5B35EAA9647A7C0C Time : 0.0 sec. user=mdettweiler [2017-05-13 03:46:44] 861*2^1453719-1 is not prime. Res64: 68EB7275AF36A0E0 Time : 0.0 sec. user=mdettweiler [2017-05-13 03:46:45] 921*2^1453719-1 is not prime. Res64: 18575B13DA0FF4EB Time : 0.0 sec. user=mdettweiler [2017-05-13 03:46:46] 931*2^1453719-1 is not prime. Res64: A3ED3BED309F3D75 Time : 0.0 sec. user=mdettweiler [2017-05-13 03:46:54] 935*2^1453718-1 is not prime. Res64: 82634118EC382013 Time : 0.0 sec. user=mdettweiler [2017-05-13 03:46:56] 625*2^1453719-1 is not prime. Res64: 98B23D87FAD08FCC Time : 0.0 sec. user=mdettweiler [2017-05-13 03:46:57] 669*2^1453719-1 is not prime. Res64: 7338C7F4FBB3983A Time : 0.0 sec. user=mdettweiler [2017-05-13 03:46:57] 711*2^1453719-1 is not prime. Res64: 2FB452CB109C95A9 Time : 0.0 sec. user=mdettweiler [2017-05-13 03:46:59] 723*2^1453719-1 is not prime. Res64: 4F625BBBA85719BB Time : 0.0 sec. user=mdettweiler [2017-05-13 03:47:59] 795*2^1453721-1 is not prime. Res64: 1AD963AACD4C1BA0 Time : 0.0 sec. user=mdettweiler [2017-05-13 03:48:00] 837*2^1453721-1 is not prime. Res64: 0A6845343671E1B1 Time : 0.0 sec. user=mdettweiler [2017-05-13 03:48:00] 931*2^1453721-1 is not prime. Res64: 2A720D0E3309234A Time : 0.0 sec. user=mdettweiler [2017-05-13 03:48:01] 955*2^1453721-1 is not prime. Res64: F0E23EBD14D69CFA Time : 0.0 sec. user=mdettweiler [2017-05-13 03:48:02] 621*2^1453722-1 is not prime. Res64: 7120304962D81598 Time : 0.0 sec. user=juhehe [2017-05-13 03:50:54] 741*2^1453722-1 is not prime. Res64: 3713217D1A1F2C95 Time : 0.0 sec. user=juhehe [2017-05-13 04:12:19] 867*2^1453722-1 is not prime. Res64: 1272AC0D8A9D559B Time : 0.0 sec. user=juhehe [2017-05-13 04:30:05] 705*2^1453726-1 is not prime. Res64: 60D1E228CC2E22B6 Time : 0.0 sec. user=mdettweiler [2017-05-13 04:32:14] 723*2^1453723-1 is not prime. Res64: CB33031902050FEC Time : 0.0 sec. user=mdettweiler [2017-05-13 04:32:14] 609*2^1453724-1 is not prime. Res64: A6C0524DD8452779 Time : 0.0 sec. user=mdettweiler [2017-05-13 04:32:15] 617*2^1453724-1 is not prime. Res64: 0AD67A91CA64DD5A Time : 0.0 sec. user=mdettweiler [2017-05-13 04:32:15] 635*2^1453724-1 is not prime. Res64: 9C60672A4D4DFCDE Time : 0.0 sec. user=mdettweiler [2017-05-13 04:32:15] 935*2^1453724-1 is not prime. Res64: F64C90A0A347CC33 Time : 0.0 sec. user=mdettweiler [2017-05-13 04:32:20] 719*2^1453724-1 is not prime. Res64: FC11EDE6E2BA6849 Time : 0.0 sec. user=mdettweiler [2017-05-13 04:32:21] 753*2^1453724-1 is not prime. Res64: 28FBFC482DE67A32 Time : 0.0 sec. user=mdettweiler [2017-05-13 04:32:21] 795*2^1453724-1 is not prime. Res64: 0680BF289B9C9DD2 Time : 0.0 sec. user=mdettweiler [2017-05-13 04:32:22] 819*2^1453724-1 is not prime. Res64: B99A01679317E0EF Time : 0.0 sec. user=mdettweiler [2017-05-13 04:32:22] 873*2^1453724-1 is not prime. Res64: A061E5BDC5DBEC87 Time : 0.0 sec. user=mdettweiler [2017-05-13 04:32:24] 903*2^1453722-1 is not prime. Res64: AFB762AEBE98314D Time : 0.0 sec. user=mdettweiler [2017-05-13 04:32:24] 679*2^1453723-1 is not prime. Res64: EC4698C4DA266BEB Time : 0.0 sec. user=mdettweiler [2017-05-13 04:32:24] 751*2^1453723-1 is not prime. Res64: B557E050866D0524 Time : 0.0 sec. user=mdettweiler [2017-05-13 04:32:25] 973*2^1453723-1 is not prime. Res64: CA69E5F155849E24 Time : 0.0 sec. user=mdettweiler [2017-05-13 04:32:25] 605*2^1453724-1 is not prime. Res64: FBCA32E435265967 Time : 0.0 sec. user=mdettweiler [2017-05-13 04:33:29] 945*2^1453724-1 is not prime. Res64: 8D1CCAB455836F4F Time : 0.0 sec. user=mdettweiler [2017-05-13 04:33:29] 975*2^1453725-1 is not prime. Res64: 2DC4ED2D0764DC99 Time : 0.0 sec. user=mdettweiler [2017-05-13 04:33:30] 635*2^1453726-1 is not prime. Res64: CC4340945667DF3F Time : 0.0 sec. user=mdettweiler [2017-05-13 04:33:30] 671*2^1453726-1 is not prime. Res64: 93415AB89545FA0B Time : 0.0 sec. user=mdettweiler [2017-05-13 04:33:30] 695*2^1453726-1 is not prime. Res64: 022839736A282BC0 Time : 0.0 sec. user=juhehe [2017-05-13 04:51:10] 713*2^1453726-1 is not prime. Res64: DE0D99C52235D353 Time : 0.0 sec. user=juhehe [2017-05-13 05:08:49] 737*2^1453726-1 is not prime. Res64: DBCB86AE6B701256 Time : 0.0 sec. user=mdettweiler [2017-05-13 05:17:17] 777*2^1453726-1 is not prime. Res64: E123D9FDAE53CB43 Time : 0.0 sec. user=mdettweiler [2017-05-13 05:17:17] 903*2^1453726-1 is not prime. Res64: B9CEF1EF4FAB4444 Time : 0.0 sec. user=mdettweiler [2017-05-13 05:17:18] 917*2^1453726-1 is not prime. Res64: 17208085777F93CB Time : 0.0 sec. user=mdettweiler [2017-05-13 05:17:18] 957*2^1453726-1 is not prime. Res64: FB02761EDF1D9ACF Time : 0.0 sec. user=mdettweiler [2017-05-13 05:17:19] 975*2^1453726-1 is not prime. Res64: 970A2BCC6DC6D9A4 Time : 0.0 sec. user=mdettweiler [2017-05-13 05:17:26] 673*2^1453727-1 is not prime. Res64: 59763AAB49C993AD Time : 0.0 sec. user=mdettweiler [2017-05-13 05:17:27] 693*2^1453727-1 is not prime. Res64: EDB6DA229D070A20 Time : 0.0 sec. user=mdettweiler [2017-05-13 05:17:27] 711*2^1453727-1 is not prime. Res64: 963D718FB510FE5B Time : 0.0 sec. user=mdettweiler [2017-05-13 05:17:27] 825*2^1453727-1 is not prime. Res64: F7CC4376B45668AC Time : 0.0 sec. user=mdettweiler [2017-05-13 05:17:28] 865*2^1453727-1 is not prime. Res64: 1F0DDDBE47E1B35F Time : 0.0 sec. user=mdettweiler [2017-05-13 05:17:31] 909*2^1453727-1 is not prime. Res64: 7491D6586CEB6F78 Time : 0.0 sec. user=mdettweiler [2017-05-13 05:17:31] 915*2^1453727-1 is not prime. Res64: E76A14EEAF1CEDEF Time : 0.0 sec. user=mdettweiler [2017-05-13 05:17:32] 979*2^1453727-1 is not prime. Res64: AC3C160A4239BA7E Time : 0.0 sec. user=mdettweiler [2017-05-13 05:17:32] 845*2^1453728-1 is not prime. Res64: 41F34A51167EA798 Time : 0.0 sec. user=mdettweiler [2017-05-13 05:17:32] 887*2^1453728-1 is not prime. Res64: FE1E9F617A3EED0F Time : 0.0 sec. user=mdettweiler [2017-05-13 05:18:40] 615*2^1453729-1 is not prime. Res64: 8E540A0CF8B94F65 Time : 0.0 sec. user=mdettweiler [2017-05-13 05:18:40] 639*2^1453729-1 is not prime. Res64: A91C966C13EFAA45 Time : 0.0 sec. user=mdettweiler [2017-05-13 05:18:41] 667*2^1453729-1 is not prime. Res64: DEBFF808742C7DA9 Time : 0.0 sec. user=mdettweiler [2017-05-13 05:18:41] 699*2^1453729-1 is not prime. Res64: F792938AC37FC5A7 Time : 0.0 sec. user=mdettweiler [2017-05-13 05:18:41] 771*2^1453729-1 is not prime. Res64: E55842BA4B2DE7EF Time : 0.0 sec. user=juhehe [2017-05-13 05:47:32] 775*2^1453729-1 is not prime. Res64: AF0467EE5B9E1D7A Time : 0.0 sec. user=mdettweiler [2017-05-13 06:02:25] 807*2^1453729-1 is not prime. Res64: 5125AA9EFB3797A5 Time : 0.0 sec. user=mdettweiler [2017-05-13 06:02:26] 909*2^1453729-1 is not prime. Res64: 4A2A1FAC336A1C95 Time : 0.0 sec. user=mdettweiler [2017-05-13 06:02:28] 931*2^1453729-1 is not prime. Res64: 5C494EB74B1700E9 Time : 0.0 sec. user=mdettweiler [2017-05-13 06:02:29] 987*2^1453729-1 is not prime. Res64: DF35D1E3D7A7F8ED Time : 0.0 sec. user=mdettweiler [2017-05-13 06:02:30] 603*2^1453730-1 is not prime. Res64: 4B8B734F7758BC2A Time : 0.0 sec. user=mdettweiler [2017-05-13 06:02:47] 731*2^1453730-1 is not prime. Res64: F5C4BFF37CBBF858 Time : 0.0 sec. user=mdettweiler [2017-05-13 06:02:48] 743*2^1453730-1 is not prime. Res64: 7B11FFFA5A99380A Time : 0.0 sec. user=mdettweiler [2017-05-13 06:02:50] 797*2^1453730-1 is not prime. Res64: AAB644DA314584A2 Time : 0.0 sec. user=mdettweiler [2017-05-13 06:02:53] 957*2^1453730-1 is not prime. Res64: 00287DA2183B0F79 Time : 0.0 sec. user=mdettweiler [2017-05-13 06:02:53] 827*2^1453730-1 is not prime. Res64: 52E19C06802D7D5A Time : 0.0 sec. user=mdettweiler [2017-05-13 06:02:54] 615*2^1453731-1 is not prime. Res64: DCC93E2A406307CE Time : 0.0 sec. user=mdettweiler [2017-05-13 06:02:56] 887*2^1453730-1 is not prime. Res64: D69FD920B27EE888 Time : 0.0 sec. user=mdettweiler [2017-05-13 06:02:56] 639*2^1453731-1 is not prime. Res64: 791E320B14C3C443 Time : 0.0 sec. user=mdettweiler [2017-05-13 06:02:57] 903*2^1453731-1 is not prime. Res64: FDEA2282AB04BDCA Time : 0.0 sec. user=mdettweiler [2017-05-13 06:02:58] 955*2^1453731-1 is not prime. Res64: E7DDEC47E21AF147 Time : 0.0 sec. user=mdettweiler [2017-05-13 06:03:43] 961*2^1453731-1 is not prime. Res64: 01ED65430066978F Time : 0.0 sec. user=mdettweiler [2017-05-13 06:03:44] 975*2^1453731-1 is not prime. Res64: 326927970341802D Time : 0.0 sec. user=mdettweiler [2017-05-13 06:03:45] 623*2^1453732-1 is not prime. Res64: 286BCE8C0AABDAEC Time : 0.0 sec. user=mdettweiler [2017-05-13 06:03:46] 765*2^1453732-1 is not prime. Res64: 3D51D37CD3EE2866 Time : 0.0 sec. user=mdettweiler [2017-05-13 06:03:47] 785*2^1453732-1 is not prime. Res64: 6E7642B95D2040D5 Time : 0.0 sec. user=juhehe [2017-05-13 06:26:16] 885*2^1453732-1 is not prime. Res64: E692EC62804635E2 Time : 0.0 sec. user=mdettweiler [2017-05-13 06:47:56] 965*2^1453732-1 is not prime. Res64: 7B6D83362B1C99EF Time : 0.0 sec. user=mdettweiler [2017-05-13 06:47:57] 669*2^1453733-1 is not prime. Res64: 2B657175B2BDC612 Time : 0.0 sec. user=mdettweiler [2017-05-13 06:47:57] 679*2^1453733-1 is not prime. Res64: E7E7B423606B3495 Time : 0.0 sec. user=mdettweiler [2017-05-13 06:47:57] 855*2^1453733-1 is not prime. Res64: D7657A2641A4FE11 Time : 0.0 sec. user=mdettweiler [2017-05-13 06:47:58] 859*2^1453733-1 is not prime. Res64: EF8251D33684BB67 Time : 0.0 sec. user=mdettweiler [2017-05-13 06:48:15] 641*2^1453734-1 is not prime. Res64: 129701BF0BEF53E1 Time : 0.0 sec. user=mdettweiler [2017-05-13 06:48:15] 693*2^1453734-1 is not prime. Res64: 393E8F69B945DED8 Time : 0.0 sec. user=mdettweiler [2017-05-13 06:48:15] 825*2^1453734-1 is not prime. Res64: 6EB5B6DA83C907FA Time : 0.0 sec. user=mdettweiler [2017-05-13 06:48:16] 917*2^1453734-1 is not prime. Res64: C372473BDD2497B6 Time : 0.0 sec. user=mdettweiler [2017-05-13 06:48:16] 941*2^1453734-1 is not prime. Res64: 9A543CCFA0B4D7F6 Time : 0.0 sec. user=mdettweiler [2017-05-13 06:48:19] 965*2^1453734-1 is not prime. Res64: DA6BBDD54CCB300E Time : 0.0 sec. user=mdettweiler [2017-05-13 06:48:20] 603*2^1453735-1 is not prime. Res64: 96D707FAEE7A8950 Time : 0.0 sec. user=mdettweiler [2017-05-13 06:48:20] 609*2^1453735-1 is not prime. Res64: 78846CF969270196 Time : 0.0 sec. user=mdettweiler [2017-05-13 06:48:21] 625*2^1453735-1 is not prime. Res64: 361B978496304573 Time : 0.0 sec. user=mdettweiler [2017-05-13 06:48:21] 639*2^1453735-1 is not prime. Res64: 82D081E74E69898E Time : 0.0 sec. user=mdettweiler [2017-05-13 06:48:50] 693*2^1453735-1 is not prime. Res64: AD6A806EB6A2851A Time : 0.0 sec. user=mdettweiler [2017-05-13 06:48:51] 805*2^1453735-1 is not prime. Res64: D69AFF3FE3F7970C Time : 0.0 sec. user=mdettweiler [2017-05-13 06:48:51] 841*2^1453735-1 is not prime. Res64: 450606ACC6712898 Time : 0.0 sec. user=mdettweiler [2017-05-13 06:48:51] 873*2^1453735-1 is not prime. Res64: 80C7B70E688608C9 Time : 0.0 sec. user=mdettweiler [2017-05-13 06:48:52] 885*2^1453735-1 is not prime. Res64: 6C8C6A8DAE9F2890 Time : 0.0 sec. user=juhehe [2017-05-13 07:05:01] 933*2^1453735-1 is not prime. Res64: F3EF9EB779E2287A Time : 0.0 sec. user=mdettweiler [2017-05-13 07:33:01] 657*2^1453736-1 is not prime. Res64: B01E52E4DE5C155D Time : 0.0 sec. user=mdettweiler [2017-05-13 07:33:02] 699*2^1453736-1 is not prime. Res64: E2533F40DB57A482 Time : 0.0 sec. user=mdettweiler [2017-05-13 07:33:02] 725*2^1453736-1 is not prime. Res64: 38FB80C9C7EB449F Time : 0.0 sec. user=mdettweiler [2017-05-13 07:33:03] 743*2^1453736-1 is not prime. Res64: B412C623E9FD0126 Time : 0.0 sec. user=mdettweiler [2017-05-13 07:33:03] 767*2^1453736-1 is not prime. Res64: 3D30FCA91BF50CEB Time : 0.0 sec. user=mdettweiler [2017-05-13 07:33:18] 773*2^1453736-1 is not prime. Res64: 16EBF5BDDD4CA80B Time : 0.0 sec. user=mdettweiler [2017-05-13 07:33:18] 969*2^1453736-1 is not prime. Res64: 7520641C37322248 Time : 0.0 sec. user=mdettweiler [2017-05-13 07:33:19] 699*2^1453737-1 is not prime. Res64: F7C7E2E1F33887BA Time : 0.0 sec. user=mdettweiler [2017-05-13 07:33:19] 711*2^1453737-1 is not prime. Res64: F1539C46AE06448F Time : 0.0 sec. user=mdettweiler [2017-05-13 07:33:20] 949*2^1453737-1 is not prime. Res64: 498606837DB1ED27 Time : 0.0 sec. user=mdettweiler [2017-05-13 07:33:28] 605*2^1453738-1 is not prime. Res64: 4F12F358276B1DFB Time : 0.0 sec. user=mdettweiler [2017-05-13 07:33:29] 617*2^1453738-1 is not prime. Res64: D8C9308B0E984BD2 Time : 0.0 sec. user=mdettweiler [2017-05-13 07:33:29] 663*2^1453738-1 is not prime. Res64: F30CF0BB73FE184B Time : 0.0 sec. user=mdettweiler [2017-05-13 07:33:30] 827*2^1453738-1 is not prime. Res64: B90B749041B22DC4 Time : 0.0 sec. user=mdettweiler [2017-05-13 07:33:30] 915*2^1453738-1 is not prime. Res64: E6FAFDEAC4645D6B Time : 0.0 sec. user=mdettweiler [2017-05-13 07:33:49] 693*2^1453739-1 is not prime. Res64: E7C387654E5B8BB8 Time : 0.0 sec. user=mdettweiler [2017-05-13 07:33:49] 813*2^1453739-1 is not prime. Res64: DAA30F47E0849033 Time : 0.0 sec. user=mdettweiler [2017-05-13 07:33:50] 689*2^1453740-1 is not prime. Res64: 70513E98F286BB31 Time : 0.0 sec. user=mdettweiler [2017-05-13 07:33:50] 707*2^1453740-1 is not prime. Res64: 99544B327DA74C7A Time : 0.0 sec. user=mdettweiler [2017-05-13 07:33:51] 783*2^1453740-1 is not prime. Res64: E9BF36EE4F511DA7 Time : 0.0 sec. user=juhehe [2017-05-13 07:44:06] 797*2^1453740-1 is not prime. Res64: 63026538E30D7C3C Time : 0.0 sec. user=mdettweiler [2017-05-13 08:18:52] 839*2^1453740-1 is not prime. Res64: A4A5B0CF77ED674E Time : 0.0 sec. user=mdettweiler [2017-05-13 08:18:52] 843*2^1453740-1 is not prime. Res64: 45849B55E3408047 Time : 0.0 sec. user=mdettweiler [2017-05-13 08:18:53] 845*2^1453740-1 is not prime. Res64: 9F83610DFAFD975F Time : 0.0 sec. user=mdettweiler [2017-05-13 08:18:53] 983*2^1453740-1 is not prime. Res64: 3AA42657189E2B56 Time : 0.0 sec. user=mdettweiler [2017-05-13 08:18:54] 621*2^1453741-1 is not prime. Res64: F73A8F89D88B1DEB Time : 0.0 sec. user=mdettweiler [2017-05-13 08:19:12] 717*2^1453741-1 is not prime. Res64: 219BB36499BB12CA Time : 0.0 sec. user=mdettweiler [2017-05-13 08:19:12] 741*2^1453741-1 is not prime. Res64: E4D993E00601275A Time : 0.0 sec. user=mdettweiler [2017-05-13 08:19:12] 603*2^1453742-1 is not prime. Res64: B99C4D58FDBBDBFA Time : 0.0 sec. user=mdettweiler [2017-05-13 08:19:13] 623*2^1453742-1 is not prime. Res64: 62C639B0DA2A3E44 Time : 0.0 sec. user=mdettweiler [2017-05-13 08:19:13] 875*2^1453742-1 is not prime. Res64: 9B4CA6B0230C1E4B Time : 0.0 sec. user=mdettweiler [2017-05-13 08:19:29] 897*2^1453742-1 is not prime. Res64: D82D5D2B297BFAEE Time : 0.0 sec. user=mdettweiler [2017-05-13 08:19:29] 911*2^1453742-1 is not prime. Res64: 8FF6F815ADB63D44 Time : 0.0 sec. user=mdettweiler [2017-05-13 08:19:29] 921*2^1453742-1 is not prime. Res64: E208D3EB9629EA57 Time : 0.0 sec. user=mdettweiler [2017-05-13 08:19:30] 945*2^1453742-1 is not prime. Res64: 808D7B38F79F8AEA Time : 0.0 sec. user=mdettweiler [2017-05-13 08:19:30] 977*2^1453742-1 is not prime. Res64: 0652BB412076BE3E Time : 0.0 sec. user=mdettweiler [2017-05-13 08:19:57] 625*2^1453743-1 is not prime. Res64: 0B01B126F864AE10 Time : 0.0 sec. user=mdettweiler [2017-05-13 08:19:57] 691*2^1453743-1 is not prime. Res64: F656FFF2A0AC5EF7 Time : 0.0 sec. user=mdettweiler [2017-05-13 08:19:57] 751*2^1453743-1 is not prime. Res64: 00F700457D386955 Time : 0.0 sec. user=mdettweiler [2017-05-13 08:19:58] 763*2^1453743-1 is not prime. Res64: 089608A9F83068C7 Time : 0.0 sec. user=mdettweiler [2017-05-13 08:19:58] 793*2^1453743-1 is not prime. Res64: 97DA81A8862447C0 Time : 0.0 sec. user=juhehe [2017-05-13 08:22:51] 849*2^1453743-1 is not prime. Res64: 434B4CAA74715E07 Time : 0.0 sec. user=juhehe [2017-05-13 09:01:35] 873*2^1453746-1 is not prime. Res64: E12564FC2BE9BB03 Time : 0.0 sec. user=mdettweiler [2017-05-13 09:04:05] 859*2^1453743-1 is not prime. Res64: 56915BCE38CB5FA8 Time : 0.0 sec. user=mdettweiler [2017-05-13 09:04:06] 901*2^1453743-1 is not prime. Res64: 89984B344E026C60 Time : 0.0 sec. user=mdettweiler [2017-05-13 09:04:07] 955*2^1453743-1 is not prime. Res64: 1A7ABD6E7E9D41DA Time : 0.0 sec. user=mdettweiler [2017-05-13 09:04:08] 985*2^1453743-1 is not prime. Res64: 9FC38BEA164DA242 Time : 0.0 sec. user=mdettweiler [2017-05-13 09:04:09] 657*2^1453744-1 is not prime. Res64: 5C11B0C90C6BC73F Time : 0.0 sec. user=mdettweiler [2017-05-13 09:04:21] 719*2^1453744-1 is not prime. Res64: A99097C1DE3ECDEE Time : 0.0 sec. user=mdettweiler [2017-05-13 09:04:22] 743*2^1453744-1 is not prime. Res64: 3E87B714182DE6B1 Time : 0.0 sec. user=mdettweiler [2017-05-13 09:04:23] 755*2^1453744-1 is not prime. Res64: 0A3159E235B27247 Time : 0.0 sec. user=mdettweiler [2017-05-13 09:04:24] 765*2^1453744-1 is not prime. Res64: 142364599CD3F800 Time : 0.0 sec. user=mdettweiler [2017-05-13 09:04:25] 813*2^1453744-1 is not prime. Res64: DA84A51B3E14BE40 Time : 0.0 sec. user=mdettweiler [2017-05-13 09:04:42] 843*2^1453744-1 is not prime. Res64: 042603F3D2D5AC9C Time : 0.0 sec. user=mdettweiler [2017-05-13 09:04:43] 899*2^1453744-1 is not prime. Res64: EE1A8620654BCFF4 Time : 0.0 sec. user=mdettweiler [2017-05-13 09:04:44] 917*2^1453744-1 is not prime. Res64: 44D51A02A2C5200E Time : 0.0 sec. user=mdettweiler [2017-05-13 09:04:44] 711*2^1453745-1 is not prime. Res64: 410C2F0AD43D9AD9 Time : 0.0 sec. user=mdettweiler [2017-05-13 09:04:45] 771*2^1453745-1 is not prime. Res64: 08957F8836D5C39E Time : 0.0 sec. user=mdettweiler [2017-05-13 09:05:07] 787*2^1453745-1 is not prime. Res64: 3F94E5FB55B3C3CD Time : 0.0 sec. user=mdettweiler [2017-05-13 09:05:07] 641*2^1453746-1 is not prime. Res64: 5C4C8047D8D7A0E9 Time : 0.0 sec. user=mdettweiler [2017-05-13 09:05:08] 717*2^1453746-1 is not prime. Res64: 469B1DC2C91BA872 Time : 0.0 sec. user=mdettweiler [2017-05-13 09:05:09] 807*2^1453746-1 is not prime. Res64: 6EAF94B57426003F Time : 0.0 sec. user=mdettweiler [2017-05-13 09:05:11] 825*2^1453746-1 is not prime. Res64: E8D81513DCC1D372 Time : 0.0 sec. user=juhehe [2017-05-13 09:40:26] 917*2^1453746-1 is not prime. Res64: 5EA73FE542895B3B Time : 0.0 sec. user=mdettweiler [2017-05-13 09:49:24] 993*2^1453746-1 is not prime. Res64: F982174D4275E24B Time : 0.0 sec. user=mdettweiler [2017-05-13 09:49:24] 615*2^1453747-1 is not prime. Res64: 58926040957F735D Time : 0.0 sec. user=mdettweiler [2017-05-13 09:49:25] 619*2^1453747-1 is not prime. Res64: 85235071A48B00F6 Time : 0.0 sec. user=mdettweiler [2017-05-13 09:49:25] 651*2^1453747-1 is not prime. Res64: A3F90795720D2BEF Time : 0.0 sec. user=mdettweiler [2017-05-13 09:49:26] 741*2^1453747-1 is not prime. Res64: 5603C909C700D2E3 Time : 0.0 sec. user=mdettweiler [2017-05-13 09:49:33] 885*2^1453747-1 is not prime. Res64: E864962DF5DE5133 Time : 0.0 sec. user=mdettweiler [2017-05-13 09:49:34] 973*2^1453747-1 is not prime. Res64: E42D419238D6ED9B Time : 0.0 sec. user=mdettweiler [2017-05-13 09:49:34] 975*2^1453747-1 is not prime. Res64: 475FE9A2BACAE1F0 Time : 0.0 sec. user=mdettweiler [2017-05-13 09:49:34] 687*2^1453748-1 is not prime. Res64: DBD02F57D42D82BC Time : 0.0 sec. user=mdettweiler [2017-05-13 09:49:35] 707*2^1453748-1 is not prime. Res64: 2FD00FFE6ADDCB00 Time : 0.0 sec. user=mdettweiler [2017-05-13 09:50:08] 767*2^1453748-1 is not prime. Res64: B5DD363F7D2DD6DB Time : 0.0 sec. user=mdettweiler [2017-05-13 09:50:08] 777*2^1453748-1 is not prime. Res64: 7D21AE0F10112AFD Time : 0.0 sec. user=mdettweiler [2017-05-13 09:50:09] 789*2^1453748-1 is not prime. Res64: 4431804D665D92DE Time : 0.0 sec. user=mdettweiler [2017-05-13 09:50:09] 797*2^1453748-1 is not prime. Res64: 4E8C1BA342DB5FA4 Time : 0.0 sec. user=mdettweiler [2017-05-13 09:50:10] 825*2^1453748-1 is not prime. Res64: 8601671D096F3ADC Time : 0.0 sec. user=mdettweiler [2017-05-13 09:50:22] 897*2^1453748-1 is not prime. Res64: 48FED168E5FD28F3 Time : 0.0 sec. user=mdettweiler [2017-05-13 09:50:22] 861*2^1453749-1 is not prime. Res64: 149E680185E72365 Time : 0.0 sec. user=mdettweiler [2017-05-13 09:50:23] 951*2^1453749-1 is not prime. Res64: 2EA1F972AE2F8EB0 Time : 0.0 sec. user=mdettweiler [2017-05-13 09:50:23] 747*2^1453750-1 is not prime. Res64: 5D8F34DEE23409D4 Time : 0.0 sec. user=mdettweiler [2017-05-13 09:50:23] 791*2^1453750-1 is not prime. Res64: 4D4B5FEE21C1357C Time : 0.0 sec. user=juhehe [2017-05-13 10:19:10] 833*2^1453750-1 is not prime. Res64: 7F8F42D555416FA0 Time : 0.0 sec. user=mdettweiler [2017-05-13 10:34:36] 845*2^1453750-1 is not prime. Res64: 71E42F7D262A54C1 Time : 0.0 sec. user=mdettweiler [2017-05-13 10:34:36] 891*2^1453750-1 is not prime. Res64: E70F236214339999 Time : 0.0 sec. user=mdettweiler [2017-05-13 10:34:37] 945*2^1453750-1 is not prime. Res64: 1453C63216972DF0 Time : 0.0 sec. user=mdettweiler [2017-05-13 10:34:37] 649*2^1453751-1 is not prime. Res64: CA4650AC2EB8AB55 Time : 0.0 sec. user=mdettweiler [2017-05-13 10:34:38] 679*2^1453751-1 is not prime. Res64: B30596B13E2219C8 Time : 0.0 sec. user=mdettweiler [2017-05-13 10:34:42] 939*2^1453751-1 is not prime. Res64: 9FAB136328A04FA2 Time : 0.0 sec. user=mdettweiler [2017-05-13 10:34:43] 945*2^1453751-1 is not prime. Res64: D6A8D8ECCF89ACC1 Time : 0.0 sec. user=mdettweiler [2017-05-13 10:34:43] 969*2^1453751-1 is not prime. Res64: 22116CB06414EB50 Time : 0.0 sec. user=mdettweiler [2017-05-13 10:34:44] 973*2^1453751-1 is not prime. Res64: 9CF03EDA73AECFFB Time : 0.0 sec. user=mdettweiler [2017-05-13 10:34:44] 627*2^1453752-1 is not prime. Res64: DBA2E5495A6BB482 Time : 0.0 sec. user=mdettweiler [2017-05-13 10:35:17] 765*2^1453752-1 is not prime. Res64: 852BC1AABA818138 Time : 0.0 sec. user=mdettweiler [2017-05-13 10:35:18] 809*2^1453752-1 is not prime. Res64: 899BDE67D12E08DF Time : 0.0 sec. user=mdettweiler [2017-05-13 10:35:18] 903*2^1453752-1 is not prime. Res64: 557D5B5884E36C3D Time : 0.0 sec. user=mdettweiler [2017-05-13 10:35:19] 959*2^1453752-1 is not prime. Res64: 3615EA1C32B89FEC Time : 0.0 sec. user=mdettweiler [2017-05-13 10:35:19] 615*2^1453753-1 is not prime. Res64: 220DFE2FFC86147D Time : 0.0 sec. user=mdettweiler [2017-05-13 10:35:39] 715*2^1453753-1 is not prime. Res64: 4F1F7C100E8A4416 Time : 0.0 sec. user=mdettweiler [2017-05-13 10:35:40] 765*2^1453753-1 is not prime. Res64: 9988D55103E8CDA7 Time : 0.0 sec. user=mdettweiler [2017-05-13 10:35:40] 805*2^1453753-1 is not prime. Res64: AD2ABED81D1DBF11 Time : 0.0 sec. user=mdettweiler [2017-05-13 10:35:40] 849*2^1453753-1 is not prime. Res64: 7E49B10F297BE4DF Time : 0.0 sec. user=mdettweiler [2017-05-13 10:35:41] 901*2^1453753-1 is not prime. Res64: D80212D91BE6BC80 Time : 0.0 sec. user=juhehe [2017-05-13 10:58:23] 937*2^1453753-1 is not prime. Res64: DB861B9A642C41D4 Time : 0.0 sec. user=mdettweiler [2017-05-13 11:19:48] 985*2^1453753-1 is not prime. Res64: C65A0C0B79CCD5F4 Time : 0.0 sec. user=mdettweiler [2017-05-13 11:19:48] 605*2^1453754-1 is not prime. Res64: 084F5543A407F118 Time : 0.0 sec. user=mdettweiler [2017-05-13 11:19:49] 635*2^1453754-1 is not prime. Res64: F88594338378D8EE Time : 0.0 sec. user=mdettweiler [2017-05-13 11:19:49] 671*2^1453754-1 is not prime. Res64: 6E4AC3AA38EFAC52 Time : 0.0 sec. user=mdettweiler [2017-05-13 11:19:50] 741*2^1453754-1 is not prime. Res64: BD002F63A4E1DE46 Time : 0.0 sec. user=mdettweiler [2017-05-13 11:19:57] 773*2^1453754-1 is not prime. Res64: 51CF4D1B806C1837 Time : 0.0 sec. user=mdettweiler [2017-05-13 11:19:58] 831*2^1453754-1 is not prime. Res64: 87439DAA91702EAE Time : 0.0 sec. user=mdettweiler [2017-05-13 11:19:58] 837*2^1453754-1 is not prime. Res64: 129623C3CA6D6ECB Time : 0.0 sec. user=mdettweiler [2017-05-13 11:19:59] 709*2^1453755-1 is not prime. Res64: E54559302AF02CFA Time : 0.0 sec. user=mdettweiler [2017-05-13 11:19:59] 739*2^1453755-1 is not prime. Res64: 8A6E439FC414C04C Time : 0.0 sec. user=mdettweiler [2017-05-13 11:20:30] 775*2^1453755-1 is not prime. Res64: 00F05954D1923CCE Time : 0.0 sec. user=mdettweiler [2017-05-13 11:20:30] 853*2^1453755-1 is not prime. Res64: 1BF475778FB2F061 Time : 0.0 sec. user=mdettweiler [2017-05-13 11:20:30] 895*2^1453755-1 is not prime. Res64: D2DC76340DCE23F4 Time : 0.0 sec. user=mdettweiler [2017-05-13 11:20:31] 695*2^1453756-1 is not prime. Res64: 91A7E9287B7455EF Time : 0.0 sec. user=mdettweiler [2017-05-13 11:20:31] 707*2^1453756-1 is not prime. Res64: A90DA57827B9114F Time : 0.0 sec. user=mdettweiler [2017-05-13 11:21:02] 755*2^1453756-1 is not prime. Res64: FE5DC5693A07E772 Time : 0.0 sec. user=mdettweiler [2017-05-13 11:21:02] 779*2^1453756-1 is not prime. Res64: E7D088332C4AE627 Time : 0.0 sec. user=mdettweiler [2017-05-13 11:21:03] 803*2^1453756-1 is not prime. Res64: F0D0F47850CA05EE Time : 0.0 sec. user=mdettweiler [2017-05-13 11:21:03] 825*2^1453756-1 is not prime. Res64: 2F8F6BC196F7BC11 Time : 0.0 sec. user=mdettweiler [2017-05-13 11:21:03] 953*2^1453756-1 is not prime. Res64: 91E74A2AAD233196 Time : 0.0 sec. user=juhehe [2017-05-13 11:37:03] 993*2^1453756-1 is not prime. Res64: FFB04D0836B26F56 Time : 0.0 sec. user=mdettweiler [2017-05-13 12:05:07] 669*2^1453757-1 is not prime. Res64: 02373BF2C03E5EC9 Time : 0.0 sec. user=mdettweiler [2017-05-13 12:05:10] 717*2^1453757-1 is not prime. Res64: D6CAE84E0008CF7F Time : 0.0 sec. user=mdettweiler [2017-05-13 12:05:12] 741*2^1453757-1 is not prime. Res64: 613F2FD81F280BDD Time : 0.0 sec. user=mdettweiler [2017-05-13 12:05:13] 955*2^1453757-1 is not prime. Res64: 34A5CCF1F7992DA1 Time : 0.0 sec. user=mdettweiler [2017-05-13 12:05:14] 901*2^1453757-1 is not prime. Res64: 7D7F2492ABD7038A Time : 0.0 sec. user=mdettweiler [2017-05-13 12:05:17] 939*2^1453757-1 is not prime. Res64: 335645AA5B393533 Time : 0.0 sec. user=mdettweiler [2017-05-13 12:05:18] 663*2^1453758-1 is not prime. Res64: 6C93745553B11718 Time : 0.0 sec. user=mdettweiler [2017-05-13 12:05:21] 747*2^1453758-1 is not prime. Res64: 97742D1E8F191E97 Time : 0.0 sec. user=mdettweiler [2017-05-13 12:05:24] 797*2^1453758-1 is not prime. Res64: 7AD6E082A8D40734 Time : 0.0 sec. user=mdettweiler [2017-05-13 12:05:28] 833*2^1453758-1 is not prime. Res64: ADB75AFB390E166E Time : 0.0 sec. user=mdettweiler [2017-05-13 12:05:44] 861*2^1453758-1 is not prime. Res64: B4ED709292F54105 Time : 0.0 sec. user=mdettweiler [2017-05-13 12:05:46] 975*2^1453758-1 is not prime. Res64: 48DC5E3FD97789E9 Time : 0.0 sec. user=mdettweiler [2017-05-13 12:05:47] 601*2^1453759-1 is not prime. Res64: 3BFBA5BCBAB135B5 Time : 0.0 sec. user=mdettweiler [2017-05-13 12:05:48] 693*2^1453759-1 is not prime. Res64: 3D352C66C1B03C9B Time : 0.0 sec. user=mdettweiler [2017-05-13 12:05:50] 741*2^1453759-1 is not prime. Res64: 7A1101090DA2BB7B Time : 0.0 sec. user=mdettweiler [2017-05-13 12:06:12] 763*2^1453759-1 is not prime. Res64: 51692ED653E76F8C Time : 0.0 sec. user=mdettweiler [2017-05-13 12:06:14] 841*2^1453759-1 is not prime. Res64: 31E3AE45A6AF4B90 Time : 0.0 sec. user=mdettweiler [2017-05-13 12:06:15] 859*2^1453759-1 is not prime. Res64: B414740F3A96366A Time : 0.0 sec. user=mdettweiler [2017-05-13 12:06:16] 939*2^1453759-1 is not prime. Res64: 6C4760958A7E5898 Time : 0.0 sec. user=mdettweiler [2017-05-13 12:06:17] 999*2^1453759-1 is not prime. Res64: 9FCC47A3887F0CD8 Time : 0.0 sec. user=juhehe [2017-05-13 12:15:43] 687*2^1453760-1 is not prime. Res64: 362EA672F10521EF Time : 0.0 sec. user=mdettweiler [2017-05-13 12:50:56] 843*2^1453760-1 is not prime. Res64: 5C6EC61C85C0ADE3 Time : 0.0 sec. user=mdettweiler [2017-05-13 12:50:56] 879*2^1453760-1 is not prime. Res64: 2DAEB8DD7CDE5F1C Time : 0.0 sec. user=mdettweiler [2017-05-13 12:50:57] 813*2^1453762-1 is not prime. Res64: 78E644F37BEEDA50 Time : 0.0 sec. user=mdettweiler [2017-05-13 12:50:57] 951*2^1453762-1 is not prime. Res64: C3D715A3D0EC5687 Time : 0.0 sec. user=mdettweiler [2017-05-13 12:50:57] 963*2^1453760-1 is not prime. Res64: 2D171C477786E42F Time : 0.0 sec. user=mdettweiler [2017-05-13 12:50:58] 981*2^1453762-1 is not prime. Res64: A3EE1B88822EBBEF Time : 0.0 sec. user=mdettweiler [2017-05-13 12:50:58] 657*2^1453761-1 is not prime. Res64: 7DACE3D36392BD19 Time : 0.0 sec. user=mdettweiler [2017-05-13 12:50:58] 751*2^1453761-1 is not prime. Res64: E320C57F48B21501 Time : 0.0 sec. user=mdettweiler [2017-05-13 12:50:58] 837*2^1453761-1 is not prime. Res64: 2DA2B51A67F197A4 Time : 0.0 sec. user=mdettweiler [2017-05-13 12:50:59] 755*2^1453762-1 is not prime. Res64: 25839A39C3D97545 Time : 0.0 sec. user=mdettweiler [2017-05-13 12:51:02] 675*2^1453763-1 is not prime. Res64: 4E7B356959FE2A4E Time : 0.0 sec. user=mdettweiler [2017-05-13 12:51:02] 741*2^1453763-1 is not prime. Res64: E9FF901CA688BA8B Time : 0.0 sec. user=mdettweiler [2017-05-13 12:51:02] 829*2^1453763-1 is not prime. Res64: 95B129C9C76BCDA2 Time : 0.0 sec. user=mdettweiler [2017-05-13 12:51:03] 913*2^1453763-1 is not prime. Res64: 443E49084310432D Time : 0.0 sec. user=mdettweiler [2017-05-13 12:51:03] 949*2^1453763-1 is not prime. Res64: 3D3BF6C4E6F85B4F Time : 0.0 sec. user=mdettweiler [2017-05-13 12:51:31] 605*2^1453764-1 is not prime. Res64: 14FAC4ABFBEE1D98 Time : 0.0 sec. user=mdettweiler [2017-05-13 12:51:32] 635*2^1453764-1 is not prime. Res64: 797D5E5768E47725 Time : 0.0 sec. user=mdettweiler [2017-05-13 12:51:32] 665*2^1453764-1 is not prime. Res64: 3B90F5D5CD49BEE1 Time : 0.0 sec. user=mdettweiler [2017-05-13 12:51:32] 903*2^1453764-1 is not prime. Res64: 5E36D08094D88FAE Time : 0.0 sec. user=mdettweiler [2017-05-13 12:51:33] 601*2^1453765-1 is not prime. Res64: 5EF83E9CA786AE90 Time : 0.0 sec. user=juhehe [2017-05-13 12:54:28] 667*2^1453765-1 is not prime. Res64: BCDCE75A70288652 Time : 0.0 sec. user=juhehe [2017-05-13 13:33:11] 931*2^1453769-1 is not prime. Res64: 3719218D13C5512F Time : 0.0 sec. user=mdettweiler [2017-05-13 13:35:51] 855*2^1453765-1 is not prime. Res64: DECE712C2771152D Time : 0.0 sec. user=mdettweiler [2017-05-13 13:35:51] 927*2^1453765-1 is not prime. Res64: BE99577EC4BD79B4 Time : 0.0 sec. user=mdettweiler [2017-05-13 13:35:52] 975*2^1453765-1 is not prime. Res64: 1604946204975C81 Time : 0.0 sec. user=mdettweiler [2017-05-13 13:35:52] 755*2^1453766-1 is not prime. Res64: 44998F77FDE0CE98 Time : 0.0 sec. user=mdettweiler [2017-05-13 13:35:53] 825*2^1453766-1 is not prime. Res64: DC97E2FCF9298612 Time : 0.0 sec. user=mdettweiler [2017-05-13 13:35:53] 957*2^1453766-1 is not prime. Res64: 9B3BA08C6FACBADC Time : 0.0 sec. user=mdettweiler [2017-05-13 13:35:54] 705*2^1453767-1 is not prime. Res64: BB29FC3CBFF202D9 Time : 0.0 sec. user=mdettweiler [2017-05-13 13:35:54] 739*2^1453767-1 is not prime. Res64: 02629967B7DD8849 Time : 0.0 sec. user=mdettweiler [2017-05-13 13:35:55] 781*2^1453767-1 is not prime. Res64: 59A93409F3FA4172 Time : 0.0 sec. user=mdettweiler [2017-05-13 13:35:55] 793*2^1453767-1 is not prime. Res64: 1E0C20ABBE970393 Time : 0.0 sec. user=mdettweiler [2017-05-13 13:36:02] 865*2^1453767-1 is not prime. Res64: 8D92FCA475C0203F Time : 0.0 sec. user=mdettweiler [2017-05-13 13:36:02] 895*2^1453767-1 is not prime. Res64: FC3265166828416F Time : 0.0 sec. user=mdettweiler [2017-05-13 13:36:03] 931*2^1453767-1 is not prime. Res64: 2B1A6B39FE842E9A Time : 0.0 sec. user=mdettweiler [2017-05-13 13:36:03] 933*2^1453767-1 is not prime. Res64: 78EC4D50F7FCEEE2 Time : 0.0 sec. user=mdettweiler [2017-05-13 13:36:03] 975*2^1453767-1 is not prime. Res64: 707CF92332D23F11 Time : 0.0 sec. user=mdettweiler [2017-05-13 13:36:35] 979*2^1453767-1 is not prime. Res64: 1ECF62B67618765D Time : 0.0 sec. user=mdettweiler [2017-05-13 13:36:36] 827*2^1453768-1 is not prime. Res64: BE46CBEC4C5658AC Time : 0.0 sec. user=mdettweiler [2017-05-13 13:36:36] 849*2^1453768-1 is not prime. Res64: F3BD2488325DA17F Time : 0.0 sec. user=mdettweiler [2017-05-13 13:36:36] 619*2^1453769-1 is not prime. Res64: 03619B7A0D8EE903 Time : 0.0 sec. user=mdettweiler [2017-05-13 13:36:37] 711*2^1453769-1 is not prime. Res64: DA867B386CE2F42D Time : 0.0 sec. user=juhehe [2017-05-13 14:11:54] 945*2^1453769-1 is not prime. Res64: C8F09ABA88D99608 Time : 0.0 sec. user=mdettweiler [2017-05-13 14:21:09] 969*2^1453769-1 is not prime. Res64: FFE148BDA3F05DAB Time : 0.0 sec. user=mdettweiler [2017-05-13 14:21:10] 611*2^1453770-1 is not prime. Res64: 549A84D1D7CF208D Time : 0.0 sec. user=mdettweiler [2017-05-13 14:21:10] 641*2^1453770-1 is not prime. Res64: AA3A8D5C09E7A6F8 Time : 0.0 sec. user=mdettweiler [2017-05-13 14:21:10] 657*2^1453770-1 is not prime. Res64: CA17BF0B56822584 Time : 0.0 sec. user=mdettweiler [2017-05-13 14:21:11] 773*2^1453770-1 is not prime. Res64: 0455BD002FFEBB24 Time : 0.0 sec. user=mdettweiler [2017-05-13 14:21:26] 797*2^1453770-1 is not prime. Res64: 90AE70A63455CE78 Time : 0.0 sec. user=mdettweiler [2017-05-13 14:21:26] 801*2^1453771-1 is not prime. Res64: 77ABD42E85E70DC7 Time : 0.0 sec. user=mdettweiler [2017-05-13 14:21:26] 971*2^1453770-1 is not prime. Res64: 2B905329F83ED687 Time : 0.0 sec. user=mdettweiler [2017-05-13 14:21:26] 819*2^1453771-1 is not prime. Res64: 34D385FE02059213 Time : 0.0 sec. user=mdettweiler [2017-05-13 14:21:27] 663*2^1453771-1 is not prime. Res64: DA20FD551509374C Time : 0.0 sec. user=mdettweiler [2017-05-13 14:21:27] 855*2^1453771-1 is not prime. Res64: 8F75F016A0E00EF6 Time : 0.0 sec. user=mdettweiler [2017-05-13 14:21:27] 735*2^1453771-1 is not prime. Res64: 8B0DA2C15866CEA1 Time : 0.0 sec. user=mdettweiler [2017-05-13 14:21:27] 861*2^1453771-1 is not prime. Res64: 37C34D1542639E81 Time : 0.0 sec. user=mdettweiler [2017-05-13 14:21:27] 769*2^1453771-1 is not prime. Res64: 875FBD4BD7634E7F Time : 0.0 sec. user=mdettweiler [2017-05-13 14:21:28] 901*2^1453771-1 is not prime. Res64: F148A2EA6A5D7F6B Time : 0.0 sec. user=mdettweiler [2017-05-13 14:21:59] 931*2^1453771-1 is not prime. Res64: 91A0192A9F7AA803 Time : 0.0 sec. user=mdettweiler [2017-05-13 14:22:00] 975*2^1453771-1 is not prime. Res64: 568126F0E14A779B Time : 0.0 sec. user=mdettweiler [2017-05-13 14:22:00] 623*2^1453772-1 is not prime. Res64: 0BB855F61F261D22 Time : 0.0 sec. user=mdettweiler [2017-05-13 14:22:01] 669*2^1453772-1 is not prime. Res64: B07635CC9A63B9E1 Time : 0.0 sec. user=mdettweiler [2017-05-13 14:22:01] 693*2^1453772-1 is not prime. Res64: E52ABCB600BDC8AB Time : 0.0 sec. user=juhehe [2017-05-13 14:50:43] 699*2^1453772-1 is not prime. Res64: 93CCA7EEFA344991 Time : 0.0 sec. user=mdettweiler [2017-05-13 15:06:49] 987*2^1453772-1 is not prime. Res64: 7B3A205B82AB1999 Time : 0.0 sec. user=mdettweiler [2017-05-13 15:06:50] 769*2^1453773-1 is not prime. Res64: 3301F1BA40B51211 Time : 0.0 sec. user=mdettweiler [2017-05-13 15:06:51] 835*2^1453773-1 is not prime. Res64: C1A549DF16A17763 Time : 0.0 sec. user=mdettweiler [2017-05-13 15:06:51] 987*2^1453773-1 is not prime. Res64: C9C4A61DB8AE111F Time : 0.0 sec. user=mdettweiler [2017-05-13 15:06:52] 871*2^1453773-1 is not prime. Res64: 0302FC47A5424469 Time : 0.0 sec. user=mdettweiler [2017-05-13 15:06:53] 927*2^1453773-1 is not prime. Res64: BD3A9B88C38EE279 Time : 0.0 sec. user=mdettweiler [2017-05-13 15:06:53] 741*2^1453774-1 is not prime. Res64: A32ADC3B4C3F1B6A Time : 0.0 sec. user=mdettweiler [2017-05-13 15:06:57] 791*2^1453774-1 is not prime. Res64: 8961E863C307468C Time : 0.0 sec. user=mdettweiler [2017-05-13 15:07:00] 821*2^1453774-1 is not prime. Res64: A7573D0C10F5B5EF Time : 0.0 sec. user=mdettweiler [2017-05-13 15:07:02] 1001*2^1453774-1 is not prime. Res64: 772101C786EB5EEB Time : 0.0 sec. user=mdettweiler [2017-05-13 15:07:21] 619*2^1453775-1 is not prime. Res64: 2E6F6FF3F0452741 Time : 0.0 sec. user=mdettweiler [2017-05-13 15:07:21] 661*2^1453775-1 is not prime. Res64: 5A7DC03B7097E375 Time : 0.0 sec. user=mdettweiler [2017-05-13 15:07:21] 823*2^1453775-1 is not prime. Res64: BABDC24763879625 Time : 0.0 sec. user=mdettweiler [2017-05-13 15:07:22] 825*2^1453775-1 is not prime. Res64: 17B8A21ABB499ADA Time : 0.0 sec. user=mdettweiler [2017-05-13 15:07:22] 843*2^1453775-1 is not prime. Res64: 04DDC702C1C6A50F Time : 0.0 sec. user=mdettweiler [2017-05-13 15:07:27] 719*2^1453772-1 is not prime. Res64: 77E037B125A1C5C1 Time : 0.0 sec. user=mdettweiler [2017-05-13 15:07:28] 753*2^1453772-1 is not prime. Res64: 9EBAB19D857D3E55 Time : 0.0 sec. user=mdettweiler [2017-05-13 15:07:28] 813*2^1453772-1 is not prime. Res64: E9B9CC1A884665AB Time : 0.0 sec. user=mdettweiler [2017-05-13 15:07:29] 963*2^1453772-1 is not prime. Res64: 0D09D15B877C6D1F Time : 0.0 sec. user=mdettweiler [2017-05-13 15:07:29] 983*2^1453772-1 is not prime. Res64: 2D324CD1491EA9CB Time : 0.0 sec. user=juhehe [2017-05-13 15:29:26] 861*2^1453775-1 is not prime. Res64: FAE2DAC5CD72A8D4 Time : 0.0 sec. user=mdettweiler [2017-05-13 15:52:16] 885*2^1453775-1 is not prime. Res64: A4E00B031BBFA2BD Time : 0.0 sec. user=mdettweiler [2017-05-13 15:52:16] 949*2^1453775-1 is not prime. Res64: 587317FD31C4D7D0 Time : 0.0 sec. user=mdettweiler [2017-05-13 15:52:17] 653*2^1453776-1 is not prime. Res64: 10D24FDC75290A6A Time : 0.0 sec. user=mdettweiler [2017-05-13 15:52:17] 669*2^1453776-1 is not prime. Res64: C3CCE6A3131262C7 Time : 0.0 sec. user=mdettweiler [2017-05-13 15:52:17] 723*2^1453776-1 is not prime. Res64: E798C8CFC33EB6F4 Time : 0.0 sec. user=mdettweiler [2017-05-13 15:52:22] 725*2^1453776-1 is not prime. Res64: 615AFED30A5B76BF Time : 0.0 sec. user=mdettweiler [2017-05-13 15:52:22] 759*2^1453776-1 is not prime. Res64: 46A044D47CB682DD Time : 0.0 sec. user=mdettweiler [2017-05-13 15:52:23] 879*2^1453776-1 is not prime. Res64: E4B8FAE888EF1A19 Time : 0.0 sec. user=mdettweiler [2017-05-13 15:52:23] 893*2^1453776-1 is not prime. Res64: C8555DF7C47982D2 Time : 0.0 sec. user=mdettweiler [2017-05-13 15:52:23] 903*2^1453776-1 is not prime. Res64: B345E23469D60427 Time : 0.0 sec. user=mdettweiler [2017-05-13 15:52:31] 905*2^1453776-1 is not prime. Res64: 9BDE10C629FF4F26 Time : 0.0 sec. user=mdettweiler [2017-05-13 15:52:32] 933*2^1453776-1 is not prime. Res64: 7FB44571E3B43EBF Time : 0.0 sec. user=mdettweiler [2017-05-13 15:52:32] 945*2^1453776-1 is not prime. Res64: 2B3C5E8AB6473066 Time : 0.0 sec. user=mdettweiler [2017-05-13 15:52:33] 975*2^1453776-1 is not prime. Res64: 9F2771A9417E15E1 Time : 0.0 sec. user=mdettweiler [2017-05-13 15:52:33] 691*2^1453777-1 is not prime. Res64: BE97C9E3D8AEBCE6 Time : 0.0 sec. user=mdettweiler [2017-05-13 15:52:44] 835*2^1453777-1 is not prime. Res64: 3CF49F453BB19FC5 Time : 0.0 sec. user=mdettweiler [2017-05-13 15:52:45] 841*2^1453777-1 is not prime. Res64: 35BAD726F2D263E4 Time : 0.0 sec. user=mdettweiler [2017-05-13 15:52:45] 931*2^1453777-1 is not prime. Res64: 78F77FF5426E178D Time : 0.0 sec. user=mdettweiler [2017-05-13 15:52:46] 937*2^1453777-1 is not prime. Res64: 5323A6424D5D3FBF Time : 0.0 sec. user=mdettweiler [2017-05-13 15:52:46] 957*2^1453777-1 is not prime. Res64: 267493B636A1C869 Time : 0.0 sec. user=juhehe [2017-05-13 16:08:37] 623*2^1453778-1 is not prime. Res64: 435DA3A7428B912F Time : 0.0 sec. user=mdettweiler [2017-05-13 16:37:30] 615*2^1453779-1 is not prime. Res64: A53B07FAE64EE882 Time : 0.0 sec. user=mdettweiler [2017-05-13 16:37:31] 657*2^1453778-1 is not prime. Res64: 788CD5CE785C8CEE Time : 0.0 sec. user=mdettweiler [2017-05-13 16:37:31] 895*2^1453779-1 is not prime. Res64: 61A88497D9312A76 Time : 0.0 sec. user=mdettweiler [2017-05-13 16:37:31] 677*2^1453778-1 is not prime. Res64: E5C121E0F6DEE488 Time : 0.0 sec. user=mdettweiler [2017-05-13 16:37:31] 903*2^1453779-1 is not prime. Res64: F868CF72612C4EAE Time : 0.0 sec. user=mdettweiler [2017-05-13 16:37:31] 731*2^1453778-1 is not prime. Res64: 7683D3E71C17AE45 Time : 0.0 sec. user=mdettweiler [2017-05-13 16:37:32] 913*2^1453779-1 is not prime. Res64: AE07CBC96B5E2773 Time : 0.0 sec. user=mdettweiler [2017-05-13 16:37:32] 755*2^1453778-1 is not prime. Res64: 9E1F55F7CED53B80 Time : 0.0 sec. user=mdettweiler [2017-05-13 16:37:32] 953*2^1453778-1 is not prime. Res64: A933976554FB1E5A Time : 0.0 sec. user=mdettweiler [2017-05-13 16:37:32] 931*2^1453779-1 is not prime. Res64: 3E1EC117DFDDDB3D Time : 0.0 sec. user=mdettweiler [2017-05-13 16:37:44] 943*2^1453779-1 is not prime. Res64: 2E4DCBC11954C5E4 Time : 0.0 sec. user=mdettweiler [2017-05-13 16:37:44] 969*2^1453779-1 is not prime. Res64: 01F62D297E16797A Time : 0.0 sec. user=mdettweiler [2017-05-13 16:37:45] 609*2^1453780-1 is not prime. Res64: 9E80F864666E0E72 Time : 0.0 sec. user=mdettweiler [2017-05-13 16:37:45] 629*2^1453780-1 is not prime. Res64: E96653EE2F2EEFB0 Time : 0.0 sec. user=mdettweiler [2017-05-13 16:37:46] 803*2^1453780-1 is not prime. Res64: 0D9078D7F5C66602 Time : 0.0 sec. user=mdettweiler [2017-05-13 16:37:59] 843*2^1453780-1 is not prime. Res64: F33CC66976724BA1 Time : 0.0 sec. user=mdettweiler [2017-05-13 16:38:00] 899*2^1453780-1 is not prime. Res64: 46853B8E93BE485D Time : 0.0 sec. user=mdettweiler [2017-05-13 16:38:00] 933*2^1453780-1 is not prime. Res64: C3830E44BFF0C3D2 Time : 0.0 sec. user=mdettweiler [2017-05-13 16:38:00] 953*2^1453780-1 is not prime. Res64: 0E857A4FCF0FB1B0 Time : 0.0 sec. user=mdettweiler [2017-05-13 16:38:01] 999*2^1453780-1 is not prime. Res64: 9F436FA1BD856816 Time : 0.0 sec. user=juhehe [2017-05-13 16:40:22] 675*2^1453781-1 is not prime. Res64: 1CE388A8A21C320B Time : 0.0 sec. user=mdettweiler [2017-05-13 17:22:37] 747*2^1453782-1 is not prime. Res64: 5957C654FA148A78 Time : 0.0 sec. user=mdettweiler [2017-05-13 17:22:37] 755*2^1453782-1 is not prime. Res64: DF8D896E9396DCE2 Time : 0.0 sec. user=mdettweiler [2017-05-13 17:22:38] 761*2^1453782-1 is not prime. Res64: 5B72E0A83CD0B2F4 Time : 0.0 sec. user=mdettweiler [2017-05-13 17:22:38] 765*2^1453782-1 is not prime. Res64: 4495029F324E7A21 Time : 0.0 sec. user=mdettweiler [2017-05-13 17:22:38] 777*2^1453782-1 is not prime. Res64: 40A94209193BE9EA Time : 0.0 sec. user=mdettweiler [2017-05-13 17:22:52] 927*2^1453781-1 is not prime. Res64: EFF4E509ABAC24B0 Time : 0.0 sec. user=mdettweiler [2017-05-13 17:22:53] 957*2^1453781-1 is not prime. Res64: A42DBA60D8FB498A Time : 0.0 sec. user=mdettweiler [2017-05-13 17:22:53] 647*2^1453782-1 is not prime. Res64: 1FC728DE518E64BF Time : 0.0 sec. user=mdettweiler [2017-05-13 17:22:54] 681*2^1453782-1 is not prime. Res64: D52083BA7990570B Time : 0.0 sec. user=mdettweiler [2017-05-13 17:22:54] 723*2^1453782-1 is not prime. Res64: 0DA26F050A58F3CF Time : 0.0 sec. user=mdettweiler [2017-05-13 17:22:55] 833*2^1453782-1 is not prime. Res64: 33BB4AB7192DA382 Time : 0.0 sec. user=mdettweiler [2017-05-13 17:22:56] 685*2^1453783-1 is not prime. Res64: 56927D1CF5FEEECE Time : 0.0 sec. user=mdettweiler [2017-05-13 17:22:56] 723*2^1453783-1 is not prime. Res64: 0D98568155038DC1 Time : 0.0 sec. user=mdettweiler [2017-05-13 17:22:56] 741*2^1453783-1 is not prime. Res64: ABA6C524DD4F422F Time : 0.0 sec. user=mdettweiler [2017-05-13 17:22:57] 765*2^1453783-1 is not prime. Res64: 267090F0B30FD739 Time : 0.0 sec. user=mdettweiler [2017-05-13 17:23:10] 793*2^1453783-1 is not prime. Res64: 607F9EF60FB9E0EF Time : 0.0 sec. user=mdettweiler [2017-05-13 17:23:10] 805*2^1453783-1 is not prime. Res64: A0B78A0072FE69D6 Time : 0.0 sec. user=mdettweiler [2017-05-13 17:23:11] 813*2^1453783-1 is not prime. Res64: 895BB2F0AFBD0E80 Time : 0.0 sec. user=mdettweiler [2017-05-13 17:23:11] 973*2^1453783-1 is not prime. Res64: 47A97A2D9A63E628 Time : 0.0 sec. user=mdettweiler [2017-05-13 17:23:12] 665*2^1453784-1 is not prime. Res64: C6F1E05AD69E7059 Time : 0.0 sec. user=juhehe [2017-05-13 18:05:55] 981*2^1453787-1 is not prime. Res64: 087D5F1F39A4CA30 Time : 0.0 sec. user=mdettweiler [2017-05-13 18:07:37] 689*2^1453784-1 is not prime. Res64: 64E31A7E780C9166 Time : 0.0 sec. user=mdettweiler [2017-05-13 18:07:39] 729*2^1453784-1 is not prime. Res64: 8102A42071F94317 Time : 0.0 sec. user=mdettweiler [2017-05-13 18:07:40] 873*2^1453784-1 is not prime. Res64: 04776D127276FE08 Time : 0.0 sec. user=mdettweiler [2017-05-13 18:07:43] 899*2^1453784-1 is not prime. Res64: 1D18F7841EE8BB51 Time : 0.0 sec. user=mdettweiler [2017-05-13 18:07:45] 607*2^1453785-1 is not prime. Res64: 25A591CAF491E887 Time : 0.0 sec. user=mdettweiler [2017-05-13 18:08:01] 837*2^1453785-1 is not prime. Res64: 82A46C393E9F5EF2 Time : 0.0 sec. user=mdettweiler [2017-05-13 18:08:04] 919*2^1453785-1 is not prime. Res64: 5FC04FBD5E442AE7 Time : 0.0 sec. user=mdettweiler [2017-05-13 18:08:08] 705*2^1453785-1 is not prime. Res64: 53ADF5F6CDDB6694 Time : 0.0 sec. user=mdettweiler [2017-05-13 18:08:09] 675*2^1453786-1 is not prime. Res64: 2BB13A78BDFE51B1 Time : 0.0 sec. user=mdettweiler [2017-05-13 18:08:12] 643*2^1453787-1 is not prime. Res64: C72F43490175EE16 Time : 0.0 sec. user=mdettweiler [2017-05-13 18:08:14] 699*2^1453787-1 is not prime. Res64: 72F626E6BEC6A684 Time : 0.0 sec. user=mdettweiler [2017-05-13 18:08:15] 741*2^1453785-1 is not prime. Res64: CDC8A107E1B2E811 Time : 0.0 sec. user=mdettweiler [2017-05-13 18:08:22] 825*2^1453787-1 is not prime. Res64: 66AA211957ECA972 Time : 0.0 sec. user=odicin [2017-05-13 18:15:29] 635*2^1453788-1 is not prime. Res64: A0AD2462EF402337 Time : 0.0 sec. user=mdettweiler [2017-05-13 18:56:43] 615*2^1453789-1 is not prime. Res64: F9FB54A687810186 Time : 0.0 sec. user=mdettweiler [2017-05-13 18:56:43] 741*2^1453789-1 is not prime. Res64: 1C78AD28CE085E20 Time : 0.0 sec. user=mdettweiler [2017-05-13 18:56:44] 771*2^1453789-1 is not prime. Res64: ECF6D1CC5084F8A9 Time : 0.0 sec. user=mdettweiler [2017-05-13 18:56:44] 799*2^1453789-1 is not prime. Res64: 618D2148405D4FF6 Time : 0.0 sec. user=mdettweiler [2017-05-13 18:56:44] 877*2^1453789-1 is not prime. Res64: E303BDDF01221BC9 Time : 0.0 sec. user=mdettweiler [2017-05-13 18:57:21] 997*2^1453789-1 is not prime. Res64: F76C89A24A0E8E00 Time : 0.0 sec. user=mdettweiler [2017-05-13 18:57:21] 711*2^1453790-1 is not prime. Res64: 90F38DD970D4CD03 Time : 0.0 sec. user=mdettweiler [2017-05-13 18:57:21] 761*2^1453790-1 is not prime. Res64: 9FE83DBD9D594EC1 Time : 0.0 sec. user=mdettweiler [2017-05-13 18:57:22] 827*2^1453790-1 is not prime. Res64: 88DB6BC61A1BCB31 Time : 0.0 sec. user=mdettweiler [2017-05-13 18:57:22] 833*2^1453790-1 is not prime. Res64: D51ADBBD19E696FF Time : 0.0 sec. user=mdettweiler [2017-05-13 19:45:26] 935*2^1453790-1 is not prime. Res64: 370B0A447003AFED Time : 0.0 sec. user=mdettweiler [2017-05-13 19:45:26] 945*2^1453790-1 is not prime. Res64: F885AF3025E3C977 Time : 0.0 sec. user=mdettweiler [2017-05-13 19:45:27] 981*2^1453790-1 is not prime. Res64: 40E8E2E34B148D61 Time : 0.0 sec. user=mdettweiler [2017-05-13 19:45:27] 669*2^1453791-1 is not prime. Res64: 3BBFA18893826EC5 Time : 0.0 sec. user=mdettweiler [2017-05-13 19:45:27] 775*2^1453791-1 is not prime. Res64: 8E44904271FB736F Time : 0.0 sec. user=mdettweiler [2017-05-13 19:46:36] 789*2^1453791-1 is not prime. Res64: 889ED6F5FB81D3C8 Time : 0.0 sec. user=mdettweiler [2017-05-13 19:46:36] 879*2^1453791-1 is not prime. Res64: 3ACCC802D65FF0AF Time : 0.0 sec. user=mdettweiler [2017-05-13 19:46:37] 895*2^1453791-1 is not prime. Res64: 67918611450F26BB Time : 0.0 sec. user=mdettweiler [2017-05-13 19:46:37] 931*2^1453791-1 is not prime. Res64: 5728FC75AE255A6A Time : 0.0 sec. user=mdettweiler [2017-05-13 19:46:37] 951*2^1453791-1 is not prime. Res64: 63BDF2778D33C314 Time : 0.0 sec. user=juhehe [2017-05-13 20:04:16] 675*2^1453792-1 is not prime. Res64: 5415096DF0AC443A Time : 0.0 sec. user=mdettweiler [2017-05-13 20:36:54] 677*2^1453792-1 is not prime. Res64: F377FDEB651D8566 Time : 0.0 sec. user=mdettweiler [2017-05-13 20:36:54] 699*2^1453792-1 is not prime. Res64: C626A8130872D468 Time : 0.0 sec. user=mdettweiler [2017-05-13 20:36:55] 777*2^1453792-1 is not prime. Res64: 969CC0E103713485 Time : 0.0 sec. user=mdettweiler [2017-05-13 20:36:55] 843*2^1453792-1 is not prime. Res64: EED9CD1A0D6F4A8B Time : 0.0 sec. user=mdettweiler [2017-05-13 20:36:55] 909*2^1453792-1 is not prime. Res64: DB1288D7B4AA1C02 Time : 0.0 sec. user=mdettweiler [2017-05-13 20:38:31] 915*2^1453792-1 is not prime. Res64: 7194F28503955B4C Time : 0.0 sec. user=mdettweiler [2017-05-13 20:38:31] 923*2^1453792-1 is not prime. Res64: 39F0FE12EED256DE Time : 0.0 sec. user=mdettweiler [2017-05-13 20:38:32] 607*2^1453793-1 is not prime. Res64: C2887E250E4C5349 Time : 0.0 sec. user=mdettweiler [2017-05-13 20:38:32] 627*2^1453793-1 is not prime. Res64: D4C52E178F6565F4 Time : 0.0 sec. user=mdettweiler [2017-05-13 20:38:33] 657*2^1453793-1 is not prime. Res64: 4FA8EE94A7AB5659 Time : 0.0 sec. user=juhehe [2017-05-13 21:22:24] 737*2^1453794-1 is not prime. Res64: FA0F0E29DC65521B Time : 0.0 sec. user=mdettweiler [2017-05-13 21:26:37] 697*2^1453793-1 is not prime. Res64: D7C5146854C108B5 Time : 0.0 sec. user=mdettweiler [2017-05-13 21:26:37] 747*2^1453793-1 is not prime. Res64: 6686DADC93F28E3F Time : 0.0 sec. user=mdettweiler [2017-05-13 21:26:38] 771*2^1453793-1 is not prime. Res64: 45BC20BED3D84FD2 Time : 0.0 sec. user=mdettweiler [2017-05-13 21:26:38] 885*2^1453793-1 is not prime. Res64: 79862DEB17ADB3C6 Time : 0.0 sec. user=mdettweiler [2017-05-13 21:26:39] 925*2^1453793-1 is not prime. Res64: E77AB01EBDB20EEA Time : 0.0 sec. user=mdettweiler [2017-05-13 21:28:42] 937*2^1453793-1 is not prime. Res64: 6419E937A28EA78E Time : 0.0 sec. user=mdettweiler [2017-05-13 21:28:42] 951*2^1453793-1 is not prime. Res64: 0E5570EC619E384D Time : 0.0 sec. user=mdettweiler [2017-05-13 21:28:43] 981*2^1453793-1 is not prime. Res64: CF5D593DCF6FFF57 Time : 0.0 sec. user=mdettweiler [2017-05-13 21:28:43] 635*2^1453794-1 is not prime. Res64: 0E13407D079C2975 Time : 0.0 sec. user=mdettweiler [2017-05-13 21:28:44] 705*2^1453794-1 is not prime. Res64: 50BE4D50D44B917C Time : 0.0 sec. user=mdettweiler [2017-05-13 22:10:34] 939*2^1453787-1 is not prime. Res64: D69E9B89E970FA26 Time : 0.0 sec. user=mdettweiler [2017-05-13 22:10:34] 949*2^1453787-1 is not prime. Res64: 86DB82D59014ECC2 Time : 0.0 sec. user=mdettweiler [2017-05-13 22:10:35] 955*2^1453787-1 is not prime. Res64: 3A80E7BB7A8229FB Time : 0.0 sec. user=mdettweiler [2017-05-13 22:10:35] 963*2^1453787-1 is not prime. Res64: 671FC224B07562D0 Time : 0.0 sec. user=mdettweiler [2017-05-13 22:16:19] 767*2^1453794-1 is not prime. Res64: A3B83E2510698204 Time : 0.0 sec. user=mdettweiler [2017-05-13 22:16:19] 837*2^1453794-1 is not prime. Res64: E023E449CB251937 Time : 0.0 sec. user=mdettweiler [2017-05-13 22:16:19] 851*2^1453794-1 is not prime. Res64: DAA8D9682CCE72E4 Time : 0.0 sec. user=mdettweiler [2017-05-13 22:16:20] 861*2^1453794-1 is not prime. Res64: B6A4EE5824A1DC89 Time : 0.0 sec. user=mdettweiler [2017-05-13 22:16:20] 951*2^1453794-1 is not prime. Res64: 6FD49400402DC68A Time : 0.0 sec. user=mdettweiler [2017-05-13 22:18:23] 679*2^1453795-1 is not prime. Res64: B4F572069C59A6EE Time : 0.0 sec. user=mdettweiler [2017-05-13 22:18:23] 677*2^1453796-1 is not prime. Res64: 894EBDBB4C386399 Time : 0.0 sec. user=mdettweiler [2017-05-13 22:18:24] 689*2^1453796-1 is not prime. Res64: 9E868D588A4B5E52 Time : 0.0 sec. user=mdettweiler [2017-05-13 22:18:24] 749*2^1453796-1 is not prime. Res64: 69E5E5BD0CAA2718 Time : 0.0 sec. user=mdettweiler [2017-05-13 22:18:25] 767*2^1453796-1 is not prime. Res64: 0D1CD533B61DDF01 Time : 0.0 sec. user=mdettweiler [2017-05-13 22:34:23] 759*2^1453785-1 is not prime. Res64: EAAE390A25B81F0C Time : 0.0 sec. user=mdettweiler [2017-05-13 22:34:24] 817*2^1453785-1 is not prime. Res64: 4145D8E027BF9B27 Time : 0.0 sec. user=mdettweiler [2017-05-13 22:34:24] 819*2^1453785-1 is not prime. Res64: A9AD30FAA0427567 Time : 0.0 sec. user=mdettweiler [2017-05-13 22:56:28] 899*2^1453796-1 is not prime. Res64: 926DA622EA6E86DA Time : 0.0 sec. user=mdettweiler [2017-05-13 22:56:28] 945*2^1453796-1 is not prime. Res64: 8193EC37738EAE7D Time : 0.0 sec. user=mdettweiler [2017-05-13 22:56:29] 651*2^1453797-1 is not prime. Res64: 097ACB3659D8506D Time : 0.0 sec. user=mdettweiler [2017-05-13 22:56:29] 669*2^1453797-1 is not prime. Res64: 8C99811AEE62F647 Time : 0.0 sec. user=mdettweiler [2017-05-13 22:56:29] 711*2^1453797-1 is not prime. Res64: 7563A6F57FF1323F Time : 0.0 sec. user=mdettweiler [2017-05-13 23:02:38] 945*2^1453797-1 is not prime. Res64: FBC2E6DB13D9F99F Time : 0.0 sec. user=mdettweiler [2017-05-13 23:02:39] 961*2^1453797-1 is not prime. Res64: BC1C1FEFAEF8FAC7 Time : 0.0 sec. user=mdettweiler [2017-05-13 23:02:40] 603*2^1453798-1 is not prime. Res64: 5A64E541F0870935 Time : 0.0 sec. user=mdettweiler [2017-05-13 23:02:41] 623*2^1453798-1 is not prime. Res64: AA1F6515FFEBC1CF Time : 0.0 sec. user=mdettweiler [2017-05-13 23:02:42] 665*2^1453798-1 is not prime. Res64: C18F9133C1586C92 Time : 0.0 sec. user=mdettweiler [2017-05-13 23:04:33] 671*2^1453798-1 is not prime. Res64: 422F1A11CE5FA2C1 Time : 0.0 sec. user=mdettweiler [2017-05-13 23:04:35] 677*2^1453798-1 is not prime. Res64: 6EE618ED936FCCAE Time : 0.0 sec. user=mdettweiler [2017-05-13 23:04:36] 843*2^1453798-1 is not prime. Res64: FAF00D451C852FEE Time : 0.0 sec. user=mdettweiler [2017-05-13 23:04:37] 855*2^1453798-1 is not prime. Res64: 54EAD8D28016AE71 Time : 0.0 sec. user=mdettweiler [2017-05-13 23:04:38] 923*2^1453798-1 is not prime. Res64: B0EAD6064D5E7990 Time : 0.0 sec. user=juhehe [2017-05-13 23:19:40] 855*2^1453799-1 is not prime. Res64: 17152C942239E58F Time : 0.0 sec. user=mdettweiler [2017-05-13 23:20:37] 981*2^1453798-1 is not prime. Res64: F4CF1F46AB20FF98 Time : 0.0 sec. user=mdettweiler [2017-05-13 23:20:37] 619*2^1453799-1 is not prime. Res64: 0775004FB80DB3BB Time : 0.0 sec. user=mdettweiler [2017-05-13 23:20:37] 645*2^1453799-1 is not prime. Res64: 3A684C0C74B07F7D Time : 0.0 sec. user=mdettweiler [2017-05-13 23:20:38] 661*2^1453799-1 is not prime. Res64: B8763ABE24EFFCB4 Time : 0.0 sec. user=mdettweiler [2017-05-13 23:20:38] 819*2^1453799-1 is not prime. Res64: C54FD9E588EFF913 Time : 0.0 sec. user=mdettweiler [2017-05-13 23:42:39] 913*2^1453799-1 is not prime. Res64: 52E5AF474E9674D7 Time : 0.0 sec. user=mdettweiler [2017-05-13 23:42:39] 991*2^1453799-1 is not prime. Res64: 1FA8F731AC7DDEA7 Time : 0.0 sec. user=mdettweiler [2017-05-13 23:42:40] 839*2^1453800-1 is not prime. Res64: 11AD729E14070387 Time : 0.0 sec. user=mdettweiler [2017-05-13 23:42:40] 857*2^1453800-1 is not prime. Res64: D998A13AB434CE3C Time : 0.0 sec. user=mdettweiler [2017-05-13 23:42:40] 615*2^1453801-1 is not prime. Res64: 0BFF3F0AB4A2AC54 Time : 0.0 sec. user=mdettweiler [2017-05-13 23:48:45] 619*2^1453801-1 is not prime. Res64: D01C4E4302E923F9 Time : 0.0 sec. user=mdettweiler [2017-05-13 23:48:45] 645*2^1453801-1 is not prime. Res64: 2F1DFF9D4E5C2CE8 Time : 0.0 sec. user=mdettweiler [2017-05-13 23:48:45] 651*2^1453801-1 is not prime. Res64: 386CE60ECBAD9477 Time : 0.0 sec. user=mdettweiler [2017-05-13 23:48:46] 871*2^1453801-1 is not prime. Res64: 242C4E087EF8C518 Time : 0.0 sec. user=mdettweiler [2017-05-13 23:48:46] 889*2^1453801-1 is not prime. Res64: 799918B4155FE6A7 Time : 0.0 sec. user=mdettweiler [2017-05-13 23:50:48] 909*2^1453801-1 is not prime. Res64: D9E85B4B4AA99F65 Time : 0.0 sec. user=mdettweiler [2017-05-13 23:50:48] 675*2^1453802-1 is not prime. Res64: A3F10D0C4CA7D363 Time : 0.0 sec. user=mdettweiler [2017-05-13 23:50:49] 791*2^1453802-1 is not prime. Res64: 9F21003CCBA92E8C Time : 0.0 sec. user=mdettweiler [2017-05-13 23:50:49] 609*2^1453803-1 is not prime. Res64: F2B9C4BB807B5511 Time : 0.0 sec. user=mdettweiler [2017-05-13 23:50:50] 639*2^1453803-1 is not prime. Res64: 3B7BA28AFC3C3C1C Time : 0.0 sec.