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.585cpu=0.656gc=0.000factor=1.127zXZִF! Q::file=~~/src/Doc/JEdit/Base.thyoffset=54name=ML_fileelapsed=0.122CtI9YjR:}YZ7zXZִF! ~I]ŗXiɟ :R|fcF~3uƑU:BGRU\qR,w[$[M?o"o @ӏoUv6g퐎7V\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^sVqדNZ~+޲>SПCࡓ2ڏ'>;M̙ȌP= <=Q#S%G1mtD yY"V-oQ⇣o|7 nM()Gp9˅ְ+}Du;0&vf1!lLJX̥^I)mS<ڹx\w1ʅVg]hsQ0ËIH>GCC%ݠ!,-W~ WD 3q9uI[8NI'ɇQŕ<7xvB}_c[ôe@Ga|3^S6q%|)I`r\\BV.s1 *F9KnVʧzIwM1S}|zx#[/ 0GCPL;uQ꠿\ݏ~QQ4w:7ӂѐ31 \GN[m͑1Xjj?+* 5#L_#? eYiU_rWk4G2+öp.96XN8<`{"  s$vwI998xps*&9',{SE2aɎb@-4L}/)3[1~:?єd¸4x.o26-ِX]1'7;I UI0lYѵή\9/mU6g1ܩVO?&¼+ްh:[d1>Ž;c&Wh$"p}`THSX<E3X'V"ۘnukB:oZ0Ǣ9u*L!Ub:l5bC4-__}jGfcE5bښSC*,:>S\J\}4ΌMgGe W\  (^RDz+Z~|t&RꕂTʙX& &jXRMw;`.z|3)$Ѥ<]=F3R6RCa!4{jTCާ>DZ>ٰAqq9nQTCՖPk:T\,O#lU'`&8@PT$ju`u=|OUW; TʼnU2)a;1wG#_[P]E,L}ʁƺ85"rvNG *S*5pݪ {o8?(˙D5+ ~n[Ş U;WP>gm(G,z ĬPwVE↞=I5͒aUh,ˬ^-aʓ_t37֟H|Bi34w"XRJ24|w$0&L,.#OTN|>IF 9ɜB @^pY>`IBlOH:Օ")EN̔"rWb#]|GѾIžKb]%*?ɁXJ32ʶIŁ̱e& ^7$ E6(Eч`a8j2Ƽs5yjd7%~D/𤿢ys_xT,1H/1<eenXc7GfP:[:,Dq&Nzg"ްC?;L.8bu]ƺRɺraO+"_i; t4⹊0' 羵 >>Ogu[;q>\nx: ~E@>y {ϭ9{3n/̪>{Lvҧ678|LKTe %PwEo:ictp]e+_;Ȇl' d[F~b)tXD@ {ԟ&q*WBڕV *BxIvǕ4whB1”%>+,p߃^Txq"#!?7}̆ ~s~KYͳ;d"0M[؁Ik] \acø^U;y_GNd$ Ƚ6:WbhGg _fT@ҁ!\c׀m*dF2%ZGƬq d$_r|t nZYb%%X\8ǀ]!h:h:. ՄBq2O˒psc+\Q0JU-6iFHQSVVx b4`tQIo7_(A Ȉzu@,89)q Z/ly3p*SPi0^Go~Fzt#iE{)K#:b/0rky,ߢŽx'G#I,hAY|| 7r_puto+zk9-FEe,h5̯N`>FFe+Mh-׳ָi$8 b>ψLZhhL}Z SR1ȋp%ٮkQ:S63SՔڻ\ȂUeYHSh?)v |!d2Tm|WNFb""USI;BQPs"<$,Δlh3#UV-Qwhh\dԘ`U.qchUqZy%{.GG}mgZHQ&v!~&Ih q^O0r Ԧ :Ha=<"]kA2ꤗ^!W2O7 W@FҼiusYwD>HQ!v O]dk7uKұh6T_Wi)V/\p:Qn42]%bH#Hޙw 6%uĕs# gA0R}cy]ʊ<ԃ \A#Țփxxb.&3hNQ+Os (ȮH"\阫B!kӉsmXߋx[`޴6IH+v#.I[JFU/; #]% ǷXZ`n~x3.8Lp2D05! WA\7HKه^i1Z>;} E80slr]CGd^P:7[A`QNZ^o *}wi,ϼP%lVv4K Aj**7%A#-\#RH#-4a;qY9g?9v筕Sжn')cjכ >FiپNz QZZI"B)WZ9~plp}3G:MHw˹Q (pVrEb\pQ jS8> ZI^dJ-,U/Pn pP VQp"GD_?#Z5?F uLXLzDT}Vш6Qs}1 c 6O=ee 9Ŧ*1;]ԣ/+`I;ƠqB.̈a[z |_S'h$]o m-֋Q 8aOu_K뮔 8Dps~ Mxl!'W,B 3Xj׽ķ0{GȪUD+ȯIU)I_pjFx]st I*rT^5qEs`V5(|}nfe;-6z$n |*grb<$2(u`TYf,3*>DՊp))P]\2բ<6 h.efbZf|zcE>j1<ګ䖲 Yz?EWZ[C=\-=yzJkGvU`؁ _1Es>tׄci:2D:Np½Nk W7؆Uw]5HZ`BTH7 NOTF J}ySr[`̱:iΪDk9Nf3Ф+?o)2.(bMY&WMw0mnja9ݙ`4LZ/Ώ̫4O~ܔ8Dm~h͈'vW{GdW֡]*;u//wXs#us3QJeѸR "q$6<$= yyU[0gΡs9wJ"BR>GBxDgK 8𪸵;vYH utCVAB.0\9oVO*3md'O@`Q&N]ᱡeii;:8t'meQF%̊yy\_Qv;6ɛ~;chMTwY48Y@UUz~RoM'O4C&('HI h^@TXE_ՊcX͗0Edy5<׷r0q|jv9R@#(J @;EVn-o;w9k:)k;I UWt g;ITN7@=i]EB7:F&sjFce,R"6|YWܽ`7Q!)+Ғ2 y3 4AO(?Vn _Mkt $k6Ȃ?KlZjEG`#{o`叩_YTF nȚ'DŸ}h'~{ 3[*IE&;DXj"|φ 'Ⰼ.Ϧj#V K/%.yfPu>478ή "~H"|yyq j1GKcDqӇ CF `u- Ԫ(ͧ 3ӂ~c&QXyhr;e~Es2P*7X7K` #oQaB7!FH#5w"ݿ[[X`/cfK zH´WhLƈ4t1֣@m[4ةDS9y.{)uk^zƾT"MYebg2@>{sJK`@~ɺ(iA՜Ӕ%Oľ]H]RfaB \3ntyb/Bt lw.R^{w'Dr5><r^]KKa=9 7Q 5R=O6Տo}YC:<pHv1 WNCh=fqїR ץmkBjaD%SvIlpl'd~\,qBc.B^t\H*(i8 K5' J"۾э`[L0vyݙ bVUY 2è Kx@Ү^N&`ͪQh>#b1$a"& DLD;N@ţ nSPץI+RSAGT^iom(ڎ_żfS m*us-jH`=䒠tn~̸CgZ9R(jx-P^m[qEN]҇e@Iz O_=cgHt%DA^Ou8 +s]hqGi lWTSA+q{-y}Q4m3fK.EC*J9,'s!zU8,Dr؉2!GBOmWB;$ʁF *Jw,]&cq䤝8t]{TG١l W%M4{?$Kb댟q,r*Hria}(զzxBPGq&sgDt1-Q# 6K1s(g"8&j;'c_%"xFn;+W(15Qn< nUlf$uNߩ0l]fqF8PtmȪ`4?Ja)m Y u_w mȤA8ϣqA7_[Ηôl2$A~•*&;2cCc{ĭhn ؈1XX,ISA=­HͩxO{2)Moe|uH)xei` -¡FV~-yC"$ۮ jewRB.QjD§2AR@HE!]4Ut}&{$ElYZϝ+G,+MCg@MKB.,Ŧ6X[ $<܈JIJ`\:zfO DsZ8P /9փ&Jz%ϧʁ$]uŽx*%F liaF@`gw.a=.˗ͣ2֍"oSlKvʷ]=r6N˕mAY\0m^+(2ˊ05Zg$6\QNGm QB=TbT%p^,*(2n+@sg&s"P1g#w':Ŀ4If-נj|U 'B0k:+}i2c8Ufyめ~!o=_;artY173 =A[ c14C"dpsPV[m۩6WW缴-en~#W$xU )x-zFg( YIMۜR;1sԗxr7ӷ?X;91q~ a ʜޗ۹8D2r׷) ^O5!0 fDdm=N+۲jILYvJa)WW/"lcJ@7ts'0&ux$YYVX?אbh뉈wZ?nOϧx֭:+Y,I7SE!f܄Bcf]^6##I8> (Y7KյjR?ĴF!{lLB( 5'Î^!|DlcKؓ2\~ Ц FYLO"]Q89ŏV WKղ N7Md4FZѥ#dD;wT:ֵe.65ͥg?"MYUA9k|5ϲ|hh [f7\PFhbO0lPRh)u,CΆCG:Re$&rL g*ZPi=D:~fQs3C59>;} /66R=ꥇ"CSPT݂.1T%/@n6+^#B|.:W"[ՙhM9ѳTVSPd @mh_ظ'|׮ʼnڡL=f/; <1<&#&eݮGsy+Z<4j}mzbUơyJÔONND*"Ž4F+aR&UA!vWG0!"8(HC&0DR &' l2IWj`o".ˑ0j8g'M(8be`HvzG$Shtqaܯ/CjӕS[>LG9znv `ًG~ :FXS}Q\ImZc4[.Ƴg 5{RqΝқ6\ %E!-p[ŝ f=^r&KnWBGIOุ^رcBC;yB$k'WڲV+d:{ΛC`"t\+ir:m `.3xOjLoG5'2!O _p%fTA8A ) ۼmȆE9r?3_?ŦC0*I@uD#I qcհ rӝIի!k4rQ2@%bP01 d?vCaWiGLY;;uk)UI_Q{-Mu I]־ݢh!9Twc&X\V4SۊNEaN hRzu(CmȽh ɓln!j_^B"Mq?;Ag^QR QB8:С]nDnT+|*5K1+Z7=]U렿Xɪ9vN:F> ޷r26W%yFFXFFJNeܱTA_2K P#M K@1Iugin_YTT7L焛s1LHYyJusöOa7v=d>|`rd@ ͢2ЯXj8^=Xˆm}S.۫g h9nl8oE~w/%yG-YX`[/@|,=҉KI`)9˧$MMO&7a'IMĈy@?+-V~5E9U`dy GG@O ԙ8TeBHy+}W |`̻Kz~)R52^?AAR=ʋ I!y>R8(|VdEad]f|?$}Ct?0TqhVV'5b<;H[4C1HM3_pW!/R5G(JΐЭ>Qug4D|>`,82wHׂ> eRuڅ5_gE*pB/j8ۆC2g$#:ZYM3iUD%';Wn @CvRdmSjU0QxzOTr E@yAr,R-SBxΩ-H@:a *WgY0.Vqd ](dajKWI8CqG| HW,A)~3t `83\z-pL.PU>lN|R=J{v{]cod}ޣpnF5:řgCDM_~f ?ְH0UGSmw5P5u|%d)4 N _Q ^,߁WBv2ar@bUT+P-^݀$a5ᣈ[7>GF]a_%s=הb1O`5SizK/dX96T6[Z|`r$]}EK^ M4J : 8yPW?⬵D2\`,Ya ̥l5u$?Jr:7HEm·qyJzw5ʹ!^|܃!-3ͨ8!\_8YR0W%9NPs)t,2'R7)p#s,Ns;bU;XVҌ*ղ}5 ` Ïw<@\\rFk+L<˻ۼ<׀82qЋ;dڜcCs[]eG([ p>6[VZv7[z9lyj`O+I=l%=6*5Bl''a ˣ)eV bNGm>#U6T4b} &豾Jf|d߷ܢ7H7BҎ퟈JlE,QZR3]gL,-~d M1۱4bkmW`@֨iٵ(:HS+Q@:8SN2fE؞?1&^qv'3v]T |=/w(3 ~cע=@PS Z>_ P1^}qϫwUZ Rl%ΥBpJ^S,')˪kwn X+߅CL)qD}x4v6[TQV[H- {L Ԅ-]~4B^0㠳(fa-E,}#۝`=0DR].r重,6mo'a=^*'ǰ}<=+\GϏ'AɛeL{krU;*/Λl<yxڶaNug-F,5weVC*mͭyČaD:0CK"B~[iTȕ29g(4uMm j?ƮA҆TR,?* <^^ j#wY/\ua</G¼J\] 0#5TSrgZ=B`Q Q[ \l-HCIP%x#~&lYGO,87B\.u?>,!_.庮G1ⱸIq P}>N0fE ԫV%>6NTʅ͘_(&M2E_Κ洭wXo؜ҳu" F-UhԘ˨A2ae=ّ7ckl*u#jلc[J滛ؐ)䗚ɉ =*鯋y9&KTQC"x0bn u4HT2 K2=[tXt,(x8Dū*GiwV1fh ϦR_H4]R3fRpW*vy\25wT R7%JK Rޓă~v+4res[6t]V]rx3@uFH-z~PDάj2DPRTu\}(& Mb"jU~]~Tζ Qo'AUq, %@0[XIKX2FG) zdTY bS4RQA^;C3? Q\ TV1's^x*[﫿մT:V@iժwWIQVzFIS#Q*wؑg~544DVq|YQ\ nٺgb5(K<@cGd*/:1f)_6}쾀hQU[1_o;Y˖Ut۴6H6W+~&4 װ mQৠ|&p\"MQshF]N&eN;+KQ@TYY4ڐ|@:ϤM?,=4=B/~ (be+ʂ:ŮzeD{SpǴvJd8~k!pɗGm`D ,6]&7`MH;}1Rd%"-0cܲxs/!>] ؍$w)I+jh$2*i\SIߊk{(fŒgk'NLE=Ys~VDaO<`s9)\V|s"#L Ty4nCk sE!]93ȉ_~3ĈȈ}UOuzPʀ? GGONvTsu'Lkc/}þ ך_ ϪꘛKY@c1p "VC>QM=De* h>l S *ν9g)#[$r$` <0ܺeCrI `IgKV6_Akٌ^  ZY;t="[XmRƄna:2Q|NU1ʇNEBaCbafDD~u%Zbj7xbe*shxę Y!" qcT!r5޽60R9nv(UK=@3F=wUv]4l_A\[TZ'I صZz&+9 z>Qq|mjq2"qyOXz@9kB=<BZWt~tSr !G@3WvonmZ D𘷮O.()LbjmUxkT򦭂W9 '0cuI").uQS˺h^Zʖc0ئahQf+w%qv퓴h}eA0qȰ:ں uV$x4ae.@~A2AǪW2"P #xۓGSlh+ȴA\V=MiDŽkjLۓ1h+17 f2i35ֽ1ZE(bChwOv82p#eJIj4NJKT2Zn:詾1PCVm $ (yh3)=3,(]Fu~lTR}]л0罕sو"ꔷ &&wbpL䫔*iaԙEQ="Vb5ؖnθ؛KvCNqp&AomN$@7P G'@ Z6}$iIv)– T7+! (|S@{:>@ƁhMXcNjϯy~YڦsBQCX@9"9LL6r㟬ɥt9̅;4_kOv5VE@hZv] HdFAzSE27_n&+ ,HML1UyB<琶 .wyJ( 9;FwpbSTC);_@%64W?z/HHG>ui1 ,z1V?z}'Ç ZC+ *4AbbŊuK6xesmw1:J;7Dʐ5>WJ=C G$~^_|3"4vC&c+N~ ~P0fΪcYԑ"7%X3ҞƑF ow P^W9pTh))j(. #g3?W$9*,@Tqj猆%ߊ|Un8744Av k!<~P4"371a2G4 mn7\.Ug+"OH5;FLK`tV}.=#)]3$"eu5/ul&o LA@'ylTΦ9 X ԣɵR~ݲ{u?[V/ wGyokT 5Xb 5ʆ4}YG.4z} :J@ | "x@1+[N(O|ֻ-4X1J=1?g++^ BmE/ҔFrt?1ķe&sD)NƗˡ[wDVl%QW[ܱnNQ-'L?\jR=X(5A9],2bn2. ~,LXmdXbw 1tTWnP^^ud uex<}jۥ]@98_{D2H/[5IiIjƭ0)%t{٤.ܗSye/`$\0sfR6`i9.šd~++gE{-gҙ'>ՖL2;r).ttO9,CZ7 m>F ~1KƄЬ8S3ꕺ*lLcsݰ||t[?R ε$ՐJf&ܪ{jrKa)9_1DnU8x^T[;S)6:s{UÙlRLϨhl+oC?]?'* a/]gnIIe^(;M'0IN*oFhqF@(4gcgpZJ;~H|!AVwNaq6ΉdݸDr0AS&Mɦ#oF&ܘMU^O($#|َ[0./eu8_{|[cGfB˜:=1$8:Y,|z21XH82fo&Ϋ#6@Tov^LEQ$2[60  8xx: a&1^Ӹ@Ih0NQ֧!-k*8.rP،  < DnMQh3JՆ=nǮ:wX=X g]Iix֞l ߪ⼔R584:b\x[lgk@i<}k"ҿѥ whM0Nay ;b!8Qs*'amv)WS 9B3O䡵ddKqPqjŐ銁#)i$Z-3Oɷ}#V:Wv wS[$4K|PZcjmAmXG(X"Zc"v10,;D`RltbЬ4)l."h z9~_L+gSق,'n58w[eAh 7\g}1ðy@fQR_`4,ҽ \grtYmטPF' nx ysH3ɰ}M'oyxf)8 h7}M={M7FvX:;xF@h Gncc9.mWⵕ[?뒖'Bi,l~l#Ƌ"1L~JoYOB0Je$Y~ t'XZ2rsk~25\K|w~߻.U/|0)~aÅ1Lxh]Ŏ6hj0(6gwX%Am$Nh[t%-=S@-3MciWbՂQ }.[tF=eKVk3 GډWΜq3Cm$s+rm Q*- aCl)F9 TZ!MүFA:qp'!W"ҍU% j+nפ ƶ5.\FPc(A7vlF-`:1]rLj"-C%< +2D$5XbBDz& lV95- Ri݉|}1_-IZ-u!RkG+¦oYCo&Lm,BNnTlidJ17=OvDu Ev?ڄ]d[aSF+N_BI90;[txUPz5s\!<-6|CO2w%\/x$y[ ~1{n^Ug/!_Gs{&jGXXI̝NnRe%ALepVsF4QM3ʯ(bfmQ@3>:U`:#SBY(C#!l?f1NO#Vm8_XrqD>$u.G+, l1Aq #-`b'|ن05leq#Ml#=dVjue•w>}eNv #lHیyNf0Ǭm7B0o΅*tOz|YWl4Juܟ|LCR]4`qlӾK7Ȏ:(m@C4Q-VdTީYLS6U;*([jjtR9z;ATAUQf}.3 a[o\D[oG#5 > ³̐J#)<,1mӎحG;uj}<#/ꮑ.g)Vm^ ;mT^_]W&5E-I\aZc˞'XQrIC{.<'~~w/qO${{~AF%@ė8xY]H:i;Crf35jgWoa 3 wÅxX˲δ͸Gq) #I$`b¤8PIesN#Qag^O@  n jjf+@K&S=2.9zէ]η 0&Ӥ-'G[OsP 57iCmr!`(q`(6x@أ?se(s2GJo 1NݖƖ ̴wQ ʘ(i-̆тiwM|J0D@/F<%x4E!D%xG 2'?m1IwmUIĠkσv͌m DXpƠn.}`|B{;WND{`gQL+|GBU\GcTt[BZXW嘡̱@]Q'I#s VB\V0Fyۯ?;b|1 *+A"t[g+hzi /X r`-V:cxd(}Lv Kv#Cly7$pw2}f6 ;'A1==rw?ZuLZ*{]b KT[XZ_ˣB`<sl=3IW5:VͰ]g{4T_Sm`T] [y)N+eׂWwBo*ߏ kHzMZ#;![|wOÙ 10`/U+\Εq(?c'R"}  Ưz8X&7tCUj'By2Nb/6̊Su7Ѻ+m:G> gr*:X4e=soO2kSNȇ*[% &ms׹h1ǽ4e)5ɡ kZ 6+ _YG kc\dq8E neN pVE<#˔E@ {)[E}/M}Wgh<(!b#Hul^yudA Es:*]7}8&[,^߷%OQjgprӂɕx#klG?Aj!D8"q^ p^˪f?(/=NQ[*5p2jy$c+ IDZN%ڤXlP($5EgYYeu0e@E+<>YF2S/7[)جɰȧ{B 'RT'D=KPnۨI__<Ω]طWoCWRb]2STZe>mY xN:,k0(&?ax>V:LϏt9/D/iV< AsgOzVwqcVp)Y$Sf8ǼFDFx'PP eӀ{, kcZ%]6י`TZO}Ʃ*]^4Qut=}**m-9p%JL"DQf }8+bjVz&?H`fw*k$]:ZoF1[XM]UaUPbfn[DXV X9xU-!Go*oI'3yW'~DJ4⮥cn/{9S>XxKsJ(@}Z!C7 dX{|xě _(~)!5HGYNtg-Lٱ>1,P Y`+ _W;V<ˆAQFn|.Fp>vJE-O0/Q &6wjDEG-+2Q~Rf{l()폧W"cH_Pkb>(u]"SFP:3y_|5ʌYcdߢN\H6oQ6&Hds!& HVЇ] ؖ;ϒ H۾{eՕgV7vOEzY؏>20Jj}AhNOH'O2_L‘@RI&no[hͣr\o ?m+>!SkMfyYlK*hmIrFt UJh}Z*7Q/YL;6  Dg E1Gves*'|NRXJ3ׂCБEV(ýѡqViwp{;[݃K-c8'NڿAfkaV|kd2] TK}`Bk ]ϕ]zGywY0栲g$n߮=y qf=496eӖJlLObLU]3ĥia<1֘b a I`lUuՁHiA|,1 c|^ y~Th {tY&Z:، Y״)AR%MD:j4SXc| ,UâƉ:}|sxXF3Ƈx:o?¾ٱ\03o+]S/gJ#rn~S˃DN^鏀&.adrwz&z }RTW0/ɦpt(lj/Z̙RnƉ1\YXE'No2 lW-@XL Yc0_*:o@n׾'_eǭ=[3a^JAe KVzp  HƆZ^uK !ȱ\[cWX" 0^Ξ}s396d' K3NM.ڝZ \㜂ʿROk!K[ gl:"E͋Bu ޅuvȪ|K򡹱]?C:-*bsg$Z HADsMAS[U**OH ttuCoPo}R/qe,5xZѩTK"١_D=R'h'RmlUhӞ]e*9E@Ȝ/Zs;n+AxX> NQ{6),R:\Cm ?x \P~_?4)@:J$~H%q/_ ;" Dl :*;rd}/LPF)X"L SQ6ܺAjOr[ ]"Zm9.TBkHh=Dɡe Ҷ|ҊN[~/C)=P/[QN )˽# n*hQJwy1A6}$$5n)@p.ڱOC(~+]k: AzI45\*q/iQT^ߔJUXKȔRTKb㹥@z-hMO T!O+$aG[bє,xpIOyOuh:ރTQ9ӛ#ʭt02êa)o_=!4sDQO2A+^ "$ER6ij&&Յ$I8iNdz\_ }>dֳ`<Ӓ'Yيe-5%iqHˇ*v،wn-ay.'ajQ[8#ݗ N/gYZ 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 D#% LJEditJEdit.JEditdocument.tex7zXZִF! i]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̜