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  7) TL ]S Error_Function:threads=4elapsed=13.425cpu=47.528gc=1.888factor=3.547zXZִF! q]ŗXiɟH)0%oo#^9 ?|@(} ^l*G#/f<|#[ۃRvE lFMK l.ȳ ~5?ejШy:A>ͨTτ- dْu>SB"BXa鬸 /bxG/Iae@Qxe&}b{`Ti~o}FgJ"Ʈy1vt~&)}{7Ű}Gx<.W_sӰF];2S9g19awЎs/JpWՆSZݑwU_kUCf|n<@o@$!Zb:㽸l)(Me^@9#9 %*F 9ګ>0Qc\eaA[8%nbClPL!'zE3 eFr"$+M)3Ýu8w@ay7zp\n}8C~Puk]mE=X@5ꠚ M ) Error_Function  uʯ:ue[u~MZţ|uaUx_*08MDjKL~f'K^ frW}d*({v\;/.V'W'!XH^X䚺:PaG^ 79TXZZ,(^Š6S#tſH.vL7Qu^p[6& ^ӥz5MO-c<4ӏx~X8 !T3QZKF Xg٧|( SH# ]V +rr-Y0(~BWZ֌aY+0#ܑbֈ"TA(f8zFxv[9wYqR4.{} vV:|O*5?.OVZZ@S [ *L6@9sS^#TtZXQhRP?A"ćGs-ۘ|6xYr)~YHF3ɴ;Ȏ ?yq)J5g*bBO<Q4e֡&G:k$ݩĴ,s) z&:Lc|KNPe!/<;)No6hݍtYo) G౱-IT.> ts HkbƜܩYzjiIӆ^ڿ /@k&?b`0Sڭ[ 06AvE΁@>=>\vp\x)'}T}$ OO=ڀ|[?59pn't Td%T=ά Q 4iLj7QptTQt)(+@?F)V:R4xr3{;d3hd,I0P,Hٙd fYR5̩'W-2dרJ !5Q}u9M@• ڃ `bm'HREwsAvNtmCO!ұd*DP3En6X^lo*>P|<>]Ed n]d"S!PP?i4 ͍O`fr.uHaeXIC)^&\ GtZ4ſ xFEBHϠom~C9XEO ֆI^r\ yXg^i@ H%H߲9i~Q/}0h bgg%6_8*wZhy2ܡSqPğ2zH!Xql0=Ok б-/F-^`AK4'75e؄o#*S8!'q]>MԌ':8mI(%?F{vםp\h(Aqe𓙃Y 0DsQ%>bYs^ۧPUIH/0ԛÐ"!y(Θ&xD|ͫ LUmQ (]O18S|9gU:EvB뒮5.䖲o%a{u]PIFM~M\xns6rXK_=2Z OBٵJd?7p#DjNx%$,(ʛ^Q=Cǵs*iTl~vg_/C/< ΃=Y8WU m;v^,wv'gn'?F Tc9L?M"hTvah$LSkxTus38YVz@y6O^͢ _}:U+s(yXq q[2O IiSjv/Ԋ^[(3XRkK3v>Fhb/_XBBzZU'&7ι@b;6k4phH sTL&{J/|i #;* ֣lZM#Sq3/1<^,6OݨָH> /b@}d`BPm0Vx\MPa 'Wj( * /P|,CR5 ˂2e_vOIc?L** Zq A}Cخhu aU hmN5JС.M]6M7vkz̹M IW}_N=ܧɼ9Q m}%)P:㇨iehzPh /KĂF}J'; vOsv.2V˜?SbGگrLm5houGյ',®|e# h4U]x%4Y<dbURnm PgZ{lq@?:x4%˚ie?1u)LYͼ N>yǘ#ᜇ QS_HپR^ۀ pT/GCB~* wTڑڇǤG:WU_Xmm?؍U];vJ䤍,: :Įd7T"Də/%}C 8zh󧋹P"dGLO[Ukr`ap+H.;b5v隞u̵KqUyGo PHkJ{j!8?MINMq<0٭`S\blv0)hlYtD\FWM!K%~3"53G5$&&fDT?syhUŰI[^\q]xj2jT&ҷ]|ςx$RZQFg$=u emvwN, d1}O(>3: Ù4ۖB/_9ArT{3'O4`ٵ  u(w.*U`5 m`gwS+j1]ڽ3vjd0uY.i#i_FZ1v8aM.Jjd ۴$~G.\M;5"I5xKGlt/v!>m9g`炷wld:}4g?Ʋxa7~!x[ Я'Bhcr8.EJB/3ꋢ?pR%DܚN`V.M⦂j@>euzK>l1oU.7ɵ,H%GnCk1?)m,佬ٖC5Q.EXt0>2v|GFUJm[<:þfep~v뢦dELD}wI'n<4:5pFQ g=&Pɜκkpv|󘄵cB_H*&\9'TvwJ jAǛA S +[FK5Yv蚭kgO`F< }UCI'E]~oyFcb֡G"+:;}H^fmxy(Gq{r3[Jox ɶa8PS8>ޏpX$?f//Ϭ>̶ogWTڥEF?Y3 ES,w~NQ=6.ZF `HؗQ&ׄƓE9(54^G4ML\+&cx|]GbmyFG$2r8͝ܣJ̓. {d'rN?RЌo ⬸h"0A(9Mzν6bvª~PN5LTb,:^O5IR6F)Yf]-tqY>c6~Н(AnWvq?Z=(jPr"go{ ̣\WIq XэͽEK _2,ϩ o^s7ɘNf1G'dޕj_DL2ŋ=3 {>5U]cn,P.$1X0rX&ZHC4'O+TDar= /6#9' ie>\|UOOhnK%n6ww"QCcΝ֎D?#CFu2uh7rLh(&,6R%\ә{ؿ$Zʴ \~g ('om:X3!HqBfB vb^KdOwFiMKk4#^m +c^JJ4uxO ?D1=%2γaOKԌ̣ooT:9x X%|WfM[KjE~XϢToeދ lBDZvHgGnj$I2;wv zV2!4t)nL`W?Dpa @i5呌qMyܧ, arFykKp50lSKSOWEݨk9!7L. eewAE;wo@$Pك:.A}q?5Nrf{өV?> 35.L$̚K1oJz?FDk7ĥjY4).XP i@v8 $^e2[$B.hLQ5 `s$E t}eS&K3H,\ΒfS H@:^c`mXd1`2N@ 2SЩulҒn_Q,?ݺ1]qآ(Uk\Q\*e5(~%8jsdҎ7+zi- kq׻N λEu&V-lCXU"Grb.g+n\*ğЉ̖iH3kɂ:Z3Tﵽ9%k:lU)8{7- }}8J9l}2( λk|5tp K2C A Ioyĕ |5d `,or>Wr|b̉y]|C:X~ob?VvEkHuMȺY6 *6F_"{X`H bM-89q%3 F Ü.Y qS㮐= #w_L;p.}~×u#?ҿg+DT}$Pd!: -AG8qǍH/pg:>1:p*z[d\(-s 2sq̪<9\+*e"u~]U9fQrOQY3מGX "J@SK,d踐;$ҬW"2&U4=s$*z" HU1 dc"֤',!JCG;W kP׷bg'-~>$bڳrRl{%IȐvh^/ Qna-0" ƕۚ5GI̱͂ke0aa( KɘX* tS(T/P4ҪMҷ k9}B\-u3+'hZMtJN 5CS!g!%2>}pg*!4 ݍRF'> }{|#*ASVavˢ8ҏI!^qN+g1F(NǯW'"iD$C+pY(LXAJ,Z#к5VQR9F@¬v=x"Arq[Gթ;dZ5^uߐ$N~[m5rˇHiwmu!$B,,OUF<% y-wl}Nc8o+zb(Sߋf";-CoRq7}!JQY^-laNHu5-"/6į3$`դatCMAZ|1ܨ]=fJiG~8!$yf:rB ^W:&xaLh]M:g ~Qlg{ڈÚUǽtyM%/qGm25.u RtI) °hlOKA!|ہ)%mYi , }0L 1(Z~y&E1 /|5px#0m{ТRy1ّ׳MyB;&ԲJ/%5R =ˢbٔp:Ȩ Ǡ2VGpibE2W֬ϱ{t")މ>ݷ׎3ʍZ=c/~P0GR^:֢;眼v <bI-Irҟ 5`+e{Sj(aG`Hrsݯho79`.y qٝN]-ԭ$\2." 1Ce ǚ`\:,PՎ˗) ]<*ogSF;m收-^Q.S(J9p VKc!KBZi@p= 4iO-_͒]j}SsUړ!s`e ~d]5>YJ$>l,ϫ|Pr,|'ّmLX4JPkPIJ I/ %'Q:kpaSL~R |9ovHI3deemPz㪠;hGC =rV<#TQX;HcPQ60+x?|pl-`sl7 /w{dR-TcD#ЮnwQS-K - 47m[vw_Bh&"bmN HÒ]]:[{!5Na<\#؛ Q_{A>߱EX|U6h0l3pZC'|;]/{}hp 4j&Z27U?1Pg=.1IO MKh+%o;i Iu6GdzL+LJ]ZjԘZVa vRk.ṠWk+}Lx늮Y"0hey_T1irxK[ 1(Gg=p|k<'Kˀo,;1ʚm"9AbjOkJtrD'|6RAT\/ ߢ1r?x?2B&ǚ-?7% Ӫ"$Wd 1[=JQ}L1ݝSNLUs N+Tm}:j *Ї߬p#oWtwwkYu mZcv3ݟXr)%ӌԭEjHg1kٝUT/)DZPc?|$7@;@rWOL%xLr~[ۋLݔH|#( wE#xy[ F(ƒ,]< ̮ESbV^'ĤD hSCXjďTp%i NfeGǃAoUE2ʧ]yf1I{%`gL9xl.*5 mYQ U39jgw΁! |Cq/1t9 ΑNpgk SK,]%Qf˥W!ť=%ƧQnE סY=$! 6~j.B2,!wo4c*5kBqFa) 8 \l1Ճ 3V.IUDS)5YIE/Uh/O'?.89XA%SϾWP(lejۭH^턩ݧ}#|AZ񬹀Cm> sb7DŽ2ժWtᓂ }t5B!Ѽ;}/Q;I[Qpx,BD,H^}TM0'vffr޽WMB1|JRl~_XYX%&mü?+_)[ `j]d"-דaYMaQ/XmXaʋL%ߕ 7GK_ w9 h5|UpP3Sn@)}rSFt}}j[T!,^BSJ dgq|Զ\.iǞё6)AV3atYbIyX,2g&DV.ORUu>YeIMaN fP@IJ;nO qZW{8%'f %ot{E|iKn2GcЃNi[`9-!)WhHPwQa =Ɯ@/ {rS+.?r;ٙߜ5@ oHIGx2* C gJl˃dj)ۣh_3Е (7(hb~}沸űͷ}q,[$A ŬOG9d4kC>e%h*8zyk1k-؀NͫxA㸐khoc䳳7lPZP%ڵ))y(;Rv3Pt+zȞ y=*TA S3ЬZQ@e32Ho=*<] %61;A9:fy3W%GVBdEittwex)lagV~v]jcv9: ֩6$8AY ]okɴk)Id∤|ݶi_t ~E IHI-p(xLdԻ~$@a%(d:#e7kz[֧- /w%)@c sMl5,]X1V eDcAwd=1Vd{n$|ۆwM}LiC-튒@}֗{8,bt֨5n. H ^wWfwV+GT@t%0Mvi/ FDU'P&;,ƙeHh3I_,.q =jɷ/҉nl o0*hyX٨~&3zSs(zu*%X y_?ܷBi&٬j'5Z $?b`S9Z YIB 5YszP#2]K"rmb`9,v{ލwT.ϾrX'G::+[n~>/eJ6(X3' P_S(Cf2@<^rHxYwb}]J8:d64 utQIXQYft1SG- !` KiFd:c(|ڗ̾vj3ѷ3*߅s-B_:)5W^ïTN? ]Z:Fj].#/*ßg ߤ57΍H0Iݽ԰xb XOOOK)Z&b6U)Z#ܻI_ʋ@l{=X sXq"FVZ]nV4sPf2Rʍ~~mSУvc/wgɓԈh=qHYdS#G.7qf)E[gA[c'dC$.y**'\:sm:d+ܡjg"T]bYtR/D=ge!r萘)&={[fЏ9} p6XTl{%>̗d)`NQ^x\YMb-\Lv3貽iL}LۚƈG&Ŭ2 1T(e.P̽d>іg?rT VI/!ajo5b_K~e\"‹[fu3Tϗ*jK.m/[n)q0S Ἲ2Jyю)u밈]VXrjAE[*0r}WF1w 5иԉa .vaNܐZz #Wivޗ3&LQ%nv7}Mx*ƔB=:˄%<oð49'`!R-,Pb[:\Xih)N 5'YLZSՀH BZ O«H+&P4 M)Uɻt^ӋsctٸaXc"0aуrR"쁦zbb6tnPuvvFg@bC]79}7t3PX M*h%=Ƀ aҰO`15Ef tg~1C%t1zTRp4|3+9@lh8wwWmxb2CP2b' -VKTY}F$OWJK)qZ: :T:>tOvإI.S ,ӒW_㾻| ~{N;5a&`1! ĸ\'RqzKp ,<5U8zhf`ztB#^Jc] }Ox`q,nwJjg/>>T־w92B~[7@-tC#;ΘI4W_l^(uDͪeUG+w!faE#BXD!+m}7>ڢn$\fJ֓M 92JˡR)eR-\2rѦ/'+D=Cb)f5DKzp@` =BmAɱ3iE4ةI'7(" z<簐#| <cK+FWKȩ @+8K.ϫ22h1Q,Yxw8nȥeFqK#Ohֵ& }@:ci⩤tsU/L' ]8<.n_8PaER8+ϼ;FbZ }%5o$ߺ7읫$ihH8o܆QyoY9i?.4~ۃi˟}y~mP@rx(O.Ŭ+A3MHcHh;{AdP ^omeauCCip噬'䌻Щ!Vni4{11kF9. ' L怄v377t~~!"qtq٫#驲~#_m_ە'pOqvF2,7vR;=~zd(R̼oTYjVh#б "?Һ)fIwfP2:\A҂a*G|u҉i<v&e*$ ]#:}'YegVpY!Pf,M\wǭ, 7f/-+;$ w,C ()Sdv&CY /e&XQ $LJv"U{ xUGe~޽C~<ų1SU cR/3OI͍#}`0i+֒m/!_r\:~L~2wEvgCژ%͔Mk[pVa,0#ɇ.DdJ,,R:ؘSb?akkUkb ϝ[C~}.)Pذ1.m-7瀑N~ (ֲQě|&3FK09 ƬjP?-j~/e_m#aY\%my~ |uLsNyZFޗ*5ΕS8DUUB`xc ,1Kh$vԒA +!=!3|~2ۖ5^hS&ߊ%2EmWOcu@1K,i\}4Ǚԙ4} TLIA^ܞuzO5Miol1)-kN> yb` b_C`./j 594ۿFEЦƩ~Sm,L,X-jX+>yk&BØ"dO\2 P-[vDVV3%=Pְ҇k洝t,"U&<>шp1|<_1{]Br >}h5ܤࠎO f627Didsm (/H Bz4 B~N"r&^blOks%>nu<:\KCmn] ];h!5 a+ ʠSb9aCQV%iͩJ~G.?{$w66ѦuNR7%^$} A"_C± сڍ&;Kkp˖:jxY,BkCh' vk̈́C/: &q3oR'-kj?(D`/aUkEqQotN3bE+A Ԥ'A^Kܨ`h(Èk("o MqC.PK'TRw'N5L1]b, `kĞ>5:)8Ju]Up` Ќ(\-Xx_{}-X_~-SACR]jB~+1fa%'9rTlJm˄YX֢>C1X23lvt'ِJDr~*igİ* p%so-XTzו-F֏cŸ&ƩbRyPDd^OT)hbMy #mO僮&pz=-$zܞ&̪;!YaA'4> $6?&Ju(.:NiM4gG˺`8UTzŭAr7ʔX>Gl(ͤn>/7{ţ˔ӵ-O8ׁքdG*bXs!_Z> Gyj tCc ;?X(܆; w2$}DM;³Ad#PGc )HR畀y#W*;mNiJJG.OxË́(=Ad{E<år|s+ɛ+Ĵ !RWiIP/)X1 ;ҝ3|~Cx2owQUdT)2lڮy"l-76])̤ H̑h.۬F 1i%>øב fpreyl v79er.0d哑ZCWHT dtQg S#|р:.v={&}ule}XÅW@kOe?& @Yhl鸀.3N.X Tdq~N#&ߊ))-Y,?L(k/~7L!ag,Hguo$ !u6}&2p] 9ZBVUKh_*/,[{L\1{'+EEv*[BHyw-#JA";%5i3k4Cn~b c+;n?,mxO԰MB!\='x;2Ð)YpnY"zM<%0w%V/(?,6\f̀\1NjZ=@Sh 6`L`8ґ`9j]Up#U8шz >]6TVt8_t.3fh 8y07Y6--GX=TF=?HF~dP[7 g B^b%xmv|\J ]c´TPL:iPWzA,%)2L-ὺOErZkP tF6bO?]UPG-3f6l̓ T/֙Ŭn$ÜQ5ZFI#(\3&^@8,)87(}k= U &R4xjuLm jؾȅO:~E{qˋg:P]oD.v䯇!|wf! =oIWp/o&^RS i \7tR! PrﻗB#ƤJaz0JA~b )oF5C^@ZM0eAUᷠ?Z<$H{@33h{$@lD+cV:̟Y.-:l`k : c.r}!j̡id$ 9﷦_Qs±׷kNj!\ܼi!QC6x I1WJdFS;mt܏(ւO>?OvB;g:2~*F7$kG4US-h).T;ہ^-UNoeIcPQ#{=ђ\2Jm0*`Z)u{ }m^ !70QbS]]OLXڦ V~ BFM^~&73TK> ܎} b< ]R35ߥ#QH՜C8TX"i\?#U 64LW96u"L_y_]byӭnܺ,2nÓ˯xR4o e*|)_ D~wBW~&,LE~+#UdV eG-_OTaimN(:#н0yC¬]*u=q6aa =Y0Tީ vKL>I"Q>ūvķʿwW~%wIt!0(N+SUe(Q4E…d,ZoROBA}5HCj$W0&ez͜xF\[,Xx5Y^#ìβ";܀o#XNr M&ڐLv\ :bg(RKhyFРMHGz:̴}3rJ=!} | a+&*!]'jh>} ŠwFlߞ.M-43 0VpE-a)!C.e5Ҳl5N:=%x/tTwXQQo'׃g [*{j.h|g<` iU "5)132`7 tYJ(tϗE(`ÒnEG1#]s?Ƭ>o [{_{Gbah [yyZ"yWتT\4'{(?I{_t)nTR aUQqy@QHk*L9.k<ԜLɳw.T* B@15#h~RZeVc'dBbD$!Q%ʴ=`ah LFjIz:3F*XW|w;lfƤ(D9&ɹ9Tћf#VuHR$ͮ&Q!y-݀Fbx`P 9#0 U3>}T3AIM?'LqG<=sO vK*. "`dL)tőLqA6lo/~S,ɪ[I W]V^ڠii a6pdOkύC*#G14 Qa)Pc:M QG8dTOтɲ^Nj#ۈ9ڤ  a@ o)sJ^HlpN_ ZsSgMj\~NL$F!*}AMӖ sXJmT&" NI`MƆIL%GByogզ52 %2,4/)HAc3{mKM2F}*o<.ߌ6;4#`!M 2,5Rh窩6Y*xIa8;ݿj{Kgۭ}N~q,`QzcxpȺpҪ=R53ή:ֹ}f5PD?Yɛ<_^!MfGb6chft]$K%8n>,cwە=Os @}8:L&z |KF,. =h=nsllcc@ٟ2}F\4ͻ \v+'ReC +&n~ BCQ}e3m?]BWFX}2T&ɷKC8Oʢ*0-?ց":lB̎;ke_20\w;IHp!RozKϤ' [K`Z[i.h k&ٍNϻa/ey|mY׿يb+>8e*0k0smJ Hn  4S?7dn7{_@ˊ?5 c(Ƭ]%LJ32_U@Κ1nnY _if&Eu89Z/|VRÙYJ۟&ZtD=~t.,*[x?#E M2Z3].Gi2i++;0 40(wa˫DZr{4CR $5!|&"M6ywEDkYfכ2BZR \A%l{eς0vIYmz"o`KU| dY(N>yg;DXˮ,[+~\K\#EP,X woFbrLg?!2 2st_0#M(m-,?Za)\Uh.z(;?-sn3ddog 35RJ#iQ!evu[e^uӎi-c4_\8ij{\et{5PNl E2r:iJ+ Wա &1GXS &]b6x7L;p-m >\[W/%hXyXKL+WdSa'gDI_?Qw\iT0 GK{ҩ98ٜ( GΕ>W\e SUSf+j\X{LB<%BQyNϪsrUU&cM%o Zg j>XjQDbNk_fVdzly n)vp\xy. ,B85~=:.vzd IH ׀{AeY Jy ʭCps>-4B"ϐY~%Y9_|9Jݜq~UP/9Q/3Fց~9 >8@nm4VQ5q™HejrÀȱKc.HDxY0`lj)Vkv+/E(zǴG uX7db O+U ,:܀> OYKZ К+7<4csM [ Q#YSsziYV1>L9xM* WG f[|Yv72kSBCx8Q]b֞ʔzК/f tEyr-p&TW^ذ+&aww3[L*ݫc %ܡ!)޻9(cyP}i^9M j Պ+-0(c3B2I`lvc=F]ܩOXYJVrtV ):`r̟ ]ɏge`FUЃx.1J4ٿyv&;\f]P!FG~Y&2YJE8mI .!2#s;O0C:epGy*qu6ǣV.$,љgCZ$U$Qv\q@?_]|MSϞpF{sY\ LΑ8sh~c_۞KtL(>N&<]T>j߲q9W>nSp!JBj m:wW 64l&+Kݔ;#, d,bԾM-H+􆾖Mg8Dqf QԾ}) $< ?n$p;Sz^OC׊M,Z̜t@;h o^o^: C.$-e^Fkv;V)s+3pJ0meI_!N G߹DRޔFX'l8q#=*I:Qa^b e.!a^AB6w@hA̡jlTBw"=4-ƑL}JbfMQ#$CYHD5::wԌо!zH^#tAHdT l]B;5?b/2a} B2By{P( d=Lj;q:CduX3TY܍(Ey 'xo['2R,ӯoi<1C{.`rJhih2vy&Iqq`9]&%wQW4 zLI);jvR):KޡL[|鴌LJhѬAvBś7t$)uab_@a~ZZjSH{ q fG|0$糬o0M^=1TO"=ED4JauMs^o/3p#e 'A̝iFj^ #DL9ڵ>uЋx[!#\ M}Յ8׿O7 z6ˤMц'3 h ӷ$S[n>K/xxy;!/)h{ @aSٽE\{R޸w6ǹP>k&=}@p$ۄZ~JO$_m\2;CUk~qZ7 zi%&qlo nk?;彭r(B.3`O2`oCapNey"@h} *{MuG;gh8ܥkʊRc"T槕 3px/@ H)vBE[̀h0c #rdӆ6LX̆ 7Q 'вS )K[i+uqA!7bw@Wg=p'I_n7uSIy2X@$X5I>8ȗ Pr:]VUal әϕ1_4 ק݀ID1U|ؿrAݯ/NhΏޱH8:EdKRQx!QkK%|n)q3C*~^v=@jg-ᙣ*KOccy@wxξK'2\I<ՔH`57ɾ?jc:!¦ TbIAl7Ն!BϒSG>ˑL@ng8Z뎝4 pO24/+iQl@GTbbh~_$>Ĕ0OD Y-xV{+٧#gI2p̊vs&ݴ=s*+aV%m -W^v_h{CʵoQśmܾ7uGõ">eH}vبԏ.mo DTk@?$\.g޷°*lAvNG4ŀ.0ν ڙ_VjxOIT Z\ؘXfl:t^'I03VTz}th5r5{Ap+d"2"NCS _:z+]voȢ\ȑ]g&IUFRgn%2lQ ǟ3? JVR(EkwAyHMc)_`5A /Z-{jIFf`a ܲ\FMm_v"섛l;na_TQ< υx!B͍?k/bDah?#!.cex\.Y*pňDI}c6㥭e²)Ma!y&!Fg{9P皱vQnsCa@4!潔H|nxa).i*YdZddu?ʺ J85aЍ0 f]?:΃90!\2>A2RWw(bu9'75Pip7'T0EȞ= g LЀ2 S`ȥ fU"謀'-`1jU Z_h3YaP•v˸)_XjgtnPd4_0lBͧo/F3%HlbkH,ōkx{^#ſow Swiꭓ~;j,@M(V~H"efNz kˆ YH  ap%1R|2E'LS|%- 0e25;*©i6oE1muڭ×PoQ Ư~yV3[ Ñ׀xMlVؤpS)"Bnx#ҳ="Na\65VB=TGCܞM"ٯ}c+fg'4X A7B|=p"= !02%ѫb9/.5tiF%qa;fpc MdN*djYGT>Q 1ȼUx]_x:ax+RpMZJ"o7νQ?-nI#M;|gtc}C.!>9|)7/^Q' GÎsՁ>rࣦcp 6Ba&r{n"XhWϹ `:Uva 5juvw)Tˏ hP\xF( hѡl"4o c-S4yeEAOUd8dGeЛH9HsRz$wcMH寣Q h Gu**,W#+rƸgUSj{'hhGjSTw%>F#?Yw$Bu@scnޢXh2 ;[iL&]䊒Ut8` 蟊ũě^%ўE(5RUOHV\&=%=;iFon?䤳t(1?8FߊJ&~uZT+,o航r}rI1mHi]LN_PȯSiv*:t:CD[.dw-Ϩq倮 QHT' ]Q,5]^= =@OɧM/.Hhcߜ_dHU)pgvgxRA\Vq$c6XHY(҆WY@w2>fTgS8T D=5rĠ4} `b_k<'~I{MZ*Q4\O}v& Fuh˻vъRH6F#nB)*UOp{Gj2@0o_cnBuNC*p@ì׻s6If{%mM."'#):#7oZ"d @JŸM`N .&  }|CoiBW$v5OuOŔ\,<;':c66ֽ=2fjRdZia2f-]>$~ ?=RW.@ n6\+y5i0LT puPVř*Jm/@'2NU;u5i ̪J*!pC\EIЯ۽od,RޞƊ2S^?$a3G&c[o (eSa@Zv#n}DQG0Ga>(z,?GmsNuʊfO 9Z/I0'?o&웣o;H ?׎U@ r͛%b;3\)gFtw%A|mݙ7ss̚b ,$I:(.[l<_G̓NX7Rrl"=@cmx^ ^SmK GK/X@z3lw Sl "3q֤ydTeВҵ> zqml{Y:H. %ItypZ0"}#ޓ9s¢ܭ~/?Ucďh@t\OZ^3muQ]K> ,%ʁ 1>9FMKNֈEh,EF0}\s8 +fu?g0|gyu-6 X溂aPU0M!Gޣ( )b3H+oՕ=sxoxL:t(V6Qg~{6 {›"z穴غnN#OLit&1%Z58, X_FeD5q%j!-HYJ,']rFtl~¸3yw}Dxu4T2_rpx.(iyvt+Ľ?D'G%v3gJTܴcNdgd5T\DЇ<>ncuHTR+*2g2duH$U[ @VS0b} ] |mmy[K~a!sIpQnA"N)]H=NUw=i:OiR3!֣C7b. [e9)b^Q(^`2ϛws WhMK"Zu 3[cxwix$pAJ 'UX W,=mb1LxJZHc6\ 2߼[5C?i˧[p#[Qz55~LypDy vzQ3to.TG^ C 01{ɿc\J9!\ϊΜmBj:s}Xl8pXv4!yhe9~izH;G/ә+ >&18+n1?V,2G;0iSak ^|(i!wFC)KV<ʥ'hΈESD%ȳZq=]Bڴ!r8 l-MU-񚑐;SS67GϾppkx,"{E]ˍJN~ya ȡecͰS-(os 渍Q+Ut-Gv<v/oA-ޛBd7. <5  db'7D3V ?U/x4m兌F@Vw]@ aލ^TxO ~p-qu9"35u{RJE*[ b:$79 wK2F`*ؽ\!>oC1 PNufB!TID-]fxU# 6tFzSMpG 8h rg$brA߮Jw:q+8赆![(*$*_✺ l*\充B'%K+asM-y~%bY[J C8] 3zMHx4m, $r9-I%ۄI@7xTDH4.+[᝖S!~>G)P[ajȸ0Y<:?dLӥѷ~ Au&ՈH VZ-;{Mm*8AKUc#N#2Qd+,Yz~&:ȇUyW9u*?N-_~3kx;#EՒz*fE>X0˦cȴS mp'5:,Wь8z֨x`XDg AU pVo jt㽅!y[Z-+p: GJU *8=oC7N(7"4k3MM=<:6o *2\DZ~7'KE]~K ! yӲ\5RH&|S\Pt|5 ԓ6)%ٜ^#?@t2b:zE=8{-ZFM*)sdD4싁ȩjEO}?ӹ'JK$:gAiy? 0?#ܦ] QnBĪ&@,^=3otX `1vRT[b ym9_.f㕶TaLEƽu 8mZq8PLJㆳeq 14L·Sy*`Aq|!U[c].;1(_]Ƚ5=4 K kӕ7_ˎ" eeAx@bƫ%y 4Ir*3_( 2L 4;֊s{!Y^plJQO\duOT<8њu^,/oDCpK(Nw 3ezTk *,M^Zfm,Q6D}~އ j,ll~&&SH'"`[v2ҝeRȧPfinX;3p=dNBųr*ww;*wPsUrH#X;q,Onnxp {c REQ=1`,ac wtԔ[ѓ?^ IiOw`@uV[5w%ưp66AuI@,ɷ*jg/m~&rj>î3֞5Nu<žZ(gP@.[x.^o2BAr쌅&ib .y0ѩp,fz\gc"YWNI ̇58>䜞R(O#ie^監!8&>K4AouB TyYD7Jtū}_91nt^IA8zSDn|5gl{m%d4¢ieK/"y`TIzy= \7`0 }^zO;6ڇڼ1 [. 䇅Ôab)$i Y#I;Tҵw+dl} u#rE})3L2giAVO@TGU~^ѲB/d%d{ #D >2Z*LI0+<'j:;&l YQWk$S~6|ue`›<]>bBzB$ U-WnkAu\[=%77ih$CuJQ ĩ,l u#L*-Pd\+f\{%ȶU ]8\-́awVˍɬ}X-7w_/[QW`8?Hc4-?Ӕώtz7^Uqr$7R#aEȌ'أ>a\62֖Dw MwL1|$7niFs*~pSWdA^f*'ճšU.`QXX=w !]7o̒Jr3{թ =%esה)be!eޑJaf.nAͭ۰4m+&V;,bW OxP }Eۍ{()Klr!.ŌN I^_Hζx\Êck < C iq4#Hmw:¥.ӸmdB\\% hdA:䴤b)f `NMs7ЧL5»+٭0 lo\(֗- r<?;{??[]ϼISU[ 3վ`#"yx&F[|[f/jj,6w'yxyT(Lv ?]\Eu41Y lpdZ9N4aM5eO~˄Coqѫ-7}COQTVٶ>\&DI𭭪mbj{i3+,f_n $GmbC}adAw-aojĎfsoEQn+ҟ5i^5k y*|/tbwe=dOAn&nF$R[z|*0n]TׄL? 4J5im:\GЯ`ZIq!;AüVCU 8bYn*2KGAc_l[)6c_wLB +Nx2kֆI H#.EQq\7*x,-d 2C2j ABeɎEȭKc1fx44 ټ>=TH8:Mj 6u9&1K02M).]ŷP~ ܗnYܒQm`գ^uO$VT"ꓮ/h N&7s;\РԄLT!fqWo]`,&X:L`ڼGzsX _40: _HYf_c,ɠvCMNޡIEEW5l;e+x,C qmYLV\5qS1x2:XN<%+J)zt+K>poan. 9~"6g㉃<=Ű0?<*!K1y1vֻ*ah1L/>%֌z"9+D[_m6|ha4wo85B\3spU EW\`BM2m)rF|b,^Jf*]'>egܧiK?Ѯ6t:^aśv䗁s 4!uṾGw?"⠸Fsݮ*CpEHڅG'M5K@+E\lۃc9:Ev >1(e,)1']hn?@6yB.5;_"4ycJ~G6xu7?>trev]ɌrU;TB(@%O3:gzM(` ގ&#ZYMuqTS ayu;H3ئ <yKx:l(8f.&[q0bl>)/ǴƾUKS\fcG\i 9weYէJU&~h,܏:}, =.As.N ݀t"NZ՘+a{ϝ1 A)rRDe +l[Gd>75_=EzrWPM1Iʿ7oԴtt#ήa@pp_^mEMPmHM)h'n z_3slUlOSv8GޕHR9/> E-2kNtϑQ$_QhɁ y't*^a`KK\] 3jzM/Č%~D ݵvj3D?H9mpt^L=nP *!+"۪~ #%S'kV.UoJZL6ω?8}.P2Txd+ Mdw` I4Ob2|$͹?Lij-1Nr-u4ւqʷ2V[Ȃ$EuksN?+=*ܻ_B#}(H;M]TmA'2[*C, }7 L77zGy{5@(ZC_Jr=" }\LhRF&ݲu(?XKI2o^"H$ j3s8U(1Jiz$+X 3V\;ؖVYx'0}<;R[~s.~BGI"6-mIЁR5'HE\^rBt4Q%=b$$N ʾD0)#{Mu;u<k[9\upgt*pXVM3=lwkV]ȆJ>F$a֋VY7/QZWm~lMӖ7썩{%Q(#VN$c^eA`Ƒa|| SsPu{q[.ZU2ɕBYr{&| kn,;Շ&YS̊&:M@MI/&SMez- ֦+.u-7vg tKXf7N$P;Il[f:3xrO5N і;/2>Do '065Zà@3!9rwQhFĵ>r >ߊ0z1wnam\2w?GǴ19cY]URu&kC-!bs:*m,Bϴm)rk1NM Hg@'t@[Fg؂z ;Id:,b>QeNjȡoZ%T5 7EiJ \x6$jWv-땳 LI׊x?A_„뇸%6:5B_%qH=$Z^R-GOSUn^)QW!La!W5@: ieA5ѐ{<߱WfäB@6ΡC]UGj-<gT{BVy:.hى2E/ +s6oU;f;e,n>BXn4]+BWX[b&H#b4jsХMVtAaIC: E"郠8$h;bۯWoXx>@߮/d -@`9##бFfN :tlA[$$] ~~steLG<"G°A qۈ8e<c)fK@xAljbqz-C *SP"%\}L]Ckxye*ƓSELnkfȤLlgEf,o^nC뾘d #2ްB *L];w^$R͑@Г1  #0qlm/)mcRV(V@ DnVḲ&.IB O4UYtW6+;A:& r @56ь\2pI7܍Sr@ޤ7}TyEƵr}zn@4 "h˜֙˙\QrFrJ6+<5D/]НqFnTxRzg@>tʾ`0PXaboˈȱFuċoYJz/u99/' ~t#1OhmXߒ%Oܵ(-~hX+Y}W'TUx߇ k fZu&ۇaû1Z܅bj7TQSZfW Fatq Xs_)J[b` ձd-L$ =08)'MwI il6^5dtop-yQw* FK[JGM27_"9n]VĚ$gG=$Z}M'] e`\.ZեQ ^Iz=!XW;bcbb`q+r r?,GۋryjF^"CALG?ʋބЏ R 1J?/ $#"l K} \'iWC1؅RjѤ=GeJ޷.X @SOuNS25ο8? VxuTQ:|IgWf|q?՜:Tj8J{h@fg%!t9vA9nnC!>Ҫ3k*kFqVk 8$s?MǨ  CKBv+$ؑ[u \6K& smrڣyם퍈U#%$oعMV+} s뮲:BL,Dc@}Ϣz|FvleL/AʷE9n.GĶ+L ΢5Nv0=<'F]OU"nJI$~tʩc-x*[ b;LGc644]o.VHm,~ h|!Vӵ(>'d%)]J3Z I^[d8hZhxa- ebQi,5Gj, ;PO3o:`ц@(E"M5bmIcKϔ5ltP(nal8{E(쁠F눻_e짾m۸\:a\27ƸcH3PZNRf<'Z$@iPhu5P/!6>+EQk'7%idcv3a=4`K]ԎwL%|X>LR$qC'qL[l<~u5떋Ԁdm7lۨFZ6x:\|Յb3_{#*0@~Z|#wl8yc~?x䩒Ú"N.1q*-WSΚr==;,OL=nm=ta [ms,wy3FCdNZq}wHH(E3b4lg*x{B )y8d?ETyRc,\~x [D^[X{wJ{=+-yH.  sLX̙e:Dkq5y7yv9zwݯ:Y\ <:Jj}b_Sf誶)Q+X __?կ;;꜓gƛn rr(Jat-m(w9~sK(ܤӒ=+J?OXAb 4_q WGgYZ50ed12f396e1219d0b9ab04c5d11e15829cbe0878215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61 b863ecb450f7e2f4075efd6e1207bae8c6ac257b 6315853b64493c859b913fbb0abe43dd0f01a9a4