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 <7|t ]/]MSO_Regex_Equivalence:threads=2elapsed=828.047cpu=1072.080gc=40.780factor=1.297zXZִF! ༦6]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jkNS-M"o߷Fwf9 znED|;&cY[a( 1<|Q֜岱Q.g >s/?ǎ!aR;C H%/%LB\&b5dxVDz$LN# ʛ^`}|5 lZ B(.,:,~Zz$L#>NVLv{ZcVq3@d͚ðQsV4 ov=kB3XV; jy0@Ǵ(;O:j7(F8բ6:*yD}$ Cת-I\C?I\I֩E*ЀΈYҵ0Ɖ|:+~4ckөꗖ=4Nňu("!=uc6Q3΍rNA藊]⾪b,)ꯈ1qk~[I<%f|uy G*F x2wAH/G&ԑH708jW2J;:⹾21Z#렞G77- F\ ޢ6~~Ja2aA xZUPA3?fxE~FĜz9 '9Agζٺ:r_gټb ڥCh{.N2X G(r[ͣ[y #;\{բG5](LC}8w.>, gH깹X,Y .ҫtONSը@:O*2S -GrptTdaU<'?UT䲕|Q Wc*URppY~BS ,0Y(8% \gCiS0q]w:uCƙ<3XPpn; gX+K<$&I7܅|a0R!C"5^~73ST*什ֱca7z зu5:j5:96lS # Eڦ]q--=ǡ,9}eh =м:u| k6$F(󯖥Cb}rIOxPKP4q%4a4t ?lx ]v{[z0Nׯ q]?A Uf,xC*U|]|aV3q09Ɇ>`f{d5Oe8jk K˅×2C-vijdi&?:ޜ GӶpJMT' ЀhjrH;PxЍ[ y0V׻d6Tq1ti=>L}P#;7gq:WM(@1ylq)vx>UKFax+HhaG2jֺs!ֲtNop;/uM}س$!lHgIJX{v+u/߷ .aI]T x i`X8>u&zRV+n$`bęR0{h2+(Q@*Qcrx:v2GRv~ʧ9\tt]v^.Z=2 wUtq|8^}ʁf aUH]nRAiiv2/POԗcN[/G&c%魜 /rI~Dׁ+usWD3tl$7'F[ɕD#!Ie5vW- "m"P_c\2reWN|A#594- (}ÙO^עy*q^QGY[zLZ_}O-99Z@ 7 MSO_Regex_Equivalenceyi]2k,F0JTר0uzm\/U MaSG'p"O^  ׺{SGnw TEz:+G.RR56ƶVnFB_dK5J{Ԍ.}ǤZ kْ)DC4a;:[[b]Cqܭ5-OSh#3~qtmwGg5n,Q9xC~(C8:<@TUva/K9ޝ懂'ql ՎON?7z EkPVTZ۴SZ 4҇+PO6d=KBN# JfRT<*:?.zzY=Fm9v.î_1_ bȎ`w'D%wU çr߻=ԾER/a͌*YT_?y[ÞCr7y9,꼚ЌZCT[ U-YIJN$p͚09Kk)nrP?qJڕI48JοT ᐼr|s_Vy.q]i/rcQ`3ہ,%zJuks~ۂ)Z(.r : ##:uT4R&D־!v}Wr%\jގ;ND0ȳVlb&g^x3*tMjpWA4PZ<;n}c5VƳ&HV\e1NQ< 1ML4] -9[0=3&nk;3%U[_05U'&4nj[n5Ȗs~;͸| /Ya|siA θ~]1-Sn4&շր8$@/X ~LN'T3W#h3e4V2CI_F4jJ$ZƯfup r*F{;k @z[(}MӪ UuR_SHt]liDy9쪤ʢ&l'2zЄHFL{KgYZ7zXZִF! ]ŗXiɟFTp>>cP$qXLE۵]1 isG}k, Ct+*whHRjU,K/>ZW?2!E,jj8%{N珠_`dkHԮ<]r؋ឬ!w`#$[}c6N8M:/_*TutڵB8vb3]=q\-w9,xȡ7v"0Q\-҆gJ_r zRKl怼ƣ23t~tā~zQ;>?o y\+ʄd;%Gv5xXL`X2ǹFcU>{A`5"ci!%7]GU,ĺVi|`4H}ƃƳʑ#"C_nmzufnF-udBDprz/? *W5bj?coo2gSc YRݨvL88!xD-U2}W@ Sڈ0'A+oV7ߝϔ*Ɖ|نgiIٖ,h0XmI&V؋|G1ܾ#ei8 jgYZ7zXZִF! Dq]ŗXi%92+Jʣ3d&$fA}%O 5N@z D 5_T'}hc\`y j5P[P.9ʓKy ހB^Cx>;eV‹<5/TDVYK8Om'[4u.:4խK#Bf巻&:oܶ?2?>Z#"vPJzes%}|P=`!bݝnu#PI/_Ny+Oe t[yoK5WUKA.VRcF"oU+UD}.suuw;=yv ꅼ!KIǂ gNG(Q'Eأ<{!RYDk6X6^^&~0q>KQ;dNT?Q.f<:UkC௏ ՃR Όk+.9N<;$X5&(:%ݢV(ПY-\@P4-bT=iP篑'SkmДAV¥g"IK6s]3-(GO^H6Sr8yrQ:wIrc׷xer"l*; :a3@dP];z3Yr.)J1<%sv+Nǫ,CYXZ}N[7&mħ aB%AڟA"[~z%Ysq=:VޚBm040Jm5NgD?`=WmRZưzr0R l#B;=wh_PȩAkȗ&fwTVn?)bhlRM Ȅ5ͻ [_q0\ r'7KxbX udB %ڙVGɶ.Zv5RmU{փqP@B^FF c-?4= hàHº,<>6cLO,2˖221qƲPN`ǮIwO:轤~-]|qRfo!:[߼S$TtBfDE!|꒬V- yt2ZJZu aIp#%tg@Z +yW;&(w%zv9%^/BF ;aOQ |[o@M>$c]³rT|'M,TvzA.Iț(A:GZ%h Vo[7hΚ1ݺQq+ΰ:,%INhn뤸A8x>RDWڻ)[p)a ,%5c-˛M%!?[sD lI&)tԈT'lJE28!z7SXK]sbsJ}H c|hy# xUD e8&I ICWM p&/l@=XS׳ Q/8q"s֯]q!a wQfH&tKtZwjn&aLt+RU$iv}O~=f4oa+˟(ݤ:L%;8Ccu.xШ!^"^8u6j#֫°kE`Ir1x[ 45K]s}@@ ShJu))2ovwؤ%uz`vf)qw}BboKK: oXiGΙ+Ğ0@:|eF"s?SopLy}Su~I0{͇q,G!>Mk,$u R$/0LOPYkMSVbCv/lYa;A"kr$ɫa |w&[wz&C SF4̀.Л)[FlW@Har.Me8e-6d{9Н)ex\R% N D u*O WxLdK OϱK}, yDN]{ '_8C?x dN,~i|?,‰ec2T^D~}/ QP$H U^bKk5V7*2x >ebQc"llO},0XJ2(!ȟB]cJ|lZgg??¶*G orȐarRykOc;r&Dk雳;!6X$6ײg/ڇ$h3i3F͇TyxGHqKǣ8ñDZ߇on_(o`d0=2Es> SAMħdr Ƣo7|ܝțk-.LEq2|RM2Pt:N> r6;E[HTf} @9;_@\ *ﮘi0yc;3Q}Iх.8RQf3"eX5ilS5ނ];;^?RioA&J%4_fcۻ w;S 4N0jp+- f5-ǩ~Z_ʵW4ꖔF_[ nLG{2n]}XGoZ6uЋM0eiСycU^#"l-e;@-y'cCI'%z xS 3W9AN?;>[yc0gV+ \PǏc"|2bS 5ypvfu>֋^L] @0 'rAņu{9`1Ӗlf{60Oqe)}fU( p-ݓ*ꣻxƑ 8lЩ~VW I')D߹z4s(HUsx.#7BwY~URn,R](7U^%fK7 ibĮ}1ÀGK2]Umӄ,\SMgѥ؄ KOfG$f:*4~{+:}"3a!]d "/ZE n˜ ϶i˚Mfsg9ն|Qv\g\И 15-<<}?q^`-ݜ(27X|h6QMoDRSo&NYatMh:.@iTol'uPL5iBdNG`}/Qkҗ } ʔ㊑`.<bӵ'^$ks5-oc4L EqcrY5̂r1Pew4,]Rkw͑BrdeLoqdtKV9)A/Π}$ *-w" nZʭ$.8 ]T50\ך*ҏ8tZ$C7 -]KU<,Z.rm5a;1 $!ۆ¿Ig&™cj0X[cƔQ]7L;zfD%#NX$b!}݊ pY<.E:2~ TH*g[@۔PHov ɝY& ukΠ94SM!FC0AIB`ޏ:'t%+`kTLZsQ1Btp([{h^s3N1-9;E䫞>A+ę >*~ K8'ՌDpQb$]X:{L^ӱ/ţ^DDALKOfKPҩ2B QrGTSݣp@,_`Υ x>|#B ݯO" Qb-B"d1(nYE9<N^E*Q/ t > )? &?tcEn_܀2 yi%n-r_ck܎h f&>z ڬ-jIu爳ӣ|f_9#MQN֕oϛ?[hY'%{[A!bb*fQ o"o)\8HO=K遐 ہ'-UX {Oìad^_qsWw|.%B߉I+@QruoLJ&=$Hdzy#P|eCi3>AABřIэkE}كw'y`1dNL_^Cu@|mD2ɲQw]yB1A 5Lz EU.wPsQ6>pv>fCLIV_W!Dr,KA [YU#lv,MJFHR24"1$b槭-k-JNwJm涕qs{>NRm'ɉZ7e&@R9%qK$k(h2(=c~oTT|7nLDx" 8ajsz{ZoVtQziƭܣg.=Ks'3J5qb&VrDqZY$&uD?B†$!o˗=;-W#g :+OORxc^Ty6pE(Z2dUeC@`'UnT@EIfCBœ2%kCzIЙm g2-Uq=  tD ,fgYn!6CHܫz(!DZs{>ףHS`Ի]NfJt%q 5sՄ?פG;I#Q P A 3؅NVvO EzP`y[4{#)w.!E}2s_ N{xWJUlw"vu!LCώ[w'K}0D p2o2g ۙ" 4"ނcXq q~9MM~0&R}.vGo3v{9vn-p\8KPK?!YK5sNTٶMpg[r"OnGG[ X96f䳛bZ'ƪnA`[\QbW(sq܈#ߠ>ݢ;)V|OU%aY}u^G[͜^CkX6`vdWl/17-ZxE'`"]kO⨌Z$FÒ H5S9 >,T/;KjbjeC|Sy3?+AEs}5St"W;W|3D[ * n;Ķfs5 a÷T 8A?XGK#ǖ|S2N &8m)JYyS 49\B-Rd0X{OKC$Kff`dhy"WVb}=$x5 An!~Djogxf%@)!clխG1 ys~1™_ (ۗaNDzW|21 ;xZ,ۺP l[ŸK)G xU䝨W %T'w/.;26]Y*\sw\|mlmjaԠv3AWn!c֯'Tf؊ּIZ %MrDP:?E=ae0[=7A>S竏Q 'm&GG{r®oZ&b5l-L3u P~t) u8^![Sen ";:hHuFyEqXB?s2E^'{5ӹ6n_>`Y@_{2zoIu0oe61gUhkY'Ǽvq$GK:Qw6(7,+ljT''ĺejiDBBi8&~<܋ !צk"G j2ըJc/I@So+c!B4cYy>^{KB*-G_M:L?kYUBaUpRkH>8C3?Iß6/4  eWnI@ kHU[j:%}༾_Fp1jzSIIׂ-XWg'š=R S>:2_]jU>N*d(JLicz5H%.B(jՑ߭v%cd bN8 aWNR(UIk]<i; _3>_#/r3j\Q#v4] d+\3ږ(Ggݶ4 J}3HXUo%:{7G`-#8z?LS5"a i| M͓p%K:eL X^ig*ijs}x XֆR?XV71"cRk+z1+3f+N cp*:~nsYT',GyU}Kf]hWD0 L~.Wi[ؑ)2ůrY/}DOt%H8 yD N \k_@2Z͆d$ը>$Ϩ=taX^;e^)BXش]@::oCr'ޫ7S߲oS[[&_ SgPǮ]Wux(M>ǧMvէmtdh#l F3N ׈">S3~Bx I: SڻBϋS:H{'Q6"3_\tY#@uј񢍯|X2Fʵhhe XT9gHkגkpQu13?6SˮlUW;p3L'~Hl7aۢ\XoTA۩5.debGӹ{'=ԎDsV ]4_b,Doid-Zӈ`@OBɱKi_Nu84tvɍ?\8YNݲ.F`p#qFkfqU""d]>)$/W>/{O9;aR1~F >=_a?lU*m zb*:l@}U.p rۮQmݝu5a-S"KQ0* y9)Wp@f)΁;֊ _\jʅ\6'6zƄm i ]3jdOa uX.fr7Ouׁ3M` W;4 ;*^ϓށek՗OT(wjO\$h i'y1uh{'Q]vRn՞ʼnX{Ѻg]FQZ;R1r&D0%\|#QH{4xNzA/Cq&"P_u BN,6SZ+9݆ʔ:͝&WD>hBzuaWб6B0 6pJ4ƀS5npi<m˰yM$d1P)<*RBp|Hvqۓ L 3;;|cσ*K w2> 37EX˝ /inoa7Zj[Nk^aSEW2>Kk5H[s͢ Bl7ET&.1P"pY$sM620肺\q^`F}v N>.x8.5뭯ձrQD^3r~|.,C (hN%d!az o 6' 5f='<`b Q#&;Bd@$)A~Xlw竷tᔆnM[\]&uMs˳YޒZ'q)ofhpJ49H8LÍJYgqd)`lW($ISZl.GD᎟6T뇫`ʲ?ɤmRF5,eʫGb *1xTsnEx%~}t$'Ns.k ewu5 T3 'yt͵ɴ]IuN\lc]}ҵeB[^[4ɉB:" cxBo~5rmP_eQjҷőhhB=ń?&qv̈kz//֬I6XKAVf"٤VrPnY5I{Nx! ]hF[`tm)fi/ =5oh|_0 [1 ͏||?%D/aAmJL7Jh/N*1/IQ}VDrS=MZw8OW+0o{2K9(Bzv)/C8s?)$a=xx?=H<#V'uHd75= r5?A\-;1xZ߲ ybMXG{sh.N35Jt|osWF. USa:<֧2#Q=`z_}bO"d-5C6]];L;EESPKc z94WuJQxiQ8uآYK~iT (*}ĭp$Űhn"Er;.&k1vac醮x?pNHLzVgzuw<|xf]]\݁d@@v݁;Lէ d֜F8b!Ty?< o;yvxU|*ؕ ?7GU!)s}5WC?3_.* Ks-юX%}?M.xv2Vb]=JEo|> whw/lpatj脑i-y+]Cp& >e$gˆDSԍIcS]"=@z31g4ε›! G<6!܃y9ľ6v z3W[zR=;͔? -@GUQZr 1nW>프EJÖtJT5e DF5hvT+eX񔡋Th6[Hj؎V U8񽦄rtYTVQ9, [!=j/A*rr鿤02tF2ތ(V9m}݇ⷅdevZmU<\VdB9- \bSjoW|iI0+p/U~eEPiyFdl뗏7L;3Qzđ:>0Jx+h6kCKYIN* S&adʄ+]5wn7)j'P Js Nd2 w ls{p}Ns5.5^ݗDd^]|ˢ[q(ۺe)y(2Ge^̑ZXqid.yo-{Gr](" wĞBF1EZ/:+R h4X[M ,O/% 0)~DB~\h~&)#,!͆au?&M5#<^U3;ɤ۟vhvئ1(K&#K>)U,-Zk^m$A"CFц0iqi==AR*psbC?"efNWSu<4hAyRe1M}~otXʵa6%wJyNE.6nMY2~|Ɲ؛󅁝Q)L6w nȗلfQ MsOU_oU>i1ƁV!fU0%:Kd%!ygm6x-y|EWԶ9OPs#̺|O@i"Bm.DhVċ VC\,IE&oT K~?1ʁ~nH))T&(ЉZEQQβQR ִ\"kp_dmDZ0538?@g&2wE68鹹W"S2#VLxogeKH,t!l Szm ,NNPN\Y]%"?)hGě$JOq$>煊-{ oUoc8Myu} ƻAKD wv镍{">,H Ffde11 ..Z|mpD*Vi_iϢbk@iõ_`VxALh+r ¤-I/ Pbq{Q'ܔCѽt} kV?1CtK20CaYa<Kq 3iN3U<' -@Y^vjhTHbvQcZ ::=H(i"0s"(o=riIwe(u/60ubֲJX1)#$U}>8=BMLMKs.{sT)GV,JjfЦG Ifӭ k4wX(k*a^ jkXČ!R@8,cf fvPieF ͆y}Mխ%5Qp 1H.^Y~t\q\woQ-A4E4⨷ ;+('p #M@'xI N>*nj7_u}ބ}q&7[[.2ۗ!.][B5zYmj2Yh 0@ƨlĄ(z IO%ұs,y ]גJ< $Xk-!ᗢ rtrˑ(Sh9!IH}HNY!-sHkTۛ6fͣċ `Oz{T,{{w¤ܩUGޣj;EuQ. mu"w@:~70K=I?3ofDZXUɅt o3A!.pQh }`5c6&7z`pxIr}oѥGVg|9Lmĝxq$n/*'=:R:-| s f1AbYh8TN'\HbPWWՉ@̈//R,m( r@o]|diݗK9$SKۺpjZj1mMݭBռ0xmyx-)Lt6K-M[x䪅:*Bw1F7 w}55{/u}gl(~(<{ N}Ƈ (jkz}v홥Bڸz +$OX9!ٝ5ѲѺLCk*.W#<Ί 2U;J@S%z؟$.g@L] Y ,B\U. I)-:%/q'ۗ['>FI_8<>ֲnjvB4/7B|HX!5VLpRbbͨ@ĀM#B]Skź/7R܉iO@]!2MVU^H[P9@cU c1D[7UpN Wa眈"M`oɳ9񗂔"O49@ #Ek@.8V߳oD=T_z%O* pKykUVQ+]KemH%z m)BE_P4:&ʬ8/Ģz#m \_pux\32@UL8 b.ZІPfʳ[,Na "sDnλ1E8Ȏu^< $E ؜=OMA7]S~tHA?C<$.wuN4]y]gm t]wc* +pxROw'pWˎ0gQJόw\ ܉*s:.}eqlX)!x^}+<1^ïQ[%"k[79jg]ܡ^sщtD)D;39Tj#-ܽm6S 2P? U)q͐Ykn ?l@о_os2HmƑy%xֈ [\" !"9-̗h#:e3Nx|=HO%ۈꈷp@%tqwR2~ QNMq4&v+%[>IKDXUO"?垑>V*5UilaE_L23/@#T3o#p^&i*.Y, af6Rjs?폏ۘB 8k @W670:4_:49%t;-A׏3En}_=\F{ĹxnA= ؔ?r?6HԮNGi]W1hW%rPM :a>ZC ~m6*Q.4Z3 #̺/;zG|L=]7*{e< yJ2S1GVP'(O6kyTZfQ8]Xh6}GIi¢ m*!kG?P5'6O9HbΊ#p0,3h ?הZ{}8ɳfw޷ *$mm>2Ӷ|dt1YU{F~}PػMu5%.@o>UTI @[ql> ̔w\r_Bqޝ#`IrcE>x4))l=ɦeD_ <kV7 }@>Oh+BCaZXcP Ŝ1'Hp !kY/1[:Ncx0$f!Me vFbh' iQaJᆻUVjU,l=D3$A!5DܾO8Ai~&d|9 +/Xy:ɴmf{-#CS&AMD- / IIRVك[ IE`P?\$ni FIUX"4ҿ<>1Svk{j7**9aul\)L=d,¨}Ђ]y+є{ :MXyV_|5FNVP>(5۰`5Z0-`KEIݒX^-d}HFـu{:~NQHOOZA}/9|aag#3X"R/gL]%08JZ w͇ j%0}$fƜߐ',q3l*o"yJ30$YM},&PǦ]N9n9Iv#Q-%eO e$LpR1}B%ۿ> _!͏~:9EȀ8Tg뺶(U"A~{B[yAX7G7(WE69XdneN[>)G؍~|pOj yQㆥSFD]0):*ұpbInɦծ?ˤv9=3R=xX1'FbSYgP-24.E8+g 8J|ʥUbQiȰ*dڅlxl("l2ps;ZZp [7 * [4 /R s]6t!Iz՟E  5s-/ZZT \aKh6ՠ}x{g~Ld[xRh<!Sՙ43U5hv00qj˱]^4{sЬpFɽ/c$.`}Ax5CJڿ.k7[aB|$-%$;do}?4)*b%׿ uL*|b+*@b@OP6I4s4 bKyA;t'c`PZW[QӯulS?GtLZ8Ekߢ=a{S_PZaTA & <w Zf[?s{?!Ld.Pр2Ndl秃 T@$གN蛐 Ζ=$eluaMW}V$ڮ)=0D(%/˧P %WSZY(Y/F>ζe6N`fĆ? "39FgC9b&ciȣ醙!PkdI藊i(μƭ}WQû6HK `*dƈBC#YwfHcXDBf C;ye~_W6namQ!'I!pI ޮ7σM9s`,j8ΥYhn,\DrA'APXkFDtaN]t8)H[BucQnjU҆FL6+o; m|:mH@a;ܠgbtq|zÜ~p}0XJ4"rP9&u(] eH%TFw -9Hy"b2\k&wf/9h1mo@5zrer Ovr;9nϽUkzz΃U~oc#?j{tQqۈ$W]۟LkszBzIp+k%k=qC n8t^@34EơWc1~ơc☈J"Xi(lw78|:_9ܫS,Um}e t+'@&gOriY3gܫ#>`T y$N}hcrwG34Ɂo5ppU:LE3m% zc2p<Ng%+LFtU;@~4<~Y,W0[QAé5z~%ty]:Ƚ[Lx2D˽nS!%^*`x0(ri㚸mj]YVȜѰJ۝D.j~<ڨPzwIuc"J.zr4ea9Ih/ZdD!=gZ~2WY"m$Mq|C=)Y3I/ `$vug86f TڭU--@N9 @ȨzZʢ9carwCRQQ %*f>p/CM|6E[@24m w,c%4_T$c+8,AZލj&T\(!vH4,iiI+ae1^}jop hdv[6`ō(6z~7oA4i'‡)IDq/>D^Y)0`j0xյWu-VG)X3o1m VW÷eZQRv"fҶf7?: C^B":K $[LpHMZZ\d.~N4L6wݎjrT$ %;)>Uiѭt ^q}A<|K\6偽E6\?qoucJޏ\ NZNMmwa9k&v#iJw ,ƃ9kg]f|ӑ{뮺+hAfTK\m@AIo{ՒTdN}wyq{ENJ-%4NoG]WoqKрIX1]_!O`\geSm #%9t{ijVWHE꾊V: %e,?@ecm-(JovHAU#򂹢Z[O}Z| 6k>dIԏgNa?PY~5\A٭a(xh!B &O"8 א\6@&eS0RLwIE=9g?gOzK,MmI=k5蛺B`r@M~sk,U/)|w7p`<%M@[oG Q\,v#§JNY#6B-̈'z }?%aMEȓt($%xUDL\Эlte)p7\39?F"sGi@L9A]`)q(;~Fއ/&MX( !)ŕ9\&e=]o<^VN]s`Z6l2*4(^Iwݝ4ͿPR %h 7@ v/P9cP!t$ _/X [cQ(ٍ$-Ubm ؾyㅮNi59Ͳ?*vVE 5fj3T{'hÉTJ— Q~^8M~75"VS4NیO*;Qٵ8ǟр+ۖҩT>P#"ۋT$2eG!ÙIv*O5d.%3#6?aYXwtl伌aOXk {oaBo4lƯ#՝. MPH:}I8XS#?') vRx/r| <ψ -#iVυwȨ1ǽ t1j} 3V;&)0j?[j}2Q%ڧ %=ye>(Z]~y7C5RRoV`-Xrph$cJvӯ3 _<(D8x/AqQyٵıobzDUV"/E;3bܒ8X> BZWRz|?0n>]5E2:t=T͙B!(ٶK} ;H}4A8r];{+! {P"so^NIb9|+q6pT}.5R=`{;]Fᤇ8x1b̈8ݧ$ITvT2Yσ? N?^'XN@pڗ +59'4lD^L}}/g7̋Eb/vn,%4F$ Mfx`[u7D; * Q@鄴jpѶ ԥ06`NZif-Ễw:WgobPUڴPSA .}W[29hqBB_z%9gQG5$T_YݜDD087s.`6}1%#X9 \'Ts#4>`.~)RSűfLc4ni4&4 V<ҿ\L?P/5^? mH?O VfIccqNh]ShSFއxTEѦy.ޫ)4ߚHnዓ̔9hM-hI翨Ѓn qR"v ^@Ar&QrgN,m. "Se93 s[Cih)Ly:>7+vK 9W2 ORM1g(| .&M5/ *A/pDw[6|N ޶cSX8qdYC^U ECb3ݸBS^+:83;N3~Q^⠚6 SWjVZXyHѻ^ڣ.aX]{V?ݹsL@\=)X f MXB=F4:fVV^BpD~ c[.zӞry)`*7O4Az'z$他})fW/*]H+.ͩ^v ozV^۝~zDƽj/V+lt trt$@\GJC-Š yw B.q=K><9"*'{HO [K0}Xw3g!f&b@ݽ䎖&'d黗UdTR'$CE h*\ ڥul;怈稘i*b%b@L%W^{a7fWn,9qs_ԗݜx-T}Mb2~P?0E@= |#j<e)C NU &c(R"яCWTnKU+ zDN֘0-BnӧA=Sd9ʟ붂ZPzҏ؝[d @DD6 ;żo.]RAs,o*{J`jE+QΖ\J,$6LLGW 8aW5ȆxTRD`Mc+ߟDY xl:c*CuA֙v;3h0Xfؼ &pM%%F-boӅ2TG)g} $F-ҮQ6_lVWhlJ#"YSț"z"X|Iw`܈)\* e"2#rJSg,12"s l)LBh';^alp) ,t;tKAqMDAII?I

ӥ+u f^I^0 a /䖳Fe.W!&Mo JkVBFfؽmj J'F'MRnN)NpwD/vѤeCfIF/,:V(xk؂; \Y*1-ۑ5Ȫa:p{g۟FTD8@q  nk{_1Bu[[oK|Ff;N-.f{@:l8 o[ pC6!*9u}~pB@wbJO(%8rE !I'NbK|*Ԍ[==i ^9F`Y4>\ )6džCUd= Ů*Rdk * v)cknQTxPGrKЀuOp"Ƌn3 !NXQ)CJ3(~(wtW;)rz0YP)vtc7$("].:'[^݌'! :lyH꺍2oq v#R6.C8d.:}U/\?rjW N鳌AzRIg$xa=4:Xohc`x^4sw5MjFma.g{,xV_tqA_FDBƒJpI'a)X_qCat2yuh,q?@ƖhJVTmPͫ\[t(`G=LbITg 6@M-&6@f'B/sS㋈3 \`~Fn*7ReaUo?XoQ#rl 6!J2nH49(lX& N]t )Q<1[](mR"sO!z+zE.v(B5([*,P異,r˹,6q = 'g^b&S$_$(g"\*9{d#Գ!:ŝ'<3Ov,MP${ 5X>cͤQ&&JHd $ ocbY)`>{Ū\3 upljmtvnЁH`N˩Ϥw,f}߸e9LR#r0yĩDrI*O/cfi%] iq VryW$j(7H}T{mrƝMGP8#ČNm$W a ZynE%"R׆-#MYő#[+l4bjR17jLPNPsX+B8mh^ėRKM$8צ~% /(/P`SAJؑc\~Bxk#90C톹a ?y\wJ,Xл𹌀^p3r0*CiD-NHRzj)\?R$. Lͳ XSxlF D#|q*ހ,-d`%?.?ƙQ8#t= d2{T&""'ujK"r O3*%@sHDMmn\ObUe|KB?x$barmvo*B2QRopPcNd)ǰgT+ewm ն_e3+ .?L||U'y0C-P &á桵iTTW^?b>dΰV)CYuG#Sjqm lv,ۮ\̾νvv v7wt mC𬛾$% hy~P[x([n!qt 鋉ݐ(f;un5i'^J@J # AÜ+G< ZI#a'l*y)2d5eqh{k_D6Eܥ>cYlx4s)]{fƍ} h4>#6g*_$EJ*֎1Ә(KPR_F.lmgBJ -f7f~pzX{b9awbܤ+o#Mlz1e+yW0EcG&Bg@!MGVTȡz"XTpϥG&ۜ+IST<> Bbb,TI㮡1HZ/c Jͺ46Hx/ҿ %2/"+5 e`J>@S/m(Bw00*Cö FΔ[Jʫ`YE5 za_>z}/ROT$[ҩ4gzTXPX 1 Szh3{ T~ړQQ@Ӳx"4&'/ (PCDz3Tvb{ |@1 vR+EɊA+Yy6qcrY\ 6 &U.*FTsMgp5pR=ѥ:UuyoŊs0UA\޷TV; $rK;x-8g:>sIZ#4wA:ĵ!:N(-$18)_yWw|+۹ -S󄌑/0?*B%Z^Џ FrxQd8R bNa Fx.\^P9{Z}x4XMsNr!E^̓FU.DΣJN̠f[}y"X}#;:3x?OA̫O s ܶHiJ+P ;9B&LP2e #&Md4li"9 5J+Na}W!W#V~p[b'ݚPB/5vFh(G`NȤqYPa+"ޜQT%Oq Z DQuAvX}R(ET NB%Ém\#0ߛ5S  EyY7ūƙfwgB}1۷vPd4TSݑsƟl ;wI]_3j R?o`Ѱq_":K"tY{CZ&s5DZUU49e6f7>ܲO!h9Yʑ0xҷ-^j>yؗ *. 9+14/QP3039G'B*RT\uc/P!U*?t R-T`rEY)̥/bVycKE<;XH-abӺȎOz)lqW_( ڹ]AGɨ@n#*Zɓ:wDVv+R+f|+ ,+2\Ey;5MvWt?(X/FDvoQs5!@W;NǘGgY% xh )kNO"NpNӿ |Q[7=; +gя~nfttbo^zuzwbjpz\9qYI֔F왕b%p~M\!q(CݮWZp[D'vlc;QydMK6v_2Bf"BƑQcȩ9s~VO#\x旬(L>*8Z; ""YƂ=K< Z$aJQH|jiy>@md<DRWW@Y%}61I7Dd]4`9s6_4_P;D ,?|v?4Q_X2mU|=b24XŶ.l5VBYGQ֔g(A?z c^]<4mTeSQu-@Zkt2lA &y"Q/\a'ԘYc'; QXS@ݛ?&-oHL]ZEG"hw,C"HZ%#Ѯ}5'm$I/Aއ8y14$M/ Jcujkbrl[m (nΜ"!>%.G֘%5eoG~&uLc= UNv7:Ӧi(GEh)b] <X0[(7dT eFdsߎ/0 Y~(֏WD^x- =vpPn9F^t.}Qk0^r loY5Q ࢪrqvNZ靍