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  @ @\< ]]LTL:threads=4elapsed=43.470cpu=140.024gc=5.996factor=3.227zXZִF! `]ŗXiɟH)0%oP`׺eݖQ?P3G!wC*J_T| E'&0 rq P}߼1sfs4X)H I|KAq5|]heOp`-b>ϰm a ߽Tg:ng(0xPM_^us|w("^$}m*q<4)wY  LTL #; WYH2xc7т3)T)m :UjOٕ\×HWfKYdYZ%| g4w90Bp՝Y@Vz+NQZKUHR>c{A x^qLcTK_"l}M-̃XsӚU.( LK)'iV˙1?EA -SF)Ax.M(wL 961DLR;` {unb~90pewcew~q6qۉf+"L[/j*QUy:Q2#mX?e@W)VSɕJ%3˦б+Ue1RoɵP%"'@"fBOCMm#8&|rH)u>0l''ҁx>4`I8NҏnTC'Vz=5knt-e/2x{OW k` awt4=!cҮX—ѭ_f3e%8$:` i5i.` ^w:CVqb|׬ r>8?I0ݮY2 TbӴK+dry7ue,A&7#ݦz!qd̓.M2bEB'+,GV#+:&h0: ܁Dʵy8)8սe T9LXmG+rߜ`,ǔ3H̏x$Rf +A Zcx*,R ?ˈϣ`x4w8Tv>jl0@&Ld2H,mDtR'6]ɏљfߩnoH91&Rϼx<<Aq[2@W2jsD.5!Ae lprdRrg SAsy'mQYQM8=qܙ&uoɥZ3!@Dhj(>; 5h~mHtY /~W;-e(M%2d]:Q??> ġ t0-TU^ԭUԯfs^]N#t eV"݅~,yKtЃ! yA4=Bz}(u?]IZ7J3P08Ui#.|#0LޘZˁNqy\`.b?o{E#sPCC53% ݇\(29:q~g۞BDD[\C5z~!mE)VPv/{:̏} VTGp}5xQrE\tfd-L.?Z.KAruG 52MR?~_x*!8h!&yWe#܎u ^oS7 I.V;q g0cR\BbOWt^f.938Z#ZN޶j CG#jښȩ).R =XݑߗT{6n(Ji#Nԑ5i O/ZAlG"DN>Z#0 |LyԷ)ԥ׎]}{{oeVn^=~j!'}@~K<% l1霵?I@ZAq]N`kuLq4F\/ p7x'SΧ) KYC+r|Ve纉cj>w[M4xU4}4~ۇg%rciU7.'@̝dJ"eU+Z@)w`Kɕ.s:u^#'\m(SY:b#4V֔fڌ֮7#`u۰lU` Ych"Wss|QD>n0L"p.7Z,qYFU}$k= hT7c6`1-ۍvwiD\h){)L(4 "WM}%- 196Rat[('C|T_m@}l5լgG8rK+.T/:%Cf#ODYbݣ]y63t/+t:J05Kn*dMɬC[>L(sfԽ_ ϕ/0Td|HƼǶsl+| DXYU% Lm?}:¹vFd9<*KtrcLhH e)`v!Pj dlRQ`~Np7wZx ldlV懯Ȍt}g 2k ߌiW1w])X:#pePJvMr!u `b׃KPad,U 8Kc:t '}M \Dy9 xeA/.!NQY:cq +]=Y՟lsFkIӖ,31@H0Dwv8O"؞X{E GciyzRW6.u!vDYYE.@DG:N*(xc?l(uupz{Ɖۭz)">^ܳSb^=+)"Un| 2-{ȍ3"v3́X@>\lȕ/m|5Kl"% ?7V=.Pwhpob˛[g,gw#4;8̓P,E2,^̇]ϬC?ucV_B5ʆX9*]rzheeK*ȳMqe*v~O#maԒ |!X8}Fq- LXX .h-Z<AbmdUC˸͛_o *#; LTLLTL.Examplecode/rewrite_example.ML/E lh8@)8<|r QϪ '8շڇS43MAaJMdwA滖''8FkVh+6t#=W""y.e;21w^N<y{ \i6=5ŨUYD>KvlvUm5wgA&`14/PkK7۸bV|*ug]CZʒvYB£G h$57ۍҁGHl9#9_kAAttʭȿhwհA:z"tT" cUdUh>4Q4EnR%5ksR'}Z`.6`vl=c]Y uf!SjQN;MmHH z!KB0DlCmHf1Lt'ǝ:Xk=O.9}hȻiV:?`]^M,6]_ 7HҡFSc%\ ?Jclf(Q2 8 Nl-V`ً]grjDϟ R43~Mu`]2ݶ]{Ic y%xv}b}=z Xgq鲒πڧ(q¿ m4=sR4-靗RD)QH(ծ͉8$B˔:.{m}'É=k"Fkn)Dbgq,*3yP1|ׁ,BpO3MG8 ed`:9An͙>au@Y\9N/G|Y¯@"J*c@GYD ?ɰ+})QGE$+[JaSv)c@w(3ޯQ"WHŏ/w+\{C]}GR%ȞJ38Xk!oIXVFij;;4"&}qh`YnF9 wT6YqQ>e f]NdJG܏)"N\_t] *k6ɶӉ3\Œ,#9̊<=SU>O XA0;ł|M̻~Y(A\=L '\?脌H4힉#-Zj |)w&llsyV*PF9}axljg}:t0 Yj H0|h:RDw?iA|*54O!aEL\pR"|2n[ĖB!=/6īOcjO߈yzUp9]@tUQ'ٷl3HւϚ`\S;\BZ,vc߉۬a[ BB4<>N}׆I[#mআ CH01s޽N!7^9@l?`(:zDY#Jͯpv:l48TSG`hÁBw rApаԦ*tvv5pE-֩ɜA&͟SJ]/Q1p)3\a^EHKFjsc+;Em$9=t0}T'N$[F 3At߽\fVTC#'U0,;w学7@7/ӗI0h}k.ӦN3EF(W%ї]>0/0>f*:2sFEfkV3x1#FSreFW5޶Cv&CcW)%vi[ 发ޕwګ.En2S:u݄`Hhc`:K8nMi?B&9faT\][uI1e6i¯^y 'B R\b|1,y}(a6,=GCfduL EYNnH瑫yzFs\^rLRZ Pc{Ix-gFO%͸#73KTUX%WԊs {-J1`.>=XckA:lzp35)s/FK%Qt/jTnP^[ FנR(єFV{CK T?:)(HSf>NgNq:E`+|, FER t )|e_\0-;@ptJ-*6֊oq6gB a桝 u.%6ݩp`KȖi5izD\fPɑ!0to9\jzo}F.j'1X`JĖhrysƔ)g9YW&Kq;+x1F(Utxӳ;tXLgvm>C"$bp1ĶΚEqb_.zhm"BOձ>l5S,7-iE4&g筜 '$`۲pc*ܰތTCZ/X#c,󱸇jXT=󪩰%-7*mL9[@SތJyrf [OThsOv._ *$w[u+ȏvvLL _Rb p x8'Aj= &i+PƭepO2m bNo r!VN d!JxcLŻI$7!]I&s! I6p)~^u! ~#P(s7 Tc=ojbM zPG/U?Tht k:{!@hQh=CL=gYZq^Sǟ&'-ID `Hٕ >kqm]QrvMS T5Tr -Řb$ A R_ 1#klE{|yYh(b?QȒb.TU,)"CU;I &oEy(Z[UW[U#颫*r` PbWjqb?gÇEnkH(.^a*C'2jYIh= =[O F&֔X${gDH ]Ι#ﳌraq-,5TvU 3nYr2FN+X*%\]gK6kaYmP+lbΛP(-L!F`&uvljJgXOQ4ChGɶ0E[C9xFc@9Sߨ*;-Ug/6̚S4,sp{!TwLDՃmFZvI9L?zmpK+X ]NTAl?OȦ1^.,5DMO6gK&a tIsn,i-^uji<,ICղ22P }Qb[t#ۇTرCYWPudKI?\i?͈ɑ_f] 6PzizSOMFI adù HKy6G9f!3Lk(IajvVoBY|;E&ʢ&e>]ȿʢ[=`(L˜^ĵrmp]~\Ֆ"+ӬVt/xY~Xmױ=f6mS-׫rz24Jҏ7_E{-L/!G(hәE$] .d[w b*LO\]pAыѡ4o-=qC7vUz"@hlPw{ߍ`s"yC"Թuz)f8N\,$ ?<ܛ =zưah:hHE.,lz(=f;i6^&[II]UEL|e~upQvS6Rۣfr9}k]7⃿nkĔjE岧DV!R@W瓲T4PޢERw| ^Öu'2.q5 XUo!Gw0>zF^#=RQ0JS--3#TԜp~@eQ|KO51Fȳi<cR}pi`@@ol! d h 's L`ބP<_ /s-h^J]OҬrvhĴLKg[iF&-4(jcd^C;ti\:Vsޛk3ܿ=lQ]3cB~+74gaq7x]ݘsIgL2Ii\FzAf]2!Y#Uᄅ/dr]Q-H%rP7c^%N"%kcl%ԄT.jE2pȨ}J"XӚCf]T ٠l=|xc 9Tq);t&0D խa!2n_)G{C5A#~6ePl$FA8/s;0.tY0c)tM/) 0JlOI<+YfZynq85nMW$ zK *z"SJj>YUeKZNؽY쉈i8g! (Fs#I㯦 )$#phs'u1#_EKiB8 )ww?s|lI nAB/^-\*n|5@w*N%^SH Y%Dul6=*4X+m*m~zo7&X 'OH ?Va䫹yҪ yZѷfVEZ4M |4X{"\%zFѸzP{Ǡb"7"*W)]|жtCBHhfu4X9;E:ݠ;K} A-aP$q\ݥ݁va$deXzYWk]S@6aߡ(sd7A%# ó`#_ | /S8XXNYkS,D&% );-{rϊ8b\(LH: Io+;I<-vBE*Ϭ.(}Jp0C>o!~T`UMÀek KnkG,%dW\}jg+>f_]hl [ŴZ%軁&cn̅ﻀ8d\F}Ag }1tJOsw$Z|sJkKHl.C;~GLTi5z|^9^>SW(CݕYG6*pp1&iQ|YF,>s< q&U %P@{:TfDkC'j;B?]1=]a18ݩн!kЉLKk lLFj_^MހF%9 _4gyhJ:9|03_9:b3LRjcg!A  48-#hz1k|h (Zj].&뀆/8Qrd|_"}.&O%!\DGs:铿SXyxpP'\p&HB4t~ mPpPOPFmM$&|vb%;izſ@g:x(U>CҡX}DlŽAƲJ9>REdf p8vӠ5Yu7mLǟ5)t3_/w:#FkA4-BݒQEZ|<"MlbiwP!i `CgQԝlTUv9iCYdK ZquEb'N{i~Jͺ\H߈Wq{[i}sS=MhM =h=+ C>!f^UfW&BgĨ8; Gcx[@㖐hҘ k l3ݭbs oS>"Mޔ 䅫oxN+ lwOp>oZ]zj]$eV6xהTcYE$ w> 0ࠦ$[={,6j4NΣ=k^ILwiKGJɎ+,ǦěH Xi?1YxI#d2%!3%(YoڊɲNKچrd:mk~Gļ> dy=Xz62aǝ3g^pi3{74f@r}Ú> 65D|›!\ $h` JӱFTZjO~ZqE.,5=:Y"8Ja<1'2ၧC5}B*XPǑV$5&Ӯ'j"E`'aRgߏ$D,VqFcl\"8KE A&`b Vw+̦W麔W;q7@څzDoGKRӭ@\~- f_oI gs.}[D2w"Lcd|އ3j5v-@ӓToN7ˏO3'1RyLj?5rY"~ɹRfN ؇xud)'`jwa[`Al`v8}eu֔J38ߐPt\Yqfkxrq孈xw'ޔXU 6?y1D.C0ģy =?Ŀ ^{nQ@@tOٌ`24w?!f0KF 2YvҴcx4g|ZuR"ogP1(B62ʌ rI0"sn RyltNoEt`8 *9/oYɇ@M>C뗓Mv+u rF#MFs2.So߸;W2Y>ժThObz(O/A,/:b%LS];DqG 1*Vk_qikpf_FƺoUScVb!͡dU4WصN :@@R$$Ft{xuΛC؊yt6{7g6  Y%^M`*H )9ԣiXݪ |g7xEtw_ *:S&!!Ycɠa1;_X֬u8~LA53=l^Sl%i)7 AcanUzi64m4$rך,݊vT돢읬p5ZOf%HldVFIb4r]:;;o篠P?'Sm(bţF(;Pў@AKRMt(yuGyۄ,KwRdEsi oeaeB$*OdL2VLXٕ܋9f.6eMj#)(0{BO.لqɦͶⱁ!rTZHŰgJZvu~>C)HK$|.9+\Cii 4n|&莛g5a/]N+G i3 f ˈ[gi3Z.y]ڪ}(<'ZÉ9>7m;Q;l^"~+=YV׃?Z[(E|v^ZrN[T5*it؛@68_gp6[ Z.; Eg!88w`;fie2n]4ILې [}"Lk|pNe&إ:wfGj'HˎD[ľkTWLQmq ]Np)r%0X|@uG7xwj Mb1J>;L T8M3B3,jΧg Dy{}y/<ɉWzm{9{+/ZWc !cۘyn29w$@j@85Ysj&;ؚ)X+8+ûh A9Te[fYEYo'3)CwZdž-jI?ħ_<'>ϟ5b{*}4}z`R/#[abw[3yzL3rB=k5bVER'z#lR%JhGa%xRT-t!r2yE=}5eԙQi~Qd5q+Vfe2S ѽlQ)+vd(/Bi=mI{olo3׊yukl/EЈљSe1N?F#ES^Ug.$sL#eKK(%㇧8Nᗈ0*xDU[%hfPpX ˓ S=dPvPGV1n/>/cy{JFE%zdpC:fs#mJ\"̪WY h}2) Ss%тk"oXXS[ ~ڸc^Uh1Ɂ Lwe}6HCEF x6&im*ӈ_%@B͒P f,/y!jK@4m^o 5LkQekq/v~jp3/wP֔u9le@_O!lgr_8#G^y`#/=F//RO׻nqϟ\5pp=IgT&Peֈ4LdH,3abyO?+*naF rۋQ$θ0o&\#aM+e2o_1~ )O;4Y<*LG$|jkD>|>SxA݃cTxl u:w:;g8z 1l'YKx=cT[sA LlI\ġ/94N2vE}H]!6 S*Yq;X;գWm8^?R6VW]Ӗf1dE'-7𳂭ը.g"}oc%K1uOh̉AH!$h)y3QoB֠V-J`kzM&r|MP sGR ֛mڦd+#C};fP6Н f;#s&!UI eJdE 8; dG0di/ްOAq%w/p `c|G~`3cbwm)=ݬk9 FgO 'I-*tfVrB3 KPlu1(Ge9)t`soh0G ]0LE I,&z ? $mؖbIA0V1|rz\w~(\ՠۯ;`8Ǣ"0t"/älZ[J VEW)/bql0urJ%O+3QE働D,Kٙwf"x! 5uc布}׸u3= :f1!c "W'Z L=]YO0 hX:p'oص Mh%r0SwJrI>=P;l.rkc'd$Hл:!"W. ö!=]0 rH}X[gq2Ь4 382 ?9QJEmi!Aݸa~륹E'.b9/nք+/Xw6 ?|Zo{ŴTv73#NQ 6I%ȑsp [$sX[ k3Py}%ٞyfFZ_ӵ\LW UGd'J^FY4^&Y%!,Mch u#B IX;3v7 ͌( ۨPg5hntk'B^SyN> /.W"ۺFR\n}WNWٵh{g6pȖbdX2};x9S!cVŘYjۂ3$v Zhqv nt# $N\TjyN_Q=&qU`dmJrau]?%%;;"GNTOl|a/0;h)F΍ё~Y5׊*W*_gFq_Ev\[p?5qS'+U\U:4o/zW~0JuR{ȽiXP9!v4lbqSx!,p^e$,C(HmnTTx"w&}SeخzayR &} 鸾/ie6z㲀[+ t!Cy_Fl]:58T*$szp6 c?mB"Q yv9D)S㗹 ہ2zXԛ9C M՞l5;( J~z=w;Hd}Ck*G\XyDك+ ȹЈ%,w"=4<9&o%R\afoK^B7 7 S3am;9\!mI J*A6KI^ΓR~%2p1=&RKa&:iln%lh\a醟.yB@bw\EW(,Xg ;@fj<\bc_b)me=>?`izԸ_?\'9\ydװ4@m`=P(s ?\=NbvqWApWf/wTA7?u$< _fAEwvhɠkbVF~O}.t%+%JpwĤJtҡ[#q) ~ ^v4o%/8G(ر@;RKq߷lil60w d|#m_q7Nm7}Hϝh܉/uh89FyVAY¶`,s(gf,Dj46]P?ȃ _9Diyr KBfZ6Jn> r%,֓df-Ï'V[,'Mݛ}{`rolv2Z^n<UWR6>~Cꖱ!tv\ j|;P!<4eMNҩ$-J6o `42K2S]?m,\Hh<앻Z_38>m;L<((u~NlYp{ǞAQ꿅!4hmjɓ?}`N! G-(57>DZߡ *G4XmS[FE5*MSRĺ!&ugbf㬱մ3),c\Ah3H^i%Юϱ}ҴNjLf"A.0YWݽJ$qq>]csAٵtkupOW~nsKJdQ |QkBqL _!*,ҟ)t!޻/TMq"˱L,(8zf8zҙĕ!/'2.6wZ"!KӣOOWp5Պ%Ub\!3KNUVk~PN%zD!l(l,B)ǫjdSn0ԫir3>#{6Z f"[*:t(I" nސ21+tj)0Sjjd-dfE9.}8O*۱>p^L\F:oL?Ń?fVsA0T2+3$ip-8hΌV9Qg$-6M}B,i^=~2Dcӷlvl7cC~Y=Ztov7 ѩeshqz]u}\mZzA-_,_}Hz(e85-.O^ا~ ETIkWO،^; yGqã8JrĶhSW/l*ԫET:P/y{A%W@𑑔ڲ-=6cIqh=%M(7 1Aѧi "(MgλOL-Ϯ9$t/;xE^Id[' }~G2Y_0-._Uɗ1_ǠIH [FU* u?QW$F!FUrGu; Miw he~n`4\?@ԟ(9y":q 5GHɔk*߳"njC`zF(W^I+"܌eEhvhڸpЛ7ׅ,VP-x10/ B^7^j%݃|a0uOiaomYƷ{6#t[|QI%τԀʉo-(lt}3S`cs~h[PpD׫slGE^"WdZzYdHG I? RF82[LO Lo_/.>24'9w/;qHB+ ~{!DP|+0!7a,MXjQSCOP5Z2`ρH2s q 0uQXkKpeC9w1ujq+@zR;&C= < -ljOf e I*Hdșn $'fKuG=SBP˼tsFJG @SzSGZYEɄğ= +'ۈ^%@m}KKᘑ1 R_UXJ1lsA٫do .~X2^N: ќ*&= ׉gaHS3E_-LwP{M]LPLyJ'3ܨ8閄f&QOkWZVu ' ̐:oꋯԶH.F.dSn4ǩ\Z핔Mq\[IOQp'࿝^zAIbSwxu?ߺ|RJ E ն-r\zyj %\rD¼"p:.yTNx%=dl嶏dlf-Ƈ^YT*_~*/:E ĻSʈsXب g3f3<4q} #j]w`#leD2nhqb23](/Dz|^7xlj1d YQde),iFԠsةQ<+(M[b+6OmZowylKew| CZEj=Lm,#/I&u΄25@h ,a\Kn*a@៩D4R#[5=mN8BT_\]4?*ɹr픯7+/F_ QxZwRDM9#qnwG:H K;k /6q˪[ᔁsꓙ"[W/'Y‚nf.[ ;g(Ĕ92sJ()JbvTOJ6 B~2/4!F`L AZRV }/mҶgcqzvddMwczbl-oGS8Zݑȋ2zݡ<=ԙ rg@8t*V;Gyw B_6J4ku:ȝ2QC.YQ4k/ )ebŋ>| 2D1#q9)Qj[KO)@Pw#: sFTur"bHsjyB:um + q%xY[ILr  Ïm_R*EufsK/벡'*m=i /gѽ: P#.Qsk8iXz50G,^' !`RU/@SRnR*,D^W2G751cQɉYLVH_fHGgx)Ryu[[ǖ#E~5ζ3jߏ?tKi lI{{)"b н:HW# }x|3jH(m4ΑZ9+ Ae&r֯ S[}/x_jr{ ~Jw߀н ^3#O5pnQozSY3yF4hK6^$qw9!dQOýHS;ÖFY3,ƺgp¿X8B U~=XŚBtvMpsh{<\p^ ӟQ<yBxQŶ`dH@IS u -^ g}i9Dx7W1sF.R.>`BPqrx)Rr0U/dmnoE!h5:;kDι~(qDZ.'Pni=Uɻvܚhڿ Ci O3j-,O{P:*TxvkVMS95TKv/NOI^KECl"![NwL%mNFz`dᢛ'{bE'{ކ[Y]!{<\9T|_QVi@6m@^>vFJ`APxl|A5(-Y@{]hˌKrU@ivGjDHg`NII'jGJz+lzSM}WAygNFo4J5vT(wڗsr״ez%sOrkk<@"q]y> E5|6"Tg5^ds_1GɶfQ̮ B]eO='ox_|@`12MmJSc$h,̒翠˧@B9|s.p1bm}e9 as1sܢeO.`O~ߔjX'+9[̚"_ޛ7xeqJAfmJ8Pu0!C#;:ouϔsue52ZՎԵ{jmTu71aiheS%l( ;&+(f-IVDs}d*#-H2ni@WҘEʒN G"G,q{E!?~1ht#_TE%mU͝TkRhm K4GciWV6VNJa,Up{<^/wcpʿs "xRqt4xH&1I.P9^K"xD ]Η uOu*-j ub6ZmOI_|uLYj~n8rE[mD][7ν*Pqs䵂Ean"E"8қ%(JJY)G։Xd;Q2`얂΁ S0FeJ>?re% eW6u[vo?k\Eu3-waWz8,\xF.',g.R7z M,(L&{OA5ǛmʼN07a~ؠvT-nn32DtԶGBkw KF-pIhwxubO̩\&.1wTa>]\;[OhwcBloH'20;]> "i{2ihMCgvS%?YKWHk(0>.(BQ+c5ı@U4gQDɐK T}TVL q }+唓oE@IpyJ=Cݔ:F,; _*ƍ0՘ME52}Uu>(l@+?j%7 |Jg ns67&_l|ϜlRStHرl\at:s2Q`Oa3wqA j)}م0t;"3( ܕ8SɉC0-&gxoToK?Cmç>q?xNk qQ Kcʷ! KbR{]Er^yJl do./f :M~=t khfG˴B`qyU7LXxW6*WY[XϴVlD ܵB-v}J:{=@c<P Y{톯 9MP _FG#rI,d&:LӪDɊ`O/Bjt>`LD&R}zю:VZDEhJ#%Q_`ҫ8/9K@s=PM7JVK <7W QaxJt>lێs96Nn]V31[-_R"d ænjZ7ڂkW6tdihUq1Bb%Ҷ}z$IyOz){Scy?is?23ԙ EDqYjkJLHmP q ֜: jh@;DIY\aq9}<b[\W,$ s+zTmw#s5vfʥG{SG./)v3jB5nx,&*Č4vRO~6_!Zƹ]rXtEj7 uJ]d>DU{ olcAC)Ȑ/1 \EV`PiiWQko=MΖ.ق& Ր֫tX& -rWcЭ*ljfXY"+:Ji :A U,J=3FUg/JKU aCDڢNǟ*Wizf{D.UMJz֖ mq (UVSm~YOΏ=,tFtDҵf "8ǡ+ Sz,!A:miqW#瞏9'W($'!LuRj6!f80Z3Ua-/+sΚhQϘYA{ Mt#AT I{Pk؏\hl"FfFl>/SBۘG8C4JJt7@Sn>)zGCIGK~ Q*ї |.GܱogֶLyxQcQ}b6O㗀auÿҘ'\KZ>X;{mMQ%S޿Nh8\ܬ!Aa5wBcc۲,ZrmMbgÃ0I*GHRޢڝ̲J+;W& #V'vŪ=Bt0],xgD򫏂 QҖs/)O4nK^irE4 L,@嫩3:ȒmtN B CL$ǼLZqf24WYbRȚVؿtMTR:oCBOHƆbCZ. ;nU_%U 4LNy:P{?T~7N\, |AZXoGwTA"򪟓9h,#yې Ebm}*RAgXlԚåLv =soqi8 :R~cotjDW-_%Scxh-@-|ùW=<еcL,uٶPcmn|:1d}W(t*7)+33 .k՚> Nrg>@jSDTsZF^Z')!^IqS7.d/ IxpyȈׅTe):`*Y5tˮ}rL$X0kZ<2GӥjͷqQr^DZluUPIn=d'v 0 Wd!RQ?y'XW^!=S7OUk?dk9uh'w*D }Ȩ{؂ 9ivΜЉ,Mj*ga9S70)@wU,t67}UcLoVԃȅ{$de,=c[ n"X3zԼYԭ~ ]*)1~_d6BXg7wG 6z.;\j&voΐI3kM6c⃔Un-NX ڪ9feF O3-'+27vtDEAVB H31hfV(ѻq:!!V70;mP3#,h;qLɽ_.~7KBg;VygRj-*xa  f*4yXjIӐ` k2v!2P2ZpÆ-I +*3j%|70%?l.tF߂"@pRoE]o^΁' Δ5K,qٚm+y&9/ 1vDz17& zh$TȢFd!wu~#g $n+ _]_^QUpeˤ S!&%&B%bn vT7^fiQf42HFQI L!EPo ˞E|cFSxV]2laz"hDRۓ2-x}ȧ 0&8huJn휼owV3”'Y+у杮 WM' xa=KN߿\UgiYK>==󏖡R cnSς}c3 ,/×[YL_)~P9 2pw[fێeJ &BUyuhq&?grTG{!6|Կ%?Gt4b7ݪ}~ 4c}΁QPH )hkZ_}6rtK'co4xTcg]`0D:Z|_Ss8D&SMn*GX l7Y q : ͸x^wꢈ秫M6xe%Kd1PZHŶtxk j,O@1w%U|{Sx0_yB [ 7"V`{G6O/C7@Fbަ=jSv\|N=jĨ3:r˪v@-jF(-XIN^6#O" ׆qbM[f/򥦦LN,DCp5AYUiufC[]ښ-EP9O.gYZ7zXZִF! ]ŗXi%L!l.Nⷞ v_{xuԒɱcNtJ̲ yV(a^8%Ks֖Upd2˸53JeJF~e ە?PNN%!Xg=NJ0:I6eKqL̛8=Kc.2t#H'N/BJk.BƥFLT>,ېZVkҢ`Egu;%Z4GOF#>c\[S?~ ="SX+%qHΑZهAMjA2 Yt4XFURlk@`"ƒ!NӻoͦZAFQ\,|x֝p98#JVKdQ}RKe^f("\?|Z7QͬZ0ܯ {`퀕 .1mu\VOo𓕱j=hpcCa&\ۊS XAiK(7ˆKB` 2GY4nFG9귴~ oB=WMPߜt}Sah64W\XlacUsM jǔtAF&:rYEm{:cSY,K qn7kpy-"n0`67Mo!gX *m7 tܰ3&RL9*ý/P=򾀡I՗NĖ DPU 3(68*̑~얱H>}=OgO`1!Hl~'y~Ygj`?͊$7Tn HecʀUZ]+]V+*+LH;(`¾F 0o- K/PZHқm<{={_jH}mK$mej΃~/tA%W{?7%h+M{4p:zoP5$7xq粻0 .~nA濻-4o _W{R̓F" ƻaV{R#H|m!Ncf3׿1$;*Dr Co9ye-Sqhf`!|v25M.!3)d<4Q.cz5'6v{{9#6Dt\Fk3(#?<۸.HgoP~N/RġE}* r?|WP|P Tҵ2Ču;2iQR% J5ɣC ;DtF3:'ryPm)Z1SD 7+7?Dd[~%7mok&kSzCij(&Įz-CU-le z@rvǝ螺*Q,%b\z9hvc; X̄]R[]bPbxe2}C`-je#c)>6 Ǘ#>KKLhL@m8L(n'^U:_MϨ#ƼQgBk6/  #-#lk3k"pfH[@(;cqzšy%eUos,M@8#w4q3-r~U_yחE/p]s>აUtk" eҡI$ǐx(4Dn%hE>EWj(2xtN K/_л;L2Qsդ% MVXz> .~s?AXy=#p~ܼx4|պh0ùs_LK|.@k!~0_g j8 ێ49]\*|J!?DJ5)^$tfRyN?j2D4mlLiO/f$ğCU(HX9+OfIU\m0Qo7r[`tS0Kt\*lVOU8,#γ/ 5ޞ5{Y1_$\xds5Lk\ άJ '<_\N!gfSێu"EN㎀nTE8Id\󺖝'|5~cƠ~mU ǩ̃\!tOKݕX%(ƥ6TwfZ^x'؝©T@ia* > Aý>AQgcGIm+q`[)Y<۶"k׭l~oqeFn@cwQXyW=)Qpߓ;E]=ߛ,o1tr1ly]⅘YXvg"378'pto۶\ˆ}i7,s}@?1k6nkL1'?R9XC|}>oGk2e-Eu举D 8Sel^n\+LO9䎈"xPP!"^J-(>>D72wLLoR0BF;^ej_[;GpT|]~LS酫ۻ>׹X\ ,A?T^C0ͧ$`a'el >[&!i1Mu[`n ƾ|N˱ͤ_]B֟h]"7^ú:Lf\zCOVXcT,w7_"rJnjWL1TG 'M$Bacy2:~@zx/9,ݮJazwzIcM*qg?ĒiʩC!<:n ^|Ck|*w!]=Z1nLXC Ň|Ǝ߫}pB`ʘBQg{y/J_㽿ER[RE{yޙ+FOO~82*V|VEH zf_K%6zʂ}ňwt3Z82hp=*p)NIޔ- - /&D܀bG?0 t;hX#3Ʋ2Ρ)H^\{qCZUZzGx̹Aq(`F>WoZI<<(G 달!J^` ڝÁ R?[ u_llf)Q_.TP~ 6mu.VLD^;T3С!xNM u$ ͕TdgYZ1d5cc52db9961e0689472c60aa1c97bf75b622d18215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61 f5e991b39ecd6c398783cd24c91c5bf70874d19da6a462c8f3b6aef3854b98dfb21f2a7a40ddad2e