user=mdettweiler [2016-07-23 00:26:00] 993*2^1435859-1 is not prime. Res64: 37AA765CC1D5C7D4 Time : 0.0 sec. user=mdettweiler [2016-07-23 00:26:00] 707*2^1435860-1 is not prime. Res64: 247DE91FAD9B28D8 Time : 0.0 sec. user=mdettweiler [2016-07-23 00:26:01] 843*2^1435860-1 is not prime. Res64: 306794342155073E Time : 0.0 sec. user=mdettweiler [2016-07-23 00:26:01] 887*2^1435860-1 is not prime. Res64: 122E5E241317EA73 Time : 0.0 sec. user=mdettweiler [2016-07-23 00:26:01] 899*2^1435860-1 is not prime. Res64: 68E989E80F04A1E7 Time : 0.0 sec. user=mdettweiler [2016-07-23 01:09:54] 983*2^1435860-1 is not prime. Res64: 9ACEB922C44FEF3A Time : 0.0 sec. user=mdettweiler [2016-07-23 01:09:58] 727*2^1435861-1 is not prime. Res64: 440EC5369522B317 Time : 0.0 sec. user=mdettweiler [2016-07-23 01:10:01] 951*2^1435861-1 is not prime. Res64: 7625431FF0B527E7 Time : 0.0 sec. user=mdettweiler [2016-07-23 01:10:04] 967*2^1435861-1 is not prime. Res64: 8147A0658B7877B4 Time : 0.0 sec. user=mdettweiler [2016-07-23 01:10:08] 675*2^1435862-1 is not prime. Res64: 89B3756328162D51 Time : 0.0 sec. user=mdettweiler [2016-07-23 01:53:58] 791*2^1435862-1 is not prime. Res64: 4C624975DDAE222C Time : 0.0 sec. user=mdettweiler [2016-07-23 01:53:59] 825*2^1435862-1 is not prime. Res64: CBD531FF50371008 Time : 0.0 sec. user=mdettweiler [2016-07-23 01:53:59] 833*2^1435862-1 is not prime. Res64: EFBC7F2B7BECE01A Time : 0.0 sec. user=mdettweiler [2016-07-23 01:53:59] 957*2^1435862-1 is not prime. Res64: 15D16D6544FE9641 Time : 0.0 sec. user=mdettweiler [2016-07-23 01:54:00] 983*2^1435862-1 is not prime. Res64: 16F7F9434617A5FA Time : 0.0 sec. user=mdettweiler [2016-07-23 02:37:50] 679*2^1435863-1 is not prime. Res64: 3F984BF2E3C3014E Time : 0.0 sec. user=mdettweiler [2016-07-23 02:37:50] 685*2^1435863-1 is not prime. Res64: 1F477A3DA5B89C7A Time : 0.0 sec. user=mdettweiler [2016-07-23 02:37:50] 745*2^1435863-1 is not prime. Res64: 8F95E015ABF664F7 Time : 0.0 sec. user=mdettweiler [2016-07-23 02:37:51] 861*2^1435863-1 is not prime. Res64: D08BCDEE78486D02 Time : 0.0 sec. user=mdettweiler [2016-07-23 02:37:51] 879*2^1435863-1 is not prime. Res64: B4AE327CF32909CC Time : 0.0 sec. user=mdettweiler [2016-07-23 03:21:42] 765*2^1435864-1 is not prime. Res64: 78A59B025BCCD839 Time : 0.0 sec. user=mdettweiler [2016-07-23 03:21:42] 869*2^1435864-1 is not prime. Res64: 4CC4D810859D6F26 Time : 0.0 sec. user=mdettweiler [2016-07-23 03:21:42] 699*2^1435865-1 is not prime. Res64: EF3866DB0B827203 Time : 0.0 sec. user=mdettweiler [2016-07-23 03:21:43] 759*2^1435865-1 is not prime. Res64: 618B40FFE492659B Time : 0.0 sec. user=mdettweiler [2016-07-23 03:21:43] 789*2^1435865-1 is not prime. Res64: CBE3595CCFB1A3D5 Time : 0.0 sec. user=mdettweiler [2016-07-23 04:05:34] 865*2^1435865-1 is not prime. Res64: 99F72E90CB4AB310 Time : 0.0 sec. user=mdettweiler [2016-07-23 04:05:35] 979*2^1435865-1 is not prime. Res64: 64E5495483D563E7 Time : 0.0 sec. user=mdettweiler [2016-07-23 04:05:36] 635*2^1435866-1 is not prime. Res64: 6EC39AAED24C1073 Time : 0.0 sec. user=mdettweiler [2016-07-23 04:05:37] 741*2^1435866-1 is not prime. Res64: DDEC905A7288B3CB Time : 0.0 sec. user=mdettweiler [2016-07-23 04:05:38] 861*2^1435866-1 is not prime. Res64: 523691577786DE47 Time : 0.0 sec. user=mdettweiler [2016-07-23 04:49:30] 881*2^1435866-1 is not prime. Res64: 2634B3F7A0727410 Time : 0.0 sec. user=mdettweiler [2016-07-23 04:49:30] 615*2^1435867-1 is not prime. Res64: 2ECD111A755D858A Time : 0.0 sec. user=mdettweiler [2016-07-23 04:49:30] 673*2^1435867-1 is not prime. Res64: 9F0F0E86B3C98B3C Time : 0.0 sec. user=mdettweiler [2016-07-23 04:49:31] 715*2^1435867-1 is not prime. Res64: C83B35436A99B054 Time : 0.0 sec. user=mdettweiler [2016-07-23 04:49:31] 759*2^1435867-1 is not prime. Res64: 9FAE44A2355FEC07 Time : 0.0 sec. user=mdettweiler [2016-07-23 05:33:22] 975*2^1435867-1 is not prime. Res64: 9699DBFC0660CA8F Time : 0.0 sec. user=mdettweiler [2016-07-23 05:33:22] 623*2^1435868-1 is not prime. Res64: BF4906BE7742A033 Time : 0.0 sec. user=mdettweiler [2016-07-23 05:33:22] 665*2^1435868-1 is not prime. Res64: F4B2F72061962521 Time : 0.0 sec. user=mdettweiler [2016-07-23 05:33:23] 669*2^1435868-1 is not prime. Res64: 7FFE43D22CC3631B Time : 0.0 sec. user=mdettweiler [2016-07-23 05:33:23] 699*2^1435868-1 is not prime. Res64: 48FD9FA46030845D Time : 0.0 sec. user=mdettweiler [2016-07-23 06:17:10] 707*2^1435868-1 is not prime. Res64: 52C629906143A607 Time : 0.0 sec. user=mdettweiler [2016-07-23 06:17:11] 773*2^1435868-1 is not prime. Res64: 2B3A9A126E67141A Time : 0.0 sec. user=mdettweiler [2016-07-23 06:17:11] 795*2^1435868-1 is not prime. Res64: 96DF6D15B925437C Time : 0.0 sec. user=mdettweiler [2016-07-23 06:17:11] 797*2^1435868-1 is not prime. Res64: C35EE721F461F37C Time : 0.0 sec. user=mdettweiler [2016-07-23 06:17:12] 837*2^1435868-1 is not prime. Res64: 4BF00F0CF8440592 Time : 0.0 sec. user=mdettweiler [2016-07-23 07:01:00] 959*2^1435868-1 is not prime. Res64: B108A67F5CCF4C19 Time : 0.0 sec. user=mdettweiler [2016-07-23 07:01:01] 751*2^1435869-1 is not prime. Res64: CBBC129A9DAFAF04 Time : 0.0 sec. user=mdettweiler [2016-07-23 07:01:02] 795*2^1435869-1 is not prime. Res64: ADC2849F0B59B9C0 Time : 0.0 sec. user=mdettweiler [2016-07-23 07:01:03] 919*2^1435869-1 is not prime. Res64: E86E5A44685DAD7B Time : 0.0 sec. user=mdettweiler [2016-07-23 07:01:04] 951*2^1435869-1 is not prime. Res64: 028F5080785F2CB3 Time : 0.0 sec. user=mdettweiler [2016-07-23 07:44:58] 997*2^1435869-1 is not prime. Res64: DB86F80CB9C19516 Time : 0.0 sec. user=mdettweiler [2016-07-23 07:45:01] 681*2^1435870-1 is not prime. Res64: 772DFACBD0C1A22D Time : 0.0 sec. user=mdettweiler [2016-07-23 07:45:04] 857*2^1435870-1 is not prime. Res64: F450328BE745A24C Time : 0.0 sec. user=mdettweiler [2016-07-23 07:45:07] 873*2^1435870-1 is not prime. Res64: 5FCEA87223CBB90C Time : 0.0 sec. user=mdettweiler [2016-07-23 07:45:11] 601*2^1435871-1 is not prime. Res64: B597A20973635986 Time : 0.0 sec. user=mdettweiler [2016-07-23 08:28:58] 693*2^1435871-1 is not prime. Res64: 18D46C8A8E5531B5 Time : 0.0 sec. user=mdettweiler [2016-07-23 08:28:59] 759*2^1435871-1 is not prime. Res64: 9C23A10BF8DFC223 Time : 0.0 sec. user=mdettweiler [2016-07-23 08:28:59] 789*2^1435871-1 is not prime. Res64: B758B6F23F85E72D Time : 0.0 sec. user=mdettweiler [2016-07-23 08:29:00] 865*2^1435871-1 is not prime. Res64: 388DDE4074B8CF49 Time : 0.0 sec. user=mdettweiler [2016-07-23 08:29:00] 889*2^1435871-1 is not prime. Res64: E46B5F23EDD4C614 Time : 0.0 sec. user=mdettweiler [2016-07-23 09:12:48] 665*2^1435872-1 is not prime. Res64: 1701DD0F17E842E4 Time : 0.0 sec. user=mdettweiler [2016-07-23 09:12:50] 675*2^1435872-1 is not prime. Res64: 89D1B1E2941AD216 Time : 0.0 sec. user=mdettweiler [2016-07-23 09:12:53] 737*2^1435872-1 is not prime. Res64: 15F93BC1ECF91E85 Time : 0.0 sec. user=mdettweiler [2016-07-23 09:12:55] 903*2^1435872-1 is not prime. Res64: 790ECE29B2AC8F02 Time : 0.0 sec. user=mdettweiler [2016-07-23 09:12:55] 915*2^1435872-1 is not prime. Res64: F7158B40F5ACE1DF Time : 0.0 sec. user=mdettweiler [2016-07-23 09:56:43] 923*2^1435872-1 is not prime. Res64: B06F237D9121ADB6 Time : 0.0 sec. user=mdettweiler [2016-07-23 09:56:43] 649*2^1435873-1 is not prime. Res64: D4651B29A51F6839 Time : 0.0 sec. user=mdettweiler [2016-07-23 09:56:43] 679*2^1435873-1 is not prime. Res64: 6CAEE743EE59F26C Time : 0.0 sec. user=mdettweiler [2016-07-23 09:56:44] 691*2^1435873-1 is not prime. Res64: FB470F3F3572FAF5 Time : 0.0 sec. user=mdettweiler [2016-07-23 09:56:44] 805*2^1435873-1 is not prime. Res64: 05D8092C79BC9095 Time : 0.0 sec. user=mdettweiler [2016-07-23 10:40:41] 877*2^1435873-1 is not prime. Res64: A952A697AD010315 Time : 0.0 sec. user=mdettweiler [2016-07-23 10:40:43] 897*2^1435873-1 is not prime. Res64: CF993D32DBF6D784 Time : 0.0 sec. user=mdettweiler [2016-07-23 10:40:43] 937*2^1435873-1 is not prime. Res64: 857E329610F3C34A Time : 0.0 sec. user=mdettweiler [2016-07-23 10:40:46] 979*2^1435873-1 is not prime. Res64: 9221E11EBED20542 Time : 0.0 sec. user=mdettweiler [2016-07-23 10:40:48] 657*2^1435874-1 is not prime. Res64: 0FE3C2FE2D615057 Time : 0.0 sec. user=mdettweiler [2016-07-23 11:24:57] 675*2^1435874-1 is not prime. Res64: 35E00C35D53A063A Time : 0.0 sec. user=mdettweiler [2016-07-23 11:24:57] 677*2^1435874-1 is not prime. Res64: CE83A32124B7A2BC Time : 0.0 sec. user=mdettweiler [2016-07-23 11:24:58] 705*2^1435874-1 is not prime. Res64: 70DEF9947123B0BE Time : 0.0 sec. user=mdettweiler [2016-07-23 11:24:58] 743*2^1435874-1 is not prime. Res64: 1C7ACBE5CA9152AE Time : 0.0 sec. user=mdettweiler [2016-07-23 11:24:58] 791*2^1435874-1 is not prime. Res64: A8910BA8EC805B85 Time : 0.0 sec. user=mdettweiler [2016-07-23 12:08:53] 915*2^1435874-1 is not prime. Res64: 52056B9CE45F1009 Time : 0.0 sec. user=mdettweiler [2016-07-23 14:06:55] 1001*2^1435874-1 is not prime. Res64: 5D81021ECBD9D5F2 Time : 0.0 sec. user=mdettweiler [2016-07-23 14:06:58] 651*2^1435875-1 is not prime. Res64: EA812075AD79DE4D Time : 0.0 sec. user=mdettweiler [2016-07-23 14:07:02] 735*2^1435875-1 is not prime. Res64: 7466E78F610C3159 Time : 0.0 sec. user=mdettweiler [2016-07-23 14:07:05] 801*2^1435875-1 is not prime. Res64: 5F70F41BD544DAD6 Time : 0.0 sec. user=mdettweiler [2016-07-23 14:51:15] 873*2^1435875-1 is not prime. Res64: 9CB9A6E1D5F5FA42 Time : 0.0 sec. user=mdettweiler [2016-07-23 14:51:16] 921*2^1435875-1 is not prime. Res64: 79F7AD889A71A5FE Time : 0.0 sec. user=mdettweiler [2016-07-23 14:51:16] 961*2^1435875-1 is not prime. Res64: 00EF7E466DDA01A4 Time : 0.0 sec. user=mdettweiler [2016-07-23 14:51:16] 609*2^1435876-1 is not prime. Res64: 1D2F36D2AB25DF22 Time : 0.0 sec. user=mdettweiler [2016-07-23 14:51:17] 615*2^1435876-1 is not prime. Res64: 8489F3BE0E6A07B1 Time : 0.0 sec. user=mdettweiler [2016-07-23 15:35:16] 617*2^1435876-1 is not prime. Res64: 8AFF038F35729329 Time : 0.0 sec. user=mdettweiler [2016-07-23 15:35:17] 825*2^1435876-1 is not prime. Res64: B7E458C57AE79DE7 Time : 0.0 sec. user=mdettweiler [2016-07-23 15:35:17] 887*2^1435876-1 is not prime. Res64: 0C05934FC50F26F9 Time : 0.0 sec. user=mdettweiler [2016-07-23 15:35:18] 947*2^1435876-1 is not prime. Res64: D70EBE27C1A1FC6C Time : 0.0 sec. user=mdettweiler [2016-07-23 15:35:19] 615*2^1435877-1 is not prime. Res64: B5F3CD94AD6FCFC7 Time : 0.0 sec. user=mdettweiler [2016-07-23 16:19:19] 631*2^1435877-1 is not prime. Res64: 2A53B0EC2F640B9A Time : 0.0 sec. user=mdettweiler [2016-07-23 16:19:20] 651*2^1435877-1 is not prime. Res64: D1DBB985B992E606 Time : 0.0 sec. user=mdettweiler [2016-07-23 16:19:20] 697*2^1435877-1 is not prime. Res64: 5D7080EC07108744 Time : 0.0 sec. user=mdettweiler [2016-07-23 16:19:21] 715*2^1435877-1 is not prime. Res64: 2B9AF8BB966A07AF Time : 0.0 sec. user=mdettweiler [2016-07-23 16:19:21] 727*2^1435877-1 is not prime. Res64: EFC836ECA054C5C2 Time : 0.0 sec. user=mdettweiler [2016-07-23 17:03:28] 757*2^1435877-1 is not prime. Res64: 2ABFBE0991E9E917 Time : 0.0 sec. user=mdettweiler [2016-07-23 17:03:30] 777*2^1435877-1 is not prime. Res64: F345020F2827437A Time : 0.0 sec. user=mdettweiler [2016-07-23 17:03:31] 635*2^1435878-1 is not prime. Res64: FD3CD904BBE628ED Time : 0.0 sec. user=mdettweiler [2016-07-23 17:03:32] 663*2^1435878-1 is not prime. Res64: E3637D1CF2F70A91 Time : 0.0 sec. user=mdettweiler [2016-07-23 17:03:33] 843*2^1435878-1 is not prime. Res64: 03C33E8F51ACA73D Time : 0.0 sec. user=mdettweiler [2016-07-23 17:47:50] 927*2^1435878-1 is not prime. Res64: F14AD1ABA0EF867B Time : 0.0 sec. user=mdettweiler [2016-07-23 17:47:50] 963*2^1435878-1 is not prime. Res64: 1879D6CE088697EE Time : 0.0 sec. user=mdettweiler [2016-07-23 17:47:51] 971*2^1435878-1 is not prime. Res64: FC953140D8856FAD Time : 0.0 sec. user=mdettweiler [2016-07-23 17:47:51] 661*2^1435879-1 is not prime. Res64: 07D36EC049A87378 Time : 0.0 sec. user=mdettweiler [2016-07-23 17:47:51] 883*2^1435879-1 is not prime. Res64: 635BA70D2AA9D6CB Time : 0.0 sec. user=mdettweiler [2016-07-23 18:31:55] 951*2^1435879-1 is not prime. Res64: 6B5535BF330FC69C Time : 0.0 sec. user=mdettweiler [2016-07-23 18:31:56] 993*2^1435879-1 is not prime. Res64: 7BB9B671C77B0D44 Time : 0.0 sec. user=mdettweiler [2016-07-23 18:31:59] 629*2^1435880-1 is not prime. Res64: 8BC005452E82EE74 Time : 0.0 sec. user=mdettweiler [2016-07-23 18:32:03] 719*2^1435880-1 is not prime. Res64: 47A4199BFBAEDE84 Time : 0.0 sec. user=mdettweiler [2016-07-23 18:32:06] 725*2^1435880-1 is not prime. Res64: 51A96AF214BFCCEB Time : 0.0 sec. user=mdettweiler [2016-07-23 19:16:07] 777*2^1435880-1 is not prime. Res64: 4BD1108670ACAE74 Time : 0.0 sec. user=mdettweiler [2016-07-23 19:16:08] 875*2^1435880-1 is not prime. Res64: 360D487F581193DF Time : 0.0 sec. user=mdettweiler [2016-07-23 19:16:08] 625*2^1435881-1 is not prime. Res64: 5A1DDF767CB03FD8 Time : 0.0 sec. user=mdettweiler [2016-07-23 19:16:08] 745*2^1435881-1 is not prime. Res64: 92B9723946DCDE7A Time : 0.0 sec. user=mdettweiler [2016-07-23 19:16:09] 835*2^1435881-1 is not prime. Res64: 828B9B0D96A3021E Time : 0.0 sec. user=mdettweiler [2016-07-23 20:00:15] 889*2^1435881-1 is not prime. Res64: 36E6F02E2A0F627F Time : 0.0 sec. user=mdettweiler [2016-07-23 20:00:16] 907*2^1435881-1 is not prime. Res64: 44B13E4CA620C7B1 Time : 0.0 sec. user=mdettweiler [2016-07-23 20:00:17] 713*2^1435882-1 is not prime. Res64: 80DF658D8D043AFF Time : 0.0 sec. user=mdettweiler [2016-07-23 20:00:17] 735*2^1435882-1 is not prime. Res64: 60BDE47596E1E5FD Time : 0.0 sec. user=mdettweiler [2016-07-23 20:00:17] 765*2^1435882-1 is not prime. Res64: 042FC56802B6B561 Time : 0.0 sec. user=mdettweiler [2016-07-23 20:44:21] 825*2^1435882-1 is not prime. Res64: D5D08B44CC77EF2F Time : 0.0 sec. user=mdettweiler [2016-07-23 20:44:21] 855*2^1435882-1 is not prime. Res64: AACB2ACD34341DA6 Time : 0.0 sec. user=mdettweiler [2016-07-23 20:44:21] 619*2^1435883-1 is not prime. Res64: F3E6CB24995EFA32 Time : 0.0 sec. user=mdettweiler [2016-07-23 20:44:21] 643*2^1435883-1 is not prime. Res64: 473259D8BE1201DB Time : 0.0 sec. user=mdettweiler [2016-07-23 20:44:22] 663*2^1435883-1 is not prime. Res64: 6B325CF522D1A48B Time : 0.0 sec. user=mdettweiler [2016-07-23 21:28:10] 675*2^1435883-1 is not prime. Res64: 3AEDA0525C6A3170 Time : 0.0 sec. user=mdettweiler [2016-07-23 21:28:11] 705*2^1435883-1 is not prime. Res64: 0BC4D275FB0FD178 Time : 0.0 sec. user=mdettweiler [2016-07-23 21:28:11] 705*2^1435884-1 is not prime. Res64: 3AD07E8345414F45 Time : 0.0 sec. user=mdettweiler [2016-07-23 21:28:12] 837*2^1435884-1 is not prime. Res64: 7CC1D0993C68C105 Time : 0.0 sec. user=mdettweiler [2016-07-23 21:28:12] 905*2^1435884-1 is not prime. Res64: 97B1404D0D9AB162 Time : 0.0 sec. user=mdettweiler [2016-07-23 22:12:03] 915*2^1435884-1 is not prime. Res64: BFE178AF2B8D77A2 Time : 0.0 sec. user=mdettweiler [2016-07-23 22:12:07] 729*2^1435885-1 is not prime. Res64: 0E65728A830CB32E Time : 0.0 sec. user=mdettweiler [2016-07-23 22:12:10] 789*2^1435885-1 is not prime. Res64: 27A807B909F32365 Time : 0.0 sec. user=mdettweiler [2016-07-23 22:12:13] 919*2^1435885-1 is not prime. Res64: 9F035A483882E6CF Time : 0.0 sec. user=mdettweiler [2016-07-23 22:12:17] 693*2^1435886-1 is not prime. Res64: 78DCF2BC59492B26 Time : 0.0 sec. user=juhehe [2016-07-23 22:24:46] 867*2^1435886-1 is not prime. Res64: 5F54BE8FC6CE07E4 Time : 0.0 sec. user=mdettweiler [2016-07-23 22:56:08] 633*2^1435887-1 is not prime. Res64: DA1499FEB7E88D17 Time : 0.0 sec. user=mdettweiler [2016-07-23 22:56:09] 669*2^1435887-1 is not prime. Res64: 68FB5078C9E4C3CE Time : 0.0 sec. user=mdettweiler [2016-07-23 22:56:09] 685*2^1435887-1 is not prime. Res64: E9F3C901971A2977 Time : 0.0 sec. user=mdettweiler [2016-07-23 22:56:09] 741*2^1435887-1 is not prime. Res64: 495F80E62965CF98 Time : 0.0 sec. user=mdettweiler [2016-07-23 22:56:10] 859*2^1435887-1 is not prime. Res64: 2142D847048F18D0 Time : 0.0 sec. user=mdettweiler [2016-07-23 23:40:07] 871*2^1435887-1 is not prime. Res64: 02CFD0B1FDF5AAFE Time : 0.0 sec. user=mdettweiler [2016-07-23 23:40:08] 933*2^1435887-1 is not prime. Res64: 3AC68E6C744765FD Time : 0.0 sec. user=mdettweiler [2016-07-23 23:40:08] 623*2^1435888-1 is not prime. Res64: D93FA95E247E3EF1 Time : 0.0 sec. user=mdettweiler [2016-07-23 23:40:09] 747*2^1435888-1 is not prime. Res64: 004D8FEC8E20F1C9 Time : 0.0 sec. user=mdettweiler [2016-07-23 23:40:09] 813*2^1435888-1 is not prime. Res64: 3F0E50C0F6F5F017 Time : 0.0 sec.