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 ::C#r,  ]/]HOL-Nominal:threads=6elapsed=7.262cpu=21.696gc=0.9647zXZִF!  O]ŗXiɟ  Q p`Q +T泎1S=;#P2 - [ .h#23"2QzkDCW;EM_*R.Eu,W:9 LrMRaOOXS;e٪P KC僁v4/ Ɉ#3Lġt8=n^*1ly,sAXmYn?/.r𝑵yySi|BSQJV d(9r!ӆ`OS!pbŏ_)mvXHޚ }j UiԱgYZ7zXZִF! ]ŗXiɟ1˦r.Hil c`1X146sdlX +y&81dOCb%bHn qyͿqR;6/Qc;IlRI=DQgYZ7zXZִF! SB]ŗXi%LāݬNw\t)&LWN--,ol &hawZ4^W[p_Bad` -n*,$,:ѐN_a]Cwg^ ֧ !^fwtdW]7&P_f"C +OLnq\a{YP$r{D( g@:QY;[ ݯe4 5M*kYo0Vߦ͢w {E]%Fޟ$aRNYD|;4@z0CXwLZ[hy 1 |s)՗䉝Z S5g b2;1XCV< Ԋ6Fg ]_SD( 67ws_TO-k}Q@̓l6sv6^}w&]mc~L(V8z3" -ԜǶ0C^hr3F͢aQk^96[jYa$`bÏF|7e-^cض]WwQRJ$@>߯2H ©dC%#@1*,i^K(|۰ӌ\cP ' ^c'kHG /G\vJR08fs$.sDVehTuL+x[*8"#xL(*ؚa(ǏT h}ʀzM\ `ӠsqVh%0fj +lw!m0q|ittXEzi-Zh뒚к"Zbhyhv̲*W `,s "gYZbd1b05df34f165376667e6dac11e79fcc59317a509b31288d2a9ccacb2f6f283c9625a7fdbd68e8f 1ec97cb3aeae702d70f02f0eecc00288d6bcb40b2a3e865c27a64b8967eb4fe653a209291934138e # HOL-Nominaly#=A tHOL-NominalHOL-Library.Infinite_Setdocument/Infinite_Set.html7zXZִF! Qsq]ˇ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&Q#=A $HOL-NominalHOL-Library.Old_Datatypedocument/Old_Datatype.html7zXZִF! vK]ˇ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ǑCJpP$#_5No!~ ]'*$=ZlfڿXK}uL^֓ex"V$>Rm,n2"?/DZ\vk5'k8,JB2Ზ!q>]6^'bf579D<P@!th8n{ѱ% M R se_ Fk^gAQr$pS(&YYp!gv ${_2CrT5 KKc Q9Q}8'T;F)82 yĜL /i"5t%2 e943UsW?uBhD )JFiEUb>JLjPKgx;Ph?E c͢~eXUonD\2wcGJ Rb~~ LS@3c]Ÿ0/Mt.vR& #üo##QCŠˉkX~x$=)θ⍉#^|b: JdUy:>U ŻVx'+c^,U,z/U,eωN/~jM|3yS1^u9)6bչ>XDj9J:@?Z8LNl}\СMLZxIoʌ$pe^ۊ;h維$M)TCWORfw2;:/AWbf<拐iڬUpPԱU]J<>"R`u*}HբXIkvv6zϛm,0fTPSN9d|f@ W`r vHQHduKe?&Xl-WT& m,*, yg|׹-n&&WA+P^lIG[^Z^=fKʐ7 Sff@]>orUzH 4Ԏk\   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ϛg٩Ҽ΁RͰ8sJMCPE *絯'B"w F@%Y؏gu"q+L363P}9{B 44+̓ #P@,"mNg̓=My/%^ڻ]%s㏵+x-Aj^+ә0ڜLv/}Sk0-I(dip=*Lۨl½bWd>^rOѭ4ͅ6Mb97)o} -4hUa&7q2~@E\HN4q!4f\n#n]~C ʺVj)/H`(gAj2$;$Eeё$wSWQj'r*Px1I;@;r^o"٩Q?NV֑]=e^\XufՆ1;3"dՊ{`Uz[޵/!6 5)*?n<_?.1!ɛ! WW\Ď 3aH>RMkN( \T{ܠ-֐N_i;%?K&?$.)vO-}ƭ/I4HA+iI}~nI3o2Lh qrW9AfI#0e| C ]T k`.GÀRX*dl0oV0췜KZ几o|7u?U?~i?޼Y"jo ?K x/ǥ$l}I*K&@ "9!]lC{YKCe M69֐u4P]mX:`-1ʡ}g~9S=! 8uZ.Gl=; u'l͚+(qᅵ9woV'Ъz\TsU 3u(&|$Q};lRN9/ 󞥕Xaxbad}"} w;X&LL_P <Ω놧n!%oGƂUx cBjqr2WAgG A_pIu#k(A|ѮrjU vM;yi[jKAV|!b[-,%nlشIy'FRD.uӲ:n}!IA!=kZLbrXfiKV]:w hUxa4zEdwpjbpG9㭲Ff$JCG0ڜ!+\%NN..K Cΐ&GSUnن*z!639$n )yW>nkP=#mdV\st4-Nr0)p޷SMti. I/ߏ%X=_U٘xf+w*/$s3?( 4`Ap;>Ehr&mJhiҕ//v0b2+h Q]uNl@P,) 귭j; Rr3DM7on1 #ňۢu`;6D}p-&hpJ> 0Wդka߫1ݍge%B_ M zIG?,J3}YFp&É"!|tu ,@7%\.+v14栒9<+e.bo_.jk״^V<3$͝"M'JMqhgAH: H?!cL1NgeU d2HisC_˥ ΄gx)B6E]2u.&n3u ZExx(סINqdf"l0>@N5R"P~}'%gD|T\?9T\'˚T} i+׻j0١w *HPkmPaep")tyN8i1\DPޓuhr>=4 H"V3x!eO3RƉ6&Ï&oW ǜ} a#+#s]Ҧjd6\q\5'&;؟iFy-gm8eol}rכ\LG%yUubgp1 ͊}0P/c;?Ht+w[J6Ejkt6:}=OΟQhyGO8: ޵3 VUO{#T;D"O|aM?t5C%iI*XaN PK`o#t1X"XVN̘@y2ygyV{^aG1[m| '7'=g73cBMƧ9Ik(WBROyT)n؅mz;0jyPu*h^..8ZƓ}S},55a9\l)CNjX]M! ;7M]`y4h&TXg(A4ſA;kY@~~!BWg_}w_ڴn2yZb&OhHK(eWq`Mhv>p@~jt2eioY@`:Fη*?/m# "]\cEG8=o&I:G=I)cQD%[[DxИr,|K+C4x z %`'Qpp7>%݃W4k(Rї@jc~+.$,ᝏ~F'؝&% yo!M7FG1WHؐˣԕX=us]C_Qjv.OOOe͝:/WfD\}FZM|Vˈhf }ﴙaꈵ|谏3ڸ*4p|ņSRO3MJB2Dvy>aغye7D 㴗kYg.(~Pr!ďq4*xt{5V7mF9XE*3mFg#+/a#i|,aRiB\qza(u?rAq Dr ||3!Y^;mvYSY;>,hsXx E ռm<|_sFh֒BLCiuJb{URse|EзH8xpK{~Uu /LC{e  ld3y;ftS/Jt_܆QU*ke{l4mhV1=)5x^^`%Y~ Ԙݼ@>)SU1%Z0 ,蹈a(?6$dfV2 @G (&5BabBJ4dAdb)`NiĹO|Tu8鈥*j;WӨysų=qMf;k.b}*db:^F(].K 5yqHk[a1<3z{r Uy)pQdV?7Q&LoN"UEuR$i|$CfJ`ݩ@9*uRwtLq ITcPD@'B'DHh“ IҷمzMe(KՐ6_c"ɾ:w@KiIJCs,>m`W54/fPRiYx\jkڒe'~2u>W++XN!/aYPݳN⛶I#TT9)2C]Zj>/ZC^ECq-j9_R.wR0K@A=b_8Z1j$R.7Wkg+,H8H$(Yz?p14get=\C̲ӂ*Sӿ#Ly _ۊ U9Ԍ6UsRMI7% <bdOMt럨.+xN {b^1n}"xYyLɿԳY,akX|w_Ry!aZ$~{Y(]?u5jyzHj۠$X^Ɉ]B|i]%6 c! gj]ES6" ='}}8Tl*~މ0?xDL~L%mRZoۇ+rVVp"u䉱~,>Hi**4qxOLٲ/7kA:v*ˣ+f# HVh~e:)( ̜'B l#6n, vTA3Qֆ"iQzsrZQ2ODЂkK{~mTx=,]K}A"l |)(9~}.*x*}$7Z&5ӝ-SLPybY&d^1`PgB2M'D}mKŶ#zd9FW-b ("5ґ{N/$"8:ZDN ٧aXtTងY!7[֝䈅gSeIPTX!ݮW٬\i=2"Q4C/ё )\,VƾwzSiXXU X0'燞$:]пX"OE&DA-b~)Uv3o0"&`]i%Z 6]N}yŦE[EL~2A`uxG6gCIe2= DLІ rj.lIBWgedOg3_2alP}Dm+hp`}q]COśҬ֤4Sg\Uy{@.>D-yY"S}\'RU.}*S}*׾X X Tsn/@X@7p,c lROΧbp6S5X )"}%7" ʺܩmй8cEVl< Mr_m^QF.[lEÔ1%V9}|xOդiA-p!->b+5BvZDo ;}1QRu:n=ran 'mT">V%|<_Pi7ˑ?J>]|Cհ7~3[%a2pVYqQ⯻zVCaGҟ md:T?^Ҕ7u1e^  mrt4}j!BP "Ȍ9Yko18!zN[7;m3IhGYi1KkpNEP.8\ͧQC`Ta1Oɂ7no H?Н 3{>`5tñQ/.爐^VBDjKYY3B>'4/e)ހFA>$9KAp]?G=k蠪r/%cN7- oSBD{GѨ PߠAY,mI#T9Eg6MU]~$-b7cA?[KӞ\G4K!쪭Rp7 M;vڋ8;8y)Đ-N&1)u E}G֮jXf,/k?!RmVq)qu<-i.=)@~s )l󙘧4haqш r1G: b6|3{$׆ )fi#ǘ$XnCOS8F0͖dSÙH1Yp I4O ;x>& b3 cr-";{T-slѭ>Wb,eӺL!wVM5ޜ=CSPQ|KHͽ4AɖPj/)/MSDt~Q 4u˩2]Qϕ9FgV.Mi D7/1n$l>M 7*Tw`6Gj\qg=i=a3TOR9p{,3a!(c'} *>MMGӅEEҗi$KZW;vA|@:SixK V⾈[ 38_Bkp˟Lz#~iJZNitZ}&}4M=h\^[}mPe[0σG܊4Y:1 65SA/f%%:ytF}`JjH0;|r +>?669+Xߐ(xjтኼԫH-:g`S_%k8#٬nq(6GF 4NUFSA p6[㯤?WQbH_sk1]惮UX0?]n$]#Zω M%*u3D:Ob_XB[ћPe},thePebhSNRm|v&ȁtϡTbM}1 4Idc U#&3I؈ChY'"[Xg ob[crih/fD/&he4|Z3g-p+!1 ;ςVJG_@D߰>S\$! ;97 -J7uT86EieJ2OȨg5e@.! 'II VƦaKP5l%᪤u|ꃞ!I2JRLdj`OtiԚ}Du#dH.{Lw|N Q?OOgn\0*q/RdJ%̚Z) pY|g̓M]5 s"UД}= 3%ak;?*m[xԅ>Ҷ"[zU vع Zda(w Oҿ`I-C[Cw,XRGxB@ٿ)9dhX.ۆ}Z'Tܢw2aj U2gkp"`?OQx2 PXҹ3Aijbe^cҤO{|#S/3PjK;]V\lʗ[-!aZcd!\]CYj …]Ԁ֒6"h7P"wD<} 𜈆~6ɇ . b? ;O0@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 4$4y#=A tHOL-NominalHOL-Library.Infinite_Setdocument/Infinite_Set.html7zXZִF! Qsq]ˇ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&Q#=A $HOL-NominalHOL-Library.Old_Datatypedocument/Old_Datatype.html7zXZִF! vK]ˇ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ǑCJpP$#_5No!~ ]'*$=ZlfڿXK}uL^֓ex"V$>Rm,n2"?/DZ\vk5'k8,JB2Ზ!q>]6^'bf579D<P@!th8n{ѱ% M R se_ Fk^gAQr$pS(&YYp!gv ${_2CrT5 KKc Q9Q}8'T;F)82 yĜL /i"5t%2 e943UsW?uBhD )JFiEUb>JLjPKgx;Ph?E c͢~eXUonD\2wcGJ Rb~~ LS@3c]Ÿ0/Mt.vR& #üo##QCŠˉkX~x$=)θ⍉#^|b: JdUy:>U ŻVx'+c^,U,z/U,eωN/~jM|3yS1^u9)6bչ>XDj9J:@?Z8LNl}\СMLZxIoʌ$pe^ۊ;h維$M)TCWORfw2;:/AWbf<拐iڬUpPԱU]J<>"R`u*}HբXIkvv6zϛm,0fTPSN9d|f@ W`r vHQHduKe?&Xl-WT& m,*, yg|׹-n&&WA+P^lIG[^Z^=fKʐ7 Sff@]>orUzH 4Ԏk\'(!T՜Y  #=? 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*CY DSw7lbEɔʘf؉? pc*Rs+-n4η·^=nfEHW*JP$`rekOݧ.4̍ gنp s+8ejԶ!3P~C#x%>epơ##j%@׆zmV}?!Cg2#X4L? ;d7{O5[:Zx qZE֨"P(e[hu-|R kYD|5\DH.X) #=? 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 \ %p;P[,m,zO)^96N(~ S7#Vⵍ.Q-}#v|*CX^d)jxщŚz( CT\D-.JhTWvP/ȮO <<warw[WHVrB( E"ЬZ #p$s2ܦ ?\M} =ZM4uwIL oe!-V 5T@ЗÊyb[ X݂zx*p-=%a<`み5SIptqQX{11PM8*;G[wΚ29hO'Ѱߝ%zQ*ຏ42m8WM'5%? AyeCMꀕE& /u 5݋1Kj]e -of\Il@ѨbXGaSv[ .ܱMmSlf~'%('xSe"8/aLDE>!_ «vP/B7nk7vUNo5o\V{1c!lE&7 :H;P!q3U uF^2952Q94 em@]_+)mވ\P_:zКX;Jp6g=lȶt1x(㠻#D :\ ]u 2^> PD[iLdd~+iaMХOB^Y.FR_A݇b"Mx1օ@HHt:9s\mIY g EB\taZ?%yW]+ 6KL/2J0DmŖW 3ĉ :Yuwy &]ۛLA_t_ǸSn'"[.BKPsNz0&;kv| jJ8v"},pa5yQ(me i^ G N_.[d9cz:Ľ!r&0JU(nΤ :CEݩ -\"p_kؓW7PY/<\$k(=Z^2Z4_m.PVBb?nqI#"yT)lKcZbGN+b MƠelc2y(MۚzrYfM*q?5ϡAګ ic/@=( #b(@'3y LT9R/U #)q =xILg#c篭V6F#t)vNZgSf5-ءCJ'yhX!l(Ic6 Ǖa _2?!аluQ |鍱~fLѻ(M-'Y5+ZL4V硟+{m! aQ$@:8M.#Ea^Dv(nlj!\Cb@jZG6)P b~ T}ax1޾]Z=?Ҙm{|ezѫX˾{xԿSqn;6Su5jrՖ eܓM=`Ɠ|WH fmoiAyNdr_>eBzԺެ±ΌjQ:mx~' }YA J܊3P >-A&?XZG#G.<'j_1;ʨeEANGȬFJl+j#6e;꒞}|磛Ge[]>ѣ`^"&Қ)ɹXCnTVa28Xj>E^P!‘GH%nAxXy /HKho(d7)޳n"TxpEqǴbNN6K1sn}$X]I Z#m=hfI$\J!mIc[~E8gD5qҬ7Nbʸ:+/@6x\Co@CK)anƔ2щ9F{Fڀ&U+*χ)|C.0axz3a[ &;'#j[ln/35leC66nN_GGTECEx1/"%Sjp|CO)%㧻kzFKAMԤԆy ֈ)q~bAMSbٚT:7vۂTܦ́+f8@j0P L|]1CÁ}V6Nkhׅ)g{Ə%}D Y[nʻVdE=\;{AYbN¥ZE)YR9{Z&7:!nE@2tQgz?*1{L^At]StdϕK"DIv66># Q""D>]>#zZI.EsgCdyci =;ܷb3~z~ϻIi?N#uu4F$MLl{uuC(a:㓡a@6@`+L\3 bL:z당t?~ kK[|J8K pCwR b7g-wjQ~asIP6.EhYת5v=Hˏpp>>׎.F<&T4kwO Gq#y:>W Zp6/oXN_2㴣BN4Zi/_aJQ6 (l"uLWz4V(w Ѽ 9-5[j:o~  hS%ŮL JG/$7Ta˩,oq-b@uMu<@"rk1p3RgI`n9ygAOmL[O~[̃suTc-\MѮ`>b nwZo> ?X.kY,XyKVQC )>^G}fy-槬1Uop|׈ qKBS-ӗ6YPٹc'K&.5^ wESVFaũ{PVsIf.%LI ^ 7mj.D;tN PT4ZR!9tþN$_+F0X4?̻(lQP͌öPXeE`/b֟Bhqh2d? "dۅOY-`8KyPWGԐ*;N V?F:CܮedwTj 2ݽxԽ4c9"fT$S)$w.}}-TU8,=J3rEHkF4wS ܷ %G= A}SPʚ=2Anw`tϺM xuN]BsYr`¾hY V !  67^vʩ(u*VOܸB<{fDh_t(EE4aޒEXHp!/A4?UmvD<4&R` XnO7C1yK,>m #ZV;yRF"hk~'Zd\5ĩK-h.rL{^ ̿b0 GkAckŰyqW;o-]Y ;$?6̙!8G@B;o$K9q@`iJ Oim4u;o{~Wqtq*C  .l/KǤD~)o3V!/2 MF`&YV?No{fgM||ӵrJEnŗ4N.5Ri=:wɄy( {.pqd ȮAqe :qʂ*k/% @(6>ÚjoNI̎ {߲p;~P_i F -LbB T61M炀޿WlL0s7.wjWjF Hׯ( ݏ<٬Nk>_m]Gaas#nhlZ/N!N,-= FgDR>Kz`x@7șk`;(<2JUxDɪ&9AY4mR?&tQKNj3e`zU(_zݩ&'FbqRH_aC➐[]9%u"I kw0:+Y!ʡ汑~LpT|)(WγZt\L꒞Q^r"nO ;>0j?.hp䭁Pq7jmȺ5l2hLVئ8e@;e"T~ .a'Щ٨ы/"^!UvhgͫLYJ:q^#Sحqh'n\ Hj-ikSqb?NտNa'*R )Xj;Ĝ$_\dq){܏co8`r,DYY!X'ә. @m1&*`rt޵V)p[,JB%Sē *( ? E ~rx>ZQI@=Էl2F@xQX餞tx4uF Qmꚗ~x]ytC@|+LRGI/!H6(c<-3R0Be DT@R} 1LD8K@kel ujN| GXfc,]JP+W,:c`3u֋SArP h#irdH)G)ᇻ& w0o..(IEv+{Tn_ F܃/|JаQ?|C֎4b|*w Gb=yƅg+7F0%8\X0hFNӲ&W\`|~ić<F; \N?UOs (]vG *(Ѫ?|Kʢ Gg{Pm]Y/@h"bFz =BUMBA&E&_Ƈe;ۀͦ&P3Ӆ±H&=rlO:NjcRv+yVOZ1K}żVV !Qlx YsalڱAdB2># F%ERxM I:`WP I`n¡Z 0 ĩ6e,$ ))p*]ZT,VcajO"pk33]Be:P|؄/׾KMJ<[YEM^lYR\;/rWzU\HaFę-;'OtBqEZX\ᬶGX4.bPm DljR+'䷕ł@h6:@oUOY3 ( O,b}#w9~dLc_i1& M3e 0ri #69{&_A&dt4$K%,"Z(DxG=8S- 2 Ή>:BĔ9W/ ׅߌ abRuᔠ(Dz5V:\a/+05X";H;V0D; $tպDcB?d8E,< GũGG[@)2d3t&t-/|'l%|b#QoҹkJ.{lZ۫4YHG[sB2u,ͤhv!\ImFbڗkzĞelD'e€Su kwL$(z! V$+h(cegOXUѠ8YBJZqx^ u*lӢ'+Ӗݿt"IJ"HD.{SBj n3Wj?쐙jUy1l!cR*od$Mv Ilg09hBlB#-grZSE<J(I 9UWFkMs}S]d(8)x+yy;8Q"3bޢ)2\PHXd>|7|>[o90z?Ga\ؓF=b*x21,5mO8=ZOx g9Ꝇ-"}հB{F߰=SFqTO0١;AL6iֻeZG&IJ!1lxo⦭\ʷIwmeB82'6)a\Ý;^8Dq%,V U|d,nE~XT?I$[Jsk7eꑯZO#/ϼÁD*P^9z=rd-6Dg^$z.bU+h [&,q5hP tt:wI:Ƅ_Dmb&QuCHU{$2P`Qo|[RM_4g52x~YӎK9e i6~Np_YM {1\(+Yʂ;L#ׄOX3}[*mz ȳu˜aq-T*yhl')D *U>1V\#lºRS9.as~ (?Yh1hPo'v= Rqf\w&s}9~#5W(d!YWutn5Q݃W ( #@֕M+iA1?*J-!E0p(p[DdW_JI򎐥.;%e<{ ZJ3h;(bvOl{xq?Gk +~P(pZPBbF]yRMX +AR dȂb>gQq`56Vvψ#z%Ǘ A Xiw 4@[,vcz|ut)ښjPMv9 c8̸pg+s GǓq"?-nkWˆTcN=?8d|l+S-襏HWF|XG4SVQK?9H<گ|žb.fNїŊj?מ૙{M, i~0Tfߣ KS}uQ7ݙ`^fү+2^_cc~%hRYSڄ0zzh_u{G@j:rcWy 3,|:i=x|eg#ã3WoP?4lD^\A=[y~@vIdi ޻4|<?Ą25[(׌_8O\Ϛc:v BI fgXD/+}L".ϳQ_\yPc5=mym6 vgPszn Ο] KCz^D(#];yVA!4bnܵ͆usXk$|o e);d4ڻYrN=40w@jqh*Oi*.-4+wA5PJHj{.$?{͘xoɐ,gs7ur#0?-b!ݿ8;2lmRhHJpnvxXo>WBG\hHyڅG~ Sԛًl)RA)8$yB%i\ۄR['RD'*w52B.Iߤc$!S.hwڙTջÆp{z/f@QLXT#`&}N"Q@e=Kb/H t(_;lR^{Zެ;2>8ܠ[PGyXԣ,7:2K&:"TA<)Hu헁pf#C+3NÕuLճ&ypy88ӈ U@.R)FddH'e Y?jf+4:mL0SܪV3!C-?]Gtj7'B^uXVuhU؞(`|bH1zJRIbMٴ#3}c{F/ T^>NʠuL䗿ȵ,]Wjߞ&흗 ФIߎ)1j.k!FhxQx"' Śza1ɯ^r2Ta~\ Sd[~p;2f6>wJU]zz/{ }GWڇO_V͝=JH/#؟\q!ixkMށꊜvBCULE:$E>e;B"(ˀ̀BDWlhlcǵzk@E0B˸ʼlK#(̘ë㛁֒a<=@ rSD#)Ute\#=X5s,Emo&KIz؛s9pTN U ?Yyj]fAn(YMCvʠABL >mx?Q|y%'~ƈL <UyS\@vJ/sZ|S&$W$dRTj9g,Xz>K+O  ꑯ+N?Ua mc@Po)@OiFg&8AXA㚓Ym4dF xɴO:!n8{lv}!"L;p9OX$ȀmP&cP\"m<4=كCv+m|)aͣ{FpC-l?q%N~&8=`RO[P3hXf})#? 'F`yCG8Ǣ`WL2Sn* \ORXl@Li)he\- uɻ*7 MeVgTy ͦpEՓן[667ː Gw-k56 :sL䒸M6uh_QY0f =Z#?Lx쐇)Ѣ3ê#SWMnhV2DZD*/!,)87԰8~Qcې-Fq2BVz/@hQƞ@^vB)`w2(\*E0fggHm6y|/w xj (/nVfG('//^~ilZ2En#i WcR T3!ʰ+tj=$(G-N%(UKAi. d58W}_ny0ܲ0KPh҅2r܌*1-)z T.#ۢos$ۊ%F :|+vB!203?7!:YX 0S<}kYYLߜTq('8R`5Og:*mjzK&vHq8xٸ _=?Y Z,½4[}Mq4V$LhEs\u11րrz]ˋ94qCτ^Ō!0!2>Q*yɄ]rb/ide=.kp{tcƚiD.#;4muKkλv ̱d'o|.p=$]wTxf&53Hc,=@( (ccz>}?UŹ )G+g[Lwa)  n=hD NOZEU,DuIsM(k뭙%%mχd׌mW,l]ܤ]@-~eH[b+1u R:;LRX(oU #yq= ,6L~Z+soA dt,) -zI/kZBR!+]hV'iY4veej3PbDЖU.rW0L* s.%IQ5Zh. VhnoGH5,@-@pޞRv0=, k{EhQ  ̧%N.7Sl/ 0j~EvQ9qlgMM&^P19`id"9R`L RR7 ӝ-hOvCI(nC٘(- "eƕ'o]h7b&?Xc;tŌ((Д<&i;; ^2ډ<7@>= 8[:yO545T"\Wo(Ϋ]LJ΁å1DtJwtSJNŬA9,=xkiwrٳ?ȃGMpV{ ׸jS@ ٚ l?.eXnn>#-ufaNyI=ѷ胐CyZ.8 (coŊ&]3Nyuhfi -{<9,yj*#o䮼_F5_H,ʔM@ i)g >Pkw7 /7U{;R]=N~&\?+eGq /Gi]EmîF}y B/}FpM2,kR!j_u-w m>{9@>K6dwcz}\a\AOGa%RҖVBʗN& Xy1E֐DL7P{ޛçr"$i їX:3*ћm &[] ɞV8έ]\֥:xw3OըY{xJYq8ZO/%UN;XkXmŖIx0VC0E?wjKetB,\Ayj.2X{Hk2 y3PJ1kҜ YDmVKvvH_3jņ"+Lv|]qsuh}w0J5sg{42%_~ZhD i:۷ޓXT.`/utƩ2ZD^jff~c+6S_iT|Kġ7NƤ&A~/ZfH׏'By8r, yL3WTe7Q{%/d>z\ G4ҴZkHRF~{@n'U, ;Wwi_к)N<Ҝ~yH]yXOKѹT*eR޷˧jz:sQۼ:-p55n^W0N6PԢc5ir1SElw6\E"bcr4H漣D +0sȯvVW̍ !\Oir tfhzg&̝Ufʁ٦L;a2oh쉳и, >fFB:wFߋZJgC+JS>R\DMdfdC\*P[ "FZ I``JľM2.2a!X+ZmbG܎" U4JR> -, "WX5EҷA@VF 4)4T.ct3M)+؄O0>Kf {5[?/PjA50#J I8_\A+ݲ),.C !~g-kwwEM.$Ah4t G3 >=V,K OZʥ 0-Z:MxK"QLq#3^Ƃ0_FɆ =i5*R6kɆthP*A#ϔ: z;qؔ 栃@6hWJEvObԲ:BG%W$Q.0XRr*ڷ[W}> Fw"9ĥ͹~*5Ю!1x\x,t?j|_R+6`Fq(eN^yDA"E{@TIج3]sPy~"E*{ ?DNTi=).sgjF>^&,gBڹDb+(t-5Q`Jmoi fk::5Y ÜOZ`a%D] AfQrbq~a^]ݸٷzBB0GagJTMg{$?`;XTfy(:k}oU!:8 8yo-Xy&:\:ܗb-bG)㇮3RbisEŋ ` Ɯ.܁SCArE0 ݟёb#]4yvqD"*l>5ﰔ#E1bg-n7$'͸"|@;Z k+6%:KA ={Y)ڡgN'"~NsSt%9DBU'e2<:1: IS-qfɮ0S(HɺuȜ^63ͨiL:Sn]H\ _ Xh*]. ȗ$bM*o)LDoKbFgyDڃyxaAO;my(pJeR fbAܣdͲmE]GeHR ,:6=iFVehx5eˑ 4Ў38M9!+^͌U?U =iv.RI3X33woeBE 9Y[_b#iIr{C τ9@Zhڨ;iO<2S9RN}4u"8˜=x2xi ؒѭ~~U>U,*>x=j?AC L/-jP[ !~u4fRIb<8q;WlAsAASHG% 50zrOբD J_\[Lxy?n[ú~NmJ@|Ph˝s]5?^=~6v3z+J4B ;?]UQ!TyAOTz|& ^r#^󌊎,sۤB7[6]a}:@!G_Z#c(UNC3`]S; b@Yp[x(mHƑ).q}@!qU`_%F8GEw\7c}j 60^6=/셙_X`G_dKķFjSE-Ch:&6?dFծ\W:vQi~bou'?ϝNʻ|edjCM8y:0 xHmloHx:5P@S׏@diķ]B9B'X>Ss!  14-z̢,zEBlyЀg\w +3,y=e`=A}}+⫆rO;+'6T͔BGL=V.dnNGNo!,5h& |޵nN:0ZT܀Y@NfϤ x.kXތ7\tMRȲk^{{ #w!bE,*#l?"8MqlZ;LٹttfٚcsX=IkQ5"LCx??kr~/1y|کP&N2|oe޹̛~v/M?ᛅJ=R>岩k@O\֬/K$6Q@!Y|5=QHUA# 40ݢ|١nAmۘ}>Na` @F#yz r✜;?,W:d\22w>d"#pA'LmdNNEddGǕ1P5Gӣz/~_6 `ZKyx{fD)up|ϑ5R {c;ѱhy=+jp}%_0)OlBf0M SOBOd>XU~O| ы(I-z]-VM(kjPYU0TxxbB@sSFY.h S&{>_dz-BZȅ{e'^`N@}`zxqӀ7HnCR9AQ<{rݾ'hً1$>MOgJ+qP?D|ˊ˸% _@&g](~4! 6mBi>}~h4@s+? W脇,X` %MN!a)Gn,\mdOSyX=s } t\ܴx'xlV-xK|tW"AyN]tƒ:!Oud2C &! vu)?uZȲy]d'A G+E ԅH=J X{' lN %qPͻg:VyqK ,l7?`ytC%z+֝7ݛP;ބ 󍴨$]!2Hd/ntL2fJ~IX'L,x.{̊g6:P"xۚ1E\d꬗Bo{[w[TI%گC|ӝ-(,ǫ\͍(eIV^ī%.6'2 V\)nys̙Cݑ |'R{#ṁhbє 8yՑ 5buDM''5r?X.^9@Mv;eP+!Z5dEO ѸjW$v[W2I. M -A9™ yڕ4[)3eػՑ^`"_dmǾ95"wE ҳt60PmL{QTpjmQ(}2\btr.O-E2pWj $ fs1_ ]߿"bfv'h=HV0p54.!pT\KtZ&1zE΋8Vi\~bK3\ xg90h"Inj%5 +_Y.JU-`vD=! a/g'a`@ w{0poqh|?3ҡdh5p)A Mr?@ceϕ]J [kLwI}*R{I>iLh~/dT2xLXGfc- % qTs[̍~6žH⡅W,4” 6gj8`A<1[41Cj5N$YJJW%*| IN*4PfHb: ?L=z2#mEV6Dy^$ᦫqwB%oMYYT'{Dp˘CPVLVyǺ1Ţڎ6{uaưb?4{Z³ X =9Jeb` {ek qbk/@mofC4KP}TiN.fLMEF ?\}j;dgDEb'"_PPA/7< ?l+.8$7Gxj ~JP;do3A5^7f❶%i]F]ZOBo!Cb'6 <+U;x` uFX&4a*3Ƽ'90M;>ғ|/nSګ[wmP}Iy^T Kwi,ѶBV"wU W,ߛbClA- S!0OFi; 6U"%ධxu7y۠PB(hZS1{ͨe| Qؔڼ/,TB_=U4CM3 u7½ ^).)%U.YhGnm=q+[|d57{kBK5DPqj}gR W% #*OQATG&E {NbO šxZlMaw4\g5:A3.ә uQ{|L9 ]T`*K'OmlNq3K4JСbD} O2_֊bGӰ+V|c//dIv|)޾lIr;_;~%XoncO6׏"g*YrlC&+*gu',G_dFU7XIe9%O%bHgh^u.59_ac$/ "~2?/a-3@~@e|8Ee^ XOJ_/Bo PD2[=f=خr>PjCg|N\ԐY?4B2oyue]\EoY= ǂ9djzb+zv%mwP&S E}Ct!Nt&D~Cѵ# kpu1¨spA豏}2\ Pge t t `p:Ά(v&^e".TS-KLf$&Pwef1[Ah $ʰ⡭n>`k)&8=eO4#Bd'0"٤lN6 u`dHz5! \A@Lz{Q!~aQ\$c0q ʰ 0W A"uU mq`A;r-6R;d)0e]NK*Ԩ su}n߃h KHLAFE$g2"UE4Om3b|o:|3zB,ҥfaJe3bpuA:vȽ+1s [~Oh`!h&mJ0p/nYӻ;xCV1 SH)Fx 2] Z^o 73k\պd&d"&ODfg,Uh-5>0M_?Ns}iaE2SLMhHOHQѵa"3I?kYzEڂ"U>:OV!¸]Q[KD !~d+E_֧Ԯm*]+%d8Bk! OK(Su>>f{̽I82}G9RRn8("Ui7d=e‡-2[CV+G' |f=6C *H0 q*InP_b̝\Z!^Vl$37WٷkkQrtl&1m#+X Jԉ]SC 2 3J/&G!#@Yqh$`P5|SP8Zh`?אBa^:!U_y92q$oFZ JԉcGIM=*c#~p}|$3TlG _?k&jת@CtMsm8q#|5Q]JO#ahȁܴݲ ^ͫȗpbh~u{ƒSJMMO$yN'| _TOP}L ԥ!E #qx^=ZPu6uchMZE5 21#\u 烯@D^hᅫ'l6ZKMqL1E*qvtL"[rψ5P\i9e%AV^Gѥ;dFiK cJ՜LDaN>fGj3m,,0ʺ<}K %i~ _8U%<XS xx|cFXd&${ өf3* ,i*kĻʴ_]uƋWaTeF"juVX~75)5wKJ Ox=^ԍĂEzWzQDlI=n"z*yöf18dyעy~k*x'Unw88eӤ-FGvlð$b[m!sv>\)"k%B\ZU*Bτփ%ȁIxdjv݅EeNv|^;3g45UXͥ_+vi&%jY8`s/A!(| j2һg+\= 2F6?2U.pOSſjD L6eꛖB0d<vk0R01oIF |@47S▽s6QBC7g{?PٯgǛ4q>ku.7#h%_rJYUiJO0<4AG5JEm*FO+v0TK&wzv=>ͻJ"Q&;gt,٨?/GJ'`P;cDgYZzENN[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