SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  , ,E!v44d ] LambdaAuth:threads=4elapsed=64.547cpu=164.472gc=3.7767zXZִF! Ia]ŗXiɟW;g``ϐOT=SMűu q`6zJ+9m;X6W ;ި'KW|o%*ŝ 9]avrT) g>Bq3>^:.Sw؇|Ca]x zRH[hmOPB,f&5 ("۪}d$5Gڋw=  !/% TLambdaAuthHOL-Library.AListdocument.tex7zXZִF! n*]A-MՋhvG"uIBm5nz%ZŅ i]@QX˄%V @sTanPJ8k*/q.gt(f|#R]VBN8 K!:>02fU%<^ !b]&I)0|PaCqiWf߇]Jn$"`AM&v0V ginԆQqB8ҟb)/sPt 6—v 0ެ))^o ϕ)O"cW+qw!N-Exj{}E)\2T/n;P5^vMBe־Pb aQHKE^f̘pZVae~n+@Iɐ֤/X*#Vix6:W Հ5_˨ăXׯ;dry@2vBm٤Wx/ƭ Zss1hٟvوDٲCʴC0Cg$HJ*+2PA4!>郚 eBq=%m9y=(8E3@-g&T I:nf"Jl"Υ K4R@U;&&Bg3LߋwM6?(ږJa#T侥FGӃ~1gd}„k{&ܑF`޷ϟ S븉 ~쥧1(awdzUr Hg0-Bo nϖ7\~Mbp5iטѐd"ef@iFN_J\Y'[u} *S,18-rC|'+$vr=P_znOCpCE "ߑiˆ#I0IeD2 W( %`OLXp>tTe?07z>4tOxn~Է#YAlZ ޜ0^4 >ݓ$t)_Q_x&b{c:$/Ņ:1nVMGzrv˨Xx-/swn3 /,ͼ̠;xjQJkVfR3ZgM.'| fDѿ5:Ljh~EOB(1Boh78o=P!X/ǹquf,;y/n9f@NVrWnCƞ'r['nB\;bQR헂ctiqWs(;Wm}M)w2nj5_9|Q##, ZUQ؍5.XK:m4.(q KC{99{@{Cܴ.H.b~o__V [ c7l(sMMf;=pWJT`M4*P8߮]T!dy+%H y-+ϵ}Q1Ył&aױnuA}OybVEoRf=9:TynJ3M:`%~-ΰϢsŇL~]1o-`yU(YBabDegv=f+E*8G&`F{&&v!ouaDcNopQA6Nu9i jF$%i0*CTc4ƻ]5E/uX&w)Dh[]eR {(G"hSMIwz{[]Zcr1(x.`jo'c-`;.~ڤ0 #a?o5.!1%LambdaAuthLambdaAuth.Resultsdocument.tex 2!9%LambdaAuthHOL-Library.Finite_Mapdocument.tex-!/%LambdaAuthLambdaAuth.Syntaxdocument.texA!W%LambdaAuthHOL-Library.Conditional_Parametricitydocument.tex6!A%LambdaAuthLambdaAuth.Nominal2_Lemmasdocument.tex0!5%LambdaAuthLambdaAuth.Agreementdocument.tex2!9%LambdaAuthLambdaAuth.FMap_Lemmasdocument.tex0!5%LambdaAuthLambdaAuth.Semanticsdocument.tex,!/% LambdaAuthHOL-Library.AListdocument.tex=Jk  P*-O+1 sFFQvM-5e?q=j@'M5}?AAMO j8AI(Kiec#8ö;k``F w_~-ܢ`ZsVzU_cP23=ejL硅ܟiܻOFle,&^y3Y;ډS#Avjh/s b*0ud2Y?g!#3f;y]C #&12K G֎(>&KS֟e #Y5S~rl-?GOF9<;x-JjCt"^9vzJ>=hS `; Ex9?A[vo׍’TҼ:4s*܌K &אM;)`ݴdr+&T! Tav ӜEG|^tY 2Pb\eJ?enyrgSG[zJ U0f3M] -Nc4{'f(*):(SkZkoWcztÆ`$'4}vjPjn #\ṷ{ொ*z>F{`$//AZ<{;|kkrpYQ8gQ]:Sy滿YGRb\]Zo93ZGq] p^ oͰ0H<{"cӠDT_0S9VTI`حE޽S%1hT)-=M.4+JNܧ"%8FwVbltmQrWV!ƭFlhvgc3Lskr,3w^m7d?`({Q'F-AtAelaTJ/2gmgV GhԬoh =%_홾p 6I+r4x!э$+jB@f-ĦW6,cAŭU$θۂZ+ ?='.kP@ީhQ<;c9#?T~.9G9S A%|=J+UKr1.nv5{Gl7lU:%gߦ .f)}S)n+N؅TS0#!zpm ԈϾ?mkrRU4 F?%˹_AC=w U̗zViNc`j4*'qXJ8'/%=gG7,DHgtIP }PTQ/ւ,oT̀9S -ثpQe< W)@tP)t^~zG'SNv不!topx窈jK]` 'R$Yee-&RZh8#0;rȪ[J+yQz {.[ojm azc#1~gW{62Buf"&S>xm %,}2r2='4z>ޗ`٪ZmKC]KOaRy[4A2p4~(_=\ذH^q$Ёbd] 5-LdJ%"T񶋲FUxw\-Osw[Uw/#\=O2pda骼/j( F^pZ96=jnyˀ5jݰ\ jbP  uE:/) w3e.ޚl+?+5ok_(.5xv?ן _){D \WC ޼ ,,Lᩬ]}]9/35'j<vȭ >2bj0fzB/LI~8n?zh ~b}8LԤ:ىŨʍR??sC*5]VQ`@'G֢83whJ). 4`=Il* o.kUtIiKH7Q0kB(*,N&)b u̎usW) pYom`0f-%ޓ[ߙւ ֭6YL͹)P%jˤ@PMҪk;dWF}ޢwp87J::X[*]+Ӈ?!`p7ȭҷW ZyoE;'>/=PU tEb"JZn%8jfVv/~J XI-`bIX8cAQuqHo<Ӏ .P: |{fEkC$q(تFE5ssdaT!߻qy$pA! (JIe#%yc1?>@f*gV9i?(Cd?B/1it ,@qv͊Ѻ^qVIG29:նqsaUECiNtMEĈ]Q FJG9(ZrZW[z4.o4(M|fGh4Ws~3i`=!)5 |#x{R5I27G`>FfNHAͿ&OLnM.X(*v7ŝ̳Viۋ 8,sc5:MPC?tnL*v:8@$m}@c*TF r1-(X ÁmF_'!Q&dž-kg*b0-;,#6Ɏy IG. 1v-!Vs[ޓ W5%;7R]Wg&eJ Or%$" c7z)^ok֐l S wszw*SU3MH3.ъښ8 xaT0;8Kzcu]r>rM <;CUĕ~OMP "#l5ɝ4 5)]$#Ws9(VrG4,xJXT36 oHLg}UN2),!w/:%ebo2WnKkBgrRD0-NK qUaV- sAf5%ѪEs̅J$")&sȢdZjW <1\xGjr0p܏u:NNC6feS+7SEpi gsX:zytR|auV :n\)&MgV-/N09KO6fs~C %'櫇n8Ktwa@"ёGj \ V~<%׃Fd"A&2JSU׿dQ#>= rpEy-M0ҍ#C쑨cphu ;Lc$w`I}D ~t"JjA+)gr4'7GRyi2=Y9G=yGZF⩤aΜw*(ZG]\+uMT\#Rus$=( Lc"Zn׌2H'W7&1D>`! sM.ǏfDV7Ƨ gzY=c܌>h@enݣ(qgW| TOT%Vn8h0;%{[a .o۫lQ ٲ[p;mS;..73v-I_7و:=8ϴDNDw_ΒlIV&+s"{x7|xXf(]Yt-S5f;O cǔh֝f<)ׂZgh-zٟjf۲L-Y+ͯ1Db HCƹTzМt!r- SeXUFJDyEكEKמgq̔,(|/ >m c+ EgVRrEr/:Hsq2ƃ( -,N$qc|i׋L0{soȕE8tRx<\xaMKX6_{WZUNΜ"^0 B!Õj =+ϔcáHHsbۀgNHċQv#脃XڶP5Ռi| rr2<.31áo+#+f:Ғɞ|j#P /hGopkӉu`fKDH@f"uz^CYnf9 rqogBGLqۙ~vX!z]pd 7Ѥ1֫u6#q]9-)5EWe*sIsg%x _pˆ/pS?wQ1țתi5X8joTPwёZ !*n9+6%83-׽3.q4BqC8Ih&60Xg}e?I*YQ1@tA" iDB_CjrW)kԡ~0q%/Ƙ3%S[Bqءn\4c.NJӄgof]cԫ[ht%< Iqݶm7Nx^XaXj2{b.qԷ@O@~d`ɿMRowQѾ>n*% SPMΆz ٵK>>c}L[5 /v# J]Rԙ65|oZ&3ayHPuoF f*:67;OWZE$6\VTi[,(hI}I HQw}R<{1V%4NoǦMwGwU F*n;0ycA"n𺟁 @T{HJQqﴽ` 3 ՕlR,>l_? {4)k.ũrZhaO;:c\DX^H@".Ѻ/TD6V +"z즺Hjde>zrZF"bi*|:q@guի Ri^Tj.; llivlGCdT Z\_Tmи{HPTHh <>ִ`n͠+Rd_&[/ஞ5W4dy#@N]]"Z[heBxoB -qxOB=IcTs5#-%_XXڶ&IE~,LaS u&4vQ99 WRgKTr@U'"%`5Cde@X[}{n@35\ 6 _*{d=M +@UXd2F#fŤ'8{G~*MyXb0NZ$P>MR!mWle,NCm6 \kq7sz@`ܤc,_A5uXXk`|xKhӖylKQJg( ]Z>#_朜kJN)YVȑXe%oqia2:EmU Z gYZ V.tN1Y%ҋ-xU} Z,sp{؍xEA>A-͇o7);x[ց&m&+q%\%*dK ͉p;tqjAϩ œ AL3Th x`:DLr䜴,cc9<[zgq>ZHFdMvnR7Eތ$1fSL-Af76I ez/nc>A`!%B*/u%v7j?bG+%?L4_{| FtLWϚK< " iksN3M(e">Ph{{]ǶU'IM8ꙁd']GZqLp0*i6{QqZd? H%`|m52tS%jvMz &J*-^~ ,DsY 2*LߦZm8Lj'Ma fVe{h PJCNYO_V@v(yΎu\0:WvV۠e_`~.+(޷UdJRU Kw-1]v+u[,fl0G2\u?k[ ^{2)-T߰9Lj-oBD5Wf96zy?[oI״&ۆo=z`w[0VOb$0 +e5xN:DN6/K+#AR=h:&-)(W++K{ eI1a 9eK/܅{F *E/hɝ<:j™?B2hdJE Im"%"m1=18 672)Nz"WIIcˆ7* -6R@^pA5 2Mـ0IAa? EzWbkQCmh@xh%6VI!0=P2]xfYEtx=s0p`SZB]Kj w3$04`/'A|_'BgCfvZmsup>+HLĿC})xH"DCҭ@@8K!<>3l`If6ϴZ|pDE<|fqV݀<1.?[UjVW|$9WUb12i$_f?w’|Oyvo o_L/<>_>IgeݞXcwx1ԩ y&ے\;P9!] %)k3bXb_ǼrNG⦢GUPݓ^8&ZaCm4#xE:gz&A HL~_%6%)!8 :oݗ8CYD at B%W+fhQ VF<^o'KjeCNh ucGvH*Q7g 5pm4V)BRw,j% Wؚ)ѺY6ޜi.DD[ǧ#:WH۴S&c"A>hd_{QuQ#;\]*)߽g$+*!6[E8e-\д ̒+Ri|?/3R @W-A[}#WVzSR/R be `!u&Pl7ZuUT|Q*:Av[SC'm<(\T zp`/a\!6㗹*4yҍ Suټ) b8 e&R%ȜqlM {op{j `v#岢/O!8?F9(YHx+[l}T.Hg ?qyvǁ٬F BgWJ=B#1W.R:S:pTR7 "ZTwӅ 55mU9s׳Wݾý%U=SfMKxcֳ?c1,"{Q)>0 6l X˜1it BYȪčlmձyeE}4<]q#l|8Aժvyf2\ZjN(-z,Ӓ/UEQ6ik\Kb`yڥ5P|Z'韥"Vq^ʅ7+}S'xZ.歼>4HɘÜ,,CumڦUd,\S_t(YtC:KC!j?zWXl+-si4x qz\\g "`?u,R&+p̀!71E%"@%b92ئ3GOqls+o4qܐbǿ{Z)#!y$rʿ>q=,"V%&.v2_'>eS %u0٣pȝznC:Mê-סR~nwF 򈊂*5a ܐj҆[& ZtzS't_ ;z>\F% lx̦2>_תdA8PyN9Lڌ]rm06<1[_ S9IỵYח KV6"z_=ۯѷ\"Re.HiwΞr-؛(Cel0Qζ2YsYwoXrYFƄX0m{2%M 7 |&e[D͚O,kؠ6iF]˻ 4̕GP90_YH, Yh7jY`%~.|Y`:TLډ*NĐnE,`uN- +"Vdۇ dC,ؿ/޼׉Lc`d>HUo1UE,g\Ӛˠ=3^`ܨCU"?5ɪDoކ^B@՚ ?Y0rOM+ ѫso]!KWY9Zk=s3NsҚ/Nr"}lԌޜR:]j 0y"[ۖfD`,{j|Ij΄xOL &웏Ĉ<̀<Q))v= vF |P3QCh.Xp#IR9amre;*y/ iԿP*.plb0kƢKlkm>kRk6dq)/Mwmi7MD_]=b*Hoڤa2r]0L[qx+rn{Q/3\?$6:tPMMO~sk*+77v_LxupP,uezRQG5(_4LX 3 ;(/&6F(8"^f7ih@ iACQּ\ѣX΍xCa?m{9R%t~/ݽ9NjdBi;RI CڋJ.Ude[A;+DžI{Ox&[[JL׶WvfosKۆ9}O^@;.RG-s[]pW 6Rbly,9qxl4]37>{{ Eo3*c"p42J#̀MC8нŽa7e^TN[+h29\&qm}er^l:-`oŚR9_,eݱǓ΃ r#-/S԰l+[zqNNŔM!sS|:ag;=ɐmNQc_v14ҿ">Xd\ч]^F:a`2Ȑ1mZR RӶ5J":"`y/$BlxPF]-)w>Zm8G@\AI/X z̈́LW =y=d$ QGqL> /yV)SPlW,M*-w4:Gv%(m -)d=Lq 1Gi;n/vb:/MSY:ӫ&`O*0;Zn(آC%Y2\Wzc^TMigJjn . 3UNJ(@Gjd)_A(["T{ƮGGd|fAB[s[8π}~;E=zrlvD=0s=4dGxX9HKi«C)e1~'ufDSj/93Nx%3Yy[(4H .پ2_UDO\M@:aVɏJ}jh``(ܶ5,|exrs'.t݆ c 86}9N9Cyrw`-t%{]8h:W| Ъx?U3ObD;35训Yz - nr_xD!9!EPl+ݬ b͐=A9^5@?^-;D ';RHT}(K4;@ zв f+;S/ +Aa >)gלd>z4`5z[,\q J %hjL\\_gfTMMmmhKe8}BmI#b\t`䬲|z_O:*p&,bkoy>ۼ֘Qvr0=cI6˳VjyTx;e /~zG2l9%_M屒5A <$)!L nM_)EǑUzG.Gfz?L&zՆw.;O:=so[liU/UPF̵utYIvM9FmV_v AW8V'hYgP2=ͺH6,~Z> .]oW`eE^kY'PV@;H̟ӈ_ߧ.ɿ%bs&I=' ه2#MOe;uB9ImVo>QE"l畡7->&($7LFOz6Z} J_4U&cǙh;o-z$2)~hIʎx^G`I)wPPR%d``Ro OfOI},w>Դ9[a{+} eؔ&sWdXid#iEޟH#(mE:ЦaO";*EZv1!c]T`ZY̫׍1@p x`!E?l85߁}> 4۸WB劏ׯmV*By^ڊe"+>T>EEѻ8v"D] n yӑ]"8ʿ<Ml8u[bMB4XP|߯Z2JWTȃb2ToOk 33$35) ybf:ɒ$$"E IRXF}޼r!.'IdTV;߲Pk>.lˈ"v[~MA"[j #80th׏GHt [66>1t|e*9ֿSP]6{s g&L%8uD߁14q芟ΨˈY2PfZ(&NǀO:R,apT@ga)zx%l] Lb`ŴSy¿rÌ }1^rtk6FgQ EzK=`oX/i] w%$:)\՝DT8뀏Դ]X"'hj6p(\U{dzZ#Spk,d^Of5@[pĢ[ɻ߶Ҫ$0 %kJyܻ(C67>@1C:@N]>69#E]+ 0zS8^CU[ZGH^Om\<3 s5&aг1䐛7ty}M/XkD]p1g}Z]95{jan0W=0N.,e=ȌtJXsb bׂ&\E$vW_dP%s`d nDB*TRN "D`Œkeө awǫ%`ՠQrlJ9,Yk`b h6Xj fCmgz{jr_:?yT͈%#|#@ FX@ k֜g_??οX$K7[Iw3ޫu)qYds2vK8)o<,dqC;, /<#SR~S^r HJo+:Ò ak T\Wyj/š̻աs?kfk5 [u5Wllҟexͩ@rl|0F4NsO3pmozÞak($"LR>z\liKnbHc!\7wnB$ J?0-x=v?(Nj/,0&R C K*)`!t:E n5剭=iַ`(p; _czp#$,$7a x% 9^ri]W!H l7 PY:d:7 m~bދtkU;y"9ZqNKF:~Ⴇ U<AOŌK2d^6dGxl5^dTTe,wOAVjJV+%W6]s# 4 A%CNd KOÎL ĎP̜"`6B8gVaRS<8 5c̆>fE.)ıMV'5iKFWEȧ|Yi2V؎(AFeoJ"^I۰So ^j> L oԿ uv Nm+w90 /Oм/(^$^3%ZAו!YK'צDchUCkȕԤ$mQ>C0>ޥ~Vǜ*2k}AonAh4&+a M (s 8SA%V}"h=1CcB~q˼ :nvزPBYSg׭Ky%x\'"i u&D *1y[>Dk5iv "n`C]bȪ[Pl ޡWIL̉-B=BJش,-X3OȠMގ`l6e_Н;Oycqy_8leyґ"]TNVoLv䔚-Zs⛢u}c X#HRS}9?Z+µر(*#v |hع #[pia^*|1jFZ.psCqL1:"4E뙲̔l5)T r]F"zZakOz`1N6OTdBA]8{cDպ' x_V 9R 򭎖ek]@c@>XW-%fo WY"Ԟ3yAI i\emhحTI$_/qf^_CZ (22 ĻmF`p[2K3[vJD*`bOueC2]nX߫ ){!֮c ?eۀ2Oڌef zׄ _^֏K>g(q!u4Yě r"@5T׌::b(P5[]`޼d]K$rf(1Am `<>AfᅖK*S-x[ZY3Az,ƪ:(3{ PhyMaD{P Vf98G)L=mԮ?k\D(7]ضW+bdEh&7?ق-q&QXrEܻˎTrQXNKP -)ᰲpT73t$Yn?B|N^MyϹDRłFN-AB Y|3ba&~ Ƒ]0"ֿ4e`{l@hIT|PMo^H5%HO!uJH(ifL4ȏF6r0RZC ^'_) -% aZ R2"xUnM A_AmwpX+V}kNGb5piwu4QIMptnuy84vg`?taO6l ݽCdZ?IgfH*yC2MY2X'(zf%HYy;>_@{їpHq{A=KM(;5)Oi?N;uB2dZzA5br62s)#%&M>9~I% ]0K:YO<@atC ]\)E`~G@hgJ{c]=]zerE蠑 2}`U,aDZpl 9y=;Ԡ %=$hn&A_(o{`4}6qX%h8!uP߼!B{O/d491}. s2Ԑ} !^XrRu=E^GXٕZt"}5̷Ɔ"f1:Zyv60 /R'5~Hh}@.*iF޳ZB]>p[:OJ S:oJ& *q;^DžYRÕl:]_ymba4n) %h>mqøpgIQ88cD +$ xDOwۃ\1Qn3y~z1$U|##̜Zpe3%e˥6-I.k:FfygrxL+'jZ ;e󙙴 hC~'8z*OJ(e% S67>H'Z%{s\g tRRjW,585ֽU ~r6o]R7nAU! .N`UErEIa鴟4w{13<27pS ZFQ^27uA *c3H%9@Rw B4CaHE)1fo-">Ds8Zm,=l2O4#2etB9Y" `^Og~}P˃%_>b#=^=Uj걽h 62LՍ{i\.U2b^pX%i!{33ԫ4śc{T,p ӃfF aB>1 ZP}޹)nfPOJۭ^ Xt^6sRQwu 9v8!Yjkh?)aB(R0qP:S>+f7g ȨP9rKVJS%nܷ9td7ƻ)ir?rIiK׍Ĩ GDīuհ>_|󅊦O<ëi wq $DǓ(FSX}Ӛֲȿ{rՑd`9 3]N⃜\vRt>ڍg4Ng EO)G54ڤ RVe.g(bP>HnB}Il|@aoՑjw|2Y&'iͪL4F{ՄGKQ'ȃbd%JRJ TDWqm7tV'_+n;| |//+8$Jhӗ]0HM5Y!}y bލ5`:x'9 ۨ $4g48xºe AtSԿ>}c35|PO\ &ȎF>%vcr ]R݉ & _ UZ)9Dn"a[Ș⍑ei"g qUyfuƞitF\k"ћ(E)EΰJ8d=[$.C@"{$dR-nyE8ta5$9[{g_ JĀ9l!eԊ9<Olꠡ`~zw9:AF?S=O}jI8eܺptL'G|vj[0zxƲ*jqc7us#k%AflON~:XQDiRըf~`H8i;QÜTlD\1mx^_4!-k}*d7Ntvka>+)Lw.&Z4AjFe0 A:dg(k9רV5^)9%(_cj[8h,"&aJJ;3t CV(g{ː*|X\u9JqV]B :&+so [nB{sqF|*S僩=[v=v,/:m/JҴCNx[SW3rxW*AGuocśK$;zBu. lMf̭ /ݦ4ʅM`ƅn15FNҢtY'HIT?+x~/M6Nl^v"LUU.,>1V/-LEhbTXY߇R#. ܄􍊋tߜ)rqCcfaB3m5uҟP{``v˨aܘXdR$; _>~mꋈ?|rt1*\C՛0}a3mR]Um>X-ig<b6EJ݄ec -[h<'[SY҅r'0vw?;Ù ˀ~"w];eFKa\H"]YUà+׎ojBxKgO=B̓2)ͯ6*fa7k[rOÉp.QIKKnw.Iu%va**$XyKL0{5ƻm=Gx:1l20%!j5yF.B#6ZNt,{uG.hFu?Cz=QzKr K2}_jI :E (:9Ip&r Q6|Y4{Ʋ|%`Db8y- H!s~hAi1*%;AHbX(sf=<1v11N3Bd-Eifzűkbx6_vw_5ѐ BVK=r=nbA=S[\]a-N)vdh utLKYҡD՟yTۨ}/dP$QJf.,|n*Z*{*5{&nAz鹌R&$8QAmgJ8H+-X4&g5'E(eu5㤍 F;{W̞6ω;k&4wZ_2&[aS_;DX7 H7"0/fjo%EgCEd.xTi^WϘzxu*Fdžvr쓆υ>G t}uTr\(WgYZ ~~G !5% 4LambdaAuthLambdaAuth.Semanticsdocument.tex7zXZִF! aA]A-MՋhvG"uIBm5Ȣ?{ڑ0 KS] GJS1FB#|Z|S|G ?},+&E^!68{xtCda1T+{T49R|+@=/Y8s0;mx6$SL\]4I.RX= X㣢쓚.tu$7!9c (8/粃T>OT=SMűu q`6zJ+9m;X6W ;ި'KW|o%*ŝ 9]avrT) g>Bq3>^:.Sw؇|Ca]x zRH[hmOPB,f&5 ("۪}d$5Gڋw=  !/% TLambdaAuthHOL-Library.AListdocument.tex7zXZִF! n*]A-MՋhvG"uIBm5nz%ZŅ i]@QX˄%V @sTanPJ8k*/q.gt(f|#R]VBN8 K!:>02fU%<^ !b]&I)0|PaCqiWf߇]Jn$"`AM&v0V ginԆQqB8ҟb)/sPt 6—v 0ެ))^o ϕ)O"cW+qw!N-Exj{}E)\2T/n;P5^vMBe־Pb aQHKE^f̘pZVae~n+@Iɐ֤/X*#Vix6:W Հ5_˨ăXׯ;dry@2vBm٤Wx/ƭ Zss1hٟvوDٲCʴC0Cg$HJ*+2PA4!>郚 eBq=%m9y=(8E3@-g&T I:nf"Jl"Υ K4R@U;&&Bg3LߋwM6?(ږJa#T侥FGӃ~1gd}„k{&ܑF`޷ϟ S븉 ~쥧1(awdzUr Hg0-Bo nϖ7\~Mbp5iטѐd"ef@iFN_J\Y'[u} *S,18-rC|'+$vr=P_znOCpCE "ߑiˆ#I0IeD2 W( %`OLXp>tTe?07z>4tOxn~Է#YAlZ ޜ0^4 >ݓ$t)_Q_x&b{c:$/Ņ:1nVMGzrv˨Xx-/swn3 /,ͼ̠;xjQJkVfR3ZgM.'| fDѿ5:Ljh~EOB(1Boh78o=P!X/ǹquf,;y/n9f@NVrWnCƞ'r['nB\;bQR헂ctiqWs(;Wm}M)w2nj5_9|Q##, ZUQ؍5.XK:m4.(q KC{99{@{Cܴ.H.b~o__V [ c7l(sMMf;=pWJT`M4*P8߮]T!dy+%H y-+ϵ}Q1Ył&aױnuA}OybVEoRf=9:TynJ3M:`%~-ΰϢsŇL~]1o-`yU(YBabDegv=f+E*8G&`F{&&v!ouaDcNopQA6Nu9i jF$%i0*CTc4ƻ]5E/uX&w)Dh[]eR {(G"hSMIwz{[]Zcr1(x.`jo'c-`;.~ڤ0 #a?8y(6vH|U%A el(]_t~Cj6W e 5IQ1Qҫ)dKT|PoS15@YULVOf-hӬt5}^콵Y'Uwm$'\!ѷ\O--CNQ}oĄ2EHl͖$B}5LqB $4G2wy83[Q0&KP{\f/Ɠ9}qʱp&ò\@]*p0xߡ۪n+erڑY=iP AS[ypM˨VE- ǮOxݮe77Y}QO~2 rw,mMH$0j>_;90 Ak9{X.IZTh\Bp&A(['Piea`#1+#)rgV[Kɘb φa{ʞQ 󋞆bo=$C6 & KM;Qי ܝ N)\ZjSZѡ .=Aۮ BDQn˃P 1eJR^5Ȋz+Mo#:kVGrE+_;`WY3%]U x%(e&..Zy2xˣ<|3)l9kǯ5W i<_٪FdqHhJilR+"; 8)Go>y C3jB9U٪/#AMi>UE-{?c@0 JGU@F1Q F^6MCV9ӱ\#fQD/.#ޜ ifG|PH(sPELC(EGLQe#c;L['#a"> wRV"k iJ8h;TP^xJl}gxbI?S 1}ѻ7DwYMQf#Xqvi2u:KaEס HUmMG]HJ>αFQzz.Pytwf:7dFVԦHp  frodc(ַJaEE4II1C~=hLz[?QM"s?ap^2)XV<(36ҠN"42߲>32vy_ 2W$ 3h払l;/ ZuD v mQ O36u^ ZqܿWja%<(*3 EW`?V(g8]ȼy1+>&ىz5QV$]鶁-%c&'׶l1IT>@D'\en8V0?`4C  ^PhTc]+O~OD*l1 Rh?e$_sZӶg@{shU]3&mUbq@lv 5ѧ%D4IF\&syYf).ʍO3:8yh/t`+ VHxV`C}wuAgK6~l Uм 9veDCĺHOɶd/Qݬq0_oai6eڸ5 7e(rI!kig=lU]{j0te2FJ\)zv +JjspK7 ]1^BEyNT}`F̔DZ-yۿo-:8YNC ,3hʎY "MdJ9XC߄tgؕ昆1p?-Aןx=rF=Ժ@8}I.%,xzvxFg3f {pPqMm\oMxfh͆&|5\Z+65Ls*J,gcywצ8{ G>N cG9_T- i%L-BУ[ƨJUXN0=k`-Yup F_ lb,b4!&Wjp(!TǶW+M ANV/?T|EiP$`b^QW]<>nvӘ}?;>-]/_d JY7.k7X2̎ iTc]Բ6%)ZhK -F)ٳGaeߕVPn j5lZUYTGy;ؙ}']1N>~}$Du^BRTA Hut 1}+t<71VQZ5 *{֐mNLD]V_ ; XY}.ڹ[>۬>SVB.xk aKS̷w5gGyRؼw89Ud+!3sFXjz6&H׭LFzDoDSF3Rp+0F 3Vx IBPir[7#Qܳr4V},,3?h:$E@WOP u5O mҰ;zU&#Sډ@GQyJ]ǯDiDE &@P2f/R )j,-N l ީa!sq5w]:f#&>Xt_s9=&tj(30΁ޞ}d\DguX푢5XF~C)[$(,{ع9YLVq =:#)M4QxTUeÀ ISѤb2f *w%Qov- mء|vd0M?*-6Ӯ9SvZ_͟UDcWC \Ȃ xz0R|5UHA3c}ES Ơo"~|wjĔP13l֊6!=dlF}RiѶ/hרe^Y :".K%8.ESU$ |!^Zs/~ËZBe{x\^CWtF/: ήcY?B'`wi ~cz$]M.ZڡY1Th_ y¤7W&Т-J|1uQ*݊Ya.nx2aN7Ԩ+6z+9;SĿ~S:IaaLz@^؅,׳2INYeɅ7&2k&P!Zp:1]drfk o,සJt %dQxouBv _CoqTZ9;:E)lXK$Q'&Jb@湮5 vvr2`:us,œom0U#$n2@#bM@) jP$n2mi+cTE_/$/U`:e⠧I9Nv(nt*2ǰ`-֔rS7/{&Kش kҖ[R3x@X@@̝z<7DԴ("漏eb tm#4egΙ|ɰ\wF,f+ˬʰXx֥@A[`R\'Yy{֙3#b~VaJmp%3_S?Z!2jR%Tcm1ƉYt'?t۷CZ2\H:d-fl8y히RJ"뀘#$Ӎځ[2땅WOɿ(fU py~nSmQפ'uTHDG/^K3{2)WWA[ (U5mi6{*ՙ.w%f˕y1uf9lo[vۧ%4yC"!sݹHثS!:Av5[G$A-ǹ6=[۰e oWvlBjwo[EaD}D)Dڿv}V0/,2^䬺I / acۡ$! I3ǵ%[k&-/*@ ^y?1QboQϓqlwZf'r!V``"80Ԙ\Y^ܔسҫu,=Og; qoPE2saaE'|>%^6]҈K ztS뿸7 gy%oVxP\ig=4y`GA"hxfE஗%etJLEx[;Y]$i׉k4-Hc4VnQݡyt=.tž,2$?It[> }B֚79 f8!0:@Ӱ2r {ά c{3.E֒duX?;:ϭ@F;|ʹJ{yGg\7F̒.Ȋ|ضַ"Mq'C\<:ݩ&VQb|OshG(f݊ob@ *!A؎xj*Ч!% F+:o1T f9V𔷣m/E[qN#-0S3˓FvigYZ ||!A% LLambdaAuthLambdaAuth.Nominal2_Lemmasdocument.tex7zXZִF! !3]A-MՋhvG"uIBm5ĸȌo8~N}e6_蘴 Drѭu.˗!(X JIFUR>81\ p~^0.Eb'ї^p+m{ߥi-G`=&?U6'Ns#+uwuϝg N!FyvӉN_(nW꫖'_b3cMN%۩d7wT^'89* OeR Ӻxɇ='>9Իw7..}.WFcL1m\y>y @X `!69a c'Yռ)$f Ă;1!u^8OwQaXQ|fHf4JOQ'3x|ЏJm {9߬z`Wm'>e'Q:aӒy P mec[oA YtˆYI܌&6KgNoW;]v1Ea+A'*HjNčT7!Q\{;WZVCa%ߋ-\H_8%5ҨlJpJEdT2F[]t*6W+&37cMg8 -Wwa6 z?P[QG4iUo+V, f\X+nW}I.f%49&f?):ڇ[I>T~;!)$va8!+,b/\O=\6$qS0* Mk"LZKR'ף`B-i5 oSCdokgքcjx7zح*$4^0b!< -TFie*VwSlfTQnTS#zdݓ@,Gc:U7qȹ4բHʨv{&%=6@99D?Z|ǩ;Q"}2;w!,Ŝ}:UCN6w̅N  U]3 Th(IT d*mD^Pb|c9*xEԖo/šyã# 5ZYle=]s$\OR35D2#(z&Q %* <2`EґOL'}T,,꛽. ?%5|G[ 1wHU|ԣorej Q⭛Un Rb{ au1<-@8X=x) ھK+R@-5l%phw^E*7#b`Gѕ$!=-EHol |R |W ^Ƕ'KAC4;o:2D/EJ YϰjBo]+VS?Gwew׷Lf[&0]84ِd^: $rb=WN\z{t[YII _pu=~E{vXB?EMH>E(J`/_T*?ȝً )B:ͬއ0/i+D(C˪2pi;民t͂]$lFS]i,z2sB1X}18CxX8FF[QJSO Щ}m8(DmB&R_J 1] S_ju.*t+xK6(__|qat+^}3RޞUJ_+Jqs +.T^%G-ub)pw63 Ԉ@LP}`0BfYϹv^IX m.Dԁ?zxp4,31vwa(SPmU!=-C8x"+:ٹcI9goyގѰeyg3r >A}9^6'yZG)-z65UE̻8!_qcT_h^ H?Z+T)Ͻ܈Im zϵÇ喢Q3[{0ԯ\7g.ghh^tzA~\/1M u[>f8DZs)Z59tIn+K*X%dI bI_N>B8O=+٦RRNՎz}]O ٕ3@>8Cvz6Sz0)RA[G貟\`YvE4;bWVىHihHvNX@륨ސl;׵%!ڦ-nv{YX-VMkPkߤT XP?  O!/% LLambdaAuthLambdaAuth.Syntaxdocument.tex7zXZִF! 5c^]A-MՋhvG"uIBm5Ȭ{Ȣ$l%`ҌI\mDn#}[kbRWPMI7VCrQ J ٿ+5D\bOjlO}OfMRI$6'Cl&O^7zuAgOr+~sVzt8sh v/ vm=yB@pϏU\+s}y{M}=mK}Um6TxyT,jFꕕ6Y_,&< Kbipn4vn@WHwh\$S&rR1 4(G~p@W9\OEIkYr[ evزWV|oMʝ>Y 69l2՛~P4sB!g&u&3+3Yw¼:ͲI[/7u3V?!0vl &/4Q5j >k%&%A<~~B)ope~qLǶ("EacbGY&͐'ـsH{//Z˽$r܇z,5(bR-SYu%";)L]@pRŏC*p0eR[)ce DMԍw&;1´\V YB\SG b_n5F]]-JQ_um"P'0 5Shh*aFs,I@E-U3/[e\Ozf`+t>@MȂK~駯=!_MfJr%I}90QY44j+OGn\+Z)t3$> &+QBf$ #/0,pzeud]ZA8T][ gS[運"^ ėI1"8(2Tt=͖*gT/+8+108nL] Tjw8OPR'K]>,N)%?|!!E 칯[~"YXͭ%=²q*:`~P9K 3#z뷕N|Xg]a鯶dUp){J 2yFǯ>$-OTy[fR8Ht(d_J.է϶41BM7<}N)}0tD;\u~ԒƵXuR[q X9@IO^H#gdәJ+]y> ^w@R(,u5w(f}=^9D`b(RmJ<4~kkU|lœsdgದF-xpDQ#TUU虚6 "c\j; 4@xg6)R@U>ͩ_,Co(0F u0C^vex'RT\ k$3&*1ƃa!xeoiۋU mq .B=7By*`:Շu["1 曄}a^yvUFwlMK%Y={J?/'1A*"Y}aEBd<o%tUj j:gYZ7!W% tLambdaAuthHOL-Library.Conditional_Parametricitydocument.tex7zXZִF! !]A-MՋhvG"uIBm5TX7ɗ881ToWM'xmK(*S4.Ҩ倖2Wlvp9[Gw"^3ݨ]{;3@a HIк[@OZwkXuv WMB,c+ ]CAH Ti#/;vXq8r 2HNA2ugiozb;[ݿ݁\2mk\ET;-i3áw!^5T[igFWt7Cy.3ci2T7/YחRȝHl) ">RLҁXD)MpY{ zOʊ <~VR`}(9t<$zSD) ga>몮<c*`. $zR-DM8CۦB[-e,*C5%¶x{` _9%ufوYo0,h r+@8LTWn%-_V4-S2 }l;@謅r=E\=!r"Lp^ m}j2^Bߚ3L М 'k5z$B+/LAkնTLvGcmpMx$rN0<:":V3\qC_q6:+)tKl`GwL[AEkM}s8ĮX<5N\̲@ na:]UфZb/OP=yB-]qIמ,<4ƻHw#6 _#+'wӏ Vv8%AfwN5RhC͒P[N0r:zx) CI_gYZAk$\T/Xjٳ\ GUdI^@ ;fc{l@|8/E' [M؛zh;GBLf%x (}^ kkK;/2Rh5et'SPa7q{ŝ#(!$$$i#WO]Qz+{)9l֚,8׷)\ @XH1kzhc>*5 ݢpvN4AE,fS Q3٣o;zzoR{%La&4X+_+`|=2A;g+Mƪ&n|#&kM-lfefO}фl{zQ JGuVtiO`<3>@:ͱAf`byFȬg/SfN]T%AQP9 t^(,K| h1jLJdI N{{CW_ަ zi}={5K]}X'ٵbWn(% |@"3 L%iGYZsBr7>x0; )->sʷgew_6y/q3.A ~| @46@i$-@]~[{gc2ph\'}$!1K9b͒kz0Eʙw%$%z\ZgʊPuPrs)&c=Zv*; %41kB#.#Y&tM VQ):*{Īn6̂\kujfĻaQ+)jQ6i>v=LOXͅGVo 7f#|Yy`A]_2d#k}G)@V/\LVu=jCh?&|O2X uq9c-荞xh7M1AoGk7M۴޾⿃FN,nB7+BNl9g fx1dJ1$@'Ȓ5@ @z9qLl0SpvA 522o`I7?J(x4l}!Eb lxf g ZA凷位iUIsΦt(H%w]0SQE'ǡt'Ǫ-ƽrD&+i@ӝ8$l*| I<6 ;e"||uanKf)~VVdx%C@g[[\2N7 X}]%7i Đ؍vb6V5Om/yXc{5#aYӜgt"\#`cHqo}--c a8UH}&ƣ] iWVBnlqŇ)>xB!mO C"B\E sVfwVnE QǙqZ^SH? *MY 0YpWv+~]@<ƯIUb_i݊;z1 sAqj혠-xZ*-k{%L= ,Jl1N4)Ϙ3Z>u$mi"hT'7U+UT{o7,hdpgAVJ(K֤{_vvgi ygW.dgE@03״d`f;7ݮ qE@\8mVEבҏ%׆f㫼ll#T[9ZiBu7V웦<WvMK@Ga롏3K#Og =VRhYbO]}\ȷ.kKenN1ilVydYu vDqHNf ]$.&?WvIOs؇gFZgJVf{B\3< ^y70+-w%?V;ZTi"{<]|b5%ݟ3Hv(q:fwLKiHzPQ|'9TA- >,GeG\qZ-FAMu0ćy60NӥHyMDKW"l&Cqѭ{jõ۷m$9YRIxUE(KEśjU'f 8gFnmlBpU󩌩؃ZFiE>>PW%ֈP,fgi(d+v:,O} QAo-t^|$}X ‡f0>Ou0uŶۊ̪e&8|61mk`8aWW,RC@!_4dpr*BJO3sc#vd% [w!}J]?~.@`1(f,='D|u= ViF{XkFM ilC,i3\҄}lB"\Aߦim@Q&%KF<S{8;Jo㖲`A -`0ff}qT{]G5[#T`A|w/ݹFsG3= No_p ?i+jhĒ ߡV+_%Iڀ}Dt{<`i?,*@(93RаKŵ|EE.9 m< ^8ʁ Y c +J~ {<o/;ɗv'\O{/r8wyTeMy F&7xC:>U-kqq3G׊&[4%wb#juYK!̐t}XX&=idn9 SSXTim&@6GpXU`u'=3 ]١Y,QalClXixXBкRނ20)lZj7CZ=*>3<[+V2̝[G`-eܪ؈7׶N}"~T^~f ce'B^twU웁ab+}#v%-]Tfa!aMx%-e5l0ݥ}ek"[<,]r?CMW.Gh fߘBqBҨ9s(mssuJ"6V(alYPeYDfOC$Cٓ7^gZ⎆=7wZ#RZ8-REY$q)z\\β[킅A(J![},VL!n*Tu9i=)mML@՘)tsgpDÑKYdp#G~,,<Q@wYtU1J=J ?MubDɓ3ˬ<}*0B riL6%olJWA7ߊ=oo+!b|^%_/4\q,I%A# ^wKѷzS! ,pc{G//_l+a`ݝC:]&[Zw bO 礓Al踹XԴdx "ʪ|z7gȨ7@a~DV]mv#J{WLl&P滸u(MCop=iEO \Y8Z^=& ϶%E@8qhw:?0qBߪ=*N/ބ%IMAXlh`wÇTvesRiAtqĻwlPI|_Ǡ @g0x*U|R1̮ڞ@SE7Z:֣u+Ӌ#s&,|/qɗ|7\E_oi c3)BeY赶p"FoC;p:0q[XꫢlItP@J Y<)YșL䈀hqH)&ޭo Sm"Za0]"QkQH GyF;ڄ<'*X9U=i!f?#y]qF(RkPY@ʄ {ROugғKX>Rwxhx//}kZM!g_W2QPypJijq5l|r^w/}Yζ4?nkrCk,ݝxg'D)P7mWN<;ossc7s4553Xv Eܗ_nߌFؓ&Imh.Jv~o8PKf|dB 4˪@2J69]I9IGQie$ySnp"C]~+<Kā_BtDcmcpx?YC_p6_rG\a-@݁#2HUd}'5zR_l(C׊߆y 7*r΋4ɗdj|[ٱOad-J&4wBg]' AmysemF6k3fK֗`f'g#>^V.ZJazuŎyr;6?O 9bRI;>8aP^i?cBkFǶz1n@&Ѝ;VROW¡@v9ˢ n]3UmV3 <Вg.@/TR- "c/}ʡG/Qở> 1x"m+5@|!6ΤiPw0'i,pp qf+ Rh<ޛATcTTڏ̵Iz:WPQ@2:h;OJ`aw()AZwj5hukyGRF?s؄SEZ _ԅoC-/Tҽ'z31dO>f(b dm |_6`Ԓ_Wg:۰X'`bC`o}wqqi[G/9w8j}ŲKsz':d8SeHދG+hĀph\;Ԯ'kKݝ}Ԏ*f}$:m0(4sӒ|/ ^xejdy9|W)6t?mY:zMt8q7j<]pMEe ֽilob!+Jcᛛ0qiznJU~̈́Dȑ]8n p6UH!N t`VHj8 :`Bk;̼.@oǐbh/7k Y8uȟI7sL$@^L98ՀT&J<VШM-rm3$Figyó{FyjYA>dV~Ok- bc ?k=S8g&Ece0 !bBp$ؙ n{Q56N /X33J Pn[#OWv>_!^Pζkҏo۳ObKD1mU_5^ Sp-GtCU5$v%YuQor0]Gk\B66G@)d?ɺ;KyLク^TܤaGe8LztTGK9-TyX骨I,& Iف$C \f}o"<^lZ&b1}!XQ MοiC"xBfw{R#R/κwRw-D;c?1T\::]*d;6'rOv{a(\s#5qczĖ.7 WJh*=oHDƵczv`ffW:@fRr ZUz<{xW*Z"Q*A=[J. /nJՒPDu1'²JPsFZ޹<GyBA6\X@_D՟}yDMuմ,?ubShjL4$4w&d%xې)ӓ'/H 0kBہ"z4'R FZgu{{Bf>fV]AE@)b-CZsEAY|AsU]?b~6VqV (v==ac*1ȵpzwUOSU9ς2ʍbΚAi|?*I!7]kT@Cm0tq7 N^ U45&GlM:xsY4hW/ fb_V%N=$5}g,cVVJsEPϭe[/23tjE(Qm#!=wtHMNɟ)tV5M쇡OP'yY.{AG7xjygr! 7 ޖ-9GI\YJǷ͓G=4k_ Z@$of쯻 3nxD>XC꣖^w'ZɀO F"IXJDr>Jlo}YMHM, h2SR!${@7,{l.9N/H!B +_~aPmLHa9ؙ) ɪJ߱#~hٳWu=LӋJkQ[M> Wkg\ECg⭁=i">p VGCe67v@rkݘm\".+;GIvmH@\j&,&c/h Ip; i $%cw*PqD{jpҗ ސ&f7WCЁA $˭ =Y],iCq6.M"(Uf=ÖN̓CuM$e|4Cꋠ~i[T|6y΀<cbV]rȢ*]nHW͘n!3v%tBgJ9Py?LLÜnst Ɖ^ZV*acdR;Sګ>=T0LX/⏷6H" X_?5 RJ1 W>+I9t3"n|)Ц$Vhc>BJ /g .Z?_Ef=<.1{:L䈇q#j<)dȵ6:Bu]=aәa;)Y[[*FyyW4VIIP5 P P Eٲ&sɬnpCm83o֓ѽ:  ܾv 2v˫/4/)H !g] `ԉyߢy4A{٤޽zیEǰhN\?oon,ݕ?5RG6uH=G+r;^'Z zLLGt(llC0BW6)w8%)ضj1tZ~Z,w9x%GU)]7%(VM=wuS4b4Vgϋ \]Iy"oVffa<#Gn)gD!{VoI*:f4#ގW! "CI AonnDzji+8];b=94[.9cGxk/;}P:c(fu݄q}ۓ8۽oTb67M;^O@ ا,ڽI;h,_AyTXă.!ﮀ#.e偱v^3A!̥}.h+a\ͤ]y. ":d+uYsۻ.r,MrơJg h_e__U P56XTc. P񻈨 lg@8COM+.xgN1V2k0}j^fB` 0)v\Ύc~(tk>6gN/r+k$6ZLIN& ͌8UR>hDLrjZóCƳoNrI 0 `o-_ a@ [ZD Zލ{M|/`YHM t;0W`9w=.q($Բj9-+=cbAh.8&c0MuLZ ZH'_ƕŌar twD\!d䲃dJhwXOmR2_j/ $*Y="T:;YC>u\q=?X AgB exvb:M`zd ~`8IR 7wL==L}4F OhB{Y9)= uԊ}u!KLJSLVhΣ*x1\]rC3|›h~ngOLŔE 0;:pf c؞t i "(-qPE&XFp>h|5kݸ}QS]JߘPWCi42" j?|2bt1a{*g1Kj_*:R o3צ!._Str[$zN]fǶ}궁X5E}JAK,Sާt@h(MSl}#*y| l3F2~NY.7"yl$(֋O7p̶n[ى@9m|@S %dP|5j>Ɩ,]aC԰ UuDWpyR,KvІJHfpc2yxT\@[G=+fγS K"*9tu~bW[SDsWd "m}E?Z7:NE/ۻ1oNA H]Ub݌(zYjj$)(>02rȮhM$KP#;Q]4NI/.9|)( ɚ Me SwT|jO鰹w+#Щb9m1XOmCpt XoQ*|2bgOLI U~3Z15d-dЭFr}?bmj"q5gfbYpH>4?ughXF0K\QФY V('~ Uzd*G" m!utzSFt40#s3 C-6vlPm6"iqQLRb"ȥ r4HQ-NI^E=Nrw>hU |w: ?(i*t;t(Cum>m@ #XcӜ\%.G=hu #B⪉ܴ ^gO)NBpCqn&g =cAC5Ԯ~:<&=?r ϚQ]@ms a9>\x^N(C) Ym:nESd4| cʐ!1Cց|wIXe;:AUexaeU-4@jsB̿yX'S}\([@&t-Sax;,Jo+aнŇ-!@" y ~4y/sV48$<)Q.=0m N&U>a `Y怑A{@&ET8Fg<4'bŲU~"K}05G @ 盡*{=zLҋ~Wȩa:+/r+ 0OP1-]kͶqd9!)\L.zk__z{eqhFPaI6n `]4ޙ^}Pao֕a&'DJzuFKD5: E00Pk=뉫!$|A5MVT]ab*$PԚZh\ff6Z UQc!e{hSp7} Vݛ9Ip8aeESS?(* f5!G^-H.EW\cc? B)B&qK,z"i-a߉d<㖮8p&QmSRѯn8b ùIxs5=a32dA]6 {='9 p#ک eA5u'u`a4E%EKvEVKZ8._gj_N`GZl9'/lSИB"$~U"nso@eE}p u9ka]',tG_fEDm3Ǟ;l^ZKH"Zf')CP^iSoޛ.sϳbGD+!^&ms!NlǑ(<#Lm> pbAKq\坑 NæRAx6y{"GDo$F}/QRiZ5Eܵ%}_rmIt߶/nB7B2 #SSLwZN%)d 4ȴxh]^ ̶&.}KtahVbg~1'O۪Ɵj`^ΑjFRR`GJ] dX37'y9iÓk X:@ndOBe; fIN2QC@*|=d5+ó:G}]Ccj+t (¯߿hshׇ@1q.a%c*H9Y&Ϸg^|Lm!a%& ׮ ǠO7④/|6Wb[ qrP p0%hiPaF/?Tk!Pj "p6Ƙ^D,3&B⭏\VkZ 8\6_ QT2(Kב*2 fѫV}Xdio0#T^27-(;RaCF9$ <icөAbE`mW5'HwJGC/=#dpeI'0,PdbP߳8n +E.TU_X#3,;G ոw!E7)a~qGZl҂ꜳ0ܗF ȀX)˲މ?tbdUĻˌ}eryP,EXnfr}6Uț33 ȅiU#MM`fy3T" sV;1}+gԶA ۀ\]+#3VϚG yD\R'Ssに(!:{O F.UV ƗPipuC~rTos}(vKr tˣX;{M@DOr$^C偫 C$&KtZM}k0[d}DgtRMn`KEfa𨪥TBb;a}7[?' (t|9*~c{Bh6T3YUzq#뚞bW1$YQ_TsGzj}YS4Fq<~f^4)+K  ϧ$]z4\ 4@a[;}<߯Ԩp7I@k ~+=ݥ 0oŠY\ax([EɀUYJ`D k:ng/BJ)ILIݱۛ!x –~llNQ,4 ߪнB) %dˮ=>٦O Yai cQA=`U<_@k IYGIlILg84O`C=~:hkzha gsr*[q~^h>?p)Y>;&K_!TțnAy;ս.nՀ4\E^6*ʡز㲗y&тqFMs-XRpgohrpfXXե 'h) %9okID|)ʲO^F<O’ﰬ1³8?s.,ւw~&"w ƕۃϣLkZJQT|2S9@pYf{| l,`Op{ xy+x4B sAh ,˖(+R[Q*{Put)={ޛ8*G iWրV9s݊!FB)_wn#(-~q#\P.U+ XgO>J;QAWCa&ŀ,]'N o#Ÿw ȭ>!8\#-\n52%o LMpgp5c*R/pdBxmCEI8AFB 0hx^A-CeM?&6RqXw Z;U`lT>>zW6\ud9J@0;q+k@&*sKP.*'h$OEc(*#wt3xqaBCR>h4Wse{VJ5< y ?c95jchB;% z1@L_Xy5k:`ǩN{D\n%Q쳷,kacH@y5Vv7:kG@FN<<+5n˝+c-q֠:%Anb(%T`~eD N΅TFs%a9:0:{(_]Ðfg3]ͻL&@V[FޙpGW݊F_ ۴{lV<Щs/~Ƌ :v{r䄺 &o)Ӻ< | PNf,0iV#R!gHQjQxU٦x {)/cp}ԅqD/Oۍ Cm3__G1NW;!O%S$Yy8QAxÈƱONUYV4b),S)+!ruVz =YotOZ8NvxՃa'GdːJ5@tBCW#^~mr<y1Ouͱ[АYMKtf$I0ͬm Q ux|s.0[qDCF|JDL $+!bDhq&P^S*OIv rHLt螣Zjg 0sn3( Cg$[<:K"KŔډ;`A Kgv$c𰅫{:5s.F<FӅ ,/Ϻ 예ddu'w5BPƁzq7)\2T ChwIE&T TEɪa\72LjBh1ED Qfƒ숣<^YǵS?c#Bjbo.s(,,EWb\& 1u&sv{)Ѧ#h6ŵS}3]G ,|?¤%og %xYFS*!?H^+߸$"xiᑐi6 I> ny*:}_rmq.eD H^p)PZ, wH_arI2,:nb`8!m689y^Xmq8힚%qRYpOn Q{oO'*֎ISܔ}uuX)kO8K=Uy]E[zE!;٠ ;2XSU|}N{Hx"yDvA1f#Kim!osW#h 1@,/J][\I7_Eͻ51T}oDp 1E*'qtՆ6Ր1PBէHG O\G^ҙhz#:r9#{gi& 5d|QcPYFJ!c)*x%~{m:cH5F:R_:Zx֣۴Ѷӯ/G=ʻvbɑ3IfT㙿@mCFjSĴYL;-MC:C?-rcs6 +:e4Fk8c/ J/ fGMQr/8-W)Kn'& V\ /~4E& !nv-5j_!.Z^7Y7jʘSLlgo! o: G|l<3}(uRI;7xԞą936 õ]Z޲oiQ=na`Rh@x}00'*g1֗x(/ފ ";1 O啕E,;G)9'[l]g49I~iW5yLudRR1~i]\=M Ӧ?S(\zl33nZ\kSO2Tf8PRq*GDlڱݕoTW@cp2 x~Xˤ`n,9‹q!:պzE1/0!#VGjfO|Lz.#]>xY-Y3hP,ĕ5ul^Jg0*MAvu+I޼OfH((Iyll~έmlAvk% Tv>-N^ 3$z܌wJyZx.Wtdy42.$[n @p _Q ھ:qHQ_s}!\a_K<\o%;.E}q#s' ݝyGG2 P`gx_S6 I94:\ɢ9.yGNſ_N}M!'QQ:&D:  ђaOؾ+݀oi6>oc*@󹛑^b]”tŒ~Ű [};iZ#dHvFj0F62XԞ733!&͘nq嶵_9ЀEGjftg4'xf/ e}/#w9`?h3L+Z4)Ch]abEp$ 7֬GoV#MYAzt0ͧ@OJh1,WyTP̨%waO3IT?ኛ"m|d΀VFW@QD[ @3v-8Aت/*s(= =[\-)ivgW=~j&h ,3$}xD_t.zbwAR~u_yzFݗaٶEJn4;Qu4O+S^%\uUKƒbvp_G9\ٸhR|!o4 ds~hv?Y4>ipE412Oz$bEve~pTY|tf^9lJ;9v"U{0=yXtٻ. .|_м>rT7  JBVCr>~3˖J۝A}6@L}0_.HHO8|I/1ɥ̲bğ1*UAoC=;օ$~N;b:G\Lr镣u9RNS$y0uP$@C%L AYyF9*Z}^N~dOns%\Sk\S$r:# m+nEOa9͘Hv7>@^i ."XgG4Qm:LQcv.vϔ  Z7j~MIzULd#NWIZ >VnN5wjZe_cR[/P R{Z+g)q09F?u@9>E뫑/5l.p7]-ZFTK3N­-dp??YWт4 M7N2K3lr6!7UC8g7Z>»`4̍KcKJA t0N۫r.s1 )|qP^=`y8\i9 n^]r4VCrܝԏ&\b@.MHN'-! 2CWG[0pER4WoϏ|Z?S7@ڱԐ\メf}VE(&jȂ]TLCnwO4C5XYsDA$#9|/,PMUZNWmhá.ܒ)5|yxzz^$o t?91j܀<_}Z;.ĈjO{o(pyivu*6WNj_SZkg&o 0G#,E Ŏ@JP G wm&cף[AOrɯNPXNN|=w3g^a-B:^P64(Hmʜ `:i4gt/~&d#;~f'v ,edH$l_&ҕ=.-A.qPw?FE< qOz{M 3S'0;&%s8FBmᗧ팝ˆ8jOX>߼GFdHBTPU2aT&Isqô>:%rwqPF^lVRbwl 챩74yh>gH-X٧fE ,f Q:,/e&H-u N!)?85d6D~.;znj֋ JybxɁ Y5AnBY.۳ٹølgOMr^F-@=/6.t8巡r#O>Ll@HLȪYR"si 7= >gS*k*L^ܐ6;g9FaY`:1\bíyʵ'gw#sO2~ģR@P&tY&7UX3UҹZNɎNsHޖ8%ڸ m+cxWM8 -ܬe|\YPõDpKCikhNn_L%_8u!G ֺÞf_z(> yfc]bfP!iGX z>1-@~Zͼv u\D\vnE/THC!Sn!x҄6ć4i]@ꕓ`nv{ F;@_z>; sG=Vfw?-_3ITXrpa/lZ3#H`kjEZ7i[Oy;fN1oH 8 D%BrvTP\L='Gdncxa.8iNrh[!j8X) &EΪ|A 7貿7fQlY zjHT׉1Tg&A'9T8'ZP㌰P+ݠv5 }Uf& ]E1HFH B.y2|n_7lNּMZs7T9wCP;qΒpSβMWťǎ;+i喂~ XX7ZOd#WPkǥտX0AKtDeǫE)xg- y/gc~c%M]!_"I^",Pu^<25θw8x!;4=pŸ}r'Nf};~0^|a *]Tt91w>00<"^X`uix(b" 03*aQ  @cXrtT#I-jA_ql|:*9?(dr!a~6*dDRd𣻽b[Mpu|eY\ӳ)]$MeHhxEaH aTFE#RrOAF^8Wa.,M8x3R"RǴMQ(\0u罪C)kLC[c6f  yESE ̧~~  Rly)8vAxR1%'{hAD|P%-,v5if^ǀCU"9V~ (A^KrYwxYr?dW`uDtǪ&wbMIʼ"ؿ" EoF^". 䇒?2?S0+jVA;WKe%z 0wݤS 2GstJ&\Q9&\J{{5Kw5b.Iռ}xibxơ;\d;#dg઩03n>yb 6[SuvuiP7UQZ]5"6riFAM$txO%uU2)/6Kpr^Znř+N E 6r+ˋs')VNrii:cv HiQțY%Icm%{-_ƑfI IM)sȝ9mf|q+ogF5c8b9X^'3_]"mĈ3lv3S¬/[兑uI &Wηn\jDɖA*\<o/LZP爢33m h)c蕊0Hr "IHQc&9`re\[/;G3gQuh\ݡV?{`:To& >Ȅ[RTi<^i)uq&р~ڠ:jO|xorR92GNl?=\Wp¯d1w@]1\H5j0hU.Kˮ*=>1խڿڞe\8gt38Ӝ>\ˎ'{(&72-]k{LlІ%יX7˿? ⚤5ϔ?Q-i`%J5ء ZjZFLU#LCOIf) ׃Yt%$2fL~f(W&ޤpk./3J+md䪌^CAeo%%ĬA)K9 9:yscd\GmV`t*6{xg2yN켐;)%.o5Ois|g^|}{>(>KGkډ`sy[q)vCgWt9c7;e6]qY(n&{iz!'ZCXUEx&+ܽ{(k:a"|Y{`L%hƭR~kՔZ:9uA.i!U[c/eJJ*wb'=u3\/e0EYG4ofFLێb;~B&?~qH&σ~! K15~m?VssL#XEE:CpbI9G O,BR.$N<,v'`ӈd_9[%gw@z^ Ryl'vsz$Uz>a@;(btInء'et .Bad;Ď{H\ޕ[倀?oONيQDxLy6阆 0M_e)[ME|hS;)Jkq7Tl}\Wꞹyo^_Fx4~=67>xcz-QE6S@9)E-\;LZW^#KWKVQT,#>u T|R/~r~&ԉS62QawƮ v%P8_Jߒo HF̸7X[ DdW Af6(am45^= *B ?p\>օ;0cj_hէ7 Yl։Bq\@/:PA[K%wxʧn/U eCUi13 ,]=,-\U쥽j1 6ؖ>|;%:Ib(fT : +p&~JV2"Mq ^ˈD^,q j%%@k K4шFZ -_4Kŗ 94v*%: `x/W7>4k%$~]cwn\o_ePo eIM[EBSpeB>ڠ_\>]rcc>~0>anBre( 14VOш3؏b\v  ڙ{N8N~`C\g&U^݋5nk)2^0< ӖA !,iϥA&AaXIfO؛1\:CAfXفU<,KGff t{{Ks' |r $me-cEUģab4d8x>bw~|^MjKikE ET h4i:\ 0F 7Iuj_7hi0|:S~UpSG?ro/Xr8r:at؟2:lm>a_|f'߯U! PmiD:t$Kxm)fHn,^.>QvgKg.vo_@+hx鍿el.= Cm:n3c Uo˛YJPCݏgPyul, W0Fsq9x&NuPc$õraB_+yNPE`=Fd.j3[!>X)E P*X-+ÿeЉHx@Y'R.YqnKPD w.Ȕr cPpi( D}P"VN%| ٟ6óޭGGAI)s ^ת>l.2ehwE `7d"^90 G,&تے:pq壦8[J>/":J1YB'MY/Aɴ {?XGE'5 WZ5O& 7 i1@ܑ%9 Zi,=6gK:ȁ76猳Wkf(_r: IW(%ݡ>Gb6^2I"dm e@3ݪ ^'%Ԃ/7N=YU偀!~2W!0L[u DJnti1-t5ž3K=/bڄBWBxbF{6`Wעu)_"e 7'rg\=vQL58cw#ガ(O+&I/0|').uh E,;ϗr9ePFI ۋ؞}k^sX粀~f&<+1=뱰RG0c>ʾ:7 sl 4U1?%G)fdaBU, Dwe+R;&opX6&rq8EHAt0S},n <.9%qDJ)lh5T_WvP#݅ ֣[Y dyB zƨfPI:sn{{!> _s"{MkGK`\{Eޅg1l"~ï g(,@ڧ_=q] ܡ"BPE1yozY~ddgv2ǃi0)0C_ ,8vYbFwȞQDUIO?m^6RⱃMdne]m`_*yv(81=?>t76"ems XMTOc],ah 6tCDŽ(bY&jKhfou"RhI&CN>R3 5|6[ĔOOz}֓hq-s 6 4=ϨٖZ\Aߜc!rdMR=ytXjݚ0Z7"}@%83^RlẺ\3BW!k k/sU`zכ>34T|3C~H|ʽչxR./Kn4P$}=0Ǎ7["IeS#e$Kc@= $3L5Q`k+7jUBj WUIiq5* "ih${q3+q>9a +c~$&^k2,*§75h 1y]zC;eUV'~8-1an L'iX߉\GDaB.~=xL|ȭ[`ZVAjK%1TͽYH΅ naW6ޥAfs5dGż{JE=fθYNu k讁iNhAM\3Q,,#{w,@j01hCz<;6*J1a Y#\ dQ#]/uyh&]ë`1}jKW. \Q/q4'7~#Dg @ za3-oDN):xbx_̧i 6[+&j 0]4.\|=<ZJɤ[Z"3~9+SU:q73^#`_u/='PF14* E@J6)3Ktv6._ܡEQ<<%y$2 rUY'5``KTi  W +|{\[0Q#UY:4̱LS$/]//5ߣFt"I%7=.k#:Ƶy3p1.ȊjB-MӠRHle#y4M̛#^}qk&񴲂Iȏ]puQuphK^F)Jw\WN%}xtɩ|XU^ bXN94$:>CC)Z䶍%յj~.ܖMyo't/h`)w}tCv j0j]^e!l 3uvQ=*oo?|g=l oXM#lIU!J)~D xZU).y8!0˂km\`"b$!z-4lH$=ʞapX-|s蹀Q:a舘eAb{[THJ4gYMa.)Ě)eQ)*Kb}'kr<}aq)(i8a*q;58Rb"'Z3 vaR|Ӯ^gBwA bHYZpiDlv; YVt I BO{r`\v\Uu!oF̰z%^qڶ)g;4zy)eBydBBm9HK==qQ}PbFJbi~M9 Աk؝PCڴ1ݽm. @\Rv@dVWP3nBT^\jA&)ʖA Avl:+1f (3bGoB"XޥBMUEۆcv wm?4_:4#ޕ6u DeNcӉ:  oq&= 7}6{1a_8)ޱSNu^*m,wo4نf:,#v%{j)ˢ-_wk^s*ǝO7\>guT-h;\B)MxJ!?˳$.p449ވĤj$1( %12=B-/bStϳH3:_ Nx<ď`k%T3H'F}ͦP?f-8=-,2Fޤ mU$5M\Zݮ =δH,=DM0E;#ƌ&fRUGSykYʨgSR)c`].M<;#Dg sZ辣+#Њ3!M5jdc/pm3"؋+X$+NJSrQg(9P2nY'fMAlL!<=UR ѳ?ZR>_X{<2s9>A NLH.ItwU=Z>(\i0FYU)g`##153;$x8e #*5C6t{=f@jf0,!?W7srOz%̑d8eˋtn!LosZ^}rAS|OMu*2 O+gS.,@AX-B{b5udhl#0I`2qexӾm9nKη)N}vbnj +QE T&.f8 `mՌ!_(k% [e c$+ ܉19ȀT'hɚRb"p? JgN ;GUdI&$<  |pJ &dhgLN3S5\Bbf&Bl21&H$撝/7`^XoŝY|0(_jefA6#2RqF^Yp&SXcpU)B]oD)n~tru#&tx>Zզ Y@Om.10YأzUiEΆk2JŜZR\`,Pjpn/E%pjE#ݠ *粄$J6S'IX04m gqOt'@ht:˹@KODwH%3^}ZnWP(SK6Tc!0 "^]qKR*ࡃTJ]VT'{ksCnco葋/rvU5g,gYZ ssu !1% LambdaAuthLambdaAuth.Resultsdocument.tex7zXZִF! H]A-MՋhvG"uIBm58[JĀq]r 41T!`Oys:~;G.J:֔~$gu?) h7^o! uHpTg+ $[6'p̭Qkh)XS:`:`;IjG682ge⛰vQ/>e˭|*YҌ*>l͕mQS-r-K -C2b>PX(V"V[jâ.߉#AjĤF}U[OvK[GeTNcbauD8} T#A_h{k{)|6Nf=SC2 @>QZ!1-_\FG=A~^&9k'NO$#*ar1FհF3N9(5uO }|c^JN".\MP;NĬC,`{#v5`:fSpo| \;*io7?|sS8~f3,YieL Q*^ҰC'?'L̲ Ku==^ FNo۹KSXC9씰6HDYKƉYrM!ea#,qu@/ki/m +l<1 .lTݘkV=`RLIFH%0Ĕ<*}w}KMkm͛U A16xdf ($[.@vFU$3aA㑞!%ce b4Zʛ Y2| +\Ĵ1q3W)gv=̄ 67f2wnO?Ӎq7Tn_QLAo|0Ԙ %Zl?F++Xѿ"zO ٳIH4 %>Lz/}Xy%aA֨:L!/s|8@S(A7ԧ] C3sUB&^!LCX~Eri^<ϭy\Ofm層sIz&DWj/6( +\1ěmE1#fؘLVbUTՏA5cQV<  {=I%Rs~KW_nd,-I@U]e"蠫9.DT8|aƙzNjG^%Z#qQuud ҂ݗ5/ѧk>VAkjkNle^I 7 zGFbal"4MԤ8[W:%/HQm}qeY%hįavi|7̮*g4m!y?KXdQȧ;ԑ>:MSR\zj_a4f4 jǺ Y:͚ έIr-NTN(A.Rg\NtN2 _$[B9f1M}i5NlP*_z+./pa)8t?,+9|QUt÷kjJ]~p'2ĮXRqOݘ Hk ,34up~ÕCH߯]3fҚ[biK1*24֗.Fݍ橇B}x+EϨtUiIn3oNYb"NjQe]{FqMapI7ԯ~㖲|-~/x }hISSP pxZdUt@rp&`$֣sIxfg<`GpN9pLhD ϟ/d[#dc_1m Ee6Ӛp P R1z|_33:7C@vϸk@xã֣%c,=bbjf-G)ž-#AΧ ebfXL&h%5<$ ՀEpsIFKc!#M;R@! ̂iq*n4=#ON:I<5p< bbXg:dlɡW+ϞLe%fP0b]`H]ؗK W )iyL+I5_1".ݍmȷY vE,+L+>JO J?qS`' cQ69ů좉uKc θO`LL;/]WjЭc2%H QbnLM^ 1RߡH}qwp2ˣxB<]xjj]r [N\>9V;y186:ܯ5; ]~5ED pRxOL>O(؍_<#xc}sux̛jI]Al ܱš?p=޽?n`4R2λQxXn\6>DahE3πar4<![u65@GGQ@]ف1_w M|+¢-ٔ&]z.Rf:ƻ5Ga; =þMNO{55Ib!Ư$ J2ɐ*`-V|Їd?ýZ+֊xNX}&>vzwǀq|ª#bvcjjE"=gYZ7zXZִF! ]ŗXiɟ؀#!x_d(ƌVj}Bɻf!a,ݘ]TTa Lkݶ[($lTWM8~)K?WiZI*zꃏY %A72C;Bpoz?kVVhFaԸ L1eCJJ7u%P^޻6C~O@o5zqC($ K=mːkh '?gYZ7zXZִF! Oi]ŗXi%D3~WȨV˵LtXhAzFT0^Bl.㠹 I(=NvmUp*MٰN,l%M8ƔxWe?r$DcEJiB/S Q adIelƹ|"R>X+CYb_Bn%pY0m@e.)oߍô8Wg}9hK#%ןA;0vn1yBn8ld^t&ϝNfa/_66]7qƭϡ Dn2U9{Q;]^STc| G~n} uZ\`GQb\U gtuTZ!ZǂԴjQ*"#| ގvx;{U@ԙ ig\=΂:U[aeBv Iʞ[F>ACH@"d"S|?쒕Ecu$Ƥ/Y^J58__?^7ujFVթ}D&h!t᧖c ½PEH*Yin2|GġT{A>LG("DQԓ0sq L ;H|:VJ|Rn&2^7R8~62>Y_T5bj Q_L̷I%j_~_ H%d:}dOT;$ɍ:ޯ9gm$'K{M\wHlЕ_f0 භ#%zZ#aݹ.-jdb$5MJ74e #ʥ W L)!ҀME.9;t[,ܸX2!-, K]k^V! bfLY@XJô4J${NxmD2d˙F`Bs?VZ{11B׉\z˸3r48m1) f1lT S2ifW]֨Z!.mPYd(~JU"`$%F9j\ (F> }7=J*e{f8Y<,k<S0 :xvd+z4oʒe(z0$CD?%hTeskl'X?^([ 0BN65U^ 'yE+^)4V]yA/N-啾 |ܶj<GUm2{ nt< 5|ʮSmg N:>sy Ny`@Oe#Ty 2jA}&}:Swϭx HC ց,][8*K˟O "0y4}P&CA_3hxVd͠{ $YP=+.G'Þ"Ѥ$sV]ߑU|<g}!dQYv$óC5X4+)%uOW\*m#=>w2hn_еm$ ذGPǖѢ[p8TՋʄ&-הD{ߍUB~ N衉׎ )Gu9|Mpn lG[&w4ljVVImSŚ:ϽZM-g!w iO{Po.ZIӜ‚`$VRB|%f*٫lH`D)8nG,bApN/eO/+Klu"Rֽy<-"/d !}о ) Y`L#u&PjLsve@QnS i3Vac.Nv[ `#%!>y>ozlT2] wC&Ѻ(-M$BcxPÚs"K;|9+&^1{K'q>зs`(2Nؙx*jcˍ3m - =#6 y=B #gU34vB"Tl"VvM nb*D)8w:=A3cPX߹TG'5LZq,IldtJc}蕤u?!\olϗ>WGb,/YӮ9 oryͫ[O(]$YYvRGgURsy["ЍbsoɑvqFҷ20]bW=8y5\<Dِx{tKnj9Jh+$%;{O)PYJ9X'F::$(:sO4%u^\G^\DΪy("_rMu7#WBމI֝ĭíUry5~5{` S\anHOT9[jXK[8@ g󅫬7T @vU?g w5ꐻf? e 䊡 @(Uv|>\zwLg*'XH^"Cۦ,fȠ8!eJTܪ1К㑱gYZ537054290cd7220483cf7ca8933772126d653147c3d726d89c950dda47a94cd6c59e05975f526e9c 4182a48763908451de8961309829ff336f2a9af6 fd72c0b7d088f9750fe57479031299754e37c43c