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   4#| ]S Psi_Calculi:threads=2elapsed=569.160cpu=1044.244gc=43.532factor=1.837zXZִF! ^]ŗXf1-/6vR[3:CCp w{ uSZ@B_˝X-ƴyѕr\#c0M*gE{M׮PW)|;ܽGC%(.{ ~=Ɉݯv}+2/ Hdzj_4&X:zU GΓYtΚХؼ:ˢz6$>.;y~Sm݄zmN6Ӝ%3Cw&X]g>Aphds!m{ha[Ҹ5PmX(gNVZ,:3s];Oݨ6 &-n\ʞ_}̪}" u[%EJ4.  }W!kIK؊gb{w f^l)Kk5Deopçb,8Ln*;R7eh6-x#y[e\kD3Ugo>V^S-8NWLG"6 "(!'v&CudKpD5F]Jz__ʓh୕'b Hpt;K{T"PׂR}}Od7HyȎ W^Sd~4g]Ey&([D'XAv#ϋg:&3Cs`}Wm%of&N:sq'F6fyab`6 oxk Qu*Kkg&,t?#>]Ԕ- ~ϖ{1F=!\lmԿ*(!ɱ^4="ÉׅlSURcMF2zy* HBf^<2]ajJrؾe*UDȆ5ʣ( Gz¤I%ePM f@Gx=9}`8طDx07c$*?$~*?u~Ď _^,<Ţ'[4W$3 U}1E3h];`_exb#&'Qmxo0!jg>d(r*\uJrr@[Z1 S` 51Uun8Oc© 9GK|L ,U &~m#vŁ:PGEA3X dǡ4L w{.4}]7?@+&ߖeQ q , A'qxUDÔ|om(Ysx&DИGq_ 7E_t–,kAv2:sy^jagqܵ([㕒p:j}DvdoF#lȬnWlAprU!t~q9¹tNmޫR=jĘ^}qF=4F]J6T>)ѱ`^Wh㞑g&OD]WOEN'gc?AΌQIv>:l-`<{rpC* #rƄhi \Q`At0 Y0 ;\L$eF0Ӥ癝{pc@y0h,3)]!{̴|v̴d :|8bVx쩧.MTjw}as3%v"Y3\U 0W) SeKD$NP]?LMT@MvSÇ1M?GWQw/Ԫixͷ"[;-ve/\cC`oO%P3*D*sˇs탇<~y%9iZfE 4WU7w<1};<<kޞ{ 8 6\EGnހB<7huvxw{3n|Ѭ-Ձ4O彴5,6'EnhrrYC- mrumõ I-bBE%OEQA3 "G=^ō!Q$ cFϕŬ]Y@cEp\A}`~k[8YĈTonT7<1vJ^c5- Xsǂҁ w PdU!]/ƭ!JFbcw]|_ r5"/3}߆yZ~2k."f{E z-IŠo*(d 3/?@P3ezYEj;M$WLDBiާ4aJ`F;N7D1Dɸ5*ݔrm]JGFq}aӒ# fIi!p9U4fI΢_28%=OJ `Dʕkx<7~Sr  Q3IF'4xhNB(ۓOID0[P E<^3[1%T"NR 7lp( FpS:EC͓;$tB< /QIғ5Phna3mYz) <"jlE'faBqh8jcu!E`//Wd >w,'69umC,WQ +#&x֩sF0P4އ 5r^iAŗ]<]F,Oh֔ \^boj \%R^K(Q"hViؚ鞘;[ׁXb[:Bz6ٌ^yL9oZfl1 # Psi_Calculi$*OT]w6+)̺ZJYGJ-Q^@={d3^PJ ͟v؆SH9e}E>IJ? Sc֋^D!$ aLQ9H<}xw`HiU1ޥ~{B8^j 2 2 0uZ'cʕam#k ޏֿ0qm'~r%_>-ۻ5~>_e$wQF>>T`^ӪCg[G,c{Re6$].QF1zA+JoW;kE|s!(HUOGaˆPS7 _9R¡CWV)0Sr.鉪E\Ga&leQK c(莤#~dxn`k$lN5 jhۢu* 3 ti?.ط7QrEZ㎄;l =Q1st+t$6{d"hF8{/M⟎w_drA?>`XG,j8pdQ9% 1T; A uv%i+owhs To2)h7nz`;>x4GtT hR ܯI ÄN~.xBNg,ebo!HEP J;@qr=~.k`]Svnw^ى1y)$4ڛa}tp; C+-@qaXgA/D|)cA#%S͓qh)Rk ^sicӢԏ"11aYSN᲻:#`?+.ܙqE;n>[b*La7tHkҤo&)B!'#G(ע2x4űG E)QYn(96{_"4?/(*&#EF35y[C9J-' ,os #3lqs~Lk.}=b >[yBrU:4rD[cƭ8 k)MHr !:ٶ~\q )2sV_/U8]kègy3Cvp-rpN"k2$9YȎAIFUZ3D/ ̏M+a!,-:j8LFV㯠87[S:ҖbΐRMo&R^[ r7G]~L|`L18Ksq^m џC EoGBډ-=@NZDP0>La_ݴƞUbQLCs`S]MiCZdx8$CV}_vA˝ < zb-{twq)R1`v DRW-i@xt7"jF@\AoC 4΍O:hfsn1/1)Xtt&ކ{5spRka>wƳPk^aFUgWjto]2%?=p؃s"8rcH }4O v(S%3߼!a#KXct֐L,Ox9\)]2"+@0{^hyM"d4. ș5ɝO~"Jy{ M@ ve?۶!) yV1"JHz]\1 @E\f٘6)<(_JS#Ď<~@4tnX]GͣjG(h3THan8M4ɵ|U乿)99~qf%*xXx)1V(Mc9dYo¬{RQ3[BxwRN1x< C}ۼW7C-+gVi tQ!͜_"bQ4XTq"pZ6zc-#دkސr7NȕǏ}I)R#Z=d!9ݴ"5x=iY

q$^Pvg=ך0R׬{㛢p8ݚXXc_+ayt|As4Z @ jb.hiֵ BS^`j*8L+\ gˎ_ @ lfQi/"wj%Ie`&xJ^Q;(: tj2ے_B nk %qmRHQ_rB됒Z%p\JEIS)x2>lj7GO`DtB:ͼr)51yxC"$ǻvhj"Z2a@̶F ^Q-2YKдZUeH>cThSEkFlG5'wHZ0r t;Nk?pAƁj{U~ȂsdBEߧĐmv$4  qWhi" UKЊ_ rOikj-6 >Vǹ;}3'aϮ @5 zsȫz*\MaS*03<>S~cύqe%h UE;ીrk\v R wzb&i n?YW:9HyTX@zl^VM0 wBz_dDm1W? ߣ#_ϪCO Ugc$IN>ZBu9H[?֓=;V+; K5<^UjJNTYG*˳fqd."ՂGb{an{CӠNΞc{ɍ絀)`WjJ&sd}Y0N7fuy<gI_xaxjǁ`֜Cw13]Rp%rNcWkw7ߙt{d\B[55ga1F;f0뼩app9T6Qܭ2L ,Jz2uԄ- OC.ܾ@L sN0ml|{^(c>GWIF"IJ])L+i Yכ/-(L%¹V ZCgg5 oiΗFSSSB*#q #Pd+U3)ZK8^F am&M@R^!"yw[TJNj"pue=T59^oē*,y[kQE>sA8T47>J;^}}Z%νp6h|PfxRNRꂐ[\%}QnFqSŰ3Zs폭 <`+@.SC`P{W-OGT0 ,:ϑ^ұgYZ7zXZִF! ]ŗXiɟ˗̵w'Sɺl!\c!,^wv+A,A= ;TO[,fg>;}m@2*Wwc^*r"7!m`Ht|lYQt*e{]mT|/$jBUuJ wK)ܚPR feˇ?ɝ'~ݟ̂@iQv躮YY4Ʃb9G~xǛeZR0I;ip][؀Nk-/3d ,;GWaH*`ϙ|^#u#is1?5p WmxL*#Ui ,f D-*Ȉv?դH g^'+P> '(5!!BA tG#K$sk B¯uq%tw.{TYkޢv }8l0^F‚3Mӯ ;N1u}w&asI[lޱUXUsReGhB`8}\2hAfݾȼr(5h Y "`EG"Np铫|-((jIVh6'jD>hm L .iλ+(ױ A=tڭ\gN| M-kFvF"J_-O$G=++ш IqRhFΙTEa-|.(ՁNƖtw{ݕvm0+&^84['(^ŋ^٠]x%$b\oc* ]G`(_ sk"2Jة{x9[@GEnam`~֙Y3Pfvw =1q aeږǠ`8s|˅$8r {*]3wVJQ?#l#X_F*z¨c^ jFh9RV_*:6F^L߱[&JKME)güR zDE ˓us: h4J4lCcq?3U3ܘAs-dKtvRfӐ9RfOhU zM 5L#)-g`b豫R1_$|x_ qj h̀(>%6K,r؃خ܏ 0ӍxP$&Ih| AVBC<"ti84_ӂujK#E% C|z}?ay|Q 1 Z c פVhs|.U0fHeAlch>|x)?QPUtR&6nqFV9/UO /:7wJn7?{r ~weH%H'<1Dd a ;PˋS %w lw^v譒/PB `>٢g]#ܕo5|w1Њ9 6UHz7Xc -t#.8_ݏ, X8 :ͽb Jyj3@2#ſ.ԱJ>O4·[UK @eauu W"yL3m\ȍ$P<ä(k#|!+r|075&H;<[y5Ƈlnx/-+(*K,AgW[iAµu6`+~aEv`m 宼 ؠX&UyK '/xk{ '[A֣oP~J9fz僓a`OA?}pE$3D}ݽdhP%7TnFYoۈ:8? 0qHCXPth/.y#",ƔP沅\v@C|L4>_i>^6koK[BAUl/MM~%zVuME2 kzɰVwr7=/66ٱLf%?׹EvNQy',5ӉZwG,Y?C;$.aUr2&*(t_֋:0QA3pn !x@qJyxyg%;>4qq=#ދxsO4D rWƇ-,drij,žC"r-YI@(0ShP^_Efc93S]$)R*#ǔG,(f-dZڲ˞0c@2 S%\6Mm)534!MӁH=XŻrE_:im&Vj)ItaU^?F^wО+rHFm>rXG8s0Y+KD z^]R ]-zrOOP _;u)c4.C*}51͠rI~s;Xi$7׃VX[l̤ߕU cGkzb!+DMr@7sV$m[&QXVGkKH9OMn9ur܏SCƻ}q^cڏf^gj⭨F;'QOY+ ?LxSjf tBUaEޘ4 gOb& M +R`ײ@rHd$QY<+My~ٕ̚/h_J#J+x<Քl]GRxHNRK`u dDa%YDc"TxkmxjA"=T!Pq՞ EK9RwwQƐږ;#Qgwp@ei_,d)azOuԇW8R T0;T`<q@.cl}_+ 3eDD%v2[91:c[]8Qֽp 0#Gr:^ynє`ǃ RorU=Q&{fjWйՄn/qJa .YuOv-_.OA?]C"r2ꀢiM$K.c {XE*}'&qjnZ[C AoZa3kYCsuUo\ռDFP\SieHqrt@cuF/wcJC7}P onp-3Xz{!14sw&p*A>69Ap3\O>#$y(?)~ ܲҽZP* Gk"yI>Ȩy Wćg ^k(A]za{o 5@-ħ1֖ʼn՘NBtTHIͦ{Q+e$s28ee>|D?56:AmcQ,>ۢ3X7ݬ2&wkb{. Ün$('k߁ uJcw0H#&N&]"Ғ] pGohOw&)6nQEmMs1ʺ50o$];vAOЮM-Kx[ "7f"cP8v @s#BrN S4IRklu'*}dEhlf"?j=z Ѹaz3u$M<`ш|GJKk9z,]v:VH}Ph㮔Y:Q"/P\VR ZEc/ B:&|7qFPЏss CH}td tX&$\mA.43r^f\zӌe!%&vѬ(uLwlBk`?7ѷr4|e] l"DK@` !dPK7 NS}`U4wcXd]#t+aj" X.Rc2Beac9ۮ2bUtj}#IċG -X( ܔDg zv5P `;pv( &k9M 415 QK 8fLl[,f,zTivZܶlu4k[3 ꡇ;ȼ%?GGEA¦ _EjT|_?b΀<є"5|)</ѳ$)mM.<;~],]mP}hdZ✿E{<%=`GhyDWt}LJQNy3U_.UL_m%5*|j\E#=@ 7 -"\$< kz^yMܑH'ܢc@d ][|9K"Mp[!!~ ;kKG`͔IcGA2RtK3>Ym"{nO f5ڴF\y~v\9=8A½j;*}sY/}LUXJ`'UYV&`A6\zJp˴AׅhjpxP*4ҩp /8m˩ëzfԬ֥ysՅJAPsL?YY;[T7p~`RSI zBP _)]F$ făS Luc/ՁO;o'ϛg@rQu yw砺gU>-ƒ]#S?N8w[azd yW\v9a=s hg2Փ{ꭵVe8c{9̏&wj^rGŢ >r[]`@6J W[4sө}~GR8i";{nM`,gi{7IW|gwك@ƫbf BTڞL#x٫HCY:~ۏ1%M`A;Wj'/w9hq_J2Cjm3_ jk|a#ŠQL%K,ۭV =e Joru,Ŀd=J_ 4쐚و-WlOe,DL$ɧ :^ yքxZFO?p]oc"/u6&v%oYav[ef|-Ny4 s|_VWʬ9_瑺CWdK/ZHł>,_ 5M}GKB@02V?_'V MQ +ʼnY>#d{DʍNXP pw苐qΪ=]è6qRĤs#iA-L_Ypҙ*g}-@qpafPkq?T+ qP#>\>nD+}ׯ D#͍nȷaɝu8И3 /[pGpXff $v?9RO:<32x%A xFG0sb;$Q04i"жf"3!|L>@ԫ~[l$ .n%=E46 u%"ҬC7TBha.ZV_l-Ka+g0\Ejb * mAxmzS0AEQ+ _1V - Ӱt,K'**MAZB;c¼<x1ow^mIq;6GcyWt#2ӏWe")4G.3)e`ko.B'[1Բ R̝+R*B}=^1ޜ+!.Ck}zBFeIH%|6$2tlbRnoETtyj-,9o+-ߋo;tX4 3ڙvq4@}ԯk39TJ;]~ ZLKAeEwI9Q(f+}%EHlE9e@sS(}7o]fպGQm)Cڎ6~NЏP|l ,gnj1qwc̮D#N*Gd_%Ãp$ r\OCB⑮+,1Bkdi[; Z.iQG?Vu[W*>檫!cGY`KK_WQ|^cpTӧXv^XR K b&;5S-UQA?یD"bM˧~q|FO1)jZr5U }cn~TOFʨ:[{ \FNGŽݜ6bԡQ8*}oJ)s|l,m.:ߎ_S 3PC  %fJeѱQ;!UkZjEl!ϵBmP;O!\6 qTO=NImѽgAJ<5Ms)6@ q@T5rsKCcud {EJNEuŤ/^ +cPWɗ}wQ={ka&5 LwtEs>Kؑ})*e2VW}.+۠ğxGB=MetP#"žmB,6a`{_=Ԇ_j!ķ]&*S5P2Z'z{iDG*ivkK,?]L%$5︑i!C<`?nFd:e+X@2e<Ύ794]M޲G`{q')/St*6f6\? /`ow8zsKX)/R{>NžzO>qzXhK(p {nwe+WAӳ$gzz\:\J7sY+ň`JШm~:`;VI~b-Q#@IViUArA{7 Ԗqqϯg>e1YyjgܳAJ̅g汊 Ug]013mS-] oĮm3.R0_9Kh+&&qXv3 ;QT>O,\`d~ےQ&We̳!K,:ˣ_Qgov:!TzAjTļBa,iGXsbacB/ ƿ/Smc>>OGyGinoeO=<J'\U Hh<' 0q΁&GJEQj uUT%l-n,6sB'o22jˆ-/Yw:h֭+SJ0-ˆt%N?L:xnfײs8Ӈ-k>8rzF ]~suLSG72C7>25W aj3!uQÝLkF##(]sR5 vg6 O^ʂ#rW>( 5Ϡz! xTYi*wpȯɆ, Vz9̣dHi o3W0Z \ir=!T"Z0TQ`:8SboB U^uXKރ.] {S$i?hr5B|X_ ?q՟3)|AY9?ۻv66n71ϑ]=W(ylT Ub8C頧Xq !rdR'PNJ/مR٥}-ArFNQ VV*Yj.>rʐw7[jxY8dڃTs~ O*z Nzz,"?ؚ NqNB'c|ctGر~>?`I\6dI}r@VbQ#ICL|8<т$ 3"U,a-\[K4;Li:0}cW+?::;_2  7<_|֫59m(97`3&.S`Mat FЮwWX]\`6([|RBr [G`HHBonbPOQ,ѥ*xqޙYdgS6 Yzy`(1JLmoRfIE֦ }ULXv"oyD-tc4fiINJ'O'X| `U<\CV\u8-MC:SʋG_ʌ,N%;T,jGGg:?=Zm<jSv{d8ZhWVdW`ЖKu,?Z@;OuGWRi]s훅N NgFKMGZacfK±20'㬇4lޜ0DBi:"apV$P$`0;BcG6F[f;p0oޑpOOK3fw$\²٢=ټxϊ7?0#/yRxɻ;a3MAo&2=ПB7,,+C K9m \mLxC7c&=G @>C >8@JQ<8HU3QAߩ3—gu^Y3/MeBo'q(-a+ ԲQ O|n*Ho%&Z!eʯwBd _tJHS6aNw!p"ox,'~R@&W2V?PU_0@6É0Q2Xw/If;m\2wP=SduیA7KveAJ_If @ʚ'{-b2& umHL(?NHo1障D!T&Cx=ԜdW͆IWW@ݴnb>%"8{LEL|WC͑c55#KYjL/=IڧC.1Kn{ZgX!bF)RkWT JDK*VN@R2:ݹBbhVr]f??+MJfr?6&HY[Ro`?l-"ÇmFug.]~U%,E{ 8oӅSPwPaȇ嚎b7O:vLCѶzc_H! eF$)~ jK>-/ =ֻEM$ N4?9GAFQqt=I]0zSMA;ӄ/R*Lf. RW+aH$;C \n TNOxÆ[/y=7cګ%삑U6xz Gw 4wNSSȥU5)ƗX: V孬TG Žf-kDt}q:bXh_|WLݼ\R\xL2UWR}|,7\':_l;Ѷ#4҂`cņvx8bĆYRgjA4qK#$΢jO"|5aXaoROǥnu4Qq\´I.fMBd ܾM; qݧr9j/4yJ{;c6t~03eⵝ | u$_ h?k'VtݟP^ZDA sLo !'uo`X!cc{ MK4t;7n/jgU:Af޴Mا)\>c5ܨ/A:M ,Y]|/aMM lpxdlBn-$1Σ/ɽ2[UkhrsRp WNNґ*_2dV"ak:k3?0nOe£dN }l^&̚kg( Y&])%nLVݷ6urA,gѹ{K$:=4Ӷ&IP{MISOk~A2qOK>eeX5=jcA#—lv, #n=q=`j p?ol6qbom@Kٺp%t$R[!+7O@=BuĴQ{2m3F~)T 5|FRQ'0bCF0+LIBjIXy>{ 0:]B^bЉ,ah#B=D̏ * 遂5stUbS4K"=)_2fdh5aڋ U'm Ҳ ħlykмT $JBn~WHχNԺM&‡*Av_~l^p%>0#"s%Y=\Pj.e\@5I}4NRે,5uSK}' < 'pYɩ OB>\laSo'Mk+``ZeUtR*H5?#_MN 9 SK&UIw""ʘCcLwyK~U%Hp1pv)pݸ4D1$\o?Ȓ޺q1S *x=*b 2[<m#]@ÃK 2'ӹѾ.-|1оLC?ʝP,VYa/8{b,7Q6\d2svU GK)% 6B=_Bu1%z_w$@n Ev5U)oDÁ8KvT9I+}J_ $L2H $P9%)`)-* v~Xcc FlZ+@xl+ K L$BRJ wJF p3@fSu_ 즋ƒ?5Gr(}CNlQ +i{HJ.Xau`@VG;%bP}q uRT-ԏ &YPqSԔI$ZsZbA@[_h6dԆ VCI%[*< ǝ[KFsZؗL!DRp` u'٪8q|Ho >CXLWJ-|ۇ x~TJ SV`/Kɱ̖}C;u)CHW%#-N #X1 _).06dW4?xŚrԕsv"m4SLFL>-[QK2l` ۫K;Q7򲊧fg^f~}]n|1YOI=kC@+T Jk;Cܻ T49\uI1. +r[r vO+z~~z%;-}Q)$J M7aBpᄏJHC ^LqY^oqrpbEIMBb,7jx/ڕ+!b ^`^nJ̏췛.з ,lg_\KjyR0fv[8'imbe9@iޖ&w[聨7e,;T̉8|{&c|3֗l s|JoJu"4l zMB0@(Ӌm5w9i+}Đxq4r]13|DΗA* !i;Wdr5,ީr[=OslJOW$2H|(~kjjW2)s[ڰ^- if6f݌a9hxdc~ 2݉q)ȮUKɁ NӄtI}LQ6\JĒGEPwFw`D&nwE+P#jme.|W54 5^LPgB, 6ȋX-ɦrZ|j}ǀyŸ``YLSo.xm`;5M6miNUrrrrbGqd(l d;hYH(!~YnAqzRTKSӳsd}U P3P@"j"| n kN h(P <3^C DX p\M/CRk.68?,/_OIYݽ(9p`gtzWɲ-Zu-]gD36iIB+Fϯ'-*zbA7LZf~Me >?D> s[V M"?:0?R6Q!YhLS^ڒ.A }]$.ˣkD -/+T}Z|XIr.<0k=#H|J2=J ,afg.E0 [m>_07OU^AbY v½eEYYL(mpOFOepwuTw^!V^% L1FǞM!-MJe*sp fЄ:1y4S(vG*՞0S%-:\w=^ng9~tc ikTw,sQl -x{6SnJߨ0n` ' \~0|H҉~U5u ~L|Fף^,Ƨb畉ZSE|4SkZËrĕҜS)< 40(t#yq0o]3`3y{#+hpCH nIzY%!\De)ل iAV=QJB)Cs>U`V_I$34{ol;,`G/ Y\\j2!_3ics>㔶Cas E+'uV-w2$k큂Y0#.pZYs|jk Ydi ~ĝlaW~ JU;#J'OX + H 'Uf☒e0JMLD|IkMDU}O ~ͧ,_hʉ`뭔 Rk-y5tH,^tU(jtHB@QT>sJnƹgJ3W dIS>핎NPҀ;%; u<'h4d0 n%Me$68(̚iq2N◾"DcpCnuWsO«ԓf[1\+ CgVl"UUrwϨY.IҒjʈlxy|-}3Kvui|׉6g^y+F*piv` " {i2><ȣ_ݺ !I$\t A[e#;p dl[WU Jk>WhfΛLJ8 U 8ć "Ao0,tc}CapV5><6Ʊ8Z`%,=Rt?Q/Qه N9ͷv-}^\dV0{Ms51z }|V3gI^|X{Z9K73p$Ar,{|9Gυ O4 iH. Mԍ%V]ZYf*o4v`}s]K;燋kS9VX9QYD72tKN]rûwQ{NװUקHȗt$mkmG]P%앣t5l}ڒzSN9% &`6؇sXhy"L}$+:2&p_6K]ÅCb*==ے"/,.>M(' Y+f^'3F}b4ⵕ~Є _2AG FES=!3δIQh",sUzdV] ^%P̌ɎŠ ^ ㏁x1}(2Dj_?>HGu?; (oZr\墐fUuW"*&̢JiW*K =]Aܥ!*keI*AĸYTT)3Z#ujGbCle4K- ˲؆*w`ڬt^96u_~P2R͝rG1H r2Hl%_ǛY@I> 3KZnc5h#aMgQ1`34U ڛr If&gWۅ}ml#)vgLlŐ߫9BeH&d9z~ *{#8"a7׾Gp/[Es@wMW$Ht+M`Cx&gbرb(6qͅ8Bmp;ڨdi |Um:ь:esٹ Rum`lԒm/ʟT>(k jd6\Ͱ{V3D-U5;&(W)Jm 0CdY,eߧX%}.7?CyAQSॅ#֛/L5}>lDqf;g -{ft\ )Ԝ`F \֓Quk1ź[)Y{~Ua;DD|uZ#cXDZq64"菬 0FDa&^YBe>4S3,Y}ʹC#RCq.Qؿ1e:/M׿V4FGok8ַz䤪ZZ Q,I!5@7\JFJ Z8zexSBw1&]$:v 85rT&j,$8͈Q$ӄQ| gRje_M^@+⧺^zu}Biү l⚒ n8VaJN6 OeuʔVuA]IH0ƈu{dd3`rΝ:yJ6D*^*ZԺ߀eI9l -t ~P qJ 3n73X<ְ:g*toSwMM'ɦn0SÏ5hx^o*G/őd;-B]w][0Eʤ~( myly/#8ejHۏ +_9eB/>/R<0} *Dz _9 Z*:)2RR q:шacNVaqIδ~ įvξq؏THw5E&ɵ1% ޭuF:X(Scv10Fux p༞~4hW2=O>sag dI>8\S)37t,S;'kQGTV̟2Xu|mw \dߏ53UeقI<]guc)ߠq惽?@VٹîyίDtu6Y *Uɘ hlxQc'V& OeN)g߽4mzIY4͹5WO~XиQ KN– iWM:. WI6. 5]k"ѶeR,8)M޷T8&\^u%ܸ /5k8TS,xmbKsZ1ƿaS}4k(0HF,5$Yu&A );뉷Ja`zІ,sȅ!4LL?W&)mO;,Q,"q:/E.3a2Hoކ({pJ8Y]O>Lځ;T7%hR&ZI0gHވ8-B@wC/Ql?'eOnSyKͩPY^7U DK1'V2[ԌnzA+5ʬaf+Go0mwrߞ|,fIco58G 4 <-Vޚhja1:#"TMȩ~nf9 )%V^q!&ڒW2lGRra ȱus2 4@f((sN"FX;\;!FVr{w*>7vDiG >&ʽ4>wmAi@YwY76?hzNwp)nNNpn á;cndT0.*`Bj*ݏ?: < q^P;r$m.Tq(+ƺ=2KU~CDC&zV9{k!=W9rOyXV˘MyO*V i 9A5\I??q=/r8OƯ1A2$$NV;zuZ\ C/HͤzIЭ;}^35_Й[)Eҹ'j˧Z'ւM {݉ck5Zw>G #aTܺ7`Wlμc/|I"n56Ҷ^(BϥGm}þE<0xN^bQ/5xcΎW$U(:R]8ݐ,ۤW޹Āua™B0*Jꣅ‘Mi!=gf,|y6N? :/x?QoD'L]2fRd3_ϟ?g JfNͻpfd]܄7 MGCuK$OR5yCx;ojgtO橏k$# 88Ы-TDhE*q`{Imإ};Pu:S(L{f%zQ}y``" )`FUOV'}j x ky%HI)&rwC\ %Βą5nE?* b>~${HC)!\_`W0C¯Dy޹gњ67S_)/FŸk7]oWuq>0Xta#oۊjcrRA I}' }0ὅ{g)J8 [7LL8D IΜYk'ʽqBʅ.^UiKdK)S1?oOg8 \;o4A1T+˭Ԑ`pnw(; n'#/UEcWZw]%T)J\fD1ubrJ> iq0!2>hlk:X~bACrJ6x׵1|@@|9MH Dkcఁb5~^Y=#Ud ^;UQdQ2p.J juw7bVA:ߔ>4C] Ed7%J[b'7k;Bu/XA啎 7J<6m4Mb$ $,aȢhoHn՘F^m}>y_Q&(^ba|NPAil8S4T~8٘Y}IHB<_¯5i-*{6՗ t:GZapP~΢á-ckĪв6*a|uN"*]6 (?dl:Q_Xµc.gXkpuccϔ SLPQ-Mf [7w$)†O~0S2aܗX)Q>26XxȿZcŗ X'0A\ fd˨_Pׄ*>a+gF75Ͱ/"74Y;TDiZbG}b%e<ed%a~[f H.0_YVꋓ 3ng떴L&"RC$xAX q]B EϒĄ i 7&NǷAmB3aOHH ('vCTd'B wjjV7)R:F%6_ r6ږJ1&{+'ͷ9hiyz] !M |h_l(B MRABs\4m ?|tm*C~S*$5L?BZw7"nſʉ1ɂq+@i`qh/nIQں_ A^vzJ>6t~K&XνВ>(ODK)Dž58 =Q6Fn?1!Zvߋ%RMo 7qh-ա6ОVxp|28qeIT2XrJ6\]Eգ9 W Vk?~u^ ] (5I;9QȦ4 pP߸e a8 ͋YG# L<ꂅyV=]DPee;eIG8ܼ/h +7{ڣYLԓ*tc0N˷լiBFL8|5g<:G pC_*VEآr@L@Va'yLVi{ӒaSz8c^UI&sNR;]b6@U"reރI_>+=w 4ۂ,CqeQ/6lE?3"!Y+~^8cu5IA3ծ3з4 W-L`7C hhZu8+(Rl, XePf;;X#yy:TFXR89T7@`MӺSӟ#W> L{>Eۈv> j~k9 ?>IMʼn{ӕu92>_P#0*Cxi|E7}nSA7P\}lt\,6oԥRjs>+A|CiS4rYQ_D )*3ؓ1 r$8V*jgYZf339d53cb85494aab8ebfd4fbc833fa59e2d14a4620eadff725bc3b05da1385b39718d4bda69cb83 d38c17f13a61f3f3f61d0943e214e1b4c397de15 b289b2d35e21bab3230d78ec88be7bd1d162c47f 13ca33b07ec337fd3c5e98134f977ce2d9a0dd63