From 4472dd4363b585b9a1c993fd7c250ad699d1671a Mon Sep 17 00:00:00 2001 From: Daniel Holden Date: Sat, 7 Nov 2015 16:57:09 +0000 Subject: [PATCH] Added basic optimise function for parsers. --- .gitignore | 9 +- README.md | 29 + examples/doge.c | 8 +- examples/lispy.c | 10 +- examples/so_c.doge | 2009 ++++++++++++++++++++++++++++++++++++++++++++ mpc.c | 242 +++++- mpc.h | 5 +- 7 files changed, 2296 insertions(+), 16 deletions(-) create mode 100644 examples/so_c.doge diff --git a/.gitignore b/.gitignore index 14a8995..40be4fa 100644 --- a/.gitignore +++ b/.gitignore @@ -2,7 +2,8 @@ *.exe *.dSYM test -doge -lispy -maths -smallc +examples/doge +examples/lispy +examples/maths +examples/smallc +examples/foobar diff --git a/README.md b/README.md index c2d6192..b470778 100644 --- a/README.md +++ b/README.md @@ -786,6 +786,35 @@ _mpc_ provides some automatic generation of error messages. These can be enhance :0:3: error: expected one or more of 'a' or 'd' at 'k' ``` +Misc +==== + +Here are some other misc functions that mpc provides. These functions are susceptible to change between versions so use them with some care. + +* * * + +```c +void mpc_print(mpc_parser_t *p); +``` + +Prints out a parser in some weird format. This is generally used for debugging so don't expect to be able to understand the output right away without looking at the source code a little bit. + +* * * + +```c +void mpc_stats(mpc_parser_t *p); +``` + +Prints out some basic stats about a parser. Again used for debugging and optimisation. + +* * * + +```c +void mpc_optimise(mpc_parser_t *p); +``` + +Performs some basic optimisations on a parser to reduce it's size and increase its running speed. + Limitations & FAQ ================= diff --git a/examples/doge.c b/examples/doge.c index 597eebc..4adfb51 100644 --- a/examples/doge.c +++ b/examples/doge.c @@ -1,6 +1,8 @@ #include "../mpc.h" int main(int argc, char **argv) { + + mpc_result_t r; mpc_parser_t* Adjective = mpc_new("adjective"); mpc_parser_t* Noun = mpc_new("noun"); @@ -13,10 +15,9 @@ int main(int argc, char **argv) { " phrase : ; " " doge : /^/ * /$/; ", Adjective, Noun, Phrase, Doge, NULL); - + if (argc > 1) { - mpc_result_t r; if (mpc_parse_contents(argv[1], Doge, &r)) { mpc_ast_print(r.output); mpc_ast_delete(r.output); @@ -24,10 +25,9 @@ int main(int argc, char **argv) { mpc_err_print(r.error); mpc_err_delete(r.error); } - + } else { - mpc_result_t r; if (mpc_parse_pipe("", stdin, Doge, &r)) { mpc_ast_print(r.output); mpc_ast_delete(r.output); diff --git a/examples/lispy.c b/examples/lispy.c index 982bf0b..a3aa093 100644 --- a/examples/lispy.c +++ b/examples/lispy.c @@ -2,6 +2,8 @@ int main(int argc, char **argv) { + mpc_result_t r; + mpc_parser_t* Number = mpc_new("number"); mpc_parser_t* Symbol = mpc_new("symbol"); mpc_parser_t* String = mpc_new("string"); @@ -22,10 +24,9 @@ int main(int argc, char **argv) { " | | | ; " " lispy : /^/ * /$/ ; ", Number, Symbol, String, Comment, Sexpr, Qexpr, Expr, Lispy, NULL); - + if (argc > 1) { - - mpc_result_t r; + if (mpc_parse_contents(argv[1], Lispy, &r)) { mpc_ast_print(r.output); mpc_ast_delete(r.output); @@ -33,10 +34,9 @@ int main(int argc, char **argv) { mpc_err_print(r.error); mpc_err_delete(r.error); } - + } else { - mpc_result_t r; if (mpc_parse_pipe("", stdin, Lispy, &r)) { mpc_ast_print(r.output); mpc_ast_delete(r.output); diff --git a/examples/so_c.doge b/examples/so_c.doge new file mode 100644 index 0000000..0ef7f3c --- /dev/null +++ b/examples/so_c.doge @@ -0,0 +1,2009 @@ +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c +so c so c so c so c so c so c so c so c so c + diff --git a/mpc.c b/mpc.c index cef0683..1dc4219 100644 --- a/mpc.c +++ b/mpc.c @@ -749,7 +749,7 @@ typedef struct { } mpc_stack_t; enum { - MPC_STACK_MIN = 128 + MPC_STACK_MIN = 256 }; static mpc_stack_t *mpc_stack_new(const char *filename) { @@ -1538,7 +1538,7 @@ mpc_parser_t *mpc_noneof(const char *s) { p->type = MPC_TYPE_NONEOF; p->data.string.x = malloc(strlen(s) + 1); strcpy(p->data.string.x, s); - return mpc_expectf(p, "one of '%s'", s); + return mpc_expectf(p, "none of '%s'", s); } @@ -2059,6 +2059,12 @@ mpc_parser_t *mpc_re(const char *re) { RegexEnclose = mpc_whole(mpc_predictive(Regex), (mpc_dtor_t)mpc_delete); + mpc_optimise(Regex); + mpc_optimise(Term); + mpc_optimise(Factor); + mpc_optimise(Base); + mpc_optimise(Range); + if(!mpc_parse("", re, RegexEnclose, &r)) { err_msg = mpc_err_string(r.error); err_out = mpc_failf("Invalid Regex: %s", err_msg); @@ -3001,6 +3007,12 @@ mpc_parser_t *mpca_grammar_st(const char *grammar, mpca_grammar_st_t *st) { mpc_tok_parens(Grammar, mpc_soft_delete) )); + mpc_optimise(GrammarTotal); + mpc_optimise(Grammar); + mpc_optimise(Factor); + mpc_optimise(Term); + mpc_optimise(Base); + if(!mpc_parse("", grammar, GrammarTotal, &r)) { err_msg = mpc_err_string(r.error); err_out = mpc_failf("Invalid Grammar: %s", err_msg); @@ -3091,12 +3103,14 @@ static mpc_val_t *mpca_stmt_list_apply_to(mpc_val_t *x, void *s) { left = mpca_grammar_find_parser(stmt->ident, st); if (st->flags & MPCA_LANG_PREDICTIVE) { stmt->grammar = mpc_predictive(stmt->grammar); } if (stmt->name) { stmt->grammar = mpc_expect(stmt->grammar, stmt->name); } + mpc_optimise(stmt->grammar); mpc_define(left, stmt->grammar); free(stmt->ident); free(stmt->name); free(stmt); stmts++; } + free(x); return NULL; @@ -3153,6 +3167,12 @@ static mpc_err_t *mpca_lang_st(mpc_input_t *i, mpca_grammar_st_t *st) { mpc_tok_parens(Grammar, mpc_soft_delete) )); + mpc_optimise(Lang); + mpc_optimise(Stmt); + mpc_optimise(Grammar); + mpc_optimise(Term); + mpc_optimise(Factor); + mpc_optimise(Base); if (!mpc_parse_input(i, Lang, &r)) { e = r.error; @@ -3264,3 +3284,221 @@ mpc_err_t *mpca_lang_contents(int flags, const char *filename, ...) { return err; } + +static int mpc_nodecount_unretained(mpc_parser_t* p, int force) { + + int i, total; + + if (p->retained && !force) { return 0; } + + if (p->type == MPC_TYPE_EXPECT) { return 1 + mpc_nodecount_unretained(p->data.expect.x, 0); } + + if (p->type == MPC_TYPE_APPLY) { return 1 + mpc_nodecount_unretained(p->data.apply.x, 0); } + if (p->type == MPC_TYPE_APPLY_TO) { return 1 + mpc_nodecount_unretained(p->data.apply_to.x, 0); } + if (p->type == MPC_TYPE_PREDICT) { return 1 + mpc_nodecount_unretained(p->data.predict.x, 0); } + + if (p->type == MPC_TYPE_NOT) { return 1 + mpc_nodecount_unretained(p->data.not.x, 0); } + if (p->type == MPC_TYPE_MAYBE) { return 1 + mpc_nodecount_unretained(p->data.not.x, 0); } + + if (p->type == MPC_TYPE_MANY) { return 1 + mpc_nodecount_unretained(p->data.repeat.x, 0); } + if (p->type == MPC_TYPE_MANY1) { return 1 + mpc_nodecount_unretained(p->data.repeat.x, 0); } + if (p->type == MPC_TYPE_COUNT) { return 1 + mpc_nodecount_unretained(p->data.repeat.x, 0); } + + if (p->type == MPC_TYPE_OR) { + total = 0; + for(i = 0; i < p->data.or.n; i++) { + total += mpc_nodecount_unretained(p->data.or.xs[i], 0); + } + return total; + } + + if (p->type == MPC_TYPE_AND) { + total = 0; + for(i = 0; i < p->data.and.n; i++) { + total += mpc_nodecount_unretained(p->data.and.xs[i], 0); + } + return total; + } + + return 1; + +} + +void mpc_stats(mpc_parser_t* p) { + printf("Stats\n"); + printf("=====\n"); + printf("Node Count: %i\n", mpc_nodecount_unretained(p, 1)); +} + +static void mpc_optimise_unretained(mpc_parser_t *p, int force) { + + int i, n, m; + mpc_parser_t *t; + mpc_parser_t swp; + + if (p->retained && !force) { return; } + + /* Optimise Subexpressions */ + + if (p->type == MPC_TYPE_EXPECT) { mpc_optimise_unretained(p->data.expect.x, 0); } + if (p->type == MPC_TYPE_APPLY) { mpc_optimise_unretained(p->data.apply.x, 0); } + if (p->type == MPC_TYPE_APPLY_TO) { mpc_optimise_unretained(p->data.apply_to.x, 0); } + if (p->type == MPC_TYPE_PREDICT) { mpc_optimise_unretained(p->data.predict.x, 0); } + if (p->type == MPC_TYPE_NOT) { mpc_optimise_unretained(p->data.not.x, 0); } + if (p->type == MPC_TYPE_MAYBE) { mpc_optimise_unretained(p->data.not.x, 0); } + if (p->type == MPC_TYPE_MANY) { mpc_optimise_unretained(p->data.repeat.x, 0); } + if (p->type == MPC_TYPE_MANY1) { mpc_optimise_unretained(p->data.repeat.x, 0); } + if (p->type == MPC_TYPE_COUNT) { mpc_optimise_unretained(p->data.repeat.x, 0); } + + if (p->type == MPC_TYPE_OR) { + for(i = 0; i < p->data.or.n; i++) { + mpc_optimise_unretained(p->data.or.xs[i], 0); + } + } + + if (p->type == MPC_TYPE_AND) { + for(i = 0; i < p->data.and.n; i++) { + mpc_optimise_unretained(p->data.and.xs[i], 0); + } + } + + /* Perform optimisations */ + + while (1) { + + /* Merge rhs `or` */ + if (p->type == MPC_TYPE_OR + && p->data.or.xs[p->data.or.n-1]->type == MPC_TYPE_OR + && !p->data.or.xs[p->data.or.n-1]->retained) { + t = p->data.or.xs[p->data.or.n-1]; + n = p->data.or.n; m = t->data.or.n; + p->data.or.n = n + m - 1; + p->data.or.xs = realloc(p->data.or.xs, sizeof(mpc_parser_t*) * (n + m -1)); + memmove(p->data.or.xs + n - 1, t->data.or.xs, m * sizeof(mpc_parser_t*)); + free(t->data.or.xs); free(t->name); free(t); + continue; + } + + /* Merge lhs `or` */ + if (p->type == MPC_TYPE_OR + && p->data.or.xs[0]->type == MPC_TYPE_OR + && !p->data.or.xs[0]->retained) { + t = p->data.or.xs[0]; + n = p->data.or.n; m = t->data.or.n; + p->data.or.n = n + m - 1; + p->data.or.xs = realloc(p->data.or.xs, sizeof(mpc_parser_t*) * (n + m -1)); + memmove(p->data.or.xs + m, t->data.or.xs + 1, n * sizeof(mpc_parser_t*)); + memmove(p->data.or.xs, t->data.or.xs, m * sizeof(mpc_parser_t*)); + free(t->data.or.xs); free(t->name); free(t); + continue; + } + + /* Remove ast `pass` */ + if (p->type == MPC_TYPE_AND + && p->data.and.n == 2 + && p->data.and.xs[0]->type == MPC_TYPE_PASS + && !p->data.and.xs[0]->retained + && p->data.and.f == mpcf_fold_ast) { + memcpy(&swp, p->data.and.xs[1], sizeof(mpc_parser_t)); + mpc_delete(p->data.and.xs[0]); + free(p->data.and.xs); free(p->data.and.dxs); + memcpy(p, &swp, sizeof(mpc_parser_t)); + continue; + } + + /* Merge ast lhs `and` */ + if (p->type == MPC_TYPE_AND + && p->data.and.f == mpcf_fold_ast + && p->data.and.xs[0]->type == MPC_TYPE_AND + && !p->data.and.xs[0]->retained + && p->data.and.xs[0]->data.and.f == mpcf_fold_ast) { + t = p->data.and.xs[0]; + n = p->data.and.n; m = t->data.and.n; + p->data.and.n = n + m - 1; + p->data.and.xs = realloc(p->data.and.xs, sizeof(mpc_parser_t*) * (n + m -1)); + p->data.and.dxs = realloc(p->data.and.dxs, sizeof(mpc_dtor_t) * (n + m -1)); + memmove(p->data.and.xs + m, p->data.and.xs + 1, (n - 1) * sizeof(mpc_parser_t*)); + memmove(p->data.and.xs, t->data.and.xs, m * sizeof(mpc_parser_t*)); + memmove(p->data.and.dxs + m, p->data.and.dxs + 1, (n - 1) * sizeof(mpc_dtor_t)); + memmove(p->data.and.dxs, t->data.and.dxs, m * sizeof(mpc_dtor_t)); + free(t->data.and.xs); free(t->data.and.dxs); free(t->name); free(t); + continue; + } + + /* Merge ast rhs `and` */ + if (p->type == MPC_TYPE_AND + && p->data.and.f == mpcf_fold_ast + && p->data.and.xs[p->data.and.n-1]->type == MPC_TYPE_AND + && !p->data.and.xs[p->data.and.n-1]->retained + && p->data.and.xs[p->data.and.n-1]->data.and.f == mpcf_fold_ast) { + t = p->data.and.xs[p->data.and.n-1]; + n = p->data.and.n; m = t->data.and.n; + p->data.and.n = n + m - 1; + p->data.and.xs = realloc(p->data.and.xs, sizeof(mpc_parser_t*) * (n + m -1)); + p->data.and.dxs = realloc(p->data.and.dxs, sizeof(mpc_dtor_t) * (n + m -1)); + memmove(p->data.and.xs + n - 1, t->data.and.xs, m * sizeof(mpc_parser_t*)); + memmove(p->data.and.dxs + n - 1, t->data.and.dxs, m * sizeof(mpc_dtor_t)); + free(t->data.and.xs); free(t->data.and.dxs); free(t->name); free(t); + continue; + } + + /* Remove re `lift` */ + if (p->type == MPC_TYPE_AND + && p->data.and.n == 2 + && p->data.and.xs[0]->type == MPC_TYPE_LIFT + && p->data.and.xs[0]->data.lift.lf == mpcf_ctor_str + && !p->data.and.xs[0]->retained + && p->data.and.f == mpcf_strfold) { + memcpy(&swp, p->data.and.xs[1], sizeof(mpc_parser_t)); + mpc_delete(p->data.and.xs[0]); + free(p->data.and.xs); free(p->data.and.dxs); + memcpy(p, &swp, sizeof(mpc_parser_t)); + continue; + } + + /* Merge re lhs `and` */ + if (p->type == MPC_TYPE_AND + && p->data.and.f == mpcf_strfold + && p->data.and.xs[0]->type == MPC_TYPE_AND + && !p->data.and.xs[0]->retained + && p->data.and.xs[0]->data.and.f == mpcf_strfold) { + t = p->data.and.xs[0]; + n = p->data.and.n; m = t->data.and.n; + p->data.and.n = n + m - 1; + p->data.and.xs = realloc(p->data.and.xs, sizeof(mpc_parser_t*) * (n + m -1)); + p->data.and.dxs = realloc(p->data.and.dxs, sizeof(mpc_dtor_t) * (n + m -1)); + memmove(p->data.and.xs + m, p->data.and.xs + 1, (n - 1) * sizeof(mpc_parser_t*)); + memmove(p->data.and.xs, t->data.and.xs, m * sizeof(mpc_parser_t*)); + memmove(p->data.and.dxs + m, p->data.and.dxs + 1, (n - 1) * sizeof(mpc_dtor_t)); + memmove(p->data.and.dxs, t->data.and.dxs, m * sizeof(mpc_dtor_t)); + free(t->data.and.xs); free(t->data.and.dxs); free(t->name); free(t); + continue; + } + + /* Merge re rhs `and` */ + if (p->type == MPC_TYPE_AND + && p->data.and.f == mpcf_strfold + && p->data.and.xs[p->data.and.n-1]->type == MPC_TYPE_AND + && !p->data.and.xs[p->data.and.n-1]->retained + && p->data.and.xs[p->data.and.n-1]->data.and.f == mpcf_strfold) { + t = p->data.and.xs[p->data.and.n-1]; + n = p->data.and.n; m = t->data.and.n; + p->data.and.n = n + m - 1; + p->data.and.xs = realloc(p->data.and.xs, sizeof(mpc_parser_t*) * (n + m -1)); + p->data.and.dxs = realloc(p->data.and.dxs, sizeof(mpc_dtor_t) * (n + m -1)); + memmove(p->data.and.xs + n - 1, t->data.and.xs, m * sizeof(mpc_parser_t*)); + memmove(p->data.and.dxs + n - 1, t->data.and.dxs, m * sizeof(mpc_dtor_t)); + free(t->data.and.xs); free(t->data.and.dxs); free(t->name); free(t); + continue; + } + + return; + + } + +} + +void mpc_optimise(mpc_parser_t *p) { + mpc_optimise_unretained(p, 1); +} + diff --git a/mpc.h b/mpc.h index e75685c..a408d09 100644 --- a/mpc.h +++ b/mpc.h @@ -314,10 +314,13 @@ mpc_err_t *mpca_lang_pipe(int flags, FILE *f, ...); mpc_err_t *mpca_lang_contents(int flags, const char *filename, ...); /* -** Debug & Testing +** Misc */ + void mpc_print(mpc_parser_t *p); +void mpc_optimise(mpc_parser_t *p); +void mpc_stats(mpc_parser_t *p); int mpc_test_pass(mpc_parser_t *p, const char *s, const void *d, int(*tester)(const void*, const void*),