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 rD d ]S HOLCF-ex:threads=4elapsed=4.096cpu=14.096gc=0.4327zXZִF! ]ŗXiɟ:DpαGNx+hĭqʱ%#;j.vԿ'ej"lڟ6"B>aP;V4i*zY?3wڱm-0ERp$ʍy%˺0Ȣ ,ΐ?tc=|Gzlhl'b}.yh_lXŒgdYp,>j;C&Z4CeG%ʣt)R-9 Ge,xGu UQwgYZ7zXZִF!  ]ŗXiɟ>Ӈ[ -璁߯(7Щ֜\н7u(߬}vwkmp_'W qѕ/aYvq5 ɷ@I>Qys"ɍfUz{~I i2p`IGäº5  bGa/7şY@d07h#{Rѓ{m٥I:t{OxwW|R ?=EuyQ(0!+k;gYZ7zXZִF! ,]ŗXi%N bw@-ǰ>2?6y}C Ͻƥur*4S@l**k; 4-ޠ.O⎧oClCi 1kۄ 8syv(s(rx^-I9-)s y7`MZAG z4?W]ˑӳA`,P^00*8%1jtNpҹcFZ]<q-xEQ)c"Soƹ^ن rmiLk3*x5a$;k%H @~ i+?jq6jU`,3hJ3(vE4"EPB/e/.ؠ/J&az/5fbNs_ F 96k_@V 7$ֶݽ{U=ŌЏ\(7ȥ FجXIb-Ce j(&MI%sD! LM 74UjTtˡ ͜"Hi@`rO5;>m9INGĪH^Q/H9;1makAG\. P+bkcypFd|o ؏p!AUt :Z.pdpHBpE^31 RegYZa19ea05dcceb12ddbe5a4bcd885b42b8625216544b079fe610649cd37f98f05ad7c20586ef43ee64 74523ca0166e9eb6415b2be2253b4d5ef2f75bfe 6c0fa6a4d82c02c4b9dc9c3a2dfc917a3103b2fc 410cd505b779407aea100f04039b498d02f7760b   HOLCF-ex5 9A tHOLCF-exHOLCF-ex.Pattern_Matchdocument/Pattern_Match.tex7zXZִF! (#4]A-MՋhvG"uIBm5D$%MiKcfl9]K\]MOҩ;9 ^}*W5`0cD$wGD E?-Bڿ:଍]tNT aRzs#8R;.{CaXA'6?}ю)ttm_yz~?Jc5 !RKUDZ!9DGP#.W|\7V".qsP,[y3ǩٹ+I࿹{`B,)Aq=otjEzq0AK# D\c6c?UWOtpZhGs%}~3XVd)OٲXٰ+T-bKbY5xYJo`By*bx. ݙzѶ; L.$d 8i1{]K%:+tKD к VmPR''=p2>*EnK8Ŗ1l@Jbsk<wvd;mwKTsU[A#58>ZMe$]TB\ 4XhΐH Uu컊Y7hl k       TL ) F   m2  z H g&'#HOLCF-exHOLCF-ex.LoopPIDE/markup(+#HOLCF-exHOLCF-ex.LetrecPIDE/markup&'#HOLCF-exHOLCF-ex.Fix2PIDE/markup(''HOLCF-exHOLCF-ex.DnatPIDE/messages&'#HOLCF-exHOLCF-ex.DnatPIDE/markup,/'HOLCF-exHOLCF-ex.Focus_exPIDE/messages*/#HOLCF-exHOLCF-ex.Focus_exPIDE/markup2;'HOLCF-exHOLCF-ex.Powerdomain_exPIDE/messages0;#HOLCF-exHOLCF-ex.Powerdomain_exPIDE/markup*/#HOLCF-exHOLCF-ex.DagstuhlPIDE/markup5A'HOLCF-exHOLCF-ex.Concurrency_MonadPIDE/messages3A#HOLCF-exHOLCF-ex.Concurrency_MonadPIDE/markup19'HOLCF-exHOLCF-ex.Domain_ProofsPIDE/messages/9#HOLCF-exHOLCF-ex.Domain_ProofsPIDE/markup')#HOLCF-exHOLCF-ex.HoarePIDE/markup19'HOLCF-exHOLCF-ex.Pattern_MatchPIDE/messages ,'/HOLCF-exHOLCF-ex.Loopdocument/Loop.tex 0+3HOLCF-exHOLCF-ex.Letrecdocument/Letrec.tex ,'/HOLCF-exHOLCF-ex.Fix2document/Fix2.tex ,'/HOLCF-exHOLCF-ex.Dnatdocument/Dnat.tex 4/7HOLCF-exHOLCF-ex.Focus_exdocument/Focus_ex.tex@;CHOLCF-exHOLCF-ex.Powerdomain_exdocument/Powerdomain_ex.tex4/7HOLCF-exHOLCF-ex.Dagstuhldocument/Dagstuhl.tex/9#HOLCF-exHOLCF-ex.Pattern_MatchPIDE/markup>9AHOLCF-exHOLCF-ex.Domain_Proofsdocument/Domain_Proofs.texFAIHOLCF-exHOLCF-ex.Concurrency_Monaddocument/Concurrency_Monad.tex.)1HOLCF-exHOLCF-ex.Hoaredocument/Hoare.tex=9A HOLCF-exHOLCF-ex.Pattern_Matchdocument/Pattern_Match.tex   Җw+=$v4b:$&V:d!l90Ag>i*9ؤ,pd8xXǼ ~,/F~UdI_i7NygzGhZ{О,*!Jv("pϤ'+%dSX 8'W4 I+'ViuW/qȐo`18%^7[ ;ImID" )0sh hVU)ؐ;vp (=N/n6Ɗ-ʵ;X%M.dd X =«f{ N Bsx 7)](_4Įi'}_ i,@CğG7"̅qYHٱ>-QD{ y^#'.lj33ɴrm˂Ð$-S&t⶚?N.|su/[Sڲ=say\TUPp{-RqЊe9"<&D+j *6)|"(R(?Hld UVG 0F7vgPVvo8jwAJR] A!X%q_:="`LO‡cA?`JD*z".`.?'T5fov?$8gC& |.͏PmBD}h Q hy0zm9_ }>́jmj-7}Y2i0cxՔk󟨭 *m%J]+j^be.<|n qҩWؑ(r5TH[˯?6X(&ni-pu`ŃUqjq 0K|E@S&Fm@xPFPz2(*;|)=\6Ղ.4 {CZe:NPWu:[t Yb#72<%S*٣.y5ec:Y}#W (#E5%EՓݘMWIiQB. >DO][IPN፥^ZFΓߖp?jħ9>Mp~/zns䪽$$^PzD3Wx͜\R#:L| XXL͋x9BЮVҵ"w|Yv ou_&{J,㯧3QL,wPRI=KZQԷt!,g\:qDH'WC\*G޾`v[U5MlE\}gN<[gAi|٦BVFA}ӏq7~j tK F6{D r %ۊe.\`P͗A,^R^̴'C.dx=J~ÄH+Nc$?![j1ow6Eը{@qjV?WOh`f;܃Fp^lffG9q:׫CF ݑc{Ѭ(AzCNA]ҍ8 3Y AgD!a,]36x dfm j0+ڷbnE!rgC] ZiHRmZ$0ILOI8n2@ r9 ?ŔӼ]watr SP;7\Zm_iH^ZS>!g$q:+y1H5]؄EF|g~U-Q;:Ș1]˷KH1e ZwkJ Dw>a*!vJO1FvwNrDϾ 6CI @$p!J$ ~*ǜQ~k33b+ We\FPnft<@^cuIA/W DOgLFvEvp*y@8Whg7x`q)B֏ǝS5:Z1#+^Ҳ/"ϔE\\e9k͖W_ IbIS#y{v`5׺{bCJ84E=Q {! #čLk"R..SD-cv2e\8PTa;(=3oδC]PM;LXY4o9*.߽ŝ^Crb_ӎK1| HPVo"SwS0)|Iqǭ]_~'O0f5q^.'){ȏޭWmr=r>fT9q fy |'bW:/W<hakڇ C-:eQlzxTxBmPqSav}>َqyg&:#_U èјU/nq‑\ JL2(zʆłO|8x6I?P>C8a&w*v/G+ [lc9FiO{j (/nFY|6ݥ!4AZgN㧯P/ ԕnẴF1_\c { >0zۨ{qBP$j\L==! ރm9΢dGPezΒizF~™?^bF* ۪gߎHB4:4$i7&|~yɂȞ, ^lvAm|ao%fG^spϺ_+nvljIpe;thCaӒ,T҆z]UWeY9NSGtFs|,1|T-]'{7Y฼k2?S>*fX9aEj;P]};l *.Q=K I=V$9U[el]"{*/@ĀaDpLl'638dms"3P ^;u: *)*K&Jb`"Fet1*w6W7!V* 9rnwm!3}Py+\N )A~:>"lY Hًܲ8rZVP,rmY\m9v!<4A3?od p^*ȽmYLjvNao'!㤴 <䓝JoSpd^@) ?i:f+^ bIR=+݃0B#c_WlS]Y6̙lac)rG̊uxY٘峏3:,zIs&|DB C85h3 6V/f`& ?@F=eWBh а)a7MŞ9aZVs ?(f4%Z"c}CQ/o5BF`ah?ej}`!&Nuzbx>aIԋ=a DaU-A0"[8(DBV/ |[rLđi7>08Cl@*NYݰY kg6"c h2-D:N(U>QRs_n5&R S[XѠvZ< gB*ywRqJ `*Rgst{UO:Mb{iE#Q|#eu:?3R>–K.B( UgN`5AJQ뗳bp)^bwZ?C|$,^~cIYF#si$D͕=sL.7C2ˢ~De.g;lZ;L>?ՑiQ["=JqR7 ~Ol!ya鱃Le'W PmeӜR"i2#BYW[M%?r"J9ǀ_ ncXBם V3u9S2A ˉ͆dwn W\ׂNbzU)6pF䆂bE(8_l$ݦ@X=ld%+l7Ys;jʯ[JHtɶ+#z&}w_#cˢWӜkVYWXH1EFϣdlM8E8i<{Q1wLEx,J|YG/,fdVcv\1n=lC<Ƈd@?[SI»š-:@mpaaoӗV]9߾Nd<ȼzb{e>]M6+\i.@x5js6"m"Qhg:CFg *#- t/*F}k54p-n^l#Y=58T }̣{Cxuz?q:٧3싔|K okg nⱕHa拀DځXe@Tәћ=\9k~k32zR@kw, N ,v,"~AO3ω0آp\ܜ/66 jo+6:PǔGS2{C4 ^:Ǖ{ - &,zcFiLHOj {B &S4`<+TKMrn&X87.B/q+iRѦeNjNedQ[!LY^v(ڲx+yH 5t9VU:ZEk'lV=/::rkn_Lu[W@{zhwޞ?ҭTTs'b1e`>#oطڍ:[> ;Z%n痺g3/xz}oDPw6 &Qf ]DMSV*V\i2Gn7/*ɥdσ3AGp-Wr~K}'Cj+i3Z~3ޜ$ 1l[[fN䂫8)?wi-B!%6 J}Pz  )49BژJ枚aR*68sXnv83r}V6H:GU K@m&rJ&2 z4%.h/ !vp_P"VN!b_{YÝt79fIc<[urHXR=h[WxR>27b~uH?%Ø<.5){!vU_U 5:Voe@]ry UZ>i1: $LjN5>-%?ӥ̀ #"iǭ(FD N7!$d0Nˇƭ=C4#PXҋ/;a14+q*b* Z$t `QPzjckJ*+ļ;=q[F#i #4çl %Nt q_[!3tDgr֣|⒡ß˷L4YGbb$<ӷ(kVqY& hYWM*_^ڡiRd;9n!ܤFj;&M'{fbt3 Z7ڋvBpНcS8KQ>선ͭlvⰘ )! \2:|[vE<LOȕͱıd?5 t'11_QJSdYJsr?R4u0 GK`$d֗]lp|(5ٞjsY6ش1$j{wn" {Ƿ,M`^eKuOgxB|4oǤ$VDlO/vu2:m Φҡ7Qr woH qk2yTӆN9Ͽ m wPj Rό-f{N QkF=:2F4/5gYZ  < <5 9A tHOLCF-exHOLCF-ex.Pattern_Matchdocument/Pattern_Match.tex7zXZִF! (#4]A-MՋhvG"uIBm5D$%MiKcfl9]K\]MOҩ;9 ^}*W5`0cD$wGD E?-Bڿ:଍]tNT aRzs#8R;.{CaXA'6?}ю)ttm_yz~?Jc5 !RKUDZ!9DGP#.W|\7V".qsP,[y3ǩٹ+I࿹{`B,)Aq=otjEzq0AK# D\c6c?UWOtpZhGs%}~3XVd)OٲXٰ+T-bKbY5xYJo`By*bx. ݙzѶ; L.$d 8i1{]K%:+tKD к VmPR''=p2>*EnK8Ŗ1l@Jbsk<wvd;mwKTsU[A#58>ZMe$]TB\ 4XhΐH Uu컊Y7hl k%fOBi"<ȡ~S;[F)p8*-i.#]ح=7;mO;5&0eX1 L)1 DHOLCF-exHOLCF-ex.Hoaredocument/Hoare.tex7zXZִF! ;G]A-MՋhvG"uIBm5ۙ!Ybј v84meM墂۞w}`Yo;4%L#*aWq0 A^2[OW=lN,7QۮNkNé wWC(==2Yj6uktH@o_cf#sUHА86֖T7$Fm? G__!asI ܣZij!'&I90r?hɣk K.sƌW!_7aHfbPq拠M}3k-a0((EQIBFs E.lvR 0kamR\帿'9мK/?e"ÕαV@]F/Z&7Ciu_ʱ|A\ӫ=Y!#M/ "cVUwӃ fgi;b$@!_7ee;IޟB/'X{nI6牜ˎYnopsEFhv:Te*i1\YCe2|KÉI ?m$p>6JCa{g k` u|%bjQ/ ST}3F׮ Xqy|t^6;.,%Vw b>T+MJ_t6?1x~ #"h(ϡ2)3 *.ژЗnY0+Lv\<]`xӬ1SKə_sSoL v# ?vu 6z~w\vlOZ22x!vQ]mfg /nY]S,12lsg*Ӆ"])^tS>(nҳs0 _p}Aӄ1'ɳ^ d+$ir@Phpx vǏ; ZMȜ_N&MR>BX1)<`E*F19vcv&0'ҋ V ^GlQB 5m(Z}խ,9`t][CS*)R~Mo?w2tv$VH^8(MލLVa`}mae7 "4 ]#J\F#ߠ-7m-]Dqׇh4uy$[(g8Bt__m7SYib\OJK's& q k0[Hv~4$xzӡv؇d5M{pm˺~d "EѹA+M'?5bR8[zc:ni$ὅ#yMD)9"sυXI(E 2Yp5_ۏN@`t9'ypO=/[TkV 6SQkpztRVӯ!qI_AY ڤ(G ^ I2g%从y T)Fg&>CEۅ8f/_?%<[s,~;7;)%oM']3\`c|֙G@wt%G玭Ów&՝n~l{ׄ!Nͽ}R"zaw}o4&[uoS$DK8HP!"b㹛mQ$`E5SWG)ETVm!ܟTc93ʹdž؟$Ƈ-wF< ?̂v)Aur2Vw߂N*\q"!7J `x7jIW|85}6 ٵ2 zxiy(ʨђM4>_z~}? kgl]=݋.<3FR('kÆ \\FC%z jVC o]}lho'lb,ķ篂$^ b 3c/n5gYZz%:@`E-蘈f5O0J^2y'S F(|L5rԳ ?hzQ9asi ێ}h%eQV@0V}K5ʺyorgٳIb嗻/23Y#p5N`1ⴱ'^sN܂M: _RWAn\ #J@ y7~H#(i^C/YNĭZ/+_G>30&R\ըËk MRkD%YCd Y-öFJ!PB[]>eG>2UtE5P1Lc( p 2$|PytmP`8ɯeGhݢ+>xÂS=ǾS8n%5g +/ڑ&@/?yjẓcgx1vDsD y oPW/ue} )s'=+11P1rx% > E+iHdB8%py_#qR6B%y$`}P m>f :PJ̵J'spQŠ"C`l&I6;}B6UPDh lHod&A9"TŤE<O3~U}VL6C3-Yіz_0$So?\ .lL0\`۟Jɺfw[UwBz:uv5Cb&w,]nzntu1zP`w6g={=^8$d(bvVzxB˨+r˪+)Yrm퇽G!Af&"ؽjGa˾:VMKu\3]SoK9R t:ǿt$>| =nTl_$gmzAY1>bIv+U= O@[_tG?UAj_n3SN>Aʨ([K?j%ʋ)RPgp\#~r@gZ|YyQbo>^"p[ÍM̅jN455PhNxl̼<4(!`VگmZiJ?誚kpU{=b_p}a.pf.gz=,di;T_ǟ5. J[se2 ҅BB4Ɔ+vfpǣ{K+Csl,Ɠ࢞Xp1kJ&-% %w\$'/L8v?^/lI['vda&f-J[\2 4͖]eYȚisE0BV!Q (\@Z[NR#r jDYE5ee͡E J1pN~B>6c" Um2mGԛK=zEkSm˟Jp$yڃǫ}5$%(lBJӻD!}cΰ ȡsx+L.u;`sk񰎆0"Uͯzc0#VKj`1Q8աlQ\(e˗a;Ů|d'a}loM>iRԄzGl485(ܺA] )?iO1&iEab)Ӷ ݹ&>j1W]!u\v s ID %|w(OQA<ׇ1іh1߆:ER8vRVv ^ ZS1%x=n`Z?1(R Vyh'FԳaGwixZwnxRK>UJ燜$(cH!2k| ){>xw#)7\Һ݈`*!z}j3"| 0F]ȋ #V?//l' GP3Md4a[aR&իx@n5QzGF;׍o). bJFƞL{<A)] ^$d+ %/}!NFu׭uF$Gcein{2bV3Ѭ %bl ;x:۲\QpRCCT@r\$wxkOy-.^] q5pTށ`92xo c9S7Mc7:R]˞T€]Tҝt{D&1l G( (ɹH""1yŎA0ݬ@6.og##+8L ǷK1?/nWnuS]T#?!>qkgIYD~7V'$R˓1m%N]V"s(No=[6sK .|݊d-gP;wb( ln.](n叛'ݸNBpO%٥ \O 5H݄=M8 @(|@vkH@Dq^X'oX?> K .myЋػhxUSYSfYk#0,c=)Hη;5w.LgYZ .u.<9A HOLCF-exHOLCF-ex.Domain_Proofsdocument/Domain_Proofs.tex7zXZִF! ]A-MՋhvG"uIBm5ۨ&ʔ7O=_{ `ӃsFٕI#5%r8qbYyVۗtAJnjwp{e ˦P2H4^536)8Yzo wH )aM]hMCXYG%28X8#5\i ݏNX |3A˿>wPy Iiۊp_1y}oL I栶\am3x#J(rM; rXV,h s:EV}K7:2/BO/6[^}:}kS{KG8b7zz^&jfmɃX;hg5N0QmIZ,kɍ+ƌSlPlpH]RTFsG}^:y$k:7i V}j|#2:z(馿*UӒȾ%*vrv#-sǚK*iE;ռJ贈 'Y:Sf ^itRSzXQ-hlEWC=Z XvVI:7PzP{ӵ^FYJҀ^^yo0 `gʖ3 8+ ҧ286WvdA zH^oMj6k}ER!@ؕ֞ )cs [Ob_ȏ3QBxt_Q۹o wJd+ mUʺlả I+Ӡ|)&-!ό-;{OJ#N{rq jMր2"ռjȱ-g_!8 '{[v\66˕  x&xIW;M #?7kEv k?f^16bto[br1W/D^+zt\ɬ|'l"(};jūjR.jQ8.nZvO|Мw"X>p#I=mO l0?RY νUpKU76W`F:A_'۫i峖C5$vZ6ba. Yx=H< A+Ih0 qs=j5&nQ30|'xGJ>a΢a_l 0:ASsk5NB~EYUfL/WVg#LD'P(eD NpIXuio)MּHzOCHw#d?ټn'Qr1(zM xn:ד o&Ag.vlp8ײfeE:Ox<|,lh3eֿvN ya}imQ諔,ӫN]`,{uW Ԉ ?<,UxKIͮffo7HQMc7zf ~Zául!|O};`PaWYj:&] #gx-׽.T^k}<&տS΅YMYT4Vp_GBf_y{[h= vӒA4HBZ?YgNPV -K^GDĬJ#nƥ#ĹSoSy DE^}0>:fAI |HOLCF-exHOLCF-ex.Concurrency_Monaddocument/Concurrency_Monad.tex7zXZִF! i\]A-MՋhvG"uIBm5Tp;N^+Ji]aq!ɮR%Cdh{'_Gí:h;H᜼{0_*byRbʁBTsutuuJ jds7^1Mz\I=8̺̭{(`}CŎF0a47k2 v\;%NҙYk0/*:B|NmDrC;\})nT2Ё&HOx !W/~|wWu҂VkPeL'oc\EO=9}Is:r|jI[DzW/LaxwpnƧ۠:jm/;%X3\x\;ѢvϮ ҺPpޫ5ń{0P]@< ǵ0ʪ}/}c&;<h# p*cP2d\ ϕN˽=D14*VF|W{{+Vd[!G;g_,[jvftf%Z^q "hr_D(vp\JRD\PBO4EX`&+ н=z)x'M CFxp>=AbW /Ĺ"B#BaG^͆ VUW*4udQY[ӊmʕ4]̐U;0Ğ@ɚɀ 6Uh"DR!' aL ~;Tss+UK1z60J ZdrJs|h=Rv, T˧7ʶ=sږ8,י5knpG.^2LӺ7.dITzt쯜~<t/;p6Voy'N>"{}G@T_߇9~H՜ |_4Wav !1xCU? 0r$>آ(wPpd4Aq[;BFʬj(+?u#U2Tc})ѠG">\ -9B֜D.({qlAh )ʆJ;G[xJ&>Y~+uY3-Օ+jAа1 `QrWX6s4rCW;)y⃝(~*` vJ}0"'` isxܡA' V-!E!zuT}ܼδ#͘QrpPE+P'rCtY\׻{-iqЙq\|\Jr G w>X뻔r>&t#{QtZHk|mSAaJJNrYh#Җ2HL|^62Y!:Z SǤX㢬N|GSuqH9΅/CV빉*vW:G^),n),%C\]#+#@0S3+zjLd ,k~Rva8Y>v~8 Ww|G-J.Y2s bĈrp2)`V 9jk.w[m#8$"oZM H9LBqYR3A,K!HWLt%f+ 7~5 `t߀sG$w`E n{ zVt(q"m)D=ᔥ"&ssP;d+3ͭCL~BS:'`zɖPK#p4C5LBCYkܙ""P5Kc!ao}vĥT=>h/-Z*Tlc`W R`9$ŢuKs JP ~iWqS|v ~NX`hu|lU(@*dkt ƥ?Im _ST1kXQ;jd]8%_עaFwGafEgl#1AT|o3_S"+6N~THUSyM>e]tfLm#gU2vU,8"GS㙣at?\y!;Yc qK @H= ymo>w Yteqi*wq0d(g5@h$*nkcHBYUeD2ƵWd4piM.ks"a?) d RZiƽ؆,k gMx}/@uO6w0V &Ht ThHJ4,;8G"ey{ӝLƒc_^\O4 ;gP8c &*Ȧ\LU꭛Ds_mWȿc- 1gK="|d8O|6iΦZxoBEQѠi8( 5 Z]PW n|6c`{ F{_XѲmAѐ\hEQAM:htg866Pp_NB $+K78-VYC%v"fM+?MiP~ACpjI~Q5buH0B8b>WXYp'k!Q((;W*9?ApQ˂6m.',_)ܒQ+&~+{'n+]WjK%Q7{K4=@g!+b/!;tɫ(DZmL#@ .EekJYMX'Z{^٤.")tUΖNtx8Švk%a%9v|v@(2gXˣIصg83;yՊkOEo4ۏ{?Ey؟u3@:nw$ۢ-&`?vRTk֊<#sgӉr4w, Rz% SkG4B8H"&]R bؿ}NUy! ڐ/<%bV!׻KYP/; hj^R9lI-/:渥<ٻ#r-NKo[v^: BIәW_6<8:HˀզedМcU&|8F6 ^l $깏8u $`c:băj_E3/}|YW >eh.TP>ik )3$ l!$aѵv]0ԙ*ڋZ:dg=k5* q"Ph08F>">)/eHs=XP9YutJu@R!I; 8LA||*D0*ZX :Sz,„vdpJ/-l6ß[$(4{9(z<,{ X{}\Ni(K4BD>*`.\a=ije7D\oc`qGzKس|5zHDS >-тP"@K# 2CSYܱ@Q-`5gYZ!]zul!K.ihzW[ &(*dd暦qXĦw+(~ f:ڤeo) Yi S|UybC >+*>*I2" ^ _4珮q8w$z8-qsC57@x|%Dm$nVosf/v%\;+qEnBb'|}"4ϕ\ټKvPUdVd>y$7^5xҁKX` qzG;̈́뉀s 9Zx50haYRwHV^=@9W^!ú2=Z@S5j`sɴO3 WøNn|wۈѢF#"5zeU?aM~g% CPͮci]3] A3,a ,%eG=;~zwm rZ-GT|7jW 2<@ZNӺb4dDmt&mmIަK!|h{!d쁱[(;Wdi6yhNd.wӗ/a"bvlMQ20QNg @:3+_P1|g1NSySn"X)XE%?6^98!!>(?J Fx'rZOM_jPx9Ss mڙ:E'kn.=DB[^5h!P3tJ[V(ޞ؃duŽopm Tށ@lQKR2qYTW& зC!S!.;!^}]quc4 $Bh\_ S?/ qA%I~k: -7i }U ) [`%?g=+]CKehEtH Vlll*"+IiWY;^qYz<4~sdFjW=ٹoW)`*<+Elu;t\r!C  zgB7y}&UZً i]7N~D1v'f. %ysc43#gVtYN K:[mK"!6XM);\ɂG-"T0Ιܬ3dWЛ>^h]>LdelfT)DIo%(@ q7BȆM4YyX'i*LC~cP:~4@~-ӆgO78GVHNUF5'2t_ yɈ<pgn糧dl(ׂ?lr@20|Ra ˆ 4pN2cWoiZ:o]/<+](Lxв7[UKNw2RlM.kDzLN yiT8?o{-Ֆ0,& $'^* H1됄.VzH:4ZTkNE21cKyb \6t"8d@|P[rPiuRsd´]" TfFϺ~WXѮHƾD9M9u^1YoE=Ϻʆ6~8YʸTi280ŻyPC,-}W`0j I:笼&B J`LÁRߖ WA+?}ü}\aAǞ`(ф$^獝4MQ2\åd•H;UM{ WȀT-cMnוo8C~4OYӷvֆ?{5 tc\xh^m jMyv,[~ku',b*}7] LZ !11+d);Q9  ÆJYCѩ8$YA\bq >y{Y B3?ѼUZ4>}"dI+/|a WyHr '>4{0H28q~4­S5"'Vq)hK(#:%So^((M)43l)@AiuӡFL"ò_uv&)j s7T=]",o+Y`dfgh>*37+m.zڠ֍7LU?lJS>Sm[mAxc Ԡ){^lJtX6,|ޕK-MX/ûM mLُc7  JA{T;-0}M,xR{Ʊ@ݚ=79+Ѩ]'95O<#$f<;7_R5k>]xqe>a{tDL,R^_iSg rhoxO&nӲkv_AFf)?Cjf\H6ľd9Ѐ+ l5M++{[6хHA4.?gzgoޡ(}DD +tTrߒ|Ug4AZsش tR5c3ନwLģ RDϽ3-i )(|w햳@Ah9I(g`&t/ 4X!7e|b}gfJa?9 +ظ%%jqk\@e@W>SOYαYM28laiu˹r vcg0։W.DȠ+A(AĀo-P81^߇\Wt0kdWi ACڔH*H#kmjV%-@f`d[Cql$Ӳ݃6B`p  HY7='T=D!(|여/z0A?tOniĢx};Ix7CzWŷ|{-2j5(.o/|1*>jDyWq}{@R RZ&c>M`f !:=L7m+lg8 Z93 B?럓9aLӣ=aư{T.yZ;>S cMȏW(6# Dξ$4S"m'/ ^VÛQQhLvMSY:6l5:2լ)##E]-P뷞lFT%*znҰtEr!N_7GfJ}{LxVa2YdN ;C $HOLCF-exHOLCF-ex.Powerdomain_exdocument/Powerdomain_ex.tex7zXZִF! U~]A-MՋhvG"uIBm5KqԘP4:*6]E?'N:7C%s%-='$mYOmMNA5c m޳3J8+b+4tzC >ݾV2 ׎O~dP1h O|'{VZƦ{&vk'iiM @@G=H=FmwktߎS@kcݐ ȋb dZp곤p3^\S<-=7b.39ZLz쳧BͯhrntKs8L#(-*5NZc,^uDN>kwy wl"`\ ;/9IEƸj2BjhODYz /y\+Vf7ZLpP㊶jƁD7tZE8z_h e-݃s`&){%@g#Y^4x5sP)O )Q0xbW}H*~`#S=zЂv5:YUFU\nT=Zz7f} j  .m"T$!V''ZĵDk: Pr/e9'aP@m ϦFؽ{?\DgtuUHwW*}Bt#oR;d0K$g2i-^R }dQo@,n'|70u2.ܯmYJ # Z )cyr?1 7VqHEP}PYHdnN9LZy0 C?cϳ ௾ӈyG*'~ GkK68T4<7i rC&B&#GwoLNr EK/*=%C/seYduQan/#;z{xE3BXn81I@WU@:V`%Tx$ ?&j:sK͒YLOϞO?\+8*3pH 8@E پ&9.wNRSE>R7R9HmU2Ȅ&97$VhD?˫2r3rYTg%"L#&{}Fπ+ٰiI%5ao̷̭5n#멲-jbًu<'#"nRA2,_C|w=WdPZ5k>\oU0LUg^0Hgd5HlT4mn׀*"G@f%7P%ٺWNxs M|0uʣ[A2ίN eڜ́j-gHR[=W=!T8sVoodMH旡AF)aG1?k odWIՂhfЫWDΤ,{+9j +!?L<cVIQ)'uw-ުh\;X~LM @ɸ.Zpqio&YoKn$Oҭٺ^""Ҁ?t6 'B{;)# 8^wŠ X57tw6@[y ҃Ne("\Yh )pV={LXX8wmJy̆ ZkfB 4 Čo4Q˙1tqڎޣc"O^BVT p`qPO94;KU(9[$y˾̰gy\ `l׳9Ժ1頃[UTf$O}G XEh5 Ld4s=Hty'{=tp)˼jd<EwE1-qrqaE]?=x P2r(U*w/{g'BVm~##gE+tuŢE1#=ArW)8LCtWsbB^.Y(\|nų{r*7鉍 Ӈ*(tN%aSCGzb 1;^kH]cU(8-D3gZ9.%_vQ6Ǎm؜mjD=zJe+cu0\5^T,aSKxpQt 1O߄=0ibҾ,1RH z+x,$%"|_K9PU: (OkH,d-AٙLJ쓫~vS("h\9/rءӣp:m} 1ʉ^^ԣnymS3N?lÓ, #ܞ6.;*v%I-ޮ5\XQm2[B#Fh`M4裗zLŰWsg B AJ'l+IyY|(E'g.JU2Njpg8O`7bRނ$ǍNS-;d$Gq-쀏g=3<[87 ^j7J[uzPKSM G[ps$*ގ}@#>1? 8l܇-xCwI>Akb"+ RFئZpesm|o~o_\Z"O:&Q;Ҁ4Fudhᰎ]` A$@LˣT~.̌NX$\\ZեZ B4.u0=o)Dg׃#s8NRJ6Ln?oj7?j*ڽ9CGBxC<XŹ`0 ǜpc}X?8KJr'VOJƊm L(ީ뻙q)y(ТMls-a,8 p(-i. bG)ʵԅp'3Wve-3oِ}Z8qk&x^f=J)Hڹs ݳ P)_[!ߌΖhxků"]S1@$ރd#SYI&ͯ޻Da\ QxÉ߫ר`M9V( Ndr΅ q XTc;S>H7ݹ8T'z>=W}@8IնZl]A&U49;P?);!FL[Ʀ@ = BDOi++КLXz.NetZVC [h{,^$k}l[!1p|`[b;~ޥ1h 88 AiĚqINbDVp:p_Y.ج^:keXLFyoPI  (nC $ xMg!^0!*>Xc5/}q(KJ6hGi&{#9b *!zh8TR|Y9oL{kzSQeӈׂ&B֕pJ1? u\~N$Ķg | zAyqû/ ~m%ď2BFf}HTg˔ɚ.Ы[duD5"OP0]*S4I՗间4gYZ % K% +3 DHOLCF-exHOLCF-ex.Letrecdocument/Letrec.tex7zXZִF! "s]A-MՋhvG"uIBm5Þ%([c!B>Xb7hAHGWQ[4JYJp<}jd^I{Cw۽$t~RWJ1puʉ7yET>vtDy}>u}+gD`[z<((?)Z(-=-j8FRҠX/|ƩCu]ae6Ү|wu:B{} oE(IGpyo(Das$1c2֒*IC69.ud=M1h@Žx/"*Q=pY.Ę9[f'(qmq:?tuϐb O kqQPґv \cdmD<UD(N,urjH@]9Uu>:1Ta{d]@4cсsvXWwU<- b4?pcQhZ)S9O mu"Y*i1$c9b++q!e#X0,5@x-*"T_6t/ )~@|/6i!Z)d%DgB^rqx&xe&"yk_"<>X~6ЁE;.[vw ; %:a `ElChpxȧO!=pHM ʊȜdhsYA hA&Ϛ y"^B旡TҚ υW-1Hj_Al\l,Uy_k*vOg/_xņ]scޠR//6 @kDAg9b!=7|74ȱ[I:Ms:f=̙3phxή$i+B#k\] dU~bR(.MpC0W;QCMKBjk)YOl2ED[NJaFopk#+o sh; 8J\zao_K"gYZ2 '/ HOLCF-exHOLCF-ex.Dnatdocument/Dnat.tex7zXZִF! (+A]A-MՋhvG"uIBm5Em^Zqչp6/F=4 Zy) 2FYױ^8`oh[Z_.RV0@͚"EO 3?&Foŕ|"qk])z<#(r-Kz;6>,*),!5t=ݞ{4? ػ1''y(մeaD'Oԏn8Jɠ{3c^u!GI'c'd).V^S#׊~/ \^3 O{ʵ{2W*Ϗ;.›-7vda%(&sN^ Ӽ&q异O6܎>ώJ2zKO PKDLgYZ c 9' lHOLCF-exHOLCF-ex.Pattern_MatchPIDE/messages7zXZִF! hp]Άxʆ5.f-9 rq9Szp/6xd]j^/ΘeP;n3qnweX7/e(Y##vcY }08uiceП.zX8O`aOXaTk=D*-vg/y6mHSuݨݫfn`C_k eņA Q! 9Ï2 UJ?Lbd!aWs /r"9fAz]ū22nGyY5K"),< 2.8kdZ l9kDzFCC%U|H~G8XRj㠠}PH[It{WLm0.nsQԴV4'b%rR߸mܵ=`? iAo58[9A*9XLot g:v^^CC7 AtWQݩ{ˉKgScs7`ЯgE \auuba 9H`9I¢NfPaMf CߢLBhX6oLFɢ%)Xe|^%@n Z-?T|DhvK&-@ Ahq/w%+#k* 6zPn-_) WnpZ'nBOdI>x i!xBax Qrktϖ(1'V-(vcX7s p)5&a!}Dk R?flO FwmhlZ!+ypQR>V"<9_[qCyeXUGr Zw-&x-ZP8{itl<85X;×nmD3Z;oW׏dBLufj>VolU/.gEִdCqC%A8~! I]ӿ9!aӂ <I s"1abnL9hF_$2 ͏$\)̡NS $9#~hbL?+c4ϸSVKif Pҫ7KuhMJ'* !jp@K͌]Y8/X?ʁxR o [d^p?=#\1C9S|yڟcd |]oAඛ..FeBpDyZ v^ZYd57.K{\HfS92g݁1}H%$6Qrp(jfI 0C^8Abx=QX Ee~*%ADfM:+6V(S&"*'Y1,Wݝn ,z rFD)-Ȫ,!-s 9WiO9TX{_Șo|ƽȣZ頴G%kix82NRN0*OtGۊfjNF& mxp᭑qp .(01ʀk SBZKvy&9Q ;˷*Rl :[q/ yXߦ]Lm7(!@y? eu#ARb&9q:c_ouw->nVP(#\'p‰f2K@WlZALGYΪ1(`N*̨"+%u*ՙ0u܈USY(/X]w=IkK;N w%~c "+4 !K¹%2р zCԼ&qp_0Z-9H[vg-\Vr~7MKߚ۩]?|ju(&x$ r "-cѩ[4JoR95҉C [6ѶKtltYbwbѓx[ؙ2>1OeхrLc[QxSKy%u~FF=/PJE<#n >މ_cH)(Ӱ1#{*M#O=,X61@1qN¾puy<{)Hup\;)Y6J~CHAs/6x7su?znJ3V=Pۼ\s+E\;_ SYL2V.6VfBê&~jts B`҃JSZ(9hJП,#Bg4PK>:/(ÊQ>Ir: 9(f+XO+W1ȉ+svK+k 3U*H`A0ao(HX OO8r؂B|kofOx9RR!2R x& Xs!DHyWZ}u&$~S#q=f"g~{Qon@ 0WKg'߅Ȩ-M3nRcB4l)2Nו+wEc!0npёOT$5̬/IU6'TNj+# ݫ"9*hGbZs<äjoٌ84#TGZ(=N5`, BJెƁYteV9^Zۍ-0C@oBPdbNjQR4119/#iDZayQ%O~ 7F\.ޒ<fS|5EUT; aWWfesZ7 9<82*(J6<D8.9u{J I'$ ^)eїUE=HYֶ$߱$C%QėVK@{^-Nr|ҲfF WDl9 +a3/k&5 P`UFES^ 鰘K$H݆44V^jJ C2h{lhpt3|ǃN^JY ]G$|X/P~SּN}hb%3o>9')#>w$FECK3: khYӵƩ(E@2$^jA$/"<Pgӭʬ7V陯 ]uT!r*kLK#Ƌl2^ (' R4Emib[bY)͇@2➶"/ʜ\(~ SInz*4ߕ L_ #vg4NX`Rk7@=f6*P(456Fc9ӝ ~ɤnҞPރB2Gq~pkpc{Ttxke#+>ZduJ0WoUǣPŹ~P5Lx&QzSwx+yo~%h`~c]gZA-j4BhIHo/7xJ&;d }`pW&>7tj=_"M~KyعG(v3p#5 gQ铻/B/ϢQh >k)FJ.h';8>/F~Wd>! ¼:l#jJKžX6+\ձg̯49qd4U%oc73BP{n+@:v0 Ϊj4RQsi~>w{b#}WW{ܗ}{hr t4";֊*3?';Ɍ4=QBpEF3U̽fRP>| 8!pCٖSMl]GQiFqORB(;m27Kܞ>=1ĞDuF8K|9TI|0;N_BYf9nRk#!"&]q>Ѷpd279 iP6uB<08.dEKf[՗~qRE8#b"SJT̐IO\Z[p)>9Re2): `P[2ElTq UߖL@{mY2"/HC=f+ 또F3mcza4dL ,;Y L@@L\LL2clDgSNi&-d웗3X%͂0vpoUN_1aK]EdCfȸt v& I=Pщ}ejC7DL2[/~z(\:1 I.[AͶ P$0 ƴ GZZ+NڽOLW*E95? # rW }1RgYZ  )# LHOLCF-exHOLCF-ex.HoarePIDE/markup7zXZִF! 3] !M젗OFK? Oȫ7$x~cx|\LbVyռ T+ ݿ?QН4tϦTa+ q/%L~Հq1;Kd /q8siFS$C~6-w+|Mʿw.Fy74XSbrmߠR D>Me^عǟu})?n[:;}QvQ9\]~Fy!u},ZǪ9g)% ~!VcM C͌JA "FًQֆބ=,X:{ȸͮׄ1ن&cpa"ЅI9UB?4 }#5 '[zPL?/OA|P; o0&S1b,38̝Cha>p(ħ'rG-*cFiZŷ4fiAi[/1"̓Nf냧<: im5)tQm:+dgWsџ?c!3E@TJ{Vm5N'€zT#:3F僇Jza-F`^(;M QJCG!{wf3f.zy1[qjnڂ H Jn2O wӼCti=ֈMf7% Cz??lAC#UUpUE0ݛQ0KCԉ37ۼNպ0+ed'Iq٤՟3-<(V)A8OƐh $w׫]{I[yEQ ˍq؛&U6o6g n,K'k5 Qqx٢',Μ#Ss,8nL@'!m(v,Z0] h,ۧxWG}V+_A_lYrZ0-gxgYZ %9# tHOLCF-exHOLCF-ex.Domain_ProofsPIDE/markup7zXZִF! E ] !M젗OFK? Oȫ7$ćP?tv!AYIdʙUW;-_vUk&e/T*iv꟣owb щx&C.P:Ih 5rvƲjQsSMy,AU:ʹǶ9<]@3< k@׶dX'VNxX-2,w1,TeVae{LʓrÍFJg79tNH:J}y1۱';Y7L+LmaIE^ns'w*|`hh2hZ43 [^ln,0M%f^n+1ޕ=eu/Ƴ[Siqhs*-=:FЈAosk"9"}5J*͂;2!opTR ִE ~Nн. "6`7w\@R)]Bxy A1d'ȓ)PrZ6GNw. Ƭ)}nRM^嚈:V +M{pt&bZxa6x~˙/p3jZXafg4%#H{%4@~5ʊz޶-b2KGDXV]';و6mB*JmTـRKNZswIN@sB# }O{6ĸ;= (wkR.k]X`‡aUc]bO3Q6be!R:/%IyMey>Ф@+9_(Ѡn^;wea) U#'X5 ਴(+ӊ3ڊdw])elh .\K @EaM~%QcElaWJiլp=Xہd(<} jb˖EjgBYP &X ho# F&g<+_pZ Q2!V" Sx/%T¶מƮ@W^UƩ6Tpk yaĠ`:td .w8w16p9يBFj qP&/{\zH2ʫ>YU )CflF1DIA;eGT}cg;2s|y7Z\촆]D%g_E*>.fdzMUmU3|8&ű#Xb0@ qB ChleXX9J} R{+JKp`Kz8̬˃>y6VQ>pUV!dO2:pgGxip-pckpbeX*3f = un|0ms0~v[L SQE9 O'M Wwm* J6l`0WvsErOMtXLWM"1V. ))X46l-Gmɐ*S2gBK^Rɠ|ĺ>ARs=b霋:|ȼz5V5MJQZ[J׆uޘzO:D{r -@]cԽ ɇ)̒7P`YRNTǹ$)a8]0]#Bm(R>[B!]l fu;gAiHsvҵfQqQ H [.RS4TգՂ4vTP dƗ|d|8"^gNFa6r8Oc.-ϒ?L_98#//!D˿^uҁ8QᠨɱzDO<_'z~9KlRių۳鞳F^t_% jZNY4^A۴Q\ w 5Y(5ȈB=5n78drt.$ŴMO1LQt]OlrRsck1+tĩmUلf՗˒7:U^Mس2|*J׎&ڸ(`Q.wMgꀭ$azht l5yQ,,P8;Gz LvPa=:)cLTzHBVÍ86qcFvmҞ{x-4uLxO("ϮpUV*;3xM$=9{a /o@!%+k(BhvlsqiqXKB1P]yjfB)v7kOr$ĭ/T&v`y՝|nx,5e!sI>sHgYZ  v v9' 4HOLCF-exHOLCF-ex.Domain_ProofsPIDE/messages7zXZִF! d']D?7 {?:fH\_o__7HE/.\?=|v[`/ qCT-߳rWX\BL#ބOmj"HfY$q)uo냢)+Ԡ5GUIa3MTrD\ӿ#,(R d}?|ة)f)K =@tH+J}"3'_> l tTGhlk8p9tcce"%?ar}Vя`%| Olq9*xēw;cYՅ"b$-S%ZwD]]vT"G<[u")ӈi},\dPgEHDǯ'i'Ĉ7X7p3L0f9;p&_껮k$$X6]io(-"΃{!sMe;gvwNi+wkmQ[ F~-5N4N(5yԑMw2t,LxM&|h&쬙?VP0K$ Qv6΅HX{F2by2zinsing#ABv^X9'#Dtd(1%ët`nƥG('!?ӡY@ߏIVqytgYZ $$YA# THOLCF-exHOLCF-ex.Concurrency_MonadPIDE/markup7zXZִF! ;X a] !M젗OFK? Oȫ7$ F#aשw9k'ɵOrD73KdjUhnU EOJz`xm&U­Vv .E~$ C+kT^N˹鳤 7Ws`F҂(1ިМ!Kgua/Қ{9uZnE3 RdSժz=u1SN@ XiCQ=ku'?6öYaY66fΔM\*4,?Qnk@7f y"BZ_|E%HTnUέsт!,%Qfbk[l01T=(Fi\0X!/SB8 EҫI|TV0oL27 '/ ^D$ ,d;skj0)vgWd- :64 +}Ep)v~C$/mG6`flh)Ed 4!';iK1c^񳿚Q.{lOَKaiN R'+t ^n^`+6xk[K3N] x:Ɠ$!C/ jH>D$Q‘O{6cRYr:Վ*'8cI3sZ,t\rxu=q':'Y3683Na&IȆ3 F'NAcPd+o붶DVH{ލ>(AUIÒXwF j`.f*4Vƶ}r@\npZp%EgUּ _[q;'Tv߀!,"]=Z8ufSs!3"h P@q LnIңh 9C3$ d-Z5_ױ4D`T/CwĥKޗWkĆSQp6?yšد7(~B8 O51ᖕ#튧h Чw [z,yA2r1T{DGXsR^l/)pwDfc/2MwO%8J h}XL1(àͼaoV.')9fL~=0Y[iY4:j;5 3Y[~>X5 R"ڄ /(Ki)nZ#v->hTPjhc(1K]?u`(}r]J`>Hǀ"PZ}>a$8Xk [$k&2rP~(PFc64v_' ,@xG&d?&Q*완< 2A'E­pVuAIÏGŹ0el>&/Ė)c 'v`V>eIѺ >, x*KCb]}o'W.oWm({glBف#vg!B䦤It3p C )rN|yZI8t8 OXFOgJWqE2&O?$xRp^8 mMJm& bm7Bʠ]mƠ2?*RVBB߅u_[hh^(+O]=byW3D껗3't)V`JZ c|X"иTG-^/*/,5v=FZ=lT<'CX*!_qaF$=)!kZ1^hŽX/m! 1i tvLt?CIulP@ƇTfЉEumF7e"G1b) Ԩ`lEb*d -%;A+AVҗ6hw(dYRjz&w4[P 浩p_/D_=apfYqxY@E9M&=3ջbu.|@ Fi50~PJ㞤FPW?iMGUfWO N\[M U4ƈc}l{V{7 +OJ(bZv|/7tk ȫ+zwSZ E( ~6Lg6],_ ▵ YGwk NqRL1P j&@B{c@ IS}](0]kgS1gzPpnS$.is؀kS99F,#,n Lj؎E{4J%wVnູsDn fOvKo\¸a=V>FVA+pzD;BI=ywҙ/cҦChRTNw ~T3 4Q\XIY ?혦 `(Lu,tBQ!ē/Upj5urҷ05I8VDcD UXt ?9s,S}xֈiE@Lf8v14_К#*Zwƥzn,BmfPz ,S;v1gYZ  Z`;' dHOLCF-exHOLCF-ex.Powerdomain_exPIDE/messages7zXZִF! W]·Iq n[:|&[zS-*;e~~}5vq n|&]2/^_IJ?PZqf<&EtLB> K?g伜gkZ4= zQ%]pMG1 U{9eb*$wU!M{njM_^E.—iVDyНFe6V͙nܘ~0`HUkiE{?JN_RX+ hgYZ;# ,HOLCF-exHOLCF-ex.Powerdomain_exPIDE/markup7zXZִF! ] !M젗OFK? Oȫ7$#~&,E~fOrsRb#<@gi.Of?".sO?q?u :ecyj S4=$ED'n/@ ĚrMs;ܧ`Yi 5>m;2 :KqaM֧ŨKy,+?9N`Lk=/u[(meh&VT7_3)Lx} G3/_@7/jY4' iķ>tKoyӸPwkys'H#^fLyڶ+f԰Jap潍)f@3>ųI2ZLhUL6\R}ҧ<tDZG_5/k9A3a rerɶь Bi^|gf-F0#h k>*6g^5 ֵCR/}H K-0j3uIkOn9ϟ^2lʸhL*i:|URONYI΀5h~C­1Ir%{)FԲJXpB+(&h u )mGwZl镖SȴhIWM,gL{XY ʮ ybz#Q?{P~:&!u`wTtzogUSpeAfqM(hj L7]&ͤEq\h2$pT`gؿ2K6+(-rc76 |9hƥ;Fߏ@Vp%/\!'4N7ġ9dT-_40hAuV]`R]nEu|Akײq12d3} 9(y!gkF#Foq!3𪯮i}Djȸ V*\A0|1/TXs]Cφc4l{۱gYZ`/# tHOLCF-exHOLCF-ex.DagstuhlPIDE/markup7zXZִF! ;q]:F.<)Nqژ=뇾 ?Q߄T.sMָ%Pdq,c킒ŵ6]rrSpf${:$2)o EC ;S6+a)ī5!QU<5(&jkDtY OωEG>27H_T[Mу2.r/vtYcjE OD%֯j_^ۀA7 V~ہ(7@Os64X /LGaUB(A?LaL2'!vidEuYcl6O Fд P8n,u3 վ;RhLh-8 +RZMb3#>)HBvǗusoG :$6_. SIk\^[-D\J{!'B3d{QLHͿtrS^yK4NXsztf&}Y;L | ns]:OtG"o^WO%v>(>ɍgYZ;A' HOLCF-exHOLCF-ex.Concurrency_MonadPIDE/messages7zXZִF! ]·Iq n[:|&[z79鱯zJGnٜk^]9ۡkuo m:= ۉ&%5S i!Np9po3m9Y9 2pU?Q.9vy\Ǜ74ْŠfGE*c0!{ULᇭp^rT+WWuәHKY'UP>J!=Q7s`eq yQlol ̋tOo?~?jX2f\d΃Hbe䛈 QόEuq޻/|)Go88@TQH`-`y@K~CO2 rtHbsfC9/?/<؈GU\]AI b$j!\TtVAeEm7p;YìkamQz<cl"`cnCϳZE0jYt8v=)>WQՆCEe9 K=)h:,c1\ rŊ2&AgYZ %R%*'' HOLCF-exHOLCF-ex.DnatPIDE/messages7zXZִF! ]·Iq n[:|&[z7~ =4r?4W[{3*3Y '_w~ aܑ]Q-r$ofFVj΢V(KVP5*u{;~Ed wn' e*r fo.gc|B`wɴk1f!B _n7_OM\>jggYZl'# HOLCF-exHOLCF-ex.DnatPIDE/markup7zXZִF! ] !M젗OFK? Oȫ7$ ngy0Ȑޕ ӂXW<P } ID/4Qn>'*e%I# T|~О<'/u\EUp Ҵn;'nIzl|'`5-ҩUPu&s:gؐ7U? c?ia^LY&t5O8ʣ]AWbwu|ޗჩWV9ws!6tAʃtm{zGbO)O"*>#qDZXg}Yؖ&ӜChŚf͇4 hF:bPG8[;FU=c#bؓ0oD俔ksڄء[4y+{ G37#yF~G0_etf N>bwS075.\Tf6*k(KOޱ0_kcJ%ɅѩSn3Ua[gaI#E_<竝}`sN^@3N$6؉J ;  .Tӄ,,B`Y]E=2OE ^/gYZ]/'jHOLCF-exHOLCF-ex.Focus_exPIDE/messageswarning_messageserial=3529142line=106offset=2541end_offset=2555file=~~/src/HOL/HOLCF/ex/Focus_ex.thyid=340Introduced fixed type variable(s): 'a, 'b in "pcop_class"\/# lHOLCF-exHOLCF-ex.Focus_exPIDE/markup7zXZִF! ] %7TԠ ӥAwRњr]iˠ~†òo,N9Eo=ڛh %#۞z\1|WwI(sWdcV>kZ4p\&X * ,P_b o3$]^\lL11#%fu̷g/ɣ>%a/fǐj2Ѿpc JޥT+yhYױ*VOu gt(r>&Js cJd ɖqb{Æ /o;SPӴsĦîٷ,sTB*pb$@6Gv͏%a }\+/`_O}[@zU5X+—,z;}'it VN54 ~ׇtWn7gY9Rq,[Y ǻԥ^ϝeVUϋe ZzҌ3dF;P+Cua|Aq  ufLM-!JL6_3;vzux&iYzp)X|&Pb!*ͼST f*.!Xn֊N3j^}8'Z@ir*5JrI ef^ݥ{s[O*{G.߅͔wX3߼ s6UY:U@ |[RXػ SYztS&k@uCq֔_pird*+\>z%MdF@yA득wQ;؈dRYS^Fu8*w\mxڣ>Tu㺾7pB7*Y<Nx Al}ܑ≮y0i<#lNh5ߋbQi@䶓?ȈQIqQbőD9|Ҥ7=K)nͥWNmcm_R \ن:xb+  ZA ~vNed8W/ksg0.0\z6E2&C׵1cٵO[ERFDŇKP04Hʮn@Ƞ:9B;N0bAoչE-wIaY? R 2q硂:'==UBm\Ֆy zD[CLK?ꍒWf1Bf}y:u !>M|MFXdg"!koTN[Vx\XzKcMҭ4>V7:OS$v04FIw AY|EH Jp۟RjKMt\8Uk}sl6 "u$3cw|lbQN""su{TǕr6A2]A 5"ˍ"FQRK"O8.?7-x}`o_ħd͛E4H`b@-$/=8~"PcjCn ә@hFiݦ=d"-ɶ[t\)!RO.b6>PߨܴDk9̯3V JÃo6:ykq]`2ۊp83d#3u<[_Ћц[&! 5Cߐ8C~@{N*r cX◥ۍ쮟Py?殢䉈M"%.+U ܧ)$]>kcSVاBW@f+.${ Ի-H&sE!ЃY+PQY0!ngdEzڹ7w rgLNM,1 {5;?!k'v[0>'⾅fIF28w Ј5Ğ!ك,XOˣNګZVPC;sYHҐ/Ծ N !QU`W2@8Iܖ֞'tF߼Wtb^L͓vV(*W,W5eꀵ…<0wr>xJX?JnQ/6o1-.,bfƣ?vxq(^_1ng8"AiKֽ덦٥I(}0=YdGXImʕ/&䌘DqWT\hajH(.s& wH@LAEJB0Z{SoH$0XIypP,&Ch&u"HV M^Sd&Ž1li\X#Qv3C;q7a!}4466fw*,ѯ6$ЍH;@)vdϚ#r;w'OVKޏ>?y>0MRhӍpy1/T=Y{*B 9HggYZ+# THOLCF-exHOLCF-ex.LetrecPIDE/markup7zXZִF! "] !M젗OFK? Oȫ7$3H+0rN5ȼ @@eX9AqoIUzP>3zX"rS;u=23#Rxn 8 f+&B }9&$ȇ[ s9 ʝє턮 ] 3j*ݪ$=ל'U)y \Y,o vIi .| 48 1ϰW9R 7欿XK_ױ->A*ASRo`Tv7YKnsрn@go*S&|"GyFy;LM԰~HiIXtV}nRT gYZ