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 ,%|\ ]/]HOL-Analysis:threads=6elapsed=351.130cpu=1805.976gc=86.904factor=5.147zXZִF! V]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jmyb‚$8NbB '+qVMɊY/9cEnMC整dF&`Q#؉ 7QiXIAWTߌ rz#_4ók[x/#E6\\p;;gȏ<5B,UPh,6Eނ*@PGEIoJ OcrX"R۳_HÁDOݪ<ϵ4aȰG/{6UWɭS:M{Kk2sB#Hfn '5!g-d\gsϵ#ԿERixgZA{b2`%]\oYR$}),1͒^nTB-N\??z.Cn`8_뢀8E-o]N9N~LAB Tl sCYW#q `?40_W-ѽ0n5amg/ G^PWҔ%2*z=6gMsTQ()r Os +7k:Ș$zHIHz9~4lg$Lsd4, J/XzX1+;7HH'#c?Y}0V<HMgi=o.B,f_Ԓ𩸕 N\%oU_LUbëH,wa%fNO^m9%阑A(p'ow FB-VюdW P(V`Á5-B;c (OxƢ Y1IfU\ps`[/"E?="*2ܭf1,B5Ґ܉)"wѴ㢪ܐtqY3etf,-TǛ@e*0sʈc6Q[$RX/]Tc#r{8q 8)|H2e~*nm^a-6X3/):R9D=SOOx`?L#\'3X\SA[L3^$F+. 2!-$0lgg#\WlYt˝a3=o/nf>A7HiJ *_iRn+SGTjKeV@'--`}\p3d qTc(e3|5bYVh&u34ES1E'URFhgĵ*l;==u~DY&fĐ TI~ )=#gA3CXwd2ʝW-Bw őp=G/%T ;U9F-ٝu:c4zuې,jѶ$=8Œ4ca$6Kأ7NX╭0o_k˶ ?r&\l0V*S\Q5BMd%zc)q7&-^ށ|)&RKrG855l$hu$2UbILP[i^=N>}PglH8:6(<9T)!epпeK v^di%{)>YtQWr9:u)]$*A .V92eF>y4`wP˙YrT2-}rEڞo}]0Ϣ.TA}MCLˢœ,{1[RCKp>XjcbAeh=Rx/3JmPIbA)YeAmtRXKʸiBjՅĭ:II-o(:6ۍK3$=='w(ocdZıP}YĨ ܷiJL!DF"*|ʂkAQswS;V}"V֯qebꕉI<\%m<f>UUa\R2nנ5dd]%g(u~OӶ7L뮙0w/:.5q 89G?+MAS<v|@Ͽ5;-%v:Zމ'Ə[˜y<,y#PUJо4 RG<-6`%.|N˷#vE)0_KHՉ}Ѝ GG±\mfս8Feʋ:.Iþ)WJ&a61 o61vzYw,y7IK! wSf%2G÷aOUpyezSe<tj#ed -+R<ҽJ_܊) D8@eY3'l9^_x94bW^1j85JD72BC<W*%V̉QjޢF(9Et0)˫v]ET1Tc+Duoo~e3}" % HOL-Analysis  7a2lJ2߁y9k}H]-1/¯V<z/7\Ijuo[u'5^@~ji l%)3(!uak?(&wBcaa:o@,gMeF8[`3`up}AMRtkmU<$,f`"NOݡ]##\hV  +ʃD\x6IAG->*=UyyuK. . Q\++qn*Jކ;-:w~D.P[TPyC)՛dV#Pg[!OopaK{>Ji7i!"Fq) }ִzt0ăJ'D}pbxѺQ/\DKGZg'Eb+ҸɣPǟ'DJ'3B=1" 1\=3DwgD3#2Qv[ٽ"HK^nZGՕMP0!ko>b!:3\k'8lj뚗Jo}inp.*:g&om3. 5.wP;]U Pz֟ Q|uGdNhSaUq M~sq`c}Pf|$̰V$Nْ ^Q֐5+)2|B'ȍqۉ&ͬCԆ}1Zң- 5r%Q $Iڱ3&#L7:幌/Mrgoe~#4.qXgǟC ã/0ϲB@_\ݽ ɓ3Qņp$̉έϷ% LMbE@ZDh *;p1iQh\J @:'aCgDVOQbkO+f7Jtll.ҡeXt=%0;w3ؾѮ+?^Ɔ#I=脙Y ֖ٙZj[#SNU3Y6;%$(Q)7*E+AWp[?Yٓxtm9RGd^Εgi92SyY{S}=I}zNt_DZ,䍅|3IW:W✍@X Uw6~#MmsZ#t#gM4|CK:ՠm}P! Dzx{dșn1tT|O<+\DPrR D83y{a*BK 6>KiLv՝{Gš2c #0pLmc-@NZ"`DP_z;F Ph}mNBNӃΘVF(6II3I<я^DqgBĿd&a~j7YkȽg`Ϙ_ &p6I߯A!(HGG,kr:Sj4)-1b.Qj|bvL;(/P/w-#c6i8xwܜ :I;j3ZZWM+c 'rEZ_bi*F ch(ở*UhK:(ϼUqKn: lNYg.6j'b.q/^un\!$FtAÂoߜBp.U|v!( >k/g۪W;d#E#KtJew5Bר!/gtq._u@&Nyߙ-N۽)w왿 -=P] V!9 +7BӚz [ÑlC" fg'-kZw-v[u(mL2J; (o9~'ʤV9ʋ e_|$]9X:E:yCDPolpu][._ZOV"+JBFPuo)콹R:Cb:+1^IT82Lfe< {臧Y>$-cʷjw0YN$EF^ER~3%xgj"Z2H?.國$iػa! <|1Ke"!}W X0k^m}&v~v2,T\|![jѣ#Dduue2RA&~G-lg&"kba}{z'@VȡG۽rgZaErh7721{ozUqƝ8Mfu7f/Ze w~MMP,Ȳ\&!)9GUmq`Пkb<9`<}"_u{-wqr6&';yrn.WP[ORǩ>IB함$1]ӹ+f=. tqGFΪ+;ↁv\C)rɣ F _Ui DѝY>EUWmFia$)m40b8( .^ݺ|Eo10QRIaRJr6H;K(gw!r6QK:g?΂}jkąI}~?d*ռ%z0 ˊ=@pŒHb?ȥox@;, ֫/ƶNY:oK3m]9MgkA_D]B{eT"=?h {l ˤD{.>#eG ?vȂqj>2$ZΕBupC{-%}IʢwG=׶ۙ?l6gג?3SHSc-҆)|z| dy9ѓG*'umݡ>lKjXJ5]ׇ'muj`47벅'R[@33]g!0jTTDp 0;GwvQ#&x*|>b7oc| e7F8kW.HTj@Pnq,LSⵆj&ϘmL4PLh:4h'¾N3_J)b eH:z Ӯ=̗)yy`SHk~nzԙ Zo|NjHOoIHRVf8SB%xBnlml?pk6I^ZlOcLii"ý%8s4SfU'kEPd.- fؽաDw&^N4`$:ڴ1.ygoS΢WK_Tn V0}AH3|/-kX\\?U =>ExD,Q*Dċ|@.0tySa04b?rJVr%_D}b8ڰp:G9; zC< iBx5 /.`2<׸*/SK#D1K691΁3Tb݉?D&mևW yShK(d!24t i>/r%?LeDgփ=^DxKh g FETRVTSMl:;ef3ObPt6;bp@F(rZ?uդ|2Iܑ#, U~LrecsO%"OzWjmŒA# v}QmZY8rj@Iv-#Te@Tװ'u;>Th*'}:QB4Ń'`BSJ]#9[*$-j"X[fҏ{XvaJmV-Q3D/Rv5C{1ǂ 𹖀 `{#)PH;)%ѨEs&35mZm(D糩'u8"&3s7{Oc D%}ҫ]D p*Ŏ\[:q&OxA+cwodB䂪˯f@SI7cPCJ:9wիL|_cCNQSWiK0[M5LƬ>6U<4)0 Ө5!Fb{ |[|kQ@%2_G?^CK%J6Ǒž"8r$>7x fG{Xُmkna :V^st 5fI. "(Bv]30m47rw nCoxDhғf.^4 ՗n.UB*w!gZyDV2)L[;,y>&D&ژX OفtFP.iiE*u9 zQ{={iz4/4 @"|t[+͞\U bLD`5ьLΰd`)r%.@i`EWw8 +L) .=8`U5ɕ{~ZS3,9!NO+l">S-@FVB19s-Iw]ںۚw6#nGď' ]ևMo~7s./%&)9X:Ngz12b%#xi"w,sl=N,۟^͘dp 0uMF揮DnI+uCݖae *W*R o%:X3^aC:G? $̸%;4\6ˤ^^k!O>d:󓚨^%vZh\/o0^(h(W-P/ ̓49kkY9{:*䧀A n`^"*Ts%3P#+o\x]n2MCe?/7[ hT]ĸ4CO)/V^TH*d/({RK#<+;71A,Cg$O%'.<7\gALZܸ?A>}L 012ftA5 c^0)zi@w.m !l7S,d5Jij"p;U:\"x$65Xel.DuJhzNߙ>9*Wwm{2t U/pW?!_=? %GD HA3KTx 6|d,O^0Ц7d ʺ|3(} ڂ@vsѡѧ6y^7}߾,W5į{f5.cT ė8YDpm%]Fqت`>?0 'hO ?|1dq0oZ{StPjvL +Aw 7'\ ܱAٻ'Bi &TMai]lZ"I-Գ4zά%pr˧&3}wOoݫ9VTt\D?g{Ckf2~ BB3[_:w !RG.v;}@5!˖AZ4HcoT nRWiT3!ptncаG na{ь'CR9yY+Ź qao.1 ""ܟVG5'q!9h;57!~5&k:Ocѷ^ ίLX׉!;G=>3FWziܗXBAuWP5Tœ؈B3"/Vġul8<8$.1HdN釟Cb!uDC`f!"((<ا/Yn };w0&(3oM-c%x):<ҏsn cfgd=6rz4&V$t{bޝ"!qjCxMf,<&8 7\1*7u.ʏS Q~Viv4M"wA6?2b}w+CǻZ*'ܪGL/ AXZ<ˉ*5C踺7HO)7Iw#O \zrZq4qI ̿1>}W|LHӋ@H"⛽?sAďIA y[zOGMA"8fmXb!^:7G3q 3?|YB"AÖ:z$;иR6S} ^Sf"M\#<$d=p2/:tf^ۈZy]ؤ!8ʌ3zT.5fv^lYގZέ@{Z4oN8m1lT2 Q'c \ØJQ_ 7S~NPG܉k ;Z"3Wf>F=Sp0-N8J2z ?MpVH[׼v,ٺD[ b9!n@;{+x#8y #IZ9d^7+:~EnV1 4qV33>ɾ Q5iqfl8鼀VKLog'%u *|IܪbDoS(>3AYnzI':~-z@ʧ…6r~FfJߣ@rǴ;g:nj47W 2_<0"<(ً^d!hdDU&?biitžr_u?3_$aU0aFM*?GrwIؓ2Yڞ<(>n~)k R3SKZs$AF9D/qfj;y CdyEkM}=\$l<` Y["Eg.j|9e{bV +&\ -FjYs@y8^ߤ ]4 C+Ep@{Ԝ~_ Onb+Zc\(P^u/c>MAߜ璈qQAkW82C5e=Éj]bd je|A3d235H96ε$dZnEZ,u3.-fMQ J->h+Cz޷c&W\8@귐`ASXZc_p6=ٞhS/z%o8Y":^lV+{P@桟; Ȁ.Ŧѹ}>0K-JS&zKC1:HN0W7akiϏ%!m8C3"57+,كrCFj8|WiI۪> l<&ޖ\e5PLvɈ<ɽ6Z_їw31rbHT䝨HOuuz1QCJ"\>#2quOnX(O5}O(vUDy1nC~t04S>ZFK$\Mnb㏟9xZ1fR_0pM8~FbޡiCVEuR6kj3բsQ^4o(0ZiB '8^50AOu4]yWIf3hՓkj_ !5JQow 'd|GT.1P/loY{Jӿ33~u#@n~jdA5!D[)qCJ7kq Z¤%btqvbAdi6U-%'0sWO!SrX6߹R{wIDSc!^' ?P.e(!&i+ %˗"G<k "ёxyfq y~ՓZx>9 iWJhZa=Lo# AU}Rmh ;>UTvXvRbG۰{%+ܣn^^%z,ekѵ|͆ mMdTFTarJW @G MH8W {|ׅZM VQBQ>YDiJZ6F=KP(]hdDBWk7z ګׇzq_XcP$+kVF:aBվ& ˰<Op_5ƕ_q|6L5=n;Ry? +[R-ؚ+^؊i`֛tin y׽g"s?M*(]rfm# @9х2q50ϭI3K~8mhp .J9AqDba\ImmvGM7[ri*4෤RB|#e+% pژd۰R.7RiR5Ct(F$ σTW6 A..&$KrYE],R\AׇSCX\OD+dW*`e'ze6u2sY\7ՑҞ/5i o+=ZV"An5M˘].wh]ih6y-'+pL5g*2{/죨V'~wh,˯ՆLhr_½B' )4(C5bw4j%&R<9 pA?lDi>A Xwn2*U<~% 7"OtR[MD0YCjePnH@`F&6Vg?f"xM)x @'}xh")E/DG%#3R6٣Q۫mיעGMN(q0o6gJؙV[1rܼzM(˫Ojvl Ayq$%h,"~(*b̎[ؤFOҠ#yBZZ"]VZIZ*#1|$Am#Hv mvUw^^QNcyrEK ]БytRi~%xFnno4=r^UT{DS?*ƚwa [94g4Sz!𲣊*I0Q,rѩ_S5k{WM)|WM % ʸM+1$ILulU"k>`BA)l>n闵f [Wf36m<[E3 j˃d$GE^ DN^e fnH^_[3W˶/_fb:^ӕgt p {NS<6b鯩2JѾ9ՖG76ZvC Ql{7j=>%y€$ڔTژwTZKϚRWYaa~t+HUzIC-9rE~*N:1 ܿ )g>qˢf{{拭ݾN̽  ;X՛(^ƛ/krwQ)R02e_sq'ka$ Ĺ:7ӏxJ G~9wҀB3%J#ʏ.MJSj+HRCFM̌7D^u߽ ɧ7>ł .hz," S[]wQ0x"y DwAʤw-t?R )d/@nk ݹ08By vFM[tJ/aW80\p>7y]0tzlż :Jc1_i-L)1uD$w~ϙ]zGv<;Z6~'I?Ed.[) ~t|x$MuU7 >I$Qh/?onpbLÁз.i._ReY@%<ݡ7u2މ3z|N' H\:NMpJv]M)>B.hQ @[ҚR-yXbBТ/yse&'[zɜ ^8AAwK p 4E,uE?b#_l7ŌZ~A [+p&P aI>娍2EYɯC,G8׉JB2KU?.Ml˺bcCЍ>IضI<& AK\Eɒ[%_P::*MtE2o!ȴTBr]NR  yuEf yqx„@-QD7} ?=gN(dOUnĶH\( r/kVdq7g%+OH#^Lт"ab.Ҵ꬯׉|?J_:$IfE{ϘtMM{O*o#w_j?`BC8eW&uu#"t0zvacqOevsi J[ v?'ci;mCLMNF)ȱK5Iy% }1ɎzњUkiܯ9 gW׀t܉& &c轷,O$9o׉렿qBYfGW@-::؛b&WHlgؖ_96TȽ5[k0f,֠=!w3-t p'Ԯ,3c䧞זC;u>o/0z;Ҟ ?g?.]&ZDAlrʱ0c \|&llX\/0ªrG2U#w{_\a9(Ȅԩ)⫅8:kg١<[lc aDR|>Z WKT@4"O\r;*849d鰭sT]FEwlqjH[pYuz4ٱncZHY%60]xӎc^fn7wV \nuLThfNּ Df 59MzVM%̸ o ю& .Eղnƻ[-Q/JѯUu4P qil^5 5LNɬ|'G't~gYc9]]Ӌ鐀ޫ3 |olͅc'oD޷_w9|S-w'N[5@s) Yh֒v`qu8ǒD%,,K霧ExU{r)ʣ$n[\i7%F6/&Hl-bBsB-D$| _M׻Q6|lTY0Kj) >.>C*9:ARӉnN1kgt0N'/lPhM*(1iQ 2hOb4ScEZìc KtFmZG WK~v5 '5F۽d28,TπBEE(P\sٱ~P;4Io $I(y$3ŒZոzpy1ײZr ks v[ʯުad,(cdy)t8xĸ8J}K:=g=JqG@O%&\9SP_W)G ;rF]ZgypB6?Nĥ_kU@c_S;6Xfr1#NS3!;Ki΢DyX@RRKʮȶ8f.ŸE>(2~iT|H?E(g^PoQ3ZhH_ vplaMy>"h\Z1ō?NykT0q(݃s^or۷tO$c=F [|rȗJ*懥<ّV1\h~eL#qt'R$TC9z CĈ,zG-"byxoƺz2Q_yحw($1w2ThU{mvZxmS+ h,_pBZTp",ơYaSbuh#u\^ #"XkN{1c4{:+ͣf4=2Cû| 1.6ѣK1Iu'< dndBh~A< Dt_"1p[B ׁmeӌQW; =$ hjF3 9 k M5PJo 8MqGHqGN}oĭG] m;bƵ8l"N^[Kn)2F9U֚E+$dS qKTurWٝC$ Uz%JUR GZH>YDG !s(ʠ%6k+Hi=N-G 8@"*[muL0g;0CӠ}̌zOCi#%[l0pzzJ:݋t];6ԫcV s 며gFwYMLл @[Mo DQT2uunDDID͓ucs6<~G!T$YQf)T%m%#yRgȎiPI< R7d#0&EEmRD+&2>(XQ`HTv24mr9=< 05ȶ Vf%y39y@Ar}枢T=Xd®j e=9tX 9[p)'KIa]6P*WǑmt7gKE-"7uM费k8SwqeAU faF}.7BL M;mPWq5ֳlL.ܺ" tŴ硪ۄ4*eB45*] 1ƅX OP#ɇlwiv*$LQ0%E&&+ Y.|r- Fׅ}.}ʼ(C*_ Wn 乳zGVol$G+WևE4S zMkk:TrLwjs7H3qϓa:$՞nX9jgenqǭ=u( bTg`&ڄ; }22}93{>B)T-#? Yx![ƿ3K&Mj"T~؆3Let2*=m붼tN 2f/oud]yXaͼ~r9[P#/mN-Ý-XV?y&$ToI%ބ~C9ꆍr}b:ͤ iymc)zfXO~3oݺR=whZ<(p;KsAtZ eH{k/Xhrݸ>ϰ| As+@s:^VkӋΨ g⛤2jS<"wKtʈ{o20w⌽-'^UƎi5\58] ׉1i[~EuX`{.Ǩ8EdޣUc_)s!VIdхs2sK{8/G.5pa 3ON@[˄>R*'/珌"Y*Fk|~CŘ hpwdE^gش89y]8\ Xo/pJ!OuMXAkM7m<4t<2;e"AYQX9z=xpl@(43{u5H\ж8k\ I]X9c(vG;G5Xp#oL[>N^گ& Ynhd_&)rZ:&a1al{hnE jGyp}/LFkXyrfOɾ+$ QcU)XgqZyĵR^[zmLbQہd*܄b7Yb Twqռڒ JW1\S9>U"zg)GpAjVՋ,kTGπkn2}NAu߮x}gΒ;з@MMfȴXV,n?&RSXФ.󋜘m@W51\=20LIO޷JÊ4[ ;NcyA5>qŽ\c܍7$д{ejDV?=DU1<Kb FP%trΏܑopF'H,{7Cr\|EѺAp̨ju/;OYb/R/ϕ6Φyfi1\e#Qi rl*eX(^%ͤ(TOj41GDvrս>B'44.lc@Fa!.3K쁇/7+#lWPtxuc: =)T""7x (#?VuCQ˶Qq;^[({Y4͙C}yS{̋nʤi5O^{:'OF 8jLyƛ5ց,pPјkk Sǟ\d_ 썓N ~H']Ϝ٥m :_q5vPKogYZ7zXZִF! 稱z]ŗXi%G+ɹF:DCq&ϖ,8T\ۨ0HM3'(\}E" p".%"\sɀqgu`M?LUs9ȤcQrJ˴C[Ք'4Xq%EONi3A[%偦;̕ U=X O.$̉/3rf[ x0;f@YI'%>vѣ*l_:Dك%)0Wʸ!!8]vM@GrĜh1_ rq.J=95]2AkW*Y[)\SlV6~Kk BlYFe4ǐUM3"EkdCib.~ < H@*4 xGwɦzNoq^RhƈxEma. 5a[(&Z^wů]؉ӌډoF$ wOg sv(`B2߉ESNgkG2HݩhIkK2b^^ (:mY~0v)axQM*,:ut"2ULxԻiU7a)O/YE6«@!]Y[=6 ՛̻g$H=<.zj8@8(KQ}oqTZv BϭIes>w}bҐH ͆\WE$ "By '8Btke_ t| >Ss8)F</|ͤxq)e8$5\OڳB+}l+#VʷKly705\m U;je+\[80QX(mAl_kf?Yw8I*y? 8d.,ZTU^PUjjȫlİay]f<ы0* 2 њli;/s6e8>,.fFvV`i(eR>4JTC4<$Rڪ7AJ]HiJ4;[ A`r_h= uj'؍/;`M>u LkvE9 ^'o6 z6cI-P,&+A2\@Z ,G?bֱd}uh(N(YKcQ=3?߫XcnY!|]Ti9GI_aW 'Mpy uHU;~"pW5JmDz\$,UO [﹭$v9' 9jE 1WoDZ t@,+-e#딄R[h{A4)ķy ,SYGM`M\"ꛓ<|&\caPwY\v3g  _TM<-^7}W"rư]F.~l)08@2z̬ eCuhX--22,ؒ! v׫.?NJM0UH/ \;iwp2>.68$vXkAQ찥|M4eL: U`ꡗ:c~0YfPTw &?U.?V]7Dl|.h7!_t?M:+mP#W+r6`IN\;..|NSP3"#$`wݚsC{Ϧ*6c](׉vH#LWdZR)-W>^=UsQ"yZtt4؃Y\3F.iH UʷrE 7d<%Eh8P2CZH@πA*5U1hyEgAoVǿ8{$;^}n$@JB&x/Ѥb\Xg"F])D*]3#\5U*T ܦ]x@f4Y?*`ASԟA\'~ύKd8Bx"2 OT϶Q᝜a2;h 3o3׾ AJtӨwnZ;yKthH) ͙!QQgy'"S .hzf/%|]kvw ~ɞ] c_\qsBf zYE5UgNW$ܟ&2A g&{ ZxnxerR| NGyB|hjĩ"defȬ7Ov'"M鏖_UܟuY*h)Mv:оl vi^ϧ6窖1ȚFY|,ZsN':]ӀgcLŗvT??CϗV7ɳz` ƨ[ F^nMݒQrVkBgM,a:#(^3zV6: $ɐߵ=+{l~~%ehXgVZ,PPEn$CNi1YBՎIb= \oi/z^g0l~wjfZ3GqLAg4~Óxe|U>MVW]1fVACH G_LMG;΋bdH|1momHz@0@Rڢ/f(d`=3a*44~W|vJEz/u`r.t}*-ek2uܼ)0f*H#|٭*p"G=W6tILb*Z8@7#3T@sO5IsmPf3JFV77'a`Sk?+AqڄDjO4JP!Č̗?\'?! w )#]qE` k*s;]!yCyqRMv$/NR=.[i&9'``a/q􀌘nB r}fNɏOJo]7h͓ezȨ$xNa7^XP=Ә!2Օ bSE+kLB"IO7G Bӱs0x'H?pvi†wiHLF\Fʮ 6[}><vD i@r)P,qZYSύ͍Casi' )džKqqDl9tVpj@Bp @a+N_q\Z3pvd{0zwG397F`} 7@iS 7>kB%=[?׿= %L ]2F GpK#{$([0;Ǻ)E<#pȸAdXDQYoDyr,Cxƪ}zf"$_,vN9+8^&!c|M1䒈-cDd&嘚P*A ۥjni{jNAof . UOq$]^$= MU ԞhԶ7~+`"s̯XB q&phه?ߥ swVY4K @w?L :'秞V% Տ<ƂrQYLlwpnV:WJ^#HƘ[tm2DSO/v( hMF0?srhaH x%3&۱י[߼Wu1{}CB &e3[Tr?UwQ{2 v҃UrMu"03ᆯa#S2x im f?܍GZ/[ř }zasS,<ƾ-I`2xTVB;=vGgl7ͷ&,]9ey~] 2y) p d,r|p!M8mbHA Di:uh;ǰ2SЦf}q&չQ^\9@q[Y`D1U>Gܚvض|XdG`$+ .^7CMRZzGI`)AE}~ &QY_bwCy:4ɜz=%q=h(%R3O PԻ-_іt7@cIn \ L)+۩ҕǵ$>eib"U&R7sA0d<bK6't}ymhn"yY|JO4w!iRFh pڜ<؄dm$WtmVT?&ii!S*_Z6v6)x4 Tt6IerZǡZ^Şrw{ؗYPA-\9Ui4=YLj@e{wQyŪvcLQBHt)bTS_{$(hm={m[#HuziPS7phmα ;<~~!K\|ђGK ;>HդԬ{j))T9dO v![xbuci`O 0FzĒN~-RBKϫ̍&D~ dh mO@Aq惧?Gy+i@=/X`خpa9O7 |mBu^}" =Œuu yLZ!9VqA++ pN\uAqzYc1'_ġ I=2Q3 (iϕ2 .a7=+ m_*!b9!IDw8O! 4|VRuvE8}=S;A"35{엿D p+oSͺ#4Π5XZZKNV3QDWnPwahRԴf4t뭎HX !3NzwǛ I.OT8^%Yp_bDSZm?#0ṰMx1JbbT 4A0ϤLڧ*|aQHo`S *y PXg |D~Ymo"CI#̫WbLo*#\AQ0-U+;Fܕ+ӏ7Mhf{Iᆻ>M_=uq&Im mgZG]5id fEZx9wA/J1OcwU࡭RwVdd鬷yWgz59RĪI/\G 3,@fq6 TõisR6oU>}OD7}twNGka%;O9u}w}o8TW$+oWVY姸:ŮiƷ烙^>;a}L]?[P)7_ա=*Q h!yf[+D;Eǻn>43{g6\dcWkf4FkLEoR^ 8)KQaEJÍ!A 6q9)g`ύc˫C4bjXџtiezxoT׍iA:O~wH;ǝyNhh+@Y7;јE*klM8/5ΨD3zOk|g ;zYfQ_4" ZhVw@y8Pm~et^`O+DB o>['V2eKcF\0ryb]e2+b J|7IqseS~nxEUbL'v,\z"M+dsd* +9YsUk_ɉk9J]z迗qhHV}=^R6P5_ar 1*+trJjl1$fB^>VAR,8?^{T5O'0;Aˢi8r($exKo4y_]e0q޳qǎ2Z8YWl\74xḱi3U]U=a(y8K65?T9 Y$L^k9I(兲ut:BӉIr°2ـDaQ#:=TAaPd-rү_yӂwH(f'[Ea$\AkW0 Feµwy{4b,Khr8)+rÐxahRSh.`Av CĂ av .de)jtԹ8懧n5-B<TfRxc /YjBDQ6;bqȁ?- Q"UM7;Z.yc8=,#$!JzL|?.=tژVߑNQ#:nhd'.zׅȀ/qv'Xps@qY$Y+=8FV(pNֱoȵ,w6N"HR&M%|٩//YO2^EYZmaM~"H*.BV ՐLu$5! f%w{[u٢AYX5UAIOb#>} ""cg㎌Mby''XaP79xGKǣh_,H+N_ެ잔IcVeGt*\iG"N'/4aeu1yveɋ]n ڲMWd(^֝{0RzuomWmUDj轢N cX9w}1v̺Ġ,pN2gÈa~UO|dS|' w_AO.ɟ=x4FG{ݛ.͈MJ`/DrSsoQܩY2.g"Nj)Dd#L`뤃ʻ[`,yW1J` OLBQ s_滂= ChEzqp3\*J#Vyxg!f45ɀ'%rILM#^޾ǩnY4Hߦ&vT'OaDjvɩ"18gndţbWn$/&)Mdy 8LAƪp8EyNe Tz ?hQo)_sZ-bj ˼u"Jv4Z5SbIκ>!Q@VP}\SoL{-%uSdm0,Lm:H6H,ҳ WjByprXYddyD ]ܻϋx/ŚoVv$-WH]s|F5t;IP=? qqf8޺Cs DoX(2 ),j$>dրX/B)5!z,e1 GD#xCp _a\1z꫍  4"3O<܌ь+L)/S.4i}w.Qƺ KK\x$ ޼tx@dHTncw}✸%KƹӜ5sCu8]-s[|]'ׯHq(#rwO`ePhXȼXɯI %>[bGqrxÁK8Cz\ۮmVHC~l2V-k9@>sE#fvWU *㈖+ "ɐ–E9 nt0VH)ILO*yڻ_NeG%q. hP3rtت`@~wX.@YZBF&@ҹYe؈aH,; F[{=n#ܞQƕ<lYyِݹòM{y;Rx¤qs`,g Fhm!gNrD"`)qC/Ɂa$a=.a=`I+M+3NAzRe TXp5V3&*v1kMY`f9,e7V{,C(,'ݧԺ ^Yµ_Eg*̳5=pE}HgtJzg_ ,~/@m5>WK1MܩtC*U;E|.7܄=Mg@QkItw0;(lhYe{U-&=эtpJǵl}S.'q<,>@Q} */|-[q*\+l$u >Š׿zO#Dj|Z>狀PuƵd\pGcEvi./ PII 3􌆤~(A>ð Zu>8l31u'K:uiҾA-zt'~'j&~f6\aܷLVX)c0Zeٌ/mΰ3SX*U$u j!]*|!wko>FT \N@%p5)0"WD9⽫Z:RlZ}fJd:ro>li. + @1YP9֠vmJ+x ^OWĢj <:_;.2 Q>u}ac wF>) B{%qHaE bWȈxyfL.ی1}*]Wkr̟/r3hW@#謻 oK?$[gtY u;H6U^#AGo 3cXm?F%D]W#7\WXWӟ/JOר])cs̝NO@^$D26i}`,4ǁ%fjO#T9E; 9)?Ha/gA}CHZZ5MΡ d|/mz)9Ӱvc 82^L܄n;л!j )V{8<H 8cw*DPJÇ,D@yP檾{amZ @L d3ÚM3'0x<>N3XN}]yܙӣP5LQ#D|8E/V97" fsǓtN0#" m@cNSd88_H,ޔCdəۯCƦFhؒCQ7t21%hfJ'E,ٺ:tM 6lXJs Z@#BІo b Q}>,|'qf%nSActahMDfY&<$f::Uq@,jRCEL`~CjR9ѵ+ zck/h|kIs۴dIM, Ҏ!v06D{G=CzMJ+w3ky%eco0NTԯ* bҫx| "7qSTl8+eVmǓaV?(A^k^/'%1%ZS^M:lvIl{R<9>{`~*HU$>&2,|9*_M]]Ջ4+y<2 x܅ 6WC<]ـiZUd!q騇 ˳d0Cf]8/wA Gl>y&`k)hr\)(䀒|cLU1㙔g F/FN Utk#HGs"i NQ#MBE-iVIq]t7rd-?X!{ ɣ {ںL4^GP!ՊR/7mNǯG8W9j?vhhr-PŠ^w2xD$[n \]|R+Jp*"ȑTl @" &/I=҄ipg99R9 ^-^xS)oĩq:`̸ߌ?d^@i"0Y~5Q**`&SD{MOYgM /, :g,=vXl !&/PJ% 9],~/Nȫi,KT=~{^[fV"NQ6-[;dǑ+(hP =$?54bIr1W!cvr_3MR qE(00[ ޼VbΧ}$.MQK[(n K[EigO; *qZAdaJщ\\g2ːhHc3Kf_?r Tjٟu,qȣZ pe;%+Q(}50/@ټ4 >Z. kc0 >1a1ten1+%hߓ2iqpiiܺJ)HP{YuJ 7\_GGe80)FWM'Ԭ.,#P[qK?lfV2{ ӨK/}X?J 1ֆRK=#tg8j٭jɝbYP?O\cv6x鬿_6{ྪ 4TKTtjl]U*RXTp@SĘht r c_dnX%Π0G)ʨ,^vK>S}΀vM;L@ @(=4:h0n[ߏ;@!࣠1 ">c\.Ԧu}ssKNO~? mE5] ZGɔghĕU\Ǔrohf\Ca ?x R˛5bagSLkpBG j}gIɉO)PYLP~[(|guj!BkͨP^B`][Y٦=Yr<"ƶxXKvWM* Q%VJm?*eSo@M/ ȕ= #lҹ3Ʒ0IDXU()ɖ}7.-$=Ί.3s凬2t݀7_am iH!\ì&xOS6o]fj ͧMu&VXGI&)jo4){; E>.ۙw f뗿*R>r52?|(eȩiƴo0<$&|$))0ĔɨA06> mKGkm?ke:l"gS2}G}2IF,P%M1|x9™5-n7}D= W%7n Å \^/6Oћ~`~v7/ *c"L6D8d=s$99h. ;I{RWTv>UDDgu ,aRW}ТyR.i/|9)x9۱0H]o8>Љ&R)yxg} : lEq,(lP_M@& % Iw,inj:zJѷ]ObZ*7Z0fE`$R;3{ /~ ?{Q8;cUb3as-%4fҝCU[-Z?_߾|Iw~ 1liU3VџLN[~m1!&*GjV2d0jA$fX򎯏l B@S]dԞJ]kB>Z.*)|Pa."E@W(Ċ㖵`;u8ܮљUPvXWtIߦA C$AAxAe,7u!҉ADlwa+p3ՈAgfCm ?B:]GąQ~ehspYV'.,ZΫexN/rr^<%aEJAq6AR3gD@f_?P)cێv?΍iFoe;ރ/J˺2g;ZȜH<_ͣxj K!/^A3 nmol6dXIؙ!۝[E!ǹv򙃵ʿnIA&QggkZY7;eJ4 Ṑ]=̓j@B`4w떖vzEԏ1=qL}I,DPQ9 ttj%eمMQQ`I<_pԅ XZʾ-A^}vE;iޮ'0rtYx20?/ULZBhdAZhbWPGwHSp/bp3B[0 sM&ƷatI[M\Á Ó<_snE0كu3-zvFVE}@-li+!bܼ |eU]J<&KJp0!wn@3znQr]8m\B›^ 16݊Ps0gfk/y6xϲ RY25]vgcs4GuFۨf T'A wqAG],_@=>hTE_Z|(G*b!4,p$U(@?E"JDo@.Nc0 )SS);˧0T"z )lܐTZ$o̎}"-UibBAjSzelo&n!oW'-!oM`D5tfEDz^voK!])ooIarpں g1eXsx+~"DiT`]JRxphMvy22_#\6@h6xB3/>V7^;d'պ|r]H(4½ļ*m'ٵxpiwb'2lITa`*|![Y܀ZP,N#I>{D̡hA;fr_5,D9`DcƱ#<"" |Cxia/UXKv A%zlx!3E'tE> |SǶ8fDajұV }GqaĉI "η _jܫt ZmV;'fo_I\>N`V'Z|s8F f'fEL bH?Kcg0vm ;Zrʫ^Cz1h#C:v/hrx`Oҡo+@קNoq`CB,%ڡq{\=twNmfc{[aL;:ן,76U&`RůK Ĝgn.զhDs#udo;ɏF$ORv~4pMW),ӻJM|'MLŒִ$Rs~>SΨESܘB+W}`8P(Ѹl:)_ѐ trMj%v`V~Ýk`#|}Fn1,X{N4vZhH`3⸫/󦺈 V]ݭkȎH Q)[yߕ|RCg\JVWAz?H"ws'K_sv-XJΥ0iZP#ퟲ|-Z6OvKFK?/FizԚ />㛖~/iw}VMVqar@$8"BUD2/eQ!_| _v%\aU<@=0e^,ϛG,\aZ0;h@$#Ǘ;{ZNWkeb)g_ 2f{Gv úwyޛ VtZSh2u1a?A`19Oژ=*d*.Z.i8 O{ TS_x)'q7iXD%H*ikb $=r.>>kcEV7ɭæ?oyKy5 Ib_ub <v\s,:ƞ9 XU=}_! s8N+'j\WPDCV"A!$ MMY_Ӗqx?oS}W ~iU`vuβ+.\AB֍zNCGovV'h nH6;8`ڬ/NKbT<l g଒f4Y`0EOX=!Mzy,_Je .qy ` !zh~Xr`ߒb^j~ fd/-;Kn҃ qXTdHVnCv)^AE9UBQ>`E/e;=kxr^edϬJZ8z}'wgC[D OݳȨ'Yp PqD-f;2.u֭rizՉUWU93tIߘ> 7F G6`±s]I]Ny› T`"X@e=M彞XF1ovCPtP3a䛔}9ٳ E4Aξyv Kj q?a2] @\MXWMyW߰2.Biҧ4gL%UEY ї8VDAؼ#$b,RG0I/ʅ|_\O߅ S:s ghBdkGWt\FtXpSq ^UKWqT\PLkm $\uxha H6x(SGh ͹ 0cgd~蛤( j"\$ˬ;eMl݌Pyoߡ-#!5?Dq(?uB6#9۟h7*  nU<./8^DMf_J'~坻Y3@_g6Yu3ΡI)`ۼv_tpI55´Qu͓V}V⫴}p;+ZJ^[O-[fAyvl|\{n|VÇ3{ -8-UWZ)ОlgNT M q>N!58bEN⮼J&%Aʵ )Rj8juSi!@ƌ;A&op|t)و{Y@C%z)PU>$)@KsP sfJ7Kv*1cUHpd3 4T{Qn';}L3u=(s㱙)1 y\ZAWvAn?d~x̌!5% Ck`t{WuK7Z8>U`0 xD1vJT3=Qp$Gk.'Mu ŢYaO[LxLS!F:VL1$ETzzF?~.R R(N՟ui騃|\FВͤ%GC73lrvB\/XC-N9~s-U*KgdY{OYl 7o3J}yy2SWF€'viG4Zf4*iec|{}&fQNZ, ԀU"_80}8HwTVS18O.Sjc ʆZaRMv/S.FdzsB")iqICFr'N-SԈRv5Gq|}#C-K݇HT4{6' ]ْx -Y01VZC&Ad&0%3˥+9yV=x"YM᎙֣Qڷcb!ttuI0Eh hbzZqG^;=XPCKxd#ɺ#i `IJsªX$ %TT8)ok uˤ4Q1mWuW{0 UH8b!a|/y9ȀQ&!]M;pQ rH\$/*@PjUHy+̙ՃS[J5ԕ,ڦЪ}nj#U$.xl`!Rlѽ\8~77T*>5ivV`1YkOQ9+3 4^]LOmb=ϣy5 `wFDR`{dLJ(l86>MD0BYA^{㖊4|Džݴ&R8 Y&0Qk_`Q݉H9l*`yw^֐6oAyJeÝltHyDsW ҔJ[]!iJ WaF~Ev,Eme!4$~)onm r}>%_dyl \fYm)!W֓ ӆ[vQ]!XCbQ܄7۫5Q(|oӌ~w eDl:[;}Fh.ͻ$C+gTjl{'4\W^/NJ!?~&S_ ^X<ل-PûFP&S{ X_K:_g<ɸ)*h}?qn~;C?\/I܂*O1M('$SsN1[foLDӿ3,E<Ja#@(1`e/Ͽ#OUr:[,A+E?O 'tJg%`l \bȬG+n)[ZzӁwb mQ,׾Π!ΡPx`T;_dXK}qKZo8zY鹨3I1ˇ5<ؖO\NTdos7 ; 8Rq*Ny2ƈjQ2g@AOk8\#IqţADRUwqI[PL6ސ\y;!Vp('`|86!p1G/^bϾmEPwYM{I87Avb{p؃>/&uS TrbcY*I}WajY.ISSs~tkQ(4D "N*y'Y=R2*2RY}+>Σ̫,oWm/gFe3"0ڢW:F줸\G'ָw5C!4luTrXl7-(PD`?s@C0>as<W9U+M5|{u ضT7?j%*g^"nOGhzx(F4my1bɁbkT <0`XsA9ImLɋ 3ܜm6;CP@LDNBs7P-r!dHfL d`ȁO;9qx#gBZ ~"@MUvh`jL/{s;cIτD2տ^Ox3O.Ik441+<ݴSr~BYɈ#r7A&Chj4Ö y0&Q !WOaAop`QMbI\TT?IoѲ#4/2ٰ>cĤ6OOXZ=Mz1,2J=K ˬb8 |2u !Wt [waUܗ@ƀ4ZCsrjL>zv (UHpYK\H[R#0+ev:YO6;GB@#z4ARz{2GCyem3}̢/ (&$h`- ,7pA(pfVRCqk+6U4d&ccp: jLWjpbp|<6\taF؜ !a_Xr5d OkvD.g4F2{mFc'Qх*>CM 5ѻJj`SGF!>::xYGҊ $;J}=fU1'E(-E /9˯Ƶ>8A?h\uNP13/Ow>xBCIB] *MQp>PܒACħϷ}y"v&hl)kd.fG[Xo(IVX.P(z[ &BEZ:@=OK>e2,pˠ;+aA-褮W1 "Sv]G?>< eDxbc;hXwepvbQ@3"i~g,? *D5|ly?0v3?dn^˻,@4|F #;m!8\Ju mFjNVUd>*drhUs~ #1iN8/z[`)pV}'BԬ|;c%'a{sk?oiVHaa=N94]Mh'RtuQT(J>Ìg}R(h$o[ϼ[HO{_ d%/n@s4Ls/"WatO@+ BElR(:g|bRm&cWyQYj);O_YQGR='v[/zrfWg%J*!Y.4Z]x5/2bht؜cz%P %Pt]^}wkSn&0DUp1_H.N8f߭ܩـ&|3>!Dv΁gX%"lg47Xw=͎-~jUDBr}n'1B'8hh"Kz|iO'f?Y>vÛ.SioGFweGi{f`NI Ū,8`P&$v˛}:s+4XHj'Gǖچ{i:ڎBZHqx(;Reǹa>u 䓻+"d`KvFI*8P 7cOGQ7uؚP'-]:%PꮽI`v59+Y0W,XpQ$A*Q_|SA2jT5 e׶hYUJbW;b=Ԧ LݱQ 25WCyY@Jmdw+ǔXL%SVn! a!kH" ~)r3#vO-:ɲ0HXMܖP%+ot.+߄}[t'usLUgd1c NsP.Cߕo8.ȋ,_`?420ۛ1q#%6Y eTR%vAS@Jg$(GFc{VҠئ]=zk,X گ#2kN=uXs^mw57n3FsnugZe4ju5EO,mFH@65w-ji蔞AzZcߡpBuDtZwTO,X@YxbZr:u?upZ[ -jh$ ?8Q8Z8@{ٳ+-FAv.KʽaNZ ?h%::[X% .inS4gjA#."- "UYc2`J*Q*/ê;ԶhYQk6t1sB lD6jNl&-}MX{r+evKDZjҁM_6اO/I&0X$IzY,n 3,(sxEۯsƀSك13ܖ)m$V dk:=ކ6EFLS.FhWD\e qe 9OD^ϸ3c aHrwfr1Qs?VA.W%XT^MnY7e2Ee7n1,q 3=o,Z}F@yHoCO>Gn 45{K*B Hq.ƪD 73:w.C-G"hT/AJH$d# .:Is:ַPQCgYZ485977c2b21a356cd9b7d3ff8b2a1e2e85b0dcae8a4269a42aca70396b3fb4cbd3bc25030d219b39 83f4ecef7c63c228d52e5c4edbadb14ee6b7fc2df4235bd5d4dcc983db9f6e48cd0bb3a6814e3373