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  e$ ]/ JEdit:threads=2elapsed=0.563cpu=0.644gc=0.000factor=1.147zXZִF! Q::file=~~/src/Doc/JEdit/Base.thyoffset=54name=ML_fileelapsed=0.1304_XjR:}YZ7zXZִF! ~H]ŗXiɟMFŘs!KL03ZÖH!7,ZjjDIIśKDgW+3F-o0dguT`&v^pRZXt@z8{EReWoh%XvRZ@pYcf&q`hEd @]bev%BC3qG<_GwFw@t Q}MG'Bog27~}0ȝnR:$ƬLz?mT#Ҧ 3P`T&Nbts+#e" F}T~gYZ022f59f810ec0d5c9afb06028287d54074724f8704546e13b3ec7f70b074138ed2f4d8667390e734 094d1060cfdb72ebd3fd1291784fda6152066b69  JEditF!% TJEditJEdit.Basedocument.tex7zXZִF! a]A-MՋhvG"uIBm5Am)v6[1j\KRZ:3Cw2Rm;r,udcj-7*ڶ_7x5sC} ?5!"H[R(T5k:㷔ؒPV,3;Gi^x6X.ܹ̰&c|6LHہ%gl7)չ6ߖ%\h}Ќ,% {, WxAn@=,`駞XZyk `h--2. 1y`6zg "#%JEditJEdit.JEditdocument.tex !% JEditJEdit.Basedocument.texP g~%'Hpbl͛Ihָ !V̟kNN}S.Hkva'FY =} juׯ}=Z]e`ZGbjcv^(Lαd?O(B:3 ck@8ɵ'Ak_T\@v,Dav1 \1 рY ڕ?˳c[*/V!m_|?#`mQ-;Z~2Tyճ/p?ꇖ$bn~Jg.*O԰EQU$|#|pC>\E| "\lqZq)gПkmaNVkJ߸ϼX$*7l.$ bhk:hgQ@J+tu,sEާgMV)( f^Ό&ÚՋ(O1t$9Ȅ %D)2X녎i:R{R/jYUJ\aw[)FK`mq#&y7\H"9=7T;~̩PBl['(Ue$'z:oeHIاJgx@V S=1w޾f'- ~X{:0:>茰ToNX x+*xͶomd rՂ~m<R Y8q9EZ.5Y,pn%mD1r84+ 6N̴!Oa??MFMj4nfIֲ[S*CU%`Bk/y6\T66Ve 2ʗOڝ|f9I5~"y#rZ3Ȥvv3_1V"lX>xZ=0p:Ϡ TS8y +aq '5Z..]2hBW 2}nkP$p (&k]a;/m8La>qXPAX"3 Ydd%pRF|HGױW2DG?BT7MB ;[!X؏@ q>I. +}6*Cä#- ʓ" Ӡ>G +<\;Y]u^s6e¨oZƗl"8]4&3_e^U2C8>|n{ՖkT8eu P8Hq9V\*D&0-QZчq,w&?]\N?0U&h[DAX󕮐A2LM1$nƱvNMe~{уTQR|v_I\*#O)~\gR(isdKo(3֧!Y&yOvNQ#wNbV$nȟP7 ivɤ$ΰr6!:m/DI3C;#fG.$,!8I:ȳdݛ z&ʆUOU! wDq71[n@&F|g` L7 i;xL$ߕFb뛯CԄn}?n`^Qv ɒNA5ၣBŌ$k xR7GGE-^3_rO,M,7ִ)p ? H:{xY\lD5;UվZTۇ3䂾BʇٷM._a gu =$4 mX;5׺"Jm~z}ӯq_IPcg_1C~%ZmՕ~~Jx<8{@0دqkquu%`WgT؞N|wsCuzW{A:h]s݊퀚ޣNԕZW)*bXm0YgTEQ[ l1ZF=Jx| +0 䒡1O6~ wNL\B(YOAjhjmf77|]TPY= ?'_'p":&(FCI\90S?$uKòepr"(m(E{u‚):M[Y_`y!ݢ), __Q%1~(N3(}!-8@“= ?ScT䟚+W9+L+x17=rDwLמ4秞 sֆ}c q0'<3uWsY4˦~OgWJG|y d^䐨.\>&Rb^(qp3P5,[74,޸#vY#Gwۄc8ߕ2E1icݲfH r-mJ8p)K % T \jμB4/6CAeC8"g 9yCdTy$ xo+Oӏ ̪Sgb ̙ozZzr£<&m1rúb\YLkaJ4$G3/vįPF5km,}Fu{t +*O0x`A~nKj=*=olyֈ}q=umQECTF*"7ҕP'd}B#3 SUl`e Х*`Mɥ(,Ĺ* lAf l󜵊GhHzoTa>ҷC ⓺\yiyItri*"@e,QR4 ¨J?zN 4 V򗕆)2[*MQX˜??sLCbNF_6 5\ u~'^0~M~ V@&HϦ9Wt`0 .8ĒM8!=|F_=G_PGP#݌?1dZ*uiD VM_0+S4La/ "CVQ.obe`y@QYW%"93:dGiR=,$1jωRAԨ<I[Y<&@b"u:!\p^ZD ym V:TK]~kUNu7UYJsޠk^rx͇`/GO[$ e0b`N%cpC8yn8;1aOZjExT- zpYIe/ `<'et]e,a3*Ug{sV_9٘r&5>SC0E LX} =_ J^~{K(ͳ8T !ҭQ_-xd%1C ~'rE^ܼ$It@r~(S75wBZC1Ѵ$[2ʮ:c;IR1!Y>K;LDՕG:1-w=e.®~vAw=pC;ok~ ;x+ <9',Tނwq9?8DH7!̍<~! Ol&CCJ6hkcf<9Ⱦ%(ph+`G[I^ޯ1L3iʼnbR^F48426_6&rN>K؁ϳk+ NXv'XA25 vaA&-1-3*-Y9XW3jtZy:@DXoc5|QÀW<6}3R:T1@;?cHpUINt~GZ&MP:&:Li_q?chZ:O x V(IA{" (6\9t\r|(ǖZqz^\UD\[op M)[J! btZI孮I`ɘ]:@-=4z y<ޓJ9,^3\ͅ^´^֝W?PA>;65GfWy,gQ xyM;otGe(TLͫI ob ѭ֢suEsGl Qaw?gɁvj"T rV.$GFхG͐ɩ0Jv&MCڴ6 ?ޮ kA."0l[MJ\uVdOp>+L%9'AMt-uV7fmZj}cॾ菏u/"a֫1҄%}=w$/3A?HQ t=tfP)8`P"U`5K‰X@oK.3`{7pNV-} uxOk[vx:!>:^{L˷$,0"4%^E%N~V0n._-hݢfJ*ъMi=^W+TQySdk{Y8!q"'۲.\Rw̬kAOTC3dgѫ}hUUtu w|ҚU#&'xx\gK_OM€m 0gRLUJO ~; _{t6U&@+sZ'WMƢepbS*FO\7ZŽ`M6';UeaaV.9F[x`4U*j2ݳgΣg>P_A >憶xMIrӰ⭣qS=mJB@Ŷ( ojpҨw8(k=t!\ {ԚaF*x7穏7Y\9O0w#T_shKJ5:#@s0,*~54ղ9k+ 9ճEuYG4 mR!  s}Ƶ+yb ˊO۸jwqniǒ?QҳJjW -$.o3R 6a˸$|y%_/A47gӕ=)aR` t(iqFH{>zmo|4$V]Pt!/G 3ѻЫƬ0QdˬvCj(Dg3XBh.1BE;^QtW|u<~5n^gౝFfÂU T Xk4oyjqP NJc AUV8m}82relII޵J ŖDM|I|B i[^=4ۛR?U6i{o*74Qy\ MH9v6Ao'<6wjʗ)r0"ˏyX29\!̋Fd$N1unapE_Kj%$šޣt1WKAJؙE?(͟o:Dj1" w *Kj'B 7 0`Iʳ:)YeC@Ά䘽8#YWB8`"UR0Y$25Yِ7rͩC4L9/|O#@ 5y>i%}VǮmm^""O0xm a7 fdiz:FinJ,wWo҉9M (}爻4~pj2pNv?R L-v>zsv!rxPS@.$ ^mx#)y.cg L8)ҦU](¯q >q!R4F7'Ezp'vURxXMzc84XFFu6͍8Dॏ1ւqfVq IBCT/RB =Íi S cO+zzvVfkSfm#A_=~0Q"k6m##nc73_ţ*̍%+.I/oC_iKgUp&Y8[//XmZ,WI>ޜ8QGiL;4jNởRD#˖<puk U?R$m7s. 3}ASGL;mXD}og\0PM՜kl]аv_CƂԗ\ȼ`l) %^.BOri=qj$3c>|i+r`940"D9F{jeӹԹC]8h]Ǐ[:G6nn{1~ț!͈YȲ25'nkuCڇH>ҥ30B#qm"[у’|?j_WA-YkN<YݫPW)lpHfݱp92?(8_(y84{rh6xX&0ĉ>y⳰9 CgDt`1%34;mL̔CCbX#OY(F(p`\˩d4¹"rnI]. U*S[$m٬*[T~nJi-NoW 75Uqw'yp]`o\|O8#P}~oޫ<wFTq=} 7 [%5.TiC 4V3pw|lpK0={wmG}פ,xF\"$CTWftg֌z²G! 2jQII, ;; `ȍZ$2Q G]/jb"&ɮ2WS&̳Sfn(f&|?K9} hI/xW& tlKjHe Bކ+,514.fڜ>rYE' ., {|8x\rI 7}0^CNG3Kω~8?usn1./frद+5gH5j[ }EI5m7?AK4I>..SƟX\p4M2|y!NlXFֵ3aK}EG-j0=/P=3Dzdd}qʪ4z9_GDN;OӓD_|JP>Jk_2f,ؘ5۴6,=Nu)l@#4y5 1H۔&\q߃J;F>!+0=-ApVAQY&JS607Gj)ڢ1F1iDMn " 1Hu#C$@"_/*C[pUXuVaKi(Ŗ&w[= ìm""sqV6ȫu!EoPPhW$֩>t金 /5x%ѝ8b,ǎ}sVT{7U6m bX+PӍMAV˃<~dAV`"۷ ق\VH<}3 :xp֖k#P1Cp Ae`~ʫWSb8vI8-oc[9f'db4b 3')j R""I0SHQ8prQNJ}/ͻC2`[f m\xxUaWVlxL8rV~1%n׍,cD[AI->$ĪaUK_MrL)5bg7smKHlg.M\aol, (_Wi0LlusFDqN7 38#{\5q?kkaR#-9@ԙH-"`Q&{0WL?:dS{M=Cf?}4`߳>.CLW;YaY(z3cNAهǺC"Hvmx=cʽzO羹 8?ʓ%b7{>h"鳲g1Ӎ($ΈȷSJʆI"SR_B\i.`IXI׏1L34nsBޢcBQilvbfnى- UꔣٚƏaώ[ot[QmpM*h ޒѷ?e*5TX.{ȍ)|gt 9rW 9v@B Bƚ0AGc6DAx ״&@b:`Ψ?m(שvGBDa^[0$%sNѵU^K" M%6׆p=[!5ы\&0xGEQGZEm^jyퟏp܃il~@K.l0f~iFaiJ@ t ' c+W !`;`ғ$C;.~&*PjT~OZΟ=q[Ty>Je_oˉ̟#g-X =ߺl4S]3ojzBNBD 2'_;ߪ*%G<27gF OZkI=my,Ț6u-R gT!~p74VG ")ٞ"RW:1IFIPq`->"vi =u2}v?kZkB7wxb|$}^7$?~`_;oGdL`269J=_nh!A6>jxcJ_$#Q\, B?eR*)kX`iRaHc $g nHC*'EKmа-#g6Hg۟;hfN/(D?0E/{GzLM۽7{ʄ'~\;CFGJ)( c(WL1އwMtq44wɠe4o ?PA5 q?MR2M7#XM3Pb`miZ0*"At(a'+ VdRy?rݜZsvZF#߱T6 vN4Sj(Șq{4@>_tF bsqbpSXZ 37T[ 55T ,w_68g7'nJ.J1wgRaӸ|?h^=?up1ߍ0&)7k*>H΃>G]f ^;Pa±xǑlŸObRHZ{=Wq簞@7arjӳ8Rۂ%ǥe P%W #Յ{6{..ِq wtn#k׍JiU(.Z|ZhFFrpRzN4 X"k\ n忆wzGHLW ߐޑ `U/ 0-i- @jpO+ %OGtSa}et^G"'UrVAA8&}՞pˡ8Tv=<r#9ae\@MdP>_1 N̶Ovf\қ -ؒNk\=/R/KN"b vŲGj:I2g؄D BDx nد"j})v .k.6Rlj[Тt6P}i(9.DQVaO7^;b:Df6MH/h pqHDHcI%O|t^"NY|d}9= A"jFNe j L#>jmI:Vv y>QiQPWf,n 4JU` :4<" ϗ4ń#IYq*.~fx;z<TS4R :E OhS12;VZπ{ܭI^yk⁗H F)7hQx3^Nt/=[1?(`yE U٧cy|c''bs!3_GrT'hk c >9Mbl $ >\~ۮ?  '1\;V #.ƊEˋ!^:\l hV7 xNe;8*v=pW ma~z>zhĝVEtj%],Xֱ;v|#Lyso|'E"y+.M5 >``cx27? R:o$Qu74߇2lD9y2^,!'XV 2<ʻD(ԉ6o!_?Ni{SvT[{k n9@s -C+?P~er^6%Tӧ']6KɔbR`zBʩ uWC*UݘIxI!tFD5_, |^Nv ĽiS@\Z^{h ' iӻQ IEĸ*$ '2כ0* W`ii2ƅbf-g em#̚Yݽ ##e\R֢%b}VY`*w$]||_$\](#MwE+/ ̓^mUy?vX4.^363kxq \%C,-1W'>. ۳{rL;z*G#.Nl_lI(g| U®ɱ R8tT:/ъ$"`)!cK|g:(QO=m5^ O%.D'{!5hBKiD @ DZcaƛ/rQt.[d4^ \յ/,/Lo>5a祣Iy_vs;Xbr4.3YFbfJFtحtL7PLoO8qi@"1Y$~|ax&!'㸛/3ӂ6i/XD+[! 5xTY"1cgٶ  p]fA.`@whڱ3bݠPu\~D'h洛:_WfY WW So݊Wk {D2vBmvاG9(|aNac!i%;1Z? 1C.1l#:G k ",o赤󤘳u]LAR%8<0&`Q&4lș!f?0b k=Iod,#bx=63fity[ѡE贃"&7SJM&B*l̩%;6L#BuQZ%OO>~>)kz92Ob-x|;j7Gܹ=XOPBvE>?0E%*:[az-5xYn ЗJ /Ɖz])i,ޑԒp̰#;b"3} pJc_J@dR}VKn21.B/"]}(D;9:wi."ɡ\ 2Hsct=- .*:̶PLǔ𘬨8;S0@K7bT:TzC)!hwyf)Yk,͍\G@yu0Blw^ k\3>Rٯ8 B|Jn'v{؂ɋȲUJE]eM$Хuoâ8Ξծ ^"Y{idnLEXQ bQ_!R0hC}2:R#ǂD*u: \Q{0]kܵqj4 $qZɒ%|˞zý6ٷ( #mXij r&]M ` J0a}+M}_(q_݈_'>UNAVtΨƥRMl6;4n1q3Y/WMy[l-^|'NgXݒrj~9N!B)C_b}UP\ew@MG*>Yv>:ds8VU! Qp0ʴs "[.".~C:yO{ Sa +elZony'ӇYX`R\W9yx/SEAz"^/;cp}UPpe({:uT f/ԏ ;}s XYGM9#9ٝ h Ym.(Z~(ij23@ /瑼&(ˠi4V(2|r&i0z},ߞO[[Qڱ_DQLٺ0_tHvPΖve0MxW^iukU3! ĩS4lU #e* +%aPsWXzo& )0gДbz v5[: eIG@QCkìck*j!r9U=;bp|ʏt2'3$LB:\Z9}'qɫ~atPTl+qv :d]m#\y&^$8`N_[gc=6_CH3k]>cgiSE֙FRV"l /+aԇYs#la8 %(HzΛV`҇-AS(kF9"\:cɜQ mwwiz~iO9 YZJjt(ĹPx+TɁ-7)ѡ'/ч )]>6I6 -|zHOi;2OKĈygü,orn'S%I$kB.Q͸:.vdH C>eyg02fe 㔂3 RHѸ5UwuS;=x7"8.M.poT3ܻfDŎч6N_MNt#c}` _T=l;6C-(e/;sɘl5 l&DL!%{1XZJ{&Q/L֐w*0-Onr>WK7?Kgo1P`QxE1 xfv^ (D;Le9FCΈ\лe+&٧3=4 c@ ~µ~ "F=E2 :TDwYB:DQWReYxx{B͡tv G3`&䚏.ItFajlãwOH-6'N:YXYeTCv\ Z*(, ƴ&\Eh9}1-h1hM7'(;o)c8cD?)nҔ.lй7tP@{R-+0ϧn;g {Fh:V}Kkk+E!ޑ8$;VS}MwK6/3nx*kl}(QpCPU"X֨StSGpZ[2O%Ol/y{W9qU_rz`cR>odsVxA@FBa {t[ԀjztA[/8WMf42aKNhV&`o\d-_'`%M(*xdwyt3E|azQ9A~SafvfG~4d.㗼ZyCtokC5N֗9?P=Xq KqORՠPH_1w<,\N%,2 Ys '&OTr<~ò72{r ?}78;G@~FOGڼ]l3/1.S~ Y{2`fd{ fqfov<y-ݔ+&v[UeV3kfOk_s_Z.3n3xcf n*biaj ؝=1JNg!yEO򨁉#NxDY-Z^a$4Ҡgyt%}1g4[(*-EkE\X6hQ_ 't"IfmmyKO$h@XjKT]|1bR *2sē" o Q |¸ytD2xZ䵸*sT )/q3-\4 {sJP f3p0^Z+z@sY'FɚxA( t XQ|7s^L etW#O$5ݣd+nЯBd}O:D&ٱ0*hD36oȫ|h@.L%LJ5":VP#Ч-t MtyPiVÉgce#oʴ|_uN:14M[8a -Ӣ*Tn\Lnqa%] U#P~WސTϟ3w d6dGDq`)je_v6tdy Y~uge<* S^ߣ}$%[X'Q_+[yfQf&nJ?>ia@.`m̴$D|J)/}7Gr_mJE<5[EE-]]_>4}T\]mOF}In/̔ǣ Ζ@'FSڹ⨗7>+LJAX9[Ǯ>Ǫ6\j)@A[~ CYpJK4=t3Q΋Wu{sDTR@#ˣcQnƞ?'bn>L^ :)WiۨZЍīHTJ lyYQm˃ :u-DE*H6i ZO}}C" }pR6-ȓ^CZK 0:,m#Bek?FIJݣ6hkh(R*z]?\F "5g3%˧q& E@V൒;Ӈmvdz&+{^_,)Iv{=^%)= |G w5qjjQ'P2{V2-yF4_gLC Nl'X ;5VʚDp>3)aFA`9͟H%b&Ӣ1F|"ϔ::Q';m0fvM1AG _ /F=HÛ4RBiq5lv+=‰vC]-G-`qaoPu kѧ#!X_8WH\F>shGL64 y:S.X MhsuY;4;5(H*"~s:mBA2 kb>{'^gdZ(('l7)TSgPҿBHzԵyL_^=.J#AC2y{e$7 K ma-L!2J)iW!Tؿ%ޥ[gRt$G5$ATCpl%z{4\ݞYő*a,1ȯgnscյëka۔-Y~F1L&tYLu MefY=5 | >a5jRt:c@#R8 ~qXGD]'Ei9 +Wgo:S-B-/ﵲiB?E^z30b6D{ n- b2 ݃E&DtHDC0*q&ӿ,s83}we;S7^g<^9! O! "X8*4ھRfJTg!)t9#/YcKk (3c5,Z.>+f}:`<fRt]jic/h`c~턠XHKD4!Ş::ː=@ͥ5+ntŦ͝x(9a|}n thstR5IZq Hqr|Vmj V<߷{ݺ ."yp[*ApН+![Crz:M [B>FLO25RU5 4bc6׾ܔ^`fټx~#QŞ{O%;b^n!K붇C& s9\1ǭ5MMmس~y(h*:y,JQu?Kn7/EC!ꡔeNR`M&ٺ2.@!N~Q 1rZ[;@5f(uSfd5OwEfr.(;=^BD8m*mMJ܈SK>ۤ.:Z|[u+K!xa(&Cs45j蛜Qtl#HF>32_%Jqd` H=woEušCdp#@$]^E*fq j˔2L??+h ~d*GذQ .$,S\(TK,fB$Ӛ2theN9Cz57e.UP==b=O+ m o5R U-đtIkn`45х-ej司b9飰 Ȇ6sd "f"Y|4pMԼfKV0d J<:[BUVDRxE |111ԎHt;ě9 l/#P觵!*ri1BTPQ]RϮWSK[e'ߝ/O{l0=ZqmE;q7bǻ-:)mEh!(Na-{ݘc |**?;b{eѓmkYܝt 4Yo\Gms\5m=sP@aJMT NRg(am["LDϴslgiKp"><]i^l>F8\g14?h ߔ:d|1dy&8̓~c䴉*B ޕԅ3AI;9n8ъF-GU⹘0CX%)W3+ָtn7Td12%G:%`\W` &kT, Ֆ"a/3|?PuA/p1,W4ta=7BW؇9j+~_Z;P8.N j$ٔJPjkLa͢i O.5 N5A( O#NmCFi)\ȏ:y߱^O^hD5h ׮G:%ZBX"2%tR$~.a,*wh.Zɷd4ůTn83aW }_b˴n3J4CV5X)r mp6b:I裑( ,8^pu>8Mf(nk0jХYs8aC{] 9s;Z;/vLLFgu&1AGQA:rݩDzܮ}Y0l'zGENpd0LEaaaBkI J%7 KA{N,ҡ"6s iOt/]&n,nWz93 X~(T"mlçz~! (W0ާ}9@d0 [WBؼЂieІވ߲h7-VtzO`N.0K8t`4<]__ Um::' Jca, &xmo]`ߙS7Woz7~#0lVWJ޻2'&dAv?NBhW4#؆_9pf y0N![F9|qRO KX&t%9!9ԑDLُ+$ fh ;JUD.C\&lBٝb@+͕wpd1cstwp">MG!՞ qZ} ?hawT3~!i@fpѤ`bLae^pvd#PW%e":Zw&I8kP  \dpݻFVx ۸.eߓۏ0N \%f8y 8I/Gpy/͐ qXxM}eȘ6 ǀWH\lK1t-ĸVtNPnE[z$Ǯc-Xlv= o3y#g?(SBl>VfX~8}[2[W%XOyBn2+MGj&.?T茕C\DICn\'O]"ĆwڃBu^rJXpBZlN"♏k X{*6 gv4{1({ǵ)54 i9}*,`]심Sh]7γ=3 ђrF.Ӂq*pTa,ER |8};{W鵻*/- u͚qv.*RZ*;]$)Msʘw+GعB[_qթD%<&7Y|P{P- W'Le5..ׅKܿhZ\S10;Emxa}UҚ!0}_: l;OյI9 VPV JfYJ1k F%ݻ0cwEOFG?z>pҬwk_E89DϬog4^m7w9, ܼJDg ee}s?eUҶL )+FИLi AALUƝg6I$T` Xjw~!Jya>ع+Lh4' K ;XJ ~-.J G؈&Cf>X?ZO)PάWskXWSk mUwעy I*c'>g}^-Jz̔w+FA%S*E* 1 1VpVLSPB ]n%g"F4$@=T_q c4 r⋰/ZI\.UA 5cq#f'vS<]V1]v5HC%Z!wJ~+F_ڵفSHD rv%JWүqF'-7j7)v ]02ـ˰J^o6kvp u/xQh*vWrYW2]7:qye /AOQg;m ]S>n]x 6Bj[˴ 6wFJ[<=xOuOW1F=vzd/wQ74bȲ1,LSv59+-i Ŧ`@!Ex3M+t&7֎%>6R2d>i7թa( s Bns 6Ka絉2R0{]ÌמI-OPR Ӂr6Q|Z28ά^ tN1 2UӛrM'盾ɋ7jy* D4MV9!\eO]rL;űߧmcg myS'z2I (]Jzev4iF5])>&t%d33{ȳwcKR D k)< Y"{Q&T]qzK8D}D.[߇:Lk1'3Ef}^G$R5 ^`d"IKή6&Ϡuֿ3(=liPau4ԙ)bؗ/ ŴӋ XT˪:s+*r'1yL{Iea8tANa1*BYn\՘rӡ,]gl3r*6d)Lo@Sh83l؇PηI@dm6c)S; %*ɤH9*29s#e !e\HWU8b{$ǞG/K̾:-+zxUp=|{%-ӥ#5F,V1|q1mj%m &̤2PPb׋}(ҙI v N#,[v#ATmϡR1ۤRzݝ0Y0vĪ+f̻u !A`cL?xm)K.iii֐|2B߽^W#cBTj7P,5"Ӣ f,o!CQfKF9 SHyI^GyuF`NÞo%xr]p @gf^nnO^ܼm-Ky>Rer%A8nj>^mpjs= ֫EZf͢p-ggBDd赬 ܿB^ =H6D,jyMAO42k? 菜.73#Iix$͛\c^ L>L9y?itvNYtUɍ"?weKbQaa%y~pFU+VK#>@UGk4ŕSZ6t2vu _"x4.€7=DKͩEs_y⼚u|]G&m+UUyxFxd{Tn>gz{hS1p}dw1"IWcROI#p,F?iW|go*t4S}q-<R(YΔՉv;=DٝF>~Ւ ˲P]};„ўw\ =\#ˑpd&pZHlkؓ¨E ;+VɪC4{u@#*سOz3 Z/øۧq+4Mevav]5~آg5!&'wj\*{ZԭOMv]6z拀$F$˨8Vr4w i#ϸQeA81f Z5Qq:ynZ{k&7r3?Ĝ'4Uƽ+ YA*$P?ɀ; F$$dxw= {W)pvYi3w%,ߕzeъφ$z=/,yFIe8yt@s}0cۦcd H-HBo c7¬=ANVAm.;tHo|J눛aF,|HfaK6b|uW%ďn^N} svaYmLt059qLޗd+5F{-惕3 P{Upw1 %ќR#* 9491a]QNwW{l͓8T:CgDN35ύ04@}Lɦ#K3v1Q瀦A n َ?"6VuNbmb]!%!oA9}&\/٬h E]? d2 BCn vV+ǥa}-`NӈiC%_]4TWE_xS܋kM}d=T.ՈqFGHJPiQ|?qLunJLbh5 JB?] "~2T/W G믟 ͛"wIչ^>NSmݕpǖ痗L[.kIJTHkG!]2EB4ߟ! =CD- bg#>N2FEb4o:82F}zT ͕|\'h=2F#/xCᜃ8%yxwax| 'п[۠jp+;['&1a;F n7y_S]79ҚmNeHfLԨ;CKYU=*]T#R^&ejo-|'xIU\ UpTNx6ߓuU`# ;tw_څ;83ʹ1!84R*QTFLCz/$]@@/ɞ-HhĬ(ZW;A-Ozӽ1jwrx0A 4&M\2P,-ұF\Ξ^|O'B204:IQ}goU9}W\Jtp} uHҮXn2IkRm\lAC>Ԇ笾L"jz3NaݑpHjkbpLqTۘ^~LԜ VgYZ 77F!% TJEditJEdit.Basedocument.tex7zXZִF! a]A-MՋhvG"uIBm5Am)v6[1j\KRZ:3Cw2Rm;r,udcj-7*ڶ_7x5sC} ?5!"H[R(T5k:㷔ؒPV,3;Gi^x6X.ܹ̰&c|6LHہ%gl7)չ6ߖ%\h}Ќ,% {, WxAn@=,`駞XZyk `h--2. 1y`6zgYZ <<#% |JEditJEdit.JEditdocument.tex7zXZִF! i׎8]A-MՋhvG"uIBm5~m;\hQj$!0lӴԻ_wb-e=! %Eˑg@k`S߂Zg}Nv:`%cܗB:T;I/bjh#P4D\7ۗi/&Ee*8~5TLc+dov>"L^.@#? S!D}u"f(Q=6%xF@ZTs/ g*7w}ƽ)cDܗm*32ro]#~6 {ś:q{K8#&A׃J y .NfbɬDpef7Zp<Jq n2.Q/al3:Ǿ=><V&>h',9sgF%jrՑi" 6_@ 7wC d9#/F{95 H= 8w^=@|$V]OW?H/,Cyw>j ޏ|xt,P8%ygLO" Ě-zdzacTaWC!JcLܝ"fkWH0dpjahQ% {0},nrNO/LK ܣW;&D&P]T mjyr!2m[%2ձ&1!u8"  h58}3,Od|υPC+]fusiШ_LAiLv;4ՙ[6eҋ%~e33ZBޮmIЉ.%5s_?P` YݖLxD%Ju" l(0@pU.J)$P#(s,Bm'Ztxx =W$psfM;ydDP@BSUq`E\lH'0{z'D @7 _XA%NPcrE Sy#byP><}y+w6ff/;G ?[cf/ƋtT9b0qԹִ3U, 3,;#`VAh7ԡ"T(B7h "YK0_[d.il)1*e㇆ oD2hSJ'%\\C4Ip ]e4ۏjv7s;PW^ܥٳ. \ڐBQ6|TїwDG| ̸0Gj׫ |Cjh7;" fL>b@2D&zƵF,´>9g; j(G '(t'eוFm@S>9{_@ OV`ݪQ#?JppXY+4*O qp; ۿLgr"@'x;V+IXGaCmL'bߑ=*T2YYWS|?̑¿wNAlfc \9v̋O ڢnJ|ǜ4fi ab6,T,}u(${P0D֍!WUe؎O>O6#y٦NBK'm=(J쒫8Ddr[ţ].}IUf#bUMjyy\-R!*[x0ɒƖ99ǡ\LHB@}"N c yb|H;Zt25oD'[EBY;}m^[@+QQԏVُs:stuj#CU[g :<󗐬B66t0: 6VPRM*x;OQ 'z%?_Ow$1$nŚD^I`.b·( B :!nF$Q_E5&؋ MM!U*x¢bVe\|ifu)&a=I!6|(+Nx&&@@X3;t*A-=VFԱ o6FF."d1_M V*iOTB覷ɔ ata 1{]%&4k3"[[/Is ^d-8j(4.埪qLTV+br%[kXS2W\;@wxYZ~':O`FJKˈy^hqex!Kc[?U1Hel2*򔞈TD~J&fc ږW&q8)g3x5 PEïZ (=r_H9fB:DO0_mɥVb-Ў 5vd\%-!0)tf^j\hъA9%ߏHS/G_|ս <{ kG}PVsY-IXɕ|Bp/)v/X2~+$+w6?ˣ]a2MB?֏5tݵ$dN DbTj@;ƘqtP1T`:tfn>Xǥgyl~ǙUl~Dxw{Nr/X47ㅣ}`ņ۹ vMؙa> h!},6֋>]mw VS `el?.ZTʡ ;vWvJB .Ŕ۷Og|R.o,`ɕ Wƿ|2v5eoI2!04_%',"a[}稂Uk,?đܣ}"FXd DFRd-DĆH^Ȼ۰\/eQK^2efp ͽ8aՎN#OTNa`?&eY! JCf{A@}NaUg>Sw #+QbNDžNdR>WqV5|M#3WHWڰshRgmwSlKFSؖbIC(`8,o ?667}g oqH)L(C7p~;wsiHˀ˪~ܾ[L̜ФD6hp'͛C1W °2UL7iݎPxb32DQ1zCxܸfLAZä9