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  z znz ] Safe_OCL:threads=4elapsed=181.674cpu=360.052gc=29.4487zXZִF! O]ŗXiɟcȸӮH yFYYw$etd!\=3g'fPf 9AH;R \Z`yI*Tz7v!4^N#Tj>ˆ  iVpLX1 "rH& h?E2a=FruXM88[kv?}(vQgU-M4ȖQV;V$R"Ys01 "KF!BǏذY;%Mlga/BX0 `^5nbYH,,fT5'co -Ĩ Nnʮ Ul> Z\% h1{b">6o wPW"ˉXe=s+VGӍ$CQjH E`648RP}<|'|s-;drɳR٦<CKa>$ \`gk@-KQ}7Jcrqa^_;}4ws8i0*$Fa,fF uRtd}V\K^;v@x:)Mi7_\7&N͵ xd8]c,C$ZE醮Hݐӭ t9G5#s{N Voz_J 9|5S``juyGD'u* D#ϰIDC4V8zv87Y`Cڧ Ido[Ea=j227a򾟆LP^<^9APHS:@ң\N p6yۯu/bD8bw+i-+JbMGz񯇈(r|=o=ȧ<)GZr7" qNse'4'uUZݺ0p[ /~y ~I 9y l_ʗiP];c0n՘{qu4gApD.) z=qxJ جA /!l6b~ 2?X,$ZzxAa֩6 :5Ӏ^> \r';Y?Y1[#d@ON~v58 DҽT fLԧ`12ob$icf%D젛%i;#e1JD+ ׺i07l JKFXy[⼜3)*+ѵAxC0f L[-|Jh@]дߨs/7f8mH"gT겡IC:Jh{zׁ jN; `Z͜!>hBKsL.s=.S?\*Io$pI6[CR:oU0in3LI/#EQNǩ͕WG7G"8kI&Nø^EQ-W^$6aa5(Fw#VCZ Sg$!$qfBd#z9VO๯c栽Oed$q>x wUHP%!SYAUUzZ? YcNkʆАv^xP`ϴnҸD3ԝW?-9*unc$ѲGöyQrhEZ΀c$(L^=6K !z*+K6k 9G-ub,6oXbMFnct9ޱJAqJo%\)TNpՄ @l'm7% Safe_OCLSafe_OCL.Object_Modeldocument.tex7zXZִF! 9t]A-MՋhvG"uIBm5{WA.|CB}zI{u+sSZi֏8OoGX G_87 ɋKt;Cގ2NEΓ'va@,%@U9RҪ _h>U*jóT'lm9?jUX{> n3'9E뫞 +4uv~ 8,t9(%0ᬹfCn% %:W(~yholk9Fk0D| NO J*(m^fu8" \hR*u6aEk *8P~Pd6Uf&X!+qr{N1C,gd,ވ~A-yTmg˚>^ɀ mgwr̛eQL*3K>* ߀/G$^Qܗip 95[O>߁d2UpNہ"6      V:l 3?%Safe_OCLSafe_OCL.OCL_Object_Modeldocument.tex -3%Safe_OCLSafe_OCL.OCL_Syntaxdocument.tex 9K%Safe_OCLSafe_OCL.Transitive_Closure_Extdocument.tex ,1%Safe_OCLSafe_OCL.Errorabledocument.tex ()%Safe_OCLSafe_OCL.Tupledocument.tex-3%Safe_OCLSafe_OCL.OCL_Typingdocument.tex,1%Safe_OCLSafe_OCL.OCL_Typesdocument.tex2=%Safe_OCLSafe_OCL.OCL_Basic_Typesdocument.tex1;%Safe_OCLSafe_OCL.Finite_Map_Extdocument.tex/7%Safe_OCLSafe_OCL.OCL_Examplesdocument.tex4A%Safe_OCLSafe_OCL.OCL_Normalizationdocument.tex.7% Safe_OCLSafe_OCL.Object_Modeldocument.texMKo"}Y⃓ A/B @;f;WjO 1s7([0'&  ?Q|(%BVcɞ]4,쒜Bgh 1*d8H֕2J}K4"z[<5&1,>4s)?| so+?DɐvM.DCǔБeF^ADžHO@^:#ƶ{>JkQrJtޚ:ڿ/V%4rQ^@ު!x v7qQd.쳚C!|7ښfrp*!:[@ &Y\>B7\ (ueQf(VA[*aq/ChMd0-pcĹl;Xzso"*ueZ_݃V%>ʀAXZ6mV%vƴpo@gt KUG@?U6a2+ƍkJݻ!FdMVQܡ^Mqn_Cb$ZXAD: 8:"Q)/ K^ l>UA9xu|$oi@J^UY[ib#i\Z[횒~c_K,C+B\Ͷv`2°5PJ %6L\5[Fʢz:_Mq6[(YZobOnѮQd?;lj'S}&Ӥ w de6 %T!S,iP4˕GaRu^@n`I" O KUBqCjFA&N9TjKj&m#|!(N`;05̋-mRt0m)S^Pkkyvu^cb ('4'q7DS,RZP`jM4M{.Q+$~pL;+>"R{WUia,@#rtBḾߪ:C&| v%(=R<O F9Tb2vvB VJ4]TnR],Q(=|9Cas"g0vTK2CT҇n7 {-{`L6%)#vV8Eb' K% c\|s#fe=<گ0R(2=R LNè]J0a~( Y*$cQaU9}ŽF=boZyӣŤ#Ef=9n0u.jשּaVdcs^jCfj VԦHل# bgҩjL6,Z0hL|- 88s[F.9W1/c>V Aԗ04oR'&JWa`?R<">^] 9 w9Yf9fQC]D..R~-UMrXXYLG@_b1 ^PQ 1#aXYS,;iIaɼ4E(*<)t1F1xUZ',rK$HzjDcA{:0 z&~QcD\ PV^!of唰p]AtU8`?NNEQv7Hahk4m+/jc_zcr5ۖ+%6X*/^{#NׇmSVT]Ń^IoBұaeS_|uTrYN<}8D2_/c(SWO6mڢC@?QVz +x#wla6u~w9}dNܿ:\gE^&M9+Sf D%7D*=^%a 9) Vyۚ+On|i Œ6kyX g)`b zv~'BD[ݧxr *d(b\h4MKG|xMpӣ.vӀd ;\cdlqp'u AYxISJ |K$s}txi!1WmGFD˚Rccvut+4PhPu|~9KT]dl[XQU}r:Z~8k ɏiZT&ߧ/) m!e$zs;F3}2uS8' 7"7㸛l} :т u q,2zw[{\"^!Zz񖼒hBMo=NiRR32fp=Q&%gYZmrQ=~]]u$.2~y.p|(dh9rDPj~!>ujdΨŊAP&o,MHUXЦ_A@{tTqyF(Rhvͽߗ{C^j,V-DSYFl=xvPZdI;;5Pj2E}[aA&v$`[Z88Փ[BTVH9&>fg~' ' eE3,,дuʲ5k!M` Pp 1жAٙ(0K2d@?szjjNfZ/φV[+ Jh S]asЭ-PHg*܍rJ.5ԵѷghHF:YJ*ZTh )j@|&M.<(qNCx"j'^k}Ӡ&SikqF`o/u9 HoȺ iaq$dKn8Gkq 9ibk-ب"[T"X蠫C9>w&1<_PN ːٌpsBW]ڇWP3q n㨒b,?=_ITaqvq.i@tJ"E?|CvNOb 穎H{kÿ9dp6Ma16c\ǔ]kx-bՌ@D|;nZ" c曺͝ b OP:Iy]E]=0}=WO3S0|&~*T| /Jhj< O| mcO @5"h1hIZ^ 9]'B]~+g59(_{R~v_q!ԟ?wW=f?]]C܀yصF\vR%iA@EtyWdfؽiu9PveB%%2z=N1@:LO cѠi5 bopu8 Lt= %'c0C&%yNwN5u" rZ'H(Y!}132u):6IQ=q^,*RW,72Qu! p ;?Vޜ0%pk5PnX6UT t|h3,K+ [k⠑&`I4~7â-T@2R̴d; 6 dUv2r־JtpuDa˯X=BP6[ه_w@l٦nɴgԇ?\ys_un^k)ɺrEwwhFr8>NFFs$qDW@+~ZP3SDV򵚄hC@shD448=N)tlײ <zFb{zӔEoܭEGEMiGQW&]#hd~WLavi"ׄ'JܜfŸ8r1᷹qON$`+@ゖ@^Beꏸx>4:E\o!mw+JUBn=v={iXƒM-8XP[ 3uv;椩U{g?[f/X _]ՐScб΅P2V:N#-z+6-֜2q\l;f^bk4g~7I_?EA+/3W'Ε* Y>,JNY j#hF<&f.G1M:an-M\0e_@Yz=asjw*¯X&#z ArYF6b3( r4Tx]@ jaŘҸtp+l=U27,ˤ6iWY*!(ֻ <6Eꢗ;a‘'ly3rZDBWecie;c.E o{j~ :)*M qީp X}ʜX}:"/koei[ӾE;-A洎,Q'R/x̬ϦG)'Le.>RUZ\ pVt٭ T/B#nP7{*=౐뒡w qTnbqljcN~֕nص H˚C,حb8 2 }9HYKO^OvjҦA@fa#/^J9dW߻Qd#R|a\ Ia@7s\W x@1)4hu[M61pߑd3x\{Eˍoq;#fVoeiXccrVZbyid)K*]Ridh=I[ `1yyhV%ocG"rG?+4"+}Gq*c=؝*U[ d*?e(,vr =ph9ѻDO2NYGC,@t]@knLץօF k .x#uݲ9W`F ł{uSN,, V+;H2a]}ҥ .UΥ̂%z"-jL^Wu B~&κD s%'X:Nט/*A`. ڷ( 5 VC= 7x38Byj5&‰zMcFRSM9LY)n8GnڣCD8.T| 72$ ",..N&> ڽBRb$+Ym,l>2{ b>K1Qsg\*w566S {RT#Y׷FP;*8B]in_{=<+= gO<Pl"/F aGjVSVKE?s~0VHY--%1>!biA QiێJcq 0}wKy/[NGΉWIf !XP)4Sf,R"&">GN5 9rlx_#ƩFD-|4ٶ+m<2\LHk[ϭvy jOh-__1$"X>-X^pIb5{RdʱqaBc DR,ě.QnT Z3f< W oБkP;ވ܍Sf6 /}Zmn1mqL4ؔ)LK$/ܭ~E?ZgYZL4?/DuN3sc=BuZJuJYdyYz\ƙ.,f{m |Gi-^X9=RI )}W=WϿvI$MH虜X WDC2N_i?_BY)T^ Jl hmm5d ڵĻ:X 'eNޤc٘? tF+Vf1Zpb\} pG hZ[)taO!,GYΘ.jvA|Ship/FX>u}f,fa0:7pZj?iA(tMqoҒ @e{;t l鏼}FG\wֳ;3ג*lPl: sTR0j"K$ y2d{mNL#{yp $:jOؖf tVܴ~}9xaҵhi4 L1@S;L$Xg+ /*pxP]Qzc!D?y+ "uJ|;npmzH}Wj࿭}L[Xp],&^#Eq(W׀ʃ\͵@_b.-+r>s؈^wEpW^bͥ+9ZWwS7)T>LFNB3]Po(nł]4n$&ի"UFHG,yeU:Ԭ* KHyrP鶹>򾖕=zZc ь $)[&i&10D\Z뵾@3آb#l+JhWd&E~pJT5 c8lW{vEP`nm@«ԚnZU9ͧ`ҍc F~57m'g׋0 1MCay YJ66\nD'%͑6JDk],=YuW}O'?j7ٍ7G\5&9dVK畺ND_*a~hFǶg(5tU>+=G]҉Gt:8ʓ*'at1b; ŔB>q{ Y&jةO퐞<0Hř6oA/ !׿,;w) 8|Y9vCMo[N iMǧp,? vZgӽ6kG$°1xχUհe~kϛJT(w\=` ۆEV~HJ$~Lf@8F~oBYBahI/ǴڔwTdD-:cu&l $ 1KU{70y&LQ(+j@vZ;F/o~@wWEϧ5@C܇:Zr<˯){<\DIݪdw`o@ {}cUTTLm|g^ ?+6 *ө(!m\p[pVpCC8f 8XzKEowO0`u \EbʫO&D*}Iyypg─͂|6$jѻ>_@v#D ;ep*%1Y]7Y=ً]s}u˭`]1xnnWoԭjPWF=Z`akz9#_g%Uy&6"%F; f˜#mhm:6)S;u`\E=NpK DImXlY}4Rh0x{2E>?} vR҅ke2>NI+nV[b|ղĂ>Dv^V=Obv0TV+R:4N*OJwPCpM&EGt?~H'st:m `IJա~}ҤS/+'(S4~bVc[@?_K'un+/,cٺ]A^ k/(`1Xb-]¨8;ogYZ  bA% dSafe_OCLSafe_OCL.OCL_Normalizationdocument.tex7zXZִF! k]A-MՋhvG"uIBm5li}Qӂ.~M{{$q&XȬʙTۭŽP5 v j~{@7A~;;ukW8K/(- 7~0PT 4uʸ 3Ā>Ka>$ \`gk@-KQ}7Jcrqa^_;}4ws8i0*$Fa,fF uRtd}V\K^;v@x:)Mi7_\7&N͵ xd8]c,C$ZE醮Hݐӭ t9G5#s{N Voz_J 9|5S``juyGD'u* D#ϰIDC4V8zv87Y`Cڧ Ido[Ea=j227a򾟆LP^<^9APHS:@ң\N p6yۯu/bD8bw+i-+JbMGz񯇈(r|=o=ȧ<)GZr7" qNse'4'uUZݺ0p[ /~y ~I 9y l_ʗiP];c0n՘{qu4gApD.) z=qxJ جA /!l6b~ 2?X,$ZzxAa֩6 :5Ӏ^> \r';Y?Y1[#d@ON~v58 DҽT fLԧ`12ob$icf%D젛%i;#e1JD+ ׺i07l JKFXy[⼜3)*+ѵAxC0f L[-|Jh@]дߨs/7f8mH"gT겡IC:Jh{zׁ jN; `Z͜!>hBKsL.s=.S?\*Io$pI6[CR:oU0in3LI/#EQNǩ͕WG7G"8kI&Nø^EQ-W^$6aa5(Fw#VCZ Sg$!$qfBd#z9VO๯c栽Oed$q>x wUHP%!SYAUUzZ? YcNkʆАv^xP`ϴnҸD3ԝW?-9*unc$ѲGöyQrhEZ΀c$(L^=6K !z*+K6k 9G-ub,6oXbMFnct9ޱJAqJo%\)TNpՄ @l'm7% Safe_OCLSafe_OCL.Object_Modeldocument.tex7zXZִF! 9t]A-MՋhvG"uIBm5{WA.|CB}zI{u+sSZi֏8OoGX G_87 ɋKt;Cގ2NEΓ'va@,%@U9RҪ _h>U*jóT'lm9?jUX{> n3'9E뫞 +4uv~ 8,t9(%0ᬹfCn% %:W(~yholk9Fk0D| NO J*(m^fu8" \hR*u6aEk *8P~Pd6Uf&X!+qr{N1C,gd,ވ~A-yTmg˚>^ɀ mgwr̛eQL*3K>* ߀/G$^Qܗip 95[O>߁d2UpNہ"6kЈߌJrI~0s{^|, @@57% Safe_OCLSafe_OCL.OCL_Examplesdocument.tex7zXZִF! |C]A-MՋhvG"uIBm5li}Qӂ.~M{{!@ÏLڬ|䟇ԔQ@V\Xbučwfh]qlx2}; Jԙyu"d;UN G\7J^o@fwkw\~֥}!խPOVCBU4;2STG6H;x&=b׎|F_ƿNXd~Xm]If Sy@ }ĠYME)'q|엵 W.]mG=t▐Rn)=ɼZmb;vc׊xL0rUԘ?G^ e6;n"{4ŒꍵWZz6o% L0r5DAjD9 ¡^aE["6݇7"zhxQwX>tMǏH}c: m8,/Rd8bDӎ^ڋ| SG*DFYI=3x_Ijֺ-S}}&7L,c"Jjwnq5gDk3xʇYQ2橄JY=J$}_'p1d`f'Vђ3JO˂E.yH`HU&JRUTjP]=@Q i6eځ8X9oC2 l*jDB?#}:$_A.^6cZd[Wʮ磯Q8WJ ۞%/()!LsW-/!Qa&z([x>'pT|K|R^B1KȐ#)qZ؟mHjw54D=VM}=-e&M7qS]ōt'|RX!3w.cik?Ǻo 0m;Mi2%$4'=o8+W lb[0_Pmi!~<nx41ەp7LoKHAJWvy9b݃SM|jpAwJnr qK]dBΠS㎁Y3Ȁi:QńD /n%u#u D2cI-}7$Ӭ@/yCM?6`+2Clkvug`d1T@*2LX42w4!m- bx_Tmw࿜`L4̓]Ƃ/8N8{ڸ單1bQvln[(&ǷV|Q~0Y#_P+6?@Dlψ&Vg`r0mr.CMOvRhuhF&-L!p>R~OyϺh*zlဖ>#`[,IV9ZA \VK(T߅/zX!1i&: L%3d3xωAcx3T+[Q-#By˛hyR>el%7'h0'.ħvfH?T?eiKGe+5+q[dž}:(˟.\gޏ%S=ō51 Vrmrms}s-;=J?ܠ=ğ ӨЄT$ "o̳=_!eOb {1 X 8 )*z]49#cUQ iԻz5@.ƇpKm83C~Q`o1 ҧ?\*FӬS8$KhlePc"BNLvF  ot:9auUǮ5h8`8Px:LFA*ԟ>.rg-2I? D}]Ao|c)m0֢PP B e;H?h+kۿѓ75fA!È(4T©Kdvv*p!FؘG!Vކn!LGygzRF:}óbFK xnϧawtS@O =;?[r[ۺG/DW0<%?S_w`+:SB]H@[<^1W48xv;xeQ0騞9l[9Uy{X`5qh>źw]&KHR_fC =U59+.~D$K 10UYRů8 B]Ro{QJil~}'CAs"w^Tm&y&ڼo&kQxVi<64?ͽybI g$kr#ޜ7 yҘ~{3 ~ULOe}/@V}V8n+ZXU?ﺪKNChB .]6@R${oIcLō=Z {JOwHS-kCNy8!81ú|OCTw( E" 0Y-XoW}Oۙ>|0eqTdqFħw$R_H Ƌퟱ<C,Y]CL;[EI=^H {zL.,RCLb%c!Gɇ :"B_fڊ)pd? `_ >bDxbMd{2Wwe{Q(@soHV%F.K6zLΜlwW,m. 倡>b,80.^q<;ߑhq RusΣK[DWri φ/Ź) C&,Oga"ص<,9 G6e! 43ֲḷi`p(3wd`E myIgiymĻgM<&R׍=zX0;߂!DJ<$0p8e̚=da(R5-m갪xˍ'y+Ga3=C-rM#K>LmNh [!;";0?1$3C#h?7S֒2:HmțV m~}4KIo3!fO3eɭql%Zie9٧"cKpqõxf()DdF -&HbF@NG#3hV޶Ti$9N\ăZߩ}O e5lEIʶ)ʍӡ] w^ r)ޡH)mIO/ڋ F&~iOyx.FF&GvCOƳKXԻL /n`485 flߑvۇnrk8הgOw:B3ƪ)x}]ҿ~[G"r #*721|gFXYh^4g/AaPWԖuS,6j$-eN8]3B x\6M!?T#%vn%:l={sN3OT1ԠtyB`<4k|Lz.9MM=A9*~<Ⰼ/Ļ]"] +vwHR,7~en DbqEΗg%N/UMi'h7T)ӿLW q>&5b y֤I J_Um*l7,s`2Ir!0eOۺwkv5RQ(7H𼽻l d1}$[X%k'ê$f:l \);I9C*6 WO}RxV$&?tJnY-7#cλ$.1#a)[P_)*bpl s}w!UY։xDO]Gmp <3&<ʾ粲X=%\ʃ )}D%!ʷ̻:4f+/5 *HedOwAL>j B/ZFcLfyg>F-9Omqǻ![CF58 @<Š Tn >5k(Tt6.%|۸}^6oVvDϱٟKE9DPzʇjesFdABcUɹT&s KڎٮA[ 5XegYZ ;% DSafe_OCLSafe_OCL.Finite_Map_Extdocument.tex7zXZִF! 8]A-MՋhvG"uIBm54"?-sI$QN|%A :B-T{q@uBSXnћ&[3-]=lJ!CK`%\b .Mfέ(0fjR}`#i QJr' # 9M~Wk0\rCic|hIXJ^VU9NW0\ϭZ%y^Ӗwt4\ڜl?ƛzgWZvr kqTcAʎ?: |Ym\kt-=d O> B>'æqpU~<<p=+90'R*@YЖA n4qkbK2Q\|GWe*S=xxrJ[;gNUHi cL̢cHG\ȊN$4joGcJsLg  B)͍6(i<W#R$/@0DBLG"+>2 7BѧwWƧ!RH$}"`z#g ZMtCşX):vvJytUo K!h([*(pWevF@u"gU#ZƮEdφdmp6zՇ}FIJ bl۱N]dElE#—oWs??;$X[Va )nnǴJ'1S!X#m"+`;;u(-spƠ)U4\åW io\fUc#/%w aR|ۻyi,jy',cn7DLD5-#ߌ^<< fUDŽ#n.+\]2NV@SSk?cN7X/1Z鶜Pt 7 Cn ËŹΘwryq!WSDYfdVzfsIr_)ĔT/Cpŧ3LMZ<;eE (Qg^}][YK( F&Q_X dmZ=a$op|~ੵ4SW<A3) Tstj5(N^ML/T 'qpp-г#?<1b4\vWA}ܚLAu=9YK d u܋H"}^ "RC# #@Dž5 )n+ dem،. )n۲^|z8  ƀ&0ЅEx'Mf?BN MaS7S-'$@X2]'r/2)e'V4NOS.KA)c>TP# j.z<4vPH\ _PeHBEޮk5Okz- h& v%/Yoh^Tz?4st6+'`g?VΊ3F "?d; 1]aU׎!ߢnWtpc*~]SZ7O &W5#vz?,CDSu]^ˮ`O0T-]]I{ ?'-[ڽ W?(T$k{LhRUVe3Jj'CeHl]eI^q46*:C׻-͗ʊZ?nt#?WvLZQ|dH3bEyfxl{"w@޼e+jR ܻu 3BFcU.~DeeO`GBƯlLM+'Sc/̆*^Mĕbbe+(C:7l64nJt4:.ցtiC,E[jFj2+.xRL]ٶSXUdYAU{P[Z|r*;^_bVLm+SZ._5}xDjJ DGwhr_*M~/#"5췍ei7c*J}^:cs75Q ƶ>G:@ f!(졺?8]h ;5}4{81W̩l@e"j/r*8<@q^rWgXy[.`H7"@$lU] v ٮV\?g r 0݉/%jŚ\suIS3 ~d_>ҏtvn^Z; =xS}0^8*7;"/mVvA5 OY7WP3vmM~aV#[z{$bx >hDE[mֽò[nr e-Hv* Cl2e \[xP0á] MOC{(KN3 mi9? *;)n5k :jitdDi!U7ZbK!1jPHz!^|"@O. _o\2bxyAMW~ 'r&IT5 Xiw՗$qjD(Px8+fK'6+80KyЪgE"]}э'uz-C u<I> }Wuy^ Zn+1OpJb;:#e%eq_H=ejy2A/#&y)%OddFX wH3V{Y6DTd,E;J(ExS;L2v+z9z ^jkA"Cĥ<0j%nEA[Sj~SD@3-{5/R÷@}q$>6ݣu>V"6Ⲩ><P5l+}5(.O]J[' +@f bPӏї3| 2Mib8Bl6)[WG=Y[Tuh/Yބ& BcWÜ纾.Z^%Tzȍ lef΅bأ)ݾsPzyDZGVldA8:r ^a\ȺNZݪD{^A|Mk`깻u T{A'a,m{s*)AW3e " QN>GhUV7C\tq=/j(kUY-#wpsϥ4^-#ZâxGmQT6WkO׽[wW>kPx4[pE(VtMndEq +Psb䥱;7 gQ0Bd26X*3;Vݠ=xB.(>pjkBq +!")&£^"9Z&3$!5oN{Yzjq֭o`o UNb66ڭ6t?*2ށlVի-\e)!F!IhAu4r:_O <:PC_*;fe,y. 'oX0Fj e3o(P0@[\Uw !rnG6&Bke&@L|`OTlB5-Ԥ CckT&y1/{.+;kQ&ʙlJmKa׬샓6iCr ɕ}倍>C*}RB_ &F]e3wm~q]Gg_'70<]*4ocoAYg,(U)!gYZ  =% $م *Z7 ُiA@ƃ&x0!8(N@]SkHcd_d`EAaN P܇@_ p.XJn5p\ϩqʏsU 4󌇞,9ǹMx_ S noe ?j%uQ6{䥫80i2Ѓ*:5V1HؾujZ#$WFU\kLS5U7x35ANU3i?ݍ# .EFJ]+zb%48#} }0Eh̦7o~t#? x"]*R;/PE?(>g;tnd&wp_1Cd(|8@lƂ~7);ۙѥA.e=V9|eV;@ ڑeނ /Q;Ϯ^uuX/ep.bLn3e_'ޣ<10kqDf"lŻc,}[WyUS8T ?M4;'J'߅'ڑ^v̋tm?ȀTm:.кfeb_hQ̢\FaL>hFs*mZTD4I[HX$EVQܚ_צݪJ=czU<\8 ]/rJj͇]%\Q]Lߘy~bbÛnZKH RTk=-.:.|MIp(i;XH>0אԈ\x;~c4S!.B;1 v|q9_9e)s: 4D]bS3TCs8GRDEnH6ZLX㝊z|͚~ZÔJ$F 9]śq]'ͫ ,C]悜85809-!\D6H 3lRۿ=At Bmf"N+P"m/G]A4{q{tX,I 0mi}+L矅Kh5+FMqD%0d> 2|T%N)Y]*xzFԕ"V~ X6g1  .R-N<%d f [0tbP%H>Y@(x8r&, '5z⪍ۘBDYZa*Kt3Bt3MvvڽÐ5+KQnT#eb2i\(#>xE56Z`5onY~5C?<%9sw3v6\/X6&2H\w۴07"éf viNdiN?5!.<6-oiEj_,oW0w>1h)mCV01òoky w@(khʏp0->!`!QK(BS;ݞ/o^-+N&Lܙ q q?0%K<,+:oˆ!qNq zJX637 R}$= Cp-֣AޥgU3gE:(lZ7_[hY\5ݷ8G RY'&^#=/;ė/L' VIqtdg㛪.>^D(1 ". ƋLM _?ћjfFኄ\Ȁ'$-[V\^-᥎gUi6@e8 !,+R~5N&rWM+ X%8Kwyjskκ&=GTJs.x%Qì"^ 6t1/>jv⥃heKU'FS><!nHwTgp,VdaL V-=;S@\C§)evO/@G qFQaګ($}ѕ%;s(- /P(|ٌifTp4MJs"1=3Q܂UYNTH0z%Ǝ S (7sy0^1QSbo3+3y!p?q&@3pp:%SgmBE4/8~x:!+i0YnD. DiaU#-r!E'trґ~3v˛P\GruplA7_NrY9f,R`D 9 nl~'W,k;C&:gw9ׁo |VǶUVuY`sd~]qCESd;Ĺ2$*Jam5חޫtCuAam^'֡9 1u$v[ux$XRibд[T(ŝzE;EcDdbj L/#Dc'*6g.vk5H)qG[h4R8 T-I./yN\ o&>OY NsT_kءrl{N"Q:5hb#&f94[#gX>!BWYG R#\+0H04>&}C'q7`d޷GR óA$jKuV`Z7kɲx8Nޙ^-ѲhmKجf:~,"QRپmXj#4mePKq0_䧲gRsVCAbʣRF Vdݲ,E&_7Ov b CDē(1$B.}Źd%uØPXwn}+EӑÔ];'[Q٧.SJ!mJY"Co/^kN>~׃!%)Jjܓq#r(=,1XU"Q,'(?$]DEU8eɠ?CiVL v ^؏fƇ -_[}1:LALQ_ ’߯`|#$ 8^#Ǟs"rA >x'yh$B*|* (9,)) 瞦`3֮o!(kV@ff͏b6E[t>c^9hRmc} Ee[e` ^$*i7+ڄ3#P$ǔ y|ג`;qtv\"XT(?| \;UǍ#-uM/n=R3jjgCc mD。ؿ婋BYE?WE":_Nq hz7uD=%'>LÆ7ɜ`(j5ؒ2d"1ġf3|CG9:YM> Qy6<8>))]RJO;'쌪'Hl~uYC4'LA9Tr֪S`6z>FnA9HzTF(Nպ,6̏BũM'9w Ms8eS6\6Sg%<ϒ&`05jHf- ɄT$CYۮt9 $y$$}ԗSڅRzM&l o[Oҁ?fl留P^:XI^`" (1$+%½Q\o2kwFh2{%B^KWRER,ǀsz H,:\O+bi+4u65QjA| pSz卭VJ`ګvl;D;}[JS#iy0爣:BVxƤaXu;Y!5Ÿ)^;YRmk r@GȒ 7=ޏ*eٛKkoYx: 98:AMp~ T6]gwK_E||+hZMmil\Wvy qY=ΌO١uph+Ufҗ_W:QAgB + Nl[ټI|#5Wc@pd1B x#ipy-SmgFfL.V=޹CYd[麃hQQM Hk/'ovbZޛ]Uޭ1mVۍpO>Y^ŨEh6dc9pڍy0}}/Gx(ާ1)a{^)ƯCZLc*Idm/il$(ךV=G.Kr? X ?F:igYZ ^^ 1% TSafe_OCLSafe_OCL.OCL_Typesdocument.tex7zXZִF! ,$]A-MՋhvG"uIBm5li}Qӂ.~M{{+VҖ"Xx"Z]2Fhb{L#*}^k";EV<. 2N/#yg+B/F٦Cdx_ܢEeR 13Y2]܎uBY+%X]+fS'JV=;gݹ51n\yL* v.tHa r!&펎nEolGZ$ct:=l2Pʻ`Α7|*U`[FڌXj?Ոȃ0ߖ wS͒$d;9R]8ug<1_Yk#G40}fijl58Vv?XPՓ5dN ݈vk-P]KJyQrJ~Ct# ](KQ"{] VbHkޘf!Cyf!&9ߡ% O\,&c; 5= yɟįI'ߦ$A|y) z:O_X^4SBQ Tv<ωP[ u$7(ɽeDl͊bdzB^]g/^"dĚ5RR˂ ΡRjR}lE[ Yzݖu{ *j3T$v/ꢛN /?Vo D Τwͼ؞l!flݔiU/"*yaKI7Vil}ܧ?&w1_\ycx,kuycUﳾ3Rߚe8O<9A1} \-ީTq*H|ii *OBVն9y%|fُHWE|pD:]GS%eUA3ް3ᥴ.~?dreQ*^[}6;m׹aԉϲ5oY7yf$7kp̾SY (<ӊY}}y7kl -9]@ޔ} Hm'<.|F[`6DFƤ^h_צK_'h0,>JٰgҬ-^0DR=-列qΉM7y ~S%L2qK%jDXTMat!8Dt89x^àLL*P`ozPQsd/&=ulb~ƥ]=/ț=:7A5+GړnD&vYab9%o3$"|3aݼkVb\8Z!5l@7<`٘/AͪE~UU]P+gsyOOL$(WBWֆo8(# Hqx GP=мL= Gdel<T #z |BTI%C]P/߸.Z1 &3x KΧeA Z1YVÔG72&Èn.8ځh$w"Fjkλٕ^ mLpň=jh"h'"r'Lp;9K(W{ @Ǎ,kw,"^^)'s[҇xSz0)qㄢtS̥XEap_0%yaxLcSh9-m/^iڝFbZ;\x;i !?]+ :ؐFSɝFS|ַhoizA d5ʽD4§ux7, *%Ò}ɓeJԶ@TPϟZ- #-גMZXZzɯ(^Z/඙!$jNi/мS\%HUno04Al`BsզZMuY]v~0,.q 2.׏*hN0aa yDRS` SoMv%X٬[5z0pV(jf̒J.J`(gm.٫hҞ?4oB2UKykzd'Jes'G!%ԛtsL| #v =)k=^f)toqQBb>Ʒ8|qdĞFI隝a%_:enxcJ,@C+7\ҜҎw .٬]rԊڇ_NŊ&lX?iaJu8ޮX{V&eӸ--QzgH^ih,ٴn.J-TKYG&i &[Wꉣn: q+I #zj70K.Cv>d2w׵1Oa56C  YkېعuDzRjo/:)(x:g I63\-6d׶y+`*@bcFS6 h_J#W=5v-u-p!yCbAޡ}^YV@Jolsқ]2M  Fgq|8zpF˚ 1Ć+zn6hシR;Kum l\$f# LոBkn6#n!Г8O=ohX8'gq'"5UƨƷ(pWt&7Xl'ZS =ѐ0af ѣYcж Ԧ]``a~_+bq&/:ȍTt)fzX 3lݍ{5?MÁ|dU~X@Os 6qDC?7 @]tʽQi.WZ̋~YHa'eP9FY:N &7gi?.Dt8:lfSS|3Ulِ>wu?Q7M9#pl 5J<;u)lJ̔9/EK7qDB?cLD/Bp3+zޮȫAP Nj4_NA{;"_e"4وrJuJS=s};Jͩg޹((2XCpPQ6{M[&2kCO(6+ψtB!Hu ]JpaL:űZBT٤PyWO*-{~'%[R/$3]OHҩ4U`siøćAĔ7|~z WןbB4-HR&xҿCnhG/˞ JH:[hK޶!uŐh+bNt*Q7W@ R8&=g zЄŬXliҏCƏ̉E8P:(9_[w*1⇆hjۆ7(^"*U{b$p"K=1ľe0#\3QB =wF3Ɲ Ӭ{ Bh^EoʁO\.sdmU  &Ab]0+uRk?<č{,;®#۟E"ދ~ 4H{?0yfKOٞ+/seVc9|$Է ^K'+-9eCG5vO!A# %(ഽ:[ 3 _ԸغF^'YSZ& !Gd136Z>jwju,c *N CG-2FnkIoxdʨƇDӈz{Sd̷!gR Z BF\u}SM"9Zջ? ty^Tz=aıRrJ#B6KӘ|zAFuh)pJJd%+ʔ"FQ\IfdXrE /;DzCFqG=W(TQc3F=a &Z@u辱 H1#٘ۼ lsސgMQIQoTŁ<׫PE'Eޙ-Ek2v>xM7jP䝞Y83 *T]?{E`5zU& L| #m%] Z䑘Mg7kxl mrΧ8(< /[䓞k C2 Ҝ\er(48h}K\vc֦WTP8m mcCϘ֨aSzG=j[S]6_.Ӱл=13uXO%Z\y!{gN,$wd;ɽu &A[6́! E 7% G/[:>l92^62,-j8pZq[[ѝ=*؛,ȧ>y&_ՔTՄ7O gކ\a&z@JmCu Bjm4Ү _K\ !C%EAGp@U&t5 ʳ:c%9z:L`?ŀqHR[GmîG4ݢ,xXx>;j9z(}yu{aSM_y:JSES`icL'd~+*C/.i[6:%T|aM/0$+F!`x{EKe/^!W)]䞵Ա:Ct?AAk5GgFG ђN/{EIIz"g߯拌6hU/뭧֤'m,G5ݙ:=PbPJt bF-jq5pႨPTE藅 k6-Oj2:Z66[G=8ګVi&!s';+Ўko8^4P}smSBMWv4͐mW6+Z,YOCZ|cÔXQh\I}M=VwC]j9w2]zQfaI&- IY̫xEW8[`@XP.ܟ6Q8>:kwauӻ 4ۃvQ;tmqthrM9>PꎋJ͟YzsKs 7#Z9R5,a"S)}2f`GPS1ۛr  {ǂрEc T 1qsg0lܵѥ@" HFǨN<ХˎS7GѲ@+I^i^UKfz5Pjl)zk$OS-Q.XΉ+d \ʦl UlaőE،~R,]/RZ)wRfW8c$ZkzPe/;VŒURE\M3{ਿW63^~XcqFh#ʩ'N4նCbIv纮 ,vX$j><*[\uΙ,㗏:8)XI ?+\\fɋYٲ^c;J!} en2ZZ5v-ҢdtXp/, jy˫"kC>qcWY˨7 ,":~U<ŀVGFmlFmufln nDG3w`Pb9*HLJwV3M:~Y,d 򒤎R2Kb3y3HY 5`! JbS'HqKP32຀K뮛N$d51 ٲL]c-Ѐ"֣ =u]\F! .{^H2;m#@3 M]/RxxY7 RR NW2OvU>ƪѷm@urwՆ@ˆF{j_j} dZO6*L!Sc Yʁ%`S7cU[`O0khA,G_-V-#SkC [a_*_y5޷5G^車OpBRk0$/lYIZֱ,aI A#">?.퓵IjG= j|=@͑礫!N=X1 I>;&߃V!qݽK}V-45&XeQ@-4FڬM}q$ȵm#5ەk1G3_IJvՊv"M'7 ^ԃ>b%+zWءO.Hm KSI G'PkJ> |m, lV' dÛlqa6]&SXL0B#v(ϿdnjRfQg[;Gm֛ۼ.=X?X8x/v햋(5=Z@i^?%P^:AN=Yո} pɲQVM lߊ"g%&'>ePYFӬGu mFF ¿By\/XK՜ Eʱ9fwJskfqAKJ$@MjzPLH/4 L8a'P|'1N)E)Gȣ!^Ž&򻴘=g(WzV E^Kc򺠽N{dI&M7(ՃA9d4-rTBH5XVRsByz3}UN ;-ٿЈ":Yi"TO}oR,'G^>e3{ow>/y"Ƀc"r/ݛrh$.gcEj=΄2UY-, RAqɱ1*xMI[pR/ Dpsj P 3B<|%voBg0Pj!03z,RzN)WMﳪ-M __EoU'aY>0\cgǤ~|9A+[Jg8f{  v"O~<[38@:pTp^ 7q;_CN]RAh.g)D9uUIyT 9!n45 D剳SJU]9k/N|i-Roa]:X*|懸O|"'kL5n~!oq%2TGPob>b.E`ף64wt&C/̱LoR'/X?{9c8W#ɽ|JK&JHy>$=3 N3yX\Fw-!Gz-*;%k D>EyCӹ^D^ԿE`"k=~WD쳠Ƶ\nXl_"-ݐ3sT]2QeON>fJ՛X^F=$f; v?{fx64,jug8޺Ԇk++]ǩJ),SC|-Wc~bY#<\J4\o*XA)XN(z+З jgQ䨹w>8sZ,w9-)we '@jTRg;/6y|`d`ⅼ({M+9upRv3ODϧ Il2d^3cb3Ja91HIzu'>7q-d1B;2;s=7} iʄD6ןeFrw2twψr%Fov'8y5n#Z0H]^WĆ! f/\}zQ8s$s>I=YP*60z7V?G;:dn$mh![p2,W~.il0Ku2h>% (s:@nsp BYs%obq;]) ,-.,@(?R"Mtd=0wfDdveB=;5TU TAꯝ?[Q//C~|3e:_X+F9ιO.%?~nNXr"cHhC[ljYA3a#y+Uz+^s:cS-ʲ/}lJ, a_B+/-NIc}EDN;L d@$txk|\N M(״ ? CK?cQE g36TƊ91}?7qq23B\v,'OMP2 pe gD32Bv -Dr=P,z}nWq+vDs4Om "a0sDd ЯQ۔JN;>S ~cɯeB:~P~D%j`yC:JH٢WeRzVPn34>Jayt]E'Ij_{"! ϐ+ĚȄ6oWѲXMsؑ!)#cHU÷Dޛ|'wDE@Gb#H6fwY V0ab.>JcGIq2ӄpsYIX`0@]2+ ?\bsÁ rxҍњdDcD`-]`C# Z7t&x]xP=M2pUYTM}HMF eB.1/S4<" w^%r:f*CNVQv9f7:)}[IA<[zxFHJntk($M'>TtkYy>[\%Wi`6 @l/V8kx\xj^&F0Y9] BgYZ   h 3% |Safe_OCLSafe_OCL.OCL_Typingdocument.tex7zXZִF! ٍ.u]A-MՋhvG"uIBm5li}Qӂ.~M{{+V{y8dpy3B̆ǰU]B}khCYRPćEn-V~f%"fu/)xnp+@ӼԓI "Q5[H ɃɣItKcbW(C ,f\xM= =(SN2Fe(lOvQ %- J35I5.h1xo@dGt^Łj׎  H~b,ˌ݂CL]M 81A-JڀQ8^Ib_4Y `b秥B|ǘ`c ѰM8,|Xfv| HdԼ%HELGK ^pw2uwbq @y5fK`pNw RRZ3=}&b-c34 nDJ_"Đ]?e3neFK~59|#A~)f:L|V ARB<YA}v{2aO1կ$6 ~[cL*fRf D`I0 %$PBRel i џ;Z?fӧӡj:z:b-'zE,{?ZÙ װXx fW>9gϸ{@#mVQѪ4K:$f8je@LlR̄6bdؔJ:R|1\gV icޑ<5[A+>R5ň|C)`p ag<_$WH*$a6.JP`-iC@P]aaz$lVKwxsneTPj2ۼ^ç^N'#&;_[k0o笊ɾ346FApmTJF@!}闩ecGŔxׅ?ͮ 势UUR`a>h*Tݝ'OFZBm &\+4Oȍb̝vP:1/]b 7/HZbu> w vt `"Y63$_ccC5`~JX9lTYiXVCYcoqj`) :mņlQUwͱIS GqyީF֨h2/ qaYz|DHalm(Q@;t(?-i gI$+Ϡt?!Kϻ 6jcrCmz| A>G4m;B+c KT)ie@ 7pש_`8D(+fzZp=0!^uۃ07#esRa,GB p cta<8&ZDo3YI SܔCfs^}VnJ-{V!Xح-6ͯgũU~{s{u/FG*//  ]MPŲ$* PYOtsd|iO۵`^ג}@8ȩqʲ' [Sq<@G, FB+MNkY^SP?(oJT F aȆON.6FGZ=VJɿ-Ln3H"Tl8ޒ tYfxh67yZt` d9M}[̀vOpc475@MWGlH42;ur-p -Ђ.E\kg Q'=ƌQwy%A[Orn݂Mpi7LF5Ew3亻 lf @Vƫ=y`qV`\LMHC}fnꫫ<~$q^MP獡]_II~]lhU$& 1jD=l@RrӔT<-xNϪ{ )lբ3)!]o{,Hm)[Jn/V`o4) .Ab/ 'k(aS ht}iNSh4ί\e] /_-#\y5 ݅CQ"3\e~1m +}#@fH9 lS(Onz/, }i3cHBrSu{.$@OE]ـ {&ěDkᾱuH`Dd͓W{8vYhٺ~A8nog?pM},W ]Qݽ2Lgt:z=dh¾YkWl4o.bSvn`'I6l7u5`H6FAۚX2i | 0u3)͆mnQHKjf$n4tV4t&SD4ͥ/䍱c}CZ, 3K/[My? cYgս/kR u#9 CC:)% ,Safe_OCLSafe_OCL.Tupledocument.tex7zXZִF! M]A-MՋhvG"uIBm5sA,[-mNՄׂ7tb]= zN!o9F G'q_7v^vhN[-;jաECdX-`G`jC`bEӤ/W4\st6(9Dkկa^]vUhb^nAFBߧ1hM"ĝ;LDhI7<F C"/NĄ}6k1~B8`;gT"Q,{e&VIL"-W`DKPRETR:J5BH(޺*{J!,Wΐ7T7ZY:,J-Vٻ5W a1݋9c+7gQ { .șܷ;^frs(/O/ːc u)%N(:ըFy;? [ǵxQhv'\!wAle,?R~*U۽dlh~ \jptcb->Cc)yv ?X;ǔ] 5+4[鍴+X7e}J!g܇IS4"\xp6U7|~.ݿ2鋛wY1A G;JQ$OVq:*c!d %G{G꟦Zk?\>X[iz^E?pg鼷`S k!hY楛m@ Wmh qg!M- ;k m<%⫢`.l.~AG喥~E%}g9?åEVfQksE2~*KQQ'}FFm*5e'!+\ ڵB4瑠'/vEh'f^Ǭ1晴1-ul }zlҀ)2Q~3Cߗb>~UrERC.2P 4 :%DaG9W=D)^^|`xhǨO+{PZЅ:7HI3G޿uc;XLtF),v_n{!:ɱѥ,S~ ][u˿",;QW9s^`},#Ȉܩ bpm EkDdtzSDK_vAw{d* lh*z4!RKĠ0}`c7EZKhހ$4&c "L yUT3C<;}{ >9[a{L+wb; $nȆeVjy{`pXs52st\f{6 (~;Ò eTZtZ+ 2[!dɏ75, lv$RKGw&֗jM0ڢl/F˯Ljd1ig7PPE1mn7tkVU_ɰm L]VB䠕檇ɧ3Or36dbr軧eIF>R SCZUGܡE (˵Se?S+z[8  T ojeاԊ|"soPw{ٞGK$~Qh=ó6$mS0]EEǓIohx;iyު5螾: '!㘚̴*ab/?78 .eKY)}r8 q(a=. .m\{%m@"=ʔVY[HZJ4Au\-Z~óvfIK_ PqblpXZk"vˇ݅UORh22f+{]CO뾥N&<c*@emo%UURow/ $UOn5cڝϰF|P!a'uH3M`M8mVA>l)7 C=d@æot߮Ͻ/z)W#/A ^Ku(<@6["U6*WVD:H>3)P?\I$X|xx.cL?X_2 ~t}Ai8a=HDyET#$ɗ STSꨃ~'B?5^PjyQ ?u(Pn9]rNqLwt.+W4My2Q 7j!Z_$L{t[)^jhYKIW(jVn-W[/ s-6}L1m0?J^^F' UK98:,F=lJn(q4%f˘Bh=i֨Ư/{JKben6E+/ۓFL1M6lRSזa"*}(9a#L#ء>!~`ˡ=C^L5`)c|jcWv!AaQm\* !{ ʼnG\x8"GE pQTV1'ѯ%!'3z'> 44j{=/QZCwHB\@TPC7Ŷ9b\ vv^דPM Pي:v1TFS ru*)c!WJg _6SHgYZ  > 1% ,Safe_OCLSafe_OCL.Errorabledocument.tex7zXZִF! 7]A-MՋhvG"uIBm5bښLEK1*{KB3R cL9% CrXܤ1\"ZU^AZSu\ܯ^{$oA1_ %<:bk f),&eU^QB*'{.WGDS+ZRv/>ˋM~4CKt~e L{"sYaQ7$x}CI\J+ϣޚJ(BN@3$3`A.!>1k`xN<ܚ}PmTǧM#gxn bzd6yJ0l.QyinKM@0qRD&N;hdls"c94h.2 ~w&WJҭۯ5i7677ڄu0q)j ,}%AM跶}݁V?"r0O緗=K~!yD洽?.Mfic>gz"0ul{vo"1P9-A;Ŷ5gtXp='zki_!6f$o\Gu98W &YGwBe( ]1$J%1emԯ!RU5\WP}wal tB phګ\DމVU/pgQ w;CoW!.y;j^=qL,gS2W~g C-YwM!HЉu+4 72[9>nwQNCKosH[3`K-HCONj eFkͶ=p06\-l\|{,J0U{ZiX~`2jԊAfK~(G@+51"p;nTjy3:,7=vǜ+o60Gۡ@&|M7"fib`^MqkT)OIM8v L{'N-#(#"yvMiV# ,=pq{^q&j<]M'@w!atS+5+Mwa7Qck>~tvrV fK:ZGhb/f ߉U%WIk2VU28\ۈnj˙!tٜzjsFNM A!_DN rP)?ˉ*5-o+Wj@RW)D8S[.OẎhC/glݧ:.8|KJ1[t#A!',׶8n2nSӻFB^~mԁLh/gV=K~2:{ m0ߋ02m7|eA&m@"*'YB[3=(ֳ_ EjTJ6aJ fzj|z_]ou ̡O%>nw*]?=rV;\T͹h(*Q4{Ȅf׼UBZpZ;R(nómP3 &g'6c`5e*R"EvfhZxB=8%y#"MfajJq[|{ل;A{}O"E)C$* GXyg'S>v?mh񄗎r ȏt}eNyT{`ͬ}m,J(m44܅r+a,|9aڔQW~"6YL$j։ygFopUܰ0ܿ*߻-QJ=)I&J|C"A%2z`!͟(h.PtdkO\<:} bF3۵hˢo.@Tr$:iAb:;q){Q:> 6e7"3b\PAz&;d/wm 챁o},7`S#d$Ɂ 4^mňf=2xY5x Wr>0"n@Wp<*5=N1qkU_KB7}﷋1j|ȤFGfҽ:_a'mܶ4җ$a3a1+_5[j_ DŽG"'J_Gs F*hX0BtmK|We5ħ! j-XvȳHF҈\LAd mlma׺ৱ]aڱ]tŋ4׃BJ<UKShHl1( c_Ҽ-(GQՁ7Uuٚ[r٤%\2Pwʹ'9\dYt!/fH]K("d])b`W/K!QYpW]ǀ$`Q?;#,B. gJdSEIoS_&F("H*..GW,"'[(ua)4djvw:JHGT¼NS2a$ .!gQHDZ@< iHyÛ 'E &nOm4]}n|r#;ID{8W _"y)Մ~Ѣs.b3CZ!k#A8^ 襄/fygYZ#A|& c<:.yM_HLGέ*[.9VռRjE%V;E-0X@䜮1@hc 65`VQ*9N\5fױZ?4DܳprUg:?~n`D F'I .o >|K[^LN4cP ƢX`Y ׋Xmv-G(+K<~@7\Rhl7VCYb"!$×8 , _GK/7( th{K]Mye-"Ԕx lF!+֭{pll*A@4D6CD]`)tO}F=5Z%"=Z?>5 WP_SyIm;&v/}bo˘wDޖaМ"B q!Y^ðVպƥ7 7fN% 8j@u:0;N;*C@m&9mcz {\Q(0nw`?C z) %%=!/C3/a?o,+P,ٚީMjVbtne/iƁD|i-Rh>#=Ю;?61$ZhcFf^Y6#?.BQV\Tl]T9-xk p*HfϿw!z/Q: s,=7Q<'0!'Iз ܚ%^g`29%Jg_TEãlc> 4 j \ K?zYA iHN Y a~C *zMa8Cw n%}uo9L1R͚3@G0njQRڅ`c* $iCŲU8̔9=:_j*c@Њjɖ< t~p2%Rx 1 dwO )Њ'- l (%?ލPcɊ1ý6Hsّ#:bN6vWtcj^.mxZѥf+Ɋ&Kg7a%{RPZx_ҍ4۪4JKuM.MXDґ}yxؘi'!eEgw)j a"wxHO/56Xd?QݏNDX}63\B$C|#i! mǀI*{XEAFDצQN.NJ$pLRGH4sD;T0Y!h7At8Q>c㣙2iF؆;3ǝ5TrҎ  \q&Dix)I`үHb)N|+H֛P@aÓcvKAR-*Cg6vI ,Oi7 ԏL+Py,]1*/d;RPЏ9^Mǵrr&]xCJ2 jw"Ӛ6C5ݸjvszc DEͣIbqbQBAq H|F-_b I ubq:M$7İ{)~1#"ʲ_*T W@z. 9[rgr>!? ՚/O&8'=Ꙛ,j$VJ{c9%=V%Nl{xJDŽ} S5#?ĪGo0䮏4ޠf\0[b=`ixdJG3U{K0@bg(N'!@`t~A{ɳ2>QW WG3t`8xqxuIHF1O K-I'cE_?|7:̷DD@+/Z?εY ioI׽F,m0,g=ݝP/Ps YEOa .v`a{f%ey;Pos0r@oaQ}[+';-+@P{vK\W4炣7& {DP"ػuT \Mɶ=A,}A3YrҌwy۹1'JQ,z)ymZ>-̥Qq)Z$wn"+̼g4l>>4XN/ /4ki 5{:^2}7ru..2_a xUxZ#7^{i_i2ȏotɶH["t'',k;يxrY9H*T~:ؕX[;KeEK>EJ®շ1w~6;,oC_&mAj0 [\7s b߱[&9HmwnJ?.Ke槍XD|wL61FN獵XŹH {4`ig`ma]kI0o4\|2u(V.owp~iҮ*tA@dxG}a5W?GxÞ + 72{v;}3ܞOas2<[Ÿ.E#Ïg=h4."i.Ti%vmӪJs 0#3%jCs1!OʹeDusE9x2aF:p6h Rq ݄ܘqŨ0 Q]:"'2\Y$BQT`wo=Jmh"B;sl ^.D3"F1~KVjԂ9>lw:/h`8,:ӛ6?L9_{Gm CP,Rxo.BThtSme2C?%$Zȅ=kك%q=0 Rp #zW~KpiAWؼqM K*ٜ2l}A c} xI1-g4lE4Al}9{ZuϑX5™W ]\=!Lq$h3M)s޹莞rH5}Oo 246ldRnD,!] 륗#]^U6`uqv?hv\~I{7 @&D] 6lx.AR|Rc֋V{ޘǖ",rOGk8s`0D`e|$n~e!?+8bteUOHpJW!8:0Z;,IF_[oPyok1k`΅n;H')g{KBLF2ZBGM.H/W:!N֬f/=(MÜ$IjY]@e -q8Q&ꦇq{!HkmJ``㺁M\ ;jW2uJlF`VECnvKA 6=$qo T/oGs; ^T@+!s".;[~,lCoȻH6J%۫&k8gjzgFM#܆> S- q oɖXytr(چD-("t];k=?Դ."U֙ =z7S_5E'P~| (ZjY/;t҈#^g~uWm6 <9.io-+Bfh)<~P=A/62 2 FpBfW#:!4b0̐w7;PAs]KɈ>aX%n(5޹aLpQ'"Ho#F.(P 5)=9=*zwSwjO֙Q!{+Ԁ=o$ҾQM 8c噦…0]y ?K许l_AC+0EkM86 u Š~Z]P-хrZy0 qÈqrMzT?m-@TY31 u vDjO{[Q2%;E3(81GkgzX) s{G I;orB'ej|ҙ]BDe`6_@IŠqu8ݱgYZ7zXZִF! A]ŗXiɟ״o%..(Jm J!>n;Ol6%"rC9hmhv0?D 4W.8+*tdG)Hd/l`] i~@~xzp`MY';b74/Fg%gfٓ4D8W-_b^Dz  k_ViIMQMJGfle;C#,]h; GOdxwc'Ƨcq$ApQEf#Q p#r<ތVSzU5~?MVT&8(+*i2L'BH|oA2J$e &~Vڱvcr4 B HWsB/VD\$P#vHb|1 'N3;ha͡Sz4:a+2<J%;}'AԤm쌥%N¾ 0RF /s>,Z^cdc59ZTнVUFXXE)Os1B 1a`F~#fؤMТZaX?W?)?w=` jȷ4WEP7-IL[+QĐ5f&{K6݆ #Y` J%;.Pls@5isipݙC& pт#iv~ 򥂋<~'{нKGovL;Ǧywݍ*C^M܃͸ ?gƝ3?J1|TFA)DIR*o-1 GUfRx 05@#,(֯lCp5oq ѪzU&A0Ǖ{b]?2\-o[bA+nݯ{*jrσAIF7zN63EF> !% ݝUsX9vdD p [jc4 ΖS' cV# X%W"+d5PB sEZ'0| ;.9KKT"Ä p> ^t#_Q̆CK\byC;޲ *ՙX}sxRu#:Yb2]['b^-,**NM ;;W3F\cgG/n*JN_Ǐ+tSSj<'X?~gPV@6f˾}#}NdV Ζ|cvi\ǃ7Sq &BLApH 9캎5]t ﵦqL<ٙdSWz(p7)t Tٰ/^ AZgܮNh(sd5aJ{ʝnΝ<+Q@-UQπV='1~Cƀ3J^37F^rsuɲOL nse@$kY+KQ aמ̈́FGl'm{ӹm}l[6 N+UQ4R箓 E)N;R6 <-eϵOa@!q53+g ])O' t-ޟN%90܏rAY*_<4,-䳦+/,Hݯ{WV,#NSD"TCŽm)YN](ĚL8B 渣AN%@#4P$#|T 7}sYȇk~2OFň3V=3溢;E4Lk>u`S4}]H}QX6VlD%pSk2KcpXHK}l%7% R:,v HJAjˁ>htYw]sJɣ.b{j \g5yw2;~݉_&0ǮA;-g@\ć[A4rQΨcncI_ʎCm7O2I*;2d9Qbgx:eL7$@%kiD.|H@X|drH4[g? v*ě.vIdvKDx R$h|M+thT"5o9,NZvŷ<uϫ1;*l]V޳= R#Wp'n9ʱXGy1ìj܃qRѤ㙞En-EgC'yB9a/aaGh«`90o}3[FT`6գxH^OӋ̶Z p'|v -d5j&Y# ouw?mC,aEv#/ZC qH,VG7X $sfƦ;Z5be3UҜ6`BHƨ8rc|9m2~|pˋ.Ŧhy#!Xt@? c̒`[cj#b{bPSVcBEO\T㼶gQRq{S2B,z8㵂F!*[|Va[|6(m_} knэ+H紤bd^Ԇ;UyMņ\w4:}p2^0Z|N.0f,oi4Z 1C~\_C%xs,' czmz΀y<12*~Ac#ܙU8[KIHz0#*<q'L q*j >[EBR7hABnm-&N23#byReZ0#lPٙlblqO&LPΑE j]8{:92ФOF au]Or^٦O~˯ѸD~/z/οQdD@88Ntˉ <`&QTH^ f<"9 nS,5Hy^CA&ح{tF "jWc1ٴnxe%9ZN˛\^mzR@RnywÂk(}eIgin ^(V~w_۵q@QSAl|FZ={,͗ƓI6W jy9?<3ybzRZADkٛh+F8xg3m/gM@E^E>Ck'$P1yt2ڰL'M8W!Ȃ4XHZσ87p&n&,D>:o`tf8o' %(ClAxRfaKl.ĥ=Tk { >g})R}lAszD U% =vk2Rb5~ćE񡻦RO(1sŪL@0tޘKf*fSQ P<(zm[t.qO z=-o-D-Ta~]Q2j!6(Ca LRp*]!vzgJ_?dL9Uq .C)֭ʪ 8+gU7(_ Fz:0OMFeCF7jz('_?q " T9-D ~Clx) XIjureu(W<MBq&![JߣrU /m֯9Я|9r$6Sf.2Wp bn r[  jjoܦݦp~ϗe7`ju:!0k%a Omm%Ʃ}OXr5O;]&czE'ulmA(Vr^̇N˥#6ŏTrO(TF7~pN=:! 9X/o O'$Ҁְ5jP@.Z9t>-ᗛ`oFZ?p& n8'J>{3MNQ KjEO:|YeHgIkݍN` 5Bʻ ܢ~ |zLļND] \8nDocyThò(֒0YEO'MN[(qCce>^K6$Tnq:9=ej'1x %4+4&:"uM6WiKO`SKeFj#&(4VY5~cާ,O DSFx\ p b0{V4zlMimJUV泌j,%QՐVq5"RZ}]~$*B]4_5 \sOc9u pˎyMUoŨ;a5(ۿ)8l5'=e~<7asLiMlhC/S(^[;F7Ny0%E]rg"I#g7u&/ 3HN*Ch+W n VX<@˱pz}|E+J,V҄ul )őw:᫈}q3]RK`+*J8?B,#gjr,/̖u҆?͉="'pqĠ!x-d&Wn nBU&gשvRprKRx)-Q-" Dj:T9}F gPق˞v0eiA`&dQgԗ(\Ca~VOɑ` ^5*ʐIE[n yox݋Ύ*W3\p[Zm AAg,1$Y\a; ŵqK[D'ON@RdT˄k3{bvG38nCV ؠ` zkdU)ٝc=G~H`Qʻg`ŨYq{?4eeW87Vw49=lnn̏sz֨Wg>s63o |8^.BpW9I]uxȉ h?,V$ Aޕӹ )*PK>~RplLʑҤTu}`.c/vK\>iکhh7&H=<:UF@e,DQTE< ʸh%)fvw[US2*])2*+/xƯSb:Z5n`iO<5yk#9{N!s#)lv%k\C.8>7B LbւcVo.36D\d LZp^*%x=`WmI ?%PTA|o`l>_׿yFtPM!z3^h;{ۜ#KKQCh@Z/i<]>Ju_%/'fJ /bh_•Ώj5j jq̥}l/Lh߬_ k)OlŒa<?,1~|3Gv!e+b8䁉,-0Pخ$NO8ίUV6\zvSM aic_~QM Lz~̩Xice^_ j \b:l֋]<#˛~fq`fۧ 滋ƜS-?r$}O,t=TJҕyjROnhW?l 㲳RřVwX7 y\1\0 q@VsejPK9%}[ Ay-{.&saf"yc9K O>_ݮK"G>7G [r6F*=tgs: qPY.VrkF_)g 1ӣ2?hO`9v˃xT 1~/u Wx v!vsb iD"E=#،T`8ͣBy\-3c<%qʿYuR'IDcTf,:.a@X S^" ͍ ﻸ6BT>vFESU.,/B lkPURx]݉%/)n1 MrJ#SW,)\q`  :k¼~lp6oG^,8M_aZ4p%acT~!*n䇏ߠM!B79!5]K3[u RJ91w$g~ksabGwb.:\<2F1: 7G)H/t|82;@Mj%v2J%O=E؎WOodf%M3.% ]-iA]S Tpf>nkg*L2 ~X^QL}(5q>GcU N{_*<N2?1@=*M{rW/7Z&W@}+|{o(LVEĻ9i; (t'PPVΝJ!0hd-Κ+mvDa Gm &* ~@ .~nON2W%ϑF|qvawֺ+k_"&g+BVQEQx_qk1w(T׵F -l`BommcI$۟mI1ɤR,I $P>0]jkW䜶} :6aoؕ}HkWzmf ;n$*&o̯SA%!Ta;3-lx ξs=2s~t ƨu-5sujBu5Jw7o@tus͓eY4GA:avKT+kݼKw`K0xރ/=)Qݫ~Q.  Kǫ!lHaBx.CL"{m]{bPlѧ\7&,3sFM8 D4*!@dD"ַd v01aH[,' fG% DK<x{*H7$$|!f`B:ݎwAŷ[lsW* .2 x!v8Q~vWR?@Iĕ䠊\ӵ[XMu#-,$d +`&W4}k~k{(Ct;_ GzV\8pD <C0U'nd c|(Pb]|к(ylymǝMap7D7cȦ`vO b|w~E' PΆatd/Ṷ(-Ei D;p_;1KNj]Ѹ7/+a\!OX,0T0%kTuDaB#2_tb|d \xq)b8⠔W{'bTa 213Ї3jiH/m򨮳wj-dӫu)O4ZV9Ǯ=OGI@)pTCP|B.n>jvѩwsHqցBGΜq†XNBcfNp!Gx cYY/Yu,9 }.P$$o}`J3mk"zsPWǃF  \3 EޯpW<6*KOgM괗ܷ]ڭL$ ^)\)xرK7T1t3rkh!~%DQ !<ܤQ _s*ssxͱ?b:x@|'IlZn;3L. h`ifF63kX:O8gFnasgC\jREVM3S@297zc79#L2C8qYMƅ,$ 9yq\Ӄvj7_W=5!0NG1`N{2WyaY F ht_ >61& ΈNWظK<4G"ؕ3Ѽ1n^T;*SB 'g}YGN-@{tCUQD%P0 s0 "d{I~.j {Zix ]-ܝ35a}NNt4sG܊P1b7eƔ|xS :ZF^3K>*EPDdO+V>Ɵ ϤCz+suZiigƲ) XPqW-GX+px?"ʷ؝gb;JV+"İr4Oo EEXJIg(ۃ~d8l݄'ݿOZ˦&̏9 ,/=YuOQjbcl4&DRĨ%c1'$v/s#(W-?ڐgh=S]ljr"1}RJf=4 \c݋iަ f7]aZq. KgYZ24c2b0df96868fee993f5059893f842437e65f48c3d726d89c950dda47a94cd6c59e05975f526e9c 4182a48763908451de8961309829ff336f2a9af6 1cfcafd7304d5a5e1a18a6227905b0aeb379bad3