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  ^zL ] Safe_OCL:threads=4elapsed=185.222cpu=358.380gc=19.3727zXZִF! Q]ŗXiɟ  Q u=&514({m,Y$dK[-?@kur>#qJQ56\g$-nGosU QZЏɅ5st0̎,"Ż;VX55Fq*3(sCl\ \,ikBiBLgZdNSa IGe+VS#shV59^\; 3ʼnF@/6' j?(q#ܶ,Dr,UĐPړZD.sdľBxu4`J'\yrM05`Hm14'օ@pO#cTkzCFoE#Pn颳Kwl^nqBDmX-:e`vDNor\.z 3%U<4W4AJ<]ZMsNv~iL$@iM$$k@URXeSaNdq.~=\?/s& 7x kl!F{HJ-m sK{ N.{Ϊa"w,L&r!![v܋I[Zm|b΢{̶ hJq"w>3>dv:<> Xɸ@)CO !:+8   Safe_OCLm7% 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    9l  I-3%Safe_OCLSafe_OCL.OCL_Syntaxdocument.tex 3?%Safe_OCLSafe_OCL.OCL_Object_Modeldocument.tex ,1%Safe_OCLSafe_OCL.Errorabledocument.tex 9K%Safe_OCLSafe_OCL.Transitive_Closure_Extdocument.tex -3%Safe_OCLSafe_OCL.OCL_Typingdocument.tex1;%Safe_OCLSafe_OCL.Finite_Map_Extdocument.tex()%Safe_OCLSafe_OCL.Tupledocument.tex,1%Safe_OCLSafe_OCL.OCL_Typesdocument.tex2=%Safe_OCLSafe_OCL.OCL_Basic_Typesdocument.tex4A%Safe_OCLSafe_OCL.OCL_Normalizationdocument.tex/7%Safe_OCLSafe_OCL.OCL_Examplesdocument.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&%gYZL4?/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  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@[<^1ujdΨŊ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?ZgYZ  =% $م *Z7 ُiA@ƃ&x0!8(N@]SkHcd_d`EAaN P܇@_ p.XJn5p\ϩqʏsU 4󌇞,9ǹMx_ S noe ?j%uQ6{䥫80i2Ka>$ \`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' 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 BxЃ*: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ոBkn 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 _6SHgYZxf q$G VnQ,+Q vrO)yIe[ʣK>W48xv;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#6#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   s K% |Safe_OCLSafe_OCL.Transitive_Closure_Extdocument.tex7zXZִF! u]A-MՋhvG"uIBm5r s 4E7*3\nvj\[ ,;Sl^GS>!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   3% 4Safe_OCLSafe_OCL.OCL_Syntaxdocument.tex7zXZִF! ]A-MՋhvG"uIBm5li}Qӂ.~M{{!hB3܃a݈ODFn7h!IVCNQuD)(w":[;@ZvvtBd#iWΗ6_ 5)*;Q :"&CV5 _IUKNH!҉mՖa@X4}L9p1L{ȏص5-طcp@zXKZ:HEUQ~X Pk!EFǂ1MՔh+-NO 8GsN^M}|[Nmr y bŪ)/ң_;W%`!9wkdd$ ʈRx>GwBe( ]1$J%1emԯ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 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 &Y5fױ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& {{cf_FAULRVI;r \TRk:luńFGLN^:9ž/=Q ^Is) ޲ GX8-l[B%WNe(>,K/k%GU*GY.h,FEI o»!n!gJFE3zƎT7bSέ(>@oCR`)T+3vIm,񗡄$n%28ӯ/t+΢Ite84H;'z)7Qwe07/v볎@sJ׼x,bJZP).n\zr8 qv:7{GEl%P?{$k>}%\@).u?b?W(nd:)kq]$\u^80HFLg#JDn/I|T3L ى[GUx Cj(*AhYB<n;Ol6"trdbK#lH{[7FdOkǾe![007ǻg @**aWPxͤV$m9H PA} " XإRhډccWpOzE˞,XGQMwȝ'6٣ ^ԸT t} -pv-=Kg 2VK0 )%MdఅA67O0_J#l :Twh-볱gYZ7zXZִF! 78]]ŗXi%BzOu#,byFJ5HE{51 iVyO!-.%D<0<,7!w"H܃V)V.NW_ːv8w9G8kЪ01 o!o#^LǛbXWt16æ^l衎=k  nbQAAoJE2k_\릸cN7k>zEuL.\VL$r~;ʏЍ/v*#I /7w4{?K?mxG]aNH#okY-K;fTcD x tѪCEmozTG):4 ǡk9y:zↅ]`qX%E~.vx{۷thbT ,+uAL-prm;,p֚" zkzO1ӝq+DzocDD j=Y%ݥOx Q񙳋!ux7wX\vXD[cRuN`wCZ~Q/:ɻL^ŵ^CPfر\/aMVU."c f"4c24e-\ݵla=|OMᨴ735,SNL-{Le@yxoS/ژ"9 {AmE }e^vSD U M–@$-&GO@^nLeVh]ކ Ridg>͝'ݡ_M"RVoA:!!/ ٳU>q7ВQ|>_4F\%[!4VQ8y8+܋9\[үheQy̥0#ΫɡlZYU†Q=d[ae!)#4YTel'Qm^oW5=Il{'(I`ÝƊ$- ;U)a g-`*Hf1F߃6MAR]5z y^katLLeF|t(~_<5ȑQ2xp K "X߽ϖ :fZw>cܲ("i [fQ6Q)o} y\!LaGyf\1vWR15W"ԊۀSڏrPRrW iC0, [ID_ Y(jQW9SҊ1,(MO,z$Fe?o`@E/oCDɬ%cKe*(/3 !>jc1owK<ۈ4 Bz PappWoO}Z"3ghqMi/ WYAIPy*hN+Z善{{pI?(izNFKѩy4mIqXz3aгSAUe˥15ab R1ǥ|D=Y"bg R&72rjκM uPWqd1\O>UO3Vr2K_[4LXFUty: [\` ̑aIZ3/i>B--2\C9ѮqY-P=4֪w !y}8 8ph>(C^#[l`Ad"Liy&Oy ,#oC'*DH #[V"c|u\0iS[*8QvG2FjE=r\/r iFs]7=6zWXҮsW.QMvc, kPpASˋ,>)l*bi U;Nw(IÏ ou-cIL89MĸͲg-rQ vkoc~$'؆dsͰ P)2n9gȞa4aw8X";93o{3DU> g>`sa個:KYR0Î3 ,%6' zI2< qT>Gmd摜::C\KG@5I!,bYW\HjHN%-{UmsJ%k8m fZ5tXNw9A늬tViCf̍HEyBX{]_DDoL9#>TTڟ-}٨XY( 'djZ %{ӠqR_֥B|"n1FD_.Pm &I0OMYSx~z-"c{UʧFv<;[/*}",z`0tk$6 tPf"z^'ٞCISj)h2JYg!߁I1Θ')[A +!Hv?@(D)sDP{L DRa>S;OឫUSj,@\ؗ0?b@rW5xzAH`MqtLFdWZ۬ѭs}x,hГ%hQV܌9&*x2St;4WS':$-l\_mY . #ȣuO#D^2ݝ h=f+ m>.cȸ1xſt / +fSlҋy 40m7>U d=όi.1:rU'X/k|S $0D;ouUsumB dFW3lZ j*wUbp2*v{J(Au[c2>X^l> i?TY@qOb 76vȡHm=uL∋o@dD/9!gv8vsvs2Gfצv;:3(+A~<|'_@6aªh~9{)>nD/PC?pVG"pɵ=5ېhUu 0% x֢PI sWfZ0{QL fWɯr'318 fW/4,3UZat77~f*H1~K5ʌIσ"F=rAՋᗳ9$_z؁7ͪ%6bʓ2njJ6` y{:Dzi9>[ݣ1+h]{qqt71'ϻ(wzx);o]3Խ#ڸ1IJt)e5_w{#0i}|XN]R{jFH3*5)9PCE8Y3ϯNT*Lċ[e$Om/N A+!`e0>&/ePph@Rfx)ϡf ̹;`+KDR\Ec2jA'G+r*Ү s2 kCBzwI8]x4^xܮ:=/bPF~vL%$oY^YyaHwah &?} Amnuz|l`m숻ß\_+2+Rh GQ3JDyxvH/YۣGGsǡZ[ɥcjW{7l=)xR˟l}xf0jlArNÚsU~ |I{Hc? m+L` K{_q晪pA&`FC+=ҼG2Q8͇ `1Vv x,HJ{*:%ԅe/Z,nM9)K`Ϩ绘ʅ #I1jZ[7;JǟX4]#}\ԒG[pNxß{'ÑIA9N0KR rZ*bL1(Tٌ(WpLQ`=ʶ!yxxQMcG+٧jkM2ܚ/Ot 2m"pFT-CC骜IJ~m4s2=\'ĄF9pە_N&$ %+ V\N/u<)C(RY B>bÌIpsf6 GD-{a8!>$V"/sdX4/lQΊd]i}%T[>ޙH}tQdy_%s1VAtewrw,h.7] FA9:czN'e8yLV"᫉*CEO z(mUV)_W~.P/S4Tv$[kt٣g{ad _$i5Eh(!iQЗV[BbWr;7yٯ48,+:rdQ*&sQO=^VS,F"Ë|TANCs; 9Ub~W( |^2Jϙ®QgP Q_dMg)'G֫Γ5NZh=޼PAN^T䅩rV9&uW|ho].&Ɖ<|'goF//>@! ]?"{qjnௗՍTiGd-YN0LO$Әtث)TldJ6#Y z1hg(y>V_<ɘ!CNGhP;6bO-Ϛ궟(3: RԢDw>F9_ᶒraoz7Nx& C!14Q_%{z]&:>s>ٶ,/99a8 ttNG:`h^|wm.'B]l xV.V}䫠EU.ޞwR-XUsrX4mB §{"%Ӝ/Xd|qy:/`X"~3Q%8}Z7s 1Xܭ@Nc/Q찇"@u01Ɠr\c2N7h-<)$'6Sݧ,gh܈[yiB#p{Ɇ\ 짵U@vյOiZ`ǥm&d+؆]t/4ǒG<?Mח?8Bl*sK4b J;Æ KgL>r^K"zFPH?",9v)Vwǽ$>?!3f.v%8Z6 m@sxZt5}o c봖N`SȕWpi !"WC[g= \MSxw{tQz .FKMoוb\s^ʆ?~XBD>Vgep0v>8M6&7<rw;sskkD G  7I0B2J=-?dU}01(1Ll') 9 =>Md I2ph|dٱ^Ƃe񦪧oַ.m:Gؘ GHz3NJ3058EL&sgwe:7&CD0 ky}t֦1;{k>+I "/S8.&65?Wh n] %0q0Gn?[w <|9$')4OZ^O%E=hݼ_0mUǢ,ų"z`',ފ 31V1xBo7U*Ksz36 !u[\t߽iV?*SVT\W-M_aNo>4JbS J EC@)eݖJt$-Ng]sb`]2?KMoZ^F);d#vYbN( L7[ekʹ-9COGH`myiӔR4fCk !d2ȫU?) Y>ڥ!ȡ#gۅ>HF32BM(ѫa_΄Ô!!]1&aIPBakO[y],zd ܁c5eW 5QyU܃E7ϺЛM}:Q, wC6N\,FEwbb˞upr(6ϑ<  U_e'Dz˯{0ãH; Ym6 Vh1eXv+ns~gDeK7."9sJ Wޮ̩w0|B\.Q՞WI 6s*ŷyF/gerh8zOFT߂YM-$ЍlˆTmL$]bI3I gA3Okt\XD1?]NS &'S.3fQY2JD[n`#YBK[h3QM\}u G}{8f)g%9cm4['P6 L@KP280Cc9~Ks$:Umng3 ,r @>R P+wCU{R,'N1Ր\y{l='Y ,f7:ijPVZؗi"AYu,C3^Y135oL^OuD=$J|*\O%7]Ne s3ǜˢWKB1k; 4>+RձD"&L`k;P?tz($WRͩԁ﫿"A tqK }P<E ^`id^ج<9@#jNbhaP/tmFNε[Pwn$'q}?&Rob[|*Gw4Ko4hgvI8\-P3i֠SLߘ@G/`eấ}7p ^ķ{u Lj'ǧڛU+ܪm/ R7/'=J5(aO971m/gp1K(1iSwGrDN[KYM('VI2f9UpMQ*DŽfqx*/ a] iU9z0 ^XL+(XEPBR˲7-9gg_VleI{~צ&oqkM14,$Ι#~J`dCDkTU7ua}\<&5;̢ " "F`*yDp /*Z`հ5>&-!W=֯o(*Xyspe-|I)k E?py8u/Mt*?t฾I="jxm[,x:G”ukF˰.⚭x#Yc*dk*8-?b|d4Z7LOF1D9^cg(W.%r]}13<).7<'pՇtx4#P7Rj?Ƌc~P & 9i!u-hloDywWg;vITu;TwHE'^ia0r.q[*@oW ҍCfl>^'ſ: Ri,M2t512kY~d[x3-0*b__;ZKɏΩbאv;9_o E[6*ڀ/ FEUIಖxO`Hi 4䅻OmM5C D[ ceQ֗kE i ?sJkЪQ_+vcuO wbN"Y@g⿱f&hT>UcGSCB;8I#)-vy/]itBI]͕(WٗR)zKtP޴3yxr_Nhrs͛?bw﫸fA;;گvq;gcIJң&un.?#Zi(kL )l0d\`R$w.-ʑRF296ku9Wڤ#m0?qq5"@0#'u*Y#1N_:svOhVy42MF{;K;Om$Z=챗XZA[#tctej(g}f:6$R=酝RIѝY[Ys4!w%?)q싍$*^~rJ, S k8 K3"u@?Mgr˴Cֆ/ZDݡm`9/:[f0-̙%\Fӷo3 M3:|Y_uYs'($7Z"H%IKeXrhcmrhf.p`ݶ8/ȿmشy2c~/^÷a#,n@yq}.-fo^Q$B_YXڠբuehH;ӼbT'`Ɲ bT&F+Peb:٩J I2w2]C6!rSyHnw4;g0PZ$x&y,a}ER5GIK|w9&f(B=q4o[?q?>sHD\c 8]㋚ٷ+i~lUCHűT@C)UY("spaZC.s5(X͊KБ@z5RdZL,Źc7BO%p`> 2%l$L櫀^31:2>k& ŒCF JN> *z-goZ[mo Ibjy>-WApfBAgYZ3469df3c98d971b73026746494b20f5d42a4c28196398ab8ee2f74c06c97a344c3a66be619380746 2b79a626e16e84e310d8fbaa9a7b13b173d5ae49 fbf84b3a7065bc63dafd29bc1f88aef2ad5c8b93