From 2b5428a616e49476e6a499baff6b0917a2cc0015 Mon Sep 17 00:00:00 2001
From: rschoene <rene.schoene@tu-dresden.de>
Date: Tue, 22 Nov 2022 10:54:52 +0100
Subject: [PATCH] 3.0.1

- add BSD 3 license
- change pages theme to material, add icons
---
 LICENSE                                       |  29 ++++++++++++++++++
 .../main/resources/dumpAstVersion.properties  |   4 +--
 pages/docs/img/ST-black.png                   | Bin 0 -> 18676 bytes
 pages/mkdocs.yml                              |  18 +++++++++--
 pages/requirements.txt                        |  12 +++++---
 5 files changed, 54 insertions(+), 9 deletions(-)
 create mode 100644 LICENSE
 create mode 100644 pages/docs/img/ST-black.png

diff --git a/LICENSE b/LICENSE
new file mode 100644
index 0000000..80ee387
--- /dev/null
+++ b/LICENSE
@@ -0,0 +1,29 @@
+BSD 3-Clause License
+
+Copyright (c) 2022, TU Dresden, Software Technology Group
+All rights reserved.
+
+Redistribution and use in source and binary forms, with or without
+modification, are permitted provided that the following conditions are met:
+
+* Redistributions of source code must retain the above copyright notice, this
+  list of conditions and the following disclaimer.
+
+* Redistributions in binary form must reproduce the above copyright notice,
+  this list of conditions and the following disclaimer in the documentation
+  and/or other materials provided with the distribution.
+
+* Neither the name of the copyright holder nor the names of its
+  contributors may be used to endorse or promote products derived from
+  this software without specific prior written permission.
+
+THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
+AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
+IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
+DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE
+FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
+DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
+SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
+CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
+OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
+OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
diff --git a/dumpAst.base/src/main/resources/dumpAstVersion.properties b/dumpAst.base/src/main/resources/dumpAstVersion.properties
index f6b43e6..b5c044f 100644
--- a/dumpAst.base/src/main/resources/dumpAstVersion.properties
+++ b/dumpAst.base/src/main/resources/dumpAstVersion.properties
@@ -1,2 +1,2 @@
-#Mon Oct 10 17:14:21 CEST 2022
-version=3.0.0
+#Tue Nov 22 10:54:37 CET 2022
+version=3.0.1
diff --git a/pages/docs/img/ST-black.png b/pages/docs/img/ST-black.png
new file mode 100644
index 0000000000000000000000000000000000000000..1dff814753e73b1d10ddd456817e6d72ee7b82e2
GIT binary patch
literal 18676
zcmeAS@N?(olHy`uVBq!ia0y~yU<?Og0VW0phLeZgco-NMSkfJR9T^xl_H+M9WMyDr
zP)PO&@?~JCQe$9fXklRZ#lXPO@PdJ%)PRBERRRNp)eHs(@q#(K0&N%=7}%1$-Ch2J
z0cXVbI}8jAoCO|{#S9D#)4;gU?cWCm2KPmtE{-7;x8BaJ-!MP4_W63_-La94EulVl
zj(*BssrlfI6?2JCw7}g(kNBB5l>OFT3flO(OU$tK#f3|6#he^AzH)lRzbZsG_p0L*
zSFNZno~XJj8BRh<*H!LFPns=nZeAcPl)CxJzMCHn+KYeKod5Z;=A7mG@ABz0PM`g5
zcfNAo`=5KxJ-;q_(>+kcH8A9`)I*T~5!XPGz=lN{U5hjpF}Q-nT^PGS+zuuY*R4y>
z%YVKu|LZmX&Bx~TpQEMocK3dE4g{&ty3YOoGUI!j2fykbd*8SD-n28j-}b`~)Af6<
z$(;Xn($atKZ*htL4;sJUDSdd`_r!xa!60i^cm*ib*!=PDt9lvu-i+~(OZ&&AkG;+H
z9vVZezq+WQrsN^hd<9oQR*kMKCRUYut=Dty-|k*-|MKwsJzvzP#~zDe?^5Cl5V<PA
zwc}Xx`T2j_Zpz!eJP<zr>#O<}{l*Rlu=Avx7%i3Ve4op{uHpgLK7Nqh8jBn*D`zQ9
zn7E<h;-u8;IuE3sK$a+Rnb;nxPe@bTu&xnguB*s{3fm^`7UnJu2T;&F{@On0@1x7{
zf4)w>|6$f~|Jb7&m|R5`Xmn{@cwzCn&-tC*lS1p~4V;}&I~F@6Z1-?-Xv~*|s0#RL
zQT@LD#+OIae+CP_G+xlbbfuWXn(ecOc%Mvgzsc>Nwk+#ZT($)*>tMQKw?klOL(v(_
zf3NIiE8k5NUbndGtl-*;oEZ)a=T;gimhGK$d!0jqSzww*qY{?@>yCz^GgW8&cWswy
zEo<ORxjtK>aetqRHB;m2r-B<BKq@SXbR<}Jaa~AYJDv5(<O?&C_2GuOJQ|A_0vnW%
zX9XV6SGhU!UaOGfL)ZHH3p3ek_4cqU!F1;EvHm%<viU@&gVMY-7Y=qNHbIC+_eBor
zE*HM(cC)e^Vd~Ow5P5K7qQ(Wsf>p{F8n`+V|FRc09;n%*6R@O%$%U~`rju#zU-piJ
z&(~*Ld^pkk@7)61mwf(7*2*xQ0xaw+ZP_(zn7^G!afS=37_SM?6FBhvV6liM*tzbD
z942ho?lwzq7t1tO79RNk7sf>l?tLzeC!A)*>CAWZQ*ijfTq;)6=fc>fabTi`gX?F>
z7Ij6rnhR^*pR+UhAKhrfY3II(!Bymehsc6OnkrKSE^V=}IXmHepN4}VtA!Bj3YCQ|
z>+b(r*uZf8WDOHcWk|xo0EYtzzDVN10EdKYvK#Cf0~?gM3RJiPn3E4~aA2@!ye%!v
zs<DW{eG$Xdfc-Nr%KzW(9an$yHGiyS`t3X1TNoLIc{-Uy0vnVA6`EGw-jrHYbbH&y
ziyJqVzK)7xFMC(>sPnk|{SAqakGado?kswHD|EG7&4-2U)AY@cZ;!3HclWt${RRK@
zySCZKH#a1lRGe@1B#$>=gqa=c;|EtJ`@g%pJN^7J-{|drK5Jrk*Zo!Qzp-rH*7tVL
zj+jcX``EYm{jXzlg+H&iemZ6H`&uypnfeo*?SCF_crVJt{>H~aWI+d$OefRtWy{Oo
z-`mRFR{!<Y#f$Co(<FA5?fd$nRVRL5+SxAAB90Bm{q4Ta?9Q|JGvoC0x3jmumrVZC
zceDL`+>(c~&gQJ^K7d`ckyE7Mp}hS4J(Z8$rWeoFNN{RMF?*nUV9l+?Z@qu~wZ8xR
zCHMV`2VdF$-#Zw-??o*8-`UOQu6$UwP}2B%B{=vaM7ezY{CwZuXk1bDW8XGekqHhA
zXKa|*C!KfM$NF!oq}`48>Oa12f6d5L5|yF`i4Pqi)`Xlxy!MA!45HRea9n%8u);TH
zbNhVdT!TOBXB7Wlx4-^;x89EDs{akr|IKNYx@R@#!~q{jbVo>V&9FYVu1$U?(>J;8
zTemoh|6*WDIF$TXcfoAQWsUP6Y>B?N<@cAfQul1XsVHy-xG?sKE@JRve8@1}V*71J
z#sd?w?;WybtmAL|EB^n_dGY=4Pfg#wOT=L71ZWbQv)e}^|4ovhPQ%0F|KI*Px4nUB
zhGcjEL&MZxQZW+c=TpDSer`6t;1qHA_KC~99iYULT&&v`<-iy|N#Vf)d8eaC1%Ie)
z&~LvyZz~%(kSA(5h;*oh2d2u^Hykl%c+XeIzOv@TXLSJqXi^MR@K|S2>sQ~PnUcTb
zljxb(jvM8BK5lrge%@Y%OMum)NQFy8=cJy^{+Li6j+7hw*DDqr$YX(JE~TeNyE4w2
zTnXJ-B>sopQL&(*j)4UdSRNt@TpdriczLQr{}~+o{KGQs%!duyqKysE5+R^r!sPp<
z&(|JIR?IIp$x&m3%Pfe}Q?L2Ait+isdlQdeFs*3xVPawoZ0K6HxvuD3@biDH)1Fzm
z@v3@iRxQ8&rRT#nLDo+aw@PAJ+gn9V_~o>=PH=D#>G-&GZe`;Ktz?(u+By>@9&&YW
zeKTwE&+^yRQw!rw7arKqw%P7#7t;zsj>7%?qK7y>Mk{PB&`^-Lw%=7m<Cwz11GC*?
z_um$4W7pdu<o{8LD<F4K!@u7}s{C!~#tGiWQ`{%?c6KoRe)szvbGS_btIxi9>uzbD
z`*i3oqoB!eAyCXXe6GD2-l5(9G*?wXfOQi0dMTdzTEmxhaV)vZs|8s#7CFq;NLY8t
zIrq$u+_hq?8{S{Pz!$v#IYWGNVl6oC8U&A4uU*)%a^baHx%wDRt_y#rce8>bb;7M9
z)0&tLGcjIMs(ak!!l<)bitp?iPVOQjBT$hez-q$47`9(%@_K1kMqBrkZ4;s=-0}x!
zUKd7NhlYI$ZyXj#u})y{P>vPW1Q$tx2iE_*KDX%9$?wndJ&)wiw-QN^b6DHR49aB+
zTpsHb?FBYG2w>&niB36W=)X-DV$GB56XZD};tdSA45S@COK9Jo21>>qOrNrMJbtlz
zU*Yp3r|;JvX>^}6`*Zc(BCCf98V3p-tSwnUerPCsdTMKS_*x|{k97~{oqlKij6MCy
z9lfNZ*~W7V7(@;jc{xX)lBl~U4zg;?om_(_QX4)!(NW9)?67!^M!<Z}jC3BuI*>^Y
zA{;y0{w$Z>_D%MD3zLF%Nb#jL+osuq{hPYb;m66A*sV1`XPIh;{b<(w89u3OmvEXB
zBO7a0mZyt|0+#@*$}LEly7hhb^K<I+D*hDmhIeRhTwhRA^Z8k?bm>0k6W`LmIV5T{
zY-Y}IiPke!0i^~8o>jH+lP3oUTbE_*aEj?n6PYpZ-rnl#>k_w5*C<!#V(Fa9^tG4c
zivVlJp-!f{+?z(0J9B5VIj@!viwSSCEcvVbL-TXZ>x-PzH5}?0j?W7;S;TNvjVr-D
z`~LKKi@SEeJGwP7_?*s`UHwL09ZX+;G6#gQ^Bv`wobYeS+-06c%OwLFvV>U`e(y8*
zm*nOgEBbHO>swzECNB|oKKH9B%3sf;iRq`d<K?f*;`U^m+>|Z$Wj6ba1H1Smr>R^K
zU|lgSkm2T!*x36kpPmwu*e1Uy)?MLy&=Vi^HTkR_O-z>Zo?MT-pEEgaS*fNo;mG+8
zrjXMb8!|6nTPrLq#q~|4p=q`3t5q?k;-B7h&3V~k%E~=yfkWqU?$+;DUcWM3sXRqN
zQ(uKEKzH#0NR88fTD1TF?N47lYD8nD&7McbW^;+DI5uu7+v{N|xvFSOUk}&+H-aEn
z9oWx(KHm4isjJr~pW!$xFBIf>sY=c}#68t9MWo^IlBdj-x4#JdFxCQPume}muwVRW
zquKI9dtJq!4LiAoB3{0dKCo-b@=XjM97QVJQd2og*7o}^7ZUW!lLFPO2ln4T`&hcb
z_0iV3(<Q_sKe4Rwwm+g_#5Lt=g2cH>TmHp&zMc8E9$Zg2tb6tI%GE#XB=(qr3eF2x
z`zLMw?%;7WGE`&2=I_C^+*WZni+EK)sk7yd{-Upi&8!Ewuk%&kxO7n9zQgrj-8QQ)
zY?ztu(zr_OOOY^V>_sC`UfOVWb9O(U0>^g&1?z*UULQXvzGgl2SEHi%$%iS&KSw?K
zb-{$|g-wc*|0?fuVMkmVf3>_S-cfMay`IJP+KRJpcK+g>u}msl&%E@9@AT~0=Mz1I
zc5ae6vvX35Wf2?qDKC|t9wt?@^A~TbEmC9l6j{N~^e4^j`HIVu@63z7eckPF{Ar}7
zs<Fbg7)EXZy8~x#+^Blm*8lg^q}!GA5}iaewjW-w?S-G_Khe)IY~hh=feX}5`cB^_
z=(fnkykbqY{%PR{cW!dm$W8hPt>&uwa#wS)o?6@AZg`oQWn)s*H$kswj$Yq7KCr~a
z7xT=NT;xz&m>13x^?60TdC$(N@87E`e>?uGm}wW+Oo0=tUzi)0%hX;se>cbC#q!PX
z=51}3<(z#^wBTud)&q+c-JIZD>CC@ZJVh3)sEc5b@6n!q=&B;af35$Hhn+d^@!i=f
z6Vxd9KKkdu&-NesOU*YabGaN~GMTEg(V|7eL1aOeP!Q8b>21do`)%~H*L{lCvwi!<
zXrY6w?AO1JEC(EY(}M(AJD5bSZkq7+{-;b<-*V}mtF=-y7gd~Ds?sR{l5%~zC4Pgr
zRqdIHfeZGz+TZC;IQFBH3DmhM;c~Mo_1tsrYO>1F5Fw@x4v?T%$SdcsCBN9*f@(5e
zy1(O-&N$E=@oVCAkld-zSA8wFu1!$UXjoy%TeD_X$R3lYYFa|98eNZ8Exl<zfra%`
zO7b?#rqI((ph7oLRjYL3!g;frCKjnrOx7%L0Cgz#F`oU)CbY<5r}~?#f?*El8rj%E
zeTo%Dtvc&=RSWhl`N!;|cxA!_j?1PYT1uc!+b=eg-)wGP^IiI4-Ah`|bb@M+MPA{r
zCVbz}`c%2{pHCJ$_i=&A)2uq67I^NTc`8uBUtGOU(UIjz87LT5wlWtNrWl-?cYNcX
zZylSTndRQvRhqPDZt=G_I}h<BnEfekja>WQ<59uGhD9G{dcKvG(CV?C^ts<KBEU=i
z$c{RuMGUQ~63<rMfBEUz!A%AgThEF5oo{aBpSc>+w2evsxV3rq4E8ge7lJ=$wK3#9
z)nM4j7^qp-6tPizk;CajkED|>#VGfr%33G9i98&5vY&OUTuRO_KZfpgl^pJkSN1h7
zjN<R*`TF6N-MJmh4EJ1U)wr<Cc-#EM=zTS3XNhX>`d7E}A@iB3_ZyB%eGK>F-}>NJ
z;+61qF}usIYW?In;?#KMxyTcJeHqDb3xzmNt+EDJ2}ZG-)(I{!u(UMYn%rK0@p#_(
z{V%3-un2J+s6E*5^F3c9!=GjH%Rkh6e_Zx}_htHz%L^H%yqm)$^3c46Dd1J`B1=AQ
z78k}g<}<OG9fF_g?RsJ~^9t(C96G$?A5A^D`9kK8!l$u+ou9pEYTKbP!Rp4`&DC!@
z=1phN6AY8QlFre|q|4F0<378<>-<FaH%6ici=HwC-`VN(DrR16k(I$D7P~iIldpWA
zy~{}Nxs~yvx86*AN&Sar6>)Sh>87yl;3?j9clrGjFVD<rcUR$O@p$0eFTXUKOND3u
z{lin(YcI9#WR&b(#K6p+8Y<}#6XDWm*349Srbk<!arc>^CZ@_eU)Swn;oZl0{mg@(
zOuu*S^R9en^3`+CORIe%%}mc+KF@JJ>n<<I`htJM^w>AI+wP{n_Ec$^o)jV9_FBs1
z2iu41iJy|sy7|5EOka3m^>mF7GH$A|_tcJyESsotVU|6EXSC(|BU6>8pL;6zn(K45
ze$4OpHZRO_E-1=!Ez#5Wxtp1=<j(P)mFi+IIK_5Er3tZSP1W|dt~YnspYL$EF5KU*
zS^Kz>{ei13Oe=#qg3F~ORz9A1_=Z8pg3VVZXavlEP;vcP*0r7YOK09oJpD5!aqg^h
zRVU_)PSk5PD4mh8WS=Wnb+FDg9p5wdxB7GzIan`jOqBhkx7a#|YoYeW!U%^#TSwcc
zt*VO{F0Jt95$@TtAxDvUGP^2&s#+)0*OOcSe=Fygxh85qW&NS8|K-eb9(pOR(eyD8
zd9j2$dO5dn&z5a1jjIe6wls?<?_+am-1XFG`z%A%`jC554=z}KdA^^IrY!5FsRuzy
z-z?@i&!}YU<H{p{Hkh}Q$@FCEy)RcjzAmiYZDsJP@X+oi@lu&wn=5CgOQ<PuS+ve!
zE}6;JZTNY?{EaGHS5&4aNA_1<E^gJ+I2oUK@hjJB4IP<pvL4rs&0Q}mE^_dHq^xw}
zFpEp$tS4S)FDKi4`Jo%r7IuDKwEc~#-ApeJu_!)2BE-5$iRpZRfo!Bp<E$n3_v}2=
zFfYyS%f~GZAO&T1Vu23d7u~GsQc?gl+fV54{u}r&#rChp0`}RjoEbG@pGDqL?&)NT
zO#Nn)p=c>s?j@4J$hswVIh(PMhyvFVZs7yWz9K7JO1JyF`E+YIh$wK)xGT}g^mc*6
zuB-faOFNlLb=Mm&Z285PdhE0pxHV=nJ7SST)>3a>buOEBO;hE|5*weJ-MzB(2PbH_
z0Mymj2w>-0a$2-I_4=ko4M!4YD=*`Jc0}f@NP++dT*(9RN55uWUo=l6LF)YuHtVgC
zTCYRbEq({`1So$;xiPBrWN*v14O|c-9GdiC@fR^SP?sjKLF0lEm&40ThuNJQi-hky
zx|Z}TaOdXUFmI@=gNVa~sPtnF{vsaYKRs-hSwAtHd&+d_8Bvg_Alo%!*&-_X8|P^R
zyn8h7-Gt*;K*KB`iA4@OH74jKE7)k(x!l%$`li=k<OFjZ#MrxRolF5;J&hlNIh(pT
zPsg6}<`LfT(IC*lnCnlH+pIu^`sMbE7y=K3?OO7Cf^MDw*9#q~Da$vDZvJu3=0VZK
zZjB2}TrceVI@E=QSWOl<>@xW<;mJY4x!b2~KH>YHdvC=>@OakA78k}v4w28!wlewK
z?JR#k&sHiev#RR*yV%_o9)*5Oqxqe$EmaWFxb8CZqv+pC=9gXppGpc9xUMYmoxLq@
z?u-jLHUg_IG%)?z$QkY=aza1%WV542z`Dn~rnDV-x-5N`?S>9e3brxJxv}HpMfc2m
zDjE!PF1>ktvAA{XB8H|bRaX3N7R?L#p6##_<~)7&m_e^<-~zRs-|nmq@9(qwV{kS)
z@`j0(mD#qux&I3MYc(dE%j0Wfdb&;e5)aE$Hr6-m`dk`+rKmrB+1d2kFkdg{RQ%}+
zUoEp%v#;c5y_9<E>+2QLjI6IXgkMCy@NQ?=eQ2si!2FnJWv8c|JehlYi)2IM+1aP>
zD5d7Fh%8d&d6f0K!rOGQ!>-Vc@m4ikoV#9g2=DmyT)jN=+=CF=;*8mziyUg3PHvwb
zrEn-9+!Rs~Y<tkEonW{ovM6@yya%p#H74lsuetw9gqPK8z1oD5vxjYu)rx+&;bmWa
zL8dSsl=X{h`K8qgermP(HWjDx@a+Cy_EW1N*rm~Cl>qC4l6Hevl8M_G+0)Ezdpa&B
zOwa!(6Up)8ugK2Dv$734nAWy(e$wC3z@M9;WVrXIvzFfd&Urj-WdRDVNfrC8noej;
zc=trLPxTjb2UF?k{E(t!&mLa8cE|Mm(+Srv|5&l?f`g{U1SO3-?`@hUifq5$l;5y;
zk2!PTg1nvIc2`b|4gWRUtbDuul1a;V9c<0JRi&`4nd#*#j*tZmwajmOIHvFT!|2i|
z_QXr^%wy?-w}oH7SWc+W4~o~F$28A_`(Hy)fWq9hU)G<T8Njg0RO#Ht)qyHpTi!@}
zga<z;+L@g<sd?`9(<;l2L)NY7`?FAHk;A;L8?)cu_UJS}xpB>9*-j?i6Yp#KcE2zA
zsp$1`{`>YBJHGPi*|*HI6VP4EaOq6&n!woCcin>SXT4l5Uc~c0(^VwHz3wn`dfomR
zCS~jXoxd(AQotGhdYAZ{$G^{t{+p^@5>y_rKu4s(WKH17K!(&(AC)zkE~{To`|Iq&
zxc}fcY0JwZ2d6(M3OIbS|LN_gA?Dd%P8XFt&Wddmz1-Np^HaNx!Q{FSqejo$F`nyU
zZg(sfzGu3LQ^eyf+rt(AMcfxT%yxLt<$qi@@y4mMb;qZAKhUgcneU)(FqM_D(3V$o
z7k5eQYWE_$oG`I16C@o(7Cb5ZI6?6D39F!c1>!HCdDZ`Gxo^FwlIQ&P3l}mnRQ@Zc
ze{<**XmH>UY|s$c^u6`tx81+~D%<du$}H5Lxw;@k>u7w_YnDw@jE;Hj^0}C?f<dIg
z%f7x}z(Hg|Bmcyi><rBO-?v)M;?Aq(EqHQ|=?SC9vs3e{9bblYy)6v4e|KU-u!F*d
zIl=;bjG)%%iiI{$k1k+nT)?XA4r)j$adosTIW(*9wQj1*%Jl2+LR=X25=C5(ZmM-@
zOy`_CIXESx$VZk#fh$17^<|_Yw;SW^sW;|nxTa-V$uof3m0pLrH0`HkESYjrNo-2$
zzfL9**TBQ;CVVojUvi}Lup_r-mf`E-fBaAxmqs6_Ins8`(;hN>@2m8X{jJU=z^c)u
z#3f?9Gh)+2x%G?97<-jBJZ>*{nf*{5WT_x)2zRE4n#PPB49?bTW*(pVU{wLz0ycH~
zzy|Q3`-4bv+43prmVDiO-#FU$bc%d?vHyG7htu}nsl9J)th*L{S~H<_A;b3w(Cme)
zhys_1x=cZna*DyD2@;>xZCF}gt$O+L?(XupM)#FuRy6-V_W!9)VC>WQm0M(ULsJ?S
z<cS<GYB_A1Eb9=t?&0ysbVvcU;ZH`$pMQ|SQvtpWFCN4mnpvbf+x$-T{>5E})j!%U
zT}f0s%Um2ikGE!jfz#qYy-|=+T7&AthZqAB3`80_4{<+<nsMt-)5CSnepAfdYy7N@
zJ6TyJo;Yc|@s4U%l=$?){8Y@5+cP~sPe{76+fv$~aqZfW8N$_OPHs1v{zL?*a4k8p
z(Z82z*~97jo^K@#&iIEfduMgX<k}W>v+}f}`<~WpJmpf{+J8@%*Sh(=v(DsY{m|?E
z-7WE4@vr$^E{!7WtVdlLPoC=mkG4+pNtb#i#%=pAI*;$8skR_T!Txn~XV&B}vNqf;
z+HRkA^^DK~|0mA`-p6&`-?uJ$%Cta+_suD-2lF548X2>F5dN9-oKsksRcV34{<)HY
z4or+c_Q(2)2b_7IeBgR$^e4X)AbaZMRe%3jSE&*)<*&f9o6ZS&fsfj}qZ}CRSsqB=
zx|%avGVq_I-&;kGcBW5kC0YRt^KX{U<hwcZ=93#zTtD_lZJZYJ|6RasA+dStj1@-Z
zTiz~U5DUBh=Hc^)-~0AIGGAIHRLAJ{aH08~^{;P-m~;KOE>QFM(B;V=m;A}k-=*?G
ziC^<t15>Pc_T`<qyO(XW+1kv+uyW3Ct^d;_4<FJk&$#Vv@U3!N`{C9ZTNgE)wpq^2
z`SbsxwpUZv?XEBGZhF76R{ZS(hJC^7uG)#QoM=>-d!BRcs}81#fd}r)^b}igE#SaY
zU(dY@cK9f-bGPT3VQqYp=?Wj$j(v_R1Nr?AeznW~@$XmQfjf&%#9ny2pyBlTX;NSR
z%w8&z=-YCF+qqFh{H`eL8LgoI=X6pOSM#$Pcsskk`^%TYyN}VPa8KaBxse>duCz0)
z>k*bXw9vq>IsX8UK*E&#z$iDy`eUB+?$m`xsJG@fXk7Tb=<}P*SI&*||K`-x{H-cZ
zJhY=U+s?RWe`@^UHr{?)GqbSEIlJF&*;nNCTh8#^-QS<*zrSn!X7}FO-&d|YN%4I@
zwYEPwdA8ZrtwB5gFj_7={{D4W_Y5hs8!nA%0SQ%A*Vnzw)S3QlN8R6l>+b{`pDI@U
z5&dKLx36#R{e3cdclmY0=f8U|^vRaqe|+S~x3|&TZhW61toQ%__KK=sACJG)zL~Ff
z{P=6;s^UBE-`?J{vu}5E=hfia$DeqQY~_<W^lomTgL4yepu)9Dyv0k8`#dvOw0!^Z
z*z0{I_r%?&$Njx|zAi2FWqJtH%QxyBAD<hast?swNV}`?fa^QYRr5nr%>~R4uk;YP
zaDk^$LttMG&+e4>H#ghsAAGuWMe;fMUndT)kN&&vvibbN&yw!4e-1@jr^$z1UKq13
z_Q$baVc~w;WoLzhg_ExJGOdgKv0<mnI-cbb2km(8R&_8<UCi*!*;)7I{Xb{(b9cNo
z+cV|(zxCn!9#6e*bUge{!JX56zb|O}*?r^h|10MvanAnVE7jY2H@EG#Joe*~&~usc
z+7F!mv;Ui4sj^e=S^YQ8*Z1umOH<P;p<5eflrDCdccUhJ={wuS4^!r!(`b0-s;MWt
zkbRNEyxO2$7Z@h!U5gYoSiSU&*@veOveV_wejhHCzuGIYN6voolUod2E{tpImOYPa
zH@)J%WZyQWK!@{7g;`aKQaP7&%=>qc`Tfq<hqhmTsQqd=WP0>})T{6R|4Ga5c+{w^
zSNY_U<@9@%S98PHM-)wEYhI%6c>d`|hk#~{1;Oir(rsUFIGrr`&hg5F)c2iC`n8|$
za6enuTm91b^b1dy#vM)y2jc7={S%$Bbk-razbYTu_k5YK^YgQN9g>IdGBSM-o<5y*
zfAa6BPt04ipRl~RvT=XSJDawJlTtdFl=^4=vXfb7(>9@p(U$T1JdFj4k0)we$bZ-|
zTUFqZ(0Wc*m6HA^2QSwD-~4v*{*J9aPuv;96IaPOzdj{#fmz#yap%IT7aXi)*DU$4
zq|CNMgM-!2>ciFay}#ri$649%x-@PQ<NLX~M|SPo3;#Zv%l|sjB|YuVzfO0%e}&ff
z_lby1n3220?Ub{zRp5cCwM;GxPCltU>dI&v{(>v<!Sla%!T$5-O}qrkPFE*Nmwzw2
zq<WseRp0gqd*!ywpAT2^=k2XOH#2=+@c~QrDU-}RL@tEw_7~CcE;~4HTiYp39apaZ
zR%Wp?0~BHxFZ|<eAE@A>!Cf=&!ud1rpP1`<tT#@6`z*ulbtlt9jR~8}96qJ&FS&PC
z{_m--IjXH?w^yuV-5Bw=;O{fpgWucEuMuVaGJoxaLqSJYZQ<hI+P@_F$FJUQaoxzW
zvrLN|d^Ijy)fQ-Cig5c~dvL;ke&fmi|Mvf$S)s>qyrn@(<)_S<dH;+5SgNk`KM;TX
z|Jzwpi(XtT&YQWJw^6<F(3(5-oR53W_rx#bz87&_eTR`>f%}K~f~=>uid1ENtXg!S
z_WsTNG1mfvJVZDq?x{Jq^}_B?d!K4FJhjk^PnHj};z|gYlAAG^h2`%7_5+{lo94O;
znG0~P_gTXlHA&-@6Qj-a59Z&VzPEpLM|t0e#qw)o{yfeXVhuW7YUgC{J#k&nh5co&
zZjB`_%`GmA95gj9Z0!*^J%6Xmu64mpOy|FR^$y$rfa!8jfWy0;AK9NhsSca&@A@cw
z!`+vfMUzx!^Zw*1cWsOiNa)-DYpwGA$|q-C8W*nHJb!7!|7icKp#oelJS!Ercv_hh
z1@(27S<G85&$Xmui|4+m)P)U8P945_)nU`@@9*EJy4@9BGU1PQ@f785`>y%#&Q4@#
zsVw(6J@r6d<Xx>!rk6qQA8tP1#gxGnQYFh6s1WmTcd<o&e(b-ui}RvY92@Igd(yn7
z|5=@}dtai$*&}+M3s?%XL)>nh%=>F6%yxLHm3q1Bu0!Urd+qd^pO`o5O<(r2=ggb-
z4-2Mp*E$6-<j?9<R^##r;QxQ^+ZvA=&L7_dS-l(^MOc3-UNh!ky;SIXE~{u!gPekc
z*A@A{*IdQ-{%5ZfnegVn3TNS`y*uu=uG`;q;D1cay&db;PKllW`2Xv5JKvUfY*ukT
zH2=vB)2mm$86KE3+kX0#yT9It2&HI#Jn-5qP{H;1y$NQujv5oz^(}~h#2lCqAz~oz
zxKsIxY22S}t)Iou@fSvVXE8p>i{5|nYCn_EVm<SR9|}C~y#M$7slVA2>AEwbJ*v;1
zJkU<xU->QkS7K6EK-wDr%bSaYSbs%!mAL<EW$AQt+TW6yr}?~+#ig<2&?TMz2gkZD
zm&Yzs{inPC<Ar`Eq452dx7Tf8;)}1lDy)95<dN^B^B>=*s;YK8%bCF*cl^}S7wt@+
znio7-$Y}lhpj`G@i41nulDviPhnB0gE>=$eq!6gkzw4U+?rAxlH>XKU{G7hIL}bE_
zvuFK_Q<LWye3D-N_t^FGyMKST`*p7H<ntf%r{7<2?32M#2gb_Z3rf800~ff6T#$_D
zZ(!1V#qmpag@ee29wx<jw#!%be{PQzKOz>u@M-xx#d*E=OO9^4zw_Il*yrzeecYu#
z_xsU{AA;PbJNnk13ANzLxWOvKTBH>g-&i7M{N$b6C;ivACb4%i{c1c=BYbG?&%bk?
zmo8|i|90lY-qSqy|6E*O_fP&G>-$NS1yiyUi)#Do?Nn#-?ufcGac;touDQqezS%Jy
zG!}hJ=jg%b=j)tv4)A_o?C#K5qF*)d`Ya6rrOK>%ukV++GFCn@)tfS9o*9QH7kBK%
z+B2(eYTTM{_<&ufKIU_!)Wq0Ne|k>@E$2NJtN2t=cb;Q_9@moB1`_jP#Ti*Isq(i?
zaT8#TS-vg*u9fA^+~_s?n^doc28nVj`HH+?7udJGyk@0J^TGH|I}xsuuk}C5U;VSI
zsyL;_^~0F$&(mVPjwyGx{y*t;Z^9f6g_D;K2v4kOzGXSH05XfWij(!p-GE(v777Ik
zA`^}%m~NL|CCd6qM`qd014U_OXFguu_-F3M=^iKdAASF0z00GHX*!pk7dG5!Ir07$
zD_4V}FzX*l=D#&&5BCXpvex^FOxV9s=zc@(obT_?)qdxEZ@2KvR4zM)YT0YWt-r(1
zb#ngZ+MY8pZ{4M>qFnYD&84`OytbKPmAt@Iq@y}ywY}yUy@{{7di26KEV<kD*D}rC
zu2Q%82<Lnz)+g^=jI;VKzIS?m%lX2c<Np5dZ<*TW?hE|a)41-l=FaQ`U6m#J_uALx
z))p^ns5$r1<m_%^casOd-iEH9Tl(tjvoqJbm@Z%5UH<;o(uZ7$f^W22SOqH|3#D*A
zFh2ZVPm1e+V_?!Thr1dK@(#N$KMfYCI++>1=|8vsv59YX1}|thGV}iVE2XxP2YkFX
zG5i1PX{;0d`7(>W&8hLy-sR4cQ9tKZYeZCjI{Ej0M?{4E6~?-Y0Sb3F9$i_@bETK*
z1kZ**26yIcH^%y$dp(DiMZ|41p1k|+rG*arxnw>08f)(5$e7<(tv}{qzgRSAdW)Ke
zRUm`FG^P@-_>~Et-j-GzZkrKzM&Ra6o=*a9yL1{O{;Ik^@(b%KbB362@bl#)_TArB
zOqaRwd1Z3`j^}OSB{%%fFgUJR6jmV>w8Y_?b7S2OWk<%JJvV<>T)wSxUSdMZzxD<-
zpEu%l&rhrWJ6mcMc%Ww4Mgys>LQB_&+=#yYdPCb2$LYNju3Id5ttv22bpi|PrBt4l
zbdPPFOdKpr&Pg12ePgTUn}w&pN!Pj9>Q{g9w=es7@zdkZzq|EfI&HQJ?3e$v^w56O
z%}UQ|U+(zb|KD^*eb4fIyT{Lr`?z*mdroVfx##BBS+R@%=AV7yXzbIlyR5eF$mPpl
z*A?z}xb)Tj-iN=u_m6*_Vf_EgkG+rM(&9Sn>wcZ}v}aT*{5$E7=mVoP=}Kn%Ul&gu
zwg2~QpBBsE^}5LiME6X%(NQ8=ws8~7qy-MUdKycX3tj1Dx^UyhGT+CK%>)!!b$*Ix
zrtzmpMTsv+@F`c_$PuM<JEE<*kGs}sm-Uy)t3yonl7799vU^_0onbt4{>=Q|+T~lt
zgq=9pGopKA8<adHVjy#}8RvvNnwXXf1Y~PGh*DBl+m?TSQ|t9$J+3W1Gk&dCZ++#)
zcs;AfqW0hGnRD*^*X7$eFUaPpvgR`V*l9UkhYpDa9N5p@AL^@cG1&OfJ;PWd<-mj+
z)o1eO#8?_u?h$cmwAuaP&sCOns~9VdlDn9kdOWU%_cFcoQ}qapxWUBbaHE+2wOy$s
z|C{Gov)+mYFeE&8Iy0yI)hG5BmW9n43e#85^gk!!G(Gl0fJ4WZKRdq9W??-wtEnvD
zK&h6a+<gYS`%n32%(}I+IIBw|U{MU~>Pnv}+4DYE@9ALL*ka5Od$hW;h8fy*{(Ifs
z{rItKYggxc+f2&Sx@_t8NUeTrGt+*Rch9q|rc^oJ+)<eHXyfsy5A0jonErhTwmRYb
zY7w{I>(A_4nwchO=gW66#GLq9{`4P%Mr>wnmqVqKh{tq2!Reh*&Wz#j%6BC+W?zq3
zoteYS`sX`$aPM}#YxkWJ4vC5!IRDYwrSVcN^SV8ZZ*DziYFvGG;yhuF%S+FzyEK-#
ziWDwiY$`HgM`+?6XR+Wv(e^A?cI9Uav;N^+_@lBy&3?imRz``(N$i0M5j%^1_$o|z
ze<ijkReeUi>tQpC*ucLYuh?hm`D}RcxxVV{)Blo^^As0rtFcJ&{;xSQ?Zc|f=pC_s
z)y3skO;^kBe;>c*WBFEHtAbSJokFLxPrR7Lc&GZubLP!k8e8q<kLpNHmCo6-x~}4C
zWMfiX<qzTV)^81w8|~!7SD#(}=#_aw8_$Ny$-g-_aF$%<m@)s3sOhCh+nf#EE{!EM
zCjWN@`&s^syRLl2@|9(jGat*dqGnf_?pDi3&)3N=%;ngsYqBoL<nQ8hNtQor9@R2j
zyYYVN=^s-kmAzVZ^P>H$oKsKOnRcrhJUAfpk#pUGW?shF-7?c2amzEXUivC;^8!3O
z`xv@9Z0Ujqv-=I4EGwt$*6cgSp~vId>0S2fU(d?9KOagg*(u&Cle(pMRx{tfE&DzQ
z);+3Q+jo(1!<q{YY9bzQ4SxQGEbCe!&*ZT3<)*k~&Wm><PMh1g*RMBc@QUO%=UMo#
zhWoOo-bd+^yi@-<9o%t$nT_(gu=;(hK3nha)tCR>Dlv~$<D}KwWqiCTu8k#$O;_9{
zw(IDm6o`6>6&iO0RNZ&@Qs;iLFZ;~>pZiM~xgRu7Y!>gi{Qca|=cVPgTi>jmZ~edc
z`RC36GqD2`yyyIX_Kj!Wtq;CYyOKMC+u1fPa@fV;)#b-LrC!rLYlh{u@Exj|{F4@4
zbf10b-@Ur^KU`J_C>manIh@TK<8|Ftp)^B5o6F(lA(l!t@8-fuGV^C8<>U%3eE3j!
zp+@I}iC)_;`d$pkND%S3-XS=lF~fJQzKl=NF7b2rmp)wh@S!tc%G#2L??rmQg)U(5
z3-U@|_ek!Rhlm0fSnf)InC|o6Hk0aqU6M_lGkIYLlZlOqO^uSs{gWlD^X?>fTwUm}
z%a6ITORt0J&!o#B<3e`5G5?}|qEerE0fW-7mueqxF!#rQK9&8t`fY&fL;d{27Q(xK
z&04|{{3)|?QdmZXhMnLlk*nJm%1UNwU0xdX<jgLe@{2i}^%~mR{aY3tn!2u}V1>c=
z1dRz+4;Qt5a+<5b!0~yy-J$$KNZ&DZ&HnChMj2lk&wrop{)j79R&$rsyubU_eO&tE
z^}qcZ`OVGukL)k%HTyJcp5pa0$C*;^d{ym_v3h>V`fqXFCDq@u^J3E#__<EJclz|K
zWzXJ!`Mme^V%A!!|GPNP`F}^{i|@7Ny{231yx#IlaHYGq%?-2o{Muu8h9v6-op0V8
zwJ#NaYwnm|cxaObXGh7|mI=~wcdXwzh5V>``{r<3eZ-~*UazJW^3G^qcT;7?_Jz-6
z!nMs;6b3SsH{L%ke6m>l@4M4=^&iA{@4G!|d7F7;-QP+1wZ0k?Zl&>t3fUWQEqUj3
zV_Cj}I@f_EN2}sK$#PCRG{MzIhIPYb-kogwIVUc5@Cfa@Q*&%?@#PJkf1Ec4D6m8)
z@7-H;_|5$7>)vnMBiYB2m+;^=r^~WDRg*Par7jvAefdZ)_ZQoz1q{>PpIEynP0ZrI
zoKmYJ*ZtLB&j{~3GF@FKvMT9p^UJa_-Cu>z_pJWO>CSj3c~??e&&CaEcX#W4Oz>Rb
zb*Xf}w%pb?{1V%0_i>4M$kt|_HJ>2Gx?zbI53`S~n0sYu^Zi2I@}sklUFzAn%z^Rq
z`jWj)(<R?+=RRm!Vp{P}b$9lQgZ8)o#$0}=aiLVa&+<s@2}6$kFRPYKnp?8w`>C&a
z-ab2?%rLLn{rfEQU&dRj?u9IHc=gHYwz+}j&i^Mu=A^WKUU}xQUSXVR-KNCD|1N*q
zmUFY-Dt^~uol{PXC!ha5yE7$lo4DZ5oAGHYm)LK4Xk=d`a$xV8{~z1l=l`%fmwY6$
zFF&&C*(~GhEg`#4h%4M#|JHY6bzY2HNFA>M&$r;$v!WZGC&}l?HZc`3znOJ%UH*dC
zUQa$Z>~B5XRCvVrT+yGqJKx(qysO@_ph4zo?B@o5kBOZ^O8-~&33Gp(3|UlAptdk2
z)c-C2g@E^FLDLwyCH?n(-x|K}+y7Jj8%lZ`n9oK`;A1U_yR%UHdCu%=#}j!DlfI-_
zN2yxJ{_*<}=VH|EpL}G`PV;p;62I=2`_=Kf;jVN4yyDYya{rzG`98e%fvR|H%hP){
zj}608!jtM^-Z$@YZ%qmN``e>uebu8Qv;FpPZWiZeZSnt{sWD}b<s|>&vz<p6^na{R
zUvFRi7c%PftZKdA{hDKE(`8gE&EFWyJ@pr}xTNo_(O=nY$sd1}k=<gi!Sdr#{_QcY
z8WWD2e>l0^uJ|Hvd;1=fXB<pxMOil(AC@cs`|B@5$?H$~@};*IMeJt$xk>N-)uX3E
zr=3xpmV7;__v7~Py=B){UO#Q0o|AKV*~h{&dstXi&Idk{E~xE0qN%IT_4mxG^YWj6
zCaat`)Z_AS64l!*{wVoH*M5omidW6i@8>_RU;n}S)65q4gDk!$zkXppvd)wv*3@=y
z_4jqLAMPHDI{7yAueh<-+~doh-<dN}=xoG^iZf3?e>;0S-M;Q}ZOX2xD#~$Qd#qF!
zF^F+kY=^XPSljN$H9!YuKH9wWd$vi>u<O&_Oh1tcEu1m)KkwI%{dO%ipV$9Amt)t2
z7<P;8%a@hCn={Mk`;MQ14x7Z^&)TB;)2BFHr;=;E#m^h|Hs7lMnRDIuo$<|i`q`Ui
z<?~Y1&enH7SNgu?=K1UO?_X*?W@J1)eSPHSq}G&FzR0WhKOg<Rw&s3)=0W)dBCMZ&
zu&ulEVPkw`k+l)SA2k_$d5euA3KMi@eco4c=kM|VQat<XUtVlrQv7{ujs^pNm*jIk
zN3N4O*$#}CKPaDJyx;a(cT&x>-s`n5_vrT>b7~Y>p5tM|tH$N=i6=*-;Uk;h-x{~r
z^#@snE8>L0_s<N{`l+_;g_1%egT%jet9SjKiMj-8@!aB)s|y|E?mO5kIoCDJ*E4P5
zQQ541v;M~8<8_}-e*bs%{uB4cKfaTnsLA|}Ena^0Yw<ao&vTg1SswUyWJ(iL-QoNE
ztdFW#gBCQT*yk>CxSp@N;Zn)V?}r7i2Op^Z{USHH-um12f3f=_KfT)DEfUL;aOJOn
zz@}G^K2Owc@V9<D&HSxhZL#$~hO3}Nr_j%L%jwgC*H^b(_CMvsI779#zgso)<<<Fr
z-=v3mURwWWZM5p*o#GcI6)H|ErqA2?p#9&`sJsIko*T=)T)Ln^Wn1sZMsdCW&+BEc
zN-DgV_3WByvFkfghZTC)Odnj1@n?yXsedECS^cD}=S9~8`@c5vD_pz(>)O}yKeuoD
zXP%W`AO(t@1}Vi}Ip1kpnpu}FU??lyR(yLJ3+tcU;$NQgyyqL|epq8ZfAfbq%av;S
z5)V9xW$4OuVD!B805)*4u6Fs$JJWVd4=i42nY$tWa(v+76~bw6XZ&s3ai8Ol-Ml95
zU->_mN9*tT>U8qYlQ&8X#`D>k6l8es%(7p=AadfdG>2!A<B0=L_jrBWbnL8X!OpF*
zPKiN&lkb$~U*9_8Lg`#?Kil8^=kE#sd-laRA!3K=f`%ne-arSy8ukdkaeTXC+Z~m~
z&zy=47cNn`#FkWfw~@u`$=lgy>Yr)_95Flaf9AjZ_&a(`{}wQqB{=7rz52{9(!f+%
z!~D=!KGw6<`6pY@chLzVCl0E3r(LxXKNsJol7GHw|2wUs!=W?XFW%Vyd787>pMrz@
z?M{p@lK+1?`Mu`R#Kgb_+1-lLYd;8g{yf6L(ACWp8_jd`VAHzZNpH&E&zvXIWGAer
z@S<E`N-giYgoCQL^=$uLdTeTP)^$5WwJWR45|6Wfcl)B8?GHW*WZ2hu<?CF<iD~wS
zpPiTX=w*t1&0(<p+r_1y%nm$jy0>0<-~EfZ|3u$ptLnxCEpBK_I<&6(!i3L)XP!9~
z1}@O{YMZ|!<9}&|?>Wf8%*QLnFaMh@6u3Cm{KD7#r7x5oWJyj@(zHGw77Ve@>+V-g
zn~4{mN;@<q`f6O*dOz~Vqg1VTksaUSk4#$2$ofQGc$r({mE(d7?e6*6_jEI@>{l+5
zUDkT!(mGp>%eAv7@TV+hC~Dg^>(~U-%VK7Jm46sBT<2Rcti3NEAi?#d@bQDKFUlt=
zeqt-K+S=yISZTg@hsFdZjyI~aH6C!S`C=_{{Jr6>#~a_r{h7P|)-g>zt{D-+<*Eng
z?3nYUjL&|TnoP~pH|FR6c^weUj_3Yqw$saD|Np1e_p8n){hWH_ELTxz+R_^VOYI^T
ztSK(!c5bveDXS>+JgdEPvC%7M#vbwgxex!ees=C*DGQ06+`r++x8nHQ?|h55yNG;v
zzxJ$8cinlZ`3?TXJJ$p+aM-oG;ID4D^7{Sv|9-vy^VZSWg-7-r7Z7o<SP;*ZxGPFA
zJcGfvG3l@9&y7LOs!N1fUA$sH2~K+Z(yQX6q#DEW!wfr))n(f0i5T?TI35z&#}=XU
zW*(!#&mXdt?A4rNC;qRqWq$Uk<FeQU(T^{qr^oI6l2y&8`djhj<`47#x7~LvR*&ho
zytnxW`}$qq*9vW({;1X<*zW8f{^~FG*_>Q0XO=wCJM;Zoz4(s!%Bfwed$-@5c<BH2
zkHw$gsdP^Gr(w6MJtmQ<^SWZ5IOFti(E@?j>z}Oj;?@sV=hEo<_@#Qzg7DnAY)PI?
zOixdxPS`aqX4!;n{`UFTtv)ZkKmGKbMJx2TKKI|0z1`5Y=)%O+@6=pA%wBfS<>^hg
zV`t|paJl?2;t|y;2o)A!H938?!S(Rgok4pa)TnX2nDTn1?U#w|@!NmJD&Eug3~=6*
zy}em{qf_$S@2~r|ypFgV`H6+~(Kj1au9ARPN{8#FJkOdYY5vGnq(gPfk&W-U)w~Xi
z-imy2YuyA5h3`+#+%EsKUiN=_!J*U6#vDx^3J320KL4ltnW)|5Ge5wSNz?W>&RAWX
z{bSb5<J~b{7ZbK>Oi-UFuzunn@7GFq63?qCaFy)U&wW=Oer2XcfEd@GU$?(6Zjilh
zUL0xgNIf=~`){;(@&7JuN9m%<r%qivi*n~5vbXeK>JaJKB)W*f<a5)!CC7h0_L4gj
z>Fyx1f}b_ZbmrQ-;T~tbcdX=FxwW(URD<U3G6kDN1Al>^FMA&)E>-0W>t?F_<n;8*
z^Q<WgA95rwYWTD7PrLEOlu!G<ENH0Ne{X$`QC@ap^tUWd`^L0<!(&Igr|IlYbA0(e
zOI3s6;lzxJKQ4_{GCOa*J6$^0rO_;q!TRgEr#m)AslRk-wCQ~{f8|9BgSvFqMGhuU
zHN`)ER|V}9>0okU{Jn3&+r)3l2lC_!9(ZxOWL$b<D3CNS_9wfCgv-4H|95<8&i{X4
zt>tqqF|H>kc{DZ_I}~e7Fpl_eTDfrkUnkIVQy0cX4Yl!B+IA)(%UTvY%sbOCs|hp@
zH^n%jVTmhv`4?yv*%SB1Ijd`Z9UIjG7)}Z6Y>*ZeW(7H55ksJYDVNRV0?lsz9s3qI
zIBQHWZe>x9^M&hN;>@__?aK43)-J9U2z(&<R7Z!=^4`}gw%zad%?2+}1Gz#oKw<gu
z?O(n*x-_P1rU#vTsBiJ<+2Xk3;}^?oAD`n~)KFLZ>W1{Yoex=G?91y*pI3Q~@wrSw
zS^Z&-9X{9dTEXV*2vB(K758Q)lS||Cz<EK!J;!70^6&4dbz#hPk~KS*+Z}p)?sFZZ
zMGS!pQbio>!u<Z{&6~&N(#SaFa|TxrbPtv)7ms$$(#x)5fuDWB%j1F;IGmGWwC0_o
z5wNx>jX%K#Qe_(lD(wFx<L4!!z%`{hepaADdT+yOi#ZwrJByCZG1!;?l>PjFhl8do
zQx`JqTJ^MY6L{U3f*x1Ry9@e#|Gu(XDlV9NhGEfxVvTgQte5MS2L&+b##+0xr%SEh
z_o`Dk-|C~<65e@*S0e2#f6F?!JrUdC#8Vm2pf>sYRVFTlhrcc?ey%fTvu=7?!|I7P
zfeSdFuJ_m7?iFg!b*KKZk6y>(>ASUGzJIh`ch3HTeSan-ZEm+wXwW$Ddy}c*#@gT0
zbidX9t#OlDS8#sb-s<mfE*99BA7X51IK0mGk3Zl3?$w5Y2@FsBJ*LiBxJsV&N&3FO
zpZ;`wT)OV}tzD%>MYqi?o0jaemPt#Fdk7h$`{aLMQhL7&W3jA3y4sSIkox^x*Jsa{
zXMMNx&A#Ni0=GJj6T!coMKpYVehxX!#B^4JAz9};%MI^6weiyCem*weB4T_#_Ak4B
zaO&%Z2d(!fcHeZ!aDMmkQ2wL%Qq#syyFV{xc*pnr@lLzrUuzGZ|9d@QTlYa7&mu1a
z<JgUvSy|7|t<>ag+orwd!Kvb3sqz2n`z*e9=s$_6zU{-W!c`J5Z_a0-Mh9cA6O$cc
zxp(b-e(cAUo<r*cigFDO)IH8!)Q}sJq<UECM3aKYn%$EZFeogzFFYlLZKi=Dze=Rq
zlWfKN;w*e7HH%{vdu;B%SlF~#cR9Nds}=Vd4+RZYR+WW}|Aihzi7j7V{&v>9bInYX
zWLI@EJ$t7cd$fgx!^@HJN6Rlqhw$S@3YY2@Gt8CRcTw-pT4|;%+n^4O36~C}yzyHh
z&tbCIp+diKx^?(GLxH;1Nf%uhm()Jh>~@`g>{6h@t?wmlYATjW9L6`_i_W_na9=$9
zP{N%BGvqij)>bP7E?6ZV9v!#ZPh>(m=a1*bH>2&#|2;p)Utd-k!0_Ah=ib?I?4NB|
zE1A>YEYEggoKgI{hjZt7hoXR9Z8`g#V-EjTSE>ClExTgszE+7vfR&4_X->OrdFlCW
zJxoQ+58N9gs!tV&G+aEYC*%E@-@mrt_1|JW=(w?W-v1-Y^8YPrL?<m^;F(>oIi)<Q
zU~g~g!iGruM@CT<Tn_`&um7vQVZfN>f2sBGJZ7d%`73VaDEf$atoy^-eygEDV}cZG
z!nTbiN|)YrJxe+{?M?jC{5}?)7|-I=g$+mUs~uk~aCvv}^Dkc>_dox$?}7d^$H^1E
z_&6~HHaIN!@+4=GLzala{Pm|>xfd((^PV`(^sxQK^`xC5A}?my>h09`Jl3EstXdy$
zFFxf6FE0-_;~Oytkqjn|Cr^EJ7c|tI{H8CE7W!-b|KpF#Wa_QX2pyZgKR)WaOi`;r
zT3tQEv^OGY{(R0)7cmqmKiU^AB;S1GxbYNwg*<+jir}^;hB9siE}jK*o~Q2?+d3gH
z!*pRo%FBtf8Fjj!*(y2Bmty@ed)+2C2_Xs5O5WP=18b#Ocm2BhXxrMa)m2HQ8(wfJ
zZT!Rd_uM}P76DccmWx`cpH22%?P2=lQ}HuK(NtfZ>&N%pv=~cPE)P556Rsi#?v-V`
z?yDTvivD_j1Gk>Do&9so1uYDV7#bBcy!YgZOnC3{giUB4qt5iofCH?IW%auz$nNph
zeZqBOeqEPjTTCT$VIu?Ey(2ewG;;n>e!9F)fT@FtrKvHSH{cvgv#imsX$F66{(N?x
zwJsrXlDo#n{)sK&8^q<gSpWRq_TidC?Dw)8p^vN1q<>#6-M8n_iQj+zm%W7aN^YK)
z&CLxk(A=qf{rQ9EpQL#I=Xgk&|E$*ia(m_Mmo0xEeg7f1GfKLZnO(s%D94jSflGjc
zjjiebw?o(G|Nd3~RiE9;J*L=xdFu6j)e+|y{Odk{Xq+Ci=li4Wo_4|sDapR!A`C1)
zK6(g=70T|vlF$CfKK{>i@Bc+B|6Wnq{WILQ@R6_jy(d-gGUlr6WJ{R&m$NA5v--VL
z>B>tMvFGo2BF(kAS9T9C`wz~4>$Oj-T;t?8yo^PNse_4?`CvdOo5aNLb<pnorUnI-
z7Xp{gu>8Mfb9&ut^&Rg#{^hF*D3o{3-ko?QU`G3gQx7>k9vYeL-}`FoW<Sxh{0$6g
z(#my8^B)$77&Nnfm^EXwqIu~<ORFLU4tZxA#>!dI!b}}ZSF>(xI-Gvy0C)P^8MP8s
zS6{X>NF17QY1z7iO*@h~xDH$>``U3LSk2i@!aIBdM}GJ`$-Y*mhhMD=uXBahI{w(c
z^8UiZ409Lm0=t@}spYZcdaLZuk+V0xcp;N~)tvw8I};Yxl6x!X)-siE`TK?svbnj6
z={2W6^J{69`5&NjOE>Ce?fw7Os4`9$c=-1?-@VXm1;hV}_th%A+IU$uBr60iC{mDk
zrPI97OTcu+>c`vXSN^yVuUnJwkoiVqqT(?<dCi2E0S8!`BIKCPOtpFXA@aoS?0Jkb
zlNR_?Y(H3cqh<M={|VA8r+r==ly1HFr?Nt~zs-R`u|eZPOPkf(3-b1Psn3p2e^lq(
zwID%gLY12Nw3UGe%(`MXGJI!E7TEOK^tYMUqOZ#eeS4XH)ZCf-$6)yf%ZvM612-z2
z{oyOFAGPVtEY>X|E{$ys51?bLrUn)N?zP^U=43qcoawac{(rx{p35InfBv)k?=P+g
zbJxG`oc@&gLEs@5My{`S)K~s+`c}jpJVowK=k3Ogc8rJGa(PqQbKd>-(?006h~cYE
z)8nYa(<j$~HqgsEyb`nv{Neudn-J@Ybk0H}-mPr8&x8X&OZL_I8;&-*Fs^zo9^t&U
z(f(xjq7J58EdKM%<QZNwbufh-2#*TRT6ni;>O<x(jRo#fQq0Dx6EqxDr}!N^z9@P7
zf`uB39OO=Vo6qER5M<SwxXp*jT6jmRkWQC|!I}V8g_qq1YpzdtuM*hcr6F=J!<%)}
zYW`a<(>z`pPB3s<w=sr)+Dyg;x-19S99<Z*5?=Di++aT>#I2$A#CqN3KgOW-sv?~0
z0_Qe1rzakCN@8@i-7j|T{`}1KYuh>+85S{wHaI+0m!0wW#I1;}N8cD-+XUO?zA5#;
zX3gWrv(5AGbQJz~v=$crv48)JK<>?rPS$^)$%mil0_!$Wm)O?K3Yn2*J-n^z>x&nM
z`48{en)3rP-BkVIV7pw@z8JftZw$Pp2N)0hm3&^Wc>i+zGy$;VxP*GLHS3zvgZR?d
zZ9C${B2o7y8@e^<_L8k_Ofx2L&Az_A{>j93&+eP*LAJLaXcF4rpE|St2SbFUi^zf(
z>JmE~0@K?!ojmzh{Yd_e4TX;v_wVAVKdr$K%)42Zo9T_<=k+)J8I)H&KVkTbL1Pg^
zXoOv3?5dWhn&}#hX~#_dC_Y=uD#F0xQTA<yzp*ica@y_p@f#1bOEoau*FUiOSy6l$
z`@#;UE1SP*|GGTokE%~$Et`S5LE7I%w{#aX`0S`>OL(w*R_+;TpM9?<f86uwzNyfQ
z4e#|&zfN;D3wK?_aCOUkhx&S^lSOS$cVy=opAjlsp_nGOjH5c{`tqw?u&n@k^_+Em
zdm2CNe_9_j<9|sxSHH-)S32U0eP^VJ^1F&Gn3p_L+py+=S2@$89}gWKT_}^R3-`1B
zw(sqN25mzFJr<7!hI+%W4GT)z?JqNEE@BW}a_KO8k;R9_4U$*em}63$W;rs}2RPUz
z$Fe5BKc#ZuPy3r6uNjisKmj7^dqZ@p1pCwjjEA`7_x|l#|M#Zco4iC1r!!^N8V`()
zRVsa-alURJ;{yer6j|%KFvb8EMy;J*IbA|R&PU&Eh!5W?7I5Ibuj4m|dD?}o>K{Zl
zTxUNwZT6kxZLuPO4MDxETlH3M>lXD(R%o)nb&H8>hn9|j&q;pO_<gTd&;P$${QtkX
z@Be;j&7V_$S9AHCn)lvjXJ^`{Cvv}6e=t>&K_sw2%I8M?lp8Lp@0@rH4!!%_y*NJd
z<J0hKT}%ago_}X&a7g@MaJymiuJWHI|3v~Dl*B~r<%)mqsr~#daemdYv*~}IyeUuk
zsdv5gH5c!JK>1H6XGlH}>9OUBn|*BFv-wI~0Y_KQz0(vCd(Y=Rlbg;jiLWa4JGp+o
zDP}zL+C72wJ8Q&}nbVK|%lxOgh#{0y?8?O%uIdg6Er;*4bc#IA@7?q4_WGY@dt{&e
z*b->p<2H9?J!n^8OOvn!TaUN>@oDaxAG31**I2}Gb%odaN9QIkZWA`q=+bZq74=%N
z@~XCbpYz<+o}fcf?3nvx*rg|K-w53=vVDdUS3pQgVrA+{CHGv-IUYSv_kmn{C4sSZ
zR^Nn&9*6xw+Pc`-d9(|bJX{VsAm**H^tDaf8QsH+<eB^(Jg0pFsaO^BY-Z^f`7Jd?
zF8e>LYj$Zk1YYH8W8_PGBlyyF#o;HLYxP0rxo9<sGk)c^(Q%K~xnJ_8cskhhAVw|@
zs||rc6~S@8B{HO{L1(*!Ol)E_7MAdR?_{lRG=p6;(Y(Ks!Q)~tSi_=u%(6KR2DSWZ
zJ~NWn=&)aZew$tUwp;9N#nU1nTe=p3mY##pwE-W%0y$Vl#1-UF*ts@=I8?5x`fGos
zS!*`8@I6BY1_sp<*NBpo#FA92<f7EXl2isG14C0?Ljzp{(-1==D+4ntBU5byBP#=g
zl<8e1C>nC}Q!>*kacdAgWpsjpfk6XgLqSTKl}Bb!YOzy(X<kZZUb<6$1%siPiJpmp
zWd)ShHqbVhlDx-}fq_8;rY9`5s5mn}k0HRtP1jJ*gg0_V8ZQF_1B0ilpUXO@geCxZ
C!nqs(

literal 0
HcmV?d00001

diff --git a/pages/mkdocs.yml b/pages/mkdocs.yml
index 69ac30b..6f315ac 100644
--- a/pages/mkdocs.yml
+++ b/pages/mkdocs.yml
@@ -9,8 +9,22 @@ nav:
   - "API documentation": ragdoc/index.html
 
 theme:
-  name: readthedocs
-  custom_dir: custom_theme/
+  name: material
+  font: false
+  palette: 
+    # Palette toggle for light mode
+    - scheme: default
+      toggle:
+        icon: material/brightness-7 
+        name: Switch to dark mode
+    # Palette toggle for dark mode
+    - scheme: slate
+      toggle:
+        icon: material/brightness-4
+        name: Switch to light mode
+  favicon: img/ST-black.png
+  icon:
+    logo: material/dump-truck
 
 markdown_extensions:
   - toc:
diff --git a/pages/requirements.txt b/pages/requirements.txt
index d5ae2cc..25d7d31 100644
--- a/pages/requirements.txt
+++ b/pages/requirements.txt
@@ -1,5 +1,7 @@
-mkdocs==1.2.2
-mkdocs-git-revision-date-localized-plugin==0.10.3
-mkdocs-macros-plugin==0.6.3
-Jinja2==2.11.2
-MarkupSafe==1.1.1
+mkdocs==1.4.2
+mkdocs-git-revision-date-localized-plugin==1.1.0
+mkdocs-macros-plugin==0.7.0
+mkdocs-material==8.5.10
+mkdocs-material-extensions==1.1
+Jinja2==3.1.2
+MarkupSafe==2.1.1
-- 
GitLab