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 ft, < ]% RSAPSS:threads=4elapsed=15.825cpu=51.252gc=1.7047zXZִF! ]ŗXiɟH)0!h^Tv\Mɖ"^^Hk_.pA`X|(ZzvYlrRU~j<俭mRQAuuzLfXGOJ" qǓ C409S9d.d&kM27NHFe8!@,jј nlW&'Ke}|}**…7mcBo_TCNY1w~V„g)f4aF 9tIF9]!l~5=ժoOjz&oQ`FҦ@-!/E֔%2ʳ­Ӥʧ{tjb 8cٵ1ƣS"hj h7uB.lm$ ZQ$>8c3p)|CJt+z (BiiIhe]0B?᳊wY-0崿 xFb+@vO#/So>xX=n⽞7@y^wKip_ɂDX漜D*~b Տu*ҷIhh8 #nw9nhV3s/Jz(+Sdi.Nl79{yk^ [N_'i$XF%O[Ba nB ;yu'YS)@H@%@:gCa\.ذ)Խ,=jR{#)8.GAX߈l q$ITiB4(pXh2C|Ju˩q t 0 t"[:ISՒ"Hu= oրMK?Q,˻`;-A8a_*1e>O_{U;ocƭR,bq jV,}[@#aMQRF}] ]ÝFO`if ~Pyq;teP%S&U+:A ZͧL0Ǹc0:d#3cm [cΙ+,):J7q'@|{E>)E`&<4>%fu'y>N^\\(հ-&ܛ&BDp2= (̀C0}m_gǀ[n=8#`kQ @E@IҺqMhKEB}yg8Fq9H_I*)\I]#yL8@1.u,)K#;êI {jBjdv1=+U:V׷:/Hu1O&2ȯ>gU7sN%0(hz),<2qμT?W^ ?q(kOVbW檔 p3׫K*8s˓n0^֭GlhfI^fH =`t&#Rvw}iGNIJGl^Вz2cMuWCO>Ua"bv詣e(5]:l$VpQZ v+2E lnMX5[5B 'H)|- ?MPh4tLgeuzsqQ"#) %@ƽGI9b)p8`+4c zр3#!Q&I>q,V*+ҿj?ۦC YTa<͎̟wCwOԋsMTiL"^e;7Ek<_AAaJ lW󙞹RSVRA0`ݒgYZe582754e83c80aff03c22905d1dd74e46729e90dc3d726d89c950dda47a94cd6c59e05975f526e9c 4182a48763908451de8961309829ff336f2a9af6 1cfcafd7304d5a5e1a18a6227905b0aeb379bad3 ffe41ccbaeb0184a1545447920fb9d1af5b70096 07500eb927f136d56b399ba1a431b93c2a8237e3   RSAPSSY#% tRSAPSSRSAPSS.SHA1document.tex7zXZִF! x s]A-MՋhvG"uIBm5Ȕ_\=/iYoSD]}70;,-qB4܍XL4~ Nz߹rs 8z0_? T#Jm@ŝoBЩzp(pg@Ӥ5WCOEX^2| RGɯ QI9}gAԜ0aP:Gd> =6:= RPe[ >ݬf""j#[OT#\Dn)\<$1m/ĉ>k57q`QNv~q>QE;> U 0*hk2rɁmBA܅c;d\;KR8>LٖEPo|.&X~gal{w/^:M u ɩ v٧}îo"_Mh͝TK3.cNQLD2J~b0EEmaF^ *>5p|_̙b}{-W[1c?nb\hAjVRlTOܸq}Q/ܲ4,aV禛 !\0 vwqvs/Uj"2bա\*d%0wepFLOG2=/~wʫ&>[P+XIQ XJCREr (deIMȁ2pcu$>IQ{8R;?0nϹ_5XE)5Ɣҿ;ap%}"{J z5 aIBYlw_?Qǔz77tu0.Ї*nJ'NdTzu[-bGiW G}|cKA}oKK&jy+Zkd)۹i)ΐ~G[GF3.4sV.TzZSW֠E~1A$IJGȅ]yj Б(E璹0?K](M)pb*"ёQPv֡'*0xXpvrLlF3UnSީw`)zߴic;^CB_H~eCZT Y =ĆhC;Ȓ R~P m˳&5{*yǗ 3V9*o#gjK'ܬw$s ^0R3tCo xkhs-dzSAǶV7 v*>׿/*K J!ZMLJpK Cvx$[JُQQnWECIZWX`)ײB{[B0cKjTKNh)pL8mwB/ 3ilTXet0:.$ KHS*Ǩȹ33y4Vvjƛj$yI zFժփbk*jZ@fɹ :yw3N6c:dcJ7*NM4Z7 RB$dz k`~ex]2xFnP #,rL%-A`Z_Yp,#rPol gF$C|G%P8dѪ-j!HLjDW}^<Xeu|W2ۼAǙ0LT@D2l[ b Єv[Yszo 'CHQh|A3@#R{ްh_* LO j] Y8`3S{6Q&~kۥ-ZcjeyvQARw%Vէ]x    AZ3gA%'%RSAPSSRSAPSS.RSAPSSdocument.tex *1%RSAPSSRSAPSS.Pdifferencedocument.tex *1%RSAPSSRSAPSS.SHA1Paddingdocument.tex "!%RSAPSSRSAPSS.Moddocument.tex$%%RSAPSSRSAPSS.Cryptdocument.tex-7%RSAPSSRSAPSS.Productdividesdocument.tex&)%RSAPSSRSAPSS.EMSAPSSdocument.tex+3%RSAPSSRSAPSS.Cryptinvertsdocument.tex(-%RSAPSSRSAPSS.Wordarithdocument.tex-7%RSAPSSRSAPSS.WordOperationsdocument.tex"#% RSAPSSRSAPSS.SHA1document.tex $$Y#% tRSAPSSRSAPSS.SHA1document.tex7zXZִF! x s]A-MՋhvG"uIBm5Ȕ_\=/iYoSD]}70;,-qB4܍XL4~ Nz߹rs 8z0_? T#Jm@ŝoBЩzp(pg@Ӥ5WCOEX^2| RGɯ QI9}gAԜ0aP:Gd> =6:= RPe[ >ݬf""j#[OT#\Dn)\<$1m/ĉ>k57q`QNv~q>QE;> U 0*hk2rɁmBA܅c;d\;KR8>LٖEPo|.&X~gal{w/^:M u ɩ v٧}îo"_Mh͝TK3.cNQLD2J~b0EEmaF^ *>5p|_̙b}{-W[1c?nb\hAjVRlTOܸq}Q/ܲ4,aV禛 !\0 vwqvs/Uj"2bա\*d%0wepFLOG2=/~wʫ&>[P+XIQ XJCREr (deIMȁ2pcu$>IQ{8R;?0nϹ_5XE)5Ɣҿ;ap%}"{J z5 aIBYlw_?Qǔz77tu0.Ї*nJ'NdTzu[-bGiW G}|cKA}oKK&jy+Zkd)۹i)ΐ~G[GF3.4sV.TzZSW֠E~1A$IJGȅ]yj Б(E璹0?K](M)pb*"ёQPv֡'*0xXpvrLlF3UnSީw`)zߴic;^CB_H~eCZT Y =ĆhC;Ȓ R~P m˳&5{*yǗ 3V9*o#gjK'ܬw$s ^0R3tCo xkhs-dzSAǶV7 v*>׿/*K J!ZMLJpK Cvx$[JُQQnWECIZWX`)ײB{[B0cKjTKNh)pL8mwB/ 3ilTXet0:.$ KHS*Ǩȹ33y4Vvjƛj$yI zFժփbk*jZ@fɹ :yw3N6c:dcJ7*NM4Z7 RB$dz k`~ex]2xFnP #,rL%-A`Z_Yp,#rPol gF$C|G%P8dѪ-j!HLjDW}^<Xeu|W2ۼAǙ0LT@D2l[ b Єv[Yszo 'CHQh|A3@#R{ްh_* LO j] Y8`3S{6Q&~kۥ-ZcjeyvQARw%Vէ]xB5~b±gYZ _7% lRSAPSSRSAPSS.WordOperationsdocument.tex7zXZִF! ( m]A-MՋhvG"uIBm5̝9nB054@[/K ":753~/Y^vNtZP?n w_ T2ԁwڛMJQ2G$Yoyu&+mBXNfmNo>;vVЋ<Ӯag&*'ZC7G܀'EŘ}ާL?NȡbwRU, +C ?mVWeL]i)Wӓ(9BCP?*=9 9OVBknB)5iVm.Z.ņ-_d_kύǢMלXǽF-9# >̊' rhS\MP]4ٍNWlb+'` Ƒ\$M Lp΁ѓq] #/VLa |[5_}Ac\La; 1CiɍNLeT5^aa,(k'|@^bאL^ W7B7 M$Scd귤#`\&:]⧨)E]@Z_3`3g{` Q( "XT1Wv[tGjl bz@/˱ʿ[3[m\;"6q:^s۹k=B >.OFNYNa$#݂ǭmvNºOL L PnSv,񉈥f vj8#IJp69j&\(Qp>EcZ ^G~{Fo2|,@DH#be*gd| ]L/WHln39 S#M|( jlhJhdQ'˼vFL+OfZ9ڨ6ireȖ1#7|6w3 wQigxO }D+53n/ueW|oz RjYן(2 !Qe5.7"CyjnQȞ2CRĸf]xfR>]X 9r?DM^/=X0s.P}rǨߝeE ҁ B*uO.uU vGmm2:Ӝe|t:vQJ| %Ě3.N۲GKt_rMjAK/ Y}6AaG"-{L^TH=?9:f>o0yȽkj^s[fy)k$SK9j4rUx&$u$hnlA]&8.H(doVmD&%c"۰˗z~@| S.eEyrPtO׽ z8xdzb%{lauC;4 ,Ndzq/B.V;rkKWN]/x'Dv0eMsQnKc#ceu7Js7)^U0Q$z!e',ٟa5YCjbm -{\=[K ]ځȚ-=zܙC[ؽ9? t&.%:QFF uOz\xC#8YZ= ,l-3z$s;Q4#I94!s>an}8>O҂K[7.ӗ(m&{}EpAJ5?2{I8s8/Ұ)Xqpϳג؁8w8~@NJ7XG}ٲg\~0@p~F>{(ޜI^=`(+Ѐ׈yEM\Pb{|n rL< ~lHh}=ga,^ۺ;Vm qE08z7])-E7/k>dgvS"PMG~JT=s" K=Ѷú/ԩ{\U-1o̷̭* $HY2p$60IKcmBg磮[U[$»\̔&Ճǧ'dz&X.Wd!VlױgYZ\)C}+Qm KP_|#P'\?d:e-4[rY*xʜ/@+r4tL$d5bnc2fk~Tisw}=fe9|Me{K[)ԆlC2'> HD?r8 " cfb_>zhESN&VX@"Em&d g朅R9sWΞƚ/j*?gUOǼ׏1SaFקS`uO@%rq1Y`Wru K+D Ьbc等(&ijkH" SC˯@FH`Wq L7y6ttV3yS>*9f`70g>MYe[15~pO".8A 9 CjBL#+|s]d[>B_Uaq-m,j; #yءt 'C9vZ%ՄH$i$\4n_U 'Vss-"+ !H7q)?kn*zepx~'}`cNK`ͫIJ5=|2(eR])P&)s:7PTgvq6m@B8ۢGМ O[i*ܲW4 yxՙ~mLl{A7<P7H=e[;n% !V+8}b@PۙK /z#M B']fOMÎ̯YRDj1J.tvb(|Ow,O'kJ VW^)~~26d EHhx0Bb߱z[O~R]Ⱥ AkMQQ+Qj!#Zv(x Lg?FHS9`o '':YDƇM^>^sN u-t-Y:_ƶwu|mON*9+|65F\:J=C;u}ָ6bzY~gf襕0atm[~ټu&c:n2"djh@<݂.!A n eυz뉿93q|@ 6vx Jt&|bㄙRЮYclGCڭ"" +r{c+d~ox.ڜ$4CFmHx84' lCAV_ˊMj߁洕!yױğ 6cC.I[fג/˕^]{ԣj?S Є7!yI"5%kcJaA'B9O"B`+p>;!@ѣո-q?Onhoc\iz>ξT5 wG пB+ʮ#8JJ|".$zS0T-vƯj~NەMk)s 7i#_iBOw; R `Rцƈ'vVU\Uq NOĦ헌m۾_Yׇd|k>X`FJr̎]ZB(˨6_(ŵȰV>1xolFJ,}<2%gpULR4F# ӝ DF@F ͒6Ъ:|Õ]F$yΑoQ9T^,'SIy. M{{0 06XKW*i^תY ` T-M?ٱEE<U_71V09E(o?C j eixځxo^F[/TmXjUɩU*F9]1ק> ht.iSѯݚ@&'DZQ7 n `zT$[Eti7d)+OSKC* qܩE9XL@%`ϫXP;-b}']q9`]v1T`?A0*عaǔ|tV P,0XXfo\K)[\[GIht4eJ8 <3:VJMbp,31䛮bۚe+xsu TsHa`Y|Q障B @#VRA1ϊ>,ѼyNRP+n|JN4) b/bj};ɱ?׳66soT//=_61aqm ^Z'@-OB#=` .ͨ0_p܂cϘ]"M#ۈ^2u]q/Gh*$+d| @YJCRBHp0x{ 6g4= B5_ηqa t2äL1.KI⪌x߬}nL{ vY vS\6|DٽypήnBBhFc䧊bޭq-'Cs}xjHw<O#\6 [&(V[lIayxE=U7?F~@rEqC$Q jMX[(f̹3Bw"TW40xP\ ́w\?!(g.Fr(=|,Lpk?='xeÖ\Sv=!']ΨܪRIqSF e>)>ӑ6\Έu l&<9nՓzq }~v>S$>,ƧGNVqMdLu NscR|4T b[,Eց+_A/تt :gYZ :-% ,RSAPSSRSAPSS.Wordarithdocument.tex7zXZִF! UW]A-MՋhvG"uIBm5̝9_͒Mk{?PڷGC `6tbOUs/&sOJj-n%%ىܷNX-YHDݓ 8HZ8X繓oU*|1 I7#z`22|u,Pi>sCz tpl`d= ,fxm/ ~_S)h$M̮tlC@〰_nar O! e$lgLxPy``.Bp= #e2 OH ڦ[,)KCL OKԊtĦI_6gE u7nY2ٵH :sn()[#&}6WHG ; I k3Ġw݅g9n9?ZiJέWL硊=n֢νbWG4JJ{㧾UpE?{@䦡 p Q!R2 B4R6͂-t".Oa6b^}TJ,ٞ>,(~Ԛ KQtP)P˪Ҏy`XE3ɋfwJ{%V,W[]Du_}c2H O3FӋ׼D%o%}ĕ?Cܦ )YVrbpWbA>M0ϻdzEv#&MTŇՒL+8 }?7f>!:L" ZJ߅Nʦ//k[{pSȞ]Z_xLpJUW#)rf/I5OM .1E5$np 9VDy0Sik9֠b,G^65TnZK;Hu:<06ٺtudCk'2M+X<գ bY5#b'ė~BazuG87W!=,\#It ~qx_X3K*>+f}p;Ղ:]Ck.۴R#>zr" UhZ2iCnCK=CN.'#*r @'`~K/eB mYDi)QPl9%f ӘZe&+r̲ X+8nyR/$d6.vڲyT]{>^iWnDuAƈOxȴCk0_/ 3% &2+fQ:^W)? EVào؎E o0SJ9 `y;&/7t!}x-ܸ3,? }`8h}}=IsH'>pDbمWt#l.2"ƭ6ʚaiMp OoN j"*^O+/\pӶ.Ѩ.`$4f.7Ѳ0#dÀ&׺aԗ+ _m0Vx+ zi*Nd6ғBLhvq14~xpŎhLh 0=(W\fL e|%1??Kި75G7•Y=yryɏ Ȃ$~|QQWmK~^Κ4A#VU>M̳2Y@X1p3؛̘:$|șX[_eߐ4=Y+8CT?!6ʟ O:C*A!9P2y)40ܽ1\B+3ɔ@G{$wP.%S-K`/~Z#c{=Ut/bMesQvWG]ܬ8b88yDZF_. ˪z>5<mcWC h uy5ba)}MeZ?P>!Ŭf/0 7MEvk;Rb@uIh 1,/>ȷ5o As)DU|8b}VH7?nFޥ͎H٪XwtГ*>ֆiRKӊ QFjZ`?)Tٯb%kw ݥqNhXXVYLx$iGLg)X TGqJXxe9uu *܇%y^$B/,9;5#8PAUM=t >İo\KDdWz-bۂq%gfj|K& N@byQۓ*G g+A;YB@}{_^vXUqӂ Gd ؼ 2~>N q([+(ił`!e>.emBH٨XMB`3&Jyhj}%M!tRi7Ev/V֞g*<+q:wg P,.*!TBdK+gYZd:tTHΐ3!3eDS4 JR1U`Z5f@ ;d4tpl=:@&Fq$۴H8,yhc!Hr4Op.^ՆrVC"d rkơ.3_ z9ڂQXMHE%DpU3hG}'s Ȓ_X BB_6 M4N95_Xe~[̐Rճ^Ќg$]$ʩ=s,m@v F[Jz!O/[ptZ{L~b*ޜ7Н-xy~sJ=U&h]/vFmjb'N*O]{*F`c`Xo9xd3aҎ;L[`L_YDO7A-'Q%lv/ 5ֹG 'd[iA/%ծt-(y51sS̒NXm"t.3C6z\-kJwor-Ѵi{ B#0oA(|vnF*&̎@, OHˊ&0>M[ߞoZ+0 f] 8aNW$H|/yER zK;(LE41:ֈ$+Wd3>3Ro6xv` {4'X">pkI.,(vGtp)4Z4i Bs?b&E6M6q9BhK9pVn6Y@ʠf`Ȁ)ThA3hT8 ~Y8Pթ)bXb лf4t0}(STUZCus ndzwuo|vh%N32W/fe^TPpi\@Kkpdz [PQ)$–fVۮ:A$/7_gH$6Rsa~S_1|Hi0ں풵I½(Xs~D@}㊱n#Oh-HJh.f:e.P'Rv\ DXꌭqXq*1U7GP swMbЉlazN uSI@,w2aR{< rBdT•O)l2q(Y uiRv{4G.]qR>f;`+LV. 8Ĉ2ƸmzlD2,7zIߠ,u=3@G?ctUQ[MCQ/Jrb$>4o Yߑn^G6Hj4.CGgEmf<0"3%z mipz ifΎ>h;I[شP~AETIbdo+q(R}Ύ\՚]Xtkh7F`|{Q`]o28͘TYyEJ|gԈ)42sR3]w3X]>7dhSivwH`&bs“HVgw&3FöG-KӓY/zAdFX>|yn#UƠ0 z.c<,v/ܵFxPlCqFHºI AM׹/M"Rm Z&4UxinoO%F=vQ:<[S< ǧ$=mr2J6qI|T@]GsHwf:9 $hYsjLf||Ak{b`D0|+:= OаڝWY_ݪKK~UB9<4wD[?nl'/DY!? Zԛ#o} .DLa *,Vyohe>^M>%ށmix1Zckߡ?+⦏jͼJ "p$3-02ĺPoCa>WvKs{ G~G0nsD/786܃|H )|EFzpKZmg$ <ƕ:r2Լƻg\ YfG"xq5<|IF=$Wp~a:ꦴ]yOkAih֘Ϛ@è6u[W|ݧ0K.L?ggڷa7CLgYZ OOG7% aLWCET}地BN+qYHłnjxQi$f ^e$ǔ%5K&qռkTƏÜGa"@Ⱥv\oJ<[xdAXe]3OkYlw 7Q+05!=륩's }uT1&."Z2À\91:ՂmF,U, g{Gq؀ %D'Tw1u=*P;җQ:쒍8J.Fe'yUA+=+9@E i,OPO @ínf;h {-ixm`c; e9}kԝQ)q~ЀEuӦWU[!hFP&6/?[βjԮpi/N\ 6j vz8̌hF !Uբْ\ ]?[ 1Bsׄ1,:Lۙ,2^b}L~g_#`kLU|AtɥAt$`OSqX gYZ\)% tRSAPSSRSAPSS.EMSAPSSdocument.tex7zXZִF! dq]A-MՋhvG"uIBm5 R}mH iU(NI4h,HQM`P+ܵ |&$RFG!}˗|+6>6T]t/2n da$C2P-+s cB0"( mNߣ M 4wo␳Cd~OQG!P[Vtv3k˝ cRTc jKW B ڄ`O 2 @i>}'u;{ ĖѴ ȨLf{$]lr^"~(=_dH/e#6+S#?N#'p]"8FraO]|)jgH,%Srq./h'v*;qDri6 78汻7?bP,yo $<$ag o&,OO+F36:KoP+B%oN 'A$YQdV4Ӥʛcqe2l"f2u^6JPiVw}^CY*xB#Mm(zVV:ˤӍ N2%zcoj@BޔĩKo4q(kz4!@zo24GwY[U$UE{Kv>$X_+$ $<'PM(91y9,W qRYx>x̗3ܩ7lV#ܳJt-/HXM4r{j*mGr{ifQ?ufr|{c`C )N'aѰ•JZ&V$-:awX[*<;wݤln;`C2]*-Yi k0dd0?$lzi(7t+􎎦&#S 1EJl!"b2!4FFN: X˕%Yq}bmPKk6W_JJwV8!2}b9IAHL/c52H'x&۽Ä aܺE!9zs{g > L#щi%"&ߩ𨊚6Cyǧb|^uxm1$ȠWa"I4b(N|[-IXӭU%zpc띞1lH&pXn==Dw\Rk?MbULFQ3Rp}pCl:Nu"jǕCuSS#7gBZM6o@c)vT+ 0P'Ani{pe|\ v#SIv(߮tA3,b>֍#ia|0/Z%ane@X)*gr磯pw2Y.!M}lnb)ꑯc , fMȂ {?Ui>[s37Q+@O`uaUa jm ѽyn6AHֺ]6ahG<y6t94X4.j#"D|_B? )R)>b,ђv:3Z d'xrcEm{Kh (tl5|-kU;̃d=] l^AswB(h]%BQKXں5)%)$:>'mcSf3=H .ǃg>\;5BTi@TK݀GCb}c}pك$%M۱;5rޡ J"kr[פq kD&5vSxmjen=Pǁq8GH'̯ݢW݌OdB5M6WeF4&@b C(o2S#u{y,BÑc16䔘u=-v7ՎUOf)Bf3Kng4/Cw2_E)5xpTpA:̟pߗm`rb14| (K`1 $ہrx0,hmxgdFAjwVGXka\u=* W֠.Cm[95&MvM&'J: do)">H8jˎ8w5Ky~tDM;xQ=MQGW Dah|DHgZ7`nC"yxC?aа֗7j+>aP\w *| %$uQ̔Z]#q|hdP(U>J5 5R lζ}~H5 p7u"5.j7chYہk;uqsU BLl Q_ kQ4ᯮ/L9dߤ}lWdn1*" ѱ[Tv iŭ[%z7ɔ HP_~7=7i̩3t"IǗ$hs}{V|9ܝh"U%TϠXፆ'7U5ᩤ`!e6.nkr %4hWP G-0Lh5 ñT/ @88db! ӈ pV6tW_-'ɶ@plexsiV/t^)ɺ @-9]מĊN46';D(&j,Y@z#=NUAWIvMac?wZ,q{o_gSg va_iv/3寅i8H} TVrܸu7y<8'~xDEOЃ*e=qO6k (q9:g9l9" '3ȶofF 72K gEF`Pg$Nę'E_X*q!%׌|qh)q:aLEGD< n$[tiI@͍]6Ũ4Gbp缦[_xldPo- *b }^Z ўm=ٜ*+Z /a@ЉZXD꿑:4f2Uj]~Yml]ݺ+ qe#b9aE98+Ҿn3fKQ$Mf!n˲“b@טJ(P ;^E)6?DJusUۺ&?U[aΙ5Mlz.W9T'*J1׳:3[FQ Qݾ/8/ՇT@.#z{h2v훓2|Q`t]Dn.]w^͢vre6x;8~k.9 v+^e'FΣk imsϟb}0l;ZN8G8wdqJ':F<'DuQ q9њ0p12Vfl_J& qX  u˲'#!wko~Wʁl[z' NM y:~tN-X {0v% oqROb:Up6S#Zu+I}ŸN1.|b5zEOuU3ʰQ)Y> w73KB<7s>ޭs2=;KocG]r60MD,ccC~ugUrB2 wKIt#qhxnR;crۃQ+̦F}K8gwZ @[%9qfd>UpW߭m-IgG;<}l!9\7Pk{3P_b&1U>'m;~u*Zihգ]FеsR䙧~8dcx;IK =:o»}BA&ҦR69:SL?C[ 7uK,-޶VJP m6O&r(=I%"$٢Jd[]D1U>$?XDk".bTo#jhn (e4CiLA@ނSi[Z=4%t+ylY 舖]ɺ?[`kwX$q7gB1kڻBgoWhKiIEYcg3FR~f'B&G#]^4s}G'as0ݰp4 L;=M$,>Ab6ԿxaHEw0,[CIgtf"ՌG'GݦKp[ZESk+>L8N3S&1WEv@T.˗/o)EVٸjxi2VM-ՑuHD-R)n-fLUlW2|NJ[%ysc6]O%UoLꜙh$5 4' 2Zϣ=#XǕ-R;wGӡـUe2+:ou 7+ď׻r k UÑ_Ơh ). b8oS y hGvvE GvpNkլ,F!M͖dd3L]>O cȲ,;p5~q Զ3uJtx_MGnbƄIC:"cNM^qXvXa}Py%2ǺUݖ69J^sakIW ]4J7~C?-  (bNS.hNKtO]͸m]9U&%F/re Gl׮nR .ʂB1偵ψ ve @P£}K;~ -%&3.mm㱖 1J m\IX=QuT_iDe rTƧd[}dЏ!?q#ZɁNW'bd |\%Q\QU؀a&njFYxo#+s`^Lc߁.*@.R>\ K+CjJL26e)"1NDpu4b8'܂Jm9!VmI^-;)-짺ʏZF?7?t$Bʲi4.șSue`W;FT0u֌篧}#[.+|֧EAg$jا72(%5^Lj9 `y%i̸4ۓi3:Ek6U +[JA6. AgYZ ;hu mA9b݇VPD"8e"Ê^o]3ԸeRbd:X.L337jF撺mpFC  RJ6˥n C42so)p[]55+9zc>] XfQ Y tUy5?2t3ae~?[ ;:*aaYW || zn~Ũk'*$K<[T U!za){(X/3q+DL yso Ge[h_ 2\yC%BBo/oWr(<옕]B̨ XG\ۣrwDǻNNrla`5cyH4p+d'/:+j8ȋ@2тnP4r\Q7jf@=)'wNqo3DcI;  T;(--S3G/` E``SU4W~_"$jri*fr+Ηݕ;WS8]ޑB 1~tPR5SAcc&I>sb_ھn.M%O}@ 3Xz>OY QˎEB_);r>Q jUB/=Ejɩ:(9#oѻHT̰I=G 7ךRF${!fDJXj^“,d7nb{w|M,&)X;KJ69S%jR%JQPJQ7uPzQF#yçt %rtr]9uŹb8-yz/*6`JU .f,`P/ 3j.r DJ4#;u9J[> mSYզB `׆#z&?8:x[:bؤ)IWzd7dcԆ>=\8('u@ _߲5mYO[\8t μUHxuWW溺U#j̎ `*/_Ca[_Bbo7!rL>#u+XʱόjojRjэaε~/S0ħi> Dojgŗ] ~I\˾] RVķmUgzH&U֬t"8^pί Po$ d(l 6* ;.ȑ%P!#nʱ2ky_)-fXMbW߿.3pӆ*PEÒF*#r9taM: 1BK*YгJel _usjРM1=xN~#k;n[R)8DܐLXLyK)4 4T GaQ~i{7f/ݻuRH,sZv.=SN>'cgQP< Gɇ/"!OVE@RV^b‰Xiwr91jl$ oj@{j`7P,SY}aWÖXO yM57msscC |]Ix]6Jr`nurpC> b`oKF[NUId1n1ٸ iBO #ݙ">ГnيY'JG$2|cRmAsCF~ll$WZm"*gT{x-bfW25l^d|gxe 4U*SJ]=|Hܦ|͏/g|\;-_;r놽)+%7Gm8)E J52M CdԚN/r>w3Ai]Ʀ HX2ؕi,8t %X;ډ[v0Kv>~Yc >P623Ae?(ZlSlwd$*LIm/& pӜj=CyHtL+E&vH̺pf,+U]'jt! =xKEk6ϱKr!kgRa$P6Ca:X j`i)=[3ȴ&h OA~t>SoRcY8NR9Dlrb7>Nyx,FwR@I䨞PT6:CXJ&\UMi^ 2OLү6F UMEU&IJRKͅb ;#[YbO*)c C"OtFA;Pj2Kq|ń)H &b_[JQmsqVCM G>vER6p$kR)s_몑aEcQҭxnin(J00}VT7ф 0/BcBIR[Η!F X)՛$A#{<~aX[|)HԹx(>¶{Ԁdd8Yt˼H9I[Wk hty _88~}V>ϸr: ́3gYZ o '% RSAPSSRSAPSS.RSAPSSdocument.tex7zXZִF! ⊅]A-MՋhvG"uIBm5(tD`3xxFˏhR@` )3T=<XjGFr)pﰪnG&1`<w>4?ILA*$)4h4%m#qu뗖[r6}ԙP, K)Wd+|S ?'&jfwٌb4y=M)laq䜘br\(V&8r&c$P$4jܴՊcRo8y놠|ATnq"9y**]wMs/񯩨`c~@Fy7ȃՁu CŘ*Hq>Si3E\c`[gWl2R)2/]-v˧o˥)5_6O=n|^l(rKUǂ00NǪ%h9IxUYgKd{Ĕ/1J=vw.y,)>#pJ&Z'4µqR.ˍNShƗP;Uj.r"qD tq ֯,mΎ둇,:S;j>uV2Q@R: #U?+" A AN3LVcLb(.Uc$5?atT3XE)Ӊ8 D^՟'ŷÑ OCS˫bcoPy};!fz%5.ac2) O(TaXO i4!=aP7ދjWMg(@U/˴wRYgx CGG4i*#^]zSWX 9Oc]O1DG8#ei7l|VFѻ{W|RP\W6B_- ϳַ.CaZH@uGq%{p2 |iT2T޺w(ul'=()hd.ӣ^ӡLY#+kB@0ֳcB@a C}:*QWa[ tڕoH$B)XrZ2Ɂ4`C //bIJP9Wѝ[ ˧GԻO/n9jx؞EAn3W/ѷ=AO'G!_蟞h}dyTԗVD|N< rwV 4'5Չf8:53S\JbވZc'=ć3 u3MF{8k^Hj_6nc7QPg/L>졤g Ld0e~>m?1di֭ͦf_|h&J=W(oK@XK5]Z"2L@>6*`"z(Z/zB*f+У^`W?ux6T8!VbY2oz y[w:7ν4Av@a,*)t%DL؇EdcV1@aCœh!r7L1*2bgzijgK0t'@;[mQT+k3_QOx022>4feF&゛ 8mR4͏uK^b_֙z{aH|/s@ I%[b=:ΐ:0HH MPLFә&ofWUudx:G|Q (آEwUR;;h'=;W.>