SQLite format 3@  .C  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?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 #rL4 ]S HOLCF-FOCUS:threads=4elapsed=4.377cpu=12.528gc=0.2607zXZִF! # ]ŗXiɟ}g7xxo84\`!o.2]nPe}MQlRorVsW6'8P΃Vg3f *v}8~e 0".i[, "LàȱaȽ=A!˝mf8toŬ/p߶@Ȟʺ>z@oKӇ~{?@& \Kun> ;bߕAu?B#WΫ8O~0gЙa{ f7ن^4k8RD2`, uTjn@5+ jynwk Lɘ˱gYZ7zXZִF! ]ŗXi%N bzT]7ZE@{ lL 7PwtBls-r.<kI֥\ OPf[C?0Ql·:E#TKc(8.f:J٥CT$ OEXh93+ )8ϰD/U{G&+yW[{nuN[u@9DzlHJXbC pX4jXY!]1ޠ~E 1A{Ґ* \2LlU=?#'쐯?~qwnϞxCl4Hu(J<(m!1saٷFu W2~heQ_ȩc٘*Û ,)CB.^UPixu#D&qr7`UuxN^KjV2tC]=yi`lbcGDUZ,ssi=HE׋u,!0aO>(15OaKL]4juGSL5*ڪ1ip<7h6gYZ8d81b315532302240772a3ae389feb217a61b29f4b079fe610649cd37f98f05ad7c20586ef43ee64 74523ca0166e9eb6415b2be2253b4d5ef2f75bfe 6c0fa6a4d82c02c4b9dc9c3a2dfc917a3103b2fc 410cd505b779407aea100f04039b498d02f7760b # HOLCF-FOCUS$#9; THOLCF-FOCUSHOLCF-FOCUS.Stream_admdocument/Stream_adm.tex7zXZִF! ]A-MՋhvG"uIBm5ȩBߛ0=_ޠ&T640T+l{S7 6UY0F3q tddbGq\ԫ{~$3R}Oڼj\T_'k5(?INi Au& ?:㷽@a؝?qРjUa3>vRftw,&S+{~fZ+ `,wy:SCYحZZK7 79Ji8DW9^_4>E[9|` Ht|VW@ 5T}blN}'&$Eۖ5l vfPxYw^ yx"!0Uޜe \B1bAn`BgMO?&y r酹8WX#u5džcmg/CȠATw裞!i_ʵ)NzF O2:"3l/N;JWahE3zAgbD SuA;SLo3rN TjM"Wu5m1cNj@%v vLycػbU 7!u0lP٢'m5&I#=\G#3ͅi>4@.Ύk1*m!=br6k7^AC&q8$P{2;jnԐ펮Mr6%+>UyA{F+ cUrݾLdq}w#n>?2H+V}gD;*ݭ ?b1d! T&Ior~ OZڼ[T7sbnؐZDTzJdq|Ghb+2=OOo|NS cZġT΀&zw啮ͩvO7GBWhk.N}罈IO'~GW΀pK tq拇7 }#+ĵF8HB3U|MVҟ&YAW)[pag'9XqHf._umBozhrS5ؒ}Fν~j\oO?*0ޅVڃifL*&!3֝0z8,G`'xa-w_6o]RX-&#X$'Z劚1_/}!aU Xo:Rak>Oyu2Иq|޸}ǥII$P$Vzc 9i3S?I-a,9fD/KNby@sK奦o?-aB`,ғ?(=2Yzt:H-mS0=VMl)Sc¾u gnV"\Bd8ַޔкgLօm*QϑGX5)ŢWlW_ g&lHcXTEL8YBu-PˠЌ/t9‡uÕXmb$g37spFe*5@ۜ(֥0@X)%Z~g tیy6R\ z=T* 0%0#xcU:yqLA`aRL3:7}`x7g}7ਂFrO`#lRPȞڮlLjDj+Z$3Nkz-C..n>[楝rKfmI&R [H՗ZR%T ^YoJ ڸ8N'gTsH|OuV /Ւ@,8)$J ,w-胙`zT-) "1!v.0 %uq0?V6j ȌIŸڡ)޺݆VY "Ec-EdGwÊ5&^q#9;HOLCF-FOCUSHOLCF-FOCUS.Buffer_admdocument/Buffer_adm.tex=#9; HOLCF-FOCUSHOLCF-FOCUS.Stream_admdocument/Stream_adm.tex  /-4HSYOi(/e}HiQգJJcg;7 M]F9d׿#sd)#s,r`p}^Q)Пn48_i9v6۹ _1m/:`^vw|>DDaI0"g6匮 l;1uM25 X;Bpp{2-X"|C#٤ڶ$KQ/.t=8CK9b޵<\M(hCP0):S0TkHc q83և8żk XLp6(TlWlgd څ&':r{/sҰ7[F )kl | +i xŒkyv!SN{_K]Or@h=dAn)Bh:-Ođ, C}LFNx5I6sa[/İĄyJO'19K(FNXpVI[teuGI^څFg.uÙcCDvs&&LA]v0gq"H5/ly Cw;rmaKǗv(*U#Ux= s Xr]*;`-n-τ+$CX_,0 Pp^gZ&~)/'-OQxg&C{ΪvsKR4 ‰nHәcA( 0{!=JHHe$ML/a+Yh%]$Ĵ\iMi/dfaYT8SlxlIR xi5̴0M߬؂W5Eb@A;($B@;Lg& `\) m@؋? «Vl")nGܖ)5@o<,`{$I zo8^?f HeNӄQ%ko* B.!j@b!_N 5<y/ȠI*~' u{+iF 4^* Im@ CRlRm:N0ࡽYeKZɶ-cx!~mIչ6/"TgvQ$m3@\s|[ !mnٍ믇 ø:j1O {6e@z:̖\lf_WtLCʛ_rmۍ,-tgrINtIgV-B;p\Vhk +(w{ 4@-ƶp`WtHC>ak']1?"(7 E. `R Sz; x#4sgc9vKǔPK)izlO]ۑCpeG*ҍ!{Śceh$77J]=/׷w6SCr*H;n:1 Ӌo~ wK\C142W,'xb GhsR}bz"o0p5e*ѷN;Da~m"N&[vfTqjYWFD,Ȁb ?״&azoIDI j5SAH6WIpJ_ ;V_^ l. 5ֽ,O& *h*sߔ]Y*peh6Č¼T䡠6ࣚ+em؇QM_ Ϙu}a N6xEʡ%yt2}gg|eJPR"HJ ]'F q#~'̖hw ?0ֶqv!T$f*,ִq`'gnGR@cψtWzl=2YRB ܫ$E%:̰Uaq#g?(J?~K(I`6NI-QY t Hdpʃ[ ~( 0A=y|R'$ yNUʵ)johTa&UBȑG$J4*0he е mT&lk)V?WUTBS1h1̓׍o˟թS/b?0/u_h'k0UP.l 6"CңýveK=8J`PCEA6o5dӍ9M֜'U'hݧd &Y,cA*t~ u] ;Y?#N+PqA!?h] tQ3XI 6wKr (mPE 's)P /~!gl=kÙH[:֖o%pT,3e i2 ۸ڇ"Ovm ô,YHLFDh|FkKqV[W)h\,o$-,ϽF["IMp:J*跓uB/ UxE[{ȱշ ^gb=vow4QAu)1 %SMg䂮6d\R 4$2Lչ\Rh>jZƾXB 𛾗?mdkAlJakKlQ6H-vRftw,&S+{~fZ+ `,wy:SCYحZZK7 79Ji8DW9^_4>E[9|` Ht|VW@ 5T}blN}'&$Eۖ5l vfPxYw^ yx"!0Uޜe \B1bAn`BgMO?&y r酹8WX#u5džcmg/CȠATw裞!i_ʵ)NzF O2:"3l/N;JWahE3zAgbD SuA;SLo3rN TjM"Wu5m1cNj@%v vLycػbU 7!u0lP٢'m5&I#=\G#3ͅi>4@.Ύk1*m!=br6k7^AC&q8$P{2;jnԐ펮Mr6%+>UyA{F+ cUrݾLdq}w#n>?2H+V}gD;*ݭ ?b1d! T&Ior~ OZڼ[T7sbnؐZDTzJdq|Ghb+2=OOo|NS cZġT΀&zw啮ͩvO7GBWhk.N}罈IO'~GW΀pK tq拇7 }#+ĵF8HB3U|MVҟ&YAW)[pag'9XqHf._umBozhrS5ؒ}Fν~j\oO?*0ޅVڃifL*&!3֝0z8,G`'xa-w_6o]RX-&#X$'Z劚1_/}!aU Xo:Rak>Oyu2Иq|޸}ǥII$P$Vzc 9i3S?I-a,9fD/KNby@sK奦o?-aB`,ғ?(=2Yzt:H-mS0=VMl)Sc¾u gnV"\Bd8ַޔкgLօm*QϑGX5)ŢWlW_ g&lHcXTEL8YBu-PˠЌ/t9‡uÕXmb$g37spFe*5@ۜ(֥0@X)%Z~g tیy6R\ z=T* 0%0#xcU:yqLA`aRL3:7}`x7g}7ਂFrO`#lRPȞڮlLjDj+Z$3Nkz-C..n>[楝rKfmI&R [H՗ZR%T ^YoJ ڸ8N'gTsH|OuV /Ւ@,8)$J ,w-胙`zT-) "1!v.0 %uq0?V6j ȌIŸڡ)޺݆VY "Ec-EdGwÊ5&^q =KW< @Y&gZ6Ar-]Y~i&\0z,8J`$UοZ (3I/j.H|-Mb57TTivwufNFAfrbl+.Z !ш+dz_ @!?Ec}1r6ʌСBHDG7O֛X^] "ߚؗb'6#p,1Ac,wlA0q#PS'"O.}):_^J1@c +bp&c?<'O @-CI@[Gk$K_gnlMZl|d'nYZzHCc5npV$sA&ׂ_:W{*vQ''OJn78dbtioMNގ FtW)&i9U9_Ų34ײPxL9`?J; k,g@eQ|<:JT+e@Nco$ɓ?[p3do\qy J{9-@Im<|R_J0QC7=H3|1B$!Z.1P=" `À~^iHm\YVǜӱLd\ E̕r2aL!-w; 9Դ;/D&1x6* ?w5^GK~z V6>$:dA(vH ˁH4* tG,<6Y?Jb[2_|b)s[u#0(6[Td7(ƥ d6 r[0a%ʟQ~?߄N#)L tnJ̨3[łtF .7/RgQK u3RA_NߍT.)wd1~0v #}JX~aj~\mYϷu eBZڰp 1A9|e!5Xŕ}O`lŻaC"ˏ='sۍ`t& ]Ak* +&|0E;`ۖE%8E}QÃ0XЮ-Й^m+Fy<vGf?l)e: |w ;JqGl7Y.a]-+2g:tj9> n.#7%ϑjiO iw`%taUNͷx 4>EIIG ̧<˜;GYjTB"y\<@ǞexU`~[zn3?HN ;IK|=p|,o̰e4ق[87 wK,RTvyͬ?9_0+o?c fA 20̰(gֵm8\Eа VKISs" i<# ᑣKLwR.\J Γ1hI90y؛qBmwR@]èd*gF|KRL|gYZp#9; lHOLCF-FOCUSHOLCF-FOCUS.Buffer_admdocument/Buffer_adm.tex7zXZִF! m]A-MՋhvG"uIBm5Ls1TktS7uXM(@gNE?|Q5.^zؗ}|dxRәlD&.rN0㱍G~+!GV+:Dor?2|7Xd퍕KnS}EUVQzB?A{JD".mFaM4RJ#lanט%Gmn 9k 4oE[_I0)EW9Ƨ[쳘$9V.!}U(,#9v6$UFg‚ Nst'k|'vtSa@ZNfjB#e &#35 dHOLCF-FOCUSHOLCF-FOCUS.Fstreamdocument/Fstream.tex7zXZִF! ܩ]A-MՋhvG"uIBm5p\{`8w;% sCvֈJ˪![@5pcܣȐVj. %J.&8A OُUc$mK_3똤zIyo%?LcVXN"IYSGXǺ H(h#a=)cIKb붕Iѽt/""ⲶȋM-̅v]Rh_VlqTb@"J*f< EƆd>ߩ Ѻ_(L..%c3M'Y#}W ydU$64Gr9u618ک1.pkEYo\\d :#/1 HOLCF-FOCUSHOLCF-FOCUS.FOCUSdocument/FOCUS.tex7zXZִF! C]A-MՋhvG"uIBm5^I<2'x *UlY+wjC, {~?Z'%8e?hB)p?!R0;/`2M&hCV(r= C!,@~ e)upZuj$l؎'r)J@ N@PAܹ[j8RaP^[9> 8hٟz+$?,20Q֞HMD gJgGBk> _`iwϱ߇1w|S'ɀo!)%ٕ,ޙ!BM#Rq"D|!4e&Oƌ Yzxˤ0ӑ\ KfM;MLӚĭV^9;zA$% ҩ*?ȸEjg/{6ԡP&jܘoΪ:hOː̟˰O`G R2av")i| Lj R'H`CO!%oGSh=lr p^ً䏬8jyr zd+8&KI  s_?p OG,'(-~# 2'V=ds_'~=> 8%8А~L"ɁSH`\w3bi]G7#@v dIş1zp?0j+*[ΰx {Pfp|^yNAj)B%:gYZx#9# HOLCF-FOCUSHOLCF-FOCUS.Stream_admPIDE/markup7zXZִF! B] !M젗OFK? Oȫ4/m :SOU~uɯIFf)-Y/pKLB!-DvPb]rcQcMAS+&3Tkv]iaO ;R4ô@HBpG "s4/ohTx:ie l\bS_:4 P˨XDm@V}! . DP' ;ŅJLRzazE fQk$sJ7YCť]ܽQlzXպ{mSIB-Ԋw8 Kܒ0N#XIC/s)3~w(/Ľ3|_نdx3qgkvxW_*Ǩgp%٤5<+j?ڪŒ?l?c+'6t|A:יoZb_N=cǙp"̭!wS`cBJzjgToz(TL=^a[UUE׌iF[2n XKM?Y$gZ0P #I @|6=Кx#9Z'k/9YFPY)|4Πxӑm!uU>M I]bÁC2ayF BX?-LU7 ܨc+.Wtt8\S( ޖe#Y{hO}Q M<ЩM5ǶGl5H9w^k$ngKeOagkg4]1ˇ-/>׬NMX>YdD3at{FȈՍq\اٴ7%pSӍo. s|qMc|#EsA%_$ 3K9;,LT*ݤt "ړD-^* ǚ,oF-dPchl3c_"8|GV7M6"0 Wjc[Q D&#oJaXĠ:LM 6zRnLh15,[ "f=)PzVFQ-Ⱥ80b4,_t@, cj5Y1.OX0,II ӿ X`V{x<~>y>eo8νGX,>1+$䭉4&w;\ԭ+gNWz|V])+06(r;?S?6RVN~SSЂڻ}Ca8&<-B5kpc 7<KgYZ=.XJ慄NXuF),-WjڙeTH^Oxte4ޡBalU?)K;ਟ.EqדWi|GCNluנdf"tS:KSє p1DMiG,/y&;֥(Nx-@rSz Eu/ԶtH[!;990${'mZZhĀtVfi|Y3OyWcVܗ6O/ǏT{מ91Sa0dUٌtR>s*E{3/&pg 6Z)sX*IbU3uĤơ-nn8ǩiH:7Ѿ&jo}꺏< '$u5u _Spfoci4j1cl CѣYl {ZL -Krv=U.tLdlTd{ilơW9$ KԐRǠ:c%W.wOVYn2k)S{|+(q) M1XtHVӥDJ4t u[S0)_fV|pкv#.?\0e -mW7i1(Ji9 W-k BSg:qPT8")@OYow8gL \j nXbңbu++\ge_s3ug˸;[#(,*w/ᐮQզ|#P]8i,RYyB4&pNֿFԀE//ģ5Ώc(C6 UZ>vX+CVrQvRaN++nx~@G" OI6dc͂ay-]1AC5>^|mеTJܽAu10cC4 di15& 0Li*ɊBZP]?2={r-t ĤW0:@·#,K|,WMQu/:I搻*$'TރŒE6sMcf{&͏lj$^UnYQN(%Q"Ǎ4ƫ2f|ЙIU!L z379Eo8YًiNn7cJn;k]/ Z)чZkmRIS9h˞tcY\P&ҒNt9āBGAI.a1u.qiVC k#sPO+oH[h JS(d!8-GԖOG\ Սގ2Z'|GUIәd73"3 ҃k\ni4\lhfe_J5Նw\e4~>NWlz[=fFLqrH]uƷel9k8X%|{ =U&RB\0kWdzB/.Ѳ&Ęm8y_VGفxm GzC&HtWh. b(F22D&w R Y ZjH< J[=ZϊQ8*)FEM|+Ϯ%l 2"|suPku=GiK.tuɇacx ̽r2R!(2eO;I:i$Z(ђF0#~J!dj.!~mhM)͜/H8 ᕈ"bA`e{5{=6帄S7l݃2lFoqEt>]|2K3Qۃn,9pZ2g.43Aoo_lV}:? YӾW:~H[M6 T߇+lc]]UD%zɕjDq^t<9VII_4qf5peeǎqXj+p7nHq }45p)3[3ꦹDjX9* 7U^I2[_ԋm\G+4]r+ }\Kw}6\Ɖ_#+yuk `]ojx\OZx4:`Drr q]6L(\ceI/nfAsJf44fmR/] fyچ2nSE硏@5x%SMwD80Ms94+A-ͩR)O9NArzvu?w%`A?ckVȃ3A]@fs$>CSףhPߡEVP.GHl<`b1hd?Do+kbJݭNTcoٜ7d Ӟ{34X{msvz偩I sAB\!ac9|b9AΦ]Nq>U+A]/ %-DƮ ZMއ`Vw #NL1I2TV<#`ztI6=oz.}F[ %k/U6(/%3IT9z/(r*r4kO&'O-?T"$ƿ 7Z *9bMpM0M2 i]:x¥cZ=]RHsdEQWA& l"5oiCM^3V9)EG#8.wS> B<ukF4 H<є}y^'AT\=x:l +iqKw~a4K@ފ qXz4P&!Q-OҢT$9Cx &/9\U+H@"w&@}N盛@f晢 `i^mL7LUE1RWk x_@*“ @f:{۟0,.WB-R,)ᥳ]o$"8!ï!:ܨr-,#)M&L4%*ɇF(>S 3^!ߤVE?zHff2;Ȥ!{sxAB8ԟ׉Gi4UӘ~\mPgyjFwΔjP½WS43GWpzG WEߌ ,̑P>5)-O@QP뚻pjh2D.IM%ѮG%S궬Z0 - <MTeZ%#}]l}S4䄣F\6+U!A\#hzXZ]ݫ p^,jf<ꄌԻQ rv+ !]ô^YS#PE3 A0yɊzk$X=34c8MFI~W_Gos MSX1̮P'>ҢPMK晐X&O;lW&vN1uW'dn X)_'ߐgp0"ѐho|\@c!RpL0oj̵N0J-p4m݊Gj8CcsA8Ϝq:Sgxy :0ɰF"JՊb"B%qnto؝}w{`[6c[/q]2ωst3D[ȧ";\b3oh=q nwE?S@lfHT2 kPa }:ɋ;WtPT\lNP/'Ѭ64W7WbLA8l >x=IpdBN{ p[6jV? Yp-~q>a2f*Oe/U89f&Θ.C­>~,eբB-0)PˌQcwvʩ{ 0n⛊ &:E"1g@Vjw >31qs紅kw.% .a?yF_x A"-WoyBCp5[ihb_1ﱾH mb]5<ʬYz 7M/h AN{~f+e=3.87d{S0 3~Ҩ5HasP;i$U^lp0T#qiowZu,B"8 kW%yZ;{wo$I"0Q-TY47Z8Ya)/L<[%lgP[w@峴HZmhF;s7M͂Q tAQv: /9ȽM?h V޶F:t-μَqEA\%'s[mQܫ%LJ6%u#Q:oF;a|hVɏ(bC㶭Oo9LšX$L=dQ4B"Er mO:xRGs9*;{>O<7?7jc //\\Nߨ#wrnF{ {PegIKE|STQDvOK6Dr1l?Y:S 3;_>vВY¥B28aUhOhBu-Kc`Z'4Ɣ^[ E/+WTJt}k¶(k}>nW#qee+8J\˱lUW~焞xW*bXMey.-xAdG,`Klv-bFt\k2i(* Kc_$\}+ :ϒC_&"v3rW-@QUOG$,ѵF8ϋ͆ѵuX:|2jRcvիF[|cB6Ё}E jûtdi_=_(ƽ H]+"!B#gh2Tt5eJs?]}ڋ(D5;ƫDqhIA C |S/0'NⴗOy 0'/&#j *gΞ:f2X/fh'XQZ@4"_B q&eLA{4;Xܳ9PgwM}L+DW*9@]ِN>@0ލPWGkCw,qdQUZtO:) )#֭rH;&V 4CZ-pbZ5GZ˪촒SgӶ ]=ϾC0Ed3UY)nIEucVm\/p:52ؽAM(.:)!uOBJRi|SU4Oɵi茸Ucxx#{zq]` ҸLz"$jL[nU[>GNyfFZejT ;c+g|٬j546t3C!P a?>V@F%dY+GVG=J]wLH?u 10SY-fcjK?/@tg@h+ L ə$ 0'QcrjT  z_ɯw&C~gYZ L E:Lk #/# HOLCF-FOCUSHOLCF-FOCUS.FOCUSPIDE/markup7zXZִF! \{] !M젗OFK? Oȫ4/m/ :vdn il\h`7I Ԛ.̊Ѱv"x׶̕cV\Z֎j` ^c|CwK)34 ԯjh_uI0&P'}<9K;VYm[nOVB!(=+Y.pf$΍phxRV8_1:s>=! U"&8m7ǔ7 b}pDBs/;gđN4zb<ͅ.Z%IƔ?@*/;k.Q\R^ٲ6rA(7 S( ,,t ѷnAWgYZ#57 HOLCF-FOCUSHOLCF-FOCUS.Fstreamsdocument/Fstreams.tex7zXZִF! d]A-MՋhvG"uIBm5p\{` 7B]-3||r 5\FD>ɵ{ %ly-%a|$9R1ʫ\.g^>vP]D-UZ_WПݣ[$}Bݮҗ;p5G&RQc<{r/ւͅ$v u8T& {dH4T]T RF՞^N'qLr. NЖƀLO( ^3GךSI踒}y"/yF`@2жNT`Gm=rvPjE'aKBM^1\Tf ̃LS][LbLB;r7S;YAFȂy,{R Hw<|=wgG` $r(X%׳[Dn݄);A 2wwpQ+)B䝵FY}`-#HGH_ ^ IX(iF^mM̳ȦTQHiڎ% xbWP*2|68bbƖΡJ^:3=:uzp<\,6` U+^J-ƛ xjZ&#-CN`*;(ᤴ6PŊJ{p(|(da9=RUX͊wy\[0tШ<ISPYOTF$;N 0M-̤o&arZud0(B >TZdGkq)S꥿BU|"GjzRs[Ȼ+Tr w8ȍ95./-W#G0\\4;+c6z ׮7S&^`N{a{I︿_K=HRmiӖl*Zڀ6̩o°tI0#CoHmEg߷.N;% W5p/7ì #*bk! 3Fy9) ['@` N |8w/sj[EJT$aama$'|Un㍼CLЇZod goS)aSۯkKoVs= 8#\gս̷,eDTunhyosKLxE(rH*7<+fָrrx=drq{Y+7LՎŧ/$̱&ҽA[A !mdZd4%U'9 wդeP(Y_q#gO՞9iCf|x/% GD(Pqf- ?m9G,ӹw>(vNQAf|2DvBU;;#x^DM֔OyND,0#13 |HOLCF-FOCUSHOLCF-FOCUS.Bufferdocument/Buffer.tex7zXZִF! 65]A-MՋhvG"uIBm5LsӈT-MP<g˦sGd0;E.'%:X`%xA>iECVLԵODHȋm<.x-={;A^KiI;?:t~ AA%$4vD~HÌOhv~Z:5$=p-J{6Qd D-PM/.Р'D{bަ˫OAsX?3hS$V޸? 6y0 K'g5oCwr T_\/]Ni U>-,Ưّ*9%*vt^7gq&@gbbVfUVjjEaVɨOoAKfδrALjbU!{{!pIC.%/Ț<]X-@#HUAjqxϪv"`2p//%)Ccԫq܃c|ɺ_Pd{wd1 .K[*-}Ǭ9cgxAɧLej8{QF3 qdl^p]-W >b2[b E禔2{F^l?}Y@L&RXZ5*IXP'JkxK(&' US%ͅQI+ig4tE%,< Sml+ekHEhtqp@0{ap~j5'kScܜn^mtkzp7A+q5DP)ZUx*uq=SOzͭ-w >d=AbI $<9I};@M)^^ ;IQ˒GJIťD4'g$S]'V0k1ƑV41\R R'9ӳZX!ViY勒٢Vry7YWSף$X!2G»@󑸚ApĎkJ"yXs_입⧠Də2SӰ *ZNA فLh7Cq^>3(,93NpԆ9گ4CŸfdB{j*<,B$H:-k 3&"8Hm[樯3[66)Rz.u%8F)vBm3ư<{bVbna(~+f)tӿۃ@ppHcVuam3zZ&F`ʙJ$RWsӘ;tݶH3/Y0-7RK-?xwL~~2}"zɰP&3hRS47o/ wUz*f?Y˨ڱFQ OE!0=pCJC s#L7}ԭd?V\.5h/@x^dcذK(lAis? D=VX@8&#ZOq}dP]PM؋%U%#2P1*^ 2VB3Fr)p`C`ZzQt]|O׎Pca9یܫ_$U8Xr2ʿu[jiY/fvT~6^OGMIyΑcHt:QȞUyn5fG7m_WA_Ǹë|jdPu:Wt.;]Y4sc'3p3ioūdojo%7HKz䴅N]%LgeV璽ݮZÐ})NQ$!Mv('>{m9xqhysV;D,hPfb@) {jF3 B_Jm;XfɝrlߌJYX?`Pq5ϣ =m# Ɖ߫ 7U'&&zv.aʱq쾋S <>\|`@IHrcϺixR>9Ø+/ ՅuuM)S*`< I>nv,8'9 OVnd^8m|,V#3CnCOOb}5zK`Azƅ@45/g/Һ Yan*l5Qa&R1x ``ܢЬÐ(}uC}Gb[hf,yO Kn콴iZcn's-2>m:*Y4jUBD~0.pcq3C׳ D$9@BbVJ1aZƌ6rԥ@b>3F?T _zP1/᭩ ўѴ-NcS3O`8 ϊ `w!sP.'2!t{Rl^``6UbшfUPy)b>wBӛx&c3__/S"%Ɖ]ԵnZDb5 qO1o#&Da3k4c*#~e5x\BŒZ[׌ &Q҃'T &xiTDqMvX塪%k z(¹((x!' f&#[<(nGS;ܼ>`s?}uW$!1.o7iDq= 2zMI. &E4C-h0 64y|T.?/A rJTyeev+Lv$>y@9/πx . 4QCG*SQ ^ά|RGDVƋhl|Jejs;i\R;M#d C0-bv< C3&x 4{cKT^FLgOMFp!Hm8Fմ*Dd>Z/^O%a(i~*FG5XB2w,85A8j<X]'U`s=HگW%(Yew%VW=f=X8!0d.B :_Az嗋Ÿ<OL0Ga+bK8yOQuQa:>ܺ)HmhGk}fڛEEc 1{fHphxjL~E=WȖP֍@"CfvdmTPy\aMNC ,f'ijWeL9l:Zb0D;`c Q̚#Gw"R 01;\r+'mpbZAKKBhm o8UW5z9\_GI!nt!2ʧ;<9mP9 $R6@n=8h ͿmKw23BfҐ>_<`޾h\0SR+ZgYZ XX% #3# tHOLCF-FOCUSHOLCF-FOCUS.FstreamPIDE/markup7zXZִF! 3] !M젗OFK? Oȫ4/mFi:ݗݻ`UuAj~:\)y0ϱaT$ TY8xտ2R>qڟ^;¦6\敍T ;xx jG/CIa_ %cZTLZ+"1 = x[$1G ߇e'j~^ h7XL'L@g`g,Qx0}4擰>]M$D8@)&D8‚zc*]wj4V,$4h_Gcz~G(Rbz-+b^>~RF>C 5.'a&薳J2>Fts)p'W|ׁO'8]:# /ڙ`k߫YI w)a}ࣉkvtqA um#@%z=Thق !Q k?'[x#% g5%I\A$Ot޷} o} 1u}2_7:JKe xcL[~g7ῡsd[Qq~}jMU䱹`yM T+qԀ0DzV(<fظ醑j[prљp#d hLH"QcPm@g3-iOa9QMdu! t2w>0V9n}s~@z#lO0T1[CDwXn)ɖy}2`4h%#aRa+)"iY"] h-ΑɜRW9gd4_^cw<$Of2dZzŒ1I~Vn@KwG o F{C== IĘݲW/0JtV'ӈ4G<]2Tyy߻ 07bӊZv7x\7l)"h" bS2De~Up'>P%EHu\!z.\oHV3s C" J( oGy@1")<2k)S!9<@/s2zLngp}Cl.Jl?!-Ed",{L0e<Ò/:uG[n0݂hq<(S+ΈЛ*e]+ -ۧ4N[w-%崦Q>\;\ Of+pou0]8Os?呥iN?iI'2{r_T6 n4,$s" f꣫#KUN oFҏG2Uՠ/y*VȺQ0O*e ]a{cW(=Y"Z%a:aP1H%+ j,אf8 <"71#b\˖!(1r½  )K{4h#b#;c!ܝ ;P(SYՔЙ k.8/xalCLqJgR+Lz^U8QVrDkLdGڕ1坴X&陋߭AKR !+0Rhn]ڔ^aE"-ri7^] ԋt7ݣ!MJoو4~m)pe%}TEvM_ٶpveQ.i;왧1YoAz5r6}H37'Gx18 m>߭/װaZSX30)D!C.gJt G%Z !AVvx7nd94t`<\;U`ӃΪ]=o+koߎ4Fw|9y`qg;Dp`gYZ  #1# THOLCF-FOCUSHOLCF-FOCUS.BufferPIDE/markup7zXZִF! 4 ] !M젗OFK? Oȫ4/m Og}{g0 t챕㻫To1-}*?Zaz7VfF՝>ұv9ZD\+SYwF u@1"_7Orp!0 tysx%%b.J3JD̄穐y){4,|f~nnf"jD<֪֗]oWGmmR_PI{½UiOt` bla:f:Aru,R<7^He$*xP!|si"=E_+=i> ~:M63KOFp &zk2x-X Mݜٕ ZqrvifД+b66ўp >Cf\d"J$CHQz-X?\Ë0fOMt-atج~T hU~18􈮺s7-[p~ջ&'`K <(BE} "t)| x5 l9Ǩy\7J^Ɵ'K[>m؋vd/[AL <[ e)!s%h$3IƜ?] |صq(kGw,u .w$7yqCyaX9޵ExCGWɀzAPx5az6RZ q4HY/sq^HGE(l m*,p`Klx :a}OYۃ (Z(, 9و?{IgE; @^Е>gU9ԹY* y &oIܭGD?,hDƚY4Z{uKa(kClo)x6%UR<]"؜k wd@IW):F/iBMs2qWwz[[뀎ԇ_)!ƣ2p,ao(8mlL9!(:rZjB552Ok)2{3k+#_ cv$k! 7!#1v;tug$\35vXx˖ϥV߸ޚn,yzċTƟ'2kݠ/lT{y2 ܋BlAqt{# :eߣ YԗеۄF~ʖypU3YIfF#1ͱ]/sAHԒ!'GD\yit?xv+}ґ; RXOf-^m չ~zYW״ $kE:f4W\'ŽScndi'!hQmK-3G# SQN|GQ^ 7`GF4)z q g:63I&2 ̽gbԸ)eBN;&xNڙbWݕ4Czq 'Cr[4G &G6U(Y<ۈd4`r>x&lgP6n{C`|:B&WߓV읔e@8XD6jY"U-L50ZYd^sj Ke(]sCQ⊫wVK"10իhxtޠhV^OeT:'e`YgT+<'  _i7a@j E$e?ꫂe!<|l'q]F%(;-/g}7@o5N_0X';gj,ܳ`d /6n a ZDZ:y~*9GJ1[DЩV" YqeշpC#Уeu4_~@h2{`[.)UdaGrEQ}C3šޖ3q&2\eH(ҡiW,~>TvmS*cZ79|Cx=*V3^C#g']̢U76WG#C5-wc G?ԾZWl[S|EMhJ ;4\ !p $Wk+IMvwJ ˶+\:ӻUŗWa {[w(/D#]ZSGDylB]!hbBDr:˸7:m K3#n8d vΕ2N tJ Ac5%6}0!QX<i^4lJ88khߏմ)@O?q wH:(AlXzB#Í=Bnk6 *? 95h $fLIy+ItaP.-1-Q읁9Y{_SFE4[`=J (xQEE^h!63/kzJUF; xpHeM=eA$ a?BjMtXqIJ?#Shac ofEy_( ՖXOnfR:]ohڶzgYZ ^ #5# dHOLCF-FOCUSHOLCF-FOCUS.FstreamsPIDE/markup7zXZִF! .o ] !M젗OFK? Oȫ4/mFkJ7_ƠFTp2'גOX?Sh `tXDSeoe合hYfnwԦF$m~)\N-{;9_~MahcnGY)XdD*j ~%Uk#t*9I,C+"-;.)8_&8u܉99̮PEbvoUw!K/4(UDRYƽçΪS)B:<iƄg.8^| dO DZǾ G`iʒ#o,jVH=(|vya0>5}F&٘p`u0פ (.rD곘?W|hPMvFEV#+ GD ZtcIwXUQnK"&~RTEΕ9#17c4$eAzB%+ Ǘ:%&3Hjo[7'&'֙{qz0#Do,#`N|WF:e* "Ģj`rH[~ 'c̜ޒB:[Tc=8[${VO7Rta"ޡNhdSzc0|rX֟< kH*Es;JǂXZk" P:mtUkQHy]KSVq1?S Lrr{ϡm{F:w1t}bM)쏵«:gz%f~dȡy25#N3A4M)X54FW[BϤX uep)BgޘsE>91$8DYj2gZnr6X#wjxw@3gy\jpt#qmr. zqcT"5qJS )3&yW|[)6S.4^.Vd|,RQ…s74\vq~/YSiquWQjQ_9:.!K@t5H&$.:[fb]WҧޝϥXs|!w_4I".+FH jHEyDZVbbb-p8Bկe m_gC._*t6?*gE䊢k^mj¯Q]-Jk}. 58֛Ůo;wN >%B#r&%qi*J=6.^1]~ry$haKݧՕ|`'`rx),g7֓/o6>lP_]s.V3w}h~is{zl{JõVC3vlп`i$4Ƽ I/PALFsː[Zi΋p4F3*d(" +Uߋ61lr3ra)>#i d#TѩV7YCQT nQf/NT[e&7d+y:voV6 7Zie2oD3vA hKk|Ҫij[_蔯ŮN޸8*s2e>oe#w$Vˤ2: 6v̓ եyQ`_c~ ߝ0c].W(5WΕh~%)e|<,Öm/' 3k9| XKmr2wR *Ds$X䨞^zt#2_ω'>qRPU^*'A0ލ<0be&z4/ȅ![:p0ȋ)d'aA˰l ;AQ?m@ Y?P4ՙ]E`:wy}4!&N * fu+i7ROh698$g`zJ&A8(2//#v{ \vF؊PN.)&M;$(ʌbrG.l䍂J1$T=t0|5S8@9Ѣ.mntfYܰ2OD QE*LYPHPz#Y|[޽?[B5@qzR=wj_eQPKoXi~%@S€ \M"עf"`Vi+!thh}첊!{ϾA p9ڏ2A{=XfEajk