SQLite format 3@ #.  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info --P DT ]/ BNF_CC:threads=2elapsed=21.107cpu=39.516gc=3.000factor=1.877zXZִF! g]ŗXf1-q恈͐7ӺV 1̗e&$W$!>έhz+>뤡,[>u:^Hqڦ>YuM,d="U%I ~koRXE\duT؍qq#q8B0ܛe HdUD1mle-¢3 3b+v$;ONB} ~1FtCj+mr#%c١lFMf9F`&یqf%fq )%5Vg[oRIƍciX'G(85p/'N܈lu{ CyWȬ*tJ2e 򀛛*WnG~F\J!HաS.4c+9A_鐚.(~RdJwx}a>`xSlwIApnИ]E#ؚw;o$98|}Ѯ7Xjf;9. j鵗K/ߌ=gZ]YZ!w NXvQ1_h3Њ>/rc黥F _6#Tup[|RfUs8ac~ꙊV".;{_@r}I jKgYZ7zXZִF! x]ŗXi%; iF'|+eѤEnwS1 ;;DU|ˈ"=)ݼWtLyіj7mE=ƑF#2H]m>o24*E@YL lywQ)&C/vbdsAWVO j+,<% _¤I8̆deѴc-Z++Zk;:b*)̖|Yϧa?`4v>N whd@-Pp\ٶF1;ƏedhS> Sw2&?'YiQ$gT9יLgmpUin2l1!Nj~-_[p~߲V ٣,0 ڜ+ްݕRϚP!r;pEB ^6/|0* pZ?qj6mF͖wc?iEL ""'8@R!}I "t!q(t^z )U>bEO֏|2W d:D٣G?7st(mتDb9eFn˱ƨ$zu+x`cPkʗ 9!hFC dfdum# ]6?ݑ`j_[9 WR!*{I+"s 'S]fSN/dHYb=&x#y$ oWw> 츝u=R˛↚CrU&F  xߎ$!8cF @B7.NH>Dx#DɢrfF]:BcƳO2$PYnH8d {һD2IW;7?QBv>%wΎo8K""r@WR3P̆9NdhҀ`!F~JգnYu@MOg v ՙ[, #JgYZdea45739990259c6f8a5717a1d5c88c87b4fe4c90a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122   BNF_CC #1% lBNF_CCBNF_CC.Compositiondocument.tex7zXZִF! *0]A-MՋhvG"uIBm5XJU)r{C@iO]XR]9G-Qϩz<,CVM+I.cŔ!L O g~ 6Ŋ˘-t:: uJl^p}uIDm3cYU7|t3 )t$C,ҸN`уԮ3H|SS)3=珘BgcnOnt뾣%w9 +Ǻu==3gLXrf>JnxRN' {2}]"|Q05{4RmTIgq-HNڎL]i 5P(169U}.RmхLwNo6eo݉'4KbR97}G%&#smu@xxL욱2ds=CǐT<qu"֘hW9{\Y`| pjfC6^-g~.좁_Q6y 1~TvTVMLٓz|y_/vF,d{z5A aZBu]lWy*;3G=eڪr WOG'qĈQz`'No|[8nI>k5Fsq7/Œ7J2]Je.m'^>9ow~KtMjb"4ArT5ہ, Qat@\pA͆JN$^X<.OCpR5nr=>U`~f8+]6!ɚJӗR.dZ>L*p[X Z%6ހ( GBi{/=1$Qu3ԷqNK$&F3␐e&dT~:z ̥2bo4q;lV"g̵H?GoA6F2}DE" Eq\v~7e}L*|PNWE׫U-J%?EK}:jݵی Tp@LB`u&'T'es޾Ef]͋ Ct9x|YhgqguDX`}G%*fpe| ӑpQ'0{ϓfS~~LYI_H&-FոxWQJȂIlj#a v TV<1A͖mCشǽr>RL3U6{BȷY4/ IMu'q=7_ kƉaL!wu${C9*W_5ETה.g!wzOw+5%,G8UI %5p#vӄCh'd̓I <_|3pi5bm`׹]YX`*>_ ic⯛7@g>}!T{v"rp@re'-NB}^9R^ uD6H-'n.f1eCBʌ=?{B+Q`W"8 7iv 2c bhM.}oRvۆ(8/z1UݡQLo ݟ2Skg%[x{B$rNg>p?;5-r?ӝCk,Ӣ:QY.lQJjЭ!&leS#Lp/qBk? oeֵp)/{z PZc:8+ťF~li ^}AOt Z1OBe]6)>W%[:&XXUN<"*2\(#K w~ݾ뺌g vKp`C{%N-#&./2`\xgm>4hŲّTR̹T^٥E!ѕ'ϰG˂kSRЈkUr/<:ggDy^&qse ?0כwWnňO 59溷 @52eQ іpXJCso$7KMtQ퍓#劶J2睟GE[u񳚘-"E"!       {R *  Cu V 1?%BNF_CCBNF_CC.Operation_Examplesdocument.tex6I%BNF_CCHOL-Library.Cardinal_Notationsdocument.tex6I%BNF_CCHOL-Library.BNF_Axiomatizationdocument.tex0=%BNF_CCHOL-Library.Phantom_Typedocument.tex+3%BNF_CCHOL-Library.Rewritedocument.tex4E%BNF_CCBNF_CC.Quotient_Preservationdocument.tex ,5%BNF_CCBNF_CC.Preliminariesdocument.tex -7%BNF_CCHOL-Library.Countabledocument.tex 1?%BNF_CCHOL-Library.Nat_Bijectiondocument.tex 0=%BNF_CCHOL-Library.Old_Datatypedocument.tex /;%BNF_CCHOL-Library.Cardinalitydocument.tex"!%BNF_CCBNF_CC.DDSdocument.tex0=%BNF_CCBNF_CC.Concrete_Examplesdocument.tex'+%BNF_CCBNF_CC.Subtypesdocument.tex(-%BNF_CCBNF_CC.Fixpointsdocument.tex1?%BNF_CCBNF_CC.Axiomatised_BNF_CCdocument.tex(-%BNF_CCHOL-Library.FSetdocument.tex)1% BNF_CCBNF_CC.Compositiondocument.tex' 9©|[֑"gGʷ)YRz^ ūci@f+G-b~ ZQԖ]&:Mfv@~PlUe &9DCJV`^Zp%DrbFܱ@gᘷL9)OnPZn4y)6C/F1Im&hI yVk\m`^+)eL~Z!Fи{tX{0aKY <4*UА!Ql ԫ!Ҳ q GcԾ ޯeFo:~:/b  u.M=3 e<c3|P>kb d=Y]HQ[ei۰.dYȼQ4Zh.}#,=rl( )^r. yj"s|^0G6Z#x(aJ_3Ú!Ɣ/7bBe?§1[`wVЦjv&4|е6BAjuY_Pߥ{ #4*RşFVsi|~<2C?06br^m%1{W? UuΰSE10ctQM=t)Dx7i:cAԚsHw?RM~k;a6,SI~-҅v4DU׀[ԒJ(Z$Y>t[ -Cy-{*AK+h^=F)$sʫ(bfN A LoĬd7vkZ.d\KrhB>p3f(d a@}[4%`]dKM.cy_C~j#r6BOy8ϴKK@n9'ky"WX#cՋZsɯ![:0e n5t!(OMq)N~GkVVip5O Cn˓x IcS\nm\JpQ1Sw[z^C8)UXדYW<讨ֽSgchaYa{ GA~| WO3@&Y] 98ŏkVy?պ/Ӻ$Q} X)7}3&M'^&|n˦g;K#5؊&Lqv<Ö@>܃OED)JMc"82xx &>ˠ8ܜVz!Bdbc9 fKˬRզ'$9WKNU r< "#}0\ l\3<uSUsK8*S0+ӓ xOv 9IfgDf*]A;2;W1ϔm,8VۨKio@at^\$ # \7\/;#Mk RJ:9FnW5(K~jռ6*"dDIhLdJK*3~Nr+]?'Y' 2DqXbgC^gBuLFM^ =5L^f|=ðn fp4hL~#QÃ1Q1Kb @ْ;#C}65t,z24ǘA=MM?o䶣ÿre爬/]NBԢ<6V:TXM؃c!uP8xj} G7\[#n:?l(⸲>H.sqt[N3\s$.ސr'ʖr!wM-q>8 3A,Բmgީ}) ,3N^3챷Sb14:wsYa $L!SQ#hҬڹǖcq>;rz.xNU:IDς :JuO^N""iE]W}r;y"@N{,@G`4~3Jd8~ fWh ox?Jc*U ܘٝPW3^.TU,uD\~8weHnkV:5`` 09e2zNIL@ `lӔNTkDq :܊d実U)PMꘂ}4ɓZK]ی29YORR1Z,$o6D)fsV2ͨ`ZUU׶h_G.v@Rղh4uh&NQٍQUt zp]'02ͨ H}I瀂+!s=tI IǖJ+vq*n֜A@f_TD,*ӨZծMr7dnWMs`o!2éUϙMㄇsỳK^MHxzDPI^1E^j)-K#s-0Co>^ҳɥ¡R|6+|/j) +I䟳gnK"'t|uAkܰekI;_L(ux7؆'jPQ4l/m@B(R˙]9=c3$WyTZRd0zh<;.%gLp/:4@R']|۰ZR:=E@ܹg4s*Ysk+й|5u[pFI[kvGXͺls_6"ggD~p)eoڼfc-o(\J]oϊoսH5*Eys]3EJ]gQf\{[>ӆ7?#5;7RsI֙5AP 9JM5 Tnj,zkJuM}Shq8$V{;Y!f;XЫvbFy@Ꭓ-V2Gad|77SIGkRNogXzpF`&<0CqF-JbqJ4YC `TMbr3]3+ݥq|? ;iBE9lɥNa oڪYx>dqZz5Nx8 o&lh8\XԇKN'D7C}zƪbJUwd+o ۧ\:=4f0ʃMM:b9ፕF INN=&| e:ZZhWmZK`a{h"e@ji׽y?x|;>QKjԳΈIQrn]43ݱ3Z܆,&Fb'$6n S'Dd,{KxOA2*/8Q 8," Q:t tkhMq ShR(؇`Z`9 g]FQ+niE[XX| B@:P/> ]ߍt.hh´%k&(oWBzgHv>18$?0FOJNuCl3Q@q C渲lzFgYR]J1.O{%=|'zğ,gP^ JKObsU7vhw#4)AohŒaɬpWt*xi'!y@2pkE?~zS&ܧD@}jFܕ?_D}3?(x)┓QQ_F .w0ձ33`@ kZ{t-8''WGXԦxΣ[-9G2 D :!%`QՋ\L)^ȩUa8nԯu3QTRC3 ?6A.hHCWtWq8}hbq5='mh&8φ8Iӕj d.TS%+i n=UQ`C*]9n1Θ+rkgfIH"q|/*G:MvDPD!~pPnS{06i)Ne8גXׯIFE}'^_TfJ6R[Sڜ{B'yzfƞ ?ifcvnC^fznG,c' n sGz Iґ䏥`(\h. 3 >GU N6zDG-FJFځ.ǸZB.<""E2')B+"0CZИ҂rِ ( EXp c+'t-6T5I]ߩI<k01 T{?bH)1s{"~KZDQWd5OQ,H&wQqwa8 6`|Z%!1xBeI7?!Re.(CK3P!$69hwS$nLP+5q1z , PNd}U ߧH^]DQ losNp 𠫜p-$/( @f|r8Na9>W%LcSgjhIPqt7{jr]EnH +or"0/RӨUx޹tP>@&с O Fx] ddcO&QV@Ww7q-P3;cs2}.։^sY?bUn,״ClB3 qQ~Zcw3&k `쀤xif>˧]9]a{Am7#w5R Y%sz3WS)ӆzC\p`y4*ZCF r?:r׶Tr-ŠE#D0"(yMaM1jLn(wr:dwjg|,tY Rڨ$mo)9_/U߮Jgu/ܣS g8e#.0*vRi\\Ī.xV H]!A_aV#V"tTc##^@4Jl\ p2;IJTUh 2 t*Ϯ?D;d!>*Nwk;Z |L _W?6|p @B6w,\LK}LvGiL`|,HX!4wRId&iy;" `64QHlZ@>Wbm5Bx`U~ bv," <ʣwzNsaBn h>X'uOqܤ*O<(ƯP\U"Ȋ`Hо/?`P^a h?(,>i1LDmZyf!y2fo ;ZC )XJ 3 ڲzYZt4E.* 9QH% !{Zj%l;[=-ov(F$`L-Lv_.u `>CNt[lm% %ҨX 4'm9#NBxYc.H~R ^(K^6 ?Maij*H3d{[K>Xpq͝3y%ƘiBs4,ZHzg2 _ĵNLgJ9TcL}J auQ\TT2{UPs|3d_H@ C)ꐘՋW^Z5=±1?{jǩ]ݵ>_tێttZ:MƠoĽtC-'U0C-+WnËXhߋ>7T5wgYZ :͏4@ 6 N؛S:+kLK҂Y08:x?Y֧Lrm\y)A ft֩W0:it,Vo첸w]' X$ ٣h \=0e M>pzn[nN)q8C*;rHswW7a)+ۅb-]H 6D46K^t*ͯpZHeŀ>]0uV3*ݏˢP/ 5=DZv5t)reZ߲'5x`']FPq&%BQ 9 mŮ* )Ƌ-&%~lEVL0Z!{AroWޝg@tܫ#V] o4+ywX]ScmE^<\`w:>aOn­,[u荝-,49RP 9j f,͠mx$L|F_u~d3iN(Uz*|:MLJx7,nav49hٰv_C}Feh{秷Zuu.ʿ:8z--Ֆ*V?8bYvZ=y2R<[@+<(Se 4l-SM&v)ٵ\` ==" q(!)]9Ͱѽ">'. _$CeO!^_n?;/2_T:z9fZ\h: 5*øFQK5?*-ƄƟly3:TkDwÀ nn eZe-kTC݋.*F~Cal-Hn v$\heUu6@egzsҹ2R8eҔS*_V*ZX ZbGW/@ NVw2%]%a0ڈ/g :<ʢ&g(y5|m׋;\<\[G{D$?r9J)=F~Oj>ҳ:<c @e\j#$8?miE01~@ϓlHS_n Sr9±k .w̘O8}W30qKs|<=Tͮ&l?6cO @^Ƅ:!u;uc=~3'y$q[0#z)fB?ZsN/h:+U Jgxw8]8F}\I M js-3?D~!&3HpF(@/!o0Ad{7^݌B@A{8 9C=ܼPDcq䛬R). χL=kk71[szd̵c8r̷B9({c gۓ&cc.L@ ̋9?tX eNJ6SML0 >AWFoSxamBU)[`1t>gu*h9h={}⎯[-@Eynn}0f3.p*~䧔`aٗ|6#)PVxOLէ{n RV}d0,F.AJt "0C,妖j VIx:D K'/9˟R90͎XmR|1aAfюhqGSKwQƯXyi I}P<8@#PD`/R^: ۗJ lxG^m1KydUV1Q:WmnyOF1v+h<3p Tݐ\ШW?L'WV:]k#n? E'*X@u\ 0QQ+:U͸sO={@#2^N~:Oޠ06F"=iKmTxH ÞHTG0UMTJk&Ng<Zs'>pb5 7xbS_hק~wN1NF,Pi=b<^¯k_H_~ɑ@w{S+U9ig,޹.0WҦz:"s"qU8cż4\YK'Q[}42iN|Ǐ R ~R[~Vh[@Ve&z 9c S"% ":._V.XqQk{lUtP=W(o'/s\IK818=<z-ۍPr?J\c:]ӀV}g$YN-7,gXpKQBP! :W!2'/r8&ؓev2#8Pk, akx.iYшv7x!X/J⪾qNlΔ0q\7,!`U rQQC|r.5HjX*yiEON#*zhےђ2=K:> u;/pOo}\ehtQp5.?_Zg?[n߇ikڰb3cOiK = ^_#`7o葦x;.wmsrrVus6qB+ЈP01;VȞ7SvnjV !`UeqGnm!9@~{ V}j;٩dwwH2b`29sF1;]Mb?{^Cu$ChPVMQ'Z&!q\J0!@?1}!lї8߇ x_qi}JF)1c,1$?j#N8'$+IEDOmDB(T!U-̧.%ACT:b$Ut5NB8mM:9]b+[b}q fl6_X}tbTyS2*DWaS.4C)^@UIowєXLN[ʿd4(W{Wu ϯ9} b%/sw\S \m 5ݯ6R{?1: [KQe.w/G" pH'z$ Y~dԂ;m:$읆ם^$Ā&/HpƆ^O5iMJ7&B/]X 21gL|uH33/,J8x@kr`[zj0z 9"3޶mu `9ք>Sʼn@Z:l̆v@99:nqYYZY ߙ!44se(ڰr~l"!)Dv<.H . ڣyL-'u]t:aP%[_D&;@p+eSԒ1/X(% {\ {W y9r=T5$|}p@/1 rZ0Omk$ c\Ȱyk~[-wܞ+x[[ZwJZnƶb :Тw:dzx4O{{@Qz~S.A6LRn;~EфoqoOӭe-Z Tü0,' ;C*0k}u9jR,/PּK5]|m44#= Ҡ&$f IF((3T G20*vvBI&5/d F:} T-\!mfXI}6i"tXkG|e  nsk`v->2N 8ciUg0I_Hmʕs]^e]C1xXхPf~%•tB?Nߡ56Nae_ecJi_WliixPp]J ^w'[5^*b@e=e.) Gq!:0|maڽp%a%T.ILJxk,@~7z r~O%+i354UE2nBU_ E|~/NXO9zd1=٪-rGQ*.W1Vs$T@8?١/oF@i3?mŅ|gCHfLlɜ${?Gw$~/\cA+KъYvY!(T)z$ukO^]JdO$3 2{R$- =zIW㝷V 0B~pGA7!;e^QE^=j$biMюv`@K39ʔY8]#iL!\OrufeJfs2K#j~F9#ۣI5ijk~3BlP8Z>-.:{N{γNڕ+E:XlkCIaQ~KE9~st*SD g^j5_BZC+ECO+?Ym%Bi @,['[X\obiK+K;' C0<A>OQo-h%*٤ucH`;%m6b_3It<}%=<[ޟ7;qqhfQֽ{47J).v|/iD4!ڤF .bj+SJi8\<gK?1~\8q|2)ֈ7*hoK5_sCQı?O=f:A<]gx䠅k}&Af$.&DUc+EI+|eNorG>?d߇7ctz|̛[!Tõ|B{5X3Mޓby#`ەrXPjjKsC.X^1M.(N:'(>ɣ[1@a  s^0p]H@dT@ ^ -LmmA/PW bE\ ><ЇjzV@;M˘} %#^/i6Hnٙl.qpS$a[Z_%~_#l^^3/z-}n2\~ͪXUȼFLq- Kb&PLFswyT-*ѓecQ,Wȍ~?}bL+*SfĹ_?gđj+C~8^K+gʳr#-m(]K[G/3u+p'Z4-M#-MOTԐe[Exw$>LVCM*_)-{1ct9*wqCv ~*H*WUJ˃ܳH%8ԕRMfs2ds, PvJVM9ARH{!CvDgx>3e> e!ı!=ՙ^)b Y|ԎlrFF#?ƜPTم*-j ,h+/5߈4=xWU`-H'$~ (8kdGm^G-|+W)^99;a<{0!mW#㰁"8w ;bu\K0ncWS>?uO ,:zP-3 x2\4RxGtWy`svzj5%xJ_1-2gFޟl6"fՌ[@09=FJMJ'G^fMɛ*n7E wKGAaVJ ~|SK࣒jG[18 :m0th!OhS?9^R:Vvx3%V,P-| m/bpmsL8:]CZ*"V}[HO&̇oHU7%l,GMhHkɯaRċ7Ȋ'ʹsMgzK$(7Cq\[q!kx0 J.O[k-"8!Y}㶬:©nЍt0->On(Xd+@rOO;9ּ1AoMlE–lI3ź3t3^'j['YHZ>Pdf^R9"K`0t_D!4G-( w8_^[ұp8nr,X HB 'NgN?kt׮zߛI0_)6;Ʈ QK LNB^`rTzhDGDU6wW]=*gAT# I}JȦmL]VmNr}9=MڭQ?;=5sv?C,0H(ZxO?ԥ G`?GRJ09ilvDFޗű" E+WG-vk#)}<^%"z  1+OhyU/?9soU@{%V] `y.$` '47 sɃM:Pm)h V=g5]>\n-oN_{Z Sg37ԡ.STZ WJ*ȳD^*ǩ⓿gz?r"ʪu<*dpZt: lkV́djV߸Ʌ&DDz;P٤ʤpg!ԫ#J zSo^x$ >mrZo //B)`<ťio-SE,9hܓ Vk~Sp U0Ժ>R\t/vY:nm2P\EgͶnƱs񃴥eeLQ\,zխdU_7^tCstʝS69%|XCEo"tP³ȤS':AHҬ)C&+Q+ǦbzזA3V nU mES*R=A A` ,YiX=2-%Ad$/ئ J,O-&ɁzWpvP"D,O.3/1 F^ wsM{g3A̸نJ?L2"Ջg @?0I2[ W|Q ƚuP)oEOՁ:UIiSNB\s.zd< ,ՅrB;~M[PP/^o);36Y[m.bۤ)ylf5}j!=-"hJZ._XWxbT%XjX7 XHS$i3]i\-of'J[3#7Sk2/O8'X55#zw :Kl"O;ښTj&^UB6ԏfepK,yh!)[ʧ=S{Qv^Nsku﷏֌Nyۢ;0rd9[<7Q:иot:?O6SYCB`=2W6ѽ Ѭ B&+Daz<"ְ<=I/JjQ+: Pph2c5Oyo;SG(j/ 0d!ljT9P9<~®kH:}}Y_>Fyܠ2nr9-I3;;BP\(>9D[tt6|t]ʼn,FR.8=vV~Glu|2הV 9Y_V_ Eb  7"DבDQLm /豃i1O8L &hZ;[Ҽtm*3a\+e']k/Xڹ͆\h7/_ZG:$*oz7AB5 =XhWlo*GޯXJ:D„UM$/%Bw;9&]sZ_ݮOH btȡT =q5|D%Q^߮ŌB(UY}0>+?u |_/|&r\ 5`4yr8M/l:kE/MbjL֏T4jd? x;GPa y s&=Zߊ| u2eIXv c'GnYߙgOyltʞ1AR̋3'qR b F}a ,).nx57ҩ::5nc2Lc`vt`609(PJ]mɜx.Vq.f01@-Rqʀׁ!AaU6" X4.zz85Q ҸG*1s`i;7@#Nsb%m@c PAkWtK~u< E3 l(edM)'')X}}\u[&ہ؆e/|Qh3aÄ?۲ӠŪfxҸ]׀kY,l/Y7j'g4h'BkȭȞ#CbJz@~# :K0M]AKޣE:a19{t,fGpvr|Tэ3ppڂ֮DfEHY.UW a*]f-I{Nꯁ|bgp߁kX~x4͕`TWbk yx-CuY{f=xyp=ޔ\SkS3߅=ϡDuJX2bH<0kS78G]Q]ϟ4'yDZ'1J_=;5琱+f}]IL܊Կgΰ**^ZCF' Y^|)WjP/ʑ.@HNSO.;Eފ8$9Y5]SJHsĐO'ֈWSjrn2ʹD Ӥ'd<03ǀt?@;QߘWptW$ Æp0(4mu/&m0IFֆ()r^6.d@TYUyaHD݆>җi.sNUT}"y*`X' ~I_97 o'WpL~nb !'KqsTf/(ԅD}C wξK)y^؋t3*7N2E!SJKg{ySbRHwXsT^a,߼ǚh>!@?c-bk>(j;ͰEEQ:9>B@./f J#V^e>b&YKSrSʋj4f2XJvb!xdP~hvh[p0&Us`J4)x2n&S 6w2FoI+ip$(_ȗF1qSNK>BFm{V7`3^yHu_RGFRJMd:o'Mi^CVO7L8|!kޯ  V1f}yͺY~N=BJbQ4?ƒ쳰Bqc*- t '~;\w-<ɟT'.z㺐sߎ-&}F > 'j6á W{f]X'n~0Asf+_ iΐA~oSM8 U@YLy"]X(F":Sfȇ~Oyf#JnxRN' {2}]"|Q05{4RmTIgq-HNڎL]i 5P(169U}.RmхLwNo6eo݉'4KbR97}G%&#smu@xxL욱2ds=CǐT<qu"֘hW9{\Y`| pjfC6^-g~.좁_Q6y 1~TvTVMLٓz|y_/vF,d{z5A aZBu]lWy*;3G=eڪr WOG'qĈQz`'No|[8nI>k5Fsq7/Œ7J2]Je.m'^>9ow~KtMjb"4ArT5ہ, Qat@\pA͆JN$^X<.OCpR5nr=>U`~f8+]6!ɚJӗR.dZ>L*p[X Z%6ހ( GBi{/=1$Qu3ԷqNK$&F3␐e&dT~:z ̥2bo4q;lV"g̵H?GoA6F2}DE" Eq\v~7e}L*|PNWE׫U-J%?EK}:jݵی Tp@LB`u&'T'es޾Ef]͋ Ct9x|YhgqguDX`}G%*fpe| ӑpQ'0{ϓfS~~LYI_H&-FոxWQJȂIlj#a v TV<1A͖mCشǽr>RL3U6{BȷY4/ IMu'q=7_ kƉaL!wu${C9*W_5ETה.g!wzOw+5%,G8UI %5p#vӄCh'd̓I <_|3pi5bm`׹]YX`*>_ ic⯛7@g>}!T{v"rp@re'-NB}^9R^ uD6H-'n.f1eCBʌ=?{B+Q`W"8 7iv 2c bhM.}oRvۆ(8/z1UݡQLo ݟ2Skg%[x{B$rNg>p?;5-r?ӝCk,Ӣ:QY.lQJjЭ!&leS#Lp/qBk? oeֵp)/{z PZc:8+ťF~li ^}AOt Z1OBe]6)>W%[:&XXUN<"*2\(#K w~ݾ뺌g vKp`C{%N-#&./2`\xgm>4hŲّTR̹T^٥E!ѕ'ϰG˂kSRЈkUr/<:ggDy^&qse ?0כwWnňO 59溷 @52eQ іpXJCso$7KMtQ퍓#劶J2睟GE[u񳚘-"E粯F囦]wo9/-^eZ~>T zSi ȶ ^-% tBNF_CCHOL-Library.FSetdocument.tex7zXZִF! lK]A-MՋhvG"uIBm5`bd.PqI#SG)io+hW Xg4]Uf'Ϲp,e܍}mXU{7~b]@w9:ɚT-0ݪG;pGMD Yc5[hOR.H!HتܪR NiM{2Z,0[@"IQZ!y9/H{ppifnYbƳUk(H)c\%G ١wV'f89I0ϙ{$ {[)72'&/a8;cTt\.EauUhDKU,!$ [ǾQKͅš *w7vm5*$/RR|w]ɺ˯TV}iq7,tr]f^LDYDi7HzVe滒SN#xn;}aUd)$i춛' N;B;|R(\!h}#x BsyWj98J^?d'9n"\i 0 UlTu5hjNKZȷ"R,˔IEHGN[\dT(ANgZ?}n CTlvS`t@ar'W¨Rճ\ҬT`}}KFmn+>畧fƐ3yN}Q,m'!j@a`]AKaV#Vt|S+NnfW1{,.@(\Vwxe! L6 x%?!sl*tk92l89L74N8C6QdK>X{?ÅF  8uP K!Tmb^s/yȧ[$X {yͮ2Azx[:P=.B*"8 ᦾ]: ~b fӢ D %d 7N&m%>쓎hso75גWD/RS 7r,;8CWg}mzM!kS3Kon05V*  )TXb>- 9^1^+R8P!&Zc.I6O+cd;mUGGΦ1q'IxQ!3 MfA[^A@R8l;&@'@lJK$.r U9x; #C=ʃQ!>}hqEƏh,ֵ?O?37kT{mdn&ZԶŠ,xò3?\M#HzdY}B/JQA)IgLs ZJȜt w<}y%ε W=Z徱%XX!gHjV(< JzG%mb-{J4]Jh3\!ݥGbW{h;C׮K`?Ub9T3LjqW|ށ# )G/'2%ꐯI9YuH֋R.6`(QuI lCD5]fHBX#*ۨMDR,zanBHxz[b0ER?Lb=m"0CXlK5?䀽wW?u𑄀}Q,4kzS2h@)oΜX3O~OVoeQ%-g#J+Uc;{gŽr?M+0KrJqnSRW#!Y#<H `J*-Agc|.k F៱\aUH{Ytpհ UD*I%jG ͂A$ Mg3\C(6&yu{.}|Ig 94t'ozV3-X 9(,@ )1!K:n$34`PkʴVUt@x-ڃ:T#щ<0ʥpǗ?V0) Ǯ:cS30ǚ3A&dK#lќ,j B$!~Y-\nzp{yYEl VAj)"#wuWVNL%oZ?/쀞"oMj0-w.|2_*\ժ`cB /kO"PfwKpep_O Ξ>MoR+Hq(%F$~+ESRZ~;uƯהb6 %%:jOiNYbdF<61`TPX49?SZq2nOݰHYqu-\cE& &mn$?F iw5 ` %EBQWE]5{ϰ·9.+6eEZ󤧵[v̼ELrF<) rE*Dc0:(xt!۴!^ .BIpCϥwHS'm>kz2OJ&Q q<"%DU[&?jb)A$]"ϙHDm6b/hbZY6EqBn[ X0q܉ex7R} b'V=uvX Vz@n`g|9n"2g` *#)$*xHe-&+iy_L@-سQ#f=4`yD+X65EJPjSSb KfzX D>EH,zBYD3MhQB@P&YOl~sKl[ޞ )lc-o;onp1qXY4ůx ڑ=G+Pqw"|&l#!vѤXq%- ˷2JY,{Q~Nřa @FTxiQQNwv/n|&ej鬻&HxԾ,K"dK Z-E nMC-e\:<_w]>>Wgtb/?Xۢ}E[͠QA~q~ E8ɜT4UD{*F;ZB"GZZ_lQH+1<j*;2y-1{Aqҗ=fr4[9M`&uH62wt^7F~)~<ӾE`Y'.W0 I m\֋'Vy ֖^-eɚ)!>3e^%p _Q;5/.L^J( wI9EO U=rʮYDҎNiFC$BF YzB g tھ? =Olt$v l&i}ɐO1کd ]ҌZ+QD]_{1DJ /o-Iy&!MÏ~c㸪L!m%^P]3EQt D0pe=;ooӤ0+ GƬQ)&POS\HkR8ڼbITAY.Y؈I+~&RO:+`K<$Ȓk|3G$eFh#@>qjm25vh+XV{xS7@Eq) yxOla%Lc&] "+"bdHNU60:/MƷȞ̹2vm -_Jp!Hǜ^Y͓d!_kΰX87ZL=+ mdR2BAu5J.a$!Lȏ\c>}6޼:&9@ p w@6A ğAN} 8&^JQQ`BkS~L1V&kAYJ7RU>+8AgBQ/R T70Ht7'ӓ)h|ULB]#Nr䨏|"0YP Ru=aȑˆ;4=xfźq~jͳdPtDxO~_Q+/j6YaJWP16Tʤ IpNYf7SzE<눮7S'ؒ= V kuog}ݢ7* F\Ckjq{lPqS&L.nKͩ Fq7tTOMnKX j@طUvLK,STpy41Iͮ; ]S+I}R3D\#X9NsMrJN\(qy< 4gqy$c%h Kr;7UV琉@=LTlf kyRМ>MVY [*&\"=֪T+u 㦧ݔ48jDG%Y' 36wZPC7rߑd4Fɯ6$`G9C46D?A ,Kvk1sDx+ɡ2'ZU0_̕-_K,ABH{#b;7KwG2Z 𺠢Q7cξ_ųQ&츅SuIaҾ0mB:Yjh #7>fk}U1K7w2?SQ,Z '}a|Orr+<Sv X'ٺ3?sVS!I*=s{w=Ʊzz2;P2'l'R\ /ZV댭sOSA@P\8$AzzY󟾖6y )P5~H)Y3"1c`uoLEnŸ2]>:GoȾxFڰS`NQ`"GKե j,6HXW_&Xh:%E^8%f|i i"+OTؼRw gxs-[8[tA`V|"v}8Г\oX$e5ے43N16Wp\߈Q sP1iХ{|h/= kuuMԕЯ8&IC,ik8+'j=S:U~lWEp}1$|_4.JFpO)򴵂=.of}"{w`a A4 8_z4^^ Zh~&ŒBpNZjd-IC4W {'\}YOT8q93/ɿW͌vJYߔDZ.h ,u>7;^K!7Ee<_Y[OUaz q%NSb%XqJTX/4n뉵DoylLDLJHuzBМ>nΣPIzH )T> Ī[&̷kVJC]^h٢6Q}FXBs~@ : p 3b0Jƻ"dv_=+ыyt"EY_EtoRJu A|b29y;gRӢȆoԼJOTo<4_K:ޔ']S ip{@kRGYNZ t!PID6x:m>jd"(bJڋc&7?,}}p3sprK ׭Ϭq"_PbDHl|}7rE4L+na+=Q]p)Mra%qSv+yGlx7X)h+Ġ^dp%{OD:'Q0yw`~XGP5Nq9sHLL=N-CК#U_[nip$*0߅1KggWnwz5_]nuh+a8Gw`GRKʣH>S1D\5IhZQ%dI.h4{r)\te=JV͉)M_#b9r6JVB7r)ZB̤(lOULMrYY"O"fDբ2rSgeXvQ\M;x->R7k*P_I j㢆bf˜00L >83v^^R+__J%mHˢ ֺɠlyIъӽV)o>XD|1/F֑Yd++fäw맗bjӫ+b'nK`f@bٰ,RRwx:C9b<n^Hi &zDm Hu֎ŊMzc- ֪ |b.='D'p=/gOP(G2IAA@S0&nY-QZk avliM"ݓX;H~D'`wNhj .Iڎ:V󐒞 }[߱ S\cFxAF.x宻g`|s zœU@{ hG6@+ Kzx˽N&$ ~CSP6̴OݔUn PoZ!ҿoRP܌mYRHme$UK]] }CZ>E/D դW2h)泑o|e`!XB(ǩ['[T(.);a/[iJ_29.upGtf4m#v;qJOmJT{ @!ϵA:bZߙli+9V .بZ~#ڿ05&NR/s!]o)'*je@Q бI:/O%_]{<:5-?"};}U_w=K[&cdnUXzYHC-{aeUC(,=+ LF:vPJ> ]Uغڋ/BޢTB\v=Fg`(d@9Wn7P'9U9Wii'ǃBoOƓcjLwS{+zL vNnp`$V+e`Rj9y2З'1>8oxj|?ԓĘJYU3LT@Nc=TP~ODCk*&Z x#Q?1?iC8żOOqcgg?KiǼ^~ o?:1?`Cq귆&L3ۍϵ#HZ>W/R(?)t_UW ,1a{Lt15DUxmٜbM޴&̒~k14I[k+QRQ7$hiY~d yLIH=eztZ+xv #4T:ɑm==7wTHI\;&"iK;.H؋8@b"^skBkbӝd?jFM2;]b-BTX/ujQ`?!cr.e볦CK;hNh??]v9 VZj$XW>թ\ X h@rmUy:R!z NMm]ju5=\"pvdz, Zy |DOO< 5F ~ya;MXheJ];GЋTV/T=) f6KA0x."2 5% p!MKPIUΑ e04i/Lء EslgYZ  & &K?% n;1UVd?dd ˊjl_yƏuͦڕEĎe$bΡ@oBK'iG*9hWN9$^w3bI]@}>$7ӡbTE yv!DгޛvlYԶҰ}TyRvE<kA|g8l&8Ǐʨp 7(mASqEWROwA'mkH78TϹeFCm'mM̎8z̓3uZt[1{si`U?׃3 cƔ;7JX^%ΝF(UFI4zY.8R ,Z1:'eL԰ecd1Ta]`*ia46Pˎ\7P :|Atf(98g._l2KȬ_nI C]v* γ'@.|p6f8p ha.9o-QӋ`U\Y3s.'KOUzvsZPy$4{˭%G HRd8yA»FbE{ 3Qo'ߦN ƼH>}>$ Q p'ԮC(@'WDo4whJ M&A;m wYGuoȌˁVK刣;2B0h!j-NKRS^^!ڗ 7Qhk,e:=@q[%ǕETr][|qzţ/I˜ͮ< ~efL+q^/%KBwv!Q2BcwDepͲ­HmB&( 4t%p `b`;bIdP*CȄ؎;&l:0jH+8S& zCp;Eh bmaf6P K?sZ0S0v?uo]4daOPV1TyJ&1qm\sَh {l qv[$bK/pS=MfW?rŽ#"yWZh@3;>ֹUxM}]Rz_u^l8F'2h׵_Q"7@ TogiԝTբ|35^7{^Gz_횴}=~Xs$S pMg?ohX| b&SURQȭyeЬenPb5ݖD3-YC˽՛ H>.ÍN>}mqjd~3",[PΎw}nd'rwk#o:L&3B7̅sJA<0qC%&\s1ʓyT"Zo;(GimR8/F|#ڦKvvUOU'\ukz }(,qcyT5HH,dl,74P"vSfʮ\+ QH~;ߌ?xEQHYt?]9T_T#%qt? 1V.TٸQ'\Y`./WSDPeXQo֥ l9N9?QpMp`;X!֊ )SlNXD.ȔA{v*>a(l% flȽtpi%`W$[Tk?qs/ fٿM!ZߡSuɎ]HӼh28dS6\s8ǩvbQR8sy>/0~2eAhVťȓ1bGKJA5*Ld}D.4[Y65==F ˤ~C{ӂ%- lVI~7j SpԝNg.Ǩ/%(ӝ Æz]Ƴ(|cv_~79`{GtSOvrbXe@Op)T(I+;扁YK r2oX^HPHݕ{~#-P=_)k%k?k,M5ÍUXڳNww%p 2~>-%HvLIٍd\M~,8-[~,-ФA.ʔB=^x iϪߕ+ofi-*kD䏿qJ+8*:/8IJyj%HV ܫ9⦶;Bҭ;v훡/o*7ºkG>e 7DD Ler@~:bڼTmaaL*t,?lף]:uF%/EP!K%h_W  $Iv\ݞ_DsF"jS Tݨcf ?t ]m3O%?k:xPq\ :jXZ/gLS|&{7Bݱ^6[&nzҗkCm)̫d˸` _WZSw|7Q>r$6`tnY[a*mBGsC Dl'`Vg$e̿?Pf.5>˜Hhv~s(IjCf[]JS^ t ;\J0u䈕3hivC92u_PVῇֿIo^jՁj.X~wEFBĢ[V.4`Yi2P(cߥW+Ygb1tm>f])eWys`CvɱZ=j1{2р%)JPV+AQA (j~l#\nl7Da($RƟfU}QpU"Ӯ+5/;=QD\/fc%Blk3'G Zbpt3hNPy`$ٽOmlxto` f.8CdHfrlyվʀ~vTw+`Mq~t"'sд;{T{;V2h<+.jan]V5UI\l+*΋EM@BHuz"Qڥh4>#s`j]U rdg jp$stAZ\0xMjT^=pIqBΐS-zIV>oԂ,ͳ/$:`#Rb""l. wDCti+Od홒,L+Iu@E)Kj7,V%$܀fi*o2hld?)z=Rۂ>5p7ذ s&0?p90S]NI]k<v5 k ֭ŃWP qcL:t&`UψȽ6wXTC!$ЮtnmrʆndM%6ڿR%h#mC[9l@|-QB^?9Ͼ{پaٙ|2K̻`_:8^K4k;LF-XaaGV(Z&cFe*=І) 8̚tn7պkg},&;/Z}wNѺ}zJ`Lzs (ѻLRvta*֊bY.|4B)o9C: 3 eR%NZae\$ PbG-ȗ^q}+*, =mKCRh]$P.ln7UGS # )UGw }y|H\N8zy?=i' .A PַUu1Ut* CD,znR5nͅс.[^4s٥u˵Z&gx ˞6]XF,"FY_;S<7ZLrx3(wYGiX*]x*=Ӆ;5vHz%?L}C*j]<T `w5I[(x`[ZAiF.'9?ٓ|b nQaׂ)g6Iee@椐$IZl2N~WFMX&eT4׽qXu 4W!+ĤaF)_:I<'Dz."ܔg':˯%^LP OZ 狅BG `QQ* g/3ȬYG;‡`X"yFOYAˎ:<,"RVWVBݔ^|>禽!=_6mO< 2gYZ Y-% lBNF_CCBNF_CC.Fixpointsdocument.tex7zXZִF! ?]A-MՋhvG"uIBm5kJpl2 fY"O]SS' CU{ qǦ57s誾[H7r ڷŪ԰(ƹ'ŕ-peY54wy)9 x7Zy+O܋j}h&g"+"M@uGzª#Enl`7%^ϖ6}Χy(N^mHE/Z"N)j EG] t6*1\:bİ) w!PeqVl#Â9h 3wo$fIkzHV/GD1nIq~C26}!*УQQE& g4ɿ)fT6)2e0/ dU.\{VDݝ hE@1ot>|ϖ1n/\6}ag/L;aD&jnQd/kɖwPn\wEo../mڣR::qLW \Eב t4իȬ뽘z:0]EL6*~mS`E/IJ;ڶٙu|bR~:pxۅD}0\*P: =7ohzVq2)LQW"Q+RI# 1^ G,k4XW˥K˯,-\U )%?X昸׀ tǽJ`s6̔{@x#us?(,r8T ݈%Rn1bO?`}M~e';`jn7AOY4orGcM^Lkf藞k͓%][Cgk-Lb!Hb%BWp<2dn`'Ǝn+20K鶨>&E8>b4?ySWv*{Zd68|0L+H aDF҅nc^p:Ḉ XZ'$|+| ?|@٬h;S{ +.YڒuʼnRY&( a7r_ާ <}"0(Ds#Yt[^:DmnT-_ ~CֻYʪOoY̕hk-Rʵ pP*95.xӑSdY/EkH qܸw6aО#lLng >XhQ^5aq(]Sֲ@wH!NwME;. q7z bE56*IT@~ E^0 {! kAW0n\at0OxFi_9A1F|ť?+XJp~ZxgP ȣT sȗÞs8s4nb}IyBM|*1?~ /;_RF u)&_}"Ή\Ns4Jƾq!xy+)3>dE{7Y_3C$źBE=:q3sl8p: c2?冝n=ҘZL!tirӥvS(r yhCSjuK/es˾GU?z Y k'z>dTfg {kk$2T'·ؓu:[릙3BNe/R\KďSLkTm(k7U56 pcX1`AXJrp=+ΨK؉_KL{.mgѕlZ M_"fɣ6ʽΓ|s'?* Jm3z6o@}9WR2Q z!onQ"(7>wcIYv&VUQ2SP1װ?d J0 Pb۶tg\K\*iȩ4 C)u@gA#)PnS5D僧  [&'F\-f٢qa\V& M`F/J7$ ox$@b튠Jt:vIhKw~=dtm6j9W7dLJ1d.m(-ȢRWT˳Q{{ BE<ZrC $.wͭhC =F]5T:J}>q|θ>*JVYv g'kͻ0tւTXI ^hθ:L=+@/_"" ^ A%6|p6vCYViqmLumŃQ xϟ6c)z0j[xL&UyحtV@ۨǘA< '6xwd@3]K,njbY>㔹?_݀Ҋ7 +dW4sᚫi_ >aGVL$% h^b AWp wB/])~,1ul* q*p54 qH:uɎU!`uF08ٌĤw?+G¸EJo$؃/!!+uK_ 3 Q+J`+R@Z, jԂH6tj' - ݸ1#u]a&2[XmY2G9k*`نp29KZwYw=D|Oͧ?ϵpg,ݻ ?(Uq=sq=#a,ClрA!+O[WDPgͮΚk [;oLR?wo):t|) W!Yz]FSSFȣ||KA`h~`MtUS'@W>1.i\q2dRd]ʷm}f Q@'KӷDcζGLfz$[fSL*G"gI"!5w[auh9AG_Uġ׈DBQ(ep&sG Kk{T9\F @f3W^XTno Syu,6cM%q iOD~Xu ݹd*чqc2җ2VT4)FQXCv3GxA-;{xZ74f17Ic0!"˼|Ů˯dJ[VKty;S$_EKyͦ!ZS[0-p,ˋgfJ_̑yO?9 oYY,rAQ3b<}^j8Qqoΐg٪̲yCk7֘shuђb'\سm&\D_ˎ-@"[19z":o5ZPm<)3Vѕ#vWn59Y lăkdth?_f» 8uE#dXsSi:]O\"kx(`f (}۫٥Og ~?o/͈ } C#O_]Xc܈EvXSK=ꗤ̢<ր4YOW's U&}o[gF@ċAK?ʰ2m? 9RYB aIbsj5>vVhe,/ыxVV[uM.-\R ;HO\prVe8M>LxUgKv:O%(MNC3h垗6WGʄ1Nن4f:U'ájg,s 9Mtn/MTigC Vٲg34NZ2<}lUAέ2c=3N$&3~i3@bW/:FEz3V0bfFJˣsE~JuzcƮ2)XC9@h~Lzb ~(*mhra8V2\q4ǷU*1Ox%rG}jw29㗧!g '{@b/@,-:8~$KB{l8-By}f ud[t˸\?AO-0 a(6 S]Ws]0[e;,V-&fK ebP\&QN(W_kMmymR~9(eQN"n˥ƥHB}+EBpG=Y(5%TpW9\ .!D!`+DZjyGy(@tNy6:n B~ iE"δB/fyL͖6'J>Y4i-M68#;!pԂV*n(BHJg:ek fk13 : 2ヅ'sg6 sa߄2igG5jt<J?dC<]"{V-k"&j_U0* 3-IaZǩ+n&U2»|aaU[[QqM@S&,iKl@ ջ*q{{4K9ƟL$he"xgKLu[Vjrp>ƫ{a_pMq%L .}NB~l׵Uv. C2$ҠB|R-i 6@v /_ain:4TÉ5lVnR_xsK@llWf,/ Z>"Ș0r9]l^iPak'1299fCaTD喴 B6BB*X3aDbeot%"nQx_a#4C{׈ִOz۾Z$/}j /z) ŪgTkMk\AؕmDmQb([VBc⯳=7K2X ]Lixtb-vlƯl@ @?e`!exqۗs'$AT=s<3.%:SGiR²lqt !MG[HBtjEfOIqs2CP$6+#M#).I-*c9+0vMϒoM{.?zYFi"Y+hm$] ϗ18>ásLhixvU#S"yvy;%VF]5>k\+(p Ҋ\*H} ~ :Qt ڹIg\91pv giG{ x9Inw>C Qʈ,Ua>f %L+#2D&M^$e (z! y何4o/ fa-Z&QMR}fToҨ9&1vuo]*4.tވg5#G$O; +]y*f ıM9CɕҙgÔ~2r}6UU팷}ڙ:fx3wN#v 1o13鋢MT? ]3b|iyl<=h-?!N_wWew%28:.[Q;zqWP!<0|JLe>LY.d& JOc\p·IAM<;o:X%Jusӵ0]G`9 /=sL՚] W}-Zjd>^ qEVI35*ܙΘ!U~<V݊?՝S)q%$AE5p3Y ֊Mhޥ"hRTL]"ވ`!(7DI# cqg)tqAOf) JFbU&G_<+m+?nig}K>%{2( 1h >[ JUKycj_>~JA"V?-߯t.s"(guנdmGWc> MDC>3dP9v"!1G6KWJqh ֡7]Ta _( -î\$yE\B.-Gr|9G.5#ׇ}rSgeTJ̈:MYά%@gVW_8 OtHP2G5/vmU"Iƥo~P_EJxT W%@@9ˆ %xMp}6Rd.y  TW8>ڮY ERZ2D;F _nq2 2YT%E#b 3dmdmav~0ipuǐV @RH{ >,-3zf>3e)C7g9׷Ru򕣖,ϳ oVO `A?Ę xWّ:Ҹ1a` #Y[S s$ABWh$]|Ybzk7`c59N{n[͆SSP"9Ȥ;@8TCb#*»ASq"8vV`[wfuax:A8j']bz\aWi Zf(R;}iP]>O+Thv$IDJi^a%ya <o 2[DFkyC= bD-W@Q0]MK?>:²}_*fg]HdoweO3y,㖞%R8Jj V[ZT$UyR6%qC_L'PI{> zvEX3]2B!R?0C"X8ǐ%̻T0ߡRr@FGqNRErB{qGL(Ɓ󾑋=Δ|qcRխ;Xc)CywnV~tp]0OKNU v?Q0h $}z{N5nN&~69DWɾ5jv9;޸V[TuυXCf= ?ggMU~e%My(dg;ɷ:  ,}\2@f\]sBX ,R68d5^xi]RN2~VWݝ,Պd܌o:Hu"#oBt@ޯh{*Y-IʟKFpag2"$I:}wLsp l U;k%o r|$p.So beް䭅pv|{ת'5"ݞ'{˙G2Y.%NTՋ|Pwo (tk `_J$=h^uGeH Ng1 Y33Mx31\7@3xBC^I̫)w8ρN~ 6tXnuY9 x@5=3|f8{8ϩs%|R:_A8k) sh k;W40Õ[Vi};;~I,Z& b7{xCxHpN##@F+ ?;]faL 9Dw8:\ *%<>莜hGx I @gYZ G Gf=% tBNF_CCBNF_CC.Concrete_Examplesdocument.tex7zXZִF!  &]A-MՋhvG"uIBm5T]/5q^\4d.43"׋LK[jPQ6WP"'Av?T^E_y.ȶ=xy'Ÿ.j*hY0_UA&|_vwsqLDlzu^醋9&'Vė_,\ \=RyZ]re咗?l9lh$ /B }3 MN0b\ӶD  Ehl/mE@԰:)?=j2tj!:Ϩq[ٖ}mXW V4x6\1*)Kŷ~Y4JMW$A3! *=R~;7 7$MځBtwީ{,Ƃ{rDE>"_R5xDOQD)[ !i;`a;9&='d!t9.ȩ4KtQYCK0A0X1 ZN"$ȶPvlS)$/#*,._ `x`ejx@A$w*s)Z#s-{\c#T_p$G)d,-0.{)eP~.vwZ.>%>y2ʾ`W. -UǧE0lNz)Å|I p7 Ԣ]iJpj!577}pv EU. 'ye D#8d8O/e){n>J08A%Eeb6}RKJ{ˠd% Yg1#_VٍdGA4u0eAu"Cuy";,tIJ6bh]`Rf9Dhֿfg M\69>ܣs݅|5$Gm\A4_è bQtdMktJM1&2IKq#fBVþ`c8$Rת͏]*wAHLDbM.hc#&)5Rwu${*ґZlN5` lf&Ѳɧ*7~xi.@ѝfUU"r \rEUEU;'>8ynF=!(Em 䟧exϟ8f6ٔ[SI[JI'E\,\أV,|C'zn*cPI%ʋ j`\ؖ&FB/`:U1C:ŘRJ9(|3euY n\M ChP  G;}j3ot,aRA`aYf˗E>X< EMD=ʴ#e{ĜG%̐sg|oCq/>InG_qj^v>}o_5wcƌB#nM_ݱHBQ5g!X78"5c6Ť!f+bOj@qQIC[sj1ϾbIq%kGzFc?G\4dkpgBX?T ||F&b6ҭv}F X= ($]1f!<stnhE6[ߺB\O%mOS%d+b]x@3 Bszj[>dwuyİ#KMieYW6!{swޏrJ#We%}J Z}՜-̷v WDz A3eַݘ<_c~5 S!xj3VnMw&-~uQ% o&r@˧_ߍga.U#m0/h$z>"Rt}+Ov7XB$kZ"7Cn :/ Nq^'f,1#I>1%jt|AϝhQ u>ph9}&V^~ Py#-cتzۨVzfrL2n mƒ`o x!(#ctiχS@sUm INXf8q0DQ$krnn=[,{s<~~MCGNu6(tN0O'ǍHyMW3uis$H2_UX<6ӭ\դS=[@癉Xe51JLR8X&s32✊M.vI='|Y<ώU(_SZPb{p:ejkJJn\{cDR^8MD'lm=n^^z2{hܓ#KLw}{o= e, ƨVNێg%NOj~ŸZszԻEn!PP M !$XF#7PMw?rKܴQ龗[eOBx^ZIxXe¾s0G'ҫ_V4NPpo9k]84EHY}1&EͫU]>bQU(t$FqQ*GӯC*:zTD{}Ԓbh`cQ$G!nph +ԣZUk?Q)XJI(12F;+_R܉cs1([kد™yh3k7h%ЍX$źY5y(V1 v_exP1s!-ߪx'z8}>L⼲i  RZծR#%l;Үc:q)j}7lFZqP ^F~ސh^r̃)Dۺ~mx=K\1J%|f6{ ?KykyzsPajP*5ٰGnZ/3HA3iao,ap,'D_tC1  !H&:>%N`Lw [i+~n6]W>"]UfS1^췣ر#E:TPVOgvDW{``~ * $.B6BO<݊h\|^/VRfK kho& &]76Kq4..qSt%ڥbRϙ5S W^V(g-=jEAs?|D}#ЃT lY Jk+{gP71?IA_ n/$w[O!0x`&۽2^<)M.Q4Iާe[3$+Ʉo* puM:&/M HƗ6I)d~s3p+Nsץx%PŐAĂeSs 6 cѣPr P1ތ}3 Տ ͱV +m~p(&9=CNDD| SbیmZ`ݒ˔$<6ֲO"S#,hinD(f  qn#`^lrTE}ԡ@% x ?_psP3wy $bi@3NVܛQu˽F+US_wSmfJ5UwXR>{Bx 6 !S.u?IV("AVL̋!F8FmIPZ!RWI4~o0s>xCjc_IE-=7m Uæ<ƃmIHkJnga,ﯴ1 DHӕ.bUggprvb *Cѧ{:>8%[eH\>PL-va/( :ȔXA&zX+׭>K$buV3 FA 3V]CAxܒdkǔwKLw/d%frEIw!jIϗFBqŦ#ȋRHb D0D7.n@\0ѩ:T@ RsNRfҧYN(1㺸PZxSŕSvO@ \Nb%I ssW(glTl\SaZ+gj 5u(aUFOG:X#NELN1%E=@d0z0vfܭ<ߋ `Ӡ(\ W4(jd*nPjY v/ 2tX=u^8]۞M9jf֕8p%>Z"cܔ1&Dg8%7|sI&5vϢXF$8|NI4DzU3-8H{-M9Q}G)C$-PC=WL΢vOm"@ rBp}\ѡ!)2_`,D^ ]ޢ\$݀V_B|#-Tg:~AV6mq[r9Yv*tǖvonsX]IΨ*y) <_k[\2"t5ZR}(9( ! py* 60M[f,iK|_ iuDmYlתּaHs䎐4NuM]3&4L8~^s&b0F),ѶZz 362ADTF$\Q7*x%GI {L~tf|L@W Zf!'Edп^ vkuui8!pN05tmga `21jʖeXŠ{5vDH]x|+}C$ =nbq|b /{ˌNlwwX_ILӹ '& ҂-{$Lk;X[}k1T!p381iuiSɉѤcBda?֮9G ݷ No~πm=t:T0/c A>W7lȗ ,dnS: k=o=kXme-5tz9TD |0/Iff ,svf$Se#ĩ vYwMKp(3/܇&O w*O&^UTV?S`U/7oKn G~辋$ō^քP^#TzZ}vǽ^2=}KfkWj;k`7fxXOt.}RYub"-'QH^v9AX t292o8k9WuOpzR^5S xtա LVOLIDj d Hʀvglh5 4_!*>Bi`ڟII#¡O/8O#\f#tv _&Ŀy_:lFU[k-'\bX?+(mP;( DŽtRXcgyK_$C*%6tu43,VX}Qs*^PR/G VbqnNDp\oنO,L+^bV32c!jvv~ЗDم!J?gz4e}ýk^/hR/2F]4t@2]|ނ>#pŁIXP.͋vL:8 ]w=k,E$UN}{U{=F88V7ws *íUn~qo` DŸ,ipRf_b@>+AANqGho=|G lAىqwz#J9ڬ eUIMIh^ro9= >WJ!"+-ҢN sm!RǿpU]} {G`U:HBznt.GFRsD>2);R 0B9N]@5 >ᝄ,Rs?`,βh$5,EF g߃EOR , c*]b{|rdd*v\-=oϧݱv}T@C3\o:f1zT|1"Fl_WX*Lco ?фb.0ghG9m*Yj34b$~5s| S΋Vu_ *7VDokv6.@19Œ5NqkT⼴s]e>ky=)mW1]3p \bTS*9 {8Ec~+&^PfYc{)b J]%Jv b8T撍Tx.4n.@iIJ:SB $7^L Ő28E搙D=Fp5jJ<8MhN(F0Zxgw}Mq}z1=ol7}g 5.!94}kL nqNhE/!YP܇t-R 9L5yh t10 vzY*ur6W.GSgL|&GFTkEFl. @Hеkw 6, ) "2c bٺ7["yɆBIyFbNj%}Ԅ=)V!`uYrm}}j[giYe@7m噝ߢ$N'7R(F"!:`( iV4=CJ¡} 83zJ*t{$h;(jqyP JswUo5&oS1lFqb}KBvT3ٌܤe&qsr ݮ(颬 q |@ AdΡl^ 1.qlϪPӷb P+u:Q #bD苼%X2s-DzҩVr|y9a&%c+\dž m;z0X2xGjpN o:BuԴXtf0sWQ9+Ƶ]R\z@W׃{R>EG#'yv8O~iMMI_mQ]4SqtYo)q9$&-]cQ̀ZD Huwٙ]ue8\I]o|K{~\1/NM$UVh>s1t^TY@7iԌ_7A h|8O 0He_ LDh‡ C>c3PK,mD;G\jM ƽV_b݁['ʑViI:|q}^tViŏ!O$sR@JNT2({b̓~Cgã30WY~Il٨+3Wri\mCAu9ev>t{EW/V 3zL.ou53}QQz~bDҒª/TQ v_=N{fT' Tj]/LƐ | "Ygf <)EW=`c\:@^}lClnE3uz_&DFօ=FY@2L*G;V32%;]pŞX"Bqcc4u-y/rd`&2\jfyR;%,l;#ivC@6dC.]M3azg73Bp,OuE9kbΥ[2.Mi":_#~1XwC';p`ňEO0vym@{w-X:6=scLfτW m!R`IX +ABU:o)n !F<*bصDkD_YbT4ITxB\u?'MPV2hgީ(Q?i@!$1! ÃFyAΜ7&C,#$J_ u4m< FlVzDEL*Sd&1sB}Î+{Jb \!*34dkf'YDzx#^r}$_=V] *g ˧C,Fn,8˗ٖ2Y]k͘wRG9"hO10 _C'YyuwJ`"&!E冦1ֹŅ;,$"ץmHKDI@|ށyӺIHGؤOXd=%ai:3LbrXTHPrezFw;͡ &xE \O # .fH? y 3XyNh"B ٱt ' 99Jʙy;^a,{vm7\,A 2 h 1YF̪XI4ZLFf*\0a_:i2޿/4n]6m9mjKl^)l4 'ՃGzZ/{pۖQ"ɟ`9hՔ6HqdMr (|t]ʖ`}H\;ɂnBFsOt N史gYZw:WmOHou&15#QGrN 5 2,V3Ctp? ٍ^thWDkJgPJ) w\Zkb6~˵5p.3 eH~r.^[~mյ'y16TՆzH/p3o[n3? (ڶ/ yFM^)y+lЫs}fV `zY ns0 L0%dj.TZ =W0%Ƹ Eύy' N+u,t^K"sԒzv]gN[VbY~S =Z캫%f wg:G-\T.fx*[đ:+'ه N݃{n}B (M @ M=r*1}o\SF6a #~ ̈+]\^]@X>p-V^e+.ɸ]/.dzx#r:2ô'0Ė]DK!2~/U>IPZŔvqƍ? 'aq c |aC |2TB?rjCN 5ݥYdǔܴ6\^̓}Tt2:OD=CKޜ mrHSs!\FM~&&!`7(qfu+1E |hd`Wn7$K׸W1ߦJNy\'p%;g_1ˊ!V)Ҫx-M+B:YKxP~049o{I8\6T) $đncO3gI#%k2 $ZhʋamV_z=ױC{vYT~CD'esjOBu}s xu8 iUy1POw8JW?/zUI#zua@t&tkI1ȴ%^2+ Ɩ !VY]Vސ|4?'bt8Zp`gZ[,e8j\poXJF+N0BJE&UH#-3/lM?B%kaAnE ꖘ,)"S&1̂qkȈLutP<%Ӂ&P%LyG! YA'R*C,,DxտT2Xh}S3U(4Fť`Rp;褟I53Ocx/݁C˝@ -nawLvG(:VG+pH>A=361B۷t3+W&Ӫ*FXGcYg8b3E"? 25sFM\޷]iv;'@a-/st_Yi.{$ |fg5bH S _x8}C(@ Um8&a[iMzC4O&UՈ/t7`P}Gk tۀ*ynK18┛T (($|TMynSPh>أbp/Co6©^e5Ÿ,̄` {ѹ.C;ENTWB Yz9T1Csvs@6GQgjɇ ;Kd%N'𦨉qWeI_¬6š|n_r4QE]-iIјތRćgujTl,ވsZHJ,Gt+nߥs/c"Qǡ,|]VWaݨz,!+4! 5CJqg0hP(1/nE!Tf DhuAoͨG^)kn4b6AG'6grD/H8].+=k%͛i80=ٗp]Zl+hlr6bT6i lf2nRh'F,U?rG_w[ЀQpJ?vV{~ÕKkӀc1f)ǴՕMRj |aJ|^S5)?~k,C&[G]JNE$4!qgkY&eM`+7[Dzui31R̞2Dėmc |A ; X?*ZʴAOhIMAOp6bvf$ o=.8 k"-%ITZ)XB/ [uq 鴝F2)1!V z^DH[%nI50 '@h煄͵   x|^iAVbF~ p .k^V,^z:}ܣJF oKCY˄s}vljε3p;NuԎ!E `ӻ)*4=I1 aYs-Bla^!XxC'#|YzXoI}ry &" ^-c̥<Ŀt9.vrMlܺ%?)7VJQ62'i/Zn*m%^|>,CƆ:֕W73w9 /UR<`@Kڦtޚeϩ $o!E7D<"Ei(Q y l%ܳڠV[hKt%wX# x:Z5ľhz Pb'OGA*#,M8V~L<$nYηj@ѽoD;q0(B^_WVF 5l`?Ⱦ(V$r$FUVW0%ܨ`pq1Vؼbp1B1+WSlôo#>Tͮιvb 34g%Xͨ Td0IknrKA@[ޱ"i@s 5O[-6ڦMJdZ6x'rqˠNgjG UT M2+`oljYLXCR$s*)'An!> k;xU~>>4QtJ ;8 G'ylY8B?BgYZ r;% ,BNF_CCHOL-Library.Cardinalitydocument.tex7zXZִF! !" ]A-MՋhvG"uIBm5 *:)HԠt,a82g%&ܱ@[g gp;u Hߕ9?tȠ-zb ,Eo(i' ڞn I.P7 T?~.B F+][d݀Ife0@xuW+1_VY)|)B!WWʦEzVqP_I&NYv/*nWh^fK4?u@^^J[1Qaߖ( 9ˎR}]"v$+}*~po7#4I  g=hIKi"ñkyN?׼km5b2KU_=z}j]ȖABk{ws6]3vgD)pq8rj3Wz-Á$vh84m3}5E=$-N"2!% LBNF_CCBNF_CC.DDSdocument.tex7zXZִF! V]A-MՋhvG"uIBm5t1qr?Dy8o:sYd%TQ.<)_IMЇ]\Ew[g4ik#a2&$p`Ueו9/ac ڠŢ9bɓQ`Lp<;qG}\,hp7TwABl'Zo)ۓX_P {I܊gû.NDeL'[cp*B§/z׀R'j* ef?3PrU5ᆊW7dP %:T f4_{Z f齃7iAi楕?AhghW/xa_g?)\+QVywgʌm @po6^]o\؈;mKtq,*QDܒKݚafWۆ7%,BHƎV陙Š아1%W^) t:mqs7(`_2J0@꿈+6∾ܓ/5Ҩ֭E3i:^IqNQ,m#x C)R,\&MpWFE}vr. K-Bt'XgIzv|#ahąBW2-AC|%53D jls.ç% /kOt+>D'5}%W@{!ۂmΤ.B/kB"Vaxd(4 ڟ}1,쳓ZR>/,[ Εȼ;\7J\SdN;S*}6]Dܢ%T ~V!t\%㽐1۲MS;c2JP.,OY;E%"; =3iW􃁳R+}B.y"ob{\kKMK2UsP6`Z'0lT7>SupXk>KU]_GzNmq}߾2n3j!9q#yy{z!kwt+?j~xYBQ] n0`\ᦣ4zN?tt,.N>YZoK $ZFP\t]M0'g=07xyrks{$ϴ-)[+b?֧K; [ZO٩Mx '1t0iOeၳLsْXF"1{Vj?f!0xR@MM_>y$׭}-t8>1u00±S3eb0F\nԥ7[6U&^ %}8@O_^\qe=InFiIh"ߑV3`B*cFe5oZ >DT"uC3Q'x." =Xި82 o0¹r[ )-Uaה!A'2*z4IƖ^lMaEA$9`q 坞URSd%0?z`y7RCײLZ6.Hj vTX 1܈1T/~O9* ]Beٕ}Mhwƃ*jg?q`)i:ȊIic@kg7Q. Rg+Ӏ"E!#:g* b)XlZf4*{/_3,Eȱ6CK Z3Nf NH/κq2?&؅E=~~q]n;z\]PKOYbbcs* Zd.nz|UD0Q#P\:],:@c9AEa~Ҙs~obt>a)n=YU\yN0s_)}o(9TdOh;t",ǰS4gP>Vho1 C'r<_sZ> ayBjOx2R`ɼp$UqINV?D( t^X4(azb 8;f2 ̿%n(e@)a<>2k2^?oXnJ@)4tH `.9֢Rr)[*Jx6%7jS"(u_.S2`q6.cRl#NUO^1!bx֣t乂iFS^՝`TVxbWR'-[gSoY| ĵPLBA0gysׂ%VKi9VPHz6xV'T]D+h}g6pA9s΁M:Kact8*X447¸Rx9W2QZ%o^G6TTC*c9DG:h4X]nRr4v3 *v@m ~{ქ;bV>yjͨ9z},0Xlo@3`oze|n.BFٞ*E-JzR=41TY"|ĪIա}d{+ҙ/ɘ;U303(#wi@dji;O;fޮf{Ib$^@ 3r:Zu'̬HU \G!XӴp=]dDf bN^(ANh%*mM 0eJr,-'iqtxbٮ/h3(h *Rs҉)fx =DRm,FZLG4.I (QH 3cw%oYjÉ|wp9<;f8V_/E֥9X\GCi# Vlw|K^}:u=ְog?'~? 'WFZ2P20~?PkLBo=9?;ShNHL X@^P%Œ060wˬ@)?X 53n@0QcX^8kY[AGSGɯLCZkHW$\&{ |]pOG6݈atd0QDaQCP_ck ';gŴ1#9 o 2M0L:$IS~FGyiiXDRc'ĸ{"r>b8x*i#∴yf[)l .P.S|"hWMلC=L5f,/_ u)\Z(\{?5ÌēTM(}}BrǺszخoWJXޑρ725s5#T0Xȗby ej IBOBnWzx+6}5o3c=mhM3 3MǸ]dז{br~bf0߈|^,{5桤ad9|46 p=6:cK8 ߸}r+߸߇yxsȶR 䱻h(b YLr9 hx "sF?P-sS?v1@7]ul[:)z]DBG4c## ޲̏gsѫ/~xnw}AK6S1^_1#!,OnJ.D>Ϲ&, 1ʋr8`nPVJŠ2&dDIKӃ:Z${A ~e´?mx,W|UAF$yau Poqo4vNKfY$-̨;D`壃DRQf\ ^I:|0PKTC}}Ov{m'cRџW#T:wo'Pk$,'* @ʼxn߱l6yzz}\= pk ڣ~@#E)7Eu W 9(@oJ:= :Yft䓣~g6H|"EL; fݜN;/^N닜ZyS~*} ;Q.ݕ5 Vf"HO Ϫ5*9✔ik"eH^. p¦/J驥TyЬgV)z*>qw4//޳1U 9BB촙(\DT ;7^[ͤ0蝎hӇ$\cHsOoQ)KPRŠÍfۅ:Ywo"rLcl݁l [tB@BNL%Ngnz??EG(VXi,t"½[iCJJL^=VfooYHkjKw6ny^jj)YGWSk~yYhǕ2٭&K)RۤFe`/+*TD4UOB/o(eI yV 6log<Ѧ%02vRQz6!Q?0ơCDKvm!29sgxШyl\+5pRY..x4 i= Doǡ リF^d`O>]|9tUXg0Y55>7Q [}$ZoDehIf6߈UL("mGdﳵoE Oe~CZT*3]0ӵ?T2g Zg-G5i"Gh+kT!]۰=Kgu;*#>3 Ap#Q+}Cʕ3&oǬiM^qaa;_E6"H [ Nn'b~r霴$PqY3\j&g5k\uiz[\SN WlS"*" Mv)xuZ=iiNm=4 ;7RB{]ÍSP˱֫S!$ 2&j2kf2f'}TȻ7gx^1{"7>j85bϳ)0%1VLzڴ-RlhK!g! cIA>_Ї2H?:|nC3bz{Mg 6F(G@}FO`# r"nEnNQY \4W>#dZs|_©#vd9Crέgs/SƪMOu1i!\Bџi11Q{淧i)9wv`.R7!E?0_K{ ;?-vĮ[l5 0OffuAPﴓ<߇I]ۊ<H\o6䓐-ҳgγGˎ[Jg>cӮT`)V䯱b58'lo5U6ԫ>=cy!}&u|6۫cr",3F#z=nPɢ92b&/=̤POBqĕ{hDn~jMeڇ :?f>Z?X^FB0GDΖ]gYZ,Meֲ| _D$7^́,WDҧW@-R*Rv N`3 ʵb1/towgNȄ1S`}`E H, I*^"/ 4SZ[2!{"wLm8"q2-ـdN/c-8 2huw&:Ez>KEw qrWwnYbܟ Th?H=cQӕc= ~8L^ړS_̚Կ%nIUwP6FK[l~ 2KNn95gB%r a; V$pk#HQyB$5P>i]날gpBh} RyA:6jw C _Cd8'g3V!Sw1l1t'A=S--H[YLKSbUӼ٥\-`؇nl eW1DToM`^y|ǰ}gt^x<}Zd\cĦK.2j]V]]hDv&/?kߊKcb5L,܀v{DuK(Hvi? q1=uyG~dl5f+`&} |>k|\=|QjІL SGY¢Ч}`U\YniI_+С y ER .Y{le"Ck:G ] k!hvC^S(y̓J*˿(ua/PW9pN ~{;EI6 .6Cr\߈bŠWZexcG%SM\nL%t-\hfCn{zj JĈڇA'Rx]HN(/!v{k; h[ JF* lv-@x1! m5SFۏր$l3-E}{H.odn_ݰ,]>BvA̖h't%1!O)JF4 +z`4{ ke>lȏo+,@^4&EXlBzN\iu|25\$5'؛b3rE!7vBrȍD]n=+6fG[:Hmj`$`@ 7x^R3jCQ 0 !(y[9OOB2% Cf8>_TBJB2}i@7w"k)E'1j$vvD*ʞ7?=cA[HOE@0"\ ty>(%~`aр1'S )" u+cRߏ黼^yV GD-{YDе᛿.VxO1:RّCk*ʙՠ@h;Ƴ (`'\Q)Q*(;dx_8t|+N]vBV?nnmUinߠ\_g b\|@!&ͧZ#fh<>JU<Y;Tv7>(LsGRw3S*\. OFcSLbzA{ %ݏ|%N6/iֵL%f14HBW)k}1Tlך? u\Do;V jiiUgĈĩflY~X0Rى&V_AY; <䱾%C07,sCXE8hnF*zKIš[Pafƫ.UW:ukt=dI΍َCD5kѸav|gekMZA@uLBK^&tM|QtV6/K 6^{rs ?KrӼoDL#(O;OXMHno@J ֭R_>'lפA;F@mɳZ%ì-ha9Ywa~7ˆUb"H  }.+}_,~C+2̑•ETZ]@z- =}>ﳜxQM[E)_6R]eY^t)KH7Lq[^,]SӕF]V@N2ژqvA[p!}}{Y؃eoM_ݫ#V^2/O@آY7-. +1RTg6m/0 eRh?ŲZyqUbRDPR y m>Kؗo8O>2!OxXȖ;4zPyyV$ƕDj?Lr|2Щҙn(MܛcX_qAG^D>J l+ 7ts\bk>?By7e`yiS] 6Tdj^JAc<#,5T&NřN8K"9{ut kAA v!!'pM#); &> Jւa2hJ<>_g@=5`/`@%V~׿]9\N:3i*=vi[  cn)\E J&G91ek7УY^7صtW-܏ Ȩl:Mє밊Dk`>6K|&J>N?})ŋDgn[wk=o ~1m'% S=E#hG#xIobj0(О l{y}7yWcX> bN }h{-1eȨb π8MEUg,@豕ݢ@* ]gt!'clrnz l0rö TˬmxjDH @tZ'Ƨt a=.'SvǾ2<כּȃRVx⫰aI(,\ n_4J6* 6K όE`՞/K}iL@=wޫv@RKBK[t,;Ul Xe|D?AHTXKRHnlj u KP;܏oU KxUar^Xlb/1@v6\jqyGz|څlQ[h (lL4Ƌvh B ]7QȼgYZ 5 =% BNF_CCHOL-Library.Old_Datatypedocument.tex7zXZִF! z ]A-MՋhvG"uIBm5ŀ9"*'d>huG\sO3Ӎ⪸}H7Qt2@I5 QH/^ŪjzwT9Ǟ aV>pFF|>@v YPkuƸD>A"@;#"/ꖨw:8>҇iW)Cçuh È pzJ۠2 =-\7# [S`ieNWtkt#Ve{4 eWG\nr| &nCGrb(o-v[-ъ׈?bӖ'ߓ"j{514qm|!}]JE\/>Ws8qc ڭ,Jx"~;]!"ʻo=Et9<1\o7Q;z Q\^UJ_m=f-)6g IsJn .#Al,,p=plAeN1S_: Q_m@5[+~`X/0G13޽qkdg &q9?&v\)DE[6{A JCُH,۶--@>Uf6)k[3诈kё(l q'\f"n͋¼XT86 MUȠM`v%pP KoT{e|gs~Og$D3d?1;L 78Uʅ Pl)c埂V hJPPJ:1%%-@qb|s 4fq,_[)Tk+ Sjå}D䫖!V)47s,)^{hNJ'P GWl_? ̲߫~v4RO~\[Z8O5 Xo}n"i4V#b qU!̖)HxAd)rJ=sHhcA翭y VVas%ee *)b"L&oq\cB3ouK 62^h}{DWb+EN^YHw>cژ7| FF. e`9eY)]6i&/^75<0r'N7$$ny1-z1#}ʹ T('t5J.'7Ms{7wp`Nw&>ezJXm/:7^TU8f"sRpYq j)5t1Gq'bD7[LRM Lj} >>>sC*_ُ#>+R~εz4M+[䏢J2~}!D'Ũ"GHND`)#t+hR?' 34ߗ\_ϚLg_X3}02`½.xZ["<^}wn_m/Iħߌ?y 9DGƝe ]%>,Jq{L JEuªiHx>+jcq_Wz)JFe.nf#q1) )B6 m]qn;fcK&T YDxCY=sFPRR8*fq)63:P}5>N,̰;qWa*gގ&Sj`!waR)3 Cr lZxүћ LP3@IӆRShŢnP- N{Y1sxTak{A|z/.RXMKc[+v"+.`f|1'r2F% rHGQ]Jup;&<ŚYBcTmJ&ji3˯TjŬ3/2>+zv Hm5;K‰6z4c5NF撽}yldfE6w7>27|ZK=u6i)B6d6`XH2kϨ =%xxTw@:<`KPX('b cibX-SqtX"wY ;|~FNo0a[5-Gs%Qʧ*PĈAdQnqxnޡMA m6gؗ=6MoP\XiBb;j1"Yn8%nLL_8+f\ْ)a),ꃒ2aAMk=F3|gGqGI?x'dC%K5kVe3w^%vdPԯՕS,%_x}#SDn31yڍ^2Tq&{;wgzԌrnVWQ瑅@؏> ,hzYBwF-閲1ۼw[GS=m : CBؗ__;6VӃ8A/Ok7MG-^!sP.s<1)*T)҈ZqCҖJDgרO\WW_LxU}FpeAl(P‡]Xp-: k!t/'Y:{/Խc#lZ%` :}ޫ㙳M eWv 97a[-ʅP8-<0{u +"[D&+R"N6 0+[)_f(ty >H"<HBᵻ -9;b3ڙJVcTa؄7o>9#JzD ߌ6=-[}<5̲Ϯq2Oo I*Vm<:0 H9+~E"g͊K2?9ŴAږɊlQ:G 2+Sc.k[-DZ:&N}_ jGM6|ɋ>iT.ԁ8o]By$+iʁ!>@xLhUνu-bItlGΉ'֥Uc֗)qND~")@)hv1 8S|RG.@.s\D%[JUq9W {U'˻Fޫ.lf *Gap6HslKCwKC 4bq2.%;jBݸ-[LarsPףU 2ZI\0$#qM&l`"' kɉq=ČHM5&uŃvgVЖ}G'FFENѧ9J(io k8 VVh~ ,=>X'pbsvd'Nދыl55žt1 qI݃{=&`bTqϿC\9׋潉90/QYXNRF<fp>DZ ;k?R!sQЉՈX"w&t4z- -,2 (|݂sEaSm&mԞAg# X_>BMJ- PbZ+Z rTk"d\9*x3~cHƅ~oW&[wzzd1jpm:6O;^ yw}FTQl50@#}4PhX{G[ꆃ /! u`-:$pD`6@7g9u:0Iz>+f`ĕ`lqPЙ#9Q,%&o+7|gb8pc^#S0)kŃv35G.ىeޤ&pE+ z63.) 2ƩWj ͒8::m(c4ò¨~ku/ݳp)'C|r"Bd6=>h`w_t'P3.cHh9ZcH32'HHGP5i?TIeߴ𔙉{ ˔ Xx4;|X=F.6^eWΊwad;¸BrӸ7弢kX:j)6?)F0~0)n<x/1:?!GI@d%dg: ;ӥ|yl5q"huL 稀z P i3 gt!U1E{Ew㵨\hwzPڢ9m@Os@9û2V^̸(P-,;[ü2zIB [ddجį̧FD. PSN.5aE?`2[kO~}<(˻h%Uc`=XeQjy}cz{AZɽS)KDŒfky-.z#*|!F>Κ“WÌLl7/fAq$-L=~cGM;H?J _ZhpE:U..*W_y|g.;HdVY/h^"إ`d̍XWI`{ԗ8dNĭ=CUW>S|ʷM mN(į=0WӾxȷz7qؓ}Iˍ(Ƽm4\{[Z.a 'z6AZƙ$S5{NӋcLG :xAs6QqN7z /u4MUzȝt:N< rNA8e[*suLgFR=HDi|!Q>w+DXcoEiqѬrR%KRG 5zbEuGzx^fR Q8Awlw0߃ "$pXGFjva[ r Y$.\:'xj =@rl0.xk!LKUm3tRQֱ{xK1h PvYQ:: +amƎz@.]n}'?nNcqך~ƧdtMFe~1Ua9t[ўNLhH8'r Ɍ `_KyۚJj~ I V8dGNtҙZgٿhlӄZWA6U&<]nl/$ .&-1kNՈtbE/5.'gAtuky 2!N  ?% LBNF_CCHOL-Library.Nat_Bijectiondocument.tex7zXZִF! )]A-MՋhvG"uIBm5ı^gi,f9WӰ )8I MU+hT lzk"fںN (~[tfS}ipS•Ҽh=!Jd;ǟ-ǢqEkZ }vl 8\:`;%`OP$mt+e} bw0B;X܈#hF/ YQoTYW,ۭnuɑ&1-9'[`9ԭPHksyFBGorǓ, 3#Tn4]WQ.2Wb.~/R ջew>G5^ FCRB$~1(,DkU )J{mud*zxF3"+.$~ `Ym*sKg0QBV{aytFp\~hب;.xZu](_aK<}!W6ЍBі$Hﺤ~% ?&tlo\fRLgu{Ho^<3EpT:mQf" W5W+h1a,{Ozw| nC5 WZr, !b+gZZy6pWY8ʣĵO(”G~.h1kEE0_ _l)әp#lFcx2ԢD@} Ɇ&:WZolP`d8 ]+l#VY^wuφq"03x>mn:)۶iVN\"Z]8etlc"{\!aQ53wG~Tl"}ϖbEB*ޡS !fc(Ͻ8cJyf0p}-Ø?nR  V&(xoM}s_Sctv4$"p= U#URB3#&k%WTs2pF-8!Gq{ŵ75bjLg+'V햶DHî`%"sO̸EBڟHi!ՀGs:sglPY.`_A#Wq#FÅo.L@Q \@F2:!*L>b1vD=&hʸ="}gemVa2ϱdМ[qtrIVBtC9qz(E#<p[4tL-zn;xdO+pF2wVR5 6iP7ysӛcpBUfS'Bō2|F?zR;ځG$LŸH|Nh PBFo#{ZJJB m#>^#KyJJ7c*7 )TD|\v&tj?%\>"ٳBd^Vy%.Wق)$k ͘{>qם*'}Po]y+r LIo6I<* &_3p_SeǤL>`Np/QU?,HRB!1%Q7S*شc&1ZTUY[Ab.q*R┅l*z3y:Y`$mfͅ|uh1G6X&4;) ҭꤽ#9`.[sԣHV%iԞ\]*r҄sF %=7hKk|C9vz af ydcWh׽ < J;ՁJKVE5t#14BA $t! Y u]$f /}6( `͇R$"Z!ЦsގqD *yx5 pd6 |K67/Rh'5b/g~/Sb J R N{-Bfqd8|Ig s;fwN[.>ia|ԇُe( ĽZHX+vϓS= ?x5bCխ' \yxŖ`J'C>q DK2ȃR<j3~a UY۔ =CwgQf׉XtM.5Gctؚ-cՊ}OcK:W4ZNP=2JF7}2C3˲ {=6 .RR3͵оH([:Z~a4ښ\8OE51fUKfZ!q[qBw2T8Vz/Rng0UjZ&y}ֺ AH^-EjO7i#;gTsfW%3UlS*MXHriz!8n_=*%m/g!6y;C)/%`3`2_s3z[@y>PފGJB E2D=?WD%wm96|mC{ ~Dt2Ϭ[ƹXkEpW=öޥ4:$:w::szhQ▾3Ӯv:n:*ٌJ8D!C  JǾ{.p[J,;oDXVpY6;6x{ܚ J:z YƟć cj.+b5J]+ u%[#Lj֤53 ` gZ^>\k|wi եJOC-XK]f%($j92EBF0*Db ?/Ф{)ķr築}^uk.#ze!@)x:s;•: LFR" ZJ/'HT@zzEɗxy \Zri2P1)Kp *d>z5^$Jrx q'EgÀؙ5V~;Fz" ӒJCaB8 :nTRCӮ!iw2[OѕVM) ͼR bYNb,?5OVbT,g9h@Y@Ҋ [\5O?5eWPUoP Lb z?zeSɍ~mf½D-XNBbA09u>_f#yB߿nS&7ahi) nP,86os0a93sEw|R'# F:КBꕘ}?ImPp#>+"/`^ @Sͫ/ Urvբ1IBx4>y-uT-ÙkHP7qf-Ą6`"ʚ3T1ı2)&I'cY/^l{>Duæy۹ :^h?"QYȕR*RQ!_5[;2sN(Ew3B7MQ'3[.X|f`A~QDc=%oɍGc)Hq!1>zOgpETS.{KbN܃inSR!hk{R1q6Ct9)"ւQc:q?q*_@A9ējϕ4gAgw]IwEҙq@ts8DP?~%C`'L ҋِ}vjö ؈"׀%*n/HiI}G0jI.#$Cm/}Ki"sл#D/jk@ꏓ_)@#P.U2րz5\.ҮGO>w̌صL33m*_a  `1Pv֒; H)eNi8A' 4wwF!YHI| KfcUMo4spQ=Xz|&g*9%/h&@➪IiR>E\1g)C;uPyY9j8O 4ɔMܛ!/ f!S 1w}qEc%ggYZA 5% 4BNF_CCBNF_CC.Preliminariesdocument.tex7zXZִF! +]A-MՋhvG"uIBm5M/}^ ccNcKݬ/E:4Qs"/<5Pyk_.Pp /*V)߃Si-4ed7)6LHji6U)8j?voWMA]]d tJ1 [{h˧2n@ T6b)Og) %_ه9f`FUȡdL]Q_ Xw2 ڮ0Ķ.)Z¨/<@κE(P7 g19U-!:]3؋x,hZV1ex/J0i&#ôQ{6BTڂg={^vpwtO|f4GFs9}x~2W\զvSIἶ;5j F>UB_G MaQ  l *sc^9icfyw,t:~p;VҧuFS2d-OLjfqO@;6}GO~rb+(kSTH*¿-ןH:ER91:\z00 *:FoU^-δw9:l"ĀQjm܋Etx>C;yt~Ţ]kS^p?dƝw@"3vS1;+4R`ye.4-T?hE2+E-Mfo~?؉\ȷk0ˣK#Y?_I/6R[Y'`/5>KT [N[ὑÑ< Qp9NݭcspyS.pT7g{&pE%ϭ H|џ!AP.7i߱kn柃ڼCwjɨvS ]!=+42>@m0 \_+7H]6πHQFz -P3Z$F (J@u o8q +G Du22avﵦ텚}Fb[53{9r<Wr8wazi2zgX 8JڵE9x=UQMB`a! Xy{:U{@C95zA/BJRfF3i +(.*[`PLd pay.f=6huҪY*.+=%;H]ֱT%(vmm6'vQA}n? >uG7US[3[1""3h)r*MHwˠC9GKKUa'U{cZӶT/޼Ҥ7d1 WϱgYZ  #I% dBNF_CCHOL-Library.Cardinal_Notationsdocument.tex7zXZִF! `]A-MՋhvG"uIBm5 * )^ Í/Eo-kcӞ G{4/pVd[Wh@0 <+GR;Su\߷A|>C.@Ihb!s 3Qe46k ,E\Iv$7Aǫ}djwqW2pOWkGj-tẸEƓ<] v}w}0|A{q'Wʰ[VʔH& dHSo-Bi[DeLz0Qњn s ;6ԈqFs4.p.=ا]Z(N6= b'1ȗR灋??:4iv F1*:?VVW hoؓd$/g֞朢NO_dPxJL+ [MYfqoI*զ?aFٌt {.M)DmY(359!mh,]kxeG,r+b[;T͉PdT4bf]ҿn#b5J]{Gvh*2K4w_ѕPv1}]HAMώEʫXaų!b'u|2gYZkI% tBNF_CCHOL-Library.BNF_Axiomatizationdocument.tex7zXZִF! ;]A-MՋhvG"uIBm58Ϡӂ.~M{{rtK2hTh@wdU=z[~szZbյ1,QDخ/c EgʨKlxŧZ_/pք3*[A;hat CW1 ȁ(זu 7!9һ;p`$#]A.@zjyÝIi4wNFpEl&⠸=YI 6oV92ck&YzYt  hH?}ۯ+5q2v;Ap=Snk}n /C^Yj}^}n,X or|Y8hsyf7A=6.Ԟ3VJ~?).a*b;HսW*}!ao'GI6 g$=k=<:48VGZpJ3 a"X l ugYZQ=% LBNF_CCHOL-Library.Phantom_Typedocument.tex7zXZִF! ]A-MՋhvG"uIBm5GJ&עDrڟ>s;4ypK 9N?&36/5=eo=@+ҫX>Q&j̓"^up~ v\ B13ӼC{O30|Vmυ='jՂ(vnzB5ALLh\LDOjr9Q)FŚ1V@rIaQF D_}QQݯf]& ( NRv8E}ɾ)i} xrg |0Γm\4ca!&aSC,5pp|HTBХD88]Ϟd&`)0zn c&ZVI'Z tI|g۶>CƯ_l7:28lB _ ~jn1E&q(MO 5 mR:ol\@.Xw7 @r{-"hol94Vc,o 0d,嘡fDiqEַ12b<TNV˦p$I !d &s.嘣C]/M*sTp~CZ.w2k2yIIGm-ObWaq*?at&׼5 *5*p.a-; o2xQOsEwcSMZGo(\nvokE|Gcƽ$s3:rh-& -8HuIfIC@#JP6OZ|La">?ןJ oaK` Wڍ 3=IYѸB1}/xкFs%/Isb P &.% `(cST|!UUpxpJ(R܊)vaWҶӽ5PηuKX/ W2:Wwyh{HP81j&۠^)lag5GSlNQaz+|f<sj_'G9{{a7?P N/IsS"n(c2J)&cH~k*xRmM 4LgYZ 3% tBNF_CCHOL-Library.Rewritedocument.tex7zXZִF! G]A-MՋhvG"uIBm59d5$Y5j{]J\ՖY\4nGl! /,rmbn/[jt*V(3&[¹FG4wN}tKĺC̼WÆxsWGz1԰̀5ɁkoS7,K<`ͱZhg"HsFpaQgR 173FP=Ўɖp(>0+93Xf\`rH+p 5&wYY@jKfZTCMQt$G.6C/Ӵ^ԅtOm^ 7Vc%ʯ?4xjׄy]!&|~WGzR/\!7=K AF+ߣNLtq0!X~ڡ)V $>> $Vo 3BFf"N"[{ E?pruM}i/#{Uţ8c';Rgq^+-š}mx6A=d*,-͟. QxI\*cn};ָ7;D پM[(ZyۣdvSetK 1]c\P5)l GN1bפ%6u#W]d.nyW>w%0Ʒjg2(2indj1)JSi'IQ,VJp?[g^Q6DBǜؑbe?ɿg?O`t,Q99#W;&;X(<1t!=0|h}!$9&)!R]7EJs4Q07adsar`{!)Q+9DFFyޡ*Tf~. ڽ۱gYZ ??>?% $BNF_CCBNF_CC.Operation_Examplesdocument.tex7zXZִF! L]A-MՋhvG"uIBm5łMylr9Elm]E $x[>@ Ws+qFє@2̦z4M,Zc; lx1OD,{.19Gu$/p6ft8tpS(0,[EߍI}u,8Wˢ,%J9LG@l'Gk6OtH.ba}c:f\,Uojyuf|9z44 RޒBFiE; HZ߈ gYZ