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  = =)4 \ ]S]Incompleteness:threads=2elapsed=681.979cpu=1084.832gc=23.192factor=1.597zXZִF! ]ŗXf1-/6vRZZ,}ūG5m&*qޟֲ) Λa5T³:D7Җ0d<Ɂ@XJ“J-u%z"%(Xlm-3zYUm틹sO~6Y"Jp[ 'Nk HZ(q fHXF0˾1̎VDғ x`dzH \qh~V%:N ")dy>l>,uy;DBS͹&+[uH^]++5Ghw?K|4ފw  _ VFJ UcaYnQg n)#&p $&4]j]3A7֩Y(|ž;⺙z:qjp3^-3p4BV-t ) Incompleteness  HȐtj:ѐF;iq6J*oݹmR]g3 I<28dCgkr1Zz s5Nf@<;ŵRj尴L 2AqlƊI)!n T q`7b8Ƴ` k:~Y KaI ͣ;]NE }gdޙKwob_^dWb a.Č|"]q RD,a//IsstJ3p,J8YAlwKO$E.F;4(]Nsp&j &H|]H\BGkI)+оpGC#c/*4עw;"~&}M.j%Ïsj<1Zc!83يrW6o)ʒpݒ^Pzzr9ڋ?3XNY0D<Jupw%aEHg.?Adl^䅾ό' ׌sy^}S^ EY }R{ޭ+/Q2"ioW5rB18 u%uV ;ܲٔ凘$$~зԱIC8pk¹ȣ@cKn!Lc dmI6UԿ銱) cztշu%[`s/qu:s7h&R(@'@=r.; k@qw[17hk,} QeM` ;Q-oe{D4'Ebh5}G˶FK Zs'3ۓ+G?0tCh)a\KTE1EFa)꽢Yra {hF;v3Hk]r"Ѯ\P0NaqR5&o x%V<2 Rf]j$))6ei M*%*Tƈtv0:evhDi/kUcQmSSO]ԍ͸';9zÑd6Rᖣ<:ϡoCBLœ^Oc2gwT$.i)jLQnl]W(kX's XO09rg- %O9KVʅ,nTj4?|. C|Wcf΅*\٪XK`\c)Ai>|J5^4C")3>؍8,F"CUI̘-6i&qyGU]ذcm][~.DZH'"-,v>SUB.{c^qȠw!()s >]W4a 9Qgϻm|RkLZR^hSԳɧ2 *b*(DzA,Jڙ*֘5}_ZSz/fP3ωVH<󲅸A+v׺+G+*C| ϒ>  ;`ZR_K\,1P~ $6&4L͵FQu=O0T7"|p$R'[ac/n׎uz ]{^m%&ӊ]EH6_mDwfjأq(կz fDz}tݶw8 &)$s>tJXQ;^C=bTPrrGL/lM2LhQ FK!BvhoFk;n22y5A/ඤS!nm#|!5ݜ#-*۴eՂ1=bV|w!v&Ӝ2{*eVœLhM:XD< SZҐgW^:dFGN+a3̒^0`](}l&kn#H4w-hPm0/Nċ,<='s&tl:5v<bN8&pw=xav Ev7')y]N倢]kgJDa&Cgdi㪼V )ؿiF}m,"0oAj{QIG"Ga#R& '9Kc<"q=CҋOgTy|625髭2S,B,{RzkCtK% TSۚ\՞񺋇/ƺI0D%GL@uR~Agɤ%1w|DՆ=xW%٪:ػ G{X"f:؃zmsy~]{f >EFV\uey2  OP\U9G Ίh#p)FlnTê)+]i SozZS"iXff2yY c;n(՜rm,@ 3~jDvH*D3L(v>S"҇9u|̓_ܶJ g0l|p`PR:0 D?j|80wt+zcN$9Q:5 ַYȽ!5hyn'B?hC^t9:?k Oo$aѱ{ioȁCb#I|gwkҢc> k1S /k2mlf!el率Z (~ǧ v~G{؟-)E ОY*HR3骪Kn: fD|;59 x0By0Pe!bM8$Rf~7ϒ@BBWj:2,Ʒ`^ټE H\18} XC-W]3Ӄ?78WWW3Kܪ8 xɼlNM>!VǂPYpE}CaHU}ǹљLܛɹT|ݫޗvkŚ!?sLkíȯE=~]eqZwG$PpT>BSLrƌDaF; mL8mD 4Wfɖ.Ԛl&ґ{S;ӧmww`%ǠOޞ[Ĕ߈,A; 뿝M$f=鿯|8T2|&'Sr(֖koKOY2" m R=2S{T{F#cfޙާKG@0P̵ s͆lJpO#s:kaN?y'4C ׋K/;Gw>1c4CN`xi*#b5vf>β;wQ"V89$Y>p"t%XW~ MXey!u- u,?Vt]/٢U{pɰjq*HI1_,|!'V;k0 u!J. p/<|nx|XI@q)хd38ch\QJ.g<|l+izO؞/dgYEOl *p⹬ǤWjߌ_rs<Ya 5ugֺhͱT$Hڑqg(X4ٽɨLI8-\Uk8-fi&mo# ?nj-tdXw sKR9yCTO~Q[B% ȁyjHf4.x7r-A +$/$(z_ӍaRuS%V԰.vZVZ m9Ml9QA[k/*w9IM+6 *1k7/$34OOQdFkՖ6?Ummlue 68cG*˥A/TBux`1 TGe!Mqᓅp[¿~OݕA6RQv&L2[5u0M >ձU0}BFΰ๧:|pB+-!>ntotqNi;94;g#pR*)34󯿱1=oBo5}ܛ3AtV8Ǽ;jzP1V ]dnm3_O`$xIzs*Ŷ@ =ɳ`U `7n,If2|⯌14J:.1gzaIW4fB I~ cf 3b1F Y;,DĔ>PU%eHwYuהyM)!w2[_ҢEJ&U&&m)@gKJJG>G3p&!4N,;4Jp  ^꘤t[|\iş´W4{bV  D¶rT[" /SOCN J8 GJS`ŋu@lY6",:W:8+dge -,i}؛qf*,O~o EEkwD&|Oz fb!tπyEp$zt)!=p㡡-;igy!$ś1pj \ME\T; nyDs`|m!nȶeNdjdjp[Of(bK MhQD ^p&ރH^h0KNZ`a|Z&~TC1c"),{P /SwRE1cs H=jTYYֈu4c#j Wf ӧWBj&j^`>j9ذatLtȽEȸ. jrs1TX<8p6|+갫<6ׄw@S>(mA 7Xt!Q'"!='ͿV Ia3\NK[ع}:boPT6}r;;Mn;XZH- dzSiƕ,}&Kaq' <؀rIYmkLD(Blȑ0wpcTe )5n6bKr!n'UcWQ/+7w,~-/.`E`´W˛AvH76!LmL-VM){ִnՒ} ]|r59Pu`w}))$8Ǔ(XM4,M!k=O IcFhqe9jkB{ TW6yt,۴d"OT\5UkElč" Dq:sa?uJ3:SG ^ax?%NRJj*飶/۹ߠ; ;y .yhvĿΖw*-NW1ު gaO6kdu/|_Rv_7+ ?{6.2{[B{kuf($qy fcr܄s4AdŴ.^c$%2rDR'&:{q ҉ ER9M>zc,ZXݙ\>Kiݵcր4aWc6i H{gYZ7zXZִF! e]ŗXi%; j~!}kLWͬ|CGě6yNSj^ºk bBn,s;IMX7<8n3ė g]wmX{Z[sy:1{oLƳUy( v k~= r^5:}>gFUjitHl{&x7"Pvb 3tUf?JGHm7 njB݆roUNi[}uv74W]M}rBra<Ҥ!F㎁_ѾSPqA =\-}2j"n01÷ V|WH (qohꄡ5PcfTo-';a xqa^<x q`f,dT!fjl㫉 eTP }:L?jRe3<6m ,XG܉"-$uMؽ=iL q<{An9)6G{ :g}kP|7=؁J"5ᓚv!_0-!d˶HJ-(eY@ARȑ9S#KNxyu֚ԓVF`DnQWms"D,ΉVcW~Ϊ?]i"6>r?D/l "tXZܨdr]6BBz9j?ʊm Sy_Gݔ.>;}()'4sv}s 9AL.d@ye^WU^;NEs Wߊn O#,la%|>v> LLOj5᮱h`G/ Q.2g*$An'˞АD"4d\ SH^C@M1w rTѩ.KQRޑPIw )8Pw{b GN29NDfc ;~x`7o9jv͔MID,L@PM:DI P^xQH Tikh32;Ϣh(vx\3 l>GVEysTCn+q; 9T>K1LO[`.4!XQB-ʄfR%95]G%`LjfƊxvʖJb^#eB5~ 8 +cjNTpf !y}3}HГOHy=ޝ(RkϝpwZŪn~LqѮ({~,z!Ql>Omnub?I!GF[zh;91jWG˓@w3!t֍}=@pɱʸq`gcmK;S*̲͙i'6PnﵞVbdI`]*gU~=7ViҀPJ.Abu+Qu??,E>a>'im\ښ+0huPH$Q3ntב4$Mi*Zo$c=SQ~|JcGQߚtJ28i(8sǕA1t7rZ[ήƾO)r tD)f)2N߯ \dI(tݐT|櫢dQ M\h~).C.A RcʼLl}]w6\m[1f` ' L;2Y9hö*Ơi\N^tv7~jL6Gq|:.$lD}wE61 J;'g2{bӜ<=O+7G| @k+<Vey7!GmWCrE#&!^nb6} /`1\sjQ}e[?׽49,@ij31]ud 8E_/= g6-o)5w>lǏ$7ㆱ )TU1$lV$=W3lerxri}/NR鄢ރ7N5dc<ܨ`E, u`+dv$AЬ =](o  EH: ,ᔺtL,RkQJ=GM8DYiӴWt| := H{ϵoHu.)<""k'_4&Z? Ǎk3qb 6-^m]H%eP4L9]9:|ǝ{uҋo>D0p WWo~LdžxJaYd(Hz;MMO*/OxN?s9{ UzF)uqz3 GjʈJV`b3^ṟp>oCyivlnQYdnׯ.m!X_XP8 jZʗ}LnXK6F7eQՒ^;3 Q5D ̾D֎j=-lhr%Ә7pySer- 0bg})JW_ 6#[n+~6wrjהe73 j &afGmjfνw V$wʟW8|rysoD @zۑ輆nfS>a(Q衳m07&SVDxy(=knh ,TIՏ9D'IQ؋k)GGy},Hl1e(o2L"/!(}\O6i=Khp̖xl~yHSui/3bqi gH9rp;co|:+︃NGgLݤm!| qh3 ͣX\ 0ya yv0rOրN c%ՕǔQ9SFB65I0y8%󝢦Wgel^W{y*S&x.Lo_}2MJrvJ Q[rÇY͓@ZyC`9؛ -(޺2yUEԇŢ zHc_s>3|bOa_HALާ/J# 8KyZ%Q`83_߽۰BEpz C\S ՔQ W-!p,Y8ݦM0E%~Ǫ7϶H"#VlXBY e:ѣ|e|l,H2ǖ.G8Qx49?ڋ?˩՞-8gOy~YۼaQ5USPˌFҭΨ~ڭH z KJݵ@7hLu8~k5cQݡ6pj43Z9Ӱ@֋FtPyw* y /<w4čKl,WidqJ9|%;5Th*Sa7&fyL,$,~"M|F9f20,WHOqAd0L=D!4S7] 4"EÔf&q:JZ^vqYntc1N`{ N.gV5GMOM"ܳ}:b&EߧN-r`:R{sբ@Ά7ŝ8rSҞ#\^<ڔtF~롢J$`QiE|Ko ghei(DB܂R}zbu(4J&Y ;5|r.-fvuԶ=vq(8:*[q2$22%5+e(ZZ0" gGgl!c9,pRS<ͻž޿!OO ZLd` )4M iXH9vEI#pMIAXOYr1T_,]kR_$HuvŋG{k}э:tu*r[Z(rnz8jwǞ`qtRmdzxŢܼC:ȅyuY1ؤp.FfW[D!8#>6}kiRMN%g-Om;hExZq!:XNzqON"~opuɜ91$OQ4~A8 \@c&|Ry}r _"܎CJGt+c%W; ,b}ɜo6G2T@kZ1=d/#~ ƹhM&I s'LޖeȍJꜶxd 1uʦbE5-޼@NTs;{ŨK9wk5p U>;BwpVz!韣 l 6 TmMȓ迉%˥4X>L?z:uO t~6'c/ ,9]w\fDB8ep ( ^ ю$胊TS#Mm420 {=deXʂZhdL.̠Bo w9"g$˖,Ìmd| 3 U=sݠH\m) :j'w{ L HLotK2*U4'Jͷa.*(R Y9_ձAxQ_q15`Eh8ad/<pD/0:qtzCE=u"J`$Ua"yq 9A>^ ,+¾ÔÎlpd`mV@_H͊,Y. orO(tG+8%VL{]_]#Tau0Om daہ7-3xk.*59u'ɢ`yF9]ـLV=DP;:襧RSDʾg+73(DڀzJpՆ" &l2 YHĠ()(hVK[_ys7Xk. IO֒BBy[G^QA;xq?[ztMz; =lGb.Al3+Y"\i1 (_@"˜=OZ p10.I"CP?Zݜ! T;ʃ$r'O Q`HGT*+mr*+6o<]~?zvÛ^9LWYM[ d?{.kLRB:GZ>,A .xF0pU6+p{3\/*,^zf1 $b1@?CHKKmw@L>P\Mbѹ@v.+^nZc. pT'L<ߣmW@;N;d[UJn#֤mJ+ j{'2TO#aٞy&I85|AF2B" L0Uݼ5E-֩Ұ@*oGC}1%CC]:7 CrwwGR+NS-o%#وWlaB﯂l{mYko 󇭥t"pv-DDLqa)@ir&a(+R~>z۳Ytڋ]7cI=eX$ x "SZ'IV#a=U5. 5<Яts'Әu4F@q]6/DE6*rv㵋Г{?;{rnlFUj826ס/Puiֺn;E7=ѻQaAX>yFZxn5nَWH^J@CKD>].w`% tj`]8]F vzU’tť+'~`|1egzuwD9D'Q' D d|tx2gB7NB t!}ng XgҮPX'qD﯎`@^ǮDL/Uy҈m C/)THYz|=7AH;+FB@hɢg|f$)(i,s,Ϣo!#] 27584ps8B2p2uz/gLɯЇXa;+lL}unNDpf˕漰їbo`Hs^ YK>pgoZ8= Ig %فoqĤ\kWWSF/#7< 7H:VaX!BHuZRRWxyg<<[ ^$ɋ٬d@ Wǟr Tzk;:NjpPoco.8>>9m(28OXPt5q 5&ZoCYepIQ-?ѽ3<\sWX7c,*_Dkg$lZMʇTtGUz GZN,'x$H4٤g'Ų-Ibq0=*ɐOe Y@?$sk}8~WRAm2W]hʹ 'AT J{sfۍ[K9A )&H4 #r5B?W;j˲F$\ 7|jmQGG+w?UWVKTZ3h~eu&ed< 8ɰ>ˋ̍?*qo(kc];B3+^+qS%]mr2Wc9g .4W(lvxtť+0{;{!UZ57UN|,"Z.PoRP zJ G6|P3N?`?H/WBIl{Cn0BjDfrFHo\{ ʱ1J9|N2Ҷ:E7aO7'\ÜTp~`?jT6CR )\7x[ : 7R_xyL+|7Rh-*E)#^ 3^j 0N>H&u0Sn'a:}IDZi'o<#;O.gCEG"q#/>7SoW!&Zڈ+ ';VW3TJ6Cf@bNn4yEi0mJ2xԨ\ Z,Q|c'PvJDήOq2Wu r2w~S#k );Iv>GVi1 !+0Wfh!Jňh5pᚯ.E/ڕ4W/zKf8B"amh0 o֠Oe/4uzΧWh%ײ6 ((ds^hYΡayK8/̷GG͂w*Eҟ@ܳw;ghɯ!R~R.]!;8^h *e}OA!G5r'ߕ?Cb{(3ɨa'CSSJeIIxST>EכcB3VhDλ)\ _Q*jaB}ô)֋ (]/ Ҡ Y7+BEy죬ؚUKY~Xqš@.@UVݽ͜Ʈ/Qo i%֡W([]m{kUQr֝җI hBt𡵫*4{oKVqj>bN+wlΊ@O6%}G$),<;`PU",!؄;F*ȥ6_mc7y逽'v27*Aj"&:|8ߌN;OYppTl1GEpg!۲iu[Kq攱D+CCO3 1fGE@l~I7qd.DD fSnj|I4{ @GOAKji\6ȩ7I;;hcD"{Q9G\1J'S~֤@LuNr#$5G0@5HN"LxS͇"a٩Fs# /1ϊݕhT;jI WSlpgEe (ے y^pLhH@y[ RyHziZoYKu6ۮVI8}"V=~K>9֘k^g8~h#|lܒ,8U5|{ Pt0$tuLL^L/ ],ȭf^4%Ov7q|Jn)Ao-« r DEGT° ƚs!zntGm)x,J~0aj/gZ!H5Մz lKc)&mC2(1G?qgH$O%k6 `ufNEcrKZFt?'m˵̣Y3hDk奺L}9L$}Y .vKB̋)ibo0&66 0諸ash1\8PL HPXoޯyC1H r*ws%2>c3d5"kCU72vG퍫qMP$ϮY_1P[рW 8xa#!FI`)yiBIPK FdUsa>.bl*k&d$u1iX,‡qƟބ Ry0] 8 _% & 툂XGg@["$/AAwVABܟFC_>9bUo]AaM'"nf/)uڞ<<5#P8r*́5h` pnO fF@~0-ƴV' @ʶ.HOF#@+f@Xj j>'_*}{VWPh*$Ew∰+Vdq uvyg nE͔_'H`6NIpN2_b)ȰI x+15rkM.$$R1 0ȍ/ɠ+dn@C_YOXq а' gG[mC#&t!ğ>= 5_|'m-)C Jˠ!ܽۏʖ79-dCf2&qୈҜ8qNٝ9֏}&͌sfCZTA^MAQW,^-[uǛ֫[7TFJy,ڲM&>jt6)6iFnu0.ZGQM5wo9{t :z;%qWG-)P㊈y Xvj~)ɮ2sԭ%]u33ܱbRSO㫹{M46ʗ =^pd(Iև = Ks'3nlN&IU[d>/2;M`4oR2C*`*Sӫ͑Ù&KSuEPte>Fll #Óޭ >\MwO$,-!熝&xفaUӵtogzԝs8 Zasgy$+{Ώ)ҨP6oV)9V[{m<|`y#&_MHE,fMwf3ϳBO %xllD"G?$<#so tO^6߿LԞX~RG}˜hg*WL9 =􃱥Șg NB0y4NOF;j==ZSxbI' C;y3R3g`jgX΂[R:{k"oDpcmjgj*5lκ]-[2*| !4+uZV&\!sp7]+^r䊡Uq+8 -.KhxϚڳN/ޡ VƅS-2SB>,p %k>@etBeBF w%gTAu[Vy|`M9 5vd"SqްfV Ďx~ ZcFHyGvY?USoh.@ JC=| /g?˥YC1[QE΂to3}^[KuevFq$K\ʰ+ifdj-p9۩6hy@JsZXr9N!iH7z$D> 86 '(].T `ni%en+LqO?4M}0a!cnE(Ug\ V%>#g ## tKjG'Ulb5USʬ֍(qE0˥K3jC*U;"sZQkv3cLpՇ-=Na, ̉U?;Br#@M]PU FlgEerc`ՈE; b:Tn.E(F96NRJU{{Ӱ"|ᝡ][ G̽Jlg eF9doC:\cvCfmKָ 2]:50͢V)U&TlLDBPd%=f9R0{d%1E2wL؎H($9pcLmb% ˣ~." 86D,.'tZz.=$Χ㔿$zU-]o:rhioo8[SxܑCgqW0t5|d:߆;iv'3}xMB<;6 ;i&Ze`C TA~IbIw\iVZhlլ#$)x6/&FP2<ϬӜu˼(1]nTDhE( `BP#^' o83!6`X/֔O~O9NKQibc Rb s1]OKrv89Yǃ?Ƶ`"kL\l#0kug*.iQr OB[3J]U+ks(ww6 HX^֡ Y`?[$fmwfk0*%K.[/ >(rzXBUcSdS*Tw砈WNzz*H.X|6f8 2@fѺZPV $13_m?oخ tR ..3q Zȓ8O[]3!@Ǣ%^o>pLp'\\D-'בcq a+uMP q8P4`D .tPiޑjkeD2dvM0-OovzeI_`_Rdmˁ;X^ScV\ӟ$"-k YÃ֔ p:yz ~ZJy Ps4t7+94XcrME} װQl$ez>f*|"*EYǜfU ✷mk4.@pN+OF'ۮi/=K(p1frrc\7E^AVǪAunf% Oa|v}Qo'fk鞇#[jШ8ffJ%j٧h-#UY4>7KO["]JgD}B@p~6SyvZ,1qnU@Z0YOuJkyßj3fYS<|q{a{y ~gq1d<.R!~5v)%y " WW5[v첆 y )Q1@߀5;Tl $@ $@5ɽVtmOcݭƽ-Q[*.0|Z) qEA~.6L6(9 *UHo~ib[t +5[a&ף4Ez.g1Wi-lPirA-Q$j}Y;Dqr%D| b?3/Np:;ʅ-'m1mi6aBm*YF}d,NqOjBjܛU}4 kABtp!(Z0|8F~Ą|'8{l=fk,g ޖeJDBZhj4X)gJE5Kʭgxh$UVKsl\Q39'Q.yT㵆XӠRS]ibA;2l\%Q"j߼`_4{öAMځ-b6+o|TmVQq[=ز +-?Ʋ" T ?!u|+ *g!?:73YÅ*m\‚bX&C;"x6Ju||?DAfOd+`.zwʢT}:"䑿ˬJIܠ\PO:X~&ql$t,$ G9X`T#EQP\hGY߯eͻrޕbGC#@$~Mw|sU:Ж!w|4[1n0(w^ ՗Y v{1jtNcfl 7A՘``n3 orLh>hɺLx~gF"7 뵈sWN睑bZ>VԂ?y{<c) 9\?f9ٵ;L'jQd&~4MiLW:_ͧЇA,VLлww1^̽E)HGAK@_U#v(:@[an7'~'Rv9:7)ikfF;upu\dŋ\\:1M?49oqesZ7j!!*{%JubK|֌Ӊ mLX LvX7)I K?E-Xx/-qG*d#tjxxP4L F=TZ@ ho|=A܏ rha̢m:NiA4#l:c;?*p`m8|YoXE z>ɡu`W,?*x s 䌘3$~ZXͣ\ l7~Zq6^ƈ;8jU4Tl{+ΫY;xy*NrhUxG t+T;5#3V|yrk/ e]df /RŸJEˈ2 @ͦqs: qv~8^? i%I2g%G룍gTGh&`T6:D~j*͓B?><\׵-w!Vt F2uVRAk`2Z- i ]v>45JI{I~{Meb@(P|z߽kVtޚtXMݨY>M #jV׭R: _OUp9ԍЂ79xI 5_X%fdРy9ʵ嘘gY<ey}5LSf )uӦSozt2KUbi#)'&L#DR&!Fok-Ji٬@!/;zYh#4 g}\|-!zJ$/49Wxj=)xT7ry={D=@3笞9`Q(BFƶ.FS o_c ) lmCsT+o/n%zer16E4.t_2SPfMY)m|L+]=m4X4>d#dAFCSepqA+{VADCPgoo1ba8m|cn"nc% &E^AٍR/\p1B~O\KP(f0\ry\MЉ:);esM[ʺl,Gi}q/\8b:</sNV.3%< .=Y%\ YyhQ N9q}R;ȭaaNqMǿN˴NE ̥`\w4/ž.#yi2(TC{  Z5γ&<. GTzlQMe )խtl FI@:GmXt57cq:Wly+Ӈj I?m鶳} [pV|NܰH߮j?]Ps995:8 /ѱ2VbJhcBD/LƮԁ*Ǭ2x{\<9쨎 ?x%bʒ:טPQܢ=u1V?Id y~_RAp MSkT̘WOxC3py-Q_a"kEroepX`/b.aM=);]qc[QȠMH&m?}:W鞇j1DM%(iԚZ;JB-%Z7M*S'Syzᕘg 'e!`ZkfN Yw|B*s^7GULOX֪`-7R{zZMQcM摶Q& }pdwg @8+VYl}4"TC'%UR@jM5o@+5G@#= ⎿="d"*Όm_BT oRdw15rZ .~oߊͮsH.o4U&G!b_ Г,5Js'yaStOj\]xpڭ"X3wn-dR:)e:3ů5L;g| >:,d sT_xȓEŶ$}4=cy2m 3lX;WM=wd?Pe7JUf`3!3[{LzUiIQ$Q *Y?uu{lGEan]X[AWuV.d<g_!0ǽr;T-NNx:a_',.;kK'$4,.b30 dWXq{ĐGsXKT#l)دDĐt1\޳[U9wF$ 4' P:9' AH*& <@lQkj/c'?yX!wҧ2QzU6P?*!l#_@&ɓaU,8v,qjB,Mw;MN]&KG_d0y]mཅS= ["|j8n l˙u$?N0'+p;b-oO<(̻97.s%E/9,>k3dLXn]}C&dY 1U`'=;OTm"/ɆO@ׂ >Xo.TJݣvzѪF Y }R1cpj\m7X=R=dnmb;C]={f,۵7E/p1&wkGﮠmz&؄SV{ٖtYA*QjRZx],,7F8,r㭲&'\nIMh'I|nVt1L2Ay{t[c2$Ngwwd]@f-LAdH %1IڕV)@hE]*n"p^:r =;D'gtRf;%As}V}k1o)RraE']nqkUy%5C:3z͎QN?dH p$eD=<Ùn O`xэO:'`~l4&jN8Ƀ1^&EJ039#wJځR ^{%d舎1ez ًBƮ!|udt^ux\%&bl,Sx<d/Asq^[aah@!γ[rV9AwYpV%Jq%hWψR6b!(G'##B7g)<{+p\0mLjfƚNm=ZN"MjfiDTZM*џMa]}6WE,EZ98Q ~6l4iϑ Ki$ O+? *{M mZPX|ܨZۥXm3*@( z[`F.p =@*N{b`r捂0-|cB-\TS,P|!^Zh{9ÀZʧ 7Mnvݦ'޲/-(P7zvjY-E,zПڴ,?d\SD5ꛠҼ5$sQa _B9ecKf,íb͙ZpK -ȟc`D lrQɶJmdL1V*S;.]r/I(^:t5L-]3I>ɐ>"M[ GkGzͰ| '}߳ģ@*pL;۱1hk*Q2{z mY4c J oF B4:+/+b%?4nS\M7eƫ1[Z:_8F1x€0tCÃN;T<,av2t/_xnWzC&aʼ 9KpR6TKW_E/t1pTuQTL~GgػrI^}$٨9RcO;1FC]Dufv=~C#4eo՞߶ח-Ȕ`?j!Oz[:2kWAX F)s~4MN58ۻNsoRI(7g'>7 "9lc=X'g7mʎ!st"r%z\5R,G7w.zCY"+(r" h+>tBNٚM$\fA~'r 8I5G:*vѲA`i -)5H=$PkDcg oɊMU 淣ҒA7"X,> 3 3* |'Si5]X+ ;9i>xk +̿{q_sc6ţDO zR}F|hyR \9{zqUUI3224ȯ7ΌPdz\a!~cs-%7BnNnDe /nSnҰ^Ze!DS_{Аr'-E' ]rK겋-4e!Ie>= zv?+wG.cCQ+ztʚZ7™ LlY~9xzL0a9WAXۋ^۞?{G p0uȍFAj`>ٶvwTI쁰ohnS8/M < ̽)HeNi~ 1.pfh5J~\@PSl50AOl1.(ԙ£&jR&o_O*B!%7\oWvQUbTrd&#!R;VۖиHo͞d Xuz_ӆ$u/@f>d۶ikIG^oj"akqk\jKpz&}fR(@ԇ x'/[w}ơ]co"Z!zcƠ !ޞp3聒e"^hA;ҷĩ.T*jmF=[p9QNy~ 0|PS)B؆;oDR{1}-5VMZeSw~dOң05qԣtyTNT%BCϔjp+[.PepNk߮ʫs},(&we7z'~qك2C?sDd0]D5j;sb9I S:t &䶆󇷍؀N\ /щFڅKZQ8@,5:BzIFcnRGcɳ4\@rH7AaEɜL":3cS/$ b2`'.0Wȵ?h;DI`{^T6LAFV3u 5% 'Uєox]'2@Y1e(<H}'ZyfꂄgkBQ`NkhE5ZZ?,6/\HQt.ּ Zcgdտ=u@vꯤ83=ʏ+t+秕&33 <|vo]QgYBH毒 >N2Zv@* ] QW_\٥Χ(QiӼpq3]貥&Z@,n͟~zMSo+$Z늇84*I{@-TH~]D|0l A HpӲBB\a|>2<㋈SC;k_3Db<&N5Sa};*8ELҼi/=?ʲ |O&ϮX2SrT_ádC|Fk2eXmhz#9iX[nB+Y`na-oޅgZdyu8BCB@48A>֠ ]o4&w8Z#f4{ 0pS?NgM=It2'z8q:aNh"6*?OU1#ey{#ĪPI 8gSX BψTTсuQi>kQ;hiJ>֐P&_8rgՂ`Z2҉UCb-om]n[5@r$zf]}g'>x/GX4֙Vz9{i;fF] Nj30xL#N$E9=!-S;DA0MxkBRSemـCrq(pҌ} 83vFEmq~'l Ʌ+`R!3ķv&m@kuc?u@?2T2@>F练kƮiF\nYbьJU bz|&?Dʚ =gsCv ~~ȩ#KJݏ ܣbI`KFrU'UIz:iSkuHZ"ЖpmL3<24,?{Z/1^rvI06ݱ|Zv^+q%X azj)X&?sWmgmB;j3,w5Xs\F18 Ԛ5\̞Oߪ' Hn`.p1#x;IK.^cGAɅJXpK\s?ɯVpOL0^?TS/?US4̃텲?6b뭛n^<~@+pEwe>M5-yiπ<K=/"H|eʱ3{tnw~kq iGXO?fwx=].@%ief:YxZ9._{zCX,+ʳ#4Up1 ?h{'7}F4U.?  l]m܉Kܙ?ʊ6Jk'u9-B)-GѠ (=Tv Ȧ#K-e #n[(SRB8+SsÙ|h1E^V\nCPcDg.|x[0?Qflk;P@*´<&Vfg>Tزn6D;>4-F'1ժqh][ꁏև<^YM)7)ˏBMc&.;o eC}N'-=¥fF"5`AP_+;{+OFrR23cz]h![=icvauMU8S`=}+/BsW3S:gΤDi;鼎Oa0!LU߀gB]JOE]Gb9$r!d}zp3AZTMg9sZC0EK]ٽcƛkb $qO0W~WZ|;8#ϳFu@PpR?NVͲՐ wq\HoQB#]ڕcG'hފ׿QCyN72=SOh.Q{92)O7V(BKRNXjizv߆79q9tg_H8Zj=Ik% 6x4fNbsԭfȱb83 ?< J#[, } YqnϿ3CW;CL*UWz\v\OF̕x*޿΄ht76 `Z $،/}$NBN׶lsdYiNf$#XQ1:?S]!mDN=S.[!*<'*Lf~ 4bi]FsEv;OMlwbQ ?1w~KvjrP sM"I,