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 N/ 4 ]S Monomorphic_Monad:threads=4elapsed=37.397cpu=66.204gc=3.048factor=1.777zXZִF! ]ŗXiɟH)0%o2},cvߦ!OW?UNԬ^sr3˿I-jBbCiG&X,Ġ$mH 9 u! T}>4S v2r6'.懒vvsjX(TGijq2h:c0PڐAAp$[+_-mzsR}uYW{s||mPB2RX΍e¯[Zx;P=G[W ʥO%s_n,H / Monomorphic_Monad  `XƐ}fH$UjF~#Ϟ[K8Җy3*$jIٴ9!L -}gΦWvoL'fTR@iqIP{:bw?VM\*u$oĕ$tDۗ^fr`[@;9gf C;QFmfh<ڐU_Tz :~{[ά bBPZ^ }xlW]Hix]lQ(w%8Y S4~i4R}GpQwpx[abo^@5qȞ汰\vՏу_Gdp1**n93{7޼G8OAw.0$Kޜ0X$eT9&~h6Yzmr)hTWו2t, !2}@.z hC-igS9__T?Zen ~Qx51$.QvR|$"FN¢Y}69y>K[eC7} \ߟQw!NNj63xXGLĦ6C; hqyɪe6nBI9ZEFerCRU^Q>KV< u#.Na,B C"i4@t T pj`}RGqڝ!An$@^tm:ۊ\qGI<җq ÈDuÃQ~VJ_]A()%J&l ķ.K0_ P\7- '_qƈ(}Ѷގ; IQ뷶Jp^!>&F^'cj*]~.ئɷ/y)VTճCwE͜_IbςFn-fVL%D[{Q}l໧M>K4S%ʧ{"YxƋ|=d=ld8{붲6[+!SʑʼnZ8S+x{@7U0>nw-X&(A&'N’J̍ R Gv>*- gO-&J}_(F"$~`?BBNU0Ƚp $ApN)sOW$5Wr󲇱ّݪިhd*=nirS-MpSUd!-t!0U8DڎF|a=>_jX-KDRxqP&hqS衉CPqU;+ǎT:\)6H: .]zr5=z.vO*Wv/.c1y(>U&,7`˯|r$.vI^Ry|\&~_2 tO@mJqwe;bI{A6ӪdSY68_r-uN+i'Fjo+8i@KlO/Mcә 1=SHhtp%SN&7 ^#y32[ߔ"i: |piA7{ MvK>mܗ(ğoVYOfIY}b}|>`mYE ӷh0x5{Jb}Q. l^пN+Xq>nD/炸kȖ2;hR7lIe `-q1&*;Q)SpxeUAvY0KQP ױJAuOIkom;B5}%x!iy$/دzXjnQ?"f6k:E* \ENa7RT Wdx`[7"k8A\1m"Ãi{&25bP ГoŒ*\`5]˜{]l?Zn~PwYDgnG_1,vK3 sQ0͑La+["9,$G~dG>$͝hT־>SSmDG)a49+Oۤ>YA5 |s[%귥&gó=FA^ ~v;Ninc }Dɶg*6qv]6-5j?K[["]:V>IգzT O&n\f1$0y,V,foqN5=@K+c17,vps2vLV>"R1 |q ;]|UtgXsInT> 8E@ɠmp**+y0T/7OXwyU|1o ݆Z䝑> { "R{,Щ;샖P~%w5ݑ=b d f6Wu`V bjwOrmxU`T:vkՅhǪQ`OCόS\ 뱗x/GiX* X5' s"jkʉиЃJ,ߚx};zcա{~ddA1wPwPJk@d"6]y@9I [eI&?ޝ_,> kh܎ ӿϏk.jr7tny5ꭓԉj9n"]U5Kא4C.^4sOD@r^FߎCOlU}MBlN' {I%_7wM't]văٔI@]A!Qt E(eFj5^l/K@?E#QteK-.=T1w DUIՒQk \E=Kv7yǽiL!oߐc"H(~ Y͍+j?vFA=1lzhʚnJ SRH(L W.7dt}{u%БH|ܻ : fFPU ๿ L jsZ#ϪgJ^&hG00s2*9i{/Ä0b@/;;=c;*v2;\pSZ'4:.}Go_#E&1P{dqD-_Lپ6 XwBo~ƽFNy$pQkU'f/z01e7TQu>y~1323\V҄цJW_T.h{:Ԑ*Ϧ:=Wzs>0bXlcvl.ҶiF= b[`[[E=1J d0 uj%>e#A1UNČ8i5+$nӪ96vnjBWh"w Z:hmqThv]r!mRܠ( T2a@0%u/J ô7y>3pÁsx*f|Bͱ\uᛠO es-+\c5 N.DkXqNeDp^%(1:&Fa=@»?7nEib4]Nx d}"Ƅ͒ ų]2FWXw1:1Ɖ)l/xxzks56Aܶd ya.J1B>0v7%ftIJ;eS2Z) ueBY{s o$! r(X֎~F}L:K|i.y Yt6si ,L [#}TCjC:ʎQћer^s Jܬen߱6(bY:PLLb꛲o{6nTgЯ $`"?:*]}u",(9!}}5Qaܹ}N8YC{ iyva\f++ %O"9W#vLUW'ŬY tڄ Iڢv -1L5pMc:1Wx~)6Ck8 bc>M?ri^՛A~kM#Нqn^;+wEq 5ʎs\9c&מ3>T0BqP+YD宖Ae"2G!}2>86Q?p+t٨ii_GT;Ss=F >_aD-䠛6׋l~Ɂ/!Y^^,Fn_k˄.q7ْnp$`G"xm2Zjm3E^1n2,?v@mŏ9p\θ ':$Saܵqm%w/K1VLֱN7R1H`繘'h_.9XjuǠxD {"=,3UN#Ө wU/a1C`,$͏6$m0}C7ql pI[HcTa420a _["&'c?Fau/UfZzk( 6L!?i~3 K| Io?n8(ysi l$䠐V?RحBh:;LMgހ0椦ҰѕOAzIm푺A|{Š YE#6al$E 4qg3|AHA-1ӷ6&uJMte"9{neo#8nM#I#Gz}DbGA?XmE+T0ET:ݐBl_]F<*`j&Xig\8Zu[M~6&≔RfvaPb]L * >O0nCvlKcQ_dW0EGBAEtk\G? Nnq5#r*:c:NG {#cbqڅ4+by mDK&MV($FBw Zmܩ :_\8yߕO-r,iTT%sߎ$vjnm Xʵ+\?HC\DmlrGu+Qf] &p4ɐx~Vh83x|h1ʶ6EN/(E0{o)<)NvGipby96_=w\Us1jcIŖK@B5G%4XQX&< xgސ|nDIڻU\2x&_oo(6] ZF3F1lך+)֮gbk@p%e>"8E|.nhI챠J> rpm<þ"okK+k:/tDjRe} drӕZ>#K,ygǿ\xu`w8τ7#MWXCz@UDkv\A6y?gϊ>{-aiozܸ䷘%ͣghEq>31EpF'ͶKqؖxm IͮORMܩZjSW*aJFmHuƀɣy#8Om[9 ;lzo=aB*Nl.aRƠ֒TׂW*rUw}PD?%t!Lp\#eo!FZq$#/~O;=_{7(b [D15\":s0E>5S"8H=f_DL{%{M=i.gMbP SGjOS4N9!09CԸ+ORkckV~|(t^UG*ֆKBːj&OH1I'!',I_ Dw^^O a+U*ARF@i;kևݞ;Jv]x+qܱ3ø2A9zgkLoGw+18&cٗ7PPwC$sKmCjqlu7 xt;7- dL3]<kJ:K[wxNSu@c0#ѐO$ŸC\e0iZKzV?&|($%e]Ac?7>#.Q,'Rk 0Lw>85P=Z1R}y뼈!\+%w;dʫӸ*qvQ];[{ȧb,oMKG^`㚬?1T$7a㥵yen8tMyUɫgAJz /e=uzJbI٩႔?3OSg%g~@,)u Psgՙ?3-C;x}&Xո};8P7H?l>>/z֚+z.CEL!(uI2=:Q$?(S6|l#$C*_d;p lsu9Lֿ l#}KZIB>IM[Oj\i+αV`~;mAPYe#6yM;4\i.[[ Ɍ ))aܥ/iֻ80vFtp-O['qeRk,;Պf? _}hD9#a +*,O t |u.T7Lq22$*XёF$ۺFØgye=F~Y]C]guEsɊ͢o/iADMw I }ؠ$]@ WߛLc3Ef!vk6xiy7b[To 75jA֫y-H?"6ygZaV,#.aQ$K'r?3( }ץ E+Ti5bzۇ>^E OQҺ.+e?Y`Tzwe2CFQ0N`$FQŢgP7:]ԿS^Q\A[7iO8z3q@0TnOƈΟfx{FnڣYeOj׶v bȊ?i(CW4yg>gS~!GMR$(TbuY'@h>,̊o nn#ˣ8ᆲ8X(D(}3|NB:a𢮄Hb55$e <&)m3Aݚwi,D Wy4[~'whgXnYmFSHdEؙ f'$j/ @1Yq=fQ3IkpH7"5 ! ZWV{yp#IqSS/:斉Ę3 ^o(FgB<?S*O}?(V TS|m%XHid ғà4Z8Ҳ@,$&&&?4lCԷ׎Te[B'dgls`NV rXE[qƨ ޙ%HMKMe+偑R4٬qJ,a\mͫL3qͺBdT5-(!)ý6(ۘZ_AMK@8Q1@4P~ He^|۰m~VlQgUee21X{D ]2~?_qfG1 |tf_A3O_֧AٸdaEB?Dͯ:1:|/&fm+̐z/M V]:lM5&u@{ z|̎A3<7`Iڄ׳e]QF47s|?y4^4zzk<^1 7Ė~gDZ+D$ٍ/ƒIHj7Jڿ7'_biJI|pu}DP՘#P>B$`jIGxA DfcpSNSMCR3H VRG| je)V _V}K|A[[.jh.[7:2~Xx!NK`ktIUĿA{~'Oۻyny<e$iXmt4i}9:Ä5п0%Zy-^1gk@jiU*TSJj;N >(!P2tI0(2iπ P9V<֛M뱭hJ`خ W?+aa+@Uc m 0L>56F,/:oT7M,`)7i Z8Ÿ]ވdBFbO,(ٶÊV7%[y;Hן'v 8=F+"ɘkgp<QCoưfd`iJݒ9=Gd/`csETE^0)I5<1)@B=< ̘oz%뻜ӫN$*^! _dQrk GPA|԰~qgpR]k7`ls(!ϡ_E#cxj`yvqBmb+p%y }(t4˕-: S*R3CvIcQA2_#'<\:dU6RR`UdVEgIC=|/Tƪ}?b1fFu>[ݴI@gbyB<^֏P1Sg؀¢JjHthWƆ RaioLAяL3:[=dIJDQ3!k" jAE)G9CagR`/( cvICk,c((J6Y3,],5Է8}o16K[XV`#{l{ Rp GQ^ދtM^ir51_Ӛ%3Ɲ0:;>Y0_SMcexEc38vk>g6͍ X/XInR2EDz\6C4z>zWMoxkJtK: ݿQ#D6$L֩  G0$$ ΄*#^ &H 4Bbb*KJ_RԨL~^nvVbߛ/A5͈$$ے x8LEukFp}Nڷ{R+~淩ROp2@o$Xf]`뚇0WIұj1VDM'Fe!Wqm(6\B=.aY 23u\gs 6HMM߸ۜ)q_.do־_ajmemwT&sy2mc.[júT5Di]64}~WEf3 2X֌h-L-e ǔ}4sxWyzZ\7y⧴Ͼxd5rSh=)c}`SIf!DeF[F q(P5Z?&y7;\;哻RX4$m'ۙ {= !QA~4_EzBZo-pݍI&EK_Xh¿3(%&b9 :o#EWBӛ0Qx= `~n8/lӒq?~ˬSk@00T}G,Hd@ _wlU䓆ISnjèF|)(\+=HՂYRZ'/Y5k3јYnU3hs{`XI@h )/Zw`l.Fh15M1ķTټ.ǃJF${ʺ e{={M F&[mkYG+khU'2xYk.Ks:7~` 1Tޑk]};xS|X7mȄ’#K+́u ӵ(&uvP݋a `O> a\ B_%5n rvg*{BU(Li-mCw.4t#KP"dx!0G(@/Lǎgm.X` \S#I0v`p[dm aMŸM8a$Q 8-wY%.|"U _W0,YHX \ 2EHB81 ::I%T)4< Pt0Ʃ"ȩ6f"BLhO=涮lzx6|Փct63FR̆)yCS]F3~nhZH#$sVjYDv$[\wBX卛ûXbGa n('"Dc9\ x4{?!idȚsg'BG w,Y,ps!rHj#JTt6UJzLAq}>Wiuܐ$^]"` j $oԩ|B=":nK13r@ךYJ_K. *vtTru:&3/:< M-q ꊱѮ^WJ$zj#( VkP> t#t- ZK}op=x%c:{g\v0ɔVȟ ܽkE82练J6 pB8ГZֲ%o@n525YuX7 #wX=Oj9Mqtlҟ Ld0 ^D ([տe-Mm<#t2ZR TxuTn|oeQ4UiA.p8Q B"!U\;I.} a,:Z"𣪒QfoL һ<@E5qNg,Ry#|#98AH6ȸ?GAKU eO Q(91N0OQY\zho,LHx~_0w(3dUitXхy-Od}ݑj0-FgFZ&cYڧ[K!yf[kԊyIjK%~ƦxIEiEQ譶GT4_d&T-k]Ơh)^@IT]4(@$(dO=?}̺'+ y)[<yqn2\%hhlXUbaFX 'o#}BQ6F%;s,i]=6.'^$(|i}#+:x/.j)(vO%,ѷ".=^F>թ<ڇ`fyN%bab5xc'7C߅FM  uQ#Ц18g1pkdd~ݱ<h Q/t'vOXOe6} oXT}\~4!p[ Vg-qjy?ǀ:Ol6z ]b L3Tj7z+X$_.5RtO iMvauE[7Li޴LS>ګjXlNtqevLqD%LWTʛKݰX>Wѿ'41-" 0{8"+ʶB?,3zg-sf P'&Ud,onpo?R@.{T m]kyo2UG"_ǡ` >vSazQ5w~@",,UI*;fX4;hw0&H391KʍY~#xR_PDU"<{\N/{Cie>{w%VԓsoRHxJ:KE*Fd1d7{͞_q<´pн;BbS eJJ/\Y}P$(WlUFu)ޯe_oLw G ¦8ܼhPDQ7'|\{py/bizP2P*{tiR^*Fٟ *]4{gQhhTi52)ut'i0* -ΐbp.D~r$S$( {T͞sP(FEW9q!~-@-Tˤۅ>d1t Wgfg3$O%uE<4wUV^l'$)&:ܱ]"7FXh~ $$3Pܟlު2l8_C~>l}L$Wutd݃מ:m'ea% fqMc˲yl Io>4iBO4C?îc9m^f(Qp}{T.TztUí^tdw3b<&cM`HH^8gxE\Rpv.Yq&1 R/Zrjӷs:;|F d57vdge{ytht|H?YF7@3)1UnyJ&&_q XYuRպb{&7 #/3 ý ɛAdD~ki+7"z31.e['i6_Ex&@%A|ӬM2|xo}a:jd}RyE&hq!EX"0S{Kd Ňy y8 Y4(~n.bnL)tAAgtĹ!/YQSsHo$uI05Шۺަ|ߟ_+Eݝ5tp~jK(VC.ӘN/S@Abgwo5n 'ʖ0 i`Iip_ _rv+J=2_^H7y*̀V(?ؙkLj|5n-]z S *R/)xDKDÏsI9*h8ܤR؋sFȅKPn3}N鷕ŖD뵙ҳN~2&o&kWkOcU_au#:PWQgD_jBYZw ,%9 0j,sKܨwp")āA[I¡zݾ<}P!/37])\(.:\X`,ǹ /v7_bkF^C`yC=ՌFhh "Y)Ez4`ym96) -6)@OQM}-osbW I\{xtOgVj?'_(k@H)o a]CBn!Ġt6hk?]^%R]Z =CdCm0wEs􈃈Uk30|yD CjO_X=/V3 %x*mrTGGgjɅ\DQ%!>me5ЏmڻomεjS`_ɪٻOփq;+"ihg03>"4o{N잹b2k/Gq*v(}_ObW(Ym?jmh~R f͖7fE\h&@A)m<ʃ?++]ͦHKL[ w<-(8q Bt v40=Qr[{݌[p;|2$:i8Q*m Nإj#\AE/ S3{}jQ&D# T.Et3NI07ПJqX%CtnSC⣩r5 jd\u]?KOyp)}=k;M(󫞅4:No  xduxH5ygkC9D{o[ $'_9neXh[D[Uppu@+T=J>ՅlcSgqRrci_qsED&~ UF/#"ޙ䖔T Ụ́m'm'pyxi3-ٞȘSw|`}ԤCN_N7DA'PbAZ`k^6ag3ԃ5&,bDO姧~RR/ + ~N%qݭ+v#5`# %%{f?LKFwh/94b2j}ٵ>p~JЪk:E9/ ݞbc;HYGcPKjK (QB^؞/0W1@3;^J^ =R :AjMhp)OxY,N[*Qj{KUj&k fvP FjFy7 ϊʖ6>U<-p)Fcte^FJn=0ůF~t絣k[=mht<.Y,ヲ+@ Φ_9RqYy'@3 L>kY9[qkY58=lL*1Vd>z<J@b8 T_Nm`~s`0dmMz2+ sDϻi.%jy{tw6mJ9rK)cѣ@-fOug0ﴭoZSeM\Q [$@*/+o['|`^ׇ̥< Qs}2\- JG _0rBL8Acqno[%(t,oҧTKzKfr&>"8$+ G $T}"Q brU_|F˫5C,F$ܡ.1[iN殐* ʦ4濩eM#_-{2ZIw|is{L$A:83ZH8T"gtC@b 1xϭ ™$w4rQnAT!\"g/yɂnaC{>C[BFJD/(SmjӇ)c,?l0-!®1%֤HeWԆ2gztD<4Ȑ5,pH~_0z^n?t{s8 H9{r3J]b_nm`vhVK>*Apark! o!"O>?_7`Xe\jK0vYYH7%ťhUirm$jʅBMLx'8}?`|}i*L[|E.o(O3uTcaK(E/q) gΨr4Gg(gt(?-Gdh9\\(wǭ]˫ ll`qSz stbw ňӺUߥ!>vrk`zn6QauywvDI3;h lF=&Pÿ3Z݁Sbk%/mckFi=Dܒy'͠ Pg?Lmx1nz֓D6r5e= e!G aE &N}(HٌûwQˆRdM$|d~AwE֬J(QGd {8"ID?3 -d͂pe MJӰ2mG'&QF~$UJ糲^F_ y 8|WS4`ڹX,Vb`BuO`` W߷@у`׀*{+A.czVwL0mPqiZ4'z/ Ҥ[&Bw=\=UgKK2|ǡv=hEu5ib0jFr 6"噚=%^d}ΐwF .SՄg}x)D[S| $Af[kCoCvցαq55+!7/"!(f9mLl%Ue~(Fm41ӑs.6ӌNH9Ae}w j՛:vh^rgAa3!jjm /3&l{nVqƿ+{xvjnoLHZɖOΧ0f&XǂK٘m<D0dJ.Orw0|{H <|< $0U2?С#9n?qlԔi_I2kGU֑|Pp,'Kc̡ @ܴg;t64O |١2MDA,>,\W !LTK G]fs-u! &?o볮S#g~]TP_pIiǟƝo ~! `d*{+8l `U\0q=yI Zr`D0>F$BF4º&@F"x, %rX{si&p&s{Nk9'BbqR^[[gՖXk I20f,1EdqBwN@Wˠ S IAOɪx]M 'V'J0sPU$ {Hʹ~nN:ˀ:;ݥ N5ˈ*͔R±T/%<`_ 4i^X5XH~Y^}o500v'Wl?1 `_D;G%Z葐;.H1'#z ![gq\,$+n33>GX* ASY9,"JLD l0\8n{`q+Au[%#R~/38V1MA#,yޜ "7{)IЎ5ZZS;1 BCOu$r5CM8]`Hgt|C! ٗ²&R;DR1G{Qtᶬ UIyulM3'n)̳(|'O=_^% \trQs4HcQad&~cùC푡Mj\`^{,a]thMخgLګxbqK{2ڣJ_S"؍(~zms=W]SǑ²H͆V~[Xy!c&rl\ kiqquUJ0=q*eP7mcfYOjV)]֡+/P-'Ӷܡ,ͳH% ~'J,Pr6Z,}!2' *+e.6ᖢh958mՁXi"d*Hp^ hGi0c]2[R&Ie" p+ruL |g. ͭ,SZר_ &gsHp(5?~s=0Փ-1Oz %d,iYNl|#,wxpsq n<}q 47Ef9s\IW݃]Y$"8< .E ]-?ܩ~l) }Xnggu9:J";ztl %Wn,Ӕϔ0֫BlmUYO;n V30^ HMB"IRIϙ>~Wh/? _!|C|B%Tt( G %"WI8Fo4B1jq=8x+ĊP"9դ:ZKT/|ZG|,ebV.V C\;֛jMٓ&+3/: $R:Kh5@wY+X*EHOFʋfL}?c"W ZP8#CFd+=!Pb9Ua.1q~Vpk[pMRx= QjROP2r|1%{ø-`Ƃ{9@5MꖿjΠӒHhYi|j2" Hb[!TCd<©\[,dR\6jb+~;ft J@4_Һ q 3k˿E7:[e*BwE,S"ɺXw3ڐߺ@pf93p|p'P@i|rT[CjU>Lyj;종J8^k5&$o-!҇#fyjDkT44ϏQS: 'ەqȸ/X4h)!e$`} v7}~mh)S;Rur!TG~uIv1@&efIV h6Z0ukC:DWUDtPވUV[V{yBfMYB+T1 "]_j.%H68;+F M3:o3gDӑ B@*s(}^<ߋG_7X.z[9˜@aFL J2ao&pL'mɑRh1~kKMe#'mᨆ6 P7>*aBϺ9m&s#r}dCH6c^^~fؗt6\:|} j1S,ِ2ijD#JEDwx 1%wZb"ZLN&;j u_et@Od.[`v;MDhi{KF8D&+4O `oK\3ml-Ծ{yWOY՝!&Obn:d_@ew+۸gF:a9Uƨ{a%^F tpaz*q+'|KGGV)pqT/dsGt2yǝ!ؔET(38et}v^ȝvcǞm8f鶽AK.%a NSpf}e#IW0/ {LR/-\eZQv[rS}g{ +xeê/́E q.N QC4 O40vڊP@r3- )0ˬյW#>T>~F!0 US%:(,>H"xe Y=3E;L/Z͠P؁xT1 RcNW=C7{mL B)Zڜ-?m}.Cj|Sؗ{9\aXg`k5C9ØH@?s- U 1ލ Hh_ ˑ|eȣ+я|wXo˱tTq/qhqo=<$Cj"ջJz'7b‘cL2уoιI ^DO grȒ#o֌=$զxG( ħ"L6RA U;nh;ނ~{r]Oz؅Xb88^~ܐa1~ں{q꣭o\GݨXǣ_!Ɏ&'jZmT2W1\ WWqE=rLΐ'u>RXyJb(lA󗿋Zh A%Ha; b]/SPIM{;(u3>RbJols -UeTV?JdW66iYI@ӰGyѭ=Bj/̓~P&kMhd@yDo6;6ۈ ThվgF,\jreO%dj.&m vyU3LzޗLV*ϐyOtݪpDZPA~W 49RI_W=Mί&Dׅ#w욌z[3*8cq+2CsI ȼb"Y*(S$vn*{A{0I|\ábT ȓ\qNtմvDkᦙʮs T1Qӽf x 81{5,ODuLdF1S?{4Y0u써[xkp*Mgihuԝ^w[ϝ\6!(+Ա_2y{Z:8qrٰV N"> ȡK{نH0%mjv$(E[^GO]s=82丞]P. AU_w3t}F1m&> DFBkͿp M# s¨>$>doy JSU1/ŮN4Y;z$ i7m`Pϲޭ; *kN};N]^ȉqU@tᬲ?,D"Ǿ9.$?IKo-EhÅrN+Ŧs.1h\5Ve vF .=|˛rQ0$*{(HKےckP-<^ʢ9'!+n*_1_+/ni.5<Ker<@X^piVOfL^t,4Nk d FؼE&j塓!vKa˔FR}b!`D2qQ B#+<@/-᭝*Ս pL"1Vg47e>{[LD̛GL$GJ%ԣ`Btgℱgͧ@S~&:~Cl>F b>/G4kf-z2T0hUU$XQҥ6G^mpdvS>9ߔtc0Ւ|ž/jG"ሡy-Vٞ=*2[=x 'z?'L5*ʐ{fCɍثTrI9fX^uْ"=*T'UT(Ovf+AjZ yȉ)WHXeW7 _ȯ[ mM1e_j -t{69'kU:JO\YGG=!1p4\Q(4 B"؋:yܳM΍KG&0k-GPKY^]!7+!/O?[UyK f:L1\doct H!X)5;-)e'ِ+|Mt$ Q۷.e :SnNPX Z,-" 0C'6HbvP|@yh~PFy#Z[TH :C{`Դ'( \P5H+aǯ hR|.`J9<= u`X$AIcJBеNNz1 ,aS_itZ*LUvg>nG=[))^V簆2 -@d#i:)AC|K.ntK&TGovNĘ`s&@Y*Cv]'xEBȈT-(ét|@APE˕.eEgUצBt0(Ĝ$wyewUReyp#*73t7mŷ1t9M:N fFBNYJ~6`P)c]R$J‡Z۷n ϚuMK CGgyL濓 1|nT,b Z*xey Γ/RgZyYe 1Xd)@~=ݜ]1bx46AMoGQ9b%)Zl lfe~LȊ!j+X+> [Х]#<~2}؊<55P*n,t 4H>VV\̐J6AR5 0H*ޠ)!>pLo-SLQ$mNȱm?1ϫZkC*Pē´x\lvZA$Z@qbrL"3h!tEe x|[/#BVF|uPE*mV3@^dyofTR~N8*'| _(}O 8EMkc1R֌*S+\Jl<ɉE %h,ߦhS-rS=Y^¬щx+cF|J4:h߮1À9;F 0^[`d[ )UoQl)?#x(J=PY]Lw# Q.ЫAO_)DEW*Xg*\}pO}*9E=[Bj{.PA)8rkBŌYNrn6poh5 _'snzJv!}}W)ԌV ,a^-K!t6hL(21 t_~ tߖPRG oæ]rOdz7}aKC(=(_ZDcQ̻ψ%^8B0w6,3͗(Z!P}/np!܀}vggep=up>@gsc:&.I>+Tb>Zj/ DL*/pE1#Ii pjvPدI[qU^;hӱNټI.Sӫ2Q#rE>UwxpmdН%V0@`.`c:.6`ٔZx~-o`JѺ#MlՔ6}pzK|Zs%!R!3PZ၈q.ˍ_wG?o͆nf`~h=lB:qCkIOt FA:ȢxH?&pa|K{:Ɲ W(iFXދliy69dYK%LaZ(C #9caG' ف2EV daE*Bu9 w m %4ܲA; B]j,5`愤=wHd зE.Ӿ˨*' vLL%߭fz )" թJD4͘bmF:v22,4!Dz;!۪Aΰ©r"EvlymsQS}]-W+7Ucl=LvvQtq1d,̭InjSr <~쿋f7Y}bWzUse,Stj 1ɂ0F>,?N>_/SdCϺvE-- a-Nsᗢ#NZĹЬW$@=سcu6'cѕpؓBhw\]R٥Yf1,29TzN kTCVu,IUS^]W؄_@.d++)d̰`8!2z^мPn/,0∹b5^_x?+?AqUEumDX=x7J?86?b":@^0ව763=Z ZS%x )+=8R`gDow:0Gmba@*9HC+ښ}^ aJĵ().Znih\v"v>P-zx98YΛ1h_ĿJ34Jxm/6e^x@mt,jo"i'16XAf4%lf2ƛ KU 6sWӈ3KjkeFgyBМOWi$ݒħ'(\κG#݋ LGyUKlӌ-Нn},ЕyUE/s=ǰĿ[ х0&%S oԧKZ./~iAw ; _݂$d%b#J5A")tTigEB0KpPDZzS޾lXցp#V\5LT'qSեN^ c;'RCk丗V9J@,._xIlЛ0=kl{ٳYsε? +&gR56lOKm,@B{C)nڗ QAҺ1EbV߷ms?qӷ-nY&1"A$hUbg*F*,%T?c!|Dn#d5RaqrDq}9\ _4pcYK!ԫb01D$}Xfc.Uz]ϵ$-e[D5|pY#"r1JLocؗSbE|W+r^ <0B*-D)Ų:M55p^ _X±tbzOmd4H~xF*q]_Hgh,i@b|3+8|yX\_ ?}#;ˠ[C¹|mqjު155nSʀ>.|W:T]mזȟV!Q:E r=k;>MDXn'Քٵm$7Gs63oH\ 7HFIΝ RT qN-Iqya)/||t%gF9+^|Xw6J\U^ѱ@aI撠}<!hז̐)Xk^#/bL(>*KH~;@FIgZoz?3t;l=YiZ,m+ij,WF–@t>yyYdwR[0z}i{/Ȭ' z.Тwn.6_Rڌ)Ӳ2 <<)G '*+/>u&叁3^b[:g'5aBaT_uBm Uc_O=IBislT&>2!cUoF~; dR_R$&KQ5د7ZdShZ!Ey7Yv:03AALhWq6l,YH q,^uYZ>v%T!EJ3OvH%BLCS<;Wz,cQ*:3laY%!ORK*H<XVff%xhXƵb($`9@޴&t]!?LCXF]ԗ9jiCD~LH mYQ)~ 5>)B`IH*yIH2N27Pej9)}qVʫ%1̹>cKEN,A)!>DZ:jOk^,\9:htB>I޵wj5VgQJB3M Ty[@#kz`{]z .&,KSl[R]%#dSo0eY6R?h:sت)_Kdm3gb'_+ $K!M l|m«g6XΗ[[cEУMb` G@RO7h+Y;Ͷ`8s> ä.'bЕ;d?h`4~>2|+ߏihc@ RWm/]? ҇WdдdIwB&LdD LjjXo-@DVU\ہ |H *1Bz%3q,yK/KǑ{bD vk08)⟵&*&75, ?IbKG+5(B:kQwo8٬.o:\h5/"^$89 -j7|HuRvh?':m\`s0WMhd MxSl {䃾#bm>y`>n[ y`t0x0XV hj~51>@1'ѹXvx{qG׆NGEi0(˂W.rsJ^>uvSQjɕ9|鏵naL,Ny#TH\vԵL9v@ڴy8!Ny1dhPc$%d'&wq@ ?Y"|KBHrBV* ;cV ͐vq@= 4.U 0w*t*˳()l^杛{ZQ+aRA3LdzJp}*4.We r9L 8hYJ/`)nE5IEm?GCJ5u?{Bx#m2˳#Q}b |}oG֟kl~ޜ- BwyTd@ '45U#}q'j*R ) e/x8`.ofE;"kGx^#WK1Kawx\@E'Sf=Ga~A]vur#0ks9Fh[ꖗeMG~=:qO9'nz75r'#R3qŏ;OA~3.6kHt_9tS7R7u+ˈL-:긯45鶸٥20ב%_83X~ 8 ܊sҿ ZrYGdn3 *ϙg#F:MC۰X U; 'wgb-ƴTpHmFL%8G$@C{z~\Ҩnyf 캗 < ?uZƮ=$h ԁ.Z=7i V;Vl`,~$=dP"/jY's$Ly{:`?}>CD:q0$: %˓03\H]dzGNZ`% ,H!@5%n 44p34Acd{.ˠy·I^&zLx 6ޖm%4{up2owe*VF\ OmҤoRA\y81aԀ9"I3@i|Or [ck'&Bg<NMrA]?%U\RV>*˃ސ spB遬6O/tO!m}Jq=@7 O@tN kj6{bPq/n"#?srDt F7⻢)ߋOؘnve]!'#NaH-Eh-P$C%]&Es/o &;W}{DO+(-M&a8GRX14Ef3a 书.aH+/sd;MWIZ~}b'AA1%-)ċްܐvosXKmKˣ)>q^s 9ds& t|bN[|'ޫ<jMGd~FS>j*-ʿ_a˅S <cHXmŊ $ )|j=p͆)* 1x9$\#iAxQƛ7wMZYcuؒxx~s2DMmܻ*~ի@E#-ԒH ܤ,Đk kD|Agɦɓs B\n@fτ%X?Xj+e"ڈ}=~peh3}il6hMQ؅+O)ζiOe8Dm,0i; CS`}bQkv(AIힾY\/L昹91bMDkUSFkVAϠޑOQ´:qoOQ+jOQm)MY0s:w_Pnl@ibpJ~ !`O?@Z}W /n77 RjJd;F· %GP 8H@+>5L\ѼE԰ ۛi?o:/g!;o3leD6uCY`?Q݃I[m .+Wf+V+7\UVsI6gɒf * y(¹5(]UZ.3wevc=iշ0i;A" 騐ٜ!H-T^qd<@68z/sNlv])Q-_ގM0dϟQ @O)*W9G=$>E CE`ǑVM\^z|?ČBl h9. :{oY6䆤SZYYV]\&LŽ檮(Um_PȯQ5x2NgskW-(B|g#fvYTJ_aBxTY EfnE!̃05Lw5'R۶"r˜IhI7aK/Ye5?쒧r0/wn?M3 ;Vz@71bEjZhr䜳O˯t˦7ꥮܳY)i1i]s Qp^Խ&48`79K&ʃ2M˕53")ز(u{eUD0Ʃ/| knTXmA;g@VW+sncb١aln?8֫DZɬc8jEx`*!l}0C-0^2 w$OE|`XOTqy:¼iЅSzZk[ΜQ(:n=r%%x~-?9)?rU?-b<-]çVJ&8:_|@oHݏHhɓ̨.]=T_[!OϤ)4\2uP{UOze#ZFҟ|.]݌֊9\m/3y,I0ۏrvmS b ?KtHpIeԦ YU炫h6 `UR?BySooL;\`IDc3< avȰ_Mm 6kҾAU x(88FIne3]]2)Zd t2t}^n{v8`Ź!h ['L *3&g+e>~(Gdm@R xW"53QdEFKX)Ir/)2nNei-f>zf`|sv3NLse|[-cZKڢc5Iݪ\kIioz[y+&_W8v zCcYa'N^v/>dQB 4`75N=6x6*k?efNK!Yd\d69G35fK~,.#<^4TM!k"uΨw܂]:6um繥Bg _wrykZ4?A|VދqU;y=ipL"9PɦEm7i/_u>Ъ8 촠[9bG_v4I w``->2$3>g6xa0kQQ(fL\rUR_?qrbQ h .&`|;H> -ΨZH ׉YX'װ†/dmi8J"G [:vl01ڏJnDk̼mp:fad H@P C[X~VrpURn2M$aޝQIJ}"(^X"$f;zk1JLpH3B:S?d1tmS[l)G6G>`,Vyj{ڋ _^K-XOÐ k ֥r_|5̀tڳ:Bw4OxږE{`F=vY)-pC +;Yk JD6Z=FT>)5[&2?~$͟D΀h'  &а8WY8(3ϛUcxcډE5+n\<{#Ko'?biiM5^ lȋ.*_ΞQ-Z:P=R$+7guKsn%FzGtsI 1@"$;49IK|)Y,.> Oݚ]-* kĉ|kmm7詺|R;杠V:A_7J֊=쫚v|×2MuPrTɸż}<}yw˼+v܋J8@p: ~Iu0_VFj^$_ 1L^w``mh8& & x_#%gYZ7zXZִF! ]ŗXiɟ1˦r+odo)4ڮ@Ffvٍe-|dXGEdN{1hóu50ltɩ ! S=ն毀Y'FPԧ (1|ۀ"*Rf8?zΌEluo`˗I)SE&%Ŵ#tmvI)B>k8U+I- zZ5A5CygYZ7zXZִF! ]ŗXi%L!3OXZ$`?i4=dO5u﫭LYCV {͠ſN8٤\3,Ǩ]sh;5Cb(&kp!'GXBI0KYX2s[ 5ʠ]&~C*,]\A{lG {$\[cY&LuTd d+$ҕ6_' / -_0` Xetٌb: ,b%ZR䂱0 `a Uwv,\pDdF\or>X4 y!:^?aDD])huyםLR!} /YS,w1|RAl9X*Ŧvo]@sSEgUv%uz V m7om{XE_ᤜoqYJ @D19u:`w]Itr V7~tKtp3sB @G^JpO:K,{hqZm>#xŢ.$Pt.tW˨a!MJͻK@iBNhnԗWtzHQ sW-8O' jhYh`y=`K(8]5hHѓxi@F m)=NNg[ER ). I=bC>U҅sV÷BD[0IrEǓ@9Ed(.&b;ldkNgj f޺bgG(mռ~y+ N37P4T,Nvk}k:$!K"帒W [-L׎u//AV*㦨ٵIR6ic!WzLbP9T[+.ijk.A(~ F˞۪vއ2 "R cv%Υ0A \?[h[[lFZy 0HDG*I28U)# a9!e0gz2h$ J_jG4aibjr6/&d҅qq'2RFVsD"?jiϻdFا|S2CFQbEu` 3JN@K*Jzb|K@|$`ȷ0{ ,K}j41zD#LP@q,8P&z vPBUۺ`ƝK6~G#k{j3C<6dc[NOPލDIsX,[}y$2QǒEB*t76Tixw+Zmd襊́w&ywm*ŁB?]}lma7Z֠P-َ>/ogPGp@&簽g43"MJ Wy]>F3{L! 6ƸaԂF"}Sĩ/9(߄-bJ Uצ -E N!L6R4|ٜ.O1Ѯڈ7PǷw`Q'zCTvjiJczz+(>͸#N$tĀz?9]%\B#l1|UЃ؝ra-`\ѫ*\rvEr(2VS/_ ILazQľm!%$`P^b^*_7wy,Wz]cpJH2<${Q~ihh:,[2|2x.;ʊO"]D)x&LzԚ :dMЂXncTS* y prL&5CCŷf~;4aŒvB'q (9L!cp|5SLXTҶr[H/GPQr0`27PoC/6Og*i~{ܩqF c iZJƅ,Às5y[GTxO|!A PXV8gYZe5fa011aa0c6c06635b6a36a9f6246cde5fd8b318215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61 b863ecb450f7e2f4075efd6e1207bae8c6ac257b 38f9f4ed2bf44d4e2a3c3f9f4761a59c5b0bdf6f