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 Frl ]S HOLCF-ex:threads=4elapsed=4.125cpu=14.604gc=0.3887zXZִF! 7/]ŗXiɟ:DpαGNx+hĭqʱ%#;j.vԿ'ej"lڟ6"B>h*KBH7ʻ{߻zB]?&/R:BDfoi _[`I_4ꠉ|8ŚYfJ |=wѨJҙ$Au _ZƖC.ۊA>zJc@R\w4KUl Ah߽L)(!1{^Tܿe]ٍUN%E;lQ L$mhHA igYZ7zXZִF!  ]ŗXiɟ>Ӈ[ -璁߯(85%a,n6|ZÚ%섀[Yvnϑ:?VX`B0r&TwF1 yt3F k'ߊCi ;jz072YK 0- YPdqT2ŘJ^S~Pڨ\vl1#E8k'u_Te,Ң=.IX;gYZ7zXZִF! >]ŗXi%TY"!Y(pAM0'l'Y8h}rF$^zF!y9l|T:,!p;(?Y.Yl),^|tFYJ1DZʊosǏќb:)t'9@Z<<Nc\wfؠkw/dV M@IR/)W5PU7 W9A M13S{ZMէמ5v`Lzmi 9~Z 8V\W!aӆBI3qlv۞zRFtB&|k"|N$<&n8-"eîdYv4j_GNC]##`يd'| 狞f^&M*bcbF^RǦ߽ DAm s.F墝Q.r#$+d.zf[R8RP1DQ|ƥ@>8:}%ˋ6 BXM74X[ TS}\*]6K]L:NKr^%c␎,mn`˜ǨM;ʱ<[8ۋQJ݈*_B$sl'*sT= l]e!̊q%j?>Lt 7D ߕoA6eSLtժ*ry% A5ǎּK7zvt,jĿ$J7'`{FN&`N[о⎳T1gYZa0ee672013778041b53c5636fb93559dc4422515a8e09f94ac93c6aba3fe7a329b5bc66cdfb4508b 2a3ae5bcf110c0b224d650e7eeeff12ea38a548b 07c349934f38ff7814c4ed18b77c11869b19dcf5 55c06ddaca908a590bded4089a4052b55661d470   HOLCF-ex.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 +1**&)%#"     2 | F  M ' ~]-T ^ y k D  | T +  ) d1=&'#HOLCF-exHOLCF-ex.LoopPIDE/markup2%'!HOLCF-exHOLCF-ex.LoopPIDE/files1+'-HOLCF-exHOLCF-ex.LoopPIDE/document_id02;'HOLCF-exHOLCF-ex.Powerdomain_exPIDE/messages/0;#HOLCF-exHOLCF-ex.Powerdomain_exPIDE/markup./;!HOLCF-exHOLCF-ex.Powerdomain_exPIDE/files-5;-HOLCF-exHOLCF-ex.Powerdomain_exPIDE/document_id,19'HOLCF-exHOLCF-ex.Domain_ProofsPIDE/messages+/9#HOLCF-exHOLCF-ex.Domain_ProofsPIDE/markup*.9!HOLCF-exHOLCF-ex.Domain_ProofsPIDE/files)49-HOLCF-exHOLCF-ex.Domain_ProofsPIDE/document_id(*/#HOLCF-exHOLCF-ex.DagstuhlPIDE/markup')/!HOLCF-exHOLCF-ex.DagstuhlPIDE/files&//-HOLCF-exHOLCF-ex.DagstuhlPIDE/document_id%5A'HOLCF-exHOLCF-ex.Concurrency_MonadPIDE/messages$3A#HOLCF-exHOLCF-ex.Concurrency_MonadPIDE/markup#2A!HOLCF-exHOLCF-ex.Concurrency_MonadPIDE/files"8A-HOLCF-exHOLCF-ex.Concurrency_MonadPIDE/document_id!')#HOLCF-exHOLCF-ex.HoarePIDE/markup &)!HOLCF-exHOLCF-ex.HoarePIDE/files,)-HOLCF-exHOLCF-ex.HoarePIDE/document_id19'HOLCF-exHOLCF-ex.Pattern_MatchPIDE/messages/9#HOLCF-exHOLCF-ex.Pattern_MatchPIDE/markup.9!HOLCF-exHOLCF-ex.Pattern_MatchPIDE/files49-HOLCF-exHOLCF-ex.Pattern_MatchPIDE/document_id&'#HOLCF-exHOLCF-ex.Fix2PIDE/markup%'!HOLCF-exHOLCF-ex.Fix2PIDE/files+'-HOLCF-exHOLCF-ex.Fix2PIDE/document_id(''HOLCF-exHOLCF-ex.DnatPIDE/messages&'#HOLCF-exHOLCF-ex.DnatPIDE/markup%'!HOLCF-exHOLCF-ex.DnatPIDE/files+'-HOLCF-exHOLCF-ex.DnatPIDE/document_id,/'HOLCF-exHOLCF-ex.Focus_exPIDE/messages*/#HOLCF-exHOLCF-ex.Focus_exPIDE/markup)/!HOLCF-exHOLCF-ex.Focus_exPIDE/files//-HOLCF-exHOLCF-ex.Focus_exPIDE/document_id(+#HOLCF-exHOLCF-ex.LetrecPIDE/markup'+!HOLCF-exHOLCF-ex.LetrecPIDE/files -+-HOLCF-exHOLCF-ex.LetrecPIDE/document_id ,'/HOLCF-exHOLCF-ex.Fix2document/Fix2.tex 0+3HOLCF-exHOLCF-ex.Letrecdocument/Letrec.tex 4/7HOLCF-exHOLCF-ex.Dagstuhldocument/Dagstuhl.tex @;CHOLCF-exHOLCF-ex.Powerdomain_exdocument/Powerdomain_ex.tex,'/HOLCF-exHOLCF-ex.Dnatdocument/Dnat.tex,'/HOLCF-exHOLCF-ex.Loopdocument/Loop.texFAIHOLCF-exHOLCF-ex.Concurrency_Monaddocument/Concurrency_Monad.tex4/7HOLCF-exHOLCF-ex.Focus_exdocument/Focus_ex.tex>9AHOLCF-exHOLCF-ex.Domain_Proofsdocument/Domain_Proofs.tex>9AHOLCF-exHOLCF-ex.Pattern_Matchdocument/Pattern_Match.tex-)1 HOLCF-exHOLCF-ex.Hoaredocument/Hoare.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 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/n5gYZ  <<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>:f 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}NZmpvd=6z3Hj{-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 B/7 $HOLCF-exHOLCF-ex.Focus_exdocument/Focus_ex.tex7zXZִF! ]A-MՋhvG"uIBm5n=+ u m'7ċqϏ"K Wc<SsqqXZ&[o߄BTD?d >̰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՗间4gYZz%:@`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 uuAI |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\׻㠠}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~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˾ 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  / F +!HHOLCF-exHOLCF-ex.LetrecPIDE/files~~/src/HOL/HOLCF/ex/Letrec.thy1 +-HOLCF-exHOLCF-ex.LetrecPIDE/document_id352 '/ THOLCF-exHOLCF-ex.Fix2document/Fix2.tex7zXZִF! 9$]A-MՋhvG"uIBm5kJغhn938ah4@+,M M:*ڶ^D&8NșٰN꽐r S.ylbݕ)|rL0^cb^!z-z%Y"sg;sΔ\kdߚL0WwU<- 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"gYZ +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сsvXyB52^f]F8К(--̪dT*h4RKgWx%ǰW\gVc 771}/nWہ)B?cbjtIۍE3Z'QamE2J *NوaCA0d-Y!xVr&F+w$"4u}VVo.)j 61em6g\{' .Q#5+c/[ b]۵f'[$ !.$ޙhijyץ7̒ n!W U|UH]ep7;{^yja-t904:CVRY-FD#Ei5hH!c%%$ݝilC{#]S-|Z,ws)ؑ,eb+N.~'>䈪HgExQ+Mdž'>,b+J"`I# AN`Lc s%U|i@2r?9 | jRŸ"M{&VwFYN|-†c:+xyI˯ 6ccރo|Աde> 8g/F iv7gYZȞ%bQCfR:'F݄VqG3v`wp|)t}qh1ZhX f#T'peˊzеϭc&'.U^ X0'-Ʃ EF9~,sGG_e;VZa'jzw>ok؜MbW, -eX1~HdH1YK%ʮ=f)ܭbd2t]f_ i1X}4T il4McB͞á~s.@ȣjQC@hs;u0&Bg=ki2F; g3x4aU;$V%u1@g,*p'zq- |8 , K#3]̴*e9΄ļ*I T@9Dxɼ=MFՖ,d6Y8FۂnD4v''^HIм'H &-6&k>gw-FmNV\!lx) t8Zp(2`̪ǃɬüwMtSߏۘتn5@DszS#( *&dE70w m-SeZC'38*B:e4 :Ϧۿ4?t)fAt!]^9Xpk :좉?@{"z\6~b3֘mjhr|/4p K=%YN^;pݲ)( cɌf.W ~@F j=DKx!u.41߉3D3^!@Y sz4}9f w%(빕Q*w5(% JcKG SAj'RcLI;;?2aZoJf ndlL.JX?yV/ 9\ezռWg 3aHج>l{ojVn#7-wZԭS`D; !~䦁)hUa%|ѸCx lj1L`q{XA?&"N;T1^:]ImIZjEFU][ َxԵp- ?m(Gm-ƌr3 !+<2w|WX,T4o͚<|ωÒlhz#xeUEBxb5 a-BM8%pʫJD[_xć<_\>n蝕I2 *e}+ ҙs]oo#bE@a>/ eB{D I.w2,<#(M7A>a,(w{8aO=> yѭ!}b8 E-NDeSjC}VpbY lNvC^N*Bq mRճ?%4%LQjz^Ӵؓu&@\K@ wUPaI[T~`:FG!mh̳> Պy)1aRajX#"b_ör2 Ο 'I׾ա?-cˊ#dRZ(aF駤cl2 !èUjX%FVAD'2 _`5{ 7NH 2a(6OtrDa"|D҄"|>v^K!,gPPg@Ǘf {MGyʗrz6<2r޺E&NoՅpDg4{gGN⽇xѽÈxE[}!:0h7[9wRS $*0?%eNQ3 24dOB%^PG^@JL1=ÇI LE1$=iTJyfC!\-8x?;ziVvXJڐKG,E]H>wliG(rWn[G>y"}/jXz pq=̍ ]uI ~8-7gDtWWLL4P}lk ( Lr8)JV-_צ8nV?QjhSIcj,AƈJ[?D&UKZLPO"`E<\TFcm+MZp_9t),Ϩt' sC*y{k!]<^8obl6U/iˆ!&_ /|D3yEwޜ&Bt!Fmt } 9LRM +ܔXXEbC:탘:fĘD=G[0E|k 5 U\bN2kc9)Q>Nժ-0p%{.j^/*Y~Jsypd3_i$+ReJ MXvR˖|q3 c˧p]5e DC-ŰqZ_Ʒ(m<[Ɗw r ֘dq3NFvtp-3b 1tK!RztnMOoC-lq;IU n*gl99c&oA\6lXOՍuʃ } .kQ~Tv*K$_;mrrP o_ lA1#]wTZvx;Jp# Q#zavVu`EUfo8s CGJM. `qfs C 4BpDj奴S*x"^/>Q0[m+< %W]#(=HB(eыk*5w r 5~4U$5It5KͭT|+:E}hK^EFw"tA4g1e!X>-5MyhH3\^PRʌRQbBR]Uekk%*cl9#윴dD\ӅC"?fsj*,y+Vt\$RzTd>ѽҺVpB~ G&]NRB,#grkJCeitMT(:J}[[!B牚efD?&*’2_@M4NsfgS#P*vs BQm !K[ll5sЩJ)L4aUYv$ܣ z?>7ҜacǿH`Y4,&$=\4 8hx* @|bQ>vٛ_di;[cp*4Pz.K wESR *jRjSi26N,ub4aM#i`kMx .1Tƌ^xc݅,y {GOiAMI1köna}ʟs(u`;[Rkȳ$E1+L2O9s[ڥĚ1@"Q:`l21iH&h uç@FDѹm_mH> mW(S\%}e(0 {CT]ֈu#V֍DJYݿ72) ԯ]Bw;x DxC^GMKRKc6%zjsL=ĺ:'gYZ PPB'!DHOLCF-exHOLCF-ex.DnatPIDE/files~~/src/HOL/HOLCF/ex/Dnat.thy/'-HOLCF-exHOLCF-ex.DnatPIDE/document_id344]/'jHOLCF-exHOLCF-ex.Focus_exPIDE/messageswarning_messageserial=3531422line=106offset=2541end_offset=2555file=~~/src/HOL/HOLCF/ex/Focus_ex.thyid=340Introduced fixed type variable(s): 'a, 'b in "pcop_class"P/# THOLCF-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.߅~imX} S뀩L5@?↵6~$T-0᳂Ua2 U-N؅_~8W}Syd.24d|ӻ aʠN`0'D|$ŷ%MPg+Hb@E2YuGnx@4'mov=s+Jऩ#Eq2.d:އ4*7Śji:MLǼRTM'^2L!ѻ,IAD<x|ߛ61rO #H1lf&\)PO#"ǧ\T yKY˯$XL\ nLjap舄ӮE I{--[[TlgVCo! <ƽ``?`EF<i^sFix3Ihe}}QX8$ڵDv=osДAÊirxY <bp. bFJt/o,?,dzvX"ekQ܀ӂSh3bwagȷ>:3eu,D!`9g('W$`r~΁]8Qb ӽ߀MT"mVa:9g+@,ƵP@u٫:Y(Ipô;<ф b}5>Yn|2>0hLv O4ﻼœ^$wr;8+Q $ _}]rk6$8w=L)J{d^quZ'ںH4,iD@Z3og(|Vy/w~Ĥ!%>yE ,фpi)s2Etxv\'N<;ӳZ~ř& /2@ \F.ζFm$'B;W@=~ ]>+bwR俜Bx 6/;̎> 턃 Ct9Di!1uğ]\٣ OybwfV!v  Hs'*e%I# T|~О<'/u\EUp Ҵn;'nIzl|'`5-Һ@)0 ;,5qra5d\q;wC56~DT7>&8CUS[J q6 TSvPI“Z85޿ vjdsš2LZ|m‚y5w4_U٥B'_҉䕐EmĺT@4"~< o #}iVFD1; w1Ur-"$O6Z Mʅb=j3OH/ .{=[?{w Ac4@3t'GYp#؎UN8Fi@Mf_l#G|ׂM_ovv~48Auf%#+T()f}бCjB6>)nA䂼*[ EXa'bXv֔ QIgnhխ01NsWvhT}U5.@ 鑮wTx 42 n+e>>,asr:=%:V3ircpGշGx Ea2Ƹ_!kԃD; l5SVV32bq59 5)s^+ ii4{+JӔ|y( F*9BoRF:ha1_:cD*99-IJiNQ͈_y=ӖI3]MYtv!^]KQOh]ԊDDIA ut8eBG%\e9%6JRK\bWXSAr Dܠa=U!dzT\nMM\F_Joj>?o" 䉆E:PK=Ign h\&+)P#+[I%~>q .@{nQZ'SZ 6&Z2s^;}/u0Xy~F7p-:Q'&6=: ?+[7s*Lx; @G-/Xd"dlJDMej{7*0 cihoi̊]L~LOkkj5ѦQh"ԇ}o6՟07Xc7۲ҫ#JOQV9 ~gYZ sT9!VHOLCF-exHOLCF-ex.Pattern_MatchPIDE/files~~/src/HOL/HOLCF/ex/Pattern_Match.thy89-HOLCF-exHOLCF-ex.Pattern_MatchPIDE/document_id356P'# \HOLCF-exHOLCF-ex.Fix2PIDE/markup7zXZִF! Q`] !M젗OFK? Oȫ7$~b뼺Ss :cwGz(HkY(T"seҩ`-ɸA\(w@fM͍O@>3H+0rN5ȼ @@eX9AqoIUzP>3zX"rS;u=23#RxizT^C ګ wK4ثe"fNȨA-4sǁ}#QG?N]xSIp"3 xgcCh̊Piuff@ K9pal3L/vqeKXf v/Vե r¬3fBD4& JtaŚri\Jkf8d1r_> XPԿF/nǒs=ӑsvK@ UPHEu6 V+뉧&dL܏wnV{̅ {?j!KQOFXO UsN2B[͌lհXk7a8N Mw4gPcQݠ3oOcq+O:ZX\ϤGJxf ʿLXk8[dsh8l )`g:b'pFC%_1z|eS󿎎BMw@ Z;y5<ьl=C6o(ݸ9m^0n;w&3]N+Z3h$Ž~bAid|䑼UW=? 1ia9h|v76:` sZ~)rf\VH'=$zK˹D>8~#+)矼 ^(0wjĜ(|&S]8ɐR 'w%c0mN%,;WDR4TtZ4= ް yo;MZ/iiNq) ~Cu`4^a['*ios{(qP*ڸ=!Dm,#p#H~w6#0Ҍ<`3dʸjouoxJL%J w/ Rĥ$V;քIbm``TgYZ=hw06E&7=_{z9Ч Չm,E~XBV\~›O&z;Ȃ`ԠS"˯Dt L;1ۺ,R8a:M&;zːǬ;K.7Zs moc$!KA . ^&~ d~Ɖ#;'B )rj`TszrB_/9.-GY;h$Em4_(t/oOhDrK lMm$`Q["ak-_ Gb(; ?7>ƶ MLZRO m*IUBb];MUepB̮FvC*s*#equ~uHKsFg۹Io$dZw|+םE@`;yE.=?1;רG;Z>86*sϤ|t̃I%\ JfFxMI^>gE8*Y'pFK}PTK~U"K 1Y* y7Tȫ@ Hݺrl&p7Jv)nxifc kif).59d$Q"%1jZ+VܿeLԞOZ oA̹HFVݴR3 1e`pAj=2'"斱:j%bT)!7D+VK'qLCLv$u޺Jm(Z% M]-=X9(9t *K*B@A"`yɞ\N`3ôAHP㬕"k ı){P('1X9&@Y”՜E, +`@-8UyD&KGKP- R*Hȹ#kN/\Hk$o)T r@c(li ћ MiO4T t|&!J.#qVM():T :Mqɰi=] e䥽.Q_c -ϳ|/b1 6 < !k hVfx:EIy=v,Hžә(zNf 3YGLk5߅l~y0͆GU i1K;Y<4X>{W5O\^*4Ng%4;}mpC/ } h*MQ$/F|nQ٪/E2wM^ JKpFkNʝFTBL Ɉqq3a_YwT!Shn ^60$EO_/e4 T5u3DՕĜ"U>>S&}k횏Ԏtz _v3{9wFM{n6ui}6T!VVS/pETqZ? (D8B'&u\oު),l.egkyUz$)h~܈V%7bsDg; ˺\IC Fny 1CK7=IjkVPr<ć ,Jj= 4oab~`:~ 5}TK&~;^>x0U priFǝ ,sJaLLĦ[.sC^l9'0XqxU$P[3!ķU3 )VIߋƅ&6IΈNS rziZ%|VgLUOTۙ)bq/ u mؽ:f)18qI5˯HiC =@: enƅF"\lb awpn̵mw@S[`vfsiTeO1=)>wXR+L_o@!0۲L%PS̽ DV|WG&"3u;~kmUy2v| xM;1By98@)a/#-w∮ P Kdboַ|R [VɳTF/;WǮ9ƼS^cx>(;;M红ѨJhmg?a}؉|LuϝwuH`:]ɔ6"/5п;aT43eAk8yDE8#tǪx/l1A%3&Yxr0ԎRQk/!ш'Uڿ x\Ju3YMܛlj\v2~r_Qa i1J1W94436մV,Q"S7^0g dd,m$Iu9D8©]WJ|'nT?A\}ِ 2xcY QAC&g#dd|''?FrIF ]rÐc˄X#$rYgaI𲻅7K|zj2/4Tg+CZ "ͰաsQ|Xϟ^z*ȩ4w2aWkT L *8b$/)Grl/n'G: kMڂה$?u'7ڦih<K>F' (0ZR"}+>\^Е9ltMջʿ}v`}?$A)P﫡Rf'0M.3#O^jU|B@ x-/WL2NhVBUS؈=:caJP.Ee."Lfvi GMnZHLh>bBxŔCQ͖Kt Mb寮*&/@\}i~L~ /#}9r\yٹOjm,s(TmOl;X}pxZgt34L/N%[bIFhlMo:Oy EԳedX܊K4R- i{VPg4ܢ"2DӱA{P`QS)R<Y_NW½4+^&~dܚ4G6]Oƪ2^SyoNs[@3 ",ׂ(ڌEE>U([$l,y!Bŕf'5Ծg;%L)70If@\H(Xf4U^{S/o:Obqg@P3"eǠcv\rޞ-ҕJ&鷣W n,hqYU f'k]K`H7 cG*?O8jof4>tİkC9N#zY7[_~YS# .?e {GH}{,RЭ vٖ}tP2[3tF9[Mi*A8ԧY_?qTcƺ5‰Ώ8}ԫ޹8?9|HRn̘@D}~1 74WUĴ#"lxQZ٫϶H<*!mNʋs©"|tuKY}Ѭ_%C"Z"E&.Id  UA.=́T:ӗ{KJWC-+IJXs<Q};:b|N@Sp!ibp~Mk@|PT˃:zeV&Krr"3cO9pBӕL Ĭ/[^b9-8K.o]*Kdì6VeR-*gvY/[M)-B0v0L}ĩPY,aŲ m\uêa3''6WbkWl/I|/G>,*?Zo^%PxXV{%㳣~~塍4?P $^VQ'M4 Qg06ULd1UH/տ-dV2<..u$x霛.Ŭ;kcUa^~5}Qa>ł &Z,l^:4S;uQQ»*? &@3ϗO 3EG V$lUNLJS:jU:aɷ|⭾؃=L/Im)̨vI|N{\+6~`AbuGedL:H; ^*z2Cmv0߯8p@4Bicgޱqkr؝xYDg *=цwKV/<2fȾ]_t1U8mRtx =Fv$F3H`bл44ߜ<0l.X[) hܣGC0TH$8YLl{M`ډ4 ud#PϒZ =дtD{^~(⎅oSޝotI|.}sX,PJLId|f3_ g̜?P1*6Tt{0vbq\ }%8^D骫e<jwsb-4ݍozDp`*)9߼)5rzbN(Um:4MΣ| ׂ/{fF_Ix$>="[KjctC)#434Әk:^6&Q:!!e<:tiB~ PBT2Q򺭣 #% )@ICL `'fZCC>7p`2.E!L*];ϞdB VvQOb*q~/л_=;4ŏD!Rr>-hImUa@iVQ8LO}g fBJ|{TVldC1$#{F| ͢ Ԕtک/j2}*aLo[<-@%7i΂wIދ+1Wۑi]И7_A~Nknl=T9n*f7ğ漺@4y/Rÿr^GcW' EIEKaw.YF)|H矛,HH52v"փI(OĂ@,Ȋ:/>AuW[竄 n1kNΤOb0ieOMh+e`4]1)йHsY!cTu0Bփm6ѯ ҧ5(RncuO>0Ψ"bq S<>%V^)Dw4X8`aJGE4[C3hI;bo ~s`rh+}ٙwV)=)\`C-^]hQ/CeP4Qx%̋IE.o15n-QIY40/һmZWankòk('0?G ;v!4YitSTik?,Mi()W nHCp9,e>٠RN S3U ӓė]h&0 \m<,U [;gQ7/$ZM6,ƘYZ:_ŃT DF'+!$܎Y݊H'Z:ND4C!";@$ FӺB_9[ҞlQGdnL.6 sB7W~9YwZE[+OKͺ#? 7`7v3tnZ/̆|El-Uh):&5^LzbF2H(3'ܴGL9T #n=<.HK)UʹKJ6{\4 y,DK4Sw Bf,^ZU830tB Gư ~8{*@nL/nr4C\f*~VB^`msKfci1.NS~mSܭ)gsW9=E ӿ@xtt;'Z^#MѕqM2 m"˼lO hιmtu=Y*i:}^3R⦨WH46-^ nZwQy`C:V{̊P'd`B6 "|E١O'?sB#1;0u[ @n:Dh3R;{[S+]$L-WACn/+yY=1򌞷Gf4Gsxpo|6"vBC8^;UmvPqzµX ^h[ȷ^ϗM4C z;;  ۷ ,+(?Y(Ǚ P} T|܋{-`Eȝ9DԙMQ%ɾ<ԫq8/qNdE=d#6*D sFz Xp>&9R7T؇gT0%tmo y]葵}sCK\]ɏvl SKpxBO`I2YpQAfIN[L1ߡQ h܈W8alMF'S+;À0&QyȽB *ods[$v]Li.{kX &62IݢÀ( *Q㛀?0@-9ϺMV%9n`SX Ӭv>[ ;߇zsd' CK%?GmS}H w<_1rf$ZM gpB؞ڴ{ўGE׳ "`M rIv:zk)4:mŁWjUd>8貃s{`[=^RA ɂױ5~OhE"[}i9?BMk1+5R pvقrLq:fO ijuV"fd,2%8J4T@?S F0H=8baO3joi g]Zmz ]V AQi'kڷUSf T**ѨoQUULtpdma-0f/o|N{!A$wN:`s 5JQq4&Ih\XǴ-I=@_y SQ-T>e+"oޓUp&ԇRH9BCGbܟOdī r@Ipkxv:#z('&[ӳfr&hV(X"\\8*蛙Ugk!+rjS3y߅N?%^Ch8@H~+ 4#$dc a-1/YcSԿu))yR4ӓ`y7X|>KdAlT֙~MHlaA(8Ñq%i뿨C "CcO ?9Rѥ0m&$ LQ׾}U%>N|PIyQvޝHl+`B Ftz'ڿW3MhڇTs\W3eL$Edhٳvzd#-[K6(3%dm3Ur ^]Q9$M=y3ca{eER.g'ˌ>&n¥lwt!9U5Fѳ}2F%Vr2iV;&ySxo,ȇ$d>pӤ6{d:W0|o{DCedwժXR{A[1<~0Z4G],qKnbknm6H2{qw}:!_].f#W }E;Zkն!D)[1AtnzP&\=o HC2J?(ŊYʚx&+H {tb9Kr* - b^(çI׾wc4k gh`)$z,vݚQ<ĸurGL bP .>$,'ZWAZ̎y:j!\ >=?sYEx$`pg^ Ri4 JnU-+N%7VI8x0*ey6j0{@5/]u}&fs">&1Xy{[EkUR&/0:"N`FPt1Q=JԾUTK* *Sҋ"F7q-RkkߌR%k ͬ+ZyWۆo]OW+B-2(\V>NU`k U@R4 ԙ5yz\{IzhN4M z$.%{ZCē7}phIFKM룃26+% hKU$ߏ #;]"c;0Xuԑe!AH:7af&l>aC/ C@Tp@?2F-4&&*+'̡mR jq=yFC 9ϗDBzmŘtD6 nF}CvfI<1q"Y-G 1/Brʂ&=]s-l21XR%>Mm:jQTdbT/3 G!u`]"HXnIB -uisE']_}8F+w.NQ73Y2sĺ%-/TL{0\Yp> 0n ,2.I]19ĕ;z<{}o\: V[BlP9=Z`d/i ` Ff竞="f e&q)=1*0͡yYBs|pm!~:uY Lm) SA2c{}%F-F-CjT1NzZæ*ů ^iZ)O(ˤ >kkήuM#tg8$%~ (xmtKMLy F## y*z%$NpI:بeُ\g63r6"No?X_'t|:m U!ǧbexBQXxB7ʳ]t>݁+e;;j2tR 9UП.a0XM(x 7z b}^Ii7p$ɞFS_zQ%ntOmdY CRVz Br B$ta6Eй2md8]hSάJ,x-]x6/ds2BۚoxwhpHc-x:A^5)"\ev`N)-b[ϝaS6% Aʦʸ"S+ u"2ooFGEm5%ʮm5I`O%; (l( rvj*E]Dnt3 v㫗鐊ߛ_qX~lb6NzH"+| yh~pv6]WUV0n:qr8@ě >ة˟tdK}E"0H$TG>ȳP'KiiJayQ>scs2Gqy$i(] r$ˉ>j2<޻LJӢyzG3}_Ccۂ$BΟ VlρE[ycs=dmS4ͦt<$Ȧ)_`g3S64qNJVgz+=E؞A魮ȺtRr*2#oq;:IJo]..Is1.`H <{`oW.4}d.a,޻9۹.\vފc"-5^A炶s(8js&xA]|+3|Ud=dx"(igN;@LT#NVIdn,ˇ?mQZ%=c.d!2/#(/uzeמ3uge27G1湣'bcgWb7ragi*i1 i1+1 f>]|¦?V]rjT} n?7\ʃ"'0Ңms+F8KѣiU8 ӵL~:gKf}ֈ6r}6aQ4[4<. P;G솮 6*غjw}Ҟ+emҼӎ 92AmqA @H] ^a w縼b7*^F@4T/kܯ4vE$']Eyѡ3D d8a@@ДؘxeL U~Xt\K U;apgwy s'{ᯟq4"~ZDw2#M<2@dvZ'o78mOĚe}S%#MT}@aRuffȱ4ejّ9?lj~Cd|x'T`nG0ܾ8}(pQwq&A^kz<3"G{­z.7,tÙF9-s@uV7Dw(9S3A܉ bhLa#2&ܕS#h*^P{2a,vi6:saLGǪt{Z z|ܓH5!!c- m׭f<#l!"I .t9mM H)( p@}s:ao$o|E#Rbߤ`+ , w⠁1$c+u|,P5j'ՀPSRQ!<|ĽvM !: txVPjh0 zSF݋Q$y6Ut>Yxȥk$Zt䘿 `fv8Ul}PʝRxϟ\YH1iQ lCUh7smu`auH%:`:EV#WγgR6I#| 'W_R8M//_#]8P`c} -{Lr}[uƳ@TB|ބa]{I ]}CwTYˤ{ǤP\=uG9g335a/͚إ6;Vy<5pנj"s="9DӚn@sFN.%6mѭ&91+x0D,%ҭR2H=W/lޖoFs!#]/btsY9!{ raɓn|2%R WYpj6o!xOR![7Kn&F V/ 8g_$:s,^}Dk៌ &Z«pv }QsLC Qm0Q&!6$WMT*c/Ă-*5׀Z׿ EF#AA3k0x6 @gqAR',f--U[eؖfIakDfPJo_IBl=qa AD֋Q}Mwj+oܚAZW)@j*:v0` ;]|$zv/\@"K"5B;Zrs'Ӱax\m`$RK|2!74P/HIW҂ً7Úe1R 2\ݻhg}Դku.0J&zeN(\GȎcycI;Э@P5j'>p6}s -E.%gweD:|ɡ4Gٙ<+6 ʭt~9zadz"m-bZHd;g3Pq2=*s2E1EZr>ƸOsPidxtTB(ӥEw^|V)+XtDe"@_7O.&uE70ܖ\^ u'VV )*М 8͗%6mIh&1=qZPym+ʀ`W[qr*&meupO/,'f BH 8J1gnent5K鹉RN:M V__|[5H' j# L+ϧnew-w'6JWvtIu.d#ET$ moqkR[fTBBU0c$֯iP8%vW#B(=;"7t!'1ΞVWP2 <7 {ZX:7˲ qH$棗買x)g2od+} g}] #NP.gS3"ڟgK[DSi;I)ݺbc&hnImi ovd4MI#LL-!5e R`GTMUx30܅c0dLz(F%Ödzcƭhk1#ʙ/a_^ C}[&I[o62ٓr9V)l;a]qcHS`vS dEM;7Փ2;!F< ӫ*QNR(L] trfyՄ}EXՇ^BB&5=>-v;B6G4Wr6EF^]<6/ȩg2X\Aہ"EE60Xbkmˣ. ;-_KSZO]Tw8j/pYYC)ۚ}rƖ`oh,>mB-9_ZK+ZH H6yB7wWv|^HcBzT/ J'ٖ)2~vUN 6L  -"0&P5@@TCE]'NXjN5D!4Uq `A*&<$o =^`[ njւt#",Â1THMn``_4{Zʂ/&]',4nzZCx~{M_'f^W]HlU0] s+aTk |ıL Lt 4ā:(@v%;nNqGR2"|݃bTC2yO]˅LX.n:Ks>y \[:pj (vk40soܮo@I&8?.Uku]w[!R2!U11p;clP}0vW@8X_~1 3u,8Y۸#R|5/ή^L6U䁉|߻/-b'C _5Z cXiXʛmV .>s 5'iU9 g -`f!5󩁬5a1&G hIwPY/{zAi%==S>{{QV}[S\NɹEې!g?j q4K7e&8kV]4N~EPytQX 9S rZI\?;j5AjzR<^bVmOY_+M}[ *}V KRҫNshY}jjI3-XS*G~.(U!=jKa tgV?szNjG?πgON/ 3Dԑ2u5 7M;`bk5 *^$X|_I 7iZJ\)=3:_*s#Uɢ$*IAAcOQHCQN,33TI.JjgcCLH<R[AKIX|IE3 *qwzћ#|i%/D8=UG ფw z5Bo1(m-eѷV& B( G""Eǵ6di$I>5\ ̑τu:<my/U;\ ?jIdPd3G`,UM$?qK0PN8DW +yϣq#䗇j(I0:#uL <)R[#䃹yJBB$̑pkiIM{Z0{!W楼=94 HvqilfmƅlPKCuF"߽?Ò5 xz ?BAPm;@W=L;^r+ΰ{cM]s^pMf "b.זaT)Z{Z &PeIvr BXbP@]KIc0}QBzO 霷%}*deRS.`NZfO6EKêձ)WD$10}Fz3 6 pLxb(#i 3C/u@=Y{b8 !d M7)BR@)!VO]V2[Vw<|-ysi\S<rR2CESojE7́˘u~]5x(fw0(nq16:ѭuk> 0H=bFW҈dSJ [`e$95Hm3_'O׹:F5]ԁZ[bVҝz|C=4m0\Z| 9(-A:zh'zgy6A4q|MN_UŬ<pz'z4YqUuqu#LIy$+8u@T/K'mrˀc#&'ԉʟQ">#yS9OAj1&8 i&C.K)Q]/'$JY &7]l[YC0=fjWDSR{NY̸W<39􏝮ԃ2:bz4~})&avR^!mE@9 %y,VIGː'I"A|LYAQY ͉:B诃5ȶr&3vC0ܰhۃ6I'kwdo̺w:/̄3BEDRRͱyqE֨uF`%a9"kTf W*Pl딛kg[(@ȒBVR?\2@FtZ1N,ZRwLJ&èIMs)`a5VR&%& [%}MNtaa^r̢gFH7 zui&r띪{LUHn(O~,ooGW*B-4g3@a:Չ<$Jv~SsB) b#s;^d#C6rTP;Kwꩭ;Iaҽ"  ifvSSrmk!"& ђ@Q @:!SmFmxɩ5s+F>![ #RhcTzw(إ$x҉%SR (iYK!bvzo/͐(lm8 f ccF/žjVR jRO9~4"QiTUhdR H2֑(E('U[ko @io+ U #S;_~g{v)ʻfg-G<>UP?ލ=E~Д ̢b=,@`#3D~ cHI=w㲦[oH;.\y!:;\)~+kS`w9?8~{[QDV1d|ή&ddGsHr1mzsXM0D8S|OGSj'zb'#["s4d޻bΞ!cܓ}k Ꝍb=Sݵ>NmbROxZy2=^$DI" S>ƑJchqFR0^Zތm46|^|=!F;̗i< Gjv']&gTJS8z/1] 28SEtVHw?lkMP̜֣mzFN=QMC-eLq*~_p\Ϯ>?!v1I%nNc4ئg RX Pr%2.JPlv,^C譕6qzFzC8 WzDžq,o Hqks\T;@2p:P_OVi P J8uc"IX{.9ػʄ1u1~)p#i =B.>._o)xqtta^>TQL(@3@v6mI")q=VUx:EjOBK 9U؇a\pJB)IrL􇉑xܪLЦ?>:rM`qlJ^V KL}ncvF ?}`3 \4قlIJ_ӫzYڷuUS fq5(Ea*}k/!XW|f S4—U{[4"Z&eS;n٫oOpzX,go ڠ7H|NhK[uh5vW%nA°*M^TQ;~NI+~ę fQǁ%eLF!5MTcr02\+Sakb͐M/K;yzUW |j-c$5pM]y 5۾?QkK^L"@(c8W#ݜeZtl~!z秬H718l*O[cMQ]Y1YT#`&KZwAvmwqMഃfvK^M\,$]Y>RԬ.Fh ']e%Wx$9GA60BHvcn`soR#1 'cAvO'x~=Ns˜XpCI_zC⓭5KUsȚ,Wv`T bV!l24>:$GX//AR1e66^iF>'tFkWBk፫t/*y4hX@QJjIx{[Ïi^c,9dӧf22zo*gy-`F%ovTυċ{gݼh'qvY<$%v/4ee2p%w I, afvfGYa"hluS!{oEt#*okL}fqV3S ÛHď%6,Ra8ʻN_م})3IDʻL?,KMߦꀃTE_s_ܒ#$F{>G-'ki_=w* vҍ)v AL eP r0]Umߙnf6 }Ot~&=мC,Zo,EJSkuw>fj>^\5)݌=7mV&ոg$҄*[AǧPFݭ89hཱིbs-y"ٷ6Vly% =I%ivG~rc T}!&XY.\lF1q]=֟k33G,Jyd(8؝MqQ 34T򄟿T`rX`Nk)dl1!n#(K2ŋYvZ4gH_qOl,8ғkT±wc Vmrrfe)FJ=>Z0%mi03֩H,+2ZPm/GJb)T[m DD#C9R0 QE ٍdK؛V/m߫ rjJ l0J$nՇԑz~ p2~1嘀.Lu"dsYvBA_'AD)u?rs~ PUԩe"ݡ~ Y&O_fL}{}k?bʛrdp'2y3*"9F݃߱^zE^O)BHOXz6o[%"9afs Ca 5qɤLheyAI)߽%z 4zU1Ck$_w5f(CЛ$~f`a+/& QEZ`I'Y#ftL wu[Bj oKAG⴫FCwdG^N@ZlK6)yN|+?ɱgYZ   j \"A!^HOLCF-exHOLCF-ex.Concurrency_MonadPIDE/files~~/src/HOL/HOLCF/ex/Concurrency_Monad.thyMe^عǟu})?n[:;}QvQ9\]~Fy!u},ZǪ9g)% ~!VcM C͌JA "FًQK5 9+h ?kۇ_?/:$0!NQk33H}r{'a/N#?iLqǚp|]'˱rmd ׫;- ğLT[8 D)!FHOLCF-exHOLCF-ex.HoarePIDE/files~~/src/HOL/HOLCF/ex/Hoare.thy0)-HOLCF-exHOLCF-ex.HoarePIDE/document_id350_9' dHOLCF-exHOLCF-ex.Pattern_MatchPIDE/messages7zXZִF! hl]Άxʆ5.f-9 rq9T&Ӄ%49Rc~tӬ!ґ"n0JyMa$R-%n||mi#t <} :#qFfi$ꖛBV ;_J~\ sDVN |Rܛ%"ζp客u=bX'I > .v*ÂJ8thup[M# Tu+΋ 7j#'0Wvvc[eRj$+CGK)l4ؖq!1z֟L"mqZFydvH*b, zU2wX*o{nI!̆d KCr,8 7" ($IsKXfv,kktO!F Ft xPt,:jg~I3 -JxuƋQ Wi^X4);ưdT&?^OLS/fe};c>z)َ=Iۋ亵ܣ KWZSRdgy_THK,K ݝ5i=KPʕ.H{ +׍_CviXR?4޲tǨR@3 >]Kx.܉`Dt19uCF 鳟$"$m& ɀIXzıI+%yfRmYB>+ÜK6i񼬮ba"b`cK\@CǸ{";Қ%U%ⶃPFB$8P!(zTm`tzJF;sv|Hv ZNv)c)GMԃ`tf/9yVA44'YS1sE'Ra&l=Qz.N}>/IaAmk&{05q!瀑(*#L=3ᏥDkbIMw;IٷdO"^ǕJ-7mN͆y%ZgRO^a!o%_V]揕RF 1Q(X[+,!U&Z`"荝YyEY΅dlM%/"msZZ=1 fcE[pf9H!}}f7$sG*!S$&MCMt[4YD٤>%JOq~xzqݢlfz\ ]X}iכaX>) !r` DFiMr!\_% QT--:w)]la,sE*PVpyX!3'3[հ!5@puq] "#{( ʠ!\m= gk;Hq헙 ;)e6c*@F1F$[H9a0u~wTR)Z1Re($Lc?X]9%K\,fg=XǏdf|ɡ3z kz/ړ_pXddL8D:S¦6'QWf<}'!=2j|4QHh> T/}7iCIPa%f(#9$tZMxTdRtKݪ)2X:)1qgK%7<WI'fMU#>jo>a u ti>O #ؼ[?f n)YbX-BV:irJ^»V]N۾Sd8P/%,_q %~e10ce7;𿼂!_O4N(~;Q`+ق97:}F㋰r>MJpQm/s@íߒu" :Dʟ/ FGe]3R@$PS#pXZuW(xy╭2f;%#f#fߓ\#`Eٰ5<;%y:OCC$7j_gOb;b6D8D/ Y/ MFܘAWEBxÛ˫Dm)/g) ~mI)[B@і]S Nzxyxt GK &dNYePX;DH '}DV2dl6njp9١*e\/k=UwMa#L"TZJ3^S7Ϗ'*.K.-''K!3cw\Y) Nl0Zb~n?Ȇ>kմVtôdsOY 1Et&Wɮ(-Cfc|Z{dvlh6#Ug+hsVФںTD{ v:ky2J1*]'%梾$lc@MF(d [Ui:(3D_`$@@*,Ժ`gOnp8\w@Bh>jQuݐȐi|HcD^PDa0(XՈL]zn=;IGr \q"akh*B\R[UOI=HpW>I*}/!<)?eeQTwx~Ջ:ĿXHTO_m3=@O+fhh!:CInߍ9Lo!^<_O뱶 Sd: ~7ZhbVWջcl Fwm#YaK߇7B1:]'屡x#7i+NR͠kyT?#=0^zhUsg(H#g+5=EEz]2W .҉IjlȜduZ, gg|ensE)!&T*ſ-Z)zk {LA;]IҦWP5n"\'9*tJDurctcV Ka>|bQF̚]k%^t(JGt6@ӹp+z 4/ d{K#n (E%a28jO.r޼pbqjjg &pb3@ j^8ҍy̲+uGnPHP)чIBXutDw_E4>^Q )#F̨T4IZ(ui;dq;;bBfƿXXlu߿,Ԡ6c;Gd4B!& `'IpGNY5=T\Nh V&u0C@~S |v!3voƻ4 ZlMQ?_ zmeG f+r=;ܧ\O%LEpm*!-ZIs+:`%$A[;bH[-h%\u14Jj/\ 4fv:PAj|Qg`̊C3)o,Y}zW;hq.]QK^  pY,_(qc&Ά#skQZI ]UKÁMRbH&O0{ZErTd!n*rR}~78HҵeiG9RؖzbTDVsAk0Mhd0uޅ'jq69ulZ:$Of{'V)l@S+kxᄊ+aR^NMccAHv*YΉ@u]je-5!{7*RX)T6Шi^Z]d#č]-m6VRVѠ0kDVsisW᪜i==?1޶Tdܸ!i "N-ޣ ?έh)T 2]?w)$5XoC*"y]頖_ZhT3t> _Up8,c2-i_;۽el:{i>5}_GKx,rDfH;u)^x'}v6+e̺~S񧌧2PBl9+WʩM(02f9̦%8/JxaZzeB&fD%SZ"]V}^ˆ'O,d:VΊ/Cr(OњOQ x2Ɵ=<.8kH5 L۹>Q ylgGmjY?=`6ol;n:ĊKr6򤕠T 5bk36ABh$X) i2& N(eg "33ЎGP uPnf.`8@Q5QP@# h!ݯ(usw!@N <Pc@|̝H틊2!fq=aߡjIx6Q \Q%v*!j'hy-*І u #ZKtL 2Eg~ÈC}-~&Pd5fnkj> v!|PMf\*)$"YJ\1.ƌ&5oZN nI-P4+72Ϡ9QARҚN׳ȬRޞ}QBm+w\t_+G+&bK`Lc?nآ1WS\'ikLąc|hj:\s1sq=0n8B@뀾Ċg dƯ{b$'앩 Bm; dԠLDSxP}$Xgy[A0ٸ)~E23ZJ!׎G Q$w=o fhEIa:u_V)l'xJo=KO9QٿtfGq4/;5g_v#+EU}T) ?D%q?iqcdJ4^>OeUO2Jވ$I^$0'KR]iyJxEkpahiSO3I"_quHmlNNN.|mVJrG6ĢQ\Fai:S P=YZ愶4*r ~=׍4<}QZn7F" -;~a|wG(C!R0@a>vu&iC,λހpϵu^?PB0ۤk}]&Ad3dTSJ2LB9'e=H 6r0NasZ;ޚ`?ކ r5U }b͐E)|jwC~Ӣ<ڝӭ] [?nMI8+w,{ow^NcSuu Ǧ]LiDRK״I`Uʃ%gJ@>3O#]mK㬶l3r ;G+WWKxb3`j73o9 (_#%E=akgH/~Y@Xz_;l>E᝭P,>jwM>el#ط 씁BCA'xow+B|]e%^|#fyì֩jNza@n/ J4XT," 0Л{A])}@azHFnL!d.i*#Es 5V`jٟJAlgYZ#%KICqcʐ3#;&9 >I(Jcod nܢeB:cE3`Vmvs/#&-;dq}Uf'$oCS`Xŕrpq7zQD֍< X 8EhbIިŃߏ`TK@+^yyd r`\Lg {K0-j4'c05`<냡e[ =dŋ]YK{:!ئ|aNZ<hkQMJS@~xhHP>__#`pW>|^|J5RxMS&/G+C.҇:KJ RS"f`fg#b Ԭ0nN4jp ݔ Ҽ(j EeěItƁؕP,#@8ӵ:/] Z0r@잺cKCK0/*(=)hafI({J=&; _kL^X\TO^?њJۼC -_fl#_EԠiv""Z;S Y~) OiM1b)Nݺ ]\yi0-}x!ʽQb J.MJT7ND%Ѯt4SU`B'?F3*[a#qG LֈoǂVN{8ż mWb(6`2 _e(ZʵFoVzYQ#rrngtŞ<ݡ6-I⌰{*;yPehĎX)INn/aձw݅ʧ{OȫBQ.*˧!gIz ~c+4,i{X$ď33{&:L1 <\x˂RWo"ᒯױI=F<G=-/7ӏ=,3[o0H+68%~B6Ie ܏8s\tc tL%^3eYDCjU]R)gu+xe#ˮ4(Qt3L.^8=Yҽͦ߂DW*BtK tOB槍tl r-GB9zmE7bТr…-w1K];SGAYG[BZ¤X-5{Ls jɒbKyT6#ay+GD0%(GFE: YT]R0oYɘΔ{ U$a%"SQڿE= >./ շM=d4?|HC@`N-0 PtMO;> ,GbJ4NdP , k#C!/,$+s$dd̓kQ1;)JhmC*l {2[*^G.ZaTec-\-Wn^`͚k>&,$HeNagy|;WwS)ԛԆ7PA+7 ㊜ P_<74^`@k 7s|0ÜgXT!# ݤDF|% I]}:OgbU4HW]ƻБ5jlNQc.6yrlCEv#Soq;bU[pv1lg/ϱ\}~G}rot{5S[(6M/[%9$=`& @1E2 250 0^T{jOD{ ?a`6b%l**xuSs]5畀\?GS}-3-#xZ)8fҨB'J-E),HA;Z1pΕ':sbt<3jqS_4ߠrџ@%1m)HTgƆ3lhBPbutbpz Aqwpc9|8M3ۏD!]"t'9sٚ+R$_V2Vj=R zAwm6Ajq&hny︸gDhSvg#.}ufu^n6QO`K슦QʃbCb9.SQ&u3 HS?b,YHtu|*î5dOjqRJ0OB Msv#;}3ʿX9XDB2\,G$ _]CNJ0Fd^|\'ES5bx 4°.^b(Ic6ֲ8ACRReE%vfa׊錱@-), 04>B10Y,֦x憚gZX6sRgɢRڶT@o)]@zƕEpY3)S\:_?.4uV4 7s$ZD}B&~ׁ)oO%?a,C2v[uQOQS2/= yUm~ԢPJ)LQUҋ.dHzYI@V&hL9ifXifLPꤖWYrOǦTYE;L bWbN/ssTb^T*8!EYHa1Ă`7i}M8{BNi\TP;ˤP3a{x,{=q-gxp aiېj"|/OyW֣0Խ-TOhms׌,2I8Qdu.>Jr/KAͶz_YX:2&wcPۍbp >($l{{FV=a>`Kϔd<p=d+ %}1xoר2d:D˱xZ)pIsգ*5fg&6q/vKQp蔉ַ6OYa] Kh+\'~"n!+DZ**GK p})*NwTv 9 zyMWZS[H=  6wmEfB{TLno ~&JWJ2;`MӱcBqW&AH^K=6[qjp8ҁjѧ|5&0xjyFsXA0YY㋃iʀ鲑[&% fK$ .:DkCΘmޛQ'Jֵ..bӓ!4~q۱nG!|ͿbgtsM*i^?,cJ)n].k3F#߇lj(֌Zb0,gS8Yt}JҶQ""c[tIΊYH;]$m#wq,ptIfeg NjWhb cJ_ܴT}H; }*#Z\uSE+!B{tʄ? C Jx3h̴@۵s yY׆gxٗyrFֻ:);7U_+ wK7&* DZI0u 8Rcnw z+7d֜]fDu()3}Zφ" |:1]V5hڡ nXлvJrnn|J}4jXTw֘[~\xe2(81trj?~}]M l+cƅ8W, - YC'^}y|l('98o0Ä3rU،FQ f3`t9uw'm\'Q2P2HlEvfw":c^L|Qsr"+ރa'BH$Q~0H'7CC=SV.|!_5W-/jAr%(D%":wEs[= U[ ii(Z?~{l{DCY7HMp9' I JyڱNu?Fy3FWLAvV{fEtg)Woa˻ت ‡2Qpdn8Mr̜~3֓]&Fȟzr~,`y1yՃJU'R5^60*Э\KL-}xLΫ9(/ C&bճ`{*jv F3VG0K܊ efBc/C"MA^Oz |vЯG0z%xH7;sbº{F/i1W!M@s{S}k8t&ի\rMheֿpTMeeەg05),U` 7^!xNQ\ @}ݿShpIrhs! ^^mϵj4j)+YE~}2 R^}R|tJJ8kޝdo'g?m=ÆR eDj;ђ"8|ΛoW&M٫ހ&OuB,7a9_]7p[6mK$hC(}0XƴpQG_ Pd}UQygQ\P) ?ӏakG0ƺ]|ݫ\]>\t]?lEFf/NC[kOl-ZQK|1>TQdScTj[~%giz4iďO2h5pX8EL׳z9Quwǎf8`&5L7ӣYw;W״T(2܈ dʷW#5_kҨP~{#HgK+sS:>J:)L ==@/t/5cCtS=rSf€w ӯڌB|1֯.<`;msV5FۧvP=f | ,6L#6 )!ZB6Z~LՉ=IZ GX!fJ6!Dt c|j:rBϤ A5:ek>*1ȲrXc3\wg^Y ?͟#ahaC$s$IT 9NY`5!f|fX_pzq z y?g0#FC! z)ə:n9R~}Ցa8W$W!6,[XS5ILM *&k17\4ҋ$s8J:xm7vw7n_T/鶲:#I287"id wN8 Vn54 bH%?^9/njpW5l*eKP43 h~<~~wUs; qH]g!sƀ{˲ pĮH:FuQT{ @&ad͘:0[6[dJEi<¶'ߔ OcQR&ŀfB"|[{,2lu~xDy x(^ 6|TYMSH8HQ[1 @0U Y*FOa[l .x} C@KRZ;Rt32!qi?>xA-D;ͩ E!"CA,\F r]ϺFϩ=1<0qY:HrD`.<6LXb` }eڻ H;%倢q 1 CrsA.Yfĕb(wxjp3}`' Mr+0{фѴ0v͙6 ;iK%]Om7'ч^Ɩ: ;K{p3;qs@W`$\Wo] KnˇLțaqgK}dH/Hv1DB-*rɠ5DۚHI3݁3`jɩqܶ??1jIn,@XzwKO9EG6{ɞ.K}@ mpr̈+=Lk/p}a7пݷZӨ?l.&_[yfA*ő0^0wsR~ꀳ蕎[-vVlEPZZ[.)MˋD۠BQVh)Dy#ѥ7Nc4=z=aF bfcVśx40UP{_A꿠Pr ~ok6~>XzuXô,FgGĠёk!VV}7Pܐ ÿ sO&L Ϧ߀Jg9i0`L.ObזN#ѺˋkuoT < )Gy`< s.]g{0K %VGz-kShCoqHP㥈r?q3Y1ҍ!hO^ƍMF}?JohMjn' >1'܉##G_,%b 3]L?8c,3a\u(P!\vCw 6mm /U/\6V2a̸_8WBd$Krp_O[=[-+LbJݮrְS9҈TeJ-(x%҂+\5 d;kﱊEq󿁇XXBpk=Jl7nK}-m&fm3TVK"$WXp"o!sE8w{[w6oϖ?uUB7;>4ȩp!S9w#[== 2Թ]8ӎ6%6 Vyhf6gYZ GG&# A# lHOLCF-exHOLCF-ex.Concurrency_MonadPIDE/markup7zXZִF! ?=.] !M젗OFK? Oȫ7$ F#aשw9k'ɵOrD73KdjUhnU EOJz`xm&U­Vv .E] 2D2q,-M*OUB׭6vU_LwFOlձ":C)%+5ȷ:Nʼy*󈈷缱 d^EJSu8qFW)FK~]uqxg]o' V7o;, 6GY_`qbԄkb׻b '? d 6Xf `}tKl{b) 3țKD_y]Maj1<6.l&|_Dl,.7 ],PKT& ՚YĈ$NyHGB#Tm6?1 {䧒0e` F8l̕ J!|!z)c\s/^\eQ?ZY˜\L?J.D\'"jdqcMUmwӃcK̞1%xg* [Ōpy(l4 {<@ 7#V(CPqmKzFk} {)o)#*!7R^3`pwI&OȔY` &(0@ l}4\ /!rjS~8N %ҙԴ {K[ƩfI LˬWa-{C6?BW&ܾoP9*P낍n q뮢pqeb-n49L&x? Oªԛ>^br(=KEO(F:܂8e3h9a~ϧg(m Mp.NFr4gYrk*?~s EUrHLu( uB}]ΛnۭoFkRw%U[ 71bUi"%<.;Wc|m=$ҩo:eV0|9,ݰކvkD:y$+|̰bWRtdW\˫DpXܵK)хrۓ^Q,9.DdIT{ׁ?Y.Y!NܣC_IpBFfKu;n$:/J v̻9ǪlH{caU+:yy! #kŭDQ. |Sy%+R`LSA'{׼Sgl(h @LV |Y23=*d|7 Ö̀- GƲ+l8n`X_wC|rNěH5)@#$'<*ScqglZ!QSs1 ݫ!.q,ٖ2_Y{!Hm#$+^cǯH;5Gh?uCQ[.nVAct/$VO/̌8PBv=5o1Sś Ɋ]$I75}*$Jw`0aX8G2Xmd~^I5Eh L0%)Q`D%"Ez4S@5NIF hD|Pi 0X@W$]R`=|[`+dJ ܰl<)x3lN 4#UGyJ%fzwTԩ Lc'3!WƮ 9@`㛹NڕTkok7T!qj.8AayƑAdA{m 1X6]I,%3uق¯(yԕq+\T֝@2X(C|FG'Mgy b`g. (K\aZļ1b2'm@T>yx#Ʒ̕ٹ8i"@w[X;PQ*9DnΕZv;f^ej6-dDi@- }g#">ʖA0ү쏈'%s=Ȋ9EڞW+ tI/':ZUD6k/W~ Un<$OSw2̌p;u8nG--yMcZ7 ĝDa8\JS} T늛4ot%k &)鼴t4CqvK&vրSԙ<* K4to^iYn10PEe&(x\qҐXW&SH,B'BK=@F2WnyYǓ Nmɏjmbz = ~h8<'x!DZ0Jo U3?5x7/gIn9֙|9Έ/_>EsV "gFg-w9kIoMM8r{u[!@rb6HiZ@bN)g+>ef8T T =(X :Kfk,:6]պ7JD)_!㍨;}4|6[(Ӳ4`bA5,,_4WBGFYqj|V@sG ]Ma/@`OEA}9X/smhV!BAl&@PmRDL@|n b&] k;ή0G-&5>ek[3.~&S>+)ZN"Wa<#wp2 ]~Zf0̟:WP2Y~g N |A*qfY{6@Ypc#VӛQIY谬; ǎa7xST1 ffС )!>3ϱ.M2@ c,<|^e<9ɭXM4N^;FoiLK1'eMҟ򗧥oGK6[_{SqAK8g2n%ݞuܥ4ϧ<&5d{JhEZV}Y7>voϊ}XGT; _L~rݚL=7WͱnUXB?de,e6+^&bLPtՌ=Sjm~lQ5Q/‡&D#oM5WI?–u 9<=vmCmoH*VK 2i$,eȻR i#ş9,Ue˾wf Ee10KPwVSj[Uwtښg{GNz J Br]+HA|&[?nY\7Z.,K>-z|jsźoqĽU' K܀^qE\v|B&R)KveEcOjPb~(AS=B}ۿ?QPVp =DJM\;ÒSF%m# ͒Q8q&eSc\ȣ8X\C׮ @X 2.Mu+aDŽ73V N51C}ږ[:MFJ3WAڕgFS#yB^`XMD] Uz[oT,/:Dy<՘ݰb퉘ۛ%vJg U*N0z<δdUz֘@0< <,A =SR5}FtÅz)|fO-bx}qзBYY*E}x`Zw蛃!xDFVS.:8l/.x]UYW'sC'}xwcŠi 9;ƈvxw 8"c<3iTtTKGԠȮV̞FdֶjIg#3]ϓ:vbW.K#d-s%Rb (=X?ahȀ"S= v 6oOHU#HBסm9 2L9 ]ؐ՛(S'^eWoj@E;X(5LChl{ .[1N\$ (0lMgZn&3W<=4h´36u};I{Q&EmZQ7Iw8O~c/ߤY8̬Z0x­kI74=/Ț\}/?_U聰ZL&`2yRMzz/\W-*E/71+A1V5ְ€ 2[~}cp,93:5xLύJP-;b "LYʗڈrx{C'C u\=-eUw/ۮ^c1gQvh!t%dK$ Aen{ R˩E{K-=Vs}QL YiO,w}bDZJmrf9Vgu}8XItD'`hq ±{RWa[.Ms^(hJW(UOr0}$ѷKN=!L|7[oΫにA6~c-v!g'l] g a&XduN\ZWuBfTOL<#DMZPZg.& z0M꼐T+|NEN}=7ck;[dm )Lڥ|z2-PgYZ(3xa&3-G/ Mƕ6BuI8t{H~%)_X"iI_ kEC/j12߈gWM>q&B[@)Y 2zk`bsk]g>Zhq3=k|L|%"R&muIp'/=:c.D=ןr N aJt ӫ=(nG>MbڛtSe6A(rs˦&ars{Ԑ g﷈51ZqMAdZ &O̎ R+ nd#ܣJ@TMsmnP>4htE‡*{HRxōB-W_7|ZE6z=cfX 8CsXi}UKGD*Q?L"I _#} figi9ֶrylпbժ~H3F$@3fKg_UѺVO`@Rhy<.,q\S8Y~2f WB0@!udͯۜ¥8lm*pe z(Lln!3/gwCXC#=gu@aۯT /HdX&0ܺ%܉ϯ!{觑*>'ٵWpc>%jYݍpEkv@U3lEOAy,X^.' "9 a5phzfvj5ϼױdH~Qif}5fk{?M(EQKHۓY{>+q뗡`LMkx|=U%QAϞFP# X]k䟣 rR3~G#ⲟ݉; Vzq"0VxPiQ6jWja &til,5 {LX(8+1gLvEjfۢ\O5 xu Q M .˵̬fR?+4IhQb Nүt9?s'"dS*m{#1DOx"3--<> \eH( юNJ2J_\O8OM s;@uiSAͤk:^޾xז:?0MkUiSr42Һ(|uul%r!OdgЇ6oj3T<@8i WkҞ~Nyy1sתYns^ߓŖsV3:ɖa#٫ |nCt?#죇 ?((ءaQ>LȘׅ89~T̨v:%>f䑔D}!s8d0۴˧kbEۤRHEO }+UpN!r ^cg+PukM G}|=.u\/R( 49m/ZSy]f!zE}O`gW2pȌ ֧Q4OC!W"9( A;.4OMNe,E;HEhLR^ ºt@NH{d2ME@DXa*CAsx^^Ya)`I܄g6w!;cy 23]iPg1\jc0hPU|eΤѹg)U@%kq$j>}D(z][{N}0o*|e(I&;&^oD2ӾJ|ѨKqwMƁU"@m^ Х>NR1gC}G*ijK#.~Hc8QhAo@!pd=^U/s? b؊>dj(48= Y}qc1B ٟ*/x_SQ#կ! &g=PUgĦc~Iﱏ_d KB kFh۔!'gz#n 0\q>M3^r[dN:5lCL( Et0&15# Pr2OZy'.~|PE GGiT6@*q4p-4(:h&k:RsgBx*(\!Ɲ7U"!X|pU;Uc5 =TaS"B=== rH^6c6qbW?_[͹g}oZ㼯㮡{7Q]sG? q '*pDͬ1/r Fp;!U3q16_$a\0cjü~gohӃՐJ V+~xnϊ ,TٜxS͏n+`?$TCs&"L=t0W;#@邃D k-rre{Q,xEWi^ V՜AxfoТQO3h\3^2"f7,p.o}Ƥ5}xE "Fb,o7.kdO7締f[4(ٛ]:ӫY;A (T%7"~sz6#ʀ`cVߖDrG*PR;<ɤЎ40e5U7 C<|1?i6qǭ|H`{w)hbm,/Y纣!Vj[)$.NO.t|lÀ!X \?J[EnsrRf0hw=P:Yfiݛ4,Ծaº_aw97fHbdoǔt^CnτUzz&)'fSgcNB^|Qc|,pFY²2 ;B'uk{8IXlvOd$'',,(܊))y}~)g%O˝9ΜF}rr.|]3-vȐoW o)>t'[))I50^?oZ\Zi&)T*< BQLz 輦0 i5L50h'o?(x_{Rj!LMi'D4}KvLۦ bpc-XCvp[iDu3՚aS6#|18 3y4o!=ax5foh+tj?vy-6Jb@59at:JԖgghONtUGnZ'\2_ZjLoFQu[7)ҷh=|G!)4Tg+[DJS~N0TPa6iIq-JZ));{1Z d?xC\m9m,0{w8٬n?G|bv:"$veT V5mN]c_r0XŬo`vʗ莠x<7!|r3LˊK]qSRUgc'vZ9~Ղ#c 7Y$| jc\P^x,lv<7GR8Ctu(@kGޭlQЪ5 Qo4"J7|Oᾯ;Fۂ,eCw%:5P&f_:g7 }>l3w,~!{[>Teg`]84?E\Z*jVvxG:UddZMqXְx=py K`"X@cՋڰُt@ m<_&Ty]cB?_e9? 6( z%#u랉c*X홉j2$twBԏ1-v՗=VWW/A蘈5 b[i"FQJ+_ђ0JpY:UQ4N\diUGQ‡؇:71DJ[Q=IjXz{t%gX]Wdj%a#g]4͑q&pš\WEi/VRw$3O2uM9rއs`ZX9@d9FD஋e$bmgb,>yVﭗd^o!FMG?[b-ad~R>ؔCn'1Q3q z34mDN_;,<ΝʋXL:AP0>(ً8 ٔG 5v,an'Au26TCL?m<2X^?W#=\Oqruh#k=rkvGNJTLY0KQ#Y*xǂMCTCqьc@*{4S+z -i%ZY<riéDrĹ+_cxpq> Qk/[A~et}i8/KIoeT>YŻ.5rBxOFGvb/}k>\&1٣엾zXxQZFT2'-϶SB]MALi7xb|Y**1癤+ vKVyc/`}γ¯=z+6#^l&ܕHּ,0?}kfDd os,ؽҔq{)Iy=AҼ6<1pj?v~BCwܭw{ΠzDb[46bGaO z`ՉnZ@X\+ MЏw󔧘xx8 l¨`7(ְYbx"E})ָbU'__G,GcԊ0 D~7U;)Mq&%쟔=LbExVeLK:K l@gP ś0ek_]d}:\t T4Tth!g "rī:㞮6a(668 aÙꮻ7_p3(~ŧBl}L}&.q5fNۃ|x<ͣvշ[P$ryHUZ'ɖnֹ E> t\8Vէb:vX`tnJ-^Q\r?Y"x}2ȾޱU@4h]-"Y@I%{_]ZߴR}Cu/|Z}kJIWyheݙWEӃUM+P8}XPt`;*MXε vsyi+}xj@h=U3WZ'a?:ׂHOhb1~I!9|6ލQ*^-Mb=dh>V؄;i2]/oC@^)KK]nynS`ReU)ͩkQ.7KUHŸ!JT=I!d21&V0._X c$v8*W=г)$V/GqXjsN,߽2YMBHw)Vޏ'eN&qlfuwJ?LZhPakXd\(2;W*ȟ1lJfkE&,(#Z7]2of^͂Tqֱ.߾a[spq;i 窌~TV]E4n /ϥl;\( ~'h/[52d S%˿|2c,A[F,ӝmpt] UT,/B!T}c.jWH"*AݢʥI^[9K֌o(Wq6~}]{A?: /Z"uZk5OQ.j zrff⫛|rgta[;̓OJFyES.47ře2$O^ƝՌGd( KʵCal\2/6dL͙!'T.dhcag=T4jC l[CiBj0F-ܾSR YKEah XOQnVSxa,,;FNou㪢In3x1a|hwvSIbl߂2i X8S(B$ p,3=Ζkf߁= 8=5yhW^i0 F2a5SwQ{(RehDҕ[Rtkae\)Zg濄6g,X(ywAcʇj 0RipοVp`yJ>TG V)lF5 <`U]UxyivT.aӣ)s3 N.V{mS!Èҟ2krb8bgM!)s>ͩ&]M^&qjc =] ۯs3(p^ =*}@˵VѾɫf/6 qJf˂hNNR &1) 2#f-^\9%R._,i{`udo[^M8v(]~IGT" E~US<#Ul`9F׫*( t{ ._\mH88|Z:PÓ?~BxLtW}ZrWVX3.Ą0v5ڥo8Zpf}9я~N7\nSH1G̨rj?,Gq$fCj:6ڵG0o-(0e){&: h-mmL|W9,e\YH%HO*'!6q|fquajfDjK$Y-י]\bKH}3{sI}K:2i}FhGM9VW 1Ë$Aj\#HƲgMz.__Lh-gOpt դQ/WPs6&( X-igp/yQszkwfq rxl [&A2LTe=# F0 Xƌ~@ s .p Ac\mtL=˙zA:YC1!A*| "pLS0V*.ؘBRplKRՐ0&)WB>uu0ljsƻᝦm6,f}gIùzBRfr&Wc&=B]@kYj$\)JbX"> #|nqg75epKWf] ,r),\:W`9lșZ*]d2Ѥ>&ܗ# sԌ=Fsn#)V2O\ڕo% E҄ApМ;B1U;($wۭt+*gj2Yh&kq&>B#{A7V5(z3b iu\[Ϲ3( N71gI0CQzK ץ =Oh֗I)}A:\3"x`F"},+TM:H U\Z6ms 0K.P9Ma ʧiЃ&,Λ < 8-"Dʘl4s x!u"|V?vn;r4!Ӟ%7kP2vuLgcIDM)q|eGP q~Y ^7A7I2>;Ny1.UL{HnY?40chiqVa,˃ătO(%JL6- JMSYq葪tk?3vuFOoa:g}K:L{an7k]@Xq5_L=d R׍3}^z25 ›.YNEe aJrj'epI7xElڨ˃p=Y(Fc/OX,15sqCwZoy%+T̰b|/CuwuvG;jPMJOI3wPU? .ENr6|gIqp!MNfz$s> WUP_/Qr1 ŠȪ>fXWv_І#L:Om/UtVX1Vpqᐈ֓$݇a{\o/e}_Q|0=zͽ'Y2Wl*$ęT^͟۷\ wWd ~6AI&|0d"PJ\< +F4%yNal-[(Aߗ&FWAs}.I␶m22D d!Y gm8I5i֪-{WGju}0b-#]5Cnx'TU\M(u!f*2<0~Ŏq?sL i*P*=WcS))} Em4ϿIȌ^2.Qzmd6+]Ia}T;JvNQM5&X-@, rHALQ&y &m-N d>LZU(Ś83Yܜ !Jn ]Q$)tIؗ{e +VXyd#ܓ~!7]\~?>Ipr՛9^9 )8ϟOE"GEРi#9lh~R8b,y]nq\Տ)!yu|$S>Q+ 3%dklfAprWPŘ QedjӚރ\pz4V}ܨҒW.v!9%P^6ujGc*m: ĜYQ|+֥Ќ_=kJw$ 9a`@ *Os^ɾ!J ϒ$ةJRd@!$zrPHc?Y1wX'iXAU#z>أx#9u㊆%ΝV6O B Y3*`-,t } @a@̗ؓZkqZ1 8QBz5z?2,7.H[6ϓR@%0O=i'1;tMg1A( LZb0Yy]E>)d ]qVR;$q_^tMv|Bop/uJTt[h5QHЊBc|CNQKJCI}Ƒ4sxZUR5O;SZn, |MK!>z,moA q9F+SM +YM pgN%MQ+ƪ%fyw̘&>-O$_Wߡ2`ҨQ{I`"qC$BzLƣ2gYZ n* 9# HOLCF-exHOLCF-ex.Domain_ProofsPIDE/markup7zXZִF! 1<] !M젗OFK? Oȫ7$ćP?tv!AYIdʙUW;-_v;J>|b&0`VXqWݹǃą17T88F/4?$sP[67f;<5O >O Pf)v=Ml6e>lj})aP #Kv9@CWDυcer ~ݹnX? dءTw/tG#W1ʔ ٮ܅a"Av${A,/Xzc$xxJ٧Tvɏ/ k_Iª~Vfy*?QJ \-Ҭ%,i@ _rDK.54UC pwM3KcakF)BM< Z\K˕`=2ԦoupEwGb8Z} -?pL#%DP˿nSp4'&N 6 JVNY31/}QX=UsK4-DT0/+> +Y,[ |x,~fz%4[ib٢.L~9#&;)) զ3s.}3KXIrrte`-²iՋ *$+ ~ l#}Y4uK 7՝r[pJue7b9;\ԮQY(ơsɹx"pBU^/dZiҜ&3DoTHEx2*Fۦ -d2Yv+-Bʂ"Uh deok+X L ;lCm"A B*/?4( *ER#4ʮ{O azq.%? #@gC'VhZ9ۨ j&2ʘ.4@o_j|/D*BN#O K´]+8RY_= R0T ;7\F 6 fmo@jw ;A!k)Lߍ)2v_kJ4Anst_1rmR9eF: BI] 1FO9ᢊƢagZ@Y!C9E s wiwym\CAtIY/7!+bY=wT}KV$8S<DŽ']5\H"ڏ"k"kr֚p߾ awWzj?H'~jz|Fb9*fwԈbp 1]%iCSn[ܡ7oRHZ. /ҋ b @@M>gBpZ+$W_1f ?S bF%6ުyoAȎt}W:m.0b>JRI!jr= _BFơ I=|<njw٭ h  #1%ݳ!$3X6VecqCSl0JM!ef+E EK!X2K,je JjSH迒r`7kV`^{dVU#EeS(߯P-tA uӠ[S V+C|z<_> 0> ޑ=i^HwѸ)!@:GDaңtER>xX嘶u!;oKwLKJ347;~T$X{bd`"+qh4N!ru+s1; *$Pp0^+0F̣MڣVix..a@(b1뫘d΀lW⯚mqD=Ht8lI}ô߹)'o@IQC)GϝbLRkg L؞q?B%#b`[a.gd;f=>ك´+<{Ӻ)HgQbN[فV &F)p<8RAQ3YYb짹"1$6t.U Cn;B&7lyXk9Ls ›PñƑ-tQc?a{E[n?xJ<:vH?/Yʹ+a|LJCm mK٢wm0t8WZz؛`L3d2d:`ѷᔑWR*%N ޢjM/W'Gp)۽5hj!D6nм}(-sMLM#(.iH:@ů7nƮ\XJt|V#:n<VFi"/(;ȠQrb>&y $ּD$4/S̀]D"&B)r&ك|Zpvvps~*r/C 1`9b0QМD1Cg'6$Q3 $sti &E,OH$~1 gw`Մepg||IKUo$B {E^ȹ2 NCʁ[r} ǟ'{ܩ`~R$k 0-No7@Rdmɑ /ͷM|;Eǧn]'k,g,fϩU%NZ hݜEԡ}}}66-jWW-24kGw1'  r 7 [*B1'!DHOLCF-exHOLCF-ex.LoopPIDE/files~~/src/HOL/HOLCF/ex/Loop.thy/0'-HOLCF-exHOLCF-ex.LoopPIDE/document_id354`/;' dHOLCF-exHOLCF-ex.Powerdomain_exPIDE/messages7zXZִF! W]·Iq n[:|&[z7'3BQJP$T;3[j`v÷Z w;t(GH'KZnTUS.?M&] !M젗OFK? Oȫ7$#~&,E~fOrsRb#<@gi.Of?".sO?ɗ Ȣ#{{ /i/M+B|*P=)}VKql督g,eoK\ fkU3W&4AUnS7`w9{db`C?aSAsr_ e#%'ub0&*kϺᩐInೊ. B#KBM1Sn›^`{:XAΌ3xU6vEX$˟1B4Y7&͡NQdtXWc1--3˅xM Nq 82YDA't{4vSu툳5Gb\M[i p?#_UYMUq>J n3y]Sp9(Ie1ʿSSa ,K7}c+Tg~>cU2L n,m#EO{t]+ z173X\V2NHK YI2<ҽ!v4uIBje, If&boA8lZ0T[>MwTG3~ HNWc:*,p4 t>D)Z j?4&wX3b;&Ƿ5xizMT G.34= %JWXp({URQx Ff>L̟ni7/z9&8j@񯚠|=5ɼI(#@|L]7ئ}~jrӃXU BqZ͐!ikbU~쫌Ӻ/A DP1#Ѝ}CY~XF}n$7ŋ?N{Ϲ|LON}&}mac Τg?*O4TOkAچk`|*%yBeޣ'##MM'_@6͟;N#+If0 GWr]a-* g| 01mo#gB-ճЇn!=>.'7|A$й `xSz#fB+kBT!rsHyՌ=n!̹'?aG;0,A/7 r a2~qU'=~t~>@@ϲDTlQ>S'AItqHHroca}Ń: ƃZ>hd7չg[ExtӣR=x3A׭6;0]P$K͑/p94C_=;ܲԍQ/E8,8:ANgu^qĺ\8miD4BԾMqpi]&ԮQ9MA,gYZXlR ǖ'1rhͰu{}57M(j9Nݮn.)5q YB.2,9%Bx[/W#8-'VwsI]F> gl &Ē[rꟘg}g@s(L^؛ 8IV)JKG=Dn 3DJ|H͙9lD >f2ՔANkWɍQ4gSCnuf-Qc?,Щq-(ȯma Q+Xa.~Mj wUĬeIy =.4qXnaFקH 6wJ W-Pi;/i&ape@!q;(O^]cNkx2އi ȚtJObs *aGeL_$82ۤ)̊YpJM'u,-ƕaaVEQx+{$࡯Ѭi5nNvl# ~Ŗ=,ElH{pX%Ks?QRR~+l5  &8 fnfW ͮd`_Qae᧘:zzf#A96+p屣/O&׋`St5˟J=XlICf4$]hF@x[+0Jp WqzI{LQj7]ŶPZ@`a"(Q 39ݚ"ĶX)qV=uaCGrESBϓaЩ=3j@ݞzL*Rkyl$]a؂~'5 ^iǩz7Ye:򫆵ݚɬ&?|_hz<](qb( WBPR𮔂er``WߒZ' 7>™3%% +:QqOX,fYe">Gdd#>5cos?;Yv6 !_,+8v;Sβ!Gmh3HiԞI>w7dMa//PjpdO7B$x,Ś{TlU +9ڊҬ yݗL3P4I߫{8qgzs׾Oh 8oJ\ @r־P~jJAB@v1G8c&>RXdDd6: -=(`1RaZyT:#*{J}VXX҉_OgQUmϊAlLpMz\,:gbxЅ'n,1L'5 JUv dh\Խuts<=(6niaNI{kWƧ9ሖdtT-fa]>h^Ϟ\[yվ7vAeD,feϲ&O?,`*feOTrC^ "T63řfoHkDMt6?=?IG a4?uaoZYrkZ{BN87! O/a~kf Y4%ޜq4I?/-&RBQc}TSWzE!w ]b9=+)u /,0o7=FVP@j-yCڰh 8aADlquK4*۟޷Ǵ,r`\M 9Erdˇ `$RmC;֎%E ´A YA̻2zO]f櫍;ekBƕd!C7UnjRqab:xT˒sBJjK:4^LL*D%kѤa% Ev0u.$q)!K^l}S66%M˄_a]b׍oq eW$+ص.Ra&ʐӏ `DNf۹V%Fx g[/m4?pb-a&t*m3' ;ԗ>+nddz'fꚫfR2E?9'O!HZ0cr`Ű DHEGj*Mcm%=P6GHIoՌ1X$xӛo ]ΖWe?J oKЬGBem1EG䂑r]LkIPrdg'o+E5ޥ0-%Nq 禛b.@3%eޯ;ؑ uvvC].# /  )u7F5D~AVjξ0 K53Ʒ[m$ crʎ/WAs#1eo.b7f>F`wkӑ%cTˡNo̸F޶9E}mD<@]ȃ͘YoGRk Q-G/Gc]ǭz_|~ dbt[|:(Dޮeʬ:ƹUxu:Ko@l6qaLsmz{iKILaf&gw\ΐ cWMA@E^_yɖ Ʋ8hAd 7CB*{> xkU*϶܂ULЅxRY,N^t½bĹ=בDc/f#d`B!N 0?Z<Q0 CN.Uh#900h3COEJ"bO-ڕU-Q.&R qeG ";PʗPTӾ^ A4ivs 5tkV tjA=ʈ1;@h4w~ZAI3Uo#s}:-tvEg?KPˡP{nnI4oHk %8,]g:D2\P3NFNbl&GF*(Q\{twu0Wr)N`|7Ul%lK7l"GA9&w鰷(`˖ K넕;FФF{/WO(Sg/Xr;Z,vBV)`#ʺ;V!?r`]E MTA"tvs6}7|lkP;4#mJYY@N:.a`GJr\U)E>ݽ2wG9Iz`hhpR#ɝ%17Mq)y R3 2e{Je^3a؈ÔBu81L!Zn'JljBltu+&HHq8w, taia5Ѵ51 /B{#{٨QJqK斚NfAWlB:\G[yS5b3c(YO`Ԩ~eo>>G,hdt{y&n`{NPStC83&:^xkB9zW2Lz-IYjt\+xu]U,;I<-ېPY.Qino(N׬PF.CE]dUqu e KԹիНWhΆ[G4-bne 4o\(KB2%ʫsz[} BF1lBҼog<ú45ۋ=Q+Y{Tk.t,]NH&Z!J(m͸(Tfy?3xKNHZMxgIt\FU7\<1LNRK), ^U<>fykIp*Och||֧Ppl ˔͞ J8I[,Q/up2ili"#:4&Y5"dP':)e8QڡAo;sϕ-M@K0c#!W;jްg"'vq3{5^t^dto+$=cNN\~MRfٛwa"Eota 3tD"PY"uC5!gE*tܔ6 a;r/jhAͲ|n@ϣZy5q/ }Jxc7mJH }xlB-Rq=IO[x0h5{m&=ɜscN?(?JTcIiaVZvZi@Sk_m<ǣVo( K`[DjqGzKZG,cXaԈ[#=GWpaHrIr7U<ڷ6/"0*zBe'D~#$-RuSR}#T ϲffLzGrjȻt%&`']qVo7 "YZ#ɕr~Ad-%emTEz 0όI `WLc %= dC%{aeЫ8U6nv!cыTF[F!?"໡{fhdϩaӺE麪.ʱ -vͱMae~QHtt$ljfvzVewJ^#m@͕֡_{\0@F 5UNxL7Oܵ3u6cX9E.0FS{>"xya h(εrȻ xUɵ0+iID'kenyv7K!֫nafȀ&'1~C't쩵'p_ .eN+Z<i.- bLr#k//AWQE݇E*$8 1jc n# lv|/EAʘj8WGn~zO&zתQNvP:1YKи, GzZM͜<Il꬧yb1NeS ՌUE MZf}؈[v#էzM8+>GkĈ)Cmg!9=|S+r.0S&xf O=yjxv[?A&'F^;si3X [&?- vqedz(I]!֙np썋2`KA൤c!cEՁEGB-l96 45GMUV Wmx" HZ"J lGԱ;1;߫S[X Zhcyz'|vQdŒW뉻,1͏X?!n-g f"̕WdؼiBg ${1Ȥ@8IWwܚYkwX"m/-N`heK_-W%'2şhSXpIoŅoGr6lgK#ưFcf4 VcrBqBP AM)m%oHJ^if߀b}^# ~*C~ckD=U(U4a[zęr)}?ߎHA1xlM y߈Mp1 ֫'u".=_D'; "{|Ǒn${OAؐ2M@ wT&PPN'3 AlLpLl-zc4cA1 \|l,{1зl[1{M9bPxxrډz ߱3)h7mrrfzD,#.J&Dʡ^٦sNG P[JYvqsa1X6' WhyR&M@yu":I)plg*5-4̴^7}__%%Gj CvIW?qgvuGZ"5h.{0׼kƽ'0yϫv1G _BeU~$E>-Je@J/_^lٓ)c]co;R?O.6U mCGW!Nq*3[A̛m\~Ո-g~ǛISx'+ח]6j{Ub,ĈڢA40DC[49OAGy "wbk v]j:#^rDcĤxwΙz 2OGǶn]2n=;Eućvg ݍrS@=5ۧ׬.7_n* 1 D?~ ykGE5'G8s8F9#bpHy4ӗ\ ubܝ|>2_g-*>kTKK>|9ݛpe%^jiȭzm#pQA,*Ĝ3\@qveBsՄ`jꦷ?SK x\"Nʅsb>*M0Z՝WDfEyLL2b]RQwLhM s]Rѕ 4\.4Y6ha9$ciZQ:L֓u =]8 B XQb %oʶv @!Sּ_ʟ\V ' ,7>޻6p9|19gp`;$GU nәhR%v wz>`߷d%2۟;De2'MK%'dvw \QȐK C)t-