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 07 ]/ MSO_Regex_Equivalence:threads=4elapsed=546.906cpu=1781.800gc=63.996factor=3.267zXZִF! יF]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jm秉lzt3᜗43E`$ YT81CH0?OS3&LDaZxŁ!J]+.!!JTrwEy- f*V_=uNx#gv8=MWwOL C@O'Iy?-$k.m 0{%M^'˃9f+gu;5{+0}i Vy^/XvXYXGkA*PKk'H*$\"o8lj>Qcţ]օ^ubpMgT+))Nѱ+ ?T>=0i#8yF t =x-P˨3 NdԘqH =WBm=:BhMB+O[J~#3ɩ9|r##}.,{{& zלV / $n^ bS>9tZt8Gy{zWP|zU1LJ?[M\*lJD^ScQgsw`cQ=* _O"~*{v(Fh7"lj_0QO3;@0_~}oOI7#k*c)Y(Ud ;r 4ΖZo0?F{$ّsKXl~KSxGYzBk#1XY @1Esi7d7*21c<I:%l2ڿ+է-'?SzfsWY{ TKsT*LI (H|r98 ]eaX^9MSk_" iM~G3JpRu) e&ꕯ^"AfB4aSt⤤`o7@Hְې!"Gv2u# ߐͤ~=2Bc;_hLܧ ] +tIf,ɶNU]+B5΍k<1j u5\`e3yV=qInQC\aH./ӷ4Rtъ.7Ld&Wr" ҺZsK2]K1dhqWo;T"w1wv@ p Fcj[T=8$=˪d',$̾xvdX+z:gvs%v CXL܍>;JPR/j0yg.hUFw m`ZJ&V֧ۨ U^}v!O&O KX1+dU 84 4u CPLbqXy`ջ;2i8Lkh^Vp}^11(7pB;FO8/BUdӝ(6fKP$!"WڌQ⢽iLI2돺F2J՞k"}([A3`òCliM3O:댣J5X'SZjo⮝}GϑdWbM3 /ZjRdB~N*~Y2g޶DC 4|? b!XK)L݊%@69q{i7-Y,r#E1 6!ӈZ;\QAN4cDi:Ht mf`_ϙWU_]u6& !e}2dHH*9D❑Dʴo"r~ ΅2TGKi.SD0 ^cºx?d.^!v ~'WN?$-=zw{a.'i1:/}v}@KV4-ԽY C2ljT]S*B=?IFhpz( m}"G"!1B6L/ I;UI 2)i-,8޷T6EZ:B᫫ qf S@h mѤdž̝S%X0Iڱ5 1?!R*I!vh/!V6< H:ްPt;HTjY%t67a{鬬I338oUY3SllOM,Er`p`oxZ27DSRRV~g`m#ht%9-4g\{oUЙzةCC^˷ K"2`cV{rx;>ρP+~ ]]:܄H]`A!z,b'Am$ɜSQ'+xX(QZ,̈/0;ֻa3 #@ `K!!Lެ]X%ɒ-Z| 2~uw*QFN7\çR1åխ745br+ɓNA27h##yO4VNO$6zgk#$ [!'=&Bo9T{ *&5m#M+N,hE@- vRLZ#@Hb}aj(@8|FA؊B/7[OIU ^:p? gLTtEwϽYs;SɅL(/b֒dm3k/o=_E$eSKx׺O2^ _ݢv ~!nPCyGo h^ Zr~KetˆeM<onh<¡wa,5Xx ÷ea=Xh\np>揪3ի*V&66zI^#oGkIҝbqܫT{w reE"C]עvò᜕Ņ b[4Uk C{ Cށ-?䲰]\GB CHUvrs :={b,*>{4|P*c%:'@Ysyz.7קuvA;K<^z,9s{59;5F%.W{X+d3NwEЕd\rKΑkUn"z?RZq{hw~O}u]u?]Yǧ+Jd'PlH1PSi9R<-hxcx<Vwx"S,74Fj@QBkd|˂n-ImZ Ie\ uc<* HO>-|yvY.:-J&38шM Bܒv pNmQ<"vev{rfo6Q68Aam22*m{=Z{@*uH [j(@Ц9ʏ_yYfGQ՗e "(wXWSR2 oPlPh 8ɻC kS\:kPݿB>cP$qXLE۹ӎiw2No]$]aLdYsaep@#TIy}ܜ 𚔑TPPn.46+~儦)kIۤt2Wa$p63e5+`##Y Ul){̧EՍ [?~\n ^Yմ<N`F=q.ڄ-P:°\R"Ҁx F(@S?k PB #C Nl9&Au:TtGzCD;wPbe_?iHS9͌RB7W$@b#/| '~bBjǑУ&O.W֯%5i&a OV|H[ 2YZK4o^\}0i.iOm[]>v2&0zMKȈ6gT

WS`Q7 =]h՘TRQjGFYDé'4ڡg.o>޸PZ[$ ;͸bu NM0v\AgYZ7zXZִF! ]ŗXi%GbgvZF<kwM*S`_#$.A\6SgAdKDZ#'6O7-"\Ju"% mO_@\Ӌh ~%fw<" G !*춳9%B ;ʴJyS *;|ؕ8_uDaRumCvфo{˷j6+&Ӹ vg&Pl("Wsy8~H˽3/ƵO)c8vG3"㍕ˆs#@vjs}>@4w[M[ IlnU@<6W]TAr 3]\Gǵ,jմ943vWN3OOiL=s0ZjOEЈA + z#H2 /Ҙ2xzOo>3gRoR;Yh/sFv.+!d3zG/R{3Qv5 oR` 'rБ:YCh[_P`cqյОq Ըe64 Qx/ftX15f3zrۄK'Iu=׸4tUWVpȶꮪkx¤J<긼/!Jz]V4?;=~f"9CcOmUS[l|ܴs *궗3d!R>.V!t:>]+s/dB?? FAH9{mHvHm?[PuP jhƒiRIZSDJq|M!֤4cy"+5þ.&ՇHfX&rLifw#e NW: >' &۪H+Ēj]zbpnbmTB~{7/ Pl0Q`PoFP7"GQjЧÜ#xZ6M܊ MaG-"xh&ɭA%kog<]ގ˥K6TAw/Q ei|~9PRL">Rv&&1 ͒53ir/ I'A\'ϾÿfPOeoXzfwfhȆd&O.cƭE6lC M'<);vulVi)5R(:R!np˽@6T)'ד% r\Gs-E>\FT} $E4;pʻ "3)C(="_e TL AXǷT%yj>>r T5(jEM4L#bghJd6]:&eOߔA7ddZYIGH󙀇ݾ].-U.%W݄Ȋ /UUq:1a!P*Z ݉~"IW(4ry"/=1e܅S@ƻ ώ^!4;#k'IP3#겏nPHj07k~Wݕ,e_InߒQ3棝FT!.}Xo%g]7wrYÅT\ldngWm>lߨP|4E  T5Zq`ݩ;C*xVN ȫ,U Dvez^9 \l1w"`3:WM8&1@(K4/ im"*~y_Gwu}k.o˄dY>[$-(Ug& uvniD:8ס$O4azcsozryOT*]y<X6홪Fr!*=1  H9)IE2Ab5^vvWEiC{ H& B] q'7/Q:ھFNU Ig,yғM=qP`ɨΚ$AEP 4U M^'0)Îz_7Y8L\k'D=3 sF&x r>sAnBILS98P{iZsZ@NNAjohTz_*d?hUʹ6x\Xd}߃O93+eM]e C>S1{| Q1|Lua)SJRt+BK t,5&#_=/I+,3l[wUŦbqdh%w0[P uE^a9);*jt%&;Q |P..r,Ax4qk*rܱ.Y uZ0s~F>Z`Zٔt(Ɣ'F'q1Vӆ%2|x>EwDߨ>ljTK IJf.. EP+ڌ$9C *LkLaŽt)y.lqy؂ pN>  0hcu:?C[TNgs`ޅEB*"\WHOK8V#=擃VAЃ?ʕG%FVw14Xre_&-DHHm7Ѧ;YvP3Vؖ|+ܚ Qm9.8Qm.1VO>H*ڦ2/^P}~q޵wY5 <-spٶUv5V}n&`=sW9AaF6I6JC7\&76 ֬|ʜfɾ FjxYfŦ&1lOA_*kr#F wj"ڛ}j="|;IetO1%'f9)) ڭtl>ᢿ`ǂ"ڏAq$DCqtKO+#:j=-^rIy͕dDKCI$la-P 1 P!SqMAd0-!J42idžd城kx::ڳJnk jI=ZΒk/?6IvأjdT; дIi~'n\#@V[-22><[-DEPEjM"Zy蕜+d u=1yXמg e©љ\;w|iUޏnfQbԻV S,u4M&Ark0>K<bo*+R&"h,ɣwЅL''[ӦŐ 𤢐Tg2W734/OY`@9LzŎIMry}4ruM`G㧕#`V<=\.=gmӚh!Gu҅Lvd<0sCԾR}D&qNYR= t=e%Lc8Ϫ/oq eޝվ/16O%u-nȳ"jwLJ GGfdlX"i8%ŕń,qyE'X3=ـLP)M{HefJڬ)JTfN_ԄVP-厗/\eMYPX8V.ѕ(\qU/I:-1VJH|>Eu߽ZR%zJym !uXlS : z"i(S&dqȧ1r#m(]fw}!E:,uCGk%QchujEKcr^H<^lNt-5 ڋ}$SHD҉ö~[W:325h¿NMȑŠ1\m] `@V .Ic9̌?/g'tŏ;a0`3:OC~f/朮ya6v$Ͳrbq,g\ΛǕQm $-̳ Sv"߄"'ñ% ~l6Dsb}.VFE<Kh 'awOH?"U)(̔@b_kFQ}S☃Z d"Yi{"{9FuhS\~e'b>`I0]%"PVPMjʤC+ױT]y+Z Ç '۹/+3]0{΂` ؖ{hnU*46A\x 9 5xQTΐ9FiAb`ȮB¶.ӟ_zsF{h@*`&W3F\zc[w)uQF  `zRS?/\\Ú~19T3Q[Qi3u&,Aݭ~EL]E'Pd*.k+)Dx _%-SgG bgF-dKRd8"hYrC 7m9O'{6K,uME˔7_oHӌ[d-v{Pޔ-UpRZ|`S)BT7AַfYOJ ܀ >`d?{TJilZD'z1~ ?wGF$lnN̦أÅC镘C5=ݤn`fyVC-5\tYUXow Y^6կ_(ĸ]׬s:`\mz9C#I:N[N%͡6Y:V%$0DCUNhҾz06^ 3}>z:B׀zv`cV_ȞZ ;`:+!zj@"dIጼ$U8IbiW&.Ñ5!5t&4ʂQSpuDc$L=䝱_X['>~~ȳZ}Ee{<%FL-S, *7KEyvjL/Z5H0/N>AD|7F̷G S" Ոq1ɕ@,D҈ƆW{~ D-ݼ!(Ti; v3LC=ƲuD?+qgŢ~- c"cF1^FƮI4)6+\8IuҸ`>G>e;e> *($$ :[}wF2:7AGN9Ƽ;kdsyNGyg 帣C[-u ;8 nt`Lu W,pe\(͊XobI̒TC$O|.Fwlzi`VwT `q8Te.qhDWJU˘oK{KU*i\` 1("{,`ǻ%hB`Wl\˸ӻ0A0^"$#;"ȟ6WluC[WLEjSVH>F=n*;fOEaH)[f,1LF)gzLn"lW57:[KYa6$7/C8dq\o0JB'yEAp5B[u(YϏF 'iJ>#06y<ݒU]߬ȳ/!Z%x\vhpPd $!c 7:+ W myWkᬲ+[x[. rQɬ%_iXc[Y3=ϡy>ul X]Ͽ>%O^ qXm_D))᝺EpC4}J氝Ǘ?5^+ _ p1ԺbܦZQ5+ѿgG w|V4IF=>!9&Zwİ]1 `"bФeQtqK2(RZ1簻VS⒋ {1~WЃNo|lhĂRv?b$jϽ0,n`nP游wDqG'}w>C0vThؿy)0o}֟01o[` & \yC&P1`x 1nZ&zтz<-Xx,_ cc I*g~/7 BkT0lֳ6z/\\u xѦ䵧=^ž!ܐ.!1j4* X1{W(w(ភ4kkx$qr? {)n%VL (b{y_0= G(UF|aIPR4Ay"vRk"(=^H^r"DzfSdLF+k A"YH74p hQ{TFVNMlN;¬hL;m< TAr.麸C GO7b[a/u%Q.,SYŷܕ$RJ.YqЭ@<^$NM܂3 )( 3q+N~*_ Ej@,_@4 .k*"SDP#@4NIƤI }zu8ā)ok}KmeF4P4>kj=7WgI:B`RQ%Ol'[X<[ڃE~/sO '..aS}{V56[I#s*1_d;;ӣUXTȞEp:"ث mb6g s5^8Cy)G zEQgYYi!\B255*y*#6{}qu;_Q+F }WBf}L)9-.l ٌbk2CS+Fb8*TL= &:Z7P^ox\BX?M!wJy-JɧH%20%:p/rG`c'||bn>CQTk'k-GWxyʅKn{wx|ER qPLJDc$~lN֣BĢ3e83Y|Fp2xa5+/ cX(?yO%a٦;&J*f "h3<-Զ@#8.h]5{Yh߲Qϐ6(XjD┨97?N2?Y˞.CSʯ<''S۔x_e6}c^Q>Η! ʚ(;n5<8tK.*xKbByNʹ^PnI+ m . K3yw-w8aHkB ) d9$_댶cl?>A<:j sjYQ] vWRZ__슲wWXf vZ4noާck6kd ^TӔՎzJM C4gF|yDFM޺1^|dgMpMk}x&9~6=?(nH^脵*ݜޏΛfDz^O7~ji `3Όn\&H(S2-(-vhlTa :jDJ+hCq E\ wm,IBNH@/V-ĕW)&F+@Ǘ#1k|N0#`2o!Fg ׄ8x0K hZC\fn&vIքy1?_m\vr E{#anH*ثhHrd bfyA#-~Q?Ffy SH_*bڅ[ 1A-i!G@_u^3 ڍ8/ljfg P\4:IHfbnTu|޳%qUUY2_d LD?KK*0]x&:۾l#uκtsLϲ>a}H81tm%H*|zY#s- żno~GK|YŔ#Yd(f2a',4>߃+=atn]N럒$12(HVitJfFs\ +ŠSP͆` XF{'a%~ː}h 3s階#9)dm}}c1*9{pCF >J~W]Z@T7pcxe4 Qr*-ݷ`Dip*Ki2% 81!xkV!>(u*(no|7ӛFM)<{H-,1I"Ωڳ͖I4bӷ8BG(u]hMX}.GID6W3 ˈ{F9 v*Qv'Eh{yZ-z5hfw;Q@8)dh{$' ꮀ]Q~XyLP6[;*]n&G v@+4oe>M{ƌ)\3?"3dJPUW7g,m"3X~4(cJܿ)l3h#͙|I笎8N˚ )oOUNv<׬R_  a###eY `lUG$ࢩ˔GqtȠTJAz`˧UoDL̄M ݆K@hgÃs}vhV,fݪjb-sm|m+ag߂hU"܉W4mEfRBBb3Tc$>$d>MA՗ϞBƫ*]{:o| W݃r25gwEG_C:Dׄ=J@t*__}^8q[-I-.4->-SI=WcRƩB+Q? SS+Z!ŧ34P$(C"pzNWu9}'bxWQ&@>EԔJ+1=|0/ȋ'Fo ǟ,%K|n|;7mNLޫa ӆ7˶'CiUSKb5z:͊#A%<7 ߧ0#~1*'G sb׵bgM_ U:zx?NuzbP^qr@Wq{y\=PZ_NV^_܎Dz|zu=\v ysT_-IBx4= ['jvˬK{yuFn;hD)͹1t:FRz1Z,Q7]w9QK_Yf\tXt(C*oSMѦN6l)-Dzܟ>-^[ُ(<- =X;Q.Y:C2b^HmyۈB<2z]̷BFM~.cqmoG B* $ROn=NL=̶+:G~/h|z) %{ Fb/(d ?eӊxȢjNPXNȬ(xh(1FzX2O:V =N-pp&jXsDۺ8-"zk~٥8Ж±BaL<e" u+`lُ)9F=p7SɲGd`PP`Ϲ8OɉrF'PJtRFV|!ma/!9d6A,B;zV{}-YMBd6֒5r-ׁ~_:oD'#T ϔ,$lLG%ڽb5F >[{ :>+:V&KZc+ wjY-s^]Mzq}HU}G9_Ghfa+#V"?$d^*|5`pkjX9VJ,,d"7';p^tcp0rswD czW"rs 㔢mZ$ucޒGv4t0ATD5'|j<>\:;ύ$"gސ9oFWCZs/ , q;`tE`NtdWh9L_hX; ;gp/`81k+<5`:yf3 Փ1Ml6J b##g!"ɉ=ՇdOؼ_=I?Ra$OW Y,t&1)g+vo=N; %N9.Pqm[fl"lR Ѓ$d 밚@Tck\B C<7n,) Y$֦8-$'XT'P7 x!Xm`Ap7At1~U Ј?q}< >cYt,>bUjUhIPedcqZGMuu:PCmw@qOb~=V<M{Ӿ-1ST#;΂t]pAg޺"Q:2DTc\uh`Nm1iT'g[f4XJ%%7~̪iG,}[&,c=x;+\և}f2SI ʂHՌ PtV qiT|-BCNӰtpe&qxTtG蜡~A$}q`5Z&eM,T"L5[񂎝vEՅ9AM %(+9|(v 4u:cK#NuBK0kli½9vu[ GBjW9>2/2?=#|DizqC=}ܠSQdv9B2D" ƳXY,.OEUDQȆ??)xK;gֈטʲ-c:h{\q >sVNaxʣQN <-;Qb50Ԧ M&VmV5]T}uM1eο(o0WvlCV7!Y ,](&[l1*q#uu,%FKɃN0 %GNWDpK C #%~ q "ߠbO{g"@׹qU.Ӄ|1d+B{XD6gb ):B&lY>GXnJ@3G9&mx|F=R9<_)qU7f1NH/z:G[C6`Q!WKB:VQYH7#\Ao'a4MR;)hmv Ŕ`01Ppp7D).#dWW7!-&3o ۻ`6O(,2JQ$ Ŷ}n}>N_S uv(_JJjRX$i6֣v[9W  Cδ+3ΪN'I:Gק"5X :+4.`á ߆_ƽH9ڇㄟO؃?CKve/_{z(䵻V@J@(Pϖ:! ȂXND(ۂq__=E7 m{26bRScbOWr!{w NK$BRn:(Խc (! :Z8p갡7++TVL\yvjG" [2\q{Fsi mȾ#ny4{; ѭKDr% T8 f>4r6<wyet G4Hmy IVK ?9t04mޥxyWҜ{춶/p _ޚVCm:*vJ uů=E݆7հ҄_'~kkZt&d> .rϝqs"[|(4_ymKRg ?ǞKZBg_%ۇ7M: ^M8pN"g'n[]4M>buXB(bUk=]}V sR꾏bs5* u=X=w=㱳S k.86*P!{Y<ޖ, !V(eZGT G9)/}Rnrʡq3Ȳ?+ Sd;9 Hj1d$իQx}T5vULJJ0M_X_K%\[hh!T]tpwHzۘ=Lэ6jkF9oH'YQI;~Cأ:If:m_l_Tr-]''AL.xo{ "m aY#6x2"^]˜ `C3C:E=ubg$t!YdW >cܓ?p3f8|>i8ZaEPǭ-q%KFuVLmmGxV9 2,2r4tϬs`>T.aU0.Ѿ+gZŚ[)QL3v՞NajoԶ,@W^!y{T5=bli gg8{C(ǡ}s)<<`ɫ{K|_f=dN1 bLNjybەں{"$Jwp܌]a jkp7 DGHP"5?=qonl.gVOP)qVJ` ])3: o@.}UGEOyiD-˯y^JZϥeٵkixG /*~N՜8UxxXWJDj<% <,Fc!mSPzf,D!O(eA1DT:?%(e}Qqh ?5=ܕjGިMvMtD6ͬiV|Q'B.;//B;dO1%D_h6onPOA A1=⻹/I6~%{Կ~ӱ~~2@g+҂{bYA,XQHeXݙ?8-Zy~x5 |b-NDm_k(G; UL0Booc]u֞/Q )965 2E?5U+o2N]:klo[: ~ءPhEi^جQHst7|j~kyHfOnJ$)W1x-xAf 2x9:"Hc3YzVջu!/14Y % Y0)PQhk{Ea=2zJ|,;n-hLYĉZvMǀxptq a#b#ijTB K[rTXq3"D4lݝ =g"3 鉬8 I6M 7&0$^~$jX2a L&sX>w{qfq*Wq451EXcBo:qU(}yZvg׫m=_}bב"TnkD TKV(=ҕDSveyu3?)7 \c=cfP#V 9zk$`<L}I,;&'f{fLƶ쌱VHP7c/od;&<#ԦBKN>sLshpo(zO+-IVd*Bݲڮ [l̇&)t-PdFTA>S-+B$de>X ;U?3_EͥDG詀2I@17NG2Z }a4| IJ!/3rt.9 xY 9Dhw3 嬂e^M @tiϗkcV°GdG-p踮Tmؽoe=8ebN0\Jb`YnIڄIl+MUhNT F!z u4Yr8@|mĥ*{]{7T̝exR riNbQ ݞYk֊u!]SH$@ Srz(_3-D}al}H$7q 7Rhc'^$7' 񋉳jWtgQZ%&Fm#-FyQDU6VŸv,᧐ a_;jOC^R&ʏ\t&gw*m|; ҂"EZc)?%sۜ ${Lf* c%:QZ#bM[E*n/SS2; 8iN|&mZ,,gm5>*:$d)gRUT} lO)"0"d%yVFpm'sXK/0!KZ&`j L>$  v.r5V#-"@ǧҤ3}LKeIa_E80|t%3埄iZ\x>e[_8aAXHЊq;jY>~/ߘ0Z&2 E^Qfr2mν hd9z!|u+3,7Q}{H8p~Up&A~(׽i_6b΅_UHmE%o (r€u]j S8}q;@ ce>2kl"릧 H#-6~^O͢g(ۚ/˰n11 ŚgLnR)3v9oĄ@t˵X¨^jסW] W%C[|7A3P`^שp1#"v@/zY W6sa{U5éQI=X<5T0t-Z-s+M]Bg70N*b1Ʊ$DUo̥vf>_@[Mў+#5 =wuL왎9Unj6YV k7c;%E6L)[(^; ˒Xr+^ 82e8ۋ KIY2"4ɉ^#  d9I`Jm ^MQWq%f+9#2ZG o,鹉llLy9}Zn`B8S2Hj@#P}Fx?o?hWVO)0+Ұ6bY':AKY>1Ley\ C,R3\L3ͬ;\4!ݜmRg Nܩ"NKK^h [H]8FԶɽܧA3Ee q^mTjt9ڀ߻uw!5JI9XI򇦒x9G`ӊ|ZֳZFKMz&q!l2r@Kvea;*1|w߳oW-UƟ6`T?*#c1׆2d$zH @:~VOJ9"/?Du(kOQ|dOmp{l|Ƌ!+St VN6ĥSi2xc/(V E4Ww,b%z>/-U~S~tF5^?,Y}q]A5խc]L#UD(GѫX%E?j/AM]A!ƖcH0LG1e{~8$nҹq<3>ΫOG2 ӆ2(M/^p<3QҘ-S3Hs`^GbLK%S5KH?$zڦ5c'^pVDKfo[9'B?8KNxoE3)b=X.c$# S\.or@M%=rOP5"b80Z\=<8(ޙ?,| ttCPs-`8_  !}i֦O=Yږŗo_uo$P88AU=vW o/MM Kf Z0D.ji/`$B&8[`;8x0kZvi km20Ng%/s(- ߏn/דU6PJfR>W'X EԨZk"hRFqoegګ [FoBivATq3101P_2dc־DԚȽM'@l>ZW狙y154SԗQE ΚnLQ)9m}"(`cpjYaa]hQ"<_U0{%h0'/Ѽ;'>c՗ p"%.{U9R!!v|^dқd<'C=oRk%/:;FQVWc_ ̤2X.V+HK5#9*K"|y JbowYw\LԚ#B?i`oY΢.ݎkGY䊼^$֊ϱUs貔 ,X#ĜL%̠MAO$gV9;Q?axRs,~yQ<5Sݍ]?M֖vЗ%QA&v ɠsPМzz=fs!aza:wH*H|`h+h̆y|͡Ze8Mg'YmJ:d7VI+6Lj9'E76&=7:]`USMfC/d(:*e q<ʨXQs0@9K >TWfӧHP$ԛYL 2yPr4F Jebtx7'#&$C{Smw%8Ϣ$bl``.W=mvU,[ tL^gtq=<- ̎V) V7"1*V ڮ ֑σUl^FS$^NΛă#ݦW X$aLufНKuPBQf>2^XkbK#by^Mt; AoL䚄ۦ럱ݒ }^Dq.uo$, -!4;],&vV1=&Gc8 | ]lLbVKgNI|J¦wֻC99MGcFyoLOJX 17񡿌d=(&gv^T#ĥ=40__$-^bs~g?@K!AFFh w 9ބ_rmGy*WO%ۇ,QkT6x1hʹ0Fq<TxAQ ^PJ8j>kRe,bϏhW:_6bACp,i)U+}c1cqNԀļN ͏ן (i>MX 0U_(v@3]ɧ8v mӿP)x:Bdu>Ldm,8{@ xI.j@cc1 ?1c|'P /$ئ67:6SV8+Z}6)jE*bk(Jymɷ6o zu7@)eheUc~Rt`FSʶ&0k˩dɂu+LtcD¢"%|v:'S1=JDo7c'9n{s?{_رH56(Ȑ;!钦}nļuIU4{u!fl̽2%ljup qPWh>xsaHO fY)DXr0,oN=]!תɉV,3!+oNY&?.OKWW]jE\q{OKۤYwK1uKQ4h8yukF|6(];ؑdw/ IdB1CUvC'bЊ'Q ϣJB[F6DK!i1Mj}gHBG,K7&8[AOpUuF٧a]AO>]R}P z8́Hw 9|UuE De" )`(e{to OnIbb<4U{ l}l5ԐԄucB$6'':SxQG4jMGI~ao N0$C 11kkopn QgK}~O#TR];$0H$~bs B_V)}GA8X6jq~||;ʋ*hUzgt妯x;?GUq#Ѯ*'Q"]kdJ>Ud F)Y_L,ḤqvthsMU7bz#;JX2 8 %MDRcg0)_ƻ'g ܪh,|*ϲ* ڔ^g%x0I9mf[{ Aa{ѧG]Gly[qT;*ϋ٨u Cn dsnWRz//WG+OE Ud (ۛAo=ABt 98Dc\+2Os?I6FgyӚWb }^If{7E2hA47%]Z-UM|ð8waڢ_Ipjm7HH@BC틊&,.g (a̶`2NL}oT,Vk׽Nqw|LzA3@z ~X~3ϙ I*U F7싨ǐ#82 ?zL7\BN쇢HxJFva(gծ7b\3*-~ԹBk]mv++#}XYU"aCدaW4A:an95]Sn0B cB)31?X|_RĉQl>ۖx{uV\#}إچS9 ӛzj=D  $h(ScC⅚( ;"i);Bu=!źЊJ:vxg rˢ%-Цt$G(W$ "N ݪ@!XwR좂PyDqJA'NPzՌFPPY&K[= "G,W@6N-C'/w.kK^?*ۺh:ce|Ř< XrY;r_χvY`: uRz<*0/ai;,_/<օ^!2AXo+bE:j k%~*jq)urn1FI]P6 V`ӐRCZ\:峰 ͔eT`# `괭PGˌaUŧIt]p!ZCȚԳ\7nYxp3QD{KOvFglV@@ W¤5rbyf sM94uA:_Ad*qA4NKo Icrz_s_3B=Jϓ߼]'UnD(~\nk8KK|mT~iet Qa6*iOK_ߡC .HXQp™/^Y8Tк'_>O.-Cehwm s01} 6 2k2q.:){/b:p+)0E]y﹁hS>ˑ0 MaWc9 埝5J}Dž'JYoraNe7򴜂'K_yIN5A" ^2YLXNo?-(G5 Uӄb`k]o؋{Qm`F}Qpd!gE 4H/KZ̮pX:'jXVul`HT~:*TeG#=zu`*=V2a͡J Ćq.;Mf(aZ||϶W]p8 Misʅ-a0 d˷2?U31xr2Mu)0)58/IX:%[7u*lBߢF[ Id p2R ]Kmn6 V%sȅS*O}Izaq"t-nf~A݂i Oc~sYy{ ݹcn>þ0M"uK:.X38=OԚ' >{ovyGHX $ KyΓ E8C d@!lgKdD[{ )tI-a˝!bAAV(^u$EW^Ac]6;)}̤z"[ 'p @ۣss_s4_W%xh[$G"QޟwBG[Rb"ir x{"Nm!,Ku9/0COXaX_%k4 YK7=H?( .v٘_n1<ӲLE3[2jҹnֻd{|-;b^kµEV޺budlAޤz,Ȅ٭VS[ C"Rk}`[[)H|ԁ:5>7UHWq@)of80TE)YE,%Z[}ٟ;'NW>9V4,.A#ĭz_KG$+a :M>ъd Mq굒(û*ZۃD7V%r1ݜ$wd6 u$us:yBBHN4;W Jb׻".n z-gK^es )[+њ3Ssf/l5f|ě zo(Sp0 =:raxIdLT=]ERCW_&]o(*Jx~}ɭ2$6#?4rʆg۝ TuذmbIMTkd:{z(>48zIXς4Ubw#f󪅒x+`ͳ/NIbFPھ㼗9m(] `s:Uի荪vKFedJkx'mX1b{҇M$3IYRƐ,w iJ,9= r5O힢@UI76ӗ'^7 A+M"X ϸA |5~$!& }қ 8[>JEU$jٴKMo @v8#Xz1à9/#դ;5%̼obCmZ;R8|fBF(oLFndSwˠ4-q4j*Yhr 21'H6##CG=ChM (.7VjrQ!0!ݱJ`MvCQ9WlR cA0X:-X|J*97r3#C1ޤf.i2~"9N^#r'iשKʚٹ@-؍oOlJz~ԫ[ض@ԌDNĦ}zB] |\92bV~vac&"h[J`s&6YkKJ"xJsx3S˔dGd(IxLc2!&H S\Ɉު^cG+rc Weg`l ;>LG0ol`{\!qa>n!{^48"pl*rwM]0Z#D|R?$ZpK"2G_2|uS2R@>uZtQ0x}%@alFkTT&MVaۧ b2붆jNN:t:~k?ݶR#Ǿ|".9Kx!ngr(P56!fo[c4ΒaF|34N0g62NI,hGZ:Ri]`?J۴_P lIi3]R-%ƕGmkֲA|<4.&ĮOiLrpd\USQ 恙[!G=l&`aXA\~^R,JScVctQLZG[{#U4@pI^x;lA)Y:B64Z.:`wԠ}:-ْ9jIiF?D3ݪ7 "'U:}} #eօ~|f.^°Zh1M2'X0aQR0DW+YjLæygޥn#rh4yLk)'qBHv3*9N;w[Q(`v"ߧ)˾_`rQ}/-fUes/\N(iJIUo/_ 9zMYksOHҨsu ~?+l!SZ*(ˡA#$l͙#K^LCӸU%mxߐ@iYYDY[Ęs/m,ʝ wnBd:#U|=~r6HףO^q.JuǿF2ֱwيa|B[NMX.F,H)'-6 ĕ*{ʹˍ;5-\^N.P%V m9eGmYDLui8p/AxxkjmC0CF]0\~9|&[fv_ 6^&a'(ɢ8wpܳ2{*-[8 W 1?]w\Og..CaСVQ4ᒕo Ş^x0N/ ߽uV !!/k)& $$)HxɩîLx f]C#TJ*i\ڂ; SgW%)j 2j4[$*dCa;jF+8jk&|2, fF ®GK 1 qn4m1,k)}2cK_FokTS|]9cP2VXŋaAUZrW@}U.v} &$#s d+R#j9aUDex4D] Rc/9=ɐ:KuߡTJH1) 8? &٪m*ʅ<ߧSwtJGGrwՐKHT TGM AdTWwݾFp88@с:[2 [xTmD"䞥qEz r6ivE2qo\3M=uAkߩӿJe^ȹz/9Pw͘_`N7y3F 펲K9b!&py_TE4{@?i?Y04k?VK(Yߵ4sKx1Z]#z0ӊEiD>p9`MiC]ȈjՋ 9$%Hl55/  q6P~JZJ]~ ӁobwKQ'Tڇ -8bilpkmVaјl5 C%*lK ש裊") ۴ k J.U~z1oS (4o2 ŕ&5xO- k´'K0R ')3bJ}7I}6ɛ {ɹ2VųxW -;B'"rF}Ɋд:Pxyy&#Ce{h"Qは\DŽG+L x$-h*"Oė@BL,/5/!vlbK?hޔ$3`ĥtB!Ͷv򭍑;j!몽06MN.H&na=Ȏԧ _Ǝe g, #:iaHSiKё We,w$ HN cIR-S

y +ƐIX  zH]$s%TUC)ΞU:=D` b#J6Nw4/zA&'e(}ђA(Bcdg2r[t&TXǓE}!ӰA[D9#I%YZcߑgnRsFPZ$%3ό%1@[C[e3ǧS3tbD?/$3|JDkSp`H}Fc3]v d$85*7a]D=bzRTù IE=gY48=8$O&{փP漏 =,|aOq@ }g+\E<,/{R[rz06S H`-D5oqBXv6&(T6!fTZhB)L(I4W#ӾXSp:Ye!lRFs5J l'&s|7Cxb:d^N2 R ӛ,'G2aH)9uRC؎.F;P;1sͤ'p<\YPK4 *Vߘ F=nӫ}keX6~ߓߢ>>@ׁ̼Z C- & EmD U9m >Y]Ȧ$L-s̖^}>_h?y @e6:; 1rvr TYa ގ=W']GZzc2)* R8j&cK\} d@j=_loW*z8LH#;B㸴5{ZӋ>~9[ ID)Rd7^ip >" mQPT7m3CF r!C{ Ƌ 繘\KhC| q.Bgafe/>MFyO-'k0JMnJzE^EƧҡ_ʰ*)89>P?~98-4u>GL &@1NԴ5ݙWMr qor4@P#1 ht\_6{iC˭i%bt!^.@;;5Sx jή64A<`ElY?s?Xƹ?i e"Z# >ctCqKz'p|nT.{ii.2 lZY^-4 CJ>ӿ '{%P[MEiiХ܍2K$L <=NV|Y(S@!ş+h+fKٟrc3a+& *3!yQ"oԓB XB8b> xK@_FZqDF?.F S٣'rd k>aئ'/]Y/( b5хĆ44/?JyE P13&篜 lLRJ>X8l,3*[M[iH!9L9kΛ=ʮk@;O ֋N $KD(VH$rV`̈<45+8wraS#{!ˬΐ%s,o Q-i]&ir(g [\ Oo _w}*QYד{Ne!zQkSש[HQ\Y^|R} \^?OVW( t].oVbPJ.M&v5C-IuEta# #{T3Vz%NLItje6DT4CҾd`-_Tp~H=ݴ]zV2piOC΢d~IK.'+xofx'VV`q~'儾yoy,~ ShGJb %EFevGGy#񅊊J2#f Ω=Dim{rVe #C;e{%L29~xl=7*#p9q.tαVu>1]Œӵ$1pF<ĔODi| pL4bvk~݁ϔ1`me7|c!'sPRd C)ٲ"h2$*~%biZ+$ScS=CS_ !osO6tK'YM˅}S2YC+r֣!bs,b^+@cVwqf1/t(1;=}Cke!Zq?e]Y,n B$H~^#9Xk1?/OޙW7.c:x1(xW=k!2 쐝Rj"vs`xaiDO࢟"rv0XU*CuPf<` @~#PlS`C Qr,\}s E<ǁ{jȰy<@°uctƿsEb\v@YdZbKŴMJȺS|*-|C[l^p!i˝$.rΫi`)ruS0lӎO䩭(v]/?&M<~G ["H;P)El5$YXqYQc]?}jJFgCg6ZGƒbBWJpKXnyoLzbx.q̰tWiy] ʉ܀\KۅBkZK~ 3Nd3莜%nCc;CoWϗe=LG&1xÈt/O.׿[FNL\(HSp0D 66VtEgvE4+~^cwY`\`}F*"9nm;/Q. z'Yyn .CBg.;*NͼY"wGCGUaJL獽MVL}_&cJiPfLNn[-=AܥAe;s,q1[3an H@5T h%|>jM))@f\t^:藊h9m~Ux|?{hܙ.o裙B3yO-21UF|/ۥN) !qqu? c7ݲ ïA\;'Ƣ@*9xˉu_[ΕLX4H>eZ)8Pt;+O aO)qj)npM$ ;YIp)'u8a#b wp-O aTG߫-^H~ш lfQchM Ƃ;Au)'\6Wd9b8,T=^B^Y ?MN/W'!L#5*{JI6dl vdi'Tu+dJIv&KMk,Nhme- nƜBr?un;=2ZQ-\DPz;Z2hIKh/7WΊ~X"j?E89f2|ZQhśdH?`5ȸ?|MYqTԋ*)v~;0 ++&mQ$gQ$N$1Č0zf~Tî%H.T^HxLҤ叟Njto-xK<*qAfa|ԲT.u4Pr)"A 1}9'>?2vDХ 'r ߘ^ʳVa'E/AڒU&OV:Pv!%:5K}鮿<:ʐ>G<6D3C&J\l6i2z);6jSTq&@!}Ap #~Pj7s)!{Kg3GbяNPF>jf"krq9*TKJ aChC3l"y땑K@YҗNY/"w_bQi?#p<5>3pKt4o:} 7Tm%jyNH#Z뒠dq;R_R=4zXBQ̜LPLU艤>֞4r@$m)]^|3uO*]k:]UZ<pDy/_iZ[5\ Ո(hCsXAm;@YOMv7mzWxn_ȵ?ʲ81ƾ|to3"UI<䣧oZN B9.MJ1HcddNh9ҐG_!E`Q* ۘG#JLWlY?zw0yb7s֤QqD;i}$u@[ܞg,ɒU1/UlL<;LO0fz.}Z(䖮t'<2Z&c[?VclEЎc]BuOf"WEAR>&h%FȢZ+`b_L!˗l1 ̷f htjUWm4*B90jAlaf3%:y[J/.-KE%+ ͺmT.w~ g6JU500 _njqڞaxxY}Iml