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 44%D| ]/]HOL-Analysis:threads=6elapsed=300.607cpu=1455.452gc=62.324factor=4.847zXZִF! a H]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jpsۿN%#'h,#'Fū߰M2=go|(*xƐq3)=Y\)t) A6 te# FO_#̞a (1#SD;IbBOε'=e]3HB6>r[Vwɘgl_ ٫s!'vQ Ō5T QLvG/r^J{h=9AJ14Җi y ~ j]qʶ@s57uAZ8bB 9qsb޾c;EQ1;PZ5 6 "MOCiksWm/ݥ-gAT)Zk X c u 9XZaLYU3"E2_HAcl 6{تVXey6A%)D.I94$%&cfA[&;V gg\VQ{>yq&kZ;ƟgRgѬv8jTQz?/7@ S+ ۚ_ Iyrd=5 FG^T)Hcv?װT8p5s`z0.-:XPVydx_V Kr,ߜ%Q`V3H҂R^ӌ ƄND%\<3JFӧpc'1T卿qn@3M3kA Y>j&"8L|hRFxswD+b*tƎ0Il9 JI `%!_e~6a9| B42Z&,gRwj4_*Šp[i =e0>燃dY%jM3ݣY%tO26t1'Y:B:Ѻa\2&]ퟀ l YM௒A^@Bg%-EGBu%n_˲>YpTêS|-c.jyx kE9,kQ),vwv<*uNԊ)L)Ɇlob,n)LnX'h"7( (О*{c`zӟ=?J/}Ԝlƫ\@[L7~,܆JRbB_X'e%dnӮ &{`YzfuIO,إ, K2\^GԎMOJY LV}ҋ}<*Np)fD Bϝxt[[lQrAswMm½ߓ3zTWNx L]igهsmFbWѐ$_ZҨ fm/6BF GϘ1lǴIHt4zB' }zv-|Ca[IbB C nnV`Y !U %X&O%z[8*d ,z˜L H)OFԵfmͫ Mƥ]m} uryCද' "J%Kpr# 91w`|P3.9!MSK .dIc9^ˬc`J Bdo:Ll[J[utVyxwwQœtŝꎷh.lHJS.۸+gU73PQ+u{WtJj1XU"h;vEqtÞ@n;HH1IMXKVF-M x`뛎fQlӡǍ H38דS)* l(,oފ9ԕ=dOߩ)-i/~Ёÿ$$i,& hAy_ %/3`w>(s9U-Gb؈yW鈑8,TٔKW kK4U.zMQ&OkIhȅ:hedxn -DA'@jG;;"[P6KA=+&Z vڌ)u*{kԢhqs_0O$J9c"dmg1 dnOH&I,0+nfѹ,gއ",/\. mߒ"lsmѩp6Rɿ<0{E[&rK% g!*-:rB XQ9c $3 kl3{zkܡ}6Mv+wrԀM*L&L6>92,.4UV۠&v܄v np$QIRrK.mA3]少q8/*!|'L=8ADxyd@&+)!%}QG_k/y8RÉIgC6,lJ2b&JLqNʈ[Bŷ[%U<Ocw%0Ӻ$~̒ _M> @ӲpjK h>μ\OE.HA ֖ ?͹7֡m&G3 XL. \~Ԇi? V&p{<{BRrNGJŴO4Əv%LJ>WZI L& h pVf_IhwrZ&l"|tjCt q_Bwb|bCdGZsFUНU1sxVպ-C? 9D;fZ~ )̊FEaEE~L bi@$$6`駱2/f3J/Y π|yRsyLSҨ3}AԆ{ef:DZ}@=źvyxS&.s7_^վ{ wr:U#@@ )UCX@ V<_6NlѺ_{; xWOBCE-:$ka1F6\r9 Sˠ9b$oY882U(K/v %V w*vGcdʞuβԋ (ɩ8 4iS W_ E&tk@]0!ͮhG3O얔@ѱrOrd9 *MEm^(*Ј= HQRE;yT };Z22P6߂U"mckQ(Iɨ'U:XI\cEPby13'5=z-mG2]y߳NqPKwI& @.Ksi-Q>֫&un-ؠt:[c%̑.Ҿmi445n4v8YhC&k|@^w8HKh9ٗeSV$u*4C'EA?\xǣu.)7Uamio4~M%4$v n;2X3~44?|La6E8pC;H_`N:tKXf~ ͤ;Ec&]o^Y-„ɞ(xw9X;in {3vݍo\tTԲw&/<В6͸]}ˆԙ( gMR ֍VXm ZD=,laAfr@崧!ۃ딏͍eۡf hn7O7(eA /Wcx 6OW+5>?-Кg0uߪhMǼi_ d3O"7.ʎTo%V1&V3l ֬u \9:IL[z;O[-י8Lۥlp9 }YVj?Ә˵Or'Χ ?AE^T)udyMKd|0viܴԞWQ[[patJ`@ 9k.W4S+P&@:e<ǰw=4ϡ#C|9vTBkIVxu2_6;ۧ<Τ}EͽMs Kʸ[ȳEB_pE#15wp5]-vw'NDFYOd=Wm bc>Q$̸@@b9eW& T_3IN+pz˴J5oTNgueUEAӑ-y6M&ALK5eqH"aHyd =ws}ށstl ֟+MM;K\1h+^ÄhQ猭$,RM|W; 9PSoԴ9̀:$Y`Ih%0<̣nӋSFӡӚ.ejH_:N =)@Dzވŵ@x԰^{aEnGQ{GUiSw]H)n|[5&F,,#0jBN>3uj|9 ùb v/ UI`[39Ua ̱+YgB?|jf s_ Z+x;^]%mf&ʮhڼwzmLqfq=6c2:.hy NB(tE(foQEre7й14&-o2j_5^Y)>89`-R~W+&ʢq~L ÀXEҁi} Pa74qcJ~'XAVaZ/gB멾ḝF:Ւx)J 5hlD 'WhMT6` v+1nʑ޺9}䈍)mJ/Qz&Q"v Zh:G*C|$g5\TLw ݕelm*/1{<].vH}QIĢ@[xq=MV~TΩ}ۑ*{)݁YeQ%ė$DXۘM b 06ga3NVi숀~0ҩ9TSWWC# VaM$l~ 3x8 o1g]R8P<(qr:4(=M@ ЮQ*7n[ Yx4#p } }w1MQigk@Qe=fIkg{SVo4=ZwQXJz!!$ pC jKSa?펂j̅=ݝ"ipHqVdu"YjxDqvKgI!Q;R HdCGC8=k1>y=E9Wr-&[dqDlQ^'jX+O.2|MX?D/lR>J$A_nyU]3䶹})|b-tnM3g׷ﵳT܀LLp\YE³AE@L}]-z$;`ԫ ; e*R Sn6|A۲&֢M_qj9IiY(:J\pb :Tu{r3Vkw/F^4賄iEMTu}6p EK>Y"3, T*i5B-@bZ4qtŀ0<,.௟8M&9·x )2@(ܽ#ncTOlJZDL-@ad" i&}i&|C&;0^ї3{&4od1D d-.X"rR*v ݽD-] Hji} +/7XD݄n䅳~|j'-n!V8Agjɼ΄9{Om ˘0s(A1s{5rJ^Cbpڦ#bHyQmMxMYGr8w1ztb]4̻W"h"9⊸G]a 9)n^٩1ҎBd ;_G`RE7F{55Bt~c0hP%^q"RfqKpxp;]ߌUUg7!hsJІ0Ϋxh KÌ'W3EZ)?+.JX%ć\ߡOoff]ʿ=OUwi׀#X5%w/hK]sȜQ"k|o]KM&=22%tXBr{' Q‡Fg'Հd E'Lp%ܦXGeJP3\h6;}IOsKo@^('nِn$"[ Me噀7:R޲aڨ}1)27"ĨxBTuך4sk2EB|aEQJZ tӬ:H ]H%$Q\6 ( ,#˄HJ[TƝ:d<.UX4=|k8N(uc5VVFi5gl7U 1ik Ry$ҷ_Z#pX%"eh͌kV/ +3vYs0+_5Ǒ @XR2zO{biuNY >^E,] IL]H#",)%;ѕgE;vJ$u/ 9qS7 7V@**U3}Qi[Ix7*Հݼ3CPtj'ٌd".B!-?Y<&""^`غ}>}␭ |[O%JSk18ëQJ0^2azBP <'Q'/GJt$bƆr8 3i"{`e4¥;*Xu'9F㧺Y`g@Wz,s$?2{ATl aM(zgM`Ѧʐ!Th?葉D8SvDÂ# B1L }u//F慳-KcO`Ӄ"06IHϥ1w7+뱠t JjyZy. EI}>vs&JM*-F7jYjʦf9puY'SUXˉ([sU#粒2H%u"G\ l6餢&=x ۘc+1mt2ZjeG& o M,uv%ʹ<>SpС9K-!*YxlWE5D/q#nо1mQ<椒x Mwr@+!;j<י"diҠz;Eq7x%WRzӸnLeȏ_li<ɝGkTѯ"/& 7AqO*{3FC]Ӭ2Ib}rA7aQ.9X6y?8isۘg8~ AjOKKus \/ma'a.{OoڻJѩ5+3qNV< #@j>_G*# ⁋Y5y YvI'/c8 Xz6} "??Uu g^O{"ѫU LG)Uytx-c'Նh ;tQSSo7lUsDeG̩iۂ顒7k0eh9-fӊ:D?PsQ/}Z2OndkMhL4 sbDV߾@C ɷ̦#s-4ZC !lJ{:p2E4&tw[ic83(]9ez%ܖ?ZX3·|5E+9SpB)ONoMRCEЄµOVkN[ %9=u~jq?Hƭ oFI]NMZ,1%w{9ʬ6BHtD9K?G-(aeƧpا~m)&W&/dmwcn;V>1V> fZԛ µ,1-_Ef-9nژydW YrbG ss3CJ +䀮srJN\ThWo, }X|g4r_}#~0Eӧ[ !@,ȞSs2b:+$X/""A/]ErZ?M5ft'V.B*Gd&p+BwT/ƁtLA5tPM/a+ cĈF4rs&G bڵe#9f1 i$Eǐjs@2NGs0≒Q妢RY3$X{aZLJ틶u/:%PP+"+jѠscY/I@?WA(@=1a$ =!Y[|\7'4ЕA)vD2$R" qye:(7BRWwf#!g]\4;>0!+B0WbBwî j`5T_3>_w/m~p޶6/ Tu;?*xHZqrT 2(WQΏU1Ai¥1u< ^uH[K#sv}WeKc-q;Pq5k#!Szb1j>ւkЬnR"sY Ӈ[=dl~g`U'GlnL^tUcyCȋZ`4cg&f(O/&?A.$'R kPދXznRf`&HE!yɢ5 e:iR]ϜE2@ &7SP-LܨJF*`8:*?wԄUHkՂ#I65\4H-KSAư"KpJʬ`p7&ѿ|@zKu@;Jܵ]+3ķM.9*Q᱄B/w/s3QOM ;ӷFk #91'W?3w?זTboȲ̗cyCFpK?M`5,1('xAbE/<1ftt}C>~=r $4|TUNQMP[91獅 yNm%Iokc+7kdǷAw:[2x7F}-v agv񲯚kg[x˹Օ ϷEI}}~0iP>JICS)=⟾_GGöpl?γ& x=]0Iv{wW2O ] ;YQT7Eh8$dW@{|-.q2;=yRbLi ^WBh-v*;G3m@| p9#-$Ԣ&;͏n"l>F3#RoW8}w-J_;w[z{1ؓr{."3#›>4wT^M \_2*V4ʹapm0hJ)rW-lj_BP 4Č*Y1jB-\쭤n[,%'TZnhWi]#*e#:?v Yv9%#JD>]ݐ5z^j[Mc(5en zP& 啽J̌<$,g}! d}E7vX+^T1[Grbu(;Lɉ7CDԃ. }XE ',zME+Jl_`ו8>bȷ`;oy0$ vFq@׷|u{(YyL+Lĵࠬ,t=Dj# L8 5@DQdђ؈^k}BԮpBJ{|6Lx=gm°{^0e+OH;y*dD6;xSUdp5|PWdR\<ǧuߟTӎ(g WBZʵLbCD":\Ol){G)Yt͛Kzߏw7 H_wLƷsœM V I$ޣfzHQ8gY%EJqF7%4`\{$ڻM^['IN $!Eq4EHC˺&j5C5>@J4_0z|nqf"J̢?ynqW 6`7wWz#a^< !%ChiXѣHU< 23aE8bdpMMɎ+{Q[jtFqȣI]Oo#~S@˥r0A'eRо<ֺ3;7! {kB>9^5~.֨GZT$xUN{J0/B[Rx7%o?nJ, xA1D$jH!am= ~{fP\ĉ/a;ju_7 vb7a:s5X;29O/[c|&m(׾2ɵGЋGX]6 -Z+3;,T6K`OXqF'e9WCE?ǁOEmZ@a5)#nIĩ:EAvŌF3)OKaAIM`iVCʆ^vM:f%ϰ1$pS3 =$ W%^/JtQz891H h&x{(;FRKz@ TEV?Y ÿh,HWtnT:OѺ:_XΫMH,>||==W M^ 4޵s leF}Si^ Ȩ HwYK:}u)n?jS~/S-nP'(RKq=1/-SC=Qy~EG5V,@gg^ H_SfDvrMLpy첳o_ #fQ@f!o{ZuTk"aאQRJ?":L,k+SϹ.[)Q6U0 U D#QJ6>c:OjB %.$3gYZ7zXZִF! "C]ŗXiɟ1˦r!cHkMeBd4C&#?F>پS4֨ⱅ MͶr7_ȳ+.]GsC-MepFyGfŸE.K _Vٔ 3'XOAYoi>hR%$y \:qVG2+X2Lf0Wp|Cî|a7F'* 3m&޻O7N[#)2E(ѪpIҧ,U1[ aFa&3`AW Ql w䖒^{Vu徐dL薟u*1uG~N GwY&Fh-gX:iĻGT]ԉ\0Ȗg<١XkhqZZ^Y(Ӄ=hvqZr~f^)A=ӓ3"`[QCIfov&4)Pz8;Џ!7}$CD-B|e3pQ(X3Wi= v~'v6I?v۞2\.Uj tL&(\jp8sڶJvDXTOȭ=ɂS(ȧP=K 8k6>Uw򶳨eǒ1Qhg ٝ d8 a*f'x3s]YSp"fwǁ4c4͏eؙ 8?h?EN7r}2(]-.>=T$A7ӫXz}pŀQ2'Oܣ=,-<9&Moaׄ {۞UD$"R, p_uiDXYDo^4 ۥ)Eb_@{oe'[Ǜj-1O:CL#ZdC*rt~6 '8}nWXR8˃>!LJ4L ;:ufNyLdeW|^-Sl}w`v2,[ b灥 (j) usxhrۈ̄5MM=xqrJav̶7g*G alaXNtW4ˡo(G3_1n]Cov4ǹx,rj'.e<.F=SϷ{_, gk#oMYKl)}r׉ ;YP_GdMۧg~FZU;h@5-5BxŮbz'vq4oQ'b33 i! =7z˨P?`i3:6oWFW-Lkv#46 $$!ױ9or'>mpXO$jXlyYO48a*szYHE)|_ۓ3Z0RFU<F|7[K"ZhqԼ&3Lz/J׺):窦݁-4nx{^K(5Șٔ=rmI:h|Nj pz4ŕ94̔v\LU{`h;ࠧ0Om: q$oE >J :$ԫny0l)ZF(X9q }5͘W{bvrvO J1_:>Ͷ D$y&Pɺ̈́.c\'L/F첽D&4v4l((֢BB2+"vc~Q}RSy C_=°'cNH1%=&E~q)!S}֮ygD)5K#sg:礴R.݀s9P/d['%gr&nՠ{p.~ "\7rLe]rC'cU$"K|泧[6 5*@y[iH,b!^iXއ~ ~ƐjP:O߮.0G69z}E MtZnnh=tt45n:aX* :=QL { {vYΡ 3h{sb/OPLbxcHoOިѭ"ĨxMv۲U8.@2H/b)gHjT86W\1gMfkb-9 =.56 эmSF0psuȫ W>&,(ɇQ;-e) m*?-Xdlt w2a@:mr IºM - vS H&2\~rDܬCMJnIv!@*-CgeCCTBw,%uh(X!@@)‡ꍘhd|;~B q\4E*`qQF&揹ޏ}{4[,XX_\Q 94B/|1]^?$⾙ޙ*9%_]% n=~mvR㏪ ƃ\_d 5vJOZ*kp M{), #"-32ϕfY5,Ww%+)9B(Z10)T?4=RrƵUՕ35=Di cxe9K L؀QDoFAuKM 3O:}F ZIo-DO/!; @iBsaf2/{MHXkg1Ft/WR,J尙U,ʷZzyTsmqqnȚ~?726b#Ư/mEhˠ1)1,'DM%5eOaA~Z? I HFx _>bԱfbH&St(1s@F3q@w8J.ĞoAE[m5o*Ӟ&_ޔmD` 4[K=^//2R; UpD)ɟqXIN5pcso'$LARZKGL|)$x\*1W&Ɖ%QO0ѓƄԔĐI8iޥٲ!FQf^}4GyT~0:}IԢ/~$Ҽ^cFO*6_u8ں6}D1(mkP"M/.C/ޠk6= 7e<_VpSTeQ|Nd3{l6FUsT?j=O$t { +Sz^`ԕkÎ"LD '}i@ e7:ȚIĝ c]x ) =+ZI€Z2.e& ׌fn#|Uj즨+_2@nH so7nhpY'(eL=_sA7=;^<x/5_2c~F5o%*ؒoE¡Ð5Ar4=LtOɋpvz){H,cP&y>vDcw[qRPz< 5%tza+%V ݱ޽b=yJEMWu]Dۻܒ^D (GΛsr~֚ve"}sv7q A[2n09BeU-tV9Se#2+tB ]&YG̖"릘ڧ!T {bb ^@n)>񫮅q&jzT+ |&Kq"_z]&`v8n!JKkrLXU*?5*f JkxܦcKuWƀZ8bX{h?>߅b`?ѣMY^ʲ ]U`їO:}+7iȍ+Μ2xTiyv=Uƹs~r.(@{fDqL*&krp,`^e;`Ø&6QStx(?#xZfA=up2;m8~'vYJηx~3\6zumwZX+GxyngRm<* SvDA{F%⾁sr--gR!1m1M ߂c{ˉ%ݠJ0.kG_~uܙϸ=r"nC^`u;LUk S'tbp]'̗Pu7*^Į!-]2_\ɢO =kej dž  7dLJqmzi"ʑ4fІ ='H)6=U$Pj&/TCmJo{+ܕH<$kB6" EZD'@!<'[O<3f` "Y`"ES@ϊ3ID,2)y!ԙ\8 h~ҔķF_x؊d $3 ^omB\='WFB lB3qiEb.RO88H+1u7(O%E} BٷΛ܈p(~7* wX޷pAD!>6T;B莤06f}ۙȝ/'KU9oeCi0ڇA5 jYn‹z[tចwL1n}J6>y*U&Ud3kTNpO9-eԫsIzй%@qЭ&(u~ *&8RTc;xh ?%0|JU<99@AjsCLb Xv&U^4Ypws-k8y>S5 aZp8(՛aR Sm>7L 0Lr Ң-[x)٤(;:S {e(]Cۃ"e Svfy#p oυ0)6xځgrU^⭾H&)>ve-@S]љWp1(k$syM|:[ 3H#V`pPţHܝ=#F% 8Eq=^9Zr|ɣd5F< Ë`q+*(z}\ VzDT& &Z=#hȇu;(u˂ORTR6yfP>ul!L0rKRh$jCfПn@^_ދdTXpq 7}s3Ẃ9l$7G8DIhQ["t'w1өR>.t7ٰ1L[U8cKd49~Erux RQx y]\?OϢA ?"37f-3؅ F#u+iK ,*`{< Z<#pQgtLܝp O >FF'h-<^ǁu:򈌃%a*A2: /23 {<,ɗO>/qvxc]Dr ԼKdPu٫A8RYt݇w^^f)c ЌH;R֪Wl,b`,8\H=H_ED3Ui jb`c92hiF(5[?Qe"%$q7I"s@db3Mc2ߥ^@:yhU=vF.M:CsD%C#&(iiuMВʇ&]$H.6ft辛MF|9?<)&.QOGI 6sS}u146VB 'J?6Ͻa- &aVuOx"!uń } IeG1=] ^jy[Z$qJEgzmZ`Øe1ӪtT[bswYp }7\-b~l6s0m #yj] Am Pչo|ZFoTV?{K 0ol2m)Ow[>d*@yV]Y7ى%Wx:Gv ]B!cpEapmζ f¤ҲDHLT}lc#2{'f{DU-L.\;|᰸釢˂bLJl/!˾B֛fri9$pEiL 6#fQqX+h /Ǧ9'D]C.ג(O"XHhvyj%/Ha8wHH- 'ZC @q-#]]]c񮈽PN|r)#ᔓ:&юԔQZɜ7_ LVlݟ5;gz6ϐYo`ף f[xhOS`]]bxZ&^?+̭gXs ͗r}R+r,iBpzҔC,OnmőiIv?"mblosYZY=qю~zsFuFDٻd/̘rZ Tmdbl+ŵm}Dޤ(*|ni=hUX}mQfB_盄cLBW޴]\(8 a 5~&p#&n>% oLk MMe{ @[CQvν$mr$q}<7S{swЗg6Bp];QDlAU!'R3?8/Q_Tޙ~۸R=Y+~LeÇ? k]>ɖdjz%()/!y<4uJz`ld=A8[)q9D*nW%bb$O-o#2v&J4*Qj<sX:[~ w`q),-3ߘq/OhB`%{m@.`Nm/%iC=һYRml 2 ^/K+/= PLX % I-cCZNP}fT[gfӒEDǵ]+DM:9I)0׸-;X("?"uR4Dۚbeӕ_Qs~\ G -fgҗ%4/$mV Z,q&Ml?ҿ_A h&pBԞ[,kT)lct@^$;(}6͋RbK<#5xB<;#qXzk>?PuAN4Nhyüfa2;ݡP/UjhXA?7O\2{SQq0#Ej&`ʋRt f4JvR݋yɠcŞ֯=1fuz[=/ow`bsyzs䞊+)ZJqRBrM]}}980nHNWx*v>AFX1rZav =T7%/?-'A/ݦ˧^,",*JW6و#~w+%& bQmL=\(]d: Q ;/}IO!G!X(\]Sbv"Pccۜ[eFe>ʓQ\cxdAZËSQcU#/xzYcwVЍLJ(}@ޒ&-tzA`N`jl4m.`hSG]ML$ ̟jU_\ )=vzs~qdeƯɒs/-+".PhJ{MCk\CP1; }ٱ*`t;8 9:McIh~IA\%NMUx|3TIfIĩ57.G#/KDq9ؔ'zdX7u] ԇf9z8J/[lƆ\ܩc WTJs/!y=,,Uvs_G"`f;D0)vqU[aZfv;$'$tC}}rg]|DT]56tYH/6ckfBLrD^:sLz~46~@GGxk56/bZC?y*Sۊ7S:1Æ={@u]+UI!LIqKh0xNȸ,LT$w #u(gl!:SGeȢ5SbP-\ X<uhۯg}GmMN`?8 ܔJH,gL;d lt0$IP qP>޶;4?%FJ4Tdo:[KK oL_>we}ZSI6 LJs(I4ڙ!*:է@َgȷw5A @Ɔ]DAHˬS85i慵(?+eڞqh-~}3xB~S mdDaܥ:EL}?XI;;?ޠtv΢Tmx K.+L[6Y4Ia=aSl$T,J;;1Cr$1({\ݷNEy)qK'k쓃t4cRP|uo]uV~+ߘpʩ\!fSrduQh 7NS0~5I LjH'd08E&$ihHo9\TO3='tXeȣw~nHq$* @5e]7O42_:|ѳEx0֍IiR@mr'FAť% Ǟ O9gcΛB=EO6j:偗7-NiPjf!zd c`SĆ"st9'IH0$ݜm x-g1C; a軧t^\IKW<-7/W1b71}R I'K h^) @nT?^^Ab36qPCW Tjsd@ڽX/nN_zz'LL?{۲R232aRu4n8qNuc"(P}=[;}<[!؃PzޯL y~QF:BѶdw8|[ '6  `G;K .EQɸum&BヾϢƅB Qn)2ي_  5!aإc f;5QCv}98W.ejpH c?bZRMA0͘Od5휆T.Q.-F0sIՑN~3A@wB\_6:>1c21CCn*?D+(#WؾA2'bLjҗ1|2IἩqJ\k (1T0Vmvf@B#F׭ eɘ0U0  $* wm)3qzvYʺ!Cpʂ |\v4K{fL4HAT,E/K60{ro*Wb[lˠzʉb|^xA(WUȌ5EuFa_;n˞/\؜bS#7wLPXWuM:L2cwfS`QI8ǣIkfuڀqAcc+ǫus]Nʔ0n){vs>\DX2 tW?bIjVT&inb5"Mhkn EpGHU.:>Rј #hB_":&ŊY"ʏejpGK ~Ӷ~A,iHmȏN p$0{ /l2͸3 kp3u~ٕt]` /B r#w.]1(fn-#Ԭ&;wY+S@[<5JZП厾Tlkuf⳿_j^* ."HpãEGkyM)OPFnT<[-֥I _j-6p }I3^)_.n.B/4T|iKArvu3oѨӐGQ_vKm\>җ5$V|cp!^Dg|&d]{"+),sg fŤ:4"v# Uj̾~{g} K0FuW5=[ l0ˋJȘD2K$(c.Ĥ䄮Cf$g+6I`dqwvg8aAb=Hbgf_>SfkrxAaaO,>ƃ7T>ΛڙI7D (T40ЬrFEʹrH]:MZSlx5u_!`t2qG+'ʬLjn(eOHsI!pͽFME\ZD%ryGʞ-g[n[;# 6UpZ7oo>ߋ/s?fV-5t1S{.q7*jz 1#xnw15y}o,_/& .F{OJ$H hXۓn/`.; ,?1UE*!yM_v y?_ Y>B~ǫ +\ 4Ny6րS)#'+ ~TU֝Y{`xAxly/Uo٧)ZT惷QE%U!)ܘg*[=ffynḌLP) vK>ϼO0~E_?P\]|[9ixVE,da p aճOPu:I ;%!|le1Jܠ۞ENc<W* 9+X 7#Zph蚃`Җt S/n?ϵ5 S/EJaA@|Iu="R!V!c'"*fe>Т$ZYƭV>gƉ h%(m`MF6M:Iyy=ɑ[Դ1È]['7{GaecxG Qa=رtA垸Y,&P+0@]%N)0Z ޙCUmj>'+|K]޳D߾r!)dVeHvL=* ް-O:)$ʩOvm3DN9rm% ph߅[/MIɪ" aʧnPA-L*ʏb.G荠15UV=SV6ÏְkY~E bOIEzVo6Pٛ6 '2BZA 'uEIQ^i`SC fO:J~d۝DuZ6k0RNewО*8dLK`~&߳k ^G Ӫ1;5#N>$(݊)v5ծZqK)8KxYl2çEcyq>{:jFhkA.F {&$Rؑ~&1b\ Z=M``n7T 7YJi u8Wjk&Ex ]{N]dt'6W<` =rL@I,1Y쵖jZk{ Q[>T2rg<(۲گˏ\…F=P 11C{-4ȏm`ooZ6(컌aNL21Bߒk /53g~5*ۍr5@s`\jreP߹UZ[X2 r;3.PQdz %V:ܭ=*Ö"}Nֽ%Vn eYS:|ULvi]R,Jkm>E5 ]cLIŏBE4BP #z㒝?oLRLnDQ/v>PŦeF~"Pgr}b`=<i|5$?_ՅL"\d?N©tΪܨPV-ΆznHJWvq⇿^>瀎@Us!-=4!è̘hduJ`vU㩁WΟ!9ݭ#_2 UCsI C'R BH-KV"`"d&D*cq'w@Ȇ,P/Џ3Kٟ fiURląmi؝i"x x;ls +»Wʨ#R2?} Dό֐KVR7^Z:6夌S#`uϥ-=+FQpz ;+a;HVUMw_64|efGDZ̊q$oXb+F !@9y;-}͓JW&=PBBHkX奡s5VQ$븚iTmGOit( !TJ悙k.S銒j1!4i/mpݚV Nu1fSetAI q&}d2Q3/M"1tb֎P< auDCqsF}jϺ3Сq$9VJ-r\i\^}o$T{l6cM@b9T#9PaY.mW(^1;EQت wp}oM2X>YZehmollElڇ>gxfnZ`o K*P1ך:e_Xz5A^k^A%@ IԥW}ySsTHD* p /A ۏ O9iM=q|w)Pۥ"U_Y^&rO@$c ;?0GJ牦Xb<02-tW-4:ٍM 9uUbNg1x0[QAލW} .J/߂*DN5DasORƓ ( qD  T+ JV7Oev'[5Ϲ LɳYQvѼGWH I[rgR/8n{#OGxeC#D3쬬N̂.FB/=J1/1 3q[ @n5a GH(:%l6jtYqlW@{ɩo@dsRH#o YތJ>^9:6a:e^d0legbM᧜S R4ѐ6R#AccS[SEZ\ɒf*03,}g }%U3/GY◈Cuq,V&^g$c?X5Ujp?*lC2L40B/:r&LI祧G(KDD m2h{c4'Y¦?rÜR.1"qvԧ]Sr wP-LA!["ݶiY$m^ఫG|0_ło \A\̔W<# HI50{*4 D5jj~gt!$1D 6#'.wP9  ASL88< {C)O\ki!TBl( r,A ȜRU0"{Q]T?lԞRŇp)67>{l-ؒX`ohzjH3*7% uWɝ3.,BTJ?וDZj&յrtL_8lǭ!39,=NBj _,|P&MK8݇4!#@V\f+Wo h!RJ&V=s^5uܙr8v%P>Wi  4[<A)"IJ*ƈeh0l ;>$۰x`1 +[|:KrY mN !Ҵw\E^>G2FRԎTL_a7scH|{Ҫ㧭廩Ԍ6kwZoi`8M|D^|֢@nی1%'+^ HPs3zh2n2w6 _0UE7lN^Q q/|2d< /y=TH&*űm&--cJ>ҦP C43!J7 !g%xf霃ϸikJ2 mZn^怆S.7Blja 96}|͏m3J@QjBܰ^e804%Ĕkf ( d[{ϫZB&380!=WqdV) FR,O+ι2NDWD}'0IAj~U:NFЪhv8 }RFL_ޢģxdWG0X  `/As#tR?+#,N3`#b[_UA[uLЙn og/Ć=fXtAp =cf6OA}5LKuaȎbm>!m#:'&lm\2gP?;+"o5ل>)#)&2MHRce9JM[RvAQr@ vB?'ͥIJM#jxKf3.M8yYan[ /ۋ髧m@Si]捧0S+<]`OФ#\%J@ɵ7H--1zByYmU՞A.ŠϸCϽ;gYs\i4t= ' tѡ(l43cTA `ZD(1eK4mo}2C9`ЦV !1'mQifga]ּxe/LuzET]S,*֐>'=^ Hr .EdZPc 6Q9K)qsH%B6$Km+p~n \.̱ #, 5,8G?O[a|T6gZՑz%f>gʹYF, NZq ?iU>GO}kD2S^{E"p Ҫ^͜uxo%tna'>=s/idʌӘFaFPRߛwo p%˨ϬDZosd4Yšet? ˌf*9;nJV`:>s0U/-Iof,ԉFC[lNK$gm0Exw_ " 9LqpIζ%V|Vkepʞ`tl#Rw0{5fNXOT jECû'0 B ??FЅ!XO^ N̼q}|޶?ykGMͅǎA}c%%bE~"kVU?etqSLpœsyQN4ڭ Bx{ 9H~QmAc'#܂%$㱊A YF}oF,9B7*x{r_XZ#adK${waU|bi؈^ @b:hO^v#&zzԑ*I>KVF |i E^gYZ9b48db30426c5fe3b2e29a9edd18224a35b786a549fe4d0140f29b61cf1407e8018459339b5bee72 18021962fea9fbcbf99b9a3117b48e25bbf47f7ec6c101adbc80f4491e18bc40eead00161c3155c0