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  td,T ]/]UPF:threads=4elapsed=22.483cpu=72.508gc=2.6647zXZִF! Kj]ŗXiɟO}M:; AuJ@IPX!L&i3[l+y׮%4aDu3̤cT=H$j9[~ a)8'#@՛Cٳ+%Z]q*Oz/Ùw ^A,M\Px.ԅi5 f\ 2滖n$Ѽ ])A8!yn̲7$0,P*x&<ԩPm)gZN)0?^/ 1ƤG*gN5ApR߉"("m8*fIV.AB>]n>m{'= "p,=1N [gZU YeRpO9Q{H+qvOԫYb҄ĉWg`!pYtfLa Q8b . LWa+qgyCc "8r;/E{۝hHB;PZ>"dS Ol0~Gfs$FZ+ 'Z]k&.6=jJ/ije? x<&|T7[{S' j–U%O7K_2{GK>F(vC8-IT:wbL`+:j q( sqC #"Qe#  UPF#% TUPFUPF.Servicedocument.tex7zXZִF! ]A-MՋhvG"uIBm5ȢE>D[/,Ixum1` ڎ3 TDeL.uA1+PλS\g5/sX)B@ n鵌[[ߊ<>lS03 B)1+2|^mq;<6aqj(.ܜ5^X$fx vfhӗQň.l|=ˆX)j5&q[e@1q|Ajg06+I̡Iap6"a .O@`@vo`7)2X rD5DF / =}g,oi ӇD&/JYav ܍i 3oіY?jIXnٚsdw6c yRQ+fD~ucaxnweR)Q͌"ċrT+Q糙|AK q"JJCV>od5 d @=`y7cEШz.`'ic;3F¸[ڰ MNVIb]Wx_&ϻG$̒IB 4֒K$a 8w터u5Y"- 3 K&kk#Q*w۟!*ta[&a6ۻLFPu窂qp-HW+_Ϝ|xL KfOTu_gMXePQ-p±] _73<2bY+ <^34@gmd8S1ؙOp%Lt0E]xRʴD~wժO;Dʾg˰|2l˗`UDLV5ޕk8xrժm`-{p @TŌC Q"FeCzS='I#֫Qlk }Ỗ/+n3@#X+ޚQ1+ $nK%M`=5&Ίe ucx'[ⵜ>߃L/+DQ5tASѓR;iWGP7~䎠Dry;uț :^ (v_^ҙTpu^G}PZ@m AM]q,> Gl"D!fX/fv1oy ,/lr#&dn;Xި(Emhx)4P v=ȂGjeſ܏u׼o'?$\Ls;2uƩ4y-S5Slw5W0b)y2f;"=Mkun":$~ 1#}cl~bBn=T;4g&0?𚿪ЏboӈvON?&&q|Rg'QgɄK8alvoe^i{, [)^@lgOcFTڳuI:W(ͥ[2Uڈ`Jw,•G =ǧ&8[T ;[oCI%X ?麅 nO'0)v}@RVi\$٢G]]j}d$cfɢK Hjëqm^o;+旪ew}>kς&(&|'z7B^rJ0"tfIHuZiov.2^8, K5{cP-}nGsMy-*L8ϳ-M1ƵKu_W%<#R*) t6pQNHlET=iK%.]d&oy`$4}iWv@,p]/~)g?FdnCwXU,M?wWyJ:]uz"%*!@V@Be(}T8W&S|Z+@F$)Hm|sŽz&{pvF"w q o #DkL6V9M(bwU00*-+ +e0?n{}?)=G(p% Hv00`$c$JW.1ˀ5vc⑶&3I3Y/?{4GredQ5rYЪǞaf v/\|nb0buC;, *JZ}&YQڜ^*<x oK f9UBUD0Ov +Tp'5p^_XTx[R,y'c |jl&^ŵ;5c@*=t3KQ'Z5@_?zM- Q b䊝z2>LeNħa6bGS[D1*P)S Xyn\ADw+TAwZnԴlc`2=~R2Hmr.,ڄAps:oЙ*eKj"ZQrC_ V?[ߛW|.VІP&&]()bu;Rp$"6ѱ -?cv5}_ER_gDq)R|` qΏQШJ#.j>gmubB`%˻8X IB,=P7˼!%ʞIYa-ƥ5U2+Sz|vf+Lr?IIRh[(&VOjI\x'8$F %+fU1h]ϸ>Ll\'3̳tr\cnк`Bn⌼"yJ*zb匈8\i]ܻƖEnNGnM2MA!BH'Dfҳ{\8q́=CX)9+i1%MWC>%h<ƉXN}Nf)>Ycͷ0'Èm_ r1#r|cNiс& "{Y'm-5@=рgg˚{_.ׅ'INJ|pFEDEq́]9k29ziO͛VF.I#}ܥ@!6y 'o?O|1`/5qͪfLWaބry5)mUt ݷqGh 'LQG꽠Khel փm0CyݾĠ0_i SD ?OE}~/ 1r-gW╄^*s >t<˵*ɿHoePjDqJ[7P6;đ#ˬ.:aO@?aױH$P=Creٌ M<]fG 7P!``CkA0*ö㟓՗R=>R3"oGj#XNŃT%z+y`z0gz(mozj&6>M+cf:eI&CO7,2q%QG]7Y,bL4ULW$jԭ`+?T_ܓ`w..>7&x=}b\Zr/񥠉 59Εj\w6b}]~rJγE49ҿuw!ŁGʷDDͤC)1DwD?ZnlGj"?DSg@9E4ln&)֪ם%>ҝύ$[02yqRjotk[s' <<8˜A h׽;4kvRakV`&m9j)z/ Jv|C^?J!Npfj ]HܶCﺓ]JqEq(ߨɇ~ѻ17^G* (B8mtfG|a`7fD5{>f$>8jD6>f`,ޥoeHCXt<->{mGVkLhab{) ` .֠`o+G0tKJ 5ɕ-eFxąovɔsɭkvU{G|y_]⽇VF;{b/^]'^wVRbC)ڎ "}GCrAj͊pAy}7ׄ?#>r#@#|Ej?ipuM@0U"5+ 9cyqHs>ù fU=Ew;p~#8fֵ UKe5Y5FggsL>c/zya //jQM"73I7r2yP6Dlm꤁-7.gYZ{}q<^,A_mi \d#vܕv[TCOיB4yӱȉZ0q8)8 "5z;'NWPK@ץH\;^Zfy,U%?+N"Jd#x]Byk8EsL}OMCBO뜺kuiZ%sOwFp'pj ̚urU%fW~\{͖\_Y9Vz|Ol)-\;G;`Jee]^ۙ{C +72i-W)L?,*R@=)&ww1䝜xA} 9L A:sxJHSH} Ѝ~?et!`_bcK!>T:FrCԼ"MV=)juҟbb9=:w.21zlq^sc̎9@2Zc!YG4+dsGP8bLv_e.$xdjzoU^p$iKzռBM7?{v ]p. .2E&e~Z&QeDai]L]qէZB*4TP@ >;5#rqޛLν1G^O8*B]XW8SA6 z%f0rWx.| ߀yJn;e*ن*{XPTZ/& :fCs;К7Oat J|~!Lu h-P =GwfTXZqz۝݉C`1nPV18l5sDRʱ4]g!vcHTy٪t`3 EB&s]noO R+t:IZ_FUTpJ'xt`iL%Ng3 92Vx@L'c=V~=B<)>87ˣh6HY+jƇ?6p|NyA[N.W!T_K % A<%#MI,l`.3c18Os[)Q7D uC 't0DO1]=evpa8>l-De]ңJKN5PQ+pQ0BgOc\(-̼`z7{MaZ<)SQ;Ik=vMI #W1Njr"ZYUAͫ6RRXA wZ{ 7߷ې0+S TXE`!IɈEkawh3ڄS4lɯ*_R?G6PS1ȥ,r]hfrrE3 8#uRJAJ TlwU&{5X6s.`Ac'#H[s)C+fJR6aY$lO:|QS@I?mO)Tq3̭ mQAVj.`:,K97xTr_.Ӷ 96jjߝ0u9=Pd]E#[>bc%Hhq}PnJ@[/ OD@V%%W_pE\̒@AHq}-ɤ&_5B-ɚ_~{tW*˖!{f1d GE2`٨g1@HZ~P3~:?F-0 Vçb$1U'ߦVב1{=d?>`يxt\` F9o怜i4|rdd;?|7I;=$0os(M/=ca4WyXi|WHHPkz ??Jʁ,zEsyt`ߊg+iDm*2ۤJ>H[_?xHF5pF]VрMQVR(\gmY`1%`Md(^V7,bAd6m!qe@)6?|>]>Y~3oqK* 2'ׁrYEq^>Z/S^O؎B g&4iGG(Ƞypb?Hz>;Ù Hͽq!G.OʻgxuJjQ@dpg~A/woܶO0 2;=`d'20IŤt?؞DلL2]x- (sQ5."7O1ncG 4Ph-:9 }^oǰ]5lTRZ*eEh`%@vanʜP>#AĮX0`ް͍դejTf=fuKncЃc{wzzA3GFhe4d؋jEg*i;F+-({||jbay\[8p Ow1h4$=/)LiF6Z DIV $?u<3I%g|h3&tlxp].u_a~Wt7{ xȨD\({ڭ|2kuk:njW5ey|DMb&BJ@ta=:PkoD[/,Ixum1` ڎ3 TDeL.uA1+PλS\g5/sX)B@ n鵌[[ߊ<>lS03 B)1+2|^mq;<6aqj(.ܜ5^X$fx vfhӗQň.l|=ˆX)j5&q[e@1q|Ajg06+I̡Iap6"a .O@`@vo`7)2X rD5DF / =}g,oi ӇD&/JYav ܍i 3oіY?jIXnٚsdw6c yRQ+fD~ucaxnweR)Q͌"ċrT+Q糙|AK q"JJCV>od5 d @=`y7cEШz.`'ic;3F¸[ڰ MNVIb]Wx_&ϻG$̒IB 4֒K$a 8w터u5Y"- 3 K&kk#Q*w۟!*ta[&a6ۻLFPu窂qp-HW+_Ϝ|xL KfOTu_gMXePQ-p±] _73<2bY+ <^34@gmd8S1ؙOp%Lt0E]xRʴD~wժO;Dʾg˰|2l˗`UDLV5ޕk8xrժm`-{p @TŌC Q"FeCzS='I#֫Qlk }Ỗ/+n3@#X+ޚQ1+ $nK%M`=5&Ίe ucx'[ⵜ>߃L/+DQ5tASѓR;iWGP7~䎠Dry;uț :^ (v_^ҙTpu^G}PZ@m AM]q,> Gl"D!fX/fv1oy ,/lr#&dn;Xި(Emhx)4P v=ȂGjeſ܏u׼o'?$\Ls;2uƩ4y-S5Slw5W0b)y2f;"=Mkun":$~ 1#}cl~bBn=T;4g&0?𚿪ЏboӈvON?&&q|Rg'QgɄK8alvoe^i{, [)^@lgOcFTڳuI:W(ͥ[2Uڈ`Jw,•G =ǧ&8[T ;[oCI%X ?麅 nO'0)v}@RVi\$٢G]]j}d$cfɢK Hjëqm^o;+旪ew}>kς&~'qrY%|R(w #$m'"lއS}=u >o]1 ?+)>UylEͥ!ԥ2y=M z[ D}v 뤱Z;9L3^g4rMdP M>Yiʢ*r[FZ4 r9ʓZ.ZB(UIf3SaVqtm&W`S$2UcYp1 \VPѭXoAB(ы)t+`28n\Y-x%aS~>,4VzN:ߍ݅TZWwz̹4;9W/i䣽PKAvŕܰ?L}3`|Sjp23+lčƛ:!(?. g|b0B#eg{S#兔d r Qi=YPp/v@EN0khYe @͸Ie l8*?D@hg7"Gddp1)KZA|@nxŏ0}Jl"rR V6$ThPI>$u'/0{غ" #֛ove$YiҐf+ v^alj3~sSIˉQD6^SNPя%_78mƌF/!V0%שnhTJ 5s) פ򸱋'"FF8X~&"to4bʞO_ctVL{`:i4ǥpHmeC|t0{.y s_!Mi"{_pw-BYV/PwRѢP(}lݶ"ռnu:и}wE-v`a*cK1ߎfRO^i;ȹ:8"\H@m*hL_:m{v5ɮ.Yi;PԶe\d {b\WjW;Bx^snk*PT$Fc%B_ݮ r+a-'޳2ŏ9*`͵_,v;NĴhQQ^b of>DdK5r9ʢWJSxQo?r`4ڂ?Hc{9}w1$u!D;Xe'}QAU^#DGHljO~P#| vpqHK2 e_k۳#*ٳ8quo EeRG4zl\2 "_C,rW> q~?(&{oXVPaDǶP $#i`qZȩl-2\i&GFR <]D"Hb N {b'OXd&(cfC-OɑKIJ9ᗕbœd.Hd6u2!ůe0y`!|O "|š)*zHkFe>f?~C9L7d)FFc^q5.,P~ A&7)2,U\6NYu}ZZU4I_߾>OxއKVxvaç]t=!N/S_LϮEMH^`OSqRU?`N bU=g0LeݴDP R]B_-`|6i-X盇*b@DNte\jֶ+пՙ •8ǿ`(SRA0n-j0GQR#P*$}O) .F,?$ )cZF=a7q4Œ\o% x\B=dGv،#'!z6e%zx g@>5=}BLk'$c%;4e%?F3M'qyx-2ҽxxՈ^m F'?OT4-GͫH 7, zK(2e]<% -ٗVSmlj'g8bT+bᓢNz+#0߫ϛ$GkG~tk@Bn UU s69t<KRyu"P٢?IQb5݄ P󮦔84ߓ}bv4.9W'B-wB^dC8vcmƜ9tZj)1}Fw9)" P5pfc' C y ko[tb7T11\ÿkM5`#؊nޯC1&!ORM1b7 5F'Wؤ[x-'z=tZ v$8J$Wl<ƞ fv@Ŀn%Ä )fsJOMLAͻ5}5ɐAvHZR^^hiyĬdF#ٟS! Y2uCE?5uf%,ufՋ_UJ:]"C!vٱ>;'э>K($Z;Π%:qk4dtSej}48Z)ċ "]C%*;"='8͇޺_Bo2 s47ѵ F|`6wf3Jf`mȓlZRX!@I~f-A|lѓE:XԵ㛳9bӱH5ԜN;+漃R5bv}/Y| ,[xGy%@]b>D3UM.!% 4u|$*Y>{ud&K 6׸oEni9 fS+yã?|- e2SgK!!&mpio[K:̱AMrS܆7B[P\Ju~"^5cܫ` .|=MJLRFntOY M94%ku gHv6O%jnyچmԝ0-o01 4 1)ճ0!\?6NPp_4 FBY(@s/@x=>.gh(s썁p@~CB'_C6)>iS]>0)y^Z >͛͠/8qQK7vٸ5GS|Ơ_\:sKN}2^֒>4K+PDU >&9M5=<nI}k-ZBUY{{U͝k9/+1 9c(DTk5go  !_Fuh8D$v'`ŝP t|HL__5SŪ~TjpK~dlKtFeA6xV9:D:莳y0z3j~p5eλEZas ͷF;+o>"eӍ6b}6)nt^"WGqbӎ0g]2iEk&C0P_+`M6dU[ h*fUz`s.m_e=u/RdtcrQa>R e >J?|E@')0pjw!v48 1$旹I/A 5F=Z6WO7c wB8F u'sg!(wJSpl[ގJa% mvϏc2Wtx5લV{b*=}k$婑IN[,LFZ_ͳ!4)Qh\BV>*cXV@\s\neQez Jʺh9׽SXE*θg{r+m"3_Tm} .xvEC84v7[Q-}jtbjo+WS:LtÂލIqMAN.ty!F1 ]X#U՛Z yeEx p F["I@I 1^hb?vؑ!F5zW2YZ*#Q_ M%Q5@XplywK ,T᭫/q3c瞱U&͏c 0&87ܝ@۵Nr†3` < 7Eo4ں !:cu:?a^AT!(Xine]F"M8:sgYZ}B~M##U /S(bPa6qP)(/gl+q05 Zdp2oW3O!;uukcs!D KB>J A]Gߡēբ#HN  &a]F%aB9! i>fl$43ˌpԜ?,dd(^;~Ӻl͓rtOծ^~aɣ>+KZ1rn3͸?g۞#fƬ[Z-ճJov],=H:9 $b c֕O`&sx{xL c@LPo:~"VxhݴvX&=Zrrf${HmS$[3(6%?y]F AϮmOdE]-+S-olȓ-55Zvx{4;\{T}>3xq5FF槅) ŮKO9BTzQUD)T^ waB&lk:gUR5tqKd-ľZ& z6Y%vhjbzuWy~? ea IsKݢ$r#-)xƄe.<(Nv|D9 c H AMQ9Es2BR `~q?e=%҄R |)iƕ :Qϛca0̳M1yEsVD0zQ/tq2ճrƽ ,m,SfRwq v`[oM%۸ {6Y|a`ۤ/,Vue:>JMC\M"#tPKOF`9{"X"pe[/6UX}}Q)tbT=Uq5믰]=V_>0$+vʡ|G+_U_a@N )t(˜LnS&hE(lLp޲UOjRL"5(*d# w۵R#Ń28]~%z!ObYWj1xiu=pmʝn^̂qYY$V=eϭۙ# 哣s_e;wJ`XRcSLԻ29H,nQSn<)4)ǟHu-JmkJ73T& sgaQY٭8'VҦޣt[xdNKu$ޛ\gE f- >íE;`)Jg PU24/J!iDybdGnZ8'KZx~eUA1z6[|I?BO-W;!'HtP\ ư|xWVn^ 8u(C/mJlW8nI8_3(M-Ԭjی8gTD.РAF}WTT7b;[xQ=]WiZ|Mu4w -Pb/dKvD g1H}N XW')VU|* Bff BRgDwup3(i myQg\xMoMWx?͐9 PP@nATC5kggafcL2 $]~~Gg-[d$`Cz +C߁ bWνT)0̃FڶoJXЖʳ: }\;$LioWsmb~R~LzjJeqАBҞ2LhQٵSA:^`1*GupCS_?Ą*Uh=[dҹ ;sq G>_]Wh ۚ vk5G<} 3R>˻%dD*ݙc"B<ϖbMvݗr\"%si,Z6`iF"JGVճB`3jr> ?1.;'W,ꑙ= 2H[,>"JJ(pT[>Hq:wu$W@0y37rvjayO.Z-2dA}~UKR*#0m(.W8) )GܘB720I-8ӌU+$UKI{Ж ѭO*IV.+f?"EC9 NԣTְAޤ^j@nRhu!H`g9g aox^}h+@]mb8gYDvt5XJ~ãQ3`D]zHueF/xbı&RY\,= , Ebkhٚ<6JmeAek5USsl,F ۭ$g/ĥ B)wq~#Ai"A7Kl 86$X~f&3; 'ǀ|Wjo5rUDfԆ7D (%EJϮm \ %a s; ,^.#[")jqQkP$7 F+ɶf(2ꈹRRĻ8Qr)4 $ SPQS\@[PWd1n^a\P'e5pSI7gӹQ\U3 ,ט;E9 ~!qܣnD,r }o&\"j\uva !ȯՑBZEGX"Xz o9" x gG0"&Wh}dj3O !|SwXGދ^LA\lG>w1+eD鎌bzrSg((^_L D5:=W(-x =+*Ԍ!Zb]E6ރm,5BgYZ  E& !% UPFUPF.Monadsdocument.tex7zXZִF! 'B]A-MՋhvG"uIBm51#pu[Kq g) ۜrQKB=Uj%Ɨ9w|lrgmkMwyՆ v;@ծӻ^Bȗw)ao70~6zFut^'JZڽHЭa(wFg7ˇk&2@ѸPU;cuSrԘ90]o-_2NQ&73=O' x*ꠏ@?AUTſB|Ew7o$!Ãj[t<\Ii8a݌`kKHx7X<647q_ES&K-]bL^-cH.)*ҨxwzԆ3L ^ON~@U_yAU:~1r~jeGx [8hkLaUz]lLl1}SgqC_ I5xks1%@zQ]:F_kgؘ%U,`qױ׬rLݘ#c3Zʾ} @k^YBUxo g<4X BӺkpSG"6"mw9d"{gJGH:qeS<4!Je%Jޏ+ ^9<˵^||l8> `Ϸ!͗SAo*ˢ,5h c#?A>l1yLX8$ J?BC. 3!9זL攽 xw#δ;}JlՊc>$TsW({UɎ" cJt1:dTgkT$hvTg'&ʅ ûhB'4ʧ-߁<6z]j;mKUf~]aNϤtS]Y 8=o/̏*I-m@IsZw6Va:8 d v>uH0]Ksq 9YO6K 0/% UPFUPF.Normalisationdocument.tex7zXZִF! F]A-MՋhvG"uIBm5ĸJF#jaPshB6@r;:ÐhY9C-%JX I=yq$F  0AFxP%iIqPwѮF6ĵq[0DJ7 =.u,n%0EGY^a)f@,$O/PD$ն bb#GD,Lx|$PAX*Q"tm](s֬_ -x5\'"܌p9Fݼ\aU7An٨>7`Yv;E0LD)7;|ٌ{}Эg]a?X%T֧/{RGʥS)]f]3;kƓF@*ff1 7EؽL*eY2mν`n|&,]RzWM2.YM&`g6P x8z '.>ؤ~кzsבj㠦WOXfOJGdH=J5AɥYmyn~sItyC$#8kN,ՔitV"슝I"*~EċY\=Xɳ>5N)^Ew1QmFG@j9cٿYAjbl$v.}lr΂q"P7N7+ v8ד@ҼN6D{NF(O >ImPb__MTf%Ru꒚Qg^SsK oU",}syJ# d:oR1+Vsc6V+`Y]y/L Dx۹2`[ H,H-:djnc-=M..ٿ+}u^TV|t"%=N@` ba GJNWg4eIӈPG/nDܵc7`ɒ&ԥ U*lx:Lf)^략,AKϪ+JAkΉwP(_O8nv9[7wX,q*+ "4L4)qFf8D mk2iI fIyhО_DA6`D21C:H'M`7ÄD+&wxo#&gdr*ZK(%#|/LnQшa117ǭ_+"蟼" )zHW]WԱJ;V|Y=dCEǺy\K(ͨC`fhf0z]9O T? A1P9 m+whؙ1p)\CT+G1z,{/VmC b@(:|r ^%gSE"Rϝg)uT&ճaJЗ}?yD*?W]lCiKQ\W & 00“LBDMcd0cn:'?/2w0}VcZ%_:Yfz)$ kSkXQdvrG_\XVF`@Ag_w!ht=T}bXUr-ÍqE,[H l}I咠Ws 3 <'8zԲeW@3Q[L !*"F-UIk@wԜDJwE0B Q;=<5pzN~#!q^(_BC -gpdЬgJy&凃~O5ӶǂOk~=#4ԡ橀Il|5 ]jsט0$`^i\Xvv=HN*VG-ZZqi۞=R_0Wp»3"=F]!t%+4xpXs= R0Gl {)] X([Ҋ#FдOkR4ܔX 2§P p++_uB/!Bac "msJYWp(Ad+`j5lqIԝ?/6쐬\!f`ݻjAD1}51#$S`X:{E L50\rsX,⻱.v*6'p@'61(TOa&d!|r+)Ns_xSޝJI=1V u r4'x"M3hċ#3R-KrpK TrJռY@rK)2X/_z;ߗ?rx .0Jا׸{@73wF|}g޼?62 {~jA1ٱX 0-}|b_CuQ/@GP jn"/񿮂K);0\̚[atbϴ_RQa}kUTIk4#fow.:\Te3}w&ɷtU3ʉ')' rAqhۊa`B W}e3E y`'ަ00}Kh 8\+d:`*~oABwV{ԾwGV`b+bN1br]0aYxm,uv (f<6H,(F~ms n~9A5mP;}d_)1c4-SH:hήaI&hiWrsVL-uco *듫u$uٹHb7QHu5 $ K(: g(w / tRh|&9Gֱše:P{b,V#.o\$SgV?55ӻn0||E%mSg1ɂpؐ^G,?59$uq)uU.[AE)0TɀW!q_uݷx0CICZ^ip٠=O[Oiu-/G&&M*"Ap2M:ޟJUހ_ZUnN:i)H$OƪV&9ta ol 7;)uοaH}ڞ!}AaPsMe2i`3@6-hbۯ2wfGԙtJTBýHTl4[4[ּt4!%| :ؘ#Nfꙻ~&ܬ2%)ĵF\♍06~i{fj;}1ęV`\O"PJP\-0w.>͟xێKQz!J-?V<_8%V)˂ly d&׬yK=͸6.;0T= *'kph0}EPJ\[uVCzޠ A#9'Z Ƴ7R V29KPK;uɟHAx[`@,- Q`C(A@E:5^l~j#!Jnfwj'b;0Օm0ʥqQUd歳&VEGJ@Rڶi,G;4Ϯ<uH!bZ,G{,Gݿ0vEi*$%W(acTXJB!宔<*`B~S=-hd5#"\Vy>\< ]u;|XPW[ "/&CF'0W{\v[6lѸ rs (Z' Pa N?C?*|->;oʢG\We;¿L12]EYU:Ϳm,%ujBs8cƽ5NMӲ% ;Q ? 2+MF;!9 .,h'ߐɅ}3% sUЗ%L+ HixR j Z̙A6EZu7Eh B_%X>u*0&cÚȃI>5X(K*wp1a V\.[׫Շ4UHEjM'W$c(ȼpy+(So] 5;uST [roh7}ȊTTi KDE !`ἲ:,rӕe;3K"Od>mZsGx:>P܏r2O է[w;k:D!VLJs}[X{<ˈGD9P_<_NJэ[v! Z,ّ 7qX_7gM]U@H^ʴ`PTT$چYxHԴmΑڙiVdPΫKt0|Yj 6) LAGi@n< hZz8:S,率Yԩ%faʫL BR jzRL#eqX`x.SW"%fSi ߄Wt ͬ4y QHω3FSI$m3vJNBR` K2n`uL儒ywl&Ԯoq75k8_x 2tr rcEm*#`p` 9Qإ(BI2Mj9o*z&?P5,+(Yc60BV6ݳc6g^^'+*0S&)@. i+LwAA'*#X6*% 0&n?!˨-1 .5賫NHcYG~-N6;lHoԂo DUߪ<٬a:.| ^\`rnR6RJ1X2 qϾ +!\a \d '30ZdwBߨ }hG?`ʀ},gc>~9\r< 6%񑲌vcN E$?)&-`\LnMD-4:!"#Ѳ3w L'otBsKQ_"S>J9EtzBl]X-2MWCNS8b-90~:RTŸdX?T]TBqrkZ3w;Gu_WMaF. G1S0 SRI9BAaEQhiw@O<1RaB$dQ-bG7iP!ZJŠgu]rcOod/I6i HaYO/_5F`#<.\Q[r\s &G)_b9ꟍL-ǒC|GY:Vָ;|Bu=vXOոJ7Kp:VEξ"B]p\I|֡m55iA52╖-KEϘk RP59ҫa6ijZ#4c<- )l5%,{/o\0yb*NW~k,k%.eIwavEX~8?}jyc16_'eUqb- .r3Z\*2JT0߬?JÈɞ-yPP YаReFCF4[/eX?'7cFKrI~Wʄ,rA Ȋ>08 '؀L8GiNT!5J^4/܏>K.7׵:SZ;;L\+LS/㼭,nPQo  s0L\t?wv(xbgɰw{q0F@#.}E';8 Ϊ j09|`/E此RݏaZӥ;ߋ_#,w2k<zwq?mSf)SרZ9 3Q^#m),ʣEy^ i_@>s }5r:C<_j5맅,@n8$ڭs)3>䍁B'*BX @7/to|{QTtc/%_"_E{Um3`\ (BW"yW0bĹHO17X~,?VcbXRYD 8cfk i@2/쑿:#QAGfԉ~k34ߎaJQZu Tu( 0Z9VB20Y~KgޫMD75jQA (5cG eœi͎p-VNL׳Ѯ:0<JyHo?u\E9(,4S{t&)ׅk%~ӿŵ"fl"SE i\ꢝc_+6M`dT`?}qlU[FJ<;͡ R+k&Okq]i{m:Q`P W.tWl_WA 7 bx,4 F:>s{ߢQ=w J?RKXw"*U%9f𰹻'h G]_I&eUJ#noDV̹$ ;4lȱJmQ[!`;_hЭ4|Nh~!UݔFs0;YGj{3"JsL|`6k ,zK%s2o^rk;h4?W%n.b˜Vr䦲k9*f5ǧ6V*hJuquY=XG˲ET;4GBA\Ej53{eB^hy#XF]l~"Xjڎ.x:YaBcXS.(d8 ,= 1 /Y1p)l@fC3>ݖL`x%¾UD$U]T;:m1R6H5t{/冩 \G,W"=MsGJC""m7h<=/^q[HJAS 9IJA2XV2"!7U7?0󰿠*Q0_۹@xдo!ӿPkABBNp)_qk@iW(kna?hTfTͰG(;eTzP0"A Ls )CkLt >RAJ!_^\uBQ0~`2U;C|є.whF;l0^j# ^xـiK+L>hQ4(6,s0[mcr%zoz )ҍ5! /۫JO)DW;$+$QjmߓםRcғ;Xwa6\[xoN'*nwÏP"(nQ,{iqe@YG7V R^?׼p,~ mcŁNDjB*_ lh%wC<:´au ,@8AhR.F8-TSp;YF媭F%s!9w>9v7r;+0{Ĕ);Ta*ot84*RpǑ@a5(%hokTR)jp֍7Ût}lXa1StH{.@5]U|V.yU!QȳxYlzZ**)ӀaQ'8!|Ye 9FebSm _y"(`s!W}3xg酲o䆠0iyJeeqb7nv'dKVFaPqQޣ7T7A˺މ* ”VGɹ|o=/ Hws&OYg΀|gӝ"BU2_ \=и>.И x)}ꮿ3̮W98g$&+1tY@._vf2&0MU*BX]2mlD;sob7WfZ~w#T Gғ++eמs5tbiפ;\%vH$k3_rԵVi cǤ%'dzV&ݎy'Z}~I{Y {J{ KMK<1fXS S~ࣵ>;El(w= >仏,Z#8y߿6  f)!rR]tpDONu]Uj"X6{tDl jJDljY?QKR-!7h`D'|x ?@9":鯓LvVIS)i+f+顺OEA/v(p򵶄H%{ҸX/YIt bAo rf;9))\$ҙ ^B{g[GX<%` @6NLK? v <}[ 9#Tiy(1|M囑77I o*>R`;*1\Jx TAy$fz̗s#m/n_64 * ̵Ä]ySI˜3d-Znęs[39ݯSᛓ|VScɜP1QN_יE[txkEzaW'bfkI;S0hg #jc eo~`ʹ 1^b'p>=dRɧcE߈ӧ'S"쮿^27̽՘Qq*4$Y)NSp2K]ĠS'K `-eee% ["/ԧ^/Vs!pj\Jn^- k5; *(xѵzj~c}cREn,_-#lGcp57򘦉׍G@v>c#Ny>l:fϺ4'F n k/<_N N'KUs3)u4@".#N17 3Ŀ;'  ;@&TS!aOoG v8p\UBʘ"'#ujUb:a\a`ԥNQR g6[qH&M"**PWv*4 cc"|S7~V:NIFUx@htRl`~" #qZ "{;9cHI:SS4&#*o2 Fu̹eVpE2ߤG$kS@UU;ϹP%SaR&ZRfddENN} J"fIC{inWQ&/stH||Z=8 ڈ(<02lhmAh1D"-<iqϵYB҆&EE18/&bdtw=?:SdT0N3N T(6&Lo<\ șAd+B )[U-vU.q7yv+r؋}Ww0'`="Z6=6R6$=hfAn\O/x$Y3(ޤj^R[quNL034@Q(@1R'SHuVӏeG-$\SӨΛg 4N_BYy-ߊ hu+LҟΨ~-(!0m`!} eB? JdJ䓜K) sRo |Algxh %|x'wm6ZMNC 4(/96Y8K$(3Ȩ+ !`>]ap6޳\2TA=D!yKEWm{-"c_;lR\V+;+C G|JOCo$gK4FΐrBM/⛶{C)"9<:#z_Rb[w% ~:<<%D=vFmQm0!zRgI6h;a+fHْ&Se='宴9#oLXi7Zønbe;"f ]eO)l}Pߗx]9}C}mw!w./-ԑNڏ۔:7gYZ 55% |UPFUPF.UPFdocument.tex7zXZִF! 6]A-MՋhvG"uIBm5*tF%tqr?Dy8o:sYd%TQ.<)6a_r%B)?$J!Z?F.\8Z޽aCʊ%7VqVVevA&UP;$QtoS0| v٪mѹ3j3jĖO;|Ar-Nz|Z xF-srW}KEdl. yM\q?e#mE{xNyw$ {9T#7J?N^YZ`<'SB8a0,-+WXn}j WRGKzO wڱgYZ/%% $UPFUPF.Analysisdocument.tex7zXZִF! ! ]A-MՋhvG"uIBm5*42tt~u'WPϞj0>Qڙd NM&9vb,͘bzP IŠԻ =+8";nyJ`ѕ}O?"H b׶ʹ?1}J2J m(ZW*M{s &|[} x1/LqqC3 MxQZ*j';X«H+c d5IMaH,H]m8'u2%S|7O+bpCg;W\ \6IE=Oyy=OY-Pe5b}߄%y]79 pE&}V|LׇcIO6کS3|jkJNڦ~ ONl=<ǧȒQqTڶE5bU:טbZl\ aޟ%Yx6N$ 'tZ./a nCQF z'ĩ7EgGo$H(C_ۺL8j9P{H@Ѧ _ybT%R)9kJ[if;[˪EF2Pqxl5iwtN@g%찅)&o䘓Bu}kZ#|!ş?@.4q2`~jvzU T?ap.!26;YZLJ\=b1;\%xG(w f!/D7Z+xkQYL%mdFFs%𻃕̛/5 #j2.\9;dKX#xT*O&8v6`O]n @1TO]w[l*A.~M$vv=:$[J6vV|,:y:-ַ<6Ue9Q|ص1rޮ46SR8}螭]6YIu.W@i]@&oT63! w}~Gā\\`~Մ:IDMk;c<[&xZKQ1_rCD7RT{msEbƔ}Ԟ@0wyM< h}W6йޤ&MU[² lry 2:V!xB8kdA"aG_)C0m=d/•{=enlT>t"A>,RJbQݡ[n`DUvdaz/.xȀDt#8ľ Bsۈ٦3ΑHψF( bj1.5T~w( 16] <'r̈by sT  plsxq j!u|vf29X"K^HvEٍb,c~uBIb7HUUXSZOPIdPR DdK;t-F]SŬ㣆C#c:8],r~>c9/ ޛ:oV4ҌIЖ,R@/U<5q(>JsQXF)[`b2pkн`B:C#۵&RO1XmٯDI.Ifd /&v?g֚V?jNM(E]b+A;I0$G&~=Aѽ1M Eoz llXs%~89ֆyJnY*?,RɊ>q[fV;z*PYRfk[8#5leIYw@v[o}|_P[0W ={vMvlAӊ =v{fLC !ϒr?X±>Ç\amwwZ b$'Xn dbB0f9in+|'U ,N ZUfkоa;fjѠ|Tj_Z篋6]!SPRl%zbjpp4-PBtZ lza[bD24kXP#.3A7 *$ғ7}`>sm;8mIV/{6CM@ EE\ƴR)G}uƎdj:;Qt r!g}R4Y |Kwx+eO-Euv!aÈCjk64'?79;x6+m_Q0`L ZQ;2i_7\iKih`0hWkqU7G9`!3]qVOuM3Ăw[Ki_[2;Vň> &H`n>н'dhX-suž?co_ Ho]r-KΝ~7kbѳѪe"0o|[*W:4wIOB?4լps+Z:nE*fEaz{M_ !bBѨ ̪[ϰzR?zج%[5]@`KGцR"l')1cYIm.&c"joh-z3;(dz35&0<;Cf6$O_Lh /u$qeXdȎǽp[ _)d׶)7Ab| lH+ږRq T?V9Ql )?'5kL)퉿Q'lc~ܹ i:e'>dk|,,B&j'>֚]+COљ&Kⷷ:C+^Ԇo?^yC5 BqaDf@]K)K{[=k[J4 vc{@x@VcbIKYP:NVJ}* &-xΝ]# Y;Pj?mI BdhAʺx-U !o k0ے΍'Q1$S## :Paª^Cj6 r-lWnV CZ9b ܦ8}ŰBPv\0> BMY]E(˨牍-"ʎ?/@kxw۔]5I3Ѿ>p3'\R} U 5qڛC<_75rr)7ӻyD4GG; KlDV8tX;h}Xi.dc/ B{NnNU=7cWJ֌%`ha9I!rE“VSM'ء :3e4?} =\9w]${=d@۸B?rIjPY>@  R4<"|%_sѿ!qߓ))& <5QAڗs˒8/KMnDj|@hӵPs(NnnGZzD5^‰teP~l.& -[{&`t'"궡93uPV,-خu8m a s!PVFLHɌ;8 ´{9U +)21Nᕂ%,wW뀹)6rj8#]ݺ\Ԑ x0PƏ|֚fLf2=V5QE+U5](>M$ "fN䒍0 .*՜fb$/вWOM Zh*žҫ^o#:}ەjt獴ѻ${/p%ש V^C|E8r 5UHQ+A*yB*g"02 I;Sk:LeAe~%G?OJl!BhW3=0i>uЇUFnQ<z]nZ̄Un]y|󜮑cso{C>l~]n/Okk"t<ɴ05)F=0-IjXibO?@QC99>UlvQ3o͞@q>Ӝ%sɎ3WvFg q%u\脭[\MvGw}݌$oI8WN<12"N?1]cX1sL(*vF'EYp) 4b{9)+q Y@n `JgYZ \! 9% tUPFUPF.ElementaryPoliciesdocument.tex7zXZִF! g2]A-MՋhvG"uIBm51Cq*Vr5W'0Y֞Rs)a7LP6 ^΅AoIciHz` cRN@qyi#\ıS$j͇f iP7>wVp2jt,Xe~oid(Vb5\(.ac~F8{~8|ivGVL ^|~”PJ/SD^t Kc/5 UzikrmW)Jp_U1=5w9cȉ9?_I[}kSNt90sksbݥRsEw@n3ODY>~UCKH+|Kb=ed^dhN"8z{kyq JIv/y:cV&oQ❜`֯UV-ބ[&\ST0{*8~(Umx/sE n$74Sy'Fy 2@5nEنlQÜiY[&+i,997m {J(K,#u;[(HmWb&98Aod |YBp aiq-%1 p#UAB/AqZ2p?GE0(:*?h|Q36ق+.GX[cO_Cd9=P|Uug^D) pY<2AIE"2p<7-<áOpUTW-h?trlBrF2JGa\5b3B@s*T6]Ћ[#nX->>b#$B^+=XGZGULc[b idqbfXxPֺc~ e8f7: m5:+N Z}K*c)2/H]},6VE#G4!)һ$6LfZ dM&OkwReƹP! 1% |UPFUPF.ServiceExampledocument.tex7zXZִF! CR 8]A-MՋhvG"uIBm5ȢE>97]d~@ ZͰ DR6ฑIgb*r]ot$ 7kJm=?J5l0>Ȇ~Os.iP}r<R<k3G)I$\/ouٷO#wIgsEj.7<' 0'^Sr:>]'LQ$Azi&$v<#RAZH|ffuwĹĈbtĕYf+Y@먷>;EzY7P>ԢLAl] E\q D6IВ(n dO1`3dz9RWX XX-We=#}ܲb?^P.7WөJBu}-H ~3wlG{e:}"`Lת<$^w6޻SJZa rB=㈮ZL5 [ۛZphV9v#K:ڙ FZey׭먤z;0%!&\&(7ZJxq d-؞բi\/lv}51r6Opiy@Hks-DS\1RwOnɈx5RΊufNi@QcQ=?vɨg'ʗh')9j*i,s++AHt.,`Kv:n4.'Ӥ'@xu.υ^o4 fհ' qӯ' c&YV^Dҵj# 0gDȣXiZεxr[S\&JWJv͐& Ln8uZ .92x·Qq[ړ+fs3W=CJ%s^Mi <ѷ6~H3ޒ`+M%(>f])R5pop)7s> Pwgᢺ4Y0XlXpH$<2w2$e*C웂xN@BOjO?ٿ.i3)_93Ȣ|(H%c@:()}P0s[OԮa5 EϮ38X5W!x%'S%EkAs$~W#%xu֏ٱe?L/)y 3hh (NFg*{[Prh6EckUCN.<>třfA*\&ġwLn_SA˩tq63#;gXH_7ÐkNL!s  SqѰaRo7BY[&/bbW|Q 0g* 3ϕшltAkEc+Jc;⍄O^a7CVXS/$Kw')ݒߪ2mNppNݪBVUI/(2.qgijIfp?)S{LLoacF) FS Ə%ZIu'hG)ӄx,}3x2 $W9D '_-zM|.Ryf"&EgP'@ޓ X}5^(R m֜/NSSpak`=/+=ޤW2.mQ1&Sc fgg˵j+BoղR{>ӆgYZ. YP­SwA槯`ơLt\h@&T+WEPltO0@Qp>3V 2E8bL/?Q~ h#uói값7C)Z2 /2ѽv{!J\P>z'PDnNrHGБR}i=û`abMxS d:mQ[a9}{5n 9 1r3ty6m: g_Znn>}@.T?g7p(@`8[ɪWsuBR< x5muFI׍8\xZ"bA,es)F. -<VhwOKeȥ1^0ৠux-2=VI9c!N%9ЙsZ;`J"HE'f.*WjB Ě p?Um6E4Z HPj2@ȯcTyAD <^Ư"ڧjCHddN7䓇O+a+"ܑ |ܜ@ʟsҥ=SBlGiƓj1)pJv`^U=(^ik〙ֆm"Ż bףW߾K n&̥2".~xd[*+g?@H@<)#Itys z XniyX\̩}&]=2l<%^G\gB)9 KB& |;3fs,FyNkl܋D51l y.N;X\E/BGGfx':ѐAMVk{pEhߨ!Yy{#Y؈DNƶ>*sbv P'gUQT1,LBO;plG!)6EBC~wGAq,o;tP$,:*0M|n!.ْ,m.^%޽Kzqkh:Fi7Rb= WVFEvr} 6ϋhk"6F~XCFVDp3[0u mX0sdJ={VҺe.y6g1Fk93`nLanvتfGa2Q`Up5jxv>c"swT8<Rp}MEtggSi"91.56Puq2+oqb+jWe+NA|#O[Mwv!aQn2eyQy(nc@Y$Ea*&\o^;K5O GJlpdf?o^"bBD:h~aUȻא\$kQR- D:͈".;9aȣ;6)ȅG"p{eFCѸܣBRnwWO +EyhC% +Sj3#MUfݏO)'(G?Dц`ދsv-'g7dO>k.u7])l%-5sBpCސVE@m^Kz^ V耍)ʻ,T 0K%-t滒9GY,PO?g7BmF_Km,DF"уunjwX|vl1>O=#;1Q,@-jw<w2*I4a "Y 󬎢d?81=싗w%Qlg&6uhm<`E|9X%:4M{@9| _FenQaS2ǃk:6E .wI-c\M4x{Z;lU]<, F˨t1fӐ6ޕ:B?}*SJ,lftFSM#p!+_J&9jSqX{ASqd fqY6zRS#}1^vBR\czր ~(wdop$ g0s7:c 8)b"߂˩I=vrq|'fZm01ޓ/Ukwi8tڍ(*[q196𭽑#YOO# >&LVD/f(2YFdeqp[W[e2 NN ;Uop|0LTC$m^k7B/&}ߑ\@8gnݪR) m erۧvJ+B&`XP^X3L Cz,3{(xŃ[(4z>ςey+͍sL!?1v[[dddc S 3Z]܁ u^KE|„d/N}5N:be+C;;E<v8DQR;oHS^UȂŷ",;`(/L$_blØm2L-PX4f ęWKښy)K96~uO U&upJ]1ɖ ǾLmM ,Fz>}T-w@NqTR/pЇ1ĝ5']ገz!~zSjYcF6J?FrI[$_#vA(s5"R:]m4Df@,~T2΄Vg2c_ˤ 8ة͕Idなx&I#_\cwmn |ݹ3r^q^ uoHf(BɢX¡e]<і%XgLbty'!{##) ehD۳V{D%3t$>{u4y2d?V.VSxyPu 6BέN \qd&Ru\&9 X|M=3hڳԇy7LIQ^w "Ycuޠ!MkvW|}nH]u+KCMh"poRCH+>Kٗɻ#jnWa'lt,Km0cF SEAb*|s{ΈId2rFȕLT;5מF׈Mù//1lϗx֢.JtȾj-nu@Wְޣn1^QAļT ]w$g 4$״YM2XIH#GGI`pler (02\gYZe~23 #p? Sl(8kr h\ bz{r-؀k#ޱL#?,#ڞe't@6TNz.jt;LAOPfR{ =Px^}3qe[ .jأt/L]+SJ %Fcn^n8gYZ7zXZִF! ]ŗXiɟܤ#k0{/!xv*dd_ѨH&Bp۹F$@+ʈ35EK[8A#K9)~aG[ybP R8N&AV- [ :,ȣ )}DzP7TCLS:,D[+ߠמ0aZ(YEy6 fhU&]+ p TX/[66M|cUm'T617^~uKS|yE^#gYZ7zXZִF! l ]ŗXi%BzOHI;><\1޿Eb+T b蒧A," -m"qo+<#OuQ[U[v+j#>ۊ>5V<]qƲ[? Bz* =\`:ւPeɱY"+7@s9ϓNV^= &w&a,eH̡Ec :1iˤqF2꙾1[+L) hO>y"(ļ9d']va7^Y'V{ `4@D g35%Ncr&Uh)/0~_\筨)f$k1%_r{\aFhf6{caPJ~lS/]KZaA75+${!TQMz` Fi=n6z$KSrԜdf )"fڝN <yyH1q)}OaroL@¿p#qBG萯0)fR\m`,aTz0Q㻢<^$"Es@*7sSO6Yԙq 2Qp0@\(7[t:H8>X _̪0 꽴Nv}s<cRE 8꾵]P=1'#52]%?vPHBiA(j OEĖ?RieۧAsC/GZs/jv1&A*Ɓ\J(A~'9~dk.7P)B*b`g QFMЌi.G leۚ6f`jSXӞe$Q,fy{iK 얀w%;Jsѩ06끕=z.`Mm ɬ) t%[a M#R*gME~M,WbRa\D0/t{)29C2LfmV*p;?F>?jlM]; fݯ4@Xq4b0A tJ,3s>RutATfja"L2:ʤؘiMC9׭pGqMn:ekwm/*bz Cy=>*nB:e bgY9l|MiP] ⩟x#\Ek{c'̹;{0R|S];5HmVAxI^Q[$JcK&D]A :|kmP/d)+%=ո&[v>@rc&T_QBW?&%| hjb\jjViCE9춭 2j0יQB^D GDBHDV"Ta>Κl K !v8e0/:U,^Gg`v`r_MW"ɔ8L[:![>*{xKСoZ1@xgm f~l4ebc xRnEm>5di;0zp7p lITn~^2~ԯ=nI=t5V'\ F- d،a5Fq 9hFEu?tF& )x{0? EG="sVpAKY9LOT%jSĶ1 ] W5~zT24*pWzv"WTS1kcFS:KoqfԦ.ic@ 2xA91(FVKBJ) 7E:X_y](ɋ_PBT6ep]vqqjpc[ZZƊ'ig0;T !/$אc2 _72zS}nov߼gVvS% H_AYW6y&NI%k~>S깬JAD!_-c4€-O GǒĥĂlV&}f.(8gjy0Vw3XÏ8n!#fu2k೦ |9{ˡ.9Orm).ζZdR暃| ȯz J=3X[-c[ϔ/ŘB; -\`| ;.I˫(*zwZׂ6c?j!@`AyHFllvۄ`F\cm=oR䚾N\c:zo1Na +JEEɖs-H!V?UgYZ32ddb8b6b9b34fec426e502c45294eb03b403f8596398ab8ee2f74c06c97a344c3a66be619380746 2b79a626e16e84e310d8fbaa9a7b13b173d5ae4958a301bfef6ab48e6b20153365ad13259ee2c322