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 #d | ]S Psi_Calculi:threads=2elapsed=579.964cpu=1035.496gc=37.864factor=1.797zXZִF! T{]ŗXf1-/6vR[3:CCp w{ uSZ@B_˝X-ƴyѕr\#c0M˄n{Ȕ^F/>&j Q"9NZ ^HZGuYck TғCT Z'P,^*̘ y!= ro4\^۞!'8QHpD'[jhcß3T_~(aȻĤ[eW.|`f%}QUwfJսlhn}8hrhUoAl+Zw $mT@M4o_|^?na ܿ^GUjMB \I%ܦYx03R-ٕ| ,م'Ĭ~hsm fXj ʼnBO/ڣix Җv;VeU@f訨1dIa疨ewH]u#xzưֺԪ. ~o0%/eG* sT|2 X4Ц#(waI.&BZ4?9`ub;0}ʫKɚ լ}= WutlEST4ċ~Ǡ-:P?PXAs5Jef9R>})Hw͛?圵<1hZݎ4zVx6ޞB LSX tƺgPCuoʽ֟!h/PʵQ9S' fbo;g6.o= t9sEX`ӹ־0qϘFpKݖ[w;.b8R ^TU&/|)l]H&3^n) l=*A<$;}aM-X.(1S`r9- YU&TuguVVD$ }gr+P@ eOլLq\P·FF1RXsw;[+]Mo%M\wG|uwOH tF0~\*" O'1n.Ҥ0xDቡݏkpD^ֻN%/hb]ǡ'2A3#G#8uÖ/2yTeM 2;ћi"ɳ,uf(uHɨk ", yF2~P@ %qx+}[8sZ;OkA؁lV^ȻwO0 qV6C|Sp6 $Gy[)yPf/~Ho =t0.#7Bew hwvv!ϡ$M;0PSwVkq~*NȨ,GqD.&Ls3{~UCp,)E$Ϊu(6n4$'?sӶL LٍBy|7.b OY»)g>3 r@X `wqhbE4)B)bߕy]|K :WRXt>7%eh^ܖ"N!_]%Hfe,!%"; 3$ Qpnu˂Va,nxP~q|V53)>t5|gZ0]A 2}nX)9_'p5ʽeˬh/vth$ԭHZʱ "ͮQ>>M{^ʎ( i(!f>Ƭ/LF<~-Am_%sr KiA]5bBÆ[&0/YT0>7y_ә!5?cg5X7'!2 o݊sZ=vȸM,kL 6 n߃uΓ5wl+lKkxxG^~6דhf7+$\w ";T`4ۻ-lŕ-'c'Jo$[ Mv }/ C}׆:߃^_/Yj$jpNs޻jk|GK{rΔ CN,_yxERX67) k:9RS-d's%F-9ŠnN2]QCQGU1E>T yI+; m KFJPɜp1NFoL4'U+!_ vc"b-n 5N"lI|dҦ%},x!ĞɋyWlNK$.ޏv}z0V{XfX W1Oj՟%uͯ"_ ZqEB}yNnd}z`-Uwt,,_*]~j#!,LɹH+_PsTBKwνyx<'*\(#Fr4&~ vˏ3E̛^SzC֯Jjfm|֤ 9.@M/$_5{m`Xr<^̂?cM;#٢`-3, f+E oQ|qP.4'OXBD,_χbS[etL˺㿈#E?)!=t(`+Θ0XA_έ$off^31(3dN-vH/ Q 7)C:$b4|ީ~~yTޡe}H_twO,tT%XIkpV93w(gL;o1oɜ m6Cd5=Êz9V>o'.ݾKlZFoo{\Ed KUj "k|{mld_9.;[HP8 B ѣ6. Ll,*N$SҸTr#ܖ-φ4)POYYЮhGPT` ܾK뙉5 Q]%}zCgX;?)T+@hޏ HBRVwfC|pi,ZB5J!p 2?oMN'61`xX>{(fBpd|NL"M7{ { [:I㠈Nkt_{ʰv- ;:qT>x|ѮF( W2~1 U9"Vm 'd%eJdȶS@R-DG+ցzJ7^p?%7[h}l5oL M8~'v7(Rb1hL-yax<ܗ|p,t8npƟJhl2> [uç#豘qu>?d:)HE:P۝jQfpn-y{I-0ݶdbE) 52*(L'a+⧧r?YD ]* E77ʧlnWS&3~r/ݨiݻ]–X“I{GS)OY[i?BR/G{$͓PR``jy#*+H Gui Q 5[\鯅GD͔?c?W1r>Xthy-MBпCٮ !`c扸% z4Y鴠s-IwjܷUn)N}ZCZkk@B:~YQWWC;R*| . I$y:'4NO^}fØ%TБ;BDj&Zo| 7טz %0!<1hJ96gNc1Y0b竺B2hUzWu&xasr-e P3Xx^-%1_Ï \׾$=-dX#ln9("$py;g$i?&wSr5ZʕLJU4W#oL'Oj_f'<=kr"KTk-NcȫmP`>ZCm4|p敀IhBA&'@5Vwnj,L 77(xĻ6-%S9`ְj-[#yZ{zU-35ra6E_'O01Y\{Jo8ܧciq}'1G0m/1zqp_1P'|{JX0f!Rx17P*c* 3ƬIrOtH&nX5}ׁ=d@#PT9 gPѡy]ݫ7ŊE:`FH^vtPrw[[ Wѭv4%ZP\"=,1Pq& ܪ&XѪ#ҡ_Tlw+2%SR"l$~Q{Lk.ĉT E?Vav{Oi-%0tr-uGL\EĔx~DKˑQnws K^w{ cY S-kMH]і(u-8R9$íé|{k~Y2k 8DCq!ՑpĢZ5 #b?b>L=D?UհU'kVxiCB0 w7^ GdnxBZ"jA8/Y_c[a˗ lPL*LxET?'fJݥ3MVm͕Ŀvv"it65{7?Vs->P#[cy#ߜ֊3|3@MkLŗ8sәBԬ+0 u:xA I߽0A.oBt Tt<1 ,˨7)0B_q@I]iOXfI(13JguџTβv{L"sK OXvJLd%APy,{;qIԓrJL2N,ԟRھ8MSJERǒK#/K^mBq%\H8ᆑNBgC{5I:Tv 6M?lFRIMtL*ˮy&4Rnnhk#ux}/Vׯݒt[ ~P2g.xܷWG8xR7gYZ7zXZִF! ]ŗXiɟ˗̵w'Sɺl!\c!,w.oT +\\^k{6m,r| >lJCLD8CuD@YaMPJs>Ag 0GQ~$xi<*T1~hb}BdlF,,m1x6֊TdtRl&!`xs2 ]\ngnǠL2[('Nn%7]q al}R<`(WݧY?tg6T*9:RYzlM!xh%^89![Z)Pr翓)2wM gޏΒI!La#Ix4tv#Tw;8AV?UqO}M$|! KJ?!o+C;;FNq")6)mCFS^|i 72EU]6JsLڭiZLYt@ ,Q`ًD}FTrJw' C繾;k 5hêFa~\?^e>{j~K#yed܉V7AbEg]t[i`eZΉ d| ao|{Z5X:V|~_30}7gYZ7zXZִF! vw]ŗXi%6St=g;S0UERBr4Nqw%>^.XOϙXWտL!VEKdMػ +%9:Mf>y81cgnS/v;-z7d.LB?-tY 慎;^>j0 Vq@E'x0W25trpmZ yNJ1 j';.D<Phu-r)J]t, o" 3_'CM BAMQV?H\+e ̓m|.@}V2{2)-˦uQ(s$;=S/t AaN. dJ :৞ݠiM=WHSUu*1%3,_U| \!yjVqw(y(瑅vcj&۟ ˶x@~64ίY( <ܙ=9BdMt|~N#g97bw@ Y7$n.UvrTelD77磘#c^Hvy}J/VMh??z󇿸q8 Ϯ.GCԣ09wuث,a&B pi%(]+>䭫 .6cEVTFNg"U%<*H pI*[= 94%+J_oުIcr,fƗbb)31%(VHkHX 3; kM85fY^K.yp:"C(TO*)qRE9_89xdeNKG6srj `#]aos%afI."%l܃'Bu=eƉhDj"?l @+7HGXEY>e׀x;ϣS$neM. aTC57r,H.ܱdHZ!Y̼Q!lE(P:#S?4j+#bpO_4VJN^>=iu6Ahо2QV%Rƫ&O VpTvQ}v [ԷVJܵQ<{dTykqP[!He7Kl Q̔\(څ&@v hzzbH+Aw1Cfuz!_n7*u1 `!y< P uxZ1~[f{ 6w!Q\#㽊di&JViL @}K@\Pē 댎5焪78l7dlbͰ5{鸸-vH̖y_|e$` Ӽ<|%*BRLz&pXJx%U%@ MͪG~ DX7:VK6:3lmMy%bvB;{MKE٬zT5ٹ!:kƼ7gW^R+x+y$*+;·bq0V"n!N/ g#\"zdxgj)fܐFߩ% ;V_ 0dFIJ扚YQ,*L³iLp'3 q%m]d!w`#-( B(IXiCQD翮UON lB<w`J 5"뤫XfڮCnJ%Ca̬5ԝyKy8j%)(]-݈c0sӝxQXnwfXA%wmuvXٸV`PF][TWP]x*@xo+_-oA6x/+"V'lFae({G=` )Q*:̌іGnx+]uUBH5pIEH 4%gWU{ʵQMW2.Bp("L:WiQ 9_*Eϰf<ԞrLbh=^c%RGCCA$SA,T,4]3!ubzD}p?h`'"1Sx .tdW!ɥ!;L*-U.PmF(Vp/.|$5Ju1*J8MASqt1d,ys(UO0]ܲEASTM`Q w pt+SNk}jy3 ( Wr_b$ 7c9/8Cʏ05B+FZISkFK 卼EIȫu\ !<dEr<o*'{ҏ-`@jUͻU,'s**.O›֖n[{Q`綘E}˳,d~IAեti6XZ@x 9*]XWXlcL$߂1/qA幇. >Y?9hb\ n\?+`@0DF4ƸAS<4[ڿP1^DD P%ȑ\et o,]2JHA1l >7 #=e,Xbd 3R@{v;{`PHL4I#id4C {5[T#g&&`=Znuz0c+Y nf |(k ݮ͍₌6Hm`&cXSסuڙu3 I PY s޴(@p )c>lF0A *31]h 7ƳӶ٨o$.b俁O+E򗓀г,[%l"J:+hQĿ'{1*$PVz +eS$5q6KVFFu,dbRԍ,bw]@sLU#fgwUE㠇PtBIpIv%OzXG#GCjG& Ȣ1bgOڷKqQ@$р Qu,ճ0P"M6# 0w<''- t}UƉ+!1$SYcv([Ϫ`9>V\a]8uBrρ k a:]DUv.L3M̓Et|Ԭj;ʜ/}5~oY`؞qF',p;֏R>C!eK6|--\[k(RO;cFyk Pe nuBV3V1,h~mPyQ>sʪ t] *>|3\~>bɹ%k28H%F9 럜3Vy~%1f&^8:iRJ.>kh/@NjQ0@idul7>%9-VXgªߞb #']RPccQﻮ̍;fzP9W:-4V]o\m!V{eAZVO3EnLE븛B,XNc_jkTS-#=7 ~.gY?@$J:E4&- PZY!zBy`FB!簠fT >Ķ4Tq nrp-C74L#g6b5cnndBriNHD^9iqO@iRNTסsHo1#3e\Vm GhZe^3Nk1zIlk7X{a*(J|yrDj!wnO  +f_%Mu 1f ,F;W)N*#L0ψ!Mqfqu'FyuhHaG,05r0~kPq!v\骏T冾G" ez,&őV[D5hW[lʘXD֬)ԎhM磾JerYSvh ցy\8vs˸ѓ1 hxӐ %5W;F*2hl^ު4{>U jCqՙoQdf] jc{(8$}juVcShs-.B ka5Sx[c> 5ܓC~( 9ɋ](I qee} Bȡ5/1S#IxO?ą1ko`:4}LmG:QgvteS3Nd'{'fWPuy-ktdX;a9h|)st;Й]}̠v@r$8a{#(=tRq6ϐnDbb'- B*?{kIDsu azƆ_NeX I?;cPU|%]7Vi*\A:z e$?I1~)AW#/TN* kΉ 8Igwo?vKB^ #ؠ-ո&)aٜ>. NPT +/cQhPA4JV{6 b枾hR8R(N7"[2e5 C;g2e~-opFQ68tj # 猖J㮡X%]DnuY,n PӾ!KeuY ̸A{GK0`$NvMsVmc'YIHkCnᷴHM7M=Tr_H[5_"pLsܮZN`CƩBUsg:g~\H[ej%!q:h·%y\M#-d D}KUdzIJ=3 қiySt(*0i2vZc+P({xKrWG).SO;iMC=x&Aͷsw^3"y7҃=m~dIyYNK,~6âȕC5ODnUnZOꘂ򌨘8m%,~y̤}pzM\8!zHs5*jk8ybqӔ`lah> Wm} Ont{MXSjֽ:^>I0B$@f-\~W`k""ؒ&s6$p&̜S3:e0%NVe&rlbS4\ĝubPn, \Q4 gǪ4p9+)Bos$yZSՍZz}[OO^ŭ37-%5 RRR9DFWTeS~P73t2Q_ YYm[&M~."RQ?ꘊ9f* 7ƀNX5T ]&)s OڷxGT=HCἥnPnz _>;u`hazAGV^h,'yp1ۘQUs+EGKwi-?FyU0,-RGZ X:MaK߆r]-a$; k-&Utbvk楶Tc&ÂvH OTok0ڛrQ}ɡ_K49m1ᷜe [~s=>[3IwlO#Cs2/׃sӦH<xv͔4={3 6hΑ%*uәKZj;FXm$nE! ieiT_Fmg鬚f?<?sю9Ai+۩܇ @Fr{*)12fNZ!j R$ JC0صgo].+!yeB;娖J"fˋ4 |97jyrH.& fkg W}0Z\c/A!e1NqVN|v+ Vyy-v\1Qď"d9Гvɻ]*vf ;59Q-a .+/!*[X dce~ur,co$2'|ƍil1LǏ-5CT^V;Ӹ@; }ƆOŌLJ8O+y> 9b`x|2ŖЌz3"ov~d:ai:hC.i(.9~]X*`(Ef4/?C fqU1Ks Ű}*̨5~ʀ';sۭk""휡'2肉aĽƉ! Pc=!\3u\ ubffHiwP?vu,0m\0/f[1d{B56ށ wWҹlR$gCɵZb Z#t 2a]S?\1?R)7[(mWak l.Ȝ)ÊO]m @Kw` .+&TlѾpR*;%p͈ .eF_Y("MhҙcY'i_k r,vQt0yZG(WU%>3mW~5=.ѢF^S5t plukX*11m;uRvA K.te]F )EO!}HMT᚞n =c&^￾_s9&ߝ HS18Dq}`}",UkA-@' r0̿MV[hԥԛn[2 zACLwʄB H_ussvE(3%4!eq2b\P 8cT@.ZsG5e|4P1 ?},, !^}ȕ rK2WMTr ] ErgB5dXMz*/iSQroAO8wj+Cj*}ǩc1FdX 9!293.ô=0*/U#3LD+]CXt[$O+YAR (Ѭx<ANY変ThuM.|A%[f 7*-nnq7*nBAGlvU]֤n1~Uc3$;J×li @ASۄtcKs8 ,kTHɍ<@reN"9%EpbX$¡Yu)٣hF&F nIqՈ_7SF@}U(f߁hh0=t 4`-`^FbSlvkSņHveW<$X[9%!!<bCזCjUiyq&}͹U w7]}.4C>nY5l͠yĹr7C:!tD6U0 Ue%)ZhV,nŁviWjKǴpABXR&M;L\-^S_4`ORz/XCsEw /]:o* }e}Zʑ} : VLpor55zc}.@=O@ lwmzG TniQ΄~k{4; |ӑй]%7%c{"'Fe]xEF.;UńS~6%GUmU-=dp萄ICn Ӯwxsun.ڪ@A˞El9.zM>uP!sƊBVJg.m> n[ @~ѧ9xfPN!=%WvKfĿ8s@0}><~A5!9a ^"^<\XJ :ǂ)S{89ykEhC.Uu;<űe<;!FH٤9B#xSAH,m~7 84jAv8aE0<'hK̇aR.Yr88je?Wf!W_faӶD8LA( ITIH Y}{o3[yDJKlEˬ_١h]\BhMrSL`l^hFW "~xƒk#R>h*O!^/`)8Ei7'=Ea,l$ٖzmqhʴԒ8dǦ~/Q7-) g1`=PaXz ( 'bfy"vR87N")ԩLMUGz\,IT'O{?[ഷ%[Ȱv1ӻl0C(1ĩ|g/U1e[Fu!Z(8jmjq;aGAeE ?Kam.xuXޜK'R`:LFy"z(ސgn] H}͕0i1GW-~فTCz'd~Ӎ|(W/KiVsM&t R_z[.m{o1rFݵ7WVں*5g@/<ϊnFDLuIN~:\}8@_otI22JI"NNNaٿ,*5mjFخ${$BTUY_?{P:ޖ w  uǝOB6 8â/z H">$_\ϖ;"o3.球1JGU9 F`]$ O㇕ wѬ_&(E]rYr{P ]NLXsԆeM7b.'45+ G?\r넖lNT9k3%­x9p!@dVr!(y~-ߪك:dK@OΥ3Ҷ(WmD'wh|ux۸PEN  #]5Eɂ)b9_pUuoIp3J]Ҽs@cr^>Y6%!,1S%=oܬ"6len.o:j8 ߨ\oۮFRxfݑ1pxVK>j@qdFsC S{g|uHF֘ v6*1u9 N zsǁK wSr5+Fs]<7o[چ%ԋLmbK) {\e}Iut;ܻ\H8nTg"`|}*pE;` \g0+t9!ffХVwVI,D Z,X&h݅DGj4K-+EV΍p|AzO8ɍ(RΐTY#Nͺ(WD6uj_|~|w "~_1VdТ}ia%e$"< Y|_xk MBMhgGm<3éq[IK"pZ, 5/?s\JB eE)k3V| dSi$Fn[gQ-o$]HD'\0-$H:WxVX fĢd.EM!|A4 vFTDmRk>8̴7f1& 7jƒ\$د)hc}2C'd)[ԝ4N?|{fLB]ujkAK.\"贮v|8SũWf=dyPb(FVIHbq'FſtC}++{fsD&~pԃ{E rxfnecdCxW_XGA+u! \uzt$ 011U >nE\lF+$YZlhXŗ\&?#|fJݲԒj%9F3f%G'hpaM~Mc,w7}b{s{w|@9MGwKt#mI;_ze`-H('d\CDNr]Vk2y$QM5 ~`.vtCӪkbnG&:KY 7PcRאpI;+S؈"ubFuDg5Jc(ɫ.L8}0ϢNZ LJ`49OӤT䓽6'g#tg6O0I_$fMAxx>e@Z.N ÄQ|g!Z! vI7W(onҭzo{uj]H l8# &=Tg '햓;] CY4'|xOG0{ܚbkiBG ޿Bg/Qr} 0]dZɣg7[Su2* otK1!|@48->>JR%՗Q#LeFw萝 CJx_<T @9P"YYk G{ AU c 8/N˖yceuq7M%0_:OAkm[AJfV{r@CxW 0ΨdN`>wSg`,w2,-;ŋd,݇m󛟨ց2q.;pu%Z gj]qw`K:Wo>-9[8u>]K^2Ճi bXdOH@9@&c&eKT=hw2A̼/R[+nWfj}dեTh;wjTY|܋Zۜý[m+bFUx lm+u--T,.熍n=*/F>0 o}%gGݑGq׻\nR=aPz7`&!0aKVR|JLe.D bZ/RYO tďyqe2ō-J<&q\X/Rm{q$ԐP h\[W@N>16KqkD~O_u:Qq _WI?,TczEtP*v0CU0>c@9\ Dɬ|V3Aypy칢f b'5^vSﻚ<^)5(FA-U."rBލΑk%S/jUw{ 5ɮz^੥"rT ^ 5~PZ@rh´ҠV /рjA_=oyhX`AԼS+8\T;^PpGq/^X1b,]ޣCo>2v*n>lq*B`}1@?|lٮ|nA ˓Ұ8w 6[qKۤJVH3P%̩V^gae7-c譺!zD \ F{e0<=1+Do@zJ x30&jJ@gܽCJSNGdь"u[x1gMMMh;B`9U: ՁсVyC YY!m.s 'RBtWìwh|&7Y2h5% &rC-}q (]Xz>Ia[¦76yAXmZ_ 4~A:!*Go0mWFo)Xnx"n< _)l+qpN=~>78X[ˬS(W0ލiI=-@X:}H@, L!m 2V'dޭ_4r>hFPL9v̄i$}scSx7@!ik; |aOW P($K4y.DO12BsWuuwۧ+C& IxQG5슐}v%$^i*`)k}C ˦z!ªG6  i@*[B`ncܪEXF诂4(|? L2Q⤓/u80 yP gb`OƹPL*R ZS6*ڗo#f/^Dza0b-o)i>[rih&R=:vSڌ)w=s s .uޥH,]^F]\(ʌ)2>y ;Pм72>Pg&lH^7}hTvXc`@]3m K{ZY?U5O@)`-=loUbt8bK=[8 Oy<-D PRJ),_TIeMu -~hkԸgT'n59w)4< KY,_L0hW$Nm'lFٰo0TWѾQ4Rn;g² TLj E2Wm̯& /ИL8 @(cq2Ђ>\N -:Ih+ϝÍW^)7I7%OaʈVAV4dB9f7.k[S|F~G1{:$% /֎F=ՕaTk2 H,?'5!Hך9:KS/  P"ĠaQheZDs { 65ܷdH` 2sk}_;%-5CEL[k r@+&66u_BRm45'.7jäVsLnZ49#eK1P(Y e\=E]GaD @<!yylSm9JFK#J7CA#ǻѸ 8FqyoP ")V6/>eQ(nCJM Xw>"uTYRdBG ZpT8UojϏ&mƝFu˗ [ب ]^Jr]6_1җ۽bm$`hu1L{k5 cl.x EAIpAvY 5G5l@ n=ïXr~|t 2#5fx0Hޡtqgórk/zliF] PJ}eN@d-Soiԓ>nNV}`XYud).J$zAVIg4:' tPؤ|PtKw@uAnFvܗݝC=BP.Eڄds~ U>&LZ]ya,;cm+rxodMb{E{ƀ!=@l^21Wnاb?#Zzurؿ[ھ`UR[u?i\-}!w~y?>\~Qu\LaXFb A+W}hH{W0j~ꓺɜFڵw1KRuc8}[ Ӳ݇gXԅd0I6!p2x.Vkh$64/dToyKc[^ogvoAlb\>h'ڤ89bȹ7p~pNq<a~\gl[Vy^-i/\>K#~WƗ*v`dD^ģ}m'd0Ii[-r5 (m$yvt@~{ЎpC"ȋ{ȅJU*BNԯc\1dF.LWU٤zfxrQ=3/$r$G8ٷ{SDf$|5&gy GcVrB -ٶ/8 ?7w0 _6fBasz<8(CZz*px+H?sx-7م\88aؒrL.53!f'/Re7옶t2OdJa3DjQ=lr4Mkx"[ǖ@--19ⓉxISWHeXs9t~E d- 5i9*E~TPwaoJGYhc%IbbGd{v+iykQ e8 BT=9Sy[Ŧۚc+$:-&qCtU~m: lQ_9rL&=ĀyT݁U)W;Z|=CMJl=&1Sg&7ր~ڢ,kdLHcyMJ#G4 ^5 R;ltKWNb*dFV]+Ls6pҭu$得-dp2Pd5\wuMhߩr m*4Ycu#"J%NIޭKmpCšT+OZ+P$1ЛrEw2fAG1Xaav͓ˌZdtK_G ׍Z 7R@&D !Jz-h ۩S<>/W1LsU㡛H{w؞t;MwQu".xb d_Ua@ T0SSf쭷=|VPV1ӂgM@u|Rc'I4XqAߞNq~H&=:ޗJea4EzwotyS!IQsdO7pTFmՅ!kkiTag\z`G`ߖj/E3}$؄`0U5I XPÎϢ>ϖhgX( .<ŇFeϚW^NS ڥ# Zo2ehDw?c;ē=Z4C5}%n39'TAc{z1LabۨkDBYey1Gy+lc=fJ+Br:ɵW_5dȣ VW<7 Ӈ`U< R|.*`lx:+w~” |o%ysEXW!EZ' >1dY3!J~5i71T,zl?\V +/sz!AI5pֽ?p Wq4 \:1=)vOiHy0O!x#?YolA 6/pRE~~07*XWaJ\3 [qfaS?ʁ^ۗoّ/o!Ic$G`Ԙ-p"_]\%l6IY8s- q` WRx@€X[x;2:aKͅ(X\88!g2/2BscxZm+&\suXIr ͢?"cDx BH" gn Z<9N#O ,8H<՝x]EsH΍ބY&еrݲAZKd'vNXGuJ%No,ڿ^3$ &LU%%l0 \ޫļrA~ʂy?p ,gX K`vj?M ؄Lz;~;0tf(!|̯HD(4| ®TU*ceTht!dVgX'rU$'"աti!إeſw.$JsL!^^? ;ʶ§ȩ \|Nʜ#Wuf'ocOܺ^ԡ Mm a-΍KX8)Quvk!u^H/ֱg;}:y]ǘTcu›~/dG/1̸NRGn4xG#GA[sQ>WN!U_));*+OM OES;n)@>z%u9pKBMvѱ%W 4 XPx%\LI3vN z6橡 P5Ml$Xw0v6AYn Z0ȓ'0{N2ӀX54!J't "(Ө Bii$w`s>% = %yNUX H]H Z+[8D 8|:MFvdzUS-XNJ5j2Rw cqmj sn5W\@~H{)=cB}h>\C+찌)k! 9U gDjM7I@źZ̰| !)YȺ:1F 6hOu;¼x!ěR #*wMQ×>ܛ4,WX{oތ+*˷BX'BD -M̽Kk,ᴠ}KvY;E#8їatMI]BIn?{" *b - ) Frth!Lc~ % lg7H ՗8n1”k('w͡lȂO);ҖcXc0 $͠0P-_f'ߚ MãF(0NrR$(S`;6!y8N .`+>LG뮬Lǻ_G$"O(^[BMyɕyV ez~l2frs:B9Ho.\g tm,aHDm/~~ u3|GpjB9tsy5Fp xQ)X(u[;svuI('Y ʣ |/%d@پIil;.щE=v>>A9Hw|ͻ5+氶zfrŽbn<+ )E ;dqm|oI%w䙦o>NEkh1eG.-SOGخ|'IBG4|vY|uYؼ/GG!#[mv>LF4a],tK\:B[mə)qm¨8n tBH2D%>`Lq j7v~vI8a]a)P;˯Bixdw'킖Nj%pEZJWRߥ&Ua}R@Bђ0JyPE *(6VOXM?W_-=Ţ5E1=qwޛ6sUĦ2!hKe{;0MKp8>Bb+ԇ/Zh܊ngad G@vx0 +qPV $JB{ZU;U#QnVFNy=оHN؅<&d-/μ*S9SU|}ʥDD0fl/5~ ztbunofG|,M;Vpk$d`uu%3 NjIP_τ\Nnm\,r~->QK~sxEB!kJQr\:ΡoH+L\ 3l"ȉRņ)͓|ZK,Vf-zc6Ƀ 8qio&wAoBxRl}صa8`*SuF젞0RtznJhߓ|;9PN2aəAd3>q?<8F"Pwᣱ.Y6 )dz3bf=c=v/VDk|K < '^jORJ׃67ɕ Z#D^wIɗ;tH'r?ZVB:ѻtX^Kpm&zHcx#oS+Z>N9ciZ͕ @UA<*Y+h%ZHx 3nl0H4DA2`S&!^WJ7kψB5B$w϶Aw.@ OLzKt [&~4ۊEx4зҙ49|(f9: :(㡇ȅGB~3+ȅ*օb Yr%<"cOy?Hi˙ljժ3~TI 8}ͪ J6 q"PL`RQҎ-|3B0:@h#]/Va& qS*\$U?4dԺbڀ \Z !vcrUH$@ʷ3*nZX^ c>4SN&Zs9ulX-y^—(ޖ*~/mO+m, z2 RfjʦA1ku1h0`}uf ٔ6gr'mRwx|0M榷zGބȌO=q!T&'_6 ܗ.GѕcEe@Ac \Imװ D"-h gNv[+o$a'+RM/#K\[kbk04,2`f Bu*B 7A{{H.-Pv}^>K? Zati|%;q|̋ލDt^eOWኂx Ӟ?LG3[?WY==dku9rv`h[Ēa$Gzq$68Xy13TuCۊֺ{\@$ Ä7/kRExѼl]~7;Zh'ܩl'g%22^:IuY}QN| 7Z+(nK9E- /y Im'k.;!Bbxbt]1BlwlƖTYUBpK?hEx*[ @0M[$#[Yv+g> x@ ~RɊ@ɒByc _vi 7`6$i&x`~h ׭|+^:;; -NlIGːQ=fX+ǥJ8 չ6q2ћq ϟp-m KNuW+TdWBZ7 9S5VWAUDZ79h 9VcTkawokn0aǕȃq"yLFZnv௴rztuTZя9"Ƈ;kjFr3<3p~7QE ;(?ECZ\ܫkE7U} ԁ!xɼ =3ud'؅p赈!ja)s|hn7 #\" |3hj}e-sM<ov}GuʫE.ޭ>V2H˖ @Ȏlx`'~G$m%Oky"KW_+bmr%^m]\tOcV?Ih3x 6;{^Ӂo81 Buų$wZ-b; +V8+d;b*!dUCKɹW֧r%\!Sc鶏sV9$ox97caOw"d21lb^T9]iHöt'"t >%/z7ZVI,n܋J{uGY7Q*smUI!u2ki1Cjײ|h[P8H=TaO jNJlET?'O+T}p<  #GAbg)u٠m䮕˟lM!ADZ@Rۚ1˗w^X1 Jˋf+*zp"Q{~`M'NG&sqvH7/T&E XY {xu@6 Sjhg -zlf̫\嬱(Io#˫;tE9& h鵯I[BN=R1 ;vp&R|[/gnG/}F_Q{lYlcݼ3KͽB͐)|%|gC J%d>fLkƳan~|8HaJiߛ[9.?P{o +gYZ0e876facf0cec016d6f86ff5f10613a8ef8fe3dde70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc a15e9030bb829e65726be753cd6c29a0a343ef2f dc5dec6897c4baa618768b5cef65331eb1c46819