user=mdettweiler [2013-03-25 00:11:42] 909*2^1243348-1 is not prime. Res64: F9C8BC68AE80591A Time : 0.0 sec. user=mdettweiler [2013-03-25 00:11:43] 929*2^1243348-1 is not prime. Res64: 8216E6370D1CA3BC Time : 0.0 sec. user=mdettweiler [2013-03-25 00:16:45] 975*2^1243348-1 is not prime. Res64: C24AEE94175645D8 Time : 0.0 sec. user=mdettweiler [2013-03-25 00:16:45] 649*2^1243349-1 is not prime. Res64: 2C4786B6E2ECB9D8 Time : 0.0 sec. user=mdettweiler [2013-03-25 00:29:09] 861*2^1243349-1 is not prime. Res64: 3C3E485EE4901093 Time : 0.0 sec. user=mdettweiler [2013-03-25 00:29:10] 797*2^1243350-1 is not prime. Res64: 73F7D765623111C6 Time : 0.0 sec. user=mdettweiler [2013-03-25 00:34:11] 915*2^1243350-1 is not prime. Res64: E60ECC5495758356 Time : 0.0 sec. user=mdettweiler [2013-03-25 00:34:12] 609*2^1243351-1 is not prime. Res64: A1295FAF5BFAEC0E Time : 0.0 sec. user=mdettweiler [2013-03-25 00:46:36] 649*2^1243351-1 is not prime. Res64: 2362ECE414E5D7F7 Time : 0.0 sec. user=mdettweiler [2013-03-25 00:46:37] 735*2^1243351-1 is not prime. Res64: 2E0FDD2532670A60 Time : 0.0 sec. user=mdettweiler [2013-03-25 00:51:37] 759*2^1243351-1 is not prime. Res64: 45FB85F4629D52A5 Time : 0.0 sec. user=mdettweiler [2013-03-25 00:51:37] 793*2^1243351-1 is not prime. Res64: 2D6C52C96983820D Time : 0.0 sec. user=mdettweiler [2013-03-25 01:04:09] 925*2^1243351-1 is not prime. Res64: 2CB620A67E0E2E85 Time : 0.0 sec. user=mdettweiler [2013-03-25 01:04:10] 939*2^1243351-1 is not prime. Res64: 03D3D0BDF20E6533 Time : 0.0 sec. user=mdettweiler [2013-03-25 01:09:10] 993*2^1243351-1 is not prime. Res64: BB5B1D1A8D6A720B Time : 0.0 sec. user=mdettweiler [2013-03-25 01:09:11] 657*2^1243352-1 is not prime. Res64: 44E3E2A35E8C8951 Time : 0.0 sec. user=juhehe [2013-03-25 01:16:05] 789*2^1243349-1 is not prime. Res64: 29F1683CD7F2F5E5 Time : 0.0 sec. user=mdettweiler [2013-03-25 01:21:40] 677*2^1243352-1 is not prime. Res64: F7A3397090C9C551 Time : 0.0 sec. user=mdettweiler [2013-03-25 01:21:41] 699*2^1243352-1 is not prime. Res64: 94F5811242A72403 Time : 0.0 sec. user=mdettweiler [2013-03-25 01:26:38] 719*2^1243352-1 is not prime. Res64: BDAD08CD435FDAB1 Time : 0.0 sec. user=mdettweiler [2013-03-25 01:26:38] 753*2^1243352-1 is not prime. Res64: 4CE878E4E8E06BA2 Time : 0.0 sec. user=mdettweiler [2013-03-25 01:39:07] 767*2^1243352-1 is not prime. Res64: ADC864E36FDE0C7E Time : 0.0 sec. user=mdettweiler [2013-03-25 01:39:08] 855*2^1243352-1 is not prime. Res64: 101F12A8360953CC Time : 0.0 sec. user=mdettweiler [2013-03-25 01:44:06] 923*2^1243352-1 is not prime. Res64: ECBC63AAD646F092 Time : 0.0 sec. user=mdettweiler [2013-03-25 01:44:07] 995*2^1243352-1 is not prime. Res64: 808D13BFCF56DEF4 Time : 0.0 sec. user=mdettweiler [2013-03-25 01:56:35] 999*2^1243352-1 is not prime. Res64: 7CAB8A0937C3ED0B Time : 0.0 sec. user=mdettweiler [2013-03-25 01:56:36] 657*2^1243353-1 is not prime. Res64: E5BA1271E1CD39B7 Time : 0.0 sec. user=mdettweiler [2013-03-25 02:01:35] 769*2^1243353-1 is not prime. Res64: 36964650C017CA03 Time : 0.0 sec. user=mdettweiler [2013-03-25 02:01:37] 835*2^1243353-1 is not prime. Res64: 82567C7546B02AED Time : 0.0 sec. user=juhehe [2013-03-25 02:06:18] 665*2^1243352-1 is not prime. Res64: BBECAE08F8708F21 Time : 0.0 sec. user=mdettweiler [2013-03-25 02:14:02] 849*2^1243353-1 is not prime. Res64: C2B417D1C5A7CC3F Time : 0.0 sec. user=mdettweiler [2013-03-25 02:14:03] 861*2^1243353-1 is not prime. Res64: E8310882A1886229 Time : 0.0 sec. user=mdettweiler [2013-03-25 02:19:06] 895*2^1243353-1 is not prime. Res64: 7B566E2933C72744 Time : 0.0 sec. user=mdettweiler [2013-03-25 02:19:07] 951*2^1243353-1 is not prime. Res64: E55330FD967BEC27 Time : 0.0 sec. user=mdettweiler [2013-03-25 02:31:32] 969*2^1243353-1 is not prime. Res64: D01BEB976FBEB894 Time : 0.0 sec. user=mdettweiler [2013-03-25 02:31:33] 987*2^1243353-1 is not prime. Res64: 4FC17B47D3EC9E53 Time : 0.0 sec. user=mdettweiler [2013-03-25 02:36:34] 617*2^1243354-1 is not prime. Res64: 2075F2B89CD3A87F Time : 0.0 sec. user=mdettweiler [2013-03-25 02:36:36] 635*2^1243354-1 is not prime. Res64: 72631DF2B19C0234 Time : 0.0 sec. user=mdettweiler [2013-03-25 02:49:16] 773*2^1243354-1 is not prime. Res64: 4F2F137B199CF5BE Time : 0.0 sec. user=mdettweiler [2013-03-25 02:49:17] 887*2^1243354-1 is not prime. Res64: A593DEE33D6D55E3 Time : 0.0 sec. user=mdettweiler [2013-03-25 02:54:05] 923*2^1243354-1 is not prime. Res64: FB6DF9C195BB7714 Time : 0.0 sec. user=mdettweiler [2013-03-25 02:54:06] 669*2^1243355-1 is not prime. Res64: F57C17AB071E58D9 Time : 0.0 sec. user=mdettweiler [2013-03-25 03:06:55] 939*2^1243355-1 is not prime. Res64: F3B90C871349D9A1 Time : 0.0 sec. user=mdettweiler [2013-03-25 03:06:56] 973*2^1243355-1 is not prime. Res64: 1299D480A4996420 Time : 0.0 sec. user=mdettweiler [2013-03-25 03:11:32] 623*2^1243356-1 is not prime. Res64: D25F807956F47B85 Time : 0.0 sec. user=mdettweiler [2013-03-25 03:11:33] 723*2^1243356-1 is not prime. Res64: 1B47ED1CB29A678F Time : 0.0 sec. user=mdettweiler [2013-03-25 03:24:28] 725*2^1243356-1 is not prime. Res64: 0C6909E709B47E77 Time : 0.0 sec. user=mdettweiler [2013-03-25 03:24:28] 845*2^1243356-1 is not prime. Res64: 88ADABE4004D9A7A Time : 0.0 sec. user=mdettweiler [2013-03-25 03:28:59] 615*2^1243357-1 is not prime. Res64: C39A4745C5D16089 Time : 0.0 sec. user=mdettweiler [2013-03-25 03:29:00] 649*2^1243357-1 is not prime. Res64: 8ECFB51B099B2774 Time : 0.0 sec. user=mdettweiler [2013-03-25 03:41:57] 817*2^1243357-1 is not prime. Res64: 097BF6896CCB28EB Time : 0.0 sec. user=mdettweiler [2013-03-25 03:41:58] 919*2^1243357-1 is not prime. Res64: 884064A6FA13893D Time : 0.0 sec. user=mdettweiler [2013-03-25 03:46:27] 997*2^1243357-1 is not prime. Res64: 3E118EB9F3014537 Time : 0.0 sec. user=mdettweiler [2013-03-25 03:46:28] 767*2^1243358-1 is not prime. Res64: 3C89619C4FA581F5 Time : 0.0 sec. user=mdettweiler [2013-03-25 03:59:30] 861*2^1243358-1 is not prime. Res64: 3E9AB161EDC6CA4F Time : 0.0 sec. user=mdettweiler [2013-03-25 03:59:30] 923*2^1243358-1 is not prime. Res64: 2A250E7EEAF246A8 Time : 0.0 sec. user=mdettweiler [2013-03-25 04:03:55] 927*2^1243358-1 is not prime. Res64: BDA8A2BB7775C4E2 Time : 0.0 sec. user=mdettweiler [2013-03-25 04:03:56] 963*2^1243358-1 is not prime. Res64: 523782AFEC406C26 Time : 0.0 sec. user=juhehe [2013-03-25 04:12:54] 601*2^1243357-1 is not prime. Res64: 5B73D06AC54E4B8E Time : 0.0 sec. user=mdettweiler [2013-03-25 04:16:58] 693*2^1243359-1 is not prime. Res64: C1458B66C879DA1F Time : 0.0 sec. user=mdettweiler [2013-03-25 04:16:58] 741*2^1243359-1 is not prime. Res64: E74150EDC6230BEE Time : 0.0 sec. user=mdettweiler [2013-03-25 04:21:26] 823*2^1243359-1 is not prime. Res64: 7695A6A4F9F2CE9C Time : 0.0 sec. user=mdettweiler [2013-03-25 04:21:27] 865*2^1243359-1 is not prime. Res64: 5ED21C694A1AE014 Time : 0.0 sec. user=juhehe [2013-03-25 04:25:40] 759*2^1243357-1 is not prime. Res64: 8B4C89169B9BEF4F Time : 0.0 sec. user=mdettweiler [2013-03-25 04:34:29] 891*2^1243359-1 is not prime. Res64: 2FCD588A3FA9CE98 Time : 0.0 sec. user=mdettweiler [2013-03-25 04:34:30] 951*2^1243359-1 is not prime. Res64: 8A02F97AB99C6EC5 Time : 0.0 sec. user=mdettweiler [2013-03-25 04:38:53] 695*2^1243360-1 is not prime. Res64: 4984C6420F8529EC Time : 0.0 sec. user=mdettweiler [2013-03-25 04:38:53] 777*2^1243360-1 is not prime. Res64: 52592D78CF51606E Time : 0.0 sec. user=mdettweiler [2013-03-25 04:52:06] 857*2^1243360-1 is not prime. Res64: FE0CB4F8BFE07B9D Time : 0.0 sec. user=mdettweiler [2013-03-25 04:52:07] 927*2^1243360-1 is not prime. Res64: E63A7D5A67BB73EC Time : 0.0 sec. user=mdettweiler [2013-03-25 04:56:21] 965*2^1243360-1 is not prime. Res64: BEE80877B4FA8392 Time : 0.0 sec. user=mdettweiler [2013-03-25 04:56:21] 631*2^1243361-1 is not prime. Res64: 4BA045E080632902 Time : 0.0 sec. user=mdettweiler [2013-03-25 05:09:35] 651*2^1243361-1 is not prime. Res64: AA64AD03C760578D Time : 0.0 sec. user=mdettweiler [2013-03-25 05:09:37] 711*2^1243361-1 is not prime. Res64: 01304DD8A12B926B Time : 0.0 sec. user=mdettweiler [2013-03-25 05:13:48] 741*2^1243361-1 is not prime. Res64: 3F8014C55E882B83 Time : 0.0 sec. user=mdettweiler [2013-03-25 05:13:48] 769*2^1243361-1 is not prime. Res64: AD11480F94E2E859 Time : 0.0 sec. user=mdettweiler [2013-03-25 05:27:11] 775*2^1243361-1 is not prime. Res64: A7C769402F516A7E Time : 0.0 sec. user=mdettweiler [2013-03-25 05:27:12] 777*2^1243361-1 is not prime. Res64: 93B74FE6DBC516A4 Time : 0.0 sec. user=mdettweiler [2013-03-25 05:31:16] 885*2^1243361-1 is not prime. Res64: B68AFBB09B5972E2 Time : 0.0 sec. user=mdettweiler [2013-03-25 05:31:16] 665*2^1243362-1 is not prime. Res64: 8852D434C99DFAAA Time : 0.0 sec. user=mdettweiler [2013-03-25 05:44:39] 705*2^1243362-1 is not prime. Res64: EC76FA440633C58F Time : 0.0 sec. user=mdettweiler [2013-03-25 05:44:40] 791*2^1243362-1 is not prime. Res64: 31B1C70E9BA32122 Time : 0.0 sec. user=mdettweiler [2013-03-25 05:48:43] 821*2^1243362-1 is not prime. Res64: 64A01D26C7FDAFCA Time : 0.0 sec. user=mdettweiler [2013-03-25 05:48:44] 891*2^1243362-1 is not prime. Res64: C31049733FBEB330 Time : 0.0 sec. user=mdettweiler [2013-03-25 06:02:09] 921*2^1243362-1 is not prime. Res64: E9181D343E5541F5 Time : 0.0 sec. user=mdettweiler [2013-03-25 06:02:10] 625*2^1243363-1 is not prime. Res64: 857EC448D83E4D4A Time : 0.0 sec. user=mdettweiler [2013-03-25 06:06:11] 793*2^1243363-1 is not prime. Res64: 824D1DA2CD361CDE Time : 0.0 sec. user=mdettweiler [2013-03-25 06:06:12] 871*2^1243363-1 is not prime. Res64: 3906E940220E13A7 Time : 0.0 sec. user=mdettweiler [2013-03-25 06:19:48] 913*2^1243363-1 is not prime. Res64: AF3EF131D0BD9702 Time : 0.0 sec. user=mdettweiler [2013-03-25 06:19:49] 803*2^1243364-1 is not prime. Res64: 86D710E379950CD5 Time : 0.0 sec. user=juhehe [2013-03-25 06:20:13] 677*2^1243362-1 is not prime. Res64: 79D53E76A6EF1604 Time : 0.0 sec. user=mdettweiler [2013-03-25 06:23:41] 969*2^1243364-1 is not prime. Res64: AA60F6728A4421B3 Time : 0.0 sec. user=mdettweiler [2013-03-25 06:23:41] 607*2^1243365-1 is not prime. Res64: 2A481E62094D85D4 Time : 0.0 sec. user=juhehe [2013-03-25 06:32:32] 797*2^1243362-1 is not prime. Res64: 539D292A32EA7B54 Time : 0.0 sec. user=mdettweiler [2013-03-25 06:37:19] 685*2^1243365-1 is not prime. Res64: A84830AE2F8E1435 Time : 0.0 sec. user=mdettweiler [2013-03-25 06:37:20] 721*2^1243365-1 is not prime. Res64: B3E743D544ACD431 Time : 0.0 sec. user=mdettweiler [2013-03-25 06:41:09] 831*2^1243365-1 is not prime. Res64: 657ED33C99A0C06A Time : 0.0 sec. user=mdettweiler [2013-03-25 06:41:09] 713*2^1243366-1 is not prime. Res64: 12E88AF4A72C0323 Time : 0.0 sec. user=mdettweiler [2013-03-25 06:54:47] 1001*2^1243366-1 is not prime. Res64: 592DAC59CC2CC975 Time : 0.0 sec. user=mdettweiler [2013-03-25 06:54:48] 661*2^1243367-1 is not prime. Res64: BA3A7F39590DDE11 Time : 0.0 sec. user=mdettweiler [2013-03-25 06:58:37] 685*2^1243367-1 is not prime. Res64: E1E4E90C24DD185C Time : 0.0 sec. user=mdettweiler [2013-03-25 06:58:37] 711*2^1243367-1 is not prime. Res64: 2F241CFAF39D520B Time : 0.0 sec. user=mdettweiler [2013-03-25 07:12:16] 715*2^1243367-1 is not prime. Res64: 355FEBEE22550D86 Time : 0.0 sec. user=mdettweiler [2013-03-25 07:12:17] 823*2^1243367-1 is not prime. Res64: C32D7C6839F16C83 Time : 0.0 sec. user=mdettweiler [2013-03-25 07:16:04] 885*2^1243367-1 is not prime. Res64: 56FEA6C2C99A6D49 Time : 0.0 sec. user=mdettweiler [2013-03-25 07:16:05] 627*2^1243368-1 is not prime. Res64: A475B0D440161F23 Time : 0.0 sec. user=mdettweiler [2013-03-25 07:29:49] 683*2^1243368-1 is not prime. Res64: 4877B8C74D558EC6 Time : 0.0 sec. user=mdettweiler [2013-03-25 07:29:49] 713*2^1243368-1 is not prime. Res64: ACC5311F6A6FACD3 Time : 0.0 sec. user=mdettweiler [2013-03-25 07:33:32] 753*2^1243368-1 is not prime. Res64: AAA32A13E1CAF65B Time : 0.0 sec. user=mdettweiler [2013-03-25 07:33:33] 849*2^1243368-1 is not prime. Res64: 692B5CFB790A2AC1 Time : 0.0 sec. user=mdettweiler [2013-03-25 07:47:16] 601*2^1243369-1 is not prime. Res64: 502004CCA8AEFB9C Time : 0.0 sec. user=mdettweiler [2013-03-25 07:47:17] 615*2^1243369-1 is not prime. Res64: 970CCE992F598F8B Time : 0.0 sec. user=mdettweiler [2013-03-25 07:51:00] 679*2^1243369-1 is not prime. Res64: 37DE00637C63BFD9 Time : 0.0 sec. user=mdettweiler [2013-03-25 07:51:01] 747*2^1243369-1 is not prime. Res64: 9A85692AE7D637EC Time : 0.0 sec. user=mdettweiler [2013-03-25 08:04:44] 819*2^1243369-1 is not prime. Res64: F07B39BD95AFBD18 Time : 0.0 sec. user=mdettweiler [2013-03-25 08:04:45] 635*2^1243370-1 is not prime. Res64: 7AF75127969AE480 Time : 0.0 sec. user=mdettweiler [2013-03-25 08:08:28] 677*2^1243370-1 is not prime. Res64: 566C17D1675605B3 Time : 0.0 sec. user=mdettweiler [2013-03-25 08:08:29] 711*2^1243370-1 is not prime. Res64: D558DCCB0F036D96 Time : 0.0 sec. user=mdettweiler [2013-03-25 08:22:18] 767*2^1243370-1 is not prime. Res64: 51B6866FD0778547 Time : 0.0 sec. user=mdettweiler [2013-03-25 08:22:18] 801*2^1243370-1 is not prime. Res64: 0D0A33F24591C161 Time : 0.0 sec. user=mdettweiler [2013-03-25 08:25:58] 831*2^1243370-1 is not prime. Res64: 61BB33A9C674E41A Time : 0.0 sec. user=mdettweiler [2013-03-25 08:25:58] 935*2^1243370-1 is not prime. Res64: 857C6A74A4FD2E1C Time : 0.0 sec. user=juhehe [2013-03-25 08:29:04] 879*2^1243368-1 is not prime. Res64: 653B14298E6DFED0 Time : 0.0 sec. user=mdettweiler [2013-03-25 08:39:47] 1001*2^1243370-1 is not prime. Res64: 1C2794AEA075346C Time : 0.0 sec. user=mdettweiler [2013-03-25 08:39:47] 613*2^1243371-1 is not prime. Res64: D4830DCC8892D2E1 Time : 0.0 sec. user=juhehe [2013-03-25 08:41:53] 817*2^1243369-1 is not prime. Res64: 74F9A086B1B48C7D Time : 0.0 sec. user=mdettweiler [2013-03-25 08:43:26] 711*2^1243371-1 is not prime. Res64: 5B3C1F4F956F66B6 Time : 0.0 sec. user=mdettweiler [2013-03-25 08:43:26] 793*2^1243371-1 is not prime. Res64: A5FAE679774CBAD8 Time : 0.0 sec. user=mdettweiler [2013-03-25 08:57:14] 949*2^1243371-1 is not prime. Res64: E6182348D7A5DE76 Time : 0.0 sec. user=mdettweiler [2013-03-25 08:57:15] 991*2^1243371-1 is not prime. Res64: 9D7078CDBD04C693 Time : 0.0 sec. user=mdettweiler [2013-03-25 09:00:54] 999*2^1243371-1 is not prime. Res64: 6A3FB144D200A977 Time : 0.0 sec. user=mdettweiler [2013-03-25 09:00:56] 635*2^1243372-1 is not prime. Res64: 84107B5882333757 Time : 0.0 sec. user=mdettweiler [2013-03-25 09:14:43] 657*2^1243372-1 is not prime. Res64: A023D45F4DF8F12F Time : 0.0 sec. user=mdettweiler [2013-03-25 09:14:44] 699*2^1243372-1 is not prime. Res64: 77811C597796902F Time : 0.0 sec. user=mdettweiler [2013-03-25 09:18:25] 777*2^1243372-1 is not prime. Res64: 1AAA608A31E096A6 Time : 0.0 sec. user=mdettweiler [2013-03-25 09:18:25] 797*2^1243372-1 is not prime. Res64: F91484AA98B1E92E Time : 0.0 sec. user=mdettweiler [2013-03-25 09:32:15] 807*2^1243372-1 is not prime. Res64: 3CD307635417DA90 Time : 0.0 sec. user=mdettweiler [2013-03-25 09:32:16] 825*2^1243372-1 is not prime. Res64: 24FC0917149FAE93 Time : 0.0 sec. user=mdettweiler [2013-03-25 09:35:53] 827*2^1243372-1 is not prime. Res64: E7B595B34281009E Time : 0.0 sec. user=mdettweiler [2013-03-25 09:35:53] 869*2^1243372-1 is not prime. Res64: D98E41ED374ADBDC Time : 0.0 sec. user=mdettweiler [2013-03-25 09:49:54] 929*2^1243372-1 is not prime. Res64: AF7921301418F3A8 Time : 0.0 sec. user=mdettweiler [2013-03-25 09:49:54] 607*2^1243373-1 is not prime. Res64: 5E2585117CA6668A Time : 0.0 sec. user=mdettweiler [2013-03-25 09:53:33] 691*2^1243373-1 is not prime. Res64: 732ED28DD2E045E9 Time : 0.0 sec. user=mdettweiler [2013-03-25 09:53:33] 787*2^1243373-1 is not prime. Res64: C62780AACA95625D Time : 0.0 sec. user=mdettweiler [2013-03-25 10:07:31] 859*2^1243373-1 is not prime. Res64: 36DB9E40F51194A3 Time : 0.0 sec. user=mdettweiler [2013-03-25 10:07:32] 897*2^1243373-1 is not prime. Res64: D88D60E767A1322B Time : 0.0 sec. user=mdettweiler [2013-03-25 10:11:07] 979*2^1243373-1 is not prime. Res64: 2C3B85E899F4A810 Time : 0.0 sec. user=mdettweiler [2013-03-25 10:11:08] 611*2^1243374-1 is not prime. Res64: 5B9AF6A219D9B4B0 Time : 0.0 sec. user=mdettweiler [2013-03-25 10:25:06] 627*2^1243374-1 is not prime. Res64: 8F9F6E4B3F5B161F Time : 0.0 sec. user=mdettweiler [2013-03-25 10:25:07] 651*2^1243374-1 is not prime. Res64: D42AEAFF30D7F0FB Time : 0.0 sec. user=mdettweiler [2013-03-25 10:28:37] 717*2^1243374-1 is not prime. Res64: 5442FCE897170B99 Time : 0.0 sec. user=mdettweiler [2013-03-25 10:28:37] 767*2^1243374-1 is not prime. Res64: 780A07A43A2AD0DE Time : 0.0 sec. user=juhehe [2013-03-25 10:39:01] 627*2^1243373-1 is not prime. Res64: D67C55DE965D45BE Time : 0.0 sec. user=mdettweiler [2013-03-25 10:42:34] 791*2^1243374-1 is not prime. Res64: 3AD8898AD289336E Time : 0.0 sec. user=mdettweiler [2013-03-25 10:42:35] 873*2^1243374-1 is not prime. Res64: 1061EE5253871209 Time : 0.0 sec. user=mdettweiler [2013-03-25 10:46:05] 951*2^1243374-1 is not prime. Res64: C38770B46A7A9630 Time : 0.0 sec. user=mdettweiler [2013-03-25 10:46:05] 639*2^1243375-1 is not prime. Res64: AE28382E0987F514 Time : 0.0 sec. user=juhehe [2013-03-25 10:50:26] 805*2^1243373-1 is not prime. Res64: FCBD2E46A48DADE5 Time : 0.0 sec. user=mdettweiler [2013-03-25 11:00:03] 649*2^1243375-1 is not prime. Res64: BD98ACBFF44CCF38 Time : 0.0 sec. user=mdettweiler [2013-03-25 11:00:04] 673*2^1243375-1 is not prime. Res64: 979A00DA3398226B Time : 0.0 sec. user=mdettweiler [2013-03-25 11:03:32] 735*2^1243375-1 is not prime. Res64: CB4CB1B4D05DD9AD Time : 0.0 sec. user=mdettweiler [2013-03-25 11:03:33] 751*2^1243375-1 is not prime. Res64: E00A151022353BE6 Time : 0.0 sec. user=mdettweiler [2013-03-25 11:17:35] 891*2^1243375-1 is not prime. Res64: 6BDAEAEE274355D1 Time : 0.0 sec. user=mdettweiler [2013-03-25 11:17:35] 683*2^1243376-1 is not prime. Res64: 9DEAE0203FE0FDE3 Time : 0.0 sec. user=mdettweiler [2013-03-25 11:21:03] 717*2^1243376-1 is not prime. Res64: B5883B2F074A682C Time : 0.0 sec. user=mdettweiler [2013-03-25 11:21:04] 755*2^1243376-1 is not prime. Res64: D7238AB2DDC0EC17 Time : 0.0 sec. user=mdettweiler [2013-03-25 11:35:07] 759*2^1243376-1 is not prime. Res64: D9542AFE14BEE45B Time : 0.0 sec. user=mdettweiler [2013-03-25 11:35:08] 869*2^1243376-1 is not prime. Res64: 0AF97E64483A6856 Time : 0.0 sec. user=mdettweiler [2013-03-25 11:38:32] 899*2^1243376-1 is not prime. Res64: D48FAA63CE5D8E74 Time : 0.0 sec. user=mdettweiler [2013-03-25 11:38:33] 917*2^1243376-1 is not prime. Res64: 3449C30D9D0283EB Time : 0.0 sec. user=mdettweiler [2013-03-25 11:52:37] 651*2^1243377-1 is not prime. Res64: E1E755D14964AA59 Time : 0.0 sec. user=mdettweiler [2013-03-25 11:52:37] 681*2^1243377-1 is not prime. Res64: 9C56CBA64E9649CF Time : 0.0 sec. user=mdettweiler [2013-03-25 11:56:01] 817*2^1243377-1 is not prime. Res64: 4FB1B40DD866E084 Time : 0.0 sec. user=mdettweiler [2013-03-25 11:56:01] 819*2^1243377-1 is not prime. Res64: 7C01C8DA0974017E Time : 0.0 sec. user=mdettweiler [2013-03-25 12:10:05] 955*2^1243377-1 is not prime. Res64: AF563538539445EB Time : 0.0 sec. user=mdettweiler [2013-03-25 12:10:06] 975*2^1243377-1 is not prime. Res64: EDEDCBDB5A11B712 Time : 0.0 sec. user=mdettweiler [2013-03-25 12:13:29] 681*2^1243378-1 is not prime. Res64: 4BB49A11C41C520F Time : 0.0 sec. user=mdettweiler [2013-03-25 12:13:29] 843*2^1243378-1 is not prime. Res64: 2D9147C06EFBF1D5 Time : 0.0 sec. user=mdettweiler [2013-03-25 12:27:46] 915*2^1243378-1 is not prime. Res64: 5168AEA66814FC7E Time : 0.0 sec. user=mdettweiler [2013-03-25 12:27:47] 923*2^1243378-1 is not prime. Res64: AE7F7DFFB4F727A9 Time : 0.0 sec. user=mdettweiler [2013-03-25 12:31:04] 951*2^1243378-1 is not prime. Res64: CF9A2F887AFA9840 Time : 0.0 sec. user=mdettweiler [2013-03-25 12:31:04] 621*2^1243379-1 is not prime. Res64: C35E8A40645EC2BF Time : 0.0 sec. user=mdettweiler [2013-03-25 12:45:24] 631*2^1243379-1 is not prime. Res64: E2C896678C9B2617 Time : 0.0 sec. user=mdettweiler [2013-03-25 12:45:24] 735*2^1243379-1 is not prime. Res64: F466E4327DEDC65E Time : 0.0 sec. user=juhehe [2013-03-25 12:48:36] 915*2^1243377-1 is not prime. Res64: 98BAEAF21FB5E858 Time : 0.0 sec. user=mdettweiler [2013-03-25 12:48:43] 909*2^1243379-1 is not prime. Res64: 93CEB0110B0C71D8 Time : 0.0 sec. user=mdettweiler [2013-03-25 12:48:43] 647*2^1243380-1 is not prime. Res64: FC6FB90BA124706E Time : 0.0 sec. user=mdettweiler [2013-03-25 13:03:02] 669*2^1243380-1 is not prime. Res64: 7674A74EB2F3F95E Time : 0.0 sec. user=mdettweiler [2013-03-25 13:03:02] 717*2^1243380-1 is not prime. Res64: 16B4674419FEC47C Time : 0.0 sec. user=mdettweiler [2013-03-25 13:06:20] 773*2^1243380-1 is not prime. Res64: 4ED8ED204647669C Time : 0.0 sec. user=mdettweiler [2013-03-25 13:06:21] 795*2^1243380-1 is not prime. Res64: 1780AAE2E29AA918 Time : 0.0 sec. user=juhehe [2013-03-25 13:08:17] 997*2^1243377-1 is not prime. Res64: 508E5520BC82F0C1 Time : 0.0 sec. user=mdettweiler [2013-03-25 13:20:49] 845*2^1243380-1 is not prime. Res64: 64B3F14134CC626C Time : 0.0 sec. user=mdettweiler [2013-03-25 13:20:50] 873*2^1243380-1 is not prime. Res64: 072472E398AA71DE Time : 0.0 sec. user=mdettweiler [2013-03-25 13:24:01] 999*2^1243380-1 is not prime. Res64: EE251CF49DCDB9EE Time : 0.0 sec. user=mdettweiler [2013-03-25 13:24:01] 619*2^1243381-1 is not prime. Res64: 9E2F600132412235 Time : 0.0 sec. user=mdettweiler [2013-03-25 13:38:28] 625*2^1243381-1 is not prime. Res64: 155F1572286DF006 Time : 0.0 sec. user=mdettweiler [2013-03-25 13:38:29] 675*2^1243381-1 is not prime. Res64: A31606336E826A7D Time : 0.0 sec. user=mdettweiler [2013-03-25 13:41:39] 687*2^1243381-1 is not prime. Res64: 72016233390DD2FB Time : 0.0 sec. user=mdettweiler [2013-03-25 13:41:39] 771*2^1243381-1 is not prime. Res64: BADFAE4E07C9C0CF Time : 0.0 sec. user=mdettweiler [2013-03-25 13:56:07] 861*2^1243381-1 is not prime. Res64: 0D812AB83788CA8F Time : 0.0 sec. user=mdettweiler [2013-03-25 13:56:07] 957*2^1243381-1 is not prime. Res64: 8198C02928990E67 Time : 0.0 sec. user=mdettweiler [2013-03-25 13:59:18] 627*2^1243382-1 is not prime. Res64: 06D601CEFFA8F0B8 Time : 0.0 sec. user=mdettweiler [2013-03-25 13:59:18] 683*2^1243382-1 is not prime. Res64: 63F76544BBED4A7B Time : 0.0 sec. user=mdettweiler [2013-03-25 14:13:46] 815*2^1243382-1 is not prime. Res64: D64DC47626662C3A Time : 0.0 sec. user=mdettweiler [2013-03-25 14:13:46] 827*2^1243382-1 is not prime. Res64: EEBD2440E679A62C Time : 0.0 sec. user=mdettweiler [2013-03-25 14:16:56] 893*2^1243382-1 is not prime. Res64: C80706FA69CC576B Time : 0.0 sec. user=mdettweiler [2013-03-25 14:16:57] 923*2^1243382-1 is not prime. Res64: 73EF221727058E95 Time : 0.0 sec. user=mdettweiler [2013-03-25 14:31:19] 613*2^1243383-1 is not prime. Res64: A3BD25845C3AAF01 Time : 0.0 sec. user=mdettweiler [2013-03-25 14:31:19] 795*2^1243383-1 is not prime. Res64: 8ED461FA8EE7EA06 Time : 0.0 sec. user=mdettweiler [2013-03-25 14:34:30] 849*2^1243383-1 is not prime. Res64: 32A89ECF50007483 Time : 0.0 sec. user=mdettweiler [2013-03-25 14:34:31] 879*2^1243383-1 is not prime. Res64: 857E3CA8D7F3FFF6 Time : 0.0 sec. user=mdettweiler [2013-03-25 14:48:51] 949*2^1243383-1 is not prime. Res64: E684758F385B4225 Time : 0.0 sec. user=mdettweiler [2013-03-25 14:48:52] 723*2^1243384-1 is not prime. Res64: 271BC830F8E41B5E Time : 0.0 sec. user=mdettweiler [2013-03-25 14:52:04] 903*2^1243384-1 is not prime. Res64: 2302D4AF5478E1A9 Time : 0.0 sec. user=mdettweiler [2013-03-25 14:52:05] 989*2^1243384-1 is not prime. Res64: 3C04143C92DE3E17 Time : 0.0 sec. user=juhehe [2013-03-25 14:58:06] 785*2^1243382-1 is not prime. Res64: 4748892329D436BA Time : 0.0 sec. user=mdettweiler [2013-03-25 15:06:25] 601*2^1243385-1 is not prime. Res64: 39FEB0D40BEF82BB Time : 0.0 sec. user=mdettweiler [2013-03-25 15:06:26] 787*2^1243385-1 is not prime. Res64: 99E5FECA454E8439 Time : 0.0 sec. user=mdettweiler [2013-03-25 15:09:37] 855*2^1243385-1 is not prime. Res64: 1D3FD3B88079B161 Time : 0.0 sec. user=mdettweiler [2013-03-25 15:09:38] 889*2^1243385-1 is not prime. Res64: A161052EDFEA6155 Time : 0.0 sec. user=mdettweiler [2013-03-25 15:24:05] 937*2^1243385-1 is not prime. Res64: CF168478B171EFC1 Time : 0.0 sec. user=mdettweiler [2013-03-25 15:24:05] 955*2^1243385-1 is not prime. Res64: F5DAEE6730E167BB Time : 0.0 sec. user=juhehe [2013-03-25 15:24:28] 995*2^1243382-1 is not prime. Res64: 3317F42731605235 Time : 0.0 sec. user=mdettweiler [2013-03-25 15:27:12] 987*2^1243385-1 is not prime. Res64: EF2C194BE7EFA442 Time : 0.0 sec. user=mdettweiler [2013-03-25 15:27:13] 683*2^1243386-1 is not prime. Res64: 8E695884507ADADD Time : 0.0 sec. user=mdettweiler [2013-03-25 15:41:41] 695*2^1243386-1 is not prime. Res64: 11C7F9ADD591C5AB Time : 0.0 sec. user=mdettweiler [2013-03-25 15:41:42] 755*2^1243386-1 is not prime. Res64: DC9CACD0929AE279 Time : 0.0 sec. user=mdettweiler [2013-03-25 15:44:45] 867*2^1243386-1 is not prime. Res64: 516FBA031AD74431 Time : 0.0 sec. user=mdettweiler [2013-03-25 15:44:46] 891*2^1243386-1 is not prime. Res64: 1500DF1779F825C9 Time : 0.0 sec. user=mdettweiler [2013-03-25 15:59:15] 615*2^1243387-1 is not prime. Res64: 8FA4C74637BDD2A3 Time : 0.0 sec. user=mdettweiler [2013-03-25 15:59:16] 631*2^1243387-1 is not prime. Res64: CD08B818DAB2E192 Time : 0.0 sec. user=mdettweiler [2013-03-25 16:02:19] 663*2^1243387-1 is not prime. Res64: B0AA42B01F23A2A3 Time : 0.0 sec. user=mdettweiler [2013-03-25 16:02:20] 691*2^1243387-1 is not prime. Res64: A8CAE585DB585C8B Time : 0.0 sec. user=mdettweiler [2013-03-25 16:16:48] 759*2^1243387-1 is not prime. Res64: 20D80F2B1930F43A Time : 0.0 sec. user=mdettweiler [2013-03-25 16:16:49] 915*2^1243387-1 is not prime. Res64: B21A5DED08E1EFA9 Time : 0.0 sec. user=mdettweiler [2013-03-25 16:19:53] 845*2^1243388-1 is not prime. Res64: 804238F76B155B97 Time : 0.0 sec. user=mdettweiler [2013-03-25 16:19:54] 909*2^1243388-1 is not prime. Res64: 8F7FB4D5C4D020EB Time : 0.0 sec. user=mdettweiler [2013-03-25 16:34:22] 999*2^1243388-1 is not prime. Res64: 4013E8A7480BF849 Time : 0.0 sec. user=mdettweiler [2013-03-25 16:34:22] 609*2^1243389-1 is not prime. Res64: 70875334F230DB43 Time : 0.0 sec. user=mdettweiler [2013-03-25 16:37:26] 627*2^1243389-1 is not prime. Res64: AFCB0EEDAD451752 Time : 0.0 sec. user=mdettweiler [2013-03-25 16:37:26] 661*2^1243389-1 is not prime. Res64: 303FD150890FBB9D Time : 0.0 sec. user=mdettweiler [2013-03-25 16:51:54] 685*2^1243389-1 is not prime. Res64: D211232A5B808B5E Time : 0.0 sec. user=mdettweiler [2013-03-25 16:51:54] 765*2^1243389-1 is not prime. Res64: A6E33547FAD21085 Time : 0.0 sec. user=mdettweiler [2013-03-25 16:54:58] 787*2^1243389-1 is not prime. Res64: 7CE2DD279FE887CE Time : 0.0 sec. user=mdettweiler [2013-03-25 16:54:58] 789*2^1243389-1 is not prime. Res64: 7B15E1DFEBF8CA15 Time : 0.0 sec. user=mdettweiler [2013-03-25 17:09:26] 861*2^1243389-1 is not prime. Res64: E33247CC1253BC7A Time : 0.0 sec. user=mdettweiler [2013-03-25 17:09:27] 885*2^1243389-1 is not prime. Res64: BE680527B43ECC90 Time : 0.0 sec. user=mdettweiler [2013-03-25 17:12:31] 987*2^1243389-1 is not prime. Res64: C737ADC717BB84BE Time : 0.0 sec. user=mdettweiler [2013-03-25 17:12:31] 885*2^1243390-1 is not prime. Res64: 7CE64582BD33A4E6 Time : 0.0 sec. user=juhehe [2013-03-25 17:15:19] 961*2^1243387-1 is not prime. Res64: 932D957D7CBF4CD3 Time : 0.0 sec. user=mdettweiler [2013-03-25 17:27:00] 917*2^1243390-1 is not prime. Res64: A00B0E7399349DD9 Time : 0.0 sec. user=mdettweiler [2013-03-25 17:27:00] 603*2^1243391-1 is not prime. Res64: C85F61888FC0C293 Time : 0.0 sec. user=mdettweiler [2013-03-25 17:30:04] 693*2^1243391-1 is not prime. Res64: 4226C8FFB5339412 Time : 0.0 sec. user=mdettweiler [2013-03-25 17:30:04] 813*2^1243391-1 is not prime. Res64: B1EB3650E27D0758 Time : 0.0 sec. user=juhehe [2013-03-25 17:32:17] 669*2^1243389-1 is not prime. Res64: EDC887FCFE7A7E30 Time : 0.0 sec. user=mdettweiler [2013-03-25 17:44:33] 843*2^1243391-1 is not prime. Res64: E6244C7EB2C73A50 Time : 0.0 sec. user=mdettweiler [2013-03-25 17:44:33] 855*2^1243391-1 is not prime. Res64: 258B75695DA8C0E8 Time : 0.0 sec. user=mdettweiler [2013-03-25 17:47:37] 871*2^1243391-1 is not prime. Res64: E0ABEEF1C1B0BCB9 Time : 0.0 sec. user=mdettweiler [2013-03-25 17:47:38] 945*2^1243391-1 is not prime. Res64: C3DC127533A9FB7D Time : 0.0 sec. user=mdettweiler [2013-03-25 18:02:10] 605*2^1243392-1 is not prime. Res64: D3E9D79090A7CAD0 Time : 0.0 sec. user=mdettweiler [2013-03-25 18:02:11] 627*2^1243392-1 is not prime. Res64: BC0598988A356523 Time : 0.0 sec. user=mdettweiler [2013-03-25 18:05:09] 629*2^1243392-1 is not prime. Res64: 5557A8670F53A17E Time : 0.0 sec. user=mdettweiler [2013-03-25 18:05:10] 669*2^1243392-1 is not prime. Res64: 579ACEFA45D2A55E Time : 0.0 sec. user=mdettweiler [2013-03-25 18:19:44] 675*2^1243392-1 is not prime. Res64: 4FCC4E7704A51D1B Time : 0.0 sec. user=mdettweiler [2013-03-25 18:19:45] 693*2^1243392-1 is not prime. Res64: FE7E2D4FAC3DEB53 Time : 0.0 sec. user=mdettweiler [2013-03-25 18:22:42] 713*2^1243392-1 is not prime. Res64: 744D1DAEFF26770A Time : 0.0 sec. user=mdettweiler [2013-03-25 18:22:42] 719*2^1243392-1 is not prime. Res64: DC3F1AD34C1FBA19 Time : 0.0 sec. user=mdettweiler [2013-03-25 18:37:17] 825*2^1243392-1 is not prime. Res64: D447E45B42B55E2F Time : 0.0 sec. user=mdettweiler [2013-03-25 18:37:17] 863*2^1243392-1 is not prime. Res64: 53312CC46EB5F429 Time : 0.0 sec. user=mdettweiler [2013-03-25 18:40:14] 983*2^1243392-1 is not prime. Res64: 333C3C4DE1C63CF5 Time : 0.0 sec. user=mdettweiler [2013-03-25 18:40:14] 619*2^1243393-1 is not prime. Res64: 36644BBF6F0EFE15 Time : 0.0 sec. user=mdettweiler [2013-03-25 18:54:53] 771*2^1243393-1 is not prime. Res64: D607FB75355D9E9D Time : 0.0 sec. user=mdettweiler [2013-03-25 18:54:53] 801*2^1243393-1 is not prime. Res64: B9603F8876A7A84A Time : 0.0 sec. user=mdettweiler [2013-03-25 18:57:50] 861*2^1243393-1 is not prime. Res64: 3E3900C51FEF37F1 Time : 0.0 sec. user=mdettweiler [2013-03-25 18:57:51] 919*2^1243393-1 is not prime. Res64: A4CAD8B58185D391 Time : 0.0 sec. user=mdettweiler [2013-03-25 19:12:32] 925*2^1243393-1 is not prime. Res64: 2CCCCDD46B0EF8D8 Time : 0.0 sec. user=mdettweiler [2013-03-25 19:12:33] 635*2^1243394-1 is not prime. Res64: 7362E781CA6EB256 Time : 0.0 sec. user=mdettweiler [2013-03-25 19:15:29] 741*2^1243394-1 is not prime. Res64: A687DF09E6D88C22 Time : 0.0 sec. user=mdettweiler [2013-03-25 19:15:29] 851*2^1243394-1 is not prime. Res64: 5D8977D1FF0CCDB7 Time : 0.0 sec. user=juhehe [2013-03-25 19:23:56] 725*2^1243392-1 is not prime. Res64: F61E27DCDFE83213 Time : 0.0 sec. user=mdettweiler [2013-03-25 19:30:12] 971*2^1243394-1 is not prime. Res64: 6B893DA605160BE8 Time : 0.0 sec. user=mdettweiler [2013-03-25 19:30:12] 691*2^1243395-1 is not prime. Res64: 8E1E801694887008 Time : 0.0 sec. user=mdettweiler [2013-03-25 19:33:08] 723*2^1243395-1 is not prime. Res64: AA2C9E0A9FFBA9DF Time : 0.0 sec. user=mdettweiler [2013-03-25 19:33:09] 751*2^1243395-1 is not prime. Res64: F37B2C7D6137D1C6 Time : 0.0 sec. user=juhehe [2013-03-25 19:40:47] 745*2^1243393-1 is not prime. Res64: CF0770C616D4FAFE Time : 0.0 sec. user=mdettweiler [2013-03-25 19:47:54] 783*2^1243395-1 is not prime. Res64: F5AFAE07F479E502 Time : 0.0 sec. user=mdettweiler [2013-03-25 19:47:54] 789*2^1243395-1 is not prime. Res64: 3CBC1E8C5DDE7229 Time : 0.0 sec. user=mdettweiler [2013-03-25 19:50:49] 829*2^1243395-1 is not prime. Res64: FFAD61FC4510B4C2 Time : 0.0 sec. user=mdettweiler [2013-03-25 19:50:49] 973*2^1243395-1 is not prime. Res64: 3F7382744EBDCEA5 Time : 0.0 sec. user=mdettweiler [2013-03-25 20:05:34] 843*2^1243396-1 is not prime. Res64: 03CBC6240027F089 Time : 0.0 sec. user=mdettweiler [2013-03-25 20:05:35] 869*2^1243396-1 is not prime. Res64: 4844E4A8DEFB5DB8 Time : 0.0 sec. user=mdettweiler [2013-03-25 20:08:28] 965*2^1243396-1 is not prime. Res64: 9C82FA38D467C916 Time : 0.0 sec. user=mdettweiler [2013-03-25 20:08:29] 969*2^1243396-1 is not prime. Res64: 496D486403139B29 Time : 0.0 sec. user=mdettweiler [2013-03-25 20:23:20] 631*2^1243397-1 is not prime. Res64: 87FDA19F40C306EA Time : 0.0 sec. user=mdettweiler [2013-03-25 20:23:21] 691*2^1243397-1 is not prime. Res64: DEB8C29ED0CE1652 Time : 0.0 sec. user=mdettweiler [2013-03-25 20:26:10] 729*2^1243397-1 is not prime. Res64: 28BEEBDC7881A0B5 Time : 0.0 sec. user=mdettweiler [2013-03-25 20:26:11] 781*2^1243397-1 is not prime. Res64: 2CB3EE7BA6516CFF Time : 0.0 sec. user=mdettweiler [2013-03-25 20:41:03] 805*2^1243397-1 is not prime. Res64: 22EC2CFB156AA730 Time : 0.0 sec. user=mdettweiler [2013-03-25 20:41:03] 837*2^1243397-1 is not prime. Res64: AD6EED3C3459199A Time : 0.0 sec. user=mdettweiler [2013-03-25 20:43:50] 997*2^1243397-1 is not prime. Res64: D3F25E614B3773A9 Time : 0.0 sec. user=mdettweiler [2013-03-25 20:43:51] 657*2^1243398-1 is not prime. Res64: D4B9F63BE8330335 Time : 0.0 sec. user=mdettweiler [2013-03-25 20:58:41] 725*2^1243398-1 is not prime. Res64: 0BF360C56F00B20C Time : 0.0 sec. user=mdettweiler [2013-03-25 20:58:42] 773*2^1243398-1 is not prime. Res64: 0574ADA14C3F9D8E Time : 0.0 sec. user=mdettweiler [2013-03-25 21:01:27] 625*2^1243399-1 is not prime. Res64: 14176318E52E3268 Time : 0.0 sec. user=mdettweiler [2013-03-25 21:01:28] 645*2^1243399-1 is not prime. Res64: 41F1749764A22E0D Time : 0.0 sec. user=mdettweiler [2013-03-25 21:16:16] 663*2^1243399-1 is not prime. Res64: 3C3B3769797A5F37 Time : 0.0 sec. user=mdettweiler [2013-03-25 21:16:17] 741*2^1243399-1 is not prime. Res64: D4A16770EC62F378 Time : 0.0 sec. user=mdettweiler [2013-03-25 21:19:04] 931*2^1243399-1 is not prime. Res64: 1C053F2455116C8A Time : 0.0 sec. user=mdettweiler [2013-03-25 21:19:04] 933*2^1243399-1 is not prime. Res64: 5E3BADDE0BF4B1D5 Time : 0.0 sec. user=juhehe [2013-03-25 21:31:03] 901*2^1243397-1 is not prime. Res64: 8E8CED5B5F1CBF0C Time : 0.0 sec. user=mdettweiler [2013-03-25 21:33:51] 961*2^1243399-1 is not prime. Res64: 4D7F897D05CF5752 Time : 0.0 sec. user=mdettweiler [2013-03-25 21:33:52] 635*2^1243400-1 is not prime. Res64: 166E92CF98387FA1 Time : 0.0 sec. user=mdettweiler [2013-03-25 21:36:38] 663*2^1243400-1 is not prime. Res64: 6DDE3124C8D8AD24 Time : 0.0 sec. user=mdettweiler [2013-03-25 21:36:38] 767*2^1243400-1 is not prime. Res64: E117C9C88FEA47C7 Time : 0.0 sec. user=juhehe [2013-03-25 21:48:00] 861*2^1243398-1 is not prime. Res64: CDB414650FA75907 Time : 0.0 sec. user=mdettweiler [2013-03-25 21:51:25] 777*2^1243400-1 is not prime. Res64: D7CF4B0B0F6083BC Time : 0.0 sec. user=mdettweiler [2013-03-25 21:51:25] 797*2^1243400-1 is not prime. Res64: 8CABAFCE9023B267 Time : 0.0 sec. user=mdettweiler [2013-03-25 21:54:12] 839*2^1243400-1 is not prime. Res64: 4E3B991ED314D3DD Time : 0.0 sec. user=mdettweiler [2013-03-25 21:54:13] 945*2^1243400-1 is not prime. Res64: 4C3CCA6FE7EE5FCB Time : 0.0 sec. user=mdettweiler [2013-03-25 22:08:59] 805*2^1243401-1 is not prime. Res64: 2A593697790F9AFF Time : 0.0 sec. user=mdettweiler [2013-03-25 22:08:59] 949*2^1243401-1 is not prime. Res64: 00AB85F41B679FDD Time : 0.0 sec. user=mdettweiler [2013-03-25 22:11:46] 979*2^1243401-1 is not prime. Res64: 082E516925839A6C Time : 0.0 sec. user=mdettweiler [2013-03-25 22:11:46] 999*2^1243401-1 is not prime. Res64: 6D59E59271106EF0 Time : 0.0 sec. user=mdettweiler [2013-03-25 22:26:37] 695*2^1243402-1 is not prime. Res64: 98EC60A1D10506F2 Time : 0.0 sec. user=mdettweiler [2013-03-25 22:26:38] 723*2^1243402-1 is not prime. Res64: D2CEA2B0DDD90299 Time : 0.0 sec. user=mdettweiler [2013-03-25 22:29:19] 731*2^1243402-1 is not prime. Res64: 956A664531D90E7D Time : 0.0 sec. user=mdettweiler [2013-03-25 22:29:19] 915*2^1243402-1 is not prime. Res64: ED5F13C809BFA6D4 Time : 0.0 sec. user=mdettweiler [2013-03-25 22:44:11] 983*2^1243402-1 is not prime. Res64: DFF528118EFAD092 Time : 0.0 sec. user=mdettweiler [2013-03-25 22:44:11] 995*2^1243402-1 is not prime. Res64: 26AA41F448DCA180 Time : 0.0 sec. user=mdettweiler [2013-03-25 22:46:52] 921*2^1243403-1 is not prime. Res64: 8B2BB96D43A027FD Time : 0.0 sec. user=mdettweiler [2013-03-25 22:46:52] 943*2^1243403-1 is not prime. Res64: DAB0EDB1CA1BD818 Time : 0.0 sec. user=mdettweiler [2013-03-25 23:01:44] 665*2^1243404-1 is not prime. Res64: 56AB7300FC44F223 Time : 0.0 sec. user=mdettweiler [2013-03-25 23:01:46] 923*2^1243404-1 is not prime. Res64: EB45B74A5008E9F2 Time : 0.0 sec. user=mdettweiler [2013-03-25 23:04:26] 947*2^1243404-1 is not prime. Res64: E728A2DD2390A13C Time : 0.0 sec. user=mdettweiler [2013-03-25 23:04:26] 609*2^1243405-1 is not prime. Res64: 9C2D76B51A18DCF2 Time : 0.0 sec. user=mdettweiler [2013-03-25 23:19:29] 651*2^1243405-1 is not prime. Res64: 661E7785A8AC81C9 Time : 0.0 sec. user=mdettweiler [2013-03-25 23:19:30] 715*2^1243405-1 is not prime. Res64: 0F351B23FD4B2198 Time : 0.0 sec. user=mdettweiler [2013-03-25 23:22:00] 975*2^1243405-1 is not prime. Res64: BEFD3875D33F5790 Time : 0.0 sec. user=mdettweiler [2013-03-25 23:22:01] 987*2^1243405-1 is not prime. Res64: B3101C977DD4B915 Time : 0.0 sec. user=mdettweiler [2013-03-25 23:37:04] 857*2^1243406-1 is not prime. Res64: CE99354183B84B74 Time : 0.0 sec. user=mdettweiler [2013-03-25 23:37:05] 867*2^1243406-1 is not prime. Res64: 38DEC2E450A9343E Time : 0.0 sec. user=mdettweiler [2013-03-25 23:39:34] 887*2^1243406-1 is not prime. Res64: 44B8BF0808ED55DE Time : 0.0 sec. user=mdettweiler [2013-03-25 23:39:34] 921*2^1243406-1 is not prime. Res64: A93EB3685E175B64 Time : 0.0 sec. user=juhehe [2013-03-25 23:45:56] 969*2^1243403-1 is not prime. Res64: DD66B4E1BAB0A695 Time : 0.0 sec. user=mdettweiler [2013-03-25 23:54:38] 963*2^1243406-1 is not prime. Res64: 6AA4EE8D7E9BAF76 Time : 0.0 sec. user=mdettweiler [2013-03-25 23:54:39] 633*2^1243407-1 is not prime. Res64: 2A8F37EB91D6755F Time : 0.0 sec. user=juhehe [2013-03-25 23:55:14] 645*2^1243405-1 is not prime. Res64: 881E820D5A0805C2 Time : 0.0 sec. user=mdettweiler [2013-03-25 23:57:07] 859*2^1243407-1 is not prime. Res64: 070D6533D96CAA59 Time : 0.0 sec. user=mdettweiler [2013-03-25 23:57:08] 901*2^1243407-1 is not prime. Res64: 0FD610DB6DDDD396 Time : 0.0 sec.