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  @ @d \ ] Core_DOM:threads=4elapsed=335.411cpu=1032.160gc=56.288factor=3.087zXZִF! iy]ŗXf[&u PcƃMfeĒ'Y[WS/JHWESheپH!M LElow%״|kg 1RaoYƕXW}26^= @Uu.*BTt鼉~ (xS[ -Qv9S4L& u)E8   Core_DOM  7StЫɇZlfEy}UpBP~)N~ƕx<|'ߣ;鹩Ky۳&[:k]s(CAj u݄ hd-XZd}C8>#AzM|oTv˼LA5kx$;mF)Vn c|:&Pi hz=ls,moNm,otrIk!5eŗAP(  alH¡&I{c*{֝fzڐߗhq5u*o]IZ#r.|<A5G{ m4$JF{1\?Ony4LZY<>cPH\*}<刹gR[hltS:"i+5/c|Y3FPq#+|7N~Q.eWNGmC}11f`q g}>2we={4,4cu1 `ʎ [NcKXWpPһ)ҟݮb UԽj/ˊ f"l0 ~qY$=Gώ[Ih=d3 .f2>$7Q]{ۛ&{s =^Ea%KV],N?LHlNLwRKw-8g:`@g+d-hIOV$L /+m|૘sMkΝwKY "rPch+<;Rz>}4!iٹfsP lVQyQ$OեC+8CWMdu}]8/tSءO8-A?ɗu&Ń圂IԻuc^_+EL䰑MhZM'M1P 'h4n/,O>h |TfcLL$3rO|EA!>P7\3IV͑/b-zjD\sj bôNy5kBFWd62ׂ0 ܕ;ry)-!dgE%U[B2mFVhW޻9+w[vo.0Sgm1,4' < Liجn9)Fdz?=z,N/׫yqP _ ZL%`"${ȋ BuJ./2Q>9ҰٔU/sĊ$pFX䟸ڣY_[U7il7J,,s0tߍNh}dT}ӈ03'1s%ė⸰yy?Ƽ)i0o.)BS:<(L+S_ j Z3uoO ZO_He!Fr5{5qH3[o0ݧJE}S3䤞1w2 JsBqPy3z.vo1*Vg'\9ǸC5|sMPYv|k`n>-|G<~;pw{J#YH!4WU*4UC+ۼvڡGטl!U5.p24`(3!Tk oK6fZr#syeItaNxIb-gz$~dw,>=pB&t<=c]A9L{_E9wڹo2Qx:) }4 (%@ iUހKT.MdLftf*`ƠWOŹ#z@D1$ o#欱aYyE/ޕhLK فIi ~(*V'PF謭|o\b\ó2~礞W!pVͨ3DqğI'gF.N}?2V(iQ,yb-3"o |t0=2ׄܘ%fxßm-mniyXY7>WsnyM=x2ڻ+]`-[s<wu1E1 m>KlT]W` UnΣJXl'"ʹօ.=85\`/^Dg7o$*>.B#YH$ l0]KQ%xNCc>2s6_i/S-"*+8C*KNIFwU 7**rCPޯOw6ͧ x,SRJ+ɽ)"kƶJ\Ⱥ?P#yT T9Ӷ]?Z}"{i![Gq.Vua5eb#Qҿ%MKo/OffEBKKV1=hؾ fi<5K#ATZ]:).1bn7}^8Ղp_™h67!{t)( 4E(<)<>}>ÒSͣ:Txmf8Yէʋr7PͦbK,7cMTڤ9#n،Iґ\ \MݷڤA6Sk gjcb<8[6ۺLz?=2Z Nsy/;PA+6yY!B9jP-EڳM"l];9 0|VƏN>{X#D@( W|ZFiU )srHY)#,,2pYv;Dm! vsRl =cG]؛#>HƠ'H!;Ўf]f9+#9ANjcQD&·OmjK 9}+{~3{ 6:~vڠ4 ϹQ7Π҇ 娙I/O1/y)r=Kbbp9|dkO"j88@,ŀEjmd(Bq ~9Ii㵒~&N(EYoܙ_|ds_ʁH4Ԡx]n _Za}Lj> nOc:_Ցe¹{4}8܄31|p0^_6_g{JLWי:q3 ^ rsi`8"cQr o7eև JyN<R20x1{3خ%?fWpB̯ʻ08ChV`CJXhS`c&B0Ѹ6tޕsʯTnCICbHr/Ö/v)!n+>nr.*5"mť 9޴}@ݹ'ƞe2upo3y#ڻ?>7IM|a:5*tso?kժwWtUșm` ֲMˁ†4hxHf`n\-#Sz_L/? O!vt-,U|%)UbOx##DkW(I>93DW7ėI^EncImVI7sJMw< \J.4 !EwfOi\ΡLAϑ>fW })WnżLŦ3y/#͖׹z)LޘCX569[v0<\,0ܼ*>oZNp*6y_PYJ|y j>E74=8{AUc3UZf YGq=7ځ+3r iSGim- 0,j5uDϪp2;oNg8w_ ~LJ dg !KZ6XEH`J*`ϴixM⼀ K* 񩏂/9.ˑ$0UhUQҦq7XT;JW~/5uxC^Nn-y?V?rOfAF0a׺o*d߀7Wv.Uamő۰FiMC.6&oBaF߀'`:jǭ&Lq4?S`Awn).CAUUJ vu'7 K f/*i/VehYb:0o.ԼJCX#jʀ^/]3UP<`H/;E劯V_]]yz-(&v?#lja|cx]xP V^7:PJ>ʏ۰ْvt/~T}^v=ڎ8JZa}> |!McF71M$Y.P0v5ꕬTp6KcL S$P4;6Km8^iovk?"r~r}D4k(W}?~R۳n7{0\W [H{쿟^y+W_yV[&*MdE!26`T]=J5hf7˒͕ B wG׀weCAr)jKzb1@V^f࿦L 5J0#jT{LJ,#5EGh+ye*>Dsjt^C`&B7V4Xm<[4`_3'ioeZ aX">ukp99?,]KĞݨvZUoVq&w57%)ZH"<8T+63SoRY(1w׻Moa QqŁ, d<Ęg1i8[&Jvȗ/]·;>MjY$CqLG¡,va:C깤h/2%YR>6.%pkNQ[a2\>rwӅҼ|%<]h2U.kǣNdG,YsM/%%mӦTcz?3xaeuۢh.ܒ .ͳs:A>t~U,u索%A*%_涷]+Zd@\  r5PduA]OG{D ~U!}%ʨhn.[MvxYvӧH|RRE4PYrN]HV WV 1cI=>egYZ7zXZִF! ~]ŗXiɟ69|%ELYah\&[Vxzerh,"՟x 9/ߍĭ 57Ma؁bkKE HnKvZj ӯ[ֶ"c=]Lwkg` ?%.t(^?uRyf+{Vc+o7/hPU>\,Vxވ9X|BRʶ,s4z^r?\bp xdb&M8UYYZz2DZg`U9KӢyYPjay6AHeE8lGGLPǰO@姎MeE韛E_xhgI^O{{b qVv7}N4Ȑbn{Ktx-"66.]ה\©'lRf Hz2r+Ɋ]>gq/%SeD&f<!|rsŢ`)@+j)l\ADc/}WGm[*X'!n>?eh)~LgdP6#:r)Q+tp&ipj_5ZȵMe:@Sn'}2}i"J]=VݪeO]^Cϧ6|CTfMv X.%)6V4-^k1vAPLR gYZ7zXZִF! d3p]ŗXi%Baxe0L_v8nP_;Zڞ6Xݤ@ł} 'xP3`8#~-:"kLKzHa~c OF0.;f$KR_򉌴ꈔG3֍#~ o1֏UW85#t#)Fif$yYfa:ⷪIw't'1\#v4{zf ebK^lQ@޹0To?nO#!i{7dNKTݙ7~aL(uF!f&z+R^n}ߵRXrV^Lh^Cp.6Gy蘝hWjOԅQ 5CorY R^gIčb!~R$ȖYDD@sBO~/V,_v۫=d 5 xG9rښ:ղHto2w\x([(+:Vpp+]&"\9Yw?=!CQ2`nC>b8q 8!p7ort2hEOjNcݫ) v+9PH*bi`  -I%g:ukv2D5mbĶQC|;IDTQQ 4-r]YC!Sծ-"0Y7)DLmx m᜞bLoޖ9ƷT Mb(J9|]k":uO˜?2JkKM}Fn#G .<#q͆{Yύ'`i:4QScԉ%|ҷ&!+h, XҎYvS ۶sa9{,$BkYg'밮g,t|I' #}smڦBX)\T]r>os$Ht(кV; ]4-QTLe3H_q11"˄,}31v^j.ŝk= ݛUT%Xg2}7E)Liٝ id2aQ޹ClC*TEL.J 9լ&1UoxrL uHcnZ> EC9K!m>5!9p@-؀eȏ)hOȟN;GSn`;!i˖%(e޸A"3PJ1RcQJ]띾F,FCD|fcN)mM= A-ζ(z^WIv `8w7k◳vl;. .l _2PB=T.JGHR>}AtP[*i87#7jtԙm<^ɲ|4n,2g9CxbcH%3#G:7F4ڞ㼍wm,Ouơ -g2-ORRz=OM5(D3>VB!8;KV{q$.p Ja3^oEu)*L#עpwj/!]0XY\Ҽh"5Ĕ &< ͥ Е鲢z*Xo?*1|A ~tC)wc$lZ#z6`v|E.n"Luu,kًW'':/yIٹUb*~N۳vzu x=y0NMjeu>Sﳅ)i[Q`vt%.dHѳgY"/~"f;]*0Ods]bZW`U:7S:,Fdu!b|^2 28Cvaw R cB#obʛPe}T:sk} ~J64ܭ|!btQOf>6Jl=yJ`@<y͙ofoyu1mjSe2nZOPy /^U 7m= ]GoB@0&! ƮF8?V];yG_9њ_8of) ;!V7rg,dز8^ٛII27`pa+~^Ktn`5yO\?Qy[RW3Q~= S M[њXZX/nXP6UHtCs[^u]IE@}$;mH|kuO2fo.L5hf)w~hɤE|5Ke(%t>0ut'A47`@c\}1׋g|dEjC37ON2 -bM/A $`>wӐS8TY! ӳLW14(<([|VL1ZqG=eA~4b"l\vCm{ԖmmLš'cHnDJbfE1MqC3rj[YhG#5}Z4]t$}L?-?u|q 7Yb5l-?SpB}=]͕KWW.# =v`9yp A<s-{-&ASKD}I݉8A@J#xO*;9>a8!R k^DKZIo˜/ͳ][٥Xe$,; t` g , c&L]>=\ӛJ2f: I"%nTFevx]x 9xZ/I2R&>Im YzinH|0`iˆ;߬i#D?^Nsҝrv@4m@L)P٦~zsmM}^jեl1xF9k5P''GYQY\f|C 8^~4v<롡HqQ}9tCwpF?6eBG2sk'ٲ9O(j_4e [+ܺj+==v`\1)/B(w֚;]U-V $#!}VgSK,AT#mwn fap%uTyjn{w POKkhȵѐ j `LPĚљ,(IEX|e\60Du׋hR.RK'erQR.bˈ6箮xU|SV];1%(ܱ]ɢ?WĶicm_,k K~3GGTk p?sXkA]Uy3}Kۚ""&N0sNxnRLyt#;# :Uy\NY ̻|N{ҡZ̉XleߕNƃr$L+96 !p͝,n%/=+\B0@}IUܧd kl ڎ0"gkks C$UlUaCkl|4\I+g֭JFVznxPj#O@ފd?lu6җ$ 3Z4政#c:V]p8e}P >8#Wz:"HuI{nt( b#u]f80mn RQK6dVy FO^]ط34)7}Ia8kZ9E|(g[7Ea4rMv\~v>  ycĿJ/uGa ߎJ0ሀY&SR) l-vKVrbv0'IWkkR~4*LL"fH- 7&Š|Fף %F@vE-ϩKz!]rFMp :tY㥀< >O\N~مLem 6h>1b#C 2MKlTJl [Q@ ,wrF ZHl?~r49ϖ,0<{{?l=REj}sSPe\@&- S;Jȅ^+dv&a -chMW*$mb`;ֹw;GRG{Cx*)ޛzLi=-X<>O%)gQ8'?0eL)# \qv+*fSToK@OzD֘Ⲯ~0Hq=Pu(-<ݱagG7)|z~ Aj6k,ܴEK!!Z]X!R |1TgUW=xx1/ѴR8IK@u6D yZǰ\{Vᶢ3L!)6!}!X MFanZ7,b*CvcK;љ`*KхbܴB)0?fno7@Xos )mAKXkP$4aLF-k}M6P)WrEgrE&I0k$LAG¿BY%BN>,L&;˗2PuXt[KmЮBV X_ Fpΐ [P@+-ml8 =m(P:jA_a6h%WiS3>٧xVBJA( A̭{W摙1ioLw:";%LNj௔MH5/zCʱZƼwDĿquٯ"UCN<"X:[7bRΖ=)ؾB?vÃOgUI0 aL]=v R BPߡ@7: ¡% 'B3f#ljxlzk@ jq!K%A$iLa,[99d&_;q@ojߴfx.IIv'si ON@uZ04o:_P!BB( ֝a,Tq?kS/[?P>>eL ԛN$π;,*@Ɖ.\T ) 4mx݅DZ= ^w2NjJp(>2{pN3 ooa6̫81#\}p(R܆g&CB1t=v<ιazXYNepp0j~u0n*3ﰭ;*jpJ;y9;xw AsLRDOpvEOfQƊMT&jC<`5H\38+Yi/tЙ4F,u4]>P3R\{kTP 1yW$e65aOQ:Ĵ*<̵O}@dR Rl.LeR2HY|R QH? ߸رo05뭘9{M,wt⏮Z;vO͍aPN81L~Ś, >J@WhV D%Ο( p- ų8E8@т'@;-bqNV5uRQlZs55\GHޝeJaעz]AX|!CQB G>s2fa YQzo;-bcjxl`4J‰"ob0-D*jj4p<(gd!B=ģ1jLv͐Tx+^=5 wY\!']T}&3*dbM pQߪ6j;C|=Lh6=\ܫjg 0'lMQf|hcqlw΋0aK%Jnp hF|죊8Rp#ѱ]ȖxF.Az>ۮ)BS$3|@}!SFM+Fft[q r\9Vb`Gs@W dd\p~gK"o@ Ae ?΅\39_;J#NtuY3p[K4Fh㚅(ٵF&7hy'xȗ6s0ˇm @ 4qL%JGɱ2sP5D5A-hشH"J`LOdQ+  s:qT3Cy; }|KA-n.GB (mS^Y5Fs:I0iqr\(<V3e.}&JD0D#xکT9W$m.9.3f<j||d yIVs9B ;VaIXr-qx*YtfZݰZvnJ~#3wfNkf/߫E7gk,D3K#գ1qﰎOKWEC\=llXxej]#G~ys'l 1/rci>/C3;(if+>SpwFN`OLXHۧ[ #(P *;S ` l(%6i!~';Lws*]MSIBZ[l6Mq.z҉+WE{ u(7%898 eإWb/T0qHig@RfWyuq"0u,RWo>UsA_T;;Y:CIJv)9`M֠٧*4ҍ1"Eg۱Kkh \mzJO232ɞNZG)8*OCF "oT|qQh8fnev / Ǔ00Bib\yƧ!9jZ~wI+:GJ<fzh6n[8\O^_>D04g9}~듙91uf1<!&=mA5=eO tRd3}b{J*%,ry@ w(#;'p_LoIr{dG%.FEJ8+dEO[EaNDa<mNtGE~~\{vm )-:v s-D&Y;/{$&N}yWXDkvA]*-܂,Et=L1g暕|~IxǶc')5-<2vP*r 8td9bUHC^DD= dh?D {܊70raXFp re#@j1Հ /˶[1=4rZ`2kb\%^Bl80#9 Uo-{iPSK #2C󵡻}IU-16f$+l)s s-&~ -ꙡjpɠFfV1‹ڮRÒHR*FBvvkn~`97xD3/1ARK53dó:"2xMh*|J>\| ,-FfY"fndZ`2_jЪ5f {Mp|_ͬ.Mj) A|ףMڥ"z=.hv˴]%yL>&\eUx"GpA6mG: E.f1 {$*Ѧ0}1g)BfslIE>DҠ%gΧ3&r(fI)P|&JY̯`I'_tN$$_#?AmZz?~Rq+ ".rD[_]0%h 2q@gm~AQ,Umv4MBE^Gҭl\oJ.m5$ݬ{Fw7cfkcX4uEQCHؙ2 p^uh|ާ[ɻ@MQG\/f> ;!89: 3ҙrhUN=ʇ2r$p B7vь-HOȈmc9G{HA`r~:%MMBYi+\Q@tИ o(/_!B0G91Ƥ(4hs GA0Dys%3noRy-NL(A9tj7z^iߧun2 0œ,ډ*H=U0LImNr""obaR&[ z (='ڦ=5z-U{73;d%ST Co)VMQ{A OEuQ.p_cV=SAU0u h- tVOOuyY]i|hӖ'(Α-C2kzQbg܃;dEQ+S( 0j)O2DJvXw{k.1?kb:DG4L'i a6.|pPv1kMGS`AϠt>ׯ۶*B#/ ЙGo3rC33LS=ʂ802_W2"i *(tY usm& {;F5N,#{<pON/ Ĩi] s3|#;'o5-8g(Th\EkA Tc*mioѼM`EOlɋ{-V39Gyw4VLelC3rH2!hs BݍOrMc̀rCQe~tW(/EaKV uS}VJs$ΔLB8mP*?v=]ybvs*^0l|_ :S_&؟TnGu7 ة󽾔d\V/7zcAVc^QExԔ`%yf WBdžg sC8}x! Q𺚱4^-Zk,ٕO=cz Reyb@4Zy.N8fkr*P+­c9-%r^>ˇ˴\l>됓DvGjgl 3Woz,$_ \,d3n;V7_OhÊ4'huG]Tc :g~.P.QFe}Z-s{4m|6s@UH(x)rׅu2#:ڀ2t r;,k>$ȶ$F<,%K,"u)8)^wvƯ}mNUKz\XBίEOl״[vX̥`J5 ,ILG Cvs]֝t͚ 7kN:=Թ~;&;B=L?2lGb9˪P7љD繋Z.{3-i]yyI*&e t'F?t]?T˂PКb0"]H{}a <wYaɴq@/=?BS4/iBY aYDH[/$3-mF#dvȡ>W. n1:)?ulwYv)XQ^P!Ͱ,\T@Po``_M$KC?WYG@p4F$U~Bn?o`T6^J;3Eh C|mKS7[|vVmcӱu]XmMFՐXZa]mMZ6[AUƊonAF2do:[4$24`h|@xL)ϼcㅖ=w\+,2"y1 g'B3 K},]dߏkPLT  5Cxirwԭ7(;b[/rt=>fٮ,|^BA#H-fQ~HDGw. /y9W eTNÃJ(Om)S N1(gu}e6^ndHX%,mc~-nnh%+U3*M;uktҽE2.7f p:ҥ,4'tmr6u$iٱU 0n*-, Kp鄘urXh]$|.﫷nw#i=c楱PsB̈D|wA%όNwH֥E> Wo=[ĉ>E[UuT]JbŰ}-fNχ㠋)r"D³qM|֎vO$DR[5JݭbCșϹOW'H,MR )Rԗ旇\4ýoVj`p͉ikh)=z{bUj=rZޛy;RjX qir{vLF~4# .)SY~\c*!#ͥacwlѰw=X7ƌA1Ah)h_I^d<:-Ќgm%wlbv۴.cG])tDHVHE'S iĕP!1~aH lC; 31ysдՇmc!^=4bx&k'L}zPgğB ve}S.#^Km1պM_ NHِLp#-,4IǠYNr_}]Mo`3>EMA&+`F7p ҥ 'Q֡I$;iBr?iZ/tqCVI7%^nv&I`8\^.Yc<A %} fV/^V [0#+""CLL)D 2>A`s튦{qH'zrC"k=3b*n>x u< J*h3k5穳^`O4V [B M $1U=sSb.hG k<R,xks=@^`sT$dsXGP륋%1w%-}&|o2B V`] 'Q:j1Ͻa @!qku=ohe@2D@dl%7V]%Tp,oVTq1tq*E:9xkK載rvt"669dQ>f'I˶gfu"6 .Xƨ EC*M\G4$b{2Iе%Ys+:p7b>n;L캏D $19"gOC{omJ" :>yPiR "++g'xQǮP], n,9{aQ:-\S\f0"vtA\d A|ǤV?x45 D۴},W,1e 5z"˿piD1CZ:nfjhM(.]ڹnC?,&ʎ/u(R&1}yOa(% 8M/<]T8.Ĝ1{|v.iC\1+u61+IмpP A$拌1YC,xxGEuYh/wkXt=Ma!E$D7 gKįEBêۗG%: "An'/*~$V!])&2m9 9l;\@蟃BNO!JaCTuK` AKl0(|9(FMۉQץ;GoiΪ/ũ4XFƲg/ԧ__yP'Гi6wO*vE9S45~2 E*<wJM@3l'e u {; pBUɡU<׶q"(ծf""JbRT[?6+2xl\\*y#>_(Zʔ87: mA؂b5Ǒ/Ox>\:Gќu{щ5`sL7:J[Z8@{eh'WhV!Ӭ ^P+,D"-th%-P2e^F$1a`3=48|`x0!:6v GL8a>瑻re 7tz@eBG|Ĉyɘ30p,);aĂu)B:(N(KlE9hW'P`jM<&S'8,&4)=TSJ5ߏGF˪&?$rcge?vYW,= ˗`e3hwM&yo}[xU<2:aE`:@ WзȻ%4Sl"XS* |mwG_a;u9chdTՓvpѐUc0T9b53< bb:* b^Tcha(1GBQb=Ȗ:zyd7N >ƌ8IX¿]:$Fn tc>frVy9,_LMI80g"wXkMn4J[p!\`NGkUi|"s̗ "z: M"@i {CJC Pb̓4Fϧ&Ntt~ZL,=/}ܾ1w-Ƭ"2>(+Or F- \۫pH= Ã3F⛫0h?7K8"5eMlD/r"nSj݋'B?xS]Y0_lo, 7k8#k JVCt7B'ןx3n&*;"8̑"eTYYQd`"uJڅ48Ց-G%><90ÔdJYa-d8.f~o$>>6 >ـ;HԭHy{ZP>#1r Fƺ P&]k U%C8RIPO&:\ƏyHLYJ3d2 y=&ǥylGASb5 ʫdG S!LO%@Y9 I&JXblPȨ:JxFFFɹё*Ko Wxk#ڡEBQ%AmO%yh! |HzNvc#v >WCVm]b(\-b0$_D뎗/YUMiT>;pXYwhrutfͼ f]3Bn :0E6(æ,h|^)|o$h3;0^O Ϗrj QLӲ?5g-t& =Vgf).eP(K#kDqZg-%S!)G8EvvciG O3}H 118q&t\ϽS̼U9!]I?~|;>L=BT{Mh= {?ZKő6_ ֨Ì :U-tul<7"7j ML4xP76>Rh$?\뛁{1@\E6f*2ncf7.0٪6dO\s~vB/w|0e% .M3Bw:/N&ҙnɓi#; ^Jnla}ͫ(;Ӝn@9ޗ+RmF"Ґe aywQҘ2|?+9=W_ [D{MKᯝVcC%B2+_-ҩ  !kbf+;" (5m܉`L,::F@w%HB]0T:YQOf뀊a2ZB# V#`m)ss}D}/#yQ)l?[#k%X",QG Si 2VZZeNMӲĵfө-fXɟCˀ 7-B16X26R,CtFIJ FZ^sldL|G 6ew'5A -nCIiaz6}a9\'VLۙdi|~œH@4Â#?ɡ//%QȊ] V(NXb(X9 duk/9c G/.>cJӜ[ TӪx#@p[F+hψXh0.2% *"~D5"i؝b}`Ȁy-h'`躥Rwy<[N_E\@j)Աs?Zif8Y6[3L)Q$ҡqɨܦtJۭemk=Y ޠ yGHyw#q'Y72lʻʼxnm+$jG/:$?V|V} PC]շQC8mͮ `5XQҼeעpD(f̔oRXJB]G Sb|@XQ=e-6륨&e8+3 SoZeomF***34pr@.dɷ̋Ai2Z˭h5ڡؤ7LGgʥLۡbU f: R)@҉A5s*uqr`5^$Z).>n1X^[v?ɗ-Dyg+aCLjc!OkPC P+V $g%f'F zH28|t:a͚ceԁ.%3bm׺vx"yrx/wGǵH强6[pX֑0}F6$)W@ CTȧ.Nm s@ġ*<(,R۔Zxta c11t5?<ܙ6-Q IplZSûF8PW X'YJiO哼颉BKS-[69zw=*F[vWh1(9Gnက`f)2ݣ>yYHN-jյncGp0HO17- !V#?,7#MDI*EթՃ_ݯN?xE1tl!}w?6^D_ t_Ү##’PP;rsmV<ڑD(I!hawg[;UOȆ" htAt֑W,F231¨ ?GfTLc.e݋?}'? C!WhNGFn^daZb u*+"(aO2odP75FSGA=ΘpR%`=T2W J_-Q=*9@\gaaH":Nr[G4yh5lrSr1眛F)h. D Pv"LN9*;~ ,k9z5'!Ƃ-P6/aHA#O͓ybmɔx x ǵ4 wG.e .{?VG" ]H60GUdݷT_WFvՆг.j%"HIxfǼaU\p@a :~g:SHў`؊NYWgxҸqauc3xJn&Ͽ(crRU+"ofy!Geُo&7қLY客C܉+ː)^sѶک| }5A6Vj GàPj9(ʻ?2%Uz{ĜQKH1ݡ: XGj*P-cdGe`MHV{J?z3xOXG,b$*1J՘c=or,F÷\9I,*Î2L0^r +iލ誅 h>Pc*O8ʔ~ѭV@ܻ=cqdEb.Ʌl}wiyA{wqMDޮ GЛ8ťȳX) SV{_l*U}-l7h՘p@* kAk^rүr*vbW[rKV|g?[_=.G푳= mirf49UP6j_^S׭2{ʩ6Hj|TyNLK G}^%ߨ/JNkoi{=x lkPH 6CI*(tqNM7s g 23`=_/o(ʹAi9|jj)\^k`eќr'K@q?zme'.nƎE:}($-bEi(o}*ŝY:ʰq\ܳsd)7-xnxnzj8fng,O1ju.q-? ؽFTb5$Hb<,/$ 䚿Y=f;W۪2XcEu~._%r)k5 凝J%%RX/@Ĥ nx$/L߰GcòNl1CAea=Kz1X2/6Y8Ц&2V_ "4QÙ2mA`*z/x!J1Jl9h̼[m0,Q;d'O$HM!})ӽmoW 3ߖArT""B%54SG)ds96qo+QEq{cxFQ{婻vXj<28˴=sj\ՀwA^ 2r[W51rexlZkioAw<.k܍C; YS%ԙ7tg?Az7Y<, 7Q]g.f @q@EĤ46S9-^ߐG\WS\ Ai%헼N9;zMIdY{m2o*]FL]>.ބR RspSͥ")+>AY?(lP7GwҺq(5 'Sl2|"3HF` .$ GFyK~+̃{ݼV%HcxaJɌq٩)?mJ;&ų 5W/\wB\ 8|-~ cIAW _hK]PuGR}HaܗиrΝD;XJd2Hn+4N}}W`{|9bQ*[kqaF(&/_0/5>O_ϣA~I?4ShlWHAՓF^sT:3sж>Z~ΛoJ Ww$a`&Ȫ!|Ҹ*r{Q Y3@ǔ_KZSx8(PK;V]+G@Q$G 1~c2t]Ռ4gm>|y Mf^f@zơyrɣ,-jA-̘{Y] ' CWSehs|u%!y fK %|_j+6N%;Zי1 4;l 4+1)]G`PњDj `t,tٶ삐,i \R`DH)+ 0HZxV"'J1VVtUQ^fgm~W#}nQd[;]9D+7vX39QʽoIPB{g/}o0Xke!yQۆb,LdiCh$qD[PWaj1#3 N=Y88&%iG߁)¡Q2kho@|˟/l1ܶɹ.0 L$B'N3) 6a2B68#O^nr"kpZ7JV U"$29-KUs@~/gZCg*gXoXY(X1z) k׹ڞŞ3T3anٸr"ڲ%5;yJc)7X~ ُoF>& BNW<ϱa?*RsDQDTfϰ/.j‰uY .HջqϿQarpN0EnÂ3{jDڀ]9|[+xj݋*"]+.S. <Ь̝|Bߙoďj}j$(l{il6GYA筦I:+ j$U9arޚlʐ=}b5[_32@%36Ê`7zVIkF%`KGH^:;}nGL٠W̶۞NxU;0' UP~i?RKQ8 Y[ۮ*xnoe-m" Ua% 9waVؗO}6\SeeH[?#CzT;%jڱ6lEV ٙFwf]Ʒ"n{tmB|),&xk|NE_WnR`s1sm+5@t тn#tEaEJկ" qy+Povb6>B/{ʲn程궻W9M@m6m)UqGnZz4L],,(U +r:\1~t9ڨV(͹Wi>fss;Z^@]iʷ5N%w~ug8|PٌzB6z䴓A6kg" O#o"S^g(F^R?Fh4M c7$uzKOM|W*EۋvGWpTz5rU#U\|>3Ee3V`z\M`I.a Ka+zS/&F+⭦ >@K2jz.z}ŗ(%qy uI%J z?oDc?YR UcSK$9Vb@k|Gr!(A;mA5 }Sϗt.Jz%K5NTÃfIk'gĘ N;)8@0fm(GY?nDI~=8" Aarw7 YP~߰9ʖ^y)6VX {]KSej 'uy%߯l?@0q#bXCɤ*aYsGcYƴ",l;ĺxT]w<%,.(!!KmтhQE԰aNf?V# "/'1Fo>އAiDZ?{3]$'y,ʐ7seD+ \l=.d/<1.KZҶƜPGIٓXX c÷o1&`pF $gX0A<7ox@V.x&CՕ4pY2σ"آZI=x81kKUgNC`r{⭙Q2՟wKa'5Kr4+Ðpƕ"N=saA x:MhVqaK3.z}mxPl`YVSliG$sE#ښXVS:<$̬j5 NV?Yle Cڹ?9؆@"AuT_t*䍨 5/}"{ ^@XR?"]& ǔ49 RM6uQ\?}X&x҅8e75w/ty,;s3Y:2%ਹEQ 'PvF͎ޘm LvnsykkB Kn Y޹nØA# x O+e-HW0C-HBn0Ph aW-'rsćr,~agy=F>,wP|ٰOR]krZS-a$A//O]JU e$#H`Ȯ+DŽG<#kTZ`Kj;yUYʷ 3\ؐnA]: 8gU `$ $F5y(lkr3S#Cx,quK$:4=[FەH2@) j'GHgw|PS1`@e=yPXFg4&߿n`G`֡|ciF{FH D1y`0) *e#[VS[gYZ19ce3c91632c57ed64856d07972607021d111bf83853cc710de37a8d8ae8e2ce10739760530fc782 24be91445dfd95ccebd8630650aef4cacbc92e8b 19cc2c37b59cd619e8d5c50b1c9e3eeada232480