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 7 4Ll ]/ WHATandWHERE_Security:threads=2elapsed=39.133cpu=74.832gc=2.772factor=1.917zXZִF! ,]ŗXf1-/6vR[]IJ!@W&abZWdTUNZ`[KPu~-4ѭǻ|4TCAGVAt+TR]o7SX2\5AXS8I3(}Kyb'S՟ܘG ćUoIY=[]S,1U.^T.mZ4Hޚ|%@%"8Q b@ho9HA3 !x9*q/\*ƛ/-^e ~ AqvX0k̾YF1bI,@YF=;O]gWOQ.O_jkL>` NH`TlrQ{=,VsDr0*K bOU"/ϴdV!#={l:E_8?rNBٙ:z=a&zhÈU֏9fQX))]/-ZUkzkS@fjz*}TqU5p%ȅo!,L/b/)l>*K:3׭ b|!g^ZHBgH'aG&u C ~T"U*`-f=g@qy7^& ²=+pA܃Qc*n]CeG0M87g[z zM"k%?` t[X7>?W7$I'_T=ROL*N}75e%mNRQ! zsFP"xqQC@=`:G8y8u; 5"Q],r9W?}$KO,.Z' P@tؑMojRܡztj;*wV2g:cS}cVh>eG^Kܵz'r]+*B6Zf`J/d/B)S> xWfWCкuh.'u ʕp j_!}os]pH0H˱    D p ^# ;75%WHATandWHERE_SecurityStrong_Security.Exprdocument.tex <77%WHATandWHERE_SecurityStrong_Security.Typesdocument.tex E7I%WHATandWHERE_SecurityStrong_Security.Domain_exampledocument.tex H7O%WHATandWHERE_SecurityWHATandWHERE_Security.Type_Systemdocument.texO7]%WHATandWHERE_SecurityWHATandWHERE_Security.WHATWHERE_Securitydocument.texL7W%WHATandWHERE_SecurityWHATandWHERE_Security.Up_To_Techniquedocument.texQ7a%WHATandWHERE_SecurityWHATandWHERE_Security.Language_Compositiondocument.texA7A%WHATandWHERE_SecurityWHATandWHERE_Security.MWLsdocument.texY7q%WHATandWHERE_SecurityWHATandWHERE_Security.WHATWHERE_Secure_Skip_Assigndocument.texP7_%WHATandWHERE_SecurityWHATandWHERE_Security.Type_System_exampledocument.texP7a% WHATandWHERE_SecurityWHATandWHERE_Security.Parallel_Compositiondocument.tex?|vmqb%ı[It@ڊ>mTIڝ//Xd͠, ZqrvOn߆ &Wpsf*`!ƾWf0ɷdzI_t#㛦^wWA໑k#`F^_Fbi [DܭTU(Kck V-16Z#Ⱥ RZܿ?z%;( cm,_kIHU:`X ?15RF-=}-Ua%ɫr%{R N=8T'M`QI_1ZȘ*W4`X6_d\.'e-`*Y&ӻqrnebo(5e3p=e5WV[Tʀ3Qe JuSAlwYYCl:'[CяKD8&"<%NִJ 7F&?Q:L#(n'm&ЉoKHQsU+*va초 G^<6aXy7WzF]M Gi)TzT;JpNTr.G ܎^ysdÒE4I4 MEqCz'˘&$цp3^̻<&ю`r g5P#oZ+?218eI|e2(LXǁkY[V`NYA8|IVҷ)nHLvg2'o┫|"opQ]sg"1;Qo R2KCa~}.E*F;l=MxL ՛@Y{0bP^qM Gl(2$*]جvFC[}sPZ"Gi&ᦶbkO89&XE?a:XY|ąЇP/b]^`uU2Ci7"R'얺4f„K͡ 3m[h۔NFk+2=FfA{GA| jS\&N!u7/XOQk.iuJ'  kZvN" mD>*ǢS8!'Q"?km#PfdMuN853`cԣ9)b?C?6:-H"("Ip7W1c*R9.4G-uΙC羓c=tJXsƔ8eydn1f`qXQb)uLENdޝya?zQ/afX/'!Ԕ| d"Ԫe5/cfACb^֡ZT9h~uȥ^#U9ݭ% ͈͌b?8`L9_N*xL+^{Ȉ% VA±rk;;jZa9Y ^IA&Y_,z`n al N>TyPQrfA_ĢeB`)TiQR"Tn>bqCc>؃|.$GJ0lVqn=ArCmu]z?mo횄14nHx`V9;X= X+g iۤωI0 $>*`11d LY~-Cpe!@E%hڇx|yNU5 ƓÎ)*ďLT.` 7|/y;0wPj1״2ZhY}԰NTH;r9ij{gQ"oo7҃nnU e昆,3\\PM4 ga*G:!+Ea%g 0()Ck_Tw*,3aazII5GZ$ޮ\?>&_Ucu[ vAsV|8]\? *:QZ#w%ZĨ%\j\|)#v҇sS[d 6َ,vy'i5>kSYD n>]}Щa#[( @}ѥBp^A;wlޓԹʢ 5\ FѻF\ C ۣ)YFmo(,L\kƃ *쯟Ǹg.ۇLggDhGDEI޹x^߹Bʵ"l"x;UX_6<)X[JUlKXP_5SBֹNeadZA`l[UX(q Jq!)8ٙ i  8w%wp3LG#$jfmuTENZ3kܩh;@FD =~E,Jlgec- 7) xm^} 9R>iՔLr6|ߨG k!|ЮWUٺwduhtM1w{dտZ|/~,iη3}Kʔ,1$"p8GԶ;`(=FMXstQ֖]\,*0џRWbHeOQ~^~{ϺFܼ* O/_!>3+!:#cW\G*u5t-\G b-homy  9oq>%V6ϔ}>bLފso[[Ҙq Lw!,w4#J">B9'UU>N{6/ cGAMY`'Wdt:9l_ZСu`7vO0Q:KWnҐ$JH!oy֬ ‰dz{ⱋER;2Y|̌^-%RF6yxޤ: +dűyGjǂ?ũ a-v%=˟G̴+8.ݨtD/#lTؔV0emzkA7މ%+dDG$ ĎIāCBeyLқC58d2K-a ]~sG"P~mFj3*riݿV7JTJ*3!-@HqWC j5-tt8DkpF0kL2t?x9pI#t@X ZSMu|Ψ@9堉T!^m8߯`& FӻP|)n$F)V5!2۪ pEE%g0I){?{uf95,_[qNaܪvYD=/}[ՀIy.0M(G@e6^Uu߮Koh|.~(ls7;c$Gstxߕƺi6 Fr +qh":4ջf:]UOGD,5`f~!U)g:s#;JܢޗXuC|k*3Kr=%C%L2v=)j(LgYZ}~@iqmPk:9)Hw+լ&&?2N^Cb;.~S9@d)T=. 41؍ ghFe>tl:B" 6W햪oS)Zұp'.ܧxtΩ*Qm BѰf0'gJϭ/K]޹28@[O\Ӯ^& ρ}4+:E.^4syuHl.B,2q EH;C wz}OL]:OF&4tY]|._"}J]dSWnF<} QХ 9VU=9#P,mzFDg L۸b0c+vRPjlO0jhځ#R0D낇2,duH>6psZ6ٜx%"qeیsCYl'&Om5^m#<^19K: ,fUV̖tnku8\/)HGbzX&?a+68)D43$ѓl3Ml*M_ł;X5zn):L=~q[D DIcAx0lWrsoO'&$&!l[HsdS䴺y'Hx[#X s 3 N ޘ*䎺 kh1):v7O3m}*R/L|6 Ot\}T@ U֑V^5>sf+E*L~.<<},_ uD4@RoRVM#:D 9|3-L#8 W"|e%_AG-vK=}ZcTRBmDE!9ˆA܀ALzs8ӐܽjG$ 7 B1t zPC-BF1b%4\W-h^4rkR8wK<"wR+H@¶Kǻ"R! %% &|F9 ԏq_ܢ>Um_pˋ"~hKg{sG3`hp&3Y"[[qLm7Ԕp&^6 ."knܾm@iJCbn zn$&|rnf 7C*`}Զ"[&R_1m m8$wm ~\ "]T]dCo.Qj/c=yZN::!Tml\QJgԿJ,8tr&6TPʪ#k h6?B}a[ h5bAه"d, E'+z ŷ*+$mGF⥀8uk5et܌^{CYD*Y0#wʽi&#~6 .+ӃisNR.SKDžFQNkQM# E7\I@XR / [C.z0l"e{fŜ[!݂BSR00cdp8\eFE1_!y9K6I5@MՍwm+jB"9ßVR +-v%l‘/Ucd6詐:)Ϫ _.P. fMLVDp,Xה}TWґFCtS}VQBX(r0J ɏ.W(#<6bE;oc:xfK]&ɒDJWY%4f$s?ǫsЈ6vt()8E)E 'ttB73!7 (h}%I[c%ndH’>2 zV пw*O%EK+YPsP>©H1 ȕM!x; 5vz-#4V'ƒLV0L7| J H//^eSLQ9Xw/!d|w?WkR@0杅rD:CDqLnjXstF=! h8^.]hoMkַr 9Ym dKYF]5 CϐUPgKTpUjU|^b}{6Ɓ*)m Va TÂsϹ\>] tOU1;u{^g1SX 0i,/ΆI)C03 ;|׼RsH;E{{L?rg"fBzkӏW&l q2v}CzA tl|i/i+̭7 |V- z lF~qBS2d&}_4AJ׵ [kR(^]QB=x"fie<ΚYq>ʮ[ 0LwH)嶓Jf-1$Q;~I9*dܮ#xN4KŲh8[.rVR I˔5>~ܕ׳P(ߛ5~*Dh۴Efx]p[n+_#Q#GgYZ  c { c 7_% WHATandWHERE_SecurityWHATandWHERE_Security.Type_System_exampledocument.tex7zXZִF! y]A-MՋhvG"uIBm5u{ǶlΑWەXlgN5DP*q/\*ƛ/-^e ~ AqvX0k̾YF1bI,@YF=;O]gWOQ.O_jkL>` NH`TlrQ{=,VsDr0*K bOU"/ϴdV!#={l:E_8?rNBٙ:z=a&zhÈU֏9fQX))]/-ZUkzkS@fjz*}TqU5p%ȅo!,L/b/)l>*K:3׭ b|!g^ZHBgH'aG&u C ~T"U*`-f=g@qy7^& ²=+pA܃Qc*n]CeG0M87g[z zM"k%?` t[X7>?W7$I'_T=ROL*N}75e%mNRQ! zsFP"xqQC@=`:G8y8u; 5"Q],r9W?}$KO,.Z' P@tؑMojRܡztj;*wV2g:cS}cVh>eG^Kܵz'r]+*B6Zf`J/d/B)S> xWfWCкuh.'u ʕp j_!}os]pH0H˱ \[c#mSPQLQ]rff:_CDs̋ܯ53G\.ԏ5 QKB }0 \Gˤ[)2)V&*,͎4l'xKw@~$UѵAџkiob=־f 7!OJR'y}  Jtjy=i +sd~Ӽ?],"(hy^=, 3nZc甬e-Gݷ[kxX+xmzPb/hѻ\ik skL|"s8 }Ѥ 7D]Juf$:#\^<0<ǦaŶ˦Ock#CBO"85Yk2r iĬ'gh3,Ҧ$`ޘ-gXJ`w "HD`d!$|wB(U'A17pL&ՃCﯗ!<1HMwH9ظ*U!M,:Ld,(-M_k ot}+vw7a}4sUsYq`D"ִ~GߴF#D. \T_m7!&^eu?GJPWSnߏU]?dſMJ vD[c-^e1hlWHkCC:gf4B50V'_c"*@ „흃|o dM?Ԑr'HLP'1&^A˻JNGs'%G_}FI}404|]:I}fb1M   x$ZG&hpiIb0J\IPGh\$_~b=ML<9cxsI>l2}DŽP܍ڲ!f@`ɂR'u\ZDB'~v>Lxd_UIn9"˨fԶMZOS ;i@oZwyAQ!(ektցN*f d,Kl4l g̙x%i'Gָw_(J<]6}Fh4"5X}q8m HI@!'npp*hU E^U{ܹ1naZJ;>S?!CCDž] iv}ŵ5 &^A1O͵ԾB>ȢSVʴ}  =Z7wx3H#,;7|w]+=@ʅPX {6`S\*./dKD6=\^٨QϹ sni_'nI~vbH-JI|C]G(_Fgl0N% miL!R {4꒰y+M ܸ[>I ꊤaH\O~{֯VEEt Abo7*PTUV]-' 墺y+8;7^v#\$ʉLڢ~Q"[3 T(ȫ4rؔr*i|o"FD^Ƅ ǑO'5ay?=5uXɋS-v3rr[ wD1?I=<ʩ_N&GgE;|aGIZoI$A+Twnc*V*8bSvF9{]յc Q@X"ߥkXe8ltcSOg"[c}ϼDҽe<]J&_6yűIEd`SWK;J:ox_(E1`.1_6B& Cmpb4?-uUxFLSK5`7_8NaTT.u.d}ź~?ձB+ɕDB[9@-,,} SOaTvшL0^%5ƺ[!92Hxt=f 0[7ޞ SA)ZT"TՉ+o?XJ>.]CGSΊ DSn&ZB3(c+G㪞_%Pc` 6iJ.:^t8?cz?&y%Y(!sWm#`|l6^k7>h֕ۙ(`\nl#Ow3HUFx{l|c!UP,plрzod'o/vۅG %_lsCkYL3m tK#N䠱~qr):F@XSzɵ_?0Trwg11Xޘ^4G@[v֐Yr w܎,Ru)_| sY<@*U[>~{t@G2)w10j0lE'Kƽr0ghnV`N48ub#4zM=t w(Cȝl,Û[#> U&݆/v)ܓ!:'lk@UnaeuXG-H0=t&juMT`0maRLX] ed޶Gd9)ʝrLSJyÜ!ˋJfߩ8s0;iٱ jBڠTRL)蓨2v0 yZ̜gEJo9,חe a$Q 5Q2aE G2'(V``զ\|7|y?uxM,i,I _aptVVٮmw$np{.[+Mtt^Lva`8L37+3`kˌ(ENBAU`,ϪӌoEɈ7NYbQQƗg(~J>** FQ.7RB%ajkD3֛nk{<(/o:XvdW'P wY)[Țr@I~ET=3*8p=;L HOR]1}Ղ^v8 e4K绢l]ޡhҊUb`MFccN *lħQu ׹Ԯ*ݐK[srq?T%" 0xnP1Ěk{8OI[ph}.q- 9{HSaH>j/?3-͵7M,R!XPO̹ Eg1]WOmͺPȘ6tG\]*< ^hn†A,zaLs7PeQ. ~6KcylzR"ԏNyWFm A0d[Yc-{ErH E^<\]OD_x8A =k.;D(R3ȧ\ + jJ{7Kꅸ:ؚZjlrcma N$Pf" mP]nL0kU`=C* gpTeam90M-ONXO] ;=WL/Xbp]Ԯ#䧬ɱ9P~^vFLдUZh;{)/uJ&iAFV~S졅1½? h̳s*e0ym^,19uX& &g1/GYvq$ Mt酙oD |W/uHpek[^y,҉cv73QgDBhN4FtYDŒ,p[U H &=(U<)^ygɘ{~*n2زe9Zqu0KG{5U_Wo%bqc" }~{7.Lkv&I@PU=GCIgYZ `o;R$8+S84gF-wSxJdL;C;;{V%Z3V/4aٙtXxM>4MϊǙF8_y0t5 kzoR;mpӣ:z+xw-؉mbq-WgQ}4 {luH&lop_cr C(j6JqЭ{]U9ՊC83PHh$"LTWcxtgo2bb~ٵo=qٳ&~|Azp4q$y#?|@`52HRBK!:gLE,#qE4U]œ/LR /yFŘ*r;1F{? jnbo/3<_^l6S$[p,xx.B xSa)p] -kL@$ȮH?f΃,&LXIq_s NWDk3H'3ʯ$걩3eǶ. @uw4F9v+%%# u'g/b|njcϒtHua$(bc‹WbN}%"~ uq;V5Ap$syl2qۘi1BO\mF\?Q9IOdt^Sп&3SzDvsyMP[M𖶩 EZq0OX(urDǠ~]cØ N 92 _BB>~f.[5ɕ;mksChK=mhl8=_1-6Vn;i #m{SyeT{=5/$#H;jvȔXfe]n4sH{WZ|K6H^q}ԏ?-ee^塨 Ѕ7Q jXsCp%ٺ:t]`ldW% :k`TT81`;~>(qPV{BOOKхøѳ^Kb?B1S_^ZYGKx3P%BL`\< qT|jȰ`Np坑&%-ෆMˉd~A4askHmF(oK[~bEި-u$|7O a8p4%G#62#VV''[_ 3G-bnT`)EދrOfppL} T"D&{3B &Axr$_KzO6LY9N.Q>Ҡx :W[ Kߏùd=k处&1VBt"Q   Ԯُ69, .(2zQPHqfZmڋtpxaVn cXɨFܬoe b?B*Gۤ`2WhՅdr?X34ǜѐBcf\T %yNWߙڕ9_g8iSK`ð{ntG/A!1~ M3ŝgn; /L8RL_$w9(k])*pWԂcAERoc:`y0>aV%%'gO"f_\v)9d-n=^Ok̒WiF0MCN1hL1!pOh${OEnݍPZ8zGNPUa3 _(Oddp2d!Bh)엉+:??3MqItpזq1#싾<ɐꭨF&yE01?;cqX`E?D%fPlf_>3Mb|{gۖNaV %7leknS`nUҢt "s\:+%=3SnZaZAm+p0Ŕd3fkpꫯ)ue1ESm~R[-S5[2"T1, CpoPr+p@rSmZ-<4<['DA?Ih\.e֢yh&o&$tz{ZػP|:322*ìlܝ#&J9l2qTUvڝFnwjuby F1Ϟ39CnaZZ-KHH ٰ-MӞog\ð; [$tMS䈄d7S 1"-UI nϡ=%JT_.ń% :SA{Ű![X`#fO $?!(yb˴1=YmyI%;T艾މ4Qy.bZ( ), Ԑ?ɬ@xʢ< G;9JY3Vw!Q)؃Ȟ%YKXšAH3ykX`^[V 6=7т,[~Gy-͎~F E(/_tBͥk1U4o@d "eKnHP _Wܐe7|^N&+CAp{b?hsu<86UL) 6Vf;ؔpɁUcL5E%inbP"I"1k h )Ẃ'2Wk6,pJ2r؀x?O E6ݚALDHbiوccSbS^ M\xR4PH^+56ZEX27$Hp rQ /$av{cK:r>C_NU:ޤv%Ўos“Lw^LТꮾ997{|>`'~GAHZtgoX\?H:3ơiZEtSPT7EκL#1Hj v~i6G >23K\NnieYE ;@VT<LƅB=zç>+A x-M7]l@qBܞ3m6MF #ż57]Xb{EIz@~GF;j-0 :tܬBSc(Rrĝgr݂VBj,#ב >Og@N"SFĢX) eD^[ykbk#y4!X+[%jDvY8C*׳յA+eMe59RJxh-ӓJhϒ=ID{|6{Įh׳?^)®¤ï2U.J ]`kW{bS\r1 W`9::hA]-ĥc#10ClԎHP :`/~Dr'MӒ5nzUf͔2u4-@T\9Z這'،6P} { ~6NJmtln~TA2Ľ' o!}ZoW"WBǑ4Vȳ0C#MݽfSiǛc<ɮ]ڨ>m/Zגڭ tWsr @J^xߔ'\>(?E`+@]IR6v$T**uĵƱV)7ٶOv~Aㄥ:D;Fԫbš_/'eMIV0~6kmm'/Aq~`l sZu\-)du.h♓koŭS~o)\zﰸ(-6b# ܥdEz4'ت߼ZS%Jɘ| N:w) ֬} Uz9 |6ڞn4+Ua85#)p+"nZ`|Օ0u}\Aq( hw[5(ί)*- gcq١߉?I, Ɍeʼnr;-e0 Z[3ҖgT]/,0snrNwco"ǰ-.-t W_+&[5-sT?N^OäY]KU|TK^Lp (S$] UU}{wR [X7z@Ϟ &PޮmM]N)vL`L8x5RTNC: [cŐ; WtFu# m\`mNQz*|"#Zb~~"[߹返X#7n5,R  m斜f)@o]sn=v^Y9׉>E7~ߴIAaՑK0SYېUKnT-ϦR~%܉`8zhTթUXteޓY9)|\^Μ9,v)7;NdZ -h]YV\ќp_i\"{ORjETMaw7ۛ<#{58 Dy~( pٲ 6%9=(+-K6 ]mEXTבBI߽- ̏'VZtz"$2Z+s5-0̗fQ^*_%*Fb绫jo${ KәH~Pr4q{mB㽦y!>%*=[ONIuF S?h/D̯ѕ~w Lb+6$OH3cE2m3zNRZX9þ]y|' 3!lշ)23 ݮtq+;ԡ/> 4FK#۝%4Ar[VnU鈆+~Ӛ,Z;Al(.`|Q/ $Nӷ:5i hJ7va3Uvw0 Q;;7]H"UHOLޮqBg*6f7j'#M] *Җиkt=Ez )[i Դ h }t==~k+Qu$Gp>ϑhI]{;ɍq\=Jx MXy 5jmthF/;%M.A~C#{K3XktȃHd8lzYKLz9/S2%O,F.qh{ȇQ1?~mS5>!o~;屼U/񢔅~(c ZcVj-MtE{|W"< u$\% ʽ޹~ P ̂SɈ5ȝ:p3቉|DׄX8wbtwS8:Y2$HsJʞ9֨՘e #)r>KTi(>$n,9Гk]p-gqW> *8ᣱ=ZdHO$޽C`[-,y2G< `9he;n $zss3E8݇SPȜak}J@ؓ~]/y0QG$3,)GITc V IBg۳% ӈS'SY>i>~HzD .?f_ b4Dspm˳c= o~hO)9U"9E9]J7`0=qJ4r$6Ts TՍ[y2H N܌1+YP|AZ֝u:K-Ѯ:%k P;R?˕<1ʶ{I\}2 )$EV {GR3Gaomx;!%Q4OD"ˮH UmfW2DoF>\8t: ern]ʺ4K80gDyc!`D"ي0N>Q;Lr<%Q8[?ȂwIQ{C8BhӣCl-v➘>_ Vg1يvyѢM8Ѡ.Zۃ iEV&oE&y|>tws2?YE^d).Ͳf_ҍcMo! oJn‘HZۿ $GB_k2)IDRB,զhz;MI45D)Ηe(RIМ 8~bp-&.ׅk2IC~T"aW..N p-yxG|EF1k>4G'?gŭfϔ3si#|Mo5&})l޲dQ,)#|_fCiJ𬘀%9w榋=bwԾlOJ#<~Sgx9J?*rO$d|wsrÎb+/sTW77ޗV@d?pc7 ƚE*(ԒRQ冉#JA?7VyPF^u &>A]98:zepq_~LۋQV]6h]~oK__\sXͦ"5&AXԟ% ҋ[h\c74noi ďOs[: ΙmWMTXq |YJd`fDOUE> 9?w;Wt\HO?:9I#-\r/AelfuZl5D4v3Yڱ3'NkւMkGĕtF^̏h\}`*J.+G Mʌ'a6Jan^I\Ui8R Nm }*̓IF/Fh(̒mYߎcݕi_Bp,\?JIo>?>tĖ:hAfImgyEXYa|y^w@ K$?0 %_V]=yx0aP]~3P&F#}0ҽ+8o3*JÓ!Ǽ.`,Z3Td>w zS3uLi2˗eܝgնP-NO֑og vKjqF110{ޛߏibJ~Q8jWc% 9Xő02H! _b˗@T2C9Yk3vc?ZEDJtS@!5u;(T~p+E>H<-/E$%Qp ~Sf*ubNA,d hkg`h'wN&SF\}G0 _?泧Pʵc/#[{N9]o<% KkխCx_:c,\pZ ;tG"l ͧK/5fӮ֞d{NOrAQ~ȨCG**uoQ)ꁞjnϖp^ lz_WM>uP Mj>M1X_ [L7p۫=u:}~T?<1 V#uz5>w.&VSD lD ~mFQ)2#_*^$?V4 2Tv/.ԮOvi7sqp(C̱@ntBoU4k$Y%w%*s &h0Nzl-*m;3f.rGZEs[EPXҡ^ tUܖ͈G3=n,lj%&^z05'1bTKJ^z֮p>fi*"&<Nf(,lF󰑳MLJG0qAQ ~qdVPpj.RPTh=8 p6׿BBR5=G$Ӛv΀-/^3u SLj-n`O6duPn|lA-N/0fN* ,t 9Lԏ(&P\5i)sX*@ Fm58i*t?dt9GcШ?H)+J)eMXiio~ @Ije2keeaHݗ%FB%F%Z14jEFF)b< 0=Q󠶕M6npΛ\C{ -mH oRT҈yYڧ6>*wTob(J+UwY䐯!)?åZ>nVӷ)E+У%|(r4b^GA2p{G `Tr*;rvFي@hZ`T̓21ï9N~P]?i =wu>/LxNϫ׉ؖ;fFtj9y7yEy@QT]ZSwquljၑj2.m73j2W8F_'@pLׇ7Kw5!6X9Gf:f@CZ2ӎmkrQdREU`L f#̎%;<#] %1CRB=EMZm$ TָWTX8MnᄿZʞP]$]P*qevdaNBMĭ6*}mҼ+ A @@=7W% lWHATandWHERE_SecurityWHATandWHERE_Security.Up_To_Techniquedocument.tex7zXZִF! 0]A-MՋhvG"uIBm5:`'FMԮtMCY\SbGt<1-CВJ'8Ga'.5tI!!Rm/Rݽǃ!j!-֝j952G/'Ҭw8ؒ|rKNHv;5`K LP>.4Kf¡w{Eԫvï-IX@jFQn%Q䴃Ӯ[ hB؂ \(,W,s~>hԮ?N=mP ITYЌ;@r%Kdpm ږq(8 QECIJe'XGaCb`ʙu#iwh:zl芻 Ѝ#̩!NOÍ-z-؝gaGgQ1u[adM?vɰ4lGU5De\UU7a= 7Љ{&T-uӪ`'6,Ůn@8||SŪªٞH(|4Ϲ{GRܸWNm׬޼=Pc@[WQqӁ,!?!# NZ#B> RuqHS衕S/,|nr\Pp&J\ ;"+Wya#-)&4ߛj@}%Z CԞ^kEe!4ƢCPUnPJS 4A6/r&ӧ< XgT(n ހbċ IP&NZp9Q}s8l)4]@pTٕpH /p)x̡/3(}U8}dڭD8b[7Qo{?|ؙ)`!#A-&]Qϸh ÕǕaѻl ugvՌ<d0RE~&EF}-ϗ=%-f `ϺϚQx'? L'2pga;JQ"P6BWTfS*$&mJTowEW9p+" oOh<'͟xCv,=RbqRNtBŰ1XL@)_KD8ZGƐRyh,* ܯ+Aa{iw5))_398y{F]=Nv+(K96T@ ;; ht6= v]>AINWxs !ÇHBjTU充ta;4TdQN BӍlIq9*Gd& ~>0~A?bGn4_9iAp%I7@izޑ@xD"1B/2|bGv঍P"t]Z]aӫ/Z݆a/1[*?:"kDtIeu7{ ~ʔns%SC #@mnc1 ~͗n6}Y׭c6 j<v:Z tnbZr*ܯb9t=/Z}3 N%!_w.ݗFT:wDU'ii(5/;k| BîSDTV}u}66Vv WUr8:GnC|SV;8ᝒn ܧS\pSK} B,bj['#ogtR9:Ofo%̿kQ.LeB(K}Z>yIGе2Rѹ\4uÍH׃f=^.J/\Jl_g-4:_gKuݽb~sAHq }7.4sRr=*`co1-6z㬊?ł~ + Ʈb fD*;A)lT;NhG]U\o_tI-O0!~'{9yOt *4=D;/'!FId$ꮦz U#ާbgYZ 7]% WHATandWHERE_SecurityWHATandWHERE_Security.WHATWHERE_Securitydocument.tex7zXZִF! lF ]A-MՋhvG"uIBm5˹EMQm87 .4 B )ժ\21gL)C4፶}a~DRPq)զxpT.$b%6!|zlER4/Mʇ6kqH9ӻ f>!Wʞ“ڬ VI5X{ȏj2ifW`}>*EUfT=s ȹc7p!7zlbb3M-WlB&Y v^pY8ާܥjFhnLF@rf0d:z`$8^<먓n\7Br9PAv&ooA1ZݒZ8"IOf{zS{̈́!VM涜~ZX -jk"d,-)_cJ z;L&b9?5q9՛Y:iu0Qkq_<.8luj# *r}MBgYϽr-!c<؁S6KѸ+8:w GY$3p:.IFŽE$ݿH*.ԀeMƜ8mAd.-<ey`WueF9K@?s6hH P֗1k"ٱtDΤ)~fJ%jU t78`4O*<؞T(U0 o\!k 5vO3hSuM VFn&<=YYhD/YpYQqϡ{ZYNNJb'\uJoR1&U-@Q|!쐡0O gڍȯA 3jSasz^fanymCo' ήX[AAy&?0 ւ0j@D/m| '66U/&Bq"Xʾk>,<̷o.sܘ'&L 8E F /Txڮp#"nK]S!i?FAl H=lCsHo uTB@ctUdKZ"0r Ԯ~o!I>5P2DICMWU}cO vb47PtC`bl27NАʀso"Zrm:2 4Ow\̹JB8m!F,3D)V@.5vy} B?>mol|#ODyk*)U\sDn9Jia𒋜isOw So)Pf'ʚmE--c2ּZ.˛ μ**׀Y"Q[c =}%{c*Uh5k20K,.\"h }Uf}+Q1hFj [n\D$ǙD;ƯV&/>?\״eqOu\bU *ޯ9"&ptR }D%}![Ua-Ie8LFex"̳=}+ob ) /=B;[}?:n ј-sTVuxvז/1lg3qzj& ^ ?ӹ \憡cv;7 ݲWW%[)kɫ1Ul'pBT1lr7>F-rYq>Yg#);@ĝ.H%/{wp[FK+?H`w3f\J|G!Y" RWf7`=و@7,Uq2*.e@TU QQtn8rBAV#( ̣}v}ܖ]gJ M]8iQϺ4d\s>[떾L8 W X຺^ϸv,q\wn&bBXY+͸~ƱgYZ ^ 7I% Řb Ӈ-J [ZזO[?ĸh> $ۅ.tK 6V/qka,t2^hh eE\]QbDSLm[N3L߿G]Yj5t>q,˲Bg@9{LA s#9^\_;yj`C3AU?q9d9?#'ĺ5 RlmpoOW)ok1ӱ#i4xp  ^9h+Sr^Nd qu|]`s:B|)k_TQaKuTa?)I::"4:ҁ&m|sYڈvjn)մ=iqeKM95B<~3TN1j'spE `# 2Nvb`)8w/o Ѭ[&cm&y+qW -waȸ߁PYiH[MS0!Ah?UMTɜW@|B4hr/^!P^`g`h`7Vf0ۆ!T|GȆJyŝ*g;ߡuR0g&mFiᇪ8XO?1 |o,Ib=hXՠ  BYd=:X ^Z1j`wҶL[Уc-r~6nDKDȩ뜯OHO&[#1)Ļ gYZa7O% Gj"5cQ`AW' - c\x$פ*?QvaTo+id-Wlf)`̦L 4cGe.Ugm?4mբ.oxK}A0u֪*^s"}π$[2o_;6}z51*qjg^>n7)T%u_Y԰m[GIA=O\K[F-6p)^H$4S@Z?ɟ;VowoH΍u~9jp5Ti%\>t@ B&8MvѰNve$#e‘seɪZϢ7=Dl-DW8J$Џ쪽2?Mڢ8ffwk _0t).`jǁx i T_5aWo0d-=J }.1A]y=>>{S7G!^/6^~E'ݣ2ԽVoFdo%))98_J)6ivfuFUkEhVn$dֱt/wOQS oXkm;K C6rvjoiyáZNzKV~%#DFH|E .[RW~xZ0 r; w߿r@)~`;&sRQ'2U:BJqnIŇ]OZ.ߑ /Q }*f9}Y$C\+c0r#HƲX5X w'ۿz Pe?_6rs#S(Q(e" _s;SdL~ljQPeBs֛P7܃9d.QdgSpyP@_psƄtWW3{w "I- f o*/ݴA.|aʨ7 U sɟ?zOyKJmK`QuoXi6hdȽQףh8r Qԙ 8۹y/Cxgj=<P r;[}ѫ$|F{#Q+q]74Zz(/^eĊӾ x,}󛅄Va Sp0UUuC s_C UgtUa{hmx|W)6xu~~ 4O2AZ)1x7σP(&ٜUFKs f'J{yu誉ypCZtЊ0V1R"~Y,۝sC t oY4#f70L_TyO;^rf8?3pea2׋i>,D%ǠS& !M`@ۄrJtI -^j FJS#KVJnAŎ%1)$ɱ=V.&l B(i!6nMkt#f0BX[nڛ:KX/7xv[+tZjUEbW NA$hO>W%JRh9njiObX;"_0Cqulз./h 7) 6[4\C9P@fGR 8ӎd 6 #ؗ<7ִ\n^J#T(\Qn!i(sՙ!v _41tl\]`AR[N]0t}\0SJ2[&B fVS+Lj?1[ͮz4kWz8>r勦 W<`E's U2tƹ ^g[N+5@Ls,W.-9cً 릭^MGƥϖKTG%TF.a;R1SvNv U5{Z* t+a$8])')$Tr_gNy\],1,oH9L,|(-"_t6VeD&n[FXi-XR* Oɵǹ!BFZzЏʎ7O[Ÿ;3E-1lX[Z*U 4NDCHj*w9@}\AڇfLiCa1!OxČ3!>!rΜW_2?cqmv ݹR`\3G o=pngx`[BM MxK2EnL|js[T;Gm3_Y+8Qc|k@˖C&pi`!˞;WSI7^@@CB+~ζ( p=Sx41k6g ؞UJigPifnjgecf9>^|33C4H1U~qt{,.Q:JƓv|tTt\Y6 7MQ*IcЅja=gu@*{aL̷:XJ\.fD䄊Ck':H3°OXf)2 0A&c03dӡIj\eJZ5x@(=MgE>exDlv>URwݙ|N`zP{+9wń a 5Q׿ #?@Gk P)\V؎O\D) CzOt> Mvj"CV*Go7 ``]<`2W^38վ{FPFEߕb &նC@ƣDouKTDAdΦw}ŋ)-lj00:uL,ID&ބ/fXgU\?FfKE4Au*vN.B:'0 l4EGx|`ٰʞw ИjPM)2rv쥻eJD  #r ?3lz+fQCs={?x~Go$rA@Wd1*:r,ʂWX]O%W(~EPɧ@mGKZmv1wM*CGH.=di FlJ/ $eG eW8f +q$+VCJX5 Q{#\Dgl)` ;d)ۡP\pjʒIhRFrMՖtD%=^EM-!vc>UN3s( ggޱgYZJЌiUE} ]5L#I^ r l57Ӧtpo CHC¾KU83iD9`bθPR8[C7v%@+|'˜J?:ɋg/=^"ʐ R>fr*d4937)u=1W_oJ~JcWULj>e;.6 HшIH]1QA%:@qŘ?u~;BJDŽH;)=y 2;O*5ٟiWKzQvɠ @<eYإK9=!P*g٘,e}MUt\8w/>D2)u]Uzd0?4% l{ϻ `S6@a[2h8\0vq Y$C gYZ7zXZִF! ]ŗXiɟWڱIY\u-Iv*#qm0I߰kώ[Tg8?&ߌO'p4|{8v@§EN0r~طpy!!hݾFIcS3((kr?(^>͌gYZ7zXZִF! J ]ŗXi%; n:.W"|mtIq9N]*}#ƴx t⹌¦`3M׽Tݡ [)RZ7=&(WڠvW_rRpM:TZCY| )ulx[Hx``%8k]Ir<2e]' ݲ x9ġqgh) O8| q:3txB@$;6 2bp^:G ;`S/Ъb}|ƎFs!g.!vź4 'A1"xLG}ȚDzI$)owGzTyjXTs@(>ǔH]M, \JG~焲M81Hmў v@ ~a1҂5cΌ(O%kbYg;@B:՛c`3[xػ`M Sl^ JG4޲5%BQiEL(uhdEUརphHjqaUHV+Y1B2i{@v(GHz;A:W?mR6J<ĕˑR#*$:GɡQWonIrS^aWm};zC}m}@{U:;f ɞF ͊Es>rv/ZtF<Sr@y~9O W~}WsU& ~oro`+4l$0Srk̍Ok=Y5DqD0v<,eN~%!t ūH-wL \y+dc~]C ߢ ׇrTREzXp?A`a U4DCA37MCC'0l6^(WJϬ>Ra3f8z5o0*khH', AiIT۾| -81 1% Ze5sp!K_讟L׌Unj;]wsVi0}0q_y[ W!@$h w_A\7D}G\uj Tq69$L!l(S(=:6o{MK.ػ>CNkutKgə}gm@VRr_orLͽ"4FD*E]v{砳Au(EfMk҄}uTx=_¤9_1Ċ%:A-I]뱱ɟ'M吾f86_8oZj[<+ynR Fu<by {jY3R[Q?tFX[؛ĝ!?S\)HU>1LCFȿMTHY%  !@ӡqa~Z%v gScFX}Յ!-ӟc3[UBo,EN D'R9N6ݹ;*F:^MgLA@(Po>BNj3֯Iłi>p}DZ6-fd&  Q ?0}`v*+ahW{ٖk6D챛b[dCթ 2V3GT-M))Dr#&6R<<1w&AK#I'2N7opw i4$$@L3ϋ*Te8.jm< \J$üG| &aT3bay^իa⡏)p)$w7wj>A~_Ɨ>vY7 4"DJ~;}ub4AE40|*nXkS^B3- du2&y>qFB-_ > e'5 a[Bxߌ| _I%>c՝v&ᩪ-{b?hB x|$>,}rx*fJL3MpQ\I5dr0t'$44 ̖af{䮻δCf{X%1e;ݳW)Q/ Ti"Q]nEꃖg+>~ANZ*,csr k9"GQܳ lA( >Tzg6?Z4h|T" :| u*1bELq[]* z5ְR$MQ0Wp9)˜isgYZ6f7eac5782b826eeeb837b7fc99ecfa5183c9abc0a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122