user=mdettweiler [2013-06-25 00:02:11] 801*2^1247213-1 is not prime. Res64: 719DD6F784D47561 Time : 0.0 sec. user=mdettweiler [2013-06-25 00:02:12] 859*2^1247213-1 is not prime. Res64: 3F4B89994A0ED7D9 Time : 0.0 sec. user=vaughan [2013-06-25 00:09:05] 787*2^1247213-1 is not prime. Res64: 429BC7650F9E1BDB Time : 0.0 sec. user=mdettweiler [2013-06-25 00:21:03] 897*2^1247213-1 is not prime. Res64: BC9AB66CE2A6A0F2 Time : 0.0 sec. user=mdettweiler [2013-06-25 00:47:26] 987*2^1247213-1 is not prime. Res64: 1B7B2CAF81841770 Time : 0.0 sec. user=vaughan [2013-06-25 01:25:26] 807*2^1247214-1 is not prime. Res64: 72A9AABE4F7E4A15 Time : 0.0 sec. user=mdettweiler [2013-06-25 01:37:04] 873*2^1247214-1 is not prime. Res64: A6A4F56F5929EFE3 Time : 0.0 sec. user=mdettweiler [2013-06-25 01:37:04] 893*2^1247214-1 is not prime. Res64: F23D5693510DBD23 Time : 0.0 sec. user=mdettweiler [2013-06-25 01:54:14] 619*2^1247215-1 is not prime. Res64: 19A6CDC5C3683E6D Time : 0.0 sec. user=mdettweiler [2013-06-25 01:54:15] 645*2^1247215-1 is not prime. Res64: 88A3B2D32748F9B8 Time : 0.0 sec. user=vaughan [2013-06-25 02:08:28] 947*2^1247214-1 is not prime. Res64: 58FB136CADC85C72 Time : 0.0 sec. user=mdettweiler [2013-06-25 02:11:43] 679*2^1247215-1 is not prime. Res64: CFCB883967909DCB Time : 0.0 sec. user=vaughan [2013-06-25 02:47:04] 873*2^1247215-1 is not prime. Res64: 817DA045126C6475 Time : 0.0 sec. user=mdettweiler [2013-06-25 02:48:33] 715*2^1247215-1 is not prime. Res64: 34CBC64DE6C1700B Time : 0.0 sec. user=mdettweiler [2013-06-25 03:06:37] 985*2^1247215-1 is not prime. Res64: 6D39F8EB672A01D1 Time : 0.0 sec. user=mdettweiler [2013-06-25 03:06:38] 759*2^1247216-1 is not prime. Res64: 431CAA4C0BD3F860 Time : 0.0 sec. user=mdettweiler [2013-06-25 03:23:41] 827*2^1247216-1 is not prime. Res64: F7E6DAD7A3D14FDA Time : 0.0 sec. user=mdettweiler [2013-06-25 03:23:41] 855*2^1247216-1 is not prime. Res64: 26C26651A8C1B171 Time : 0.0 sec. user=mdettweiler [2013-06-25 03:41:03] 869*2^1247216-1 is not prime. Res64: 24ACDAD5F7E18930 Time : 0.0 sec. user=mdettweiler [2013-06-25 03:41:04] 873*2^1247216-1 is not prime. Res64: 9ACEF8CA91936248 Time : 0.0 sec. user=mdettweiler [2013-06-25 03:59:11] 999*2^1247216-1 is not prime. Res64: 7A5A9E00239BD78C Time : 0.0 sec. user=mdettweiler [2013-06-25 03:59:12] 741*2^1247217-1 is not prime. Res64: 854712E517E07FE5 Time : 0.0 sec. user=vaughan [2013-06-25 04:08:48] 899*2^1247216-1 is not prime. Res64: 95D65B774897D870 Time : 0.0 sec. user=mdettweiler [2013-06-25 04:16:36] 805*2^1247217-1 is not prime. Res64: 325E024125C4D7D8 Time : 0.0 sec. user=mdettweiler [2013-06-25 04:16:36] 861*2^1247217-1 is not prime. Res64: C387AC2CAF386EAB Time : 0.0 sec. user=mdettweiler [2013-06-25 04:33:56] 621*2^1247218-1 is not prime. Res64: DEC2FB99C491731A Time : 0.0 sec. user=mdettweiler [2013-06-25 04:33:57] 651*2^1247218-1 is not prime. Res64: 7C355AD044A15076 Time : 0.0 sec. user=vaughan [2013-06-25 04:47:05] 867*2^1247217-1 is not prime. Res64: 23FEE9D84744CC8F Time : 0.0 sec. user=mdettweiler [2013-06-25 04:52:02] 887*2^1247218-1 is not prime. Res64: 3C581A18D0EE3504 Time : 0.0 sec. user=mdettweiler [2013-06-25 05:10:16] 981*2^1247218-1 is not prime. Res64: 88F20ADDD1FCAC26 Time : 0.0 sec. user=vaughan [2013-06-25 05:25:36] 643*2^1247219-1 is not prime. Res64: 351B1D8DA79951D3 Time : 0.0 sec. user=mdettweiler [2013-06-25 06:03:54] 735*2^1247219-1 is not prime. Res64: 8F400254CC811086 Time : 0.0 sec. user=mdettweiler [2013-06-25 06:03:55] 759*2^1247219-1 is not prime. Res64: D4E5488EA7B3DF17 Time : 0.0 sec. user=mdettweiler [2013-06-25 06:21:07] 811*2^1247219-1 is not prime. Res64: 4F659D63D4792B9C Time : 0.0 sec. user=mdettweiler [2013-06-25 06:21:07] 813*2^1247219-1 is not prime. Res64: F9E3C4D80A2B8A64 Time : 0.0 sec. user=mdettweiler [2013-06-25 06:39:21] 949*2^1247219-1 is not prime. Res64: 94A7AD8C902D6870 Time : 0.0 sec. user=vaughan [2013-06-25 06:47:02] 931*2^1247219-1 is not prime. Res64: 102A4884E3B99156 Time : 0.0 sec. user=mdettweiler [2013-06-25 07:06:16] 973*2^1247219-1 is not prime. Res64: B6CF4C07FE243ACE Time : 0.0 sec. user=mdettweiler [2013-06-25 07:23:27] 765*2^1247220-1 is not prime. Res64: CC143C3801E3EDF5 Time : 0.0 sec. user=mdettweiler [2013-06-25 07:23:28] 779*2^1247220-1 is not prime. Res64: 95DC94678166D759 Time : 0.0 sec. user=vaughan [2013-06-25 07:25:23] 695*2^1247220-1 is not prime. Res64: 5A0C26913F8E4620 Time : 0.0 sec. user=mdettweiler [2013-06-25 07:40:47] 803*2^1247220-1 is not prime. Res64: 5EADF9880D8FB851 Time : 0.0 sec. user=mdettweiler [2013-06-25 07:40:47] 857*2^1247220-1 is not prime. Res64: EA775653F7E59A4B Time : 0.0 sec. user=mdettweiler [2013-06-25 07:58:00] 645*2^1247221-1 is not prime. Res64: 5748CA9EDEC3C0D6 Time : 0.0 sec. user=vaughan [2013-06-25 08:08:38] 899*2^1247220-1 is not prime. Res64: 40B4C541E8C98243 Time : 0.0 sec. user=mdettweiler [2013-06-25 08:30:38] 747*2^1247221-1 is not prime. Res64: E8883F0326C5F257 Time : 0.0 sec. user=vaughan [2013-06-25 08:46:57] 799*2^1247221-1 is not prime. Res64: 326AC362A56BDFB9 Time : 0.0 sec. user=mdettweiler [2013-06-25 08:47:40] 819*2^1247221-1 is not prime. Res64: 6B52DB8756DEE36E Time : 0.0 sec. user=mdettweiler [2013-06-25 08:47:41] 829*2^1247221-1 is not prime. Res64: B6FAC7A439B8116F Time : 0.0 sec. user=mdettweiler [2013-06-25 09:05:41] 963*2^1247222-1 is not prime. Res64: 132340CEC45F9C7C Time : 0.0 sec. user=mdettweiler [2013-06-25 09:05:42] 723*2^1247223-1 is not prime. Res64: 2C7AEE5E0197AA93 Time : 0.0 sec. user=mdettweiler [2013-06-25 09:23:01] 739*2^1247223-1 is not prime. Res64: 9AB41488C08F9957 Time : 0.0 sec. user=vaughan [2013-06-25 09:25:29] 645*2^1247222-1 is not prime. Res64: 21B990C8C777A3DF Time : 0.0 sec. user=mdettweiler [2013-06-25 10:02:03] 741*2^1247223-1 is not prime. Res64: CE167B63BFF91287 Time : 0.0 sec. user=mdettweiler [2013-06-25 10:41:36] 819*2^1247223-1 is not prime. Res64: 54F1889AB0C8D753 Time : 0.0 sec. user=mdettweiler [2013-06-25 10:41:36] 873*2^1247223-1 is not prime. Res64: 5BC05F082CF25F18 Time : 0.0 sec. user=vaughan [2013-06-25 10:42:00] 751*2^1247223-1 is not prime. Res64: BBFCEB25A3BCEC3A Time : 0.0 sec. user=mdettweiler [2013-06-25 10:59:13] 955*2^1247223-1 is not prime. Res64: 070CD00CDD83B890 Time : 0.0 sec. user=mdettweiler [2013-06-25 11:18:10] 677*2^1247224-1 is not prime. Res64: 27C8F08D38AD1C5A Time : 0.0 sec. user=vaughan [2013-06-25 11:20:15] 717*2^1247224-1 is not prime. Res64: D1CD4497B20517D1 Time : 0.0 sec. user=mdettweiler [2013-06-25 11:54:28] 759*2^1247224-1 is not prime. Res64: 9211065EBF69EFBE Time : 0.0 sec. user=mdettweiler [2013-06-25 11:54:28] 607*2^1247225-1 is not prime. Res64: B48F2CD912E94259 Time : 0.0 sec. user=mdettweiler [2013-06-25 12:12:13] 699*2^1247225-1 is not prime. Res64: 8853382869020A9A Time : 0.0 sec. user=mdettweiler [2013-06-25 12:12:13] 775*2^1247225-1 is not prime. Res64: A5F4CF4C007AE2E5 Time : 0.0 sec. user=mdettweiler [2013-06-25 12:30:31] 861*2^1247225-1 is not prime. Res64: 2CAC0C34A89D7967 Time : 0.0 sec. user=mdettweiler [2013-06-25 12:30:31] 979*2^1247225-1 is not prime. Res64: C8C3EE40E80DC2D5 Time : 0.0 sec. user=mdettweiler [2013-06-25 12:49:10] 981*2^1247225-1 is not prime. Res64: 5D7FB0C907803E71 Time : 0.0 sec. user=mdettweiler [2013-06-25 12:49:10] 647*2^1247226-1 is not prime. Res64: 66A0F9F67E5AC978 Time : 0.0 sec. user=mdettweiler [2013-06-25 13:07:10] 671*2^1247226-1 is not prime. Res64: 3CA05AF57B7926A1 Time : 0.0 sec. user=mdettweiler [2013-06-25 13:07:11] 707*2^1247226-1 is not prime. Res64: B575B4462D2FC852 Time : 0.0 sec. user=mdettweiler [2013-06-25 13:25:11] 815*2^1247226-1 is not prime. Res64: C9B7A1901DD2A617 Time : 0.0 sec. user=mdettweiler [2013-06-25 13:43:50] 861*2^1247226-1 is not prime. Res64: 6EFB7A5C95376F2C Time : 0.0 sec. user=juhehe [2013-06-25 13:47:06] 723*2^1247226-1 is not prime. Res64: 2F3D773AEA21DF33 Time : 0.0 sec. user=mdettweiler [2013-06-25 14:01:41] 621*2^1247227-1 is not prime. Res64: C37C503CC0E8D7D0 Time : 0.0 sec. user=mdettweiler [2013-06-25 14:36:31] 625*2^1247227-1 is not prime. Res64: 50B0A43D07A58F83 Time : 0.0 sec. user=mdettweiler [2013-06-25 14:54:22] 651*2^1247227-1 is not prime. Res64: A90B5165C6B23903 Time : 0.0 sec. user=mdettweiler [2013-06-25 14:54:23] 663*2^1247227-1 is not prime. Res64: B5D3D5BEA96CFBDE Time : 0.0 sec. user=mdettweiler [2013-06-25 15:12:12] 765*2^1247227-1 is not prime. Res64: 16105939551FE070 Time : 0.0 sec. user=mdettweiler [2013-06-25 15:12:12] 885*2^1247227-1 is not prime. Res64: A1EEFE896BEB35B6 Time : 0.0 sec. user=mdettweiler [2013-06-25 15:30:03] 603*2^1247228-1 is not prime. Res64: 3858542D38BE620E Time : 0.0 sec. user=mdettweiler [2013-06-25 15:53:13] 647*2^1247228-1 is not prime. Res64: 50E7C463D22273BF Time : 0.0 sec. user=juhehe [2013-06-25 16:00:33] 975*2^1247227-1 is not prime. Res64: CE047C4BF40392D9 Time : 0.0 sec. user=mdettweiler [2013-06-25 16:11:19] 767*2^1247228-1 is not prime. Res64: C86E5514A16C2D41 Time : 0.0 sec. user=mdettweiler [2013-06-25 16:35:33] 867*2^1247228-1 is not prime. Res64: D8F2D78432760E4F Time : 0.0 sec. user=mdettweiler [2013-06-25 16:53:10] 909*2^1247228-1 is not prime. Res64: C56EB14C1059BBBC Time : 0.0 sec. user=mdettweiler [2013-06-25 16:53:10] 923*2^1247228-1 is not prime. Res64: 17630477B35E78B4 Time : 0.0 sec. user=mdettweiler [2013-06-25 17:11:46] 927*2^1247228-1 is not prime. Res64: F57FF26EE5EEAAAA Time : 0.0 sec. user=mdettweiler [2013-06-25 17:11:47] 987*2^1247228-1 is not prime. Res64: 11E8B82DDF147E26 Time : 0.0 sec. user=mdettweiler [2013-06-25 17:31:32] 999*2^1247228-1 is not prime. Res64: 465B8C3BCD67B3A9 Time : 0.0 sec. user=mdettweiler [2013-06-25 17:56:59] 621*2^1247229-1 is not prime. Res64: 7FB4489474063947 Time : 0.0 sec. user=mdettweiler [2013-06-25 18:15:11] 625*2^1247229-1 is not prime. Res64: 096855176FE34C6D Time : 0.0 sec. user=mdettweiler [2013-06-25 18:15:12] 711*2^1247229-1 is not prime. Res64: 168D400EE1DEA674 Time : 0.0 sec. user=mdettweiler [2013-06-25 18:33:21] 741*2^1247229-1 is not prime. Res64: 9180EEFED0E74358 Time : 0.0 sec. user=mdettweiler [2013-06-25 18:33:21] 795*2^1247229-1 is not prime. Res64: 65556E86FF9DCE10 Time : 0.0 sec. user=mdettweiler [2013-06-25 18:51:19] 811*2^1247229-1 is not prime. Res64: 3D1B7D44983545FB Time : 0.0 sec. user=mdettweiler [2013-06-25 19:23:37] 847*2^1247229-1 is not prime. Res64: 081E85EA11AFC0E1 Time : 0.0 sec. user=mdettweiler [2013-06-25 19:42:01] 867*2^1247229-1 is not prime. Res64: E8DF38055F67457B Time : 0.0 sec. user=mdettweiler [2013-06-25 19:42:02] 969*2^1247229-1 is not prime. Res64: CAA6BA6F945384EA Time : 0.0 sec. user=mdettweiler [2013-06-25 19:59:44] 657*2^1247230-1 is not prime. Res64: BE860FA0F9137F21 Time : 0.0 sec. user=mdettweiler [2013-06-25 20:22:19] 663*2^1247230-1 is not prime. Res64: 57636DB6DB913A94 Time : 0.0 sec. user=mdettweiler [2013-06-25 21:04:47] 681*2^1247230-1 is not prime. Res64: 95F3843ECE8F5C9C Time : 0.0 sec. user=mdettweiler [2013-06-25 21:04:48] 707*2^1247230-1 is not prime. Res64: 522487CFF6347668 Time : 0.0 sec. user=mdettweiler [2013-06-25 21:22:17] 747*2^1247230-1 is not prime. Res64: 19D6E0B47DB5FB52 Time : 0.0 sec. user=mdettweiler [2013-06-25 21:22:18] 831*2^1247230-1 is not prime. Res64: 6E4FBCB27FB22330 Time : 0.0 sec. user=mdettweiler [2013-06-25 21:39:21] 863*2^1247230-1 is not prime. Res64: FB09D6783F42D13A Time : 0.0 sec. user=mdettweiler [2013-06-25 21:39:22] 867*2^1247230-1 is not prime. Res64: 43EE8F6810B5C6A6 Time : 0.0 sec. user=mdettweiler [2013-06-25 21:56:55] 897*2^1247230-1 is not prime. Res64: D308CB47342321CA Time : 0.0 sec. user=mdettweiler [2013-06-25 22:31:59] 911*2^1247230-1 is not prime. Res64: 4F59769FE50A7959 Time : 0.0 sec. user=mdettweiler [2013-06-25 23:13:41] 711*2^1247231-1 is not prime. Res64: 3B61E6E3F74FB05F Time : 0.0 sec. user=mdettweiler [2013-06-25 23:13:42] 741*2^1247231-1 is not prime. Res64: A83F33610BB1FA6F Time : 0.0 sec. user=mdettweiler [2013-06-25 23:31:02] 783*2^1247231-1 is not prime. Res64: CCF430C14B5549FA Time : 0.0 sec. user=mdettweiler [2013-06-25 23:31:03] 909*2^1247232-1 is not prime. Res64: 2E9163DA2C7ADDA1 Time : 0.0 sec. user=mdettweiler [2013-06-25 23:48:31] 923*2^1247232-1 is not prime. Res64: 096DFA0578CA9BDF Time : 0.0 sec. user=mdettweiler [2013-06-25 23:48:32] 615*2^1247233-1 is not prime. Res64: 85449EC6B4E72237 Time : 0.0 sec.