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 %tD ]/]HOL-Analysis:threads=6elapsed=279.603cpu=1229.884gc=85.796factor=4.407zXZִF! >t]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jlReh/*k!S2S!Vy רͱOH7\w#:->Rl3JU>~,;kpbӄ';p6ف;Z[#B%}>纸ɹm~xk>,x0x MU/?y㋴cszI;/&)/H`20!KWlɥ賾t4wlL~ZwO|G +*eM*ؽWTu@|lhUc_Ol'KQ#d,{D#\B9&ix-ROo˫}y+ hd( 17^eiC}m,'_ӫZBD'cEԧӧDck8ёhKCZFt0Q55j'2hHU4`̼o0h#(&:nyPT~M4t9̜F"7>#HѢ?û"v\Ypk[:d< ݆VqQ>B;Aiƒ*hwIJ."j6$0hV.(  "/3r48sn [+E,rmk$8i*Q__O9L rDcWp{)ZH}8k oD|RGa[naUBM3&k$\=VNSnn + //AsB vk[`MAt| $} BƮ!~m vnWlsuP9"da65(Ǻf{nG:]"-)fif )ۺ]=7ѡsʂTg=9(BJWJM@vm>I6ˬV~jjrOL8uySLRY9894?Wʇ3v$~O"*)'y%47~KW?m ؈ j>KPՀ^C=o <QbfQcH-sGjRj,RAQiG]˵.hӷ=IWmb=0a| ,C'cQes s]1n_4?Q;3EeK54-4'=#*)FDF 6{DUQ"!)!waLa.U -CpaJzu$7Í.ݲ?aZ07n 8ޱ^J!vyRa(w&LQp~RN, bhqcѦ+J2i]t׫ȩc~MO>ue$&4¬٘LT3 ϽkϒtYvr2>SM5[N+=(GFIT_9̞i-\/G7i jyƀ@6zi: :F{ Rw"=Mٯ:| "7)eB!% *A5&~iž%0ȼ'yi{tltPcfFw#o5Ҁ&J=m.˷Y)=[e0} ,LȨmofai:}_R2}jgmT3ls5+{ 5^RRb0%3A? 1("Y88Y>u䛌X ugm*͏{DWmVgƆe }M*AAyKIV_ X|4E;Ε3Ǐ%;|Ey:GQ$\ԽĵSy?lAhhk6zf箽Fkg9۟6ᔓZH0HW|Nא=罦hM**ITGBWUQz{ZP9 p)ðh~Ru8@J\=*`Ri,9j յ ny< g?Z6hʙV4?C}DFǀ`\ ,!Lυv{I6lz)gZ`< hdsRTj|y6帔+2;!8HxlRsl;_65&*4 L1.,ăVOfqhYN_lzJ/PVʁ  /cWλ{<}ƨoba*E? Ùn~++K^[iS!а:=Dr$S>5t p)53R.|h^e 8}qY% Pf}ܬ8U΢M!ew;{b;5C0I,?G\!2Tf \znsWp2Or^e\5 uYFk[]1Mf$+0;cc>WbSZIٚTm]4 isJPSlSj`+3YZdOaKǼGOo{- HJ'!;j [yOǩ3.\+nd| Ļ|ӄ"l2$6z7RDvDm8=/~"վx$327Ee4h^25wi :;M*`e{r /jȰ4o׸Y%0`n^@ǂ;iשg=1 SH؈`x4,|S^Kj@aVh`Uk9WŸ'}FӏT+Cs2~NnQ==ra9"sJ?#7\Ը-fxd,q"@ Y.ؚ*%^#kMBT~}OB-'@"r֝ Ixy# T'w51=qK;ro?@hKbL'1MQLDMd($Ϗ*{vTfGrwtmM+6衐Őa `.9w/QjK ^A?\kb e+eܹ PW+{ozjCߐE%"țuw578'Z$OD?nxpL&֛Zg&Y[^k.npyr&\*P0`!Da;,k@찰x1:׊{wKAN[JEټl,~C9߼ѯyבQ_yЪdBkdkZ rV e9f9¥:&2?YWWS{$ e=w7-t,F.j_{ ƅi:`"(%73_s5Q t |*-w&}X޺[vPam OvO?/W&ߓkQe!e:g ֒O?.9Ǥc 7q=Y$l_:j!Ol40 U^_yP[ ' zVxXF=&aZ- jG (8_|GDG"Ei= uE"wƛg'}=u&=ȉdK6 faMYaNyXw\$\Zs*1oSA Pw= ͞IoOd!*d-G~ Gj"Nx$o3'!)/Zc, ۇZܸYmP,`{'lv>ɧ܅WD){Qy6LO{Ey3!CS*6&seG]<m[]XפH-WSfmwq:iA*Y|^:Xw`崘(w1/bTfEj'ʧc#w&X@wOjbѴx&v>)#$T'M쵥ӢJ& R@i˺flKfe"b2c}nJ'|bbQ}jz` u}%~"gaHʤŠP#./p^؂@aWںS Acc`tS_6d U߹y_9k Nq wHJFu"ceu`DU2 57FʦiÀ'8E[6RSC1z,jhw%)dGܗ#ە RqV"֣4_L;U'׺8Oc7J.BAPƐ&"rH8e 6",*߇S&|!j+xʧSYnBvͨA$o^I ) ḛV%AzSH_dQbJ_(m4<, .`RF5eC^%ՋCl@W Vz-l3:ۅ[j2Ԭ*XN kY9_saGo{3(BWЇSN3|R/ \+FI1kh"In Q^#;;ŗs{A&ctqRc=HPQb_c׺kM<}1ޘ|*TnYq. )MOJVgǺsKK`3|>!N\hW[w,'Z!g7ȣQNb.~Hݕ:|ݚ{"]Wn^O3o|{"fqsީ?jg[x>W@iǭyNҁl!BB,zQC4xhbE땖E5({FR.!턼.BFcAS p|r>pp))Ls`(RcuׯOCkwqt [k#n{!lX=^+ OU}[UU{q1WߩBfzV|U+ՀT9Gmg`{6>\.?(濳t*Hmc|paY(EHfB, ?s<5l+\I0YLeh 7Ѝ:hU"D㿧R{juu=3> !0ק](24?C""g$<0vl*ŸlTDiiOmaCl*# .yPQB2|E}E=U#Ȋ:͐ԙ4ޥcGc hws ܩ@^&@BqWs2mx}8RЄ8*6shm]P++O8]mLe]wn/1ka hݘ"ْȜN^| B}gt= }0faH:]m,Rgvp._٬l=ʵאX1bz#8 ^VmJ Bø3@;#lJO-\pڸ87y=[Е\y`Q{6u;l.뒹26X HHEya؅ HQxLBnX~}QNG7=-b LZ`4ܦfӌ!5 }]>ldߦnsXO.'D3SawRWrPk[wf((%ۅѭԆ ]-2B\ 8gyi}Ҡ#?qjՃ &#B J 6MtiCt&M%a?\ Ooa9ܦQ3"[ d?s%M4(t#ͮ.3oi֚u<2r<)!d%2&? wfJ/=MiQ'ӕ2ϒАJj;5h-a<8e"sOp WN2Frv* w-pHIpų.tɪx{Q;j٥[\玘4=:#{Uq0 #MdXJk}ǭ\\j Mb~I,$ߍЧ ?=xbF +Vnxl}3X |IR5y5c%!dKa~~zH(iT+w$Q>55-"0P\:8pv|?^@5o/K#\ğ8\ּf [CX&-=<9tي +YEZBǠB( } >%d,P i֥uLat>6=hw\ N&ձ&& e4 70wD$&CvfAb_5^Pi C_:k.O t6H<]˨p4FJgZQ &U)Hd'-!"w,Wm#vҗJ&۹_g쇎3+S_0HCڤ P"* V'Ѽr.yƞ165mQz$2:WҾ-' yCc_IEdѿF-Yi~<-C[>"#K 4ҎTE  }:O֍?UvG3ZΔzw:h މvWPB{05 H s8 G_栀8cU6nuH#m _4XP쟴5XE0*.p wp*RS59NRT pn?Ю$sSf lq1d$WM^Tn1QQ.WᓞYw,xy#dEpw jn6$ 핽g*Pv"F'> Y(Sګ VlPPȐ'(̙viLR]ߠ>Go0a~#Xnn+ ^\1#!z6qiIrXR D rmZ3}γmk kA=g8s^\ X{7 8sbh_(Z+hw\F#~wz.BʼnR7l$wvڝ/D#qeT2h5^i)r|u-i{Uͩnq|BY6\UmTuyf$̓Bܭ[9U>n\)St Iƭ<_x`O}XxTb*o6i^.6wWoM܈Y-7@|R )c3)*eڟTq]msyXMS`5AW~0wD*Haz >4A# M۾m@w&\3å.C۱´KLʏD3akU>wa#2گAan R(ݺ$ﳣlbt6H=!$)}z<k(/nUtO nF{kVS'w2^S&L)2#!PLm4.Q믏s7tH2n~3RR: l)Yv6ƓDxcreO+7$qЍ! TzCXXSSST2,,/Y=\CNLc 5 7 ϸoN #k.ڣCTN#!gF(;xIVeٓ&ee2OURƨSyS{ $+˺'>Fm2daa0d""SGSֆEgjd}9?r#P~́[%c ahɢ@qUب˥f>|6#Δ1uwΌx̓ކh* s[\ܰc'(rl$"&8 d$t#-^Gw|e;,+s U9  6b*j[5>@%纀?mϣh3UĂ͞M+"dYD@p@k c &|q 6vڮk`">d_"XGԬUfY0$kfUH&$@~; gʄ:\Kee${AG%_2S[_Ӵn=ڊ'`̀7qr LYʧQ{S3%*2`Gy}lSu}%;EL=,){ ,&KEgwĝxJ. ۘec5įn}sA'ww/̇a6}=Qa^m#/X"7}CӀ1F<塳?y*lep*Dp^6J8 79, u]~Z,X֦?vS; qg`{{@RZzcV9 b[QT3X܎)Ѱ޳*m 2t&5O "됐}\/(ʁP C`)`E4SIp6âg :a#_J$/cqM}Lfּs!/ VlbzZ%lZw~}I P9ʽI; +2r+=a.5%FO񵇈NHh_ [3-3O͜$ysLd>['™P] $0HGB"~ba^ypцhA OPc;'d-3Y}b \h=\RyZ>xE^n&;`$c:1 (6P߇;U8-'`R{[Rs)yۂ|ښ6_F EYqO>w_Ik o' r=9_E^M:U:լQ#/TY IE=0K ׎ t MHv%T!{y"A"^,V`79:yl˿kM"ܽA`xr l61yNђ?o]q|EvwM}-(FN3B.~kJ')J8_Hsqj3邨rNh?c݌hS;pU~QO;5X#YO3(>Xkhà[wsi66Ʈ؊#@j=dpeկ>ݧP')?:{;{x5(m48y%K;fГPɾwHw_.J7nʇGm揫C"qEK䝬!9x$*<59Q^>>K=^IR`W/|M3ܝG6@H|[ؔj-;X*8!⛬GAZN\J@'-ZʎAa[q2~3QRwILinu$C2\.:meX^i[p2?g;ujC>)xr/8n''+}BFOEfGNո~1ľ |q*# kQk;*2\"\2$35!oD *Gd<`~eq"/Pm%%ĕTM/"K5<S!p @Ӛ9X31DWLAgo{Ll\4!ى/M> M`:mH7E^=\lzu廥>jF("/Ydk?8\~DK?yXfu+>JZx,L^oۡ|jEC3yn Wo7|ONeȽ_o|-[[(< D ~,`׈H7?R3V2J O^Fp+ԑ" '4 W}7'Ĵ\Q%NWNj8y3ljB}L^oQ>j[>Fv /Hi? )ɯlyY1F4#Bǰr&0et]tA tK) c+nS 1Pv6w^e<T92s)x&fXJIK6lJA >c.2fi]a?U;C\OIe"'qhOőKU# 2Oey~+v3ZZ&e 4tT!X '\>,/6 f]5#'FT/Q$[iFMz _ګ ½1n (8`#][U+j_iګW2S\L_k)d)޶F $DSȒ;ckjkt8i#ZWRl8*hʡ#%4jjD>7"FYhi u328LUɲcɆžn=c0% *y@$b:NddʶVYQPyOza (P'Om;J7+} w}gYZ7zXZִF! !]ŗXiɟ1˦r!cHkMeBd4D*?8teʚ@xCkBHQG`l=iKAB%.Q1Uhoc0Krm*¶[8|NZ2ɈJ,>SY<W)Qqo >ɄDsRͶ4v' i}} R-uoEK2(KFAQ`]/4lf-!G XD`5嘦g9Ϗ9#ú4kYيgјF5%LA"}{Ck6PF".ȋxi={ʖ$ejͱObg~U)?Du,?+=ZW~AbuTEwp9DV2N8`t7u+O[ٛ+&.M窱:V՜<$,,q\r &(Jbk$v+1USpeI*ʔ hY!h2OEƲn4}{}W;$P+kN(^|舚1B Nbm9Kvt6ͫa5X-A)""̜,==]6\X\al-tg~K/+n-iUwN̡t7rR<֒pv*ǭ{g.I dqlJeb+\b\P;ث 04%ˀ5r9srd0;ff@ޞp[MS9S jv&5ݥ&&oy~3Q~!l7`qh| -)80hDn5iP.8 }00?=N|s@ S, Ox%'jJvh8#n"yuhURs\\Dӭ8zg; LJ0rϵE|`x sz+vd֣Y,`WI>4uxʍ=q絍\cݺh<67ksFE Ɠr=}T }i%XTw5ZVutmV&/PF =5r(Z"!_ԦߎՙCPv@JYAEsenD%ւ(ؓ̕%N`ق J8oy [d R{?`bV\ٕ[%gi "$#' qfYOE|?RR0ىݚ4m3^f *mڹ3;#7]0m5OPơe= أ rm^/6@6en,c2'*+Ie_4\Sˍ*)MymIUkr|{ 384<`wG:[a0dQByɮ? lawA?nHD尥eppY<^=5Ea0A WkY+)ܲPZIw皗Yt`p |lb-#X7CP*`Cb6@:HtLȅ!CՅ-ru -!U+'yGWyQr:mXS]nMȡzs#QHH)y\ ,kH?QNo5$9jNm GnCio] &UJxɉ+Y%iOsh 4l;cߙ߃P}ʤ34Wa9B' 4.I&gv2d~L)uCQ_<ՉP=y8?OOP71p6HkUcEsD(j=e3=^!!:jWG?!+Z+.m]U7,28 [z;;dD8.)c>wS\CE.~ }VoEz|jr ZLw2l%a%3w-e$C$Lypߎ?J[;+F; [2r ]Y9։771O`OEr>dnB*5 C_ pӸN%S0u Z!ɤDž4ҷZ1+%t 1Ӧ1R{3,<%0)i/A;Gx0ԲcgSLcR"9 J  Ϩ P^jc/`g6( WC sSZ-IO yZ|^x 1SCWo=^Dj(^hOX7g%v1]ׂŒ9}7oZT!8q1!0[I5g?w u+@ԣ\XSHybQX);"FK 0 㺧EaxUSETpauJ6}:wm5akTa]xqжyKxĉ/TIfNմ/䛾*s ŃH=ΧMO% %B}h~;5G"dY/4N Eb\`y"?3_57*Ŗ 3W(2D<pUB cv ´?@yOxKno/l wQZko6''S.Oogs>;˝(?L %X* 0ӾW)}9k3Ki4~?h=h:)1V),sP*jP9zid~^B%ʔMrCS*)U! f58! mѽ}>lfN5SʿXou,,),X7d_$7GBk_EGyG] ^1#Phܥk#$HyaВS02^Ԍcp2:ne{]}j86qpObpc a5+otw'HN?)ax*<|K8eQ\>Go^r{AR.Ƶ81D9D $$|EGz<&GHO:1^2 wFز<@Q8xP,碓;fk,\Wj#@UdpcOU xB_i(,k>-z*<ήlv{jDDSRp;O !5EIi\V:{C:D؅/b Eݏ["TGPwpCH]VR/n K՚X&EVUN"_|KH=4BN/Oaٿv{hsS.͔JZF։ihS]l=m8BU:/Z|FA.i){QNlDz̻$.5`пLGqY%L vE|ܕGOKkLPz9eY!#8?H#LS=Q8LUWpA:鿱vud3t=؟op:v0uqCl>~)%S?vE"'̻ ߥ)<#O ,/w}}'O" ~b}:z78$B}a!L"h2ZjN s{2@4Y\??l I=sCЯ0Ct Rgj"G1Zs vk2)}[q*NKo9Ȍe4La[K$h :&y"{2(hEqPBl1ݩ!홹ڶ/]# JOIUdxW=(djkR,1N#p8`=Fb'B%cۜyP*eo_jQdCMyx{ _PtDXN 7c:'UrH[*×˞hBS!C&bww_3i|Tɥ\"yOẍ'¼pkm9ã+v"=j Q .O\(0+i)&[`Tݪ]ܘBK7:}'ͳ)NyV> xׇbQ2rvQsW Ez*>B4 ;IzozrKf鹞d"N}j S.~Ϻ:B%W ~FUf&:eL`'Kwg<#'L}r4۟,ڗ]>$78O >Rұ=8vIݝir6D.GC W[Djb_>a.'›kBȳsE<`@P0VVi쓚7g~}C {5ꨄw `v|SsNo .0c )MPj4Cex59,ha Q/Cۇy(&~j=b&tlsfEs}=%6&18c^P|~EA;g30􅶸ʖh^#c<qڧG ͗7UJ3vz[o ¡lĐ4 \q`_/TrGw~/Fd9MYige>-Y+iDZ@z_yg\ƚ4娉菭C-Dno`ᆅ!@DP!71||1zwlc6NUwJFwi#&P :Wvj: j?1u}OءlVoCdUʏ"AؒЃ,Mjun =7@KeŚkfQՑ|CEkO %5Lf^w7Cl~B!k)6 J#=_3xgVx^a3]\_yĀ֏H4 xsGQb*%ܕЂ/[ gfVL-QůD6x LQ@E*=<ǵ#cZ  m4樘6jZVxBCRn / ɝ`'U݂b_31ySB*Q;{Wh->tlWO(:@5&jWQe $g-Z0̅'`+5n8+.*ȢYg!>)u4Gv? 3:-6/&^/*JhiA ʼ$ER2 W1 hC:ж]?#f6sz{:ny`M@G׈ha1OT&: 9Lx#[&B bJt k K"ܚdM YbBmO2B%%9}( 67,SAgw8}%d ¦|U9-u:3CA[)!Eo7Q?B> sTkbJ[u$Jwd8ua* `կQ!L"(~r'bTet?6(yJ[p0ћꔥ_ՋATs$Ylq1O%W\ 하V R 3>e@t g o[W&~SlzyGj0 ' F 7Wނ=BY09Do=_.c$QCNƺ8-['zGj((“y!>U/(y2U$ 商Yi HN)m-3ϔ] 6kN?FנW4g SKC]NdJx'H(! <z.Ĝ*F320h]EEdK;+$8-tq='/8 : %n&#foQ"'W[FjsB,G"MD]GUZ+S|)>#!ked7T4 N۽i-Wa Y=dɶ,L@ULn%JUߞS^mNIBg)D" SWv:~QUIeǬiw_@S.P_-\ -`cɶzB)QX"^DʦX~p1OЍBBSzyH[0e YCJ|=2 Sۯ5] '$C CCv3KIcO}p%vf\g18v--E1d'28~7/U˒l)=X-I/a'*7 LNU}K V+48jӱM~{ßx0-zn]^V ]yoX rP4"%`$GQ}CoSJ3T|Dn$4_[97oѫ|fAg!n"]NGv&{.85@ᆪB Ԍ} tj!.'g}oJymtN[nҁge_Ɲ%<ڹѣ odedIvHAYGD4E2ф{mUP0=Ax7A]&xN9X!33SdK>Pnbxޘi¥pJBD>KSl 8`e*t%юG>gN5xrWqk? 2JQ]W|;o' G;]2iwMѺ `R`=#rܛOK%8 F%)\(\OFR69NU9H< g= ~W ѮӦ s{~̺m5JX?nooRr 噣ڎL?Ak#5n-hL~W+Hy"zf9WGt/BGa'cG}LGDqhCDwjOoK`+e`0'y![[J5`;J-$Sˎ8tw1E%L7y`L8sv'SP>&(K:Y!:7(q]&||9 .|h.^Ws0}.,IrJQ,Z*9sGcL' Q + -Mf|uP %LOzvpRʄZ{{)9+L>HUCٞFG'iaԓ% aF2F LK0lhݚЭ<|?R;F/ڢyF$o3c1~).e>? YL% `!Š},4ZJO0M@-)}=n0'w;g>7T!l:54is;= ҅X,m^tp;s"uOAatG ķ u7IO;RTi =P- H}ߤw&tn5[[ 44okh_ f~CRj:[^MՏ!Vs3݌b>?L ӡCg92)bwq/bS6|c,Pea12Yl)%1?'P Q=3L .0D^hE9)"u ؉m'1r\UVP+/5n $s%wP\.b8aOpE{b# =u_|#8?hDEG 0wVt6 iH *UN#*酤 kMoƦ@`*82qNSSs\!Ӥw1qSiD!uOy#+`/AB/֚$K"v.(@I_$H{.D㗙)}|U¿*Z(j'封b K3_[[hv#A}a=%ش̙U:>׫?m0SE*vYnm:Pqypl=947YYb]eDˬ o5Lǜ{K ]e{*2:)v *ʃne11#CՊځѕVvRO#z+X͑n=?tvt=#Skd7mʂgx#$jP<ը(+6Bh֐ :mL^J \gvظ/1?hK'tF*e\]cK΅v΁'Xs`kVS&|ǐC龳5[.`FTcDpkk,da5xDS>ՕQ7!q@R)XI(3h0\ y$2oTG'^~Y!+Lw};&³>Z%;`Y=ܽ9 :PT#O+{7)-rIh٧ZP:C1\DRB%/_s^r7S8c˘D4`d wݟ0/6OiճO 3sTOm߷~o$#W!fWm&;q̢{p(7UFd .:{}%N;+[(9=!ukpb"K_׋F5345@`i]v)P-Yctr61)d8`0Џr}#i .^Hc!Ń0׭ݛ*Sls4"K`OȢFs^(z*>Ѡ91MRG\S|RiTښ`'VtI^/6㇂Cr.y7;}jl{wWJvϺ#bΡXޭD<߶|nsi]YB앻̲?WHI*w@bT%#B?%m{Đ fYF4.D)%h&8(, yj6VEjQJ-_JL橛{hi5?TQ++hH[M@UUgr (1QvT!Ug[lxឹk?'Υa%O^BS@ 𨤬Q g:f;Ncu&.R"-S:(ՙg+c3pɓ'[F],s~9 Zw#20eӅoTԄc"߉X?Xz(yL&X-Ѩb:sT/=rP9*iS-5A>π7Ѩ,R̷a8I!јSlk, XBbӯfd1w\6D:Q>B`ÄQm^2eg'Q$mLh sb71#G LgjL7k+X I[J i-ڙ$2grJM/?CqOSU<pG.J ?I;%#1*.pgs&ϿCaYOM^>f 3MȎp/t4 kpd7+dxe@]zBlG6&Й\= Z? m=2V8p wv>滒Y(X=l]G60Os"?~v74q,øHm#wv79uNLX2: ]mi.f~3x@ad7owמG$VDށ*OӨ5j 1_:sYw(6¥Fz˺Ɩzn`jBy+?tSFE+'6_`2eTw0S1 3.˕:D! ꟼXzx?҄п!o䈹-4pmo;_':نh҄=[>2ƞpkmN7D64psUI8VVl-@Ƭ[$9Yy*EO -)b ? 8]=v;*LnʤHv BUKFU5H F~!*eIFdez+XR\ C3sVW 'eqdL\&&aākx5c eIg_瘯e FKF[+IoI:s8T߹R&]l[?hi̙gyK?$7zN9jHtƗRH4];rNOAQ\tG,BR}=%RЭwy(p0j`3(@XnB#fX&⑔&>fb UM$}%*ga^"S(yP$Lǭ0qJ Γ ! 3h* x:@bҭ:M( #`ʗ|]S3'F; s7K0-nzB̟8Qgr"@p"X7b%dYǵ$R'&_,VbJ` ]Z_3҂8Gc޾eȏ) {rE'rw^@ʪ#S#LMpn4S@s<֎#ch1 t76( ȫOqTYr-n[$٢1͹u󖪡'RqbsӅG%v6" '2k/ F9P 'EqIz8}I9EoK0g_pFqqoX>;E!Ѡei{>!_*sI1 2Jg+cMw%Y-zވ='vy{4 G3Ml=BEd0ݸ"F"yXsΐe(<ܽۻze;a= RyP~é” HHn~_{^npo((  ].`?Xl$6CKwth@"{ bl[䗊OK)ݏ' -sBdUu1"i'_VH'oB;S@v%nv֊ E{}ڦ넱-pBzosO(R&]xF ?&~ wJPqPX.حx$˙զƵ6MhBtnU14R-@lEC 9if{OljkH /_{M[iqbutQ` r0~ӟ,8N]@?ZF[",M>HJd+'%9ї] x?RD9haK C!Ke[ƆUA~V8t~i^Vp-l@x, cĠyZsx*ў>2gdȥ*KߦN# 3h_I#,`Rt+so}gPN1\~>/\UpFIGjRxnH$͆K]aCr tVȃu|^a痴g8YB-n$6D_) FuƼDz9$) Ѵ|q=sT/]{IIʯ8mm\G\]6 D-HH'\=@)/]>ZƒJht%Ȯ nbcN5 o|!ҧoS p{1ÚC;޺B5jſd O[DmŖWAaDRJHtSrPr#^n2X7@洜o,_VJs6,Ç' ݬ-u!CTa@. [Ms`ncI)]T%= @DY %ު8BQy47T$Ve^hDIGTw SbN=/gBrbu16,Qgw6с8V#"G=*_6AJ^ Lڳ<` # Pb_.>[IB2pӛ5n;x =] mQUω$xON=$NJ5Mhve -9xzuM(PFo"Rf:Fvc7bDvi-350v^,d@k^Bc;"[­_G˱v M/~.JRCO~48QdDd(v6G-, -Mm[ޮmzp`dk{sl$D-:@!tN39<`})/UUr % NIg˻,HTͺdrIctnJ[)¬(o!3ХI08"iӢyB (| h)NVOgՈ=*}CgشѢK Y 6'𠄑䤡9̗\ɽ C]Ru2фIq9Ed]k;"6)ZO~4*%_"Mw!"dJM5q"g9 pZy yUΏ:yٚMI2faW Opx 5:./2^!hU  NK ky,)翪!wp ̝*>w!R Hn7G;Q`*q#A% w9#<<|(rg 2tOoE=}w/pw#D$9@){nT,!1z-lHA;SK`?s< 6A+׽l+ 41l =i{:b2 ;(P>-ʬ]VR9 Z48hUb=L' @} ׃[3 :w9޸=8[YK'Hh[Hmv{56eU1=>&?,D6Yk{ }A5MAX{Y'eB>n'?PMɲΝ3p b_ݴ(!Vc?TPb2#]j6r)AM/FnOszr_8<%Ӣى:$Uz?'j d\{2Cm =b}&S,(>ꍚrD9a̽q1GVkxRk[L P,&+/'oԈu\O/ٸܪc, ;U"*Hǰ޷,Sr܁)"LN5}OƠv2yԧyQ s 6P5`Y^[Lk*`S\O)q7@FaֱO_=O).zOnhT5abwwEL;k\ٹ:Od1"~ᮧƏ]ۚ1ydQak7:4+@"6cŬ])dl&&Ypl#5EmQmJo[ mh>n.3b̐[iWf.ؼZ8Yo%6k4(0N`Tǻ`3[֖w(UPď5B)y1XzYXh0ZHxOϛN}Ԫn?z8ۻ_ ^V7r}V=ʝBT);Km( #Kkp `CܶЛp|a庀2iwF$=urnMLKp8z_v_cB:Ȓyb^?PA^٫Z8"jE.t_abi Y;41]$dq䦟#`n0zaQ/WfO7Tc^e|F1 dV_m_06֓nM#žP:~H}I;~6iwï\P^z,;څϥ~DvXdUyI>Oi>YGCwkd¦ޕ(d Zp!;_fKB9Gh}Z0kljX1۾e^]ɑV}Í?EƺJ h\ݭ۶J&<Oh(">к]{R=&G؊r1&rz&Dre@QXYq4uYM"HoOWX1Hӑ(:tjxzw#_:Z6(Ay1N[(cZN (C ɎKPT =%SAhn?=4/e7#UaMXN0kطE'4-3W7EB*1OU+WLRD<[{Jv ,UK iqU{$8סđ=>ݣǍ 4@[vΘ4a*O'jvI?,%ritM0l/a~tI]٣< 3[V\ NAh0CL9DJ7dhdsH m,bWZB?+>K*JMX%hzeܪrv)8} 6%`' ڂ!BtHhouVB$1fڴV-Q.&Q<kx[U]GQL%y÷4 ŕ7 u< fh<'AdpH3wl x`&˚#m+vfci.(o]z@U D;nXYdv}$g