From 6febde620a0877642c777877c29070105396d7a4 Mon Sep 17 00:00:00 2001 From: Francesco Mecca Date: Fri, 21 Feb 2020 19:13:13 +0100 Subject: [PATCH] unicode latex --- tesi/Makefile | 10 +- tesi/conv.py | 21 + tesi/prova.aux | 28 - tesi/prova.log | 771 ----------- tesi/prova.out | 4 - tesi/prova.pdf | Bin 45830 -> 0 bytes tesi/prova.tex | 336 ----- tesi/{prova.org => tesi.org} | 0 tesi/texput.log | 21 - tesi/unicode-latex.json | 2519 ++++++++++++++++++++++++++++++++++ 10 files changed, 2545 insertions(+), 1165 deletions(-) create mode 100644 tesi/conv.py delete mode 100644 tesi/prova.aux delete mode 100644 tesi/prova.log delete mode 100644 tesi/prova.out delete mode 100644 tesi/prova.pdf delete mode 100644 tesi/prova.tex rename tesi/{prova.org => tesi.org} (100%) delete mode 100644 tesi/texput.log create mode 100644 tesi/unicode-latex.json diff --git a/tesi/Makefile b/tesi/Makefile index 02c15b9..ed6602b 100644 --- a/tesi/Makefile +++ b/tesi/Makefile @@ -1,9 +1,9 @@ -SRC = prova.tex -AUX = prova.aux -DEL = prova.aux prova.bbl prova.blg prova.log prova.out -NAME = prova +SRC = tesi.tex +AUX = tesi.aux +DEL = tesi.aux tesi.bbl tesi.blg tesi.log tesi.out +NAME = tesi -prova: +tesi: @echo @echo "=== Removing temporary files ===" rm -f $(DEL) diff --git a/tesi/conv.py b/tesi/conv.py new file mode 100644 index 0000000..0fcc022 --- /dev/null +++ b/tesi/conv.py @@ -0,0 +1,21 @@ +import json +from sys import argv + +allsymbols = json.load(open('./unicode-latex.json')) +symbols = ['≼', '→', '⊀', '⋠', '≺', '∀', '∈', '₂', '₁', 'ₐ', 'ₘ', 'ₙ', 'ᵢ' ] +symbols = {s: allsymbols[s] for s in symbols} +print(symbols) + + +def read_by_char(fname): + with open(fname, 'r') as fp: + for line in fp.readlines(): + for ch in line: + yield ch + +def convert(ch): + return symbols[ch] if ch in symbols else ch + +newfile = [convert(ch) for ch in read_by_char(argv[1])] +with open(argv[2], 'w') as f: + f.writelines(newfile) diff --git a/tesi/prova.aux b/tesi/prova.aux deleted file mode 100644 index 652b85a..0000000 --- a/tesi/prova.aux +++ /dev/null @@ -1,28 +0,0 @@ -\relax -\providecommand\hyper@newdestlabel[2]{} -\providecommand\HyperFirstAtBeginDocument{\AtBeginDocument} -\HyperFirstAtBeginDocument{\ifx\hyper@anchor\@undefined -\global\let\oldcontentsline\contentsline -\gdef\contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}} -\global\let\oldnewlabel\newlabel -\gdef\newlabel#1#2{\newlabelxx{#1}#2} -\gdef\newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}} -\AtEndDocument{\ifx\hyper@anchor\@undefined -\let\contentsline\oldcontentsline -\let\newlabel\oldnewlabel -\fi} -\fi} -\global\let\hyper@last\relax -\gdef\HyperFirstAtBeginDocument#1{#1} -\providecommand*\HyPL@Entry[1]{} -\HyPL@Entry{0<>} -\@writefile{toc}{\contentsline {section}{\numberline {1}{\bfseries \sffamily TODO} Scaletta [1/2]}{1}{section.1}\protected@file@percent } -\newlabel{sec:org6c3943f}{{1}{1}{{\bfseries \sffamily TODO} Scaletta [1/2]}{section.1}{}} -\@writefile{toc}{\contentsline {section}{\numberline {2}1. Background}{2}{section.2}\protected@file@percent } -\newlabel{sec:orgad08c62}{{2}{2}{1. Background}{section.2}{}} -\@writefile{toc}{\contentsline {subsection}{\numberline {2.1}1.1 OCaml}{2}{subsection.2.1}\protected@file@percent } -\newlabel{sec:orgca8d200}{{2.1}{2}{1.1 OCaml}{subsection.2.1}{}} -\newlabel{sec:org83a2e95}{{1}{3}{1.1 OCaml}{Item.1}{}} -\newlabel{sec:org2127ffb}{{2}{5}{1.1 OCaml}{Item.2}{}} -\@writefile{toc}{\contentsline {subsection}{\numberline {2.2}1.2.1.1 Initial state of the compilation}{6}{subsection.2.2}\protected@file@percent } -\newlabel{sec:org0b0c254}{{2.2}{6}{1.2.1.1 Initial state of the compilation}{subsection.2.2}{}} diff --git a/tesi/prova.log b/tesi/prova.log deleted file mode 100644 index 255966f..0000000 --- a/tesi/prova.log +++ /dev/null @@ -1,771 +0,0 @@ -This is XeTeX, Version 3.14159265-2.6-0.999991 (TeX Live 2019 Gentoo Linux) (preloaded format=xelatex 2020.2.19) 19 FEB 2020 16:42 -entering extended mode - restricted \write18 enabled. - %&-line parsing enabled. -**prova.tex -(./prova.tex -LaTeX2e <2018-12-01> -(/usr/share/texmf-dist/tex/latex/base/article.cls -Document Class: article 2018/09/03 v1.4i Standard LaTeX document class -(/usr/share/texmf-dist/tex/latex/base/size11.clo -File: size11.clo 2018/09/03 v1.4i Standard LaTeX file (size option) -) -\c@part=\count80 -\c@section=\count81 -\c@subsection=\count82 -\c@subsubsection=\count83 -\c@paragraph=\count84 -\c@subparagraph=\count85 -\c@figure=\count86 -\c@table=\count87 -\abovecaptionskip=\skip41 -\belowcaptionskip=\skip42 -\bibindent=\dimen102 -) -(/usr/share/texmf-dist/tex/latex/base/inputenc.sty -Package: inputenc 2018/08/11 v1.3c Input encoding file -\inpenc@prehook=\toks14 -\inpenc@posthook=\toks15 - - -Package inputenc Warning: inputenc package ignored with utf8 based engines. - -) (/usr/share/texmf-dist/tex/latex/base/fontenc.sty -Package: fontenc 2018/08/11 v2.0j Standard LaTeX package - -(/usr/share/texmf-dist/tex/latex/base/t1enc.def -File: t1enc.def 2018/08/11 v2.0j Standard LaTeX file -LaTeX Font Info: Redeclaring font encoding T1 on input line 48. -) -LaTeX Font Info: Try loading font information for T1+lmr on input line 105. - -(/usr/share/texmf-dist/tex/latex/lm/t1lmr.fd -File: t1lmr.fd 2009/10/30 v1.6 Font defs for Latin Modern -)) -(/usr/share/texmf-dist/tex/latex/graphics/graphicx.sty -Package: graphicx 2017/06/01 v1.1a Enhanced LaTeX Graphics (DPC,SPQR) - -(/usr/share/texmf-dist/tex/latex/graphics/keyval.sty -Package: keyval 2014/10/28 v1.15 key=value parser (DPC) -\KV@toks@=\toks16 -) -(/usr/share/texmf-dist/tex/latex/graphics/graphics.sty -Package: graphics 2017/06/25 v1.2c Standard LaTeX Graphics (DPC,SPQR) - -(/usr/share/texmf-dist/tex/latex/graphics/trig.sty -Package: trig 2016/01/03 v1.10 sin cos tan (DPC) -) -(/usr/share/texmf-dist/tex/latex/graphics-cfg/graphics.cfg -File: graphics.cfg 2016/06/04 v1.11 sample graphics configuration -) -Package graphics Info: Driver file: xetex.def on input line 99. - -(/usr/share/texmf-dist/tex/latex/graphics-def/xetex.def -File: xetex.def 2017/06/24 v5.0h Graphics/color driver for xetex -)) -\Gin@req@height=\dimen103 -\Gin@req@width=\dimen104 -) -(/usr/share/texmf-dist/tex/latex/oberdiek/grffile.sty -Package: grffile 2017/06/30 v1.18 Extended file name support for graphics (HO) - -(/usr/share/texmf-dist/tex/generic/oberdiek/ifpdf.sty -Package: ifpdf 2018/09/07 v3.3 Provides the ifpdf switch -) -(/usr/share/texmf-dist/tex/generic/ifxetex/ifxetex.sty -Package: ifxetex 2010/09/12 v0.6 Provides ifxetex conditional -) -(/usr/share/texmf-dist/tex/latex/oberdiek/kvoptions.sty -Package: kvoptions 2016/05/16 v3.12 Key value format for package options (HO) - -(/usr/share/texmf-dist/tex/generic/oberdiek/ltxcmds.sty -Package: ltxcmds 2016/05/16 v1.23 LaTeX kernel commands for general use (HO) -) -(/usr/share/texmf-dist/tex/generic/oberdiek/kvsetkeys.sty -Package: kvsetkeys 2016/05/16 v1.17 Key value parser (HO) - -(/usr/share/texmf-dist/tex/generic/oberdiek/infwarerr.sty -Package: infwarerr 2016/05/16 v1.4 Providing info/warning/error messages (HO) -) -(/usr/share/texmf-dist/tex/generic/oberdiek/etexcmds.sty -Package: etexcmds 2016/05/16 v1.6 Avoid name clashes with e-TeX commands (HO) - -(/usr/share/texmf-dist/tex/generic/oberdiek/ifluatex.sty -Package: ifluatex 2016/05/16 v1.4 Provides the ifluatex switch (HO) -Package ifluatex Info: LuaTeX not detected. -)))) -(/usr/share/texmf-dist/tex/generic/oberdiek/pdftexcmds.sty -Package: pdftexcmds 2018/09/10 v0.29 Utility functions of pdfTeX for LuaTeX (HO -) -Package pdftexcmds Info: LuaTeX not detected. -Package pdftexcmds Info: pdfTeX >= 1.30 not detected. -Package pdftexcmds Info: \pdf@primitive is available. -Package pdftexcmds Info: \pdf@ifprimitive is available. -Package pdftexcmds Info: \pdfdraftmode not found. -) -Package grffile Info: Option `multidot' is set to `true'. -Package grffile Info: Option `extendedchars' is set to `false'. -Package grffile Info: Option `space' is set to `true'. -Package grffile Info: \Gin@ii of package `graphicx' fixed on input line 494. -) -(/usr/share/texmf-dist/tex/latex/tools/longtable.sty -Package: longtable 2014/10/28 v4.11 Multi-page Table package (DPC)+ FMi change -\LTleft=\skip43 -\LTright=\skip44 -\LTpre=\skip45 -\LTpost=\skip46 -\LTchunksize=\count88 -\LTcapwidth=\dimen105 -\LT@head=\box27 -\LT@firsthead=\box28 -\LT@foot=\box29 -\LT@lastfoot=\box30 -\LT@cols=\count89 -\LT@rows=\count90 -\c@LT@tables=\count91 -\c@LT@chunks=\count92 -\LT@p@ftn=\toks17 -) -(/usr/share/texmf-dist/tex/latex/wrapfig/wrapfig.sty -\wrapoverhang=\dimen106 -\WF@size=\dimen107 -\c@WF@wrappedlines=\count93 -\WF@box=\box31 -\WF@everypar=\toks18 -Package: wrapfig 2003/01/31 v 3.6 -) -(/usr/share/texmf-dist/tex/latex/graphics/rotating.sty -Package: rotating 2016/08/11 v2.16d rotated objects in LaTeX - -(/usr/share/texmf-dist/tex/latex/base/ifthen.sty -Package: ifthen 2014/09/29 v1.1c Standard LaTeX ifthen package (DPC) -) -\c@r@tfl@t=\count94 -\rotFPtop=\skip47 -\rotFPbot=\skip48 -\rot@float@box=\box32 -\rot@mess@toks=\toks19 -) -(/usr/share/texmf-dist/tex/generic/ulem/ulem.sty -\UL@box=\box33 -\UL@hyphenbox=\box34 -\UL@skip=\skip49 -\UL@hook=\toks20 -\UL@height=\dimen108 -\UL@pe=\count95 -\UL@pixel=\dimen109 -\ULC@box=\box35 -Package: ulem 2012/05/18 -\ULdepth=\dimen110 -) -(/usr/share/texmf-dist/tex/latex/amsmath/amsmath.sty -Package: amsmath 2018/12/01 v2.17b AMS math features -\@mathmargin=\skip50 - -For additional information on amsmath, use the `?' option. -(/usr/share/texmf-dist/tex/latex/amsmath/amstext.sty -Package: amstext 2000/06/29 v2.01 AMS text - -(/usr/share/texmf-dist/tex/latex/amsmath/amsgen.sty -File: amsgen.sty 1999/11/30 v2.0 generic functions -\@emptytoks=\toks21 -\ex@=\dimen111 -)) -(/usr/share/texmf-dist/tex/latex/amsmath/amsbsy.sty -Package: amsbsy 1999/11/29 v1.2d Bold Symbols -\pmbraise@=\dimen112 -) -(/usr/share/texmf-dist/tex/latex/amsmath/amsopn.sty -Package: amsopn 2016/03/08 v2.02 operator names -) -\inf@bad=\count96 -LaTeX Info: Redefining \frac on input line 223. -\uproot@=\count97 -\leftroot@=\count98 -LaTeX Info: Redefining \overline on input line 385. -\classnum@=\count99 -\DOTSCASE@=\count100 -LaTeX Info: Redefining \ldots on input line 482. -LaTeX Info: Redefining \dots on input line 485. -LaTeX Info: Redefining \cdots on input line 606. -\Mathstrutbox@=\box36 -\strutbox@=\box37 -\big@size=\dimen113 -LaTeX Font Info: Redeclaring font encoding OML on input line 729. -LaTeX Font Info: Redeclaring font encoding OMS on input line 730. -\macc@depth=\count101 -\c@MaxMatrixCols=\count102 -\dotsspace@=\muskip10 -\c@parentequation=\count103 -\dspbrk@lvl=\count104 -\tag@help=\toks22 -\row@=\count105 -\column@=\count106 -\maxfields@=\count107 -\andhelp@=\toks23 -\eqnshift@=\dimen114 -\alignsep@=\dimen115 -\tagshift@=\dimen116 -\tagwidth@=\dimen117 -\totwidth@=\dimen118 -\lineht@=\dimen119 -\@envbody=\toks24 -\multlinegap=\skip51 -\multlinetaggap=\skip52 -\mathdisplay@stack=\toks25 -LaTeX Info: Redefining \[ on input line 2844. -LaTeX Info: Redefining \] on input line 2845. -) -(/usr/share/texmf-dist/tex/latex/base/textcomp.sty -Package: textcomp 2018/08/11 v2.0j Standard LaTeX package -Package textcomp Info: Sub-encoding information: -(textcomp) 5 = only ISO-Adobe without \textcurrency -(textcomp) 4 = 5 + \texteuro -(textcomp) 3 = 4 + \textohm -(textcomp) 2 = 3 + \textestimated + \textcurrency -(textcomp) 1 = TS1 - \textcircled - \t -(textcomp) 0 = TS1 (full) -(textcomp) Font families with sub-encoding setting implement -(textcomp) only a restricted character set as indicated. -(textcomp) Family '?' is the default used for unknown fonts. -(textcomp) See the documentation for details. -Package textcomp Info: Setting ? sub-encoding to TS1/1 on input line 79. - -(/usr/share/texmf-dist/tex/latex/base/ts1enc.def -File: ts1enc.def 2001/06/05 v3.0e (jk/car/fm) Standard LaTeX file -) -LaTeX Info: Redefining \oldstylenums on input line 334. -Package textcomp Info: Setting cmr sub-encoding to TS1/0 on input line 349. -Package textcomp Info: Setting cmss sub-encoding to TS1/0 on input line 350. -Package textcomp Info: Setting cmtt sub-encoding to TS1/0 on input line 351. -Package textcomp Info: Setting cmvtt sub-encoding to TS1/0 on input line 352. -Package textcomp Info: Setting cmbr sub-encoding to TS1/0 on input line 353. -Package textcomp Info: Setting cmtl sub-encoding to TS1/0 on input line 354. -Package textcomp Info: Setting ccr sub-encoding to TS1/0 on input line 355. -Package textcomp Info: Setting ptm sub-encoding to TS1/4 on input line 356. -Package textcomp Info: Setting pcr sub-encoding to TS1/4 on input line 357. -Package textcomp Info: Setting phv sub-encoding to TS1/4 on input line 358. -Package textcomp Info: Setting ppl sub-encoding to TS1/3 on input line 359. -Package textcomp Info: Setting pag sub-encoding to TS1/4 on input line 360. -Package textcomp Info: Setting pbk sub-encoding to TS1/4 on input line 361. -Package textcomp Info: Setting pnc sub-encoding to TS1/4 on input line 362. -Package textcomp Info: Setting pzc sub-encoding to TS1/4 on input line 363. -Package textcomp Info: Setting bch sub-encoding to TS1/4 on input line 364. -Package textcomp Info: Setting put sub-encoding to TS1/5 on input line 365. -Package textcomp Info: Setting uag sub-encoding to TS1/5 on input line 366. -Package textcomp Info: Setting ugq sub-encoding to TS1/5 on input line 367. -Package textcomp Info: Setting ul8 sub-encoding to TS1/4 on input line 368. -Package textcomp Info: Setting ul9 sub-encoding to TS1/4 on input line 369. -Package textcomp Info: Setting augie sub-encoding to TS1/5 on input line 370. -Package textcomp Info: Setting dayrom sub-encoding to TS1/3 on input line 371. -Package textcomp Info: Setting dayroms sub-encoding to TS1/3 on input line 372. - -Package textcomp Info: Setting pxr sub-encoding to TS1/0 on input line 373. -Package textcomp Info: Setting pxss sub-encoding to TS1/0 on input line 374. -Package textcomp Info: Setting pxtt sub-encoding to TS1/0 on input line 375. -Package textcomp Info: Setting txr sub-encoding to TS1/0 on input line 376. -Package textcomp Info: Setting txss sub-encoding to TS1/0 on input line 377. -Package textcomp Info: Setting txtt sub-encoding to TS1/0 on input line 378. -Package textcomp Info: Setting lmr sub-encoding to TS1/0 on input line 379. -Package textcomp Info: Setting lmdh sub-encoding to TS1/0 on input line 380. -Package textcomp Info: Setting lmss sub-encoding to TS1/0 on input line 381. -Package textcomp Info: Setting lmssq sub-encoding to TS1/0 on input line 382. -Package textcomp Info: Setting lmvtt sub-encoding to TS1/0 on input line 383. -Package textcomp Info: Setting lmtt sub-encoding to TS1/0 on input line 384. -Package textcomp Info: Setting qhv sub-encoding to TS1/0 on input line 385. -Package textcomp Info: Setting qag sub-encoding to TS1/0 on input line 386. -Package textcomp Info: Setting qbk sub-encoding to TS1/0 on input line 387. -Package textcomp Info: Setting qcr sub-encoding to TS1/0 on input line 388. -Package textcomp Info: Setting qcs sub-encoding to TS1/0 on input line 389. -Package textcomp Info: Setting qpl sub-encoding to TS1/0 on input line 390. -Package textcomp Info: Setting qtm sub-encoding to TS1/0 on input line 391. -Package textcomp Info: Setting qzc sub-encoding to TS1/0 on input line 392. -Package textcomp Info: Setting qhvc sub-encoding to TS1/0 on input line 393. -Package textcomp Info: Setting futs sub-encoding to TS1/4 on input line 394. -Package textcomp Info: Setting futx sub-encoding to TS1/4 on input line 395. -Package textcomp Info: Setting futj sub-encoding to TS1/4 on input line 396. -Package textcomp Info: Setting hlh sub-encoding to TS1/3 on input line 397. -Package textcomp Info: Setting hls sub-encoding to TS1/3 on input line 398. -Package textcomp Info: Setting hlst sub-encoding to TS1/3 on input line 399. -Package textcomp Info: Setting hlct sub-encoding to TS1/5 on input line 400. -Package textcomp Info: Setting hlx sub-encoding to TS1/5 on input line 401. -Package textcomp Info: Setting hlce sub-encoding to TS1/5 on input line 402. -Package textcomp Info: Setting hlcn sub-encoding to TS1/5 on input line 403. -Package textcomp Info: Setting hlcw sub-encoding to TS1/5 on input line 404. -Package textcomp Info: Setting hlcf sub-encoding to TS1/5 on input line 405. -Package textcomp Info: Setting pplx sub-encoding to TS1/3 on input line 406. -Package textcomp Info: Setting pplj sub-encoding to TS1/3 on input line 407. -Package textcomp Info: Setting ptmx sub-encoding to TS1/4 on input line 408. -Package textcomp Info: Setting ptmj sub-encoding to TS1/4 on input line 409. -) -(/usr/share/texmf-dist/tex/latex/amsfonts/amssymb.sty -Package: amssymb 2013/01/14 v3.01 AMS font symbols - -(/usr/share/texmf-dist/tex/latex/amsfonts/amsfonts.sty -Package: amsfonts 2013/01/14 v3.01 Basic AMSFonts support -\symAMSa=\mathgroup4 -\symAMSb=\mathgroup5 -LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold' -(Font) U/euf/m/n --> U/euf/b/n on input line 106. -)) -(/usr/share/texmf-dist/tex/latex/capt-of/capt-of.sty -Package: capt-of 2009/12/29 v0.2 standard captions outside of floats -) -(/usr/share/texmf-dist/tex/latex/hyperref/hyperref.sty -Package: hyperref 2018/11/30 v6.88e Hypertext links for LaTeX - -(/usr/share/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty -Package: hobsub-hyperref 2016/05/16 v1.14 Bundle oberdiek, subset hyperref (HO) - - -(/usr/share/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty -Package: hobsub-generic 2016/05/16 v1.14 Bundle oberdiek, subset generic (HO) -Package: hobsub 2016/05/16 v1.14 Construct package bundles (HO) -Package hobsub Info: Skipping package `infwarerr' (already loaded). -Package hobsub Info: Skipping package `ltxcmds' (already loaded). -Package hobsub Info: Skipping package `ifluatex' (already loaded). -Package: ifvtex 2016/05/16 v1.6 Detect VTeX and its facilities (HO) -Package ifvtex Info: VTeX not detected. -Package: intcalc 2016/05/16 v1.2 Expandable calculations with integers (HO) -Package hobsub Info: Skipping package `ifpdf' (already loaded). -Package hobsub Info: Skipping package `etexcmds' (already loaded). -Package hobsub Info: Skipping package `kvsetkeys' (already loaded). -Package: kvdefinekeys 2016/05/16 v1.4 Define keys (HO) -Package hobsub Info: Skipping package `pdftexcmds' (already loaded). -Package: pdfescape 2016/05/16 v1.14 Implements pdfTeX's escape features (HO) -Package: bigintcalc 2016/05/16 v1.4 Expandable calculations on big integers (HO -) -Package: bitset 2016/05/16 v1.2 Handle bit-vector datatype (HO) -Package: uniquecounter 2016/05/16 v1.3 Provide unlimited unique counter (HO) -) -Package hobsub Info: Skipping package `hobsub' (already loaded). -Package: letltxmacro 2016/05/16 v1.5 Let assignment for LaTeX macros (HO) -Package: hopatch 2016/05/16 v1.3 Wrapper for package hooks (HO) -Package: xcolor-patch 2016/05/16 xcolor patch -Package: atveryend 2016/05/16 v1.9 Hooks at the very end of document (HO) -Package atveryend Info: \enddocument detected (standard20110627). -Package: atbegshi 2016/06/09 v1.18 At begin shipout hook (HO) -Package: refcount 2016/05/16 v3.5 Data extraction from label references (HO) -Package: hycolor 2016/05/16 v1.8 Color options for hyperref/bookmark (HO) -) -(/usr/share/texmf-dist/tex/latex/oberdiek/auxhook.sty -Package: auxhook 2016/05/16 v1.4 Hooks for auxiliary files (HO) -) -\@linkdim=\dimen120 -\Hy@linkcounter=\count108 -\Hy@pagecounter=\count109 - -(/usr/share/texmf-dist/tex/latex/hyperref/pd1enc.def -File: pd1enc.def 2018/11/30 v6.88e Hyperref: PDFDocEncoding definition (HO) -) -\Hy@SavedSpaceFactor=\count110 - -(/usr/share/texmf-dist/tex/latex/latexconfig/hyperref.cfg -File: hyperref.cfg 2002/06/06 v1.2 hyperref configuration of TeXLive -) -Package hyperref Info: Hyper figures OFF on input line 4519. -Package hyperref Info: Link nesting OFF on input line 4524. -Package hyperref Info: Hyper index ON on input line 4527. -Package hyperref Info: Plain pages OFF on input line 4534. -Package hyperref Info: Backreferencing OFF on input line 4539. -Package hyperref Info: Implicit mode ON; LaTeX internals redefined. -Package hyperref Info: Bookmarks ON on input line 4772. -\c@Hy@tempcnt=\count111 - -(/usr/share/texmf-dist/tex/latex/url/url.sty -\Urlmuskip=\muskip11 -Package: url 2013/09/16 ver 3.4 Verb mode for urls, etc. -) -LaTeX Info: Redefining \url on input line 5125. -\XeTeXLinkMargin=\dimen121 -\Fld@menulength=\count112 -\Field@Width=\dimen122 -\Fld@charsize=\dimen123 -Package hyperref Info: Hyper figures OFF on input line 6380. -Package hyperref Info: Link nesting OFF on input line 6385. -Package hyperref Info: Hyper index ON on input line 6388. -Package hyperref Info: backreferencing OFF on input line 6395. -Package hyperref Info: Link coloring OFF on input line 6400. -Package hyperref Info: Link coloring with OCG OFF on input line 6405. -Package hyperref Info: PDF/A mode OFF on input line 6410. -LaTeX Info: Redefining \ref on input line 6450. -LaTeX Info: Redefining \pageref on input line 6454. -\Hy@abspage=\count113 -\c@Item=\count114 -\c@Hfootnote=\count115 -) -Package hyperref Info: Driver (autodetected): hxetex. - -(/usr/share/texmf-dist/tex/latex/hyperref/hxetex.def -File: hxetex.def 2018/11/30 v6.88e Hyperref driver for XeTeX - -(/usr/share/texmf-dist/tex/latex/hyperref/puenc.def -File: puenc.def 2018/11/30 v6.88e Hyperref: PDF Unicode definition (HO) -) -(/usr/share/texmf-dist/tex/generic/oberdiek/stringenc.sty -Package: stringenc 2016/05/16 v1.11 Convert strings between diff. encodings (HO -) -) -\pdfm@box=\box38 -\c@Hy@AnnotLevel=\count116 -\HyField@AnnotCount=\count117 -\Fld@listcount=\count118 -\c@bookmark@seq@number=\count119 - -(/usr/share/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty -Package: rerunfilecheck 2016/05/16 v1.8 Rerun checks for auxiliary files (HO) -Package uniquecounter Info: New unique counter `rerunfilecheck' on input line 2 -82. -) -\Hy@SectionHShift=\skip53 -) -(/usr/share/texmf-dist/tex/latex/algorithms/algorithm.sty -Invalid UTF-8 byte or sequence at line 11 replaced by U+FFFD. -Package: algorithm 2009/08/24 v0.1 Document Style `algorithm' - floating enviro -nment - -(/usr/share/texmf-dist/tex/latex/float/float.sty -Package: float 2001/11/08 v1.3d Float enhancements (AL) -\c@float@type=\count120 -\float@exts=\toks26 -\float@box=\box39 -\@float@everytoks=\toks27 -\@floatcapt=\box40 -) -\@float@every@algorithm=\toks28 -\c@algorithm=\count121 -) -(/usr/share/texmf-dist/tex/latex/algorithmicx/algpseudocode.sty -Package: algpseudocode - -(/usr/share/texmf-dist/tex/latex/algorithmicx/algorithmicx.sty -Package: algorithmicx 2005/04/27 v1.2 Algorithmicx - -Document Style algorithmicx 1.2 - a greatly improved `algorithmic' style -\c@ALG@line=\count122 -\c@ALG@rem=\count123 -\c@ALG@nested=\count124 -\ALG@tlm=\skip54 -\ALG@thistlm=\skip55 -\c@ALG@Lnr=\count125 -\c@ALG@blocknr=\count126 -\c@ALG@storecount=\count127 -\c@ALG@tmpcounter=\count128 -\ALG@tmplength=\skip56 -) -Document Style - pseudocode environments for use with the `algorithmicx' style -) (/usr/share/texmf-dist/tex/latex/amscls/amsthm.sty -Package: amsthm 2017/10/31 v2.20.4 -\thm@style=\toks29 -\thm@bodyfont=\toks30 -\thm@headfont=\toks31 -\thm@notefont=\toks32 -\thm@headpunct=\toks33 -\thm@preskip=\skip57 -\thm@postskip=\skip58 -\thm@headsep=\skip59 -\dth@everypar=\toks34 -) -(/usr/share/texmf-dist/tex/latex/base/fontenc.sty -Package: fontenc 2018/08/11 v2.0j Standard LaTeX package - -(/usr/share/texmf-dist/tex/latex/base/t1enc.def -File: t1enc.def 2018/08/11 v2.0j Standard LaTeX file -LaTeX Font Info: Redeclaring font encoding T1 on input line 48. -)) -\c@definition=\count129 - -(/usr/share/texmf-dist/tex/latex/listings/listings.sty -\lst@mode=\count130 -\lst@gtempboxa=\box41 -\lst@token=\toks35 -\lst@length=\count131 -\lst@currlwidth=\dimen124 -\lst@column=\count132 -\lst@pos=\count133 -\lst@lostspace=\dimen125 -\lst@width=\dimen126 -\lst@newlines=\count134 -\lst@lineno=\count135 -\lst@maxwidth=\dimen127 - -(/usr/share/texmf-dist/tex/latex/listings/lstmisc.sty -File: lstmisc.sty 2019/02/27 1.8b (Carsten Heinz) -\c@lstnumber=\count136 -\lst@skipnumbers=\count137 -\lst@framebox=\box42 -) -(/usr/share/texmf-dist/tex/latex/listings/listings.cfg -File: listings.cfg 2019/02/27 1.8b listings configuration -)) -Package: listings 2019/02/27 1.8b (Carsten Heinz) - -(/usr/share/texmf-dist/tex/latex/graphics/color.sty -Package: color 2016/07/10 v1.1e Standard LaTeX Color (DPC) - -(/usr/share/texmf-dist/tex/latex/graphics-cfg/color.cfg -File: color.cfg 2016/01/02 v1.6 sample color configuration -) -Package color Info: Driver file: xetex.def on input line 147. -) -(/usr/share/texmf-dist/tex/generic/oberdiek/se-ascii-print.def -File: se-ascii-print.def 2016/05/16 v1.11 stringenc: Printable ASCII characters - -) (./prova.aux) -\openout1 = `prova.aux'. - -LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 37. -LaTeX Font Info: ... okay on input line 37. -LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 37. -LaTeX Font Info: ... okay on input line 37. -LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 37. -LaTeX Font Info: ... okay on input line 37. -LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 37. -LaTeX Font Info: ... okay on input line 37. -LaTeX Font Info: Checking defaults for TU/lmr/m/n on input line 37. -LaTeX Font Info: ... okay on input line 37. -LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 37. -LaTeX Font Info: ... okay on input line 37. -LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 37. -LaTeX Font Info: ... okay on input line 37. -LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 37. -LaTeX Font Info: Try loading font information for TS1+cmr on input line 37. - -(/usr/share/texmf-dist/tex/latex/base/ts1cmr.fd -File: ts1cmr.fd 2014/09/29 v2.5h Standard LaTeX font definitions -) -LaTeX Font Info: ... okay on input line 37. -LaTeX Font Info: Checking defaults for PD1/pdf/m/n on input line 37. -LaTeX Font Info: ... okay on input line 37. -LaTeX Font Info: Checking defaults for PU/pdf/m/n on input line 37. -LaTeX Font Info: ... okay on input line 37. -\AtBeginShipoutBox=\box43 -Package hyperref Info: Link coloring OFF on input line 37. - -(/usr/share/texmf-dist/tex/latex/hyperref/nameref.sty -Package: nameref 2016/05/21 v2.44 Cross-referencing by name of section - -(/usr/share/texmf-dist/tex/generic/oberdiek/gettitlestring.sty -Package: gettitlestring 2016/05/16 v1.5 Cleanup title references (HO) -) -\c@section@level=\count138 -) -LaTeX Info: Redefining \ref on input line 37. -LaTeX Info: Redefining \pageref on input line 37. -LaTeX Info: Redefining \nameref on input line 37. - (./prova.out) -(./prova.out) -\@outlinefile=\write3 -\openout3 = `prova.out'. - -\c@lstlisting=\count139 -LaTeX Font Info: Try loading font information for U+msa on input line 40. - (/usr/share/texmf-dist/tex/latex/amsfonts/umsa.fd -File: umsa.fd 2013/01/14 v3.01 AMS symbols A -) -LaTeX Font Info: Try loading font information for U+msb on input line 40. - -(/usr/share/texmf-dist/tex/latex/amsfonts/umsb.fd -File: umsb.fd 2013/01/14 v3.01 AMS symbols B -) -LaTeX Font Info: Try loading font information for T1+lmss on input line 40. - -(/usr/share/texmf-dist/tex/latex/lm/t1lmss.fd -File: t1lmss.fd 2009/10/30 v1.6 Font defs for Latin Modern -) [1 - -] -LaTeX Font Info: Try loading font information for TS1+lmr on input line 82. - -(/usr/share/texmf-dist/tex/latex/lm/ts1lmr.fd -File: ts1lmr.fd 2009/10/30 v1.6 Font defs for Latin Modern -) [2] -LaTeX Font Info: Try loading font information for T1+lmtt on input line 145. - - -(/usr/share/texmf-dist/tex/latex/lm/t1lmtt.fd -File: t1lmtt.fd 2009/10/30 v1.6 Font defs for Latin Modern -) [3] -Overfull \hbox (18.04773pt too wide) in paragraph at lines 180--180 - []\T1/lmtt/m/n/10.95 | (Some _, None) -> print "Pair of optional types, last n -ull"[] - [] - - -Overfull \hbox (23.79646pt too wide) in paragraph at lines 180--180 - []\T1/lmtt/m/n/10.95 | (None, Some _) -> print "Pair of optional types, first -null"[] - [] - - -Overfull \hbox (6.55026pt too wide) in paragraph at lines 180--180 - []\T1/lmtt/m/n/10.95 | (None, None) -> print "Pair of optional types, both nul -l"[] - [] - -[4] -Missing character: There is no ₁ in font ec-lmr10! -Missing character: There is no ₂ in font ec-lmr10! -Missing character: There is no ₙ in font ec-lmr10! -Missing character: There is no ₁ in font ec-lmr10! -Missing character: There is no ₂ in font ec-lmr10! -Missing character: There is no ₁ in font ec-lmr10! -Missing character: There is no ₂ in font ec-lmr10! -Missing character: There is no ₙ in font ec-lmr10! -Missing character: There is no ⁱ in font ec-lmr10! -Missing character: There is no → in font cmr10! -Missing character: There is no ₁ in font cmr10! -Missing character: There is no → in font cmr10! -Missing character: There is no ₂ in font cmr10! -Missing character: There is no → in font cmr10! -Missing character: There is no → in font cmr10! -Missing character: There is no ₘ in font cmmi10! -Missing character: There is no → in font cmr10! - -Overfull \hbox (2.96298pt too wide) in paragraph at lines 259--261 -[]\T1/lmr/m/n/10.95 Most na-tive data types in OCaml, such as in-te-gers, tu-pl -es, lists, records, - [] - -Missing character: There is no ≼ in font ec-lmr10! -Missing character: There is no ≼ in font ec-lmr10! -Missing character: There is no ≼ in font ec-lmr10! -Missing character: There is no ₁ in font ec-lmr10! -Missing character: There is no ₂ in font ec-lmr10! -Missing character: There is no ≼ in font ec-lmr10! -Missing character: There is no ₁ in font ec-lmr10! -Missing character: There is no ≼ in font ec-lmr10! -Missing character: There is no ₂ in font ec-lmr10! -Missing character: There is no ≼ in font ec-lmr10! -Missing character: There is no ₁ in font ec-lmr10! -Missing character: There is no ₂ in font ec-lmr10! -Missing character: There is no ₐ in font ec-lmr10! -Missing character: There is no ≼ in font ec-lmr10! -Missing character: There is no ₁ in font ec-lmr10! -Missing character: There is no ₂ in font ec-lmr10! -Missing character: There is no ₐ in font ec-lmr10! -Missing character: There is no ₁ in font ec-lmr10! -Missing character: There is no ₂ in font ec-lmr10! -Missing character: There is no ₐ in font ec-lmr10! -Missing character: There is no ≼ in font ec-lmr10! -Missing character: There is no ₁ in font ec-lmr10! -Missing character: There is no ₂ in font ec-lmr10! -Missing character: There is no ₐ in font ec-lmr10! -Missing character: There is no ₁ in font ec-lmr10! -Missing character: There is no ₂ in font ec-lmr10! -Missing character: There is no ₐ in font ec-lmr10! -Missing character: There is no ≼ in font ec-lmr10! -Missing character: There is no ₁ in font ec-lmr10! -Missing character: There is no ₂ in font ec-lmr10! -Missing character: There is no ₐ in font ec-lmr10! -Missing character: There is no ᵢ in font ec-lmr10! -Missing character: There is no ≼ in font ec-lmr10! -Missing character: There is no ᵢ in font ec-lmr10! -Missing character: There is no ∀ in font ec-lmr10! -Missing character: There is no ∈ in font ec-lmr10! -! Undefined control sequence. -l.285 \vv - {v} = (v₁, v₂, \ldots{}, vᵢ) matches the line number i in P if and... - -? -Missing character: There is no ₁ in font ec-lmr10! -Missing character: There is no ₂ in font ec-lmr10! -Missing character: There is no ᵢ in font ec-lmr10! -[5] -! Misplaced alignment tab character &. -l.288 \item \[ p_{i,1} & - p_{i,2} & \cdots & p_{i,n} \] ≼ (v₁, v₂, \ldots{}, vᵢ) - -? -! Misplaced alignment tab character &. -l.288 \item \[ p_{i,1} & p_{i,2} & - \cdots & p_{i,n} \] ≼ (v₁, v₂, \ldots{}, vᵢ) - -? -! Misplaced alignment tab character &. - & - -l.288 \item \[ p_{i,1} & p_{i,2} & \cdots & - p_{i,n} \] ≼ (v₁, v₂, \ldots{}, vᵢ) - -? -Missing character: There is no ≼ in font ec-lmr10! -Missing character: There is no ₁ in font ec-lmr10! -Missing character: There is no ₂ in font ec-lmr10! -Missing character: There is no ᵢ in font ec-lmr10! -! Misplaced alignment tab character &. -l.289 \item \[ ∀j < i p_{j,1} & - p_{j,2} & \cdots & p_{j,n} \] ⋠ (v₁, v₂, \ld... - -? -! Misplaced alignment tab character &. -l.289 \item \[ ∀j < i p_{j,1} & p_{j,2} & - \cdots & p_{j,n} \] ⋠ (v₁, v₂, \ld... - -? -! Misplaced alignment tab character &. - & - -l.289 \item \[ ∀j < i p_{j,1} & p_{j,2} & \cdots & - p_{j,n} \] ⋠ (v₁, v₂, \ld... - -? -Missing character: There is no ∀ in font cmr10! -Missing character: There is no ⋠ in font ec-lmr10! -Missing character: There is no ₁ in font ec-lmr10! -Missing character: There is no ₂ in font ec-lmr10! -Missing character: There is no ᵢ in font ec-lmr10! -Missing character: There is no ≼ in font ec-lmr10! -Missing character: There is no ≡ in font ec-lmr10! -Missing character: There is no ₁ in font ec-lmr10! -Missing character: There is no ₁ in font ec-lmr10! -Missing character: There is no ₂ in font ec-lmr10! -Missing character: There is no ₂ in font ec-lmr10! -Missing character: There is no ₘ in font ec-lmr10! -Missing character: There is no ₘ in font ec-lmr10! -! Undefined control sequence. -l.324 \vv - {x} = (x₁, x₂, \ldots{}, xₙ) of size n -? -Missing character: There is no ₁ in font ec-lmr10! -Missing character: There is no ₂ in font ec-lmr10! -Missing character: There is no ₙ in font ec-lmr10! -Missing character: There is no → in font ec-lmr10! -Missing character: There is no → in font cmr10! -Missing character: There is no ₁ in font cmr10! -Missing character: There is no → in font cmr10! -Missing character: There is no ₂ in font cmr10! -Missing character: There is no → in font cmr10! -Missing character: There is no → in font cmr10! -Missing character: There is no ₘ in font cmmi10! -Missing character: There is no → in font cmr10! -Package atveryend Info: Empty hook `BeforeClearDocument' on input line 336. -[6] -Package atveryend Info: Empty hook `AfterLastShipout' on input line 336. - (./prova.aux) -Package atveryend Info: Empty hook `AtVeryEndDocument' on input line 336. -Package atveryend Info: Executing hook `AtEndAfterFileList' on input line 336. - - -Package rerunfilecheck Warning: File `prova.out' has changed. -(rerunfilecheck) Rerun to get outlines right -(rerunfilecheck) or use package `bookmark'. - -Package rerunfilecheck Info: Checksums for `prova.out': -(rerunfilecheck) Before: 25CD49CE93FE2EBDE0A77084F183FACA -(rerunfilecheck) After: 4C10F3A28DB5B56905D83B509FE58CA0. - -LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right. - -Package atveryend Info: Empty hook `AtVeryVeryEnd' on input line 336. - ) -Here is how much of TeX's memory you used: - 11724 strings out of 494894 - 164120 string characters out of 6177622 - 238134 words of memory out of 5000000 - 15485 multiletter control sequences out of 15000+600000 - 53749 words of font info for 57 fonts, out of 8000000 for 9000 - 14 hyphenation exceptions out of 8191 - 36i,9n,45p,286b,536s stack positions out of 5000i,500n,10000p,200000b,80000s - -Output written on prova.pdf (6 pages). diff --git a/tesi/prova.out b/tesi/prova.out deleted file mode 100644 index ac99723..0000000 --- a/tesi/prova.out +++ /dev/null @@ -1,4 +0,0 @@ -\BOOKMARK [1][-]{section.1}{TODO\040Scaletta\040[1/2]}{}% 1 -\BOOKMARK [1][-]{section.2}{1.\040Background}{}% 2 -\BOOKMARK [2][-]{subsection.2.1}{1.1\040OCaml}{section.2}% 3 -\BOOKMARK [2][-]{subsection.2.2}{1.2.1.1\040Initial\040state\040of\040the\040compilation}{section.2}% 4 diff --git a/tesi/prova.pdf b/tesi/prova.pdf deleted file mode 100644 index ca95d007de8ef9f50cd154eb053c9ba007370ec9..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 45830 zcmbUHW0NpIm$iwOZQHhO+q}!RZQHhO+qP}ncGWy*;zUe$yd4uA^CdI?z+UTGYbU9K zh!`y+9V-;+@%_y^6eA-61A(2PB@_=2y_kiyvxy_Un6-hkiHM1jov{hMjESw8vpE4H z6C)EJAC!}`qltkHl>26iy0qO98$$1!`ni${m}Q8a)R^rS3hlq*5iGBX+kk`&jT+;Q z#BSMNA2W_**}9xDB0v$?vyqGszJ-lG%sGtjhiRyHGtC{7JGG4!*12|CkToi;9Wyml zrE}|v4vJ*jrj<`NJzDDwcw6pPTg%TILrTm!ewyl;pLuU%rIm>8zOu9ChjxUInYdaj ziw>uy_cbUO7y|wEYmLmxy#-y)*Af4k(HKl4s$D72IYas zMHS3*)WoO#eNRP4ndVocognanCw_08F8$x9$XIG-I5QP8j)lg0)d=9wR$O$lD8JC9~RE>q08@7y$E@7kMroJLPJz>X(MR51}r7? zMwWpA@zLRk5J_4oiS#(&nPCp?9zr?8hgrcq>)*Md`MWkNj(n7l zn)$t6`~JwWeo|_c>$fTJW0|q>hzZ%4p=ZxzsKk}0hjef0rBK#taA_MSl{&1$aJbbSl?%@Y5Pbny4&{G0{l#irG)ohdB6~>p7fv)YPt_`TnVid61V&^V z?@=FoTzs6^AK&sL&wFmE$edy)9v_}CCDn16i}7!RgHUk(gG|AJ&oDrJR5qMMFe&=- zN0pQr&N_OM1?z}^Z^;ut{U6Oi9s$HP7GNEc)BtmHdCdnCYC%x$D}5YDvA}8xgZL(b|i={t0u>e_P0Fl1)FZ$I0j{z zoS4co0Nj?`6dl9#`sQ8mNj0ummE&2?s4?ZT#6=%&y`s4CVK}bDFUYOdeaD^~K~#OwGE%VV9lSQ!{G# zSZ?;h4FPh+y7m`A;a#96Znq&5h)CxAb>{pG3S^ss^Foe2#3Adlsn|oh#V(UdOpw~R z;PuN-SsWF{a{y6G_~Yb`*KgduDw4uPrwc|dZM)f`g)T&7&A}HmQU#!OBfRSe)UcQV z4CXYcfpsPKqW}a(S_wOdBjI|-)pjMT^yQsfW2GZQ7n+5F3;?oqW-^OSBEe8_R!)~J zh;WmiiWdj45MTyFn(GlH5fd3mx~HKdTF?_NMt0kNEf6;<7~Lz79ui3+N6R1Ltj9oD za>=&>5=}wt|0G(Kkk+QG$o#fnQx5d`#7yJ|o2!j3QfT5$#tKdMVM?}jAJ@m~^ep#v zvFQR5+w24If=vco31wSD9y7at+S+|lJRlByX<#CREKYSWDIwKPM^oEla5*e1cnnKA z5>n>&=|OylC=Aep5?c?bq-Z}1{?*z2g5ywHwL+QL8vp-g>_4ynpYSoV|F0B~lb!Xy zDWHaQ(iR)ce-zMtQ}|r6TB5jI+|H)dB56Zrb7J;+{<%NJT&o5zmV|uAPmf1JGc~0- zV+T`^01%Mi9`N~eh-@?X9^FO>^6#M3oQ;3iF1Jr5ivmt1dwk}{w@5Yqbi*{wSP%=i z>|1#JhAy%gO|gFGf&qm;)3A!@;jQ3q)~4g<>G$Qd>`PJ=<@ldo#iT02S)?lHLNN?Q zisi#=h=rxngptI?pckx;x;MiCWy1@R)Xfp4W26B~RtyUI?{HHWwGRNmZv zCqA!rHXgVlo9=4NjKCp*K7KXQ4Zy-QhNCP>e%ltbao`%`o0*y79&-Hn)%M;8tDbDe`Hr+y5i`Pt?VYOYC2YyrYbQ@yVz3KlG(H15w`(s`lodm zn=dJ(cVg0Klx4#G>?4}-_Gl7mpiZExy zR&0_%5~3RI;S|;fUYH^3Nb0J&qJrskB)+14Feu5mUNH5G1^W~(FGfo*Wk#$ld&164 z;rL{wu_6Xv2~8?NBOx}jdM?0ySi6n~=hrx6rDvkwB*iTt&w!4;0mh##J^Pgy3$F$1G@1&=k@?->Wx0 z6z8GVYI|#xZ}?KQU)ML;=&Zu5tV(H(=W5Wi%edSUWQF1hioq+}O!t>emcdtX%^~NV zs!ffjoe11G0j$%2MY<%+!=(Ewv;%PW%j?M!DYYfr;Rb<8Y`yw7XNtS)*A`r>n8(;iD6D*2rjtiYOr)`7-FdVIrNHKE|ct=fE4TkDI@-l{w)5#4cC zIm*uhgz^e@gYID0-}mxw!hO@1jfZR&GDR{esGL660zN~&FB{ef(6A)e0=nn~{BrE2AqIoIjyOV6TBjNACxyu5bagiQ$*aI6Fjs@$Wosqh3gS^BYi+GcOrg(2h1O ze={#7XITn1o&Ki*Q4JnQNgyLjhPnL0QQt_+jwA+e{(aW^Y5y8nZGu6*g3e&pPx9!Bs%N-m<_L0gOpCAJFKo){q@Qjl~o|JqsW% z-d;D44na|u0HbW{N18|n0H$UN0BnakhsJF-zg=QCKp+Y>k!^)Xo}3~v%)mFci`jHq z3+J5K4vTT1Ff$#`DP!Za#xPecH5yB)5)h7#)pRy#;vsl1s0^xV?KGi)^+w z{tRQqSa1cQJ7&IP#3%L8T3ZNq2}W%lWVZtg^*YCeAXV)`z;8LPff#|lcd!I|Eb+a~ zIZ9($Zx>Ne4{XSk?e)gw-jI-|j+=~vvonh=n}98PYyv-$O40vKZdJ561UjP(cn*Ue zf^-C!^i!4Eahs1A5ANkt($%?0WaQAs4ZjrWu!&Y+YXayTkZXzXlwXG zW7_mr{l_66bX;XC>J;&HVYM7Iz+|;%TK2q zHfhmr%TP^X^%Y8qMHla$PF=aVv#Db7wcAO3qH+PlmnPN*23;DW%vKvj#hN2%5w-c; ze9uo*Yv0r3!((P%DTOcF+oDgWao1=X zFw$2|`DECjlSJ#Z&5`*!*t3v=nNm*#2vS8uD`=`$?8HEPRX7iJJEJ!`GxpZ#t zVtq)!-`j0GrCYM4kB$%~?8tE}?s)xu1QHAH7myTuf5$C)vu&M??;D%b|Hi}*ojuc2 zl#*s#(G;spA0cF>-0KjQqgkU`yyIJ)5WZu8I(lo+_it#7p^C-M2bHz-*kreE*Txt4 zXk*(Qp*S}$5Z?S1i{xnfCzqd{$nP{dvWFvFq<0+K)o4v^i89DLOEtY6e7AOMljWSi zM$C4W37#6(nRQZU^Xo_zsaJ|g=Oj~G6P)YukOoM|gKKg;tW~R~$lqElAa^SoNR%zX z#{gNA9nbG?5P>i8V#Jbs(PO1e2Gv8=Kt_^u&z9WN+Ip)V?TdwTNfSow60S#l?S8}0 z2c~27wioz{Ksk1#KYNPee7%L&?xfqB1hBV7mfu-FD6y9E!YO6Z)s$=hAt4zczH;GS z1J+e9Vdor2=jR(OF{FEdA{f)te^b~N8-{RQTtsA&pAaY`FdPIiz|zJj9iWBK4oY)J znM81dC%^teFAORp)^BV%tpcE5O1OX^M6G4EA z7(`NJLGxQEdJAq2Buwb7b2GDxt_{>K^&_6S#TiQ#WwXcV41F8y%4kgs4k8sC40h?* zNUI*VsrdayAb(g^3K2=WML@=kp{=BOPtzRZ+@o|`-Nx+S^!HFC&_t@<&n%ScuJxFA z7YsN|CKS?}uQil2VO_01BABhs<0zZfb_mODxefs9#7j5NC49~V=Ja@qPPgV-l&RuL z&pmYe4fzloQs-TfV^HL>N`hN5YY7l1G?IxG*sp(<`t($l!CLGVZk_2@HM9oq^zs&& z7m8Vrj72z)4+iLwJr%9dzTG9%_&Gf9_PON%Z!4CCXby0;dp&83#;8JBbjbU>66XwZe+ zz3he<;Vq&-au``%10In%EkHYxh={B)kvYO*Hi7)#K@5I9JEKPsOdeSPekcC@J5GX^ zz90;|ZF=eW+mD9eWjbRWYV{_DA|H2Ni8~5_V*Wu6<@~c(WppCE0LyyGwBb;{V)=3~ z9I0wKQKe9T7|4jtLYj~OyyH-97C?Es%%|i{PGdLk*4i=5y(8)b)CEVh+$!;K;Vz zi=GcSF93lUd_2M~p27JA!6_tDU&m|8Hcvv96@OtyjSp6T`!@iECeF7EupQAivspl%+`TG5_JgYY8~gWH(t>x1#F@8 z^IM^EgBi+eEaU={-rAN*9K{XAIk%W+j*IC&JjTCwkF_{hn7qR2GO&o4jde??j|s=7+RiK9awI9496JZX3%S#6+T2DZHSY5&|&0$uX7mh9Jq zTH%Pty+gv63tat<=gfY;C40`AdkgernMdh!0Q*QN4Gupry?o7D-w#EOFkWz_=Vm*u zIBS)99a?A4MtF*7K^%6a0(oDG2n{qyZd8;L+=2iM3OV} z2b3&N;DQ;Z>Q4U}6@7NwOs6i+tn7DLoy%q9-zsAP<9Y2GLoc2H6j-9ueqZ*DBSf2& zEo?Qsdy+)OGghPaA`r+U;Ok)oX$yXrZ^gQC$a0vkNDVmup3$bOApG%7HjMC8RBD z6S`%IZbPQJN*+^DAzn{41R;fV(*`Yns0Eh7$i?bw#sw!3dBhRPdMLG%;VGH+aw?s* zx+CC`!o==53ZQV^l1Mai^60w=@&hUhBWuP&uxw})t_%ju>+GdfIgy-`O7RG3WxQT` zd*5ruBY2Y@>#ygJ#ER$5p9RT?Tq{^9J+G9nD7b0z&&$NCwX1nLKm`1oJOI0tv~J#s zQ;n8z%Mq#W-G|+g!^aI)b4XyyEznXyn$EN>crJEHv2;IvtkBXP`PHrBlL1DIo~TwL zDaAyT);t^Q#|mL~>p#xv21)?x3(w%xBU&?}3n!=pV3NMdMBVHkdF8lK$kuf(R3F6zyGQcz1SAGDwunbVtj(AdeDXWkEN zEmepvqT4{?yg!5GC~nfRb6gcTQvrLg=aK6a9eb>BQ27t9LtbO-k*>I^YdF00ifYE} zxITu4#JzY$(}=UShHDiQ@JGn}YVP#E_4K7(7igp844c&Hfe&A4zzG~e4w{*M5E8LO z;MK>)e^2ax0G17ur~l`yGykt8~R zoI+6=2L(n%1cpMg(4s5M^U>EX4T|JKV-ndt)A9Yx)|wmbe}QQGK{RPXkx$D3*-ST`h2{2vC7azEH0`pi#@~H6wXU1q>c`scm0y{*A=OgV z-jSs{H0k%g*`F~~?_${GSCtFZ;t5<_SGVVn z9n~8J<+ht7F7PN^(Njc}!^0;vxk4NVQ6FI(eo7mW6Gnhq$5wRK#hpzINKG7b?3|U9*FwM99Ko7l6FDxow(c zAf1$tu1XHRGMwp4s-3)>IS7bKmrFF{v?ku_KxO;v&YR3D)i$f{-J(ncO56s(^T0S} zwpV1La)@Z3Y-nHvy)1zGzJDAD8Hj{M99^cI#n4zr!$7FdcojWw-!XJa>T9A`JEvP7 zP%|(}i69hs$zJ)#*&)~_@!)v9)16T6D26}_(ayDl5yqGGE|aP}=v2fi8RmUi%=FUQ zVPe;^SOx+OyCrefo6yHCSr$SWaFZ{+jvas|jxgs~M+MYb_q*b-z3((8LaBqeX>Ks5 zxb7_%RPgbH-0wT3>+GV~3`H3nq1spcr+|tndToHaC-HO4c0WTX$ZH2Red~0PQBI+q4@R0*Cl6hkDilD{{^-VMZ z-!{ecX3cI)(%z(gXl^VJC2?)b&Qqqp`}9qQ4C9apZ-GcQJgvL7p8D*fBn+q1rv-&q zjLiN(IS`m6KOS(f;uj}>jZfylS$Ed^V^ELr z0W#b1`^RXaaV_RO#vXY zk}x5@(gJ;1AFW?;I$H+7<4ahhyV%$K+QQ@cfESK`B|~s`aG~fLP-}vb&DB3`QBU4l zf^Hx=-kZ8#Vk>?RJ!Ik%Yk|HLnQQ>AYhRV&^r{=K4;_?hU8b;hV>abijtwIhUE1Cj zQH6MN1W4m8I=Xd{4DtHHm!@a37}|ruhWbF!%6{o4Qfp$cVQ6A!wFD$2C??*-D?2xU zb%zAVbWoWDZQq(|zXy7K+RGt+0>1XNSGFMby+fuRXouo`&Q5HgxDPOoEtt)hfq{#P z-k02dvVNiD46;2OV4PTsx(dQ1V6$0HB8nxC`=8zctsJ z?#9ru^Qd_0TE68^C3O#CNUU;A4C@ccpVu)H)bGjI z&?ovZ*-dE#ffM7sUn**Qp<%{bYzbhiDw z?ySrt&?ngo=DA3R((b(ejjSl0S@D0F6SniU0otiCI_P$_K=;J9e6P0GMydFD}l%#0))q9y<-xNj;;5KzF($qt8uwo?;L3*Aa*2o$F8TZr|s~v&bbT` zL-^4!;r>|u*%Y0jFP!aNg)16Xm@JH_CNl`ZMx}BQianki{%Cz)5g|IXYCsJfss8H> zh+Zn(?MMi}avqTV#v`90vq9_A`v$PK$)ha_{15kaAGu>ofF;r*MuP@+i@6fm1Y)iQ zKg2dyXEkfnq5$KPuS>~AO9DOIS}JkMk)#C}^N)xinm7{>YTWgD`*F|noJ~Bm1iQ6~n+>`irX>i3*ZI2I?4c}!k^bFelt97WSj(QuSB`C!ZucERV*gAe8MP<_RJJ9TF@6VS2n>P-IJPoEY zEV(zN=PU|BmVsk{B4|+>#I%TLHuR@8B@(VK0MufV^p7BL zG6ac(^ENHnSSqd{h-m|$)`MNkm?AV; zMH^s%sE~Y9UMig&v`s;^NJ}D_XUTFc+67iXN*e?oiysr3DVHBt)rL;Q;EmDXt)79h z^8FjfP7~^3k?0W$Qr|c7HgMe|sv0uaGpXvHwFfGxfSIy!aZ0jM=W7nXtHe>8dObGG zz`)cyx}IH=W0#6D%svs$m=gjD6T0nN3-YEr8-FEVpOPwUaZl{=6o-4I(usC*Z2XRxx0`MxO;0?vjgJH zzLK+XI~lIgih@~2Lo^zuG8fX}LmbwSpaA;Rwyd8E!3d-2Z;!-00D%DnW2W*|6*`MY z;{fcH4Hb_2&$O5r?9(L}Nywj&DkLZu(vTIWak5#EmWHr!n7Jv}03~Z(^CipHx~`x( z0S37Wrw5?&{ak-UrPb;FJxtBXEpq0re+)NDwSh9-U~y*e9*vz9YUVkmX}~_S%_AXU z=|Xz(bbMp=Z3JtPNfO*i4H8_@U=l=J%p1LB$vZ|;i3xDi$t4V7zUP7>_qhM;R0qV~ zM4rF??xR(@L&Ly9%uW5s1__^WwBbY0ioAE>g1neUDgWV>XL(BG95%0Yewl2y77W!r zq8JvB)_84ugyv1X|5o>$LqNSDi`MOJd98Kr_QH2_{ZSLt`8;*pzg)06uZVgogEzav zV`zkh>H_cKhjG5s=@|tijmzV_3(|SDIiSOz*h+8W3BV*Gzv)1{W8q{3ck(U$*qeh| zjEm_R{~OYhZle&`sc=&8KWFg4hOZc_SKwc+n64<6RWk25 z25y8P;cq%SO6&i%Uwqd`IlI!5ivluoocEVO1V|wR+4D~(lyRj0wc$+v(Zikol?RE# zBTt4u_dyD1hw=G0cL)GLzuY7J2X_?z$n!$bVS>7>^l0Iy=oAOHGQ57mrVP8Uxp+7a z9SR?Vg^WCkzmRfot!21-JguKg0@g6wmJXiwnccV}#NBJ$O7vfIDhKT3eN_4BY{7m* zF@6W)EZw`P5_m4yQ*U6p3#6o&L+%VhPy|pZH-63s#9kh}wejc1{_m^LCm%Gp9s%vP z;9!(xU!d)o-{+B?A=^m(|Fj@hrvImyQFbwO_OLghSNYGuDE$BOWr~S~f%(5WQi>X^ zit-s|Z-D(BXmv|Rskpiq@|<}?3sI{^wadE23MJ8aoSZ1(w*&$M$T7KuAVg*!dx8K2 zg0MdTIwB|ymAMwNR7ne7m`#go&gRnM?5wNW+@>%4*Y>vT59Zc(XRg<*mz-_y7w_Cx z_uf;syh!*+umnjaRu;mS<@aI+b&;VeXJn1jpxH>N8HzFWW4B-ElRUyV3*uif{M_dw z)58tHHvf#>uO6?jJW{avr;!lpyLivbljLrv1Vw-;$y``)Xeh1PiRB{` zbMn^lTv%u?gH@`6USgT~ag@+8HA;nMW#MH;N?Or4+B>KWF&grM2v0+(0z!pI zCx=${nJ@yU2m+$iH0fZ3=y27rk|E{;wjpOjU^tN)WR+3)ib(doED+%fp-6E0IVvx8 zC5q2k(d*00%xe!->}%9hmq@RKWx4$&#>`^SFX8VVh)6y#@?H3EBM$_JFHza8sJw6f z^^Kc^ZM$MU_O{Fw9N&>cY~-@)+mw6a;O{?vQ__YdbAQKt#)$8Ut2D4ZgDeC6H0q?< zaiEgu4v}N-Nv&)-t+NN%A4TZ;IkM{^!@sl@zkVZ?PFr=7s?yDwpm{(X7@@9!-Zp+L z;eloU7ADD1FZ@p1LtOl@o!*?M>0^;Gx`z+iUOYsqq|N-!#1)|Pn3R7s@VQZt`FVo} z_=RG|;!k^jVxiyrlgu+3rgY%KxbrXiu9FI&CoGw+ja&>^Rg+1BW!3!1JLrVZ%?NX& z%nnd;!c7lN=cp`KT%JIROn_d`hJ&tUXC`InS}qf7%;-L(qEI-|LigS{0YUZ@a)XlR z7Cg{B(P)Kwg$l{zbk@m-Iq3s@gTjZB;UcK!;F+#Br*GzyPVcO*w(|WR<#Md#g5-0I zj_^a|lG5>;cdw$2AXPuv#>AO+cS3{$%x5|CplU`yX^fs-CpEZd+`iW%oXx|AIhil)2#rsizb*Lq*nsEG2@y z@6gK%bl2iTsQ$<@4LxRz%fmbwGH6{@hT~)_oH)UJ&5-&9~D9g6WHg zGBqq!Yg=hRZ`OO_s5>_P8&u zK|kLsitRO#P>tMGvD2EADm1|_oQKmug|8{?-MV(!$ZuqEK{{Q=e5D#%g|0+u;pw-s|R6PI|nLG4ja*GMg{Wi`ay^tXcR+6 z_0%v94e@hf(_+@RNqCA4_}C9umyG^WIdDY*|IK8Mfeg6>U~~1X8bhI{ z4Jl%N!X)67E)XxT5R-$gi>((msan8>sK$#|X*IigMWqU#Uc>=Wl<-^R_e@BkBOkh$)%-BBsGme|uj z3*okB>dcgYOThvDOq^#_G3_^pId;C?a$8#kS(XDv>6%q954dI`ekHG{vNcA#{NPp9 zD25I(P|^a)bl(FJ6qblm7#R)D5xs_OHM96$Wa_7Sn26sm7AP~F+g>_yg7`&nXIclI zKBI~Vg}Y7r^?55G=-diW$@wTaIzg1cGNQj1esM-lQo4<(;`H}|R7_2^&5H#~oMPj& z56R2MEZ=MsbnWo+{c;>|a`BNJRagz3?e&@K^ahMNT(&h=+FJxRE|qKBtyBXG@Jy^N$2v zGf8ZhOXkNIf23fT;n4UetCmzWKafpmj{?Hm-^*K!cE2cB{^0oB&AjJbXViwlxZ|un z@kd#${S64%XRc0!af%4VI_JEcpcm09v2Y%1(F_*G>l1pB=*@@_k$hfSkr)uyC`mAj zoY^Ya$k555197|Dwf=S&eHs|xh)Tnnu~UO|=Y(;`kd8+;aQ{#nh|bYwZvE9&9@J`%U0S;n+@ zVnJ0df6SnIVQIH`_0(fxJ2t~PufxS+$1-&l7ty!DqrNawhqz~xfV$b5X$s4=HL4lJ z*l8GsxmnEmUXpzQFN0(?$#l_-?g*?6+>&7;DNh%Jzr{T&_0%>B)fHvrR_Dr=A|0R| zW_5bDz?^PVU2lHqW=OA9TF|(m3V_v&%cswT3chmAV9dOq-{>zwwE;D(n$sj65J(v@ zt=6M4WYDN(F1W%qAHP4CRBp+* z#Q8D>_`@3Y+W$5L&rQ5{buP)=sDM!xEl*Cs z%2}6D?=3M%j+n5xoJJ`j6U9vG*2Ki_;iLNZ;k!J#F1wIh`FG*75Wal;pM`;_j|c@? zKt%%y4W`jO4$jc-u!;slD;)F)n_*VHISrVTW54}0;?kjGwi5wvGn_nWL}FKLjCsF{ z7#t3ll^)0AJKl)Kf>Kp*-YGIlmtw7RYuH8nPC2b?ff+m!<>w-T)Yy3EhSxlFm;qEf zR^k+q+Uhm85V31yy6r4PeoeV7H8jP{ed)JileNDMhiJhEQ!`3?oK`St@fEY=MWy7v zX)zJu&WxY)lDjgKlOJIjvC#93xW%p*PK`~kpo{$=R0bMM=p#@-M$aW3!*>f*6yT$N zLj7R~1#tqbgD#3NjTqNjU`a)?s8YE2&WeZL_bA=PPGcKvzcH<LA6rny$Xe++-mAv@|-0|i8I>TsVSyfk0&zCzD%7PBL*tD=fZg29nG&!PBx33LA z^?&M>-Y4l<4j0tWFdE|GZ8h|@G*6`Q*(lniW(0e=1I+9OBdfy%M5uV~e@%A~R_Lt7 zflAbex6zspLv0F!I*@%ZoYa|A0`e&Vf_3z(wNW#XpiE5WC>{m*__28<;0NA{YjTYo zph!+z{5Q9a&Gu`naUhURDs|AdgMoUy2`C+JL}_H7BR>yl_4)G7wmoeMA0{6hecHzi zsw=8WCko1{$}QacK|HMSm+aQ(yqkfZkRO=T(5ZVyWg#7b(|#2U^7em5n27{u2Ei_i zh~qkh$rD%!cgY)IegTpihBD+jA4iA%u=eU4rsJ>%$P^Yrzp!??yMuqMh>OU8ekIvCtQp75@db^?#U9EhgGAIHO=#~B*_BnPsd}!+nkJ%XA^!JFheYn zB)Q%`2ahMIGYQEG--}6qWIC27!Y=LSZEvZ;d$CL?5(gg=1fb}3q_5(h?Kl(hOF?__ z*e$J+fEEZ1+;UB{y#$y_1O+jiNxatWAmsW8qhFymd&TIt_oHDnu?kNSn(ocXTj=vhjXL3=zd!8+HG^> z;^WlLOdcBcGrA8`A4u?_zQ3`SAZV8`Co6fXLTnSxDa|g<*LMXXw~hT3Js;z9(f?-N z`x&TkQuE0rYW*9ce;Z4ed##s3eKbq=(cTlUuXuitL+lwU)@6)5fR}+f&@X46jRs*} zN(_HNHzOOTfip^V1fZOh*@x#9fGmP6elmqo%cf@2uGjGAGooIt1ch(MH%{ek{B43Z z!&Xdzp%s+XVLb_?^DE=gc*2FsElV#4%&qUL?EqR^Y#3}|HUqpJZx3xYS^JXUEkrX< zN98b2jxmZHGM4raLFi_)mx7x{##gapO1X%+moE7!*}d zQGua-I(nRl0tzV5-`~F;g?@t|@)#&;P2M34F9EW9V;qaZAn>q*3*@$0&9rd=i;%0pl1*?;F z)4W-vtwl4FOJpq1#%BYv2ix`|^fPjzvMm*5B#dUc$p^9bP^Lc9WRxF`>;H{B%%hEA~U z6WQ$m$ItH6YgpQwL(A{aAg)RmQte3DjqgK=sOjG4=5Rj5I9`HGAC^wp&n~w~j!W>? z+=tiZV=j?ca!g$u+_7+WFPyyc#eHOQ9P;U@#lJbcNJV%>+|PLP<suxY zQDnG*By~7p!59aU{Ggn;wmpcC%X!2;p&f5^@cmiys@sSd_{GWGy;oLC7p^1aiE}$} z4T}G~-Su;HrgO?3Tz7@t`dGe(>Mh8j`v{mDYJ&$eXmg<}r{|IK({J;mLaHPBs^z|8 zuPnHRxF}0|RQ+r>c*r~L#4&Ci7{87^=^z9$UJtYz6UvI@`K&UZLv%WD`+FMZr-`oN z)WrswvS4&NOHKnawY8c*`_phf;(AwSZ#eBtl^jRPDm*}6H}9UM0hKpEBIe89`d5)c z280jL(M@tVZwpov)sQh=ri9eQgf#5(Qg_3i{YG_v;b`XTtt8-(IAq5sc83P;O3i?q za@jTR!s+^kESJB;-fy=)+xA?VFgKuwpEDM+7~4AcJ$|C~x?EjMD;rB8M9esZS<0$q zH5;;`unv-{Aau<9b~liEnALy%Y?_6Ie1)AYT}!llk}Ff&l(GUea-b!aR$elTlPSpE zmWT@e7`aaRZV)S59SYd@toG&3d(jU^1MJ)F-z7Ur=deqwtxVZXnb@9K*LRc9QeW z-Nv@&g2vbWguw0W?VtEja-3bC@Am_$CW%&=Wm^C{dPRX*Cm=lc|2e>)|Ac?HSJ0st=~lCWtn^txQ8u^D8^AAEM6%X%iN z=fSx7nG0ZNa_>5Yu$kG$Jf;X_T{5Q{bnRQSs~F#}D+T$Rx_`_R?bXV@^R6OnHjH96 zu&lY!wm0Uj&6>)slTuJd=x`|x8PSBR?w(#DOebWtA-wSr7p2RCKOq-k6Z{ODpgFzN z^t99+aKy&8X1YYd19A}lIx0gQkDJ>*NY`__d1>O_;~MCqbC4f?F#po|_fhH7uMR$o z#_`Xnrl{dm@ka)RheXr$y5Suyn$Q=Skt$v_Y%HO7uiGT=0*B^5s4<#bG#1*fP~{A; zL4N~=A=mz*pSG6U@pke26<5~bje1O~w#ml+fjPEW?2~I>IpL4*^~|GJ;KYTzNWY5Q zeAr8lIHrRL`a%-2q_J5Zuw*<{F>Jq2X+y2W_dFe5l~o>{eT%YzFaEG&gJG!sVWZbP zQ+@FEpatrQ9Df6*@qO`YcfP!VG@;R}?v2q_tENsW7AajaibWBZ`N)j3RIIA~b>ZnS)d}S0db;Hnd#}4B_hY>(DhzYMwp4%$A zbC!-&q=hO6V;Ph`@{L+3W`9CrQho~CAD&YDiprgT*nq+Ric$n<>wI5mSp8xD9DQ-9 z5n-7f_A`THF;@;fxNj#tH1h8=Efeepg9%4L+38|4Y2Oq!F)Xrt|tGx+!{h zCyurCE=sWJ3H7S2NQR`aIQW*6K2$uK7%yZknVM2d9q{;#k?*G|go;E%AI@Ba`v+eA zi+NZSfJl@T8&8?><+Rk~=x9VW6lrd>Aw~w|kh%|vgSD5eoM$w_2XK>d)1be9<|z<} z0n?kp$h$H2C_B+71HVnbBn*gC#iM)TNOnld0p-okrzZD>{?gvWf0Z2#7$LVuXmvh3 zkRudl7$@9<4lB6bXtPzMKB&b?lqm!fnDXQ9-!yW{edvy`^` zQBwD6wOm&X+uZo7sNQk{0{!rdy034$JBsRbdRKRa28#Zjh>Yd?#TtbDw)%=c^3NUo zn7iAe^)Ea=?YY!-h>v=~Ms4 z;~A7xBs8=XoH-aZ+|Vy{S#cTH{{Z?N{~th~mFd6zg*GzQH!#pQHb!xQvwwtgT6=wf zm7At!W0`lEoRb8U)cB4!eJ31x7f!th!+C;7Oy!5{dz-B1O*WV?N-@#bcPD`$vU>^| zp8_IS#FSv*LpRhnFgA{wpkY~LW?*obr7x$Ml$oPYWME=oSX}{4Ooft6fs*rt(v6td z_&6Ea$bgFQpoG%(?Dd55{WuXAkO7VP<_RfYjvmft3HfFTiC=~Ynb%*-*9Uzg_?!3F zm*qui8{`m}%Fx01#uW0GQ#4`FX8`34CN+5KyR&-#WtK+8cH{qMydyknx})0b^Hn$a z)x7^nF@LM+WFJVw(fvNnxLuif@PgCw^byYd&Qrg>Sh{2%_sJW2?Kv87Yq>*w>{A`~ zZDRXY`^}+z(|R83z9X{Ub1MB_{hA?yXY6`@jl*Wgl=oKu8~D<}HGF;3D7%a8GyBoS zyyt#zd$apv?$ha`|Kz(lbvwF?aO_(#i^6jGll#NH=dS0Y!{>Aa@xNGpK_FEPHzi4~M zCQXBFYqxB5nNQiaZFbqVZQHiZF59+k+wQVXpAS3YUGeS@CsxGy3z_52duGmSjJeer zXLGoOb$R4hW%dJD?CEr`(Rpi!@2=| zB$K;3Kfk=qSX&(&e6)RcCO{m!&6*n>q&7=UfdD)I5e2$U-<$cr1;)nkUkHqa~gC)kB&c-OzIEI<+IvfoKGgO;C_xlduZgNPm@_%Jg3s2P6Yjbs0`;s_Hc zLFP*^ekTqjLInyS%}ue0L}@dTDD2nSflJkb|F- zxw%+TaFDF1xVTSBueYm9o1U>%oxYc1TTV&5fTxi}n2@5Gqq&@hRkWX$zgDE5o{?Pz z_<)`l>R2-~NfXSGAB7k(-qP$!|LWhTWNbXH{d_JCxjWmwo#p4fGv)677}uGV;aB>t zjHI(XpGW(0%BdyiCEoIx$A7i%b8U6x%VVUqyxXezJzI&-FXBgI_QCt|!nCr>?T3&4 zRiE?qflF}uv3xrz@?&lG!+XjdzxetQewKG^y?YA6Ii&TFY$J<5m)KiHAbs=w_IXN& zqyG2;pVeDSF8cG*S-89U)Ar%T`;ph#YZvaj3uJ7ke@d@pTv?`7CtHO+pKTYs=#n4;!RNu=S4l zNWBpEk$5VDkjGa5tq@$&w}fI% z#+F-GATCc>qL|3V7LF<5D;-fdtdLwPTT-3~$dsGTH&tvbUthwtq+^ZC{7svWt{6oj zZpqjj>{ysxQIZVX9IYu=ov*4`S-!mF4J#$2%tfm~JKg}5NEd%1k#Nj32{Rd%N~?OS zWuoCjuSM!5Hfv&?K7p{!HFX}pvu`jO9vjDPbNyG`>~_Yjv(5EahpEd~MV3`7%C?&G zPsivSz+?qy4cJ<6_QjKI{B)ds(&b@5*T^f!y>{2j3l*P&h0WnsdPnc$yM1S;Tl$0M z#_0{T6EW6)uuZ5W$+67FY%{%w_`T<>?D7Rk#qFzg*ct<451blMf=N0y2X#blW1!hF zZsp_3?G)9&%uG1nJHttelx~o&5lcy$D*NySv0J=ap^tDXOY@hUf?}7S#2cJ~Ur8I&RGhj6NW2N(5_7kdcT?M{$#*^+0_kgg zQAnfK)d!3+rrN00BB=?8O>%=I93(WnHL_svb`*md9r-f+Q<;erZu!g#;B4qaCLq|4gd_AK_#p81Sh5w~OGvn|#MY$yc=kB7DNxx>0mjQe0@ z6OPdY89mTShK!6`<%8tx#zKv=s@CApTH#sdv6n@>#R4#Xrq#=7EMY}NPz7_5JtleT za?o;#Hg}$>)FMX4$POWF63HNtZIrRUhPJNOxi_QNmqy<+dbxo zO;a{yoY;u0!HAhKZ?URpwY&7+r-R9KMdZkyhsIOeX}=vC6S)Zpb@6%~pR)xZ)1hHy zrGHyfLd|Z%O(kO;+Cy#~uXpKC%{M^6S(^G=55UL{DJzoa zovY;d@Y>{?y|>17R}CDS!}T;x0Ns`i<}JhF=s_q58?AUmx0RBI$l10-&cr}bPEeOh z9lABOq@1H$3#u=GpHdz?eZPo76CDviGRJUF89}Kbt5+0zpn3lS&%yM0{0udolS)J_zGQQC%I&W}PWC4yKcKj9Y&2-b z(5o-kzs!9ftBt!Q)>cU)Cp%qA`(tl%7Rd`&!{~6i+M+^jW6URcR3Po}uzd1lfu*u&R%7{ev%6)M)hY67 z$Hh^a@CC1~7aO9ZQX|t-5(s*GjY4I!rUZ)@^GB8)(zJ_c>?w&xxqKv5LeVEKowiVG zH55IGo1Vn{Lej%TJd@u~Jd)o}L;S=3q^Edw=6}sBvqC8>ajide#@+y zm0w2uEkx`d(vfYehw6awD_AL6+@HJ#zk{dnB72w~I?g+0B^T0Tbnn6F+0;Sh^yj{m`FM zRMD5icBSGL4HwA+oE>m~3$_N{o(0$f>2+k#xfEuaPUd$q(-pQ%^)zDk0awJmUh+kZ zwa$<8vMiS`W?fJ9yZAo{i0f&Aul2$`lvgaowipFNxEIl!hM-X z9wy6<(586T*FUUbgE)N7k7R4=U;GY>Q52F{NF-3}UB+SU-{7#3P~;i1IBc#9QYaAw zb`x+dvwhazGE42PbmWzxy?d)73t%4rl(N;W@f$lOU;ewB6G30R-|g3CuQ#6g=t2?K z@OsEnS&N|@eF_+`Iv8KD(WM%DX~XgDb|~yeMUKqvNdB?VZmX@@u?N8(yCqq&N>`(C zjmzzytQQMq5rU*{Y#%$gpCfBp2;Z^FeB;O`+AGlo042E9->}HKt<9)X8BcLNpu1=A-_>@pSLjS_Iv%@&dzJRh8zb7@v<9`!qjgBUBTl5gJf<$WXWdBmg7&+&h&ce6J5gLq+}8S zqBYPh0D&=wgebVoO90+&_+-{h|An|7?kwBp*%t2hd-Ja5DUBVB`qP-qnpD@+;^clM zZ-=4!E~*Oea;PK|jKn5`JkZfqJCds8iDN=Vq%2_@GMb7_wIp~A)y1|;e~3$z+CyZR zyqvHlCKy^;KrWNOHz6f47i7IqgMD;245K%+Xb@42|1;7429cCrwcGx^zbpbz4*Gcj zo6Q?%^dYmYj;*4ppswvZ7o*;n$CI`y@JSi4j+1=liAJ-7j)leP=D7x? zK2${vT|P4t5G_;_3Ss*MN#2Iw5G zqq}6@wL+1{V|%*+c$#TnW#?li@8K;R2gsKLOVDVJloO$ST9XM!WTKgnCQBKJyp`L~KB5h|J~TtrUF7x| z2UkGqZBIUlf;m7Vntwq&fD8ju(IJIm9-#whL0OxK1o>5yQ+8ja^I%Qhu$veVb$#!7 z6~H%AG)Kg8!>C9kmK<}7<8PO6hdi{+`;IEgpVC4jKJ9oE>{X=TKG8|r8ebq8E*vyx zc-*J!U!sNEttJY_Mf(Po9=Ab*`aEY!&Xb}OOl>e~cBPlih)$LS)>MufJ6Yr) zVwq>!G!Yz{2}foTMLR*{j2e9{gm#v7y3j>@%1WWk~+307pMj!mgMVVquNKA$mGOZltJvwSTKg}{6?h#k;N9)$y7Zda5b2?5)uHKMzXr~p zmxPK>EsNp0uac~Rb< zLAceU!qCVwgN^t0JP@5pF@|B{g&O7n?8vKmt{T4@T#N(6kr>R#-QGAy1-AFI$x^Sg zK`f3SuNVWbiFwkUjuXx;Rvz)0*>!$R8t~@N`}~hrP=wxBX6tX!@6p0>mW$|eyF99o z7fsOgfoI%KXs7Zf_=8N7F~EBba{v1WpCE~ohx0fZBq@j|C>i>ghjV8|e_+go)^geQDZF_|_mBOH=qQ_dU;YUXGj^&2FPOjTk=`}=@N(_Vv$q)^n+o$F<$&2TG8jb>`o z9%hD7?YBBNOL`9DeDE4OeH0N|}=znl`4{>XM?u-o?nZ z1+7Bf=#&L6?@cs7!j4apzK15ari%B@ZC{ugO-iii|9;&?CSAoV!3$XmT!b|i12Avs z34HO^un5FYW^~wDYB8Zggvr9DijqX-1j&RwJ5UN=9EkOCuPMsSVSDZEad-J2f;YAf zamaSZ=wxQ+ZbHA}XCK*)59$v9Foz*gpZjd#xpSY{e%*0gmiA?fP3>X^Gp z)T=j=-5ElJt;`!_Up!ZB);gK|SPPOgtWMt1>}WAA-AIkem1~!;t2i@7-zSUA*rQcF z=c!qkSz$j*ZQ*ngYTzm}UnyRZSE0h5(eO;w!;Ir{Y{LR5+v7i~k^LOCXD&izciU`J zyrvlugitP*$VME5!{)PqR>0_~Dt<qv&`s(l;3#tLX=EeLZ82ryNR>pQRj~_0nyvIwirL+jOr4xM@h} zC_`gPFo$nhB=U7seRiA4m8JCymcvs$(zvm61azuX;KFm&G8J6lU&thG%bIhZ!(S_q zdz>K5#oO{xGD=?CvD1&hrkgx}%&W89$PG%GKxi+lxOZAD`65k&p@}IcV_;mpJ5KEU zc8L207TS53`x}A~qFXP7%gnJhTIJr%-8nOT@`FtsMN%}Ts_ZS;!&G}iq2vx{`lQ!{ z{JG@IYBjAh{B-IIBI!HLhX-mrIcRtb$c&9scDom509(UN-b=1HrY&YBmga#Hvi zY}sliF|kq3ujfG@y0`2dbxB~*)mLXlRU&YV9sMJP0J5mK5PF!cB@4IgH`S9Cc zd~j}w$J=`9rkPtP79rZ8KgMF9$vh4oB9;iIB7P6vKQDygVmgRK7731Y4GD*M4azL9 z+>5sQxn>7DI73RU3bnB-quyz@$pn)l_&1UY($ef6IciT08Tj; zkVA7Xak!j!7-3%|%k^HAj$CeaEWN0L7BUsA4ZVVxj}X$8!4d}XT?D0;pcue4mh5h! z!&I%7?82A~u8pQXf56m=$|!j}y^hH4fOm0!^9?v$o;>aK%lI{*x`^WWar;IEWtJaO zQ>CiV1c)NRT@vcHa&l&eQGsZbfDe0tUa*SxeYzh{$dWGERKn6#Z|h_!N;uy03e|wo zHT@X^LmOhyax#2ij#`l7VY+Mn3C`*G!-F!Yt6E}~rg{Z> z0)T^4A&Od&b46VG9nLg{9+RW1A|P3xZcpwHaOULfb7J2yoDt^8Rqrn_#WL7dp0|2R-`L8 z=aJEVHVrLrr|qV5z4E3Dn3Iy1({*&9yE2|2jsgWCA`VQ=gXZu$JU9-+-E1t$JLW!8 zceZK;29E%E&$|~n*b#4%6r)gg5y0{MHbkFRHGhJx08>h=&6$D>QQ7&?DAm z^cWQKNshfQiE7HA3J(o0Pj7SI!f;c8Dqzuiw8fW(8#`!@%UewQy?eE}2baL6)k0?b zYm`!$RN0a`$y(PVLwU&1za+*QPs-1S`-wiY`@t6Y#ERs8V8}XqVl5ZP&=c2&^QrZ` zewq1Vr>V+i56Ef-lE&D#Y~9Xbm;F`wAuVD6;N$k^lYjC2$!5#SW__Y}{D}QR=gser z+M8M-v{q(tf~m~bGD+^0ZDLU_sNNo3+b9wZp+EVL4aJ3j2ai{@x~+Fd_RtpT6svVk z<&P8yR1IlBSRi5_csXgxT}1;ZHzFS0IwYjNpZc3;sW&eT@T}{>;G{dt6vf(|0@)>o zn!GQ{W_Qj@C{KTC@XMAq@j$xR`|?azYN@MA%X`<#@`8WWjyg-kOukYJYn!+1#I!5l zRY>O)E_=))(Ck5<=RhDAg{eH$^m7%DZ_@(@!z%rn5w(fdN-H(<(3J0+TCot8E}377 zy4j%lY{ER+O&TBJHQJ&b)J=#N&pQ<3M5TQ1uKM`ix*es-ag^<(fs?U-x`gx6Ngrz; z2aP2e*!;QWqFO7?2o1_Pfr2&Lrr}57{qVnIBtIDNK(#yZlnv@W8=*N%0Lz#-;U@Yp zJEbq)7?jJx;ztY63(~Ee7aI~lLXmISRyUuhLB1E3Zks8mM}9}wP{S9z5f_S!FRVm+ zN*Zm^p-3 zAAvm!9$%13(*I_kAr@2iG^xnjwc;U>WuWYu zzSMH59HW}|$rm9)%CdS96es`}e|HSM4|L)(XHPl5SmY9gj}St92G)4S8LzW+f`VpU zuR_)P@JwWQ@|{Olah*wK)9^YCOEeTbD7S)n^$I5RcYbJb@L2+fFe8)-sj1ad@y>2L zMr6bkBCGG-E?EP@LlRSw(vpU+h1SRc*f4`~HbL$cd2gol-$s;=(tm92_)c`yJ$_^| zg>ZIx79T6=3)UZ%&&bO}l>_Q5T!!#>SAktBn7DgRR#Ts886&=NupKU~xq58Eupxh) zE0BcuIjK*+%+j@Hv)TCu$DS6x+qy9ZK}p|Yr-vYuck=`T_07cMzvgQYo30|{cO>1k{0h*!9>Feg?SIalZ>toTlwj%?# zeH3jEE26vgkUzLKx>>y``p*b9ib7N3>XiiWJ&cUZlo{@gT?moi)EnYMfLTa*ixi4L zj4)dGbXI)pwJf3>JIbS^#hCcnWV><17^tXct<^oB=uWUFv&or4tN~Qfx01sSZ*zK^ zev-c=m~_tZFre{8JnHCC+@YO@VpYW^;TT+I#u=cQD3A%bJ#E5v~a57WsCRE9@WWZEZOyYLizarm=^82}Y^IJoHUi@ELtN)erhLPbvGCWk0{A85W zP)B#Eue~saV0>tCe(CL|hI5nf;ov(KSBv`rBdBmY3X3`|j8K#TZGo3kPu;t77ILorge-!6PQp=nP7e@JItJ*2SSe>uk^TDH>0|We9Uu zXNHuQ83~O3R9QPT{O*xS)H^tzC(m42^eVtg#Iw)$>CJl2{eJE;Yi;!*jn6?xF#5tD zP5dU8ZTVH~QAoM;_S+1a}4R^nXEI9K;VgVOKjYqtv80 zY-`9MUWPKFSC2uXn_MItl!I#yHS?W?5C*b+``*ZQ)TLYgYy6-&!sp?@%Z1yoEZ<)9 zEb?A(Ll|=@_bjLno_bp3!=HH*HPH=#y{H}N#PfT)1wvJ}44&{0M{Vsfa+nlnC9p%C zV$fPxP*lSC(10+dud^SMZ(ylR^7fKfoej3_N8Z>S0X?Prdltxf1jj(g$oWZ}My=QV zi^n5z4=D4v#)kFd1yVg+6ld}?%>Oxx04CbvS@^a%_aSJzyPq{@QS?Dp@6)zxRWH9!_LCY-3&kqkJ$pP?EtQCPPHC{=E+H zDa1j*yE3n!_g++i2*w7+&~AfC4~8&;dhhPmB}(7!M7RlNd&v9Euei`Hh#JV^$9haz zFph{(1g*yxMS^tws^jNlyyG{PTCNQt-wE3+l-Z!FfJ2uSYmNGt@2I3iC}Hjp4{7Z91q>Iy$Y9EE{e1oG0v3=RI4C^Q`3Z#U5(T+O zpsw@Oy}X?wU|9iu<|I~*TZLl{s0BQ3t)o24wDx&6SVCVR>G{8JdXaO#bLk_-i`}tc zQBHQ|Ul(Kg%RvFi17Dnfz&A-TgO8ldL1bdM94y{=XE|oZ)DM<;#b$_%vT1k}ozwN( ztSJv4ZDL~K?TsXc62?5|lxgbk!qB@CQcp-XiFUkyhjE^l;kEXB9X)Oqwls@t_@TCf z?Vj%saWt?0!p8}Z3wqUX#C2?(`S{|~GfSgKa{tlv?%Lv=-`qarUszs0jLV~?(@Q{$ z!TRbI8~LpGU(Tuj#$LkA#Q1+21pfyLO8y%O=koHr@Q*s1n3bJkW|@PRlBJ)Pqydr4 z{P_>^%p;XwuD5l(&h`6!nrgDI?@kd(gzpeCAr4HS7$sgG^&fa<^8bQow3Uqif01W! zF9YD84^fUNPW}i6S3q19!2uBo38If5*gZc}*`p=^pWT7i?#B=G6MX7kwWys3E+eDE zV-q8%k;|28W;5II`xLs*eV$XVou&xb^`ka*p$88R@_T!iNBi1?j=t`?vevTJRx?FA zyIp8NE~(Z#*|Xf$ObR> z8TzOl)X-#6iwd*T`bBqzEnZcM=%!-z=8AX)I$C68xk*BrfQ$qP5ttAGAv826AxS{6 z8v%#{2o>TnVWDc|#{5c)oRxT)<)!PYYwLE-#*N$h<;qvz#_E;pwnb8gU7}Z#*Z1yi z_9H)j+}#VgI}acQsnhauA~@ud-8$Kp?lu9nE>jmTks(1IS)$5ozKNF?k`}`?i+b@_Nwyu$=ldzf+RYxUA z7QPw5>GAKB;o3h!RgA&u(o@8$zvz(_hNOoyi89v&hLGw-aO)%1WQI_*!odu=87JfR zetic=vj?%CVcfD$(VzI;*ukWu%#qy5NRtkZ_xFwU1rTV==>@(N-kiIA_T0ZQJu3L| zU(oLn{+fIs|2sxytq_=bB5()Mpu8Le{zpisBU4cmTuen&gJo5~fi6H38XVlV+$>(S zE&w!X!y3YeOgbaVHtcH!;Z88E0!2a# zuMNxoT)>P`or(JX7+cFmc2SfiNJuIm%8M;u-_4?-6g9b|S--?9e|G~GazFkYDE?W~ z+_Vitp*?<+Qh@PH3TVasAQa8Ydok$UyDMUMYwtIWup^R~EC1{c9ncuK4k`hsc@~yybYf9_SmHdt zXp}kJkabNf1kQXMA%*z8OsAOSh{GKez8-JDskjp&bg{k*gMKR)?X%k)FibVlRug|t zkl@43)Xcp5nkZoB6yvoDavFupCBIC%-zMbF(+Sd2Te(7V15Yzga|72q)$q&ghzqz}AbxX?&BItC5 zB7|!^)QlZ8qnvwtyssP)oDJWCpPR=MbFBY47!{(gs+J*saosou@<|u)a2LPJO>xYX zH{C(nbgs>{5&m@EM2$hqhz^XE$IUX+CwZ%eM;ta22fzivfKy>9wq+JziY;@jc=p`n z=^jn=T5&*h5VECX=fC1UPiCjexEyH5zBboQ?=?N` zST;ckN}4`3a?3!;W6pU(;*OK@@{J)kpXv62dFFz^*=3xUkFwJc+eYu!?_nQ5h~;y6 z;`n&tq!1-e#NQc3hNS|Ff1KJ+$EC;MpXzJj0zQ}@jmsl-9j7l#r$ZV^_F?mV9(yh=9^jhoK3h#J3BQU zVptwTQNB&{kCj$IL>0BuDXP@+xdm^?>RIjHLe`CRF%0QmLxcx{QbcXrk)eJu3U~{^ z#?QvS9C3`9b@mK13EK_NE@GBFWu~?_H^4LokC*ik)cIOhNE(P;wO+1N9TT!x&gPzJ zPGMDN)d`_nfb(C0_D%fz+Im)<iF_H={dw z0!rzY#WJ6OrJMF?sBHV}p31XyY|<23D~fj=IYPOijM2|eEv*)I71Lp~L-{ZR39#?u z85-AdJ5C7+nm+N=uB?#EB>D|2747xPRul37LV>XDNMRIw6M}B{ZwyiYyOTa?+3r3) zAM=N8((fr;E56CRws#Z)m|+k&lHD!;!B%eWKbx9z0I_cdIo&8L$>JjY&Dblvj#iW{ zNhH`!w}_v7ezF^xP#KCbB@^mJDZ{!kuQnRC-;dlkMtlU^0;L85CW_c9)NM)1A^qA2 zWQs~UTSBWsNrU@0;=dKx;<}elD!3t1nyWv=AxCy095Gwane*o+$-;!Ue?EHQx!d$z zG$YoOA>NK+eKLsI5%a;>vO#-ErR}yt`s4)lZ*c~~vUoSoP3|nMBOcUtUmfaLu50aZ zJb#d%dnSrM^Va){6&$p@&muar!hND!@l&@YjYeZkn) zAZagXVkAM1jU{6miq_S3*`b?nLRAhuzF=T_86u}?yy2$Zb7p4*qeAZPou(^T9lcCh z;o@zoF>2;?&*nQ8NX2qMnu_Y+sP{=1n0Yr2GRO0 zYj&+!{s`c8RC8Ys?Z)|SqAs=Cjtlp4Z!(OSjsC1c?-6mysBF-(S<}$z2m|N9w<)+( zwh{j6LZX_GN_NzEMj%LTz*XcRBqoJF+12w9C_TbNAQdL4= zQ>_-t$wf(NL`EJf8!@S!C*Kz^(=v1V^zZ*Vgyv+uFBK8buErM*@H=YMWD{|(TOyyF zoSrNy7%FJJ+;pr$-V%Bcsfo-&uf@79HR!rDx)s$b>fY~pk|2gPBut3rAm@(p<&XYe zX3S{%T_sHpxfdx3&)kCvDr0-1w@xlQFsrd)SUY4bF=$w{V#5YRJvsFpmEu=Ai-Lt9p*fvWx;u{GsS)EoT>9(ho%1c7R4(0o*ysC9=%i3xT^zWi5_-jcQ z^X0B#ryBeJT_CdmS13O-8|VL7Acm+xE2FM1+!&l&0ROTW4btd{V6-em);5|WY0D4P zkM@Tp3a8+XhWqHLW%b`1>zSw{?kB)TOEX^*oW5-n`!UyzPRDFK%}_F`xy}ATkR}+H z{^s=Ylylp?`SX5JS$iRcNlYw8l%QVyY`=DJ!Zx`+ED9jYv*I=zr28pH!VmdgC)$3D zz5$Q85e3cBFGq>VwISLld)Q4Lp=XL7ax46{W(dg5n5F%DO8S>Y!*U!`nxx81!uXR1 zM{5(D`l#~|HQ*aKVdc@<=5#hgc-BtyHoQ^S*68}^5Qio%0t%t&8G6&=+W64Ws9O#o zYzLt^n;fQbyN0%ha$rXL(&)O`yuPu$Y!FoWbOC?cQS0Wjd@{Qet6iH!E#xCqu7^^_ z#0+mLeIj+0-byk_TAASjfkUE|VH3@MI0%kIT?`EYXEYXVB!j7B%40O6&cyS`L(D+* z$iy6zG2S(^#^jXoHU(lz`N(E8OJkGEBNlzsu6;+V5mA#XWC)%1^RfH6X zk(aC0YV!QJRU0S3YD1}2jb-$uIrJ55b`nUol^2eq{yy|;9cm9%gAt2}B-Qk0e0W$y zQ4&26W$KQY$YY0%k(L+-xjp&-(}mhroLU+B1oI`LUzEfz!^P zs^Ts%%XT93C$#Y4$Uw4V@;NS1@Ek!wq+~jQ^o4qYYzB<#L}ib7Xl)rs?Lw&f5{=^w z3Jp8a^e4)UaSbG9Qpf>Mu%@u&+AcE;v+HL9Xz@^GXRiGd;*v%$&PO?u;iA?h z*c%YN8I|=sto|@I>8Z2JA-IXGl2!$T3_ym*Ad+StQIF)k-7almhxj@?UVo9jM+(;e zY7J$l)A%?g=t*0;e0^V_15Y$eE=p6y0j&5zx4JhsPonnr?sJQ9pvf<*7ML3v2qRz> zgj4!%`)f6FFKHB9;0!}zh23RYhPb(iHQdaV?&w4%!u7P=M+IHHIt6BMzK(M_Z96>U z3ejpClU?2f69s(rlRhalb3B`TjV8G$HH}*o)Zzi-yKBh=?^QTdBA)@(XDh^%lPLWIi!;Pr1B z3$|>6f=TnmZq#|l#PhEMeRvLZfW&JkS8v($P+g9MV>`e3J!F!VBt&BX_bNRSRNOp8 zUDrH@&1AR8qjHRGt=K}*@MAJ!eVg(M7I1|Smxz$A`bnkhFK+)vomc9f&|2TOOMiFZ z8SBbA>S%fibI=;ti%SvIlAx)GpsS{|xX;rXh>&i_y+=O4m54a9QRtevS#z!}Z zJWE^fjtP5wJ>!^lD`|ZCtI^E*?u{cf}^=`s- z>=_#}8Nly{DP{c{@Zr}hA_9PIdQ$k78rE4JcpOM(e#n&Ols_>&H!q%@6p$8OfUqsW zwW(~j5U+!#WEUg=Im2g-ONiUo1(xm+Upa>tW)I$}9G8wtTqv+^gUQQ9fIoSplw!5M zcvawEmxV&)Y7J+fG_5@ORK3upO(|#qRF`4PbNOaCU|-d!X_jXo9`eDRGxP%??LxPt z!Qxh5_KtifVdiI;N@XVdfRu`xikkiTM}0nu3njVY>|pwRxW9ub3q{ALo0B*Fv}aPa z&W95`{eTtthH;IccI;CE-!7L=vr0}e+g>?Uq$j^p7(-IWq|P3m)p%RlmL!s(F`HZKh&j0 zbwl~w*0fE6VcCa%R^g!(cLk0BO&o2!jYNB(wy2mqT-0%%PtlY8r`+l~kf55z&%Rah z6+1k!jfW)@@@q!g$PJyeHzXaXjq$xiKRcYfJD%STN0KAVjm z-wFcAIHFzCyp!ym&&ZP?ZyM>>BILG zm2_NRG|s|)JPn6tgw8UNU`g=3GYjK!JYYLpK#IIqGo4jgksdCV&U{nBA;|mv;4fSumv@ zm)<}TWub@w6@&`)4{GdelllpGC1Hxzt1;fcq>10}y-2SnD|2{mhE7h75x)nu_i)$X zBtoMDMaBY?VPf+#Gc^--fq+E8(L_IB9udTzfnT0tEkxLgvNwFAaju%C`voRn{!DC(5t+VL{ey`y`tbbx- zxm;3UY=PMQN9ye5-D{)gc48KEMa9{{(V*>QjQuve-7D%KxB; zRnHj9=%aSd`o7&C_r@2|9^Al@8=WYAPrs`;L8wItXLP?6kwSd8X-`@?YgOp@H0DOW zgsw@I#*UXUo|7Mr{!KXydPDQjVp3Tpu!^vZpDZdodI&8~O$~*}Tp-*@SKL|KS6ywa zXXq)tP zMUfr99QkG>h95N^o7{H*GNSDI9!z4);89FzLKbJt{-lW*8`0kV@IfuTZ?mBJohPdF z)&Funah_J#uh(a7fk(jo8!7~E{2?a-@`zOs39dl$mjbRIdo3-*fj=x@paHOhA=$gc z@5zCK7f2zvJS#}M@bF|eA!5~4pyU=G zyy6GHZK(B|-x@n{Ij*^U#i&Z{CW4KBj&gp?lq^Hyb+mCF2p-@Ul{)YTIU^?OtHFe> z72xCY_RxHpmTg@DLc#Ld(Srox!(S+BMQiu8iqQ8nm#J2N8Am$z&}w_D|5HGGms-SY z0LGeKBq~hn-M@K(>|EN=k-RfJV5*LDdNPF<|Iiw?X2>Ab+gZG83x`EL62C6bpa1*g zD7ywVZ?e9-}6#S+S8mrW7mhoa$gm%D7DY9LxUxd&QPQS?=R$Eh5Q z9!h-(d$1WcigrELl$ey9cCK?P%f64Rf&5n53suV>@xxU?f7oceHum-gz7CVSr}?KX zNhe7On~$fUi;X3}JYPy6_o7#X~jtDgo7mM+r z!&WQ`^1_y_7?mCyRZ>LN^9tZ@LWz$3wWH0j0SSoLc3naH!C}7z0FXktjDFTy(m6KJ z#e+`}Y2b|CdfHtn`=tvSh5NqzmU#*d%`Av*p~Cj&dT!8TUz8zMh2iZ7a~8U|G|dVV zSPoLX+J@!RDzn(MZx6+omj{rc+eJy-C)-S9jIi0M1Z-%e#)}&IxXQyQo9pnUxX*d+ zVpKNkaF4tr$ypPrw%(`zjj+^BXciU77AUsX24ii&w;bkkh2^x!o;_h9#h2wobz^L0 z0a`F$P%Ls}_KAo`89Z*xx+`|T*IJa|4G&g#IC}E5JOII>h@_FZ3ZUebFaI-Nj!!`i zgTq1EX{N-ErIxIKt_Nx|_b+2t6duFA?@zU_`EHSTCl+rwj%RkM-^^M6?urQlbuGO# z*}jmmL#YFz);y2Uih((HzJ@m2S597Z)>&U^9vEa^Fk+e~VicJ%Sv>)4jE{!y*M|=- zI~ZXK%RQeQCIL$Hu>vs&kL?^xj+hba<=jG+D^`pNiY=kl%|6xE0RM~In}#4r(pSR) zlW^%#<9hS?Q${mex<$$N?YO0x1C@tnGDJI&5)i5#3AOnxqSNE7^wg<-+#l_u>tzR4 zm;nARZa%uLQ-8a>S7PsQRnd~y4%^FHNu8>Gly{>x1?$9Ss^oJJj{>BfFjoW&DZw1C zvFd6yo%IT3C+80!%QMO?EvGv{K@9t0m*JSDW{!E_a1u^mUte@5nD6+ryuG|O z(!5kfRT)(gbE9v*dP;oKcJLeA`lN+`;Y($8yQ7S$!#)M3IUd6)6=9xzdaw7`Cb$le zv$I^H&r>`L7%=Dg`EHrl##-mrb@T!m6r$vze1cn=FzMns5PVz9?TsUCR3L30+Pu3B z+)P@+xObGHU)V8rCU^T1t9v}Z$M(mlD1!s|JxJ~5hLKp6qx1$2J0?0O3^{;lw}dH0 z3m(4yyimtcfGME9W`;_{mtpxQj z^+s2uZXK<7EwuyS89isnMZJh3am7AiQx7%z5Bi#B z^1!9u#u;M*iTAFKO>%?9g|XoBhH6A4pQq&QD=?AGW@&8hkjxeDbe<%M9vXKH zh`j`s6th6k&^Q5W{(O1qqU_N9v~OivOp!dl)(Zur;{-*f4ap zokod6VTUhB9{KpHsux7t#V4C{Wcpv$j`_a{n_&EprTm}1@)0c5|I^!9Mb)uxZ5nsi zg+p+64H7iC1b1J!ySuw3I0Ok0g1fuBvyc#UVZmL0PM;p#JAHPa{>QoKiyEUYYShIi z_0D&Gv!3bZdVRCteuEm%^#+?*-g!p8zupAfE|Sfnh?oHahB=-SOe(e$R@NoC zapuJ_R@tVxc@?@TrV(WXS!P9M1~~;4$FV6!l{2|<1@*vYeRMH?Fc>fOa}gf>-Cju% z-Y#U$!1!?D0E8JE4tqbxa&Y!=!PeY;VaVy@=xLH60hzz~3+Y9NlB?wTR(t!_+chx2 zsKI2=E`~<;+UC$x_3J)%qlK3)%Qd;bm(F88%5{J8^W6d@vBmTi2iHPvwTmqg<)OmRZrr$n_V?qFuGg1F$(z*YGN$2JJ z17TyAs4b7Jf)jq~npJ}{A5SioqlnXlpwJ`4E-Ff$D#5vOBDA{&8MT@Xc$~MFp>z z@z<4SpUK_zG2};J5NLL04a@3W;l_<}x#OQ95ahMwNuL=fj z=wMUsph7WCacey%!JBvsOL)yAXN{X?7WR^_<$d4~S*^5IMT}4y%ObQq%PWsgk{&o3 zpqONpD7h^D04*t$kKy;?cD|Zec^m+Xwxm+Xv|*vnPd;`MyG}aRarvkD<8cR9H7I_5>oRyKk6W$L^K}qU^COa203oS`Lh73)kCl`;mk=w@*Dq>QKvtG7^_|c5!AH@e@YR2Ulkmg5Yq7oaHsWka`5;lX%;$N z1oX4e^eU6N-S|_MD0(=Z%Bvv5JTZM&S4;78ZV$!w zoIhk3$|v@}*<^pI*pafbbv1Wpm9jN7-%nU_u>;|1JHQ9u}}=xEv?o7%lkp8c}gplB%itD3#CTy*%RwXD_6osZjk zIuQ&*-s0H<0^y>airwDfcpGZur&)*gRUDg?=*Hd;ymk4Ljea*;yeg}QoQ=9|nL(Je zlZuzPd6%a6FS3q`$UPm?cQ!wRIo}jSZ-OhPU^m0jlO|x2;F$X-TKezZts!q^^dW;}6`;{}Lrs)JT-bvza$h;^2ZnOs9E0d0cp? zi@J{B>O&_OB&(Gd*-8JO{G)bUn53yY(H&?=j4~uDfCwUcH5-R>s)idO0B}SA0PutH z)$q)}S)|fgQrR#7baXP0=l}!&Ee5{5Z+PZ3w0rb-G@s3i_Gmss@be?}+>d0GQKumh z@(@r{!)iP{?C$P*N3{%i-%B32X9^(gW>6C#iIxqNNt&0@BiY}3Q6u?BwUi+l@g4=q zfS=ZaXOrjO!EQXI&KC&g7p8Lo?1IpC%zl|9Lh~n38&7qSk@$*G`QI|%;R@!RudD2x z-Uc*9y5G9pYE0ZS-|5pm`WW4Mte>1J5_P@z1HZEHnRX9tJrvyXmjB41*6_i9=_&m zT*;gAezfuNDfjjG=mBmYZ6f^WPvr5c`1{2!?`CzksoUXe>%+<930nN(%T1KCYFl2e z$c?_|hR3&qjf}Qam$T>WM}6l@kB*7hh=4^zYx9lSx*==Z6ZR4MJ9@70-_9v zNwUG(#a$xvm58j}d-=JRcln*c^ugICnh!EcKand-itoh9tD?!Pr$%iZCKfYrf7Lx3 zzpjTOMKwl=<<^QSQ}o)gdADI|zI^d5T+|6n=DPm9Rh^PfHJORbrFSh2D5kG2kVa&< zKmAS2u%h_nD86iCpO&gaevETBa?X3$0^6G$1IA;Tf|?>mf9OA$5_RaASZixLm@J7< zFyS6NIi0wgY*s=+BJ)3zX=4a@fl!z5`S!2F$@iDo`@i40fSsS?uP2;#DK?g>7J#8C zD-&N$@%Cy<@E*U4BSW2?t8H*lQb*3*?eD2 z*xCJ!sROjtMz~F+0}O&?oQSV;AsQYg1RA_eV?eVO+^z@o3oDau-%;b@P><4O7prc$vW?;%LUvb@coe7UCJPfCwp=pTadjFe=+CvggGTMirTJ}5iQY| zC?VsKO#?U!>3i>?D!nuD5s%TqpfKq@pA*Z8GAfuL$&&QaEJyKfFbUf{8ID;m@IynbXwp5^ zkqH5w$vY#qY{}@0PjpUSrW`%wJiUIaBHqH@#wD*(ZEHB~7o8~sOL|UX z#dC?nZOL%~=N|$2ukhb%KL=y*Bi@Rqupxy7dglKkgT)~U_nk$(=>uXCzUyHl5?ynC zY31;z0JOsGYk~@OKUYv$+BsOY37{Qc5W`UYNTqMy*oQLI{q^}J^wsfk#SYP~xH9?&8$A!Is7lw!IMoKE(F>nWnzxOUjxIUUsQo z2`V9Xc=|hUQB~=u;fP!n{#?g(59%jbOh(>xeyI$)6lNhd4W?XrtlpO{qSTu`zu#?} zRM~-@cWPHx1jB`x0v0vyx9)BR{KDeC$Vv_hPcNZW-x0wSs1#SldtyU}H~7a+Z{P*{ zt;x9edC;;J5nNQtC_?iIIBN>6${Gd(4r^(SBX7i~u+WfvqnMJRQ^aY=YDxjf5(}-S z2qW9xWd884&jtX`;%DsVl76rBVG9-@Ye{D?`9qbXQ6$0fhP}fPj9IXY71kigk&hM+ zZnF=osdEbwyx~vY!a|oy8nVI2;2b?FwD}dFEl89pDB`Es$)Jb%JGciea!^KEf0wWT zyKg<^AuEutpLx#!yg1$%urBZ3-N{n8cn$hG(^pM)tm9#r*HeQGxatKE(VLxsEm)vN zi-cP7D^6!dEo=BPg#5m`@?=7~n(J*yiDjvzZ+mlQh(F7h3_w1zJI4Be*`9f zYKdo20Y7;WOmIJioq90NHSjo03#rk3JgAG6hc1G&J(J{gGM;9*ydb$(?92|Qd`66x zikI*E2wNzg4}}a4H2%1KPL*wbCd_@OQ*$pY)778wh}0qGGWZD=ak5hul*c8Vmob$ zU&hqJH(_6dkze{Wpe`??3qqhnMY->UKY6 zeQ8x=fN);csulBNO>xgkJiVOE-VAw`lo{g@P_&pl2tVunq0wr_(Dq(-G$*+6GRKM& z_qEsSYa%|T8zw+(S8`fG6n_Ri$V1Gc!r2l-VE3nH-n zn~mGjDQ|AmianS5Z0)D@ve(~pU||KNU0KOcS3Kzf{!dY249d9_2u4CI+XIChvqQDg zfZBXI5m8HsX*@j5`T13Yj{E&Om)NC=`ipjlEa%F`8zGi4G=IaNyS3x4r(^QG3WjWR zu4!r4uuZt%>x*N**K2(rD`UuPRCXf`cWGGeNS&B$;v{{a$GkQ#)HpD3Ci?xVRv@jRyWXav6BRVqU zb8rU{6Y8mBkRzFpqrpG~Nte1He4s;oUxS470YMNluUO0Ap-R|~p;+@d8-Abq6CIU8 z<03QFW<7gS=cWEbw7-m>={6fA_D(+r3V|3K+V;663fMFSk#}26&;zlm0T`LSnvjDL zAycA5EZvJkg`O#A4|>WH_LGCB4uxECcK9hltdZ}p7em~UP>5a_)l3&jA$=npXj~`= zWQgS96f)!>+9E>+eF;SlZ~BfSFXrSt)VBY@@ybda9DzxPVg}ufA_n2WoF#08M(-%{ zeIP#L*Z!HMAVp*^6P3l#uTT{O29Ee8>LLDvhD1`D63Xf^$7wI#YnL20f*^lsp3>HL z)l&#^FoMfL*l`(FzJw0OcwIzQ`5J}L`y*cAZPBKQ3B8!WKcYqP}^ zBYT}6#-(I+R^PXleQctO6c!H|r9~ha9QSdHpkp#`(#IN*-1fh<&wcfP-&6M{&ep85 z)IjS3%vsl+Mv4}q)UJqIKJSPG*V_XACan5PhUVXVSvdbF6#IvH>?g_fp+`t>;A9D zns%Rwgaw<%DT^nAfSCKomb~DCF##W>o#f=cXt!4W+T|~9WXHm-vD;H>H}&z}BrUN_ zjm&=NZ63#-^BrLy%@yF<6o;-*FUU<#`~zNhe-jQu8+LwaH+kti@d@5P*4AAb&-J<( zt`T3K;_GxN-?(GG%NiQ&rn6QZ8;30i+O3g+^jVv>Mq8+TTKNr*8`-~{YPi?FPF!c* zHcdOQM?HkUS;u$rWEZxKZ`sbhYPVG0kBgf1JgXj>9xhMrrrV6VXMJ9aw@+m$_|?yf z*@K}t^8ER(+^7yixG;{Ib@=qFAozMU2f zp87@eSF(qT493x*BKDeCOH9;0LKKrEO00bA4r=<+XogO@@&XjNoY;v$(%|48$MDl- zCd~dylv>aC2KEibdlXHgg5{6&N_b+HvX@qyU-P}dr0}*Nb6B|VEVa3La_mqW!K8Bk zx>ZXU>YAVp`Y{(vshR^Pi}=CyCrk;b(s8)h{(N$`^M}OyQc|>~g7XX@`yT#BHO_vj zv35Ny4J@54v*r(D>ItEPPH^?#If7+h9(|BV>}dU)sjtr6%44_dhY^H2J%8rLU3Rx@ zb2uK{;oR*sc;NC5fSg>!nHKGRyrnaM;Bo90w4FkfmHMVCzY-ITz@ng zu1IvS#Wp7%%F{h^kNxz@vq-nJ9S4=H!j|NQF+OW1Ta%;V$_7_x3tkC3a$7peyPg7C zEmgd<+S{}=FxsasHrnHWVp}7t=?J-J(lN2HU;E8e#A_{my_(bu))5>M??wejc)fD* zm4x%q!;3zJ8ZXnV2jS;Aa0pi{9HGxw2_4scF)bfsEIGv{`?!Uj-rOQfMYUD<$wY?s zSy!WhfTI54*UF36>&j1GBfGrsv1*SP$tHl4Gl}^_i^KWDb)CV*F`d?N;+6(eq87PA zP+iDcg@(tQ% zsM&{!(pDs6>FArnqva%qHVI0!k+6iZD)Ue&(O|?0$*AdUjlfBV`6KvfK@{s!Wkntn?M>3P4C9S+kCDkx<@iq2YQjVV6DGB%d{&UY#_cCGche)|V+ zRsb!pLTcWVT!CkUe5l{1|C!*Tz|!@|=_#^VH2R>JgouQgIHdjQND4{d?QH^{T4IdS zH{czVA%J!KsYozIVX|BIZXw98O`^8j$xQ)^3tIMycb4zhw@svoBY`l z%5=%e?`$X}h1n4W<)`?{^p}q@c1CcE2Q|y9P!$+Gr&nZA;1o@ot~-dcC%}=isKYYJ zaXgG4E9!$GtAi%m1DqD%iC2WhP~|5JrLeDNh7XZ?o9<()F~q}(T@kz6ON0t^eZ5ZE zbi)mD#8+gkNuTc~PCKvFjz9@!5n+~Pj)h%pUsM&wbr;1(3YPM?Q67WRXMa;C2^#Fr zr1$W@obD?A^+U@4-*P{ke^SWxlNB67*igbx?{WFvBM^H(uF4>k!BRLaM@T(FTe6XS zLR86*czFb|9~r}+Vbl6QV`1aCX=fQH^?b>4g^oFfpW{z2X`3TwbtH*ZPCAC`_`&$P zXlf&=+}?CkNFoYnbY%zg>@BQr&G>%b>+-6aywFYm%Y>jj6Z%NK!%eYaH5?U8m~@}Y{plf?Iqi5E ziK7V|?kdSO2*$ZyfBS1o#70E8^`NKw(xW=1nBnya>OEoJ?!Qh4JKJAUasNixIQ|qi z6(fBpBL244TiBQu|J}^o+(`YFqOYVL0aw7SiJqsb$!4QHXz+ff z!yYn-?Ano_DSaBv{)QX|y42sjCfzb*uI&c9)9g5gE7=J-+kRau(Ft`k9#20wv%xOO zh7?R!#ST}NSfra6)oL$#u)Xjt^``AREHXn7^2+a>UatzfoZ=FKxo7|d+UB#aT*Bt#XI@Xu5lnADL$WCKw( zY~aXUti338$E1Eja+yfC4n(oAs29ESX%v?aj^4&uskie1K0ss=QQmlrvb22j`Q=>%Q ztsWm(YgwuNxE0|+_RYtkW912~hA%k31vX44XWmu%?_f+j{1URz<~*E*2|3QQ}7L{aO3QMG^U#g=~e!E8cOjk$+~n#w-zn1R^tUh#m!(Lz z@3>x-t`2ifJRKmTtXY?pUs6#igRb?z&>YnEv; ze#j=p!-rjmu2I==P2Q!Zaa!ABri+d07>K#$;|D1W72?5Ty6kI7y3f9p^c1D<&esgKTIAX>>KXEydhS6jox*i*xdtJBRkmHQs-)wL06#HA=%hUoncAbNhj2`8MmtXw)FU* z8kl64F8@}nt!JVkdfcu@mp;s;>axq0hcnY#Gw;9loO*6-(H>f(nkXr(C&uG%8Kvoa zG!|LIxh?V?7DGuIs%NT`Q5>`a1pxM-XITdm`c!y=02yiM)gZ_-$o&Uc{>g`DSM0jk z^&fc(Je74Z$C=f+eF46lk?`-2i_IHrZXJ4HOoQKB_Dh%;u)VMjzBCYU@q3M5{1(R2 zqz4;m`CmzsgfLt=XXcEL&alD%`dM^uWGX@y8$K5?k+@q8-!I8MAxMLHutG=rxLz;+ zaR7od&$%*UtaIa|jdTv<9*T!hn?zZT9z}@kj}m41+xaI36d;K0i{l4ELd7Lce@TF7 z9^yUQ_<$?QJINjtuFUSC1d1RVLn1t~qw$q=x})Gwj)SQEl_x5r=u9lLYLuNX8n-Zb z_$=PjY1U7`g@#U_LsMcCE3cGK=UVvXYE_*}1rsV7Hs<}5Dl1jeT3Sht^>J!gW4T{s zBkE)l7dI~*!TDz4AXpNe=^g-~Zguo``VThS^GK*!oKn3n(hexcIGtZKeyQfmFpVNT z`-RkT(G{lk3>}uAWfwK%+uc>(&2#1|sy$K=Dm_>8548v`G(jmz1a$9huptY^b<;}8 zEvtsmLcELm;9WlL5~OH-(xK^HhVgM2Z$a-D;Ua|qA$`Xn?grH{EI0&Kt-N;hgIP-7)Uz>v`8xS0W3txlxmz79|1BDqoCeBAM3*7?%yF8#RR*3fYAnwa7WAfectKPM?gu& zbK8vKsn1C7Cc&B(;0(qf;=qY8Zp6+9uVgs|)n_Al7TapGywlg7;1CDUA0X zP*7mF_zKKSsgKZ)~jx4FQ;BPOD8se}GgH1Ph5*&RZMaObWrvAN9w z-sSYB@Jli(Ji23Jb+WzEqbJLZ;->amLQ}KcKBHww#IxOg0cY>NS4LdbFBlngsRJXV z2&|o!5Q}(b*kU_5ErsUPyIj25kUXJ4PRMk6x}d{ci(R-5vRQp^G1h%t1*<&ZRW8~- zG|4O`$y_$xRg&U<>gTLn_?r{PYkR9^r~pv!Mm6Adhv3few5!Ya*_|aqE2`_k{Yjnn zMc|;93~et^q@H_Pk^JRbP?z;qz=s6JUzoOm0#M#*!AFoe^?@1!a4Uk)`{hSRg>xy= z@i`{0O`*=U!lMt`bS`_XMm&VZ?xD0Vu(h_mKeE_Fde2*$3mr3ag{R+5S>AsX_2|Af z47$vlTa{UPP3_5e?EEo=ow|^<#}XZ_^t(B~ZrCX2LxlzNTXABIYBzI6+*MgqS!W}fkgn)opSW$!vl>_Wd~v?66wi3)x4Ks* zy!#*#wX;z5#bL^TIM0F1r7<*38=p~wa$t|IMllgb_r^jFf;x(S^>t5T5W;E^#`58j zDaULZR7xxy->K1bJ!dRzvy-UR)Sx^khdbL}9c6L1717t!MM^Tc9aJ$seG_56KRHj) z@t)%ewLp7xx>cXzv_|?xm~r&@#9iVNbjOn=9}z;Ff^>C(Tdj`UgnHQ#Vw^TA@rw*0swccbAwbZKQk9cP=r-E-wkV+cl*TFAzep4eMUr>y7+2Cr_G z+ow6N5hiU5cx#hVg-qcdX*x#~Yb;x`gBd9zeIXk;$9fK3F*^tlOofbHysf%=*Xi>G zQ2b>_EynDl%5~7ASm=ZmoZ-jZIPxM z)_UejwN7|}yR7`esD(dvbZmo>ktFV_y@>n^(;4)S=NvHLeh8^g@HZLq`z)ioQR7%k zi^1lz>ah3O2KJ|9Bwfow!U0`tbX$32f+BdD*U`c#>TSlhFkcGVb_}u&Vc$$}l$KJq^JVrS6le3TKPxjfI8fM}4<$N8|Mzg=U8yF_9dhDkhNHqHu4O*AhUAa?tk1{lyl-) zyb_T;nYM&-C)#SpRl4q~s=!$NSX<$11$-P^v9s6?Q*)JH>%6OWIfuLv@Lvckdc&PG zD?&=S7DLcm3#Qp^TX|tmsqp0Vj{KUxy;4SfheMQEfn11-3Rqoli#9N_#J=8pzv@HA zVqEon#DcSaD`J<0_7MlklrW`47Uu=2GbmeUGiuj#C*~Seacxl1n}`Iuj&(-jhT49| zlz4Ga(8{QCHN6dXPe!e&a!RqX%AHO27;Eb~PwGV+q;|MsimH2|HP_!UTEK3JEV&py z&O>f<8y=;ra%9-$?c(XUXIcQw^l?7hmHZ!$?-Q$xJ~HVp(Em4nh=c!+Vj1S?5f*V{K*aeev-+r& zx{7I>B&wa&gld{~oLv8>cR%z)C@74@r3<5+81;g}#+;zvB?~D1wD*6Lq&sKlSoW~s zKCN$e4xn+AcM?%BiCKH3Tv{)gJvX(ugC print "red" -| Blue -> print "red" -| Green -> print "red" - -\end{verbatim} - -OCaml provides tokens to express data destructoring - - -\begin{itemize} -\item[{$\boxtimes$}] Esempio destructor list -\end{itemize} -\begin{verbatim} - -begin match list with -| [ ] -> print "empty list" -| element1 :: [ ] -> print "one element" -| element1 :: element2 :: [ ] -> print "two elements" -| head :: tail-> print "head followed by many elements" -\end{verbatim} - -\begin{itemize} -\item[{$\boxtimes$}] Esempio destructor tuples -\end{itemize} -\begin{verbatim} - -begin match tuple with -| (Some _, Some _) -> print "Pair of optional types" -| (Some _, None) -> print "Pair of optional types, last null" -| (None, Some _) -> print "Pair of optional types, first null" -| (None, None) -> print "Pair of optional types, both null" -\end{verbatim} - -Pattern clauses can make the use of \emph{guards} to test predicates and -variables can be binded in scope. - -\begin{itemize} -\item[{$\square$}] Esempio binding e guards -\end{itemize} -\begin{verbatim} - -begin match token_list with -| "switch"::var::"{"::rest -> -| "case"::":"::var::rest when is_int var -> -| "case"::":"::var::rest when is_string var -> -| "}"::[ ] -> stop () -| "}"::rest -> error "syntax error: " rest - -\end{verbatim} - -\begin{itemize} -\item[{$\square$}] Un altro esempio con destructors e tutto i lresto -\end{itemize} - -In general pattern matching on primitive and algebraic data types takes the -following form. - -\begin{itemize} -\item[{$\square$}] Esempio informale -\end{itemize} - -It can be described more formally through a BNF grammar. - -\begin{itemize} -\item[{$\square$}] BNF - -\item[{$\square$}] Come funziona il pattern matching? -\end{itemize} - -\item {\bfseries\sffamily TODO} 1.2.1 Pattern matching compilation to lambda code -\label{sec:org2127ffb} - -\begin{itemize} -\item[{$\square$}] Da tabella a matrice -\end{itemize} - -Formally, pattern are defined as follows: -\begin{center} -\begin{tabular}{ll} -pattern ::= & Patterns\\ -\hline -\_ & wildcard\\ -x & variable\\ -c(p₁,p₂,\ldots{},pₙ & constructor pattern\\ -(p₁\(\vert{}\) p₂) & or-pattern\\ -\end{tabular} -\end{center} - -Values are defined as follows: -\begin{center} -\begin{tabular}{ll} -values ::= & Values\\ -\hline -c(v₁, v₂, \ldots{}, vₙ) & constructor value\\ -\end{tabular} -\end{center} - -The entire pattern matching code can be represented as a clause matrix -that associates rows of patterns (p\(_{\text{i,1}}\), p\(_{\text{i,2}}\), \ldots{}, p\(_{\text{i,n}}\)) to -lambda code action lⁱ -\begin{equation*} -(P → L) = -\begin{pmatrix} -p_{1,1} & p_{1,2} & \cdots & p_{1,n} → l₁ \\ -p_{2,1} & p_{2,2} & \cdots & p_{2,n} → l₂ \\ -\vdots & \vdots & \ddots \vdots → \vdots \\ -p_{m,1} & p_{m,2} & \cdots & p_{m,n} → lₘ -\end{pmatrix} -\end{equation*} - -Most native data types in OCaml, such as integers, tuples, lists, -records, can be seen as instances of the following definition - -\begin{verbatim} -type t = Nil | One of int | Cons of int * t -\end{verbatim} -that is a type \emph{t} with three constructors that define its complete -signature. -Every constructor has an arity. Nil, a constructor of arity 0, is -called a constant constructor. - -The pattern \emph{p} matches a value \emph{v}, written as p ≼ v, when -one of the following rules apply - -\begin{center} -\begin{tabular}{llll} -\_ & ≼ & v & \\ -x & ≼ & v & \\ -(p₁ \(\vert{}\)$\backslash$ p₂) & ≼ & v & iff p₁ ≼ v or p₂ ≼ v\\ -c(p₁, p₂, \ldots{}, pₐ) & ≼ & c(v₁, v₂, \ldots{}, vₐ) & iff (p₁, p₂, \ldots{}, pₐ) ≼ (v₁, v₂, \ldots{}, vₐ)\\ -(p₁, p₂, \ldots{}, pₐ) & ≼ & (v₁, v₂, \ldots{}, vₐ) & iff pᵢ ≼ vᵢ ∀i ∈ [1..a]\\ -\end{tabular} -\end{center} -We can also say that \emph{v} is an \emph{instance} of \emph{p}. - -When we consider the pattern matrix P we say that the value vector -\vv{v} = (v₁, v₂, \ldots{}, vᵢ) matches the line number i in P if and only if the following two -conditions are satisfied: -\begin{itemize} -\item \[ p_{i,1} & p_{i,2} & \cdots & p_{i,n} \] ≼ (v₁, v₂, \ldots{}, vᵢ) -\item \[ ∀j < i p_{j,1} & p_{j,2} & \cdots & p_{j,n} \] ⋠ (v₁, v₂, \ldots{}, vᵢ) -\end{itemize} - -We can define the following three relations with respect to patterns: -\begin{itemize} -\item Patter p is less precise than pattern q, writtens p ≼ q when all -instances of q are instances of p -\item Pattern p and q are equivalent, written p ≡ q, when their instances -are the same -\item Patterns p and q are compatible when they share a common instance -\end{itemize} -\end{enumerate} - -\subsection{1.2.1.1 Initial state of the compilation} -\label{sec:org0b0c254} - -Given a source of the following form: - -\#+BEGIN\_SRC ocaml -match x with -\begin{center} -\begin{tabular}{l} -p₁ -> e₁\\ -p₂ -> e₂\\ -\end{tabular} -\end{center} -\ldots{} -\begin{center} -\begin{tabular}{l} -pₘ -> eₘ\\ -\end{tabular} -\end{center} -\#+END\_SRC ocaml - -the initial input of the algorithm consists of a vector of variables -\vv{x} = (x₁, x₂, \ldots{}, xₙ) of size n -and a clause matrix P → L of width n and height m. - -\begin{equation*} -(P → L) = -\begin{pmatrix} -p_{1,1} & p_{1,2} & \cdots & p_{1,n} → l₁ \\ -p_{2,1} & p_{2,2} & \cdots & p_{2,n} → l₂ \\ -\vdots & \vdots & \ddots \vdots → \vdots \\ -p_{m,1} & p_{m,2} & \cdots & p_{m,n} → lₘ -\end{pmatrix} -\end{equation*} -\end{document} diff --git a/tesi/prova.org b/tesi/tesi.org similarity index 100% rename from tesi/prova.org rename to tesi/tesi.org diff --git a/tesi/texput.log b/tesi/texput.log deleted file mode 100644 index 3a4c4f8..0000000 --- a/tesi/texput.log +++ /dev/null @@ -1,21 +0,0 @@ -This is pdfTeX, Version 3.14159265-2.6-1.40.20 (TeX Live 2019 Gentoo Linux) (preloaded format=pdflatex 2020.2.15) 17 FEB 2020 16:31 -entering extended mode - restricted \write18 enabled. - %&-line parsing enabled. -**tesi.tex - -! Emergency stop. -<*> tesi.tex - -End of file on the terminal! - - -Here is how much of TeX's memory you used: - 3 strings out of 494553 - 112 string characters out of 6177841 - 52201 words of memory out of 5000000 - 3775 multiletter control sequences out of 15000+600000 - 3640 words of font info for 14 fonts, out of 8000000 for 9000 - 14 hyphenation exceptions out of 8191 - 0i,0n,0p,11b,6s stack positions out of 5000i,500n,10000p,200000b,80000s -! ==> Fatal error occurred, no output PDF file produced! diff --git a/tesi/unicode-latex.json b/tesi/unicode-latex.json new file mode 100644 index 0000000..6cd9664 --- /dev/null +++ b/tesi/unicode-latex.json @@ -0,0 +1,2519 @@ +{ +"!":"\\mathexclam", +"#":"\\mathoctothorpe", +"$":"\\mathdollar", +"%":"\\mathpercent", +"&":"\\mathampersand", +"(":"\\lparen", +")":"\\rparen", +"+":"\\mathplus", +",":"\\mathcomma", +".":"\\mathperiod", +"/":"\\mathslash", +":":"\\mathcolon", +";":"\\mathsemicolon", +"<":"\\less", +"=":"\\equal", +">":"\\greater", +"?":"\\mathquestion", +"@":"\\mathatsign", +"[":"\\lbrack", +"\\":"\\backslash", +"]":"\\rbrack", +"{":"\\lbrace", +"|":"\\vert", +"}":"\\rbrace", +"£":"\\mathsterling", +"¥":"\\mathyen", +"§":"\\mathsection", +"¬":"\\neg", +"±":"\\pm", +"¶":"\\mathparagraph", +"·":"\\cdotp", +"×":"\\times", +"ð":"\\matheth", +"÷":"\\div", +"Ƶ":"\\Zbar", +"Α":"\\Alpha", +"Β":"\\Beta", +"Γ":"\\Gamma", +"Δ":"\\Delta", +"Ε":"\\Epsilon", +"Ζ":"\\Zeta", +"Η":"\\Eta", +"Θ":"\\Theta", +"Ι":"\\Iota", +"Κ":"\\Kappa", +"Λ":"\\Lambda", +"Μ":"\\Mu", +"Ν":"\\Nu", +"Ξ":"\\Xi", +"Ο":"\\Omicron", +"Π":"\\Pi", +"Ρ":"\\Rho", +"Σ":"\\Sigma", +"Τ":"\\Tau", +"Υ":"\\Upsilon", +"Φ":"\\Phi", +"Χ":"\\Chi", +"Ψ":"\\Psi", +"Ω":"\\Omega", +"α":"\\alpha", +"β":"\\beta", +"γ":"\\gamma", +"δ":"\\delta", +"ε":"\\varepsilon", +"ζ":"\\zeta", +"η":"\\eta", +"θ":"\\theta", +"ι":"\\iota", +"κ":"\\kappa", +"λ":"\\lambda", +"μ":"\\mu", +"ν":"\\nu", +"ξ":"\\xi", +"ο":"\\omicron", +"π":"\\pi", +"ρ":"\\rho", +"ς":"\\varsigma", +"σ":"\\sigma", +"τ":"\\tau", +"υ":"\\upsilon", +"φ":"\\varphi", +"χ":"\\chi", +"ψ":"\\psi", +"ω":"\\omega", +"ϑ":"\\vartheta", +"ϕ":"\\phi", +"ϖ":"\\varpi", +"Ϝ":"\\upDigamma", +"ϝ":"\\updigamma", +"ϰ":"\\varkappa", +"ϱ":"\\varrho", +"ϴ":"\\varTheta", +"ϵ":"\\epsilon", +"϶":"\\upbackepsilon", +"―":"\\horizbar", +"‖":"\\Vert", +"‗":"\\twolowline", +"†":"\\dagger", +"‡":"\\ddagger", +"•":"\\smblkcircle", +"‥":"\\enleadertwodots", +"…":"\\ldots", +"′":"\\prime", +"″":"\\dprime", +"‴":"\\trprime", +"‵":"\\backprime", +"‶":"\\backdprime", +"‷":"\\backtrprime", +"‸":"\\caretinsert", +"‼":"\\Exclam", +"⁀":"\\tieconcat", +"⁃":"\\hyphenbullet", +"⁄":"\\fracslash", +"⁇":"\\Question", +"⁐":"\\closure", +"⁗":"\\qprime", +"€":"\\euro", +"⃐":"\\leftharpoonaccent", +"⃐":"\\overleftharpoon", +"⃑":"\\rightharpoonaccent", +"⃑":"\\overrightharpoon", +"⃒":"\\vertoverlay", +"⃖":"\\overleftarrow", +"⃗":"\\overrightarrow", +"⃗":"\\vec", +"⃛":"\\dddot", +"⃜":"\\ddddot", +"⃝":"\\enclosecircle", +"⃞":"\\enclosesquare", +"⃟":"\\enclosediamond", +"⃡":"\\overleftrightarrow", +"⃤":"\\enclosetriangle", +"⃧":"\\annuity", +"⃨":"\\threeunderdot", +"⃩":"\\widebridgeabove", +"⃬":"\\underrightharpoondown", +"⃭":"\\underleftharpoondown", +"⃮":"\\underleftarrow", +"⃯":"\\underrightarrow", +"⃰":"\\asteraccent", +"ℂ":"\\mathbb{C}", +"ℇ":"\\Eulerconst", +"ℊ":"\\mathcal{g}", +"ℋ":"\\mathcal{H}", +"ℌ":"\\mathfrak{H}", +"ℍ":"\\mathbb{H}", +"ℎ":"\\Planckconst", +"ℏ":"\\hslash", +"ℐ":"\\mathcal{I}", +"ℑ":"\\Im", +"ℒ":"\\mathcal{L}", +"ℓ":"\\ell", +"ℕ":"\\mathbb{N}", +"℘":"\\wp", +"ℙ":"\\mathbb{P}", +"ℚ":"\\mathbb{Q}", +"ℛ":"\\mathcal{R}", +"ℜ":"\\Re", +"ℝ":"\\mathbb{R}", +"ℤ":"\\mathbb{Z}", +"℧":"\\mho", +"ℨ":"\\mathfrak{Z}", +"℩":"\\turnediota", +"Å":"\\Angstrom", +"ℬ":"\\mathcal{B}", +"ℭ":"\\mathfrak{C}", +"ℯ":"\\mathcal{e}", +"ℰ":"\\mathcal{E}", +"ℱ":"\\mathcal{F}", +"Ⅎ":"\\Finv", +"ℳ":"\\mathcal{M}", +"ℴ":"\\mathcal{o}", +"ℵ":"\\aleph", +"ℶ":"\\beth", +"ℷ":"\\gimel", +"ℸ":"\\daleth", +"ℼ":"\\mathbb{\\pi}", +"ℽ":"\\mathbb{\\gamma}", +"ℾ":"\\mathbb{\\Gamma}", +"ℿ":"\\mathbb{\\Pi}", +"⅀":"\\mathbb{\\sum}", +"⅁":"\\Game", +"⅂":"\\sansLturned", +"⅃":"\\sansLmirrored", +"⅄":"\\Yup", +"ⅅ":"\\mathbbit{D}", +"ⅆ":"\\mathbbit{d}", +"ⅇ":"\\mathbbit{e}", +"ⅈ":"\\mathbbit{i}", +"ⅉ":"\\mathbbit{j}", +"⅊":"\\PropertyLine", +"⅋":"\\upand", +"←":"\\leftarrow", +"↑":"\\uparrow", +"→":"\\rightarrow", +"↓":"\\downarrow", +"↔":"\\leftrightarrow", +"↕":"\\updownarrow", +"↖":"\\nwarrow", +"↗":"\\nearrow", +"↘":"\\searrow", +"↙":"\\swarrow", +"↚":"\\nleftarrow", +"↛":"\\nrightarrow", +"↜":"\\leftwavearrow", +"↝":"\\rightwavearrow", +"↞":"\\twoheadleftarrow", +"↟":"\\twoheaduparrow", +"↠":"\\twoheadrightarrow", +"↡":"\\twoheaddownarrow", +"↢":"\\leftarrowtail", +"↣":"\\rightarrowtail", +"↤":"\\mapsfrom", +"↥":"\\mapsup", +"↦":"\\mapsto", +"↧":"\\mapsdown", +"↨":"\\updownarrowbar", +"↩":"\\hookleftarrow", +"↪":"\\hookrightarrow", +"↫":"\\looparrowleft", +"↬":"\\looparrowright", +"↭":"\\leftrightsquigarrow", +"↮":"\\nleftrightarrow", +"↯":"\\downzigzagarrow", +"↰":"\\Lsh", +"↱":"\\Rsh", +"↲":"\\Ldsh", +"↳":"\\Rdsh", +"↴":"\\linefeed", +"↵":"\\carriagereturn", +"↶":"\\curvearrowleft", +"↷":"\\curvearrowright", +"↸":"\\barovernorthwestarrow", +"↹":"\\barleftarrowrightarrowbar", +"↺":"\\acwopencirclearrow", +"↻":"\\cwopencirclearrow", +"↼":"\\leftharpoonup", +"↽":"\\leftharpoondown", +"↾":"\\upharpoonright", +"↿":"\\upharpoonleft", +"⇀":"\\rightharpoonup", +"⇁":"\\rightharpoondown", +"⇂":"\\downharpoonright", +"⇃":"\\downharpoonleft", +"⇄":"\\rightleftarrows", +"⇅":"\\updownarrows", +"⇆":"\\leftrightarrows", +"⇇":"\\leftleftarrows", +"⇈":"\\upuparrows", +"⇉":"\\rightrightarrows", +"⇊":"\\downdownarrows", +"⇋":"\\leftrightharpoons", +"⇌":"\\rightleftharpoons", +"⇍":"\\nLeftarrow", +"⇎":"\\nLeftrightarrow", +"⇏":"\\nRightarrow", +"⇐":"\\Leftarrow", +"⇑":"\\Uparrow", +"⇒":"\\Rightarrow", +"⇓":"\\Downarrow", +"⇔":"\\Leftrightarrow", +"⇕":"\\Updownarrow", +"⇖":"\\Nwarrow", +"⇗":"\\Nearrow", +"⇘":"\\Searrow", +"⇙":"\\Swarrow", +"⇚":"\\Lleftarrow", +"⇛":"\\Rrightarrow", +"⇜":"\\leftsquigarrow", +"⇝":"\\rightsquigarrow", +"⇞":"\\nHuparrow", +"⇟":"\\nHdownarrow", +"⇠":"\\leftdasharrow", +"⇡":"\\updasharrow", +"⇢":"\\rightdasharrow", +"⇣":"\\downdasharrow", +"⇤":"\\barleftarrow", +"⇥":"\\rightarrowbar", +"⇦":"\\leftwhitearrow", +"⇧":"\\upwhitearrow", +"⇨":"\\rightwhitearrow", +"⇩":"\\downwhitearrow", +"⇪":"\\whitearrowupfrombar", +"⇴":"\\circleonrightarrow", +"⇵":"\\downuparrows", +"⇶":"\\rightthreearrows", +"⇷":"\\nvleftarrow", +"⇸":"\\nvrightarrow", +"⇹":"\\nvleftrightarrow", +"⇺":"\\nVleftarrow", +"⇻":"\\nVrightarrow", +"⇼":"\\nVleftrightarrow", +"⇽":"\\leftarrowtriangle", +"⇾":"\\rightarrowtriangle", +"⇿":"\\leftrightarrowtriangle", +"∀":"\\forall", +"∁":"\\complement", +"∂":"\\partial", +"∃":"\\exists", +"∄":"\\nexists", +"∅":"\\varnothing", +"∆":"\\increment", +"∇":"\\nabla", +"∈":"\\in", +"∉":"\\notin", +"∊":"\\smallin", +"∋":"\\ni", +"∌":"\\nni", +"∍":"\\smallni", +"∎":"\\QED", +"∏":"\\prod", +"∐":"\\coprod", +"∑":"\\sum", +"−":"\\minus", +"∓":"\\mp", +"∔":"\\dotplus", +"∕":"\\divslash", +"∖":"\\smallsetminus", +"∗":"\\ast", +"∘":"\\vysmwhtcircle", +"∙":"\\vysmblkcircle", +"√":"\\sqrt", +"√":"\\surd", +"∛":"\\cuberoot", +"∜":"\\fourthroot", +"∝":"\\propto", +"∞":"\\infty", +"∟":"\\rightangle", +"∠":"\\angle", +"∡":"\\measuredangle", +"∢":"\\sphericalangle", +"∣":"\\mid", +"∤":"\\nmid", +"∥":"\\parallel", +"∦":"\\nparallel", +"∧":"\\wedge", +"∨":"\\vee", +"∩":"\\cap", +"∪":"\\cup", +"∫":"\\int", +"∬":"\\iint", +"∭":"\\iiint", +"∮":"\\oint", +"∯":"\\oiint", +"∰":"\\oiiint", +"∱":"\\intclockwise", +"∲":"\\varointclockwise", +"∳":"\\ointctrclockwise", +"∴":"\\therefore", +"∵":"\\because", +"∶":"\\mathratio", +"∷":"\\Colon", +"∸":"\\dotminus", +"∹":"\\dashcolon", +"∺":"\\dotsminusdots", +"∻":"\\kernelcontraction", +"∼":"\\sim", +"∽":"\\backsim", +"∾":"\\invlazys", +"∿":"\\sinewave", +"≀":"\\wr", +"≁":"\\nsim", +"≂":"\\eqsim", +"≃":"\\simeq", +"≄":"\\nsime", +"≅":"\\cong", +"≆":"\\simneqq", +"≇":"\\ncong", +"≈":"\\approx", +"≉":"\\napprox", +"≊":"\\approxeq", +"≋":"\\approxident", +"≌":"\\backcong", +"≍":"\\asymp", +"≎":"\\Bumpeq", +"≏":"\\bumpeq", +"≐":"\\doteq", +"≑":"\\Doteq", +"≒":"\\fallingdotseq", +"≓":"\\risingdotseq", +"≔":"\\coloneqq", +"≕":"\\eqqcolon", +"≖":"\\eqcirc", +"≗":"\\circeq", +"≘":"\\arceq", +"≙":"\\wedgeq", +"≚":"\\veeeq", +"≛":"\\stareq", +"≜":"\\triangleq", +"≝":"\\eqdef", +"≞":"\\measeq", +"≟":"\\questeq", +"≠":"\\ne", +"≡":"\\equiv", +"≢":"\\nequiv", +"≣":"\\Equiv", +"≤":"\\leq", +"≤":"\\le", +"≥":"\\geq", +"≥":"\\ge", +"≦":"\\leqq", +"≧":"\\geqq", +"≨":"\\lneqq", +"≩":"\\gneqq", +"≪":"\\ll", +"≫":"\\gg", +"≬":"\\between", +"≭":"\\nasymp", +"≮":"\\nless", +"≯":"\\ngtr", +"≰":"\\nleq", +"≱":"\\ngeq", +"≲":"\\lesssim", +"≳":"\\gtrsim", +"≴":"\\nlesssim", +"≵":"\\ngtrsim", +"≶":"\\lessgtr", +"≷":"\\gtrless", +"≸":"\\nlessgtr", +"≹":"\\ngtrless", +"≺":"\\prec", +"≻":"\\succ", +"≼":"\\preccurlyeq", +"≽":"\\succcurlyeq", +"≾":"\\precsim", +"≿":"\\succsim", +"⊀":"\\nprec", +"⊁":"\\nsucc", +"⊂":"\\subset", +"⊃":"\\supset", +"⊄":"\\nsubset", +"⊅":"\\nsupset", +"⊆":"\\subseteq", +"⊇":"\\supseteq", +"⊈":"\\nsubseteq", +"⊉":"\\nsupseteq", +"⊊":"\\subsetneq", +"⊋":"\\supsetneq", +"⊌":"\\cupleftarrow", +"⊍":"\\cupdot", +"⊎":"\\uplus", +"⊏":"\\sqsubset", +"⊐":"\\sqsupset", +"⊑":"\\sqsubseteq", +"⊒":"\\sqsupseteq", +"⊓":"\\sqcap", +"⊔":"\\sqcup", +"⊕":"\\oplus", +"⊖":"\\ominus", +"⊗":"\\otimes", +"⊘":"\\oslash", +"⊙":"\\odot", +"⊚":"\\circledcirc", +"⊛":"\\circledast", +"⊜":"\\circledequal", +"⊝":"\\circleddash", +"⊞":"\\boxplus", +"⊟":"\\boxminus", +"⊠":"\\boxtimes", +"⊡":"\\boxdot", +"⊢":"\\vdash", +"⊣":"\\dashv", +"⊤":"\\top", +"⊥":"\\bot", +"⊦":"\\assert", +"⊧":"\\models", +"⊨":"\\vDash", +"⊩":"\\Vdash", +"⊪":"\\Vvdash", +"⊫":"\\VDash", +"⊬":"\\nvdash", +"⊭":"\\nvDash", +"⊮":"\\nVdash", +"⊯":"\\nVDash", +"⊰":"\\prurel", +"⊱":"\\scurel", +"⊲":"\\vartriangleleft", +"⊳":"\\vartriangleright", +"⊴":"\\trianglelefteq", +"⊵":"\\trianglerighteq", +"⊶":"\\origof", +"⊷":"\\imageof", +"⊸":"\\multimap", +"⊹":"\\hermitmatrix", +"⊺":"\\intercal", +"⊻":"\\veebar", +"⊼":"\\barwedge", +"⊽":"\\barvee", +"⊾":"\\measuredrightangle", +"⊿":"\\varlrtriangle", +"⋀":"\\bigwedge", +"⋁":"\\bigvee", +"⋂":"\\bigcap", +"⋃":"\\bigcup", +"⋄":"\\smwhtdiamond", +"⋅":"\\cdot", +"⋆":"\\star", +"⋇":"\\divideontimes", +"⋈":"\\bowtie", +"⋉":"\\ltimes", +"⋊":"\\rtimes", +"⋋":"\\leftthreetimes", +"⋌":"\\rightthreetimes", +"⋍":"\\backsimeq", +"⋎":"\\curlyvee", +"⋏":"\\curlywedge", +"⋐":"\\Subset", +"⋑":"\\Supset", +"⋒":"\\Cap", +"⋓":"\\Cup", +"⋔":"\\pitchfork", +"⋕":"\\equalparallel", +"⋖":"\\lessdot", +"⋗":"\\gtrdot", +"⋘":"\\lll", +"⋙":"\\ggg", +"⋚":"\\lesseqgtr", +"⋛":"\\gtreqless", +"⋜":"\\eqless", +"⋝":"\\eqgtr", +"⋞":"\\curlyeqprec", +"⋟":"\\curlyeqsucc", +"⋠":"\\npreccurlyeq", +"⋡":"\\nsucccurlyeq", +"⋢":"\\nsqsubseteq", +"⋣":"\\nsqsupseteq", +"⋤":"\\sqsubsetneq", +"⋥":"\\sqsupsetneq", +"⋦":"\\lnsim", +"⋧":"\\gnsim", +"⋨":"\\precnsim", +"⋩":"\\succnsim", +"⋪":"\\nvartriangleleft", +"⋫":"\\nvartriangleright", +"⋬":"\\ntrianglelefteq", +"⋭":"\\ntrianglerighteq", +"⋮":"\\vdots", +"⋯":"\\cdots", +"⋰":"\\iddots", +"⋱":"\\ddots", +"⋲":"\\disin", +"⋳":"\\varisins", +"⋴":"\\isins", +"⋵":"\\isindot", +"⋶":"\\varisinobar", +"⋷":"\\isinobar", +"⋸":"\\isinvb", +"⋹":"\\isinE", +"⋺":"\\nisd", +"⋻":"\\varnis", +"⋼":"\\nis", +"⋽":"\\varniobar", +"⋾":"\\niobar", +"⋿":"\\bagmember", +"⌀":"\\diameter", +"⌂":"\\house", +"⌅":"\\varbarwedge", +"⌆":"\\vardoublebarwedge", +"⌈":"\\lceil", +"⌉":"\\rceil", +"⌊":"\\lfloor", +"⌋":"\\rfloor", +"⌐":"\\invnot", +"⌑":"\\sqlozenge", +"⌒":"\\profline", +"⌓":"\\profsurf", +"⌗":"\\viewdata", +"⌙":"\\turnednot", +"⌜":"\\ulcorner", +"⌝":"\\urcorner", +"⌞":"\\llcorner", +"⌟":"\\lrcorner", +"⌠":"\\inttop", +"⌡":"\\intbottom", +"⌢":"\\frown", +"⌣":"\\smile", +"⌬":"\\varhexagonlrbonds", +"⌲":"\\conictaper", +"⌶":"\\topbot", +"⌽":"\\obar", +"⌿":"\\APLnotslash", +"⍀":"\\APLnotbackslash", +"⍓":"\\APLboxupcaret", +"⍰":"\\APLboxquestion", +"⍼":"\\rangledownzigzagarrow", +"⎔":"\\hexagon", +"⎛":"\\lparenuend", +"⎜":"\\lparenextender", +"⎝":"\\lparenlend", +"⎞":"\\rparenuend", +"⎟":"\\rparenextender", +"⎠":"\\rparenlend", +"⎡":"\\lbrackuend", +"⎢":"\\lbrackextender", +"⎣":"\\lbracklend", +"⎤":"\\rbrackuend", +"⎥":"\\rbrackextender", +"⎦":"\\rbracklend", +"⎧":"\\lbraceuend", +"⎨":"\\lbracemid", +"⎩":"\\lbracelend", +"⎪":"\\vbraceextender", +"⎫":"\\rbraceuend", +"⎬":"\\rbracemid", +"⎭":"\\rbracelend", +"⎮":"\\intextender", +"⎯":"\\harrowextender", +"⎰":"\\lmoustache", +"⎱":"\\rmoustache", +"⎲":"\\sumtop", +"⎳":"\\sumbottom", +"⎴":"\\overbracket", +"⎵":"\\underbracket", +"⎶":"\\bbrktbrk", +"⎷":"\\sqrtbottom", +"⎸":"\\lvboxline", +"⎹":"\\rvboxline", +"⏎":"\\varcarriagereturn", +"⏜":"\\overparen", +"⏝":"\\underparen", +"⏞":"\\overbrace", +"⏟":"\\underbrace", +"⏠":"\\obrbrak", +"⏡":"\\ubrbrak", +"⏢":"\\trapezium", +"⏣":"\\benzenr", +"⏤":"\\strns", +"⏥":"\\fltns", +"⏦":"\\accurrent", +"⏧":"\\elinters", +"␢":"\\blanksymbol", +"␣":"\\mathvisiblespace", +"┆":"\\bdtriplevdash", +"▀":"\\blockuphalf", +"▄":"\\blocklowhalf", +"█":"\\blockfull", +"▌":"\\blocklefthalf", +"▐":"\\blockrighthalf", +"░":"\\blockqtrshaded", +"▒":"\\blockhalfshaded", +"▓":"\\blockthreeqtrshaded", +"■":"\\mdlgblksquare", +"□":"\\mdlgwhtsquare", +"▢":"\\squoval", +"▣":"\\blackinwhitesquare", +"▤":"\\squarehfill", +"▥":"\\squarevfill", +"▦":"\\squarehvfill", +"▧":"\\squarenwsefill", +"▨":"\\squareneswfill", +"▩":"\\squarecrossfill", +"▪":"\\smblksquare", +"▫":"\\smwhtsquare", +"▬":"\\hrectangleblack", +"▭":"\\hrectangle", +"▮":"\\vrectangleblack", +"▯":"\\vrectangle", +"▰":"\\parallelogramblack", +"▱":"\\parallelogram", +"▲":"\\bigblacktriangleup", +"△":"\\bigtriangleup", +"▴":"\\blacktriangle", +"▵":"\\vartriangle", +"▶":"\\blacktriangleright", +"▷":"\\triangleright", +"▸":"\\smallblacktriangleright", +"▹":"\\smalltriangleright", +"►":"\\blackpointerright", +"▻":"\\whitepointerright", +"▼":"\\bigblacktriangledown", +"▽":"\\bigtriangledown", +"▾":"\\blacktriangledown", +"▿":"\\triangledown", +"◀":"\\blacktriangleleft", +"◁":"\\triangleleft", +"◂":"\\smallblacktriangleleft", +"◃":"\\smalltriangleleft", +"◄":"\\blackpointerleft", +"◅":"\\whitepointerleft", +"◆":"\\mdlgblkdiamond", +"◇":"\\mdlgwhtdiamond", +"◈":"\\blackinwhitediamond", +"◉":"\\fisheye", +"◊":"\\mdlgwhtlozenge", +"○":"\\mdlgwhtcircle", +"◌":"\\dottedcircle", +"◍":"\\circlevertfill", +"◎":"\\bullseye", +"●":"\\mdlgblkcircle", +"◐":"\\circlelefthalfblack", +"◑":"\\circlerighthalfblack", +"◒":"\\circlebottomhalfblack", +"◓":"\\circletophalfblack", +"◔":"\\circleurquadblack", +"◕":"\\blackcircleulquadwhite", +"◖":"\\blacklefthalfcircle", +"◗":"\\blackrighthalfcircle", +"◘":"\\inversebullet", +"◙":"\\inversewhitecircle", +"◚":"\\invwhiteupperhalfcircle", +"◛":"\\invwhitelowerhalfcircle", +"◜":"\\ularc", +"◝":"\\urarc", +"◞":"\\lrarc", +"◟":"\\llarc", +"◠":"\\topsemicircle", +"◡":"\\botsemicircle", +"◢":"\\lrblacktriangle", +"◣":"\\llblacktriangle", +"◤":"\\ulblacktriangle", +"◥":"\\urblacktriangle", +"◦":"\\smwhtcircle", +"◧":"\\squareleftblack", +"◨":"\\squarerightblack", +"◩":"\\squareulblack", +"◪":"\\squarelrblack", +"◫":"\\boxbar", +"◬":"\\trianglecdot", +"◭":"\\triangleleftblack", +"◮":"\\trianglerightblack", +"◯":"\\lgwhtcircle", +"◰":"\\squareulquad", +"◱":"\\squarellquad", +"◲":"\\squarelrquad", +"◳":"\\squareurquad", +"◴":"\\circleulquad", +"◵":"\\circlellquad", +"◶":"\\circlelrquad", +"◷":"\\circleurquad", +"◸":"\\ultriangle", +"◹":"\\urtriangle", +"◺":"\\lltriangle", +"◻":"\\mdwhtsquare", +"◼":"\\mdblksquare", +"◽":"\\mdsmwhtsquare", +"◾":"\\mdsmblksquare", +"◿":"\\lrtriangle", +"★":"\\bigstar", +"☆":"\\bigwhitestar", +"☉":"\\astrosun", +"☡":"\\danger", +"☻":"\\blacksmiley", +"☼":"\\sun", +"☽":"\\rightmoon", +"☾":"\\leftmoon", +"♀":"\\female", +"♂":"\\male", +"♠":"\\spadesuit", +"♡":"\\heartsuit", +"♢":"\\diamondsuit", +"♣":"\\clubsuit", +"♤":"\\varspadesuit", +"♥":"\\varheartsuit", +"♦":"\\vardiamondsuit", +"♧":"\\varclubsuit", +"♩":"\\quarternote", +"♪":"\\eighthnote", +"♫":"\\twonotes", +"♭":"\\flat", +"♮":"\\natural", +"♯":"\\sharp", +"♾":"\\acidfree", +"⚀":"\\dicei", +"⚁":"\\diceii", +"⚂":"\\diceiii", +"⚃":"\\diceiv", +"⚄":"\\dicev", +"⚅":"\\dicevi", +"⚆":"\\circledrightdot", +"⚇":"\\circledtwodots", +"⚈":"\\blackcircledrightdot", +"⚉":"\\blackcircledtwodots", +"⚥":"\\Hermaphrodite", +"⚪":"\\mdwhtcircle", +"⚫":"\\mdblkcircle", +"⚬":"\\mdsmwhtcircle", +"⚲":"\\neuter", +"✓":"\\checkmark", +"✠":"\\maltese", +"✪":"\\circledstar", +"✶":"\\varstar", +"✽":"\\dingasterisk", +"❲":"\\lbrbrak", +"❳":"\\rbrbrak", +"➛":"\\draftingarrow", +"⟀":"\\threedangle", +"⟁":"\\whiteinwhitetriangle", +"⟂":"\\perp", +"⟃":"\\subsetcirc", +"⟄":"\\supsetcirc", +"⟅":"\\lbag", +"⟆":"\\rbag", +"⟇":"\\veedot", +"⟈":"\\bsolhsub", +"⟉":"\\suphsol", +"⟌":"\\longdivision", +"⟐":"\\diamondcdot", +"⟑":"\\wedgedot", +"⟒":"\\upin", +"⟓":"\\pullback", +"⟔":"\\pushout", +"⟕":"\\leftouterjoin", +"⟖":"\\rightouterjoin", +"⟗":"\\fullouterjoin", +"⟘":"\\bigbot", +"⟙":"\\bigtop", +"⟚":"\\DashVDash", +"⟛":"\\dashVdash", +"⟜":"\\multimapinv", +"⟝":"\\vlongdash", +"⟞":"\\longdashv", +"⟟":"\\cirbot", +"⟠":"\\lozengeminus", +"⟡":"\\concavediamond", +"⟢":"\\concavediamondtickleft", +"⟣":"\\concavediamondtickright", +"⟤":"\\whitesquaretickleft", +"⟥":"\\whitesquaretickright", +"⟦":"\\lBrack", +"⟧":"\\rBrack", +"⟨":"\\langle", +"⟩":"\\rangle", +"⟪":"\\lAngle", +"⟫":"\\rAngle", +"⟬":"\\Lbrbrak", +"⟭":"\\Rbrbrak", +"⟮":"\\lgroup", +"⟯":"\\rgroup", +"⟰":"\\UUparrow", +"⟱":"\\DDownarrow", +"⟲":"\\acwgapcirclearrow", +"⟳":"\\cwgapcirclearrow", +"⟴":"\\rightarrowonoplus", +"⟵":"\\longleftarrow", +"⟶":"\\longrightarrow", +"⟷":"\\longleftrightarrow", +"⟸":"\\Longleftarrow", +"⟹":"\\Longrightarrow", +"⟺":"\\Longleftrightarrow", +"⟻":"\\longmapsfrom", +"⟼":"\\longmapsto", +"⟽":"\\Longmapsfrom", +"⟾":"\\Longmapsto", +"⟿":"\\longrightsquigarrow", +"⤀":"\\nvtwoheadrightarrow", +"⤁":"\\nVtwoheadrightarrow", +"⤂":"\\nvLeftarrow", +"⤃":"\\nvRightarrow", +"⤄":"\\nvLeftrightarrow", +"⤅":"\\twoheadmapsto", +"⤆":"\\Mapsfrom", +"⤇":"\\Mapsto", +"⤈":"\\downarrowbarred", +"⤉":"\\uparrowbarred", +"⤊":"\\Uuparrow", +"⤋":"\\Ddownarrow", +"⤌":"\\leftbkarrow", +"⤍":"\\rightbkarrow", +"⤎":"\\leftdbkarrow", +"⤏":"\\dbkarrow", +"⤐":"\\drbkarrow", +"⤑":"\\rightdotarrow", +"⤒":"\\baruparrow", +"⤓":"\\downarrowbar", +"⤔":"\\nvrightarrowtail", +"⤕":"\\nVrightarrowtail", +"⤖":"\\twoheadrightarrowtail", +"⤗":"\\nvtwoheadrightarrowtail", +"⤘":"\\nVtwoheadrightarrowtail", +"⤙":"\\lefttail", +"⤚":"\\righttail", +"⤛":"\\leftdbltail", +"⤜":"\\rightdbltail", +"⤝":"\\diamondleftarrow", +"⤞":"\\rightarrowdiamond", +"⤟":"\\diamondleftarrowbar", +"⤠":"\\barrightarrowdiamond", +"⤡":"\\nwsearrow", +"⤢":"\\neswarrow", +"⤣":"\\hknwarrow", +"⤤":"\\hknearrow", +"⤥":"\\hksearrow", +"⤦":"\\hkswarrow", +"⤧":"\\tona", +"⤨":"\\toea", +"⤩":"\\tosa", +"⤪":"\\towa", +"⤫":"\\rdiagovfdiag", +"⤬":"\\fdiagovrdiag", +"⤭":"\\seovnearrow", +"⤮":"\\neovsearrow", +"⤯":"\\fdiagovnearrow", +"⤰":"\\rdiagovsearrow", +"⤱":"\\neovnwarrow", +"⤲":"\\nwovnearrow", +"⤳":"\\rightcurvedarrow", +"⤴":"\\uprightcurvearrow", +"⤵":"\\downrightcurvedarrow", +"⤶":"\\leftdowncurvedarrow", +"⤷":"\\rightdowncurvedarrow", +"⤸":"\\cwrightarcarrow", +"⤹":"\\acwleftarcarrow", +"⤺":"\\acwoverarcarrow", +"⤻":"\\acwunderarcarrow", +"⤼":"\\curvearrowrightminus", +"⤽":"\\curvearrowleftplus", +"⤾":"\\cwundercurvearrow", +"⤿":"\\ccwundercurvearrow", +"⥀":"\\acwcirclearrow", +"⥁":"\\cwcirclearrow", +"⥂":"\\rightarrowshortleftarrow", +"⥃":"\\leftarrowshortrightarrow", +"⥄":"\\shortrightarrowleftarrow", +"⥅":"\\rightarrowplus", +"⥆":"\\leftarrowplus", +"⥇":"\\rightarrowx", +"⥈":"\\leftrightarrowcircle", +"⥉":"\\twoheaduparrowcircle", +"⥊":"\\leftrightharpoonupdown", +"⥋":"\\leftrightharpoondownup", +"⥌":"\\updownharpoonrightleft", +"⥍":"\\updownharpoonleftright", +"⥎":"\\leftrightharpoonupup", +"⥏":"\\updownharpoonrightright", +"⥐":"\\leftrightharpoondowndown", +"⥑":"\\updownharpoonleftleft", +"⥒":"\\barleftharpoonup", +"⥓":"\\rightharpoonupbar", +"⥔":"\\barupharpoonright", +"⥕":"\\downharpoonrightbar", +"⥖":"\\barleftharpoondown", +"⥗":"\\rightharpoondownbar", +"⥘":"\\barupharpoonleft", +"⥙":"\\downharpoonleftbar", +"⥚":"\\leftharpoonupbar", +"⥛":"\\barrightharpoonup", +"⥜":"\\upharpoonrightbar", +"⥝":"\\bardownharpoonright", +"⥞":"\\leftharpoondownbar", +"⥟":"\\barrightharpoondown", +"⥠":"\\upharpoonleftbar", +"⥡":"\\bardownharpoonleft", +"⥢":"\\leftharpoonsupdown", +"⥣":"\\upharpoonsleftright", +"⥤":"\\rightharpoonsupdown", +"⥥":"\\downharpoonsleftright", +"⥦":"\\leftrightharpoonsup", +"⥧":"\\leftrightharpoonsdown", +"⥨":"\\rightleftharpoonsup", +"⥩":"\\rightleftharpoonsdown", +"⥪":"\\leftharpoonupdash", +"⥫":"\\dashleftharpoondown", +"⥬":"\\rightharpoonupdash", +"⥭":"\\dashrightharpoondown", +"⥮":"\\updownharpoonsleftright", +"⥯":"\\downupharpoonsleftright", +"⥰":"\\rightimply", +"⥱":"\\equalrightarrow", +"⥲":"\\similarrightarrow", +"⥳":"\\leftarrowsimilar", +"⥴":"\\rightarrowsimilar", +"⥵":"\\rightarrowapprox", +"⥶":"\\ltlarr", +"⥷":"\\leftarrowless", +"⥸":"\\gtrarr", +"⥹":"\\subrarr", +"⥺":"\\leftarrowsubset", +"⥻":"\\suplarr", +"⥼":"\\leftfishtail", +"⥽":"\\rightfishtail", +"⥾":"\\upfishtail", +"⥿":"\\downfishtail", +"⦀":"\\Vvert", +"⦁":"\\mdsmblkcircle", +"⦂":"\\typecolon", +"⦃":"\\lBrace", +"⦄":"\\rBrace", +"⦅":"\\lParen", +"⦆":"\\rParen", +"⦇":"\\llparenthesis", +"⦈":"\\rrparenthesis", +"⦉":"\\llangle", +"⦊":"\\rrangle", +"⦋":"\\lbrackubar", +"⦌":"\\rbrackubar", +"⦍":"\\lbrackultick", +"⦎":"\\rbracklrtick", +"⦏":"\\lbracklltick", +"⦐":"\\rbrackurtick", +"⦑":"\\langledot", +"⦒":"\\rangledot", +"⦓":"\\lparenless", +"⦔":"\\rparengtr", +"⦕":"\\Lparengtr", +"⦖":"\\Rparenless", +"⦗":"\\lblkbrbrak", +"⦘":"\\rblkbrbrak", +"⦙":"\\fourvdots", +"⦚":"\\vzigzag", +"⦛":"\\measuredangleleft", +"⦜":"\\rightanglesqr", +"⦝":"\\rightanglemdot", +"⦞":"\\angles", +"⦟":"\\angdnr", +"⦠":"\\gtlpar", +"⦡":"\\sphericalangleup", +"⦢":"\\turnangle", +"⦣":"\\revangle", +"⦤":"\\angleubar", +"⦥":"\\revangleubar", +"⦦":"\\wideangledown", +"⦧":"\\wideangleup", +"⦨":"\\measanglerutone", +"⦩":"\\measanglelutonw", +"⦪":"\\measanglerdtose", +"⦫":"\\measangleldtosw", +"⦬":"\\measangleurtone", +"⦭":"\\measangleultonw", +"⦮":"\\measangledrtose", +"⦯":"\\measangledltosw", +"⦰":"\\revemptyset", +"⦱":"\\emptysetobar", +"⦲":"\\emptysetocirc", +"⦳":"\\emptysetoarr", +"⦴":"\\emptysetoarrl", +"⦵":"\\circlehbar", +"⦶":"\\circledvert", +"⦷":"\\circledparallel", +"⦸":"\\obslash", +"⦹":"\\operp", +"⦺":"\\obot", +"⦻":"\\olcross", +"⦼":"\\odotslashdot", +"⦽":"\\uparrowoncircle", +"⦾":"\\circledwhitebullet", +"⦿":"\\circledbullet", +"⧀":"\\olessthan", +"⧁":"\\ogreaterthan", +"⧂":"\\cirscir", +"⧃":"\\cirE", +"⧄":"\\boxdiag", +"⧅":"\\boxbslash", +"⧆":"\\boxast", +"⧇":"\\boxcircle", +"⧈":"\\boxbox", +"⧉":"\\boxonbox", +"⧊":"\\triangleodot", +"⧋":"\\triangleubar", +"⧌":"\\triangles", +"⧍":"\\triangleserifs", +"⧎":"\\rtriltri", +"⧏":"\\ltrivb", +"⧐":"\\vbrtri", +"⧑":"\\lfbowtie", +"⧒":"\\rfbowtie", +"⧓":"\\fbowtie", +"⧔":"\\lftimes", +"⧕":"\\rftimes", +"⧖":"\\hourglass", +"⧗":"\\blackhourglass", +"⧘":"\\lvzigzag", +"⧙":"\\rvzigzag", +"⧚":"\\Lvzigzag", +"⧛":"\\Rvzigzag", +"⧜":"\\iinfin", +"⧝":"\\tieinfty", +"⧞":"\\nvinfty", +"⧟":"\\dualmap", +"⧠":"\\laplac", +"⧡":"\\lrtriangleeq", +"⧢":"\\shuffle", +"⧣":"\\eparsl", +"⧤":"\\smeparsl", +"⧥":"\\eqvparsl", +"⧦":"\\gleichstark", +"⧧":"\\thermod", +"⧨":"\\downtriangleleftblack", +"⧩":"\\downtrianglerightblack", +"⧪":"\\blackdiamonddownarrow", +"⧫":"\\mdlgblklozenge", +"⧬":"\\circledownarrow", +"⧭":"\\blackcircledownarrow", +"⧮":"\\errbarsquare", +"⧯":"\\errbarblacksquare", +"⧰":"\\errbardiamond", +"⧱":"\\errbarblackdiamond", +"⧲":"\\errbarcircle", +"⧳":"\\errbarblackcircle", +"⧴":"\\ruledelayed", +"⧵":"\\setminus", +"⧶":"\\dsol", +"⧷":"\\rsolbar", +"⧸":"\\xsol", +"⧹":"\\xbsol", +"⧺":"\\doubleplus", +"⧻":"\\tripleplus", +"⧼":"\\lcurvyangle", +"⧽":"\\rcurvyangle", +"⧾":"\\tplus", +"⧿":"\\tminus", +"⨀":"\\bigodot", +"⨁":"\\bigoplus", +"⨂":"\\bigotimes", +"⨃":"\\bigcupdot", +"⨄":"\\biguplus", +"⨅":"\\bigsqcap", +"⨆":"\\bigsqcup", +"⨇":"\\conjquant", +"⨈":"\\disjquant", +"⨉":"\\bigtimes", +"⨊":"\\modtwosum", +"⨋":"\\sumint", +"⨌":"\\iiiint", +"⨍":"\\intbar", +"⨎":"\\intBar", +"⨏":"\\fint", +"⨐":"\\cirfnint", +"⨑":"\\awint", +"⨒":"\\rppolint", +"⨓":"\\scpolint", +"⨔":"\\npolint", +"⨕":"\\pointint", +"⨖":"\\sqint", +"⨗":"\\intlarhk", +"⨘":"\\intx", +"⨙":"\\intcap", +"⨚":"\\intcup", +"⨛":"\\upint", +"⨜":"\\lowint", +"⨝":"\\Join", +"⨞":"\\bigtriangleleft", +"⨟":"\\zcmp", +"⨠":"\\zpipe", +"⨡":"\\zproject", +"⨢":"\\ringplus", +"⨣":"\\plushat", +"⨤":"\\simplus", +"⨥":"\\plusdot", +"⨦":"\\plussim", +"⨧":"\\plussubtwo", +"⨨":"\\plustrif", +"⨩":"\\commaminus", +"⨪":"\\minusdot", +"⨫":"\\minusfdots", +"⨬":"\\minusrdots", +"⨭":"\\opluslhrim", +"⨮":"\\oplusrhrim", +"⨯":"\\vectimes", +"⨰":"\\dottimes", +"⨱":"\\timesbar", +"⨲":"\\btimes", +"⨳":"\\smashtimes", +"⨴":"\\otimeslhrim", +"⨵":"\\otimesrhrim", +"⨶":"\\otimeshat", +"⨷":"\\Otimes", +"⨸":"\\odiv", +"⨹":"\\triangleplus", +"⨺":"\\triangleminus", +"⨻":"\\triangletimes", +"⨼":"\\intprod", +"⨽":"\\intprodr", +"⨾":"\\fcmp", +"⨿":"\\amalg", +"⩀":"\\capdot", +"⩁":"\\uminus", +"⩂":"\\barcup", +"⩃":"\\barcap", +"⩄":"\\capwedge", +"⩅":"\\cupvee", +"⩆":"\\cupovercap", +"⩇":"\\capovercup", +"⩈":"\\cupbarcap", +"⩉":"\\capbarcup", +"⩊":"\\twocups", +"⩋":"\\twocaps", +"⩌":"\\closedvarcup", +"⩍":"\\closedvarcap", +"⩎":"\\Sqcap", +"⩏":"\\Sqcup", +"⩐":"\\closedvarcupsmashprod", +"⩑":"\\wedgeodot", +"⩒":"\\veeodot", +"⩓":"\\Wedge", +"⩔":"\\Vee", +"⩕":"\\wedgeonwedge", +"⩖":"\\veeonvee", +"⩗":"\\bigslopedvee", +"⩘":"\\bigslopedwedge", +"⩙":"\\veeonwedge", +"⩚":"\\wedgemidvert", +"⩛":"\\veemidvert", +"⩜":"\\midbarwedge", +"⩝":"\\midbarvee", +"⩞":"\\doublebarwedge", +"⩟":"\\wedgebar", +"⩠":"\\wedgedoublebar", +"⩡":"\\varveebar", +"⩢":"\\doublebarvee", +"⩣":"\\veedoublebar", +"⩤":"\\dsub", +"⩥":"\\rsub", +"⩦":"\\eqdot", +"⩧":"\\dotequiv", +"⩨":"\\equivVert", +"⩩":"\\equivVvert", +"⩪":"\\dotsim", +"⩫":"\\simrdots", +"⩬":"\\simminussim", +"⩭":"\\congdot", +"⩮":"\\asteq", +"⩯":"\\hatapprox", +"⩰":"\\approxeqq", +"⩱":"\\eqqplus", +"⩲":"\\pluseqq", +"⩳":"\\eqqsim", +"⩴":"\\Coloneq", +"⩵":"\\eqeq", +"⩶":"\\eqeqeq", +"⩷":"\\ddotseq", +"⩸":"\\equivDD", +"⩹":"\\ltcir", +"⩺":"\\gtcir", +"⩻":"\\ltquest", +"⩼":"\\gtquest", +"⩽":"\\leqslant", +"⩾":"\\geqslant", +"⩿":"\\lesdot", +"⪀":"\\gesdot", +"⪁":"\\lesdoto", +"⪂":"\\gesdoto", +"⪃":"\\lesdotor", +"⪄":"\\gesdotol", +"⪅":"\\lessapprox", +"⪆":"\\gtrapprox", +"⪇":"\\lneq", +"⪈":"\\gneq", +"⪉":"\\lnapprox", +"⪊":"\\gnapprox", +"⪋":"\\lesseqqgtr", +"⪌":"\\gtreqqless", +"⪍":"\\lsime", +"⪎":"\\gsime", +"⪏":"\\lsimg", +"⪐":"\\gsiml", +"⪑":"\\lgE", +"⪒":"\\glE", +"⪓":"\\lesges", +"⪔":"\\gesles", +"⪕":"\\eqslantless", +"⪖":"\\eqslantgtr", +"⪗":"\\elsdot", +"⪘":"\\egsdot", +"⪙":"\\eqqless", +"⪚":"\\eqqgtr", +"⪛":"\\eqqslantless", +"⪜":"\\eqqslantgtr", +"⪝":"\\simless", +"⪞":"\\simgtr", +"⪟":"\\simlE", +"⪠":"\\simgE", +"⪡":"\\Lt", +"⪢":"\\Gt", +"⪣":"\\partialmeetcontraction", +"⪤":"\\glj", +"⪥":"\\gla", +"⪦":"\\ltcc", +"⪧":"\\gtcc", +"⪨":"\\lescc", +"⪩":"\\gescc", +"⪪":"\\smt", +"⪫":"\\lat", +"⪬":"\\smte", +"⪭":"\\late", +"⪮":"\\bumpeqq", +"⪯":"\\preceq", +"⪰":"\\succeq", +"⪱":"\\precneq", +"⪲":"\\succneq", +"⪳":"\\preceqq", +"⪴":"\\succeqq", +"⪵":"\\precneqq", +"⪶":"\\succneqq", +"⪷":"\\precapprox", +"⪸":"\\succapprox", +"⪹":"\\precnapprox", +"⪺":"\\succnapprox", +"⪻":"\\Prec", +"⪼":"\\Succ", +"⪽":"\\subsetdot", +"⪾":"\\supsetdot", +"⪿":"\\subsetplus", +"⫀":"\\supsetplus", +"⫁":"\\submult", +"⫂":"\\supmult", +"⫃":"\\subedot", +"⫄":"\\supedot", +"⫅":"\\subseteqq", +"⫆":"\\supseteqq", +"⫇":"\\subsim", +"⫈":"\\supsim", +"⫉":"\\subsetapprox", +"⫊":"\\supsetapprox", +"⫋":"\\subsetneqq", +"⫌":"\\supsetneqq", +"⫍":"\\lsqhook", +"⫎":"\\rsqhook", +"⫏":"\\csub", +"⫐":"\\csup", +"⫑":"\\csube", +"⫒":"\\csupe", +"⫓":"\\subsup", +"⫔":"\\supsub", +"⫕":"\\subsub", +"⫖":"\\supsup", +"⫗":"\\suphsub", +"⫘":"\\supdsub", +"⫙":"\\forkv", +"⫚":"\\topfork", +"⫛":"\\mlcp", +"⫝̸":"\\forks", +"⫝":"\\forksnot", +"⫞":"\\shortlefttack", +"⫟":"\\shortdowntack", +"⫠":"\\shortuptack", +"⫡":"\\perps", +"⫢":"\\vDdash", +"⫣":"\\dashV", +"⫤":"\\Dashv", +"⫥":"\\DashV", +"⫦":"\\varVdash", +"⫧":"\\Barv", +"⫨":"\\vBar", +"⫩":"\\vBarv", +"⫪":"\\barV", +"⫫":"\\Vbar", +"⫬":"\\Not", +"⫭":"\\bNot", +"⫮":"\\revnmid", +"⫯":"\\cirmid", +"⫰":"\\midcir", +"⫱":"\\topcir", +"⫲":"\\nhpar", +"⫳":"\\parsim", +"⫴":"\\interleave", +"⫵":"\\nhVvert", +"⫶":"\\threedotcolon", +"⫷":"\\lllnest", +"⫸":"\\gggnest", +"⫹":"\\leqqslant", +"⫺":"\\geqqslant", +"⫻":"\\trslash", +"⫼":"\\biginterleave", +"⫽":"\\sslash", +"⫾":"\\talloblong", +"⫿":"\\bigtalloblong", +"⬒":"\\squaretopblack", +"⬓":"\\squarebotblack", +"⬔":"\\squareurblack", +"⬕":"\\squarellblack", +"⬖":"\\diamondleftblack", +"⬗":"\\diamondrightblack", +"⬘":"\\diamondtopblack", +"⬙":"\\diamondbotblack", +"⬚":"\\dottedsquare", +"⬛":"\\lgblksquare", +"⬜":"\\lgwhtsquare", +"⬝":"\\vysmblksquare", +"⬞":"\\vysmwhtsquare", +"⬟":"\\pentagonblack", +"⬠":"\\pentagon", +"⬡":"\\varhexagon", +"⬢":"\\varhexagonblack", +"⬣":"\\hexagonblack", +"⬤":"\\lgblkcircle", +"⬥":"\\mdblkdiamond", +"⬦":"\\mdwhtdiamond", +"⬧":"\\mdblklozenge", +"⬨":"\\mdwhtlozenge", +"⬩":"\\smblkdiamond", +"⬪":"\\smblklozenge", +"⬫":"\\smwhtlozenge", +"⬬":"\\blkhorzoval", +"⬭":"\\whthorzoval", +"⬮":"\\blkvertoval", +"⬯":"\\whtvertoval", +"⬰":"\\circleonleftarrow", +"⬱":"\\leftthreearrows", +"⬲":"\\leftarrowonoplus", +"⬳":"\\longleftsquigarrow", +"⬴":"\\nvtwoheadleftarrow", +"⬵":"\\nVtwoheadleftarrow", +"⬶":"\\twoheadmapsfrom", +"⬷":"\\twoheadleftdbkarrow", +"⬸":"\\leftdotarrow", +"⬹":"\\nvleftarrowtail", +"⬺":"\\nVleftarrowtail", +"⬻":"\\twoheadleftarrowtail", +"⬼":"\\nvtwoheadleftarrowtail", +"⬽":"\\nVtwoheadleftarrowtail", +"⬾":"\\leftarrowx", +"⬿":"\\leftcurvedarrow", +"⭀":"\\equalleftarrow", +"⭁":"\\bsimilarleftarrow", +"⭂":"\\leftarrowbackapprox", +"⭃":"\\rightarrowgtr", +"⭄":"\\rightarrowsupset", +"⭅":"\\LLeftarrow", +"⭆":"\\RRightarrow", +"⭇":"\\bsimilarrightarrow", +"⭈":"\\rightarrowbackapprox", +"⭉":"\\similarleftarrow", +"⭊":"\\leftarrowapprox", +"⭋":"\\leftarrowbsimilar", +"⭌":"\\rightarrowbsimilar", +"⭐":"\\medwhitestar", +"⭑":"\\medblackstar", +"⭒":"\\smwhitestar", +"⭓":"\\rightpentagonblack", +"⭔":"\\rightpentagon", +"〒":"\\postalmark", +"〰":"\\hzigzag", +"𝐀":"\\mathbf{A}", +"𝐁":"\\mathbf{B}", +"𝐂":"\\mathbf{C}", +"𝐃":"\\mathbf{D}", +"𝐄":"\\mathbf{E}", +"𝐅":"\\mathbf{F}", +"𝐆":"\\mathbf{G}", +"𝐇":"\\mathbf{H}", +"𝐈":"\\mathbf{I}", +"𝐉":"\\mathbf{J}", +"𝐊":"\\mathbf{K}", +"𝐋":"\\mathbf{L}", +"𝐌":"\\mathbf{M}", +"𝐍":"\\mathbf{N}", +"𝐎":"\\mathbf{O}", +"𝐏":"\\mathbf{P}", +"𝐐":"\\mathbf{Q}", +"𝐑":"\\mathbf{R}", +"𝐒":"\\mathbf{S}", +"𝐓":"\\mathbf{T}", +"𝐔":"\\mathbf{U}", +"𝐕":"\\mathbf{V}", +"𝐖":"\\mathbf{W}", +"𝐗":"\\mathbf{X}", +"𝐘":"\\mathbf{Y}", +"𝐙":"\\mathbf{Z}", +"𝐚":"\\mathbf{a}", +"𝐛":"\\mathbf{b}", +"𝐜":"\\mathbf{c}", +"𝐝":"\\mathbf{d}", +"𝐞":"\\mathbf{e}", +"𝐟":"\\mathbf{f}", +"𝐠":"\\mathbf{g}", +"𝐡":"\\mathbf{h}", +"𝐢":"\\mathbf{i}", +"𝐣":"\\mathbf{j}", +"𝐤":"\\mathbf{k}", +"𝐥":"\\mathbf{l}", +"𝐦":"\\mathbf{m}", +"𝐧":"\\mathbf{n}", +"𝐨":"\\mathbf{o}", +"𝐩":"\\mathbf{p}", +"𝐪":"\\mathbf{q}", +"𝐫":"\\mathbf{r}", +"𝐬":"\\mathbf{s}", +"𝐭":"\\mathbf{t}", +"𝐮":"\\mathbf{u}", +"𝐯":"\\mathbf{v}", +"𝐰":"\\mathbf{w}", +"𝐱":"\\mathbf{x}", +"𝐲":"\\mathbf{y}", +"𝐳":"\\mathbf{z}", +"𝐴":"\\mathit{A}", +"𝐵":"\\mathit{B}", +"𝐶":"\\mathit{C}", +"𝐷":"\\mathit{D}", +"𝐸":"\\mathit{E}", +"𝐹":"\\mathit{F}", +"𝐺":"\\mathit{G}", +"𝐻":"\\mathit{H}", +"𝐼":"\\mathit{I}", +"𝐽":"\\mathit{J}", +"𝐾":"\\mathit{K}", +"𝐿":"\\mathit{L}", +"𝑀":"\\mathit{M}", +"𝑁":"\\mathit{N}", +"𝑂":"\\mathit{O}", +"𝑃":"\\mathit{P}", +"𝑄":"\\mathit{Q}", +"𝑅":"\\mathit{R}", +"𝑆":"\\mathit{S}", +"𝑇":"\\mathit{T}", +"𝑈":"\\mathit{U}", +"𝑉":"\\mathit{V}", +"𝑊":"\\mathit{W}", +"𝑋":"\\mathit{X}", +"𝑌":"\\mathit{Y}", +"𝑍":"\\mathit{Z}", +"𝑎":"\\mathit{a}", +"𝑏":"\\mathit{b}", +"𝑐":"\\mathit{c}", +"𝑑":"\\mathit{d}", +"𝑒":"\\mathit{e}", +"𝑓":"\\mathit{f}", +"𝑔":"\\mathit{g}", +"𝑖":"\\mathit{i}", +"𝑗":"\\mathit{j}", +"𝑘":"\\mathit{k}", +"𝑙":"\\mathit{l}", +"𝑚":"\\mathit{m}", +"𝑛":"\\mathit{n}", +"𝑜":"\\mathit{o}", +"𝑝":"\\mathit{p}", +"𝑞":"\\mathit{q}", +"𝑟":"\\mathit{r}", +"𝑠":"\\mathit{s}", +"𝑡":"\\mathit{t}", +"𝑢":"\\mathit{u}", +"𝑣":"\\mathit{v}", +"𝑤":"\\mathit{w}", +"𝑥":"\\mathit{x}", +"𝑦":"\\mathit{y}", +"𝑧":"\\mathit{z}", +"𝑨":"\\bm{A}", +"𝑩":"\\bm{B}", +"𝑪":"\\bm{C}", +"𝑫":"\\bm{D}", +"𝑬":"\\bm{E}", +"𝑭":"\\bm{F}", +"𝑮":"\\bm{G}", +"𝑯":"\\bm{H}", +"𝑰":"\\bm{I}", +"𝑱":"\\bm{J}", +"𝑲":"\\bm{K}", +"𝑳":"\\bm{L}", +"𝑴":"\\bm{M}", +"𝑵":"\\bm{N}", +"𝑶":"\\bm{O}", +"𝑷":"\\bm{P}", +"𝑸":"\\bm{Q}", +"𝑹":"\\bm{R}", +"𝑺":"\\bm{S}", +"𝑻":"\\bm{T}", +"𝑼":"\\bm{U}", +"𝑽":"\\bm{V}", +"𝑾":"\\bm{W}", +"𝑿":"\\bm{X}", +"𝒀":"\\bm{Y}", +"𝒁":"\\bm{Z}", +"𝒂":"\\bm{a}", +"𝒃":"\\bm{b}", +"𝒄":"\\bm{c}", +"𝒅":"\\bm{d}", +"𝒆":"\\bm{e}", +"𝒇":"\\bm{f}", +"𝒈":"\\bm{g}", +"𝒉":"\\bm{h}", +"𝒊":"\\bm{i}", +"𝒋":"\\bm{j}", +"𝒌":"\\bm{k}", +"𝒍":"\\bm{l}", +"𝒎":"\\bm{m}", +"𝒏":"\\bm{n}", +"𝒐":"\\bm{o}", +"𝒑":"\\bm{p}", +"𝒒":"\\bm{q}", +"𝒓":"\\bm{r}", +"𝒔":"\\bm{s}", +"𝒕":"\\bm{t}", +"𝒖":"\\bm{u}", +"𝒗":"\\bm{v}", +"𝒘":"\\bm{w}", +"𝒙":"\\bm{x}", +"𝒚":"\\bm{y}", +"𝒛":"\\bm{z}", +"𝒜":"\\mathcal{A}", +"𝒞":"\\mathcal{C}", +"𝒟":"\\mathcal{D}", +"𝒢":"\\mathcal{G}", +"𝒥":"\\mathcal{J}", +"𝒦":"\\mathcal{K}", +"𝒩":"\\mathcal{N}", +"𝒪":"\\mathcal{O}", +"𝒫":"\\mathcal{P}", +"𝒬":"\\mathcal{Q}", +"𝒮":"\\mathcal{S}", +"𝒯":"\\mathcal{T}", +"𝒰":"\\mathcal{U}", +"𝒱":"\\mathcal{V}", +"𝒲":"\\mathcal{W}", +"𝒳":"\\mathcal{X}", +"𝒴":"\\mathcal{Y}", +"𝒵":"\\mathcal{Z}", +"𝒶":"\\mathcal{a}", +"𝒷":"\\mathcal{b}", +"𝒸":"\\mathcal{c}", +"𝒹":"\\mathcal{d}", +"𝒻":"\\mathcal{f}", +"𝒽":"\\mathcal{h}", +"𝒾":"\\mathcal{i}", +"𝒿":"\\mathcal{j}", +"𝓀":"\\mathcal{k}", +"𝓁":"\\mathcal{l}", +"𝓂":"\\mathcal{m}", +"𝓃":"\\mathcal{n}", +"𝓅":"\\mathcal{p}", +"𝓆":"\\mathcal{q}", +"𝓇":"\\mathcal{r}", +"𝓈":"\\mathcal{s}", +"𝓉":"\\mathcal{t}", +"𝓊":"\\mathcal{u}", +"𝓋":"\\mathcal{v}", +"𝓌":"\\mathcal{w}", +"𝓍":"\\mathcal{x}", +"𝓎":"\\mathcal{y}", +"𝓏":"\\mathcal{z}", +"𝓐":"\\bm{\\mathcal{A}}", +"𝓑":"\\bm{\\mathcal{B}}", +"𝓒":"\\bm{\\mathcal{C}}", +"𝓓":"\\bm{\\mathcal{D}}", +"𝓔":"\\bm{\\mathcal{E}}", +"𝓕":"\\bm{\\mathcal{F}}", +"𝓖":"\\bm{\\mathcal{G}}", +"𝓗":"\\bm{\\mathcal{H}}", +"𝓘":"\\bm{\\mathcal{I}}", +"𝓙":"\\bm{\\mathcal{J}}", +"𝓚":"\\bm{\\mathcal{K}}", +"𝓛":"\\bm{\\mathcal{L}}", +"𝓜":"\\bm{\\mathcal{M}}", +"𝓝":"\\bm{\\mathcal{N}}", +"𝓞":"\\bm{\\mathcal{O}}", +"𝓟":"\\bm{\\mathcal{P}}", +"𝓠":"\\bm{\\mathcal{Q}}", +"𝓡":"\\bm{\\mathcal{R}}", +"𝓢":"\\bm{\\mathcal{S}}", +"𝓣":"\\bm{\\mathcal{T}}", +"𝓤":"\\bm{\\mathcal{U}}", +"𝓥":"\\bm{\\mathcal{V}}", +"𝓦":"\\bm{\\mathcal{W}}", +"𝓧":"\\bm{\\mathcal{X}}", +"𝓨":"\\bm{\\mathcal{Y}}", +"𝓩":"\\bm{\\mathcal{Z}}", +"𝓪":"\\bm{\\mathcal{a}}", +"𝓫":"\\bm{\\mathcal{b}}", +"𝓬":"\\bm{\\mathcal{c}}", +"𝓭":"\\bm{\\mathcal{d}}", +"𝓮":"\\bm{\\mathcal{e}}", +"𝓯":"\\bm{\\mathcal{f}}", +"𝓰":"\\bm{\\mathcal{g}}", +"𝓱":"\\bm{\\mathcal{h}}", +"𝓲":"\\bm{\\mathcal{i}}", +"𝓳":"\\bm{\\mathcal{j}}", +"𝓴":"\\bm{\\mathcal{k}}", +"𝓵":"\\bm{\\mathcal{l}}", +"𝓶":"\\bm{\\mathcal{m}}", +"𝓷":"\\bm{\\mathcal{n}}", +"𝓸":"\\bm{\\mathcal{o}}", +"𝓹":"\\bm{\\mathcal{p}}", +"𝓺":"\\bm{\\mathcal{q}}", +"𝓻":"\\bm{\\mathcal{r}}", +"𝓼":"\\bm{\\mathcal{s}}", +"𝓽":"\\bm{\\mathcal{t}}", +"𝓾":"\\bm{\\mathcal{u}}", +"𝓿":"\\bm{\\mathcal{v}}", +"𝔀":"\\bm{\\mathcal{w}}", +"𝔁":"\\bm{\\mathcal{x}}", +"𝔂":"\\bm{\\mathcal{y}}", +"𝔃":"\\bm{\\mathcal{z}}", +"𝔄":"\\mathfrak{A}", +"𝔅":"\\mathfrak{B}", +"𝔇":"\\mathfrak{D}", +"𝔈":"\\mathfrak{E}", +"𝔉":"\\mathfrak{F}", +"𝔊":"\\mathfrak{G}", +"𝔍":"\\mathfrak{J}", +"𝔎":"\\mathfrak{K}", +"𝔏":"\\mathfrak{L}", +"𝔐":"\\mathfrak{M}", +"𝔑":"\\mathfrak{N}", +"𝔒":"\\mathfrak{O}", +"𝔓":"\\mathfrak{P}", +"𝔔":"\\mathfrak{Q}", +"𝔖":"\\mathfrak{S}", +"𝔗":"\\mathfrak{T}", +"𝔘":"\\mathfrak{U}", +"𝔙":"\\mathfrak{V}", +"𝔚":"\\mathfrak{W}", +"𝔛":"\\mathfrak{X}", +"𝔜":"\\mathfrak{Y}", +"𝔞":"\\mathfrak{a}", +"𝔟":"\\mathfrak{b}", +"𝔠":"\\mathfrak{c}", +"𝔡":"\\mathfrak{d}", +"𝔢":"\\mathfrak{e}", +"𝔣":"\\mathfrak{f}", +"𝔤":"\\mathfrak{g}", +"𝔥":"\\mathfrak{h}", +"𝔦":"\\mathfrak{i}", +"𝔧":"\\mathfrak{j}", +"𝔨":"\\mathfrak{k}", +"𝔩":"\\mathfrak{l}", +"𝔪":"\\mathfrak{m}", +"𝔫":"\\mathfrak{n}", +"𝔬":"\\mathfrak{o}", +"𝔭":"\\mathfrak{p}", +"𝔮":"\\mathfrak{q}", +"𝔯":"\\mathfrak{r}", +"𝔰":"\\mathfrak{s}", +"𝔱":"\\mathfrak{t}", +"𝔲":"\\mathfrak{u}", +"𝔳":"\\mathfrak{v}", +"𝔴":"\\mathfrak{w}", +"𝔵":"\\mathfrak{x}", +"𝔶":"\\mathfrak{y}", +"𝔷":"\\mathfrak{z}", +"𝔸":"\\mathbb{A}", +"𝔹":"\\mathbb{B}", +"𝔻":"\\mathbb{D}", +"𝔼":"\\mathbb{E}", +"𝔽":"\\mathbb{F}", +"𝔾":"\\mathbb{G}", +"𝕀":"\\mathbb{I}", +"𝕁":"\\mathbb{J}", +"𝕂":"\\mathbb{K}", +"𝕃":"\\mathbb{L}", +"𝕄":"\\mathbb{M}", +"𝕆":"\\mathbb{O}", +"𝕊":"\\mathbb{S}", +"𝕋":"\\mathbb{T}", +"𝕌":"\\mathbb{U}", +"𝕍":"\\mathbb{V}", +"𝕎":"\\mathbb{W}", +"𝕏":"\\mathbb{X}", +"𝕐":"\\mathbb{Y}", +"𝕒":"\\mathbb{a}", +"𝕓":"\\mathbb{b}", +"𝕔":"\\mathbb{c}", +"𝕕":"\\mathbb{d}", +"𝕖":"\\mathbb{e}", +"𝕗":"\\mathbb{f}", +"𝕘":"\\mathbb{g}", +"𝕙":"\\mathbb{h}", +"𝕚":"\\mathbb{i}", +"𝕛":"\\mathbb{j}", +"𝕜":"\\mathbb{k}", +"𝕝":"\\mathbb{l}", +"𝕞":"\\mathbb{m}", +"𝕟":"\\mathbb{n}", +"𝕠":"\\mathbb{o}", +"𝕡":"\\mathbb{p}", +"𝕢":"\\mathbb{q}", +"𝕣":"\\mathbb{r}", +"𝕤":"\\mathbb{s}", +"𝕥":"\\mathbb{t}", +"𝕦":"\\mathbb{u}", +"𝕧":"\\mathbb{v}", +"𝕨":"\\mathbb{w}", +"𝕩":"\\mathbb{x}", +"𝕪":"\\mathbb{y}", +"𝕫":"\\mathbb{z}", +"𝕬":"\\bm{\\mathfrak{A}}", +"𝕭":"\\bm{\\mathfrak{B}}", +"𝕮":"\\bm{\\mathfrak{C}}", +"𝕯":"\\bm{\\mathfrak{D}}", +"𝕰":"\\bm{\\mathfrak{E}}", +"𝕱":"\\bm{\\mathfrak{F}}", +"𝕲":"\\bm{\\mathfrak{G}}", +"𝕳":"\\bm{\\mathfrak{H}}", +"𝕴":"\\bm{\\mathfrak{I}}", +"𝕵":"\\bm{\\mathfrak{J}}", +"𝕶":"\\bm{\\mathfrak{K}}", +"𝕷":"\\bm{\\mathfrak{L}}", +"𝕸":"\\bm{\\mathfrak{M}}", +"𝕹":"\\bm{\\mathfrak{N}}", +"𝕺":"\\bm{\\mathfrak{O}}", +"𝕻":"\\bm{\\mathfrak{P}}", +"𝕼":"\\bm{\\mathfrak{Q}}", +"𝕽":"\\bm{\\mathfrak{R}}", +"𝕾":"\\bm{\\mathfrak{S}}", +"𝕿":"\\bm{\\mathfrak{T}}", +"𝖀":"\\bm{\\mathfrak{U}}", +"𝖁":"\\bm{\\mathfrak{V}}", +"𝖂":"\\bm{\\mathfrak{W}}", +"𝖃":"\\bm{\\mathfrak{X}}", +"𝖄":"\\bm{\\mathfrak{Y}}", +"𝖅":"\\bm{\\mathfrak{Z}}", +"𝖆":"\\bm{\\mathfrak{a}}", +"𝖇":"\\bm{\\mathfrak{b}}", +"𝖈":"\\bm{\\mathfrak{c}}", +"𝖉":"\\bm{\\mathfrak{d}}", +"𝖊":"\\bm{\\mathfrak{e}}", +"𝖋":"\\bm{\\mathfrak{f}}", +"𝖌":"\\bm{\\mathfrak{g}}", +"𝖍":"\\bm{\\mathfrak{h}}", +"𝖎":"\\bm{\\mathfrak{i}}", +"𝖏":"\\bm{\\mathfrak{j}}", +"𝖐":"\\bm{\\mathfrak{k}}", +"𝖑":"\\bm{\\mathfrak{l}}", +"𝖒":"\\bm{\\mathfrak{m}}", +"𝖓":"\\bm{\\mathfrak{n}}", +"𝖔":"\\bm{\\mathfrak{o}}", +"𝖕":"\\bm{\\mathfrak{p}}", +"𝖖":"\\bm{\\mathfrak{q}}", +"𝖗":"\\bm{\\mathfrak{r}}", +"𝖘":"\\bm{\\mathfrak{s}}", +"𝖙":"\\bm{\\mathfrak{t}}", +"𝖚":"\\bm{\\mathfrak{u}}", +"𝖛":"\\bm{\\mathfrak{v}}", +"𝖜":"\\bm{\\mathfrak{w}}", +"𝖝":"\\bm{\\mathfrak{x}}", +"𝖞":"\\bm{\\mathfrak{y}}", +"𝖟":"\\bm{\\mathfrak{z}}", +"𝖠":"\\mathss{A}", +"𝖡":"\\mathss{B}", +"𝖢":"\\mathss{C}", +"𝖣":"\\mathss{D}", +"𝖤":"\\mathss{E}", +"𝖥":"\\mathss{F}", +"𝖦":"\\mathss{G}", +"𝖧":"\\mathss{H}", +"𝖨":"\\mathss{I}", +"𝖩":"\\mathss{J}", +"𝖪":"\\mathss{K}", +"𝖫":"\\mathss{L}", +"𝖬":"\\mathss{M}", +"𝖭":"\\mathss{N}", +"𝖮":"\\mathss{O}", +"𝖯":"\\mathss{P}", +"𝖰":"\\mathss{Q}", +"𝖱":"\\mathss{R}", +"𝖲":"\\mathss{S}", +"𝖳":"\\mathss{T}", +"𝖴":"\\mathss{U}", +"𝖵":"\\mathss{V}", +"𝖶":"\\mathss{W}", +"𝖷":"\\mathss{X}", +"𝖸":"\\mathss{Y}", +"𝖹":"\\mathss{Z}", +"𝖺":"\\mathss{a}", +"𝖻":"\\mathss{b}", +"𝖼":"\\mathss{c}", +"𝖽":"\\mathss{d}", +"𝖾":"\\mathss{e}", +"𝖿":"\\mathss{f}", +"𝗀":"\\mathss{g}", +"𝗁":"\\mathss{h}", +"𝗂":"\\mathss{i}", +"𝗃":"\\mathss{j}", +"𝗄":"\\mathss{k}", +"𝗅":"\\mathss{l}", +"𝗆":"\\mathss{m}", +"𝗇":"\\mathss{n}", +"𝗈":"\\mathss{o}", +"𝗉":"\\mathss{p}", +"𝗊":"\\mathss{q}", +"𝗋":"\\mathss{r}", +"𝗌":"\\mathss{s}", +"𝗍":"\\mathss{t}", +"𝗎":"\\mathss{u}", +"𝗏":"\\mathss{v}", +"𝗐":"\\mathss{w}", +"𝗑":"\\mathss{x}", +"𝗒":"\\mathss{y}", +"𝗓":"\\mathss{z}", +"𝗔":"\\bm{\\mathss{A}}", +"𝗕":"\\bm{\\mathss{B}}", +"𝗖":"\\bm{\\mathss{C}}", +"𝗗":"\\bm{\\mathss{D}}", +"𝗘":"\\bm{\\mathss{E}}", +"𝗙":"\\bm{\\mathss{F}}", +"𝗚":"\\bm{\\mathss{G}}", +"𝗛":"\\bm{\\mathss{H}}", +"𝗜":"\\bm{\\mathss{I}}", +"𝗝":"\\bm{\\mathss{J}}", +"𝗞":"\\bm{\\mathss{K}}", +"𝗟":"\\bm{\\mathss{L}}", +"𝗠":"\\bm{\\mathss{M}}", +"𝗡":"\\bm{\\mathss{N}}", +"𝗢":"\\bm{\\mathss{O}}", +"𝗣":"\\bm{\\mathss{P}}", +"𝗤":"\\bm{\\mathss{Q}}", +"𝗥":"\\bm{\\mathss{R}}", +"𝗦":"\\bm{\\mathss{S}}", +"𝗧":"\\bm{\\mathss{T}}", +"𝗨":"\\bm{\\mathss{U}}", +"𝗩":"\\bm{\\mathss{V}}", +"𝗪":"\\bm{\\mathss{W}}", +"𝗫":"\\bm{\\mathss{X}}", +"𝗬":"\\bm{\\mathss{Y}}", +"𝗭":"\\bm{\\mathss{Z}}", +"𝗮":"\\bm{\\mathss{a}}", +"𝗯":"\\bm{\\mathss{b}}", +"𝗰":"\\bm{\\mathss{c}}", +"𝗱":"\\bm{\\mathss{d}}", +"𝗲":"\\bm{\\mathss{e}}", +"𝗳":"\\bm{\\mathss{f}}", +"𝗴":"\\bm{\\mathss{g}}", +"𝗵":"\\bm{\\mathss{h}}", +"𝗶":"\\bm{\\mathss{i}}", +"𝗷":"\\bm{\\mathss{j}}", +"𝗸":"\\bm{\\mathss{k}}", +"𝗹":"\\bm{\\mathss{l}}", +"𝗺":"\\bm{\\mathss{m}}", +"𝗻":"\\bm{\\mathss{n}}", +"𝗼":"\\bm{\\mathss{o}}", +"𝗽":"\\bm{\\mathss{p}}", +"𝗾":"\\bm{\\mathss{q}}", +"𝗿":"\\bm{\\mathss{r}}", +"𝘀":"\\bm{\\mathss{s}}", +"𝘁":"\\bm{\\mathss{t}}", +"𝘂":"\\bm{\\mathss{u}}", +"𝘃":"\\bm{\\mathss{v}}", +"𝘄":"\\bm{\\mathss{w}}", +"𝘅":"\\bm{\\mathss{x}}", +"𝘆":"\\bm{\\mathss{y}}", +"𝘇":"\\bm{\\mathss{z}}", +"𝘈":"\\mathssit{A}", +"𝘉":"\\mathssit{B}", +"𝘊":"\\mathssit{C}", +"𝘋":"\\mathssit{D}", +"𝘌":"\\mathssit{E}", +"𝘍":"\\mathssit{F}", +"𝘎":"\\mathssit{G}", +"𝘏":"\\mathssit{H}", +"𝘐":"\\mathssit{I}", +"𝘑":"\\mathssit{J}", +"𝘒":"\\mathssit{K}", +"𝘓":"\\mathssit{L}", +"𝘔":"\\mathssit{M}", +"𝘕":"\\mathssit{N}", +"𝘖":"\\mathssit{O}", +"𝘗":"\\mathssit{P}", +"𝘘":"\\mathssit{Q}", +"𝘙":"\\mathssit{R}", +"𝘚":"\\mathssit{S}", +"𝘛":"\\mathssit{T}", +"𝘜":"\\mathssit{U}", +"𝘝":"\\mathssit{V}", +"𝘞":"\\mathssit{W}", +"𝘟":"\\mathssit{X}", +"𝘠":"\\mathssit{Y}", +"𝘡":"\\mathssit{Z}", +"𝘢":"\\mathssit{a}", +"𝘣":"\\mathssit{b}", +"𝘤":"\\mathssit{c}", +"𝘥":"\\mathssit{d}", +"𝘦":"\\mathssit{e}", +"𝘧":"\\mathssit{f}", +"𝘨":"\\mathssit{g}", +"𝘩":"\\mathssit{h}", +"𝘪":"\\mathssit{i}", +"𝘫":"\\mathssit{j}", +"𝘬":"\\mathssit{k}", +"𝘭":"\\mathssit{l}", +"𝘮":"\\mathssit{m}", +"𝘯":"\\mathssit{n}", +"𝘰":"\\mathssit{o}", +"𝘱":"\\mathssit{p}", +"𝘲":"\\mathssit{q}", +"𝘳":"\\mathssit{r}", +"𝘴":"\\mathssit{s}", +"𝘵":"\\mathssit{t}", +"𝘶":"\\mathssit{u}", +"𝘷":"\\mathssit{v}", +"𝘸":"\\mathssit{w}", +"𝘹":"\\mathssit{x}", +"𝘺":"\\mathssit{y}", +"𝘻":"\\mathssit{z}", +"𝘼":"\\bm{\\mathssit{A}}", +"𝘽":"\\bm{\\mathssit{B}}", +"𝘾":"\\bm{\\mathssit{C}}", +"𝘿":"\\bm{\\mathssit{D}}", +"𝙀":"\\bm{\\mathssit{E}}", +"𝙁":"\\bm{\\mathssit{F}}", +"𝙂":"\\bm{\\mathssit{G}}", +"𝙃":"\\bm{\\mathssit{H}}", +"𝙄":"\\bm{\\mathssit{I}}", +"𝙅":"\\bm{\\mathssit{J}}", +"𝙆":"\\bm{\\mathssit{K}}", +"𝙇":"\\bm{\\mathssit{L}}", +"𝙈":"\\bm{\\mathssit{M}}", +"𝙉":"\\bm{\\mathssit{N}}", +"𝙊":"\\bm{\\mathssit{O}}", +"𝙋":"\\bm{\\mathssit{P}}", +"𝙌":"\\bm{\\mathssit{Q}}", +"𝙍":"\\bm{\\mathssit{R}}", +"𝙎":"\\bm{\\mathssit{S}}", +"𝙏":"\\bm{\\mathssit{T}}", +"𝙐":"\\bm{\\mathssit{U}}", +"𝙑":"\\bm{\\mathssit{V}}", +"𝙒":"\\bm{\\mathssit{W}}", +"𝙓":"\\bm{\\mathssit{X}}", +"𝙔":"\\bm{\\mathssit{Y}}", +"𝙕":"\\bm{\\mathssit{Z}}", +"𝙖":"\\bm{\\mathssit{a}}", +"𝙗":"\\bm{\\mathssit{b}}", +"𝙘":"\\bm{\\mathssit{c}}", +"𝙙":"\\bm{\\mathssit{d}}", +"𝙚":"\\bm{\\mathssit{e}}", +"𝙛":"\\bm{\\mathssit{f}}", +"𝙜":"\\bm{\\mathssit{g}}", +"𝙝":"\\bm{\\mathssit{h}}", +"𝙞":"\\bm{\\mathssit{i}}", +"𝙟":"\\bm{\\mathssit{j}}", +"𝙠":"\\bm{\\mathssit{k}}", +"𝙡":"\\bm{\\mathssit{l}}", +"𝙢":"\\bm{\\mathssit{m}}", +"𝙣":"\\bm{\\mathssit{n}}", +"𝙤":"\\bm{\\mathssit{o}}", +"𝙥":"\\bm{\\mathssit{p}}", +"𝙦":"\\bm{\\mathssit{q}}", +"𝙧":"\\bm{\\mathssit{r}}", +"𝙨":"\\bm{\\mathssit{s}}", +"𝙩":"\\bm{\\mathssit{t}}", +"𝙪":"\\bm{\\mathssit{u}}", +"𝙫":"\\bm{\\mathssit{v}}", +"𝙬":"\\bm{\\mathssit{w}}", +"𝙭":"\\bm{\\mathssit{x}}", +"𝙮":"\\bm{\\mathssit{y}}", +"𝙯":"\\bm{\\mathssit{z}}", +"𝙰":"\\mathtt{A}", +"𝙱":"\\mathtt{B}", +"𝙲":"\\mathtt{C}", +"𝙳":"\\mathtt{D}", +"𝙴":"\\mathtt{E}", +"𝙵":"\\mathtt{F}", +"𝙶":"\\mathtt{G}", +"𝙷":"\\mathtt{H}", +"𝙸":"\\mathtt{I}", +"𝙹":"\\mathtt{J}", +"𝙺":"\\mathtt{K}", +"𝙻":"\\mathtt{L}", +"𝙼":"\\mathtt{M}", +"𝙽":"\\mathtt{N}", +"𝙾":"\\mathtt{O}", +"𝙿":"\\mathtt{P}", +"𝚀":"\\mathtt{Q}", +"𝚁":"\\mathtt{R}", +"𝚂":"\\mathtt{S}", +"𝚃":"\\mathtt{T}", +"𝚄":"\\mathtt{U}", +"𝚅":"\\mathtt{V}", +"𝚆":"\\mathtt{W}", +"𝚇":"\\mathtt{X}", +"𝚈":"\\mathtt{Y}", +"𝚉":"\\mathtt{Z}", +"𝚊":"\\mathtt{a}", +"𝚋":"\\mathtt{b}", +"𝚌":"\\mathtt{c}", +"𝚍":"\\mathtt{d}", +"𝚎":"\\mathtt{e}", +"𝚏":"\\mathtt{f}", +"𝚐":"\\mathtt{g}", +"𝚑":"\\mathtt{h}", +"𝚒":"\\mathtt{i}", +"𝚓":"\\mathtt{j}", +"𝚔":"\\mathtt{k}", +"𝚕":"\\mathtt{l}", +"𝚖":"\\mathtt{m}", +"𝚗":"\\mathtt{n}", +"𝚘":"\\mathtt{o}", +"𝚙":"\\mathtt{p}", +"𝚚":"\\mathtt{q}", +"𝚛":"\\mathtt{r}", +"𝚜":"\\mathtt{s}", +"𝚝":"\\mathtt{t}", +"𝚞":"\\mathtt{u}", +"𝚟":"\\mathtt{v}", +"𝚠":"\\mathtt{w}", +"𝚡":"\\mathtt{x}", +"𝚢":"\\mathtt{y}", +"𝚣":"\\mathtt{z}", +"𝚤":"\\imath", +"𝚥":"\\jmath", +"𝚨":"\\mathbf{\\Alpha}", +"𝚩":"\\mathbf{\\Beta}", +"𝚪":"\\mathbf{\\Gamma}", +"𝚫":"\\mathbf{\\Delta}", +"𝚬":"\\mathbf{\\Epsilon}", +"𝚭":"\\mathbf{\\Zeta}", +"𝚮":"\\mathbf{\\Eta}", +"𝚯":"\\mathbf{\\Theta}", +"𝚰":"\\mathbf{\\Iota}", +"𝚱":"\\mathbf{\\Kappa}", +"𝚲":"\\mathbf{\\Lambda}", +"𝚳":"\\mathbf{\\Mu}", +"𝚴":"\\mathbf{\\Nu}", +"𝚵":"\\mathbf{\\Xi}", +"𝚶":"\\mathbf{\\Omicron}", +"𝚷":"\\mathbf{\\Pi}", +"𝚸":"\\mathbf{\\Rho}", +"𝚹":"\\mathbf{\\varTheta}", +"𝚺":"\\mathbf{\\Sigma}", +"𝚻":"\\mathbf{\\Tau}", +"𝚼":"\\mathbf{\\Upsilon}", +"𝚽":"\\mathbf{\\Phi}", +"𝚾":"\\mathbf{\\Chi}", +"𝚿":"\\mathbf{\\Psi}", +"𝛀":"\\mathbf{\\Omega}", +"𝛁":"\\mathbf{\\nabla}", +"𝛂":"\\mathbf{\\alpha}", +"𝛃":"\\mathbf{\\beta}", +"𝛄":"\\mathbf{\\gamma}", +"𝛅":"\\mathbf{\\delta}", +"𝛆":"\\mathbf{\\varepsilon}", +"𝛇":"\\mathbf{\\zeta}", +"𝛈":"\\mathbf{\\eta}", +"𝛉":"\\mathbf{\\theta}", +"𝛊":"\\mathbf{\\iota}", +"𝛋":"\\mathbf{\\kappa}", +"𝛌":"\\mathbf{\\lambda}", +"𝛍":"\\mathbf{\\mu}", +"𝛎":"\\mathbf{\\nu}", +"𝛏":"\\mathbf{\\xi}", +"𝛐":"\\mathbf{\\omicron}", +"𝛑":"\\mathbf{\\pi}", +"𝛒":"\\mathbf{\\rho}", +"𝛓":"\\mathbf{\\varsigma}", +"𝛔":"\\mathbf{\\sigma}", +"𝛕":"\\mathbf{\\tau}", +"𝛖":"\\mathbf{\\upsilon}", +"𝛗":"\\mathbf{\\varphi}", +"𝛘":"\\mathbf{\\chi}", +"𝛙":"\\mathbf{\\psi}", +"𝛚":"\\mathbf{\\omega}", +"𝛛":"\\mathbf{\\partial}", +"𝛜":"\\mathbf{\\epsilon}", +"𝛝":"\\mathbf{\\vartheta}", +"𝛞":"\\mathbf{\\varkappa}", +"𝛟":"\\mathbf{\\phi}", +"𝛠":"\\mathbf{\\varrho}", +"𝛡":"\\mathbf{\\varpi}", +"𝛢":"\\mathit{\\Alpha}", +"𝛣":"\\mathit{\\Beta}", +"𝛤":"\\mathit{\\Gamma}", +"𝛥":"\\mathit{\\Delta}", +"𝛦":"\\mathit{\\Epsilon}", +"𝛧":"\\mathit{\\Zeta}", +"𝛨":"\\mathit{\\Eta}", +"𝛩":"\\mathit{\\Theta}", +"𝛪":"\\mathit{\\Iota}", +"𝛫":"\\mathit{\\Kappa}", +"𝛬":"\\mathit{\\Lambda}", +"𝛭":"\\mathit{\\Mu}", +"𝛮":"\\mathit{\\Nu}", +"𝛯":"\\mathit{\\Xi}", +"𝛰":"\\mathit{\\Omicron}", +"𝛱":"\\mathit{\\Pi}", +"𝛲":"\\mathit{\\Rho}", +"𝛳":"\\mathit{\\varTheta}", +"𝛴":"\\mathit{\\Sigma}", +"𝛵":"\\mathit{\\Tau}", +"𝛶":"\\mathit{\\Upsilon}", +"𝛷":"\\mathit{\\Phi}", +"𝛸":"\\mathit{\\Chi}", +"𝛹":"\\mathit{\\Psi}", +"𝛺":"\\mathit{\\Omega}", +"𝛻":"\\mathit{\\nabla}", +"𝛼":"\\mathit{\\alpha}", +"𝛽":"\\mathit{\\beta}", +"𝛾":"\\mathit{\\gamma}", +"𝛿":"\\mathit{\\delta}", +"𝜀":"\\mathit{\\varepsilon}", +"𝜁":"\\mathit{\\zeta}", +"𝜂":"\\mathit{\\eta}", +"𝜃":"\\mathit{\\theta}", +"𝜄":"\\mathit{\\iota}", +"𝜅":"\\mathit{\\kappa}", +"𝜆":"\\mathit{\\lambda}", +"𝜇":"\\mathit{\\mu}", +"𝜈":"\\mathit{\\nu}", +"𝜉":"\\mathit{\\xi}", +"𝜊":"\\mathit{\\omicron}", +"𝜋":"\\mathit{\\pi}", +"𝜌":"\\mathit{\\rho}", +"𝜍":"\\mathit{\\varsigma}", +"𝜎":"\\mathit{\\sigma}", +"𝜏":"\\mathit{\\tau}", +"𝜐":"\\mathit{\\upsilon}", +"𝜑":"\\mathit{\\varphi}", +"𝜒":"\\mathit{\\chi}", +"𝜓":"\\mathit{\\psi}", +"𝜔":"\\mathit{\\omega}", +"𝜕":"\\mathit{\\partial}", +"𝜖":"\\mathit{\\epsilon}", +"𝜗":"\\mathit{\\vartheta}", +"𝜘":"\\mathit{\\varkappa}", +"𝜙":"\\mathit{\\phi}", +"𝜚":"\\mathit{\\varrho}", +"𝜛":"\\mathit{\\varpi}", +"𝜜":"\\bm{\\Alpha}", +"𝜝":"\\bm{\\Beta}", +"𝜞":"\\bm{\\Gamma}", +"𝜟":"\\bm{\\Delta}", +"𝜠":"\\bm{\\Epsilon}", +"𝜡":"\\bm{\\Zeta}", +"𝜢":"\\bm{\\Eta}", +"𝜣":"\\bm{\\Theta}", +"𝜤":"\\bm{\\Iota}", +"𝜥":"\\bm{\\Kappa}", +"𝜦":"\\bm{\\Lambda}", +"𝜧":"\\bm{\\Mu}", +"𝜨":"\\bm{\\Nu}", +"𝜩":"\\bm{\\Xi}", +"𝜪":"\\bm{\\Omicron}", +"𝜫":"\\bm{\\Pi}", +"𝜬":"\\bm{\\Rho}", +"𝜭":"\\bm{\\varTheta}", +"𝜮":"\\bm{\\Sigma}", +"𝜯":"\\bm{\\Tau}", +"𝜰":"\\bm{\\Upsilon}", +"𝜱":"\\bm{\\Phi}", +"𝜲":"\\bm{\\Chi}", +"𝜳":"\\bm{\\Psi}", +"𝜴":"\\bm{\\Omega}", +"𝜵":"\\bm{\\nabla}", +"𝜶":"\\bm{\\alpha}", +"𝜷":"\\bm{\\beta}", +"𝜸":"\\bm{\\gamma}", +"𝜹":"\\bm{\\delta}", +"𝜺":"\\bm{\\varepsilon}", +"𝜻":"\\bm{\\zeta}", +"𝜼":"\\bm{\\eta}", +"𝜽":"\\bm{\\theta}", +"𝜾":"\\bm{\\iota}", +"𝜿":"\\bm{\\kappa}", +"𝝀":"\\bm{\\lambda}", +"𝝁":"\\bm{\\mu}", +"𝝂":"\\bm{\\nu}", +"𝝃":"\\bm{\\xi}", +"𝝄":"\\bm{\\omicron}", +"𝝅":"\\bm{\\pi}", +"𝝆":"\\bm{\\rho}", +"𝝇":"\\bm{\\varsigma}", +"𝝈":"\\bm{\\sigma}", +"𝝉":"\\bm{\\tau}", +"𝝊":"\\bm{\\upsilon}", +"𝝋":"\\bm{\\varphi}", +"𝝌":"\\bm{\\chi}", +"𝝍":"\\bm{\\psi}", +"𝝎":"\\bm{\\omega}", +"𝝏":"\\bm{\\partial}", +"𝝐":"\\bm{\\epsilon}", +"𝝑":"\\bm{\\vartheta}", +"𝝒":"\\bm{\\varkappa}", +"𝝓":"\\bm{\\phi}", +"𝝔":"\\bm{\\varrho}", +"𝝕":"\\bm{\\varpi}", +"𝝖":"\\bm{\\mathss{\\Alpha}}", +"𝝗":"\\bm{\\mathss{\\Beta}}", +"𝝘":"\\bm{\\mathss{\\Gamma}}", +"𝝙":"\\bm{\\mathss{\\Delta}}", +"𝝚":"\\bm{\\mathss{\\Epsilon}}", +"𝝛":"\\bm{\\mathss{\\Zeta}}", +"𝝜":"\\bm{\\mathss{\\Eta}}", +"𝝝":"\\bm{\\mathss{\\Theta}}", +"𝝞":"\\bm{\\mathss{\\Iota}}", +"𝝟":"\\bm{\\mathss{\\Kappa}}", +"𝝠":"\\bm{\\mathss{\\Lambda}}", +"𝝡":"\\bm{\\mathss{\\Mu}}", +"𝝢":"\\bm{\\mathss{\\Nu}}", +"𝝣":"\\bm{\\mathss{\\Xi}}", +"𝝤":"\\bm{\\mathss{\\Omicron}}", +"𝝥":"\\bm{\\mathss{\\Pi}}", +"𝝦":"\\bm{\\mathss{\\Rho}}", +"𝝧":"\\bm{\\mathss{\\varTheta}}", +"𝝨":"\\bm{\\mathss{\\Sigma}}", +"𝝩":"\\bm{\\mathss{\\Tau}}", +"𝝪":"\\bm{\\mathss{\\Upsilon}}", +"𝝫":"\\bm{\\mathss{\\Phi}}", +"𝝬":"\\bm{\\mathss{\\Chi}}", +"𝝭":"\\bm{\\mathss{\\Psi}}", +"𝝮":"\\bm{\\mathss{\\Omega}}", +"𝝯":"\\bm{\\mathss{\\nabla}}", +"𝝰":"\\bm{\\mathss{\\alpha}}", +"𝝱":"\\bm{\\mathss{\\beta}}", +"𝝲":"\\bm{\\mathss{\\gamma}}", +"𝝳":"\\bm{\\mathss{\\delta}}", +"𝝴":"\\bm{\\mathss{\\varepsilon}}", +"𝝵":"\\bm{\\mathss{\\zeta}}", +"𝝶":"\\bm{\\mathss{\\eta}}", +"𝝷":"\\bm{\\mathss{\\theta}}", +"𝝸":"\\bm{\\mathss{\\iota}}", +"𝝹":"\\bm{\\mathss{\\kappa}}", +"𝝺":"\\bm{\\mathss{\\lambda}}", +"𝝻":"\\bm{\\mathss{\\mu}}", +"𝝼":"\\bm{\\mathss{\\nu}}", +"𝝽":"\\bm{\\mathss{\\xi}}", +"𝝾":"\\bm{\\mathss{\\omicron}}", +"𝝿":"\\bm{\\mathss{\\pi}}", +"𝞀":"\\bm{\\mathss{\\rho}}", +"𝞁":"\\bm{\\mathss{\\varsigma}}", +"𝞂":"\\bm{\\mathss{\\sigma}}", +"𝞃":"\\bm{\\mathss{\\tau}}", +"𝞄":"\\bm{\\mathss{\\upsilon}}", +"𝞅":"\\bm{\\mathss{\\varphi}}", +"𝞆":"\\bm{\\mathss{\\chi}}", +"𝞇":"\\bm{\\mathss{\\psi}}", +"𝞈":"\\bm{\\mathss{\\omega}}", +"𝞉":"\\bm{\\mathss{\\partial}}", +"𝞊":"\\bm{\\mathss{\\epsilon}}", +"𝞋":"\\bm{\\mathss{\\vartheta}}", +"𝞌":"\\bm{\\mathss{\\varkappa}}", +"𝞍":"\\bm{\\mathss{\\phi}}", +"𝞎":"\\bm{\\mathss{\\varrho}}", +"𝞏":"\\bm{\\mathss{\\varpi}}", +"𝞐":"\\bm{\\mathssit{\\Alpha}}", +"𝞑":"\\bm{\\mathssit{\\Beta}}", +"𝞒":"\\bm{\\mathssit{\\Gamma}}", +"𝞓":"\\bm{\\mathssit{\\Delta}}", +"𝞔":"\\bm{\\mathssit{\\Epsilon}}", +"𝞕":"\\bm{\\mathssit{\\Zeta}}", +"𝞖":"\\bm{\\mathssit{\\Eta}}", +"𝞗":"\\bm{\\mathssit{\\Theta}}", +"𝞘":"\\bm{\\mathssit{\\Iota}}", +"𝞙":"\\bm{\\mathssit{\\Kappa}}", +"𝞚":"\\bm{\\mathssit{\\Lambda}}", +"𝞛":"\\bm{\\mathssit{\\Mu}}", +"𝞜":"\\bm{\\mathssit{\\Nu}}", +"𝞝":"\\bm{\\mathssit{\\Xi}}", +"𝞞":"\\bm{\\mathssit{\\Omicron}}", +"𝞟":"\\bm{\\mathssit{\\Pi}}", +"𝞠":"\\bm{\\mathssit{\\Rho}}", +"𝞡":"\\bm{\\mathssit{\\varTheta}}", +"𝞢":"\\bm{\\mathssit{\\Sigma}}", +"𝞣":"\\bm{\\mathssit{\\Tau}}", +"𝞤":"\\bm{\\mathssit{\\Upsilon}}", +"𝞥":"\\bm{\\mathssit{\\Phi}}", +"𝞦":"\\bm{\\mathssit{\\Chi}}", +"𝞧":"\\bm{\\mathssit{\\Psi}}", +"𝞨":"\\bm{\\mathssit{\\Omega}}", +"𝞩":"\\bm{\\mathssit{\\nabla}}", +"𝞪":"\\bm{\\mathssit{\\alpha}}", +"𝞫":"\\bm{\\mathssit{\\beta}}", +"𝞬":"\\bm{\\mathssit{\\gamma}}", +"𝞭":"\\bm{\\mathssit{\\delta}}", +"𝞮":"\\bm{\\mathssit{\\varepsilon}}", +"𝞯":"\\bm{\\mathssit{\\zeta}}", +"𝞰":"\\bm{\\mathssit{\\eta}}", +"𝞱":"\\bm{\\mathssit{\\theta}}", +"𝞲":"\\bm{\\mathssit{\\iota}}", +"𝞳":"\\bm{\\mathssit{\\kappa}}", +"𝞴":"\\bm{\\mathssit{\\lambda}}", +"𝞵":"\\bm{\\mathssit{\\mu}}", +"𝞶":"\\bm{\\mathssit{\\nu}}", +"𝞷":"\\bm{\\mathssit{\\xi}}", +"𝞸":"\\bm{\\mathssit{\\omicron}}", +"𝞹":"\\bm{\\mathssit{\\pi}}", +"𝞺":"\\bm{\\mathssit{\\rho}}", +"𝞻":"\\bm{\\mathssit{\\varsigma}}", +"𝞼":"\\bm{\\mathssit{\\sigma}}", +"𝞽":"\\bm{\\mathssit{\\tau}}", +"𝞾":"\\bm{\\mathssit{\\upsilon}}", +"𝞿":"\\bm{\\mathssit{\\varphi}}", +"𝟀":"\\bm{\\mathssit{\\chi}}", +"𝟁":"\\bm{\\mathssit{\\psi}}", +"𝟂":"\\bm{\\mathssit{\\omega}}", +"𝟃":"\\bm{\\mathssit{\\partial}}", +"𝟄":"\\bm{\\mathssit{\\epsilon}}", +"𝟅":"\\bm{\\mathssit{\\vartheta}}", +"𝟆":"\\bm{\\mathssit{\\varkappa}}", +"𝟇":"\\bm{\\mathssit{\\phi}}", +"𝟈":"\\bm{\\mathssit{\\varrho}}", +"𝟉":"\\bm{\\mathssit{\\varpi}}", +"𝟊":"\\mathbf{\\Digamma}", +"𝟋":"\\mathbf{\\digamma}", +"𝟎":"\\mathbf{0}", +"𝟏":"\\mathbf{1}", +"𝟐":"\\mathbf{2}", +"𝟑":"\\mathbf{3}", +"𝟒":"\\mathbf{4}", +"𝟓":"\\mathbf{5}", +"𝟔":"\\mathbf{6}", +"𝟕":"\\mathbf{7}", +"𝟖":"\\mathbf{8}", +"𝟗":"\\mathbf{9}", +"𝟘":"\\mathbb{0}", +"𝟙":"\\mathbb{1}", +"𝟚":"\\mathbb{2}", +"𝟛":"\\mathbb{3}", +"𝟜":"\\mathbb{4}", +"𝟝":"\\mathbb{5}", +"𝟞":"\\mathbb{6}", +"𝟟":"\\mathbb{7}", +"𝟠":"\\mathbb{8}", +"𝟡":"\\mathbb{9}", +"𝟢":"\\mathss{0}", +"𝟣":"\\mathss{1}", +"𝟤":"\\mathss{2}", +"𝟥":"\\mathss{3}", +"𝟦":"\\mathss{4}", +"𝟧":"\\mathss{5}", +"𝟨":"\\mathss{6}", +"𝟩":"\\mathss{7}", +"𝟪":"\\mathss{8}", +"𝟫":"\\mathss{9}", +"𝟬":"\\bm{\\mathss{0}}", +"𝟭":"\\bm{\\mathss{1}}", +"𝟮":"\\bm{\\mathss{2}}", +"𝟯":"\\bm{\\mathss{3}}", +"𝟰":"\\bm{\\mathss{4}}", +"𝟱":"\\bm{\\mathss{5}}", +"𝟲":"\\bm{\\mathss{6}}", +"𝟳":"\\bm{\\mathss{7}}", +"𝟴":"\\bm{\\mathss{8}}", +"𝟵":"\\bm{\\mathss{9}}", +"𝟶":"\\mathtt{0}", +"𝟷":"\\mathtt{1}", +"𝟸":"\\mathtt{2}", +"𝟹":"\\mathtt{3}", +"𝟺":"\\mathtt{4}", +"𝟻":"\\mathtt{5}", +"𝟼":"\\mathtt{6}", +"𝟽":"\\mathtt{7}", +"𝟾":"\\mathtt{8}", +"𝟿":"\\mathtt{9}", +"𞻰":"\\arabicmaj", +"𞻱":"\\arabichad", +"•":"\\bullet", +"→":"\\to", +"⟺":"\\iff", +"⟹":"\\implies", +"⟸":"\\impliedby", +"₀":"_0", +"₁":"_1", +"₂":"_2", +"₃":"_3", +"₄":"_4", +"₅":"_5", +"₆":"_6", +"₇":"_7", +"₈":"_8", +"₉":"_9", +"⏨":"_10", +"₊":"_+", +"₋":"_-", +"₌":"_=", +"₍":"_(", +"₎":"_)", +"ₐ":"_a", +"ₑ":"_e", +"ₕ":"_h", +"ᵢ":"_i", +"ⱼ":"_j", +"ₖ":"_k", +"ₗ":"_l", +"ₘ":"_m", +"ₙ":"_n", +"ₒ":"_o", +"ₚ":"_p", +"ᵣ":"_r", +"ₛ":"_s", +"ₜ":"_t", +"ᵤ":"_u", +"ᵥ":"_v", +"ₓ":"_x", +"⁰":"^0", +"¹":"^1", +"²":"^2", +"³":"^3", +"⁴":"^4", +"⁵":"^5", +"⁶":"^6", +"⁷":"^7", +"⁸":"^8", +"⁹":"^9", +"⁺":"^+", +"⁻":"^-", +"⁼":"^=", +"⁽":"^(", +"⁾":"^)", +"ᵃ":"^a", +"ᵇ":"^b", +"ᶜ":"^c", +"ᵈ":"^d", +"ᵉ":"^e", +"ᶠ":"^f", +"ᵍ":"^g", +"ʰ":"^h", +"ⁱ":"^i", +"ʲ":"^j", +"ᵏ":"^k", +"ˡ":"^l", +"ᵐ":"^m", +"ⁿ":"^n", +"ᵒ":"^o", +"ᵖ":"^p", +"ʳ":"^r", +"ˢ":"^s", +"ᵗ":"^t", +"ᵘ":"^u", +"ᵛ":"^v", +"ʷ":"^w", +"ˣ":"^x", +"ʸ":"^y", +"ᶻ":"^z", +"ᴬ":"^A", +"ᴮ":"^B", +"ᴰ":"^D", +"ᴱ":"^E", +"ᴳ":"^G", +"ᴴ":"^H", +"ᴵ":"^I", +"ᴶ":"^J", +"ᴷ":"^K", +"ᴸ":"^L", +"ᴹ":"^M", +"ᴺ":"^N", +"ᴼ":"^O", +"ᴾ":"^P", +"ᴿ":"^R", +"ᵀ":"^T", +"ᵁ":"^U", +"ⱽ":"^V", +"ᵂ":"^W" +}