SQLite format 3@ .0:  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 H#tT ]S Psi_Calculi:threads=4elapsed=338.649cpu=1107.680gc=29.268factor=3.277zXZִF! Er]ŗXf[&q?5qcr5];[quqt 9{ȓ@zJ `טwPa1yVLS <>1Okr6 :f0w ,Fp6{#rY1d[3>Uq)+B?6LQKh^e(`V;0>E4)t 1zT:_|szWU7J~ō<6NLvb~2Fƣ:wb\{9+W X·x.W 0ȵxE}iWN!W3Һ^2A( {Ct|^/5 # Psi_Calculi  wö9: m+ D ]HfzMlQ6uBf>۵}uvҐE;%b]{V7[bY<*g>;5F@!(ƶ,~l ~Dwjnz):\u`3*P,;(9U П*֪#d֡E{(kK OjoAr @L2;LܛJ؆4ϰ~'+?p#On}_vьt9 ;R{4U@.7A7O ӕWFCFR4Y׎J(]/zόID1ߌ%o)K=F~2_32`IYJ# §a?Rxy%fLN.sjEUl3e8*aeN|ܱoNg?$^8z2VK=qg<=;k# 901][VFQ[EXDZp:2:B=cpr? CɚfF,ZUxKvg$\ykhB' jm~۴l([,>Juq?UVguPH?LwQ;-M̐B3<qEf% [s77@ C7(¯T& ʻXb2,6:~o0%U aLy66n;#ɷralgȹo/>'t͎Hw37WҀ|C[!{S'vc.;ܠ>ư{lҕ;{1"T 8) ϲqx7~eU.wt\c3V(`HAX74uHE벧r {.߳QL>< M`E %2egM1v!K&-Ʒw\ Oh٧u]>g@6~lAw 9«騤 >-d.U!{[L TV)?q^`Zq}muPmwVꅉ2v+`)*KOcqUHܢ-խ钤E*$%R{xv#?ɧv{](1&DU_R~NZaϨR㎨&ɘhttIZyA ꜇ĕx=M)ʽ7aցbސI.- r܍~ƹQ%GWGgzJN]mW?Nmc&D9$ɟ4萱zWp8F=eӍ1)}\߅}gRnFM ]87d6'7`T'L ԧ6%I sXROf}^sh=hmH|ʛ瀞[6|WQg6Yat)OtzTn*=FY1ɝPx!9^y᳈% yύ-zŹ"k/F =MQ6ɼƧ;)LΗ&Ap/n:Ҧ7C٩]|`&vDf\Ϥ{c fK')8ع03VXQWIh9EGTjyVę/P߿r[ΎF(ICeS 9:,'q Mt ]{}Dot1 {H]diG9bvmuFJ SY79bp#;K!8G(9Y|eշS.-huf ۡ?T2A^uzgKgb"ҡM 5}!~΅ͦi'2dN5 clt30W+p+FcX4 f"$?ܢ~fI̻%\9K;Z-囈GػZӷl ͉\&ZG<MkL]~ Q!0p覐kH*%-J\.Q[K54Y:C^:@q4,`spG9e1yNhV`+Kl,]fWm#wp8t(@_G"*ǩZwXq^i! / Ie,@~jAJ`SCHwEgso]~2e)?]S.! Sq(wQm (HgPdPIn6f\ScMKLoq7X&T_Krqؼ}@^1RjDvRp)fhvh><+pٰ!Kv) XRitͳ5ȇ$8+ 9$n%<%ƒd$"(VYy̿werʹ {JR+G^͡M^^gTqoTWq6.P@V}v$s\WW =ͣDS?@ְFX@#BD.LMz"JۦA ,fA)%[cxkotXc`]q8D@'VJw.*QZqVAxfOψo|u !in,) Lu\ьx+Z> ǻ1E%S">W6%||]/[gnj1-C=ð[oAp{<@<}`(FpC _8of? Bg :ف,rR]ۺs 94_!o$Zj;n57]L=MB 67?.:W9#{TQ2:'@k}3^OZڬA\} Yn@lN$p:B el3 ;tx°+QbiQʗ&Umv}XԱY)R(eQܨR%Ķ`^ݘBV@z0zS O˻k YfO$XBcJjQyYB =DuI^cgD 3켝Y2\2^p1DB}"֡%cǐ9Ob0rf v葍g6ǐ@vʏ ҠI4KTSS*1=T9jsB0a) 3a3|ְW Ҵ9yt,͓U>Bc訿ƾI=po8!_7 4s91׋MPnRρr%Lhk–0$rȮ1ޣ` 鍘# ^°Fg ըhg.3!ɏ/}kOu:QUP!~<@NsOD LY;^t71+UvJQWZjQ[_mJ^&"jS^]^~(MuUPmדUrԪ(k6}W$}^cX+Wոrߒvz`RzZiU5"jמAH2?\WU :Hv5@>/{oqB W CdWd:C Fpy T iѥHdg4mK & I$ޞ~$zU@U[=̱Y.},hvCrunޝlѳy8neX5h\%?X}2e]RK ~v i_2( y95/Wc\ru7d8R݁FY_*aǁ7O/9}i|u gtF!li\h +(o$OBڄij=>|Xա"<'~pP*ݶZn-:Va"taa@vR:A?l5RPО&雫Ѥj@)dgZsdəʖcLCBf[밊UQte,LG 鞒7 rW47.ٚ3ϧ{0z6ŗg3@]}kQ" C#R0)# X3#LU>^7C;BV%dNgi=O%{ jq ;R52 e/2F(ЮFX.g# mG hJ`T:y {?E o_lἪ#c ,Qg.F&p ڽnKHJV p"XTڅF'9udr'.:=x?.j3ij)y8иz)p3i>T#):Д-yRݷ]۟RjpP,xͣϰҁPJl8];fD87ūG/2꒪!$Ax7vBe链ˎuy1DMݹCd] [);%htMMt:yg NW!8/ ACj(8uĭտ54Dw 5>>AБ LzHj>ht' B{Bt00qtI?{XzE . 2cK`|إaN1vt[+t2>)#5U0#)$Um%+uyIY\![̻]OYm.{UXk{+AUs$ TWY~}ıgYZ7zXZִF! o]ŗXi%G:GQ ;j{Tv6PrC(`kǡX=xsg1?V!eΕ`*cYg24z\}dk6x2S$pZ94)ӔZ; Ⱥ]!ZfrgȤYz)W$2X?y@wea &7 #l(L:3v7AH.=#͡A%RJ7vu:쒲9PX8̳#سDh+3!~KT;E )S1(#x`S|M*)2v@buG.J$3Z/_0Th?ͣUs=bBq_A[at?֫3d[LDŽVKd)?6RLY*w[XaLB@NUEg$hvz^oG-ȟpYt.d0 ͝렑7/ě $ͫEn.~uĕ܍m6ϭqTlĔNuK xpMsYm%[NmXi!{ob;e[|{#ԷIƊYKMk\D%ZeO zI_ Q΀BƧΥJO:gm_6z\5H:gԀM5јkU4- Ra~8עc'ydvaz}sЮظR5BѳdAuOW{&8]% &]ô$ts1.>Zе}^ߺߒ%ꋕ$G3*JxYB(~"а!̱{-҅{K1^M8eaHss a=$Žgf$w$+(#ձ|֎%FMB=rrShAtU3 9 OΦFU 0Q+F{̡WsEOU7iBc՚_})a6^o I;WYgI|HNfԳj>조sZQz;(o5oԳCMXyb_Ll]YJzSP>Y=d_)G*%k԰!aibJ\ 'ϐLpσ7vn#./(}f4]rYV`TaBGQհkAn9L ;x>T`I'lIs>S\wTq'DztTEje(ɕf&%O`[ߘ{t qЂ\ J]m[@ݰl5~Ʉd1硹ĄҼ#:Ѧ#Д &BrZ\oM)@k.): 775_leP݁ljY"~(< л V 0>JRxfHK:(MoJ=h50Yss;=18䊞a, 5)YlƩ#9n ? i3Qz;'] \Uxz=%ѧ=+'EDspuZ^<ѥ sZHJl5;gW>Wڞ(退tg$׼U]EedFSꗾik+nҴ+u^f'#G"M&ڂ[yW5 ȬkB*$}:7[BIUǹRA(jfŘ*o:jR^ΉhK:YreΧq @_@Z?q-N.iptz=\E Oz6ZThr$ R}n_͌y; a[!CNDٴqT2X}ЄoHf,DQ.ҕ{q4Ǐwf%kRXM$+EچE|8}pz$kj39Pɋ@ Wt&G^qѷa?ԕ")c?޸xJtq%뇡 r035MX*ځi,G k~RRvlҰM9>e$2lQ`z-d2ZuB-]sn,^1c [k3KH?SvfQ} /T**H"[vFԫ#Q]9`!KFRB9v90tg oSt)'Ac/ |t>ş6Fa9,,CF狼_c_?fVDv 5!=>ΕJt\/j1PB.]ǖ=q60*V^S* rID9Wjsco6 #" '!F7u>2(p3C;J%\s3'f[sN>?å ǾHClvdaئnhi]\@w 9pv䰦($Q篴ԭ 䆢q`酝-ގګ')JYCLɱ)>mTc>*i+ ;PէzTf@" *u{>ND iR~!I,v `ґ%5 SE\\ѷSmift/&pC`lwJd'1 T.S* ;Y3Bv붷s&ؕ *4*5Ou7$C/h$9|U4p CL:bQ[Olţh$ҊLe nel{R2oj[X<[^лm%f~pW*>U v*Sбg&V-^>y!d `r)|4:ǃW$ã5mvˠ3d}/tv|`}_|6&Ҿ&I-x[+TCZ|3rL~nZ٨T9u i:3|<>}LzP 'lB/x8 !BNG@DEژڛ C\]rIO×;(H[pDws͍ }eާ)sAvG~¡S [FKL{otݖA?RƲk ١hwnesQ]mJc"݃r@U x{LA23Ռ?\WsmzSMroVHU7`I}.l 3T-;³֫=sꇨh ~= _Ȏ ȪMxvm^DUj4Gfǒk [B-b.3~Mߢ eK/&]ɟ3h\:`)\6]Ό0O&Lٻ2Bm )iך;q SVD#]ꪍ"2]H[8>AbcZ'H@ZZn3~wqQFB6}g=Vpܚ5"TyF>碶7 sCQp8`35zn,:B:%M܏`ۓbT!~Wd{!ᄛ,I*c⸊8NЪ!u<'^ۦ?w~&۫Vx^H Sjk[Ev (%oҫ}|IBG;#Iw>~ m֖roiҖu+%vZHMbMNJ;6t}Ntm}+Gx:1XtCܤw+zm}Z7q9Kq)9/r{*cR? 6)O\,֚`S2?vsY-I4'6㑈CXCr:h;Hanx @U5gqkRD"04ޝ|;ԸJ<$gf uf}NR#UW$s3kDF h+Afke.&7g%[Kͳ"_3F5hʻ&UT}9f'v6Zz%Gf'LCu*)<?W $Ҡ F_ =˒>}HEV/!J+$pOy۴>(7轆鶗t(7 /rj7u;`4S~Y񉗃Ԗ@ڕomL%:W^;h! V L[3[B7W$Vލ5,2 #NIt3\TdJ Ōڰc+ƍH Uο?@?nwv(C>"𸲯E ī1 0=d C=5KMb+sX73Xڸ6f7`hɩL^imWE{T~Î@ͫ䊔d"l`Lrh/p*y]FXhC{B$6EIB)RDCl/]W{< bRϦ.3?6Co\ ^ksnF4bN!|/EA/ ]1'0 \#to(҃6߶`zin#*U:Zb9Q_Zzl/郓I^'[^i) H *Mi~MQ}[)wtޑŔ^vcWL#-uvC:;PcTxRv ddVƩ恍 nF}tXL  ]dMԤNEIOs}<9sssFMyn?0\BIF6ژ4;>,0% ԙ.M_uWR6>qv&ۨ)>1N~=Ccsg;xShjrq~М0oU=7)\[Jw_[$NazӟpTΣ@vSxQmS)‡8ݠz=VWD;#"(8Z2w!Z;3AXFYv,kBԼRLʦKGT+Du;L$1K=kSrTa{_>vd*kq{$lx*$LOu^%EPcG|]|.$[\.z"O6"Δ9<ģ7*\Lם6,t1CLR8 ס|:Kwtr2xBvo-ّ.e2к |S A_ۓ]`3qBC9i4yAW=M cm5a1=Ny'^h٩8=+zϼ}fWڡ_l"eTjlx?}>0ӯHX?>Թ-PzL$NZws|M[̫uIWL9)ZMwFAy `(4@ [#ֲK7t3XP]dbQ|]X{l9\bkg*Oyo߮P#]r^料c ?Eu{94"@gޛS)L: lX4T cʲF״#A =0-=ii6=oy^5çORIr,vm0kRGO#(9zŤzqR&(<<yƲ~Wp&gavMYBju$ g[OijRQWD&rbH~ۆ0I7?-\K G~ɖiA_ǷP_a V)mK0 VK/ǀfX`Y/g}0\A.eu3Fh&r c|Pp0{PLrK2|Ղ 5#tMjo)?p {z"أ_L0kB.9o[kM0) [:{V~WGe wB{:!wP%KQ7֫0M/a$P?AY)M?Tcjr!lxWow+.{Vѻ0O޶wK PLBѼu(&5U$Pa5ky~-Ϟp?I1,nKdC nu5ט1uX(lQX(T6T7ѱjCu2hWzx@+`ک3P0+S.k%,\Z{w0Z4{Ew$2J_O^FAPΣ3V.kD]ClKVIw"j^ :Mgf75D&H LZ58g}`l(+ |> Tα_=po4ƅ/j>6wFS,ap||E+ϕǸ\' 0@ p"pk7 hu{|s3 h7"sl`KJI@ɺ]V*nG~'l'q< |k]J;r??Q^z1<Tj;klZD+373/\vAXdiK BK޼G\1>QH2|d "H%#~gg%{ڏL4b' 4 <9L d #A)D*ed2+.Wl-=:P9f$F >dǝ}dXh| xYu]N] z @5W˩_rZesITj@iœOųr|Xxds4\x1/,tB;/4 0/^_Ҫ*@;`$`:̎<k?] xGTC؀k0MVoNm- ÐK)ѳ6eU-&&7`Du–sTs\Oz#=`̥}[7e,;gWc5qDW^-v}dm4W^.T7y ,~ Ik։X~j<H 0c[番/Q]7Vi`Q4>3]#G*J;(PZA6{ts(t(K-rTZl enb֬Nq ;ex Pd~?A3T[ܐ tL=(?IiC{P@+Y/:ZE>eG ^IqeBltlaeecrdZ&kzex`~v;LƔwvysC ` Fy$R^o/5L]C? .)rw\|.wD'K" sI2=eV.464bw q뚁Yg PH%8ZθߒZ Wb "XzmCL 9IGRw6eբ< <}OT 4FE{Sugi\ qr3|}ԎC;-C74qm P45Upn ]T VJWZgXJ޴5n|RҷBxb:b Ly-ˌ%݅bəugf0`+Vo7cs7 場.9,ؔ\tnCwd..mK]Im84P^5%#J&>a{}mtD|9OF>;yLC׿8 >=:[%>5PLP Nn|M .>uq:O"7Gq Wv<5E ⏭C8\R9dAs[~Z-v;pRr‚kObJ$Q)ֲ{zbW0NQ7mQ͵:MK =.@7@iF)(;KcE\^Pa/$RGSKL7F_+k`]qIҒTY->ߥWڣ 6E|`:GSӫ0sfOq2&S$<#To@?Lde;Goh&߉vΘtxzJߦUlރ_X.-/C?̙M7:U-T#5Oٍf0 J!y!ΌZU+_[/ô9{T t?`mo ӻ=Ѯ"Ǣ}6.V tsZh)g+Y}4ۡ ݑ!حby "RkAlI:DU1 ssٕu&p '`b422q|HD2Y7S 0sOg4zL@ $\)bt>&!Rfz=8n$B b\;|ͱU҆MGy<Õ輎ȷv.{R_Wdߋ<6SiP>`_C>}*NQFy%Ё&UoU@9f"~ v@'Gj㳡DAg2M8`&)RP7i۠oak-hmN>_)N@ LDI 4*7M)>w<҄ tq8GXL xTGWQHk[@fr):uLkʾ{h'D?_;_A3j&&W{/=Em](5o/+)C|]&OaQ6da& A\"XVʾ^̼'E4U\Dh_Q_ EŠ3KLj"]E*7ơn)A/c6O Y0:'tP\oJRb L!+_ڬB=]ۑ "d45\fUFf4?Wa#@)5z_MFvIm۸9c2^D.;_PНҚ-bʥbi/|8|zW_?j1+`A&'Ъ]I|f:cF~_&\B&ؐ~>}U/4˜,gYvfmF*NAN_@=QzSqGo7{ D\ n;2%uՂD~rLv1qُt[]LJ?Ӕj,s^8w,1W0rZD;K+G[a,AY< ͼגKK s% 5V若`/[m(hރcAa} e 2D c*F`#^I`%ls\/t%tC|KޖR/6RʱxD~YLg̾c/eXº#exhPܽ 1l{X[*(TnRŞ0 QRJb?<]6>D`s`;GNG6gYbM0Zir)W&n{įxM޶OWkq'\̽hU7WR * em}u A0-hj4ik$u5K͞tEE_:Me,)Mx0l'A|Mb|t@uf{H[PA)hJRB0'nV g{u,ۑ_y6xʋF|GV@1lbNG\p>kB.=-J6,`l;fyPv acԽ+hQs2()/VRiiXdQg}ءdҏ2(iSYujPv?`Ǹ<^bORLTꢹ0gξ}^ܡc $1cMI.ߴg%_[q'3ݧ;|].˭$Ľ`;DWp#@ϵ}FA>ǐ94f--,hsٷc`,fZU:c9xo#@R{j \.+O^*at2CHۋX"Kd׺e(yW/ΎzwQj+ND}οD) teDu25}V_*c K˔hw 0RV?+%,uΡ;&EnG> gqge t(K!}[Ebͽo\qP_qNCgDXAq+ag#][O_„Y50++[?NjjNn<#yM؈[!ozp,d.q ӺR$V0!>iGI ~3ܡ279sMɂ6!GwB0)>כDE$THU*Gz5>;n9 .$M%&CuevBB^lM9A@rϠ6uhhÛ5+c4TH֎q׻er4v^@](h*RZ1D̸$=E8j0_dCX SwQyCv7N=~aΥ-v{} ¼t f˝cyK{#BHFƸ{Bp!=}R _~0hb&@ZM3344aH_BtȾyRo!I>nC/]J+IJ.OHe}{*hg|:ۀFM7^w#n$&Ș 2dt̼9/L8&|o& $jhz#7vї`gsPht<'vGj4;lű,ؒ*Gq`8CXG*dL)_֫7py!g[U{䇈ȣh@52,r1{ m}K0 6 w30* wѳd.q{qEphn&ZԎzOC3*>Sd,Cv/avU}F Jb$  bFLTcd{|yviT긃QY^h OKue)-TnbɵlU &'~h-"-Yp(~z\Dit\y%רS? /zŕ,s46bh9[*^댝⧇S?!ծ1cBj2= G^5#N lgY0P4oNQXTܡ'/yLTWreb9} ]y-صY\I{QM1Kd㑪>FL\sU7P>NhGyHOF`pd` TUgØ<~<֘ق_qˬWr]&ɇ58iH/{3 C`xO0$Bw2>5\ 42s5Ii'z\2a(W4:>/y_͠l2|~u:8IDsHxLDlO#Gwg!'^ǵ|sn wZgh,wm17\['pe(_ƪ#BQR)!2SW'@Z?+ /lCrK#6S2J) D` IR}xȏY.p鼃{+3 Xz@o~Fz[ono6 _8K􌁌yIEc?W2΢^^`B]֪Vq2"M="XhGQNEd31`>y+_ɞ,picglU0~lV9?>2p6f5@uUfx\(nSMs"Y06%ae:,$EF;K%1{(8 뒽R(* ďkpul#̐ لc<G0y‰^> pk){!~|ۋx( 4FE$@ʌs-Yl] ^$iSxar% W+o*&_b~ۿ<LDNC#rML6sSb37g0 DY 1bf[cDVH(8Z0Z448,?q=$~ߗ-\YHj9"r9Tyګ ^gqfOS\3,/R,Rd£)ocM@eĢP׋P䥌2>@^Dޤd\`ҳ;@H4eOK r~AbTTD:Z 4)FJ*bZ¸8Shm}xIQjh{6մ!Rss508QkZL:ࣖUqABzu}<&׌MZo%PTA<YSZ;i_M{'2}h2Wp;ﻩZ&i{K!kI@_;;rd8,cn3 ǺJ,Mo,JT\j&=X)]N2ꠜQ18؈Km9v/MlޫrKʁZGkc'h5S%`] *pKiоW_ۄzWAfwX4xQ7ΐ3 t>? YbtSM# @vkLHδa0Gz:Ce'4 `iSjn5*o4W C0K̸}o37LhO+mA?C(U:Ul.=w\UlLރȯ* iW1r)Ig[q{eݒ>FfRlAEH0{V߶|he캣#bOże0QڥI O+:IgƐ?1#-1J.];;;SҸY p|Ιb|qF'Wk?F*2acWZnj+m'vf\Z4d}mSL/97Oy&LFYPhVs,f/\$$vib( "I=GsrR[G-vE!,r 3)4N&jmWv`GR61u!HvB}_ C6.N7yZPft䬷lM-"tr ktO#q 9 sRM 4[b42?,eX8&0i#n UմE;Jr9]JHv`0:KO*FzR&TOڨb+F]hAz?3Tg%{IpҜ1 _F .\A&\ӉuȯY ~QO )aB_\ziApW)0*vkI Q q"ŹMb)y ^&k5?> [;Ð붚qNeܐMFD$؈նsu=40D>XRᚅWWt}{LuAIS%%lZQM|fO-ld-J^D>"nqR Q˼wmv<-/xEՁWLJ(@2L\: &GXB\-"#N ݖ9LI(%wqmn3̀-F3oFTO]4bKRX-'P_a]I64mf¸fi۫JS GϚ^>+p2,ʐ4GF[m3|!gGƷedQZfx!926)5CT9-9 W^r(ٗ]nbRi (UIɱŗ:Sz╞^ue]A< ;Ys-?`dׄIjvg:. $K`d(PcO't]]=NX=Ǯ]ޫbK'㿔xpO)[ 1p 쪆;`>BέXuI |F~] cpw|1tՅ .; IkS>GN,Ea%jҢ$F$,9'buIoynm#f:ԙs93IFHf!޻Í *Qfw=gq0Bzxzԡ=WDwRj@[570P^- D/a <\.pnÇĦƄc_Uo#'f ~±t\ɼmwzƿZ p <{žzZCpS5oUJرy  06W7\'I"+d~4"EF/%-'#b^ITnQwWY>1$0B!t^զ'RɋEjO\8U!feDa%HTW" b`}f䷟mz.o!;y?\ȯ-2SJS:H]չ)_5*>NA/b$Xvy>Z 1k4;d8'fiLf_sQvRp2\xץO/}tO a $9Q ;6I]qEbnAx|JNXux^uxI?50d7WW5!8=ǩ},tJ&~wo?؞_97EZ\>Q=2~p}.^D!R `}vє!;nz$Qm.] `RGbKڏYA MRA[jē 9lwExBoCU=(-ux?I;{~pyEJ߶P' Iȷ4U[[4 `'WKݸ7%qz(QJy4-wNb~!Hc#w7hy0N:&b]\E3ϾW.>f4] F)v0xmmfDWg%vq[2t_`E6 ]ռ-& bW*zJNG)*`Y;g@(8ǂV%r;]оZq8Lg2U<R09]?WVt,|I BPip^3 Gc/NDz\;4|3럲ކH|7.j6fyJ쵶)`=K` 8pT?ɺc[rញUnw5`w]r*9ipz4P4P#[ހCΌZ~hqk`_5V,ᙟz4g%\NZT6;z46S`Zmf9eIu 5aE=TxO~Ֆ@9dSF߯Bmk,Ͼf=TqS7x XɼqWZL0D&ZwyڍF+1%қ*U sr]Њ<lR[s9d1vauIMދa8-|{.Ofw쟹:~]S(w]=R[StN\uQq0ogHLO\|mzK I,xA'ɿE3p䦀HwXXd @2K M2ܩN pnvQGs\r I/ˋ,)\h ļ}IT1׊8D)F # 7?%ϷYg !ĥ+l14&MP4#PsPcqƐ;HFl7D3WSl8' L!);|9|͐<λ#M`)ǽ2Y$&|^/0ef}1.`` @Br7jGNIpzYvXcyǔsC"ɁPv\NYxaۘqf%cv:~%똢S,Z~><B\2Il͂2Ȇ^`ׅonf:oU`V,UF"ia";?"uw!5bzk)WȈ|rhcjگJR4MT{VP7+2FK0&=f-psjC]3'4 4Cu&i{ʊWBDؖ\EBk7 p| {ng*{Hr[u]&*9E~ؠ3ly]ufŵm`Vc"|eɖ_)Is5p[7}щC8?U]_jp:ZD&:),؃RL//J. (qק_}IzBЕꟗڡr5o= :֪z x!6C5MUhmG׎ x+ISPW?fp i*}"g~tQؖV xjLJƋ-a,CYK5ѓՖ=1.!o xczPw^F2^n<: ySg8-rȨ RuK}>oF?qZWz3 `=Rp>pB[Z& d0v/ Ev1/h&hpPv5)j!*c'㩗IaA]>ob:“W  nQY8c hj΃Ч7Gիl|R ʐo2CG^#۱1yux 1L>K_2yTXVj t[M0>PKfI~FD\j: (.<|3$ΞtO|;|<-b2W7خ/Qeۡu@:|)ƥ3:ox7#8CC`vqSA{iy) IcNR11?_HGw_zD9^a ,;Y)=7qTva!4rPo~43͋7oViFdk$qq~H/=@`.p]!"ۢH-"Ag+󔆅-[FM52#l0nL@{. TRdj\z$GGp~ǽA% 혧whUFB)FoHjB] P6 )&L1QV4 H]o=&[J%`6 pQiıeNU*yfr ӷ |=sJ9\`o_W 9H<nNծ A#tYX28lz+?@j2Rdߗy9*Ip,eYQ}cL{D蝤W(K<)JZ=k6#TR<= Iԥ%Bm2M7MK":1Rɕ45K"kyp8]b t@`9[91݃OQ3G #sy,z:OlV6_}<esTnӖ?e鷨aaKE"Br/ߋ5!zkd%!e@Eg} TvNPrU45,pj,tЎ|d 1QbpN#VO$1t`1Vg(T fz zr&P'F@Ѻ 984L ~"fJ\DH3?BБ PMUeޅ}Xc}wSo?1N`-J>gba6 ۻᖃo\9YBjޕDGƽ 9N:#kDԏQ@ed8laɈK6|ڛnykkwŶ% \j;%`<ֹa}Q4R4V<޽:0W:'܅Vn>RnmavBkw  @X=Tbn}7 WI.2/yLc)`䳧)*Lfhp}\j͛IMnl)E|MV .GFpP@TLbca} T?\ҿ͆Ma(>ϯ3(.{nLMz_8eȑRѮA&c4Zw= N馪ŶsiIWk56T Mjɮ#5Kf|[PGàf׊C4!MQ%8{HIov!?'J<*&5JMa5g#40PAX[{RDGhb t;)SJvv|X֝׶w4rq}7yI:>#^gPA䒌ARt|PmH|g,Tg{ͯ}cʤ,zOPqE3LSt^Q,Rs3UizBZ07qOûxcE_/Iګ[j*A^bMff9nKPquO&)䴒O;{@O j{'l uac+ . s3K֜V>G 9b+},Bl oXSRAWܯY!=Z}fq,!05~3=V 3/2p$IxYWh4އP,)hG*t"kQ!UM|<ԇAnsm`  (GQ gt=$Q:4uQ9p}Xeָ)3IʮOh>˲'V?Qa :7drVWNݦ ΧxfS,JePI wc U$sꥸ%VrD`:mٖqq&F\40b]D'S~t 4pWtx$jy~S+Q9֎==W86݃߉\07XbŘKSFͳ kE=jXjma'}6q \ۀp[[ؚ5zv̀!_g,O4=mo׎iKn5%C cAÚpiY\|?۲ Y8ZJECBiluD NzU!||^|z+zJfM/@1(^E"~by32r]BnWYcV ]HA m,= 8N8;JT)Vɥyk^v`u5 ''B=skĩޥ Ŧxҡ,<_א>CrԴ7C0@\}\v~is(|ch3uL{XA\G_ !>~٨iv8i΋J bLhotUjyȫAn-p@I&q!b.GǸ `cGz[rh {)kD< L Zw{ RW}ZҴV>f^h&'֨ kf2?=tȆ)~ arɑ&k)% X^3d!^%\.1X2z1)/M^ o)9&Ȧ)ۑvyLX 9 sʞDT &Bq,.,HnwF^<gUwR@y"lR}=|:!<dyc_&;6oiw7`Lֽl,OSݪe{ط4G"kķ34!@ci6<չRI}/Nki-_º!$(ID\~)X~JDϯ C QBUaIFm-s&Fm+<oY_wر+&gލ%Tt~KGвZrP80MyƆ,;UA>z/e9:'%zg<%nLXcwj??7kWcE,/6y|FpVv [Pg:+19vdRp'޺QIcm[Xu#EԮJ1c1@@@M_WՅ4g*Z8hT2aiy|7ݷh)`( CeZ)AX;!܀~we)κqdC_ _ՓDӀ;dƣbP&\YH.p7wo}l& >RZ?z{歇F18*Zfca:!pl;.ߐRw]e-P0*d^J{gYZb05890db745281617534e3a5ee49bd302c6ddb074b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 17d03261cfa6b3f7a3b00fc6599df4c0af151fd9 1442fef2bd08c12a690c30fcec5d963d75c39fe6