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  k Ld ]S HOLCF-ex:threads=2elapsed=5.232cpu=10.284gc=0.236factor=1.977zXZִF! ]ŗXf1-qNe+A]}q#=P vUΌeppoRDd~ޟx!`+z}gO(.M6]ĕ.'r;s&[ M+@ EΑ[@.q^܃uk.=(m՛P"/)ԦgcSӾ&k `4>X$= +5Eb5pīgYZ7zXZִF!  ]ŗXiɟ>Ӈ[ aPLYU}h'C4赓ކ 8-g`+_GQ8qܲ NZ s">K; K, ړĒ0.Ӳ.̻oPU+U]qh4 $|ϔH'o0ˑ9:0'jcIŧXCP)"Xrp G +)ȍTB|nZ"{VE/봗TXXgYZ7zXZִF! ]ŗXi%; @y%*'h\@ dhrb^"35kGâ>%,2 qL*6 ZU comX1iArWjw ȳUILyo6iTCvٕDm<./:VSZD(g LhQ_~HpG< 9 èFN'Y.D4e K> j¸%/ $  ?b9dOb/ݩOP##~\X7/yjP"9;#uF$efȦmD׼i lE@QJo27<>9KҊV)ٵEWZ"{ v(_C}'Oiо+[c࿣Aяd@%ɘX]:}1 Gj G"mY vF 2=9% $HOLCF-exHOLCF-ex.Domain_Proofsdocument.tex7zXZִF! RL]A-MՋhvG"uIBm5ۨ&ʔ7O=_{ `Ӄs+El[9H2yw@ܟ o\ gc 6[.jQ0Ŗ-<@RXJ7Tag{Bō6"W3t MaGw ;O LtfM@kr PCB&&uy]ꛡfA=. vM98@o[ktiuTʳfR| giQ_<̓;&O>ڐ0bbK'e ܡF!ɤ`'cY(E"'2n .jБ?т7tJT`n'1'4R;ksw#Ld;nFHXh,c'$>dI?At`aL|P-׍|0k݂ P0Od ]G(L &bp6a: ˣ~ه"woD^H֦p 1wxý% gփR#lSt3}t!OKPEd\)<,dz]q:1s/!K)r x~rˇ *g,X4z /(bzɂ"I)(.A#?FR%i1{]<8XH"t 1^>}­m&Ccfh\ .U*d q$z`Tc@rkUjK.'VV5GU>XE|5څ~_@Df":|Q_c KiULmzȾLYnQ /2헫;(Giݯbn Yy\h&3K/sm,!?Iĝdc D8g4/4V=Nu)}2Uɴ?(1O`lc4M 0noOU&#{t-hUI] 2N#hh-#T݅&FZ     A=ve''%HOLCF-exHOLCF-ex.Fix2document.tex ''%HOLCF-exHOLCF-ex.Dnatdocument.tex )+%HOLCF-exHOLCF-ex.Letrecdocument.tex 1;%HOLCF-exHOLCF-ex.Powerdomain_exdocument.tex+/%HOLCF-exHOLCF-ex.Dagstuhldocument.tex''%HOLCF-exHOLCF-ex.Loopdocument.tex+/%HOLCF-exHOLCF-ex.Focus_exdocument.tex4A%HOLCF-exHOLCF-ex.Concurrency_Monaddocument.tex()%HOLCF-exHOLCF-ex.Hoaredocument.tex09%HOLCF-exHOLCF-ex.Pattern_Matchdocument.tex/9% HOLCF-exHOLCF-ex.Domain_Proofsdocument.texL^"nI+%&^Ul(XxuEk&]lB 0ُ"1ړ3S`Xfy*E,]ۃM}JeG8RI&u1~= G`DΕK0#gǛG%OX T[Iq(;4/roo '<>]2kBx7gW;ڞ3szNT*]$Ggl8\Y:"\˗a+ſAw3j^8YUjfɇI;SAaif obоH1/.?*Z(sG_T2, W2oj qâ|Mf$4W> %֓SG'}yn|]OLx@\[5X@XIE;5 @AfRnqjHQ:7pWp\ݙ*uI܉ɛk##Q|6l@z;Qru]E2Q^ʦg@ߝa }7 zNI0AW;ٔ v% Q9R@PX.%οˆ$\oHm@FV\1%"n:=1klu.;5v{CDy|i_83-|?̽XSwAKI^ÙE)5gxr>9=ze4)ɴ|M=Ƌ:bƶխsxCh!NU ـ>ps/+83_B uzgP qv)l]\@%x58ÊaP6=D娖׵Zn[1e9Slءi*M-_d|[\O;nS* /h^1'+3[A "-YKCzHE~xwc#FXl[.k6|M'|Ȫ <.13~V O":=^N%t:Q2;!ЏtR%P r G׿\fݶnR CZ6*`.-NwhєN {`((XXp9圉5W.5gӜt7M{Qypa\qz{VoX0{Q\Mgi g{-[?$GCmLq@U[cKuე2K}Ec«r-2e3t*K>ssOٖIq.>%H#rV f|M-4LFJ{ }sP"-vZQ2i̒Smߙ5)z꫞vr;ـ}آ hss%AV梘6ىiCm!z秮l`:m`1tTxM@@k Gm)G<XD%ϵyheyRFHSkEE@ 5n9|kcvFܔ0?nF >:fSnPe T%3i Q3/"6!R>*6=*Xv(2G֘I;l&1-8t,GJ8d&ɼF0~r iӄIC:eqWzļWx!4(,l<\Ϲ ̾ybQoO,olBHAmSS>պrJ44w܈̰PpWFN-'y$"&ZW|tAV$$9`h,/Z}h|o6f|\ݎ %X8Co9njkG KP:b UʃCoH8Wo7,Caig5옯ވ/ ۂ4)KU+3e18Bk9}Ϊz⭗:KB I[S֛ZSdt4tYf1ĸ ČWb隝ڇƼ~8`A-HPp_y1GQP+!tz:% W|< r,-+X:ca?-%-YS36){K&ͻnNԨcjlZD\t;4W\a3xvEU%-s{s9 0uh:Ϫ{k%]֚67ڈmYOjPh4~bRD 6'ts/ ;4+%8չ*9`+I [F5n%/c,2ƱgYZ.o?2D Z5 T憼yRe)ݨ}Dcm;&|[x8#NvV$ :>ΦY-ٗ':ޢ -zٕ<,"4u K2 iJD,cwE2\W2e]\7/Cg*}X Oa l{wO:)t*A ]t' NƧY8|㿡Q|vw!oSI^#{YMi NZ d̦)N8%ы-!2jPjϙ[&P˒Y(+=&'aW҆W>m%30w%Ly f0JRĜ1}dyTS+44Wn@>XG5xْ%By>R =sl LF_x):Crwxxͦ_u vP T!FZ?PևY(VtnwԦ:d ^x|yx%59o.9@FXkA"/j`?dbue29#xY:S2$RXdQwV,O L+|io_^}έ.Y ;qw/Iٙ:+HGJz4jY;͠B<K(2AN5 j,3u(c.I8:.%[&+K˯3܈/98$&:Tsn$:Vˌ3Q&YMvW}Ȕ9[(_:IҪ)瓸EJb(EBJvo5{}I'{VvDӼbcWzэUSE yLϯ̐vqeJx XA+PEF._8oYI?V3T‚?V[,Ϩ1H3Bn<7Jp9n!e N߫VF0rBN}o!+eo ;w1ޟ2jᮤ Ep>hU8lF9?hvCg=7LK/AAN*:)/& H# b%է7r9%g}f8AUѰO76P:PJѵ bHūPA A8XDe)cżc rٖ9HzS]Hv=OF2d$96~%YtMce(Ӽ78T޹9SAj oٜa ]O"ѯ-MwË/Le/~"lDeL 7tf#oCSok5O=WEbS '8FQ u'AsUZib~DƐlt*vگ@Jm*/Tdlf܌d-qeP|0gRuJAji+koEZ_Q;gyjm)j6`R2]B~-Ƨ+\K+I%=*⣔;g =[dH>UUU-Jp%oxЦp/a淪 :-jB(G͐>Kɠtϛ|M@,eΉ# TpfX]\ ul6/ǚSMuӆWF<:hՎb.W+|mj&zCUu~8",X°1E=%0+[~0㚇ݲ$<0+dINu:MJ#BăUvPw2" beiZC˹1]PE~t:rw0i jwGy:eXU>_`b2dzG/vHFyoro.=Fg}3P}G;:W8\[' kVz} l:є)?c{7Q9| Ġ{at& _ë_r._7+DaZ|< }x~<ڭ3 Ӝ$'<ΈC[%x6M T0^9]]FGg#urj迗*2|Ohfd1 z)! G-L#pJ0d1OX9WzP GtߣsXvsoRl2Ӥ:83<D,nr PŒ+2NڿmCk9oc0NQpRCD\e,W#f]J} Q![$À*jCa".}5Fna @/+3ͨX]әKx_\hsq8W/¶t3K)Ίo#eyup" Đàޱ6KY 7.iaBN6CKc&G&cgVܭ).h_PEBYfiq)"+۝bP(N_˓1a6+QW$GK04?~3Hd:gKKͽ1d6ةG"5A'ޖD4]ʣvUW.)-Tp{=k ƻ}5wp%wsчGVtc>GJsɺ*Lw$9 VLVlBǣ! Q9u.Zw{ev kq ^1A|Ҥ!P4k6~KNCD/7΢I/$υqS$n> 0E̗d?FSzٙٿS727ߺ;/EFFk<0 ( ~31/,c5e"'/mBON P!d4 sd'?/<~x㒔zf :!G5qP2jJ- 5NؘYPCh%ڰs'*opY-ELҰ 0[1)Z]"k056^٭@-~kBO{KJzL7 hNFJ̬X^^Gqh \]XP¢fhu)ӻư6:RY~6DŒ%Uu7RHEDezS+[2o-&W,Xj2J_ 5s6+̻wZ:s',U!ME*5>Άۻg'Յvg1*0AKOgHFu[~1 95 ۥyÈW[,.ԙ3+:2Jfzsn+]CzJv˄j3 ?6ήM1Ne"}ܣu=b.?[ ߈aNҁ _+fvb1b"4ܳg!qڿˎc-5SګD@Ds`ڸJ- 6+Hx%/t bn>nléUm(~ۜ.ԏ >g,5lLAiwnkT,[R.jJXք#<#\{z7?JqpNJxKcX-'k%vu@ M!>Qdja 7Us^d>dlB]r0C|ZP-=> ) >S}j8V@,rG^f@R `X N<MKN;]"CVK9N=+$ypz61}&[NVtxi{rdI !Pry#z>.aJЍDeU*( މY{嫳9+M\U_< m- Rtmp (F%rpwғ]GЬ8S5Ր랪SOkv[L`bL W9xl@/bF3Aϕn(f9cƎ|f?qCzzL<8:@62 {hCӴZd;_aT߅xrST =:|ĤVwDb8$ %VX7Ð+3㵣RF/շa @& r6*RW?u2Ɨʇ/U}I~l7J%>vm|?.< 2h,&IUqk2gnr@[%p2`0J!o '~ 鮡0xZT'w)@#~G2'daKd#Ʃ8# K>߿[T/8_Qf*)} V'7^? %`Ϝhz>WA|;{ gY9"탹UF&6/lƠɴ,Is` ZOANO&:εM\8vTo>;7zWA( 0D^kX6(M}Xfȉc)<` Y.5RbU b1b~qᙱ9Yl}͡(*>-Q{tV}]I"- yp DzF%xRQZv`=j5l5_Y[IqdbVqa[EfKԫGM!ʌJD9l7 j΍짦S5'_9;LyͲLml " P]hвxJ YEUq^O^c Tf%үd ymbaQ%uXPλF3%bLz- [wQyYO3\yb@7י;7x}C++wX!.BR80m:r$+Mx+5w4AE*.΀"f_8SKR"(z+nf}#Ɩ%D?IU~9눱R6QLjKVzr`GkO=T3b/tf`zm޸xTZL:Ñ6M[?{y KwD/FU+UJHn` `ǩ+\}H]eM~X+afG6 @E|oFd?æ$xUpU*HPfg-Ik}zXΥ]gsxF5e|#pԋ“C70:FS"Us/2=W$`cGR26fb?߻vLo}Orz%ǚ m(AP*E+9 E-X[; ^Uΰy×sm:nG@ cj=9VL*K=΋LFi )'=,t>b̖jDdm&'3\LǮ69v(=x?`. ?]^`T#- r锉c INFP.snf(YRe1zG4?S/&{FR ckmMnvA?O17098cS_Pʾ| $;kq A>-A]əNu 0.rK\,=vyg=QA g'ѧ  m+kֱ$ PHt;+0tS7l+c5"@ G: 줬,Ȣ QxFsJvLewk\dNwXĺB_4P5h,0uLK`3}cC)5ߟ p+T  %X}IHnp#nsCLϼqI?(I'I~)2[ZP5mf mާ谇}Lw"'Я ,rG}X\)QnYu` ~e+d;bi)I NAp;*B%9[.:AE>* ܆*Q1kL 0(p2słfBWuJ_l45F ):),DAWd!Ba琘(^{cih8<gOw̬Quӫ-lXX=5 ?~Z*] Obe+4*F x7Dz*vdDc -s~O @@sp9ЌpG'@pAiyYH#& eO@E7Ԥ1,,袅0YK͸D2"ŷP@3)fM.a0CP{Jdhҿs{7&%qiW\L]^( ;mP?FCg?YmKBRyBY9qDm#G-㱛ʡ\muv(vB nz|1Ưu5gPx L>6\Uųʺ+b@o詐Yũ-Aq ABL wGx^e| ‘jFgG_t^.ZW2;Y~yvv,KZc$AT%eUK25jGoU;0J5rr]ֹxVNJfD s6JefBmAgʺTy !Gj{Lw&vld2~8"To(]SĠ~`/:VSZD(g LhQ_~HpG< 9 èFN'Y.D4e K> j¸%/ $  ?b9dOb/ݩOP##~\X7/yjP"9;#uF$efȦmD׼i lE@QJo27<>9KҊV)ٵEWZ"{ v(_C}'Oiо+[c࿣Aяd@%ɘX]:}1 Gj G"mY vF 2=9% $HOLCF-exHOLCF-ex.Domain_Proofsdocument.tex7zXZִF! RL]A-MՋhvG"uIBm5ۨ&ʔ7O=_{ `Ӄs+El[9H2yw@ܟ o\ gc 6[.jQ0Ŗ-<@RXJ7Tag{Bō6"W3t MaGw ;O LtfM@kr PCB&&uy]ꛡfA=. vM98@o[ktiuTʳfR| giQ_<̓;&O>ڐ0bbK'e ܡF!ɤ`'cY(E"'2n .jБ?т7tJT`n'1'4R;ksw#Ld;nFHXh,c'$>dI?At`aL|P-׍|0k݂ P0Od ]G(L &bp6a: ˣ~ه"woD^H֦p 1wxý% gփR#lSt3}t!OKPEd\)<,dz]q:1s/!K)r x~rˇ *g,X4z /(bzɂ"I)(.A#?FR%i1{]<8XH"t 1^>}­m&Ccfh\ .U*d q$z`Tc@rkUjK.'VV5GU>XE|5څ~_@Df":|Q_c KiULmzȾLYnQ /2헫;(Giݯbn Yy\h&3K/sm,!?Iĝdc D8g4/4V=Nu)}2Uɴ?(1O`lc4M 0noOU&#{t-hUI] 2N#hh-#T݅&FZf3X&ÐOJx )% Kh{tBP9s~" w4-QڱZL]^i߹̟K"Uek|3 vGS[͋;`ac 6{͑i>WNjTI0 qLT[أra>ZιHEN \M ?׻U`)5NzߣN!FgnGqTK~rc..ֱ{7,/ !D%LܧRi\R䦛.ԍ E]8ثG54z&H 123;I ZҴԙox?Uz=&^"!j]&h/Puj?il$39ByPDN7+1 B4C)TC-}y.| [C5FF*Vآu"A3 Uƾ%b{lSU^jk;wig *]\}qrvD=͛!:bC&nw=H+f6Hm~;/츯Tm=j v *UPUAJs';B!M_8@b>M7\fogRkGr48 aD$[YLP`A,W,;(PX&ɍ٠ٛ779aTHōӫPP.jty ךmcq  3$+U{q?+7W<lU8j3no.Y zjfMиu-o<fnyM0O һhxiO]0);` xto J ZZS6- mDP=}$whV5NLt= G|Qb.8}>H-C,ɳ@6`PKϧEn; 0pe4Xh E /5?$a!x.Rj#,Rؿ*mǎH2o >G ^~r!*Ř1mw l#&9N&PmV;(7TC1$Rpk~$P(Һli~r6!O~JU'g]զjC/ՀvЖ9A(ak89feߵ;6!c^GB%THXqG ufjH*F=w4P[|LrE:m<>r[\ʽ":P+q,X;x-l5O]^Jz ϝ e w*˹B!/:$ĦqD,` K9yf\]RV[eN \aEmӸMVmjpl8*?yO[3(C_#,c=BپR|c:m ߖ;-u, iSu֖IJ ׃e~S!u(_lv7Z𳇂`!&rWOĀO qsr^}@gEcb>M [/3څ: d,b`3D@QdB\+ߘ^ t\xȂw`Gwd1?-v4] \ !b0 AgERE0l[v%,N} _;M$W ۱X'%5=Y\BX?c)%iz;yחuwGiKE:\6iXgJ,qv?cى6>F䃷Dct|H~Xљsy1t(̛"yd7IV*; [f=y]dS6͉0i^دxUjg'HF)^`oMS3SE{%Vdio|}r4-euH}$Ң"/F`B,jc(5gMTp1ݕQ}kN&DOs\[ td3O+>w>|cV7gbF:u*ScvLK͚3y|Pc, l)qm98pX\}Zc)=(r0QgYZ4mj՘6`y: A${׿:kZ 3-Fkg> M kirZNG9W WR]auU7|yt[˛/ ]A}$kPI.-4Y̢),RKZas#,A[|gV&1A7Bmg 'Ot R6ԛe RQ:(6w6q*!4>=uܺu*B18!γmҎ.h9T=¦A"eiޘc Q.<rCrOכ+F'_? R \hUpkeP=IJUڬ-;xl3Fci l@E0S\_<枊԰=-?|AV'ɡ)(աGgc֢V^C_J:.,jH uFJʐVTwhӍjÙ%Cqo'76ͽSGYdWJ2V0iŵhD P@$Kb6jT"8 Xz3#2}4ByMa@8 I6tI>^X$x}TI/7S'Ί:oP֊PĀm`u#0Ol q6d1![Z wr/3!Fl>_8ΩNp&Z\5vp/2rWNoVL]0.!7>a";F~$UX%HYlmg1ytð껢H']*E1#lk]D;5Mp:4)}QV^~ቐ2~yG{(le럖@.:?܁Ƞ,0oUޢߪkue}dͷޤf&9!292_HS~=^0 >v}g.-z-]7#rHvhBJ̹ ź5є%Eҝw .jn9Lv RR g/? y?ͶNZwv%T|Zݠ[ӓAN$GekC4+qFcJ}`>@+ Ԟ<5[`Q B5#RߋkZMzO~".W5Sm@?^HrZ2k j@}B8Oy&9_ m`sm߂=~;K7~[賵{JzU9WNyۙ?Tvޱ;UF6zmڨSp;:u rN+ >p +#!8u$@L.o+>Lpf泔_B.y&"{\ gy(2#Cy(&Pk+KvP4g"}M#aJ*SgѝeCAuD dvU)7f3e/֢C7V+t}6PJNi i?:Jm*ϦA [6vU6"㖈>[ W8:̪H6ry߀k]Ni=AmKbr̛Q HE!K.kSBw&A@b9(P)4i9EX-2kYNGUY!d?Qd9!iİ4pI`6#=ǔFQo}\8}Ib'tPMV:5|\KX-hQn\OB#څ-icRUl | 7VI Ӿ5kEUٔ`4r~驛$6Wz6w od FL?&/'Ixʪn ?#^zNT$A^DE!TTKl5FǨZXfbXӆP2zvdJؐ婥sAox[9Ŝ9i-WRo@EW9Qԩ$߭g3[-8B]Ĕv # 40I_K|im6KGHиD/q5'K|Y@ Y%RINiک*~/yGb@-a*}hS%*1e :1D"MY,+`h;h: *{4`x؋QܠC/"u}4>>t"OnW(:En;Ke8}uDgjI~>K͡5A䷾}rX'j;y)[YhritX``P x,9$`)[xڬMd38 n8Yϣam' xIB-وE@RفipUWlTΆ1Nu":( |h o YTJjgN[ &tzK>X3SSוOyP/IJ}DTokx3ͣ_3&+`:ʲ~pzY XHBُ!OnAȔ ,;T}b-U2B4IK@ZxS }aQ,x9=q>+ 8%Xyk<1Rq?}jc1㚦ګꯁHTS\`f?t u5#jiQk,2Ha]fF#jīf6"Bڏ'_zݩY *L@Tgن%#"%`M_n.wzy_ 5zN|H {UړK5(z QFkXlA`Eo,j'=Dېlp5Qr %.9wl-[]hx3ᕇz|\_SKi >~V;LG:AmgiEbU?.{wz9Ҋ1)UoYܣemlycKvK3heZ --gYZ   qA% HOLCF-exHOLCF-ex.Concurrency_Monaddocument.tex7zXZִF! 3z]A-MՋhvG"uIBm5Tp;N^+JR"+2 eLƈ{fңG1\i=Dn] \RM;?&II&6ϻ#b+',ΗG9X>Vr~&K&N𤎐}B2o=byAhȜ*Fep0._AA^,lgu (u<)A'/a&N\%{9 A?k]¢p6>7FԿk;r0 gas}n_d]):.Ef 6 kt,x.lqqK2,#-6(`&HBUl"F>vZ\Q _o|FN>TM䈧 J5)f8ߜ)|gE@22A_y(Ks0-THjifV-An*n"5(R|TOU@{9~ՕƆ>.`C|jоomdɘ89U~ v[ٕitjC< &&{|@'?Trb<}=ckTgjn$f5~9Ztš8zٖEį$z Ͼx 29 +/TtR JK۴{7azc+7KKՃQYP2y5k5-ΓjF l/% HOLCF-exHOLCF-ex.Focus_exdocument.tex7zXZִF! rj }]A-MՋhvG"uIBm5n=+ u m'7ċqᔂm66x=4$=5 %#Rs0q>&n']/@_r65WYj]J Ies}oG T[/3^ nӕ|wɁU"te䡈={o+}.>֩v`j.eaeF悕уIsYgd:#YBo+o8neS{LX RByS3T`5;f&e_ S.7eQ"(cj_F,~N1sRbE2N$]ocaY&O_?+'sH<)DarZ''PSBJl?*4Rh 'oEܳ |FWLk#g2/wôg(sVI{Cgx#zu$[Xkً1f$z+Mȳc=!%v"-'A&YFl`mKrU XIJJ:ߺmk .翜}Rx-ve ?"-hL^u/wGi} ɒ:{YF B,;ph~S!RRcDU;%<zjO3$>y,T a5 =T~QY/BіODaA^_u&;O]BNrbM˳B+ )Len&N87`{/J+(P(sBGnaJ^6ᛪ6]RQpK7s6RXH'&A+\1QI6?ƀc47 .b"$JATZ酻vU!zU09(P3^B7Tl4de'NE^, K( kӦ5QK.>]@f9,0}5r;ujꐢg(>!r8㠠}PH[It{WLm0.nsQԴV4'b%rR߸mܵ=`? iAo58[9A*9XLot g:v^^CC7 AtWQݩ{ˉKgScs7`ЯgE \auuba 9H%@RƓAIS!nKCBcꥒ! H5+9 ,N\;p|z`:C"]Ie)] M'y-[6N:*/JVCfNBlQLK_9,9Օ*$.BE1øSOĆkn[)?.b;Kú5r? h:I`\iQ8%[Evb)s@#mNV#@[Vq^D)8W r>kۥ`‡8~P*Y ( 4mڧIskN2B*brү*#+hw涃.Sԝ!&xeY¾xC"=̘gj)&!򠜰\ͭhGVXo!‹hE= @OF5ף@~2ZhlUYǣ=jP/9]mBjdCfZb XDa^N4-$9*AjkX{a{EĆj\S7@_% QR-us_(5//k]W49+ 3$p;j@%jՊyyǸmThyt3/.b@U{mYVpeMs$ qTw$8{ڦ[q=)~ʗ?oXQE5GCaMNsb'gЊ''NMQEO8lfޟUT@i;l.IjɒO\ړ0oބNPG0(׃~'[_*k~NRT68H}S6FM ύ%\/|tQl).jOe(-֒t$. X=uV-)']o_i:@,9pYgc!ya3ÏS\зfS[SCv.U%O8&~Ȯ(#"Q93`X[X%Td`Dkk1ڧg~D|Ti~"I.C-[~<]3t:UʹĶy^I2~l) Kظ|ћfO9=fZ4/r"176="x #ӂx!gYZ  UJ;% ז]hU"yWK85T R`IO5n# z `UkH<ݏUvZt (GmȒTPcyg>VDpZ[-ioKvj["pi%fUO^|Xէ0ɬzWN k1#Jͭ7z3wxQxK OTë+?Y{B 1u۹Sd&TXE3&E3-L}-4oE6 KyS/:wUľ0jټ125VA'!z@csFEje hDX*φ*t;㭆g/ұX(SNJWew29\)!aoPC5Z_;(qUw\&`3TUMG~R6Tv,hiɺP;NKB*_{I3@ݏV!j4?7s2/㨢GܡNp^؈p PDyxջrJJ;FFkk)s>uJh}Es ;>/`VlQM>5.}u!U(4ϵ[&\Ґ'[ڈ  AzY[ӕJp#@4'uqwܸNwuEO(|G\Y*nahY;fA5ԙB2V=,P:CZAgDA\1e<\;R N$b)HB?HL vp7QLjr:E^#2_OKFiẃz R)WhjmlfJp?HL;3s )h}?8jNXS-R R1p6$`Eŕ_em",6le9>U6#khKE/e |LͲNܢ[0˯0|ؤ8Y}]i$a,ȵ|hj;-VۧHa>8EɛO Ug bj^ )UmE j/Zy_J.^Lp|(ݭƷʏ9V2v1[v2֨P+ïf 3/m?uw=7Oc5(sJuwi++4L  ;%.Rҥ!>B\F%\[}M m, gvkIxOgYZ '% THOLCF-exHOLCF-ex.Dnatdocument.tex7zXZִF! #!]A-MՋhvG"uIBm5Em^Zqչp6/F=4\潴{UD*4/qYuh 3 4O1rj?܈QIX-<:3+gejK9?^4;(cΰ޲sD{Ncӧլh=ɫ@g[ޘg%ǭR;қ(;UU; hTTc- r!*-,dN(j4F/%H5^Iueހ*wϣ׼tj">:h}#QjۿI\fZӬTLal₌{|3j•( N]{K<y %FפO*Ia(aQ0|=蹢HpbKEdf`\v J$l! Gױ[YgYZj +% HOLCF-exHOLCF-ex.Letrecdocument.tex7zXZִF! 3]A-MՋhvG"uIBm5Þ%([c!B>Xb7hAHGWQ[4JYJp<}jd^I{Cw۽$t~RWJ1puʉ7yET>vtDy}>u}+gD`[z<((?)Z(-=-j8F=CF^8XB0y\` jt(٪:YX >cz]5 =*fWhIv`#[GQʅ XA' 뜡j+e:k=m)Q_T92i1igֽ/ Fw}--ef ݢjX[ +˾QpDufN:-$_%NilL2;DS!fX*Up璘׮z%`3XN΃1#YXDo5UOqrYz>L +lys*0쇌1ϵC*!(L ޅ$( :w(q4fKa*rc"ů^z1'OG`gdP}<7jHĸ} jlONpk?9ZmYxĹ^sz]L*vOTYsc %T&\Jj*RÓf6ǔ$j}6J8r$qgYZ