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 &&2tLlD ]/ Isar_Ref:threads=4elapsed=20.080cpu=45.840gc=1.9527zXZִF! f]]ŗXiɟd)&]hS.J}+%$ dF`V L=x\-1@ 4EBƋ7OLҝu]0(ߟ[t,}ɪhVh;^ͫP(9Q~OWPgN-CE Xu#;N 3vNv(ТL=jrNu]~7%jQR̥& aBYpͬ|;\g=kR3muŸ[]KSpHc̤r Ar'nu/67}rPj+Mav8d!Lw4\qc:~P%4dX@ȟF@p sQP?JX@<t+ݼ"SSVAטUi(>Y0f^`_WUIL=ǘq2IO-z-5KMЋFH܄Q%yp 12,+$⨋rxҊr+{%nF|#O]T%2{ Fk5jG@B4$,N2_)g2$mRP]n6k  \YQ=P @['>cJZSVM|2S1rTwڼWz! 4 qItgMN>$Ѹpа܈2!np$d&U>]ah -J|LcjsU9$>MH,1"UG#eM\d⬟M w=` YZ׃,7D+źuP 5QJ5"9 12`wQzX3d9MfY3Zcm3\tLm ?v>{Ԡ`f `x-5T\X0Zgh,+ier fr~B~/{"iژ@Is)Wbg0(%՜yoa!+4F*SN&`?Jӵ}CNfgaYӉ^T2v~RWI9=ۊGNkr`z1+Cy݇Iҽu*wR2mDg4%<9N΃o'j`(gOU ע`]ۨe_Cpmnts#-F#N[pBldZ?0ؕ{#rh#aDȭr2PMHB*#SĎqLj)E$a"7'z<d" [D7Ѣ z\Ž,%a& PyAgdC*8Z C_۬WX$U'afP]I5 %dtaS̽)䌝LܺR< dibO;DZ.уJG|r /J]%0_ :SCtd{(!q} PEvTz/P5iDكo R{8PЋV^Tt[|"m|u]k|ڔ,->}7czP?⁒C?r[} ;CϷglMÝ7v`Gd$ '¾=:^xT -2K#nwKdN7,T|uB.kpWs& PpSxuWgD:@j 'Ü >Q$*&g9x!4Rn/'HkYaFfAӁh_('}V*(gH wjve B8+' l^mwtd8Pcvi sRE#sc55(?^C}VLy:vb[Ž8 ʭـ]Q)nfr9ESJ&T$${&n P?&fkeU9 xDo_LQ]JA8P՚;vԺd`&]OK -ǍeXj[An6~מ?1|W_@Bca;*{ʢ0X섀h;Y~T! [ds}ĽF0JM   Isar_Ref  LvFTS,x [»Ӂ^ 撥O{`Y %x0xsK!m`͜(0Оm4秳 dLl!HsFFDo53ߐk>Kfr.~`ww~?D.h_1&Np flJiTO((-%F^3*b緕K F0fnQ^9;)zzks pP'V"eu(SUo#<]͘p|C4V#* $t{F\NzKudZ]ћk#wLLPV`^^;Gp :0 ? ~$ΛMH<`Ci*ٍW{JpDGԗz襒|#d 4+- xxQN+ =|9 (E2m%U U)]iQ(^as}Xl3+ "$˩énNJn(9F#*q<蝇M}L3)L!lY&QzFw"}m3,޶=ODV%6\O o4 dY\/eSASchmN dENuҊ^EU ޠNoa˛&@= UMeJ?9۔zP{)iG/Z"(7H*fE\}׌!Vbt3,crHG3jцWpw.eF9?5mof\s&!!sU.248B[fB;ij9e l xXDLXX*ڌ_BXFf`YoʹX|PZU<\EZHCŨ23u>"dJX.~َ](K/֯յR)ET.zGkk4: #:DZե=R*cS "@QRТMiENTSDD(-w^)ߴdBaXlbsPtbUiV2 SLww0Pj}{;h'?_ӑ)kUɆs 8l' R"ۉ\UtS>%א`IF2+r(jI\`My;y vE|okȘ,Y\Xzyal"3%_}pCu}߮%RI PX*F8X%e2@S Ar첬+ 9\"-$RIG&$ow0ۑh0D{Y2uɽ>265| ~MLdv (gqx8άyV͈A঄3ӄ7@q@ T /Ϛpb7,* (UF`9w̾tE , Џ߼ CgC2#BBżr AXB)pLۥoDa\kQ'sФ؉RBrCwݩ y?rJ(9y'$*FN֡OB#Vd4.M"Ii)r,}TEV" &,jp9ɘc5m(WfV̝a傍, z=oܹawl{h,, *tDs-pj\xOxù@p2LjqáMwvnQ=P) >DjvF$) ;~lmv1!Xb΄϶;rw{E,wAS#"3T4KA\lCBg׶P&aFCF4`e{U.of6tlHwz<f)YAkwg9˔Dm4{]V;[E:Rd$nO'؈;>~! Cbc=lRHDb&FZYV=R3wX`81H#[LϴqgT67ĆLg;yFnCvA~-oy.bijWW,'Uġ3 =S 0ID]&+V kXPVF(&`ff-,6]$- -oo -B.UzE71Ss-S>J ?/W/4 zT[[S6b+ _g a7| $%|Լ8M( PE5b({OŀL{eZj [40fȧj7,6jEZfJ "u>)ꤹQ۲SĞXpu!QB|emFo:]}7-N HCI|0A°7$#@ ؞0kPqx;g0ir $ِ@gfՋ¯R-ѕG= W.3)|qK{((]9%"1z\.ɼH'fوM @XY ňo9L]~ 57@yUuq6IĤhmmD*1ٛ^U!h,'$ E2Nڥ,R~0GWҳ@ڹ>. #!2i{IR9E++`T|勒7W_c #Ew84ܦ+RέONe/#HUhG^Ǯy"QV^Oxeo_Gs7:0$r6mtz 5& \6*粹툵.W\OGe#s9 q̿p Y[ mN#mnr | b4v ğhExS%;4gfIEk30UcK@wRQqְGtrh rXNc`v^u(kwmKlEBzk2#ء _%$i|K`qmIہ=n,44I)^T%sY4,ɃUu<[C]JR5P[OU*O| CnTk|%7>B`e"sbT\l1^B)}U:;x:syEu.KύYJnk]LH"5l\h㱝[5uE Hs4N?q[ȂIWL;RS3ɗa/hrc+V&ۘ) O&vE-~CzFR#Mf9X9;Qva\gh$tĘH+@ {ebj>^KzSE}ns>)YpNSA?&L)W K/=dsVZxH%4q*D %+\Q܄x>FHYǏNJ}h|r"vaF~(!Xz܋\Pz60;Co蝳%]S?xhㅦY4یz2+&u !RǔנbLCIsQ{/!ze yޡ<nЊ8AO`Y gAPx&/9TcAOr>GϟLg%ʷ{dq44.J$3$.߼}8jq\XW}']T(Z_@A@j}izD6˕lbtQ< '< K&?79w2xJgމpd4/Z/F?sWu hPaahCvzw7("^m3 kqrt7;' ^:^#itx!>HD v`k1o L)uX 9'BUqmdanTZuXå7:tcf8Rv|2g&DoY=oWZEǍgFblA@tQe2dUCF>j,Åow~vJ} p}Ivt%/wizo~*as R?L؇])DK Réf:c؝-W"HGPtnYi ^kiuKjMX] 3V/I|+W`/l#Ι~k†gM4k)hiS:4 MDpc#2`_.\;ؘM9U*q7265F\R!MumR} m)IPK$WE>$*ֿ`GdD/څI ڟ'+u=:Yjcը>pj2}tU zT+.ŸqPDpNʏDKrl`*P8N܃==-w,=u\"9Y#dm1Cf'K Sҁ'~&ctGS (E'US(,ƅ zk*-E>DW(ɓ(Ċ;j#=rYzǧJ0Q vޠf1VZ#`ħ>,.tds}'8Qavà(bQS-lXu>N5:@u Vؽ:T [ +Y۪gIpnŽ ]|/ YQk㛿Ճ ?nE2 Q?.Ylc`TvE6pcjr/L9WͰ~U{hPfd/0}*[ Ў31cAH1)^K97KKP_/?zrr!(9{BT m$׳bYcoqq%_  A-x1O i6m^-q|,LIxn#=e$ $e)Y$OYEZA5d6Q4D[Q'Oxt(FmU/C?MJp:WR߮cBJΞAi#o&e?R)rxTk]>Ÿa7t8{nu~VA$`E7 t{cDļC=U^ՒX/^]igj2߆v{ZJfpj>DAdBIhH8%zfF8I@uH|Ҩw6[>xb\ σkzV:/7ણ˩gZF8v6ύG3>╜C ĠͨLŞp@?@zr';'+0!iݙ?;>fn/57͎jSpL",иe6Z]9(.ҁ> Rz~pwh7-\ \lޞ.!4HT]8Q>?KYd}ᕇH.Nʤ>1aҬSsLB˔ܐ~5q-+RI ZV2Bi$̎t _ OzrZ༴Hޔ4jCITX`a#槴Z$V݄D_-.Ǵ8MB!5@@UOh*CقM·G$\K/C1r%[3F%~DtJI+ L̦tH6XE{^rbh9UgZv5tt3MJex gVhg,r[n7RkqBe;p6dmsHW˾ԉDqoT>SOǖh܍lf5-Eʥ'BCjcRXǣ4P &ڛ˳^t{K5 NJtlL%LIqM}!mhC8mi'rֵ4p;?1(;a!5sjvw42X>>?v7_j]0-]\YzŠKMr|eԐ"El<[n;@oHZx" <֍S̹BS0p+#2mxGYT$TK-Goȣ#:kpɈ񟊿*NaSn_d1DS3ǑQxPb 7 $Yk^& ւqAIC\bԭfV`FPL)2 +*rh)D}PsGV4J_ ^ze:*-ExP3n.w7=?J>gc g)ܶ_))U jMGep ȗxd_D}>b&k%Ԝ<%(rR?u<hx?Kxf6ցoADE,6c>ZV4Ginwټ3G %᥼)C $V5S/vĺK2!y\&, iiN @htNX,8;Р;6#T[PvLX(V: gBLA>%!ǔp \o)ٜcĝ[4{~:TXҢdBJ akX=V}%n.o'է#c6;l,M{ ϡ"W):Tjc3݋qRe˙;ju0XcM,xbJչCdvb&{+}wK]ʱF̘ tprktj@تI^wGMּh1Wf]p9vE4ӻԉvlO|(B/}XqbFG'K>i6И} Ï /oQfH,٬Q3Oʹ{i e&A#ܖ=,F"Auf1߮cF^X=D"hRIC\q[&AI_Hu Fa)}dzt"nWzp 3Wo2!}c;C<PFf(?X\'Z`k*x/Ņ&R6$վ!Ն"QrQ#v1Hñ}0*$=x~N+l 3,4ߎ d?Fwu 4r$ծ*+( ?<$YiUY#EY'&@ y?'!s69gj`w2#ԕLBE[C5tH;BVTBz_E315|>dnhu=a Lou l-N#/K|mDpf'hCux$MHQWWa/7KJBK&L.ו+v1OfA  j{h\F ^D/Hn%TtmM/ryQ*s|?OHI`I"(b̥MCs|#^-k?4aaH:Vg%i;FFky]S1Vno12Dk5ߕ0m |6:N:?SɭZG[5<О |~T7YlŪi?}qR,Ne`afa;?/0KsT94}6a{-' ߲ M;J;!4_$VlJ"ʬHhLֽ̟Vg]o1`6OJ\ΥO!vun@=O-^HE8qm^r|=6s5G&+ Kv5I!ROuc1mJ-J8Whwc37t{YY\!# #}2AB8P2[y![(hF$c!e* ؕZU=ryZ&\_\RΌl@ed4 FQmY%nkіǴljn6ݔ=*)ikσa,2mW9;a7UYmrOyJO=-*TvR!3yC j mG)B+'קJxh}kpz~9T>¹rQk_".Ͽ8ޙo~S:e_S( RZ$[eznPTC=g0dzf{0Dnu#/CB! ѕlGs;q 68*WzuL 6ޖWʷ2 ChKi^/ZLAhRG/1'VdY߶hf~aGaZ0 /4 ]4{W4vGBaA1tVYl]@VE')INi{x*=9n3` Au':>lSBh>ĈnV]﹉nc^)YrŌOn4.*koY(VnIt?ft[^ܩ0xB2}x,c(4 $NSiswcRvĸ`R!Dpc t{32e4}ن ~Tzvu 0O}rN22ޠ .DՖ\i^G/.H|>?֌o̶M+S'.W]dqlt)b`D"KQm LAe-{<9k>Fq!:GQeknPL!%yfO/ܔ(.{YTE>&܌oYdCo>\׼aEkOF9D~onI$^'dqY)9%8pJb7L4#& mP"\L\4wMg=|4ʧ{ 6 /̟)Jn<"w,XJr>dz9ri{ɈW5k[RCH{?12 @ cy"Iv| Ez̾ݬ'x)!+2;e{wnv^>X'W$>Mb0#f3}*#I/י9\[,9Ƣk)@*%P"ЧkB]Cާ,*~`Lx7q N*@281X&̊GEVmd`k-KUM%t8D03[|-ܫI)|r?[iTW,]@iؗVW~-[7M֘+ ~3;=`2.koudK«jF9C2&]4ja@ >jp'5#M٭ϣ\z!xG-DYy:ˋBtvq{Ux0&)_}5'VugNwS28ᨗh#\TVtlSS(X#U_7SH~jJ I|$uH骘 Cd|6JWk+^/1bbh$WKMɠ5lĹB%|C,L.N=qz5= QtiCPd@ vFz,a4M:ԙ+0@ cZ~%H|۶f[VãVy@z}zx-!S͗= )7)Cs)Jz&Tҡ?y/7ίR!2Q Җ 7Oj!ɶKUHAyU˅4o)]GVUc5jj[Ihe45Hf;Q}GegƄV䳖Eax!PlVBS;^aٶE6q~ QDx 111ȈFCi;!)=wJ* Bk|wʦr3l\Q`ˎ^rwB0UIL2O!B(: mJu:fDe{"]a4@(UwB74Ǜ BL2F'q9ߴ)BP|S4U{"ɓKOK AE4Q>C}E !8e?54Sz&(Hl\bmLQ޴WtvQ$1'dk/J.:/M7hNkLPYjDƩJhi'?6 WDL"98UJz!k/bڃx]_yF$n3-7@D3vs'u?j->iJɶzT/+)9C+7m`1Z=6_}c&CcABVh Qh+@=,-V [#a}U mT0j'`ϫ0[6!R QC!`RRhTw_xU/t# 3mz+J[<ۙ]tyѿ؈k:FSvyeGNH6KT_;ijr,L6_ڀ󗫎M Jcү;`gia̒| Hjqe+u7f -ik˻az[]LA=Ɣ+_m_V"Ec<=y3_H@[ @:oTnocv7A89~X3.λ"n+!Ls|C-PǥЮ$xXY_U̱`"o}V;H?/j{oK2)!rĿ[X,8]Ҍ0_54 Bm,qcp{"~wf^P#{~MWm ׊ZNJ덫ѤAqqq1l&цc63 Ndd\rs (BL`8Q +ȸeJw8$O.2ͱlz\~S=A~$e< _]jFԀu-LU& V08E(K ԱZy@#`m)P~蓁dp+F|f[Ml֏$5'tCs _,[C(%|}_:D=>Ev\Д_wxe \~Y}Jv=RM`p@(L^&` T q av8`]E!\XhCR)2wY"SlP|ijeEʬz JpJ9Ć[fuyV4D)N01]6nUI`;\ڬ8  0E#$A7DT:!Fcx;0> 0aƾhay\1A! ."P!zڊPaeY)> !'L6AZr~gaE@qڪI?W'L8JQVܦd|)>x_#l.̊NNl栦_Z$}ӧ@xF_ rg Bs[`*S7w)k6ƚx;ɜغx ˩6@VZJ[0 3*m/eKfIlF8hC}+29e[zZ%LqEz` Sdf,k2a< Rʡn7sB%Jo Uox*Yv$&Xa;4=U(f›$'IV[=CNC W<[WX[ dZKbi 0w6t&](L4Ж>"8̔&cn7-pL6* Y(BP]QuJe;Ǟ^X RH'w8L=qSV`XK< yAWؾ_Nh*$gbf+\v̓ZOll٣sѪۛ,D_.&&nAzg?;WQ* ywF ϵpPW`D|ޟHӽ- 4R7v3ħ1JԇWDk^O*7!,$>y{ޗ7:m{f?=5|Y/96mer@<%LQ|h|c:=0X,Pmc;9X?_~48Ҏ. V+E&u4[N}FQ 4ϙk# :8.:ԕGކ9)Hm Rc@.P]A[WQ&N8dK\*;WC}THֶA Rh 8}W~K|CD.7&|5sLnA) [|p_'p-]7!{m "I8{p+WA 2;J jf܉7+J}{~ q.ޟ qp8no.-,v%Q~MR 7s#[*j  y&eo6D1| Rwޢ>ɪɺy۶d|*yZ{_e|/%̮r42z`Y- / K0F ${ ' `/@ջEʖ&ˇ- ݠzp]i,] aC,];OoeaGu6X\115w*Y6hA|y9>UK&[Xw-]r3ߎ[nBn3$셰P(o2Li'Zq0!"XR&nͽOeŨm)s&p+Ohʕ{EH()7 s SwZ]9jUbW8s1ʪ0+SI<>tх !@*s(9k^. Bˎn*Uq.g[8EMvzb:p~*}_5/%ݢWnчi5} ޶iu ~& _a;5~'|u>{輮md[UU@'PB+Fr ³ c9!nR*T /1dN.տ,xeW??4AjQq{ wÂ:x:*X8_у`GfnԶ ) ; Dyt& OFJ`Ph')ϞY^'}ݤSkawd(/=dnBGà]1 נSy1Ȉc.R P|e9K3uqq62Îr;1RXCvP& #iYKpio¨Q١U"qdr[ZuQ (]ҙ0_Z(oނ[;Q|ԑPTV-գ&)"E` (pAI(][|*%Z:zX oVΰ;RK\O9%]&F:}bK\!~aC!6 @)g[8!8+:`5*Nf@sI| iΕ)5xnbX_0HDxI9%.ؔXACXσI >j&B\țvfEfW0s8PI,4h@/0 E'#H]yP41W9g8c\wL%\A FI^SQ :uETd=+\je5n( GXSc5(RVsv&w"'  3d(? 88=8=YDk݉-TokZFQc&@-kb}qW~/pmP^ #`ɮʎ f%vD7+2>t:-uurGۓ3k,n?>;ZP9 .0{2*c}MzKImzohDƠ <#`|RfҾ9X1ixmu9zsh7V~>q{ 3/:x@:'2@A}4a0lD~'DV[~C˓:Ԝv| f\6ch]ni:#xQ f,f9'6t\bl&q;)2YNxnԚ[\hfjמg@Ť}8dǛ \e8lQ:x68  Ӹ &kEZCZ|^ڸf[QE԰vq%傕@_S A~q3a(Z-cj:_AM #SQ \|f Z7S0 45Z'E!%l̢.Ųcy}-S9zcIkrKN3y,b>ny!0F Ymc9#DŽSҺ7ɫ}`}dՇT[\^0YQw/蝆j3# )P{zj^e|̘3hE7i,C`z!IB0>>PGD!q=TZNs1Yav#b7KmP8U# # p!{t,031!\J,],+q|L&g 8p=}68/9y7ײ>&xH/E=%CgO.TI6y7>Y cNFR%kdc`אdO¡c2(^+>AQ0I2{'7X P^p9JHGIgʟt.I6I#bQR2 N:< BcL=V5V $O-3$\>,aΈEwլ!m׊L+2qCH:GD5r`^ݖ^ZX/!I%l#ٝ^rURr.0}!8X͑o"oMΡqA'ZX!W .ǗX@zC$Frٌ NiR"xзt3CD0.}% CР5/-WShXWЎ*) prMD86BܤV]&`p1 uޚVT?[BnHedKPȦZފK%6m@|'[DUt  ?{+&q.Q/q=3 7}*^9\_e ɬgz6\MToͮ\/hkԅ@0l\WA (rW5!|Y#Lm?G*zA^>,GTNtCY"ݰ&`Bݝ\z7f?{HZEʼv,qd W23jJi5T0z(w1ᬐ|rtjs+r*7Vk{.! K 2SKLE Dz҈{A>x2 9$ ]V1V2\ \`IwөE:DTZN[U\Yo0m @)\ Zo܏{!^[ҾY쐏{V,J{3qdB?<剪2cёsCI-TFsL:g-li^`4Nq~d]Y3prr g_VKI (<@1*.~X/@V6Әۼ2'Gc`64oT}1֧ Ē(D\U7@xeUE*9,M~LhmO)؂23%~$~]h\-c.3}}pVl[P%VM*bde%&Gx_Fݲ[alt!E3\V2Uٙ)'V,2s'Q62qB"+yq6"~Rj4)=in\S7{} m)ý?1{+\RߥAz]ddO9&PwU\:»O['Dbó|e!j MMyQ dГ<@.oko'B:%xC4r YDi_C%ʝ*xC M.+vF~O anO/^"4ɶ0kyL488Lc\U;WVz[ѓoشW8m5U5j`Xgy{-9DRbT:W|]y?0tg6HXPg`Ѱ?||%:e]+^r}h4.OUc .Cdb /䴯v[֪(-B4%Y|w.eLi< Jx'Ϋr A9g1pGgZI1;pI 0\ѾqdO|ϰ# &^qhHO"(iPr‘w+]Ücj$#qDvkY n)[rmW6jXǒ *xl위7\,}z ̨=g5|ٹ9U_dk9!kMk(ʘx4sm~/O`Q:KIrw3:੢3VG@fo~w >8*5C\rkܨfk]P=H3ę_xy}qTxA"qNhmA2.Xw)\ەo3L rW#'^Q@iA<\SLqëvܟjؗz~3#6k)F07 Kb܅dԠ&3z:K!o¹ə5!f)w)QqCH%K408l2b9J*;v-X yp&+^MZc 8(o7vT>bG(h\;;D] W)+l՜a#@,ް ,[wP*4=AVLb fpgZ2+{>vn"Ixx^@iį{/a>п,L( ej134b%۩PU a&)яcԄKesDvY jW\:&_9yeX6p;й.n ]w4[o}v׈\ʴb7tt@Δ˥87C?vD%Neb=wg3:]}"$ִ V@UIvn RM{*ف՝i&S=s7RDؖG-*Ɓ4-/Sɜ.Nl˝գX]2H10ka8}skd$T)&xvA?돼hl45|2|ݻ$P [bA!u~+ٌa4iv+[w~.cGiFJᢟ:P!q_io3ɓz,u5ĀOU'T "4'0xjկx-£O FCuȧG>F2]h,ntZ[Q"ٝr D}Dajbc7n4])*e-zHhû&llhLxy n>6dz#bZ#T_@1eM1f")YfГ=*Sת@Vͻ 2()ye4KQs:`PO2zQìkhJ ;ʘ+_B#䉩^ßõ e1 RWv/]ΠI F LC-{ PExdٱ@ZpЎW>y.٣3hR `TLvg8\ 88{=,væES`@6_L AdE~ɒ-V7Q"ҳ,"k- `wBxhJL+)bzLYI"6#aҌ*q++/W`?ͪD%*sud~Ms)#́>xK9|>2c/.pN< W썁o&QiD|q,ӰxezCJ͵tK. :@|[V 4hBTj! =h/ۥRMRT= 9g "` :_z[?ڔ`:K2=뫪T^@mX ѾVBWq(`)HU3ΜMJq1L]{JSEm}V=@5 ʺ:xe&+ytbȈ@;HPmmd, ٢ ~k}%{)%^O24#ޭּ9#%l,Lvh7X&sn\I6306 V8nm?@)_pƼ._)ohԇ _#-{Z[cdk] Ӹ5M~ӳ%]OpXs85`/vGJv^3k]MdܰMÇu0)ݵ֡KρVE;5yD6Ir> ^~/zbXfX>ے1l`X@-"yI(tml -5eP[0S5:Ԇ:lw]YY8s f^vJ1RCu%i[`q0|89 ),Q[,!@d@~phߓ=D8}$9Xot]T'.1|>6kA%C4téK^?)&wNCnk_0Z us8"˲=R#a=q%wW]hypޮ[NZ5s\!ԏ^!ƶFJ Z?_vЉ:Žئe`\ xltv D]:.0UV0׊bXlٿ\*p^/ZR<3dL1(NSI|Tm60gi$gՉAo}Jܬ{C}FiSw]noI|`qڜ?fpoLkW6${xE]L=UK_i#o;Dq#ڠ-"lD[Jْ[9@k)82QISxq ]v5BhBEt˱5$Rɤ˘I5OLd2nKCx\%7ȗɜ~g=e\Ax. KU`B yވaGH-Da/2F(>H^(:VɐW8{nF N1֊^""9lYsO 01WD}U93VD!W[.З֢J"'bwG7z YnXV. )rڨ^vYIאKs)6 dQN*qlP&$a}XI3lƍC1;r8@epag\8|8_x/-~y> paoofiՠ0S83;h:?xAzPuA (,G{0r[#PpC];/mv^ ~H67=r_# c>N^##U&1T`zj[Q&. -a&rt^ 1_FV98| Z̋ : <^X r+383 ?峲zjZX bBA 21>FÞ%+zF?S3E8M?H❓*cI]8-W$ĜVZPƫu) ֵ+x3?lu2\pw>[;z_"E\҂gMՄL #ը0f dyeӣ .轰s5'2W~&fsu31]G/,Ⱥ[匽-hIdUg&ݳsgxBn#tjseGO 6Ȉ^q+3Tr:LՉpD~&)t}Wd U07SHKZc>Y}KQ) +>Ԗ;Jg#h F6"/N‡} `U~(rpzLaޅ2BvHTa햼7&!׎gxLTQN `L/'/4 ;K a>赫f>Փd`iS0>GjtA3DoQg@AuI3B^b7XV)GQE0?S4hA@ߚx iL0,Łpބ̌NC(Z WEqkL=]aInA\X¥Q>ƬGSCufӗVWk<(]Qd*7Y+dKMa(WK\-"s ދikWE[LL W/jo`9a2 wQT_! =~ܠoLX9$o7>ã*K..Vl+z=}ܙA+/$'ia\j@xlL|öv=%3EXsu%LhHi0 F He-PfLi1<[rÌzNā>UUd_qf% xơ@#!Ovt,um5Uw^b/(ɲe~[ @igYZ7zXZִF! ]ŗXiɟ1˦r+ bVj mGIm~<߃+0  Ƒ^ߟ I>W2AD^x+Kvt#::OfIC܏"I=2R`1l2Mq/j%{*<^ &;qɰ' ]rV\샴ƟKܐSy |"GAm^=Ux^%%skHmMEq'|H^%\7E}o%`V%&ZJ3M|O< ngYZ7zXZִF! []ŗXi%L&$JâMߕ{Z 9^7x%W换Hr=Go]Wڜk+5訸Lp^ObWB#$< G2hYE8̮d0ĩ2g+rHj%{$" &_'Є{Cș>i%p]nkv' 04 8AS#oRuP"7\BmWalͰܶ5 F~%9h 8 1%>mt Z!Xtte\|>//YvLI 8U>߶Uyܾo^ o,!g$%Fp:raXAW8KMQַ\ 2bI^$l&,>6y;eakؚ ';b8R=~E7:MI27"f92Qʚwv`{ʑB.Dy8fyôPdCP^J&[Tز okPZ4 }X)PlZ:A@w[Ke9!/Ja׾,Cȯz6{aWp0X(2uYN!̐3gQ bKy CFج-#[> f04gQdN\Tٓ(WX_âbrw`EY<'T[NWjUDy,.5-uBlSpsD`q ֲD0oSVu`ݻԒm (ԐmCٷD 6P TR1A9de,O4}I:|[y 2Tu>w\y_DE" qP oaz~Ъ̗UI_\~p^0P̡9+I(Qx\k\L*XYu*;-}#^]>|`0*s8MJ_\[ ԸHq6#_E̛7XVGE!Q;&ar߅7'Sn%VscRd}y9c_jw}@%FuW|嬯*B[b!h04 =iF5 ݿBg_2Ap2fք F&D?-6FL1oF]FZrɜvdh7z]Ƣ*/T@1̂[f32Z') h̸'!\AzZ^^ gfO#+tߣL谴("bEHiV5} _!Qa4bhGokW/(3pҥ5 $c64r ?L|Pk|h{I s+SaB9bJF6}MU ;u8.u6Гnho?k4/zmF<0J^d:P8.& ՛̤ٳ kDhgYZc40c7343014f2654990e8f875c987fea801097a99aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535