SQLite format 3@ = .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  ;-v|\T ] Tarskis_Geometry:threads=4elapsed=48.737cpu=136.616gc=4.6527zXZִF! N]ŗXiɟH)0!h]GdQU\Qubbck7v=DQdU$z> fF*@-q7憏Kܺ$e_wz" m9JUȹ<'8\rykư؍S 5ZO6XBO_*~p 6 S.%yԣEw/=)HwQf oVxZ;rCm~p1woT _raA$^JTʀM S~'Q#/5s*v=[Qhu r40=މ1O8wZPk~k)7i$; O{"eqάoHJ>0}5}eh yc|tW01DE(zA=H}xSu5yK0܍w4Gc;Q60Ʈ*^ =YW>rJĒa2ƶIĭX}:124z=lTm5])dqN3H+/5a /B akK% b:`ze#mC"s>y?1ԭa~+#BԎ\zٞ[Z!g4t9(?h/ cGt>RGf7|:?~쥸ZOݡ&][WQ)o9?#e⠎tU=GG:kNu 7Vzzvou\P 4EA">&?z7\*X*K>g%%)TOª);T ȯ7x:td,Jh5$yۊYe_u\r"Qqw1h!dbjB G?:6jW_+\eԉ0STݥ Y -(Tsu nU+} Qf7FŮE$, tQ]ȂHEzڢ46J\W~.d ,V @cO`sd|KmB g`g^Vm2-cuEn‚;r[=O_V5+408S蚇^[ɖK'5esӝ.&雩q);"`g#UhL ڤְOT2;b ʍu r8.ZZ l򕝅^2whH,{j3 ri0}@єq%&JIEė ?Qx wUZ].P9;9Բ́ r[dc#yPl򚞜~Fy:R%NXJqHҰ +ᾩ_:ЧrXBB=m8@xof_(M' "8o scsv*٫!5ՉY%od_YHLeʞ QQ3( OəNţ@Bqj-&z+qxU[A QtIq02N 5ڿbRYq»Q{o˨pi8A{3ٞ ?L<Ɩl;[gg_*P*_b@H8o]ξ& ]t>”=-u%ڦD5YsLW@ls@P %f$" z^,6SvTڨEN^ `Q8iW:m%t"Wb⏺ uox Ye e 왑 k t(9zVXo.C҄*x1Gc߆١~y[L'Q*>ύ|J7V؟ԻnwЅ%2VL (yO"j͑% rv`N_Y/o!}[oLwI$!Pֈ tG$*GTfs˥pܴ*5b.|3"=AIp.A`͈6'f93P< eA/1`FGrtK&[i]'N* DfE7WIkvU>fXChef]9> zE;o5$ӽ{@` bMY1CzpB% &،3H"Y2nUx7-' NBNc:''(߫GD\6(?C_sa/ݡe)h۠> "R3hS@=1LBO|3S&hJzb'G. Wv!sSxs:X Зy'L#`yf p]e#@W.#SB"s14g\(2zkQ/Ǻ3!N 0Rz$?F,i$L) ' & !  Xl 2 ) l D-Q%Tarskis_GeometryTarskis_Geometry.Hyperbolic_Tarskidocument.tex9-;%Tarskis_GeometryTarskis_Geometry.Metricdocument.tex 9-;%Tarskis_GeometryTarskis_Geometry.Actiondocument.tex =-C%Tarskis_GeometryTarskis_Geometry.Miscellanydocument.tex D-Q%Tarskis_GeometryHOL-Library.Quadratic_Discriminantdocument.tex 9-;%Tarskis_GeometryTarskis_Geometry.Tarskidocument.tex B-M%Tarskis_GeometryTarskis_Geometry.Linear_Algebra2document.tex3-/%Tarskis_GeometryHOL-Algebra.Orderdocument.tex=-C%Tarskis_GeometryTarskis_Geometry.Projectivedocument.tex8-9%Tarskis_GeometryHOL-Algebra.Congruencedocument.tex@-I%Tarskis_GeometryTarskis_Geometry.Euclid_Tarskidocument.tex5-3%Tarskis_GeometryHOL-Algebra.Latticedocument.tex3-/%Tarskis_GeometryHOL-Algebra.Groupdocument.tex=-E% Tarskis_GeometryHOL-Algebra.Complete_Latticedocument.texnFK^ף.SɫO#fbT RT"fg, k /ʉ)+80FcuLRe2xЗ'dToc iFOY6N6D X⸶;>Y%`9L 7B;B8GHAhJpuC֗@8jP 6xS)3S{r2_hր|t$lY.fU±YH]S*2m2Dq}7F'^D@C|u'rޫguqD"-&v:h9{K-Qf2xTe5?F)J&l2V 鏺!v\¢zu@Glw:[ YB|gg M㲣=&Us>LXa?RN '?P $p~5SBbzcxn ?C)mcG$~ʞ',$]of|ޡU>:#l5 b'JQh'Ua%Sp$]%b#͖LiFK*u]_m~2P"cT_ӊ%·w-mTE@9Y}2qfZnJ34Y#\waB~m6D:pfލEk0Y<¦J}RCXn%'¢:kB6"V͌"nPr]< 섑\ @jEUI.xIXW3>c*eY3c7^y5Z euGk^G 륐>4G8Q"pd iMLol m?)3A8 ] 젱v \_H&&>L!ȌɦZ\lK@%zqwoXCZHUoPH Bh:9(ՓcTG]a(;r2m󡺂ra(/[Yq>ug W6@^OUMuGm䀉EEBČr G} -6&03'⺢ճVfq(i"Is8(لԝ"wAGɌ] {_Sz&ieM7kvVx=:1@ڻO))-kKC-)7%ivBM002omkN,%X't%#--o^I>쾩O5.N%5\/Z#fզ#ݝbTo ṳ7YB^oEe?|1 rf6rU-""ޝ elM~2HT[ٗUܚ]gs|gO =6`} kbTmmP*kuT?gH ~F4~M[*U}Uкϱg ^AHin'֓Ejao Y߳$͜"HAR2/!=fL5ml?NkGuYxT7:~*uH׻|O;gmB<= 5ZԖ͇h›lQè(]7sDYbIPu PS):~~Ev魏76sԤ"^ o 6dϚ8JQ?+=[JAF)?6MGJ֗?c> _EgM'OyrgB$`inKdWv9B|/CMytJzShp{9Xgo\I ":.Iz >=SvzD[ ?74Q秢KTt@%NL H4:~sNj?'#@g2GUl³ 5un#/>JAopގּОw̕512Eً>9XW/֦,-"z"]>X0}o3r/Pq؜/݁}/GS^!GMc-Y6ʒұw=Ah/R P'A}YR&.aw_AédMnO}(4/Ay3~6hF(.]Hrr$G<0~AdIFg[l( &{ Qǽ`\n+o*H% oδuR>~E4e[lJ.ޝB$'1[S9:Ѽ0xBd&IISӑdK5k gʱ7JrOxkpяxU^d r "fy>&oEa'iJ}o5A>͙GQO pY e8 2?]ƣ2$3Kj55 ߿hY+}8&L@XcR눈uZ1)$5N7qJ'H,^s6):gԐêtI JV쬻dm\b-^M`ѹU_1Q[`<"&g3FUg∻C"(`b0κǬw農޻13Rӝ'LFA 7c*z/+I25(;1RSN;^ Cnƀb/]֯I:Os'l3X /q CP p5;KgNC~HD#v; آ&LstY&{GFN:5^puE X3 .,?CkYafpLlQIMSLJ.ǡ@8#r4Ƃm!qRXW: "&h-N~V d/)S `Ewwa{O`M.6J`GΝ=,V!WK'^BajlZ*v%,RڼT:;82&"2w&$ OM_+U?}ڗe/65b잀=y mI(͋ivXWu~B/JF)x\(FҐ+ Kn,lU4U5էo9Cۜ! Chr))CC\O4H6os쫮g-Wsc[ # —2{F7mFdUãDk.FS7NEh3s-#s7Xg3}M3s&a`x:e_QsHQ ]x֣T $ c^O\,QxP'4.Ru+GJ &X LE߹OdrLN|gDBSKuY{0Tl~PC\R>&+Jy4E$[80p+10_V$B )i'Zf1q&\1TK,019-l0|hgpϷ!KaV[+k;L]TCC3Cp=VZσ <Z5W Lx䚪UIH A/gVǠbe^1xW<ò$_W@2h>o9\X#Ԗʜ<-جv’e_GRVS¶4|hsy Pr]J@4fZU7O xy) [mJmT>UCidtUy.̂yKV7|Gs~|ot<V!'xd~$Ju3[7:G㸟z\faD ͧɐ} lg'gl^Khu!x%?í؆lt|n \񵰺OҎKJg+% TpDʒAj6靺r9janN$sOy1#٨SP9XߒGޟo0r|6[rntGӝdN~ v=DA=idgTgzUv-7֮hؿrjluP8HOpUHMNp*Ɣ=tbN#K?[Œ=I(|idĔk|{CDރuᵞH6R%o/ga%<ɸiЇ5rݛE>;70N8B0))nr_">I-zlqx$%&C*$4:nى{SFY7>ehk{`i[{%VLKz|~J]@c$lKFBi 7yOTiơl6 ID9ea܇mᆳ#xy/j|fՍ5{^z'Hɖ'ʏ={Eå*D`BTղS6s.*ّ1rN[=%e2И+;34eE v]z~u0B Cf?]+I15ZI^Dȯed)=7戉Dֳ w8Ko+b5"~Q$iGEd}Oح+ /NaE7"a ?]Ae1c@u1C@fT]8wLϗx!w0ЕzWv?CPY}jQ?<$;C i ,LֽP^7=L.lᑳl+û 4͗1zy_@E TH}ٳwa>ZHj[;}2dxCeE< fr 'D<$xw6<Wg[\A)()Pqlc%X 5Ӫ,;n%:.Ɗ"gT aŹ*PkW/Bbyu#5NX|K3Ӑ/90holgܧdnA?%joDϟo kiCcܷޢD%^TdqlS'xtn<}Σ=SވWmmcN 9!Ӻ"  w_CT DwAtGa/y2 {FXs?` )juRJ3+@*M&D=ϜܚE [sB /0$KBxO`lj )l(rQ'p>/4j) i<5k9}EӏqF' >CyLsC>B)D{7r[Na`bcX6I0<7mto F[]}s[W/}_ئ?Q$ p s%2W{ Fs>cʪCV/4\>D9X1N 03Ugٸ x(̛]ۙsvWPc!x\͙@`#oY- `[y@ 9IX ,@wQ PMj\OY`[.>\00Zs> 9>Xc]VlTpz8'QK㤑֥\@*O>-*]Y14_ ɚܰ{mA8++tc/"@Vm30"iDpnm3[A1(z3fePK:ml&2Q ~ 3f՝BVv.+wGo?zb=~`~1, uE,(W"f8l؊ IƘNDjzmNL%3,>pL*-RDR/[yŶ ٽimvRY0A{R=z^~!+HSRQzSVf Ow}]% s˻2c>ܳް9*3!K鍞 C%&{9Q, DY=IW%3.Q~57;^3BH=O$8td0D7!f/̌Rx Bڝjrb9J+X&J?=~:> όT8nqCkOgtҬ֜Xl1oGbydeC+ bXV^HZWس}y<s>or" z/(Pek c)S̶ 7qC",+?f4F%w`J5=\Ol)l#dd E6:Ts/JOs @Mt:Kmܑž\Lܷ/ΠMhgm}BNjTt? <?+Mtvrh5>%_ H+ъ$_^?,?+0'ߑEixe@0tNP4&92%l%s4tL|,tT ^gJ)Z[6=n2HI0,`Ѽ T ފiG ?sk-=amH8Tm?4QWʜidSե'J  8X͛W!qTY/#_~~fDZ,CӶg2"+vwhsna5R }R-Tb}N ?@CI27ׂ ͲlD3~8tqC) 9mNayo2 9XmwݺЏ7 {>x~"!qk #{wȂ~.{c];e1Z)6^TG&OA oP )30޻  pK%D[rZPX/hO2!qBf|4 8~\mU^|zUVv$|́G0.*/eEQpRK, j tЇ./fbKc] eղVCFF3&?8o;!<֦w +&tSHT %9lbz<С)q.fq9¿O`UNH(& iۖ~?EW@;zV)7$pH$L540S!댆A>%HSARgEo?XяhsĮH7Υc1%%_x茑OȶxhMLM/f]FB3ê_cda\MU1X< EhkÜ~c3SRTlHiî;LxӃ_39QFCnIPuGRz*ؤK\t02ڑ^0۪Q ^Jbot1QL3 dQEŎrcwg8iV&sNPR{ΙT&TtA7dbAE{8j1\a8Έ7SzTL:?.riʳӄ19(iNՈ.v$փ [D707`_h;e"7/W>Y^ EH0;K{T5BKmH̨!7D_cT Woiy}xĚr˙ @3I_7n#VDe"`DVkn6-2m]NJUnIL=yZpz[h?i K\}Gbϼb KYEЧ"9;n'Jȁb̮܅oR_[,6?~/V3/Nǂ$h't#!   ;=_"f\iffE.Ԡrt6i>-"3G=Dac^;?}0w*Ù2,HC5NƵfa8xO\/厠dt# ude~RSQ1qIg{Bc+`NVxNY[*7*Τ!q{7KzBzR?z(0nr5Oj$:'Je+l{s+iRRu1a$vlӲ%K* eȜQާDȮĽkdÃida҉yp}^eoXqbUh?e ʠ;CeY__ -Ei&?e%v2ffGfeսЉo콣:wa[SbC-;kl}2<=s I4o-2Wpˀi3?Ou矈&\K*K&JEB@ANp'%űUMw;eɢ98yPa:.Hh.x爪=x:D< 1^',3171ǟǹD(WKdL?Rb9jαEc D]! x[\}΀Yb->ڏ(&SELfWRo\v疥e^pj{Tإӳ҉3,ύX ]t7D?ÂG][S2&`h5Րyn\ fjP4,dt4T C,8=`={Q ֮HfGl8f =b*i/ȉjn)I0KE,>܄y]oGc}Y?F_(cp PDuWVBTh^| 'xRH="s>M$vσܴDR6<iuT)d @|lb4.B.Ric^KYµ~k;uC˟F)h_҆R.lT\g]3u雂zVW%MMsPluz2jwTZyX齡8T|YH4 5ХQ?"> @Tf6Kc]uߣV0nmk=@ ְo*- #\$QkK(ͅ򫏥WQ4 }h2 } .؞&/$MN_KPr/]; !q?6D2eٚ@XheTD yҏqԟQNE sʁ"zV$R}dx/zL.iVY2< Pא"dvk@/š#ނuk,SN6D.`.=0y%Y$R1ٺ}/:d{xPV%U`=BHC>O)Ii>w]?֯7||tfe%*8cYL:I6%7%)ApܭlY_ "{BgXQ1]1U^` +FZ6;+9 ګ \ehm a"İp {<{x tR hKS$<~Tq9[>X|%$˦ʃW* ^`5nLukЗPZljEVq ܞqWKj\&5ͺ븒YNO98V` ,:1sU FJ ΆvޗzCgauPږ%eo{6l}z._p]DÔ񦘥MR֝8K'Y񼟒c3'7t@ YU嶘9uxG~rl`{l.qoE"_S> գTz5p4#TI>~̓ɳ1jb i{I >,0po?~CR 2rkl)&̢D}{3 "Fu4-3qylWs$m%yۥP@ a׬)nYUv񘦣Xv?$y^&U+ hFC;QnpڻceLG`t_;S[5 }8xw`_`23p^G'N /P .CDv >Gu@CR~"WNJZDfJG(A0UߎrDv~u+6ᣁ Q0EJ yE#Ic-@M?udVNǢCt&,I$u=P-8p(^CL+^5IGzz%`ل#uLVy`YmJDBުFubhRdÊqS ۏk?L}nGzΧT ҡV/2o7@vAoH o"}`g~/n3dE,]DGiC}J@.E +C>GeᰰhڨInzuUrh}1v.*ݣ!:= k'Hw~v1L'P$B׹`5]x fz/@8[Yq +lY%n H&ZR K#fzvmѩԟZB36 ,9yxh|}ܫ\YBQft#6znFkyJФ#fM!'4 Ȣ&;.].+KP쨘=dd=s/4\?cQcLYWvs_H1M>] d ӻ* 8;owдMk?w /ۼi#]D&;5Qq}wu'0A 7|C}n} qңb$d @B$Nr=04(&ϣEey YU^|&KClcVvjTO3ND~{hjJIzͼZF&p0$Ų@%U8,J댰*D:D61ے+W_j?L vK?\2[ on}Yi P0fK}7;!6l-бmFM*M7 Óୣ݈=x[rޱ)"6Y&AӂR>a T \l;/\Fz?)7h6I8=r.h\ܞ>;>8FͰZӝUE+:𽹛Uu1;W=keb}P(µ3H7 z.x̬wP{\f.zsĦ9YC.BԸ v$ԺHvs~)* bȔ:Yه0Ego'5A/n"G3 %׶oh,?o&Z~V+.S^b[|ECBΠih[A 6k#ǣn5"ƌq⁋ˑJח8ʓ-mpuJK]džڊPnQ !DW4\BKgWġ( H$U4;IfvdCQoD6 dy}ڳta%*.X Pσqgb}ﮖ_IDSMl -_qz+u!lp~9c"Y5 vt>*sU1N` VD`4U&xl Ї|S!v]ӢO"f›{xc>9]|7m?̧ z>4<M޹OֳpBWaQF81wt%ڜ7ʜP-2b)nɌ?틷F.:>pÙuR&u)6[' {@ %peBuˬVC)%J1̂Z`* ">_W۷HBUXqYkm1iYu+pz0CVBkY&{ik^c4%[I.FKt\UͥViں?Me8JH+ə jRGu%,:Y\D]eCKvuB)ʯ($;@!og *X '=4 Ʌn[9T0$quMEϨOJAS\wSl׊^fʳOMv5Q3^6!y"la\BwS<.#l"Fw8 8B,z"7΋Z ߻լOԞg eNqAG$YI*:OFt'wIe6x8<`p|1(LulYOL0IE]%֞2FRm\qB-*GeK?;)5ry#4Zݧf35fzr &_pI 7u'/n@7ޙ:D* C.C C9?k s37 H@9,%?n+]`4`윹RHgB&0:zgP%r+HOj"[\Ƹ A=c~'^.]L}[Ssj{.epX»3-ʡ{݉py[d!9>%>%%λQX;c *0n5c䧽uQG(;3!"̈́P"k)KtHAWTMaa 7D-h&JTGV=gUh!i9 ~P=F,"?;R#iziyxMv-" I7 Vɻqf"fpJacƩCx1-?2fjL$40mYc e` tZ \)4(k/BX͝1g"hEW#c6 `QoNb!P%ٻd6:x(/݌ Q T5(k>ZvAx`gF$\ߤN;te|I{ /6;bn `8|]D' {MuʳI)1$B%}c }Z> >Y KJSJD."-@TT ,gX7ߎ8wZW*`Ŷ \kzjΐy)!#{j5d`ol+J>} ?;$Ldf /Iv"2K*8M1Y:] *Sp]TujOŽYX^fR2]v&FZ5B"OB!CI`Z!#Y :o;|Xˮ;ZV<[q!'J ^pښ)IѢd66xlp<>fp~a}VX%$pڝ[Ԗ 9m mͿ=F'%;3#Ump"\ r.j`?c"ca UbM1Nqa~"B!) ꠂ4^ #X )Q #t< $'\ui;6fe#vCe.ƿ(.*Rre:dG.IɃ&JkKƏ9 2!ou"d~0DR TCDP:5-!)#0AoI|og-]xOAfl;@?bv4qKe{Uc\-OUj@5LG-9]4\z;ysvY+p}@ǗӃᖮxr*dXi %*b51Ixe9Q8 І1EUUL{A{ ¬/4uX2EҦHypؿ;n{ a $k}uEW; ZIҒb4;4"w]t`xTIhqs=ly3f9|`i:L eWk[?6D+}P/oT^ʣoV%<Z!H\3%hw o*؇_U\QJ0eˢs>)~r= [K~St ׮/e180|8[Cq7քB7+z<@v7#6y묐j@W.-g @ Hi%;oF$<'_@&J?<|Heڃmfܐ;׿d{TnSYpl7_(Cjp$uZDL`V^Csgxomb- OQb~tYo!<'O<*<�5Cú\I^|{Ndg'a"Fp$?0ar؀ :4r'ە֥fTxl=b3=+3=״ AJbJ N}W?FKsb{o3$MVmWԹ~Ƨ=-C[lylBY6MP=bR{077u:dCѥ3['}oh*1X%\mAGUS/P[ kXWqPvlk ;20m:MP'`w&'6w`YTOIpGy&F+ᒚ3j"94=Nf u\4}.RֺmR\!/cv*L%ʄr܅NQŝcI0D>¸@)o0nOmvUӟ?Fn..p8 Tn/Hr/_!vܶgPzCnq@v ']ҷJo)IHri0D {/tROL!*Ign.@zUHxK+/pLa@aE%5jJ85oS ƚSFl:;\p>m73Ζ_{~( Qzwt*ڤAن*U40}rEd,Ar!ʑ ngش|EW#GKDx)ܰbb+Sbe80)aZ*4P<(Rp%DZě]- ӼP6 1R F|(lֽm!ǯ%Rȕng+U}rul)(+vbh d+\uFtݠΑ`fԼZK,wg18T{P⃁`4#8D(imJVahK='Kt#hui7jcXEιwIfuϨ88:g _泎=y\XlEgWOG>wv4BG_* TMPN ps<ޮĺOk;\anH S\"GeG2 v듖U],°V5c B)jjq<:G隦6vi8kί /`TO_禎'K'RP(\M3WS>8c>Ʃqf1sh/c[7h$9o/>|!K j5HCRp`9hC6_Aϓ z}ܷ03 E}{{,cjYvzY`=dHAFPX;To@øR.0,cPfuu83#Q?.:)TN.}޼nVM%׼YBeɿXPΐ9ډ `/N{| AdZqs{(P9ͳ*: mEKMEՕ[*2 툰GoR4Uxf0O. Ys{8}I D_Ḑi#X-ۑS*,[q<~ -;eY7Kx @e'<[WWofVsU\޸GA/Wq04&h͔+с?Mꁹ"6_0\Wă0jW3}ʑ7ΎO;j D0Z5тDe/+ ΰi Mj lCܡcvwCtRa{:wllg.zVTm)}8shm>2}lf2'~ #-4$=uVzQԓ]@";gG^8MWТ5[˹EQj}[$t^">xn[Ź9 Ov@Z.|OZ=LYO]ԁ.tC^DsV2.ձʠ#j/爀))e{Ip3+X2e&[J x$T=ā-荓關hϷ9!5w?.1\v7 6/ sLbp`,0fn4%~"E!#4vKZhH[/',;˚P7KI7(zNyqm7x95"+_\ʄʛve1߆bճbъl>x BLpn {ÏjBB"G;((+eY=e8R%A^>E1J,='wWfMQ=#Rn?tPu3W_NLwsC]sZݟ"l0ɥDrf#V*F1? G f{}þ{ mM[ גaU'ӏ4 OcrSj.ʒtŔSW,G${lj,G-rXﱇIAɯ<%iȨB1jj3Bh,Y @Q:Q_ysնߵz,rIбt!r=L/ _2>,š84=7ZZ45g7xG 3`)+ dafb$!zGp \֛s Wr|NgvMMa@Ռ  xp,]x#L.I G/)i~C --: 8nY6|>+@\arW=ވ܀h[wyyO0`ir[Q$I W)M/`o[rLoJWs?(0AO0E<(t"7fHX|ϊu*iNML{СeOJ'Z/'bGaQO'&\C\ҎBțXHauh4;A1x$>r#-9Ex![w6P[5ǃ=&Un^6s!Gݯ@(_MD>$#-0&]]YerȂ$;G"#*<[d<16^,N-a2[rf$4Q \ ;4hi3ZXY IcҊĽPn? ;BeP&mC8ѫN[7y䤆C VIqZ=UZ?Znhz_|̶͡x2ر.omnYElկ)Z;0l֝JŠx۸BrdBP La x I' ,-ê]A{R>UM.Jy,C*M'I7@HPJBN!#a, |iDK%}߳H7"РLis8 viVqo=SVuPFՐOۦ~jnj2T )vʓgn~__Ƀӛ!}-ܺnŞ"g6,(NlOǯ>tt^48l3@/mlzfȅ8R aciQ2CiqPKȴDEM#'reȪ)X.f=zF0 A_`voW-)ķdqBaPtbjn1U/U{b`1aeb'(=?_ZؔoZqwV/R"1cQ#FH;6v̵[t.W#cZTR=Ԅe`pNY|;uw,~6`q\XvbF45)dRz&kUh@M\LQ`:;2ui&$U^`:_\h*>[Do[Z%U{U4}yg$,zysB_FH5Jt+žeco(-ibpj/4Uq~= \IS㧦摞Bu z0 FJn~1/*}Zdt6&VXEPY3'\A!Cb h=c}3$;]S]*uNV y]?m"1gas/t"]G}|p7FK5iH+5JP,{hsgK3r Y&sGy\ #͢(W`nɚ6Ig%__WuLfpVkof#"2[ح~Owڋ5Z B)H‚OjCհtH/W$f{eӦ b ! &'\@x' >eǮ]=GB]gGi"DOfv_}_{SaV^'QDJZ ib.P4TDq" ]#d,']!xI< R08j:q,:r9|BQ9I7=:|רXe KjɿbYCWgݦHŴ9e@(N:Z!m4S+^-.$G{^j Z~y(Ld'ڢjU,t:Z/[v✋hQzT>TJն))ͮRdI#ˁE[U۔HU&ײ;G50}X.g/:tJD:g*.kS=L6c};-А칇ba]v#bKf&pA^P*lЄҗ^R[T(>u e.h!V #fOڅmn8\e8- QbN8g`v8K *%bh@#޸#/A&\&`Z6Kv!m;@t6kIr,Il)ح ~ *ݫJjNԐ}F{(i>$-e_uT.i\sNA]EBlmt^XgOcSvG'-^ؤ9D;RO )?襺kK5z>!]>X ?'F 'NdW dLk;2ֿ]ÄrFơnrŴ&=gȮ'Xfx^˂F/Ƣ[Sڸť!"RZg:#̤` Z0;T@@*aMjx,T9_sêC _ ['g9 -uDyesPaYR⊓ e/kxN*xXӀtDc.ZMwpz f]ܻ ˚ü$WA@ @=}r}O#8h})-f*(! Xchݍ^(*hxS6< ^E`~@1S5:4"TAlfWcW_9^͟c׾`]kp G*cRl^JH? 1u |V!]ZSmQe(a&.U![_0q(!@`6zтπeKt ^JB{qo׍AI:pTD}9:Y FEaRVmIG5z'`ȸ~-fWAsQU~H'zی O9 x7B"Iު>Wc 7~mZZ[>({Tm>Yn[`'wgIׂ甲k&*>Z2oNt&fI^h^E-05 [Xu2P=7 |- |O0Rm;P'0ܩr4MWyWbwq2ƚzYi}F֯~>b>w bшTJ_Mv / 2IfhKl)$i,LjO)^A~$Q5`Jjh9[G ~' ɤD`;"9Q u, > XufRhC#V&;LR>Cޞ,B{TM,Ab-˸7k]L Y5& z+5+pd$G[}`;4x,PU&2 }社) J(D/qG,0y)R2(_-ݨϰUwQ.7+`GvR |=PhW Rs mm)(k΄4| a{Xye]OUxگG[Xqc6ZKބ}N1MhޣWEm&Si5'.ˀ0VqBM.Slyܺ6LkvG5lR͡?[%b^[DBcjz]fCP,wH5s U"q 꼝^;B4a^nNj4BFz8>c/'&9ū*EdtΆE)9f6;sЂ_l 4.HTCXʭa3ʹMxfZz)΀)N9A:`sԪUcF,|sSqH88V} "5NZ>"Ud8o4熘c)'w_uH( ʋ5nQϚ 0}!:V%Tۘ~ wd悮Rk^>v^w\ 33ZWUe vQ$BU.zK#λO(NҠ3-$/ .8ԍ p]P XQ1ۖ*ǂ&jig;rmzt^f!uHIIoSK@ /|mz|Z,4aufG7RՙU;Sw;O<$ 94=SmÔ}[Dc%clQ ¹R?(A#$ +p`6 e~[<_h?e'dXڲ`%5!l\ Q(Rlj/1IX,S[ Q{,I]iiH{eo9 ~PG6wz 8La/N9Kxs<7 xBg[% Z KpUтm2 b%*P?[bԶzt}]k p)m0W))Ȼ%bFģ#[حꟌ͹_;vg *yœէ%SQu <%mA 766ڨ<'bU4. ?uM|{lvKo1Or h55Վk\[7oAqß {sOcz { ~)>fҔyyPS(Wv'ԩnsT]mM?Q7t#)45\:P bOpOچ <%,1K9I^|M 6tm- B򃀵IY_.I_]ңX<ڳũ1qUcXrc CMtu/ y\=#&_j@0M bP;o_ݣhMӰ,"Pt[&1 ~C;ȗڝyG #SKTY)DW~sτxsg9oj۷\JϖEB`X\10Y^GW!;A^yz{~x%յ[_^qUFջ\x'`հ+&1HTu#%# IBU`'we)? $9b?Qd'BN7+m}%L謁vM ӊOGZ\'C:,ܩc<9UկP{3K*,nQB1s)[hHA*LR1&{?U2HU^854Nm's6]'=MB)#Z2fq!BS[whJ4`?224c SYFhugYZCp.vTIJ9(!"Zy!lOL2JyEb[96&aW“r}uoh)>/c (gP`*l70z22ɕߑNXOTBᚫ`E{6wHRp>aZm)P}trm Dc7< 8Ax;8RiSC˪J"U#2Q&1ޒQ*VvBַIfp"-IBi4IF/7J|SlNS ! l*p?4g)jJ|,7}U[\d6kW)m1(45v@+/eHΛ ij.>Ʌ b7[EmV.-!W.K#yH{.Fb:lŁ#uu)Ϡ+}xG-%dyԡ$NCGֿ$̏| L:[B:Gc%tBHx+߼吵h>@*?ul/ SJ"i8$ j&9+Ut _@<=$_xpPH{/H6X䥨J ?蔼OG^@o4(lBwϭ&Sɺ 0zESY/ӝ́Lb Q]MfCҏWA䊭9躷eZ"~"81' 7n< X@xe9\J-TK^7l:$9繜S&)bM# w;*?' ߓ |SqѮ ΞAfY PKZhh!]T}T:tat c>Ix: j5K~84 zVV>cd6`XY(B\A0Pfq|z?qA+-/I 8&x}藕fx0W$0אLo0 ՍߊC^ޝv\ g+Dn3gjngNG񦴯2u'䟰~G̬Xb$XE)V1EwN ~kWǣ9 `0z,ω ' *i3ב~+$pWM DǼ/[0Lm v/upL0JQS_༩c11ʇU1I02*Ꜭ~Jm(PQl-f@k!8nqh7x YBldFq1Hb^#39uf# k{t 2G-EM?L(K_ 0Ⱦ]_N!BjbIPe8-B7~PQ`m遑i(neۻqsV%["/3e<}[[ym'L8[` mTIls}SE\d$QJn  *}"0pSdR5g#>WTȼ#hyN2"ؖGQKg\B_L;IZbpR4wc"8l[Ayr ȤzPvCM>/>5mZq {/ V2ZJpD܀Y݊e7;&ăc_X X>u)xsZs25-<%KI?Ha߶,y)KL{.N^g:%ſy(,HQ/N]M%3:-] ;B_n/,(Amr^'9Gk&h#NסJT+lE~k#t=3B+>W9ʺV%  uFiZf"l_`:ss!C}oKya&:CnUiW`M?+EcE]* 4hY2k8[#k^nz q_CVDq`j%cQc3W .|V/ѨLf>Dam\_ }*ga7G4'3؜*Z-.HȃE)W$hٯ <j}꦳mr 7Q,#/ {KED@4ބʊ4"^耐RNpur_` OP`{HӜ%4M6yz<>ؼ ;f4aOT%im(.oz|cקZN(+;O| oO [rzNuWHAy.LAWB {فVB렼ǎz9=\_\E#ʡHL(zN \jˆ-di%Uʸ.G> YJ2>VTw`K2C*oI! FAΙ߼Q }}A./*/{6oCdWzZt^O'VLwp"}H+(jru bkcLyrt^T9+R \ |ǩ0Q<Ƨyζ4?HO7H Sn "'ylo}2!~,4vN:ؒ٭Ɠ'Vy;KF_T>܊u zBB& c R߸_f(C[Rwu؆i ILKIo,?`~ɧH(NQk倌7e1ElVqY@b7f%IR*{51R1 ODܲLcA^?=k0Urb"I0?YgEf|"+&Xt*BfV\2ު[HنUv{l!|28$^1!Rr^6ukGźG~!9_,2i|2/5`8Rt~ֆdrNp)e$ݸd]AeF,Oۡo֕0á1%9#ٳցʅОWYSK4-mzU,[]QNQ*y58ƄGj|hsjvOm(^A ^-(sXS)BBéܚG (j*g _6ƌa5EoF57\M,q.n$'°3,ޜ!t-$dzodNII1'3CIEm{L&*EZCSREΎudhu?\A7fS'IuxqPs %$@7ιfu%s[_#q,80ha\5+e/5! -.vh'lVUs4D_2yo(uڳI!. [{VXsΨ$)0E0-J!š!-W኷Ϡ1<'A?Gbi3';(6M/æVӋes u?1_ a6Aҏ8Lxc†~dj/g^Bm}~)~^Bw:Ƙbว,|5h8LͰs.=f٧= h'C5І:~b#hcM*H; vdҵ!J3ǿ ]\ WhSI0vz <:w3H:d/L2Qrx@~hsyrWywHEwKf}|(xùA z]^QkJver_`1ov G 3- Sʤ 4\&79Y2f .H, pSTQIx>_G"],PʚhJp qȣmy\\~@rv|T-CDThj+il0PͿF_!i|]Ls'%ZNt¶?/%x3D_mdӄ_Eӂ!/`^LeJY4tTT*յ_6j~Hƒ bX6LsƾZxqSKoA=[VAk"@YĒ 4qsWs g? rt "$D #sݎc5<ђ{L>\aK +ޱ14qQ5;ǣSq# ʂ(|:+ߊ0Gt}PQA|մetEs#;i.c_vQsFR뿦]:=^ ^U%U_ +9,rJ%(B %LL[<\ؒA9@5M+ϊ Wܴ6Cũl1FCظ='`ǓA㬂/4LjyIQhѻI>I)HhQ@P#8pO[VOܴUXBWer'o>*ELj2% M$P! Xu\jV"9J.ا '|Y:&^yv"ux-!/--?7!c1v;ݰXA˃Abc)P/N?cs賫G'^\:&c<^6l^\^0d,G <^de%d],)y)J/$U A"2֦4;g!ri z#FK=?QKw%wQ%:氃Yd2pVy'=O[Fabzhī>!F e3k 0eShRy~DYb;,x YLײ(fٍ>= U[ssُ ),}B~e٥ o:}r*t웬dž1Iy2i8H. ۽-K0[=oVyw=DP$0sk Pi( FQ*.hO9߼85gboPUOAah8(2u>.DaO׵ɋx/?,Grꌒ~ZM9[Lc{.;#-<ίk&R]-ٌEE5;a1/3zoK[[W!ϛÚ+Ok6HWfZvQM8GEO!.,^mX `.e꘧IyVZ,R ~UEzŷ^%R0y bhzgDodz$j3NXtUewew<2g+:)Def:IlD$[1WHɄ(BU4Ci6_F;mK_Wl.V`YK![ 'y HY9;M\@(DžZ5e= C_┭j4݆SUK}XFo{CqO=^%Ê a[W:n F$Qq;oo[Q+nDoE֏{-io騴*E@uSWN(_iʫ݂zhK7K$/.ŮUlZ #S k /.,C2n C\ =8)Xȕыs:ñtܴma%*{]~Ӻ_OP/;S`$[m f󙒏h#mHhFQOX\s}iaFZssD*X$WD?OEt5j@KlUVdh;"s޾$~e p^]{M{;&%u\e;~6[oYfƎ, Jlhw}r xR,Ixހ4K ֙|0gYZ l6 -/% Tarskis_GeometryHOL-Algebra.Groupdocument.tex7zXZִF! c?]A-MՋhvG"uIBm59o'7| )(S 5ZO6XBO_*~p 6 S.%yԣEw/=)HwQf oVxZ;rCm~p1woT _raA$^JTʀM S~'Q#/5s*v=[Qhu r40=މ1O8wZPk~k)7i$; O{"eqάoHJ>0}5}eh yc|tW01DE(zA=H}xSu5yK0܍w4Gc;Q60Ʈ*^ =YW>rJĒa2ƶIĭX}:124z=lTm5])dqN3H+/5a /B akK% b:`ze#mC"s>y?1ԭa~+#BԎ\zٞ[Z!g4t9(?h/ cGt>RGf7|:?~쥸ZOݡ&][WQ)o9?#e⠎tU=GG:kNu 7Vzzvou\P 4EA">&?z7\*X*K>g%%)TOª);T ȯ7x:td,Jh5$yۊYe_u\r"Qqw1h!dbjB G?:6jW_+\eԉ0STݥ Y -(Tsu nU+} Qf7FŮE$, tQ]ȂHEzڢ46J\W~.d ,V @cO`sd|KmB g`g^Vm2-cuEn‚;r[=O_V5+408S蚇^[ɖK'5esӝ.&雩q);"`g#UhL ڤְOT2;b ʍu r8.ZZ l򕝅^2whH,{j3 ri0}@єq%&JIEė ?Qx wUZ].P9;9Բ́ r[dc#yPl򚞜~Fy:R%NXJqHҰ +ᾩ_:ЧrXBB=m8@xof_(M' "8o scsv*٫!5ՉY%od_YHLeʞ QQ3( OəNţ@Bqj-&z+qxU[A QtIq02N 5ڿbRYq»Q{o˨pi8A{3ٞ ?L<Ɩl;[gg_*P*_b@H8o]ξ& ]t>”=-u%ڦD5YsLW@ls@P %f$" z^,6SvTڨEN^ `Q8iW:m%t"Wb⏺ uox Ye e 왑 k t(9zVXo.C҄*x1Gc߆١~y[L'Q*>ύ|J7V؟ԻnwЅ%2VL (yO"j͑% rv`N_Y/o!}[oLwI$!Pֈ tG$*GTfs˥pܴ*5b.|3"=AIp.A`͈6'f93P< eA/1`FGrtK&[i]'N* DfE7WIkvU>fXChef]9> zE;o5$ӽ{@` bMY1CzpB% &،3H"Y2nUx7-' NBNc:''(߫GD\6(?C_sa/ݡe)h۠> "R3hS@=1LBO|3S&hJzb'G. Wv!sSxs:X Зy'L#`yf p]e#@W.#SB"s14g\(2zkQ/Ǻ3!N 0Rz$?F,i$L?#l O(X g g{ -I% |Tarskis_GeometryTarskis_Geometry.Euclid_Tarskidocument.tex7zXZִF! ^4]A-MՋhvG"uIBm5Dogl Yn+mG[MtF듨,E.GX~HD3;0pH5;%ڳf&b k|trOc8H l9_HE{r t])'`%1il}69*ĝE ሿgٚՊ[Н`tf'ݥr2k%DHZGq0q˹,܄Jf]RQ'JՍADsQ%Pv: 6m MZe4jF\?? doI}_(N="3X-m"b@#ϋnklx6jĘ=lT'#t$1/^y.Eƿ)㫔%t LuԻ%oϪ9am++Ma#Sgmp> $ւѬ&SO0*i2BW~IԀi.ljcY[&ʦ6$Kr UO|mRv9n쉰$?gtћczxQ(><^*?΄`; ml$slMe#{ybTdk]HѧH3t=2{ ۂ2N!tTA2Q60,o-1Y*嘹iN=D'@ѠyHݭigyFѩP|+Ku'u J։qB(fÚ,`YVP5KYaar%"ֽSQ| -3% Tarskis_GeometryHOL-Algebra.Latticedocument.tex7zXZִF! n%]A-MՋhvG"uIBm5gbkG%sddS`͗_T1k|8@?f 5˰h0vBrکyvŅvB&/g xn&jP>gvV4ZFZ[7&my?Hi,SWXXCc&|@{*&$vG }AhJbUz,4^ms5y̔9S#R= _(UI}~n K@IL5)P>` HF '\l$ -LX|O:7w&7gVhI4PVYdФ@yz}*qkeGiok U1OE,_=qߞݦI)]s⏅2KL{.&HL/$Nm,O Ww/mU s7!3vW.ԁ!^fuh_nucW7![o v+u9wī_LGtЫbfG iDT={j= r*\tEwO5˗;fE@A *Ÿ%AΧqj{MOVxul01u/Y]qq_j`DCn&cpβx^^o+ZMgඌLBiiHzm} a(\NxKxϜD̆fی5Pـ*| IZ`D CGVRMͅC5U*~Xڞk:>MEX%D&-q)ᣡCǜp6`D^ӓ_knh2J 1݉dg< ~|- Nb4H'HGPHq+J +C7 [HȒoAp-+`oe#6RȻ kE{N]uDo@̬pLPlgF.^r*OEGA+hx*T(Jsذ#xO7.WO3!D4XI}oTZbX2&rgES!nr"J뜪\6pfWJ?Da++a'tz.DZ)H@gUh&i2{b9x0d(ifVeO^@ / )IzGL^|h+Lr5toFS<y8׍+d`+$uplqs^lC,ѺDSy0ßz͏rd\ ! w!X%NBןIФ!gߣsIq1%):K; P :@9iޯ :ȇ$m[V_(/9m>L_m/2eׯ}Q\ ކH쪆`Ha_&2V}nmѶ|^*f8{Qp,JۀLd%I14V7ɎR Lڻ} 2yN_+ ZYc&d]yփ{U<_%1ZD9љ+j#F-om0|;?y2m8hF3T|PʱJ4䱔/_ >㞹gI:U<;,aVHT<#<1S ~5ZīXߊKlް_V-ځ .<՜v+öKHGxy lzT؂F1ul #7!rEXw/v3NvDzTFOO{\vm?@g?J}ҠMgSIw]]&mAV) )hf,!-&Epg@Žtݲ[ScW=xdZ6\s[|=a67ja= `Bvm$rshΧ,a]Y8qSw̤Y9X65Dzc/GI]cltu+$ęY.#U[cg^`YX.og {`Eúz8[tN ehӈWvGXhۺ>aY.JeT!燂ޱÝCtGvܱD,* CÂg|8yP/4oE^+(2cNX?.\ij`|Ew0N8֧_,B=7$t-70./[Z {7m"3Pg)Lr:j'ArY@G+HGUkkPnJ4JGIq݉M.MBm8J]R:~b>{dmtFk#>dMSyz*L(X[lՀû)n4+mUi;#ь7dph]ӒeIM-=ލR]C;$ NcQcc6ۼv1"̟a"JC{u^u;b#}KL^%F? VT)Av{"F=9/yiAʗ4@bn]5M*ߪ_bxB,SpPt* [ͼ_zkZT\B7ۧ]BCIʸ *D:?}-h"[kNN<*v2lu4o-l[N-a0*3~>xk(*2Λ.YR%bUmFXL-'p!|K92qԃ0*z^vwH3uÚ)72zaiC"}>˪K[+A#hG1 Ϡ}1v"jjͿpSMM<,`mC/`:2&]+1W`7Z%+nӗdI(^Mӭ I,}rnѨ-s<7ed {sA"UlYz_'2UȕX1־)÷?Բv =V|>anhC5h\_M R/Ð3*E|}o禷5Hqs=ݠj~'IXآ\gfm 0TM]:gco $x>ju2~ː"G]X߳5lJę9DjPlfJ+ŖNrwO:> &Y C'g ꬞(trJ-\M1 [/Xtm(59AM#j%Ney0].\i ܏tPƩ 2ŋBhbxB6؂PTY~tDC{:]"cVpJsS$Uvp2i}M$wv*G!hКq9Գft6xz93*FZ$1\]n!XBl)(]!7<< xV.CFj2}DIksjY~f.ȥ%O`r0V"7F@q̂| BrŅ8W-+F]˴}ӠNDzWrHBӗݻ~;ýRӟWwBg=ۺ3W:0־fjpO/P[Г>ajKS4.z RDLx\'&5 i zՑT/8Uv"%| eWI+!^.Zdٗ(I)q)-Kΐ"mQiqO5z1  =^ k57zm 0T(ޓzُ%udڑ#yR-xLa-dYэXMD˹->*iV91@|5QἨX Yz7A|#4dTUv5w$0fApoZ0Xq/c [wqT(U+rm{쒍$yY~a܋ .޶CM.]qV?$3@UG030*}2x]fAdtZJ4=!nZh 50r{S(+t&* v"Woq h ;Mc3"b\Α/ 3:zF^41>U=L?(X]© ^L0PK fWP/`uQʉXp b8.E P4(^O)Z(_pӶFd0h ? R/ +4_ :GYGi޺J ]ch\J N ,{&0?7BA˒fil m;ax0)5Vg.1Pd>O"l:xsY_vzkMI=@,V=dǟ숢ڰbO.{8:.t߼_YVDBC4t$YȜMŔ6tI[FVCjbXЧ⠝Im8tp`QW iv.J%!wQ:}_Aڨ86H[=_) V^1yf{`^-dz[2?*J z<~|r֋ij6Iv[wHs43ge;\HiWk"FJ US+ͱg HO\6K$HXL ?S.e2K7k n18Z0_\{W04[B2e@` -ײ("\Jg^ %R;ҔJ569YȠL|. * Hmןi_Oor U|>,IsBxv6qkopxNz%;CĪ$w/"f|][/;nkyO@S]lSa{ i.! ?ЅMOt֯{cc3.hw̜WDŽzcU7X' rL·0޾~)y]٨ZfX=W1ݕn*< Ћp~]ɰF`͖Xa0'j:%ydi9p, 0 S8,fH#@Z?rG5"Č8,ֿGNCo;=P[[6bK{tH1zktT[Ih֪h7ؠ h#Uy-`\0R3LI vW%߿y"v@`ټ]ϙ_]ìr>¸z6ЅTfdŖzTu0CEwyd'I (E؁&Jk QO\4?^ȭ9"6i3F%t63j N TS2¹=&ϕ~Yn:},W2>`1U}"F -_RLzE62sQ'F34n=^$J{Ru,ynNf-+DF,YYQN=YHs8eОDw@9Lq 2qéie<}K(3a]ƋXf1skO\&4HJQ9Ҽ PTjf{[[8x$W5a`g倭a( 7:VŃ\ ñٟvͲu E:7u5T5󑢨e{°j J (%e.,M;%g/[T>LΡV"XD"r182o}\mZƚgWk4sTSIpxnL$u9i31sp,J 1)T#:D)v5%3؏E!h~oܩ v:q~M2UMD %!B.Sfi|FlP#e)NH5c=* R14Xbς3s:Ba^f:Icls`u:7X8NX_RtQX'`Z +#n Oº=GUڙl)þqljQ\iC$eddbe5 0v6TFTZJiY&\yI"8Ρܞ`v]gv@=5zab5)yEyiOf 0s|i:qx%@gz\l0fغ:RA9PIw]5m?s15#:q sZ$LBRxokαNg]M$z,: i|-Iџ۟;б ;O]V %  7,Vs+/bEj73>+rE$+Z#"YN,O`Hl:Ä\B@v2K !!&w] տJj7gK3pulu5)*ZQqfa.hdbjyHs`3l/B /`?O&{C۔j7YDIɔIߕMgԅ<@4!RwUIzh40֐ ¾/FWOdgmG',FVz~w+C+Ƃ#96[EN zdG箕UcMD窲^׬Uhty&J7L-":O7?bFm 8M6/Fiu{KXd&";G`[@cyӌeUSu"b@Ah!8A.0.!nTp+X#R1-dqr"^A]ՙHh[tGsuJҪU; UX&h_Tנ!k/:ć {VrҢ:f6< 5>|7S֫H6]xޤޅq)М:;s8'w{ h^뭢E$?uq^{ar#GԆIuۊX(ޣc)bLq49X%b^yE}o$X̵=\[g$')5l꧰z53×'J;DQrM k_Pϑ &)}G!>IGD (987LM ݌cŇU=>~"êcWXA K|7V< Qe W t|HD%"{6~>hLEx ۑNer%r?1Y?@:9,߈|zy-p) Zl`,0aj"{/=9 d$޴40q^ '7r;/_4;nl_X#73b=1*)n-G[=*ƻ MHtb%P:=l[G4X:MSuF j! t:r(M4͢7rIŃ/SwԒ{{Aa[ Q=~wn¯絋2`߃n#1WJm`EȷȎ^r~Z񼘎HqL#qMTW i{:4X#%e>x|F-B^9RNKǬ>2  [6$|M\tQ3-:={$$N { g~?j lkەW”YAzxw!vWY7hEPu[bx&Ko8sC&AB@|MOxjjK"ԛ9|bp~b_i™Cd@ɮi,Bv}[Eqf!A2(U;Ey~o8\3^U^a7.7}4<UZTB8̋uL,h IsosƛbaH[ w%@O+ʤ/oq dTzBRO%׋iԴݻ OsN,=oͯ)8N4?X}716ş]Ǽ KA_؞|j@ֿK:NⱒvI+ql ֚d- 8<=;&B/6! {'p })A$5|Y1еi ]|MGB G^J{& x #[Ԯso⹔8¬}>zLtYXBW$iӲ~4cy.'7E"$]sT-%;Ѻ> w7mr0A~c?cw [rpQ5#GiX:U Hh2^ +ds} 3, tl FR+kgX?xA"3LJ0ׅ$4Ls-I%ݤ4PaBܝ;&mNdnm~t}/N챭to[x/:Ha5N13MњXdWBume:]dQcnRj nHIZFT5ӳ3zKZd =aǒkHD[C 5 Jb)۹ih*}R)IO+UQ 1`MMvhS2nޞ}_|óU$Z]3zv(&I IKX,qHʱ904v cQƐXo8261rc Ǿjr!ce/Pˎ⹘d')G{8 zK!$Tm'Z-vvq. "v\>w,Rh/ OGST})㏨dq?*"S b h,ZNf˲\}@=-N`e P37&k:KE\jP~OsA"e.~\ՊmQ#Šn,~Dmm[,Wi h5žotv`mU~7Gŧ4{gUp5SZ Sgc]ˎJ-xNjG ~>' U0Gd*fe)rWRM `;b 3rtN_%, $7$@f~=0rc"9z1kⷦjAIТ4acLZ?~pLŀ+(6N􁲽; .pe# tZ@Pkf!@\Z@4Jg#`r!1M٪u&'Տ Jhctn/*Xߦ3֌ZC R}t>4J7$8]wÑF1UF僋q˭dta3?x[@H2.}9)0sga?dnj` UxeHkx60k8 z$8nVOUb'+饖}="p<3 c6z >lޚ$Wt844{ O?I^JOVЕ 5;]:#{yu!V'=a-y /՘5U[o2R&%_gZu6Gfz+>ʔ-k7g{?ʉskok+vM[ @gtov7K7QctO칱1dM9 P*ШFJ,%S'׆pI>?هhcpF‰?|jߊ/'tUgYZpd;]y͕yXJұs(8rX8 Lb6k—* $ Hi)`O!1hH \>J8T]=!V?Bߧ$K\얳.LLSuٞVCy. 7HB/mU3Q_r2f6|L:LnbTYۏ mRZ[4x PiJf-]ҷOoLõ'\dann(Pc^~!PSSW]s3Ycs.hzȌr_yn6ZsAB?Eìi]8(Ĝzgeq6f~)PUX JateUkq)m(OGP)Vg 1(zJ0sLa0,\EоEbY4=@rGAT:QL[-'H(H˲ m-=+⿳Ay/K2M9HAZ.W^Dm%)tT7b! pr^YfmY{Л$ru;w}eu:g ܒSdN4Smzsv9eNЦfؑI@[(zSėOQJQ臘ީ M]Ua(NitU?6`?5WPe?g ӭ/tlMl\jYe{܀y+p*~BZNo0E*ZD{2d; !Ok|.>Ǫ^]zF}'~R(;u>Ċ 0VLw rfS.+]\b.H j0nH5`}f/h~GOt0fQ9[jqf,DŽ@/7`Lqh9 K LmNx%7pkwQPY &澡>=mAhQ(w{҇+7vVEZ/#h\"d`|Vz4&LJU92π~ӏ}-`dh֙oi}Gq 1` }4'm ;yo:]HU= u8hHj-U'&ʶ 8`NX8qO04i7F8 lz6D6[OwK 4 َ$J`]wߛs\Zl-]ߙl+cDޱJ7dNB$v<K~_/lFJ D?}`8kL2b7gX%g+2OL v0'#X57}=9ץƧah9!؊{nbџ-Su{DuzZm邸oGq.ԳF*fQ3NʂюrmbSj?̻= q39",hu0w[9,lfK:vJI#?7g ԸnŻQnuW=MHAY,$࠙2=Bh̗o[JGqE" bE)\z OzOuyֺLΰԜ4˃0sԖ*X:%j'wև״ͣ Ϳdb"FQ/5"n4="\:8C٢ihA36UzCo4=f񥸜2j f_\;\- ~Z:,#,=zqZ>[UdƊk hb^& WrKB'xt tMMS2cȜ0VtL Rnx\bO0j/kOѦ$/}SlvH Td<%*+xb1ΆZ)Yx.=g! tl쇧TvL"Ts$AϚ&Տ'[}4;3āfNۘGu,v< ]zؓ2.lKPF!A܍Nٍ |opw҉P`|-g4"G*6s" ğSw;A| 4 JRͲ; ^e$y6Ma}}ş aYt̾^Fǖ#0qgu[~7,c_B7/Zvޠ@RAq5\tMLI&}H@!0`⳨=S`͢e-(v#TDk.KN>şw}:½-P )Ɇs"w@'[cE.c\v>R9h TB5'nᠭ0q?h4y0rQp"4e빱&c)), T֡+zP8i\ut%nHn%1 n}뻴|=ĴſU1:Q YjdQq"3c/K魽m7Clm) Ixq#Dפ6(̽NQx1[lkY8 g8S*  hqK'&FH`@ jWY#RZYHWT@*NnElcWyO0vt ÝIӖcE2HKn*  tK-[>({;UCuo1-i{(:>e{kR)}fN3U"vK?pLjIP.;*/@iȺ͗0X.5!6cVsi[P7FM~sAf,ܺm"ٕ%mxGLnHLܤʌ+W:\/oCZVJ+\*,oh=2--'0.4b ʫ/d-RU-۶ƯBGowF5kN#/?_V?s^pk~a0=lm۶-jQsqRC?ʑbF9G5k3c&9d}KZT~ީ㴪RR-hPpel>b].H8휘^{ 5j#nk:NB&oj:|j%P5*(=-Rz.ЛT[ 8dC3ή|GHykEt^  gVeev[4&+µk QG.Խ)q~K\Ec) !o.ULar~BT k51gYZ N-9% 4Tarskis_GeometryHOL-Algebra.Congruencedocument.tex7zXZִF! n]A-MՋhvG"uIBm5T҅JR`)<qW/ZUb ?b|v%SX0߆)cl[zH]'&Cu}C!'Q4-Jf/t \F!^O9ѬwPX֔o.#ZbUxBmS ֭кW2\o4,dMɀ ͹fI{Tg5+A0@L'liK&'o{?j&Q_)p]6].{bG/(:76XԪIEm[ug1''Vw ABE-r ŭYs:6o#[LRuMHo-z#sz۟jYeq.NJRۭ?$r/x\'>BVN]6~]s&ٟ{$6C ;~74zN6Zp F5BO$}@ J*c4%:>ocOKYsÚ:yo^vËbj`!̳8@>|qxq۵ޔb:iɄ+ٸ%#R O$`c78YzdYܡiH^11cj{sς=!6Eߗg$^g`{+E2Qặ23YɅN9Y_UNwlĠ>Sq5{0L"S]hi뀚lGD{W=JB 0V*G8 >G4Zt* epMKJZ-~afIWC X;oHP\+xItŻXV|H^&Bf3 6tȸz$/ڸƒRI\{ HNs 8o{;f_G bDܠƨװ!O\׽5BIRKO Y=`rdkRy`[Yr1m/Ǧ)zk 6WPBDO7E'VxZR ڀڃ|F׻Ye1q\(pB$V/2i]-x%Xq? %= CQ/%KGTL("@"+v|G3,YУz+ 9#M\/r js=TdׇȤ#bWD€EHQ3˛ 6= H^C!9mQR-Eptj~}M\fתna.Gxùxa \zgQz_`Z5xx'X7NN8ms,T(X%Mbk}9{L`Ri+:?Ƕ:EX iKrA[UE5@A+?xL!ܗvdi$-qJʒ!*Gի!<` ͛wVƞBxK̉Ziz=Y3SˮczSeЩBu =(+þ݈EqGXԖTKr0O'SÉWLCAk|-h"w>2qR{. eu9N8c\1U&;|+c W88í控?c';1ew}LE 4^CsK记ԗW=DbǤ~Sn·6L^jyK{B2vُF/awS й?:Eɣc#{9reD#oY3w>c7v(6Er> N9xfkZ>;Pzdg!G"y -BƘ378Uqʯ)=LP¥pe71n䠉wFް{6z=mz AfVm^>҃ *b,5M~eڈp:|ѸCFG#D_⦳ztZ ԆMw$fmr;y3l ~opUxSVg&Ix6קNX m;^fCY*FOc `!J7GWsY付V=jHv9<c*/@@OI1Œg,͋MoP+~76ъCL,[+5̊]SZ?B8 c7:l: gOEk,`eJ=nZkEo?6f5i>ˆØ!&ԕd>%o(H-A$`9~167qb e·yTmJèAgo3cWa_ڝPR*9Fe_cޑ20gܟa"685W@rΉX9^+毗4֐H!nl`׮F rQ2/`fq000U1f:Pf>$|ȑnIA 'yJ%(:ڎ$QK,~4F)0"*#Jp1n>epǘb,G>%wZ#h,{.P>8PE|"?t2Yt{_B$ܧ([P i@ZCx' 02p*e'6RiՃ'" 18xa1li1u4_ɏu;&>&ejSa7ӖZ7ZDZψortwt tP!otO&%Jd?p'!^{^PUQnOg;<" *N\ys1U*Rˌ&}| u#n?2~[yM$g(X!ZnluH9a%d]I9!(e|.Kq`ܵ* Pxv'Bg _Hk}bSR3R*}[_cKr6X6, QdCL23'B 0)Rv|]ҍda"h 0@O(n^Ց/_'z6`D Jڷ2Y8׶|My^;m06fN!L0slVJ0qLZ(H\"]FcB G8u~ [%đ"s=}NT` 3 tфa0%f 7=YRL47#9gWTB^.B|6BZ%w]?,@?P@ 莒@뢰b>AeOO,)d}<$3N`h׼*e;m7, 1bM b=ScMFwd98CZJ7D ՎQ]Fb|-f K1W#w4y8]TdqDi  H1@ՐVSB=Y_,} ѱ'=٠v*5)TnM٣]5`Po۵/.=B&A*U Kd-`9\A|(zməj:c ʆ2dHN[N@+7T`NK\-s33zg#0l8d:V'%EPƱoz¾p)Bk [%bBX`km,ۦ3^G/0>/Y#hn14 Lii\u4Iu_z9V,ϱM;6X??bgQnuY',y &ñFnpbY B٧iTGS) yU!D%Ϊg3$Sլ2g g:~s jK͘У5jtZL7%!Gɝ[+ >SQWW"PSƃMʏķ\74N^1#tiC[՜j20otzuCX3iO!P@$1z{ $V:UGmi:+eb`UIbeڲuXIbxhbHzƇ )0 ܎A+MɵP/Ts)wm!}U;s,=nLG،,-Rnc^ȱ 7r|V6i߻$Xqꁙ@AG[ wMANW߮Ut dm32Dr/Z.hqI7SjsD\\rw <-Svɷ FSQ#QedEX9ܻ52q7*C/no /M1 =qYԯ*X9@BJKҕ7hr,͝q !L ˼Fz^t"˪Kzu Hat%-uaGz!s4ǸB\ tQxETzR-q^Eu4LFXΧE9fp ެbFjZ^0Aݪu[ي{a֔Xݩi!^ޅ/mT'@)-9 Rnv'\m)"ʫ&RJ*`1Vt` #zB6?혺GUVΠx3"alQ B6%+a(i6,y7';̰D/LiAKHʰ!b'q aܘ"H4)w8_ ۠PJK\Pnk2b-$q\\SK;3+ Zi=iZ7*|Z  S[vJJ Ku"m4MM!Zp@pcX8]Dr-p:6w˰ 2q 8%v&Ye_Q-XGyt"!.{b<&DuZM_[k `!8bgyE8HhYH1--J5K?DgH?.XT!mu8p%-?P٨~m`2W zs/9'](1@g+72~RYu9_vqg|eY[-Ԯ6o~~ ap-%L hIQ1;>C 1sx'YjM+.'6L~? ˇ15TP f#e&E2ѧgMѤrQYvh k:;9F}vMtC7%0C_,dEf({1쒗֭E20(܀Dg9bDi%c!k1 i6H\Q0)*k_DC)U 7CcAr$$1t>5z V ${g]y7àrcNTW1x9q2Wj%6Q R+eѝREA&-)>m7yZa P"Z^˜Iq[KL'9>21hײ9G=J%sH6j;"ʂrkHY#_%7H@/K{70%o ov9 -B(m jm4o$NcTtBy'O/_^jm$!z>EL~)?J$|nި,xxe<:3ͯD+;mB8Pc<6U 'qyə0g&p7et/`;9p%"H8_@\g,L7r4[ԉ_\sD{1@݂޲x&JWmYb`>OJkx->ڴF)[c֏B@չ+tv:<OP ">B[u E^LIKq}%5"Wz[r,ˢ@fYi[ɛ{+_yS!z"$ Veҁg7mZ)9.) : 1&oe u8cƪyg|@u14gږ .(xD.mf`3p T6$mnWVH +g%0LD*8R9S<%WxOo [ٗmEQ]4F]Kz ɇ~P!Ew"'Z C;* P*M p0I$mHpr!7r\l<"J_]rӻi uG Hk P i|A q6\>t k;L7Gy5,p"%ّRkfnc&^ /2<)1ٓȢ(\I79~WH)*(2M8wqײ4bK.K/J]u [Ԙf) P8/ϋ]RruO308o;`z̡֝*˜QD i"$qmLuBL SVN6K:꿷`gHtW%dM qN$Zdg|_-QĊ }>co$Q2.  2qOI"^kB MD<CS2Xje.2Nm )}oo<"!F̎tȫ7E+Ґ~@>3eA 2e#v='w*՘5P;ԝzm=R[#҃@G(ͱ;?9.&S8rl)#oUv,MRp0GUTC,\eUYxoqV#(Spݘ2 nʢ$?J{LyYҢlS-`Q8g YZV=:z_[7ңgZDKV//7ݧSm5։G )~bNy?q<M7uWg 6͍1P#-w`) Ϫ`: ({Ez )BfKuzeyvYLg#/ockܙD|МaU-R}Pay6a(WjʽمRZ ɹ/unc{_en}T$7`%~О"/ =A^Aj'0Fz$T7cO=Ba?0k$(MPc.$r7Z0|'|COJcf%e?6(,<q/grMq=^ d5/1D=;o!P7` ^7-u'!Qq_fx?SVf,AYd`=5ڼ8țPEwL'% kn~%յeSH\ʍ ǞBUo/1\I"Zr͆O-2ϘU:S_ \}Ie31Jq(R[b2b6.1>9 O9JOk+fDS3{wR(H)>~ `?>ded\7Fy1nDki"BOiu~k0+Zys  f#Ndjual2RE{qOC꯭DA ,sܟ!Aq%`WIk8IwqeLEWW]2]P N|Gd妻B4 )B/ޙz3hqߐ,V{<4spkx6K"i;6{a^hy#ϊ?wgl`WLY:'szRJs?IW߫2"WBPݯZo`}Ҿ0c f&@>| ,C*_ zQK1H$3% MBimYF׬迣-{Tt(R&GպpJ>]nq (-ZԠ@pLZK'%r4wKY~uǿ|Fޙ~, Ҁ373ז6ɚAW*!Z7gJƧ0s ko?b՗RkʺEGWOr+w iP}QB*a?op-YUF&C MBdS:<%yfn-{7Q?q`Uʷ:\՟`,5epY^(4Uk7{&H+fI@JO`z6g1Ib۬P{)!\Wژrhj"d:OyHߧQ+kfnir42P Ol|hx-9s"n&n`A:Itb⍅2+^\75%eQ͉s [h9l=ρSM$07q.߀vxp1B4Lc He}>OaF"9LzL y&LvSFGu؟&{"W\9G77׫KK )&A,h=~BΤ ? @7,\΀mQ7Hy3DKc%O%]*BܜYxMOlseݚg&*^ ?btuh>^a`ArGG'PcV  iAs&.ض[w< +g߆$X@ Q.=݂c38یj_Z`#7c"L^}*NYN?ɑu\*HT[:$Y{>vQ28L.>O.2{ȢE=l&FCv6ԮEnb.?!h&n?5uUIh0%q]\6n֥zsAdȧ ƕf T^F5FKW|Lm"͡t e9 /B1{`ԣiq(CHK`Jb]7y@eeizETG mYX!YA:6u4ˎ6kMWzhۑ~z햋զע  FZGdUP`X:TJivpS:A'tONI5 p뱚Cwn"4sL+K;}" QDB~< |Q+~';A"k*7 yB`wog&a,}^K&Wmv7NC:ٞ9YQevic* :°M]<o ANXQ9FN\(Vq@s?PjrN~kx%ߒ\G'Jowyмų~NF:t) 1}֒IJ|"& F1bqy{}+Dј\dᅵ l_v5nBGNyHHw+O`Qq$,r`S;K7꒱bŚ?B'JNj ~vaU#:q8Qvr2F׽Qiy T?/uo^%;j2Wܥnf8 Xt6l3x,YĬ [f@LeI Qi٘PN-:!ԵYm,/x&@@aU{Jl,@yԕS筇x,(#21ZsvQDZhR&Qk00}:?d:z˿a#^˯{jbayaD#;t1pMݳ}Yn0.J陸;}d zHQюGu ǺONLIR\NjN3*lT9W/#rњFyYRCSXEu/% Ռ48D2zb8K Gy=4VŌaRs&Y!1aMQTnF1{ֿ|<LG3!KAhrG)9(.zM%_{& XgaUD$MPMwf^=sG΄ȡ-k/5P,Z8Y;$©V:O@Q)%|lڵBcS[fZ'j9V7?Z!")xﭝ*mІ_5}֧yyBE喏@:R8aff|Ep'\HKQk֯ް=4Z@$VjN~ B>7ʁlxӃi'ei9$7/ĬŲg?=PgRB*q(,.f$UɁc؟xǯ ?qpS =M)b*-I">6soّ]a" `V>DA5ړ[yyWXX~M|}fPIhGYJ 'SǯB+ Ԓ;:eQMރ#+dٷJwp wV=0 P!qoHٻmdؕ g\?`*2E#~ o.sF0-ƚeKq~+~[>K<: ã?>%؋(0 Spc81 #o@}8Uq[3dU2hN1` +$2 A<8e:Ti-ԡ{gž-7(F*# tl:q; -&LҭT8?LسKm{MS6h\"'Ke3T'΅V$﹔X]c345'=9TOlq9P8^q9Ur i6?4R0}eF>e56IA@`=H1DE $fR|dƑo3%|O"Y㳞b 9Oy -t&n@ix؊j'{"x2lfLK#7MDckO\"Gw a4BȲ U;@2)FZl7k:SGF=rj,Uq3|@a4 9׍ ڵ??(5t.ސhR-ppYV9CTZ OZH׃vH&w򓖒쌊'hSkN$e8p6SGEGssa5j=^#JL!gL!l^'2.Oܒ)9A 'i( e*QU឵b`0ID}U]dmʸʈj1qonX6,U Zn_7Uevi'I6d3Hذ1;͓LeKp?W$PyTN![|6m3LNĻ H TsSL)Su,K=DB EBh4IG8Ʃ6ʵ{Z}xQ܄R-ȖKΌgJc}kn4S}6 $2xBggaZc.[ j}%-~ec-| ymz1W&Jlb2tKvvx"ir#DJ|Q;Y&EC%Td$>UaʭoH`b`0c6v~.ME]4s Y~aÆ Au"'JrEa "ؤDTOg/r$#+<JD 22GY&PuFMgѳ}uC~H%E~rt=TAݛCtEOJŀ?3PT ρg hhqndWQ?v ; +%u UTv"(M\ɧnqF'H" ǻ5$nQ!͝M[ѡ(lčVh-$H6YeldIJPFKŔ87ß%zHy lno [ mwv}G$5+}ǛRȊ(h\ sH .Bh-;5 |'3SuxҳC .i(>, Q@1Q lbr8/MDsWm~"z?H, VzIk3oxAmtD a05P) DjP} i}pd1K=:TFסs}$BBаcV\Wkbܸ0Nr!gS.(m"ZzSsSLbJ5:G}L)#KdxƝ4Q" B&zL񠈴 0@PFmdJi^!on[5A *Vm7qp4Uꘑ!Ad@XdBJA8 V@G"|L6, oUD y :"f5qVT-ʋ?AaY~CsK'fYP$Q2mLoF~ǾM<*~Q![XU.Lܭd\g"}w}Ð-9rcdmt-{=$ŒW1. qt4ALC+ Ow[̞Q>+_wY)IBGnX ]@wfcq y"4jZuD$Q~5k&k"Z9 U)z:nW^0 0Q ҢXn^^h1j9ĩ;)z-&mE?>::t}beNكmTֱi?XxV{x|ORS`zJ#kPO$ؘm^ kʌyjѧY$^ 7eɐVV M+ gKBahB),6tEف5'葵ȊX̧<$(?RJXYo1WӲ0twm7TT4@Ƞ JI sDqPn=%dWSdMBQxp&!z$~i) \?j~0iEui/*jF(JWj? /vݳn4}=@U6)7]bp 8UM!9 -W a1SOKL̲:P%1jFntQ3|q=Fs{?Ћ>91!ef=N-i3yi]̶N"rNGbN?*H$#/hJ(eA_4v_0 ˄w^ 2+,mWj)Z')7h-g^:m߆7ܣU]cW3YQB5UwF RaE$|8dwXq??񲴙sz{ ,2͵rWi*B/4$)BejpՔ^rތ6_WPfmsz_"*6afV ?(*. 2#Oѓ+ a _\tKʷpqP\[$mY)g0 N9-d]%}\)k3y(_n']kPl&=ũewE(+]jn.1CG _9*ՓΣRtlKsGWfy[hK.T+biKP-Yrku;4t*!R* j<&L}q<ɝDA1V\G[ͽGd$m<ā&5yCbf4cwN?nRᱥ:ZNhϳ@He&Ypg^)J^rK{+4݊^*h+phQ7e!-0*+KˤT fvU Hts7 h0 6HXwX}KgoCu7{ Ywi%7~947YDeӷiE` "yh=~PTU'~j`靶 G.i:?*7l M WFu]!"OrQ apWN|k~jҘK)Et-ݖ HkpJIUiC5V_;F;3C~Z-6? x* .%ءnPZrpaAg9G_ .=8|7_qW,0ؒB$ h+PdяފUƠ1(ja4oF(6*\/V(3Gx>/HHN'{DS<>Cxec$rofUI' s?cTH}G{6y"y=q4x$dx=[e4@E|Q&їy|,E1ʎX뛯׃)(EDz cFU&瑦ͦoL361Q඙2eX$+5p0N[޽tarZYKYMYT&B'+'q`zȖU`:#Ԃ~P϶Ɗ,pgt~iRH\۠b7DyGWnW蛒;qT.=ijQz.@3)qNęv W5,yv4>1i,t)Q\8#S&B\vaG t#49y}{‹Er@|oTiJȉDYM 7cGEdJ*HU ؂Y4 ^sV^h}Ievv <*T\Aot {9RzE*$SY[p~cXq:0/ǗeAAP7 ٍ٘e+,FB P{bT[:&8xZ2hV܌ySEKafE~ʆOSكOE! ]h0?jv3|zsWηz? T5]{:x(|[OÀ5&(@M )"kj=VUip\ z3 1B&{`_-`誨4Qz:ݣLkg{ղbgZ x~o.,zlQmRe30 ':@>Hv.чmjTċmJ8Q7i&3vqAlv5e?[#lV5K} Ac|I`h1E/BX4ե67"̾|+UOFWݾϠX%s/ج.PhnԈO1`2B GeSbؽKhcM.ovT#ۈ$\G&%}sFodVMF?Jݐ@a5$08r I6uMDVe*\LH "Jd4D 7%$۽:ܚ5ȫxcpXj #iFv_H ]n4Twͬ (I9oHi VY¨ ?G\,FG%wF㴜JdX |nQ,@ nЇMIJnL",l| hhr0g$j/{+ȱ׳ZesO,O5*ۖqp(`F.4Qi/uYiD7R&S^n*]o2bpZSxV6X`RTavS?Qo ^|)"9YMU2ɨ4p%ƊoJPI7wYÁ1ZTȖj123M ᗷ,I)Y)azCq~leϚK~{0?EcvMx8?tL}knraIB23EEL,6 X}OVBz(G0fs"pB6I;8#xk]G!̣T芫Pxk\E\~\J61sS='5LkTz:ș.Ke  ^1ՙFa=U1sH+!w>_6Ѐ(SHZɨUP'BLR*Utpf$ɝ@"x" >l6Qb5tos1JmLo1rZsmM,'A.<_Z-P* 6xga*7Om2P8w)?Ð2'W` aShvQ: 2h/`ܫNK8FyP )ŗw.*;u UpS;1\3B;νq],z*ba\,y[ZN~UoY%4ޫWS]:eצTDjxPֹ"JPݿ-Tb_F&R'2!jTqK#QOMdW2iSy9npao3pdAT˪h{EOTθ |igq ETKKuXߝ[IxO&o8Ws,/Z)L=џk1˒x] \i.")Rh+g ٵaa0IиJV`4A[b@d[)AL*|AMP\yG`,Li 5ꔌo nj/+G-- 4琊7lC5vDv oPLj뛺5?y;]qj6|G&LazRüG)4;eτ< `u{UO(;}`+$U50@G=K0!B]EP*O N/zUJ\lOanUTbhbj׋:*@#B!ԡ2$l,\7xW]M3XBR<(4]&ky"mYěDطIg ^o8A0KeS"8 hnR%E@`tJH l^Cnn*H D4c쏄~vN5i i9nTϣQӷm;V'`A.1Xon B>")jw}k}Eâ?-;NWrAZ s>?4ͷwRɟ-ŽVϗ-T]q &23զOO's<J/|DHsj PU7 JC* {r sv@ek٫6He03˜JA,n=2%GKޜe -Ɓ^W jؔFn2m-bbPf_ s3n^r|{` ,;Z۽ AxdE_EFkɭ1I c[E Hnsz p ۻ(s.\v{M$+dEwk!L5w g-Zmԉ3UF~Z^~cS&J pb ƭAaTPdaϕDQdݾUq3 NB2 GvGޯkвdž;BCCߖ JHph?T :.oBuсH؈Vo2 |ڔoD>c#ԯ=SEX+%QNLٕNˑ>,IF"/~ (_!{ bYgY vhl俢q5NX\i#f4ͨL2iNlgޭlY,<oȜ1 })mLrcqJt)+I6 H!(i Qׇ T+Cj!H/Ɛ=5pY5J>' [^6J (;/!܎s|(М,)xS,sŗK 5vm`6z=9MFCݸF l(w YY\wdZb`VF v3/6בfyF\$+|MNMhJRwWHZ 1dwK ]oMb.Rpr3#ž ^Y Z(HYO;Y9;B|+ٔ\/!*-x8]uZp;]`I/J&?c);8ڄe,,1Rh13O+H5pjo- E5>%%ůc{b$Cf_Hdݚmx'?d~0+bֆcOݜ:2U1xd;#(_ HjkQR}p8Xq}9"Bz" sr!7=r̛E=MUy==ڦyXh@0^]FoW 'eOVZVV Zfh:]s]X7z#zJě|NyC.pM sS\L#KO?]4Χ0keM! #,I Ԩ!}ѣ/8=:# 4O,|}*>mEe?EǨao-@cAq>z [(CҜmgK:!CFZuB/T#z,eX/萧Kl6K WA^!V;@ᵛ jֹzSYsu%} [::z)2ݿ` RNQG\4\[gU_VP ]R zȠU힟\k(ݾgMad .) 梹2g~/ ^$iW3dX"3k,uv.+7Fɓz{oJ{(X/"NC`||;:z*.xMeSw]7ǸjKy]GיM̀y~J\HC|-6e9D`%niSb[nHTbQ/B\'WPY24tM^&6|Í F[:xh ֙T Aim- ihM+xQKڱ1pc̤YǘL)3} rY;\G|z}w)v'KPx<$4=z7U*bIF eCӱ<e%CQ5pJ|7ˑ D {re$ܤP|&<^Qsrێe듵Ae0K5v73I_EgC_zϒM-PS0\ĵ8у'4m)eIr|"?T g@*Y7g6/}z.Ewr(/jT^XOm3x?9X% L-i P9\' , EaWЯ`6P:vC'A;7v8 p_OGtd0i :_&6x648m̓}8dkYeY%}dɧ|, U8s.pqřl  ƌy%5 SDFԃ()Ӳx!/oTT9M6[bʙss%{qqāOcm>9Xed4:zM1:0]X f sPrVY@˯))bo#3Fd͠Wz<EʶDT0FL NmH];@ʒ*+mkꔼёEXWBaCWJh/HTEpWi_;),X@AƸpsOeCYTSjڢw?iy+j.5:b ;5yx³LG c';3!tƞt#PDxD7="^Љɭm O 季Z`8ZK 3ildq !3NX^~.--cjOEQO5yД"bH Z}HLHl(c ]<u1;ؚi u8oZɀ&k>+rܜ߉B=e_p̩|5wﵒʢ_H;x:(]<8e-9 \,,TI&&\00O :ro ݲU`=X va6}3 {"ϺZ ICnPD?\쑵 BwtۃYC){~wasC !&t#PfHc\`.!#ᐈckn4M2UELO,ʕ ?dɓ]+t 授HaKr#U!&UMжnc7HάJDa8/?Lx>HV^"<]8wNYnњUç8[1k8#>Rkl~zao` s>ҳ @qú 9@F.dQ*x+{?>[z\Mlf@@'b͏RS-TU۠-ks֪õn%#8(N)w0i*ѤuT@n4)GĊ7~ ӻR]+(ݠGMgvU'?/BsE8.B3hYpI|D2 WЪ}nZx` m8^~=MY^AAh_ B }&I73BϞW>gҗf]Pl<1E#Nhʁ&޿S@f7x&yOeIc7V&oGtLW~4ޜɭ$r2.H7RS Ac(!Mj[ZfUk9lFx./5r G$0{O9J3Yp$j?I.r ^&O=?nbeAIy8Mer cO 1@Ã$G[g0Vr^Wpd۱l!.34Wⵐ),Xӌ?hվh(t A:q+p |ŸD/5J7O.]XYI/x4e)2HNG<{ET䮌;8Th9n+ٮ4~ ׀?z@\s;mg`a f\xQλ7sYC>A0n5ĘoOۃ 兕 :KzUh᰻]n/C=$mKxw[㋂AJQ`n/_zvtN@QE`I_m ;~OZYpgЧ[oD%+#}Gc9jtGC':W{nu87s.sȘQ c$ᖁTDhi=?CLcMl.;#n꾙5csC*hNGOj_HYj-(u߬i3!lۣ;B/:ڕ~J8ue8CvΛ(۲Pa?ʜ˿_!/-״!>хeM !tD^ Q/-IM)| 1UKjJL3LjPЧUǩuo[F4)]qdG3>f'`dT$2sˏ$V,kҍ?xSinX|C4VU([u4PI]XD2bj_9Fi#n~rjF-pN\OtBf3#)pGI` 92 6o#} Q0EoEAn^ `>&u-=u 4|y5' Y\ h'A740'8a-UM8lHX;;^;_`)! 'n-q[/줦wyJAw ޝ 72b|b~n(l!2wl൹K dH+V.RտkREjCzd+g d cwDˑ )dz,EōłNl`u3O\d{-kJ)ۯ%30'-MEDOȃȸ/'Herl9mHWkb!UF iZC4atajߟmg#7Q( $YyB̝w)ln%hlkte,&=^P`WjP J˰?hY';͢?g~0L%ro*L,ZܚW%=JBI.nct~$uVj궨ɪ41`q8" L72o`֙u6~;mL=XѽuR}ٷCu{(v^A[GDf`!ܞiq\^م MEk#8gpgƪw_C#Pm;31Щ0Yk̍_(5hs"SJ^%mw[)V*RSUF9.cZ4 }XQw$~ÖǸB SLj_H>q @Ԧ VU$ERO/R#4\' faqrʀGÒ['P؜5@`RL2?DQB}<uxJ3zT2= ]smJ2FQ<8^>2h0c{0sR0ȑ eU='R#gݎZ/^wԏ$ #Ԡ>?t"g i~#3k<蒳r[>u ֚h/%)#9g t _P¼V!BH>&W㡏$>yAaZO|b@n`f'4=:;(D(xWYk36Ë4ހEx0,YVf]{KHȳ# s?9/dUeCX_{mA@'Dlq=EjDh8*n8?'7W ߝ! @Z}Ȟ=P݀K1v4n̙Ht:&d\ @/5ǵړAkF=., ļ_P7+ kߩyޢ(78\b.;3Xp~ :SIo / F|(&3aʶ&^m[H&NK$ZaͺhMƖEo{%PZvɏi= lxD?cH 1a+OeѻP?ec. mԘXs P2Ë>N׆pyLQ%j}Uv#Ri~cSYm{ޯ@rә!D {I[r $S=:n_4]̍E.PnIcIO)w"̩m⮱׳UJx?;du#jǙKNj5"^ %gsL+=jL` =1iLA%ȣ$ڽFja 5)x:|+ /V+oiY,&1$,kqSFAR\ BaCYbl}<;v'su,';S$æ?ʼmiF{a䧟]sPaXV4s3v9JAn&0D7Qw`[YAL{m!~Atn)Mx:O6ߍ|G%ux`+b'˴Fո!˱b*WLžX*D9>skaGrO[:Z&6ץ.CnrmĠ-`}Mi޾tpZcTm8p \<'xt@rdl}V'fվ/2?Tmi w&0e3'*I6-NFO`O6 Dg 尺&i=W7rlxd|8LsRDo,b1cmgh9d:A_ĥA8pl)*w&!qvS2Uoy֍Ob7  2$f2[)5DIY w~ &X0?{'W =['%&6?I깺ޢqh~S@lUi$~qZMj*W:|R~QbI{9J#K-HVt6:P@<3W-Ds_M=ܱe#bG*Qji@#h&g-tYEOy?^|9y2Gx\3? @Dn_>OAQt^{u62*ɹTFtyYStր,WL&TSo~A1:ēeI?G1@`oHGK 94.0%HZwܜadcȣ󀢍^҈%0T+R->K8J)Rf^!8&,i^bG]TR Y$=QcΉɹZla+ۏ#a J)r| R^=oV``#d~{ o)v$g5mgmEb ]-W]d'-uWP^;VI/:Q\}REmֱ~NCDM!i_|cbFE; < qy&v6-k\d֩#><Go?1Y=M7*ÕYk/a5!}e"霶ڽK+":/:^>1Z|ACh &Ȏ+ 6y)55Uݙ T݂5 ET+ ֦YBo~eF HzZDCw8ljUa'#}a#E-Fk8qL>ɨVPڽ*2fvL̾x\a Ĵ>PpSKOo -3Լv {E&kf| {ǻ;nt<)pj0ipث`SAgZH,8PJϨdtWZ<È˹X=zX5P:)jC:s(NèkGL_Èa~'㣢OiLJ}Cwk>t uGG*[m}V9TI[iGD~ӭHtڧ7>ۘEO3H;ޔ)(_5眲$0HM`XOڑ>f}p]g}RWOfZZ-ĔDγݳMA rZAlY]!1 vj̍E]QVMD<՝k+ k,r4ʘ`Jbr+/W@Ch!`)eli#G.D*ri #H ,C)ZB3LHY&qiVm O>Qߍ|3zH⩜B*lHq<-)d pu1 =43A5D,pS,㇀Z0kBxU712Oɯde$D0QS cJD3:,[Vv%_Nό=Z6ɉ820]\*?L+K.tA|T3YI<ߏۮ`1&6vH@J'y6^rCb{ aҖ(q1ڎ3B) FAmj.ػ6xwSHXn NތN70{j&i1/S ֹ`$N62bsa׽cȌlujIf51eY3h15c˒S ZuDb{E-BXirX Rj&c|"3q 'pYbyc@/(WWN5<}e2WzЩIn v 9Qj(N Ŗsu_4[ `iFtE:1؆!ZUPb8sad tӄcTQud6Zon6Zϛ]:`!kxp-ʱl9ﳦCJn8QqiM0a#*MsӅ#O7Шr#QuҐxue0&4LǑh+ !Z4>WeԬ8Ѡf,&oEt"2ܦ;!rVZƨN5gSln6,beX&sk8!@VTl̾ */v K_zܕQVA'>:pmuY=!wK*>63ZػQŵRgXl&?__gnA<1@>M$9047ZtP Dm2G4f$& s8SS쫒XAb!Һ>D-jbfir0eGABr;jR@$U ɠ,0"/a A,zCf?E2j٩:CPKJ(O3QD; * p[|kL[n@;da2@nzkǯi\e[3Q@aDN )Xsjp"iT &s5'oO ##EQeo` {ʣP u9fC>m3}`=TVImGvIl. 1|E +OҚ `eC=!Vn| J@ J[`:NtcN]g<8mJUBDrѢp:?CA;_*~wߩYouuj32@UΪ*(,6IK*nj? ,zJ-܇Xظ+I%m"EAf1|%-`HW(̧K)u)Waާ>S:3@ĕhQ$4#1\!P-yB_B8fE BCq%py*ϖ'\%^.uD{s\N0zB `H5Y1_ZeAѧw]8S?|&K%u<a[l#l{,>.pʧ7@ώSߠ v\xR/&Ӥ#8Bg}[jTh x@[!HHNX&P=8ZEβ7#GguFK%yG9 wLyĻ|#Z@)x%X&-GdAӇ{-؇ c/\DgYZ   -M% Tarskis_GeometryTarskis_Geometry.Linear_Algebra2document.tex7zXZִF! ]A-MՋhvG"uIBm5hq- IͪśF]o='+\FA} }vl4#D z֑*-3˃jP8 hjovS:yj+3[OoMI6vp!ǁf^t.yHjZ[KDpx(|q2,vܾ}㚤NLf~ɣ`15+yDjB)] '94K!3!0x@3=?1λB,tK. PVz֌xW26R(+n,NЌCpb[+ՕM ؽF[7uQQ(s/ӺC74vV$z -/% Tarskis_GeometryHOL-Algebra.Orderdocument.tex7zXZִF! !]A-MՋhvG"uIBm5Ń!7!lP_Bur7s#yZ   7#^7_ϳeUx5-Gj4GוaL(@ >7i ]tu%ʲtyB⿭5HSP8# #ElX|Go4&[k"XT:DÊ}z^ 2[*tIyȸ{EW$A&D}􏉚)r}ѠϲFؠ<]6ځ@y%|*]^fh+N76`b-|($,Lȝlv of_( ;N,4 "M{Fb)_~y&yY&ڐƑVLyq[HVhY{!vH}@r BМ!S y2_1-㆕E碽e O[4- dw/5M@pJ)df|c~ WEvQ+Yku(،WxaU exƶQJ:U %iw Aoq7lp&&(C\[@%6mt@F i (DINn};; A~;i0zV~hMŒ:Ac?76?NˆHl8uGmWق u82N;M(MRSx3lξv?* (x@Jk]Шc!7—Xoׇi>ÃKISvaЛjC'B H$scOo7.=݊4Q#G4dZϫ/TBT|KTQcc hgX2)|tWT"Y*D'K Q:)ǸDಉi@aAU^X˰}&YU* Xl>㸈i] z]WX;q`;ɶ_}a )gj-|iһ0唵4@q1"*X5X*o'DqI("gw/;1;M({U[MWټ|oOTh[l?=y8g]Է32Ƹ'uBx6nRpvaKٻöC*C1g3!4scN JHԊU99k^PQ <#(K,ՆwJ+7p!*>Q}'&nዐ"w3;}2S`_*4P4Pf" m#$(u^ ԑJB<{$G_UcX='ך|#?vAX+p(]i93%u3EfQy\"mA3'xKUﭶE1S}dW'-Nm6YBhJl#uOIZ]d㺫ӺM&O)|xƛȎ]oY{ZKȬd Qh40bS+^QԬ (1OE5 0:+mc-1)" :|"~sZH+9"3:"$D*QNgݫEN nP5XOgEW9#ܛp~1 #& g/ !D s 8t`Õ'^i\]!*F/T ⌯c86rlz)rF(/2v:& ń隷 wI~CӋr/A54.)XR`δuDOǓܫÉV) z0j"n ~P{8La@$Ua0| ;5j1L؞ ޸8:bbtcC2y(QXWyL PX곊OYNxmHXjCYڼ mᴀXceCKPImkM+F|`bLgy^]AS'Z=3}~h׀JEzM{Q:K.Fg Snb ,@|ebE .ZKHrc~Br`}—Lr+c4_)|`Z^L61Ccj[>̲&EQ@8l\CpOϠDϒkQ)_P'fsߩiQ2wSKŧ, 5wG?^S4|n:LX2Xv;_l}́ޠ5_ F.vuUBٱ</vy\~D?ش9K.]p}}z6w;'mV7TɊO#pө]^M}z %Gc%MUL7^̴(윾lpȬhG@b#z` sPv;HD?mրn^KِNc@~MĿzzGv/&Ads=UmGu8kp f.^ ƿJ`Ylr'6 D7+Z)#7pƘ!{KHP#ؖTgk@o; &"~[Lnر$j3ؓG9Y|PK46<@J9g.pzyho>z$r4 (RF#yM~h&>2L/]c̅%w޷dF$Px2-~ y7v~iF!W̴M³"96j׭y} i֫O"m9^dPo׼sU ׉(;NPՇR}P2R| hu_䂴Q77t ėorKaǻBL@/4m͢)=6Zδ;e#1+Х |:<~=;;VLB^a}Ȳ_ĜhLx>2~v^d)I+@;CȃH)Dn|ÐMD`;U/X"3^?S/393okI,Qc5jS@ on3 9n"C,8qymax)|DisgciAV%k%W/\\Xid֪g_.ۜo`L;IK`TK|rZ sdal֫q i9+/#aߚDP3H)L%2JPx#y$ =cY5EexʀZ=lY@(M{t`G!Smoq U 찰6M "YCԨ̍4B?ĬSUVcM'4S0qؽu]B8Sr漴Wʔp2>I{k ^z%>DKvç)-|k˞95E㭡G&N׬FtӭפDiTɚWRosFa ;bv}c^oo8CjNRȫ|8N+I l;sDTS]4:oʥ-yb1G|%\{ngQ;cmcAv_nnebוhn Q/K K6e2IӚ{WEo#Cvwϱdw#΃##Q8衦L DBW9n61o3Ċ9T`$ȁ}$=A$ 9 QU ׭ wa37OѺ E]xC_5qj}2,ŅsbV.;C6_LO\ˣx*eصJRL}1'v ~e]kI/!mrynss6C~;ݱ +}rgXԧ}?,q36Rܹ #UI9کnH>=po:< c9P6r~!e4z ')F)w[oG'cJ_`s`uGɩ6P52vs"|y*?NDo^rjՇDq{7cJ|8+/?ACiF@?YG I? si#(aT։vr}ŌU幙{{LI<iHljLXW8½ǰTBoD5-0.󂰩8vBϩnL ~#~P!9qb.8.W91N|VeAx:wgLl~OWJ}Z:#'I+5XEr AVkxAs@GOq?;ih8`Ji g9[6RI7;QāH@'Hڙ.Ф3*;܇~ KW:A_fX=ؒ ~H^.e}bal Y90uN?)<$ %~ U!,P' r;fէZoןemSMJւo6RH߿**/$K?)afBP@F }bH ڿz<=.ZOȵaT-Ga tKĖoedOd'"k߸'`(ʾy|?dY4/m~LWD-1JYvEMh6#J1:˔f2n0tN(7m53$R9vkyV,(ќ@#c.AJyt8To;0HqFZVp6awkZN+,DK@* 2CqCT@'Pf!LꋾܱcX&YۨdzVQ~,vdv]gӡQl̠Y](]@^P-d^"#l)/WΕ7ղL@6޻ݝs:{Įu<].l "gu1qkI?sd4֊X;1AW׃_ɊUsK%W`V`E1 _.}Nwk< f><(8O(Z">;Β1v 4 Uc$3:{o/!yGbA+HNjT0H(?4h>j36.|60DG5-n$CAX*VB"+(F`sS׬U@qGj)zUҤ L^##l 6{l >|Wf>a"+IB1w{e%L!dmٖ^W0[ɾr[_S_d3~GDJY3,%bGs| B?+hxge覕|3ڍ>bNR*3zGށf@ B7b )Sءs{ P v-@k ~dsܚ_@ }JX(@wP-I _űfivp 47 U,GUNh\d|)J$UKkMC㱛 ٱn>껾g8gg/q`iִڧ~qOijmB+3#Dmsn^8i_)tm~|R+F}I% #m?76.Iez\<$4EKK9:d+c cx~1݊78{qHX QQ#7)_;P:j]m;4嬑:㼻p=DbQeh!|CK8Ʀ6(D=j*\1C$<ȳ㝘h1ʙP7$n ?3kdY?rZXSxE{~cz6T<ifSIN(b1Wȁpu6Y˯dx*4Z! ,6AJVuiJ%}1Y C|ҘӸwt|X G)In-Qj#S> ^;1 &aF]AK`jYɤ = d"%B#8wՄdܦW:@)V.^~xk5$F5XKZ=с7c|_*632|R+m}YL.3.)"HV);}In?Eˢ W׸rѢ,+3oW_nJ'|Xͫҗf ^M=y9`) cF5CUa'FX1vvR>Ez7d) _1CGO!xq={M5q{i{I@SWɫ! }oc:S']!Z҉.d͆,?*#F?bEyZ|)ֹL ӟ}L?2Z1ZϯP뾚 Y{1* 584{Ng{M[$55w}2" "YzTOcQQqBqڶUSJ!ۢ)Q'9+8G?ZB b1P=q?lzR t&]óuW|02C gaQUlGn6g%K紥3aW!]|WS,`J iks^?~D 7bH59t:aOVt<w%X/ 0 /tP-Fw!<@~eTAo# W!SRCoiϭ(PrkN@q.!Y \Ѿb7VF~֙"eٓA|jFRuю8OKɐQy:#צt -;s{"gp3!zKxH͙]iYynK~|멐#"4 ;Jk/ȶPk/C3^bnE0'u>{ZMϜxSXPKp6La&kbn#vC%ITI;L^ue&r XPL! sO7l8 ,PYFv'P:;08RĵkN=-dWZܜ~{%b6'D%! 6C'ɫKqKp83WOŖTYr_dmme(@`ʁ F=-G;]t!G95 'p z_ݥ($(r)ǟM7g_y&螖x꣩q=B`sլR1]Xzɟ}˒v$>|$+!mH{cE8 !KCbze.õe,~i!楤Ψd$^@G(XLAtEgvx߄9QJ$Qx+V#׊#O,Mh|]} 7P6o0|Vt[b4GywAz-N1g#}FP4S3wYڑmD`w)k qE5߈=Vtح*[L.A~ ̤ăgqE跁&l9Is3e#t)\:@;VY`@3"g3W7{>xcXM]F&U ThL@B;?\ŸzCd!;^aB8fX6 !I6Q~Iõ\ {Ipt@xƷAR͌nFT8(O:#bZ ZVSw|#ڕR/5bN3^=@pmD''Ag]  ;"d=˰|RbٻB*E3; j" 5f^ X [mY?CG8JJ_Xd2JL < K#4E>r..6&6Rh g}ǩaÃoI^T!Ovrwg9}iքl?\5"6B!}d3x418AdE % x1j E'%tyajt@/O.5y @DKl6)@*ҋC[ >޼#Ď؇QG=uw{fN/Z礰^bXWWEO/aALm V]kLXrdp mtٻvRA\q>V}J=O)Wk>#Sڱ%lKbTWqf~%TyivS`טO%͙C k˔@"F]JPoCd72{KEXvC' 5?.#IB*qI+S0KBm2PC=!s{?-G@̳vc;^`ifsZYXԙ6\"\pǧ.~]1G_* Ɖ 2Tw|4 oZܜ%_SO,>RV '<\u\wƭY]w\oaHa>K0.&MP.{}*#KU gKὶoG!OZhOsuQ2Q0`.hmgQ2vRp k@o@$;}7 ]ƪ#¸aE[o/p)lk+§}ō_*`#:9S6=E)㟡 pP~MR7ĭFB̡ܺ(1A`뜭$&9z``4MQx^s܃($ &Y7oV  5Ye{+Ō[b' Y<*Y.(__dTb B}Q}B:("x]{ǁ~OB4e8L Ruo Q`WY Y|8R/YUŕj;`a$c(!bAcGU|><rиf6ma|8@z%K) W!->x8=8vcH۔Ͱo@Cq΁^pl CdfhE:)lKD (T2 4e! GOѓR}wfțv",]įyRVEC/zґ\٥뫯Fѩ+M޿~̀ƾW /ESXv]:l-q2et-+(9[KsG}ttN8`j>vH+|"Һ*xHN3vb9[$I4.aNq( EVӪq[ԕ [x5}t^i_6$yK'v[DG]+Irl3:r + v,|_b0;av23 W)ʴw LYQCr+Ό{lUU8b1)p>yz /56Szqp%Ǯsx$|gB+<Zvl |fׯ69`J2]t|qWsi4Qs/cE+_!~Y{uѳ$nԼ7y$fK2pxke.Xix3hZ\=Hiʟwao۝V; Є}p+~B2yn$/ƅT[*dҴr0s2j9x@,WɄʀ>hC,K hPS?= Zj3р\ ,OggF3IEOZZ } .3[ΔzS`NcHaW3<;)ƟƎY󎜐YxXbhӃ@ VJBwHE9 鳎uÿ<4ky6/8Ĭ fF]Q7k(v8 ߩBj&D4P Qa X:NBc-6 nL&PS@A 5p2*xL+ H`ۡpsV/jI{s9BD81qo|51!f4 qh̷4;!NC@װL2.#T!hp_ˑm_\O!TE;IoGsE܅v^ Z7}U_cn h gyΎi rB~egKyɅfx]c(E!g6:ֱs/$ Rפ m5wQy[*=r%娠8ijj C 0u9{x]]$Ci0 W9l: }S\ǪA$~uമ΄n,,xV==a }'bd#Xvͽe 6Fc@,q z(.?]jX |nd 3_8i9Ҷ˼}k҈83ywp4jL٬K"Ȼ97aћU]B673$3#FUpտvT7u {\tp+ ťl>i#t'bAS WEpAג49QE{CFuv2frSi*0rتK/w$ݍ%SKa"SɊXψu`"wd3FD5*X?${Wu^i_n 9ù2λN?tV;b™}=94o_BNEB:6 e',wr3kBƾ [vL~!`l;ht^cJ:0+}D/פ+.EH΋ j&Uya5Os~蘱}~gޗK ʏ wwL0'&-{R]O`qPZ%4ub!) ]禠YdR0me\>狺9}jAAy=պe8jr4=}]%N')1+=4S ԓy;n }4U 1'= wjCM}5@89HibܘuJ$#T}E [?kl,-:Al؎Q+%LM`Jä[arhCCySȬeM2u+ߗ(7N!Bw'=O GN񆹏DpzO-!1lԾ)xpl,sA8 3͂cw}Sh'@4l6E71/#ӺUa_6EEe`43]gYZ k -;% lTarskis_GeometryTarskis_Geometry.Tarskidocument.tex7zXZִF! m]A-MՋhvG"uIBm5ib#3 ȗzL{;-gu89QM-v=a $x:~QDW^chOfѮIe0{ogUx޵Z1%0똛\|u"r\șEN$Z$yZ~̮ej'"]1ō͘m#{K &YLO/`8PBDN43n8(Nf'BI."LF]ks@8;שlYDXA#k&Qފz9$S>p| oFt]S `*Bp,g/~^N$8rN2"UOgD%Lyo`59~7h\ $vđVL"dI#ZFS<]%hӚIA]$a*1n1ր.UH[lG+ܠGb~ \3|U.YU `sw?`Cc09v'5&1UakY#\m.FNCw[faᴱqҹ7mR=%{s<$?, 2<ά;mnbf#i.,)7&$<ۭ@$HrjGMez|0 )89Ih0QTiv^vc˹ mÏŕV=w>= 3"e!p-"~xr'5Vw;I1-E.+&SQtdx' o7,rt(oS)nZLevx"-Ac+q ̆=^(7تuK۪.!ٙ$Pa `>}JK.ZpEayG"[ d,\Y.ByYXE,X4G[  hJ|˥D[q7`EVy CAY߀&zE)F+1㾜u4|&h08xu#"PΠÓ$;w"Jln MU8O3Ш$^tҸ//JF6/O2߿5.M)]OT] uֳCZ)Joz:CX3)]6TBlwbǣ]V4ZNh-)϶/]}}xV$. VIx*(ܤq[<$ajG\x'Y]Q85·38?JxM(`o P`jrU? <@ECi G| @lل]m櫚9. B_ &FtR.hsB/&;-|)hѮdOp^7RNPۨ6w7q ;YB*=40| jRP[0Xm|`*zGAJp`.4>G?(pG`eAJ`LRzO. #Ud&R8%ؖӦډ6H7V4*9^08h{E!>͒G%}N' ,5ln/MєVD!1W4E$^˙|A_C6iMWЛ7`[vJ6` .(刊bN}ߏةCE2\%ޝջBدpuF8m`+`>ڸtLDdC;~nG}tC9}"??~Zr,HTͱڏ\e;`|RݮЂTpy[MmY&Eum89tBXCēaI1JXb2w(.H:Vz[ѳlwA7mlq0ɔ$ á~=^y:J'rd*$(poGZ%Q,lSJ];>Fq8`j1EC% : -Q% tTarskis_GeometryHOL-Library.Quadratic_Discriminantdocument.tex7zXZִF!  ]A-MՋhvG"uIBm5堚uI3-0| kuiŤ-nyR ԍL+ /B2X3fH^nՋ<ŜI­͚勰h˰ 7B<ǥwQ T:ӞuOڪ&A$Ʃd !&K˳m|RL:d_EtBdB_ A@%(c}X}ؐ( md&ŇkrVez`KtDEՕaI+YIE-0lA*ԳS.7D_RNs=UovM6 Eq+~NX9'Hb⸐ll ^L}rs}Ug jmTa50圖sJ5DKԳbg}ḺL PKV.J:ȩ d*Sq vd#+<]yyA?Zsg( E0ˤ]Y~띊 1?;kq S D?Wәd0^gMg>K N#'@*&_ۣ!]j/IZl Wp{ mPO K~qVA%M#Pg tVh}ܹ-T ߋEhUͱ@@E5PL%t|{ٞ*XAE~ZFmNWe' Trꖕ N~`!ayL4o9O]k;;|Q%F=}ׇUt 71G6i0L0/7nAlj 9+7@F  ;]`0QïL.{Rҧw=,(($`1_hN`6D0q/MXJiWOk#(}g.' gxQC"! oZ96 ^o))i&~Qcs~: 6vHK<,$>ƅ=.+djk2y|rO? Y 9[Àِ#7{( z3;| !/,h/)qoa7z"M.?̓QAPtl$vHQ8<7%Ą& lXa[嘬~Pzŧ eԛ\Fbu%*HBUdٌUt gl B Z1Զ{jb.U\J/Y7f=ugx CHG4hS86]q&Mդ@~.6曟xfJ3\NJX CH12ʹ&TŘ\W< hplKzz5u!ؒu臧dŌQ/6 Y"$̜uiI=``墽.lM򊳱1gOx u(E,5Cҷ&<^OW}~/5sa5Лi,2Gm7[ݖzXT }/4vOY:AVd746H"Ԑ:4ldiz׾A߄W)<ƏL15ǜYoÀO}D^m`ܧ5"?Tc` Y3k=Hչ4YyBNi̇(ܗ|ax٠PH/DH RųLփ^uP @w6Ulopn,a#TZ~(<4sxI27Ī͵/wHQG}.OPG1`)0UJH|&a4W1%2|\\擲9ETV(#P0n[ߺ`o3=_Cb ?!lxJOb5I?Bxne:=Sk 3 ?&a>s>g>:mGdz:Licۑ!HwCN2&e4bjy)C.)d CuH)먯tpTH=`64w& ڌ)1SϹ~?Y0]==AkPf/ht:CԾIdܑYw<0kPȯ$~Sy!WAAUvxq:2!$̴E ѾhB=ᔌJ0e4g-: : ~wQAizJ@C.a@m BvB] %9}hdYϺ"XjoM (2?&׀硉L[Y0jm8.OR.µ[Q$r(|IGE]:[IJ=jl9 3d̙lzX.S~fFQCNe  L!JsXpkxI{nĜ/@QƱԏ*-)ntS/;qlvbuYvoeݩVvr|+6Y#uTLR:I9E%A+Rںy+` i= EjG"Ҋt#tYo2TPˣb֑a|q~$CFrvBwmX9gd*<6ٸԢ}* g|8e-ղFuVT;M o@uw~GpNݶdXPи\{ y,#.EװNӽE D $WW!: nJ sp[ ,x=.O5U 덿X'3WVP)fm\=Id\[l#{,n@&0=2_ħeN{GDYVȉA_-U1D }ʘlL D5B ´&<F! cѮ](&­xS,7tPr-% Bi$uQjmɑtn 17${?hY|nPe6%J8l{;#/7unߝ/ b, 8xoqkWXj>Z Ϡf\,ؗl;c#וSF$/9%YʗM!sꭌZb&GӞT9x+Ik(ٓkhTPe/ i(FK@Dh=z+ c%C 5C~ǥIO.RQ4a?FثY̺ D$R茐hFCҬ1 CBp܅^pT '嫷wrU%% H!JKio*v{wkՈ]^?\2:1|?ntw>nr6nҌT L8&kCG-W)u%?RS):^#XJ>c¿4Nb4x sBD*lBGILE'g(VxE?[QB5EWH$;--a'mR<(E[]YB9c9l+31nIߓPE'RM9 8ɠӢ7N6>Ƭ57 ^L1@.*1:gYZ  -;% $Tarskis_GeometryTarskis_Geometry.Actiondocument.tex7zXZִF! $]A-MՋhvG"uIBm5yB?5:Eеdy,m|cfP#G > l]lg^@c$:LnB?30Nl*G:rIL`Z˜ށ^G ZM֫M_1=cRybOb+]2ʤ;P"B{ި OЉ4\_G6hfZfgbt@>F~y^CKc2]dYyur#iOx/a  P0`}.52wIO H*.^{UxgLg^5w6joIv_>.FM9\F4 籒RQ(MluY;sAA) y1(%Sy[4!E;6qk:=QοuI)UL/kVvJO ztzZy ?)y`CNtavf6w E m };̴"P`=M̞=*¶˔@O B$^`UQJXqT 0utNTx]'3b{-![]شjypy;_>TKFU=kR! I#0?gYZ; -C% Tarskis_GeometryTarskis_Geometry.Miscellanydocument.tex7zXZִF! L.]A-MՋhvG"uIBm51Fc'h͖4<ܥzᓫ^ +%`$5N|F> iVÊ#|#>P& ʚ%ig`.N 9UwCJ@ːgx؂~,ENo =JŎ`9y̙Q7n#6p GR1=m>,<ɱIrSZS/-z]]Y\'}]- HS^/? `Ue=ECt|YC<%#i=גw3҉:>O0bJ'L,w}Z.t{fȻwb*SS%/|x 65h [pj$x0sq<'[ ưtxO7]%4R h Gf Ȯj^>xS!7kEu xrΒ+ Q9:Nnr}Ӱ{%IVzd4b\ۗ4E6xgtٕIϢ83b&=69Ldr-w >| |K9&͚U-co 4uO:ߨ%{cG1pfȀi RJC!FnGyv6g#i.o5G Hm0ƗL;66͹?'QlcE8uS!HCSm8h ғD)YO\7/u~!+M)E[ߝ$*d`$2 QDB1y 5ż5/Vl73 L>'C `oYb*cN=~1s/?lrJAK5Y$]HvF`˞Ե1gNl>:9g`MxN(m]WeDRZq& 㰙U.aȰ}GA" #_eBm/q)cUQ \&<߮sefuS͆sCm` iH)E~0`)ë0Y#׭/b@Q =Xu}Kw>%'cqUB@'1Ӯf{kؚǨ'pE JP)ka5?`"R\~XᯗO fuC  bJw!H0/[$x'ݳ"9}QA"Z(he j`rOB1bڕ7B"YQd) 1D/.?` .X>8V֞bi?A"zmkq]!c!Gsr 2!1Wspd`V MڟB5cXs$${ۨl{UI>&w|7*ڎchNB;ݬvJv$˺c2g4)jn8ØA/$gAR TR s?T ˱n>1%2`.›Ξ}'>ئ}Wv+.wsH+meTJ&B`7XBj e"KS3T,̮ 'N4 w#'+ފzj[NDbbkt ͠ uMCփ‘v컢uqGMV(h7*3dy}r!B1i#*rJFZ*Μ>y YXJ}^k\ye y;_Q϶,}}) /;Q*D3fl?nI\P,ۆX#:XM㰵1` |Mي`eLVC(O4Vƒ+~ T;)B?Mr5msz/&$1B%#D\#};TjR]Le!,5 IT+kg6Mjh,gy7K˲[4cy<&,Zx}뿳O+g L!Iޥwf B1[ٌN[w0 K@'{xA 15I0] 0ɏ [*ɹ*g-bOz\?y/0뭤m"5)% Z.Y44UQEƌ'9{ƃ[.f X)')IVwS<}u;;&0ݞC}əHI(@7*d!/)Kf9§pUR['O߮lP%VL rg>4p8wK9Fc4l G ͔1 j- /sJ켔 43([gvv K [ YhЕ:NLeu)0}FNRƙscY /dR ZxZB(Hx#3:/܁]!)!XqUդϔK_1$E}rK^=]{?=5.9R}O.-@R|~?6E*kw3[ ?=$|<9~#BlTc]y}2S᪵DRU}x"OF3&ooN9C;/?#8 ^s-20ƾ:?A QR$rڗ O#=&Y7𯀱vČ$+_ -;% TTarskis_GeometryTarskis_Geometry.Metricdocument.tex7zXZִF! ''d]A-MՋhvG"uIBm5gO&)$QK]} E#@k "hSF^EčzW#SrhQq'G<+z0n-Zw(2 f'ʏoV\6%q'QA|% 84;xQߤOW^!cF/1&ɫV?sy?EIƘe쪊.Dp#g]EAu…-jC+k%Hܰ+_128}Swc_ԇ(E+[ Y6l~al<xv[ӟٮٙ/(l`>d}bbi`ͥn+&ŹE8w^ "Z5P==lW7-*?^Pzz2 Z-)2 ߇B5'RoA`VB9s7@4DC@5L"8Rq9sST(32$O-0X<˯J0&ĝJrZ&+h|%mqGGo 5, 6Oc(ߠ v +!WmQ@>\o|;# 60mgHbL>ǭ SO8RG%]^!YɨkSEW.!iToQg5 7_Y;m'$c.J-!\#>f߾ud9@ >ܛ=+CV_1^Qrr@K(v[O l)ܧR'AD3έβR-?<.Su<zپ}DF 9wxU3kN\i7A'ȫ}$\X_X]= C+(c;'#v]\ԓZ:Ү۰PWbKA|a4WPy"Sr]:}\WF_%dH  / @u҈Por, 3S}\1]X @zVw`DC܏V'd{9>N9) N4`XgYZ,g+47p4|^CupKz#DG Ҙ;/942f I{w ey1^{QY[㥍:?;QP`˾}eF yagwq̗fXV)kSrP*R8|T%\:g ;o]a^zM=XOS' L<h/C[]S{{IчKuO*|ŕ=o=1ִ)3~i?u\rX R<9~48+J6e}pl6Qx2.I1ʼΈqn~a!XC/6JKiUu`prVÚlg4ODU5ߡP`w_=MBiI[(քr}4CJqaXGP-:*;sJ4Dibccdmi*%-ݥ9]݇7ͳ-leio^$WuFcPV?*Spo`6y $QG%Y J 8ܶd0k!i)hƐ 2$@ WcBrkZX^hNYKC+~IwMYڹ4^m,%FiH$U=O17Md.IT8I,s`r$ReqY<))"+'=]2g:0&w?hE4'r&.B!'j7Rȿ^ZQ S@K@W$NB1T8L6La#݌^X_X͇c-HjY6w弉! u첫,SjXswk2SpO1^('*~ّVUa c78Ĺ"f[nDkA6c+ Lթ'#8haXra|sك.9x)g?&N?XTv+WO}~pbf'QWc}|T0d5F5Tyw* R& ЇMяeyBah5`Wܽ {MIj6d ` VK"$!MqC[!շ[j{_>$Y7d-XK2\C$ci^A[\BP5,woM){}^\| Z ŏ+O:cR>8sMDLt脅—Ls Kaa Jc`e +r PwTgA:lzg T[xD΋XCރCR䞮#~3s,2\I9qҺ<ܣ7p盱tN*`e8`mnaoa2 (q>1Ή ~6VT?':WĪ^CBy'#^ٟ 㛬W3e҃{qۍ5p;oe P\M.Z-^1͚Ha'"_g-qX7~Ä%[_ P1o!ۥ&ovjƉ\_aG-([gI΋ fYT0!m'Ѭ C =;I6*dCBku T) miM?j^* bx#g2y׳+8@nD^"Z"GvkS줌6LfKj}#B2\\+ϴYnY}8d7ܨc5Gx6gh KHjWs]X?*jh>*5(Yt}XAS婛%T#7E^" Ţ AvK9*]@)[;.&}$ _ځLTz_֋jɚec1?u&"2}rD(l93B EFŏ8P_A3GrqEPT$g Lqr,0R/ҫk^c L *ooUvVq癄_pɊKf|N' E ]3 Ra$zk4|L8뗳$ϕ޵d.. WQ1sCQ1 ?@Ћ;w1t5ڦliowGG eYrϣiCz*6-iwVv$5a4wQbIVOy'Y80=/b-+Rn_CJlp|8s7B[|@V8HziVnd`ނ\H 3_wL*8 ? {e\Q}co3q#WJ:=}xrL􏤼xo]ܨr6$ *Y*ir!9洟~ϧ^Ci1'R={zs[u$4G7 u+mُ2L_-s[Ť5ֺzЛ#m+r~$Xq,T_ uά8R8R Ѣ^XdYRb")M,"Kdz"* פsr4?d bɗ@YW-KbG~.D+Bl)y>IfLI'xCz" xΘ{`%恌-A$E=Zio &6K u.S^"ZTwG }a.&Wof*dٷ~a-afLcDlD(Oى;GR:" .zՖkq^!V3"h @>m/wqz-{DV=.}\‡h+1VGl ,엮oٗ@dʇ"OPB5/g8#1k^Jog,QPh$eqEadlBZo_2ԧgi+b $״Ҷ=2aZ Rd+JԮ]UO82U`h0kg;+Պje)c|QSPēg+IRmI0 OײEja4(:!KjMce@դe.P9Ueɴy>v `^8U,b_ gӌ2خ9 '{iAC1Pyy0̵!M gN{]Rpb{]2Q+/Ew]X)9PTڗ)RȎE/ *(Ee3Dl'1ZNk^*3rd2)}i?ߦEZ-*4MmP*5 0Z9ÉrOt2 :A Zu&d/- 34 sH]PIʍtkqw*}f+¸܁ p99&.Rin2i7{ AܟWpЋ)V>¶[QDC\USnYQ%M?Z`wj=U|SU<#)d/ؿ1Hax>3y3kl4d|;ʡ93}!*D*2}F5(K,.BD%rhUk랦5u8&['ݷ¼͞"YiL0;U 2IrUy Y"aWV~mo\wѓE8j/Qz#'@W8gt{AŦ Em.ɗf!!}kK x]巺em.V*ޖpx, X>|YC#S5W, j &W*,lwPo U@U54l|eKp"<$eP"t0--& oGшS3HjZY#zC`7di 7h L6|X2⬢176 ,/Se 5.X-/72\WA5>sJ~fx)NI=fb %ދ|y-`2{164s8s K 4f.dQ;Eܺ?tk675E"<ԎS`eZ˳l+hV'gE;Ŭq_-gE[D0y{cc-T(0(esf>i(+ ʼn?1 pO- $߈ݙ%}3L~ZB:|Q' _ RmF'6HkpZ<SJt[Vt$҅XFF氰i H3rfC/00`#:n&u>GZ{}Q&\`7 w%spr^R * %,A_Ǭ\2b D%uМ:-y8>WR 0Y5e}/s5Bqm~b90sa>-a>׵ﻓ3nm)9ЕϢtɛm͸W_R&?棥o)/r/ y878slZW^~\y.:o1yUm"UCKWǨ fr$P y[H|JX^Qݮb!e$8 9^B 6U#bG|`α.1M齗XhnJbXeW?NLP&|C!xd&4fA_BQ"WW+6?MA>- ;hOr18LeU,kKe֊+)t`  iimHMO=Ѓ4'D{k/D 1J^csDjFV5Qт+GZ.tlhN5c*ZXpW!8n|zNaBC@/wZd]rzpl0d*?kU3 ]HI]@O }Ѻ  ;ʎѠOXOBgѼvy\aՐeJXa!j)\NJBV|#@g$EKķ*صM@TRD/c4H\uW,T{uu`#iEɉR&㭞R/\mц9Wq9Ƙ6P 1Ora/wΔu 0bf?f~JJ,ecvL'&nUrN [V,KxB6#Eڿ=W6b*PH_b1-K:B$g5tJ"My4SQ1Fr+|:ŬTǂ tq=X Cξ'H*q@)qOA}&V}^OyJdG|¢DCE\j& _TN8VmPJ B<9i#X*|{N04ҵxvuАE i2 %Awm(/o[5by'50{լli[/96L fJ/擩wظ1&tġ`4W"{ bU4 qIj=}k 5;)=UcSMh큭kۺa2U!7 r%^+^3}mmz)e%R\",⋲F[ BRAujW;` lr2Z"F[Bڝe6 e؂٢!)'xs~ t"%. 7WbpY GT~W:97Nu|MYe9_<::E+ΥU"1tI {hP0,1u.^D @\7D0-V8X7!{hA~Oi$,u0G5Q1r 8D<4>0oe/iZט`ytC |VL q0ic3ZK8˺bU12(Ta]#AFY~܏y uL%Vwt8;F"HH4R-8'K7\V%m)%ׁȁ`#i_YypR+ ;y0A6YZOtW-pM^Q D .Xiyl XY]+9b\Mr2gZ ^mB_Bb*.Չ*.Ӧb'ܹ0a:8ع4tQ+ 5sRsǗ]]*=f7O?\5GpԌ٠&޸~ P>y|A: RN<4p}&+fp\.W;l͸!ޜc0`uc dэDqݴj)#$o)FIY:<rDW] (5jJc/ED4HWlNM Jp:7rՉNefZ).$?@{g;EJ |[aX6Pņ00Ax LxɚmH PX$~9ͷ>{N6OD+ʖ HbٷA՟ jfAPU~-1;Fʟ@#H˰ѫ.KK3:M<ÝiC>,F/xL0'|djq{$/1־qDuYH!m lÄJ ohQ~6Hh ά.f 2K 5_ rnɴEHwH͑fW~:6ćQ*SL0aNZ@cWj Lꖲ~6k"^&L3}h=2p3֏.cBf(%4譶emKg;rDAv}nj8,g-E@ > ^Z.B6&2ք_X `d g 7EFlCZfNc|nVډ*8GO'-§$..|ܔd C ;=#Žc$uFT*3u|&)Bۨ1&\ߗlJQj->0WmI}Uxd-Of~lqYbAPX~X5`t=?,:]E\ 4`~"}Shicc À ՝ޖ\2Pg^]/ lw.~ КzCRN0aHZ"1,u^1tց/< *8%Z^ه?AOY5]x$BPC0}`EφeumzP]}D\"|G[ZyW'y1Z*ETy{a,.&sW,X"V*k\-Fp||.:OwSEMa"Ip6)*+w[ʤ*dqaSK`x%/c?qnދˉU^i$+KCWU_c YrV P< PU1 R;W"}i> ;3D554(X*.n)4HKnwrќUՔ &YBsqV\Os"J왒챺wXj;fHR֢S'(&)l\=CJD~dr7YSv@Vq#R)߷޺h]qV0<3' EE&mrW⬒+V, \WA.X"JDꆏ\?fHKtT5`΀ hoq@jrnKEM&koc-Rcl?Ă<3Vh= (nw:>%GitO{nQ:h v]xO1Y17~F~ (u'Wp czg0& c%7qE<b p53]wvf},_%s$tDH7J##R-%=VؼI{VSiFfhJ'A߼eb&\d;yN\%Lf{"J~l=C;u Y+s0]*9|&su_> ̀z8saT6{|l]A NRsN.@8[%Q1>oI`HBQ/wz 3@POi2*/"Q~][X~9Ff#hlM|8&gJ!э_/*˅ѭSof+o;i qnҭ G9.O!Bq]ظ[P*P*JlG(;kljjtmx2EA.?2v@->-&9|75 i? 3{Y{Xx@5@^_id0+fްUmZFl!3zZI><6FijaMA x?@"'-zfG+((<$;Ab}E{ چU\ NО=ϢljL_~Q|~%mӏ ­DVc`YqXti+L-2)`)cYNq~Mc0(A6L7\U=/EXEZM%TDK;bRBr$| ny/`#[RFʵ)j6,= t0զ);K@$K$A DhmK]Y5wرKpZ-jJ:z,m;6#y4ް.ܿ[녗cޟ+zq 6zߝ?lx*q_Pcvڷsy>*&2SB#ES4y^dBi@8XFԋWkΑ>X P+2Vڇri3J"΂ZK̢g~DUG{g fw&fsUȴ:nE'0 Q/T( , z]eZd*.z7n4 ^bО2"mI -ߌ:?i!ivBnY6{PΘwUg ?*JդKUh5*g(u?&y"EDYW7 =KQ{-PAYē~ rf2x 4x&>& fkr UmE׈DAN3b mN ,P 6]:X+Pv4u $iJf92i=#[n:$$T 6`Ho05l{s$ .9q`v;,*m|g_h26nY$Vq:U56!= Cڋ;+ cFf u +&/EiRnGKlV)ǸW +F[3=dCKSEc<=ͻ:+]$aqYCw?8}uކ%ƀUu]ݚAZ ~e^7I@eIk4>ҖD*OӶ3(h k3'(J^Fdy K*h|a;5% KǑ[J/N|" +w9˩7ONhϕ;Ԇ%R.vuؾfERC0[~-2>+vBhmDʦDJLG>t4i8,'8J}.>D!X>Ǫ$Io(oqFz1fT#,e)ͥr,^R̕Gk M)ђ!DgRc'+bW:k>a?3 ypSpzɗ5Դ4E@oKg牏|}ڙ˃11:uD%tTǖ`# /]K+U4qA݉ i6g),U,߻L=;y msY;2b, v|2UȐw*=lN8 +줭 0ylhJN@cA%=tĕ$f|)w˯3lkxpPjtP78<7h?_M2 I=ᯬvc`U|*VXp7^JT\a׋{ 35xt).hXysR%Zȿ]֋ 3D޳p4Xկ痫01ZX;OnH\͝ԓbt::]æ3- ŕ&%ogωZ V7-O|7k_Mp3}QJ 36[4BSאIr%uvӯ@K,"5XsN#'tD$ڸ](l!bK,㑲+:p[c{h*k(k92?ӼA4ܨZD$m)N-k_%sG*Pꜰ>EWCcr ~)G0f]`rx0hGo~(`]li.Y,!ɚ *5*y!oN y/N |}u+ 3]L; 5 JPG%c,F5BAy{ϐdvсiiJT8UR*hӾW;"Y j2$k7yT  [("|YK'k,!CLUhC3"V+m>~WjSv7HlAFNx'k *.oC:u` j!&N HWox\NRgfH߼ ag=xeW0fsJVK,2PUTv<_c?{q!-aKNjFH u\K爴*-܄H81 chPh~tji.e/ܵ݁vɯՌà*CPZ KJ/# d`h[腾3PI 洣=W򒊣M$qV?aN#_d,C׾иf*LP zV|憕ʧJ gǛu'rOG|BT)D#j?9 =p7J%΂0pP<Ǻ A&HRnB+Ƈ>8޺b#V]Pvjp Ev_tKgO״F7uy#mI;8K3,aig)_Thr9 3/M)-~JoUV񠰚ߐ mpw3Y ѣ[=.-=Pfw/*: ҫy:I"[ !v*;`%H1@f=:Dq.W8i1@O :ţ ZoTz=Gޢ`9('i[tW<0:,O+Tf&SP2?Ld?Zc{89%(R-/DD;  ̅(sR^+^&$>i OL}Pt>4.`CZ6 -k uDN,f/=kN%oB+Ka:"@+sW)Z/T-8n-_ gA,I .L!7>^]-Nٯm>;EN˲с~r$UӜk9!-R%xgXe& <.ߏ,,pO'ɾw^35A( Χsd68 =h&Nf!srS.bTɔ>|u3,"@) (SG∄" YvTG0v3 )kÑm lcI{S8I|7ѿ4pM-A2 /za)%kJS<~ihs.\Zk&x<KϷӷQG$/PC÷baM{&>"g﬚'Vy j ׏߲o[1ŗVS]Ci0r}. :& |@9\h,fCWYoӂ!!(ւH`@=ǿi08?sv#d4?&#l9U##BeeGi/:X tlǀ+%.vdY 9˨9a\90~rJG t#T˹j:;Em Wj we=I7&y, fƶڃ nt@"^{,lc]W8悛2q_:IM5bW?;ϗ UxE~>EE/."r[yW@3iaru!ɂ;#|6Ftz*5T/^"Z2Rsg z9*[kAµ^P̦q)e$ɐU`kw@M~:z-JZ0>kb!M ׇuabWweJ,uY_W^pDdO)Jː DƦfl'V}qе>sSLaNDQUvKrw՞wԑR!c@ښސ?$Qg~-%5S/cD*7n/ME;Tf6yc `wl;*,xp=6iABpeYP.*׶u&j4CE.;EpdFy$jx절%4*^@H2pFiV } zZRS/A%&n&~KBppU M8=@sWkO)Y C8'BmbM#iX;a̯3JGv%zl-cSVRtf5OI ^QN!-9r9 %C:V37'7V؜j!.?NaOڃ[ eQe]*GDaXⰥˬXAwbTjS#DJ:mA?&kZʪ韞\wytcVl+ϛSY' ԧ_&T״xCwғ+ι {6ڷc6l"fJZ7AnuymmmI`c I,d Bs#XDY=RmK4O>e0*.?r''R2QNs!{dm$HS'ta]PULv fݼPǙǛ!7ueNc4bl£\d$~$ڎY^a9*f!cD1Le=O}] w)h"ue vDadt#mBta4WJY\_;k[!M[+oER:tsB=e)}Fz]PX*+Ukxmb;J=}XŸ[K:dc&MMٸHXX!_K*+ 3^d(%cQG8a2aC`e&N[<`L<7g%\Ns nFqHm$%O&rh >S@c2Q*lkv˝Aky7ow9t†ec͠UU+–UD 1*b婌*~;BC{S+z[ᚺ\7צ y=+Dwt?q)khɋh>:M0->|!P3w3IJĶ"ppHS~1#];( .3/# 4mG oQ,Ϲ2Ș<UhkH X#Q$x; #U=&0<+L\2J0q _)N];'I="4tPc+42{B46hPy9}OBy;@w5/ےG"BXs:NIE"=6HeEW _ _ -@TX:} kJGO-/ \ GM˓qjr PUZŀҕk>袣}.p+1LS&F*L{l)'MC:ΟeeTV4Z@z3\*B鑎#nx}EGݧ U=MګZ2TN0x|nȼ0d"1PSe|{⭴겺N.f@052c$t$!MXle~_VM7ޝ%T?VBB [Y|rk`t2DΜHt% ezH9 l@erөNt+6Par 7lÓv'_ D_++]^\DI9Sz09³Oo(6bqJH&1-1"J亓LV?^`ݤf= 0q`^e gaYDt8!Zf<([X#+`Vt:M&B}Tns:  ,̓9ePU\2/xz"]8'GRA+B i; UzPuI/rmEQA.Nd <ۂIrL:d$(GDtYݔ{2黤R;̓y:4zBͮ88 /}=) nÔ;,Cu ZLJ?ԝ/;x.NI͘?j)J¬Fu#7YTvJy+z= bqP 4&=Wc!ŻqӴh(aAk R 0NLI3{o 1;)Zm6wuod!csA6ռ.HCBwX&ipA8gaj,=v0``hb7;, B'T$YV$(iMژLTWZ7}mY(n#9b}qԲf*g!bmLG|xL ^áԖY~w5/1[Tb@|\sK=·#BZaUڒT5=/C,l"ɌXăҲ N$ϖkkxd77'ccB@?ֽ8dE6or zj4%XKXXb[ZW2)٘YՃŁ{1z摂3aL*}iEϊz̞ת\BpCg!6s !-;-{qcN:FBML%rWUNy cɼ1,a~%&֚?.u*}J3kiʜ!£S(9o7L J:: AmEW,tdWYJQ~C!T9]R+-UYzt.^Q"?]X#")%H-֚$#- Ǡ4?10iNGdufpx+ iZ4,t7޻8= Go%V*t/e ? |6+]7$\3F^o[Χ ƢU2v@:<2";b,]-7gow9RC3_O+!:Ұq1NWc 恸p/9ѓnY ;6f9ye'c)Ae{pjHi9@Y%}.aʴӫM8h~ oise'- 1TwTY5!QdfMcW͉\ݧ,Fؐѣ[;#S̯w6O@(̉A߁(_tFxVpK %Ut@\F*q݉JG|* zXTP+ۄ!B%oY/i;N)>沓~yiiޔɉb_l22MD /q1dKqx@[񌆣4 f# oDް Yo>&u- 2S; L 9;I7px;>A ^V;\ iB ,&L[6L:2>v\I(EU~D4ka$T5 ~|:2v7~|f3sF ]qvO6˧yܭQ6#m@Of|CCZ c_͆OOԂe.UR !CB(CC\dFlu* w kYC|j@S1kFi!Gt$ݫfi5o %EްFK5Y%ˬ8B9|'w}AL-9p1ȵ{fOf JCfi9Fu1aE3c0ܩĢV2> }9w'!5//>B6D2$S*9>uPϢLQz4$KJ j<'jYVZ1m*_M1Qf>]]b枈"M~vo;C A*V )1\ wV<1S%fZ]囲{¢V=r3lS|X\ʋE@>{M\ YAHC - #7n{\wZ 5넋cxl?7 ⍝<gi08- O`(PC'Y$,WmҖ쌹>V$"f>WMꂜcKonݨ~ٱuX䛵>зQT>1vݎ_m.}Q 9|]Xg^2J#$Yw$uZ x:>#'3x <\%%SoV_;jyy*cxo`1eADn h {SOmt Nt:,RhipnÀᗄuC*O5@P pO"#LkqWT aS!8rð|}rd(8t`#N1_-J;(#EਵIqud#7sY (؅\B'Wb>V_~a{pq J}V-9_U\\_/ݠE3 2) ڨ |;Cnû_e /Zh8?~ qR ̌S܋Ǹ b_Kq`N 飽 W\1 LPQ|3 Qo0IaM ;D2#P7@Dv [rmMD,+H.W$eR `ISbV/f>C:#q~vKWzU&Rx$]|}au{::R) ΰ|w!ג}o2~(㞆=|a(K-3󶄺G >v FV+nCIT9 ~U-CuDڼ'11S/|YmQ/MJVkh$4֥ґ9X6B=aѹ%~+QSI-d2,wծJ=A|Ϋ/1pBEu|t0K0Ź<$r7aeQg=wA@`xF dj~]l$FKL:){c!}S9:Fk16SF"w@fР0 pl!DqG[&7x pDJT5x/7 =nh&eeUna&}<ΌuuCGJ*6I svhFX2>9_=hk&e,v49Yc̜NB]9U)Ok ;tË_1nRGe!_W3Nwz+֤Ƀ<#JUPa׈)E?ݓpᨪ`QPvLT0B:gi"q8ڕy3vȽx!M9|><8Ewz]40k@dp㹍悅&ЃmU\3t1\ŐΕwiǧUHa?;IIӝfN{^ H !9idk=>@b $ (3?48#Cs3l6Jng;WD2D*0+ɰᦘU} EVgS0-cm]w…| xUJcg_ Yz(+kys=4Ws|C< ǚ1K3˫N!M^YT,ߦ'c56LpUCn>fF(N5vָo|孥 B? {ߛ90[e\5M [n9 )G\^1Gjmu(ePOghB<-틹F&͝S ꊉS=*H2[ezqU)hY c?ɧ*7{My<@6UGQ=K\\QSml^oC&ngE*:R}%S3P[%&-ؿhH6c4&!o,s|IhDivC.4!Dq|g@9KՓOZ Eؘ@ bB%,KdgBHAbCrL79SI_0W(*o3G\=1܏<ע P+1eGBG8씸잇zco3Oa^fBF/oʑ8v[֧ݏ^Y]PHT2EQ|bo/zh+3Jt-7>B?~0T,G/u~b6k$7?N>pm{@8 jFmf\ Cdi%e-ē?W}-R՟QN%6ू-V@\%YEuy3I?"áNoXlm\2e`Ԓ諯ƥ{(!.9"[e /M{>eqJk"4`0;Q.ZCפk8)kRDyH ,+jxБ!Z)IaΦcwM&A{oBɦE2QAP6THJ- 8jH ;KU x~ˢPܤ@ XoaV@ pP"YU~ 5Pq!N8=Ezj%(u@+&$~Sɞ76٧cXjʷW9AmqNP2o' *rI \x\sSOʂL ֡W2<>{0xĹgv`3Kg0Lk\2^b*R%F؟6eB7lS*P1qfu rWʡ%@};)G9%T&ν'_qN1UxG!mo >bR Tu2!ĢitҝfBUFݫ yoXsI2f~uEbueMGY߂MH==IwG.o ͫǘZɦ(%U2Fzr(VVRty}/Oɳ5uJ!T<9 c6<(|I}7$Piim2\:Iveu,k}XJՎ`_Ib@]IlK >7aw]{fA^2mP.*eֆ;;OY~*~ ;Q,:sWS/&|΅{NYWdO/•A,|q}TC~`9"KKR%\/U5c%+m?WI{]g84B-YlۢcΟnX—e9S"H]ɷ]/gWЮ=ɠxL06$˂R\v Ĉ|F8 ɯ'$\s4e ^&UǔWh :݋5EP䭑|µծs|WBvA̝Fobm..Bf!9_g}4Ek`7O&+z4Oxs~(#a_z)0G1ڐqQ`?\T,U-JE1gː2U# LkL hcۀYԯ={)ՇTU%ֆ-V$ج3n$&v̴3BG sb2Vg΢a!ƩH)++f 0ϻ?AOC@$7vh<i?]> Hbfʻه)d\ExWJ{0B9 L&2zY)%&2D!O.pbK:s*#*jT f~>JKsZ.D;@ۄ.(W6hOhPolb7j<}BFTsLpNZE!dZy1fCTE ؑ{0EWG`w 1(ZsOMƟ4A~5I!ϗ{#sJH+ "o?zxLHә& b\Vd~1}>iO6w&l8E.SkWDڂ߭8F/kZ~X1~ﰎ#L ,9̂"9t5LJ/}*?yH ?"%z$6%˓!v/Dv=؛6Z/Yh~ͥvWT $F #shp-ځ~x=[;' ,G` qgaxO1؂sU/{ ?щj4g. \sn8l|SL9ٟr:v80M0 {!pA^f۸hsƓ Jp҈Oj0ܒ9mҏ24̣(~EPT&\·Z|v9qD|O0؉ | srJw(* g'tA2%1he·aMG _=MI`$:B^fKgNIaq|q+ϰD݃7)xGWI,؝F82!28k`+7Db27DՌ$(>DuоCܼk^rç4WްH(hQ>0L!ٓ&:>6R6I8!T < CsVs=tːuy[Պ'ް;?la͕djۓoƟ]}Fv ˵=J!]3qpkKNYyz:=Tu-;"^7E0c|e] i!A! 9n Glaax,An~}Z36PQoQl@Xs~(PV|sqb-ô<(ַ(:nt3?A<£FF7 ]>y6)HUuop0vNKqi~~tGɴϪҟlXZ 0zN Xt#HEdZȏ9֧F=}"R\t R[\ 55dgLח\@ɀ"!T{/f#%6<7xLخNB_^#< (nߘ ZeU`"9Z1ꂥ'Y3àQ^hY/“-Ԟip7V#w@suI7#WUn1{֛Gv \: CxⅪ>U+פi$“X1oc 6Llѣ<1G7QOkMcgd3a 7k.(',o5r(8uwZkg!"?w.~GS"  4Z+a`29OLw*s#?s+QXM %;yQV9o(cH7+`RL;޺-N~j&u>* J?})Qkf*!hsڄ7{LrZ!w{%cȦ5;9ge^^Zne@iJj-c?4kD{j[sR@[O/~xp"lI[UeIE@etjK r \Ň*ŕD !fy^jwVzUEo"!Rk u"k¼OwYV]c 72ܒ}4MOFb"A#^dv@Dj<-hi4:pyq{+lHU̓ 2*IG• `$.nT#oWO j T{y!L$`ùd! FZ_FΪ 9"F/)PpKzkkh@ O+h-ZQ ZSYBB2 UC=kn~/"l鉗uγ;Yڴ=l D6:IBoZ`҂p- xؑ %6H7סs&*zA5̩׃1pY =S9AS[^IuqmL*00O&)Bl'cM/BVq#xFSAC\7/x. 4aa?n#臆Ωg9m񫮳j ]o@5Kf:ilq~Y3=!/߱N+Qb{LEpbZl$;^:'/6-<2lvn.>MỦ9q\;_pXbC\Ԁp`C14+v9kI #ի |t|5D*HxZLvXFihEV$) S6O{4Z"hHr6Ch~Y$-K]OkI MAs>9]װHɹNX)+s$YA^iz >bՒ`Vz?0}|Hq :>6yt )hƲmn (؞"Wd#ĉӪsͬj6DQ8^ Bx_q$ĭ$/7=͔)>Řӥm{*{n Ҍ$qO{͗#r]6kjt[xMߋa"c%3tI5f(PyIj.OL*uGLqS3_DjHՐ^ Ex׼ߤG|-EX~"mӏl^gbR?A(L,n^a+F:;#ZkԘ/}!ϡWlWY\X:Q6SiqH—<+, lX6"ԯ گ:$ib: &fXy%n}8V7AY/fle(唞qDw{;з?:=hzZX{uS*dp^ײYC3tqTʭDudU w 9=雁a⾣]JlUgݡ@y()n\. TǼYo͏2=M~E~[a(%IZ?_^]Kpo e'`h>q/ M*~vZ?6>8zMScvϫݮ,FSB OM^XCC)bkI%P}qˍݞ9pq(eLn58R?{{>Z˦d5ǡ5t p-b\WyFxI.qrQx#0``SJ OlC"- O8Gm|{qV;Ū" T!xmwv XnzDLؓ`GZbV'6=J]FߏE29HC\F/С,IJ,kQ D#V_D' AO^!Ucs4M=WSgw/tW~w@A brŶx EJl=rlNonLrpwYPоʷhz pqG>[3PI=9[`͒h%al`/$Ө2g0Ή˻,N\KU8ڀpe]\L@p{+ 1s2v gCDN?wM{g1]HձCS;sd4z9ׄI.c% 5a)ѯ{xtQ #,bS:% @Vљ7.zzdl5ɗŰjJsȡaN7nx-vKW3Ӻ3I7) ((4wnpTٙ CX{2s-UvA%sP?I:c,\ģ vG ݘ}-E10 5;W{Li w~A(,/RKE="xݳL VB숡LbW2eϷovmn1uk UxfjxNAt؈7HhXF;3x;(wX1?XIFeyY2p= w ٫] 4W051[&BˆH!d6g?~<)J GI~p\-VH%;h뎂ߴ5Fzb6HŒ2M!vS|IBc|{U FX\lL LBqXl3D<#tnc*{8$^^k1=ޓK^W{!TW'>Uej ̞Iwy/]ɒAH,ʻ5({g~=Lx{&"P7jen &4Ds6CC$3єJnݙL $J){M/Ǣief{ڑ+~ϟ)"J)7=}Sk.v6}^Kdו2i0PPcj@Zs @/]:aߧ#q=.4[L! _ Fyz?wD61s!>p7^< bN*{7vU~~DOi8u+ΙzEPc+] i R',pu@=CV Fa(xb lĢviA2Xoپ]1w YEa,-tW);3\vNc7Qa[re(q$PWVvoLN>;F@MFQj\;dT6hZ=Cqt|:拽lP,Fóx_d@Uoԥzk#obV+ &<(n؂œk:yC U,VK@:s"}5yjbS +F' _ɂ-ERxopmVO 9YMA,><>5,qU gT0xRq6Kc4?3B favi*_Mq i2}?RI\B?H8>dA ,KVR5y6)~d 'XPg=ZN 7zy]BpIl-Lщ$U̐CfC W흒4u* dȜpL|M~=S0Et\USKFof=$blreM漝{4jzJ |D|o"B3g،q64"/-W`d5DOGbשxEX4 ;8G4%֤F'նGj5n0'7_-wV2Yu fǀ7!UP cs%OAF.H~VbBQ3n)|)D?~` hRǗ(l,JsvN3nhÕJð2j}N:4&~oATR8ZLlM #Xc̛B|Sq/gZk)ؔOvhnxBmO?;tN<$WaێeB-]B x5["v~ԕ^RC(fiVbfQ4|{WH'GzWڣc=z5gz ?UϨB  ЛS?ut&C!1MC2h~%ˮ,}AVE嗥*`2C!]#q~-C\bz?0o-2K5iG> J'|H Kwv7뻶? L 2>N%PQ;W^2 @gp ~=#dVjJ=IC&:HvalvKhu3RF@2}U}T9XH17e-+Sϱx;p{aOmvNK \c?u,c@NH6Q|'$DhJE NI%ÔKş?/ar< G z5aߐ,B?n2;UjiWI&'?y"EB2ULH 2~ '[!F3M&J#u|# Fn0.1U p M56.;nf3Ȅ{/:fkh2.1[W`9cwYx6{Oj;iJra5j말=t/NxM6ĘBݥK}`n00]%x=%טd1/~Jvw%,; r)H\RA )W&q^lE!R)1zj: |EC$Gq},e#"ŭBk9RK)>j]״ rpLf?+o05t/f2Ӭ~-SĜ8<wLsg̠uzNHAQ`K̵ P K?li00OlMEG*>m<+='p>NgkEYڽZ}AE/dDdQ% 2i08*VƕU<4!}d@A ~GF-:4τvh;jpjxsV)Z'vP㱖oouvdKОmcɠ81z8kvWW8٭NmDl*$L7\ EJe1/(糬hK/&J1'@sv:䄚Z[.P&TSsR4W&i-xΠaQ3sMX^8AEUROyAQFc*pKt@?2;20ս#eQ5}1g0ZIV=-!/,F5{289U-| dF%ZJ{ۏtFL^@+iE"42&Z>ӌ? ^sɿe wj6Npn}M{ep'?!j Gu ɶ땷U S>4:&F*޶iuk)e0kurqX<,]aPBқF:!3Gfwwk 9~Ed%]Q!̢k2yiH9p]TYc>AP8+5a{˝bf_iS_Љ,m`}(> А)(j qHnr0*xŜb"#FOw dy,kkLtypn<gpw0n7T ȁ$ou;֒D٩/P_gH̷j {}oNRtMoO9|FrQznל*$@ aE2SŚƤ*vl ̽]еOӑ-$PPBO l; [LfP97IQk`QP鿹m ,,gY%Hhݓ)W߈>A\3¥-3[BÚ)wcZieTaѣqRj5g5A^QK+>!@>4o~ ASjqnm J%{m!̗4ԭ!="[u9dvbE5&j-GU2, =y;'zjjQ_>-QNI}Wxb[ePŘe8F&Y۹(θC mlCV40DS-Rd6S 4KFhW e%;QOj/o\J~x"(6@$yՈ|Y@?4 UnRa؍s ޘ&/0عMkFܚ_ٟe+E)@JHM--lM`4*3Q6$fJClv~279 w\yE*sZ{WUy:g-##g]6.grڕ偨U-TnF ,tnywVI<--#[#q_'^րne1C;alsYk:ioC'Ͳ 0%X!&SK4.|EyikUJJd?dq#aO̵uDt7lyG+iscԡ#:5cKW#H2Y܄^"yKIBMS36y ƤIṾ*.wpf֢Tf˽-dMeQ3|h֔]WX~IF ׏M.V$te_q{^g uca~'Ts,G`} [K]!|W^!ya8|3G<@|n$  'HFu^{; h3 г|ֳ#JrrT­:zd4d$cA"O')eix7˶opNM`'qpleóջ1vٔv>C|I'#umsv6ؖ"ѵ._%Ol/h0S{1`pBMPѪofʹ=A<joqԤk{@]xbIz* I`7њpjLfM\~H{>65|L GdÓBDt8s57t=7s}3T# V"m cX6L 1!k!h5V>WMF萑j;JfbD@f,$Hv>]LDEDQ~$zNƦ[ ?cߩCR4h=Y`[Sl{ܝ%7v޹G7SZ9WPLT]v =?{K+P S~ i2nj'~xY=gN(T?.-^ y$ Z̟o4# qNBcͰ&.>>3'md_ Vǎ*oY.}<@4E(^ϑ߼>~t#k|x,2dE`6yd2MG.ʰyıP6x7q eґygSpv( rWkϬ> }-{8n~FC{IfAwX%&,rؖ@8 !` 0^(05??.iIPq&9fKQתxRp EЯP؞6l+BL2ݹ 6$җ}e׉#^ʏ*^K]=/̌%{u=KYv2Z xpmjgƢnm8UmrpLXx8&Uk|q #}vTb R<:fC?Ew(҂j)^#럖(x[^ιQ]ZHSt; `6MĢ6K,\N@*GQ%=G4pD*EՔu* xIr[-vmT|˅kpcRںyN@Yj]n߼iW"cZ 69+޴ڨvr -*kd䑰=7oLj\AΦ\2J^k2n-"hlK;]4ݙR7IWJ,xρ_U԰2aB2B1t{&.R<%,ۈ A3x1 HzF{'k9HS(5<@90qm72c֟LzGUuq#GxECNm46.!:n/O[?kjN:և_<*ޞzC ME&Of KDCB$0 EXxf4.0E}tkqcbV(,#o$zvԌ#]'Eu=?g lِAm@, (W!L{ $1+E}BH%f}izr>+ M"IysrC (MdH^ gPgp+b[ྐA}L]%IMNln] =~~"$;J:C#ѧyM8Ԁ̢L8b!"WdH cui{S~͸' yKz8քY+y晿w EMXI۶^ g Ҡ' `PY$ƼCy5fD/;;?gu.;!%p:>*-'q]1 EaT9*xHzS]JS7EepwS&`\ž4Q#,yY+(VS uåNwJ~?EYaeО5^NMJ%Q vH~i,(F ȃh R"Y(Ů6 9Li_i^8fν}2\ Ӱ./5`Qr-8YPFQkI<9CN!l w{qRi%vhݩdziZ7 :O)ќAwm }8~ٱXFl#%)SL9Q9I !û 7đXi>ȨD_+0B$U7QO$U$̨\fA0X0AeODŽ1NRg8!Ouc4Ģ<1s%e^$TEA\o>,g+~윖ExڦTP CIgSR\$mq2H@`^S_$-56Ẑ $ʉUeM_ !K.! cь?QB^lYJ'lMTqުDEQś!sm+8 ĂËůMcPBM_K|B+!g9Jz!*L^ϊu4Ҙp}_9WKY3(S5UV 6pz\$%a]r^!,B͢NL%܈X9F}=\n9|(J@4"0#$Nq;ymA?7J3\A|(V3 &.Zf f\@ VOzϿSˑ&Cg;bY/ID~gV+ z,l:+?; H#+xKBر=,S"G26g_8 ]N :QB칋7dvbjET@VxzD 351HZdإJ[/Y[X=+B_KIAv >;y*cWA겝eH%ZW,V&D\yG5RFܷ/H.AR+WQ }<"4@SK͎Nkk]lC&N=Z5VFD>8RW3g@̓`@uH k*h VDШug-qCܾEUEd&7Rx|! ͪTBtL@WqxF׀3^؊~]%ru#* O%b6-ZU8ѣZU2npnܐUey" 4<~uw/sSB=*gJ rAEqz#6rܳݗ)֚OCSWbZ^9*$U*{] sr=UXEcc[>C`&"΢Z;MJU7у1&Yy$a[U/=M+49{I4& IekPC^>tPqi4JB%l^Ι:bwjj[y8{[NGoڬS+^-<ȉ9ce^~ gԻBkY)Tlk*dah84Pp@O^mpA4)E1S+Mѡ(}!E}Ţx{7%ҫ@ئΧp+k'iT 0)0@ olsX:hpPBI;[ƻ$/?љ& X[֖7n>*ߪϠXba4ꤱSFRJE@ֶ$+^ *a"`캻mn>'{|GT7;_) 5A*g򉙼dʆSJl<:??|rƽ ־YQXbh{U;ܸnmǦ;Q4DvW+޼j3ۀTԶr!g3% d_C@OY 9wr$|؀asşvM`Xen g5]SwboˑpgԧoDzpDί)#Qmq'kt2AE{bl;5d@J-zl,!yl0qdtwc ٻ+*cd< S1v["X"7Ēdr.>$eD UvL.W|=V:'Nz_紃WhsҼv=kT"E?"X|twL6RxVb]|[Zş &^S+[PxvzÔT ~㓯  bWhi"@;ˁ9` 6L=F/AouDc*!ĄMx0rٱ0}7^[֖Jw6.e /&\ÆTn C:l*֧XˆpNn+VWf6Ue&B6oYVB9x;S mNp6vVtrwx!ӂe~$#Of Q⧿&(u=p/WL} rD+G -m Ҿף2-2 8?uF}s5/9SdR.$#SQz`0L\)zfNWX1TfBX1zND!rD$AcYx1OI(OByTsr2d80Ңx.V++nRYqڀo:h4c*r>XGU r W^c?}*x7A&b>\HrPBgv@&_Frv7BF. Dxoh]17{Ǟpg<(mίaoz3JCǞq7g\GẈO_E? AA͈YBCꓕr = T|Zdۖ #W9g!Ѿk;EQwKΩ_@:V8@RHsL utV2/3'4sR1髌Tf(`\Ѭr'΃*;rpǝ;:i/v`7f~qj Y.– N(ȸ!A>FeA~1Zp;<A [Uq_b=cER4] 尿~FdU;퉢jL5O ,8z7 Yvs\̎̎kBF2 $y:*=ژb)!C57&aYZHMbRG \Pmwޔ}rhVƆ\HaCrJor[ڌd[s8- q;H7t@͂F}'Tͼ9UU'I21#}e!xJn,;eU~>>yxHg} M CL~ JbMWW9^ۯBId==0msf \pG$ɂA|kiS6cv5SȗVg=[ƾJT0GyX[^VӰt 'q˂M0)gzbD~_|G?~a֮^ CPCl[BsKSw/0mۣAxUH`CJlr'.8B)T|W!.isE7sManڟy4EUξres kMN&נO&y>d6oo)[35c]b<5 vbjF2q¹$T/F=>R@4^EJ4%ⷂ 6YyᘵCfu|Wa;G<^m1AD!VHJl䎜r,>N׻e2+VqOɗV(EQc9LƊH/^4Cı8/6%[Մl IzpW[[x!'iб$lԪRAP,sOMKP:fc/N|j3\$+_3 ‚&"#Pʈvfto$پp Ez{ [׈u6Qt3%LUvf@BqdH)vQ/ZW_) fz"Cý2pBB"LLf+HI4${ r1Im}ǡ,?fpP[Oa~JBL7(KluR Żi>3J +]5mLTLA-Bh7r-)0=q5wCAw3 +:$9ϲĮ-ҵYe9RL_jjooLҐ6Bӓe6R7EMQ3'Ekte>E*&)+"2Lg &@lsOQk*v}[ڈzP* kMv.!lҒja pgƒ=90&9NV`{#;.1%12~&е+Ī}P1Ή @j  !=Lj҂ąP.]@`[Eݴr=3ޞ'E>\5Mʪ`IX|r^%/R00i,0F9 AE J{h>§BP4E߀LBhĺbG8W<!r49nޤK}F`s6v+`jhb1/4ߊfR,.'ZI% PzC2g=}h"`ąQ @턤ZӨL30M`4*УJTfZ6Ao-7}i"Igtь.~Ec`g❞Zcfv(;j&oy@C$@38`CXw"4PXs],m1-2w9jX19gϓ.ddVet +&r{LDDv <~ i~Ev^O1 %Wg ;/WE Oqvߺ3ԑ,3yP.qiڈYur\UD% 5ųwtd1u"QSL#Nh(zͿBe_{dEAT&ki`AC/#l|O=иUٷ1w(lZ|,~ .cFUƿF9E•1"6;e>2.xx٘T ͓5v}r4qK, 냝Գ^MP.- VFa,:c*T}ŴM}s4KP%ޞaΚTulz|s:B Dt*t^t1FW: 8nKpݤ)Z'.ln½۸pD{uZ3t̐ *lXp ,p%!5Xا;VEsğX"(0p4,sԝH 9| #b1pޢޑfurwbWL[*W_.EDȰ:9AXI618N% RkHv6ykDOhQ:sPnv΅k{-$  qb~-.w>2xeװiJ ,$ ˩p45.?GR:!092}YWeQ hB &'"SM0UWۏENdB8>\>|"s<\h*geØ,59XGRkP;k >0hP-.=6n Ĉdqj!XC(ÒGF@,->f얀ԇQEX$#a?!A`rK[""YpU%S*;*Vj1۴ILL`lam@0JxxY& ^م CϕP-$@%ֺjZ21}ZpK)gJhdDs< {7 4J\tlLI3 kA\ƒlmP8 5U | ;75k8'&b߰)W'3~NrÈ}A%A(=D$d*M{B]!h};F*@+DϕĻϕ&uԨq JUHRAm%?' ]p#;zpBt/3f~8'l1xKDMx"m-{% !fo]o7,ӘNZ Y33vAE1ȡxmܪϻ]WQ?ӷ zD82cQ sJȵV.: /]!a&6"gND}Ϻhr#Ys^ڸsw%{CiiOu˖SLF2~ůM¬SL{pw8}&B(Ax"5@T`x1X#^]1 -ϩ4Pd< 0%8PY_S 'N T Wϟxwpf-ҭdf ,zA1ݴq&P_!: !}.iEXx9cf&oW=^U-G+Lm#7lzG \KhP]78ט nsXRh0:Sfx sX7D2[af+&7лhlxYKtx-l̝jI|B70"8*xdtMVf|RoY}R%n`c$vwv~Y,{V_eeo\F+K9s ǵ uaH,@'ɍ.*Bۑwt}i D|",iAQH" -x x xG3,{NTc~u#$qn+#2iO[^](?[ŠZ)3,1-`Dl0.@7eXun$=oJ<|XF|M]%*sn[kJHP+gDy+)ۆ^ z[;t_FܵLO+'#WCAdDV=* 9h'тEɗ?zM1=()fu¿2#VVYul4o'E+0ݎu~4c"EopE =aw-aں_ߛ~*9}G&+'~pz;Ba ױd"6\% 82 kd ׾m}NNjʕCaiSDIG7EDd2i p%`شU' C3hVH"-[K#8 ʑ͉Y rRT^l.;_/n-c`w2%<([?NĔ*d2s/HwN\nᖜZTEvB 74T"[o4ORL*0LbΈ 6î}ؿ`Pŧ C CR jcms^3o3>lVJhӄ~Cp} p;0 DrdDVYG/g/#ُgGpf x=8nzmh1|F'U.0A9'[Yܘl~bDqNIڧw|>t2_=XWcZ8 4<Z&)Dg2'r[#u>ԑN:B-jۢMB vM/J'7_.4q2{z٤؎2?JjuRhԅle{+Bt됞N༅d^JO~)>}}m73 㖺:9o2+qrܹKX3T|O9C 㳪n $M3!{<5ၴ۔z::E>z9|*BV 7JH;{VA$B0)zOb)c{M6_4BSΕwz&"CO6'EVRcK ݯzjZyleeW)*Gpw: D9JR5[Y@i-W0:9L4$l,$Svnt  ҟM0)eot',muD99{Mzjpn}C%[ɵ>>eQ6<+!2sKR̄"Q+ B K6#!@2 Bڜ^vM>_ӓ*'^pUObɽ td$!Ѯ-k{:p 䏬Sr\1[pguB&3MSǻԪ?ʁ cUKF #gdFA3c6DYtgKctpnhu(1Z5TًEk Ñ 7pN0z.g=JGPvoMt;bRhFARyIUu_m_4iZcڬWr,3 3zZ,>zcoUR7عE,pJ+gil'h3R'r3vI72DIp=." ev1)FpyM&X*Vj>/[@9%7F+8,eag4Lkhly6k}h9e?`\rjP38Vr+RI9 V 8CZznI5H%쪮[a5CPDU+hٶt%(.5''?9rtLD+S"oFKX8;/z #eFgK>? x3B fq?rÄghKݴ%b $o>젬) cAR֮p 4vt {*ز 2dzc_#||] |2&D<-V2&k{n拿\ۑ`,̈"  fs5J&Ï u+o[;j@v7 )BAG,惇뽰9vj=jK]/&mr6tGē f5R20_yRV6^t^چX/ѵJDB:?Ɋ|ouOV"Dzʸ#F;f dŒb#B1ơ%6Ⱦc 8ٌ856K tw''_Ot7g[y/N $|Ü>"o4002)ܒT˚,5ut'>Pt.˟}p  *O;j/_xNpdBKuUx1W@A|b1354(a3ÃvC? .F2sb?dTrXIOic@֩#ھ[Ð@9J/upfe|ss@cutm&ũM,=v:!ܪ߶1wZU$W ն ~/j-~[6bRsb6u$#""A@v;X\䊹D aS,i7ȊP4 (|s؆zFbza]@GWGL Dr,)8+ZMCnv4I ]Tv /Q4 lL*.?GNLEWMu<β[T $1NzInyKG2N3.LUDR@|:k؏Z$@K;(1hկk0ɑCcF9sҒ`L%L]P0#t(6zD$UA9=AF ,g$ۧ ,7|B~"sF2"V٪}AvMJĜD奼8E%{a]ʱΡ(TuOqРD*Ks$ -[T0<㝈>P@vb*lϙD>䠼O-wR/0 sW~*0g<-IǗu̓m8O!d=%bR2&8;=i dJV9DH6rzdc7?a`^yk-%2>i "iFj!TZ 5@BVùV A4a{EvRgיgf$yS$9~i9bL$z|iNd2m#dIvKݛ]#f'kgn\J1sWP4G|-`fuh{ e- l&..dC&M({NC2Jcs $1MPH07ʰ7_#m~Ȝ> Bk`&љ2&Lh@(3Sݱѡ̦6>i>=FW pԷ♥Gc08exnxP̩<দS}7f4xষO(W^܈ %yϤ-90yj~fP5]rA Uo8{5tn:pC9Aڬ,)P6&:p)=DRxm_И˓eukvtBgz]}!u` y\, C ƥf~\;(o{#hB%=U&D63G  uSf.ަ(E#>%#0thØ|-*4T5~l0 ##fP00;}O> Ϣ6߬Rxn[çM0ĀT+%(:^Tz'G ƷNj #Ⱦ <դ3]ķPDDdOD-JC*PU QYu$,M^7rOb:^>q/l^&dKVi.4pn 1KO0UȝLBr%ֺB,pKO]w$>yǗHZ&d{B0!ӈkJܒ2< Rsֹ4}0􀎵] S@!&䢺0fgʗfEdh@`V_c-@Jl}DkR8A~ e3<`[qqǴkuwLu@X6&cone5a~ƥ&W=kXCbcnВ?3RH ]"H|DGYe4mb/HC2m1M\*DA!m+Ew1$uK %]C@E0 +^HbX+8/#;aCcEHkPCDk'+;^ Q"v}K I1v? 3e$|NʐYڞǡ6 ]NUe!5,c!M`0D$@'|}|[@8VH,¼N>"|F3+' x5oSjw WU9. l!ZNlq˵3;F y abݺʷe O,U^)D XYnͪ1k4o08<\r: (5jp.+>wثJ]?ijE1h+ Drӓ1ӫ"7 *;F9ܛƑ11]h.Z$JƜZ$wZK`ƙ_ v Q0[8{I܈-˫Ht2t8>g瑺|ȂW[g}>e׶Rcl)aHU&_0o(F"f:*46g69tkAYQ_p pk3OY>TsӤ\ ]wzHLVڨ/+]z!\v۞7zXণDm"L DQ;q ?dG$trB͋ |tquܛY BwN{v7ZQᦶwdQD)J֬5(laLҊP/_&r)Ž8G ? 'f8~\r9Î>yy=mbfە-m]i8 w,v51M1y頸 :W,$By gh[`x; HEt}06QT"g@cV)bj,z&??_Y\7/[j5gqp"%aL M*'!j uMqƥU>wé7hdBd@ mA e%r՗C(2߸"~Nz}՝t[~mV2 Ú ]녂1eG1ibx%˛ gq}ڇsUl@ɵS}+3R?K |=ֺmmL[1I];HnnGT4A˧y i.vfrjˇ`yI?{J"U"g~Lĕ^X  !Nb GT|8;t1f@R9´y$~j(5>H熾[V̌yꆏ^XwEZѬ$SkUc{\n+#9oXG4dNj4TȑDFvl 8X-IN0>yhØb9r3}}2[5(Za_.g;`lU Ct_ 8Q/jyCrh{TQ"٫0̋X@gޜ4?43JE+;*tF:TC݀w#~.]K۷ --K^^c.!& 5-crr~4 b< O9&;ɴyJab]~yjMsrfdžNtުHTCPvWH9qyki,c('jGI y] ;[NCl˲?,?pF:db^ ݁5[P T[rqd\8|L"C&: _c:߭$N;iB7RU¸Tkd~wыcyVlőEuqnQ ~iVmwS[ VjG3`h^۹vF} C:`2(0>{W25W꟢zQpL:ؗA9w]κ=#,SBa~*+y.zDLáAFPwz5tlE{Sod- &jCM}YCj7V^MI57l膘±NX-A=`YD4(ƾig`uLs#x`H^nR)QҸ(K&*j ?(~$tO#nv yI6eVGO׆*'vj P]J^?=@hho2 .vEU_咧 +qSjCm#=eYH]bf#K8? Rv=7~u7qڗgB;!cd#f6#VV%0\^AHzҊl}T_uحW>S\j9ޑ{9 4^Lr]`;T<7Du|p @Ū1U KjU_vP'9jE^8gYZ=i_N߽^x%AϟYV7bXQ'R@gqEinY隆EɱuO %}-7`€"g'Zd$o_nLq s1 O&dTXģ*obI&C2fFʵy.7Kݜ܊٦q("M?i/uޜճ8- =,UZ&At2\ŗtr͎j>_;#ZFSK\ҾdE:N$G&|p.*ї2c7nrR'+>16yfdi:N:t>p'4Kf\*&ЅAġܛ'[bHOchr5KoIddRrΎ{'FsgR-A,}r7U L`#6 n D/Z+$G/UOؿN$Ln $V;Ю6pW6Q ~[)h-OP/_D PHL @I-؛`UcQIPڈL$mH~渻 s&!.Jj;I!['8Cf9wC84{~s۾pD)sW7^p) ٳtʁr1=P%ŨW3uҏE7 𢡊ћ籛y' N0̠! `Kž%b_:#-{&!wJl!*-AYY70`vqMTq}g# uOeQ$q^G3.#~GNK_y rod~m_8FjX!͹0d[N5;Q=CHMOreKFH )*e #EFGM QF-C"&T]K9%1#`;fbp$pZaZ8 iV_Pٮ"M喸NN`d4ZIg#2& CHf^ U5;-7T<_ӑ7U~ S_(,(l<`o ȴ,Rk񝐇R#Ԧ 9޿aloP~ڡˌz^7ݲ6^k"gצ(0"+ȠJv9NyAS#Hd3/镵y[S)'gl (/"i~c%,^ssG ?\ nxToD^Bo~Rg 3 ٮu?/%-ҫ8)>!1'Éow  w9 >.\j0Gbc]]:+I^x>OMM$sɏ/E B4с=npzrZ/b)ҳ`wK%pa.^(n4˟p֡wlP@Ag폲2 1c%?3+0}<hP>`(Y+X̫V*=vCP]TIΨgYZ7zXZִF! ]kc]ŗXi%D8WVgsJҦI_ѝt FPQj3cʹ!D=+bwIa_ʅ Hb-Q S АACжҰ |f"XЛZڑb)_y8oek~!'a|aLaݩ bV&NM؎@u~\/H?oyVZK[^^y1pwFYDаȭm ^qfdxsS4YuE |2΢q tM3me+qxTJ ٩QdF3DrZ$9mHդ~VWeeP{Ӑ쑟^Əap0yMWՀA.24 ).`:5[ h]߸/uGCY2"'1a?+xs7q7LENGl})E oiL1d\:(\|Pȫ;BSZ͒^@1vo¤$Ҟlv].Ԯ*vfㅢ r1~l[ZCv"Gb|`u"I#{\(ovoGp]&! gk {Ɣ %9TmŅGS7 IB=E3]Mhtqڂ>bW}ʈpȎZ~ol˅gx|gL21loy?2zBNdQ[G {s3kIMkn1U`Sb-l2S/=dy>-,3xI.K+16_׮;g!A #{fEA]Ӝb ѷk+k27s㡶PPLBd55] ¸n~;Fk8pt-oU,U"#_aCJ3R:fe'q筻m*91l.@$">a4,P'y2C:ImVO>䊢AX5EV((`&u? 'NcJqlV\ I QqOQWv;N`j?JBm4sKgΛP^Es[~_RXAIT9Z0BMlN'ul"Lx";pkZϛTaOp` #ASɂyG UJx"ڂ EvA998:1\f7MM4K~gWuU\a5y뜡QNS Y+Hrʦ 5q<19巣K"N]E@6EDm8NS#-]Q0eQgl(Z_R׮7(x0PKTgg2*3#ra:w%rd R=Wma_eՖ?V mP!VwCc;ݗʜ."8H䳘kQro]s_1w<0dQx)xSrUld=yGī:atZ@1B|!uf SKA})|+E3J %it#/_rZY]n!vԵpj=!q 8LY%n<]'izffnXӁ1\GB4 5.Z^΅mSLrP[??ľM+K&6{e*ŐE-gQ(Q8 D(<E*[lkYf)ewy뼠 e9?J; /Z9;s}' %-Wf[PKSYD#ܜYrkl+R^)EsnA L#=9oΪ?(L{׺&+cPbo^ vk!] )%2 Z"N>c*M8i*RUDohFWRC1U:J`~g`Yu)&&jiB uX`Za^ס oEnIvߝ>==z@U9aT-ODci9V^B:>>i.*Qc|+l6] %-Q[ƭa_łrBu&L$X&"U(i\N%fƒ8ڎ-4F-dinܧIB{V&ސ 6D@n]^XFFC"B^W+SkE ( | W7sI,n{<{XM')Z"fk+lFMLˋ/ e'#o}. )w„I<سx:ו 0S !ћS։R5Y 7Jvv ="Y^Pq䞢y[|e~Tx->Z?$;ϝ'U0)VtK*ul =ySj|lU ˘c\i"6ft pR8| DŽA .g`ŭIK(1GK~reBc-DP}MHp[:a[x5oЮ@ F =>Wiy`:aQS>=Fm-Ž[^k61DVӾ8( @6k#|k+7+o -Rxv~bLQV4Ar6K R[ i3z4D_=?FIC?[Wv5B=_sL7笅Rq9YKk .;ɢ Ë)8;ym5vE!v.DUv蕟)UҞ%5?VYȶBe.x0R/g g[%yF0ᓠ}ӎUfJ>%qJfPfR\ϟ-x몬•gbc}5D2*92y72"8[An@[oG 01h%ƘktpMv0B9[xs`*0KPpS4O0č%Jp $6a20@e{sٶeK!` i&:Fybާh/1yt\W_A2~ܡ3suEUYKh!݄tc^W/]o1Y<4WXGC+X.{}5YCLvQQ3DZޢgJaR52\+PX rBq1j/]cԡP%'4@G;JCoPɩbh \)Չm~fiR.ԚXy eO%z>_Aנ["NTo!:(vMmlO&"Mħ0L cf59V|ta S0YpvXX:4h^@:Dv\!R9k MT+;I] 7aQQV|_#0W .]Т (<>>zРWN L쫪 ؛wLDN.rZE)$r/ٷ{m?l&"*ٞoTA)@I_ԢE>OT3Po~2H4jcjN/ }Au+غhaTu _xPSaGklmWT(뎶K]xډvN"=p0UE.@jVl i% 1y/Ƹ$KoEK;7QƧ9SB"=UpH[4kxW_PA p-V2ڇ+Y؅%Y$0>ur_>`[pP