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%L| ]/]HOL-Analysis:threads=6elapsed=315.410cpu=1549.160gc=61.776factor=4.917zXZִF! {K]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jm秉lz ; UNE5 >di Ɣv"f0}m-ZRgAR81 Kz{4zod,XOO \+zDٳ)'ܚ"O@GVr͛xb}?UttSOBdbGӥ{.ޤ+,Phٍ4a_[>< @GTv :$0iCح ޲uTݒ͠MSKU!,Lu+FE{c$B!%LjM*q&V9zK]ȯ{bU'y~` ?ǵ7b]mT~c>F'B ,B,[#mdhF56;h8:sd4WK' n|zS5D6^*` 1M. 4khķކ '$.qe〺gҨ5v.P$AbNIPm}AhUHe-Ԛ׍jҋSFRjh@auo l >;P\}1r3R/UFtP([>_:C)܋cPeN}^0!@'ԁiJېF-,G0un3I,׾ c)h Xyݕrhçyy{}/,v00Mm@[3G\2@ȏ vz>D1(4:>$T[ O& Y5DIfqF\t!]+H&&<7^,e)du/^`?n}ek d!J8`{,9~.xGZ>>@PH2x<gwL6u0x[Q2VSɃ&Jv7v[<'VʞE& A;&##Ǯy񏖛$ Z'I]`8q99{Gd[ fm_âź9|9_@I5{UE&}㿰6!aUQPOӤI3TN=;-gHx2=03z 䪀I!;>{Ndžh˧=]w)` V x95{,i_]bpu*4r|?3Zd|)h2υ#X?Ztಒ3 p{#Pxk|ryTIO MR p m ^N;Y90nDX3j XA}\]b\~XwQ@YG)iu%̆޷H щ RwD?GChE{|z6W5IXV=LiSeQzj qsCNbLYYLa3DLUqFj.eg[^*hG % HOL-Analysis  HH6{Dk\Pz;[> 6bfE1͍&ASQC%>W5{0YlE17Ke:k%(_axW%uرjTJQ,3ۼ{Y8+tlT}ڡu~;!( !恭^|V?B/og:,Qzd7V9(@U{K?#+\w3ʜ$L35(x>-E7~W LJVm~@QCվCg+]8p[A5dqbяL lG!ڴ;Vqk I-r,uT2(2WLsFI2\\lWvmGiĠofVKXRC#_c3+e|pQSZ@9''=8 _PkATg=pt%V* 9ֵ~Ck~i$HoRTX. V$5#\.@}cFT_ν*Ɓgg7)h\ t'f#%WtPrx1f<*زr<;moȶ`0bjʂcvW#ɟhi{i6v=֜Fm[wi"LiR mxeX6EʣO~l8^bËV:2Gev,L|l̡Ͻ ј!Af5TCp(;f 6?Q_r'{xWZnL%yV^ 2R.[JvL^=B̟N؛z:yMP:6xל-G?!c`}p]vc4 `唣~݁H JSg-g6N?E).Sfp~ ~UEG-tT0kv~];N|[z]TD1HhԞ?Β`o=euمe[βBEa3<T.lM峧 / #ro-i|@&>YTGZ!* iY9̞i~6+L`W ,ǶHBBEp\At=Tyk ۟\XHz.L4 TBv}:ʖSz9mtً=//YAYCgoB^bVN J _x!7W[-UYg2(>-e&(F֏ߩ3rO|1_-gs!l\ZY[xe_9yV1 *Q/o裂Ac֣k cҕH`DNJJN=Gy(*^Ex<ԉR R K'(s{S͂H;VIޗ{A5oMCtz,@g@j>p<ܶ_iKZGi ;tHhVV|[TF@w. 34Xr>Ig:`OLE}xld;L?6r\tp`fW"N*tm!nvT -bUX۬I.9M^/֌آk|b~o`w0l*[3㞂Y؇.?WBш"ϑpO@b5M}Jd3Mo;V$tře4[ʱƞk9ÕZ&>e %WX Q nir$b$W͗ꇃ\R@QMv[fěe,W[RdɽPTDq%mNn2QZyyy0AG88;эmzTZ$/)00ƨ̢lfn >]6|uG}-O\xZ8U-? ~G]!~jH':+j V\s]1jE ׭vt /j #|ge, *qX&ITfmR@Ef[YH#]+u\.+[+$dDL8YhG1u%sϚZnu`UNSF>?DECUb`I].Lȉ&a9WlƁKGJޣTu؈G`%je-}Pn%Ҝ敄iy&VI;V]N!|xcANyPFX.<} L_tecd-pRzp<>i¢Jwrl2F| Kԡep?c&e ̋7 qOaZ92O\ O 2~55>l@)V*Ţ,mxd]G,MO8i!yxG#K%L\@qiE4b޾)Ibo.. |y GH\! T ?|BUvʂoS}l B [EᚈQ!مT?); {hx6mb>}1Q[-Z{"ѰM)33.2+mpish<*sޅ\^`ٔɭ JuLakEi)3e:1aRIKfMX8A~ȣ=/aRzY) BB,n\#S""q:55z:A/:g% 8gZ+Sqo7]u+8 OBWjo]E. y$^u#4jLj͹*EZ6[7Tm&\݆+2}3I 7ǑΌ,W {czUå%E|X,V@>k pCp@qfjsHy@ŪBj"`JGg& !"vz3M&㝌P,X\n~NzavV,ᨐY^/w_÷d2ki봦Byhj",z]w WV޹b5`d KLXS1!af^g# Xk$0^0BhJ5xE+EIJI<1;ӆYW#ЖǬ[H0i;n\G$#fR}(Aқ'XϭX?<^lUM^DlGl:څYxpyq\6 ~-< Dlؐ@7^cW[ ڑO8+qZps{C}:_AvE#Yprt~! Z/ 6 4KT @yH.r߫05"иF,$T袠 R$9 X/ǫ1Se0؆d/;tp%$#+aƒB*Gx1z(0~^(r]n` '9u?w {B\H%^=!0NYM@'jvߘd?|&ɋբap7F }`ek+ |VL\0Z~!.> K^q AnlJKuFt侾5g!kA;]/׸3B$<ӫds"k*b/$+!04O"..@u/e;^jVOc<\ք+}9<.gZw7o`;JӬxoֿj7%1۷OTR7JFۂjTˎ;~3Y=5l{s&QgOGsч쭎C Zi;$;TIq UŚUiQt!JiawC ?$W%',-oLoIpc ZC<A$P  l6'U6;L`!,X˙1`Bh~/9Ȏg0M$E S̜(-gBi︇FpJ/# #%e3X"z\h2陎9-g|[l(#ׁ*_xb8S8ӓڧcgG @aCpbf˸DPYVMUPcV7%HqϼsSLAЎسnN>+AYV*Mo >V?o9O%_$U;k%bx;2Nٳ`IM EH{ .~%NhEN,y%4s>GUW*v8hGJ 9oSḡ˄VBt`}|^ŷ7k'Ku$ѪVK [*֣BͰ׬f4iu zG56GfEL#NBy Pgo:#5=o<߲QyuA~\17J\&B3M00qMz?;+pjjc|.]LIN+yjNl봐%zg~n: r(`v'Pp,lNȳJPrSk|Q0\)U 9Z-*H0-/!8O Z੭ěv]Xo01KNIUEl ~ü|+kOS]Q"A2]MNV Wy+*=8:UF\$Z}*r}CXѲ5g4`AZ٥$⾵0ArVUs;GZ΄JQ$_ߐA>v |F k2E Brd2 qa4S(@TaR1VJM{xnɣ d}<HL 괫3d ih3uVi1@(4l>Z\|"y!mr6Z+Տ\WQ5zۑt6w7YcpwvW􍾚mWO^a{4dǴ7BB _X0va-HH@WK1Yk %geZR3U6EXYL' $U ^C H<`O-l:+7"pI,[;iB;f<&~6#x–:+rJ$=:u|:СQȯ`ퟘŤc5#v"<=ہr!f%'L4myZߟu^Ec7d7a=ppM fqeǃgNmpC%Fפ[aQbz rH{.?8dHme}-ohK7gz$ ϫ í!vL$M7`T(mn2/+qK%FQVgLt)k zu?1*Asr/ [֥>w&P&po3:e`2_ UP#p2&ńdu4>bu۫}hhhuWfHӋ ]"n|Vj e~J.#v#>=%q 'dlIW5;~cpf;?:ii-BBs9Gټ}n59c N{TC|_P^[xDZfO a+g: rӢZ J8)"{6"?>Lg@"*,u2v~4ʶ~Dzx.$1z,&V~@8儧Lڟ~Wc /ڝ? VŒ:yTJ8t0 v>-mFL@Z)h?㯎D}p 6n3ωꡅ?} j9^{ot|WAo`Krϻ)W#K&#@KVcL2GY:+o+w5>n6=[FգSPuia-I"#_Ozq#roVuw*Fiڑ\wL!BNKU`wOKFoǦ,lymRgdV(T8oQE6NKE ָ<F!c&0N7/ ޶ʈδҁN?@+^QI`Se~JRp5LSJ$Fdmےf׿̳CB=^*%&X/Y^޾8{ҕ4: F1=7ILPy5&Zc~㡤+^_/h !BݼE3쩌b8E'SڿJ> b x+wQ,?܉ fPMKT_b_pH.%WSq'Ripι"(tJN5-K 8+Wa0dS/1Q viՒn4&G5~2 ɚ[*(Juo]O 7*BT/jg-+:U ,6E'3 oe h `ܔZtOQP183 :~@b30c>"LE0Izw÷z9!9ȣq (S2Xc#ߪu?zQ~P/K+.9}|o~)bEl{v̫Qk^w.5Ak͈#m '#=iJ6o66F:=#u}Gp; 6~)GCw(~~cIND:k _/;0=Q@/4~&M'6^!c}~ vh2@xE8B16ƱǸwli^ظ]&.m8KJ:':+ ]&p԰&p}x|2[[L˂OlqߤE]6I2PGL"amt`#4}R3SY‚9ok޳=0mQRYI˞Ī<^uݙ OyvQaM3oI^R <Ӵވru=饓ߴ;H1 }8=6Eo8Kb}*X\ 8{lsOu”ԡ>:G} 8"Bl1W}SMϿ=Bp03֋(M4*vޥ(d9d7о rH}qǬGuЃ&I-Q#[4c v#vER󢨥 ah ҏPZ9S޳RhN dD`ˇ P9őds?HDdʦH <{/;cCv Vt!T?VqR}7缔u\ycBb_5j߫ԝ56̩VTyi#Svkd2u3)G΅r3AE `"?)Qy ]sF֏et*,0kغLޢ%4x=w)6^ G]k>Gw1pgy(w`ť҃ӎ ֜r+=¥ m_3oN){.)û]-,X;`u$mD'h4:e|0Z5ؓ)) _FA]I3GP9t݊w6+R=/* i޼Lf}gc@x6' JwܳQ6As|P@˳Hu$h[k:A1>F&n0_#? Jsm ENbmɁub^vg8,mxx Na_a ?% \#6o5LRZGeec G}'f$Ӻz,yņ VRղ*HTH$`;֔< Qx&=g2=Vz&:ZNEm*W[+:tn'ho*%zO d?L̙a(Jt4[ 5%."b=2^Zd<îؖ2 t 9"05SkƟ{)]cLg557c:^)V<ڂ}1Yǩift6ʌ-CWkLa f̯Q<ʖ%57l(&xgj~o5ŢҀnNɩV:v)GTErseł\w!SCyZj7rT*ѩFrt:QTpLiTQU(v S~ ߽~=AQ w1w-R+AC:4R+!:7pYbp]%,T[~mt>+R=$toD$~* ^({܆<)3yOiX q4$(՗*!GxG׾OQMgA5Ҹ.,t)-$)|mH[+wP: yҵA:\~ϡrpRs|P#Sک:O [+A$|eɿGe`)O6=yƄTI");(3MB'FzٜlдNvO=yccj:6?<~7Y 羼!@_zfڍG'Yzï_oCQQ# lD[o4\ Vyee<dz~ߗ:ܶ XK)kjz <Q͈0Y.K! }zb9j9x~bLcJ3Ųb‚Z 0A :O4/B)Parvorrc|ʚsO`|WI<\3tq]r\`BH}6vP攵U%`F'/> mc*yoAl)ɹaȼJ ĖVCAd2k0Fl(]]'rge84dɂT1x6$F$9<}"S >dZ3j! $C#,*KM!ջ%,07Ԕ`bA5NP*UTcq^C!b ubσȳrbKเF. $쇻_NK>qN"J֐ {BC!zcDb(e?t [ _6()-iH÷~a=SI6h#l9wmF.8>L@R!)LW٬s)Sx$,^FE\;TZk] BL=!0jpə֨QHtH# >9'M'x %\]_2I[&{Qd=/$}T yVRk|t&&` oQ^? P l/?='[ @drueKR&(w+4_Rrɠ 58v a8 ad:v#㄂fr,"6T+私a}bEO|ٮ'{GD~Smz_#V"CI2{RG3-|N~ &m%]vt,w&ƤY[3࿇R{9 oi3/ 5Sᛦ5X[@6iqP<|ZW]&}tGƖi.?qMλpN+(Pz((t ]y&yz)<sBjx>@u F)|X( sF)Jdi J]78-e),% D_DĬ #7hZ^3sDmx_cHoșbS1-Y9ҰU3 jk^$ĀuӔm~DfHZ.`V=˙ Y{0qx(c̚_<{OAR(/ΕN ?(GF"VBB%efFokq`-Dgz6WED}V d F dIwVR];UVۉS) &H7`jS Bs8Y@:Ps0L1zv:fݜn6<ˠ.I>r2k"s3/e@Blr0FXjʴSO2Ui|l;i+-o`ΥP&,n[`%(43%~~՝3@$öHH:W9p356;.x Fj+:zw Aߵ=#H8* ;!Ug]jtYْHܪy:KX3#e7.#Gg xҲ 15Nhi#ǽF&/t2#E[ VHyao<@E.~ťOUI|F/m>n@J+z+wϸ86vͳ*Z)9++Bj'tY_~- A8k]KX{l|5. (usyD:ea@.= |%^p3jb4ckfrMW[i 쨌HV\TEbzzG0fi+FVxtXT#ﺮ!v\q_ޚ;zD803uy ,P\ƤO9e_ [y * j ߖǘ2Tٗ k, USr܎ vsRXŠCyon:ycr9h9z7 >@(7g8Qo=c?F*k߾QH9𝸢^_%- 5A(3s{BqG!+!q;¤-q2B$[jy;dô{_D+?BgU/hdE"d7]sr)He;t%3shuث<:X<o(!ʢI5$ӍZ|S[Vr6c{CHk͸; p5?Y W5n)Zώ閃YB Z:Hz!,״k="tvcSѯ |ucP{Zu3O2 ]Y۵HOU]vSZ9w H5%1 :*4t3*/WޮR;Kv,bu((*/C]mE2h$u3QE8%|dŐ?X49JE 1y|j fM| B=+k?8|?-Ǵ4߻L%3yL]'g%/?/呒EF{^}r}hMJRsL #RhpqW7ˀ|K}G!0D,vR\xGFĬ:PK74p])Vt&,܌nP.p4Ubt$(>%rf.hch4+fk] aۣ !WeU}$)p mg3ؒmf/y|o?wJb )|n=`g jXvX*pVSuqӛ%;4oeèQ36#%Z:Q6t8wJ~ZzXoP|~R!RNjF"i L06ƉUTqc鍕,w_~d.}rk:y|ԭ輞b9zK^d+qa 8z~b>V7x("k({-3k&TLR=  }cw iLf* #UȈ8 ȅ+JW ͦ}Nns_ q=kΫ #m`f" 6ZT?a۬^d7ՄMWnZ,,Wu݂GkxW!kצ''p'4oT t ޹LPooRe+_Gck-Zd9gE} ]n[MeUԁFՙ]vXw3SS_~rjX5l5Rh[nl>]h0 X>9꨺_DuN8 $KLZ,ƮZ YaySKI͆&by( ր=Wy>Nۏׄ\^f0bTKL U鬬cdQ_UɠJrM4z%D tX%ywJ 8(C^ͱ?2! h A<:,a6r'yBbCL}d'\eW-`HЂ!od-=ŊY/ g%fbn8ZF*`0 ;  աfXE^IO% n=b{@S(U~Ds #ɃM 1 *ٲrtgI0GZgy J<ܠ\- \5/ڏ^bn8G%6&j L9#$gdIʜ T+1PWˍCmc!AԐ 0oDrzvV=d@FL2W]Φ  yv'wyU@.2_'@GPo"Bx4kBUJH/'gi?xW.4]G2Џ ҵ7&{p "X~*N뚎VM/ De'6sf it4B0:^#dQsQbkBAz٩8Dᴿp{JVgFaz[+λ"Gz t+.T&"MIKz2 yN2g/-X^[t4fvrl+N PΕhrQg5 Rb$uIޗu/42|%#S@őº.άh3Ԭg.J ɻwR'J|V)۔#ZqUg~2gYZ7zXZִF! #J]]ŗXiɟ1˦r!cHkMeBd4>Lhx*4 i5 &sLBUF?n7.K!>KupfK%!pڣ_)z0?) T$JIbF?6rS; Vfmsfȣ>oۅ5뒑.>>RZK-@iJE֎ 6GY [ܪ>YꏔQ>-p'/!qVY^a `@%񤴣NS4>DX֒9!%mZl]SvI님$Qvav{!/'UmJl7 J*O&`< {Q'}]k=ft|Im"|rcF?G_T:&3Xm/%4>Su"a9/B8-d-nHITeB޿]~ń WWOw}v TG2$ʈMN`^JȈ^T7K6SXR7-za59aw؉u;S; eKBH:0eF'E\plqknK.'~Ōczn]& 0MmqP4'lM t+x>͛0*j@OrNZ3KќJ)Q=zem.hQB^zſu{Ym^'q嫦%;gLK), Iٷv\BC!Hq>Z܋犆?2S5ػOch^V>=?!#Z2G=xM";W< L-̤} N{'0\T1Av8%llcG0Бᙺ^K| 1;ń|#ڿ3@aUQD߾NA(OVT߾g\= fV7e]zX<<ȘʴPde>lfG%lM\ lc"(pگڎ#Ã3znNŅA>I>=,0? i_/gu5dok7< k%khAPk4nPӻ֛cSQRMykUۖS88,O//ǨKSeelSԠ0p p·Bxp<-?7mL@3Dj oTZ*8QtɅqAFgϤ[~APVst=zE3bJwwDӵWf%@=7T'Ȃ\D՜i o_r t7#\ ^_'zyG9/’zqZ;!ZZ_ CFZ}ѣ۵~I\ O\6ɠu4@Xx*y1I+Lポa&Ug1p[6ǿcubۓ___Nfx,dž*؞c5:iq+ 8Qȑ(urLKQenу,b{SYr;JvЙq$UTߣw\X00hX* hXNFsDgYZ7zXZִF! 3aw]ŗXi%@ZRqW <(\bF9C3Fnp,xk*EB"Yr&6 u,贃_UȲ$Id8(j ݕDp$(|?Ä,r h]:$1EbBO> l$~KhGB DS)R tSjSlz+$Lz)k;[zKU]2ńW 1XEVo1]?+ F*Qȅ1U[侁9(9EsH<˪%xT`_@ܖ\#3F;9$2  Q-5ՈR'OBCXi֠q}j'2||: a/p͑i 80S솏0|m-In{^{9[ F:vC:-yFb0KP}*Ȫ8% c,̡0lT{AT8X9@V>D ^Qj&Vq9=Qf _P}JPI02d:x7 sj"GM拠S* ÊcK:K@j9 nCrvCCi'P"Fe3N2v_nR! g)wAMbIh豫1+X,46v xn-u5NDb<'ª|bn) w}nh4M;p[L$&ډLyZaz լZ2Wk Odh͍`!Γ\GFqvR\ :$|]%;OOe3KIȣz#D1;5 ES**M2e4 w XDBDtǦ_"zʴc==:K nȹͲcK9hjO9,اT<:hvq B`B]_wc{ݐ,&:B6̲,/=rqOK ;jl3+hǁ[5jX&14N_Xˊy3exZ*պW ϓ*|ᾭex!heK(9:sTU氌+`ADX`3|k#6kbxwtkjWKq:=7C`#x`T氹~^}S2[}*yM&w35Jh|Kcə8,YǏQ;-o c\HJDq)zFy ƢEu]apX~lWD\!tS@"jWjX6,G~;gS˷fWŐkft|PIkRP=i\.)Gh2=]LAFm+{,i鋢/#J/QG!-'19GӄYm?c>CɟT-h٤l6TBx<-!U I[MW%z=&dTTB = 4^n`'柶e}3Ғ<,i@`5écџFbQa[csy񂨎6,2 [)ޙ# $O,$˙a!^& XПs"S#s%eroڳEzׂzm%fJr*݀2;9DN@`'7a OJrc''ջFEU`kSJA2&;΅VߦT:iм;5G"m"q[.$T)Tx(5Ar+; U1sf)n8X+|ِꂐ9eK,x*]|&¯#?V!2^CF3KQ!VS$ەko 3ҳ *F@Rfy.o9d3No֫#,wul_+0"}; F0Z{N1q3j2d}ηboh?Y*-'rl,j`}de-nA8 ʽ~/pi]0nG.SHfx_- CP\+Q D=jr̈,Z@//@QM6sKm݆X;۠ 8v魙lv9$A!o!6WHd-ϣͼ9S,sI.!a8?ߟ9?r0Rme* třHg;,'X*P45vUv5?t*ؚ?/$'{U*[/c&>+f=Ҕ$MtK{ H|x v*m*xqӟ3V, &I?" E[fI!:9l JkR#3i+C#'eJir`!R!N&0,;X_"ZJ&LwiZBk$F3+cXWRи<yx[!2r|ʺEa6[tN''Q|$ʴ(RƊf?A3Yدr ې08oVWX)H' H IM倇a%˃A-_}Z*&~aHw)ݩFbC(Ȃa逤"YMrʢm~|_ВutWF=@ be;"9+bS$}qJ$ :0yoL{tyTsRb%؈fVE  xNX)#m0qBc2o5W//6dY품ǝI-0M#W*)3PfceYKGWΓ #n1+=h3Liz1GHHP ɨkESB 9]L5Rnga\"n’AGH- KIn)6;a_6N Mʦ|}BE Dv9[!A:>9 {hs9/}00)K%s~4O*p.z#EBZt$q p8<>{xhVN{(bo;J^E,Ԭ(F [ w5QEv5$@kv..ef.8JX-PA(e0#&t9*\Yrlo $#*rpkG,]z#z~bL GmU3L_`gC\|m3\ •4e9aǪ sg/omy4AQ^)W\-BՂ9_$;cYNuYJ-wVd;Op!;+4L>i<[|' y)` 6M &n*I 0ws! DS{&ju$}@=Wj@^PФG+xFՔon@6 VwּҽDdFӍ%A s-#۽hzH>e5*5;#ڴTƺoI(bD"'=fսKLMW&3.1/`9gbHODQQ~oV[k#:SCN }eE4BɱSűf)7q\ SdA `CA n%E>S"R\%=LVMr]=¸6u'n]Ѩ=%-som2d>t) !K!$IgB%"?V$ZtKN]8ckzn~eƤs׀f35[iD{T|dM KwRy }Ɔ=!JU ӐOX+;0`ݎH9?< V37pk]b#!ds7g` {g]T:-=eũgyerڽ'p3"b_eK%^TK[ydT|KɆ/n qT@ro/+@hB &zV{YLoΧ#[ucS=hG*s3KXiD:s*XĺKZEd% 魯z߈=2~E"A򵕕iJfK4df4Ymkd|rٓ7r3bOUPuckl=[I< [4⚽qBg&ESbbCʼnP\+׬-_yAF޾ q ǬgRE)n!avY-ۖYr MB>,~niM@A};'j˂RTN$GEE; c~-Ž'X>?LwK`Kn7VyTgNƛ_TђB4vhF"G=:*F|>|Km,Q&3G!_cӨ(K띝 -u7InJRqk=rY/FP^:niiB^!dc" H)`+x|2-H n%l,K*ŏkY9FZO~4ExYs?1wpmt8ȝVp]+֓[X!gQ+Cäf_;20`ސr$"ࡍ}1FvKJ)DO0iwN;mBw}r,zKf* M'0(b]^ĝ+k7mI]L}N,W"妅b?hMUF N1BHB![+}^\ץeI$b}aܛ-$G\:-2eA/N?C1$|wtD[YV֗ I~YPpŰUIF=!~Y8ǏR5A_H`uI=1Le1*xmwecXϙspkLPkNy`dVׅؽ$=ǧ3"O@7rά YTUZנGx 07(EnٞN3/_b ,s o=^`)&͎dxrh|g<1tbRT8ڭk+3a[,HYP4n xH>޴/gEk:4t?Q v0a>³JF{t_忳IJAvd ;k# O[)K$Œ{2 `.iYFk&BlD%khyOwZmg}?0[T`FatTaZ H1o_N:,dHTһ&r~ooϋ1{kEȆE#HZ•@m:*qCυ3+w ߑLR Lv htFK_58dt7䜇݅#' ۯuW}\IN$x[&ez a: SAk^'KEta wV#|ОrʿDG~N(~JvYX"@YYEł9սUp F?v8(EŒ,.Q;[`.|]L,_nڄi:RalN-ЫnF溔=~lSn4cV M^$G v N^  ՆjM !#08Q@ @v$ sHY1<#0o8b+ 8tl.i]YUV? r)(*wڙ;T/pN T3rjK x_ϖAzںǙL{0F[W/_ xCFRABZP[S Y^beی۫%"g+e, ~>I͋C_%#ȿsWtM9!!â؅ .Ѥ\\HosSDJS?! * A{ʜo4\/'uCV4<3bQB33C/l_mlk HgB%怂a Ώ4^An:,y!X K")TVa1}#(O6qSp `Yck;6x\RGi%YW jU" '%~7&~Mب- M" e(-#|j۔6CH$ew?ƥN4>qqxZSgE`F bMJ푩Aj(W]}D`FX3#ȹB H%6KѫȞYS 754ܜ.%lZu.`Y^}z-/O&4mn 9'M#y)KNUIzqaRCÞ:SnO֣"k<z6^lbcDN_X)|Ѡ}@6jcb0#W/x'тttpW$I8UxW%5ʺYL_Ό &\Ry5f:_CXbgY=ũYУБFf0̪pf9nlm39b/>]?!Ȟ.xSXCM D[fp-<{ohF\RV/R"';[fjl^۪{(|VO2qZBo:$k-‘9uDN@;M* 0I-Wre6kDCXax?@؄@4[XW-~]nqI+IRq[=^˽^  \67&xʳɧx8K`t@cy\Mg9>/1Ah'MƕFO*]W)8~ʜ24 Z'բ^ڤdV@ Y dCZ#*PT>0vHR}Pv9 [ƺuNQ[XUu ܿ.=?YCl8ü b|I܅5#*䵪԰ z.5qcˬrA*z&P5jyr|ySYf(62! 4W[ХC 4^J׌=k"e&$tWG4CyԑD*k~|m@UlԦA[INHvZGb_&keh.b#ɀ𜑱,9YAຟ9mǖ:UTiAi&dt6\3&mET+v~|JLEd8,KwE㰔6!00kܣM,- ML㔁m6d N7ЏcHE ,\,s$mL,QrZ)Fmп..6ڱKOL98XǬ5bX:Ԑ7mSEy;UsE9FEKL3ĒV KPYW.͊$=m͊N XuH$t$[ջ.M'r X}֓*Y*dFćp][ ?NUJtdMjڨN7 3^u7 V׏ Y]vbOhiDu9+ޓu7;'<}X#}?ByPb8R^%g-fPX TGU7 d؊u&qh*BP|/LCx 5#U{jjz#;7A:y7*2`nB.Kvp`X/ 6iW!yCx^n8fuvv+ea",V욂V{0zyh.6[ԕP0ƀ5OE|n&k( ⬲}* ,rQ ;}-ɫeX:`)/kqw4r_Kk\Z@Q^՟j0@?;м8Ŗg997/giPHԢhؾ: 4 !q-`UmkN2~.[|Y6o~P-&&R/7we$m<9 vzatSm # E29du|\5\ݣu݋Be=c Ҙ`#( * uY8AED1b2i5r;6IV"Y+ڐں;b`LNR4v@A֧P|pyhe-c@dB!h˫F9IDtudDNҠZnv_ml\^Iz(p礲WY${ӫ|֜eC;,It "+ݛ[IG>?} fZˈ[[Zz^)lz ă_`DNqsmg1S"r]J6آ}/0yְ/K@ d<!aE#iwjLV} E # [KadU~Eűph5: xy),.F5?uCBc][({"[n[@L͐ )8"5|$BQ$?@ne()woҙ8tO;wK?L cc블XU ;YwXm)ꀃkMꭑlHK^ω.ILbнڠ\d7,/*} E.X < >WIiOo>?e_n}޼ծִS !bWd BF56Ľ`MSn7ʵ 7m+\YWN\K/ UX3iL_F5]FdzJjc!j.X`+'V wRZѨH7Z/wR_:phV.1 T6sz:,3|f*>zx8SOWf zYmME^cHFGm#&A < չU{\:_=KZ9࠰36zoRv:cx~z{}b~pbqQDٛŚ--D9z%O=n}sхH3Q1Lص볚1Ffr}´9أL8o^ Ԁya~IdM41Be&s#DZNV@. yHM\5L~Cb6 Mϔ=!WՠƭKc/V|h@սSs?^^y )*_Om/2[fqD QQUJ_/ xv[Q:M@ ɱ;!/ A,TPI$yh\g߸'>"[, _C̅DL?=)jʦ沇v5Yx/͓"Ws='Oc*HƗ=ޗ*H}Q// W,npK;ֈ9y":IH3XNM(ECSy l?V+c9"=[P + RJ/K2,2㳇0g˛3+A(k⿩F~B+#c|=%pV4vF_W-MY t>u d 45k"՘dбhL01* ;c-A4X-;&Za0qY i %Å6@txVfp`v-?} IqD uF7G!m$kysmdD!kN$#5[| ]"骍HK/*6%o,%=4Vч>Gq!gmg陳n,[swg\|4ZrcAM .ƌWMp ! e ?S,893 _w߈6aͮx$ɻ`xH9ǃzMA1W;Cj/γ.[Wwo$QY\ڊ@XҢgGsc0ǧ,Arǜk#"%!`%i ǏnL'C_bO,k B@Uhl~o÷~ͤ%nįq;(P0ޫq`9ok. xᏎ Jd5DY4)m{:НǮ/D36J%:\*=Ρ¥; L^DFFq3ZOwԵvK{' .cdß֏-zj2P|j$/&;~l?Α2-(?l:Ѫ hRud5m+&}yYc|!!Ћ+K q,~T6Ƃ;*~J rə1`jmn7iwD]-F& SA5J$Q-\Z"J@o^Uh^ÇE{E21H]ktFA>}#hqߌWqqalnrf=:B%!RO㰦7Q]SPyv !TL:F {!e"kq>6U?5`sЕy=XKT %wWÒc/xw&/'ɜO_HRRW ڷս8r |-Ê/^JJw>#wݳ60wCcKjgw:e[URqPTqw0*_D]Ysތ`?"Bjc@|=ޤ7ZDŽ wDn~YtsVsS*%CtP`v^34%uM>̱Fl9ۘW?R!.Q&%gp` s*yf3|oByvGQx*uyFIix{`'l1 (gZ\,jtfZQ\!F6X=E_e iY+Vi3'-us)K/gJ1}w _<;9|׎+މ^,:f*Ly0Z)D? PDM]-mzsJ+*_֦fiS~M%]{ɠ4y1k#݁L ٴ;17r|+8A49\oԔ 3 '٩HʘPgH~WB%6w8&(#ZƯ?y/Zù&C V/8[[nI7SOL P2GZ 哔L6d@宼EwfR3ցm{dc+E3u[=ܻduO3Y! 4y%߂}gPSz'"ܭ´GƇTyn}I~OVU,dΓ08 I kcaXIc=bHm-K !X2hL_eo!DQ+1BQ<4p}i4ÃշeM@@wƏl2>cC 2{.]2,I]XX?=BBrn> g4.:D[6n}iQ#}Ώ)XcK ]9t<|&JwXQTqPXf}64Гa͝&ycQa! j9^\[2 wZ6؉&fw|HMq-ir)2q?E6nJL Iً5g-xPwp@]ojBԡy *,QNYGVMEM A׎țD/G5<1J)oϒ?C/Ա'?)uJEvAkA昈>`} 0,e ZKSU)WEea+_GjlX5s%TDFO`pA"tDGEN]iu 4B :}WjJ#Z\, .g7ơaqA& $\ 4#Ho]vwuQF+B6%$Ir9Ԯ2tr:u}5 H~*eNbz^4+demR4O0N-͕Lb:DILixG`h8m*u_ji<AkV?gE/[h *A[o8!Qͥ¯7sMmל:a9 d&TI `e"] ~uOETd&9a36Y֚}c,o8ߥfYd'aGb)U*,8$^GYhSycI#b IT^* XvK^O^c&2pާvqǁ-8JM]:&$ x+;&!nbg%XjF;8>GO 옩HWi^&^6^4^aYt7nvCЂYQܛx>Exa>ii2np8{^U[X4%\"TM5 =o^uuJ)SJAB ]_Ѧ:[n;ӹ`Yx :%6ZK׷瞕5_D1m):FROH]x +Zo1ډ $/Qj~OɅ2z'~%2BpűrfEWon mЪ(h|s_1_5=.y⚵LA_ٜC0lvF8I*s8af]Tw|[iJ ^͂7+5 J [0[ 7uT1 )_J՞N!fvۏӍNn7Uت:t}}8ӆ3Bs\cʊ |4 34o_vhS٫kϜACgϧOشQ1h@xmG9B䊏U4X2&d꿆˼S=]9UZh}޽b>O|s 庁#cCrlb' ._0ieȉ*#__\%dU{x%)iQ6nE+,JO 7㨤X֢lQk *#rr6cos@aRo3܇ BbEMl "ZUz @6јy@I,WwQ2z temU\##*$l&VC<*ɉ-pRJ,j3QPP.[v|Bn39@UxqO{[hE2vïlJEcePW(o^ 5E"%<d(OR,_"VjA& Ჿьeٔ;WE.%B VNy"#vs `69C1 >Z6_ ,-,fW~'5 yN$`Nby߾e4%AMS@^Ug2j !Jk: B{8t|{Fi^+|+^/KV%3 Qy?֊[ ;;_ hUg*OJX6͖Bmōo!EKq{D Y˒oW-%>ZɹZYxiXL]f6ӹW~*e#4o8ZWmc3.p5D<w!R%\ .%<,a?Ӝls&Uv@m7XDU0Dm*/H2ٓj_ЗC@E'8u^F\ b;[ߏ5gG7kk.EKh5:giP\63=f}k TJ_:hCY|~hFYNM㰿K^D,u6,GU^11]?J3$-B0Vrx>t2pI~b߿!C_9-j:6Ca2ͺz#xQgAT릇GgKr2_1 Ŵ9:hk5t<`Z)LQ4"5BgVtd>KO1 ᧬CO/n8ɾ._ ~˥3Y uI܁9mt7͝3 u @Q=@X 'cM@t]=r'!?pTX!F֚I!~*$ % wnjll״jJR^ RL-;;HPv9`4/,=Q7fqoA - x3$8iso2}(V8|94yG,C+yHe[XIJO[ 7׽s1ch򧸓Gl[h'؛/F#6U#,mqҽ&%nH~BQa$8HnVR%"|qXyf#Bj,1DSX(V*au+ s_ Dm`O_8q8Rؕ5d wn<7䃈-4]!lC% v[Kr0h! TMSVD|hQKFD+^ >\r^~x'0jCH?Ӑ7Ey|킼ү^w 6!g|OM5 6=wP=Tk!O9%rPFD~ sd/iЋ jXr[H"-Es[:H,wi L&g8}n'Ug_`;'ͨ\"q\`3,qzյJ=ZDZ{rq, H5Rg-,mɾVd`MW Pi]3K !6*mxH(& FRf˕Q0dކwBEKcgtZM㦲cAuQ&kĻ֍ G羣CTIox,`8Oj8lЄБg5t%xķ H݃;rz~u:{YB[9@t/;IFϰ=F6ýHzbzzG 브ņ:[*cV0cQ Oj-3p-ϮmcD]uNT\#+7I/d@XcEYM;C1o*+$V4,Z+H~X$* nq&.Y31`b4&mDU?k̗2y[z-h#zyfGHqA(ޯƆ3w4 y_,E2FX*HG7{DlDM]q[f[3t]أ3[!(8@RQAYZH0)45\Ζ5 {j:]"IGzRlZ?j:=x&uf'A ~{_d+\&yC8o.X8郞?mVZTP3enjŲ C^Iyշo|zlҐM T:䬘Ft['(jq;@SlqoѸx֛s' YjbcUNE t$z=D24 3ILEfܣCd:S1аOAY  {ڲ1 ܥ$5y kd -v|Wwl[խ@W7 ZHs"@ w#m@}}0/˄=Es4:tMu"q:a7A%SpЊeN; IhCsfHOSjtmҳͻA'z:V|஘<WLg4Jؽ)~-y?`o SЎ3gYZ4ee181fe4c863593e4692f95b366db777d6b1ffd7b8f755608c0663a4aab9838687dac5bc4543ba9 7bc41950d8bfdb019ce94301e3599edd937f09d27c4c7171cc8a3ba1264e3ab15bf2544898329e82