summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/tex/luatex/markdown/markdown-unicode-data.lua
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/tex/luatex/markdown/markdown-unicode-data.lua')
-rw-r--r--Master/texmf-dist/tex/luatex/markdown/markdown-unicode-data.lua14
1 files changed, 7 insertions, 7 deletions
diff --git a/Master/texmf-dist/tex/luatex/markdown/markdown-unicode-data.lua b/Master/texmf-dist/tex/luatex/markdown/markdown-unicode-data.lua
index 81d80db0e5c..7aab0e30850 100644
--- a/Master/texmf-dist/tex/luatex/markdown/markdown-unicode-data.lua
+++ b/Master/texmf-dist/tex/luatex/markdown/markdown-unicode-data.lua
@@ -20,7 +20,7 @@
-- TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE
-- SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
--
--- Copyright (C) 2016-2024 Vít Starý Novotný, Andrej Genčur
+-- Copyright (C) 2016-2025 Vít Starý Novotný, Andrej Genčur
--
-- This work may be distributed and/or modified under the
-- conditions of the LaTeX Project Public License, either version 1.3
@@ -58,7 +58,7 @@
-- those in the standard .ins files.
--
local metadata = {
- version = "3.9.1-0-g92254dfb",
+ version = "3.10.0-0-g626df6ad",
comment = "A module for the conversion from markdown "
.. "to plain TeX",
author = "John MacFarlane, Hans Hagen, Vít Starý Novotný, "
@@ -71,11 +71,11 @@ local metadata = {
local lpeg = require("lpeg")
local M = {metadata = metadata}
M.punctuation = {}
-local S = lpeg.S
+local P = lpeg.P
-- luacheck: push no max line length
-M.punctuation[1] = S([[!]]) + S([["]]) + S([[#]]) + S([[$]]) + S([[%]]) + S([[&]]) + S([[']]) + S([[(]]) + S([[)]]) + S([[*]]) + S([[+]]) + S([[,]]) + S([[-]]) + S([[.]]) + S([[/]]) + S([[:]]) + S([[;]]) + S([[<]]) + S([[=]]) + S([[>]]) + S([[?]]) + S([[@]]) + S([[[]]) + S([[\]]) + S(']') + S([[^]]) + S([[_]]) + S([[`]]) + S([[{]]) + S([[|]]) + S([[}]]) + S([[~]])
-M.punctuation[2] = S([[]]) * (S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]))
-M.punctuation[3] = S([[]]) * (S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]))) + S([[]]) * (S([[]]) * (S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]])) + S([[]]) * (S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]))) + S([[]]) * (S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]))) + S([[]]) * (S([[]]) * (S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]))) + S([[]]) * (S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]))) + S([[]]) * (S([[]]) * (S([[]])) + S([[]]) * (S([[]]) + S([[]])) + S([[]]) * (S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]])) + S([[]]) * (S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]])) + S([[]]) * (S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]])) + S([[]]) * (S([[]])) + S([[]]) * (S([[]]))) + S([[]]) * (S([[]]) * (S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])))
-M.punctuation[4] = S([[]]) * (S([[]]) * (S([[]]) * (S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]))) + S([[]]) * (S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]])) + S([[]]) * (S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]])) + S([[]]) * (S([[]])) + S([[]]) * (S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]))) + S([[]]) * (S([[]]) * (S([[]]) + S([[]])) + S([[]]) * (S([[]])) + S([[]]) * (S([[]])) + S([[]]) * (S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]])) + S([[]]) * (S([[]]))) + S([[]]) * (S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]))) + S([[]]) * (S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]])) + S([[]]) * (S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]])) + S([[]]) * (S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]))) + S([[]]) * (S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]))) + S([[]]) * (S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]))) + S([[]]) * (S([[]]) * (S([[]]) + S([[]]))) + S([[]]) * (S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]])) + S([[]]) * (S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]]) + S([[]])) + S([[]]) * (S([[]])) + S([[]]) * (S([[]]) + S([[]])) + S([[]]) * (S([[]]))))
+M.punctuation[1] = P([[!]]) + P([["]]) + P([[#]]) + P([[$]]) + P([[%]]) + P([[&]]) + P([[']]) + P([[(]]) + P([[)]]) + P([[*]]) + P([[+]]) + P([[,]]) + P([[-]]) + P([[.]]) + P([[/]]) + P([[:]]) + P([[;]]) + P([[<]]) + P([[=]]) + P([[>]]) + P([[?]]) + P([[@]]) + P([[[]]) + P([[\]]) + P(']') + P([[^]]) + P([[_]]) + P([[`]]) + P([[{]]) + P([[|]]) + P([[}]]) + P([[~]])
+M.punctuation[2] = P([[]]) * (P([[]]) + P([[]])) + P([[]]) * P([[]]) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * P([[]]) + P([[]]) * (P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]))
+M.punctuation[3] = P([[]]) * (P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]))) + P([[]]) * (P([[]]) * P([[]]) + P([[]]) * (P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]))) + P([[]]) * (P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * P([[]]) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * P([[]]) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]))) + P([[]]) * (P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]])) + P([[]]) * P([[]]) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]])) + P([[]]) * P([[]]) + P([[]]) * (P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]))) + P([[]]) * (P([[]]) * P([[]]) + P([[]]) * (P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * P([[]]) + P([[]]) * (P([[]]) + P([[]])) + P([[]]) * P([[]]) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]])) + P([[]]) * P([[]]) + P([[]]) * P([[]]) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]])) + P([[]]) * P([[]]) + P([[]]) * P([[]]) + P([[]]) * (P([[]]) + P([[]]))) + P([[]]) * (P([[]]) * (P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * P([[]]) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]))) + P([[]]) * (P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * P([[]]) + P([[]]) * (P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * P([[]]) + P([[]]) * (P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]])))
+M.punctuation[4] = P([[]]) * (P([[]]) * (P([[]]) * (P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]))) + P([[]]) * (P([[]]) * P([[]]) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * P([[]]) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * P([[]]) + P([[]]) * (P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * P([[]]) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]])) + P([[]]) * P([[]]) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * P([[]]) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * P([[]]) + P([[]]) * (P([[]]) + P([[]]) + P([[]]))) + P([[]]) * (P([[]]) * P([[]]) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * P([[]]) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * P([[]]) + P([[]]) * P([[]]) + P([[]]) * (P([[]]) + P([[]])) + P([[]]) * P([[]])) + P([[]]) * (P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]))) + P([[]]) * (P([[]]) * P([[]]) + P([[]]) * P([[]]) + P([[]]) * (P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]])) + P([[]]) * P([[]]) + P([[]]) * (P([[]]) + P([[]])) + P([[]]) * P([[]])) + P([[]]) * (P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * P([[]]) + P([[]]) * (P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]))) + P([[]]) * (P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]))) + P([[]]) * (P([[]]) * (P([[]]) + P([[]]))) + P([[]]) * (P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * P([[]]) + P([[]]) * (P([[]]) + P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]])) + P([[]]) * P([[]]) + P([[]]) * (P([[]]) + P([[]]) + P([[]])) + P([[]]) * (P([[]]) + P([[]]))))
-- luacheck: pop
return M