SQLite format 3@ .0:  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  l lhtT ]% HOL-ex:threads=4elapsed=393.130cpu=1410.832gc=41.360factor=3.597zXZִF! 3]ŗXf1-q恉<:P _X7D *-R~x=ҮMZ0<\a:uUU8j!Y$0>*/E>4Fe hv_ā."r% HuLRsq|$_Գ>!ػs~~'1'?[}mRABβ 2A"zBFo7/8A?Ăks;*2Ju޵5bC0tƺnU [,"`vA3t`\dg5yMBrmST. TAS7Y d XDfNT!]0/VCMq`4> Jܲi?(Ⱦ)qʃ˄%=ߚ?4 MC|_,"v)%=n͉ؽgMrBEgPڼt7H f8t+Ga c1Fzaolfَf+gnϻhsɺTh<)=@+76H'n>1N3ꩪ,s~lM&uА5I:}tT:y`m9YmyGҾ3@Gru|;"|eP)g?:pRO‘7տ)2  5o 0V~6S|x?T$/Wv/CYbs͖&fklϒ)|:=}./ ϫ6wSr7a&oLaۉK* K,3a 7;[ "RxSbVM`a2RAɔDF)ڢ/^:K%//Mt N5|ʛ7;/44o_%(+ jհ4 4͊T9Xt?̡D::v1&y0,D^F,bC6,Pc E3A6jq(QnM8 I޶T;*.>*KA_71P5j2rhK^HRqm<{Qn*Pn"omR. -UƦt^Ls^ )‹E {oLN{dv5O 1Vh +?Jȑwןb*S/nΰFbF ! ԱGagKQi'٨Enxͳ(]YPEls1:!kSv1B]wS%:y >":Iz,o$ ! HNb7:}5 BE$Z `&b{&4<-l:3;KE%4m^wg1(q s"HcyX Rc(Z\`0P'ƀ RYM@E.TeeC&&´hGIbTJ 3n}qiBo9|`ѳpF9zf54"D=&^ ggYZ /7+ HOL-exHOL-ex.Code_Lazy_Democode/lfilter.ML%\H9}U,x=6 MF4~l&Xn|=s՜4-9PՒH=U -Dn1vnwp5k>^*u@SaPN)p 3^ !KxVĕm?0G,J86F3ڭ``7mѱU#П#uA 4ICښZ-vqpL#=mE/}_"Hu vK:;#Aص}'(I#)dxP5u7*ɤǫw 9-?dc̼V)k&r5Y@d5םIC+ &)1_XN9>KS@~EVKV[XhmK`Ԗw#X7R*#5@>^ pHPj /71D> 0_OB`Wԍ:$0|c}SEj)ә3ir2ŝoKi[LTfT%)iڂMً:lFo~Swx\gV<[= 7 %$Oɨ9c>KgBۖ^˓PXIx 794Ë|"pxb{v-' x݈uQؽ=,jzg"d\Y /Th}&ӛt-OlҰ"ԋ#iq/VY}OC A췏 um.TPt;t⩀}k[va t^>ہŞvd0qÐh`0py=5v<NIbA8[ȯ gc2]Qݪ*_ e=ߘ<^.5[%<B5K>-`GV)6Zf#E_iYvzU0y'Ipj-!'i,[#ӌtŲЭ% Lᱶj r]fwMO{}t]*<%ю_sHZCY7D>˗~:ٚ\K̻Q, ՚d\vwd`//?u ch6?^lPx3(.'qN- pR*P\x6aѭL>)ɜ*"a@6SZBXԫ֙=& "%Sf{y**]pMҧNFN«Xc'p^)>Y> P"mBLJuޙ[ƈً#ukő{y[~1G+l:({Jk 5W , +q#3nJ:B.]'dm_1Fӎz<#¦U4ڭr <%&I\j*̝vxJ&@5QW@c j|k!N~Kk iPppX*q,eLgR0i cQ/I/J,wVdRR{"8 ~fY;^f eNDIڋ"5k{Z/Br:>׹r Y9[o`Q>o~9rRqVaW!X:2P3m ty~ ѯ7k]@u/W"NM5I ttKNYnc kP4Dx'#݉jYQgL,27n ?`$UQ]" ?qZɍ7v+5MkaMOrG~*`y^@B#@Bj`؈M1bBkqA{dzd?[2͚N!(SbpCXDG9ްTɫ+p\UX7w¬8 #̖;@(eY+< 8rH.s@$ሒa3;4W2*1+[AAd!S+JOY %h I`(CbV~_ oi5,8❴:G s"Dsu C϶gV)_9φ.5Pnf./?*_gΘ^|(wUt<~h̓swMCI9CP.\2 :٬q FPoV-6iXi cR#)8v9d9*:Ljg\BAI|k>MS:}%Wߴ&Ͻ7 ط:qBXq& iI &xUz[W0 r ⵻+,w[<|rwkëg\H6Po0ʫA`bPd>rq\h&79tW3ۚv qr7u<0ZH#esR<#B8䯳'qpU檳$:uսVexPPeLAz8v"> 5LT`(.Z3xY* c$'{Q*:+#աʂ.moT6`C.^JКM3A s?99T*GGgqX# x#RQg_#@^-DI@*>hZ+$U$F'7:ָ )$c_N j2c)}&#B|ϱ#(ۤ.Q3\hL|>bwAzQ6B/0(h΢y95E Í4Ahkbo5k=ѲRx2BN_afGZ}[45jydTz 8,tOhƻ2A).xݻLX☄:Lx<o߽sf80)~B W'kIUJFh(HGwvy\0ɜ)LRNWB"9k|enp0wec!UT~dqҩXoY- 塋tܬj9F8QpY!<$?plmEE7*@ 8FTS)+L @p&%|jT_0")`K(^.K*K#Tt46Vwu:!(:N -ߤ"LL9I fe"fpLcg3_&`a)x CԿ&yr\ ̗Q|ȝv%cE>vݜ_ʹ`k< U鿆K3d;Ib Z$,4*񒌌>Q>Gwz?pB.a8:+mjmNRD3 rwM4[8yDX) íR2:@łX$-ܷfbҾMWe\vOboF7Qm j1? [vIK m+ޚSFZ)u ':T"(f]]qtR:RZ46G&hXx!u{#gmא56׿b[՞HA\iBP -4R1&,%Դ/K·9#cJZ|LRw?~5buEt]\zv_0~:YckbWrVo HmjW:e1!ֱX҄0V}T4ΚR^408触|J5sr gu,oT})XkayDߒKwfSnkJk#\~h3}u2 M]&Ze#,ᣆ\hWRz?"FAyh(}^^vy'Ll@yH.%9a5&f{_-pi>|<5H^+EN&Kuۘ0-nfzCײo~<f(!]7 +cIZllyӦZ!8=Cqݻڧa=[(=yOK=Fzْ}^8HW4 Ca5'S5xֽޮtK29a@*xX$m4 a~|Th"jQ'N8R$A,̻"$.GZ^@'QLZvP{*;b7 ȯ٬d:P}oZg5VJ&"?qMX|灂qq.r揵aOaڱ5JEQ(Yܩyt3zj啖gվ 0¿lEc@.5>{ Xl;1;ޡNR}ҏl7{ f\=D"ett6>PNQce [tMW$`#7Wyy }TaMDރB a35MpjuU|3~͛}wj봙cko^;}f3 Jdf9uLSV: uջo8]/!.?ۗML{\?B0`G9pca#%ʘ۝`iC/T'SKׄl;`࿘Md`]09[nj]^{.y0TA̻nYy@Kn1=\a 9Zg{*S#| KYq2u}Bq"7_ .Vy/s_zQ J2gr'B2rJ _jcq>GEYrcwp/^A`9I'%RâŒ|^jY 6_Z:B8)Q)%ޔEp{mdH(ŽATpB R?LWmFG ! q\5[>M<_"lL1c'Q owJ&Yh:RsYm Oz*,!.쒨od [$޷o2Zc'~õ-}t#,Eq9N O=9Q]zC06,ٞ5" O6G|[܍*['W윊!H!J1BS\DѷFK޻_ɿ94PHͭ;]i3l} 4ugֹRJsRnюۆw5&HGdGCj_}-I W[IkjrUױPnȸN8bК F Dn7??D/W6E g$kw*}ۗkXrQҲ6lZv-DɅMw;X:rsG㾣H.Msˉ{Fe쟦Cvc/KME$Qp8Chr3' i4hwW|#`j(/jJT{JLcoK#Q5X7-.  Ŀ͹s(yS:ҋ٭-rO7]YVts=0+7*bqmCaP)nql-횎GR}dscLOJfȺ-/x$k8&;/8]i_$ Bc#qۯ#a BMv'16X,`a1zI-'v +GRP٬kLtx_4tsȴuNuqYe롏Ԡy2ѵ-Ex(NCЯ۠7/1i *Cs\oW s;7F8@-KFVU]+)7c#L^ MXI8t:EՊqʆ'GpŻG ۬<+ 8쇊=N˒ZW)/jĺ6VFQ[⒘~\B}΋KOKU`/FY*DwچC՚ B=б{͝Y(eCڏ}xXy'oaԬ;6 B* Rpړ-̠E4,Oޘq \Q]#orV8S05YI ƛ0;&ߜW]Q~\IBɰf1_v!KgPї[ s_UEۛ6Ƅ4Ȳd#D*"o#`:u!@'߉pG#Z4&C(~pqQ܄U*eNڃ ?Bx*{oi 2+ h'I 7'5]G//RI+O Hk"3$|-M9 -slF)\0njsl6L"'wf&˙eJZcCB=`!-g>,f(R#Ԧ1:K Qg @YQTT[s4RH{K"ܚq֛W!9Mh*{k$B/B9z,! G͛ qUiSoeM |,-~X7 ##?%ǠJ\(gqykr ۟ S~rԥEohq ]⋟"Gp@.h@84068FUjsN#eL8h5"\ MG|HʽL&9st^"XhBHYfYh# Ҳly}#5h ̱2DoحgyckpcqRfhp.]X |P߿UԔyOW 5^m/CN`kן~VChYWyp&/<]9Ei@޷GXJG4^/H./ډ!,)ΏADUCzpƶD:{Aɿ/PÖ'ީJ6&INP fX.-{F_!|H)poiH׉=.xXrFE@,*iOK I֕[T4MOYK}][s8`}?eB^J`- i"`rWG~JK.F6x9S[X dX17K5/0B<C\e}k-6aVX*X(F8kN&@LLir.T9GK9G#+&p7ob:2^w@I) &q] ϯKSQJՏdj./뭚m3y1 䝕Ez`؍s-Jfß;f}_ U|-~ƨAXi2\u.B: c\G|Ǯdvoʝ͸h 7]LQJļ£c>mPaNSҗ(O@] t Q}WLhk&'>!a£+X!& KxTjd1DLnRSBc*Y"r$DG$!r1v]MRCIW֯#Fz33?CaԖ6~Ij70)T UwyڍL^p<u1(F(ݩGeg,YUJvXmPZij`&- 5UUZwrrL!]qy%85anusTz*l/y1hn{ߕGo }혊s٠L&5dz|p'&0 1U84bWN E>~isHEB |C[)%n* 㨲3:K:] )Ux(W|-vl~Lf[jȞoڑq~ -{Y & =*,AߔBnx;fPyMDxuG΀n߶͖CKW􀉹8˄ٻi`*=\7f.ݙ~Q:{N~=B{< xýeO9uvH/ G"f^84z .eI;a'SC~\#K Eg,8UphiF9l8nTTU&r{S10#=‰U&0lqif4_U>HWc争a.YPVz}blDvxYwW(N%탦*QaggAlAGSGb>)ݬcM/J :,Vgrf;aֶ7])ܡR edD?ӤyMpleqe4Vi'6Ϩ[wHb(\bʥ> hv6ؘUaK!qg mOA c=~s>CdhH?n^Pfc':sh2:YX̸ A}[$qÏvJ,lZȝ]+sOÖ>${\8;%ZGJHM݇RᔞĤ4cB{Ҩ0Zfj f f Q(䛚D} $ sBXN+aHˈ4UK "FE5^?rt=@3xbP"]Zh\ hD7F} .u0G&#Ѭ2& ;C-ҰHZr%E0?6IJ}kY<g69ۈO&Z;tq xOR^^T ˜[Mz<1?=LP">d]Ճ"Q5/ԕ&CMjD jq'kgsD/D\5U[ӊȒ W{SanRy 1I&סRO ~+-^R~~S1Jv,nh?+"A.q6@"|df;RxǔN!E0AZ aB`*?Z@US&&^ MÒT|gQ ۜu+RUs&i/X9 G}6y}Re2g\ba; =H W:Oyy1St"-yi?mF@ ?c&Lm]N7Ѹ0Y!}=6UT L]5a*]FB3Fx| [o4J-:I1,pn>Ew5/>[1XOJ& [Ǔ2qRhqF|&LtM~Cn|m)575Ԛѷ= sR!_=“WѕƚR퐼SK*n6=6|,/ܱeUOħJ.)ӳ`ǢiY1%~ M&08FBU8ftne3zBͩDɣeсMBwb=c*kHߙ: (]' ^*lD(`:پ2IՖoo0~rxիofiNۉ!4^DGMW:+юEkviy"SX.2'CP{Ϣ_XٌBl(Ug+3DJsk@7aif|TR[+E˯\o=#u$qm,FQX)E\pz-}s̜==$,R2EQ%n<ɮy,xl~!a6TXpޑԪO^])>7WxO>>&r%AZSpIfˢF Gy_O>{߮زt_N#>,:A%3~AoTU0Mqɾx, _뿒^( -PF:_d!H#Wi`ua8.H)k.Y LV~L Wpr?0 XbQW(o$ЫȪ_([kB/F2]tfpO{"7pU͘p4b_'dS&?|G,U U asS/7|< vm=/ޗ5c;U 7ŰQF>ި9aԶ3K^6Qgaaol$I ެYq*:Owe#x:u\[ܤw 92aXƄ2p7T}cSٰŃ~VX$HU ^y6amb۸%W}ݲd Ցm@ )lApicbgǭ9~u\%{Q6 Jt,`4,'_}Mp`( ڹ j`miTI&䈆p`%S~BcD^v&ǟiWZU(WI=2،Qڼ~L1sdE}q-EeڤdT\8O+"-|x8 gYb?>K"H foibt"'v])I(l҇7`-GiIBOɺ3FQXT": S1wN/X5IT*RfaQre[ w=fU% Ԗ1I ?ۥY_ ¤ݴ3,\DN{m we z $/|fSd܇h֎u`QLY  1 n~G?@Ƴ.jq9 "^;S{VBz#iΟyHNh듘B,4!;^-1@5tvBmocF*/B@5BQ/8-!DȴwKS=SI9 ȱ|bPϨEŸZ+z^R*OqCa}7y8p .yzpA8dS'sac4lnNVN!/ 8Nx֌py3M\~(?:SXe_9FnZWB N%CLw#醯rC硢٭1[t ϻM!^zDb|dokM#wMEÝMdXvZi~X>K)zf؉Kg\1& \}ctQd1ۅҒC MifE~pL:rNLJSg,+4 >+{%ӶՂ$c7\5KBTmpxo [T<|1S.NuɼZŧ'b}W{r RSQWo;qjJ@Ga]A'F˵! tHŒ mQ b~8 U/`x'T wU|H_fFiַ 4{.WDJZ=hڬc?H . i;>\2zz: {f\B;j}m @MVKFQn@!cF5"W5Z[;]٣QslTOr-ovbY{K򬟸CKvwj{tAR~ ?(Î=mT5;[bj2 =R[vl}1V2H]:fп;6=CO2$1Rwїr_.xޮqP@mJKB7(r@/ٳB *v2Ɇxhc_ +aJ/ 2B:zb<+Z"xLwP2iy cHӚt6bĂg?(4(/fc}UF{SZ$ˑà}m]X-Cc p>xeHIǁHƏpIr+I?fu!NY`5v--g <ٴ7,gq5_h%Iq'?o\{=R7+ sVa We6YrxJ}5y ma 6RpLEBz)g^+} V{^jh~'ɒPO9g'yy#Tqu#UV`VYlK `PɕVsCHaֱq|`OU7{USf,YQ?1zHOŠ۳6z2h~#\f| 7tl9_^ŋWW2z;k9ԡM0ͽs5w]EV!?ICl>pCgtR=MXewag%{@LȎXFIe){;<:؛Ƒ )ǐO!9K4l`sF}+$[IK# c>!EYI;"8HIn2\n섬ɷKu\F ρOv ȩ5  tںkrUi6|sǶU/S"V+nY~&tTb>r霋;|o40fM2(M1vTl ц^ڽINP"0mldCeyXԴF&7)b(xa;QxU R+bP YI*p%˨_ qeAw}"vLzʩxw2K]44  ͋O1d? Scr:tB%pǚO: NY$$kR[dRqC-xK ~WDCo>t7=7*gsZ<|3>F~xS }v0%FrpW_~Ht@g+Ǯyc52S,0@6oCf}r)) u.œaVy]E΄hmⳘWK% ̞>nX[a+ռ|3kzc叜ҩnb gnD1&κa~Q"THS"n{_ۦrڥ̅agwX;S =䉂S[0d&E H@OwMF#kJYdTSMc߿řVQN"DMiTnDiru.tƦj5!#Lb-)Z䰨d=>PyYWp-uN6S@X oũ| g^~3l v8,0^{M*#͵ž. X̡s9:Pi"3p"jU{C']U*b@)? ?L 9lb_Xe'KGr !ўM% 9(uOEh5JEKC8$ jz}q$ -6rYDGޮܹ_}7.w7Jz5t(rlRF")yˤHxy³ݾhq'$b{ZNGoiA׾i@,ʨ}D(`ͯnJ=UP#']ܦ75`HnhDPHSN{o̖Kfl}ʾn \@ da*a o43z` GhZfo |mrt,=p#M[YjKP:*-:Z@h7ҟ])2 ύoph0ҳ1-OW1ONA"u CIq;^(Y 9&S9J Pp(F4:AFEյ;;>`ԥ^v6 y.DO3tEcCa75n}O'׏KtAÇ/2W"%XgvfT/ >{J]\SEki2+ahk&}9d<%I_vW:)ܫYM 9(JqVQ@5 d>\BXmePa?:#R'.S=&$(M*:#=ɂf,#\< (*,kaڳS8;? y(Jɽ mȇ\GMB=++1}z4!0߰,~-g@x& @PRb_쉊Oz~o4,7:k+'B葉 C[3PUյ[ay11&{L4@VLR'q1Ԙ& ZV͵n ynC n%OP깿BAm \)VQkΧaΣ ƛIAnf.\>N'(9Mi&=%r7 ZT1.4%4xw-1uv 9ےxnd=Ӯ^rtҼ4R1ØJ76jAӨ)mס}嶃P9RSXo3g'ѵ' >*&B~(]gXD!Ύ"?f*uϸYr@#:ÁtK$䭣vGUVe})ޢlS\:@hXZ©٪U؛H#!]V]ShP1"}_P@HvgTf)!pqwt^Mwimn]tVo_bLA(d8l:4t$2jcxe)Lq۱;j  KmesM ='a_w}Ȇ"}(vYO1+ţ/&B*tX-'XZƉ3G1u3R6sX=bLTbDΈ 1y!AYgmD CMkVlQx]oi~MXxK!>..鐐2:nr8xk:8 Yr&U~\1Gawrf&A<}2oXl5jtIe]$#: ċ ;BK^ws&/@c9ey& w R Fp$WE)5u^Nթӓo—YLq>.$|`FdX%9vL8\U>!!zC|\[gKep)Cwzw:DY >uf\2Hć0٠Xu@9c0A4jX _@bݏI\K}9 O4 f^9iPah NbJ@?leE8A7[a5RVu`3^̄鐯VbtkSe5NDĵ3|t )5'>abQVI)6(#-pWZ{mu\;Eg7ABuY4#\K2,⌰Y!4xv6e<W*TX&?.TvڼA<xOsکpv? Zekݩ=s e:dH[0w+} .7#rAR\z -nࡕQ_Mh_5Toab9p&JY  >xK`HoMm  %S8gft S۴>h𳦭'`*0Pt̸;DkxWA>1}`tD8VuF+:MjKa$wvaxVn-Mꎸcم^AZ6s 'YS~7S2$O1w.6pb_e)\0y4\Ħ#IL{xQg(b#07XTܿRj ,+[\tgݔAQ~lД rQg<Z8| m|AߓZb?~ CUzzs(Vq:<)W{= ɂ83*F-Q_>G>$:0Z!'lfn!ș%qBdO ڊ̈`h,0*.,ڇǧ_[g`no]rh6c<* kS=! "? ϟ˃aO84өXkIsq!vAź;W;h$seլ/8=z 5 =;Q=,ָ4ʰ[?7osJ~1fã@#A7pgc(qsCa/?6Eg/3~nf7ŪF Jt`d//ϕvN6'ư/쥷`2o;n,= } aEp5[Z#;up$fo\/6?ͤyw>rPIE_m]IiӋsvBaF"ɑ+{}o*d+e#t q}"hBTӋߠNLx00EOQ#ـS>T %y[}iL1H3^>B(]޳wu}i.(}H*V!ܧ0g{7JUp7ؚwtTdDŽ7+c"&yyYD~.VQ^\ KѲ6g>2Gj3 Lj21zRq6$b;)a Y6*0I&DXFӃO8=1Y({ 4P|h2e^*QR3 o՛ϴ`C2qBf5YW%fVb ddbH|7IFo۠H8B?#hϿ a=4,1{/UדBFbռ;'S[|Nxj2+KLCdSf? [sIW.^u ʙD Vkj}f.y6՝9ozEZ,>|*d@)g6Fj>4r$ۆ:UQ mgWwpdjgF;O[EK1^UiT=)<]ZُuT}kJcJ5;c '{Q щàYt<,agQа8ݕw e`@%A6kԨR.[=F+*5icNgjj`=aNClJΣ 2pe? '9̂EliSàW\J FѕSelCvd[k XLR&J̤]ӭǡr I%/uWekCRɟgўU>  g9K+iVH-QR>lq1%X଑ZR I\uT؍4Gل+n/j $PXz cP۶r7M%Ɗ!AqlG?J)kPDFV+'_N~Orlw"StW ^!Y$i fanqV [a_"i;6ٝZU׵wl38M#vpF!~ǭBچ߾:£5uz $H&ա^=0 ٶ44R,Lǚ~*#U<Rj,Ncd%-i=eDC<ޖQBu86 H2^t}^%vDk-em>՝4棺L ke@H1f|9<|ĥ B>SP;.l6J,i7d :&c<(}.HQt읇)>+Wd)C>zOhYfzsG7xī"z{?}mg%=&;u%~} w>)0dp_Q%o!bRMLBCT]Ir&fVMK: ^[ffxW )޶n3"=u|Q@NRhMk-w&xX 1zۺ"2z9_@^ґ rDk*L(z2o @ NRi Z%E;9@X-Dw9c夋Ht,Ѫz>8[͗K`1GKR}xbsU EyC8F>Ak9*kc,(ۗ2`JdcwS$ʩV/V%S?vV\e&kb NLkl[AF@>Ջ O[+ _^Q)O ~hk"L;gqB:V9ȿ.Juܹ@xG)y"m\d% J-V?|le^h7,гn;%qO50Ĩr4[4A1`0 d+Yby[R1DL )E0Nmc!lm}'&OVXiU҆tmBIb:f- $pZ0䫖3&A= I5'Gpv#iv]g&nh5fB|`,1w^&kXkX~x@H !X{4,#(JSKɡ_p+o1b%@W- ӇMwVqU>-(<]#vJWGٙ}juEәR7:$*?ޫC]'qg)J\2(΍ڪ' UU{a(֔E/mQ]5_0󭕋˼+qeOx[{~:~  s+}sh r;3Mt =4 cbE*U숵n"+bLuxՠ1aGrQ[(i ߮CtP:kb'K/lQ%ĀM[ch`I 3=S;Edx%xX`PqBuHiM/AP9p2c}RPL,c|EEO~-eXTFj~˹u[d E(=[V_D |EŨl k*B47ƚЂ3&H~]!֊fuS*It;:͑3D !3T4 5!P(błҐ)Wyu $؂@LJ P>t,nh&o_vU^{=o=Bi?.}6uCpa͈!"hv]R7n], ՞.Dt,H?u2>_A[RcNk&/ˇrR 2mӜQ{G Hr l7K38C'̞\:H2kIz|x m-Q`@ lLtnI[I`B^M}FեFʚpE%F16趺?vPh-l]º`3(l d%}wc Pl*7 >e;LTem4t =+Q{;;=!ckEeio#0rSB-õ.0.p)#2N~X,_Ņp< 3T2p"=^8ZKg9q\ mTI;-ڵEbg̣hGZ~+J6xOv@!Svj˥'t,n[WȤ[~. d3]S3_mq#0MBq΢&ϐdMc[lW~ p8>ԅ17~u 6WBT;e.q{}pT?T )=$@WG-hNL^Kl 3I*ӵ^A}@Ow a_,=V\3»s4xtAP9S*f^--؂7KbOGv2G.|lԉH2׭Z So@ISwHL32kLt\V@-} reg!#T`x4hqChZz8cOZ {iu8@:X+iԆ59$$x :@lU*uvzy}j*Q=(ݚ7zV wu{I2[ /cf" >K>SKGM8ťʓ",Uq#Z *R"dJ3OyW hrYb( ĸ)t/n~~R#RfBK8+-WUdb"*dd#Y5XIoxh  x5^#m_ &މ cQyUzO_\LƘD2l:/TvHiFfci<*^-J!>tjWM׏%&86 1 \<3$! lO3 \ R@ܷUt"H!`jV" 3yԭlZnOKV/KN{';7mUeD >ᗲydH/#M~N0}H^!"wUc{7leRrNL<7O{[_D[SF- s\9oMlt,Z {ꐁ*bCH 5wjb12V4x}'EN0kJg E_huQ^Yd*uRqbk*Z;3TkFE5w~rO\9 ~зq ZVPs0mz33@FP_80CG:yG.%/?1(~ʅ@_ +Ѫ-%h-ڼǍ ZCyF kռs yJANMƈQr*^g^-~4k/OqAVI^{>1l~FeVNI Qb0s$N8شsZ0CqN!%cKB:e,Rб #;®WwS|4"`Ž62R(x )~)Q[[GD ,-,R,2?OƇӇ@ A MJr]eem<>"ejO\YG@B xiBi,Aq {cA'b=jty~?zBFzkZj7E>'"ָ$^7J UmN3ft;;9?+{p=nH*1W"ȭ& ^ Rp<t9d Y?Vvy{WYz%>8be+jglt -/׭mOO. i |pXÓ(>/DⵀF gF=&9MT+E'p*U;9 ywJwLCWcߴ|oO`QlJ't'ie]rc)X^?bn^3 x̿7<1U@.ѻ)OʂҢ)SM'j<w $]/<!M~q@EYHNU()^I9nޒ*Ƨ +O~N ofCMp Dp N{$Ϻ(q MTiQuX u͟p3J^cc5=rddV,9FU~PVIY!&&^ o8p>5;2G$s.8(;ZMꖊ!͜ =6#5?nq cZV0j M30桏2ujǒ㏱EpMR t L G8'e R:JeL 9y5R"-~ej^cZx*0?,,$C R%Z8(fI8Ć'.mpXhQ1RbVx] /,?JbSKqFSGnðA(ldj?+$(S^} x$j,jE_;WSW]*WRƄ$S7bud 5L_r l;OC?{RU|ZkUZl.dP+1 _Sy#C {D+~dY^d1|"/TCq6iҫvgYUYJVǩP-\BQm1h=j" C. ]$`WkyE΃O1~##F1^8`6@9މbtR˳FS.TLr%&[߭T28?bȏVPЧ z-X@IEje=^7v~n>r/ӓxEH/2oF ÆXqd~8IZ‚n8Ar.k{2KKZfGt4jf23o6y4m] Dݮ& }-?seN ZKA T W~!H&dġ{WsRԤgXe96 b\dK{X|-c0*>o Y.H0h.0̷߾qjY|:7 jTXUsP~`=h"5)܅^+- ]60z1~?Kܥh $_&9U)1>w]QaS -ҹl<#$ftTtmk=ְ=p")̅[Ru(OL"{p| ~E[VP:ǘ!Z1?3۩T#t4U>?}mp@:B J4s6y@˙gG%C DAY2y5j"/OX+zs`o˛p9z¹E 'i>@]or|%@gضN4*xҪ%Οwl` C;˶V/+p}0#]nW 'a"S@/Cl)GvpY3BXs[;M*}˜J֊(dA%a( zz2-3!pjǛ#+k]%?ݍC@= =UeA[Hsȍik!vhwhm A=qÈ$$#{I _mRZ~o#:P!& >KK~gdSz-PH|DeBx<0aDDg-.PSWB6#,'Pobo7,06dхfQIMűIMvȶga3 |4sY0,$΋!Tpx3?B-ƯU{NMŚ˸bBE `~#֗Ku o=88,PAj1•X,p7o]jZg-[ثG'fV8ňBD9)=UB7i>t:CAz/XYrEq3،[2m9}aR6%*('Qt 5$.#WlZBc_Q^yJ|zk-UJ0 5 W\u={漝Jm dWA\EOnHɢPT_{jp˯Al%#ĝ[v1 z)2Hh3SӴ߾KaȘA!,wuުj&>H8c!ѝGJf=,tD#s@ ƚq7r|o:􆻀^LA5ݤ:i sK=k,4I1'}ZqH5S)rwK8ݱ]Ę:AM)4#yo*!Q ~^ S=>dxp:y*;DdY^Z Ԓ}';+䧚J\# YwUI1[ TpGϊI{ʗ_HjiTq㨩.8t>WH ٥+(WEEN["^*@$FUĽ& eO ZL!AE4G㪤U|Q #!:vLH{eNcIԄS\V oL5hRk;:dR,0),g G"^(:wc,.}[)WB 5Iа+.9i&8/%a8, @ TOFďS2z5Ȥ9em.2 ExUf:>hP EZK"_8,}'!Ut R2E|?k:sӺe!6 j=/#FR*pie9 wR+ؙ䭦*ltę4,cNz19=߇GX ZWNID&ΏȭwK Ոy1"-g Wo ArthZ8|kԂP ߆X j;ѱڝ!`M\ξ /E5bv?K$>?B+Rٖ6,gd%$p(`S81! xɑYcfپ~> LPk;7"3TnXW궔V =@=[mgGF:)mfonBd6$K:oPRk122+kdL <#Gڡ1sR ,|cvoŦHbuep[ -зh*rQeMFG%D).:R'7uaL^Q oy1 X}[^lj'`.AU!$[5 Bf>p2;Ug{x"UWǞ!-C6R m$G//;A{!cf)Jo/d *7]q:gJZpOrDֆ:3My\Y;1h@{M*!=gYZa806535415e94a8a60435e5690659ea1f481ab7f76b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568 f6058b8b17c98ebd707ef216357bee44fcaa8403 ac9adae6b4816d95ffdc9337109dbec3aa8b2fac 2c42f1369fdf9c9f3927177775e5abdf366fd719