SQLite format 3@  ._  5 T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?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_exportsu77 tableisabelle_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, "uuid" TEXT, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  ) )TOp`T ]% UHOL-Nonstandard_Analysis-Examples:threads=6elapsed=1.655cpu=3.982gc=0.000(/`H`zlgw^4x.5B)O˻tbϽ19ƺ! $xW0OQ:SO-#zS롧dDCc3c)1P,KF#1E%*(N^xw AcJ8:@6"!*(/ _KsZ47l@[a?Q75}oy W$ Ze%pKGX&KǺrҖ(/` K @k OO[RY!( 0 JE@m "1L!.!*qa@r1-61>xna95[9= 2`q&<9@u=m!% `oapd(-BacUrF䬺{Xj^Ħ4 Ә{XsO9aF3-BvUϽwNͫ-qC s&:q),L{6U;'ժGPRVorV\DHuQuމuU:B*qna=25c$))1 h ` R BŌ1BÈ"u`4Ղ r !~ ?Q 9+K>|eV^"{@4_5[ۺ~JU%mǻ\붑&AAZ )3GEԄiÖfٚlFpi&?t2KLI;x2rBXy cn  Rsȅ5$*|+&ǠRܞPiw&iq8,,tf7RԩHWje" LyP2iv!AZy^ qPٽ9ڼ75}>{xa+(]=73A8k=ӦM!kQp=ɝuq =EJω<,>dss534=-DhTTmĹ6~s]ĈTUW7bH>?)JFʬVʞkmZq z{ڗͽH!l ̫rNL$I Xa) a89" Bs"H(@ΓA6$LP%vQT7CdNHLD[]ĻaH M'"*dQ̊?BqCJBsK"L\z،ky/w7л[`ЙäOɅ9; j‹=9CRn7Xӿ"Y-fuX}%>cUQ"+Xt^doKzzTmHJ99R.d+8^JuEܵwJ*>+]UAؚ)&!rcؙ:eyJ >ۆ02hIPWJ.+a:J} a.e^2!>nA%z)nBH;$5u`b^1̿D0t^vy͓ԘZ,yVQ&hKw?7ό~ń@ZT% ( F 00g=҂=9>#<ˁ&Fo5ѸGvZŃAẐT`i݄qyD0FƩRE#Pa=+YjZ$zc@i#A|UI,DK[(<1YX$'J 1R[ ϙyb Aӈd= @`Ӏ4Vy4CI,.T@4ЗaIh\q͒Ώ3ai`M7-VbRР!iiFq#b'z@$,hY0@c4QRԜj,xHm%h>H#rp1,E H<+i+@4A<`̢4Ic b8 i9K`Ѓ- mIsD!j4kVkh%Ph1 Pfyq!`QsPIcXr-@w{{CUBw +T *|&=W7?*'j,%1k/J"Dz@šf5VRMz#tS  c-c ٗ'vy#dgU"еP%koRݤS|vO8`dV}yi@{Ut~^RBhکpHgrXw uL"fLZbT Ti&$Xw14Up4:ePKTPF'G+!p%cC!5 ""36\P/o&yB Nm۾y0C{(QJ|e͐0/:M2x6хk{vC#VnJB2;nൈ]$#_䓃*3C#}p 3=PK[H(cfJ1ũ_ؕz3m3˭9~4$$ڤEiz۠T sʙ ^&ϏE0y:’!V7#D",C$nQqE>ɴ &5@*N>騠^B lCt4S5L?(,Ub_F$9wE$= 5eAykbˣ<NڞB%:V@Z@jb&L2]u:eM#_EXV7T,d\c)`Jtط7~;)Rnb"A>yVvkF,CGL؁CRDUhݜca1Ƅ$7{ǙpQU4:zٲzg"|8d~OI>)0vTyii5>0m-1"V}/e?&s"fL2McfdD[Ԟԇ1E[BtM'%6YЋ0urrI+89'qR\l:7EO!*PҖjq6ݬmY?ZLh`G@삼f~Eb [(M}.4NRYfɗF"=(X Js,dZ|Bui -Mb-QS=zvSWDQ/OHrE(@7Aqpy~HE F>:Tɾ?uoԞ"Lh]"x!]Ygܣai9 t`8+-AR oJ 3s(@`l9׫/!͛c5"K%ѫKб?N}22RDZ7;I 0K+*]r 1% 1h@)|l5+P )C<.bSLXP",Du=k"c6AHd ׍y%r\#N.=`0heK&7z;,ǡz]h&5즻&z"59HsoyN ݪ폰8(W* ǗRUo'k|{e P [MkV4TkyC*4Q9"*bZ+OJMݕO`ȓ Ʞ17+*Wd,CC1yP$SkKsT^S#jWB&%xed*Լn:z꒛R=ˊ 4 08ϳ= *{DŽܚꉒTAo+Hxp"Sz\Es'H*zN%}Ukx !]8>2XS{R0b^󪭚0fSU,2ޝClm}QS^.l>tE`-Fz}+9ӶCdvf;s+T˹IC_?E#cd z7_tu'g!H?S.P NwHugBx":%&7 Ujj0R) )0S8nЧ-)q:F܎,dDdY=IV"1Ya8y90-TƷRa!p=ĆU]>9QܕY΃I*S걘{*H0D/db kQ[r5 acڬyWA1$]-3l֗BJ!bo163zG\)I"<#=q9 ,3<5C/cu<_Ak.9ShʟekJ2(&a]:(Id f(O)痓Hq /1)DzouyR0rCdX]Ht]RPUAwxl)Jo>&OF&DI176lMa sy$T5n(h%0jp€qrTۙl;EUy )02}j%561oh[ #oTNNCV͔ 6|j$FqՔ冄% AUNDa$yK{yvf\M"ڬP Y=/QBRB} @uNa*߂n$^)6{aqR&:mD ,X wpO%%ckfbzIX4j I(Q#ە^/sCYC-ta!#,|US1au/L}TSψJA)J9rčO"*~oG` }A Bv,<׾M~r!}XŹ…Xj1$Jd)=qq4YCnSU7COWjS8H'mPS ;b:0o[jaf7&kIM4EXTkEdpрC Xڦ`V%s8b*P*Y3\a>"{TI\w<GOj# olg`3GYl)$6S }B@Cj8V%j3С$GP |>hi?J6qMiÂ8t[MM[p: `?P1Y# уђ%hЦG Fᆖ+zooyCsVyLb&X|l1F*o+X,1"e e9}pfYP޶*oQRif,/>掓^AAxu;z` Pot8T§яN55 +K }>~!`|.D9oB d|}\Y^\/`3ZAfhh"J6 b32!52vtKgeד$MR;`HP;< W6ZKގ}Ѱp<[ -+ BNjv2߇$74-Q QJ62)1khna"h_oW  GsȫRHg32IuNT ٳ+f*c;S 9aPeON;T&F"oZ [BaG0&41/9j(PEi) 54wQaJBh/G$[` (KNH͕ 2l\@pPhwePJTP/4daA pES$ w+Ÿ?%6xD\/g9rMABCA-0M,H|| K\ Ba.4g0-Fɾb?bS`Qj#`i5Q?WQqt{%] kB:ዬ%,ldS)9TZL#?gciEIRs!u&@*QH?vQĀtg=72%.=Uyn{ oAc[ EÑvȼ2=Zَ* JFT3aٹ(t@&Gxa 4 K80o܍s\0]O \I F9C('H{>TXU Eq$z"ec>UE,'ϮF@yM~/P[{O *ߧZ6Q.eX]Nht^.TfK@ 3ZF3vڬ!Ni =g#(i" /Jm7mįؒY1JlE>$ mǮ77^GHpyf$#*z-Vk[z Z^y+_*Z&mؑc0NNû (r/VrPܢQ@wil܉- |.⽹4~*ͽ=']!,h(T)OSJhvմUKg 6ofnеPG=R5Bxڬ*!j PN+fua;Xè( o)\8?]ĈTΩ7u pa/3&y32)0Уb2_O0RoXD_(mтmk cMB @`5Wk}gHSyI!KˈCWtP;d etI[܀Wh5g2ICEAx'$GqwHul5bS L3M`@'@dMCE5K "렌ω-6q$ZBl QK$nӬ sy,bW Pqq\=ݺ;I і =ӨiPrĝ;喲/aacb- ?HS(! zz},!hU*WU{[ lB<r3Iq J\wB8QBW c8BE!9}L `7֘g aRXΞ}q7B񈼭: ;}.k~ Ax8"bV*9mB"q`MoJGx+̀'?؂* fQh<*Hnl6@HhM**}/K^p`vjTZB JKrNpS E 鸔 fMXl55Lt6yw`Rтx%o*ݥ*dXDT} :<;'̕VR7%b;G YiL\vJ8dX*  apRvMmrH74i.& Ƣg(? <(D`BlZyMG&yf# C C`x1b`"sh)/nehk7Pck98n:q# fn)&ϚyDWXx!T*pK@[6e< Z0DT:. $6S\m9|‰D.PkSR4IQظ]2m"6 N5[UU:R&p 礘B6lDڱV^T -nt=]" pZ<̼Q_5r/ ^ G'\72k|!c6("xdBSl,{\9 {zJomo=qk8 0lwF~לӰsaS)Ѻ|lk)3ϘӔQ8hRLd$<S, ߊIrT L>co3Jeg7*@@'%^c@s(xv3Tb8ɠ9;gF'loSH#AL_ϟ˼H$V?MwŘ%nMHF| ٲ#>Qe`@vTB9OڤYT7?TQi<' Q6P\~eX$ם2^ѠknZt|b:`=0moO/:n#}񜂠FS?|*o4I$ĢP9c;y3@$Q-M-zt8+xtJѳKnd~dM7;T(]+cG'E0+I[U!=2,~n1EOca."lŕb'd` p&0xjoG Ze9H2S~`GO._p3!>_]G 0齠\LOŢ`s!h=y(XRd@lq8eV=yT,ljyc"<6)#o8R |j'Gu1Zb ɇ4Mݯ$'􇆟{a0dR$/ Ur20gȻ bbw 0B|OqWG˅UAz~ #ROacpP!qj6J!($)0 1R& SBVn(]PRAwfIc `h[񹹝ۙٻ{{{{{w{YߵuuW[W[wy[U5!dgfgwCtWEUkƇxn< Fo~nnDf ҄Ran?a"b!H$: @ PE"a} dD<8\$`P á@8 !P s  WM-B{d`s>#MkNYL -1Qި#YɦݷmT$lO;[0_qJ9;T̗[rddXV)BZ_Vӝ';[(L3m4@2~:֟!UOp>oLa*J)Q3{M0BDx#F󽈨Ǒ=X#=O#3{p\f*qQA= :tN[3 .o Qs; 4D[7[V. ($,>gT˨+d,; qgj&7CAF0OP?dC`\ pjlg`X#a4yoWݐ!̧-c֝}:Bԕ5rH_ dFDAT-#-o;vј"UmQP/gWofWLUЦiԞ"CG"4L] QQ~ %ocrC-OODc&UlX E~ ֆ &,|lE;*88?ĞOYuLc|$@rv [jηg6[1h1rrX oP!UJٿ''0}"Ir[8uoZ&J7BaVw{A@6Jeg fGK^($oG3)8_A!-9\Ԗ=&(1j J`g1 ,8^ @^%l"M~q5TjJ5f۶a_5rF8YbQ~Md];@he\gj ǔduPT?5])`DF9 UKǍ07 ]]Ja҆ % ,>t4Q#3 7IoeQpSA`R:tq葻HS /յAdZoj_2VDS!2@jHٚG r.w:fڣS 'TRj&4-Ⱶv.*Tw&V_nu#$[įV60-:ȹZ 1zXS1V:gweU}oo{i>ɏc猉Yl/)K`ז)bM˶Seje ن-fGz'‹#xr'c7N3 TrzŘ*p7 @vQzm9&NJ?' QRZ^% KLu8I $~T"t aE{31D̹@V24ba=ig: TOm,Ad!3ǀBʔnԻ `{J*jkMgN%t8ӵOx< 'A$~xG$ҁr٣ 1B͸Jk\-գ7yFŐ)HE9Dcx{҂Sڌ2[ UM h}t5ˮI(VTEXY> <)]{}}4C<ӂdCVQ?좳Bd, b|ZІum鉡Oi]#!#$-mB)lm~"̾|-6hUs6L,ѭc1@wJH:9`.&4b,ur&W9u,n (42ag* z$*fv v/3%|(ѝe7cXpago0z{H:U& BOr30ּg?+sT[ \y*_KlCa9Y%M-5$QC7u^JնcQpnj: w(\(.R61/cR!5M"2'& ̤dhdҨ$lՄ.ӄ"ÒkTA z)g c/]u[+6"{s“Fq衒8DAo!5t\w~ݼ%N+k3`:eel 9qD#}r QJrUʾ|vz>}`і1u\/ LJ9hKs+;%h[k㷐,Iii.w0Z7׷ͺ 5 1aH=.gf @{kN1JZ 1vl $%hu,V'QMq]?mmp"Xa'w u(;}Ue㑕^i@K ;FR-E!KF |.d8PL9ڑ2^䡖=mߊH*`}IIW/w cFx:8hА;VQJau3;0gQ d⩫_0_ER*Mvp0,vcn4 f>˦bwA èx̐ijcIT IC8uF9J2`x5Ƌ0z> |wg3Ezr_8^9aEk6`8'E:R\JEIfn̐D  3*Cz"^/|@"yڄ+%4(C9'G*fyDkەŠ̷ɒG""ӛ-"w"6xs# uvѲ+̞Z_Q}[6lKW20-GFOxvpGՔ! ->ι i Q_Z09-Buz#m/U5GwиS.af]\˰ؘRܞPiw&iq8,,tf7RԩHWje" LyP2iv!AZy^ qPٽ9ڼ75}>{xa+(]=73A8k=ӦM!kQp=ɝuq =EJω<,>dss534=-DhTTmĹ6~s]ĈTUW7bH>?)JFʬVʞkmZq z{ڗͽH!l ̫rNL$I Xa) a89" Bs"H(@ΓA6$LP%vQT7CdNHLD[]ĻaH M'"*dQ̊?BqCJBsK"L\z،ky/w7л[`ЙäOɅ9; j‹=9CRn7Xӿ"Y-fuX}%>cUQ"+Xt^doKzzTmHJ99R.d+8^JuEܵwJ*>+]UAؚ)&!rcؙ:eyJ >ۆ02hIPWJ.+a:J} a.e^2!>nA%z)nBH;$5u`b^1̿D0t^vy͓ԘZ,yVQ&hKw?7ό~ń@ZT% ( F 00g=҂=9>#<ˁ&Fo5ѸGvZŃAẐT`i݄qyD0FƩRE#Pa=+YjZ$zc@i#A|UI,DK[(<1YX$'J 1R[ ϙyb Aӈd= @`Ӏ4Vy4CI,.T@4ЗaIh\q͒Ώ3ai`M7-VbRР!iiFq#b'z@$,hY0@c4QRԜj,xHm%h>H#rp1,E H<+i+@4A<`̢4Ic b8 i9K`Ѓ- mIsD!j4kVkh%Ph1 Pfyq!`QsPIcXr-@w{{CUBw +T *|&=W7?*'j,%1kXkg&m\ Ϲ|=וenk!U쭬*^0EiѿNmNN)=ݳڴ;Zޤ!^U`{Z՞JL$IRQ)ѝ a09" Bd2Ic gQ\#j" cE}R3s禫w>j%,BH/bl0m$,$q|׿Aj& \0{OKF>¶bP dRwZGd7 dfCp|A̜ް>CuiǷ cɖ_ 6ՋNIkds] S@t `]SV93@1(ImWe`JEs:kS[G c Ⱥe^Lpx)iP,Ed)"Xih&Dh]t,i|ÈC#r8)}exK Xn,כ'62-l,dh5LDN_eb3XaDƈ@47_Vwz6/r ZUeْpiUb~{-6|[z?3( J|§*`KmI3κ4۵vj !:JiAC+RR %ܾ梮WVT2گ95e}"UGi!P \ךbGVo^s]c  ,\yvgw_カM"Zxj1ƫ-ՂZH,÷CZ[P:)^+/ro5AdFTR<۝J}kͨER c҇C9O5wɂ/B2ŒWSH HFgQRtSdS28QVzbЙycn@$afDcV {_Dd LsڷZ)oqc5֯ðPaCq (rw^q F׆$_f5VB$e$ fFNCac&Glw8ZcѼlj S,VNT߉ͽyn [?n/ 8t $PމCvBV U;P" ʥqotCPAsvVarvoN7fM BGZ[_61;fZ1(7NΣ1Ƙ{9)flhvtn(!P1!a>gxνK4s؛sNu-oX^rFIyx-^ݜwwf4RN(־(evE%^σ%rVΏۙvP̊=c o5 6FT/gf+Zor(V_-wDC1X_ w(i,ф{ 3?7wgbzHoG,~ͽ^ #drHPcERcEڂBlJC|]{R+P 2jAm\ry9B?ICTLHbbT0LS8;s9:ҁk^s\P\'w]A{c-^3sѰKt k/wx`Á/8 ~FTq78(Q( 2_! v[+"$qמ<6ʕDGtB1e[~{t*^{ pn5{ئ))1g-vx"k#lb9tHPt*3j tP\[[-踱0m=Ǐ[x:0Vd1gF $9at:ex bgyTr*4010x>]:g\Ҍ)2~DVo[l&lܟn`?HS)#@člnPpnz { 6flMi5ZA0LL1H> fJƝ;g^yU7X5N.Vc {1һ&9QVz'nĉbJdX#(Io)q+3ҀCCU=ws{)mS͚r א/ RLP)c9ߨib  0 esx}28@٨`4"8 0A0q{nf :buBkO[{81 Lૂ@ ;:Jd@ 5>lc؎&d/v ?H6T:$ I\*)Wۜ>#~/ه ; ¿+(9 U3ZBi#\֢@Y8Z>2m Јj >+*q W^^HkN!ɴ!!?=Z\)$=Xl⎾*V qT UD,y:)e@+%Fͬ#%mB _ÁePK/97a,^`h |аows]|ЭEm/"hэ\܈-~*Pp7/; $奞*АQ ހ,|֌$^n z=@JtCp};a[ kaxз%7boVn@f&ȧ $'T; /0.}?{rQldCN rT <2mFv0{ߊ. 6t U1 z%xyte+*MF cb /OwLɈ$'ݼ 0XF1?0W>>ƽW>FJ$Eb0#+#>zF{׸yewݾژK? 7 R؂ , ' ÕkV12CiY&nP䩺p}+0Yߛ(]Z⦄*}HgF\Seb%-%rT$"V3LjBh`W"n˻_̦ R!c{Tǰ`g16pitL}%wO}W;~.#nSĆkPwʯ9}溕OpR|fOc leLۺqQ: &xpҠ`!>}7m 9W4L1Uye 7ʼnWP+DY<*So 4a" P~iyks!5-vxeNm T "-뭈Mj0\"xsrqPͧ0Q3m&. P\BFw?{?C5A.ܕ°У$90lC8vc_0:Z uK3뭓wU@=Q]Wh>lZ.OFV JAC$B,&[pe(Ib<%#"H!qތ#1!B 3 k) w@Z-qRl@'E1"08Ju{HQuh_,QP@@ɬ.,~/lڿe3^OK̨43=#ȉiحAjԼ8&dox> Ia[pq6p)Ёi$ UY it;8͊8%s|=+蚊Fɧd5$lk ^-D⚑zR,zVz&nVnwC XB/ՒVu;;Vp`v!+{M )e&U_ yNґHg `{K{r rť\0S!a:7XұVVhP5bY@/L%+m~s0kbnx 5ĺFLI!^@@^3ah9=ב 炏2e.b|! \0\(굘!4 Ja I]fV1\7h8\恶Ih7X (.X!to3A4!gFN8^ண,O䎺qK{c-m= YB : E]Bː6w'.=_ufQ鑯p VFQ4TodU)୭L N2hcfN^%``]HS+z,:`B2("BHe<1;_iy Kཏ:QzQcZǹY: <4_~<^F2~ebeJj)PQ^~gͩ^D&A4k}g)_y>H^AH*s|In`'yl\ G{- a#X1;DR:t>qd vRSʅ>Hoׄ²B빂A3G-x%CR>w%G5>/R'ЭB ZZNA,B3ҡyũa͎|<{1gB)ǨY\y"y56'p]k漸 TE{8gT:кTKՇ/~7t7fdWJ`)Yr W"ʲ+ 1-=/زrX T>C0mZVCDnr,$䨿[d{nCL/H{ e,;{I9:ϽaSXũo@z\c׿N7[^7oN`̥C1IYf0*HicHx_% XIǏJK୉T"}CE-(h0B!.6X#2fBj>h,RG8x7zۯ4p8I톭ͅ83|Td99-;גȒgB>o0tN+ž Q!AGՄUBG{d3*O`ϳ=Frb3S\}kB`'d_2tϿ}?" j|ob -!tˌCh`m`QA(dP`Z!kݿ@B?#)55oh#s+WNJch=^Lюa[brۃ~+|rXl9zLLtp:FX> AUdݼфǨzF53*~0׋ǘ4Kp=?P#d Tkݗsd餷To)U+$k Vlj^! DtA.%O!8pg{*I :y  S(,;-:XQiޘR"O%ܮqxpFT"%bK$?j.dqO.@@a*fw-؃ gT3od3'oC^%pi(y ! WZf .#}j%! #: MAڍ0cЭ q\0Np 2Eqj%]Ҕ3^-+b Dޜ;Iw+'G=D :1wIQkwM Uq1^ 34|\t([<:BI/6Ãp%" nSwZc{Re~Xg[VQn 4D@$VIh3nI0a3Y;cEKKF {NJxS"L*+Q [KNЁFii!?,|T8C*I\B&M1@phV8PdW2œ:ol)2_)Qnhc6YRȶFG7 㦬r=B$:8&SN)fTH@ZPO:V?C3x2wZ!S T/⿝xKIϲ^ @ˮ/.iX9+2O%&H>&m5xexxRq87ȡyF <'I;Ihi~J(J,~~C!wHLRWDoɅ^:jEI |6gD#Jh5?3\թ 8}-(q];OSMM5+VBk*b~s,$<AObU*/@ AV￱J6RM׽cH!HzBюKQI$:pK* ;SP . xFi-ߩ|LȤ`hݵDL|Ӓ ЃY\'tpQ(Nn y`2TzTq7@ش"y.7"5>8og-h.fgZLHvR]Ĝ!+bR jL]؏+,me}ˑ)#Y6-Yr?Eƙ'tt}-''gHnm E0:</2Hve)R4#q\(tkzR1 u- q~s[ &Uhfd?.ERd p :c%/3H`ip"B'AM0 j^2 dtR +y+1B5ɎSxo|N,]/ 0eYN {yXs+__e518Th?%i&26Mm"RD4 Q|whzӓ:8&s5An2a*FaG3[.b? ~f5P``G%{  siܳ=7iyv2o`QEؔS .Va_((%h8ZlKM<)kps .ju3 "g[J6ׇ#ػcs9A# t=rQspN`C9Ѱ~O+$^$Q^/M%"] MmLAWAGP(&a"Ao`O>/1R (`HKп1rEh 8#Bl'$٭k&@y#ȟ( < z.1GdQދ Js5֥T)3!+[VtL5J$Me1huzŶNd:UtC/i^}wcUn.WpUJr iÉJܶ<%ONj(pH\1tr&vLթ5bO p|c`ib O'v6O3@Y8H0N3]f,V]SRi-!-5)mn{^:Mq%S244wUԡboE"äL(He{|gKvW6*3􇀪OO/x~B)D!n8.]X 7Pȿ M͏\3b 427rf Vi?l1=L IG.A`yև1G v£&Mx lƌdV{7IۯbmO}hFbVj{\M|S>_;fI^Sug VrϚ !`z:2 4#OQ?bO~+? v ZJ )phinO}ҋ[JmIWaaQ2|( )8 PHӥ-Es̈́ ZcPL 2{÷*Z|qU3INd@E)=!hmAD<`&hWW1@fw4xp`0`B1__] Ma E|#r|y5 nod>-vˑP룲ȚkeY,˲8mvlP"̌@++DBBi! t1/Z?$OlS$8@@|lzTCEQ \F|Ԕ#eTPh4fT3>r*PDlb GFAJQjy)OJ08ħ`d#ji4"T'>U*224#@*IIT =}w3rsmmWbB@X*n_mH$D/DDpm#0o%JcӤUw`\wj 2̙N{y+S]Ϭ]Q6 77?n0yIh2y1wm}l4mV^맩zz]OaBQU[Ш>*)PȮm):ܭ ?zM7Uma-[ěBV`a|kh6eu#q$=-wuE3B›)_IztmE=<Ȭ@qnk:{<[n㜳W*pw"];fά{kS+>#IR4HP( qX.@q@ a` C2Pe)PlwP=2இu T 8Meq皙mhM&8VÖLnP=MQ ˆr٨Z/ /*4cQ;N[C\F:)L}ڳ3~0(6$tuJ}5O^^/ױBlCUHT7-T?^~+pL\1 Ĵ?/QS?+ތ8.A|vp_ks+ڷ1[;?,37rQ?rFz7uwnXJL.Y5Zoɔvz~~.71T*ϕ Я14HĚD։m_F<5IӅ͉$)\i&kK`ĕM Iqon=I^$_詗 -׆هK\?q)IIһrm]H 1A*RÕUܚɱE!P۬Ud'U-vL JƠ$1lSZ!GWQ Ņ;IdR˦_gjuZ  a:7ۋXq^EP"uҳ^v5oFrK 753A\}69 gy;q#3%_`wez1= DRu~pĜ@ ֖NkĖ=h渊%!}1]) ]dH`l}.uSK [ӫ\17$N%D|sq/ g GMY_ǡ|"o"XaBmVi8!m8AP:7H+,k<>EB 5ӭ;X0֡5$s;eA=7kH:Sl$f5sdڣQGܡx^`hۙLULY[@uyX A;[mq CCE(G1ـe}A̝]ΥG%jO{DT$J:C= ?`ő\&dUYi`$0 ΀ b#p)AJ[alc.Vw(F"I ? SsgR}W&!]HM/ڼdkjŠyqx$cݾ5 n KY_zQ50T9Y0DG]JhC]hg"h}{]=X ؼS~S&BRŨ@.BJm+MURRs_תv!^mU9 {Y٧jfXt8̲Lv933&xߪ7i|3o5#A@dTC ^ &K%2'.~]f$6l"3<&&0 zy^! WPme =çِW!|gxϜuDQDHBuܻXXE/g/]nѓ|=UI^L<[KFb`@ X%, }|7o]LBV~]줔" ;/Jl>9GP/t'_U!CƏ -ĸ"TEPHj;8!nnD6/8 :z thsՈZ$iR!5h1L/RNDbk ⑇, 7ނڮ^"y`ˠeLZ{")i[֌zI z@eً sM urɲjVX.P7H0Gf6ńz\Cp1cs79I:r|LT\r: "aU=>< :ZD&O"k4LTF7Bf&7C!r’C-6T4?/ dkbdUB夛|3؟f2QuP6GؿІ%pIF@=ߤ^i: Sz]w-K."ӏ2?.4jqyQfC@Y~Z$6YN cmҠp7T,J"@h!Ov#+ ;J:48AŴPW=#i:X3^.WM7Px-{\Bw`T3@U\QfD742:%bhtbf&"o#,麈ۣъZNWs ?mEs@d㎋FѠipW`Yq KGF&0WG ^ 9 qb!i H'xt|]=7U P5YE!deɃ\lΎ`\"D!>?9\@t&_XO3ז=ا'Zxo^r;KW},%O7dk4O" UȭtBɟș8[ ";dOi*e %fV7`{ L$;:d34a_i%Pof@AIVCg#vLT"J18 EB3WN~85iҩ4N&D KϯBG]4!{j E%\*lYd{jyK@+-1FP 6 e<ߥwn~|&EQI7jJ%4SYT39̿7Qh=Sy4JB"p»1VLԕg᫛0'"EߒJ 35%*Q+p&O,8Ij掕QGzRdHOcb>8@y'cgIt¸4 o$4ݪܘ: } En&<}i4va)-nðah +2:Fه+rA^BCpS-Ѹ@`BB#)#!J1BL}xP7}S, Fk(6#|`mΑm<ɁSӣWBDPz68"?>(}@Yd(ȃ>a&vj@pڍ?;-YRc(/GKх2\a2{VcM4@B)UEn ㄸ̣71 LqXэ-h4QBR1#3[YأibDD03*Q'`Dz}Trgc%Rq=qG#)/H!8d(TGGYS\AMs}CWeOt"af@fPB9SHEiE@-ߦSx22b4'r(%|H)X1nڡ|-JČ ;/sGЏ! &*6W?g쁖ۙ~$[&Ӭ&JbMEj+ f;E  wyf?$P ?mi? e6@ɽ#'ZDdh//6Jm Rf @Z4/6"Pc9gpЄԻnIe35-i ;JI-~d W`isAx[(Wdt{Z1Q;c b93-sdDV槦-€AoE&ͼCݭibœ*?%4GՕՂ#N+R`aFPF/Di!z񐥣0ŝöJ!!!&JUWk,ZO)i.e'+_|<@T Mw^@.<|mUrRy Ǧ]$!r!!⥣a:k8?jaWs"9#XYt߇HHyk[|z]; uM9h+1 quZ4ݬ@>V f-U&1jR S(r/O&47dWS- ti=KZs:ʎԽpd=8Aj$/AnIO::g#>HB c1StpZ!|!. QRhUs4}cZVP rt֨?+ <;1_(zk/` t,x#Yz4$̏^ zvQ\G`p 6bOfWfE -lrڞE=$v%]B7*n]w*?E}]Jݦᅯ$n4 /VE0DH7k-wfkjnT&ڬV ̴@83r<m#s<_}J{e1p$$MRA)[!4^sY3萡^ I%Z5.$1[L,A&e@Pދ,{V_mc#]ߏ G?uc+H#e?lR}\L*ًˋ՚47:J4_lʉ&t }h#U(<?@xi5HNАT1WTH|Z߆ BY.F>v^`qcK_DY0[‡A2Tb9s mh05irPO~Wښ'6/;"k[Pik;پXө&}2I=Q;;[IyDq.@kv$5WZ+'k\@Pᄍh[+:Gx䦴m՚֛Hb#j֖ ~/G)1:˜H8ƨYeyc+{EPzL6Ṱbju]'Qp/fc,X:*F'}`/ռp,bH#I T+qT(|$+HB}m6Oh9M=E+'틤`٫FtEqr1\գ?QeM"v!< Coކ*uݑvNt:;4bs9#J<.:<Ě"W[Qrd1lK_{Dk;#񭳣tQkpijd R+O^_9۰ Ą0 ѵCѷ M#3,HKNȳŪ;( 'ATCa)@&9'G$}s.:2˲b^ƾVF%8n㿰Gq1a^^"k2Hqmheb + Ncy?ɓXdNcv¤48q͑Q.ls4nE/bq8EbqS,VCt S|3(psUirj *VYcnlW*ݖ/`%Vʡ Q5NFjR^6_*[>?> @)WSorXQESwjEA#r`!`bS QF%|(Qtk33esWLk\I<,gW?y^