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 X%d44 ]/]HOL-Analysis:threads=6elapsed=317.683cpu=1648.864gc=89.160factor=5.197zXZִF! *Pj]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl{_# ۨE!˴bu%8[eHieDP%"B^ɞ≗78Yhl7Ƨ}:M:` 쭮T~qCǠ+mK0g^  T2\b;….+z 8/-$+jl"&HG4ە{h^ {?BrK~!S#v^@DƜQ`sǤ&'utV̼( W?xT!@ddycqvW ݟ+.Dyg."\gVǞp7}D.,[(t.FyQz%Y!8C7EnJ]vIB0v[+fZ(kȨGJrla +~\sw>r]* 껯S'L?:Ltlm:cVRhJ%9T ԥxP&rD2q6BళadѮvI_ XK,v}CӨ>boC.xYΔ*q>v"5jsqe(sÒ:ȡ%M}ϩ#jR) բZ_y.jcUjO.4)ɚq d>.oxA: 6?-I,1GJ˝ݰiwݞ5eZ6w{[s?hC*ܣp25Y [x'hÜڅ$;h<}Gt ;k;0"L A^!T;߁uY"_.IzLyw]:u_< :2$#Q䐁7&0?SR Y"vX>R#(zP, +?K!F4->w0)>7n@Q-_)3Qa-7XhQ~S-:N 0UAoϗ %_[mafwQOi˘! 7-<jС3#%Ԝ!?Y^;`4dTŽri XcxtN&&ioM2*`P?bMޔ1 !QhzQ;L"hɔ#Y'Bg,v/"zL"\ByYʐ&xJs'JZ[;Ḵ#Y-+G\)iW%p-.MuڧPܡ&_EFd-3#2\*'ŶLôr>shZu0\(hB*[W̦+[2A[O״| yB}} NVkIF!RU_xIu̬Tt '9g[!1hZM84.>jG B'29㒺KBОW} }"=<,/0&L$W@D[:<k qRygܫSSm1OP]gX`>UR+,P7dUcC5bF tot;[hv?@dS-tT ixiM.5%b"0h`ZopVmSy_zJvH/p+#܊t y SzIᲥT!Liԍ"Sƙw$G4@~H.")S!2&tk0 _7G+'Œ4l d K0[&+ W`F3w(IAJ9 h"&e&=m@p,e* T`x;rft :VkBe9 A;7|ܮoe)<ڬjx3_ȣ Azi„zޜn7w{[$BlD\d &Td4C2ylLdSA=n&yU}͙ [K„Jhdmz79vLFO!'Ç?؂-:4c2ګU +~qnq +)z(]w1J[Rα># q$73Y*ӏ%_TA}'}ł oFsu):DL^Djb3qIB-*hɪٹyah^&M(cO°hw9K"U5*9;c T4d?aěMz1c&K[ϯ i`C3u hʄW.0r?xMx 5UzSwIlrŋZ$jy[~WUE \M[<pBE/?W`K Џ !M P4P{% c= yߢ GN4 H ~w)^6v{Òe uQW̕oV:7VGwjK=!t}d0Ϊݑk?:"i Zg\PՖ| Q&U^pC\q'ey^6P}G<,o]EX=0A!Fl PV/wU.]6#Pb`30{UmE EB):HAmK8l/ TӂJD:|aK-l^oi>ۉcj$$p3ZYGS9I޿ [Cc`h#~P\.<]N/=YY<*Dq~+Ne޸ `J}mo-䨢Jw oac{< QÐ}3XT卍s~bt\_BĐDޢݢdTR-aep]WG!&ߋρCiKr3'6\9K6H؂2xq4AU:: Bs4 ݠx9Ca|[XemuS3B4Ѷi}aa(+lʛՃ5})B븊2p} J(w7_FfYCB{oֹ 0Ѿ9i6 A 9ˉN`~{q VDtfQ/:pj [^1C==ښgq:sҮEnX'I{*uEXt,1)q3"J(תߘKӒyl=Q! ؆fFNǘ X,Eǎ鼤M;Gyk]*-|.[grǯ5&]d1f]?슝ò,t~Ǿۜv.n&PR]Sgh 󢡇D(x-^"k#g}@25?RR ӢBѭ cQT]4ؾss 7p CK5K#cVۤRu+r5E xqTgŋU&l|\t=Iy9eؚ& PVՔ&qڎr+l]kmb0glHzNP剱ij8η blc8^E"&+-pǝȕfj(9͇Q(3T\yhJ`IcÛG 9uWZE]mZ(?lƂ2mz'"ګ@w=M55{8):xYP5̎bT GPP{[$"sq `w,ғl_[jѪ޵W1E"̡oii19mwf_:/dw³[C ͫh &[+پ\91;}0 $D]ЇZ隚9ӷ1W\fapHA Y[T)~KFɑcޟy6t􀫠ӦUatZtZ:oErrnX.} L`ƽjWϏ%>@r+,8a $%pBg UR5D0K/윃 4,na ~>nz]3șHE!-Œ7FU3x/5nG>bBU8Da4Ъ%6M?7! -~ pXUhrd&w$0:`x2tc7f!YI⿳8Tunz*vo=j ]&cIh;Po[ʮW 1@ J5~yV (f9Gǝ 8B!ދɤ`3_Bۓ3ǿc}hCZH u[=mxp :q΂N>5:MY!lǚC""AnQHϺIp}y@Nz2^\+)J&h??iL}܎}$ͅ^F?}d  ݲS=[fw҉RJV_8Ɣ IB;8}K7F Fӣ Y2bI^~ʃ^hinS糾?- լvÞ d7U:4>cnjIU(l÷VJnSH& cNrfYgĉ D)xnm,؅ϏX2*KFdm kʱzN`58j򶞿{>'&dnU:#(kQU\cX?J ;» y͛9_tܨ7n,]~hCQRo4h5$6lԀ6|KDM*JU6Ba'FSЪA)KuMs׶C؍֋ iФMwbbfuT zELJd"U>7VB̺mP,7\Ua]1S7YYNuǐ,8L?f|Y uԘ/óG 2/r G~1#wUOMP~4%IBɗn^ӨGkL;흵寨btH87k=?eNwXL)B?ߪd~I~ވL˪ `<3aޑ ,x4i`V#[wϽj0 dmP -ҽ;/R} m)I8aU<;ꜷg [$ JO;c{lA:Zi׾ga@t)6C6fX̍l cOnZ蠠\ sIsEx&D)4lǔb |P@a96nκ8:TƆy(bsr-@85Ǭwؚ`ʎWxqerтhu عtp@TtӉE˫OhiEG))8K݅ݳD3kںf)?)</d?K-߳#cYxmY$#9ԝmG*#z!ov)Gjų {nerv.S*\i~xcdR8O`XsYj/sLK%v9`M\ܢ|wN8`OـQ w'NlwKZ]"0?מ4]/떦ZX.lϕnҠ)bdD/"wKY|^~aWQ[;PFbGڒUtwOyKm7H.sfUr2M˞x7i|@)!Ӆ6nF#,_g^=RD*Tr)=-W| 3qfmD4'N4yx o4EHd4*!U;E,\e7Cinȶ?FH}m,Lg7q~C[Ҷ%뇅>_jy{G>e 49(5 ,x-ܰɃq !#[}"WOv&Xå8?Nz1HpģΦ$ԍ+d(cb|gQꌜ6q=ghZFyFDAŜS&}xDvneҍbN0(}7YdR SwFEՐgPUoTwSEF; <̆D-|'xX+\zME81Iq{*Nw  6lǃZ&@FQFz~#E, Pρ?orv _=f!6&})z{`qcLIRC%NUiICxب̾NB}onMypǻQ䘍xct2J調>x)RkOoc9XgxEfhK{!T;oyDžg`C{S:F24 ?N!d۪ @Z R(Y=\|zƩ^)2ػ٤D'r.៱P%a ִ۪ H}햿ޮ!2U]C"aD{4BI`7 ][0 0!jיqA⼞/H?lH7.Bܱq-a CgmS4(R$Z-2̆CV@Vnn-)J9{~h?`_Bdd }QFT=zuV^Z@@!/[OΝ ק_y6,_&YcSd?(Qds:-V2wۻZCCjO|Exr}6,[6*oX(sWN+򩞈~=4o}QG9.<#JO_F/O>l koAw\S75g22I+\>Fɿ_LF?M$C`5"ӂI3q:Cˠfъ>8D(73SH "jdor޴1qg҉OS,XH1$)0Y\EzZv&~+w~}lY' Ub>ޡ%H\>kpt)ݥ)c5pvqr0-\5S4mݓ1`,MK^ewC8xOGW @@6ExC*d.,]DՊ"*o9 FK T<^-\c*9Zsș痒aR !1!bȊ6i=/uEfC65Gt>y*mJ`UB(걑 +9; 8ЪSŒ*xX!afގ,Tzn)ӕc.D?Ϟ{?U2Es`wܐHS҆>o8]`)FMCo#Abe5>L=%Pz2i;;Ց{Hdqh?F_#S2OR3z`z}燄f!f JxZ# K~PXp1`c/Q.i.)'--9$$$}9**]xnh^`` !f+/p 4Vl([ QmK*8jtq\=sT]>`%)x7fhW}ߛFց>/nw 7»;".Ŗ8xޝCeWׂ&'җӖ.|8\I,3o]ؘyl@u{]Wvj2(sf#`t$n' D ͌?ȴ:s [S$hAk"| Ğ5!ftv hgOG&P6t?`s:qQ!}EmyW%k?~C9`w 4p:9 )n W.l- 8L8ڍ&lO;$Rw_-B [8^W38:@j*QR@9:uwePID{`tҪ 6`-S9~O>4t`Zu4ɭgMN&%U;ݩ{Nfa:x>2Ŧ,B,\֞T UJ=y_T)0Uv<$k95h~$uWG\r^m]XfF$ tɚxyP?A:"mʘ\h{ cc(YO{6tz%v$e=<*DŽ/ - Y&IzQZ1},g*s߅]FrX9z1dLyWt3Ges=sȘWOd7RM{"iV$?2xvQ Φ!RO\Сw9ae3fY1ݔ\3tsauLL 0VGaA_Qt<-܃1FyH^`$s:Uq_7a-=h-gRvlQkB ]4n΀WYeʚjF8q:)No8g%(~a%0;f2e*bfU(IS'-)_n#ZV#y{1s@\%98q$G'RY'=q×_{ QҊ*Ylt0h>#Z5L6D l[ Q;JH&dHgBf-,sP_QAht.^'&tvH[V訥|d\Ԩ@o*Q꾒p[l-R໾RE-d!ɒvIx>Ӕq5eRTkOX7y??"[ ̥wNɡV*~/ ڱIoX4{Dw P950cDbLMѷ/%O{ucٺs-<X ABoE?u%@nuJȀ4cw&`S7.@w^hs$6=Bֱߔ&jIA#2Y._%i#>9y'ln\O073U"4`t~p$V!3Moc=cGYl,xJE)3 hC | 7/dP@Ө&zdU3W^p3B_ "^VE4=S/` @W2!qEFR#ˮ?O 9Xp534T֏5`ڒڷc}Ǩv ł>V^18;̨OzXNK;~NHD`Koь1ۗϋx4RiJbv!cVoEG5N:h@&ӭwS}m&&rfV_m LޢL:Kf.NG*ܡ_t}@[X*8|pq7xѵC_F618wUא:܀PM akݟ_ZQ;hsn%]P+`4X[CoЖBn8[kBHe,ew<`\?\3fF m.8$)\\9 $dyX(esj_"Tma?%u7lXQ@;lV/ b/(ݡؐzwҤ [Yv%2j/^~T{Wg˺Pl~d* }!&Bh,3gLs4Pu &!TMS~=߀4,śK?s(ٺ[[f#O?szGR0u UxC)&7W)eX,abA5ڇeVHGM =xWGmzcf|Y7 8`3֢ @ M~H=!@ g,n6Oc<#v`\YLL/j6?ynr &tҝgQ~wL"mzf=AcxҎ̤f`p*+1pw )D\hlU&~XQl o(CRqJ߅rR;|#^@|`j((eF\a~VBs2+:ux:k-?,xd$CQ?}; Pe8H(Mdb=ds6:iwyтJ$C.5Y P[+Z,K3 BJ^#}#\$KWanYkf_{ i]}8*M?"F߶X*,uEf[]r`kdEQm!u0UI*{Nm(xUVZ""r.e`SZ'JXR k,Low" mUG&ƋM}g&O[SмNH[s!^d8@- |]˦n&Ȋj>kb%8WBMT"RC6[`+}jlj%xeN.0bmD/-,D[8w//EexXÐz8v7nW"O/Z }aL 'W|y6zgUpEP\{4)O';+(G#DW"s0N<O#z)} IftKm' +8o@{n<9'5Px&1+c&B|nc оyzXxӿo,e(rNrfn v3^{y^/oȋ}BޡhND}s]P2,Zj[y+I{82 _M !(LuE)3077{cnؗL4NV6?ׇ>r啜Y pQDx I4($fVreZRȌxZyoBARA߅YGhX)mO3M3qsc]|!_ yW'oErA~bqh`p@coCD1Ϯ-$oECW :iuuIo3y3m&SSkOJ;^㋁B5(cΡG \Mx߸K4 Tq 6i5.} 0!/ր3˙w-~RfSE?s\4!ټ#uSgmBP: khA։yV6LTIR̰qL%rl^ t1I"脖w@" =^,6y6rY}t>{U(f eTU}|}-86Ʒ\1XHlzl%  |ԮpXb~`d5bxv(kdA/$'R =,0? O_>=zQοz˷j D.u.#V?B!T 6ަ6#LQGă0:%atKݤ~LyE=zF!⹴GwcF|J`vDEBB*Sy֋{ulpwaӌUH% X@sfJQ߄a;;v`l 9ļ)JMB+H\g׎H48@r/zGt#aQ  !`ryL/$@” ԝ2 aBRf|3J~e@4Ⱦ_ǜyrva= ~h eq,d~)_o E ~Bq]̰1`(Ķf$\]FNC5ZJy?D^nf/΁vL_p7<ERE51ԩkڹw O׿*y{P2}zc1؅UnL`uD[XjoK^dɬ}ဪZ˸qU a'=Z+`+?6(U/U'yNW* $>ً74Zm"qulJ|25U7tx{} V'p~7-=%? a  w'QۯldF\VX[Vx˻|,fl%ęT0%ݷ8GdhY/d!yBS)M/֯2hKVKhJ7q['5찇UDykr&$rVy蔆 *'Y†, 䌪/)sMIM! % 'w.wH#OU֬'鎴Y?sW\,[?zQ͢ 0/K%iozkDSgټXgM't*bGZȜ(.?9W17wvO ˟+ܨXF `&EmN!B]=Ihva;`U" P+/Vė~WQdAɄyLEt2d83#ϣICC])7DY/eՕ]f/7ħ0;*l6qzƍl6k/0*^!‘ ) Zbg-,lycRo;qp Iej={:  !cTyys&y{̺Cu#Fe"g1K2dyQS|A' _Y= N`;ФsD%jjuV ;B {nDG,(1_J|.S~4{?1NF.2.Dʂ"-A&ڣ(X"LB肞Zyc@ڴCV] jL0CU3FUrhv.:p'7TL K/2]1pySڈ^N~X2d<VS2܈Гa֡_&z}a"q#F|ت$ˌˉo%ꎪHR#Ff=ZuiD.)uM[3 >FׄES2鞣Uf4*Wev}kR_Lge≗Dw;Nb݉)IxL\glX5í7ƿ*hy[#QHfY|Wi`g%!vd͓/wƳX9ɸSF=oV,ܱ۶kUa[]`R[3CݦC躥i"*#{! qS),t0DN|/X?Vm]=ugά|Z[[Otk=ٵY, ͜pdkbg1JCPM4kR89&)~0ǽ)L)V/ƠV,ҟ={tDO#G9KEG@${AIp駆ml7+%Q Sҧ53d 읠ߚщo1kaXkU3±ki8iZz_H|{`)n< #Y`]kedW^r+6<3ruICYJkCRbwTw'l1 o+GMr* baj(w%-mY|Z,o y_1O$]0R}'8 è1ނ;Np5krr~کĩ4qYDdı`$.M;a$t䚤혻GX|5_"!oMgK:r`#X4|=@Ma=;Ak9'UU.DH,nYN'Jk:O[wpY;j-WmO,bE8mY+\Z^>-uAFj2ZiCF߯59\`0-S!Nj_i]_L)ݪi;[ rNE,]7py(6vDW0D Ce)Uv2aG.sвI{k"RB;t~(+n0|sm'2|3CSuN?aⲜɹ֩([DC}WXSE6k)!#fN ծ.[l ځ2VMVU6Na#()I ωվT3kIgW1Y*UhԈ1n:cCMyqv9v%uf[:4dsJjyV:MqL՟!M'|S%'ՅsI@B'W[;1b hȍ۠\~/uZv+tT@ Jl-qJ! ;7]lj1B9lMx" ⰵt,|2hN{@r@ڟHͨUcLr`Ҡ 4콸L[N\vu"‘-48s5??4n2i'R65pn'Vo΃qЩ6=#}s=1Qʔ5ђ4f-a|Xj}֪cgnRfO&"yQGJĦo +wy`X5<o gaf zanyn܇|’})+ǽd}YII犰|p 6`kQ%5]aXbu!./ cУ~TKI$P):}dWvRQ0o>3_T6E Q,iw 350NXӐ-GLۤwԔe?Ę%ܭC $8vAxD}rnQo#ԥuX F9nqEL-٥0A{8y MXBz$2za $zGqI7U'cV7?x,iVh17"b³ˏ# RMV!h.9\Ov5 aG FخbU2p#$][ӳQ7脀aLp^DUP|iH1`%f:{,Q01hr5~5OmS/+\/bc"Z3tQzo@ixLb$j3^e,1'(æRU&6E⩍QOޠx0)q.DnB(UdVY 6 ]N 9%TxF17{h#kJ qt h\Ex< d8N[6nбUAϹJ-m֪jULXX`t =F2 >>]σ}W HZ&OnaqU~7a>C-n|'5oFLF[xY^ǍknܛKs[$*IOAiE!y:;왋cu:5̘{ -bM/jk^^┹Q$ORPM(?J-~+F@'ޒºΏ#/c &gT֥N)!׏H'3Yt^n6Æ"ߑް.Ǟb6<- L:sAv/Dӟcj1E͂.˜tЂ=9]0.<`K᡿G<"ZS3Wѯ(v_Mk3|ʡ_ܪ춵#t!},5"{է~a&j2kRh1XO,ӎT:(d睡Ơ?5 KfB4J sӀzj H`E ƛ.7ƺC<> \BtąQsL{a]Hc({v݆]ݞ޳&VNC#lfsIrE5_ԙ@!,{.*-p;NGu!rL"%S#dѾ`=49*O:XӆMWDZ+<,'~d'1iџGYa&D:m`ikұ\D Eco^#qJ6)!NǥMO`h4[mP*iQ+W.i7ۯTg9<>[})Han *$\l VY\x694Eҋ!@yt{`#t_₱iBYS^_xam%8/ۧL 7\A9SfYz9CTꈷ$Fɷ"-ȫڸ>=*HMkaLg.i+_DYu4Ḩy=PO% [<kl?#5;Oӂ%.* sUEC9.8.[]c )*XHh/ m*ӏךgT)(C2ǎShKK){v.t5P:"qS#!?F@_}/J^W}:Os&@pTÂIgi(hE8۱-&hϐ ˈ-b xw2Q+2< Oӎ x+FeNrUV7?iɘr,.Q2XvK螌SqvT"f߷^@`Xy -! ҈[d[;䛉vp~!Zmڐ9)l1DƢ*Bi\U\ص?V/Y`PY\- S4 2%$[gz\*+`|(_Be+_ p~πrFהWK Jh6lykTXc6&SܑpR7Q-Ec§nnWF=$Vb3 ?ёړ{蜔¾ؕxɜd >A!xХGsʷ-{3zy]zhA&fp6^rɽdZXJa'2Fj1xMMVlr ɳ{iHgjv:.:ruT-&Xy4]5M؝Iآ!P$@yd 9֋l$i% 䜂 N> Ո*G E}'k.ҵF6]lP!nq_̳z ^2hhG1k,D'2lVaPf~jW  muYs/|"7DFXqqfr? iʲ@0c)y_P3ĒDsjטרFŢ ~J]|mȽI8$Cpz˭ADFRXԠÅuLh\0f%ߖ"yǶ,#P$yJ lW˻cؤOٔ5Cw4ɏ[O=. Lwԡm=xI (l?a9Aģw;O3ؙI'4?a!%u$'U)>d0SE3S< jnO-<]>݆  o*ENݮUS.hš4K' Y*6Jrݨtdhjn& H6 toʚX + ZqtnD3Ôƿ?h/.3_Axs:l`8XMeZb}L(G(C!wfO3u5 "D[w{fSeTPv 17EkM6  X~Յ%︍΂/\7@5%=33±߉Yu72FM-0`đ @FN9}G:R$άѻ`po}صy9 !((M7Ĉ)M,q#J`PJSõfպAzW WuzJi&$]c8ރG_CN94xS)*ߊYKiK8)fi"E1גm>=A;Jyַۖ) 8ΒhWŧv;\Q?2ޟDfzNtSS b HPYL"N C%MWyHȋciIxZl*4[ރ;@]网wll\El< Sě{ n$PJk& aźs<;kbDٕ_"JDqLt2 zm=2 $ŵa/{?p wThJlPl""5rc<`V0.SԦw` NJW \nc2r ga P1G%M j!촅{ڣ$}0:JE4˸N8P$,F קj8yH*82SV 2)BO.b8Fyܓ9Pn ęY#mF#|ytIfDrƏw{ԑ[& dL PYa^UX⑷E2:nGOJ^嬍 c%hAnjR31Q$ H:ӳ:Jϫo^VH8z (q}'K2ʷn⏘3!1w ]QIȃyZhF±1oNVT`d#ѷ)|h/ ;4wQP#>kfJ^#<ɞeqKMي=Ҙ%αkG-Ӄ}I?n8so:Gq`#@56AFQ.0ې>Ŵ"'A}-e RAMZ8[hW|JwV(Rc'|؋t\(t-'b~mSq\ŸHh(d{`rci;IhH.)ްB Gl"-tɀ!3bw_4~&fGzǡS)u^G-ʚ)fOL@.$Z ³6p2<-ܝHw|=}}x (^$,*Mڦ0%nG8z$Grp趥.QX1da 7esG1ލA?NmQ&ը;[ JQvq2:<Iǜ,Zפ[e ;m8dJ1I\TUs4qC퇳4 amŘBL(((u]*L]{+lsÈG& JdtJNYwW1yjf5pjT#zKfn*Q'׸,BO\YAzьJcS%]љB{3l9YGqpKBp}K $E5|Mi˽㔫l_F \뫿Kq8 Lqcɜmo7?ӪLY07%ZlNC%Pa^*48)bpxd !q(i!{S2'7 E̳/~+N]KWA`͚Jp b/s1'ҕ/AEuQXiU7q=ۤl6ވK'v\YdHbٞ~VuNk9_S-557ӌ9a֪-DPW GM!K$ Q) _L@am#Dy ^%@#G'e7&a}ٗq[UC`[Se|ks:HF]Tz4.F#9;𫑟n/ݫKFhh7A3690F=_"^Ra6q03kSX#jxԬJ3 ;H: S\8`btQEM恅52@#ANJ,Dz6mEuCyX+9,!9Q5FZ ZIS,yk;!#DOFƧRt*4Tsevk-M̌e| CYSR|!a/D\A|/݁7$r/kն|{&S+I~G`?+u0L",8%f,'HXШ?6 4%Փ}7%>c{.̌c|hx>.eBFK\`Q_NՒ_ۑD Ȇ]c WΘK(2L+dV>a=H8Ӣ1E%e'(&1Bcu}x ~\.-ZA,AKs˗#3 أ4l^G.Բ{%6bf+*4r;;] n̻0xV;H0HrEHޘH59A+F)|-vs.eu| ERی_4 @4Y9^BsړeeNp&3rOE'_<5SЄqz3,4k(`hNuO$rr("\ !d?&}\IT˩IOkl/TaY%SI׍ 'fq,~qz=f⻺+Z)w3Hh[}e<1~~ oҡ]I8B {$H5E W˞_99zq7#qѠ?#օ@S8\ .16|}6J=')qܙ:(HJ?)9BÔԞBF5QGqQdxy GW"Ӆ1͞zд?;H]R"bs4µo ܕ%YH"fbQ=:5 g{exPf&YR5(E)C*!lE;Z!kg^SwYo!yJjLš'y8b +,*]DP D,ҙ5(>ߌ#PɽteNU(P-ŏf.V"@׏=4p$;9=$r+|75S^iBZNez8~-pX lZo'H~s jvW=9$u塟Q&yzvE @F}BmX$ q(ːUv.;^KgE f ȯ?c E3Q)nwA\-vAg+?/{DZ;4ݦ-eA*a ȮlT*DXUOVAT?&W싶tDP{E %yq~ms}`X!y)A\"zS[@2s =jF|'}չqm!__N2jĻqMm1Ϝ1;)tp? n"I2P) rvD6KB9 -e?#^l?H7mi糘ڸ,uEEo#ZO$F`2|pZI|G.Te4Mrf֒•\'4h2vM)+lcE66 FH=%>4[+!+mPDׅ;&ԟEωzJ~mXqY0vM5Cid{є&'i|Q4`v@ZR_5#vp.)*=t ? BO/51fjĿxY&\fƲe):G'rh[B}?MpGhB Ž )=/J`S`WsRyxUb_xI\@RMT!}bvjcٜR}.y ɂI}i>8z')irl6?X28njZH{:e(ݱvAC 㺄Px\Y_ydZ91:Bfp&>ϳ?0Ua<0yV&g'?R(a N0Ǵ;_J㽯8^7jja9dA/͙ G8TY( ˲=g#'y"T] ̹mu1 >O-`/>繦PޥwR>7= ):spVm<p1 2#(޴]$5 br`NyRé]>V,d.)h6H ~'QR%(ENRz#/KU.ʋLðו&Z:cs;t!~J5W|2.MWlW'> ߷;d ]S-y`H0LnHZJwNİ$~ GŏMI1Ě`H'oJx[{K񊺐#t[!|SD-ƚc{bדV͕dmT۰@9N, p RҕvxN@AڀUI$n5fPHw* +zNwŻ6iwn3jӍ $w0 <Ӱw&vgkSLi,=RfuD)=&X<^}l+goy@f1^Rw̳fŻY;Y bt kײUM6SA#$Gqg<PǕW;UJvI+}3n#*:0L^]J! jL;ui&Pj:+q_nӻ$nKj\~GWBS7s> ξEE58ST=hFgg(1v8lDH}ˏ#%;%9#QBfIʧQq͏q^)BîS G KXICɽm"ρCXMmr]tQI#|__* Bf>kܧOK0SncԽ,sTP::uT< h9>DbgPZۛޭAqO@iS~y'zD>E 9xJz%擋,% ubda};C<:q%͋:'c۝St/[e3z*_üETɪ?S|Eet YՕp};!SJ{fq)rr=7@AH{#ڭZIKgæV{kVwȋ ~+JokH9@jϗpdaܵ6$(5Z bB1MZfر* +&pXg|QYH?z*b|6e0.bifx|26O/7=JmOO ~%Y'qǮJ"@i}sTPDs00=0TnFYF1.]JfTq8掆*:kn.Gh٘хkgc֥qfIJͶ̱l c>.]a8Hsw}W*+5(ŪsÆ1,5谶hq(` HF@\B }͢,ֽVT -{2:M||2>ep&"m'S2Jk @(pesy.Y65VcYV|mqg\hСޝ@Oc#EFXF,H&jTXda]F>6dTw"r-5sQ0WujH0+.3`Pc~^'ڮ%,P;3`C5p3t)\+%˛h{XRͯٹ*OҚQ4Pe35/&)GR^h55KK_~ }R.<\ &pŠGirkzn3 6oP"%.W4X 6>Ry7h?&9VV7VP@qs뉞Mok.,1d9ߍzY^$Z(40]5R=$Z֯Dif+OxWWZ|lڸ{13\o+*k6@z݌r|QHpR\SڅkNn -)8ć +Lph"wN2$[ݿ18tYE[t5>Bn@Y+;DU8Olw@]{+($ !H5IE7uxv949꫻SLh׬r TcPDgf`%\CO++!{.~̑ktii7Уx~*a[_jWL-\Qe`lOs+b\YӒ2iә[sit]΋mlT8V£Qh·ݘU.+M)4#ֹ@e{{dm6ogS #z%rB5 530Ox oXz NJmʆ3ڭͶOWE%NAcMgvK '? -_\"ˏ-QATcQZ'sXlVn,;sr._{^G#q9 1S%.l^4\M /V+S9)# OĤ, @#5.Tf!}5Ƴ+TJ`1@#ԁ,)W GJo65 p:YFk~VD&ԡ'8tK x|ic 4JK %皌pu;&E-̚.i';!I*M-[½;w'Įc 4#lOnk |V>0 Ɓ!pl&f@nXIQPiC`O7 )*F,h`"r -93=?4jb:T3;2^1G3U.vmdTMY?Q3j]:lfy`zZ.9H慁41zmY]߃ٰ`55=j2qRهTJ~vDp鳭`өF DQTjTSUEqԆ) Y pMQq.wNu!gCr-e;Mwۂ]*,}ŸWnnD4DE \Z. %Y+B~+(TQ_{q. V=יsKĤ 'cr9:}v s:LiVl㒙/J~~`ا7hM^ӷWAr ,$:7=+Mqp1J8ež @-9<ˆHD~W NrY|?_/B)TUu1\?۲׊egOQD~!9 ]S0Y _xbKo5Nêgi{.U:A9*y^UXH]F ] aߋ2.|Ȱڏu,=.єjMυ,Sj!C 0xatnKLr8#=*R{{T"͝`HH\`=,5 %kQD {/KʒB hGXIuQ k>iEUo>Tv-p爘M1H/sBIsoQ Sn&aj ](zzvgO?UEQqHU\NҁФ@Z 8C`Ydy?w+Bd*.#No}K2;L(,N|$ѝ~ 3un4Mv}}Z{Eıy* O޼9$p F.nC OASr9Uq}t[~MI0eLs g:eNxutvN51b0Ri՜rnU[S#I=nX2 r-G0[yK /sOV!a'M,_j|}Nv'i4QDO2ƛ?p7{#EFJϴ5s*NGw9[Fgm`;6&mЪSH]LI?+EV,A}oaU(yX*\)Il)[ag̬ȳ`!V`$wRm K_Sfmc xpo4ỷ̮ӵ`aSY;s̿S?X^ܧ)/C)n`F]Y:+UB P}!Ƨi 4v:V]M&bwd4v(1Ynܝ#.P$_V7/{}rx Qz 'Ew H9 uێ >d yݞrW٬+u3S/zX"}wb!n R'|2Eqvp`)Qo aަצ{|5[_W]ApkprRODP;qo ,WR;zM 2zn3?SVr0z/ J@_LSJ*Zn /mh5 Ge>Mg]AJj̃И}w&l9tJF#r"h=Ȟ'kᏨqVNZs"EՆāȓt-%U'ShUzR劆Su؄,({g'Kmf*|O 0 Ql0D^Ԑ.] dċާ:3n$0n{ae.-Wj2q*GI|IF=xErK/)am:qur䆴IF)J juY-QaZN`FR)buzgb 0„V5?{Hn5e0Q1t.AyM6Ļ+'|V&_ٳ>(uw)!/l&yK}f5f"…`O4ww+aٯoa;΄{7"R3Ϟ KxD~3ZF;p!3k9 ,oVHѨ;k_K+e=`"lU.5AݺuR2<}AR=}c -Qa;ˣ`Ulsl"|h];"ܓ eD赳AP*48BwrAi\?6d<.R%O²oKdy>RU|;u YK{xXUXُ,q" <k6݀Po6ƢTHtxdG~bēw@lLtEF[+EՄId1 9fY2@B?O,weD؂ϐ2 Xyb2`Ffq\-DzR~r{5 fGL•^qHb:k/PkXU0%2mIMoEib@Wa+q膿/IA)5tk鑅:΍:KWS ?Oܦ#єp8&k"<xf&YYo(ɂ陲?W7_ mcYe'ў%Y=zQY9ģ3ה?QhkN^= Iq髦"_[ GFnd"ng%+hێpcn/J`ŽL.nX?"7RӇEكsfnU s\cLJGp?ϠtBơN39G}O&H:@ߨֺi]šNj$Vv2)|e,"~{JAAF0R撶>ss+Љ+DBzp P @%@K >HzzBS*uY}S: ɷ\K0NGǨiu1B C"):7I4cYzcy|<&UԎ@(T.AُcNd7I`?tye[o6񦲖n~inQBܳ'jg"12^2:J#Bׁs-T4U 0OVQp5D!dgm-h}3`b MgER'|p\P?Eޭ_n`AYIpIذpeC2|)FQ^6eyFF};k{2k1 ɕp~rꛦ#/wAOUg\Um*pȐy}? 䃭)-Qn'2e H4HH(ଃ;q&H0ajl`W( m_;loiwK@geb?v>[0q?`%)~Kjpd5E\%M7X?&} ;JXѭugOBJBh|,TbZy9V 7o? Op_mq<< )lg(Jr _ba`ԒbĮ|0ΫNݶNSEnLN]o R Nle2wZbIcW23E$1j垵UlEt{݋g7Ap"WxINj%ۿӅ> xf:ѕW[}!J@E5b:J:W]f1K%1t3"Rn͆N[I# HdQ m _L.qyYZ W.w{\IF?DH{KF0ЅZ닌2*F=jaсKO_;Uwկv\o-3š)]5¦TtSKV1d0#Pd(bSɮVp ,W=Qk[]L#'6NJM,~kx;,V8ZqY.̶j*sύ o1H"mߌ25ĸP˪rIa{εΔL ] N p1!wɌD9*ZبT f\:^C5!Yel\3pA0(X a~ttk𴭭4H㠛uso{ڬqy9c$wAYց_ഔxЋɎ( o9־Wj6R˅p\8^"G_֤يdy@(7_a`ﯔ~AXeZk|e q2*hjrx5&")8HN6(0`_]ьkl~CǢQh<CDN>U^3~iXF.jA;ǍDaWTKϺ&dZZJ-.S4W`pzT{i"EԱYڂR>eztb\ufIx?[(A__pIMm_8uQ:6`垜K/-cPH_kVli+KT(q]sJf YkٳIIYN|%%f*kQ{^j  vAb˔ VܑL1o& 8^m1҉= #j 7dA?Lw0ețI a҂ՊbbXM3| eG@ܔ w!f*/X[Rͣbp e` *ۓWT2SKR`hބ ;hB>Z f7p ~jb΄ ₏Oi"?)sEU/W6x ƴXt]~BH=oSO>MŇ*ӂ󝢕_o (CQ@76uN@{ 5Kuy*[A+ߵ?7o{|UuPEmP/dvX|!g?}#_ #.KYw<.X!?AJ=]zΨtn5?L˵:2!{8i8~v/LTKno@C+:Xg@B[Ɖѥ> o!#4^ qܱS¨䬁W3#IJ|k`B, dкF?w3sXPv˂}ӚdeDoXzB8i xw$1$1R/?n4Ga7 ?j %Vg!NB("p`ZӻSqC?|ʪX#q?GjRa y9g<$24.(+k_*34!~P!-G/7,Op aMfPH>II|E%fISV/h*րNu7 '/{u?دG%̰W_3uz˖F'J`i2:(A*".|ǍzL/-qK^չIIKC!QX.n}LLլDԾ(|TJH֪<;mmu77 k krkى^Nhؤ4G/rltTm+ AԾ ~bpn솔F~-5`̖ю͈ }&C3޼1('7-%Tx˟TBacDQ0z54i#M+3JN*I65޵*3~Emdr%ҹ VWuzC崵8^߲Oȭ\Ԉji}"(:! 8#_(Ҙi5|3-<`Nz#~QU- :/@Dc+zGD@ w{&gkT3n!s03 9;Aa/ATj%IZ 39`#1MVb/i\%TSZ`dg> 륨ALLN-jRYvj{hz3a=F}kh%_潧Goqcס&wWS`pxq}azEr!:F% yVE[@('5%n< i7Ҷܽb"qtZ3 ߅*>b0O"C 7Z6ՎL `ۈ#!H}e5g5#&HjCBXH[{ ;f=Q;pK|aɕ GG ( hHVP:@g Lw n#8Bo?Z㩉5-#sY\Ks[LD6)! KYԱeoG $vNm/U1C`ѭhiFCiHE+smGk8??+(>Vפc;)fE E"ȊUv=L Y.gWd N \d"WQ&Ia9η+\̆K [\n@;z BmUSgv5QX3Cʛ=T.J(]Zݚ8ѻxcDcH|RpluZջܳ{ٸ+('9Ҕ@ kHfĥe`D©5V `PO*'j#־&Yx+)k; G>K8d5s+^"-_9IxJۈO v f6L)".0]f0K$5)\g2 SƹP"3sn'2lQI1iY&o'i<9J#aǦ)}hRkm/N d'1^C`!BX[YҖk>ىo~ 3Lq1\ ŕ9VHkaS&F@FD䡉猠}m0(#8m2\i_T)ړ䓿U<_Rtn.MU觳E7'UT+FU }v}9a[( XyˁQe^!٫q葝Du xHmbCb$aW2AKxGe(f~rw@>!,{U-ܽ)%(u=?4`["el&CCɅfb8.3_}_ʅHg;B yI@4 0?zoYs[c[ 3le$J`V& qz- Y9)K;?xGҿ.6:k|SQiSf#ZM׃آq *ۺշG? G4ɶYo]yZS"||h֛<mͼAGUDJII;,7af<ݓ V@ 2 F4] l o{T__z4!qgaU6.̜&;FZZȽf荩 ^ϝ}wwDx88MG MXn=ݕakqXPÙ b f!%3*c㮹&X4p"{Qf-" gX,s&nXF] Th4Eʟx}b`}xuiHJQ__v)#6!Vf"J( ;}0gxVD(2X|6k7tU/^~;; <"짹كȘ^  1MH"~E\^iT'41H0Z4J`IqbZT+5٬K "RQFeu<(_Dp!??$n<+C?OfY U|PB{~;_~?wg&dJǠJ&@ȔJm\HD_ R2i"c:k!\?u``307T>Y@b \`I qݡ-sEc gtzVGCめ V hs+;)0P[ +`q\A:^4|0opRaX,F ""If͗e1G TOչ`I}bf#Zm YA[3Ql2 HW+=g6b6W~3n2YUI?ё3}g$*"5Owxh0pG:SBBU ,*o C}y[}pn+JMM[ |]'x_!z{oY'wӳޭ%Yi < !j!}ZJfK)u_ ϯ99`}xG|0 h[xx`/Can W0ٵMI :\Ϥ"pLEHƝ}ٛcGċr 1oB{Aaui) "f!^ ˣCx5οp/SSđPӶe^]FxtSR& M0(b(qC՞f7UZhN+f!4x$lӎEf4*3lO6!lCDQEev %T-Lܵ=;=BuSvvFGXN6XٗU?5@']AZ#F`"ݠVSmV6&yC {}Xjn{ӎ1Ȕ~[nRSsG<]VFFlFN t.n,x~`L #{ 8H\/7kboPFwtw׈̲M>y+j6Z:]%SBP o3 |w4F^' y:l Ϗedt8 j~_Z8,mR0CkT֛Y#r@C9߿,㴲`gTHg@KG5Fn摊0$hl ۙ!J|m Vo=[+S]]"XSV,ڧ̈́N%;($1fXhDf߲z6x̳hָa{(5UGⲡe}A[g"TREQ*V3kf+kK@lgb*gRݳĶjX8 +@.y!tk=q5)u yM?q+'7Bn`]4\ytWf X΂7^ Z!@N _xb9xC t:9Wfrprﱝ2MJ; zYK wawà͊+LQB1“vҟc{T.txk-5M;Z(&;}wupj-v8-EH&Sc8k7hdyL|JK (P\%l! @!nhXcʧ.-D kak*БRleHhᘠQ~;zj"N;V̀ ɝ60*];yR]6rl? &m&WM kF/wLϫur^:‘qj9!ZNƞN"t-SNR#n_( L1Y"6e\A(2'Jb?pza .%f³SW@tDi?Ziyne/^k3ht/t0肬/i^h݊ 6.8$$[+R٨1I^F .I[t|DOp)Ö`؞i󞆗>Vg@|m0b";BȢ qpWPhTF=Kr %))˶҇.5b:.yUp&W/@㶅IַȻhZKU)IQ -_*YU'ZqbN$*3ZUp$t1" X8b¸Z>a&v*1*$VɑN !RcR2lRÅ*wD\-x1$<@Fz%#ٞiYTk杉MH9KG!(fӭ8{{w*}qJ(d]'Pv`&Ļþ`VgYZ91c931ff04740abfbe492aba02eb486485afdcdccabac0574fe60f9d5db332b47d5e37037d5c442a 3d037043ec8e7c99c1e320409c0dfefd13bed222589659794845ce59e816859a8380a681cd8aeaf1