SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  S Su%LLl ]/]HOL-Analysis:threads=6elapsed=332.562cpu=1618.896gc=149.992factor=4.877zXZִF! 㨱M]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jlo}oiH@׹x 7Lj ky m(/ꩍ˷8; x3ʅ-5UnptUBuw?Z?#NVH#+<|3(Lkq.XonM;ǗO6)lcz Jg31P9,9Ro\7Ȃ;DAbyLSC_lܯip[@ʻUY=zVE`ކWIr0lݿdߤdn k9G6+R+)!ьL%@4 ^b-q"M#)G솳zro3vfc )eX~? Lb.Za S`Y2PY$Ž,z㭟f2ްbہ^GOxCyG~.IOŶ5"V=IͨkO R6ǀ}z"uƃ HN= ჵp];:߉pHyW8r.,."io^9|9=)CmQz˰ 1V 1O:]vdE Mt05$E2&m$. ʅ_1m|TU/^SXZ[4g^8s+ꑰ̣RDo \KAS2W `u[}ǡh1M14sq#2ȋa%a},Pϔ_T7髴{϶eyd]2 Rlj S R Кg+F_xm\ڒ $YWF=έv׭kt,)f^LMjBܥ1^6Ck?o#Y D^(5ghb;BU+C7R*bKgL)s!Nϝw 2)/7O0P|DUnZM#1ː=te%MK!x<=6ij eOd=,d<ي!]N7'!uh;! 1s{/5QG:-uFj%:Eu?Rvx9z8mIf-T*=]!\ۺ}?olΜ^!kȐbSfé:uJ8~ k?NzNavPw"U?g4YoFRHGɈㄻYUё܈wEpr9 R̩Hr(g¾_pER{ch#%Sr Ur)"CB^9$zЙ9'X抍on.<|+3in~zsi7:JX3Tzk0l{J`i4E6,?[Agqց=Teuw<5zhZ~ 9lg&bEr3Ӆ7CˊJJ_%'0ago 06՘@wǎ ]93>\{|µdw96?bkgq8ΚJ2 !s qcbFd0K& X1A=QL-?"ۜlϑ8'zmZ>yL,9FJf]Š`څU<נ2q7F~4}Uȸ މ܂B *M5}fQ3ӚG\yRD3> =3zvR;7nDr13P-[Z6g$ < $g wMDX2TcC{y U[?xY"'9SM{G$V=@ [=Ƃ>gYt\}w6-Ց⋝57UP=Wc@RR]j_gɆJE m_HmB  MF=>ɯF(^K{6rhwmYi*8vxn~/ʧH$dbWevDhdRtɽ4d ia1> Blu*ctIm:&rR˹V5#ѻ2F`@:0 ٴeE'9 ýyhG4xkl-Dg<ߣN -Տwec'\Q"x&MB?ѕckռ18PJ>#&x8*E h ~AƲ mFDYucFu8b)>rcBRRP"3ѺSY؞k9pmC9 ++/ (J)}Le ?NКՁ-'pML}{OԢ11$K6,燵3erZ[5*5h4};JTo=]I@avS<˦N_VvJmIŽJ0Erm-~bdhrU60#:Piou"`bJ6~swZ,쐪˜v{?ƗAw^BUQ!Z; T|;Dqzȩ$a-JH%aޕͧ}kjI.RCƺ_QUCZը!>=[w6$r$iK  hB4S(zd3F1 WOS[,Ͻ{MB nqػ8(O^h;)(GED㞘A< =yw)(sRPzw"Pc$vMv!ʹ /ꏌWs09d<٭?NJHƴxH#swcYiޮ0REK-9 uv34mXhR4nKBkAH?X1Ivs[*xMI(^&tp@aJ9&$SśoqYBУe>|qFG@k]X )׀접i'q9T~$i2Ɉm狂 U.FElR3%"Ѐ:$[-,z2AbEmZWdֱ'T}~Ψ:XċڢjU^88-e'uNj( C}!3;U h]bpB/A=%[q r!'}*)iD #]a5"n0\D Ɣ~Ȫ$19l|m 6.&s/;"blM7L&+wXs槿LZ7fQ|͸Gc2O9p~Р]&xahN,۷pGVŗtH3W-HR&R4dظvN~dV1MjQk*6Źښ8˒kk@(H\qG &bQ,EʄX1{*ѣu$cxF~&+5+Kr :!9'qZ줠#񎠧#kϻH,2\Xdk>tIjj #JTՀRkqHz7= ĸ|ʸĐ'*k=_*%^fHGskB?| $P;̂OQ!L5'(K|+}7$wFjbg2# nu?{8~.GW 23B*U0ýR$D%Cd V+tP쥓YKTKKu%j8Ï O$.rQo]E2iEy㋺R|8eNL?ݷ,&WdCP+AN9@xco3"19-+aWtz&W &u/"D-'њ7>[&p61xu5!v'؆ٜO-8~&ӟ{_~l MUaKI`ͬ V/AqUbυ} ڑБ͋wR]{':)bۥǖK QΚ}!px̚a_]h6=H$MWH6Y$}lǪc;t"joTϯgs?^hT?Y1}H?sov}HRL2k_n7Ij@QLyG'/1=xFoAwM09^N$0Tҥ9`fژ?=CWM'cs,׊lc lŸiw.{5ǝl^n+t㳂#p|1zyx] =1X̪3!ꆃ~R!l梊UR tD)H:u{O|FM. q,'r<& a;m7q@qa>@~o"\?`&EEYE ʴ;w)dqkF=Q@[wc0YwOTdLdͱ/ )wqΣx=ًt61GJ3^:f%R06-IIju4\F|v!@6gcy%M8l,xH1XƔD.& /N5밉2YR2>>G MyB+ [fzbQ?yP >Tz\g48Z>B {\~L,+VnI)oeS n}G-R4m~=2x|6Gf tMy)M.li0i3xOF+%ƵF,EE*NCxgyeA!f;`QꋑW,?Gyk^BȽTXsQey<""_˽ envg:c } dL3d^?/ \(9 #h[9mp^@o+Z@ޜMXj1OH5k>vah_%N@ ~7[%Sٹ]baD0^{JPB0hnw&]P 6׎}`)AdXGT@? EbFL6G2^||`Ŗrɺ) G=V qYƸYr8]ݿ- !q3ν)ơt3J`籲A|/XXõ _#ZQWAwGR'D)#S](mJy5=S¾N uvm &zXDSwQ.M*r׶ڧSqw;yFr c&U0UE*'$HX]ш2\&9R*XvY>p-䜕ko8$z{[(D⪂uץ M4A,3[F<\(TNmW+Z$^ RUg `3&;ҽc#6Eܺ)C딪v.$P8 gu.N4;*8:Tgb]=Su!k~^P 2;Vct} p?[=nly;ȟupi-i/SeM5ifn )! Z"t3/!&dE'J-J?W=h!?ls׵zn!CάhfN8134cM]'8Wn[u -i#d$q\SճU˲;!DY:dyo`c #p JH%[RQ˽rr8Ms&=9KȹeLwcޚZ`2S6@ún\tob樜Ǜ S> 'tt~}gd[#ʘc.g?%ӹ a2ad_C%27O9Qf ٲ-˳3Fǀ xxFN [3Ou].5\/^HəޯTIX 7i=KR`#S"8nR"D )=lvP);7z"$٥Qy<TZINTRe\]hF4]16P}c0)b~=)Պ҈O-2qgсY|~$aɷm \K mRsYйZÚZĀjOW}(*3wk:k+җ)47H6QmԹKMJ񯄭f[$.*~[PzsKGtqϤ4zu"y5F,vOQ/`e^W9)%YI7hөfjlC<3xB3~m]걹gF3yMg$Or^s>JB:̇}Yi83ۄxǃaH?P*hreѾe{15# ª2E#Q&Bx&_x6%=ۂ`ESM뿛=8*6'b{+ {QTTHPd {׸uEoM&m S.xdP;yz7j8"%Gȵ$Ḿ-WZlfŃߧL Jָpuu`3ľGNdPX)SpK 4< VFjroߨ£kK$14ʲOQhZ0tj;fOcHTӸqMBH3<ژH,! Eߨ "SfPル(=Qå46DIw`x$?' iw,s 칢ψQ\}\~qPyAܷK ئ?I w֙|PMkN-b ՟ 5T@XY:kʰ8I}Y lR+juG'hJCR٤2]7li$ \WëZC?@?[9 x*@5Q&$k!}=?l-}եymP+LWb]c6_:Gs6}>ExNʞC#z%0Ifjr_p4gϯcy6.f1Pzo!$lOmVҽJ}&!&',R A'b7A|B;ޝN2L~^jT7qKC`)Q.'H)|\f:^(jf~.G4ClȈsydq,<6#Jb !7&Ԃ9RT?͋J0~vԻfkpp8>X ˦f s;G9Ʉe+ը q$jk+8xcr/-@Es7oe9Ǧ<5^yA7k&Dsi>{wA 9aV^S y_ʑ` VB%bY5\ݢi ׫$\4dB[]|{fud zTjprq aeG s\BP,/+C,`UW͆@2w \ 1K5<$?uE'OrP'#4*jh$5AMOc`1%RLHk3f.0o.O%^6kO,|\dJ…!f7SS$J==`םmkm7WY$zH1ZΓ>ܞz3'BwS8^w# oqڎW'1nU,X,I6eR >vQ"/xtF_d(*59?b N{e˝ x9 댿tjOQ]8Jh2jȳ-uwiJpXwKXԯ6@ԳkEԫgtgBj`U 2Z2݂uYP%EzA)C>|s O*%/Io=X^pHe`֭PJoȯkFp]rC5*\;uU͉J_QgsrTRaQjhZhNOֽŪ{QH>(GEAH\@E0A¼{rCT.XfT (ű)Ϥ΀@}Lx<W\r:jdS:ݧ L:^.-oCPiȗjt,v,tlOƳ2qNRTFd:ֳ=&>yZ<5AD&5G%GXZU*of q dkR ~Ru,\zT+úaBI~85sa,N騌w_UEbe 69٦ХוdzG3A i] }Fc"ʄC"O]X f"1ᅭ kpb\e+~8#J#d<,3ZSCVc/qYΖ[ Q NSƲ6 d;k$芐c󋗏_Bb=/XbKv(%~Ndʍ )& 06wu&OtSj6\kxPD3Ԃ+?&zRM2 {gP1r KҲ5i-kZ7}hl=caY vry0"%8 [ƪIl[S^4i"Kk5v7"0UoKA$y'V1##oWludt'BHߡ]~iQWzmrVijse6, Fn,c$:uϪ= #@_qp` m=l\F'WMy[q*>6F8'+ uܐ*y,1c>O= o YJקu2#_'﮸pP7 Yx)Z7NpEdA>E"{}See"uiVZ(` +7)=s8SWB0hL;BG)KyFESm$_z"tLy#IHl$l&\@DLyD"]gLhBH8H@!늕 Ư$gd>4{o/iIŃ^WQ`[͸dcbV}2I_JN=st/u7}s(= xGB>Zb]LoB\9E -:jNKNj,:lzؓ::ոzKa\4!(E7(H?\!4>whËE(**0Hw_Ugn]p13%)hr`̢-0~!*Q^ G#PJ6MHYTA~%([~767ꇷy#@Zr:`b|E+A@g &IQX":/-D%#-%>}Bڕ`\0-1>b q+Z@ZUD.g% ?rL 43~K58lo@th3uŭQQF_p⩏crfRJi!o?Ғa^aہ-bnKx8RAkT#.KrwIWaŌiG nƳ|EҰku `B=#ONs(NHJhYvY!)SUC &|R!XO-rp/7 C74u4[l$&%:<ݖTՁwdDmT4ySGC=QrȘHT?3=.幞 v(.ChG;{{(,vdZL,8 #Zt$xUKQ wTl;}rW,T s/ x)xenLq~՞rʻ늻ߖȌ`vGK[fv䭜REpDпÁ&?Y*)f<蛱Ӽ+&@*Mf0uETL7E}LW`z- |Qrǖc&hgzmzee-mR`aF<+nG՝NV4=~s'#$jLt:';궧,89%I{Bl<,i14aj;Bs%֞5s]gD?=gVPiKYZlhF Tݿ1aDRA+ INnDYK Mndtub6'Jar+&GalT1N)z[ CRmx`|htXբ[E 9(-vCZ1/~ lhoyńcڪX2lpV>!u J, hc>69>#*XLxM3-ۀSI~F`:FHmKap؁M{j TЧԿ?v En}a'-5?;̄%̪?Zp~.UhAQ?zR /C-D^|~TzcER{$!* yɟ8r9Vsr_OHTa0;PXJ!;RVx䝬>S&ah>t,65Mg6XnD_}nB,G-{ؒ;BZCZD*0{3_LVxϲ^Bk jx$0ԝFA'bc5Y۴+O?KB/>.)'yA`G&僺qTn)En/,>0GTZfUc#Go  פ[ewaoې~ZcHyΏo0hWkvuY$phEYʦmtƔ4If@:{]qjYY&"҂ UAr?J>$&㜧 ULLAڱ! a.bS5FfoE5Jd??yMv5amT<<6K0>F^}e1O27 otv _,q'*F J+&ѵ ,t>.LDacV}-EwKE)4iӕѾ-_D.'e9b5]]=#P}SP$ɴSWu& O$n(w7Uˍ c3d>I0aYeщ7ͳ%|ɂ1ьfR8$ .H7Wq;[ $nƐ3ABggC,اSgfS8sL櫛 PRhP01ULj8,A6*~^w^٪+|08@}8硁v^ǰQJȁʄ= ;Y׆{/yTO'qp`k9A{1\;A}!JvGpB/]v'_@HH` WdSg5^WbfpDCد и;<= X.<`v[ӕvY6/&g}vn+rNbh5a_W_+0((@q6q9+T=z'>4k,U,F3@9twY dO|.DcK(mfiݶ!7 _Z1W~̚(ҸepT \mt\Z5&\czaW%2,|A{[$ho~O:!pp^@SR>zØ>~}*t,F0wLeqk!BcN-9Q[1>_gGZ)YCtbFb5n> P)Z={c5=d|-"F.x98iLM\2vԠeHyfs>gW-wĶAo=8<禍qv.~@:bAgupZUXZ@+gf$=1D!\3 -*F\oI&Wl̻~ ?_ ZH (:Y#B'.MZ F dcYm7ynNE[ZWzj!*>iI1!`VO䱆 z= ?Y( bCyMd_gTX_3ƚlbRW9K)@g% wtKҫi0_nV5.ș@ͩUg /3XdG =!R*6p:s?OWzֹrjwBCߴfyJ-&c{.l;Obq҈:9?v8o N@>'q1d74Oɮ,ȏ9Yȟ &<"5z7J 䬏qNjt 6:A 'eq{cӊWC} y]P ܸRSQХA(,[EćOz5{.?\OC s95W`\sDdu!ZƍO Ax ֟Mpc\;zFTkV,1'7Xj _;i#QRq[Б$x-#wݾlh rIe- XǑ{1H#Lq yj68g|~h٠}bZcswKͿ ?;$XOg,!ʖ&><r濐y9J {f-qY}ng2PL#m\j: e&PA~]wF c!zZήI4_k%D| q@ 1`ݾX$ gKưj@"3NO}'.HyJu n4CsM2 {zof(*Iw%'AybwN)OŏiЀ*cIƱ@<`O9@"M5\ NIxgJq]ŭ!`O)Wymo"[ =U0O@w}9K5Tŗ)7'K Xg!w|38M [+DnrL) ctX dwIЉE!"RPnL8ܞ=$ǃz]j:͆LUy.-$ 92(1#.)"|EAV́$"fΈ3rUf:u/nNu 1pH@( ΅.,Ȍ[5igD[QzRiEJ^<[ aӏ,UG{_9JO 2GanD>>>AW9W23x/6 @rVz9;85lIy78/<ArFͣe3uT2Vs.Jr `ҵ(6_)&7s6gESճFYc vɼ恊G16(bU#gPp|qi%.[AUjWUBk;{PY/MjWy`Ԑi፣;e`GxBZm }Z(G5޿fH*wnvAmv=dgYZ7zXZִF! #H^]ŗXiɟ1˦r!cHkMeBd4Ԝ=e,`n3B"1Ҏgo;;#w(9JrLR]"t>AhhsEU<1{xؼ`!Fsф "R9Pu 2=Bpz4`?Z7NbWoCCQdrIB' .1BE]$Ak #?RwE`dD|{}X+O)ʾp?<+> jS/l0U.1Uj+ᔆ F(y)pN"W:w?ft{ڮ!5)K}).X86-cݰ Ԑsk% H{ߒ[CY3zNNraͼQVǒ]eGj?Yf MkwQu{CBQ kD!8 7`!pGX4='oGOw4!1,6Hxrj?4u#7+>(ƚ/ ־'2XW)gPKZڠ]^]^;)<zi%{W]AT.otdCQy 9 #"Akws|DYu^b=lN){hrU gk.>ǹLqG&Zf6&$P-wRڟJ&B)  M3eL&ym*C}ذu65>HMX܋~ +}֟'%imnXV4$1N{K %({pJR6J0MOF5jUv}\ոgɼVOa*ږA{8"?DO1mb8ijb00a9@.CZ^]^"1@@ w:Ύ ᷇R}YE9 z]ٱҢsg""<&3FZ[躜G9r@c@ܘ o#0?=*yW&-K8eہwp,O#; MͲAFzS;/\EVhA; q.1Ρޝo//_ Ǜ,2{z6;iNr{PȰ7ZBUFvY2Q{oh9Yv%X?=wà}PqsWˏb+P͵Qh_+Q8cAӶæħRoٶGH~ye2Aq j٩8r^)9OIxݠ^~ ֭SȢ4^zq8앾:/>xA o3bㆶ,Jn\";da{&ƴT2;G㪒[%_TڄVʇwJ+UHR?9euJYC[\`'Q|9uM_1d7dS'aBd!x7k]2KjKǂ(3*yT̀$9{7۴ED#U+ L(p 笧ܲ>{/X%$ *懸9gqx$" B'JG&sFahEʜ%jH&@=dH=S˴r- OֲkF!E t!| O99xBKHGZBnK%/QVٚs]—r_;MhJ<'ԓ&j ح}'M(ikd@;>(+|V(N,Vؤw'B #+\^U뇶'wopi*rc$mk~MMrFgF&xL3,tðͻǾ3/zE&,iX=8fѻhS"sy$[kS,4Mh奭< <+H J@Y"_l_ a_ZqBM5W&wʈ vnl ; ʾ&6'{ PF\@=XBE T"r <3wf 5jQI'X(So' f7AY5hX9o S@LX[qª$RW:xReia&e;Is4>'l]Č r*Nϧ`r9 M( @_d,7Rcsh j^#<y͖cś l<|$R&*u l:չC{:|oifEG4vSڟ[SX7\NM&l[ˇXd`:+@J($eAqt2?-99o , y7q+rНv*z;NvqԹCѓ+>L^Ξv6 @@oЦ!?]*[NrX+4n9`>_ٌwk=(Hg*N9W3.h IS~I*?+S´}B W*\oδQPi7`3/ʳ0b T9BO6eߒ`OSeL^+78( p/M>ʀ@O(4]>w;"d'P@MVB~1LlJ+6Oͷk)&S^_ꚜ̖ KI-:][ܠ  l:c½!My$i?cJ_8NH0ui/?cׇi{Q2xhz3ӎi!2r!rځ&F~x9MP`oXU8iAcZ\y¿ <`zeʦuK2_ nSF+mA2+{B\gеu[!{4H*Q̯˺x'u3Dc5Pd2܁Ly;+_Ϙ^/66&0<*^{fB@L#TBn}kX:J=+#7ܻ{T5Y|xKQ=fx G = Sl!j%& h؊`a4,WzMe++znag {K= ӏ"|a^V N(8{8e%] $YaPSU=:q d2_WeaWS @G>Xz6nB].sAaʝ=zDBL/_ʳ:Z/r/s\G&fڃcfRPDvFE __؆CUca3rx'H'xxOܱ,0Amo |Q Ԅ7J;ml;r9aGql,J"[V!FJxAG& SU𰙍me'LQ_Wa] (K,SoQci}૥c_ ZId6I-qym +k!ҌMdeZ4"C}OP~Ól1R`tEZ}o,kDn:w7s3u/`F5tR,'AvNڿt$D O`u낒vaU =ty *B>u8m-gb\ƍErLNB۶}%BRpƇrʏcnJ#1HҐ}"w!i7K%0+ 3b8{TazkXeGEQ/{> kgYzC>fVJQ0VQьj Pl~xN"{ZIurL`Ǘtr"Y>؟R5⾉.^ZFțȳ12Y&rxQc)lf\Dp͒}mq()ЕOn)oY&ļǀb4 /AYWȍoj3I&a2Q,,բy$d8a :{ |TxW2r&Dr'2WN= L7u|BM& rVͱNFG ]E~&R=墤#K߬6a&ńA߬f8) R+Չȍs/ xAvqSxAW\ [{bG 4VH3 r'o+c6F( QB>Dy:8Bj[ 5%%׍c/ аI3&\^UN"ou|GpRݛ3'%G_mC>'gmE#q9 |&:aWlVd1* o"do0Ktfe?k1Y"̫A7xTiaSgm<586eLLrחi:Mk턿jh',\zü.aQ3"Ȅ ۦzlU(X \D٩+iC6GLyJU.)qh-`N'衜{3Jc'&qifayH!*hy$~4)u6d@d-{m!%8PXֵ#`X! S <܍!/) nչ[l=jᏌk9 i>0_6?$e%l=dSNԕԗ̧`#kQj3y$F}[Է>+>-yxfUBS'6WY22^(0ዔ`#wzGAzcO;x> 5 EHwj h'S>|q +~BYi زx϶ǖxuc;I3/VFu(nm26jb4;zUlݿU!yxO6VTo9e8蒏ί{0[@4x>[@S׭j꠹I4ϗK: ڥ%苫9dkvSS~qM1Q@u2K}z1EoI@ 1k+H%%1c \z'rQ!R ݒLY_|\h$-CWA|jB;ͺBbUX`6/Jblix"NVkG"e.uR:W S3IJ\Ze"Βㆣn|&*>o"4BϟܧhR%(Y0/ۛ=ux ?}TwyVdHb  6tMư8C"0JOd$ˤ;DŽ0ECJQ&=ۅ<͇uh?#.mB5DǵmZæ) I $KP:Hf*pxf>Ձ,17[{ ;+m=Vc:S!H~]~UruM@ŧkyl`3)mfm;C_!e5 瓬lL@ƒyh;Gc$: fĖ'ԙʟ8mzbQ}y4y[P?sRe|>$VӤ[b>CRECj+HcDDnI8r %-o쎭w@)~aiGɽ,9YZ Z2B_~&D\]rl!\%ݎFif6Xin*SB~,S#6lƵ.Ȼo)D"e=d5YK\> Ìrfy_uJr,ti~G󉞞~QYxǕؙ(brU ~YowE(#?>`b|!۾.s:Ŗ81 KOA $$Nwu: C=ihx L7R9on])jW B\!OdkE}TU;D!E A,9d@R :,G('7Qm'_ƏdF0EYB24)>"gTWp>L)LA4fUSCc!V) C)N`zk%6mdaAFMyF@^ΗҔBAOU/y]r%0^C6jOBr~N! кNj>y]; u>#?|b,hQ@x?4>\Cu]4ÒÅQKF.Mh9@@7iMΔ"{xێ5eҦyxg^=Jj1Tsg}zܲ02PdJ{-# áz3PeEJλ pF`ySR*@ ZJTU|;$jZdωy)AAME?ϐ})[1" lN T,g4k@mJ ^r,50whI{|n7p]Eu|Ա s@7rW%\ՄڟͼMbӴqe5?㓁h&S(V{2=UD3E)O> yFpXL y|F^$DOS3|nv|="= pYo or_~ U;bܕnrei^.+"4Z{E(4m^50 So*3YԱU(wX[I3^5ϯ?0&Qx}li>WJVJ_&^]NkgBHT2ەfQ!dž;LdO \?=j4g IiD5>as'(RC-.*[)_Utաr4T!@qA2i*l:a4YL!qs]}\e(%՛Vs%@7ᯤdpDQol͸;1if2(yfhfպ3ֆ4.qeOu٬OK)vTwG)}$2lVi;JEHY%t)ӄED`n[RJSx 6Wf-# y>W`+imMb:' u, O )'x3wprzL]qa1Šca4hg?#pnc-c_ ³]'ˡƠ~ LlwŘ6$ >Z)ף[މ`1z3S/8]lyeO_uN ^Girz*-HЖBMCPBn䃑HoUH5$~&ZgmazU~^TZb{.ϪvJr(,-<)%cf)J@-uq/X~EG ܜBJ3FӬr<7?F5b"_Z<*LʵFvxSGEaF/(!gQT`iZfQ3'ې{_xtu+^~ #Jz4apfѼCQ"rv+3O:5uZ{XBg!%uWxʯ@"T^oQ@8͝k~BC2kۤTo9;T:7$LK#l;szSkEeF(,fFCrm'q"nB֝oz$Ty>;$ A;ӭbӠ^>$k ճqp.%gKwv*ү- þWGDSBx&LrYqP >|\ s{YDz*-t,⮛F.[<r{ d[&3ͦ\uj<ʐ2aw S$/+F"n.bمě@zg%[%&Sq. Ǔ\Li#~SMH!殼XjdmN^ xO>Xau ȼe%#yaY3/cA/ -" eg𿥽 ٨%K<lS,~|f72OU?$0AC_Ð@`?;es58YИʨܔܽk O|Hvȭ6:MpLkrs?W59 ͼdODiR ;q3x8741o}AWC-<6tM1NhACk?@Hꅔ4YhީôS$j*`AlQSEi"|"MlĪRu]0!9-]n29V91\v{,([?[rP{6Av.ռ~8*jۮ~F]1W>(4IulJ yRr^o·_x,nm `Ӵ 6G% #M(>J@k[YH>z_Ce-E.qŠ֣-X6<6c$f[;.GQt$/"i;$DtPM;Mks.8AL5w;I(}2T!}M Ɇ8{XM1 eέ9NR #I[EQt :.\SpWYRb*ܦԩ KT&Q1 GK;Oo1/J_vt̾HPfKaP0gqasd Zrܘ?hP$dD: ܄$Y <:[W&ʟH M,D{Y)۽PPQ<α͊1hc戒={m_6-ieկ0 cŝ֕P&HP+UwRtD2zͥg}HP-7c6+P֚fXn9Sa$kcDzC_(/ Μ;#.Z21t*y]Wpshz滾 U|ee'^Gl5VdI}A_kNw}1oAZOJR v'@"<h XH8O2RdCh597l)q.JKMl,9{/|d"2Ro KlUK8 re).G(ʃ|-KizMw3 82eņмIGk"Q5+\~lJ>,έ֖].ɪ6ʵ+ i+OOxmf늱Al⸎ӎA/Q/O]  b?#'_N(<,i9Jj)<*Z+qߧ\=jh2Չq0lX Wk(%wOvנ0^)>l9R嗃/5''abHv!*?ϴ ^XD"mpƪ^'/{%@}MM)D P='!ui\`T9& $NfaۍhHG{yQpJrm>)] s(9D<ǁEGJ2F]yGr`iԋHu1RJXOq_°@IEk rQƻo!4sa!d‘(|iF4R%fE{# QWjHt؟Τu6w8# #%N$L%uي5*D5\{u;q䤹v82 xL:w wDn"Yy#?#_P4nvqRv[U{ 4ѱ4?Z z'`:Jqgrb])O+ځ9h : S )ިo:gu# c q=SFOHCL֐ZTy;`^}%Qӻ֧tx껓ѿO3@$rg Tz8a` 2#E::`)0pFSW;1ɐgtmrsNy՜-;'6L lLc:; jU滴K_Yc~Eɠ[uD nV渔g2~|EMm qVI> Ix7MIcJ$6z )gj#h_+ aR>][,.IJxŊ 9GX_޷13~s[4g1=ܳ>QּrO\Rh:`Ɲ]x)H}S1ңLf^u_۪xGYv1#e=ycYU"$DŽ1`Kc1yWػZ:ɴBujR(%#v&${mVLr1yUa> l r('oH ,tؒ B5bk3V@^;ޕhrQ0~o2?Ն[l.$,Uƀ&fz$P=V)I|g^L.rF("lo(aoڞD`auP\,|^E\{<*O572Pߖg"KrbL7r`G乱,%#(%Y?f!#1EJp/ nj0Nt{0#'C*ffp쿱 sܧ[楉r?E*gN<~!B۠g0,3;Tz?y5Ok],_O61ofE yJ,xwiB+_"r$S%.V#P{%AVY[rmr[4]|"R(dZBY5ZpӗB#Ś?5+xr^fnbE\FI F6!s:iܝU ՐTo쓐nK@2bxsXv Rl}̾POr42- )6C>&.QpIR QwZdMJ@mT;ڏ,l`Id`/XX۴ͱSx\OxJ qG.]8֔?vZ35 Y ])w!{B=bco8|9"oZbB "y2'=YCA=-]=қP5L)%[8/'/%V%A,Vt4,nE+H}mBm^L2%O]{ebfi!ީ -h+:[OJ?Lt;4D 9cbSg09 BP W=2mTM̰($Ǥ%\IM"rB :(_*$dIJsb}<Πlfd$tJ9zklq?՚߭5*5<(Q 3ƪ TDslwA\[ {Y 1re@8WMSkȃX>B3S ZNkjΨnþ1IߦR4zL%h۞%Ƿ; SUT`C4WP*z7twգZ7 $VouJ+Gh2z/ƻ0ᖟp?EF@ ˎ@N-.|~EJ*k zX'T*XJð&^є #ej-@œ'XPf{炀zwB †zBɣ6-Z){{( <h熹k,?|;&_8*f܍8.+<ފ148h*9m w4iָɃQ5,=F|TйJuOSib=0g(]' kR6Ѩ"t$Jy1)G(=\"^Av6P?izcxg֎/ b22ѵv\k  +ۺdM(@Vcp<+2`B$73waIxnAQa9z3F,'cP%dO"ԞKsY4ծ/K̥"VSf8-T"w1+>jm"=QcHdpw[}S1ݐ#k'`RƚD:;Q 2l^%:n)P 1r QWBг@8A=+c } {Y+G AR`VzM-}ƥE?vA.Ơ?Ui3C=g\.7ֳ a*pl _ʌ ]ygjFȂTLj^ ڤbuhddIM}q%/|IjNk̰$MYӬO. ozx9ڈsq/qe9oRFOdaduM/f ѷԩ$MTūgA&ƒߢxnFC4j)9);Eh o!$:N]5: -R{wW euykto3R $X1C3U$:Ku/Hs$\wb[a酜ga)tOY;@䯅\ B|Ux꡷~*Ʌ5ET֝ϡۺ^ͳǨ2/LF1J! ^K]|<9uߜ5Q'gK o"S|˛W&9#GoANJCtkb9:|?ؒD=5IA;H@6iV6,J0Ҍz*"/[+.}2IG J"yL-ÁUvg-Z~#ѥpǦlY[D'_aYuNWr͇S$ٛҽwkV|yW'"LX所>C>ҡz ICYVu6;7DGzK-u3b|}HW;J\*Yih 5IeqsƜ* tȌ׎ 8v( mKF5t ӌ q|Js?GD'|ɫ3y)xݓ8nK+7|(&Vv:f>uugc)MnvѴH1a8wGXyMU9ODPRTR{_@l޺SQdlNRe][*dzV?}KHЊ|QO+G%R-feekፀʱD0چ^uDJ{T2YBTslW]bBwB~U0Ih0GV|[[E>O(;X)HAR#]ǻDyuy$!`dSqӝ].`3U.E /=;Iٻp0A/`["5~Kq&$`Eq WjlUWVx1(ViɃY)TvYz|}ŷ6kKq!Xh뺩i '݆tTQuEJ1m4Ӟ4 OWwrVZ&u_IE#tVY-;TL*i ;cn)R?p@| \^{X"oصaG&fxY;*֤UIKfOg'wO>jș' <IXNb۸]ol 豼gfUKu舠HwT/`3yo V?b7f"6)Ժк{Ψ Wt3Z-ZpubXPSq8J@Ih[bw n|p~x͓-D.X'Muw._BM1dN0[ɱN^ܪ24왂ڞrfWE=;8|(Rj e}g;mQ Ny5ߵ(.%\{4$E(!LPlPWb`k2 Wiϓ4 !g܏"-ZThlds׏EkmR0a]`SN]GuC627T.mR}wRDcC<{)֮kfr[c+ԲqkHE,bk["| CRʑ)I#L~&'|q|`!D(hW o sb12V/4d۸$_smf,#||^d [flE F"?[jMysKZ KԹ(uReVdo#2* 78ڝoJSu'ël#"axvNe %pX%2G؜/K*_Z7dT[&D8€+]DG|k-<3֛e#>ďrZzz'Y&ll`;Vt9jE|a3Oj8?*ԡҖWVI=׺]a\8p`<ݷwmzI|֘k CP#OsPψNu !ע yKq]m8R`o0N o/+/0.^2kО`Z-ҍD& W3.>OΖCq]@ȁ0έa hA,"eL1̱Wx"9?p$9NAA ׀xEf%8rY0;Jf鄯$h ނ8y2ګusv)|;YO4,{#ZJZ_bj5h['Æ \ԔC@GfZB645" PT/R%"7l)ÿ"Ő=߹`w=PInF \HvW ҧ߉o;wpoQ$#M VM * @d_u5YO%3 %vԎdFS/ 3au5@^|X)pdsҲS g3h>l3f@'ATLsc%ǎBj:[h;@rʣƐrf|~7qЧ䎕^OU@n"oAblˈH gyk5v7m?kR@[2,'|lhMT7sF7L2>m.774hbLBDK?f1 ґ8.BVzDU, ףٷLRGuiCaDp. YF=p K)Re~|wWm);::{}sBrTipڅN JWϾP7P8V 8s7h$r=# 1JDREd\}\}u¦]iZ_]Hɐ\Zj-G8PZYJ6. CӳD]ǿ&pv$_c0GIEAdbSOoi&д/f8#'ӑUH9kN{+y*$miuFR'(j^R27dP>65$|h ߙO]7R}AυU3Nmf8!4VBQHQ=~+-5Otv(7XRo:]G|S" 8)aTmN:U Ct)qRHh7Kdrr&*m@#M%F$/*$>|-ϵ\SQ'uY=o&KũoOzQzגPG;XY_M!''kD@kg$~oj $eZCđR\ôNY&xS=l 趐Bw팡!m? J 4P;'[$z[s47ܻGo=k9aal1V% ?8_0f%.MS0@ ZPpG#Di.|Z̳~$ف噘3=]ߘ9[_P0A^BKH6,ʌq0bؤa 9’KATߑmmhbƎ欞`RWã0ekğmck/'kxڜ QkY%툤QI `)9ǰ 5m>#б~4Ϸzb{6؛ِhrGh!id؍'+B_E0C eԙ/El%xnقϘ&pvuhļ*ߵtJW `03Є!Ƈl\b] ǻags~֑ ¸x~ڡ,p2q5%1n<Z~4C}@× tfDvJM^PcB8$@RH L{y^7l`K-kn4mST_U'>X)u_;KYOoO42Q51=5N=(V Qp1UY@KAdmo?VVwT)~f7cr唒A=iC4\h'33ҭXE.UAv zݞh^[)#*j,Ͱ~ %^@sBj.pN"nCyr1`ck%BPceSֳ8UDEȄ@0V{îŕ5Ԯ%V{Y\iCb`{I$&W.obC@!7Bfr|p jai )6fw٪g:~61t5AٳHЪɌ/㙳{nC r~Q-R$^UYQ]4Ncg݂ȹk[ylWXa$fC+BXxOw;a{d ,*r@<3^ \_1V6N_yGop:m5"ޣFk۹ebAn;$¢aC&'Xtt1sCyp4\p\I`SUtBxcSu7T՛ 1,.}]3T4M>~g)o@*x x@?ї["By+k3FmRR~9(37ߴUDdm{.+o t&;^Dj(7sK"z\~M0cWtL83PTff@}cU$nBA.OPS{n|bHUsH$б@ZXy5?F']ADF?VifKJDPtK$[m pVgI-Mz(' u<&} - U-"WN)o2HӜ UBcq>yET`MOm1B>ZfK@~:"tpFdgV_~{F&i!d%Vn uXunkjѩQoFkx9I96ê?G1n>8'M!քC_]JSL5-#ńQ~ɶn'ȰK4k|;{Zq,C̻rZe{ 5^`S >/jI\5r-leϷٌpR#wHLθ#xr6ݙƘzX Y7o@p.ᙨjhW|(\7jxNC<(~kDUU|P_(౱qE͌T'E &'B-b3< )&OW޸XhMuos胑HFWs3+)aԳGu`O"*F⏯d|\:&`Y*QsQ~TS*>O%dӠBz^<4IIa%}~T_OG%! *)sҴ$Y,Ԧr=c^{@Bw&-`$V+%C? Dk?r.>b P_p[4eR9v, QjsW?sew|XRxubX8hYQ,d1NøCv{ ʹygYZfb2dab5c704d698323cbc7e56a7b8160cdcd203ce216e8eaf6a375ec18ca24b2ce78310b303039d8 9fe695dd2fac74756be62bf1a9c01ff965a54e63f35ebdb459582749800808a3fb58640e06d766b4