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  #p,,D ]S HOLCF-FOCUS:threads=4elapsed=2.695cpu=8.620gc=0.1647zXZִF! ]ŗXiɟ7KIxjbk- JV ѾʴqGŐMyκr]a6'&XcVȣGX%"A}jN(X+^Ĩ"ħ39{1Bw;P%.&y!e{t\ppx9]1=>]\; $9<'9`L;qg/O*1"}팱gYZ7zXZִF! ]ŗXiɟ>Ӈ~{?@& \Kun>WʈO6nG)32JS,ʀͩqRoM"gX49 C/!euG4 `5Cѹy1+ʴqCNV$e8hPlKgYZ7zXZִF! ]]ŗXi%TW ?bѠut(-.Xc@CVsZfE6>]| v^4$@V0Fvy{01De~+&Qw2Xd`U]g 2rm)F+yLJ[pQGX1s3Y)G +QPTj3nT*yX!,[g~W#}R.?}'dMHLjy-hdwWKv'ÉAon h}䇮M I0R_LYI$J(0 #1 F #Hli/A%l8K| H6͡ThA*KB r 8\XXYҋ7I$-'z'?LSfb|4$@pt߻n( nx[Hwj;# j'+MZ+OS |жgWZ]+&dg'fvŻuF/jQ;}^ OCF8u(B1{*G^zgTjK=qO)x :,Vuק*u$17+EAY go +&F—N1ã='ͅ $tOh*&'gYZ110e5a8622fc46d8eae714156c33e359bdb09ddb3cef1131ffc36b5267ef54e02c39cc49de01aff8 1f732b8f5676e409931f4b9c5ad7c93b8b8467c9 fcb23ae3c7138a3bc9a9d3aa039df46e1a5a53b4 1f2d8377a798197597c1edb2986ec452fbe01255 # 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& 7OuK#*9'vB͓ nGVHny?$FoT=/(\c6}!3="+!.yDr8sXňW f{P YMVB7J+~S kKCI<Ҙ=J Vuy졁BXۦŒC,74N=N+ PN.K~tf^+{z/)2_UyY؉ ߝÁ,ǽ5=V~7{MjQ\DEXAPrFZybU3rW` sQi NE,=s?!g62돒sCwÚ*>Gv%c XٷX)=c|?ITm:ˆyIfۢbG0|)ܦ|ud$$R(TgFrղsrRֿsd9LF, RM|LB 8F+GSQOOv|h.}V{M(Ǜ(Hي]Y'[ٖ ¡esY=Q]^'q3@MV>QRp5+9hdiD>hfds`ҠԱ0u:b쟺D d)G:̄ 2:c/aLgSb /ޓ>Cel>-J[5ðcv+=Nп)ѤNa2}8`]S0)-HOv\u>Ye"uTgE#{{}b`󪌉"Bbd EJpNym`͉ՠ0=ĊhH&ONyƧ$O¶6Ӡon${hՍX-+?UpQcIa.'Vse؋̄ͥFP 3t 4N HzAjͩjdqm`)=Fb\?n]V="^zL.haִƣϭFkx9͹.uSɺ^>b1Ҏ"Fj#m1!Z]z$ДU+X6 ]?];Hog7/6ʼn"-йU A%˺*5涎0)!c  'yCZ S J״83 j-xe#l =*KAE er8>i+܆!Kbewfa=Ǝ`{j8Kܮ1vJP"{p꧔1;"Dr®ݟ?O(hé͋^7"'em Zf'^{7ݻ.ᨢ' mgYZM #/!LHOLCF-FOCUSHOLCF-FOCUS.FOCUSPIDE/files~~/src/HOL/HOLCF/FOCUS/FOCUS.thy6 #/-HOLCF-FOCUSHOLCF-FOCUS.FOCUSPIDE/document_id344C #5# ,HOLCF-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 Ȃw/kUęm(XveLNXf^t{;W%s;%YH+rDcfKӼ,IM9=J otΑߏ7zՀ 'bW`0r"d4TqA虀nѺߩ Ѻ_(L..%c3M'Y#}W ydU$64Gr9u618ک1.pkEYo\\d h8 !$KCu]5܋ZyR09*?)*BJ/m1_ۦpPE޲. (h= 6xedj( &6'\-]vj]S\0H/֊MC_b%3kf܀I~N k]PZ:`5]TQmԖV 21Zqjrĭ;T Sb@Gb}枴Py3$K%^ljM\ږv֢Ya6v3q#=2R L3pBtwEp?^ ᛓ };qʑ -@sH)p# yW\G얯 "K柵) 3:u ^40qE;xɹ.ؐ1]!F7|G<]CY9y(LOGޤЙY%(+ppcцaHgI:E_,S` ŀ^%d UK-sa}q 15a/Ҳ ?.L᫟l+?k8xKRyJ5#(y%(r͐FǴHmJuZR48][N^-% ;JklcB>sV_ZAvmWnp!@5YՉA6#E38PmY/ífg68ct_in.FGRm~E<)َi^757+U%A]$.R>_R lu%! wޔf}ޗv~Y [qd; 7.[|\9\|&}FYZx.`EZvW6MZAm9x~r2 WD\hB1^hA'$CxB8;4#rCZ m!tF%a.w[nvXC5 SMJB$oѠQ!!bnPy>bo> S? ViGa,15%FpUfP=N3wmΘnJAs tԐUz#䛄`S@5^D1.9퓁D!-Bdw᧴`axۅYH cRu9Y Lzx@OFeo]5iqr~@:r(Z&sA>r?)G[O4(b HZtѢ [QXj.E8EBZf念 tm&)k![6St4UBC[\z:h21ǝ{EȺ hj%*b`(5?)Uqׯ?.,vr^@aҦ웶'7ZzpńFDdM?aVUb ]uzu:ƧDn>kiR(^ zw(䑃P5IgJl7K]4qcs x Y+W,e{sCc1]]zz3CӅ=jz4-li~³_g@T~e\JLJo@fo֡/QAJ0~ԠRG4eV.XfIyssx hE5}J]Emx WB$\7q=dڷ* : +R-pM&,p=5ӵA<1A!c(AE7d䧓T+we}5<ɝR*'i\nzاx3YE7 t)i 6 ?fΰ#O^ pNe;\I2C#@\UTӅG҇>X? j [AU"H)a]f2 n hQ_[JÉ{?JB8S(f'.X:[op_5^#y.&u6*''xcPaBF/w*9#FXMV t:-t@LF_58Y%O(TLPp3U>+>l JIEeow(HnRu$x-KHk|lrSёi*@#!\BwK#)q)mW.J?e|v'5K%mC`Afɇ/zGrڤW1쮬|&UDU%}@SlbϏ<[qKfcvnh2& 1XyRa[}Uq'a'?i>y|Esw)ZѯAFheKy7Y.ٰ\~H^4aן7l3sߜu|53gQaC6bťYIF"6X E\ޮ @ɥ'd1U5Joç Bo6j͂3Pk=y !ԇM$_du+cߑCK+Pgܛ\?" q6~AO[S$B*MɊϻf~\&K-U,64z*{3(]MIc짹Lq0]KRk{SbO,Y{ 7Ë8q|Ö7aUMWXK/ 7% ?ݣWlNxμYn5w5];$p7ޅF|]: NC-Kd'zpi= (db j*xgKxLW^wթ(Ora2)#oo6r/,8# B.BQ` 0JǗWkC Iƀ"SX'8z,cBΑ9Cqc7z=Pbdf陣:LOC^S-zڮ iu"Сe $˷}K dpUICV"7~oO8yBJ<qn<}681sSf0P'oE(\YZQ@][ !Ѝ߃C^\ZCEAYP(>3=(g*4Yk{Q !@ ˲oD&,(m'B[>]t /ƙ)Z֑EC Ph2'ק=LΓokMfT7eV|[*u##c$MUb/3 ݙVTf1:mݎs@?9ܽ9Ϗ?VOzɂGRStt PkeL1AÈ1ۻ:@պ_PYP֓@LP3#򿰁G$g#@G.2.Ee03kM |{dwO^ 2!+ h~WMCj19MJHwȖ.YReƶs! LJ8XfAן[Q-4{/b|XED>Öw8Sed Vcco\}#E8:94K; 1XMI-O.y.~R دwWA`/Ua]$W)i'kZ ?B/~֝=ˤ[(˥9HҞ&H5VB@wI$}IVr€K59{t׹=uAlNScd 9s)fgԘ^ ^e'ǝ" ەgvÞt]Hḯ*BZ6+s> #~B~ie6ԈƢuO'<+/׺Ľ8sg 0: vԔ_휖D6zžǥ^W8HÉ,)A'E^kƴ?PHWuZ (iPpqeG=tX &s{r7:f ر[Y9(P _6t%vѥ3ё DMZ"J^p dbTtW%0rwM ,Ͼqg 4,es]?Ec}ٞ+9ve|ֽ->12o/QM0=ԓį}lv?Ԯқ]s#Q<7 GPǂ-9Pa_T$1(Xn2[̟a~]9!ĉ%T,9qTm_az҈u6x׽9۵~qܵPfdG_EBd1* Rۢ_ۚCT5/%ͯuF 'L(./ "oTLGb})JѣV=*&)e]z9xZ~#8*mBƯbEi3 D H5t׃;>Ch*k͘)wX4?A+psO*KO:ǪmHR.<"2q&>{Nu#ß/IS"'/qĢQ[<FڠtoBm6BzNc)Gwǖqk:;16I +nKŒ41(6dM{ Tʘb&.Hq1Mlȭ^J3tVLn t FAoϣNa1^:Aw8W* ˌ8ﯨmWzXğdCCf;)6$3wix:$"94h 8`xfO"ȗ?btɞXku>i>wM%1iΕ Cyꘔ YĔ$g{e`.QN_R*h ΐ֟r+!i&aMC<|A3WBidSJ\nm9H"\E@^ xAp^7emB= )5EM7VLD 0)pB?^]O&}~W>ub%=A6ASumcBѺkX>Mc 7EJ 50WLv8-je|7Ӱ'Y^5eZ"|ApYd0?[ID߂mp'@Y% 7tP:x) oPDΊَدekC_7!eP͟L2 C4$9v? b'H\l*H*8 ̖mGcm\p,!fmQsm>sɨ o+.߸8(A=8s]k1ޱIE%R5 ZKC1D!3f\od%p5" HNqŠc\bKu8Q][Lѭ6č)f'ʔ^7ãkpir7֢/9ȃ/IzhTU$K~uў{TrQK6, 2Keĩyp>GnI2^A:_hxlE`Yfcp.`h ;vqQ#mP|ȇtSNWB.,dyYu+v!Jqfuae,UtYSEȂyiI f懌!lDm j\*s;5}? ,^$1V쟊,36f3Id%3e2v xj0SGB"݃ܵޝo(PVD{_ߜa~A`>rRU giڐ$7]xbPHz׿>Ʃ -mǶ@AS!9NTʜEޗ=y-9_b/Dž!0 #GXٌL X{] ^tiaG1PE#=P p:SE`(M[rf&bq171Kv͡>]JJo tSSRx',dfǏ&QSkW1%O="mx#`cŲQ\.#7xY#V~8*n$v?7~DVd} &(|+QIȟX.x)ʳ_f@PW=B\<6$rca6DPŒ5$Hr`n5*o 4vϊ廡B;7&r)3^:t1*`ES..=R:z._rBy8*T d?EOڄ=bs5SP#xr=7DWpk(Tw,**0 (ݮ>^-n*Y3m|;~'mc_Y\AX|p_Iɦ[I\2F?C0EGz뉢E(Z (E«B1?{qׂZ d\OUwm 2ȝX.ܭ&HI,$V*-]sQO.)"x$ N\s Xu` IwW'&_I+Scw8@{[uBv\ңd 'zA = YwNM4/q&>2bXGćfv5 "{GݳmZ +[pc[aW6ayHlbrfU9e 0dy1jEx@JdVX5sY:1i҂/>MZ2K3$i}cuFnOFsS7 %Ns (p$ܰN^I e3& 4M)>ܚlT+7 E<&M^;l;gȢKi)hTh@9uSXBL$ԹYO{G W {E `&L)QEHAڙ=qWn٢\9t7[b{yhRj:X Ǚuck.Eȫnϐ יI[lFy w#FjvA7рqUey^hkse٥4_>8Wo=ag6uBe9ޝjRFDD8MvXi2vd 7x"Xo.Y;{<}ă̦ > ..5WY]׎;(XFEnU(A2|1,JpQge1u~"oӂj߃PQ_Qyq>SiKt%w'bnFkRgm/*k*'@H(b/Y˱XNTJs2:},pOb iuRX|!#ѝ 龖DI>sd37@]&ip=a:ֱ,nU>m=֢YF%mN %*Am]#%X;A)fNcnķhbZCha8@iAAGp1'$-e<tWiS4=xvK켯i!04LEdku*K ;[C#R컲n)$qN(rZT;6Y|3re=Bf\F.6  2<Ƞ!չr:aPyg4+yHJro,?q+.C1lMToG=rQ $د:Vά{²؂8qBU]ݍ`AOv jv4y싦||1%> !_züvEQ1E)i8:wj-mc @F,mV8%s(FMH7Q<`=(c=Vџ;zICRLhcovaR"P"K *"|b>[)Fj/Xـ4Y|C8{"B1wj̉ %@esxW#;+SAJ7=5v6{%-XVVHE$m?p!rҰKI5Y55gxBx-e]i$h\<زePGstBz.Cc dzj~'Hzm8T!8kzF ;GjòO ?XVNE#ˍiնc]y\~a6 9PS 4~f$>x$,ag]p/>Xo0'7oXeK%b+fT]~؏P VAe^շakz K@lS\ A$<mh '{ތG+)k\ṫЭ2?T57rCC[a`6"F x-(.p{RViu{(硨 پm+6n}?%:Q|KuBAV5;r7#緉(2MGi _8{#΋ZB;鼤6vGtc?E)2;ټCIl1af52/4kfR`woL Ҙ'n&~\ #:IC@OYBFcSmg^QЮR튝ӉQ&s_N|xR88_]"֘+L$g 3lgYZJ8D{1̻T\pKg"p'!?kxª!cΜĮT2_Ħl 1i]CȶX>yT-mLGQpGYB}LmI21L]וLńr gD qE,nd:tЬk۶F(Fn%I-v^p8FTh2n Y,Ka^Ö~d_t-hLc_<$ 'ƧHct1m50VSW7_Ѥ]9<ʑ|*Y0d:ρx x/oBcRcgGd E)~\ x=j,Kc2un/o O\5d,0p!9,3F.3=b<rY:TBZSG?Ozy `?̱:[ &xļIl!jarԦ?ViHWL꿰KWJS h_&uyo /I7 E@Im-ddm\}[-韶gsqtJ|Zo"ſ6`E4{g9 ?/h@R5U` |;T!tc݌xV-y XwcOQsq4ȔK>3ׁf_9@(+pZӧHM ceST'~MYH5Gm"*z^^MG?=lPa8Xp ZS݊dZ,(]Lˁ0}@x KU/`I^z'E *@d~g1y!:d^G+O[Fs9lpQw\B(ӫ:^̈́=Zz9K ?:R\0@ pFFH¹^c p1Au*{H:tpکO*H԰?B\2/ /Bnv9 u^d%͕˧^7#Ʊ-5)\spN<~+*R @^BenAkDgC8ݚXV<)h^$ԩ@Xܧ2ez]Xf%ͽ1ie|)3dYqaC\kJe,ZW7}NxzWw{#." 'w4Ն\݄=o8Kq tF7qSOȌwrbm[ y2פ̡G읓NGCf'¦Oҋ#NFC=& 'H~2%1 OL }U?jR+|C ]e\IdHF@71%1Ylm6^8 v8+#3>{T居Ο vcV]uRdx|]1HQ[QyWGɹZzxU:*уP!3M [&2}0] RKT8!@zpB'^JV|$dch.[) Nq׋c>ӑ(GQ)Tأoö#(a4.ȶZi I2du{-H/#;4\p2K JVʞ߇?_臓 স*:_@\bN^!fcWgsCsѻÚ?Zua[踧"ەr8:yeU(b30%n,Un35+i/[%}<|dʞ',50r(:"s@q̓9CQ㷆QVw%ۅGlS$b"tPe3~άmö_2cJ80.$b*z轫 q/[|icEGZo5Bao <܆nhmnCAV[':[p-&w]~rJ/Vo RHBNJꓮKu'#^0%h2&t~~W?N,J3^_}ȳ A2gz+2*|mW*adNĥ3̈́6gJ+v׉Q a1bC*yH~m 3B%Kllq: O+@ sKP 1?J͞f_>"ҧf i U:Q2$} \o<>ai~ޑxۣ8z,y݁; SC,P#DOM8H!s[Eh@-vӬ>Gh9c$8C@^b{;?$"UH9jkLP NP\U)nNl p;oap"!Bp)]~S n4{^6<<Dvܲ qгU|>|~l*kPmZE)tr>VFuIj~U<"J|o(&(#!t&]*I4\H^v|2a& 8 SDCݓTgBMxl.? xdmLs,R "ҙQF p!E2l̩MofV=6HQg"HA\qLB^|.2hAJSrk 6iLuQ-bնݥ&0b&`>v4ɁcJdeM[ŎFBAqtSMw6h3)le`F~Hd9FE%Rq\{Sv;ܜ+^ tޚZ-^ FrNzpJuّS% iޠ"KH<^j:_M nׯ?g1^\3Ag_Y`-9rgAT"CG ?,R?h|:og}lt '1?UEk O (*hw=Xw4Bbwɿ&J.ݑfAkLQs`T "ӯIЇcX"dKti=Q`won)}[م2[ƍ/J>~v*Z>kS|䌾*%kjdAd$6Yot]+C4Hu;UV,$ Z3Ӎ{&e^fZ S\cg\⭋z5Bxu2ͪ@!֋ƥ(/l3Zjb>|Yb Jc uH_e(iupJJ>Lv0@izMԎxqmU>y ǚD V[)V}a4 >.Q^i ё%0vk))6Z(Yps">Bk AD.NH4hzDsGdzVThzjܻP+io K\*>Ac1qT,ɖVkaPB8\Er-z`}E߲\&j`4 &c*v"r? ?F&}rENg[>͞>BSfM-MˌNĸ{ |qGJfAa~m[W0)2dZ(|ʹ CK"-`룷-ֱע5 ͬcC=c>VM'p"wrA[tH(Aftɧ_{ sb:DlqݲDb|Re 88w1~f%LXj<( ͣ0=|M5z`0ψ%x|~Ď _ی jXUp`l}uo g4$2S.i7BdQ0MD]1˾inP z5Ej9!ˆ ߋ^Lڞʂ"KDnDe#inu܀.^Zf {qYӆߕȑ%ofTV$W+EMeHPUjnC1֋(їk3]OuzʃDӢNΰ Bn-rwMҨxG{/Ԋ/:ze](S>x4% 6H[ݿ #i1!lf+ > q@BNY֢~ǂV3ddJ I-̑"V1:^mG O>8?z= 5ʹldE%ȴC'%vǕnsl}ܼ%[l]Nǥa/qz@'WvspVm0)[n cLx]Cy9 r[|w,X O&sQ4SAGSMU m42] 9͸*fooc +p8\#b0˞V)-HA>kUvI ;EGIޢH֨ۜuly1ufVp +@W[n}&Obkp)e2h| O߼7D '|<4OK3AY-{[ 3ݐN2I@M{-"2%aILYMZ#R&i3lH ]q4^HO fXnOBfL)PF;H-职`Q8rDov^ nz+R'l.}1Țn2r<.z]#^쳹|[t(;X F'<":)}M;zow%Xgs:#U8ʲ1_>j]TW>T/x`?XK\sӒ5r~Am7Qy2?goS"ñ@]6 uڣ=>WG-H6^,QƶΖ><) x]MѺL>q@[1:ӔG.ك }E߲FUf|*LTȲQj(ݷ8KvH">Ӻt'/g027LfgSAK{DYgGnJ'%7kw3#T]-ES癸.(4JJGQY:y8pzx~DʣPt,=?wVHޥm(MLuvVEsdһ "?x4n49!J_0 3{/9'rwnqJZְ!|B<wJ\Z2(RFsf;NjHvV[KxZڱ6%w#9G~~:GҧV*&O?n]?lF(3T+ 6 y+Gj 6sW ,{Ht. Y+-H"S,\o*z蓈>r7( rF @v㊊:t] 5&8%Y4"MڽcҲ Z(nӸnq\~k.XgkDuEF Vh V1| {qi_!)fV+#A);gjs2=;-5)'u "c& ,`:KbR 2(=Ej_iڰ"~cQN'A4L-\ΫA!ŭnu!FBrJ۠W+& KH]҂=B́+{pGͬgo6JRMX&\%{s.|Y=*e1Uw쐦m/EKwy.u>,uZ6;C#SQKpͷW#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&F] !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 C8p6EH6CFk2m!ip`B(`dlޛqpʎxW}qiDQ2X1%>FEь@b yt/<.e$r Uj.>%?4M>ڽjƞYhĩ~ҝ Ӈ_1hxԫ6FV <6\$]84FWqgc R"vݭ 8bf,Ǜr|,M.nßy&~*8 V2)?mG$,/1z9"8׌"<Vw5݊A =QEY0Yi*P gL"M#׍siDwUV 5h6{QPgsþl@4/~^c6HKV3>}Up^dJ~1Aړc~BnT VuV1${iCMRlBjxXMʁѻo.clP@֘l,ef@u  GfCQ|D[/ [DbmU_,+puNVL/M>_e؃VNMjSg^:j*ez+K_ $W}b1튩#gmjpַyT#wR]}ncdL<5,¸7nf;mG:r6N@r ?1_窿X?{Ļ9A!| ).#FݕuۘO%^@ ix`e=)g2.3⪐!qǀEPkW@IRuInףX9ʶX74mg2%6C5qB!WA#=_nd a(Rɮ;=(ϴh<7+hPA'˵f~xy]0ٷ5VQ 7B^lT8 Үx@.xwGϜhwzR˖K<.L1/ vvf20$.hv%.L&V.3o@~Jypg8ߐ6|, 2˪ڋd0pZ<HjI>RUWcn@Ӊ;jfq!cQ0cP9N-<~U>MnosM譂zWw(> 3{$"]x\7 qz6t]{!Df7p0*_7FWΪ Ԁ]0Mf8xԗ6sرZc5en'To/iqL}mRr݆ǩ̖u$?d[2P>.L4}cQa$‡pYt 0ɬ>f=x#.o&$$5ltLރzbR>./W_3\{?ggh7ĐsK 4L'۔ 7Ee2RWzQTF[א ܟ. GXճcsX Y#" M pauI؍q?1|ˆ nFrNjD?관rH-BaLث5z'j&é ՆJYɾXEU9%Z ?}@T=Q?23@(HwYASBIݖ. ?RCWȭG}ɇ`:-z*:LFTm1Z^;#vزhYW?t]MHE;-?JQ# mo&>3QY<5>F-8BB JnܵJUklƐtoܭ+}!hG<_05oSO>nH髯%b=֮7.h8T}rÜPfNȧY@{DWYy[V{y( xy֨/K;5p_I \Gm1))衕P4q!W#Rą]n5_˰|8ըJ{mÿ#(ͤDBWbԕt !v9d/5y.Ekh%!f9C)VM竁=3NYHzAaYVԼ PQ<Нpj="LJ6g|vѦ\8UID\ց! KO͍EXG ؗ.T{8G,_ABe\XKrׁ`dxt`l'2[)nsu,.AHgLU@\:'2 ][xN]?f$/0rP!*?P ^}X00 0qFL b_^v\3mՏ\o#PM[d 8T`(s YjڊA@.wPÕ'p_L"ȱVndPdw^}:\ЧE┪#^4?+锆=\Y+{_@]q"=Q~Ѕ;[0(F&MM{_i74J~<~:Hh]\o|?c/ՋG<܇D+g9 &tYf>PISx'F, -A*.{2ktp% ׹XF{ BYFd́Cky=~d8JX94.O@t(w}W>ʙ;x>L-Mk=Tw0WZtHԔ=XAQd:Cq;8sTfnH> P.P ܈ix4;aӫ[6_{`k*DΑo4 rl@U]2m3EP°dg =jlF6'0p}:L !T۽ٷ*Z+vxt #A~0@6Cl*u2Z  K+?=$Oj 'B*)_>4d /ЄĽa2sbn1 !&{*̒;Č'wIj6Š~w3}js8UȈ (<Ѹs?C) NaNi}>˅Y3~g7FW?PH33^Zg;.f;w\&x&|%堉PMg Q7ÚFPjKRKWUpɴZ̀0'w0G$\N*~xDk(VAķuט,dEmO]lRpJfqu/$1Rh\1>1q4+HAȽ>c@.>*>3:mHd^xR0siƉZ>'KS8DѮ2%ghTY#l;!8 T|'m¥ e}g6)Aǰ~%C*&r F<K!ݶ,E j,wx9ʤeܘqPʿfCſ4H͗17m_ikW#a:$8gղ{ŅܬLmFJ蝨(cZ\<>s<>if5pLFv "%/VI,M^TGu)irp1a0f t(i5D0/B[SıEq\3)X}_$dac1y#cHݍvfFB^yt C$ې%!iA ?fvd'\z}cީ&8;J?)2 ZjLrA*e$&S T?\fF\xJ|_Oh3MWQ2,Ga՚㿬Ÿ ysuwKCB "3Qd+9@ElGz!B<" ̖1P>k~Gb9rSPǚb:]Ke a!D5i -{t-CeVDc6Y|aRߜ3'XX5e Ye[7ƮmP$ ']SN\yOg' 6k6k }VG z4MN w3[]>lR@]{A|0ڪ0⋝2B|Y|JVkS9TVWi_<Ծ:}+T"&j h`%2,ufLN|m{p#l-'YэRRdSbtX/G^!ϣRz{aeK1?+?q?2",! ;cA@*`,TnQ`^ ₭דy+a e|0fG#//E[j 戞&>AʠffF.ei+.OgsPʓ5P?*yO: []h\aHˏ8vȼ]p$.T8}ʋ%IOdu= Ր/PTOyT_˞AؓqS)X? #+'gjC{!AAͷ"-iTl s@ O6Ons.@(3C~'Au`MNj焞 V*i(2 m MAtaZK-*LK\ay,Q v1ibSRSWa%1W)|1BAH۲a"ՅuN#2TZxwlN_?f2R/Y‚NV)xkĿ_kr֭Jm*ȬC:#h⾕Vbfc-obUi>W@Y2jVl3;9՟N03Y}ya"5IۡͶ(U8J?+8HdܰV텤bđ(8-'~}Xqy+&B!|'-Vž,T5Kg=Ri9T\ne`WE@ ldܨAkD3#Ue52 %{CaN$xa 6o6;{pE4Ww/17{h zA'e>Q*o$j,i9 U\DAxOI^J{ˤ%<"#APs#yS"'WYH[xӌK-73B,5U[Ucs RXo) 1YA:`;Z5E{>[y`vJO:@^5/\8) X!/tXmaЇǮB6X8Ǡ<.u>YY栻50wŮWiӨw3}r[Xx!2"f>,܎Ai!CEtnǧ~]tlwܻ+8Rs:-WZuOM-I\z40tP;S.~VMfjqYʷSE-a߹I^Ƹτcp; f/) G{ھ8fry򀢓@l{P&+C3J|)-oԤY2CAf JMgYZ{Cc4"5uܭ[}wsZR/d#<͎2Cm} ~##hD]nl $+e%\?uJY~Qt3* 6ӷebGX}I>yigS%빭g0ӎ%XFѱ yXܿPA+Y8P@?^~&c4h P0kkX;dP[p>eu9nJ>^hjqS~vM)$)Y o F?tLy3 q5rI&b<cT0fgLìM+F@8ZBO`rɗ_rQN-s'B%0ktcLy9w/X-eQY |x7y "z~.Jj3]R̟KV!Eg"bOKھ"",QҷjƸw\}zKQޱmm,h5imv/(to`vICnqF'>xk/p5"zgs1;zgS}$D>0MoOUݕdVQȹϯ ӝEl μI#@0!12ŹEfvRB恀-WLNu]C=UHO}Bi)6\<BlaIFszqχ9$j#4Lr2߳ɿ/ov?M^ bU+57xmYxh6BS@;kzXwTp hβW$i|tDۜ‹J|˥:+ 746* FF WjU|޻A]xEtPɚTu$.[װʱzxЕo6ӌ:hl_sڳ5V!5WwA-erJK|5| 5w}CjZ.ceXϳ'rg܄Iő NF-C,IgY' 5Ze^簭ߞNyoXEcOnFFYCJ;@@뤻q40T^,*LO Cq)gm0ꎗ{K%iX!M۽*t' MoQwD0f.g&0 >kṔ_MqR#јp(u2ZR$xhvA C>cZX^hW#挲W}75 }4t8%!kEHeK EzK+`q(&Aϴ!{i(uERimPgݰT |{}=lXmuHAE me/:L3?go-=rNT@_x>TvjZ9& =~ Ww䮀#)V9"ytʮdR|}cAew:0«8y&8+Ga\ ʲܦ균C,>9l9gh>#4cB{{oˋ5ߨ)I9QuiMGX0:w{૙L-{t"-[tT 6њt\Z3,%CVZf`4"nF6&V #O!jw$xcZCKVk۷KdِT+ kk A)X~K}~Mڀ]W!2`0R p9 U 9u[%DpfR qe@waqM5i'hN:S{z/ք ;\&k9~^PJ#{::̜ːpa1nEu.‚#d9|ݕ dY:i8bҵNa#I=m9rsvG 6_~g(X/e{4aNcХl؈[q[ϳ?lqo![Q՛N˔;b71;x t8[(\ Vac=]+bqp0%|2tgUTݻy$j"wT)n-9{vQ4(9ɭ*8"'1"=BI&4^żfUq2^OXxӅzNB)a=,La7(s!Yrߍge 8/PCD$B$z&u#ctpԻp Iv]7A3V́ĖLTWr 8t@s6"S D=!Eʫ(AW 6d7&rcqF*  ;?VHaAOa5w{XpցgG9~,`iO ؊(rq{@lPJ >/sBtE_q]18*9Vׁ2c`i_&a;D˽@8p"hݓ%A<1$G$UĘæ)Kmg qP]'4ENF\8 j3TRo#{HÞtF=%׊y"37m7aI@KX׎ڹUPvv+!)&*XZ{ҽ P_'\wzϿh/kibv~s&)w0!"rAV3}.=ll,_*._ ~ 0{pK0Rs%MAe+g< jgevB9?MENL, ݇;-Tح eSz.&B3ĺhvMXG^Q2 P0;+45a]|C %65?FD C(Gi\榅q3G0$K >QX EE=3]^ orWV+* #0cTRb\F-s=BE Hd*wJQy5%`yue2r7a6zj$s٣@wɹș\HX}x_o"4W(aS3m ~ӴN[#M,ry &hw?~ГT+K@=V_re"XsZ_2TLnztƷbd4cεȧ构%8v_Fg?4oUHp`,95:S9]{Hl~5 xQX٤B Ŕяh)T(PNtiq V(>feM;wBΪVg`s6I׽##/G'[@l@JB9?HNJPQh?Ϭ/uuzq]S@ L|nu67]TqZ n{(DMZQ#.X!¹Zpx䃪M[M&ϕA؝(k󌹵FO HL16gߘؖL0  1^9?E]:ܝU.gp8RFPr-MYj(cbm {F_jXGH`" F)c6 .tL1/cazG[Ǎ*Ϳ ӍNi#6,Nֆ 2wͣ-8p}u'\tak 6u'i$afxKk<*ly Rg [U3g(M1%/7ܽƢS !Z}KMtᆲܙH*oXSaאS/ȗ R[&6:X>Uc] fgk2(5vCM4< abh{uy 8zh.LP\~c]'8arؠ>M0OBuȪ;x,qpjMDDTЗz5ĝ2c;.W< ^Oxص`SmzVo(WȃʂA jnC@p͍O^|_Ĺs w  x%^DL.*'Ϗjʏhd<'kn{G㴣ˋw#K9$#?3;Q3܊53P$2w@RaZ-P %a 9/Ea]LݿF^0P$dJK jLUqeBzH Ub{G`|9:7`k(eH<:%.DL+W5NT)(23|Z&6zpZB'ɗ3I٩yO6}`#bߍʒqd`r.Pl jˮuZk6 59GHCfaUA;dF>Ips~輞w4YaJ检1mjo M0{kҧ2j )t5:L&hH. ۶Yq om'SBd3)27ٺ;E+AΨ^ 8BMXfA-yE<dᒨs3nYo%׵kނSl"+0\[o(oJoTN i!j>i?ߨZas鐙LաqQ_֧VQ'$oĝF 4.=l"-~~DVg@?q8HR(Xr1UPWCܲl "C|c5Iz| WЅb:m*e#=fbkY`hn)hQKv#@Xxa^5uFǤٜw!=쏟Z,Q$KznӛmcЌʗiHb%M HAi0DK$Séz#Ke&Qԥb0aذ6߁l 1ƃ=BQ^dr~ 8/^w^ UᶻR\nĚ)x8-C{%Z 6U\ "oԜ$VaEC&ArZpEaW uD!/,6N?rKT'["D$3luМ\hH+O񗧇}b!G%tvG#ǵ֍ D5|OiR4VYj_=E&_b)Ƀ't|SKTbJ:MI,0H+_bG7)z㬒Z"&QS)>dScr[O.ilmOKY?y7'82vKiԍ{@ ?`ѺkcƀfoheV좘&{],m}_L]u(CBQh`5G s J Otݺ|3U:Fd 䁫^-t^\خ7E $1w<,*<]\5)C9y"TϾ< ֿn#rLD#IL(X*fr|wl|Bz?J8k8' Fj3~_ZaoWyo9vQ 47 ,SL|&#Z(^KKWtbҿ 8p^*wk)CcXڇCn@/x"I$͈; 3sPy׾P'Ew /!-|S:|7<љ^Tܹ`/?^7Ͱ/ԑ2DhtDԴ2UR^4O#^a46{l<6Rb\Ogc+'?AcV敶U>N}”3)Fd(Ȱ dR'(S>BZq=F`dq%/831ƝoȂ{w zh&ռI" rMy+k-L8\ a-u| !|)h**wo>6Q Gmo zJ ?E>qmeo},ϟg*ʯnf?ÀܴE\淢9zԕAuk<8^^Cќ;OZ›<w@ `$PIH\W}gYZ 1 3 1e #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?揔.r`Qd6"ي*O+r! |09l@Q^`IG`.t=HY3EiOoDG2X/ɪ8ѹZr̳J QvQO#1!NHOLCF-FOCUSHOLCF-FOCUS.BufferPIDE/files~~/src/HOL/HOLCF/FOCUS/Buffer.thy7#1-HOLCF-FOCUSHOLCF-FOCUS.BufferPIDE/document_id346> #3# $HOLCF-FOCUSHOLCF-FOCUS.FstreamPIDE/markup7zXZִF! ;$I] !M젗OFK? Oȫ4/mFi:ݗݻ`UuAj~:\)y0ϱaT$ TY8xտ2R>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;+彌IRi`zƪƷ!:w6Dyd!!+;L%83M`f?g*˝HH r!k!K:\DFn@]WvC0PdAt[E԰nT]ß9 "^pj5?\0+eVv롺̬aT[%<(O%fe?B< Y@ RZ&'dy{P0qtNGFXNX;b~:Wuސx /m f<:UTdi闸H}ï2(:,D+"5Əv}~g ViuZ9uoYNm8'Rj+ɐNԹǤC|p%9|/e*nDU5 @:f>߅5~fӈ9}JH(_pRcs ReW=06k|NJ{wAt׾j(`~DޙQ#b#F530ϚK>FzͤI+W߯IX{%q{],[Z>X.q]V}O?ֈDtQOƸJw$\*n#|YVV}>zlM{M8ԵpO(;j%Lpo*SUG'1@W ՔQDP!O#@H̛H&t.7|Ԙ{x$gNKHr%vt|48!ysH:\LlK6G_>3E[`R+!RhdHay7^M( >k9+9C^]#LkOKV"4$7cJ=بS0 NwC ē.zX4٘lDљ)}%̓_ cߎ`aDWqL5=tna1bNfx ~_[cL ф{@YUY:؅PbY 4SsY% }Z!^ŭn|L>)JW97X^\%C-9ubϳZ.Lz "𶙏|oWF,MO$ܐb)dɞ)iFMh +eriDM u^ 7O}a0 W׺ѩ٤J랙+rVpobn$^W^8j&MͭϦi჎96zV~^7m JsC{#KRDQxMV~6&ɐ?=LCb2c4N嗢Zo X:S?{~ (ҤYxߖʔ3?pH+D5+[lkhjiGcft!z0oPպ2;t}gk6a/P@xʵ\eOm{D>TzL`M]m̥Q8 K RсK h {s%mm%Wh"M3S$u_YE̓m7ad.<}p@c|POy4iQX3>[܄驓k'Ttdwܾd$Wi\>^SN 1L{j<8147Ђ>9ك=o$GysJhsEف\N2šدѿl *Lp w7fIj)LeI'3ȶWh[iIJ=ˈ`Ae`aSZ_NV<3: kWZN NJ>v9oge m%>M?(3O&ee#]G+*s=Φĸ7&mbuH%{O]1]Ma*1 q&RJK;tߪ6pUMޙ9gPgv[{6K8 `'S//j ~W=:0[ `%]@'IQ&* hGrBH LG_"+(@ $zwjlhV>L iA^4G$oV$yz[D̾j{s|fCNllsb# ?x3hq^3McoOԛr,>N3r[b=ڛ._XDUX@D.ކ_#e ?|.w_tGyP.d.Eo7ma2J2 5j8z`ӟ{wXő]>mc>({Кj_io0gmDС넛 1dE=2}A__q(Cz׹gBGr?LQ%pg'-R! vZGRЙSF:p cMj:OƛvVSDAK^=b6 QߑiEF03P:K^-8mTNR[%P~uRz)?iM*Lxv Bo@v9zkrRҩ *4?L$_վ[j>M>AJVQK,x(7.tOiTVYkXȂX%c.0NzF]ʋq<'|DV`cMwӤ %?)FC|SD,ʄ.\ߝlP\CL!2 -^vf.;=,~] {+2Ѕ&花4M,KޡW4BI-G( ; ldwIy-1u'l#$^LpHLFΝ8GZ{TmvSR-^{3_t E[Ă !;M M5#<{%+yaBV)s+6JH/Í o˭ҫhT t׆5O%]kO[&iBgE8..k kxf)9,["v1HbdVɂGs|qMH{oM-3MklyijTj>GzBgd.lZ;j\k[QKt,9mvM]QLCT3Rۘ():ھThB!?ypR{IމaDr+D$ £:ndc1GC `OcVggXOl׭MTio)v5 Gۗl2!w׾Zsܶ9wd7z|8n/קEf@úb4?SXu&?)5/hc\﬙cV0ML7q)ؔM1IEӏRZWqY+"zF>Pi]+'^NrC{h^g[GBl<69wa!{#QD[>!g^j͉s[70mF痭B= 玃8c80)k*/ԆEPkyiT;D5Fp_Swݭ30ih3,7kݐ rSGK'8^EkWAFgrzFuh8%AuƗGQV#6(X[ b-^[@9 <'=,sZ@ĒҐip_nCT#F_p\ICg'7;; v/huڃ "_ n2wI1 P)7j*?t^$.+-B z&DŽ2l3nmf4 ,Cg) ѓȮq{e9hbeEeqp}a36>X?Ook.<6p7)ΔM,sΛ-wR"%DZXg.osh'7f] u?D펣TM ]>EZhSw}8oaN Yvwt NR' k1:!3 ƿB&N]iyv/0O#}*\2=D}>Ȓk0l%=*XFeD赣Y$F' $/GL"zNhG5V/[>5FOg M-^mv\IbC.ǭP>[f)k1?b\VLdZAGqB<#ECT!iL#S,N/G {|INQ@2TCwtpbN pV5CAw9}K3ͦ"H3˜{\#AM/{DQŲ>T N tF`zPC;yXZ HPkMh>â/=vKVJ$"$Kݱ9DM[ [Ɉx$jL.Hm?r@} 5"]PO75(ѧ1/A=/(f.3͔c&%UDЉs ˟+i3=Sa\IT >DqW1 EbA9ߧ v\ø8,2rӃt:\,4ގyƼQZYܑg9$na{B? H%UT>"Δ4A@ 6 E8r 9x[V2 #58{f#z;J*{ h>W3Pĉ#N'}eo ';2jgz$m٢BVI9K821uI "*%eO:M8s VhD^0?F&w+TE.ˋ vI✅>>S5a ط!3JWPW[5sr Vb$8(gwz|'Ͱ'. ږL q>#lWl.͙q{Krj f7܏gp`OҵE՜NwXi$k)![ XT)m~ dUffvMOJ q[_یpS>;s׻SnQz% wX?K>D jo5Fo SkrZjݭe"V%:3=(C.{&mIVZkfygp)Y c$~'#2 2(]RoQ8ˌW@")VGd\};} {"{  x h0dkF8}ڸ&NO>Ben8H,9砷+ؓ8.B {mHtOj@lC4d˄%qs%Tpo]kmuȴ}3f_5%vq1oqLh_GvO;m\-HQ%9]K}΃]]R1:5My?QxG1(*]Pzd"C'j|Gg J|IGo3ʴ z@}1hQo陳>ebrjϞì!Kgց=7glT$,Y"(tN!dr '.( HxEIGc8&{YP0]w-:.GJl9SLkϡNKSI=DB|iKX^R#H/3 M$Ͷ*# zhn*Y}ljRі#]L0\KVYOcE8k+~DP7WZlTիVle][1՟`8b gE Op_i:nɵa$hS uu 6 !OSVFLw|N {†yD>s`TPFo|-6}J/B;{0sX%O.))}wȕvJtplf?wL:9(s-rUDv":>^8s+ #\1ig>Fs >q|NUK~ގvX]޸,ZIyFvWuUr\㎂u3CF+R%䂁eҺ^~Nxצs*@zHg_vM^£r4]eZ[ f93V O⼜I)qKRt#_ %uȌcFƃ7 K]>5_kQZ+D0>bBQnWm}eFJ}` @ nHĄVq4OeY P1o]{WQ/\cp0ڎ79vҗٚi.aT 2=F%iXc.u YdPp~bb^qXr qW%"'t ǫr$- 8lG[D-ª= k/MH)J9(}l+k=w$hڤOQPKWŇ\ZhAr.Z1X!Ql0aj4HKmk8No_4PJĒM&{GaeȼC5}XQLt- ofe'q5y9NuY膗UęP͸~zg/p>ҢTy/ڬgU 6齙EVF" DRC5aĩzAbclZ+2okޫ_3s԰;L$JnO}77$L'DJrAfcL/Diy"pZ۩Э^~bjiЅ).$P4Hu[Cѝ?(s{- 'ylMƝ&u Ce ڮyHAzBŃ0t <0/NY:BӪErr7hR1!\T;.CT?2I\~ rgWo& %̢#<&HuB0T&: \`YrX{2p6ƲE j(j (oT\<ҩRY 3 x<`#"3!΢z1MSwĿ[Eٍ^Zz~~,`"Egt#F(G"g /OAHiq#\g Qٯ1?6tkopb&Q0S`$f571[m1H%.L`/*2X>PO3rgr"hD^qa>Ė #$ v)C]j{+.k!2O&~ 7aaj"ȮL>k +ìB1 YԳ!O\_+溰d&g9 &P#۬""oIA`@ p k#a j  mZ훤LCv 7+;ZuZ݅̀x#''0zvd" ^#a Q(όo(R<BqS$7İCRGmwM# ht.l)LRa*=uZJ:e}?;鉎U 3 *;"Ng~ ַ_ߔ,֙e9<IXU,"W펃 (̡rwhnZ7 #> p'6tʳ#2 CKAd-Ç$WM m9Q-2Y'~ ]Pl<壚›Ǡz`&,>"MsnDCii]sw-U|iڃv&Fa%#wQ|e g2hN!& hPi,FH^{H,%tWXn28f2:sOULux*iꯑe|*_Ę}lmZ|iJQhn24D. i9{Fx.刢?Mà ܜcɿ*̺/"EUGUS{{PM/š[K5^;b|0$C}sZĚ2$FXM5<=kVe^Ӊ{'#SˆyM_K$r\SLQCyR2[Jy}nnӊu Ҿ{|1'j写ϛ>Of,^Z'Ӧ߶Abe p<{v ol1 =+kQToBd@$·y^BW=; E;3UbT+?B6[C בYBE/Coltz giaf?P,};>oe 9P5I帉u6I`OmcCD{6IU TM)Sk@j0 d!GAPfU3yF=L3X%S=s3lD~z3sm<ݓ۬@ GIoZ3()NGP9϶Cq'_{Zք#]d(űgYZ