SQLite format 3@  . BBh77otableisabelle_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  /#| ]S Psi_Calculi:threads=2elapsed=544.358cpu=993.836gc=35.008factor=1.837zXZִF! S]ŗXf1-/6vR[3:CCp w{ uSZ@B_˝X-ƴyѕr\#c0Ms=åifY{b=GaN("!Ҿ(1?](cB <[3Nc4|<./oSx`$!~U떜Qq3.ֽsE!"7p0֎lIɀˣωIjYL&PHJ-=EeLNUiڷۧT ͐β O$П#D3=;S}K -L$3~NHstT/ͻT>C>aUo*Q*GɼX7ѐ[˱oB_Y%_HDUn!d$&J :,Ordy.>,!0ʙ[xSDq)ҖuٴܰZBQ[Ƅ .3_fL=&oVZ7eIg)lX"9t#roI~ba.Lfk<tK!LG!ܯ ]rgD&auT/SgQ^þR1gM(hҥ#?3O@b}ડ(.0YhKa?}:mG=礫Dx#TӮf_/Z # Psi_Calculi0$kO=e2N|Yr]1g@jlc:L"d<3vZOb)4; M5s)صRX`#kU4C3(E癸Ag2͌$mst{<0IMW'%o;1BT<ޚ-{&`Rpmx~z J~h#>6e^4#a6ЀH p0_R"?+֫785[_O? `5QS|Gզj/mpJ`fkmfuR&g~",oAbHv__0UV/ݑqkxs/ec9.UJB5s-m Y[%#fEұ[-k8C0P%DY>o T|]kF .ˀlz}uƖ[ʔ UNnkՍc0vHf,%x$tA<`.q7$; ~<Ό!T\R*\Dr@ANc牅}V5lAMR=wJ7sfDZ V(w{$r⽗$%?J6gWP!] Wcw;RGpJ8̾uNk^ F hVrrLɛ^.bpuy|? P0oD޼D+aZ#oG!Y|䐊^%qf썘D7މˉ"NmJMV%{֍`/LTV*$/1 XKBꅩff<;Y\7|U]PxN 63MKqOxbob0iRI¹gFqYOi=AiJؐDAAn sh$xuڅ*9}  |"6 <Ɠ=#iN8Pٞi@C A \<6qi>oVD EGu`3{}1ukZ"p-]+Ijh5zzJ6qTxcNj_s :sh>޿ ز!|hʶ8ÐKR6g%x|7*+} %Gզ%-rWLsg7J51S_;ٲi\Tb[~2-OTJa{Y%l%dM:옳F wӴ$|k[_$@3B-Q8v*uب@;EqA=b>vM^M].@BAc9H&J?'҇0NwU ڤЧ[aouQBtISr4\pfis6,j^ĭRs\lsR&)ezp.?*@|NlL?, /çƊ_fow;nGGXz]M:>վ1}ߍ=r K0Tɱ7KUI4il|򴶺s^W=P2`~m+8=]n48J$~'p*#Y{ݹ"yڻΨwmfc^+)agMr-j=虙p۵RRԛ&>"kIɑr%"@@!{Q V N ل|_l{W~6ȚGm\6mC%u6!ܷa ӋJ[[(+/v8 =Hd%8;-E_wH_K.emEA%! q 1,`eh[XqՁjq}cUQ$A4t$?\Z_'?$M`{>i ib!_wV %T/\h Ⱦ#84SE\,:KE # ?C|?B7 H=[_'! 85kkWa5{\ l [fPv'J`Xg # hڐvZYwo8&g1V 5)$a3S3OV:xH}GWбA;w2z|Ȫ.s5ɴ?H7r Ġ,Sc9 &~ i:lC>>3ݭ pν54p:_Uw&{M+݋c5uS-Ǻ r@肒 j^!a.:)En`"\eGw?q5~ _Yf0QM%yɭ49n -P#$:(8hֳ~Ōm޺3=FL~ Ff|N#1 pU0`O2Jì[8k֮KtiSI$gUYCo>]4ԾQBm4^%S'K?~mcB(/)!bR(ŋ& WT|  ?pskc!lA>@nR"6E8d2Ԏ>mekJJ _O9,.+d'nnTo{<N>'˶ܨ5ѐ/;^= cʅ%ߢ$+ y7և"vѷy3@"&Ȼ)FC V?y%id!mbyW3v[u>ѿcBh,`LGzyZ6aTi:*intm&[q D19'1 "ِ2J k4/s<%H{93mh9ƭx"p:ƤM D!V6/ u>-/E]})b/]g?筵)UNƲts ͉&Q?;"7 \@|0sal/FjXn:lW=OK9rfg HbɎL0whB7ZGYćҭ *:^a3\vQZѫ||A4Nm\J|a Eȋu0v1jf (ޒwi ey_jzqY F{3TYW{`ȯs]*ΏObs@^0[by7RdkCt ـ63BLp9lb$T&Р},Bԃۆn<ӄ2]k94B%̷ر/ekpC~fr0YwМb[_5XЉka V}Q:+j'>(ePa*#28K^x +^EvxRR )\hm4D&a (%AJkڴ:L8vٍ"wÈ K'vr'r1 H >%O0#"7ktFxw|3p%qQbQz/C?4l7˔|s.ܼؠ* "-5@ 94⥚l(A#b&v >:Z)dl>^(\6b>mcHRRj(Nʚ,f8;eoNSM~V;fY8>̀FP :v^-e=Vi->Sݳg2(gSUgLC.PumIHrMcduIDjʙoΖQSz SiOŃoۓ=W2uIl-t9jܗiB  ǐ-P~pjh% ۄź0lyZT}&jC){Ͽ ܨ.^c~]juϡԱ_ gX+bt՜tllΠĂЌ~WŌ0-::I3gP1S.e w0GXq !Vɚ 2RS=GS%,<5|>`2Q)/^!͉١WO`0B]OxDYs= eQj;+{vz^ݰm`__`c￁>ǍOrnm'Of|fT%jk"lD捌y&m9Q'8Hn3xW4H{yw5/ Q%াSfփ.ŅP!1ckx*X|.DAKZrb%R4_uq!B\,t5$QD;R#pNŦTWRJUH̅b,/#ni ][;"c{_]́b (I5;/vJ%L0k&͓mgO~AAmh;~;1ڣYꅖMbV"-gɝ˧܇W׆eXNR;0ʪAs|@8sgg%٨28}Ɔdj3n GprI!¢Bst~ @h#կ# C)D^jX53n}M^7VbK qmW߱xO_scQQލN,kk f(C~RG'?3wtǨ #3)b#Sj+W[xWJy'}y@ce c^#~)'3lJ6*hʳ+0<\-D6 nkL[w$:7uئٞ>2 T"IpGZ(2n"‰@lZ'5'|N$L"9&tJQ= CFGV_B!A|d S!.=<6QҤ4`ٛ+Gl+}0 ّf vH48dIb0O(qHGd {jsS-a2=(QƮt:<ߋ\tD+rnrI !%;[k[P|q:/-0MUcL'IES _kA 2m#H2PT}yK4ϼ 18%gO``HlIsĠoNM"eDKv$b 3N>Gq(y?Z=/;+6VKan(q?OdVvaHC^c_lrм1~+l;yQRNg_)ND%Q,%76V!m.⿗{'GI Y_ŗiU9d4<1Ġ@j &8DQ`0̎U4kEV!N 7|`5`V!P~ Qh]!VLδL?Zi\`Wbfp܇+s5q@bU{Kj^LRj)ah $ F$'YW i虅DL.p !v∉6Qq"nWM#9j\]_QsLݴmG{`>cZTu9"UAފVgLNA}#](1L nQGr&|R,f(Mb#rs$J{6Uaؠ}/ mkxU % ߺ#vR[Tޤ;A4ː (ZN^+\NYξC>ʤ̷7Ү')]?_=>NV>a.l@p{6\LO;^$= jX1Jv 9[֪;L=$S.!iQ\.d50Bk"lMAa31LjMBn7/{XY&\ԥsK׾o럇n_hZ9󆃩=Y#Wi%nf(bS\FqoZ*$g+(wA[G3|@vB GfW-KwN%A {9}4pm3Rm8X. efM# Hoi1sǩtA~<]Λvċ !0|xBUZQbߚ}:sSwqhI}EqϷ&to"KQ\x t\' .d"P7̀2HPTfǟM EuqbR35`R0'ı. i_:4.UPf*B| }L8{-ܻʷj=R)^ rr7%DcjϤIv.釪͘3?I.bdfp}r#!#{F K1b/WmJ]3 ?E"Hn:R9S D`,$jF̻{#Uf@B>ڐ#:ij{UHjv$v\X袹b |Q!ҁ(^`+,͙VKE"ȾXWolBrSܢ/Sz+jM?%gX7K螺)IUehj&NdGRkoY39֓mȷ4Y@/ą#GՖnjWqeP}h<:" :N7e)yA bdq ۯ I⅓"53Yad_wzR8$Zp<:Ҏ` @T wR񄂂'DݺE h8(Nq"Ћįv-(+ILJυsҊ?76 %X9UC|/$üy'C pJ޹%-/X&*,w8{9E"p@__rc̲X#e1B$]{y!Q}rS7\vI{&8xS30cE N \g:~=胘Kihvm^ĻB@>.V8+da0 9"Ո.ۚǀ^v'J}X|3%X~4#_,z@jLE̜I3mYnO= 3sn8KLJd)o@Uʜ|ZܠvZ"W Đ=/ '%7Z]vգpc#Vh'BrlAbI=;J=dA M'=No"d$QXc]W*G[FhFQ~8^S4 j[S9Ep",$pnݨ4.#y5}Ɗ{K>Fo1XSN-V4Jƚd`/w -HX"BP a'Aʟ5 = _# 'EY[O6~!.S)$}7uc})n猬BAH-I Q.?Z֭\k 11:1gYj[Lu{1pCpɑ9b ϋu/kF(~E5_td<h~Drޙ ~a3q ðfS=[)徲}v/RXj= 0C l60F9U/eWP2'xe[@5/rUz}g>>9i@OO+Q29e'7q!oV!,& n\^ߞNܢQJL4B' aN맢 DٵOO{hW:[k7"IY_DD6Zg̼Q`bȝ t L9wjY7n3 Adwjt-Y ݞ%+Nq.̵ @ʹ@H'eGιgdeli6]_تD"[H4Thl_Y. Ty`ld<>Wn'veӑ;$_"E-K2 }{b@s^zaPm tr*(ip8ҋpϹpƿIQ ^ۘx6BU y [gA634ilm~"hl"P3 $#~5eoQ v_({uslG1Y4/Q6U֪YM:c'(t}WK5K Vh~7O!(A?k-Io.ylL}_NLU'*؝MIL2d3q(.%)Q%WVլu$kW g:Y5j 2[6=|Pg47M6Fb8At6]^|3ޱ?VID{;@E/ڠ0Ν,:k& k-1X-D{.k~XHךHZ.:s7u*R.;ag*U_5E'BZ͞ɮ4(U er;v(fc0ÝBʪՆâVذž}yG|sLifG߹]{,?*Q{b_DQ3*&]X7!X㵠1qNаW1y&|{֓fNL?6m [` U1.A N"'}&"ӎ:O3$Fceԝ 6գ_''EZeO':WY@e`%JE B$2V-͈Tgdl))& 8ԢίzwYK;UD+|AoF92Q &0ﰖ ?/}7YeͥaY:!dq%qv10ʮ]3h v1Ar8ZON 96x0^#YYGm'Lύ6acQ˪dܮSDO,\GRs4|S5L2S} 1`'r&)Nq\NqGP,=qXDls>;SR@LZ+?ok;(I|wf?e{y[b~]T7l&%r `I_wM%DJ$?gD1,\VV>xE $ccQe6E )v̦+ bԞ[S>n ;:ApWd61'ߤ 8XD,=? D^t37~a-pz@8+k#1KMTd@Ϝ2Ѧ(C2/q)f~Ø;8k|[C سϾǕ! $H}5x~oW\hS̀R iShGCq6VNvoS}Ѩ76iB!'d:t(c|m/rqĠF_LPm]t?G`dqzp4Euވsp 9{]Gyh'j9)-M>BtBƭ$.m5mH{8TB/In: 5i80JMUles:S-!7߹QT]6<]Dۿ[-8fiJc;b -שD.6)Zvjl2 ES3Y qup$CP;\EsQq _yӀQ5_u-̷Q{D .lx Az@8rjZm 3\(ֵqѫJ/bcy}.BrUA˙iҁ ND H0)kb۷ZkSz>%Un+U?xam ƫsu 7FX/9&33;Ed S pmRK}uhP,x@.mҥ"oNKo-ZݧQsoUod ]&RdU {fe v{[\wfD; ]o# mnӫ zS39JI"eK5\MhX&QIw)ۂ3'Yn㥉 iǥȕf$Repy@`k̊-G}B zc!"fas%eq'+cuD]ȷw;<ˢi8)@?k^Z4ɐެQ;M}r'M p à:E׉rKJ ñܯTPe{J]\nQM`ɖ>k:w͙=ãΉwA^u3WUWJҽl!j5@B}qXێWUSw5|fz@՞3޿o3| /%L1GeE@ W!FDmZ'B>Ĉ{IO:#)"PӰ7aN>Vzviu nux1)(oV:P1KGY+ՔukW1CVT eԑz̜k4+/ߒT KƢeoq^s'Ngpbiw RCbafu[570͋N&ΐ!`sF̞kKvNe=x D8Fē'ʾ)|mm%[Eہuh&YAFO+jr:Q5<h VJv,tؘQ>F/?rigJ%3kK΃E;)<)}3lDGD?Uly`ӽg{|J<9AVMlpF#(z/^ vSuQFKyWi dNZ8 EU~WRtSy*uX0MUZR,+eMT?klZCePh͇@ߘcz(N/SZX i9X 3ν>W~>)K7[vOew9"3i/j%5o83[M)Wx6jG "^.* Vek'cA^c|,WӤ׿;jXX]2gl;uW qDK(,@^v( O-[v% AQD0sto ixzcճlXV;i%,q`7>f:Z ui)8>hs̝VO!U)K1g:N|)]вEMr! yE86hu\zaSF m ֮ޜŗItV x謋9c4OgԠ^)ݶop0p!$4>ؚE rH6N3tD=jd^y;Ej$<{5n3&aWk?mQ,HBk2]3Tj Gf8tY%u Ag0; Zw܁Pȕ`= aEIFp329￉FuR7~1fE$`_N[F 1s{K*36Е*=ɾ_` }C餾 ͡{."mB[s#5X22\5۾d*yy K<s&z˚Zڸ2S!a~UY9|وYQӀ'+m#Pt4 [ۈ ؖLckʅ,]u6_{C4ń32JW6cIuZjFi4郣2\ 2K O4;uF)Yx(>%ŷhkMsA'o9c+=ހY%>~o )JIOVwJ?&܆E()[Fγ:$@W1ߺ6f:j͔oRk=vzrBh+Rgm(~/vu\~8ahس퓌з\n!q*ؕioskUq&0@zj0UAqbXw#$60MB[2 IzȂ[ C$q` bZwxH w;ANj5j!CC*1`R^GZ$DÕ[ 6vD*>cˆ!b;ZcIR+J~kF޺pCtzX ;비Sr +r%*Åv1,سe}^hv*WK;#jvv'zp?"5V6ڒv M*)^%ÞS|.@`<hsK$K]evK"x$k2Fbkލ,^&Z]^}E݋^KA"OP*$jO{rWj)<0rK_wr3N YVBmPWIdk%fLl\%YtWADILa\-#qœcSkg F^5`zTUi"okhzq#SϾ鍼cdl$j߁e"% aKN} 5wؿxW5=[SӧBIYL}Dp SeJTygG7+wF(jl1i[8GcS83ebh.;kxK0|@#c)HdŜphĂ{C$+WTX2F}.[H77N&Nrdnx)iZ}-t A{C1)jѴlw-|US!ߧy_ `#. ?ܫ+$,R/uI^41j,LfX YdI "}{)c4W['guăJ0mEzfLei#KϦwnΐۢ4 7ԻvG+ tS+K2-7{tr mǭ3NZ Nd9/Լ1m2岃%)s٨mE Zs1crH93U0kM&DDDЈ҃33^UPQm/ !/>ymKMT(E{zM<_c`%_+n+Epj%X'O ~AIf {$Uifqby8l{5relCX|-܉R0ͳzѳd"ejӜK,ʙ-&j{A%L|JQo<)E$# #==aH;%7LR+3E+Rk?Xǒ?hR^4 j`1@ +EpsIR_AC(^Sޱ.WwGQ*qsq7>}NIمpXHxYnEqB"rSwY!C2-rpZfRI߯ `\y&q19VUs$ -9"/}J cvfֱ\zXʮUs]doB}#ȿ b/YmY:6jkUVTћX pl%ppFzd_CRcyIQe;^,QfJTcY'M-Z1Z4M p[ R,8Yt^ėuo6):1H(#~GH]E6:&-ٗLy#YHsØmn^cdT}m0 . h&kXI d*ά}N#T zP!.fGޗ!8{Hw1gQR0u3@!~ I 4 Ӊ/ȴ!o!Nυ.D_.oB *":Ƚ'sTyULV "7܈"8!!sÚiF' m!'deKʴ,#=ڑtpj%ɭ> 葢/"u[W |={u# ϗCS^ln{e()4x>&  j/N(WMWe[IJ97 Y/hJ|n=)_9 4 1 tadkc{f!|Au-`yz#zDi2XMRy4R|]=7SL:7a$;km HeXU#;~p1{ o5Q@%;@.eDd&O+F)܅IAD+20j)c9 a#Ӈ>6Z==dA粍#uLxQ$X<}u;(q 1݇8#џ4)XV9{j_o{<V)|ciu=)_5Zgi9o jPEڅ{>3~ 1$ZZhrx>TXVr 0,2LxU}-9K\]4cm'~ѺBLq6 /iye%24\oܐzz#Fat~eMaKMr$,P:g|`"*<+^ ?'}+t|+]6B8gvrw(o|#G>xac YYLESҭDM;j+:pwo"ڕk>DO=C{@2YhДc / pQ IkD*kb;|V6y5tk|7J_kA`<b\ Yz _t&Fhg1shmkgz}إ^D%rb]Tɹbv+oiP"=;:U 5'2ijŗ?'4qPy >'uCDN kz8n W(J%*훱YpDX'JoXDNz T a%mvj%DY>  \.A9T/nooIHHᖃ`n㻉|Zb[?7iVm}twov6_*~qj7e6U՞p&0ea缢>ep"ȀҺ dv*UpǓC)XYXBVPW+hZMҽj* M <ťX YM^p0pٳ/:nWIpQ+b, o: thg횇_ͯ R J{r# Ʒ6|q}_ P2Q=*~YF (9 9 mY(*d7࿡'6ЈR )R * PxuѤN@BZ)%gvQ-'h&S?EӉH.z< ȵ- }躏Rԇ .|Y"ް]>ۥۉwdn?g"Q S]WOD1~`jev36tO+vOc|>sSF]Jݐ{wh֠Zm\UACՎ06[=m/]2I$դ&;^]GƐ5sK!0ҹ畆%oOD x~&0( ,Ivv5.gfq218FiK'hY(c+_efc[XȾ;O9 6X,1Vҙa )^0.D}F.2 W\xa֗)d5kM[{[MqDaV>l=a zQ5`e /`~of"ăi0*2Ij;; --ȫf{x{kA^@툼C~;<΍Id٨dlS}{tqG^1C%_n ?7#D3]}dt8D;(D0\̎j*ʼn":'|u߽>L**,q)I(,uo:GqNҢ3AЕ"L@A:DVT)= @?hڄk@ϚJ Eٜa3UGr) ~ w]u/W;:֡(p5mn[홢a;=SVHIekO_t (es{C%T>;d  1wmH G\gPei13ZMj --OP'/ }m@"EU}yFXǭvNDPQcD Nfa^SLUӈRBJ чWU2ž?MaK 6ڻi"aھfb$l-祧b@Ȃ]DeТ0?S8`,/YfFBw4]CM3y7눓H [: sv᭠;UbK{.Oyz|O3ƅYW~a?.Zh_֊&HCl  |28c[T\/7]+gu-2 Ǟ V V致hFe z!r>laBVcY|!~z:V<_G}%p ̫O.h]n<ʍ"1PԼ[{\nka"ꈤSifΨ;y,AȒCYG'vC{ߧYw21 X o* NLR~v Ośa˺0xޗD9 m!eߔ8He0+?*aJ J|a۩܅Os`8"wbn-X0qC1}itpEK6s `[/nèɊQB.`e}(Bѽh9iku^}FMO^#b7+ k u 8Fq+cyDUJz&ѺzMO~z$ -ڒ- EqxAv_p@%W ߻kX˒SI ?grX$`+㥻0VWXT!#S}rt-*wZa" v?BP.| A-Yw|D8]rMPk4Je0{@!O! ^s+ts0I` M*!ީcrm:7VZَFOc͇Vw^VTaC>L"M(y>_s?H3# >[.Qd3G6Jgty jذF9GsE.17(0,zaVJjG§i-1\}Sj<ڞ4aq0S9 CYdیUeUGIE YMA%&QISY_ƜMs{&v:9S[k 5O9 9lcRաH ̤qV;8 SĮz] mH&V^($WI&cAGEohd ӽd7TnV2YHR{)m!2;:Ԑ久ʇ{|4`!j:S<.dT1ybꃬ$IR9 7Fz-mk?JE0>#PۻG*4z`\̸ۜ/>kءQIP6mVU-ni{~ }tɼѱ igcHIQ X]M?8${7l ?rg: ҇ :yksTbIV Lɮ %44VEſ)!P%[o߾6A*hJPRK~#3_LdpIp%ӵ^XNfX,ksz(^~DpM)>'x ӐjAW%fo݋]bi*P0Ӡ\kQht^wۋNkMBu2X}bLuPAtLp|>?ߍtŦztNeMO&j%ӒJ81-Ӌar.7fL'$4u DS1"=;Ẻ/EK* pmi$,nb첗EnK |eHme倥GzxRv IMg7^Sїd"Lm"YH >̉<"[-Uۣ:hfGe.C4 e>h_-(|UA.W\ 'O!N'd_s/KdoD^ zsj_nQE)[Uh5!^׀ؽzK΀1h07Dy#6A›hP='#!L؅?3*blu6i 8BebH^מG{ʹ'P_uxztw"qu>բ r6b"Slq)5hmO:pmRWAN4  '-f6b03t'+I%褚72$KX lNO EzިyUخ⽭Z^<~kGb괁ϋdI[ٕi?-Ѫ;*Nf$uN#?kՀ6q Q~oSv06quQD^It4J8٤ J '9?"*2#Hg JnH{H.$Cj D"N`5LpDwIʏϜ@lv+Z̳g|tbl▢\vgޤ.]Id{eT|EU܆'ȱpE Wyhژ{Jrg1;o/1MRwHuC".Ћ)mn.݁j`z0Chڣ懲R5VQSִi(#tfo@_7^k;ki: .0Endo ³hyKrh֞xQ^]0p]ɺ"CmC| y䘥~T5Z6e4JU'P G4}׈SПw)BT뺖4@cM<tZ&?+!_ؚ[̾8'Z>lunJx8}[&kK[| N$i䒀yPQ NwVT6wlb&i+)HU^g~ajI^ىj3 '8} 8 ;hv[`+n9n']:tg45E@:AnqX';s?_QQj,ȍD T)اۂBkM̲92)rvj<Bc%wdIH &kui328YnϏDsDz)z VqCb:Q2Е޵8J^ EDUn w htA8RíGJbԢQyCWIڢ`+ W/厺BBE:EFIjTJZ̔؝fG:o6>ZJ]>v_MZ\XUn(bOɩf#]E TrB_ ™{FOEً>k 4pߞ FכH)?տJ7Q"xG]]Ѧqmj]HŌssf2^xʻA<1kO%WGqtH2F.je;͋չp@(]K2c0ANC 9ФEm=Y/댻S'2ZE fNKOcd*u C?Fpدd3]~-q^-E,cfGY7UaQ {(z*Ng}}h2U66yfd ]%:Zފjh !NPs~r$m|$SP~yRg%Z3'[\:c0sޓŧBXC:)}:(604{*=$gyxU\~+c9#7 CkFcXt.AtvziQGTGUDx/I #X7FaŬinxY YCdG\/ʽB'kMKļ[*S A5PW @[+ 6c1J}ǖ쟨|vZ˾/)6XG$? J>Hus[RFDEN0,N_4Lؠ .yiZo2%WW #tf=lLě4dSTNl|ɫy\bPuNRc޲Wz0=(&REIni90KR;I#U5 AVnpBKKSĮ Fb+ݨRR f5qAFndK̃ynUB : O s{*~{-\V,\tMǚрJ OW ^O|]̀IfzMj2g￈O~@ciZ wo}y( "iZk4zB>9/AAF^5(me<;tP͈ua;;S} {/XQbz8H鵟0'\ =RtXfnISTDX: K!.4@%B0?ڃA|8%mg~D>^!XnU/$fA RNRWV,;Ev93=]z' (pŐ>|9mPy@Utd嘾i9:?W +{ZN4  lBU0Ut^YM溇JJ$ 'S:3/AZg^TW9"0v'_j0Kh͐^QN 8!r& d"npc 3 vMޫzkܟ6xK>&"cd}qe{fq A@G2Kk6,?Gv܍[FCZo2w`_pZTv.V\z4vl$qmƩsh%aJv ?Kd'5i&u@L/hd]s IdfW (i7 ~HR(۽CYqҐdHdF9h['lFy-fnsW! KdW x!OF*ׄˑb/WSb֗4e1} Wbt:D۸VI9@|7^mo1ujLP>ia '^_1^ O|{JQ ꙴ>*E+i٭_w".ے{n[k0_D^ ģw*eGX;dNB!TH x0lQ}j2o T㨃缀U\*ICLw7}OFN^V`@4Fpܴ5\W98p [a'