From e6c5430775d2986a0fa71db2f92a089c3992b52f Mon Sep 17 00:00:00 2001 From: Krzysztof Rudnicki Date: Thu, 27 Oct 2022 09:57:29 +0200 Subject: [PATCH] textualDescriptioninitial --- textual-description/description.aux | 8 ++ textual-description/description.fdb_latexmk | 19 +++++ textual-description/description.fls | 41 ++++++++++ textual-description/description.log | 83 ++++++++++++++++++++ textual-description/description.pdf | Bin 0 -> 15210 bytes textual-description/description.synctex.gz | Bin 0 -> 4372 bytes textual-description/description.tex | 29 ++++++- textual-description/description.xdv | Bin 0 -> 26524 bytes 8 files changed, 179 insertions(+), 1 deletion(-) create mode 100644 textual-description/description.aux create mode 100644 textual-description/description.fdb_latexmk create mode 100644 textual-description/description.fls create mode 100644 textual-description/description.log create mode 100644 textual-description/description.pdf create mode 100644 textual-description/description.synctex.gz create mode 100644 textual-description/description.xdv diff --git a/textual-description/description.aux b/textual-description/description.aux new file mode 100644 index 00000000..c2898e1a --- /dev/null +++ b/textual-description/description.aux @@ -0,0 +1,8 @@ +\relax +\@writefile{toc}{\contentsline {chapter}{\numberline {1}Textual description of a database}{1}{}\protected@file@percent } +\@writefile{lof}{\addvspace {10\p@ }} +\@writefile{lot}{\addvspace {10\p@ }} +\@writefile{toc}{\contentsline {section}{\numberline {1.1}Aim}{1}{}\protected@file@percent } +\@writefile{toc}{\contentsline {section}{\numberline {1.2}Objects}{1}{}\protected@file@percent } +\@writefile{toc}{\contentsline {section}{\numberline {1.3}Requirements concerning data}{2}{}\protected@file@percent } +\gdef \@abspage@last{2} diff --git a/textual-description/description.fdb_latexmk b/textual-description/description.fdb_latexmk new file mode 100644 index 00000000..9038d8fb --- /dev/null +++ b/textual-description/description.fdb_latexmk @@ -0,0 +1,19 @@ +# Fdb version 3 +["xdvipdfmx"] 1666857395 "description.xdv" "description.pdf" "description" 1666857395 + "description.xdv" 1666857394 26524 2adbb82cd083ac47c14829218720317a "xelatex" + (generated) + "description.pdf" +["xelatex"] 1666857394 "/home/kuchy/Zlew/niepraca/Studia/nieprogramy/SEM7/EDABA-LAB/textual-description/description.tex" "description.xdv" "description" 1666857395 + "/home/kuchy/Zlew/niepraca/Studia/nieprogramy/SEM7/EDABA-LAB/textual-description/description.tex" 1666857394 2765 72635baeeb4b74acd15c920925018648 "" + "/usr/share/texmf-dist/tex/latex/base/report.cls" 1650183167 23203 8fbc410e29d3fd675970d5f9698c9c11 "" + "/usr/share/texmf-dist/tex/latex/base/size10.clo" 1650183167 8448 96f18c76bf608a36ee6fbf021ac1dd32 "" + "/usr/share/texmf-dist/tex/latex/base/ts1cmr.fd" 1650183167 2430 06a89bcded389391906798ea7a3f3aaa "" + "/usr/share/texmf-dist/tex/latex/l3backend/l3backend-xetex.def" 1650183167 35763 558b6bb076dfa9b058fe5c58dc6e0434 "" + "/usr/share/texmf-dist/web2c/texmf.cnf" 1650183167 39911 2da6c67557ec033436fe5418a70a8a61 "" + "/var/lib/texmf/web2c/xetex/xelatex.fmt" 1651231396 5825167 ab39a2fc306c0f5c8733d0c4f6e55a23 "" + "description.aux" 1666857394 537 9c7cf4dd775c44d78fe9b093a04bea45 "xelatex" + "description.tex" 1666857394 2765 72635baeeb4b74acd15c920925018648 "" + (generated) + "description.aux" + "description.log" + "description.xdv" diff --git a/textual-description/description.fls b/textual-description/description.fls new file mode 100644 index 00000000..8e88048e --- /dev/null +++ b/textual-description/description.fls @@ -0,0 +1,41 @@ +PWD /home/kuchy/Zlew/niepraca/Studia/nieprogramy/SEM7/EDABA-LAB/textual-description +INPUT /usr/share/texmf-dist/web2c/texmf.cnf +INPUT /var/lib/texmf/web2c/xetex/xelatex.fmt +INPUT /home/kuchy/Zlew/niepraca/Studia/nieprogramy/SEM7/EDABA-LAB/textual-description/description.tex +OUTPUT description.log +INPUT /usr/share/texmf-dist/tex/latex/base/report.cls +INPUT /usr/share/texmf-dist/tex/latex/base/report.cls +INPUT /usr/share/texmf-dist/tex/latex/base/report.cls +INPUT /usr/share/texmf-dist/tex/latex/base/report.cls +INPUT /usr/share/texmf-dist/tex/latex/base/report.cls +INPUT /usr/share/texmf-dist/tex/latex/base/report.cls +INPUT /usr/share/texmf-dist/tex/latex/base/report.cls +INPUT /usr/share/texmf-dist/tex/latex/base/report.cls +INPUT /usr/share/texmf-dist/tex/latex/base/report.cls +INPUT /usr/share/texmf-dist/tex/latex/base/report.cls +INPUT /usr/share/texmf-dist/tex/latex/base/report.cls +INPUT /usr/share/texmf-dist/tex/latex/base/size10.clo +INPUT /usr/share/texmf-dist/tex/latex/base/size10.clo +INPUT /usr/share/texmf-dist/tex/latex/base/size10.clo +INPUT /usr/share/texmf-dist/tex/latex/base/size10.clo +INPUT /usr/share/texmf-dist/tex/latex/l3backend/l3backend-xetex.def +INPUT /usr/share/texmf-dist/tex/latex/l3backend/l3backend-xetex.def +INPUT /usr/share/texmf-dist/tex/latex/l3backend/l3backend-xetex.def +INPUT /usr/share/texmf-dist/tex/latex/l3backend/l3backend-xetex.def +INPUT /usr/share/texmf-dist/tex/latex/l3backend/l3backend-xetex.def +INPUT /usr/share/texmf-dist/tex/latex/l3backend/l3backend-xetex.def +INPUT /usr/share/texmf-dist/tex/latex/l3backend/l3backend-xetex.def +INPUT /usr/share/texmf-dist/tex/latex/l3backend/l3backend-xetex.def +INPUT /usr/share/texmf-dist/tex/latex/l3backend/l3backend-xetex.def +INPUT /usr/share/texmf-dist/tex/latex/l3backend/l3backend-xetex.def +INPUT /usr/share/texmf-dist/tex/latex/l3backend/l3backend-xetex.def +INPUT ./description.aux +INPUT description.aux +INPUT description.aux +OUTPUT description.aux +INPUT /usr/share/texmf-dist/tex/latex/base/ts1cmr.fd +INPUT /usr/share/texmf-dist/tex/latex/base/ts1cmr.fd +INPUT /usr/share/texmf-dist/tex/latex/base/ts1cmr.fd +INPUT /usr/share/texmf-dist/tex/latex/base/ts1cmr.fd +OUTPUT description.xdv +INPUT description.aux diff --git a/textual-description/description.log b/textual-description/description.log new file mode 100644 index 00000000..f8500530 --- /dev/null +++ b/textual-description/description.log @@ -0,0 +1,83 @@ +This is XeTeX, Version 3.141592653-2.6-0.999994 (TeX Live 2022/Arch Linux) (preloaded format=xelatex 2022.4.29) 27 OCT 2022 09:56 +entering extended mode + restricted \write18 enabled. + file:line:error style messages enabled. + %&-line parsing enabled. +**/home/kuchy/Zlew/niepraca/Studia/nieprogramy/SEM7/EDABA-LAB/textual-description/description.tex +(/home/kuchy/Zlew/niepraca/Studia/nieprogramy/SEM7/EDABA-LAB/textual-description/description.tex +LaTeX2e <2021-11-15> patch level 1 +L3 programming layer <2022-04-10> (/usr/share/texmf-dist/tex/latex/base/report.cls +Document Class: report 2021/10/04 v1.4n Standard LaTeX document class +(/usr/share/texmf-dist/tex/latex/base/size10.clo +File: size10.clo 2021/10/04 v1.4n Standard LaTeX file (size option) +) +\c@part=\count181 +\c@chapter=\count182 +\c@section=\count183 +\c@subsection=\count184 +\c@subsubsection=\count185 +\c@paragraph=\count186 +\c@subparagraph=\count187 +\c@figure=\count188 +\c@table=\count189 +\abovecaptionskip=\skip47 +\belowcaptionskip=\skip48 +\bibindent=\dimen138 +) (/usr/share/texmf-dist/tex/latex/l3backend/l3backend-xetex.def +File: l3backend-xetex.def 2022-04-14 L3 backend support: XeTeX +\l__color_backend_stack_int=\count190 +\g__color_backend_stack_int=\count191 +\g__graphics_track_int=\count192 +\l__pdf_internal_box=\box50 +\g__pdf_backend_object_int=\count193 +\g__pdf_backend_annotation_int=\count194 +\g__pdf_backend_link_int=\count195 +) (./description.aux) +\openout1 = `description.aux'. + +LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 3. +LaTeX Font Info: ... okay on input line 3. +LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 3. +LaTeX Font Info: ... okay on input line 3. +LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 3. +LaTeX Font Info: ... okay on input line 3. +LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 3. +LaTeX Font Info: ... okay on input line 3. +LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 3. +LaTeX Font Info: Trying to load font information for TS1+cmr on input line 3. + (/usr/share/texmf-dist/tex/latex/base/ts1cmr.fd +File: ts1cmr.fd 2019/12/16 v2.5j Standard LaTeX font definitions +) +LaTeX Font Info: ... okay on input line 3. +LaTeX Font Info: Checking defaults for TU/lmr/m/n on input line 3. +LaTeX Font Info: ... okay on input line 3. +LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 3. +LaTeX Font Info: ... okay on input line 3. +LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 3. +LaTeX Font Info: ... okay on input line 3. + +Chapter 1. + +Underfull \hbox (badness 10000) in paragraph at lines 12--13 + + [] + +[1 + + +] +Underfull \hbox (badness 10000) in paragraph at lines 22--29 + + [] + +[2] (./description.aux) ) +Here is how much of TeX's memory you used: + 503 strings out of 476156 + 10563 string characters out of 5814963 + 314992 words of memory out of 5000000 + 21349 multiletter control sequences out of 15000+600000 + 469307 words of font info for 34 fonts, out of 8000000 for 9000 + 1348 hyphenation exceptions out of 8191 + 35i,5n,38p,730b,177s stack positions out of 5000i,500n,10000p,200000b,80000s + +Output written on description.xdv (2 pages, 26524 bytes). diff --git a/textual-description/description.pdf b/textual-description/description.pdf new file mode 100644 index 0000000000000000000000000000000000000000..33ee4d97159656dc9512e55aaf7f54b2d00ff3ca GIT binary patch literal 15210 zcmb8VQ?Mw^nk=~YvTfV8ZQHhO+qP}nwr$(C*Ze&*59dUm=-cZ{7EFEfed zghZ(6X_z61kM6GDAlUHe@N5k%Ah@__Ma-?7j2&o2tn{6Xg^Uetjf`ofjBQMv%<$-0 z7#MhXARL_>jP)RcQ;OPf4nq(-qn15rfK(R*abCs zZX{n)6D}W41lxx&Qe!uBRZsUi9rtgte)qK^W{#V=1wUPGZS#v-2>U;EaeEP4-N>8Y zW~Qla>&IUPNLOE(wZdEIa=i$9>Roi|B|8~kU;L{j&29C?Ms|C=ca=OmA%t_jV3&%) zLrJ<+*nx2K8qap&-q1VPly^rZ!_d{fl{WMN9L2Qlh6j6?!)qot#B$r{1M8|%nFUQe z?ou(h7DK;u{w{m_1`c?*ItwMMjlr_ZRVw>#5l zGoN5*Bs^Q7hlkaWRM&tu&}2Xdh+f@Xe+o+%T-plgOD@S$*ZbIjzcjt3G85M~TAf;# z=h#G&HIo0~CgHsO^K{-aKDR66$mipL)$9AXBi**v>H!jC7_PZ?^^TERl|=VN=I)O^ z#|297O->s`p$pyXEayZ?=sRx6U1@~C4IF{xKqMJ=%fDK^`V7BrAl?wA=H$R{f{KJD zHP}sT2UaTrVx7EJQrfsy!g?Tx@~4P+J-ofCeR&jl<;vRDMn))4sEZ(%tLyfkrsQL=%iyM+FhCj z!jfefqHrZk#j*8PYgKzD^;Up4+Z#ot$3RT!+F3B+>e?S(e)mvQUP1;Q_9dPy{_VUu z!EDXK)MV9Rq4$sm+d3r8!*!<*u*v1h6`IR-qc4#V6BsI&O|=Fp*U32!H zLZdxnXkHa=wYv~h3KGv`+l?X=z?X7wK#bWZWpb#{6G>rBnRA74146WQ@sGaMay!n; z5CCSkz^}l}V1}%5r7`Ow=k13}a|Z92?2CvwfBPkah{n@+5lTRNc8RvdQ~X4TTCys` zl>$7Q)nxPqZGEmJ1~ylSS2E7*Gv(w@VSr(7)sS_OEG=#qMCS+IwytITNkrB@SKwIZ zVNpctch!q~u?Iwdv-`zjKSC!6CFN-s7&f@wt7jy=Qe0fC*>-Q$ZQm0CJ!4&?op1=< zMljvd{DoFywt=?9og-h;Wt~J)|Ir#;`L=iojPS?{BN1-1h2;GM4XKWrFm5ml#T2KEoUpvVaUiSI1r;2w0%a1 z?q}H9@>4gv)tOkmpg1y=uY_9C_Bd#p^phcFOB-lJNO2ydhIz)9SSoMLXfndcHt;4s zu!c1gC^DK@_k=Mq+{6zS*^*H9#-wf(E=^}c%g)*TNAg!Eq1r-qd@=5)wC^%0dix&1 zGtVKRG?jx>HDWo#v?h8nOw3@Bc?vCh=xjW7bz}>F)_$1EAFu&x)@c%reQ~}59U1=h zN{(#Z1UQ5EozZ4KJOigo_1pnvJu+nN?NvT6UevQ!d3|hUy5mMp;(Nl_aU4%&0(UI^ zKH7jQ7FX)M2r^9pbxa;!N#RC6zcQebbEe`hqrDuOe4NnR#w@&`?Wm*#>Kj(%&Ga7f zI!i{dBfy!P)JDaoqOrCNAM671{JBhWzE=N}CWKPAY|1RHrJQ8HIGx}lBJF>k)tO|c zQxZFSXtF0-q5ZET`ia9Wz8_B_hUCXb6vb)|qZ*}YI2>^wqgqAddj^g6>*Mnt9t=Tp z`8%{}>akFT|4wJ>WslfYm23%B)E*iw z{W42@smWehE6&@)YV2`r?hj~bWV{80v5nFHPcZ+C{)>|68U9z?#6-{duiR9vHXTDm z3e|H;egWKp3N;+NbTKH=NqLN7ZX*w)sJO{~9QWD_gb5W=(rKAswv<6ZH^P$3o2l`m z^Hi{qtHVXLGwc{PIjU>EC;IWN?!%i>Yde{GYZ88X)<CQ$t%`N zq|c($x>2B;Z?r7wpll*d>6N1HoKarMoyV-+(<(D>gpjTa zhBD`g3o3cXyD@FpQdMN;scjJaA_tUxw_8sWg?f$Tj{PBNzpXC04O_h)!CLR(z`!3~ zc06WpB$U)LpXx$DaB?7(L3F`SwO{ts)tcD#o&F>eQG)?s*$P3-fux`oMZ6l_ZnyRh zecILS8iCbbkCbT`8Ocn?G|8{`5B|oY?oY`qdNzZ+7XE43%eO3z$V%$4%Pp0Gb!*Of zOw3WRLG~grsVxP8${0aI(+$=yi3;d$J{7*5(nMYq72Rkaugvy4dF-ggOW# z*gSDZh4E1pUN){uXO(>P{53N3GK~e=L`1PRVcHFpYQz&j)ty3!mf72IsIMpPJ*2T! zAnj_HlRV`|sW4TV<7gR-5$(sf=z-gN$5m|h$EJBtVWz(NwK7@)F1R!7g94V}C=N9{ac2#hv!P`jnRJ$~AGcU$7jwp9HmtrSAIbq8{NSX4 zapHtol~wPE5-;5Qy$02Kc7&s^({;f!W`dR!@SLZ{oqB>Wvt)*|JRhkGTY{#L=0WGR z{NikN{~#eQQ#wT#G9fo_wqHqe8Zs@j)6%iV>JU0m1orhyT4TIZ5p-uGSb%Z-&J~!! z@>=N`sN$sMl5`3h_GA1CEVD13rpn0`?G{k_ z)sZ{(~x#cr0B7^SIdRA>REYb#?U*Y%ksl z-#2K4^Roqh4Nb%3R9we6%w2ra;+80#5GQ%ZRJ$9CjkGf}5wG>|u1MqVPRg#&J1E#Z z#^-;4a_0XHlryr@{VS4dCumy+(jkT1ej~SEp$*$!^8xXafL*d!Ox9Ghy9h+%H=};P zE_UUkLXvTfv){6_yI&X3Skg~T{irCe&P{#r+X=Ux*Kin^c0dg{aF2xAuoV4nuSrbO zyi|W#i5j@%{4zPeeAM$w8B%K5X3DDeaAQ-l8f19{;ov5unYPhnj#`)0qkIn~3>i%E zP))R|bFYycE~e|Obkh!tLmv#Vlorf$PHRt4MiZHwsF_zBYdx(4rhn0}24omgNap5zL#0 zi3^p%VFs8)i3`br(}y2Zd`!WSoMnnB-9hVNfnUC|4p9pbL6)RHOmwhBF+Lt=kpb$Q0J zr7d_MlsW@ak7T_nCH2#Len}7Z`0DYc_)0V|`=Ex+r~&94XaT(hZDN#{lP761{d(+fDs}HX@UvNqIK`lAlO9#{ z1UZmdS2fXaIE!q1Gcyf&$_wO^oLYTJ#odd1NJpdd^NPEI4WjfPZpgpr2a3)HPVRQb zw1VP7BDOY8O8<=M1pfzBfsv8<-`;z$D!7`W>P8Pf5vzgFBy(81hpn7lIYgV3cF9cy zq=CF0C5<={-&z1T=Y$Dgf}k8qe*i%wfg}=t8_iqc@{h|_GmW*WR!KAVM$C$NxeqGr zBbQ?!&!Y9ouWioOR+i(hX;CeVbvB(-+vObwWH4z68cqn`;j+;89^vX}|4w zHx@MM(GJkLP#73GeV81a#DOM&&=4l!;~Zf&zllK1d;jRBGP*XquN#^m*?u{D3ebVc7i8<`B?8YMOu)>5teHF$!E{ zSh3I_crhUO%CKc2u=*S@;ubgy0ZAbQ4}yp=5`%D{`ah+1^+1<@R?@{tb;6?xal4A()_E3WSSqW;EeP0_4^z+kSC#mgv5T8HwA zKs$YF8|tlg1W+%rRengB!~~Ros^a(+x+}hhpB(#I3mA;A&2sF z38$QyXdYdCB)qnP#si@aD^v8cj4t2+z1CAf%A3$29*WzBq%oY;yGmfyUd+ltcDz)MicGmN+1HyFj6O0aSmeo}F>Y;u=%99E|_Kl}c^u09vkd!-kTR z%E-a^?pg8qu;pXo-W+T@Aa8fkSwS`qW!ARg=9U9-kQn9#NCXg(`M`)ZDg))mR4izw za!PRfkqOV}(ux{b>+yAp`>cFXRmMrGzV3)~4gfhBHoP;b@8YXRuVx8m%%{g}EIcRP z&t~RSBO@WNoiRLxahjt8(zigr+(;YecVb9Oz)MHe29fQ_6Wq##CXe`T2i|OKlut?S zM|7++*f#QbUjkGOSRY$CgX|;ARo>!ujBodSe&3P#;DK7$6OOiusYXg(Y#vh?6~I!D zgg{Jpha}GKm%Kb#bR&J~-(kbD)aSy1MY#h-(CQC%9;R-m{;ETfrySDa2RK#V$qfE7;#6pJ!N?=8raA1AlxZ_PJ7%0>tC@l%VQ5P^hpPT2 zC-JSM83evM%aAr?w|l_q|eF^V-`f z$i~f&%9)B4TE{`VzLA@glv=#Knf=*LT5?$Y@1XQFUGb+6V-YiE zOb0W!);9o37nz6HI9N~MtHM$-i{;Wr(GpRJ1K~xJe(|OGRM3<zUiWZ0wH12 z#m3!*Q;0{3@dUJ#S~XNh3zAA-)hO8P@T`sNaI?{kF($>O%WdoU!{dXiFoy_9pseP;~}DpUU{Qmmn-l*%BqU#JU#rSQLY5ii_E9&r#Ue%q{2W83Aw=HjmD-cs`R|>B0Tq57s@z?U< za!ET>&98K?rEZd53@VlPUmY8PIs;f*9J6`gQXK4;=C#AF(Gbu~Y#_ni%7988AN7WBgEl3*EeorM>XVeK6%C~GHor^R( zU+4yRic?6 z?u%O2-6FGsq(CsimlG&FYE*(cA(>EGMw?cYeiR7OqD(55HI8;3ij*OdWQ zh_E53sD2Tv0m6GVEPq12U~YV!x3WG&0<^1le*>+RDCnQ49khZRXj0p>5U_Nk6)AQ)+bC`KMJgJ;uiF1DwXG{3N+JU9JofX|1VuYYaqM+V@(rfR&T4&pEmcWZT@FimB7lxw&keNuqsj>!@2kV+C@J5T zZby7`LNY2;oj_4G;?t6h^MR(>I^7yM&Su`~56}R14Evl49zV**+T$&f%J;@8#Cywf z11~~zmj&CrgR5hx%^=1M@;wMSp0r@J$j2h2Qlt`Cr{?5$5X^Ent<3Qz`F{V6%yh>U z4s*u%Aq)iNgM>;Ncp6CO7Xb6xpp_E%^Yruu#*qJ$HklYv<18w$yZmX1wLzK!Vb62e zI`ykeqAsIwcr{Fi3_{1*FlAmYQO$ilhyUpVI=0>JBF8c?Hu4X_u4KmfC{D$Ks?4`f z=Xm+e<1C|AuTw&jdDd1bx?fW&K_3(hi(n?o%MmCcFPGJ&dZHxBD4V7@Q)b8YTX7a>44wT8y+zX0dsw(j?(}6lx|I=n8Ovvid zi@RKLP=&<4#vf6nXDbVB86Tdq%Ced`0Je z{Mbv1JHR1iGnOmylLm(dJA$kh=xh)=ST6y3(B{~v95z}#R1$MBpl#w8?{xb!-HE8T z^fl?E8-9OV4P*7qL?buR?}lXdnn1ZW`^4QIitJEyK_rn(qj&XpJx;{Gb7_9n-F^3w zrwmTh`5Rf9ig9h&RGd3lKF>xBO1ck8C<=N7e(LKxS-_uVNsvFVrTJJT0QXKrgsI%Q`x**vcWsxyY`+0+xV1F6a9J`s8r#ToWwbjBQ!iUqrShJ3P<+jv`GZ zC_Do3pV1ZzeQCSe(1)7_Vi?hBHPlu$9l=k>_n?SpVXQ+1G$<>drpxQZ3=ha)^1^_K zbFh^Y>w`y>8m>OUz6AmCc4^3M)F)u4n><2kNc$KjGCAQ*!ta+QBs7(x;cME1e_{bC z(NWKXl_qsy3Wzc1xI)=GXL*I*HF-tZc@gh8V;OgEGfckcDXclz*|sOy+r!Y0f#SXM z%>WAlVnRSdKtfsp6Av4|9zVovmrlN}Nkl?g7k3^9zQu;VtdRczd)6|T|M!lIf$o3P zlQaCACT^*x7Y9eDgtV0QU~mvXi}eSK1Zev|Z2d2S`~Ph-$IQ;c{I4oNv^uyN;_5~Y zTmrwa(#RTzq3MCbWshd6g|fzK2cQZyfu`CZ3IaVITuR(Akv{Ag4j2F+0708%a}Bb2 z^J)uC^$LpRuV(7XN>2Y^_b+dM@r&(k!kv`cOjg$8bZgh{XAT&hsi_nmTwAS9BR$6g zuf<2xIHoZ^MSJf6eMb~#e>aGhdCUl#NS}CiTfBfx5+lYX#n$b`)}=p86dZaE-n=Cm z$r#pATLJ#us58>1%^uzb#ZdVP9sg`jHK)}k3~3&MU`KGgawC(1Or7s^85?Riba+s zVyhyfkA?aR_Ve-!f7Hu*xzsSQsh$(8Qz{OOBG}Bs2sDrpS$!gwD4D2aFmS8G;vRA# z(zQ--Ng)#|3IdEE${CbMv~RA@iM3I%i<4?#Ad`fL$BPn4C5!DD(wUUXqtbbuD-@6! zh&A9DnA36*S(SgB6t0qz4t%*%Np#%;aKuCpO_qiBYQ2mu0 zNT_!d;6eMcgkc$lM=_<+@q>g4&?%jkahLg}oI=`hOksD8co-_Y$8UqL?Yr%yaxA}X z?b4O-E$|)nQwOB!ka1D&_@R^Ixr^EaYkjw|lk3}q4`dAOVm^xbBzyIGb-cqpdCyMQSB3H&0*>rpr&f2)|orxjZ!|mOmM(thDvx16B14j z*%G3Vua%xKlGD50UCsn_b;k^yyw9bETa8rniX6}}q(@Ghn$mxZ00X!OXHqv>NN?s~ zSU?<_bJ$w&Lcc1UlS`xJr=WKVSrxL$(lM0O(;v?+WO)s#q`O-{=8T^jc9oPN=emc6 zs3y^JCCd!qapN?DHqX}#Y)SIso7OyOWN0ABFKMYND4}b#&kQ%;aGcuU!{)?h3Ircv zy-dAO744vcQS9o?CSrQLC8u%1-tjHUBH;pPe0jsoravkt$1!2Pe zE&C?PN)_z1CuM4RyuPb~25If&z0q(-%&zoM;5{v8@DNr^G;qObgtOkquK+w5XX9mJ!H` zn=6*@Y{rri{w0U!g(w|rxu5kJ=T8%b*{Wk08ttli70}JP|LGdMCB??45C`#O4wAjX zCmXJjj38y5;r?eP#IeVQH{Q1&ZD9!LtT}$%$V%PIT3XoryEIZ`S46Oc018?}5H~82 zCeF&Q2Dk~+X#N0u?z8?+O%wROOJWgY4KTnNvd&~1b^czHVx4WU<#@ycP<=?u7%Rt#8r zvz?N|qpUaWYs8(28rc<1J+z8&DB9GQU z_BtNl7l8)a8;lnuNZtd&*@?|F7}DqkxYSa z(P&Wwp)Fj{;q1^CmbLU`wt6&)tmVEu@x1UASORZlpCntc=^i$c7HQv(Xe;{MN=~81 zpW@?2OZS(yVia0;PdU7Lt12kqO~k z5FHufYj`c{e8+&do@QVU=^P=w3B59YY)+g&!N*e)Y+3;d!**UX)So&R@_!2g&{}ii zy|Quj_w`q>W6of%dUmSo2IpN0f z?F|lzV=zr!RBsF*RbCZ0-MwQ zb@}KcKlo9ZF&3>Yz)ryW-x6M`~E)S5L^NF4$Z+~^u!|4ByU8FM1erSbbNWs$MA3l z;(zG#!7@BMX?(4`AtUVv0ozPgKj|+}bNmrA*lkma%NffvY{MwJonh8=XgEW#oE)z$ zgT3Bda+eaXV>g3DhgcbYU*xy%uiqq#jV7HTp&L3F7Kt1-E5?w#US0-&xhtBBvWAj> zzqpb_bklNre-{Ix+^ z6)F<070}H5(9@SZY~St4joB&7`-P@p5^~GM63uTulV$>ZC-h~5oDRaQ-6~`6OqEBz zhHX-K$E!{A$8ob%c@YlPmFGj=ayyYz7DonBCRe_(J3;mHg+;ai(;6&qw@+9|3dwuB z-uUC2!IvT8>l+!7(O|W{xoOSt2}9zZ%E6VCggUJ}H14w%Y^7*@9Urk$Qn5MyJ#n5xLD)#21kTrVs?d}VDjLsJ;0%7lli z7S$w@S}u-{7@;5mG2vKg_Czy4L_ZRy4Z%UIjgBog4FFsDl7%6xlMgIN^{9(@1{G+59zJqg~<`P&PA59=ji;#$mA!Jnsy~<*bA-Z&ZwP%q*L#o(dex$Mqn7k8y@aS+ZwWf+D_HLXDV8#mH#&stqtS%xKS}1 zwQ2{`Jn3lxD;~28dNmtfO+OuOrQbP$vCIna2ITi13R2Vwa{pT2imHciHWg4cnpLxE z^&CT`3Re4%kYh z^ew>^+?{NTLhAN}oj?{_bWx0GTUzb0|IEt(7inZ!`MBQJBwVeBJ+Jr+nI*xX+Xjjv zvSx28TV z8nDb5no!>{K_NTisDO#LOATIZ&)mFC4O4qv8xIA#kRrb2R0)wtOe!WM)3}kBf`kW1 zv*It~oVTO>ns`crI9Iz5Ux}h^ah_X6?c~4nHiE7pxMD$m;smjl!1zyazGxwJ(^P*}MZMwwL_oall{(AB6LPLjdJLRrf z#_di;haRZwzSAd9r{`z(1gG5{_Q5{54d#~yfHm0fKYtRH=2~3ry~-zDsRI1n=+K$d z&5c>5d3ZJnoNjBufL3=~C~vyjnxtq-6=IPR;A%GXJLsglJ~jXmI>lRwlMv}N@khPX zHfXIl#tRg?FEn=qta7XT*xPm0B_V7Zs7GpJFw`nK0?TKX1^$ZbttK7_d0)jb;XXTX ztd9{xCOGJHKR5I+qF$+>@4ddp2mXL$l{gwXe;=QdV zBw=|+Zo}$wkNAt4Q-g97P8 zPnr@w4|@b_=g;nQ$#HszPPr1UKL_fE9wGeA?eJl=@n4n&O{VB@`ySAY*v3boO%tzfVrlymGKcm|zkCJ&kGkf3J1KH*267AEOxriErEJe4 z+c-7z&R(z7{7w(U*ROYUd-A>q=lY5rQ-CHYHVn*it}-da&_WRfIWJmL~fiMAn4A-ty5@9_hw4t*d$%~N(IQeggN-G>-Sy^ z@t-*G%OfjeA|fIqBPwDlD=TYi4$URlH=fQCx|d(-qbnObb3Mj9QE|M|%m|q>a>A5! zy49G?N1SxJ-7LQezsYcicV^f^&Ia^;5qJCY?FhiX=Y(_;sstwIjhG;T@pReZO9?91 zO0vEl_c>D(iCkMt{MF+vc;HJ&j8;^9yyCMV!oHjeV=*GW+Tv zv%`%_Zt$xiHqru(sm4|E>19Tda0qPhEUYN5O7zwk$3j8prcJU?V#l%NQ$W5G$gM>Vq!gHmUc<1w}o-f4!k!9C}!t64J>C1$bha&;M9D1 z$N)!&G!!ro^OMfTrOM{?g6uZrxA(9&tpGKtRDcg~WVUBvs^9FmA%S2i;}D+= z=&&g{5H#=<$HCZwO+3yz-Z#~daR{<3H*JT=tS=s$Y$TZ+6AR@I^FE_zng1alZ_-K4 zC|T@WngHmdfoLCBaSKTix|OGgu5aGxC2ogPwd$xv+{I@N1)<48boj{3c8cFgOa7Qz zQ2nHuW=WrzG;c&to1D=8g2iD_QGnz98s9|&4fKtGEp1Z`+Um$53umU*O)Qd>US2%& z{W-^<8?6OHS#pNh41#eYv zSj`TZlrR*^+2BkQgyWR*CAZByeQiZpw~Z;xD;9E zEkR8E4&u(699o?%L%0xo+9O54DhrhyyVg;DALtXh0u-~upwPwJ$ z_h+aB_xJgycF*$wycUR?2*TdPXyj!{o8}yy(mz6gawrxze2+;im-9U?=-`|+4ikYo zon!EktuBcLxn;S`QeY9fudI|-CEJQ!(A!t)>M&5oR6G}TPh4>_D!m<4KtU0fqY1onQnGFz_Ln0W4ToZ9@7KCyx|KFe(a%CG&8ky z^Fr{pcqORUcl7CoZ|AAfBhI2}pkfD&Flb&ZFuQmC9)mDBz3G-}iqOxlp!@hJl~m}$ z!$s9K_g}kbw7YP}<`D?ZMj9J6XoS*dxfOZb)gpr4x~k8u$=d)dHk_9_K9Ousr$t85 z#NZGN%VuLz`J)7cyPj4A+Wz>IkyYk@kAG>&V^ad>wxP1-DCMe9-OCG7yG7wu-S5>} z67?G&tcZ=KXAq3LDA*TTxsTq0TNX29*Tb?JxbaF()4NYjWc}vsafO z=r3|x3^^V0<$URl*j43wmf<@JobpQMk?TRGPvWmmvmQ{+g!t>xn4e&fitmxL#Yv7I zR{ApyK;K)RyDSi!c7oiw#$N(eiC7tIgM4Iu+pKlMd7EblT_pY>)>Ap|YaSg`om)qq zy@S>a;TFpHsK37kN(~lYS+0(^2PX{cwV!Z%EYw8D_bAPIe8yUcIKpgkOS%NqbR{xj z$^8iTWLsP*#8R3O&#?-it|_`48-ZUn!$~;l^y*p*)AuxV_F3hW&IPs3pR)jfqK<+P4cz?Xt+AC+R+;+?V(mnLu9K*xqpYmpyHe>rj>M$Lh%onij&8aa>X-Fn6pq+&n8iX2YJPCVwg`~B1BEKvU+gnFj`l?TA~uY&yl=K-khyjf^& zkBF-3a2xsoi2QNw1%vqS`_uo6$M9bbuS{Xcg=6?cR4vtQE?Ck$TvWuPh z-|UBKmCcw9F*xs8)hA6p_{CRECV>Eb`8krzb^j}&i?{xMYy)t*25F|RZZD$$PWLadl0kG5|2m)}`2s;^|#XGSedmxu$(kwD)6xpOjAu)q0;taP_u+~3w zdVl^j0;y;KLr{MeAb)arK|`lzSxXy4D02^a8q1{WJhfSI z6CZ02&zoSed-Kva9MraVC9t+SWw|)ofb?lx<>@-y>Y(biz7;RaeRp8DF8l2>s;IIl zzB96O#Ef7^LRC=gGkhdDqVv*8s5n=8q=2F7o>^OooEBKuZw{usE_I<7G?N4dLs5i2 znIz4b0X%J7;v6SoyaCEa$jGoB1&&}fLY#?gZtQ%wVB8YOiITMd#P>Fyb>X7z@XTda z%TOB#I8HIha2o(XF{4x`0|z|8#n1i-KG`l_Mm20p?-Pb{u)3l5rSb=cEeWKPaD^-Y zWem`j87Pl9eu^l~#V$rBHV*NP|Iu%mPgFe>!H}d;4q%^-cdLoQ?F^rk_#_NYh*K=M zST4*yi-_d(K5(31rcneJm>~MsP5H`C+WJ#)JlqD*ViVI!UR#P(0|^3XUGUU*7mes*nqBP1^8nIRvMGF@j8`)d9}i7<6{mJdHHm$^!Acq<=AC86M0U;*z;_VzH^(y zrfwdMi6=qUps{Ka`w1|HDCzVl1#I+;I;NTlFDK|@PgZmqAsvem$@Sj7ue-o8?3|Y@ z7Bv2LXUO5X*%8BAb2~-&Ga2m$VHK^@DX$72@ULySWu&0|M$}9m`^2$Xr-tajnNxNx zMp{LHCCF8%vlMl6b%xuxOsb)5%|3mv?}Id#A|I3Nq;t^ybw@cMax@#bPu%M_wsei~v%Y44YmmYhRS<6F(e8QZ`oXt1k=37o zwc5vzSxDi#QUUk}*C2zL3n9v1HPQrs8LqFhil;;JnX{p+)rf_a#faX7o{^cA z-jIdKn32s;-++#Z$ylGAj@6Lo|GYw*R>9WR34;C~Xj7mSw=uEB`!73EfmYGn!x)c& zg;rIQ{+}5J?f(gP{w+^RJi&>;#|Ia*Zxj2hAz2d^qyTUXWpk(?gKtOMVwq6;lY#SR zH#IK=v0Y4vkODr4l!Fi0rcqhKRa4&RNmXmmpf%&$T-na6N<$`4dHgwg_Ve%8#~J8< dFistv^c|es9E?pM=$Y8**dU0Bg=Iw`{vX~w0s#O3 literal 0 HcmV?d00001 diff --git a/textual-description/description.synctex.gz b/textual-description/description.synctex.gz new file mode 100644 index 0000000000000000000000000000000000000000..498d5484104778813bbb82467c307a89a865758b GIT binary patch literal 4372 zcmV+v5$oU7y??(#ys-h2oe`Ol%XgDKJ{YiJ1M&=P4}55m zO|sEsQ|M(zvf%&j7gd#6S-CWM7>opw-SHxFiHMA)Doa27a`*Nx*MI%)zpn2eZob@| z>Gb=%pPnAibiVxf<@5FB?bF+jzg+(P)Aj#e-rZdPbbs~s>hg!jr*}73>+fGa++ThE zxW2r<{^`s8Nb0`{UKy+v~e``%kZbz6SE<-Szuz6!|~b&YOdNuAZ`f{I~7%@qylczJK%n-RVzH zk1F@`yZ<@;@#@3f&HJ0TSC5NjjWMVHyt{#IPk;UHPw(G9TtgkfdXC}rx0dkRFL#gE zcaP`O3vqJ#l}`UnuPB_&D@QImj`7Ui2TQ_*^2(fEZcIl1!|xZHm^0q8 zaaIB`n2)R!tr$~rhUlH;GRc%r=l%F~mW$Irni*{pid^$qZ=8$9tdqLJnXu^OE5_tv zu=W*u>!G`kBi?n^4+_B&R+p5q)9pgV5YYxI5+PX^BClxC_7NrQA{I&R6#!TFeW@^QIk2JF|1H{E*S4nDfWdLfvw(Xw}n z(X+F(Gh^c>Ftu~F@G_TFeqbWh=J&b0H{RIQydyqqC~$n`DVdN~1@&wz6{dH|o1J>0 ztCMPVc~rO~i*ws(9loxb%sx*Nc805EJI{upa&>E~(}c4RBwlRAoNS0@1(SpFT^fU= z!&>nZ)WTbXnV~Kwve3{NmEc3*$)X7R7N!{*DLJ0XCS4Ov=4A@PV$B3~Yzcavpv4>+ zHJw4&Kq*ctpJklL5G#XJ;c@3S$%+f2cE@NPLq880jGN5B@HmNaoyXyjv&lDo|nlZ z#9B9=mk~Y@6WiTVYmbZ$42wu(Epw;vfV7}yi)Rt>SYTmYsR1Y7EPJY{F);KH8!Bl4 zk5O7Ol#0mPk#V{(NINt(Vx3EACu5VT-sHBE$Ps6sI-kp8oeIE`g1A}*37V~ZJDmf5 z@@n9n*=cNF!4#07qycFK6XFGkV@ZN#5@N?94A>BG24@@Z5Op0M53x$gJ?TUTYIN+p_X|yWU zAkMiNkIZ`Hou|pjp4dxl*DS3)GCHt_!@s~Pdsrhu3!OkV=|G2bmf7LFNISL<{u{$K z5$zKpcB3Guixr7T@~9JHaCXW)C|L%48#xy(g}f9k0QU9efsw9Jfup+pFlN{`VE3s) zMCkCf=ZcG3;5lTaWf(pSB?^9L-pGMHPF!lqnkTR;*VD!MFyLox8Bn~mbi__)q^Ap^ z+i^V|JEGvaWfH0zJ>Wb2c2U8uoU8+M2PiUD>ksf=c@cRIY2w(kd>HanV`TVB$VD0n4|SDb_1sj zyCpJArA1qXdRIp{1mx3bW^fb^n!Lv_6Uu-fHH=On6&Uf|;=IkI9SgF@6c%Gm7D-*R#2!{t~Bf(#IjFXvTwU8W6O@6KQr(I@_6A7zYbmnW?4N zuD}D^A(r|S`FY!EZ7N9gJ2wh*a>aI$9NMZQYK!eq^hEgISeP&|5;D(V>(Na}JNRx| zk4m(Yw!3NJ`Un^k=@3y=kW64?q_wV^z=XoyL^qk6m&ZB2gbttnf@4t3#bOl?EjtoX?~KGm)Olu{1iSfS5gz zW`nj~AGD37we1xg{F$`Y#3=P<(jozwYC3nZPKF28LEKEJ3o7fR+TekP&_kh{F<)^&oG`d{&8>k5?=_QAdYp`nupXfgKZCtNEoi5MBb6aIO{F7_@AB|}D80lT z9Ds>526k9{D_vkK)`m`Ldr@Q}(k{)Ui|sNzupP?9gueYNwu??*yHwoh?p*c})J##I z!HrR^nULP-2;1GX&_Gi4j-^r6TWo3yBW1yQGZ-l?(tL0aj}#63`Q^Qj5U7CJ%MG=t$3B+1O+V!I3vZ0F%05?mjd(8or*H8GKpIg&5j%LLVXgfa?L z6;b@I&FX+*o8RyA2lT$!;vh1XzEOJarf=*yHgfJ8TXKH=mdP)N*z@@iYS z8zA?Mg`@2o2OGNBWT8;hK)%wPh1Ro4LeN(nGC>hzO!8@hBEwiO+B}S5r!A{iKszi5 zni=*f;XgBzPLcvb%>+gOLzIhQ2D8zse>OMH3C^IMZA_nMpq7{pUc9sztoKuWbRGEF z0!eL?kYvNoZE+ft6#bfnMN2hUvbpvZEngE#06T+iNFe(ejM~8?P|aXOZ?srx1|vkJ zrSBQT*lSAGPBw;?-UvF&i8RC4!Ot^T8&;!^Gk|?%oeU4GlSr2sXVzJd6ymU5I?RoG zBWp2-aa~78y&iEMI=a`l_O7R+U^SMwqbGe*=(~AYYci&8UWOBi(I%*&qu@e|Vs?6~ zpsWSV2hA*E19-WHaJ09r7RIJb5`FM_RyYulimhH|*#rCy3A5c>EYeyWH zixp$HJ|2S1+~mfNVWZ~M*iefGSL(|Vb(|M{Nqh}kUT1@L;yEj3hBhhoJGs~-1KK-} zoLKZ_kxtwOLf0V67}T2v4!Pxs=Ga55H&c*T#wB|n#g*+Y832vRoY((dix1#4Lnd) zK1B1A&EdSeQa7|$>h||@$qimkp0WGPoT9f!P7f?C6t z*V&+*cn*1)p$&QcPA)ddz=9w_yS^BDO<2#Th$-aRU=Y6cTYPxjqT=V@cA7+bM*x zC@N5N7p6v&#DXqweeDrVrEEYvK@;uAvRYqKt;fTv;P&XD4Ubn<9In`)cewza$7i2R zL!|;%6oZ91Xh_If!+a=VcM#R`_V7%#rcdrTjzu+EYezSc^$BHP;-jp~doxyV7NqgW ztWSPetu;hN@3SFi4$!K^%4n~(h=9lRY(o^zQEyy8F@@Q~3RHYeP^p?R2&H*cv9hD0 zeQ!q53K(|jh`Qp59+s;|KA?#OI!xn{nF7M2m9eZokRdNKR2?VH=EX0JIBF;Jq6u=T z*6Tqw+asgBJrdd#@1AXeG%%p&z!BY;H>&1b9k-AhC&)t+?4|FW7qK4SmXykpaG)bw zKYHw49`3}RyNTvK$41WKyd~#yJdWF~OU!Qh@@iYS8z9H@!qEox!G<(xQ>Jp5DTG-Tc4=#h6cTLWb6bb z6v`mi!XYN{8Mfdil%^BdCFBsA4j!UD!H$iz6ys=ebut+ot%MfMv%#75wH3<@hJuV7 zqz{AVxHXY3#>w!&IQrg}=LPOMQuO-r$L`z+)cVy(cK(2brgz2*j6O#w!#Egd?74yS zktJ`U9F}r~gGN4N(lM;Jdr@(PW@#miazZzt7stoa`)3OqJkXG~VcxsvHI$qceS@`g zi&$5j#6;9kh8wsXaMm~LdPTj!T6mP;;+A{GZUzf{!pG3S#ebs)0G}pH(^Rf6dnbc4 zB2U8dCo4zzMXBg%C|%vKEbvIbkx{1j=fgv=O9{DiqlwQ69NLH5FW-_3Q6v%X^j7W! z7OT~Po56ac9z{z7SK)#5jsHwKE*D>E0y9n(y2shvtRE@}Phs?ci9OHYUHcn6(7y8; z-lwHYYsbv4Pprk-^(EDSVV#Kgo2cYNMDRM?Z*@u4s?O`D+{gQ^2-Cd0NE+~N|`=0V*pj@;*dHxRH_MEDRl6vpHzSDcWdZ6R*8IX%E z7VeE4tVgY5TQbs|@ymBd2eQ6DLL%wdiIE?eQb$MiPkQCHrF&zr8`sfc1lA7_3SE^{ zU2QFUjry5SS{#E@kM~MK>JVE$lFeTrtT(JbEc3ucw7f6e8yN*Lsu6CmO~XXpv~2WY4TX*l02#Sjk7}v@WUXwL^mSG0w3Ov~E$PBt{cTWt zPBBl=qi1O6MrQWWZfF$kUuA;oD?p;<3#=M;8MYA>o}Z0PPWuq`n=vf<{K178?8z)Q zxF#@Cx?RfW@zT&FOAOPw(IP?Bv$@&m;gy+MU?`0nX)-q)RbM?!2S@NmTpe$${unUB zOJ#EOh=Q~}!3LQh2lKh`B4_WEu1nmLQ;*^&`~jfou@hbkaLn2wGzN*_k=blr3HyrC>zZ%-l4akuF#*ln88 zj~Y8jJbO$HXZ^l|W#`_==yb#KamA60Md(dG*U?crCoN%Gx(#|E*LQSe5%z(0x^BDv zU@tE|CGa}xcAe$=UE`!XAD=r9Xf(AN);sbW_eMs^;8{PNJd)8`YGmr^EQq_V8wN_k z`1*A~rr)-!-xjGC3X{J6>9)5CcH6UoZ8GNEej_sA$?ut;e=l3TXZ|+E+lBG@_srT$ ze#3j_5Q3ck#oPb(ApAf44;Ee!$?4Bu9v-hg|M=st{Hl%UElCiJ?#=@2jafXhX z;4&p3M@hOg5eZN{nWSkMW=I;3J85Z1hLmyZNt4!1Lr6R%89K=%%%n*u6E*$5bN>IH zyH^iZur@j1J-)kl&pqcq|Ks}~XZ@SJ%Rch)=aTCUTI|(^=3Dmf+eRq!BJu=q3s+qSn-#&79|Gu&2Wqr+eH1{=M-!<_>&IgTo-qiqF4f`+ODccoho;S+eY?#R+7J0s`tZNlzbD`0$k4gxa(lh{?0?#R!_{B0 z{q;+>*?#w5)Y^XVxchu$^WFCP-s^VTz84Q1GTmmc*<^{f$!s^*Z=Vk+@yQ4`VstT!=EA3Kk@iFJRsn=7E>||Udax>ot-xE(`QV~&Vw&Y>cPus zMW1<>?RS`4%#Ml4!KUVE(|ApD=+2_6M(rJC{|Np;s|N|UPJAKp-)DlUCQSi9+58qo zqp#=i{yUD|HF#L14bH zzUbeU{Pcu$7coCKOOpP5uU-;X8Q42Ii81Xlmb#rF9ock_8f*kO!3@f$al-yoG239toF?GfV9hThvRro zK{X->mhE#>iwkY5F(O<2xb5($ZFt}&`v;H361yQA z`R+r!2II>3rSeJqq#MTp17jNGb5-Q+B3a#p0{GAJCSH3338T{XN-t0LT!~vOBt2~B zwjmWGin&-i=+aw*dI*~rb0u=H_}85Ns2q3HuD;(-e5}uJ2O9Z+}1ceInI@1rqozHq#ooEWp zLir+pnWIUG^cA8fFylSE8t;c#l&DN%D^AnT#E|6-X3sdhM(e4otcb zHp)O`JGPw`93120t={Otd$Z^b)kpM?&?>R%Y&FsY_1o4aeW$!n52o9CVcRSi?8Oq> zu5Aj>7aPW=46hm^E>@)$ce6Eo`FYzr#>al+KRPG1Sf3XkCAG4ls`3h9WwlM+SoJ{& z5iC;Hi5RHHrl%9(g$f7F*ch2w0y4~2hi|dz#sJNl^{LqRyXJwrQ?c(a2gs6GZ^d(jUjJRDbq#NC2Wr ztyp;ycd>C#?J~g~7n%Psw=D7>=9>lnBZ0}7D(&7}&&9?8`(iouA3hlp0QFWB%c%V* z6CbJyce4?aT^A6&;?~ol?Nt?`o{RcQJMo>p7Mjj!X#?KB;>?8*!c(!#7qw6>utKdt zvdAI4CgI6eQ8yi8ExN>7tdxGWtcIF%DuFf;I?>%;#?cW1F-i)cxa1Bj-&Uzql(y7qA!O90* zV!OxmJ1~@l_=WVBmuQ|~a-W_3I zW#eK|on^9XaWUxhqzIZ|QzxGM0^G+(&?awKy8{j>i0?`I!oltDkc#eXlp(shkUC(+2oDH2g-a;G)EcFm4u6$7Ifhau+@E8yMAm zhsp4GED?~uOSf6^k;O$^^!czrD3+re#uk_#xsKy*HeyFM#iSI4Q3%-)(-nONqaj?vu z!6v41JH9e)S|M1os2dSOjn62Kt`RXzhH!OKkWBAXZpYste0MU<6Bk;vnPXTxJ#qgq zrC&Y-maSy1i)IiBu_a^@_4bOPHkzSsQ1gD%4P3y_l|2ywdd=bGC}Psl1UUh2<-Y&A zX;TTWZ>E}3+o2G71TxWY12h>B6bt0{yzJ=a>Zo=!+?4P<9 zgf*Y!W-cqUURi~DALUOiSRkRnhI_BauR_Rv%^u&DB7WJmF?gLi0Y%+UO zxi2q9c>kfR!vq&YsXlwDT^>q8 z0u#lixfpshE)1XUD(I+%jZUMM7F=b&SN<*M$5#tD?IrXD!4XBkGwTpW@iM1>bGXMC zjnYLEDnnRPY0k-6)}&9j5pRsoB*4ry5%sbu2w|dO$ZQX^YW$`>v&>4hN}<>ebt{r) z0M-HEIu+|*fk%P>A!6GHc{0+75ZTl{yE=r9W<(@zb|eVmM4Oy>BF9>#W*Mge0e_FM z-i&x8HJfIohRiLKx%<~3o$_cwXqY_cX|^Ki%Qo6eQ<>*zR)f3QZiC>^%XRyhfgZ-9 z8{odogfvTpGt_-ij!Asg_n z;H3pnh;6{?IO}s_!@#Nmqqif0>Qzs`h3DN;OGHe{MFk|pkkzbn>DUJ8TVHfWg+Phw zhiqX3AE}(L{{Y!F!~sLuH5pu$b;)WMfv9M6w5gUp2?1eik$$OIpiWsNcb~0SED_-@ zLdN#NE^#;ld($(O^YtHs@n8-^k|OI-Wl{W-VLMc%7|j}CIGV;y=KWAu{gXLQybhto zTtoc(ig3X>ry+}^FBJ*VJe}rQn2SqV@>tQk{9nOVNF{puD_ccDu7*gHveXvo+pls0 zvK(T?MkPdMVj5vD;t)(N_CdIOiOyV^-(afXJGP|s&8l~VqZAhRh)ct;|4z_{OdRYw zlyl3O3nBZg>&lA|ieWyss+$}EYvsB@?sEiVa%zB^>-Hdv$=^T>sAj#DP@f?xZd*WB zsP9y)vn{JR=*d_gv@p}to<$V}sD{x{kZKrB960@9li5?T&ZPhvkA(vgO8LbI=dkSp z`!O3EN%Ea^^q-LmD0S~^l220r*b9u21kwD2=OS8Q!92ux^> z{q`u-UHpdALNq;W1K@dtU&(#oBQK_bU6fUpN*{&e4M&{9p@nAs5uI5Zqf28Bb@!qH zAqjzFwi%d0%&`ro!Ou}g)i`SjU<+Hd7?LD*m90q(2=iE!bnXZtBm+(%cxmr7)B*vE za|ERXD#;{XSuEo#(5iu>&&D|BG3G&1xrvt+?(0Ru8ba`1vwbQz@x4spXk|KdlR?yM zl!^&;_?U=0OiFeY)T4_A@&ZPr*r4}?B_KPJ*`i^%KRYfRB*3vN=pe;1#sod)> zN8IRJVKb|uqT*J_l0mexUp;U8_yw2Ltd`JD684j=S(Gp_*JeS{HYbLq_9eUKQS(I` z?Et1U&*6@WUpiK=7Itb9c3X;A3mbFjY(2szRP$8t>{-yn;tm=Y=J32=DtQzqX*|r; z-SK{|#H);GHoOeJKbxAnS}}8n!HlfjL-sFV=Zj-t5U!pP-VxHMWEPFvIhttxdK8mn z4i{-~*$slY)*~esYI>|9)&gbtGep4v2RFH|f-UY*8IpS|qkI(Jcw-8NX$#KkvTVEPcnY zdyYertTqmi#Z)YX@N*VJ{UG8}@NkGIc1lo?!iz;Bi=`rqap|>~tWjkY+?jdkn!B&k zl6iKu2Wn`ciSJ9kxW;u>b3EPt3z;Tkr?*^Q3)E*(`aTwET&dw z(?tt>KGFj-_wp45!J1)EW4+7H#iebTI`w*aE)?!i_r`$NsUp2yQ~E1C)xE3&gkV#} z+Kbg6ggqrpu$Jc?@YO)9Hf*d%qH`^|LZE_b?>gCDM+#XAMr+4*dyh6?EnyyIn(}c= z36qdf6?Zm>ZD^Iz=`FDGH?RPBLOQyS>V}{~L0CvfPF6csrtH(Nr*FwD8`;^5rZSB? zOi~Zn<|(6}X>zylSqGx#D$Au0&RnJyC(au)2r)^7#q|h-ij7iYn`IHk{pgF#H`}+E z;hS)0WFGmrd6kKOuF|9E9ViHRme(Qn3e0WZ&@Unw*rPA*TImpal&Lo3|6%~Eb0b^sPiv{=_@XR^O zUGZ7#bHGjZ8+=hMs1`&I8K}4}7Sr&>b|z_;f;9a2;}+dyZF!U{NS+)mO4PV8*=I8fWV(Y+rEjQ|Hiqsyt0n<-Q2 zRXeI-XN0{G3uM!B_fbM62*9CA;?r^2hCSO^NhsQHH=?jJFI;#=f*}MoEPG4sIaF zH=o-R;xOfSy6tQle=WydY*ia=XX@JA=Z)BLHU=yAT90ysI|YvEKe;CaH+Aa4xX?jt zTCrLs*9?HMwMgF~4pO&V_v(FkB15xC{NTxSoUo;M>eAQ4o=4yfOE#oT`nXg$)P6@! zo5*!*-zocamL5}5Y`Dsf+m1VC%AvY>nwN`9G@<(E;_gX$s7ZR4rwdFks6TraU8%Io zyxV**Kt!$Zs=Vpca8po)p}1H!XWZ`i0gdMZ(_MHxG!oWb~P`g~mj zJ$$aAXCkw5K^|c6Dq2?=1=@qy(4;w@irxF08OC`kb}wp9B85h>GsmO>4NMu_S)1b916fei4mn@Nr zU0M0;>W~qO5d!i3)w0KN`%*BtmceF>A0O0kN|7i84Bi6!`$X;QCJT(?kA)JMzH|Ppx7J+ zz)nrYe)ACkiR{e=3_k!np)30H7KRqYhd4T)ODj?mrchg0@Tg-XO)yl8 zoCb0mci@GPhmAHeEt!yty~3jz0Fd6AGKM# zpi6*GQ?c`V;aNbDhQ3njjOUWiI!~)ej45+7K-D1drUSnY9hp`X6dW25BF^=z1??Lx zt;}-iS7N)^R!hHD`ak%t%MXPmZ?74)O3_*k$X^Sj)$6gK&;$B}P1B9)@zFnIYY;uh z@B_mzTo=tQk+r9Llyt<2Y>LAboAR5PRe^GB9}P%i{)K>1F*_<>)DPD58^c7T_ndGb z(C10)nYX`DI%q6YW0*WP#>UzbRxu*k>d@%LD(Ej-7cOVjWvWw3yS6)%>=I8q`S7`h zITXso#q$f!yuu{0=_#l7aeHaH_PKpr(S5?cu}b>opv8<+PN~>#6pBZ3R8z6tFnRH( z(xS0|S!`NSS|lYV8W-3LE(4uynZhLl3*a3dJMt2uvKn|S;6FAk8i>L_=dlp@yOh}5 z4)%fP=j3M0HoG}6x+6ZyMCoG#q{1vJfuOw3iz2AvPdVK~AJj#Ncm!8R@Rf2(Pt|=1 zK@VE8$9zXByarHC@KCX= zutKgio3A>xS-!ax^kO5_qYqENoBU6J@D@*DPFbpSKzaG;DIv*JY?&T9qNZb`?gnO}zKCjRNOMS^f{)ndlI=vB(ESRc0}uKcCd#v+M@+7sRRa%`C7^T`z=V zlFCuh2%iSdqNx}ra@acUD>;hpwq}`lb~@)X)u=gy$a>fxMSU8kU1&uh(Ojewa5Cr6 zhH0~=x*%kW6e}ojREJM3u113NJWdOKnT4%G`W0)Qx7U4g&4RY{6FP{lrE(5kJ-=3% zJ(Q)`Pmdm5`Owv&!d0Dm5RCvBWMfF5O#^9338=M;VN)M<*)gNqddc zY!G?+tuE%m+!XwBY*tNn3iZ}PPpPL0Jtg)x`0*cDXSPbXHf#x*X04QcGy*2Gb%+J* zMj(l;4|0sZ0On!Sf&Eax+iTzg6x(m`MTw~-4+3HGG)=*1u9UxBz{V05w$7uD z50*;_Y|nSa4&CSi1%&NE>=J)-+2&&mrT_Sz1v(m&u^*43Ea;PA$34JQkXSYi52=P@ z&IBnt;>B+snGx4|#gR@IuYlPBWo9KSQGx7@VBpw@i(M*s@v@{iNGGn5 zc=;h6Oo{2wn4K(N6!0o}yD|NpxN8m6pm(wKu1qVGSpCbUKPb`tm{Y3iVlfb@E|%6l zux^`b($6ir20h4C4~6eVR#zOTEPTqQ2O2e(=v{@z}~nedmCT!#3+`&+kx~N>6`x4Y4DC8 zxq{iA2fl2-bHxK+viSa=LEN6qvZ=z)#jM6Mzm&w^lir-(0nhHNccFGWKuIDSr@c~ zmxCy1ED{7#*5~9RE}*bVOpg{DG>NWh6K9x;n{El+KmIO_%d^g>y;q~?!Ry&Pfq6yJ zmrEai(usVn^o`{|vovb`u*2BP-sj-qiWl8UwLVF5uLFq)4pIDv|J)HWI^JC{TYe+* zo^pgP0)%BN6~b2n60+6Gb>p)RLbu6vrx?MN7@Ovb1pq{Bd;*Vedo!wqO?tGnT;^RZ z>(C-fmPxYR0Q&XfmmT^scb+EAi~-wEgbM@I9%zV5wYeU-)}OCvKmdrXFnIrVeklxZNu8e9@N|TH zfvq~}tcX^)_{tWWP_Xj%jwHi)kSsYIJ{6$RT+LvVjJvf&J!Mx8slNid&_j^vP>P($ zhDaDl8ZQd}c==pzq5gQBa|fZ$@J*82n-3jT-9YR1;Vy2Zem1k7B)aX)l-b|)4CG@e zAb?kt(cqXyiPT-y>Ps!a!Y>%w5pCSfNzWxS{#blE;nl*r2t-3)xadoHSqn1DB&3=6 z)$?|<>JB)(H3-eW4gVo%iSg?{7iK0!SNbCzib&&kI@zp|7&CvQgP9vQ2GOIJ%ji7x zkWKJg-hx2~@%`;60>>B=PtJE(;7%SEcpd-zi3$IEG5iNwE_)O!TWoTEi!Q7GLc5i00kis##&E!F|5F?PYs_#@-VfOR9~hK