SQLite format 3@ .K  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  0#p<<\ ]S HOLCF-FOCUS:threads=4elapsed=2.793cpu=8.916gc=0.1967zXZִF! ]ŗXiɟ7KIxjbk- JV ѾʴqGŐMyκr]a6'&XcVȣGWs5\L/Z%7gS^,whkA"H&, \P(=]Ɗ<Ӈ~{?@& \Kun>C[FqY1Smjm芺Dnw+Wf}.015i* hwevxi(mr{5%.FjvV:T~p%ݩ~.)ZgYZ7zXZִF! []ŗXi%T[D̈2>X IДfhw֔Zϋh,a28X%uw=>J~HdGè!;иffZTra`~N`N$DM!77  4Pg4Uzf=]I#֊Me@6z BȑT318"'c'*6/w2\+?Lv#P;D?X)~ ɵ\f5⭍"n 5Mf;]tJ&KvgYZ3b809ab06190a049e2db2e3e56f1c4ba1466b1bdf4e66065a04f1e2d2dfdb251791c7f25eacff512 b7343e71809abe96ec8715dc85d1d5193e283b23 d152dd974351ce1d462b303c4bf5d823884874a2 ee185a934001b8ebdf64aa1d34a1276ffac6c9e3 # 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&^q7B]-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؎'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%: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#eL)r$|ōZ34p_ʺL {laT+;lx+=2e( ޜgKު FX\Oxɕd]؟ddUae~ӿCTczBdn24HMW2?)<ÀwÃlD1 Iy %$8Ld?Q7,fs8o 'Ho~R~X=}h ɎrrрtQaz5jI&#؉\99&#ASˌnY iz_򎢃?Σgnqyq&s]IǤ'])mdc'S%Jʙ-$LSJXtM_9;97SpsC XNxL2#m-=9֋j{5JE8[Vt37YP@ʤ0F%yb𑨱:QYLm,`xDhf$^nM)__|wyDB+2 ḣΐNF}_Ib\tT(aS(j-(l5"񭛻"4˺>S> 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'/PihZ!&f_/>@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=.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.wMN.ePѥ ?yR& 7Ozt/#/F?gvؘ|tŭ$u!j~%8Jd?YMpu0t揘2:nxI&`T`U!)V_uM!YLsŕy/OێJ)bˊ[^%C^6gM%N_Јk'g 0RBz"iJz|bl*&X&0֨C*=w nۆT$:q\YPKNJ߹Ӳۺa+$I^gQ31[mM! @Zс!“ Vw]{s/,BgAc̬^H"\gZ q*=3 9k#bKˌ?c)s&$eF;jbciqMpo(xCد%͓ (ljb%=-q5--vޡ٫HѺeU%QU @87IJa[FD̒n"d̎,L.; WɅЬln ZRcu72@nҁ̆w6AҲ?Gȅ"ݦdD mnDgYZM #/!LHOLCF-FOCUSHOLCF-FOCUS.FOCUSPIDE/files~~/src/HOL/HOLCF/FOCUS/FOCUS.thy6 #/-HOLCF-FOCUSHOLCF-FOCUS.FOCUSPIDE/document_id344S #5# LHOLCF-FOCUSHOLCF-FOCUS.FstreamsPIDE/markup7zXZִF! <3] !M젗OFK? Oȫ4/mFkJ7_ƠFTp2'גOX?Sh `tXDSeoe合hYfnwԦF$m~)\N-{;9_~MahcnGY)XdD*hRW/%=:28O"ch!`0fx~l& (x4_:dKg~/ۜ&6:8|h:%.& ;V-Y@8ZWDQy.ʋrm<, ,cIrqi+=:=` 갡6]m!l}}RNGaI8Dn4گ^;̩v }\4hjMA#O'qg3dBq^22SuvB-ݕ& 6S#5!RHOLCF-FOCUSHOLCF-FOCUS.FstreamsPIDE/files~~/src/HOL/HOLCF/FOCUS/Fstreams.thy9#5-HOLCF-FOCUSHOLCF-FOCUS.FstreamsPIDE/document_id340&#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  xY9̆*fxgX%Tg]h\OZgq9ɧJTJ]Qg!b89sOT"1#i2Tif TzAovp]Z-,kosKMl@}F}n,Duv[ /"7}iALc ݉YhФaj(e1Fn&{4 /S\km:{n[iQ _tLbrHr uOT]7r2&rf'\o dC+ %EU~=o2 e X-xgQT4͜th0$O!V OP=s)G[6VR.G/tM"h)P1UR:@}L2G&1w'`NpJfhLg$5;v4Н5odY:z 蛟N^Z ZSD֘u{z~$Nk#V";EMg[ rE HtndI\wΨh(ķ51~Y7>xH"#=nϘJts#_R BgLjP}k51ৢD:q OAG~AԏуCm|Ҳ""Q^>opBdO>~E4nB hF#Xwo~KC]ʼnZS+-WTmc{uwxyR|i}Zrt/=0E4d:}uĒc &iC>`"IOgDj|5eJA+E\o+ʏ 6cNA':9X(x%,zaK?)kf04tмxjia@ژņNHZ/q9ؤIW&R7z6'0]nN$7gU"C9UvX/06?ըgV#xAUddVc}*B$t3xKm^kXOit'K#;qH"M`kIql3MbFP-*3=ZAưZt1A㞈0@C?א9qk.\|ϻ JIg" <d-aI8FivIJ;\;O wA7K(/ BʅpXUOS5 ^]hG] eNPlcc}x%q*Z$V#/ݜ^zlZӡ1wFYvpP̧KYy(ir=).#<>Ldv s~rbaW!D"w/-~w(ǡasIg\[#}05A\Zmtk4H {2Z;?>p)y6iA[Le$S;Q+"[tfuƹZUw^@:"66RC9(#<}+× 1 ySOsO&;{SH7JqW#CTiWK(fyrل| BtczØ5>7ig面KBdmzLtNzAC+rObXSN;E) oOelc t!fP%؜/F+X1'. #c)a#\[yraYMF6-{IRt!xi|(YzЎq2`Pgd9ly*/޾ >jT+ŽΕ(:OBXinl Zg6סcTUu0)EӯE:{ϑ$rQ-blhɊ`Tv󹟲7:/#G,}c7qQyB'9;k8ǃ/h ?,XSP\~ڶK-/ cumGA6Iz]}ziӒE5yޤBn]t+Wǿ=k`!i7A´@P-%p1VW\S@ yQrv.tY!nU)nL5" zJPPG9'~Tm)^j1|rGL[nl/JyC!vLۃ$uXʳg:̷}0"6bqa灻#9ٜG+Qy`$8R{]Ҽ)TQ| D>Q~i]|@Gd? D,nGgfO.r29A3)'ħ w p3S"|Ju2yq]NLst#̧q=wϖfN=oFXv|2ДBӯ9*Z,VoF Wom:" }*NM'8WTLiG8#"FTlwER`;$5S48 tsTBwSEv)R! 飣'pBK;T7+J+&Pnȅ9%2 TJp_vЧLi0-K gC,0wKϲzܼہ Jjolпm',)7RLߗ5Lߛ+dԟcv}I% fu0Qe+,a37E7@0?)05 ;X.bI1?7}ڑn^X>GS]O9 >|tG1_1h۝pڌ!=nFz+k/ϨB1q||.L՝K/_dR2"+]#.Z7\*ū>DI EJb5\ LWttHMY{E!ti9S}rb|dGyI;h!Jp덗-,aO|~xVů< q*M: Ďɑ\&;hIˬH8*8K5- 1=?q&G4q]?I[2u,fCRʩIb?u3,R;&Gz j# Y8Ol{6 1+- TF]T>sg` jD?bA3[.242A]-a?:#"ȵ?8dV 21PUCz _laI(p ATfj=F%t+ЇFtf ^Eq֟PsdVqɵ-`|8YtVIm* */R)zϼu?Ze+k8Drf]y>1^QBXW+G^si 0A܋IW$YD 3f#gzesv=b`^abu+;b>Dt^/Y{0kAڰ'x¤0c N=aFe$`fefď7Zĵ -+}p0=`/ob\EBuKD,IW!_p;"\gnzYF{Φoڴ@evkc0(EpX7N-*NQR5c&ᴴW#9+Y$vfv3_r 3sR#gΔ3Z: *MRI}'1 c`gc۱༤Neh̵:R{h`-O TnabgOB"g0a;T r/QQZ&M``N6ae7xy|>O?;rO߬=+hBLlN˝m@ m|Uv=Cۮe1⥼&F#Cq'4Y2^z78:Mriv4J @"bGm[*oLJ?wX)OXQ`Y¶suչQB0s(BtGKmH,uΖ.9#QiwEJ-$Mh=1mW3. ;DoPi\$íð"i'd* T@j+ ^\?D}r~U+q1ADUII焫noPr &z}Gh`< 8@k4 9{'H|8w2!L`d@Kzkb- m}hn2nZ /byƥT-[І\r5hz[`]2~W3V dLh|dӞmNO(-pdTc,@ykrphJ_.|eCѓ* ]}Sx2\Uj悋ęV|o/W\ +M-ۣSJe Ӡ>Pz~n1_Xt mMIwN33IFS(\Ux9`urc;@@mk[C.,VÄrj6%4 &IaVXbug2pu)&+xXDN!ֻ%AM)rFU6#cY .@>1-#~HB u~ T7<9TLl`UGɢ5ʝ꿇9ʑt*gV, qf:ES4䷍)Ig9ucnMBDA jk$Wwՙ$yEB}?yN\ĭ}r!FsʥL$2Z5e;+M?+lv~i{ ^ [?=ք~MR5+k&g¼3, |vכ`e ZRIV^'k qm,hFX5tAF0>A.'N\Hk%qR |kzZ<)t e){= ؔh[ (XNEqԙz%<~ F*M2ޅpw N'Vo_ E]v@5 V뙨b{d25~ b{6DKp7<>Pe;bSkަ\Td͹T~#ʻ+x^xh7VYVy72@ bCWdS !e?2MFcۭjDPOsb?-!4?HH/slyLBЀ݉޾NX.{xLsoyE$LKs۴^*57?6"ac@p[I3?!RW)j')hD+3@:+o@P^Y -ˍЧ6HT3v4_ @@^Y=+9PqCӾJ;x}gYE$1ꚊaXA3+tOp#Nw:$s S`!\R[0h[H0A5x6LŅ6։n5!Qz( I(]d}f毂Sq,͡ Ь'dKvt4Jm.IG GcNh$^9VT]]*4\^8 i9Kv7剣r;H[hE^NWHCP(Ч)ezǃ Eh;:A?@T%{=ܻuOZ&Dƪor>Em:ধtq=(PL]  v~_QYշ_dj0)lhǠ;XPؼΰPU^Ү&AV ֖o\9KmCL)eLέ3/`-ы}ڱu}hULkj H\D㑷B+N`F YZEyV!Q[.\.mRx aWãWsB#ΒRrk.99K1 $SM=p0n#R5CUcڠ64:B@m qc ioBAQ"=!P+mH:*F; Q&}Ɩ"nCW K #nB8ҥ}10[.Gz!z$ꭞ«g@hVG(!㦾x2[_c#|3gi*!o.u{- ~WƷǒPe `yZsh Sl-Kf0*%D@/3 $֩1AC5s+dD*+36[@o̙u\Sk${Agx`t-rv/l9[Nu( zK3c7j*2,AYX a]bVė.cJ£4@AL]Gc\Uc ~^tPHB.Yf` U'`3x 7xH> ғ_`i0YV53cr`u3}uP~#UW#S^)LtN9ilBj_˾(_/**rqW+wgXm763SB],ѻ C@+3p}cƟ.B^DtÞ,fӯ]uekH]/7<Udj++?F{gKe]hC (pr`ϐ%欘.gˇ/WS@rTuԻJY47WF,4|۷3jOz W:J"䇾! c>ai\eQ$aSsw>dT 0+%W;E2S>p3zH+v=P1rM{˨ ɬ]Uɑ+L|c((`M.|更=/]Wi&r`/7b(>i]EdPP;39q֨ε-2[+}#G-]8- 0EmNֲ -Ь`ɹr̿0ЄO #_Sp&rM}ECٷiAWrOygxoԿ%[C(a '#pG(Ѡ]e?nkU Q2 i- b%^51E2C ZR0 `a+fsv rnfNqb{·AiH3 Z+qq?Obħ}? U$y pCGz9z*EiE^XP0R-I^L?^'Mo|*jLΊ<ҙ8KTp@tvY,eS=?aQ!ܬ w`O}z[*XU"ÞY2-If6F:i4ղlcӬDV'Tj޿pt䰣8{$ qh"%=~hĹQϬcl}Y**]!bO&P2k)h)E+f~sf LK.kRKWx}d\ggQ7 ,9utI֡kc9)KӁ矖M?! 9t7jAd:Ό0uGWۀv5Ц·m1W/$-ۊ% \=S[7-GvQ(X{ρ% bk&iұu_ՌKO Cs>̑b|A|dyN2~>QHSƽ_#nTTe7Mq'C~!V(o+1Ϫtr?nDtSAkiUT@C*b;q(Ր#EhI}z2eőlJ^aƼf$ lzxlu5^7.pI?߬()fd.* RJA?MW%{j/JEem^sf͊¢z.}*#hJoGn4: ~/LH CkG_5₸]7hO.}U|=Vpf-j9_,h$!nFә7YFjM\Mgh,ڲXr6c!Zӷ9C2\p -X* ǍSK$X>s-O$Ҥ˷4!Ix9-b)VIs3u@8{40Af-,hǎњoh+uAfG=< cܣ њ HH,_%KŕR/o!%?A 3tNNE#%ّP$7!mPMO7qߝ-^#A>'4f=WJ ,@'-=边XDN@WV,Qu[ݒ*ooL5%ٶ@$M ´?\ fvzzb qrԥ ڀ>3Yuo v{ތ!P`>ѧt8'AjJBxz5X[W$UQj}wߺߗp\-_`5E-lWS2֔B>_GcI5X ߭rg 蛰h0:6[/YrjU%J )8_-/x$F1cl&ԧt! O PhAhٚ+IwBFSCB.:8l_ڑ};@d0oh6-jGgw+0 6Kmc}ILps[G!t<)pZ`ò9R2!htnf~C󮢌#uSXi Z YM63@ܝA2aqr 7,\ ;96%~>M`)OCQrt0e >W,8kI׸ѝ*^/#V\y<۵?5~(a~WDznDLAbpsW$ lv Sc皪$H dԏifR9_ZX:b(&/#vW(G$'2DG\VUH]RgM@R`Nll:ޗsL@F^ k .]HV#] µYDw S@<9pя7E. hw8߻#ManCҏn <ƙb6*yTL3VzSsSp( kypBx+-- .R  "zh?9K _ylƐ3Egeg8a hD~aOw SɌrJ"Q^Te<5!t;lp) ?=WN )!l.X&|vomklo.9= E| =RU~ߌֿhzUC)YKj,ÖTϙiA).Ĺ{' :8tbL+J*p)EϢҞxWkSAfJ'/K]t,^4ixm,>N+R.)#udeӪԑvQ4Isq XC Ҩx.fx,|s[;NfvoH0<xfeVAm6?پxk8FVdd: ĒuP}89Td񄧻Z_0N;۴lHp?Zе͝dהM:Yi9~ŷ#-1@0K{k_&C8@h-4/=5;7 9.;Ӳ"N7W}1Pkf6K=>^n` A!5"%<ͥ{. ^΂53(]1[0,#~vy+mI!`Δ Aqu:U!$+=Ό{JT70beWRݐʉ}{N'Ws@^kPj+&ӌ65>xelSq;SEV7\ynn16BsxZI/w|?&jcRr): |07v/敘W'N_Ng;gGSBk;޶Adv sXxgd T}0Ma,i}c+sƼMB%T߄Qz.L}oto}R?-*Duh{_N>'z?}kk,DžçLt0IĆ KxHxXy*E"EAAչV Enr+Up,* lMŸ6MjK@# r1Mc>_Rg@0KK\"?qy6$ У%WH"#D/UR0(!e|  BSG(CΎ)ypx%6]Xpp}+xYv$1Ux$6GX!$NYv64H7;K?Tg"L">ЧZVb)J F\;qdtC@pU^ a%_epƥzK8? k(%ie=,;xa'̲}d3Y)OĦGa=>ߖK_xN'Ke3P~j1½Du}OלP$3;TgRTJhS}rrξf k^jգpr6c?] u#-G}7~lcP!pWrYHp BɕO_XԞy85ҡSkY0LrC F[q Q"9^-ԹZg's]D4R[17rLfuHڨ%6^:;: )$#C l F[o"{tZo*0|6Ooo^ _AKGH<]^{R/Wɺ`;6Df9臵f.ݕ?_7EU$ͱP4KfI{O-0C^\)&wx3P;kd} <Œ]S 5?K.ğql&^Y&ׂC~j ~t[dԕ ɞp H)>9]r51^xӵʺT~-oljRހC&Űn$#7dxB̒$rD: /\Ǹa2Y SB^<ޭnʩYiAk UzqT9MnY57p< &ȿJ}_8:M47Zx=0dK1pCX"jB:wJD8.0¦߰z?Ur},bDrDɪ'87hEҳL\9TlDvp Iq7Vz"u/%_foe׉98///: (`y,4g,^0+Hln+7pa= GXn|)/vITwti@Tgj4q_o/BZE z!3SjVud h6v\Ƕ_c$}Gh[gaϒvcY*>9 R+eskO:^{:/lPm}4p׻=($DDgX0BxBeX2<]qAX>'&wd).%=CH~t1QCgI aXCG<-cG L(h@ɽh23QY K"HШK!Evߙ1|^7 K0pC7_Y( yXN3wnE3(8bϒs [ڧ. i438Rhd7n^J"L(s10to/=qD'd/_;]%)Bߕ'ⓦqiWds8s|t;+،zb9U ܊'s#Y56 q:X`;./=lzφE `KBjcІ]Um^`v ] mtm=E?5PZdljkG?|(:@+=_KvU\aD[yydILgmе*w˓j F24L\ut'}pmQ泄"҉q<=!ߝP`L VC G&[(Lo>9Cƫm Ċb!nfDtń&9bo`OvLrEh|7k)8D݇5X}_3K-0P=w8! HF[vc&g >u_~U{ylMȒtkJ<{N[nu $`X@eZasÅαw+[[ c^=j2C+$ICC]ׅߦJ4s:XB.M"n*~3}PrcRbi }m1a@re~/2f8H 3SXV 垟;n.ؽDM3õVCJ`4lHKzUWy;hpr"u ʜ0h'`oiLtX)mm ߿S1bBbCdm"3¾$`8DR`:s)~so1S /:4eL^%),'"Jåmk=[)8ܒ[ҶI)T 1 g+]p"-f[cz ?>d.ɨF J5ahWt u3=\M02l&g;!"\Ŧ<UДLND0B*M۟2䅱՛ʞ"G`<|%Kc*lמcP-*#GHЀF i ܝůFRwB2+lgiݽ^ ~n~h!1g̝Skd&pr\?0rIX͉/.=ܕq)E/=wV(.8=5>JLHmn)$%)<c $Ȼs1((9PGOԛD5({VZ%~ -$=٥L n3.-P=8pӜN ,iٻ"ǘIka+CÎ<Ul͹Y4ИT1x51έ6r(+c[,O9^u)WKǠDcjXxBUWM K~,cX4S5x⽥JDS AXL]ì#hđHK=f~ȂM # ݁J)FxNB{FsaEٽneg^y-zIƯSb\4.CAG4iIOdPO 8E*aB⭜W(?Kzͭ}{OgKBi A8 &yӲ=i tUa2R04g&2CF\Ϲ%o%umCuf3 ^^F'՘Ej!V1F ˨hQMB؏T+qW{#1?]-~I ?$ Ϳsv}k=~8;S&kf60#sk刁 hM%3&(jy?kNv`uI:z Cf/Y3ŹߢvŬ8%9 =|Zrmݕ A>"Ȱw7_ bV8Cw .L%{0|S$9=[’M) &w5gCc`j];nUEhB4h4ZnD9x _Ғzv׋cRT2ܝĥ lpHp?Qt?`Oa67B;lOs3Y+#wT!Iی[8P])dw:LH݆@`[hdWm=\5.Ar| K "OCF]wԸUyGw_(xOZ{j XqJ|M#UOT&וqM'eP>< wFIpNbC}/eH2fìpd0r,"1yi( 7xwVg1̴ֲ,0?MyLZ2m.*TxԅroX^z_G7Γ>R?!3,cy6ݝL&}ų) _bVQQuI^]8@!#NymiQU6?oK `~gʈٯu߀fc*>PsQpD*,:Jp@_x`: m3jF٠ mB.@r'?m2'UQ/e%"g@5:iqDu,v8캝@K((&+Ի-VXP+}71FߚlE& stj>4+ 'P~o.\"r#{ -~!ل^=>#% )=6w:Vdz+f 3ޑ2Nηdy+~OΦ )hYν J((QzJgf 3R'w$MT޼{W}yXOKF巴V?\nrR1Jh,ڝd7wT_UIvx4pGzetA!~wH,~w>J|+B{MnX=߽|Xa nYo`㬿S~1Jv:&Vm3rdhE8*5^0!{UDe%d*lrfֽ5$QR<(ThWHX)BEE>B Wٷ(nŵZ r*+>7尗[ gbRpABv ˱}r%!Ms<'hvYN&"q3?se[E{jq/HNQ39 sLL#igYZ } T  }Q#3!PHOLCF-FOCUSHOLCF-FOCUS.FstreamPIDE/files~~/src/HOL/HOLCF/FOCUS/Fstream.thy8#3-HOLCF-FOCUSHOLCF-FOCUS.FstreamPIDE/document_id338% #9# lHOLCF-FOCUSHOLCF-FOCUS.Stream_admPIDE/markup7zXZִF! B%/] !M젗OFK? Oȫ4/m :SOU~uɯIFf)-Y/pKLB!-DvPb]rcQcM2.Au5Nb$W7 W<Ưr؇_\ֻ&w'U+fYhl_ tNq"D( ySLOC -Uݓi(XvƑ .Vۑ)ݵx4cnIW& "ZE˃+xT-Oᡅu dqDI|+c26 k_ L-=gOaj3?MIUx KDp֞Z9lm `VE&|At7eH ArK6*$3*>.%, O D|AgVL6}FBnW ˍ٩#SRcdx:`bcUv6mY^NJ0.|EKXIٝ["Joagj"3' A $C/K"0L n0#b !n\p,OX~@a wD*%Ƴ.P/zM£U͆T3` Lkd|P/y!1[ߓVCЗuDI4G:#9t{frYΗE7>TE@YV] r|(/.Ev'aҹ +ً;k ЂuS(3ݮ[{30,z/Z\Z1æ)0`ܪX#G:N돰rق^W!5Kė(j2nһ|sV~($VbV(BϖK|LP-E ?c58N0N+UϪ[Vr!zj[n-Dž7wh-˶1oB9DAN-zrj8՗ۄ.~5]\6|C TZs)jS|9&X9r3yR 'jקK҂YAQL#ECT*Lr ;uu-}0%BBcߛ|œvYI(~;Q,oT׊[0L%0nASgnWDp?Dh)ef/FVhނ¹UL$W4-d?)d.S{8,97s肃Eٱ+a?~"88uWkb*R{~1ҕ9_= & M R³A@DUK4v+c. (d{tbgmx~4< #xSta?k;]i -lZW#9!VHOLCF-FOCUSHOLCF-FOCUS.Stream_admPIDE/files~~/src/HOL/HOLCF/FOCUS/Stream_adm.thy;#9-HOLCF-FOCUSHOLCF-FOCUS.Stream_admPIDE/document_id342 #9# \HOLCF-FOCUSHOLCF-FOCUS.Buffer_admPIDE/markup7zXZִF! 6&&] !M젗OFK? Oȫ4/m Og}FPm`^tͽ=w\R4c8z昋L&czE1Uj¼:,ΞEm3F^Wߌ:]#ĝk,>gd+RV]c' 쫓}M^P?;`ā|Yd0 ^]BkGM%AJA!~΅WW:k%.)d^bD2_X5KL^qSCǪX?^RtruU WRs_ 8p/p(WZ C8p6EC&|66| q?nt̰~229K;&8ReXˎ U(Dp x5%Z~+ =C3nVq\%t RORt"*ìHbu͏P)p2mۮm4~kA)}'D CŽ 0LˊqTE~(6JD@ji( ̩M>ӣ]DEXVKˆ9g 9Ōj=ԼWqck)WUzh PxigOZ8l ,rc%bߊ hr] |捏J^:gO]LxR f:SrD7/é{YiCPq|Wj)XklC%TUüKvVqQ 1ˤjb 8{p/v{.dthPv2o>LGi`wPpO&Rviл}[.?z tlx]*eqHOE)1(}7~Ė3¼KغtC/d@rZV'o̊S&/Zbؗ[BAf&E޾ -IaxּWf\8cWK L+F:NdB1s8 mKgMe$i@]P`sʹ(Z mK*=pf.N q⑇[)WgoaSDNsRm=u<'^?JZgݙKe6J;gp& Sΰ 0^9u~l<1S,aexP@B9g#%)q;W#DO[cdz5Tru^È說j[ Q#/8h%\2\`k[{NiU˚e2WfgΧͅl,}~u S„MmHCom-Bb5bo/%aB^NR>V$Xg ņW++BQ~|>yhJ3Lh*JZŬ.#K<2鑴 "rB.Mj`gtu@u0)-, *G8&\qYIJݣa/%3>K1g3)N #i:m)ب<.:5OBae ;`Os2٧wh|`y'T&Ò}aAN*MKɤ`P8"Z) ՗7H*.@N1^)?OD]g}:+~BuQXTxea ;T$ hG)'oW|P){aih$!tLo"QrdMW2.LT6<{ŬwAB.&{c<2lukB縫c\sfț~o]G!D6f?OZiM!+b<0{TK9vY( Š+Z$&6Mj|U[X& 0Pw0=XtvoEX0TH=%{ځ9J&=%k[z]ھ!fʌ_E}~z%f P[~d^2^nGhTpXޖnz`>ܴ1|b E ngقq6+" u5jeO_hiVĀ- qAйsyDKJ('n0XR).rOU"mY?ZȠ^T11T1x_峴$rAf-`O&FmuR!#JE#j@OJeVjMO~YwIRX{'B+ 0/Yoq>9ųѷ>jSP>|9k5%%@X)d? |(nOvTS emmR:ţa8jb]_ ]d7#A7%Fvn KfT'xj_kL&k^BG3W\:wZkʽMANGKXh^>#9|;l=&#g /x^f|o8Ӥfϒ,j%_ZfI&J7 >A1PÒnWd)íK{aSsߌ~'F2ԥ:Nkѵǒ޷D"-3h ר)& (T;{zFEr QTW{#ImLhF;NM1BKd) P=wzP24{f7T-D2k QrDXSVKPWx/RWpDKהRrpWXyVBsg6}j'*} *'}7R}OI.MF%8gسTQAͽg-Z&@q~' DNXa~H3ԯM1cmH;: ,5xv 7Bd]1Vi%O4;)h$dDB+`t/jbIQbť4g.j>LwTEy Qt789~@wشPuMҚ.zR⾥'hYjٙLܛ\jJvl]Ȑz3Ґ4~NQ}w\AӇZt1euh\ط'cA=gHUUcv~j"kԫ [Dc2 7HUͲ qhY5J -ѼOS\S#')6?;I-H[5HQf[b޼;î+ gdä@YT јwGx =VuO]SPCݯeE!0Jsc3TA|濌wN)yIO9IqF% ) ¢L݂p?+:1Oyh7 JlH3`kS~:_iDgvvWtyͣ#HfOWĢD蠗6X8 (.0ǀuOC&E3ϳNP(SϫZJ.e?YLL-sv kD0M𾱢s Lo( r w,$eU5wB`۬[I}[OhS_%R:| ߼}سn',Ejy uX1j4I<=Z%/uvH`܍1vDc8a9LkZ GvM0rL8n[cl&fYy 1+DHƈ1 =%a0gN+N_KxӾY(t,|QLIHoiNտH>G|~!򸺜^Q}&iski& `E,%P $ܩKUjS NM)~rh 3Yh }L0;BR@G9Zd#Qd{[o!K9r> [2"9֑D(4{}yF0);<.5#w7:f߈bow@ ܢ-p3;ƙ9.AF4VV<S.gyvխ~T* ꏛr?Uv EvJ*yr)Y}@ݸ#VpmG[e P{X||?-tF x은scY5X7;v\AquU&忧9SP`LƢc7n67iΛn16jt_a5`{+HxhѼAzL/'~&9Vt,a&uܯ5 ^Hiej$!;ۘA Xb. S^;O'jKz\tߩ!DN\vI%!Æ ~%4EQLX8*x1<9m^9MT `pm-i٧w0sOcY  1u E]z7wO t e;_N/=)5𡤌T+傀=G\$P@ Ԩ:Er3rZFR:N^RUy K&v|_zTjFQ-D4cJ9owV0SI Sp'+~H)TH!Jbyf8g?t}t8>ؑBQ19c.2^GCbP5M( Y6LC4Y [m<G&[GăT/*Р*nhﹲ|{ M|O7Q3pќ/~L-|ldsy:gQ^Tz(0oO|gM] .ҷA")<n+2p ?[2^]jnd}51U5Fc%fK,u@;*NR98b.z v/5ݎYX̯UPd7<.1UQZ ޲HRi5iF?X,*C9^'j; JPx"f5ztf(hjsiԶ8$-N75/桁e\KNb%' */W'7#d!"ll3WUyb*-N/>3gSoӤrQ(YQ6p}ƚzzK~+ y!8T I$׶S }2iݞ(އ#-n&-ZtUȘe몚TW|#HdwvGƏIJ47razan/f\$ձEuRH Zw'eM̡76/b"ZNE@5!oXki%4nGO#}t7 A- /nx /@Π~Sa¤19Ɏo'̳ M;^)o/!Cg1;~n9Ll96ʿ_zZ۹QXA?aԳyywuk.foGmomH6;CD\W}C *JrMFt Җ!uZ/GJox CG+PJ&lf4YN/=3CKDO| ȸ͗Osj#8`)| 40wk]M>6d*}[>ۂNYa$މ5v(gvaS[âݥ Ov2924&z.g6\cx7q2u n`l uɡ\L:=h?5Bҿ:M_M{~5X 0sDpK}'XқoƗ1gUDb$C h'H1U4DX9GFTg6͆՞${ҮI_߶#?䗉at<X5GUs2 wD؋[tgl .'0ɮ+m}dB> TbYd}m,2KLh\F sKk7T-  vXK ;+|Ԣp"du٨M_iw.n /jCj}>aIL b.5G׺b|I;Eb=HrFg8胍y:N&csχ+2p.Q9H8ާ?g %Hjϩ~2:4{z{\$E {C\4ϨD/j,J,;K!k{F_ lڼc\cnt}Xk7yꆻ;WF & ]YV˴TWW}p[ bn*xct[Ofui23 [м9VDQԎzTc8x;:2 IEz`,Wq3,75}rCY0] WvN԰FJ+6"9&#%ZcV 옧Ju gYZe߭XXkB1=H+EATr7dF`ߏ:2ŴκH]eOբkvwᒫ;Nl'~ cz"Z+O NozΪ`67G~kE熴gvb~Ȗ:ՙIso֑Aα*e|SKQ&M< md5{5c s.rDV-Zbc\q>^y pcx\EoC̵pa!7-C2"P0t|b{vU1(S1&+0O{#V~$G^v?7fc5@y2nOM7fj=*2I>Ꮰ2$GF!LMמ,B{MIj(ae]Ukqe,:zqk  e8s4<@Q262kk<ǨdyR4ϳ/M8!w*oiʨTf<rMkмn!88> hTQ|4FJ> 6*V~qb Cvnѵdr6n2 !{$ƾw[N|qn .N=S飝 0he^ֺS`rD٫ x1d/a@͘k`Ib_@\} |={/x;8̤0;4ԈPSyTCƜ+4{sWs:΍h5w@aRFA:R 28<K1 C/2džqڠGCNZt"ynq0OL4q)5G^W~|c0cM楌{6?k1[lt+B֡&~slg1/2R5,JEp᩼-~s"CUk3{gAڷ+;[5G.Tpݡ-?R=j<X|Ih8(hTM]*Kbٙ, H - ?\4"ADw^6Z`68Ce~[¤J81`rhP>JL.327c)1xߣ} tOt>:hu44EH覼\4J&c޾ cjҳ#*GW6nUE͢:M}3Nl6"OؐqDv$ GytKw)錒 t5TF [79oMCg"743?YZ8=о:<"0(SP3 LA}fѧ9b%4Y3pJ%Ds-"ZңwYÄaaL*̣؏%Hw{-A -#'b;ƯE' Y{f /iDg%y!IqY b{"'Ӡ4(8Q[r~zlUd^?Aĸ[g(J}1A*@`E@t0cLZWS a@wdļ_hc[ gē>@5r<ҝBPVcxC7O$潤͕ n#MX\yxϖ(JVp˘n9>t͹WȽdR.z~#G}c }>yԃm!kU'BkI܉#>$GG׸w&Ұ?+G:=7Mp }0 z&R}=-_{{:uaOe_sx7V̗L1 9 0 ^!ylM86הeLϞ%7~/7ྷ;aM_AqزW fж o>%}fvPQçU31ʅt-&접r_rF0c"goVޥWTvE|A^iR2zܻj/]6o mZ${r{5Ш夞aQjW=׆S$ht."p:Lu Mth54AN/"\fTH5\+4p|]~ceVUH4LHnmfe\kk$b*sX vEJl۬y\3Я{bh sT7콱3l7ieNkݗe{W/#340_ 5"tPpY$r yՒb~P /NP(C~–hy$I }9t'SgX,@!8B x?CxfAݬ.{/gʯ}:}T5*Y!RSFd-QTc ٽ]+p| YCi3=h}H@ʖ(ͱؾ+SrT8SnND~OG!a#.SRZ(510*yO3Q;LΊ˖s롩Ѹ1xEJ `B͂.BP540Ђ,-&Q_Sp0mmi4BL?tlFBK (6j^dHP\Far+l D/ I'&zjiZ.pV6CvɊd~W@;)@+7)L>8_9@(,Xĕ oPfo!êuk0[Qىunlzdg7o*,lJR\G*p6KВZC)o)L^y[Xx~٥[n967"_ rwYH(żaY,,ۓ4/c h~R7ZfIدV63BU9K1IrS1nkH319 ]+=,n"ˆ G 3x]kdkNi>aX{`̯́1HHs~π'eL0}MݽդM5  mZNRجkMhx\ޠ$%BMta ɬSK=7/:w]#'szdΒtlG͘V_bOV"t=g }1' ԍq}M_=MpbDt~Pv^k\Ǫ^becrɉHUT;WR v#~B< 0iUʽm;!ע=D[B1,PG~۞تNb+(㕟@^ M>o8_FuW~o=,pFuE"(>w Zi"+sȢs_.c(: tHPK#ɭ7f("`Yɦ3nĴ%+Fxq7K!%Pl9Zn):=l]Sr+} \Ɏ;Ɗ>zT2\ -++dKFɇ19ЄNBgZ[56'孵TSӈ !E=i?~ SRVu`ŷ~ Υ4'{֝ +>n>ހ˃JJ3fG/a-3u|s(n%vUzӇ}LJˮ8}f_9~Qnt? Ԣeɍ穁w kl]~zUpɽCg. 4SNa`S Y.o;Wt۷DڐXBwtA#h+ϖ_ AH7d2)O8 dQPg|c86KX\l4񝡟t{MX~P{ `S_U”cEZn웣R|ݖ='{n6$bssFB?D:U ocm4fgq&(?1:0ђ ;KiQ^C G#pdgd*,#Q>0w;f&CO<]l[DkQ\nT;|U?ڔV`H{]P@_N&th=V'!-Kz؈"? C5Y[rT7\_sfXAoІKwݜzpv\88z7)#lIdhZ쨁"9Gc[ߺLh簵H8 )`N)O[ƄT0}!dϽpm>;*붲.*~4ueoNf#KNlG?p F}jf0Iy;<)L BLRZjm2 *?PATW?OZM[BǸMy E&QTj֛$@o=2֩|2~]@fzMf:ɤMnڙ0Wk@J2Jq#$1?8d7/GF%{ekKhB]Kh(c*^4SqHXv1 \*5pӛ٣pCN#h}%'| gaqO%~+ wr9Z=ܭk7A{!;SgLWbyAӍPqz`+V v./Iї'Vp#YkSNYFqsI$8 2>`Ґ{q1J#,gQ)w -O@9@CmIMwA G Ar@zB#+{F .L*=3Y wklSSҍi*DO7c߉}Cgx8.ǒ~ڹ-HLc׎Z.zLTU)-ry7.M %t9+¾ⷩhUo IXzYV-6Kgr#w-+ t?;O!iY0V@  3LYHMJe]|La.k"bb>[&XOh=M?ܻ ۬咇aK6s9eL{ ~PF95)qv77Q KA1 4ƛ J6u3uw,:sNg &;ÀK $WhpDĎ $蓜j;\4jj.gY.;.gTJ)҅^o0e_HͪII?83Yx TQyעE?0}+c$ƍ.y'):Y VU# r̽}a(x+ eھ/qص=]B)Sda-ͥ4'-Eer0GGBDԁm;߯ eakaa&0sl6Qlg8ԏsR#P05(}w0Cedsn'~j'_^4d=89a-` $yc{r9 E jM ǝu2Goo-: r'Œ:k))y߷=<;'$ `eL;cWHi>qPSM ]jiz;/ Ä`pLKh3RX`sNHs4ڍf@&8,o& :]y[ڌr=2)L:bs,X{~L`ж_]#+š yv:iI3Z;`B߮yc czqoU+d4{pHCبgYZ 5 ' 5U #1# THOLCF-FOCUSHOLCF-FOCUS.BufferPIDE/markup7zXZִF! (1] !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$M#"htX?絀fZ8 b\Y][PR0s5+qڟ^;¦6\敍T ;xx jG,}f.#\鴻cӘfGXFy%SQg x0T=IUA1?߲fo1`Hy 6*W`7C[Q=Kgu=: oI\ȵ٦5ln0I0^aZFmnq{h/۴Y#t So/w16$ 3;Ϙ2Y3H󠨗͠a`yD,b&]w(HxqJ|O|m3w@b&P! #Q;+彌Ig&:>);r=ٱcǢG7ewq@+uIpN#sXpfL]Q& ,-Q5!nU,=Uln=؂'̹"Ӫ/yj {2?x("@6ᷴx Cdop4M * w`8?m%"%u7.Oמjlp&+>L@v؅h%Q'(g s=3^ $&TP|ž0L&8cкV`|eI^R3kxKeƀk-g4+5{}d|RF$e sՕ"ɉZfڧN9h=ovF%Nvݪ3Hef^6̣)-L۰v 8&tV}H#`5 ;#Fw*e*F>u~ڭY@%̡#2J$ #nndޔ 7-?.E}h2(e$}FPNAH|FnQ` +/" XdwKzOdArLP)*͔YE-hx PyY "6ԋh-TCDUB+-E>HDq<~Z

@QYpy+ڼF3pexYE%z:wrIMTxl'Dut@r"H=ޠ8b͸aֺݾ[x@?@/NN$Oӕ)ZLTo ؝f04w0EP,tWW//HY!E4 (1i .t}uvW'Zlb鹶?9@)A OdJ`ijmR2}y&X ,O)n8EByViܾvrk]MUIh=fY !⑱Z7e|qrjCo{rpWB7F&qWd9_b}s BrjB[YibnHMݭ1j9-4N'2`.J'WI8G2ODl6C.W|ܮu.ʃZyL.ȝ^{<&t[M9fۉr{"-K=- &f{]X0egW7zI>p/ /`_O܊KcȘ ̈1fdbϴ:u $/n]ͽkB?'$e7cQu^D b~P%lmwnvAAJ\*R|NHb1CTJWgi8ը QP,ұ.18wy\ MY- Bo@ č0|" o jg>~tuA y'}D9={,#9'ۺ#A0vdil5 +2*,tn.Ki""!ٿcsr9rzG}gMuB0ĶC C!RFwX;F]MGmU/c!1ga0$MiԁZS(!e G(ä3Rс&R|j!.#ɟf[[)Хl5Zo50TT!%.y#fM Bk!%{]ZA -4|!rE[s`ڽZ"U>{U#U'9aqm0B,D j՗`a)n<$tI^#e ;ƞc$ x@CbA~{L} މ :A~u6Gk5MXX$"%*IEJpVC)V“PZz α2J$@TݕZ{n5035U w}!iƕ̒xtQ-"FՏ}J[xF)Q*ߐo~A;K6'Wf!k1rjP)\S$%SeJ%RҰ4-ĒF+:cZװŬTW쇻*u(~&nrjt/Q2wbX@'TbL`9hҵR (ٰ)#0{edPdWj@Z Oyz`ɉ$2R}f=L<5a /)e_A[#&&pM71m]oET8F7c9"J> v@,n 3>P8RݸS-CIFА؃AL*7!lt-HfEbK^֕Ο)GB1|/qd% 68g<)ކk$c5ʌ$:?EWAq(1jMp`ƾ{^5ؾ W134l TxlC[Lg*aA\4 !zwX$+ Uoh1E( |6VOMA+`[.t~s?\lw} oM=2Y$tIb{"؟ ܺVYx ǹ 'Eq>r:(61dka9Xjdj9};@4u5 -&h&4@#dL=k$u0.2pK sjˆKl+9?]oC @>'(z 2W?4Q<*?d *5LmWNp%m|D.s`q%bb^6$~ðgrX!h0;ksz $gE`C F"dO&"< ,u9G8>Sd}c![vȑO@D^ns:E--H *[H߹T=OǿBDy,p2@@$n{COT#rl JPč% }Cy" ){TX9*;| h=#'=l] "NMj5| C&ͪM/ *nϞ餌YovZ~:pV}S$Td[T* {覀N4;r*^Ňm$ NJG`ha_;Vcgyucyf 4 j( s{;P _ť閄~E>,e.I%1?G\6$\HLb3T`0Rd)DXSIF_z 6jqUڤa>ZPkv(w9L07Rlzd@Oeltd&Pw($tyEb \Zm.2D uy=۾_,R[r(eX˲9C6;)ܜ3ro: V @[Gh/5`"!dr_~&G>ѾKB4wIPF^5Š]6Kp~S1 =EiZ9SMW6J7});&5׋icXAP.0l*l7xgfTm" 1 l\ ;sQҤ}Z4R1{~V(9ye6Ôhun+Q/֢C=ni@֖?w nV8d+RlwF%Ͽcd(/,,=6\_Ӫ3Q#8+RqhJ}cg6 7FO;)x?or cm͛V;߹ZiBuF vʥn1 [@Eȶwmt;nlv0UT\IzC+^vPR ~&K46I?ckθ47nW8i 4y90S>;j!B V氥I`DM9$؜2,B._tȝ ƑebQɫ 9YьX( `j *Kn$ǐGU=rƲ"2L$w4 4AY~aW+. qx!^-h4L=dWTzbp+M3J*eӒ9sPـ_465oڅw4_fQ.α>rFX LIiĎGdnFA *;klʊ|h8d](ĦnLO(_EaRM<IPMTD_OUy~r`QTt1D;Y'5D7J1;?^Ҽ^/ր!>,T7;8JD%1mILFK"Nk`u3VԷyu@ZSt.h63q.nc@#ƿv17veU8s@2t2MSd\j?#R؃AY[A@j]!tr`$ рi"ҜM&I,*W'O3iFgn')ҥo Ԫ+?Ҡ떲,U_}h&6Ư&:u[t';m w7F&@LMV(U&-E[uS) !Sa2"!=ifvYoF'N+@B?QZ|i-Z^P :,鐶[=,GZAm FoaQ"mg{")R3e\ZM O˹=Udž~F%(UZ/$ @ّ7q' 'F``%NTzT.- }ơ;~fX%Eg Ѝ˸I n@atcy\HIn}Zj,܃V@ƗyV7܋V72p*8:aAh-cFƾYr,mi8ƟSw!o BECY]hY܏($ik]ADaQ2qKX=b-ЭRT7 bBtXaN5OH FF,ߏ''A̶m)/4$OLz_qQ][x| T *j^Б\ȊV'ȠNTG yN&";Ӗ,}" 澅Ϝ&e\?PIqz^>9YEIǶ[i&Vk(X砷X3M/_&ottp]kxPCHo$V1EV7%'go 5[8wwҩwHCuIlj%Edi)8w xb缰Ș7<^xՈuWäi |=:8AŇA^@ 68y %:q L0"ƨ WLBUCr *^?[V #r-'%!\i./ Œ*>ڶ{u>&M5C+²0x)z2%8$Xq/N"u)]ur?oVyǥes9zNDȁl}vz6pt|Y}/"VUn޷iafp 1M '*o0n,OJ;Gh B\t I@/ .ݔͧUZEci#_Fs'WAcqA[4^[` \M.C#询Q衰_Jusp$+c| A#H1 Ww}ʯU~Զ;+7QFϱJNPr'lpb0ǂFjɰsO߮dTؙue5+/":jn/x` - k,^\_upq|da7<}[Q^30ו(áxyq$m)2It7`+O@!rx[9O`ZaN 5ՃZuh[sBxpQ; O,2!T]{c}:S M9Q5ɥ޺XHs*z˳z#L>L0(+ຓ!NX{o{es]6Chջr44D 5H.aB:&KodB.Xf!& u]oA f*JB\KBOc*)yT#Yo\q&/Y(F8 11afOEg%H&-cy\]:7 ? ޴17>w爢#8h:0~]m<8ϰ|1_6gڻ Mf}v8 MhjAeȏmI`@$a3bo ;cRKoiiR#*sr[ĥoKZ`$9Q|7ř뤞4(KCJ%v cT~c!7=tB+DW4X2.~b2NJwônW|oķp“GĤsieѼ"kY֙1"ygE9DaNc۴ H{V8<v_ D 7%ƚk@nYyF\ə!HqE+/Blz:sYJqntQR0{#AY(?aLA\дܻk1#X3KDŲnA@12M]84f\5)Wh ԹT KwI5ɠuAB>W pwAG ܈wg؍ +-񮏹R9AAQ%{9+!Qzwǰoxh<$GETiԷ`#mwq묾"ïfr}L2'/LI70SѼ uП^,[=sw^G@>G -@D( p0nFt0*l iNn;G/~Ͳ 3 V/?qٖJ, G!,n(܊ R{rmv;a05p-}AܻB73cv{U8ŋqX!yZɼNRW%ی1ZoBIE 5Er%N&ݵ]iVCu'{Z>%{QjӚ.}?)/8&ӞNbZ&]@ gP`gml'A4֟wP΁f2wKw{hWQړ<o;l D 2X|Ey孳m{5'8JfUV)Zb7i!ZVgvJQLRhO;3lxSޭިR_##2*p W_G)cnvΦPz)P'D_ʆU ^zcS4۬FHr^Uո3pљjRpFlo&?%3DQ /noűiT VªtuÑ@-׵bɂ*U)Na[;z#ʗ{!̈ADF16>zbװ^*-0IET:GaF V͌ }E.UTj!8rf^bNv{26RpWdRDh1 SS_rj6m(mX 嫀Po4 ZwcՒv, ޥY6x 92 gX@`:_m,H!AvZmR>*9m]neaw\?1)<"-bJ#LMII&PU`g/y&4\ 2="-NӇp&ώhkw&Ԏ&+(L7]}*[.w(ZfH`ĵgRp@bM= /6~/LpG, ;Z3Dtba%dIZk]:>ۜr?EΆu,Ivacphh'BU۵"Dsd>a*21KϓyAl6`]+>Z1g??wG$|[}8r7' :i,aHZPBMD/\~hiK8~5f7`*gD P?;Ri{sLi)m Duȃ̠?1pMbC~4>x`bXN"nG%r[sSRƫY:~8W TƇk ??+T[xkD[b%^TvFeCJJ6ŇbDk=(~ƒ\Xz_~DQl,_}CU6ѯ]Qd9:93d :ce2ȧB8~,K@,'sk+ 4!Za^v^iBw{R:8{j\7LO΀ccs߻JC[w.nC"ۍfF=-7\ 毞QT:1~rzx~.,o%hPeFԱdQ'vu$#epD|Nbr1\|Oq2{IQ0N urwDY vi[ȀfZ ǻR v}le<8lBRwyWIhh=O阩 z1eeCdh  k}4;)!i ReFJ-33GYb RVCM3-F4D^/:D A Yd(I F4gYZ