SQLite format 3@ .C  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 RR+#r\ 4 ]/]HOL-Nominal:threads=6elapsed=7.291cpu=21.516gc=0.8927zXZִF! e]ŗXiɟ  Q p`Q +T泎1S=;#P2 - [ .h#23"2x6]6_u`q3=gMXc~-sOhAQ\9ѕIpiyfay<P=aɀ)6D 3v莇ư?B \2qA ^7jI Lu9(K0$6]WQx< )d`6L:rɘ.A@IK@`x_#0"E(v3%z?1ƜRiK!Aw' s:jbT`)vm.-G`Sp,X֋<!$ާ ͧgYZb20389b168c6c5fe461929d1a632000bf635e47cff9ec311f2965b5256157dc51e673f62af8e5ca5 10a38f173e27565186798ec789d35427da220c73cc42b766d4cd57f746d106a0a291f1db63623fe8 # HOL-Nominaly#=A tHOL-NominalHOL-Library.Infinite_Setdocument/Infinite_Set.html7zXZִF! Q{s]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s)Xvnݢ5}\ W6=H< ++Պ*oڿuɌ^#=|=̫Ǡ:z @!9-] XWMe즺A/5nO!ov3 qEeNd]lbR&U#=A ,HOL-NominalHOL-Library.Old_Datatypedocument/Old_Datatype.html7zXZִF! vO]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s*K<8D%'u٤Ug\A}evhwϘ[k3ɤ7B_8 ΅l$a .*Kv]-WB2ۻb,|=5c<]Z~.[;*V+ E5)$[کոz>R"'4ZǑʕqk6Kk!"c5yV .-{VZfJEB*-DY4A^w cfr8SuoY$tt1{bjS2,rIb^++ػ[ ` Qo:=Pbk\3t0W ` 1TF{ך_HJH.>Ѵ})F^E_ 7"RfRsH AAE( |Hjch0S/\CJ9 MŸd\) Ӫ2O>)U( og.u#c5MLi 1?c^=f6NvP!?tMw |r1?J330'O=!pyݕ?-.CzzPtA 僇Z?S2&k8ƙj<=M,y1R(fru+ _2$W1#N,h,څݐ}4IȎSsY iSuV N-;ee ʇʂFe໊/UzcآFED7XdFC}%}5`EG"HaR8rY]Q"aK }|]=0 c 5E2֏9X9S.0*H,ȇR xt M{Sr4{%#~f׻3~O 0X1sl`()!Jŵw>^Jh\drx. CLn0WM:ܿb FgopQ 8$!˫?{9m=n Y{K HODC:7]v}qYA8rLϧ"WE\8Fe[Gĥ}aK8w?2%{ٚC$ ǩNXMV9qf)3\B8:4":B?YZjmjjtL D!lsW  7"TN7Ոf"L Z1#Ye!b%Q 4J'- b= -.`WNՃ fnZ )b>oxB@Ɲx3 RϘDQV b;]UG:OO\/_y?d쮛fg'Ă%UQ{D{_rK;]6uPS?\1KR-vDDa+ӟF&Bf^%)Rپ,lU5M "%8.J/l}zD\mMc)?ooS,}ЇbGPÀQ?nL/'y`u{   y68#35HOL-NominalHOL-Nominal.Nominaldocument/Nominal.tex9#37HOL-NominalHOL-Nominal.Nominaldocument/Nominal.htmlB#=?HOL-NominalHOL-Library.Infinite_Setdocument/Infinite_Set.texB#=?HOL-NominalHOL-Library.Old_Datatypedocument/Old_Datatype.texC#=AHOL-NominalHOL-Library.Infinite_Setdocument/Infinite_Set.htmlB#=A HOL-NominalHOL-Library.Old_Datatypedocument/Old_Datatype.html@m=+'JzcaElO+~73;5x!8*ǘX8"R''%>kZAl5|YUhSlkOc\Oƻq?=8aQ?E"А һɮw̿0 Yk/B /@...hH"\|'~mL b.S8{yüAUy &%Tt@ԅ?>K7aʔZ^}I (iFBCĦG,} lW!{drO?) Ԥ`R çy*h'D Nײ^:aޣY(Y:lM_KzψĭiӇh-h *MVq.K?Ȏ[ZYlͷmw@q="57-w]u|@V1Kι0sG*P˃0O4`qwkj\^Ӏ8 T}\ݢwvY\_]ruۀwuu DvKr^gRރ.8l<{g ~-6u=֠6^\9CIXl_ ,RԦ}1N̈́\4JZLkM}x||Gx]C5(Ms*X4ZhzԤv5RI9 cuH'np;S@mA`(10˹ZVw$Q+BFh4\d^y=J ,œ+ W}{V/V#vQ?- r?nK~ۇA?mڨʈ`Hxaui*;2 {eׁ BNn!`)E3R99V4Z$)*M;j^~jv6f\4Wx<I49Yy:jBz.rڸ>>F S-JYEmhqEP} 2^ڦ Sqi:G˔*WOĂFr4hdi4WOI,8t7.s5JZPpKW*8^ՎG!n2%4ιt[~ <^o8[N0w3Sgr<8*/Fq-$x h#NWk-P'R@CɫBTLp6uÞ55< dɔ/O||O|SyiVĵ}=|GPJ:L!xɊ.q:;L.Ѩa7ݾy4Z%o5旑׌jN$We)h=8%{u耏h;L&2X*I؍0d$۪O [\uBB~G^n"֯7GN孃nΑ juyK*I4욕"l<ר Eq΄փUJWɤDg+BY# `,GlҿiJtӨstmN bvà2D .!pax~Op[k_\-Fijb-B&;y3\vn%Յ[G_jcev 2u`m揉 +)e=CFئjKk|[^a5bQ igXb,gG 'ؠIS#^Bb_~s78k[ ɺBVOyC\_ =Mfͭ^] "@ƣ)\Z#;&DdU;YpS7jzWV1砀xG5 'R%9.+KgWw=? Õ$&Q[x[lThS?_;4F H V~T')O3Jؔ2($$R(S͂TYQ8,|F!Ң Sey&:5&646{Rf mE"a-v(20]tF]&PnsW_y#ora{lJ PW)2Jor X"Gm D /YLxz*ѷ vSF҇@LPW7hZ!1չ,cxnMKp/@|}C (O)!M%+uEⶫݨw1lyL*nh3u!cYo2LAJxodPuߢP/Q~nzr`o>?/Puܺ.jL1X"x 9.u="[49l[J&q(a3C`'6{AO}o]R_n#`Uu+ \&md{||^h*7\5}K9;; KmBHJbd7_D(IzR\*Ήx7f] `:qSjEK4 mfY>L`6 *mbטJOa/y)Y` i?H0J8ʭ 4j mp6`/>OsD(-^eQ:9V>M`2O3MO.^vOb{f/TOYzM5vEA jmț Zڍ86`쭫-`N%%f*ߏ6P6p+g^΋1j7B8e.plX]TAR%4J͂h+pG|o{񗔨 Zd4/= tw`١I(=ѯj gĭ¶TXc-W8مc@*6.!;53??<ְ>6@#۳ ۂڳN?pΔ+ O9wŸ?Gƕ=a')Hk,^cRgوOQZQ#?`fȮ_lM1ޡQ$l~Sɔrn|uL0QObi?&#cx$&ͅ誰JKqIB`ࠩ9jἚvЧwLr-uk^=Fl{\LD$ll1EjcDAXnD//]Ϡq\ Cu3$> +|RWlyj:EGwv=tt{"Gzcm{SYR#s֠1Y. yor-??J)?]koxIn)oﻘ.u<28^<$v;O'1G/vo2 vNohWT-ʦhYc["I^3GF5hpo\ԉeؼ= _&[?.J犾 8 ș8$yQ:!墧ca)峖<*72]ir%cSV`0"0q? <64cI\6Ck,y@m-Vt*:m>x8P򁤚2 }_a~a3R-(ú_;5GxZ9c !FⷓAv#*r0:ULt5z(\ˁ 9q\oUwM"`5{JS3 !p'dK "K2r+j{3z.  DnG%r*3DygEm+p(># ,֞25a˕s`jmG908w-諠$aܿL9nijkٶK_3Cb[=gɺw~*^d+.]>ryLHoPzx=P5}Lk3o@C "U)=y% tjR)Űop6)EAM6bYu6ŵ>k%'Iwix&'$;Dcq98CA@ Q I/U18 ̼y)bN=hF ?Q%/e#҉V[qoajJXC }'\jXyA͑K!.bjʽь%^M5VO%ʤ.e20KϩI+l)fn_[j_*d(״@5<ܥWAE&><lyFZ4&tf,}/0TW g<e*/AZQT٣8SWwĞ%}D?Ր7*Aw I)ʁH-x=haH%p_!1;Ymh/I+!:1šm7PT>2e;@؍Nf.3 CO0x{y v;DP(۠av`SOxaF{0/poJmS{RQ%#݀\tA /1P_ '/&b.f9B·`y}mM,9 Ë9_8r{NrØ*F(ΌMP% :-T!֎':;yTn-}`=ZI0#q79`/h:M~h M:[VvĦ壘t=Y*u :q_ylE))CN_r7lVSj3>m Z8%u PΎIgz"kmޣ)U{0J2_I),ޕzuw(:}p:D*ign^I gƞƴiAږ Z:UWV9tIׂfqpa1W "ذ{T[`5ҷ_*71EXahj+WE"rRT_)n$a֋ 뷭 ~F}Q "e#yxI|b<}[wl~O5\Gpȩ7ZT#ipor*#/";eyg xA(<یt<`[՝ѷ3ڜXl-US.ˀ'FpL4ȃۡFcZFLm}3i[Y h^b|t'S2-mJ~r.ov$eZB;)ujE&(hO5`G}upǤ [|Oxo0.})ƜeRfC. F;'S:D3G|w#QD>y:LV8L>Rj[CRH~=:)TK9ZT֯v_˲ZH}`ǃcO G@qqigŠ,Tm)JvPSee6G&B Lwkeh)<^i7mRC!*ʴ20$h ەP3O?(&y<ԏ` QR!AGD5)4t$εlӜ jBw$B?z8p˿ 7mIh'(;p;^9i}טGͤH%ן<Ǎ0AO7OKǙ9ms?vd'cRN|hJ%~9AV%9KJҾ_h:񻨰;fj\$$QyQ7={p?yvQ= +j:T]i"}6 N!P%7nQpbxZNC0D&AgAj^ۯwiap="X1LjobS&w ,?ӘΫa9K*}^7NϤ7w#%By`&vA>eJ4bC4>?}|wfGIXG_ F*OE_n^reau9DerQ_(Dvf> rorśϪ㓟h9 /Kϝbf%>HEוAYj. _ '3X蜞b&Z/n i_n%ra9 ƀ6@`wޙ pU>01Hnj{ \5kVx%Qa' lb!^2`BEOnk @jlq'^[}˵&=2Ň6ضx.y|1v,mk'\:I;pB>D|S؎F+gv{7حbdp2t׃֬;+v 8[Envz!M M%Q툀xH 8!'k+/HrsP )RLP}&}O'hP^)h=٨Zw ͸ZUkQ_[m|eQM> ѯr_9#NaYg$!P ~e8 l[o҈@SA"ճW5B!G/ʭ8@Fs.38M qp{oha"`ndEh,Q.Ky`~Io)`vFZQKV,}`kS{gp}Oh!2tGU,5G,,.i=c? 2Dv;,N hvA1/dJg"B֠b3,r:̅hj{e@F}8Ҭdž0v!ga a,*>"gL`&ӧJd$mfX$ _%Rgװݓb[NCW?ԁL}VI̋9ݷ0EKR_!y C~mԤoP AWtDZSBsGc#d*UH cC)QKP8]8܎մWghmb1mf0tKD^)5g{ dFX wWP0j(o54~`rv?]>(oFHdݘR[҄םIZ0ҋgb?8}T&7&[0w(OhbsgX~|NnXB?dw5q)1m.Dzx)Fx+^ !V;7ˮ Lv}BS=9(S)̝qw]9 jmpn12\';bhHkc>D~!SDQBM#>Mq,U-Rgکrnhq0f71 H򼨼c?dvM &(YD`Qmlb!V ܶK+ PnaX5 b#|b+}ht\pgDͯPG:xG|`;gE$<3(NSzZ냤xf+R2ղ'$^ ٭yj.9K̗g/J{hzgxpnc ?~ &vHsKX3x&Isrd@ 6A Jk*{;e%^TžO/ZZtx Nln3c߄KN[#fK?ş=DEl!q3{Q0f pO<Ը#UEI,mXtOט ɝxDB޸֋/ۚip7{[>' wķlө6V&D&>:}3eƢC#hD6ӕgͨ5U? LȱgYZ|JKVj-Xh2ZZ@4R/@oêgswޱ !G9Ǹ QG*΍-g[Wh-e [J;z˽A)qk/~TNym`X *"ʖMxES[@RAR 36Ka/ڄ :Eۀ8$~&2zmm\f ZGX޳hMMTśbS;)sRDQњ +<v3m>CXp> ܮm!7@9ht9,|3xMmk䣌91MV#xw-WFrIKP[yAA j|!M LH/iu[PTf cit>zZ"xy&Ζ+$`V"1:%Q_{ж 7 >#|G&y}54/P|Vцhͪ-@ڣi4 ,<4d K|}XKjNwi#6bW* t$eOkGgST% +15@Ó:H1U#$‹Kׯ5G{~@|O x (&B8ZB89_PאPM?I_KPL-am,k/dnGPz@$pVSȖ[:_+j`oDKӢͺqTNbO<ֳ~7Ҩr]_vf2i$9iڍ>1P܃R)#ԞU% M8.睆#:}mV 貖%Lf .v{Z'DRp2#wm+yTU}]n ~*Гuc8)o|Ǎ@3+~֋ql's`enD<hS NѐB:Ṙ&Zv6R]TBI GT ʠ23Go1SCO|_#[5z 2{%-9},j sbT c)1^z^T4dX"<Өel큛=Ukοƻ@h/m 'V  kDn6{ovuM?RtkT=_lL\n 8!2?ڻx Zf I_Sµ)Ցw|_f 9ۙ/b[dЈSl'eXfֿAt&oDZZ)1{+킅d*{!8 6uzXf/7 L/Wna|׹\l@KH|Jըzh^F8w(' h4S;,sVɉ&Jo΄b)8l̄ѿ=/JN2ԿOH dn,f?-!,RpOZyV\:@w`Ce ӛ]6昉Em+xݑ-j֬R0Vߏ%[LѴZ @j@EQ49%#kF Xԇq z^XzVH1kgD9Z/}J&",ðJUJ5=;=ܞ%zY+e[Ξ$ξC2j@l``/IZ~đ`.yr{NX8 c!/@=?e3[[e0=P0?徧(z!VIY-#v2z$9]4[#e˳yQSŹ/'&ҏ%T(n0hlpҷPȁWt)0ڃ&zz{Lζ`(!,rيK&P?pګXYx9!5dҐ$ڱV+ p(j/]}L @ėr ٮ3%מ@d֎@]~* S9gYZ 0 0y#=A tHOL-NominalHOL-Library.Infinite_Setdocument/Infinite_Set.html7zXZִF! Q{s]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s)Xvnݢ5}\ W6=H< ++Պ*oڿuɌ^#=|=̫Ǡ:z @!9-] XWMe즺A/5nO!ov3 qEeNd]lbR&U#=A ,HOL-NominalHOL-Library.Old_Datatypedocument/Old_Datatype.html7zXZִF! vO]ˇf{3(1v%f M* m]IJ@PEF қ9 oQs?锄s Lg/"c08N@ n:KߓyX!+;[*L(x4pbx>(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s*K<8D%'u٤Ug\A}evhwϘ[k3ɤ7B_8 ΅l$a .*Kv]-WB2ۻb,|=5c<]Z~.[;*V+ E5)$[کոz>R"'4ZǑʕqk6Kk!"c5yV .-{VZfJEB*-DY4A^w cfr8SuoY$tt1{bjS2,rIb^++ػ[ ` Qo:=Pbk\3t0W ` 1TF{ך_HJH.>Ѵ})F^E_ 7"RfRsH AAE( |Hjch0S/\CJ9 MŸd\) Ӫ2O>)U( og.u#c5MLi 1?c^=f6NvP!?tMw |r1?J330'O=!pyݕ?-.CzzPtA 僇Z?S2&k8ƙj<=M,y1R(fru+ _2$W1#N,h,څݐ}4IȎSsY iSuV N-;ee ʇʂFe໊/UzcآFED7XdFC}%}5`EG"HaR8rY]Q"aK }|]=0 c 5E2֏9X9S.0*H,ȇR xt M{Sr4{%#~f׻3~O 0X1sl`()!Jŵw>^Jh\drx. CLn0WM:ܿb FgopQ 8$!˫?{9m=n Y{K HODC:7]v}qYA8rLϧ"WE\8Fe[Gĥ}aK8w?2%{ٚC$ ǩNXMV9qf)3\B8:4":B?YZjmjjtL D!lsW  7"TN7Ոf"L Z1#Ye!b%Q 4J'- b= -.`WNՃ fnZ )b>oxB@Ɲx3 RϘDQV b;]UG:OO\/_y?d쮛fg'Ă%UQ{D{_rK;]6uPS?\1KR-vDDa+ӟF&Bf^%)Rپ,lU5M "%8.J/l}zD\mMc)?ooS,}ЇbGPÀQ?nL/'y`u{^4'j  #=? DHOL-NominalHOL-Library.Old_Datatypedocument/Old_Datatype.tex7zXZִF! !]A-MՋhvG"uIBm5ŀ9"*'d>huk$k!s(v,#J5 =7XZ`+cm.0QϧDe$h9fbw9C>j HbeZDS V,D7 @ /[N@?K6IIqа,zf ' Ԃtu6jgǟ%_fU͌36o&Q,s3gzlp\BЩy'XopQͨ4$B4<3/-~2Uʸ B {V,@װDzDBwŽ 1%s2ſ<MRz g8D$J>j]5O.[5\BB#Cm_%|)@b \O(%?Y?"upIA 8*+;r0:ݷkf QoGҪ-߾ˮ8֣Z7˧a}-a $X}x?sYI fq$`Z}CLU=AoTFT\ x{EapYp//̼*qZJ &4gI{3h#!' XSC7ILUE{Wd|J8{ORLjBYTm1sBls10Ըx*'$_GL+&hE;P[gxQ >,:L=5Vq(t O9RXgC\Z;]mcb$xow7YryvX N6aڳja&_ ;}!YplyO+S 'SN ?`c@l2@f#CmnB*{Z`ulҙu~{> 8:ޕpHN&Cy(LŽlE_r)*@-(PL|S@ެg V/ɢ/CD7~^ ^,[h tQ񸼓I6ek ,7\SxE9~ۘ?i˥ aW~RZ!LE5ĿhZJܢ`f\Rbl& C&ߐ ~ *~,z|{ *Œ(%ז`Zċ!5a=v#3S-9pi9YO_tv'CZU_ p23ߨkG&o69jF-ggu V!V/?p`+?(Qa^HU*gR vB7fHl\سyU*׭x,d:x1㭇,5o_<{NhA"k˺ XP*\8ʳZ;Dk9ASQJ`h|*!s0׋}H938_*cFuVobVb|%]'̠GTvuG®% H}=Z QZ,9_Saad'ֻ2b2p|U&%þ Ry<;juK\QR@-ԡ-CLl̇;/̇[] d%F@TYcAm xNX2^!Z|cOV <>B)+F6i.atg񽳻g<:7b?= *GIwМ?{3\V0ICVTRAGD?SX:U81q-  r%*y<âHDB+|"MX˱y.sa`5cۯ'g'xirP1Ue>GՍPINfXg«ұBߩ]7^1ɞV1RԲiz9n߾0V99!Z;{In f*ţ$LhAZv׍<ir(c:>B3,Jze;16b+ٔwR GjhFN욖3d[([E<|'xPci,x `앋oKݸ&MQOO"4yu%!<m[5_':6!N" ).B dCa&Hjjt ={sԈA2.ղ:`XYC׵ĦCh8QqkѝH= ?#8N %]!EIbd޿O1BQ7z[r.hd"#n.N@GnEgFA $m־'z4Vos5;}Tؠ0ejfU&IwN"$PD BآԼKDNZMBf8]/hI453G;pp"II{5 D R pP>Qݧ{za] ;Z"&L~Y >ާ^ˀ.ekxcu&_ D\a<>^ӲOlRv1 ~[vf+?4̏5ģςRC6.:Q)"Ѕhz44-dz:;pI~f6&,u;FbgY҇J#M4IJ,eR]3Ìn-#E#LDžd61ChNS!p'E%i>ˇ&0}^?\y|t!g:0m?ѥC9F83 'VfM"]/l5>vPCakg 8mh0C U3iCDPtsyx"œ)$poC'ӿvEewRҒ%  ^d7NOAi iX2 I\*NQ̂.Df;  %zg̎G٧t f蹬Һ7^^(t!^M/L͚NJh28]p{aq~ect/TWVCJZCv˛6^a4(ЙÃwWY(YT!IόUg˻$Z|>3C~FDatOŃ .["G[W@ūCwJ(ڔ k IR1`6MpF0NO%$ZBP̩/h\iY@@ 777N0HѩPo<'AwmlSkh Jiˈr*.OtN.jIteJh+Rb849@HoJwJcK 8XE< 4B$fRO|@ Z\i;w v((u|:SpMaJ25'(-3\XU哌qi[Im>U/Cժ4@(6t_WQOyPHsXw&6Un6AC1nAkG˴*>bD=nE|6)2V2B:!><7áOFWkYlVYegN$\5w8 =F1@U ;!*2:H }i >w~t>6 QLq/h(:}x8^c|TeM{$0PwCEgF7X*lʷv%:)^ 4o`_묙/6\hF!Bt+ɒdfξo#rCQ-p&Hk pq`ēz> BwVS텘 Xbo`S(s.jm6S;h E6VAVnꎗ|G ؇[ +hvf}3xskC2BjP&T[8HDŽD'{=H{ՠV-J5#ANV)2$?z?YK2("$֔W>ổK>mxt]`ƞ)|m)86 7l3¶n]c톎Z>ޛ jŹ_O\7[q^ Cw)VY~0[9ydy…ڂȥ-1Z)gHX\ ` CJp?p$]ns]ktBt.g-هUx%)T{/߬QBy%XS4B{,P<%triJD {Y}Ā6<W$ '_y4}U}OAE#_tvm)th;}eP5S9Z˰)0m\LD9e V$o aݛ(m9l{^a" vZ g*tgh= j${[/bdKjM&i_LpGguXQt JAQ8xk,p`Xpnݏa9wFD^sŞ׸N [$6hX ^}PTnDoA?Q7"AQ&>E'54_X3BAq7BT$M|~Av' c`[Fw 6ݙ(':#1O+pׂaBv{T1/O͔iOxz4":-MJwAz[(xpk??k2Kf'Ik:U|#eșZ\J͗jQx3fHK$ưdaz$wtiZ\,#Ɂdseվ-NQL3#ڬPJLdx}l =1@\Vg!aTX"_VFBiaDO~J){Jf׵ 2`r-&\兦qd%4ծjԏ*lf>yJxW^#yZʀ3\4k67#J-Kp(#^_u ;GoeFwFur]Qm0бr̀0tsw:S7$IjxkcGSڒdO)rZ H=:03,Qiz\jqS;(LìO`Ia`9%K\ TQ?7V.-b3ڭ \?iZԀΒT i"Gr1QVJ-0D}'7cs%|B+Δ(LjƩFM4?oY.׼(e!GaycPzrzqI~5 4'@+Y)Y̷?iY?>:1 NEE_oJ@GEmκLDXq&v" iQ8gWVO!D=k7s~>)k(6.;1ecLkUS}@)9wf&D|@OHӟյo{N!>Z#"h+c 7o'@:X}D=ฑTeӅW=|V 3-(sO\-1za"̋S?MwFyuPq0S .Dn@l˱pr-Fvʐ@m7sAtK$z5NKtzDОyk '$8TN p:~xk\G }D5&c|[d*.I^e޽16SFyDobY^͈1z64t_}yNI] =WINǬ?MeMDžI  ct[nV$NQۃChgS|Gq׵%]Jt/^Axu("ܻRi0%`OwF$Q0;I+ei2  SsMD0Fȱ)N A!J)J1$߯oEk~fbq %OB g[gN`<;!zKJIU&"q%{ߨ+=́OAWDԩhs%-$N Ahp˨'HvZ)A?x=պ&d~[zsv{: m=tv˾VSh=!h,Qg>MD5nnO\ҜےaJ9D@kb\ 9 b^!TsGy;7~4FRUae6fT{q>J=68paڳlM, b,2Hm+˳ug`U*.aZַaAɊ lvJLZ޵SN\LV'pV@/ c0}T5( reiW] l % %0DGۖJ-.ճ]e,ElzH"M+Ŝ\L\UL\ -jen&F:-N`NŚi.Y>s+HK5l[ пHnu^1+Ŋ1J>KGI'Ĺ1R~z^ɡmSLcjyZj0CS! R7qD4x-)PH>P@jkو@N K- 5m;$n8F7;|Xʥ[1pŐ-30RgJ`K##=3_P*IjKrA#t\4^כ(EʌL'ÿwMd4a:]a}q Xà0ihlq DS *m]-0~s*< @a t i(P+:kߑ#2fntSvF)o8@.)ÑV5!Jvg R~1P@ \ʢ7\ioFJ8}À˘ݏFM Vk'و"J/zyEfsPy9S*CYI\4~&!wՒ^n k)eS(?sϹH-r{ &4-} Z658,  *m㿐˜ sH cHp+?GFVW]c5 c2R\Z;+iskC;Xa3[WF A&ThjbbaMkRPijZԃ7uRfNޅ,sѓedn -e) #=? THOL-NominalHOL-Library.Infinite_Setdocument/Infinite_Set.tex7zXZִF! Z(#]A-MՋhvG"uIBm5ɰ8-'hH]^T3{9 39Af"=M@ird6G՟/'N_5ZŒVAsъɣFI"@MdZAMEQ_X)?Y^%W^1τ\bQ5tLO|}7ػD^@''-m'Aa!q~2vfDB[f]Ku%Df,(|Yqe 2XtZ F ́-WI}}@̏(I[ @1kSwDN0Ikj@ճ1)eJ/ptN V,@eajfe'KT]idнtYvI>AL]UC*'p椆_0]S/{3<^%MА˝zdnS e@DJ́66ȌpWRE1SϷLvF.aY/$xyF.0]8K8s" o1f?f͔J ,M %q KNs6,CN,Q̙Ž!?⯳{/# J1bJ;w;70{tȟ;^oA+YШȭ 1QWBkP&2RA#==[^ޖb;4|doMRl' mS.>Tdg%0ò̩c;Je?,Gϒ\Nu =t«Tڹx6h3 e*fCx"U~&w`jRUnK1m%0??&ݧw9dz+bzo&NR)}|;2ȑiN_рhםmjvSBMyOeW*I؏D0O+;z6nO`$Ɓ TV90AMIsY3gS9XT_@bY֛ 儀\j{4A觇čVRZmŽ6&^Y}"M*$= wm3=K׏kw*n*S@XeUAA \ ~0R9h2v,sŠguxGnŎ_KZfJ}QU(M7ʻ' x8B1xUK:qJv܅ P+ jbިT/Xo (ܼ }pYg|H sg9k"pnKs YB^{£WGl'6r͍:ʭZ)&+6:U>Y؛qAnaT^îs*(.:3ܕ n1d#MP8Ʉ[)?}6m(`CZ~2)N,̰)a'%FaYOd`|yA#(BӉϿZen9T[)4_Wږ3p[LkW6Aw@sKkhc$OR0>. s yB%CMl~(څi["s KIYhC5XeAن %+!IC|E鴌P:&t9|8PgGt: oNOӹ)th&ՇKI1mrLt@9GO髅5X=̰}@_7vB[ԡi/JY~G-s%lH7Og]ZЈlO+"zTɓDԒQ2 1FBR_gFiPz3JKV/3_6IL;$/[(Bx d@TT3\}/w̝p,x9,6KcpBқcX`^U67yb?FP,nbz5vu:,Ng2Ij.2O2E{[/-{m])ЙOaMHY.hWFla V t-Q][tE:pn%Ņgš-F yηx`aP@3X4X <4ϛ]QmN߻62m}H^w蛭j `0GhЅL^|h8aWZ}~~~jz:<^jK)N1}s4. V7^F[Ͷ%3&Fn].ŎMgF{Z0iԩုhy?wORG2X$]G17WÎA*:N8k^;;Wd FS &Uw1!.yݎHC˙.M4hF*)\LSe=NnebDT7u"7ޠM5 pz<eOcڃί2!$a"~z!`ل`3&4$ mf 6/I+^"܅[!>mƬxnY*05{oSm؜ωKհ%sjU7-I)2(=%DyjhT`4,7qTtIf:+I7Eߞޙ?ڡ0xoZXË /JNqwlW5ϓF#uN)R+&R&mf,8Od;s&UfX%Y8lHʎ ]2QkTIg~R RU@kBUN@tcONbwIצp4c ʁ\9B>c9f\̖t+ܗg½ĂLӫ*$QbmEj%js &ow*BgҒBCz|2j[J77Ifnxr-&s-(մ#S1&(E vpݰ6 D9֟`/b'8mЃ$ k#(~ >8cU g#IgQ|4l}2,KǵDe<yAYu=;~^zS~RJ=^9k'H[3*V7p2F!w&41H~^mOqÔtJH!F.`4KKOoЉˇ 7Q>t!6ܷxsRKsx̬c@xx?HA:v&6of $"lA۞1%$f *XBRB֘]Wf54EҭKpQ-?Nx$6FmS {y:յZC9t⏂6Z y&F>T־̩FjȿVL18vgZ7Ӹ-j;5t8L; [U8<>Q<)?QY)ÜOʊL T/F:`.ZKq}80 !!M|q ۛ;f=.wCq}Tr;^V#C-b& d=S]ȳNw|Q"g\kU AĖ2f,6Q3$)#yzeLSe{!ʐd}C=7 K"Ref%L5 p\+rO|{``$GΟ#`4z_MVw=pLb栐? т1Ȗ&p\ {%m э̣ϻ?wn@ _xCFZb~+}Pݻ}*qeK`G9LAEI]fk0wMV^X<=gϡy"6Td1XQD.CmD]-S=:P`C;58avG4Og+'@hF ~+YHRZ?i. (dkC_А 'trnPSgx5.`ċ>mkx:=c1P#17|#o]P<-u;ȵXa'T*a }4a5oTAcfDyF]i+e`?v^eACWHfT1%+x-ye%4e.cg86;+pN; N: Ty7i:/Fj-@`Ősfu:#:0hBNY?hn;g6. R]Z׮ރgㅯW D.q r3OQo #.d`c:hQviAJlqC(΍lToG4%G~ Tn8P[vY$@x͑wMNvٯѢr=UO rcO*=1k$6Aw* ҂Rgk K@CⳠ4r!?;gOK3f/c.K&ʱ_ިCwZ VbM eĆmjSظQcedyl'&@ywaDd&벐9iN} LUrwwlvQ9b$BXHF@ &= /_L`~&شL:D_xP|K:* ^8A<{6DtM_ٱw|G*[`xg:-8}ۈ׽%iܗTXc?Ktۇe mb +,jɵT7V d3g@X?KVM(|;L. yܾB!ġ#ZTHn?w'Q'BCN&Tak[Ej[/w7EN_,4:>̟.1DnU=/XmU'ztP`o]3;HDvˣЙ*_'O IM< ,"0ʻx n=I}dpҍc "m(PIP+3 ,]S6yW`RuuӐdG9=4km 'n3혳D2 BnCٸh9?FH0qfy3Gɿ׊٥29OlF096=O{ER҆&=5q^knĎTQ.u$].+azPlzk#x />PanQnLqpYdG GRS#5Aں J!`u,*֫,Pw4>BW72/YdMz˰0?`[RIc$*v- Mk^7+`aY Z'7V6mS8;c؏DlVkтdOMF79P5/H*P-V=r_E?% B{43\Za N~qg$F94y2RgpO9sR/bR2K^wl'~I]LN'<;zY٭uMޚ=e\n[Ώ ]x,,^b;J#I1 ChiFRv(Vw/:ZO̙յ KM>6>>VS(,vEkY^}kp^c# >X7u`oδmGF cGe! N̖B-g_ܭ+yUTw/,&W  YO? R1-+KFoo?kpI,E=B\# L @%j-Zӄm,*k[T"ܼ:GmAp_V[m_+ك7Lj$n(Z0:XG e@ڧ PɆpH {243֩^JqK ?UQ({p,b#h: ?(ťqQ#^ :,~#^KWt 2sd >u+7f!|Z."x%8wⰄ\-,~ٔb"lvh"߷E|cbMFA35$rkrNx{o!%r8PCpܭP#H>cbJ2cE8cfpmxMO`K nyl.EKW.q, 䫼,Cdɩx<|4'ߝؿνD*1#>ӆ!rٶwVN֝m=Ge)VdaT\8veQ$L=TPl۝!Y$7/g{`NKM\/ZCzCt;oF6M&fJcF mIpu$f<nzdWb4 D ^ݝ0 P쀩<[\Hx%մi6sfnskV˫͚5#I&'kYmrad  nHЬ~o^@9Q?bDr[,6W;e"sqStZZڥ<:&f#g77q:~י@l ΊDdz9~9`6oٲeoNJoI{ sd/Q JXVcJ8źU 1_S5-#!a#RK-a}@7B?-uks.ݻ2[F€q]. c?/ @JagkiJ0sE̬GM13:  A20Vdrm4i࿩}ρN:^U7R[#Co?H7XqXa6` e.H K@X#^9F Qzڦ jw ϸ88=Em;?ŲT8 9/:_,~fF]7 ƦJދ܉_}f8ΓolOl@x:Ipyǿgֺ1e]&(!c#x 3xxpB di遗 Wt #0ENp ?Q3k |VN<{H\9lH[Z}b3x +ᅙ3Soz=St^䩨p!&cp؂CwTBO6w14%.kYBk$};ͬJNj6r$ vv]ZwWF馄aG8jM$֑W}+w{!)߭J"f\9pH? pHc$U#WC4^&*y؀:"Hb.D"<KTcP?{8iTt_e%A Tfh 1@֫~h'vUؠ.|"쿢Z$V(!dD"D߳,N-6RIw2_piMiN36'1늊_ Lx Q]wѯ-r/IdҟLT=ky`pM%+P 2bc0˃=S]QHbߔJۊO:G |(&#mAP$ i/ڎv3\k6.sޤՔSJT<nwf}W-r:o Tu܀qA d0e9*Cn=n Y)e@ yL[wj#g9N膡\DYr8&%k͵yyc qU#|~-10 [\!"퓂"_\[,c9VԛT+teUh]9.VƯ#*vXKB;P}Oz єH+SQtgTO^cx%2gl9p ޺Pv;3aAd=?!Har2LV˷ܕӗxLvW5OYW)l7xͅ ҿa)?b4 ZRu՛n.P`B+,7eTC b/ :lޜ];-%w)pa] tD"/#B(.ć=k"*r hku XWfǩ%fRh_73TduA ZyV1mc _*޽+'0,S)Oc=4 5&-Y3#vq=t3Faj,#s(b<#+ ,/_jz :/a^"qmfߎzjrSg"EST s%cbb3x%Ro,/EBa3* -8AWj?nw@n֎/Hhi"~ Y.ٗOmD W׻S1\Bh.,*@VCZ;-~ };gEʄ~uUO3g3g&?D{`k8aV3[ ye5BҽZ@[;U }ft0{zNԈhk`<2Ou6*~s&͈=*sSz13! Ԧ "餯=૊_/Qw=ƴDzjmdIHdHJN0/2{[ }^%Bϼ2!_29BC۳(j[t]oH m&\u[_;wYA N$=0ݷygRtTBnXv0?w([S)/ógCIؗW $M. p VMe`=#Hɏ-x藻3@'t@NXN_s'*Юka.NZ\krEt@̂cj ŏqxo¹cN HfR\.\n3p^*qxc<UfE*HUp!2 +̺4-"N4;GkMհ|3zp9 ^%)M0*}ZtA-_#K m^mm͹GFs=w30|"#TP4$ih А1X/zO ,r+>X;[Dms S6~.K NF~G{MJU|l"0@r*\)7DK^s#9%SP2w4e:x nV\݁> UP^%55UGgөMȑ #Hx`a,ț4r.&\&?aJhح"^'}h3VJF>QL`?Mt)Cs#Gf'Όd:!N*@7)^6_<'>6 N)-ZVf"n5n|㓬Xq E׋/`VAL~I|ߠg|Jr-!=/biM9!rtpam$$%JRdRn f1x3лMk҂zOo'eltj|ҤN+J@+dOrk>y~]&[5,VZ1F>Fsܨɥ"1p6@`v} :؊+"+' 2v/!k+F"8Hdr͒Xi 4@zYֲt9K{ ))Ѳ@q`-nGX~^! x ?m WEWJcގ-A8o=M?8M+y3L UoxoPNȮd…r;:ߩÆFU) 7&pUqs@nYH1&wwY L[ \I#voeeP@ NT[m 4e"MJ/A0Qi#"ֆRn<賩ڇ kH2*_ql`׼iWɆҲ͙ <4EŐY@G۳j}EbL⍦c aF6Ln7dN6PW8‡av>!<걙[PUHNg"Ho'!M\`@9g6H7 yYxJO*H_'q#(V.XD'aYN<~/v^ c2$=(ocn*=K ҹJ7 E:?-{x2E>:C!^[-4]xujc{_و-P>{c( U*0ž@D$ߐX{/#fk<,dMzgwcqfAF['kRڸM>4(:aOUz&q[&Ieͤ- oSDkP^3/ܬPr)[š01 ͻwLMz,az ?|\ggFV,8e,o3xBL琲t(#P{џs^BX4 RD8;JCfHE  ?;*ilf(՞r+#^RNGC֛ҭy@ !p\QD]|K.(eSrƻ >f6\~r|hX/!N+ c_,!kɵWV}+NI,֑?o Fr24-a}AUa+O}r hvBioFkQh^gXJ4ɨWfj 0O:Rs~Z̸_HiwvgČ 7WX {{T}TcP[& Zd [(;@w Fg)<£oĻG|P)ߩ;iUʖjP8Mai"g@MI7G^t m #T_~\rӪdk? дOOUTNE9U>7 9V-UB| dH񇼼'!9%3[3 OѱT @SawIh z#ȹ==\`4j̾ AhšYw?/-@Ѳ@IO;-y.td-Pqدl[ҍ1:r&M6һNQHGZ|b =0 ABĉt́TF0rXِc|T*7(gie6[k~dۥKJP =AslQ3onXF̜=a:tUz8%Mf !J}7se,Y ?N;[Ss JPsF %݋y$*`U47x$2KaNsZFdaqoUCl h79``ײpLE%~DoZuA%Tɂl5Di4g d6*gWoE:0*ˏc9n[@` v/$IK!8PDR2jyVo #@c ¢Bjc Lem@O[; -m?I t`OvXyjAh_LއR;CL~4# \og!튦ɑ\'/Tlgg\tABOFc,;q WΩDKJ94Hv6l b#?rɘ3讀Ŭ?1v.U, Ux2; f*I)q!3'8i6Ik`1`>Inݙg>`X6p XFzE'@)7TmM w^}+nvOɿ,sY|přW&O@#GbM]R-x!|.0\rH* [Ɛ2F}o`Gcc!fH"ytg!ˤ렆J~*-4tc$CG/}Qa!QIDDR0p,u`7|,KEl6m w"G `Ag"3XN6V¢'Jgu]c!x%ib]SIc2obN]e~XcZqq6v|ht^Ϗ@Ij=\S U&X9&(7Oi =YGɔPiHXSz l^ER)TCe%P 0 cTlۅb#!X&Ctf&ns\0z JKEw*i~O砪U"?cjLi{c 6We+Q$.!UBԲY~JkHmSG_R%!o8˱';&2*Yw\dc+|nz%;ۀY>0*BAa.?uk7C\0"^XBВNa cBĮgtN>M\E{Zbz!TI3$G.y T89KL~uls1/'GSD(<Ś=]FP[_REΞ#zIܯtu,tDȷHiܡrTjJE&±k+4][[XY`rb U"m~rZ9paNNGJH\I(^4=iy9O %"ɴz7q~S]vچV{źP{%uGehdbfFoSEqP,ZE wy|F~Xph4+3v*Xbds <gUl ҅R}U#D/Aw3:*'wf &*-1"$pFSBrF`KMo zܝ OWS[orʐ@E{{D=s$ ըT_ߺQ'Ȏ-ۜ㡒GI.-]LI@:_nL}װr:# =^`U ̲T,?y#7\ya3UoZOV̇ dh*@8 NJUa2Z oSGx{UBP3tQ )sX6WLwQJ\r?Rם/(Qa"Au[^JVZ]#cF:R:H6fg ԛUMC[)Ք9?!76GUD;Bu"/3G4r7%xJ a @Fl=Dzj`֢g .i4WTDLP ou`$+wL1%Yg!͍vp];Z(/Pvr:dG`b5/@ |}ndςJxxCYU mأ{ţ`9x @#:q:7vU-zQ"yN6uiՕbӈBs3֞j?6D,4wdJkv*VoÀtQ)U2s@3~%ڝ[0ɪ&r21E_ ̮.)8l&\&I䪌N[%|gBU-jXQQAij^ԓc{Ϝkゥrj@1fva=.&hL0D T>I[kcύ .Q(pEwL_c8n֘I(AY~\q8_GenkABP:M#Ǔw/OE)г o^y2ݝ]?V@r Y'}99Ǹɡk][g3c1?e`$IEE}639It컣2E VZ6[+VЗpcjnWxWl=!B3ogGu-[g>xi[]T(69PDToF !fs MO쏞'.[ൖG1dkZ:ā*jgNԍhcjxPNC˙hr7%&ԝZ{e[hKyYы,&kKl(R W wu?T>{ipg C*Xԗ&B#g@CgBP5pt'Wfj1"1ǚ2PDK}HmOBSRHТ6?7T /5 펤"jW2j3 $$&V0jsi.]5&4ƲV!Ug[Y487"blXgRmj`2Pq9Y$cχ7z"6mJˍCRHǴ蝨M[@o*9_c0?{I݌|y@prHCVUl먻KDNWkBx.ġb |]Id rB!&L{{nAKHknor V c`W~02P/K좥uE5Hl_Y^#u 5Gp|n~CL0uy(O`q)*R ve[#V#72 3 *=2jBdNR mx{7nCձ7Q]Q{_Jfy/Z̫Pv$t2[ht\gJҙkә$OX׾3<=*ep#wrH%77I^a{aghUqM8Jc<VFIU{ E+.Xnl[ƲPc5 =@XSȷJcD->Y?@%邕Nk W"ï1sM)mSBAI"ʎ<YͷBo:c>?f8Mg~rZ|zq%,;.; 묭,6gldY~bn;FrJ5@9b'f g3T1dX,d݄/i8'4Vm3 uOZמjemoV f 7q Xc:%ecwm:6vaGL2Z yEXoO(뺐隭Ϟ"; ɟԞQ2NPSddWMSFoRɒI1[4Ц=˖Pb'1v1ҝCGr^`[8_YGep *hQOt\֑Z,;)BTSTVA-T,4hv#k I^PV֥/@ _ ԭ`-fb]8moʆI:c:t5EŋN +S'cn{׎wL,#]'|{V*io`Ӟ1g f~!jݵF6zk}E'nS.$=^mʝueí92 p;0{"p'E8|qɲ/*4-P,yf?iy[ {'Ϊ Z`5;ze=l4q;"4CWLaI1I,oX:m+ qb.45*"Y҆vl#PErWXB .j}䭹QxY-+aBy htĪɯ>?YWy[XF0Zy78UůkQ)(Cr{=7OiIT!ZWD\>WW5a Ym/.Ywt(:]Uė^\`j%ĉg48Ebq0[G[Dܸin,KhwORDߗkB[7+f:[޲ck#}<=x $=ZJ>ClUmش)&A tGjݒO6߭05sgI7#3C7zuX57Ҿ Kz<a^_nQwsnZLl ))m<^d3 &6# k0 NZSa}~&"[8{N3%quU\j\$27/чje/,d@B4Ik }sN_yE\w_{\#AIί5 ]PomھP~^YI]~B>ZGbrE{0 aF<6Ǔ_z%(>*?1DHzP*γe/%{;hi.`q>۸ePdDp<"p˫e# @a?)$9zdcP%tɀճFd <@ʫS=ۧs]gLUo ȢkBDjdB>tyĪ"Bvf}19Fj; D+=6,>S  T#=Ӫ$jFbߴeU2ފbG/B3x_uEέ壂E(O'Reuhկ%c!-*dӒ&BTZ֝"-o| lKއ[(B_uW" R~oAKACsh60J1ƨ^&E1Q4'Ň^wgKhzK;@ Yu  Dt2$~\>s' |E(:<^ҚU`H[:uQAPzY4 DHK#xre8{Klu#z+SiOH7) 2*ƝdL+\2k5 B4ZNXųp%Pt!h$;=߮A]n@M%>n|x6>Q]~+'F>Vώ"̫_4ޭX}FH̟`ũ$O h-{a񢽨5}/A=اfDKUvO.Gőtg\=޲IO0)ME4:ILgLH@ Bld"f(k(AtO^iJZ`MـfP4qGtD:ʷ#"ڬgc(t9*>Dǯru= ʢo%r/%B@/yIY=0"ٔWF$#Qy*v mX`{Y1jEA'#MGʮW-4L>N+_۩x8FN~Z_5Leθ1*5(a<t oϭWR8SnK>1u갑߰%(y[ K" qE> x)<2[n_Pز?!Wc%hbpإSGؠ%U? jjLHNȭ<&9A>0@.˦O2No],& ȝ*: 1mʋ1@+0@6!Q\&Zxg{ǖvJٔ(ySƇD]}7_<#OKf@|u`J}7/#HWM/ۧޗy6`=Az#mOW|NG&7>:KI\v?;U qIH6%eJK}AId:!"i2qfb/Hl|Kns½Ky%Ԇ|TKrg<ѵ<4k.cNV$47]S2/z +MY&?ФZP*z)53eAvגؖ 8Y-RH=B_wF4&凊AlMxm8.wTDTZ9N1:d}WETw! S̾í%/\;jm~2K!<Ҧ9d2btcqh6$1Rg.1Aw,Gb9FFyL>yP0Plmy.uJuF]Dj!K|?J-"Wʲ-sAIQsVKbm,ܜ18ºW*XFm @MZ7u&y߻CUhL >' (-b8WX)ir SJF;p@epOa6ܟ|`K<*$@4_۰8$d0|۸z~sJkmfV_kwk@ƈ7<tUD*8* h!gY`_#͚C,E؛l#b8/[e NfO!0Ic 'vʉqJ[-q''%1%F@<.?+ 5KBmԾ>gӈsAܮUA +p}MT6IDf<>n& o#@|$, sT8UgOP^`{7ѯMZIVnŝ VYbI)m"?"d;mK2G 4x|z*@74zZ |׋omz]1p S|jsl[ rLqmH\fְ:: #"If(Xb"&J9HB'43#ZJ ] SיִTzci+cbxeF.TE\,Ev+zŚ8 ϡbQN vEi[*n A;8ĉ,}U,SF ==3N*CpCo,fnTI'%&莊J[L8UЕq?Er@w-JLСht>KdaͱP9hsst:9u45%wn8{Dd`_ 9XJ,zɈ"}IαE2;\{(̪}8PUȝy?׺~ Fnk& X&QY-*oȽGA{@Jl~n6)+,ޯ D']N57PhMS145D@P5$ RS LV>ԯnj,nTSx@sINKie-qyJD4=5wn *HJR)lx;,N .V`P <{D!{yzD@MeIB\ĀE.`/j8snd?)S564'H6na+}R R+I(~BKhb< Y1YiVykT5 Ϝ}?Ў`j4 $2ڝaA 7Ц0I OӖ84ǟ& 18:Q'&DRy8χ𻰏1ݓ7[j"bU§_,4a[iE_k'o@\qӢUeng qx L})jPKS# {)(t/P7,ME]05-_4@U;㆟וߎ2St"' s} `5K}l9MTK%L ODuo,~=S/LQ\)5HKc+*^/,- vWwa Ex@߉nD&izԐkV__yC=IN%y-xa<;8\\Ob)V]|YFM+:󋑻4yqzE~Tb2&W/|ƪ:pL! gI=I0v6+ֽ^rIr>@@k4DDu ?C/MDz 7R]%"\Xy< d9oZv{i\~ePeɒKp^4I$ gl7ƪ"!'}]YUt>~)%RlI4ln6Z;5x42{"jeyc]Iu q$Thc vzWq8ebrt` ᱱiE꺕D&( \6?$GL ]%&:Dl5H̃n`y$HlzwUlkT-NZyP4)0{)F#0\,3G瘎~o Nj 9>uH/@u rR#t:!-$7dikVi8j;Y{u&'(kТ$бYj86T) jfj&lVyGCf7~5*T. AMsJs//w4B3628+gVpcwYu%@=MV]u6n#!X5՟lYC!e43iL@Ʃiz/KHC W氰M]Giݍ"BឤCgdXH>+d"p;xҲkג`r aD}ǹQ}cHZ;44x\9_Npܽ™pQD x:lqTH{l< V-`L^|ʧKo`4qA8ԕq}׫tQoߐ({,tޒ'fXK3l(^ `IؠTIQU\1]">7p? ^.)"=<)cWr"s1=,­(?૪=ܹ1}AE] ij#juY{gt)M$} }uVMJ%Vq .e61q)k -Xac:^@nz8^^]&%p|}EƢDr QoQs ˿tAw)(w"ap+9 z8&WA}1^Nu.޺aA&qszt/;<FE_dƵ3jS{ |feyBxs\K 5:!683 }Bo黛uL")_X_ɂ;/TZFz ;(ETqq*J-SO7FsGmFC/$2}x@g)Cw_ K z<֨}(8 }.I 8 I,:` XTZp԰*#š2<cY]yTFB(ZuV !r.+_yU :=y'@^}p-dmҦ a}_7箩aE#L 4;bImgVQ%Yֿ&D0YlV~l&<;ZfgYZzENN[o_P0/@kBj˄;Th*[/§P6ނN:,#z53VVk^ϡ)@>:]\M58aY^&C*j:ɔE^ۊR#QDqxo+AFdZ/K?c J0.ٺ7 $yF)QUYs6_1ePbShT3-c TGPnyH}cv3iA3Vld)+sf/ͺ+4HSBЙpl '-S|`Efa/EzP8ߛp٨I 􉆅oeN7="gY >=K7GVrjNẄ́MX\]BUd#/Vp ~زq3N?3 @{4M[w%vʹC8? "v1I_ԍO(: oE-Rm]z3/B` ҅.$/6yEFS̉ETP[Ư="wj?-J`hܩxZ&Dg6I4tukC3BkO8UU>4#!L@k다o9Wq|To:Kъ\Ǣ68)[0p}T^ǝ-iT'rPuFKdOxFT`,Gy:mK-ͺh6 87ACCRInjP/ _-^A?i`8涀hp^dzyK:M5Awk&!=\3 X9IS^Rw' J0*IwMDo|zz׻BYFPWXb~ڳ[W/N$u_>aY?3ئi^ǘ昏vݤ!v; 8w>.V5|dH>L{u=Mˋhq憎ö: ?<ɱS\gZG}k,?ʃ|LwN?\wbC2vcm .g0--!.n%9 7:W=dR(fv%5یEdP.ϧ["n)KIo:jUN 'W?K\8)9 |#sBC3;hT+| 1KG#tzO#>g(CiD9.Dx&c썤@^@(P\/L sy`#95mPJ{i\4t"rd7̎"sE ŝm` ]J~k^ᓩ1IIĂa-+(ԥ>(X睸XEpR1u0MutY4l`s囶E:yCPXn ,4F79j{[˕>Kb:俽V Zm=??l6@NqZh?`!7L쎿cJ[`;}y9%g U@ 'x@>قWip`ݧ5cj Wʩ. %)n! XwKCN7&Zkk|)}ف;`6`!6pPHbǛƣOmjEӱX  EaRJY|s Zzk Mnp9wQ:ɟ9TLc0s @*/{s`w4}xZ: 6Rܪt@|fNq(r¼t$ ~E~AkYY6f2_$5+5 ͉'j=g;d5=Ճ)pזL 烐0'Y(ϳljŧ/k`zM={ X[ؙ:IlIMEU[E^[yN4GȾlj1D[O?a<,;nƧ)*iu1s(<5BwFD3OH"$xծV_W؋'s]ZJ&UA|ckThP|.r$EJs+^:NiGR[Sc=TdވGu`TMIM7IYlX#8rC omgqsC8@H9ه;⛧R7e$ƯqQuL:t (]o74, w"4Giߛ.{ۑ?V׬Yҷ%*}Pju; OAC pxN}ln/2q /AjHgo}M1<+A"!ynZ|D'|KfG eWa,#.֨r3wl5!N,P zoS'/k'U%M@$Gyyvn7Wae:% M@[^8<#Z҅ʸ+Ņ~uD o |s2ڛ1OjȯR\@pp)2En~_ (0O.P9/)\v[YSxnOtޭXvI*RILFO }E ~.Odb}s-ko Fh.U_J(XVzo\!jMq$rA "A`3V}/Ѯax>WFTI MuRhմGs&Z\M%Oj+qU:2V4"B;>{A6f}'eRb%Y £GA>&hּ(`PQ=qWF^$M3]Z(q @ u~6)tdksOC Z-) 0aI, 7`f91xF*筮/3D?}!,aCjPOd5Qܱb z߰&bL_)]Q~䜂'CeT4=m"ojQśkG C[8>ms+_թCKnPy k!ﲵ6V%h)X*~kL=]Up5ϖJ6XoY3ؕ_30K7D3%Gk~^DaS'q .*Eu%"2=j&B0!w`~&hZ,ᅚZR|&2jI=If? ~jt9ʼn+YrU3 ޫJO%XGЬ'Jzh20GXTZxٷ3XJh0zNJcEWԐ ,sm">R%d GĿ+]ulk` B{Fz̺󰄗؀ت^qHwy-,6+,4fѸ?L̛Xޖ W,﭅{|$z=9U"$qQ]X-Xn t]Z;!&Z A-ag`ؑ.CG6II(`6boS-_lsEp*CuϚw)ZS葊RQwON,x%$Hc: 4()SR ;U2txkmaׅ h'yi&a ZQ_7 }L f4_+HO8 mz_pWwkML6욋<@D[ZE gǃz=<8 Vؐl$?7T Iy*3Eܹ\e,7[ܴea-iV{e^qrf2 ̛c|пW \Mօ^C]VqǬH7Um TSmpMI·/a ՁAp Dc*9VU([)lJ\Za;`(x${$o7LQw IKoIgbwP]M=Evr0]ȹ> FӁMDڟ 6xc%fޛ\qL2j#B~OJKN k!kuaa[^{EčWڋe}jLKEd.uz PaP BtK]Sq_&;9Cw=;*(f6Y㖂nh &WFqjzy*2pQ-_މ^?Xaxg{d!q6evq.(ЉXě*G2cJĿydd(5ɿF5j窕Sv:nSIYuFOmD2+'HabbPosmf g/ے|\DF驤нo@|c YX0"(-h(7MBs嶡-]5,9qS#:#lC9UcQ, t7M@%_cWG>XvgGƒ:mݭiwznyA~unwbT׉5`?kc+nmS􍃜tG5ڷpJSƉ0yVGy-Ny04= JLvܷ2? Uj pLkΜ2{6aS_[B$\o;9|栨}AR(kU C0/IeGJ\ *Y8HUٚ{zxUI4Yj|=rD%|KpE>a$;yQf^7m/s'xC`#S t 7}H$)$0/yf*RCǤӶqrǵ5Q/BZhׂ<X%w:J5rD.:fOeZ\IHL$a; JcRW*E{Gpԁk&~Ž?){8) S9ӫJxNo,G0>HjC>Ϭf5"}BZS 8~wCj̹A-6?#>:E'%JO#kÓsr3nE|4ƨ~S"?niuY~LJWAut q6K:2BY\`ܮ "ΦBPDҹ{32Qyq/@3}s.9ޣv8֞llL~A|pgoݔ&xFX0ߖ,Wu7cC@907N_ Blu8TU ' ʼQ)?}CE1ysy;5"[,g.y6H[ɱӑ^f 5xO}T>7V^ OMbq$x1Sp9 /C/ku!917v9gS_- %צܬ#9xBrFu&RAmDL?91罣7ܳdrG^$8Ӆ!B&{gdsotDbAry_b,?VpB `$.-N{H| Z4ߤ' W$Kҥ#bQ=U_CA9GR6gp!Qsg jb$<[e!˫9CySq??ꔼ1b Ta](:uAo$ːPuCb%2= y!ʞ+IUdX9k}-vNg5;DţWW y> Au'zbQ쑃@ J?TnV%{uj-.ߍ$H@ԖO]abF(N(QɏuO͋90lL!^S EK!sE2p0%ZFVs@j1#wN0vD!̽ĭ0qia§fEb,ObY=!HVwٻ_L_L:{a{-g}|9+ΝFlݏ^- Ҭ|ꤾ~n7#L2uv%X+gf)tָ~g{^䨨(#r)T5ώnzKW5uY*FOFdt6_vT@D[3?;gS3Uqm?}s4zi]\$=l$PJ݃QkTЭsK_G)%1-ykdFzURj-gb3jo*?(ʪֺi.aDYoʗe>R`y3?!l1k\C6 sJnF*NĀt6Ǟ#] G=SL ̭ZsߔN+XqdTMM^=ԥNƮOH53L HLGHFS|DzY f1f}\g: 'm%\wzl dgؐF2Y{ $2mT΁+=_91`e+;u SQN a{ȊU4k^ݼZ &=}ʎx0QH9jSoEX ʢyn|ͱ-?>Ghojį(cp[2M,H$?_ ˌzVV/~"ʐ@dOp1'VOKO,/vѢ͆0=(+G~*=DռPq7z񂚌&y` A=ߤYz +p~2Hs=3]=U] B`MO. U`ۘ1vI>JǸi\vKN_ ج-Hqvln*2{%X#2Qg )vvc9t $Q[c}x@zQUI~>ڹ!/[OJ$cf?D]#?%ҍ OD(!xlliRpN I} AgBHY5-7wB'Ύj.\X Oh< ?+{4( k,."t:ɣZ#y 8~II R)A]s1@]ȯ E1T}@pJcHYEX)$%E]C?8O7@'+[#6jYM^ĤYZ2Ֆ;XTXµ$9h;ϊuѶ-uܲɢXZxfnDzoL:cZˮ"q $Yҡp:;?$ϗ@SuXnR6'( r ITcͭ8QxD\q$KgLň2pFru+rheIQ .^Pf&dhtÈ=@̸>S`/[-OfE4wh{/1GY\q- 5cϐ݋`isA?Xx8fѾ+ZcIY/sᝍ䪞]ND&#uJ r]'ȾZegj@B8"22 HQ tE\t eunFcQ-xEs7IpcWWus%#otoHWd`S~P4a YX+u1mNPY _0>a8K}罺׃G40+*0>Uaw(? ^A&THKVW{0Ƹ/MUu[t]{NTX(mOpvP7}7v#lg5l 3Yhl  hd^|U?>;GOXixh1rhmd҇/إRkmP$>ecllV b'Z !VdCEew⧩&PR8[4.UXN? %@%x+"m^quXcD7=kE*9\D6}•O^r.ՎgOłF'Q`XW\pmh!aT:bC[ɨqp#)9(h+;03S %+w{.sb5JX).?}~WR~7f 仓.+9ƈ*cwKZq@iuxh '(^,BrCk֨W'j*@V9g¸7I we?$j]sd)&|<ۊqRO4 wx2m=P4Y[JaG"O\ʜjy3Ut/GgNgA#_*uRr-Ra{r !Hv],K~?\Yf`Q/_qz5In`Ywn`NmSypYU .O/ °4VF>/VS"̡AV 2DjuHdvgרNQP:_#;Ϯyq "C"6-;*bdǢF\u0q[%Ѹ ezexF-A%v" |tމ%:Ӂ-N*I8p^URF]fa?pVpo6CwLÔ<\ BCyYZuA͏$O~袨ɢ];hp}J"X酧CA`vWIs63K H1f )8Zp]ԩ](꿛l0Pbyj3oaF|Jʮ'*duGR{R;W^g Ɏ4)7K %F^`BM@-yfʒ Ao1mIVpVٿ]iSy䥛2w[ ;36ߺioy5<iJjN0ԍSL!6 T_|gkuᘴA Vةy%&Wdc:Rsil|-{I;abz_IğA=(vCoW8! "-I:#=Qx I!~a!WOSQ8Vở z{I7}ۤj~|~S<<Fғzꒋ"nI <t.0~)PIXHLq@, %ǻ&!~.,4tuuXEXdGb9oֿ/$+NziTj#RȣCG+*SPll-`fxhP+PMb?0@R(;s3OHȖ,=IFiVHvlk1 gqDf]afU^a`يϤl8cAS-Mf (,b5]) 4$p OMI|$:kdH)$3D4bmZ=a墵B@jK`va :mvƮ2C7N ʧ_y O͖i' *STPx SIs֞ EσK?Ф@H%xQ6E TuJ?n޸ɒfsDtonT,7!Iovb 5z.NE3"yG5Ǧi/M{X#s_#EپY@q3U2-=[Гm|X+Ě^CJ/rIל|؊dm^?(,crIMZIq Q0 lL">־s8Kb^-E][<$2DAň(wIQIQEZ{|xwQCB6Q1Ik63)gH< :>=` W 6-^/罯վnѵSMZX4z2xYi)rjկq}:_2LSwHh. 5>u 8|i&,G׭*Ԧ;[Un^ߘ*vv|)G %Sh b%c}˲/_je2c@:9W1D;"AͨHLoիX1:׉c! y?3q=#lu{~^`hrsp/VL!Vbh a ~H $" Hr BYU,)[#Y~- ruXB'9ӆ9%</]!EeQ3)~|e,4L#|T3*ll.d-2 NS]qu(1 ClAz 9҉i?yhCsqj4)ے;/ $L!.VJߴNlZ;j6wtz7GǼs+`^!`pWh>O&m{ï^s8Hݐys%4azB=Xvm @FS* VD#@%{tnf5x0`s }`t^D*"YdQ vb뷘ExE*:!sN *܃ cUGCs3B|=qt,8S, t _46תL5̑XD;H t!(b]4-T ~p!Z =I' +\Д.F`ʔ4E)R^k]>{q7%p?ZQ }xߗI!MIiLw≞e Z!춵axoNȈP,GC—_\d 'Rjכq# aQ+Ăv`IaH`kkrUuNjzm LD09c31ȇ f>qL\ S8ϓk:W}2zF1R-9hV 8H/1qẑrD].G*δzђ_?zJ T$[S({_nO} k/Iޒ$, WvYI)I"FxzԺt]'G;E3V7JM:/fi()uguV049Ҷ[ }kwf"/0rS}q5Nj3 q&٦[=E+~P^pMŶRyaa,uŋY KˀRC6=d uCr2VU #]">VG1g*>o7f֥|I)ip,ϳ|Uݲ6Z̠;%d.㺥)֣w8vɯr@$)765S%O?bEb; @! N9Mi :.%j%^؎a3yo@jeDXjQT RX 0h} ^(yL޻#Wzv% 8 9WXfSέXZs,I+k:jp/&h8N>]q5=Tͩ%zDί [Md(/x a5!H,^/c,65wgV *xQ&sբj؂("S9 HoC ң~l#+F<&f Ks/Cct4}Bj|aЅ(Dld614p!G){Gpo5xkᐄ;"}o_a;k5 7y`1eӟYSzjY{Ns9!&d,+8N'TČܥ5.}U6qDfqN2Zå^AaDy꫸owO#9lWd*?g_qX \3xQ_3,I˭xV\4P u`ƅ"Nm;1xRVFeO24DKK~PZB%Q'֙WߡVsoLh"ߨ«}B9 1?MRk֥Rvt aEB@NJ7m18p}+ hY;s=H|? 9/|hƑtdX5KtC'oSNۺPٟpN,_ Ezks\hzliH2YB\ `ȾdUP;vѬ0ePZ>z>^T$~"<jkj1@CRR^X`AV[UUÂ[j(,a qOL@;I/SR\~Z6tA`ڢ}\ d9G_bKyM-ۉYRΈv})6Y/<@S8]OWdbGE~0"%U (äv7B~G:זb I= 1g +X o?9ErSR72/>A%Zgֲظx8 sәi&׿QruV3 a)K7-%Fz6udކc7 QK۞DaJ3*\JSQ`EdɁŀey 8Jœmd`@tʾaVXӦGX V^|L+4n\ [}'*Қ>g]@1̘m|]V_ÑnohX:mxR3 ĄV/`*dNB ЪS.)7v* vjz0s?Qg_-&oeDp ֢ϙUI. Rt 7x~AOa>oe$QN@ 4⒕̻mIqe79.ˆ3/tK. wv!_2x>}'Z3基S~֟ "Ǝ!'9GI(C_6^ƍDOnPt"94WDt<"'bb4G 132Q9P>+zݕúHHJ %v#N.V6Zʹ`"<r[Hu>X(rG/ 匃 ܯP:|hT2:bp?ك\ˋpS)f/1i򈌴j7٦}BLQ{fz]KuL'RDo R90U32cKl?4s@I{iT0&XǹaAmֆGTkm;۲ȵ(3{#o@%:Kӗ`z"ܐ&4ĦP}uZ' 9jAĈ\,mTkJŁMm+b+-(߅vQ'_1 +=}E+TU U*'}C~%6K#u)3a2-(c9.kn?|nb)z7{!'hA,Ho֚MUIzҲʅST8@رò< Σ,'KғC{`wo+GF*tȮWb=-c|#׵z YdXƬ V3VGv]WKopY)H' 4cVЊpP{"Bn0g0UT6c89apY VΚ "qO&F]?I;{`aÓvQzEn- zMug;YHU j\=]!7X֣n8dH͗VRձtҸ&]] ͻZn<՘uA ,Kayoa5f}4'[]`FSe4KLAt}6iy]mX8f*돇ja_sxԌ9A, 3`\o:<ԶCn' Oah͚FN^-8n ـjl 7ᫎz'Z̄W]$J5>D@m Ȭ ҋarxq꒧3JsPh-@ 1#RRj}t/'^i*Rz dб}y-cM6Dgf~1=5^"U=`5,d=lR8mv Gi{Rb'pB b3ճCNNLwkG6hE'o od-80}39Hh~ ;C]FK6hdۦϵ)ԴOjr Pn Ƌ P̥[&o"sOw;kO 5 vF)Jʌ:1{nAP;y](<V%c-P/4H.=.?,&IIXC6צzH1X/& owqJ,ypfo; uj+b ȁ>W;8eK&I}`: ,9p#)FGA1SOLNO, rnWl\{e\=9=FԹz_[VӠ:!r)"]*+'k̖͠\L#JDb)U6 |AM|Y3灖VsQ۞hѠd6~ԍu2w)drjQ&SF.# ЁhV+ࠦ)"di<74޲ZFgh$w:`䚙7MARPTYQeG ?.Nîɤ6yܧ_ 5vƑ20~oHa{vO< *m]sKC잚d.*zq y!VZbE`v74sZ:`1<U1cO |@tHT qfjxiIa;(#*08A4yA=CnS2?Qk{ҁFEh5'H}`8#&jqÔ-Gt~nM>M\vcA-4F0}x#&Tn%Bbяe}_-9fZN2E x -vi[V,#ס,LcHJ^ݿؽ%_ ȏR$Sb|E[[.mDJِ3vy+ y;fDbeP/©ʐp්ȝ$6f-rD;ܮS3yh@͍p:笉@o86k#ڼGkCH"]ްI~4EEvw+6O %l5SʛIG7D-F5` Гl5 :VBE*QttUɺIC-Ϛ]X<5_y6 `sjKC\[9M儃.#|ܠLCܘ:Q(*N6w?WQv˵`ɕ-xxD#))z?Jx|)IC\``$E|1=wX GUb<.9)fW.HwnBٺXE[ '[ d@  vS{+d<,Vrq2K&C_ wpްۨ-G0D1v%v.9^T q2T`"E;Ӓ^Tf#O/0G o$baˆBIYSl 2癧L$w ry!DUwG8:IGs!d(šw5b]PмT\Pޙz,HSI[}KbxYƙ(uJJ?Q@3m =z/@Uz@B0?5^n'RgE d.(u\$Q0;p JLl\lhI aT9#Z,[fPNWV6 |K':LKTv\дD\BxF8)0J`⒵][E,7t=~ o@eT+YIrujޒ:q[=q"T~r9?1\WڴRi_&+38EѦzELTH nnU鷞S0-7}%z:6B {a_rSZ\ Pip7QrjO6#؜Y[] vi}BaD^t*c7'!:sT=s oi%|B`p%_HׇMdaJWPWSm Kh#p 7h{R(Upqu7IKQ020mќ06~zI~v غ0ɞoRЊHJ}WptHNWk]\9M-Ck׾9aMIѧ 7R.KqWB"f!1F\ᕌbXpx8f>s-wTU_ŁAϬʘ=1/5ͺhv=.l2,j8b0ej+ɢ3F@ԛqaIjG DsČEé߾pQuzosL7O{x?Aw]z,ntO ykL"]c : YL2AiLRaR͒fR Me!?⸺i՗:֒Ӕ(7,܎u( Dwqu$Ō^w]IkAɲtoXo_dYvUZ5B/6T]R쩱 L\CRQdZv¶o%GRӵU׭.ɓCݖ`4n6/CbNӟU)o|R3""@mLD-'=p'3^J1K&ȗbı$AD,l?fիP{΁*!kjrwQ<ڸZՇr?.yomq,iY0֭LJpb1J?V'R62tqQ醣ձuad]F]kۙc*rPܴ5^r:!1M7sTC,Bi#I4@,s \gS [A( 7X[`2>:qtgC\Bh:5OȮx1c_NJ G]/q+SXR|dw Wuܱ)p.ʅ.t LޑѭjBE{5tkN6WV5ao)Q0eޫJ>\ qw4;S2#\^d"  M69 g}+m2):4Kv [iMȟÕ6G I+¥ߖuH:=# a3 m[ya6 =?&?XSR2h#%qnIKC iޣ:, 7qБ!2q7e7YΨ  {A•K1WG>b_k٧4kڧ,fZ!*.5Rz+]K70 tO?o Җ-+Ѕɺv\[J7eh75̙茁~ V2NE/<x&QĎ֨L)^Y6'yl,Y8~&,&!\_*@<&PR(IYps|_ ܄aqbv lMCSC4ËZK6uRwm@MQ20`pxi m~qipЙvFڦ'N)^M,;JdC6ee**vut='v\}`-[Y]ѲTY}گG7EFuo?> E+1bߕzE|A–ȨSeÒG'7_y5oyd P@U~ªtޕtD]6c˴撱NF: ˊP WG~dGTU0gXt'dk4Wv<(]x2}[jj&̩d {:Yry5{sepwha#y'^x,$KJvT z*V;z ,q%ZLA[!C!!LQE5)J 1{2lNˈ 40~`w*-fZtk1B8?dzr[>(~[%wb l xN{{\2[W>WB"ԝj5}6 {`E+w{=eQ\’c4Q+l҉R=[(À Y Y c% BEͥ7Cp,hwZS[L4_po 1#De ά^ɫ+)ױ3`/̵Vm^7bT~@_" wI>Տ=VJY՞WnU4ZڟGMgQ;$$cBF}U]yfQdDYO% K:*wc(ꎨI"ʖ4 Ҙv.!>p~;7&EVj?@" ACYEЕ# LWA^y.>Yd: gnY%-ܿc5.`ҟ38qXb Ě m*b鞒_RZJCo h1dvEk+l۰d3]y]JվE%vVMֆIB~b<~E.!Fh.do>U5>Ĝ{!gDZIV6׽f7LrqE?F*iD6v)!а/z~XAMJ-XI74שl^Z-u`Óx `R֪#Nany&<&=z&<N1@mKa~*R`$"Ș'pjj7pv4!diFk!iP!*̨JVgn-1 ǖ䭚17 ][t*@Ժ*"(F Hb|L䶋 38UD>αHm2֝kL(h?H?w%`^к^,@pb2O5X7{6Tw_DiZ?Kn# hobN}D\Cm٤ޚΫǃR:,SHz{S_o HGrVӏF:X]3a2SOLD ۣW9aeȨteY{,"2F1r?B'Q|<clvQ>Bb[h ?Kv{i~%-ET7՛ǵ, M7:7m~ Ei 1#CbiΓ76B*Ogk\*cymbϑVO%R˖y#=}Cs\뷦>N*dW)Z1[[V8=hאuR+-#q^E.?@"U^8qnac 骻r־|dy[ ΰQ1pV6[BݯI -,$bޢ[+cz5@X0Od)+lIމeCTOiȜ) _8c$=*U1NuaGl1fj7bg>gnii<1 xW|PN.L!8}0F~Ϯ#ZV`YSB "zn5]hs/n/J#'1^jIMI;)J!7Xa'LW@ޫ]9pF4 ס'tQF N\mfP{u2xD "޷~E>yx$- ͜x,T`&FZ E7tB$ p:dOQGѠ{K֣1I"G>č;9zaظ+Ifrt=X̺ݤ2C<@|`~%Ir:KȄO`8 γ_[? BtVrI#TJB[5&cif^d#(o!h&vialxN g,vuj2y >Zceqbҫ@NptӯS8 ;RߙN~7ș@{-^ypOM;Q?{o'kbAyvҼ+-|ǁqDEȓChX[,4_-Vev8Bl y{ہ^N10/2T8nICx(a/û֪sp__ pRb^c^񤗴 C,a] 2(49xR.>pBbH~.n] m7W_ cKs"V,.W|cWHՈ{9g0ww\t3{[E5S/jNJĖ9QDzUSdʼlJQXt4  ܦORc`S2win.=*aM|Na:zf_y0237 ɼAbr85 ^)=>z|`kpvY|^2F40_ȊQm]bQU~,ћdAV^RR ]iօIJQ6*x\5U(bLf5>'oފsAK/Sshj):>E ?wq01GTy;exlwc<|R`+X VE3B iM &l_kxMJEda1é^/ @4"CÖt.+c#84؛**C4I޿?-O1&14={.8zh޽͆A_N:d9qKJ;E!B;RǮyu|lV"Véw'ϾP ЕLKzΤOòjȡ˪ 0O';ñpgI27h4)',?z!$`__KE6o-ʮKģŐ 2@_1|?L-Nٌ= _tb{#28 H객|skvӸT(Vp m+5 ;V<7EBBZ9Oܦy>,X]穈7F(P ޼&LȄ=1ldqǒb/j;a(k{N ]s=Gаu#>RR`6U5df}KDtD1hWQ3.;K#Ɏ}+Uvd$vʰ'Z)\.Eo\ETW0Y'(1 jO#m:2{ˆ'; /IdѮ@ H.HFT|Y<|3'D(I'!Xq/ntav%}FeK[XDC߳=P@JOEd9Gu^hTM9Np(lX 3k.Q/RHŔ*Ѓ]HՁ1r$7${s[24ҷ{`8Z}Oz&H؝аO]1);Zϥ;#6ZdT|5.{7.;"jᣲl[%OEuH|qF<`G+ :RCS!kf^\|j!Ѿ?LٮѴNuDB<2-KMՐ+&Zcysga{4G;~ 6[DGy"_sP,O`kJ7|}wEC۞9%c#~9!} Vq,+.wU56? -7K|IugzI"'ߘ@D 'ʍފCM1*Ί_O}6_,OOJM?A[:TZ?yQ^ۼ9i?\M]|*rfwJ>De03edmS45\ ' aLXґmq(9}Bǧsg|<( ܳWn萒էJNX{hD+GK=Nrbpo?tr1#F9ӜqWlGE{̧T.c3| b .ߢ7m[6ΪMU8;P44R} ]מe~>T[l`6?q|8W,edV<帤P 0c|0}v[{X3ȝ^BgP Oښ6 ֠ڲL֔ <_!7vI8-<' ޓ1u&y4L(%\|UyTgtϟG\J6؏O#|pmҖ'V~\>gQw !Ym6 km^jdٰa+gX4nƷ)5bit4F@l![MPnBRx藯og(%H5َ1:ilPoNZbٞχ mZ?o}ai1bDYf#'aXR[tK_el`ymةA^QǯVX|ޯ#A3g&,:d!zh[Z w++R蘜e9f6aN*>}\kvou6Wԗ[,Wl>G>143Š,ᛢOꓱ+VZTOT^(hqqϼuVv_c&5RhrPVNid8jbH.7H#J?iwY#kWzCqٔ"=x:\R8xLF\Kf>W K^%C6"܆Zf[ xb/=}5;| %.xvlaMSCz)PrǰA>{_E<[ZI ̖4b=bbXR!_bB t}IE]!]5в@ ѯV6@NLm}kXɟϷ498N7Z%בI [l5Fw/9-lS+ liHhM% j@DIkmv0 s[cZkQ$&(~ٞbrFq4"~["6bWdWWwgtQFQ 'P;t 4't?:[\gYZ C #35 HOL-NominalHOL-Nominal.Nominaldocument/Nominal.tex7zXZִF! ]A-MՋhvG"uIBm5ĸȌop< Jm"d7~1YS%U_{{,wnC#@GJlcvD'olHyJhu9)xЯt,;f/[bϫ&w؜e-4!Luɇ/` abe vy$;; O_w 4sCb݇c&R9 -M⛯C޲`gpi9 N 2C5aS5MUegPDT,h$v7O|vJD _$k Z[J:WE.88\zhf{E9ߘ& . g5n<ι1tlhFiJYE6>3~$~C|;Bw,Ʒ.p)wJwx/h+a^'Q fCi|\ՠʿ9Kؕ OL hJ9F+3ۘn/el&4Zbm6SLǕ5Ac@$T݁zXh yU*\C6'!hD_aCAj0$,`1 gE=uuu;ibVB59Bw#:6aY(J:Ԑ SXr,K?.ӟ$wbI.|o"DV<&9 캥)CI!mq>HmtWPS36;|0aLHlthpE»B4No(rP0,$,#P{:S$$3vVXGmSN 宅LM'jLjˊ: _f~>~_A,H%-p|7TLPt>sIa?bg|*UMS08:!/\0qGbEkIz u,(.-|᩽ƹr g+[CnΫooitg)`:ވ0dq$3XkuC6{L8 v7l" (9cU~ؽ@L#"^Gšϔz]Fo5 &u| DzDx 1l5Ow 9F qJ~(Xl8ց"úpp:3֝f] `\׈Uo%61kv-8ҜuFQ"[w?M2r9aY~p䘄 D=KJ %>  Vs`1ބa@~FҮI'!=g`~ oDvz A|6oRİRA+;:BT IœPԼ:26T חk`#F h=qjK#mzw[TI dӣr#GQ[ۇJ+z(%(:9?)Œ/3(:Lx|z(-M`Eli}B?I@\([}]}e0iPTԃ)g*+jyYݨABb!{%f\`2c5gum dUP^F zE* 7e2XNj݌)Ǭ |~"h.\I~HSJ`*U+H(D钂K? NR52#vwpLyŜ˖Fug+YK&\@34l9v /Fz.n٩\_,1u?Qw_OE7aa\ģm 0rkSs.q?#=n>{NщH'$O{:0^ta?UF$q/qMɢ_% o^{DC1SPɳC[g2  ;KrR)PUEUqJ|yF{0 ͂3aHHd,&F C31FP'Dmd}@Җja=t\Z^:8`n|)V&^؍XEC9D2XJ1j}6C)nAZh6FULHc  nK h2Os:"naR/S&sSK t;p@b(PF׹V=qӖ/5//xj A#z/Fᱨ;[bU X=Y'1: 3wG&դ=N-p5U‚ +²;fZTH6"+~y/оWveٱOaE +Ȇ#_w<eankOVb ℸF =ϦE<)nߖHE1\` >IqˉٿXAgGIWW@Zr0-^i8Ccf/"\^xg4eaAY 9QG`r