summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/tex/luatex/markdown/markdown-unicode-data.lua
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2025-01-28 21:17:08 +0000
committerKarl Berry <karl@freefriends.org>2025-01-28 21:17:08 +0000
commit3200d2622838e0899676d5c234dc58175f9bead1 (patch)
treea950d6046185b80e5aa17461866d0d0977db0156 /Master/texmf-dist/tex/luatex/markdown/markdown-unicode-data.lua
parent0dcd124abc97db0b5d86a37d719876ac66721f90 (diff)
markdown, with markdown2tex script (28jan25)
git-svn-id: svn://tug.org/texlive/trunk@73628 c570f23f-e606-0410-a88d-b1316a301751
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