SQLite format 3@ ,.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   |'p,T ]/ HOL-Mutabelle:threads=4elapsed=2.061cpu=2.172gc=0.0007zXZִF! v]ŗXiɟ{(rkz?kknibWZ`bp }``gYZ7zXZִF! N~]ŗXi%TW ?bw{d9;=qVU:Y%:VKDAF/*(F_e3˰;::#F:KpGrӧjϙ6 Hщ펠TWa 4}`',ndا)|冯%xbUt/:B6TsE|LH23;J Id۫h_E/wـg_vMGzi!Ux/T}oeTp4C:%+62W#RY E"XS i!Et11\ՂEi~ 7О).z/Ic+D4gÿa.͇{攼F (4Jn\N9f72{I^Cnqn|`!ut ].=h\cC8M `AѱH-z'͍hUSpD!!dk?2e3:x/ iCzϑɅj-Cgz m ]"AvdT_i*f|4{a%L}H&1Si@vSUu$6h, 8+gYZb9091908eea08a62208a9859791e673bec3c8b523cef1131ffc36b5267ef54e02c39cc49de01aff8 1f732b8f5676e409931f4b9c5ad7c93b8b8467c9 ' HOL-Mutabelle,k'1!HOL-MutabelleHOL-Library.RefutePIDE/files~~/src/HOL/Library/Refute.thy ~~/src/HOL/Library/refute.ML9'1-HOL-MutabelleHOL-Library.RefutePIDE/document_id230"'13 \HOL-MutabelleHOL-Library.Refutedocument/Refute.tex7zXZִF! %]A-MՋhvG"uIBm5踼ºG:PO%H#x16c5o WAjG’Z_3#L (luW(N͚ӡoF= 4zxy bU҈dgfu"\5(ko7 ?MY.ϜI|]/y窩>+IddZXe>p8N#ag!jL-O(NIA'KK짂܂N# ܡ /uP R8A aFd!q[`e!j[H W5A ՟3Br @vwϐcL0Uf$,D@_֙};NqvfMեf<ɊW HlEcOgqxcU2fTHIٸKȭ19 3m6/Aej>g8*:~ kAFNi.`1UMu~j9uͱOSsw'Ħ]yb8w'8# /h 5C0rڇ]c .qܓW"+2 p§*ϸ3L(ŋL8 patXOk-8̒]2묪PL=|YKt[HO W|gn]0j:d nOc{p~ 7 ǝXRI0jՂ$HLe+_M<ͨ^9С.!)/P1rd |+u7V򆺫j>X=g8bX'IiO^T4C.O KJ)IL/ XJ[ӛAd6&b$unga)b ^v8 Y(X*b*AVXUvi7@ (WQGZsC7Wmhb }B$ OqBI$dñ1 m@ۉ}֫-BkM%f}!7%M~|):kMS> Ѣjr"R)jNj+h}w3.JfPm)* ۴n$nXһ~ZZ1FA$5Έ\)~B bMb!4u,- rG” f<0?>Z0|acfL)+[^a!Gh)Z.n ¶"#"̜U_f۠4gj/c OGl; Bg1nѹRj{؆"2:4Pq86(mE'g EefP0(Ө]Ґe-YIYXvEFr*։\1}Ԭ9P_|w,rG@#@@%?BEӿuwW+Wuˁ:3\y>wN! F5w!R4Dz@i݈~$CFa!3j1 %ZT;-7f\>nc̔( jx:ַhMVeVX9.׃f]vT4ӻ;@D/QFO9޿'s 1t|TCN]*d>qM m|; cLmH_<| F fK魧AwQ '쉛ٳ8'U0CC3ȟ W,?oPk{犧'G}10~2_]>hmqOln|(F[_ Ä4kq6K@&gYZl'EC LHOL-MutabelleHOL-Mutabelle.MutabelleExtradocument/MutabelleExtra.tex7zXZִF! ]A-MՋhvG"uIBm5Bq4C@8m(B w?< &vnuG>Z7l9?=ƗSOFFΖ*6Ç9ĸ0 ]',ٸPyT<{c7 .ԉ2b-۠eb_Q8i\>p"W_돲n|dqS'-tS@KYά_j.EW16knϪG,'%9[km}ZIK픊~]5ئ?gv 4C]И_ jy[f'{4L}38c.i2|!.KÁAa,cܗEoc'zzCZci FԆó[ݓ\熵E ;dp6oA8B8] 3:a6XyOhy^R2h0 ꬢSS$\݋ Xf>7an)E;}H`Ūj߇bzjB, M+ !:2SZc@[DFZ6d{ 잘:VKvQfDDdSY%ؗ)Vp*Oi.+wpM G {zU4VTLvvoF\(.ONQh7wiKqvZέ+,_%G 9p<@9v$gF7,ǚRY~\!ٖ\ 6?5OB4K,뾂oXKS]s+^ENӓtΉ^Tf0yw%Uٓ$) y"׍@V3j%;n&ߙo#a[*NJ5/龈5>mϔRMi:3FR Ջ4B<o1nmi,@aIBJ> TIkQj bU5;h+ * % !  G}A T <'E'HOL-MutabelleHOL-Mutabelle.MutabelleExtraPIDE/messages :'E#HOL-MutabelleHOL-Mutabelle.MutabelleExtraPIDE/markup ;'E%HOL-MutabelleHOL-Mutabelle.MutabelleExtraPIDE/markup2 ;'E%HOL-MutabelleHOL-Mutabelle.MutabelleExtraPIDE/markup1 9'E!HOL-MutabelleHOL-Mutabelle.MutabelleExtraPIDE/files ?'E-HOL-MutabelleHOL-Mutabelle.MutabelleExtraPIDE/document_id2'1'HOL-MutabelleHOL-Library.RefutePIDE/messages0'1#HOL-MutabelleHOL-Library.RefutePIDE/markup1'1%HOL-MutabelleHOL-Library.RefutePIDE/markup1/'1!HOL-MutabelleHOL-Library.RefutePIDE/files5'1-HOL-MutabelleHOL-Library.RefutePIDE/document_id8'13HOL-MutabelleHOL-Library.Refutedocument/Refute.texI'EC HOL-MutabelleHOL-Mutabelle.MutabelleExtradocument/MutabelleExtra.tex   (5WKnXTprUOaryzエE/\ӡFFL8ENzr8Q{wX] C/rd`X E"tހ/YhBѬI9^ݝ$"PAXNȯG(`>[ Bvm%T*nL-SȊ ÷[.7z]ZiJr$-I2v)#N4l=  IE8l>T /QWQBHFv<᷀Jp|]psi(XJe7Wd֡B|/{@8X90z̓r&38͹pD'PSmd2aP!yF@m5hwɱ2vc9< "T~@8~mK#J7_rC5r%ǒxm(ˁz4T}ҏqg—[YL*UIlM뵁$`WxT'a>,ݦf'_ZzRa"[ts7NJq|: "m! v@CY g3ɸ.l3\@A"ѻa$a2.2dR#3&$}W)meĩar6Y QmyxB3J:䏔!'Vw/Hydwi1O)xX̡XyM@fKBDʈ^o:ςˉ3F$+ie^ ZxŸT32;B߿gUxHI'|,E%xԑFIϪRH[wWp ,F~>ǐĀM#Ck3X]en_"۸MDeH< s8=$OUS ϸؤqa>z;;aQV3)tiV\R}&0rF r0>HUT/x[=UCϙB&t<_ag \cAn9s(StCL0l |{jR-YWJ+7@@dEGsfҿPQ7Ond|ZG|28{|q׻vez!^׋y4~0QsΝ oLϰgG f|mVӐo퇞Qޢj3-»h`yrQ1sgZkXIҮFxa@iO,-WgoN٥Owew akyL͗ɸNs{A(vNe6> (#.ޢuț8oCRkڇYBgH+ Z3aNܶ(ӓ[K9XH\Q,'G; ƹnGtH7"@TumYKq+m"n(^Q^L};TDŽDzw*~j,ο7x|>m@RLOXH}p3 ZYrB冻 EI~ ՒeX/D3Q"[szMa;d<#A;};SȻձ ܛ8}@ܕ7Z|\wz'f ]ˬ ' Y ɮMSӣ&-YyTc>bo"E[D- Y)x{3MTDނ2 Vfl15k1ޏy몵$#/[hZycE!'Ge0F.ȂJo;!##$C5) %R !ys b+߶X/js7rUS;=I>P%)!ȯ ;hj_ *Gvꘕ.1g'DBֹ4O;3E-KvoH`fK* hT^uqgf]uӓw qtݯx3V)9 b)uz܂NZB-VCHю}skJJ>2l:~MKb ;Q\Lo`nH8` S>nQăRkpn.7h2ĶylDS<2֓iRGg`jP<7//sMӎ3j> Ht g(Pי0d)>~zO(}N[f>c[,9<TD{ߙ:gG čՂ%q JR2&CT(7AEb>d^0#>3euVU"R]{ -[&at:,Uhhu k68k˦k݃Cڑ Nv宮x~]ӶzS.֏ig4j+Vg~&^e ,sד(rT͈սH[ق.P_3,59F1UCGnU^0Q\ ,Z.+)+w,|,^m%DY@5}@I?fZv׬s7}o!>%yPQ֨\2nL&)><*"Q5q/Q:? Y.H^Ũ1t UY.~vq4a֩,_+PY.p0`.^K蠖Q DdXmvxF]R] /[SarKda#˴Y;wȔ-|drM€O:7+ezi6*a. c c6J>D;qT@.i1GcHh!9+ 3<"+!·M, %#SLWi#q4E"[ ȍfֹB;鷦9E Ȇq:61-s#| 2XA{gl]YfKQYc`Ĉ<8e5Y*Ӛ O~KR?W${U1Dœ+z!h (y`uk74~o;^D| thC&A]G庢BH_cDWhсp7&oé)ML\Q @r.Jv@N ۈ# ,F#:AbQ'  OI+ lяºW76xp9Eb5&WBʇ0ځ|IKB5\P/I Çaxۯ"kkG<4:W juc(e?jӋunzX8,OT\(Xc;,LK<R.[>4Y]*}* H{1ߙg|w1:A*K( lO/ @:W%XKfώU]VTg&Zjid mp梫j: S;`(ұo A=X;2|Jq{;ٷc=:qZIs,Vb_!$0s9/ ,dHwVtٟ)}ȧ)8w™c`l_l,ٲgk9tWctֺ؄*tsp$28a^nc p7@j/:,Iz-1 .@iJ]5V`Ih[0C>sa[RlNmwݰ%^hfܚoϰ/"m_@3 Z#ϕD轠2noٮWLz)-1zF?3i4]SAil 2Sy$Zݚ۬)`ޢ:fHh!o3m0U͵UxXYڧ?ȃE8`KkSM:VKBӠtl-j)eG~RhK:jd}`z6oe$b&'kuU! h0n2{{"jy֡J9Y-"OA%Qd$F:U_͙! (EAV/PM-я%bÆ\vSezնQ!ד5юW8OP nZPw1:Xl4l$Kˍ)sew]#-n{I2`ٷ>> s7db Xj˯[opq>-\ٌL$x'lsiM[+(Q[›EJq{O/b]wNNDa} Z'#KV;V!kVypffnqB ˷}ga%%ߥ;5ys>>/;Rݢ|@suXhrPOZvcR_) 8)TA'\i#.t8fϥJ<./sML8K 8`#Ċ")@mID#>YSt}tLd $ =6=3 um+qT AoXDnpayp exAyԭa. B*J <`gV >m:F?=4쫣@"dБK\ T]f6;G<~+ٵW&6Hy*A&t; Υd*m%^ vcu}L3#Bv t -?&V\Vl ,zB|DI6ОS^1{BC(~ ƒ7 Ǡ9sY_N]La)P^3ۈNn^#b$s;w+}^!x!W=ٴ3>gJ =zhrGg=)nj6o17Y7ٴHE>R%tLl 3`,RhS__ 0~㉇-mC_St~iƯ҄>H|MR&- %P>~cΐCs"yp}8sR4gd {l/fH* 7i=+GVQb|{Ƭ :8kF14cpu患^m8/|!}nk7<tj2ֻ& D.K|0(yDKEL6b8ZkBӷ7Bibg q+TM}L9GÞwTѷgT28胿 6oE[5,ׄ>7TI 6k%aU]'(?e ?N! Zg k{({-;WD>>"6 #$;R}sCa^9DHޞ150t@>a4&&4M{=vƙ: ?ȋ:=Íw e3 k(lr˫vYqIcNJv?1k)e#n鲫@Q]zY_PkXc~ܒao&ET迮V۔t] ~t3Gݓy =:P,E׳R ى.L-MWMU+m`pr ڇZ kϛR\z0%gfwy_)3y~MRp= ǾWPHgv)$ "| CK bwÙ֊q܏ha1?P01E;^ +B6G}#2'÷)wdP|iݩ3#bބM|R2O[_´/zCo#eIN=榯7.ǴdCxB9?*̺w5'WVaԦ`{S$nZrs+~7$- Y'ۣPl;/=^]48sӖ#_l9:f(D]jF"cUdW(fR)H1II{Ӄŋ[MK_*2ͷS3 B_9-/$&Tt6Se&cz6귈GOfz'm᥿S$ILokFU&UG!U^A$Y_ ( lOr:ޯ;򵄳4C,u(D=3 .*#A&]]v?/eP'M # EA+@5-}J>3S*Vw ah&(:{L?Y8̶aM슀 Gzn~иd΂HBOZڠwri6%ݯ5 $T2Ub դ\'d $ ČM/% yuҫwWK9.g]> Vzi~""$ÜCn5­߿i%Q+M":̱и:: __Js]빓q)fWyZEmH~.g hno.sت-8 /ҐA˓v+.،m^7+UX}"hqآѹ4QߢFR'.WbTݑ=mXHz}H$/䟞6>1){k2w1扮Zm3vZ..xgcr#,) İ^O w]sJO.*h:H7~۸Mzo:%'}NE) r=Ӏj*g4}iI(HMrq͌gkp#)nݭc/&g{ ͓?ޞЄLP;dgVg؊DV(+?$J ә0y{KOPeAƚ[Z4e /i=,b ol\!Ȇ[&PBӧ=q%ܵ8gs}e:C?gv2f?+CNirN$r%1,746cu҇t ۤXᥕ%!.l.m7YPxeal+ "^MSX$3=({k-_- "PM.oʈ$(f>&zdl`b Ff3?%Í m1f0uj[d٢zA|UO ~U]:dEW$ac oxg` zpl= wC%Xk`Y1T/hѻC=tN Pq5AHAQ)\1g/(&)BB"*hugcctxhL/; t6,ضNr풃PdSB]N 0Wjzg@:غ`x`@>wӛc⡂gMCf !4d<[pU6W\kjP*}k7Leyx14[xz]4\zekԧa lvysb$ =Wst1];-ظ,tJ2}S社*,eʨz{|Xl@ڊAzQ-J{JWB! w&Gt"| SE"ȼ|X9j} XἭc){:15ŻHxmG#,9'&#N|~vZț]ԥ3nJoCUiik$HrWz*\ak[(Wuѕ^bbv Pt9T8{)Zm !y Jkr)v2Ӆ@j| h끦:b&O'˿,>#zs| a=ï@*[HdcżyV)g;ҭp 0&QDse4JCDo<1-ZfiA:S< Ϡ[77T+:[Q4ly|a:*;ewKo26cY{ڟ@mIœ(( OOrPڗ{Uk2U)w_ȧo#~]POxݺte&rI9C-{tG~} _ Bmw[PP&1SꓒjjcB@:YL,A1(2 Z-՚TxΨN uҎzJT#'7f%ʂ=0&3 KH0E(2hh*xd*Y@UMoQZΞfctQŽuɵ!ӸIGoC3iH_=`nN?t RˈAt Ԡee}HG-w &+mUD]̼l*Z4z;LLh$mPOQ$[N{ Njjlۼ֖jP]"̩R8b 7mmkI0t&.XMm -Y[ FF5{:ƭg  #<H-TgEhMre!mN'l3c=YLig+J̀[ 397)UzJ $7"YDL $oJu:4 Qx)L#nԨh,(apXD̃dKKClo|67x9 Ylf 8B]'AE:@CXռ@kAF%|Dbi/)ȉщ"^")y}AzͷE1'FpV9ZK(җWM1N,pQ8Uط35}"EACH&֒L򭗥k\rH ‹7C&wҵ9y_ 朕gZ<1ѓ} +A8kJa 5vnQ"%{cK@g ;;t9d~@ r-*&!~ya])Lfb @KVy1;ZJp@3x23NQ"Fxe){h{Ӆ+-5ZM -25 e˸sz3E@LvDƠhKLkɧk?Ѿ_.`xqw)8QZE,OK Pw('ouV|fSI1rM}3]X%vƇr$T2 ;bIٺە%Z-?Qoʕ^>?LB ј? ?>JXKLy=EP E{p Lawixk_פaJvgH= O<Hm1؄/5#,V9 E;G|6dア2cΜM9.i攜(rQf;jv¥ôKts.6㡃zU39K0 Uh(iĖvXzyN$5}mZ_D9xPoi6}%ͶKoF(aG5խa~|ZSH[s/wĸ?TBjWrU=ǭȴmGԺH.r͸5b|9'Jyᭉ/镡`Ӗ{aaQuJg(gLU` F9H@2sC`(6z9|x- ;./=0HGgFu tQXU>( 0=q I3C],!)iMMvӆ3?;5r 5.'r.P;nLoO LwGRŲM8[kB:RjhkiA !{n 3VbXq2""Opi^o8k Sdt=Xρ@E;4G[1f@ 󇺳pg';^TQ<銰]O;~ C$@Ģ _pueX!r[ J~-s=T|c5:|+|-nzHV5'ڠ[A_˴Ǐ FvO٘w7^OF|o۠l%/SƻmqRֆma{t}g :|X CKa}Y`^3!Yp!duwZ#"B֞o~1؀@M2Nrx :ZL\}4)q5$HÏqPPc'ͿQ a',I96xJZA`/% +jl<,>B' <(3a}Ewm2ms ]qMU^+J(Frv&قB^'H>`^H?ra`zKt>Dg( iҨ8ʂ}L2RsH PgCI+_uVFno\H,8lܯ'ı&R+Vɰ/-oN ;] m`;*8ҳh^aEgXJVTۧKDE| Xn5٥*s~PMscUM\@{"/@QM!a8C|&i$PK=ɿv u pvC7O$uĄ ?Gk'ӥҲJQYgtH&.?3u,:J]BB x=glk!Lԃ[ qOf]`)bۭ Qd|T:) C@K6)n󨀵 δ`!D+5drЁZ*r mBkt&S̞}G>K0Z'䭕i|~RM1"? Jzzn|e$m>|WP pa5$ZEL,'>_|T`y{(mC:2Ka ʬ~$Q>@mv5@xMoԀm 6:Mb^ňcԂ⌤BAh q+SZښ8)5jvD z[s};1 D4MxdZ w<;P2?Wܸ}0<[gGRA>~O >}7!=qtǵwbjA6S`2/W)O.kYmR HbɋJ8_T$&tdnjz ԸvtZиD!¹ (472l#zJZ5qN C)zw7 =vD<` k Al9Q ~t3p2!Ѕ/6ч+aA4gĄSGxj+-LX6R`zJ?Mr<=J1'Ɛu0[T$"i+Ͳ!i$8Y?VCCq˚Fc}s`58w[sxŚT\=;1oM РGdfkMY7Ui9_Bz``CJH#C[7Jp{.$ae#hV+&mA϶\.f'WH^K[͡YHDɪ.*h_ox-Kǒ0dؾz/S_Typ[]tHHYx} >Wy{@˩33pb;俣a X׃,n;,, }~ HbnJSz/W0?"T]u@KbN-Q[2=JUJDy59QTxa<D%KQkŵ,:Gp StRΈǂӔ7N y?= :nq0} c0xc~.ah䟍9>_ѾAm9ȁphaQ9:-/fn9a!2 6jIW;x!hmDzȗvc1Nf~gk**Bp1W7Ϝ3FeDQbtf8&ZY>؉C&l2%Idԇ.~@'пCPzZ %Пѹ6N患4}h]J9e%M nޕB+N]1}38`||/v򈮔]qIMX/>RW2z<4C0{64MX>Uo5u}_QÓ3%a#/Lq~׫AIZ}'q?&q E=e4~qz.$Sg$!㒠ɎA*H3&Ue>Cf V7麮},ƅ?g}+-HEoIZ}m<:π8ADeq'(DSi$(iɬ$Z/D3bR /Dᕶ“Z"DCnB#u8}1L[(5 :ﳑ<5ds6TD 5⪺< QQQgMbB00f_ q+,8ڡ- MKv'[r{Dq<:X{*+ב*@Ѓ~(}p9[]qfԱI(Yc\t{DT_fvGS. ;oxaԍ3 GS !'JX'n{z6*6hT}I2i-hk*Nd\$Ur9`w7pnQ%{A)t!s3spy-b kN@¬Mle7ϒYɕWT-Y,7`|5f;ʡ%gՄD8O&~iJax=WLr-BYIkȀe!ħe}4X6a&<] m#,h'$!pбGUW o|mꋔl@SLI#AqBRD4b\NAv: BДN.'c.5V)dET8ݧde-̸XRWfc0!@%bgk7 ;^*C&JR SPKAUh(=FrⷴMDt5E2=Ԉ%'Z͞W0<}( =^QQ9GWot(A=eK{)?@ sOQόXj 8Y x p_9LS=f l%kV7ޛz uK(kA$pۈ JsV z ٛp3oPyd21meFA]zK;lJ"Sf_ )Mk ߨ?R O|bv)8څ\HJxJw2Jе*$oE'ODCJ+=8nXgR)(a }A/ۖIIR[? k^`Eh^Ƶ~?\p'@zFyP+ԟvbkPfa^4Қ]?ua NvKIS&ALR+7 66rfBUX #1HrIMuE`s8u!XД4Fnކ*KƆb6 FUǎn"(w\T(2HRkA;=LRjKg=ֱ: IzcSQP3n #}ĵ{Tb4MR Vk{, 8*KkiZ_`L wNT/hTBŕjʾx!?ݞSȪi, Eŧ@p5S37M{1l= y氊<^ƩL; -^R2H&=u{ZK} qMJaϊ&N8cCڼē櫋h.*8@\{y7zhA6%q{×b$wnVfi'{~Z`vm7Fsw%CC}|L䕸-;A>UZҎ"ڸemrx?ehT^E!P?MfwfaS|^ǗbRYz$VDiꐿft0si]نHBCI*8 8Vp _|<6tvXiNO hGOui!~Y#OsAڳw0x"3ɀPC4;|B(~ѼWt@կኹUpjIU `엤ҕwhU$CF^,?A}Ze~onq[͏yF_e%ZS/mA@Ap't`}LE|n%DdqSPcXj< Јs/>9@Wv[_BLo 5i&.keE=*xaivr/Ll|= s' zڱe)=ĝNm,~U6$<^̭&LIu/A4' W:S;?kUwq[i MxZcR#H3%#<\mdzh"~XQ,?Od$+F؛#ijFM0I3xKL=%Vbw!A ԭlKb9,POֽ&/-T8\6JV-fYu6C'%i9ejekJ-xZ+Kh&>kd7~I-J6[5@Rl_C qؗ**1 iaQ=d>ν)G0o8رj'Cܵh:aXt4 }x*naɫ\7jEOnt-bp5,o{;} JR PC뽄͏R^vLWa~y?Y*7|{`$ j*rA3<^Q8_2;E͛$vQ8H[)G CJM320Gcŕ:]-AG|Z2o\RAP #-J)6ձ,RP~ai8s<_;˱$5ҙ;1 5$4k"rGC׃ƓVf4lG(ifEƋda6P9 ^;RV9ov]m%7$Wn/| |i20^`iHa/NE?TEAU|N҇JvK,K& z* 3 Ԝ_jF`u= ze˘5;3L kq\3Vxk IhET4%LaIwKuKG21k}}du5ãdturmkfxjt猆rKcI##(Ȩ?2~O_S3d"^wd zձ146 ʢ %某gt٬4`Ö)!<;+n> LpB}H3Eslm5L,a9S4ʔ'&P?sg@zߐܯ0/绛~؂xDҡ[d`%wձ6E|+$pYyE2iJLwTJySpIEWHD+B1N`_1_l-k*?m4M#hy.~ǎݫzts_Ec^+oƯ`ĺmqc`[8sxn^/Tj}h!o$SRxλ!x:? c¶;VFZ`w Yyԣ1}򿅧*-J`ƶ5Ė9KcFuI+|XVh`Zp.!9Y#wL\Vt<.p,Jt$@s˔?u!$vK)7XkV Q^>hx*y0K ux4F.݄lui[O$HuTrG` /wu&]*ZQ~j+YT5! '?3曺v? ۟'WvX )uf9hH$e \f"峓þƗ 7FhVĴ&qq1LH"DcMBR70A_+>*6> TdˊeU_/)t92ꀎ.ZU- {vEØ"|Q:xV16ՎGо&ZKAjN8gqw3U 3諓q! =wԞDgDЃӈ/z'Ka=,l:y1):L%-"e4fuB -F@ދS_.IG:`hFVfr-ĝT*S пE}.r^4=tjA>q_JT~pסwtty]u3kYn}fzM&5FL !Y(Y 9C^XϲۗEPbJ K"ACh*YŖTNH%{Kei@6?۞:X;{t&rXZ /xb%<QK`tccqu3F "*܎j 鴐4n=gH I (L}Ky-e3iWQ虁2"@Ҕx6@g?| NCmص7A`H9_?hl]|uz%/!YE]әYĻ]Cȧ7P3S;] u'=$J"9Sp̸'t|%q[ښΐ`y7jhyuRY.?+gʦJ_0%iZ>QO{JYh"U],Nżs;=%Ү6W@DZ/៴lэp.I?'~BJ@Ah`BoK@j sta\%e(ʗy'x䨯\볇i)(_AlaWJI N,ʿwpMKCfD$!Dt~u6 D=%ǤCOטmx:V|LpD]f7SDI/(v?v!њ<% C d/%d\;\7{_U yS7 pJLa_/0<+9h&}YĻ>N4Icej! t{9yJ']8;aFDUSG'cb2dzzzHǐf51>MSg5fL鎅ʄi811;au!hopwIbq(0Li̵'x1oQso~h @ })myX F Z j!v S#sϵ/ Z0z X8^V4uש{Qcvzg=fGl/G47vSC}Lt 6N_1&}ӑkFԚlSRkS!c)| 4딌t\;>\,u:5zvHhW-5Q[uO%k " \;ʌ;+ϥ/9ue4 cLor9, |d[++հӽtq'ܦ>)6/Ɖ-9r: lPrj5@JSȞQ0.GXN3o Ҕh`uhJe>a5޸9vGrKE:hne1GZGo ˂ǰfՅ5yjiߕs: rDžnx|u(Y5`?ݜ4rl]A嶢xge',W e2mׅD $s0@_bbh\߼\qU2Z%$bb4}ie~S= صc]bYl}GzeK]j\C7)t"?5* -:HlA ,v׎gq_:!($?計]X  p$-"[ ow>"͌I[ʖ&TOӔfɏ4h=JD{p?Zў9#d&l#%Z>@YsU×,6\D3!;=ᛁ O6nJg(Y6h0Yflܔq\a"$Xif}Y䕃x2ͭH#+Xo#y,/Mq5>kzDCrfHF^%n5~X&P}d`UX-K*$:qԔ- aФnY++l?Rvi0+ zewka4>G[REasHq14>@+e&1} ,^ZkܾkSo=͆T7.G0潎AKdZҭi1^ObGuqf#GgqFZxt[S |_YtCFÉa%~?PW),򵨴 eUVClT%L, iqҲQ#> KTC: z$mo2s3s",}l{g?)1Z[WR(~܏\ GX߾f]cR__y}Z"v>B| e8?dy9"Ӓb5vqd]a~媒d!sMLg l`f!f@ZڝG潠(~$'ls [֤%|eWx6`|S:`,zּ8>8ݐ`*{X@/conW.voQX5.P3|A4X P" 6޾B._K aB N I%8@2Y6}sz,I9?\i4kv3å7O (+TzfduuR$gq}As: 6.&~䀈M+;v8gAt'8eP%SrnSIWkݯXXe S, l؝JiyZk(R|M{q&׳za#N@xhP=UzSAp;Q.OyG3W;=u[|sEwn;qq 6;{]h,[Brq |RZh\!q #k o! A,HW@y9uC8d'T? o  =\T;5$d0ϣ^ CT A7M/[%'ΏfrZtO7 ncgUDRnj)^2c3ƝCyv}*5m 3؍ G }3ߵ&ypI?+,!%>:kG;>ue^|Nt{kc)$'{\Ƃ ى{F׈}1Xϡj!tiߥ01Vx/aȡl0fsptab=;;0Cn DTWz).qϣ6tP2χl{ C^R4z)~$vv*&z(vNXfGmZgja<#2 l0=L"ne6~PV[j)S/$ǨP<=eN)%ZQ?0B{?&w *5j4*:i6!ie#a_ta֘S'/a\G#DZIph'GaQN9$[S4|cc ZҴE+W,8 X2f5ohCm 31k Eߞh.zg~M0J_&m!T'Ӌﰧg0*cp 3cR%޴)ss_of%~fM[N1Jɗ0)8yLF(,Ҙq$K@8E$e_B3Q!BHŽ{nr:Dg+],k̒Nz"_Q1@ &BcpI33`ٟSMhƣ0l>p"؂R" 1^SaZe+w74ųeyp%CNiWC mdUK8(]4'_+0i1o-EC?چ PԵ\ƿfpZXZ0S*͠"c.<0Q1u.(K $4 )-y1yMќ;j7U 0Drɳ(|9Tb6l,A;N _.g+!9ɚ?qj.+l|NB<Ȩ9j, D:d.£Š4WeQfT[yARa{wx3[h lӪ,:H-TW21# 9@&nl9#o_& HlJFT.y/udBKЏ&Ю%;X4Χ@t^mTFEUy$UYm%~6} %? * >M0 {¤QF%S ?86&JLN# >~sIStl'{"nOuL&sQsVR; ;/}KPםɠġ<^4x7&شVZj!H< N^̊ 3 T f8V40 %Y(rbr2^t.YŢI= О⒘уBn̂mea|R !(j\x$+1傀g` f5rJJ夎mٲ51\ۮ̄YQNy]TWB!8Ͼq~ϣV*b~`;|?SHCU&uNU lT410L(UoYRX\S.P`ѻm{K 3ЁTϛ_~hO`,CSZ5Pb&ؗy`V'c8{iA@Wmٞad ]._8נEM4qe}re }/smW7@w\w)%uo5;c`ܾtethx/]Vh "Yc8Fj!5槄bҀres*2LK6UP ^ Bតnq|ȁBq׏Qܘ7r hK*i Uw.c'uKock\6d i ^ϫ:?q~Y䆻>o/>Ol 'S!\uda =)e;ATu$ 41 &_ym&^QxhaH'_xHJ+.^S?DSU9a,Ѝvqض^MH97$l#DtjZN+^6\@)8Z}+Oh!([y݊FmθM.EIcZ?pݟ7ZsJ**':KTUybS[`gd &^N. N"Y_1z"gPfNA k< "a1DR5Z{!AOPϰS ha^'"OE7>%RN@'mmkLq2 TUMpvv&L70rC =t#tӗ"@˭s{jw;l+_ZLB!m3l]'޻ 6|si)p,l"#Q#9ȵkL{JU-H0/Qgˊb p7csREIssqO`Iٓ9V[uF%%JXW·CLJ㡘 E'U(fZ/ qq޹p *)2߲H-R$DQcž?oFf)KaN>|a%}!HY+ dW̦?nQhӪV>~ 0 |>!ьo#&D>]/]6aj_t@/>f XjjckIBq[ow<|~7H3sۋt4gϰnwfaN/.e(*iɳ->BB Jŕ(JƔm*_Wk0wAxĐH=G\AFU5}%0,ܵە&/D*<IlK; x;y3LjE]hAސh ,fKFt&0FdW[nDu0n U5KWC@~( SaK,=m)zB~@؂1$[CO?"0I* VyEӄJqW[P[pݗJmOvͤlĻDd0JOž}EYz5jAm ZAc P(/B ;,_Z2&.Z˜b{QeǤXOP{+9IP i6x3~t 7# ԩuZvji*yO$BAhL<~`TWByKEI{%cuߘf*C <{OhtC=AS쨲U5,`} Lq`8l2)N\':8b5cmbOkx&Pjg$i"2 QUI[P# t<1Y&@Rҕ]0UL# vUUF1&ZCS=ĚUUXpW/ t UräST(QD-4K8:"8΂qt0e{ 4ں0ͺ7M 0r=4j!]JГ0ö"|"(H8K,0udc:Iy w%Y"e6r H1#vf"‡+G mgKD9z䘻z9g\^ G$p<#nSAO۹T]F̘31sqјN񢽴,YzϞ^xu61@D:PΥv{ٔQMJߪ̨'c;~Qcj}EAO Mf凮'z=*&#G,_et77rag @u?[(]:,^ J-Us-}#X>LH#}цi'`FD)^:nCbM&DcztiĚ@pkܤ'AHT\D .[Ncn;_h%9Aod)c*-'9JɟX},gAS)w~FM&8m݈N 'NJG #.-)JlVm_ ,F^M)F"ՐKU.$%FsH;EܣF (#(E 1wk RX2|;Zj TkDM~XQ.K$ !Րg>a䰼M!3Ԝz| +|MK,/?4Ī5 ;gMoW): hkBt`fGRa:e{ӼT b]`79- 6%,׌s.}}G>Oon/榾$&,,w$6%40[7zwB&v䯍⯢,[%uśN6}5Zq⠖>L˩ӕ KpLRD i8+5U(q~5GCbKنa> uͤۏLwflnBsyhXzrYe闦jts8Ws7u+(~:BߕݲbN#W%8?6;&Fˢ0}GX4a(whs\ g wg~`;+揣ǯF;uF;rc$:\Ot,r*bۨs2Ã$iWOuv{WI30w3TyF$oû*MZz)ZsAo$z/)8; 9点1|*UTc_SgAoQapm@/.AS^-*]uydo#؄".ӟ}):W_1",e[w0!i%3浽Ժ&+l/V^q3[? (NY$ ݋sF[ax9o"/1Pz-M YgWcg9ՃM[=;Q_R x> 1kh#&cY,k}32Z۹70ž$>';:aNq`rf !O6IAK0\IJ2K֌J8䧜vJhњ0ŭN/ЧRȗ̱QlS!}CSQe k}ٱ)ָƤdJ+EуvBT'%$NcҰ6VT@QYFtӍ0җqh`#ZPs'(mZ0xrM\.o7FYNrÙy;sc;6k6!I)˹ăNQ,#]0#MLM}?ʶ 9 wNmp4-?bJDUWy,"*B3o;־]y{K\q_xH7d9*S yf?(!& ۋ`ǾVt ;cM85T 'JogrY*+QDcMZ9yB/y%1I0\iyTw>3^tS!^:h(&01̌[Iq['{$.Aƒ E1^ '(^Mz*˳3l?Pm: P: =i;l#nU 0܋U͜kzs^N3$ }oB'k7ٚ_mu~΄} j | M[qE{v81,rDdd]p#2OZ\\|]lW8e*,q)Ԭ|HLԲ<7QUCO/P6bߕ=_Uc6Lm1&{RAۄe&,ˬ_ER)٥M ]N]Ӝi,&@FEoa䗴m=PMk1o̽#EA9ЗNEErm{vIsԽl7pJ1:墫~DC MQeAWNV=׏i<hlXjh5* ;nF2%B2e@͟.@赸C*҂i)#~ ԏ@#<\N`AD'CJD8W4ߧH/ Pg5_uM> ?!-ro|k| DE,T|tkD 4}t%hC˨rnީ3/1XVg6-;`;$uIw-',hߪ, GvuNAa1&rSVӪ**6ds fhS̪Y4 *m!D"eYExyŅx(Y!Hb8Zuf z=3ISi' n.WsqO$6L045'k.~.f>I!ffL.f Gkgz+Vp>kѨVJ[ZF CC/`Śyb&E l6Ks|18}u襱S .Ss;+\&gƸOm6{1,Av|#c>D?wҀH)6) 2󾸎rwTY5tYGٖ]Z2ueR÷جA2ҕ,U(- x[ 8A7]S#ch[M% L2Po r@纆4srJM9C',_c%%3}[\(tyZ琀9EN3oxk 1LAxbX~lͯ訳4if_z,R~1[O[k{gunQe)oL̮v&QsHE=W/Bͮ%i &FR:I4oDL%c ׮ū+dk .nt"PbSFj3Tdʶ޺p udžH[Oڗx*:^3 [ Jmd@ˤ|z}f1$cFڰuzXuSh1Ǔ &A:ɉ.Hg^gMW_Ilzh фp]GL}s `彯zAdd8GʆM.仉Lkޣ&* =( ij@8.syw Wmr5 ~AQ=4&h8z@%q-5|nZ ΈY3V*40мJaia+Msڏ ~7}4hED|햹l@*62D,NI|DCS?6(WVF2 gC˳ ~@*ჭHuT ɠ^Fi OfƁ^QC.g7tR34ԣk?˷|VuቺMDiyʁ`Z52LU˷@fr˖I~JRl\BXfY<4Y= O"S*bnG8@U::.ZͳL:em( 4Š*d$O5E`;|{&x@W4c:ӯ1bә WP?|L6ÒqUX >uUzd=WpMe追( ĭt^j^u Bx'?hB,YH)-O9;WI% qp.0MM.>G.`sאC{RB))T\ׂ^qhZnG+2ߦ8K7*MטSWܭ]\ltJM;qesdo˥AHBy)nngspcxB8L 5(RbF6n!iDqVfD#Ht mhoUwfWy|sɸ*/8¥UGPj/<{qe/q@kz>i,|KP@5y>, 81 wK,n:r_Q}np:ٖB;C;0KJݨO 8*pS  #\uK=y򲺦ϔS0N%v/OzLdx mBp'n6U-Y":6aE]M/.4Mt_]po5t lCq gnӪR ~,*ѿ>ɼ,dvr=2EqR. }UwpclS3 8MAQ]b09!u*nKU%)n`[؄bE3h{P4D`cտJzwUH(`U?TbDJw}ȾUţ^p(C9Bsg}C_w@퀯#Ču,):{ 6:{ʃ ;{rN!fpa͜Br3ؼ x73v[ƅ*٥3Ѹ| d+RSu!} T#:rϴGH7h\bMr]IJzUi ;CE(XIuwqpsm*͗ {)lK, p!}D\h/kMr :dy 6˶}]R!@ \̧1N}rz@j&aHq,#cB<X3*PHƈѶ6 wymQjuTY~fV4Jͨ?(2RdzUK@(lťQ@DTWV,sRUms58bFaŜ':'c2Pհ ӌQ6]^A_RUGu G*jr} q5{j+XB_=-cR<͚:3ڕ "fCoe ׂbVoMi87i:duWWs3γmG AbVHVHwș.r0\oF 7Ch$ ݦ$+Ѫ˓f@5bk@9D3]W6f7Pf=!vx[+>Rr!tbٌsTI7فkS߱&s~1pñ.j7~,]P{o!S@j}X$k)a2znaD 7a٫Gz:9l\aܪY;Eh{LFa]7ypb3F'Jl:Ƣ77nV08sm]yG j4>C\82lm^x(1`x!Ó~BpFWXT@@-aZƫ|S빘jxG".0͚{OP\1he#혋>b@q/VE£9 &t <V+E%3D+LI.J)Qy #ѣ1@W,Tᇐޙ7,q絵םxymTh/g.&*A7!T'}s ̑y’A g/| `w`˭^Piz(yb |IqUvȉ;i B~M\6.2_]gdARt?)Q#~g 6]l )S:Oo>nsx["Ѵ}įiHRiќs|v7׵ҧe /|­S+UZ,SW'v2:JF>I7Jk/wy@*.\!-GfχiUu[LR̪D9Y*aqO+3b$$lS݋HRC/b=A͕r)ɶI i~`ḞhFس>DSGpKn:`!IVl*-X&( ?˵"#'3vn8+/(= yzOB N>qph{ye~f ApM_׎_cSW-Tol<9\P"Zըq#2UI 9ąr_&#&L#G E+l2)D S~q|J,~֙nGF|G@xHBkrrwʘi{(\YP7UKV;CH*igL;;MKw,9)Q$HQD0,yvK~gtk,o:b_dV Xdv4ze+0scE9ZkNtX _ &466-Sz.CEe )WdЕ[و!,WOǗ/VdRಽJ@>79'~`0W un@3=SSM1O{Kiab'sijNdWN/}zN3ɼ]ޯbTs[vFQ:p1lK30ݥ@pJɶ\!:MҥL-Լ0*/}dxD Kt|+_Wmi`b)W*H:ہ>-0gʓ)OvNjp7&1D[Nښ~M,z2^6<ܒa:&9(:^?)fUAJYh/ypq[||0H *MPuw] {z-!1GY^@ᬯ1A#%;)SH{s w%|ŗ`"5)O4"(atgzb]4_8"0qDL,;$w,ɾpN\Nzr4d.yo:U&ܣ{WTR{_%{Od1,hN[U}Ew! B9r+H.G' Q!|+N(dXucSN n tv0D#}\b!@yaH)zs4R@Wv::vQ20ͬ9t~.~F av8:4.8K # ! C6?iir*^';J$% kZCI>4 `vKpn @ z860HCb"M'N[߉p8_^#WLW"'e]J SPJz_m_2uGԭedIɝ3!j*4_eDES?@&%#_!w.: kKD;Q0?YVK$n9eˈ=9XuMB#[eOAPEssu2yfdV2I9 6Fx!|gDUxQD&fCRXj'])2Mf}oZ3y'3NveJ݂2tHсtLUcaM2rW. LJmvʰ:fՔQjXǎTPy/]˷= ?NRՒ|4d[ (QĽv7 g˒`p[^@qSI:i/弑R~0ZlZ 9b#xF,8QBvq{J m1Z>eaM0p24^у(qvYWbh0@8 ?J_݄- nŻ&κ}Ci[kwdkL, 9/7( wc`ua#Z9.~ƋNtR?Lz(9*<h\.o׆8Cj.$5Wւ'ʴiSCaS|CEg:I-'q*p1%Q.ΚC]v] #^ec9 dK*+i{o '{F!@i4Kw;%yX{M]=~-ִA"_STEs#*Jp*D'LvAEyxTږ_;qmWogJR|wI^e}Λ80-9q߱B(݌x&@[/6[2YhؕgeW[ݟWPk}-22>&.A[xa;䤮R5,=τﰊCr//FdzSO%We' G292颳+tEypգWAΌ{tGǮ ӫ%\QHĠ7E[:JX|_W|?w\\JTұXvʵwxi8VA2x vєA;&%Y3?#t- 4YV(,ۺtyikB ey b n*)TVeG |5@ Wd49/DxI|qO㷼lmAV$7hܸD,1DoLد7}؅ce-MkҾ>|f΢o& %ihxGtww͘A\l2I{g70FSyƓ@l.-vg2 0)@-Es]b]|NXȳYي$%io(Sқxlӵk VWՅ$MNj'RIݛIuۂUB, hO>?|>D)0ډ|*7'!Lww໠G{}_R=<06g1vzwBkezj Z ])@2⁌!'f{-0O@rg+WAD) ? =qCָZ jBGĴ.[n^ĕLLu+P˜v-42E6:R@eʯQH2qٺnލlAķn!\IΞz?U [C @'WlGwqV+ԳV5& #$Sf=yxǾX֦s`d>ǾB73=1QKz`vu-fϮL\B7S~$!>`4ΘeeKѤs}~ '6jϧ`{V5AI_LiWߠ5=8km6v )Z/:Z@QMcE<-yCi'p}ؤ{{MX+p $r!UсƘ )8hWp+sLns7:M9s-4#ZJ=L(?܀jv,9d_?_ צXڳE˺<Wq8o* ..3hwԛH򁪝WUQܖwNmx WÛĬu5 9p Z+/bYUf(*soKqŲsHiɍZWWo|E ox,Ώr,v[a}u MA2fv *\֒&ZIg ҂As!A&N|C-2@Sn Fu${t#"L"oaDzq&%+LprBZ8C_U8X]"#o%)_,Xn<|DmH{;?hԒ"re(W;,٥ȋNQ@rG9[|P%[U ZmRp<*[< :KAZҳx0Ͼ% 5፳.8y^z$p:X?)u1M sqUV boB2T301=\ 괈b)cSjOSEd)Q̿ wV Qͣ%Md6+퇃C߉ngW9N0abGoSJLBR'Y}da֝cTy)Ђy3B p Kc SPE+0𳳵/~zkw2r$_Jk:G:px1Y"*2Nj}ڙW.M.8ch}7g\Cz^FKN7N2H9,cD!\ɹA8 }?[n&fqyU#Pz!~p3߶L?IP[]Q`>{jM$y"|}B2#|vRU\?Tx0*7aS |ZBaN ڃf!dK&h}*Ɏ{+x9{,D[?gk/"Ff[En7ĘLevxʒzDBbY4FtM]4ƚw/HЄCڀΠZ0?VaUn^)0{5%; ,Q*(]3&KwD: MS xF~6sFxi̶\Ő<3`ӏ/(µp T}ĴlA^|1#+ݖ(LՊeM@g~%Y8QMh#e0ح)/EdR9>Y3ͺo й=Iqy NMhhA6ڣfA j`J:b^?XY'ԫ7eٙ}g|a.qkaR GOT0*9ߟ+<ܩ.2ƮۚvSȌՌr<ŪkFFgřQ(%MأX?gk悈$C0ʀF)sakEтXGeՖI>2cZ2y[V1C`]>R}V'? 2 WW:L993A4y#=YgÆ`0f"6t漩}7}G)R~y*4ShO';Ep*kYSµ}̅n/ؘ/X6u1j sIȊņAj3\;ISx5OzuVK68$߈fe.[xO@D4ST] oL(ʁ"Wd"jtB%9F3(ws$)Q8z*h ! ZnI(-xq‗ء_C^$no|^/NF4]Dxqڊ9EHD{5tw|GGaT!a2C0G -Fv݂C< @yZT_I>-&R'(kC$:ڲ8PѸ2Mb1dʾLPTB53moP-KrQ`s%K4*J/[|AV&UȥBTEY]>f&y)pzvœKF =6Vdf1JY#UKh pg5OL/=P[_g9aTiմML~+zˆicyuo8w1㔶JL5w7WwkتFbtȍUT|$ lM/|)jk?c`̸ ˋ@pkW:#[^xejOC}%5"6-MR_#%ꏌFc>By'G!2i#$ȷ7OBr mM9ճ>),_)eDJm#XMi˸nܬ @j?In A ?zdڼAӏ<\WH'|ITƥC]A@BMMX +w>urׇK^!3u&{#m}7JЌf

5=-SIDޯHߥiX 614IC.NOK>!XpK0V"['3C&X^Y۰RmqlY`aĸ%:y^L.maі0윙|[s*QBڠc?N>x/PZmgY.F u +ug7 *^Sc}*,|FNߧۧ~3M~:'GY'4;RQ"jIPf0Y u,ll…[~Hk2]'%@n1LNষ%] . R&jxU@NQ`tU ᐍ}gɌ+[R9[JMy6vH xunӁB{!J@n|GbM-+ .>;]ܚ(T{r,9o{|ѵigo;zJKr_Ƣ25b)q9_^ wyucɆJC{QVi筲 AUws'eM6;s=,sIꅾ2ؑ" oC}?\t2B <̛Rj_SDUF?|( іE=\յaѶWG·yA~(ɦgw"ߗDz蟿bD \$(v&Ke4 z1_r~1Irs93gu di;z yJJ8_#h#)iGtѦՃ5~S3x9l%[k-X4 r&rpTvn- 2rVh-Wɮ!Wt'w2AE';pmClow-BL%6C (aw+]ȂTc}^ǙlX[5zxYeVU{hb WBӆ{IP %56 O1rt LJV+E_l<'Ɉ5^'lv<.cHCWx"w/%x"|$!$n]=Y- J+8 \B?vD@WF)(o+,%Kݗ>]36j!)hL=W;&x5c3I`8z>hMd?9 x^h限[ \5'*u{a"$48KAu@F$+Z$ `jQ, .gxh"pfJٮݢ) }m.eFqHR4ƭ}r =hb 쾷tzRb :Y(~Z5Xq}vcnq_.:doX_DSL#i n$+`,G&iޘ3Wal^(82ˀ!/JeʙL7 4!2Y:O Ǭ+2sһSt sBM^ & ոjޫ:=:ɼxIZ!y~ 1q?įZd[sُFJ(CNxElWAMeap><ɱѢ(QO8V āgzDqsNTzG-؅x.NgRޏ` q-}4FeGf/L~uLU9 FӅ9"an !YP-3빑ȅt|bRFdѩ(NA:<|ͩp'Ѫ2&"-,41VoH5DF [v! Qѯ:r&A D7m 4sWH]|GTO*D.YFG> j /^ظ y-ՔCS96 S&MZGAP&ӧd/&jSU BbZS:r^;l#q Df"T&HRmWzه\/oYQcV8ǒU`vlLyv/tmI7dH݊{6ouɭόiO{^-ʻlgj*7LNߖ•E':PuPI~4\#T22)&b|ˑ5^BZeѡ+rjDY<j~aN1˫Vg}aͤ4c[s넔`Z [3"dRDŽPw qqŸ Y|*R<%" -zGt4%\I*>zʛȫX_S`esbW 9s穻0^*ec <iVK^ ~ hqĢ8.;XYR)|c\IYzE*r(5U Lڼ_`׽{Qє=63Q)FᤁXF:L5;P>MOnAc>8T/Ѳ#JpѦNnb5Tfm`hn`slS^p]x "Zz5B?Lbg20 &(8 [`;) B(!Lg؇0L6`QL;9#l:U/dq*ܝJb]EUc"i]-AmTe&qFh'(*77l$}QߖY`}LȘn&4[Kn|0qңfjMsn<3J|[6A 𤁝/^ Ï-iUi|*~!\%9usJ:nHSчPcӢ7|O?Ь%/ȥiU_Æ@QDZfU)rWF!Q5h9/DU <vjl%~y;FݖxwU6ð37oK҂m10`vTqDd斤Dp{b9">X*{jZ*+-fRe/.;ɌU66|=T5.nr-ל;\ݥv&r&*kP#Vu<5ߢZD X ä'<%{2M/)L5L7OtVI?wn <\h3fʣ l&3=2-l.UmC!EW.2jo9hN2uEWCVzǤ55ğ P2Nxy8c^ȯC.ȢAԤ< XrsUF0>$њVwsg,`ܟ6Fp+\>`lNƛxcVQCqٟ<]`ܽ`<<+n-Z^u֒Igz/=*ܣnwRRjy Yۨ,Q?L'c~u5_-ݜ ZXddH$(̶tT͌W OEF`hϬH8ͧRq3dk~Y^< ܮ+CI]yKG /&R -VADSOmOBgBƵ&j䁂 {{Đv_̗쳊/!ۭd -6<}e;5}TzRp+@%alVL[¼'aA6ֳvq)*>yԭK|!/7a A 5W}[h_~97djdHf'd!5v#ISgH)$Y=Nu#apyL"p$adJۏ ((B8Mgׁ4=xWn tU} *`ya&->gj+䇀~b!٠^{^F s/Q[xӸv?6CErYۤ;Q0;9DeqjpGj:>M)4 R| >=ۿ%@ˊgJ}b͍^@襹B?y9J%GIG2&JZ^?Hr>R]X0AKhKJHd.VOPC&vb}M5r:_A@җ.+PURb:*w]`SY,OE/ ̭swV$k%xPk)C"J wg/@mI PI#c9-$8^j[j7޵WX'A7^Mt:OE$_^|)0ŧ56T1z̪px] /Wu~"eAl4/, qgnK _ CW8JJY" *8?zPz#[s="0#L9I}Ȟ?%M75VZѿML=mM65=e׵cEwK7i9f6IWsF}); ;\ U8̣c Ư {6X~ (_f#w]W 9v4Vo̍$j7 F@I)'LC q5ևxadZY&,y\_v-}f\,Uv2 {-Pj :Tnti,%라3#j(Vjۤ9k EN*ޔ7OǥdB9B)Ҩt#O=w/S>1Xic(FXZ ]$%|V8uZW0>zq/jV'ic-g[O|~:ԲܻhHbGpZy7b Tʱցۓ"sŏ W" :نB=(#`G9l~ }oV?*Tk.%g?nShVαֶ_qCi?l ȭp:~TYIL1$)q9.ICdff̣:ւL xy@Se!b>LM¥7 Am@:aWq3)1m,D4/X=AVrcXtG>a۟]N|tt_?!D/k&%Va>ǹb rm}΁JPae jam]gz0*n >-LBO} U ~A9Z;93%R!_vҗYT+С Ez]xخծhsHF| iVw8]5״3#iH[+?q>+Pb?- s5羽fxd?V֨WEC3tzz\vgU;M]yM.$+FEPZ?/c_*e>:gjN6,}7ou6^ރ|~\۱x Zv7_ΉY(3Y3݋&#PQwUO} ֠1WoX0ѠmdոdzJrh}˃8Q:A;Q:Dm݈PjhIH6Fk$gWz~TCΛ7 y*7E{ٷ`rF*oVQ-"RGc5o{D(  Ou,!N 58rϨjwT`:|M% hzs(rwcՐ|=Mߺ<,)zpBQ7ʊ)*ZUk+Jekk}FԒ,y Wk|#f:&yIfl'%{[⳸gµ; M皪ըK wK;,S ΅c:2 OD:/JlDz2FXSKs|-j9*-YXƁ"\b:PH~P^oDL!}ѯQ80WIC9z@kٔb.Fe 2zڋC'hB3M\?95Hq[hXTЊ rQκO i!H n%A=<,lJ_8 _i8y./ mv*~C]w-㓚PIO p ҫ1*aHL -3qTX-Ze0$8dݘݒ 50QQ 6^ݍw6Fdzj-; Dz+- 7ڰy9"$4[6fɶ ?,WO^iWp u(f\#E P cDMbD\?c!9Yhawa6I;PD=zR=G' C*ĖlM_7J%y<\+drR`v۔`s[ؙ}PNk/a0]'NDZO]לLU^ NF-`z$I(캹!4/&߲t}uc[shVv 'Vك*C7ņ`9]* <Ίِ^%N5 U2V>`oKfxQP:[P/V 2p;н|*j )9U;ʧo?P|qy <\@d}Nl `;^=Zn[c:$;b]-Qɓ?tO0~o}2~;b6\]jtJ+W6/ۣO_yUTkjQgP d;[sYXCwa آB0]g˟tITI+0 I`[H碪'XT}?9<<%Ț4`+ϱVTnsP npol j -_LV fPi.%v--2!2f`׆{^vj '@; !ʍ `hdw$u5ո-oOf ]rHgkj/tg!V TZ]JA>DZY 5D<Z36pzոz %MP|f҂6StėM9ktۗj#̄f[ل JܓNW5=Ď^]> NI4jt^v7_ʯ-in|dD1|ņ醲jDDXUVWQ !Yg~נLL<ո/'A#m7 _Wpk:ǨWGkq'ۆcs*K 0m\vh d7e>#Xvq&UR9jet)$fŚM=!S|x;J% aFwt 6S`T@>ZQ4ۀ^jMl@\)^\djP+YSDy>a;P\=\5gŏ&0AX$!آ9u>aPxcy!0%{R>N$Uȅ~4ŏibآmծ@\GFefzⰨ‹Ǯ@{Ϡf(U3IH3ft K>JOYe6q%}6ʼn>o N~à(Q {Uly} .?6ɻ|'dAgK@+ED@9zftb{H nF /2kfotK $Є Vwn.c88_? ?Ӓ<Ћ*Iz 1Vd,!nyn Z9 k2q\N<v ~HM.:I<0sb0TIK kpH j?m8Y=P*O<$ЛfT%u Sv~IGCI(}A?妛o^?o\=k߱F͑` bVکY+@7w$/E?(V+R/Θѓpr:pGk{SݳoK ֻ-#$CwG-ŮOn^[Xhh Kxo?%(g!Bex/dnhs%V4,xAt 2Hk)}EFHύ̝bGrsoX[&۽]|{<ǢٰgFb{@ox3*]^ ,@%sh7gQg=[;#=]FfAY'+<NjNs7QӂJNFr2[9 q}{)Mgsh- a[K^ HcYPb``B// =21D8^iEx$p[xUY-gH^e*kro(Ɯn'ǒV r+[oށ9y&5o=ePԍ P^f5ia|O9Fb:Jq=R+:`c4?W F jB$4a]%nr늩e~Mg؂| Y"nF *8>M E0Մ q3EEgWWN $y6"Ҷ݅Oy4*Ș(1]Mh _x/N@\ #HC@v{S)Ou/) lW>4(x%Q[*dEM;Oc;UN 2D'iv zUC G){PNf3x<Ɩ2(W$ܶ>Icz_xt+9RkĥuUA ˇHj>~dZj9O_07b9o0l+͂DjvD&I80v0;)}u/g-.KҸ㬕ch-?rd\+U;3= f-zD\^^] ZY 7;Nӱo,{J9g%; !mC$N_6j qp2ލ |Pٖx7(~S_finxj6k|sk"6N[".b"=mۙ.g>‹1i7̜y WBkM"gDf*pAQ9J:wW,{/GpI _]oe(֦v6sV2oun.5ԍ2:Z=w?o pG4aZY[!k#Z,=߅@h'Od.Z@A dD`H9!Ð쮠L(9F#"HHVPru:6fDy-ȴѤ_֨P '6p<7vTz e{$;1[(\lV 6I nq(7pf?I~ay~#v遄Z:9=1 \:|HϨWDk#2䟧IK&!riO4_:!M RԦ$#Eo'[3T0̟fbޕ7!C$?^B~oq|yqCAT$b+9t/h3bO/ch#Jtv8PVQ13}&:"}ڣ'FX(9i>0m-Y.)C]͠JCN4)s*lQlArʇa+ *j( r4XY?RTbʁ?t/΀!Tq"v4SL!Užs/Ϧ{O*=>ئMIm8P{oЪNwUOOVY؜˥_DgO<%\\| H^ծQ.H7ݗU+אlV U<͗0 lPO-Oz0f(yb+re@qXm@9+1즢1֎wKrm쓟c֌S lZASoDD⮪2m趁t9|{o չ49BW_F9Hxϋ2lFaOq`|w,ٵN~vx-˘rrUQ,ǿRܞkH﵁@ v͘Ja {bTj .+R=anm6- .4TlĀ*ds!]p୉ WUCַM{ܱ!X>.=A'5Uyڡ &)>HFQ*} ߷:V/F׻Ho`sor!Ś z-zSHyخ%Q$ůe{lY’0!128 <`Ю;df`lB M1̎jSr㞰ۙqy] !DWa)aG 7]m21j}nΊ15yȸSwR>aIB~uziB.+:,B&JxPBuDU@uz~8#ia4 u1͡tF*`ŸР=qvdHj:%8P ն#o^?A߁id~MLaq/RdӻBABԘ6٫#=4gT<Ұi7\¢۬|RG@7[ !֟adRI+ :_QM<&}r(Ɖ)EJy\LJ*34X͵0Ż E-MR ~??V9^P@IoTBY=`*dz}E%+БkBxՐ!]:@wF&P%0Җsas*ZDl:M~Ra@E;䵩8fK\ig1 \a^ 4)Nئ k-5pdz&>I3\G-Bb Hl;$[^v'-#A+ Y|FvJPr=wgO_uN8?`EUkߊ[h ʡܵ}d>+0bٳ< *zpVl!P/Mlse$g!@^1k1ĿϞ"wBn(O鶨? Y.rv8&9gB؜,ft{˔`~!CG jO9PoF(0^mA4ZexI.Ja'7H-שNn`Mhddb10'dFܙ{vBқi 8ټD}e`fl|*{X1hKlڃuya[ M/' Ke _Ԛ%8YUc|1f] >orLW8_>qU|ezfzUk7N.>]K bi'Cj<*k0}K$HuVnaٷgG$Ys/ܾB{R$chEk?Gw<Zv zђurpHh%Ǥ#[b"nn`3eDw{XpJ} oV< @+I HgDZ#& %R|,\Lu u&[־T{ גPJ"2Q#ȒۋSnԪ]+'=<'1k3t$G}E yt 4wA3&hegI8RεΛSccZ'_Luߺ^&w3bP_C^]׹tuzNwH>x|TTy{fkL} r+1>_#F[:􈄬n-Ê4>ڳi?8fGnGz/?@gHzɪ/OB0_ru,a7yqyq zO&{BJ! āPPL^81erQu|vh{LCkyjAM,_nlh4{_JR@è ̩G:D8Ѧ@sknb}"0ƊFiOdVIVnhu E,б>Y_KF P[p0[MWowv'kO?_H sH^eƪS:qDe:ꁩgZ5+rE@`&GטQ96R 18?|cJag̟^HX>onߔ2&U`eTX6~5[K3̓R*TG(=V~ ƉLGv> AJ{H{$x@ov&'.3oz8x? ECd/2/Y+%JܱyH>u+.c+0O4,9܋}Ӎ2Kt q|u5.oDGl}gq#H o,MkoƘ|vNs9tYy}xV"Rcqfݜ03)2G3L_ӽBt[OO/B{^ԧbm\/}qWi>Ѫd7Av ((5§H;YIڿq/ꭄuzj~ "©NbQ6Θy}i "I9 `_([4)]CWڢ?,dpxy~N*I]4]GdpG;]@k vpb-X% 2˄?P-$,ԜwAi89b$; 9?)oIc;ʲ8L؛M@`6 N%kHX:.2NBkl>b=5$]8W/ b0<^~a} ` "d6mkrXe戭fZUrx(_JjX>` ut-Gp>3 6o"CN7kA:m+y3 ˁհ5E_)y*BdϔkyZ1< #M#8=fJMk0G7ͲFԆIcVPb5n)QN!dy=$[:?d!OFHb\ QpT0 ?Z5"[}KmjXHQD߬6YXw]㙞|N#(6`yb̆ɡOo85HQe?^fƅub܌n1L]Ȳ09ob-罾a3/_>i !;sXfc3ƒ.r1qݭ(7v }uA#NC3_22*-1ߊDJwh ڔ,QA$ 6ΊMW7L"+'ss4 :?e>`xh;{0a-#5߮<08 (D%f b~IUu[iv68 KMI5_!uGQv k؆yC2jfo<VOw*Wcv2Ε"\uNd?HCSٷi)⺐[ K׈P$fGt_osW1n*59=07B{8V|Lxj,l@AHɶ*sfک^&ZR585Y0 1J@E9n_@c,] \lLH v}&c`ewjqtC* 2a?,1CL#1-s<JǰMqf<2oA}mĭ&ldJQb>fۄ$&fA Bag ePJ/|3HZq36KȶV  +>B&l:F'20Es̜U?.cDž2'xB4 CyA~r05gHt )Iն 5dDgR['jMhw6nybez9OMdZC [FwWL>m0>0d:&,pҶC|F 6144ϰRBpmW* ]tJE A "jdAafFmabж'ԡd@:>1dYlr @S롇\BiE:†7%X&^Di &NN_ Pw 2iMI?:2]ru!B q=*774͉4 7>>}k 񷀡:Vo:7=&S\51I%V@ה^LK@?& 5s`K$BpQcO+fˈҰ8\zgW^V2C?@3 Jdx\%isūbzbW &,x }{(V<@uC=8MMGQevZs n+Qnlp \B!^%&bpkl|sזE.5|YXvt_<@?‹|JPDm]#٭:0 N@h ]V)Rka\Q rJ./*\-@\MJ,sW(FLjB E9 R>E fOa@vܻ ngE 퇌K)Ke 'Jq[֪ Y>eUV&d^2RD܈㥎h判Ϗ Y"ޞҬR巧VŀQ-MZPڶSxs>:ac*|5ݐ_})a()6'`HJPX{B :NKsRQ! iDWq.){""!+[Y" [|h!|TǐsE_)+i2sݫbOK^cE, G-tf D(d1 ]tn-p)=.K9}j`]Kn;K! Q*¼We #ߵ}o :~g75@mJ(3 ' u(w,*3]q?4AF}3yq>~`g3=wxN2A[(|'= 并j<3Ķ(bARhđYdK[=$JH'9[ɝ6P {̵g@H,%E >5զG}7bZ.FW@?^g9Rlnv.D@⑞@} OD<yDG^;1nq>R<N¾]dDl:Baw W &Cw߸'g78fA V5"0OhjU] /#34E(3 B紧(=ũT/wQ;dzc߃a"T!K)dr/eϙBe*|3}%tI᳜ _I'k֭AYCuIDkb8FC ~D}|(N/u JF5CI؍>[O/!uA(r&DrV?QS*$쮰&zIڍiKiEyx һy R:?￟ Xӱ (e-`&͉>wdҐ)loY%2Z?lz8O׬xg!81OӁ9>fGI܋pIob' 3x֌ϥ1&-@9E9Mzݠ?Rk|9+H1#UO`>BP "L[PLw2AVCpx B#Xgd51Vf/liG@B|e_g4 /fܳaDGr/5rk`7?FG/ׯ&ɒ 4:V  ~+Yyp2Y %|uKX [bOϹe }sw4Mw75FU~}oR5Hقa+˖IYO{qV$ƒh āQgu26x{f$z; (ebb%yҝ!k֢?Ci Xf^|/Zh(N=kjxnw\m67Cw0xVB!;K6[ik,\*$PV~짱ל4 =So7^(KeYq :; Ld1#h ^F[ ='$ @'98x29֠ ? U wue=_G x0U}Z4̝Z&C0<6w=s%?W|! D˟Tkߓ_M/f~Oe'WC0p!1b▇VD,Yءh>hja݉buٍ4s j*?gwg~MI::{ -uZ[b\HM]*/uSIf0K8ʼn=}N"(.kYPœ8" *p4ᚖ63H! U/,$?8CE,CwP0k3[CzBlQ9,MGšP Y$OD.6qGpxhZ"S?~FS'K1)r]_ N}p'1(?dypwMWB{`\bD}*d+U[CX'ծM_~j՜v@١|M߯C!MfWR3~"PPe%!,Zg^ 0C!O8ib]{>Kqђǁur3(J2VFKx|#89ُ63䊙|$/~*gRuxN;vFD-^b=45e`xʽ9)$#OQci8H3xLAs0F-'AR4 ͻSe%^98p: D2Ϯ{,.́9dp>d G =(,ec2ƀdq!NBIAۗOm4^5>L؟S?,Su5?!)å>8QmdBL4QqbB I޾ڥ~:Tk|`g:H'nBAtQE=Ŕ+-gHrb :ٌE^t#T!A Dy,{UFsi{Zw6QjuAP"t {2l{kƙaߎ/({uoinU^ IJK3ɜ߇Ctz IO`CbVgpqB yWu/qAY2#!}^H*c?ցv''8:g |C`3#ZpI$; }p MQg  3Z`4tZ ޿tQ{^&Jliw$ ul[/=蠎"]DR >&o0OVGL"5>:|KAc}ݎ3ƞulpA L8Zϐby[;ߋ!+;S|P2%&3gDm\IQ2?t'So"o _R1mHh >{AAr9|Z 㭉Zg0ٲgR2,d3!-di`a6y!|`j4Xη,ǵ8YDtF-m'$R,8(=eݸ=|f 0wQ$`0&M&hsDCg)F(WR6|tv#-̴FNYFK\GNY^{C"]`Uu?fƸhx+:ɂ|\34(q^0?EC=&Zʫ;:]!YzˌN= wYBbBLjeH K aƗq-#=Xy(Sjρqf_<옷pD3T/ΝN2ˌ4iMGVSITH1Ά=cYPҚgw ۠⻿OuueR6".f.pÍ_^\فtSqsۍ2C$U-@΀O;j!d.Ռ 66Yp+R:2@%A]ߓH)A hȒ)=~d~ غ#`@-2uÙ&ZJ|3)ߪ /Jwnh;Ԙhs%d!tpLmr c[V.:Qc n~W؄/zA@"+J/I4Ĕ 9*U"_7[qGZlw O ^\)#`;a)_E4~~Fsѫ.PXo `aXXȴ{XncˇqG4?@WXH>c$hA%wbF1hh0T~#u" iTIم{h~E2:|_cgн*@#)mHuSVwR 1)}[wfuA*^ aXmMa ~t"Vw;e7&i4)z14i; *kmؕHڰwJ''TIg=;iA҆<ķK.%sJk%/!s^E+teoDJݽt``?A}7\" c;qt 4rˁj`/p˵rE(PD RVsuά[GOcH qSn{# Ldؐg%virvH h>@2"H[4UATi̻`̝huyKj(?>3\q %z1M]:!VCy~  ( h9C٘Ht;gF%>f2U:˜TJ*dAh4Adp+&JXV"ɨݭ ZTsIKE(^KD;27- ]1'@}!A=kʄU#щ2bv6~݂^ľd>켃ܦjs͞u(;]>c$lB6%`̯˞fK%ĥPV p1:=uM) #)E֚qI圩ugBѪTS󱎫7/e(s1ǒ\]xj E\E:S{-vl[He5YZb&+ uœۇ{ՊYtpcM-__q!I1mar>^9;KDȟYĄazj?R'ރHeR-Wdޢ /쪁qVGiT?B  ˾$T셶<pO!{wogu5Q f /cvfFS&K0 5N56AJWV݌f:l4 T94cH1_]W1RپπMM$BT+مQQ0?D =-I\TnxCfԋY15Yu$RK£X ױ0~&`@3[H~:F(/M, h$S"WbfSwn#yP"'GՎ]aT\7>6'PߞNK!`G ~)enoׁN777X,&agx BIu{ Ի]4jCd?ύiLQqIv+YYi`y8z}b s^Ezȡ *^#%bU}[._v s}qU_-lTK[J>ޅ!l YB_ iQsx:YûS;QT@}@)ԹdWӾCkknjUc^l^NbBr_T +|)2љ* %e]I-9[✥yH|ѫw:|U̍1pd\ 1i9gV @gLP{EػifPś-RӁ0 y R;h0M {/niЃRR906vtO Lf`dE4HȥOQ?׃֤A !\m0XNJLN`K{$7~=5&%B͘䴃ڥ濥VٜQ m@z6tTWm>I5ak$zw]Ȏ܊2-h:&y@_82-W)zy Fqi0erlbh^3>'r, 2,' 0。NcHvwQNA 3=7fLN_S=zƢ֋ɥsmZNԩlZڳ;\"lˆُfNPܳ\\1o-~XogѺ_WwQI.,˕|^. dOR%@[Yd-.-^ڻ d1>?$Evi2UbCK`%r>XN]@Mw}xJu$ZӉTƝ@ksˁ{X6} CX2+CdTD{TE6;#KqK.j;f/ 61h Gj|CĥsE !crQ!6>9|*F')ShXѷ &+Cf^2fY~\ VqK 6湑k0]dn a  A'9 KUh$<܅/ءq#HKiޝBo$OP.WՔ|9Dj,sĶ? 3m)ei="}9S@3ށ6S vF\Hi. 7I22! xU.,$笡VoQ*^kzz/hu [*RRUօZN׳ N?ئ%\Yb#)!ݞ6 Qs/$ƾ ~7BV įಸp?JD&IcD3P0a?㩥\͆NV&TՌ7Bnڞ- JȒ&evui|3-`&LcW5yUͨ+:XtñD$Ãuȥ:e #Gu+ xqj۲^T[Q!w.[!T:ߕr$ϭ覌r M)RKp^χ>0yZؙy'~5FSeO8YK K8'z fPP*f;M%\ȡ=e*6CvYZKXpе֨ȍsD?P֯KЈ;'Ij8;i6nm\AsظDot~6G0ᄳB [S^ZYU@f_6\.;>c[& wnC`EN=00kh=_~X.68S- !hT]n_4u%2]pK1[ph@ d^G21$h`MҀoU#VI_Ua[[4vLyd.zS6^Q @H*= 7 AjJb϶`KαD07nrh\.H3 YV01!pG6S~56#l&3ѕ"2 1wo{) Ѯ48QkD(Ze",'!GEAm]$~x;:=6BZXw߉>P/̦s~⡒SA]awz;cZsHVivpɂ`E{:U1śp77QB*w\8,~D uMPu/xGgZ₼v>pn*Z]Y5a٣;rFsQz lJ;2_/=_-TFﺫ䫵޲ +nXlkг ?$sD *'9 I2C~UhgajČLΛЈ9;`x|`9n;۔d뜽-<ȯ`3;jE]<_ 3,_w@* ا+؟$2B샇GOdm;:b8ܜlC;Wd?Xm),$PV=i,}Fv:7J"/&o4O|93+wд|sy84=:t{G 8'./4ֈ4QK0q\8kZ].MBпVu;ŚufF+a\])NU-B9t4jڀZ+eQIwH$,z:Ϲ'R5⶧ZYQW@Ιb1R#|QMdmic}ynh|<{bZ?w&(\$d]u7E%(W%5X͉TLP[^vO~a2_\ W";Cg @t ܙL+ZH맃٭'|^P!dkV/D2uIgl*=Ӧb%6vEBUnJ1oW.;m؂κ,xuMزNbv*ec7TC{|DP|jSIcKTԥ^Rۏsӝqn Qd_o;+İC CYuS+X|9$ZFg;4 ˉcx!&4VOϜ;5v#_DZ5$7n c2Fz0(eS pVcȧúB#vs aŃϵuy)2SDm1X'T&CWAv*A--KeqMqztܡu>xjrm;PUugg3 m`@Tmw0U>ߋGGI:X&P)c̦wfYbӮ*Uq*el]FwWdÆ0(w.jτcs5jKؔgťeFq$`g2{iD"tH-ɤ b,-SlilV)?!NBtvt&>G8 = !#@zU㿎:pzy>w01dҟ$;V%d);Xk0u`wlRi$VMyBH h.٠tQR3TUkPL|mZXFZ鐝jsFϥO{^ gq=yPw$dytj}CuΪgJ.`ZC=ySԚ.^c$]>Ql]í$w+m(. GgGX9?:YKcǢz] Y{! v$cػp< udA&?"z|ɬiz:X^lc4MgK*|mv.{ÄVug?B&r<3y4VeCY!xlhM|xFWcX?&qi/$xY|-P"ꅾ[UN-Zܔ fHs2i]Z}jl3H%7JL OQ/.(K38 oBk6mIP]5njx@׺Q"R CykZ1պ2ҋHɋn45^W׽ `l;a‹p!r-K#^A* ]yg.a2jA?\i MeԯޓBgZBUy2=C~z8{=7T bX~U7Re` f }/$9+TꝅpUb [ wO,ete AmSGbH*(y'`ЁsX=Pߘ- >_MKm-nX4Fϑ{Dp[mie6cowDlNNKp̬ ղ)\[d1|(%ehR-@}s(\;b/-\5 |,HL.zek s̳C#b*h@LV##D'n3!n_jtraLX!6B{[ +ȖRB+T[o+!Oi>S"Awra19.of=ITˎYX˕]Tcy &Wgǜ.W  NB5[&^[n+% <(5Z܊ګ.;ͳF~q_A.@M/]JTʘdnܑf ;qq@!㣎 љ\(ndh2XK(;ʧ9"M;6iPwu 4+;YKzA9J6 4LQGhh}SSvZ*㜠΁A5Y^:,@=s0 @w@dہ\YLѶf3O7"/;:+o=BOwX6J,C2Xu`5~QCamE k|e\TF` 4ȸI#e[|TؗPg@A/JFY]~)NpQי0I&ؼH=)K7n'%y/6['?.wAz@Me5 dҕkZHAZ15rېa<ROn姒srcsM<3K373~ݺ>U&@pZ_W~*r&aE̾PJ$̄0{n!-%{yosNՇ,* |94AߋwoR~13oaZOwqhP5"너~8@o1A%q|,A7J"nIBY!a͠kz`,+|G/po$|evJ0 HYc]k9uˮhWL,*bbHj؂- Z:ú' $h>F #v&!:gmA6%n%cUuk/)yT(kV6#pC*sv*vYI~3wʛ`BRRCHA#ͺ);AW'LtW}VC#?9AOkpgz.y~SτR)OWV:`Z:*H|EQckb:zԓU\᯲Ç{X¬/WlَNv@սIH|~/3}axݨ$#;d-җ3%TM@Qb7vLFLAc> vW $ |'!O?ҦFe_"JΧYG$;dc&ʨ=YT@!HrC$D}:pAzmv2lٰ.3 Kp i_IUUwVƗN5D(RH YN'\HTmH}5G!;ΣzڛJx u/+TRa|IV5^NSCj"#y~n%NzyEɞey2KU$`@I{:NY3<7.Z-:ޣ$|RԾXܢFVg;*xa\Mw4תoVsys{Scd)P6 ͝-uN-#&EH4GYYYR0iKdYiڡ Z{M7%YvWJ vsRo;ժ!O^QJz^҃@_lX9 {YGt_?Ąbo[BqkdI>1寪Ϟp _`H]6%QmE=JB\}@3i*!R@¨$;v )t;$&3Ms,5mODvΆS]^vW.;إc@4:G8h,  =tpe#9 BYЍ(c+ lxkA)WQb*RR Pܿxq-ALep}h3TM嵶obSH.bN1 +=[k4X5PmU4Hvű;[$Q;cy.>|nT:p["T ;O{mKJ|0kflma_̻$#:(brA }y ߸4ڲ.FM`7?Ia8bT"񈀣BRQ*Yә`ț (Sb7h95<teZb6U$$U罃{מEm.R ۚ30e,멹[vb-]}5 RCznTbu) 5j C<?}Wժڻ~}f#E~#o }J}Gvv\0T' }DL<0WW[)t9(}~cyN5>ffT}BuN]VS@)'3JhoP>ΠpLwu`JAe3lU7~JlW.(-i$`h8܏"-n~g%8#LA_}6$z?!Ͷ,[#U0| LXHzZ ܇ߑAqeNqz{wt,׶1͘[F3h:ECΫc6l6ٕݲ7i~0EsmZr9SݦC.|,(4Q׉}tyF%ޒC--.pSy r=zarу id1/x9;cj9?vL-]nupX֓-˸XCb; D&~Vq\`_aE?aِ^Υ7YkIg⋦t/^$`9qnT" o_.%5('(2ScO#;%V OEe!$tDž's.#R??z| 3t[1(¹UW|C_#tŇ]ă9p#rCsUljEˡyDف&Ƚl Uض4M8W1YuBާyrQNsdÑd(G<1nLD5ʵGEA^NJ;D-C |[,hXQH(&jW݂H~}^΅P@)ri!@l= ^+QHE}Jd 6tL٭`ہ4HO4ՕY-ĺo(?qllrIᴝP*R*_IxPj mK9X_NIhoG#S\P2MQ+VLT C#h+ʔXg erT8ݖM4>FECqk"wCM0x *vNJsrizխ k~<;+ږ7@ %R9 ^T9p/C֌CV(y_'Obz35<- xpRQFezU*E6FloD]dzLSN|ѤNÏ\4hM:μ,Ң4z8N%m<)GX\W\\6i10V;c󲐘?NURuU-IFGF MZPM﯁i(:q[qLn^]؊*ۭ0Pa\0%Qm[Y{=݆iʺU<6q@*Zv'lp@H= K>M_~۾&DK6Dt9]WKy8 %5E֖k7uoA|)r ub#wSWd%eδdm}܉ ȷS7}~|;|\9qJlAS5ŨwXܖbޛIyIYS1F" əlTp#ϷKIU@ L;"&ZBVL,uCP%BB{@+΢x{^${팡JA5JTd/"[p;nvRyJ 4ia9|SKPe5y.JJ;zmor5VSLj|..q2pIFuMg}C>%ir \?FM$y;"qJQEkz;{7)<Ų=XtS !hCI0dA&@A_ N_rWA5vv(VCyN&|*Ƅ'XH-7D8g;0YZ  l1k'1!HOL-MutabelleHOL-Library.RefutePIDE/files~~/src/HOL/Library/Refute.thy ~~/src/HOL/Library/refute.ML9'1-HOL-MutabelleHOL-Library.RefutePIDE/document_id230"'13 \HOL-MutabelleHOL-Library.Refutedocument/Refute.tex7zXZִF! %]A-MՋhvG"uIBm5踼ºG:PO%H#x16c5o WAjG’Z_3#L (luW(N͚ӡoF= 4zxy bU҈dgfu"\5(ko7 ?MY.ϜI|]/y窩>+IddZXe>p8N#ag!jL-O(NIA'KK짂܂N# ܡ /uP R8A aFd!q[`e!j[H W5A ՟3Br @vwϐcL0Uf$,D@_֙};NqvfMեf<ɊW HlEcOgqxcU2fTHIٸKȭ19 3m6/Aej>g8*:~ kAFNi.`1UMu~j9uͱOSsw'Ħ]yb8w'8# /h 5C0rڇ]c .qܓW"+2 p§*ϸ3L(ŋL8 patXOk-8̒]2묪PL=|YKt[HO W|gn]0j:d nOc{p~ 7 ǝXRI0jՂ$HLe+_M<ͨ^9С.!)/P1rd |+u7V򆺫j>X=g8bX'IiO^T4C.O KJ)IL/ XJ[ӛAd6&b$unga)b ^v8 Y(X*b*AVXUvi7@ (WQGZsC7Wmhb }B$ OqBI$dñ1 m@ۉ}֫-BkM%f}!7%M~|):kMS> Ѣjr"R)jNj+h}w3.JfPm)* ۴n$nXһ~ZZ1FA$5Έ\)~B bMb!4u,- rG” f<0?>Z0|acfL)+[^a!Gh)Z.n ¶"#"̜U_f۠4gj/c OGl; Bg1nѹRj{؆"2:4Pq86(mE'g EefP0(Ө]Ґe-YIYXvEFr*։\1}Ԭ9P_|w,rG@#@@%?BEӿuwW+Wuˁ:3\y>wN! F5w!R4Dz@i݈~$CFa!3j1 %ZT;-7f\>nc̔( jx:ַhMVeVX9.׃f]vT4ӻ;@D/QFO9޿'s 1t|TCN]*d>qM m|; cLmH_<| F fK魧AwQ '쉛ٳ8'U0CC3ȟ W,?oPk{犧'G}10~2_]>hmqOln|(F[_ Ä4kq6K@&gYZl'EC LHOL-MutabelleHOL-Mutabelle.MutabelleExtradocument/MutabelleExtra.tex7zXZִF! ]A-MՋhvG"uIBm5Bq4C@8m(B w?< &vnuG>Z7l9?=ƗSOFFΖ*6Ç9ĸ0 ]',ٸPyT<{c7 .ԉ2b-۠eb_Q8i\>p"W_돲n|dqS'-tS@KYά_j.EW16knϪG,'%9[km}ZIK픊~]5ئ?gv 4C]И_ jy[f'{4L}38c.i2|!.KÁAa,cܗEoc'zzCZci FԆó[ݓ\熵E ;dp6oA8B8] 3:a6XyOhy^R2h0 ꬢSS$\݋ Xf>7an)E;}H`Ūj߇bzjB, M+ !:2SZc@[DFZ6d{ 잘:VKvQfDDdSY%ؗ)Vp*Oi.+wpM G {zU4VTLvvoF\(.ONQh7wiKqvZέ+,_%G 9p<@9v$gF7,ǚRY~\!ٖ\ 6?5OB4K,뾂oXKS]s+^ENӓtΉ^Tf0yw%Uٓ$) y"׍@V3j%;n&ߙo#a[*NJ5/龈5>mϔRMi:3FR Ջ4B<o1nmi,@aIBJ> TIkQj bU5;ho1  7`gYZ  '1% LHOL-MutabelleHOL-Library.RefutePIDE/markup17zXZִF! K]s#A>E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEeV?k0Pۉ<3m@wbEy܍5-.c߯4ɡ ,P֡RQ~>l??⾛/Бfx~SnMvv`ړM( %ZjF<29XY%I|l]\R(0^Ј2VAd:piW6Pܶ a9 B7iy&=`+*gK oE_=9PDT|_IwqdX{y_FCվ h̄$u\q-B;T>0qCb#TnÃG%"Ck[ ̈́sH6-|&d]W7-h7l3K&ak|gʧY<#;b PlYx>mޓ#Z42ytX,=| ""QjI8PJ]zsbW[gσ<>dBB\zlG"ĕtz;º|PPbҔPN5TMK9ˆJwc:S~Uٹ(cN"XR\dϹQ]womԄ27c&aNa9i."*2s|"c:X*~pQy5_ 6}'N|GpϷam/8 PbbTs2 Q ir"]όr :G`WtcTqh@xmrAߜ"\c0dT&&.R$e:pH)~ށ!dsF)IKD:imk xa<s߉a.$n{6eU9wnr6ꛨ5ۼRi jVX5 ({r\͵t,i#_]l%~ {ˆ%vݣ i\YJ҃)Fct(Ť+)ֶL=F b5W LF񥳩Ѫņ8Mw 0\4bJ9⏎h\o5eB_U:et%4( ]MkF&GZcBꬷ@Ljy1"lEnE9|Ș:k蜓ʥ'N h9R0+`1\KeE0鯔8S-:*}Y+jchg [!P uMQ Exʼ!ڦ[Kj!|fiϑwi2ӕPTwaLP;8wYT|Q-*Qlӝ;dhg /uǫV'q ֯-Rj RnD ;_^HX& FVF95>NjFx2g\{ۏqs<; haڇ3,"LsLRxT'Krx_GP^wQ٬h6Pk  z,@mFV5>!ߗ^ީʐEvY@[vٗ\3p ʍ֐'xu)q!G(-E.>K&%IĶPZR8zx8Smo1dP_=iQ[$@ǁuW)jDhd8۷K!nNB.oy$cPw1+.bdns<%\jwM9!nbLq(YNxJTNgϷo[NLs7z2nؔI :6fWoj!Q~MՃI?$%'|i.k=py9Ԙ송3^#3`;i6h5#N-P)LEX{dXx-a)OY?eoF7W3x"ᗈ;T<D(2vq՘&`B+592}g pIfMOƘ-5lzahBCWI#*$/rSE(IǛ;]Z'R `.E}:|[R_̶~«%RoEAصSZ;O'Рݔ|i*lrR9^cꞡYCK3lo.nɣ 5rX{'fN$)X?a99V&)'_I{碼ޱ |A:\vhD]F!8e3gYZJ'1# u[#ڂxGdAbzpRnA 7ufC(ٻqn̲xs6Ak]]“2 Ub[JQ_jzO4ͨ wu)wէ_`J2OKXJ3옎*}s"a6tc3cbw Ê5j`eXh7̇;3֭ X(;tSN K`# 9= mK TU`sOciSVvgv>,UA, [O%Nkf Qh'_Ҏ$ j0'g磪KʬdGUJpoFv1e^QQ+5ؿXNN쨴#Pa76`S|Y7nEF޺lן4ӜȪ<`B=pyIVJbT@ Ӿzx`oA,)ح3Wd&_qIڤfloAҴbemWBJ&"ʋ晶raM&# "ѧpyumU!V$8gu(2 H :_jӹp$`,@0ϟ!t0Oϰr{v| sH!F;F75N 4"&qBjSo!I9[VG@ADG-x?js6J/II#`VG{c 7Qƶrm*SAަ*V[cLa=/~ץcBƈ;"Z'q"ΜeoOnȊN{濘rVAD*ZCQK#gYZ#G&*lK9{4.{li #[Ă+>7 )VΤ.FEjoޡ"6D C$De̞JgBt PZٵhzɭ9ZwͶ5EڥҺ{gm ! ?1DNn MfR_`puTuq_c"ZVo-$c/$@l襊0,JuC"IP6[Ƨ2-5JcT*؂Hc#o!q;=#[gX.$ɋw<| \-=Ff"}#4  @p=q\R53֩D(4b".3lٮ+R\bpCāA(jˤWzNN7]( 72Sa; @9fx&1W'8X`= %ĕTӲw z!Y 6y, tlI5"7q;uwS#ڰM O z!gA4QsT?_,?iPm!`7JWÉcn~Xf*`$ˍ1aX0_kp1UղAPZ3ثU'y+%> s}z4O*3y/ܨ6Y[+.2.KO#pu B9W K{'9z:?+$ j7k,0lK^sRJg2ـH@մOgp[M}ɺyk'T-E%D@5)p%Uq `e̐d*Oq0"}4?okUEcd U`"'͇SE@¼Q{6SNJ]h,\ y_(Dz:Ki/%c=ܡ BwwS}՞SZGjuwĄWEY-S 14l2 t@7,Lu[ HUT.%XJs<A8Dc*P8g诖E΂a |ͫg=c+Zwn}jBl, bW71zR;2 QiٴG;CXڂ4'Y>#̒P,DGHAZ~fO 7T&WʼrƜKa3Pg?TzOE2ݗ@k%:LE3`A[<[VK)p48h[j@} _Gٱ&yv7X9&['!=Զ)/sXEPnj"b&F]87!!. +AVppLA^sƘU}Ti!F%02nڨiqrݝ$#Ff'Fi7> 4{$A4*{1D nHT;Go_g׊sѴOT6ŋCnP9z\2q([r6ge"m\7we{&JΣAA9|Vg!yZ1 Ib`LԺ.xhRoZ&,`4^Ӑv(nEqfT fs?$e_Ǭ}pIH`%Jj΅"v $>Áo&\A6  _7,ԁv2,@4}%{>bP6up$cҾa3Ds2@#k`F|~cOzeBZpbm֨`eQ&hTJHۥtJVU| [4KC1kЇ1LѮ'aGyIxOF75ɹ*mLe LgSN_w6S1GxcT?Z+}I)_ߴMxtGI=1{>;vE |sQV#ӃB~&E=wN^^qzvG>^քb*y!#¼cKRo"fLVBݻwDԙԮ6h)Bҥt/b -UHѼk !lx=["]cd$jZ>'O=mcг2V[eJM,~|s0"%j] p0 9ŝf{jFX_Uٓeƕ,K%< , Iqg2.r4jT*V /hi6tw`_KݲJ 80հ"_hu8`՛7eqZ>ssty*bJr)lçߔ0yǂ3f,PzX& hAd==_'ɿw  R vuA4S^T?amئoe@0}|$$r$M]My7 { E~gJ)J<=x}5 G'}hlGMw$ c֗38t@4}vO`7doBQw1huz"T/T#MD*YcB=.55*+v]peLyL,LM6 ᅙҾXo[w>%_rmg3[MXi?gP Xp ;gELr8\sn7٥;괜 & =r.z$N|qg>nBZeJbWֿ%٣0(ZCJ[4P7W/&gJKEB{;UT Q?$}s`U1Sq}FQ>PJ5xZ:JåOΪ!]x6{ݍ1qYj0\leÈx 2*6FKZ^-|PU,ä 2_WH'ۅ7Ɠ7W,kVpe+%M-zYݣSBCrqzӨRao[7J܊2acѿ^\*UH o|rv}]a(a5Wv{*E.E 9Qֻo6#FTU6R(n$Z[/O]Y9PI܊ JнQ(a1s/f|X fW<h%sO9EJ|/1M`Swߠ<'|]ֈK9a&Z3H ,-,l4/ , d~=Ć?W Z$0{ŀyq~O|3ˍJUs1-?G?uIC1dGM9 ~bC;9gl35ˀr %i qz:Ǟ#**zW V5 .OjРpj եh=D1ewVao Âw6Πh.P%댲k"*T:U(\L&MjM\ĀMp) :.]L˳_ X$Xeqhۑ>K^7_$`"u/QIh:pX0ǔ3t8R%ív>Nj=6!qq"ȃ aSIzsV)Q,GQIi"M{uEWR$\"INaSiq[nv=s* Юw蒑~:e .2=Drع3 kAwj8+!eo&,MٛLABL 98ElC+5 gVP x B6'PW|:$`^f7H UX! UVh!c <}~0d{'aHm,GQSHʪkQ}aε$͡.:t8kؠ[8;QqצV;M'fU|QjZ2F4;9Q2`jPnS;kg}AǨ3.Mpr4f?͒,#DG?Ly\!J,N[=܏OVn| ,H5%:ó;'>s}A'YnZrҷ 'dQq-DV$P>7AºF"iN嫡t :2)l@fG}j3X=wS``N|7 #I>P&JSwp(ƪV7@AU1Ԯr K]O(tti wNY58熺;; ^[b_2s`D+whj< rϒDxSb_.Ņ]9T #qBt$bD pMʞ4+[߻\ڔO Ӣ={6/9nS YxZĻGiwAne֕%Q"14pYv] o.@{C ? ڭM.^'9ciƩ"XH!ŽBU \B'A ~츦\XYԃ,5jjeiRɶۗ-M̽ tor) 5#W .e&T>_ۖ%Q/} oz֭١$7?]׈L?, Er-@W,| tbeD ,/q'MtR-A+9>Wc;l:shD$ v\S Qx1DeXKW_\l1z|P"4WxsMDπ&n%-+#jZ ȞM/<ْ.W.2HRw5OR\whD};M]YW]V/)kdA:pv a)[][QVh7V:@kqeajFVZ ci y: > 6V6J~a߂ꇿ)1#LqaT69_Ld=?JGrkh2}pV0@v7Z`hx cg2rO1 !Oe&;sF a4&SLȮ0؊ HiD  K\/4)Dlj.!ݷimR_x>=-<+N>=&قub`# C :SKjq=j_ʭBl1W8Yk :ETb*첒o%^Rj'ڂ%eN+le֬*KX62H` dopu2']{g#:^D(>VnX0M6-Y5ˮvHÜ cG`}t %zc٩i\?284JθcM70-V~a*@XP9l{z5}궋#a+ܻid#vUӌvSDan PxkOe*M{D}d$\:e 2sOLղO̫_Od18oa ZJ3/x=eԍCd8I>nF)ͧ>r.q6m]l;ڹLMRPBùk(%!eDb3&} g{v{n)]Ν< $4V'f bp frxb/ 8%b05Nѳn1Z?Z6F뙗 qTqI1s? 8t e[Bu9'%}Yw|' s^nT&'Q$\>1)0zM.Su/E=SzfU u".;:Q퉽" jmQzxPαsXP71~5VkW$v8>:ANVk&A; HbVU,4VO ㊇b($2_?9mgfhxRh'ȵiG@ 7n6Z.?Tx.UX;WS)9QLThW ;7Y[}g?3V0h D7Z.,`rM Q;MqHDK,c҃Ĺz2ݺYu4y7JEˊrK}'vqv{Mט2܀ϲsoHڇG8Ǵ6TbH1?yx1yh̄n,ɠRNR X;[U,6h#[Q/5-M Z*DJiO2d~H{L9l5%owvus&>)S0Vi,fUFpx:#:BVҾ`!&K=׆vON&nŕEy}Nȳ?6ɔk&Kb (,Mڔ OI ⬃GRS>껵T3 FYDϰno*ȖbR!J@ %y!z-W[3!mD6z#95lwjNpB(ɮX%f_1p9ÄXPu|;D^ٺ&wїb6z_9 =7? O.`]b!{#m9qhDdT"GV_UquBmM2ay&1V# ִiq dI_m ҭS#J>֘ 9 luHHЅ ֜sfh[ԫH泔"Čۛ(}#IhUMo b5a E{PxY$Y nБ5v"//v,tfߜvM?O)#gaݠI nhaNc@.MZQǮƼ4 טAA }w8*O^LƂ}R{fT|`L[ tvKLTX!hMԭGv߶m,d@A"# ilw 'kaNG},(΄Ɍ~o]|u 9~ҧ ǥ 4%V3l\ji/1MwV2R| .ei!MjPoO^x3/$([}=TI-9֌>Ŧu"x/6&0BEG&#'tpsiiV֐o- ~I{QܫEeJҨoJP`s5N8"U`}N] ߵ Q(x"~4Ս5:d,q#l'r>"T \QYۜl,+Lpo랳[jWj~壧d4ڇc:fX1yrLD.d ̦5B3Á{>973%W L-Y]9*9m22]} [}(ؾ97S#Mp,l4O lo:~1P@,|I*_c<:5$!ΉkD,Ms\oZ{c=l-gvDVY [O IцDvHMGYn&$ujyE[_d/qU\.6؛*shN:뮓ɹa9|MIG=1jY_}~OJBL3Q|΃Yo2#<1 Iľȇ͵` ɬnlV?( Wdo(em@)f}f4^ -2gDŽ(-'AլŃ uǯ˛9}ǝDu+N5\\B3.RƌdEn9b,qŪ',%/6,~w2k:3>!55Q| 7݆b`VdS_iE)jCI JZ@T 3WP:B9 (E ~K<|p0" 'ls%z3pJ m@0,#AHj4j]NDX9ċlh~"6۱gYZ n 'E% lHOL-MutabelleHOL-Mutabelle.MutabelleExtraPIDE/markup17zXZִF! H>]s#A>E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEeV?k0Pۉ<59:jC^r\wx~N Hk4 wMUE^0C8ƶ酕d7itZ s# 㛴7 -$|R$IH+N{'qϾ&W$*OV0s!cRȑy'UjdoOpTÆish=:5ӏϭ8zh~]/CU@:- 7P'%~5LJF@qa%z ;;Lga4'SZ OaJrwL!('25aۅD !Mh|6{aF4*CH؈p uR[ YԿh@iqdl_xxAV"!DN6.Qz 1 Aw6A._1yjZJ)C08® Lu4PyBR7WY=zz`I]zW'c|<*GMN>&ܕP_׌rx̬8-iJ1$B7RlУRRx*履=`͒uPөƕi"3FknjBT-ّٝȎy^74`9w1xwUF+םj@Ví<27]ftۗ[ܑga~ZIc4EoLW{Atezﲑ1KKw\W喏)}^9,-Z3$GPVh2ǫԎyk$n.1!U%+]-?>٬v7#[cjޚ OM-W-t%,WOmvc+Mߜ- ̉*%Ă> k\ף u}: [`ۧ61𙌑@}3cКE3bn w5},`ٮn:_;H2Ǎ2$|7ȿݫFtXЭ]/OoN!t|[NyIh!u '!hYϣRBPc?~buF-ІbTH&2i%P\ׁQw:I@@ ?(' 1} }a8۳zl f&$#( UDFXzcc]u%NSzE7/ṉu"G5z&f4?pX$R]EGk'TզNuYQxG4O=C[{3sDZ"YxRu08k2+T/GWTVfaX|Tp6͐VYdc@~BJ x7WɄ>Cu\z$&fq$bLz6X; {;bQ[MZTh"$$"3aE'xmbm Bi;Bu3)إYd+B "jŃb1d:>' x.ed9WRR1W;Vmã}(vh̾q) n /#|Q98IگIx0!,jM!{f82nI3O@Nigml9Le~(QwJ[ MПSQ(sH-4jP@Sfn]RhpAʝF]% ønjBڅԁf3wTSSuG~~ˤ'B3.W9Lï^ A"c_sAculdZ]zuo~jǼ:,<%W.3RFd.+kV<_gyqsw6 >DzD<3S6d]]9NEʪ2V]8BZMcknV*d Nך*k<?T qDО\!I6(a5C**4z?e*$qV2Ob eiw_ITp%)QR9'Ե2+=sus?<¶Zv6q0?_/iG;J<+ Ɔn2u!b[Cxn :`4^hJn(fmsBb.}EIIvJX"eߚJCGen܄7x0#}S}UL,*hPІx<LeziAITO_@X>-*|H[{rމ6'jJpgJodXs$F/kV{3B;Z)Z ֲz&C~*g?T6%`āM?^f710'F]"];ĿU#z4E¿8I*~0eiG$yy(Ö?#% |![y]X&`lSTP Q6#nYP;KoHѷ _`h<@_3Pn$ohA v*6Xկ?tGKD-$ίtW\ܾ k< U/u9XT K }Q .1inXM l;:'0l ϠTIN#EoLd#Ssۈ THL{1F#!/3;]@5cgg@j)jOp,_FyJ%,6GHμZ]kˢP5eV\RҗKasq#֨ϟsI\&ģ_j(!,~Ah7NuKlKٯ |'#tJrD8qqوKҍS??ivS,Wj9_4[IR9d m ǕrAs>d.6mz}"#3M$c}zcvcV2>4J}3z9Hӷ/&nŸ0ӊBuV-}M,]!I/Vq"'E엽A+ ;NE2VIg»2QA'ɉ϶M:MM,4HwdbgՇ|xH9)h#6s( atwJS+$&FdcҐÃYhDEZ?d9&)'c߁$ Y*yi:5_J4:k^6d-,8Vr$SZewf-(&*phP, ûdb\b~6O2`'T~:x$MR,lg3,#+ ly,<$Js:n+ma>̌Ӈ,YHFTaÑL*bM~7V9*T>X &l# iԨR}2?S`{;(q`p)Wr<'bNXW  JI;I`SNFJ{g: ˧+i xA(ZT`~d>AYI$tK?{pFJC%].;]޿v\3Ny;FLbX<*]_(DZvB$S""wʰmI6xEDjEg"$Y] ~]I1諵k, uWrkfa~WbWex}Y"\HpjѦZԆ:%]LE9*L<}7 h Eu (/4oq ~@ ?Ya%O?==@e]͜Iܤ#C4:" u9JErf^g,ɵkvG΃<>VRv|iw}24g|ic a16cd}YYoGK_1Il"Yv O$tADuԷۿTM#{r&uw՚%_:mZa&JGĬd% Չ|x/ZICLxJk/zxBzf`2lj PaTpn/7@t<#&اϷQ4f{Ȃycìٍ=N`x%IR#Mx!FAV%LIfrX?ҨdnrC#H#Z 2pYu,GYdm蘗6FQ~Gu xЎܥ qIS3ЁY2Mn-z"҃y^ {kG@Gaae(G /"ȝPlmpihUcҬH,Xa7=i59mxÃїo2[}8H1QhJB(!ֳ֨txhK \R[ɌqA@Ak~5:!lw扏Q2ɀ X[ݎ8헑a^RuRgfE]]co9tیQls: GGJd-| ?+ˀ 98RQv?u9Ig$?$429:ۥ\ZM@<[40ezɿds7PqBh+It3yK BTn*|tHgEyJ -7s ӌäN*U"| w<w޾!Q2F PYT'雕nNF{KW;(<5;|hW&n/ 2P,9@ʪA#gaf ptlǗ]||j&m&lXhu0MxW\&B/]6bⴐ*XjKT(h.dvh<};т u rHa1ʂg3Ĵ條@b̧qHiHqV4(\Qi\Y;+5!}lÎH|R-tgr3"ylC02gx E?$ˌ2*; MO~|ҹiCO )5.⹉x%'Gc1?~ 䘛4v)!{C]R L<12kdPKv<8mOQ*dyO.0zg wSH=Jv(dxγg]vvqryAN3Mi3pV_Z-fdl& 1+(!d>N`mH=` JEo H)/| -rAQѪҲ\7B:d,Tr2Q{>m2σB*IO чzB{$?0ԑz'щdBțDf 3\K/Կ jvg5n :#Yido`gcTa - '^ja iOo" cNmF.-WE ^M/r#W Cz\! ~95遰7S5Gq%S/h_SxRdmԯbu|'UK<v J]CBr厍l؇eD8הH|ƺ5B类I6p{L*hdnPjE$Dz04=~tfm hSle"=AmFO0ݿYta%{אкz&1+5ƘljJ <4yuؽ32c0"(_x|c*&$#E7 /r7p=wՙT3|Xn8s:`%ǦM9r^ կzh3~[LC(zzuр:. 4 gOr#'t^$\Dso3׍;%YMk$7qኍ 9kBy'd]Ӝspcn @Uƥe#OyhF#7`:p1Qd+\Dx+|XlW3Y&WOo?̄>pd;࿆fǹv]lOSD^^ g@12n9*e4_fyXYmJнl')nQU4.]bv!͂+Z)Ϯ.I*>Adh^F¦3LAՕQ\Zׁ)ύa;z,/Ok: zfʦ!K2U;nC`egfG3'bn+"m@rnp>wtyxR47u ^A:&l]bzE͐4wi.}*ѯaL@{PVaKNw_X诽OH@X+QZ=4]Oqq b۪WGgR=X\`PZ1 @pXB"%'# 0@=f{LFb_JNW';S</ eP3[Dnƾ=(: v5WclHWBE5 (;:쏤S /G%ADHrFD/Zl˶X#p}$pTg#L*P0WNUW`[Ҳ6ԁ+{xņ }"'E wKDg20;jt.ޤڎD2+cjv9ۇ(,!]kF9].Y@y,!CfEGT,:,Hӂ(-9x( )A( v)pQ+2H.@g>JP%FSn <#uӅ soճQm</}EIPOݦd6f:Y ,|U]/kz1IZX4{;ۼ=^!DC>ph9}x 8]E~3%LuAt( l+~Hegi߻:Q /2BaMKc6Ҽ9[˝p/4a]e?$*&DUmԮWF9,r_l\:7cˣJFr*L. /.r8nF.zN9Hh|-Aؔz0PTvzGgH3MS;ͤO;K H_w PYd7@SAA |oʆ,}|+"U\P#a+^$wǎػsվؼ@1sc,amF5}; uq]U\HOTc]xE yd&W^ !u<8~Oj(lbv*l ]ƦeK@h ]Ry*0#VV<4dEI Fz8Y}c'3Ws Lr4 q n; "0s0Ⱒz>ԗ!"Wu&rr7-y& 4A o-=`i`0IBvy &_q,MdP3!M$cpD7a9T&Y,2\LheiW'j0!X|Oa /$mJgf2 T@b"[PV HC&Ad"Z]>8\㌗KzT/[4D֨ނ&»ƠβP@ܯ9<]q 3@`93g+IcPj;ojKiBh|.)lECgl&}ԟZDZW@qK2.06Uo>l9a|#l#覵{~B Prtr#ªX&XZB93E(B-??K|Ddu𔩿Pً)#F9W\!f?!d^=ӈne5a,g|HHٝ?$xA][5<-.^k%u2t2A2ك:sچ{/tSQ{AHOx fr9;ryuQs=k k|ηic PcBF :5-3AaʱW3_QziNSA߅P[P-n.,A}Gq kSc~ rLvU u$IbDI)Uf?C,i)p_: 11nqu$ՆR!G!~x VTt~ !]Ks+Z4:*ZAHư0DRtϥIƖ5{L9Z/{PU@AU.1VTGՒ 2;V7.'m>B߄^੝vR`(Io_!' y'ɨ=1̦~ Ya˿#z˭7{Wj(iu31wM~&t4ݾ+N`&(Jпt{ ]=R`bvh r+rjpY2_PlYw CPm%YZS}_pgs* &[Z͚ZRBCO-PBf)LRN KU]чa1>Ny#(ze#Awn>.Ls#H" 02U-J0J]m)l鐛,Lb$}Ukz)fkh/K'~aݹ[ ϯx._o底]ڕ^"1SkI/~>X_ lVFƧ2-ε h"bkӭyd` N% o9U)dQ9JXEG׎k\+E}CqCAgt&Щ!bNc-cA7Qy*iOԔgůKSsmןNWLѬ;+(mISe,1lNPgڥT:"JK' RSpG5`F5۱h|Mx#+.> :hH6 `[m5Nt0( ZH>K9zCP08P Sl&#;.u-ԈRwIWEaÚJu( (~v[>)+l%F ޾vyAI)|x2c@ 7G,Lg CS0, `*&"5=CʺlgKǬvyM@1-ؿ9l 74c+n͖HoV-y{Wu(rO W'2Hz 0G׻tRN~Re>-Ɖ:WE}y$1cHg ýD_g,|Պ0HhkL1VD'$onO SF!rFWMl/1'5 #`up oEDv&&T> (Mαo8r#tnpY,%vgrؚLzUO&gU;zC-^dJ>m@u5ؿBѥ'~_Zi+" N(ÚRGoS1 H^>T"g{~2=A27?;6CC 8K4梼$5lۻwbgWۤ﹙V30bsʮm31$gqbgus 8 ߅9į Qѧ w$c6!G5 !?_4jdu+~z OWzJpZhs"E7uŶBN\ )d,}:Œ@*,R\/{*Mn,v`Swmk9]6]q2ʹpa&ke,4TGzq0VH =)K:kt"or*t^k¸1Yo#Twr<<͋36䕇rgUv{pYhSĺTmwq ̫0Y֜e<4fY(&]e1 TYނ)@/QLygQ,coF`;7#hlӚ@{Ջ0!q ߍCwꡓ9X -_ A 0zAT-IĤP9Hm+'mz}f'o]Rd_C1z7M[62I'|kGrsS8AӰPl}Uܓ3?-p]")*PȆr{bw)ʙ@Q#*lMFt!(4I/7?V#)I,% ěvvw U -^m9d_ֶNn399&j/'K?m5EaLe52[s7/'*[d#\ frÌ2u?OE %CV){A`ei*f:kA4<:2}x<"%ێ! V#ķ"uv\Hg7`G- ).m)^-ޣo`|G,0vFJA;a%f*%ݗQOYV)mB2 íb%疾h"&N9Sxcqq>hB Ebl|5/Ɓiȹq5o} >`J91pFINtٷrKMAJ*,'X=o+@SI4?1_wщɺƐb fqT:^6C˾wVǪݝɑYoWn"Hv/ ܴ&uNܧ L0Rw$` :"Il0N}8p$1gNpKg5%MBףlTsgJH ~fJ&"@>߀;5StR2`'|kCLhY2IkoLZWwp VupP&NUy$MOjYTeU;].a4hb2,8ϐun =Pcy,rųCVX{5zV@mOv#'T=j]~) T[%ƱN6>c-W0ڡ J1P~_.tsn`;``g'yZN?z5;mpB TzNk-ő-œ4|2Jѻƍ3[)1'S)Egx l8g>(X nIj> אϤ;IP5L!Cp[ӏ)ƀ'<^Ǹ`1nS{mA=)C+& v'bjĩS 3~ hCeV_t%yk*V) $ᤰ%T- Y$?t1FxoʇK@%tJ9e83E@743SQOƍ`!}/Ƙx5V^ H*u|DYO&?9IΏKX uXe/6rkmWEe.۵I"iVy3y0V4 rh%EUХey0{Tltŷb_p$;P8!Xf%+]OP$-a|* =̫n^-lRX(J:9cv:H~\d>cb~2NjFkc? VvNy=MOzn4G)tWDx-W݅g'X#/TbGb`>ƌhgUh痶uxd%]* )hp?iɛUɃŨO%0Tu~2\K+S*6Fym̐ d.kEVN5׏t6'qee$jov unMFy9n5 $+XY 'ep|PS,dPB0oQ"\H &,:-J $fC1h_i6aG;IC-zG#f;e,|?;V=G]n6ef'Ѕ㧙襬O~Ue{k2RUdI)c9ly iŰPKv^#R>ؐk.c|Zs}0I)u|Wb_j9WZkQF`'ݴFRD4W<BLRYS Y0>ܶ)hӀu6j$}h06u9/y7tDR `#7jHe;YT3+BP 5{6-ˑZ߃?@SUD&\,-^XdQY '7C/󩓅h |t%]fqN=tp[}`sF~Η9~F%?'>mM!¸H8"/BFϙmo)O_‡ByOi>M@!vߢ|mKml;ZIҨ]h?u&1XI w3s);vK!fqym@P h2cau !|bbÂx0d6[S:>Xq@]_|P& aD+Xg,k' ktwtmS2uz xq>}NJX$]}Q~ =Pc޻B2 BSٲC'T"k"-n^EMb" \IGU\o;,-dN<Nzɒ跜iG,zr7B?-ѷ3uW7paYV"׎EԜ2wcd#e Tnb c p%d~/mxCr"XĂBNPS[g2 !&6w( kOz&F b. V0n$am!JTPùwՇH F^Qb҄s~ ķ4@!?3MhC'q\h,eN0oP6U$X h.uYy8?GaӸgrjN,~_&_w_ID`ꌕ$A-MQ:2R"-gTϺ䮚d TSm]N"Us8 v`~pK5p5e `~-k] \*]*nL> f]g >j(S"|̏l'O'.m0mzKSl??M [}KXZ= ȑ)z5=\?[D+FPP p'/=dό{^} Xu¹^݀')Pk;ρ1" IPÔD@hqk2lm7HbAߢгv`)h4V<)&]cfMn%bE.ǤPC''u}Y07;.m~8An(`PifK;c`s`˺C #F0asaDڙz~~-RxLCs3!">U-" %ᙺOx`p=#OUKeUZw;ɧNn#%}X:< SIR$ZN4P\V2Tz ;O_e\' 1e3M^t6Y{($ѡgG[RT\e dpQ(+Q5zGyxJ2ɤ,J? eP$)&DfMcveu㡸p ɣ\0}5VkiݩnqaX^sACt*g}t;cI9 *Ug\JtAz5.$u,e4q8s4y|qFYəm>>YG_%-@h"&*Jn2 @QN4n,+ Ь ܵ: oE= 5tC=h9~ҧJ^Ŏ^7=Y ?N"jwgԵz/댫$YޥC7mάq;{Ԟr\%`^x[e^~Wօϕ ՌXxIu,y/s R=$2ɦr-N[k 4H40LGrnԑ5DW$Wξ7=XcSf/;fA_]å=jClm#ğ([0e<^EPtGPĽ#Den=WM<||`mj \ _.O-sqȿD N$a9"/m2zQ45E9E0+ni04s%@t .R BA|;|O _ 'E% HOL-MutabelleHOL-Mutabelle.MutabelleExtraPIDE/markup27zXZִF! J]s#A>E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEeV?k0Pۉ<59;U(\+j@뛭%ߥ]& @Ioa.ρ2%v]EP nme*XTk$ڻAbi_|d L MB''M]#D}  "m|1b U`Ԛa!XI*WL:)Py]!rqvR8*}/ xE(yVq/l}[=iml3aL|%U+6ң%݇6òKԁQk)`g["m.|qx61jX{@.~Zϱ &},db5ˏpHyKe@MɖĀ^~hK~%LѪ`~b*TŚ7Á @7]bx(6:mdB˕,ftgMWx !u ~Tgeɖ{h">e=T$!W;Q{?Uml]hLnkF?Eȋj#ƫCAM9$uLF -pGC6n2ȝY5`v,MCR%/ɎjƔ8=i^~҈wUhh:IH⓱E'OK, ԇjqvd =_Y/7eAF" Y_p VD=NVzsl9I\ 32uQG^ħqOm,$`7HU"G:+=Ufp&exapAxeȫVBVತ̇E_~' nR6@õoOVʷEsR%d+ԊZ]@nyb'x'Q!rA5"&lBd@\$!"իV՛jɟE7O /:!p^6Zi]o(4ĮH2ݯ>rŹZ ?>?G+ӗ7ۀȊz!& 5),Mo.ReZt#xƩipjmt@uƷJ+NHo;4eH*8~QtYTJkAG+=D L){L5&L!Dt3؉- [gRmҰX$D{d+?V;,\q PQ\ [,7uh-tͥku[:KwY\4f\4R"[)ҳqV R:1ğU'.U2rJ)aDc? -sﴢ[LZ `^tT deg=NPږ:6@y[3O[\Ծg8V5B{g,r:­ ļRN,LSl (.g Z|}?~GZ>8_Bð0@"t?j7n!4TDg`a. ~CbM4˲ufW47zH tr˥;.:B y 9ȑ"?FE9dCUG_So\oߋRS|G<7ƍ@D]lҋ)9AyW~Gyu9CIPp'l[fIBYg;FnYꄱ/.5۫;]h?|K%3ő!G^ u$ AG _n{PX|u{ ̼HTI/8.p=pb'ԉBN&eE‘śhMdǟ4 ċouLzV@q(Ek ttPX}.KS)]|=B~vȊ8~,t\sh]Ge#TWl$7-ɿw،޷ݕڤWd|uUvZI6dzx5<#C>}k#7h!٠r~j޹)B '_xqC (Vb +h+ǂ]UVo }F4Eʾ9<9sѕt UL_gj?br!;5Sa(9*9;3ٰ(jxlcpWnh⋗+N eL2 BZ~#sE$]11$3bSkF֞j(9ЬR`QEW tiǾtX/l9;%٢C'gpNӍEvG{-m=vͳ=/[Up3p5ŵFd 墸Jkk0صP h j.K+]'%& }} 'E# HOL-MutabelleHOL-Mutabelle.MutabelleExtraPIDE/markup7zXZִF! a ]:F.&xt9q^ +1%##7B l}h)* v7kͻya=<i,ʪ5V\0ڣׯ}l0a7{V`]x{N=47bNwNWX\-3g9VvpX9yFu#YJ륔f'G15 9N(;CU\v2 =28nQ<sKYkDžP!利ˎ*]<4UyxWSqYl0#ơZ57lӭyIPƎjъ;ܫ[LjBjL6}Prq_5mf;_|>z#HjLrPMIuNib;4fIzl~ަm`3) 4\lxV@tDdJ'oHU'ڟf/] 0Bf|VsX?5}Pfi̖ή6 _٥hᦹ/5H,]~Y94 Qc?ǶzL "Æ ^n'a2.2* htka t>6#^#,2uzoM$zy`5lj˦]AS.C"%\C){8QnXYؾ}fG]?% %$m|k AbO}Ӝ&T=bn;]Z8;)e-שlĭ->܄uFo nI-Oi}#7ksQ͎E(1ޤ&οBP?I#,MY[ܾ .)#x 4:X?d2>d_NBI|k[;#5cpPޥ5j,]F # gsҸ,! Ŧh!bX*'++Y6Yªl̾&)2‡֒CǾ WPu#9ҊKwۿtαjL`l]F-x7‹ c 9RMю^Au;1>e~5O!8S6AFjB_LyDE)/^͉q#IKPaTzկ ADD+k-CSn;_8] QR"Of$*;̯t{RT$]?FfMƱ+cuw\\>V ?A\<{bYe@`mĦ*TP%o6i@u{|2:iR-¢\[|bVj>5h ] Fma`lBB`qwpb@sҧ,L?nYqԁC!06=_7:acv#yĜ[!KBVs ,RŹlSէ\`ES,kػtKЊsQU.>4)8pYWk¤Em+>/9O>}Zi Z3@ P^-B^NhUZop9q ZQf *R\g^"5y^A|Jc2J l7o\Q1ڶa0ef2 WPUf"ᇫU9!=@ TlO(6R|TfY. o.6?%NTهRpZb87@m5gZ"fQ5_/07t.2ҭ4ǧi1͉Ɵ0%{I%4~TSE}CEwq'@ _f&#HYsZT؝J\΃U&y^!"Նo WVm$d/Ƅ_&uSO*fi8yCw5bǿ `ej1QPzBhbso?qݟP"r'4RaϜs@)7_ivݤԉ1"0虦t$B1oG=.WP^"gYZ ww 'E' HOL-MutabelleHOL-Mutabelle.MutabelleExtraPIDE/messages7zXZִF! j7]Άxʆ5.f-9 rq9m+'ݹ8$frOGKÀAF~Cش=9|gjA?M-C؏n)H0νlWgQ@} DE1YY;̖okIYsgdx;K۞cG}p/JZP{j5b њ9J:ut/AmcdT+WEhSt~xM^|ɏk/ 6Poehc 5w@>0"h萑aB0]/u͌=WL#o`Mٛ}*kl M' ;5^8 WpUYCke9h1f.T 5LyuV- MȧV&) +`3+ 35Eb 0zjb+mV&g+c1>bL hFp7In؟m2 7*,wG=h[i6;?wn8p1V,-Nm֕~v)X|khXݥCpo_o8FxڋB 22i^1eSzsL_94(ʦ,Շtlh?(4l(k/NְӜ͋@ Ǯژ?*]E6Ŵ=qMHxⷠ8M!A89LsԳPK`5/{Qf5iG̠ f7sS8T#U'ZʷmGhxଝ?_Ͻp2޲#мtgy3qqPq$:8[+QEaeQ)TY؜\zIּrT%] J|IU!Oԕ=?kZ:tD #Pcz00u bb.O}k.PuIl&qDY[e0235,/?*Ə6,CX9iS?qVbH"wR՝'Ҥ2?,d|UU8 ~ /%㜃N 4;A\Yh>zil^=i7O-sȳv{چkD1ܑTUde`T!*$}z'kdgRףaM4䷳m=Kql.J<޹ֈI_pXM~:Dn`*QZÿ f-+\1d>y|U E>=e_T((vtt2*z?Fe>}m/n/oNVoUUFS J\3m|2_K&k G=7 l|" ʺv DzE=&v:ZuUILt+SnUfOJaRm5KS](.kigIRu@o9USQq U|F'0a9j${BloOHvސttf[U(_{#IzN#@N7ףpV冘s^B { 4ڀTp O#VUvD_Q՞í% &SirðDy= C..;X.d8lz$Mi`