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$ ] ZF-UNITY:threads=6elapsed=5.978cpu=32.248gc=1.3607zXZִF! ]ŗXiɟH)0%o@ƹ;>I :X7@7 <{w2Dy$]]LׅuY x )$(l6\U^ӜHsm)zbVԤN)I0ƼrѣvL6#+NcAU9F^5XఉIUCc DS*r- 䖦D|K6DKھvggಢlNNd̾fDU$$C3iV~L(v l@`Ā~I $`-Wlug+](u' 8pA76;I@7g*xB< @&Owm^%Q@[ Wvt|ؽ2&>iG!VK8yg}WH⪲ 6u?2P3 }gc|fG"*k7Oy:q"%kLQ6b4'B7`_/dw}SΜ70fNJg3` JFmx44:F0`)_ЎZV]0r7uY \} I {tNouy~Ys Է(}%IJ3>rP!B7B##lóy-HBG& x\zljDl:y0W+Vْ7hKu,%gvkD5σZtDlKSJF5ϑ-D]',^72Dm8,Y\JwT_ƏIVʸk0huPrĭ]=Pu>!&y/ t>yǨ11bgۨdv/inJɎ *y< k78َE0u'HlT¿W>`6\N)m^r ƦR0&s7@NfRFxvY2?~MjJe]r{Ƴk !3 79g=u?O>4v`Xyoj5]279yqg̀gVDD>䝚+ #[յdٿ}? L M@u?~pK'P([   ZF-UNITY  ^ ,Noj4V~1:,ZH & 3Tc1ʣ?V>{f@cEZ_ %N@'Z#mIZQ%)"))J#t(?QUW-ZՆc ,8) kv؎yvaRt%ِamxL2nZocLDoߏ$T)t҆"#c3B0 {Q7u56s a5T%X /(E qzmWzaT]P ^T*A8{$! ’t=*|=.uwݲspw_֩ȹ3׫ý|1\㠦? NL4׻.} %Q'_&FЛĂ_̸u]_#[0 AG _DӐ/.V!3͠*HVO~Ni\[CNP; v J!e7 ,2$:gMV6$ǧsiJYgT{_, 4p] ~'X<gz^ܱXLRWp IJBwxxt``/9Y)Q&L% gI$,,Uq˔1% d4nL0,uA8ZEJ^Ob|Δa3-4Db_h^GEf &ߨߗ,þtoRYD ɒ>2 5٪z| s9V[.^KM)2l=F=CK.8\ gb-AWeoEnV4ZVANh!PprWʸM fwpq0.n3ܓuNvc1α_Ҥn+oz=./Q޶yu^"Ubqi0d(0Bqry#6x.iH L+rIl+?dDwzgrE}~)$F6vY\ Z5 c% (l6Neলdvr GyɅ7su0{0vt FM ouN#9J{)gA^a)b4楆,Q$ uGxL"lMe uT: 9ZOyP%@ &!a}#`s9 G{ʍyKLe 1ŞG*BVeC : =G saptt5G$!-dKB Iwğj&Miި|ȥ'aw ט/n0F*Bҥ ݶ10헸DC(g'5\r@}'&@-QTiU9wlMT4,L=΅3HIx,wu= )(Zk0oQzRHbzYE !!/nQ!S ү/TضBZBt9u|l8 a{UIZHFLA75TugS_GaQ]sArZ-g3:+)Z(G X*u'PiVۀK(2(qj̮dMx$GL P =n |A赟qd*,۶5h֟ZkGg -Ko`5tُ:;|VE.?Lŏ@?s/.t] /dU -/ם.xV]/"# .syqLc0xy,s|JTTUoi?hNH Sq6!<;GTBپ,sc]n-i\Wh,<?Xo&HޮSiR%R90'x4YBc B6؝9#i䂆^7(m> ‹ oxv*Ϫ)5*=jq0; X}P}F|yd'+YљJlr=8C7`SGlB;?|S :|uSRC|\VHbc(l-%Hmhv<1Yz◬M|WË \rS.U?1P1(¿i ![i6~y;c 8 ~p:y lj(صQA;' .{tje5]'A:H{_G'?bW!3!=T|*hupŅ'7r&L\!U%^;CD$;V^ĕdr]#J{lRܢO}g+b[Cqei RKbT-e;zz[2Ĝ*34L/}jQ"=I476ClZ턑- -y|jNl*p~݁C)̳)D]v<1AH1!G1EBx9G)5mXO\3R^V\ROK{en./D۹3ْO,V*:~Y&H_Y)|Q].g!S0 ҜiEG.FU,h"^2f,gU ǚҧL+L_`A(q>2†&}|iAo$3gj !jf5a&7m@86A=pr/:Pt3ॏQ>0ԅ@j@B7֍tMN/*G+'g/=3{Aff'u.ěnV_D)L.MIoO fN*{#@H,_sˢM[ARR1mU$q)b$X o˫φ8yBP"wE9jt :+χa֜({5ߌJu\h3Nǀ"%6,А3z&RH0%oAvW!d{h #F)u^җCj<~@N )w|.IFr-5[qW0ix:T_'mR5;GO;3DFzB{DKSD1]5l+FoI>rå}5S .݄A7*!hеMPGœUՖSOTgn; '$Oy~2U#Hc m.%4-gf>}S'6Igaon7b!{̋G~֘ f'"eP@egϾ4 ?UO];ÇK(<*MÐVM{&gy J m bXNkPʼmK&Dn:GO2HHdaFUϨB 5bJ|ќ|vSjMǻ>eVޫ4PQ\aIHm3q^^5p78B #PCNQ#)sG=Y/Cs#2 rjXqa}zpo9+ <]M-Ag58h0Q#H%CfBƳ5Z0Te/UG"Xje%yJQn,߿%F+qvA?#1]9[NkT/PIs1[%!y= R҇ZMx4Ӭ*evDPI}#Ya~9~ TeAoX7Њ J3:$? Io &Mm '3%mK{(xp|W/  aC[+T$/EL̟"V/MJ ZyQ>lX+k4 D%$Ջ\Wej2{bp Ov%M2dwb'=O sɓ5Go1wBv>S (%< Kx':+É%|ټI?SD a0bc2p|#"/ŏj ה pvBg`t,N^vaϲ~&16/rҰTV)5u:rrvb)lfd0iO{N;x>$.1 ߼jye'߫@#xtgy͛n—0/`یS>Yg7aRW.+܀oµM@>&$E`1`k vK шP-M (N=v*MOpA}ťԨ?f xCc%%T*9QP-s$oq "Q~';3/MnSgB2ƒ[@^MΎ.]dϼX6 5~{XWqQ fr,z] "[NJr,&Kd[ՐV.ϪY=ekǬK_f"2sU'^aenN3Qt'$(9[8PT |[|.- -֨OI\TA?ޓϾܳKѾyy[%s%dpqPTGIBʞvzԗ'Qm= +7%θzz uڢsƽѝ3J$'Ap#9Q7u]D%1ۏ\ezO `]l>ByT4bK4,F%tzlci n >p1J N¢m;}ܣ/fYѣ!X7gίZ5AAcA_ؑ@A X7ֹrpH0Bmm:s^bӭ9I18d^0Gg8GaR^EBCV*}lg0N]ّ{~ƣ~0>,zzdLY.ξ qS[h1)D*l~ HYbB y p~|RP̩Y1pt"9/ӏ+&*EAXM808pElP+Glag><wMm쩲j%|SH~A=pcz}7[|#*(Vȓ_10]I Ň}OA{ӄ]/\ix<>vBC}~7A㶆ݸΰ.. bIQʝL?2W/sN%NWWʜ(9^HI|rَVYͷ,Ez7Q?x K+VE>%lQ_u'2E 3_}:Nb 0mZdZB\6:ꤨVLr9yW.wd} 3m=`'UN,VkͶz# _> [W<5x)3_l¸lOԡ䑶XwV|"&yi-q|1l8ӕ, ?6y D!!!X |"Mmzv8?ws{ڈAfy(#ۭ4~ܥ(ճE'a|}Swwq?@! 9!Y * >FE~CESqXkz{HJ  3jX#]z ۭۙ{'&^o>qԭxD]U>fZ _qu{j:DYB̵1G)Cvu$ѡb7ՋPӀ`52UCyv`L"%0GzZBiw8V)ruW ygוt#\& Q6:b'[6(xsAwA5V~ ՐK|OT7Q _)}:ddͅIQ=O G@ %g"XPF_yieG+5\.YrIqae lcNB?wU2-C.P>9BCd?UdMDz{\TT*6xpaXԅڀ>`0ZFn}OA^Aqfq~K$"t6^ociwwq drKlF5?D}^Bp@Ӆ> hɐU;/4&-{(bqƇ%Fiב @}-&,t lݦguؕlo4)r~'8M/؋:'yC&1 0V8qh yNfqu-&$@9Q[fu*^y4mi|h7+ac3"dkX n16Vz̯"/;6B Elc%wk<8H9!,l:IBT:ᜧv qK-8Sv LmY̘?&Šp Ew-^)z*SP 䎀H.' wL Sn|iX/aǟ0Op?J"YY͓(]ocr$n-5~)j33e1̀=W%+& GSxa9 :5|C: l-⍙'H ?><qdC!T_}gmtHKfxy#׿č.w: JQkf{?ㅢ'c]Fզ&n,bS 2ȸUШS|R2R^9A 'ej ]BC#C̟/5M@iISLb!X$֔}ɵqQJÀɔ fRFp}4ԡDR]n@Ppy#@8Өz~yրŅY7po'm`| Un[5;W ltI·u%. 95*`cmLZ Z4olkVx(*,>W~f ^ WcS/6l5bjwv镸l Z$쉩a^Lع wVdÜy33(צ/@'鯆ބvQdžD3fstqCP"XH&$ wԔߥxϦsV)*9qa?V&'J 2~zyMr"޿ow'xIN]%9pT$T>IE=C6ݰ$#cjSڹf<[m4{:h@8>#)GMBM2hVPA3xZMI|FQP-v%1߿J/~F%)c>̋ mzU[b> 0S-4& Vve(-L0֡1޲Ԣ8t0UJ/Ltznkdo̕M>ױ;hY! (N=؜.9%  L\\m̳Al{_*s @MڋۇfpSڕqnj\}Ss2ePo;&ԃSkGd4Z!#Rnu=;3uۚ'FDZCߑmԦK]y2Q&|pd"L2qXf-glq[ET*AKAt-b+iќLWw9re2izM.8WDVc,([ͲF!U?=\ann4GY݅F z6݌Gϔ ([p ;Lm| U\Vy^_?~kzޛ0ֵCFp0+i`Գpw_e /#0aD#8RҮjf6V!hh D|Zdu#KoeSأ$ YE-̀IT5VBl̈>4z֨}CWYYB:wVi/NʬC-\hވy񓨍Hƚ|Ʉ@;rno߈Gxl,VmN kU_uS)^+i;ȷZJSDžDwq-pZ*7?%H>tF&02%c=;I£bcӞBH'R/dW!A1CmiX@@IcäByA ΍x;GEˆyϚUǨ5fJ:예ʽ͌_z=ZL{S#xMS݃bqąYl鋖mbSe5 V~\TMD><5j ? A*1M,)rVo{~[(U(K\ 0ju}=pXY {^k YU%r{TQ|53 09>n7T!Du L^HXgC &츑JFR[3ucF?~=c]{A65 -y2z,肶BTԔٲ6y͝MHvg^H!ړVo!x&*^ QTK7,#tXMuבG`-o9uAv(^2es369X Ǹb4}˅()S>u*!0e~AhCz*US&ΊgPȣ,8Fщb}͛4'.CUObg 2U<]MFccI2:[@Q @Rm 'n$!W+,D(@SE?k"~\6Cv:cGKUxWlkj_Cm:|EUQ&T5xz2>@tl>'{!!6c'N~ǎ15hsubWTcC\^~C&*{AcEEHX_ Je@ĸ9JaRu/x5pM?Zq\`io5"Nϗ"jmS#_6*";ouҹzՍD!ڑ9v<(LDMl9X}GT(P8@nU47[Ԯ FWgo`G.J%iLL.풼e_ݓ{o?U0rglz|ɨST۩ɊK$jKCQcg%sq3 Z[ͲIPM+RV@%GGya+D8,DG}Lȿ|).]Mbƿ}!:)j0.-ll[ cDܶ,eO>JVF{`%zk>WM:P6͙=O"gB2-&㯟xߋ7*ͬs#zJ!@<-0-Tgl&FjOC4=Hs6 ua\d5Up~?• ;@[ގi]׉gYMC#sxUAnm;iU.` (2|wvpR'K΅3٨ }mG} G;B偅 U~O2)(H\Ud)ԬzTHr+(hp[uX1H$!w5p0NʵeuHHWI2[(03awCcfލv ̸F<.xٸ~"&vW +~|Pu${&A;';AMg.}#o+莖WϿ^f%w+RߡA7^R94 RtzK$9_D%ZH܂DplFx`l 0i̫j2LGYȄp ~BZ>$rR0/tᷮG'cU$Q~{h<β稖eKV{&`߄]HUzJ#)dk{X=fs' gE=vi˴Sv״&A_٧-Ź!؁jJu9Z^N_e#8B(➟cሄY7^L<ӵ TfY5`n0n oG:_lY ):cq|Nᔳb=>ARjohaٵ7RS{s͂-5~Q!KY.Gk:#7R_޿Z@M,=^2#9Yog *Q(kshU 9 8xE+L5n`o[Ύ].)k2M@6J=Zc/ߐf)|w pĒ22z~ $ԨZ*?WiK"eVI "N pgTi#lWyy ;:甃0 Eѵ‡֚fjw"s5=bL,MD@5"b{l|ogHx@ UURSZi,9v#“]e!0;E6Lj"C%:E"z?4պt,gеjS,HI( 'yfXyvϖ\[FnO6"F-{T1*s&# :j-QkԬCv2̨;[ډM^Cj=CKyZ1FAOUr@1`hi%LṶ̀‰Qv> aa< ^ryj]!)&=p4#!u0nirxܭfQ# (?FVs?.+ی;:ok": 'rĐFaiX;ZVGxrYjckԞŒv6YSe~PW~O=洤C#L(; ςe:bN%qf_ 6uREO_{ l}|ϛKp,>{c @PB7htqr{)| ^m_z,Jr g(y9~%rE8Z'FM]3P9_D6fgZnO87s?6l{6YdoM%e=)T%@%P&N x!)bn݉5g{ArZ&M);TNm`9O,d5׼J] e9T"`R>[dAk(S盹6,lŻ[ڱ+X4 d]ߡ0TYp,jIRNyJOTAK%#*ZŻ#X)obYz:o[~1?yRz徦GA]8Cv^5>j[eC*-DݢyƱ ?X>E|%O) qJX_N!t!AeΟ̠*'qE=vG#N. X^c[l?s*p aŇz Zvj3^ż|YeXHp)쁋/\=]0Nڙwtժ2hfR`X; |G?l4M4ܚy<ŷɇӹ&덎gn9FFcbfTE>=[0t!VaМ8>Hs!)2PF0c)H_s`29#lu.tjle'YlS5-Y]UPD+eb, WZfÕ7|oqfMۖ {.oPfr@7VVlXYKb2}ZB~҉d4V~eRu0 ^3IKQB?Øc\+f1,Jz_抦U3ѻe/9<{5jAN:_TQ.qlfx֮=R۔k4BDhEarHo] Š:4rB,KD `ChDj%U~xH_|hcp]Ǿ{!3~Ip$xxTX Yfͧ.9'Q-=3S.:KU4N˒zl7y+p6 9, :/RE5|KKzmWc [^#ﱑm2=٠ט討 +쥙J1H"89UV}??_!".ܰbn)sJ*:P] k6,CX\)!cL~3)̛<}]YA.lЄQy~hai!MV?0\L͜'5ps[\oI/Pw/g2"\Tqßt. 23g&$9"C{0&w ?k`ypTKo5~vܹ : }Ѐ/:#FW3 bHm%V1KWS.Q"u]ţL :KȠNxx>=yKxD 3cKмgBнgs ڴCpx"6: >kϬ7aųSbDZ`^>s2[3%vѪs1U ‘ǂjX=m^jP"~ohmZQ?]2@.5HK̍ZxNĩYK7BeBKp -lhn4m ߕk_ %shHnePȰ7IňBg o[K3%‹B(y6P?3TIqScɒD;0{JKIU[)oP/z1ҍq"ixEzHآ c]qگ֖Ht(_wv#tH]dG %z}"=v0'ڔ)̠$FDzoBϬbP0j vlbwkIq?M77: I%2W AHF#|}13j0g3GUDz?~:A95gȇ DOxy=jnvl+{ʯEV⾰Mҧ߲3iw@q]Wde MmY؏E oX\7Ff c~wU[- VP2LB ?^0޵aSuH\Dij2\u]'NY6 8iQV_ƝP[=`seɦ_VNvKI7{@=Lf<Hje.W'V:ZsƂA%:PD,MѻPMAxXؕ/EžsTc^1=|:YM'Z KվV=h]Y$/F$rQ13h;B^dGj]u!b`O;G7{*-\1&7}^SַkfҽKm;!-<}9CEuzGT=ӟ[X)N<M.8$W7eJ~z[lx<)Xxrc8C[ÓK& @rP:|^PΤx4tVTQYGA-Tfi8EN>#UWf"8vx=d:T*!}Gi255QA\Y؍%mo#,VFrEBBZ8qسybcd 5?RPHWQCy4:O7*o(_,m .4\igM̥{+(ƀnce&Gݤ0;.&SO(XmR eVV73fm`-P`z}7gR;YoÖy֩-b(d@ߟÊhBH,d9R$F?u㍹71`1}K7oYpP1XiRE˸ CZ<;7WT(;Cߣy [jBg)WVK: n΂G _|- TE lѼKBZݐqxI19G<{wVZT@Q E l-I/oVu:7C>E̼cgHhXR64pN]]Hn 5)rlQ,Y[A 4nXmCGJ37s.c'8C=n%dc/H=7߻P.E&c2, TFoka-pְU%yB66ت_K$9d{lN끱%.L+_l)^nam-~,WD=%l*f.j\K$2.g5wUȢۃ+ZW .~q@JauZo-U"8Q *o@nw\(ZgEL=;U'_a*4 ’'w5l{v3]3ӟݯHTq"Jneht:J rڶ#H_$s׽(FKvv+J@v-q#G\0JSA aフ|XdФćkV Qk!q s V_B:3x sj^wy~Kc"΃#]ˊEoc}#lO1o=pG?S$" yT' h$?n=hMU,䘔 /{fUw g`rʡ-ՉBBZ%O=rbeӉ1x9lK BL(̣'ڌ;G'SxK_(%2I'4-LK$;j%Ȑc'ە:&F_|Ю; aFc.ws`^+Q+3W=[$6\Em˿d g D^ls'tNN9hsy2Jn*)x8:]nG#aܤPZE`e  sjfI][g r 4i$$N!O,6FPQ j !zrx^5~""}Ӊ[9ҧy(!ۅV%68Q 3#G '[_6RfZ"2~I:LZo9]N0'B1%l{+iQdr}b4WB 5rIns60\_Sz{,+ھ?9~vGl|[0>ѿt tTKhId;6.0agEm5.gW$ETrML̾k+Y@RxU63.kkߎPEfeMY6 Q濁  x~Dm(:p|ظ&}LFvf"mUI n!L}]>=cH.} -WOki4{g64N:)+N`݆4񥀔w q[P~ͣ٪N k p5H]w!wu_l-KW1k}=u5H"~aed][f2,5L>hea}ƅ Fob{KpvMcN\(Eb mkL{]`iIG4NvG[m "Kh5 Yܝ,cg*QQ>15ixT qq\lH0a4\[nN?Ҫ0@IΔC,TPnEܜ gd`l:^HXji !w%]BK=)ed34c:3=<-ىqJ15Rn(Nu)?#{Ii4F1b,<9[1lHXu"ogY9\pk(t{Jj+{^>l}+"N4 ]7OE߀=(S~2j;([+qҘ52toC,S6PY)X^FϭZ7 *ѴO)vhk6EJ??\/H(GQ%`ՋU5*@reT:8͝^וbaEő;t퉘DVZRcxynn`֝P" S4?jwyhDQ{ JdO3~>&N8a&7BAWIEc|Ըl#ֽY9\m6wbqD@:>W &ǵ?Bw3"gHPݸ7kzL1G]1hнvт,~b07X[bheP%.}q;sF\>G6eKj$Dq:а_3E?w\X%(tVCZ6U E7r8]4ʕU6oӍe0a*]jU6D>]80BLa_0[|CPQDʙʍx%r ꥅ [qwׁ{gk|s#\8=n_-mQQCʒ  0lZmm'0r{=xpfcCű)xó;'b3P&L}5md>,j`[ēw2Y3uP_(N]2/QZ {uRG]]E rb;#FhG[ʦDIG~Nځ"A.AM-t"P g` 6Zt :$˃x_XOHŅeˍ YBsn7#LL>N=g?yxFk/'a̸:>4g%jDc|c=r9>R-&_1ފݣo0Dtgͨ]vy)9~spVB yb 3򓏦IϷ>-R* RBm4sWg]ܘ PݚTUR9ętl羇< rq+ 4oojUƠ+IhY%Ug}_wtφmf1wNd2^e$FZs@|b0BL\ܶǶ6i)ESu2C,WpP4=N$Vݣf`\hl4ak&7$RJj~#++\}=A}4(ϟ]t\w-ߗϟ蜩(EnTR.o r{!EtAY%Etbl &Ol$wyMhj>=9hJdSD=Bô਷b6@6DҕձZP0KRM$t -T\h#Uv:a33u)s%&5&2|[nfŗQ9 6Lvƥ8ølj-Ć`%en-,ŝSG*hj j}sHK\%󉕤E\/K( οT2oO$?DTi[IU `súnocp=L`jd 9|Z+Ck6! VL3ZVyg;4ڽҭ&K3&'D(}3 G=ZS>2vg}mrDi{W,z-KNXN v۴__i]3ղr۴KzDU}tns 5AcïǑ+p<}z,zY|[ ^W=s 7b _RNy p4:5XwCJ+}r\Dx.>*liOGPn`%uđ=CL>C/ˣ?RcUĜӀ'ؖ/o$r` ,q䤎9",73{ ^I*7 9buٵf3 ea 6uUox+ψ.%.ѱ"uHHM:k.|J% f[382EOug*lM)*ɔ)&+qxp( )< p螊*"Y,wyK&dۣaAaAZZd63T[uÜnLnEO/0H +ܽyCI .H}tL 2q/fzٍ WQYB&n&{RCP]:2Mgm S0`Žg _G jM_Mpqer\3"x!7NMjX*6(wtFmtɔ*s!xM#~8⸲kkoKKdWI&<6$M1[HZz!盢*z&KEU 9O4T%`aDH"C<;9q{K׶V &-R\0?Ryj| Q5eҜ_U䇁JP#[>gG~.{K yuz-=ۇuX"ж>Et,jGg9AUھjy^b*\c6#k; ԃ~QWI+ \H. |^y X%7DSgU|щǗEv4'<ţ9 @ gz˴n<\ 㠤zϦ" Sh (~#F\\J\C y?+iW8!o;aj2|F]b}(vRA<ܗe^p2$S^N[27 @{swǿǕ5ZJ|&{' d# UݣCGU;-|n7IwA-)0ȪTpi92fVqsE~4Akj[RyhB2 5Nqۀ \'MS]Ί2ps^"rĚ 6z>1%j{72t5Z-C>Ȥt9]"IBM6h* #'R-Z?yyZ-a~H$Q7h#@M};Pg6>WTp̤T f[DD'eʨF$ ?kP@ 6tqk3Vٜ4mDPhsӠ9vꭿ6y;F.6Z_u L%$R\L Bs4`Q! y$GܧׇaiB # Ks{ (5 i7%R\ٮdѦシi7>#lr: 9!|̄U?/si][aފs#Pl{/e!ĖުtCǶ&c)TKETlO\J榈gP EI(N:pdhL-!e~Ra1pJ\>CXhN묣i)T{ziٔBPͺD<0/N;Sp *,Qp~o^?YЈ2[j5E)3<+X0(4M-UW8lL]}j!֪\d!(wÕxSeBV%*zfk#$-` %V9Ѭ%۷qG8#]o\ɋ~YfeB„j݈OCs_yQ^Kbz[aY@PPuPƄB"K0 ͠l; ZOi[ѫzZJ2ټXI+͐5»TMZ-Dvm՝j,JcoJYX 8!QIꪁKYV<9 &\iiV)͕">Αq/ϋlZc,A^˦?q9*DbZOKTh涸7+3mx9Sp*EwIPw'JF$B 񻿶{ ӞR9 w͒+yBqfoh3׍18 wHO;=V_:h>`W52B?pK챗~h.4KPP0җbyK ܥVBӐr99fЌX[sH\=UL]q_$fL2?a]P8}-'kٔ{':.s" #-2U}JKA> [¶N13iy>/q]̐Gj CJbW[-~w@#KnѶ#~ +us3UH$^e(]EAaC=ˢ;z8 s=d&o 2ېtq2l-Ye?a$g-;5QLuƍG8L3d) :0PT2lX!puFTۗ{yԝ<-x#U9tSD! .){vt Y`,Q-QwǹHS7Ȣw*5BZRi rh/y\ܒvug+uepr4{*iH߻Hh׼1|Zϩ! *ujz %O8OaSrRk 5L46|% Qg爓_a"4uʀ⬩f# ~DyFmDov$.&|cW՛{g@&tz߰/FBrZ(u;d v6*P̭ۖ[ w<,/e *g {# .vK8ZV`B. [";0wFwC䷡W07٘6LpϴUdI| \Y7<$3<էؒfG}ڏkv.#) PmжXr_d)EBU¡. u0˛?DYa]Dl҇5.2"mJČӚO0hoZ<; aZQlVlQ$A‚m3 zA[l`C eNC@":ƵiMo4J86mSO.]O2 .Kga$t.8[@n6e[FeLkBj#&Bfk 2=y}d'5R4i09JMRɧw oP +E{h9yDHhHr@CtEBK@~E b=h+@`̀#N@O}uyv,`i8JsڟG Hw-ln urvg&U۪׃SogW>C'B;2@;!X~EH^]W{~L˘C9⽋]p= Lghd?U!5O_->T88k TRb$=BKX׵S/ x?൚X8oqQ!sw ֿbmS6$ZfD^ZR4·m#;tFEkp9m;Y\/ EL|Dk3W '/a ٮ5W.44J;{9]zڶ0H.S +51QGkʧЯd%?˜u3$ł<ڥHVMbuL8 L ͇TiR_p |3GjP֪UHL1Zhd6"_ѳ)}F>~Ԫص}jݭ%&`M7wt /ljVƳw:JDA h7泈" z=hjp93V3a&$ɂ)ɽBKҠVزD4`9\N;?AM) @]uJ}- d'o˗:+;6l  ~ګdތmvhK! j=*(AD4n[:_)ʲgeÈ4Dp[iXfTΧ+17[o$Cx&WN1VќK  te/Is2A;Wb^hFs?74#'Fq\@GR(GtG|`Eq:=48ݝϲ9 CpjI,Z">$П9K0 Gj Fát!<0׉ixrY F<"~X~b; ̚qu1 (qM=B>d/wj`v 0 WJrGm 1&]$B#Vgͨh-F{Iix|bOwӲb)AtW&.0 p)'Hs LX5h?$Quoq FP<ފ?7Gsli2= ʱ`\!H, 38$٫@"Fz JA?L&dY_b" ]-aBͼ) aWh D.}z#P0h%[N9NK}4y>t""q)q#WZrh1-_s}- 5J-9b͘pSä>MǷ݃6!i9Y jJlqS+HXN-1ז8 Zx}&J 6-0+wBL$goqg-C_z v=Hf=%'ر(FҬoRSX~)URSi¤. [L'&{rÑF~*2yf*ްϼ~t bɇ"IUU7|yyPJ((AZ- $#Z;[k+Ktޒ|m%iB9'@6L8<6 "D? ΢ %]nbҼ's> YMO1xѸu" l> +FApwXx0r^O%*Wm8n<NQco(0Ho<چ Y$gI? (X-0Zo,ov9Jcs(+ &_Q΁f盶P>`P)WdFCC!Ԧ/)!eQ=gZ%;U?z*%+^Ck*"zI,'t$tFs{mZ/tj'Y80ɍ\XZ'ï1m"ـ$:N*2677k̕#ִfF+Aȱ>6Xc d=,ЦoZ:<:tJ"p썷>ݔYkitVw\vyo F *u!'??Ǐ) kvV8zӳ] +xrKD3)1A6o b,Y y&4N'vB,&b!{@֫Si1ZƋ{.QA]8<&cW_41IҝbFMuڢw]+4z AVyK3B)WB={NUÙkWDfk<@:fZG_ nS oxlD抴}!S8OFOkD6!}mҫ32K%ߓa&h/ٙbaX a11rQ՟Qx.r WVh`XDc uIh|luW 7wȐm|\;z.$/ֲC4к;_p;wMO*n1B`#/ ,ok/Q9j\cLam#:KB1ڧ똃:lN".0h7}SjOXf{g6ւGyu]"!eqX|ᴦApQ70; jM]u-%bwpg ^TAQ/}aiՋRE N|e$O/,!nL|~g~V2D\!տO^0s΃f&NW_!gIo ܰW".Z-^ "ŜƆZ쟍0|Le!2J}+SKMɲ$asO]%1s5>:n;UOG`85{dX`dKؾ5Zħᵗ}H7 O3E؏܏ TRĦ< 4@;g"E7# `IX )?D,&&`Tnɞ`rfߌUxq\pkNGт@|wx`eY-Ou9q:eڛweh,Fz /"癿XTiF2HƐ^}:g ʄ* 2Yd?Bnćm.2, y_Okj*6M&'HV_xLS;X`ǧ!VfՔ1-(]xTN|zH2V ܷ5j臧HcsT %iNXsAKʛo7=6BE Qz,)-q{9Hn Hm]Nwd&]N{Dz!.z< b Tl1!Ng$+9j9=˕1til>W#|[ዱDRgz)c<c] KF߸Aq{]rnyN_L1Bv61q[ ƪzGCXHQ31ZExTb4]}zȵeeg2&nHKW[%&vؼѾ(x%q7Y=Ibf`zk]7T~M5 έk c?/)udd5 cKmU#:?W.p\xMde; Q>(bz<,,kK)DU83UVyc|aj;9`S>뿹T?txx?r<'Ư%='{@մ[pw6W%n9מ3fQͿN4#R :GDT̖xZҺ lV8]ו)^MU_`&i柠=r~e&"|fzNTRŧya!jaN8\1u:ެ~1ɒvbnkl+@zIL\=cܳx=v¶w}R /bV#ineCl+5O%=CB4O7ZO+",9SA<pBg)lI'I5ۊWy:7tO"-*,Gԡ"2"3tG2m*@)S .d M2>5b}|7oIJU -֗~\H{SS}TJ9y׆n>ɕWp2xnQ F/ ՜ |>fkݼ١di uwKhJjlZ)ۼi}kjy\/S>rEP? `h9'JI BE NRh14t|7,|~<14[s[=bxhธ(C>}$dD]Qw;ی J7M{?k듂AΊ0@lpK\8b mV@|f?FY)aOv$~.%P`pIT$+dA@zdqԗE~+ҦT%/Te3PUc#a|.''tV@gUO6gr{3]a;g(PC,'"(c4n\D#1?t'^rGy:Uij[!9qƂhȶ}1[#jBp1nm]K貍R\q["٧;s+V"K=B18~Ev,g T輐*`Xߞo6͋ʜ/M gx#`| oH&R^w<[|v>t8rmDhQzB)IDX&=gMIe.(A !sJtATn`1+Dϖ:&aѤ P8eʃH TAxW䁱5LFx|U22E|x7O+;v:GUw(H 3o\Vu:+$6)xr+.g#N{zn3Jg9g2Pn/|Ց~ o[4<{ -uJ` xM** Ms쑒'CPWO+]Q$np;^V2їn ), Qϛ5; 9C d¬}w}e R.e*¿V⮹94|܁Key/iZF=#Is@íBx*z1j>M8+JeXXh[ Fӂ6L +Tl̄=yPV˛ t ` zH$dL} \Ef34E>u1ٗA4^u%+\L[XEj%&*&^ ^4]#|`I3V's%{sSΠ[Vj̅B-sNq[rr3sM޳i عǡ.Ѡ9^."%`)䬞CPs̵+=!8:lkqE$E{ii~jkg,Z $?/ep$I5):&s}&F֏yɨlBI=/ +2Gzh#Vt׌3ho-wRXe{ nI OGڅr_8\N+sË$8'u))X,p%Լ{S $A١!x ?Z,Lxnkŏ;y+ۋ?H÷o!Z(,3Bí1FJ)\mxt jԨECuIvup*qN4M C5tJvYXO*l3KcI|h+x7[l=yW6 Hؗ_&%fg {R̀o /d離EM!@h, Br8NO`bhE%OB깂s>xZKVcd&L B:e ರX9imF`n)O WuF@h*m*pIybv sDY:Ns٪58֥Z|ū<]K&r/F MV<b 3A5NXk}a~߿W:y'L=xU^)Ҡ>dG)>S 81d|vj@tLXc()aDr!GR3~4 3;XdDfByTvXGxwrŢ0;X2I IVbvE#&qժ JOou 8Z?ej8RKM1Clwiن$EZJ,N`ѿ rgYZ7zXZִF! h`]ŗXiɟ9 i:4V;}A<<ګMP7h !\'EBC II4W1y%,?wx,w tvKɺ R9`TU`+b\&pA yabz9 Ӵt{)v0:gxXx3~5熰ĤKvpګ Ƿ=\lQysO4U71R79sH+1% =ӈ=sAWB$8<܏zIb ܧ݊A5yHp&W?ݣUlO3>|MvxC)4AƈjG:>LhE.gew[)^#/T$ %}gYZ7zXZִF! ]ŗXi%L&-rM?$7A#,nǸ鹢{(! )I8].<7ObU6;4>HO!%L(,s"v^谷WGϻq$؊T=% f7+r%jR`8v