SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  D55:,(zJtWwKpIpfOn)4˳c\aՅGN԰XJ潉|כZ9 H WP{Xԡc΁:h\ˑ|G~ֵiuX9 H 5~19a'/Vf6S %\R]9M҃E&! 5 HOL-Nominal-Examplesv߳a<B7SxsЎA+rM "W&}>a)6d_IXq ͳaf ('eZ"~lRd$rɅgF\q4 H`"3N9.w6h| :"I?(005MJ0-C~*խyt xVnīhS'y[/PK7~2o@|4[)DfKB7^PfJ*]dLo4f[PlpnkcYFTѻ^O"4<| neފJt+6X5\ѐqpЏ걞gtJ{n sKBTEgr9z?BukǻOH$^0.k$o0S\+:gPb:&lT3>xh2)iʵQ`KGO79N")T,pS#+ISb l0UX-dgoYJS#]ƞwlǕ ~gv ,`ƑH\Y\cFDpTmbCkXud^o}H }P,_LCv֓чGF1wS'{E !<zO;ˎ 4ᇪ"@|/]u>>K~ f&hiI -|x<Ӯ/X(Cr]x.͢<'* y&ُ]0W&*1-~h h10lǍJ$tM̲sk,m GH=Eeп1,}?2dti9u783obVnz!5 v6&nmw= ͋R~BSrK *`Ej* %rϘapmE09Ȥq =/-a-ԞtkK 'bee]kx vH9{zzŎ6wq GB=1E #ɇP>ʞI/h>1 y[r*! {KT4ٷdF&DY:J~l,1ww ȔO|[e>peE:LXηdcBN(S5qg$ngP`U&PVw"|WS[HmhQH;zE)Pzt-!nblQVkq7k |~h6lO єc%X}S[J0h 5"U$]|S̽_BWx  |tdC4 x{a}'cq>f6EB; v~]8+=MA>vd‘~n*JPxQW!~=`J+nc=i%MovwN7P$rF10p.[EOы6 o>r$@_s{HXF@`j\U)G%Uj %mS'WK.Ok5 {;ÇJ9Zg:ϣ ?sdm6ԩ"ݬr 9۾Tf)X}lA*4gn UnAW30cJe`jN{^d)OSSB?t?*EGvא0,_1&xބ.Umv݃"t`biA:Vc`#og34rCp n}uDB6rGf[pTe11tP><#*IivH =am*>Man_i #1h%[cVC7}Li>4g7.}O$\Ia 7?M`F=)"ɔB%RrqA0)sb02!DA1831Zܣͭ*E,!˦oIEO r6!WnV͙@P^|`AVJcH x\XS -}"j붬b IvŻD b15w.>b%]zz r_fi3Ü?8 5_Guƞj79_L*G/:muroWV$Ē:u!"rFɠd ùA+X}ef0\!o][l]+"5y;?|-S1U0S"{T_IF6^dԃcU'z9ϥd:_N1/($e`tXY.+sS#&(`]:YI}Iػd6Jc=wnP2% &F55/5ݺL yv,ٚȻJSki_8mɖq'jI;l;nMy*0'!S˻l[4ziJF|z:뼏+PsUT5x܅ipoaJ̋|%9'M(~TүS?}~ۚ69͊-FfJa,ft=DeCBNN-) / AXgh9@nqWë|ضY~IY972˙n- m9i =v̇h3ESEz(h*'!_4ѹ:B7'n71aU݀]":_vЬf-PVH)tm^N$;F,hy0Du w^MD{0%* e;c30oBOxqa̝G^q[n꽁:ZJߍl#{kbay=FDbwL8mx$w`v1J%A}$+z`:+Yuke+?l@sObAts8Q-L0$[;eIxٺդ^+Ղ(߁=\|m0 pԏ,/dewA0gUnkd<~NF>@f43SΛ֜  a.?0xaT~5_rl~wH\zS+*"%xLd檎x8$҂{@J7G/ p?ۧWP= ~ӐOκbī9\|D{U ^[(Y~L1/QsLM2M; d}U 3*Q)I㒞݂1(,k^;m ^*?41 `)wΎ^ d@jD>Z~B}B7-)d^Egybs3r΄&I&M5Ja|PlbN W w3:!4pXI+g4N˄ Rctqf]+!6azIsM{m 曘:p#V Dʘ !lVY. K{QZQ=P|5*%1zcv*[>Y& 8ffBRi Y5ks pKo{GIf0JO`8kӁir%yʢc͞kziA4? o'e/UiFu0s_̂+Xf8*sϞ+c=i֯*&Wk.? J  £*2;^RskڹNpcx묘~ '9IGm,EgNuē75"#yH<k5"e6vlϫ 6-8Q` *3kƱkBjc0osA0}^2k lAI.w0:B0.>؎ #s>ĝzN /uщd*M[UJ (p^~&}h8):pD֘3ƦrBIV}լm5\̳!VP:/ɽ$}8v2u j֏ F*ӹI]wW.#;Gc}E#WЧQF;0m+}[ù$Bۘҕ}ְHdOhn.:<ӌvUe6֘OIʑG Mod]%J[[aւ;[zԼ8{FИE/!@e8rT&pwQj`ښ@lW&7s |ث! [x;|U# h^n^- oZ6cQ|Pl◓{Du7rq@>77VRG˪F$?C=x&4 -g@xETJOk8|$:ϩzρ]~oFzq?,g&&Z `]efȵyic1eD!*I rprwxT:.n27hܶjXkF3=َANk%²jPpG;Bb;V>֔ t=A|'ǖ!Nۧ@3Tߔ76w0o55i$At+Sc:A[]M&3~3A݀?tW]҈_Lȓ(Ns \q-➎vB۝~15Khbhա_x?TRtH{ Tк"K dO;qXrK[&W妬{ <@w'j|- Hvg( 1(С(wm0AlGkmdQ iSPcX: T@%.[oȪ9i^MsT X^b+{!A LvnHyI Aᨡc"{ x@ZG'܉;R;WTg4aF9.NɽQ"v:i(&k(B CKܼVjb<\fLŰDY2U!J2ނP+4HxvMpG_wQ15GR!fD\Pyx8?֜B=gLPĘT[W5R\ Mġ:_is|iə(c'|0'ɍ& @4)9Ν"xMP~~)P`vqcn[$i %;tפ|\F ,Xɶ瑛mV1sǫlѻLS*AÑ<{cCq ӅAi@,3q_.9mRk'|ەB0ZşyUt15οowl˪lw qƷ8) qE( bsgex+KeeLW&s0ÒR| o4@zAxvi G'w%0;\bv^Ui.LV옄;Ob~,R\ |ٚQ)3 _x_}85^ Pz/f {%Jd]Ny) J¦#X᪐0D >':>=r칋շӁ(ڹ^蹮sn[x&yv7>W Dd2;b+s:dqyY]q'x>Z.Ψ{i6YD6Wgϟ8P\dϫ&~1E7CZQNX { q,c)񣂟Ss>۞@l6D߃`r vл冃MoeR^I7?;\)2QU%(yYF;1S ً&ZǭtOG%*8ZR\҄o2 @ < H)R3k+M+&nXqrTQ/\'g@Yv[ Q ̟ h ,ɿJ"@ů~NiQa!]"jŃʼ.h;t | ű|\@:(i |hgh݅ ܭ0V}%È$.3EzN:} <\F&#ӳ`)Sg(27ksxIQ(@b>,z0ȡȎ#qZ,|,.Z{焝P69{8mz?({!9q5]ۚ"Y=0/S%D|\_ETȱwo*[lvobRQ@߿TJi1X#r93GUi7t6$~S %­Q IM//HY0i«"nQl7(_@rpH&6 l+R,摭R@"LLm]wh$W5s?m#1R \ PX~5k[S|9dR{r6)|K>[@O lݔd ti`oG;41XcK_nr@sK_W0)%4F쯻v| K1AL<*ȁ-)78RӑVޗft!0Bʴk.}0Ʊ/tFΌNveTvsu@2u'N#|\@` 6 s@ON~ Gzl[S#w Je^|wHH#6 CkQHQ޳e@V/x1DŤeL噚EiL>j-(ojSV8{2@ƪYdRTO EI6M֠6Tu[pBb!9MiUf^mȅ )85bo 6SJvb4OQ% XiK<0x!19v>GSMh֟J(d+ja9@d4R*ЂqaB>JlY$ }BY9/:Cm ^_-H0.؍UrTp}^|j̃ T{L^\-57{ْ+e2PȢ7JrYRi7hvZ7r{` E*lpG1X\H#ǣ|T[c 8"xvт1( 32!~J2 4 sKn`x3 4'=spS@VO]v&+eWLbj *c, _up&$u]// gzj0nJM]< <xN-)P4a%f+l?&as 9WAu $Z,vr&qHa73j)K$8ɔ 4tWGRToBAG.8c.S>?d5LS|p,)Tm qQo1Oqmcl<}\J0Ĺb -lZcӯ V }|1la=ɂA|0T.Ǔ,^xKLLS@ Dz? XJlWRVؤ@ςvu'>2*t}X=|gМ^0%\9h$RKpڱXdT, JWs"3s.3*r0& =u ?םvf.4v= ϊK0S!2KʭV+:}4@1tG߻mlh&b8H,b4)#׌ VvWG@1ʋ\;g ɇE0{-9#k.l?S|UBxIi3AWjfc!RwQ@Zd5}V'pRj-) ^u}5Ϗd﫩YmX z!Ӗ ݘEj,.Ah] Qf2m 8ߖ'S3N>"-rR ~w^~2W3)t*CX%mFP"zҾko:0^\4D8A:9Nif'i)k`M+WD7ls=XsxZx& "ZxE`"UI{h|ğoLdqL9cš?($# hunF$4%/5nb_N!Ɏ ~+0FnEȞU/Cmx1)4J0'y{] A?RDF4K7*2>P{frFtCoQ ,".`RbOd!lhcKLe #xa7JtFďvK'LW;ug0`#˸E(gbQ]B]-MYS/qC88P LZcOځWuQpw#KK̯a;f|˳vyM7 T d:~VRhx#-OIb7يC@k=ڮBv6ё~_<w}ee?PR)`4Fނ[fP C'||m Syl#;kw`sS@l`Ůܢ,N *{]r? ,V`&j): LL=IhÍ9-O֔vYՁxNwwqJ 06ecrNz,l;~XI· H1ӣzǬeR{/{PׅŃNKnP9]L0' Nzmn +?y.7ż0q}|$qoTQ_Uz_&B@}*}3F_W#"?w hE/n\О &3M-kM>/1W BbQ^f'\ǹZ&ʻPy8ĎP$+H W_yW<6Xv,*4CW]Nwk J5_1 9WC\42kI)  ^ORl;đfW;ӵJɫGr(ы1m~Uu-oN1i8>P9ID&mp4I2dFUxլ9=/A@RJZV~/RPa,0H8wA^LL5/羊/5}z(&TK}\|n22#pGÝ@l6椑7cS0^ps ln +ۻl 8[IOA-'xG0 n1&Vx`5>̯ 22531EmnډlW] mS8I:@qb/{~Q@S쌗5DYfPg/fq0AX:U.f;&ibUlL}| Ɯp85.Z]x'$rZ{}X(aTS0A/(r '^ rUѬRg3 +0j 43cSnf@g]=vH 2+TY,9mNa}]Q`)J(p)"e\7G}++6ÒգVB؎.z\Z?t7f#~nVnGnZzR lXg5?!9l/-UXF ]w$ă $+d[Km^EE(QP1g=9=MvZ,*JYCt6xN$4 $7\ y:R8:]pRǐقcI9jDKt=l.f RMZ07Caz=4 rq>w5$v'nGlQRX!r>Og)_ ;_6^Ԩt'Rrд- cۭzACic[+ X6+X(+aEbGjP6q{aeBkޡwz pU `(Uu YlDuNah6a&pPr|Z/f6xbE?ҫ_)ZY -8\+>$,T)DMP&m=ŒU"gҍq5%'^$N ~uG(%E~8[1! h( lr[ނ歅|9!Im׳SY(Y G9RWybkx7z+,i:,١`:"X"E*#$%pgN\Y;OqCN ;0ޅuy*_?V}1e#nM\+QHhJ_,'mχ2E1О2o+{ 9Tv)!Yds8v">tYqʨēUUd0l .aȞ}~>4I2 I."ܪi4h-pF `Ӄwtk֮Y;MT\ǡ1E=ږam7 Mٮ paw0$q.x|X&N6(:;Vg`lmMt%qS"%WDh-+dpJѣcPT8]I{wTt!<~D_ 72j l8QJg`Ǐ>BR>_w3ƤѺIΞProxLǪyPH u#υ/g+䫥g7b/( 3޺j5NJ>'hfoC| /uT*EnZ%]..=TȴuTc+/PԄ;J :*x$^QsY༫sDnhQet&t2K)z<[L? h@pdZЫ9S&r|+ eVd={MOfle@f^%9kG){0'AdoHېKi);ُeͱA{5vN fMBLk9ٝ'4x'N61.Q6WJ5Vw,vgr6K-:,ޫjihڊ`sE-xxrj[ 8 N{k`R wtpwbXFnf$fdR%#<2:L= D }. lhp婮z6(NɼU+(!vtBB6bWso!YBBU^})G& k2~nXJnĉgK_&bUh/^/zru關/+=8`̸pu8!A*zv'*qA~{k7o?$$ٻ:lW*6P7c˪ݠkI8*yeP1|v38ϕ3I@.yza>Dm}%`O~+,qEgim>沢 cSU Wf]6[`=vi4=!8ST(ǀ4 ]7ZC"ږcUN.\}yKb +ѱ0-#tcr1* cp@t'Hɍ@74Xmzf<{$ M=[c?dفaP,AĊ 5vh@J_h/{Q&RX { /8A'f ϳyxLdڹ\}N}#lq!Ӝ2gbc@eQA)rőCom3G/MBv# _Ǣӓ4F{Ln3TZ4/rK.%'P$r Drc|/; 0wS%]VG8#ʭc P^P/ֽ% ,<eha:T=ݺ3' '(tdz\ .ɲ~!MiϢʾ8OZW4;+Lr߿xM+Gr]} 67%´l$ vNd@S%cHf1Ql5RB~*KG0#3tqB#$#knu$+ɁEq2l|vz{R#o#' {aW5=D?wK[~fEvS|]0–L_NU8[\iZ!bOY3.l0hM&!9#oQ/)M׿b" QbWIѫp)y5]ġerT8VpR&pDr,,?qIa~s,/RжCW `rZm54+dTK]_m[`]_!"~{h mMR)?ߍ^bydowɶAw vTnB ]9 ^IVcdw=F%}WJmk@P^6}6MxCA6*zO!w-En\_@-Ű<>D2[V>,xJmuG*cY8cFMA*UT`yM@kv^Ӥ4ru+cdJ$,"G<&:b'ki,?M<[N QA-e _)Fc7*$ק wTZfj fs8?b֧N 6YVO%gR,Fw6:dgyairJA @VX3Iv:ۊ~V1Imm#ty~w_hI@nj[QBG:W9<kMƦBUB\` uBe+5j4V>wѷp$V])=rU,R8п\AGo/$t;"--*Wf'3DYrNL:-arUʒWnH}=C~s9s?cjbBC#8ؠm$56zv* 4sHy k jrSGg> Bnϯ%;k`;`jv- َzn_]}}'U͵wDqyZ0IBkh(^{C:ӭ v).tD^Uzkocpu\dW_*F91oqf:.SE@ U72{ U?^AڋT@J8*Z7ANUԧd; 36}E|U9 KőOP;:{ؒf,dX!m Ggx5ENcрBǔZkyz6]F-?%;/t3UPc5Nt;|`(Nl vIrZS䁗ش8;czgd=C[`#e8JYG)bj z]r ̛yslN4<\m9x(tQ:R=!H!kY}'ݷsߎKB%ڽNJӋkUFb2,)@ +7i3A JFk6k) wdj%mϬ&x7pdqYyG. 4dΉx6 $/#ve)ȶK=XZ{ y:\d\w[ߜ 9 "<]+W5ԂpZ1 %Wjgt Jl_+VfE 6>b9050-dl6?+23Qz.-Yv }x0Bظ>Vsr?m'el ~|Yb5]lXX)5 iN;oIQ>(jf:Hv ɭ`}f;v|q`0soN djM[ N [VC7 *?4Ab?ߣӺ!pC^Zڇ(Z~+#\ P@Sj æQo*=Sz556C$DKruM=-\!pZT(8bȪSZMpط*!mMS ;37R69 I v/&ƒ1Pa&':*#9 ȗ1 kp,\f"c&D>y;hv0,ZB4)7 G%A1[xKyL&($:{$oג3Q(8B'z$ncb}]>w:|z3l %2vlER4TO ,q+jfHGsS2rIP]MqaC)*{TMA[=O|Cu!xp [.z9\LOUAj'4Ev`*>kz3ԍ8ե\Dy4=Tؿ]N*^IMjwYB%`gX ojEK{{mvfX-».9|X#PUs*djJ "{߶dǧocU/5yP"!3.O@ɻ՘(3S1nhL}ﭺ;ei%S{W} }:5i[\ L`5fxLwl$CqE?F뼱YD+X9!%~rUz# 7[2ZgLr ̪SVKmBxTt?7g짺Ϡ1|@AkMFT"͞`@D$=wH<{W;8J!/Љ;MKE~$1"^ᱮZ1C +n|IDz#mt3#?&A׫gbk٤B:Cpb*X,o*隟~xiVB))2K lT*4]jJS>ɵ3s8,/=ά%mEAMIE^\*ef4{Nsz&*y   9dʼ78<2!W Ȯ+!g.)^lصro`\sMF},XMq>fߦu%jakbJxKzfv4g.!%mk J"+3Wm >S o2GX菪^;5\&5͟d(!FZQA4[* *Jn,@"#M{ooQլ p*% Mia=fj{We`Uzs*\w 02~9Cn([`LFKv'Y3gGjΕJiBQ|R<ꍚ>3!dΏ&yo$ʄ MI_f()s >kF;G[Bްu&L##ZëlܜG3I<Zx_Vփ +osi)8BF(ԣ'`Ih h ʡB*YAb?14xh+44)4gG.9 Mc + :iخy]"I "n1I9@w-c<9uAaS^GxvgtH8i9Sf[0R))o5*\% ά-ך _Es0&Zǻҵ9eʶ1G0aozZiv4KvNhe'ɧII*/&b \ff2Koh|p?ٜY8džMn|_m1^b[y-?iTlEC]| ʚuBHt)DFpɝ{6οk$vGP| v4.3C# xEvpwxGm.&q׫U 9`US@d'VooNI Sؘ@nq\usSUJֲLO8L>=,>vw9/ s'pNPtn6R3]es{.fcϑAcZe2ˌjbѫ#JjD<଱^ 9!WPeU%%.>(X)xqA@0uzYOOq41۳)X?ёSSM m'#<T1?g%Ń Ʒ6qZ&Q#"QJ~XSՈ_ )B,Ҝ}QqPr{mf_M KiO˻q;!nr`.$>G?4R6dr1:wYa̸&JgQR4Ɯ`W {2\7gfJn0_y /o>y4Mfnx:F@xuYGu춾(1P~Wiy:a\S+ ^un$/\%_Aٕ/4 +f@~[[ 3/؍>;Ї~ɱ*b$Ò HkD Z{1}\iK5KI1`KH["VYɊ* (I?œZ{^ąͱ`-lʾ`sCf &⥾ץ^ ׀JZ29̅i;jQԧ5mGGS0g+CyV^%jɎWY-xAw1Uj@cu*C)MF݄lU2bEJdMXx,(_w?[B>%ēߨ+m*;ΙD@ Gڀ/U(|w4_@h09ϙt;O=(8Q=g 07Cxʭdܾ+%1=1|v7Ǻ;qdJu>/x6e%%f9?9(`hsJ ћUeȊZsw8 8c<\B1]y ZڤI)g m etTaPuJkmjR HfyoܴNa!04@C#+>O 5kaGLLlNMW|N">id0Yr&0ibmL/&u"608!<KfLAԯ3w"ŸFFX~`c;ϕܢc1-f >@!@-іU܆[^NҶꗑغ_{OCe1dHr6)(1 tUF <(&JsMќAJ'b<4K&U7xH-*^W(;~4g]i<{1=* eOMMXϢq:4dwqK5wR9JEUooտeIM+ ݳ"3r6oKn#Ct=UaL ЦNc_4ɱ >8?`lDP 1UD=b,mtOcm/WB;4ȼrNm"(:Def涃"\Ft­k `0K| #: ?:Ad7MʮW) 5Iׂ$!(°b.'xD\HE(Wt5[Afms,@K]=Q>u(fQܺExgOBFh<*qhm Ӝ\ wPS_O*7Z %ԥ{C -S]-.bE3a$ 7"[nmmf֘h;+zs?hoACr)͔sXjWBd#M :n@֙C}ɴ`Q㘮y fbyZ_֛S^C ~TWH&:9RݫBv5 ɉW^gu>5z>Q&JzK< n^P{cHFQ|TKȜ'rkv=%<>ִқkxNq6"yu8kH6m*d:8ՀX,ŗo9ܶIٱ6/?Q~ß[bԄ>D@ܭcwf TA.}W4&D{ '|vB%@ZDG}o khmmۦ'GPDϱf'UYHʀ؄{yRROUV{ wUM PRk |EĦxGk2yU~aӵ!JU:0櫷)z1{9p?Sw4Rf+/tK}7fLyt6-C$D&Oq:,fש~["-XfW2:@O#ί֡!v2.$6á@Y@οJ.(#\PLΜL)ُ| ֤#ke-(eZ2ݚRN3P% .~=ܔ Rcֶ^79 :l{`S'9}*KGˡ"ai=D`Bݫ J\ o"EO1 `XFǡEZcDAM}(.O3O+*v᯲\Dț-{v4hr#X^!Mq;*-EŜ8ޔGKV '0锽r_?6xAm4Gf!HBЧ^j7'Dx1hXf_C*[Wwu?ġWnפ5XA# HxDgNGca"o?@)p b@>;إȡsoog^L_GDAc!;BL0cqSJ+8pBHELs{D 2XR{E\fZt}*ma?dۈh7/p*>DwRyaBOhDU%5<ʠgUL`}@L,-*縄^0TвLWM 5[ˬкkefSb Vw_$Z-A|Ħiޞg?!hrbtZ}~ ]=')^ߥ{3$\|<RM'AeO 4][YdmCzgƕP#5(\$2(л|doUmHz-f0V-<ؔ; aioHZa *vv0p3wjhO'I5k}wԌBPhDƿ<UʺO塖4,7z񧣬b!pĄMoWI;X4v4zBrA`1lj_a' eqk'ܕ5W\̗eN!." _.HQ*>eBO֊?y-: )D ] a,A!;GLwa_{՞:yW؃5utWOP?-} 6DNw *{a| A羒ߊRI{ >{渮N?'M2Γ +8/6굍o,tbz]qw֩'sTH2 }kI[IJM#ʒUh}'queWQ& \Uи8:.:o[g{3 Y;~u RG1OET+v h [%D=6z>Nc+sO>F?Wu~r90$Ô Xu FDD<u .l{JQϊ$_O!TQ߱_lgZU/^9BY',E,&uݖU6N| I3=.g0QfQ=QK4rJ73$ّXwrPEW@2o^A սTJKyF,.zn^DO jT@#y")nsЂ 6Ŷ?hsKt:?G&]4yqu0ҙy?lO`vVIO ")GBt$;3uSRD;Ⱦ|Ч,BT00pt3T]ɰf>?tg%p?Gi[RELۢw{RFsGc"fN 1"Eӆ3jOU)$E@Xwddvg!k0 aE|% [xЦe+gsj/Gɖj?:ԙ$pt`# _ |z}+V@\\g껈PHqt9YXbcwwi3 sJѫvGSfb0YG~ D{XDh`gޭ$ Kp2X 7ty , ~~O@6c Pu H>ŨsOuToaI!US^ F-垦:xYj(ڟW9i퍥_r4Љ1V4y eelϊ1P 2f!s9r|B^H̩!?jc,i!J8c:b)($)]:Nu77YZ_Dob Au(RƧ<bÎ10d,NI=흃jV&â:v6i\3{nsV̿F$lTvy<+36 ]%Kw`IeaSr=ke+ICԴ!!nG7T?Ҧ Ԑ/ N&RxrE1͟e֮t.oP| _]﻾HJv6u5`]b=I<8 8Mw?pKM\/+(f`w6T1G+p;cz'ϑy>ˋ=%\o.|+dp{M,3{RD~m|#?0=6ʸ~,/6HQBljI Q9>Vxa+@JǡvGBAd6Jd0~+ۯ]_Ut2S2@z`7"k%q߰k_zGčqZ Jgh%-JE+`ACe:35<$6dQ>DxE<Fa K'Xu. {ӵs\DO\fIG*0& vg'  +:[Ҍ#["o5py< YґเP VW? LHLPЖ`gN qo'o(c 1zwE4Ҵ?_E!z Eع@I:KtV}Cfv䜁|1/wUz%Fϣm~2R*%.Jz}\9z{ dMF:~ۑ$Ab_#K4QIyZYjdy_"١ĶݞdU0꣬>'7р-U=嬞M6tFt4|]Nc 9:S 7LPx"gߛu Cפqdi^:TO, F+ dgӫOj֪eLJiӍT%rX!&ݤ3XČfۭKoXEާZqZv`R\~nM\g}`_zd&n|ġ֋"dW3"wukWQx)ɜ&9)ޚwe ͹ R CEר̴X7yi}5YD@;k: 1Iڒ-%.cS\%9+$jeE̒;(O]E8s䚖4(P;&eNI_8MBtti;42m)K lH׋\KȔB*VdprqxܚP@n4@/o8AoRƈ5;8׏{ޜUK`~]4Q"#Y##,shLW?:~4 ̟NjL9Aҙxㅺ'8v#ǽUMvR_VsZ1{AeQI! ZjV ygcA17)C7uZEAL3>0y{Pz=ӯnw۫/v8rU~۞,gYZ7zXZִF! ]%Tp]ŗXi%v tukp.&=V>&q?}68:/ RƂ~ 혖&^HSC[W dMퟥ-s{YKUcbfm\D *vʂbDNLLGӉopM =4JSנ~r.>xۡe5(߅WIF6A֏6XƒXM'6ְ.*S#g.' mk6PͅkP&בa$'Ҝ۫a_qzoYŒo6hHd|խӻjʱc]lkX+ˠ0Lد3~Ri]bfd - ̑L4(2UupO XH")n<Qoyyҙ^:@G f dwE<;4&rXo(+*;IHu ޒ_'hpSɓ̛,9GۉșJR%8kpZk[zţQp.%?ci]OUSjv;+UX09FJ`:w6`HգQ>|IA{xa3L_~B)Y\o:S \*U25Au8^ ysW$㏀xl`k@qsTZhg+ʵT;mMsz 6@>@kZƟ:nj]ߌ>6w8Xt!$Pk<ڻA?" 'THOB%ШI \rۓgӀMs$ϖ?@ I~R!F[SbJÛHFJ=J4@_ wV18˽G\uJ(/\0,6O]\7۳ ǽT!4ĞL".Eܫ5[;RK_CџK4ۿ߁1«g.UFalHa!]۹{I:*9-G5֔>P`]mrP׶>t9my@tsPlejBX4"#*E {ٵ7-q^Z @FC'^(*,OwƱRSce<~ + <<2=5 mb{d[PwsZIV9}Pm1/,Eh3.M']%^5 aҁ}SC8rVoZ۠'qspk{[8>Z->W.H_d~N!%olUMޢS_nd}PʲKu/\ atjG"A̋6i!͌4p"9+)q`0[D|TIjIgR-p-5BMUB$dW؅M$”'Ύ g[2|Mz/vԹsELe/K]Ek s$RzD~?%Xt)HILhn:@0wqQv Ӧ4pV{JBD-A%o6mТ؟qv1s1AXSʖ 4.xxgtwa^< [H@EC UHtHK$+/U1#&Ak=RY R;rHn?~G}Lo&dM/-Zߍ> D0yR1sUB6qS&<cZ5. ]-@ fBmeǽ>`16QP䙳sz}Ȓ[ ?@s.fٛIj b6UR:-G0#k܀){77^ii9jϑ.;,YF2 4}9k<]ߤ b$eskޏݓvvP܊,=[~gcuK!ebp=,nl Qx}MߛoY0;svwdL޻3y3~vfmڔ [k吾 Z] -rӡ+52&B z!GmqoH_gobv$I,"yy‹l2s]XKS[rrnWx+R-6)2cGR-L$G)(qSvJ5{MIG*'zȫ0(]O_2~:Č1o1/=NG ctH> bsX&UZax:mV9JVڽUAIżљ'FCf_YZ40k⢉=NI܊ku;CZhf֗fzd.$vj0UM $W藲lAiQy „tRC`MKZ6)V4j-#>MiKG6xIː:_&8yZoM >lu97RY6S&PPčt岊%|'cUR긩j{vOd2>W*\U, Cn^{hֶ_'Ln*SYI$WSp>*aGt x Z%D@ȫةL%첩./Ynj ZIet@_e`zn%v^im$y /}aZHs;\bN$RXQWvUr8e^jkeKii~YH-GS\M_OY0ˁcd!IgYa*@1f.@&/8 .Km? \`4y3Q|QAS\>,7tY 9. .9ɒ^k<͏xxqo]*Sj~PeKONYΦdCN4 g28c*ڟ gC"Əbn?]eq9?-p|M7U:doVX ۄCm}GP*LM3.= }%޲z:C']F9o5u.B^8K؎u4(/֦l0MŞe/M4aS_S[ h۷5:!xr#FǓπB)uk67Y5Bt9-O,cMԃ`KSo%J~7 `g:pG<CWtӡXjfQf*M_$đjhĈijB}JҜ<;rHqQ)%~'nP? bObc~XaOo>GGE: g@XФ%$QS1  cN jϣ |vHGVu=:c{&UDlf4u0!j ژwt +R$,y񬏼rlg} /cLO&0䋣 ޯgG޶KHX!~]Hu=~h}w8Ah2?[/++gr˅~p.;-67n )liT;YypڟXrHtZJHu?5> W{5cv5i.&Hz?U&4 +XMVlLOm = EjʃQɑ)_zZIH<:I#}|y&o d8O&8]Ъ]dĈ`LusOu$!;Pd6ҫ6#B. 1 [=y8ȿHTC,P= 8v:,\{  00`/p`=y-]+ߖK:~m1e>d}X&;{m-59e](QOic[`)oH -5ލX0.ӬY7t }CVnjvmDaZaz/_ȑ&yirաz|7|#a9|i;yS^?5V5^gy5g:Ue|Lc[;*A ǏĔr1h|6ȬU7% ]  o+zmP}sq_j"oTN`&muljiGd U+-~ Rb1J(]Q;&6;!TNLL&,S$\Àu <(7 9g#&}5&]dCrkg..=0Prlg^4дr&v+/8"q8ؙJE/#z549& cʹQ6 Ec[ O\2Eu!<)eM4"Вc}\ Ň Qm}q=a0% >lhS<4 I$AB}±}+]-<1tuj'@.[j46;Y S~wnS>|H5Uf%h3,c =6i|e>@!vVpvaR# \.gEb0rp\+"VgW[ݮS] 6$|uX#>+NVhsWOЭq͎e5THL\!# Qrɓ[b(l첌tcs7M*TNDBW'THUlnu/l<@@;AD _րK/fzXV7 2x[h׽/FxTqip 8TUH>f|f!e=&1d ȣ8v&nv0ȻϑP"DiTwUɘiqm9?B8$MLhi[a *-z5x%!J@Ъ)d9EG6yY'-oO4cKlDb8:c,~6SFj@'t `g} mq e-9ᨊ&B3B<"eF0~6-gۛLs DxoYH}dmPH.=ߒ +R/ӫkn)'q,5   ݪ?UVy&wW!NѠ^*p]Mr{ExB\9@h+؄R#rC&}9sj1ǘƀg@&[z:V´@" kѬWhՐԤ=Bz橎M]~3פkYH O%.idEc\ښL3#\|"|U̲py9kNru.zb" "`^ 6u *6]]X6=iYRt6ᣐ7ÕiE3.=0Rxm gk`ӈb 78Q>;AoCaG OlnM(qwjx) 3Bk9:+r͞Uǽ|j0LX9>D5*PG! 1\T&b˛Z.,f9[p" P =bS.@9".j -BNhY2ȍئ^R췩 [ .!CtcgWxsx dkJi2`Xu8_JugX\ju\ ;5%:)?hn<>XՈ5G6UDR*(2lf3Y?qx%qrJ.)Ol Ĩ}7(lgH(>EMYmy=14}ۀ;dVV\pebq^_m&/Ү ,\&wn mWt I8mNN#Znc)TaDHuÜcEn_Dƫa:5RfWO@O^ ,<>Dޥ"V~mX,kOgF"LWf@&W2'Ɏv{(B`o<-浶\h,dIlKkGѼH|MCKdif̷U6s4sJ1V `~EU AAޭָM2i& Gġfm\V ude ^fޒt`d6xXtz",eq,on23Zi=Qq7P=)*' q 5mȵl\x3{dӆvHs xycx>"ɗ36ME IKL%|w 66o:@6:r O k/ -oAlį́PےlgϠb:hP)k镥֮^Ͱb_eaX303wt ,ZH"׸㙊-8ܐGx{LBK1t?/m|~i+|˽#sϿ}G>vUtRp.OӚx`qK٤a١*g3"apKj,O3wҋwsT@<;*QJgM-u,*0v=~nB+{} w@l|8=e]3W*U,CDSh,Wh G_;n~_[;s ] O/p{ hyZmš[B@x\ZR%nKYG۫u[H^-@i](C:?mNWɛ=򸒖#ńIpʳdB<A5[@=Ȋ%vK71&w6FŴĽP(hFdsf4+ kܢ &brn xNuJy7 rz N$Γp #jbfT{JSǂz ? \sf8;n#MdbɓI|t_,'(`8nd#vh}F®Si16dLhsū$uV0 :I`̫]_* R1:ALj}[{aS(րaQ ƘnV+'vWZ-O3ͱI/b<'{P7I5ergsТsze d/=d"CB;6%nP[yS'RkY%ͮa5)0 mЦa;|\gYFާY j֚os,L@ȁ2,JBNHA`wHL%ʗ\Mo9zDʩ$w|sΔElt؂pT{ (cyucT-K,O4! z"xN>F ?3rUW) b`Jv* oz"!t4<.wΘz;1"[1H&T>>y@"J0PWE?4LRF/:ƅpյewY/8zcV kHjv$%P*O% PNV%KǬ=D2pqs-Ħ7yk w2.YT@j2|8hQ7ehpftRvB@8WWP,%5:Ḵ VI<(?yMJw 6@Ovp{KrQI0D[J׮}}(8<]%H5pO/NP&x鰬A];-klOX RMq~& g7T2yPisyM]3ftu7Vy:&jm|*ALBGs6_rJg!'S:&¤|K8R>Z)nB\80cu̿}x%aǮ׷Aai6g ;k>B2)X -#Vom j0P֤YG%el8 b!<3yEm恴=6\:{`t.3dwCwߧˮcrzce~ZG%jS{YoC>={t`6_AGs rݫQro|-!82Y,( CS~Pb&Ȑmq֪Ҫv)5ͱnRR H}i'FMTZwh EWcNjv>Zkq6^Lš!9#WN2*J󯧈w.[/KG!/+Mڇj>+E&̧ FdRmKFϲ;8("[FI8+#,~8bU4AY9%XKlYr&CFL*ܰL"|5y1H ڦ.wKc/$Mh MHУɁ89$V(E aaԯ3;m.5^2ZI)@- 7q~~M#0@x}?:%AX='C ,hl5!VFwSK@T-Sx7 צLߒJhSt mӀVRU57`.ޔ'ȢMƍu;t\Y -`+mYSl5,[tvfk׀<&&-*f`؀lx**vv{DE,D0*gujݢt{꘢eٰuS YK,zJ@ouI:SrQM\l<}{?ӅZU>i~eW1eDXP=amɠ)hᠺsX+tE!y 4J2^`BteniG=Y WnPz:鯉i\kǔ# ^҆+)?}_pU2;: .>B V$Tv\ 6JKWk&(㑄;_w )~{.MBϠT(JK^@jI@EJ ySf8;UUnUce6>&%YKlUߙSHTJ$oj]Ty yD|DīVC!IaXʜG鲩V`Q59 ЖٛyzD+ _?:4Јŕg :L %u{k>>s/݁@ 鈔],y)4RHl;QaÃ>xL˱m;AnF݀u &Z֬fBB{3 < Pw$+*W+D%Bu##U0\@& [^RmPqQnKԻRB^@xW!hH{jQ7=+K;#̛?<½h\sgJA!@:oIGaiۮu.wF~D|j8#|FKb2hG׭t\zkZF9nUeorab 9N5<+n0 Qe V0]]s J9Fu)uӗ `&ƴ24nq_.j>t0Asq;VHr6p^c"o0\|Bl=N{[\.e@dϲmpc'97-=qzςOR :U5)٠{jM9 s14=l8>ռHݥcI&( 5Mf7o,Ā @[ /r-H . ctney 󏘱ppޫ h')FZZ,1 SKMm̢i"°i 8w"\,}©YaHV>b3T-4kp=;b4ING!&ʒ8Q JM\u# :U}yIJ@R9) @ej '5 z@B{om`NtuP(ѡC amA *)۲9w f1qV & KIPk.p4#Sȋpw\N~TM^^>/2cJ )88h(8Q#ʒag툿GkOj?ޥ i-ۍ.{Ж/zAKyW1J eǒmo,:wՊy7%}2 <[,kkWh20wNkUYYt,i)^'׋heS^ ?LFdoTǔݓՍZkA\-߶?/7CdB2~ N"yLg>;&'Zw, bWjD@X7x!e  4q_kMj~fOve?B#1ۦ&a%E4苫 cbvu>:Y9&'yR0&t_as,"9|ɿt]v`KJ>YV8 /j\ſ K9p~Q8Cm0Ђ̮W n.qb(=~-3k8|kS~ emϩ}#a6=}AR12[qhXMpyR hs{+ދ4 cosLa. *Kd͂?^W0 x=HNyD.@· ">\nhN"XVb,|۴vw[1:$tzcA,֭8-\'=2ULf*G[HH 1t|f"\pe A*=V# 7+U"qy*^ ;! g0_m5ʘnRƘ! ̺8fg~_@PETl1 b]NR˦dXаeז9mp)7$4n_ЉL&(f6cPLVBDUP8\1zU랪E' w s^^$L:B<_@0_)kKOqK_:_tE=\ Kйn`eŦ9ܮ#Ch8yA_bx>.sO פֿ3s'F$[hv.d_Axxf3`Wh qb_]^dILZ jRO 7lhbk$@Ye5%^X \%dO$xU+jOZN!bAD"ӲNu|L*h h+YP+-c]jy-'sB[q7Rh6_>DP9HY lT\ 2zۺ |印|扊lTO$<̢Xmot~\G1}fQdQ0c-ʐS0In@"Jo vdX5i}DȊ0`;Dmܹ *,4L.7RjࠝYqalメJ(0+H!ŭ/]e ]CH{Cٽ.B,ZizYa=tN ↠Q 5KcF;9A;:*0\A64V3PQx|=~ruCll/Fv6C K,#L]w.bƄok 3D? p6廓C!kYB.3RB\}HHzuV^J?|1M0P}TX2ʋ93ԱX;6g`@#˝J4^FD'7fOLiwhHw􃇫ċ0:i)c5FRy;S7p{eo)arz7s)0&pA?gsFCLS-LXj=7[P3{c"UXBq)O!rÛ l : f#ތ4nrϭL(MO(<]Y$ k'GȄ(6k?6k&U^daqYr;Y^1s$ɥN& IH+^~fԤ{ָi7𵬹As]GMcI[-B%Tg*,5̉y ̅YC/jEX\ olY׍v~*T7HS#J' ѓ$fK$cx1.ҷ|zkGuXCj/fT';},8^oҐ404>'7ӌJEI{'y41ri,㰼g2Bm`cv>t-%2h2[8#)F=7ǍοJCpHFhwHy->XPٻA7C/pl6ڼ]C^Hڡn[G`5ָ˧FXkDZthlPuݬ=|Q޴2@g|90ԁ`llV.DZ֓3m'-b6|Cx ksyrbOɓЛ%u CoL e KPZwcgj+CDi d#nԓ0g=Ąx *e[665D.^"L0FR$.ښIXɸq`A~J3PIg\Ktr5^R#[Ln ߊQ_~}޷ςh=P7䩷.xѩq ~nUQ6S0Gn^mB7DvJn2or30%tL){Z>cn [#9i}άmp͆IT;- _E[Rs3cq쫧۵L +Q wt7IREeFj=@bІHE{-;6fi!GP(ԙ<6jV6j~|G)}SQ21 AG~*A@vHI \EOC+tqWQ;RZ[Q xiQ$|5Ӏs:b p䨂jD|å-YE]r_suwk=0 >ʼ'H/$|JN}DV'fvo| s"뛭|)>aHLz:H/ MIְqKF7.qqyLp1b_u)xn%ިD—{M4ٚ)zCX17#*o7#LUQ=_lJa6$,/#VRSٞdL4eO|lr~]Ain  {Y%<r=@2d kv1>f<k"'`'S1~MGpڥ],Rm(kr̃ .Z[a _W4W-9Ӽ5$9h[eU /kp\/_2گe!>A.4[Z^~j/ݼ}]ܔPjo#2`jmJꎎttK1씐?0(skXE mC<}RTW6e/['3yDlX؂?ȕ[OKȧ(,u JqNkpXq9ި4 g8 EP԰tـZ(DỶd+60"zfTa|QIUO#'{ 7] terHbu?'+K _ s.kSܴ$q|GmIsGpg .{8^HI ]768i_ejCN$p֩:Ɯ*)qPOŸ:Q$0kViawEa+!3^T-]R<*'>< .ZwU@2t;J!sii)gЖB $Yӿ~^x.ɻtؤua G{_ue 'ƌA'jFvÑ1Iܓma>HmѡjRY3DikMƳ?{A'My~>1wzBE.Y;C HH`G Yܺ@l/ܐ !+<#|*b9,2vw"xgy_qh8ȗ$)XR4~]6D$R 0aS5*[DWpk=NDf-gwS [K`~l:ww~t딣ƪdCO,MpCӦJGW Y>]&ke#GCBLXs$nfƬ2΍qȽswOz^p@k'Lb=!ȱQjx)NbRJ d9⏯G Wܐ8e>t:B6:}yR#KyjhSӲυ ηe WoLgcP(Bi0c+Ic랟uA꨸@ټ> y ]U$`JǢUȱgYZ00a10caec37ae35a2d8a829bd5fb3935e970d81c 1bf572ac43bc09f879af6d01a4bff755f7c5f33a 1efbee678287339c6b08ad2f59d496b0a3e22dc4 2ccfb3cc7308f899026863fb7abf8c221088f634 39fa910d32d6d2349ed3206ba3ac517c1bd6472d 47245854cb8f08bc13f5435fba4810690808b3ab 4735e346cb335e2fcef7be7d3bdad4c451c6f90f 4a3f9b02a075361d77cb653e1d06a6e026fb40fa 5acb735d2239bfc1007ee9925728708f38686be8 5f997a0e7cec5aeda4a2352dba447753bc58d56a 6bbcbf04de0c7838a0e6d80d4d5f136bf63f6fbe 8be860ce5ae3953bfb96d76c6374ff2731ac39aa a8a14ff2a8f6f95146ff28f189781fa6864fd6e6 b6e2a7a8e64bcb7b649c031f96538aa3619cdcd4 b810c58a123d781c579a4a3873d9f5f60e764694 bb5979ef9650bd158e02b5ea122ecb7ac1b5a0d8 cd51e9e1d8361b51ab2d50bd25d5b2097b82bf42 cdc4157cd7bd2fd5f15a84e9e7991b0a34bf0105 d6469b6e97bfd95abba762b020a46b57e8886c8d d960923ff68b4dd4920c1f8c6d3668d79c770913 e68e9ddd9ebc3c35e8c1abbc26ee0e9c674b7b29 f4cfda150e4b8f064689bc3bbce1e9a7f47c99f3 f554b82e8a20758dc5ead96c30de0ae2ac47ca7c f6f84667ff7abefd27e81ea553fae10b248ba525fd236e8aaa6107e7fbe24dc74056d93851977f4f 47470ffc6db009906b922ac09f945d373860e313 5890f656a875fb2272c8520fedf9508a6790877e