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 't<D ] Category2:threads=4elapsed=10.874cpu=39.168gc=2.0927zXZִF! ]ŗXiɟ"'Dbs@8y쌃& fv4&Qs6sY'MrdùPIŷrkkPBUMZ'^O:.\#zS, N`oȡ={#Q8˘D*PaLc ;Lkyu,F#wsQ2SQ4orc%s|cMQ]O錻[MRnESroA<)Z:Wf`# I)`5ԵE*F>w KF¢lljܳEG!C=Ot5Mmp&6J XPSiEhkvr(& f W )1gYZ7zXZִF! ]ŗXiɟ1qnAcP꺣3TAaߌN36hmJ{ϩl6WtWe)rdz>>R&s;% jUEV8':Utb2گ$z^_w>q 2jzaJHğV< T⳱=d0ww.a#FaZ?ru߹ZUO}7; pO%d:YCAijHgYZ7zXZִF! \d\]ŗXi%D4% \hl, ~?/;Pj61u/4rgbuk{Ux6ηj |3 7kaXd|*#=awwb;#Fֲ3bD@zx)P BzifMf2}5E#**9ż4zgfƀJͳ: d㖋 v=g.Q1'-])x6h%^^FZ^ ND#UqP[bs'v<.לw7 Ɇu.b^u AXfa~H"רe ;k | %'TbivMùyQR~02^pQYo42h-=S= lmGveٹա0:432ԨƬ;c+h~QP.l?f[t׌4WLA,fTw~L5а1#ԧQG(HI/j9]`ڑ?78b;qQ>zTʯ5]PQUN20$Fzex6f"JN]':xP 8~Y3aưctC %ճdc"u8SIl eDZ_R6 Luyl1Ʊo69'1,H/yuxWTV ʎIZf75nOJBʚe!`(#=J |r\<݉Cd]r\-Ivy,մld[&sRRޭui$#/q,#E<*nR] M>Bar+G<lXIU)UTur@Lb ZsVje gu;ǖ P(HB _@:eG WH$o$,b́'uBH>< C&(!p|[":r8 $cayEA_e۝rx%l1TYfƞVwqZfK4H:ɍePojg?}nrT}׵mJXۼ O;9X?G0mNSAV\Ix p$0 ISU>YX鼫y ^,8N5xh5XxGdӞۿY<)]6 Rc|SJ^_&,ui^'?5^U`ȝm)2ZD ɂjgovE^9d'D}2fBGBc"{ݬdlo(=SLLw㍆ƍ<$mpĭ_;&O@RPN*:wIuf3P>>8F0DK۩CO7rcmqq| hU\YYb"jMC')~se<y2.0ÌU0 dރ$,w-g^e^ )ި齨3 ;LDÄYB}\{X3.YYP$ڰQ]_?#{Is&Xe'E>TFCvLia VC3!GLjәHԂzgrs|S{KOE< |_[|]KcW1LA/')3.HA۟uO%DMfv.lv!:Kͧ5t0U"PfdL Za3<4\R209JKG]x/L9fUzA]=*ю8N>Ij׈VpW*Hk%Nv z?5R눌>#ؤR :7W7Z4ˆIh8#}ZV( ,z# F#5 Q##@޹S28"{o̮og_!22a+hNpu5 8Q2*]m*^n$,*MC@!}!Lj(G-gk|MB>p69tPny=OQ/t<^lx@çrq8ͫE)JQRUqjEa EMSt+3ob%yxwgM"1mq1فl*SySVlܢSOT /* -8z0m*s ?oj)NfU;p© }Q2~a&֖ŌԊLr<:ܫz$RO($a VbֽkY-9Wg$]qݠPyI8}[&SEgV>&{.6 VZ1~sN.t1*VY}%"@>ǔEq110G6xyʧ7Kh X= M~p(5q8Qd$^wS^=NXGN4_6OĴ<)-q@QO_y28Ww|,+4!CNX{omcɭ@ Nu_mWE+ m kƅ0 k "dW{8uL'ư/~_ Flm(YӕALiiB 8C|΀؄v{>m>|.S dn a)[+˓9[X2$6+]dH8L*頚,he]Rm$jX%؛Ϛ$,Çv?X)>FƟ(fRfPG7v(1 /!ލ?^$W _ fFsANAܭ}@5Z&o)M׵h(7tR4-s"\9n*Fg]vZZOK|>^ž󓹤];Ux7rCX7K]w% i䍻mzq ,l cʑfɑp^WߎkdѴ?b>~cP2ʰՇZP5bP6.E E(b.=9\=gszC-OZwZJ%qt1 #A*|i+AQY|uCDPħ^!\     >c{='%%Category2HOL-ZF.HOLZFdocument.tex %!%Category2HOL-ZF.Zetdocument.tex -1%Category2Category2.Universedocument.tex ('%Category2HOL-ZF.MainZFdocument.tex'%%Category2HOL-ZF.LProddocument.tex-1%Category2Category2.Functorsdocument.tex-1%Category2Category2.Categorydocument.tex<O%Category2Category2.MonadicEquationalTheorydocument.tex+-%Category2Category2.Yonedadocument.tex+-%Category2Category2.SetCatdocument.tex,1% Category2Category2.NatTransdocument.texg M Sv/+eFWQ 1zC}J# ːJ'DV]sbBz.Ru Qi2i ^Eh5v]|zKgrҷpqhڬ-ɒ28N:;9{4qCgQo0NM<( !t%L[$Դ^ "F=+{?I5zLt%(sJ7|v9~NJ6]ؖK* hw~j 9yfIhh뜳Rk)\'TpX.~Ka7eHʚR@s?KJےukug7q? &of](Q03ˍY&>yԴj%JVVP"p}`|4:`IRP z-~KauoI$i&s?m!xUŻd XɄYIh;{#]5A9r_pTF^^H*dZC_.r>=/.&8ufB~N+gֿ Yic[X R߄,jo2!##pglLȼM|Mk>j*!waw&ea:S;$[bDd>ysϑ'"]6Ն%1sn0b')ɜ!D,2r%pB:%%Dv,1i Shf :)JE_' &f]OaYCj!HCA#-`Jwj}.c 45|UXGTchhkQi(,;^W6x)U)7.GRU~Mi^8UK 0+RE(qȷrt |L!HF0,09&giQ ;*e: zE?$m+EY9mYҙ9>ԧQAK)mVRCmŜVQ2QT7/|pUi,@0bfLO46:]ВXwyeHf XC>/I%8žM181 YF+e˔=WOTf0KC`W,k& ;.wlNm{106XP⮼]A*̼|=gؒnŚ4U># B*1y iН1L>e~pT!k-%}j!k#E2J#X P~ת`wl7I)X"jC~*78؍ӑhI(hRԩ8f ZMuʪ[Z57&>s[ku5R>գ\6Hs]P 9F2&ܵl0/@;m%\d I,BzqyScR!k jGSC҆=1k$tLr4-@sMC d>n'/txe|gږ"z;@췬5RS^)k电~1(se=`Gs6ς]*YHE]Bg ljȽl}+gfRʢBGu7w* +-*w*yubMX7Xj}LǪ S^-eWWM0-NQS'xeL|򼩔1XE[/F|rۧ˞k"W/J S6D|Kn `fX a0C;7qO[V7vsi _B_&1b/`"b5Pγqz$*^Tق kƈj_pJ|7ژуQOlAsHvF\NjMeQD<|M潴Ħh]w2%TQH|_ʎ L:PnrG#oQ^/4d*Y`Ĥe[vXP ٽ1}sU$ip˶Ǯ_m{Зt:Xl:@XR/MM8NhqDP4V *e]U%CK*;>P.ARRMq8iꪒ Jyr0jV_p2: 'XLe{t -5n7H#{1-,d]=Wѝyf蔝$ULFoȻ]Zs@ga+VȚHbzknٞxiS٫ULu<ˌqjDj\ /O*W_j<WH/Ld#}yNMYf^ؾǦ%rLx̒='E`Dž(3+?7h(# S!J^:C)]F0bcs쿔Yg[ݴS6@mZ9C֠H/N&Xw;fF,UJ`$:i cJ۳Dx?< [Lޏy,,Mwg WL)ba$j !5 _@ _3(\v4b W.Z q@{}H#Ϊ턫Voj1%LpicjQ8uXgac K .ξǘNkv2,\id=v:tΑ13 TJ`2혈'?%h}|<֤L{=R)ٵEhm̌8(݌h&MNL[/yMйi8ƟcZh5 @2֮awk@zBy D$ˊvsҵ[0xi1[#EJ~{[ڠ$?v~cX 8h^c7`Px0- [u9E0&K^ t;{.!!>Ej~ZЄ܉̂N+fWfegsn{;/F49+I:ޒR'}OQz1X81CܱqLvDD!͂eTt8&jeч܈_: ,B[$XMizddclVB9'#7u4UU\v+u[6C<[N;ޛc6<; |uO4L03rmvSN  ,< jxe'TP0\TyM5eP ۍDVyHEZ9*K0o*PXطfD*ݥYwf 0m_aN qoXD[:>0ej:E\B/@ I Xκo3~ sZ_Mղ%8GF}>U*RZ#ns 3/7P a 8v5kY%O)!SJ3+DBh20|{{&#B7y8<@obC-ɺ_A7; ~M8%YDl砎34UZrMݫsahXtf5ӴpX3.4/E>ćpk> X'9'fX?ōh^n}ޘ:#/6 Vl?6O~x/+ QB+k;U boM[(п7:Njk,_( kl@ b;K7S{`]Η'ضqm?yy3LB &QZ,O {:N􏨝ew0 ic4]Nrk #2Ɣj^807a;~ߝª Fղ^}+c?1ؗ^B sQtT1OB`GNXzcP@+IeGbKEbDA}jhy&hzycM~OAei%nWu=gc8lu^@"\ _#O<:gaZYCiX;St|u7h\@dys2#qJ}A>N#^dSGIH7怖.y,"$_^y3& HGIyw1[ EM*Β/*$ 5'9|\9R"%}rP[1Ebv؄ K7OC>$Δ*}C~HS*eN Zj|GH1',7{@lgeh<,8EYZՏk5gYZׇMUkO'd5Ĝ*r,]*wj~ԛKq@y*J2,Du/Bj3 +QOO!9?)ϝ;5MRX:BHMdh;6#R' TW# `TR#TH*f,qU>X^bףFOE )q ΊpD=6 " 8}gw:UE;Z$Ѳ0Kaz-WLeV)j(pͶ^fKQ6[Q6E@AP9։; Vg2|i<)3|atR^]),]'<ҹnrW#[dD QOCTo=%M lui|#ۦHsG׮ۏ=XG}$6X R.AxSlH74as!.y4 8%E+\S13w1݅ O^HIWQ7,^%{/]uLG/^[6!M{<1%&8(sj+/>1/{e5 Es5)3$CC9.| ⟬8k:R}LD!ϋ4nC97 9NH Hsxs1VvMCm;ʯ-n/wJJp) O%wa4i=DֹmM -|BxQc( y Gzk1j 9\J-h_xjK/EfxFZIJ¨x+XDܥ02>kS-B҃ Lfdc ETLwR4 >F GK[-zkQPT e@{ItG)CCI)knv(5 ZAfOqaeL9&矓a? 1½Xy91fu+/։Y60YKs˔#:lYKk ."QFxH?\I_=CtƆz8SnmE&$m,P[k ߧ._5Qdc(:R{ ҳmWS^MZ =L=!,æۑ ]8N>]H|Wg@傿)}k;Z./n1m Hr9-$mu0MP3g{ !cJHԝb밌- dK:S"uwԇJ]E{.ѻvJ fvEr"A1Q- t1yY>m ;7,8r(ca$p =bkQS>r1M*(OA> 7o=GvWE麏wrn֚@<USip&NK*>K>NfKԦD7mziOH筆2NbğOd8]Ѹ/UCF3DmQd:dNBP*|v}A]3Ф} 3wKTDNdIl`슽KSɛpD&,jԁ UI,[h*;e] pT<"&Q3U Jqұ{ZA7y sֱN|y[a[qJ<5qA?g8S"E[U׉`ϼ-1ѥ| .S_z{H6fL5/ u7ݿ!Y9aIєig"\H$-YML C'U_ЌB(j=ɃmHIK㽀֧@^J,ȹU``2_\Ea.2DIt0}7A@KY25'O)scׁnwT4kU*GFa&6(b9 NҨ02&g#Zp|혶PTJڹ-$i[PyQ!t ^G4 Ose@ԫ?ʮ @fB D.sQ( e2S'c7>OyI߻k^qK o:\h#֞q7FR%˖T}=|n)Qf_d}*5J,R"N( ^PAj9D d2(_p7u㸰 [x:Is2v~4ќaDܠ=׵oE_xpftHxpEFjDSeⶴaⓂ%s.Xc_F&-iGn}VO䊋 Qw7sLߕuT,<1XP|>o"$qcnPVsz5ds58NX?*rw߯וzL5;$IeZIfŬ[n L8Z_o&=su{KO쿆8y>;orYLkDd+]eݒI)v=`d2yq+ _?9FKA]ՁC:=8i c* UnoLYV?_OGC&/E\W͸C!̩u(Id<"8XER \Yn-vY/x6~ vBoh[BwgPĔF? /7=Ty/X_V2rjUT/:LV7`7oX$/2&()ClhcIWV4a,_z`a"P-P:}9ѡGXHv]:Ba.>5Im9ul=#pt*/,D_b -1d42G}V vӭ!)ZZavhY7 zDK!bU| nZ7Nд$iJ;tS$ }ۻMl6n$/6ti&F ?QR"n Sϔ A\墝#;ObrJ.E :qPA:tRZ8=´puۜk\ x-gm,/T/Bfn2oCظ+;яzp2Pf܃XBݬX7KQDdzV.tїYP~ $!|W7)ϋ#0&Ag66 a .0Y!`];]˶ozY(ۮw6 L?֏iIJK~0N dZ6ϵJՏlI`/_γ SYeQKWy!rGLO;~{1*g3n;k#ղ>i V/q#_c-j.;ʨ37GJ#YoOx!n4 \EG_4եâ_:tLSzliSr%Q9΀A>f l\S9Հ.+汁@4w耖{D\ ZTOQ{lFͱ?7yQ,G~ypbH#S/A,Qa[X K9hagFZ_ mn9w.cS҅:8d MoW)sՎc%lލ5O4\sٝW`_ Ձ0P"XAPnIZ)7J]xar?vp*~ʩ ///ՇJThSp r o9%[?{Ch1Hv}"#Bp j|qf=+#8|Yŧ_7=(aÕڢ-VoŶ~"qg-FNC8!N썪`aC4}#㵎[M>XJ*%xUi6Rc@/^ӽdEߙky!Q7%2:SpzC*g5`Z)ƕ(l=7zbBj<.Qf)?֛9f-{>] 0QۓN"/huf+ر+vX QSLÀR1#уSjn4zj 6+ajXCyt dO$#IV,$c*-;:Ndc /wN< MA2Xz4j}y@SO)e%sP*_/r3wjdrA`f}2X{ڋ) b^ﲿa*Zqj> +-}r`~n5qfΟ "@t=e7[Z YXV#esqWu\>['81j5&uՓd.偬h" J(ңމM.OM+l)nnkC:Ǩ}M '#'ƻ<^xzo7ף!vǎטp\ګG>n)Sz-W1s IbvX/b{1G5sGv~=B0@>t\/Vʖpqes^>=>@S&iԃ::/|g$'rLq ܇; {yH5?f 5,_,8cknwwM]0hRW7ֲ6>Z\4l+C"'"rrj4QY1eJ{q8/G_s"m&d V: ф}tݲ;mJΥ~Nb"|7nZ%sm;=~HU~$}pG5KzcTu4(tB}k<@@D'&gf0*ɡ||N"ц<s `D&er86a󇈖);(յX~V\\З~ =iL,*TB5LJzo̻*G(HPʕ9)>[ݚx!$D;lf*LVþO Kp,oNMM|G= |;YY r$%s1gvܻſȐ*nXCQE&9 CF/% s0%.f.E Ņ[Jam98,FCk-v!.Zס7b6OLS:<T|ޠ#"FV XMr6@ޫm C--^2ފ1$u::r@[7K4k!p]YwlECx@h\ 颮 wqM|nEKQ, ê^:w.@lE);ag@3UѥקJ)~۟p t y!\mOƳ%nW̒c971` l%^\k L,A~t_yow[di8 sdA[Z͗BYu ;YJf;?-= $UnN`3pl:l b6<Ac`# nNON.^"{n)G,:nK 8'-ƞ/rps4z(uttz/a;y%$1loLƪ;͐:bhj긨y%84;k7j_m$eEn9%j.j}EI-7]nnb¹:p~{B*q9Eaw$M#||?~H"drU.J$ԾVSH1&M -'rG/[ǫzkr+zH@S9k$} P"+p_0.b%6j%;(QS$,(YЅas9})CE训 bmA!/?)d:P 'X$PAS8/G.6Q]14҃Qv֡5ޑxUxզky)d|@CGEu!1"G8Wh YgP#/,@Mf=fܑѢr<."o`RIZ{NKt؋:u7yDo "bҼ;>lFg] t~C(҉%*ܯJ$iZ6 ?ICǰ\4rK\QzUmNԩ¾:آ@fW"/ZS@,:/$Vy Y} rVQ+Mst/ r{rSKfӨD؂%_Oe2\n)xĩeI.拝/c L HH@%I0xm$N!3K.Mֿ M+b\0jH!u27)g} ')6ɜަܬ?]2brVlr`FJh􅔤^o͏<'vGh^tb {"~ȧzWz*0Y+V;J ^nN~i'TE( $G-y~ڐOcSN2@ҟ{IT#Qقf[zeo H=KXF+1[F%-'VdLȑsPT^N7S?Vx? [lpPxU'gjn 54U{3Z<.-gMq )B+/QElKMVG<g ]3B&bLʇn.MbM_h#qfvyE |=5B锛6miXI+dzlv)guu˶ʝocJyBi־PC$F8%)PK+mzcaf.0OVۛs'/f2 :š?!ʊMQ2+6 `ߗׅ~M tha'Ș}\sVf %,SXk7E4b>O ۼQ*Hit] 22ǹ&#)bd| BT$Ϧx~y%@"D\!DBZQ!̹E1([YQQ}'tT`{wDVjBf8d4b][A9AuA}?˲Mz)Ҍ!wZoǢi8Py˞>π~aeҗ]7M_q|~☒ƈ' M|@DC~Y}5OoaAm1W?R}HԝK:*څ6|]Uf5pk> v LgWN4rsK%@_u's GwKR%9ev'O(ԟBlYQ \9 wHE**>ؒ\ Y\/Vѫ%=hF<~&RdQ "c2(@mG<pU2N+$ɁEz~ٻup%'i$x/xM= :_)}KAtWck5`܈> |D_X2n"2FU%~pzs=_7w:BҶQc'toQX/)L'q.Ǽϫ0sOuuh픔XPLdfCzŻtV6H  5ѡh5t D#fMn|E$6a|6RFD[F` p@T\#6ԮEwu :Xs>oC1+d^ГvKwWXdCs%=Ύ8̘`<j䩝WF2E,˂&֙{ϲb"LIT$ =Mld0T;B@5B:o~ii(J 5KF:Bdՠl7fbjEqr4]2q{,˝` pVϥ{tjHѼ>|?]9 @/R6yxzB <#C͕[>u8 R„%VԕFrW@+F`R+3-MwMEz(wΫB['L nǷJ. f:x:T/?yQR'! !p`ct xޯ:  7|\Ȍn VνR9{𞘣qf)c.13VY9HjU<;rM:1~5䴈 0-J&t+]D9mR&fu-O`%r#cۇP_´IQ|`McJQFC2N *gj-R\"n$r0-9zq!kh"0723l5&>Fo=X=&P&+_];=d^Q(A =I( W hE\]U#>`Mv"CTR/f8>3Y`p_SmKaQ_#Mˡ%-Zď7_bfc?ʸq-7i4yX\Ib>v]oEsvBPşcVG1A;,t#ib06[^(f:80Ujyf[7Jܧ/#KϊMy0L2zVRPwi1:ߖ/#-HpVw[YZeW9Jbj 1}l~h? bTKku>ŔUF[<,s`OmEvw6(#T2u X ۦ![W1H|0IPv %W$fK<H=C0ɏj<"Rs|Y`pdTZ?t!|q!\Aݒ v pxbD%iӗ_Oe Nk'bWb_nnz=w^E+*3 eDqH)Z/L >(j`sñj3+Ei˚8Hm )6V7LF}4 0O8[gv?T2t)`d;x]y~O4TqwZb PWHKlPةP)_h=4mv17IA{}? 9/ǠN퀴$7nq46>Si/=ҹGSm>lƏYV򉺕%}_kX&EFgBniؐN1qm &S =>\vfP_>H`Kdm)eآp0(~p.8bW'PEGO9 0Tu+hseeLBFݰ*=sy=m2R>!@5`'m"> _4~]ư]NThH- yY! kD9)za,@~; /E:%NP;@h~9Ւt{&,}فˈg}#?DƆIlQ>w+{>`8|H}1PӮlaqLN`=*E8Ni"k$x[S=<ZwVD -w;K [,lg Pxݰ=cd¾RJ tKCOG֊w62&.;(rn!޹,ڍ_45HKX(ȟ"߲[=To6V#7./hWz~d㌭]R@=mN.CO%["[rW9 /v/s(7CRR[vwNUavON+_wqbK &TTtBBVq9KM^cz JVWܴKP>s#Xɮ[&܅uMn~~U2,;U\{?l;y?M|hV|bg,B8\:,AʊYʆ\gx-#ۆTj:5x9Be뗛΋Z 3moM9*?jB>6et0<_gy)\DqRWr|b~l c ~MYUv ՝y9 9cuLТ j*vl~L|vZ_?7 sgjWX\`Z 2:R/cvC _&ͲhT D [.St8Eqtm"|[ux?m~-\<,8~5<_'ww;b˶P"Eʪz8FJ99߰<򈼨:#F3;:'#ɋ"[ͺ!}3;7f&Dxk!`08X?`t*aɗQV^ᢻAXi>'.#ZssZ GzcKE^ Aiiºǣx׶$Ea\dfMUJI,O XȪzN*CEN>b}sdU|`SG=Nz6ՁэD,uN*c$&!=*q ;>!l N 1EȮX"K7J>3OZM\,V'aHZG[ ӈ24t֭$egYZ l 1% Category2Category2.NatTransdocument.tex7zXZִF! s)]A-MՋhvG"uIBm5ı[ƒ^M TɂjgovE^9d'D}2fBGBc"{ݬdlo(=SLLw㍆ƍ<$mpĭ_;&O@RPN*:wIuf3P>>8F0DK۩CO7rcmqq| hU\YYb"jMC')~se<y2.0ÌU0 dރ$,w-g^e^ )ި齨3 ;LDÄYB}\{X3.YYP$ڰQ]_?#{Is&Xe'E>TFCvLia VC3!GLjәHԂzgrs|S{KOE< |_[|]KcW1LA/')3.HA۟uO%DMfv.lv!:Kͧ5t0U"PfdL Za3<4\R209JKG]x/L9fUzA]=*ю8N>Ij׈VpW*Hk%Nv z?5R눌>#ؤR :7W7Z4ˆIh8#}ZV( ,z# F#5 Q##@޹S28"{o̮og_!22a+hNpu5 8Q2*]m*^n$,*MC@!}!Lj(G-gk|MB>p69tPny=OQ/t<^lx@çrq8ͫE)JQRUqjEa EMSt+3ob%yxwgM"1mq1فl*SySVlܢSOT /* -8z0m*s ?oj)NfU;p© }Q2~a&֖ŌԊLr<:ܫz$RO($a VbֽkY-9Wg$]qݠPyI8}[&SEgV>&{.6 VZ1~sN.t1*VY}%"@>ǔEq110G6xyʧ7Kh X= M~p(5q8Qd$^wS^=NXGN4_6OĴ<)-q@QO_y28Ww|,+4!CNX{omcɭ@ Nu_mWE+ m kƅ0 k "dW{8uL'ư/~_ Flm(YӕALiiB 8C|΀؄v{>m>|.S dn a)[+˓9[X2$6+]dH8L*頚,he]Rm$jX%؛Ϛ$,Çv?X)>FƟ(fRfPG7v(1 /!ލ?^$W _ fFsANAܭ}@5Z&o)M׵h(7tR4-s"\9n*Fg]vZZOK|>^ž󓹤];Ux7rCX7K]w% i䍻mzq ,l cʑfɑp^WߎkdѴ?b>~cP2ʰՇZP5bP6.E E(b.=9\=gszC-OZwZJ%qt1 #A*|i+AQY|uCDPħ^!\8//Kx>g0+چ9 N -% LCategory2Category2.SetCatdocument.tex7zXZִF! :]]A-MՋhvG"uIBm5\7uX ao*Fn%)5/=G38Naepܞ4uގ3jpi+Dg1X?ŀЃ]pùnaܞō|ȣ  sd?sѸhU ^>%+4CNJv`|ȹ#hV]~(%S鮆''U-#.A5+YC2ފٌENB^䨈}tߎ*FwO OَC);-',Rm/1 +߳hkbĿ1U~0c j≭ȅ|;Q~ 1$4AWB $g88%-VUXYHiNBTMEgUߴߝ΁q&ㅓwmbkuݜ :dY؏>#}mpقO/"B!Ā-Viu-JŬmesyli&Q!ٟ㏦$:ӂ[H2>kC_9Nm Wߠn, bI7s4#ϯ>|m o)_||z]7EUly 9Ԇ+"d tȆM> $1^юOn mgFy0-$:%rHnJOxc#3lzU%#twM;LGEwCLºeBj+hobTZ\Ot?bV=5P>A7m}!ZF{hA;*<^o$AB3Na`J:[ԑDY5,hdF}'usR['g%ƾ jZO6jyu1 rpv (Modsv=^YR5h%`$=& V'7PA;'xv2(PKu} J7{A&?}ɫ$&VGĒH M ;*ODA3[䕉َ ϋ04~ԥL$eш=R"׆0U(G%kf_b$Nʨ=z Tųm-c)~r XoUy??5|>9b1cp/VX7Jq4d yHˣB5z1PZ^\-}?K,4d>~Мf0n)69-JV.D%[xWZ =!h՞-xKIV~`` I5[yq*"yF Y]Yͽ yM8R!)t|'!Xxj)/yb+,HuUZ5\u3-?u*,Q? sRz4:MOE$ -d-eMK߃ 02?;mZ8?Grˁ*6ػ|֊vORovמAśzTӘ8ç uͬ7tq"- ms 9(Qey>3*ncNi23#\زYeglMm `+ )ڳh, yzQ&ClS!n:UMnzwU'~ơr[ /0!n>;>Nr|yblVTb'~I)^OtL;qA"P0DN ˔%)/6F`هs:fei6{ A4`DɖrH߉T?ﵯ[T3 >,p]F\6(9b;bVbl7_߫DkY $rîNoo\k4"YrAsj SHATPC@ifRӥy dLJ$?'{ ˸Ƅ_q!9:[jL o %K3g)1Bu:6y"89,׸o $4"JI[#?ݦ95 '+~a0 t׏2(eZ) [9`库a1%Mm{f{-{&7^ؘ4;I,ww67`i:ZKC 'О*蔈T>yz#n!HXCvh nL "x+D2^^ϸo5l4>2 jŖ֯'fU %IK6t՜Ü\a?4o-7+Z\:Vp&^6bJ=>::Bǻ@-mpU jΕ|!п u3[-L$ZWWLCIXdN[V7#Zj7󓮍 [0*;;OD!q)UkA/;ta ^]4CՑi,4'L!5&&?.|D>^}]yʪb PY$ȯnj^'W*@ij-^ۯm%PL۴p (X uHrX7]{\Uz^-A#̯\EM y F.AEĎZ(/Bל~&0vqُ~x;@z@s=Gw4f-?7!1ñd(;Z6l~|aЬog.}! 9΄tş3!\E lźo4K.aFMuNbhc{ ۢ+F6!_9!s^Dih7ܪ0>!4:وM&L E=_5srj'1NvaTq${mH'ފ^`nh_Ǹ;S"&@IIȝ(U z\׆XiHO%ݜ]%l2ύ:&;f;;e fTR(klr ; B"U[ oH7jB&z2[;ŢF%R\*)Q FJLs{pU&rBسIl(x>5LʶZζ] ON;f_k=Ҋ3fAeF +iBR#l@ѐVU̢V$FRIz;sCZieG= mXJGsܗWDz%ǝb27`vAz_HOzl٩Rug1f:Q(ĉE >x( {G&(ʍnʸ?>F>kZ'x]=qmꏩkbl!wffMlӊX.)oWV=%V[w6M40}mqL>!8e9%_-)" RtF%szXy&tys&]S>⪨6/[i_)@~Ӓg/D% z(_[/wO]j{ u>X߁ "W %Gf>qhQn!Aȩ,<"h+R2P0w>9-m ^;~">ye֜ I;7Π"X{ ;@섂):T!/E*[N;󜖏 *XC* )©9K0E ;+ ")'M1c>!(A<:A?mY0 4 i,0eګ~O{s ugde/dm-e_\uop4˯{C3Loj|+M);`0CdMC>%U_%Z{K0ɀ rnjjr)#pc;z3V1A ]8-0af/2Q3Q B6}_rP҇ͨ S4$U| k݇4w ȣ^ӀJ޼/5Za/IWS !a5,C rqP@F^S',J݃@R7)2k_"|u|Mg( mBUZN w_Uw 9>JxaE /fn̶>wjX~Eq|Q'Ëmw@6g\g!c0$(0WC1uE[_3y#.iiflcٺvXH*J"@~(YxcoB#]EMSp Z`|PYjU1=4Nh(n?؇ Sv)De#0|kmPְY҅I%kx b/.Q/.OU"BSL'ꚛϰqlH~;/PE鷌hSNE5Ɍ`bq~ ]O,7|"(#C`AHbm`J9mS[,9Iժ~lS9藱<-)\]-D`MH.7l\3hN\1UAN܃Is;_Rbp,Mm0٦cK5pCw!74wDn>m"xi7,2Gq-Nʟ?M1;!FM>65{=nЌn(Z!؃ksN]9'DQvD8 zfWN͌m7.,VәKEgs36+8Ż8H ']n#w0N)2jϐ=?e͢6MqnT#t߾cA[9y & RCe0^T>;#q?2M#InI V3**4=Z(#-Y#CIZo C.6kaPFyb֐DvH|܇ޅ骭QD.,䅋Џ+q%YJ3O̚Q1$>9Ǘ~lٙͪN<{<བྷ(D鐁8 3y+2 ӂ8"]]6W$#)Z^.xkHNzz}5T5swqL&JqYO phiggH|d=xC{Xb V |V1 9o?+&bf"#}TKf ʷm}uPP|.Xeɜ1xT7fFXU)^'=ӴuX3sjt-G6qV$.I?+t[)M=C12' q"TҌfV0 9ԐɁ湔Kw/t/  C+f ,tUAT]nm>BtQ̈[ʥ!A֫Kb\(ZeX8`gպ]NkS[7&yx!Ū uL|GE!ǍN8fa~(Mm5Tx{0d^yvF9l9. s&͈q%c/|Frsn3b辁/Q2il!LYu\qq8 % mPVwQH~leꁪ RX"UBc ?@Gۄd+ )7apW.Wb6v _萍9 &fgxcjiKACRf_ϋ1^g B|fD4Aւۻ{(Ø6-s`w7rkx [l^%rCьBxk [+.U{i8SE*Ǡsm-S?,gUZ˪ELSwM՜R"C-)Y\YhgҚW]7o?h"]D(z522 W\=G ,AzgX ʉ(́Pc,z­NJ'< 2.! HpkWͼbey5#w iգʝhx%/OBc(.=\ ^[4N\SW: 7VMvH1޶y˰35Mllhi:gC}Ka_{:q Nc MᵭY4{:67²Dbn٦¥9ȿg85ڶlUˈ;8ұ ڎJ{sU;+#:q!`9Z /#Y(I* ~<}[綈=F"1Ws"8ǬTƛj5YAvj o&(_\L'#-PimBapkfԈpgC/xu8/ S%^u.+21`Jϑ>FC41x&ʭ Q mN14ёOa7>â@5$XAbu(fg|5֖oIe-a̺lQV s?qN"?@sY*ll7gȜPB*M9J3ry\GDɂ"@͸@}>˻n,lH"yXZRvS]Dd^>&3K0Z%*on)uYQƃ6K Ea+~Hqc㞄~2~=@hp/>6BU$t0aMJ5MW,/9p@UXuTGW4>x)p$Y(y"ӕFb=C0Y"_cݘQtU{`pvU\d_?t9v L&産@t/mg^-q{T HŰ"eD ORӒ \(W FJdH+e1)ޟ~pQ9im|BOK5@`9ĪUc<(Ga7̒hWjUٽO'a$Aٵ[U)l;WRvHў.SNETLtNwG`΍e֯,'O=49inyӯ _6tP$6xf^>^k0vqaTaUʛJ^hl.on`'5lNY@>h^=v?1uJ4r-=,kq(0H{Q[iSY.H-xH|Q>ɣls~awwLw0|0:(7&H vBwoDMZXl(Wbg4Qps^=-,𪜕w! ҁ>h7JS @u^yXX|rK؆ԝc=Ȭz_og}٫JEK=ZP&q,9]ȏqv*(ߙH D~B͖0hMOoK<c0Tp]? XhwsF5z}6 |~9yK" 6vCTQpGvS<47#Zۜ&"K=ݯs۫pcfY[E(ei;}K13GKg0+.7Uo­%8G.xreMsFט;O;P=lM`ts:c;9J\ :8~gTGBoM?*$0Fhć(} \:=*Tq_@>JX1nk}k^oC\5Nʭl^ed19*.`~g+nZv~#=ݧQR 6d9,O+"wH}ا:+}ڬ۟rxd2r`WxqąהWr*luMǀ_9S 5o\8~cY)?gu_^Y )YAcEݞVWֽi-B%#r9Wrɯ&qU=ԈX V' *Yds`j80Uc˨KP_} G ?pu&-0"7GuS0;Z?#-z jB (y ;CFDQK~f% dfD+ I{p[k.4$_S$lV t/8~[N W,B2MZdc;o~*'h]iꍌl$4FĚ픂v-,FLk;k ern!Ñޖr.`~f3@l)AKUJc K1lHV,eBexck&3Wzb!wD-4۝cZY)d\F0BD"eD)O(p>O6$)V }J,$n-Le[`MV~hM>N?`/ZBtN5k"+ yT); x|r7Siٮ) \6_J)4O@-6=w1@oH1*W莦XWk|Q^,H֞,l9.X״HGwDn Rr{㪿 bnqQsLi Ͱz&"N{ ą ?}uzF2ʅ>3mRBϥv!Y7˜F_~ :֢s)<|QԽmu> C/U©ѨBɨ=Q:ݛ)-8Mm9zwSo6\:zX{Ed-\0Op8:{G?;yȦQ]g4u3pĂ5rL%p (AF0l-(7X.=]e &+`h8UCveL{nM(ӯTBX`S^45,\0x@_|$l.wʽtjd\RȥhD ޙ<78/\r2s{IYEMd0Doj/eRvA,'D LhpאO%XZn{36z#`CZlJ]ï-~>9,gPȿ6%i߮g;m2}8V Dg]t`0BrhF;O&o#J.nt䕊4bL⾹HFG+,ɃCS(@VK\2>aeP۹}>?tJhۧg/_IK]~\h7*,z+$  t{K̳A,3=|˷ ( #Ǎ˜5յS(נ6FI_3CTn|I<30*]i%_-8Myn&9pSZ6$C7kX.^ɽF0:M/׮U[Fv,?ʭ%䰗n2d(!:~|U7/KW-B,vpy\$GXD!WʺfX 0dYDA^ՁoRD0 ל\17m?.rih.y> GW-ː)[9rȜlI!v(믫|'UЖ Dz{sƌ56kZ}t6&8Zp߻cd1t乴#=D5%x,n}rȤdw}i!=@R h'RmHV`gYZ DD O% 4Category2Category2.MonadicEquationalTheorydocument.tex7zXZִF! BG]A-MՋhvG"uIBm51#oNj?箃p!l$UyE6I zI}\jHkZ!Zy#~/XSvb._:MIpU|)mO~ar\XLO(Dw^g\~Z8}5b9߫e.DxfLJgZtr鹲2&DA g]@i*MMl%s3/p0؃TG-2ZCSTD.=eTdo@/*\GV7'8)c9B#Pu waM} PfL$&Ih+BIbGB7 #{2A=Hmu̐eTArk@ѓcOCʬ x3ꮗ`L{sڷ^؆M} G ˇɯl!7mwsKFto0]ws #`Wd__]=/8˒qp`MuxJ@Lc׷ %{֛(1!VT#Lf+NھYi+ "hZJ~nc#duA$ 訩'Eԣ.HsJJS#9ǀUXDU]( I[חŇ}(6]Cz_E6:ٶy0a(A}%GVc/T2>*P\X¸+ zJ\0#Ĭ]L4LB6|a% I3|tw/XEg9eAa;!&Lj|? egtf+ p"Byp2vE_C`*5a9cC}+D Bjmo2k#x$;~VPXLwnUKPcmBipt0^~ -% ,Category2Category2.Yonedadocument.tex7zXZִF! 6]A-MՋhvG"uIBm5͠ȸq8quqo5O85o" [.d$*uegkdF)97EuB)!/ߪ_1Zב^뒊X|]#]9#C-3f5i9I ǾP\!MћIVGcVwk0@Bт'hE#d(*`W$FFNUorl;˪ֶVe=V GÝ]L 37;+b)y;_ƩfsԤ:! Pg+ qGN6}^;XeNNt5;(' !Kq,ωg!-*H3IFHۅq:`bF?2ދ;)si.B?n"8V`q~I+ܞB\#E  Pۖk@.,p;C& cBkl-6 a)L7JLx>/&m,6WW@v q[u O[*Kg 2zueON_T!%Z=9ȋ>&!Z6Hgdj\e`u&59WAL%5\8<"Վ߉p>WR$LT;S R¹Th3F8BN>0C\K<7Ho#!oT\%fzNRЦU[LAn y%?̎ne%¨M3q tda6Ѓ1*WM]wÐ@o*#qbvvp޺kA9#B7Eȱul.z4S P{iPfh$K. c$"Y0+V5UY`կ[hcDwSO*"m;>Gig"nPON]\JyxK8-(` o2 ],"_I_v_c|?Ѧ1'?|A@uRi$.L&<~ƿWl<,_m* UoV=dCŁQ@1~vCQ_NJ!}<#$I%94FX2Cyl9~kٶ\yQVjp4~q۞Ouv7/X⋾&'GDV (/'I%*"!B 3\ Ԑ~ ₊ E\$>d )YHXBzŔz;*(Z2Bhύz^V2-q>vYY__E.B߭VgRr:G 8C{tXo=SEOvyl\ќ̴b";&$X{nM$4ɂ0/o@T8 y/mo@Q~Axs*Υ{aZ+D+()~$DmB+mhv:*7>;8%B+cY$uݾI6.%cywv1`S'I)tx'Ak+>~L+ ;lobN\&#pqeQ,i^m@ۭ Lq U5F RDVذ_hNP%7FΥ0zҸQBs2=Ze4wg\% yf/G_ְ:>ͭ|Oπr E}hl<_yq^ M>ճ+edwyUVy=Pv4S B+΀AUa6݉w58ROti4sVZ](wIcbQ\P{,.6 Mr۫4̼9{xݞ7>Cr]wQգ 5cWS{b ޞD˷Ϳg`vFd_Q*Xb&T=Qvh`s{$W:A]-FIǩ bڍ_D/Tg?HS0dڰA,:|Êi91{* J:fct.;wUS`޼^b Č{VÆt |(&p&]!=$v{PEp)܂Zb<>dŏ4ʳyUOƱ; JiJ<G7Ǒղ@Kzv^ Za|>י$0fԜXj^a+h0S]E\{[CxD-u{φ4Z{B\W0WRD&#P|z͏_=dd>Ocl-q@XؽSF;¸^EW e}W'[r~S7I=|*g]U'!"ly ҈ ;ޫa  |%TxKe0z.Xq/gLN;O4HA2PK&-oW AnZTWt2<t`%k[:/'hjehO3jY8]IG0S(ǶÐ3Dr9cZ ,A`JR 46ڊf0 'b_ ١ %'itʰ뭹~v領Sݢo8* )42Wz_9qM@{'1IȒ{bPbôiК B@1V}=O4#Hd˒ZϞ?<v;&RqpǮ;i+򛝞l^fb #1)x3ujBE?OiiĬOj |d$?'i[iE"J1O6Z_KQ3pY|:L wO>%1졫z\ m @/_qsiue*i^|_ uSd5(Sk ӉGW+C~3DgߔwBzԭCAĽ<]s~gT?\{CTۏiedFv$̧J*k6֠=vtofID[Bd \^zTMڜp,;"r0`L``?5D(xRTډX;g5OxG"Kuk[#y2AB1}-?$)d6~@5؈?ml~0Ė"[ ZL֤ J*ٷ ʼG ;ԞZb@ -7{;j\pϿW`wgkZ.u_:@R뜁q1)'ϭuo,yNwrzh\j|b6<'6+5ćM=@˂wv ;jݲngvrТzQzE?|;Jsې~KCL(%^%HhjH*I _~nT8udz1 ׷?LEb{6FeƱi8Um-4H0$c n6PF838Ҷ~aYjl II{9F<t];Qrx$/S'2$=(/]K  H2$4&72Pfɤߑ3>pq3nqRxbDGͤl=p g ,C\htV $7QDnw;Vu,yy9 O6km/LQfآh1ǐg7=:_ >LYTҺ.TI0ePFb@X|m(tܐ>=0&[oK$4,&0]tdm4 'xWx˨M"U%MX +lTMJbo*7˨"6K#y@(p9;oR9΂G1C%cƁf!2ZwUj(BIwa(Ҕ8%aC/S º슞6r.A[,I߬LmF!*՛lTbgXcLzhX̙Z^I E_~[y˼`RbTyb7ҵk]Z#h5\,?34+eBU:FWGE9.K0lga޴6{iXvfCG븰X2X22q)<,+|BCЮ{VJFPS_/^*ôi E4S[-I ϗ//| @MʼqV:[=#~FB8#* +PiMM(W1RgL?Z:Ssd|Ըs{>VGB 5շSM3Ab'P"MFnAe8|4M+"#ީpؾT7ؔb U+i*@b*I<,BJm%!5c˚snur${D#t^+@:%bD8`m3leLSaFϱ.]AUd>ǺGc'Hǻ LT$+vb~a aU+vxr b $k/>IH{v:[΢]sX A5mWDY,BGM"os=Mbf1yl;lS@LBu5= g-vYl'X߃09w@kPYAbO }\o2%" q/"A~R3t<<IZ[VǞ? hB(G ql8c!?k&Q"H˳#&qw3 EPB0{Ƒ:o_ RgV 4G7|j& t4,93c c3 ,`ew-w~{ $An*"Q2^H[\5=ZY AQ <'k}}}4"C~24X6X?_DS.d(6ݞb ^x^vg\ @hmgqr]O3ۃMsQf4To(N4[&qMASOj!J-T>[4t8fׁ m^3_k \wҏ-rоA) ^'Iq?WPmƑў:iz)tGw ۹NqP5#U49/D zɋ",x94xn.?3*K2wШWp+~i0".xw1#Ցm)-^9#all08"x1p0.hHRiO! % xH|EA"xN'8N8>1B0x!TϾkǖZIl=W:t/1'')i6-_91yW:L.],D' [R'R5pPn/}#V1"tgeLBy,h5%cjsuq`EXQ46ЉÉS;>6~Tz=r1L2BTKj ^P̝dH~^h"QGU23sV2?{)u= ywCpT`#يJ{w"R!v0adu5#:deirbwNPJ)qOD<\TxpsNjp,Cٱ]ḮIE^Fj{khs˚>"C9M.~+vE3Ʃ\o>pѬuơꌾp D?Uh$b$Ҋc,ӆl~y~+pRy9p_nSJg,tx9󯝸E}*`gniS!۲e"yyqmE@EcZqgc {6" 3Z"njT@ g\2.UH$IH 4's5]>\L|,Qg?]U%gAinc!gq#4]X$F_FΎe5_:S;L8_iY&=+l4;18.4ͩי+XHσlobl*$ No>H(5f_/F2M|L'w zO{}AUg:xStMRxopW`ptZ>[cf[ 8 zS,^|hC]7=$k7}$Z=}7ԿQ‰ɨl۱[L(D'M5iށ6G4S>~ I,t%)HȦ1bxFL) wWN|}.~g'ߤKԱ!,ڊ$3qz3\~-+vk$N0W@fi-3 -izDȴQ *&R60 0~;r^*?[~%񍠅7h..(~ qwT cm 5}O'K0>lFNC PA:u#9FUg CX 4s* *X8O/KJaLʠKAv ^+ڠT[ڣK%|,V?zugjZIڧև674b:ۮ⶜(KQJA{.cGj2WP씥]|Bzcc0aN 9"ix Q&uxChםdF;p؎ơ{bE©gpM"NᑦY\ Ӕ1)f9X@S|H;%-aK eGW9h|i4ʳͰQK$B&ۑI9ix]#1xA_Ui?tbPt>()Y 8g~^ me"L5 r= =p^ۢr =6q$P.Ax.5BpM(M]2H9NJFb0 ?m?Ì7n_T:51. o>OqGY#ݝSUxP@4v]9x rB*ڏw#91~~9$J vzc;[eHw*WSͣ}9u0/YNQ.BX}VڴH!_)=hXNgY"ַN0r5TӄenuOv,kg{ߝ@٤|.Z-("߷RY~B$"oANq3FTdɄܜy!h&_"ixhBR=y 1 㼢 9}VǍ]+ 'b#.V+H`p!p)MKXWrUěD(]Z˭JD 2YkűI-/$06RyVh@˰I$:K1kUz7D p.1v>]I8N'L#ʊMo0ta=WJm5Ȯ\KxGIsjtNTLM:Gn| 7"rD-^uUBtnޯ'/h܄(5L4YΆ;@9t0һH$5TVI+!H *Ouť?a+(␔|AR81CoNK< ȣʆcL.2V|`zϺXbwՊSq9fW1I#,}?TڽdP^^FLv 5"cqNv]ﵝ2)} qau L{`VEZ燊䗰6kxm;A|OΜhbW, ]{(ojv0/#ToC/ @BfЇ5Breu|jll8nZ4gTaR hǕslmnPWZtoʟCTF Q֥-5 6IErV(uSQْ0mR|تK3h]n C%rGԲcgd'*aeRX."_Ub4wnuY8 ;̬uWDLF!;H9SE|K'e~* ]_ky$fAr!ޮ{],w2YA^R#lU߉eK*zr[gg{F <3=Am]*BD rM^]8c]0HULwѫ( 9?*X:Lwrq|j걎7!9m|&<nY)!aVx7-<ݱ&5vo͝b%o^6I-6}˗'AGOtoj;x&-ǀ-?}QQOwHK2=p t/HO|@(떟a{+WH-g,0Mq'Z b Vr\F:I`3u`!Q+S ~R - \Aw5vQyѨNņ>5%1"C?iv_W$]YoʞWCi|sr@K R3Wni_DQlo*· r-^`$35_9mL͟: *RppK8!j-ܗA &8@H"SoMM  _#\w[4L! N? ](}B>m kv͜\|/))0hC| u4h w#Oa::@?,P>ޯ}:uj3%Dj_gq OdEHq?)c\޼wF-n[X@J~BXrML@Tv㝫$?Z}V&EL}v?_$_N }|\ta&/xp&}z^j/ Lb|тӘ}C}kFV\ӛLQ1v$Q!d(1ǿn=.VY ,Zz+ywgZҖjxwVYFֻ\wsKXwq}AXzF?.`Vk&{ "Y=d P-x<yj t_)OoO*&NhEOataR ,< $B:j_u9: hBoC'8s59oz#X|Tr9b"w [8sb'1Q\*Kʞֳoڒ#L. 1Ϸ*tԶk җN΂4!@}$$8YWʔ0<fHCqΒZo`|X'cɖ7{Y8AF^k8qcҖmdG/ ؓ) Pb86 :6lφ4bA;hp+7* ^8%hwَS,G3:5^mzgT)oW I6RBgϨo41vQ M 1:͏0flfE[$!6& 4.#,TgT7bXؾ?CPaok#اgT'z(q)V I)GȹÍʔxn[#5+F Tާ_$:ީ}"е|"p’rhpx<'uk;&zCx nOXE @f EI0. 7_M6(F[Pomkz )cCHpi|4+QzPrǼy>& я~b9/* ؆8-uӑÇReƅ#}_.rHX4CU(os}: }>N`D+6,<#!MwKsYYD=gVK}%kz ^=3dhkcgWw× 4>+lю' &g#NP淕Z8$uBl<չR)GWk+]6(p:~(3:ȶİ!agzzk?l>YS\g&/BhU4` `VU"{7N] N 25@QH">Uo]up@dkL@hAx2#oMwr2~Z\87=aHa9! Qv\гR! &r 7`9(^$<[35C58m~;@6X$Ŏek jD j/N-oo4$u3 6fPya4጖EDXWsT#|!JYݫ 2egK$tI)@LR=SLTf:Y rҧ>}*-Gk&v{[$RBwJ!O*D=3]xDfp&yg@f"!r+\_˗=Fk%bU~zN?3K]!D,훭g,"&,nhab&cZO0QYǒ[ƕѐqذ^g| ܘ܋6L!%1jEh3òTn/6y:$SK9OWXӤ jgbR$|#RnF,\1_QZ#]CN‚# vdikV9ك :m['zlz^{*,G`_Dx E]wSvsDl\z8_&,9E‰\Ʋ 2+r- 7bF0*(?tb"K*cj{-_Dqg#5Q)2(UO7Y=ǐl息kBVrKuXy+Kw;M1QGL?8ja`7 ׾ym6R,KRz ZJ4HEX_(˪=7!>AXxP">~n іS CGv9qHY4u^ 6Iu7Ik!t-4{OY9 ?m\8O.^Ak46U5:Ƃ HkPi}a! 1 RQlHW#&NfKCjdR+mJݤ,;]HnJ? #i?tDL9MH[rw,9?]y,5w*0&~wn\q |-c~ |>4e},4vӵ{5^zLQA.5랬ŘZ3c:jҝIA{ ?8f@ʁE%1}Z޶$|(Y\cN=i=)Ślxspf^/Vkclw{~O62S ռBܧߕOǺ˛M6znkxvC=9p̉+!S@`=_Ai2K>8 Sm Cr>۷醟5Jz{XClnm3dt›7dڙ5e x{zrB3R|y`ݡZm X5u)kW*0 {[OHض{ly+<* dǽZя ~{Kevx}<{ &'M}axC%j9uቲ1AqirkEA' ۆ_"I3'N04տ1rNyu"\Mz"Ӑ [ʇL| bWվCK'lLtzuzT.SEJ)*Lsi\9d- DzWRX%RJX),0D[yǸ7S[U!m=ܮsX3iyT+=‚NjoG~t.CXoWŠ" /GH{nj** +#<$Y>&3m3a ~p |RȘ{I!7໰HdXBCq'|cFLg3m'@=a+-4Xш$BI7*b%Ivڳdi@x -jP]~^!e^,<WZw+oe?NAh<13U;$K̩\d{J;C+4{0 Ɛtm8b|-/ H q[ Fom. L,8 8 ͜ktm]%Gi4-i'S-y3kD +NP%qKUM5<:A[h#*X9`(g_,@%~ʂ/;ujftvf5Uc$q[4[6}* `5z9:"k'iM-mw=DjivBE?X?Y7$rE~QZÏ_|!T-\u*C1Oq8o@ߓ>>\ˉИl.KYEM#CRDliPY^׮bN>vkRZG% HT>˛Y,u'tyR>l\g}p8mV˻,}RH`yk?u8jH2YȣL*:pU}Ѕn:_"ώ @zo'Ђ@KK-t>YE /kx+nGկI*m-Ƭ܂hUi<^:8(& 4Mi`A|4¼kI%ě/πkYq9|mEbx;) D6MͱLrYqwGjD()dj3笅FқQ e-80iŦ~V<eH!DlgYZiM;<5Q"܎ށ!tr>rٝM)y$5Vt?wҁQ{2?bS*"噐Pڠ][ o䄹R-t~$&}%/ۢ\+cLCxS"AYup5Dd?b*٣`mKO Q U_ 5c+.t1{O5;~r\\ւWC{(Jg HvgX0+"0! rlTłLamHBwG*al"I@H4*>H\M5Y@R\s 72Ӻ9J'`N'(k"yeU% ̈ 36xd(h7{/D>EAS%zk/95 Pm5 @ 3ۖ b&l2PgWg]?"d蚷sݵ4d4mc8ˎ˾Y'leso \SӾ7gl\`Ϡua!ȅ,?du7;qߨv \ ?lh/1%uCSQIހQ6r']ָaYAɭK$J;*i^Wڪ+e- Qa|⅛\~IkPJ+eUÔ!*$U%iѸAuU;. G9ʑa$~'lTtc(JT{9D8ã>9j[Ey{0*f'xfķozDL~~"{#+-R l*~zbA ܃z#}O9'fޙt1E(҅0AwVrDfۘ #z2_|"{wH8/b"?L -}6OIuƨ^ (HakY4ԹaO["Ҍe,Ta*m)~:Qx|NK}@F|IpRfQ.EI [@JQenU2u*ͯf'ٮr=;f*79-IVZ/V* /H!e"s"x yأmz%vTtJug<oaEU(L4h`j|ĤV}f=Rfﳟ-vhp|<{|i>7&<*1꧕G@ñ>pJqpfZ 9]:#OF֊56xk[^JAˆ7 ɫT_x\ ?e \,g2E$#?VR6k>!GG\u>{/?ySrwwgaXhuM1!_md,!,V4ƛG&@'mF~L?Ǖ[@ԛIMkrdAՁr^, $,.\FQ\X} n풪qR]m=EjK.p.8R+'"Feb}sj.6`d@A^p$uc[3Ԑ|ѳ4ITY. CuZ W G5}_Hh3LtۣU{7c :x-CT4 sB5ڔ 5K#Lú&rÆ{ꄝ?czJsU0Zbq5%rzݪ /,v#.A{K A n[0v7)jS_tσNfqZ9*d>Fgzzbɞ0Ft9,č).jR.Zqn)a r>~*lR/HlgGa:I!<6j0iȷ'ƀv,8kT^g04 cnTsq"`-ѸǯВ/ G,]:#|3OR-4-!G&& 0C0̷ 5PMP܁o}w'>"ô gddxk>SwķȰ[ %-߶$`Yɥ?!#z=BG9kbۈ׆d̒:a1r6ykfZ_Jpx ޜrn5NDqӔ㭸5{`%ko>6 4ZgOvuLkz5cX^*4_Aa9U -ALZQ/"d-em9nXeLVρz_L03z8OĖx|uJI|t%kŌmݚ$?T#᩼9ngYZ d 1% tCategory2Category2.Functorsdocument.tex7zXZִF! !]A-MՋhvG"uIBm5q\:S=7V^=]3x/ t1 S"-١!P.eB!n^;H:lX=N/6 hatL -ҥ/+|NX# t/te->FټܦGSxr>X<_ "pCQlm)͕+ jZEaݖD+e5 D*jG7 90+_qu1 (FdF]-0sĐ fosuWSs 8PEI%~B4 br?Kύ!f;[ g F/xӠ+[1's$cP6l1!I0\o'.b,o$-WCJT;F(pLRWBW% ,ZwAznRxnWBj֝$" BMptlnokJ.m̵ #a"ȁ$,W6<N9Ԉ8$_-AP1lq>QO:遏͔ 'e [6շd"o!w8 Cg9쓫JGt]π놺3ck)qƇ : XQϙ47ܑk#GyY(Εp ޳B YCʠ (v1S☒gwfetJq>@jeX"jTi׈>U1 }ckΦ0 &x(o~es?t`% rs{!ݨ%s#|P6|AT~Cf@BbU _i˭H| ޾!̉m-Azݪhܓ>4$|g0n md\Da|p> *^6ZdX}z*s XsK)F)~uc GƧ2+|l XAJ?6DU#@,^ l? m|Ld1;T7ETi>,ms|,MZ[bNuqM RQ("\ڇxTtj~ٺW:{J@.?6fعMng7V,rS)uR2)\M[a(mm6#E-wYD15sp"X 51\Ɓo *8i'q-:3.Y5"ׄP [ +g-"T&0R%xQ},)`:<ƴDE6l̃⶧=-vMYU֍տ=ʲߤ'@z߄)BvʏU?@zH %+ETer?M"Fܡ&m'adt zټK&߿yYbW,k<k4qf/uo;{9ZqMP`A"L&lٟš񹤦x3Fѭ/p*Gλk6+@Q0+< w,Cf[2d/f+_2Vѕ$X6*E&&kLqk'͌2>,[ݻROww*,of,j66 ŨǒΦ2/mh٤dpI{HV_~eDyԈ}f$ $V5S1Hlfq߾C-/p0FEegCw~Xs=2d?^ a)m9k}mO$b*F0TuaH|'C $NUAj`fvAt@`69Y:]c;K(<۵cZYL̪rۺ7||cnvDfSMMWInD*^gD @-`-~È;jL d:D)3&Ka >j$L>ei1K@AFwMh*BcIO=72,6IW[NGisuj8NHJ 8Lvr =u UDY9È.|[S^JW#E΋yW׍O?r"R7:*Tђ w_hLM  2!@Y8r7ᢣC*)Ϝ/LielYa_|i-at̕딺 yJ'|66e=ll ÞK(е*g7<"bgIkGk_\NЄ;ט|PEj5ddL2dfX Ȯٮd[@aEoTgm%* NKM`Cq]8)[$ä~5:^#]?&`NνIm}cM@eEfkݕD{9vA܁ :X)_d/G`3NևsÇ:mS_\\D@YR,s= wԟ e2]I~) %,s@1oh3 (Nxv;7sDW$fW-qԶ`c),%0IU7xWq,Nb|66êµ{PpSL5մ%V%,مl/&o a적">*ArGV8W-p1X}Φݶ=P]0Y3ne!lCp9rYIK2tP,U+ƁdLzB4ȡ,tɍ[3 i_B%svޒn6o3d2r5P-XtŭKNmH~J)<{v_}ٌ I>`6.+t^`;#s^ZˏVɻԻڞ2PrBSm ~|K[KAc #D&#igQ"׶FJyg"mD '8e& 9?>J0GHtv 8"bO=Vוrl}{Jxe偌Ӈ&1[taV6ZIHOMvSk֧q "&&MJ.4#9hMT=M ŒoMz{w*`Py$ ɥuR >d٬ɆFli|+m?\YOwf0&n6]%S8UKBk K3N.(7' 51c/enawF1c^lVLtQ[~/K.E6a'Vl#1Lk{SZzb&nD uTeIE5d(8-F=&8Ev8&'Q6UV[-U ;ԧZQr ˎ&df&g%4zCd1DtCcD؜ )ADwzNzQ,OԊ|%`_POx ŝiY#_"L2;|}Հ̓y+жrTj̷Hɲ( J6ܕV Zpܛs1d9ZHZ[¼x zJ7S{m*"BŽ֑>"ÊvIs zH94!^Y-gF1%r3۠N3W JD]+&_i9 )>qd{F-&6u汏Pܩ5"5h3@Ro@O[}.&OFB;hjMԷ5}8”5;ϲx*H63@w|>IwGg{47-~ @u:[>`'h@߾=m=oKODһƻ%"<O/@5HF@uR"5#*5OEg;|w1w-)Oʀs]ކrK7P\~ޗiN:!BI_,K_Nq1u#4 S@%#L zhi0I3ъI l.iEԥPnI'1 Az)c A=ݡrf|;<|SljKrJ#DҸ*LppWBL\j)5VD&@gt9VOI$hKP:CR]AZ9nf.9A/Fǧn S+RTZGa7(vq߳3R;T#E|||yl(YY5f{lgIʁ/T7=seC&$~HI-(QiV >. oR"߶Yű4' Mr["-n'TFxqGh7mLupBemX݀ҹP)Й);2F 6`&&^gheGLx힝yGBmŹE_9ƿo։dn]'^j,uu( T-zwS.FV#q-]eG~؀*}yU}+-HJL,@Bz|Ӳ֩`= YهŚU1]cU۸HH_-~f:yY?ڝZ+`ķ1;\17q~9}yH}ʐ asvn{?=ݩcHtq5̲}P utg^0s7yFfU 'jAX0_1#@B cϻ=)P:iXɈ6DLz")4iFiF&\IoimhLjmvړ^֍ 6AuVg *<~,-jX{cÊ|k&0LE0Ԭ*R˝zY^ut`'cY ͨCym෵վV Epiu;4JDs64P0g B {UGWѤ;7mc[֤VI@syjOn&*a҄'Yr@$70+=վXX]togօ&ƕ+V [Ve{KiAO'˩`k6e#Wy1}Sg#- nQw8!E@3IA>%60יV$Q~ݚ~q1Agеn9r0llȃ>h(vN4l.|+5r!>uq/捍5*f-Ϸ$#$,_4QT/l4,KD8yA&ljXHύh$mo!؛h8bZ]M/4^= #NECi_D7x͸Je:󆠨5ujA`k>Eߕ@ƦR7> !d y= &1XXf9^LM Fa{,ypksd䃨^&դ*+t Q[@ae6ߛv,!q1gТ^5hP:dD{/'FSI(#z3X0Y'23:0^l3R7](&Aa,~kiѣ}%JDO'pGV6ۏga +y`1 =Tc",aO!Y@]5OKpI6NAz_e2l:rar=@t]hECى83:H7ҐDsx<J-H KXuuW2"zTq(hu#4 _yhʜjOCՎܧېV\QyO NP6#ZbH!k "quF0+|H5-!OYHj0Y 0i˶˂ zꊖT=|˪Toimv [ldeWnHGܱk}.j^ >نH!-ݪmP59M߿rmPCD6MQ(]5|:-hY&mT0K+2ﱁYp8^A*JPy"b"(rn3/ZÊkn-Ց /@ؤeX})kӼZS%S;v+D/?^S)1ȊC'~%xۿʻ#mlf=#1gvH\c3!V^h]M2委纘Vs*V=Chn_=ɺ'T.{L <<:)>/2基#+*kE96>-"F ~֧^'/*ޢKzS54uiq(Kl(~m5c/s# p `$vP͜9 U)!Aבq1o BDC`I"+o]Çӽs6HLA%xO<PxJuF`J+7WZ-Ig?t,7@Z*J[&Nr;8EF6ܸHӌO,6~lY%Y*d:I(*rW=]ۀZ1OX>8qsr~{C$-R٦ۛ4M+ђd%-90_eHeպWDٟRya1 :n2DigYZ ggb'% |Category2HOL-ZF.MainZFdocument.tex7zXZִF! ]A-MՋhvG"uIBm5Rd#:<_MVNڤ]>"ysE#M>vSJϯ&DO"]ׯSZhXB9P O5 ^)޻>?%Yj;őe N*L|ؽKe@~XHDx'PB[#a q(͔o8~r h7*ohW 71q`U,gg뛾msgYZ1%% Category2HOL-ZF.LProddocument.tex7zXZִF! ]A-MՋhvG"uIBm5 u(klRL 1?RvECWVUxb cRX*?"\8gF7KF('mfO3_nh‘)r#e;u7O ȏzEIue5+;P7V󗮯]{S,߻7Y1IDܽtXCɎi,9PLuˁOm!.j$R+lq:]僓cE #$9vO\zQ4!++B'b~QI%Yݔ"w=`IcĬ`hWz9ȶ Wyv "g!& ɀYZ]4qo C4@@xe}Ȏncxcv*!j34pephMqF 3`#;e:mac4ļKv n5t(`,o=q?ۨ!:i !Ub q֊) 'K)%[  $E r[i^6_Qey#zǀY(ۄv?Ex[ $s~yMXG^W7x4i@I6)%J蹹f Or.;=͛qkR2gOeI$+ejͷ|X g-Su |oLM "޶& |JG6߾OQG:8ؼ``}DvK,EYg{+`j](!3cH>v X 2^KJMOr2 W#WI`y Nn(~V"Ҝ<p\RyY+sx0fwk A=ɗQ98 ᎋs`/aOƸi0nucnت.qc٧mAb-=s,<#-; -y&;Lʋpkzt>ݬ i6QF!\ƜؕhVL2iQA;&S3r~3+%.)W[ɵn"?8&i1ι+>+,"g~&g89{m$4BaP&0YbA'&.BL&cΑ9~5<FJ4X^ Twr[ K`Z1vCD (k$ >QW ] **D> l8\|J'Іiy [M( EK}aRὛ2(IJ3Btt+/|VzR%ybV+ c ӽ?vvs1Y7)ۯ>hgB;Yj 2siX;&cc BҫJu<Fq5Nٗq)I Hh=ًnM`_d/M:T0e>°w2V!hTW M)umW)9^ƽNq x 쩯A%'IxMsttmjEޯ0<.C}$(IjB_ (fGi?UJŽz=j\MݹZ7H7 T{.Rf].T=Q@jrwUX7Anz@p9z&̣"|aZ<5g SHW$$}nV'bMtİ~>ȗ%zA#żFHq՟!S~pS.ʿD6$htO*,0 r,aFdjOKV!t0Up!KʽGN '\"ߙ?5Tq$+άn{I *,뾌a[\XŔ$i4 3qi3P͐e\M4jr`gEUKkhuUz _h0?w_ႝOl\;@xN ;`¨P ”2 բ'}`uC ҷhXIZ'mH5}0-qz=V9P]k-p 7je?Bj4.cUy%'D؁Ipُ_0e{kQkG::469Drq=I*4`X+SeX.Ft("@WLO}> ҩh.oHn@F]Ս  x2V7✋T I2zqKAoz[OƔLiϘt|Nd)=,x{~ڽXlJfݙ2#%y'O#RGSX2ZVnKpEf Hpr>W1a)ѽhe"fH7z+uܕGu)OqԜ9hm(m ՓBx+t/[rJaOSk=kpp(]PlHJ#VXŤt(f]7Xx[1,|ˇ,\\?aZX|s@eGpWP/vf#"5D vI?(ZI|[~iI⹾,0%l*? }B0Bk9ã~ԙ<|"٫V¥jکIѭrL9OFLw%ySЩi%⇐;zpiB;Bӣ"z_pDkf3!f\NR#e?R7yfgx&A.?,Af3AsLMEuJ8 m4,n~u`IޛgznF|fm;ǨxtgHʌEp\3@ A -랤>Qh;5(eqv*^ `yuGd"50ބ՚ w|MF<@L^7@RgJGR3vrIV@%H17UY #%ez)CףyF{}(qhR"57$8AYR⊺|z"?'6]nj<=Y`u}c FFK9^&6癦㼶`B\VJ Ѧ\ϩC2ޕn&u5 8#OoW?lZ2d+ i]ՒǺk ~Შllr{^cKn4_R9_.n]]ѝU IiѤI`W{U{Q;+M 5Vkm% OFՠ&HdM[Ŝ%78@VͧݓrVuQsGBjh/vnѣ n:fr wXRQuJ=q&T杯qX\@@q[Zq%eH>2^o648Qs|)(nn^4h蠅@rvq@+uV܎ #Xmuٗ+V"[#Y 7H41"I{rrp:mt t20l?_-Pͦκ_Fʮ}=nV"!V.`,hܵK;c$Ff_NŸ=eta?R009 Ъò*fC)N0}t[!HD\@ "@X^5/XIFg'Np ns aǙ[雟J dVSe$n^e®Vpm6Mh."N0>QXLr J:fSPv=5~P,PbI'ڶȈcg&ϺjY!{i\ S dXb1JZ,SJc8ɍ&HOɹHIkw9m!vrtf_x+ ̮PŹV(S͛-g"w,*0S_̵l4-bVEORFaZWĐ2gV-V!/ਲ26dpjTT fx}jrb 297gsEayٜNgfBsqUMqlVj @7 $@ ;ic+w(8MtB) v8NS-sW'h7@ģG>^Ʉ7q}P's/\+뜵)*QVH`^ZUw?q]7=M<7^|1t6pr0º1ݵH_F㴕Q-3MB V>M["0azro'V3U|Oo)\ӓ!%ՕyB}7msXt;_X=F 6#0JOv 4@HZC5g0WA+VrRjBEz A@oGʹsك%/?չ Y&Y^GV⋓, `q^V*䉏%Bݟ<5NtMÌj#CO^h)R)<@.<>;=5?;a G+jul*)Q' Z+ޞx?7nU;ls)T̈qoLQz:_'*2? V݊))Η9"]dL8wZ[z__V~뚁N[\\3́Kh'G c@$tI6b(Inx !tQP!~¦vٲaH=2vh ]Ԑi |a;(hl=.3+׷=N1d͏[|zڋL)2t¸1 ]̟KHwD񫣧{¤jߤC }(?ˌDI o}Q)Xa̯L񁢊9"}rX~4Ǒ3\g?)LTXtNKPf$#XTKP/ƷV#I[-iE)^Qf`%z͞厳ewc'g ? Aw OySU~kU+ Ÿ^__V}}WVdſ*Z# o5N>.7sNV誡t?[bH .f Ud[B!H!8}=\^*C(צjSTr䏯D9O)XE,O?pZ<< P+__j̭~R^J(r1t5{E`fwRTwDURH)=B+I`W^ziBx %Lnڢ3:ˍs(-T@WrAr Ffv .FE'cN|7AG5C,{c8jBfRa^$fW}3\8ݽ)<=s a_(ߦ@@t mDHxW9+pE$ -<; oz].G]k{<~N(ual@ 7.36PQη2@[& N.JԵޥ>YV7sʓ/ѓNƻdby=h.~B4$> ( eo hH!48]%#fVz,YOڏIukŠyMbm_);u{nCԋ_$ d0^yv /*+SQ/c" #"7\gm)6'Ko`#ѝtB;/Nbۅ63$e!!CuyTtfcSjV)B5oʂ<]vC9M|Bc!D-;&}k*NUk+)mW@X|36S^v)j`ԄTT-J'oGץg3lR $*\P|e"N&rX?Ц&w>޺J֢A9-yw̡yk )U:H hH!1R `"Υ6,XC:Z#Zӭ(C=J4tsM܅h/r ZIh8K7#W7]׿Tm)*(zTާW _Q$/-% J7 t#Ͱmd uUDS^#+M"p˖C)HGs0*tN [ ]+4$ȴ،2x{ZKafMs5p=|i:Fq}]?]-UNfL㋆}Eo;>Z0񑻉TlGG~F=VY{mg.wK(P,UMߨj0FtZGm~9 C-㚇HPX+:R<]BGQʡ*7{_^%;bǧ,c&PG'YunfT#a;:CIK8Qx+6W $[Ng1*{uݚ'؄a-0 ލ>: kφlwhG{6 o^Q)zFd&6ZNW EXO|ha. ܺ0IekWJw-Vzw,A|\ |[X;y]!񁰨C@_'-XNjJ5NLɾzQRx^ͭk9Sr$4!-7><3l2Q&o+[|MbZRUZx νAw[ I5gH"Q* ` @vogvy"Ľcs>TldO.=y0ٰݞޑF9!$c4B vT)#Es@cץ[zH ۸0x=4Opͮ,n476]q s0x]݀[gGN`l gm%_AMio!O*1mV0|ioMO]> W[ck_:U=n:/Wվns+C#oM_&z(3*u$׬xVl?9 YA.R3V,23upyl0 D42XXZP+e _7Ő[ETHv $0BDdrC>rs:k3N" p62z_'h "x=M4?~Pʣg C^pM'R IV=,uH,MqI-* j=Gwp@W-J l= qks1^Z8L2Eu\ٍ^̟T)zm%aeqa|Ȟh2J SIXxyʤ;_$*X`2$ZD9?ҥ~\weL[`KQcvԦwPH26:RO `V"1J`9Kd '~Q:L+1JE{|=~EjYD21b3(V\ѭ2;B$b=Vv$o`hm|XHR_Lz$3;⦑^׿b‰C2H= EE+JR!yڔ'Eग%k47ULhv[ŗ(T<laIёؙ @:iAqYSQ]82KpV m·půb"JZ"ywN&h AB[SL`M F8"8o{3zdœ"7N"'U^,)_tdPV'.[^?e8mӕBB8U 11;ADgႚ4-1gU}=]RۡEVMAdnƬَ\^E$A/$9Fu:qVwuȾ51&Ϡޘ/)ܮ|KgiDu$N@ B8kaz' PC!D([;SwKqAD]NUf_eNbx-mcoD1,q*[{Y׬uM~H'pDµ9e=33Di2km<pO\{RgYZ 'M(y>i`\Je:_lL)o\Iң8E~_zbah ht'A !!Z}:2:8;-^0ݹ{ *)0GB&-~$"^p7{9k+~]8l|2orn鋺!xO<,޶V*PλyZֹiJA%WJzn¾pLO}tf.|gїC@?Q9H}<HRMkLZ7}j]K'=PÅK0OmRPmO}e^yOAV@?`4ݮuEf#)% eGp0\f aQG-=Zoz&!r)kOAu{[*EL]a %˾ ]Ure:5!>RB<3hҽJDEt %*BZE|mC`(Գ^~X6'vqdޓxy(@x3PT|a3?r"P mGܟspnIG3ZœLmHUvX_ﵑtU1é>rgq\$iKIqBH]p3 ȄnlOEdo*dS3垳 iUt@"^i_D(i:#@W#bK[gcil_˷ 1xhi,vBmՕ.7pq e^&ڲ儤 ]w!"Hpm0J:Y$[%PX$W e!p*Ga3T=lvU_3 ł6s_ J .3ϙ9[G_KC\y&eK4]o:7 '[Ϩ㮣l=IFpHWNwwf6N&9oOyY~gR/g4r׸zӂ4/4i,7ƟGIcǕrߙ{hq4_|Q4wIf?)3z";01z†V!r8'GcB|w$7{b|hvqnZnd, ^S#zyt˜(*SS'w뾼a Ao}Xn,DrFy^QA m\蹆Ikt -=#hVv73t@ӝzpґGgЖ"!%k l-2;AѾ m7n~TMg6_t_}Z%D3h B‡ww7[>Fy SXʻ~mz|~b%D>!\ajf@ χx8Ŷ+Ë- M 4~Ki蕙m~Hr.ZXDe/&=u pw6+/}J{m(if:v2)V_g _DMp [}EZ?g&Sñ>6 Gƽ{dmIfr &K!׉]pŁ9h7RIjN0Hr^u:׼~ĺ;&[#8="MKnCU| qYY3 qXhӖƻw7\C#0@Sd^`$g!I2ѽ2osLYb)d3OΧw NR1H~?^\B]Jx7p. z|#fy)"A9]@KqYIIv7+Ͻ.ci\=}DÞO([g3bQj3Rm~bYp%aL[L5?%FnCʭ ~$ݽSа4FKBlth$7mʄiG2~W` GA|{kZi6F=Fvn$RB1< +*qĢ[nΟ|m^|M>\IaQ28"FrY|Ef)Rh2mVa=[\&]Cg?9y7tRHhdRKaݣw}.ML~aX?˂-b;1NY]ewoiONL\e5]g-S60[Ezg+Ia-+kɖX\xQ-݀ؕ8KFĽ'#rI]D ^H,ax؁׾!D 5?TI.yA\`kxqnݽ-;_pn`mz4m#l2.ݠ~6H&NQK켨PL YћZ`Q&$2eOgHN0~okn1U Z*#tĆPt\&0&1r7|BΥ,D?aދ\ ^]ƯѶѹLrU^Wr@~O-bsVMBjY!Tn䒆_l|O#JVV-.b%η:n9@u}i{oںوIIlٽK?S] u?7Tc(,|1_C2;psB$,r@Rr6@<Ԭbx`:nl.E*u%Ą%8"Ӹ=XVee!ρW osQ_;oP{ֺc6nb ƱCIՑō|Km-K"7r A .ڭCm=G ]Ūqg- Oy5E$kj?Wl2sAb\_H*yYU3ENׯ:A/E5g~}15BNyQ4j#Ya fVsg}SJ%,}^TՃUAB?:lv0 [ 9I5ۉ;rzH?8N {x`kxYY FQ^3X#Kk F>[xuI'ן莑E^ ҳL=C2#4&%F[sʕ*35|*{aHnSkMe\^bj#:߳&TyMU=:<&FZF "e3Kcn˜nAI|xPhfnOnApk]z@)'_Z. d Х J\L <[@_cPFrNIk5eGU@|-A ]l'd&@`S^ $gbzFl*mu2vlL1y5iC"$t#!ժG}h/(ʲ _ ™\e@H WC\?( fWr>E~]<.?\m@\rb 0u0HǏG<ݢڏQ\ga/,kE*l;N\55F\ tM 3@Y Nz BN&tDf4Z#Ag+#{lxBj1^ YRYgMQkHwaǧ器_c|ȋB>pnW(-{wOGoG2|SpT:`2]!截SN> -LN%UeɚH-);PSf\D΃a5ƹH|/T.x2˧臜 ƐLlky$錡fG66 fg(_f\T(YuIULnϙdM'2Xx+S3.툑_ە% H ;i#%g} {}cfbR !k(9v>%!"{]Kt+A @,/ՀCLOvou  J$r6 Y#O]:GӔU|vy:x@@sƠ*qZ_1-Єi~+2$uz,S ?Uq}O=a`YQ*2>e/ cۗ(Y}Cl3Q,EiZ/ pad/CUKɤYQZ 7MDxkC9ŔN1A䷙tMc&32<2r!aFB!g)SS? fu]}*qCX>FJ*?ϙp_C=hUG8erZq kO1H ǻ}Cx7Ų;Wxo͝هI+K> GVXXӤ&AD\oR`9 H6YԴPv,KMr1\Yk,3YzYVY cT:-(1N#wa/t9›p^~l[ퟣJ]SQʘp3Kpx˛K?SH+jH\8Ƽo V{N}kU˱hZđ^)R60qrPr l(v%|"]^ +t,OwqPb8-̔QIoMbM6A/Dj'c^}B ]"ь+TH,» riHӳ?>$UX v{Q/ @bBw. %tR-3@<=R -aU2Sm81R!}Aolޟu.g鏀/ϝLX1o^c2Go]g?i$ xa'F/M9-"1Ƈ'kLqUs(Ar+Ц1Df4a &L4=T`QMB-i`yKnЙ?\o$@!tw?AI.&,N"eM/>MU:M)" ;B-F')HCtrk>+Q򒏖 (΅ބvF\YG `<q[vu %}O*G l[$ƙN#<_O_{'Đ%\ WcHlGu)׳?<~ڍhȅj s{bP-`tF^[Jƙ"bq|yhw*~ |3,t=$t6f%>4Hcx曷yk%wxGDeM"bj4 4L,jL`ow/M$mEߐ8iA&gz=goS0Q.t;>BϤt읒:C+mWK8D@9kp: 4ywZՃy2±R;o=p%.HjR&[F8_Ŧ?M(ٮP\ ϨwT# N'd$I2|`Lyu ]4''K+/Y.݋VKQ2Zuز.L߬ $^~' _JF1}j"̾B]ca0!S-5Lr0{][ODNTU/PZp=0{hm"Uup9b| lUAxV\a f$:qcq yyq^@}\2:bs^P ,#)q077r 2:˄O < yB&pN:i=3&0jk5:F)tc- bJM=147<@t~Ju3X]<=ijO<D*/Lc+4qQOl}zmBqt (XO 4\$PM⼡H Zݫ|Փ !SkQU``b@9, }4!g!3ܗv pzS8s8"c jSi[G:%/xTͦoGB3Ax.=WP"X챥#@@Lf޸k`&nM](I5ޕ J$nWU1*rHڠ̛h) OO BLު`WBG2) !f!11ZBa]%fYiHޮcjq0?4< V$\I @N0jǗ6J ˮ>䋦@P(5}RPː_s6P%{(yӶEg;3xt,sƝ!lqY}Mf?gf^%6R?.yzݤsoe!M;ݦ|No椐D\'S8P4s,L3:@ٕIx\%-.< %F{Jlˑ3 ļ:w`t̑\Ji) A}=հAeՔM:t2,ZQ-s3nc>lN_/ ~C=@\tEF_ꖇ#Q(1 b?^4 Kn0WEIj0_ɴtGDsgY؟]JM)f9 ' 5rUk4TI]}>"T\ (@ i3 Z.ګ&59bF'z,E|]au>?&q.yOKOa hwęeLOoym7:A~j{(b(9Nxa1٣N3;vun$臏i/=ker ({cxI{=:=Qc{G 6D ?j:}WӃSt*u2Y " p;͠< +Z 'ÍCRmP)+)[XHl:߈USG}复 J.;wkTO'`*>AE=(}A NjId@$ڳ*T-V7#@0sRG5 ]@ۍpTs\feJ] oFD}:a~Ow4`ݯDg\kOܝy#!b{{гĨj,|386ի^TH}n{`H{@%`}d.rb.)-~ґ$phӚZ& TV+9՝;i8]~[S`'}b;/NVJ5<>G+ɽrB|稥Z qe1Nszz3˪Za}:>OѰdgbjE7"zC3,!@9^V  %rǘ.IFАE4̀*0ut4LiIql3vp}W}! ŹگᲛco Sq閭?L䪯 }.o{*(f\w;&UBL)k)ȽSnj, prZ6!PkUTWR&YT߿UY:|"Za[MJN<%%_HXƧ@]8.Nc%h‰Alp4 q24Yu:8a[F)83[l| $*hVɁɘae,?+'EW`puГfSr{SfF]gPL̕]ɫzޅS Ǹ--w! k_9C,7+Qrque qn-b61,7_b @Agt,h޺i3S]]bR?;CG`>4sUn %z"ĿNO|<32I5 Qm9q2=*;7`  e6<24ڑ̹ rD٫ɭeߠNXXD5cW&\ A[>~~2\@Fo1@M``>VJB+ ! -N{,?=.IlV79>-r\Cz%3G7x#,XfJEGL+6hzf'nl=L3w_+08 e] c}㪽PP2ocDP{ t=YXE {]g1 ]<'C(C;A\'(h?vri4 h~ܳs"U Qyy%zQk2õ l]\׻y?wEׯo#1ndn`8"RUS1g+LS-B$^&}N ZiSڎ&fdu?z@"/$^YqHQ q/雱;L!U$YF ÿ͎˻b =S(68ZAG[RpMF"gɅD>6{`EY/f,|}&U9k[1bV}\niEƹ䭼}Fa1S  +y-o&ۜR+\|u0*DOת8.5H)۟K P3&!m*RNq\ $I~~ ZlT_UeyT oӫGߙ p̷ '{ee܍>73"'\0Nԉnc(,|hgTHÄ4;s !)%&f'92uxY&}ʸ gՁ^ۆ=?5#(b,S*ך.g`{A_W X̾2yD$E~D?eYe6}50Zj?CN3wT)M<"_$LAfېU&]7KK]Ij՟N?o&6!c45?HC4@DVΙ`'3AB)uJˣ }~cp@7-][ #VĮDT_߱φtbIyO~~AnvR9*^6CjtҦSk/8.кS0=?^O*"NKvL$I%M[%ԡ=ժ߭N6他snZp͸M.`?x@2b(Nʔzڀ<s Ub9=rT#10};&ڐKwR[ߗh< E7!i B6Co Ê6F: }t,o<^yG&NJtWt49!6]F+km*OA#%ۦO [ίӡKҨIY y?fqji q%DgYZ   Z %% lCategory2HOL-ZF.HOLZFdocument.tex7zXZִF! 4n]A-MՋhvG"uIBm5lkWzj ȗTJSNnL+s`-oFZYP)!bįSWiZ9T#*,yvg[f@B~ZK40Wx+5@G2υwBqg(IC@Wؕc?+qBjQk#wjFH{|!>:c{Tߞƪ_a@]8)K'. Dda$k}G"e&%Ψ-[4<.apfPzX7opk}YE(4?eNM{= VL&bT|!ʵyrg){vlh)Wڳmzy6g%u{;<ǝo=ڦ= *7rsr&㟺Ia^X3􈅇xS `av^ag,5Mb͈K X8ѳIoCAK8MlVlHEMXޒYr,oԼJp8sf i l*^ +l P@\xJtѓ3B=/Kq(%~rOF~}H`wHAl':*oR'P>7Rdb'ª za$oGT i:NSkRF\(yM9%1|M)QPβBOy`<9Pd #^㧯v>xtL D@Ē)5zI0&Yhrc*,=æ6yɄP0F8H#(k\m٩Ʒ稗גOc9l1c+"rM#!ܜ=-YQQa@ȉR,~0(ΦFM 3w?,TͳCˍK3Ўm' }?8eu "=^F?-Ovߐb;|duC~쫹_R}eU_ܺX&*a2X-vB6-~ѕmS