SQLite format 3@ D.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 irD ]/ ZF-ex:threads=4elapsed=8.407cpu=17.452gc=0.6327zXZִF! F]ŗXiɟ  Q , /N~Ij,^m}#p:`(J@ O"+lQ2˧xyIEZ@ -h N0+4IzbՀɺ C=c6IJ܃GOYY[Im݄hsXk //̠+fQP,68zB4J8]}θsFlh%UEpUOMI? ~  ,,gYZ7zXZִF! ]ŗXiɟ9)uayZKLW'b}Pol]8>hzkSW.OD+ㄭ9'{)9qd6h?z316q<;5s>U HP*no4OwjVdM(dy{v,< Oyf7=cٝCV@ /dz ,|JͪDҗΓk̈gYZ7zXZִF! 2]ŗXi%TSuBh[攃ŪJU{SGS`O˘ S! Fi=2a& O6Xpf7ޟ==~$R氬T$p6ó'Ot<Lq0& ]ߠG[]ˉ6c|VMM8Qi5u皏$2 !#),Xw:HcY`0O]' u*-ulxj,)±3Q%:Z |01-p"J5ld5|5V`9!_@ǽx7f"trd@V"B 'MY / w\rnH+(%o|{hy&@_P2*mv~|`(lH`Ӊd偛/Vw819:I.E|2?4Ætcf2I"dI3Ʋa\kn/Ê"FCT%q&qc h3^LׅB?z#/J!aRQ-սIJ*QDOaRr7PwT_fNqGJ:xB\@>@M{<.!!H&IUhZ9>yG=[yxކ y}R9=NKO.瓑VGF1~&b^!]HdVhYc|Rkb I n##f/P 4+h3 d-z8Vَ]4_Gh7oo0¹# hXQZEҶ?PDu5*x 43R= țvk[e5 غh칶^]icƆmh]t#(^ۗ5$ٖ}R-kBE,PQ qmD얂;~pӕx_Y  4"<\JySp_O'6zGٚKeєov6ܢ38oa5%C fwMmї85ž obJ"K;i𾁲چڴ~!mF.uOv.)/kq`z߁`=[q\+ F-9"<4 ewnzhɨB׵Kt/{U( e(T=gYZ819caa70d4af1260df169ef6c70ecffbc7c091933cef1131ffc36b5267ef54e02c39cc49de01aff8 071fe039284302dc30fcdcc002b7ac789684136d  ZF-exD%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)C45330/)+$*        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 (#1ZF-exZF-ex.BinExdocument/BinEx.tex *%3ZF-exZF-ex.CoUnitdocument/CoUnit.tex*%3ZF-exZF-ex.NatSumdocument/NatSum.tex4/=ZF-exZF-ex.Commutationdocument/Commutation.tex&!/ZF-exZF-ex.miscdocument/misc.tex(#1ZF-exZF-ex.LListdocument/LList.tex*%3ZF-exZF-ex.Ramseydocument/Ramsey.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ʀ/: 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 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 `!/ |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 r #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 ?<#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[cgYZ]yUz%'v>;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^Ollԫ$. }I> !Uhl !RWI-])-mcen JS2m88d= XUD6@Dd53:GZYhNZ1[+PZj\k*AODMtjkn`E* Oש 1*5 hqM21-ٔ@FgeS"a*^rjRGbtQbH!Zjk5BqkF#m9 IT̤k7l~JQ>6s߱ 9G2vڕuc2A<ŚmV(%4 V,JɪKwnP!O$XS3(g9r| d ˮ+.,?g֚^G1v{nYXUNװ$jЙ۪ݱ=rIR 2+wTc܂^ q3|{ɱ<:-XN/$%z9G]:?ѨbB8Ì,8;GI!sıSv4NsXH&Xȥi0_.<5a2P$T_nF( `nF9l`357oS%n1E{=ܪȈГ.avTaj* ovf~L:9$os'f9ӧE r>ݓC6#(k%|cuU=w)ֶT18ig+ohP.b»5` ^be(R;Ft2|WзN8$pe,/(|GԙɸKчE[P [\7.#78M"bhN;:ʹ~*ǧo"Wu؄Y)Zj&8ZI<$R;; Ja`l R&.  eSmA<6/+3pW\`ZS4wYp[ ځu0ioGFц_srv(}hGgg( {4,Hڱ NS(sƐwv].@ƶWǷ)wLm2S3k?0XPl+ݛ$2z2^] a>I0l j6N}cCx)Kf?:)WR6cK7Y9b1! f ƔȬlӐi'$;t@H8xpqnnZ~qD71j>ę"½8#,L xJ~gĥ"k |z:]AyS,%^3qgr]R-Ki^|Lir%($¬dN,{Śkj,m4mD?11EZvl݂!Ӿvnctn\c6%Qt]]RQP:ÑO<5zj[t6x7"% PQe]m1҇VM5%h'9$Iht21mN)๊|!CTۯGҵKH p:WE1a1;iL=dv#v@:/}WNoCK3>IR42O- >^?K`$*@rVz:Lr8t fPmB"I2'\ ƅ!Vוn2TH|dȋ`HS4o/i18An fô>m}T"BQ/t͇҉v ..nh4Ik~kӂy[[ߴg(jD,nT>| p2{J& *cDlp^nO$cVqXH0HM03ȅԘ{RgWnJjbaE)!*Vtv[7`Jwo_rM\a/:`1B~թR,a"ԋm.r{ʋʠ=I& ^xj8m'9l[ 8#!VXǸZn[{85hy^b{\W>0Mr xHDS;ﯛq ym@Jajf\@~Yքtwf?G')5p\ LI{%ϪъjH;{m V"ޟTh6mŃ2 K?j.G6 yY&=dO2Ds~N^2 Fa{^,H3 x^Ne/^$!j9}rmq9_-qFƓNL:x6)_xz .[`ڂ'mCʚC1GB(:)Ht6+KVo;.PaX< +P>~]tj%7AQ&y{ @S֢:U G<53\Z@[:j 8l+[^i?U _ J- N}AMqT,ϾRG<<n%Nj)ЈA5Zhf_a]N~؜z=(eFه?]0 t:E#0ចnnuSiicw:g]DqI%@WDxKCԟו/. {.9q_쵠\,Y[?E_KEe#B3gy.vE-0E@jcrhWlKR5@ܚWu`QhQm>EΝߏ)58?Ǟ.a7Y >%\;J CO(ˣb.t~t}׻?eSع1sL0M:+~f~m aT`}!7C&C9P@s2_u4}S4UHYW,8p 2[b%0%܉x|0\rІ&ថy2pA$X-<9C]Wy7:@%@] 3;nXݴL%F,+\Ns3:{]NUy;5"dqC io:͹?WfE[3W{R@. BŁ)F<*FS[x@n?#v8,F6a*I~%,E*2֕4 BEL1LL'1a[~CD~ƦN3q <+m j+Μ榩SQ~NکѪuOOVIVd#tQ-tUiB+PK^K$U$`F>#tW5Y{F>=2ܴ@X׸]ZZGZUzAGkRv471L(ƭ$X9h%+az0Y0;| K xu4.26/x+˺7(:Y TCHy8>*sf܎= 1ٹRJnlp:Xh0Spe[^#0#+Ӆ9Jػ ZS7N0<}6dcDT2U1}r2gHR{ΨX8{ovdNZp;BFch'HK ('Ce͵B0l7=UK7$u'X@f'1 0sURUÊjPu"ãؕleNfgN|xql>uz;Rg2Ж]i;;q{n},DM1uMoSF@-[tT[=~ !4pz׹ qVG>}WDDƭjAQu2I d2^eOgdo*/n1F`t ၃#dy'osV7:E-3p¯kZ+DNp]HFEhMú0 )B彺`$Ъ7foN0V|uujcDqzh#yYi3 Cffcdvw=#WmXAo~ɤ+֤Ifc$'PT3FZȨ;Oq+̓uQn\Tڪ1ui41 T8ـPN忡?Oº3hc9÷Jxjw:O\)S &hs"PkrEH.g'v1hL:728d+U'C8.BdMF~IμDZI|Lu]+X/z%f3O0.жh[ϽP]O] yJ1uAD__䩉#}xL߉qN~AZf&{T{#K eF o?Iى; bQli',QIEd\t/֫1?:4RaW)eqy$3Db#yċ9s13>gf|fBD9<@˶ī"&eT.A'&7ʸS780e);1/#,|?9qZ7Y5ɭk,)lF53-pXQqq@nD¬;9Pbӟ97!*kUG˭l:w?N9rFWqbgdKDNv3{(al`#}l(ĝIJCjiTw)3 ̋Tc TG{o޶qJD![Pxt<\M~1ro _lԀA>y芘U-נ_b"J8<'[~^;ʡ+#=6@"a{ VNx>ݵ:93,|"OҪւ^Wi_ݥjj ܵ^QۭQaFJm' %_eh;%?0#HSvtiC%Jjf -nm[ 65TeZ u֛k^55o䋒?U[e˭}m8e`2!MT RMG+%H^ vV.Hɰ6UϋrvL~,\ycLaavgYZ _ Z_9%!:ZF-exZF-ex.RamseyPIDE/files~~/src/ZF/ex/Ramsey.thy+%-ZF-exZF-ex.RamseyPIDE/document_id106!' dZF-exZF-ex.RingPIDE/messages7zXZִF! +!*]D?7 {?:fH\A0z, ]4OX5EN?FOZ>b"[ ?E|7_Ό!~ U귏F*iA~;+JZ( W%g@FtPA.F^mT3 Tewx"!N>eJkX艉KÕ%tL%/eY\c8])S>)/ ~Mo_7k>Hm`Y*l i ʈŠ[h>V6_][D |]|0pѾ[ltAڢ_+i{Az2 ۾uWI?­=)v -.u#1U"n-WUY>[~v;5)ĊIk Ɔa:H.o5qۗ5 cN56e0nA^Ɗ}ݮB5rUQѮ̇?4͊I9™Aҵ;4Lk0YL;'|2@SŇcE:>Q^l{,⌦ʇ0H&v#s[IԺ& fC{YvXuSz}1 U~x,QG$uLGu**~ɨAFEh$cbz3& |ޟ}; ʂuWϙ׮M֚:"% "OG٫/}TY;O߈[MdpaspVX_gYZ !# tZF-exZF-ex.RingPIDE/markup7zXZִF! ?&1] %Il_ d5@<<qʁ[5^R_s p hP$M\ͨ6og4c2tejSȋOfHT/pؿ_^ |]pk]|;L ?xS;t7`oTvכ躉˳W"P1ogծðA.!~<|ZyOLt'zn~T3n-elJl5l; A<$ R)'W0ke:]a DH.%s#uL1*{}agfi ~,J`|@W!ٍ?qr~&ezMNIsf1KrzŻ&&$;G'?+3r灕3,!s'EPB mBx8%$}>KgkUxpfs3q̓r1(?c`sH }#µq[4Šydb8hR f:O6UHiګJע$R#O̽#JHg2{HBC"*uuph6'5Ȩ W뮺(t䖪fCL RK0(3M-L{AycTC/ &Q:ƏcnLsX/_nN;+ TJjޛcwl #"O|c?߆\Aj@*.KƩ~FleKTQ p#[U:ۊ㸌2^;?IP/p}sD=6 [,,ۈ2Y2_S0qCq`l|EOlf?( ́٤0ysAumoQ@RNu`+mbo[=y DZ;]<@cܺZ{b៻#V\sCx^" =NE˓p|δDC$~IuVLf6BZA.ȕOj'?iGJa2~l`].by]}jiC=]H]rqgQ'za_5ƳOIB {t{U7W1Suw-K<]tdFS53-ɲ9Ӽ.>\%GDX"תu$Gb> i-aZ[ O{7q0]L&(I?eJw-;\_Td;Ҳ=(${_' d(ZM6vl,R;/+@ARN1]mr \}= CDx_Nksy 2 aqusn,Y?HV~iw&U O 04gP0Z_7m#gƢ{LW ~m.rG!D;@oڌ^| q[Stqiwܺ$N5XPrXb$1Ö0|p!7H$ m h;غ[ėkQOAqyGfM_p^-; !fϼ֘,(PuC6t3鮬zܧE%6;X?CCBae O"bfFy6a$:oK|LX>K?etϣhߪi"&\8Osۀ^8Cf-_Lo?8t@nPKUNj'm t˚Y;`j]ObbO^gk}L2/ÿO箯hT&g Q),ی?XnGDO^MY1^;fsABS˿iaSR~VN.`l+ ^DR0'<ޛ^MVܗU9 ޮoA%0y i:fո-V\S_lv}Kx=*=5J1LMp5AuFHEjeZ`K}EYF@DܭЪe>пSI%<!!W_?F1yx@2dl9SBvOcEO:YFkIJ'4#%M$mhWT\f[Lnv֓4i9(.V>~[ircgFW݌{ !;,s+js^aRύHLvSvt|5Twe=:M%=^%psM;*C9{IɡiKFh-/PrJ[`~,EYdyDsW1aeӥ/5q1;ʹPIqp0J'` gD~tu(7Kš'U}{*vXZL[ݘ;.`H /BO-mQݷ0)/Q*=YGVRޤpK-LBU ]E+frXlOz/L6 i!r@ nCJ0e8"z73\Թ4jf@i{ jjoJ 9h;E؎hy#ܟobeF"Rao|~P ڼΥ=KZn#*CN%6q MNMEB 9>rW U5o9Sxl-)< YR7oс؜%\KѸ:fQE3YxT1+ p%gYZ\%# |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(> w>/-L3̫ Dmtai?qK9ˢ;|owVKAm?1B\җK `{K0 %:E(Xׅ>9lyLDZYni_h|~ ACk#!˚kڈ ":ʰ׽ISㅽ7rϥ'vK]. IcIqH$i<()+VU!ncluDW­Y+7M*8%WZX<WsCNc~i*xL)*^]$%o`gR}W&xّJ\v\kwК r˫U 밇U66jx[rO0aE.^-x[5\G"~zlwi[ztj̛F4իtLmmsbv^xJÒ}TO] {t[0W>N6"_n.|Ck) o{yZr9\P^dS;6 .%klxDw` ҙ 62bVz<swx^8 # DB3,1%UeӓaA}"xRͲS?IF*7+a]0K'j1,"٣Mn#ynnx ~#آ:m-m;wZ+\L5p)]ڔϵGcnꛤ.'PKlaju?aeîk9G %Գ6.kx9MfnD:R=cL+JWvILJg,;@mh~vOX\TGմdxG@UE.N8-rR4dE'Yү]w4SNW9ّ aYxhLX1UF^ȇwV"_O w^(TB4<lJ+|K1qîF&]PcϾ1ss?؈?VB'fݢ ͩ$[`Hn0lة^#=2Jеr&`JO|zm=g8r8\MQ>1!z? fbt/ŊVMʎc@ K 賰߃bU;-,TGxSO؂L`:/h?$;~a+L!_r Eon5dS'p?p bH<%s9z,[ecIUb6.Vڃ~59) Klysn{_jtEXU$UӔYGYYҗܕEt0ޯb&Jq|,DZv26TϜkKboV"ͬӺ-ctr]'ӖHԎMF:@eK]=$żgc}uF c^:J ^(:ayS me~1 IY4~ݾT7Cm6[nGUOǛkA?Τa۶In`#ͥa0__V!hKe?DV  X2^  vձgYZ,%# 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.}-j f/h!9%!:ZF-exZF-ex.CoUnitPIDE/files~~/src/ZF/ex/CoUnit.thy*%-ZF-exZF-ex.CoUnitPIDE/document_id92%# dZF-exZF-ex.NatSumPIDE/markup7zXZִF! d +] !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Ṕv' M>Υ!ʼ9Kq'y\(lk垫{@ p-CO,ni^{2ZM`߮5<8Җ@(%+f(sAOGLRe)˧-@i&YɓFmD;T&**qCH/O65ʂpd0kwѿZk)5Vdv D#X,?!dlDƱڏ}&T;Ѽ2:=(k-Yxk"@ԭ45N_:?H u"yEP2G_R iaA=zʟ`VΔ]1C /+ʷǁO[BA&f]#\'ԫ Fz8cGmт|Amzj Gr|tQElFh,t.p Php59ΌdEk?'pNx!5CA j'*((֎r ޶Fly=3@T?zߚcRfL?"B2tj轄,}F-ZSHC ӁUQ'_?wllkR8|I/cY&ؕV@F^~V6ƛB6'~Fϔ00W_ؿFu'C,]:d_X]X/vͣFHύe:_a^n3>L= pqF|BsI iH%|U )tG?Vh&$XQT&~0(3X-rHK;JW-KSQ-s!tNܺ7 ʭkV!AKRAũE$nv^}u;'7jsS k0GP`&X·n_i3=/K@P]|ucB}j? x>U֝I2:VIBy{0.e2)[u,>={ԾaoY1S,oxwP'o/2;p3GR(G=X>T6T/E- uK,M P^⁩e^+ M7{zmYN9˺6|)Ă 2qbqNaGXSᠿ?|g~#J*VÎƤ*rL)B@]ͻE88LI $ClL( PYq}EGg@K0X߾m`l͔فvzWPTc>_y-a;XUG-H{N%+A1c#a ݡLqXlݛwxIgOY2,Ԍ1gYZ9%!:ZF-exZF-ex.NatSumPIDE/files~~/src/ZF/ex/NatSum.thy+%-ZF-exZF-ex.NatSumPIDE/document_id102Ոժ5*? #zhc M|^y^ɕ pV%6~i$&lԨfCꓠysjbHM }]`_ K;,ͱɛ%Bgu,."#@6 E ʊ`KDIi?:<#%óut}qZR0c~k-D?Π/!d]7tV'ٞ!Mgo!u摧(qUEv`!Yy.68B00!?*@H0R2iՠH8 6))r˯=~;~&?m ;P nW* vyi T/-H\A7鸀;9@?Hq壿~ǁeۺ `0L(pjwa37 #u o|~7wDz>,"}9lzR@سk۩2e!?rj0[g݉= I+|S_70UUO]򜪰>[+1j%\~bԣGB*l3N?NupriU% hA)1UfΧɢI7?M CMqk~7Z Q^8Ocı "@-qzg#J@#.44Ak WjBUL֩Yt;zuN۹w34?E R)+H _d9'K2$-?o(,W0m 5"Hốo'ݮ'rr xu5UƖP̮ A`b ƴ*LƣrR,F·rc{qIe\" x{(W9l4}[2: bX͏i$_V}T `|,<:'fLK7R2H*Po7ޮ|Bƍ.ݖ7ݹpl~|s4zB4oI-he!ˆGT&$4/Y6Th:RHܣ<~=r[ӒkS .*!s`T" Yss$/ʋWUmW}$luƎl:!y2>q;x!\).A,Kфn֡ cnH5>eZTp+ANY$3@^@L<cFT2^}r|l{"%=Wl:O*-$P$@6$[ްsc`GQ$+"ay$4DK '{H>rg1}s{&&oM *[DZ$'7醁͂NH> \{.9f4{hJqB "-;\^!H-vN6_pUG9C Q&ae$!/-PC<«:j1|o֛?Wv&ISM)jM8!ZKEBx^;Rc"h풽VV3>fn'qsTVh: O^t"SS Wo W<њ٭o_-x TjWBI\4v[RHt:TYb(8qgp>C-.bb1fY]?c/T5_ԢuA3El|՞G[gۖz;Q <{?u (ߍip3۠ςǺpXY<翞aYسM)r0ShZ ܣ?P"Mbx4?a4Ksfw=lόj(dm7ncqm{Q ~ɟn8~[m4d2 P>PKrhu pJ-;&<Ƒ01xHGcF2H. ,M6wYX:d Sr,A/fu8x]٬Z9^Q"0-{3!^0{t9./H:灢!*+_\ 6V(jvI=P hw4-nT,؟H9Q,:I[gZZ]t|#bZI;kۭv0!TdX@%M(QoY^`gl3)H:BvI' auL@c@TqOd2QI_^DE i^}jÁa!_xt#BS$͢v{s#G4"isuXH"GŎFw3yĶn^n>Kϧr\(הbxlj AZ~ds[ԛZRs," 0|5(Pbwg"ݷmDJzZ;&IaLTM]!" 7ҿOX :Cٻu8 U0MiXɂg5߈9<a<:w~a2A":++ByJ( Y{ƾ_Mia5;81p^C&lΎcE8Y+EbEO1\$*8,Ɨ05Xߺ %~?㜿<Œ$ ,| Xs؍2p"aۻJFZNwJyV튞\_RamsZrqEO*E2r:AA09`B&D5sCarÜN=@@2pb]q LǚqW*fDŽ 9o5asl[Ss|Yt ={OI߹ҳy6*\~2oChCvGᴆ{YWzMsAQ3*0lwx7]F;\%FRkxzi=<8dR|zM6ކ7Įs4}J-I|dcZ}p(c d?\kvZ D9C ;Щ Jg,0&Nw(E`,9~7 t*F'[)V1"nd {P{H'BKaL4'mĬ'f>^&3V(꙱& jۑ"xd9ي}K+`p.txl2)oOO+􀃯\C{3-T ɎѲ l3`mT~oK,6!ku;B#eh*3V*}?+zJ_X|4mDЍ)&ػ!rObB׷8_Ve`90(4 uH.S̚ )9 T?V?>RUPl7e&L!@S}3\nrcDߎE ɣTFP u[徆Dm>|m%VFvKFk\# `,e3΄ ~Rt֫<$ŰnKa&NGcoMGsFt:P@%}.;@U$QHsSQ:# /~r^黎?3tۮ|am[!789nX_ s?H"M X3*높Ge/1ϒbɉ]1YF'rԀ2~awa\|34]2myBg=4#t(]Swp!Lu =?8߸zk 5\AZC#0LԳRjGIZb1ZX⠰F 2BƑdwNjm[!m>Ri2= <` 7HP4)Ia_&eGTWiS|{'myޚշKB\* >Z#n ˻MUc[MӐ; lձ^Lw?63y1+Е2>:*d-Ӿ'S3MAڎaZq _;r`[h(M#n_φWl#ϫ,zv迓-$hK9 &qy`{'ts'9%?q#@cLdPe0BXyS>+_(u88."^\Ҹh;KT4t[ȀɂR40/ Q4:DkSdGV/R<xsf@$;[@JMeć@1ef^{6a!%AY?nƲ"D~h'4 Se/P;FA `ˢ̶Z4|ҳ͚Q<`\bg+Fai>SZ-TȤ O?˿OzD0(ZދڗVY7co8|Jʗ5OgFē3ԣ=_03B&:`T]F!,wx*XlTO- Yb'I +lŬ3wK.~Arm? J' ] YkakWRG^ %2)5ӭuUĎΔuqVwU|kː."u HkqX:-&PK5Z\B2E5\Aŏ#gB?IC7(ƑŴhRR- cϱ@ѳ a "ɽP\xyUW{F8V˸"T[=ivuD x0,J*3itp3d;dw˹ -);G9Zhp Бtgk6! 8opU']EFjLTnq{@ypҍ U:haB34lZ-֫O ɤ".jhW#FvG$Eu=q?ũHhl'>Eit/9$gCwb<_ޥ^X? 8yY&LFxϯǻCV$+NIJ0"Y _V83ʢ9,C61$:h1hwO *DFs{2=RIC)!:UkK9RQ^$4W9ғALU6bQ&ʣk½{27I$ێ=gTAh;8^Lȉ E4(‘BLB^sT/Qa2TӉBrR(*Z3З8D ,<\M2\x.hMapaA>BTߟ&&%z8 0Uem9N$Rݕe˨O,Y q2_Qö rA8J}o٘꙱,ŹELz=uFSs@'?0-[8|#ܯ8˂zSVq] .BǏn\P `~I/JYvbATxPxQC"@O`SD Z̾,ҩٿ!V ցevA XII @G~WFU#nKDF/ Ic'o5W!fc7M}?lѮĊ20ӓ7*PIs ˉT)20qB)hd]&)._`WAp6^ni5|x738C`轇~}7>`;H*gX L o=5ܘO>2qG5GL-zLjUs$DZ 7,|ISbgCLjs/e hJV=nO(BI tg9qhG¸^MqJM%Wv՝ĉΪpJ~f}HOC;)f6syx3ƤM/l=]aSj^,ĕei`jpFXICTuO@ra),Cp ~:ҷ;g1el EWM3=̄0ww6>{̺¯I9; r]hvx%hr xV@D"|g:PgNIgBWȲԎ/ݯ+0 .. ᚳ~s{Fp:hhRoh1/V0_Cm^';[<[X"8c {& (f FjDfYDR]PLRrF>D!-.M&IhJA5+45P~AN b<"vi6CKgp[rؽ\7#U G_ԖCrƉ_l~6^$U_wR̈V))/I@o>X?X!%j#~WD+` Qe2ft/k8tJ}.WxI0Tl$ZB͢M{9*W!j@{!tfBy~[( ubY"z[`OFJr.H͞ l2v%h|-A~O{nSYwTͪ Y;#  쿙t'ei!H1\E{/cIU" (x3%~ )#_z{kdya('JX"d66_Bli}?~rNܬ1 Ecey3eS?Ĉ[zMZh}8nY&]0.ǵ'+JDLf&_ǐB |Y"pbYaWs䐟G]~tiXlw2<,cS}?`I9:p(++6CQzG속4c/>U~H4Y=$+lJp4 ƭ7Z>/XD s DyYkfmw&2@ͰZb3?p0{>?gt]Y/awgoQnSD_uʚ Zg/Ra=pFLu~ Bov򩚲cs<J41 <ǁt鴆6#31}?"^ڀ'[:F˟<}9r?5#< [ɢZCk⻰dt[ksd:YUu p`N`[ tRS5~"9Z͘'q$`қ QmK"; 5bݸ_9F9}5ܐK|v٢|&B`(4-lJ}Y*`Qi]wU&逓Oo]%GlFBR|OPvc$'ouc{m뗝K9ɸl<(A6r2`5Ļ4{"n fs8!kâB6vF4mw. ;gK!h"¯7A_+cFiB~`=9b|`zzCmg,w Y/F̢O18X.DLsT޺@9<#pqq@Uϴ.R m@c~p52#c~b͔:VG&ncŗJ^ar^HH? >0bV!|b^:: z.}&6f)4N*4}lFT3 N҅l;3(T Mx=gDw05y>FgB[Uó+v4)Xp̱6Fh$òThMrVm,'2Gv4.DXr;>b6Kd=D Iߟ>:\U #e "}ϮDEs_g.8ZqoW mNe]Gb_wbuЗm)ϜvÍ#/֍lãgS8a3cN_b) n 5e# x4 PeJEL]qz7_-=9v\6]'W@rU"4Vk Xt.V0~2$rc=5xcNcJݶN%"g|xgڥ Tsǁ"a%j`8"Q۶f7`A^{7= 5ޗא+e}:gWo HA.Uv=>IWJ̠v૷g>}{vT"X5͝AbGN&I$Pj AHݗaR& zI@0̈́UJ;h{ HbV%Vf{ʀwϵs2s l7:{/2w`.7_8cڻa7)JvQ\ Q1(75CzN;'v=,fJ#@ )j[ڛ,c>hC[]E9]bB ,m3As `#~CDMzܖ6ำJ0LuoC/1)^pceSN$9pRm? ׼nּ։7RF ˻8`\>5<) e8HȜSi4GW:ш2c+laqǙ)|?( b:jm1 Z^I pZ b(!,HDfRpJ%i_|#. w[ 2Pz/%z >R@+P>'EZe.cN9^M."*nN(,YϔψJ s3^X3D( k!I^tGw5DžydAZìO<5\NKW9!wG¿}vC3F|AU+jl[ Ŏtj]Hh s CyLĝroHkELj=ysX}]&IyDGW(#-C9I)1/S#M6E0q1\ )С%ę 9 P/l"vZv^0Ქ?U0+y`h嬉 AM$4\ lʈr3xz /e2s 'JsQf^;j+G&"!%_Cꂪl5i/6C.^ 7Kqd֒=\ƣsu@“_/Ũ$0L^G.I(+~^U B%r, LnKZn\H9do'34JH"rad13y~-Z.ܩ150HCƵ :(c>G.6KJD{VyVjߒvOJ>Nm^'?b!>2ru{0jG([5~Qcb:G Ssm#,>6Æt>H(2مReװ4Y*jhn9sZ'o]Թj'`;|""xcܚ~iC,h?;4ʟG1yTuYCo(ani'i@cYz~*>w̰0g~!BHLcH` :LOY1׆Mҿ2 ,nby-BZFHzui;)% eQX/%/E_=4Nd:^@`՚ #K<SD&JRADX=UaVrxs-{,̥}`;ɋ钼֚iҢ$2ʈX7Al_9kߐ`2O4I]5Z"d&a0Av`+w" b4hQd}XI+%rSKwK1 6;-3\z)G(%{*$]@#E'( M/ȐqzCtu!!CL!_El52!2DQ+wD1ݒ&heb(gMVtb}"H' Ba2+P=σ>ꒋZeh0KGSe^՗IY䎚~҃6 i܈Glۤ3~Ɉ]HQ lP)実 aߪeB q- 4qpgW&>&Yy#7dUN7Or*,HX˼lы̐L c}MMnD׉ T%GL-fj 8JvAyL %|,|L8&}lP }B YJֺ9 =E_;&6ݜ .̺#’P- iGf'<c5Q c*N6#x<ڹ0g|mVWȸ tҜ@<C$OŹ#g ]P KV;9>Ky!60;2t2MZ(9G 3Q ͎"j)fZ` (Z j!{i o ::xb@vSx ךl7VcHhnDrлS䏪cB>ބ$ADHj;8J)-6SyHQrγhTcthZ)dBug b͗ڰYlٌB<5qns@dQI7c.CKado!)fưfVXasD?ZQθ4{~[ཽ㥵s2ѩ f2Z@4jj{sY;|,!bn5^;ƞN=GA^{@97^e fJSL$8/A G H%0T d)@WSKRssZBFx w2=٩h%X [rV 7K21C8z#ɖr\R<黢3'&6o %3_[R꫗|<gW!y.JK YPYLcG:X6%+r1*5}"|/Bkz|Ұz0w0| m$BoTCio|8swk&*%q`⑖ p,4T k^ ߒBu{4ՠ=eD~bK0q'] tl&]O"^.8,FocG f4Vσl | 4YtFd1 rP"ܳo!jX-O8mO/zQ~u=Ìe@U$aH@H^~m{]UW8 !b0 ~} 7=!-DGɫlڽnֳ ]Myn`osF魷ԝa8a2So0lJjB' 27*ຊh=(\>T %jN!o <9XqqR@} ]hUȼxX!/< nXaq lJWk糎|j# $l5tIU(blcEC/$4C`Dj|.&]Qns_XP>Yc,κHh̀앀kG5Ieg 0 ʒ]qcfP:ƶ8g+i~X#0w5:f)ESHE%@0-|ݐ@VL|zx^bLlhc'{ *~H_LzA3O]|dY`BC]C<=5$b dmOt&whM#q{끑Y)>;5)6+{EJllq_Lc.zL#96&KޤFV4`Yk)09zJȑ+YRTʥ}KPGN&?/_gD;40f Qh[?"ƛE|׾rTb,FXB(l,AuZ$[v HIj'2,(t+a>9J'*ERP|VGg[4HВͣF$R4l#yc˒%vS+وjcӪJ]lH!( !7]nUs*Owk2 Lú-?j |”w`7LӔ":iIwd[yYcTе_10}E(l`!Msp︎^\3 o;dymRpMbPY8g9azsb Wuҗ}[<\Q[QBK@#뉛S^ dęȠj6XL|ɢbC%nϠ|]+D?.-j-+?!T>TrEmXK/fg@_Jw}%?X'q{)}Y xjt~)r+d6KV 5;~Jȝ'd}x] zY|POޑ>ߩ^V'JU PˈF*]9 _f{LGJM̊~]mmfE P?o:Q(R vBN۬gHG>xbZ9̛+iwɪ;63sSm?H|}ªUٷ+Z%΋YnX`' 1 5?Ґ,lFDA;eIcOz}l09 )ILgoouwR!ُŽ׿w8ԹM`V!|5?n $?{w$ s3L3oYSRŁzH܁9HnETXΚۻ }/W$.QpVl 5kˈñ,#(Y\(W΍7>T4y7"bphLeçƎ[a]Z̘@7[kM|xNfxYgHx#xX)/hF_ z=$B歨*} a||B7-x 1D Pn4s`tȖմ?䧱4maNyOऽ[g 5V-T<$yP}1:wĭ\)B;RnaRbKR6\rd _3t.}qq78Bbȋ[T +?Y_ L|"-"v 42T]xI-Srg Qİ..uOD[f $qNXmWswq73Oϡm#VZ2cDMPiO&M ';y?OAU)Q'nJc2̉~Wܟyˑ@9Qө@wE3xmͿGbm.T zT3^46o~ *6e0'&%| 2^ R#ZQz5eǐ"iLF@ /[Q_Uyl>27"2'0Nu|*0ydyt}^%%S$Q?w>|Oo}sO׽ni??|]_,=r #1JWy-/J6M;(ذPξ/ DMZwj.$[> G[xm 45?_eY8"A` I_Aą[H>P|ͱ9u GDg">vfU!߀T'$KC6NpkԹHz8,ZJlSE^UVpH7SpaSWx$#G w \X\1}a|R3N(Eu)>h@i|P!EmmIr1'q_د^ˍC-·Ge٢\@Sb>z m~Nqm}N P$ e@WbVn.ĀPɟiCP:%an(WA{ʱ]Y%yVtN^h~z]dDln%a@tk۟Nv|-d 8 d _'?[;pk 1:_;˲~읯EavU $l Ҳ*Xtux̑7O,тzXý9&`Wqղp4a.Lߗ S X#IaG{s?EfX#xďqՕﳣ=9 [VY/2`>.b RfΣ.TJH6ed͊L ǁ(\DUe9;k?RpG7 "uaw1C 'Uha+%nDa|~# YC['J=.K#h'4"ڧB@._nNԜo㱗F]-D;]'Y{D68|bD)_0,]20He ;vF`*)VُR;Z@ O5!yp^ZΈ,}@^kP̽gTu֚be{nّbiՃ_JIl#h,b<S�/i. (e).'k0l;RFݓǎr]s&7_e$g~jFG~akȽ$&"mfMP5֌ Gc:!)Ҋ7 _wAGH*R1/o?lm;}O~<)!t~\زLQIFRU1l$a<{l,5ϖ#C baE5IdDynSBR_DK!z$sKOY45ZctH_^-/0'nҕ8x]9Aq yuKolcN{@ӹ4"uAMh2 `{ Te'6 +FLCB =$*'D;uw7}en #hf|9L8/79uvp:A0zj7sg>1Q Eym f-Ȩ~ рD.̍;omm,Qsu 6h#K v㪶L~]VэLܝ-$u AS1j-66J6 GCr4c |P1Mp/*XUL~I7=,L7lJ^OjEs5%=抧c[}Vx;5W!mQp|iUcz4+;4-_wbOSFK'|Y5$p&G?iOS {ˮxԮ2(}zX'POEҜRY y_WjOTTPA/,#n0VLYe 6C&hGZF z1~pxL؛PF4kb5NK}4X B!f󯷌gj݈L_vBpp E_Ba角zq 2K-&d&pb7?PA%FN!fDuȁ>~X"P=ϛgMW;MM UaU] -c I ͵K*ZUh!Z_y*zPg)mI,1He:;R\":GrZ.yvv9lB઱]abJr$_-qI`8yRLg b YS@JՀ\iS^c5jhtbA}Ǫ3a3}uJ3X[dw+73]W,8$.iD"4X_b1*fO1%%f*2) HbTq_5Tut#0Ly9NŦ:Tn dBRۙ2IJ "W˨\M'~-Pq?D{qgǿ22eŏ m>2 uր/Ja"#L&ut%j ,xojDXH3ѻ񧧔 ˩W4BOveTXZ:[YN=zLNHA _kɥauPӦ2"{/+3 {3=&3 =Ѷ@}f:v?u8:#)+?21r=¸>UsHw!nƃ+v8?HhT6 6/f(q5nxʘ<\ga]t`|jʼn$cKAws&MZMbE@/|RX-K;ٮo7t_\9Tfo5 vJ\]4~<ଓdYzƤ!2I(c?MZv@LT [ h9:[t? .FlZ1R6zTyPWed5lPvT#,DHg2}mHl"Wqݧ5UUc$56<@' .1cq@"y@kDpYxg:g:2'z.moG7!$+wӿQno46 MXٵ]5K0P-/M"GGk _}> c(5HMpU$<'4EߌџjoFBT\f7JJPH{bsKFMy2mNԶD+TB?OhT}%Â1v.Qzs8e+q]e]x`_ApP +JNE,?rJ.~sT;uY.9QQJC8_=.-/ ӀΒHp;'95E$U|- eiCc %;jX }v3Wؔ+膣3}Uò mLgv%Rq4A~SǶ+~hff]_X!6tۣ  |GkLi즫`*qcD&}TXq2VFGJ;.EzKx'tmzyW;Ow()Qfi "P@z:O4 K]u><J`UEvOpqam%WsJ ]1*>]W7{7̈́~/ٓPXse+vK. O`W4OK$ PIu/4mD LeV5x~bQ Ddji_,0( Ĭ8Dhx]tU}aI,^F"vuM*ذ9n"Z:؃A"=W < W >̺Hh~J_e%Ă2Q\g%(e(us`TP==lLAdKkgU*(io╰f-~l))>Z8H!?~o`Vx\ԡG.{LV]d:G0;𠓱3mB`قq&/`8A l}UV ;ѝ5(t@**25%ƫ\XIdyTmze<ݧ̔ƲZq*Ҹ[l::c{%S@iȵ4*eW=暟dQ}V0vZ%Cˑ#8Mb˿*jϠV"a[CYPĭ@g'G^> k:M<6\` M37E) Zj//Kn,޽JG_$X{sҷ$iTn=:?1ݢ+ BUeAP돣 J&ږ6dmՑh3_ ~JUP=PJ^Xip =l7Y'v zAm~נ\5r:PC~*8}~.ʋ/p4]c+C oՓ4xvO`lƌ$ȸ _KtMHKjYҳ2Rܡ;HVk틅oy<4Tm$ 7?Q4{wEycb!rz;p>U톢(Fh(n/ZuEK肄g;"h{H9ɻŕ—Y^6>[܌4q|˲Q[!޷(c10zM* Fp[UOǵՙajJqy%$hmxYE'YXo<Ǽ )Yd24he<>T%&_"Yj6MZ^eMA'ΊV"] F>f8UOsCrwޖ76_ iyFFHcsp' q- DrqgY!hi:w~Du pvxM+X&PDtKH7;lF%_+lG~nŏD;zn4u,I)7.o􉓓@3 bUJ+q|B fQ³Uk8BT{t®E 百<˜md,-o4LGpYʴpv.dHx'I+elOL ?Q8ssrT?rOΛqOϳm.R{/m[ hA.[ydf;wWa`*~ۆ9vqkiɮEL.`b(r}KC͐>`S3-8p-1sjDsָ=H*@ XDyK+B%uW<f6 \$Ԁ"9ST,/6,GW$1d6ZٺSc7-%)? בY #[g.= d]@`FDta~T pZz@HK(a/娴9JY,38\w. /bQ:g^=[wڀDjf(jk2K4G)?!qpT͚2j>hJɡڰHC;*1Bdcx+V\g^сbFB#sjx;L~e͊[I V˼gjzx!p~pQd{A"ҝ@9]#yT Ȏn3}fΝ%%inSb;m͈Ɠ,7!ۊ*#>rpt.ފε^WaُDHT a:J_,bS I =lLGAjkP76ͅf׃as,xtȯrO衃wܿUf^6~R?fhj8aE[͚SކM+NI䤬q7brnF񍻀*x_S%PIxfL #CKK%&F7g]2qgӵ4 u}axm*q+Ej/mWo)EW˧ QoU*"bsXWs_nPTʩOg+C;H^fN z?hpW->N0R=/GUVv јy^9ylL4SͰ*QOj+Qz<: 덝x׷[jAPл &q &6;ha?bfk_z}j^Hᶔ0sgI?zJjBšg XNi\>/E1#r IhlcD+I2 [=W&Xd[ABO2 lxGl]`slAv7(CR6Wv㊳VGiI T2 u@"} ]13^!_ʍR׎W@a,P]톉FE*t>Zۧ`tʿFN}c`APYpA .L+p2ksU,3|+]`IxgAj'LsNį~Xc؎e/wǴ)/Juv9i@^ ~9Cjf\ ù6M{(Ģ*?_]w 8Ok=.Z'́pL9n}蠯]~|'b#5fDFkwJS_ĭg ޚ~k\v翩 ;@Ќ"[ęǥ'~3&A)UV!(I`UI9)m;^b@ ˵6C~Dx erB"hў*vWx[}76_| avA>NV&]5]P.aí_[<#ymY7\WՠӢxEzVq4ҧSa:uѭp=y޽*+R$1W]ذnוJ-٣!-62`Ϟ<,L!ըƳR_PZ|Fυ"jN}+h򇽧NV|n9[_^X|4)g=Vmo _jRΖ$h_趽iˏRue/LS,Dsdӕ-QP93W/#И  roőB"-xR8faPvuk,)N|J!Fw!k-> +}"bC_{2: :~:kT;%?3OVMZ:@hbkF}-QYEyB޾$|RP:~htL+ !j*]Qv|=eߠc/P0shgH<Qk+wӑQUa jd(J^1mSFW!aDŞF-je{ŷk=&5γǬ+m77iBs,ߔ;УZX[n;҇F|C_!< fK|^ `n&5y)=taZ!#p\ ғs>‚Y֦7IA[/^)"~[?}gzp Lଣs;?r{ 56<(skƧkE_3'ښq+9Jhʢ9 fgVf53wpF;sFDOfT1޹$;H<>T{kVN=lHɫ橄fK80Q#h==<õ.%@K* }Yԭ -oPemfɌ S;Bnib jAhX^jrSzC67`/GFzq_xlۊ9X8uH`%qgU0:+lH4D*WՖ)fEYPbGqsJBaަkPF1vm'1Y괇L{aSCi-#@2tb ռFm:~- kM_3”/-!HoM*AQ:bifd Ƚ˻?v_SLy"O DuI\ޅb5_lp_&򻲌 |%g_R-neS; F8'nq8ǚ;}Qί80ԆaƸV F{7\ΰC{Ѷ4o[^6xK@Ua>hGWN/kף^U`S <.0 h!^)P dOhM )K@-Nw赈WF9T=ٍ_х=MYI*m޳\PЇnR,7#T%<}47,f[2T%bD|G['(=3FB}NEMfh1' BWYPO {qB[׀"=#kZf@!ϊQSl6AcjGt3 CElե r#Aey5%>C_@  DORoP;`` ;O"=&Pqg8M:=;n7%Iwf0#v>9ƿ#Dvj NnXgXM/Q)r8>GB٥rS Z@Hy6%#$i1Ex^(Wsx 6Hќ"'=\2] c5Px{cp< <+:7Vd$Q, H)ƍ|ZnɐCfDm'@A]q`(~ yg~,DC?UE,&A| dr_WO"KN/0hr1bAwC<Km>۠1[-BX膾p2Vܶt5{]z#842a%sDkrn,5P `OӐ?A}^Ig;:^Dp&$rS[UOej ,r-1(t;ȣPIۋ+$ _ƴ=iF}Y(?UENө{fpG4c|R/ᄰtǧl,/ɕ k C.1STa10|{@[sth"W͉ E x1*XJ܊'yKYYE鐳ق&wHr|Xn)觝U^eXL 7cQO" $e=Å2\Vo ʊNVTs,?AsiU? ijZeM56i-re_ORPB?hA| ZNIyfbRo:'BB?կken8SWÞqŋՊk`A ? q&)Jg;%0W ՁHXX {DX ?5IP/HEF0X h3燨JgpFT^"(yHr9K .M[ɷnC4]GSb !,)j|5=dGۚKwyLgM%qpmKXB,kQ5=;&28y[D \n|f2wW>z3 .y̼m۽cd+c`D"?tFSb)R%)1`7& r$M侞wDt(+n}}P6{Rwx vf8".2cƖ@wfWymx䏈k ^<@~fv|ԞGn;4MqNkd֏dwJg'|Ԛ8i4~54'\/svF"%Y5N/ܿmnajs^:vXU0737\_h? P$WG|'ƢA++Ok,*tgH@wtk:rA 8l?pU5?&~a,ZOʸ5ԑ&ЈҺ3`k~tiYV9nBeV1\QZy_s}!0byl/9mE:P8d:UWn\{7jw}GuHi̪ۛEq Pq{yR9,(a{ZP53B0saP|h+>8+LLx@`^%;%k>bAj|aCJFSDUxJAx|#<߽gn=qE(MpT@-Qʭ=I޿*u4̜XK/V;ǍDQSuf YLō~vw(gFh;}ww~ju.~JqmIwQr滑f{nRkOQسRT+K<PU5`i1˻r!\]!޹~C`TxyN6%yUpR(O3xP~d؟9_ZWm5NLJ5y%vԂj:j]*!6M| VDPnJ.[DAGg;שP9k e Iv7nT"="!wBMȜW(lnI-@B TX)P#ց`S7~ dܙǃ5u,ech@\ni%sK;GҘ6':H#g4jhPQ/E_jos_}{ $q-7[b }Cc|Vo6Ih9n:402^ED늇f3<}G %KkǶ\UuqkB \S唧>?@M~܈F;KNۺTHTJ3Tˀn>zjo(sW#zYݛY<ڹ+<2>wyٶ(`z,d7{6pJ1 .SqB@Kݚ6caMpgg_c*YcrVˆ(fñ!X0]{ް/ƾ:=Rj% ␽-z햿:Y]8u80QA#&g?=5[KpC9r5R"W÷#8Rm`j߆^'x~&;H~T5;P?^y7ŸJ|cnLl6FpF|e#hӳ߉򔗈 Rw XM8~Joi$6s@znZi gܟ<^5P8엿$pȦ_rm:c]&Fٗbk}č6dRO| !˭& /QҪgI+rk]\U§bwGuk_K ,Xqters]0l^c¿,BϞƆXDy.*X?HzVk:|kSUzn{ 24>qpƬ3IG1I'8;Z-?4!PUG6#jdY[=6w˨?1"PYB0Kn77Ŧ=e¢'<`3p:Ko5;ܑ|x56"EWXMO$CO-^!JQz4XHgKGXOD"(|V-%uDŶX3(̝DL_F"E4h H1EHMs&j !tZG[-BK<ڲO]xfEoL [\ 2Ag&$"~=@ORg1>WSЅGLb'#VH`.7T.& xd(ѧRԮo?&DGbr`I̗ݢgN!KQhg1::^8 ghF&?3ؐކ`_CV>.統xCG{7^+*Rt]g=5 $p[{"slQbKnnҧ Y YӃԟqQwdE?|#ŖY]vky{\ -|fQgZm Y؊Lj3[ͽKc x^ ][T*{ˬq:mfYWdO)#dA6G2Gix1OQNf3Av92g[hƅT ʐ4zAsHAý˰4 i©2" M:$ ZWсY̨G' Q]V>2:Klκo-,߲?paЋ?߽9|t /nPiG^5LBּo6 ӾvoLE?0F&ī>78Cj @6|۾[\۫*Fܑ|7!V']Ahj]ї$E#z9ݍn6шNmfS)^pVsk:MfAgUL?b/M9㏾DM]Xdc &Qfh@*ǡ~嶖 [iII~1Zk+QV} 9Ww'gkׁĽYG .'TTe뵉Ma19L=˾s7PWR WMsGYo߯*VA/"uf{( y(+)˷/ JifraCE<ji*0kS7Nߝ~|2Z(`鼻L.vylF4Xj%;iUk!Je2ґ^iNr$bwA˥ItLELf*U\]w-pʮL??yrdE۱ cQ)c)HMI|p;-@v<@}lQԗ:ʬA ~yhA+W/y&9_#PT\hۃ*n2X|Ă ?SgX8j=c^go`_e@۳f(z^\)Noȯd(fDԏ%_r~˝tXҞq>C[PSbҎ}tO5گ0qKtNAnxVgUo{޵zQ?Bn_=ȓMI0i>\l~KY1+"*o8Ƕ4Lcuџ/H ag3 (`o`,.0yS s;$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+KKeQ> Q DIE[:BX o~@<3^$ wV29/qz Rm^TrD,3Ryz.vpL׌5?1r!5<?q|=lMߎNԋ)>$tȀRJS{2c?j C3zMO0m 13iiR;].$au=nP JSue1;ȶHAiLVLfBpI+m6G|͞]o76/" OMq"U8*D>Y(q)LK{|SfPD)NB:},(i%5ƒ4;PM4Ll?T#$u ;YIV@FOݡ7HWZ0`Z840ڻ10<KWP0)QgZGCbRCIfT&o7y?Y=WXq͐"WՏg^AW>JW}QV鴕 G$.qęv ܛɸm\ -߬ R^;^5q5+ 4<`9Te䫲'έ1l&)oJ*w¦:=\OrqaIf6[uY0_HhUmm:z>d i'4',Z2_VM lzYRp̯DLe$dž$AG[5b5] )f==x8J|qOCh )-+_s'%TYLC6G[;98ɬ@K |n5&!=R Q9C,pIXn36փ%D-%#c:Q]O’D[%:m}ېVy tG1;Y}In%w~">21ǫ~VgU U،^Κtէ`h;t cy#~' ~'vf(ʙAl.H{Zf0`Us!='R͐XHœm^/^Oi4Q%,CL)QNT|)ouU齐#=*nE, [7a䲌V a9./N'8zLm{%mO=B({P(͙ߓQAKagdC=:&a4 P2GJ(hm,:H }oQEBRU;Wnď:٨+`jTGk ,Y"H_UncƖR;uUs3Y ^߅(f웏&48h?H,vТ4D w[?v¸@|^(ٵ<dX[4j M˹G%՝럻kl)!,^%Mް\ٰ OCʱron!m#6_y]4X/􁀫3*fP6[3{..յ[ڞeKkkLŲ渊jЩrSL?n 軂Id?;8d`ӿKt ƿMa|V>+^IZSɤ|(;Kak!.~݋q,G@o%[Ҹuu?_tٜG6^xF:B5Y(K[\da5惉ذ,t^]FQq#+0 8핽ŦM=֔remB?7h Dsnsvҷη`T'C/mE!uڀJۢƣ{&j2OJoK/s0.'ӨX%`'s.ylBrSi-O=4TzKxZ·L.%cَKw,>gY t37H80M %SW)LhfR]%_񢔔: BhWgh?m2ф ̵ݨs ^rF&/8 h)/ cG! ﶾSg3:9>9!oM!f6 RR'+p=ڢI!Vի]+ '^\ڱǎt=C!PhCF3*ZjEw*>"_'k<2 Tf?zJRi;F T|y2{3G_1v@YB'S$i8jDŽn|gnO]4j,L2߮,a3(naTIJTҰt%ho یTL7"g6XKJr> R3\Q "|_N_O\IW5 %x+ᘜėq 1ׇ݄{ 1BzWS c߅KTRdcǔ-Znam=ϒ89,LV?jH+b#5\LB(+'_ xH,(.`dMC703XZؓj21~gl?"9 xƟ[m%O$rp{11'RI&-14{ݖRV" w L ! w5$!!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|1ºN{Dfs X;-w,9l?=G/ pRJ1Ը6 9^ݰ_-~Gc/[-;A%1ԽEiO@xqO@[?&J>_VUdG(S`RI}v!-b+ZAB.;J)P-k=h3<d|GZz`aԗ`:C=5Aim W/#eF SX[:}x^+ iYx= =2C ~)Gt'L;g?̡Q/v6Qp]$o Ws$T,>*9(.W|X,VUτh=yF/,K9cC]~I.DRmFr`z W=pIa&Pe llq`-c2$yk܆BZ( 6sFfruM? @ ܵKhrNZy I.G6<Q"ay:*Qȥw  0q{í8pvFT/ܗyD7(m8{]l=v˦^7NyK,q<_iB8w=կm%")1R*ǵ'!,[!;Xd]k_$RkaXۿU?備YT$Ԛ߮ߚy56-rt*]]{zi?sSu*IH^a-xcGџ@#W= (+5e'Z2zJWxT}EB.#B7å2큸Eh%bdLq^(XlySMIE3%AzcN!U[l/[(n?~^Ic/7 ,wXteepc/@^{"TTF:-qoHfv0S|=܊՝oueI,Pԅ{Csv{㵷`15'q K&;41`h\Q;fQ"2⍝iאOp~eGV- `g?Z8 *N]<ڨI֦iR)Vơȉ>t4<{Jl<°>]?֭_o&j/a1Jfyo"U@ hӆ_`@Nr34mE_JdPbw9,~kj+)}'i0K=r ԪK.~@JYujR(Ϻ%Wo}  'gYZ! ## tZF-exZF-ex.LListPIDE/markup7zXZִF! 0#] !M젗OFOKn斎y<[h_8`OM5^n5WRo č9+[V?FJD~RrНd"28fsBZyg)IbۓSҸt5?=l=pR#[/deo7rbZ6F~W@R`mH TP[I lh (81 @egma&\I]DM<#dKh].moapg|zn2XdޔG:P2Њ/[ޒ4!mKUYͥgkteiV@*iEokJ]wZ NF^qFuu\[&!Ԏ_P$`%&R&A.?gw\vJ +tau0ӽCH9lhq^LmӢ}Gµ>Y]xwa8h몌2Ӷ][!'Hח wL[Q ?K10͹SEѮSlsq|4N .:WltDu|AӺ %DoZ(cZFx7MsmSU*yw4N;O(Q3$7`2 *aQ1&"i)avf{Sp[s9Fe/2J\eL޸Y?E>Q /{%nW|dӎ,.Fu*냠E.gߵĬK!ba ;BK1;&SncM'B HlF}AS;^,p!T]aYcY]|S2:"7d=Vl*Wh.39!O}LU)&U*yS=ma5iQe\ ԍ3)ԥ,Aq>*zE`Rv@[\68XIE1zOBLJ>[,7 #!8ZF-exZF-ex.LListPIDE/files~~/src/ZF/ex/LList.thy)#-ZF-exZF-ex.LListPIDE/document_id981#' $ZF-exZF-ex.GroupPIDE/messages7zXZִF! 4K]D?7 {?:fH\woo( z-M勚۱ h'zNxFV[]z>I:Fzb^$[?߳B ]RX^>D==C=#Eelb2=ҳ:zO\, l-'⒎jLiaD;".y'F +Ĺ(yM+MDrE8t%ءH=mE!EY*4wZ/)@d 2`T.K0]{ ;!xl>~%QӇ@B_W6jQ8."m' (jRMyr,E'iiw>CR#^x#r*)h8&yb10lAl3AVgC隻֧S#Yb$i` ^^U6icH~sgb=n<>.h.еL듯v0{˱ţuܒ*#u&,x19{G3d&^^-a(_t$l+.{Ê`B_̅SFDڬ'ZTCF{ Vfb0SϮf8a>}@-XFm4h?CAI=O$( foX}6|X@#/A;/^q@|1ڭ8֠;ݯ@|K{‰ڷi@u؋rm96>.%듉XV憡j-jRmς$T"Kdj#җ_`q@:;p4ns|?oYS=" D7LJF(-PJiO HY:"ϰ? >@5)[(uo枕ԃ{ `zFoT|h(?>4gYZ-DE+qj*ՎsP.n&a`y85=]ViA_ZWbPk{hm00ݾ&\ٽu]̡Ɉz5`-Quܷ5c~OIڡ{1xHܕ^O* Cbzt\?Brt5y% n&wig#7d)HĈFznck0Ӎ!ZcuG #7ӌ1MvBgCnU{#ȵ02*b(~8簍?B9sL-1^|%r-S>KRC$ 7ٕ}œso8vNA8£o{$+f-oɦv$ T;'ˌ8y닧e{S6 ynnDq P:nQ$Hۡ_~v`ap!['k ({҉$W&2f]чq>viዔߨg;x0.⟼݃9`?X.0qEXd_D& kM1 x۱]5fixAl}L 3xS|pgq0/أ#[w$8-lE=2I_;K ada~k!*<zt[X=Qxu@o3GXǽϢ_v4zF%Mr6#q16f0R$ԗ&߆ZCu^0Ė닶9Oϑh|Xa(W]|0oႼ'0?IH U n>/$-.\Q{c,&vV6\T a_.+RNr6;xXpnm%ܸn?*氚Ou.,.?xktX(O{(^*pdv 0#;5A_B ԥIm\gț͕Mq 1Ł߂Lj r/9Ui ^FHyD0{r@ ,eT2[!3LN#تuF{il`wΊ)d&"Ly5"M)mh1TQp՟%^` .^wg(L'Qz ZVWR=+ՊɊNGGT+wx؄HܖaR{lFo23i5fnޙ -]_k15Lix%~ǃ预q+8v(MNɤ(VC̆ .NȐo E05Y@%ÐݫIpm=mYUe=- gH%9R4&:}$qA=tzB˸3;=is^YKU7*o3NLmߡBqBz>$$=>xfZ:ZP[XJ^}34.յQBfHV Tu縵۬0S%-RL̏2Zz73Ey/IX4B 5/0Rn<;ӕo lm:z RRtf<iKl+*`f8_B<8nycI|?S|>ZFy) *@d/Y+  z ;¬dFbfIC(9c~|56Ho k ĊQ6y&{Jemv]ٍxKƦyqLM+7j?.p7}󍢀X|藦wɰ+FdьHiL'J04R/n ,5mlXibG@ [q(9KvP{SڢNFaA"%"$xc PE2>rPomYPaLhASq#f'/~FG,5eJ3d@ E'$SYVoo8m]4g*dB8&#e$[Atw%&El] ^:.Đª5t{g%1xܸ$%to2tu\0 oNbEzq֩BڣXdPuw+zמ HZP@4.NF‘lb4zS-O7,a)3۲>,[6Zb O1$$D4b%h+ݟ*b7/q }l P4"^Q;$g>f/oBUwY*-7)$::T&h9ǝh=.~q?׆k][fϸbKeK*/=c= ZI)\=etN뷦#I=/)џ睥GR<)$$)4-3#Ch.Rm8㕷>+ڟ#f;R\xƾXOS$g|# nٓԢ67}9WqjGKx 4sLO|eb|Z(fQ}?tA ^GUelXFQ{ *(# 8:KU-)ʢXO5˦p~0RI!Gӻa[zPnH@% Y6:(C~.XAp8'?gUO@2+ 3j'ԓ¼bsИ4Jp8 R?uz cPvw$ZS,7rN9Ɣ̊q; zDB82svnQd.+[kOU= :coĀ%=hAdS7Xa<,U|îhC $ 2z4Az> L+q7;>RAj,VTs-㫂Ҳ2 W6ı[@y,msm)~b/-Kz35+G/bu (Q8!1N̙J PVv)^4NG !7/-Mn rPwlFj{Ha > $ir+j Mx{̕Zg șe}C \qBE7R2|< Cm#{"=R=j{Bip29΅( =4Ջc)ul#u~1-LX60m x_yZxɎ噽1]Vetq[@wL;XAafʼ49;կ!l3?rD9yb(l2/A3+,qEr ]h'4MgU9+1Lr4,ˤg9v"I]Tݽ˱*g.]!2'PYKw0!RIx<߶K dn)laaݩ_D6{XA]MKst.&uKjI="o* 2,XrMwSH `Kۀ[|q˧νTK\(t L\tf`RfTpEzE6>XB˃h K3O _ąυOLuhSILt}67qo^`_ Ȣ/!">Z"jc,ARs+wADsz./n\]ei(hCwSA], tŀV$O cm%ix.2a+2K,'Fh`jP``&-qh[ִoQFͫJ ݷ 4 EVڷi uV)3yTiiB&=G r53Mc2IuR1r5hx#(hq10!OӞd85@"SM<.+ЮgP} Wz"&|+Z%Mu A3{S7@[zN\,pt}lo~%%Zj+u&K-3$P۰)0=OJB0bJn,=F?>y,Y5ܒq~jFϬݘ\ Rmv +F!Kܖo3|dGn6Im |X|~# pWDgw5ECp0DV*V487$]ǨDZA\e-emDIt)fE"a 6O.5.݋SyYr2"d]6>Ogf9P>~Ś> *AQ8Z,M7_ͪ^s^,#3`G o؜ՙe_ jEM 2icoNsct}$-S{T+OЬi= v7{S㹟g^= v0%բ`70Ugi <\VyqLVVGcV bǻ{mckrmH[))uvpq L @pm !cU;O0i*N]ϘgFJN)o.+%1 @zt6 _gY]O{Q`SL]bmiϸL^>GMQ+O Oe¯:_ˌYf)e6L'c3Em{so+/Mځxx4CTRV5;@UJ˅wJٱWq4c*Ydhdf56:ءv;hd}΢O/=3/NEhbzZ1?֤eL< }&:AGPh%RFo$qaq)kQk*>0EB/juՖGO|ٸ\ÝQ@<i?/ˬQ0}`lIS4Dr۔2iߠƈ" !eʠ:NHW҉…FSq?R}kVRc&?2FN"o~"2Pݧ8;@yN9f=10OQ3JmγWjQŲSTK7Uٓ''DH>ʰBAf7fką,(@-F9~Mc TGB9uk\*M6Go2B Xu"c'E GÝdg*J\ˁJ,P .bzC$+bSCׂ.YT,3;6 2ОlL?V ^y@LpK8 DŽ?$d9 7n\(R)f<Ҙuf)V]xV,n.ĸޛ!U/$s=`OjTM ?Z$DZ_U<EtP )' @@~>mqbz{H>HWD64+ H~K4oݧw>M:>cFIa["zH [JZ4}~#'"Tp H%bY2н>6bϬqw83ۿxn[4\CGx`J7^,NFBвB*"3 ޡtJ7έ^ CG!$z>KO߾Mg<|@#Dى1WPmw[G; &5f)*/s l"~ϫ6b{RqYdޭdiz]2rڷPz)>dI#lg!Yʢ9r}!* o3vhYIwnMqcx׋No6 ͋c^xIEQ(LRZg!6K j"FW|5(gZv~|xYS-=β FЏKߚq"hfN]!9a80{L9>}@,o絞Wç>ݷԴ-5;ġ^FQL~xКM20az }0@S֥z_rqV\zzTgކTS8AbEC, "&_{Y6iϟGGO܂aTT7Ts9xRrEQ4ȅPMrkC/Kj}6I~.{G _"gYZ Zo Z:HkX~~xl8F2`:XB_?`4"qVSW6Ah&80uɏ rD"6R?zHn1 _9n'kwUD~'cBp6g)aL>duTp2{8͌9]$$d,Q>H1UA7]dί7AM@k!%6C#..>߰uSƬZ9ks?oh777ܜbV wuD_PYm-bk&^!ƕcc,WM rol~ߚroƤ?OUwT^j{x(G-ֹܰ!S Mr0a~[KCN3gs+Uܜ2J-9B*yʊfڃv @$Pw45 m{56vnEƥ (q jU< ƿjؒʌnVO*!;?{mHBF-B*$71WI$?4S)5SYG!{Ecy!LP8%nwje$vY00eD,ؿ/G;dÏ}\i;h"PȮ,cw8ݒu]RﮑJxݢ҉3s]c@O)rV Mбt΁G0 ]եuzp׀"2g8X?n|'4$ l.v{YvhO/l 8Iܦarnc=f0rbԚQnf r7|%8?¡I[x:R|/1&IovRCI1BK=j\ےl*HQmώ<>?4LI_,bʿ||&Oh׈LX0G !kaPX6<):$ى 6iwxwf0صux^;IxcM "Ii"A9 Cdi *V[{:-R0">\etp)pMT蹡Cnc;*: V,4rw]]`0CgjĈ1I>~z|4j:J3,;過X݄ȿ3D1yvJ/cR ;Z ezޤ*a]790qa݋(m>RYŠ:[18HWK-)&*ހ>VtԝOaL_16%5d̶h>ojvD O)ld)t蠂>Ӻ8+ n(%DEt˯jlZ%;pݱڡy@ tA^g^G@-C^m~~yB^{lܧƞ+ĂDz>pW7BL QGXNm䅃~y7k%7iqeU-K#8yn~_TwR.c.Í00|$V3Yp"fmߥEfg]XpD5jޖxey3?kCu?ŠlBh|-GE6Ӻ8\ l#z<2uo&gT&! k^PB^71T hm^d/u"Dn cS}>:UiyK@6->Y?B^cZ%^7,6 mp/ w̻v|=럢WL6Mܒ1(̷}ۥmxqlߣB\> EDŽ svQ(ܲdXd͙ۭ ~JS$:oaPRݗ|CjEL'##*Jh~0T+\s((W``8QAs-jצ)[}tԅ,6Q+p _f-G 06В®|*$决\וv\9"fSm fY?65LMcGW喝  XbHh[Qaڦ(#83fGvM'\ßmF8mLdTe礵q(]-F &Ev~BZ&*ECrC!㹅Z{`uo-MƛA+mW&H>m2/:,P)4dj/D\s@qߺU j!zO=P69$PwAհ3%2H=91dM7F@X|!ߵS4!0p[~\q|] zOx,Ԙٓ+f)G[WbE6CۂFp*pTͩ}Q "mL,>gP4تA7 J٪aDd1X3@1 _L#3Oʧ8tl+';cO!kMf "ڑ'S3_)<1rw+ٙ[񽗌c@"biFlQ7n#+9\TRw?4z+])2К  qn [iphʯ{ʮUì;(dݧ<=|`*KB\~0-Ug~V6>ǁ w?d*G +004  Jzxgejb4ն^pv~Kҋon-%gLP^NX'fat6쵋AVJ>FE Hټ[~\7h/MW{lPK 2>6:ZgY13 GLWPj8h1|Ɋ"Ѡ/GtT1ܵ#R%GMYicB\M[_k}Kos_*^5LNP7W b)ZO`5 ,E#z;ɛhgvH#J`eVcu~f-PZ]U *z@mjt{bh>QǤ* YYqo:ߺh^%'t5`Ƚ0iښc (J8t=n!y hGLv`HO5tD$ _K7ioOU u*' c3".b \ _[)I =ђ˟TH*JY%:%toi${.GU73$'g|iv5$q⑖76“j܃Zs 5z=;6C X܄ Y=`M٥6QһDdq{5n$C&ĝVAs؎+-EEutoX?[?FMxc0vͿҤׅv(bH=/7T%?Dɵ}/ jʱgYZ ((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~l/TZM8܉Z:}Ӱfsje$G1\q-n;9֩lչ U?c fǽh/òI/] ,k賍h\kآA{QsK-pLCu=3:8V,*93zp_@*T#˱V'^lH ZDtD'hfǣUI/ѹMdCwJ7x,ygYZf%!# ZF-exZF-ex.miscPIDE/markup7zXZִF! ] !M젗OFOKnR /ELE/*?z\+ff\s>l^rXFEgu%k7 :+z@rz1J Jؗߪ~%"an<=`=Ő3^iN{պ Ԩ)3~b.nOsE[8ul\ 紨ɬ] CNqw=Ҍm_#0Շ' #<&d̗a¬I,9 _/_Kǣ^IqG^]c ]OT gk( u0_/I]pԧW%oV6:ӭf. DbPW怉erVVբ.1it,&cF BeC^oGE"J*:SBD Dq j+ٮ3IPp|*a:4ɾAR``!~yD|Be۹* Lx7U' ^5s߾>L=Jtb;(+d5ʾ' WYbdž۲%!Ttos+yߑb>@/wu/,4]<E&2Ys2CO[Qy!zU^ ^A}a?.M"R\RCW!?f_ʈHюp1AU1)=xNUhx#%@JLr '0":"on8;K)EUPum##׼m@dӾ;>mc02^^Dx`ݍA²iPI4a;ʷ@LiO)%p0L(s_k$]Epsf!@tlH9w=gTMoXS:TA3WX.:p\*ܶn(PWW#.CkPb2_M$OPݻ ،72_!-6Ƌ寇3J7 'Z{MH/On ʛ|~@//ky0[\S1 A?$|qR:`nx?c?pokLҰ: f'nO6zN&(wtlOt@2=L."rK<@K|LZ5l2ńhЌ&vWd*#26YٹR)DLQ= O}̹^r5ECU/'L6<*ƦsDcLH:]An8n:F_{Q5n8Qw)VZ h[z9-7ؘtNU @q89Zg&--~D?^=z&b<ג3r0}ɜ}#`Y3SpcD{xi0o"/{6t X3ޤJPyet֏@BTկ@6x*eYS rfM<]otֵK7;vja5#A*ӣL2^jAۡm=/)Ͳ0rNlfMR T/vcb̮ _PX g—U.RWBO+v Jf D7Oe,y^-Lŵ= G@9, x)A@N N]!X@~/sixsh<)5rMޅuB'ёu¨I# DY0)h= : dSD `mVx!y"WpCpc ?!B \:kv 'c$7[~=[Gc#ϡsZE[螑 f nc]r<:ݗvd*ŷ.0b}sCz4*GAocN)({y,bk1O\'4tBՊ5PS-͓; @} t^B0S_++ \DJ RyM ?-~w QFe9.;0Tx*")򋝍ZBP2! 5fqţZjȝn qBŌb"ЯSH#,,'nĎPL NC(5fU ,|y+wj`Zq&~+'w!xtߒfm s4@CBnRmrp勢UQ ,"NXz-v p:zS9@靭S\\%ضwa=aQ(}} KM?w96VHQis^U706Z8:&_dhd+jځ`QKA@E{ i9H]߁eX+f5# .i96 P&p1ʧAǠ}Ǵ9ꊃt*"/,FԔ:6+q|2r@Zț︛D`SCwk*FP8]FaG[m.l̖?'FNE'fp:#[N;] 0d%:snI:} ]|IW>[Y0GBT- ]w|Mfy+c+WVvv#E_,Zi~+*^Bk#M3i)/FB(:Cxbaevp %|)#0|@M7e\3Z*$υ;}.5S~`(tp_xxzI̡n:)!.,Y&# SS6ωV8>|ḰB{'86\+)ab7JNS4NGkR]\`Vb*Wwa*@ 3~ p@G<xֿm[]Md(JOoTjoeԶ;@3N Y'7sgNQp8+ =4#>2^ku m=U^][RUbc+ ZF=ų&{cֽ/芲[ /Uϋ12 !Z`@т]gjT?pdӓt@fa,ϖ~B>y0уK@Ab^bPhY<"XcjD R+)b5s Oe5JiTRt3 BK:3Wߋ:/ BO<502f[@pw/%l L })C6W|\RV6wZ nY~TJC[?  詶tL%3$+ߘe$DOaؤ9c?o3[fG5,>jA9ϢŴ%>'+mVJGȨP ^n%| 俇?tKUЫ辎$F(*Pg[$L׼Zd<"3 Sm!GjāxLsF*epb y;V󤅨 H*X[=G1DyN aNʍXko @uǐ-[W|'/'H  \.1ə8T>}{{b.( 6ʉtؐc/q;}fznQ??߈Y"֧,7jӦvoG 1ƌ7]x+zZY],&,t6]{q c9꿁_ӆsJqƬWDkdKAQ+EA+ZCjt%oɪ6/={(:8AsGlU@ˁΣS+ٙ)r ӎT5Xͪ_[Bⳡ 4)b_C?g33.U=dWzgnj(/rđ@>pO)qlΙv  ^!sDkIh1NŊS&P fV0Y+s EV3>doH6qu~Znfn_>z4 {%5س(l:{ T0uy!;Mw߹qOLC~60/{%mU`n,- Oxd6&')2z8,D9eّQ=!mS̕K&eςݿ.w+J#G5Ǖ]&VQǰ9u:ALP ڥ_]孬@Kͼy$a;+?bTgz^N-1RhtͻYyӤRʺA3AIYn5J }S$vXPʛ`LKThtFELV  NM9YԱZ]bUA9P؆Lm}*;wMn=ab{WK۟[8!Wk 7U.qk@ ~=k5*XLz@ف#)ƒ?=?.XºkCɘz8' t{$Rr"<Lf̐+j\iw7 %<  #`l/f~fy85٢δH K)sCo֕H|Zo(>o# #GG٢_8^I3aCƱxTrӚXYJJ]3ζ pRD!~aJI-iDs$Rlw4BM'HpHxʫ8 OedjiHᄫO|8-e# `2gEl__ոn-<-ǁhl 6|Zȭ-ONib6E&e;G L? :iTH":8bWaDaI%7J&sS ?Xt'`\sKo>-w+gHI(z`W\aHHqjE^k* {PC];3wT,64 VrMV '4::# hC?ǴA䭐7jMV5I7֬=ӐnԦx1Ur[=ȯ::«]L_u^iNTfMRA@p \6`kJiaH; PG4N9E<}zgiFlAp.`3aA`YPPtq`tx,[<)mFEXFA9,9" =lmضJsf's&oJR D> hf^V<=IbvQẋok `J/j>:[o_&1G:̡*ɯa:gx>EnDs [bid춐JL0ww6p̻ 3˰m'FC-RAcȻݦa=MxB"obx:wS[(XM:yvi"Í: %xjV*9GIN6y֌ah;7 =K}LC,۶вW2)y E5v4Y˵J7g*M3\݁2a π=dws@&f<1u^*sjGVEHX{iv]DawUWd`F4d੄.^.M ǛOH0xv'Pm$Ā<=ɋaf˼ ham5\1gSBFбG'`2@G㇪ vv9꫙cgBq6uѢXǑӬc ,늪rZ 7g l;jan>]mnY qmPUZĬ͒͜!8U:NkHmgT91 FuΣ:`䃪{˞WA x4GZ6۶$/|W'0YB}?2[@9t(UV*iyJ0s&EpN`;ĎpRvܧn|ka*>$x;dUD+z煓J(.NKMDRz D I.J!v5^׺l ߍFe79$ɇPߊ(Е_q Z@X \n*eDax3MBx3 jӕ?:K|؈ݭ6;%zP^#1asZ? &#!55Dȷ@>2i|H ݏʸH.R+GO4ߤM`a kI| +`QZQg>:Do?ZޮUU%}/Wx{v}O^f'_c$(/P1!6^Nճ{m^ ӠвW;mM@ڔyIA|͑NKߵ9">˳*mWXEfm~݌+b BɃez)ʃ0G0$}Xێ73Bs[<%?8_Uu$3a2?GbR0PIdD ,uLx48bmjqEM_>D!ǜ:mTǚmorYRL7U I;+3$yg4t 0x3*lз.;yt<,e,bbϝo?SD,6+OO92;|egvˍWʉg"q= lg@\H1eɵyVI Ci*17*v jKFqC#IU~!(eaXWTT7BVeT y'+M_d%-ů y"D` _nS{b>6Z:E d2|jm̂,=ζAG9Lto;mƀ03mcrVX1f @><O!`>uS(rG@ӍՒY|j7V%K5& %uZ7 O]y7`EyV~ExW eԵ_vy80#uMK8o"K#sT0C6xnDo/D^_8e@^˞@ͮ`32xЪ{䢨m" %>OHѕCr YD8TJ:521`%(h`T) _𤦴׳v\'J¦mLu&JBy ,B,]Em=~KlLj1@4_,$|4*Q3_JS8l6o3=j "#ñgDRRlvh y_.eJ#^NJ02eI/ɖJƒ8Ln_鏪EbT[(W cj\m.'kÚ>W?c-;^rCVyڏh8wC$Z[YfVCFu V$\@֛?m' ѡA<3 |4w\z,m*QĹz cɞ/O1BTSB6B_} 8nV-ItSnBZ~rYMC+ L;+{ \L~pG$?,j'cnYl*{?q.ϐůG=Px1w40αwBFB{+g< *p2὇Sɇq}' (‘d3 ?8HuFh`t'i)dU+$qMBn!\':66d+Ld'nK_-(Ӳ@HL6_.\ڻF:2X6+u(dmR'n~C^5E'^WwuSf~#~]ĀnʹBO:czwuśupM4pA6$ϣ"#f?20H=0"/rnVLb\? # :nRFtY/%M4. 3DY>F3ci_ƿDwzG|MZNdVgYZ  { J I70#!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?OXZ{4dGGj'tB6F Lɸ>ːΫ/9Te_c\.GQo!tzF>pBI@٫8m=]FN<'Y2l#ۤf2 -u4ԼR0ɛLg':H5̪QA`1jצK@DŴ2Dyoؤ-zfP~tڤMْ:vHoМ!2'z0IG'5Y.;k3AOnR)zQ6aiAۙ+qpw~N T7Lz0 AAmyCg '!N{2VoBYrVmѯT{E>#u1QZ f?JZXe7vRčqg"À_o1}s` {gYZ1-/# ZF-exZF-ex.CommutationPIDE/markup7zXZִF! $JH] !M젗OFOKna(qd !Kw#GpV*E؃eE$ &-1CGoZ=~ ITԁiAҰK=-T(#ػDa/2Aq2je5#"ɘIeՌ,>{nD!l)aU?Jb T3Ιn70m R@P]ۇݴvlN=!SRɈptiB]ћX's`yrW, B3T]ViGh29' xȩpд*&O}0=y(cGΰyU`VLlVy T!E)VYժXa Y4}'֔o)9mw n0`:3?,J}7GGSF{ǡ¿IJ'V0SFNv"ë[tLdk 1o=Sц-:3S$cMF^Fm/:LoOH]xHl*'\N2Єڊv+ZhEL)h |ͪV׌tPV!.]@Rg;(xKvY0Pm gA|gm(2p 4PplzJ7řbgGk/<ْPkv\ T>գ⁚=9ddG6pUu=Lw>xd|B;ϳh,"xw}yʡ `-!D54YW7Kk:.Uw<:C/?xi0XȖ@ZΒjƞY D58嶷{xbc դj/×S>2@[] 뱩 PY%u̓i4C,/!DZF-exZF-ex.CommutationPIDE/files~~/src/ZF/ex/Commutation.thy/+/-ZF-exZF-ex.CommutationPIDE/document_id94*%' DZF-exZF-ex.PrimesPIDE/messages7zXZִF! 4]Άxʆ5.f-9 rq9KG03#N~䟙43Z$X== (| I_{OA̝s'ͿqB{S+8s@S<.H1yٝ߂yS\[ں?k7:>=YqFmh]yhR;dI4Bܤaٱ hB_yQ6ǀWN<8ڮI4 '[2xyQ~ՃX#{NVcP`l#'[ kgn>&w^C'!6`xY#kEVڭ^B؈D on e`pS'UEhÎH ire&lM,04qY\Twΐ\/Y$V P8! 6J_} 1lH3+},'$GF vsq>Oě&u@h?Ǫlo-_8Ji/C+_dzm(OOޘxJ 0;G5!f֚X랠 8s^B^6MjܭkN @R:ͿziIaB玆 HySk\ s2Gd}ߩ_d*irD=UJMi^c־!9J9.k)PGmw2pM8iDݰBub^[S';;\vҲȭ#]h|Y+t y 0ߧF(%FYjBE/սrk,'Jsxj-+"TL?N$n'RѳsſQ8u&6-'i/OVEgZ"T]wUl}b.On:]u{uFZ qלbn746r${,%Lb m`Jd \Ld2T2NE,XMe35 H~rbwRo7Z[+2y55_XbidWJU4o&͜HAD4kﳂ`2U*dgzִ9aB`*4J%XaSB`+L6kjZnlUq rfS T|h -]zBU{rOF"{޽dB*`q9,A Uze9.Z@bF f|H祷 DbvovɡItV$ITh%#r P-R9#wXX%#ƓB*0glHxAW LJd6)hK ~~b)VKcs]`KbQ _6΋ɮКҳFMQS)R8*3ǏzG bD?u߇ 6]cɂJHrfE^k~޹2G:AxkX 8͝W2V Vmɡev/&&yuؗHa .iN(EZQ<D<7[Ϋiϕ`.=T(j/.PIОf_5vUm MŦCuu$~=Bǁ߶z@#mMq"FPB׼xX@/K{ݨ"N_ f>J\9Ib9"QH R Gj<͂9ЦBTwF)`B_%()k83T*N ~H IтDN!quAhaM7Ue݆h/v{2?@Q"/UU@kwKN6ͮBSMkWΌ$/$vL O=|^,(CSHCtw/Z?gd&*A@ҠR[NNd k1YWgRgk85Q 8Gm8S|7g}q#HE,Oj^ ]qֶy&TsGLK2xe0,֊Cy4]%{M3|e \JSؔsʋAX:7~g.~LG!|\lMipjJq08L?d@?Sss> t7`gm,= on$6$LP!;BuKgaKqȳ֖eҗfDg`.R&,+#8egYw q|Mх1ĀdlSY>mvrV2de4ۗt(\*^iI[;j~<8?5 XA9p y&K¿Μf{rn//_h|!P !iyQh,$ p,H9S9[:R_1%p}v<Ԛ*w3v [r ^q)W9Z S=UFo.g/\lD '[2;HL?#_,H84Ԫx~~Ǚh~fIOqr,J28LJx?ƭo V%as o"3>efP'c۩QHԏ R͍AbJ7IwZ]_bB_q"",Boټu k7_gڐYjug3F.d5@2Yl^w U@Mȡ0Xe$ Yb*s%[0h>KLlԲl= aE͎lOY0gQs)Uܞ4K;:}cşm4w]b91j6!k縔2I [`l?ܔTnUC !5Z>GHF\҉=jk@h|AB"bs>)Vk wx/VCvJR_N`$]>{it9yRYdpPIkU?6bd^O YZ#kQSjabtr.W  Rޛ3>f^haf9oW{ &VŌJA+3_CFn+q.ڢn< zr]^|։)9=͋쒝'hé+!gn Dy-Gժz|!Da|㙦JD-seq39dNKz6shn>l7ӈٻ si?H\sk "XrN8O_`+֝&탌`\l>2 O>NB'Όteh߈f (VؿYfQ/ :~ %L~ b8bt/»Z#`_? ^)b]}>^ӘPOԈEMխAڀBͫ:̋]L1קe4yp"[05NEF*^-v뤥Z30?9#,R;TCޫo[xygqrcD¥W{恫⳻d!$m}]72`VߕU旵l!ՅɆU=-i6AX{&s(gYZ  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ܳƓAz ה<9I8DO Co| r_r@a˹Ð0"܋HfI8lurլW?&C"JStz*(0˻<+s{9ReRF1wJKvL'eK<ʰޔLx9jqnY~1q-q+^pg'qjG@e>.9F@}n"?zcsU}FU1}{Y'`7ݩM04E"0Gl5_[IQW Y9{0qTd&Z-AqkZ$4 " eYg5{ð /ϨC3&y͞ IvP{q}.kIc嘜.qo f2̉.-Wn# cMLE^O~N!hNQyf̟H3ZE=mȉ=5]{#os7wkyaa,^= T)tS P%4s&>_Z?Enk\X\za`^94j)if[LPkF`'LMɉvڧf!5nåD{>(sw;zT49RKJ8}B*BzmL1z鄧YH}=I%J$ao0O3K5QA9/ZuُWvlCw)g}vyt}ZqHeX}xGFg/|LRW](P8.OElrTji(*oi+lP97`*^ !cw PyԆBZϮe ~?gYZ7-|%#(x}!p $ENH ި^_}p^A"NbY@ۡQ8]M0z'R}ݍ;q>YSrz9puڝ!0\H\fukeXp8O4$%8BWw"xGu.ݫ?GC$zG{Zu4_= ,̰ #=; DdY*sqq.Zz4FIwNӔUuoP9WbTճh`.07i;R!῎%nH,UCdU<|3N^Vb"@)0 * oy\A [Pt<$uF ܶ;߬,C Nh]܋&Z@Mա65{j#S I9Iw7EMq))QCυtfrpɃEfEX/x51*yn:-N F>SyXrC J+D b?ص7{>@8l(s|\ U:Kf 9-KQ9rNMb jAr} `|~g~KuG V*W7F8.W[jᢲ͟uc!R٪@ Ul1$1xN. GvSgTQmyJty/9k'XIXvi]`H>gK7F x͓ͬMy(PbܴƸ/pZ<ֻ= pBE^o@͌[A3{QlcUrDO_ՃdwDF6K0d; r߂ɥWI ӽe$;u::}gdM?IMr4,Ɛx8~V40Ƨu Uo%46^D]_b'l=x |'JihF/%u6cy"\>ٕzc՚tp8ũ[ȦD6x $`]DyPKN?r ?r3y@u[Gna+Y!8kd=U\$@.{.jdY&:D&2@98u092hZ7N?Y{.J[dl]Ԣ-Qܘr[\v}t r{ݞ$x#9x5~B \048d þ\Z$>Ϊ] :~dK$_ }B墱Fy*[ ƝtåմqJ.bI1zc]S)OTzEWڕ(KlAS7ʠb*hRMأ_">bͬƕй@ttS8C5 T,JbaLqltm^r\zJEzO΂d&K U%UC3:?9B.b I_ Ư4DR)1̵ SLtA*{7<3bԭĤUWﱓ71䞴ptQ^M<́gPr);1XZuӫOcUU 8YҨܯPg#'^7g+Fsxx@ 7ItI}Re03 sN[VH` eq.*7vk4[ADО8(^; n&H^N19G q.=/82WXVHi6xSc6qaFm3[sxqJix1i4pufMȗƲ e6-k,BPB>.k5fF`R󫥐[3mfWxp%gɲHⱖm=5QuhթΡ_->ZzLj]8tp R: Jl^dFyN>C8R =eNiЉ ZFz:[iƛv5D6[&I}f7Y4 P%G5BAh71%5]С Z^1Ki5"`9M!\qzNK!J4*x^)xkM/> ja~J$+֜>on) LE2n?h V-AT~u7?8-3~-꫆2ת*p(Um@wsuDqJi5V?}Jj⑇X$!8gpe80] PB!$|L^= .{oA6j VoX"X)O{79O {"uٛQsLrrV'ջz@vw 0 Eȉ]`d3.paR(POy~}HU @MFS #.[&@SAc Bw69p@Qayϔ*d* zH&@fw䮞˪g_BD*ȫV{o1)1Mte^=k* +}uvT"48+lyiVDQ}kӡi)W6 㗬4|ږqOYr  o/!2_?D7IC)1P~T U/4bIVAg}rv?O"W#\@䀹34IscF앵rRv%ث]*d/iD'J_."$'Et}#4OFXmG1\<]Nd. XUZ'W`|ZqٕJP#\(\7ߔ1 uU,PYbQYBxՓD IJQϣoqS&gZ-&Yy!RwY ammRZ:b5D/-+ZK X:nXa,q9g' s0yxJ9Zݽ> fO1f_iDa!Ce, K҆_7^0>(5W;ߧ,?y +pnmeʷrSUE4p= IHb[liZzǞ~7p\(5jis :4ͯSv곥fazyp#qf컁MxIҠof9ĵ(PӾ 4{) qeOg/iF^?LK2ֿ*!M.8ߤ( #Qv<4POO(X}Yⵢ:=hSm4[Vcg.6_qs{SĆv7{()=a!էLAnWOӷz#ecL%!7 ?^~ۍ3!HLfJ\wٽi[97Kz 0>dK ݎhV1E-/Lpn$]٨0+oLuDjVA6KAtIL]c7GxȈJ##.7,ot(}m DvQK8p ]:;+!z`UZ |̉nҫp~3nbE K=XȀJnk{}85d2yBI6dCI뿶)&syTiZVAMEo%JŊH0ň)1; [P9Tc4l5y]d1<K8Rq Dneԋ'cjZfϣ6=Lgv\_لzGwzDڤw~sv cӾ ben|v=zYp<ٖ-HbnG&qYU ]6mg,E%6ݺ kn[T9ꪫ)g= [~xU9ujKϬ] a]^T6R[Sdz%@:un|[t6 6Fa˼0 fEFuECrX^Oa2P(SB"t,7L 0Qj#nLVݎҲE$"J:036#I\؛ʖ$Tz #c]k_%İ֑+3(H ޒ Ns <}M1V448ٵReȴ~*Q92=^ڵbKW(.*wDS D?p@6lۑ'.oHnU@M32^/%P]tUs1]5{dn mC:ѺiF-kX{яh=aEE7Yӻz1Nzx12*qDiN<0CçRJÓ;퍀[jl `B{} VDCҲJ#Pk*utltԯ;"?Cg3ƿJb8w4l݁mZ푍.pϷB>pCO8eE*Cӟ-\j-))F#4 (x;CXƔEyw_cP~#Z@l\:{*$E-ȁ.*.8c6@16_?MMZ97NExܗykhi}g +zVSS,&Y ŌȿDb#kV\O. 'k|y"xlx>`_ F=UjDUI>/ jކ'ymHqZ;ur&T+PΫ@F,r1!W\/ڗx{PhUf zi2oR쎘s>!9|/f,bZw[d*+ &=vc;*BC$M?/`?igP2z}=ڮ&Zwܐ_ WQoXm%I"D60!=r هtGu/>ć/^;N&* U%Q:Yc<侞4ID=Luǰ G,倫m] 3#هjChRy]C>U )Q~.K9&a{'QoJRvW'7Ȑ*#"|%qA[:mKO"9WNo0o,AݛXCM[K\UP}5K)q~KXzil?Ž.}@9B$b pkxrGe vc9lE#tfb0@+,xF )>Vֲwj6פ5{Ԥ剷p??Y(^B]XJGw(c@M:3\cOxq8SF;p HCS&N?7H(wT0@3 q(6:,Ĩ}Xj*H㍎3?PIą~GELa%6?d<"{Dn)0J&N[+ȃ裢`}^*|;aejCK^~VeD0\`NF%dGTg`EptDOedVPd(@X;Rv=>Y;u'a;` 4mO 4v(,:!V35:TռP6V)`]#V 1K9jL_Ŷ.ǖ[qgXF'9 $ 73ݲ@MUpL 5b16\%YbϠ)(N8 {x8`^њrG*٪W34{Ģi83~!u&uG[r9~NËW8Y5zR-o+V`7m+=f^_'ut(QӫZs d@a} \DkO,E5/m A4_yhbP\/#榴^n+-dpOmi:`7E\bt3'(5j^_G GsX,~Mkku<~=" 8lK"y.€ʷ^Ё1AiC:TO,ma@ZMk!GnvrpJ\{x9U0c1G;GZ 'wحCV(VB[o0ݱv݊VdN[ޠ>{0ٜֆ~AN,/-V*Xwr6'2-+*)+Pb'Xr.y\z,M-D?c9!sjN-II-XP!| L։Ah/'`15d1A%3#M}IN󸏜l|0fco/vq:׀xoAyXL~#cC=K!7`ߧ2B)G ya ^JEӜ^zsԯӷz`/u6DݐƬ/l=Et+2) AIR6Ԉഖ8:?*r+!MNMO h&+x6SXOӚt䉲*żu]̴uByTqзVQ Ο*݅ĢU[gApFwǻR:n,bdiO8QqBt)n/*(e](kw>9* @7*[wUO KB GA S48"a55(֍wXp/S# (? \]yq黲çuQl"oZߊZP+Fo'4#A;;zpr.H$;\]5WTALab`/ˬq|!ÇU-tЇZ1a'8v;^)w.uy>ĩ"\;42Mjfoa!1&EI͊ %&)G_(,n԰b ,F.3IuuT65KpHjo no $"fy+4πYe*/n,fR(2Y"@E7Ѷ-^@Z2/8=cg`uK>?q@;Iu$`@u#DPΉUGڛњY L0;=0d *_Hb$W'2P IBM0r)%ƽWmϪzlu/$I 䯉>ArUFTco_Wj$vSw0cҠDu6#Wy[zkjMgsX!K^4T9<8&/Exk5E0tTiEn~Ox6My.bD" ^]5-]t$D%N˨,ZFy[%nۣf[C_׳:a:iܭ +* :Ľ`0#4+b[R8ӝC q0CJ*Y)(M^BZ&\WKg}}R] + ԹT}VFݳ<`Wb^KJtFAY}@rٵg)Ƃ.xj^3``LuB[s[f% jt1%=d)Q1݇U@ z5XHۖZBMg&d=JnV.s!20S*Q#p} ,Sp!81̾cκ'c4.Mb@IVH8q);*2 {Kj 9;TJ2585Z̓4!ޮ,1 ?jsSPb2"{kvN֯~Si7a% OX'c3ʄHY?8-@(m?+/iT<%+M ՞]=G^{D ?^5' ݍ[Чu7?EV ,]kj=ińv!y8rS@-ޞ1c盷frC[ B>nk:˹6~WI`kMIm lEZ:'JyyZdI\ *Y|'޳gE׃bI"VcTU4 UsBsA ÁXao{,Ŗ"k?6%7p@T'[7 R6yZV$oGw܎N]duAOWw8;8mPrI]D21d;kt 8p لS%3cy"ϵnr6@#J@жCẸ6n+UgCHK7XU8oJep"RJhU)+Lĝ%),WLҤFn>3l9D*OV'iev&!B6aݙr')URC4n yM=гt4U`' [+/M"h %`!F^!@cxDO{KUY!?"e?ae})@b$1nUn%lj=8V9^{^1>WY]>فH`l\*TNARwiÃdϭ>.p'8 e\k*lԘ7h! BTGcI;4R eFqXx9K[}۹J'6؟#ڨWD9v%]Oڦ0HpAqizN$TbO$cRlq*C NR[P1$^ԝQa;2(ܬi!xs1٘e%#ٰ[I`1Dw^Q|4v`F~tyi@}Vo-l^ꮗcvCN ϭa(AZ =bETv(1ztwRj: gJ96IN ƌ_fO@v=1j8yӛ|zi)7^ݼ:)sw%PKEྟ%jjD(6(&JQEnрߊje<{ ̢Bm:26|npL_F5b0hxkԸoVٙT0b6xFDT=i{U?獈 7?X6'"VҨt [B;kH:ɴLҜHT~`I":ͼPی0jR:yl+P)!iP-Xk F )T'C31OBkplk%F],W7+BT(E9)+yѣ2m)0iqV[غJ#f 2&K?pꏸF{S k݁R4omwiWM!B(49 xޟz d<Z? s˸:S1dWB!Y%!bO; DTOz7ҩ`Fb Qt&Z-^Kms٧qܿIĢ5<Qixn&և*glw@JG`󝵝~Ec@QΔDtn΄7ͧ9巅O}oNcўDVj{NP|lrxiU?0/!ռ2!hԩW<N *X 8ab7mh*=W{1(n6{hEEиS1CX ;%Ġ\BZ_WD0RXhCm0t~^!%eԤ5$.׉w0|yuVwj,#E-N6WUIfFja7:O RvD u,znLVtuc˶|&D?X,4,5j]0ِCH0FՇ~ђcնaJ"Oٲ:pxOyjKS F-wT 6uңO!MTw lzrm ;/zٺЇEdVeIDW׎V/1MمK[Y?.F!PSD_u6J"9y,DpOɹVܐ*!nKˉ)d lu 4儝)(SҠ{moјsyM ʅ ҭV:o-`*|%dEa*x-ռJu 8O; g,LKL%I\BXjq/&@er*% X? ay :{Ԣq^q2<ہ%OȯA`8ĵ -P趐mZCc|)V&P!.f]t'dP,%_ N wO%2QWcITvk=uB L\d%d4@WF.(]CN23u+Ct1X(h-W9.D48 }s@pBl)":n$lEt$>5*erR2`Tc1êiIQo]Rĩtwd!a ׿Z| A"&V*_:z.2N)<(!/g1Hc5#hqо W +p0){=ʙo0|SZ|2'@ YCx;=$%`%Vd(:Nn|owRߔ-@w.I^v^ak`#*AbPުa֐p $M@~sCߟZ_d|r/>}Ȯ9(xd== |/9Sv[9{<֘sUU2)nds?l;7Q?+!fT)i}׼~3&&@ǰPg+V[v#i,O-b {Cnx!0LiiXծvkKi@t *nn  z,ȩfKQhßFg@ {t kj}[(hMLKeL㖫J#Kҳb!u{2nH=]=5r$oi" 5:1/ &geJ[Od ؘ%u" JCJ#Oģ-dx! &{?L򣌺^36ݺ7q|Bis:ʖԲ-;^l纎m_ɫ{7`UN=<~Jf<z5{j. }-gkۆ*'RvsG8~9@Bt()0BLFbcj"`(xcD*ÑB+0ar\O0X%xhToeKɨ{D!\ot٢nle.nsXdoΕJ}r֤#s$t##g;lyq4r'}ƱC'ٞFxHBN3~y6xV^Cӽ^k8+TR^Y?O ЧET0D}6J(!nWJ syKݜ-oY0G;q]$`p]/qb;im雗C k郖dA0nʷ=I^ݥRQr7*+ :y?D!x߁М%9%:}*iMf8Hn;*Q,>M}@ފƌXnU:Z4VD谩҆k˵`꜠PcG2E1tD0r{8TcMG&țF[W$o ! B'ݲ֬ښ13Іh H)[?rU)PjyԮۃì֬hpe}*_+dB9$yg$մPői]390*OE7$]"鯠!;ŒJY=VQcP_A a=kA~𚱣_+-n0JUɜ %vn,gq q:r\^*oYqm `fWVcw)9'+"=Y0ffS0uyBL&vkoɮ )1Tq V@33e|TǃA=*KdLrYu"> h<"o5\J}ma6gt؟=gCbsϬ؀/ir]+ΔW@MAo]]0 d{~x=H0Yqa"ySۮyAF&{VH6zҸwGx/֙U?XŚYk } JW؂K a'P ilTբR!⾒DBo ,/N]72~!sҾ>5e> Z|_rCCIy7.LR qfvlB՝o?z6Xp R89DoφEs@HaR|쐷. =.q!`|>JusuAAi8u =s6O¶c^4էA@u3H'RJmz+#Q#tp`q؇KXHjdu'nZWӵsei20Ӎ" j&(֪2}чR( :<)bwdSe8kv/!j32e5ɀT|cf3$ BfE4"8B^7m:JSx\ro~ %Hߌ-썴fwh5ŵ/F@E%L>BeQX>umL>-9sYłYq5ǞRd#@ڵu0tCzrδY@DF8 COIZ+A|o}:9p/nbGX9*'!@E 'RJC&|ꔂYg fSAz{pj֤Fe\b q[zvX|`gL #|RO6'58ƤwAXURaծ@Ky-#v#]Z-$69d > Y*}+T^{X kweerDcPNDYoT BB[O"M/\l_EUu kK)g=* #`y62uVq -Y%?לt(ﱂXȋdx5Y@&B[@^UKϘ5QxGlB}:o99 Jrы<)%Xcr%(Zֲ9d@D9ZoEy'B1+ލ4yKG:p oQmVFKۘ(cL쇫>9\ˉ̜hn)]2/x0Hl_J+!pnlc1vW-ͮBZl/st hI֐ePv+1Z~ Yלxx/ |店CՄ}j&c}=ٻY<*Ít0P97DW3f0<,t[M$\S^$/!5e摲1s◡ޭ958M D,^prRcm[22dߝD-yQ&U[(%f? rrR>!xody ~^$>>3 o\&Hr,o _w@T!Tx嬷]6Y RQ13PP,NhNa܃EZܕD,eh ^EvF5BDbNb; %e`r;=xϥ7AڏFsYakp @Hf9<棦&zCҒD .M|l؍I YbvY'{!{Wfqrh݀=b&ZgP3K ?by+{^3̡c[ynWi4ATnXUB-.𿄽[sOyPe}=q]DYD\s,e7dS4KgI¤KeDk"Ka1Fo{ѡ&I-)WSK9YqnpՃza@'w@TW(|XS/f9/.Fs_;힆5u cȎZaLg/i>u3 5׍a˗ Xn X͙d@.|V v!w*uUlK)< h HPMb8/5hVлݠ!InGʨ84;zC1U>L?|( _I|2Į{fE'$][ TL&!ω$ÂHfPww )Cs{^?MsMNP?P[ƳުG5ҨbUSzevKq+^b.).uпmw2=h4o}CJt!{Y=Xavt+D#>cOBZ=.`bPm=W復/lKh,7 제v7V:YrTCYruHϺUBxeA#XJQH_|^G?lSrU"Q)dONtjg%>l .\<Юe1̲VA+C&LC~G*Ш99 j0FM71hm8Ph<ZP7<}\N2d5c:" sUwr7>5X}S/˜PIaZH5KѦ%L&*ڀ U4on!^6=;h{1'b MK"aֆω6-7nf)aj}Nyw|jaUI^Ɏ*̯U$Lx>*U=ŇG"a n4ͪM̍PY0*`p9(XFO6ԱCⶢToSݽ(*hA47侖_Yg,ދng̢Kj˚RJXTXo-4.^A7FϞr㰋qoCFw~ju\ OO/ք1]&z BO,e d@%N_, e/B 6kStEy|Rg7&|)/Iu> h1%]%sKVMif < `-\HdNdra퍜aOy{&ZFYP2"%L2LndvhM9 o⠾'B!KkH%< ehcPÛ*:QECX̺lKS d(C1S!O1E%lS%k+@E2 Gi[KVb/y nTR뻌~-"f.VzgKs >5֦*|ouI0*3 r+wY5m6$O'\ Fu c\}=0Џ)CDx? x䛯g,EɀqL A c`%r`!FQ5W6qRSROLN(}f=RqL2m<5Ye$n^/ʹIM&.krY8w)u':/èP  SRoW5G$T, ~dINo g7 Gz?2 MjlbA>~LX -v+=څx@\շI Op)7+NǎK8 IRI 犛R5Zҳx3GB,^9o_G.m@u{Hb"K; |FģȞ9~] ) !W\{:M/AVpNMA%T<5kGx40+pID%J_cXc$ѱZ#>x)SJ2`;55 ='wFǒ&vux:xƺNd>B-%i KTSG&\2N-[ƕG !)ghiXEQ&H摷pr RɄC뀝!G#ָMHoyMd5;̅|<9ǖPXّG߁<ݼR%۰y5ի`;/52\@mݿh*;=~R= @&yHٔXM;9|Ln} rwl#΄R4Zfwy4A/vXKvַgվH?gb4ߕRuє"8 Ob4 |_xGL`YzxNsI.ID7uF6fjͽIQ %9EYzRfQ@ZsuS]So7-R\a^5clFw(%ؖc2I퐖5%2Jt$YU+9}Lʽ?/ td}T52DA f0Bma2!lKj^|H-K0/dп'J|rf.rakJYXo_l^^U[؉Y*:DA.Fq7r C+X=T+=C,ih[T m'o 3fͷ'Ӈs<0enhG` Ry7U VWլUt,E^إóXsR-zg.yĞ;oOgm7gKހTd=# U*+V;0AO;Bq֍kN%oA(nf{ r'qG £NmP ҐCQ\HO,Vc Lݯ}}{>K1!m1pG aBԽk B8-m׬n%ב(gO}M()#/5rP7) X8lNHR; >AsK>!hV륭M2ȕGhvמj*ԭyssYT:#Bb HZdJݗO1Sk*TɈV`S@Wᛶʏ/lc"$^L"D RN\ͱr|ܑrKoT $3c0P*톦*MęI@>3?q7"x-Ht=llG\`5olxfUSjȒ&Z \n%![c;S x`-IX~-VrF2-S(>BDX ݘwQjOT_y^nmKVNAY$OkzpXq6p8pǬfv,>}wli3Js7 oZ#~(UU.GlmoQIK^{I0l]ߟP~(ת| Nw!YT7upbVʝEgZ$3L KRj˔\|YMD3GbS63A;0k}2dj%o=u@&nb|pIy-Kp8\3n3>񻕟atQM`!@Gza6Qm%%}}]L(Ȓ_ng&[ V@}ѝOd픖Qr!g=mq9ǡGbKھ"ӈ y*15dfMLCv/WVg?dF13sr42^-X FZ$Vkkoat,"G)|S"?D~u%"ܱՆ &__`Aa33cP^w d5J^y;/QPE~d ,%#Kd&ޯ-9.i_І4O z@p1|(b!_4mÀӬYǍ>,i35I_4*16p8x/'M+~ R/ׅb5oQ\F7Kyd6F$V H<ЂF Is af)oayOH?};x;M8.EĝHlG9;!X!^2yԼq뼭|;<iL "UD^>TԐwգɉ KrrCXSvz\# ܀ퟦ1XU=Qy3 (Vkάgsŀ%k!ldmd|7FP:[KJ Q"jNR^|7_m0:b{)mͮǓ{ p}iv/̎ŘF[I`4I%._}O'MŒJ &:Gh; d\}lso졯t,WX4\%O%/A|C3& E~~0s`d==[!+H`r G r6A;֯+Si쪿%#Q`~w-o 0BƼĒM]"ҜUI=WooS Q/Aah mqGH,U?/RE^0f!ޗbOcEJ2xZ?Xb > n/;QΤJn<*\;Vꮟ)ORI0a/3 <-5H|!XE_"/~z,PWHY.*ծgMWS4aWQin1 | :Y-_BJ&fAs6^Mp?E]cJȎ3xkDZ2±^ɕL>,OA!^!g$v$y~3ό.jp'{*qns[鷡 _8] a5B7S%66ceN{׫?6ߜ9wNJlfx.sg fL Hzrcx[B\͒ VfG=-F|gca3Y4fjD\MObWp q@h%ۦ+uP!#?Ǭ ao^!*݇XA}lE=TvO.VVme[tef ݟ֪t  I+CxDaPͿ|rwJ@@FW zoK+,q+7-1}xhl<1eG`ӓD> X X89+YL>iD?sMZ)hOuIoA5:|5YmyqԵaI (Mek*]%Y,DytOK_]SLloʉqTz8SfplnʀPhjjڸ[zdtD-B|8cQ*>ڙP%ݎ{`CyGz-Wj61? XkdzaE`}xbZkJ P]苼ӑAAEVV5G%X@66$zu7 49/4X~徝ńK3t99ͮ:uɹELGMKJ] ,҄D`b +^tƧ:678CKr_:h_o `hcV'ވF3׬ ؐĘ _w/8/xz QPa] 4`9Z[.OՖ(0qܢ)l!Dc5_7;r2@Nse>ػP@m!D.P6pgt5Ξ)(z._i"&m$k?nYjW3Іo]~nß\#|P3-/o2BS Ӌ9q-CZ0*N s;2{clu0&r [P"S#̒EUuI_V4GvHzvny:4eĺ(m-.GV*Qq,oM30}92Oeِ"Ĵ#e4xQp gn 4d7c P4YSอy=%A%W}X׽@&B-jBQߵy 7n`K&P;=vjܜwJ|[Py6l3Ga@LeZz}>2_\tzdY_|1gө=*={s&pl?3|I&ErgS 6_84p(m*8ZpB Uq+ȪUK;`7ꔾɀ$ [♸HY9m0LV1,AYr-:f V^5 \ױ*N,ºQZL {5f] .TB*>\ʮXukfY}v4Q(xjeg[S)Ֆ`'6el/[/u` ٠4u)#pսH<=q=^{qJ[qmҽ/^(q[C\X֊)Vun 3>_%M83,D-*LlAG' \:[ɗm8r-/%XrR/鿈fzq:3{7'?Olܥ45_][7|h*~%/x*Yqwna1ony(YPv{kON:S{ LzwWFg4CFV` ouÝ~F_% j0Gg@]sJoPm~֡&!A>.F;*2t08[/ak/q3VT~x-76ߙJݓmE texm&8$a.=/[Cb'_S-~{sR>{ {.}?$YjZGYu } vY%C-'9^^4c1Vz)Op/OGI?!&`Upb'tEvv+LK8sIwƸ*w; ;&xXQYKfpj2J KN.bO,*!q9B&-Y(#3&⩃O\[Jsk?L0&>D5 KwiR.b2#y*}ɱ70K-4+t#$EOFq 'rUt/{H'W DN!L*zQ\J gژ~ۦ\5<?^څ-tN4[0O |1cK+aVTDa9j* G]h' @VQK%Ƨ;]^jD]3IXˤť0tGo% M7W Bb )pF9TTa6$_>Y'h/g9~V 0X^ Kw6lA!3ڴM`CXT\+d^< ǒ!?zm R1BrpZoփq#`u)$ܮ[o0 ܲ4VO DHCPtR^jLPDT-妐_f>[Jc]Wà˒uY~(W]ҭ:#=Uߵ_]dG)Ϫ?=3]=s/'^9ͯ~BMie3vg$fjǕN+HRCY6VNV_=zZ7#ɗ;E٪d0<Z'kR[DZKl+J>q-pb©C5jE <#Jhmv]>|%a lc]IUDw?v9P_DE;^gn]$~Ea&CS&"i9uA3vtt?I~;g07_O Mˇ•8(lE祱y937i$r՘R_߀]@tU NQemO, /۸M^Ex꿥PBβj뷬n|g 7MshF,6s) :E `^|tPILJ6SLhdQK{1w|Kxa.cIG<:| .~ '|准dĵe՞S>֣w:&(0뙅U1s6geV\4UC $]߰ɫ avND~8;R#aKT2&۝w6Ub5[=^ԛWnP̯~ױ1#Eru!x g%\W+'s|A3Tϳ)50(JH49T"P^Yസ[MwA1a&|z+fF=T$QTa/EBQ4dE|&`D VƥP;8xo)eΣX܄$ޝFPJb8KL𹸴u*ށ~1kx(=o"HVWC.wO: h&gG^/LBIa;;T-k* "ny!b/yC\a8x>[J^ AG %tvyL6~LBI_/-X[L fJˊkl>y~ hyDsD?2X{xcº? 2, P;ѿ[qxl/.?(EZZMO.kQ$Q{K9}SZDN,t}zKjVQ#7FSI^ęDAKpa'eD10Cܛ 6*ڱwX4fR㕵|-mN'cŸpYGq0+7oB^dgCk#eC D4ꘞ#yS[:onuC#{_gRF)x[YwW%^qatC.]F뱚F1XE!}Wc]7Zޢ!#יڜ͊]p,lIgnh|$w5"ݔ)~ ,ve :yUvv[gnlXU'X@,UbI| dnj*[qpwZ!h xVFJ~Z3h8Zv{[sGp3$*/)} ^ LߣnD*$ hJ>ݹQ7=WsM[<$HfޤzWxa T@k%i9ׂ)Z8T;(h0]!kUBf~I6mh.y>\%ŅAd9s֊ <[YiE*|jg{^OūiRb|ybuevd$:mN 䃶Tr%LT]RPmb~{T0x2}=_ZOWگC#Q *!284}7_z˝FދfuFm޺rߢ;?@XZE=DewhlzuEмIi Ɉo?Z3kF͡Ȉ`2@J\3s&fnoߒC8o'}05 O $LV"`mUP-EH,%Mu@hC!~ !b sP4h"? mq)w(<Ru*'WI-,>y뽌 $˲e]fMԮL [O+D0~&>QKp'2lm;~*FXV/S8"tᕟ "P?{uxmb:uA1 1KPBXFţG]1,~1 NknPs&v$i+6P?ZoV};: |a9EM0G!eoS7a:+HwE:Ïؓ %#t r`7oW6[AϿ:Vb7(8)>v2!<4M,ۊ*v2g:7 \/QۃV%WfB<fȕZr<=W["ZN ~dJ5]^}}`\5Ʊp6I&GԳ`w 'My}M1A_C|[ZCj8Yʦ"ydV戠 9b8 [$KC 5f@DomM^O $V؉1Ē]h 5a.K5lHe{;o{Fڧ}AWY A'Çrt93gP/6: ZhFϤe4m(9.$֚]4 ^3d$9D}2Û=.oQ;0xl=>Y9]EMT: = :54zM݆ك@ xgoa#мRF0jgrK'qe?MJz{1[!\~_Z=NLZv^O+nf ?#]Y\<4/վ e#=>C(h ج) 像"sB5|³: LU`c*Υ=+2j.-vT 2$ QUg$CNu7o?L(Kƍ̢F!v.-X"C-a'Rs!V(S?n0.Uur0,r4@Y W\hd1IhM|`ș$n&t.ZF_qdH.,S )=g1&8f+FW;BhuA/Xp0xY)Dr"C*0Kixs#hE!,FCCpiN͒deq<99af>y[hpgcO|fs|㠜y!jii}@ 㢞6*znE 1w~Z 6\iҠL,G*<֛m0mb! 19t3`&=ʹ7448)Z[]8H) y}*I +n[C3Lkn2l'>:NGSXKy%)#:Igm€ޛiܞ5~Gy QJKgr}q ѥsfVNH} K<06-on> ^/uMzU5^׊'cV7(I"%,`c|z'`nvzeTxش[[oo%X#[bYG!SF0ՒfMO53 7q 4(HcBBz{\ o_;BaR#κMkI2zԖm}^|j!g /ƛw-sELoԭUJ73߲PO:j|jV6S5:J6[dV0z\i){MGn/(涟b&hC|+xo f+_/@ Vm_s_nѕIQ}bĖƽ: "Fu*Hqӱץ*ϯv~Bz'LV(k #dTA߅?!v㈭~}OAo|>A/bs2t~߬:hUf =ҥe6]k x&6@o"|79w+,!Oo;@,Sz(F,[&e褦y)rTTq)M bq"ZE ^*t aUtR1pܜˋ3E/t~zAt{'*U Hѳq"m[t/qQ@EqE*ח$aǫY(" :O3AWr;6Ҝd6zIX|A8`(v56oY1,b(W^XI#E$'.GÃO^Ar i`9BHb172`wBBRkR.eAsJN,R"Esvuu뺣Ue3G*$ (8t_ U*_2xSEjL/Γ(r2P8[.oFƗ,Lʜ?+$L^ D߉ɔv~#c'E{K3:ļ~L f ^-WBx+tKD 0Ж.sRdF߲ bAhm7GM B/A !X]7M'IH?0g-)eWHq0G`E~Rc TMr5 dV<D qӲ&Kq>I'7ouӝ{Պ܎>;9ASy Ŋ3" w6Y? 뫮rnF/ & op[+s=L [(p%j5;ZŅCq7 J1T>-jA1/e( rY7z2k2[/q`NG^a 9@:%_9_@x*Oՙ=g -9u+f@k 'r8t"қ@ELd}BSqݟh*x?$R㽕:QBԐklvvCΙFێQirZ3GD X.%x )0:ƎPTϴoq7PR5P NSsThcT3I A@ MQ|4աz׫FCYpO=XHj/8#I[X]J dp- e0yRiKeEUQjl YҳI{Q3*sr$1p$umqRitDN&=XH6nG/ʊھ^lR9f \Ú \ӭu"W"_lԼYA#-KlTYΟ`?Tݖ}JReIʴm>dST2\G{bʒ|Hf]$srnU2){0!h׃*i XW+&W in;VM!/P^bsy3KH¦_(<g#I KǠ G[pGXM#L7 Pxɔ;*:&ы/OJ*]H/1̜mʼnsN9U@4zz{|, sP0TS r(zKUC3z$yp5xXՒ? ~GvPR\A"d{bԮFls^a`bq~xGTAxUAFb~?O(o跕M+FB۵:e6k͔Zp dBHK$%'5Llal̋KmiZ> =aŠ4\( 7陕%"^Z\}ngjz^}2YwBTzJ @ ?}l6 ܑ}D׹a RfOΧpB H6;Ԡy;6>MHjm6=6o$*oD{Liuy¶?C`/$ŕ`\ŪobxKoTՙS)`:irA<-:?tn(b\*,\m+'A䅭YN'mH{oqi8kmNyCIN kz6ΙM@eDZ<oG f6 Tq򳹶L,m Wdk_m%xN">bSe,? R8zr*{WQW=8$OٔngÑ1Ξ0B] -82O+!C'bZuqNEcs{v*`nGFl%%Tl9;ԞF _ `2 zNֻ 8ݿ| zqJQӦ n _>-N8Qq2x2hwW8[ km7Z|Ux*f¡s3>V"._+6m@ A@ qN ߂1re`B0cARJBO:Ư4"d(Yh9B!?b\Ɯ@0oCj(/?>6 ezStBB3fKHD|tf(6hZlfwvz4Հ=Ew]t]2 N6V6iͷ,+<+lįa(t:a]7؃''{7*/٩iD=yWVY/R>!de{yo`ût:~lUw}'6TXEII|D p,gUݍLmg@y-g`PDF wB0TkI?:fp(7fH'WMrZ`vrN +n򄞺^B5ɀWJ B8{rW#l}'{ V]1p wFQxqѐӁ8s@+94i8e_M_)-N5]×?ٴGmzt-%)S A+Di3HtUpK=ix5tjy6}r%Uq S93#ՆvMFNRJCaz6|qB`7 [<-4#Gҁ枫2G#o3fD(M^˞)w?2mO~7]9с!{r u sdGxH>j7.SqJس5HrI MǨ#_ݓgNA;hr&AЧ[#rwB#\sdU[N^@ƪ}a1 No?lREL6뮷~$v7~_+fn_CQoȉ>&f ">t}f1y:3?,2O**.wvS;: ·/Jk]w&{5UBxC|{J̫1B粛\.F@_\<.R."'XG8q!d$Sҁ,qDIX\"w,% {#Y$ֲ$Ǣ4 jNtZ G^o;aiw2?.@MZSZ8=3]XopN ,F! \  gH\oZr+.OVWf0yMٮ¶8b1v^d0@v21:ljzM7zJA)rh;1cY^A_?SA<|Etr.0UU*ݎxJ/ LU0a5Z> ڛ q)j?P?[SNu#6)+3.9rLE$е dV7K,cmnh b0z= P7v_ʀ}OWH*bۢOӳA?]VW{v"jtꈵ@z[=vDOL8]Tơ@'"Nz!yv>.\ $3C+ ӣbnn:%`+b (I'1RqX",@# ɘ_ GqlfX_zGqAAmk3x-1YOӖ 9kD!%8C` B0O|vg&wkМ=g>ꉛIw݈ɭz^n"r^D”1k. `#St`.bRSO"Q 2/~PVw6;sT:MtR?1B RLP@$}H\{Me hhx8`T.ahh/tj=3xQ#:Zu5gr>yB [%G32\+( 듈bl>_mt"RbAJ! m׶#>4/ vڪZpU3+O-Sen4:'7 **\9Lu^wOxk"w]01N~yZ!6%EEk1*5쳾l|lj"đ ]=aC\J!E֏-N^GT>q%<Ho+is>b` >rc'|,2وAv!j &.z5#«[sngȾd&g`Y p-av"LoQeզ:wBB6|b/|t1,+Q{ DJW*N0#(O`=@BM?6chK"jTT/P!L'gȌPajYP~̜w-!j9j!9JmY滚h3Z Q gÞV"k&u Rd]|1%oA5 C^[`@;t(O޼zHx:]f#~F s|̻< ܌:K)w:ɲA"aȍiy!?ᝨU`# NV&Wq\9bȥH.+fr#d.bv(Cwc[`qݥ"4yGMGL { eCj=Tq)^Ċ3}E$ZcdyH)/՗KB첻)UKg2l"gr niIjc+ d0lh(E؈? Gp?DvάUm1hbR=* GRߝZ7 TqQwPt#1N>yV@A*Ɓg/EtRtQ)v Ӛϯ9+9m9}Z=l^6xWvDVVs H?QP'݃M :9\ Kx*/H$wjWaK[O[ ՜ k*eA!T+AFO5-/NĊ> {#2$ؚ *㨰ڥ { Ġ} IA:&@VD2#džxivE;=Q5vO"}6n=؂QNo?dH_ax}1W0]PA>?CٕӋ+^jjbO5TKɄc G[b\Mo: MS[ B=&lDŽ6jٚ`rڀ̭j0^)-2(No]C*iD9ѽ !WC12rP#h%ףi]VCrdȁ6 h[ jqLSz}!ᄃ]۫UMskhR%4xt]c\2v[I}#HW}xC*@PQ# hZfVj׽6WRj_Zz< B>D=T<FOAv|b'q<_Bx;nizGOnhyudƶ|R2d#đ$=<7'y6XC ]t @!@OՒRV1'o<nH5 >+ BoqTr8kz{D@,z䗻@\UYf5Ԍ 0e^}5nCdQ=Drfd~9LYgU v.h?CSZ-|߰4wjN_ =a&M*c"%Ttmz׳73fQܛ ?EP, ܉Cz9]2 o{vڕB lůfzr/Zgt8wk>*.{Y}@-OhmxOb$p+&zv A`\gn^Ct2}PFTU1IsVLBm~%7`T" enbp L 8t?k͙K-Ckb׿$R'ݷvik'.( ~b4FitDQtfK{qS l^`c@JI4fDu*MȔ0xk,cG(sYaD6<0h b8| 6G,mf$5z3wg9k+ ZG瀑/::,REM°9b^x\9D3ǷvIYO(0; U8"- F9nRE>5<%7諁}!fMܞ*4/V2 Zg 1VwL62^r) k0v(lT=mi!ۇ !ZPzk`NC@ܮR?*m.հlM\A1am9ϒ~ʠ p4zWFhF4ɼ \g=tKDJ2 pyOn3JMc3g _Xnä5\3> ^s9r9Ïڒ=p؍7p^A.@8Ѿ2J;EkE2CI olxrj,LSOY4mvMR mXZl$' e&8'?߭ݵqhcg@6RϙdP@MD A'f?T¢!ÂG Cgd |"16!Ő㯦.WH8] 82bJhJ¼sh"e|KRLtw>P:Q[gχT|9"?`6 6v,7N,[o"0:`Mೡ 9;V2⣽l|*˧ce~{q]R%~iqB=(EIEs5CqT֔*5;#80՛wqC7Ct~7i̿Տgf.,+wݶŃk Tf׻xſkN &cjJ@m/kryLVrXګY>+2z܉N\Z@Q ?k΄þc~X|ܮ ҉|-NQpb85guK>y-!f+4& *MT~[3 Hc@di;gQlKw]Glժ6B2vVnkB?Ԃ1+G"kMYħ063GJ(Uu[@,+DBב=:սA峖]~ɴBE5uG~&Z}1x~DS݊*:Įܧy$WbC{OxUƁF6}l-@{_jٕYb$gJpK~}\^t٤RL,=|ib;Q#1N;VOs%[r5X2ui–-! ofqib2 A#D:;)r[V%+=ЇawM1* || oG@!ͯ6ȑ|PhrƼ7t)ObrԬ,bWL^K|f `AI+'].IGP ?^]YYX[G8K`Uߙ!nTv"$D%J2vW ]6.rn ~ZdQZ""؇]GNe򸡓̙9'-%7I<whFxpuooS]hCz^COBJéUQulnZ ,ZMz&A Hڍڨ$g՘bm+kk|sV:y#),Ȍ7 P7vM/"7mbg.W};"9Ð`B;J( +ҝDHEA9ܢ~pߗ N]e4NW#~y3c5}LAO2}&#tP o.o]yTi\8J ޘ&'O>V& fM?%W:"٠E^8/ІM|qøØ[v>(!wƾ$ `S?0my-~E2D@I\lĵ/͎A 0k]ݛȚ@?;8@OO!b_">.B?T#VYܯhS}8a]~ )KXnvf %"wk)۷-[МV5k9[mott&3gUx+D/d^;#C dYEp+vKiX|Y3*g1]Éɣ¤;0YZ |4 ## ANf 't111Z;]oѝ"?u1A%X^SaCzi->(`M]y34 n/GH-Xᬀ`&= !ǨԸ qlb \ۄ>sZ3-" bt(#T6!$.*&u mhe ГH˟j=o#BWhÅ)ź:T]mR)i]+5|85- L#044*;q3M Y~$8oN[xoeIj B qdzJ #'ՖPp;^Ty}$`^#y c@OI9+vGs1+1S=#OQO}ϮXB}t${iT.&v)Q ffMF[pĽ C,n߿\a$41BAol)@b`2f50r(&:j~`FtMjPܿ\dOu2o[ 3*f4ޛEA^{X6`&G WwџLUi( * -.ˈ QH`;$q>4\e cZ$:4/BQ.PQW=I^s=dz~(q;o߃n0aܠ<]r,=/i#YۚWǥ@),jSoa4"^dﳳ6Dw h1h=$^^ZJQ!9d5F t 7Yo:BYMTEMp&TeJVr#/I=4X1/&3@Z26)ТGX%ZFBZVU >ZcJ Eҏ^4k愛_x4lTZ\{-/PY.=ĤM -lИ:Pס) v.1 ZHB-(Squ~7<*X_O> X pہ.c_`d1l)a969I33};:Tc;ZO3eAw#ܒ𨵏s"(*@|.`BU Ҍ8*vheAE!?7Xgsbӡ5 ND#"6NuF$j}wO~4rnǨ=BH(EB :)`X"I)]9ݭkhh#r"~+>앳Y?'V oo4%Oeav*ܧ]m@E㣳Y'#gҌ'7|YwXjG]O~!qqm|NQ3^hofLsX}1]AtDY|IQ gN|dhw8cm4r.\h+Yh0 kL Ӊ $l/`LzaGP4"4Q>6C_xMA"4A&OP@CUx6-x?GBK̀rsc)W*/8nuY5DFTNkZIZy6"k g1Mu U3q2I97rxS[ʳX~ 5D%S$?1#pGf=5&}qlr]6} J4̛9OaLf &%L!~J)G[uhSf^6ר-*Ǣ#[ |^?84p_]KIX piVV\{PW{*IԒAbNp<=#`[zt#[SǽHaF:cZkEix Io}P6!,Yj!n(O^`ZC9L wY8Cm!2j' ;\tH% (Y8 2a%8jd6ڗ&Bu1pc%Aty?(G<ڈ/Ɨvi{/μp~YMCB˶Q7vbX@i\g˗YmC+4%= mKqp1?;3BX8w᡺5z>-4 wU"$78gbw~?CVEъ`xL w/rPHUwh<ܫZZ3`zZ 3c 8/0"ZNq؄  c8}H~HF JL_k`E S(r&^eF}|9hOfsϫE)%3#(֖ SyR lFwatll *i̙dZhڝ;Cp: k~c4a !_iCY ̬ͅ 0;_G{֋#d8 E !(vlloQ(ʊDz+ctO@U9[68ׇ=0nSg[de!sgOW;^W`;Mg%dO_%oc@9HyUă}D-k(;h-@"kmWtYmrĦ u Bm||WW12\< '-YOp LxAK =wZ9`-C2-TCnO0{/?@޺UZup^t`ohJ67Yk)o8atKٸkb/՞fRydvUo8`%P;/7[*Z`c;Ldg`zx'5}Z-w{˘7h#0g7wfQeRUI9d"[Ep]  vCg\\abV\˖Gmk=JIyHjq,rgSkX !sKۣtMb[z6&&+#;ED11X*yc>=Ry7łkUe1vJ1zSq6o? ŪJkVnI WM6X/  :gJbQmutlsގ̺ߚ:Ql֜gkݕ 3K>٪4WKoZm}S9iȆA<%o6yi+m3e6z_otc[f'5.Wٯb29UuA˨$s<P.^aPJCGGr r 9,O/F;*6t*W>OLjڍXs冩'ġ믪?ԝV?@OtK(9J5LlB1J&=*w-*9\#s%0Hk%@*fWQhSXڞf{zѴ.1s^W Zw %73K1QHt ̎8։S-lh!u쬣9kzXF@fb |3^JLIА?hl>;Qvf⢳\{}/L)Xk@D^s<s޹~)-X>wm=vȟ 3/97֙~qW<ѹ_rY0}!1rF$ C\R(vWlIJ Yp ~S,hH}%NWF[Q 'A6 I٠I(b(΁]6a>GpiٿP]1i٭t^,==[6؇KzgYZ