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  t!lD, ]]]HOL-Proofs:threads=6elapsed=585.409cpu=1411.488gc=184.288factor=2.417zXZִF! cm]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbV`tm#:žͼY:y#IXwQz"/:2E1 :[K͛:ldr!3ςisQLYvwvFUk"" O|otx'dQGI$lԠxyGF.bT\fMArULLSHdr.2MBn"a%>MY^K_dNۜfQ@ B=(:U>!9NM,J_s"=U^x{/Z\ u.ߦ/5it  ! HOL-ProofsI+XG*XVYV^)ѼR)^|XՀ*yHnZLAiX!6Н_/#K͋wH& IwB}e8p;:S,i)٭ =)?Y-|uh{4}^ *1.q?`j3l {X?,@\Vy 5Wo!;^!3F J~g+'65}#?Ψ]'I$+E;-xrs~7N3b?x˖L"GF52T(PxUwRgOvɯ BS+>-[-_3c@x4[R&M~EjwT=-9F㈶&S/Tߧ _.4hsLl^.2̡Mӓ3-Q$_'[6*B_'ICSJ9wK`6škvb˫::Lf:,Ou| L' "^/fazwHދ]A)OqOu" g{܂{~fVEBiWC?)j6q'qL&DMs8yK@̨ >?+a[ֵYI'*׮宨:61.NzТ=§[ =&[o} ʍ4!IJ:XBU}TmخU=!W>JuVzl8q7,x̬Vè{c3AC(?7mPÓ^] [ ep1y;>؈PQMBu?Ś[fo;\p,:$Z92ujEnDpTAPܭ)4 h%sښxB0Y6:w2\Tx xbGRF Md"J[z: z^WP݅Z*gk5Gq,X-<'L*p8[ )`TVk*TnȸF]e4 1}'̺[kuKVL̢ؔ_EJ!d ҤLjBiU;P-"AiV;k]])gU( [\VtJFb[7H[lLʞw"G'z#hb:h [ oW] _i _f:cj+bNC_gv_vCʮ,cOJ$%q1b;UzLb8;[ ϟh޵:mfɐgB &_"ĺ·mHFY|qޯFhl 9qF{鵄P3CYݯ%ȯȭv~%83a믕z5ɫ7 XNJqc|ep7 *XVAy2yt'1#8u x\OW_g t{t,V-|LZ κ3gK}ۑK =ePGjĄFli:uYlp/].T5Ю7L.K8 , KPz͡-/E6@PIZOM957[b!SF~ֿ6#NQP]$q_eg ϡYAA .-Yni獊+ !+ B- Ɨ l ;ytc ,*KnyO ~rJxk!qy|u~X( ^{ ǁ?]z1!n^%=)g'< 28}ܛZ{>n!Aо۾<3̒4\- 0:6Ary:_Zv -Sň>}U n 1om8e]:m@B\/}%jNӱ2i*qM(vJU a扬K PUXQ8aGW9Gt]͈ !+.X N>cg[*@J7G1Bĩ  .)ʩW\hk(^7r4SPH.yw3@Lo)#t̍ )]>$Ƿ*I e<_?E7_.ƅq%Ǚ+^=ڥj *P{ݱG uro{WZXU 2^mfҵn/>GIsc GteV#ґCVj&6w*iYw5S{fa7(Ɠ XU3|%RcDLB^=Ыat•WO 6KgkM 4 1XdYӭ& pIBf=k}$ BlZeݙE'9Ԋ>=9Ո-,3aj1|ڰoސ,\T!z/w";1?wh|TT cHjxϕD/2 j#!Jͧ75G9dG qb'~K[dPqalLS`C hD9Itl3ɇ0H٠,8sC7QLR`vTۮjp臮#cI*`S*s 9-|?PsK*(5+{ X.̤9Ś!?gNbS! u.}T>q+8@k؆xVJj򰽣mp˘*΋ͮ·b+gCGo1-ha]=6E&\iod1䩴h|Pp%a?}gnp5PLۻΓUb4׍/TIrԋ#W SR { $Pָ& | LcjU^n[|P 2q`t=2lbuz:ODܤs_w@ q%32JH‰UH)JX p('V_QɞaHo'q7,3`Vu y'LAI2mǜ5A6r_jڐ,nW%Q!?jEJU1ogYZ7zXZִF! i]ŗXiɟ29aoʼz[%U>EM!!B9.sqjyzZw? %L-^ʱRP\"!@Z>aY((C::Ӌ #<TaO8u:wش|Du` .1 JDI<lۏ9Vy ~9a L߇_rzm6j:GQ]yՒP:D[mD>ăݰ>`bU)";!{&˦nEcF]E%SWO2آT%~1μZxdh)Oc)D!p>k$v3W/Ll!5:ܷwbf1uO۴u j],o)*'<0#xA]^<Ӥ3G}ܱ nOF%+qPJV\쯞a؅[MoeӼE |yFcqBbn7mTpe 3C2PFAi1ጨbyu$ɪ(T}㕥:wOqSt-L;z]p IaK%.$uNߖ'okrBHnx/wXu8*SǾ GzJjðu!}بx= CvXP%姟hA9Ϥ]8TYX\A 6R{B:b;x}Cy"`]$:9 _4C]EBq“A'45Ly:"-TPg"Dg)OC=֜4Todݪ%|!q\$_$ W`r.3++cOZdj~puGFf#2-c9&" uAO}Ru{Z* X~`yGUɘL)dkڍ۬$킴אwa+Xd d~El)dLиVs?QE zG /?ztOlCA`}pAWd 6 }R$fqN]158ߒ&9s^1c22򡄵S2UOw` 2ogYZ7zXZִF! q]ŗXi%9)~b\}>Rd+HlmN@sOmY$, ڰ(TAR: BprqTY8·Q%!_陎5 װ^y^/(sr_0kdRJ0pxOA#}mF![62N)|k&nVI 4`>-pf-[τym?-ЈSV;†=6u?rͱn&CBBAgH4D}K]9%EmplΆFN,ZN?;jyT靁 j<"ǭhъ.hmWtC&K>р~^8*ELl醝i-rk6 +t56^]uY&O9YϢ.ߩc^hLJj S:**0;ϙ|?ܒ{?o20b@Qd3T>MY a EŁ̬3xQE'*Nƽc_\IT()t;@=~\OW']\I"ԪQ_:d^\&By{KS:d.#gy'Tӱj=3Z^z=k#2UOHJʝG޽S ܷŠ{l€ձ m)Ʌ NkFSԘ1(7R%4qvd }HlvBY14:j%œOD]܂r<#K=L=yVŜ~Qe RP}/+1=B? =kjzk6gd)hYtBu35#Y-G,JM)%=zǼ"@(<{Cj *=`oloKPdu%7Պ9ܨj iKrsTd0Zzrv)l殩@[VA|LM-eB2HO?)j2}q61@:Q2(|)%A ֖+9-V2b6r|U S<T1d0o28Bߎ(@ =yӱW`M1Xn:M"`QCI$ֲ4fB&_  6YF/G?m} /~㡲}v6]n*b F:شX"&^{`a9sAhI8XSN0eJ$*89Z<|=Z(0B ծU2Sg5-/v39!d%2^28>ٱ_)kT9mP1=Tf:A;حeb\rBrF8ژ [D7`NGͣdX٦NJcF7Gk}rSQ (µOJl #`2M6Q76̙Q7i8lO=@^ۗRp\yy>hfB$feW5c6D}H$NaBZD"4u {5F! yNȢ] J}? 3&z IܞwH _T'8GnO#%tZ;:3Ƈv+Y6jQg@kU$Q/AFA<@ 1T4`P'܀jBFҞ xfzmeB (1ZЗZ5pk< ^ME7jt% wp:~Rklҕ.7 =}ԗ,dnMC#Ô1G 9esqJmIugo''-` ^ ID}U9(V+}!PA|sc@J`+'T "ei|[^/Q83P{[0Bއgb^B@VrlP5jZ1D:q~Vz!=ok|}]~%WX7U K_)¯gyR'1ZĈgV;fbkXI1erd?NNHbcՔ&B ss1yNFrU2<)УP*@m>l3FmIbjǭPRƅP4QaӞ}*L 2XAyan|xaKm'F$$0ʇ*բ}SRL_!L"şn?Bab3 3QC '姟' _fa&z\}R';7R@e*PlP]5 )eWq#pHbKrw޿F’!` ܫɔ$z&usT/aAyG`{Lk lv/%ӵF): "29r+ +3/Wɂ;DGiZ`XlaCe/0 b`yq+X-;b^,Љ4"|/>&]uIpV`-vSu('d1<-NyIY!J@aWc:2:Fz)XmF/F IơD.D̕b}*)`T9D)֘ecЂ2]-!HeU;gtfT3 7E(6 3BL(')㢎jTj]F}?uFf;!$0/_S#EP_% v>zPj lmp ~'$lLfxݯ"{VÚjg.E&*@sV=HM rW'4W%ik37 to\^E{7=8qem S}7`g~j_Q"٬HD! K W?8J\0=qkh'K&V\ L̊SY7VQ++7⤿q40Y*v|i^eH޵Bժ% Lw7: ⋸u6aƚFVk+6g^dEʤU;cOb M:$ǐ̃e3B~H~' ls;B3sUXr?ݺ$aKhkvQY }{^{ 6 _H0unCP:nV UD3=nT=Wqdb)0z_{Iʉ A}0H1{@R[A *3i. $^Ԑ9S/dwGA2+Ώ2wobI\#Ý$i>|KJ-vay -99%Pq8l[05vx΋I$ե €F;&Vg 7>sÒ_ nZ]A~|_CuOE@#bo/jdӕ#P&\I/ MpI?yԲCbgz!.jP#O;yM dc\HJ=u>5_9[#_9 Zbq) 6s9's j%4yӎ261oҏh*nlJgL_Is";"hY<||LbXX0$Ös*_?xkW o/ࢣa6/7I2L:n(25|Z_Yc*aTQ)*%bi2&)=.P,:;8s4D&pǕ%+-nn5]}V! z۵gI߁g\Y xx޲~NBY/BݷٕYkƔj%ҢβjS|w)DN{:W #m?km|}rfa5OSAfIUko+Z\*3(:n:)"T16U c1f@yyJLy a-Ԅ$O&PU+-ftu+5s21ȩogR+$!SX:jhYPu=Y%@x$KӓHQgNAȄH8Ap}tк7Cq*Ъ EN6mQ֔ PZwgte(䎣g'ߊAd'~^hJF-< *f%S["(x􃔭q<|?C47GJ b9WR ~hBjW31z{/KJM*]OSEuU0ˡK.u%t`: h`[\ڿPB2aJQӯؠXtxw íP7,,y C)şZ:X ~k{Ug ,\J1zW);ʻvS'.gm8*#*hrTDK/wre"~BZdaF;-koERɬT߿E okEpGPS`3ҳ˓6oX2xSO-YP:u,Ҵ>Z4-ٳsw_)F'*A'I 0 &:x}BVC`ӟ[?gWr8}Ug %O-~RäOw0SvgeV 54=`/.$ ռf5tb\DI(N\|fdbS =6,!{*W9pF!0Jg㨣ca0?:V330L<3Dpx`F#q10O4˳<>?&_- R15>o֝cڑϭ$w5rޘ tVq)xJ$ⰺ9|<9>+ G*#w%'@IJ$F"C|mWD&`GPpcJ~FH6If%gBy=d λYŰ"ڈJҒ]OB}'[66% ^ Q|WҦ84L jɨT[?YM1%{@s|Sr!jaee{یS]V8#%{ ]"82h"jE5I;_UI$3 뫤@>tqlrw͐los+-_=+dy* ٸ ndVȂ?.`q;|«#ް>kyt\2j;#ǵD ¶̆7_aG 0l_@)+q) IlC(xuqQ/^%=#ƘtL7Цek+6WWy,JLBf/޿z_:k$# 9TK7c~ }gLU*dž{gwꪲw=Uy j ?{$Gc o(C~ϰkףX~RRۓa MyoVvKF|ΎP"_`%^IrH(W GB?K>nv84j(5ʈhkS;O@ƿ$;2Ng& E\7]%b,r{0%wt:HDq$!wԺPkG!!I\̛T( Q']fNN/-&sh%ֶkIAǐ5AK>bv|\s8aC)iY'DRUܸ+Gvl본T:Q@<(4/3~xV-3i=xި3FMe(ˊ3y N4ji9W\3"2DWd_Y*\$vVHZ̟PAnF n^-!YĢycLףʿ\rgzwЗ=u4rt0s>N*ޘFP^:H!赸ն+l(>((@A@uzD*~?] :<(:a.u9D$~$(82oq8@]^Ž{틘]؈T{>*T˧UqV5w=L4דӨ SOU3" rp[zyL(!YYpsBSc+B]\6IJ& Osͤ˕XD7=:Ĕ6 CƻvٮFѤYgPDӏc[Υu<"W$r)+' MIiv΄e$fҚ0[`Pe7۔#%i䔝6:&k(Fmt .؅˗$}!_yA˥i9x%AdC`tg#҂{Ok$˵X07[}X[|e 4K~ p_\H\xE'~,3Nt`jM(+=C]sa8jFH+~z4r?Mdӧ@J@|iJx#j%ѽEfzwn0)ٚi AĽg9n\,kWk)/xL%U˯zFbO)-]ab; 8m˩4g\p#dwX X i\_/ijs iy!V>4t,B:G!^cz:]Zy3H? ;Yyw'U/2wc7N h,#$ f:= UyT#;`hm,ίZZ b9|ތٳFa7E R1#)$eEsαt9E`f]j:iW]NM&`hc;+['pʈ]ltJ["՚OZZIAnǰ+-A1D?gs"۔,G#팹{[ ezN%5t$Ln$G\gS95} G  .c&_w+baX#}4Jōic\"#L[;Nb ¾*JOvRw kN9f%b=rC {ι؏0k%B+Bt B48 K,@8f)ܗqz`v-pNT#Gd _t4C e2TM\Fæ6 y-8%Lɂ0M<SʡCv[: B~nZ]-!S95YkZ؄Pt,uE JHk2]kBW?߃Ǔъ` Ǫy{m~%(M`F>zX!h*΄Wf )@6q[7]6i J7ܞq9N%%f15>@of{59rT^6f1 v2T5g[6-W9wE23ܕS3v̦ ^+ۣ8ʞ tl?gb7 yƝ>j!]TLkβ𢟪1@j0=Kmz˾&l~~kSFLA_S^ު{]8>\&;P$|H.}9ߞ1~Ġv4]*Hy2=;T t'[D. 6/C6DѧNϽ®-2A_٣V9۟/rHYkWOJA{;CkI:}_]\yM,|sݧw@0~sѼG\x;/JT|s]"Tʓe'B2H <۳8ȏ_,uoeHK>G"J.W#OF d 2w};x^Qm=#8+jU/ǶIKM}Bgb$⃜@o(.Pjz%lKT{X&"sCJElW[t`cv#$H!u\ؠ'|Iǜkr<9t0H)zF!&ׇ\Hw&+mh Y[+@`D"F]4"jxwm]c< .r² Oy9C_R΁g`-( I&.bA}ٽ%l&HF&ƨ놲6_1Ld :ŸÊ"`9H^3i)fF<%9`\잶XʳUXONj5ϭZwHĀ %Q4;tÎ<asYI@}V e A@GLDzeɨFrc4̽5tuCY?Jj='&hU_F6g vOa]8s4j fL7<[񒱀$>foo?p{7o)7xc/~P4.X'F \Й6)i> ZWX>GGbŕg?JJWh@?$h@ t֕PNk\>jr4Gc ={cnI8K?r3꨹R{ !b6"JpUY)}2΂{y==5|AE$Iֶ3ip'sX0m3-⿪rqjUPhV$b[2;KؼeiP렆K<)FִgI!Kh^u1E) 7p#\D1\˩ㆧ/gp/@].imI-˫5Zui ΒN7a"Nd(m8uK͕쵾Ŝd.'+G7+9jD#Q9Kbϊȿ%@POk5².D|ۆQe)i3eD/ gxpXܥն\jA:0"RnvVR۶<݂2QX\,,7 n \]/LfOi}L '{8 (RA'W O?ڨMa@Ewp)NCM2'Y SW|@Kv`ͫ* iכ`wa*s[ dM!#HAMwվ!{ګ%2jz'^t҂>w]u#==ōm)Kolsq5#P*VH@-J4Gag;q%z)c£ C2[K{굙)"/bFӝl<9qNǍvzz])U}H+O㖑 =XR Êd \kv0rެ7 bT:7fko@C>Q:X;>ziE4T/o!b~U:r^(w- U3ă`j_sg^bl~֓wT6k( ; OWcT;EԨ.\ı!C&n`O֤Z:cVuU p260qQm>2J4& S1c %Xz8\0rI=diZ7t5𞲄p{ ~r,8ÃBx&}]Xx6¹0Gp+eK\߸V]cuK0]Aglcڔ A %M6MKVsqK0iA ¹4c`㽬,Irۅapi};,~tf̜Y]㬃.R[Ix2YjVɔց,M,뫳}ܮ S\K"#h(Re,f&UaxLN!ԭ[ۦ0iԙuڢ zGB3эiK:'F~N{lzdt }۴8LkwnES@?oۘs5`q<]+V @qO-)t / `gIv߯ :SA~ CbV(Сժ-TE!{iB#557p~"S[sxsn~ݡ6_s|P^ݺPٲAP.Z1ݗ(~%N ~]t;s>wK*?+kϒiv8'2+u]M5d`,ϒW)Ͳn~A@4ש x4U[gag _ìaї]xQG&5\ Ld!AGk&T7>B {cBY!hΚN JomhH75* .Mr\mc_~ky-9ɀr]xP7!Q7wKktRB]54e{x~_jdge]ovˍ70أ)G+ džs VsL+hI+ʷ̩L$4~C1~t𙤇/3b`x=jL;mZAG$nҳ.Yޑ!e][ nCcD$E"W-NZEH(:sCl2Уi"z #ˇ)jS̔_;Srkx8 ڤAY_>¾ȉ$M lτ$u(dg3:I-:AP,9`iJ`7DZE9y,E:C :?-bnqqt`hXrzI ]nLOL-aqas78}^\ETMPh᮱"&gH*̱!鰜R(:sw|i"jF6H' i~9?xԫ\CЅn?~W23l(S.5Y?ÿ`~U w1ptztJu-Owe&+ 1fF.XJ9ThsQm%@ְ""g4`pek^seg&T3#4^9Ug 5OДRiOʎ]:wȞNc=1f߰mI{cnB[M>,YOY.$ hgPK#yvfiSzQHF9SwxtQp `Aiϭl{b`cJ8H&#jJ)%wn(G"rub}[0@%= 1F@q ɐe@ ը:X ,%%[N#ՖݴuxHu>rw0K>T/*a;Ϋ؃(ΆG.̓H0,#c%v'è*XFʖFldc(ySTB`|OB!Ybr[%p+lh:ާ*=1m- rh9 y7j=4"*efr.J)UN3N~|03|{h~u[{DF!7OE: ֖F"k{\|@Zm2& !Za0)"yR #i35$`/qAnL#Vb& )N%VQv#d?Kq5X NBdMWZ.CDV IYU׹A|7LDŽTN7 ?1yڷo.uŊl¥[ҏG>K?CE8~h§Wmdj)/iƣ&Iu:sG/ˠ-$jxH2u(3Yꋛ}PԔ~^eo7r؛[b0Od &aqa!*֞KR|EzXyѫEVlCJ @[7]6Xf2s !5LLc [6_ `fYfu]3oG`-pBplE5.c%7$7 9|gb8H%U\:"_ǻ#ZbTv()ǰAYst2%]Pmg A8n^xaCN=qռM.DL~ܘƼKj\9k.u(T@Iee3ޟ% 'uFj ʶC*( ?Ђ7}U}1O"HZƦ>|`wJ 5U ?/NPřSv]͞H!%YCi2 ~|֜2x)@tzz0 6uTX󩩒,kN^>yFvO?:'0EAh$]sߏal1F_e=!0߯:D~~Evg.~h й:֓_ѹ6?ɞh! XqC_x詹6п9E%]rH:S:0G'Ժ[?9L Gޟ,.I%̔sZr$˞:֗ [׊F߅1by\KV$ܣ~] 7 PIBq;L"Fʊi$_Ix,eWo]'/>BzC9@C x,dBIY6f;w撈I%ZVM8/6H !ōP)z%z+OsCEU}*eY4$~gn?ED=GF]ɋQFu1Om? n5'G!y­<©`F+pB2*('EmIR:4g݀AP֞*Y F*#ʻkll(6gI@ ׃q=膎jPO챺bX2!`~J-_T-XÜf8l=%aH'jNNUؗ&M]5 8R327pO+w p6x!x 7M,L(NZ}ZRNcvQ{X!b 뵦VׄA~$BU߇n=9P=?B_#P\: n|hI) {:KF{ q w*kmS&`1cSmF/~Y09VĚ9RFK1V7;O#1MnRbwsnn^)&Rfܪb\ӧyBGo-HQYEC&>nQNvgQ|ìsq qw74cʮ!.itmXXayc%ȸ󥒳(tpĢqVشe/:6ҡ'0d0 )~lI= zuMtDILb=$$u]qpIFY G% hf* |SgJrN#aJVڥ!3f~(YlZk ʿ@̭ߡrRMnf[$!葆\\z38Bb*vUN`U )X,X|†O&<91T$=ur5ߩ[E0ی{fYu("QPv ~ztp7 ~gZbC4R\Y9j&.Ga9.x=;AxB3 H F7g;,RIJH[.ORzOLM)YskxHos~ Ha;zЭFAMsu.?R|v7 E6e)ulP)fp 4*=U˟Gg5 (hMhw{ڻ]?VDTFWN1TPxH\sp7!+@Dvjsr?AL"^)BpqSE3whoK2^1Z[Om3aY^FEI|2;.\B{4,v-WG\bL?*YjxwfR9xqL [cyZ!-:!Vx-,dʽ$]` #5NCXQ "%=v"j 2ˊɎ0;&:?w@)iRBv*w++>C&&U8Bn0s 2o>—z3rr|EcKC`N_(3W]+Z[^zҏzbfhW"8*11)Rp@&m== }tgonXnVjiҼBv"0|g;3 hVY6 ³&ou_su"PܡLFZ3ϖ=a\Zȕ}&a֐WS\CeGӰDnCg8(/"ℌ:;ΟG|ynՊZBH$5sPMiXU(g21(!nP%M”I'}9=zQ!pEķ>QQO2ǻ) ^/v},lx/S}ߒD&yps+hS t)np(WjX_bhؽ_P+tRK ;k7i*4ܪV Zt*!-e@cUg+-<)wi56O&Bϐoz.i`*%X=6$6"_mIgP3ԑ<™ g',oʧ}N"Æ!Nvou,pa&=8g}F 'Dǚ{K4D6ZCkOu,5jNC~kWfG:f(J1m3Bu+8 /p2!UX9>\@4F۶;, ftjbU !{8e{]^MPߍ ro|K)V6h#r_.'A5ZכIq(,.kRiR3Tae.3ف>5MP#uC71.Y9Ͳ[Bj{A߇ g]`̗\ 7PlF5H~Sɦt!c!7'473K\WG" FzV)igĠG)Hq_˾Iyz%2@r!qv:Q/TNΖ:Ds$kv1na5a$$\.Qm:t6ЫV|d&d!Tbi U3Kx) ?9˅ )p k~ra >.x>WMw\ېȲnJ_W>Nz0[fM Vex v"nj!|wTGsU!xR\gMfNʎ~&EĸDM5-D!)6ք/1@ƲOh;RfHyCFY(&@AOk"D0DK+7a\dO!$%~zx\41341[ @I 1n%Q`gxd`=ϻ%2,;~!z4TkMSCX$ԽN=pS9AxMRƴ'{8Cyg`tCW g!8tqϢa(V0ת1GbѦ*xnI>Yjvݡw, [Ie#!=ٚc*[94-u`o gOBj_a=ojx%PYȏX{s2{^K?$}xzcVKKj lojy#[ qՕ\yMt"KiDut{z ҿ{^ƵIgTaKH-h-RxJyKPU {yX*il̜iUV^"m/?<,a#<y!L2&@}Gh6Yc@K8{͓˩Fxfs06'(ǃ nrmV VJ_j_We=IR9M#3lΧusxA.{l?{߇YDz$+#y]] 6þsʲƷ)@!)vĉRҤi +M"5O ݅+1XdA;3H]gwHhGG Lp=ÖFzC2}$NvJbn.Ĺk1Hwh. !+RĉYwF x۟ߞ#Q(- ;k^ %n65U{n 96'! #NcAGW)gQ-bAM|"VK 7=6Ѓ,^Q隅=,VPPteрB鱌-傋С  8ĀFmL!W۞T DeE`Qj=P#޸HwJ -€o£T_6}dmk jic^)-~QW>`RKJy&pZΠƨsC-peeH-|󎽥/'Xs;;xN'RՀflJswuC^R4DFЦxT?\/՟ mzϲDK܈/vfob0WԞ_ m!_š\=*{|}!ghLO\gZG#JS"p#KSg 2E`Q@]^0"^0]|D`ۯCL4٥f gfI 6XMؽU$ő*CˣlA˴4[ {ym1ˑGSҟE5B41A#B)2Gb[uf=QIc2XED,ѭY7pt;s?†fdk<qMF/v*{dr]a(,ԇN|V뤅š߾Dyo\zeQp4)*g;pMWêW4i;]ڽ}՜+C rY;R[WSuչ \Й1J`kQe%sƥ,"<[$'֤$$+lA /lq⇄{4Ӛnŕ-{6>s Rh׍Pt sXod\7Ik|m.ɮFa83f\w]]i}%NJe)5*Ī;F22M> D|I4ƹ?޾93 ?PCS.f%3BJuz%{dt_U̵`*x\ؕ*C=A~iu:;n/V[ph:MF4[t?^psk}{_I6 YJatjq,Ϋ{Um=eXhDH6*DҘF۵{LjD .6yHЅս"}]EڡHB:bN`n.7*,GnсstθBƁ(1[rՙMNdRhn+[^'  tJxFj=Wĝ"A ᦙ@8S}ڔ9,φyPY/W{աf' d[? f*8…V1RKM }%K7{D'J Iww MXNvUnH}%@ZgۤW:߬& 6fe_l% ?Ga> }x }fSʆ5ltڳE ֑|;/hNQ$wG)P͝sKC\<{޽|GVfoXhƢküQ={(!(:*"~e3A9bxw0 c'OX_,'B57MzFԆAP2؜}3UJSVzu K\+viL7V(l P=7dzvvvaS}<dCjqkͬ7y~?¹3&J?b!o%ٜiyoLSRLd[XS/,>*z;yn5)[g &Y|BMY*p‚o*c=:U͑d.>$xi7%n-/#S2:9˘ammaHMt^PoVw}@),jƳ)Z7!'6uuT(p #L9‘D΄/ΥaUkdJ x4ہvgX2C̢,?9+h`ڗλ]Q a6upIXJI1]^E4? X2?N@%mUp@#Iw{g_^+ۄ]1D zz]frT-]t|_Ύ~c%_MW)U<~SWֲ0Va 5a>2#9ȓxRc^zū+b}Rd k%LQEXeO5YyQ<̾!~5rp5 =ӎeى $on!kDYrBs|)=lT$X+SCc@ev}@t`=^b* OHxD*˓;c}cJq#P}>^R4m gԊ MI{z z`t Ii\J;[xhewWj()|ΆF &y 6CbSOL;q\S c%j/pB#Uqd|Y; Ox'>AF)FCʩ8Een]PVL'€F6^gy-=9GU(uPoZ2ڔ dsᜭLe\(iB,o<~,2]5?_*Tݦ'>!+L琩ZcSh?+◰9ZĈLG2]f[]xN3p΄dw] VDe0Eͼ3QX(6gYZ9ab8be6f5ed7cf0b2e52122b373e2d826c546f9641f17979ce98542c0541e9d469ab76fea38a3827c2108421353c92230db156c2ae6ad036e8601321