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 Trt | ] IOA:threads=6elapsed=7.602cpu=33.956gc=1.6527zXZִF! 3]ŗXiɟLe5u%\ 6+4)^zs?K>>@ki)AԀ(m7msжjzrOڻrJ^)2P)%C U5({|sACw6Ǥh!؎F֓QT kLq^XqW +Y;eX,rNVnFG>zP$Z_ c%W9laÝn*f[_iSی'ߦ>^{^aAf6P "yqx\L! 9L`Y<&Oi7w""1 RQw~6{1rC%7R;\y_b(_1΃(vQB ^[X)ִLw=AZ|գϖX[j[ߞLD|h (=|F6E`dn]Ӊ 1UHޢ"`I%*:67Nl\Wmrsnڟs :vɞ|'q3O˖)<rU>+3bg<@4O$COԼۄs g:}`#:vDujK5D|7E)H KUTjVX9aMuS4PƪXnk@$@&KUb  k &Yt.b_˕i7WׇJqzMv *zdkJbwu^+qݔhk?1imU'4xufy`BYq)ʾG_oJluLɁPoSt{# V áɨnA'a9@dT]cԽG2*Ʒ/S!9ţ췈nIB[$06yeOgі PAy3Q]x1Bd]2MOB&p:fuQ,%5  . ARɮs+h0&V$6EG/ ,8DBH{MpHfώ8OWQwyΟ)^-FLTۭS0j>stWTDoGT8c243pW۟h*{3bM\w<d ۵J)CګBuVdf%}="gZ!mKD"x`-۪+ YztgYZ6eff7270bd76135519772dafd80e0dcde74ff8af869a160751489e38d92bc488b6a9dcc699746e87 eed706cf54cafa0d15cd7db269fa6af1ae023fe6 a9ffcdec666341ebf4c438c1e72114723ebd63b9  IOAoZ~ytoX!3 lIOAIOA.Tracesdocument/Traces.tex7zXZִF! ]A-MՋhvG"uIBm5r _>g_^FuDzc1!{jљ=@n"oE~S>B-:qd[nh_w+ds,1k qcq=**` <Iz8nʅ|Sp<@SLϋ+|,|"$dYKv4M%~ė> , PXfCgPCzK49Av=,ԗmr./GK*@νK8HW c{tuNJ}' (XC"11T'DKS"xxTK2y V@tEχ r`])ٵÜZYuUk& -IIy,a&~(B7`y}. nXz^lՒx~TMS4ޟjVCdU Dw@F@`Bu!#Ϧ͹@ǾefŠ#iߑLvYY}1gZ%9E' >dGVy/eވ!JLY>4- )X@^U@A|2/EzAwRr,Z8D}]E0G]hv\ի.߱y*m{hhxiu Uc$ڨ,ʨ쟽iG. v+= IOAIOA.Abstractiondocument/Abstraction.tex7zXZִF! G]A-MՋhvG"uIBm5y/C*#$Jձ,hgD{%e%36YֶiN2HPlYƪB$.#v1Ȃ.JQvs[ηHPu+vԝgT=(e{|CŞW(]h*sAoi?bDHEZYśp2ƈ}yT SOӷKZbUҜ[rtJYX4TeoճnU:rUHwLf)krB%D^oH(c%3RٔwǗ-P;_ O;@Eb=2w~^1_11[kO6JV]`r~6,Djr+ ''[mI,Wau;]c;Vr`gH-'?36(NgTsX?zLrg+ %-2IKۚ aՕYL;b cBn&"\;r Kx =WϤD?׷ `Rhq~Z>*JVaZ#ب?HdFDOp8C*݀'8S>g{bu2VeNbb yOkă:5Yt *]baoarQ2ð3 DwG U HuCop'gcv[픒;dznр )cpn ֔ι[dkTg:*0!D<6gHs=z.H/&a}Qsg0>}D)a!v))?pq#X-ćNU.:Yb"wMWkjpjfa xFBG+hM8dg~VYbj =D"sSYy^T7v9j9?R8 Fk_Ւp`,?9Lw>KLNpҝu&SMxL\ tDZI|-Z۽Ei) mZ 4gYaTJesfb}䒑1u '.uS%c{~UkN,-+FGnMai1z;CG,KE au?80#%@ Pw&)ZsqiJ38Bj.|1@63 !p'0%@)ܞzfxoph2Z6U5TYNRLLFDDAC>@;<8812-+)%%#        ^g  zwt f C  b2  N. |` /bB q @ $  Wr h E !_D( P g9N(.  k Q 6 X 7)3'IOAIOA.ShortExecutionsPIDE/messages^'3#IOAIOA.ShortExecutionsPIDE/markup]&3!IOAIOA.ShortExecutionsPIDE/files\,3-IOAIOA.ShortExecutionsPIDE/document_id[ %#IOAIOA.DeadlockPIDE/markupZ%!IOAIOA.DeadlockPIDE/filesY%%-IOAIOA.DeadlockPIDE/document_idX%+'IOAIOA.CompoSchedsPIDE/messagesW#+#IOAIOA.CompoSchedsPIDE/markupV"+!IOAIOA.CompoSchedsPIDE/filesU(+-IOAIOA.CompoSchedsPIDE/document_idT'IOAIOA.SeqPIDE/messagesS#IOAIOA.SeqPIDE/markupR!IOAIOA.SeqPIDE/filesQ -IOAIOA.SeqPIDE/document_idP!#IOAIOA.TracesPIDE/markupO!!IOAIOA.TracesPIDE/filesN#!-IOAIOA.TracesPIDE/document_idM(5#IOAIOA.CompositionalityPIDE/markupL'5!IOAIOA.CompositionalityPIDE/filesK-5-IOAIOA.CompositionalityPIDE/document_idJ#IOAIOA.IOAPIDE/markupI!IOAIOA.IOAPIDE/filesH -IOAIOA.IOAPIDE/document_idG"%'IOAIOA.AutomataPIDE/messagesF %#IOAIOA.AutomataPIDE/markupE%!IOAIOA.AutomataPIDE/filesD%%-IOAIOA.AutomataPIDE/document_idC##IOAIOA.LiveIOAPIDE/markupB#!IOAIOA.LiveIOAPIDE/filesA$#-IOAIOA.LiveIOAPIDE/document_id@#IOAIOA.AsigPIDE/markup?!IOAIOA.AsigPIDE/files>!-IOAIOA.AsigPIDE/document_id=&1#IOAIOA.SimCorrectnessPIDE/markup<%1!IOAIOA.SimCorrectnessPIDE/files;+1-IOAIOA.SimCorrectnessPIDE/document_id:")#IOAIOA.CompoExecsPIDE/markup9!)!IOAIOA.CompoExecsPIDE/files8')-IOAIOA.CompoExecsPIDE/document_id7#+#IOAIOA.SimulationsPIDE/markup6"+!IOAIOA.SimulationsPIDE/files5(+-IOAIOA.SimulationsPIDE/document_id4(1'IOAIOA.RefCorrectnessPIDE/messages3&1#IOAIOA.RefCorrectnessPIDE/markup2%1!IOAIOA.RefCorrectnessPIDE/files1+1-IOAIOA.RefCorrectnessPIDE/document_id0%+'IOAIOA.CompoTracesPIDE/messages/#+#IOAIOA.CompoTracesPIDE/markup."+!IOAIOA.CompoTracesPIDE/files-(+-IOAIOA.CompoTracesPIDE/document_id,"%'IOAIOA.SequencePIDE/messages+ %#IOAIOA.SequencePIDE/markup*%!IOAIOA.SequencePIDE/files)%%-IOAIOA.SequencePIDE/document_id('IOAIOA.TLPIDE/messages'#IOAIOA.TLPIDE/markup&!IOAIOA.TLPIDE/files%-IOAIOA.TLPIDE/document_id$%+'IOAIOA.AbstractionPIDE/messages##+#IOAIOA.AbstractionPIDE/markup""+!IOAIOA.AbstractionPIDE/files!(+-IOAIOA.AbstractionPIDE/document_id #+#IOAIOA.RefMappingsPIDE/markup"+!IOAIOA.RefMappingsPIDE/files(+-IOAIOA.RefMappingsPIDE/document_id'IOAIOA.TLSPIDE/messages#IOAIOA.TLSPIDE/markup!IOAIOA.TLSPIDE/files -IOAIOA.TLSPIDE/document_id#IOAIOA.PredPIDE/markup!IOAIOA.PredPIDE/files!-IOAIOA.PredPIDE/document_id0+=IOAIOA.CompoTracesdocument/CompoTraces.tex*%7IOAIOA.Sequencedocument/Sequence.tex*%7IOAIOA.Deadlockdocument/Deadlock.tex"/IOAIOA.Asigdocument/Asig.tex"/IOAIOA.Preddocument/Pred.tex -IOAIOA.IOAdocument/IOA.tex -IOAIOA.Seqdocument/Seq.tex(#5IOAIOA.LiveIOAdocument/LiveIOA.tex:5GIOAIOA.Compositionalitydocument/Compositionality.tex 0+=IOAIOA.Simulationsdocument/Simulations.tex 0+=IOAIOA.RefMappingsdocument/RefMappings.tex -IOAIOA.TLSdocument/TLS.tex +IOAIOA.TLdocument/TL.tex .);IOAIOA.CompoExecsdocument/CompoExecs.tex61CIOAIOA.SimCorrectnessdocument/SimCorrectness.tex0+=IOAIOA.CompoSchedsdocument/CompoScheds.tex*%7IOAIOA.Automatadocument/Automata.tex83EIOAIOA.ShortExecutionsdocument/ShortExecutions.tex61CIOAIOA.RefCorrectnessdocument/RefCorrectness.tex&!3IOAIOA.Tracesdocument/Traces.tex/+= IOAIOA.Abstractiondocument/Abstraction.tex  t RFbYYKQ3TϩX C :I.@e[&MήSu*J&lLs'8cB 3量J ǁY|2OV.M╉̨P iՌGx 5ú;ia5@8|[&q{8Jϩytw`Ee^"` fHOĔ*Zkuе.jr5iϗ8_WX̼$Т'Vo0E6ul":rA9ratݹᆔR BX܌= ~bJIsJSqЀ۵t8!3m]g":WlMfo"f: h)9a@hex..4_iE X3/%c ~7zڊ=ŗ @^q&T-ռ-봘K m462z>+/FCv?`'f*5oJ9p'"(0Svknn{BH.Bj4ot\wWhYpR7'h>X0iZ;w6JcBQFľS%~&eR9PufRR\tr43gafɞ[;u֜7،:G>.K rJ#JXږpR܎0v |;Wςrʨ jlDZ&ڐ4"UXvPmT.&RL }vlIJ ew0&M2XoD A=X|g1&PA+Q]};B.*0Uռsv'1 cv;ɈK8(scuyL̔Z)l pZ$} FeF1Is9ȋ@#Kٹϖ 9H鄅LTR<;р1(״)I 9Q+VBLe?Mqe̿KʢV$Dl @ ԥ?x$ ^ҸRߒpL7z9zBԄ5dO.*BL d?jm|̷=KHY B+z>ǧ[d2ԁݱ5>t#N4{ZuW=Rk֦vBe&j`ξeDVCw!zhX:T=]J:KʎOE,0v[MOԤmmL| :feLXIj׽=O^ɿ%&w1 Jw=2E~~J f-Tr_K0q,z OBW":L8ЅlǏ ?S[j>}Vl,GN޹E%hE)!Ŏx[1 EL/㒠e`j$R6 a[R"l(ǁU!k{=R;Uo%̌C3䑧rX|4?Vb:/Xyˋh4ӭ^ҦDMUlmPY_ŧn6nNnes0V8րzŕEMȠ=l0дM6շVcw N)po/mLk;}bWM󥁯 `dVȞ&1d4 :>G%g8L@ٚVA EŸzLz񤦸E)Eep9nB7:m<.tgAB\ 6R?iQ? @ϥ;ͭ.':" ,X90"J9rm(7Erd3Y;9f Pn9)qG{㠑p2{ 儹0,kQ*C *\kKCmANbzc0] ={ZNbȹ+sVk%}i CCN" Hue!ZL"`iZ@0\I9>ꅒ0 ZsI}ڔp^%]D6>EQ o(zBDkO/  0^$o݂ۢιZ^?뵠 eVmH^ݰ*cW\+#HݿtM킏w)6,,G?8u{!Ma88wZ#| u 0, ̅62A{G[UhZ4|qt2ԒNqOnzNp%geV>"syC9j`9D`\XFo?kd;07|7+G0}׏CSqUo.=;3TdETK/!šf/]YFM -3Y  s4~ 13`|nIDs PXx!EM?g ~%S` j(=k~V` ƉƋ1rtw:ː  6w/n4B9 ޞ>2b,)z8&.>3K3ht 6>P¼&HUYRi;艃yI:B>}SF.kQfhST\h*5}V@IxKq}WG(@vy r2/s=U/y&r}+fYa ?ԵzkO/:4|D뫯\ dƳBGAA1)QC7V\vx 4wb}y)2fЉi$DliqH@D`$qᠬgG)ΡI=LK]̉  5%LCYonHY2 XXGSgK5_L-&TM='uN$;0:t>P-}t93xj;5+Y8Yl yY'Ez]5'agxSݠ ?6_lJ.AYȄ7X!i7H"1:ٶ6?JNqϼjY3-f]yfJ?'q 2g Ydߏgb:\G}abJAf R@"e{'6dqiȲ Jݛ 8b,5*,y?uJiM`jI ”x_fP'vLGA/rA˴!@nPxdѨ.$hPQ>/%W]8) Co oq6s|e)05J9 ] Luk:kiaKZ:TA3Ȥkj9gYZTӔO_jG0 N;/c6ۮZ\&hR ۺw#d}jDc߶=tdZʹqEYt|_Zg~[d*Ӽ+< myrJ MMR9)<[Ft5yM$&߷OJ~lBd8N7eRY?u%J:L184jJO+=ImLNkȣZq$yfccgaj=C J 8=o`|A4>sid_M`v{vZ!'@ ^U #m a!j6K&/|n,yhfEs&ߕE]B~qϋ;}v.E!7rldC$nJ{=!Q`Ntw ma>Q2Ww&Bot[顝)bamlWqʛgc3/g͸5)5 +n@wDt}%_Zw9-d>9@W4 'o $ҙtv1=]+RiN, 9Jzĥr?>wtɓfRi[dPz?&u?iR/a (id_U|Zq f'n;R^R@\7svF'FkXw^GpiԀw\+p6+^dm09/+Xx:ο .3j=Gk͓#v]_GZw{h5otI@-ɬǹ!tr*.n_ fe̍/2̽P0rD͗~0I4u-V YhcN33_K_Puʩvnf­ f.lUod EuCHCp" 3KWBt}oVB j hQ7 R|-. [ǿ~%qUNmܓV~fLN 5=+ N LlA9ű9Bw/JwC@TSFjs[e!O nPbK: 9xc#276k`(1C +7 ŁV*G//`||cW'B"kA,=',53(uPC:pcmVE1u_20RZo{bGdiEdkL,2e| {ws u+"#K;RIU9c&~V#<@6JUns/``KU8֞6 Yz9Slj15&샛gRPVqS o]CX윬-V [Cgqp13C8*ZrhG 9|t1lI ˎWO(q|)囸/%١Ҥ3\U-B:'jaYm|iƴ#HnC6ZIЖV(|O~oe/9C/UQҥ0+{'SLsqdڝkc>:7}&eJTK2hȀRRbx=cQdU h]]˴fhtaBrhF(4wmH$@% GQ6LA@3ZJX6djՑ x;Z|ϙRLo j\p*,f êNH״B)@ bBx ˫0Y rNWE,ꖝ= Jך=~̗؁C8MW愿 ĕJ`kz*T񬊮Dž nLI@%$pǐs1*yc=wGyIm$vfghS&"%J,0抺6CoCB..; <n>)SH9S0~Ƒz3H[{|5hH3!_w-6ZTḀ1z%T7N 8 imHmHZwA.$_U| ovd,2L卥{KN'@$Fhs:[  ӂ:|IoCPȭ \T{hƐ,f㇛c3O[C~ iPnpowme 'bTL`Ljq6ӫLZ4 muo!3ZUb$$yq!5*Jy1;rVS*׋H虖k)NW1,FeȮz#*R!]٪E(霗lJYoR:QX 8$qh=jc>%,ey9I.x1W{0ʀLDxrT2.jE IjER2<ĦϞ"&7m@YT̈́c2zbhIzN7+ \`P#keЖH0Gl|Qo9{5j_ƃ, T;cknVچŽ" nDaG쥔rrdPAw^"T,[pvKT;oqkvIrFp==SX;{*;)8o, fpx't<Y9aYUJ:^T8`*8V=rK0A|,CR$r'4QUʀp9x~Den4p0%d*@Ņ.S6J˙1B3%& =c3~Up8 WY麞e-dA2/jcy$nX,B-gK^o 7lW`!$ݣ7mc9jcL4NjSDC\ x̯NA]^>(s4Dv d_o]<8 zfVIm%)l"瘘Q̈IVOtm,>|O6CDa$x 6B,6/u-@Vȁy.nN2oCp!v"NU!&O0*Bίz1+ퟸ=jw 1?,YEfE;gIٓ۞+ 1'NȦvlN?觃lr+2 0[,7ԤJﷺyT^(°F:zאBVǥbAgQH3HՏX'=Vrx×Gl?_\L!7ǪKLmQ *|.5co,Ɗr[sAYI4/D>7ʨv}6"*LrL$-.K5)Gw]b'[xA?YTim|EwSVwY\YiQ(}gYZf0zK܄/Szz[Jzv^C{KfYB% IbOzA8.-Uˁa{KW*)6.sWZFQEsA&UFǮܷ`PLDNhFSB2q Gd]tʽ m>|` ġz%045$dH+~W2V_sP k&zV(XMIFɿW#h8E6 ?) Lv>'/oݳZs=ތ;;bD6%a>?rE%$b, ( 667K촳Bd >RiagOԢ]ʑ&(-2wڰIQ,)P\+@:5u^[P,%npZ{k[hK(ȆHż" |@Mv{pv@ІlO@=F* jE#WY0e׏/_qdXSU4gӵ,T-ʻLGuo> =u. Ef,&}\@E W XRgчgrSiyam]~qXNCN9+_Y)19$UKjd4a/V4<dKuv5dG2gea[Ny\-CCFNժ'%URI"KV}#*7v/ I䉖 : "^lE%:־ X-Y/R'!|(gXkdF:3= t`BY/Z`UrdߪQ Z]꿬Q$u7qt\凧6M^|MQ5x,4Rq_;ztQ+t"nNAwc`-y%UYÛSD` ~m>jaRaN/2QVEΆNDW4$eI1J~U]nf)w a/gܝH!.ȓu2cjte PqM+6d,l '6,Gӱn 10T9Zzkl{{+o6$AknqIIفJ,(BOp T+dtbVp0L^ |e+/2#YW8ܚ@t <c }9Q:蘑{q8=*#?B7z:am{xhw{r!;־)ڿbӑ[O>`l2zΖ~WoVukӑsdKGUr&ЊdM &9ŵ%+F y.?S2DŽFW"Bͱbd „Bn^Ir&GK. &نxݸEBVŮhNySKJEHВ-j$Bj#YQ{P;N?C<06Dn m&vo]Xҥ@ym8㧆&D!p:sdjyInh{꤄!}[!Puʩ*ǜ7E~HU&~h@d>!fżggVvsvZ_GDKM21o[ط5'7|MEDSrδ]L_+{˞ӌhUl2w[ ^b2:=6!4*FG~. Pj;U״k$h2 ?:k2kvؚm^ yD\j ˩{2A!4(<ʼn_]T{&ywl "|tiHs+F PQr\VjQUA;OU}EK=w'^ڰ*2IU.%eS'mw5lwl?N Z=ZhMT–dE6sͳײ#(#YQu:igT p>۷]ah}rm9&f &uJ Akyz3(H#~7kd:@z,؛F.-Zꄢ)N|\ru1ro`@ԠHӳ*^s91)KnlscLKaÜE{,=7@PuOoy{')5J2;vUZ0Yjs8}qvm ChncR6Zc EZAz#\bPA%hLSV.SkQUm>[|E@Q i~b*kt\|oPi 橷7˟n$"7@~j0~wPN@C6C g{,赜wUyPy|ޱaw9kk1ٸ8Rh×iFXMl+!K|/K9enB>en8վDKpb$$=|0-= > ̇vUWk,Ц2/7*t), j?zLyd"z`=s뱿]i_Cn'$r<&ov/I"= g\55׶F6A<}ħ ?YL6!/P1O/ нZYZx7RmA+ h 1Y2E*>MH!Sٵj׏FN!!Jj5:Qya3p^ #_.ͦv3z }Hm !D@.%lV&րkO$1gYZ X!3 lIOAIOA.Tracesdocument/Traces.tex7zXZִF! ]A-MՋhvG"uIBm5r _>g_^FuDzc1!{jљ=@n"oE~S>B-:qd[nh_w+ds,1k qcq=**` <Iz8nʅ|Sp<@SLϋ+|,|"$dYKv4M%~ė> , PXfCgPCzK49Av=,ԗmr./GK*@νK8HW c{tuNJ}' (XC"11T'DKS"xxTK2y V@tEχ r`])ٵÜZYuUk& -IIy,a&~(B7`y}. nXz^lՒx~TMS4ޟjVCdU Dw@F@`Bu!#Ϧ͹@ǾefŠ#iߑLvYY}1gZ%9E' >dGVy/eވ!JLY>4- )X@^U@A|2/EzAwRr,Z8D}]E0G]hv\ի.߱y*m{hhxiu Uc$ڨ,ʨ쟽iG. v+= IOAIOA.Abstractiondocument/Abstraction.tex7zXZִF! G]A-MՋhvG"uIBm5y/C*#$Jձ,hgD{%e%36YֶiN2HPlYƪB$.#v1Ȃ.JQvs[ηHPu+vԝgT=(e{|CŞW(]h*sAoi?bDHEZYśp2ƈ}yT SOӷKZbUҜ[rtJYX4TeoճnU:rUHwLf)krB%D^oH(c%3RٔwǗ-P;_ O;@Eb=2w~^1_11[kO6JV]`r~6,Djr+ ''[mI,Wau;]c;Vr`gH-'?36(NgTsX?zLrg+ %-2IKۚ aՕYL;b cBn&"\;r Kx =WϤD?׷ `Rhq~Z>*JVaZ#ب?HdFDOp8C*݀'8S>g{bu2VeNbb yOkă:5Yt *]baoarQ2ð3 DwG U HuCop'gcv[픒;dznр )cpn ֔ι[dkTg:*0!D<6gHs=z.H/&a}Qsg0>}D)a!v))?pq#X-ćNU.:Yb"wMWkjpjfa xFBG+hM8dg~VYbj =D"sSYy^T7v9j9?R8 Fk_Ւp`,?9Lw>KLNpҝu&SMxL\ tDZI|-Z۽Ei) mZ 4gYaTJesfb}䒑1u '.uS%c{~UkN,-+FGnMai1z;CG,KE au?80#%@ Pw&)ZsqiJ38Bj.|1@63 !p'0%@)ܞzfxoph2Z6U5ZX _C-5ъ4%^JÍ}=튗B# AbhrpDxo;30Lw;dJx T^n,au? xCr?tg"_ }9:rӨGcx4t+;{uMl72$7X'?j]"D'VEVWNa$N:)#hZɫ@9>*'$8SuSLJ|6&BmU7F  ӽ!VsIv`1Ix9:@Y3 L W@dBL*єD~c5G%# gFwDxscmh QJpVɞ\(YO:5PZ8l >% ܻx\V؆Fccz;Et.`̸pS{X5kd9X nYj^\R zRx{BZko+Ƴ xxL$[F@/H:#ĵoFc>6< 7n 4҇G}jփkU2qJ΀x\ R .fⶺ$+]AO&]a;cj閠Y`A*L\jDA6@T *])419|#/í"Ptg`ٯ JB#2I30? X&Tq _ĭn#!+[% 1(|LoyZz6wBV&Dj\fseo5OvhnQH5FqTP1 M c߂0uSBlU`3Âq!q@Vu#>ٿwX 18 YtS9ul[,K ꥢ&ٱt-ee#I]dURKx?,)u}qQj<>F9{ QrƱz`IIh[\3!/=%qddFmf]&Z4feHHWf+OB41Y1յ#D7!TXuz%eyQxQޓ†L~: bba,"P#,R7,{ԃ /2]k4boU=v![$ʧ1&k=C o]]!I8 _ldK6-~stbװQ)K"ɐݪl g`@E> Ο=ɸBv0A\ ᛦ~Km٠dQHET%pZ&J'햠?ް> e=љA*Q76|#ބĭb%@rTBՀnv٤0. wKC 's[c0Y;+(_,{K+Nld'd4?ոS&w6BfdJU|R}ki&KWMb(pYϳ{TA 0?=u$4fӹO5aVY n dʏ^|"11ՊE?9v$[+H.o20\ GJ/}dp=,E"𜋠c%F`;$-k)8vo'T;cJKBMX4ͮ&؅ӨJEg#D5c4l卒cuF` F)N!yLO_"gЫ7#A2}rt4x 䠣e Er`P;ď X Nj>+ XY L Rs \{b#HU|E1~iDԅ;CBm 다Pz̤L3O1:y>`Z ^k:AČ1tml]NGFB.Q{,ͻZ۲Oq&sjVl@g~˰)_^b/9\@"x[ChQc`պV(R+;A@h ]ΙYgTaZTy]dlBe[m1ڬ=Y@ VDnD3Į9XGKyEB0_vJhjz/,*V[`:@]{[^Tf}J_Bh$ 5Iȩy/O۫J0ŀK t!!F/µ jE>>}?}F'UNI |PXWgkgjkc*&QtEWgw'kx*AU'`/)}nG;3gUlzSȮ,txؠN Uz6FxV.bI`&~6kM8p{-_W)K/rUOǔ!fk?FE?J=(ZiSD bM $!.}Qk( f \ՈJaT_Qn[KoDžLJ9{Ʃ+u9sA~~9K{^Wl|Gp`̣ } 7T=Rw9yCquU10oض9U:~芁;Mhk=~ٮI@1`ljēvuS~b[)5prn~I.@-Z9W&[zݽq _Lx%&nUL4w-faŇ:Q,:ZܴnK$=^Z IP& )W=ա^fx8P\fj~,pC?e4AVw 8`1ru2T =v>qVԫ$mt:hE& DFѺy2` Y*OKQwI';T$P,,xgf@Y*ZP/tu|IT:!q E"ė3t֭3@-`0x 6V'IAMlwQ3kG= [=F4QŻGV}  ݵیD>S^}VR'0D|-Fy'6z#CŹimXŒR1K@݅Bf][=ZiP> c\$eDG!ya6Hzq8fAKu}9-Cn!b`}ȩl;vӗfN0Bɒl.뙯bbavv~-<8ƖM`Et*`hcqL8Loc {asYxVB n]!nM'W K1u3, g@d+31͉#>"m_] әb}}LUQ͂[ mqvdL  [:dE#$cn j)AEA<6L- X$ZTNW WtTT=v3mDaQQV&Ep$kqP;Up4'0S=RFosb/v\='G²z;r%IItwY߹IS4%f`սrYiefc:S@XYVBzAjSͨ/dߍK {YgǠ}0wȘȞ6S"5!1SEIEWLzXSʑ( !n7Co?|bO8qVf,!}:"E/Y((Q_3Cni9R< 5W֧w.Zאd2WҪk@1'=v΀{8+8CB0T٠cyF~X4Xh-YƎ5]/ u0hzp 9k|TLD5 !.o_md$?V%;LqɥdSU΂|/:aS7.xfx|+GI6";kdzz!a .s aH)E02vpu*fFfW"lwShs9kSзQl_-u#P90M꾔a dX,OѢO9?=O7HnM4tV!Wuޅ{r)HK_%?MvƢKZnI]iduG5-;>n[;':eZoo p29Upy[ح :W{V`Px)`̙e5Aֱc|j!SY )VJz܈ |K| pZ7%Δ cLa*gǃ!'ɝ`bd}#y|J6luh0~vU%{)-Y:NFN3 \s@,&aY4ԠgNnӕd?!džl+_F!doK @N!-q]ŔNCW`vkg7YdVǒ~;sA{[1E>:AmM"ّ 84˚rF Ρ [))B`e H #%&0z p@}n'rYNR-`>nxEC#o,W=zՇ'BpF@_B~-HY޹!?`ƓƧÌD5G9֨ %pAs%XpuV"OW8{ JtN0_ReC_8e,a#"(*,ndt3s[%zܔG 2$n4ާX,R Y]nbYU0+7]+^ (}WK)VN*'|ƦMņLs46%7Bw'42>x]P,VDT*xSdgs9p96/@>|`4JHR*L!7Bf.tvƩR/=Zn "?(ģ ^:Ox+>B+E3Wu 򊮍OBLfëVU }(KH2m WSB?:({/P_rK1{TX kvK))۸%IzZ\!жv~%oҖCyf<%Nħہ"u!] 64#lʵ")6[UQ<[12ɄXXlUCL+wC6,m,|º Ru׵mI ~m 1%-9P,d+q൘}C\ºB$ sɴIxjS_ N_r>x{@I\Ij7))nqqDO,isr&%S+:W+]xثxjKU,o%\:_V2c ~p\W0!kRDҡqs7ԺyܫU_hhs:%TeߤyV@EgR44;ֱ'S*7_qGs āv xZ`hMY|vqIf$LN'E| Pkpz\y-m`  K9sgYZ \%7 lIOAIOA.Automatadocument/Automata.tex7zXZִF! ܟn]A-MՋhvG"uIBm5_/bYϙVcʍrDRʲ Ƿ9R|&_t>QSKqX==‐AiH$)uc\iHE36ӳ,ZUay H\HO"b&DHFB YӤmA?80ܶŘUcWn~ =vv;UiLFXt"Y]&m0l'qLuZZL@Wb{(ӵB|o)&E#8;)+ReNB1hLD/HL_ᆰ#ܿ f EfHCOYA0I"t;=Ld 0Zz#kﳖ=QF)9S;\GUZ@*cp0bG<4), Q'MPբBe8PuJx2+ 0a꺷XY4.ױr*m>^4 w 9iq AsXGlc}f}T8OJ/^3p0|1kY w];!KRNXZ3%F3d ;"?@.) n.ṭ'<[yAU6OL>Z_ &Jxn&ӎ1nEc`]_k̤R:KoD7 }| NB#0ӎ]jL2yp|c|GL9aq1,:!]8!m PukI)% @K+G`Q4a ]6@7WEXC=(Џ],#n9M@" e[:\Ԧ YMV%=x$Rۿr;:sI4l@*`46L`'D?ǡ ŮL/!KX뷉FfCU 31g<]|Ġ'qjaFs"7k)qFF'_mRSNu:ļl!+HrqO154OY Ѣ6i/@-0&ZC;<# ?U:n9-%Z \%TjV/$7b1)B$`׫7FaZX#PO\OilpwLH-*Ai$M@qgIHbmC|g0M N^0kJ]p&>\e2Ul^#H'Xl_ə,5b-P+O[d cu {X6u5ތOnܠr`ّPk]S}'}QI3$EJ̞N9FbsnUW%.$ŘGP Zil E( z{I܀R;(pȉQZp)S|0LuX/RMdJ0h8ڏ=}c4Q%, ]A1Xт,X=]A8[7I>:U2Ũ˵|-*fcɐuˊNCUWSaeO{O,9iG]̓H+(f=,#ej$ܒG]*%5eźYTk^B} Pѭ(xw}9e{ cfSnϭp;KQ eqe~̫T,zNL;B?(%Fxe)JK1U>иX fr#V@@!'N> T,'\IhmHz}ְ%I+7GNClgZ3cbkg,0AH663 \T;;Pd 9~}P] K Oy uURo[ɯW RvonUXwh Qz1"i‹ߨV/ԒcJ.MKW. ٳ#eҴΞml|߾j;V2y<s(;ёBC@f6۠BN[M 4ǎ'mIO?r _UQc4=l=91a5D <ŵ:*,}1r!DwyD&#޻ 8l[k#I0젫2TLDr\Yf˪fk1L| (B}$7)^ԌdzH@H:$A9t\\DPB[ _ d<|g6]6'TӐ/BQ;D  uu;wT`(1S-}J[BֽY=\oݮjt*mJ$t%{I6vePa%Q]rloy}fR*!Dv4CwTGy=a @Lۄ9եhM[[c m`rP&esVDKng2XGԷ0"H[퇅GgwU hig>N"">U]=w>L/T 3w)ƨK,@FsM{N<%U$t/ܭ4W.*4(rmxnt2O^y(!;#RbWB<-J ކ)%vv/3Ν kT|{d9&IվI0IN>Ō]"+)WVDN]8Ԇm#Ŀ16b"D$6 @0W,wjA'$Zpu! %%z-NxY0>Vure_NrƑrʑx!W񓚄\IwEȣC%0*O̹9:l.H9YeʌmɊq3mD,XҺn@Ȓ)خ$Mk! mh)X q@3qėE\ࣧek4xO h\ :_bBP_O#k*zcLZCt~}rP =2yVW?`Y,Gj䭬BE-wuv{T| ;; m-ܚgD^A>p6~+-R(x>gW6IW߿,ۭ.JJUGv2";SUcfs/,3C7WZ]抲wy2FN`ֹyڠ¤{s*Hp7976dPU}ڦ\Kf$J8U nzi=Һ%0p qo gFŧ# jV+jBp\'VbpcsZ]QLdW_}0=S q(je4YAZnPJ=}ۛ,Q([.t+2[º b ǪtУ9@Ai :#yYN΂gHf#*NjReEF-L㷻FU(]܍/$s܊][)t>u~O6ҟJ0_|1QJvMv-XvL>"P+C*%}K#kd#apF*vjDjxm+,GKd]ěτS0D)ȍ #&z¬G=:8 h8BSeHlJH$=b=Jw2A+Yv>$P0`q{_1R ;K D$TJE/hf'{ōccwȖ_r~9 Pd>0Z1QX_fv/ #[6VT15i]@u Npwc/zsֆjOW!SiHf]DN.H!C J;<6DjiQ ggr$'e*A[!>\\Tpf2i,*](*3VXd,RF"C)o.>,ZA8q#f$fȐZ ^IԳ@\&JRՒ6'$JQp΀`fHT )_Sge[!Dњ-~{ rp.kr}Jhvp,1y<(sq i[UWa~8W{$e Mx8{,u|aJOW@4ve-WKe91߹¬ӑ<6δp%3tfCmqg8Bq2BnWf79:N)NOhuvW4ĝ15Dϭ-$H宕B&aPmTW෉t]g|u#~ XL<ˮ`AЂ׮@_I79`˽ YAWE6ZIEN~K(i-3L!ra@>UDŮu`@=s%$ z NG AXG :֧d=%gCT.&pD,,.t݇w:RׇuZ oӊ)>cȤ W9!ڷӿqDaG|Z(va\Ȣi!ۓgА֮ "Q)cP>EpOYa>lI-\`V^1*컃᪬u\fw5s2hV%U- Xe +ARmh=~uT49GVFOğ~tqzbk2qcN!R.[rKc} a׸f➙;mRJͨd[fn^<4PN@k8kkZ ku6ƊϘ|fb x5bj]B_h'x*tCAt)Wt_PH*-T56ό $2n  &6}ZL>F1O,wO$='=UXw@|; pi70mMb3((3O\;}pvp : y?C5'c`Gm xtMU.M6):K7ٕ]lV]>i^lZr8\(p2"&$nG[Feq#OsnN5L&Î4d0>m '[ ˚b~͑L`\3U+Q킮ex ۧ`I&Ԁ47'6" ^O^_L\4hKﶄ6^5Pӹ9~#e*J7}=ή~-Ȩ9"RI@c1.֞z,P2LU+Td9rېזsTbg?86~5[c8)ϥ@|4^YSV0 6C;!{,lB>!M]0`WŻ7Jx>'GEpC@ uU%WƮJ[Iş]y\9r~>SOZb5=08]3lQp)LFp!5P 0 L#Yu6JkF4TDo1*Mq#IHmJvOn6r+:jX2jٴ<}yj`\ NQ=&_\µH,/?>哥Dj eY(KrV](뮚s6x*zKO =9:q.@d:<8bi^x@E.RF{WHx7_ߞȰץB# }ik_G5SaYaGĂEŭ}nU<8i_Od5$c[)w\ti'_rm^`{8W 7ZT_f]:{/*?: ߩ"Ni3c/DჸG gzd'XÌ`ߝaYȓ5})ƔO-eȞ/aB&_2qtzc(VsU86}2pL`w}\[\@,ѡpYz%U @J:`Еd2|*y!Q6slsDHP ʄt8 '!q,ϽzyY.2'H!ɾwgjgTRw!jw̢1 dc˧cVs'y^1͒G|#5| XNbOu|w]18lk3ΑѦm$y ?YX>Q|u.F2+W$=v {J| NOX'vwe0 kx^ N/vfe|}q9RVc\zwұ>@=@X6*YFXJnݼd~ ( —3}5vL0f\ʋ~f-d1A ~7˖Cr37ME@ޗ`^Z?,d L 34im٪"l"5, Rj$2ro Hz\96Y_+*,dOΪc@~eI0ĎB_̜6nڌ2д[э c +z^DrZ.>6""6/\C$ʓ]٬IXh)ϚLc1.TN^ eϯ.0=H+/0/ji+yMFTmu&(G1XN*GGj$mƆIyoީud\htfL/|\K/.}l;3MSdr 鏑Zr#Au‰BIM f(ણ@o:eR!;$)l  m@Ӷ9R_sXqnYNd˴ 'E< OJ݌Bfrz"vTfK)H{`}nwtu*]E6sMT;G x6>  u?OC01kFe"=bHYt'<>t"IjVN??!btDn;dͻF/{#ь v)7] r>dzIgfw%D3A?jH}l0ٖ"wg[HJ/)6@V#o5'# ̸9 _=1.͞3Om&,, ٘$0c} tGn@R6jS@?@?녥%S/xY] g\FZ"` 9N3ԙnq֦4J$R-+.猫rQ.iAt9g65\t),1gvs[i>VYb1Y1QM^0QV8hGfSn%MpKpـR|%MKU3w7q< JR"BZ ΐ2[r c$:^[58X1@BOx];I^=W9@*#9XCMQA=7<'pPPjav9qr JiH-HA?q+^וNt ǏOQ׍/Ն,?q()ī4!6aԊ(@: H23H39̻t:<Ї6}܉#|G9P6B^(8`Co=S"Lֆ+J"RW]9)*i+c?*,De tPS6ă{.!PA5))oi3߄ 0ialZ>53p K;rKOKV;emwkx.5Rӎ۴ΑMd[@0#~+⠐ A-eZrg'6,cf(]GF64Y%0(٫dZJqYL+Nb] =<>*]Y}1#93!:P١P?-.j34^rsؼaA@HrP1L0Qzbi"'X0]КZ7R̩^*[tdfwZtW7lezwʴ5ۑL*㸬M[J Y6KM8q:ۨ AUPu<:7,C 5έwl^P c紋ez 9V>AmZ4h;яn]CnN$ ֑)2j<ҧΑVL}s} UHMyxX?W;i-RSV%#42w7ͷM$vc{Pbʐ%F)U+u3e4itSycH 4<ƌ&k! Β?. ͗(۾4ԇrThdwKV4;ŅMj;[-9yȀkgYZ ); ,IOAIOA.CompoExecsdocument/CompoExecs.tex7zXZִF! g ]A-MՋhvG"uIBm5XJ.t}K!jyw>!kkӝ p G}A^͐Zg<ԕ`7 ^3x)  *@ -N$Udh}.'=02ČJ,|L鰎udңXmM;f *Pl"47r[uGd E M~Lŝj e)V O_a8t^SOH`ݦ /'d֦ȡt>a4[:7h_`bJ O($eZ~GS]W\ΎP,w.a".|IpaOFZW>hδS t]勞Zw|ISs|dRlQjZ4"ҐQA!'4(GuUS 6ٸq!kIu+Q!qK2x*T9iS῿Y{TcS))EA|5$B7kƜ ǂZ?yWGR:v8oEF ܯL3 mz`Ѳdϻ.ޔ{GFM{J\-]>r;ڪd=I>nVlNeV;-{1K?K 6bHJ{f܎+ŧ1d}PPl?8ky$8P@Hty]`$: {dfM|i>ߛ>,yn +wZuDax{jŏ)G(Tc@|dR4~E3a%qV6JG!;MbB=cnˢMvw-&ib:aypuDSK.18RK\Goz>xn FTQGxLa/!L@02E$ƪc;^vwbEѧoqcwg;BeV!O3cqAgo>?w0kO0'&hJVqCi*ik +䥖/vKه7"Hq7Yo$$}{.o9dTK\gd-B\V$N*NYRBFard; g,x$[=0{5R)U[?oN~mXPocI>FWeY^ִ̠a_D( ڢ͒_S +9Ub /yq#&l`hX=v gڥ<"g|PFkbxٌm,'T>_g[p*]|z.)h@pNS@bdP~x?>RDO`ы3Y7Tj|lGmK"qFkXQ- j-솂\LΔ)P>'$>xf<[B: mHDWG-D!#{ q!&EIi]jVJտ/O@l.!_!J|׊r7˅ D}#pWPem:1\rCIo߻Я8tZlx\uyghE̟5LTd0Cqh6̖┤9!:T3 Pώ n#t?O=WއM)PGYڽԌk:!m(³j<SOj y ,%S5ۧPmCa;l[K%`Hu'{'gjyDq.:m*$'H&G]\O&^)T@02׷;#[Q$X:3$\LE Cn&? }(k/* Hc.ohV@yel7$'n-9`bQd# !vqjx-≂+ );}d豹rR@ឳV5g5,z ڌ2ŧ$4#44)\kdNŬkHf:h{8hWUoG O mT .J.7 ,E/,b.a!0gYZ | + DIOAIOA.TLdocument/TL.tex7zXZִF! ]A-MՋhvG"uIBm5_q=D1b(6iPԝOG|JD>(SY`2!xgDi/l)uMtiHOUlZ j`GxU Mo(SG^tTs?~fЌpKRvJ4ܫ҅b~EnYFG&i6y!"9Dȿ}Տ}3)7&B_,zE~ YB8V կ#$#E.ÈjJk$\d뉝!CY[ doF=&Kn^ΣFyNY˯]oF*ǬNplw>7+?qKH-;!nso܇Zljإ<ɟ%)[ &NΩ(YO>L 7Gcl6Ҷ$\=s ?0BMMFFOͧB?lm$DF<@>1f[>- B2 K|MeZɑA^񫘙=X"?"F4OA1'f$کD4Cfo!{]{}P'u$߽6~v/o; Z~4jlim|CEXӳ-&bcnXaCͳ0,bb_T!%`7(iE[3K<mj_n簲,n7:ӌ1ˎ?E4Hgܫ2ЅJ)KGw6!CWT@PI-YC |Mfŵ`-XFoB"vgCͪ#_ ]s=`Yb"g&c }1*=R*3ɆSu[V8m-0¢E9$rctoKyY[*⑞Y#ocvj<5 bN{b&Vh@x+z`(9Dy{jz-q>Dm|$|10 vcRɖ3Ŀ:l7rsTkGk%6*- ޯb:c)N@5y)z9ٱm/4 qR0Ǒ.@\J)[ ˄UWf!5e^&@Te=o՚v:F"wta 8SiGk)8our`x~˥"PMƟ[-1o0lM^hyIWڙ4=ĈALJeYXpC4Nbإڡ)t$6&[߈i%,'ee7ۛg I"5uN'y5I 麜ڛ30F< P+ 0WЖ5Ƨ1E<($X1қv l#HX?uh~bQr=Hb`ɺ+ҁGOG(6޳"8VnKfb ?0Q~Jw)t|J:tz8Ug.Y R8|Z2en7yPΐt3\\ENdAr{`HO9@h7f9oƩ'ŭ0}D+=O /;2zLs%e!prIϾJbč&Z{V'/o?"!.I6"}40x {Y 1NJA㿼>,bA vW]<:!O⷟Cq6C"Nf6AjcC0\HIa|#1j~ᇞ@y1PH[*g|̶Ar 'rnG +A]'=!!`D-)/} cu,ZIR{zD0l&k@d 8a32Qn *ApRc Mb(hm"nPz>'`mi~WFa70bm;Θ{=yl}Y0)Ut:,fӄ}"wDi):YݭvTNaXfZRktv2OL q%+D踬yKW"rIKȍdRc9"Ԛ´6aY ӳ* 4Z̧9vλ˗B `LY}'vhۅ.~A6H4%^̧ Oy ͇w| 'QF8Y qì<ppؼ(h+mr/C .7=#Hl@u`. 'rȢԙշ?\ǠOqIDmC]yOE[I`~.e9o5[zY,ë/"o$wS \cSCP,|fg%، R <şVT鲝ȴtogBHc._R)6{aIg̱gYZ . - $IOAIOA.TLSdocument/TLS.tex7zXZִF!  ]A-MՋhvG"uIBm5_A1qr?Dy8o:sYd%TQ.==^ZȨ 7$}y6VZ"vyz0ok0nv4HYh(S}܉LB%&ʘLPmCރW i,›LO/Ǧl#HzD&1^veaD?cXwH# `XQ|e$N3W$rm%FEG-~Zj3%3b jE,\O]#\9,pᇗSspbf*p!VJK[y* gZD>ƛʐY nh'3vRkVCd͐߷0xUǒ f tWF3z&miIXj{?S}a .+ghih𻌢qH?K ;MމdtZ( 1pW+D oL+eI~&D8i2aRp)8ס:|< yxPߜڍF¼8ĥH'5X@Ջe."fn77~ k$L1յ={1Mqoo**'IhVW,zI3/萯[`HRmBD snO H|j4#fEJ~ᬤ.~O 4Wjl)og=hFP dᎊӮKv%Ztt w ]8xa;`d%$³ O) wIdMO=.M VY= Y~-[_Uc=GzSes!Utm@SLyYծ'5"b\=Y_Js,3Ƨ-wY2`u zud=|'&JxM4MH@BpIpmۗ =$RseuLaA(V 两*O9-X_CC*JW]1i:ok-rv4aIaëzW(h@?L5h} 0^(jVd9.ku[$1ućn6 qtqYS"Zlm /N.,JskףQ9j_c=N!``2q&<@]}E4n(z##GyE@T̝QF1x1[Q dS@&oZqG,+HfB #ԫϪ<7T,7XPFS #Bzc@S]`0`=/Iᬓa׋x2m,Hk&V^n2"Tf{FFavG.iYN=4n.'|'OQZS,OLT,v'2o{>X_) ʦ r3jU{Q߄K&q ӥNa$c…!0LKdݣƶM\isoʋr,_>GJB*g8E5RNgu9|C!H?d5&8kѓ*N280z2ؓBxjXPG̛`nL s+8r$)sYW3\Yn" 2`DK }cE+h@ 3x%[ZAm.`?>#&&&xxXMtA^emot5ڶF=Vwg\ "syi08WYZ3[#}5Sn~7Yk1J'"G J`}cfRΜ^u{IN'lA0n3 Y1Mo?,gP7ko{3==I ZygYZv += IOAIOA.RefMappingsdocument/RefMappings.tex7zXZִF! YN]A-MՋhvG"uIBm5u'FfVe9n@ )i[kl2xP0(̵b읂*,N#ۍCs/Oܰ3YSO5(Tkɘjr~!Д]'\}r}-"sEvzy :қPU. lQ7Asf+;Ǭ.>Q㩼PqW(~Yu50QIF;p'Ef`].yb9HTB[f#[Rzv.S'0|^OoZ]i(w 4"`|ga` '5 :%60S`/ۉ_j}D*Dמ@ /:aWI#.JK&^ЬhPڤ6Am8" Y?6bPNlEμ,Zdǻi_]eQ3ԛ%mbG~gUV @Π]Zle4CIuy}ٚ;p >Ys1$W8S`er Z|:֣>a2^Jcrj;. BIE# k+K;zd>$ G 9Vn.4jr;> Pt! 'İBZli?iJk/9C1xgwT#vuokd:% Z,ɶ|F/d^Uy>8H;mU!UT4Zp;Y yDӻF03(}m{Gwšc!RL}N ?^[G@7wwZk{rVz!y{/.{޼.&cE-aQJWQvXLTD+pV/dqH]$i^gX!~4 [j -[ۛ5Lc|@QC:'3NkL1*eɃJO q(7X$4K$K*wfUߓzHSY/7}KpbPك:\,+fM[Y+w~E&v$I@3q-^Veȼou=nMJZVnny(岮\,z>l8@aXEĸÛm4kэg^ ߕ0B^/TY"_LJ k]t5͹47Q=H]Dku8iKA`Q2&:ؔk5r ҏ5˳ #Db_7`А=JOU2'5QOGNˑq԰gctXO[]Z⒧ :ʣ}WN v*jYw*0ak [€hMzxj&67y Y>]M9<)̶#7SP9޳+㙬lg)ѧdc,<l9+PaMaϲn&vgYZ B#5 .oӎ. ӕYuDl H;@lOJb ZvyztqXrAoCqˋ3{x.Vu&ww875ck_X0eiU'4<'>Q4IyB-Cdw9{^4M>շ [ͤJF aJ8ut--ɜ-DI7WC@ҁi ItKFNO@1EqҴ)m@!$9St6bx][s߃N ^L"^?7_Bg^"g~ V--x1'ڏaWTRkvNT:{? ۼ*??tѝ/O  AC91+B{ )NDޏ+c +χ@'BT/Ml66m)b \d#;Uߘ03bڒKwړm) m[.ͮI+˿(#GuMKYU"ӧH߼vmOݐZ9aǨx\$-a`pq&kJSLnckYݝ|lSAH{Ǭq8b٢TncT#+_lgh.H ^1 A|(G̎+"G}]caN,yFA0Ո);&{:MΤP=A[~uwT4CQt6kw¯J HclgkI>XS'Rs=rd^^aD n;#00lEU[s{Œ 6нi[ixQE G38#vJ`8٤7 7-^LJ9`CJXFѳ>GRM Þrg q 7x0e$ [ B!,yO\1 6N/y]7TGd;c}daVbeŜle4L$d'U]NL"`y@đ񃗤D>"=AA *!jdM2/'=-J ,)eU'BQ4lCbgUzY4Ea::eF^"pL}wRtH.($Gltr $7|b;e9IFQIȵ,O?ͽ>C[3h#'^x咹[nzfwEyD+Yr2 ͠ț%k >?ƐK @X㣊r?je&=+hOZ FWX8;AoւfՑ('X;Mn7ܾmPHپLj5.@}@U(?CmZQj+^QUlϊQv.Kjc,\B,ڹSUOԳʰȂ'psw˶%dF#C0|m-URԤb֣l|.9ŢHB n^TMukvge͞X D^e2xτ6'ZqA=&p6ǟQޘ/ąڪA&{2px_bɢ%,=5/z<]a`8x3Xv_PhuX;F XKNJBR/LyOp}MhІ,>HbZS)#ޛp6x Xę?]˦+RmwP Zkh9+;!.E-mAUu8G@&[(nAR@>zbse ;5B{2|.11J밣WuΙb/;bw_OA@Tl[MY6%Z|BwUk+*'#wb.+nt\ا}?jZW(lTy~JG\ʅQs F@>?;6!"22F l0.k0_HH64uπt0i3]E@~FHRZ)_r׮hx#3[Aa T Tl2#KgF:ktA6EL$0q\T x!xgYZ WW&- IOAIOA.Seqdocument/Seq.tex7zXZִF! ොC]A-MՋhvG"uIBm5ȢDs;۞6x{Kf·@ ? 3у1<˭' Tޠ vvh:B Qd7PcfƧ{qR1|.!/88wgΎ16\4ck\U%a194}C9w3#7eR!+Hz)ѰQ5ar2/zBTӢڕ&8mWI o2pև,Iq63wloYC}C}tfdo&J~Ƞ`Uzd*Z׆DNP!48r[hȟC#ߪ!1ROfi;yf ;wMu n Wc!qU0y؅G]*$XXb(y7lNKxb춾-lI~-W4yJ[(Ņruh51z_Yhk.Tj.T״BFr-ކ7iBǺ0DLU}qeb?2/Kp&T?:h<.^{w37w`wu3~AV1TR,PK9?'nmN1:עxcБe@o.ٵ6/X\5;fS 9|Q- ¸Rs 'iJ%#ӕfry j\6=]'?p8@6 6d Y"nRp.1 4(O,@l5/$ƺ8o =۔X~)ުɽiґUR3F5GIX8LsCyKbpZ3"1fV.{gf(= ǣQ‘*fٟD2_JI"My2UP)ĝۨ\Z#:W+<;-p-^vcQpgpB,UbrxoRȿƌ,m]VTb2$<0 dᑼy(giYъm':k=H-QQX?F9:VOÁYAO w!:fXrh?쟆O bx:58V%?|l|OM4lA7NLWP` ;:Ew'V3*3h3N tz[BA ^.g6avF. Q}3 S' %$$P^pa`& ho`Acלo0CqIԥ}H EͲJ8K8n ;nr;kw$+֧ ܠirIvswɮr.\F73}EXthTVQe6J7Hh\mW~2 >5@" 4wh0KoY %Σ3*`5!~H*,Jo\!C ;BP2ҷLYrz9UfB켙$/ڠmO."-dʿ$Ev_. <#Ii+Aa ɦ qоؠ86%;Ln*/16ea00mPT 'w0=7Ϥ+/!8lݾ:Zu.XUQx%`?B*Mh[3hL|QK0HcO|R 'HN/t>T0F:>|8̃\Ѭ}k@$uȶ gR?t_5YQ'1O$Zs`'l(yDf0?Y[wpf .Ӧ6rFA]8n )/d߰CI>V/1E'P0>$ q#,n쾡2Ȣ߆%< fRm ɽ\V eqXiomLõ>MnO$̓ō$=V* )mI>w4'HA9*j F!>M(>ZBV8u"Dj, +xPar? ' ZF|3eц} ~8>*,tIha&Be7O7_w[ ;P&o̶~?X&?gh:@hӟ+pÈ^׿'~J}oa hu_65H3.Q{k&TVwa167[mjqӜ\}Ad:\j oiv0ȫ2c_ vjhQ~Uj: br}/edy654P\6w(ȴszVϺt Th)nSP/ݎA & ^a )}O,&DՒ&NR/ Tt_d{ jUh X460 `wϡ3]k͗#3i{`@Ei|O$ʌiO)`փW XYn㵶A׷ 0(\ :.R*Jg6:Z^i˻U,%Q:`,g,K3И8J D"ɶTҦ.cUw_ `ϛ?}ב JkJ i2O8p0R nL,uq7IAgN*{idQ3 a ^w@kˠ5 , !_D5.z_28h_5us:!6uP`ޟ]ܻhcMXa^x5W4x"\0&#Lmtv7؊c3E)Д?Rm3pe2'*lpQ77?,wRk[BKx׻2CRZ:׵+Yr>"] /}cC۴Ν͟1ѣ/L6( K (>z׋mo΅!CX[5?i"FىUNCE( TGkŋ{ހ3g]vR_*zj[̝eFЮw(SVNf&1,w4!okDWBGks }GQ|z2g%z9GbY*r!2S:?ЪSʘl̍dD)pnevI/O< x'gYZ\/ |IOAIOA.Preddocument/Pred.tex7zXZִF! v]A-MՋhvG"uIBm5Lwmjzn1 +rQF:>Aln1dw%o'dd>`bڐJ$ c)|~%Q59tR 'X`R @U[i_SZIl7Gf7rJɟԘ*tJ +Ɩɤ$d!pY2?S̱LhDžzhwC>Xșwp~!]4ڳ|]hm}C E["/ERĺɝWۥ`Y0|)}2IAo3ą%2exjT|r= yt\7ɥSI/lj-|!}XCsX|i, u! N+hmJg{ O.2Y3y9NH ofµQS5me%[1 gYZ6- 4IOAIOA.IOAdocument/IOA.tex7zXZִF! R]A-MՋhvG"uIBm597 X4 W;nwuq! #*Gi8F]=dd|:Nڃ9ǣİu*YfHO0Rv< !-Δ\CB,5BvNaCnn&O /nJi2.ؔ)J`= H{ JHznViCeNo:zL6Lۋ{ +9P `\Ȧ1ud=ř1dk!~ҔUaBk'!1YVx|1rfP93ƛl^,kdz;KnUJ{)nQ,DV}^F"lNus0e%SmNq#&Vl{y"'\2,^4" #bos /1d pHʖ>ƏGƦ7ߝJxc\hB daEl]ک4ן>CE]GޖK\,>&ɯ&*o=">=*X_*)}Ng`HQ$5H MUA- iS><@=JH tCqWldG88JLj9XI@,;658dignyT bINB O6Az# B,|QnJpF_kTGR 111u;De9XɢIK2\[Ømt9tOF^g+/h./'m^sH '}\AJn8W<"F a+i-tfQ3 (Czǜ')= Xlq ~V\]-EXg2_"hiCm--~9[k }6,EZN6+$X@"}̥C27w Ix|ԫJuKS۷}ܘ,-mm㓆ߜ#?T`FbqƏ1#41֓e' EKQ ׍aU|£vM9M},_~8bEB#SHYⳣ?M?TV'\b#P{hc?չϔ*13kk{0/4l!3#7.A-c`zPVc@ux}ep*R+W2aA-T$@_~=X'NZ̘s̟JZ׆,}sFmfJ5ut"j)4)nyzs}=^3cJ۴u$TT ԂDGeE^\M#o,}?wV}6JSwQO=gYZ5}(l[J-7_FuYYn*wX%GJX{]CR, 1vpPsKhGDz^̩1@LKY7݄0JfAꌸ0ogԆ/- `fQQޭ)wcǎ.:̄(U8{33=G[6tY *WL3޲ܰ̓_[G|qhmwV;Bx@gk. xSb փ-{NFw>ɢd`nHGݲZu43]%0ꩧLĂ=ԓ5g\istxsL[u(=.Q3zFCPG;?c7ӚW`L>(jMNLmu`r7uTہK4 VtF0Vv]v_I O3^[Zř](OK5f|:m:,g.%E|[,0V en rΜ?TJPަdpOЌR[V *JPUҽ؋o6ڊQ@#8&: XQ(ZУKEonr4Cc% rfз$xIqq;!38 eerJVuZEx}?)$cfh&XUpӿy\3"fgí7Q'j3fiO?D}oG0P53bUT_'Wf>UL[@95NONqbBw?}T b/e0-'6ii3 z5̛7l\y[f]>d/vJؿC?GETy:<5 GY>ݍtksU(Rv+JU(?2)xrSeO`О-o+\<&;aDpШkyI S3 4|]4Q,=H eDz Z\#='$Uɍbr{ 6 ,| -waGs-˅ oU@qxs&&8KSpE'JʲS 8;k ضC4 fZTchP-1W: b Qд d 1Jo 7w6Y0_Buo! (f~'/t<*f}O/Vo]''~. ~|)|gV\5 |7;|$Vܠr9s4CF'ާlɲ'D%m>V`_N5AGذ9öKIAצa[ƐZGX[!ˇ1vdLM(g GrLզFXi6hjWGbіpuk-%]CU|t5MdXCK Wvl0;__x0i~.\c c1bJ7<]ŊwݿD.N[7XXhk,U{g-WYT!o3J `S:̞zR(jjGo|%EA;+Si`d1pYp+)v/^ei`IҸLП b\ˢX61Z´ׅbMi')j<a;D^U"wR60%Z 2)g ~cߚkdzD"->M[Cv3T+ܙ t;*yTAFryʗdwFjZ倖*Ƹ6l{[smsf]i*Kyҋ (MLUخp|mÍO=\.x8bdT e V(H _'BٓK5iGUm]d sT!%Z+V?8k'$)o ,(7GSGlE|ԓǷ=Tի(+* 66"H~F9wωs􌛗ٕ| uv$xFT쥸QؘeN0z'U 桱lhJ$٦.]S.&ڮާbilF:r舭t$Q Ϩ{&4 IgZ];,.^*|`+}er:CA208]娣(܏*sx?&f'Z-;SӳlիDpR경^|{rS''j=Pl oORÏnS"/8wIk *?p3^ՁgAvmۘGi #鮰̋ ̩T N Q9=bo$c)-\r;w^@.KX#6];مs.QG|Ef<A ݴ*(%'C|3vB1L}U>풊z[I-ы&ty_. \4.9ii.cDϩu4*}%# A!%BE$WQNjI ه N-ڬtlN uFKaTlp͠W̯mӯ)zWRN*d1oε룳'wnI)c,S5kfƶ& \I;AuLS ˷XF|Bh@֏LΎqL1+n">_2t\X{׮_/T˒$BoUm8o#)OB;CCm@j2K"C"!<$ 7i2="亷_<{L$Hvd}NC Yi I~ơD 6EC"CW$=V]y;yS8X*n/1ZW"~^溘N:5%uowPq ?RߠlBX Y$]́> _G& c=5AD/5q/㤊RVރ!g(?Uez(DŽC D,$8%-Z0 #+VvIMḙL{N##1pT}L4aFeu.SaV"Iڊh bڅm9S`QNoG~~((27yM>M0~|2D"Rιn$`m*#n5ԩXo}aVV}=UzwjkΘSDՅ"k؋ST#%#Q!h/{q "~+ H3"1+,U9wltgVj qe/E Q2NjT[Hw"áTyohkOd^/CvzԞ/{]aګCP/" |;_%Jp +uEGgQpR8azUu퇅t?e!`fMeRHK}i%pe+ _Ik;+A$}:K9䍶CʁW=eP4歰芾L(?SxEM\ל%Bm?V6< פݽRRl4RB  p9O8=7L {B '%,n=;?z:Cy߀c*!Y>$m_<$~[s2IP9kaw1ִJN ]e*S r9M; o;޴T7w=$Qy&fɧ~ i׵d=5>5ʓd1y70EޫFf`=CjAca{F> i@MST:dE^~Wh.ލ҄7:ʰ4Eu9?!$r9F|voׯ9m0_X@AɞȨ ,VWUW݄c7P(vɿ(Nk0E` % ? (=EθZa/|㯦ukFA Ӕ/Aq2Ǖڂ`1q2P|&ܘs)C9pt/YqFiN&d< ]"3n"{`R1*a-7^R@@X6N a͞]b{ƀOA6ɤ$ʟsZ wtKDuyvn/Q |-LmF5{iyRgt8Jw\jxuG ("--qeiY{D3}Aa M ')ْUݲ`CiM6tjCu<a+'F PAqbd&U[!j!3OY)' ]}U;we}q%g:8?RVp|7tQ2&8}-2d>4FF`P&*'`QFELRLlt<73{ BqސCZ?R8M7,|~X{D  ƒ rEPך~KKmj<;5񖘊D`fʉ#j)M~py[^$3yfYx6b Ġ~6#oh1K'ٓ7ifv M|RBF ?P\[t tՌnl[~br"]Ƙ؃Eʨi3)rM)l"O}5 G`Nv:V=y4/n ߻l>RdzכH1)+ bc*-(D^1T##Ğv~* G -tb!8bkMVnM˾ ؉J>xyx6B4 芏^{? ap1ÏyE%9szܚxѦ`Yb%gKLʏbGz1Ml c=cJ?'x(a k+R;=cv?3?Xgknh(RDaY| ItD)%a澙DD2qIFUg d%w?5 xsGri˟@5 Xe|䈶,pK57}M6)K6u6aZ( # hڝއٮePPFEJnCMz "O=b]B5֔ŽrT s6c%EF-Nv6l R>`@up[2Q Wt6L4rξ㌎6BT GeD_VJ/ȽU?M5L<"A젉 e|:ðשl7, i+_h}kImegx;݁*1yy"/$t)CU:ީw+}:;ky3I'둡i6c+yzMlfnlzFA?.W f3u#ϲx8ܪ `@vXT9w5܍\]ʀeS4J-s:LbCߦO9 j&ί :3W qn{ (;;%&37ev:M\H=R#WqXw]1{}?Ot.N|ܥXBf ZW =7zgbdM;q?a-}˩ĄwQFo}Hf6]yYqqעUу*w^DJp*B7jO|W]˲!zme0Ws(XւL4&yKU.틛FBsSB]:OuT)y]_wH=ӵʫ>EeR|UVblgM݌԰wOV:h.vm~ ,B'F_eg^@)eӊb煥2h!}ԭ$#ӈq89FRzqc=EX%[ -S_;ۗ,1X~7K%m^^kon4֬Ѿ-BZRKpjkU>\"tb$LnCDu`|䚂`Fzleom7E_Yb:s&C I2䭡jP,6  R0/ܰdR* xIR9mT}n\/p {zfP,"gKxhc &̗ԋLl[4濻`/(]CW̳ޭyhpo_NjZ~2_*6_^a_m nr ѥ7(Fd_VpasFeb&MȸtbÎl$Qڱ~qCD*Z#dO%_}?V{w. dlUAE|g~ڰwMRHl<Qr-a LxU&$tVI2d-8…ɧmw`+Mae5AlB[/dpW:}Qe˒Rg_Aړ~wY˯y-2Lh%+ ݒ^tf3KBX&4U?sHyz3j3>7Q#GKH4hWQPoCv֔KYz 0eO[ %:# ך85ĩ.C}YE{O@.(]iu9FՂַv5<|p} {~ v9>Ẁ =ƺo-\b-T`{Fxa7@0Cƚ JKtPja^sr-+7^{hiɀo12_qf'JJ>HB{΂En7a$ 2AvrZ"K֗{XQLf9!#{ټtiq777ń |5B /+'2' v0 /լnsEX; Zm?:6=|'l<2WrJ -OMsl΃(Y>Y0lOi_k=ÞRfDľ*%8cG!m 9"G4r nA<FdͣIOpt8- (p\ IMQQkLfc>5Nmn9ghrKM~y` ;nw5R)0&IaQ38 }W&Cr˿ EP8r(KBp.2eB4Y큞8mpX{q В.p>,p$085G-=e(LO=V?Lá#ˬ%+:اK'"\93،J_44ql3XI::T3j{4  j?5;e6cuQǞ"#fԷ1&`Z!2I8Ɨn+~-SY]ش|t'cc4Z{/m0l)t<1"ƪOI*FFE_|/0iۋ"Ľ>͝Lٱ&YW|u E6sBztP<^6\^/lz#pj M"r8梬iƿΤݧG.Վڳ?1ٟ%.=mr;JߔnLr<pN"}cL؊=E.CvVoI~jh]H,aI݊͢ :zD/mu9Ȳ0ekjX/(@Z((P:ZD%.tMsI?q&WWrPnT|K 7J~-uA񸺃MIeѯ)]\wP$῭ \°jQTP?s}d4uƤ5VIa<:P o+S t;_I.dP1&lT~RjmT4ޚ>4ʇYӧѕݺ8EڮxTOx{}y)T5(.E*Nrp U7\_Vy4>.2S*$[L*؜ ϪT}e>W:d[ v ֣H]Bjb+ _M þ 5l]0 P3l$E]-$1a@xSN𸻨 rKW#W$'skZ!y]{C{6SjnnRKe&Y8J8';@׶λ\1&_&6ۅA;M|/p :e?}3N>T5d񿐄Kb{*YX5rr˪},mE[AHcu[d1Xs6h[d,TA3diԄ F>d@q@*9&7nE ]HCp8gv2})h9<1 #L|;?Gs^)S?D'݉eeb'j^_-̸1EC..䧾JBubiЁa@':lIAZ">X l irX3[UUbI 2'[LX_ tj!|ek㴆 ~R<׸S] kekfDcd\چ+1o \8&(28p<M:SîϛO )b.w:YvG1(D 3 Z`ڳܕ9k3G#uΞT?#1F"&*3hE@j5LGMpiwdoML@q;(y(zl~~eKbͤ$uh>%_rxB:9!ZŽ6Wm1jxv/ȀG .=DPSjvHfDQfwc(E&|vRڼ9 ?wv PwA&"@*'[5kn(p9}@$R=ɋָVpO~ H x7>.b[ 9Py#$K LԒ <eţVn}$+[J,,_}vu2s8)R QzVĭG0g'!K9لf¿!8+ӉHSӇC7pQܴFiꪎ/w  IltY1Rںf Pq1.Bgfuj|#n Iqu6HnV`?kʙB4qtڝC\!'7]%?h7ԫ}=*'T&xo"3@#c"{ {bV@g9F#@\q뫀G.9-RrpEqǨ$zR [Tm|E䍰K7O0B_E ۪UGf |܌Dܘ ҃\D_8;,}QȖJcdP2 \ͳv=[P} !*e#˝w`F CNݏdIU_ǎ5~d#e6U WPSֲ67z r'2'e -akˮzjl#sRuZ뼝Hݼ="z~J~/L ̬#q<{IP#% @W(IRrO <(.WL3vHU.ΕO/R%^p#IV"kݤ7[de0 ޻Acoe:^ ҷ̅ajGh:xJhr y5AMO맑!NuHVxpX*iy)gI?ٞь`XQjn;rgW#.+36DU(~mSQI(;AƃкP#bL5𥇟̴i+} ב ;톴Dj$Ybx?zV[SJA"phʹdy-iqj|Yls鬔o@/cŞ@s !ǁTDYI PQ2nRcԛo4Bު߃z!Wɨ&SFJ5 #90Nطzk=|fuD~=^ 0Ӊn3J qs #م0p o~l&(BcvH."9B_`QuAeśp95e%|!9EI0)\7c5T IGֶq]|ԁ1HXFe< ^h$J"K6dmk@Ů>sXt[04.eLNV9=rکY#Υr[𙏆Hs>RY5v1~ s=(R?-_BY=!^i?l FA z8I$RxEAvEn躮;znAriHzJa\'-g;µAw>-mpk2 zxn*+ |ctQFMMvժO?Z8-k(J>j8|W*LBFmo1[}I4p0@&VEၞKBD=`f֑2j}uk@ Nl ^COiٵ;|U?Yi3ܲ}8Z b-wD% 5FޘNeP{{Ʃ#CTpBzrvj4 U,Rj+zQ~m.0x:ݎriwl"La oWb.S%{͈qS?g!#E5WAіB2 ~$fi3;ދtϪϚ@YķpN)~ ySt-/ޞa~V]aFNP xT[ a'v m{͓&6q$AiրzةTvX/vWaX~|bÜo>4Ib*Nlkf,4S{X#ȡ߷B fN^ٻ%_O<8`f۪ m\QeQu5ni0K+}_6WŋN]jǻ֬7²eIھ#jd@}?7Uu8}2&dŬyu]  Rh;DG xFG8VciYh61fpioPRιTv9BG &fz8V!:.ap7 )5+4#ep!ӈyh gUΉQvJ8]m*|4xETq64s4aY{6kM8mnqKàFIA߫]@6 ɽ"zhR̦3y뱸|mwsH;sekg.D[#;\V]_P׾Ŋ =>L} Fkޱü>!4 @rK.c[HBMG*AtkCE<1g~(VOc|\6H<-ı %Bd 8i9u$W+!"X8~{ t\Y M+Xe\gh{LȖ i,S!]z/"9t~c˦Dz(p'?7k#Y*"_?Χ}Qe#5ӷ)I3j{ƉouxYify2:dMF9 ("mݱM]W6+[3/G{}?p|p7 QQJ.VJ0R$I\׃YF.?OGe{_wM^E advV)qrC$>٭ :sQs~)*#qXla(pQ!hjؑW$ 2_F ?KwbbH뾕ǜ+z:4t|iTcHH՟!m(b_.b?7be@Ra:؞ +AȧBЕ&X5@%ssD^ FW#Ԥ:D815i NaX~jUTNx%c: y$^(ߥۣChԷ`-εl$i^ Jxm_(X} 8D>;ˁk% [wɔmOw$cg8x{X.C%U: pDjͱ %3ha|qp{¡Q,jK Ƞ= Iko*y]Th됁e$#m 9֢!G7b:%/9TRx5 {$uXK&7\}P%U1`W mlRZ`| :mk]@H7~KcA A0~! EYtks}\Oբtᣐf|J&t#LPA͏h$XmC%ZܤE7e|kqRȼkI[B ?L 2R@DXI* ЖN*|>~^A:Att"qDtGZG/EQK>^~j1N q,)ʯےjrb Hӊ- dz.&3F2ԁQ!Y;f%&U"J^pL򆓟rE"}m7^h)V0&#.4&"hZ,E ܐ׎'n܄<^Kqj'vot{CXZfSBBq(ˍ?H ؖr5Z,q("Q)mҽ?M!9Y-.?OpZ?"Ф7/  A?biTlRx8BH#{MQ i7>m6>hoZ`IAxCK;6ȎztlFkI( b䗊ٷE#Ȍ:h\;6 Dǁ:-*ELFm'~~U"L? ˶|7bdO#{[>Ey;*r}DZ4άLO@P6NDZX[ޯK/vMGq/ܖfG;ȊFG @:sHXN1<1Աʅ(@[c0M&#2C!# W9Ai௮wSђMp#2`Id M? 83$.2Tc~ϜBˬ[g;os}8'\CKuځ7vQ[o_i42O&MP#u{%2LŨthLtgtx6-QˍLvZ3gם=R]p}& L+r~|>!\#w4L>PkF4kSD&%Zۚ=1 okW܈EכrZV u*ۍF!W.$? =4ԳiͣӺR-BsT8W΢vEC'#ɐJLz!N Y^KKvl; G@CjWpSY5VP).ibֱv8F8j0A Y;` xΠhBVZ be;MX iAD-,L ,FP^ ~jBTv@aqo'2 Aqp'L]_:T>DǍʈ,͢jiJ4vxRO3/PEb-Ab旌?>ݬ-OGdBF'|/,푤7*۟-1jEC=sm9uxFr#Te{ qo0Ȅ0F~2N F-k%rcGU7J@pgkՖTjv?٪J-b22\h~=~\n)Wa8j7j%&dw Ugޥ;qHD~[W؞?桃а>3{-R9RkSE6a07O%[-oB箖Uh|~,J]?;>5/>sԊ]yp ]/ئMxwIe`߇VuB})Q8fR;Io#}4ᤗ~*mbe!kdfZ yqs:Zf ?Hmo+"q#`gp6дh[0|?խs[Hss&{ ݙ.a9†XGFݴ.wXCp=8L(^L1@MK3ozqT*qf,iZ9NCJ4gA[dR5[&̿O:AMڍ\s '_*~f=wx-S+,9VsX2K֏ +M\25r]-J!Z~Ե tO"բ GtM\)»e;Pu+QoPvĥƒjN#\1&KʟzIm;JHZT"q`:_3޵< leH2|Z^ ..L0>"QQjY[hSfn.9,eVP_qגˆSj0  ތPT"`%oϦd35 FGYuό BApFۅ葜Ԧ(j@zo)arTgzgn.ʕYیTj9O˽TYl 7W6裴s=B݌ ʘ0Z JA#2Q InXjF:̧ew QAةy3Oi))n5i[qcaG^#WVh9qw>JEVbS81kH?d06?+7Oѭ Yj+CP =miNul8p38>bJa#4%Vp+pd ڽAqƠ=d;O)T!&9|Tp˫OIVws".gG! 9&ooJAAW o<8"Zci|;fq]1ҤDqGٓS.:$Ti}F} tOeOjf}m:Ҷuf[t%A[(bmpV,Ӭ9nV=m|ӎv5K|#D!L9R3W88,alMH7+*8呬BGQH`t|&R16Wv9-|li6o@$]<ۀ&@gr2pN?=\Ow,둊]/qZ ;r9%ѱnoM@гZSxrT#ƺ4 uR \*Gl8QTZOO)Ǩv_>jxBχVJ n>c$ `_ٸjLD||YZDmk{"eeaX\KI+zhkAjmjׅڐzf(d]1p/Cwpx0J<[L lΟ/1ruG9y{~{oĪg\gIEuZU<֧[VxW iz%8LP3Ab@|_zΖUAʷP~tWpVmWK >ٜENثShQf ~C >ac7uҨ6c&6(XFƐ^U Uj!W|evtQZmq05To% Y}+&&QfE6%I]\FW /J/-'5Hm]-B!qJeo8V6&J]Wmdڶba7R a,-4)BЮ{*f^ga!M{%H\ۦ)a^Q*tB/u"-hU*&|nmz:kȠ2vǩ&W|kfi+U9;w̆Rl'˫2Jۉ꣥]I CQ u=[MLmi (9o+e|VU э'ygf7"xCp }mzX,%$MldĻOQQ c}^1Xj~x xN(liзBZXH rx1R|mCZLo >;lR`4|O 'bm؊\F dzq?tB}7ib}]R0ؿPS2C_ġv͵Hj+`Huhېx L k`֬Lw^PWO?qrkyQ<,qWEQilawQ)UXރCC5WriudP&ڊ.0UM$eY\ m(RɼGEBkG9mU-4rAWG;cb۸y{]e ՗໭ tA[{&nк^uE*Wڂ7S"qehhʩݭNOȹlԼitHDQvE?%M1"m[ǣ Z|wF : 6WȅE6`} RV&OIfs)'*=Oz* | r&ҟ^T1ͨ{3yTb48{|ޑ`8}b&! /P?UB;cDBm6a]bBJ?W})X*j-y"?zDa`bt|y97a47 ASUMlda1~F4d>5_*E*58"'5弚0%chk* WnC軯pm-aqEV?cPX:?'B dxwա(P"> y:GP6>%8ijCFI RE${PhKz&`>_ê^+RƟܚ#]-;]q|KfVE(@$gW H"wrp/Жϭ{=<i׽^)q}:PM׈TX#ږ]1[@;*PF*a@JjtQ9[qR; 1fߜ_mQ{B )\> Q ͘c1i(:P'i5#-tRXUYK#(Y#xdx[I :B 4ÅpWˍ֬uPc:B7.:4ss-[<13|KٕkNn,c} S):^% |F<+Dpv6:7i}:a-FW-[&ow >{t;D!`WQq(_w=1bG/{ŘJ{aC8LO :{lafKJ8 RbmTJq}|A҉_>ЌuX񌣽S@zQu^f "gwt T}' O1QHR+άR Ǿe5}b)T l(vwZSQgS"nLKja秹 rբX'Xp\]" ;WߊK!cI //8߈o:)P1Q޹K לY9kFVb/j[9Zxfyq[J˼!25/ZpDŗ81TqsO%,^&Hl~sJg0=W4GpU5-{k]]^^1qSә+.7 >OP rpb6w347J]qą̛/ߎy&qn> ]-3#?ua0#\ͤxk*ߦo)mZxj#`{R嶲 ȕ>wI;[6[,PS#,턓dqleJ&Jf' n0 I!Inj SdYGF/-1#TNoc~2tk:kWuldDHZUEPyr sq>:%4ּWJ5sxÀdFex-ܲQ;ML u<=TdNSƪ so~{\N')31P@7$ {¸CLydbO/6ŋd̈́uFSP"u92,;~*G(! ;5vi9dfq1SR[ 6CR4gYZ 7 J  7+# dIOAIOA.RefMappingsPIDE/markup7zXZִF! **] !M젗OFK? Oȫ5,wO`;++czx7mg/MKW2#sV[ݑ\*L;;B9ym) C*YK&a#q*cf\ yRu}8q^w6A9H&:Jpީ}E(ԧT>zT\"E}yL3TF}nw ; v݄(o9gc*Rm;xuQۡC$0PeQT؄~atXюHm#GE7BGXO}om}dVRqf,ge |B)gd8XZ\(_[ƢZ 7IAe3ΗtXŠy0 U{S;HΞV|i992]AOsÅH^g9eÞ(N&?*ɗ Oc)y 6 |9y[(6oGԴ$&~ԃru:N2@.> 84Үw+Rߣ_p%Qs(=k,, {KlX-ݠ32wi E|DaXx^.ʀEy 0p7mz8ޕ1þң 鿤El;k^38&+RD4;>5_Ty߰Zb*1X`}Z_>V?=,ô~d'>]pbt85380'ݠ9\\<'+ό5#cqTP]M1[6&3Ļ EϘ)XP-/; H;w6"6}2Rf>\\u.]\H2"jqtEB |& TqmqRera4u= >$# +>`GѮ~֫ORpة[҃)7,1@q}c?+H;@ `bp3y㞑k=;kuܞZ4J >! ^fs_i8$G},93jmr1i=,$Oқ/GM`>0f/$ߗ} zu5eVHzɮR]ǑAhW"T"ߧg) [,E)^?! `4^rM{29"nٓ-#Muh쏵v?S/ia?QDƳVٍ^o׸ᠨ)RgaVX0wWƶץ rЪlO&)a`rc}M \)cUgmgiI/`Fv(uL*li7&NluP+x1T}k' "ucR!C7,?|b.& PyN0\V_7̑A`x Q״q} ׍R F1dƺ!:sE9( weBum%胀RIk;@XSh? exV8i34~MR_h-rBViMɅ)iSkg#q2wXkgdG> ck%~ Qt հչ~\&n]}8A=[x03WzLD֭c:U޻|\#jQ9H85OO[ N4}YvPmY.l`<{.^o@)Ql R]G.ݡ1CF, afY#7wW<[qE,Zv$|7;QF"ӊ7v]}<%G`_&_cŸ/N?>=Yk //&SO9jd544[2lNpc]c07A[]}^nt˚eџZ;g݌'=zkZ}R6AY,4&D=\SZܡQaOŦX~aǼ?MdM$qTυKQeClG{0$F`sMNh7Lr&Kڑ@LFiᴛGuQZTJ21~V2jjhDo)\wqD.\: ;8O,8{wH2`q8me)8}j0^aXՍ?G1 ?߷,``Q{}AhooW ~ "Ƕ'!-)i另R*_XdCڝ׶iJrH66ٟbK*H@u?4ɼf/%"XZBC'Q-]6qko iI:bRY%ШGi0-=-K =,,}&vܫ #QpOZkKWIa!0ӿ$P!XS2u6: 8A N!ƳWPUXvqs °@,NՇs(fRqqa5bR,(F2G(\g6@gŬ}t o͹Ry6kÐߛ,(]Z]uM]R̹r{骸36]yu*VXOPG`V Pضv@FpWIJ|%b8#=,=n> ,7vݜhr \lY7^JQoI~CHGH a$59xoXZQ Ⱦңfsբl~^+RcJVvX A/RL]$hS&~gvV=nrȴx@ŦRIYtWV3\yil1#@Y--ciwV=@eC>FqoQ[r{.Cŀ@<J14@wwur4P&3b 8on(q1 ?RY Ď`LR^8ms1UeH!*HN5X z~;֬3#4/ oZϕ};غ5jCׅA$m\CZjq&Ҷ!VWcT活Wna>sХkL^wPCև2vi[׀J YF^F!Ȍ%I ;TU*v!*Ln>(Ma1Z-MiIjbf2{%|k56w;uv L4TV&ozX# ,z~gw̷.;䪥9mݐ9Е)Xg(48gЭd2' j>PG*,\QqAjҚWGK啜f~6 }2%;]0yYWt3` R̃lS.!  ingmJ}AŴ*kxdx9hZX$Dx~%5_ph*}xkCpT,*uߦZeAe.w#A5D]~W76@)Vai$Z}/˖ٕ~ºT1 L?G$A'\9tr:@6Elj<52M4aE#>̧z(tUufyocR"iz ._F>-bT̛9aTKJZWo(y- 7I b7!0ˑ[?ȁUt X(_32@< Lvx)~u>.NvǀpE2X/m k>'~˒-ۭF~(iz(j$"Xa0+E)mhϠ`)UEhqOnENl(\pZ~ !Ht~f!v9DðI.% --=h˲}A)$]=vtAFb_{<4k\eMb^x7F9X놊[*2a?9])[yo c)ҒDbYqwd|c-*0|ztЯ B@*3PRwբs}zU>{a/`vm #1vv3\hX޸AeUիb~F]WtdQyO^ݬ\#G/-䲈`_a%9cQO-5YD]^ း#'F:`+U?Pv֜[{3qCP}} 8HGVE ;es"[ֶ,xZd;yzw7__|#~77;E̓ ,wsk9#@@>hE:n9S`Y=:oFABL:փTfyZ@`CۘG1*/ 竩"hd_0m[< >KL|J2QBIrZi2Fh gp :@^V4\߷:1 >*x";B2{q nϤbN])bׁYv۹?n |T)asFWi/]!%+'Whxb'eAj ܟ}!`j6RC=nysl?p=] `DY3Kp>֝`٩n*Gy w(>729,Z1*Úu{kW vcI?aeCWз4eV4џk0s\;ͬQDЂ= DXѫyMI5`Rݙx/&p_jV>1#"$1H`-`hJ<ZqY4`_T̗P~UOz@e@'bq{aAūɱlV6?XOT!OR&}lkwU)U7(=Q bZ9[J?Q["b7 t,GB/|Yj+Q".d+eKʾ @0@_`NµSTI1(O~s0KvRƍLzչl l)[qP77BG#7jspN >"%Qc/}wˮHyw_qo0HB_W孇Ϙ1kyЄW2m'? e+} X3O}J4nYG 4|TtY?/9ufd8:~2MF8ڵh !ыP`bq0gH5njnD'IfDⱌٕhVH݌6&AнJGODi ^;̦`hkQjx4ń82EݶBﲙxPOu?<7ht&KR#KH T7 MSDj)&~za|# p \ ?E `/KqM8x6hP"iƨXVӟ"-xt=c: GQ}`JBXE7e+͡K1\lPwvdvLڴ[蜜;A/aŴ57)EiʢEH8DozZnIV yi<б VTt#@N'b+17ܣft _CnWsR) 6MPV1EOʪ!ҞMM6[+)5Ö+<>&xĒWj㟗RD?#?Ji? ZQ淗t4oDW4V->ۺ$UBc K5"=%Dj&{խUFk=&@?[T?2luwRw4J.%V9nYIWbkx7C|_;P6{Lqj-+j#b'S!r\l}U}U ^hW:opW~\5ƯJu!nM{ϰ,rC^`O*VڐYvAFfBKaR [] o#6I{d];0-{m>eG=w/Oj?i%'INX %\ WIG<.jB!waS]ФV<įiZm!'yC.Ņ跔L1JTAu* lBq0|+hggMz@Жؾ)Tq_ax!.Ҩv, 2@H3[QgYZj" +# IOAIOA.AbstractionPIDE/markup7zXZִF! uzH] !M젗OFK? Oȫ5,wO*|=8?[[eD9"KZ^4",XƖb_z^übO}9% zזRmM 'Ab VxUۻU Y&%F3鋭j1#6 LPSyU 8kf'43 :u4:^e=HzFNa493# @s/t0r7w??2 V|y ^VCu(G5jRq;RQ{6+pܗM՞5Kv:kQ6;lau^񎸧9=jNR0To85iN~rŬT` ̜\(PIh^[Qh |ڔa%_Ts{\!tcZu7US#>Ts+XK>M |Wwx- CqD± o4C 8pF`7adW`~IQfp`92b-/y͑Ikw6\_2Q4}BLt7"2kn2wF8&Cn3RT ol|pFz. LFkk/Jj?*~7̬c xMYc,bhC(+Ura4:g *bh=R:sbx%>ë#9!~.d|r8g( I(fCs:,%jAE ؚْ!r#UJ8Ӵ i8ukQ4kC.Lx/̫T@p)T{l7՝JL:sa}ۦv  s6TENmq"N5PN.7<ܭh@y5P—LɄ+ǷgK~^Lrr9~6 }[ uze'Wn1եhLׄB'iJ"A0NWHVo\Dr_$V̈́m?v`p <n-MVFB:WF%n7@FɏoyEQ$IkCnT#ufSK]*茙z[l>7΅+;ق L5?Lo.E@OLf—tݿLT.h7DâQ|kx\)y{.)Bue 2Iݻ e'\eF{g̻ Q"^&b U\a>  ˺6儊z`œF 2P;@ҙݓǂ! Le#lA+h0'DVkcVkzH@Z oXbCGedy s1 7%Vm'T5n%Osb{}}EVFFs:e=dG+:#\@S~D;=R'zl:ZcIY]Ů%Ηj<ؕ2ݜ A9#A mx+&52L&xj슭L2ʬz/θlIm8]mGWVaeNGro35T< Vs ABQL~ѓyJkuAPUbdRsN |~Vԫp6DE8eHQB9M)}#Y֚4fn#s7tROaNGHӿA8T5C =^E]p4@5{RSτTr70x+?hU sS O!pPz-tˤb|>3=WR~P㎘f?f#uvOT} ȦUaT7؛b8фQ?,ApP4seHk,F"/ۭo7DXB  4_ϪK[1?W}a[VtƟ1hw8}mO &%*?A˿IHd1\EWe2^HH7k|Hjy{1!e*wnv9 z),Y-Ҁ7'Y(`-DQ%^c⣪_=}*އ !uAP} r+X pA=uLT$ Cӳ =|tF*ŽaT |e&[m 1Qɚ{@{%2;mcVN]Xe K U2xgJˈn#th$ %@vjx:jc%m?Gn rP(8BG&ZyaNi_%']]bZZnrVgde9bzYn,~CMȲ*xE+J[Xc\Z BOőjnVo1J,'iRTt5!w֛2VⴷyRv3lj:Exj l< eGj a-oB#MwΟ&ER^d@b>Wuu2b/ /aqkPuQzU?Չcl@CӀPC$`ٹߌfg]Fno2jrˊΚ,Z@C 'BScDD2TMo ub>uYqj4V %Tz桀H!^;&9`9a&=-KR@s"Qf J&F5>]>\լDF݋ÅʐE U!3ExY͗'k -(?GccZGP;;m[+~Gj UټDP55kNf[,Jnމ7G575.qf6j^6SV M%wI_#ojdSYj_Uȇ7RT+|ڋ  $WcCު9?{@m]3d3|4ٸA+'F'GQXEƃ\;= xFv*ި~s̷CeBQR֖(2#ٛG*gwlҰc W# 6֭]b\10l& "uo <䋖['{)Hw Q1)J.Xi.=ݕ&$wN1pzU)#{5/?-ܧmGDŒ*h*;Ԯq&_&w8i ʜe. <&;Ι!H>s@nN%\F`>0PNQb3 2:)\+R5$BN jkU8? 1:[JGæ,hpG_唐Y6W1s&*j绾$\)cvD vd ADe=0xm5ڬeXG#aAtoY,BD&]9f7 %"8 ֜/q 660VO 54TnX52 HkG1/ZH%ݸ~gQ"Y4,W\%윆%h.y߈Em~X{4ᣵ]@?`_lBYHR[~}{/-1XFƃPVV:8B;fT@hC}=3|EѼ hr.+suKioѝhe\·gĝgCfhPtax0m4O3 hzqݟ{j ^ X bMT%< 9I"n Movu~S4 *gUv~i\HJKRtCL}vm7aR@t=N@^XH0ÙK'xQ1y.!~m \8}kء Fo$9ʃqS 0MN8s!u?Sb: $@kr۪z%t4TYTj\>o IϮ) nV3H]ˑ8\eM/~ӱQ6[ZḫcOFo7~iY%Zwqh9ƻ,X{^X$[?kBh(((V#&!`J%ZB Xgn*z(FzV](S*{=cW)C6-3k5?d/9SH7NF[K.6{P MƱ0Cr@IbA{y xӮIM/4G˿+pegDR>~# |a2"X4H=3:{>0] ,cle* "YќaH[}(#|3ɿ/ m4i<ڪkϏbrSz,\ԭ-)<MK)joDn ʂ&!Mr es9 09}k)sl#:u2VmKxAp1`Sn ;ÂCs=^dzVi46=pG4m{U<(y̧JqTV̷TK&5͌V<\ҰEe&4^ID1L>Pg3;13zwL"هm[!RGhPjw% 0Tj8 dՈZk .XKӖB/\c+pwl9 MѪ =|Eυiڎi"z[0mFPW1. -DWد#s0o^L͟b \?oN/I! `!Wr?9œ_O.͍5 _z?3i/Wj(Â)ֈ[%r`W]w-恸hˆ:{4ܯjA%'`Ƌ wX.o}E-,X h瑳;CF0P>0lҪ7V\˖wج1oW*wdhA^O•ch,FWPW4`L|zcI(/ iPiTN>u?&A+ n#iSnǺBi*d# rY+ &0Wӗh/>#;Is=$T0l)֎;wB&Ğ]1;S53p ]\T Q+jLcqIsP549EE\l/=`+:{NȘVɟF6I%*H!&ذNpNev&Џ,1>+tĠZݳC6MH Lϙ1 ޓ2Z:@?Kf< FksѲѽѕ:Tx#A3 l֭q>zo~MG^!sS%ʌ-"c& 46WL  [mƚHo,XF3w4,ofbT+҉}grXǺKό=:-l ;/$#YF(̂;md4uaMpI]01769H*W*<1sEb}9-l î˺jbRD跣XW; XbXֹ`TP"aOqA['\Q{ w,/:u޸?H$t}5@WI'K!&I1g7s>h[glg]HiB.p؍k}3MvJw0<>r5x Y0)@GLze\,9/2f$CXt=fTP?ʝ'(őR_ BT(2 [NAwELGj|7rHKO?F ƩV!;>\ {ExF'FTWs-C (q,ڧ.i@VX4oFhQ7<cϧ&hY2Fpި'rl yYr򶁥TH; 搱ӡn}|27eDZ%sԂp] ziYpg~Fw+* n?cB沤cLh|Ԛ\R3>pDP]J߃CRenOKآ? Caif"cL,SN"tt9|<%_UZfGIl a&/rɩ4Y9k-h]Q[VoHjz[G:oTii igH9Q>ҡhL 2_|b9Vb/= ,..1YԸ7KQtx6}B_Z_h3tW{4)bxWNbr_쾯stPS1(\}xI[h/R?1Bo蒨~#݉J.NY=,@e>D/Qp[U^@bZrU'09讘HD[hf?JvlcKJq>h:w\I\"Ku;ί<@B>ħ~8!hx0NFAlX`Vԃv}hFJp 5_*P|yؽtjlSV_*, G \stңLtB4aW%~*]'#p_`(Z܍cNU]3iu? K4h^ )ciÔ8#w !T+*r*DkiXk)WopLū}J'n`F"xj]]1 ATPց,.JpET6/HYHy"Q|oY ^QdӜry$7\ "bcz),BSP9'AXmPQOQ"9)t12y/~ 0w-,xf2SeQk VBt:X y tHPJp3j +9S[Q,As6S(]˗x 78WQ֖Gy#JV#[T~&NI|5Aoa+k@%Uv&p* xB@o(T Q$0gegrM0@m6"GFwNպ̎i}o@Nh!ās;B!%}yqUNH:UaEY\ u:bZMCir(` @z9Jڏ9E`d~o:ah8LbV.o@odLF8Խb%#" ?z~Y)\4 z?|j.g.^peC9?Nwl?=;6vRdc~Z_2y;!^S&^+VBToZGF>& ԣN;?9;N]y"DZ{nR[*Lgjl˽`xΗ{p _כ\E\ЕrH)cՁliߔdVTa,*2{px~q1bk\+mu9;yʽ[.i8W)k|?ܚG4 0 NٟYD)ep$ѓ%Ƥ 騟ub$\ s *_HbhiZ jb1[\~V'Ut3s;](n7b#'^N/ pg_dq>!!اXD(T*9r+Z/ (u"UIFUuUpY;ZH OIY$f&uΎԐ>S?8Le0hʱI-Ao3B^@QQc\眭wA)P5#Zjo`[tzlU!FSc]{: Lz99͇FQA+̭xJF؝n ig '^zΟ#;:ie%ίEˏ%&#Ư xD ҌY~zIuӲM> 0e&ߒJ-f-{jEXA'1Oc/,:D-UR YB$kJ f'>[|]+PMͣcj[N,Kt.#@(0^7e?"Cm>G><3-Tڜ( 9M"Rep_+xe F(X lޯ<̈́gY W#T@CEO`$k;0DQ`?"Or,(LwM;CjAoD2[uU5^3QЩ&hD eXe "idYں/wF8=-YpicD&t s^fmLäA@* ΄~?1 sMAfh|Χ'q"Fz/)yvfJ$@]W ΈۧM|i[2gDz w4jJGӵ/&]LG$bSBNAoτN0i!no僣`V~byHR&1eYuo֨>rB.+uRسU>kZI~ t؞ nθ7;٨ ,fN,ܠ((xZ [`[:/RNN}a?&S[F-lOTH#}J1k&L?{5x<]ɲY!!`/NAģCL.\ دjOn:OyNg R?UṄݾ@v4^:?&+۽3;Y34A|Y7z鮑Nb@12r&&aG"R^M}/BNry=xѵ9 2)pv(c=F?p=d fAk$<_I!5<EppyNaċəzR CȹyJ5g_t=|aA&aL9cC֯1[ИNd.M*Wk@vi5q\WBGޛSg|ayS- %WսPqg<8oTM\3al.ӲǨ"edJVctξz Lnn+erB"*]B\6@B~wX燒mWzH6O(wܯFl f2-1ic&=a"]ϝVTEG?D3g M_KBFI7ޢ8(9ӫڅ)-5h(ݳ-31rLm7nI,,/<[fNi&l~c5lTowt+϶XQhmRvGd3r+k=5h b-$->Eg*"YףXR\n.ı_w,{s)ڬ~P۰}UBvi3n9Mr72lCLD@G0yJvݏ> Ǵ?R*O-ھaLwQ=_(FfZ=uHaYU1̀%q2\=T?N2JC/ؗC=؎,eGx7<^|5{حjeL} Z*Jn$0U+{K!bv=2Fvm!>%.PcMh W^rR% F04 c`,08'ࣳ Tm ,A!NB±rRE8[,,䵋kHVh CP" sܻ9#-(1kGTC.B^;ϊQjA}TC_fqϢ7VrU0 HសWoH5yu Fؗ&_zp y6?+ސtY,wxL&ODSWH`8ˡŁUԁbXOV(YHj= sz 帲$Y@<^Jɾ9u jY)$V;PAe[JȡCP8&MS-^ݥP#(kB\?`ZUn+sޭcca\s*Q4sr,.m5>eRKwuJ7PZʻ'I5M4n_,eϓW_9/he+djR <L,$qX+뵣,ᯗ0+B[y??3[߃9FD"SWCHP`_NlqpuWh;{rq%5}5D1 P]W6YgG7o+) Sv]$-Db.ѣ)vӇM^S^6QnwaecNÎjaf9jS>>)i x(lQ}ʼ B.>P 0}%}bj2kiJ> bE=LN%Egg|^#@/`3'f5iUݩ}FD&q U[$tMTwV#a{ ^#[a)9;*#ۺ<=g F\/T@NoՅm ]?RvIL9 ?>r96w: ']D@{fi5-_աziRy!Nr+*w-S:"Wss7D2SUMm5$k<|O/A*L+R[`l?hGxjqn }PxG03)hzTi.cjȣ/cbw' S Iv}9v*"Hi:-b MЗxo Ev*H&]G?\^͎"} {(LXM+냿O2sNQޣφvD^gSH4g?Pѓ/AD*gp VX֖ Oق:Wj>]8a/V_l7D@} j`$.L*B!hU?5Io&A7rPEc1j=VcݚQ^(x +<}CW VYna4‰6k(HϿRܽ/2ViaFX;Q=Mf;1hNU&.=7{YLA PSA4!K_Gj j1S#K9)3#jV "Ew&/4MW$ŦZp @ l@8][:%/6ǦA[b+ `(uwTt/bN*$$Z;6Edţeoİ ɝpOh 0*KMDM?)OqD_- f u |!..|) IZgN3KzExd!0x(y( FaH :|\Ӷ̺bx4-wo&U-4J $Dǐ0;)33B.Plf21sUW2OwfbYz}՘ĔF;eԚ*GQ.4 [Q)]#9DP]mQeU>p"GN04HUynҝM \ECi;r"-P$䵁,_W)1C-=.U?K~aLL :-=Ryg qmXhl0* .EQ\aPwCwHq펤%>Л i*"Q=\GN0'vGq4&}I|t#tn Ǎ gUkhuL)! l%k08vv^B2r4Y}DdÂohj!_S-AdD'8uFۊna:D%쑩BVd G F~_=lCL>ǀ>yv]8ro*&3EAdž5k殇 v2@ ^3Myq;6+,U1gb7LB`9]ud@JOYhw3\_V;bhN.59+;@Hd1Q x a<״2ا|k8Q" aL;զ`W*蠆H,c KĖ}EE p\p\KQK5kT$Ym .% Yن*\w.}=QkCFZǯ`\@.w ݾ<'AXEѻ ɛ( 9CޯnRB%p U#`:ջ{R}W1} m"&-EcdSs޻T8ʆ~C@.I XMvp>bT^x>u Y;&Jmjy&5{H3,x{~"'pW@Ub Q?5@q+PŪM=qԫmFˇ0CLbΫI%j\^ʓ5ڶi$\*!DH@/7g~&D ^% >4q-hn^ݟM{eK~ [r# J"T+zZ8ѫr(Vx~?4鿌D0z5{=Tk7|> 6q>ΗϺ,S$Mjl,(8߸z 6d`b׽jf!hpk@#=Rf$?/`QQ 2&87zݷR!bƗGdh.Ҩ7f-Fۏ!< H삊!딲92,U8YALN/[pP*[>w`L2-IcnFUqc u IR]njGϰT*Av8^_c63%]#/(헪Fk5?$ s;wg^e7qo2B7PnøKhBIOz2!;ireocdz#*2k%ZM Cd?}SsRzw0A1`%*< / ~]ˏKZL׶F5ŬNK~B@GE p޻g &>+l6 08]K9e˧ ! {֕[2iȹԂ h\K9ZU!\Rq@N>pK?}jS#+} ^0 Ȉ ׊QqL⶛ &X(8]g5U@ce4hCRzH>m`/W^*zMʱ;w<!#ZӺQ##F/t[ot"qIm̡Bџo^YTh$ _N.E-H'r3 I& ؝4G#Z _/V$!FqyvjM_S5*Ŏp 1Aj4gڪAi+ (q ኱gYZG [ӷU<:H!`a(/sg]'3cN(B2У_:b^AG|&j})0lVPdw!QF{cʒ-] }z>U(m,1 ֌|ve鿅`XT\\ZXS7ZBj7) ge ^h2&tF-ܲxO_?dr|u*BRE+O= YPat00iSV/[v7ptZXi:4a(l~C}p?š^+d* { \9&<$f+j!Ɨ4{PЬKIwϥ9vKo<2ȿ֗8ֆf q;TVzF72ʁ,f]^Wz_M@i3= 'r@@jyC \xж WxBПMT~=2Qᑝ Z n%XA1!@DpFԭ*6>ܩ(X.=eJ Mx`9׺}Z?0:o &9W)My~zs)݅e*ɋ ,);u)i..*"l-_(61T^sQ|lw[kM! HS ma8޷{.q ftSVyRXta뤂%L7"PWR3&H³ a(+#huqo\$㕘X'Iby Zn`FQ q]bS ^,DL|J2cXG^/!I;\Ev#o1 &+ #"4Kc*/^%+k5xwif?f@&=L`>pUr9rh. Ihh˗9R,*%UsY9tc܉=ưGVĿk/.?F:(8.,>Wiwc&zgWAĈ^L@4]646kbUŰa’΢S=z<o i( ϯ&䱍$/tQ!nn4t;B/MϚ e_S*}vR֎kc!s0U(rܦ 0FTӾ4ͤnPc7OB@ C #+x\4b Tz =Zҧ2˴Ep#3Հy=31 鍋XL2ļX ԓfAR}Dj= r:E#ós4BѴ{D|g"9XhB'?`/θȎS SĪ5F@@YB,yg.Iӧ U{{%َ` [9=;<˻r,T:rg]g!v_IBg P-Pt;kb.##[Sw  ՞,99 Y?Y:]'Uye\YJ&!䄹D*őp !`5P0DK35Kh7jQT#-N6Ԣuk3]/1|}fqw<%`K"t!&&<gyQVULJQ$3JB$G8U&'M0S7 F-wZ(~wGȤHYe%ˬ2'Z+ )vӴ BeD٩J{83n!5R%g*6ѷ/[bN#@J- AHg ܙN&^k\[i6ӊtu ;!2K&lvj]_.EoFn@m IjrE n|T%1''i &ûU+u")>u.s3ߤR =~^}%[D YiKn| HDݴ;_ j̾AtRc AT3օ2+^ֶÁ#b 2 qǞ ż_"i¤]Gm7B% w>{ڈ [7 MC6`,;4^hԓۺLԷrmcb]޻7dWhb u1ZMj_}Krd{_ɀTkGb5CJ ƞ^݉W٦G [b2 . 5D%$]m( mAFwRx.׻!tG)'%HQEL ܯtP6Cbז~`]sǤ贈~#\`䪽giuKs_iRz7ķ{nW3ڮ.jU687_oe <}RlKet02 䖧UGQ,aMs˕grR3e@g`2࣯y 'IxOj6PÞ3Qq L3b3OJh~\4`PQ? 95GD7U#zh::W_KYY8IsТd6i?丧Z[WPF!!pyjdƾs0 ̚fgYZ ~A~A)%!NIOAIOA.SequencePIDE/files~~/src/HOL/HOLCF/IOA/Sequence.thy)(%-IOAIOA.SequencePIDE/document_id312R'' tIOAIOA.TLPIDE/messages7zXZִF! %]Άxʆ5.f-9 rq9u& *I<*2g+r̜i *IAz-P*5%rr?ҨrXX0mdf!8Tx>eG^"D/Ga1faRAD`q|(i;赙>PcfPmq`V\:jCb![0LpKG u&v$h'?Y`xj@-WPdx0 bChW7ޅ{Crߙ]wyKhj-mN<.G)#6Ƥ.H[+ +zykً6Ы|Ui +Bm-j$*T:P5!(`WY]+Eu4|\~,6B!+/D**Ѓ&+/p]1o0*!˨Qa䩱كşgdK0% JTbc"q惂lK0s I=Qq4s&!%k|4nPeRwY=~V}dsS$Lo>l2g'~S]FPϟًJ$f7̙ZBziTaq Xi-> 8j w"rq-r'd-$gR #:%Ө)/EǪ'D?\y4cU H: /T }wA7,֛:q15̠ZDžO1L8+5/`gCH*˫Γ07ed 37&-L}1mB9P7`!ō$diC˳vPA~4?yjJ0pfYe~'jOj1,BхwZO;#⩰_|3T[61rI i+q&Be>9֠>\cD!X;p@ e  5yMB#u5r._+_v}pX#D; "JM, b \v sHч9qCŀr= 9F9CX5|*YAPƭ0eVd PaQAϿI3}㶱bDžmKx]lJ8V/' &*'QC&cQf~)Nе=` ɇ|刪`bwL#eRU*o"IAmwPq>XQst ;H8KF{V08z,D  8Ӧjc.lĵ>a= 'nD/΄*mcTa|ElYȑآbwa! 5Ħ82!#0X")&mKrٜcG Dx^{"eiuUU:N,ej.jd1+hrn7Yv:<[_iLZvMڋg33iYHC-#a"m]\V-Ib/tbGzI9{S.jT9VQ!;^,3'N Pxr"59M.+;;x+$sNb UW.M_BFą`7ǐuaGk[2d(`@[X/Aϊ7]t ?Fnca%WjOQŅ (HDeKeB*rr%)E-R6OrG1i}oO1az=36 u[J5M.Sr^^ uuDAZ8pVk67HͺM %Ѝ%؊ˢ*z +;<]6TPt|=4Xxlɔ,y `zF ,9*5;mEk.$Z$Juh ~K}ϭ Y#Io3ydAlM_87A ??Ē/3}*}1tpU8U.lauY>g.Il!LdFa Ew"vzf' vqOI&pnJ[H$n@TcơMrǤE,!FuS`+CySۢie( w=;Ɵ^}c# ~f.p2ߊ3_MI]UĮ :cQS@ȳh#`R-WrlY"}I zŞD[&#gKS.sf@1߯쎏$Ag5! t:[fŞ^G K<▸1`t)7/x9L;'u|vNCLmKu4<OBÎd?EykQ4$aQFN>TMo:o\Y拪bkc04i ڈ^a?y7t֭WVS \âg9oq7BKW3ifU?m<)QF;37Z;jB*JBݝWyLH?cB2%%ljC:^g3ESWZ fjjaQMph x hSͽqi(Z˱zk6ik2YOK_Q.73@tS#Ǽq@vӲ> 40BY:ق3&`E2v3^KKJWSZl6DgDokv¢gDϔ 9I|4kNUD 3%QEB,VŕUË}[^OgQ0;k`cǟRĥ]As œwG!kT,?uC|aX»';yTal}Pf2N%F07U.`5ET/f"b1ZHXy3]Dt(Tn&sLhbHV`,eb,:-^m,,-|O+8n~tUO> gIjg<] yAAqe܊#jW%+^p,ð@CDO\Ҷy9+b>&&oۏhSCߐ~/ /.E \եLE*' pH55gg0`Kχu!Fv k=eDsc\&5u]MkT`妳J|$rRf@&N]*@`0WICazPLb}1_NskQt[ҧ/sbpVǐN_KhnEy{E(( +%͑aS:-s]~Z?cjZHiQ2D\TM-@|M&M]'?m"l밨0G^!ZTHRUٜN{tS,wGT MX񌶮D?*6HӇ&_(*Aݦ.`i0fʺ>rN.(h;= %UfE9\Ú:"F` :2(7b}%4zyo^IJN 6owE/Iք}888Xwٌ(."ikٞfdx׍̕)U@V*ExPoCmG 1IN30{o2ʂ-}8u P~"چsAA86Aų'g$#s ]r5MwK~AC\ܲx0̊k?.ŶY܌ۉhuf<#Lw_(b]i6v 8U’m4Vajc%i-*h_ ! WryVc2:ixͫjf`s] og IV:.p8XS LFЍS@=meBw46(˲@jnPXʇ_Kl%`+5ݟ ,*jMK$`J.(f^s%RFojjRw|#Ʌɕ(4Tcq\w|WL)7WN$ h2O=NH` Z86ΒZ %% yK@%cI:f6=k.<AAH~dT+֣=6S1e[s;.XvRaГc}A<a`"@s烠ڔ r:;}F [:Rf|چ,Jq`mTN wT\`}4rkI0/%W񱨼e}Iw.;[qjJ;f|P-.Ȑ< -SEUWU6Ê i0Ѹn5:ˀԉΕohs!ʀR+kx8`}5N%VH_дo`[oyY]acLWX`KgE .jT ᨂ; 5!Fn v1B bٟ Yq=_.pJ("֨7dCʎe Nl.3ְkPw:Pټ̐:&L$mD@njV6n.͢MIa״ M!!+ %^DDR5#<=4T#d>=$Kqed$6eaKѓ5-ᲺVk3]'0~~xϜP`:u()~er>0 s֟[op{3ߠ.) @,{&2[ëZ>k-KA8x$?}C,eaLI`V٥i/x=Eb!:޴n#U8&|d6aÉM 52GS&=J/`]|2tڭnL9CXңd" :,'C땈s,ts9$s/#u/6iڌZFWZQv=u8<%Rxӽ@jSwVv;|Wq9;ȇ9ra&8-Ziv zd5@ XHa&n&fh"K{[L"le'|{*v+c. IբԲhoJn +1!CX`4+:f6HOu hE7ʵk?%C.zb`;y xci8\4 U5͆F[t~$,Sk5G3x"L;?lޜWlqS 䶉,5~mQ;GaI:f8 8:}NLB\oIdwzM\m:ouJA#+{H y8L"MD?.Us[g)oT!_N_8x٘s3'M&:rO (&alSa퀟LTWB?9ۊ&fmthsiQ̐k578$llP# V2'4سJ/b~ERe\4pBc+ 0gmJ{B90ϧzh֨.m%L|9|6Z3KDH03BP]ڢ3'T;-iG=6(kN6I^QJzc Q'HI#n_~ˉ۰En抣XHJzu[5}aVʾ#0yZ7¾xgewF62caم.ƶhGU# ~>X7ď؆[ ܰ5E>C%^? $er&8@EY~q7i%}Y{(Z GiQi&71YڼT{@z~[&=ݓO@lt. . I!BaE@=57yn-Iн9u[K6N/3v%PqV;M "K=: Z<LrZ]Б|5<4߭+7[$ ӝoelR̚qŹTR,I"gL )dW~TّcKOTWh>Xc b&'bl_$%돽&*Y*y̐=e"}D/V'}?˫iP'j Y':VuYL9:s?^iӣ- ƙLKWh g3/%Gt9ڶx̰kdE7}gwKVr** &OK5(D"&s$ g\LtMNFq(FQv D+TR;oLrwAEmJ7չyHpO L&T7ܨ8B@O#B(pKSy񪔉,8XnpTP2A6 %L%h5]Gp8FnYW ;vl§1.0cBT=  QYy5a2aý9K&6y6l_> -Sߘ6 O1ZpzCZx(sNͣ9/B &O#@"ՂQ*JI=U&ROLZZ3FK= o{`c6fYlE0z*7`鞃l,I(o99@N=pn EBbE7YƔo?~Bō=̧\LŏVkKdOBӡ*EQj ^,ç~I) wo,x<SŻ) GkL >B1ƉLE"9މv>h'C~;\@Vl!0MgS܄ #W`teCN;.9 GRp xI۝gH0 =oEn_dxѸǢ"Sduªlnو9\ E\tz p_O1`W8 DF D:/@%3RQ/yiL+$1OX؋_ܦQr71 SKe:"'_ @zx * !ĸ/El5$_0tC^)-q@e\\bd`e_mI]Qw l.uu*q=V-r#isEm8r֕wz_ 3!TıYpq?qYI1vrٟ si}Pu^˥dYD)v~ yh;.XQ.Vw?&VW-7O,+ewa'_j4?^3ZHZ{ ˴zK:$}-U^bN*q7RƷ3#PP_B Gdś4rDD ٰxDm$nunN#6'תEw#WVϒ8 D낁 Z&9q[q 9L^.ԘXbqpt+V-tU父,~y'+q]8(Il?߆0꺣砳mX&LjUdt:Fk.'}H7=X\ W*F"aUнB JCziӚr9xv85qyPLi;&t3LFKQP''^[ ־H=asvzbY*.<ɝ])hwpQdne{/ z" ̸G\CzU(?~AV:!6)Ld|]GU- \'i> _xbkOU3@uU$]jwרRRK7Wj'<|<#v'ucL0}=a.DV2`%.N!($h@i иA:W)I5EnϞ.6cf& xbTC/ e}̠++{gB4$R#A c%N۷7dKb} Yo Q^p,/KW0ŬwYm2A miPPJC=+Zo+o^;\EשgXYS{be-H~Kԧ*|[Lyx٢ZSv=;f/#;Yb8&e շjbdۧ{1~G.چ9M@ЉPTH/աx[AMjϩgzHfh-/Y &O2ng/k atu;NC 1{[Ͻ"H =u_Zr9EsTYY5BQ&5GhC\ōDM7& *ʪ5d>n%p4f)Px1RI) uFfWK*Ꝙ*@᭽``% xn{ԌY:My_Ě`ИZZ_m8jX}8J`i' _t"a9/V3\;V])\$U0|킌Q% 749~峒ce V[z/1V2-3;ĂZ򋩣O-hwHʹ7C j;ڲƿG&ỡս[XIh.Ф1Ym]TcA~SVjuKb6`w"o[ X irKN|J,IXYy-&kke63@9.먕 [ =-Qԃw} flNτʧfY<.U]$=o|VN]4㐲)µ(K2\r<@ %9om>yB3xt쭣!%ʥ A&Z*VO8q *+qLy':EQl "ʵ̊fFX,4D?†aVjJw MO=vuU vgt՝5 8[+ ^韇$OcyNL=Om;9I iS?Ow,i/KqoEj]Β^66Zmb'4sWeTY}ĩiW\ʚ`" ># dD@ls"o{sp鵅3Q|$nxl*\hآ9E<)vBD9DH)[3M3>s7k2 Bn{ȭf.֫3{ՠv(,F&HمBXkH4o3${@G–HT(_<-)5S8C|:HUF*)&׼lu^i]J & 8_e[6x8cV,Xzd{AOP$K{*RRIχ'˙JsyITB&ĚEXR8G&ăQ6N/G9{92@cDFBMAN[]WmEM/ ?kbquE&ZB6ܵ\pVGxa\i֊mhd;s-6^Lؠn1p+Ѣ&&Ȍz$83JX%jpDYW01H3xpAiÁa2W$ 3rj@b 0z'hyl# 3SvFpǞGnjMӵ8rqYv@iOBuHoǶ6c>"Q[Y;K:&ܓq! PB4R~]+7Ě,DC`$ەzB ͠UbG#.>yۙSRPL]rƫ/(gAUajuOkX- ߌDJxJiC6LA^b*6)1< "{>VCC 4>ΉIeukA]*\7=Tl LN4VzrDűx}h26LȬPҒLQ1Vɻ+w!F^{{Tԫ&`k ?6EkӓbX΍+=V.SOB:A$&R$hiCIw\6Zd> 6O\g{q,0ݣ3x] . a߮GL2e2;j_EOb[Y`];uk|vT:1"[#:EQ55ft?ZQԭ6~ξ 8TŢW{({} 875 4O=K 23O>/@5Oe77!qHmgeJ jﺐ'Z_=dj݋6yo؀EKy%h?AB/Z Xd7[mv] kԙ_.̹ۜ N\ lN9v,7QŽMk@X3͏mExF'ִKlԻ:*T)?}WG.McTRߣGM{fٜi2=K_|<1hQ2}wsQAr8D56)2b*+{!tj$j{xLh[r2AZz_lM*~q; )2Vls+p0rjeth:aHǀ'7_Gբ\{mzz2$m{>P=-8_7=xqu@WbuD&Y1n(cn8wOkt)ɏ0bjqiXonBZyP&tc쀉!Q_',4'Mn#/8oBրǭ{y~tadB<;  cZ榟?hk7F7yF<΍f>Nt+2d 1A12ɊRP>,,$9ltv_ J=0‘5SO"&Bz4k̰x,ԅ]phbv sZnwf41.nե5|*߉۱Uiuc)ɳ)Y l@EDUYB?%bݥؿu/> Y cQ-?{Ft ~;cm&ȑ|FYB1v`#m@qM@a@uإߞ9dM/O%+nzSUOC¨a>zC9B>/>R5st`<}l}uC\fr%wcs%OXC>Cҋ0um?g"4&VRFv0* fq.##2((e&0=@q/3Q0WeRCԴ?hiz^n^HX@p! >=/>HY! X?φYÏgL(}V!2qj<%(ա 7ntp^I d-CP>~Bߢ♱:^1.Jm)u(Ziь>V Z+Z˶%+1od2ɴҬb10n#^lOUpG+"aeClf;w֊OH4CaS nR 4q*@3)=UŊK;Nn_ݪcༀGm:C`ѷ% <ߑ\naHΫ8ؔA/1|ĝL nFGF|$Ƨ{9irtfRfnROEIp{K(] X4@sxpV"& Ҡ#iuUpapb9~E}xw'1"9 B_#iR])w8LϗBLtWA}Xǭ~SEz09~㙩1S,zW9Zi*HKqw)f2x|O^Pn@lН:/M*^HN}N+7$+޿<(MKhTX-ɳWH>^;ġփ+2y'`pW)GRW>(E)O3VO.oI}fNJ!zCN*˨l+nb%wL OdJP˅S;KӤxj0hN;ix6aѤ ,憵Z-ðBѰnlQ^Pg;cPVN}[@›;f>s>Txv$xŮH@9/X̨izXaj<-n\ KҞ%F!*BtFC_ k@ QE69\~k|HYn..RőW^5pW28g ?+0s [gB $T(B?e= "˶]nCC!=I|"1d]iG\2ȺolҒRw=2&_a'i_4Q(iQA`f.ѳc1&B{ _VOcrbH$V$cY=ԅ"{"I~JȨ]$At$kyB:Ļs}K?Dž/,u%z~ߪR0O屇O;KqEwZ Z3U[5BDupQ.ۧLg\ȣ)/0ɕL<ϮØ货H\"}R8LRk;mPmB;ڠwEY*zTġ&аCĴoy2='t<٭&M1Vu 3BI!{C&Ҙ5#j?_:iq3'g S9w`vZʛo 1\l)?'M[{5Б{a͘jlְ,hD^k)O`,Z2g ~ŰXL3'6MXT`dGAlBnLETuhtt|jiM+iT/laf㻂W`"ה\]'e72=Vƌ_QHwS.)̄ @fXZ*|gHeg :-[a=j1S"0FLe$/|>1m{i9(SM"fEtq:IXWZ\P(.42Ix7><#]8_~?f7&v({qIG<|nZ+s:ٱAOdN˧OzJmyBcst!6 l3N),q^]Q;Yf]}t5SUe:z\)P`7$Êjۣǖ H%9D-H!T3<%ti3 ٫o]]}?-Bppeʊ5BǍ"+[E6uz!KւGυk6<668/( G.A4J+ZͰýj#ځ,e9bu) W⣥RܙX-6].X9x9iCc5e;t>*5za$ښ0!`;{> b ,[ߙtLJ $ƒgzC?@T;4͛xJPwEx:NVb驹}IAבUtuU#xaV"~7V_[8}|xwsU6 -aS{,1/>?lF zAieE[ +5*>GYfN z\uWNw0=4ԖW, _,+nTK'NI+N[W41Gg,g> cFX;_tX0nUlk\J/ZjFcs@1$aQ MBzèz1n%g '/Y5©6o [Ee/v@#3 yw]@MłX% *7W70A]PW{ƉVgbHI]e[:0kWZhO#1z#<aε#\l W.͟'h-jꚒ#,h5q80G{0k*K? `^"gR$$Q Z @SfM<]%±ٻE*q r$xY˻0IgRu=S|kD$"= 8ֿts5$^VAi?ڈ윉)Ki5U$G9qSĬSab^zXʼnR/Swmq]ݭKd `t=(?%ȷ?JQA1|'5Կ!(BU@AAoNL$pAfFU+1e<f(6/+Uuȡ[w8hߪaΠSorB'8%'Ͱv5vzߑ$}2f ="gҮW[ ]ݟ QLxG׶{E>b=˻ `n&L~__,x2LXǑ›s`^ 0e>MeJ,Lz`p,5egDZ7t@E~35g91r.+q4Fr85,ua"苝a#c#1׫iJS|C?"H)X6&EskR/DGZ}xW;FXKG}o88;^@UBV]gO "b_ |sth:8 욚{M9\pg3oOzHt"7'Q?}~"dZ D- {㪱\57[(E]u!=8bV$ ո$U}3G{=(6zcIZu@.= Y8NLsqH|C̐\hPBjA͒X2{sfP掫( 6'_0ZlJŞ/CMЏ&B~MC 428R1le+?Y(4flSpEճe9 ][½^ZGKn/v Ѻ%YKe O5ttt&i LِR ? 61ϝ{T.cpf{VOʰ #lQ= 2^Z?=BP3[j݋4"?I{/Sșӏ6W(xV`N)9?D= ?mLDZΌ| ܪ(M33DH9]Y_8sZ !Mj~, cߝz*;U~ZzY<30xݣ20gjcVι-1Y=;(~ >z Ƌź{"\SR1 :C9BHG2K/UaqZAym=3E ؼ|xYkZe?ھw<$H!N W{xA8'&䭇{cmLߍn)th ,\#) nyN2k ?F6gٍj,4^%y:tYί|I$eED'%v~|$#DoR Hד6:@eH6Vmӕ`s2sQg ]5+5yՖm1?ٹ<%>n)FM|"dہx8-[YiUQ z;PbsT;9)"t%ĺγ"`8:D}O5NFƐUR\@_a{G,^2]y-]jkcTsߜy{չL@fs?{hn ^quTIo֬zs êq XT fޟzgd ,qr/"bjaiGl6d^>*!-6HܙX:j]7ICʨ)GҔ85Q_xxh˟yQy晍&%O}9Ыv{HOW ՒcÏj1qCI`Lgiy>7NA$GSt]$ѭPc{i0ht?Bh$x(q]VیBtϴR<,ymQubm'jVl 7.^_g6\ad1(`ђɴ>c 2F&s*9?4>"$Q+oX1?vS}SUPqÓ/֎Bz& |Ǥ=Xdk!WOՒ>zۀψaG#Ul*Kezb!achZx缦 -1ɑ.Ҋ>#@PscNOd;i=2)R`V"[fUNΪ&8@56cpj,25rt5]3'.%rr hwaG7Y_ }۬8R [^ 31xԡ`&pcvy^HWۻ޴u 9sFGjNd`g`Wg>+sО'|Jsg&$YU+8-5JB5RL±\{J4zLqIQrN=E{"ڬBF[Cj|W[i-ִ"΀P^4$w 6Ԙsw5Mal;irjo 蕿ʆ m!S6Q-˨02EvZ@J>Qƒ:ӄA)/?t#& AQཛ)+M x!rT\+U(Sxd/Y-!<]#/TTcl|FtytBTܱYT{X:mu`Jv7)7pk h 6 _,ߟUHc`A2OGƦg8a/y}辷%s@ 'DRTK=-Jq¿X`dlQ3 r]A (5{y#,ڑ T6kVhJ\JU_5OisI'cy[b<$ǍnaǦĢL h/^<a ݬYgYZ ?E?G-+!TIOAIOA.CompoTracesPIDE/files~~/src/HOL/HOLCF/IOA/CompoTraces.thy,,+-IOAIOA.CompoTracesPIDE/document_id334 +%' \IOAIOA.SequencePIDE/messages7zXZִF! 6&]·Iq n[:|&[zA(ٿƽB= S"My:~SA$u-tx }4S[lp4݈\IS]nnx{̅OM[tiIi)T XZF}]HC F\:-jӢsYreG8Մ%!gSUQ,-:ǴUR{G) Qi OdH0LZ(Мn;'mBCʄ} 4U9ȚF@,_>6f[  Ool70vu: ǹͶk9@?㑻}gYZ* %# |IOAIOA.SequencePIDE/markup7zXZִF! V\h7] !M젗OFK? Oȫ5,wO.'n1\7v "a)&[d6{i +OҫIHApRk{ i $GPz؍~ ͡VEycQiݤt1ZVij(:/j_&3~=D3;R)cfE0xqn!Y׋U\0QXk.ASO$BoI$8}ٔ-8C~t:ןDգ;fke6󙤐|V7}l)p< CqI? h*8Ao` 3I=xT/pt' 4,q$e|aEHDiw$;-.bW/:-=CT iWPmZ]-/BF17yb\$ n@XM2!ΗO18fd}&BVɽʶt3:AX\a#+Y5J@؟aM;:\Ghf†%8?:UUʼn8["S]=&$C_Ig&*i`ET$a-LtWumϩhy𩾴1 fd;1Ko3nU*vWl4(&F>'#"h(/BI/9Z떉wָ]g[wv]7"bF 4NE;*a SuZl[rOb՜(3ƯGft%7_C)SC3čUnzW ;l[w<գ_0Dݽ^Ӄ+11Kzпᾦ g4hy"5vUΧ\d$؇uf\lT?jQYGaZxs49#o2}QI+;ɬf[Rhx\.;߮z_6 ^RЁT 0CK|T'P\N1T!y[JD,ujiuKZz]myFDK ֩;ƹàCl-,%WWKVF`Lk#+g l MTy77|$ٰIMlFD5aC~ kP9qЛ(vySbJ!9P.!Ta 9UܶR$@`B PočmEP W;?(SpwNqkr܇\`X~hwʼ^6; ,1|1L %zB'`֍4g,Xѳʰ=: ~:"hӠGWHVٻ7PlBp}`!L @$|W,i>H;A,F* Ę)k~"^[Bω<@tItWzLͶUIN|t87 &ѐ~btzcD߃C@{fRQ4 q[3U:[^,4 ;0ZlDK2Yi=$h"٩lݗVLµԍgft=E 3H }wb:r 4Z*~iFͷͬɹ}G~8j.EN*@S;2 D?^Ρ o+ 7ŎI!p3P[-qV|QH*[-t @" ` !RO}Q>cWșgbodq}ESJpBx#˚YjQ[$k41pzYLC OOwk`tN-U7y2.E^hB.3?j1&E$a9{N'T@V* +uH!!m5<Л&=S*;:R2p;. oq򉾄3+o6vB%mE7L̪PDwϔy+&d0V X~U)y+vh'lĀe+M ^q3wdn+"}Igpk-rb(tEvR6;Zgl>^q*!+<25[M>뜧i笎h<|b)Rf|LdC?м!<*>@t[)xz|  $2$Ac*լ "IK4 1^y5-d;FdǝUR(+S6лLnr{ۑnRFLCIhکfh=w|L@m dXIM++sQ4/P@9:a)A zBCxqn)7^̿-v/: 6|,*75X:qQz4Cm߲z,ᵖ€KkB4{n2`\lƚ Í]^Ch{=?xrf7ckHR5SR %"J8媖[lܲ z^u0V6~R?W(!Vv7"՝4Y,ڠzR` W0 p=ojUf8 s<ޭ5nA~(P-ZE(2(nD4G1M+ 5<5*YG"tK Z$۾Xc*h'ཌlͷ,*pI I~Ih--q9>Aj̬;8#(J,K$tl]&?ߞvq~֭6|y{s؟ 5I `5 1#V1KB?o|1ڨz.+X{~4&?p4x  kLiͪ$Mdq+Fw?lXSe:Cgq,-]%fTj[H\B] z UԳ>eDRY(Bɒ+yuDO&&Sf q!.ޥ_bY{. gxOW#!.^}HGz6 Z MskDq6iXrIIklWu&R Na-gVOe;\bl~=t`NwKCPOs_ׅ[1Q6u\ʘPtd(A`d9 UStܲuGjE& rjHD Ȉ#T/B86bSJV6V F,w$@*|od.NoZɽv+"S*R" _ݚI1jabk|N,gwFv5Z؎C9o \9GO9L%TT !Ja)Wie(A2ZYBˡRSX!jqH/ _3m:ڙvc$]mWjr4\rI~Bui\"p7.:FaqKje&ܶjє},(DV%?jJ{X] G=XH@wrSo:yc$$ o€&Ajal@J!j:<2" F.y)9Ћ>^ 2ډ*ʩo0ŏTg:4۞}ǐn^K|D6-{cNB'Fnxd3<57Z͜3%2Sq3i' *gM+bdqKwVa}T˨F9/٧)pr~q2|!_IL3kNWMSR>sUex%Mx0ɞM_3x9ddy03S>Q/@zNbpN0I6[yKI?y(O¦_8sԐ[ qK D_Do769:] ȯY G6+R}E\) \Jw]&%qFst} Qn9͉'ʮ_DcNsH%s aErlΫ`jQ}Y(2,qtՁX.lcBq&}x݄ǝW~^~H }ZBdۤ_q迤{MaWL(3XB1[cx_m4s]гE5 ;<&F_ҭvRdPCl4: y!>PO<*xfɵ.[%r esu> 2sZ "wsYTf_Fm;i bLWYWaΫݗ'NnU~peK٥w13%H5qN$Xh\V#+Њ;"/_ )E#0Bȟd !EѧtA M7a<*’~w+b%!myCazzcUĉ/^4hpr#籤zAHm~=G2;citu ؇Ny /a2-l5.l2+eۙ~ã3G9_KyQ (0uW;A8 )%RqfF0[Sȥ 0i Q*LXQ,g!#Kv Qwn )3U.iJsx@ax"Vit:J"8 TХjuF`Ƚq}kK0_SVN #D;}︺lm t[V[+Me5W4i~EY}fo$J>? u`9R5e{D?c8!Nj"}3 20&,z׊&;(kMC٭uvE(Sq|D3J䫶)p怰=jFtSzJh͡vqYo>G ТVݯ TF)|rkL]`1d{y$1MZL^TTp!tCENKlŮ,=Q_  ;nN/_zzWᅢ=n,}9Cdx|¢pVB. '01 J_8)'Rg}a eA֜GIj>mA?ebg[ 5He#FQȒ;r|ky5C?g=>1;duF\-QLj s_kS{+9~#389SY7W~'w"o{$?tE Ԫlia)<@o@PiQtp̓!k0HWn"@,A;Yuqa.j{ϲZ㪉eթ<Ik_HbDXН6YS^&oy' oKkCDԜRl-N no¦"T4d/:j[dg\;*y̺ zEȯt)Xo!-]rUw|FQ.x!2+' wuE'3 =yPQOsJƇj|c7V^\T٢pvH,vpA0i/nߣĪ^} ._%[kp~-ytd~R&E5ѯd)؊z $ܱϑ?Ta+fn/%pT?ĊAy)*Vҧ>4Ho|*zbv#a<` }C: %{G7,7|$$]+Wћ_(*-pDsQz[xldCb};9G*$iBqp[fdb#lnլCWG.P6f@^Z8?Fɝ%~[g|fHqMX5tOWeT{ubdhPȐ'_VlE[U%Ĥ$'o!MIiIh1qGAE| n3oSn q9[ LH:Ȉ,ĂFj8w?|'d ӯnZ  [@jځ7f+`$@L)F$ ؀]!yا̷ dEںEY}CqWʜyd좖&3Rl Y}P03Bjfl\lTU^ { }0@d)Xt@JN;KWSj3ő0A."|'`Rxs+!\J3" qJK/<薗(=_ȓ]QrmMDLО¿Z3={CqЃmsf\#=d6aVOEv['wPzVA!Sk-uM64#u(q[u_a6m1DG aUB\9a>#e=^;<^b#S&|@'սg1aH8ymsL"]>}3EU-ioCJAaT L('ExpP2(v ԝSI*3D f;k5gURYngIӇkAh2h6 rۚll C+½xKNRFА韄Qh]Y_C+橂N& fV3EsL%OU"%KOp`HnI:3q{X1 M6/yU\3OHkyu6JN--b xkδ&Z=fB6Z`0 34eMd&A)|3f||wF䷡IH]DU .ξ6\h S|)I`Pq-$dol3Xm@O*H|~F#N.ڸ9{RS@9bu6j] ]"fkMƻL ̌5b<؛$3BaѰp;wlʨR?%'H?UcqI״~2NAyuDf>RM!ӧ޳Uef|`Y*'* <}'KɋB)c,DDCҺ P^{땉*TUz*BќrksK@ɛick".Jܛ;zo"O͊x,Ns+C ŵebRRvEC>ÂȼP` 9ZPO:/0䴓!'5f`6UIJuZ\9GEe. !]]Fq13!LSR$2 H}J}1pdZkH[H }pùg^RH󁗎ZY;;mQ˘(m>lUDMjRQȀ􂺣l6CZE'CZ[:1A4 `ƨIq(l`v&Pi7f:0,SrU77?Ls-A}{ެu;#65_xۈ83`^ cFsᐸ1Wg0 yNuEa%@8U{YCvh1XuTG.ZA R/RعCG)%ⵊZ8 nZh'{OY꧄+ %`aj_w0+VM-ԣ.N/_!٪+_lYr?:>9jBP U,Α†AC1PgQ2o:ol%õW2.kIRϊe. P1Pb̞3e ;3ǗXOFxz(.?ByOE|SI/暭~>B,;YtݔiHrsi]{\:FO B{( b+*pa_m@(eAl9&jtz;m Vb~EaSئ';Y%Ծ3"U_iTg'-Y oz" ˻ǐ7 ib*B1,3H qn&4?믞w]u DEbُT'qe_d/wU2Iw&}?ViWX3(-xp'MR:"A7y8D;[}'> {=ZLjuBڄHE/pĭ$dd@H$8BL 1JCځ]3~OP.m=)bD G]bmU<>e-v2|dB9 +z7w7BYRSYJwKT-k)2%s'm&l% RKx惁? &XC^qrWrz2 XFctmpP>s7fT;+՗g,u57Rnl3Dz9 w2VfPbd+hCvǬF X/M] a:w[5jv E)u]8-Z~.h-l0{OѪw@÷MJz_0sr I.!dP?6쵁˥<%/sVn G0:0h r{z5C-!"TlǢ!fP1`]z RV8×F  0~gy#%TtVj#]mAM3'`n>zQ]s1 Jex|T7YӽLθU1Z5d07+,88zJӴkqT#:`/UCJ Y)شZ2|*jIHT@78j`P! Vw $AuB@0+`Cᙎk`3`Z)nG6!aה}U?plE{uxɐ T 3cE 3L"Ҍ4SlGHVemWVuuWƪ&l>rR:U}Nf9@wxQ/ ᬞx +'5\ϥ35084P2`k}M̼R/ucBnshVzE8]_؋KlVfHy /bY\ ":1B+nCÿd@&9*lq̴)R:S."=e/B. x*Mqؤ\^;}]}sO ^{`QTKF+ᦉi0n;xw1*!> IN:MA[~vS[̞w,ϟjtpմHSV+ AI`z$SqicxD *q" :D_%QYx,˅I4Ad/_/^»?l/*|ot -w.Vv9*dkpKu.>>38)ᨑ8 Ha cUJ&'??c5Ջ&rQuIb[im }:-ؑP<5eb5mUAlT]i.4WZ:N5rO?f=CKau%(Bak)l9Rӳ;SA ce@~%;;R%JY=g^Lf)$@|ph]h0=}i)zY&&o9"; n QYV=q5Q%*H Lۭ eu^}/:Ǒ* W eAĚ˖Noyu&.Š/⩸@\HEG&HI Pȵi+.Y۹y\&xc,r݇\p}1 MoNwGhi=h`^ nh{}G[2"qOvV5RKFi^ KGm,dœEځH=ޢWTюrAƻsT1LKOY GJZepu@Rr|2'iB`";Z7Gh6#bkLtdRg;99cOZr@t 6liզ'wiIVB}BYI?TAS0 fJ6iq:++c|q mA9QfDrݪ E&~ELԥσ.zk|X 3'#E'a~)0Ui䓟40|xE"]hFjc»0H7V#!K5vpទ&JْdwkFFh^ Nvb1J{h|= T& ˮ윑O4Ezӏu$J@#Y¸-!]zsX/scNI)\6~zrr \mx0 \̂F0v8Drr A&ir>?N rgDm/`b%ّ[鲟Dՠ3e AAY'\,i$G"0 Mb8 EzWc67pE$]6@{@|jUԤ#(j!eoIE?A ܦ$M]Z"V'#]s6]Ilɷ3mhQ!NakT>Ňx+s5GJ~(gT= gF] $徰U^tw1>j,"`ѕ[fq 싛8>RvH/m`"I@sEB5"hIƄ/׀3 TWo.>Oʱn$Og>N*p4ELew?_0u4NB2oHm*„;> n I*:f[t G;  _dkJQwob_C?WQ<"6 슾a*ڍdo_2_ 7Y^ۑx̏~>.INKT3'RQ[(\XkB`EK#Q ,74[k"jŭDǫbpO▸($zoRYhgEzqݠ!mb^Yx-i@ PŊ]bYdI7`AZmõ;Y|D;e7!ܐMK|`>A>S=SSÿ2YR 4 c) ў}(cˍ1E(@-䍒J4"nؿB/h,.HS64Rѡ\ ?}M˷QlY?= {w֋d=BwEI0#zE&‘y"D tN bGޭyn&'?H3+U]_%iqI!~b PU<.Հ2 +`Ia؃g2(R{ipA9T'ϧ-w!(v8iYp!sc' (n-k^ 5y OOgVt٢_R5r !i"XX]x01p277.FsZqH2j' FXM1y6Q~C~Z,/[ ,kdo3)lM.;%U!%խn -ʧ3tƖy'vɚU><@ <woL0n9Q,0ϾA8ّ O҈MBVX&&7}N^S15o; Uy*qb9̍J,[英9KK 1CEl4ܲJM@ѳ+GiI/X"r,i`1ضWnt1Vkf E6(I/ 1Dfw6.O"up̫:>,?;W*qa:__(Nޒ"~2T60\Ӿ;һUpˆ(x|wu2Ӱ 6c1xxA9{$¾P $T&B` !=SPQ>pL¾ؤv{!r+w-wy/Sd p'1c|JE'"w{R4X7Ѕ;v#Ta+qd^-w?N|qI8/S /g%VP}o'ruQ2o 'TϢSF|vAԅu[9ef<%Z=uJ!Udr̓V8ٵG4;ZUSf8/"{l5)`4п)_sU̢oa*?m,D(ғLغ_f l{Xl8mdԐ˒p%q[7*#Dfzw~j9gLk.ƌLsVXIfmR:QNڷrr 6,5\_L;*3M=`5?|`BQb%Jۛo1ymQW$ǖ./Dn{1ܐ dE[H46k%'jB/$ExMCKidSUGI2CĻ"Ȏ8)y+UJVP q0_E.v"b@^ǽu:tXCZ\g6s/3FDwq]*J8ܓulpwTCJȚnG->2#9d;)jM)7@ \54T}ILI2B^_0"be(MxGF<6~`wYUI@CwY30%g>ЙKPŹhէD(꘯ˢGD[/=Y\dmA Oܢ@$^bZRVu`t۔ٗPM]-TtRTxy_gqNWxo)Ҏ\@{M ,%tg(<1gǓ)A u{)O޹.R-^i$ ZO5U(oLXYiW"wR! ރs mcQDG*1^TSa&B;BLdY*jMXsҺ,_%\$QKkq)0 M,' '=i`VC=VBB؂ 6Vzz<{ U& R|Jc5yXi_/@G[8lF_" & >*2+VIV[ H>"='XFxN quӔSR l^%2ps@qzk&I >?;B3K$sˊP}D%j%b%'I"sxj6Bdj=Eo1tHOYf$׻PcY. s040_`eQ 蠶S\/AV㇌XDbn nWC u (~J?ưolV 84e:ӛۉ8;4Šӣ)C%dK||WmV e427ENH8H)!Ǔ-kbf]&_Sg*;=v 4P![<^ 3{Ȑ<(okb6=,“!c z㖺:Z\Rrek|~n]->ݙp~كؑIIԯ13 ݓɑf\Pp]@[4Xƿ@fK*5 "VxTxP\!"N:?^"wW6r4Vw?5,uY%&_Gzz/e;,,I1ghǼE{OK:g ѦثYq`SZg spb\ 7~*=y[Se9% EutLh D :B+qa%wVn2L} wr6&G?u(eȶ>)4ڀVIGkm^VX-t={LuOghEcE52|JӞZ2j('?OV@Z%&Ѩ/!-}RFqY`˃ Vixb!w1xSONB7>CMp^N5WHVwH#/fE? ;* 6}"[a%?K] W;?`Iě e>.|#~жiJ" HX k~kLS@ap۶4 cD/$dQo>oR-hi/_-YȮJg!۫]QtKkG3?f!9Su«|)_P)^Sh;WouIhBBpu[Y#`1.=p[k=ݲGu5+[kGA?bW:}Qm~0SG0 uѥܜVȁAEA\z)ǙTb)RUqf*>+}Gy߅ʂOqqc̛"+z&y@yb< 67Ð..#$jP17<&,u3EM̲[-01V5nMh jL Y1%324$eY7M+y5gDse^ ݽh!dPayuc| b7\+vLK\۲nZߐJL3WGeIgi^"5*Viavq Jiw7Hnof`tgj[*34 K5n =Rz@U걸ڼMQѷ@ d=["~#1ѐXoHQ:oLwf2i~ >O1FZ=J;&!XFǞśP.|xwaŏr(sPjȢ;7%I@ WCP|FK-(L[=q}F&3ٖ҂fXZwf4`kCS彖Dʀ%XrU;؁!sGr[JΎ%~q>q?RR]:@+D PntR-̬m KsrWiiL#<(2;0YZ ::M11!ZIOAIOA.RefCorrectnessPIDE/files~~/src/HOL/HOLCF/IOA/RefCorrectness.thy/01-IOAIOA.RefCorrectnessPIDE/document_id324q/+' IOAIOA.CompoTracesPIDE/messageswarning_messageserial=3469476line=48offset=1657end_offset=1671file=~~/src/HOL/HOLCF/IOA/CompoTraces.thyid=334Introduced fixed type variable(s): 'a, 'b, 'c in "A" or "B" or "tr" or "x" or "y"6. +# ,IOAIOA.CompoTracesPIDE/markup7zXZִF! f;*] !M젗OFK? Oȫ5,wO:XܕjI6  O2_ܹ-RLMyGsg 5荘4Y fy+{ꯩIS0S\7*qH*a=gkCĎ/sY ʼn< q$^2*[(!=K{tI*ԍ3+ "2b~[/R4¸]0yrVN. O^] b1+Mwb(޾$}mwTѢsLHd{20['76f(iՏn{5TcM`I.?>y`%^"5WWXBbWO U}aR dmjKy2O 4& (vO259y^!7,p^{t? n^r:Juƙ^`ySj@S._ =V4FLݗ^SuSCw1$JPφPJzNWuvmđ\t2_QDy%wѤ{aH~e pk0/4}=j@ٽfעs\XLDT|mf( +JDzoR>bJWdLaҍOfP5ܿ.l-^X{GkQ@;}^tm9G48^4c#32;$I4q]?pѣ\ ^;^rk[^ADOjdt4f2IBO YeX֤M(7'ΉԕnCS1 a`9Kh괅ܵYJ[*ջ >IF"03T #ѓ4/5q "R[6ݸ7cBR 35G^t-wGz\>h|q^IYb#^x%,yշXB3k6rP38J8; D:EzA9Ov݊8tj3fP)۔ZΚ."= R MnM[^5jn]8;ƭ lbA>cﻄ.VW4 >jWG]Zl~51 FD"g-*i8a2s_$o>؃G^/ ;*f?B)OWJM&|l qXh~s$rNY|SFF>+_Jgj-– sbzAbP.1*MϷ_ E~t~͆:oi8~Y0扝H ,Źɝ&= 2/e/^9~t<ѿ;j7u2歈b2▶4i&}_!v Q.]lUZLmnx5=3ŘG)?PXoq7-W>p$qkaay苘6)cc8s~ Jn=i[Von1Eby!g*a:u' &[GIfl֑ϩV\W*KW^p k]-8 @,5$3)/m&/,X4S}ynQO{Jtm  Hw2m>9t&ic"J?-eUD{,TZɾh>}YÞ {8 'j=+uH y=Pdpaskઍ[k0 E{;A>`oD?R>֙8QvnSR*`]!PB/\,7}^QC]A'l0v`^rL|+%lgS]R VoKX}p)O?U\X9m0'R ?1Wk;iz5I3{V^!ԐQA 3!X|C`l'Մ'bt'3:"+gQ\4GLoo<H׭ HQH;Nt](WOOax߇M92$э|&z }p>2Y?-Wp. ~` { itWVs{;\G7.ӧ ^S;YA-D ;_^#j&h/]OʅFV[Cї,rL2A!S6 4J5* `0Pl痗TGF}9E#(ob6@ɗʡJζo7U=p!m-*f\ΠBuI 6 TW~\a'tkwڣOZxhuM3ȈA/02PZS3'*6!Wutp:3aK ~ދjMx͏*9C;u\FhK?4A=<\7kb٬;w ɂV.зLn;A EU5KcE<D,fUqbX Hл}Ki)+ǝ :e _ u@{t}47v׋}BBde}d8EWd&Ү~N q'4+o4y_[8g]_z>H +[DO.$\3Mɲ F]!Qc3Ԕѕ0Às9๭ax*$cթ{HQG;Uc$f yO;:y}t#\z[ͮkl6MtO"6vNY/48B`7 (NXY m"cKW-0KZ(3ח_7,myZ \7?.@Oah(ة&;s 򡣍' ۖc኎!i˾':W"‚Ձ~I6}LHARP7VK.M@'xAMxgH"R1 3÷pٚDc^kzަM;6Xps~)t5^V_&C2p{\[dU0{uzaq Um#+n6@X+> -~}Ky:9;a=HHRs|wiQ'ayQoYYWX8h:rh*3+1'@K+sM ]4_!XʂFwU*loGP(R<>xj45Cro$=wM%P}*hPU'0YoH39J< 5(4EElϔ-,)9feGkŌD&)S _s0zW~i&݈.YLk&OPa{l1[Rrc6 .h @QI8R)7 lx&B/iΔYtkĐVg%S\(O(Dz¿})} T^1*"jʯ7OSJ(Ԫ;s<XƔ27nP g` P ͟=u"0ǺX#x痄C î;&VYvRR8,,hJ2W)ˀs 2O$0KJ* \~0uY `)Z2Ca*-i6!@bDqY6r.߭B+O#Ao&epG9411`EKoO%ɺ:tf_"n.n~C?4v!Ne@KrlkR E"b?U,BQ:tژv9gaAyX3<~!SJd 20JN}vQ>/'fvMMlhC}4(S3N6q,ih%S^Yk-ݸذE_k7Q,_}֑?QxiX;Mx<҃,b9isK e{MWnj\γkyƠ8̱y@sPmO9і XZT4"[39|[Մoj= *qѬ!o>6}_j0ns' x14|TЄԾ݂&qBd0zJ@u/9Pqc}H98}*(?Xc^ԦyFns-4pqVu DFH|ж<MA_H]-#- -FZghkWQLs!oSrHrrW-AYj Ʋ'ap;c&#$4%E}`d=Ф5;rLL5L} FXË[Kc_E0&0 rO8}8J#(vf(CSS\k猋%gݛifAR?80NT<#K$m-msYCov0&NQbO;oAsùǒR _;Nc1| ōRۚw.}r3[{.Ŕ%gm(xm"i| FiT \+>sVE$, = *TZӃלpSV&)Vv9OΉ_3#۰NN_pσŜ7acnL DiM:],j+H2Lǘ :Xv9(>2FAcV-Q̩Kvr' &1&Oމğ[E&>8rpV*-&zg M.B^Z>zu-/AZ֋0et2օ0z@0s[9Ip쀤U;_1֜E ? Y~ԟJ&W6].87n:v)N퀱bh#@uW$yVy,&&{[||BlK),eN p&4cL,㟃rۉJLYn>ŅYRK_=4lr-iް}_nQ(FTZf-Sέ8-운u\4ntiLq$EY)gL앁>8*x>|ٳjr ۧIw _;$*f%fMV3EtFΕ?KmP%)n{XuM`Һw{>"{W_t8dd{?x&ՀAI a8xLh1t/]?. Xq7.k.'=uֽ8)i/׆hecȄB Z=u_jVk&UR'x4Q]̇Wqj*dƱ>oL*uzu4ӭ-?YVw[.IjòME6\+!),8s̺quO` <:6T 4qɔΨi}UB WX?JzO-"jY 噿c%f L ebW k)fDԵ)VkXfX\{l FL}7g٧<1Τ%?=hքDg/- NME@ˉKi:<(jȐ?_*Kɑv̅W MM^IvOkz|DGzpɅ1䚴DQO}9;VI=MsQg8"|2g([SA<·Rd>0!aB#dX.v%m 0Oe&09-Y;N%"e[KM,%eoSѨ747 5p\7Bxo~8*+ Wdge6Ƿ9r&.i-,h-hhle|:[L95ȄPG|lV_O-uC 瓱?un*lDRmSn OXƦy2OBkS&tw}ue"@EyXsO}e=4wYFS̑E֒靋W65%:ޝ.+:=`wZƪt0% iW:_##t-l#V x>hzn#ڠooۧCL_Ug6QA܌.e%f/f٢QDbyWX77̮aW B<3 {&nM| tfK~Åj^' ۶T+>i5૊+󱌻$? ٬tO_F};ހCzF8Q}Q/e JRe?cx"Mb+)8LHf( 3[{1 J$Gi ̉n$$_/GG@ ja9°a$Bz^@jq ǁEr dܒP#7Kn>)Uy `ƎZ.LqC`[>!]%+KP~8KQuɋ՗sLf:}|n)(#&( p8\-Ffч{~S <ڿeZ| JF+ͅ?v3w1ޚmZ[iLjֱv~%7:RF!p ){'/Dy~٠$ rшɄ'[/E>0 7 IᵶWxY7Q| |ϩ ( rIӓ[- :h Lq/_U0^Pj$9]BƲ*Hb {lI]Ez9P$2HB> m6`,Gi>lx_[ӢؾDK iTXsx$>AKK1Uy_qD7F^ j *4 "c:a5%vˤ93pTؐsΎSrĿ,6cV~A9;] .'p[P#])C쑘/])ʶ}6xl!X)l`m"vjj*x5lW d]V_=y9OɺJ0T8CaI:M{ڄF =b=Y_foחɿ˙-vۺe(,cE.KFO9Y*v9ǍEz=)}`m1!n&UXVCO,Ss'w&N&"7'6Hf{m!Ƴ:>;&͈N |/8%s'ayBD/M>bs;n`|܁f(6' z9" P*+!OPR32z\(oSmWH2}lHLhl͏؆ ˏvMTkӟD"iR*z~3 S!ǼeRSb|0\Tt>ƜG\,G5~J0j\=a4’V\3NYYx)0,Uӟ!ɥk7z8[Eد(3aX>!FF/Î26WB6PkHU|)M*Y~ .drWi|--Mѿ~;ݱN%}velci K%?F% ;3(5e褥d(CNz|vUjWq#E{ K|K:q(uUZ7&R$~C" *8 }g`Jt>I"Tv^*h )Qu !/Eg߸ HՕ+9Ciꑵ'Vg7U){fJ1U!D8uϾqYW?~S6sh-2RSW6/Q\/@)Fy/V~q&s'r%3i V9Pk=\o*y@s<"q'^ ^6 W!|41@Hܓ;HcFmwM a(kx\=Vg~~FA1j/n;hSZt,G$@KYC/l9hTY*334WE Te! Ʈ2e%%! _>\g`{\O-4Jv EN") 5!UqϮg>p1S1񹉲s.n_NG5NάBxZ4N/%FxT~.؄\Ŕn ͂%0) %W2 (忘ثo]cU7^{ $9W 2 B1XǀqaRh|c|J]0Na#`G+ȴf7WȅbnOҀ*dnaʥO3Sضt!v_ĄI^^!NChI77;qq/ IU|_Ln-]*dJFHZ 9=kڢ1vonѠeL2_fߥIQ 3bڽ75)k,x-E$ IB_M$tU+ips0#HkQTli|ž3}jO%^p->6i2HԻMHq\t!lbQQoYճ^(mXk'+ވ&P]y!4yo_ U({jO*Hu\(%x[[ tat)k~CI3,u[9XGJ`n[ 4Ch&5m%n[_@k :$d_8' 'Gx?ҭcLt^X i:b%! {ܖcKps־%4޴Z߄I2;T/Os#Sw oypP%$N[6"qyI=&04J)=̿VT=nTiW|9]Zi~`#ax q$*FoI : WF:?) ïN/VBe6RZS xmgWpnRBuUǦrj%l~xW(;znƌNLg„'16'cyr/4)K&t|V$CVC[6P(T *o~ f3sc~Pa~`xRZr -qhK5ȈǗ^XG "]|9_Z7fr%hmaf8nrn3ήv]f>hkJ FP\QevY釆{/oݯ!{s,E4 RA-}v2B+kT pȂ-]S)Z3zus_1 * c$#i Dbn~ghgzRƿl]g+'soԤ(G'QyV:?0JM0KJd(e]|ǍWû2T٠dի҆l-' &!|o :pn؆w#3ԇ΋ Lo821>N^pfu<'㭱{W5{ŝheCq6qo\˖7Uxx<-=ߑ>se:Jr풭0diw=/gE9(=mc)1.Oj'N2¦wH(4 )O)X8>/HCmZQ."Wа!Rk*\eer>%E')2pe(B4.0њ(/l`2s:GŠ^1Ԡ_6!tCT۬j ~ ĤQS+Ǔ 1P>\6}FEЏ+OS:7cN!.:ON7 )q3&"qE+q UÑfƴƤ>VBR~N0sDȈlӴ7i5@T"IkY. n1(@bbZ7I&D/@e]3:faiCL3[`Oߴ~]],Ρ̢$<ߐ VQkԍj୎S]8[hf3 <!\x১($&%,lGlPcklsr "ZIwpNorhrq`s4 _GADk:〙bG=$ql2A;r!L nu,V_WU8GN#3>T ֘i^jC6BtK?Ă:ǹE$s݀C){cp ?-6[=^B9ñFpV9ku<볺Vk@I%ϡZEQX7̙ U2@tmTpbG-3zJz,q*wzu%7h̝N7wgYZ   DE8)!RIOAIOA.CompoExecsPIDE/files~~/src/HOL/HOLCF/IOA/CompoExecs.thy+7)-IOAIOA.CompoExecsPIDE/document_id318Q6+# dIOAIOA.SimulationsPIDE/markup7zXZִF! ] !M젗OFK? Oȫ5,wOBz>T兮F ?t]":I'?U'1o@a/ +f D&SYhzXZ'{RkNM rtUZNΣ&*Adד͑ hR@.6jZbO5r= {sUHo NJ7qBҧS ad!#>ZREl ]5Ѩ D;^{\*xS{1 Cy/~o _ <5P,2>5XO[i7׶De>&CJd)Ȓt<B09xhM`7rDۥ2LZgԅF=hh#_*t~ώZ='S0eoUk2Wq2?2LO $DAzm},YmD0=-s_پYNrg1lc -3Ճ3JiC3~s%*>ŷbR#`;0;z3l"+4a[C7O \>bjr>lYDp %ĭU>ntXTGAypC\r[b>N_N6'.eeȽ -ςמ;cr}Gw #G'뾰CiIȳl 9%> PƩDo4fae ?0 7;Q[{M1jc'd>@ =7&kSRb*uM9<%/>{!Difr8D>ʚ8ijZ(f_0{b@/-7_U`:jO qȑ\Ы y )NDsA qnNl®T{R-X-* )cSDǚxQ"zv,rQpJG&_usSomnFxƸĝ P8g>JUs?]G*QTቁyjc1CS4T%-g'1<xл M =G5+!TIOAIOA.SimulationsPIDE/files~~/src/HOL/HOLCF/IOA/Simulations.thy,4+-IOAIOA.SimulationsPIDE/document_id328n31' IOAIOA.RefCorrectnessPIDE/messages7zXZִF! ]Άxʆ5.f-9 rq9 F֮-T/=V|==q%E.8m.vRր{y˴R-e`nqp3$pQz(/xhLf-*@W]p1b: QĄҬDc)jM:Aa)g3$lK.ig7BNZJSoB˜e#4+l{$ )8t0ySFH3NwW#sxh>sBYnQYj7,srCq0q7{]0IǟJ??_b-ަhhp*Hv'gt P1(6PSg̨p*p%.F(Sв9YcGϺUb 1-}2۹UMpĠdR'3 qwx2f*(C޼UqFGSFv1 ʯl> ^IQ'+Zߏ'1`?T*Jh ʜ^4r*^WUARJ@4,H@PFi0PW݉RkT9rPg=92&&K;pWA]LmZƷWxuU;#Nż[pu-Τ38c} ;-MC ^t*E"^4;*S r&.Z@.#0L);kk,Va6 5]T~?0m}G/ #l/]v='Y&?_j3leȟ\SO$i%=00<_ݷD##9ЪwC;Aj S7DD d$p-XR9;Sx @ۀ5/` @;|m:tOBO5lU:lyB**_A.~>b͓`c?ŋ T07`/~^sB>E:;1~gfQTUy=ٻ<ĘP𕏅Q^M74U2-KfEyjt)㻉"Lj"a&,|/Ǯ4_uNV-D v1ư/.1(Qvp%۹upk`':^:t6ŰNN)~V:$3޹kC{- !2i&VGbdބ167RLC(kԭl{_u,$5 0Aז:e tW&#Rz1idcm,3EKѨ P@3!7[>GaGאn) Gt:n%X)"|ƭ8NY,B, y`9}v%ô&ηX/z} 8N2y/s *M~p^r},xkԎi~sh o61_emEg.` ;D@8h1}FgwMa\ A격/SOe4EPGp*;9kb#&PL_ 3$$ÄS]/PЀ4z1VVY4˭W;}9S5?>@Q)~En^k%qQӶuqd{@D%*R4 ²pFin,(Vwӭ`qbwת0'*c$~w1dv}}l͌_w<~^F)tW|Ӧyf'%oxo,0 (p@k>[f.nS>tܙ;`֟3!?<,?T3Y)M01TblOo +> o$yTdG0hy{]LitU5xotE!"b[1Sq"LelN،Y8G&@ K3%%RLi[jz|r߭4ȳuBBDEYk%&z*$vՇ$Lz=ӛOrK&Qȩv|#ntyd6룑HJ=P=AΦ΋'@7h6#j9(r$f#(%gs,WYlFsk< ͳ ]vl(r+28Np]=H[2ϭr9rjV*9r S.̈i-*L*z}jE <):u(l㰧|TK _I`IV"4"sXG{yX% O%Z^79 Bh2IR6^NtȨu"0RQ;OWԅD%q7r5`%bO ( ~h47\ Oƻ6re ͵ X ~^) rc5ڶwv9 J3D*UxZMu6UDD0жr\䛮TרsNq4)=Qc?E\%ۢ#c|m *K/ }tFi"ܫg&K<ֽ.w4WTb ')ap: vZ7DGj|!'h45wVS|gtvfyJgk9h`埶f5T42TcCxXbzT?mXs"$<,YU٧L1b:lx)콷_ږ`"*}I8v3XAo?Z7c7ܻ+ȡ^MP=DP>O2{@wu>_#ʜ]K}Phsbϗk鏍 ʃAY/:k"V&sug)!Ih c3b$_5mb nnu)IFIi&puƆ%{oT,9Y͠pM)h/@7(Dbl T9Aoñh"#oUuZ&C&€<n1H>:.ݓӱ)^1BG==Z|zWiw>" sUzUnaJa`]JR2}&Y0e.H)@NJ~%2RJ՘M2E]@0e~pұ4&LϫJuD1!hA3w.Il E2?hC0i BIJ(CI70^5/1jDƗQkvnn4Hc^E2_Ֆ-0. [5Gع 6V'\xsC}-`w/~H}xy2 1"f+wݳT3*nCVh …w wq2r)6zȡ¡aHº(ջPGsn,|#*2˚@'kx2#a+&¸%6+(c Hv<2X0NLLYDW- A!غ{ NNjL?bxEaQ8 J"=^L5н],ӳ/'&BR5ޢrӖyǽJ`ەlʏ#(e\(ӤXSHTuQ*ҾgYZ? [mJdv X.(k7K.kbëf E@6c|Bn捜'2BlUwjH8~&1P?yJ??BSȞ!\lG8C +Աί&rR#gB[-͚OjTwh8Tcm~ϫa ~6yRO vPl[h6 ylG2TlwB #@` <}Bah\.ɗz=pja-:9d$(lm_3 p̻-􁺻{x%7Ia>z+X]FA0 _ )谢|Fh}y%>LAgݠ@|ɺDd;&;%}ʌ|îuZ&nK6f%q͸i^b#ަwҁ EG4χSbj@oI^_ᧀ֝܂s:@HRLBh׈q<) #i^94saR{WOߣyj\*f8e9(,W l Kh)}`Ď5@6 #ĹE!Z+!I ;ESإ)-cvuu .OſT.؀X d!RzgCͮwT6e^G1WV$dz<kB{fۛl;^]NMX}J4>;+p *ew ʼyR5MP?j+^%%`s~t}ַp(̧ڷIV=z{Vyt&Xw|&}%3q'gqQHC(׽KA~jL2iD݇DH7k:8,Mm |͒3#r#]_bzGSeENrBel+ߛ&x6 >1[ڶ y Y)]KX7Yk+R}GyOa[x4T9]F i7^%󢶥l< XP?pjqW.TJ@p>6L7*n$H+.ruz҃Xr2j |?Sj[Ownfgǵ<l(Sbwjo ƿ{&; \.arÕ ,?"ߝ[9>$8NЅrAD4&xH"ZA#PbP;5ӧ}QX듸Bx:#4wKA0Z`WW==!pܛŔOMBY2,> <͙(eq@Kՠ|JԘ5INS6ȃ &7uC" ?ś;_"ioGڠwLXq3zA{ cLD Y90G4 g6kۡE?E:-5_uHFϵJJ1!-P]F_L"@l1Os0{qc"Lh<,D"OE[ݖ^Q[ )d 5>t#p%!t5rI kahp5O:-։MDۜ;Vm=ôz)p*3Z.z^]ʀ篫/Ce2{6o.>އc3Hh糡<3ć (fc,SCLotDՄz AX ;g/׽|~9vrMANI㤬5o"Gd Njieށԃk_ 0C܍fSJy " <‚v੆H@ v=7켈 g}`kp_jJNb 00HB&A"Fb^s7F Gq2'jr`Gߠ`[ڨ\PȢ$b Wia&f[wEkp*{~ɮ<(4եpΏ!r0uyս%n ۱m0] Kp#05[ PȺ>6#yoFas2'z L E3='4Cx!5VU.\SkږڈS]cb^ŘGu|#0QIaWo]᷶ud,%6ٯefڍA(^c1D- 8oaDطneqkβ@"ľb庙b|jUI 9t-Ы0bL ޴K:w 5ɛd: c?~ ~=>atVX)~H=W!VKɚu2D[zg_XC2HTn_SS5p d'TM0|"ΟN9+$LUAp!֤g[w4FU@d5. !<9*~(2IQm%yQJWWn$0fYrf01,IlYñZ]Yo;xyZni3 |Q\1jlVW g;^8(l*B?^-z8oXT<`/դU.ddnv>Nh^9ljˇ#uKUQLإF1RRR6{}(|#_:o-zb%S(ܕ9(cXOl゚ێWK,QS&'aub{01>Ѯ;s3/f 8$)xG[sf@>4#[*N[(gV!rU{ nߠ$8(>҂$A+2qYsK"b„^Ѯ{Y2u΢sklcmT裼4dh`7 `@i.ڔΚ{qBo-|BlފY3c?2t?%Ew5Uz dJhrRТBnp@H;o"rxVqǡ{oƨmǦMHc#1GL';(>d. PBzwDA"PBm .0g=m_7  % pB[d $@D.;脑u 79e{NG.\K@6)N!<䠎KK0l9>Z׸˳g{ 2BH~T-ϡՐ䚧8ಊ"L.gP8ӗ7+:4f!A] %<ܯFM$ru 4i}C5 !-F`5wIKVwҒfS-YTfyNJ_TR*z.|k?Bŧ>Jߛ({ps&WZ{~%IuUt}GU͇+'u~_ayS*CަNEƑDzK{H/ВCNUĽbݍˏg`C"[# +Kz>A5E%e;A&UөNշ۽3ߍyBUh%IňinD&GċY|Pᄵ<ٓp I"TIb_z@?حsѰhLGtM>A7u}o}*iLEfKa:wψ/䅞Su]zΡ |x]zjeevӣUiۤ FYeT"7[C9 E,GEYd@6ٞi9>'>DzCiüVʴT:O L*MB,M̨aBvvԱDV;)Cye$[Y9oղAAR$B@ÿDW+cXS14Dߕ7VO~&^3;hz$q9A|.GIiҨ|"Y}3Rznc(misY*iro/ʩ-W DtP>6$vXnR1Yxܞ\Lz[Se3[==pj1Mȩ|SxeB?Ŕ;꺒ܰ][6dSVI'yXd^+<"%[|k(8t6yHC we1\ϢHsH{לc24vy[T]jp 僩_~wIuOSAeWʧ $C}\[R9kץ<Mq cbec1v!Z?=/[ԛxgzm@Ẇn&~RQqlBCQm7JOU&JdhBI%B;u0HhW)jwTDZ֚Bp l@ 3st]BinJuV[5%E`)&x^[Ui'54헀D-'I17pv8m'eOqbwnjڞr#ϼbhߚ%&JګKC5bZaӭӖÛwlѼy3:U.K $ϯGԋf/È\0 Ƽ)khz1,lv#b2@ZLG,BԟVo"^JᣵA!-Mu3 Hzn?Rq|=f:D%W?1EGeai|ʃ kdo\#;%{~bT@bt&_zieͷ$h5Ql#>+OܽpSxP_h[Di 픨,VgqO9^C=$#T0-HU9sҋ{\;,&TH"=spo#3<QoNhS}.?=w7P6 EJzM2Yʴ NWLku)-0i+\e GY}ݹt!24w}%ƈQ݂_c)9E3%"[l*\0t@"aN~,ju ,B|&v~Hs S0o 0'+؉RF(ǩ3`_ aYreS4s]Uhœhu(A @ =t'cpB+N;-ƾՎ#ZKK}#}X+K}?M!w7AhЂ+<$اyIZR_L ȑa8­!* f %\xS_W2)=S2$΄E%:yIG4Q|޴WpsSF׼IvԼb0ƶ`~A~s- ="4xT{S^8c (!fӊjz}8t\!a?ӪFu!*f J3| Oz;r@t ~9(,4圿L'6d/x6S7@[%\Gx2WTѧlօխEdDZ;Un,F4JGx ڬY-‘Xlu"=LZkg ìVqk;nDat"ϜyªUy 2xh;`p;HDX`9pC[I0N OtqoF_܇f&[?\V~ѳ!7Ib "Ud9Ω]R̿[b ʪց:n5\7.L0 TOֻP_eÖP0 G;2}O C@/&61GN Woú93e3wmRe"92]j4ڡWqE`Gʱdeyh+WNaI?; eS7\079eGAB|3 Sf&7>3)~wRcvRcQoѵX*S\\yl'n\dh3J"m`riz|ꅯpl{\EN+Hr?̶< 6'VbX\f"8Yʷ6čF `ܜ k\wߔ퓈?8l#Gag?N'd#+АZf͂.upfY9bff oci-/}nHRYCބdj(]b/P * /ጧL[p}iޔIkc̼K$yǚ|%^Bv`0MT"ת_+ʊl4{FGKÅsEaGQ5igYZ M;1!ZIOAIOA.SimCorrectnessPIDE/files~~/src/HOL/HOLCF/IOA/SimCorrectness.thy/:1-IOAIOA.SimCorrectnessPIDE/document_id330q9 )# $IOAIOA.CompoExecsPIDE/markup7zXZִF! ](] !M젗OFK? Oȫ5,wO:XܕRx`_ym e zM[!p[ƌQkԀDEӔcn!P93"eS?atz ' %gu`56H;ҝ\ÓF*_'H'k7ܐITMJ1qM^1q͙UKyd?^UzR#M0UNO^ׯ>Jk7ZBȜhґd6uVawSl)~>Id ,LR-oTHIS+Ā]ÞgÎ|RPY^jXrAf66tÿxƷ30cU,ʛC~ <,3S8Ȧcz#WˌzǸ1/=G).˃`1rJnJ$s3T?ɕv1f\ĨOXoQۦ|# JssnI7l2̈́.~0ghR1SÿABAPhfyKc{klcۭA5ܠ'w ,S4iif#Qܫ 301.b &ӧm;~5inWϙFuz b,7:8-C@|p=RV r%`9)c"2n9zj\/c~K$Oٱ=!xR›i 1hX(T-SO}y`ۈSi!u5Uw>b|-:xf5˧![Cmo Sfy*/#?j?;fãFCO<[Bc q6sbQ|$Óش7G5TM'Wpr NE8a5`_A_qKo)bϠNbs7dmP#L t 6PY kt ՘Q=q}p7_yQ<щS:a 2浼jz R1f4u>:M% ϵʑ'?[ӉĻ\m G56q'2; m=d/ D ^VdBvyLY> bQ$WQ矌CQ&;+y1WzUЪlN:մ.Ey_W5uߋ[xOff#xP.=Tc%]nZRM% ,˾OZ!Qe 'ľ|$W4 MA-&4J#]]ܺ*9<*k=;ICy{8ߠi+rGZ{rb! s:)/M2G}DM/TN&KWjj*=jӈ*eN+$-RGM,9ֶI|LظXFV0Z23qxR理1܊G2I#-(l/(c`N@Iwg%?/})N@Zs/nbl Clɏk Bjƾ\{ྒྷdcEK&@՗YMdCTO!m.Ĭd'oz%I~$WqW,0 9<9ǃc+s`$۴tO)+;XkunN?*}q7ᬚ 2`o.ch˿9$8lǟ9R hG@=xjs<8^}s$PyNY1nh͖%j۠C*%d"wS,8$%9sG.;39Tigvؾ)BZ23(٥}xX 3~t-GH1-}*@LzlqzL2ْ6]'&j>`1E# ץ`^G J-[Gf[*j pl}fڠv' |9f(ȵ8f}t̟Isv/!a$Hu_V-q6{V?QJ+1m-?WL>B.@\O-5J #Rys?ާ Qls$[@ >PN#=Cja3Tq|3 P<1v{\e'\a[\t0A̖z/B(-\&fNC(yU6}+!އXS\ҝŧ oa1y,9B|Cb7a[_V6Qdĝ~rmőe@Ph8iJ(Kyں(f}ŭlz!ů'Hu1&lɨrfgN~ZAc>voxK$;vg!fϧ;]'.!ˮ\ةE6G^ɯ*2 PE$"!$_>IJ=}T7V3'S^LKh}=p1 h??`>.>ixEno1 ij olre%Y]ڠJ^@ z _PgaOBP.Eݾå jٍ۷ 7#&.ѿA\/'q+~V;`Iwt0x"S}6l4o,Oda=!o*ðx}'8:ʎ( 5&ҲSEA_ S+b0*Iaɛ,^Z?@d4YX"28R f)n|ohkˤe yNCw8MT%FVvP6yH:\hu0$pJ J5V]t>O8p)gfp]d_{D@ r-J(/KȰ>:RhQuITE.3]j+P(mV> +vМ%rRH\L >9XYOB/%BPqeHɶZ'YW^#`+Cs6[رXaBX{}33z~賓 sV\b"h A654Bޤ 7aJ6IƸ?AНT_l Doxn^Nw%5W$\ ʄk̖-_GY5CC2r쭥ʶfQwqÒ#>ʍߏVjģ٘G&1sxT=.Q!@\L=Cr 䪺ή7ɝ5 ߤ@R?~_3mӨaUr ulEgf9C0f|Nock(#Mhʤ?g16S?^^mo O\E%2Rﵿdg88W;p0 oZ9~؜ufD X^{0NVÁF %o,<6GB!hO(c6x}s~L v0gd2I}ps 3:ZaAO=&|AS2d$2ę|viHvf vq*}|(vU8x A"Lv超u-l!KOyhOIa_K@do̲.-`~"ݻ{l% QhHE"\CXE<_edgo~$# -M 0J?"wSp֕=\EΕ\>AycUm榔NqhrP l[{w܌q)~7ٰۜBC1& M,]C [1YO`ZD%p B~f}}eg412I^J'Q5(w`0K>Q1Tj5?cfF|{ {$A6b*]b10l"iKfcGr]n[ߎ.w%%2Os͘:*uVI~Z#cݜђLiS \|~n2 I ܢvMާwt)T*R$DR _BꃡyNcĚ ҈vt` Mv*(*_Wbɵkxoz!b(@m~(qUҐ| k*ӓd0cCQ @|?-e{WuCLY N@]6M ؉- SOB(N2<2e lzM[Gj$u&o=la1F#XO ? ,y[T\Lm1 ;b5Nͥ_Wa)q_c@J+f*sCOE oJ3u;_ '~tI?ޭ &Lr27zaGT c#oYٻL=Pɼ; ܋cd VąO%U ĥ]/:v~OIFd&x[|u .#I_s@lvn`Z9~hv|+c0?{@=HbZv<v@\/u"Xf5DCR\˵;AuuFgC3$8h_t.4(13qZI!C;X vXmɂ>8חQKsKS47S |vUѰZL6[ؐ+ ^gλ(1@|A%iZ13'}(_\Tү feϡ8X;nX|a8Z%(Če y'|^ xz*$AX`323c)XlA1N &sg-\;Vs bٺ??-LƸ:b"G gȬB2Ǫ[ ̈wiw@8ǶaBB@o7ڂϬʌ4`H!_iTpm4X6OM$]o{]m GŻ,eQ+B |Y).幺'nZTN'İDz%6*2G=Ìhpxjnʋ6 X* kZk`E5KKB  LG sPUb,2|\(+ӐF$_lV`Q] y u1c/{pӅ6b Z#q |8oEHt{t̵?aBZ2vg8,sESfO'3fuQ~/)"tꅅEY)6gK5\JA;"JNV~DƃWs7ֹob pCF`LʩrYMy8׀̢>.$Ne_J'O4 ~#w=,S]L;MS 31~ſoANU%R@C>D(h@?ߢo,9tͨUfj7Q]c y`HZt[i(f,b`ˉ(J6eiťygg9QUnQ/jȤ1uFzEISeE{ %g8ѢnӇ^Gjw{NU*8[xCwu<>K :5zya['ou 1".n <+b}9C5+|S'-znzc <~v #t.QݝpgRY 2%yiDhgmpW;)Ѩ蝎7`=L3kۙ _K;ġ&XUC=r6Vc\ԟVϦp0xIgŊDw0 ;q5 bV.'J۝{$8o5_swc{+AD@H远Pk7x~f?F55`sq)R֏{;wfa3XӅY$ Lg < ޡОhЁ?|H y=b RR< 񑒊il^ezxc NtY1WTE4MK"G^$-0q8u-YP̊@g>}j ˽ 6ʼMȅ׶R7q[s,pLHmT3Kޞ3Z"9e\m[Ӽ*E 05gՁvövaZcys6FP뿫mgܑfdxtl]3 W65{#m~.KFaMžtޟzQ0Β2RkYl4}u;*ZC^0M"%S& ˷֑'Gy?ZF`7q.<eɝZ!깠\kevă@餼3l刋w_9#a(OyRz3~~0a~@btb۫ $(G|5:dz]moKc݄42_1~"BK"L;"qmьj>a u~:$;H-qHIg[&K:9H|OvC~pBjf SdFO6ZX<DCӂ>e6J|`O.G)L#okc}-&~=܏!oOI01*Jf<jŃH7FgY%YvSBn9uNm$pb>k}Kk" 07<Z,\%2m5A@E-oRM{Q7k*]"JܯDηj Z1PlKpț7? &Lhmm  5#*ECǨege =ݹ2|,}j%7n&kfx$Q-i1z.KM~eؙJyd΄їC<g$T5_M=A4ŦBތ$Rtz ^a rڅD.d ҾٿT1`&*99pΰBI\ꥆA21CUu[FҰC*{BzfeHGU-NodgL%`M,HշIPOHf\ Wh$T>-LyV:%C6bJeg7# t 0.j؊/I]ݘݱ$}6[ ,{%θ`%ϻ}p~OFOIUP5eZ̎)~JPu;ϥlXxqP9NcO0^c34,d U1jtҫ/sO2j_.5CD.\Lf+_氏4']/{Gd,݅3Mf QChV3 ;04_)t[1f=Z׀ $JXBeWʾjt9SA=5ke¹44LbEHt=*#:Tȸ}m+挫x ]Ј'Q}cBFq3P~%/?]-N˯-V"<ο:˕2_f}օt <[!W՚p`}~a0tY@yWBWÂP>8H՛()x&m 1Su @PdJdB$x6dÝԌT=BdhΓu)#''MBىɊvc.7ܴK~?R;KDw;tuŢ#hEyP]2O?r (v,o-I נVD7 ~pF[#nYzͬgd#xMWR?YZ9c^29ǻ<ٲؐM.q˘^&aÑo]\ȟ:ˆճ[Ep/}NFc9J +0p Oi ;b;73XV6EzWꁙFUK( Xǒrl뫥Q(VADNy5rF񒠸I6sɦW.hi"!vDs m7+`F&|MgAppzE $| iݚ]קIWB7lJ`>2,ۛd@u.S|ʵR*?&/me@,[|& \dgsҝ6aò$&wAl S(x/$ޫ8z] DH}WzCK6#Tdȟ. ΈTŐpEY]>A{ Јx)z&B]gZWA:Scϐ-h!|RS^!p/eWԆ -cOGI0&PZºSf* GLZK๑s9Ϩb(vgVw ˩SPN!um,qPv37  -꙽K  /8zϹB, CzA(:dWzƅbfGgT[{Kvx9=Zm5 ,fN_K|gC@ \R̐PHjψ!aīVYF_7v#S@ʼn7V}Ygfn e^DahHq7Ě+)%B~z0>؎[;CLnDM.Gi"u L#b6Y=<3S~1ˑ h+b6Bg7NɇMxՇ7O&]W@[||-  ͵"]V:.|`9$I nNaaY VdOvZt+\Qtm:RW;:ٱgYZ VV9>!FIOAIOA.AsigPIDE/files~~/src/HOL/HOLCF/IOA/Asig.thy%=-IOAIOA.AsigPIDE/document_id3069< 1# ,IOAIOA.SimCorrectnessPIDE/markup7zXZִF! +] !M젗OFK? Oȫ5,wOB^24+bTX4Zs\c/1 r ~f*D)4Rcg Yn1)u= ԛ%ͅwC+w]ؑv s={ɵc~N7SG"?'L4*rZecOP !F 8 eaeyLB7W|}:mfbytF'Y{ QIHAC ,% GSRH=k) Pl :j-v.bķu2Y1ڌIVŽģo$h`JV+FW}.UjB@M- *[J`ʘ@V-Bqt≛| %JJFWUm9_':y!#qG\z۟RO _pD8 PCo dSr>xt-4} La׫<*;?LE-l\K98$ػopDpȃYrH7ѐ /o 0rQQagNˬ,ߚIJ%FV썚Q_>$]b RT&g(⹙>d=q_F0?]͝V btClUbEڔu ~{u)Ha]eN]= (!kJ"5l Tז!}ڞS4E @~Y͒&ʵ(6Ktskdyu )X_+uh(GT\K +m*yS`_ < *dfa+8-ກ]uȏfE~oԘ ّ=5vbXR^O@EP/ޜάf]|05e[ ժQ!}F6 ŁI VsU}r;5/&λg,L/ގe??fI}kXcԈ< &IǸ#$u| 0m)=DJWz}]k=6>PmZ%gp+6?Q #" IKL8s< 3 M E6#=3/cX[z\U=bфRVʴD_Ir_bIC֟wtO ZE m~¦![%PРuM\܅Kg~BRQJ/H &H쿜rSe!mO\sLqLjX(Þ܅Vi =[X8ÓBT@w{-׎i^[eL.ֆHo$~JXyxD(lͿBS<.(?@@QZgm.M ?B5_)f47⭾p&<e 4[:1,xҋfAZnp?v1 /$&DQ#N r{ˉ0xS>DŽ%ֶѪ e]2g}G0xrD&]se/߻qIб~,B*4{NLVuǧDLsQ^} ,sf#ݞ!W%tnE Ѣw@$y[}^= ^ -&v:RhmNche"#IfYX `+h YT{toH$KQ3aiꚰhXv؏Q۳p|j~J*y p8XϜ:>rwVNNms 2kT6!_Zb3`Aт> RfLG[&A ?A#!LIOAIOA.LiveIOAPIDE/files~~/src/HOL/HOLCF/IOA/LiveIOA.thy(@#-IOAIOA.LiveIOAPIDE/document_id342z?# DIOAIOA.AsigPIDE/markup7zXZִF!  ] !M젗OFK? Oȫ5,wO* Ń˷v.uF;}soeb O/zJd`h|t+31\jQIMˈ߹Yi7G;Q.{bq{m4.8^0kD?fѭZkW uv6OCCБ3 fRkB$hŇöH`L{&ky܇h^N5b9#2޷%H6U`^xten5}ѲWo*c:v$)24* nG#ʁt/YOf ` ڂhfʵn<~gGD-HкSK4(+N46-p7?ބT'&!W&HN^wuEHwsJ6˿u`I6o{wt7z4$WX,M.8x)[[Dޘ H=%b῜"C7$ Nb%qBg"F!E v^jN0.W9#lT[闪j:e 3`(@)C44™FtU\u7NmO*IȰlIh@]ȳ+sFn?A0MDҮzOQg!x(sѲS`G9e5*gTrg,3WfT$U JH'eNOUYGf8]x#J[wT+? '‡[-Q!F`4_̽5*SJFz|:F2Thrԇ'<YP^ %i5T\݃2Վ&^Pcubl! ]s;vE4vYUZoV4fn/Aj!J.)Ŵf}a \n6LPVdj=ĽZ6X8">iZK> -i xiנk!&}*͖D-V{L y:f*z؃ {b &{9ξro3mD)y{}!e^MsȮ|Pcw讀/qjF1Ϣ ͣ2INݰIm~YS1l.DpC{ n+8ぴf*.%>ZQ3gBMi}[B!_QD;.W:D9ЮU9Y2\~F׮udF+1! el3q!SĆm CtV6rOOƞ̈́9NoKf&ʶKZ;":/W&^ڥJXłAj%p͒Dl:z"j?Hl[kF|b\Y]B%jHv镢m>c&Zm M 명b$+p=ܚ^L̒X}LU8rd S% wN CGcP ;Ծ0-_cGr+c`3?|$Tݎi#0)|.o޷z& Nt;9s2VZlg؃,p[o#+o- Pœ̋٬Ju(`d~ ps䂔q֎/tM#pLr N7hFl0#wagFjjI !~rCܣMbV2ԢkVSъ>=ícZMn}Y^o5-0B6JEF!s+!JAw&^a)k9UY LC(tx¢6m VʤN_(2a bH!b`ZB76{ђHqoc,J#'Nٌ繲ADψ$E{6(?0܍K<FGrLEN(\Zm{@#Me %(dWo=ko!JRC8,Y\fW>[1s1ȂV*|\x)DD&JRk28\LqH>b<ҷIN_R43\t tmX틻^CbM3kx(jC\S_;4R(bߊp^d,w4 ^P5\uzYH}6y["#yG!p>CΌtI.{Rr$c]F -> {ˇ }h`FPf^he0 (JW dn؏!2t `1YI %@:NjrP@7 档tX{B}4N$<\6ն*04h[hI~w):ŋvNBΟ@aT,8M;yFFa,Z(WbR{{l_!5C"PLNY^* + `gYZ9egcō$ | e1BU1&qN\؈}zT^uqb|4ߕ.w,$6TԴqԒ\uk2iJM=)TA%OxݓGn s@DZweSҡshçP˼}T A~hrAwe+މkU[eU,{:CUf9PvW5vg4:ްBx&;-`uͧc%󸉇Y:J`W:% WIU>McG>*ɑ6fun|gIn6lZ 430l=zÈ7@Pc0GVW2'Ua_GŒ3̆nKTqۍn{po}:ff4m˵ѫ\P%DLPiҝviVs)}qukST=eZS1N5afk(-V:ȝOWO_DŽcȡX_$c+0 s!6gLPqOYke(ydr+p"ْv>7ĺ"SX`op*ɰL$]f[[ ` b9"6xpC@N)Ƅפ\8>-^>C,ֽ[0"sfq}Wi_3153k$ENsC0Si 2wNiUJue[r1=I[cԽG1gV7اL[']nL^5^!k7K1K$IrT1oB)4r]MA'ƋWh h&KR]}_Pk@ƍ % qk8R)9e u $ՈTЃSLT(߅O|=^p@ X?'TvS ^`9:q1 xsX91uI,NWcnM!^ (sւ"Rz[0bxu٨zp]NadX̬-ǰpB8YBz'W,N]XL4սJ4JsaɫyOjdoG f[i^Sejv ^ uK=e%A?Q=tDs) Wf-p+w/1+qH%V^qK(Bf+e+(}WxR(x!tN!KW!Z[LO U):%rR&*@)-yԒ&vZX\s\ ׂfDo2Ȕot"G5$^b|ދa˼`򉣖vЖ9gzcu o{ve>*uqM'ńb8) Zu\(A@.:l*8)[ڛ'QKC"WV>CNrr^uy+w+@Wwxez7}2f~Yrd#HY24/G 'LH[g4e }mOecǪ@#;*b8c4_#VC_"!k*Brܞd[v]L1t̔e4!r81 y!NZYt;o,_p4f9SʼnΦѺIɻfq_XH;Eְ|pUٖA;z^lHra $txK k±-ŨLsDT>Cr6cW SiRTq O#vՈunqI[&*);BJِ:D)RF>.Il;e\+ݝ P[e|r؃E!|:PgeqOTyޞ5X$z' Ni\.P=I`nR2/ȘnDd4єnơx+5oHDG^Dju߉m3bcmx Rr W HrrHޯSdǬHѵZe>iKvH]IzKqad<~)ݹB\ . P1ΗEɦz\DOQ5 u&蝳@~b@+,"' KZ`߷W鮰< phĺo3iX'1`25rĻ% O\L"@1C E]8TwCFW WWI0I@+QRo7J\,E_)2O r=g!EģIa>4D:s!V]6ycxU:+ \TY]G$EfG:*"ih;{VKZxD=ιʈS1G.ŠQRz8rY賋Ruo F4^>e`6d6JGp:bZ}~0[ G34tYG@ԩ͒r[bx8&k-w%jxCzSU%$?^E[heC~u EӓH}_?lѤj~Vj"yB5tJXlT'YM&>QE|~w$c4d"VO@+ђ{`ʹ2Cz"h5OC7oM*)&ỚV q)J4ѓ% =(6*$e &s2oo&[% })~3*iJa?b-ԥMT!Z+Īcz;!$޷+nUҾΔFJ_1LF`{/-eUG3)5"z0Ϡ~?9JR}KMP\3*F˵7ւRtVRJxQa04rafIWmQ|.d[BNĿWlHrvEXɁk=m2d8=3ϑi싨Su="^p6l{(3TbP ![9}Z4r3# 0Rwz+2N<ǫK^9ly Y~:9:xWZEeEsa\ b)b +G2wgcG++t#Zƥ*BwUov h.QDjT FN0W5AKՎuOQ|m0nC91;UT_o)ّ^y$w-{VPHz'ggpuŞ>阏8f xˎ"}(:hg,):6գxJ x-}/$)2FRWx}݇gCNz mzN&>[h ]P"HB_޳ * N2T{ٙX62Nlr&5}d{sO2^nγ杜"@+6~WYWpZ3]:*^:ɛ7 |G;·`](h.Jg(|tWl"fZQO5 p f\RR5RzVW@ |{~EJ #brL+ цf7*l)c(r`kMc[6dtK GhupH虀׭ɸ]5 aqY@b 4φOrԜA+bqKz#jVj50"?o]6SmML-DHv0>\9/hm,W Iޣ3kTtK^Q`A+~΅3pO'd?!{3"J3DEطUè//ߟ/W_)`YJ,x'# v"3@ YB.p*!0 b,x\6@|%^mLA ,K]Rn4:>_D0H{"( &7b(='makު}FDD+$8k[2ı,I=Bp[i]WAZ?G'*.̥Clr쫺EHϴliŹ]"^hj#9?cRL,Xqّ\ߗ =jKQj^!aiMaa7 BJkV.y0RGؽf(c40Iug63PܜY5T-U1>-^q(.jP}?g4_}:(R?xL}oE$nհW]uҠ5GqQulY֫8V!'Mq铧:Hvtsw;˓9[ag-"A~H4at9o׀`4-K uiৡWkZyZSȅ%/͉a7RʭE%ؖm*ʊ!IQ@Vq~KIN!K&jc@/<^K8A=.= 6^x#|W` :o_^ PLX1|*ʝp[ntPqWQ!A ޏ<>gIY_Ek)Bv.{ѣ;ѧ7dT ~4?Y54xe\?pLLIRMl<% .1?v.C2չyby _/XP U(7+,S`جGx%(0dJ9@KpK)Ak%I%Ib'\9vKR*kD65{ 7Zb$e6**]KewXle#|^X ܅d Tf`Ī,Hd1';ā"( Fb M@Wg&2Pf8_kq"s=(WYbgJaW$݀$0?3mSNx'ouO9:P=+t Nھ1T"Gy=KL|O".ն ;[%q|`^5Z%-kFdp_$!_ϱT`aq"O{6&2 ݛ sk#kMQ-`ؤI| a̟ט)_ޱ8rxiևfmFtYhPѭB\yTRdޤ,TH2 kA;к5@h) 1U[IHlK&ar7:b#(okD0 BLB3b CcX*%vKO J "L]|෺ɞ!,ץ8(Ql5cpnb y׫ךg+|hz,PGPeK`U@fW;+k? 82;o&iiR=gx2WS0x(zDarO]vqSčIU{&ҒY3r^ec3|,7Ƿp4h`"B4|+bP~.]H`=uMt~VkTqP8y۱$B"?r6>&SoP͕L:3g /= fe#c:k t^}X#oEG|)(tГ*PHG3Uf39:D\iáX.j;.nJ"sX'`6(gS@J"{2!K3v w*5ВȅƔH/gw:ɛ1HWZVu^mʗ[cζ\s Ny=? oy+\  54Bc흧Nd z!Zc.D\.4ҁԖ{?a~LeCjt?Mgcx$K ZͅFI&Gp{ߣq (KGGݎƹ GUj ىU>p֍3Ad/9a 85 ʋ>ʅ6DKz`xNB&;~y[q @ 4 54tclSp1Kz2Soߟ~6ꢂә_ 61OTX9@Uι3%9_tZTQeOznw]CB_Kz[H2V[Xͧk+Wp&Ĕ 'd䐞FSaP`JS %VU/Vnˤ8h6Fq_~>Yc 3GoHLn2: |qqhU݈W *Τup D-JA8YRŐvOtאAy iQhjW-N)VsZT9O κn.' 3Z˄HȫԊb+tK+~$r T|H QnY{BnJlt<]Wy3;+a}}$PQ 9A1oߑCb`4ɰ:ZɄx}9{uev}H@bYؓ-l% ̧CPElz؞/nǭGk_\o*#peą{vn5_EU؂6y7ܵėa UϑKz,)')L|Gb1_ײ"b `Q$~w+$=!@ GYvpgCpl>PD`egIAMЏʥC)wH1Jh["HAߏQ. n[Sr^N7FE6%c$W;c]fc'WMJhia./n÷4*LRKn1l筄\#{g,{4d5I# #sH\⮁w 8%zbOhZ-G34XRq2jY+n8}R(*Qoi<*秗| 闂j0D#<7 :~R=$ {qy`Xќ\d O6tdJ!USK`yD~bk=nA: ]h׻b/}%2Sdb 1ؾTX7-M 0g2!ׁi] @~;]z zh#%GjEM5Eչ5r* <y0p~ }i̵ 8t;kp%f2{{F/N1V5ZWu_T*ކoAl ǐf;MKvⱋv;)ł$#Fڼ@0>-M[Cp{%YSEڰ0Xz8ӗ2K(w Hm?RhO|&­yFEJjx7CNxҥٯe 痤(΂a:vDQ_PVؓ%4ߏTgؗ V:p\e!W;5.X_Rخz̳u=&*e*O/?%BG+ZJ",Rj!粕 z0UP=1Jf;+0M`G1+Xv6gs4mRٔ]c 4*%p}}zs&cg_GCG (;!i(vYCN]ϧ<۲_/aԎ.XPod(+S$!{ '!1%*"Һrr,߅q8ctW(aX!~_NH'788-ƃ ~NV@K)pR m j8x\@Z}`X>U4Kc1PyM0^)%8!Kk$X"9TJv4alyf_'! ‰0[ h=koK7[hWk"1䫗B1\xwxyYbde˗daxU0>zrɀ؉P Uĺ!t\q8L8ʕdPd-Bq &[5]ɠSB{AZ9"&҇\f-6lGT? ^ar+A,S||KwRbޛG|$L S>0g-Q#k ^瓯$6/?hܞM/Q^Td߾YEkSvϓG)4/\uT* ӵ"b(S4`)Ia3mn\hT!D|aD7P+|] :;u&Y\fF?br۟~P|X&K @^ko"Bw afҼeս0~^!5bDC\o = :bDVKmgyDƋF:IIa +#WCX0׋.m1RB N.]U \BM;0|3~S(/`#ٝ)'~,e>OĄ穴Vm@Bdm%gc ,P/\E=zޅKXAlvyA?Lj4F |*="d 3G 89HK 83hɷAaJ)ƦtyĈs%_]_Vy7%O@Sk/n&VSƌHf@5L El#cL%%0`RNQctaK^6ɶ\!/Tj]RTr[':oFR3Y䦖bT؟gfфc;_T5c2`XSz_G9-x 5j[ >8u o3'`Pl|h}7W/hFnAvݔ|3z@Ƌy3GqÏ/ ꦶej |1_iL}+\{2EAEw<ު|/IMIm'_Q %&)(!2j!x>O`RP#MVQT[~=ߺŅ68 ]x51V"0M]V1Y:Ol&v xg^-' OzړY$P۩+o&%BI3K-jS [Fnx FqZ~%iF D3;f?Z5ۇ-Ƥ-{⬸ 1QOL/TmGvv#{q*A- ʯm}KD~6A4 @FUV> rSG >e @?&` _ս^a245EM?#!a ~؟8' !^{뻁ȅKMCmFo hGAjQO BŻcoaE,8Etоj љs} VfʙXr'8".ߒ( TxZ6@ROޞG=:8f[ћ5e`bZ˼mkc4j##6~}YM u#o8^T15S(QlRb)LBIIỲtRԲ9o:Iݝ=5-jG!/K6 &ⱍ,dC] _BkQJgDN@ވ&Z?TDH *~5jÙCzU[h:[ҟxU8`&cXSGc341~t//)*۾*A-~=. Q+wD`w&dTPni]{-Rk4㌧Y6}`  TR?*fϩdA1\c\)ӕ7Mlֺ̈́0 (|^U: 2M!g,btPDSA.82IP{GosʜjwZG7F75 k S Ic:NHV% VY'mè MuU  yd?2%ZsjPz@GӬi\T^Xz]xb#JހAA*}=eHL"g$fDi -(QJkGk=/ЭP,,~-pw@m<ى>Ќ45.w,{ɛj y^IwίlspihD~ IJ&Yscz=(2B U?h/ipyjJ O*Q>\jdqMm~ElNU''x> CAjJ;LJ9yzsqн凩Gtyv+;7;ωo[֧qoB#X _R Pq HrcYD ?}"Z_F`ao+z^Jk;Y{ińLaZږْO%%hJiWgqXnwڙ$hؒ ҳ? Exr6~Pb:{9/&;`.#g ,GjGu $rfݧ'L!xZ="ǝKF k XV}Čec CYddjׯoW4%Z԰FW?m M9dhZ!ƱĜzR0MXCԑY34B"r⇓+1HfJсMn/4%E+5duq@D3Y`SIHR[xHɓAj023ܪ"$+G+ԛ=]&FL8{`z@gp,rbbGTҟ0ɪ|9 U&Y)iYziaGM܈71 c5 qLpeo\;_t`J:J%#=RxŷBgo< Zf_so7p,'/FbNAԨ%`ǾYR^,kbZ[ 4Pa^FG|InAAbVnŸ !?$2r8ڨ_36!UzLS. xY2(\,~XIӗ]6ÞNi?!._NJ+G#O((*$*TY[IBߴm~wؗF,;C#g{!}k\ULfFQЃY#+6qv..jEsLxλ׽Z[S3m>Vy#͍ʙ_P =W~ {HN\4Ik_ia榣u"۩Yx9)-yD|]X((Cg;geFRC I-lo~M9 I|Ј#E_YaiJ֍]~k=HL uakįv= VO"@7{MV3R&0w^w^yF ^[uhNqQ'DtHڣA=T*lD'Ω7sj x̞/W4wKFІAKmF-;B80]Ƅ=ze|GĎ/yǏ'U_npO7Y[ #F?Ȯ, x*y1ʮF1q=[nPp's>#; ǭ2snH?_y_1'MR f<_*짗CԑIT) r=qcuȱwm5myd#| BlKJ3IZLZ;M`ٞǺf$ā m_Y Jb9Kl"AANYɷm 55/zƁ= aW~wR||;\6[.<:Lˁt>jG}QXRi[JDēزKV)ぐm0|[p+v ݣN#EV;tλh]!9aj7<|{/;1H6HZcV\g?xwyoZ&[ "I9 1YCl]E^0o!%VÛsΡ`JbUcJ O"#xP3A\@-Ԧ'_O,y䩥&pd)(*=@ 2  :"Õ[CC8ޜza0* -q-mdfN<תzA/LtwJIɲCO7Fo|_vaWz3B`@QԡFXWU@qpWL#eJN1SUoWQ-t ao=W;P+y5*/㕇(23Nyz .KR!%w8$u, 0Pm llba)ed%9^PmGiHNV` Y:S1cmҸ -jPZMVuU2!7mPy֕#)BHˊELu2̡wiΩ`iAn Bϊ=W3 unv ἞G kéG~ VF $f}"$Kfx#NZ6DQܖG:-%R RVع #fX(Z?)± ڋשg0Hb$P,ݑ"NAAjzF*жAt78L9fLǗB8ŎQ+f6;:1mㅡoy[^(NA9 *nl r ӽ3CP)2 xߟpUNjf:)3K6Wv{Wk`~di{ kfIX|Y8tT:/GPUMII{);YD4Q @~BۺDZ|UaE:ESq <ySKRug*\!f/ ~K,UY@7;%T3~6=','3%T3h*>s:_dgr8FF:W(א٤>"LKhA͒ +naTl]|g_ `tXa]Q L3aLNFEa+wfJ0 =w8GVʊSOvXQ<5>5c!e;UѮwvs֩@[&smP N-MH-gǃQ|6"vbȷh=aqyRc'튄)My+Bꎏ)u?\i=6`Gxtp? Όv$v{_0s\ٓrM JG-Ӹj)r؂X~I^ zOP`؀;ilVMLWOim-Ua+NZUH})}.PX...I#MN+z񥰀pn0GӒ;wn"80{"dȋRSօKO)=-fwԌ1ExB&s8oB3EVlޥ%it~N $,_JR] Oܶ"KJw%MY\SrZP$mQVy{ ./jĻ9Lѽ _[Pմ`c2_h]\0. %xkߤyy05)B_?!~#[*SWwvӃ^losϰ5p v'3~//nSg V?[J/L'iA_ 䆍Ap3@'Yӌ҉D@u-YϻJT1MD`uەY]틤ygs=0tqZeX-21$o%8slo=4m^ O鲽+hiG&`ѕpQ{p%T4mגKSVOGR.@P]CsQ#0AH=o;uNMs` x|r$$8l9۾|jtt ͋w1Ṵ:U:w+;wq^&hx;˼3^PR%)[T&Ce5Sel48b_wJAѪWMeG: Ghiwyܠ!: X-1V]tL@Pb͟hմnXʃ0ln[]3 Џ}YR1ؿ&/v)ħ$$ղaA!$\h y2zi(}Ged=Y@J=k[".K5s!.15 3\r1|2]!C]gsMcɉr5Qm3]<` x;8W D 8#{Yz`XլBgk!?t) 1O8Uۢ5UR]uOs'z I5*&#,z(s=p\3F~&FJV"'*l.VyAn3)53PWl9%m(Kn->qUX4ͯliCM\(nf̎c9Hkt>;WTS%WT,9Hb,mg<~>*SeD:>:" 3&2R? lC-.&ɪp]åV4\:FwYU5S'ԓM1f]꽇{F:q#ʩT_cqHu SʾӐDx8U+= p8 jG?+iD~Uebn[l0ji%=SBp+pZ d]:)e䐮-o6$,Dz=L$&i4$ F* kMEhF@icz{?RW!̗;,e/Ӫ2;2hSP`7qeE*&莨QhUzh|MsO%XEssm|_Dߞ1n |x [IOdP\y`hRp jԗZpC-aR|.+ȔaYssW1ʒ=1VҊ3P64ƽikHsTMX꤬}?gYp U !K^PH!N[($ѝe(,ڜn5,Uoi&4&g'I뤷8= CG>®GE)qntX(gBiGlج֘X-zfu;`ݖz/֓fJ E@8mjSA~?OX*=a\F 2L(\-j*)4%%Ŋr\a(x2Yŀl@CISF~eΚ -J:]gk?~y+__uw..yf Tgʓf]b^z|Y8lшŗnUz $p8UԐ^ԷvsʻY`cu.bKa7e YwO^ALE^=_Foh-7J0:U+F*w0"Uݩ&턯`4*Pj0^_ X{B A{I_+i Lxy5Zr %IAB֙L"*l=P eJI%#aȈ MZaC *5B ͟Q&P N@TZtzjcBGz6AMD4dڑ1Tu KQ6V.}~,]FIߎ X0f|2Nkn4m6}z@UQ@H&(t03B%| Qm&@[4$&$xmv Sj;0@ٮQFAp',wordswordsThe theory of I/O automata in HOLCF\ theory IOA imports SimCorrectness Compositionality Deadlock begin end 7H!DIOAIOA.IOAPIDE/files~~/src/HOL/HOLCF/IOA/IOA.thy$G-IOAIOA.IOAPIDE/document_id338`F%' IOAIOA.AutomataPIDE/messages7zXZִF! ]·Iq n[:|&[zLB`IV1Y Qm"DS 9q>[rJ#+ =ˬ/i@vr^AT,T+=='#AX6Fh" -d_4|pk>?)!,|SsЯHG`|8AJm?FYK4RtܪA$A]϶]- T" Zt M )9>pQr߅gYZ'E %# IOAIOA.AutomataPIDE/markup7zXZִF! F] !M젗OFK? Oȫ5,wO*^ћY~;Q>EH Y5.Fl,EA>T|\xȾRn=Z &7k b`8[s2@Mdyl )u]g-a|׸f5&`3e)1>,E 1+gs*d 3j 6 _bii"ɩ4ZWsXuYk?IѕF8Qd#0ʭ[H1WpTeFJ(}kTnVNJ , +2:`Ńv,rQc؟Ν w]gn\݈~[ :hQ:"q=T~$_mRunfⴉ.iH9R;9(?0Vm1K&ފK,U鍑i?VeeI𳋚*!\_=h2\>" z/O }Zd4Ce*86n=$x㓉k\EʗhSlϚ}*Fc7-9.̕mp12ȜTV/:4mLz` -LwTyts1GJmh+,O}<5Ԗ@G"jg4(b5S|@E۵K̦1bjH02 kI. !c:@)݊AÀ &Ú(wc6@.cO!3,fɳvuQĂ61us] Q(d>Pr}q4&:VhPn$<~o%etYi+ƳՀSCF7 pnT~l\]-Y(Z ]3:5ƪ鱹C峝}aR1mӹ DfB*$tFl56"J w*LjoLLp!&jrI;m.h7,Lnp%N]A92p3 '8Sl\L۸q S ȺkM0ϋNY܆PX6GtkE2tjWjj [ym=@YWs/>8 aАxo<1;q z( 讫GfQAUIH\EAJ4b8dAf~%-ڑh䂉P凖jQFh;6}þQ#5OkL%OG WvvVJb:ARf{ޣ~iE8c){fp^ẗ́(L+ZgSH4m3$+:GlY[S loР>9@Q1knW0krPZ !vٱqRS/J~Ayfe`h!9^J? uT(b^q*bs7#l*jToSVB9?G0 $)5^76)@˹C uAB̮tdU\ ů.c66ʎ39 'N5 VkвdFKՐxZJë烩IxX0zG,-OUQ:=qRɗ"M.3gIrs^O\2]@(PzÆO'|Xube@35y SsrSR ;i?)Gv֐/SdF.̫ߓ4gJ~Grϝ[s,ylIs\ψ!./sw;VD[hp }?'Җݛyj]x|Bn%` GөiFv2 E?p?{oIyΊ'XhA?JT]阀G'.6s?7 k2O ЫZi@#@BlL|ozJ^RE;.5͙./$;c]GD S yKyhܻ@D\0af9؈ xؐ@ Z֚MK?x}DvGQo]?gA3FrѶ=zr/CPב 7Gf6dO+36 3fi"һގ'I`G. $jW94:8lh\<ǥ"axh;@&r9\ YڟPoVg (]xui/73yU'hVgPpR{acJ>1 (JVХnFy_0 k6 (+{'juQӺM`,eT{VfF%D+\u! . ZK؏Ψ|{ߌUf"4S)q"RcqƜHJ j/O^c !ʰħ+2ڿ(pT\@fB7\0;):Km_co"hiq_`fmkïG,HC-<;A]J2Kr@T8F<6cO> Y|^j*Չy Ζ3%7^+2@eƗc,Yn@{g ɀ7C 1ūqDvaJ/k@\ mcj/>ONJl[-B{dL ҳu0\YwqUe^^n~1M^ aؒî1a WEJ4Q- U:z+9N0gmً:~d:?Z]̿78>,ZUp`t(I8WʵjPL5ht.kH^l$G/#r,`2r[19n#ٹ<%v ',ed.ڍ?!8JI31={z-3I W]_g9`k9IWyd՚99+bgXYӍlIrMwccU]uk85-wh $:o,9O?: HaF3PAi44ij<2;OJ=eג{ꗡ 0i CHp f0ov ኍ-һXS V~"r*sB~ TK}#/ի;nCCL4"))EϰA d$B/h<=5G*H8TeԳPj)@GC [|zUV\ӪJsY?$f <6һl= [8>;w"h|~5%B5:47jɊp)ǝO0fퟎ!ofWɒw^/3\of1u'EQŇgTdQt{Ӄ;1j' $ 8 1/{edG2%#`h)Sas@H3Tt HTSmk-(Z6zAW&Tmҙ>0R5= CKO_W%r\oohHœ=^f @ (G@*E e[<B%a69ݪA!, hl5:aU?X9)ReS П!%CWR8RbDtD _FD ={Iq5HkMT[Z_gfI S?2#-gf~9SxUS~Kdza4n9y Jdyz;F7f Ӧ֋h,4sՙ7 ۺtV4C'JBT|ɴĥ(哙I#F۰T #uَ7MMhuSL/%f d=k^)T3Hx%Jt!a0otQzv `2QYm6Yq(~;AtkX$;XME';lJl/ku1HvŪvC--H(7Sp Ι/^G@/Rs<6FH0֗|A>R/ 4 "v w`78fе[6cUwZ N'm:z8*ے; ?mX?:zQu?/6j ?2><ުuf.j13܂EJRB66kZF0z֊|H 糗Ώ Hqluu:}+$o%"hxfM<< W3It?M3ݤ 7*黃=jcI֒j!/08R&H)w,yݑx<B@|ϿsTplB'A8Y1Gr^Ϡy O !Au}T fi1;YD6L䍑|QljT<u )'(*gfZ&War >tW8oO|s0tnK&=E'ʢSez#[! lM!pqޅtmFzߠ{0+~jmkQJN%YP*y Έm4߹ 8 GLfU$v\c:'5ODxuufϟ~4 u"P,]bSntj³q轖z22C>SSG@gxIebgv`oKfޒyjhFRԽ ^|ͿD3pDHP@%(Sj v}U1CHq6oAMb0 ה{ iC˻!Ine_k] Z:9ѱgYZ IR # |IOAIOA.SeqPIDE/markup7zXZִF! \#5] !M젗OFK? Oȫ5,wO.Uz!4FRo8|(ۏş,3]Gvzf(Nm0lswEJ3sƱ$2 =/jVq`<&gRxw Z^BckG8R&Ѓ Fq7_!µq2/,jAZ*gDsZ" !P[E!/|\O~o"WXb} {cgES|9AyQ^FcQk `iBLkbHEmv #pnw ( H1_Yiy_-i_nt\,щPVV2VEڠF4wʤIO-L 3/♽V>#K΅)Jրg?}Z7^vAf@@N1TޥAE[ZVP.S~U>pk[fe *0,9Ab`p{v86/|d1{7LcD1Gc,RE[[t1囮dZf7ueyt~r#H| a܎]pbP^N6ߎ E*׃1۲h%T%\}+kV&NR¡`Y!D1I⍼ކ{ek<~~t#K:&6GyBh`{sH;Pv|t6TrZ1(chvyʺ] |ha|Wk)kSYLLPf؄ D {~R7Q!DIOAIOA.SeqPIDE/files~~/src/HOL/HOLCF/IOA/Seq.thy$P-IOAIOA.SeqPIDE/document_id304]O !# IOAIOA.TracesPIDE/markup7zXZִF! :y] !M젗OFK? Oȫ5,wOǎo)nuOPbT3vDV-; 2pO[b T#5RAw+ HLhw}N_/msu$ɤc跈5.Lnjg p'Է=#jз_R¦ ;HIټKL7EܰZҜ xy?HIUJ)O_6^:vM;6 c >x^nd[/F#agބp;j<8GRoJ͑Ց RG*&2f*HѩlPvdf1ʏ4ɒJ8AI,@c]]=.-f*cɾ9R+Dq_3BQ. R4$-$ͣn) !꫹FT<GuTL y( O7;TQ^dSC053w2e)52[uHQ 2~k@Ԋ5˟ 䱣)0{"?4sHW-ʞUGBI5yZGKޡJ8@ |޾4yU>,/rBȖ!O{K?p/rV{QYB)_,{#Ě'X//HXpYts~Y χ7x( ]3{ .PS~Β Cu/pP5c%}rv|1w܇]g,h$Y_^iM9pitX%}'zۇ3|kLp"';gmTrR? ΐ{MqۼA0,|/?ǃuLwQŠֲWFV]3>FΥU5{Y}"҄1K|Upy~i4$]@v0C5;'Za77`A傥kLnO=N!!JIOAIOA.TracesPIDE/files~~/src/HOL/HOLCF/IOA/Traces.thy'M!-IOAIOA.TracesPIDE/document_id314Pta$rmwYKJJ庖`NiּxR_lKĽ`aqM/3=cQzڅV;`Cs򌨴 )fj{zX>>N KȠ؏ו\/T}Tj;=?Y+uѬt)(Ssvq_n<.pT_ J vAmx6fT/Y,>/-oi@fKgL0 U<V-j*G605MnI-nK_WLTr_`_9D]}gdJi8|n`@OOTj_e9H~0_CKQDT`yb; '٨D+}[{,&bbq){>"C)KC+qKiDsy`\C-3}ʂR;mBqG<ԭ( `3ގ^>Sp<k faCa8&/5>!w\-@8:xN1qI}Y=OOD^%*ֵ-X.[ ^O1eR@(Cmnߍ:Q ތtn>Ě;Qn-Ե(ETQ]*ꨎd?7IH(#'d0CKkPYDfR7L ͞;(_|X|7wR0;[͕4'"~¯L{Gs;?O TX:MlTu SCA[[E33#q]y2B=}m_Z|<- fXz"nJ{xWyC)& ^Gf'/jƖ1sנge71K"7.{;qAF+矋(ph͟:GduOErq$? g%`!_XMAƵbǧuvE*Z}`喈 \"jv$ԌƋ,jDQcc'xJksqFwE䤀-kdE8znu,h66m9J-H/:*zfy 1H:_"(L g @/kqE.ױ#Y+ 'Kuq+`WF>)CC̀|J{xȰʑDr q{guC-*UTĐ7ډߔ aWZ|#3sHˏb[J被'@l&(}??TSȣJ݅ݮgܶd* ~C]* \Y" f*P } Q<9߹_,3 qI/du QO<:jN3vPm:N]c3HWCϪon:Ӊ% x'b̷~".Pj12:%SXpSpnSX-8V܋$l21eɬ9Dâɿ^sSUZaĿH4ۯOE)r끻&>cDt]P7 0CmNsE=XUX^eUJqg 3[\p4apy"k$NǿAþ7&dUՋO9kkKt,9Sjc<) k:zj\6ԲmbwmO\t7&v1PwX~ʧAi{0 'A{au As4巨QRz^=Ԑ޹->t8O;d%#^([]L%mעЙ15F=m6dVaS!iʿu+'7,2n~Td_[yŵ $Zub"w6kDZW3\ҖhFw =MSᬾt% Ng3e:naqꉛyDUa@ ?U><DCǾּ7>ўg;-(Ղ~[O= hD8.X,-npE-Qc6H1" `Ik:]5E4 B*IuܷBϠ\MWߕc4 {v9mB2L&J&o-X|Kc~Yk!E,Fa6N*࿠"ByRW|n#M-@aK6rg#bk4<%y jeo:} 讟rgaYEJ6:b;˦l *Yt$o.\1RbBspY[*"w/!lj`4;~޷k T!N:|db`wE`C X.rK?U6 ʞsP L{<ـUB@ V{5qbV*!{$fтԬ,;ag|Z,"ǖ} GYvD6e6TD ^[IVbNjCG@ޖJjD|5H)o̿9\8QOõ6YrQ3*05$:U"6i5_H25Ur^ ![W~Ti7 NH1Cz1|\IM y>7VzDDĪKyī4] 6ui EfGȘ!p{dMYrRmLt$or!W:F)8)ue~ ʈy7_%$R%^y,uEXg*W;_Eխ^{/XۂTyugрo9Ec>Ju٭.W=SX%&abG%$&}g|lȘ<%NaMUn&!&OM*"J'7**Cz#AY8kx5";xMaea D.NAwcp ۷–ND'RWMG.0ɞ\pUA/)u z@)3W$e~Zz`W͔?Z,@ZVޣLYtфȀ\XuiGIPbg:]Xb ۉ3Mc!*YԽ}qdHGxd 2)wl!֏PTXýVψ|˪_#bjB[K*F;LWwX֑4<WF=LpFs\666:r3-QbDH׆/% C*5{ Fw, 8Uju=-]AW·t9&v6A.C8OIH`+ލ3œg|9Y8vd_X>r6]2]IȾ~H"Y%nsAnTNCPW_5_=?nq7Xln2ruj@詩rPL)z nɸ `<\}\J92.~UNntt֠ff8鸎P#&i#1|G|M=.}>\}}Gr80',/qh%ZO( fEv޸W ѿj3}06b'WT<&@ rW/v" Je-v6P)2 / k\d>P ؁O6 l STէk*ZwzGtC򙖏3ܨuobe=8 .SO޳4PO| g2i?m,oo%">@Υi\|T#7/*̂*rWٖa(渋\/cYUS~Z("&TV!:GXԾWkgR~|y }S\8R4zu|^$hrd翦/Qu/P +1-ŃމDP.Q:~ b}p.)u%gyN8`>H#oWWG:+̤;N͖.a~Hm|~Hvr pQ@R=P[5%f1Q= `8x8gM:8G׮$A|֝kQ3څ4e3zrE+.:~hoP<9Ϊd0L@:zN 0$X"bxwM} I|╬+^%#{,e\4I9ZKhªMR}d{Tai@SJbX:2?n(Sg p}r2]-WRի(&Fh RAb"Jb1HdI#.ˬ06ƑOt\`5h!IrIh{:Eem.?ptw"8yރdð}KKUȲB]g9Rna0hŭ(,̀V;=Ë#DQV4I2|E'RcH!挾jV09tY /b,\?/Oh-yUCK{پoOG 凴pnZ@|yQn|1mߪ*mAE:;v-i¥SY,ZT;&_Hcԥ6 U`@+$48p'%_D"bOL)S蝋hƍi8)ms cq<1|8&KS~^E.\4w CCPhiN8q cҠ!B_w) ׄ5oDԤaf*pzG}~/t"E۫O S{?V ;F< ᥞ7T\oroVsY.~nܬ8SHखTj} 3%=[Rr5F8_&=:,ʵ X6ɧXC&ot@%UFkŽvBLq1lS7K'}n=;~@y)!uӓ?)' #l!Cne<*sƭvgCfDW(Tn*C&ghTހ' }n*-c-$@@FDGVta*^ڸvnw 3^P}!|$].m4OU_|j&5xuĉz3,i1p6ٌg^̛KrG!Taࢄ\,tЅsS^ Wrcv=g7 SH7Yt͙Gn3!uw1[Φ/Hw}Ϗ'W9^Nݟ%S$Pa9h0FJfVd^ |"tr]|[n$4.Z6N3C]U:=Fhm%T|D;3H)?>ٗz Y:8)ϻ̳v,i." f[>,}g{PR3SRviz8}BvjGӒeC`KΫr8~=ߠ!Oe@"{G@naTU8lFl_gVj\ #7w- hU82\2gZډ82Z=VX;R @L meqkGPx-#v'4Ox2 3~kĢ\&\w4_T,. Nܱkvꀝ{-eTsr^{ u\ r93YnwP`=dh{OnYvrVC␑[E>T;Jr4͉CGTܼb^PG&ŒԻP75ЛJFZ2$U:LصU Wi ɲ'J*|- ĒF|vJs'G5j=|5o|͹6abyc1pKEU d=IIz!)K]XQ\,,8;.TM8<-oe3΂[m@*vླ YaֿIg pĉFa+-3I1vBH&n}͉!/|MV^|ˁA@Eᵓ |n2'>qI -<7 ~.Q֞AVCEk3s>KV }ԋz,Ł yƽL( \#kG,7c`.vj F>`Mؤ:WR+x,#|cnsE8Wzz{+b 4q`&`Od" l07uEov/{hL+ & I mxPNwիE-mNhhkt] >b6.]5Og\di.% rTƗ\8lJisqK!nj&1w0`iU+fV+twBag4}sW]}{KATh'eWY8 r?ޭ5UE)=j2=M 7. lUj(\9&'R}Y XEJq7koA.F ?jYkFi^άŠܿQrp ^>=C.vHOHaw6Oz#O&Jh8hA a-9ZV@x. oo`o Vh 2mLOyy'~exuvmC&8I{4DBݪ4?t난-+`_^Yd p3'ī=H6K&S}Qz*gxmB|*4: l䳗tCzIhW[.ج@ *&f[RAp̑"nm*R!!z2SrG2)xYCc鎮w۶UWj;n>} Aa3Kb63Hon4,PVCoKJilsRLOO%2l(zͻ$] ޾6Ke38:578uώn@Ey$6>M;:E7wE[JSk>+!'K `^'umouio9;ܒZBݏ ڂGV^=|~g79K48~[hќU|ri;ړQr'_xڜ+z4̎|; 3|8iCr`9k,PPш k髂>.N Hv顶Qz/ZMgK4| 0Tr/xIy8yV!Z72o\LwډvuєHe,O=d]*}/j@F8ju &J'`AR39Sx0,>~O,aSw뀉Eg?4{jR +8d`mR&ª$~D{T s N HimBk37,˕cݠny6rJ8w\*B*{΍`qӟ*ٶLO\V ŚX滤::XL$w7Z  ^ <ܫF蕠x dUv]bdmaD•,U@)eqR.҅2x̞ F "P:(ki y)NꔶCO>jE=@.umw#gm Gن ǼË@BHMݵJƿUOfźa;r6kgY83|BZ Wj6@ɸ#q/Hh_EݜCVڅ+Y`yhؘ"޴E^FH|>~jBBҚB$WX3 ZKw&CpU=Da{ -|XiVDc}o9z?d<صhؔ7tړ=8K`xE2Q ЛǘgQu-B?me,^w=&<$9ˏ5G84= X;o\q偦L QK"Ekt|9ʁ#1:M=ۙإ)4.sT7;cn h}\ʯ-zKOQw EDž!KKa`BHyOG+p )L,w|bN|@ P6iѦ="`}Sl'ݺ?9ʚ< `?YbO@ޜw:h&9cLWhI<،Y05K({=5rLbPyw@X|$JRwɟB>=ם-*s* +@IP+`3:rB>ScRsφFpNg&f|{|7bf%}X>;$-PQ:GO$B3=ZcVkt:s2)z&sk4 ľ|QHef`=yB:ൖb;.0.Cw8Q5aTƽ;eΞLYu+SNGzʞ'`+A FbVäHTaen*פ!&{kўs<Cv1n͑3g w 5ud W% jqCކF` -*,xn+ays #?Mc WwQqQ}fK9lHvSWaV޲i Uw2oK)Gdy&+M:I31V8*K@WHHm,ay/{fbysOʢg"5dKꭙ뮈ZEIWKrYqa"LggCڇ*߭1d(N~H&W!pEdq&57POi+f'x^9ܛz:M-&ʑvgB@4q QQuJRgYZSU  D"h/՝"دriU2}gEΕ8Zm bפZ<έj+&4aod <&ȫ75iViRE=. Χ1|Ivm uX p:ЧoIÅ TSP'B[~ .8PZ"X  l^(:Zh0-MsD( qHE~(Q8qF Oh3e;|7-p;rb,w(# ?-JY=qW@bF/u= ev=ڒxٚ{-H@K` "sT hRM!:;d,吖$pd2u:2&Ltu}[D J\ ubW{x:ԸU'Y`xq!|:让AJŒcs=;fªZ:Nv ?g!̢u f1%a Ӛ3]!@G#1_K^g).?x\=! K}p`PA [/`f rE}˺+?7Y`T[b3~Ι\x7GJdBmlFlXX-=;@jRߜD=Z [SZ^]|mɷk0tL&V)c̥!]4c'#F }dp"%%d'V\ ޠs$1ZvڧO'!298g+,K4fzO(Oy0.JUL"hǬ͛vFX'IW V<'SYu0WD&?Jʢ/G\)U!Ś#_sljm$1:%86S-0@$ 0T.EYW~f.(9fLpiB ,/1^p<5^H AAG!vl#| E\nl-^@~A릖#]κ֐]^GG=1N"f?=)O430 D':1g"--cEH6W5:OrqfTqpa0kyӐnB[a[Z7Np8LըU֌z1[%V8 9.:YAK^#$/@}h³u2eB| _^ҭ Q=u*@}Ŋ?t=&0fmyphd$El\{J7"Eܾ{yJ'%Vc{ꖤ-/Yߗ0ϯj:Q(VC5 ]ryecG݃ҋPn@caSR_6 lI%D]SGs^8,q %A!=%QTy2-]x)&kJ D5/5S/@4Tؐ P-vWi97ZMf}T$15}^K h;hGK{Ur{LT㺆Rwq\CZmfai!2͔;LR?)& f?@='0v9yfs%e߬p?ʋwPO[Að]Oqk*^k0{4(&P.D2tGYu㹼4pi+ݐRP{\*&YxN.}p" c|@r6W^b_9hiV9mgIUW7[F@r H,alFuVr;156z+Y4^џ6iݦGg ɤɕRd W1~ K?yt#.ɓbѹfU4d2n͛kh=8V$Tq rw .?s\rܼ KHߡq9yK9iɦd\ќVa W#qY$[Yپj1 )?уO`ЎGpRGySKY1$OT)H ۇ"([:pr%#nE0q= OCR`Bn0wk?2xߦ :d*D7WpȸGG>CYg9ƾxfxm Kk<?ʪⁿZ'am)uz.ٔuÕ*H޾~U֞ӹ&/YNcDݼ&yך7d!0 Hj='7k bِ3fҞTv!ju8=橁„M~.[p>VR[v+(iH%^%,c8H(Ԕll}\q ' oao>^o kAQm(zYC A: (>A_T%ᬓ _F%>߮Q)@.yyЁS܇hw_5u3&V/MۥjuΖGav= 0+ ͐0,P; fΪ v􋒣B zkq*L5,^@t$ĘMy"//6A,0 f 0&:Š>3)`Ž: fXzwT Jau3J_KmZ-j2ݠҮbNzIt=xPH$ m%h^Ɯਵ Ol=GvSv>`zE3?5{CJ;Rܲ mۂ@`-(2A3VK(B[6r'eVvZLx}R?Cv[0j$C k|Y^ć:U[ֱ ժi $t8h3rd ҙFR+(2w"wYH"?RҀ=2j!mOLk.5\ޛ VpVԻIT>Zujatm`iͺ4}_ ŐH%:%}>VN;~tsaI5i?{Cf.SߢcvaZW-DsH+i6dAӦew (%(N#6x05Hxv~-\d'#~vӎSIF~~L8`t> LvjJ1IPeIo: w[<ࡉ |8f*lamSweڄ{s HpRYk lj/}5lVC՗Ɣ${ [6ҫ 6{AK6jY H Y6li8lCK R=%zy͘fQ7k܋ U?Ng2z>\Z71.W&yZn|0uDd[iH%eC2O هIRp/di~kOF C}5+XazѿfŔʗn >TJmW OmӺhs6{- Zċ| Bi jS{5P݊祽ƇPt'd#-s*e 5ɖal~#hb:t=v<ӻTf4:j|-W"7$8đCOK1w3O>@%V#Ӯ͒+[IUAl {>-n{MF|kjCufm؏ EM048UK+nSL@7Ɵz3@$ycd?,oԏIiMm!l.Yf%W 'Hxu?Ӟ}%c;=e0^-L7iX(TAwq#uRc)!FMzx71y@ )uEixw̡sPw{6,od^5D-tl]P?%B C)7.X:5/4J'UALECuk+1`>|%Sv=5eַX:WZ[3\S޶ۧ->1gzRg6ZaKj@Aπud+(nAnϋ@l7iYZ0M!޵uȏȚ=ْJxc2 wɪf*{Bx`0M 8~QM@0VH%}I_n/INLEqgD5U_XR]6njH2>1o?"V%]Qg M&i4Xx\o L7lNwsB'b'R߲Cq'p.@Sכr@lG%7B_8O!mP1 Dac'HK,{aBaT~ I{l(TL'ɇ W猉{J+ MY>.:47%)ƮoKS^UKZ?2 (RܻNNEo (%-DT/,1^:\C^@W#gSn|Y=G ЉI>OHjWE6 ̘"24|2&Nۙ6ZxYtth#h!5#7*5i5T&tU->W/">JY(p >Д5 \Yh85w1b6WhHL9hhK ѝbyX ᫑zrp@e#irځ}ֶZ\@H WmMyϜiK"G)B.ҐfcdsQr8w=ewCԬm{fJr?;__:2wQ0pX{RZ`au0ŎɩEMDf.‚/辋&;XRݤVv,)ߡٳ dG9N|{V'Ǐ Yp2^q eY>Ut?D_k!e2Ed: >a J$|AtFlYLݶFx8\WWVU4ި EP*oyCX/]Vm7^ް:Iʓ9VV|%{M />&#5yvmjk 0Џp(DZACL?ΕR֓Dco[Qj> ] A6_֐J~lGPfI]0Y%z=aOWrz ߵ7Y  imȻ󓙠Iݿ.BBqvTPL #0&eܚ*BAƕv o1׃֦IGbb<4)5>ݩ V;_[c)k|[)5x,l3ؒW`k]1&haNX?Qjto]:z 2n\؝S ha:Φ4XycO#Jﬣe0V몢+jTaeyǎ UUg/+Escw܃7vH8@w}{M |9C֜!} =K6B'^-zgerEl 2"[TiYhi|+ $kn7*BQAIt-]Ͱ. ȳTrfaԮq~vh6{,S`f9x. ҊsRO~%xf `W",*x,iB' "4tN}pWvW;"i|K&߄;,\7ݔ5\ض eF>RhguE\qvސѕ77y_i|t\#Gr? 3. 274W.=y ^8kAVHXB@ga2+tz-[w&TӉ:je UL~#^Razʊeǂͽs*>:!VS 9?y"d!'w *XFlCw\y'\y j87Lt@3q} DE;~tt%F& 8YWFxE넋/~" Rz}R(#̖ZrF{~@bk+쟤=A(;77Y쯣5D øSg ƥze'@/G컅߃+6Z>:YvOxBPn1ED_EW4jf~ZrW62,Os!)ZbFPTT@,_lmIvVGF NXj#xȪM$m+ԀX%ž5Q ɿ)yf83(J CDfspi[T5gk_]>cSփIOQ2umSp@\KEE5;>}YdF8]aSҗ5g7{Hfh \6ă׶HLs] ;2r:jIbnʰXhQ p)odq /:$[2DߩSuWڇo:-SȓqjQ|m`?$aX$R&vrOW>~vq3"C/o?Ƙ~=" (]."RR UY KyDlG}3%aHl>zO,; WɋFR߮@LV7ֲ_1җJq^6!Wݞ[!XHSDzFܢ拞P't{B!/"ifMYgJg>r XsZ1\!UL݋PH\V ůb$'ᶱöJGhg%-JbE&bޱw8pn..8+Af} PL̗`{q[Ej6(-z ʑ"]l|wыJS4&ޜ>NS=zbX_TLPu;&c6s)¾Z# Ģ 3\XAc10h,`K!itI&R7w-.(>Qqj4CءD+kk$Llv *JP3ML0C$J/9MKütoBa<(';nee ^]eJߧUdW\A|`x-CZ` A >z\7cDaF8jLTݻ% UmȼbcdXrszХc-_4zRn~ v>¨8zS_z?ࣙ3(Ҡ(#Rv`ϩ9|Putu%C6PŨHiTU&+筛6:Y\]*夛ʳ@b]&}wʯJT _tx^8KQ+Ă "/dXka Z8ςؕͬ6ghR[#kԕ{Mb N07 ȑj4$=b1n}jź'2N i<$ѐ~#k #OkyjW \p4?U G\HRWpB 7_邬[cgHyGעĄ6۫>}~:Ny\nS.!D?FKdt&ϟatD@@QAnv@c#˜c + f8h$0tWc2ǁVMv"ZqDr/U~x=!iѧϔy>JJ=']Ý~~Eдb/\ Ǜ5;֪ ͭu']Io15M߲gxN={JN.:Oy1Z';z.Rd.U(o_-7ԆBB BoQ\{_Latxj7/:Bh3G ]\ [\=ϋi-\?HӉ RUu:^!Yh1{DcU## Nκ72? UiS>?-1ǜdjcփdp.&6NI#HFez!C:]DUY!;c]U: 7-Ϥ ؽ;zN[m%` A]a`F̎u,@96T8o׼=RJi1ȭZ+ |N[9py_Eϡϛϫ7Si~i+0&.tUxw".FqQMB)'UUGU+!TIOAIOA.CompoSchedsPIDE/files~~/src/HOL/HOLCF/IOA/CompoScheds.thy,T+-IOAIOA.CompoSchedsPIDE/document_id326S' \IOAIOA.SeqPIDE/messages7zXZִF! ']·Iq n[:|&[z4@&Xƫ_)ԅTPRȬ> X L]Mt92Tu#WڷO-!t8eSW> XM7[BAd &R]3h/t3WT Bb7NHğZUx寓qxk![Z-`@ c7$;m8.BCg~ "&dHj^=F* ]c -9ag @42ݸ ]Ȋ 1TDu?E B]zd"+.YS?gjWT˾S6'4h(St['tj$DžaF*/"Cm1&*%Ҭe#Vn fJPکTȢSK˧M5}t$H>Cf 'K^u*Oe !1F-bøp =Grʂ)Tޢr^ ـ6KF4 Zj;>NcS(%"xHx>w-OMo`rؓK;CC}8vySAw/WzZH3u־wD>juրW.!ҖQt%[9Bˢ`x^NFx~+/.WQ6h` (Vkjм'rXW?ٻoz H&@6{[ǶV@SMr'RwOڊg2ت_"Ms% -Nq-2|%xsʲzavhU!Kbl霕`޾"22 HG:UQ>\XXN.. է aҩK[ 5dB60h] ִ/(7n~<fm\w]dPRwĖCQ߻D.{<*Mr5)Q EG&U'(]}qQ/g;u$-ǺYPiàQ𤶱 9TㄚXGQJƗ#:FaB1eT[*[y[l~;4S8´\x.g+H7YnµX Q};v8u4^S$ï՛(tYK@ҪnKTH0QLdZoCl1 Um wIIh>c`0t_>U%Xfaa陿ǚ<ᨏzJ/LX8>֗b#ҝ *l")e鹃X%za;9YV4掿R(Hdc^}C"\vfhT!8d AVWTXꞥD&ҎQ<²uxn_ak2yA#)ێ8۝Ыzm;7.ԗEapY3Yk/M S'cO39tk|'Z5|@wK+(ZX$q-΂P%Hk; {8j CM5+JBcb/uMTg/b敡T|h(P( #Da8Bτ) ˜;t8 _dvOZ&&WkS6AbF_65ٙ9HߚP"M68oBpG 7TO@1VߌI& G>n؋9bo EH&dzvezENc7Qfiˢi8F a٠M+SIA,"YXD{6T'2; w[]10÷!`xH)S;npP%SU ʸq @\L.MƼYS,&rO.?Oj8uxLEu@/CtGNBZ5'bku_loNǀfspt[-k4w[_`+MdDeKyl(N@ZNb~ **2^emMĔE/s5eR%0?\~k⃺\RnJE-iX-\^i^kzhOxPtwܵAl`י.\R-v.^9T֦^Z|Un>f\ifδͿJ5ͭW#Yœ=:Ծ̊|?U.L Xˈ3$b$259J/~ZPFлͽx]n?{ۯf]a,ֽewdI XW7{MA$ڊL@,V5-%t,wm _)1<\:ل'@+P| I# DPZU6p-]=eVWs0wD03VY96P:GYPRziob)"E}^ ^Ϣ̃,پ|Õp j >:gmB`N'r˪rK c3],r4dЬu>\a#.y(DN >xNjznjB!ĉHӀ/5JhY'FI=M q$)ougKy=jTYb,.o-6k M,G('{4łhdkG&?{İ usuhLE4Sޢ|]V^΋Vq735++pWq9wq_aJю?W)[;=F9+g|<Jo8d&iÅ"(K[ JaQOJr:#I\Hݤ 3vtFbwИpZa ma[ZTZy<='a]ӜȰ-:p#rt.Vr#L4s=Oo;SƐ0*B{BOQK5VI1BUEm<X ܓSo3FEYDiL* PrN~䓗 Y F%8  lA$u'sOv'H3 #"Zgrz$~)OV =OLA`>Lk/oRhdf2{5pXz6 Dy6- kr%OC2U.ȜM[6)\tiq7oUl`|< sg* OjզtR(0E@Q|x ߱`ys t'IeU_E׬b[RCyED 4t7ijp@tD.DY*S$-*.m)8\RWS_5\fȍ Ȭ:⿀d֘<8uЖ E[4|ͮR!߮{?q@UdɅC^Ge6 .G?l2;XeD?"YT)4f`GJ Yweſ5i_q.#^}{7knc-SO]J\p }GBt9,$D୯'S>Wmoe/̱0^ۦ3+T<,=eA} =ꀫ/o|a0@*nde7)p=>hH3Hs'v=iTg;]Х6n= iq뿴g $VfB\pI%oGT%c|`QվP)-^^p[P@ A"PjG5bNyo Q+-+t&XSAϝmq|p%k:<(ɰ Ҕϔ5é-!eTm4w>e{+6X+YmγTeՂ }|DrIV%^V yL(  ҆WYa?m,Xث'ބj"Ȣ~ S 﫠j`5%!qiT,Zpc8\ȐZXSQlOgmCl!x/R>8ҰWJLI)8,xۄ׺ÿrU3Tͺ6ȯ&2ŐE{douOUA L-b&@ B)+NuN' ⏋듥 x@9ݿbPZpn w#Uy7C-!>Tbmf*9?ۦ?HnwYӥ4Aqs~1h{NRx-#G j 򚉓䎰TBu w>&~\ZM&1WHh1t$y;z՞aJA|6%$c hgJMoT<- >^ou;uvgx=[7}K!(5efZ^B0j)AJ5HBŁ]i@صr-ХD)&ʻ-]~дXt2 ]wJ##H[ؖ((hi^ گ_SVNU{eʆ]kB^58Sbx'/b{^s0 f᪠ԛ\H9f( Dфbq 97$gVhD1T"mr-vUX<-hΤyo$fX1ujD7 zY UfQ!Jg?PT€WG kw4JJx{GK~CRn>]Hzl \.b0:Zܙԏt]+5xvE3";j_Elʿ~P]@'@v2FCw?fg6.~p?^K3^{p\5ފ`7Aw miCCmľ*Io<%Dz{PP<\ŪYOyЮE,@7;* ` VaWcj29]^)67qL"ECYΚS_DY+WrǍF>=*i.,s$AN1*g/p6o-GVx%Y }3 [tcїAy>BeƁ*̦Xg*Eb >dl^u9e>Ysv#'J*(+dOQen͡Di>pp.׋h_A̕nĉqMFštc\ﷶ/)& 1V'94D)X4GiR^DH.Ƙ<*_;A?5z/m]fo6% [ِ$ozt*EŧNT"K k6_YO 7L&mTlgL긏(G /G3"Su@bT\|bCbJX88wB[ر;NSۧ55/_̕Eƍn .{4)Aʘm=Sk8Y!\@@9)w pE\1PS^0vn k7ai]=i6a;|ߺwjc;A1dmDD] 0~t2wMpM6~R Rzsr|Wښ" :0gCfuzwI#y6;Vʺ9\)˶,ronŷ˪ͤa Κͨ7ΰrt% $MytHal 8Ev@EͭqM|d1DVwneIa>d.elZ ⾋ 5k촙d-4i M.f<4wy׸ VފH Kc5vrG49ӧcGXC&ǼBKi=Tn 3SÇK뺍 +cvügcj2~T ƚANDvQ^uj y&"v Ry֎@'\ݶޢJ%-+ЭF?ߖTRe"{]I+iJCRMBWf[N{&^Dz`wu$ҿCpD^#8Z&ې]#cD^RA,YV.>Ȏ'q0n-IV1y1a옸Oaߓu a{U٤lvK\[>=:(| {*g.JS;*z -PFc\3e֌vCsϟ憳 }R$1 hNJd,V cV5A%#XcL` Jѱ%"敳vt@D[1qԶyFPf2DmEMY9d: ΜH>/}cB/hdΛ[֘n\T?2GlLbczr+Nh& JetwH\PQѰr,~˔xis촾Ix&"iC6TLϜ0)%udp2Ca: ߳{ `5pŖ )"}2҉DY V\KM4FeS,"3-!tz ;3i,?B3xp+6/lx;8 pD첓Pd-i64O%5d4lDDY7FC8PhvIp nx_Sކ@zhp Z6ɣq0d{i*i@ *KR(>an4@q5$ é^-?.3eMxw$l33Wv丂2o^K4·e ct\)8ԱZ<fnB5M(mD?;Ѥ (d/O蒛¼>Jpkoχ#z>xf~#?\;[{D1ɼ}_S?tj՘mhG'J()qA1lmE{4 Cm[]IM4A!99Tnr3 /Jp:?Iѕw%dIE) ř4%,c5/70w4t6%@}Mtq GZʃ6R;?{4Q |`e({7ƆCimfuWFV~eh.zUX,u2֯w Er3tUz~E4kNg~V;C.~XϛS>G./>:r&"^8F>[jU+C@"nσm)T "4Le.‡ w"U0Ykbu:ľ1t'U4vB cV)0~M$xZ>5hF'[=f3_QG3?ȗn+{dP 5>经#دό;R4eG!.MRb[t7zc~rjxڭfk,V^v̑\@"<=Q`84~¾1!8D&]s"`(t45 HT(f%[-8f0),UѠQqG8Lׄ=QPVŲ޷,+vR.swSؗ \?&:U"Aj^D$Ht~#Y"e2.,Ug zHZ3Z(7ouiv0WD׉5_yAIaeY/IJ$dy^_ҬrxOnͦ?ӍX$nsE%XN@r4tQ{}znS7~ބڄ._ E3IdsS`0 Fc$sbL(#tyAi6 1V}{m%txͪr"̊]ckR>ڻJ:8^ kH`vpqϗNkw{$cj{3EU~COԞFN)!iҖLnМ0{)v6%6+ckuT^]r$_XFƱV'^%%j+P rĚZ ':bKm{Yf}ɟf0~!ˣ|Kި L3Ky)k{U^im] VPMtuQe}c'1_;DqR\%N4p$SD?췃T6Bǡx"q -ؽjWlh5 od}Q)*"QJ-O~f2:U{T@9̯de9і0:;u})pv \RR-:cT&{*$C#6PO|Ki~AӘkTga44#,Sgˌf7cTVWRPE Z$'SaFI%v̵$Lr(߮JGc$R'<ƵG>k6]4Y?r*Dzagbit:oWH ,1q{3KNH7EZ_$s$ʆSI"[ID0#I*eDIq((0mjഐk ` P#mutPu2Fpr3gkCz%?k%0CG?D;OSПJm쀡aJ> |8 "OER{^'UgFHNϲ@**[g2*ΥXTx/ Vတ%rHi2! Iv Pf?ʜ* \+!z5q:9u"8Zj PɊ迮B[Y&6'u' VQ y DFKŨӍ(HlR׃U؆T.D| ezgV5vf|.&Km6 -47ovh72vcqX a$RsPdGrnD(>pW$8cj)h}M_yXS`N( g& 84_a'P7"QP;9H[G3x S bD[^$CEy$-DD?'=JAOvsŪ>^"d\cV/tB3`r<77[:q|MV =F%-EJ`x G-c9l8i!7S2B ,XF2{swmF]4.6_Y`Kw]~o?k>KE(8KCfK:WcbTݭ6"-ǤStOi*C{~]2N/Y)P8M e rPWI7lm ׇ"u_$$!ctg DX@ݿEPKE#p?Gz\vwzn*Ӆ0mQݵ8 %42*VDQu#M\l *NV >Pu s"@YU+])C oĦo@3S{JԲvL٘ד3ǙRY=eitiČhG2-c߭ry!Fیn!Vb;L;_tX`-2yBVV&ha#C}W19CDGÃJ]똯)sv &#3IJ?b 1 v@ ~ Oi^0rXzuM9t+:L YS o4hfu-="(`9R` ;̅g.Q7]#[k2B :-[WQG`245ޒ2lp4u }cV>knxl9#݅t:4}/_(]} hLG/2Ni*s鴺5$бXӇI"kMI 鐁64Eu Ux6qdA ӯܶLvOEpKپvTd]w zB7xl@[X Yֵ{Yˌ'2Ʒ-PưG6w9b*CRņweFpA~ܦxתK\̹Ā;j&+L\tVDKbWJl@Ol(QLӯ GюHi@IR?9}h .o9)4*GW,Xq/_8@ilFtT\NyFHnWygێE2M>UiO]Vd7q IT"sj sw@Σ:1oT ˽P ! f#PGH8+ Dt;#ղ jabU" }>ZyX4*uImiqCs4'-*f%R 8eE1LJy.m޾_@jMupVmfn\+Gf _# ۩snUazn%A鞿eSO.KusYfۆYMk`$Jq ?cC /@KZk͘[ߪg`ɗK ׏L&>Jz 0q*L By4X iu /WN#gIMtWMr}xDr,tS8:W/̫8qUi%m1z& 4A7cF՝y3r;WzKrٓ|yh ;yu%3 nObu΍? [@L뱝wee< mgv!(e>Ig eY1*#M-\UKFDeDidTlT"޳L *G+( x?N|_d߹W]Ue`l+u5yEp*Yܻ nٰO AaVVy)v}?AkUwb:}se<1D;G#ȓ@ [d(IDJ!~ MrΖzJfj>xaw. ;a޺ξsUl1AK?X%j]U&3Hƻ(A= g x˜Jc,38jJ‰`*='Y`/1$. Gh[i2 hge*&dQ ֩ū}Wı g wn $ !᱅{L| 4I 3a_R,6+;OT,r0w>$Ai'Enh@.\,(B*r{ئ6wƿbR5\jA09XRU8=yq.41_ϔkrM~lKځU@nUnkFJ|8>bR4WF6BPФuUS[O$w'rLb$%}e9}=cgO?fQCd&-8S%l`Ύ˫$~wk?=`7yE|^`K&a̕٠Ǯ@d=5'U3٩ciЪ8_Gš˷3uʖʤX\t2&j&Ey_!Sqi빐8m֣eo+ۣE eQ"xA M(u0/d [A 8-nWD[$_s6%onJv>jJDs BO;" OwRs(8-ɫU_֤6p=S\`D,kf-bs̑M5\Μ v֑gDrrHw®z/7 `>kpfu[2FqοDUcToYIAqE NE̜,RGֳ/fˆ>BDPHDjzHBwxJ>T&zT0- hTn2>*M#;y2rvŭm @5dV 0;Q絊DE60q*QpBVU  }H"W (<5samQ]h̅eg^r̢]s:NQf :uE#' QU$\$ IH=|kķIt UHL.K|xyغK9B~$n$ [cgYZ m 3  /m?^3' 4IOAIOA.ShortExecutionsPIDE/messages7zXZִF! LQ]Άxʆ5.f-9 rq9盕!+@6T_应:FCyy%2gί:ٲv{~$?z*r%Ǡǘ XsL?K0̪Lb*Z2] `&*ud@jwo4ȳ1jB"Z+bh}U_p/{fRbB9Š[t&/A3'Ӫ5y!N~dݴp؏[t=x8ʣ2EwKMd?B TT1kd>r K$3Q{gYZr] 3# IOAIOA.ShortExecutionsPIDE/markup7zXZִF! '] !M젗OFK? Oȫ5,wO==<>St#T8=u,kg\}XsJYp.iYD.P tZ//X8fڣߗ@Ye<eA!H{&wUp=AO|}mesxF54@.&vy>V.wlKam;uRl,WooVhv3?o( 'yB3i;QW@.pkas^/_;.}643VeYbØ6u,l@-h#*PO:qpKy|=xu/WB^  #+l25-28|{%K-ym]gF -+xU䨭_ N[oj@G'v&nZDxlS?ԞJMDq@uh&cʄWLWh0Bi=҇+d VB=K ۆ+z5\uY"wODR;鑶[hBBHbmF%zߪ +E -7-$gU0m\A*CSe^_`wƢ06؃c~j!dbQ {^1 ٕ09\Elʢ\x} hktj1Xx o匸mʶ]"Mztf<7 BC*g~e2hPV 5Aex{+r] WOx Cnh`"}̈́/-&-'kd)2Ryk9<(sth x~Yj Na;ǸoA&L#:.ƀ8Δlb4@:Jш^CDSk62GY_sF75ήV4EZ%#~),ZtݛV=1`g$P*3äi=vθ :% Y} .g<Ǔv@Dzئ ZGm[~;rY]Jۡ]/SLH/QeM ԷyKD[/92 -2 K ¯0,$,]КqwmxgTF0٠ԂԚImԹTeX9YЭ+_iJ;JN}6>= lş1 ˢ=ε~Ĭ]; gUj2y*WHCK'mAf܃ fEs'(-\'- jYue* /8yq?Ab&蕷hJ{'~J}j]Y1Kgev5|KL^pV5]Pfir`6:mu1 ɌMPh%m`N6Z(͕JXa$5NE;H%U9V><܌|=Ddm yLq(拼P(:! .[60[{L?i.`^okE9/JWdr~(xU9*僭AZxu,{\RKJp +]#PT-AӜ0k\ٻk"?x=l,1}s5L?_/}ʄ`c$0b VOl{yR/;Z5(&8s,Sh^!U=8(P[O\3!\IOAIOA.ShortExecutionsPIDE/files~~/src/HOL/HOLCF/IOA/ShortExecutions.thy0[3-IOAIOA.ShortExecutionsPIDE/document_id322BZ%# LIOAIOA.DeadlockPIDE/markup7zXZִF! `] !M젗OFK? Oȫ5,wOA9ExQ p!#uȈ*Ҏ`iAռG :lz2V4 .,C^p#;jjq@Ŏ"qA]~w@9lǣ'=aq5Y =nB%FL /u(gP;X2 vIS&^jY}Vh:`2q@xVYdD+rYyrb葹*^0q[B[ԭz!4]IﮩW_VK:a%/1fEip,Ugz-+5'40C:{؇Rsh^SXyuNMLԀ}p {~Rq_Si3QWd.w9DŽ׊g C g ,Le&)3s±A%q_iVAkXN%=wls"хAh D sM mDGfZ`d_2Іiǯ]p-J J%quhY$qϵ+ ?-n/]/bְ* Q#ǠiX!e#_r Y+hy~^]{\A&hȌ֓ΜĴ60t)p727KbJnJJwj_|ƍ7>cܩ&s-0Q`ޘ]!Kkr_%x`@X4iL&4r~IpKp%4з;EVQ{*ٶ_ ‚ehV }y=@(亇27@X'0N9 coz4P %_`g=⬰gVrd:G5Thת11 G08I/ 8 %Txl0r"{E+B=|XKnfpB\T8B ֕3kWִړFuH$"&\%SB98 .{D҃}nsVka Y:nL זsw$&{wmzRqsKjKpŗDD(ykdUNY=*_$LM۲n"B~y6;G ({V(,z=ӛ:t <ۚIsLjd:Wg_KYR锉. R^D E*RkѮTNOp˼?ĊWՐ*]=",oP31Z͠`zE=ܛHK_>'<)׸I ^iŪ7'*$)#c G =ճc/GoW2~N8Ϊ 7jSd;HjM뱼W8;ىdf7md)r!\ҭT3RvQ)9VwQ4ܿ3iQw ^* (@S"fOXȪ2cѯ@ MC2k4*ivm@Z;丅gJ9C@߫r㫄Bd?ܲodVItlHښm@+XY[ /QIJMa VjS?· ՠٵu#]3gz2 +nr^AЂcY:ƽ}gHut./X R8vO'q~Ġ@Yy23i9+9utBF*+˽5e?%G )S~ň%'_'~c*02 0A{yt .S[1PrȨC#՚8g \YfD aNzI ~(Ll/r֒)jb0Eչk݂}:1x-eԽNO8qnE_~ QC(DH'|NV) V88Dj8#ܔkS<%6Qq,⍟}/70_OڐJ>Rv /1K W Adл#ԱT8A=yσGsoIGMq[P摜_w4s<ZKfƴ~Qƍ"3W޳L2֑:v5O.o> 7"~ 4/~T;51{ *yo41EQJ"'%ފ׃wcG\! O ̼sy>s>'^FV'ͮ`eyͬgY4 HCԊv},$ŧM:E{-0,>t偑N#b.\2 Հ]$= 5P{^-.'*MLpf1Hy[:YSxufm, &h e$zXԩ 'T)f!uH#~\2;CܛnaaT@V'{#PiFyBym1פ6 Ր{_0R, H`oȧkIYw$6M1_H)NG) o5GQw]7R`L|ՙUu>£52ʿ S%ցW2. dxcKJ3Mp;'O싶~c(aoCsW5֐.x^4bʑL:,@,ď@,>xR6d#B˔;L㣿UQ ؗojnGlvSD¡%88;A{>n7D7T*ڋ ߣjhCv /S\ r9I<ʈ{/DDMmb?uKdH^b#ezG2bp 8r9Bw 13qddFAo5A;B\oddOZ uGg{2h:L4K1 "d'j6Pa봆&c4J6h s/v,}) .Ҭȩn;xFҖrN)s]f#ƴ@8IDnq 95T.HelOJ; m"U=~<`-r3* eWN"Sq~햩hTl%mqAs%[I.@T?'6|!g'cu֤B߷a9ko O]9$ VLIdPqsz@<=%v|R ƈ*(8x j;L&䵇g-4foߝ&eg4^5?MnѾRɆBU@as"@|`[1엹Sdq ᮔ~k&@w39 Ȗ0^e>޳zwr;h艐 3YH[:5F?EGVہg `UX1k<¡]`gjtˍ ۂ= nx Z^ބZj{` Zk9LdG8 ٱ[bw]S蒿0 =i)4*)x)grUxu8mX 2H.%*HAy^KkUqc .;J<TfCw2h_ЂPoOI$j#w;y|GɎܒ[}%{1^* 87L΂Y+ͼV4u{MIo $3&~'8%;])T٤kM7Aa7Jd4khNNr ䷌).,r=!ujY؊~#]p 랍Qt~REr8]; CMd8K 8Sz𲩽涁iAaTWH#H>\,F0OҐdxA=FY _PC n+4 poteƛ̱/?:<ܸm_-3#,KwS% $lsZ7u5wNÔMΣ:Mkͧu;nceEXpI3MjCl@ie1^|],RkHA5WWZTN(TS/!Ąe3PK5,Acg&!8+c\v e#[]_cgv;nބLǜ̸B҅WRs=aU- #tBww@TTP1srn`*ioQ1s$t2^ 1S=e.}S'VY1X\ʬٿ jŘMiiKOOJnura}/GR` Џo\ 'q IgQZD#[N^LM8+)5T !Gð`ׯ ]Q]{tv8(!h Զi&ϊ(1GV{ {ρ~6&B2TM6O 7/snLf<ܢ Nq{T`7' ~!/A9wUGMlK(Zan{)8>:d~W|:0_8 rs 6Ҝ`p.Hܽy|v%r[AGWxqLS #+ Y9DZ1g ;=s=Ec%ܗbD4@TFzOZ}^!}ȔTUF*].nZmc>=#BEy(~'92JQEŦ#JtboJaQZZjsi;ؼ&Of&ˆ1^DlttS,7I$5 eAG>aEH sFptוL`W'ōh~wwn2q_D鷻 ¸\Ӟ>5oGW80t9 bRUlڰS#>&wՊo俄g;ņ!4{mҿʖKTLC(:[KזvF>59XRxYeA?N~T%s&KEAA@N!j6l^Beg|iWbOf_{*mA;$9 e8;Hb1ylh1xh狘'%acH~j%wpFI ``vJÊLWf9ζo4Pil'lTR$$pJ-bw{ Y" ͉Y9SHo_9")<#&Ws,qũ̡XMU%]Wdvh%16ILK"GrNOlLBG|-+q-b8 b%ƹ#Ls\٥;7"#w}H1>(p.ܨZQnD!{DmoW|ے 647xvL6:)|;9J'Yx;rj`tW;Q;֖ܪ^b>9d#9#'鬊[XI#/V,E,NN !gYZ