SQLite format 3@ E.K  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?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 arD ]/ ZF-ex:threads=4elapsed=8.166cpu=18.440gc=0.6087zXZִF! ]ŗXiɟ}g7xxQ MC.äfvV]QfyCkEچh ylާMF2-P/^XFLq3b6wM<qUW;r(Wpyb )Y&75(۽rMU[gC7|bjt`˿?.AC_L {+G=@\[avr,Yntay@MCg3M>gYZ7zXZִF! ]ŗXiɟ9)uayZKLW'b<+yA/]P^z-7qckC{WB|UwhQ!a#cڍ(ڻ @+ETn/3*t~O"l܄'O KgN s(!H{8TL\G1hѴaQǙRMEѷǓbƲgYZ7zXZִF! T.]ŗXi%T[BSJQ˶昫#qb*` c=!GO!Ң_,-b ''gr4|7;SgU"D bXsWAԣ?u[?حNĴB/ܓN~0o鮈d~|&~KTԶԐB>Ea|G&:Np/W+HtcobXةV3]ŞDa''3f1^n[Gt%#cbԱccp0OI^ TL3Έz7Z(CUM(7Y(N}H,K\@vRP"W廇WꚈ4 ޜI Yew=˂T&ZwOxu;sQB$d6V{g/1}/Sٛ+ WV0+PfdQ&1cL@{9ו4<-+‹ !zm.hyPBy]Tb'>4RM@59I >ToDgLw?Oyi+}OphQ`rv)uzX#T3TLm`9ڕAF?h,_kϊB X둎@O[9-J}OZ,cKܣ|pUS҈ڐBR]Mj?L#OJ!#kJ? jEVx@/0o'R^w6:A$۫)ԻͭE=m)nG[gp -me0BLB0 4uDgnU!oQLxTNa?{¨PTS";)Q6~8]ya#@[S %EЈ9SE1Y;jv"llL+WZ䴤C0Ř>Z+3QlԠR}; ,S߻^y>ו_\FP+My059u/d.V;(R^tv@GZdq~byVr^$4MӘ~sB̸ؕayk2^SPduzdݕF.FF>5,`D7np ikp rY֞7tlO-"'*;/Ai %Z`bN{źR"H]ӹQYЎ6 An¨6?3/whoj,VA0\e[Ї,A,N|x@TjKJDN?fPNV B8VXz!ЙANxԘV3'Exbh QiN`u!(E8nj,3?|dr^,c-K0m tCbh=̦#DK)$?M85ئeޢH|t{:|tddGbe<4TmkYg,VRf_ܫB -RE8إ8#BA;U5\f[h2$#70sȶ2A7~@=d2?a` Y!A0ʹ:(+l5?B,`- Dֆ[S@pwn'Ct usUTit.01r9ñޤFyŌI՟nfLm_HZI;/D%P  X l0dZ]82UbG .=F#Iӆ$/G-InRw.>xX9V6:>.8̆@D9ΛFK|;/ŧN1D6k1:iwqaTZ )@lLTHG/8**ɐʲy[o"E# ,\(Fg@mz_K\ Wߚe8eP 8Z{YP !/ LZF-exZF-ex.Ringdocument/Ring.tex7zXZִF! +R]A-MՋhvG"uIBm5/sj!=4=?~Be.v([J\@`cZgN8$s Sݟ i@CMƛW׿X7 @)/0wK4#2MiVnbnƭt 0j'W.M%uiƮ%iui+C!]a cfq42f|"#B(vϛMx}{pe7_OT;gRd*+޲pӤB-YI gvT GnZbRK<5S`%F?c]t GmᖱFp- ^冽^ѽ?L@nIc: g"^f,Hsii7;2e!- @ ޲,PZqc)D463400),$+"        5=  } [ 8  _ 5 W ^ =  a=.  E #  | Z 7 [  m4##'ZF-exZF-ex.LimitPIDE/messages5!##ZF-exZF-ex.LimitPIDE/markup4 #!ZF-exZF-ex.LimitPIDE/files3&#-ZF-exZF-ex.LimitPIDE/document_id2!##ZF-exZF-ex.BinExPIDE/markup1 #!ZF-exZF-ex.BinExPIDE/files0&#-ZF-exZF-ex.BinExPIDE/document_id/)/'ZF-exZF-ex.CommutationPIDE/messages.'/#ZF-exZF-ex.CommutationPIDE/markup-&/!ZF-exZF-ex.CommutationPIDE/files,,/-ZF-exZF-ex.CommutationPIDE/document_id+$%'ZF-exZF-ex.PrimesPIDE/messages*"%#ZF-exZF-ex.PrimesPIDE/markup)!%!ZF-exZF-ex.PrimesPIDE/files('%-ZF-exZF-ex.PrimesPIDE/document_id'"!'ZF-exZF-ex.miscPIDE/messages& !#ZF-exZF-ex.miscPIDE/markup%!!ZF-exZF-ex.miscPIDE/files$%!-ZF-exZF-ex.miscPIDE/document_id###'ZF-exZF-ex.LListPIDE/messages"!##ZF-exZF-ex.LListPIDE/markup! #!ZF-exZF-ex.LListPIDE/files &#-ZF-exZF-ex.LListPIDE/document_id##'ZF-exZF-ex.GroupPIDE/messages!##ZF-exZF-ex.GroupPIDE/markup #!ZF-exZF-ex.GroupPIDE/files&#-ZF-exZF-ex.GroupPIDE/document_id$%'ZF-exZF-ex.CoUnitPIDE/messages"%#ZF-exZF-ex.CoUnitPIDE/markup!%!ZF-exZF-ex.CoUnitPIDE/files'%-ZF-exZF-ex.CoUnitPIDE/document_id"%#ZF-exZF-ex.NatSumPIDE/markup!%!ZF-exZF-ex.NatSumPIDE/files'%-ZF-exZF-ex.NatSumPIDE/document_id$%'ZF-exZF-ex.RamseyPIDE/messages"%#ZF-exZF-ex.RamseyPIDE/markup!%!ZF-exZF-ex.RamseyPIDE/files'%-ZF-exZF-ex.RamseyPIDE/document_id"!'ZF-exZF-ex.RingPIDE/messages !#ZF-exZF-ex.RingPIDE/markup!!ZF-exZF-ex.RingPIDE/files %!-ZF-exZF-ex.RingPIDE/document_id (#1ZF-exZF-ex.Limitdocument/Limit.tex (#1ZF-exZF-ex.Groupdocument/Group.tex *%3ZF-exZF-ex.CoUnitdocument/CoUnit.tex (#1ZF-exZF-ex.BinExdocument/BinEx.tex*%3ZF-exZF-ex.NatSumdocument/NatSum.tex4/=ZF-exZF-ex.Commutationdocument/Commutation.tex&!/ZF-exZF-ex.miscdocument/misc.tex*%3ZF-exZF-ex.Ramseydocument/Ramsey.tex(#1ZF-exZF-ex.LListdocument/LList.tex*%3ZF-exZF-ex.Primesdocument/Primes.tex%!/ ZF-exZF-ex.Ringdocument/Ring.tex  .t:^L*WbT$7%Q~Ѡ\sE7ItY#QNw1?.WƧ%'Vty*@ (=֪翡 RG";_J͕n=3:j I\N uX6^aa9I`T`Yo"Lx߫SP4zԒ&]Pј7w #H*&pbuc;@7ζ[dt*S`032*Mۊ⺝û'"G{Μ._x5k*'j`%g9[si.J*qޙU|%2U,ͬc,R'ב"7ߎI1r7Rbq}Czq^M_rQc0Amhr Y#8oݪԑ9t}$88 5-'3۔Ʀ <~c2sF|uҢ6 f 0dQ.mXsnz]L ,km2RT\',-W*0c#e,Blf5걷y]K ZNEM$Bt*$ ]157Ѧk9CyڜR*pOC]osl{<aGjoAvRő03Ba~Y\CsZbNl v\>LыAe*d'dP+n؊ި/0䇍Շ3DȤ@ Yo.(<'g,w,u|;IWr|U-u썩:9~+\$F}Zbrh։21)0 cAD3$Y뮚E޸!T1*Z& ESWl&H"C&V`q]{M׏,޼RHx_Ab X<t*[^9¦)uPQy̸Ȗ])k#=MgӦ57MƄBV;'^'2%dɜ.XV6SAKe |OgDbL'].##FpaAWI[!.],S՝2Cg#w[#ܙ xi?kƠ ?KeO>4C*@(5Jm_3^wN ~@+΅TN:]ώ.c\F0>|b]|bwZ 0-tPj=w>a-)D~.I~`!'*ja8=I;fKQ1޸'"sDesّC Nq_d%чC9ga"R5E9'7\0׹L|awٮk'c=b)߇.j", VUZ$~.Af"Dwt$A|Rcp'y2D8-~C8Za̲"du<0WX,$i~j(DF5Itl onBIUMo،-`%%ܺ 2qb+e!Y ggWfv|r*]ö}t ?9È%٪-n͐$&s塴.DQG| љr SF4_}=߉Ė:1O:ԘSr8|a3|֞܁=*o kVHLVYSTQ8RV(Ïaqf&A#"c{_{1E /C[zjG<kO{ψ0 HqNJ?_f/?p3B71mSAwv}}EђͶeѾai 6"O 2Xʹ1fc\QB ^cQYsa9$4hkM<+77'bk䞜s),7LҤ"GSRbv;9o]Z$cW[9\YB0pm$` r3P;4M{{w?U`Lz @&z!`Ee'gL2lEgY8A L\F)8ak:V|}vOB*ox95K:Y,#>b!PA| }uŪmb S. c7Ol\Ll(ܑchNHKmYl~IwGA7@`Q ИꉼƞE3[ TG_` jO0{)ٛ.Jn9kfR]J |HxW,#r؍Y~|"k<|aA);lw,}h(nW9AX0SxhZC*sKx_V~sk ?JHה`J -Tųu'Ėq)kUO(ٰGMvKmO"8 %-nhåee)r/)`\Ud6C❪<Ѥc41/ؐ.ku\˵wc H~!baj/,!#|F~RUoASVR/%0ؕ`[qn96/]ٹtF朖7L]7>Isc39q]݁ki+L/FJ>YL :3HMC,m~?+$ 83Ҽ3E|u8*\pI+^6H!BfԆ??238ͣ3?Xjg+ ܻ'z nJCgzHr8 ~ۉeࠑp*l_HިeZK2cB4XR.+}e,뜬(]xxޘ%W?/L4ja 0vvӅIl!iNCjXû2;颓 Fv/^JZ~{ D*U>$0֯'?xLZk^YQ;svWCxvf抣~HiBf?PSom +޷Vf̰BM7UTi^Vw^Y׺- &\gUzEה9J WnaLDamY[*\K5ԣ%`^~Yuxrz,1Ȳ>+vҒ5ؘ6Veɖ}9wo@ȧk\vm=,>7 Ʉ?wr?bS5+A_;Lаf_sCmǻafiX${Ll -eɃMzk,ؘ؈͇@](ۂ y&8$ #;j[`&$d;hP#uHzB1A \I5 U}7L,=efQbl&x̓^4] ;z50Qi#ZPH4Rf<&$;_^UE[BSwucrF~Y/. Q!z&KX% zn Z[kRna}ֿ5'GZn_,5?iQM@Z'Qa rn@K`L=}@a& _dV7n~LbR◩ףWFϵl~dml9iΘT(y[mh)UP^ѹ?^% mHb~?ۮWnsH%#3+L7wH!r VxHXMl$sV|~WTh Do#^Qt/7J%\; Vyj؇?Q <7SEߣ{2?صm.-mP՛q!t:R0<|jɶ8Sg $ZH;=3EwĨ*oG SxJ(9=ꉲ@Ah _ut~/Av"GyUŋ#+]er Ng*̦R\;Q~{IW %BuQD'a0D!9nbҮoq9ӲpƿJ~_$ Ka9n]GSc]Hm1Ŧmft2[. HVZyhe tDw50bo* J#@ >1(rxpRv{NŹ\#yS[Wn!:U Yr~.D.:1N~KA,M);?$uPwa s]toX̓7m ^bl]PjZ8@T9CŏCf]-rR8X!qXdښA^)'.M_.q{QZAЙ/e:Y7D3t@#G[ɰt( vBeaU'zg tHf&źx$/ v/Ǹk8Ϡb+rTOqUjV׷6Z<\mGKW)j[IuUB:n}@-/[ 88Q!4řP?fB&%9K℺s.5inpCc(}8xf$F"6E :+HTN"byџZܹ#]K1ˋ=Ga9vID7_060l)kKc|]Yjp96BG6l^! b#Z·Ú88΁{9VPm!Ɇe :Ɨ==ͧr3~{MJa,\"{'#|P.:su>GceX SC$]J$ 8ӭ:D fދcIs/{>} I23O7mq&=nLsXlo_,W;;M$Wi]X ]sV{Rz>tޙ$U uJ/tC{=HDSe e~+ ES9I2br[CjZOޘf֩ơhoHs,.Dǥ@ZEJ0+ (OfDRͬˏBgns+EQeMc*HυK׎O]=d7&[^*[D֝ O !T kUU3X^$Lc|KI&d=b6 =n5QyyMfTqkӧZ)^t XZkAQPdn$Z)F`=Ɲݦ 'v˶#M|:ߕ |x l7gUP4N0ԓgY@g yVQnBB&8]AaLq'{|_5Y!d %lyx|dB88'yаۦnk?-+(Jx+!f_ ʥ0_%r;Pdcfdn>/4SqoڟQ8C#^97~7n/CX32u `LfNmsn;)qc[@-*M9] D(aUMU'M bF`f (Xx5t uoH[,a&s|I^?,EȘȠ<ʀ)KWV{zWtk%\Q:@2/"be\*@ʍ-m˧uٞS&fJg@\s1C74uONmĄ@$x&'2ȀF gYZ  m%3 TZF-exZF-ex.Primesdocument/Primes.tex7zXZִF! ᐆ#]A-MՋhvG"uIBm5L'ɚy8\2.^lZ8qŊn_}J5=}/:CCv+F4D}}\a*~5"C`ҹodHPvs+ %EЈ9SE1Y;jv"llL+WZ䴤C0Ř>Z+3QlԠR}; ,S߻^y>ו_\FP+My059u/d.V;(R^tv@GZdq~byVr^$4MӘ~sB̸ؕayk2^SPduzdݕF.FF>5,`D7np ikp rY֞7tlO-"'*;/Ai %Z`bN{źR"H]ӹQYЎ6 An¨6?3/whoj,VA0\e[Ї,A,N|x@TjKJDN?fPNV B8VXz!ЙANxԘV3'Exbh QiN`u!(E8nj,3?|dr^,c-K0m tCbh=̦#DK)$?M85ئeޢH|t{:|tddGbe<4TmkYg,VRf_ܫB -RE8إ8#BA;U5\f[h2$#70sȶ2A7~@=d2?a` Y!A0ʹ:(+l5?B,`- Dֆ[S@pwn'Ct usUTit.01r9ñޤFyŌI՟nfLm_HZI;/D%P  X l0dZ]82UbG .=F#Iӆ$/G-InRw.>xX9V6:>.8̆@D9ΛFK|;/ŧN1D6k1:iwqaTZ )@lLTHG/8**ɐʲy[o"E# ,\(Fg@mz_K\ Wߚe8eP 8Z{YP !/ LZF-exZF-ex.Ringdocument/Ring.tex7zXZִF! +R]A-MՋhvG"uIBm5/sj!=4=?~Be.v([J\@`cZgN8$s Sݟ i@CMƛW׿X7 @)/0wK4#2MiVnbnƭt 0j'W.M%uiƮ%iui+C!]a cfq42f|"#B(vϛMx}{pe7_OT;gRd*+޲pӤB-YI gvT GnZbRK<5S`%F?c]t GmᖱFp- ^冽^ѽ?L@nIc: g"^f,Hsii7;2e!- @ ޲,PZqc)Taa K2W=5b i^!\CZ`Cr4ԆYSXMc Zʀ/: z#1 ,ZF-exZF-ex.LListdocument/LList.tex7zXZִF! ༐]A-MՋhvG"uIBm5z%ZŅ"@ž;)7q9BA=Ijԑ?߉/>%O1fA;? 7i$Lqu/a.|iVmqnXUVד̛fۜPZ0BUYdCeCĔboB9r"tR9y|B|֗qqձ(Oy P@5=uGBH-" X)P%bu=J~xޝV\J9q8_ɇSG=pmN^VC۪/Ԙ EIs8(9zVO-(%[aP vMrA!>⮓0WtM:;lnѲFF?m܇D?x-W:<]vO6b2LÎ$)tE:uӁW+.?DC.w9&eSF75 )NV|j*̖M䜉S{̈́Ȍ1 ~)GcJjMzl'wCXDdv(c8WDۊc NVHٶQc~hkWzuz"P,uF = }(EaGy5 PE=/xq*vXq|]Y) qP0ǫ7}R&2f e#^ ]W:ˠHrm*}7:ʜiň] ԡjhJ5WQX1kvׂt 4v`]CC!f"sͰ}  ~2W] ` 뜷Ocx"]+bBTD 43 T:5!3CD5FM }ӈWR<, pL|QB:/R9r ERg!aҖAxSKzQq/)R`I;^`!\>[1GiH>t}ߧӻkɧ_N}#46}׬!dnp'RC%,- ~SUP'4!V5sFo@_Ċ̸v/-nA;9^MoD#\P1PmvDfECnYZ)Ph3u&6Z;1s)@ܣ`i%VΒ'V}Z_L0C6wj@`Rr MT$DvfFY*ȈJ?F"/*p̯GR=f/;xw(IU]~L>mƚ5ޝXX0?.)'E>S:SOUꌐ>&A<"0GoQɰ["SHvQs-0Y?JڬdŁgvdUGP";$uF egCJ11j  7So̮26֪/x4^rS5'Uө0y̩gΐn{@p w,_4@Ei=&۟3L ] VCSnr4(Q<~0lmt#k|xM̒$N6 C͢¿})t ut5vV݆blں,>1upRUuio$|{,E,r4zv5 sƢ|h 7 ?->HR(9՝Eh%̱C g9(I*Pk C!_V}h|+x~Ǚa^3 Ii4L?_IG`&d6kxSoa%bj@]m5XoRlo9?w%"1m䵞l!Zft=L!'-!N CbM3J/SvН[#<< i߳jxv7^-"Ev Jg8?\R_~6%d6W`F,#2c0# =c GJN(=_&:H4Ayqf8>Kpxbj 14uEQލR㱴_^&b1y hfE5_L˦Geu}R2 1au?5=q4;*U8OiޗRҕt)Zba۪oԷnBǓƞ^/&{XC~4F =C+U RBug:w8Bޗul qsvS/y첣Lq,ݴj. y6taqz"diy4IT}gUNhQ&ؿ(R~fz ٠5y9뙳O уVV`%kdͣ1@$5^5G W7k8X%h/+_@40sDJR;Dz e^1G$˺(,$ƫ*OI {jB|M,< J2b^IVM|ɺFOH b ) 5.7=diu3SS{mgt< t1 *eA|hӦQ  E@Ƣx'pq2I.7GQ3TJ9U}W*ҌWy9~o ۷I`oZB3V-o|4(x]OOݫ 카lǿ!96GWg.?WvsWli*Yx?CGt6ثdCH%4(`Dz֨l1ᾄEArmGL| 3|/(上49` $4[DUã T*ja^jB{)CpbA(k"bfE&@AJtL̾:D[Y2D8 8F7n^|Y*ݏCk_.t9(8wǹ ODAgiEi7, w'_z}ngYZ 0%3 ZF-exZF-ex.Ramseydocument/Ramsey.tex7zXZִF!  ]A-MՋhvG"uIBm5ֽ!h^xZSVt'.u[ %Y/iomxt u˂ X|}{nYwL;f8&*v5e(ʇ|(rڜ(I)7ўɛSX9*_^CvyKxs0^ QWz0ZT ?XP~+.p+մ{2[{V[*؁!|߰1cisxZ5[dŧ0KP)Q'g CLw_=m.h?fC}Tlmeѧ?U MOBr&DEL6!R@X֠.*k|Gqa4*nbY c\&G 5$Lļㄩč„ vFv d䉓oθy#~Sg != @.G 30˨d zj2 #3g[9m&l"M 3D:ͲOUa u|2ca1oY=\I>)v{;RycY\)q>)'Ejcn靘}L!U2u-a 0 ؙ-CYPZ:~HR_" ;C#(jk.Ng.Ӧ}Y Jz`wt!QD04^tipWFŭ_8"Bq\ʼ/Kswm?=:KX`{chC%{B̐ٱsӜq~B"3@*e&jacHijɆ .^MDY1e%.I$@8Y@e* *e venmF]`š*N:hs$e][Y~Xi?ȡZ(n/_Gg{Jv)QK6S;z.n1Be2J8nhZ7Ff.hF!)c6:&vzENCr#$UEcJUQeH)Hc޺c f6oV \n-k/⒇V NgpNJ!^mY8x!OP>8&F$8~U3 x=OMC8G scSY…I5`MJdmynFAp+nJQc0M|W%槜*N}0M M;6fHKHv!.7q" tjikAtj͢ʌ8ehDA+lX nϜK|?%2v*dwo.6凛t7ØV2@|(CNX`+`fX=7ltB·Z|cH۴[_Q=6P ;fKPO& Y e[\Lޤ 6R|{\C\8e@ wHT@X=أ<Ø!qd٧*U=04lARTtN-EvNFHA ʆɥ=çhCVa[3RҰ7ޣ*+ bOft0cRݷVZ2n8ë3Cji1*(&٣=)%ċ{0pD:3z~gYZ `!/ |ZF-exZF-ex.miscdocument/misc.tex7zXZִF! sM u]A-MՋhvG"uIBm52 SD*YXuYgpOe5 ]!&H O:AW}pËjYxb.|.8NչM5*!Uz۲$^K}_jНΌPV./#%_^b|YZ0kB>=ap) F=(0lUV08bS?Nu•`1ad[oԹtyS_׏"t^8?Q:> ?*7mQ5qW*:{ S 0‚Pl]?Ő iƈVJa(z0*9񥋏(0M1[D)5)i{Gرbuba尮o% V2ez~N'6Aux⻣G'Eey?ZwiV:Eo$e%}mr,a̓9DIvYĘ V']?! tT+:H\(`hヘ_ZV HF-={r\\AIշzQТ' TV]/?C~e2r7{_,Xa/Rl`1_H?_OyfbtxyawHu,b 9S7zs >rYU\ac3n(6M ݱLQYjHPfayR;g-XE:2G|EXJX~Ϭi˛aoʵZ &qUiLfAMMxB ߌΟ=h\˩".%Pk MK3/;Bc51F6̐6))B#$NOjNN62˪+ ЗLw$ N(κ"tʦazj$ͲV4OmftxFL'<:,a7uD}b. 9-Je5䖨y 6 ,ڤ-`oP-yv4]Ӏօ·^@Ԋ5%< 6|W~87Bg4F"\ G᰺fdA2bL(灃}>MR%7 d502R'%,Z:`rn1r}?MWeؼz}ӕ":1nG8rbes/!Rt{qOLleɫ.( JV0kP;}##яK<@Ғ=-Helc҃^?2z9!]iU&b^O̥PR7sw Oժ.x׏~[g3H!ZAac2/?M"uK[6.}ZUg`D[?fGes, +Wڏ{ȅ(UU5 (1\_3W1Tz$mKɖ3*_{f\29JB<<L |#Ǖ溭Z$t6-6 '渴Ba *ı5[;ɲv1o޲Ǚ%a.F&Zé&43 Gd4#{><2)OO0cf5a// LXʥ$JxŎcN+"st[,ŭ%WVuPhI=Ek7 O=mZ!2644AC~kDyh+uYBP>:*ZҺɞ*{Y-x<6/xLz^S¦Ï]XZzf%tHqTKm_Hсu l^2yO xD&N<>K~L&편L )HlaCh{Qi~iE^IgYZ lKl\%3 lZF-exZF-ex.NatSumdocument/NatSum.tex7zXZִF! @zn]A-MՋhvG"uIBm5ıZ?pP6.AwD*🸜#9ptCJ.I71d8OhqiR2k5]pqJ:W{"hYSy_@vPa{6ڨ 6ÿqf~߾i)l r4uJ /Jg#굈v8q~?*\) ք*VVąa5š U k,Cbukޢ)"ڥ6eASW[_p /a6)NhT>20)PX\(- ʘ-rnFJ.*]ڙ~9{|PѨ= _Q$L40-zk.&>]>O]Wۇ5mKIPEȟ! ~%&]U]l`kLT)^=H&/e;GA 4{Vzlnazه~/Y&(z-JkOփƝU?Ϯv*P`-LYDȁvB6 } 5 G=ڢ|2+8P:ے.jy\!5`ߖsy_|Il?>"O<ʟ8ۅEJ"CvO5օv qRA:()\?l//%[6^[)sɷKj=vLiE0y'KqNLJ s"{PE![Tʤ馢y!nվz-(\R >mi[@ -]^G|zk_bufv|u4OSې]WRd Ç}`-+uTϛ[hׯY1ډ4vZ{<Ȩ  u:'رgYZ2/= ZF-exZF-ex.Commutationdocument/Commutation.tex7zXZִF! x4 :]A-MՋhvG"uIBm5XB4\d)ij2Sքp#k+jᧁ[\s0KH91^ {7dt1_4ޛqj[T @ հqQO @ a^!~&p_Dp.tp$t`A%M(I>VU^QAIWbWl3:ܜx|lއ\#unZj5ʣIwNCUO{qjoq<Fʖg[ iLiejԨJŘ0ZypQB+'Cکr%UmM&!hȵ|_Uc9G#-UIH/5L0c<ȍA̻$B1H$ cO.E'gvNX9͢bc8n-yGJL/DyOe1Im&FT2DZ/2h@:xB[+f[E͝HH:rDmwH+d2Q'k4 9CJp=ۊʐ\ˌ^aa@Ȯ.Cܙ*f4YW{4`¯C_Z.ja%MN&Ʌ% o9ih>?Db갸h}F9;,`iz<)+WvW3xvNƒb1Cm{Mw#vn҅Io#W#ýUR16MggRWځJ%=}mzuě6C*hM/s_%`{.,K\ _>2.dʵc'{+6P+AV4X-rņWN)pM_- ަa rCdfMm.ߍVgpLŧfI7#>!6b Ɨeæ^ք2}khi4\}d0]OhI?($ncu)v Q^ItZy[x@ U 2G&.M=iR.54 *24@T/ծjoC^ 2u ΟUP{QckeZ.g,m)m(⋖3[ɐe@e08_Zy>[23?zH C|="4 yWN)7hd5(m-@ U;JQ|&|T5@.;J&c=O2]g,Mm0P~5Z\5[C.E JEA25$tkg>+"Hx4cyS5.U!0OT:[? ۖ)j*w*F^*ɝ12ƪU_c =Qv҆"WӖIyɉj+6Eu }*AJR+P9,>.7w]KJ] VbӥGju016u!ċd=tk$a A994agYZ  l %3 ZF-exZF-ex.CoUnitdocument/CoUnit.tex7zXZִF! J]A-MՋhvG"uIBm5Fˉv@D ZW $F}̌hM'!f]fF2M,_wm*Ƈ>#mnb6B'{Yh:i63 U@SJЀI!g8[73lԆ(NK3VP e0M4'ɤ%a༦ρ=͟wМ]5qȃ!K ڼ3 2u}5{| U|SӸ1;Y#l=$#Iv%]#e~r 2(XnUݤg`;]J wyCn}jGFd Z!"3Yܕگ~Sד˧j+ɕs9y]n˛!~3f![ .N3i(:! ]J' IP)~Ǵ5l*!fT*> rD匟ՙ#ޛfwd0~V2 pZaѯ gVl)Z}5Uy'P̱ Zp/pl 'x.;#/nx.pme%Ҥ7P 7vy%=r[]J{nA`A!,4Q\\@tef{~_٩I%dȖ_5vaizYATJE`VDu߱lkjZg*{^M;ZĽ5+rK1H̐$jiP <#={Hةxc1k?`fU 6{6kyj0=]lt9k݋̈#W^6'ASb-OVյVv+,5omߞBѵ:t$FN?*0$.hZp%f. |#W+/pET<* !Jƕ$DRpJ̧Bۛ0frMF^yQ?N"ambIH!I{lT.W𻛐<30:%`"Kϯ0hW!*v8sDyhJÚ1g_FPO-j PV:Ro/DU}jEDtŸ!s7]kg`"j3)F1_pܷF-& ~%& 1z z8Gg p̖sg˜nVb?aSd/?gVϋg~l7X#t.PmlȊЍsS08VN]Zٽ4(J+VSOǛzyژ{eJ~YpB|gk h`x z6f}ܝ`A>EpX>$bDs7~2(FK^:Oa-6e!rUcøCgcgkyKvzo#Ի@In ES!ki)x&>YR/YԠ?6g4[MO2z;#-aKtH|`_s(gU{FA⠉he{lC^4-`ubH62H9bWU tƢ2#KgW*Kf:*UA@r@ Od{0xM:z[cgYZr#1 ZF-exZF-ex.BinExdocument/BinEx.tex7zXZִF! BD]A-MՋhvG"uIBm5|_0yɿYۍ$82MmSjb*VTNl]c"^O@) L>.֍QߔHWDHq8VUѩhB5h(=4r6z*;vŴ 3R芶?nX{Mtiz9űJJ:o/vt?{Ďxw:'k{c-(҄<F(6]P6[d|8/fg2 SXɓ)p{qݫo,ΏǢ5=Gtm~hfO얊@uĜzRU}p QM[7;y^YS=I뱽D4l+>mmoGXr>wbҧLSW33Ձ][""%ZgS;Ҁb˸]AP1˫1ZgtLw?`]:8R d.M?;hk9hULnNI_81ܖ?5v]lf#HۅOܥL W^cէI4pCFBgecۤb>/. q@+Xq&9JuƔGЛyzze[]\%ygЃ<m=g+":-X9+~֙^\ KiB=աIObe8k^rh(@C) O-4٘X0Bƛ3|Иuᰢ8|cqSnP.Zv#%;.m9q64cn ?<;b\,‘V"DId"XɢSmDU_ `K=*V]<Ѐ}gx8]iAW,j71NޞYF~jNW(*zGQ m_%,ÜccH>0pIFL~(/:.Լ35zu6$j[HXaxcOAa jʷ}8*Tfy)Xb iMf_ٍ "$*?&wY(hUWhzNug -6@ rӔ-AJ/`o% )}^X-%ΐ`A,?vF( {<Ph؃w~cPngyGdsw|<u2*q>-M *L@%ɓSjxW_;詌#DR8y@Z3jiVXwS5?kdFRzږ j_pʥlCȫ8[?#3q C~Bgl_)Ұm9-Z"bUf鎔" sW\Itufḓ`! r?qt}SjN\/mҺ0he􆔧AA$3v{ lZbS6}{͔>d)T3YUTS5(a*xmLP6ԾJ(g5"j&̱H[UcQV =RN$UE]Θ j*]a7L{Ne0M&*S IDߟ"u!&{`GYܲDyRv<ʥ%}E*\PPN{\M;ux96;3UJ-imlx t42- d(+22unGi¸9{Λ/UR^INaefc훚b-+b^ELu)V<*XxxJ 쉤*Fzt!'"N1DRmۚ!]#t6OF]m# 9~m%֪_:*s-|8Y$k҆yFhv &3,SÑRUa_ cV=nwўȑm݋oNGg$xK!TԧRg|~{=d:\:cԾ#X>?LV "4}AJw9R5 Cƃw+- &<8rkzh /M }*7iʀ~afuƜjw]k$(wR 937kA`gv9NjFX; k|G-f۬Czq`*Fg_~fij3=g[ 8%zwsn$JY{mk<~4Za{h!Fo~v-0gWug@{ >,eƐ+BSpr {^ii(.8mP(6(?, !VP~`;^)2Mq;78zu4t@ )\@6ܴ ; >[_z`uF;>ƫ0vW-u(q]O46Q| BO\ЃM*nqN5c5 oO"\oyF57dpvV}iBXODzQ.+7彔4huGm>g{9X r(=FacWWy-5}NEg=|z\}MJy5;*<`zT{Q:RP!|]teHr]8e9TA\hIimL@˨ފM~)U.ZlJ-mU3W|5s7`5==WBgho~$Hw}|Oܨ'QNE k䞈4zڰzC'EL.%pP ;eKjuM l¤J^ʔ`O~,0^?ٿzU*$734(CߣnkNAb裸iyb -ѫ :IA(3n)`:lV=`/7j/H+gBes6iM:6p ;RH0(JPO<0+ kmSgilA4XXQOe{91#!Y'6 tOuK)mN=yB%bwr>d71Dc𱹼iVq ˊff䙠%['Te p l;^MT'uz=pnusMD,+6+&v'@1fx+'-hw}(N}Sc_@YFwAaFFIZ)%Gr3O}+}W`4ŊI" ޓT x,[m芐~`⌠?jdHq&2LKa+p<|tPֻՒ9c~l65֦4&){<]ʛ~>VCa'N@%c\VRQ$R"[r?n/AkWH {v%#uo Ԅ=r@!98)u8{g!sV`;y^5 * tQ D0a0#̷Osv gD!ѥA)ĴtCL ?^a9mș 2YQKNRMK?cQ^\&bnQcCo JB_N =Dy䈉boesjJl1#Ի-IzHbwshL~+|gsILrtfWalcirdK1Q5+]>\؜) A#6U1dz*%s Wksp :%7=GɣvX:,&ɇAZI08jZgHS^/͒/f[ΠuVŰND2`Se,GeW-(703GóP}"8൰}xӥ>h+{T ށ~LrR͟8'V[p hUXpowD}*,E#|wW[|cxYȵpWKh; Αm؏Ry^oCMC7h]-vA&^-2!WU' l_^bN *{<Ɍ/NBhg似SOqy"w.">J/$JLP|*AR;BS-ϞfDy+}PW6|uVo&X~j<0kv'F9RgsqEIE ̬R9HEꓱOiO9m?L՘"0Noi*>!Dܖ*S13NĭPj?:EI!~eț0>  GZqS j3[U췚W+@y+d{"ꋊ<]ӧł*_o$?.nPUum-@ة{1_Ǥ Yêw$!/,Oz}k1H4:d29tlNV!F9|iV9=oRl l6b2Υ-=&V:4W?7(S{cxC?nI]9zFh:w΋RT5+GEE쮼& ӕV8,1E+'i:x ;CgU"#1;*F{$Vꈜpr˺/7v~# vP(ǀ/зQg;0):6&[k8oFƪp,'cpfDG^_{GY~]"kw;ky7xM*SݽcO/fd_V2CGV= KC}iďD2GYns~Q+yJ^^ :O#)2FPFϧS &}OSE phɨ6? oS&2xYaB_dRRI PE[@JFh6 4W5^t,CcT>ԟ ĉih<,C-d5ybS^qj7@Shw\5(rFGqiӖXXȲO?^¸Y\#XO_G<ܛNMdCΒ&V'5ys4a5 (p{^D hc_5AG`'C􊦸[&*|&O$;y+yJ dK6N^2~::lqxtbm0+w,(5_q&c+"աvM!ZK|ڱ4+3OvOZlŧ#1iG@xpeL Rbf<\`~v%9-2/}jBG%¹'6(,]YwbЦE[eC}kKJ'xns_D`uB-bL;fKb/*Qˇ0M~/ Ԭ I>@zy8HrIմ'o#P20Bj^!c4Oxw%g~xc^4 9v6\=Y XcMNcRS70 X@rP{+A5K5h9ȷ H>ŭLoi,rqS@. QHnFWe6BD@+ڸpʧ " tÜ=FLzg%P 2%P 鿄L1Vr(P+|ptP`,\F1bligm&kh57cG=xj yC ldG_F N$ `ҖpHLAjJ۴B 5'(9@+.4PSRP._mk ryLP]͕7t!c)OZ>kŠ_9\ sE(q /_tɥ(]/@{){T ´Yj0JSUqXDZj'&W{n;GG:Ybyc8)7Ë*@^$'VtrCЗ]ɥ_4UL Ewcl6d X^1)R[EB BV. V{ u;nZPdwUPEC"T~D7o֖}O,\XigfQr]D1٭ZZ efן_Xl[7Z>Bv ֕B$FET'ͥnRRJOIߏiEgXypz`M2Z8Qɝ`̗2.6k?gLd``teDTq@B];G .soW%ju`ثꙎv\wHv3iXWOp%;,(\j]PTav'MqpԎ+ !)=[ۭ[[:NPZwFUyseqz"% ѣ 88^c* SnʦSBe_O(X, ';z99&,? 9һ;,.^1/DfشR7ǀjJXQc~v/EPs+iq,yz~o$ja_9Ww:dݏ0BH?/D ׷XyrJǾϬ1M:]HX0'x(#x@կg?%OF/ u;:Jkt|}E<\졻_i/ß` VaܪƔN0NI= URc]2!8|_/ `_ަ|XQ{~ct(ܥm&h-b*lF6=ch"Ed]0zj x71.ZcPE{ Rsn*;`AM#ЎrY01[3@3̩pƜHgQ[o0~i~ja+kYjEG< (&->VcQ_6^q^r,PsԄ;T!Q:` #O/ؠ\ܱ69NZQ J9+62MC"t_չ#E5ޗGIۋIZo,Fr|Ȕ7~X Esz f$x $oc vh^TX[i6y^#7TF7ڀ'%w+ 咭E_UԼ)h~!ؓpj ] Y!§A\) 7uTHeD3+W&T}⬤s%,b";2j w؞\x1֥^,; %o; w&w c:&Oܶ1_g:foSOp@s8'Pht>3q:.L{3M]Iƥ[H_y`X"1RV'N;#i ?kS7R 33_de%PԄׂBO6N?ybqH3CH$V~ ,l!3qô%&8ѥ,1a@&ght^_xkfxZ#>6ԫ: t`pH܉FP1uɟj 5ެY3@mWz_$UXLYD4Z+t)^H?m:y,@-*'!x ~`^iz`[ 롂bG!tsX;}嚀FN[ea^N<0GCrF'lČF8[y%I4*՚4(; fYہ5#B:YփDc#}Blj1/]ٸdgiV j̀_hю"YF vݦSC<܏.?P diD]?Q w?o.9C]?Z֥j=@zRdqѻ -W-iW,"VS]=XՏA=y61FGEi>ۉlt!HFMi_ 0li&T? 6w]Px[47:~t@bKhէxocѦCdcwGN)nwQ6{/՚ -< c7fъ3]Z͓LU't%;} 5뎖B]_T"Atmը>* +D(eqm4РȹnceK!$Va}*Fᶟ:7o ,0b9 v$'͢ ~</q1GA+65I+p;msȆb]8s  wS6gdwc1Tp9Z;N!{#É?%)1v+uRA?^keJK%V!,#)ĕzFyaTd~Wcw~DZEa]"WplBݔto~߯Y `KAMQG]eާSXZϰ= 0ǁ-h`o!xKn%Z`">?`6KU_9y6٨D`w H뺧~n qm1YuMna `Cq;yم~i"q@&Ș,H`'rpFGՑۄ\F EDTA&甀ŔVٺr?P]9؊@?ލSVV Bv` C撟-h8;x^*?ӝ=P=@}4Q;]o涹E#:V!fqI'[޺li~2jKJ桾r+}9Ϫţ:H!x4zF`Q`Ft]-!yy>0dG]f;DrGPu6W1yƳd& Hn,r]u^e*N5\(7 2!r;˗8FՋxIT Ɵڬ]u wti֭k]pyWi UVJ*݄_4}f\cJ\ qt2R'K6vlH}όI7t5EzP %:V(W@|W-?( {;c)X w]l! ஏ%,N`(bU? C zdR^`*BR/̕h5MwzZI9K(' ZE9~SwM*W>Th յWy$әxY\ƛ3FT.X"?+" .ڎ->G`f߱v3k'y8em_W!14fKE~H/le%ϡ{Luئ=f/0B/x@*uv$Bx{ ?xԁU6R*DV&a!CԺ =>83;/#1UnuǖP`u%&+:IRu\>2C̲>'fV&Es"wz=+NzyOMqcNgC2s0\`J$pvץt$]]Zpra!YJ2Q eMj@ۉIrpgW$ZT[KG QUڷµ yO?(:2]0,x98yv:q\ܤpDbu!(ulO=* ˧^,1d EChvR%3`EcC]up_mUk#s-%4<(7F `.|S"O"-{BIh\%1Jt F&dJg*'N-hf`hUJuT/'=K!k+%x0y|?B>N(L/|KuxlܷD@jyB;#bB\/ AEHld|`|^͢E 5z])ew319RW/rvwXN_D@ܪ .鐬ٱ!,k펬ziѴRq#luΎK,;G[]/epP,8%h2HI!>YiTtA>H؞(SY@ym  ukqbÉ/rZϰ7 ٸF!İ5 F"e`[ls;U.q-3=+c's򫏅AeFHKkKg0&:՟01%x嬝A^?]~"v@inbGʌ6\`tB-uSIN[w(V8vVFyv5G64*gĉ%qR57TqSF?㭧CحM:< aurϻ&|3.foBrz! XZ lI)U7)8X ;65BXQ6c|ht&#:͑;tz|Qhc=(X 5 \v 8v,%BWNxZF !v-nB/|!熪|0rvx*咰=GE6QW!Yly^ETr`LD*zZC0H"W4bSƔI')jF*|x9YI)`UԌuB]39{8$3Ee,v I%M5!uxޤ,"X׳yx2ZbWhKvN)r?@^xʤ/&T٧nyɸlŧ?$upӣ(+ȳD+ї&I\;j)†oAL aؘOHG8/_7ecec(xv|hF2OAo'(6I.KAT#k}gGmW J&oST, Vϕ~X7,Ջ8RKGI`K_v3>p, yA-ΰzC ;qvS|qV5nT(.6X8|2oFbijdžZO%iH%ƫ]~Y"\g/F#д`f\쯫~5މ V22)Ai7OuHmURbLDc3'숆f!6 |ФT8KwFϭi҆-Z}Q)n H͊"4S1-;=aD vQ#x>}k|$x ФxZҗ؅p ?wA(iQDzD=.gga\CWbSåφmZcxksRcR*"[5Mc5^' ab(nhVɂjp(>ba)防T/ 8a৕Ae0dNPyl$6)vn`Wѫi EZEB |UE7MeI@>6zq4Y^Ӗ'Oqͯ髰Z'W/ԫ[ǓĠp٪q=hN3 3^3R_ʳ 9e~ dfr(J]np{*mU]hu ,)"֓iOVD&X/o~f6 \JϹ*)*m1rR_VHB"tm&+i n%4|n&! 5:a6q~*GC`3tȘPG?ss`$ReH͞ 7( zoی}9C )cs7yLC8dw )s3cv|mNUZZ>\-ndʠmw<ed20"ϑVV(UF:AWء)MϿd]5u\>|d{H'dVװ4yl Ns{\%C[%պ#>vmhP o$*&a- y40yBdL.`)жA.F?)G ݵq&dUOk<b}kfdbH\$>2ED"K5% /"&NX;̍ỻ2txgՋĻoX!QV-ՊLxOHVu[4AtWAo\ 4E|m8}K@ɻ9>cPH3':c5,VZMsKI}MZ)L㿯J?&-[pκ#f+?ʞ.x\1rՁ*0U~EOT,-)s:8kpsb;Apdg-+Ugw#fYC CW&qZ wEIC(-C oE4?&j, wٝ{XudA|cxbֺo/ 09πKFqV:u5#14f :<3@s,D* 9}RMŁ(s}G_Uk=uRchƲS5I'$do/U6pg)C')'Axb笊r}s!+Y$i*EM?_.5M]$Z,8KJyƒՒFɕOT,pUK-bWJؽx͎岬mVs71Ί"4ݪ%K^O~Jpizœݕ[dw@]VNg|]@忚rJA…dǨ廬v)ގP$"m3hʹHnHbtq V羕~$8RnV񮌺@1&B/֫u [u С4#W.CGt D$X~#Oy-S7τ87vs]<` PVIm20T]RǠ&L >I Wʡdmy):4.NWX}7$/^^)("(SEbH#'9 _gƚ\T+|lFs8R[~}B=1uwP^Gn?w= !@uC:clGo\, fGFߢG1l!S?w- U .tV~na ؐ R[& gYZ  f;5 !!6ZF-exZF-ex.RingPIDE/files~~/src/ZF/ex/Ring.thy) !-ZF-exZF-ex.RingPIDE/document_id110 #1 TZF-exZF-ex.Limitdocument/Limit.tex7zXZִF! 靛e#]A-MՋhvG"uIBm5# (`eEZg:QZR(5 7D/X+2 'B}83*q>HP𨏉#8ZQEBOC.fm,x䑤* ?L/#w:ʶ!_bU6&{*PEup$t3,vJ0T$xӄ"':kPQ$kO&2B5ԟaN$F>!D&JV;B,o^K6|r./?+dqP+ӛ3V"tV:=֜'RmC/DkJe#Fm7mhύɧ+1OBoRF 3 EH-Ͳ0$}0"d{/1egppc)֥nQb\]ZĝK܍q{mPf/X|x=5`^!rM5םgH!V7U!Ko[w}\O)7W"іq4n\c Dϯح-ɬKF,>뭰A+H?ρ7zڢb Pc ۂ%Kr8#-7 ybA@s֎/<~MN90dV4p> ۃ_Rs !g f7Y]aQd rS0ozĉ yXCy8=٢ I^aL&X*C^{wL.\Y%݌]>3}oThc)P㌫P'\;Y/59]% \·t)q2ʠHM i!wqp&%^hl.Q%bg;Hkr|U& s*GsG7l` /t6`U7Hb;T#貼XP{&LAakR eL߯,B3&z[-.pCêXaEjgS4tUJ~*vp>n_sy;ȡضV.#Y6vÕN3hb)WF9܉_tp(#gx)4D^AN=4`aM$LMuS IMcc@$iŰ GȈΞM m`(ɺ,*0Ƕ)+6e%rl a5i} hRmg pr{'#/:DKi*ivὖCY%N>'B$Èf(f<|ϊ~ӕm0x `dU3Sh#uA,,8h1Lp@Kyl(εpwZyB34 qajtG2UU<( pLGH48)ky[ph^he5_iv?lwj21G P ='s pVAȡ͛KRm$GX@fu ?R`W7*UpPvyClSq({9HNb:6$ ^ôW%g\*q_4tR/ҔXOof?Zgǐ)"mӠI[侱>s@兎GpJo~̔Xjs_++Cδ-7x,huYAMG:v:W׊J(V<Q:A-{i^1-1/[\ k\c| ycYڅ=t̓KE8gc ΦߠFF.ڕ%17s3DsE*z-z iIIBm ̓ ﺇwԒ?eYow/P>fo.p 3@tW~fs16 Wm15j*Urf0vj{^('ߒ|(~ӂf+7L^IEfixЗʡgw;vʿ?sݣv q=95&#z29,XQUA}2'= vX *ߤ#M^I)@gڌҾg (ψCo?*R p:EYurLjgwV1Ʈ;@!5JV1 !T9Y y %(7 IګysZD^uT< -d&Y)(+rhR6D6p+qRP>;e*bK6]{Heop]zwaF;`sn )8ڞKٸ\0)×5F؂8BtɬΟ3"x3r!J؛g}L=6b/Q><ˬ?ҕ ^Ӭ9ORd5j*h%Aÿ~玺ف/XV xc(T8E&}"6NXV bj|)A PV3ŹNu~9^Z'y1RtCjf"ZXC)C9>wzwYFK5EkyrOfre4(ZhWm4$ 3s5iT%x%;z>!*&HJmadql (τ1 ڠn臘\?pRL$Êt=oˬ^]#8Im5)%.Q뾱$W넟&wx$ևȻIf*x\*F:ٵK-bv01e#C졟V*y;I,?n?J‘grV"Rtc0@tOwЌS7r|E<[{L! =̪)szpGq Es@EPfΡRUެI$K:}``e;a]]}z:099X_L fnªEQjFZ&WZt 6ylh/r=~A96(T}ukS3i| 0ZnW(ޝ JyŒmhe`jkz$`M,D4}"S𖤖LgvnoD=89%p KFbDn;4E6XФ7moVL ?0D{"`Xјܻ㛚: jEs(/g\ ϏG `w B\,Uv Ms:+vQ6/W_\s+Đ-sSpm5)P/R7ygn}h_!?nQY/G^˷m6o9hjHWp[PIDŽ0%Z]W$m.9v .̷'BŌ`Y fG&53>ع$Yq"D]̀!pQw_T n'V?NunIճ"){w.X Y\jc^] :vTad iDuʤ̌w"_QL(g,+g @#@ ~ˍY׵r x*nj2XS3PȑBP3b ƒgo9QI4π flt d%^'sLbFzU0+H jq'9TZ`řNZ:]81>/ wiԭ mM&D9t+Y>><@\YJc>19z=6ɚ̏+FX-j [(j-S_HgcA't)?\Y0mW;AF+rYz>3S՞A8XP}M`^V$(< ^^C]iiwf|7뮄d8&)To[ٻ;_;(JM!9g[$=*Ih衷~'Rdu1A-ߤm2/$ Œ ͧy6hY2Ŋ}kƟҚ**xį e0H| b}|9E[/_FMK֗Y{JQv CwAB.mES>q>%$ Ǚ! 1i)%MEҮ5[%wpA#_Hbc,`Uc}AKyqYKL8s 'X2HInE tX{+X-|3$ǵ20#AK| fQT@xrPḘDRha.`ҠRj(՚{8زVڐ.fo(6Gx CA(^ׁu^3Pbj# D&H/5&Eo9/kYv"J؜?8U~ hp9dQ rrL?TARӏ9eOLf2XÂ%rc'jۡxRkȷ#Bζ% YgdhWG~`: Q/hb&H .6/E>hhkv(KKŕyTs–_Iw7-}Ǫۖra8HJ@`?@ui|;DF+_kD"%2Br(oe ,w5V?.44TV$H81A-sJ I ꟦pD1CR:륇pwYTVp4C"z'ʑhh`#Z}n2dSpeSؐG~4t!Zq< Py+\hݵu?RQ4vo2N!# ,\ky>/x7G,p u?4Cy t$aai3IdjԻXΟ9kjk4Wg)f>$$,8!d!70)5du座𖴀X&3~-E_pـEڤhms v6goOcrC1`Et/tߐb]˸LȼVfXh6!1O0mڭsElgUApߣDGzq]n7ʱ 1>xOVr^ [elI_rٚKmFf'nI+ȓ:Wm/S5{i03g #^]/Ю GKl^JHNJ66a8yDuM}N=sOa~!P1?iʫA1t:<8*#~T'RP/8sZdyp~дĸhs| IW~?ql,a@<×р.(|6Y-Jƈْ=#\Y\P0ю* аB@9 gu&%ǫ RqD\7>oiV[Ef BP•XYv'oj`5dJ-}0[,Mxtdԭ@eUv1p})SqMx+ہW}Nuwtm>"J(#/g`LpoL#Z单 <@R-O?~H]2=}n[}]_ʈHN 65ڪ D6_2B|a$s[8#*GCԗ ch%Ø!bmߖ6UЅĨ<(2[2|2m!Gw Z c+ 8b1h .F]yRUjvҲDZ9BH6J0=={Ƶ $mj%ۋq-9raXl4G~2rb/@ӻ[)݃BT}.kazW{4ʀ:`h^AΰBޯ鋈)8;$6ѳQ8Hں~_a? s'ۚNKx0 Qk~;%i+&Ł9 >pK6{a0"0u´f%m$t-aa)TndV0\Y9I%I@ ;C\'ݤ)L״u8 o 48WiXb_rp< 6O"[pml5DG>%;n8_295Xex]ɋ9[\_1#>2]sVpq91>ʃw( *ʴ奱w{횈$a0QC֤=/Oxy| <񏐘-<*JXNhT-*T7D9w]*!ߵ<» ͬwġr=[?! /梊3ʈŚR,!VZ//wިV:FT@qCu_ubT݅I2\_ boy,3}) [p)V83c̣<~+(򪮋n w7n1fMJ i Wtj5nFZTj{=dXDmhHZR4E\̽k6‡1,<2]GUk g?Û7Jq>H'e@ Eδ_eJJ*Zv"rys(MTќjɼ( hz3dwh@<Vld7a̩K[Pk W%oc]I׻n&-y.h`̡#1zVJID;xD7>yomJ ޫԑ{J10~ F~^da4= (z,i?Ϝ9{ .,9umC:9kw`qliT˟^o#}I"1]to6f7dRlT?!QTr[wtwMD g>H!b2+,+T*+@ŽCˈajCA(0A1{R:Fc3@9.MEMAfT6#tOb$'#g؝/(s3*~ܖL3,Z/z / PQHu9%8A8Mq8шؗY$ҵsVaJҕ |AVӝdePoCmAMb4osO|K8ٿ5&Bg(v<"Y\@cpdJ7YHtE4she$&=>tP'>dzOm;j$ sLg}4kI] o`@R}uq5EI7Cz얽G/#T& vpc] ]z)%y8AAŨCP*-8CZt\Yu$`sCU_DefsF?纞(et(f@ eL:SE@X bF=:<bvZ ow8.:3\-l2 !,KPGU#,bWpP[@>V$uʶyZ}F; O a.c&FsF4?B$M1;EpP#] vڊdؐ3uKҌPCB!kmgmSIAcaer,MKDX+,.'{;s*ulCo۝ڃ,-WdU1-Phy^KD{FM]|$MhQU=d9-%ǵ0tKw`P~ jʻRAwnǟdž߿DҮ^9F=x6?V{$je۳ z3Ŀe2j6CrLG,GӇ |od2*g]Fowy6\7wYa>đ#ZrpgpN'jFAREﭥ2D V 8sWAW] ?ЭR5{n!̫ No{J_ ukHq˯J40𕏽j=-˔)nCy'㑦FS )c[~#˰gȝYOk'SN)^{t2َ7PrseA0vxf n@8PcFѵ|OS[xAy: QN v7ھ P쉸Uq8b}NC܀klLSg=YڳoeGOY+'g2gDaa'IQT8*8"LNZl(qL=7oͼߕe ΀vSN')4ڵ a,R-rޅzq=H!x r@pa/dDnPOEz6kB-c]ضWM8p}u=p3[HPǠI Xf^flA:NոI{n: U<&*) q1w'o6w*#{j5H5DB2`O<Ѡ 1BU/~vzF6n`g0v_*؉ڨ;MBDLF]Ji/9lb< {So|6~Z4^va5/ҵw:EVH\ `W{N8"դh& l2r G&B%fwa8zc!x:IA;ٯT?2"̰+vE<]7HdYbi ߼plv0+ُ}aD@ل~ Q*E2$vKV$ HYXPOw; )[|j[XЏ+Fo(C޿0d)bb 4Y(K{Ps:;ukʠ #MIz IRC0 >}%pLv3 &J6c&]_]E_!Qls%k͎HIU S ݅yLN"&"-xɰ"lj굊䚚Bl}nh"ax5\f҇%d>4,E&1PU(fx{hJt˷޴. p@~[Wer>l^NaKVC؄̈́vTKKvya`0H=J! hJǯ7S"iV-*  GMWFw4REA v [Q=|vd.v؎Bo#۶'y+\$JݑMޯ6msn\hj v9SYfӛ{Kvppְ.2:h<L2˾+~2T]Us1~`c;[0}K6y앧B#m"ſ*t/U*Dc"69X[!OT[dBf/H3d f)-VW1Z£=1Fe[_2 2b#L_{؃u(eHM |ҷ!ģgfQooibt> Vpe$M?M=g-"tS-h ꉧ›"jn&+D(LHp6=SB1p>(Y-BR)WQ7i,  :"Z>Zj\~LL/\EݣxX |9 |[(xW:E Bkמrm}~j#Iیi3 f"g0T rȱ#  z0;H{Â2* FfϽI%`l q1^<=thM/Z1#K㘽IڙX.%Ɲ=~mnA<Z&M#T7'F95T$Ckf$\2.4XM}ց$+3\g@O LBo}l;V xs]>: Q]PѴI}- ᳚t/y:;Uos:ae0-T0c uj-NÌly$+G k]!tIڣtF Lcieg,S] z=Շ g: 1R~ugI8ZN#U%h[?/ΉK -ݹszK mgs ?,RP8ݐ"{*vށg?}1KX`p>qzp˜*K zpc1֜ifÒ^CXaz oa!8vLD.u'o|Ӏ饡^HVw> 5(BF/A.1 j ]iɊ-48ʝ;T$/0}:W2-?>^wR hnN ي1 "M@1H'N'9[b>6 ȋDJ+_!v҈{`D#֯*)Ek↉fw6eJ@*"iF]xEddB8|X:ZwA+vJ Tv5b+o 칙 '7K(j]:n~q+a cvA_h#o5NwP605&ID]mƞr)al ?@WhOKꛠ*sF%M\"9A 0YŜ>z9cl4 Y'yd10Yڊ bxU[ 1,ۄjC2ǯ/J}/FDV炼wc{ɝ>{H1 2ĊCBVĦFUVNATfݨ{o!(`X%J7h;:Sqj;Ufoۦy'}WU@F? Z :3QVGGQpd2,$2Kï(QE]uUJ[/ŪO[H>H#"rwip 3}3d ߶塍?pM=ږꫪ陸NՕ ׵i -24]g\9MA,]< ~oTh.;y4'P Hqv+m/Y}l5Y~E0}MxRu[?aK_ {{mVeOXGOAd,;:T@a]Q[Yot٫+r^Cޟ0yN㹤Cp8vDX$lcGQ6XوvcnQQ&fwbV>&9vwGg 8t g 6ٶ քk\i?>J; _,e_IJrpIҚG,4fpӁZ){x..M"IG$٬_r{/.u[+(oE 5;R !0m9҄1M >0]8O!$HEBv6ε:(-+b$&s<Ą<tYQ%TOy#Q6ս5z7pʘVk9ꃓc9yPV3Dn&Y5w`.kv١m>k^I|٘i ꪧ a#"],? C6~πAUfWn[͙O&3;a4[9T}Bi~@w25DUL5ִ1o# z cfbd |6.? <2'zt3ǴoJ17>wUx()x wC@&}tMgq|wjKFJ⸷)xZ#xu''/*c݌_%!e~<3dqz5KtՆ|,Gfe󏧈nCf½ $:t{]|x4w,/{yv"4L\ԣS-+e:@+4;`*PW i䩬!QVyp\pX JF9DSVW7R2͜m\]vuKQ,-Տn+CQGkI8 ^LCD科m)H59F.HEmtIE4v&/j~C-`<3y:՗@ĵ]nBJ^CP{8ˮ1Ϲ )P>Xق)=|JE#qP.E1%O$ئV\E}`BeQ0-(ś3q{A9ZnXG;.κVHOi1$fqeoG9!ߏ~_<^yT3'JfvmSIުN ˒ABzyVg'C(7cd X &LDU># 1Ή='NWD7h=CS'8)"TolZcr\gqߦ+Q=Ej8HmW")4$JmIUˉB;_Lnh'Z0/0ǩxyE1e#Rv31:E)ķs5Zfd\a(T[8 SM0o6n!1bC.f&<5$A] JM3K?(\1] }]^ZDp#dM4̚\Cc\گY"8;}捏_n%1>h>D*Sæ?A9ْP&θ[Z9NqOsoPʥT;\\,AE6V]׮G^pL<2,4ܳH~ ߾ >V(vZ%Uh_9:ʲi`lK>-97l٫@rwku4s}e[f;:10Vd#=,‘aٸ5O\L`umeYb+l\Iۘ}{\s [#rRcznSW)wtZWc^ksaF*&)B2G"KdS}P)|sm g [6? $}/q^9W:#9y ).ðMsM!^w9`wVP:سv5rOe0)W_(bW?1%_wZNvxRْ!'/W$/?  zJroV%b*M!ʳtT>?iWeJ:, )M*%liP k/uʂChm\DIUZa56H+5hw@?u*nrԠY + * ?Xu@ - 컥-ӥ C'z'#N[;K]?n4]HU|i׮g1- 2gC^ uBB`tË9GĻU ȍU@1Lܤy`tܧޗG;bC 0)A<ٻGxۤ(etǮFIJ !ԝS­rץ+IXq-9٥" */hyLc..ƗR*W=H ߳\˺'^팊vL:k/p}{?YteY},x*h-ʞ'yuތ1> pC΁W/>H9^^;Y&< ̶Z>MGƌI>.Gܵ'66d9LhTEҰ,חKIxG.Ӹl{~zE?!UVWV+#g5x;UxSwΦEmEr+RTxG( 6c#vc_XqY{ܦ#>MSB9 R?@c/ZeY,$x$<=,D.zp#2T\ξԁp ͒]Z*b)m$+ Z=b`L-h& 4-R̐m8 _l izܿ,njw=*l^ɼhHa}f2dh0ҳ](}:J.~ -)gTi8x梀h51 ?܎:O-ų(O)eKIY!pS8u(Qf~jdoՌ31:&|@GcMqFC'~rR8M%w-~x6kױ*j/n<]?k{.G3-Bz 5rvk򴰷7ߣJ'%+pd,\_9 50wA WV"qʣ%L-i*f0LRñdN$@r_= Hu4 |iTV5L?ǫ};3tH04ޭ2-0GԠ>G0R+mǣ$gy@(0伋쿁bVdH1f FD?_@˜+)rp`t0&37u%*PS@c5}L)Mva5b"V,,x*fR(h3b<cj Q!+ޭ%Ԑk7DrII~qDL 2yx;ptqbά ޴q#'6w F9 Tg<gb!,@dGaʗMxr0DV$א[&S$ QGZj?,8T;M%FS0΍6v>N#Oh8ܛ^$uOa?s8u1/y zqs,G<} ma+]m4V3 E-Hz/fC©R\"KاtyrxHE LEA $5mq7 YQƷPtKUbfٓGw֤L$fd0T؅Joo׀2hT Cc})~,<~0<:E)NpX9qXonSHrS SA't^553l&~dSrkyk:l޹Όcoof8 ${JtFKCЗy֣>e(gkH8?xwGڬG#Cϵ\5NIN-, ]gg>׏O4n*l"`'`w 0C,1cLI#: Y"S>0V]=ajT<۬rBseSS>'c퍣9\/5)>av90ETS:Sr2L!ӏ41)P2KguV&N-<'&btr:mpˮTLc-όAힽr_P(hƊ < !͔pCX9{fFudD8Jr^gr+cwcw_;w`h OɌefk|Mms~VT2UKfq4 _%is]V5ŝkmjmo'0L4dGn%0mGK ~K@Nv L~?&Hzk:;e>2%6NWпNxӣ()]iq)Tt6#oxo;"H9cT:a؜{ Y 엚%s/u^3fBR{;O ӝ6,#\Q `*Thlxrᄣ 6MT$> ((ˀ1 +,NKHiu',Ż.?ym2eȡۆB/blTp?,tL!R~)wݥa:L{MM 4E0{bNЯ5/9H5-twS#6 =xwYԹӵB9_)v:'YM>hjFv8λ3iL> 3e5S3RҬ́H1|%  k6"b&]E/ ^"93qŞ;H`o0l!DH'+ ~}H-MBdQY\āYVQݨ0 |(Cժ+JdUҏ f94*[S SyrIjzzti'&;b|õyC6)clCchѵL+% 6Ҟ̍^U^<Y_ `%^`÷:xYd)F ߝtk_/KؤMAhjV@ԇu]6!אr~k3A?W#}T*w5O7=))H| o;=TW' #E@R*?2[~׭+3h! *\f+< Z2D@{IM1n[\p KM|~_l&8jJBL_{Wyx$%rhE[>+Ă +Xꩰkj=*{ +eAhJ"S6%yGQ]lv!("BA^x bV7:}vp _V i9nv3`N) {RI3hꍠπYoT /J6(t-GV\\opxK t":XF2lXMcc%k|.>n$5vM0@LZ\Z2(}ZkGk!گP|>ScI᳷/K^`lIh"Az )"7p_rtq RNz}S_8K]d5us 4%r@ڐIu|&\ԟp~kl/09g 1]w kfey O躽Px}OlfaoG0Grmɣ]EZ xPEbu P3q{Y)z.D7*"Yh@`ҍ>"Zx<4e7wP-8_&ow#Xm }7:N˥#4$+an* b)nA#>a^qwq:M, 皒3:%+@87)u^,])4/3匦PB@=S稉)_**a357Ƒ8fY+Vu;vZ XzyF;vImk0Iw$Ỗ;W!`g͔3<?`XgzD=p, ޭ1cUjbfwu7g&hL&_,?S@PW_ ~ӖBg;Q1zsGw~`krT!: t\O/}851>J؟K `ȍoz幂L&Jo6@#pK_fq>H DjW-Mr\UI}0ܟGqH `g~oGu&4wM/(Oͨn/#1&Kc-2|,sT+q5ŦUc#_4XvW>̫.vn`(oa#?gnM7Ky[`2{EȨd|&߿ΩQv_7eFW "{5TۦS@F%beC<|{_MbQX,]/n̆8عD\`;ުD%oajhSu]]aE`xW6.c(Q-B|Ӭo]o /BC @?Ft#Q{@_Rg-)s6l;BRb֋LhRCEy܍e7sAyZc<϶-R]xS%>9hq<9e]dV^]hwA @/դo wgmģ*\GT|B ד7fgdS.TsYZOU ?9x7~UrkKm8c!8wdy?D *]L1肞-/W;Ν 6@t66 ^MHL_.W[?ރ2]Ms(VݥNs,ܯ37( /h5vG3a.!1W#22g.5c,; 1vNo5ҡnһgnb4"hJ>bIvE,.r}*=)u_q0ψKxGuٻ9뱞ut I"yf}D]`O$MV:HvBh9ykUe RtcueRHn^*F%iy{O{%{/Y:ںCilWc֌x^XnƛtSآrG}Uagˤ0!>X9-O]@`zӓYh0=D4խ# Έ+p{ W%vv?.b =Ř~Ln/'͏8~_\]?D7z{WŠOBmH$|[:168$DLW;֓GQɢkS~032+'@/0[w/#vJL:FE4R l)aLfSXF=C 51sUZZ[2:L_t;ۗn?1+,z#x$8iOnumy4nlpPkaT$ uB[; .cTn)$H&DCk˶U 'PsKն@\)iO-4"re5^֝]n d~z3fonPbɑ*&*.i񻫢)ⴳ@mNӕ73[薸#S$j$u>`sw+]Z-4os* fOT 534a}QS`X>Oxхw+sa&xQgYZ'QL3~>W>S hs "wY96,}>6̢)#M*lR4Nыe[]M $-iO"Rv,((8CXA& ϯyB Krs)r|{~sܡZ8CE~`]`K>-DC,Xq]iC ,.$>ޖmBFpXK ?6CZQK;abfR3sS ^0%՚ز UO$b=`7jDח&BRỶ$BI& $Il,΀h}P5fϵz\4=LDõl[$M:6yWT(㉛UAtAvk{qw'lhg#Ḫ5`\JsY6`($oS3A_DEϼڽ*ADWVfsbl= V8T!0JT-vc$|6cqB6I @Y8FE>}<@]W]CVe82=gbRtBuvGyhQ!`T1"Vݑ=p˻xbeMGfja$4/C ?WEW}ɶƫ=n˪7pvdaSu3o57@OU;e/Pj(%}:wUb/iOe/߲/fcI~RiOx%К ~lާnia竵zCj?K(P0+w6z={NJ`OO8,bAK(C!c3&wG#s`<+ 6+Д:S2 q efaa[x,%LmG6rz/ ^&K#5'n614,ʆ͵"%8|WRWBu׋(hYYjBENWhM(Jrdݘ9!EF;G]+ݹe5Tרa??&MUp ?r&Μ2 sp7/~R!p7uLR6 xIpukqiXEQ*:U⩞Xt})_eDuS>NCƯνtu\Zb{,كaItL8c\' X(*#dH\Br}^(i8ȳ M|#KaaI:y5cͲyZʙZN+taS=8J3T/) Py`S)H; ffn})gեmP:8D&T.řɷX}¥ C0D/ICÄ" wEѢTEt28 q1|W9E8:_Fm xBs-b{yp%5Bxɘbߩa jmb.E9=V]gJa[?_fF&yꙬtAXDq6JRvэM:?bb +eP)Spx|57U,5lgSH_murz+ db2^M} wRH%Bq{Q#lcdֈ=BK.˂InyjĈTABG#e26Uq3k.7QCm!dh0C8MOǥX-0bqn9`pn[u-=hXM u<H"q oW}ʌ"|š*fRig4/ eR](aGQGu))h^/O-U up~X%E#4\016c3A-uߓ |UFPlZbu%6l941ڱhqaͫL7x}߭rD1:E,׿'L7<pKf i&C\o˅hJZtS9y,d(z e-m]nS[?(TkQzx|V0TzKCVF)yEJԪ40GnV>Ro?C*5~k1;h6/i 2熽l坭;AkaK,sf|Ut~{x *0X:͐o$8`L+g jVbR~ rW6I GB)A7L09GD² T +zTc1tCER .oz,y͟pǽ oDHE ؟wf+a# JlYӚWD5W;tnA&kͩo( )U͵eK*Tx[vՂL}*%Z4c;k$ZZ>Yk }^t i>nt+1 ڳ4D|~炑 *?'i, &-(ē**1Gʜ d}Č>7"z7'5e/ Q<(6]H~ St ;6RA խSU޴ & 5G١M xl|kz2 ް ' -Ix SB3lZ&iDLZPZh`(G\ِ;C@ȾQ:lT< <.enumvHRP+dI 6pRip|!#ok1LNjrDפxHﵿa^mPĸO| (͕?"2գ`lq >@?AخvD9y)!`xv/584EHz0'iABLs%1J%7e>|T-eڅ*_.X}a1Q_fᴴ/C#4tqЗȏ3āY,uŦCi0s9h1P1] D0?Rο:rmjv[+V8ly '1n?\v9gw3ݖݛR#!8 #gߛ5@b_=-6NO Sg9olX[\粒¯R85*K#*g`nŽG%&j9P (_$HزxOÉF2Y)X*[Zk 1G+Jr24o3[E@=BcoRk/r2mrO4yEj'a<ۘF.`s8qC܍L};PSvj7ڝhqQv4pr42RCSK -pf4:LٿVt8ce1 :!@*/ngSm-d@6bGW̝I֙ eKH(orFk2*6bԚ+k⑫-ݞwP "Y<>壒 &`m->c[))x=o &1H]ˊu4)@YW_hgK‡+:`LolBobbX)Q $G{uEdr UK*o)cdV7 ! ײR m/\w) q1lH{a76 ӇftQͺ5]?9enx&?L…i;**]ۑOV|A@:ds1 *jd~xdT%"}ظ"9uXD_U<}wDH-N󔘡-Pk~9?E kֶ)HR^ṛ۔!) n'=A[Y~[lf>l%C+Ȱ'' SB!inӮ}Do~gV N 64c>2z#, <#K %xg8QQ2A_d^`8gf |OFP&8P6cw3:vznYtqA-eXwFֿM$8%z;_]m?h8F]0ˊ&I =*pXM*>hHlJ[92bVƽ_v!o'楓<^u%zLV*?9!V fʺ.PuE40WC(^_78d3XDM2\ɛPP}C$#ӠF Hk_အxeەZX _&c%d> ȫTF)v\OЙZRT.Z6j|r/AdߡWPn}|:`W&#:[}ߑҦQڬp!`bo%2{eGnZ*Bb#CcYI:F J?pZK.n Zeg T7v-$m*%<S ?;`%ǿ;nrir<@^f٨E{%e$M&eczSsunYzl4} _?L!m~Q1\aR kԣq?hpw&pJH.8l!Mm߮;9Tݯ@=Q((!)(⢰)A@wշi A@s(1{C$J]fQuL |QzSs3 X:A` S/wԈޅ-mgQntC菀S?X<RwKC @ܰk5E#VVΣ<4 C\I->֑\ʾG(nˁLC4s mt~"SuZ"7O0`#y9$͆[5Q걩ӖT+0H,3dTJpF qjE3}=OP,-1A4 +0WoA˒f9hAvƌ w o'|ѓ[LLU 1Qſͱ،vWivl*ZlI>iy4'⻙odY*i=/[biKa2%#uw+53|op а:hLD#'TYor8>NfiȈ eA}eGTKvQSP҇l',U"lw_wbȂIa^j4ʗrtnRZ+̲<# )mE%6^FvZItk~Q`vʉfE'_cӺl3UNTǽfɜ%s~5yg4,ˣԉ_|VFhSz,<6uwv+ cbw?.znϪg:fjYK&VO j4,]4Z+l bn6HQۧvsbBP] N}S'W ź߭q?ݍ?]Y= ۸\ʕ""hkvZ=$}OuV$ kyŏŜwsp6O0ww eA׀mʶk5EӥǥLTDx d+yyjwSj$q!Y-'5Sb/6XM 4ΌH5vj#fRV4"$ĕ2++d6hq-VW/ӟQFf:1~0%]ybO=r37՛ r':-ʆZqa e8'EdsJ&2Bk:.ꄘˠˢxAoۙFՌ17E؊8ʹAdF(gFSeO?s SZT"|9=gɵo[*2 9vz9B %)[N<P ۢZdm|@9 J,w:ǩ#Bcpmbb).,eesE႐|B_ax5|*]ż#)g|[3H>Vq▘Og Um14`ı-7!p& }MeU=WLx4n 6gU#TsyDBce>Vh$ƆUsm^  4ywhYMwVogYZ !# DZF-exZF-ex.RingPIDE/markup7zXZִF! ?&] %Il_ d5@<<qʁ[5^R_s p hP$M\ͨ6og4c2tejSȋOfHT/pؿ_^ |]pk]|;L ?xS;t7`oTvכ躉˳W"P1ogծðA.!`2 WSϛ"?q+zN&w_d!l̉=:ČN)Wqot5̾hHe,{҅ g7fph5cJ1CW|4ǜKGn?kx!֔-)zV;W\} u+AѴ63 $b,?lq r]ju&JhO\Ϫlm;nF oc,cw a*9W\9{љ@dGO:ǵ"9C;mBbq݊yWTu- ?L_+Z⾦7zY@Lѿz/Ӡ1&s?󶀛`Y[Yn6vi={)ۑr*} zb'nj*՜2n~}绅V{CG($zr2VTh/`ptMXݚ|R8Ha%V_@+/|9x|2ҨKB=i.Dޅ ~ۓna׷tHWM2W(븹WS$|2coA gH1[ ~|4Imby)'a\W9=ʂ,en,R%I5, ` #7༑@VQ3=v]>弴;uX\BN豂Ew` U:=B2 z?w':zmƿ. zlQn!Viz*-5ETecZldXu(ryIK0fw3 N6q[}WEfaq=%e'ýݺi c];ҏpx<*#_-)Bu?A^m/ΖP#ہ/@|\;OO=_8!K  l}GFhVLОc6gMj4ed0|bKw{% k /Br28ARoe%y굗PkJM~q8ԘD7aHǑ@5^66fkfw 3Hfg U^.1O^Xm|m2x/dG| #ئ.5 $dbu`uUŐP@Ј굠>He$:+ k:W|!qr/T9 X+@Jd#ѡ0&$T]Sq^y(6 * dKja%߼YX]72ITUvш0+YArT̹QMf'j:BgomԂ?{H 4bv6qQWJEw:F`J.4_whM~ MZ(7fxa¼}[>ɋ}4P s7Ϳ ͟*;UT]㚃eq.]mvTDpIp6!.H ԡV,#J &υ_gs;8HAriA#+h7b!hͱ$cw/(ҕHr2:.|[egW rM>30)3*{l#Rv2ߚJНs2v( -NR,%:G%] Fdڴ4fGW*tɤ5tO]JiÐ7^ BߏJil`zj2m;K@LhWԏF#.NwĘՂ; bBA"3. K <ߏXWZLJ u E6īsIӥOp3Ւ[4~L#3`ܪvC?ªDϓɋ!m춭"]2%p 0;|H+5Mf5  qQa5@ΑS7LP[si ؎Y7* PTxdn sDN?Tއnjw̔0PbST `&rK < ;whHu귣i?j񥢥!k¢y_'[|;jbYW[ ʞ?yg145_B47'!7 !=)[ak\Bqoo2Y #rz.HIɃE<A@_Ž`R؏C\xMJ?U_rz0 +Kgb4v"Py$Śk0tʭ]H'J^M9ب\rB(#k@抂uZ }kraGVn:`cpkP{\m710)R.$ Qu(ṿIi*]a@Iڑ8ԃP"9:1,ZlU,f|)Pm<n2%k"DZI$s*Mt3Ѫ oGnD:.7rH1ܬu5/aAJ vBϏ&pA@Y#yZ3x%4{8{3ϨEkG/shtDwXi? ̙V n+jmEk_+y[yđyݝ[ X]솳Ƈi%N% pXJFzDvԿ^(t j~v1&0C^#cͰFc\Mw4:Ͽ2du:[r@l-N8[9&uo\Z m[rM.b|6mu!gҘ'Ԅ8&wh`nClxw>Z&9o$ѐ8s=eU+hNJT½7M()nyic@)EkQ]Fj۫*Ω.Va1ui*3GbĠiLۇABc WRXggm)~~/`WQt1dYTp._¶hV;a{nZ@5+dUUlW9ol"ΨJ\<+uM\}4n3< ZemB`澰~m`^Ҏ[f q x-XBs9tJ ?E$=ݰ~֗Fx5Z,+. rC[{sd`X4}tj-ܽTn};(rqIH|A0pnOQ$3\qGKkUa kDKO"w-0zlSfYh1"%a#Y-!og K IzgG0C;d'a+ꌷ;\/] 7wDN%|m"{o.j6F620? Nx D`ڰ QPC󔓁Cfk7lRp?w\,G:"4'E:̪R p9# ,kSJtITe(p#H3zpX6doJ;IJ'U8FѪf6M5D#QVBǕ_ͼ&]8bcAX.ȹHmn1>}jxR]^ك?: ѽұgYZ l%# ZF-exZF-ex.RamseyPIDE/markup7zXZִF! 5] !M젗OFOKni]Fӆ_I 2c^C *YlROQm z[iHA,;-V{%]`W8$Gc񅥮.00!8|щgE"}&p-rppYi~EϘGEH}Cb*;vġkbX$uN m*On)hK,JQZ%+ 4&NA4Y,b.f<½D/BKc0S0h͖0nSxrqWTR˟4|-2Ca+"j̬Xf2lӫ< _$RB#Ve@e?|Kˀٽ?vkNU_B]+,U#dU(M{p:!:Vv^=U׃~[\ES ha/9d:[1ѐ3 ECD+e(>bpQyvCebn:yG94~sq^ G:XbzGRHNG{קjɋCPפ&h=N $uBKs#Л0i jrY/Fd,YQ1{wT$X7_'*@&fwRNΆUs(/h쐘ԟv *n[O~}Wp$1!7M&Pa&XZq^N圱q-y8@5v!6'C++_]F(e%Jz(iZ}R7E.ŝ 񐿔![SkYfi|3N/]EJ>Yq~3;!> j`t#al; OpA7Yt]1[[#W8 䉥t,]/PqŸ-=ovɺ/b 8}dN-X8@/*?C ap\XzQӁFMȈ. UZSA*!*7*'5XaXh; FvA V <#hl^w?g~StLzݨ` Ϋ8A A+I>Dly`jq@pHKΓ.ׅ< MUR`}oKܣ7ԄO!26-ذt(_H|͒Ƌ(nU*l5&d[ ӓ˽|G@ɛ&|\*Qfd)ޗ%,kjiVO \+;,gInl(,^3)ȴH"꩷k *FnD9HȉUÆ J5𼌲Vw(.Y%dޝIre]H۶ Cze/"\#90{_G"T;L[;ךj瘛f0,Xqiϩ>3mt@E,V:(0NCa6OQeҕ$V+.B?IG  s F l@$%# ZF-exZF-ex.CoUnitPIDE/markup7zXZִF! ] !M젗OFOKnaU3.x-!2@bxp?fi}U&ܵshQX]޵p ֺbGuY 7ϩ(eQVaO ;z/ٻ`'}?zq8(׮&p`ݒʄ %w9A/RK[}}I5'^q)C{|462MFyhh\v;'tP}Dh_sf~G ITt7r>2n$$Z9Xbfƒ5"e&5O1.}-!9%!:ZF-exZF-ex.CoUnitPIDE/files~~/src/ZF/ex/CoUnit.thy*%-ZF-exZF-ex.CoUnitPIDE/document_id92%# |ZF-exZF-ex.NatSumPIDE/markup7zXZִF! d 8] !M젗OFOKn{rN,z|@1PԞ+b,j{KnG`9w䣢wa#E4jXB~f2Ch"a;w'{|(#Qł]Hb(aC? l=Y-~kxymx)OϘ BSFTo\ƽd<:r=K8\"L m0,71>~ĨQzR" 5_îhsi!xRkQ,|.C_z;0l V)eqYn.a>Xb}b9pkcr I4e7jۓaNt%=%Z =%**{ M,bM > [ ?C&d{C/m0a9G 9b 'K`A{ߌ ե&#{5F\+S!覂5a2rp`Ub?ͿzUD}Do#`F(~ȏPt֟"kF5&s*fX&~qO]"Z#gg >Ugh4~0S?#ۡql^NimYF8hL\~g:)x:!|\/S^E $ ^ j0:6ÑscIn$?;7*դ\dle'>:Fle0`Gx`{ζȄSj>T.:m;B%J* [6,ɔ N1#&G*B̰ee;nYA46`hg{'BDLs!=";pM8!nMZ=~Q'G^Uqu[&|P-DJ-=sz)  J5a7-KRHv+;]TҪT<-@\b-a­AHtj3;"]T Lj^۱9cQ]z Acn9?f9dBd5%|kGgQ{XKǕ%al7dh ݰҠ_n<)PH\!D\?1$ҊxK%2]eKIx8'r<8"F/\FvwFKidOz'0[fxj }Hw˟(D=Uv77q&KT\߇4Mo~/jRG]0*b&،px9@ѼxdF4t*/LF!|=MnOVpE,Hj2 HdCرmwn/W^.~E߹#I=Nk`C(]vǬd,1JBh͂}h=ܽIPS*G?Ǟ{n1 _M8:+B9pܔy:&oek BEOQ- dGC@B/-L3{atuS宷l)g{³!x-Y(u_jMɚb,${x``}'&կ4!݅~fZX[E|\W+$yO'U`"V;_ŠxdԄS. $),w 83-ijxnd<{D\)T`!3$ xCTeI.iDSR`DSV|m(9eAu J W){PBS+AR#yw%_-oaxOWMf+}|1^J3~AkZ"Bm'JkPĚbH͕'agBug)V^ b0 e{ |-f>ߢB'*6I \43֨cUf_tÑGx.bf耙8=ތhL}v>pN̉;'u$: ʏFG@AvI:_wOd ,Ҕj1Mz+./T a-` 3T?b$hJD o۷M<> VD?|a|hخanUȺ?m/*%g,̔Gl\2l$fh'uĖ<ڗ$iuN,q8v7_P|F/sz3F :73;@߿1|%6~.N#Qt:٪_&:?vM/ 7#/VdӅe +Y3+XU=ak s<6V &Kp  9 C6"~س,apfeGYQ `kfpfvIV3\'0,ޟABM gCeLuKdzy<`k_Je^ncq`"+ʱ T<@b8[`GQ޳e))x}xJr319虦rB )KR* U<6ѕ K؎,44:IU1rR#j؉_aK<ɤv& sx爖7C%`Ȧ905Z+!äE{3[\"ۿ4*a ti\c'>%2v<<ŵɊ NI*㨽٣Bk+CQV!1-?,mֲs~CfXt8nKZ'b侖5j,X fWH6Յ HEw ?Ċ`U>)8lE+].9qctYaP={k:oe0m]# q6AٟFHr첷x큟z;ͯc{W8|Y'`AP0:}&O#ewv [JʄxpvX۶L~/I'zX.7j_ J$w}p %!w)ƃAWA({Z|O:Э^23 i܈4}$!e>c;S[7Sw'OFHt v@5?,4ek\jp [SCJqq:MTP  c5[oR(U߲?2CzR-0;qڨdϰ:TJYxXaWZy'yb^9q&d<|̎ I* ]Pij͖NAlC8c=)3b)\ ,y LQ j4_]F+b[Z9z_~BJ#s!l5I+; 2$ B7 J/pAes9ud:Iq}iRzFMIAT*X_6qn@QubYE>paUcOJq&MD؈ yY ON &XVh賬2smv)$_5/tgZӭդH&'%0~4[ !Uw2mcv|b[J$~3_xoZ31>Be&lfwN>ug|,sy ސ#m@/YQPRe?[  IrlΑ\#CgZFC&$nΌ~SW)ZdEb6KqT| S0iBTkyl}~YUR'*BXAД:؎V鉔+/A+:eG6G ݰ…JG0ibzYɬ~n}kBH#RY> :pJӝY.MrB$Czf0rǿO5 %{0o}QKU S$Yla.?=+ny i0We`7%8o ۧUigw:к_Rj-mGN/SW*d儛7kມ 30Sھu 9]=20y&;%)gƫEY:|)$EV.њAoGZG;L3ӗ0|7 n4T짻>ꂼ,_'.A:,ݼ$sKq/\<[#e^~<(xS};C[! 0@))aC︺}_tXqpHf~_+ zoyn0pZNj&&>E܋Uq>ܸhQo;zL s&K8-6MEܕuge?.IdZPB4 dG <ɲ2 uK13;/nyNPeͭGJF]i9S]|m}l+˟Jj']j$ٽmæsQ\Fw_m;~/WsTBkǧL[ƕJwaw#h6y )ylgDzӄuK(sp| ovz85=v8Xff}vT¬ `J AFdkORٍzADlЋ4"=o.ƭ4r* nS V,@*D-y[KC9Cn;ҞqHK~{l8i.8j ƈJ>6݄sZ][.<vuVFt^%1GF!sR"{i~+52L:a9?b*rĶAbrm.KKƹ\GMRD@pFqTZeWK[2K$wP'G$mjpl48LB"q٥Z| ٪X4aMCy8X8AlsEI{[OnJoJ?n#57+G{EwP r/B_NapTiƾFoۅg7^XYabce!9ݩ=_'qG:zZe9;|&GnLV+:3ͷ̥VN \GԚX:h8]!Dl.Xe@J"x%|bks_Lҽ83"<_fשZW-kgs'q=EF;ipd_!ƺ΂7al6qӼ՘4dnIX[k*M|S-VAlK0sb~s \@: 3DLSƌ#)z!ػ 7QrA> 2 L*dP,80}YkS1euyhjIK# * *[ԁ#Pπ:8;z2Kb])Է v) 5ɥ ^nu4<uaiB86| a- I%Qvs/q:'Z]mQc<1Y2ۧj4aD۾AkF3C[@!鋃J?*b1w{#"'Əuȅi+ MŇoK~FDs%q a\&c'`O>Uy[ ʝtĊcMj sE1*O`H) Y&g[h*nZXR$SbT+FwK#;L3^jV/0uA|"%tAk%Lڲ~;АR >J&R6=U\`V]\s;k`BQ !a/|ۨ rLlϝ<>͚+ilb7TwsKu*ҥi%L${*Li\s֒nv+ fI~ai6e[V4S<R5(~!7!*/VMs-?bӨ>6 j۾P}z)d/NG0@p0 ꫬ(wU?EN RCR1wCC$D4"_7͞r%)BaoyQ0 _na%{=9?nsVbm\‹SoS:ll\S+A0|gR4;si94j.⟴wR=҇}Csǘ["7I~x[EV@b9(Yuأy*Ԗ8rm}`ꝞVq0佐b(V }Sm,&u"& vjw)CRr:PaAM+RkPn KrLWfR˜ٿx#}S %o =pe\> vx,|~a XCf_GNe!t+sS)oI(-u~&gZ˹}044KϜ\V(B8q[B &h1)0+O-FbT-d m%RTkb&Y/d#2/1ƬZF>f`DL%24z[➰|bj VFK6Qt wFeE6*;2= xtrp0R2I 1F,R#<8h H̪u;txVն^Ga w;4j ;4Ac&`hsBtX]5vCIܖߠ+M4t*o 6j䖄a RMgܽT$`J2s%8m9v85o2شH&BbnPPxxşHP٠Nk,\mMX½ǭjvB nJ4g,J(xlʎ9K A !f|ʭYY#H Y5FF4"Z-*"]m!uy+p ՎiiU0G|$2^ FO;{{xX1 5oVSpȴKuҢmZZMdb`0W^?( %J%眧:w8Oba qs+jCgaZtoW (Twc5y)^Bxdq+S{G}+uy-,<,s WZ<w/uCA4 F>xiFu(HͲafg3sRz1~긐<юŋXDk1Q8fa`uXJFbN~{$ҬP,ä[yrck14%x&Fs%jb|vlTyv?y~Έ+jha#fI $+n /&g{~jwWb`TodH@hv9ő?Kd ,HwZ%Ugv.2TrqJ9'qt]m #HC09'A ϷS%0ˬ~4VP^x*3ʈe$#۰ \G5/[ǻ64of*dU\hwVAKbGm{H<ׄ{+v6b 5d1hh__Yo5%HMtTl [{Xh"Aw&4}nf=E]9Axzn`9mcS ?ҀxXAƢ`'3Z i~ ϳ\iJ%({"k%HD8t(,?5ODY~V^0Bg򎿮$(+FZ)OfyeNb5P(+rmvUôlZ SB* A?7pVX8oZoj5gDIp$`➝ZwFjK9¢Z$_-dV1@Ak;8282i._jce?aRwZn6_g:B[nOORB蘬6=Gct^+i?BNoFjĽӄ^~ME`Y=8\ 1;&j='8ca[mTq>v{ݞ_^fS1p\ tZ^]H1[u̒Jccm{%0k\r]!#pI͊ 9@{ xc(FCbďZWCz?wǏoV*eeO!؏:B$i$GCBY 1nɥ]7a~!6Yܦݸ; H\e c(iVß&zYcO=p,`˲@8-UC|$%4^!Kfh!־NrtcgBjxXOK(mi$*&p'uz(21Y`wV*ĿS)p'oú6eYhԘ+X[LRz8PK֔Ng5Uq ۱_w9 =Kʬ]iª6rRf4=W[m(je*&n$ 2IքF݊m$%B{Xt&Yb#9/ /5p ήLc =^`0 ,vM>Gg@*8b:SYuQ}D"we ge vq5W7Xrp{4= ?5D~8#) d9Ye9|t8[$rj`}k5)T{^b[e|cRnkiUFBByȤ e,`nK'4VG{Xo(q"I^8տ@]i^(O:mGdep&ij'Dg+My6uA u1 ;iBuJ>C=wpڱ]7&XDxXX]#.Qr>qNibn){8X6Q~>:y$p#dܦȈ*)R3l{ՓxT# ֏\Ŝ"3nb3ʅad{$T EBCi2;$_J ۢ"vgQӥulgTBB! x|tj 1jXX%BKV:͎ڸ ɘľ[֕I;5y/ cƜ&.`~D}K T/1E\,8x8 %Iפ`߿D%ހ @xcHEv٭/ %dy;@Nj+Ќ!ҋڬpPBH[xoU>\0߉_J BrBt}DRVT\ޥ|3D Ұa3zXkZ9dH+# ?_TT_s"YHQd  [j*"WPMϺj ΍]{'3 IɎ:dw.,v@IG>DN3g?( /%=fB^6Ye7&q0˟ `O1pݷQlje`o: 35>A⽾'Gxɢjj~4x -iɜfHR O{OG%2cpÏق< H<됧qi4M֊4l2Qka;O._!HhceYhQ o0#<9 K7=NY3u4;߮MzPe#p=< -e/GZ?Se+*sgڔmjFpPr/z`ϫMʠ`C3pވ֘NؔFD.c_I]V}m/E,z1ĩ^.6CNjV=]Z\E1bT+TW.f}@MfұG-,InA)\]ꓫu﩯f*٘ϡD5r4R*s-&I@AH9j_))Rf͐T%|pm6t'8;LALdkLNv~T#d:>%?!k<*eEj(s(+@;(>5? 𪢤U #dtuY/7C e+cn'kV%_-,T6K DT3hUbciJY~҅ҸJJަ|&=6LNB_a5`l*G"]I< wD~ Ok p78Hؾ o]Lf_9qݩ"/d Iҙ*oNi8m>Q6 *Ze7o3jHC[t4S âºUvxr9b9Nюh2 G= ~57Pnsf÷+/V )V{lČ^.l40̝.f*}4Tb@*njJj-pWv%U+=HEm *fY.#SI3nAc.V1%F;?Tkj%{`hߕlڍ56! Hi &:,%BY3rh#ZLMq]ԙBd΁EY3uu7V[l2qp&I~DxUhfS57 u@ ^tYѱB8a-65O?\q@x]&4<{1C-@ҍG .=#&HBQn_v8;YہL"׌ilKͧui1 s4c щ\{02#u"+q^"Ṳ̋DPl\`tL(:쒩P+%gq{7Ǝh7j+H0 /Ht5@Z0t`&ÿ8S-.TMsnX\Lkur)o3,Kք[_gD!G_P"gi |nFN&@VŴ<7C)EJϤ6("zz=Ȟz{Al64U%w\ag~wf2LiR؊7zq'!8~J:Nד񧥜Zc=2s#[)Ջ2 1X?0Qg=Y5Y vs]"gC=TV 6IwsD(/t.NJh~ף @2,b|ev"ZI%:=D)Jgl⬦ba!¼4)s>w_V4 D$ӑů*bBr|.%ߍiOC}i}g,yVh[I3CwGJ%+%ts ŝnli$$8PZdBEeҗiy MS]xL$EXgf a[WA:!G+ n(P!CT`TB%BcO6+댛hȿ{r%poTrrM Zv*!fOSƔ`d?4YCo&.%hTt\ A V 8'YmN=ȼc^D g U÷eN"jPO}Ūw2A``j5g ]?Fs@&mSX'~U,i3wJK&4gn)Vٜ7*~ FЩÄxXWS;; -ؓ1v ,"6PzN> u#k? LgԞ2}M@me^C]PwF $auf;b!h,Q4 Jnӄmɫ{ q9uaV@%g/+T*isJN;P~.*cw%5'gX~UqOk ܙW *(1YXpD9 \uOL_/wLFΥ*d,;iD|}_j*`#` )FQMl$3p^l!d#,,\ُKMnW6ڍzh8LĄ_A7,{h:Dl-GpN׊݂֜C 8) PP$„.{c3r:G,gE里W'~(~Lre2cV-6- /hilUAXSmSSVG4L 7Тjy_0|/{Nr$χdژ}"3!Uu] EB\xU/]xUul- xC9 _Xa d19I]OA3TB)dgBRu 7/qP<W0+kMMm0 8f)9?>E*-?Gļ{L2&$:]|"-+DJ؞&!Ԏը5k9V Yk$N^pA5e2~`Mh_A*ɃBLb1CϵW"~I`@Y.,[H_C?#F2Y`*lbcgӭhSKJA) O1qs15Dsc5bˏI pzބڙOH_68S3Ld;CDWPkѷ>ΕAS3F}^m59񝣥d?R-OxBga?IʢH sWu8C3^ K?FtOx5ꝥuVP$fAeDSa էcMҝx:쬥w=aU "!FtDvm]^#]?ҕ[Xw "pxOlH?Urp2W`j1e砉&^Z'csFXooiO)N$<'Sxiނ[{kO{%͉s8[Գ=:fXe{iDSo1+8T oA'⧱ e@2*ZMhLh$kqȿAtRZmE$-^."o8@q"ϹtLpG)+qaonk-3Q} CcmEU+[ޭ3<m'{kvQ35ߣL`q70v<3AMKR; pu j\L,m\)YGD4}a˞#rڰ4|=[d0m=-Wb,._[ihC,: A$lb:?0Ջ8ȊᇅO33=|kd^re Fك{>2Y}+oCfd׌0HL޶d{2[Zx(c_ץ)R >fz/U Zpzci01&yaU:^|ٙTZ;$NR'/C⛼`$ǺІVY׀z0۫Y<щ}װZ^Wg;Q36Bzς~M$vSj!Вvc&SA鴐D7KR`|yi =(i]n QU*?714>VdvuWxR|>ЮՊIWk+=py'GU;e.nSWqcY} h.cHd Nk빘]p~ $: cIBu# jI!fGuoxcעƗD怆`dg Eh&ڟ48STnLپ$@,Q[J]3ʯQͳ ;7ձ3o>E茰㱏l䝸}қ:C2E'!# ,sQٝYyq9vC4q)!7җ;. ;h ;s Vgl^=47m#Aa Rs}9q.I|DL6γmz7>v%@v6Rަˀ_^vwÃXXyGxaC*} Nwj6~ϩ呉 T 9iz F;%XY20%ƻ;mS^{3-v Zo*&_.l Ҫp}jPiH,4y lP#u> _$ZR &,ܵJbA]lwoD̢)q4;Y3fl+Ό,_DC 1ӷQul%M"͢ P9fs)%BLTTtCBGM=[8$T~71ߧ,[+Jw2|@1[9 =qIGP;ۢ}IV8&&DŽ8885lR jĒ:` 3ek$PMo2LӉYc2]L C9Dzݺ<9Ok"y]?sdXq pg/ v49)fa]ݟ%w!nE haCQWK~!kQ2iqQLu%f"mZ,pvǞQ $s7U@@x&i7ˠ&k®~bl5L=Wiy}(:z=ʞLI|j5A#1MkFh2qϖc`13k߾MwCk1<w[}Kԛ>JPêRH}WVd#1|V@ү~,KbKxӲ`0" J@ZY%. &U<+p[`LnӺ8 ˊ5Z8 oA1VQdBjy4T`?&I)?T8lrC7$6l9>sڢUsK#v?HJLل[Kɟ;)rcA0wq%nZ Kj"J *7Kb'm}dm]z^7NE_k{p.D`lG⩥y`JܨhR!5ub m9,|&s%4Gur)Un{t/Q'W׼ѦCWͲӧN:=X$F7a2o=2{"k:gpc-Pg$\- b? %^3zv(p:!D30S=~}qe 6FLĔ+s0ؓ.vBpuRR-ZA"epaiŌ]P$)pWϖt[b c_GnI49*xK m)nվ2)oY2To5Hv5,cet0K? _{V؆9#q"$U@)feM #b懟D-m @J,6˺@GKz'}} "D)96mnH-Vڨ|WIY?7<%.*\L$fMwp=v[_2]eewsA`xX"IE]K"tc IPX`DC$^k>mѹ獟dI} Zkjcg%ltrY2f(i0,1n(!}m?&t}4mAү&i^{H/2URYVW"X dό;%,E+Fk[D!q K<5 S&a3g*^u(6pتY%GLyv%'z[H9XinXd7r!RD(x-Rdf2ga1K4 7+Inx%ʄХvC^!ܫJ4O#/Kd<glTyO2L{0d\ W٤$Jn+s.>pf-+w~ ^ջԂ8W32(+*c]kqyRݹ(V͆rg#`KhS_OC`$_R`ªKqN)]fsqkI '$fvjIxRLOLs独ʈd"xnlOhn<9|t1`rϹm*){];WC2^)9O"v]ԹPSF"ڏ4~X>K[upˁ- x+Ea%n) _UU4~͑{]oBA_+˵ s{$9uPhg%PLnݒ#{`-iAV?9nPYbx0ϒ& ^obYY53kÁW MCKRdEE{cBϟ@sG/c< &NulyS'ƐX|UOZ!z?DYw׷وI+껍K *dnHɃ3K !9H5(F>kx)yǐXFN0 R%LKvkvEF2E{%I;u.y]HO꼇Cy A?"W4H)?ihKL`l%k5+g W /֯o`쮯: W$=Ͷ1~첽52owU xA.po[%a}Ca:6=NbW -7/}|%o\q YS|C8=9Q>ět{c̤ćmŚ\jGeu֌qhxHkt=VX!c-9 &JZ2a"Me,r3k=w~T{] FP:2WHSy=yJu,wb(Lъ钒밎($WD2{zTUFd$砙ʥ`fMu# k mg* `cPeʚbhb9` 0KT 8LGw7#F޵WxAeHDnUa`B~~7|6R5Md9qtPڮk$2cs#-*ZG=׼1˘lI# 7#BБr>+QOv.Bn7k/֝`dmWJN?! Me&8v~AN':veK`ډ y}5{ROT趱?Y1^YJ`9 ,1W >*]0iǎ>u5 㺾Zɦ].V%1#9lQbtnu}]( Ȕ/gD"^M3?.UKY$~;wGw\ވFt g Zl ?2 EU{$۫<G~as^SY Rf`9P9 \VV%$}* ?ԗA[.:SY>C~r: r,3?]U]NԚz±yQJign-H ;xtmCab~HA,aSWK;n=&D֠aa3E~UR9٦&K d9^R|GXZq ijyC <>2XXTrzEe(4}wNiQ ',E.mBAdՐ[Zoh^6Ep|u˥cH9i-2h> D_u*b%sĐ%VkPLF*R:޴#4= ( Llۧ +@ 5e^6Пbm+!(0 BHanTLLw$ Lf 5%E2gVIB1tN*E]/7e,<|Bk{@ՋyN^mC{ixX.+}]wD3EC'?OԼVT :߸R )A,iMLB΢)?,>pk ` 잧iҜH *"gVa6}>."̿Aiw҂-(鉳SU76ֽNDkQWm?)i]`B=ߛ7뺟m=&[.W_weJs")$[@G |[ԘjqQ7,\dr8C@h!ߡqr/JIlO #EV)gϋK:#ƹv.toIQt#C|fƮ뷤?+;)sgE-MQŤ`45kE%L/?VZ4n6xiw' V Q6 }(Ԥۚ@ٍl1 ]WN'N!^|q EWBt7/|o'OHĐIEMyi{kFW!N͘ptB@9a\tYD]:i "9>QdX'9~eG8O@zv:Iqs q >,t np(KdQ)3Hw%ƍ=: $C =A _ho17%Ce!tJU==Ie "f%3F%&)\ (lI|S~o~I]]"FK@hPe_f(zYbRZ6L6YԸr#>yfzLio&!mʛ_m_@N^V"EŴЕR 1;YESǭ2ʴc";o7{+WfZ5{`@!> j7L/~~}[0O/_͐|TC?#xwk]mQ$r~uR_Qj@2LĆr,Qr#2n^ы9M\_jBe <; 5iMZ5ts4BHEr>_X`qDY n-"H Hc_%Z3W?FB6 %m4]ڼN0W 8Er0W.)[oco K5ܖ[ɯ8;s M;!`?؁v ø I J{CN+RDye!%8`"ߛW J,SQ~yXfj#SSQM&Sfe~b$$((*>gu Xx=K~0Z<c )W `{:?Qʹel#RȻ;ۘX^,j )Y׀oI+%^q3Sm?g:YYZ׵b3@ wes~8䢻]ꤨV(F Wh/|->$FO1Dm|sO1N.b)A}(~2j3/! F,Ř^et N'vٵ (Q7z/ޘ4@؉f YHş52 kj]ߘGnb-m%撈 =l& Bğ y]r9 @/i Qo:Wi ]]Ӛ y[Ź/A|+!EK├ۇ'=`_24 oΛR,ka+%2^Xy;_/OMVC ' QJ|9ӣ Oӟ~(s [zZh=z\hH4]Jα1.ZwQh5kD7=K+(xA_a^պFqPTƶP닊6mMnI ,DhAgo-tQoLM 1ƻ`Z mWÄKOr`Z =qji6&(&~`,kozT<50Ӏ"/NO/:aeDA@(<>_ 8Ȱ C$PbyS"pvu~F۝k(1J>]I5a bC%皔B($˄ %!4tW$cs6-M{m:}ȮΕn˶IqFbmo> `&W$Sf]+uZ%DyO麤U/0u^nnBu54H~'z!!T QcT5#fY=\eO!vL20uDLn9LF$~UMQM@D 8ynV& kuZ<ZI4-ʛ]rqC >@C\a53{mcon1/.rۙ4ɻ3& +Y F<"8!dA?Y0%^}ŷ0% oa%:X"$B)`ڲ^-YNs껶;~8uW$i (sҿDm"xi_s$GPd=|j#;@ʬ,ta8ԌC\=B "ۢ[YU}ÙP0WDZytB;{e7mM/279X͢8i~&Y2/mStddf?JvP`37W~/Lbe綮ֵ%>G:LMfa7Fa 5gKl9O/R]Jnx?`$rڜk4GJ=VcA-73-BOsߤ ![N?>n Sȍų`^kEs61+mjl,4j}DjDJ֓Ħs~$2Yyl @R0yd'@°Beٵq` ] xKnɚ]'Pe06267P MTvPJB'?k(w{US@ Zmy/ Y,_֮k[5LV2 _^UZpYs x &h7uI+ce;m@NXsN4dύM68eN&;13ǯy%x1ҙSpƩ|/ bAjj¸\,!:vcьWL{?/|Gu7 BOQn!ieAO@/C!Aa۴ kjUk_|@҂ՠex,tּXjY6P!<WձH?‰DH"on ?zmY tCwCY>HK$C۸=73_v#u|YuIod ;'0du?\.i+_ӡ1?px.Oq ~˝/IRӟR܌h0dsƀl{CPչXHg@[3"t .Q@"3|u,e2:s_V͍0BY-ҏ`NYm&Qes"#հcin9[EW =_S%vjű"#ݙ0 O3vwӖ'LTey83S.Ůre^g |aNTKAE5 I ni_O>#9؉3H1jq=̟UЬ mt8rk\j^W{'[4J޳iջ$ܐa Uz{@F5ᚄM(8 hNui ͔!O h oQrSփKǻbnZYh[nu\s!7xfEILLR+H9xH̕=mTJi^|OxR#&W,yRæ;jljÛ&іERVg%O`+Z{S=r;-N#b ZxX;j7 SnK}U7 3dl$vDNLW~fZڸ*~R'q?-,]N6#F@Tf5|:Ay8 (dG,n?x?Ɂ!9p^y৖f~#Mҫ3j ͷW$$}_BgLSgYK ҽfXOb`@hP;fBʊYh(69OHi2l`M~Y~d 4ז]yL@<z385ιt/s)ԟ#ЉȲ<@9>8E{Xn~pJyՅ* |WlKl%/VSָ(_BVD_S#[e\7Kf|cGԈ-AJsDF8eO 6e͡%۞-Zu-Kh3R`};Cq$/Ӝk\i'z22q'Oﯚ˔ ,} kaf=k9BXKa ~EVG'J2vJ"Y1BSA?.z*2PՄ!Ĝ."t>~㧸todNyrOyrvFiDl^(`wtW)3|W/)ra\/z}{7.u%Tj#a3#ew9Q; @yXaEgIؤi2?]Z2 3S9V~Lvߘʧm&_jnbħqcy<Y0׫:G>uyڊFIF'=21/Х#s1ܛ ]H׶LAkhExCR:~H0N䟙PPl^e,xS'}[ꛡNQ?JDq+oA[W ')tW%J%l{a4щy&o6rdyRs.U@GO8~peߛcq@!Ո Ч[N#`Fۗ{O3k\[3<0!'OzNfevGy>,}KwIfkP{Tgsxn~.DjDC7ŷDmQU\?bxw!y) m=O2l|MN6 4caM("kX,Rv쒎Ԋu0M+G;~~5FcC‚΢8Y>!01/ ΜP?қX5]~{հY|2!.uYZ&/y{1e R~[T,+Oā , ?yphZtI0wMa\[$)}"%I¶j:Lx8J~,g}ZMpu6r8áNie9D G{_^YW@xF*V%p*3k(%m]nC "iy^eNWRja[Ɲ+fȽvGj3>x+ Mop[=&6Fh22  b醑q3>,SmZ]M> {RzE xHc2` ɕ{τ3ڀCs砄Ng–uK};=@b2,rHo+vQ=ԓ"OŏjG~@s&| 2" qfCROt9862zhϼ AꍒTzxkjΝp-XHnW-lX65SXc*tuw[4ŅR}T>W?M EtS8PO2>\!x%,^/h5n^0mՏw{0e kR#^'(ENx 0j͠(\-ZZQi#x^s(Fe)tP^LB@ʈCdafCwgա®kWƾK-x'!g 1 G<48 CkpK1d5^CqBbtQi΀|:;O):; E}uq1HT_^ǴW#g5}H?cm4'10ȷ rL'-Ny+b1B#FN9}n8ݖ;;/@%Q +y 6ژ~Iu2mDžpVXf,llS;8 4hkynY) 0~%Hdn\puEwB[ @Rjg_jKyHgW "~#rD?6R)Hwج恡k*y4k|J>`>C avOHHƑ};&Qϒ!(WN li"aKEQ'_0{= q#r Ra,Kw= X>1_Ak3G-DhTw,KVFeT)D9Ws{*b!YJȓ@JL,[@Hg;*-[϶p7J( .<bxXrfkG}=Ll,mQl O a˦{\CI? ]h6V&]HPYQ؇h._4xf`~#D97ܚ1du3;y3=GOZdoJ~dTϚ&~ "SRQg!)%;NJДf*G7L@D HƢrɯL}3фKYعiY|ǭ:^]NCֽoJwC}2 7dSwIZD|G.W<wFW41H{7FGE%T%bL\ңxjOZ\vf fi4FVթEVQY4QfU/+h_A#GJ߂~gdw-dξ3 gsA7$gk 0*q-8.'浦ʒe8o锣ST]t;>z&{KL|'^{*@x }Q傑Ƒ5 Ɵ"~hw1}P6ͳđI3i,,Lא1bnDsc( ۈ3;v`U8T.8-xvq?|1>wb LD/YĐ #\E~'|a݀6pYAJCln[Fh6&L&ˣR+7tB;15 (j >SivJ})_ o?hZBvܥ#HH e_83iuqt$c=ϴ UA09=S>p\~tjOq^[%JH>a! gYZ < ## ;$jot'=$z j" $1;[#ENQϛot'qEjn}xM/lr-v!j\hUFqݿV.@y`@7 tObz8/FM @0F@&o1A TAS 1)Ӷ5'A`j3iv[dEF׌I=̳o('uX~@ʄFK_P):;y2J;]@pQNۿNTqODqehpmд鞌\w >FusBei2F7<0xQsDhq"X.G?ba¼PSEIn{[6]gIuoxD Vqشܐ ~!W >A'DbS 4pw@ʩ|Lx 5 u7'^WC*9=Vo.㢉5Io1iP!(:Ry>H$G7HT,ӸŞp,| ͡2MB/5~H.:/ joi^7"3K+ݢ~9.(_;uªܾi?2/g?;6BusF>JK&u: !=N hc gwVD}wҔ3W[a4̚xt14xN*Jȴ}D u^VBDؙ mhb|5FHi\N!'Ǎȍg hQv|>Hzyzm\SWcKr(߰Ob3x~K `,nTu5Y̋0ϗ?!+8zzB)EW%Cu^oV7K٠(H ~I=V:*#H ^aI Ke3j <&ܷ*;gs_Yԛ:ဝSh-"W !$磊 |3 A1T=eQX@OWspb!sV7U;vs` Y& <ZLf)69H^M-%w!rZZ3jQUkspE)jI,=,k 켑@WzX4!#@kN#FU r3(\;ͦ R>*#@}M|Z 'xѺ2_* rzp-'aD<[ ^.,V /93MX6 U:nR$@B9ǶѝeZ*M@FEUrr{"qҌ߸!}YccHv7'i |5; @!X\e"<@|쐺Ә'2loB;${RzxSɉ[f7IvHM(W Pji߫5A 4a7=h-5G/=|h-7YC }.~QQn`kV;xW L6I_v?ZO<2LE&ѦbBoǺ"h¯}F 7VyHjk.%T~RكCJ@dcZhVlZf_˝Ҡ)I{-[6hv:jj\ Mȉ' gt{ g^+XC|b3<],?KSQLZ.޾EfjW8)qDƒ=`=10ʤROX8QT~":(k~8^?KkZYo,ݰI]w @&('وe鍩Ip<:fu֦^":izcJ7o4. zڮSP֚+:LvfEP4YՎV]RI%2ﴂ@3UAs!wVj{+ '%ɴԢ{*%\eE\U& :ybt:*9Ժ'o<4qJ zO <_l:"D>- d57{Y|5POOk̬hP?_$D)n}`lM=c0g2M榯iՉz.\5x0@a6)ޡ H)\?' Kߑ2! wZo=lBev PnOhY¤&j".B܈U㍠Rn6W>䋱%I;מ7?%qF w18! A'6dn٫Rg0G5l^OЃ )xy6u~rf.ǧe3ǵ5LJpt0!1Iᆶ/!7B\(2b3Zo]XJ!{_(!'-h0Ƞi&Z GDЕP$FܟϤe?#sq@ JĘ - nqk&;w_ĸ^+b}4pj&Jޛ#1 Ѽs%\ .RΉ[{{!B*PZd%?3 f37tmEШ],u'qF+¤f*1@>YV8w$&֫.7WLs d ŁaL:EW".yPy -/`+ų3(JhDtDK7͐ gb< q^ȡ.2}o6mU +Y\GӅL#˔}&%R;)+!>%e~/,EI!⿝qϑwAwY3 9+ri1g,17\~0ɢz]rv.T+S$[ߖubP(Iu,$0j O8M4LԐ8\| S}_;:ƻ5uOEfPK6LH;KT1pڕ=݂Ie^}a[PtņEB2f?(ʷV]}]WJ+6Aw1>C$3l ߒOþw h-eTXheM8 GAXG }(19 n\# s D  s5$!!6ZF-exZF-ex.miscPIDE/files~~/src/ZF/ex/misc.thy)#!-ZF-exZF-ex.miscPIDE/document_id108e"#' ZF-exZF-ex.LListPIDE/messages7zXZִF! F]·Iq n[:|&[z|};+гE וj i$9J/#[2u$hz < ##C"Ar^v$z3?h'n#KE^GXn3*WVÓƄ7m fv)aG:oM:!OCcSj|bG+\pVSA=A37dZ<9B|`4wamQ`% ҖBZh#ukFm'n| .[bh#e7O23L5\!Y!zC}~ \l־kv:3w>2=-l;F E5qؽ('z F{` Uc`:Z"a2LP,'ym RxpwL rvn K> _M*WfհUٽ4g+83҃-,$ ';ZoFJmפ7Uhf)PgfGVDmꁻsҼ&c}/hf6r6;6o^3XdYjT %`R9 |A_g-U;djâNTN=4~CZA\] nt}/pI0d0FM9 (-,!HɀklI^@r( T=mi3k9l SMb][h& YGSYc-\g~,GL=~Oާ #ZNۯ&k f<ˉ{r/)MW}uBM^ԩc$[lȧ?+& XhΊtf]%ߟDc.쟌L-ିuBԨZ@F9~0-;ٗ|bӔ:TG["kѤE%xbZV:.xQ6tl(|a$pun+m 3|KYvw#m%s4MShneD=-`׽|mmyXHGTcso4} DsVFMZP+^aʏk.4a gp{X0dpյ9Jth)E(M|ve4XMH\,JRT2ֆ`nL*Wy1j3X5P<_49MܙD8)m M*t5ŭNQlwoMkJYJ)S jx@ad*N w 2-Ua:f9aѴ<4[ԟ9gŭ(yn[ǂ]<J†3P13Jhsw5תM7R#Ua R#J-7 #!8ZF-exZF-ex.LListPIDE/files~~/src/ZF/ex/LList.thy)#-ZF-exZF-ex.LListPIDE/document_id989#' 4ZF-exZF-ex.GroupPIDE/messages7zXZִF! 4S]D?7 {?:fH\will>lӍ,cq-~FoXA]>ʟ\gaƙ`sxSWQ[46fޙ˿ZRNCRa5!ybaQ.5Uj3r}cdҲVӵ\J ^ >>XBL/-D|#S:li7赴}=L/K^ѼMHI˯3 I޶L~U3_slY<'6X<_``l @[^d+33/ VWVWJ}bYϷmޔ$wwu -x뚢T #v-nՉ3Lj\3*McI˵3u>//r|5'bl}"WcA¬P=ݾ"uOf}aAn@` v_Ue6gD|*Sa&+{.$1N@ož0I?Jh3hHL~ڃHZO8fnQdj_va Wqp"KZqE@R<*KɁ5FtD#'Ґqhض鲃HZ01xg$W_&Yݙd7)΂ 6@o"&tgHh@("k\F"1S((GmG-E# =ڃxł x觝k KsvR $ $n&,LTkwL@jwwPd@3>/j3J[qd;s).4.msס;/Xl_@*Rg;5hЁ} \oJ|accaw5 u  6wPRᘚV1],H2Hn;g;ՁMPpϣ}`c8՝7=M|y[G?J;ii)9dí+.t~fQã# ix:Ymm@ IL HHmڝ14vqOV%~N*_uVM%4`?"s]DVzuf O^_uR!ܒSU;19Nӗ*ESHXQwP7_vbSk-+1qa0ke[nVC/# ʲd&饙_Pu{wVKlAHyʍ]V-i,E#xgpj(5/oT=:_kzxѳGJe|&HV0k1V(LjJF B,y&>_EӤ=Q]yuY#CK7տG_8D{"ws:Jbr6"zl-+|m[(vj/3 UmYAzn{Iȃ*tvb3܇ާӯw)Ω9 %{U狍JGu XEvܒY/TolŜ4M56a>pҹtԦCz~mKo&sѳf `QNe_@0 ‚9>gf^JS%`b(7E"C@P]3kS>w<4oդ|[Uj|qVK жo\Y/]t=IZQم_m;] 4Bu%p^THC:Ù39&maQm(J~y*bPܰ &<*Yz%W(]G3{B> X-BtyI$6E-6fP19S&[xDEάNe#`WkPjGHsʯ6$PyLJ S8J@- J^nfl3'sRY^EWT}ٗ/] NUK؟4)D@Ze~`{ »oFX.Ay\¾S e5ȏc9ogFf)oۊ䶯aN:y(skz=㿥(tpf<;VtutE\4lJ8zkMjT&"=D<\^-;Ѥ|"ȊN>>oO'c0dbjnE0$}ӕqEnݰ= MLw#B/rhܾO>p2v6%݆ZgPdaNޝi˒;=SdK|X͂. 1䵡he8]2,̴#8}"H=h}_5M2m k#5ʩ eWT7wṠcぁG*a@$}Va9.,6vc \C ZwAs|fU=E1ڵ`Gsy=_jkHLE7Op-Hc'AkhrS+Q"/eGU/ȅ}?)-!JPgA*^CI6{cKx*H[u"H`?fjxnj4a+PlQT>; r2Rͻ 20=N+/ҽ6rΣ]~J T.b/XLͦSZub9fiqj t\ ۆSSy7@}1uo>$Ͽ:_s$|x!ĭWX'KlX8^_d6ͩ1^ R,A8HBQB/v: H .'.R;\v#'Vi8oُjZ g8C!y+fU]J=mPP!]g1J j .:2A=Y鹡 ,1 i1+չ e'O^pt0sj“c5[Wq>㑵xkgCIe&: KW` f:D> syZUzZ(^{Ѩ͔|GNbEdgsHjpER,;^:e;}?o ͼ y`f@E,;XZc# 𔬼eF7w:gZy2ѩlT_^>U4xڧ:ʤxg;[s <\yIzԧxUmBJ.-Y㢽_w22t 9Rokd?ˈ$sLl|A0z{x*?+*8@Iӌ(߬l|4F^iD7<Ёo\g#qy-$,9ջ#<ҽI#.wAW SrN4֢ (k;t8#1;^4I?aF/@zʓ?J[s^EubONmq o)1.$x;;1 qУ9 YrO}y{+L-CSgw=ZwS$>TL[C73xtyBLuLEB9d<O0Da_ŊRSL_.4Rd[崠-gG>uWahj wa6DL2z=bV[B Wɓ>VaAoOTHPo)}(X{s~~8mtfTTWlW aK톸e6Xq~V4\-6^UzAs%y;{([aP®s=جGb4KI(o+%X /u|gv<.7)XƵ6%3G| )jWVa+(D*qw..УdN=R(!x>ކ$Q^%[Y|rC̰ 8}it:2Tӹv6/R @],0R ]5NaT)t 0=0Xi5 :΍TF"q-55-g8 My-GA|tSXGx_wW@ISKR^mA6G$WF"Oq 6[8)ob_Y'5@_}⺘$#2_2)VGgѧhvGM^Pi}QQv>( X pܕ#go)]Zu?9Ε |-X-7-H6^6u>^̷^ȹ;Fe2ߝ>њ&;gWPf8!3wkE1KK<Ryǿ)-yC}FJ do.u{~Z6*R|DT DKP` x#((],8€VɉNcD9#kt'HW#DQ<̻ :x\|Ί; `dD\֓fC'ϩ8U;Ws_YIJR|k%ߝBDd^;Jbd4ɶVoP b8OvDb ,/'4\rV`db2f{md޷i_v^>NpXVvŧ׆R ~8c[dI )Ĵm]VIU㏜rQx/h*+=!?:zM`S+CN~%Eo%|NfRV` *ݗ3e/ [Ѡ'b2іXe+|jjtd4kWI0s),MA &OO:향zqޣVw-93̣';l7jX`YΕzȾ@jRךIE/?YQ0"9V>-,SQ)Hf$`_I ;,Sϝޜ_r:&WNT:H9s5Wf8j`:%zR=YFhSoeYl\;"\}O2ʊpY~=Ĩ% X?ῷPHذjȫ'o4jqh\I4o@DTIVD< rCXE3P^"j*J2Cт9H@ @I-<lI'nHsevJc:Z,vknit6vG\N帅)ahT7Ckܙ_yX X\OD7Vsj\7e=6 <x»;1z|į/Z#j]+O51eUT75-l/h>pbhʼnAqKC~"N_7ʄ5 ЛaYgr'uM7 sX"7Vw`Z0 ݉GB((J%p8jN['X…/ 2]-JKbvVeI_U]U_&ذg09*H*Yv-KϦEQۓ%G+J 'XW[Ӽ@o. O Afw#iO#5T{4zWc' UPCAFmTJmdC;MGtK|*A^~DjN/pzUDs2sljRR #൹(+SI6VTdʁ5y[1YsG^ ̑}I xg_fC6`i~7 5':kR/O*4kܹ^odEv:PGA9,f9j0<9"ӧͮDA[V4&r =A^xCQ%SkË_9#2!Gܭ{O` xDO%qHlfr/-bT̶sJkuհ<1Dy/O]`BQ|S"o1|}޾m/?4zYG'rv||ަ(x۽kөɛΔZ^{!aNFhP0X5+ׅ/bݨ:e EzlsV rtxx D|Vqpb l,UH.^+6$/EtEm$@ksiYI??qPH"y5S]NV)T4]\\@޵lB^mV\xŪ8ҕLzDpL ('ԠJlr#s EM|*fi0m@wiXb!m:ڗXk5BA/dXX Q Efs7٭>XCƅx]~.w v=ך X{,;73Zi%s\wJ;{^MŌ 3Wbi0 $=RfK5bDJҝai@KK@`3eUpdžL&O# qkKuBIW+t ȁ PMBEvh^%%(,Ra;[ĭWJ05$c4ny#=:!cH U^w-jWMGdSJ ?Yf/ i֤4ŜTX2#T@ƍ2(ǎA: Ag?0|2sAhS`I(28f1 +Pݕk@36!HxmYu-!QrK2ιJK }8T'\~NDyȨv͛IHOevKh'[TIk[Ҧht/*hItߕCf59Mi\t1cV;WQ!뤩dY`6a)s@b$q6ћuT֨Ar.׿-7< 9oY a|yS`Aq215b(ڹ1MNU 63NUmR9Հ0u,&wj@z fåA[vl~Pw~_L/!*UY/7;x͵`_)vK0"$5K,Jr!TEaF|%k9R3 x5I&ŨlgjDVRHKA$ޠA˽ZjSR&={m% :nwy~xEx3}@U<ߥxA~5.mT:C@MIZË{9ű}&: r@0G J5KVgYZW^'BųLҘp.CHEC3;iEu2L(<Ɨ>>v%V[O-J1X|Ӫ]H=KKhObK]MmHhTYF{q4fݦUP@wX;6}ie+xӶG!C1dX?2fJ]< =oқa1En)tsVZq gsC\BJ(N2_1:oK^CpcV%bD~fkzM]n:zd~[.W S']%87MIkMkt`b X a"SZ> \QSLtZ&=RCKGNRZ*&_o{GIjE @J2xlBp ?4pڿ[ƭQ UdP 3a .'8U#y:z ڂGD5,8.#m#1Mz:e¨poam۔|ZP8kjz@ FVY5Z>piToǝro';N&:QФ'=fmǚ' *j:#"~Gw"*qZzVvВCNz+ڠђ9X(l@ D-Jml^8|&069N( 2OG,E^ڬ˱dcshMzFv% \Ӂd-τpOĽfrgmLJ?*ZLjHw4"n"蹮C݄4)c{S5gzP9$r%#s l"K̗m-Cq/=ˍetʙ]#F.c V_PxDgv% RW>#qk  4*aaaɋNHnߛ,kG' #&{,{YpnEYDb{3rrO$Cci cGБC_ dfdU CO(Rpti wCEmQJ17[Kt_ Vs) `Uno"jJO&1s\|tkΠ@|7@'`ؐ}`xUbfU:B:&ʢNcnqL>`4m`[>P8f4Y_*0 DL:^G/m=!c(hf= xp 2 ʗªsJJQLQByLTt{nS[>@[n| _5k% jPJѩU%y Att|_ܮF-  ͸<. BHPji}Y Lu>#C_< oF+G?;0~1,jyuΝ|xsnnF6Tvit1yyAN}wd ɷ*[@:V6V_??{RC+k}YLN;wj~o:b6n\H77 P+6'\ÃF9 utw sts渨5d=YFowi8>2Sײ;Umb"mʺPU%Wr*hs룎J -"bd!9<@:-*9VXn!_©TJMFu10|[B yG|/C$, -,_cQc4;*ljr,g?.pAfoZ"$"iL牙 e*+qb (E`ӡeu?juP)DLTb?X } KzR9_v6hK]܋.RP?Pn{r5o@r3R/;2%_%&C&J<^LA35HI k#`(I31c ̍ƈ k'-}osF Юǚ*[ȞvNc\"+DGFlM$ǿ_s_NoGx ;]kS#S )f . ^ w"mVI5UЩI)׺5%Ƚd6;x| :a`!Ke-)^Ko !Pyeatsf 9<QY5YsE$+j⩡z9KWY2$SH],$m28lsHeD31$ґReHnNkLZwey `1$?vXT*( BDC"eOds+', 2A!RkOR嗠?JEQb*#ß[A%WX[n6$H97$t5@@헸]7`fsny"%D!kh%~Ac J?ēF>Y1KAt u)g+-'g/)FKlrVb(忂Y=ͺ -ǹ֕ g K"ց0V3$@3ry@IP|\eď@o63)D Z -G-;z$"a@g?Mm3 ڢh'{H+fEzxG==H-D%hE RErR-jzdO&?UYFϺ,#aPuZB=s% _Co |"8E89qO K <ԛ[ϟ9yiάD?<\pfUd !̋h?qwi2ex2Ǣx-EE_dj~7O Mۑ72-4YD4R%nsE$B썩Ϋs:K -W~y7sVW=C\_5 ^%ՀY}m&C^d$U)6ErXpJJog禓]1,XDPH{~kk[~@ Fi}ۧX^<(`!@%0&?+AbvB9axZt~DHs#BqK=-:l?2iɉ StjV?JBplq4\@Z 6ܨd;b-9ЅU̺hcHH"I"62tazψ dK{2 f6{VW>S /WAxWI7&|X H]gcN#(D dZ: #Մqeߑs˥̒j,褩O`*2GCbN[:V[iR(]vбɿ̷{A8q^q፞-2^HOAiIU b=5$h nxz`O4"GcL!Lf8^{sa %cɿ  K0d?9b=5ٌ<*S!#pC` M4\ " -8WZxr!4_ UDMN$CBM#-:p,Q}tYj?ưl:]G(72 s >`S9ĵ*&CU9V&rmy$LYHrwMS΄M-*hH:$:3MWNs\4yS쏓 ēq* Ȋ]9+֒2# Eo^vs}X-ciH(nÔi wΨ(J+qx/;/ uLgYZ ((y) %# 4ZF-exZF-ex.PrimesPIDE/markup7zXZִF! 3E2] !M젗OFOKnt)\%D,Xwd;*Y7hg> NV:^Ɛg, Ʌv}"媂n+7v1/K8 ?qNFZP.NG2$0a-Dy e|BiZu\UQZ~g?GօO^ȑ*$<$)@E>wPr ۴\ƕ eÔ ]Bq-vy+ɞ?ؖZ@N0ĉZ7r[o}[19(%!:ZF-exZF-ex.PrimesPIDE/files~~/src/ZF/ex/Primes.thy+'%-ZF-exZF-ex.PrimesPIDE/document_id104p&!' $ZF-exZF-ex.miscPIDE/messages7zXZִF! ]Άxʆ5.f-9 rq9FB5KC[n݋rUVx+M];8zCsmlȳ }&y,Jy\lI,}DInRuŚ̨ L75ݹL7X݇c3% - qUJ 0:J7P2&i:u &>r٨(Nu8'3|nr) )FSQ CꟙL;H0P-J[_*B.<9Еj CK:FK Fs ܤN Sb^^;G[FXW.pAҁx[j%.+OfDT m=iP(~@V:Ȕ|PbپύiM'˫ߩFʼns8B#(-P! 2݁q U ZO9-X{jۖk:AX^}Kdhqlٕ}YBjm8ji/Hʀ} q 1(8f`L$Q ٽxCQ,5Uo3p535fis͈ D~W >FYڨ`Y<{gto P2Ӫó=v7ipgYZf%!# ZF-exZF-ex.miscPIDE/markup7zXZִF! ] !M젗OFOKnR /ELE/*?>E`֪ 7F( f MMDe_#""q&QF_&MlWMPQ3k Cft;])->PƄLSuQ?2qH T@|3ݍ@=l`-@A7qimo(F0+2gBзy4붚Ժa,L@\)#1ر\|cPbލ7x\7 ;x Ew'^L2jcaGQRXX;鞣V),—1'CeݭSW?zMף_ brƨBEs&”pJ:YI_D B&6_Eк]mzgl7*q;01f7 ?? }8;Yk)襙@a4@FtY}8Qt-$&vE0Qk (qydw+f$HVcʼnu­ڞc!P#ZK-G zb;xQFe|!̃В3YJX'^?l:s-ƒ 賞7sZJu 'PX0ާCK[DsA5L3S~*탈N4o,?i0'Fa(*;6s=7_!y_T=UՎ؁\7\q. q"x@qe3tYe.0m" Ϊw M}Ton8HiԃT8[n8"5C?H*Q"QRnbH|%dوƊ2-"iZɥ,G3HQ!tˑꜽܨtomN2Rm3l=oXSdT@eڣ3r<#%7O'oi8 ܠ92~nC 9K@9Cczf^6I3@ XCÞAmtHI8 867{{Ķ=.Y[]L2 w{"=A`f,=jf>zny)7?0ĩ /2K&pVkg@$c|kڧ ;VK_bw[2I>%{(+J{?{!.K_zZPm)RY.`>hY*.pt [&ݧz<: [q%x ghB@ 1L䫀+uDƏ/W͏*Ϣ a`PNݢ2b=!.`J}aGs]``GZub>Kc~&ݷ9ա%),'ee7ۭz[,oe5ǫǂKt,`=ϧ'xZɔ9ݵc㤭b~@uWm{q9/\'WhA"E88K<*{@Lai|eFMYIJG?YNu`N4İI&R]fÝEա64jR{gfa2c`GtZ4~V9LܱD)/68FSVizz89˲}2QA}䢍# @$Dh_;Eڹ$P*hKn6zam$B>#ğ|E?KDa0\g6gWygDrA-!1%W'k'x/~T)m1B!qZkzzt??/JQFp>?TH[Q%F׻6'D{YIٜ 8qɦb A9ǿirFv &'+yw1 #d`GKjP]95k[IΙ5@Aorh*>&@pͯY2V: H 9Iz P {2jo rZ!:;uueq]:NDV]GvSn[j_;}aC]WMcC5fŏG ɡ9cB<孫aDqTij?hgmzVL VtHK_g7 n\JV!rEsP/6 U߈瞿-8Ғ>ѶW89Y)j) H!z33vH3Rn*` L9Âޘ&֥d[^gj*X2cFKaɾo$?T2a) ҚNdtqtEB:<(ᛮ@AwYY} WW_Vkj&owf :쪫u!73?x5|DK5:(!KIA˛iM.`cy:ʕP81^EσŸnT+÷ẍ́㎮ C5!QS/M97\ Mד!29ˮTž_e:vqp3e'^rKƲ "7iYV/1.H8D[sѝOijnnhrb[W( w8S 8NU@XZPa&v@0=yFHix@6J[3g~_T-k 5dwz3x캧x8`q=f?E>TYa Ω;3-n'YE03hMnƑS- '<"%A9 G)[B"kb]ʺ6{x/YSҟ(V5TjFZY>#td3wV~5'Ψ2MC;Ny?5H} ذZe6h{HN$h5,ߠ!}x_Z Y3'UqFfquEsd*- I2~l aU Q!.J>0!uuR>\)l )o eeEٺՃ&cO ^L  !@VyOQY%$- Y6q,=DB.0pW^bM.=daEd S⩝f 𡆚W0躎 7xT$e=+ V.YIi?Ȏ!m_l3GK]ߣ1z$g#B*!݉n*v9 x/a)GK[F{6h_ 0!zV?֮g2AwSH&:HY]4MAnDv0lZF'NsZ! Cv,h_;C*Eu_Q76DwOV ;fJW$ }cD=xkmFxnmDv#[}hQ^-|[b΃Vj%S'GRBLۊ{/0 dX|aUb:ڗ~cq"LkG]%Ȯ{>fl#kucH 5A`)fW{Elyhn^^KӨBT2!32jr=e@~otÖ;,JL^J^ Ƃ\!Ly+/'hÚQR4Ѭ腍7ǸKm u_nSϓA'VaCi/P>K}$`D3Έ m'#pz}i z&sp%gы擅 \> 3SG US ֿu>2!2piqtALO nOz/ MFUHqߚ >s 0ZU 鎈2jDZӈ{KM1+O<%RC뱌H_p ,nNERA݉Cup G&E'Eo^4XRk.iSjGcl48Jwa `oj2VsK_ >QrK= U{C?hCW,!ɉ,Ty *i*xC|^PGc v^ gBY5Fv R-NEW?</EPR m۞8=y~eyűG~}IWca47&!{? (- FS\+Uklr-9H;$۸]gtYnmLF nj!,d_rbe%l*9R>NĨECo69k` x6%5fN z-ƒx$1fگV"TڻXT\DiDU'|*Ab*Dz:NY~DJ Q k8̼kؾaYznQ/x*;bU$$WŻr:xC>6 8׽V{1x&`LxD>̪`gifofhqL4F+  BĆ KXPI^tL9aTئގ ~Śp?_?Xm5p BzH^dbtj8=QQouO" #|Hyl'VLlR4>6qmA jnWUD۴π/'ZDRCGP8}U".rhi$x"r B}vr3;W0bV[fN.uVΕnz\&@W\Rpzr ;֋U6:Q ?HXJ{9W$+@!L k6OQ_8fŋc'LY.0Gj)~N3=R|^RF[hx$@!cdXh5smn-bGC|y(yol_GJk7%6+ ;{E(>[ jn-)Z:^Xײ:hCV%WěxB7G Vo壉3u3"u/(wep65" sHm[\ݿb-a}$DL ,h5~;QU m ⃝tr:p樨r`I ،b3djH}؞],㮄i ZcX/oҟ(6,b+fYCQ{AVRA#T 4O'<>a$nY,QWb1S y SЯ_{e陮wI;Q(S;ZĠ<V)S c>̫D:x$~Ft!lUf]5 jXj KL[uXb2iY9OD>"7S '6 @vjV&q\S>49KTͽZ쬝+bk'&rҥHzUU8xI"Nnޣƺ;67s%+ɮ0-"CO( 0V8S`,& d-niP]*Zy߲i s}-õ֎#NB/-CB_-`^}#fJvC9Z ^G /d'EjZI>@f7#+c=^6wr<ʃ@^Xf}D߃tk|ƏE~uշƵdNS|6}*{O֋lpbV]Ltij5&#-ʁY#$&`1):YT"N{LMs<8(÷ `*fmPg "),- 31vG:ex;]5r6_2&oCJ+7K=s@x1ɟkDaLzեAY)܊7nHO肘,eM]$"Sr!v_Z@5}h ap-o)syL)@& d?R:7Y.~#ܔ LyGJ&pӝz>}o +%pbeq{'H6 D]Jp-Gcl=y:)C3Gq,¸ }~\cuśX(LI9$y+KNO=$ Wd BbUH ^|;B([2"a:/1;TjxK~Tk`Ӻ%}:y 4yyzgXV 5rt(B/#1.Fr2=mۋ Ƈ[ΓsgT~>7:KI=)n&Z)[|K88Q.YxMZQ29(^UL"|`5qxc+DŝQgF8&3BjM}y=M]GEW9$'vfUNծ5u74)[$hǐזnX$K_&xĹE`l%d9aN6͞łjZNye2W!B/Qy n,gn`[3vM= i%7ҴZ#t+0K!%Ŋl 5>}uw{M#!_]1bFAD$=\4FR zL ax\ [Re.rR׭Z-C[s1%[GE   ^S4rgZep5]*y=8l@AF"\XB'Z͡*sVEFH4**A Vg m1dm(&fRlMNo(PNZoW" yK5ĵFpaǜl-+qb| BbV r@\|Qmr 8ŦP1ێ*m8WRS-!~kjz[~=CM<+4 ~E|[FᕆNcRϢf3v}^1.Oe<.-# Z-W}UV`qO/b"k=[W$k9Pf=`Jm` O( C3d$aҤUu2e@/akSAmX?"Q|_ߛG+]ºTO) '\P;s~;0|/Nr9ՠ5Qr~Sw Q2UJwHtm.!K{-2qj=M (h_ #/i.PK)#"S?M L1HrD} ]5h׃˘S$޲vxYMl -B7z]l0oMW:S(Fd1[n4^^[=>Hڊ=ڤ1C(hKwEoPXwS1`1pmW{!z ;3T.u@n*1ar$8E5Yn}l*AjrATV>y&B isXDOm -<.yta#OYDhy9OSS>Ǩ!E}oHwcOv.RXlPn<=GkyA}M;V1ȄX>u? ]HKU藆 '(U-&9^c|ӗin,lv+.DNL\кb%er/y~hRm&o"t<7 /#Dj@<쩵 a^0̔ 8_GQ\BU7yA `sx]3K":5BbnflMjJFܥ?B֑}(hKZ,j2Ԯ@IYhtaWZ0O~hlj`RyAJFicg#d 8ĸHr )i",_}+NksڙW.?vwq@a$vO9t M׋>սW--?$&Izi8#p.ߢTh&( ^àǮ:C;VTˣQͶlʹrZKĥG>׏<,'-FtegY[! y Ոwaݦyk0mX]]F@L#&11^oVܶ6N6>kw.ݝpim=K^xX\XA؏& ._2c[W]-mȧ $ vM?ObPCM}SK ЁĄ2D+o/ujgW!rAjIEo~HO2 >W N,c@9DƞU'uL]duT̋@-٦8y:۴+6@,M1,IAhO* bWk9 8y '[=[?$YYٷ(?̡'G4t#bBr`n6(1xb?]xJS Dh6*$ Fɇ^Xkt#MzJqHwLr38ׅTަs/o"X'^8Fm! eF7̟:N_J`oȏCk{2>:.+{Wv> 4"a88UU9O5p9Bp:mUR\׮`,լ[+Hf߄2V#HwgV}[7&0{VJL녑s(eH, rLJ FANhDԲj&4j"U׃ɹjᱢ(-Mݖ!K'ݫcO\+J֘(Zenvdrh{~4proA&7mvwqtEVϬgcn0I\O5PvANA  0uN-S-;:r\wY_ି:ٞŖԿ|c:GAK"cOJSUh:PF@0Z#2{|vOj}!c*r LҢyEAmpm"gݕ _`#6tV~h_ɭv[_eI k)X.8r/6QVc=sG~‡A:0oy1)V7,J?<ץFd++1ߠ@-Z_AS"3( $-i ;z6p|xR@W (_MO0d V20ל*ZqWQ…1//#"ȕfKrݶaA;Po$)lEy) BMYBR cg5X>;J &唭0 ֆ%7c> B ۓrܓ 8wdQ"uD Zf9,j9:h=d_gYZ  s B U70#!8ZF-exZF-ex.BinExPIDE/files~~/src/ZF/ex/BinEx.thy)/#-ZF-exZF-ex.BinExPIDE/document_id90S./' \ZF-exZF-ex.CommutationPIDE/messages7zXZִF! ]Άxʆ5.f-9 rq9>'vS= ,j{Eo\ DR=ǑtB:z: yLu];-ɸMH,:F/F9t^H]Po2TŦq^21x/ =61UHF4Bza#,Q^cF'g7 7$0Ig'K #^2P?O; KLOSk&[W8mo:HR}7ē{tߐ%%Du&?f;\[d0؞L}·+p`?Pz/|lD NM9QyjbZtfbG_>*9 $qN৉ޛ7@y @#j##N.NAN2+8i>z432fRN&J#} ͇h# {gYZ-/# tZF-exZF-ex.CommutationPIDE/markup7zXZִF! $J2] !M젗OFOKna(qd !Kw#GpV*E؃eE$ &-1CGoZ=~ ITԁiAҰK=-T(#ػDa/2Aq2je5#"ɘIeՌ,>{nD!l)aU?Jb(HhEG _J]UgkxpWPAUxTLIB) paËR+CegnHKfuSт.)hK ^@Ţܝ,]wOQu+#IiXGyP쑌 DžX7r%x[@@IJeXR^p')#VW^ A~@kqVt)te;%~s+:-HJ\*>fMsxy$@m9~1BM[́$QH%gkp=WEBp~؛=Q:n܈^:ܭ~=[ݜ@0ŀg.ѵwmM/z0] !KB [/\TG#JUfc"_$ڬP]))؉Շf6AfӝHpb_%ϰ{A.q>:>]BȔxlxg)ny,eYlq n+$ /aUQr"]PL!ԛu`ix\I76T``%(L~LE| +r1_a@.74?uH].Vs=yDj+)I 5C,/!DZF-exZF-ex.CommutationPIDE/files~~/src/ZF/ex/Commutation.thy/+/-ZF-exZF-ex.CommutationPIDE/document_id94 *%' TZF-exZF-ex.PrimesPIDE/messages7zXZִF! 4"]Άxʆ5.f-9 rq9ÃS _7SDWqUX%R^K.B!l.DT:哂Ěu4ۚc~cKݯaa=u54,{E7pDQgrrj|gJ1 I_~U*g |Ki$2CCX|5n ,pd!M*̑(!y@ ~$9/u h tŒLͭ%>U(/ۻYu7CKԄd&πAKpDR[Fr 'G7PmU堖Y;" t~˛όQmʙOVBsI!YioˀfT[^Yy<98Xw<5hrH0آۻbM"]꒥Ql]fgg'$~P+AܽzӜ6Zo@Rij;<8z])&R;W38ޚP]L]Tɉ-Id k-sZqr?/҉R' P1G% rʯ0T\WUͽ4WA4u3)idPJ؇/6en44s%$zg\8]qFAh"Mvt~,Q]| xZ狛LgFڛH9b1QKM\jXƊiԝѳ8o@K6@KԐ#DCZN:^!Ψ33fnV:Vܶ7XK Xv_1a/߂!,$Z`!13"٬StWVmq&avrAv_Xw_n9*\`sBn31qҌ3X`QDO`$O-+AΓBl.:Cυk*f]?nEm$fcâ~[ꐭ! 1^MCQGHRҫ\dGyڙ~ш҇_p=Uqw JB?n7 r$J[1N"F;C/ \u*k8 ձP *pɦ_!p.TE'aQ@Q `\>3~o OX8ต=tPwF4]FAk F @GMLLD0^\:*|Qq[c`uDȅtSA䃧 L1*@Ρ³=rug39v m7B&J}p A>3gM:5\P=Q[d qI&S,b9!#pC-h(`4`o< ]Ҕ–wxn0eU|c?Sں1AXm[zĔj %>%jO-:f?X[:: {vx}",rw'#2*1?S󚜛7 v<'w9^A[t{%lU_^5@!TD:9yo{z$_нbRMBhpT}1͉[R!V- 6[NU'sx9\Wnt ܆"QlLw@DDFnA*w0 ~8ˇ%>')^7 ?oE1n&P~=q5~U&FGˣ^ &z$alo Յ&&ԒÈfVhV/N`ص<=kD?:693+Mbpꎅ*' 9e0(ۂ^}鄰3xm-],˅pSgq!4cEh+Tٽp˴f'I~b%!_qT7LӰ5]NaN$)kh 8|w"/:KӘzKn}~Ӗ9CE,IYݝw֪}? 4 )u ̱Nygx-6Ѡ/X(bo?KsGnc; 1?vasn f]ZA\}K`T}"`t2BTcЕJ XE@u쇯;x-ؼfz"2N.-HMmiAf3K&:~8Mtc1,7ic8Sfqz.F3կ{Xo!Fd_Jh5ax^Bw^6"s"be\@ˆa1ObCufҍ)*\[&d|1ЖWcRQk.I#:.;;8@+0e\r՜&!ӵg!,u;Gry!MW_N^71E%C&JUPgYZ  E ~ E73#!8ZF-exZF-ex.LimitPIDE/files~~/src/ZF/ex/Limit.thy*2#-ZF-exZF-ex.LimitPIDE/document_id100S1## lZF-exZF-ex.BinExPIDE/markup7zXZִF! ?] !M젗OFOKnmkuqlh0fϴ&T- jB\Ës4F([ٍu)oW u˘LE%$WJ.,a&A8IδCݕ:yĤWcy8y[ml>c$hZ+hiÚ5- Kb=WqыQ-geeَ-=7)W$,'"KU-A^.>xM&2wE~~a^|pQl[VI qSIkB/:UqG ^yuvMo &59ܳƓAz77:vx` ńr_`2J`{ \ 'A07v 8HѼJrlN^l0%\g6*pc`#< -Kȕ;Hs>gJC9o<0a$mv- +-?e" |"xo_jӲ-rJ`n%vpd,Y.__3rsJ,eaG] Po5 p>|L=%,n\["y Y_ٖ9cK{\)5 o:Po~IIߙԄV8̊:"5Ǻ"ۄ e^ș 5r~" \=sFqN36X e=+G~ Ks ӐÒfrcW1yxeo=ؖ}_h׹FN# Or+{q6$$:G޳[MO%tH!{g[LҋGlu=ʹAXZX0|.N͇d Bct`l)k&lNl3 ;/VorG62M~QL1 Do% K@nRmEyy3 ~w'|cp~ªڗqGo6Z1]dž 5 u9@C)az9xb26ѫ^QqHD31Cɺ9+оE=E'!t A hܼ״գzK D }kh88(g yOZvZ-O\Ͱc(YSVeB7$" !N6@#cg % 6xywn [⍞(rr, <!y~ //DkyC-ۿŠMq h|SyPKˉ%g@}- b˞ps~A$'Iqp$F۫ 7Boys0\vW16 C; V= B1BΕfLȎHct { szaG"Pzt|%$z/sKZXzip:SʁfO4k\ȽyH>i^\x^"?AyL@i3mW ղp)|;AxV li P-y6;[֧@5%㱯wkWrOsup_Af5v [ic_ԗKyDtL;/6MHhХ2T~Rٓuat&.9&Y6?kɃLոmAsEb*km7u2`k4ѝ2˜!ΰo 3~\}(җ aWI dIgsr'/u9`aKKac)ǛU}PQvytfCEq ʣ>x1(+2/,7VDm6{YNo\l#u*$`X@aDs}Lu,Nm 7G"x9Zy7K?>h/y7f"-ZucaHn|+j/mc hpxbrFؑL86סؚ][BjnPjo`Q _j.is,2HB%9&BL{Zl0wNɮw|@ɡnBx?БH2͖b ɯ'/A@ufv<Vq ~xxdhX2AQ7 E p>)YgFGIWoEǙDhz zХײ^5Ǐ<8SG!K]XZ +WYuC"0uV刋S";q\ ecHorI6%ݸ:mS[R/D3cGl[Nݹ0x"p%AF))j~unar}Iw', O rɣ[df?6]5F)O 9-ƈ)2l$Z&őv0W_m keO9BWޏԚrrv _~0Q@@+`q]8t2FJ2L(H_3U5< ="i!ڲ /j;6uw 2w*&05.O(Z<+},hk-Sx /KK;O@smylJߒw˷EB)]-`[X2q0#d0AA[&/9E Eʒ\kAVsyb` ' g 0T\Q_FQvЂm/e^*d[V̜PuGTAu‹EkT@bA )m_)7ņ`פۿׁU ]Et~"_dT 5͉ -hb!)0ۆ\LY ~ k^.Ђ9:g2%t׼ QOzBxw4 $9]+a9]!TlpF^V皃k,3\qIKU Q2V:eO:Wُ"v>uE_ )''KeI:E{'(-W-r&}a7UR|oA3dl+lgF8a`TYBȭ6ɅkļbǚĒ= 0aW>klؾa&y" {1(ADGsO]ManÅ@̸-xen \'K`*.<1#9 `_M<̺G-7y K-q&Ɍ+T)8*N8Ц9~{qQ ](kv>$ҽ0_v{* YTn\ڜQ._frUOA4i73oM);' z-r׽42 UE9z8/O)KDS-vO1;4c$8ffxhAOk5t']Yݼ Ůꭂn]ƽ\2 ;䃕/u)t1m>Z7#6m# C3x<Aj)DI>GtN`l|m+Oj Ihmo*R ~{7U=k9K&S%7JMn977qL #{r$ YCh -GY*[Zk!\c7?W.c.n Zo~d8ro%Ҹڶ&[Gu;s )!֛E5NU!,ˆں˖JJd!P:oN {V+3{ԙcci3dy㠞?¾FsK8T#]{|9ěxTP'>8?B N~0LᬡDZKτ#V/.զ"`SkMY1TRX댩lm"(nYc}pAN~/@J>d,q`*r ;@jZC׵!XږUmnuhYb#^~3Ī$ Cga(!L$ѮYѱCwe5bVk3㡊֮+XG)qÐ],Q$ãI\g5Jiu+U( =}ʽ%--@x!;FHO eJksp ㇷЮAq&C˫KP!pǂ Vh 1I ͓EƧb[QEfMzq bDķSi~O@2.b>)=ۂn[ y` ķFj%G2NmxҾwʯ.0d<4YTljF\( &X Hb s thKM[P8qQ}9/y]K}AoߑBES7exCɲ7Hv&s'q ~V\\VZ0l^cJY~sOL(r.;hP%$XcO,$Wa\,v6E 4@F)/w9k'=lg`9zʳS/NppeQVlzIoAE .~\5O™8Hc>.(؀שLEpooʵtT]{-+Ofȧ9(nkݠ%;({mGQ`ҹBx4(hW]tI[9%vj &rfXb09y>! j$뇧h3$YBnq C@Wm6>|;u%E.dQ&a^b4訿@>ӷrՉT3\3WFT&@p?ny4މ~+-Lw5wPy 9fKyS\s`|ɯf޳e!Ա4{R-xܻ> 0#Q~< Q,}tdüYPM dTįo {w0aژrWV}CnpάCO,3e㤫 LOQL*Ɍxg!|>(2#jS ağD8 5͙i/اg(mcjA6]w'ӭ SϫT& >S'Xt-vr)wh6yII-Q<(]d X/ϫ%?}82#?ʻHH#یOy%34+9u$nU<)t 6H2Ȏ, =KAkxB~B%[e\O֛4'8BZ>]oݰ>Y}6tڊ|Zt $Z%"+Km!dX{sc,(!(w0h:(7mR /܎³bۮl/>yM~dtVnu6~ɂr1e}P趓q"c(J`Ɏ4yŴ/ȅKo2JF /Tw,YRBvJLF:>CbeA-TkFzCRRNUԑ; H}Pf$Rph]mNTy$Dq̱_DK""si7Ȣ?Jbr:v{]ku+ћxD}q8doLaXɾ!5M}ض1S0b'C\|Y̳Tϫ\#DP^' 8e۽sh39_u"Ѹ lumzs$˲D͠C빣! PjD\pطA}W-4YBysD"*QF5ֱX6w;,zy䳌7*FiiE j!+*=Ɍ!|xLKgV"@mX@ UwR~Іf^AW_gҭ8kJ/(v]nźKmmZ#iz%L^= _<hD%]Ud>u; Y9VejMv 6Kq/a 1Ρl-0ܹ<R'zLʦKݐhV=?ُ"Y</{0? fYV. .~8ǽ (g٠@VOL8UA9siXKWm#0J> >.}<NV5Lt,L6 [/u[2}\eg ظ2EuR6'+ݕ>_!FܕDZc-S (Aa!9JDkԳR`*cO)HX)I˷,KB%\Rb]#tj20~t-}Wxz$"d>>x2$8ה$m)"yK e;R/X)0GX[OG=*1&حEqCwcjU_7T~~-=I0IWOGة]Y+5seZD4J=58@D݄̝qd";ȥT董m썟ܒ4Klx2W7M-v|BcKiNȆ2s l51@^k,(4+=ִtJ4@mx XFnit0n]E8N D [AON{mN Rx)΍q{Joz.ĞLC܌ɎbޥY*yhY[Xv邴Dڽ|=XBmV~ '4Tx|8DXz'#):PNuxUhW XX1THgRVbtX27$R)J0u (ym#~z(C}ų"@SzKZ/14R4a1 $A^hH)#2G's2¼(;Ȥ9ƯiyP(u2Ү2ڵ=:'CDG?eo1 //r`o؃p#iZײiq&CA{h!o,&O*MT`d\ Џ%^ mk_p/nzmVBpIM)mӗ!_E_A7ZR~eX㱲eaI۵#QǪS\ow$;#$ ʢZiQp:UCHg#~j2Y@SmC.)Yl3vMZN t1 X2i9oSlߗ.5>`.èͩSN:`^k$4rM'~!v 2KӦ*ٓM]>bPNd7~r:f4Lj%Y_P>Q֓ 8KHȣŮ& 6ޞzdѡіF.n䕟ML,Ǭ#XNng   _Pxq+kxxZK{[䱋QJ1nq}n{>!q)2fku5uob\-%+h~|C]0_7RަUóǔ/j 3t"-bd OJ2a䖙H\cӲ+&BD_YQ_c0qTWKL4ь4ȗfɋ"zuyt C(sX Bj,j IÃN ?m C\T!ީy$hY-X%GOk8TRwx#~&]YI(3–OOnM]kJ;jZAP^^%N n-L_ɓa˖WP :Wgǃi~n2$"'!mV'F;̵c.HR5b}D]7w4K "l'|'8Ry=^eMF 0ܤ! UCf_>Eφ!п\I,іT f/U괟I90(n۱r^_* [R>r".Xqb *F0yxw:<6"c}X]W3,e( cMYxj3XU/Ȯ6{o_@|L2>(ԕQsNFy<;b0i ?Ova$C> JY+c^:DYSsɎBr<=]ԥ{C/?؊@פ~p$ {N1on -l:^}ސXZwYUor@yg &$x ( bZJK wJc04y=St7IjdT"#ҷDNu'#-*ߗ?H:t$7x0F0HmfsH"|I a>dP]wS@SzKŀR@,.U $%ϬIBw5 .cu u40:G}#'nH:.6 T?}YKa5s_ܠQDpk/ސ-s44q:wWG_zn+{Iv+*^c)'ыoϖ*L6RQRP@h봞FB|IYB\m&z)/ՐΛ]J! 6=.}g$H!#n2}h¿[m)I:='6ߣ]P)Ib༈qlT˟VrZǥC\JGw;-}oާ5Ak\T>3EPbb1nTQPr v4P[HZuOqe 1^zU 'C['|3F{c=x# eB]th~T&~ZPJdprI0yU9z{:m(_*Zƍ.L%m㦵sdT:/YlnTn3o tݒj~]CdmH}7w%{NZHcjV\X]QBEY+ۥ5Sr_1KV%VC֧Y-M jܐӇ4J YDf8}_۸zȎc0UCތ ԔjFNl*7eYAoqЄD80^R.<}ǸckxµDHG%3T6 E2S;\ ;<#|2NՉS9,"%B6p0uҞw@F94V|. rM?j0l~0"qE9k]c-,S3*.u61rY1PcUAaXM)~[OJ#JDwnj7:ͬ:L%ӠjV X kQؖshz%O#*S~Fuİ( ތRKi+:]+0|oE:τvL_-m #/6W%.a$+7Z$atX!VElg{/1݌/-u%ZI f23,] Vq_*cnqdn^%*u%/S9?7>?yYq@ٜ|Mcm ec 򯔧LŕH$I̔y0IЦhA2­£JC@yy_f<|4в-ߤjU4k|1Z9TL]4 r )uU͡BY-xFj4aev:nֈUXPxښ-Dd|gz/f,] ڻ+J5ϷyD3az ~AU͗QH6/˖l` 5fFOZ}Knefߞm85Gۃg˼.mvMqS >NO>X_}yU#G藏.y90 t9$Cv`E]?r/Sx47(B2="|p@u"(E3Qѱzw wF]pJ]C[Zka]-(!yN@+㯐rgXϒ& ݿ4 ρO$r-?wڲ{v8@ RK2dC(8J#%6j?E[.W5=8J'%?v@ZXDeILu։Cϓ^@PQ2 " L",AR8g|Ē8|Uv~dW z'D#}6#0zMdXλeDμ!k;zQy/9 L9a} D+CRćA]0[I""ok92sW^,(s"H|Wir tK4ʈ)K, 91@[ uhV% ҷ{+B+ ;MDi7'rb@h&6BSКHٓؿyfI3ɃB;Hg^yPZ-t7مNTEݙLLzdJ5!vyY8}Cp۔#jG/UF(W,(h]`?:b*ϔCQJ5]P #n+:HsZ N>&)-WNPcU e˂j35݂H@Ne0V?y,c0.xw"Wrp~Gᅏ$2ez< ! S BLHdڎ{d*X#yHzf퉰KĚjdE~󣍠wCu@z_~Ĥz)?g|= 0QzewjT 1iF@:z'ݐF} gA`o9"bM[a9V5Mlp@˺<^ t I74Ռ0l(-y >jł6MXbVp%–X!(Pb2}?gwv\K>)OCStYè|-i8UI F*ᑭ(ܫ$zۺ&=7] qQ%$1"'t%\r@F{HBk$p}D۟$$b|AJlXpG%%,t5A&4Uي5Kf"[ B [ruNV͸ ї{~iUNr7fI)pJخks&'i/ wj!u@2'ˌqۂ7yE0s\s`IoSd-3 `MP>%(Vxo0,5=!X@% Cȶ)jG& ԱI~RPV$OX~:uFS~iҡxS}?kF?Hr<acvnVIMYåC]_ڲwhk<XKS׭A@YG9(̜TR]2E>ƓEG| Q0b`,y`IJuK25N CFI=ӫwdK Tf?_=j1Ox]~ ,n᫄YAE1sauiGq΍ j̩5Ru[*fjQ6i6 $L۪8DH(%Rk:ʴsv|k:mq4U,dr"0W ]NoNC!%542~2GΗ*ޔ!rhn+T^H2Yb[2k*Λ-Z (`7Nrq?1!及 U~ O}kN`Sμ"ּB,@#ջiu%2pQϟng64avj\-5~hS\XF7rǮKI>\+'vi}YWBbxEeRPt:-r#H+zcu1f:QJ*ӇZX-X%AAMQfEۀzcm zM Nx"^yCȘc@R]$do{sgj \l 3 ">9"WdIH͘&\ѡ'Y MwwmޣkB8p{>yۡ|ep\nBn_*y)bgpF@+t4&(7k:~{zYf6u$͎Rٞ]|Y1|}C1$|d1/P&;><.ٻ:f}4)VP,`,l V F;ZF!;pYvJ3 ]Zw5(R~pXfEo綎UРt\i:9bִꝺ nB~_Dm!j';5;yt|*v(UG퍉)K&ɵsMvi3rmqOaTCYVPcP1*D{`I8h1忸܄v3.YZ%APx\+va+KŨ4>UXR-n0tԝ2 NWo}8' ]qAF:#:^݂ы ?|7_z%TNM)b{w-t(|:+ R͚_"pGb&}HJrL߇m*uZƙ !&Smۛ-hʉW;WTr=cV 9+bufu0st} f`O*`S nO&vC"v~uQ-˒h]rW7#qVHajX@,ʤ&=1D2cdV tZ?PU-eVide7^}2H[g.QMl@dd.2G9Bl]I~JPGVȈͥzH;DLcf'[@tBs +ӐK콠[+jw:KlT@^ dq~!AYVys k ]X\o [SpF6n(%6#mgWI;Ĝ{reqE36i=Oɶt bmI8s2WvoWD0dI2_JmT[+0\ѱbk:'Iֵmp51+}j%ɸ؂FN *֪(.c%*%#I"W"}p2>SC?Zͩ _|ߠp>3]rU;SlÔdA2^(IB=|-@kH?t'xkBҒV!^r.BB ϡ/joG }|oE5!}>*<ʙRe*XϪ̝RiF9=1jԖfz0(6Kpm J+ 9yBeM'\ؖ^*ȿᙫފ9֍p痓N /ǿ}EꦻȡE`.|hsonKu+TpA}XtyQ^ &GG.Ah+ ƫ}XtehmHߖ/"q~ <緋Hag ?<뾡7#U1Ūgb[ِ~\[؍.%?3G2Di$yh"uӮFso 22.#/ )S,ڡ2K MNto|n$3Y+wh9{{Ey33*{0p&w˓< p#~fAU˓oS&5ZL=ϥ@j֪gnY|ƀ$wqq=oE!"V!B(Ǖ ΒCV2Fz~D8@;!>]hʠ|PJ " "yWkш_h|Q7FNFbX8@լwў1o) vftߑ6gt\Ȼ'TIS0LDkiz$Z+9!lf;% }r2Pe\И.bhl4e_ي_Ca)x7KJ}A؇v&N- }g`Eu1 D7#MR*06ώ&v ѧpjIA8KI!򂲕TJ_[`v5P;_TL.j Iu"diBaj)'Zhp ̅#N&G wpbFM*!͈Ye waQ R5J$#j$Ku3)F3V__`y{Xiĸ44ݨ eQ; U905_<?aq6J[w CJypC)Mp-2_n|ʉ)uCvRc7 `vwp RkǜoO(6..N}9ǭK݈27#8Y/ ^$l6:Jܯ]E9K_G7Os.1${5j Kgs>A>4H;[{F#7: l!* ƪ oFJY&h ׽b;'5A"(edH%u Ȭ00nI h$Ć!b/`]s7EB8ƌ6K+Uw-Ɨ@ʑ صv"쉃~\K 9vahsK .뾆YqI>Em~I3)ⅻ&5]鹕mFk`COĕXTܑbr0G@ݟfgm)~ޑjbM_R_[yI$Ӽ3 Y2 X =,'_">qIlaݩGV{VSU 0@a`WxL3yr7" a=ezjw+ ^aAFҝ'*4y]Y4 ,BPϢ NSajT~8Sq= οdPB7, CQǒ,I1@ezi_ aGxg/~(p3FfZ#{ tKk{i,jm%EITuU~DNaJA0=/h)Ÿ{8E`z2;6^NgcPAs*.֤{K>w/ h\Szu꿨 DDȪG8F=zP\"C)0ޭTiWXH}ڭk GGKK%͌d!f?] 6yVWFg(Ȣ\,@07. JhGm*5kC*z2 Q 4Htv Z..g9\ *bSB\+&C- $}JK;붐Ӿ]}[#@3GָХz;n"^%Ő:wG^-pb}/ʼ!+[ OHU%;˹yםxB3AcaKݗ>ޖZnV'u +cL*WwOGHPٸ!7޳ej٧803*'ͫE`;~ &n~}b/9k,9n | R-L343z8wxJ1ؔ!-v@ KXYqq1@%3B|% d"OsT=o6shnWYy=r_{ݥr>hMW& Y%'=ĕ҄detDv@6!̗UB"qIU pԊ-7]~V2r|]GLZԃh,@1'L=S*u:^ʩ l+t([2c2[zc횔oß}~Cl:SPZ$gU4Bc1_%6xri:tJܕǝ{(]zNpe߳h ׄ%1kd5X}.} n'}(^ i^+|3ӼMSHƞUe KtveWN-d'[sXn]˒P6i` qܩV#:D=B3I0=M4馤+Ƒ+ D\skcс]s(]7y,Ԥ'8&:@Iڍ:cNN_ʂcNuu3#Pp`g[~d~{Ve%JX7 j#-Y!HA Lװjt> SFqe`7c붛KaMׅ V:< zu2ti HٞCtEVD~2XVD-]JrV}TmvtĔ%=Hk.KЄb_RxE VX`A2ZveQ΁r᳤ejKZ^yh c}'Ct XwF<˓T s`,4د(:G_U&7>sē ,O'lJcʁR!@t}] (Q%f;>c}yb3 SZDXbFR瓙o\s-#KZҊvO @Mhۈ6 IEn`?,iWsM-QĮ V .`!rc-P 'pܥM{,rI|mAM-p){+7h*3`3zRlay.IMMϪ^kN{_O\{k+0 ;utbCY%Vlo5J|<6XgԨjx^yp|6Zպ賝11e6w%#-QYQ2f۹zP`q0Ʊ+<a^ ~Oڝ;#8]"G5?NWہ; Y h#BPvK#NB뻏5]tq_5n ]> LtƷ˅pd&7OG4ڐ1,4Rd奦 u}0_`%AzTot*O.!kMH{K$*}e C~X1NS*AtY'5gB އ'ڠ餝: s(\H QX9paTTsIDu>{yW~?y1y̆wGee7gwKALpL(q"$->ϊnFLizF' !?oIeT 9qY(0I;;ƈoK%kx( LjtF0b㚘"QfG@UoQb<^LQ=6`BZG{1TFG9Z9,[$v ⩛NMxM vF +%7X݂:wD<jϩBtoRf?I's͊[>ljrB}K`8G-Ml5얕Z$E&?m=vqVT">֤^BB=| hM9.w1hv@Ր ?sJZu޿fvج*ɖҤYuy=г j\EkV^6Dg߬-Nif6owhi&jž' %%ڇW_^g&N}KV0Ht]4oKXE*Db)xՄ}* g-ݷBLD*p8QǏ&d=Ep i-21bvuey8mرul+ڥ76MU2DnV$05{P ]ąJ~% 8NKzyn0?9wZȉ܆{֙-c`F=^lqٜjHzOp>! +Hi=TfY{o3aS.'ge,xt0vq^4#.-4E_8Cr1fYV=Q 20Mb뻳$O3Ale#ػ>f"7[-0m`ADݬt@%k ']u0x^w -vZ fxUyi/b2ΠlSjk^8KȍթL`Ku uyTnvNG!h>3j'IE8`$ TݬeVע?NCԡ˭V.>^˄lIA\sP|+`[;9b;}96iL2s.g([5 *,֧&TOV{-Xy["I')UڭG5wGݛg1.^t'}ʂT%l{w]O7' /URP&x춱uJ?93N9aU/T2PI=0wsIt ҭ*#Gɴ%4pϮ$q`d)>MZrx|D`ԭ}}Muix$]n1_-SP cdrZПpWb p!feMu{YRK%T1R+b3-B"U1|+铉c^~ 9L=U5֚lM)ƖAF=894S"r[Ej;8Q-fs&(=bz}9 n zxn"9[Abn16ݱ_ =O[z=pnr׻W&iM]`sϕ#44QUtXgR?hbwء.LNپx֗%\@}}G]U;=%A8M  ؀oBu?-r}͜HpD63N/T4 i 6|_C@Mw`XBӣ~7; 79^.?g,23Sr7u=@5ly合RT5p$`xUlS- -icLP󊼋ZF807ˀ/ 'E $fhux૦#_qL׏8g >zob`aZ=!vZ y|ި<[;h]V%B܀% %wBgĠ".^ìQ2?bE(["6205sp<]ӍKTt#;34CnjVm[nl>+ܕ \OJ؏됄JcymMx9ȴkr(dU|=XH*%nIvK*8.| 1`-Odk"7~ q!?jv&% nG_O8Yo[e^/bB"n <FJ)=>ӰQ岺Tlsq${?R!KDPn< Dq[EǠIԿtt֠XLX=%/onr*gl:Y Af$~x8>0m ugV4e*6N$c{j:OQrl y .Hwi;S<hh[ [8ϋ|@oAr#cL#tNy%V+eZ磗rHtPt~wy^ yу Q^cGFrk.伴@8aʚkbf^놋ACB\4w+VS~=mCq9#k2}|DZw,tG)XxYeMu3$pc-9ZCFa0`4dž.p\[?$SCD>&U|oht9f?@1%]Ϗ^~>?UϤ[z=%*Cab(U) *=KI4Nge >9mtmK}<5ζENtP>Д{$W5lGpɍV{$P#\fƦx59f$7vNG?;`k2SҨ~^.Z`82@oTF,(h NK)B} Az[_hq 6vDJ\Tľ:먥'F6kVǸ ¨wd5}0E_䜠t` 7MI?F!2&^`XX D8B\Vs۾v<><'Ar ~{$NR U`؟Q6fw?B(6WA2 HM~x ?}3=#Wje:d,+R(o|GθRURJ*{?^}w-ʴ+7.!==\.ٓ7A{0MPĜ Q_CMWNk l۝c{ɮ,J%&dՒ)Bųt91ڣrp߼VA nDAHSYEՁ#5L j$XO8!1v2yǫt̛ZCܶJitggٯ,0͇a`D;5-]J;*&Pz-Hy{ XHRg]C̩G4yTDVR[4H&)rz{Q-V _|jK@"_yQl4oƧ弤_` O)}_K=6 15V4Pu9 bdžn@YFj lIO($@QgdV$N"h oå*O 9W /jM^>wR37mP][> ;`#ZرXp#.K n`Q ٟX7\*6(АH8u^egpFasϋư`#IU/)&3-V7rRo$Ad|ɿAxeCLEZ5ޫ3޲⌸e l!nixs[nqR€.7|)DODay;q @ڟ9o~Ntq%WbQ 4іC}{#MbG1o֛__"H_<Ÿеbͻ@rtăz\ymqW gȋLc(cVnRfŮʟ`[e%F+? &7aFP=C  3H(jx}Y6XYoϱG 懣@t*Hu·\"@4 Ǩ+ nbBr˛K=/;x%T{#FFκPN,AZ`O@0EBIHSt4#6 O]b!g漃|{,j6*cWAYMc}υW ȱp[藵y,-Ni9W4|GR>W z#E*vX?׶wR#3-}'<>Bʱ4xd%= tˊ۪&ɹl4,݉95TLR߾ǏXV1R>`C+1n +'kNea"î^-b؛1(xRk?J&o]EҢcmLS)^jpLc3`Ãl{qI,kM{CWUO`3 ?Yq[c;;Zh=XyEHw@o.S;9GTZ|(QsOGQ% 4.nN6`pƿi|LpP8 yrʬ[D>NܡrF0SSUðH6䖶mS;š:+1Ǻ?^JPx%BQ=f@A8Fэg>J0HLyZSTNړtm~}YY{*πV3IS h #2/)ǔ*N/5?ML+o:*ҭ6>Iُ{O?KŸbuJ-g~%J||`` ͑qDޟ#[WJ2sP1;?p&Ma[6+F$gؿ/p hB\, vV7Twf@Rߨ?C AL/G pka抾lפZr'-$%)nKI-]uPU/XΥO@aG_vf)d7'H 6A ɭ9"8i=V \3`lFZQqXe:I\5ēc@_iKVrkj}~mGiS`˹wxad5 SIFŸT̈涟I+n3z8 r$TQ=;-P"eR~X%Sl|eA^!C:}D$E7 =w(dZVH: Jo:EE ŐҢa0X?~Keh1ObehɈ3$栌XO= 8c#S-LӅReZ:9죸*-r&V\#%Blf@(Jxޣ;kN!]ٿwƟY/SYUƷ AS.`xB3n3Ƹ5Dq̚<a8d]O~9c)zL I<HZ5D] A8$,W~kOUf7[HZusB6O&U'cT>X~kA' )@f%‡bHBn0肛=6% jU\03$ODQ6F{n2kزԑeD[HjGVϟ ]o;gI%xqο˾wP]J^&5,nNeH) sJ~Ks!%/ژS1D$$Ɵ(6LKܪTL]p"}C{L?]VWԢNܗeY 'HZŽ!"z.[[m\2#, * Wr$% Yg;d8U 5gs8HHW[ ǃA9>4X~'VQRHֿ[jgG >X*X=eol\]|J  Ϭ-4xv.Q@%EXt)*ĭxb>Y'B8]f^Wz½vST2Lܔ8sY4C*cf1ei8Ճړ4i*G?W>sǰ xCѯխ( @['$=mز%UgͬSYՠ Sj7-o“LClERUyyxJԸ DP?\ĔGijt7;V7˞% 3$|$c3Z!h9D(J 6xqיC4CuN[ 3@yGH;U'IHaΝA/3$ Lo8r(w2%Zq 9&7j]RA1E΁u!u%J@ bsE% lGѡVfTHM\;@E£ǫ # ͇cE]֎@_mQ^.E rC{{r[|9*#169#V0-/5S,xO*K5Nd/:uW%CH=-8tPxx͜ϋwgűu2):T?!A-n;Nc6*iwV%"ML+ sLZr8Fv/;¢+[98ө(%Rgs\d ?p(X-Kl5Y/bjz@TbaZ_{0E0@o=wӭ\hOD92摔 ? FL[}_ۚLONt-j+6S$:=b?|xhg~z~ $8Ԯl׼}!XC<8?&=T^wjnM+Y2جvrsKB#/$n̼sCpwZWcY4?YDZ|ϦЋG*vHf6^Q[r1]=-$ҾRsÙofGn͐m<(o ˛cQ޲>ٔ kpt ~Ұye;V]Tk^IGl#4G,B\Z37 dT#|Uw%٫St],,ayM^#A,s4Aex W !KW`z.^mDAs)$#aWShRZ4H5͠9(mz!eCIiT"@}Rܠ;M@kE*^vDpY}_!rN'޻X%ЎDuKX:d ZX C9r Jr'sp{Ucwtt.vfuKoujXmGA2tvG}K˩ G0@r|UC3!3-)(=" fAzwWB1Yw!eoc 6D1[@sW(=!R"Tj"Tt!g=M$05\44FW'24~:64sӄ^Q.A>"2> fNKȆ ݪ7ZMD4Q5-]C([܎AރzH&  g- okݧ@Edږ5(P@UÞS @)j%>@:LKr*HDdyM8K i -z/U[aج&B=*P(IӒҞGf>+xVl媂 ?oZ.&,8LۋlFb6(*h i{P[;%'0QWvꦯPId8!EkbBmFaiq-c9v@pZkTo bepmIEutI্.OT؀D r&T:6Ȣ9i8 )g/Kn q;8a|u 79?_ADv cA=S@ݟE塦!!c̕m*vO9V8Upfe;0V!3'Q^[+GYwMT^w\+]Vtt'ZR9Fb:D`=3x%Sb=x |ZPEn)h'er @.W_#M e1*• |_"#SCGm[Ѳ6PF( X|f| xRXHpBL\M)2k>EIRj8j#$/O}aF}qi4&yDח(߃̈́^ DK+6O!G {e%9 jyI(E[^\,V ?w8J`"Й/-i -HJCmH-RiTK5rlwn/!@H#i7Qo}]8·s NI3 9G&X޸QۤJlUE#&\+=GFU`X\EĘ*{2tv~Ի]3s{&MqHIBT=FI?CSJ3?M|9HnG}}\qP*!=wL7m|칒At=D('vұ (JvsKє#@ P+$H+\=M-!-?ފYou0 /-&~#jA8j oꨎ I (S*5g^@}UL; ![L;nܗI`6!70XkASU~1o/[F )hX9Ry9Թi5DέБ64<^p8 ]'5~YBPCkz [6򦊮"\%*)1raVQqOT| ZJMB\##JY!e_7Zc}J5V@R%8K&_t[M$":ҖId:eXDHӍڕYyQ5xwO /# U"A*\8[5ޕoc'.]CKQcY{Sap'Zr~hKf:՗2gKsgf1GM,߃:QX3%<4-L =QqpE:@7{lUjn|IH`~hpA U: nAM>o%xDV= $JM[2oMQ߆-A>VG2 *-VkgTE#uP#ŵ):JWcoьչ/Z3s{EǤĵ.|ˑRj&xj4s]Ii2D&-gE_ŌHlfdSfFd곂{rt-?\17R~X g1q ޔ"@ՠ;bI|KB gt/ni'gԫyKo9U~ #Fp!q'r"-d\J^2bk+9,xgbQ7ROllV][C-a1Q5䖌):zE;U%vL)ktwf W& 7SbJqbptu|)j9JW1qJ!v3RWC!|*UL*b cgs pz1Aty9֮Y$aPL˜;ߚo}U^.j% H'5kl K7b7Hu\洍ocH#ݧPur«v-{@r۝ i_%j>yv$Z]ǩLyz]節9x"e g)JTN/kJE ̋N(x9EhD̬\I 3UeVwPl<1 )R<8u3C^% N5>0K(C3{5uϑb_6rKcP9%z˜(6V[AJ>١))rZ%uP_W}E6n~̈́ xuѐd1lNtj wGU9^F%-}YKFg]o'wA )>VO4XKCb% {=} ε&]K"Y @Dt*0zZxlI/IsrSQ()UqqY'CX,&Zۅtg]-Dq2œEy,pH9CBtD[ɞ3lG◡naV*zXGx)Z3RI+WX^v~ڟMs"xM|CN|5W%0d?Oc\}9C3N!y.} FԆ5N5O@% UmǨžg/c9/6UqYFՂO+pFseׇO* 2l7/*Q{Ĵ%sf|D|3$.)+CȦ=(}d[J.| u5aw!&y'dP$䰤 dj+;H+FuiQ>^]`K@V(ITQ‡>ɱ|fs(s njܜ܋K< 'yǴѠ9NC{c Qڤ5P/&֔]Y Ȕ!rjANPn(*ylo)$:r8ZYߨWzI0*8U{Ik]]@eMh% 9XdTm6f^v1E֌8FϪlK&Kt @! eM[LV%E aσfA OxL,Һ1Zd<@Ui/)@;@-M&Eoܺ)!gSI1:}8WAH[CsvrrKCLGRme_[wC(mP[?x"{i]Hؚ @ܪzB$j!7=d0?k3A_B`TEɳZNG1:5m5 @WϕpPC N>t=L݃$1̨E!zxʞh e;wqʇ%xg3VîI>[X-BǹGt$[/6j;e8bދ > ef,mS#As;yr@xm;mcfLUֻQ $Ak$̛=OV.RrC?3hVz9:WRT$fi~Iϟώ^pA+)(=Y+S"0P L͘.Y:{~q?FPg1!pkc\$vTfU(*0eo 3m)Ջ38O{*І(liZU؛RKvc¦<=GXtrHG U(x_vv`zғQA!{jdRf(5tn#Ԩkgg *C9Iо=bxL'R.W=rIS@0^ lK.7K~c|KV&v#_^5<_=7;Gh+õ/;B.r!$; POf( 4;]jLtdm"oײznRڭ(شoLxK! ]R LQ@|M7Y05ɇ(KIQ!Uu6ryU,aFp^-A3{Nhp<6 $AI7fكB}&L"aGšo5z4N<"TLBk̚[ D)zDR̂/2  @hU|^`=_eH eTKOQ*j!٢e|h4)۶7[6=[O'8kMJhJA~w[ w/ CL Luhlj7#tutϦ>x+2bt\Of 3HM(~KH%WPM66kJOò3ۘ+%Q=XQ(>Ё.P3PoDx IX9)㑑 ~7XLAYLa|[m N|ٺ#q0Ia){$Slm;:@*x4\ZeFg%OM= _c*UAeIz]?51'rEV^1*H%\ї w(ݤp2%>_A2Ӓ;,b^l,0O` ˰O)DN{ 7\ކ+FAq *+p M;/УsBN̏j+}w~6^8O)7N6xfJS9x;!"gҸ&~6 J߼P Z}fHbX/B/\ &TT`A.ZY'o̼csSW LK.1"^<6ػs+_?r%"&-KN;[p3.Ҁ{k| g{؉veI8&oki?S|zN(wD:(+ow7pm+d,òXr~B^P\J0 Q&r R842ȣosKP|CCXX;vg< NdTwU>zyQ0—q,Pe (ø72KۥT > H7VOc;}І/sX\7!$[jd1eƶV#h ry0rQ)oYWpרvGgDyV!?Tsg  M4e|BLwM 0cѨ^#:H!R]QOέ,0$̷7+]%sZ \ܮL57?B2(ؘT0s޺I6(be&%F[w/G F`6fS5싗d ҎyqB6f%HR$d1K$>Eѳ;%I, 12HbbM϶efp7`eG!I}>.^"6ڳ1QA%'S>ԋNKsF߱AD1gk6eA7lhQ6Ý2ѽȽcL!5)-ͤ%\|оJ_<}:QF_{/` m +wD+ r/JŁ>Y eXs6u}SUtm7W(2e6eWY'Zҭs9; CI:3e2YPb‚yz eu^cmOAP;V7sxgK'ơ7.U洢B)6OGYŠl\G$V}u]-dJ;3gaZz՞p&Pz2CtSk[ׯqVh Z+?s@Vp_%cOFpfnrĸ+x>E?t2&(՘sS$-:L8zM;aso/Md|TH eP" y_iAK!$87R\:bk{(N"?^`3ɶtXJs@y*23|FkH2XS!ţVgw͟Fƪ+IoP7D__P4^BLaU4n" w0_sh5p(:\:Wa`B|(m .o_ȃ}SOF3CtdOiSim>kIǧUpC fj?]`< Hjp!eG-Id~–J+97!h*5X'R3~N,=yO wcftDh+8󈟲(:ěeޥ^PfyͤU@}4%PQ8A~m?#[8cx'7=A(gNR{~&ECғgrS8"T8#o {AAq\,d",^p2TCZ2*UciHL+cKa#A]Js"3yh'F">k7%/>tbfuIHs*ix4&xܐϯs>y*$vYC3}C"d8xt$XhN0D#Cusoy t\aa * {4v z26eULt?ɯT[pJܮHg%7pl",H6_>xxs-II/_'_(92{.Ok HQfNX#y;vJ %\Tqo+xI{lbm>upBnji:{}>+5@V#?BY9s[9T<י'9%2+aR5G:P^}UѓZrv!ЊQ)8s%6-x7oHt?>AL5XJ۩Se]b`=Ηp.$j˺u?fE4Eb=Lؼ& a.j`ehcE)q&z O` D*&ai5PR~a=9ZYbϙԄH㔟ɵq|8sf0xvpf;_QS ^مkW'k ASLȓ oz+H8{> o%,=b1o Tꤱ59Рb9ؖvFC xEc¶\=e,jԩ$8[V! r|]Ewb+ й^>­E{ >[ap(~+#!ӁIvW[W7{>*ݛWn\ Ѓw/[.p97 i.rZ)/sھEktGktg3OuW9]p'p;R/庒mO.D\cpov.LN9gN4iX![5 Khd< !{* YцE'w] ^C,#`X[Ho1:nn ˑ"#HOL8u ."Kl#ymc"&ŋvT༐q\yK=k5t1c;erdR WÝ߸3mz $VPY&PXBk=六"zS6v CN:!G&t j9Kg8R{Њ֤^hh>4 )^v)$/H]q_ =*v-,VJUժ@q ~]"fB \4DL3R}#%_g hBTW\uԊgͲ53Z0ȁdE:J~wTp2- UeH%bn%^sbGɊhAƥ_6|}+S0 ⶎG;fޤ eZjme_w(tp |Nz?f v @G\QQR-o\ԡB >8O9yAcG =5D ' I: wHj[(vOb1pVi6bxB~9i0zgh=^ȥ̃]ip|zڣczwչ$ 63ՐjQGc+Hu~M-݅[΍4 xw~Gl {Fy1A<S+-2(4CW w/9`Uml5i6; z/0]ZRJ-(s@EܡAU{=~,8K|(Á̀=}w ?OzoVv&UOa\ !I꾚y7!TuKڥvQ Gb`WkIj n|ր9u~nwZ="OVHv Gm%ȈRhěpFQ&!z3j5%I~H@T3|fsJ-BChl4Uzaoy ^&:JFpTWܗ|+ ;({\6vZ>)T*mE{_$݅Ewcs$ ŕ?%|l"J=@Q-HlG4@d7~nRUhٱ l.r;4Ea} RX^+[} nz̦ ࣜ&j%󹭡 ~!EYg'./״2<,:|abM-oԞ/;=͚4hz[gcM`ym#џJM˾?%utpI)?"D"~[7uW cᗢwBHC0718ʠMׄpbZN15Dݰ\ U`uQ8D+ZɳTe]aA˕b٩hʽ e Ou⻎Q~%Ù4Z izTfo!U^%CAVi k?ThJ~4<_0rS.27^#L}~<m(o$x̂pKǨ7XRWJ&!:Q2ǟ69|6g˹ann UkAďQ:<}OIKiV*N',+@p8.β.%Vo"K OzA ZHƾQYyi nr3h ̜Sn^Ol6xn|oR&MKPQurA1ɪDr.U8"Ýz~bn 4NlkMB` @ q *{B+tp߻euUJSп4+YRKщ"{x';EXh|['i9>IgXmuo1Ad)V$v})Q;@"otIv]ZaGmw@}m( :sψuHH? A]by]w ihLS[X\K ! O][ 9']s!8RwW cc}nS_hJރh:T{d}9qN9)E e8mzK/Ev!VrAvo%CwpwBScp7O@"mf)/i8CeNhTH`2CɬC G7>8޺%41Z Xyy/ٟ[/Ԃx5eiNeFp 3-|;|6+#`"%!8h$1I;-z-GIĭG~*fR\~W>c M^XT^tY? dk sE^\#|h&4KE0%49B^Ҙٙ+}txgņ+1_:E!zz>WB("n@oԿ-_|xdd%MASHQe0!ͯcV1W<1_w) d08 '\ք"vNZ𗜭pEhJf~O^#w`"r!uK'k/%Nҝ:k6$l#o&m[JZ?>q_E8d`s9*6򘮬n+.Ш QD}K ^(Jligbݞ$p#r/ԇf7yV|?ErNFWcrO#uD\NXk4G7臰&;O W6J,B[Di_v4.m8xlRe>'7V:8ɉ{#O`1I` Ɣ6Y\iR;rŨѵRA(Y0M*DQͷSh73/DIڙiEy^KK`.S,MRuئU9v{uoݩt]:mU` +q?TbK@iKb Lw<z TiS|nt n6,i<ނ]OobB<9!;<3!*hLZX#uD|NWC]H߆MD _NSp잚)deQ#'HVVxi(oqnj'{K JO)]Q jzIJO:sU 󧹄w G$+oFa@L\h ͪ<>Ql0Di z >pti2w'zfTm`D f)**3Qsrx: h UDosg*ZO(wP=0|dG#B} cƞA'ԮInޠHt7K[SȌ<ȿaI9UF> Z3Y[\*d69TCN5%=7i,C5YCP]DJ+> :^LWF#R)$B@bh& ;2.,Bkf KL JM7Q0xVd_n r+O3:Mt !/kFdx! Im`mʉG"LG<ŷl37j C=fm=h-j[]v  $úUHd5eS5icɓ6b Tt:&D/Շ[`{)d_F}㛄Qsc):11FZOv*k'>aj&fޙ}_ =O#jPiA2ģ9&E"Z5Ee2T)AN :h?kHB-Vs&aCwlDcPɩGp6ed `b ^Gaɩ61.2! G?X&H-F.vRg+!y DҦ0I9a,SUHVlMjwpiGC[a"g LELPɛQ_ ʁ>c Ra3O&jyP.2p.RmΕzJ?``.8a7PƒqXg.( ýoU&zL04*ο;Uu=R17)O)< \.9;їKӂbwnk)jҀd),=ooi&0c2=x\sa 1wW;D]O3.nw#ڹGӎ*)S¾o/[72dzF/8d2go/e຅FX#zfs!_0*c9~y3<*~g&9Nn ؏";lÔVYJ8_*6Ep0\K؛cXmƺŸa(`ҚE7m)]X .T0ۋkXY^ȴ_J QAb=>(#Z|z}rwL-gziȈ,4`ff[C!L:*CY4~^B\[=toc\I>_#5eҒl. P% w1ٻp*XPiD_]x#y_d0DȰ`ZqF2VԚ+s.TBeRDҊc?)mC[8lr,y!uv X1"ECKHU/)Kt̵.QVy<$lH*G1AۧJJW_F*EM[V2zU$ ƁZXܞZ;.{jSfI;#7x(08w,L'q75W&zS^R9{%-6FwKC\5=CxjzNkԨXAQnSCUWsxKSfցImp̢rqmT:F:fϜ%$H&SsRVbvx̞Vf. t@V'6Iٝ5'륗x`@8쪲hw$1GLE[L#ί=PP#y8gOЅ06Zɭ{}Rj:Dϥ~(㞉 SgMvr{:˝%O"eC>&[] r%bЩee%͏۞Pw;_`8a\j6-3šGUgp<T Uy. \hQ%<:* 3+,VM%63RpU$l bb7Hq`{Y.nO ,+4Mkx2  v jO軻9ށvV $|G ˓UIfQOxs-"~,ilꊷ{..&{?ƻA=Q qyE_ Mw5:3Qn~cvXi w 7xDXׯGx@s[.m 'y@S9rdWnЕBE@ "cxw2Ri|v7 5#' |ZF-exZF-ex.LimitPIDE/messages7zXZִF! e ]Άxʆ5.f-9 rq9 Izi-xug\QoF,i̡۠Y_Tk(1Ufnz<@Lu/85A}6/[%il±1\8U~sLP0\ dͷg)FL&_?[n:ͫ"sR#͍hy:b$U`FoI*-+o4g݄_a:^@;lߔa}`ֶ  =K؎,C* S\Y\@P?؃P$yUWxaW,%#IdžԍY+@kÉG,#C`fEjJ5AWisU 35S7v/0Kκؔp%.s4{^9~9]۵ g&76a4 nµ߰M:0x9+ SMF Kr T-l6yN*ξ#t_3 )b.c+KՁn~omGvet5^eHB $ӈuLJv[n$# b}zâ;1bumв\V84r ]Hahv[Bo!,*ת!ΦB3HZџh徻90Or[1H{O#ujId /h?@U^rrn+%$k{+hm=\ň4L !J+'Q5gm=5jQ xe7&D"#FTL+ q|}ekE J2_T=d7/[r}I=N;_iXBn&q=6Z>+!;ǡ&GÓ(Xto̻ ^oaU gfb ZLn7I$vP"X$G[7gjc$t]9e /B!? \韙gG&R_ E5xuGS;>0HtcxҞbw1>(  0tNд|3*ӎSev,%AɊ83& j1Io;`i gbR>xOՒ&ҊI.^i4>gi9Lzû5*s )ↆʇz)7cTlOU#hBQ?NK ۊn-brby9颕M񚩑]X4zk.ǩf&ȋc&beh&\Ԅ^E^+]smaB4m1vъ@,b:pv1MS@&?1XwKt c&6++d~]8^z4UʏK0N)64XxR:A-)^biuG0%>BLVe o2L㗃BeAˬ76O*ٰԗqjפuK@Q̶jc08B C+{?!TLX&`U':?H 1nVQ2IL\Z:[gD HN ɺVh/)>k'&U/+OA^*h' *w =PaaWbuYG%ʽ+l^b$bi_$g fa#Ǹx%G3:~q ǝGh!-$vjw%wduJC aP4|F:!p5w!p|-FWǹ I감97ˑ/Y\[1&q*Ny4@ӆ3>p 2qh]czU@U2+?vB5_,z%kig&٠w?G-" l.`*gulcˊaw6bӜ?J˺p&:s oF9"Ұ+L'IYs)g$1@;==*XJ;`@ iT\EqH0HU^gYZ