user=mdettweiler [2015-04-09 00:14:26] 987*2^1397213-1 is not prime. Res64: 1704442038B77B24 Time : 0.0 sec. user=mdettweiler [2015-04-09 00:14:27] 657*2^1397214-1 is not prime. Res64: 1C5EB78F74846919 Time : 0.0 sec. user=mdettweiler [2015-04-09 00:14:44] 693*2^1397214-1 is not prime. Res64: 399803CCF988CB28 Time : 0.0 sec. user=mdettweiler [2015-04-09 00:14:44] 765*2^1397214-1 is not prime. Res64: 9D78BF5326B8665E Time : 0.0 sec. user=mdettweiler [2015-04-09 00:14:50] 807*2^1397214-1 is not prime. Res64: 39CE169807461A7D Time : 0.0 sec. user=mdettweiler [2015-04-09 00:14:50] 825*2^1397214-1 is not prime. Res64: 268B28AF05563A6A Time : 0.0 sec. user=mdettweiler [2015-04-09 00:16:12] 863*2^1397214-1 is not prime. Res64: 101051807C5A07CA Time : 0.0 sec. user=mdettweiler [2015-04-09 00:16:13] 601*2^1397215-1 is not prime. Res64: 968407166910FC39 Time : 0.0 sec. user=mdettweiler [2015-04-09 00:43:30] 645*2^1397215-1 is not prime. Res64: FFF72E7790E00169 Time : 0.0 sec. user=mdettweiler [2015-04-09 00:43:30] 651*2^1397215-1 is not prime. Res64: 6C5798E79A6F8B74 Time : 0.0 sec. user=mdettweiler [2015-04-09 00:43:53] 735*2^1397215-1 is not prime. Res64: B2E8EB4679770682 Time : 0.0 sec. user=mdettweiler [2015-04-09 00:43:54] 763*2^1397215-1 is not prime. Res64: 325B70BDC5731739 Time : 0.0 sec. user=mdettweiler [2015-04-09 00:44:07] 831*2^1397215-1 is not prime. Res64: 67BE3CC0F1F825DE Time : 0.0 sec. user=mdettweiler [2015-04-09 00:44:08] 891*2^1397215-1 is not prime. Res64: 24B1B2DB5CC05C13 Time : 0.0 sec. user=mdettweiler [2015-04-09 00:45:21] 615*2^1397216-1 is not prime. Res64: F241013E02B325A4 Time : 0.0 sec. user=mdettweiler [2015-04-09 00:45:21] 629*2^1397216-1 is not prime. Res64: 9D6A9A43B50C0879 Time : 0.0 sec. user=mdettweiler [2015-04-09 01:12:33] 789*2^1397216-1 is not prime. Res64: C063267618475E13 Time : 0.0 sec. user=mdettweiler [2015-04-09 01:12:34] 875*2^1397216-1 is not prime. Res64: 6DCAF8CA3CCE80A2 Time : 0.0 sec. user=mdettweiler [2015-04-09 01:12:45] 633*2^1397216-1 is not prime. Res64: CE74E97814E040D3 Time : 0.0 sec. user=mdettweiler [2015-04-09 01:12:46] 635*2^1397216-1 is not prime. Res64: 6EA4A04F04E3852E Time : 0.0 sec. user=mdettweiler [2015-04-09 01:13:17] 969*2^1397216-1 is not prime. Res64: 680B8524F5A6B337 Time : 0.0 sec. user=mdettweiler [2015-04-09 01:13:18] 983*2^1397216-1 is not prime. Res64: FA5A7998A9036767 Time : 0.0 sec. user=mdettweiler [2015-04-09 01:14:35] 611*2^1397218-1 is not prime. Res64: 71748A4EA71645E8 Time : 0.0 sec. user=mdettweiler [2015-04-09 01:14:35] 621*2^1397218-1 is not prime. Res64: 991D5629D5AC5455 Time : 0.0 sec. user=juhehe [2015-04-09 01:19:39] 999*2^1397216-1 is not prime. Res64: D54B58AF0E3D5835 Time : 0.0 sec. user=mdettweiler [2015-04-09 01:41:18] 635*2^1397218-1 is not prime. Res64: FB84E72B9838AE72 Time : 0.0 sec. user=mdettweiler [2015-04-09 01:41:18] 651*2^1397218-1 is not prime. Res64: 30411373C858076E Time : 0.0 sec. user=mdettweiler [2015-04-09 01:42:05] 713*2^1397218-1 is not prime. Res64: 8B54F944544538BF Time : 0.0 sec. user=mdettweiler [2015-04-09 01:42:05] 813*2^1397218-1 is not prime. Res64: 51521403246D90A2 Time : 0.0 sec. user=mdettweiler [2015-04-09 01:42:10] 845*2^1397218-1 is not prime. Res64: 97DB2C251B62F192 Time : 0.0 sec. user=mdettweiler [2015-04-09 01:42:10] 945*2^1397218-1 is not prime. Res64: EE6FD5CBA209864E Time : 0.0 sec. user=mdettweiler [2015-04-09 01:44:07] 1001*2^1397218-1 is not prime. Res64: EC3D6BC4F1888D71 Time : 0.0 sec. user=mdettweiler [2015-04-09 01:44:07] 619*2^1397219-1 is not prime. Res64: A4872181659B2BA0 Time : 0.0 sec. user=mdettweiler [2015-04-09 02:10:07] 633*2^1397219-1 is not prime. Res64: 085E91B3B9B8E1F7 Time : 0.0 sec. user=mdettweiler [2015-04-09 02:10:07] 703*2^1397219-1 is not prime. Res64: B73C9CC3567CB85B Time : 0.0 sec. user=mdettweiler [2015-04-09 02:11:02] 745*2^1397219-1 is not prime. Res64: F080916141556DCB Time : 0.0 sec. user=mdettweiler [2015-04-09 02:11:02] 771*2^1397219-1 is not prime. Res64: 42C48A36DC504001 Time : 0.0 sec. user=mdettweiler [2015-04-09 02:11:21] 823*2^1397219-1 is not prime. Res64: EABE83A540D6E9F7 Time : 0.0 sec. user=mdettweiler [2015-04-09 02:11:21] 841*2^1397219-1 is not prime. Res64: AF56C39CFFE4AEC8 Time : 0.0 sec. user=mdettweiler [2015-04-09 02:12:46] 913*2^1397219-1 is not prime. Res64: 9E1FCBF627D08FC4 Time : 0.0 sec. user=mdettweiler [2015-04-09 02:12:47] 955*2^1397219-1 is not prime. Res64: 11583DC335EC0689 Time : 0.0 sec. user=mdettweiler [2015-04-09 02:39:02] 979*2^1397219-1 is not prime. Res64: 271E6979ECD0C553 Time : 0.0 sec. user=mdettweiler [2015-04-09 02:39:02] 609*2^1397220-1 is not prime. Res64: E30241E9BF298AA8 Time : 0.0 sec. user=mdettweiler [2015-04-09 02:40:11] 627*2^1397220-1 is not prime. Res64: A183BEF79A12F1CA Time : 0.0 sec. user=mdettweiler [2015-04-09 02:40:11] 689*2^1397220-1 is not prime. Res64: B769DB1D01214280 Time : 0.0 sec. user=mdettweiler [2015-04-09 02:40:13] 725*2^1397220-1 is not prime. Res64: 23D4442DEF88117A Time : 0.0 sec. user=mdettweiler [2015-04-09 02:40:14] 765*2^1397220-1 is not prime. Res64: CBB886D054C9EB0B Time : 0.0 sec. user=mdettweiler [2015-04-09 02:42:07] 857*2^1397220-1 is not prime. Res64: CAFADEE8777C213F Time : 0.0 sec. user=mdettweiler [2015-04-09 02:42:07] 873*2^1397220-1 is not prime. Res64: 584CF402F355BF22 Time : 0.0 sec. user=mdettweiler [2015-04-09 03:07:51] 959*2^1397220-1 is not prime. Res64: FA23ABF924E5D318 Time : 0.0 sec. user=mdettweiler [2015-04-09 03:07:52] 625*2^1397221-1 is not prime. Res64: 17CF9848A7A22AC9 Time : 0.0 sec. user=mdettweiler [2015-04-09 03:09:02] 777*2^1397221-1 is not prime. Res64: 5BCF9C331582E28C Time : 0.0 sec. user=mdettweiler [2015-04-09 03:09:03] 867*2^1397221-1 is not prime. Res64: 9A313B99F80E6199 Time : 0.0 sec. user=mdettweiler [2015-04-09 03:09:03] 649*2^1397221-1 is not prime. Res64: 3649AD9F8BE9E626 Time : 0.0 sec. user=mdettweiler [2015-04-09 03:09:03] 715*2^1397221-1 is not prime. Res64: 52BD368F91CCD8C0 Time : 0.0 sec. user=juhehe [2015-04-09 03:10:28] 905*2^1397220-1 is not prime. Res64: 443A5C8CB369F823 Time : 0.0 sec. user=mdettweiler [2015-04-09 03:11:12] 987*2^1397221-1 is not prime. Res64: 8C8498697F1B8BF5 Time : 0.0 sec. user=mdettweiler [2015-04-09 03:11:12] 671*2^1397222-1 is not prime. Res64: 6A9E269D2E9473B3 Time : 0.0 sec. user=juhehe [2015-04-09 03:24:24] 675*2^1397222-1 is not prime. Res64: 399D33BEE0ADA024 Time : 0.0 sec. user=mdettweiler [2015-04-09 03:37:09] 873*2^1397222-1 is not prime. Res64: 023D83752BBD2635 Time : 0.0 sec. user=mdettweiler [2015-04-09 03:37:10] 885*2^1397222-1 is not prime. Res64: A7A24CFEFA564FA5 Time : 0.0 sec. user=mdettweiler [2015-04-09 03:38:07] 741*2^1397223-1 is not prime. Res64: 87C347E374016423 Time : 0.0 sec. user=mdettweiler [2015-04-09 03:38:08] 853*2^1397223-1 is not prime. Res64: C6014A60D2B34CE1 Time : 0.0 sec. user=mdettweiler [2015-04-09 03:38:39] 917*2^1397222-1 is not prime. Res64: EF59008282B9A1BD Time : 0.0 sec. user=mdettweiler [2015-04-09 03:38:40] 723*2^1397223-1 is not prime. Res64: D9163102E8888922 Time : 0.0 sec. user=mdettweiler [2015-04-09 03:40:23] 609*2^1397224-1 is not prime. Res64: F3476D940237B500 Time : 0.0 sec. user=mdettweiler [2015-04-09 03:40:24] 639*2^1397224-1 is not prime. Res64: 4E65DCB57E29A452 Time : 0.0 sec. user=mdettweiler [2015-04-09 04:05:10] 705*2^1397224-1 is not prime. Res64: A1A045CA75D4842F Time : 0.0 sec. user=mdettweiler [2015-04-09 04:05:10] 899*2^1397224-1 is not prime. Res64: 080322F39430F508 Time : 0.0 sec. user=mdettweiler [2015-04-09 04:05:53] 909*2^1397224-1 is not prime. Res64: C14E99BFC18F770F Time : 0.0 sec. user=mdettweiler [2015-04-09 04:05:54] 965*2^1397224-1 is not prime. Res64: BDFF2B17A444B1B1 Time : 0.0 sec. user=mdettweiler [2015-04-09 04:06:21] 969*2^1397224-1 is not prime. Res64: 7A8651B8514153DC Time : 0.0 sec. user=mdettweiler [2015-04-09 04:06:21] 993*2^1397224-1 is not prime. Res64: BC989F76AA069D5D Time : 0.0 sec. user=mdettweiler [2015-04-09 04:07:56] 651*2^1397225-1 is not prime. Res64: 5359F98B388422C3 Time : 0.0 sec. user=mdettweiler [2015-04-09 04:07:57] 711*2^1397225-1 is not prime. Res64: 763D0A5EC1C394A6 Time : 0.0 sec. user=mdettweiler [2015-04-09 04:32:36] 771*2^1397225-1 is not prime. Res64: 8AFA1AA38DE9D097 Time : 0.0 sec. user=mdettweiler [2015-04-09 04:32:36] 819*2^1397225-1 is not prime. Res64: B2E183F3AE5E6FED Time : 0.0 sec. user=mdettweiler [2015-04-09 04:32:44] 955*2^1397225-1 is not prime. Res64: 1BC86DC7AEE7F13C Time : 0.0 sec. user=mdettweiler [2015-04-09 04:32:44] 957*2^1397225-1 is not prime. Res64: B8DB228DC2DB6656 Time : 0.0 sec. user=mdettweiler [2015-04-09 04:33:46] 981*2^1397225-1 is not prime. Res64: ABB0AF87D87E0204 Time : 0.0 sec. user=mdettweiler [2015-04-09 04:33:47] 711*2^1397226-1 is not prime. Res64: 06E8CF4A1183D964 Time : 0.0 sec. user=mdettweiler [2015-04-09 04:35:23] 765*2^1397226-1 is not prime. Res64: DE046A906E4BFE66 Time : 0.0 sec. user=mdettweiler [2015-04-09 04:35:24] 861*2^1397226-1 is not prime. Res64: FD5BEE2C14687A2B Time : 0.0 sec. user=mdettweiler [2015-04-09 04:59:03] 675*2^1397227-1 is not prime. Res64: 1F741CD2E5F32837 Time : 0.0 sec. user=mdettweiler [2015-04-09 04:59:03] 889*2^1397227-1 is not prime. Res64: CBDDD0A7C521829D Time : 0.0 sec. user=mdettweiler [2015-04-09 04:59:06] 909*2^1397227-1 is not prime. Res64: 7D889FCDD59EEAD6 Time : 0.0 sec. user=mdettweiler [2015-04-09 04:59:06] 961*2^1397227-1 is not prime. Res64: A56617F7BA25108C Time : 0.0 sec. user=mdettweiler [2015-04-09 05:00:02] 973*2^1397227-1 is not prime. Res64: 028F366DBDBB271A Time : 0.0 sec. user=mdettweiler [2015-04-09 05:00:03] 975*2^1397227-1 is not prime. Res64: F0BC110C485CD38B Time : 0.0 sec. user=mdettweiler [2015-04-09 05:01:53] 633*2^1397228-1 is not prime. Res64: F56E29C0CD61A2DA Time : 0.0 sec. user=mdettweiler [2015-04-09 05:01:54] 759*2^1397228-1 is not prime. Res64: 64E4D60387A3519F Time : 0.0 sec. user=juhehe [2015-04-09 05:02:09] 633*2^1397227-1 is not prime. Res64: 9D6E4729FD835C76 Time : 0.0 sec. user=mdettweiler [2015-04-09 05:25:13] 869*2^1397228-1 is not prime. Res64: 34639B27237EF2E0 Time : 0.0 sec. user=mdettweiler [2015-04-09 05:25:14] 649*2^1397229-1 is not prime. Res64: 705964EE3C0B3AA0 Time : 0.0 sec. user=mdettweiler [2015-04-09 05:25:17] 773*2^1397228-1 is not prime. Res64: E25BFA585253828F Time : 0.0 sec. user=mdettweiler [2015-04-09 05:25:18] 839*2^1397228-1 is not prime. Res64: D8A4038C6FC04590 Time : 0.0 sec. user=mdettweiler [2015-04-09 05:26:11] 655*2^1397229-1 is not prime. Res64: 25CDDFA497520FEA Time : 0.0 sec. user=mdettweiler [2015-04-09 05:26:12] 661*2^1397229-1 is not prime. Res64: 9E76DD17BEC2F0E9 Time : 0.0 sec. user=mdettweiler [2015-04-09 05:28:09] 759*2^1397229-1 is not prime. Res64: 17381C48B766B902 Time : 0.0 sec. user=mdettweiler [2015-04-09 05:28:10] 789*2^1397229-1 is not prime. Res64: BC318E36E5D4F8E8 Time : 0.0 sec. user=mdettweiler [2015-04-09 05:51:22] 611*2^1397230-1 is not prime. Res64: 3B61208926F4194C Time : 0.0 sec. user=mdettweiler [2015-04-09 05:51:22] 723*2^1397230-1 is not prime. Res64: 260367FADB5833F3 Time : 0.0 sec. user=mdettweiler [2015-04-09 05:51:25] 743*2^1397230-1 is not prime. Res64: FBA270A697D70A30 Time : 0.0 sec. user=mdettweiler [2015-04-09 05:51:25] 755*2^1397230-1 is not prime. Res64: 3461C99B83BBDAC8 Time : 0.0 sec. user=mdettweiler [2015-04-09 05:52:29] 825*2^1397230-1 is not prime. Res64: 102582BDF799ED47 Time : 0.0 sec. user=mdettweiler [2015-04-09 05:52:30] 845*2^1397230-1 is not prime. Res64: C1DCCA8B0583BBBB Time : 0.0 sec. user=mdettweiler [2015-04-09 05:54:23] 857*2^1397230-1 is not prime. Res64: 5D44156EEF82D7BC Time : 0.0 sec. user=mdettweiler [2015-04-09 05:54:23] 891*2^1397230-1 is not prime. Res64: E36C216225417B38 Time : 0.0 sec. user=mdettweiler [2015-04-09 06:17:35] 843*2^1397231-1 is not prime. Res64: DFDF575A6E3F306A Time : 0.0 sec. user=mdettweiler [2015-04-09 06:17:35] 859*2^1397231-1 is not prime. Res64: 57BBC3334F995025 Time : 0.0 sec. user=mdettweiler [2015-04-09 06:17:46] 615*2^1397231-1 is not prime. Res64: 57DD1ECFF59BC106 Time : 0.0 sec. user=mdettweiler [2015-04-09 06:17:46] 775*2^1397231-1 is not prime. Res64: DD23DC8FC5AA5EE5 Time : 0.0 sec. user=mdettweiler [2015-04-09 06:18:41] 871*2^1397231-1 is not prime. Res64: 08F54F9E19BB6946 Time : 0.0 sec. user=mdettweiler [2015-04-09 06:18:41] 879*2^1397231-1 is not prime. Res64: FFF6EB039330D83D Time : 0.0 sec. user=mdettweiler [2015-04-09 06:20:36] 909*2^1397231-1 is not prime. Res64: B4C5AE9CD171EDEB Time : 0.0 sec. user=mdettweiler [2015-04-09 06:20:37] 931*2^1397231-1 is not prime. Res64: A559228EAED1AA6B Time : 0.0 sec. user=mdettweiler [2015-04-09 06:43:43] 639*2^1397232-1 is not prime. Res64: C58A0820D38F42DF Time : 0.0 sec. user=mdettweiler [2015-04-09 06:43:43] 693*2^1397232-1 is not prime. Res64: 44B6D894D5C28AAF Time : 0.0 sec. user=mdettweiler [2015-04-09 06:43:57] 843*2^1397232-1 is not prime. Res64: 28A67494773A9987 Time : 0.0 sec. user=mdettweiler [2015-04-09 06:43:57] 855*2^1397233-1 is not prime. Res64: 8E277D0947A8A041 Time : 0.0 sec. user=mdettweiler [2015-04-09 06:44:53] 861*2^1397233-1 is not prime. Res64: D7494AD83E4D1B00 Time : 0.0 sec. user=mdettweiler [2015-04-09 06:44:53] 867*2^1397233-1 is not prime. Res64: 8F810ED5824D9424 Time : 0.0 sec. user=mdettweiler [2015-04-09 06:47:00] 937*2^1397233-1 is not prime. Res64: E6B3DBB7CEB8259D Time : 0.0 sec. user=mdettweiler [2015-04-09 06:47:00] 955*2^1397233-1 is not prime. Res64: 0148CF3C662BEC66 Time : 0.0 sec. user=juhehe [2015-04-09 06:52:20] 969*2^1397231-1 is not prime. Res64: 3EC4133DD09DE370 Time : 0.0 sec. user=mdettweiler [2015-04-09 07:09:50] 683*2^1397234-1 is not prime. Res64: 1BBF8C638940DFB9 Time : 0.0 sec. user=mdettweiler [2015-04-09 07:09:50] 945*2^1397234-1 is not prime. Res64: B761D540E6ECDC31 Time : 0.0 sec. user=mdettweiler [2015-04-09 07:10:11] 1001*2^1397234-1 is not prime. Res64: 137CD0079255ED7C Time : 0.0 sec. user=mdettweiler [2015-04-09 07:10:12] 669*2^1397235-1 is not prime. Res64: 43D171BBBF89CF9E Time : 0.0 sec. user=mdettweiler [2015-04-09 07:11:02] 741*2^1397235-1 is not prime. Res64: 278EB7D3302152FB Time : 0.0 sec. user=mdettweiler [2015-04-09 07:11:02] 849*2^1397235-1 is not prime. Res64: 4560DC1E91AE0585 Time : 0.0 sec. user=mdettweiler [2015-04-09 07:13:13] 873*2^1397235-1 is not prime. Res64: 979090452ADFE193 Time : 0.0 sec. user=mdettweiler [2015-04-09 07:13:14] 919*2^1397235-1 is not prime. Res64: ACB90BE55381D528 Time : 0.0 sec. user=mdettweiler [2015-04-09 07:36:05] 969*2^1397235-1 is not prime. Res64: B73EED2961ED8280 Time : 0.0 sec. user=mdettweiler [2015-04-09 07:36:06] 657*2^1397236-1 is not prime. Res64: 14F99EC9D7544A3D Time : 0.0 sec. user=mdettweiler [2015-04-09 07:36:20] 939*2^1397236-1 is not prime. Res64: 2F2C2BAB02073FA9 Time : 0.0 sec. user=mdettweiler [2015-04-09 07:36:21] 987*2^1397236-1 is not prime. Res64: 706337BB475ECC14 Time : 0.0 sec. user=mdettweiler [2015-04-09 07:37:12] 621*2^1397237-1 is not prime. Res64: F3A10E1BB815952B Time : 0.0 sec. user=mdettweiler [2015-04-09 07:37:13] 729*2^1397237-1 is not prime. Res64: 5B529A66BB283FBE Time : 0.0 sec. user=mdettweiler [2015-04-09 07:39:29] 747*2^1397237-1 is not prime. Res64: 55A7D32A5BCD82DD Time : 0.0 sec. user=mdettweiler [2015-04-09 07:39:29] 757*2^1397237-1 is not prime. Res64: 71EC8FA883F959A3 Time : 0.0 sec. user=mdettweiler [2015-04-09 08:02:15] 885*2^1397237-1 is not prime. Res64: 3151135C99115431 Time : 0.0 sec. user=mdettweiler [2015-04-09 08:02:16] 889*2^1397237-1 is not prime. Res64: F74B6629630503D3 Time : 0.0 sec. user=mdettweiler [2015-04-09 08:02:24] 663*2^1397238-1 is not prime. Res64: A82BC57E301B258F Time : 0.0 sec. user=mdettweiler [2015-04-09 08:02:25] 713*2^1397238-1 is not prime. Res64: FB51892A300A92C2 Time : 0.0 sec. user=mdettweiler [2015-04-09 08:03:15] 755*2^1397238-1 is not prime. Res64: 0C57F7D6E50642D9 Time : 0.0 sec. user=mdettweiler [2015-04-09 08:03:16] 795*2^1397238-1 is not prime. Res64: F5BDB01D6AC3E302 Time : 0.0 sec. user=mdettweiler [2015-04-09 08:05:27] 609*2^1397239-1 is not prime. Res64: E3EF27C6C1D8C36E Time : 0.0 sec. user=mdettweiler [2015-04-09 08:05:28] 621*2^1397239-1 is not prime. Res64: 396BAD520DE9A12D Time : 0.0 sec. user=juhehe [2015-04-09 08:07:25] 847*2^1397237-1 is not prime. Res64: A856C9B4F6168A73 Time : 0.0 sec. user=mdettweiler [2015-04-09 08:28:42] 843*2^1397239-1 is not prime. Res64: 3F83055FD0F7D8F1 Time : 0.0 sec. user=mdettweiler [2015-04-09 08:28:42] 909*2^1397239-1 is not prime. Res64: D44A130031E9A433 Time : 0.0 sec. user=mdettweiler [2015-04-09 08:28:45] 705*2^1397239-1 is not prime. Res64: 9473A39FD5E5BBBC Time : 0.0 sec. user=mdettweiler [2015-04-09 08:28:46] 765*2^1397239-1 is not prime. Res64: 7292EC0B63C62914 Time : 0.0 sec. user=mdettweiler [2015-04-09 08:29:28] 925*2^1397239-1 is not prime. Res64: 00DED5808B599D2B Time : 0.0 sec. user=mdettweiler [2015-04-09 08:29:28] 615*2^1397240-1 is not prime. Res64: 6F4DC130AA604E8C Time : 0.0 sec. user=mdettweiler [2015-04-09 08:31:39] 785*2^1397240-1 is not prime. Res64: A1E9A8456AC43AA5 Time : 0.0 sec. user=mdettweiler [2015-04-09 08:31:39] 795*2^1397240-1 is not prime. Res64: 821CD00733734CAC Time : 0.0 sec. user=mdettweiler [2015-04-09 08:54:47] 843*2^1397240-1 is not prime. Res64: 9800DEABF6E3A879 Time : 0.0 sec. user=mdettweiler [2015-04-09 08:54:48] 995*2^1397240-1 is not prime. Res64: 9EC335028C8408E6 Time : 0.0 sec. user=mdettweiler [2015-04-09 08:54:50] 601*2^1397241-1 is not prime. Res64: EB877CB5FC5861B0 Time : 0.0 sec. user=mdettweiler [2015-04-09 08:54:50] 657*2^1397241-1 is not prime. Res64: 61881E1654C064BE Time : 0.0 sec. user=mdettweiler [2015-04-09 08:55:34] 705*2^1397241-1 is not prime. Res64: 49471D020B840301 Time : 0.0 sec. user=mdettweiler [2015-04-09 08:55:34] 751*2^1397241-1 is not prime. Res64: 173CF4ED1B9C6E42 Time : 0.0 sec. user=mdettweiler [2015-04-09 08:57:48] 847*2^1397241-1 is not prime. Res64: 132D5F259A915945 Time : 0.0 sec. user=mdettweiler [2015-04-09 08:57:48] 849*2^1397241-1 is not prime. Res64: 4E92F273F6A34824 Time : 0.0 sec. user=mdettweiler [2015-04-09 09:20:52] 969*2^1397241-1 is not prime. Res64: BCA1CE772D4650AF Time : 0.0 sec. user=mdettweiler [2015-04-09 09:20:52] 635*2^1397242-1 is not prime. Res64: 019B7C854E53968B Time : 0.0 sec. user=mdettweiler [2015-04-09 09:20:55] 901*2^1397241-1 is not prime. Res64: BC65B205F0E68C2D Time : 0.0 sec. user=mdettweiler [2015-04-09 09:20:55] 907*2^1397241-1 is not prime. Res64: 87716AFD8A825696 Time : 0.0 sec. user=mdettweiler [2015-04-09 09:21:39] 657*2^1397242-1 is not prime. Res64: 546EEFFAAE2839A2 Time : 0.0 sec. user=mdettweiler [2015-04-09 09:21:39] 675*2^1397242-1 is not prime. Res64: 1D24367A69732B8D Time : 0.0 sec. user=mdettweiler [2015-04-09 09:23:53] 701*2^1397242-1 is not prime. Res64: E37AB3D60966B3AE Time : 0.0 sec. user=mdettweiler [2015-04-09 09:23:53] 735*2^1397242-1 is not prime. Res64: 905810EEF11F10E3 Time : 0.0 sec. user=mdettweiler [2015-04-09 09:46:58] 741*2^1397243-1 is not prime. Res64: 9666596E0DFCB03B Time : 0.0 sec. user=mdettweiler [2015-04-09 09:46:58] 825*2^1397243-1 is not prime. Res64: 729D0F2DB4B51086 Time : 0.0 sec. user=mdettweiler [2015-04-09 09:46:59] 859*2^1397243-1 is not prime. Res64: ECF2964B961CDC4A Time : 0.0 sec. user=mdettweiler [2015-04-09 09:46:59] 683*2^1397244-1 is not prime. Res64: EF35FCD817DE63BF Time : 0.0 sec. user=mdettweiler [2015-04-09 09:47:42] 717*2^1397244-1 is not prime. Res64: F77E0FA2EBC747DB Time : 0.0 sec. user=mdettweiler [2015-04-09 09:47:42] 923*2^1397244-1 is not prime. Res64: 064407CE447F9EE2 Time : 0.0 sec. user=mdettweiler [2015-04-09 09:50:01] 609*2^1397245-1 is not prime. Res64: 446AE48B60C413D6 Time : 0.0 sec. user=mdettweiler [2015-04-09 09:50:02] 625*2^1397245-1 is not prime. Res64: 66D1E5D9F4C38635 Time : 0.0 sec. user=juhehe [2015-04-09 09:54:29] 987*2^1397242-1 is not prime. Res64: 1FC889AF9E90A8E3 Time : 0.0 sec. user=mdettweiler [2015-04-09 10:13:03] 757*2^1397245-1 is not prime. Res64: 2F3674835961429E Time : 0.0 sec. user=mdettweiler [2015-04-09 10:13:03] 939*2^1397245-1 is not prime. Res64: 1462A6F8C7E4A74F Time : 0.0 sec. user=mdettweiler [2015-04-09 10:13:05] 717*2^1397245-1 is not prime. Res64: 775E7E56F98979FA Time : 0.0 sec. user=mdettweiler [2015-04-09 10:13:06] 729*2^1397245-1 is not prime. Res64: 7CF62D4ED41FC27D Time : 0.0 sec. user=mdettweiler [2015-04-09 10:13:46] 615*2^1397246-1 is not prime. Res64: 01A87CC849BD6C28 Time : 0.0 sec. user=mdettweiler [2015-04-09 10:13:46] 861*2^1397246-1 is not prime. Res64: 1B5084BB62F0EEF0 Time : 0.0 sec. user=mdettweiler [2015-04-09 10:16:05] 873*2^1397246-1 is not prime. Res64: 2C0B19AD2EBF8C5F Time : 0.0 sec. user=mdettweiler [2015-04-09 10:16:05] 935*2^1397246-1 is not prime. Res64: B8EDF245FB90EEC5 Time : 0.0 sec. user=mdettweiler [2015-04-09 10:39:17] 1001*2^1397246-1 is not prime. Res64: 509069746FA5D49E Time : 0.0 sec. user=mdettweiler [2015-04-09 10:39:18] 601*2^1397247-1 is not prime. Res64: 79E3C96CE7553022 Time : 0.0 sec. user=mdettweiler [2015-04-09 10:39:19] 651*2^1397247-1 is not prime. Res64: C57407E80B826EED Time : 0.0 sec. user=mdettweiler [2015-04-09 10:39:20] 669*2^1397247-1 is not prime. Res64: 188FC8751AC02AE2 Time : 0.0 sec. user=mdettweiler [2015-04-09 10:39:55] 895*2^1397247-1 is not prime. Res64: 2AA4C7E62AD194AE Time : 0.0 sec. user=mdettweiler [2015-04-09 10:39:56] 919*2^1397247-1 is not prime. Res64: E5E9A254B42B64E7 Time : 0.0 sec. user=mdettweiler [2015-04-09 10:42:15] 955*2^1397247-1 is not prime. Res64: 0BB5605AE5D8964D Time : 0.0 sec. user=mdettweiler [2015-04-09 10:42:16] 979*2^1397247-1 is not prime. Res64: 4B446C4A1A5EBCAA Time : 0.0 sec. user=mdettweiler [2015-04-09 11:05:29] 657*2^1397248-1 is not prime. Res64: 706DCAFD1F48FE53 Time : 0.0 sec. user=mdettweiler [2015-04-09 11:05:29] 723*2^1397248-1 is not prime. Res64: 4B48B80F711D3276 Time : 0.0 sec. user=mdettweiler [2015-04-09 11:05:30] 663*2^1397248-1 is not prime. Res64: 45E60D7589E4651C Time : 0.0 sec. user=mdettweiler [2015-04-09 11:05:30] 747*2^1397248-1 is not prime. Res64: 3233B30AF596F7C5 Time : 0.0 sec. user=mdettweiler [2015-04-09 11:06:03] 869*2^1397248-1 is not prime. Res64: 4FFCACD0D3A04770 Time : 0.0 sec. user=mdettweiler [2015-04-09 11:06:04] 841*2^1397249-1 is not prime. Res64: 087F7DB77D8210F2 Time : 0.0 sec. user=mdettweiler [2015-04-09 11:08:26] 985*2^1397249-1 is not prime. Res64: 10C4DB70BB883630 Time : 0.0 sec. user=mdettweiler [2015-04-09 11:08:27] 611*2^1397250-1 is not prime. Res64: E3A29FC27E17D3EE Time : 0.0 sec. user=mdettweiler [2015-04-09 11:31:42] 773*2^1397250-1 is not prime. Res64: CC493A3E809B10AC Time : 0.0 sec. user=mdettweiler [2015-04-09 11:31:42] 803*2^1397250-1 is not prime. Res64: 8444A1FC13162400 Time : 0.0 sec. user=mdettweiler [2015-04-09 11:31:46] 755*2^1397250-1 is not prime. Res64: 716A939808DC1A23 Time : 0.0 sec. user=mdettweiler [2015-04-09 11:31:47] 765*2^1397250-1 is not prime. Res64: 9F1F7733A412737D Time : 0.0 sec. user=mdettweiler [2015-04-09 11:32:13] 821*2^1397250-1 is not prime. Res64: 20A1D1B39983650F Time : 0.0 sec. user=mdettweiler [2015-04-09 11:32:13] 825*2^1397250-1 is not prime. Res64: 510018047F3D363A Time : 0.0 sec. user=mdettweiler [2015-04-09 11:34:33] 867*2^1397250-1 is not prime. Res64: D837D02ED9AB5D5A Time : 0.0 sec. user=mdettweiler [2015-04-09 11:34:33] 915*2^1397250-1 is not prime. Res64: 1473831A10F779DC Time : 0.0 sec. user=juhehe [2015-04-09 11:46:00] 609*2^1397251-1 is not prime. Res64: 09199E6623410677 Time : 0.0 sec. user=mdettweiler [2015-04-09 11:58:11] 615*2^1397251-1 is not prime. Res64: E0FC73CE26BA8F83 Time : 0.0 sec. user=mdettweiler [2015-04-09 11:58:11] 735*2^1397251-1 is not prime. Res64: 875D8C397ED41551 Time : 0.0 sec. user=mdettweiler [2015-04-09 11:58:28] 801*2^1397251-1 is not prime. Res64: F7B09BD7622DA58A Time : 0.0 sec. user=mdettweiler [2015-04-09 11:58:28] 835*2^1397251-1 is not prime. Res64: AF2B5F8C51CBFB89 Time : 0.0 sec. user=mdettweiler [2015-04-09 11:59:10] 961*2^1397251-1 is not prime. Res64: 947470B724BF05B9 Time : 0.0 sec. user=mdettweiler [2015-04-09 11:59:10] 615*2^1397252-1 is not prime. Res64: 73377C6FB90FF6C5 Time : 0.0 sec. user=mdettweiler [2015-04-09 12:01:52] 617*2^1397252-1 is not prime. Res64: 9241B98C8781B164 Time : 0.0 sec. user=mdettweiler [2015-04-09 12:01:53] 719*2^1397252-1 is not prime. Res64: 2E361C9861DC2D2F Time : 0.0 sec. user=mdettweiler [2015-04-09 12:24:31] 759*2^1397252-1 is not prime. Res64: 4E5AEBF1D0C6D290 Time : 0.0 sec. user=mdettweiler [2015-04-09 12:24:32] 875*2^1397252-1 is not prime. Res64: A034E12E1680EAA3 Time : 0.0 sec. user=mdettweiler [2015-04-09 12:24:52] 885*2^1397252-1 is not prime. Res64: 2FA206C6D1FFD6E3 Time : 0.0 sec. user=mdettweiler [2015-04-09 12:24:53] 977*2^1397252-1 is not prime. Res64: C469AFD003DAF03D Time : 0.0 sec. user=mdettweiler [2015-04-09 12:25:30] 649*2^1397253-1 is not prime. Res64: D28064CA4048F95A Time : 0.0 sec. user=mdettweiler [2015-04-09 12:25:30] 679*2^1397253-1 is not prime. Res64: 30ADDBAF8D7ADEC5 Time : 0.0 sec. user=mdettweiler [2015-04-09 12:28:26] 699*2^1397253-1 is not prime. Res64: F1BAA3481F9EBA81 Time : 0.0 sec. user=mdettweiler [2015-04-09 12:28:27] 781*2^1397253-1 is not prime. Res64: 932040DD3D41F6C4 Time : 0.0 sec. user=mdettweiler [2015-04-09 12:52:29] 877*2^1397253-1 is not prime. Res64: DA3613FE55465159 Time : 0.0 sec. user=mdettweiler [2015-04-09 12:52:30] 919*2^1397253-1 is not prime. Res64: 99621690762D9630 Time : 0.0 sec. user=mdettweiler [2015-04-09 13:07:00] 831*2^1397255-1 is not prime. Res64: 8B829D55CEC8C8B6 Time : 0.0 sec. user=mdettweiler [2015-04-09 13:07:00] 969*2^1397255-1 is not prime. Res64: 8FE9311FB30C0ABD Time : 0.0 sec. user=mdettweiler [2015-04-09 13:08:06] 679*2^1397255-1 is not prime. Res64: 42708C90B0D8CEDB Time : 0.0 sec. user=mdettweiler [2015-04-09 13:08:07] 739*2^1397255-1 is not prime. Res64: 96A013CDA0004450 Time : 0.0 sec. user=mdettweiler [2015-04-09 13:08:49] 643*2^1397255-1 is not prime. Res64: 57CD272186121101 Time : 0.0 sec. user=mdettweiler [2015-04-09 13:08:49] 661*2^1397255-1 is not prime. Res64: 3E275392E56B3534 Time : 0.0 sec. user=mdettweiler [2015-04-09 13:23:15] 999*2^1397255-1 is not prime. Res64: 0D4277DC89BC65B2 Time : 0.0 sec. user=mdettweiler [2015-04-09 13:23:16] 635*2^1397256-1 is not prime. Res64: 55BE37264451C332 Time : 0.0 sec. user=juhehe [2015-04-09 13:35:17] 719*2^1397256-1 is not prime. Res64: E54D880D1134877B Time : 0.0 sec. user=mdettweiler [2015-04-09 13:39:29] 843*2^1397256-1 is not prime. Res64: 8FCF954495665C2A Time : 0.0 sec. user=mdettweiler [2015-04-09 13:39:29] 867*2^1397256-1 is not prime. Res64: 08FB60CA3E7DD652 Time : 0.0 sec. user=mdettweiler [2015-04-09 13:39:40] 735*2^1397256-1 is not prime. Res64: BB13F97ABCB6FA84 Time : 0.0 sec. user=mdettweiler [2015-04-09 13:39:41] 759*2^1397256-1 is not prime. Res64: 8D13BB597FBFAC7D Time : 0.0 sec. user=mdettweiler [2015-04-09 13:40:04] 779*2^1397256-1 is not prime. Res64: 85449F7108DC52A4 Time : 0.0 sec. user=mdettweiler [2015-04-09 13:40:05] 837*2^1397256-1 is not prime. Res64: 5D2D89B3F4E4DCE3 Time : 0.0 sec. user=mdettweiler [2015-04-09 13:52:14] 909*2^1397256-1 is not prime. Res64: 59BC8C8037CE7095 Time : 0.0 sec. user=mdettweiler [2015-04-09 13:52:14] 933*2^1397256-1 is not prime. Res64: 3F3FC4D3DF52776E Time : 0.0 sec. user=mdettweiler [2015-04-09 14:06:45] 609*2^1397257-1 is not prime. Res64: 3447FBDEBCD38D11 Time : 0.0 sec. user=mdettweiler [2015-04-09 14:06:45] 615*2^1397257-1 is not prime. Res64: C605561C7D711C40 Time : 0.0 sec. user=mdettweiler [2015-04-09 14:07:04] 983*2^1397256-1 is not prime. Res64: EBD605DDA341C50A Time : 0.0 sec. user=mdettweiler [2015-04-09 14:07:04] 993*2^1397256-1 is not prime. Res64: 6A5F06DB1DFB09FB Time : 0.0 sec. user=mdettweiler [2015-04-09 14:07:28] 651*2^1397257-1 is not prime. Res64: FB34D550D9C79D7C Time : 0.0 sec. user=mdettweiler [2015-04-09 14:07:29] 691*2^1397257-1 is not prime. Res64: E38E84A534804B3F Time : 0.0 sec. user=mdettweiler [2015-04-09 14:19:13] 717*2^1397257-1 is not prime. Res64: E39394A053E2C85F Time : 0.0 sec. user=mdettweiler [2015-04-09 14:19:14] 835*2^1397257-1 is not prime. Res64: 6E9DD31E737532C8 Time : 0.0 sec. user=mdettweiler [2015-04-09 14:33:12] 895*2^1397257-1 is not prime. Res64: 3F47B5858A68FA8E Time : 0.0 sec. user=mdettweiler [2015-04-09 14:33:13] 915*2^1397257-1 is not prime. Res64: D42FBB9E37317457 Time : 0.0 sec. user=mdettweiler [2015-04-09 14:33:37] 939*2^1397257-1 is not prime. Res64: D08A241B10CB5D84 Time : 0.0 sec. user=mdettweiler [2015-04-09 14:33:38] 633*2^1397258-1 is not prime. Res64: E80BA8EC826175C7 Time : 0.0 sec. user=mdettweiler [2015-04-09 14:33:51] 743*2^1397258-1 is not prime. Res64: 4680A3820E92FFCC Time : 0.0 sec. user=mdettweiler [2015-04-09 14:33:52] 755*2^1397258-1 is not prime. Res64: 8E0535240C958F69 Time : 0.0 sec. user=mdettweiler [2015-04-09 14:45:30] 813*2^1397258-1 is not prime. Res64: BA0315F808B6922B Time : 0.0 sec. user=mdettweiler [2015-04-09 14:45:31] 953*2^1397258-1 is not prime. Res64: F2DBFEA1086A8254 Time : 0.0 sec. user=mdettweiler [2015-04-09 14:59:25] 795*2^1397259-1 is not prime. Res64: 66C00A0EB3609366 Time : 0.0 sec. user=mdettweiler [2015-04-09 14:59:26] 609*2^1397260-1 is not prime. Res64: BD9D77B4A4FEFEE2 Time : 0.0 sec. user=mdettweiler [2015-04-09 14:59:56] 647*2^1397260-1 is not prime. Res64: E5185753995731E5 Time : 0.0 sec. user=mdettweiler [2015-04-09 14:59:57] 735*2^1397260-1 is not prime. Res64: 44F52ACCD2DE2D6A Time : 0.0 sec. user=mdettweiler [2015-04-09 15:00:04] 843*2^1397260-1 is not prime. Res64: 108B2675B98E2D3C Time : 0.0 sec. user=mdettweiler [2015-04-09 15:00:05] 965*2^1397260-1 is not prime. Res64: AB73AE6F541A5FBC Time : 0.0 sec. user=mdettweiler [2015-04-09 15:11:40] 987*2^1397260-1 is not prime. Res64: 17047A06557109F2 Time : 0.0 sec. user=mdettweiler [2015-04-09 15:11:40] 651*2^1397261-1 is not prime. Res64: 8BC1DC2651DBADE2 Time : 0.0 sec. user=mdettweiler [2015-04-09 15:26:11] 819*2^1397261-1 is not prime. Res64: F14BAB53ACA768C5 Time : 0.0 sec. user=mdettweiler [2015-04-09 15:26:11] 937*2^1397261-1 is not prime. Res64: 2468BA3B9FE09E4F Time : 0.0 sec. user=mdettweiler [2015-04-09 15:26:38] 677*2^1397262-1 is not prime. Res64: F83EEB5B19DDE682 Time : 0.0 sec. user=mdettweiler [2015-04-09 15:26:38] 711*2^1397262-1 is not prime. Res64: E2AF0D246F4F38E2 Time : 0.0 sec. user=mdettweiler [2015-04-09 15:26:43] 949*2^1397261-1 is not prime. Res64: D84190B3CA312FDC Time : 0.0 sec. user=mdettweiler [2015-04-09 15:26:44] 647*2^1397262-1 is not prime. Res64: 8C7E22DFDF92E8B4 Time : 0.0 sec. user=juhehe [2015-04-09 15:27:29] 715*2^1397261-1 is not prime. Res64: 82F04D73A8DC3600 Time : 0.0 sec. user=mdettweiler [2015-04-09 15:38:52] 713*2^1397262-1 is not prime. Res64: 19E90296E5FA622B Time : 0.0 sec. user=mdettweiler [2015-04-09 15:38:52] 731*2^1397262-1 is not prime. Res64: 53C8A72299F437D1 Time : 0.0 sec. user=mdettweiler [2015-04-09 15:53:36] 893*2^1397262-1 is not prime. Res64: E2C4F492514ADE1B Time : 0.0 sec. user=mdettweiler [2015-04-09 15:53:37] 903*2^1397262-1 is not prime. Res64: 3E28A508D99DA495 Time : 0.0 sec. user=mdettweiler [2015-04-09 15:53:52] 603*2^1397263-1 is not prime. Res64: F4A8552B8C60E0D7 Time : 0.0 sec. user=mdettweiler [2015-04-09 15:53:53] 675*2^1397263-1 is not prime. Res64: 6C8CA388B614B1EB Time : 0.0 sec. user=mdettweiler [2015-04-09 15:54:09] 751*2^1397263-1 is not prime. Res64: 6D1CC75F3A6944D5 Time : 0.0 sec. user=mdettweiler [2015-04-09 15:54:09] 901*2^1397263-1 is not prime. Res64: BFC95F25CF080BEC Time : 0.0 sec. user=mdettweiler [2015-04-09 16:06:21] 615*2^1397264-1 is not prime. Res64: 96A322AF888995C0 Time : 0.0 sec. user=mdettweiler [2015-04-09 16:06:21] 759*2^1397264-1 is not prime. Res64: 242BAE73FA790036 Time : 0.0 sec. user=mdettweiler [2015-04-09 16:20:37] 993*2^1397264-1 is not prime. Res64: 1353E4A3F98125FE Time : 0.0 sec. user=mdettweiler [2015-04-09 16:20:37] 627*2^1397265-1 is not prime. Res64: 95AAE64A4B330099 Time : 0.0 sec. user=mdettweiler [2015-04-09 16:20:57] 705*2^1397265-1 is not prime. Res64: ED77487232E5590E Time : 0.0 sec. user=mdettweiler [2015-04-09 16:20:58] 739*2^1397265-1 is not prime. Res64: A78422B550BE833B Time : 0.0 sec. user=mdettweiler [2015-04-09 16:21:13] 741*2^1397265-1 is not prime. Res64: 87C22140528D5C5F Time : 0.0 sec. user=mdettweiler [2015-04-09 16:21:13] 777*2^1397265-1 is not prime. Res64: 7D0DD3936F542753 Time : 0.0 sec. user=mdettweiler [2015-04-09 16:33:33] 805*2^1397265-1 is not prime. Res64: 5E64212E6B1C0BF6 Time : 0.0 sec. user=mdettweiler [2015-04-09 16:33:33] 819*2^1397265-1 is not prime. Res64: 631EEDE5B0B3D2B9 Time : 0.0 sec. user=mdettweiler [2015-04-09 16:48:11] 837*2^1397265-1 is not prime. Res64: 32A6B5337F1BCF85 Time : 0.0 sec. user=mdettweiler [2015-04-09 16:48:11] 889*2^1397265-1 is not prime. Res64: 51E5DF305F43EEEE Time : 0.0 sec. user=mdettweiler [2015-04-09 16:48:27] 949*2^1397265-1 is not prime. Res64: 032651C0E9A10149 Time : 0.0 sec. user=mdettweiler [2015-04-09 16:48:27] 671*2^1397266-1 is not prime. Res64: B39A357DEC4B73DB Time : 0.0 sec. user=mdettweiler [2015-04-09 16:48:28] 773*2^1397266-1 is not prime. Res64: EC30DE890FC4B739 Time : 0.0 sec. user=mdettweiler [2015-04-09 16:48:28] 867*2^1397266-1 is not prime. Res64: 166CF0B4B05F088F Time : 0.0 sec. user=mdettweiler [2015-04-09 17:00:33] 947*2^1397266-1 is not prime. Res64: 57C5A7CAF9F20741 Time : 0.0 sec. user=mdettweiler [2015-04-09 17:00:34] 975*2^1397266-1 is not prime. Res64: 777F86F2429274AF Time : 0.0 sec. user=mdettweiler [2015-04-09 17:15:37] 909*2^1397267-1 is not prime. Res64: D536B8E61177E7CD Time : 0.0 sec. user=mdettweiler [2015-04-09 17:15:38] 629*2^1397268-1 is not prime. Res64: F269E100C8B3564E Time : 0.0 sec. user=mdettweiler [2015-04-09 17:15:40] 741*2^1397267-1 is not prime. Res64: C57DD05E2E3C049F Time : 0.0 sec. user=mdettweiler [2015-04-09 17:15:40] 829*2^1397267-1 is not prime. Res64: 477109D604CB0511 Time : 0.0 sec. user=mdettweiler [2015-04-09 17:15:55] 689*2^1397268-1 is not prime. Res64: EC18C316E04F7730 Time : 0.0 sec. user=mdettweiler [2015-04-09 17:15:55] 695*2^1397268-1 is not prime. Res64: 24096A9804DA0601 Time : 0.0 sec. user=juhehe [2015-04-09 17:16:09] 673*2^1397267-1 is not prime. Res64: 794AED18C396780C Time : 0.0 sec. user=juhehe [2015-04-09 17:25:17] 685*2^1397267-1 is not prime. Res64: 3701D2305B02FF3C Time : 0.0 sec. user=mdettweiler [2015-04-09 17:27:55] 789*2^1397268-1 is not prime. Res64: 9DFF35C7D36CB49E Time : 0.0 sec. user=mdettweiler [2015-04-09 17:27:56] 825*2^1397268-1 is not prime. Res64: 832D7D2810651BE7 Time : 0.0 sec. user=mdettweiler [2015-04-09 17:42:45] 935*2^1397268-1 is not prime. Res64: 0FF68CA7576F76EE Time : 0.0 sec. user=mdettweiler [2015-04-09 17:42:45] 661*2^1397269-1 is not prime. Res64: 9133928443076EA2 Time : 0.0 sec. user=mdettweiler [2015-04-09 17:42:46] 969*2^1397268-1 is not prime. Res64: 3A43C5C87C855889 Time : 0.0 sec. user=mdettweiler [2015-04-09 17:42:46] 691*2^1397269-1 is not prime. Res64: 2C8FA7CD15EE3F0B Time : 0.0 sec. user=mdettweiler [2015-04-09 17:42:46] 825*2^1397269-1 is not prime. Res64: BF99DFBFDD677355 Time : 0.0 sec. user=mdettweiler [2015-04-09 17:42:46] 847*2^1397269-1 is not prime. Res64: D11ED717265A9030 Time : 0.0 sec. user=mdettweiler [2015-04-09 17:55:00] 919*2^1397269-1 is not prime. Res64: F30C3FAD5839BB1F Time : 0.0 sec. user=mdettweiler [2015-04-09 17:55:00] 997*2^1397269-1 is not prime. Res64: 8E8A91DE9B3AD51C Time : 0.0 sec. user=mdettweiler [2015-04-09 18:09:48] 879*2^1397271-1 is not prime. Res64: 7B7CDF6DBAC1103D Time : 0.0 sec. user=mdettweiler [2015-04-09 18:09:49] 961*2^1397271-1 is not prime. Res64: 8F4D07DE52126E74 Time : 0.0 sec. user=mdettweiler [2015-04-09 18:09:59] 893*2^1397270-1 is not prime. Res64: D272E734D44D561E Time : 0.0 sec. user=mdettweiler [2015-04-09 18:09:59] 693*2^1397271-1 is not prime. Res64: 986CE46ACD3BE1E1 Time : 0.0 sec. user=mdettweiler [2015-04-09 18:10:08] 999*2^1397269-1 is not prime. Res64: DD2BC842F398570E Time : 0.0 sec. user=mdettweiler [2015-04-09 18:10:08] 613*2^1397271-1 is not prime. Res64: 205BF75AB9146C62 Time : 0.0 sec. user=mdettweiler [2015-04-09 18:23:00] 623*2^1397272-1 is not prime. Res64: 843F9115A1BD1650 Time : 0.0 sec. user=mdettweiler [2015-04-09 18:23:00] 705*2^1397272-1 is not prime. Res64: 80CA142E65BC5FE7 Time : 0.0 sec. user=mdettweiler [2015-04-09 18:38:08] 873*2^1397272-1 is not prime. Res64: 358C9A7654A0712C Time : 0.0 sec. user=mdettweiler [2015-04-09 18:38:08] 875*2^1397272-1 is not prime. Res64: B4D6037E3C215AA7 Time : 0.0 sec. user=mdettweiler [2015-04-09 18:38:31] 983*2^1397272-1 is not prime. Res64: DC775C6890EF6F8C Time : 0.0 sec. user=mdettweiler [2015-04-09 18:38:32] 657*2^1397273-1 is not prime. Res64: 9880FAB7511CE93F Time : 0.0 sec. user=mdettweiler [2015-04-09 18:38:36] 897*2^1397272-1 is not prime. Res64: BC3847DFDA288008 Time : 0.0 sec. user=mdettweiler [2015-04-09 18:38:36] 909*2^1397272-1 is not prime. Res64: A608ED22AB3573D3 Time : 0.0 sec. user=mdettweiler [2015-04-09 18:50:58] 721*2^1397273-1 is not prime. Res64: A22EB17D1E229BF3 Time : 0.0 sec. user=mdettweiler [2015-04-09 18:50:59] 729*2^1397273-1 is not prime. Res64: A549A83639661AA6 Time : 0.0 sec. user=mdettweiler [2015-04-09 19:06:02] 671*2^1397274-1 is not prime. Res64: 1B988D6EA9EE0F9F Time : 0.0 sec. user=mdettweiler [2015-04-09 19:06:03] 765*2^1397274-1 is not prime. Res64: 817966B4927288A6 Time : 0.0 sec. user=mdettweiler [2015-04-09 19:06:12] 861*2^1397274-1 is not prime. Res64: 85048576743B5335 Time : 0.0 sec. user=mdettweiler [2015-04-09 19:06:13] 875*2^1397274-1 is not prime. Res64: 196EC04A63CB16FF Time : 0.0 sec. user=mdettweiler [2015-04-09 19:06:26] 837*2^1397274-1 is not prime. Res64: DF76167854E29BDD Time : 0.0 sec. user=mdettweiler [2015-04-09 19:06:27] 851*2^1397274-1 is not prime. Res64: 4807CA63C43FAC0E Time : 0.0 sec. user=juhehe [2015-04-09 19:11:00] 985*2^1397273-1 is not prime. Res64: 5D30DFB7C7B16539 Time : 0.0 sec. user=mdettweiler [2015-04-09 19:19:43] 905*2^1397274-1 is not prime. Res64: AB29B9F565DD91EE Time : 0.0 sec. user=mdettweiler [2015-04-09 19:19:43] 971*2^1397274-1 is not prime. Res64: 98D7ADB450214220 Time : 0.0 sec. user=mdettweiler [2015-04-09 19:37:48] 765*2^1397275-1 is not prime. Res64: 58158EA9C3FD035D Time : 0.0 sec. user=mdettweiler [2015-04-09 19:37:49] 843*2^1397275-1 is not prime. Res64: 92F35C6CD01ABCA5 Time : 0.0 sec. user=mdettweiler [2015-04-09 19:37:54] 993*2^1397274-1 is not prime. Res64: 17C58016D83ECDCF Time : 0.0 sec. user=mdettweiler [2015-04-09 19:37:54] 735*2^1397275-1 is not prime. Res64: 78E4C4D799F95DEC Time : 0.0 sec. user=mdettweiler [2015-04-09 19:38:31] 859*2^1397275-1 is not prime. Res64: B0BAE41B502162BB Time : 0.0 sec. user=mdettweiler [2015-04-09 19:38:32] 873*2^1397275-1 is not prime. Res64: B3C8298A542DAFFF Time : 0.0 sec. user=mdettweiler [2015-04-09 19:50:33] 735*2^1397276-1 is not prime. Res64: BA2BD9C0A2931783 Time : 0.0 sec. user=mdettweiler [2015-04-09 19:50:33] 767*2^1397276-1 is not prime. Res64: E65C8A22F853DED7 Time : 0.0 sec. user=mdettweiler [2015-04-09 20:05:52] 803*2^1397276-1 is not prime. Res64: 251A721F8219D3BC Time : 0.0 sec. user=mdettweiler [2015-04-09 20:05:52] 843*2^1397276-1 is not prime. Res64: C8AE7DAB944ECED1 Time : 0.0 sec. user=mdettweiler [2015-04-09 20:06:03] 625*2^1397277-1 is not prime. Res64: F0110C9B4C054821 Time : 0.0 sec. user=mdettweiler [2015-04-09 20:06:04] 667*2^1397277-1 is not prime. Res64: C09877788261DAAD Time : 0.0 sec. user=mdettweiler [2015-04-09 20:06:37] 685*2^1397277-1 is not prime. Res64: 05B894ED4A66D4D6 Time : 0.0 sec. user=mdettweiler [2015-04-09 20:06:38] 805*2^1397277-1 is not prime. Res64: 28013A29E0A6C718 Time : 0.0 sec. user=mdettweiler [2015-04-09 20:18:15] 831*2^1397277-1 is not prime. Res64: 741EFD4D8DDD0333 Time : 0.0 sec. user=mdettweiler [2015-04-09 20:18:15] 979*2^1397277-1 is not prime. Res64: 207E6C6FE4A682AB Time : 0.0 sec. user=mdettweiler [2015-04-09 20:33:39] 681*2^1397278-1 is not prime. Res64: D3ED68250D7E1EFA Time : 0.0 sec. user=mdettweiler [2015-04-09 20:33:39] 723*2^1397278-1 is not prime. Res64: 5D692912AA6385CB Time : 0.0 sec. user=mdettweiler [2015-04-09 20:33:45] 951*2^1397278-1 is not prime. Res64: AD1CEE754C393748 Time : 0.0 sec. user=mdettweiler [2015-04-09 20:33:46] 601*2^1397279-1 is not prime. Res64: 900E8946443A52E4 Time : 0.0 sec. user=mdettweiler [2015-04-09 20:34:11] 609*2^1397279-1 is not prime. Res64: D250B2B6ADB6389B Time : 0.0 sec. user=mdettweiler [2015-04-09 20:34:12] 615*2^1397279-1 is not prime. Res64: D84029DF0EFFB1DD Time : 0.0 sec. user=juhehe [2015-04-09 20:44:49] 635*2^1397278-1 is not prime. Res64: 6B81C41CA7FBCCD5 Time : 0.0 sec. user=mdettweiler [2015-04-09 20:45:50] 655*2^1397279-1 is not prime. Res64: 172DDC4FD4C20373 Time : 0.0 sec. user=mdettweiler [2015-04-09 20:45:50] 861*2^1397279-1 is not prime. Res64: 6B985FD61ABD5128 Time : 0.0 sec. user=mdettweiler [2015-04-09 21:01:34] 955*2^1397279-1 is not prime. Res64: 8B2118AE8298C597 Time : 0.0 sec. user=mdettweiler [2015-04-09 21:01:35] 633*2^1397280-1 is not prime. Res64: 51E9BD239FDABBDE Time : 0.0 sec. user=mdettweiler [2015-04-09 21:01:36] 669*2^1397280-1 is not prime. Res64: F240C409DDDC0847 Time : 0.0 sec. user=mdettweiler [2015-04-09 21:01:36] 969*2^1397279-1 is not prime. Res64: 83E8D7075C806BDF Time : 0.0 sec. user=mdettweiler [2015-04-09 21:02:05] 689*2^1397280-1 is not prime. Res64: 1A520E082E16FED0 Time : 0.0 sec. user=mdettweiler [2015-04-09 21:02:06] 735*2^1397280-1 is not prime. Res64: CEF2F6557B21A053 Time : 0.0 sec. user=mdettweiler [2015-04-09 21:14:18] 819*2^1397280-1 is not prime. Res64: F55BA46AE940B7EE Time : 0.0 sec. user=mdettweiler [2015-04-09 21:14:18] 845*2^1397280-1 is not prime. Res64: 72AD98BEE465EF3F Time : 0.0 sec. user=mdettweiler [2015-04-09 21:30:38] 741*2^1397281-1 is not prime. Res64: 28FBF314BD5F490B Time : 0.0 sec. user=mdettweiler [2015-04-09 21:30:38] 901*2^1397281-1 is not prime. Res64: D0051C83F7DBB26B Time : 0.0 sec. user=mdettweiler [2015-04-09 21:30:57] 879*2^1397280-1 is not prime. Res64: 77B915AA28B246D5 Time : 0.0 sec. user=mdettweiler [2015-04-09 21:30:57] 929*2^1397280-1 is not prime. Res64: DA31D7ECD5A44CA6 Time : 0.0 sec. user=mdettweiler [2015-04-09 21:31:13] 931*2^1397281-1 is not prime. Res64: D5FFE2F8E7A86103 Time : 0.0 sec. user=mdettweiler [2015-04-09 21:31:13] 957*2^1397281-1 is not prime. Res64: C5BCC4E45B4C00C9 Time : 0.0 sec. user=mdettweiler [2015-04-09 21:43:17] 979*2^1397281-1 is not prime. Res64: B02F8E4335520683 Time : 0.0 sec. user=mdettweiler [2015-04-09 21:43:17] 665*2^1397282-1 is not prime. Res64: A71D6036928A5256 Time : 0.0 sec. user=mdettweiler [2015-04-09 21:59:54] 675*2^1397282-1 is not prime. Res64: F309E77582C16C52 Time : 0.0 sec. user=mdettweiler [2015-04-09 21:59:55] 797*2^1397282-1 is not prime. Res64: 7F4242DA7BD5F6FB Time : 0.0 sec. user=mdettweiler [2015-04-09 22:00:20] 837*2^1397282-1 is not prime. Res64: B9357054F48735CC Time : 0.0 sec. user=mdettweiler [2015-04-09 22:00:20] 843*2^1397282-1 is not prime. Res64: A6FCB5F8B189CC64 Time : 0.0 sec. user=mdettweiler [2015-04-09 22:00:35] 923*2^1397282-1 is not prime. Res64: 6395491F93003967 Time : 0.0 sec. user=mdettweiler [2015-04-09 22:00:36] 1001*2^1397282-1 is not prime. Res64: 067AF336AEB9A450 Time : 0.0 sec. user=mdettweiler [2015-04-09 22:11:55] 705*2^1397283-1 is not prime. Res64: 262328F4ADC6563A Time : 0.0 sec. user=mdettweiler [2015-04-09 22:11:55] 723*2^1397283-1 is not prime. Res64: 5C71DBA72ACB6A96 Time : 0.0 sec. user=mdettweiler [2015-04-09 22:29:07] 805*2^1397283-1 is not prime. Res64: 80C66A53BB3FB8FD Time : 0.0 sec. user=mdettweiler [2015-04-09 22:29:07] 885*2^1397283-1 is not prime. Res64: 89AF54691563229A Time : 0.0 sec. user=mdettweiler [2015-04-09 22:29:42] 921*2^1397283-1 is not prime. Res64: E776860DA351A9E3 Time : 0.0 sec. user=mdettweiler [2015-04-09 22:29:42] 657*2^1397284-1 is not prime. Res64: 1834EF2F1B41A507 Time : 0.0 sec. user=mdettweiler [2015-04-09 22:30:06] 695*2^1397284-1 is not prime. Res64: 78059015C399A50F Time : 0.0 sec. user=mdettweiler [2015-04-09 22:30:06] 765*2^1397284-1 is not prime. Res64: 39E6C93EE1B97FE2 Time : 0.0 sec. user=mdettweiler [2015-04-09 22:41:10] 803*2^1397284-1 is not prime. Res64: 06DFA8C2A25E0D7D Time : 0.0 sec. user=mdettweiler [2015-04-09 22:41:10] 819*2^1397284-1 is not prime. Res64: B59E2747A9235933 Time : 0.0 sec. user=mdettweiler [2015-04-09 22:58:23] 873*2^1397284-1 is not prime. Res64: C5A796D582F2DFD6 Time : 0.0 sec. user=mdettweiler [2015-04-09 22:58:23] 903*2^1397284-1 is not prime. Res64: CC3860B6BBF2A49E Time : 0.0 sec. user=mdettweiler [2015-04-09 22:59:08] 675*2^1397285-1 is not prime. Res64: CB1272494E490151 Time : 0.0 sec. user=mdettweiler [2015-04-09 22:59:08] 679*2^1397285-1 is not prime. Res64: 06EB32D661E94354 Time : 0.0 sec. user=mdettweiler [2015-04-09 22:59:34] 721*2^1397285-1 is not prime. Res64: 11944B48BC8AEBC9 Time : 0.0 sec. user=mdettweiler [2015-04-09 22:59:34] 777*2^1397285-1 is not prime. Res64: 70CFB1304316B757 Time : 0.0 sec. user=juhehe [2015-04-09 23:10:07] 825*2^1397285-1 is not prime. Res64: D8D8C379288AB1C3 Time : 0.0 sec. user=mdettweiler [2015-04-09 23:10:16] 831*2^1397285-1 is not prime. Res64: FFF6AE4DEF955DBF Time : 0.0 sec. user=mdettweiler [2015-04-09 23:10:17] 837*2^1397285-1 is not prime. Res64: 189CF043081A2EAE Time : 0.0 sec. user=mdettweiler [2015-04-09 23:26:35] 855*2^1397285-1 is not prime. Res64: C6BA4AC6B27E0596 Time : 0.0 sec. user=mdettweiler [2015-04-09 23:26:35] 937*2^1397285-1 is not prime. Res64: F456BC5F07EFAC4D Time : 0.0 sec. user=mdettweiler [2015-04-09 23:27:19] 957*2^1397285-1 is not prime. Res64: BE76B7C608AE43AA Time : 0.0 sec. user=mdettweiler [2015-04-09 23:27:20] 615*2^1397286-1 is not prime. Res64: 8EBBE81005C267AA Time : 0.0 sec. user=mdettweiler [2015-04-09 23:27:44] 717*2^1397286-1 is not prime. Res64: C2E86E4FAC0A16CE Time : 0.0 sec. user=mdettweiler [2015-04-09 23:27:44] 833*2^1397286-1 is not prime. Res64: 5F0AAECB08316C8D Time : 0.0 sec. user=mdettweiler [2015-04-09 23:38:15] 867*2^1397286-1 is not prime. Res64: 93BF1D51EA2F1EEA Time : 0.0 sec. user=mdettweiler [2015-04-09 23:38:16] 941*2^1397286-1 is not prime. Res64: 67EDAA5BA2346F50 Time : 0.0 sec. user=mdettweiler [2015-04-09 23:53:55] 603*2^1397287-1 is not prime. Res64: 3A5026540EA4AB34 Time : 0.0 sec. user=mdettweiler [2015-04-09 23:53:55] 681*2^1397287-1 is not prime. Res64: 0F32D3D503A44956 Time : 0.0 sec. user=mdettweiler [2015-04-09 23:55:27] 849*2^1397287-1 is not prime. Res64: 9AA49E5B7C9936CA Time : 0.0 sec. user=mdettweiler [2015-04-09 23:55:28] 871*2^1397287-1 is not prime. Res64: 4649B8837C7E18C6 Time : 0.0 sec. user=mdettweiler [2015-04-09 23:55:30] 889*2^1397287-1 is not prime. Res64: 3396309DFD4144D0 Time : 0.0 sec. user=mdettweiler [2015-04-09 23:55:30] 993*2^1397287-1 is not prime. Res64: DF3BFBDF08F65C8E Time : 0.0 sec.