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 `7t`;Gؽ8nt*q* .#lw gh,jmybӊ;,Í1rg֤QF nC¨% [h.m3.ǫSĽVS8.xx_A9]<_zcI?uk֓BgP@/HG" oѮ]VYܭ+ df8ӳبtn*k{ż_Ĵ]Y.' e]WŒ<ԋ(}-%1F +Wr/4/uUOlzLI`a#hHp#e1Z,oEA-Zq(϶Q]T_x9Ё*F*rliA] ʏ~2:Xjk+)Rjy-X/'hpIt.m>GL+sIa+e]Q CGDkxZgNWNN}y֤ ÏLk1{ۤfnl4- Wh4 ]$OR#Л๡b!G%Nb'~zZ ˢJ)碅y wD؈Ω PYZE B(ܬfDQ ˾آ<:RsrKwo /+Us"]=~W2~/>h9 c@Yez^*68"">R<羖j<~7R|l$'u,#t숔+Hj\$^!$:{r"ss(&٪L4kEjaǬmI(V˿$f +ad!$_P -v_?6Sh[苛;bC5!fdGO3b 'LK*@ny,mhڨsBb,r+%+F[JStڑTZq1d}U3Ky"ErՒqFʵ(0j@5 Fc?0ɩ) ^ tQ=ET }9o{Q=Z\ZfI(2m9rێ;\geطm0A5hPv ZRN;<[f].r,s0u82zNh3w%_xeRt>?#rV#=37F[,`2kDjY(Q=f\5qms"+|j<)>1A-͚ dE`_ 5Ix`20/(N Rn(c(MWH;hTNb|=,,M .3SWn-G}7qYRZT!OHiJW"lFI>=~ GM` A}{`(pwY/ϒ~l?M\+~J:>3Þ;NS<X5YqvK0ZlZYm֥5сk̓uK0^.a& fNT֥?Y -o| i4 |0|fK!Ot>'8cfhR@<ȨsM 7 MSO_Regex_Equivalence  ŴuAhw+#SY.n"Zч =P7ݷ纴T%0OIB#5VIk5;[fS_c\]f=> ,5ü퟼0o `NX#D9F{x ٱwq}&Rܟ4ί:LIQv~&, wt1!g !<iօ= gi ( !N]"gc]OĢ4\@tzwڽߍ?$|,sMadt=O>?iKFLk r{9"vOb$քĴRH׹x})Sh]xO`z 3jc:!aw:rrs)(/JĶX+PqUHi7PjɊ*OcԺ ,#iғq k8tL%4əz6R2l&Ƒ^|{IҹaVm"Q YnʐXqǝD/S G Ǹ))va?@p[c|v LCMH?eR!=S}[W1l[%DuɂqϢH,,K1 a?RP2,: g*2wt(_VgmV_gq c9I_Mb`>=T,MQXf&ۙVhy]e[C`5yʳl{H/||ZDyW0%mtYIl_M?^VpU қZ>%"1RPl9`sOy%Sr }&(Ȫ=!ën=uAoF*#GSIDl Qy7i^-$ Uz'@BX?"*gp(F}mlT jVq"TNnpJB]5xX Djݼ%P e^f (ɐw9>:pHG=Ä$aPh37=9[ѱ•'J^sQnH0Q3GƬ̆BEnXe֍Mva_Y ~g%#䠵XU.ؘפ-f?GIy|;V^xD[𺞄ў?K%>4({`6 KjM]Bg [3r_if',h'w%~6RW,M:mS(W7Ѣ>fհWӶRFQ!ԟ `bR+?1/^UPddNj~LSo_K0\['˼MFb& C&Pɘpgzr&`_yQ0y -zdCN>o $.r;lF ~W1-ReºlXOn evC*^U" -x\(2g3icc\ WJ~ZZ2,*Zj,aZ\ՒB.x_ m8ؙRutT)| n)^X$azJOˬp-Aq!'xi"ƯN~_e/OhLuX-HCdf~$m{%*KSgYZ7zXZִF! f]ŗXiɟ1˦rYsxgp9f閷WF*;Vx_YWFdE*`+(r`99\u %3XAf+K`it D< 7CFJc)ynsVTlxz@y wl"r%9D}ko"],rP;P{r^"7xyUťukdѵ<FHGfBӑdV)$̊;RY*/T&ui1N ܬ$9b.RlC'v=݊>h6]]g4{yIED`m $a+*2t|9f2)MA PhV8!hTg'mvnck04u.8KX$ꉡki) MęQ94V!fֆ7CRjx&⡱e S[mA`Q:ByjfP jıgYZ7zXZִF! _]ŗXi%GKڈyЖ)H D~dGsYlB&S40DE犽J$폵߭-<9M=$[]PǘB&H Z[ID pSx/ajb"xp/KrDտGTQ38|.N&.4@B# #b-r/VTǤ 6;%.ê^ۣlᲡz=g)s;0#2O|2 W){cB(v`AclqUnsђđu_#qbJ5OQoFճSjZ{$bfT:u;(09ɯugBaxPK~ܷ()$#e>c(R=׬0 IkU{Uմ$#{w|3)Z+U8{ԙfmH=2COqx4A;0Rk̨"!ҕk/F0eY?Lh'YMsK1!L>(b,كp ?+  j쬡&G'h \k 'њfF#ȈwWQsKubͽ9428 !~b UOJ֗t1E" p<]oJ]M` <) '<}aLl sN _:J0cqyBe%msĬXnϿ Sh;SPa=;nb }XY @ǶkL8#Aj,=X73_ BmB3*;"^2^!{kT{$-4.,r10 Tq;3&5<DλIY}[ܩF> ߭oWAF_[ ~`̤}Q`]7$JhXƣ8+Jv일 6#\:o+8jont_y_J8Z~ iT;1% cCVb0Vy9JS|*j^AVHYYedP?0'j8#~l1*9CC2--8zH;Y+JPme:yXA{Cć,5cazpatASyBU*J<49" ﮴8+Y#Fx:%}CCWs\ҫIm.^4 eDAB j1]Nf%-2G;{z.pкj~ &y#`,>(<\{`:eCf[Jp =_݀ .|ŪKe|SJ~#⟼=Y!GG.U骸L8膆 "4ʄceƈ fqh΋V{[-t1|iXC줳8k;Y=z;{(!Yϗfs8YJUAk¨Ӑc8'ѤETq/ْ4x)9U_cבv?/fRI-1ž+ U'atքſb4S*QWz6 [=by>/h8U>,j]Tҧc.ŤSkzv(P ^:MބӶ qrC[; XAc[!2@xTypd^Bٷ Ra5 a'<زD^<"Q.N-o#+}/g:{f ~*fiI+6Ll$&wWٷQ-!&aR_D(ʢ336' imUR 5eq_!O:2,Q^@ce~@hDd$/u@|vS4tIP@IwG\Bp %F/:mgzk>pih$nN{mM.%{ALv_f8ϰ(fOcJ݉Ok.} ^ZwFB\ie,_ $[Z;9{|Gf 0rܔU F}/Pu| -}Xhq63H\EW$B~Y @ LOt#PB% O]N?۳%amdetsюæ%YxjЪn[UTyVuv(-{cڌKdbHTgy ls,l*^[ vk`Dhtƹn ubD;OEZq%_'e{5"Kuv8y~)hD{=F%"tqoL7xXÚUK00!+S̨w Eg0Y݊^NfӜv ty{I^JcWGT%[Q&G@S^?hJ(H`\$=A bb (bOfg]c$(xZ` u3? Ƨ+X #4[}xT8F@г6JKR-a [A=I<շ`MPQpA˵?=6&$/<>a{2b8B|BTQ"tW6GVI E2 qp)=ؒv)11<3x!{Uy97 Ѡn=aX, ws|éD>^P"XK_5T>vgi,&xӊ0\vE(-p] XMWdo/ ߈15Hh¢Jq@,|03 f@Uœ72 ra Fg( a^4v2tk}?uajJ1 !vN[ehȾ|ep`zWZ~-Vpx^!QB#M/ C|E>msB1D"ۛ9&lɮ9RQYux`8ԭ*8wq6N7"x)*3!?$ݱmb_CU#bH =Vl#혆 ֨3É]˥{ҳv#-'yV u]rm)#dĨ3ER; >,( +VP֙8$#ùH <99RY'- AE~Ć`"."IXL,|vS`[Y.'uըo#TρڡߗS k 5jF2 Ux$ĭD݅ #/Lh'![ȺGܾ^0kc!mz92 n#"#͆sr򙆏gO8! 9A٬nɆXab~G+j;UbcLL/}xMMx)({!6IZ }C.u" m sZ'Fš]e*T6<(XPR xtx8ƧBU/^G_U8ދ}4]y 1JCx?V\tDc\>Z!;b$t87!Dn 34@~@wU M꾁M3vL~zl5DgyIN3E2Sikf" =H̉iHj\м 4xڷ-D/ R.f_C'sUu]C \J<t/ W!x k@Hܿ-{Â[ %NN"IWZ(_nRu. LHH>fl j9WxT~++7fyQpG )*]A y EF^NA!ԱK4:oaW=X!|&:+ZT$W"RX"rf0!VXh5rHuя+iZS\ oX%`D-)*b/jt/g>NVoZki%sr(%yn83EA-ܐnlo:MwuA#+9U$s 2ӀSsiGLX))k3cĿyZ94rX SfEſO1ZFU{0(kTV [f'\~?mG`_#|U[Q|bb3׉\+0LkH&dbf0Xkr. L ہ3\t@! n強gl`^EG> ܵ\6H-#RVlTc:v 6?e gϝ?4}h81^8\8p#y9f9\T&Ca .0ZHD g1Cl-yܰWBKL6gBm4NX3Ig_v!tc(wqVu"LX`5VRE}QxDH#md|< Ayy`.Y9t|&{H=W8C ҞUbB_&@gxyq-2(6!c;Ұ3=zϬ`xT .F&Kp(o=̷,9>]0#qҨ9TQз;Z<_߸  !f۳ yKv0|ޛ L&zl-3ڏ`p>]v^qz{oXq"jN _r$1TFmW/)fFyaYc6 ia;26/]Qn@؛d V,`a#*u LFf !?:4#xym|jS{H}zC/KZ JM] r(3  =t3x.t 2`fzξC >Ǖ80Q4k6QɫPi|()doBc 6{@nt:B; T~ ʋaEbn4[FŽT x*3-V2Ń3< f1h1"|4zj2B21*.?}O*W{T![\~5xWulc&uo@gHӂ@Sj d؅8vuUjj/4z\̅F@e׹P.q0?qˆ\ fUS]ʃ>Gv 2't*- nliIvmxh(ŪQyׄ lF/Q*PdA<UZTAa3,e氥$Wd x]1u M"SLksFoJuXO;+9˓O8TC5KLp=Ngl$f$Xa8L)1+pAn)AL ~uy d6+«ڽ6.;%4\W賾uIEQ߁ 2R`BCa5;%bـr:#yLnH1RV=&F[Bz[^O=aADaX3)Td͇W[N*rtE@~k)sn#IEJVe z O> ~U}UI\m (:؁Iirj%ftFRt9m63fv3҉'Z_-2~`,5,z AYWTyNi*q"-^2RwX'w5w1Be^Og jJ'BlkHK:=%G5`4X MB~Db7Rs#y䶱5νU'T^0w/`9L iOGSsܑn9d@ V%>XD:,=BKa!Nn?gE2.t7 NA9?;H?9GY@O&h.YP ~UP|g{(clDCKOau2ՒyJۃB.] /%Sr93(fpm8yfub_Ml8.ח^rcX <Rc&J#SCy,tN  v =-$#(*;9-o43rawX0'&>5~#  ib`\P,6ȟNil4wpN956EZbEM76I.xeC(qХRqL4]5lМ*5b zj}+q Q Lt1kb1K,E$81;p$+g_ ?ćڴ <&cB YÕ/`1\"3㊌RUq @W[T@/#E+V1[kJHyzJ&^Rňo'ȯ* 9s᫙'zE]2qѳ0R`c[޾2ά>?n9$tn*?$[P9E~T|Sp,z zDʹ}B\вyV}AeZp]fksBS`Y q;I6lޣkOvssav_6}ym-|*B̥}u㽟/ B/Bʞ_0!aLtK]D(+i!cW/fo3y`C4/+I2m `JOت 7F_EqiU>Wyvsb@_ VBM+v~'9|)[XkEbebT#x1UG;C ;o|9QԮ27lѱPpW-Ek*t5fj[R# EXeyS ɔml 8iK6Ez}JmTިY!2%iAW|TZlaZ18I8Bg'+nz]gPvPp*&p/p5y316[.<6͙m"}/{68NrʧRHN•;c&!bζڳ4{_~#$v$`B#&r|O #r޴/G9hL3ވ'0ưKu\p."%Wi'+'nޕG`S0 G3'T-Bid'AqJg2"ܶ~GoV^a\=9(*wzgOkVʋkpa5a]G`{R!In^i'_$m/%BG6QLhL "fgrI}' o_s/WPſʡKhb=#'œx?x ]{S瞵vFun٭ _|g~.JsMRכ!"'챸i1ғk%*>yDC2gqoDž ԪBT:S0fπwև z-f Ƙx$8FXn1kMd% L7UjMlP"4dTd_?exTcTי/ Z=PtZأN4P-D܊R?M#}=v[$tKv>_VyC VcXdjB`,.rLzlKT 2-z%)„UԂ9PE.":Ly鼒h+{ c0.˄9^_"R@ hM2AgvRNaOih1R+|:{AZN?3_c(Ĺ а6勝Veהb;r_19LʨFP6\q~KDsڗWR.O$v LT(vGunk{dvuD1$5vPr{j 03@`@I pڵkYTSF<ŇtJ} Hd;I  [kH SW!(C߇vA jskk%y9(2AQἲ$Qss4 au#ׁ9J5J7=r; mi \[!/[3S+J9Mac9*UPM"pwUk='_%ɽ}"G]a6"4޺ґ0Y@Ċ^N,M?X, s|IyZ*rΈZ*u+"m("?)&e1x蟸h6vgk)d,qg1NV=׿}[b/G ]ŕ c_٠ÿ;XO &3,?<JVEKvVT*ccbs~8%}C!< Tweo aSu#(rt4T4=|A|W]ⳘrDaUlo9 6 hoy p}<:.o 6~2wqm#TQBa`dY(CCg]$] F|NniR@z,@AY$S5khz+52ZgU*$8dpJumn /؆Lf\#eXѡx|ބ?6&\+úh?ʩً$Ti%u3M^yЧ@Y&- rw(dm[6t΢fCGb1#y&UL:"ثeScH8}WVuTN@Adz+N@c%#3;uޔ'Dj{f$$EnG1_),YskoXɑ0޴OK!g+Xʦg ST]>D=Sv[\˗N9n,.,;JD!0u=_S@i:_C,2I/^:Y{yeL߉|.l~Zk7Q'g[k]Hm' pB%)X⧡ů߮gnwgfZ  NT֨X%IULoF}$2,Ğ1*8^0})`W݄ ٨U 7ї#qȼx?;1"L8lW]y:5yIf52U BϬGT_ľg$}'itw-v[]E2^I+NAt$j^O4\\] 'Y )ƙS U.J`hC8LD9F]OeNٖά0ݯ(w˘=ʣu02b $]<5(aA k:3^ @d͐:I`ʈG_JTÓD4b uPv}X0YpK[A+H ؤݥԚiGc:рڱ.ns*c.s{ET_R rm%*X(L>F-k|A Y[.ˈÒw?^a\OTz,3DT,h7sy)ftǣ8A /fRuٮLV=tJSfg\N8 'Y.Hz1x9UN,T66#b ?Zbמv9p 3A S:%2J!85ʬnwB-@J@aoUh>>Cq ]RUhs\h#=hƟL7Y/w0ab>bhk0PZy> R=8zS5LoB[2&zp{yePܡyK/ue2;&^ g(]!-,``'7 hQ3_ Y2Ah\ NJێ!v "_SZڌaE`4]-QYc<*d>6Moj^|xnTuǶ% jw<zhsb$Bd:<.T[f6iN&.e!87񍚋is  =,j@H-)hBJJ hZZ t>X*#-e4IeɑYU.8~dTvGⳏ~'S0`YuzNL±Ul҂JvS{wz]"~QA8=,^1 1ޑ};G{I$Ig#/(ۏCB$uztJT{ke7yl 3@y &f]Ð"V2Ek,RME أDDP$ 0q[t.UG$"O;C2IlOH7&cnUF?/\4|Tngtk2p6Hu:)y]\hIe ꦶޡsr~E&nSpSiĊc'OEV!hf~{fOǮ-o]UuHJ6,$ty|{)i?ABCwxi2]&Ne;殺ش'2G/ t6`>_}DPNz"i I/-lsF Wo^k=wg{~A@*Rעx}sL}+>w'Kӄ < ^`0@}Ϗ2)[Y !ԅ:^rUuw1pA f xbqFOva7+-Ix,nQgz6#鉚 jC+!͡It㶗QgycL!*=iF/;ͣ  O h :>z݋ N6`dWXX'#k\+UEGɕ:2N9KXڪk1k+8w/ui] S[U/5%u,QP'|M'  J[{椿tS5M3mV/A s9{߳CaY_]0*:xk28IN. :{ \9oU6pkˢjO9#ǹ:fA2iR처Yy.eu۠-\P#3OOW S:t @*]S57b84N CQ^i%,fe?EN1d%syo-NS]]^M [sƣg3U{Q5N4g}%{7oD,,  iL5҇㙵:$@ױOx4w_uE[5pD\,O ?4^#ߗx'6b\,n.!nl/Y;7^g7g p*g`5{`dd s[8#ECx=)$A_610lOSim~ C{ @V",d]ֵW3R@6Veu%ei85lt$/ϖȀ/ CU;*xԴ*&-a'IRz#@{u#bC7

\cAٛe0dAkM'$\-4Mr3ϙQPk2)2cj@MA 6{ĠXrHF-k&P.[–C2>dH$Ц6M vlZS &XW>mPI>%:ZMvc>EYռRgB4Уc0ܵ[$60 [_EPy~CfzL;!y9 XKF:@$fC7E{SHggEJxgA|`'O9P an'Tu"h.=u X|{bWZ% ڶ|) o\vQ\:*xZJ4}56hPr2\gKUGU Ô|_3Nl $>bF0@>HH$X3JHj{*4^*-d^W*PK V%#%/~a1o}".!jQ#S~3 %{?gb^h!wnf-&LM*ev,;7rs }߸!DVaAu4B\tLQ!e7GÎyxg"NS{ɞC bOt6E. -U3-Z$m?Qk'w=o+"Ԡ޳h/OOIy5j^rOo^$(U3~yO>f3_^zp0O-^aeVdD99>vמJ"k闃X d8&u!+rncR?ȉm'w7\Xlj)dxi2d-6]{brQ`h˩X0'QOJ]?a; &s Vk`_VKh²%^j<5 tSB,M u(RJuk,ItgagJЇ1(Z ,mM(l^2+ Tގe5/}f?>, wˁa_@ &w!4616}&fe{ -uR0HwlM%fK_I+ 󄉰eFDƄ4=/لd: |?JWxC! &>P#1ʛLuSl Р3 -_{ A+x=˺Gts]e %Ȑ;KoFZO{н\'i>ȼCnuT$¥=J5l3W)W9-uXUid#vj!&9 }M1'=%ۜMGN;pFw R]ߐaVJF>EJq-b4`Š /X3뼷уdrNXg\5δ}:x*)<@,wáAxpwv%&<ܽjdc$}#2`4 A"^݂$[9 :=#P=nQ\F+8a47lDc ]p7^X|@Ұv{'K U2jx0 צP,uol!VKBO?mV{ݸ ėV7. jI`*3:¡cࡉ ɹ2MM| i7a6Z4ME Ր[$ؽh' Z.p!+],A>`:qNH  7L;yЫ˂ 4p ΍T̀D>gЎXzNL3g_xSk >Ot}PQ;(Ǿ[Hd ~UaKT}yrnro-xdDCs *Z >sGʚ{30~A/ML2.Ԣ'l?Os(J{QI :݀`N|cu"l||,,AdQ Ɵq@+ӻA{+틼uukρO9"daTϷrV[4/o|PN,Թ1Jj/v٧Kx?yEG,k].1!6f4h<ƪj&'vt r##*CLK f`Cմ~ !ɞ "ᇿ YWh Xmowd$0uewaF4RxO_lfi9nYB$4jcq:BS*'XT6Yb 1k\ dHD=#osvP`#m914*(C"eѪ"4,(Tm) {Ki@!mۋ\2lvҗM+|quEN俚9ƪw ?LI=Z=PFsN<N&#.N P;LhU%2ϊ=F5zW1(Qc7WG 궷/2&jp312-l 4<'wzᢻkz[Jij;geCb9WkN½@qň$w48 /痩Je79_) ^s"箩 )M0pgiI>NjbÚOMqz0jiXNڍ<*pOU4Hra4?USkW [N 9t |C76 ճxI֓"}CV>ӊئA6QL&( .wi틏"FXluCʕ,qK p"a`XM=o'(#\?h&D.1رH8DF3=q;E^4,nv`# ߏ.&v'`x>(P1^ g2)OnO:X4 [(ppLBw o HwV|hv#?LzateLLfblRXgEq^%#g[Pϼ-n*oHNOUP؅h;:J2ZR?Wo6J베P JRxYhL.A2 s.J+#xn B% Pwc,AՕ+\R%"0@Gt % A3s=o!b;gρ2betD ,;ŏ=vOA1=+60+bItjjr,3M뚃IUBļ{9Q]M d15BVЯ7w5laPmcx°48D^T;|c6EC_Ѽ)Xљcλ},~;RP̤,{y-LWO%hN+_m+F od4<"t^T,I9o'>/ĩ`.-Z#`1 A߽Ro4=w/t b/ G -q#!N~T([0L/*T97BɺM`P(dκp~oEALʺ^ؼ1%4[a ]cM1n-;F*e 0*C]!a>5 ~=A'eiqb(RnJG2Meȶ߉j1<} bbQG:oku?!H,Y4) M]xP~a[`1`Nwi'@, wVMOW54u\e\ *y26'+d0/߸Tq<8E>c2(]ininƇ26&MZA2K:ZuϔƐLc* +<@_=J_mDMCJ^&ʣպrCi7{A$]P5&a5B !sh[w 4O}ϸ~Q;TVY˒ʶfV')=Ոk6K-87RWK=GL=Z[Ɍfؿ'XjhBzHحC9 M{J' w4Ɗt[n8Yer0]Qۥ,1}t#OkL.bQo͠wSR ˗7ZQGEx=Dp+ QȼH[p߂|W2%tÑʝJG0e&t.3ٛsdǺY][;D\~ޚor("kaZ[c.)`ym[Y# M.pħ]?  `%U$>*e<*KqDI X~匣 -~,*ѹf@PMnxi}{sS C%ܠ3P)Wh `|{HS-o&dcF=f(FqOkSWj~]gvIl鍟ٝWX}Y.a ꈖeQ,,ڝ\7*(YeU}9=51&3+| $_cB*)'?xN~b;BWe=Paa/FV-k= 1,##biUFwZVa o-u2{mQFAmkgXQl1uT6Q\8V~y7b %&"4ƀnҡRd?*Ap& \EeL+XD75rt`咠t}2 ='mWګ/ j#>j<9@Tዼop `Gh)]$]A؂9b1 Z\Ijne}# ˞UC "n|FDiVD&aIC/%o(ö Yä,`Ic,&V$}ԑK2(`5xiNl`X:m?Ap?Tb莛gq[,I߹/Dzr{2"g"/D ! =IXb2mrx<_U(*kXD_e-?9o' Ç?(g@ %URmVH׳vҚ;Gc{((2JVD$lv8GDW&uFd 4$NB<_)>[@v)I!aWsTqT[G`Xc2}| -&C$y<%KJ _uPېn"fӯsЩ؇jFu*1F,Vd  ؆'&eAMr䟼MWhV}k>IL\%SѳJy'~ySh o5$`SUU 2 _䝬 Fz')7ɀ4B%[ˈu`}Sb&VS{_\LuRy ^31 ,6X486=4h6:XZS C{C-'T p.) *".RYLPUGǖcɃ;?/W|:Jcve ҉_V;a V4@`λr**ba)^ɹ]wK1X-s,OY5qrs7$.V Dńh&oؗ?{m~*2?;Y = 'o̚NDo]mK۵tb1{3 ɸ !qw^.:)ZL#%G"@֘+c$L$yW[jnU@D[W2s1daUFGO/C ;[9Q7֪Ȕ(b?@jSo}z\b'qMN܁5í2CRGks܌kLClml1} ɽi~m]Jir"xvBطg g[BOng֮\q;iJ|pcJx8=XCjLl ~/_r`ڠ]bMC[応RlVqB̘J2/Ģh흑DDg^J+5% )`?`qwoCqh†ugA7)|)#M]u.P %WGq)?4 YH7j4+$A#7bee<~Y/"D@ ᱲR6RL`U핊La~O&p\pW[֗FWP!f_2t$/EI9}p$䥿n,.rEmp\;!L-`A#{?y, ]<#d##^ŋX,S_}x_*x(*krd$H#3geX.-;KFpo#;BȊ[][KM7@5=tQ=rS ]HlaOXh1e "}Pʭ ۹ÁDR]hCԦ=x O@;Q䲀EbV7.,|J5f_̐IK2㕐~]/$п!d zٌ YrBf}n]ZG2"ćXgU=``nĕNVn!Kȭ#21'gOrוXr),&Zs-Ix E~pr1Yg2!%~ s{"NݟO qjP aШ +FPz;h lKfm  8Q/'ǃ]E,)Bu1KӠ2.N u["^L10k#8~)*EIE\7 HԉV6{UvZQf5ecaz=R裀t_ ;6:STgѺЈG|+6o YuDע?Bxϖ[EFOlլ"z }.>7pp `9*2G G,'\5ekS,[sl'B9dz4ПBwT},ͅ\K:0u 5?nq2agE]~$ )πnxڍ/^sq6?42&} @U|YݾXdڪegA=6:2D۽9vOɷ R//+l4P,8U ˋP{;R#Iڅ砊z ݌xmJJ/~۝BխƠtVӤ B{g`[[>nO%#>9!h9xo <& cͮ#cf%OVzFobUZ0>('qTh|Ö29%O7U`7Q!H6^."u&ouI\7JVFz[L<tL~wĕlY3$\GTK$iq.: l~W% ,^ӓGҩF8U/71á(iG.3<(D0{|"߈-GR"uE7`M,ȷ@nTy l0xc';.[tJ t8}4|bL;̾1^.ҝ/6ͫ t{d9,o@SB`3PɶgsHTJBY 0(uxA/T!WNQM~AE"G c_06! <Ǣ{NPn.8Oqq5FD_\ϩկE׀ Tf]LE}#^GBEWǚtKR byRfI8!Ąm~I}L3xUSbv}ߤR`..LMJ.#jۂS|Y2ȥQt3Ȋq&+'0-/'X= OjwZZ}RC: QŖfVgÎ_˸aYlZȍŜlk]rǴ i{$GbBO6#^n0ٛ4%)xw -`)ӥʚ?dq\̮c9r륚#[J2Ţ01pZY.ۑmH`2;6gIsb[ XilqoڲߝWMA[&N!cdi6#>|kx Ţ5ŇM3dr4pzWȸ$CO2hy`%_袄xD6%0xҵ0$+#@@ɡ>iWDl?ԙ]m5Z_'RK]vz~XCעUey( O9.RW(mvƭ P|o W gxm1P54lIh&ۣӘ9鶴5HQC.&yTv`5~A܂Tr=#vddճA,vECh94lrN.ϕ2m~%~@EVIK{7ѐC(IK^iI6l-`(+5r[H,\!890X6@}@]=}yyiqXUtMb۪%¬,ťTKtN)7-]5 ^7W-OC w%Ki_ѿ1Jiy#EW`Tص)=ksW~U_=j~88ILEkV#i'}! Lsç!0gi{&fxMf#OX#=m{qM YM@>(}skÁQz!-Z O /Gor}C9ƙ*Ћі-v"'\0{u8,]!=*۪{0j5*ϙOAu >Nigw_W0ᑟMK#&.S>1[suڢ%\̈M}ˇԻnp#2[Do \B+nr_M9K1n6$NFOyy]XQj{{Hv0*+.g5m9ZG.;\'ƟcTnnMwO 魄w!*Z\_׉jW` #nN< V.We|yawí&:4FZ?ʕ_p;4d 9mb+5 sCO0ޜC1I<-CzJ:`߇ZDˑ;b⟢3ɶqIm! `ifrhUÛ&GuQ)_\5.~)քYNc|>FzM^\1YE$cr~HRN66f#6"8`1D< v̢ȷL1Q3(^GRJ/HQ& 5 s KHYl<9!^ds)NXPx]ώ4Cyckz1w xy?ݐ6'@`I[Q@ 5 CJm?[-Lhi7|9.7{\ 9U~%L=)?M"lb5kg!.0rOXu!@k Ϳ>cE[q;ǵ8!IrMÀuChJuCvՏ\9#Wј%9LZ?V0{ģ͓WTBvc9hŻu}\Q0oMmEv8j2=RN a ʩbNRųE@ņ6#RZڭ \bTgWF}xiyltVZox q$Ufi-I᳋ۘö-u:go 9U8Vc¤MOӿi'0b:2f~}o{&"*"D'7)kݖoORymW~}mqUsBgaFvm2ewPn/ &k!K/~$ J =E p&/SW.tMy"h:h{yE^i<,؈w`׳4Ty6UvЗ_rIkV |Ɩ^ * -f .Zfdn.6D+F?%|SLI?J U@*ۈkwSzӿ֭-.^~Y9 MeS3%o$;Q0߅DЗ%T׫r%&1HU9je%34N۵d5HB;vp!pbKm(CTAJ+΁4I%Ϭq`2ز#TQk:(BE!~^vN Dpݫ)C]dbPm0Z|dI0>6x$8L9?]u֐/Lwr1=Տ?w|@ PYH~vۇIh0FVXBֱ ^B;.?iU_ M[A6|pc:OTDg 3kwWZ ]MlМ&N!WXWbPr鮗hזŸ42!1T m=P^Y;γC+*8.RÕX>QyT ߬ @bW կ"a6VtaÊ/LιSt\eMxpHU~(A(^Xn3L)(uoJ.WJ b&~9ȚMLR6JxӥcSb8s0D eb25I 8 f lwH:#gXi W)¥fħ0Cz̔y n F4%Ij^0,,ެʽp~޴%/dguf^ ;$ dɇ"yƅuEu|}Ep=/_qntJELІ8a!RixA> =[(` (2U׏.)Vkfup!Xc@8,Դ9^T)׺W1^Bx.YUaz1p{;=K|mZ"Bcm@N/WVK|Q1"AF|ᥓ0Bj-@XѴ `&P!WVb8@Dot rZ˹"lmyY=BkW裐UK$$( Vz]nMY.ު:yB(gҁIאN?"0^f=JO:5;+ǀ--'~GRd #'#%0 0|-ϐܗ>˭|"X(&߷:drL~΂2.hI\MčX2ri'.?e5c"f5 T\$[^_%ϭ7^/=e}/mX!Ֆ 莐^>2Jp8$DpYc:<`]rqmĠ[Wٟc /ZDOݦk3/a" 1ݩHuߪF畚cۏzly U&E#cl c)a,#-p6J8患xa@~p oYx §h$hݜx/w1<]xizmWy{j.{Ut&n'݁$l+2;Z&~Td$o&f]f M?#3ok ݇r,ޢ'% CϟIGf< uirreq('enX!V9 &_XE-n׃#cBIj ܬR47N.E;~9ڱ+8X2e :fs52 m5$ޱ0tƑ!50aKlw/ 'E/ǝ_#"h>nҢU-Rs;h.Q$Tҏlp)qo+"0ezd3N]BI; H֚mDq!uox5J < OOCxUMSAX`aE 蹄4RIeK턦i l/ юt}G9\@E{8ZGt"ZAg]v 7x"ȿB ml@gϕ(:eV1ee 4"N;EKepKu6 c)ZFi y!./SCh=B+ 1/mL@yzEX[Jv7/$k\;RjDnFkZ0 h T#_=$8p*ýt) !dC%Y.6 R@Rfg }ExNa[Q4)l#8 +"TRoHz %dSr˾;KdYk=G&0_ WiYJj ~PyH0؇XQ.Iv5v@UYyX^|O$;os.<ON\Iڀ *X"Gw@`1 XU S׬VO^$ʇ^-9  6?E^U\l'E5g8QZr%:9u/gt/d_^z;ъ2QxM63g)RS[R(NƈO(ڣң=9vDmH$Omw bhz[B-fJ+ߕ]wGi|yUjhU(Bi+ ^XbD̍< KqW-렻0/aŹm{|r}a{]X|>0V>EPj) t)2Fpv1,@x!gEf,xWq2UjpdQ'DHezFEԎ LHp \8-o:]4+{QrP|7{R‰VAR61: NX Z`Nwذ=_qm°Gtx@<Yq/*fq,a\OP@⿹ٺMFw2k2uQQ8-*cQ]dz~1w帘D 0%EY8Sx,c%Hz"mVC<%Li1*#滼Rl' S|P㬾nLn&<1hfX[``PF7~}{%݀1+3|Z>1VZwPMoN}$k#RFn9c;V*ӈfCI 9Bjt%9\|W;߿|VBo筟&ʹ`>"a9z ;p@_V;skŲHږ'18p|Yv9 Qg؊^vsr腧MMDy1a,&?Gez\@npqǞ%6OYeK1C^qƯE j8h{kU7?Vq ? ],RPSW O2F'eZt˹ܹT7Eqm;xY5OJ\*{g uOh$ͧhOC?p8!7\In9HSvO1i?AƝTM"دl!Vr-}խ3&UbDٲCfU1Oxk;5H)"z-I`^/ms0?Y5xEoB]Dc[2Sn>Ө=׷zZ0i$U:M[ǵ]%6jn딄jq.]hy3@d͟'ƞܝd)UCրې`gܖWC1(p.ƑS%wcr|` sx ң1Sƣދqpz<,ןq'Œ ܷF6W֠ Pmގ_<&1V6FnX8n :NAP=3yuRDEF[綢oט_nogD8>Nn#*yfY,EzvX+QXTm\-mDŽ=閡o05%U6qXIT5nz+'oL.3@к3,z"wxӠy2QfX RN"YB=cSULJk !fDG_+6)Tzhө%,QtƳd "Hy!=L-I8 T?$qPoZT ~KWX bVkA]ό⦎&]R q[aQ]B mt"acfwa,m .@7*u|Pwr% @fFe >v'(\\*Nz{*zO vswٕ~wԍC)雑&uZ֔Vnm!>P2Y8_iYJhCKS8v\1@W54MQgD=Z Wt^V^cD0#sS3o#\.׳svaVI^]h2gZ$n vRO ojmLE F}qzq*wb^\7~pl4ÚKr㿜EK"c25Ԥ(,P,zPeWxH#QsX$mcQb8i-O+bI[:̹=}i0@@^rHrp~M#Ɉk ]J1c=\1HGsZy''jD^.8@ΚF[;Bk˪Nu{X-s4ױAi * ]2 {OgHŰ0¤УR9`684ۏB^y>Ni=E\?GcT*9]oz?5anwJ֤QƑ:jn5fV+$'p vB+Mow%9>.5 {"Ccu?&# sݕa[fSUnrZUD5W `e}~R>s&EjHHٳu}lqZcjA+~ K^v+i3 ),RM:qr D1cʄNPv{3rq9G9<<*Pq l_ee.H%Z#e"0]øT}҅Nl|R9~t5lwB[t c$U338DaVP[1)8y}?23U\@\.>;bKSJY5<~iN Q3Lr^-XH=ܲA}N!Ǿh{BiA])l@5ckgUI{,zZktLMM{2e:-[zȫ@!׺(?Ŗߵm;~`4lRǽ~;)(.fO)'C1Ϫ)1U8yDY1AYy7: =#WdLo={r,jh(U@ g _%u> [7G jLӤKҷw ֕W>\H`K>@\Tgen#w}hw%' hN4;T OTpsȹg̵M(C VФ^B-`PO}vȎ~"/۲7\OؼG" `>V,3ݛ}Uy:vEkEfeV|ifNcZ^R_: GkD@1ggg*dWrj X ݿ'?:Zf DV!BgPs.i-bgk1O7I (?6'gڍ0<6۶@X~&-wFu[SEAS40=\5*_rtǏs-KZ.Iس7j7om,92 1MJ<$H\iErt S4ukm`I% 02H\fQ`'WuŇ8񰍴F${xbRݡz90ޫvG.} Ylȹ!D}P_&,f%; ~i lAūJ˚O$.Vܒl+!#}X'CW:&/Ģ \Eu"=|z!Đ^+⨥K,܎gfAzz;jр}BhQd/ٞѫ]ܞ9|%ngL Թ&!>z;UؔS02# єTDUve<<_xl:>kHT%yj ]?"4c O BrcYɶF;/rðļQi7!3zm df'y@Kg54_\^#*6$bFT>$y31M̳ evkQ~Ez r{\FeSθwOVq'@Ҧ#à lF`97_E UYa}uȯn<z+^¢0X5p*Ib_FAX& ۣڞ.ݎ1| W-u"}Zomył v#!vx/)%ƒ bi7OPİut[{U<6yF٨LJ()q8b0"A{mu_i%\tk#}gk ܵ*~ [ ;.)v0kv8lǔqCVpm3 LAqmY)Ȃx xŴV!5`ɜϋg"Z8WxH?"jŹQ'[X}l)#⨛_ rUpOLo# (sSxYi@R'Y'Ͷ\ަC14ԗD \*`(bV8ZPA*$FJ. t$PAFO lqVșaFf7@ѯ]H T9L=1TTBpAB^pH|DzyAYaDb&,m]Fe!QJ1 vRyF@m$5((z$԰)#٥l]?0Ktm4"fgRM i"D'AJ:&B8qq82~2eţ_U)@v~rZ)&R^'xJmk6DQccMb_۝޾@>iE\^la½ F8ƀMS"WM׬Skɒwh|Ȕ=vԚ6/ԇ1ea]\c#*<oH-Uد IeV̏?9QۄpWCq 9n@AoO5yß"]y ]{]¥1Ff]Oi8z̭EAdScUAxXv?IB蔋K W3iQ$d@o| Uj󄐘 -:O~*tZ$ ?%QRXO3p'y+U!\ Vy=B5x Rά'gtcsWVhѷJbpY+AdݮAM~-]˽rTWlh-k]GH挏 ~\9(Nj yWբșP.L;)ٵٻI4^A i̙*!iDbUijG4ĹD26,m(z丫.N"N=HÏn vK>> Ki&h3*`{cCۼʗ@_gZsOZ$8'(ڄWl6?C6{(cS+l &3\4?[. KpkEfz;{Z}d!HcٞWĢN!'Qv¬L"oCN&ep%ǖb.\Y3f@՝jY& 84jj[ 'ROX6}rO4 0>0C 6'>1m]<0OgYZ5396b8b3309326f83cf16492cd5a79a198ebf8bb4b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2