SQLite format 3@ .;  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  =r,l$ ]S]HOL-Nonstandard_Analysis:threads=6elapsed=7.300cpu=32.288gc=1.5727zXZִF! &)5Lsi m] T=&e7U} e?Fû ~B@ڌQ#;!:OuJ S:I8-.$L)W2 %)Ju!OD+ N%l"L_bC0-6:QF7puR"C(j;R#3AjY8ϥ3m bțjEmN"%yv l0z..@> o 39j,3fb2@%Edl=3fUEifRn'O/ uW{i8|Wu"jmoH)ӱ UDs*$T~:! F= 퇿[[yڲ!@:Z '>!~a7l0 @!{-bORQ̮>~dž@ljuK|%ʅ4mo]CJQ;D7Ȭ ʬM`2 Al]zɍOPLuţA;&`mʪe|IZ4GC.mk E0506ֺ+v ̓ATû68Ϊ:QͶn=\6AGTnfoZ5959z!`GHhQ,+y`G _L*~)E_{m*IIkpD_)(Ɣ7tCB+&Cd$ j} p8Mg`SWȑ Ͱ\ֿ$t ԡq*HS@yUvz*?#N\n#V0`=䶐>ABΔQ+t`filz]IR^.SlIFv73^WxCCV eܺ;T2C%NIn3l֡0*f߄K$;,, clT'IA['T5InHF7 ~q>Ug9t|;2\N9aqIi@r %nA_`iZA~ {ݚvq"~cC>Wx.[ώZb 7tʄV7Zy`ui1&AzaAaV~s ^K"‹"ݴ}2Z@;qkٟwG_}Lo:Tyλuޘch_: ) HpPRV3̒KMPg ˝MTprqO޾u-{R[;R: ؍ĩgK.R[=Sv]@B\b 5@cu+}*6گuիL~Vu0*Kr|c!3qW/wM: 6p؇\>{1),`*}L5y>ˮ_Uje!J¦5nAxbKTBaåȾ/x%l'>q_D- ZYV;pIz<}fM->T!|6^b@HS'-%%V)~߷w{S=A&+`lEL{2&~oݽ]#f0e_ n}F(Z1S4}hum|d҃"qCZmSw3Se[J- 냲q2q4TT]OpGް竭]Y@u2/l#LļÎFfPu#$݅Xj;3XgI6_ϙ#@q}@Fj_|.fQ@Y&M-gj$1,iU h3ϯAv3~YfF/?1T/NxmG~pэq N}V^.gOb%*y hm>4WGQuOɰFh e-U}rFn/.:l4|<¼A+Zl 09Xہ|[s#d7ZjfQþ{U&XMaF\dF#;o,Nİs̸` g>Z\ȔD*"3BT${K 8|.(j%f"f4JLd;=;Q^͕LˈTngπ7߻:GӔ];N{Oۀ-JQ~[S QOL[ːVuv o4a耨(K荄]dqx%J.>Bf0_0P51%sGfrgK0E_FZJ!- DPijqt šWY M2Z_T47GR%EkLmgOaLW2XthfRRYCGj_ d0DZd&rCB3ݓV'vƞ#uz 4ts<s6( œzf& )ߥSYz`K`뛜NRr>QtGշ 쏬d?OL9.۽~x"KcD}]9–=(>/f钉`U>lDϜRR;) t("tGd/ړch.=HXvskdQ\tD*5hYe"II\,$vF%œ˾Agyi _L7fL}4wsW auOjB $` WPOi_= VuٖrG90sӰ໢%`ŝf`'uU/99'+OhJ8 .4 @if}X2nXi]y2~@9(kpvsC'M>#)1+KGԣ܌ttj6xv4>0S""S+y}O^:Jp>o PstQ8翈LP\pleP/"gd~X0 |N~_|z8 +4ݸaG 6BQXUG>w.j]j左Xݤ僅Bs@ln1;W:N&WSlg K䷜[[?2[sx.IV庢K SS,~(1ρ9d4KHdu{% Er3ИއN"\TGP7iHq9p4=F]=؁#BMf7 Éo847,_\tg[a.TH)9}kƆx.*eTǎB3T ?x[ l,+Y& dmxt)cKp?mv묲IWJh^GŎVMDY02rGt?È|INXO%#OLS@D61¨EXt_M8fu2Խۺ .fΑBnSѰ}ǪǗ-pOPJЄ;l3򼒧p)N)[ay\)ũ w6rW' oEhPjba.M!=Cr+)kP0omfztr+Zz2_KNSR8Vi.eyY.ܳ`s "ǩ [p"S~?.G<4u)Ctk~4О':i 0KF/fbIY~(qY=ejLAjI.SN(휷Cvx-4Oc`߇CaqX@͖z#1{<7puȼOlB\m lH@+2+~{xB0(&U[EpJ%فcq\9u_`vĸ;S@cP8Oíj!ezțGQI~mA!L:Q)臛7 4:b i(+ղyH+N-h*/pBakTH#:6ZasE6`P"-RW0+1uTe(:3類(̐ƕ&&Tș@LIHxVޡjz['@)kpd泌)g *6R L))VjWGOY~5&-I9?H|dn;+/ш^ZJVt"t \s=V 0߸֟ :͟Fwf']tJy0j-H9OȤWZ#wK{\О}G j}q( .p#s:x$bW}ݝe P7c0WvP.deƆ L;bl'/4|wSL"u oT^SR)"C|YBۏ0PeHuI46G¬+zC`<12rʃAK=缬h~$Vb3 Q%f37T0p߻fij1f)JנQi>Äy+E]ǽ՛H8"*ҥ2P^>A:/=:uRhmkQl}ҹ6Z 0V ^^+*tW:}gkvY25:ɚuQQk*7b뗺T&>G`K:l1"UN%i4ˌD|fMVtqN8o˟Ƚ6+3-VȠk LwEi!actgTRTKuC cn/J>!~.`H(hdH>3 o-'`bSF3diOc3Ke 5 Unݦ9Q)HFϽLlS<ֱ5ës_T"\0=:c#5 j"aCBy Kup*igəC-G(wEL 6Z2Kse3__N&tLJ䫬"E,WU,9 9HXH&4XåcJϽ+w/_CG1G V e&38\+&h.;~Dwߣ k-OSo9ctr:رAx7Mש,`LL=!G/G7?u2N$ѱXC~ׂn'~ށ9Y#Q ,pb/oYGJ`g{7hוDp}. z@2*Z,#m=^9yu^4Hթ̗8ZyQA``~cYe¡[$k ًl%mJՆi6 ߝr3/nB᪁{\ѹ +h?@ 0boi9-byDl ?RPt$@qDu+Sm7쿽oVAeƳXNTM}heC/` $ef=] χth ~ͮH/ xsVr@yAi4FPU3`4~s85 [X޳QB<AMPXdi r5fX2i&3+c _s2b|(UK۝evD!ك?L9q.mǿoVF" <˳o{8?Wd;Î;ѱY Ar7h8Lcx4{6}$A=-6М{bs;K#?L;\ ]q/(}K Zm(I/!n;V#WԂGxkDA˩(i-š15'q>WWnav;첷J}8oS!uܣpB >ܤܻʘ;ao8$VѢ"nkZ#vθTO`fթ=UOuk& ܯdbV16l?C! g|h;oCBDf)0]l%56†*^AG08C8 }E{gw}u}:R WkKiS⺆D8@lh oS']SQn%:dgT.D^ ~}x{1 )ߋJPj.݀ːpLPE3jl.$ Fy@W=$7tde ;$ZOLA:?ԑ8iu@+ h-z:|B F&Y=**$stt*ע鏈^#w$c)g`8:e Q(Z9ڡsQI}N_9 1J'[ h`߸"m\V."qK 60EG%F:. -TO:F0ӷ"} ]>BCr &;)kPw0n\ZcuҒ岧 ,tNCX5S:zx~z>+O:"]9[ x5x%9iv+ ?Ѥ-Gg S- yFbn*hfs塓NZ5]@dNfǃqX%yނ>5eӐ}>?bt0Tc Dd*py|n$E(78A5JShaYID%3lڽh7Y11^^%)ַDi7Z@("d7xC" Sbp` j!΅`UYE{I:h\HSIO5ϨbB]f }K?+>!A`8- Y<{Y)4^SRF<TU-G+Q8@.]BgCu7. ÷+w_k'g_ ;h̍b{-w+nЪ;(b-L^w9xqO2[Qaً8#lZGg»EY{ɿ6җI&B?Q—u( zq(g-|m}$,qRB-Qζ|?w՛*(f0 `7!W\؄6A\|a4J ?_Ëڟ.[gV47 ]/K+HR?c_O{QUGNˮ{EPO-7:Y}?ХrX8X%ԋL]?w %G_k@y(#,,ZB(rS) QFõc&UdEk W҆)d,OA21BP1{ծd!̋'*׋B"4ܲNst bZM$"!LAC1yl :Ͱ{Ū'([ܿg~s{e.䞥Y>JJzf̭ >ihs-܃]8|bAYir4iќ%r3wLpNfKh0`˸a|502틽P?{a# %jƊ^]ᛧRcǁ{Ο$^eokV詫f>}UO /dYCM)%'4l}.&E1OQOfu2V Wc#O7$N28nYH (4j0ruh}B]nWڅuQإ d:zjՅ1K&ȼ:{ɚ#Fk d|:ʎg R4>IM~A v>j#\WRbF#4t5jpRg ڵpj4Jn"tX=O77*`rwԤzT2(SxzqnOadxzU=S@sj5Pyyݝٰb#٬78Aov2mgR#"8^qLu&@otQ B~ž "7Кe#4T:U|{QYCF7|"ܞ7dE享<!T  9m fTe{|okұOɇ^u4Џs<#YF}%jչجR,{Wdh㭌}y՝ssPY4) >%:%TWlPBC%p=Efhr7+D"V -a͏h@4B%;I=R.sxAGؽ?bi.F\_wuXvDY*eL_/t7b?)Vӎf $,h><$[s &rKAm+bֈ \-!2+SNT?6"duM8b [ch⫻fFW Q4RzE 71Sb(!󹅳f݃WX)!R;bD^QZ&_J9 Pƅt(#J wG͚&TΡ$D܍]rw5$g.in3rlu g I{6½E 9N.t<ޖ"Eaf:: ڡeFT:1~B@q8iQi31Y,o[[[g´4?&;u۞^= #K&޼9զw{:|g>snj:b5lYϹSFlp!e};)nj p(4//Μ,aJ3cW\Ӎ>c wr Z3SX`!g=lmY~H /UAJ6 )e4hT֤Ą~:lt.]cV?(D'0dgV(LL򾜋Z2_>t5 3T ?/[h"?H kER*gmw4{6~V 8oզaEc6eoe6>iin~"v>P}|֕JC)|nAgt*Gc8K,$R{N'#%z_ 7Gԋ҆F5j`&ځw4l2|`^U$]I#Igiu#-e,Z_ PLÇWD3]J Q%F1(Zygg7~)4Z+3>awдid"7[|3 O"gY+IMH= su|_5G:rKOI 9fĕCR @Ws;ٔHk%CgэϸEGE<.%8.g $MvQItfxWuUkpF+L.B" ;"&J[djtK(W:sqj/>{<7= ᣌ,~kŚ= {Co'Lj%[spc3(VdU/g}$YoNqvOL,23xrx$4Yj9?)c.?oWi ԯyaDŨ^Շ~dmN\F%z:#hPS75lH[1uАT j$ Z^!]}G$'WFr7(#% .kځXqruE]}tSbr~7yJmTfxd:c:u4>GWH"iO7!Kl]_dCw(ib.H]?< 8BwRk}= wucx˼RBtNy5IPzyVqT+?zM6 :ih3x+%u ,5!Apx;xP2mt,"t%ńuJۦE[E8|ѾCC./22\%R@pYn},q'CQ?o*yzV2~TGt@ؕN~7B쏛2j ɭ?\$v-n@;2km[]]rž9w&3 .|ìnVM,U+X.L 20R6 n lȑbpu!1^{>U᫠}[7 )Ig-T^LsYFcEyN6*dshS\K$b+" P-=ud lg% >Jj_6ځgj>є ^Q@Bcꢲ I3@3ټKZrWʈW!`"cmvFSs;#=Z}g4 j|.95d58-.x5Fjxz.q'>`OXҞ^ gQ naֲbHs-V@A|H&+8k=ux„ڶ u?彰d< M0@F  |S{WKe +(J1 OINU]$"$E] 87>mX{,11WŒ(;`~.g=JdR^ԋ4Y׾9I 0؝();U)=+ p/!aԈBY@#}i«5 ԅU-EAn@:7qaRAT`JQQ{!c6Q2@,˜/[Η4vDU%C2,?aMy,>Cw9^ʙM$G/R]53 D .ðpMT%$Hh#H[33(RfBt ,p=긫ҺC!i(t FrwfRՠ\?g|aTEOx÷!h}wO,!Ԑ@W7K陦4C-N@?ĜߺQf '# ':L}M.l^&yLA)bM(@,D8E/IsbXα5h¯X Bф_+G4#_50xNP\ g|06/4Y[m#>[w1P4xUm r ޅ+A# /KM&\NKUS,z7W>m*l@w9 K6Mɘ l@H9!Шp"z/͞^Ncm Jm"y5u̶~kYGci$}Ma wrICVզ*c% }{; 97+RKUE >6^!^SӐn*0.2a:JH'I\en3w-w%7FJxAOX n(qRծ4I%~5207PkNhۘhz tWfɄcl,]&`@6W|J_.5ۍl2S35΁LX$ kURӽ2Jpʖy$;YC> \ 80\~+Br*hp$A}$ԸMgqk&v OLH@$(@${HM瑵0>#, ixdZ@0 jL@b7P*1F`ʚLQq1jx29c |>y z.x* XyA?9:w<.Ύy/H_$nf@;3;#zէ\Tx-ݶT} B 2""T,(B }BE•Us9 un~ j߳{\~כ;0塱/Y@BR  2/fjMjSjY`R8 n{+ lT$v^t{q׌m~ سpD3ǪM- Wc$3IHyVVtv^!S3PCZNg:u=LJs%<,L7'G/INyr^2QwlLMY\}UKB'I Id +}hqcvS[w2rDDA*z.P`&, H稚w&SĐEgmU *\ڹGnTO;]͔h/fO _/||yK@&:GsdȜE@WtA+f#0A /Z&qFKyi;3;TRTviN}.d@%DJwٞ;LU $ڈOA+o  cKt1X\{ghd0aJX?t0h`|՛(Yf`.Y@IrMe,^ْ?ĠfZqHuI7[ȳa|" $߈3,زoޓuYl&.`8/UAIRxQɴ> {]"4 cA 6l1%@%Ȣ  hZQ֕"iTOE/S{XoSĐ}vO"Qmϛa,]`\=vzB:GPa<&1?nlJUcz} +|̊?[ػOWr^e|J]o8$--(I Ûv!|P}&P"ӺB$M.'ʋ!1SC`3fQX=AXQcd->w6X{:Ն}{%T[*.bEY2O?x6߹@ s6}lR1`_]_-DV`+{e^+]OixWGօ>ծo -P>g/&ԡ&^%l1n>saPҷ7CL tj׭ XӋo(wȯ_2EciXqz5h64w%-[-䥼=x_t|˗@`̀aoVL ԁX)1Gsk%'Gn70T ~*^,fT^i:͘;'@Enܵ[T 8Gs?'k'Woh^k`(2%"E ?@6"TX#ب@UD5'Thƃb.l۷:^y~|-8:G`vViB5ѩ[Y@$jFDqTdM2@'ޅRN){32 R'ɂ&[.U'q1  ݓ&.Gkљ' ԟK}}L==H]~ >ا[3'Wp/EZ.#'{Lr|9w$pZtg<!<,Řr&,W9!m1e rAɊ!huЯ~ ‰zz9g7_ :~8&3?d_.%0މjYaF<&5ˆ g>4.lvML3ĦnH7(^نpz<"1m` k |lc +ZMMZ_a')@yOdRr]W+x= [S:NisUsz(PTbj!l~rA鷚dl@{OPs\oa{Nq9z-x byTQ }mCrQ݄(3pu i*"K{4Yu_K`{hQzKS3jFi^Rec|EKr5Mu[ S[}ưwF?YYc.1/Fȅ~j>65ߒj:Y2B"!'su8w$k÷/HR yQ'L%9xD.$JҚ3H1.n_95WG侪!=zOܩuFS]]_`mˣ9,A$fCO9%9תsS~fmC&`kH#9_(qPA8{8YRo?Ђ/z>z-R Re*r։sB7x˜i2J /#XH<^qVk wKS_-ox'%%؟1Ј~j)g(Fo ##9*@etd8(QduF9}"3fT^uV37 [8Yʒ~J2f.HL0iij)w~ ~ҙrM ΀Ȃ~+B;V5$ͬQ?HܚOl&y г*sO\a>[cPL 8lh+iг?bۚhDlLyC%+ 0$.6`|U\#gX+6@;Y9[ &\Wnmz>iAaD2@=|yG5a2F9WXa^MO9,wigЦ\RwbZ|eKX.BI؍K$LReo"s4:ض4 s2r8}sq;f>ۭsE#>ʳ+Lޡ;+GrxRwM5nFr&:=܃H^sV䧜s4i6Sc C*H$/92nX&Q/A0D:^aH%V[ ?3q/Tc@S *QOkX |z~ A(֖z{b#9g#6M b^!DVH8ܤwTph9|QJu5T<^VWooP{93*NmT \(ch1>\s*pԞL5os<)"3+b}^֒@I姜 u-7fṵ59fm&mM#*943Ғ&nv=lH +,01]s'GT\1)[rl!^2Q wZApXLSrX >g`1^'(^J9.pQp9ߟR_jϖE|WhF.# a|BPs`@lrSƻn6V$NvtBw9T yAdWtK|#Ni8t߫GKD{t" K7nJީ aÿ #%x1XF{h Ӻ<5.Ͳ8ct'"%/i-p wYz#c eꀶ:ُYȭN+r5/D $b~ĀdKw8mח]kPck8DۃK^*j؄vaֳBhiqT 5 jvmԄilv?o<nbham ƒ^lA1_Ip6T A3,ˆr;!/\$"բ Y`>#hc0d'< jlĵ Il/uCgGv8LmG1>:\g8R)~ o:8z{R2z=m-lTk ݅ub±" Mhmf 3Vчx0GtWs*Z\E궩nI4f'cmOݛ/)P&ⁱVXT4Ź\ؙI0;"#)C+Ɍc^ET 7%0굡SYQy֯h O7Gͼ6FEb ׿/ /av^@4T^#r/ِbl;տ Lh<8i cMsbmT)<391{(,^Az.nf4 ,=v EkD~g|ɳ 2_ $u[cXұK@9n U; ́2Cv,uiebetÈ=n=s3 Y88tћ }X+ OpBV^F;l9H-8mBzYRN8 MrWr5E bNA>#T+KG e5woQ YШA Jza5#:ӥya-$2lwRs^=Oe8u4:}Jd܆A!rC] 533K.d|,qۚvƸRPsa֭3~_ ra(Ft8~Zml8pu{Pq&XeΘ$L=h{kAF:࿘꙰O9:A\ʉ C/^^#CIך8gSQd{p. ܐU1+ iLtLǎCe M*u$/nk?Z˸yM:ITbߩJSw]ڊ!דFA6fgm. yDlQk(7O O|Ժٛ2 t/jdF't)f%/<Ƈ+h#KmtJ{I[f{FL:[z`]EO,punƬ<񕚑oP} ;qXM@b oCeh@d~Щ8Ձ9ٴA d t;[լ;oKx#F/ L;àwvB6@9#B/JMЬb$frnz叕z}N"fhZ΂8Vo2"1fp78ĖH|'.y o0n).); xФ ;Yu6=? \$/II E,r_FmH[Ϩu䘣y]TT̂Vƒm8TcC&6&.#+Zr)5 ud@}l`!:b.ވ0C7ǰƚ|\ۢ?q%)IrD33+9u:=0rzVlqc̚b03fQ2T_hWNX)JA+δ8NR2ʐ PVr~g:`gWׅ\]/bF&9Js #dm)&)0=`Տa#F~G7 -Q\ cHs8C32%3os%`ft<ʳ:kߐ~vv0I (_;U cNmN~V'皣BO Q}S h[EQ(n,;ECTRY^qa,HKklrI>1-] , }qyLcc:_"(ƁjTdaļ#@j婲_ 8g# x Z%kx%f.WRz_7)'mG%e(&tט忙mZkI`bl0xЖJtԤ%6MpcĘX;Iy,8C!di@ck2bSv{&3q҄zh0r1,sYu8^Asdx[<-XYrk 2w_S8YY+Nߥn#=ȥBbGXv2GY+-GzZl6cˇ Oaʘ;n%";6BBMHg'_Hn/2ȱG;7‘^[*].dS>UvU qHtTo:4d_<ȃɕV\JnPl7 ;͈K"s#ܘr3`V@7 f}Ɨ.ӡ \(xv܎?aJ ?֘B½KOϩRY3.錺4ن{q])֬?>8}J*-Xz0W&t ??N\-^lW-haԏ\(v0 \,-_Z=iIfط;>NR,Ik2|_̈́1\6؛K.]Dalgr^v+ ?`)ޕx'~ r^>A;\'{cѪQMW7pG( ZǂCc3Ց*c[3Cʮ+c5NfhqI`1&Go=UF-G 馧utWCq(V\ϖ="FeWE~Cx'> I~<˧ppcDWn&-Г޾Ā) w^.t7]:PйqNrl#ԍ(e ɟatQȁ6l!OZ tnk겛l@] M<(})&fEUŗ( ťE;BgmG+$N/ӈaȭ73NpT&5i %X{Y Q @Nw\,2#>j\z3"8I,Hg{w|N;G u,w܈]CCD1 ;P7 Ϛ22B0b]Gϖٍ֥ۍQsz7o7YE6)|.e Sek KL9,dBs 4'_eX7&`/cVT8|vVR5r.l )G~n`w~AlMk {b [ο-)2"cم# xiyӿ4tC}\ҙ"-ܻubg?{OYMx%RoRfMTw`ԾEc)<@}Z`>c ~Y7,,hY|+}m-GJq8ɴ4DZ4xw?{X~%8cEsF{KW={D1ǭ1^&>W-ש Dž^D N+6ުBkĦX*zx}t@t˔W# x(1Kf{F8e\:qoq}EgBDw߹(+;-!]Zk0jٲ*Aƣ>\і)\ě=s_/{F@c~QNk8*O&ʘs lNO,Cm^ <" XlJ6rtzY܃Ki-xW.OA@D;P8&&Ra M-pN3d*6vLxu QoJR#+ѕoR&^Nx錱sJ&o\/pnE@ qs} ? oi]"lG}PSӄh /kDyv7YӸ ~{^ iݤP%E~$:=(wgƳ,J&,|~a0dLjU,(Wnl)m= Zbj5.M^$Hb_ZRbEۢ\1QMc 1/oWgb/5̕M,xX q08zmm+W<_fG}Pijw:h rF]lK@X$0Z Tt$6!Dž`Ac?_- Iwwn'֪j7`Z l: WeՑ=b=I.&_^9"|?R#~wـ_)kU n:6+:6]fv8οZˬb@7K #>z+}!' x)SWը@ +/r$lUG]yo;ݱELOr:cΉ ;}0Xȟ|a"9GlI^; sUml <7ߕA/A*t֔إ6s LgvTO6;ЯRޗC}1^9w9<'L$#ʫ# uB:.Zf~p`vto+F!-AkXSg7iCbYq7KȽI>TKe!Eό'qv<b6Ō e!{R‰,q>I^AʳfYzܯ8saqKL ~+%H=Uf*Ðg}g=n6q͇ ,|0[9Y `Ы :u6Ztvg5iioQP(Ö&bSn7i]]8o[cyEl\&}=Yb9QHC+N Pyi ~=1dXiɾ*". ndSWv?߉lkBs8^r֯ȤyuF<+pFMYAz{a\~ b;Wt^9ULair. 8Ddl\&4z0i:Xn #`2of |nh_1szMזq&^%v6z}g] {ZL̍M`;*|Y)ѧVI:itgʒѪR{an{uP`BfDP3vO4Ţt{ÀȰSghO9ͩ8RRzb؄ñQZ{a4$wXؽR! 7z<6v؋d7.$ݩXs𱺝AYt[aZnxDKo!|DpOѤRgpȔYKqeDm(q:rN:cmʌ{,r;>P=Ej0t2X ^9eQ^8[PU4)ziOr`kЁe<~cq^g$ x߫nz4>􋔓xޤIhJޢ/Jo0V"X>'LJ|hlq^ѱn4.v^Uܺgs(OesݞJQ!ߤEN}2ȍ83~H_9Z[06 *xd(i_* C"h͇+r/(\kA GBj^/hf.atMɸJ`؂wv.kSL 2@HUP}HߌƤʱکڑAFپ9Oj y.[/>=@J˝~芷2*9"kmj\l&TOt8/|1?Wnw7[).rH*?քZV wZ&{cL}|WJwsg;"ImoWuCTK֓;Y{er_"h\ H;0J 4p'u߫b.qba5²oPRzVuCyqAl#|&/f+bI|9дP=9 m,[S%Iݘ zs;(9!Έyd=ֿ&;0}.]`jUGlm3nM+&NFE#bDgR35rpn/xra!ڗ@Gd[e8 :6UZJ߱R\ ~_c3ӽ&haT- RNY+jhgUBD.Wv~ WSK5@K[b; ˄WPyȸt`|1:(H@6"$^dA{sLzRPA)x}~GM,Bvek*DD4g@r27]n!5PRF|[*ZDz KOV dgϻfViգO&? 1Ӏ#^G`Wկs *yORDCg4uQTOmt-4+k)6 haX¼4?w;w5+:=i(}<V'6GO)yncQpXLj~GbQP }xUrj A\eӛ"SdW7=WobAE <6]αCrL*E{\50VTsO*CaD]08MrIgd%2G[aG0t}W>2YMX}}ۯ> Npj1')Y2TM3N9!")ވ >ludH8Pw-W4,L09(»MWM=]DDt/.GচqS'U=~hIX&1&V4=vt;Ա+lSzv9<̠|VC;ai%\F4O;Д%RdNU2-56ȯ=͢=A:3JD#X;Nff*%YF= Db.^!  R 9֑tp* ">© tZgsgߎ1`d} } ~ۉwL \~0I6qvfά!ƹ7mg@hcp;1G}I(hi? ꕔ.YxpCcц+T'PMY{dqG.D!u͍U[9HE"'-Fg  K- ,}i1zNe@ WԤ(!jo;Ts>& %g-Pq[،㘈;.ag5oet1aFV{Ex(gə˫+{(+C1gs'4;yPٺw j@i^x>A4 s Ǜՠ\!ӡv7-jQa*0V5DQM–U;b NmfğnH&V۬0@ S2IpTlj<[ڢd[+Q=xR>\2A?׉Æ3Ӊ/3j"t¸O!ʙF~=PtIæ9ݴuTK8]PzzLAA՚ßȝCp8|(폷}]+=|7,؋p1;!y?D"/")d|Ȟ(o0Y w bmi7YN a8YjhӶ:b)Grh}U#x|ZJ9c&$HM$di~фǼ?I_{R5ǪHIߪTt) B*Z}sSdʗ=x6koȆ|UB %zT),\k) j,|760G j'F'5g# +G>ϿV]XS=t֦qioGlG"?Zh.¢8Tov5`E"fzUmꐼW6qպ b D#\.3Hv42> t F d<*GЉmdT{(̤- 4:oC%>J{[bgНvdHD/܃;V]68=+FkO_*}BqB-AÙ‰kb2N457M26O߶n.4h!A'>AvZHqA_ljI'8˯W[&i)+/hBsJ4fuFWHn\ A=BNW*Gg]D@*hN*S>L?Ƭ`_:2γI&'-[6\ОVX&)W WTwJI4К.;' S_P0H?'(b߹o7kKgIA.8FWMm!>J^n~f>*aGڸv[Ȟ  uaE86QM7a? Km](s~t}4;3Fldn}_̙!](l!/)#qh`O) h0] 3c20R*7-=P IB 4 L7\\Y D~ Χigط$&ѣskZ5”s&ߐZBpt`(x 13U甏r~YA&_Th'=u!󞽠2ƣ'p,;?vK1f,yhىkio#6]NiUM8y %c3AwͲfx#O zYb{VlWD5fE/i+_YQ삛-?+i@YyPew~TK@49:g|FK6Zԉrz[TmI߸bm<3~C.6>n@*<%8E (ՙnǏ1*W Mm&=@?"gK 8t,e­4(dM2p㻜||>lt,R fR4Md\P `7X?|s34t Iv9H䋞]ZgwZ=2 },DblFϒK͕2oȝQn}zo!X.雞'BziYAH$Yl <>SVLBt>`1-K}Y}iK+F2U;d0+mW=AW,Q=uK $*Bt(犇)eVCV$9,,0(5{l|q_eybY t:S/]M΂'23U+>t WwD菔:Viu$C_y Ya<5[nbV$w1xcI`jYRU>3Y>9C)z-MqJMˑ_ZO;pS5VI*]$ 3ۢc8#)ב@U>oQj~P[Nw쀚 ٷ䣚W\zzqAn鑔 kZ׷69msTi&HEN5|`_֬:ImU$UO6QXfp0\ 欟 b­RSJG3Lr_i)Nt(]zs8YF/̕w aIyjՃVj$F rJ N\`?Y| 867_#q5`jā.$1`Z>~2aE1[E[9,-d=a~2,#H?-:;t_>\```+%J}wv)ys$P7fkFa@Ϡ Fv\Gn'beZgUBgfy"OAۭFV dYr@g+';ߍ]#R4}V՚s[F:$_٦HL#v{+ufb ]m@>QLo3{1*zuSk5DtEȋDhU?g'MWD%ɒ\C&ֺ.S,?GQʹ{8_GI!0yDzPKIux(c]d=,s9-%l;gKoSl]hXCU=㡓 dΣkNH53S{r?M7GjQ>@d|k]Djի. "ZBRl6r>|1[ "t,q04'XLvœD?hif] ȳ6cVvydǚ/<fK07rmBbtR^߁QZ8Cj3KPN(JkmC$^~d/v{f@(@Ƥʮvs1L`\JWzc0H|Ϊb=MY`yE؛/9;w!.{՚B\pW.XQGTͻ[&f0XjeYѫ~ KǹCdli_qvyy0:] gtMpeM$jԒ!p7dF#!{Gi<΂_hTuwOF$_7V%4)[ 9u*LƒeXt] 5J#FOos|=A+a Tw)T|$MMdNծ8Ll<@O][@xjVmYM"b*psm c"Jɨq`0-mQ{6've!(tj¨/m{!Œ%7}*Ww"nةh9~oQ >Fnn}trVf yo}r=LX}`B{WMܡb$?>TzݺBHl-ă, W$q/1514>55#&j5`Ҷd>ye012[ ge3Y?h=VuM|FLkT|p%j-uZHA>܋/Umx+Ho&t/ndC}%M" zwi'Z;Sſ|89ڶ6ycYQMسBq@,lTϖyl\.rТ v=i޵5$Z|0>:9]]*Y\6F4}vƾR4R[V_ΆZa28h*.ZЍkT7B)h&HR"trEf;JDCXС~0][".t@h( %36BcQq3 .뇼C1;0{|jM^w6yoܩMo3x6*| BZĎ:Ŗ0"S8q+1> tyVl30MN'bnx)e\[j fn`Cn< ;=iI~!q,:1TYAyB*>8["O*pmUwmxDJ+df{ߔJ!!Q/VFƆM gM3A1` *Tԑmp6<9iZCdmx4:m9xE?3ˡ.9H㢑1e~ӫw9-lV-{ &]ݷrEIR9z;7V^ZшRVW!wsjCKY]s4D|}]AU=z| +nY՜[Y/5s`˲8QG06._lN=;F)OKKU OGw^Dz*pW%@C<ꪞfbf;U-lrD|C>us4_ߖ15|[|xN'yNI7[j#1sfi4il*gZ#x^r߿ + ]o)}\ `qJ~NG\î:1ק'x)z):D0+uWME>XrO>xf2(.=Wv ,JDdJG7Uv-)=cG> @*knͲGF@$Qrd>ȕBEC5Q}*b6Yܿ.!H}6+LvFޑ4` h :c沬_i$66Iv7&b$I!O< p>LI!C[ .i+Tݮ0`7,6A=HoytUᯜv/te5qSANi^zo}brA6R00U«G = МSiocQOt,5F2KR %>{Xg:kDZ&TO#pǻ+_.wu}{SkĘ2(U[1ѯI? NX)\϶f7`v"C>j`3 _E*n͡팊DƐHf%c@+h:؁ngl};^\ݳ~֣@Оl C$xՍGϤŽ N_q_WUZ`,٠6xq] pksC͂]~F6a(9s c5jIGg`MviE$d/d]ȷ\Eߚ&?OmWOJR<+έm(9ɊL39-_ݡ{H84<)Ţye2co!c-L;UKa&/ˌ zAԀ? ~omU ­WZwwf( n -k~S/u͏u`#:_on!50? Ԅ#/vAҀݦ2!-z)l| R_ >cq ⼑5wRZsR62>ڦn)V4׈hm05yqrSe ֳ<xa9sv8زuTᙓ `L;C"+ފt9CuWB[*D5)>InwJ v|KXƲ3 5l ⅒׺usm4}1N}愫rkAN톳s5$Շ; Qgȹ ;MD ;Mą%+b%ARՎausS&8̲mO^}ޤ,`9*Lk Yd21(ޫ.JTߚY  ղnTL"@谹KVwݱ1EuxhISCD|`O (ӎ4Hä8#b]%S Uqb dd:\e1yeǨ (>LbӅ<6cɾ+ƌu~#nA˱ Q݅JIqAKFmEFHIrW15E諡`lI߬8 sT4;mҌ>}#7 /+CDiUjJB-r+JCHwO,Kec=$%Gω&|Mqo!w@]+4߹mnNÍ\#PfDF S Ҝr@mr8<id`*ɶ GۊCe<#$3U@:I8w5 ړŰDFs:~ 0:)5\JL]wPF2G Gm?@"g1H ]~Kmm x58iuPM%>׳r!zR4M77HkH\7=V̼AHP@Aԯ3+ T~;TvahNAm&gi`|+Urфa fβ)2但?r>|wnM9d{+(MtY'"JָC9S7y|]<,TK+l81 ӛ#< .6*<HFI_D91z}.Ιe4Ƈųy$7Вoζ m]#,L9fΏ ?~Pi0.,*n^8l4Q+a @NqQ 0MP nBı2:Xꋝc[\Ԁ@f(0{̴$+<8PM([T`O 3Iz'?1#)$dK{DEaQ³i~r{7x+'q=I.Vne|81A49cbn*껯WmϻT :n)~oSyh]Ov& ^g$(m[ɗ2ɼrYQ;`X}cb:QRb<"/}8a8qV 4 yEb%LvNLIk4:ۄ+tN U3.#e Dz1F89Я *ns] N cؿ)R$bo5_$7Y,(۩QCzz$W"iiǾYkPVQ`qo5|7v6HpguLCM/H A_vmwN&eڦPIGpH/~S5ʞNU!mrj+=*";\ XK (Cɋ9Y.;|W4d۱_ C[V5?̕9PQm}:MWNh/{@X.`.p9ϻE/ǯ@ӟbNrrm$D6txYXE<"xVrCl 5T=ҍJJk( vt{Llf\XN~ˁHrOEɘ `>nӲ > ^Cu\^X/"(崺H΃)ۂXO2g^JjBT1ҜˎCf)JD|BqRyx}\ȳV-d u*gk_}$iRPz4oPS|eUnNX9D".s Rt`_% tlƲlwǭ3~^ :mx\&`~a%Y-|Eu#Fv=Rn'vYx\|\BET6yCQ9#S)RXVlA]`@w BM/ 6}ݘl[|=ku\uAh oN iʬ}\,$|{XNhQxL3d5 b%چN5c;cZ:܍pM(.*G ֨jSPք!=5-$|r$dAZрS"xj6asX WG]sh74g4A?t}a#,g18"N.ʹŐӼ(7`Z)KV%bL^7#UXE.co]J'0O+4c}FM _Q '2oNI卮 R S``Ru$] pURH\l/oQ",dN?O9#Ϫ8U?uA'BBs mnvc鈪JYt(?=vF 'j} /0$`KIvEb= #xy%߮J DYlW(Gԕ#t`w}ihȰSumB2+L,|vU\bQJm ԫ{uLcaDS ; ( 1 0}EG#O{ 17,r B)i/9'ZZ1ik_iPV07fy |*7 }qO1H3\O#E'&R:ۓ) sd{_rm~miJ4GGourЖ8SAh_Wӆ-[WB>)_IQ;t3啕` [&7e$y; ɮSCb@SLd >ys #׷nJV`"{ #0`y^P7={\&3&#CA).̳}+u<]jQ|$O go7zԿOzAG8冮ciG \cުM]w7/AX枔a@ y{$o"h鐔  4ͼfyo4u8SLO OK Υ] Y@@®`ENS&=i2>FyN?`v>dt(NK:[莂p U&d e3_g'ts?`;Ou; Ae>J}P%nZ7P9+f=ptY.YA7eW>YRz3r/6VKh<ǡ=# "6 F8E}p6=mܷмjD G&r$Jfő R|[[?=ϐ"SkTyU94{.F R.Ņ,: ei.[deepӓomJq,Y.؝8 ݣ1nܫ)-iT~%@V{NqNS ](sƉ ;[yxف⿳3:&hzur+6n5I}Hh8ut?O+9rXG?/!32wI8×^P+H$v"jFE f!ix=70Unز8 =haJR?x#1̵*M#M$-uJlk_M~[R>xJDGWRT(/)qRCޱPE7՝d2o)iO[dy˶'`*s-T'=+=ÅHzr~nȧ̹i T`tjU+R`"nIm`,3"=*z))ZTerG>:܋\PWsΛ=B{rl('ꄌ]ZH~ PDHKw c\uKİ[tDjy~42aGx~KsY՗T GUK T.簜EC!S>%)`"']Fk&0*UNuptfyN9Wοo[rܱFY_cr|NPl/X68  d@soUo`+=PXc[e0Cl4xYDYXWKkj(iT:FtnKW=VC j$^17yTe_|KNOs*>2\Eb]iwC o+E)zY]/ObƼH9Lr6zZ=g6x;8cd%u;ůy7.@$"Ln{se+pPv&G7h#8k g&8Iqˁa${=/صd$~A'SܿdLXY _ 8PvR*Q.;H,UtsВh+}}~.:2\j9exρ` \m^.:ni7}kw5ۨrDp`yz%Z Wfet=<-vןReٛx}zz#:&вeA$/ KF" ϺhyQS`a?zj~bfsW?kaa-ЩsK$=QqFwU3π.K^CYoRP 4 4DG(]]CdiCȭʆpJǜט  _䧱-}Dz{|^2j^ND$}JYݔ8v@M :/T"lv~6Bq3-|-3@?j ;LyױKpy6 %$(nO0£- `'L̷?pbZɣ7OOۑbQ~0Ub߻ɭqaObQB\"4#M,:(?}0yla'VwН,`'Vl:=MU+0U貎΁'_0E/y=b8DFlAG 5b$My}pƷlZHI(0}:iZWAkyXW 3&'B-CnhDLp2Q>o1-woR&ˣbw7Y&-ڕ-I+0 5}-k7Qud} ,j M瀲E{Zͽ(NL E!{NU;{]N.! $0^**ٽWƎRe<{l{Ǧu+o:WS9Y p>SR_D0n/`|r(F2`?p [M] jv^iL9\N/a{BRg=&^ F)AMكEmK@}U%_; Iau Y~.Qk; &+57KzKm9kS{)B&IZ:(淣-RqmSnЛ̀[b7jKQ_`ۡ俽U(Y>,Of#!vi=)Px/qD~z!O;r{DtZy kM.Ƒ6Bó0t={Jd( :-`Vu hUcVi&n"FkO,A}_H $˝~S*gUo,lѸ Qet[#'^{Cº!~𦫢pHLAgtt .euf+9v{{PviP$t#54R  ɪ/CT9|=}_ 3gKj4-m{Te5Ƅ|&oe4 ^z\$1ʚSjO6ISh-Rb)s [K!2blR(ᑂ#Rg-S봗|?"Ax[5P\5tzesj4% 4(F:(1QY!+r ^w}ydttE,GUB;##Uqo݉xrK!Q'&0S=MLym*鈉U Vcc?Q{f["-x'(B+!2lzsrmYKviOMPq"|Sf ã9ʮAolC%M0<' b(?5,OY0=܋#''L.CR< N?/ XKimjn5]-vw0C¤'k1TC2K=g͞#-:mܖGgϤ֖&ov% ։% F+[`K/4Ly*$r/nիy֮ݐʖg֌ˆXjwO){p* k^{I|\Y1 M>Ԕ2Kl"ޣ_ i_ X=[B!Jݩʸ|]f-V!쉔w{O&d*CO#~8i'c ?7v7IVy^)%&bYd7=>;MYJFshj21à| M~7NVpa{Y`@bwj6`b_8qöӴGh{SOxdNR͊JZ݇t +&\6=(00>[:E^3-5Cziǭ+ym?6 75pDP_x^pXPBz&Fc U_T3i%94PY!CEƢë[oV{69bL)ۋ3s@T PkڟtfO9*;ygoosrƅoAB/`JT!8~xmF V6:}6r2鄜;bUP9O]swภ$ѵ T+{^biV+UdusX4Ua`,t6%(G.gYZ7zXZִF! m]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>mꇼ[[elؓhl>|q Crhf/f;1 1G['SjIma>i(pPcU`>>_bS Q|sG釆'qn~,ILŻ-^ SO22G2> +eew 3QN.M {eXRzOܛOE>&XŽ,ӎ%FϬXi̧(͙${@ꊏkgtRX;5^f7۔1 'gYZ7zXZִF! "FI]ŗXi%L&öq #ʹJ1=tG/F(w]:UO߂0 =2E%_RT0~8 nbB<y(=QDŽHv}:f>^Α7\Q\S@1-2 r1U|Y!h8;c&B} 1<,{AYE#g[Bߛ kH, f83:/pw͆iDߚ*m6O%/QD#5%+*7khۈ q#jo-ȕ=5f߹4azPuA5/7~`Ydnզs$E J+OD)gYZ24109576d837bd01fe14823e38dde4092eb064ba41c19be3f36616b14c5f74fb8791e46be930a98f f738d32c8c714829016adbf642e3879ffef6c4ff 2b6d1c48343bf30bf5111de99768883080e7df1b 7b578aa3597d5739a992569d7d781e46b7fe619a7c80670bb6bf6a29e93e579eb66bb3c73199faae