user=mdettweiler [2017-04-17 00:19:55] 825*2^1451855-1 is not prime. Res64: FFA0EB44449C8EA3 Time : 0.0 sec. user=mdettweiler [2017-04-17 00:19:55] 861*2^1451855-1 is not prime. Res64: 2024DB4CB95282EC Time : 0.0 sec. user=mdettweiler [2017-04-17 00:19:56] 913*2^1451855-1 is not prime. Res64: 751E1E4D50E67CD6 Time : 0.0 sec. user=mdettweiler [2017-04-17 00:19:56] 635*2^1451856-1 is not prime. Res64: 7D0B74D52FF3A08A Time : 0.0 sec. user=mdettweiler [2017-04-17 00:19:57] 707*2^1451856-1 is not prime. Res64: B4A7EB06E26480F5 Time : 0.0 sec. user=mdettweiler [2017-04-17 00:32:06] 717*2^1451856-1 is not prime. Res64: C454243D6D1585F9 Time : 0.0 sec. user=mdettweiler [2017-04-17 00:32:06] 779*2^1451856-1 is not prime. Res64: 5FFB67FCB288A833 Time : 0.0 sec. user=mdettweiler [2017-04-17 00:32:06] 825*2^1451856-1 is not prime. Res64: 92B0C14E40BAF5DA Time : 0.0 sec. user=mdettweiler [2017-04-17 00:32:07] 839*2^1451856-1 is not prime. Res64: 7F0432B17057B208 Time : 0.0 sec. user=mdettweiler [2017-04-17 00:32:07] 993*2^1451856-1 is not prime. Res64: 9F58C705023B28A5 Time : 0.0 sec. user=mdettweiler [2017-04-17 00:38:47] 685*2^1451857-1 is not prime. Res64: 5E5DD9922F9FA356 Time : 0.0 sec. user=mdettweiler [2017-04-17 00:38:47] 687*2^1451857-1 is not prime. Res64: 67A2CBD83593F569 Time : 0.0 sec. user=mdettweiler [2017-04-17 00:38:48] 729*2^1451857-1 is not prime. Res64: 85260B825EDB78B5 Time : 0.0 sec. user=mdettweiler [2017-04-17 00:38:48] 765*2^1451857-1 is not prime. Res64: 40583AE679EBF0D8 Time : 0.0 sec. user=mdettweiler [2017-04-17 00:38:48] 799*2^1451857-1 is not prime. Res64: 89EA9250CE7B0CE9 Time : 0.0 sec. user=mdettweiler [2017-04-17 00:39:40] 801*2^1451857-1 is not prime. Res64: DE45021A08C846C9 Time : 0.0 sec. user=mdettweiler [2017-04-17 00:39:41] 831*2^1451857-1 is not prime. Res64: 23BD2830F9997DE4 Time : 0.0 sec. user=mdettweiler [2017-04-17 00:39:41] 847*2^1451857-1 is not prime. Res64: 489D9AB81BF53F30 Time : 0.0 sec. user=mdettweiler [2017-04-17 00:39:41] 955*2^1451857-1 is not prime. Res64: 553D3F621BF1BA2E Time : 0.0 sec. user=mdettweiler [2017-04-17 00:39:42] 657*2^1451858-1 is not prime. Res64: F0B3A187B9B45550 Time : 0.0 sec. user=juhehe [2017-04-17 01:04:18] 825*2^1451858-1 is not prime. Res64: 8B28CBBB4FAAD974 Time : 0.0 sec. user=mdettweiler [2017-04-17 01:05:08] 683*2^1451858-1 is not prime. Res64: 4A337E31D1586460 Time : 0.0 sec. user=mdettweiler [2017-04-17 01:05:09] 711*2^1451858-1 is not prime. Res64: 6952393163324D47 Time : 0.0 sec. user=mdettweiler [2017-04-17 01:05:10] 731*2^1451858-1 is not prime. Res64: 92151EE46DB36C66 Time : 0.0 sec. user=mdettweiler [2017-04-17 01:05:11] 767*2^1451858-1 is not prime. Res64: FFB1500014242009 Time : 0.0 sec. user=mdettweiler [2017-04-17 01:05:12] 797*2^1451858-1 is not prime. Res64: 18EF89FE6C1A9A65 Time : 0.0 sec. user=mdettweiler [2017-04-17 01:17:16] 893*2^1451858-1 is not prime. Res64: 902A85C4574916FC Time : 0.0 sec. user=mdettweiler [2017-04-17 01:17:16] 995*2^1451858-1 is not prime. Res64: 6A14C1BE43C70F08 Time : 0.0 sec. user=mdettweiler [2017-04-17 01:17:17] 703*2^1451859-1 is not prime. Res64: F734517D8854104E Time : 0.0 sec. user=mdettweiler [2017-04-17 01:17:17] 721*2^1451859-1 is not prime. Res64: 8F8F9C44A1CB0F39 Time : 0.0 sec. user=mdettweiler [2017-04-17 01:17:17] 835*2^1451859-1 is not prime. Res64: C1C111A9AB3A4F3D Time : 0.0 sec. user=mdettweiler [2017-04-17 01:23:58] 895*2^1451859-1 is not prime. Res64: B498BD9CC196DE2D Time : 0.0 sec. user=mdettweiler [2017-04-17 01:23:58] 635*2^1451860-1 is not prime. Res64: 32D913ED38106581 Time : 0.0 sec. user=mdettweiler [2017-04-17 01:23:59] 663*2^1451860-1 is not prime. Res64: 1FE7BEE7E0099ABC Time : 0.0 sec. user=mdettweiler [2017-04-17 01:23:59] 777*2^1451860-1 is not prime. Res64: 4B6ABBB500A296F8 Time : 0.0 sec. user=mdettweiler [2017-04-17 01:23:59] 825*2^1451860-1 is not prime. Res64: 502FE7F046FA05C1 Time : 0.0 sec. user=mdettweiler [2017-04-17 01:24:44] 863*2^1451860-1 is not prime. Res64: 93A32A0C5918B89B Time : 0.0 sec. user=mdettweiler [2017-04-17 01:24:44] 905*2^1451860-1 is not prime. Res64: 8D04FA4F6D57E622 Time : 0.0 sec. user=mdettweiler [2017-04-17 01:24:44] 965*2^1451860-1 is not prime. Res64: BD014C5C812D730A Time : 0.0 sec. user=mdettweiler [2017-04-17 01:24:45] 983*2^1451860-1 is not prime. Res64: C994BB9B6E2419E0 Time : 0.0 sec. user=mdettweiler [2017-04-17 01:24:45] 607*2^1451861-1 is not prime. Res64: F14031E7FCB7B382 Time : 0.0 sec. user=mdettweiler [2017-04-17 01:50:31] 651*2^1451861-1 is not prime. Res64: EE9A47BF36B8BC85 Time : 0.0 sec. user=mdettweiler [2017-04-17 01:50:32] 799*2^1451861-1 is not prime. Res64: FAE0A599F3208327 Time : 0.0 sec. user=mdettweiler [2017-04-17 01:50:32] 859*2^1451861-1 is not prime. Res64: 69F5CC3CA30BA1C6 Time : 0.0 sec. user=mdettweiler [2017-04-17 01:50:33] 889*2^1451861-1 is not prime. Res64: DD994F29588AEB6E Time : 0.0 sec. user=mdettweiler [2017-04-17 01:50:33] 937*2^1451861-1 is not prime. Res64: CBFD9795E2C077A1 Time : 0.0 sec. user=juhehe [2017-04-17 01:59:00] 925*2^1451863-1 is not prime. Res64: 9799D809EF418E43 Time : 0.0 sec. user=mdettweiler [2017-04-17 02:02:05] 651*2^1451862-1 is not prime. Res64: B574C2CB9A8EFD34 Time : 0.0 sec. user=mdettweiler [2017-04-17 02:02:06] 717*2^1451862-1 is not prime. Res64: 7DE3A8A01B12F7F6 Time : 0.0 sec. user=mdettweiler [2017-04-17 02:02:07] 821*2^1451862-1 is not prime. Res64: 36DD696A3A43ABC0 Time : 0.0 sec. user=mdettweiler [2017-04-17 02:02:08] 873*2^1451862-1 is not prime. Res64: B78C308B217A78BB Time : 0.0 sec. user=mdettweiler [2017-04-17 02:02:09] 811*2^1451863-1 is not prime. Res64: B1C0423CC89330B6 Time : 0.0 sec. user=mdettweiler [2017-04-17 02:08:48] 605*2^1451864-1 is not prime. Res64: DAC0F503394188C7 Time : 0.0 sec. user=mdettweiler [2017-04-17 02:08:49] 657*2^1451864-1 is not prime. Res64: 4FF199694E4B9169 Time : 0.0 sec. user=mdettweiler [2017-04-17 02:08:49] 789*2^1451864-1 is not prime. Res64: 36C1E2924800377D Time : 0.0 sec. user=mdettweiler [2017-04-17 02:08:50] 813*2^1451864-1 is not prime. Res64: 393063BDECF0838B Time : 0.0 sec. user=mdettweiler [2017-04-17 02:08:50] 833*2^1451864-1 is not prime. Res64: 5D52B29F7E81D6BC Time : 0.0 sec. user=mdettweiler [2017-04-17 02:09:27] 727*2^1451865-1 is not prime. Res64: 771A2E6DB2DEB181 Time : 0.0 sec. user=mdettweiler [2017-04-17 02:09:27] 741*2^1451865-1 is not prime. Res64: 3EB29D3A4579440B Time : 0.0 sec. user=mdettweiler [2017-04-17 02:09:28] 811*2^1451865-1 is not prime. Res64: 92EAE5A9C99348AF Time : 0.0 sec. user=mdettweiler [2017-04-17 02:09:28] 885*2^1451865-1 is not prime. Res64: 233B6C5D756E7D10 Time : 0.0 sec. user=mdettweiler [2017-04-17 02:09:29] 949*2^1451865-1 is not prime. Res64: 0B89ECF0ABD11EE1 Time : 0.0 sec. user=mdettweiler [2017-04-17 02:35:33] 991*2^1451865-1 is not prime. Res64: 2117FFE148A6A95F Time : 0.0 sec. user=mdettweiler [2017-04-17 02:35:34] 999*2^1451865-1 is not prime. Res64: 9A869E0C44086312 Time : 0.0 sec. user=mdettweiler [2017-04-17 02:35:35] 755*2^1451866-1 is not prime. Res64: 9C8D8F97E3DE8F08 Time : 0.0 sec. user=mdettweiler [2017-04-17 02:35:35] 773*2^1451866-1 is not prime. Res64: FC072B452AA6FD13 Time : 0.0 sec. user=mdettweiler [2017-04-17 02:35:36] 843*2^1451866-1 is not prime. Res64: 7460F1E4AD71864F Time : 0.0 sec. user=mdettweiler [2017-04-17 02:48:29] 857*2^1451866-1 is not prime. Res64: B5F756AA3C12389C Time : 0.0 sec. user=mdettweiler [2017-04-17 02:48:29] 873*2^1451866-1 is not prime. Res64: C0FF066BB3B5FD26 Time : 0.0 sec. user=mdettweiler [2017-04-17 02:48:30] 933*2^1451866-1 is not prime. Res64: 02897244F66600AB Time : 0.0 sec. user=mdettweiler [2017-04-17 02:48:30] 621*2^1451867-1 is not prime. Res64: 6CAA4FAB81D741F9 Time : 0.0 sec. user=mdettweiler [2017-04-17 02:48:31] 909*2^1451867-1 is not prime. Res64: D6EC7B52C92508F2 Time : 0.0 sec. user=mdettweiler [2017-04-17 02:54:51] 973*2^1451867-1 is not prime. Res64: 90CFC47E63B6025D Time : 0.0 sec. user=mdettweiler [2017-04-17 02:54:51] 689*2^1451868-1 is not prime. Res64: 1E48F11504B79FA5 Time : 0.0 sec. user=mdettweiler [2017-04-17 02:54:52] 723*2^1451868-1 is not prime. Res64: CB3F5312F4A4F3B4 Time : 0.0 sec. user=mdettweiler [2017-04-17 02:54:52] 789*2^1451868-1 is not prime. Res64: 8B03C629CD18F272 Time : 0.0 sec. user=mdettweiler [2017-04-17 02:54:52] 843*2^1451868-1 is not prime. Res64: 8A19E167A187D357 Time : 0.0 sec. user=mdettweiler [2017-04-17 02:55:48] 905*2^1451868-1 is not prime. Res64: 2C97277AAE789541 Time : 0.0 sec. user=mdettweiler [2017-04-17 02:55:48] 639*2^1451869-1 is not prime. Res64: AEBA472B83E0D705 Time : 0.0 sec. user=mdettweiler [2017-04-17 02:55:49] 759*2^1451869-1 is not prime. Res64: 9ED10A187D397589 Time : 0.0 sec. user=mdettweiler [2017-04-17 02:55:49] 799*2^1451869-1 is not prime. Res64: F4FD0C734F41C6AE Time : 0.0 sec. user=mdettweiler [2017-04-17 02:55:49] 985*2^1451869-1 is not prime. Res64: BBFE69A94F02855B Time : 0.0 sec. user=juhehe [2017-04-17 03:02:54] 641*2^1451870-1 is not prime. Res64: A0EDC37937E39FF8 Time : 0.0 sec. user=mdettweiler [2017-04-17 03:21:31] 645*2^1451870-1 is not prime. Res64: 2EDA463C30B84AFE Time : 0.0 sec. user=mdettweiler [2017-04-17 03:21:31] 657*2^1451870-1 is not prime. Res64: 7BCA01F04883E799 Time : 0.0 sec. user=mdettweiler [2017-04-17 03:21:32] 731*2^1451870-1 is not prime. Res64: EF592F1104A94F1E Time : 0.0 sec. user=mdettweiler [2017-04-17 03:21:32] 893*2^1451870-1 is not prime. Res64: EE8DA6399EF9C385 Time : 0.0 sec. user=mdettweiler [2017-04-17 03:21:32] 945*2^1451870-1 is not prime. Res64: CE227F0569D355DB Time : 0.0 sec. user=mdettweiler [2017-04-17 03:33:36] 965*2^1451870-1 is not prime. Res64: 2BC55799A82FA35B Time : 0.0 sec. user=mdettweiler [2017-04-17 03:33:37] 901*2^1451871-1 is not prime. Res64: E5E2249AA95952C8 Time : 0.0 sec. user=mdettweiler [2017-04-17 03:33:38] 961*2^1451871-1 is not prime. Res64: 33A826830600753C Time : 0.0 sec. user=mdettweiler [2017-04-17 03:33:39] 979*2^1451871-1 is not prime. Res64: 7911D9BE9F7E7918 Time : 0.0 sec. user=mdettweiler [2017-04-17 03:33:40] 605*2^1451872-1 is not prime. Res64: 540F3F063B0E051E Time : 0.0 sec. user=mdettweiler [2017-04-17 03:39:58] 797*2^1451872-1 is not prime. Res64: 224B0C84A4037670 Time : 0.0 sec. user=mdettweiler [2017-04-17 03:40:00] 869*2^1451872-1 is not prime. Res64: 096F6478EC97AEE8 Time : 0.0 sec. user=mdettweiler [2017-04-17 03:40:00] 899*2^1451872-1 is not prime. Res64: B2543361728FE9E7 Time : 0.0 sec. user=mdettweiler [2017-04-17 03:40:01] 909*2^1451872-1 is not prime. Res64: 7CD4DA04DF3BDB4F Time : 0.0 sec. user=mdettweiler [2017-04-17 03:40:03] 947*2^1451872-1 is not prime. Res64: F076ECFF6B0DC128 Time : 0.0 sec. user=mdettweiler [2017-04-17 03:40:51] 975*2^1451872-1 is not prime. Res64: C87D241B7D0D1011 Time : 0.0 sec. user=mdettweiler [2017-04-17 03:40:53] 729*2^1451873-1 is not prime. Res64: 4DE2C864A59F2852 Time : 0.0 sec. user=mdettweiler [2017-04-17 03:40:54] 837*2^1451873-1 is not prime. Res64: 1FE40FE4CA968251 Time : 0.0 sec. user=mdettweiler [2017-04-17 03:40:55] 879*2^1451873-1 is not prime. Res64: 8A0B16039951C1B1 Time : 0.0 sec. user=mdettweiler [2017-04-17 03:40:56] 937*2^1451873-1 is not prime. Res64: 54B6AA429B20BD14 Time : 0.0 sec. user=mdettweiler [2017-04-17 04:06:46] 951*2^1451873-1 is not prime. Res64: 080C4C08ED0CBEB6 Time : 0.0 sec. user=mdettweiler [2017-04-17 04:06:46] 633*2^1451874-1 is not prime. Res64: 63093909C2959CA8 Time : 0.0 sec. user=mdettweiler [2017-04-17 04:06:47] 671*2^1451874-1 is not prime. Res64: 45665C931CBBC0F9 Time : 0.0 sec. user=mdettweiler [2017-04-17 04:06:47] 773*2^1451874-1 is not prime. Res64: 02E4A31492785A88 Time : 0.0 sec. user=mdettweiler [2017-04-17 04:06:48] 851*2^1451874-1 is not prime. Res64: 1A11DFFE83358FB3 Time : 0.0 sec. user=mdettweiler [2017-04-17 04:19:06] 885*2^1451874-1 is not prime. Res64: 2398AD1141403384 Time : 0.0 sec. user=mdettweiler [2017-04-17 04:19:07] 941*2^1451874-1 is not prime. Res64: 7D1728C0EF283CC3 Time : 0.0 sec. user=mdettweiler [2017-04-17 04:19:07] 619*2^1451875-1 is not prime. Res64: E238FF0D5AC31EF4 Time : 0.0 sec. user=mdettweiler [2017-04-17 04:19:08] 631*2^1451875-1 is not prime. Res64: 34628D3FAECACBEE Time : 0.0 sec. user=mdettweiler [2017-04-17 04:19:08] 633*2^1451875-1 is not prime. Res64: D289B1D6C673A2FD Time : 0.0 sec. user=mdettweiler [2017-04-17 04:25:09] 705*2^1451875-1 is not prime. Res64: B716796D5611CB3C Time : 0.0 sec. user=mdettweiler [2017-04-17 04:25:09] 733*2^1451875-1 is not prime. Res64: E50062150121A7BD Time : 0.0 sec. user=mdettweiler [2017-04-17 04:25:09] 741*2^1451875-1 is not prime. Res64: 220BFCB70CAFC935 Time : 0.0 sec. user=mdettweiler [2017-04-17 04:25:10] 853*2^1451875-1 is not prime. Res64: 87B237A5A6DFA5FB Time : 0.0 sec. user=mdettweiler [2017-04-17 04:25:10] 895*2^1451875-1 is not prime. Res64: DE0A1EAD721B1C74 Time : 0.0 sec. user=mdettweiler [2017-04-17 04:26:10] 979*2^1451875-1 is not prime. Res64: DE6F72F3D49F7D81 Time : 0.0 sec. user=mdettweiler [2017-04-17 04:26:10] 773*2^1451876-1 is not prime. Res64: 7AAC4E316520E91E Time : 0.0 sec. user=mdettweiler [2017-04-17 04:26:11] 777*2^1451876-1 is not prime. Res64: 1A403723A7C1E881 Time : 0.0 sec. user=mdettweiler [2017-04-17 04:26:11] 869*2^1451876-1 is not prime. Res64: DEBDA108C8028B24 Time : 0.0 sec. user=mdettweiler [2017-04-17 04:26:11] 735*2^1451877-1 is not prime. Res64: B384C5E8150505B8 Time : 0.0 sec. user=mdettweiler [2017-04-17 04:51:53] 741*2^1451877-1 is not prime. Res64: 541D30EADC7263DF Time : 0.0 sec. user=mdettweiler [2017-04-17 04:51:54] 975*2^1451877-1 is not prime. Res64: F6A0ECFAA1D92E31 Time : 0.0 sec. user=mdettweiler [2017-04-17 04:51:54] 647*2^1451878-1 is not prime. Res64: 4F630B74BF078685 Time : 0.0 sec. user=mdettweiler [2017-04-17 04:51:55] 665*2^1451878-1 is not prime. Res64: 292A45FBBAFDE0C2 Time : 0.0 sec. user=mdettweiler [2017-04-17 04:51:55] 695*2^1451878-1 is not prime. Res64: AACEC367FFAD3445 Time : 0.0 sec. user=juhehe [2017-04-17 05:00:04] 941*2^1451878-1 is not prime. Res64: 96B12CFDEFEAE9A9 Time : 0.0 sec. user=mdettweiler [2017-04-17 05:04:27] 755*2^1451878-1 is not prime. Res64: 4364A7A1CDB89C38 Time : 0.0 sec. user=mdettweiler [2017-04-17 05:04:29] 833*2^1451878-1 is not prime. Res64: 796DF4207602DD06 Time : 0.0 sec. user=mdettweiler [2017-04-17 05:04:30] 861*2^1451878-1 is not prime. Res64: ECC8513E60DC57F2 Time : 0.0 sec. user=mdettweiler [2017-04-17 05:04:31] 867*2^1451878-1 is not prime. Res64: 1C099DB689C930A0 Time : 0.0 sec. user=mdettweiler [2017-04-17 05:04:32] 891*2^1451878-1 is not prime. Res64: 77876259ED7664E6 Time : 0.0 sec. user=mdettweiler [2017-04-17 05:10:13] 975*2^1451878-1 is not prime. Res64: 1ECEEE498C1B7F6B Time : 0.0 sec. user=mdettweiler [2017-04-17 05:10:14] 609*2^1451879-1 is not prime. Res64: 731EA3053B297EA3 Time : 0.0 sec. user=mdettweiler [2017-04-17 05:10:14] 615*2^1451879-1 is not prime. Res64: 9F30F37C6A57B7FC Time : 0.0 sec. user=mdettweiler [2017-04-17 05:10:14] 615*2^1451880-1 is not prime. Res64: E69F16CEB7E64B71 Time : 0.0 sec. user=mdettweiler [2017-04-17 05:10:15] 707*2^1451880-1 is not prime. Res64: 5531552DC9BB2805 Time : 0.0 sec. user=mdettweiler [2017-04-17 05:11:24] 879*2^1451880-1 is not prime. Res64: D45C9EB586C73A46 Time : 0.0 sec. user=mdettweiler [2017-04-17 05:11:24] 645*2^1451881-1 is not prime. Res64: 9D2B0656CE4CB547 Time : 0.0 sec. user=mdettweiler [2017-04-17 05:11:24] 801*2^1451881-1 is not prime. Res64: C4EB7BF94438E1F1 Time : 0.0 sec. user=mdettweiler [2017-04-17 05:11:25] 855*2^1451881-1 is not prime. Res64: 6859E91AC6E4171C Time : 0.0 sec. user=mdettweiler [2017-04-17 05:11:25] 975*2^1451881-1 is not prime. Res64: A51F0B680A477AD8 Time : 0.0 sec. user=mdettweiler [2017-04-17 05:37:07] 705*2^1451882-1 is not prime. Res64: 2214ABAF422C690F Time : 0.0 sec. user=mdettweiler [2017-04-17 05:37:07] 741*2^1451882-1 is not prime. Res64: 66BF4BD722E5DDB1 Time : 0.0 sec. user=mdettweiler [2017-04-17 05:37:07] 771*2^1451882-1 is not prime. Res64: 824F4F2F4A25CCBC Time : 0.0 sec. user=mdettweiler [2017-04-17 05:37:08] 797*2^1451882-1 is not prime. Res64: DDF3120A29C881FF Time : 0.0 sec. user=mdettweiler [2017-04-17 05:37:08] 885*2^1451882-1 is not prime. Res64: A2F2942BCE50B791 Time : 0.0 sec. user=mdettweiler [2017-04-17 05:49:45] 915*2^1451882-1 is not prime. Res64: C2065E439D966D17 Time : 0.0 sec. user=mdettweiler [2017-04-17 05:49:45] 983*2^1451882-1 is not prime. Res64: DF82BBD595C6CBD7 Time : 0.0 sec. user=mdettweiler [2017-04-17 05:49:45] 621*2^1451883-1 is not prime. Res64: 9053B2E7FE2CBDC8 Time : 0.0 sec. user=mdettweiler [2017-04-17 05:49:46] 705*2^1451883-1 is not prime. Res64: 704C6FD336D85800 Time : 0.0 sec. user=mdettweiler [2017-04-17 05:49:46] 723*2^1451883-1 is not prime. Res64: 705E0CF3D77C7576 Time : 0.0 sec. user=mdettweiler [2017-04-17 05:55:13] 765*2^1451883-1 is not prime. Res64: 7CB2ACDCD41BA5CC Time : 0.0 sec. user=mdettweiler [2017-04-17 05:55:13] 805*2^1451883-1 is not prime. Res64: B0CB70476A2DD6FB Time : 0.0 sec. user=mdettweiler [2017-04-17 05:55:14] 835*2^1451883-1 is not prime. Res64: DC76CCADF6E1A5A6 Time : 0.0 sec. user=mdettweiler [2017-04-17 05:55:14] 861*2^1451883-1 is not prime. Res64: 7DC1EEA84089EF4B Time : 0.0 sec. user=mdettweiler [2017-04-17 05:55:14] 969*2^1451883-1 is not prime. Res64: C98DEAD098B3ED7A Time : 0.0 sec. user=mdettweiler [2017-04-17 05:56:21] 985*2^1451883-1 is not prime. Res64: 56EFF2C7A60BEDA9 Time : 0.0 sec. user=mdettweiler [2017-04-17 05:56:22] 623*2^1451884-1 is not prime. Res64: E732E9F1C91276BB Time : 0.0 sec. user=mdettweiler [2017-04-17 05:56:22] 657*2^1451884-1 is not prime. Res64: D510BA201AED2C62 Time : 0.0 sec. user=mdettweiler [2017-04-17 05:56:22] 719*2^1451884-1 is not prime. Res64: 968231821488A55C Time : 0.0 sec. user=mdettweiler [2017-04-17 05:56:23] 749*2^1451884-1 is not prime. Res64: B480E31CD4E88132 Time : 0.0 sec. user=mdettweiler [2017-04-17 06:22:06] 873*2^1451884-1 is not prime. Res64: 72183BBFD98A25BA Time : 0.0 sec. user=mdettweiler [2017-04-17 06:22:06] 885*2^1451884-1 is not prime. Res64: 88AABBB2DA729A0C Time : 0.0 sec. user=mdettweiler [2017-04-17 06:22:06] 887*2^1451884-1 is not prime. Res64: 669BA9968305C4E9 Time : 0.0 sec. user=mdettweiler [2017-04-17 06:22:07] 959*2^1451884-1 is not prime. Res64: FFC62FF8D50A3DCE Time : 0.0 sec. user=mdettweiler [2017-04-17 06:22:07] 983*2^1451884-1 is not prime. Res64: F2C2A2F0212A1DD8 Time : 0.0 sec. user=mdettweiler [2017-04-17 06:34:43] 993*2^1451884-1 is not prime. Res64: E2CF4CD675EF4511 Time : 0.0 sec. user=mdettweiler [2017-04-17 06:34:44] 675*2^1451885-1 is not prime. Res64: B8C6FB5C37656F65 Time : 0.0 sec. user=mdettweiler [2017-04-17 06:34:44] 697*2^1451885-1 is not prime. Res64: C6F5C2CAD06D1413 Time : 0.0 sec. user=mdettweiler [2017-04-17 06:34:44] 729*2^1451885-1 is not prime. Res64: 40D9ED2E29C724D8 Time : 0.0 sec. user=mdettweiler [2017-04-17 06:34:45] 777*2^1451885-1 is not prime. Res64: 163E41CE28995E0F Time : 0.0 sec. user=mdettweiler [2017-04-17 06:40:17] 831*2^1451885-1 is not prime. Res64: 065DE22D02406B96 Time : 0.0 sec. user=mdettweiler [2017-04-17 06:40:18] 717*2^1451886-1 is not prime. Res64: 091E70C3F503520F Time : 0.0 sec. user=mdettweiler [2017-04-17 06:40:18] 807*2^1451886-1 is not prime. Res64: 5691497B80739D43 Time : 0.0 sec. user=mdettweiler [2017-04-17 06:40:18] 945*2^1451886-1 is not prime. Res64: 10C8FD00200C0D41 Time : 0.0 sec. user=mdettweiler [2017-04-17 06:40:19] 983*2^1451886-1 is not prime. Res64: A9261DEA9319FAA6 Time : 0.0 sec. user=mdettweiler [2017-04-17 06:41:24] 603*2^1451887-1 is not prime. Res64: 869E1B4B46EBACC9 Time : 0.0 sec. user=mdettweiler [2017-04-17 06:41:24] 625*2^1451887-1 is not prime. Res64: DEE7A411A555B5E1 Time : 0.0 sec. user=mdettweiler [2017-04-17 06:41:24] 769*2^1451887-1 is not prime. Res64: 8B8C7F192743FB70 Time : 0.0 sec. user=mdettweiler [2017-04-17 06:41:25] 843*2^1451887-1 is not prime. Res64: 69C4C26AAE3ED496 Time : 0.0 sec. user=mdettweiler [2017-04-17 06:41:25] 861*2^1451887-1 is not prime. Res64: 1661888AECC283EF Time : 0.0 sec. user=juhehe [2017-04-17 06:57:59] 979*2^1451887-1 is not prime. Res64: CE8363A536947B08 Time : 0.0 sec. user=mdettweiler [2017-04-17 07:07:08] 665*2^1451888-1 is not prime. Res64: 65BFD097ACA24430 Time : 0.0 sec. user=mdettweiler [2017-04-17 07:07:08] 683*2^1451888-1 is not prime. Res64: F26D3ED875F4BA67 Time : 0.0 sec. user=mdettweiler [2017-04-17 07:07:09] 699*2^1451888-1 is not prime. Res64: 59222D1ADC5A3F46 Time : 0.0 sec. user=mdettweiler [2017-04-17 07:07:09] 735*2^1451888-1 is not prime. Res64: 90259AC5EB98BC21 Time : 0.0 sec. user=mdettweiler [2017-04-17 07:07:10] 747*2^1451888-1 is not prime. Res64: 0B99D1276C265440 Time : 0.0 sec. user=mdettweiler [2017-04-17 07:19:49] 767*2^1451888-1 is not prime. Res64: 2CD9EB1051206E51 Time : 0.0 sec. user=mdettweiler [2017-04-17 07:19:49] 797*2^1451888-1 is not prime. Res64: 6D2F626CC3DACBBB Time : 0.0 sec. user=mdettweiler [2017-04-17 07:19:49] 923*2^1451888-1 is not prime. Res64: 98692BC9C67242AB Time : 0.0 sec. user=mdettweiler [2017-04-17 07:19:50] 935*2^1451888-1 is not prime. Res64: 840A7FCA8CA4E5D1 Time : 0.0 sec. user=mdettweiler [2017-04-17 07:19:50] 615*2^1451889-1 is not prime. Res64: DE650D47C6D51AD3 Time : 0.0 sec. user=mdettweiler [2017-04-17 07:25:20] 637*2^1451889-1 is not prime. Res64: 861CB2036839787B Time : 0.0 sec. user=mdettweiler [2017-04-17 07:25:20] 649*2^1451889-1 is not prime. Res64: C0BB1CFED9F7AB2E Time : 0.0 sec. user=mdettweiler [2017-04-17 07:25:21] 691*2^1451889-1 is not prime. Res64: 93B7640E4973C95E Time : 0.0 sec. user=mdettweiler [2017-04-17 07:25:21] 789*2^1451889-1 is not prime. Res64: DD188FC27288C50F Time : 0.0 sec. user=mdettweiler [2017-04-17 07:25:22] 811*2^1451889-1 is not prime. Res64: 26014596F0E91DCD Time : 0.0 sec. user=mdettweiler [2017-04-17 07:26:35] 885*2^1451889-1 is not prime. Res64: E40AF9DF4AD99EC0 Time : 0.0 sec. user=mdettweiler [2017-04-17 07:26:35] 889*2^1451889-1 is not prime. Res64: 2E9F5B43A181B594 Time : 0.0 sec. user=mdettweiler [2017-04-17 07:26:35] 951*2^1451889-1 is not prime. Res64: FD1E7F186905233D Time : 0.0 sec. user=mdettweiler [2017-04-17 07:26:36] 611*2^1451890-1 is not prime. Res64: A0CD32C48DE15E07 Time : 0.0 sec. user=mdettweiler [2017-04-17 07:26:36] 687*2^1451890-1 is not prime. Res64: 9076B8ABE45C9DA0 Time : 0.0 sec. user=mdettweiler [2017-04-17 07:52:29] 723*2^1451890-1 is not prime. Res64: 94CF8E9A30A2C97C Time : 0.0 sec. user=mdettweiler [2017-04-17 07:52:30] 755*2^1451890-1 is not prime. Res64: E48E905A2B125D30 Time : 0.0 sec. user=mdettweiler [2017-04-17 07:52:30] 803*2^1451890-1 is not prime. Res64: BFBEDA6DA07FC979 Time : 0.0 sec. user=mdettweiler [2017-04-17 07:52:30] 825*2^1451890-1 is not prime. Res64: 11A17BD90C79E4E5 Time : 0.0 sec. user=mdettweiler [2017-04-17 07:52:31] 945*2^1451890-1 is not prime. Res64: 65A863D56AA66C12 Time : 0.0 sec. user=mdettweiler [2017-04-17 08:04:58] 619*2^1451891-1 is not prime. Res64: 5CDA8D1DEE289088 Time : 0.0 sec. user=mdettweiler [2017-04-17 08:05:02] 801*2^1451891-1 is not prime. Res64: 9C48E7DC2AF01AA3 Time : 0.0 sec. user=mdettweiler [2017-04-17 08:05:03] 855*2^1451891-1 is not prime. Res64: 77C565BF37FB5C4F Time : 0.0 sec. user=mdettweiler [2017-04-17 08:05:06] 683*2^1451892-1 is not prime. Res64: 75A79AE6E8B66287 Time : 0.0 sec. user=mdettweiler [2017-04-17 08:05:08] 689*2^1451892-1 is not prime. Res64: 68BBA7FFAC344327 Time : 0.0 sec. user=mdettweiler [2017-04-17 08:10:20] 717*2^1451892-1 is not prime. Res64: 93755A1D3C7B4284 Time : 0.0 sec. user=mdettweiler [2017-04-17 08:10:20] 837*2^1451892-1 is not prime. Res64: 9D6C91B45DC921EF Time : 0.0 sec. user=mdettweiler [2017-04-17 08:10:21] 899*2^1451892-1 is not prime. Res64: 20C2563EBD4978E9 Time : 0.0 sec. user=mdettweiler [2017-04-17 08:10:21] 933*2^1451892-1 is not prime. Res64: F3AB33108AEFAA26 Time : 0.0 sec. user=mdettweiler [2017-04-17 08:10:22] 651*2^1451893-1 is not prime. Res64: AAB23F0E78CAF724 Time : 0.0 sec. user=mdettweiler [2017-04-17 08:11:42] 675*2^1451893-1 is not prime. Res64: E160AE824DDE1F30 Time : 0.0 sec. user=mdettweiler [2017-04-17 08:11:42] 757*2^1451893-1 is not prime. Res64: C5F86009533EEFD5 Time : 0.0 sec. user=mdettweiler [2017-04-17 08:11:42] 885*2^1451893-1 is not prime. Res64: B889BB0F3F7C64FA Time : 0.0 sec. user=mdettweiler [2017-04-17 08:11:43] 889*2^1451893-1 is not prime. Res64: FBF3D26F1269F943 Time : 0.0 sec. user=mdettweiler [2017-04-17 08:11:43] 945*2^1451893-1 is not prime. Res64: FFADC1A6E69E43C7 Time : 0.0 sec. user=mdettweiler [2017-04-17 08:37:33] 791*2^1451894-1 is not prime. Res64: 746CCE759BB0BC70 Time : 0.0 sec. user=mdettweiler [2017-04-17 08:37:33] 797*2^1451894-1 is not prime. Res64: 7497DAD33B965140 Time : 0.0 sec. user=mdettweiler [2017-04-17 08:37:33] 857*2^1451894-1 is not prime. Res64: B3FE814455F66A50 Time : 0.0 sec. user=mdettweiler [2017-04-17 08:37:34] 935*2^1451894-1 is not prime. Res64: 16D9A46414648BF5 Time : 0.0 sec. user=mdettweiler [2017-04-17 08:37:34] 971*2^1451894-1 is not prime. Res64: 45E26A204199DE26 Time : 0.0 sec. user=mdettweiler [2017-04-17 08:50:34] 987*2^1451894-1 is not prime. Res64: 38227A45EADEEB85 Time : 0.0 sec. user=mdettweiler [2017-04-17 08:50:35] 995*2^1451894-1 is not prime. Res64: 619792AC454486C8 Time : 0.0 sec. user=mdettweiler [2017-04-17 08:50:35] 651*2^1451895-1 is not prime. Res64: E7FB104059EED177 Time : 0.0 sec. user=mdettweiler [2017-04-17 08:50:35] 675*2^1451895-1 is not prime. Res64: D1ADC1471EF5F25D Time : 0.0 sec. user=mdettweiler [2017-04-17 08:50:36] 793*2^1451895-1 is not prime. Res64: 0067273EA4A7EDAB Time : 0.0 sec. user=mdettweiler [2017-04-17 08:55:21] 805*2^1451895-1 is not prime. Res64: A1285B7526B5941C Time : 0.0 sec. user=mdettweiler [2017-04-17 08:55:22] 819*2^1451895-1 is not prime. Res64: 47445BD6678CBC7A Time : 0.0 sec. user=mdettweiler [2017-04-17 08:55:22] 895*2^1451895-1 is not prime. Res64: E7C72F2F5BDC9D29 Time : 0.0 sec. user=mdettweiler [2017-04-17 08:55:22] 857*2^1451896-1 is not prime. Res64: 54DEB745D76FFE80 Time : 0.0 sec. user=mdettweiler [2017-04-17 08:55:23] 873*2^1451896-1 is not prime. Res64: 619DB0794884DE02 Time : 0.0 sec. user=mdettweiler [2017-04-17 08:56:42] 899*2^1451896-1 is not prime. Res64: BCC109E074A46A9E Time : 0.0 sec. user=mdettweiler [2017-04-17 08:56:43] 927*2^1451896-1 is not prime. Res64: 59C48C98A5B07E96 Time : 0.0 sec. user=mdettweiler [2017-04-17 08:56:43] 983*2^1451896-1 is not prime. Res64: BF3B5C1696B66DF4 Time : 0.0 sec. user=mdettweiler [2017-04-17 08:56:44] 871*2^1451897-1 is not prime. Res64: E8E80F01C4FCDDF4 Time : 0.0 sec. user=mdettweiler [2017-04-17 08:56:44] 901*2^1451897-1 is not prime. Res64: 860067D939932A3E Time : 0.0 sec. user=juhehe [2017-04-17 08:59:38] 909*2^1451897-1 is not prime. Res64: 2AF0CD2DD9C61F46 Time : 0.0 sec. user=mdettweiler [2017-04-17 09:22:45] 939*2^1451897-1 is not prime. Res64: 162BFEFCA8E5527F Time : 0.0 sec. user=mdettweiler [2017-04-17 09:22:45] 985*2^1451897-1 is not prime. Res64: A134C1D25E95AF50 Time : 0.0 sec. user=mdettweiler [2017-04-17 09:22:46] 663*2^1451898-1 is not prime. Res64: 89EF453D3991E85D Time : 0.0 sec. user=mdettweiler [2017-04-17 09:22:46] 725*2^1451898-1 is not prime. Res64: B0F9A8D40EAE21C6 Time : 0.0 sec. user=mdettweiler [2017-04-17 09:22:47] 815*2^1451898-1 is not prime. Res64: C31A9BF403668D67 Time : 0.0 sec. user=mdettweiler [2017-04-17 09:35:30] 843*2^1451898-1 is not prime. Res64: 3361F56EEC905089 Time : 0.0 sec. user=mdettweiler [2017-04-17 09:35:30] 867*2^1451898-1 is not prime. Res64: DFE5E36F16E35AC8 Time : 0.0 sec. user=mdettweiler [2017-04-17 09:35:31] 619*2^1451899-1 is not prime. Res64: E101078A8FF5D273 Time : 0.0 sec. user=mdettweiler [2017-04-17 09:35:31] 631*2^1451899-1 is not prime. Res64: 41C29B872B53582C Time : 0.0 sec. user=mdettweiler [2017-04-17 09:35:32] 663*2^1451899-1 is not prime. Res64: E281FB0661BEA6BE Time : 0.0 sec. user=mdettweiler [2017-04-17 09:40:15] 723*2^1451899-1 is not prime. Res64: 1C39CBD7F1815C95 Time : 0.0 sec. user=mdettweiler [2017-04-17 09:40:16] 741*2^1451899-1 is not prime. Res64: 341BB0946658BD0F Time : 0.0 sec. user=mdettweiler [2017-04-17 09:40:16] 775*2^1451899-1 is not prime. Res64: 207A1E5DD635F662 Time : 0.0 sec. user=mdettweiler [2017-04-17 09:40:17] 861*2^1451899-1 is not prime. Res64: 944719C1F646FB07 Time : 0.0 sec. user=mdettweiler [2017-04-17 09:40:17] 883*2^1451899-1 is not prime. Res64: 3A9664BD9879638E Time : 0.0 sec. user=mdettweiler [2017-04-17 09:41:47] 885*2^1451899-1 is not prime. Res64: 1BC8F2628ACE272B Time : 0.0 sec. user=mdettweiler [2017-04-17 09:41:47] 891*2^1451899-1 is not prime. Res64: 095E07686A572E62 Time : 0.0 sec. user=mdettweiler [2017-04-17 09:41:48] 659*2^1451900-1 is not prime. Res64: DA27D6337F120C9F Time : 0.0 sec. user=mdettweiler [2017-04-17 09:41:48] 663*2^1451900-1 is not prime. Res64: B4C8674988A4267A Time : 0.0 sec. user=mdettweiler [2017-04-17 09:41:49] 843*2^1451900-1 is not prime. Res64: 497D4DFCE73F754B Time : 0.0 sec. user=mdettweiler [2017-04-17 10:08:08] 651*2^1451902-1 is not prime. Res64: 0263D3A5A7E03E26 Time : 0.0 sec. user=mdettweiler [2017-04-17 10:08:08] 675*2^1451902-1 is not prime. Res64: FF76956AB4E67E55 Time : 0.0 sec. user=mdettweiler [2017-04-17 10:08:08] 917*2^1451902-1 is not prime. Res64: A18AB8EE8278D170 Time : 0.0 sec. user=mdettweiler [2017-04-17 10:08:09] 923*2^1451902-1 is not prime. Res64: F4ACDF3876D54CC8 Time : 0.0 sec. user=mdettweiler [2017-04-17 10:08:09] 951*2^1451902-1 is not prime. Res64: 4FD1201E37623DF5 Time : 0.0 sec. user=mdettweiler [2017-04-17 10:20:38] 965*2^1451902-1 is not prime. Res64: 2192F4010AFB1EAE Time : 0.0 sec. user=mdettweiler [2017-04-17 10:20:38] 661*2^1451903-1 is not prime. Res64: E6939A34E0BE2130 Time : 0.0 sec. user=mdettweiler [2017-04-17 10:20:39] 741*2^1451903-1 is not prime. Res64: 9F6D682152B67DD5 Time : 0.0 sec. user=mdettweiler [2017-04-17 10:20:39] 759*2^1451903-1 is not prime. Res64: A0ABA7B570B9BA34 Time : 0.0 sec. user=mdettweiler [2017-04-17 10:20:40] 853*2^1451903-1 is not prime. Res64: 24ABBDCA99FEA1B0 Time : 0.0 sec. user=mdettweiler [2017-04-17 10:25:26] 855*2^1451903-1 is not prime. Res64: 2ED2164F111722AC Time : 0.0 sec. user=mdettweiler [2017-04-17 10:25:26] 895*2^1451903-1 is not prime. Res64: CAC6634E730565BF Time : 0.0 sec. user=mdettweiler [2017-04-17 10:25:26] 963*2^1451903-1 is not prime. Res64: B05CFEAEA799007B Time : 0.0 sec. user=mdettweiler [2017-04-17 10:25:27] 981*2^1451903-1 is not prime. Res64: AC87BA3CECBF4A64 Time : 0.0 sec. user=mdettweiler [2017-04-17 10:25:27] 615*2^1451904-1 is not prime. Res64: 08B3A9B2DD2714FE Time : 0.0 sec. user=mdettweiler [2017-04-17 10:27:21] 699*2^1451904-1 is not prime. Res64: 05C722DB26C282FF Time : 0.0 sec. user=mdettweiler [2017-04-17 10:27:21] 707*2^1451904-1 is not prime. Res64: 76F7DFD9615E5F03 Time : 0.0 sec. user=mdettweiler [2017-04-17 10:27:22] 767*2^1451904-1 is not prime. Res64: EABC8FFE718F1BD9 Time : 0.0 sec. user=mdettweiler [2017-04-17 10:27:22] 837*2^1451904-1 is not prime. Res64: 1AD56D740CBAAAA6 Time : 0.0 sec. user=mdettweiler [2017-04-17 10:27:23] 903*2^1451904-1 is not prime. Res64: FAAF7DA2A8F9E7D6 Time : 0.0 sec. user=mdettweiler [2017-04-17 10:53:53] 645*2^1451905-1 is not prime. Res64: 4F69BDC20A5AA493 Time : 0.0 sec. user=mdettweiler [2017-04-17 10:53:53] 685*2^1451905-1 is not prime. Res64: 0DC524292152E681 Time : 0.0 sec. user=mdettweiler [2017-04-17 10:53:53] 691*2^1451905-1 is not prime. Res64: 296B03ED92DF0AC2 Time : 0.0 sec. user=mdettweiler [2017-04-17 10:53:54] 741*2^1451905-1 is not prime. Res64: C8E64E7E0AE66307 Time : 0.0 sec. user=mdettweiler [2017-04-17 10:53:54] 771*2^1451905-1 is not prime. Res64: 19A96C65EB65B62F Time : 0.0 sec. user=juhehe [2017-04-17 10:58:10] 801*2^1451905-1 is not prime. Res64: EFF7AD4A60E199E7 Time : 0.0 sec. user=mdettweiler [2017-04-17 11:06:25] 819*2^1451905-1 is not prime. Res64: 0BD496166C00D303 Time : 0.0 sec. user=mdettweiler [2017-04-17 11:06:26] 909*2^1451905-1 is not prime. Res64: 01F55BC5F9FEF771 Time : 0.0 sec. user=mdettweiler [2017-04-17 11:06:27] 997*2^1451905-1 is not prime. Res64: 16217F56389FF2E4 Time : 0.0 sec. user=mdettweiler [2017-04-17 11:06:28] 641*2^1451906-1 is not prime. Res64: 5947EA518854A37A Time : 0.0 sec. user=mdettweiler [2017-04-17 11:06:29] 657*2^1451906-1 is not prime. Res64: E70C40B9049B5042 Time : 0.0 sec. user=mdettweiler [2017-04-17 11:11:16] 813*2^1451906-1 is not prime. Res64: B03D8FD14A340699 Time : 0.0 sec. user=mdettweiler [2017-04-17 11:11:17] 843*2^1451906-1 is not prime. Res64: F5D13B7B6DD91B6F Time : 0.0 sec. user=mdettweiler [2017-04-17 11:11:17] 867*2^1451906-1 is not prime. Res64: CDF21578D6A87A47 Time : 0.0 sec. user=mdettweiler [2017-04-17 11:11:17] 601*2^1451907-1 is not prime. Res64: 49828063FB17435F Time : 0.0 sec. user=mdettweiler [2017-04-17 11:11:18] 643*2^1451907-1 is not prime. Res64: ECC52062D4EB499B Time : 0.0 sec. user=mdettweiler [2017-04-17 11:13:03] 793*2^1451907-1 is not prime. Res64: 273708BCA0B1AEA5 Time : 0.0 sec. user=mdettweiler [2017-04-17 11:13:04] 829*2^1451907-1 is not prime. Res64: EC8A671EFDC87010 Time : 0.0 sec. user=mdettweiler [2017-04-17 11:13:04] 859*2^1451907-1 is not prime. Res64: EB4C7116DBC1A17D Time : 0.0 sec. user=mdettweiler [2017-04-17 11:13:05] 891*2^1451907-1 is not prime. Res64: E2DD0DB438346D0B Time : 0.0 sec. user=mdettweiler [2017-04-17 11:13:05] 963*2^1451907-1 is not prime. Res64: 40AD8CD258A3D0C4 Time : 0.0 sec. user=mdettweiler [2017-04-17 11:38:53] 723*2^1451908-1 is not prime. Res64: DF8EDA9214620A6F Time : 0.0 sec. user=mdettweiler [2017-04-17 11:38:54] 909*2^1451908-1 is not prime. Res64: D83E346BC71C6A43 Time : 0.0 sec. user=mdettweiler [2017-04-17 11:38:54] 957*2^1451908-1 is not prime. Res64: 0503E27885C7B9AF Time : 0.0 sec. user=mdettweiler [2017-04-17 11:38:55] 969*2^1451908-1 is not prime. Res64: 124E9A34DC634BA0 Time : 0.0 sec. user=mdettweiler [2017-04-17 11:38:55] 657*2^1451909-1 is not prime. Res64: 0A306A62BB3E8810 Time : 0.0 sec. user=mdettweiler [2017-04-17 11:51:35] 729*2^1451909-1 is not prime. Res64: 62C1B7E7C671DDDC Time : 0.0 sec. user=mdettweiler [2017-04-17 11:51:35] 771*2^1451909-1 is not prime. Res64: A9CB8BAEF81C3CAD Time : 0.0 sec. user=mdettweiler [2017-04-17 11:51:36] 855*2^1451909-1 is not prime. Res64: 151B9413FD8CB45E Time : 0.0 sec. user=mdettweiler [2017-04-17 11:51:36] 885*2^1451909-1 is not prime. Res64: 945D20FC703D884E Time : 0.0 sec. user=mdettweiler [2017-04-17 11:51:36] 889*2^1451909-1 is not prime. Res64: 074F938BA85533D4 Time : 0.0 sec. user=mdettweiler [2017-04-17 11:56:20] 957*2^1451909-1 is not prime. Res64: C75E60EF01261CFB Time : 0.0 sec. user=mdettweiler [2017-04-17 11:56:20] 611*2^1451910-1 is not prime. Res64: 46BE445CB2FD8444 Time : 0.0 sec. user=mdettweiler [2017-04-17 11:56:21] 681*2^1451910-1 is not prime. Res64: F8FA08FD98F702B2 Time : 0.0 sec. user=mdettweiler [2017-04-17 11:56:21] 707*2^1451910-1 is not prime. Res64: A43C87CE3AF5BC42 Time : 0.0 sec. user=mdettweiler [2017-04-17 11:56:22] 833*2^1451910-1 is not prime. Res64: F29212F56FEE1FC1 Time : 0.0 sec. user=mdettweiler [2017-04-17 11:58:12] 941*2^1451910-1 is not prime. Res64: B759880AA112832A Time : 0.0 sec. user=mdettweiler [2017-04-17 11:58:12] 945*2^1451910-1 is not prime. Res64: E178788A6D94E89F Time : 0.0 sec. user=mdettweiler [2017-04-17 11:58:12] 603*2^1451911-1 is not prime. Res64: CDE04AFD27A59329 Time : 0.0 sec. user=mdettweiler [2017-04-17 11:58:13] 651*2^1451911-1 is not prime. Res64: 9DE6BA12CB0B5A71 Time : 0.0 sec. user=mdettweiler [2017-04-17 11:58:13] 703*2^1451911-1 is not prime. Res64: 63B0CB029ECC326A Time : 0.0 sec. user=juhehe [2017-04-17 12:16:56] 741*2^1451911-1 is not prime. Res64: A09D0A57E225C101 Time : 0.0 sec. user=mdettweiler [2017-04-17 12:23:53] 745*2^1451911-1 is not prime. Res64: 85BFB29951D853D7 Time : 0.0 sec. user=mdettweiler [2017-04-17 12:23:53] 783*2^1451911-1 is not prime. Res64: FC79905C0B7DAEF9 Time : 0.0 sec. user=mdettweiler [2017-04-17 12:23:54] 813*2^1451911-1 is not prime. Res64: AA993700D5A4855F Time : 0.0 sec. user=mdettweiler [2017-04-17 12:23:54] 859*2^1451911-1 is not prime. Res64: BD16D040D098E332 Time : 0.0 sec. user=mdettweiler [2017-04-17 12:23:55] 861*2^1451911-1 is not prime. Res64: 6786CC94F7821905 Time : 0.0 sec. user=mdettweiler [2017-04-17 12:36:32] 873*2^1451911-1 is not prime. Res64: EC450C05FADA5C68 Time : 0.0 sec. user=mdettweiler [2017-04-17 12:36:32] 993*2^1451911-1 is not prime. Res64: 57E8722E148A2A22 Time : 0.0 sec. user=mdettweiler [2017-04-17 12:36:33] 693*2^1451912-1 is not prime. Res64: 3B747AEDDA937744 Time : 0.0 sec. user=mdettweiler [2017-04-17 12:36:33] 855*2^1451912-1 is not prime. Res64: 630B246547A88B00 Time : 0.0 sec. user=mdettweiler [2017-04-17 12:36:34] 649*2^1451913-1 is not prime. Res64: 02116EB954360FF1 Time : 0.0 sec. user=mdettweiler [2017-04-17 12:41:29] 721*2^1451913-1 is not prime. Res64: 04ECFCB4829916A7 Time : 0.0 sec. user=mdettweiler [2017-04-17 12:41:29] 747*2^1451913-1 is not prime. Res64: 165B5A55D1D345F5 Time : 0.0 sec. user=mdettweiler [2017-04-17 12:41:30] 759*2^1451913-1 is not prime. Res64: E8B99CD52E358415 Time : 0.0 sec. user=mdettweiler [2017-04-17 12:41:30] 765*2^1451913-1 is not prime. Res64: 3EB60DC0E5C082C1 Time : 0.0 sec. user=mdettweiler [2017-04-17 12:41:31] 837*2^1451913-1 is not prime. Res64: FC9E09BDBA6BA591 Time : 0.0 sec. user=mdettweiler [2017-04-17 12:43:09] 849*2^1451913-1 is not prime. Res64: F567EF565EC024EB Time : 0.0 sec. user=mdettweiler [2017-04-17 12:43:09] 665*2^1451914-1 is not prime. Res64: D24E033D0B2E0028 Time : 0.0 sec. user=mdettweiler [2017-04-17 12:43:10] 681*2^1451914-1 is not prime. Res64: FC3BB846F9166FB3 Time : 0.0 sec. user=mdettweiler [2017-04-17 12:43:10] 701*2^1451914-1 is not prime. Res64: BAFB55E959EF1312 Time : 0.0 sec. user=mdettweiler [2017-04-17 12:43:10] 705*2^1451914-1 is not prime. Res64: D99D0BBB4C1163FD Time : 0.0 sec. user=mdettweiler [2017-04-17 13:08:58] 791*2^1451914-1 is not prime. Res64: 582CB3E9657798EB Time : 0.0 sec. user=mdettweiler [2017-04-17 13:08:58] 825*2^1451914-1 is not prime. Res64: 637BB6A67A0412BC Time : 0.0 sec. user=mdettweiler [2017-04-17 13:08:59] 861*2^1451914-1 is not prime. Res64: 6CE01FA8B44C5979 Time : 0.0 sec. user=mdettweiler [2017-04-17 13:09:00] 881*2^1451914-1 is not prime. Res64: 6C4A8501FB9D9E4A Time : 0.0 sec. user=mdettweiler [2017-04-17 13:09:00] 923*2^1451914-1 is not prime. Res64: 7D1734485BB41E33 Time : 0.0 sec. user=mdettweiler [2017-04-17 13:21:40] 951*2^1451914-1 is not prime. Res64: 04216EF4C68C0FDC Time : 0.0 sec. user=mdettweiler [2017-04-17 13:21:40] 975*2^1451914-1 is not prime. Res64: AAA00A61834CD4A3 Time : 0.0 sec. user=mdettweiler [2017-04-17 13:21:41] 983*2^1451914-1 is not prime. Res64: CE710D220A0E03D7 Time : 0.0 sec. user=mdettweiler [2017-04-17 13:21:41] 633*2^1451915-1 is not prime. Res64: 72935DA7CD83CAE9 Time : 0.0 sec. user=mdettweiler [2017-04-17 13:21:42] 655*2^1451915-1 is not prime. Res64: E7165A16418075D1 Time : 0.0 sec. user=mdettweiler [2017-04-17 13:26:40] 663*2^1451915-1 is not prime. Res64: 615C2B816D0D03BC Time : 0.0 sec. user=mdettweiler [2017-04-17 13:26:40] 859*2^1451915-1 is not prime. Res64: 12B2052207ED7FE3 Time : 0.0 sec. user=mdettweiler [2017-04-17 13:26:41] 885*2^1451915-1 is not prime. Res64: B4A6B87404B06AF7 Time : 0.0 sec. user=mdettweiler [2017-04-17 13:26:41] 963*2^1451915-1 is not prime. Res64: 4D789A49E78B2849 Time : 0.0 sec. user=mdettweiler [2017-04-17 13:26:41] 627*2^1451916-1 is not prime. Res64: 563314DC7515A90A Time : 0.0 sec. user=mdettweiler [2017-04-17 13:28:18] 653*2^1451916-1 is not prime. Res64: 2A9E395FE20DDA40 Time : 0.0 sec. user=mdettweiler [2017-04-17 13:28:19] 759*2^1451916-1 is not prime. Res64: E032C21857B17358 Time : 0.0 sec. user=mdettweiler [2017-04-17 13:28:19] 825*2^1451916-1 is not prime. Res64: E5AE29C5AE605D7B Time : 0.0 sec. user=mdettweiler [2017-04-17 13:28:19] 893*2^1451916-1 is not prime. Res64: D3DBF02684175A96 Time : 0.0 sec. user=mdettweiler [2017-04-17 13:28:20] 903*2^1451916-1 is not prime. Res64: 114C27765E98021F Time : 0.0 sec. user=mdettweiler [2017-04-17 13:54:14] 987*2^1451916-1 is not prime. Res64: A14ECE0D74C94CDF Time : 0.0 sec. user=mdettweiler [2017-04-17 13:54:14] 715*2^1451917-1 is not prime. Res64: BD55EA4F0815E990 Time : 0.0 sec. user=mdettweiler [2017-04-17 13:54:15] 747*2^1451917-1 is not prime. Res64: 14F499E03D0D250B Time : 0.0 sec. user=mdettweiler [2017-04-17 13:54:15] 805*2^1451917-1 is not prime. Res64: 1A0BE2CC64B5F429 Time : 0.0 sec. user=mdettweiler [2017-04-17 13:54:15] 889*2^1451917-1 is not prime. Res64: 8A94F1F59340DCBE Time : 0.0 sec. user=mdettweiler [2017-04-17 14:06:47] 895*2^1451917-1 is not prime. Res64: 7BA775D2D3C34EA5 Time : 0.0 sec. user=mdettweiler [2017-04-17 14:06:47] 901*2^1451917-1 is not prime. Res64: 9B1368C9934D9D37 Time : 0.0 sec. user=mdettweiler [2017-04-17 14:06:48] 711*2^1451918-1 is not prime. Res64: E5C979EC13868B90 Time : 0.0 sec. user=mdettweiler [2017-04-17 14:06:48] 825*2^1451918-1 is not prime. Res64: E2BA68A694466F1E Time : 0.0 sec. user=mdettweiler [2017-04-17 14:06:49] 867*2^1451918-1 is not prime. Res64: 0704888B9FFC711B Time : 0.0 sec. user=mdettweiler [2017-04-17 14:11:54] 887*2^1451918-1 is not prime. Res64: C14E7C2C8E0FDB1A Time : 0.0 sec. user=mdettweiler [2017-04-17 14:11:54] 893*2^1451918-1 is not prime. Res64: 3D2916B0F2B731BE Time : 0.0 sec. user=mdettweiler [2017-04-17 14:11:55] 625*2^1451919-1 is not prime. Res64: BCBDE6A5D7FAA6D4 Time : 0.0 sec. user=mdettweiler [2017-04-17 14:11:55] 741*2^1451919-1 is not prime. Res64: DEAE239EAECA569E Time : 0.0 sec. user=mdettweiler [2017-04-17 14:11:55] 769*2^1451919-1 is not prime. Res64: 8E82BD0B6E6606F8 Time : 0.0 sec. user=mdettweiler [2017-04-17 14:13:24] 795*2^1451919-1 is not prime. Res64: 5789A90DCDF16C84 Time : 0.0 sec. user=mdettweiler [2017-04-17 14:13:24] 879*2^1451919-1 is not prime. Res64: 7B88BD14F62EFD99 Time : 0.0 sec. user=mdettweiler [2017-04-17 14:13:25] 979*2^1451919-1 is not prime. Res64: D03C8567B78C1B06 Time : 0.0 sec. user=mdettweiler [2017-04-17 14:13:25] 609*2^1451920-1 is not prime. Res64: 893B8B4443345B48 Time : 0.0 sec. user=mdettweiler [2017-04-17 14:13:25] 653*2^1451920-1 is not prime. Res64: F5A1336FB0F104E2 Time : 0.0 sec. user=juhehe [2017-04-17 14:36:55] 983*2^1451920-1 is not prime. Res64: DE6B6BFC8BD8AF7E Time : 0.0 sec. user=mdettweiler [2017-04-17 14:39:23] 665*2^1451920-1 is not prime. Res64: 216B4FDBB150A116 Time : 0.0 sec. user=mdettweiler [2017-04-17 14:39:24] 765*2^1451920-1 is not prime. Res64: 94ED52B4428B52BD Time : 0.0 sec. user=mdettweiler [2017-04-17 14:39:24] 875*2^1451920-1 is not prime. Res64: 4B65C31F4AD1574A Time : 0.0 sec. user=mdettweiler [2017-04-17 14:39:24] 887*2^1451920-1 is not prime. Res64: 5F4DB6ABE51BD922 Time : 0.0 sec. user=mdettweiler [2017-04-17 14:39:25] 957*2^1451920-1 is not prime. Res64: 8546AFB8053C59F3 Time : 0.0 sec. user=mdettweiler [2017-04-17 14:52:00] 999*2^1451920-1 is not prime. Res64: 076BA144DA4411F1 Time : 0.0 sec. user=mdettweiler [2017-04-17 14:52:00] 615*2^1451921-1 is not prime. Res64: 90182D2D2E307549 Time : 0.0 sec. user=mdettweiler [2017-04-17 14:52:01] 619*2^1451921-1 is not prime. Res64: E855D8009D6F1D59 Time : 0.0 sec. user=mdettweiler [2017-04-17 14:52:01] 645*2^1451921-1 is not prime. Res64: A03361EBA80C8851 Time : 0.0 sec. user=mdettweiler [2017-04-17 14:52:02] 711*2^1451921-1 is not prime. Res64: F883779AA4164681 Time : 0.0 sec. user=juhehe [2017-04-17 14:52:52] 603*2^1451923-1 is not prime. Res64: 65B39F7EB580920C Time : 0.0 sec. user=mdettweiler [2017-04-17 14:57:00] 715*2^1451921-1 is not prime. Res64: A18F6AAB493DD5E7 Time : 0.0 sec. user=mdettweiler [2017-04-17 14:57:01] 735*2^1451921-1 is not prime. Res64: 21DA2227900B198B Time : 0.0 sec. user=mdettweiler [2017-04-17 14:57:01] 885*2^1451921-1 is not prime. Res64: C2D91C359B08B4A2 Time : 0.0 sec. user=mdettweiler [2017-04-17 14:57:01] 909*2^1451921-1 is not prime. Res64: 36D93BC2B85C49AE Time : 0.0 sec. user=mdettweiler [2017-04-17 14:57:02] 931*2^1451921-1 is not prime. Res64: B63D3B90D77476AF Time : 0.0 sec. user=mdettweiler [2017-04-17 14:58:21] 937*2^1451921-1 is not prime. Res64: EF7821F8AFE8115D Time : 0.0 sec. user=mdettweiler [2017-04-17 14:58:21] 955*2^1451921-1 is not prime. Res64: 34F99211A132E533 Time : 0.0 sec. user=mdettweiler [2017-04-17 14:58:21] 997*2^1451921-1 is not prime. Res64: 190F39FDF41265EB Time : 0.0 sec. user=mdettweiler [2017-04-17 14:58:22] 611*2^1451922-1 is not prime. Res64: D129994B5D8DB383 Time : 0.0 sec. user=mdettweiler [2017-04-17 14:58:22] 731*2^1451922-1 is not prime. Res64: 59C9DF5B66F7DBC5 Time : 0.0 sec. user=mdettweiler [2017-04-17 15:25:11] 633*2^1451923-1 is not prime. Res64: D7780D3543718ADE Time : 0.0 sec. user=mdettweiler [2017-04-17 15:25:12] 771*2^1451923-1 is not prime. Res64: 0783C72175266A6C Time : 0.0 sec. user=mdettweiler [2017-04-17 15:25:12] 819*2^1451923-1 is not prime. Res64: F08AE5B3BC994756 Time : 0.0 sec. user=mdettweiler [2017-04-17 15:25:12] 835*2^1451923-1 is not prime. Res64: D4B9377B32C0FE6F Time : 0.0 sec. user=mdettweiler [2017-04-17 15:25:12] 853*2^1451923-1 is not prime. Res64: FCA9E26744D2D2EE Time : 0.0 sec. user=mdettweiler [2017-04-17 15:38:39] 859*2^1451923-1 is not prime. Res64: F8AEFF4DD72D4E3C Time : 0.0 sec. user=mdettweiler [2017-04-17 15:38:40] 901*2^1451923-1 is not prime. Res64: 7FE060FA2F4413FA Time : 0.0 sec. user=mdettweiler [2017-04-17 15:38:40] 925*2^1451923-1 is not prime. Res64: B5602858EB8B2DFA Time : 0.0 sec. user=mdettweiler [2017-04-17 15:38:40] 961*2^1451923-1 is not prime. Res64: 06D2837A7E693B97 Time : 0.0 sec. user=mdettweiler [2017-04-17 15:38:40] 623*2^1451924-1 is not prime. Res64: E2D2FCEDB49D785A Time : 0.0 sec. user=mdettweiler [2017-04-17 15:43:41] 719*2^1451924-1 is not prime. Res64: 799DAC287BCF0126 Time : 0.0 sec. user=mdettweiler [2017-04-17 15:43:41] 749*2^1451924-1 is not prime. Res64: 3A8822CF425F3907 Time : 0.0 sec. user=mdettweiler [2017-04-17 15:43:42] 767*2^1451924-1 is not prime. Res64: 7838B8828A7ADB23 Time : 0.0 sec. user=mdettweiler [2017-04-17 15:43:42] 885*2^1451924-1 is not prime. Res64: 45CCCEF44B327424 Time : 0.0 sec. user=mdettweiler [2017-04-17 15:43:42] 625*2^1451925-1 is not prime. Res64: 3BD639B80793B4D4 Time : 0.0 sec. user=mdettweiler [2017-04-17 15:45:15] 699*2^1451925-1 is not prime. Res64: 87BF45D1510B1AF1 Time : 0.0 sec. user=mdettweiler [2017-04-17 15:45:16] 741*2^1451925-1 is not prime. Res64: 461757AF2F26DD5E Time : 0.0 sec. user=mdettweiler [2017-04-17 15:45:16] 921*2^1451925-1 is not prime. Res64: 35174BC8F58AA8CB Time : 0.0 sec. user=mdettweiler [2017-04-17 15:45:17] 657*2^1451926-1 is not prime. Res64: C0B61D20ECC3CD68 Time : 0.0 sec. user=mdettweiler [2017-04-17 15:45:17] 813*2^1451926-1 is not prime. Res64: 121F1CC65E587342 Time : 0.0 sec. user=mdettweiler [2017-04-17 16:11:35] 917*2^1451926-1 is not prime. Res64: 879735075EB37125 Time : 0.0 sec. user=mdettweiler [2017-04-17 16:11:36] 941*2^1451926-1 is not prime. Res64: 8FA41AA4B83E75B5 Time : 0.0 sec. user=mdettweiler [2017-04-17 16:11:36] 601*2^1451927-1 is not prime. Res64: 080F91397C36AE8D Time : 0.0 sec. user=mdettweiler [2017-04-17 16:11:37] 651*2^1451927-1 is not prime. Res64: 9A9B6469C5065F7D Time : 0.0 sec. user=mdettweiler [2017-04-17 16:11:37] 693*2^1451927-1 is not prime. Res64: 3C56519499410DDB Time : 0.0 sec. user=juhehe [2017-04-17 16:12:09] 813*2^1451927-1 is not prime. Res64: 84CF2F6B2361905F Time : 0.0 sec. user=mdettweiler [2017-04-17 16:23:56] 819*2^1451927-1 is not prime. Res64: 1A47B00DA987D724 Time : 0.0 sec. user=mdettweiler [2017-04-17 16:23:57] 823*2^1451927-1 is not prime. Res64: AA6F8226929403B9 Time : 0.0 sec. user=mdettweiler [2017-04-17 16:23:57] 889*2^1451927-1 is not prime. Res64: 391522CB7416D14E Time : 0.0 sec. user=mdettweiler [2017-04-17 16:23:57] 973*2^1451927-1 is not prime. Res64: D2D6536E2B1657D7 Time : 0.0 sec. user=mdettweiler [2017-04-17 16:23:58] 981*2^1451927-1 is not prime. Res64: 3E58FFF279FB49B3 Time : 0.0 sec. user=mdettweiler [2017-04-17 16:28:44] 993*2^1451927-1 is not prime. Res64: F53F4A6E3EEFCA3F Time : 0.0 sec. user=mdettweiler [2017-04-17 16:28:44] 633*2^1451928-1 is not prime. Res64: 7C4E232C37EA5EDD Time : 0.0 sec. user=mdettweiler [2017-04-17 16:28:45] 689*2^1451928-1 is not prime. Res64: AB5D6BDFA1B3334D Time : 0.0 sec. user=mdettweiler [2017-04-17 16:28:45] 789*2^1451928-1 is not prime. Res64: 2461BE3409520ADF Time : 0.0 sec. user=mdettweiler [2017-04-17 16:28:46] 795*2^1451928-1 is not prime. Res64: D22ACDFD093A90C0 Time : 0.0 sec. user=mdettweiler [2017-04-17 16:30:22] 837*2^1451928-1 is not prime. Res64: 96CB380A139CF86A Time : 0.0 sec. user=mdettweiler [2017-04-17 16:30:23] 849*2^1451928-1 is not prime. Res64: 92ACCEA972EC1C0E Time : 0.0 sec. user=mdettweiler [2017-04-17 16:30:23] 899*2^1451928-1 is not prime. Res64: 104164E1339E5729 Time : 0.0 sec. user=mdettweiler [2017-04-17 16:30:23] 977*2^1451928-1 is not prime. Res64: 90AB8F6ED6D42364 Time : 0.0 sec. user=mdettweiler [2017-04-17 16:30:24] 661*2^1451929-1 is not prime. Res64: C375541539621D6A Time : 0.0 sec. user=mdettweiler [2017-04-17 16:56:42] 765*2^1451929-1 is not prime. Res64: 1E31751AD992C6BF Time : 0.0 sec. user=mdettweiler [2017-04-17 16:56:43] 789*2^1451929-1 is not prime. Res64: 0340853780A3A899 Time : 0.0 sec. user=mdettweiler [2017-04-17 16:56:43] 635*2^1451930-1 is not prime. Res64: EC03B453D7E745A1 Time : 0.0 sec. user=mdettweiler [2017-04-17 16:56:44] 675*2^1451930-1 is not prime. Res64: E8CD6C5B22DD7E16 Time : 0.0 sec. user=mdettweiler [2017-04-17 16:56:44] 735*2^1451930-1 is not prime. Res64: 2255500A478864EB Time : 0.0 sec. user=mdettweiler [2017-04-17 17:08:58] 797*2^1451930-1 is not prime. Res64: 73854F7E037AC86B Time : 0.0 sec. user=mdettweiler [2017-04-17 17:08:59] 845*2^1451930-1 is not prime. Res64: B9B92DA68210B627 Time : 0.0 sec. user=mdettweiler [2017-04-17 17:09:00] 857*2^1451930-1 is not prime. Res64: E0E0112186D20F50 Time : 0.0 sec. user=mdettweiler [2017-04-17 17:09:00] 875*2^1451930-1 is not prime. Res64: FA989029858B830A Time : 0.0 sec. user=mdettweiler [2017-04-17 17:09:00] 945*2^1451930-1 is not prime. Res64: 2037350E4E86FB42 Time : 0.0 sec. user=mdettweiler [2017-04-17 17:13:57] 775*2^1451931-1 is not prime. Res64: 7398A1BDF8016F11 Time : 0.0 sec. user=mdettweiler [2017-04-17 17:13:57] 819*2^1451931-1 is not prime. Res64: 3139CEDC7DA0CC28 Time : 0.0 sec. user=mdettweiler [2017-04-17 17:13:57] 969*2^1451931-1 is not prime. Res64: EC5E9BD74100AD07 Time : 0.0 sec. user=mdettweiler [2017-04-17 17:13:58] 635*2^1451932-1 is not prime. Res64: 423D9428D02C04F3 Time : 0.0 sec. user=mdettweiler [2017-04-17 17:13:58] 657*2^1451932-1 is not prime. Res64: F5DC58CA6DC22DD4 Time : 0.0 sec. user=mdettweiler [2017-04-17 17:15:28] 689*2^1451932-1 is not prime. Res64: CC8E812013F2B282 Time : 0.0 sec. user=mdettweiler [2017-04-17 17:15:28] 705*2^1451932-1 is not prime. Res64: CD1C1C161D23C92F Time : 0.0 sec. user=mdettweiler [2017-04-17 17:15:28] 777*2^1451932-1 is not prime. Res64: C883746BDE499CF3 Time : 0.0 sec. user=mdettweiler [2017-04-17 17:15:29] 819*2^1451932-1 is not prime. Res64: D2E7C33BF97A9094 Time : 0.0 sec. user=mdettweiler [2017-04-17 17:15:29] 827*2^1451932-1 is not prime. Res64: 8AF4E3920B0217BD Time : 0.0 sec. user=mdettweiler [2017-04-17 17:41:47] 869*2^1451932-1 is not prime. Res64: 734972B201BDF5B3 Time : 0.0 sec. user=mdettweiler [2017-04-17 17:41:47] 903*2^1451932-1 is not prime. Res64: B5984A68FF8198E8 Time : 0.0 sec. user=mdettweiler [2017-04-17 17:41:47] 615*2^1451933-1 is not prime. Res64: 3FE6158C9DDF8D11 Time : 0.0 sec. user=mdettweiler [2017-04-17 17:41:48] 747*2^1451933-1 is not prime. Res64: 4B0C7969158897B7 Time : 0.0 sec. user=mdettweiler [2017-04-17 17:41:48] 759*2^1451933-1 is not prime. Res64: C75B972770D6FEF3 Time : 0.0 sec. user=mdettweiler [2017-04-17 17:53:57] 789*2^1451933-1 is not prime. Res64: 05EFC6D5CD107C52 Time : 0.0 sec. user=mdettweiler [2017-04-17 17:53:57] 855*2^1451933-1 is not prime. Res64: 295C979D00B771DF Time : 0.0 sec. user=mdettweiler [2017-04-17 17:53:58] 879*2^1451933-1 is not prime. Res64: 83F0375AE33156E3 Time : 0.0 sec. user=mdettweiler [2017-04-17 17:53:58] 927*2^1451933-1 is not prime. Res64: 950CDD2F2276BAA3 Time : 0.0 sec. user=mdettweiler [2017-04-17 17:53:58] 663*2^1451934-1 is not prime. Res64: 34727295C36170AF Time : 0.0 sec. user=mdettweiler [2017-04-17 17:59:00] 681*2^1451934-1 is not prime. Res64: A8DC7C348B0DA269 Time : 0.0 sec. user=mdettweiler [2017-04-17 17:59:01] 711*2^1451934-1 is not prime. Res64: 5B2DB1E2632D1B71 Time : 0.0 sec. user=mdettweiler [2017-04-17 17:59:01] 725*2^1451934-1 is not prime. Res64: EE89A63928FEB5D0 Time : 0.0 sec. user=mdettweiler [2017-04-17 17:59:01] 791*2^1451934-1 is not prime. Res64: 7B885895FD888B15 Time : 0.0 sec. user=mdettweiler [2017-04-17 17:59:02] 863*2^1451934-1 is not prime. Res64: 592E7D67A9B81E38 Time : 0.0 sec. user=mdettweiler [2017-04-17 18:00:30] 993*2^1451934-1 is not prime. Res64: 297CEF54CC90DBAB Time : 0.0 sec. user=mdettweiler [2017-04-17 18:00:31] 1001*2^1451934-1 is not prime. Res64: 56094A84570F5FAA Time : 0.0 sec. user=mdettweiler [2017-04-17 18:00:32] 625*2^1451935-1 is not prime. Res64: 233C26DD1943309E Time : 0.0 sec. user=mdettweiler [2017-04-17 18:00:33] 651*2^1451935-1 is not prime. Res64: 0A861EEF3E9B7CCC Time : 0.0 sec. user=mdettweiler [2017-04-17 18:00:34] 819*2^1451935-1 is not prime. Res64: 7F02704BE0E16DF9 Time : 0.0 sec. user=juhehe [2017-04-17 18:10:58] 829*2^1451935-1 is not prime. Res64: E2223A636DB0DA6B Time : 0.0 sec. user=mdettweiler [2017-04-17 18:26:43] 985*2^1451935-1 is not prime. Res64: 0B8A4BDADA98FB83 Time : 0.0 sec. user=mdettweiler [2017-04-17 18:26:43] 677*2^1451936-1 is not prime. Res64: 31406DCBF3B90574 Time : 0.0 sec. user=mdettweiler [2017-04-17 18:26:44] 693*2^1451936-1 is not prime. Res64: C522C61D8B36091E Time : 0.0 sec. user=mdettweiler [2017-04-17 18:26:44] 717*2^1451936-1 is not prime. Res64: A1EA34DDB8A19BBF Time : 0.0 sec. user=mdettweiler [2017-04-17 18:26:44] 735*2^1451936-1 is not prime. Res64: D8ABD7128BF32169 Time : 0.0 sec. user=mdettweiler [2017-04-17 18:38:56] 755*2^1451936-1 is not prime. Res64: 6055654C762A4BFB Time : 0.0 sec. user=mdettweiler [2017-04-17 18:38:57] 759*2^1451936-1 is not prime. Res64: F9C1C3A64950AF3F Time : 0.0 sec. user=mdettweiler [2017-04-17 18:38:57] 825*2^1451936-1 is not prime. Res64: 1C478BD023F49C8D Time : 0.0 sec. user=mdettweiler [2017-04-17 18:38:57] 927*2^1451936-1 is not prime. Res64: D482B1EA27868BD5 Time : 0.0 sec. user=mdettweiler [2017-04-17 18:38:58] 717*2^1451937-1 is not prime. Res64: 1E435A0E4A4BF9B1 Time : 0.0 sec. user=mdettweiler [2017-04-17 18:44:13] 765*2^1451937-1 is not prime. Res64: 3B88F226AA8AFAC5 Time : 0.0 sec. user=mdettweiler [2017-04-17 18:44:14] 781*2^1451937-1 is not prime. Res64: D4B6F7301B0A48AB Time : 0.0 sec. user=mdettweiler [2017-04-17 18:44:14] 865*2^1451937-1 is not prime. Res64: 4BDCC936AD88CD3A Time : 0.0 sec. user=mdettweiler [2017-04-17 18:44:15] 919*2^1451937-1 is not prime. Res64: 9113DABD1084B077 Time : 0.0 sec. user=mdettweiler [2017-04-17 18:44:15] 621*2^1451938-1 is not prime. Res64: 9D834DC4F7E08B3F Time : 0.0 sec. user=mdettweiler [2017-04-17 18:45:41] 755*2^1451938-1 is not prime. Res64: 7AC4FDC9405773DA Time : 0.0 sec. user=mdettweiler [2017-04-17 18:45:42] 1001*2^1451938-1 is not prime. Res64: 26AAC3F5D6F17607 Time : 0.0 sec. user=mdettweiler [2017-04-17 18:45:42] 601*2^1451939-1 is not prime. Res64: A92FE18CD4B56BAD Time : 0.0 sec. user=mdettweiler [2017-04-17 18:45:42] 745*2^1451939-1 is not prime. Res64: 7509E555CB9BDDB0 Time : 0.0 sec. user=mdettweiler [2017-04-17 18:45:43] 813*2^1451939-1 is not prime. Res64: 9655BF615A824229 Time : 0.0 sec. user=mdettweiler [2017-04-17 19:11:57] 861*2^1451939-1 is not prime. Res64: 37297C882178D757 Time : 0.0 sec. user=mdettweiler [2017-04-17 19:11:58] 883*2^1451939-1 is not prime. Res64: B8BC953F64680BE9 Time : 0.0 sec. user=mdettweiler [2017-04-17 19:11:58] 909*2^1451939-1 is not prime. Res64: 088C275BFDF475AF Time : 0.0 sec. user=mdettweiler [2017-04-17 19:11:59] 913*2^1451939-1 is not prime. Res64: 5FA80258CB0C6E3C Time : 0.0 sec. user=mdettweiler [2017-04-17 19:11:59] 939*2^1451939-1 is not prime. Res64: E6AACA362A14D3FD Time : 0.0 sec. user=mdettweiler [2017-04-17 19:24:00] 979*2^1451939-1 is not prime. Res64: 215F3F3E8956A679 Time : 0.0 sec. user=mdettweiler [2017-04-17 19:24:00] 725*2^1451940-1 is not prime. Res64: 5B22558B66B142C5 Time : 0.0 sec. user=mdettweiler [2017-04-17 19:24:01] 767*2^1451940-1 is not prime. Res64: 1FEEA266EE085CFD Time : 0.0 sec. user=mdettweiler [2017-04-17 19:24:01] 945*2^1451940-1 is not prime. Res64: E35C89D621F3E874 Time : 0.0 sec. user=mdettweiler [2017-04-17 19:24:02] 983*2^1451940-1 is not prime. Res64: 0B09F97F0A765969 Time : 0.0 sec. user=mdettweiler [2017-04-17 19:29:25] 601*2^1451941-1 is not prime. Res64: 0116350B204EAD83 Time : 0.0 sec. user=mdettweiler [2017-04-17 19:29:25] 649*2^1451941-1 is not prime. Res64: 1D27151ADE227134 Time : 0.0 sec. user=mdettweiler [2017-04-17 19:29:25] 741*2^1451941-1 is not prime. Res64: 7C11A5B7693BBE27 Time : 0.0 sec. user=mdettweiler [2017-04-17 19:29:26] 747*2^1451941-1 is not prime. Res64: 06820B9B443A6FE2 Time : 0.0 sec. user=mdettweiler [2017-04-17 19:29:26] 811*2^1451941-1 is not prime. Res64: D3D8563369F9E217 Time : 0.0 sec. user=mdettweiler [2017-04-17 19:31:07] 967*2^1451941-1 is not prime. Res64: 51B22968946EBF98 Time : 0.0 sec. user=mdettweiler [2017-04-17 19:31:07] 635*2^1451942-1 is not prime. Res64: 4EF697725272C8A6 Time : 0.0 sec. user=mdettweiler [2017-04-17 19:31:08] 731*2^1451942-1 is not prime. Res64: CF5610112A1CAC46 Time : 0.0 sec. user=mdettweiler [2017-04-17 19:31:08] 761*2^1451942-1 is not prime. Res64: 2127E3634B202079 Time : 0.0 sec. user=mdettweiler [2017-04-17 19:31:08] 791*2^1451942-1 is not prime. Res64: FDEF8C718BD81DF3 Time : 0.0 sec. user=mdettweiler [2017-04-17 19:57:01] 619*2^1451943-1 is not prime. Res64: D65454A0A9D681CC Time : 0.0 sec. user=mdettweiler [2017-04-17 19:57:02] 643*2^1451943-1 is not prime. Res64: 18B3503F7A83D8EC Time : 0.0 sec. user=mdettweiler [2017-04-17 19:57:02] 709*2^1451943-1 is not prime. Res64: 91D7319C3FDF7252 Time : 0.0 sec. user=mdettweiler [2017-04-17 19:57:03] 879*2^1451943-1 is not prime. Res64: 0BF6B924B084391D Time : 0.0 sec. user=mdettweiler [2017-04-17 19:57:03] 605*2^1451944-1 is not prime. Res64: C14903972CBB1F4F Time : 0.0 sec. user=mdettweiler [2017-04-17 20:09:02] 639*2^1451944-1 is not prime. Res64: 00296027C22BF28B Time : 0.0 sec. user=mdettweiler [2017-04-17 20:09:03] 747*2^1451944-1 is not prime. Res64: 5389795C85BBB4EF Time : 0.0 sec. user=mdettweiler [2017-04-17 20:09:03] 863*2^1451944-1 is not prime. Res64: E093D64DCCDA17ED Time : 0.0 sec. user=mdettweiler [2017-04-17 20:09:04] 887*2^1451944-1 is not prime. Res64: D12523B7EC5366B8 Time : 0.0 sec. user=mdettweiler [2017-04-17 20:09:04] 995*2^1451944-1 is not prime. Res64: 165E91BBF2465B85 Time : 0.0 sec. user=juhehe [2017-04-17 20:09:19] 647*2^1451946-1 is not prime. Res64: 31635FC45BA02706 Time : 0.0 sec. user=mdettweiler [2017-04-17 20:14:33] 651*2^1451945-1 is not prime. Res64: 97E9E6D3C51791F5 Time : 0.0 sec. user=mdettweiler [2017-04-17 20:14:33] 715*2^1451945-1 is not prime. Res64: 362B53CB5BB35F3A Time : 0.0 sec. user=mdettweiler [2017-04-17 20:14:33] 759*2^1451945-1 is not prime. Res64: CF2ED4E56E288082 Time : 0.0 sec. user=mdettweiler [2017-04-17 20:14:34] 787*2^1451945-1 is not prime. Res64: 36E6DAFC6BC331D3 Time : 0.0 sec. user=mdettweiler [2017-04-17 20:14:34] 951*2^1451945-1 is not prime. Res64: A59B692A0E30AAB3 Time : 0.0 sec. user=mdettweiler [2017-04-17 20:16:18] 695*2^1451946-1 is not prime. Res64: 151BFC00E7D4ED2C Time : 0.0 sec. user=mdettweiler [2017-04-17 20:16:18] 887*2^1451946-1 is not prime. Res64: 731BCDA6E5422FAD Time : 0.0 sec. user=mdettweiler [2017-04-17 20:16:19] 615*2^1451947-1 is not prime. Res64: 744A135BEED52718 Time : 0.0 sec. user=mdettweiler [2017-04-17 20:16:19] 619*2^1451947-1 is not prime. Res64: 637E526AE6313122 Time : 0.0 sec. user=mdettweiler [2017-04-17 20:16:20] 631*2^1451947-1 is not prime. Res64: 3F8C7D0A0101D46B Time : 0.0 sec. user=mdettweiler [2017-04-17 20:42:10] 645*2^1451947-1 is not prime. Res64: 910AC4058F1B08F0 Time : 0.0 sec. user=mdettweiler [2017-04-17 20:42:10] 669*2^1451948-1 is not prime. Res64: 665CCC90743FAFE4 Time : 0.0 sec. user=mdettweiler [2017-04-17 20:42:10] 687*2^1451948-1 is not prime. Res64: FD100EFF4B8C5553 Time : 0.0 sec. user=mdettweiler [2017-04-17 20:42:11] 767*2^1451948-1 is not prime. Res64: 785C63B8FB7117EA Time : 0.0 sec. user=mdettweiler [2017-04-17 20:42:11] 845*2^1451948-1 is not prime. Res64: 8BBFDD527834CC61 Time : 0.0 sec. user=mdettweiler [2017-04-17 20:54:04] 875*2^1451948-1 is not prime. Res64: 67C21D9036F67CBA Time : 0.0 sec. user=mdettweiler [2017-04-17 20:54:05] 959*2^1451948-1 is not prime. Res64: CEA7E464A9A9B443 Time : 0.0 sec. user=mdettweiler [2017-04-17 20:54:05] 995*2^1451948-1 is not prime. Res64: 92BBBB2DEA08CC7F Time : 0.0 sec. user=mdettweiler [2017-04-17 20:54:06] 999*2^1451948-1 is not prime. Res64: A578596DA969A2EB Time : 0.0 sec. user=mdettweiler [2017-04-17 20:54:06] 601*2^1451949-1 is not prime. Res64: 6401A668E7F0C016 Time : 0.0 sec. user=mdettweiler [2017-04-17 20:59:34] 675*2^1451949-1 is not prime. Res64: CED346BCA399ACCD Time : 0.0 sec. user=mdettweiler [2017-04-17 20:59:34] 685*2^1451949-1 is not prime. Res64: 7000653F887AD4F1 Time : 0.0 sec. user=mdettweiler [2017-04-17 20:59:34] 789*2^1451949-1 is not prime. Res64: 1CA0A96B09608D02 Time : 0.0 sec. user=mdettweiler [2017-04-17 20:59:35] 835*2^1451949-1 is not prime. Res64: D8126F5FB527DF50 Time : 0.0 sec. user=mdettweiler [2017-04-17 20:59:35] 861*2^1451949-1 is not prime. Res64: 0590A14EA77AE239 Time : 0.0 sec. user=mdettweiler [2017-04-17 21:01:20] 891*2^1451949-1 is not prime. Res64: 1D1085182BA3741D Time : 0.0 sec. user=mdettweiler [2017-04-17 21:01:21] 949*2^1451949-1 is not prime. Res64: 181862CBD54F9428 Time : 0.0 sec. user=mdettweiler [2017-04-17 21:01:22] 603*2^1451950-1 is not prime. Res64: 4B6E8A45EAAAEE08 Time : 0.0 sec. user=mdettweiler [2017-04-17 21:01:23] 645*2^1451950-1 is not prime. Res64: 1E38482C9518B725 Time : 0.0 sec. user=mdettweiler [2017-04-17 21:01:25] 671*2^1451950-1 is not prime. Res64: 21A7367123439680 Time : 0.0 sec. user=mdettweiler [2017-04-17 21:27:25] 801*2^1451950-1 is not prime. Res64: C9DF096C85AA7626 Time : 0.0 sec. user=mdettweiler [2017-04-17 21:27:25] 857*2^1451950-1 is not prime. Res64: 077F3674C88BB907 Time : 0.0 sec. user=mdettweiler [2017-04-17 21:27:25] 861*2^1451950-1 is not prime. Res64: 1C47C83538BD036B Time : 0.0 sec. user=mdettweiler [2017-04-17 21:27:26] 911*2^1451950-1 is not prime. Res64: 55567652198471F7 Time : 0.0 sec. user=mdettweiler [2017-04-17 21:27:26] 945*2^1451950-1 is not prime. Res64: 6D8A673D2DF8E59F Time : 0.0 sec. user=mdettweiler [2017-04-17 21:39:13] 971*2^1451950-1 is not prime. Res64: FE062FC84DA86F93 Time : 0.0 sec. user=mdettweiler [2017-04-17 21:39:13] 975*2^1451950-1 is not prime. Res64: 5DBB1D2CD8DF19A6 Time : 0.0 sec. user=mdettweiler [2017-04-17 21:39:13] 603*2^1451951-1 is not prime. Res64: 03C7AC6ECAC1CCC6 Time : 0.0 sec. user=mdettweiler [2017-04-17 21:39:14] 661*2^1451951-1 is not prime. Res64: A76992512936E31F Time : 0.0 sec. user=mdettweiler [2017-04-17 21:39:14] 669*2^1451951-1 is not prime. Res64: 01665DA4E0DE7B9B Time : 0.0 sec. user=mdettweiler [2017-04-17 21:44:51] 679*2^1451951-1 is not prime. Res64: 40496BDB02C83438 Time : 0.0 sec. user=mdettweiler [2017-04-17 21:44:52] 865*2^1451951-1 is not prime. Res64: 04634C43C750E899 Time : 0.0 sec. user=mdettweiler [2017-04-17 21:44:52] 999*2^1451951-1 is not prime. Res64: 8F88324345C0FC63 Time : 0.0 sec. user=mdettweiler [2017-04-17 21:44:53] 615*2^1451952-1 is not prime. Res64: 734DC378F9EAFF55 Time : 0.0 sec. user=mdettweiler [2017-04-17 21:44:53] 623*2^1451952-1 is not prime. Res64: 9679EB758B20CA34 Time : 0.0 sec. user=mdettweiler [2017-04-17 21:46:33] 657*2^1451952-1 is not prime. Res64: 8B3E49964E9EBFE0 Time : 0.0 sec. user=mdettweiler [2017-04-17 21:46:33] 669*2^1451952-1 is not prime. Res64: 598728D4AB374A3E Time : 0.0 sec. user=mdettweiler [2017-04-17 21:46:34] 675*2^1451952-1 is not prime. Res64: A0EA7EED8F0A2493 Time : 0.0 sec. user=mdettweiler [2017-04-17 21:46:34] 717*2^1451952-1 is not prime. Res64: DFCEBDA499F46C3D Time : 0.0 sec. user=mdettweiler [2017-04-17 21:46:35] 929*2^1451952-1 is not prime. Res64: A9CECAB329294035 Time : 0.0 sec. user=juhehe [2017-04-17 22:08:28] 849*2^1451953-1 is not prime. Res64: 3A26C722D93A7458 Time : 0.0 sec. user=mdettweiler [2017-04-17 22:12:32] 687*2^1451953-1 is not prime. Res64: 285CF710024EAF62 Time : 0.0 sec. user=mdettweiler [2017-04-17 22:12:33] 715*2^1451953-1 is not prime. Res64: 25D021685B56150A Time : 0.0 sec. user=mdettweiler [2017-04-17 22:12:33] 747*2^1451953-1 is not prime. Res64: 84D3D9843D415ACA Time : 0.0 sec. user=mdettweiler [2017-04-17 22:12:33] 775*2^1451953-1 is not prime. Res64: 179B3C3EE51D1C81 Time : 0.0 sec. user=mdettweiler [2017-04-17 22:12:34] 847*2^1451953-1 is not prime. Res64: 888BBAB25227EBE8 Time : 0.0 sec. user=mdettweiler [2017-04-17 22:24:13] 925*2^1451953-1 is not prime. Res64: A410E0590B83AA45 Time : 0.0 sec. user=mdettweiler [2017-04-17 22:24:14] 939*2^1451953-1 is not prime. Res64: 745607A4E9091E1A Time : 0.0 sec. user=mdettweiler [2017-04-17 22:24:14] 605*2^1451954-1 is not prime. Res64: 462D9843D2A19856 Time : 0.0 sec. user=mdettweiler [2017-04-17 22:24:14] 857*2^1451954-1 is not prime. Res64: 5CFEAF1DA32B62DE Time : 0.0 sec. user=mdettweiler [2017-04-17 22:24:15] 885*2^1451954-1 is not prime. Res64: 1684DCD15BB716FC Time : 0.0 sec. user=mdettweiler [2017-04-17 22:29:51] 995*2^1451954-1 is not prime. Res64: 9627E8F11930FF83 Time : 0.0 sec. user=mdettweiler [2017-04-17 22:29:52] 613*2^1451955-1 is not prime. Res64: 9090B8AFEAF452A9 Time : 0.0 sec. user=mdettweiler [2017-04-17 22:29:52] 619*2^1451955-1 is not prime. Res64: A0413EB00069E709 Time : 0.0 sec. user=mdettweiler [2017-04-17 22:29:52] 649*2^1451955-1 is not prime. Res64: B63E3213C0FED839 Time : 0.0 sec. user=mdettweiler [2017-04-17 22:29:53] 705*2^1451955-1 is not prime. Res64: 1BE32C906B45F919 Time : 0.0 sec. user=mdettweiler [2017-04-17 22:31:33] 783*2^1451955-1 is not prime. Res64: 4EF1588E84AADDA1 Time : 0.0 sec. user=mdettweiler [2017-04-17 22:31:33] 789*2^1451955-1 is not prime. Res64: 7F53CF902042C0B1 Time : 0.0 sec. user=mdettweiler [2017-04-17 22:31:34] 949*2^1451955-1 is not prime. Res64: 4B17CC66622EB474 Time : 0.0 sec. user=mdettweiler [2017-04-17 22:31:34] 657*2^1451956-1 is not prime. Res64: 39A9B451399973D9 Time : 0.0 sec. user=mdettweiler [2017-04-17 22:31:34] 749*2^1451956-1 is not prime. Res64: 000D5E8E195FEAE2 Time : 0.0 sec. user=mdettweiler [2017-04-17 22:57:34] 765*2^1451956-1 is not prime. Res64: 8B41598F39B37196 Time : 0.0 sec. user=mdettweiler [2017-04-17 22:57:34] 803*2^1451956-1 is not prime. Res64: B80DC5DD449C20F1 Time : 0.0 sec. user=mdettweiler [2017-04-17 22:57:34] 933*2^1451956-1 is not prime. Res64: 55ECF31794BE025C Time : 0.0 sec. user=mdettweiler [2017-04-17 22:57:35] 965*2^1451956-1 is not prime. Res64: FEDDB781AE307C96 Time : 0.0 sec. user=mdettweiler [2017-04-17 22:57:35] 987*2^1451956-1 is not prime. Res64: F938D92DCC7C5B24 Time : 0.0 sec. user=mdettweiler [2017-04-17 23:09:19] 989*2^1451956-1 is not prime. Res64: A3783A648E18BB95 Time : 0.0 sec. user=mdettweiler [2017-04-17 23:09:20] 759*2^1451957-1 is not prime. Res64: BDF3346A7B3C0207 Time : 0.0 sec. user=mdettweiler [2017-04-17 23:09:20] 815*2^1451958-1 is not prime. Res64: 234EB754E30EA3CB Time : 0.0 sec. user=mdettweiler [2017-04-17 23:09:21] 993*2^1451958-1 is not prime. Res64: C1BF541EB1CF74AF Time : 0.0 sec. user=mdettweiler [2017-04-17 23:09:21] 925*2^1451959-1 is not prime. Res64: 57C2EFEE2DCAA444 Time : 0.0 sec. user=mdettweiler [2017-04-17 23:15:07] 713*2^1451960-1 is not prime. Res64: 8E641A96ECD23B4E Time : 0.0 sec. user=mdettweiler [2017-04-17 23:15:07] 759*2^1451960-1 is not prime. Res64: 8ABB58C9F0E5BF93 Time : 0.0 sec. user=mdettweiler [2017-04-17 23:15:07] 827*2^1451960-1 is not prime. Res64: 31BDB4F5BB56CA6A Time : 0.0 sec. user=mdettweiler [2017-04-17 23:15:08] 875*2^1451960-1 is not prime. Res64: 04D48B2F7B490D70 Time : 0.0 sec. user=mdettweiler [2017-04-17 23:15:08] 705*2^1451961-1 is not prime. Res64: E1DAD9FDD307BF9B Time : 0.0 sec. user=mdettweiler [2017-04-17 23:16:40] 727*2^1451961-1 is not prime. Res64: AA39A0B849CA82C7 Time : 0.0 sec. user=mdettweiler [2017-04-17 23:16:40] 739*2^1451961-1 is not prime. Res64: E37E6B501231EDDF Time : 0.0 sec. user=mdettweiler [2017-04-17 23:16:40] 895*2^1451961-1 is not prime. Res64: 87CB48D748C7859D Time : 0.0 sec. user=mdettweiler [2017-04-17 23:16:41] 777*2^1451962-1 is not prime. Res64: C7100B4C3A1B4DE7 Time : 0.0 sec. user=mdettweiler [2017-04-17 23:16:41] 813*2^1451962-1 is not prime. Res64: EAED5E578A14C7A4 Time : 0.0 sec. user=mdettweiler [2017-04-17 23:42:42] 815*2^1451962-1 is not prime. Res64: 3EF0E6139AD4C08F Time : 0.0 sec. user=mdettweiler [2017-04-17 23:42:42] 951*2^1451962-1 is not prime. Res64: F0A2CAFD6D1E0DAE Time : 0.0 sec. user=mdettweiler [2017-04-17 23:42:43] 675*2^1451963-1 is not prime. Res64: 4D6F2C2547AE7657 Time : 0.0 sec. user=mdettweiler [2017-04-17 23:42:43] 789*2^1451963-1 is not prime. Res64: 2FC74CB0DAC71976 Time : 0.0 sec. user=mdettweiler [2017-04-17 23:42:44] 859*2^1451963-1 is not prime. Res64: FDBF9349A74C5A7F Time : 0.0 sec. user=mdettweiler [2017-04-17 23:54:29] 665*2^1451964-1 is not prime. Res64: B6C60A5846D1A2C1 Time : 0.0 sec. user=mdettweiler [2017-04-17 23:54:30] 717*2^1451964-1 is not prime. Res64: 57A51F86A4013139 Time : 0.0 sec. user=mdettweiler [2017-04-17 23:54:30] 759*2^1451964-1 is not prime. Res64: C1129752398C0E5A Time : 0.0 sec. user=mdettweiler [2017-04-17 23:54:30] 795*2^1451964-1 is not prime. Res64: DE37703DE88C880C Time : 0.0 sec. user=mdettweiler [2017-04-17 23:54:31] 873*2^1451964-1 is not prime. Res64: B3F140F7E099C451 Time : 0.0 sec. user=mdettweiler [2017-04-18 00:00:12] 661*2^1451965-1 is not prime. Res64: EBFBB3E7A91CE98A Time : 0.0 sec. user=mdettweiler [2017-04-18 00:00:12] 751*2^1451965-1 is not prime. Res64: 8E50B3C4409995B1 Time : 0.0 sec. user=mdettweiler [2017-04-18 00:00:13] 757*2^1451965-1 is not prime. Res64: 972CAEB77B22C2FA Time : 0.0 sec. user=mdettweiler [2017-04-18 00:00:13] 789*2^1451965-1 is not prime. Res64: 59051B3CCA540438 Time : 0.0 sec. user=mdettweiler [2017-04-18 00:00:13] 831*2^1451965-1 is not prime. Res64: AAAA9D4DAADA321F Time : 0.0 sec.