user=mdettweiler [2015-02-12 00:04:54] 829*2^1390839-1 is not prime. Res64: B59D964D06E9E251 Time : 0.0 sec. user=mdettweiler [2015-02-12 00:04:55] 865*2^1390839-1 is not prime. Res64: 27FD05BBAB88DEDA Time : 0.0 sec. user=mdettweiler [2015-02-12 00:09:48] 885*2^1390839-1 is not prime. Res64: B32EAFD54EAF0533 Time : 0.0 sec. user=mdettweiler [2015-02-12 00:09:49] 609*2^1390840-1 is not prime. Res64: 3273DD13F1691471 Time : 0.0 sec. user=mdettweiler [2015-02-12 00:12:39] 623*2^1390840-1 is not prime. Res64: CAE9E8EC4AED8743 Time : 0.0 sec. user=mdettweiler [2015-02-12 00:12:40] 785*2^1390840-1 is not prime. Res64: 7931803ADDB2A389 Time : 0.0 sec. user=mdettweiler [2015-02-12 00:21:23] 839*2^1390840-1 is not prime. Res64: CCDCA648494A768D Time : 0.0 sec. user=mdettweiler [2015-02-12 00:21:24] 923*2^1390840-1 is not prime. Res64: 87301A1A3A90AC8F Time : 0.0 sec. user=mdettweiler [2015-02-12 00:32:12] 939*2^1390840-1 is not prime. Res64: DCE8A51D6F34C8E3 Time : 0.0 sec. user=mdettweiler [2015-02-12 00:32:13] 965*2^1390840-1 is not prime. Res64: 4EFAB8DA6B96664B Time : 0.0 sec. user=mdettweiler [2015-02-12 00:36:35] 741*2^1390841-1 is not prime. Res64: 278C726B77161D35 Time : 0.0 sec. user=mdettweiler [2015-02-12 00:36:35] 789*2^1390841-1 is not prime. Res64: 20E7279BE81AEDE4 Time : 0.0 sec. user=mdettweiler [2015-02-12 00:39:21] 889*2^1390841-1 is not prime. Res64: F6ED16B615FF0B31 Time : 0.0 sec. user=mdettweiler [2015-02-12 00:39:21] 967*2^1390841-1 is not prime. Res64: CD3871F4251E08CD Time : 0.0 sec. user=mdettweiler [2015-02-12 00:48:12] 681*2^1390842-1 is not prime. Res64: 44BE286DF84CCFF3 Time : 0.0 sec. user=mdettweiler [2015-02-12 00:48:13] 825*2^1390842-1 is not prime. Res64: 9FC7BDAF18858914 Time : 0.0 sec. user=mdettweiler [2015-02-12 00:58:56] 977*2^1390842-1 is not prime. Res64: 12221142A337D0CE Time : 0.0 sec. user=mdettweiler [2015-02-12 00:58:56] 681*2^1390843-1 is not prime. Res64: AC23A77F504C7425 Time : 0.0 sec. user=mdettweiler [2015-02-12 01:03:14] 889*2^1390843-1 is not prime. Res64: 3A3744ECABAF4BDF Time : 0.0 sec. user=mdettweiler [2015-02-12 01:03:15] 683*2^1390844-1 is not prime. Res64: 73C356BA17453D13 Time : 0.0 sec. user=mdettweiler [2015-02-12 01:06:04] 699*2^1390844-1 is not prime. Res64: 797695CE06C2F998 Time : 0.0 sec. user=mdettweiler [2015-02-12 01:06:04] 833*2^1390844-1 is not prime. Res64: C5A2E52C78D9EDB3 Time : 0.0 sec. user=mdettweiler [2015-02-12 01:14:59] 875*2^1390844-1 is not prime. Res64: 5DF8F10478E69B62 Time : 0.0 sec. user=mdettweiler [2015-02-12 01:14:59] 655*2^1390845-1 is not prime. Res64: 2E352C93DF15B879 Time : 0.0 sec. user=mdettweiler [2015-02-12 01:25:43] 805*2^1390845-1 is not prime. Res64: AA7CAD0C0B98595A Time : 0.0 sec. user=mdettweiler [2015-02-12 01:25:44] 817*2^1390845-1 is not prime. Res64: E6152480B685FA4B Time : 0.0 sec. user=mdettweiler [2015-02-12 01:30:10] 895*2^1390845-1 is not prime. Res64: 67A90C0A94174AC7 Time : 0.0 sec. user=mdettweiler [2015-02-12 01:30:11] 919*2^1390845-1 is not prime. Res64: E3DA2CECDD9C54CB Time : 0.0 sec. user=mdettweiler [2015-02-12 01:32:48] 955*2^1390845-1 is not prime. Res64: 876B303277EDD70C Time : 0.0 sec. user=mdettweiler [2015-02-12 01:32:49] 717*2^1390846-1 is not prime. Res64: A623A0806B09C9D6 Time : 0.0 sec. user=mdettweiler [2015-02-12 01:41:42] 743*2^1390846-1 is not prime. Res64: 5EA49E7DB6828FFF Time : 0.0 sec. user=mdettweiler [2015-02-12 01:41:42] 825*2^1390846-1 is not prime. Res64: DFD4CCE594191374 Time : 0.0 sec. user=mdettweiler [2015-02-12 01:52:27] 891*2^1390846-1 is not prime. Res64: 9FAA1818AFD7CF7C Time : 0.0 sec. user=mdettweiler [2015-02-12 01:52:28] 971*2^1390846-1 is not prime. Res64: BACE8E0402507CFF Time : 0.0 sec. user=mdettweiler [2015-02-12 01:56:53] 759*2^1390847-1 is not prime. Res64: 7A9DAB2187AF2AE3 Time : 0.0 sec. user=mdettweiler [2015-02-12 01:56:54] 859*2^1390847-1 is not prime. Res64: BCCE8C44A98E9DF2 Time : 0.0 sec. user=mdettweiler [2015-02-12 01:59:14] 871*2^1390847-1 is not prime. Res64: 6EE912C82A113B98 Time : 0.0 sec. user=mdettweiler [2015-02-12 01:59:14] 885*2^1390847-1 is not prime. Res64: 071DA890F511285D Time : 0.0 sec. user=mdettweiler [2015-02-12 02:09:35] 949*2^1390847-1 is not prime. Res64: F0B43DE39A7532AB Time : 0.0 sec. user=mdettweiler [2015-02-12 02:09:36] 955*2^1390847-1 is not prime. Res64: C0FD72ECCF84A5D3 Time : 0.0 sec. user=mdettweiler [2015-02-12 02:22:30] 985*2^1390847-1 is not prime. Res64: BA20B66B0402C83D Time : 0.0 sec. user=mdettweiler [2015-02-12 02:22:30] 999*2^1390847-1 is not prime. Res64: AF760085BFC29DB0 Time : 0.0 sec. user=mdettweiler [2015-02-12 02:26:06] 663*2^1390848-1 is not prime. Res64: C6A7E71958AAE6C4 Time : 0.0 sec. user=mdettweiler [2015-02-12 02:26:06] 669*2^1390848-1 is not prime. Res64: FE1BB7625BBF3FC5 Time : 0.0 sec. user=mdettweiler [2015-02-12 02:28:19] 735*2^1390848-1 is not prime. Res64: 35BC03231A50B3AD Time : 0.0 sec. user=mdettweiler [2015-02-12 02:28:19] 753*2^1390848-1 is not prime. Res64: 15A6537CBBCAA28B Time : 0.0 sec. user=mdettweiler [2015-02-12 02:43:45] 759*2^1390848-1 is not prime. Res64: 9805C0C7A1488DD5 Time : 0.0 sec. user=mdettweiler [2015-02-12 02:43:46] 843*2^1390848-1 is not prime. Res64: C2E4B7B7334F97B0 Time : 0.0 sec. user=mdettweiler [2015-02-12 02:56:39] 885*2^1390849-1 is not prime. Res64: A1B0FC720CD35BEF Time : 0.0 sec. user=mdettweiler [2015-02-12 02:56:39] 955*2^1390849-1 is not prime. Res64: 48900657E4332D81 Time : 0.0 sec. user=mdettweiler [2015-02-12 02:56:40] 687*2^1390849-1 is not prime. Res64: D2120F35E65F6DB8 Time : 0.0 sec. user=mdettweiler [2015-02-12 02:56:40] 877*2^1390849-1 is not prime. Res64: F4A6EC3C36869B73 Time : 0.0 sec. user=mdettweiler [2015-02-12 02:56:53] 645*2^1390850-1 is not prime. Res64: D12AA61B912CCFB1 Time : 0.0 sec. user=mdettweiler [2015-02-12 02:56:53] 713*2^1390850-1 is not prime. Res64: C9946E4E3BD3D3E8 Time : 0.0 sec. user=mdettweiler [2015-02-12 03:10:02] 767*2^1390850-1 is not prime. Res64: 15A0C226CAA5635B Time : 0.0 sec. user=mdettweiler [2015-02-12 03:10:02] 773*2^1390850-1 is not prime. Res64: 740FD50B859238F8 Time : 0.0 sec. user=mdettweiler [2015-02-12 03:22:51] 921*2^1390850-1 is not prime. Res64: E616FF4AC5681718 Time : 0.0 sec. user=mdettweiler [2015-02-12 03:22:51] 953*2^1390850-1 is not prime. Res64: 9590357A16105178 Time : 0.0 sec. user=mdettweiler [2015-02-12 03:22:53] 783*2^1390850-1 is not prime. Res64: 18D06C0DFDEAD4B6 Time : 0.0 sec. user=mdettweiler [2015-02-12 03:22:54] 911*2^1390850-1 is not prime. Res64: 369901A1918CF4BE Time : 0.0 sec. user=mdettweiler [2015-02-12 03:23:06] 971*2^1390850-1 is not prime. Res64: F36F0D199CCFC105 Time : 0.0 sec. user=mdettweiler [2015-02-12 03:23:07] 625*2^1390851-1 is not prime. Res64: EB395F0125C788F2 Time : 0.0 sec. user=mdettweiler [2015-02-12 03:36:07] 639*2^1390851-1 is not prime. Res64: 96D1E04E4AD216F3 Time : 0.0 sec. user=mdettweiler [2015-02-12 03:36:08] 769*2^1390851-1 is not prime. Res64: 06C3B9508E1A3A31 Time : 0.0 sec. user=mdettweiler [2015-02-12 03:49:39] 903*2^1390851-1 is not prime. Res64: 424FBD368633716E Time : 0.0 sec. user=mdettweiler [2015-02-12 03:49:40] 969*2^1390851-1 is not prime. Res64: 0859F7130867C843 Time : 0.0 sec. user=mdettweiler [2015-02-12 03:49:44] 605*2^1390852-1 is not prime. Res64: DD758B92D59A7AF1 Time : 0.0 sec. user=mdettweiler [2015-02-12 03:49:44] 635*2^1390852-1 is not prime. Res64: 3BF5AC592DEDE1F2 Time : 0.0 sec. user=mdettweiler [2015-02-12 03:50:08] 795*2^1390851-1 is not prime. Res64: DF5CDCB3357265C9 Time : 0.0 sec. user=mdettweiler [2015-02-12 03:50:09] 895*2^1390851-1 is not prime. Res64: CCF359484CB55B40 Time : 0.0 sec. user=mdettweiler [2015-02-12 04:02:58] 639*2^1390852-1 is not prime. Res64: 7841963B377D4C35 Time : 0.0 sec. user=mdettweiler [2015-02-12 04:03:00] 657*2^1390852-1 is not prime. Res64: 4B1920B2EA8874FD Time : 0.0 sec. user=mdettweiler [2015-02-12 04:15:43] 749*2^1390852-1 is not prime. Res64: ECEEBABB5B4BCDD3 Time : 0.0 sec. user=mdettweiler [2015-02-12 04:15:44] 819*2^1390852-1 is not prime. Res64: 817BF41C3D0822B0 Time : 0.0 sec. user=mdettweiler [2015-02-12 04:15:47] 717*2^1390852-1 is not prime. Res64: BD8691A3528E51AC Time : 0.0 sec. user=mdettweiler [2015-02-12 04:15:48] 857*2^1390852-1 is not prime. Res64: ABD442CC927172D9 Time : 0.0 sec. user=mdettweiler [2015-02-12 04:16:00] 875*2^1390852-1 is not prime. Res64: 5211DF5A3715F7AB Time : 0.0 sec. user=mdettweiler [2015-02-12 04:16:00] 897*2^1390852-1 is not prime. Res64: 351647B628CDE342 Time : 0.0 sec. user=mdettweiler [2015-02-12 04:29:13] 989*2^1390852-1 is not prime. Res64: B65DD60616A2E876 Time : 0.0 sec. user=mdettweiler [2015-02-12 04:29:14] 607*2^1390853-1 is not prime. Res64: 1C2F7AE7EA60A6D8 Time : 0.0 sec. user=mdettweiler [2015-02-12 04:41:44] 715*2^1390853-1 is not prime. Res64: 879BBC171EF5BA9F Time : 0.0 sec. user=mdettweiler [2015-02-12 04:41:44] 735*2^1390853-1 is not prime. Res64: A74E309C9390F5B6 Time : 0.0 sec. user=mdettweiler [2015-02-12 04:41:47] 861*2^1390853-1 is not prime. Res64: BF362003EA12354F Time : 0.0 sec. user=mdettweiler [2015-02-12 04:41:48] 897*2^1390853-1 is not prime. Res64: 30B3CCF09F5FECD7 Time : 0.0 sec. user=mdettweiler [2015-02-12 04:42:08] 987*2^1390853-1 is not prime. Res64: 513974CBE9FE73BB Time : 0.0 sec. user=mdettweiler [2015-02-12 04:42:09] 663*2^1390854-1 is not prime. Res64: 1F427CA7D81A8692 Time : 0.0 sec. user=mdettweiler [2015-02-12 04:55:02] 671*2^1390854-1 is not prime. Res64: 57F77B00E346F1F2 Time : 0.0 sec. user=mdettweiler [2015-02-12 04:55:02] 707*2^1390854-1 is not prime. Res64: 43C543FCF8B3A1F2 Time : 0.0 sec. user=mdettweiler [2015-02-12 05:07:55] 741*2^1390854-1 is not prime. Res64: F172CC575FCCE635 Time : 0.0 sec. user=mdettweiler [2015-02-12 05:07:56] 791*2^1390854-1 is not prime. Res64: 7ADBD36CEA1E023A Time : 0.0 sec. user=mdettweiler [2015-02-12 05:08:15] 947*2^1390854-1 is not prime. Res64: 450212E513B7D1B2 Time : 0.0 sec. user=mdettweiler [2015-02-12 05:08:15] 971*2^1390854-1 is not prime. Res64: 369A5DC626DE6838 Time : 0.0 sec. user=mdettweiler [2015-02-12 05:08:31] 893*2^1390854-1 is not prime. Res64: C2275B68538195B1 Time : 0.0 sec. user=mdettweiler [2015-02-12 05:08:32] 927*2^1390854-1 is not prime. Res64: AF5A9D1C91501CD5 Time : 0.0 sec. user=mdettweiler [2015-02-12 05:21:07] 741*2^1390855-1 is not prime. Res64: 309714682CA13F7E Time : 0.0 sec. user=mdettweiler [2015-02-12 05:21:08] 765*2^1390855-1 is not prime. Res64: FDFD7E3175250744 Time : 0.0 sec. user=mdettweiler [2015-02-12 05:35:04] 805*2^1390855-1 is not prime. Res64: 237B1B75ACDA43FC Time : 0.0 sec. user=mdettweiler [2015-02-12 05:35:05] 771*2^1390855-1 is not prime. Res64: F1BD0611CFD1AB66 Time : 0.0 sec. user=mdettweiler [2015-02-12 05:35:05] 843*2^1390855-1 is not prime. Res64: BDB8B667A5F1988A Time : 0.0 sec. user=mdettweiler [2015-02-12 05:35:05] 789*2^1390855-1 is not prime. Res64: 2C804B1E880A2B27 Time : 0.0 sec. user=mdettweiler [2015-02-12 05:35:35] 853*2^1390855-1 is not prime. Res64: E64EEF6B3E054E2B Time : 0.0 sec. user=mdettweiler [2015-02-12 05:35:35] 889*2^1390855-1 is not prime. Res64: AF19E17656EBF94D Time : 0.0 sec. user=mdettweiler [2015-02-12 05:48:33] 939*2^1390855-1 is not prime. Res64: C51E6CFB12FD12E3 Time : 0.0 sec. user=mdettweiler [2015-02-12 05:48:33] 609*2^1390856-1 is not prime. Res64: 6C0363FD3199F448 Time : 0.0 sec. user=mdettweiler [2015-02-12 06:01:37] 623*2^1390856-1 is not prime. Res64: 015B1F27065A2B6B Time : 0.0 sec. user=mdettweiler [2015-02-12 06:01:37] 803*2^1390856-1 is not prime. Res64: 25994E5178AC1693 Time : 0.0 sec. user=mdettweiler [2015-02-12 06:02:46] 839*2^1390856-1 is not prime. Res64: 6856ECE5ABE546EB Time : 0.0 sec. user=mdettweiler [2015-02-12 06:02:47] 857*2^1390856-1 is not prime. Res64: ABF5BA42954622A5 Time : 0.0 sec. user=mdettweiler [2015-02-12 06:03:25] 873*2^1390856-1 is not prime. Res64: A45E8358E5F5D357 Time : 0.0 sec. user=mdettweiler [2015-02-12 06:03:26] 897*2^1390856-1 is not prime. Res64: 75018ECD5FED66AB Time : 0.0 sec. user=mdettweiler [2015-02-12 06:14:51] 917*2^1390856-1 is not prime. Res64: 927D568BEDB2A3E4 Time : 0.0 sec. user=mdettweiler [2015-02-12 06:14:51] 661*2^1390857-1 is not prime. Res64: CD5722179DE1F07E Time : 0.0 sec. user=mdettweiler [2015-02-12 06:28:34] 685*2^1390857-1 is not prime. Res64: 2E90011EC634B62C Time : 0.0 sec. user=mdettweiler [2015-02-12 06:28:35] 795*2^1390857-1 is not prime. Res64: 56914EA4A8C3FC44 Time : 0.0 sec. user=mdettweiler [2015-02-12 06:29:35] 889*2^1390857-1 is not prime. Res64: F21E84E13B4100CE Time : 0.0 sec. user=mdettweiler [2015-02-12 06:29:35] 979*2^1390857-1 is not prime. Res64: 4EEA18D79DFDB47E Time : 0.0 sec. user=mdettweiler [2015-02-12 06:29:52] 605*2^1390858-1 is not prime. Res64: 83FD037347929E9A Time : 0.0 sec. user=mdettweiler [2015-02-12 06:29:53] 651*2^1390858-1 is not prime. Res64: 861A89499859B60C Time : 0.0 sec. user=mdettweiler [2015-02-12 06:42:30] 687*2^1390858-1 is not prime. Res64: 282D04C0F8B6436E Time : 0.0 sec. user=mdettweiler [2015-02-12 06:42:30] 723*2^1390858-1 is not prime. Res64: D5138A57A93F777F Time : 0.0 sec. user=juhehe [2015-02-12 06:45:37] 803*2^1390858-1 is not prime. Res64: 84046DA066DCCE0A Time : 0.0 sec. user=mdettweiler [2015-02-12 06:55:29] 887*2^1390858-1 is not prime. Res64: 5882E5EDAF597963 Time : 0.0 sec. user=mdettweiler [2015-02-12 06:55:29] 891*2^1390858-1 is not prime. Res64: CDFEBC4E45C83307 Time : 0.0 sec. user=mdettweiler [2015-02-12 06:56:09] 645*2^1390859-1 is not prime. Res64: AD23865FC0FF26D0 Time : 0.0 sec. user=mdettweiler [2015-02-12 06:56:10] 669*2^1390859-1 is not prime. Res64: E8A674E03DF52ECF Time : 0.0 sec. user=mdettweiler [2015-02-12 06:56:32] 987*2^1390858-1 is not prime. Res64: 7E6286E248E3828D Time : 0.0 sec. user=mdettweiler [2015-02-12 06:56:32] 609*2^1390859-1 is not prime. Res64: B8067AB833EF5D94 Time : 0.0 sec. user=mdettweiler [2015-02-12 07:09:16] 775*2^1390859-1 is not prime. Res64: ACA52E3936E17BB5 Time : 0.0 sec. user=mdettweiler [2015-02-12 07:09:17] 811*2^1390859-1 is not prime. Res64: 00093D7EE0C95137 Time : 0.0 sec. user=mdettweiler [2015-02-12 07:22:09] 903*2^1390859-1 is not prime. Res64: 672E4E53182FABB5 Time : 0.0 sec. user=mdettweiler [2015-02-12 07:22:10] 909*2^1390859-1 is not prime. Res64: 43323CCD4F34D620 Time : 0.0 sec. user=mdettweiler [2015-02-12 07:22:18] 943*2^1390859-1 is not prime. Res64: 3E9C1FCFABC35152 Time : 0.0 sec. user=mdettweiler [2015-02-12 07:22:18] 623*2^1390860-1 is not prime. Res64: 55F6A4FA7133C387 Time : 0.0 sec. user=mdettweiler [2015-02-12 07:23:17] 635*2^1390860-1 is not prime. Res64: 8BE0319DA2AE3A1F Time : 0.0 sec. user=mdettweiler [2015-02-12 07:23:17] 669*2^1390860-1 is not prime. Res64: B511A70846993C98 Time : 0.0 sec. user=mdettweiler [2015-02-12 07:35:34] 695*2^1390860-1 is not prime. Res64: 21EED3A7B2260C57 Time : 0.0 sec. user=mdettweiler [2015-02-12 07:35:35] 767*2^1390860-1 is not prime. Res64: 797A24DF69B1C0D7 Time : 0.0 sec. user=mdettweiler [2015-02-12 07:49:58] 777*2^1390860-1 is not prime. Res64: C05BDCAF77DCE0CD Time : 0.0 sec. user=mdettweiler [2015-02-12 07:49:58] 803*2^1390860-1 is not prime. Res64: 255E511B8277DF66 Time : 0.0 sec. user=mdettweiler [2015-02-12 07:49:58] 783*2^1390860-1 is not prime. Res64: 287FE393B0F5BBD5 Time : 0.0 sec. user=mdettweiler [2015-02-12 07:49:58] 615*2^1390861-1 is not prime. Res64: A4A9EBB8ADFBA42B Time : 0.0 sec. user=mdettweiler [2015-02-12 07:50:01] 717*2^1390861-1 is not prime. Res64: 89770DA0A15B3970 Time : 0.0 sec. user=mdettweiler [2015-02-12 07:50:01] 847*2^1390861-1 is not prime. Res64: E50BFF8330BD479C Time : 0.0 sec. user=mdettweiler [2015-02-12 08:03:18] 849*2^1390861-1 is not prime. Res64: 1DC132285D0F5C73 Time : 0.0 sec. user=mdettweiler [2015-02-12 08:03:20] 867*2^1390861-1 is not prime. Res64: 33237734BCB5FEB8 Time : 0.0 sec. user=mdettweiler [2015-02-12 08:16:48] 987*2^1390861-1 is not prime. Res64: 71F6B91C4B2BE8E9 Time : 0.0 sec. user=mdettweiler [2015-02-12 08:16:49] 997*2^1390861-1 is not prime. Res64: 48A098A0A8FB7133 Time : 0.0 sec. user=mdettweiler [2015-02-12 08:18:16] 801*2^1390862-1 is not prime. Res64: 45AD6D4841B4C302 Time : 0.0 sec. user=mdettweiler [2015-02-12 08:18:16] 945*2^1390862-1 is not prime. Res64: 7204122CDCA55882 Time : 0.0 sec. user=mdettweiler [2015-02-12 08:19:07] 635*2^1390862-1 is not prime. Res64: 661481D20E0F1D1B Time : 0.0 sec. user=mdettweiler [2015-02-12 08:19:08] 771*2^1390862-1 is not prime. Res64: DA1AA59BA0605000 Time : 0.0 sec. user=mdettweiler [2015-02-12 08:35:44] 957*2^1390862-1 is not prime. Res64: EB7455B76A20D72D Time : 0.0 sec. user=mdettweiler [2015-02-12 08:35:44] 741*2^1390863-1 is not prime. Res64: 23C093DFB8EBE902 Time : 0.0 sec. user=mdettweiler [2015-02-12 08:43:50] 765*2^1390863-1 is not prime. Res64: 7A96BD6C344443D6 Time : 0.0 sec. user=mdettweiler [2015-02-12 08:43:50] 793*2^1390863-1 is not prime. Res64: 90EC7C673A63C379 Time : 0.0 sec. user=mdettweiler [2015-02-12 08:46:57] 795*2^1390863-1 is not prime. Res64: FBF3691C2028D205 Time : 0.0 sec. user=mdettweiler [2015-02-12 08:46:58] 861*2^1390863-1 is not prime. Res64: 5077BEE2BB716D8C Time : 0.0 sec. user=mdettweiler [2015-02-12 08:47:36] 949*2^1390863-1 is not prime. Res64: C04BDB42AF7A71CE Time : 0.0 sec. user=mdettweiler [2015-02-12 08:47:37] 605*2^1390864-1 is not prime. Res64: AD67E096071C16C4 Time : 0.0 sec. user=mdettweiler [2015-02-12 09:02:21] 687*2^1390864-1 is not prime. Res64: B4DDC1BD77C70902 Time : 0.0 sec. user=mdettweiler [2015-02-12 09:02:23] 695*2^1390864-1 is not prime. Res64: 8CFC9031B62E2D21 Time : 0.0 sec. user=mdettweiler [2015-02-12 09:11:46] 873*2^1390864-1 is not prime. Res64: BD6C254BB9F4A9E1 Time : 0.0 sec. user=mdettweiler [2015-02-12 09:11:46] 929*2^1390864-1 is not prime. Res64: 94281CD0319CBE8D Time : 0.0 sec. user=mdettweiler [2015-02-12 09:15:11] 959*2^1390864-1 is not prime. Res64: EAA1BFF65FCFC383 Time : 0.0 sec. user=mdettweiler [2015-02-12 09:15:12] 685*2^1390865-1 is not prime. Res64: 33F25576E0F68730 Time : 0.0 sec. user=mdettweiler [2015-02-12 09:16:09] 717*2^1390865-1 is not prime. Res64: 1CA725A1594E5B07 Time : 0.0 sec. user=mdettweiler [2015-02-12 09:16:09] 735*2^1390865-1 is not prime. Res64: 2E596181AECCD7C6 Time : 0.0 sec. user=mdettweiler [2015-02-12 09:30:08] 871*2^1390865-1 is not prime. Res64: CF739290D1E9D6D9 Time : 0.0 sec. user=mdettweiler [2015-02-12 09:30:09] 889*2^1390865-1 is not prime. Res64: C5CF271468F55F76 Time : 0.0 sec. user=mdettweiler [2015-02-12 09:41:53] 897*2^1390865-1 is not prime. Res64: 9EEDEDE2ABDA0BD6 Time : 0.0 sec. user=mdettweiler [2015-02-12 09:41:54] 627*2^1390866-1 is not prime. Res64: 25C3C2146678F8EF Time : 0.0 sec. user=mdettweiler [2015-02-12 09:42:51] 705*2^1390866-1 is not prime. Res64: 6E23ED5B90EAB13B Time : 0.0 sec. user=mdettweiler [2015-02-12 09:42:52] 735*2^1390866-1 is not prime. Res64: CD77D98DB48B3C11 Time : 0.0 sec. user=mdettweiler [2015-02-12 09:43:13] 767*2^1390866-1 is not prime. Res64: D24C02F2EAE27BF5 Time : 0.0 sec. user=mdettweiler [2015-02-12 09:43:14] 783*2^1390866-1 is not prime. Res64: B49BEADBB0ED9D44 Time : 0.0 sec. user=mdettweiler [2015-02-12 09:56:58] 803*2^1390866-1 is not prime. Res64: 49532BA017F7FC9F Time : 0.0 sec. user=mdettweiler [2015-02-12 09:56:58] 893*2^1390866-1 is not prime. Res64: E04CE0EB2FCC2DBF Time : 0.0 sec. user=mdettweiler [2015-02-12 10:11:26] 691*2^1390867-1 is not prime. Res64: 8155B30B3C6E852F Time : 0.0 sec. user=mdettweiler [2015-02-12 10:11:27] 733*2^1390867-1 is not prime. Res64: 78ED1BFFFC401FBF Time : 0.0 sec. user=mdettweiler [2015-02-12 10:11:41] 621*2^1390867-1 is not prime. Res64: 3AE39F04DC50E3FD Time : 0.0 sec. user=mdettweiler [2015-02-12 10:11:41] 673*2^1390867-1 is not prime. Res64: 78E73DB6F3212297 Time : 0.0 sec. user=mdettweiler [2015-02-12 10:12:54] 751*2^1390867-1 is not prime. Res64: BE56978B14243AE6 Time : 0.0 sec. user=mdettweiler [2015-02-12 10:12:54] 793*2^1390867-1 is not prime. Res64: 1C5BF9F3B31A17CC Time : 0.0 sec. user=mdettweiler [2015-02-12 10:25:10] 939*2^1390867-1 is not prime. Res64: 53D071404A906499 Time : 0.0 sec. user=mdettweiler [2015-02-12 10:25:10] 993*2^1390867-1 is not prime. Res64: 6B1F11A42E17BBB4 Time : 0.0 sec. user=mdettweiler [2015-02-12 10:39:49] 687*2^1390868-1 is not prime. Res64: 1E444032D7B823C4 Time : 0.0 sec. user=mdettweiler [2015-02-12 10:39:50] 753*2^1390868-1 is not prime. Res64: 9A61E6BC6090D782 Time : 0.0 sec. user=mdettweiler [2015-02-12 10:40:58] 795*2^1390868-1 is not prime. Res64: 1D619CCF46B0C778 Time : 0.0 sec. user=mdettweiler [2015-02-12 10:40:58] 867*2^1390868-1 is not prime. Res64: 527972FBA7B581BF Time : 0.0 sec. user=mdettweiler [2015-02-12 10:41:04] 959*2^1390868-1 is not prime. Res64: D34B6A9E9AAEB695 Time : 0.0 sec. user=mdettweiler [2015-02-12 10:41:04] 987*2^1390868-1 is not prime. Res64: 7A98E67CF295B838 Time : 0.0 sec. user=mdettweiler [2015-02-12 10:53:46] 735*2^1390869-1 is not prime. Res64: 0FBA010E596EF538 Time : 0.0 sec. user=mdettweiler [2015-02-12 10:53:47] 745*2^1390869-1 is not prime. Res64: B65CE1F7C4CE07F8 Time : 0.0 sec. user=mdettweiler [2015-02-12 11:10:50] 787*2^1390869-1 is not prime. Res64: 8EB7EF4D5C7F9702 Time : 0.0 sec. user=mdettweiler [2015-02-12 11:10:51] 713*2^1390870-1 is not prime. Res64: 0FCBFD3F86D65E83 Time : 0.0 sec. user=mdettweiler [2015-02-12 11:11:02] 785*2^1390870-1 is not prime. Res64: 03D882982F2D75F8 Time : 0.0 sec. user=mdettweiler [2015-02-12 11:11:02] 843*2^1390870-1 is not prime. Res64: 59686B48BC32054B Time : 0.0 sec. user=mdettweiler [2015-02-12 11:12:59] 867*2^1390870-1 is not prime. Res64: 1DBA7C0A25CB4F61 Time : 0.0 sec. user=mdettweiler [2015-02-12 11:13:00] 995*2^1390870-1 is not prime. Res64: C6E4DA13886F3063 Time : 0.0 sec. user=mdettweiler [2015-02-12 11:26:09] 813*2^1390871-1 is not prime. Res64: 37337BF4CE0D8B72 Time : 0.0 sec. user=mdettweiler [2015-02-12 11:26:10] 825*2^1390871-1 is not prime. Res64: F3B798A18014869E Time : 0.0 sec. user=mdettweiler [2015-02-12 11:39:14] 859*2^1390871-1 is not prime. Res64: 1E92DB4BFADF70D0 Time : 0.0 sec. user=mdettweiler [2015-02-12 11:39:14] 879*2^1390871-1 is not prime. Res64: 9ED7FE489DB70C68 Time : 0.0 sec. user=mdettweiler [2015-02-12 11:40:28] 973*2^1390871-1 is not prime. Res64: 4C67F0E558887798 Time : 0.0 sec. user=mdettweiler [2015-02-12 11:40:29] 605*2^1390872-1 is not prime. Res64: 5F7BF1D3343646B7 Time : 0.0 sec. user=mdettweiler [2015-02-12 11:41:41] 657*2^1390872-1 is not prime. Res64: 36AD157C9E072A13 Time : 0.0 sec. user=mdettweiler [2015-02-12 11:41:41] 737*2^1390872-1 is not prime. Res64: 0394AB60D6DAA4A9 Time : 0.0 sec. user=mdettweiler [2015-02-12 11:53:54] 687*2^1390873-1 is not prime. Res64: 2CCFB620900B29E8 Time : 0.0 sec. user=mdettweiler [2015-02-12 11:53:55] 741*2^1390873-1 is not prime. Res64: 42F262895C88AAB7 Time : 0.0 sec. user=mdettweiler [2015-02-12 12:07:12] 789*2^1390873-1 is not prime. Res64: DA2640421EAC66D4 Time : 0.0 sec. user=mdettweiler [2015-02-12 12:07:13] 805*2^1390873-1 is not prime. Res64: F8297D9E9ACCDEFE Time : 0.0 sec. user=mdettweiler [2015-02-12 12:08:03] 855*2^1390873-1 is not prime. Res64: 9D8393DCD3F7602D Time : 0.0 sec. user=mdettweiler [2015-02-12 12:08:04] 861*2^1390873-1 is not prime. Res64: 3298874330310D99 Time : 0.0 sec. user=mdettweiler [2015-02-12 12:10:15] 867*2^1390873-1 is not prime. Res64: 39C238899CB9C107 Time : 0.0 sec. user=mdettweiler [2015-02-12 12:10:16] 915*2^1390873-1 is not prime. Res64: 7EE6A3F8A90EA1DB Time : 0.0 sec. user=mdettweiler [2015-02-12 12:20:09] 939*2^1390873-1 is not prime. Res64: 6AAC0EC1C1836F7D Time : 0.0 sec. user=mdettweiler [2015-02-12 12:20:10] 617*2^1390874-1 is not prime. Res64: 6410991E2B807502 Time : 0.0 sec. user=mdettweiler [2015-02-12 12:33:03] 701*2^1390874-1 is not prime. Res64: 1D6BDE26421F0875 Time : 0.0 sec. user=mdettweiler [2015-02-12 12:33:03] 705*2^1390874-1 is not prime. Res64: C5C3E7C3AEEA977A Time : 0.0 sec. user=mdettweiler [2015-02-12 12:33:59] 917*2^1390874-1 is not prime. Res64: E5C08EF479085D7B Time : 0.0 sec. user=mdettweiler [2015-02-12 12:34:00] 751*2^1390875-1 is not prime. Res64: AC6B27C7E7F9B4CF Time : 0.0 sec. user=mdettweiler [2015-02-12 12:36:13] 781*2^1390875-1 is not prime. Res64: CEB3A546B796C414 Time : 0.0 sec. user=mdettweiler [2015-02-12 12:36:13] 819*2^1390875-1 is not prime. Res64: 60FD55A017EF14F2 Time : 0.0 sec. user=mdettweiler [2015-02-12 12:46:15] 829*2^1390875-1 is not prime. Res64: 8576815DDF4D8A4B Time : 0.0 sec. user=mdettweiler [2015-02-12 12:46:15] 853*2^1390875-1 is not prime. Res64: 2503B19FE2F1B054 Time : 0.0 sec. user=mdettweiler [2015-02-12 12:59:40] 913*2^1390875-1 is not prime. Res64: 4FC582B45898F55E Time : 0.0 sec. user=mdettweiler [2015-02-12 12:59:40] 943*2^1390875-1 is not prime. Res64: A07D7480F0F4CC30 Time : 0.0 sec. user=mdettweiler [2015-02-12 13:00:45] 963*2^1390875-1 is not prime. Res64: 8B9541A547E5BA3D Time : 0.0 sec. user=mdettweiler [2015-02-12 13:00:46] 749*2^1390876-1 is not prime. Res64: 9FC81A031501FB19 Time : 0.0 sec. user=mdettweiler [2015-02-12 13:03:52] 833*2^1390876-1 is not prime. Res64: BDA56F95BB6C9AE4 Time : 0.0 sec. user=mdettweiler [2015-02-12 13:03:55] 649*2^1390877-1 is not prime. Res64: B0D1DB82BEDDB456 Time : 0.0 sec. user=mdettweiler [2015-02-12 13:16:00] 675*2^1390877-1 is not prime. Res64: 5EAD7A086411178E Time : 0.0 sec. user=mdettweiler [2015-02-12 13:16:01] 691*2^1390877-1 is not prime. Res64: 0CF6AAF6796FC6F0 Time : 0.0 sec. user=mdettweiler [2015-02-12 13:28:30] 759*2^1390877-1 is not prime. Res64: 97618FA0EBB0E857 Time : 0.0 sec. user=mdettweiler [2015-02-12 13:28:31] 771*2^1390877-1 is not prime. Res64: D43F9323748C43DD Time : 0.0 sec. user=mdettweiler [2015-02-12 13:30:24] 825*2^1390877-1 is not prime. Res64: B9BDABFF7F981632 Time : 0.0 sec. user=mdettweiler [2015-02-12 13:30:24] 879*2^1390877-1 is not prime. Res64: B35F548148248457 Time : 0.0 sec. user=mdettweiler [2015-02-12 13:33:03] 925*2^1390877-1 is not prime. Res64: B3C54FF09F2E3DCA Time : 0.0 sec. user=mdettweiler [2015-02-12 13:33:03] 641*2^1390878-1 is not prime. Res64: F9BD3D7B18B8EB5C Time : 0.0 sec. user=juhehe [2015-02-12 13:35:04] 693*2^1390878-1 is not prime. Res64: AE98399126E79E29 Time : 0.0 sec. user=mdettweiler [2015-02-12 13:42:19] 765*2^1390878-1 is not prime. Res64: 96D167269FDC9915 Time : 0.0 sec. user=mdettweiler [2015-02-12 13:42:20] 971*2^1390878-1 is not prime. Res64: 9F8DE98791A628CE Time : 0.0 sec. user=mdettweiler [2015-02-12 13:55:01] 975*2^1390878-1 is not prime. Res64: 7F841A5FFF71A41A Time : 0.0 sec. user=mdettweiler [2015-02-12 13:55:01] 619*2^1390879-1 is not prime. Res64: 921D47648E507977 Time : 0.0 sec. user=mdettweiler [2015-02-12 13:56:55] 811*2^1390879-1 is not prime. Res64: 84CBAC496A8F2E3F Time : 0.0 sec. user=mdettweiler [2015-02-12 13:56:56] 813*2^1390879-1 is not prime. Res64: F46D25BFA35C3B97 Time : 0.0 sec. user=mdettweiler [2015-02-12 13:59:57] 831*2^1390879-1 is not prime. Res64: 4A3E74C4169DF4DD Time : 0.0 sec. user=mdettweiler [2015-02-12 13:59:57] 909*2^1390879-1 is not prime. Res64: 6D3FCFEB21FC3850 Time : 0.0 sec. user=mdettweiler [2015-02-12 14:09:25] 615*2^1390880-1 is not prime. Res64: 72E4511B2A302528 Time : 0.0 sec. user=mdettweiler [2015-02-12 14:09:26] 669*2^1390880-1 is not prime. Res64: DE6F13F87D5486FD Time : 0.0 sec. user=mdettweiler [2015-02-12 14:22:02] 773*2^1390880-1 is not prime. Res64: 32AB8DE81FB078A7 Time : 0.0 sec. user=mdettweiler [2015-02-12 14:22:02] 819*2^1390880-1 is not prime. Res64: FDD519CAE165E449 Time : 0.0 sec. user=mdettweiler [2015-02-12 14:24:05] 875*2^1390880-1 is not prime. Res64: 4A45212E0E5E068E Time : 0.0 sec. user=mdettweiler [2015-02-12 14:24:05] 923*2^1390880-1 is not prime. Res64: D5B7982C4D8E70D2 Time : 0.0 sec. user=mdettweiler [2015-02-12 14:27:21] 945*2^1390880-1 is not prime. Res64: 339A40DF6439B62F Time : 0.0 sec. user=mdettweiler [2015-02-12 14:27:21] 999*2^1390880-1 is not prime. Res64: ED420179870E7593 Time : 0.0 sec. user=mdettweiler [2015-02-12 14:36:25] 625*2^1390881-1 is not prime. Res64: 749B39BDE37205E3 Time : 0.0 sec. user=mdettweiler [2015-02-12 14:36:25] 781*2^1390881-1 is not prime. Res64: 0AD59FE2D438E241 Time : 0.0 sec. user=mdettweiler [2015-02-12 14:49:46] 861*2^1390881-1 is not prime. Res64: 6A018EE9EC6CC841 Time : 0.0 sec. user=mdettweiler [2015-02-12 14:49:46] 907*2^1390881-1 is not prime. Res64: 2B45142632A55B65 Time : 0.0 sec. user=mdettweiler [2015-02-12 14:53:43] 603*2^1390882-1 is not prime. Res64: 43BBDD49516FB7A9 Time : 0.0 sec. user=mdettweiler [2015-02-12 14:53:43] 657*2^1390882-1 is not prime. Res64: 23C4D01BE2868D73 Time : 0.0 sec. user=mdettweiler [2015-02-12 14:56:48] 701*2^1390882-1 is not prime. Res64: FAB83BB5D59ADEA8 Time : 0.0 sec. user=mdettweiler [2015-02-12 14:56:49] 735*2^1390882-1 is not prime. Res64: B75E653B02411E6D Time : 0.0 sec. user=mdettweiler [2015-02-12 15:06:06] 885*2^1390882-1 is not prime. Res64: DD274AC3A1027DCC Time : 0.0 sec. user=mdettweiler [2015-02-12 15:06:07] 987*2^1390882-1 is not prime. Res64: AD530DBEAE4690B6 Time : 0.0 sec. user=mdettweiler [2015-02-12 15:18:26] 693*2^1390883-1 is not prime. Res64: 227872D161C6C810 Time : 0.0 sec. user=mdettweiler [2015-02-12 15:18:26] 689*2^1390884-1 is not prime. Res64: 49C2E7FCC1599948 Time : 0.0 sec. user=mdettweiler [2015-02-12 15:21:15] 873*2^1390884-1 is not prime. Res64: 215D7611DB666570 Time : 0.0 sec. user=mdettweiler [2015-02-12 15:21:15] 887*2^1390884-1 is not prime. Res64: 328D070B14620355 Time : 0.0 sec. user=mdettweiler [2015-02-12 15:24:16] 909*2^1390884-1 is not prime. Res64: F0B43E80AF656E88 Time : 0.0 sec. user=mdettweiler [2015-02-12 15:24:16] 927*2^1390884-1 is not prime. Res64: A3EBFB3E9E0FD306 Time : 0.0 sec. user=mdettweiler [2015-02-12 15:34:10] 649*2^1390885-1 is not prime. Res64: E078E07313BC6F2E Time : 0.0 sec. user=mdettweiler [2015-02-12 15:34:10] 759*2^1390885-1 is not prime. Res64: DEC2491DB6DF3EAB Time : 0.0 sec. user=mdettweiler [2015-02-12 15:48:09] 855*2^1390885-1 is not prime. Res64: 43E748FAFB159CFF Time : 0.0 sec. user=mdettweiler [2015-02-12 15:48:10] 919*2^1390885-1 is not prime. Res64: 106C3079337FEFC1 Time : 0.0 sec. user=mdettweiler [2015-02-12 15:51:32] 951*2^1390885-1 is not prime. Res64: 456C32F734E2FFEE Time : 0.0 sec. user=mdettweiler [2015-02-12 15:51:33] 813*2^1390886-1 is not prime. Res64: DA3E54B03E4AB0B7 Time : 0.0 sec. user=mdettweiler [2015-02-12 15:54:46] 843*2^1390886-1 is not prime. Res64: C10EAAC766D459C4 Time : 0.0 sec. user=mdettweiler [2015-02-12 15:54:47] 887*2^1390886-1 is not prime. Res64: 6FC53CFAC9243654 Time : 0.0 sec. user=mdettweiler [2015-02-12 16:04:06] 897*2^1390886-1 is not prime. Res64: 3DA6796B2859E966 Time : 0.0 sec. user=mdettweiler [2015-02-12 16:04:08] 625*2^1390887-1 is not prime. Res64: D3C2C628EB05101A Time : 0.0 sec. user=mdettweiler [2015-02-12 16:15:25] 649*2^1390887-1 is not prime. Res64: C174DF1AE74748B1 Time : 0.0 sec. user=mdettweiler [2015-02-12 16:15:26] 735*2^1390887-1 is not prime. Res64: CF62098B84B9EC49 Time : 0.0 sec. user=mdettweiler [2015-02-12 16:17:42] 751*2^1390887-1 is not prime. Res64: 0C28B15C0E659457 Time : 0.0 sec. user=mdettweiler [2015-02-12 16:17:43] 793*2^1390887-1 is not prime. Res64: CFD1E61BE24F8277 Time : 0.0 sec. user=mdettweiler [2015-02-12 16:20:59] 805*2^1390887-1 is not prime. Res64: D2362DC2AD40B651 Time : 0.0 sec. user=mdettweiler [2015-02-12 16:21:00] 823*2^1390887-1 is not prime. Res64: 795B6DB626AC9893 Time : 0.0 sec. user=mdettweiler [2015-02-12 16:30:42] 871*2^1390887-1 is not prime. Res64: DD9BFF03A6E59B2E Time : 0.0 sec. user=mdettweiler [2015-02-12 16:30:42] 615*2^1390888-1 is not prime. Res64: 0DB75F60E28EFFD6 Time : 0.0 sec. user=mdettweiler [2015-02-12 16:41:45] 665*2^1390888-1 is not prime. Res64: FBB8A12EC59925E9 Time : 0.0 sec. user=mdettweiler [2015-02-12 16:41:45] 863*2^1390888-1 is not prime. Res64: 294E621F5A560B28 Time : 0.0 sec. user=mdettweiler [2015-02-12 16:43:51] 905*2^1390888-1 is not prime. Res64: 97E08FA3C842EAFB Time : 0.0 sec. user=mdettweiler [2015-02-12 16:43:52] 995*2^1390888-1 is not prime. Res64: 2CCE2FC9B08D19C1 Time : 0.0 sec. user=mdettweiler [2015-02-12 16:47:20] 999*2^1390888-1 is not prime. Res64: A79CCA5CF8F2792E Time : 0.0 sec. user=mdettweiler [2015-02-12 16:47:20] 601*2^1390889-1 is not prime. Res64: 240DAA08544FA696 Time : 0.0 sec. user=mdettweiler [2015-02-12 16:56:51] 721*2^1390889-1 is not prime. Res64: 0301E25F03A71BD5 Time : 0.0 sec. user=mdettweiler [2015-02-12 16:56:52] 789*2^1390889-1 is not prime. Res64: B05BEA2595B5384F Time : 0.0 sec. user=mdettweiler [2015-02-12 17:07:49] 819*2^1390889-1 is not prime. Res64: 57EA67D7CA5356D9 Time : 0.0 sec. user=mdettweiler [2015-02-12 17:07:49] 957*2^1390889-1 is not prime. Res64: 4EAB93D4727F9A48 Time : 0.0 sec. user=mdettweiler [2015-02-12 17:09:48] 611*2^1390890-1 is not prime. Res64: EB142CAC51DA3918 Time : 0.0 sec. user=mdettweiler [2015-02-12 17:09:49] 845*2^1390890-1 is not prime. Res64: 0257819BCF38359E Time : 0.0 sec. user=mdettweiler [2015-02-12 17:13:26] 885*2^1390890-1 is not prime. Res64: A6C2D2A8362CBA82 Time : 0.0 sec. user=mdettweiler [2015-02-12 17:13:26] 891*2^1390890-1 is not prime. Res64: 214D285BDBDE8CF3 Time : 0.0 sec. user=mdettweiler [2015-02-12 17:22:55] 945*2^1390890-1 is not prime. Res64: C32C1E8C157E39FA Time : 0.0 sec. user=mdettweiler [2015-02-12 17:22:55] 951*2^1390890-1 is not prime. Res64: 8BA7751DA1E20864 Time : 0.0 sec. user=mdettweiler [2015-02-12 17:34:02] 619*2^1390891-1 is not prime. Res64: 95D84329BECB1E08 Time : 0.0 sec. user=mdettweiler [2015-02-12 17:34:03] 631*2^1390891-1 is not prime. Res64: 913855E1CB464640 Time : 0.0 sec. user=mdettweiler [2015-02-12 17:35:54] 673*2^1390891-1 is not prime. Res64: 7A5E90C42A0F6B5B Time : 0.0 sec. user=mdettweiler [2015-02-12 17:35:55] 675*2^1390891-1 is not prime. Res64: BB6CDFEED5B11003 Time : 0.0 sec. user=mdettweiler [2015-02-12 17:39:31] 745*2^1390891-1 is not prime. Res64: B43A0C48B3C18F64 Time : 0.0 sec. user=mdettweiler [2015-02-12 17:39:32] 805*2^1390891-1 is not prime. Res64: 6D42976F54885657 Time : 0.0 sec. user=mdettweiler [2015-02-12 17:49:01] 931*2^1390891-1 is not prime. Res64: 7F12E20C9B9D1C6C Time : 0.0 sec. user=mdettweiler [2015-02-12 17:49:01] 993*2^1390891-1 is not prime. Res64: D2D11A0AAB7E03CE Time : 0.0 sec. user=mdettweiler [2015-02-12 18:00:01] 803*2^1390892-1 is not prime. Res64: C46F09F51626A170 Time : 0.0 sec. user=mdettweiler [2015-02-12 18:00:02] 827*2^1390892-1 is not prime. Res64: 147E3F3AA7BCA4B6 Time : 0.0 sec. user=mdettweiler [2015-02-12 18:01:56] 855*2^1390892-1 is not prime. Res64: 233F859D7A72D6EB Time : 0.0 sec. user=mdettweiler [2015-02-12 18:01:57] 995*2^1390892-1 is not prime. Res64: D1AE816FCFC5B8E5 Time : 0.0 sec. user=mdettweiler [2015-02-12 18:05:27] 685*2^1390893-1 is not prime. Res64: 27CD928A48529C0C Time : 0.0 sec. user=mdettweiler [2015-02-12 18:05:29] 699*2^1390893-1 is not prime. Res64: 97FCC037FD9A3A91 Time : 0.0 sec. user=mdettweiler [2015-02-12 18:14:56] 721*2^1390893-1 is not prime. Res64: 3F337580438FAD5A Time : 0.0 sec. user=mdettweiler [2015-02-12 18:14:57] 819*2^1390893-1 is not prime. Res64: D828FAF9A36C8C8F Time : 0.0 sec. user=mdettweiler [2015-02-12 18:25:56] 921*2^1390893-1 is not prime. Res64: 750FE0497540F7AD Time : 0.0 sec. user=mdettweiler [2015-02-12 18:25:57] 937*2^1390893-1 is not prime. Res64: 0D71A79EA0611373 Time : 0.0 sec. user=mdettweiler [2015-02-12 18:28:07] 621*2^1390894-1 is not prime. Res64: C6E8053A35C77646 Time : 0.0 sec. user=mdettweiler [2015-02-12 18:28:07] 785*2^1390894-1 is not prime. Res64: 14DFA2C359F70CB9 Time : 0.0 sec. user=mdettweiler [2015-02-12 18:31:29] 861*2^1390894-1 is not prime. Res64: 32A893B8F861F138 Time : 0.0 sec. user=mdettweiler [2015-02-12 18:31:29] 923*2^1390894-1 is not prime. Res64: 6019D551F88BE7D1 Time : 0.0 sec. user=mdettweiler [2015-02-12 18:40:59] 601*2^1390895-1 is not prime. Res64: 6BEEA2A66037F75F Time : 0.0 sec. user=mdettweiler [2015-02-12 18:40:59] 651*2^1390895-1 is not prime. Res64: 3ADB8D3BE67181FF Time : 0.0 sec. user=mdettweiler [2015-02-12 18:52:02] 655*2^1390895-1 is not prime. Res64: 2AADEC31635440FF Time : 0.0 sec. user=mdettweiler [2015-02-12 18:52:03] 825*2^1390895-1 is not prime. Res64: 8594624D6C51ED3E Time : 0.0 sec. user=mdettweiler [2015-02-12 18:54:09] 889*2^1390895-1 is not prime. Res64: 548BFF8BCA0EEFEB Time : 0.0 sec. user=mdettweiler [2015-02-12 18:54:09] 943*2^1390895-1 is not prime. Res64: C179B6C515BE562B Time : 0.0 sec. user=mdettweiler [2015-02-12 18:57:28] 737*2^1390896-1 is not prime. Res64: 611C793791150E87 Time : 0.0 sec. user=mdettweiler [2015-02-12 18:57:29] 887*2^1390896-1 is not prime. Res64: D61718CEBA4A4524 Time : 0.0 sec. user=mdettweiler [2015-02-12 19:07:31] 945*2^1390896-1 is not prime. Res64: 271274CD4F641A9E Time : 0.0 sec. user=mdettweiler [2015-02-12 19:07:31] 947*2^1390896-1 is not prime. Res64: 245CDA7C575081E6 Time : 0.0 sec. user=mdettweiler [2015-02-12 19:19:14] 983*2^1390896-1 is not prime. Res64: EDA2CED088D41E69 Time : 0.0 sec. user=mdettweiler [2015-02-12 19:19:15] 699*2^1390897-1 is not prime. Res64: E1AD54D903EDD0FD Time : 0.0 sec. user=mdettweiler [2015-02-12 19:21:06] 801*2^1390897-1 is not prime. Res64: 9BC9F74DB1AD0400 Time : 0.0 sec. user=mdettweiler [2015-02-12 19:21:07] 841*2^1390897-1 is not prime. Res64: 3F9400F984E8E5C9 Time : 0.0 sec. user=mdettweiler [2015-02-12 19:25:11] 861*2^1390897-1 is not prime. Res64: A6D9FDC04B2BDE16 Time : 0.0 sec. user=mdettweiler [2015-02-12 19:25:11] 901*2^1390897-1 is not prime. Res64: D176D2A18608E7B7 Time : 0.0 sec. user=mdettweiler [2015-02-12 19:34:51] 939*2^1390897-1 is not prime. Res64: A137C96ACB01C943 Time : 0.0 sec. user=mdettweiler [2015-02-12 19:34:52] 999*2^1390897-1 is not prime. Res64: 5EC5C9CE51E03029 Time : 0.0 sec. user=mdettweiler [2015-02-12 19:46:27] 617*2^1390898-1 is not prime. Res64: B147959EA7443DE5 Time : 0.0 sec. user=mdettweiler [2015-02-12 19:46:28] 713*2^1390898-1 is not prime. Res64: 7F09196A041A4055 Time : 0.0 sec. user=mdettweiler [2015-02-12 19:48:27] 767*2^1390898-1 is not prime. Res64: C96E0994570E50B0 Time : 0.0 sec. user=mdettweiler [2015-02-12 19:48:28] 621*2^1390899-1 is not prime. Res64: 4FE750369AA2F283 Time : 0.0 sec. user=mdettweiler [2015-02-12 19:53:06] 663*2^1390899-1 is not prime. Res64: CB3ED5F628C2936C Time : 0.0 sec. user=mdettweiler [2015-02-12 19:53:06] 745*2^1390899-1 is not prime. Res64: 606C0381CD9918D6 Time : 0.0 sec. user=mdettweiler [2015-02-12 20:02:44] 801*2^1390899-1 is not prime. Res64: 96CA4A058E52C6E8 Time : 0.0 sec. user=mdettweiler [2015-02-12 20:02:46] 623*2^1390900-1 is not prime. Res64: EE378BE9E746850D Time : 0.0 sec. user=mdettweiler [2015-02-12 20:13:28] 677*2^1390900-1 is not prime. Res64: 3528155865A16CAA Time : 0.0 sec. user=mdettweiler [2015-02-12 20:13:28] 693*2^1390900-1 is not prime. Res64: 44FD9AFFCFD92985 Time : 0.0 sec. user=mdettweiler [2015-02-12 20:15:37] 743*2^1390900-1 is not prime. Res64: 757ADCD4B4C39BFC Time : 0.0 sec. user=mdettweiler [2015-02-12 20:15:38] 797*2^1390900-1 is not prime. Res64: 220E6A4728B785D6 Time : 0.0 sec. user=mdettweiler [2015-02-12 20:20:19] 819*2^1390900-1 is not prime. Res64: B30DB73F919608E0 Time : 0.0 sec. user=mdettweiler [2015-02-12 20:20:19] 887*2^1390900-1 is not prime. Res64: 511D378EB598DD10 Time : 0.0 sec. user=mdettweiler [2015-02-12 20:30:36] 939*2^1390900-1 is not prime. Res64: 82692475AEBA1287 Time : 0.0 sec. user=mdettweiler [2015-02-12 20:30:37] 789*2^1390901-1 is not prime. Res64: 13BF38E83F39F320 Time : 0.0 sec. user=mdettweiler [2015-02-12 20:40:59] 627*2^1390902-1 is not prime. Res64: 2579D2FFBEB889E9 Time : 0.0 sec. user=mdettweiler [2015-02-12 20:40:59] 723*2^1390902-1 is not prime. Res64: 5FF06022F515CA66 Time : 0.0 sec. user=mdettweiler [2015-02-12 20:43:27] 731*2^1390902-1 is not prime. Res64: BF68FE5C70B5857E Time : 0.0 sec. user=mdettweiler [2015-02-12 20:43:27] 737*2^1390902-1 is not prime. Res64: 75EC60D6C1252FD9 Time : 0.0 sec. user=mdettweiler [2015-02-12 20:47:38] 873*2^1390902-1 is not prime. Res64: 5A656E36DAF56C10 Time : 0.0 sec. user=mdettweiler [2015-02-12 20:47:38] 887*2^1390902-1 is not prime. Res64: 250C8753D0D3C969 Time : 0.0 sec. user=mdettweiler [2015-02-12 20:58:15] 621*2^1390903-1 is not prime. Res64: 44E39BC80FA3317F Time : 0.0 sec. user=mdettweiler [2015-02-12 20:58:15] 693*2^1390903-1 is not prime. Res64: 17F9CAA77EFD5A69 Time : 0.0 sec. user=mdettweiler [2015-02-12 21:08:25] 705*2^1390903-1 is not prime. Res64: 3B2768C27CBD4992 Time : 0.0 sec. user=mdettweiler [2015-02-12 21:08:25] 829*2^1390903-1 is not prime. Res64: 99E1C4AA0882B30F Time : 0.0 sec. user=mdettweiler [2015-02-12 21:10:58] 855*2^1390903-1 is not prime. Res64: 89066CF01574240D Time : 0.0 sec. user=mdettweiler [2015-02-12 21:10:58] 665*2^1390904-1 is not prime. Res64: 6A768647078085DA Time : 0.0 sec. user=mdettweiler [2015-02-12 21:14:47] 795*2^1390904-1 is not prime. Res64: 12B1B6D773C00C55 Time : 0.0 sec. user=mdettweiler [2015-02-12 21:14:47] 915*2^1390904-1 is not prime. Res64: D3DE63D402F551A8 Time : 0.0 sec. user=mdettweiler [2015-02-12 21:25:25] 927*2^1390904-1 is not prime. Res64: 33A80E48C8338452 Time : 0.0 sec. user=mdettweiler [2015-02-12 21:25:25] 649*2^1390905-1 is not prime. Res64: DAB6258B8B930E23 Time : 0.0 sec. user=mdettweiler [2015-02-12 21:36:12] 751*2^1390905-1 is not prime. Res64: 27C391D94DA5156D Time : 0.0 sec. user=mdettweiler [2015-02-12 21:36:12] 817*2^1390905-1 is not prime. Res64: 7422F7085D534EBD Time : 0.0 sec. user=mdettweiler [2015-02-12 21:39:31] 837*2^1390905-1 is not prime. Res64: 86BC3B5E64C66F91 Time : 0.0 sec. user=mdettweiler [2015-02-12 21:39:31] 915*2^1390905-1 is not prime. Res64: CAB19D78D483C7E7 Time : 0.0 sec. user=mdettweiler [2015-02-12 21:41:49] 919*2^1390905-1 is not prime. Res64: B7F4AFC44A512B49 Time : 0.0 sec. user=mdettweiler [2015-02-12 21:41:49] 997*2^1390905-1 is not prime. Res64: 7FAA06C86776147E Time : 0.0 sec. user=mdettweiler [2015-02-12 21:52:18] 647*2^1390906-1 is not prime. Res64: C9701C17FE732915 Time : 0.0 sec. user=mdettweiler [2015-02-12 21:52:18] 677*2^1390906-1 is not prime. Res64: 2255923803CD3584 Time : 0.0 sec. user=juhehe [2015-02-12 21:55:37] 803*2^1390906-1 is not prime. Res64: CCA1A3720AAEC12F Time : 0.0 sec. user=mdettweiler [2015-02-12 22:03:25] 843*2^1390906-1 is not prime. Res64: 0E2ADF427EA93E15 Time : 0.0 sec. user=mdettweiler [2015-02-12 22:03:26] 887*2^1390906-1 is not prime. Res64: 0B0BA340C4B23F01 Time : 0.0 sec. user=mdettweiler [2015-02-12 22:07:07] 917*2^1390906-1 is not prime. Res64: 1FB01F9A13E2E480 Time : 0.0 sec. user=mdettweiler [2015-02-12 22:07:08] 975*2^1390906-1 is not prime. Res64: E0C826759BD2AB4A Time : 0.0 sec. user=mdettweiler [2015-02-12 22:09:28] 735*2^1390907-1 is not prime. Res64: 305E0878EDA149EE Time : 0.0 sec. user=mdettweiler [2015-02-12 22:09:28] 841*2^1390907-1 is not prime. Res64: 5290C8ED41CED2BB Time : 0.0 sec. user=mdettweiler [2015-02-12 22:19:23] 861*2^1390907-1 is not prime. Res64: 33A2C667934F818F Time : 0.0 sec. user=mdettweiler [2015-02-12 22:19:23] 939*2^1390907-1 is not prime. Res64: B44F66EEDB11EB97 Time : 0.0 sec. user=mdettweiler [2015-02-12 22:31:50] 665*2^1390908-1 is not prime. Res64: 7D3B7286D1EB9BC6 Time : 0.0 sec. user=mdettweiler [2015-02-12 22:31:50] 707*2^1390908-1 is not prime. Res64: E83682519B838EF3 Time : 0.0 sec. user=mdettweiler [2015-02-12 22:34:25] 905*2^1390908-1 is not prime. Res64: 9691112B73E797E3 Time : 0.0 sec. user=mdettweiler [2015-02-12 22:34:25] 975*2^1390908-1 is not prime. Res64: 41998125A9E1C8A6 Time : 0.0 sec. user=mdettweiler [2015-02-12 22:36:55] 999*2^1390908-1 is not prime. Res64: D642AC3E90BD759C Time : 0.0 sec. user=mdettweiler [2015-02-12 22:36:56] 639*2^1390909-1 is not prime. Res64: C41A22D80B94FBFB Time : 0.0 sec. user=mdettweiler [2015-02-12 23:01:09] 861*2^1390909-1 is not prime. Res64: 4369B4A77A831E0B Time : 0.0 sec. user=mdettweiler [2015-02-12 23:01:11] 885*2^1390909-1 is not prime. Res64: BBA3FF87C441DDD4 Time : 0.0 sec. user=mdettweiler [2015-02-12 23:01:12] 801*2^1390909-1 is not prime. Res64: CE40D6ED79CB778D Time : 0.0 sec. user=mdettweiler [2015-02-12 23:01:13] 829*2^1390909-1 is not prime. Res64: 01BF66C937DC2FD7 Time : 0.0 sec. user=mdettweiler [2015-02-12 23:13:39] 939*2^1390909-1 is not prime. Res64: 9A87BF697C78E9C5 Time : 0.0 sec. user=mdettweiler [2015-02-12 23:13:40] 627*2^1390910-1 is not prime. Res64: 4030949E3A758193 Time : 0.0 sec. user=mdettweiler [2015-02-12 23:13:56] 717*2^1390910-1 is not prime. Res64: D9FA370C3FD44565 Time : 0.0 sec. user=mdettweiler [2015-02-12 23:13:57] 791*2^1390910-1 is not prime. Res64: 9C6CE43AA3481DD7 Time : 0.0 sec. user=mdettweiler [2015-02-12 23:28:19] 893*2^1390910-1 is not prime. Res64: 0C0CA9E66AF801E9 Time : 0.0 sec. user=mdettweiler [2015-02-12 23:28:19] 923*2^1390910-1 is not prime. Res64: A90BC2811548663C Time : 0.0 sec. user=mdettweiler [2015-02-12 23:29:08] 861*2^1390910-1 is not prime. Res64: 31E6D01D5E51D0E5 Time : 0.0 sec. user=mdettweiler [2015-02-12 23:29:09] 885*2^1390910-1 is not prime. Res64: E29BAA3C4BB5D79F Time : 0.0 sec. user=mdettweiler [2015-02-12 23:40:50] 693*2^1390911-1 is not prime. Res64: 5D65A14E5CCB5960 Time : 0.0 sec. user=mdettweiler [2015-02-12 23:40:50] 703*2^1390911-1 is not prime. Res64: CCD963220BFCEAA9 Time : 0.0 sec. user=mdettweiler [2015-02-12 23:41:15] 953*2^1390910-1 is not prime. Res64: EB9288EB6BF126EE Time : 0.0 sec. user=mdettweiler [2015-02-12 23:41:15] 625*2^1390911-1 is not prime. Res64: 1915B975ABF0F3F0 Time : 0.0 sec. user=mdettweiler [2015-02-12 23:54:02] 705*2^1390911-1 is not prime. Res64: 77CADEA87B4842C5 Time : 0.0 sec. user=mdettweiler [2015-02-12 23:54:02] 741*2^1390911-1 is not prime. Res64: ED26DAC1574C1D70 Time : 0.0 sec. user=mdettweiler [2015-02-12 23:54:50] 793*2^1390911-1 is not prime. Res64: 60D99D884ED86E2E Time : 0.0 sec. user=mdettweiler [2015-02-12 23:54:50] 955*2^1390911-1 is not prime. Res64: D459683DE846CC60 Time : 0.0 sec.