SQLite format 3@ )a).K  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info r | ] IOA:threads=6elapsed=7.156cpu=31.847gc=1.0227zXZִF! ]ŗXiɟLe5u%\ 6+4ܜ kz/$Hg\|ۃG7F:ݙ uAEڻ;IӡT? Klvq@hX.ь[lˁke-׈A.gYZ7zXZִF! `{]ŗXiɟdN)ִm c1̯.ʞs3l\.5<>lUh*xEzF|QWE/AՊ$Ɣuz9J_&\Sm@NzTZQ :m53F[vŽ,V[Faz _@qPktw?*nQ#3x8^遙}4G84idNH6oyZ TS#WS[Xl|27xZ{7uSLn'>OCyy7x(YgJ >|!; *٥ȗ6;SѸ}ӣS?$YS4$tORڀaaI*oUvYյ0*ȧUjC(,(Kss|]4寊TgiXN:8Ĺf={iM!wh@}VW}1 10kJ)YSc貒DBRoe6&+I]8m\̰ @|pS$VA̋^zDKcG( Őh+fiX %޳| Y~\{-z0ٺHXSM,`TI;13~LC7ِ5d_#MWF+_uh& %V_h 8xsR8يlAÎ dw!)\<[J-n 'zs9|z~k ;O9' QP1X(UY<գ]T'Co`J|@\|xE BDb휘uVLa1 Ad Mfh9wWq뛊=UNaN@bi-7N @%ARm_ʏz0#BVK-yhA'r4 0(s\˙ʏt?Z!a풳+=4<RݲaTs T4xgYZ297170795cd3df62c310fc9a28daa8ea82d3dae2a17ca0e9fb4e0fceba75bb31fcaebec8075ae426 a9c891922046e0d6b89301822d50b6a5b330d859 d0cda0cd4e5e91971537171f0c98ce3923a28118  IOAea~ytojeX!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'\]XVPPOEIDGAF>C;?852-)+%*"%!#         ^g ~ zXzT f C  b . |` EbB  @ $  fW h E !?$7 qGN(G.  k Q 6  g!#IOAIOA.TracesPIDE/markup^!!IOAIOA.TracesPIDE/files]#!-IOAIOA.TracesPIDE/document_id\(5#IOAIOA.CompositionalityPIDE/markup['5!IOAIOA.CompositionalityPIDE/filesZ-5-IOAIOA.CompositionalityPIDE/document_idY)3'IOAIOA.ShortExecutionsPIDE/messagesX'3#IOAIOA.ShortExecutionsPIDE/markupW&3!IOAIOA.ShortExecutionsPIDE/filesV,3-IOAIOA.ShortExecutionsPIDE/document_idU %#IOAIOA.DeadlockPIDE/markupT%!IOAIOA.DeadlockPIDE/filesS%%-IOAIOA.DeadlockPIDE/document_idR%+'IOAIOA.CompoSchedsPIDE/messagesQ#+#IOAIOA.CompoSchedsPIDE/markupP"+!IOAIOA.CompoSchedsPIDE/filesO(+-IOAIOA.CompoSchedsPIDE/document_idN'IOAIOA.SeqPIDE/messagesM#IOAIOA.SeqPIDE/markupL!IOAIOA.SeqPIDE/filesK -IOAIOA.SeqPIDE/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.Deadlockdocument/Deadlock.tex"/IOAIOA.Asigdocument/Asig.tex:5GIOAIOA.Compositionalitydocument/Compositionality.tex(#5IOAIOA.LiveIOAdocument/LiveIOA.tex -IOAIOA.IOAdocument/IOA.tex"/IOAIOA.Preddocument/Pred.tex -IOAIOA.TLSdocument/TLS.tex*%7IOAIOA.Sequencedocument/Sequence.tex 0+=IOAIOA.Simulationsdocument/Simulations.tex 0+=IOAIOA.RefMappingsdocument/RefMappings.tex -IOAIOA.Seqdocument/Seq.tex .);IOAIOA.CompoExecsdocument/CompoExecs.tex +IOAIOA.TLdocument/TL.tex83EIOAIOA.ShortExecutionsdocument/ShortExecutions.tex61CIOAIOA.RefCorrectnessdocument/RefCorrectness.tex0+=IOAIOA.CompoSchedsdocument/CompoScheds.tex61CIOAIOA.SimCorrectnessdocument/SimCorrectness.tex0+=IOAIOA.Abstractiondocument/Abstraction.tex*%7IOAIOA.Automatadocument/Automata.tex%!3 IOAIOA.Tracesdocument/Traces.tex  TӔ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(}gYZ.i7g|j1 5RYqԃ{g'η'moq8T'%;A(=ZBS>.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  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. \%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 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Ȥkj9gYZ 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_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!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'|` ġ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 CC:3E IOAIOA.ShortExecutionsdocument/ShortExecutions.tex7zXZִF! 3=]A-MՋhvG"uIBm5ȣ;#QujbDXo-)O 0,m*E}/hL#n48TYs'{Wz˷]qz˜o|2eIz## Fp"b8;N?7OzZqe pgn| :s懯O4`B)x"/WdM} V:m.n d%^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(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.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 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: bz2ؓ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&vgYZ5}(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 .- $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ѓ*N280.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 6NW;nwuq! #*Gi8F]=dd|:Nڃ9ǣİu*YfHOAln1dw%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 gYZ / TIOAIOA.Asigdocument/Asig.tex7zXZִF! r}/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'gYZH5G $IOAIOA.Compositionalitydocument/Compositionality.tex7zXZִF! /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 aa9!FIOAIOA.PredPIDE/files~~/src/HOL/HOLCF/IOA/Pred.thy%-IOAIOA.PredPIDE/document_id308? += $IOAIOA.CompoTracesdocument/CompoTraces.tex7zXZִF! #]A-MՋhvG"uIBm5XJ^q4G|A艞5F ZΏ# TZb +Y{F"xM!;ݻ}Sd ]OH*sSJ\OfՔȊXp?Q0VR|\._=#50}2fO {r P9'Oz#6740!iJ[ov^Е?25PrNɡP|b}@B?tWOaǦtoxfŠ4x6ǜ?bCZ\[_TA9 4 Xve0@MThX#?3Iv_o_ܛselwŠć sA~)2پBRՅuWv]4OP#ړe]uXm:UקɷDAF`@ {kGAY]A3d^`nzc5&,iI!ua_o"^A:Attl%7 IOAIOA.Deadlockdocument/Deadlock.tex7zXZִF! ;]A-MՋhvG"uIBm5ւͨ.M Ic`|O "|qMLBH ʣRאգcZ%KTG6;k5tmy("'BX.b[20 >0Rv< !-Δ\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=gYZ&$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{}?yz̩Y!iuo+?13+[L 57"Te h-t@ɴ'9T:& Y >\:hI..YI{y;6]Y`aRGq"R"yK[.4 ׹@86ceZCxC8F@o RhNSfJc'Wk‡ԕ//kB!灒ӗcteE|^ f.CL!|\3O]^᭾D ~o-s"W.X?{ʏߍ&zT}^%SL]_(잆֓_{Uw[0,G 3Ke#3nmƄkǺ<^f! =m(،/b_,ڇO-!T0ӟl6Wꗴ릓A֑MGFey& \C'oY'iUd<3JB};>]!uw"~k&'X!7!DIOAIOA.TLSPIDE/files~~/src/HOL/HOLCF/IOA/TLS.thy$-IOAIOA.TLSPIDE/document_id340Z# IOAIOA.PredPIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5f&E'V>w<KBT+u~,G45l4_קd XhVI%n51 L IkbA;~pf*M XJڧk4 5%W'!gc!0n`Ê8  1 QNyZB:DDy9.2Kv GM;{`F2Fxne8˛:Ucw V7"λHP$QtMk )[GXJ0\p9}\ww(,)Lt~40e8 كCi}gҏ|rPqSX%~R Iә,r8( g5[SP9SFꜥat_G}23h({eD1]r_YX>\+ i^xn.CEenO+pnah`lY=3>Hp.nk:GYBAx| ʋ[vug;eXHsݷXocw G4i$M[| w)xDXJgnv9}eSpJiAʝGRvYS,aM#gB#ϴ%Ms2i'a1f5|q\l'1>*$-,*@-6׵3ɨJ~#1FYls/+U u% .$-\Zo7fR~)#Wv.kdu@Luվ^s -i,G%jK_-) c4Ɗ_KTxa/u ) Ҩ ?54֎L2ԋ6;  fOB ya* *H3ISҾ9Ā *!ܶ'[`eѓ5$; C!%.9OoI,(f?;<ց47  Ȼ[}2':e7pl%1>˛B#eC:>v$YϩsN7`u/}0+pm>#Z?Z;t<Ѧl,ƻ")O$^iI!kiYP0B7n>*abwm{P%b׾2{m9n.ܓ9$ \0VT;Y]Kh:/XG gYZ"N o? E^hy: nޕ%x$$[Ux@A7GFg7\ALZ)-()1Jq9!;z=w;/#"䚨$sc5RTJ8L1Tb| z_rDWKemރݩ{ ?9w#rˆ)|?.77(cDzߝޘ^*֤to[!{*%qɴ`,l)g}7ob:虰{ V>)/]k jl}mV&ȒWJDa8 {VOZ rE!AeXu/gth'dJ72:@>$jwA9T j0+^m*)<6k^TU!s߽/`O$b nzp6hKC<<4/$ӿY5\_;zk 5^c 7bP 3!Gk .|\rT $m $ Ym Δiԋ)/\ M7G:a-5WW24~] ьNފs|' t37m)Ku5a\&:_R%̓{} rsc IB3I<*ǰ y@_$}7,73*D0GcYÃlzl]'6qSL'\u1\Ȟ(;/ mwN=p^y!q@|wf"Q3qW| p\6e#8_JW(Gh)xm6C*}E@>M>tkb+V'٨XNeR N&nJN{$;iɡfFr;2ɔzWcYJ8g$v澹NG8=k7SqOpp%op _^mz$uL2Cl &>eTZt9)rqJ?V\'FGP:湒2ɿ4(EE)OQD9S$&fl؋fF'u${d;Я:SI* Yulb 2ӽ[ǰ)r?ԕqhXR l/-4JPCឬ8#P3O@ <-zQruXײaN M2^n='RF)kKl})@R]l_U g6dZV:,(b&Gޥ& 6F~@|e}vrNixs:R}vtɲswȶjH*s.-_tIqf]O;]%vssp׸6ΑbٳḬ4ˑfBA_cdC`VTFFNքmMUhLE)!stZ$U5yH' cpX.R.F@| ?,Qo-x$4/ EvˠG?GPa@ଷBYʚSjT̞N5D$㎧N(3&׎]2X O6`H;D?JwЕD E[CCp:8=㿩WTPr~|br^p`\d;͡~ZN$p]s#EzWfoH*pJ =D;ض=cTVIe)̘M7&o_[;4_'s9Q"D$r8V5m\|Iy$znCSp0lXmdpֈ`WgF ΞnztQf3:8]B| `<},ސ ϑ%1 _EA\7aq5'| &2`#~R{mwS"pXwx ؙuUq+C.˭+I>gPY@V<{iuD+ \$(!p4=pUFâ9|#IƎ*4#mk:֑ u$e-]գŎHEZ\zw  .yC%$+叐nyB.=HR]O?q%J.Q!c.*ʘ~ Eu}MqpCcs'?rW!'Nto0X ms[hZE шO[m.p@@R+90JQkTh* ӘFPUS3C#;uWuu( OpPD.a ٔOrX7eL$#QQ(bn.)f"f# %APi9kV9%HO5U\?>ki>4 2qGH0B1P*9hb?)ўՄn %g On ^M(dH"*jGya1l!wDpB(&Hs1Hу &o1RQgڜwq0JCW:5kfmn#HvϷh[ER^ᾔ\ \VmR 3cԀ#CW <xK/as@2#pp@B@if0˼]Uw2F0a~a";̿%A H"8X O'A-~օ̹Ғ~ B*dw\zyU(oMȦ @Fu山 ʭ˓R>L^z`?N8EγPs5(PqYwSm''))1-GC l* %;ה7AyW9ݔYU+h՛O\*OiuJӑ-L.>AjHdD7&F[ݑp?l,+ КmcjGh<w~',fvFP* jErk` 'Bh=1F>+39(Y"bDLvW?;Ɩ pzyѳ}<+“FbǤft` &n&^w*wd$=Qg=snR 3,|B0"Eή`Mj I%>e/"!]@/n>g5L[:<<%hY0! )W뎪-Ok^4^gN-{J ^&Iq'N l|rJ`U1o])V.Y|:aH! 8El]bp6;Hh[g@u<J7D1poΤf؅ύ'DTg CnKDlXTc ?Dreg~f˸-=ab7U׸Jh ֞+iE_E_!fi=& Oy*urar+Yf&P3 'ޜ_G]Q64%1X*Y .m;\KMg=PmL)ް R`0&X'wWގ|IUk)K(ݕX5zQ jlvx)_4_ȦD{ )$V7c^ |)v@4X[L̝mX8xj4EÄB2BGv%rpMYW7EΣ>`8~<62q/4-Pa&sp&߭#f6l ړjiA0uނpGGO͈eZBXd{oϨ sѩ R4BlBY ^[3*])ߡޝDBTA--0e@ϯ XzX9nuH_K◵ Yt|1e[ajv?wnIaY5*&r M^6]´ud_"(2 d&U19Ol>6J=<V&ۘx s=% f{̈́Tom>w,)هIoF" =%dɕv=sxQZ=Q'gX h~g0.vi,9qY1Ρ#Qoh֢$3Γh#|l@ Os`vpI)?Ei 4f*Igԇd?;vsg}6#3>b7RͅKAr8mXz4M~q:z/`0AYȰSA3W>,=>]%(J!=R~5{HNF-f4<9$Frdٙ W)8۱Z0p`(5Dv&K9oeDFn~ sJS&B f|4~\Jijp9?G~g)I""ջDʇkh/Ҷl?|10'1%zdJ>ZoR9u:3@vdTJ0biZ<>VyJxH?W SaN3Tb\h5)!K{ "\T8[],"!{f[|mx]Ǚ| ,#D1缥^RؔWEFڦ9Pe5+8Taxw1{þ]+)-ǀ?Q;BG0c;jsՑkN2L3AeGWv6'Hyz@I ZWUhqJ1qBֻj7 *"3gthǓ~,s;'|y՘\M4)g5d2p;(P>J=oIF03NeG>9A|&.]77 KF'R tY3B0d(iE8-Aۆ*uzDĆYFuς=KO`TD)u|'? *NZ5O%(T\Lb#]&YN=ǂcZkG^9"#pe.k.RQ8l@(%,50>X5t_~$L_E%rCd"h so2zRI<0#F @XAsa]pϕ)CU5},s 로Rf%E"%oz-4OqRm lJ_dŻ %EIQJq~bq|Q;1]gqN3!1|i|Mn+Re`n&YӐx!%g-U Pu:Dct1zsBǝPu8-RGt[j*5b.m@ 3Q$r3#8*W#$Kj2vxRMG'x UڏR>vh <+DG/1P{Qn.<_R/2F#ꢛ}.^O ίeZHcZNFN4Ǿ:7]=,Z񧪠R;5v:Pl˅{XFMJVL(ySdrpas}vN}Jm۸HeLgj5wj0UWryln<H[B,w3 Ba<[,`gv+}HmqtO"*ɸ;r'wX|֗щ4y ]cd*Ȁf>b`ʇevRp~ %\f6=P]7WIs#[C[dENjц_g ` q h֑ \/f=5CDq BϾ˂"[ǜr;UVo{6A {eT9XHC ǵwc1 Z ;'fw\e{%?rm¯zhuBΎ)$T.kĄPhFMa? 2ug Pi!_2I.%ˢI"kp "|RWxeu}X|ʫ6.y|kbE:~&M7Xe CO_ӵ&yL֏,V7;.vږ R rH7p &ep^;=Y/2)JQՋ)YqWi":V 1 Cّ04 acrbo xѦGr.th ti[uqD A8,fS#A6Wġ 0KeYrM8qiU# HKCS woa{x}Tw|^P?ᳺ>P=U L؟dI*0-=tXV3@ywiϟa):yJi>|/_ЦA`?$81p0A % Rn*f1dHeafh,.qe kSKkcPǪ*<Ά}mEm d {5gQ"q(Z,G;WQP?`4B*ștIg̩ܩFwYMWmlC5VIZF ]m0@` {TnS@OGӜɭz*нiK"I|ymHD_ ^Q+zoB~Ev81Jڭ@VZ[JаοPVRSlnɳGJŘARj.:'po\10 =IoK"eOIKS}BˉWe붨aW;vMw/}~$od-kӕ2r8c.)Z'dLlY Zi)B5Cr0B0 ^"U5<XO̫-ۑr؏ {y2a.MGݨ^SA+K68| kN)|Qe)p :WqjÀłۢq*SU<ޏ+?UPb"oӢϑ6-{ ]/qo%Afr5fm[:KlE߹y{ZZCE/j9|/ _د~CZ ~W ^ PY?|j|nĶӭc8p66:=؉+n,ǵN~]gn,YoӁrw*m{ 0P{K^6ܬ \|nƍij}ު![d3]Ω+ss+l }wъ'cAsR<~o"eHSCb՝ȡ9D-5c^1rYoH#m۳p}^$jk)TFckY.d0?#7MDb;0ڪW-39N(z|"6bŚ5na=J#󽫮ijJPJ$ND ?%_/)jR# HSAU_t:UR|pZg_ij3j̹iHJl?ȼɶч{;zRIw!Zw߸Ǚ0 tAnu^N9ot%W| ԖV0r9M@iXM۔4"Ң4:DĹ-u?-8`~[~>a0 U%Tu`V{J}"6~S't̋zH8Srǟ99=FFĉOd?>83sa|܀J_qE =G451 {EKFW%6"Xdzi|$|S:#MYot/޴8Q|_"4Jί؈sz*Um SyL쬖k%>ʪoGp3{Smoy9H\MK ōN \cdߎ)q+0 q1Ԑ`^9j~rB^72C{$'cc­n/GLm'*gpZZ S%@ RVYp.nL/a9%\0aIO,j8v:T=tac\*Wsv0{`$蔑2m5싺M45-f5"d4/İT+kE{]JwX8Z.e4? [Kd[0 'pm!yزf@$wݫH"qT7:0v#ЧqD(%~bIclP[^e2zB D{[@Z'W8yJ1@xތ$y6 Oԗm*WY+)Ro*f5'*K&=-PmHh{6ݢTLE)&v?C\qp07*/'^s{(Hq1Df(ws?";[/;&GςЍT;/ ;;KyJ s0+GRP}'l>bI0pO;[9vMۨ8|;5g}Xk9Փ>Z-,vs2E l 37= s\/r7|9!ɛbb_N@ 6`p'ev:h?jW7T<1#bR`Wu.Ъm 0þb~ |~|wLb8Ϧ}x:+* OecfFd?=/ds|h 4lSzD7]VfQbБVwq.VCTŪd턑bŮp,רy|P#ƂQ|;K0 8Q"g ,^f܏bGN9&հKnOj>*R%  TD%&]b`Tҡ_SSh8HxB:qA+m$N .2~lx0NS)<9]9vi_Ǣ('F 'F㪵eFˌӧƻs^Q1[Λy3d`IpꌓԂW?C5"US܍H=m'L.B>x)vUn |+vIJ`~CX6V #8p9!A1dt0X<1SۍgFApt'o/T'j1_.1xz%^-ܢiOM[ Y|f\猪2_K;"=@zf[dv(XߦE6^@+jQqRy|8ZiEOU,{++!Hf'@ MZNcB\f#*VBt=FK1̜eTDzN@OQGN+iNR9dT=(Eb/s?AcqQ%H38R~lS HsFWl[9vD6-o=rևWD …؍9kGgB|''_>c1aNe>I!Ww( I'CÇ:Q*w7+o#3uc^Ysmg?Ubg<es, oVrWy ʇC~B1ї7Jb+*:$Bpx:FeU?@;zYH=Q @9j|='N!ia^Kf #3Wǘ%ϩ\r$~|/B˅oB%y"뛹w/b#6pt߆\j||x/BGC=AHLZF$`;ꦐ(n!p_o_~DSKnΣY\uuTR&΋KP2'S*W&2R憨~&k=|+C9ڐJiid@Y/+XLDg,Haѐsoly#|!i:/&iWX%,n:__ [k\g  QNDGLljxY|-3B0&uQiN`^J?muށ} a6FjGgsac2R,\ !x*KO5vAK**©ҠbڝnxBF~MlVqKb-MBL=}YzU$'b / TqQuI cfgJNd_ɀH5\"qhsl$c{,1VamG Qw-c KE81  $V\y%Yhx-Mj7ʏ:>_B\wog3q׿(;RA4ž#zf+%*v$kZA2h1-bI`g+sB[P=;v|;B,`OňOb I/d )-BD$í}@:z+ Xp4<$repZ6Z̘SǷ?XGxdd :T!-:1Wi+q%4FA6lܽ IRRٌ4|:}}N5V#ʒ3ԕ^Z~sEse%8q4)[ȊQB/#51D%.6?/ ٞZj͘H|ב "J9|uA\sI^k=qMώI7 3U@]p%їVl+ѭiO]?UBswN=b 7HpQȊjr"dj>SЫO~Njy)~ aYG ro9f"9m$2m08E+GMQI1@bs4,oCqԶ8yl~@U.g\25c*wYU~}e!< PdXu&U3<[w׎Oj` \M`)b}{F#pm[EIԄ/x"¹#)foLW/js\*TLn/Z%e.Ü;72 Eg2C6rFd݂deOyG?48G? UC}25jUݛtcz>'Mi@{vm]R8, :'#Eޫ-#%#M*Z&v'P=cJ&7 7 1229fZw!GE5=]F۞DGT܀ \ D|(!a -p:oS(t(iy> ~d Abz U0}u$HËi! m!$ 8~hvx<,+ɂA6<<(=f(uG]նRw@&U9{:׽`U7i:-/tVFÒ-[_>?:(࠯;BWvAMkV*ST0~=a6(pzg/3ޕY.Bzզ51 g^S&]L- o[ >Yg =b^z 3 ܅ EZ=6ٮu+]EΌO+$Cܔ:g, Dת<)3grX[S"RE:cj`g+%DTo;%A;A qs(`zq%CēDץ6E< E/rHgV!x5 @qn#+0B!B$I+W3b?H)U|`\AJGL0a{%}:7%J0fL߇8$Z`_ uHiW*8[Pgv"q-҆ޫ SL6LA],` !0 d"j@rAW/I̍.p9D`-!:N*Mʻ׏-~X &ZG.Fͩ% ̨榪FaenqcaqFs-ӈ\vquJ}E/"8wl6q]˔^m;F.wt$3)'cu0: 0-(v>쌎u! Ĥ~Ə4u- =hU)–XgQ; H9w8o S.Ӕk=q& E~YA l3S1n Ab?=K9/sgrGۑexnbeKտJV;%o fۈhus);" @ey=0hz*6mY{ݾsҩg\ ye)הCTP2'T" ,**lZcL&3;V[Y{ EsACۀ{pmw#%h8 uPXA<)5PmoV$j:32Њ=?HfnԀU%m\u3ҰRgŵBs kTyqGЋZE/45Ȅ"{V m%NSYN$ǽ[ZZ=sR^cưZ:w$w e+ȱ;)lMǡ) 䩼MTպG׮g@RLQFFF?ό >TzߟcD~_E7(8n ,R@' 0^Bk/%| !ƸV ΜB4c3YCֺy@Uc^ &ibTuIoLP T hwL\PbA:5N{R#SKj”ƶbް,Ibеy{΢; -Q>XYpőȗeȾ0HԩI.ψ0 T\y6Da#8R)P'gc(LI DW&sBa-bi}_yYKLʲMwL̮(Sߩi_kMt9Se: I7 !p,9E`75#l C.L6S%!bQ0 (}SM\zX9NN6Pғ# A|rHN7 akN(帩@8_V`?a5Ox`?,ws6IG3ª~a(ba 5Ew9$M(^Hiv\5ˤE95~xGk!.mf=R8Q9MH)-\FĐmςXq'+'no"Mѕāt5D%Ṷt7v v%q*يKu3dm͵J.q ytmLT%:Q%ؙ"†Vksˉ8t||H7'.sԈ_71pZq_wLQFAhAl펩(1yr(4[ՌVInzq yɓ"U 1rީ1`YgLQ)h疒*cKì' EE]rBsaM/)<]_i8dj4!o- .yʴ [~퉎p,aP 94ꛏž&Vx^JN4eȋ(ֿ[RAT*H|C Yw*nN߬Ua2rc&qBTo\hȕUǔ7Q& '(DJǻ%b]cRsvb0vt/Yb׎ ^^.//jU3P`]Sz.d8Vm'IwjJF,d흈)3 R̜i]?L=ұ`Bk0xӒͶ{`Ie>MDIfgH;]E (aGҪuCi qta0vBpe_;ͫXCƫ#u,+L1ĆU n۪o^$F;*C%ۯ=%F.oyFO<¬uڞgNt82t$fl$Fb8[.x8lߦAnReaqs#hm? '#ɪ  *'^KEȍM_O_!2/$$Øg8XXf(r4l}afy.Nx5僞dbMdmv8txZF&kt'}3 ϣGLemƅ!"NPfjܝ(<EeDGOZOG$ 6C:9œoO"c@TKJ]ۑg7J4;)OV ]feic~BsQf ?eqqǿൢl螭Q oFgeR'IB@JtPWa\1Y+IrE.9t9m 6~2u-lOa &jKWgRA1JT5qK9ݸm4+6h'v Cر3SIz+#6s<ɴNzҤ!w.+ܪtV\^mvBbp&o3{;:#Л)`QY0D'e)hF8 uqS `R&z_הHqۜ NK5OnHGBDHo=H7բ-!EP^.AAZP@獶(Sa$GZZq5D1$bSf;|3TBq1 G= Y"q`?"Fj܄@L &)&QNMrqQQhz.f7hw\+fA~3?,eVG0wc ]t+KRo J_ЏYC1G%\9nh.7i G{lC JyX zg_/ :?2@UBx7ʈ7k*j8TlC}Dp>`+ ϚZo4Ca} +ßc$$Ma& 5b*R : SH Jr`_:Xp D1({]L濂܁"tM8lF|\?s y`—?)G/MƵR&"z-,:ɚżwIkn1&\O\iEꓽwHכ1ZwNdX4b}wAb<,/=A[LX5e 5|Ϫ_l ѴoWZ)oHƺelTR hm/Њf遌nKj-wC'|NHҷ.'SaD2SH.r7{nD)ne%!.jy+rY`J~U}V:|+"F?NmQAW0͕[ )|D SP~ -#P,ۺ^5@Smԅ˜15j>bbj5b$(q AcBԝT|DVg]bj-kݵ|aAN>I/w rx96^TgZul;c8ePAPQ z)KxXF?'GLp[db uβv+ZʸoV7`.}uU >n${ة,Mgf Ԙݘf/,NOu-\Y-%rY"ũTg^eHh/ti]qe y{C Tה!CIU⅘"9CШ[^}O^#@0>,>=Kj4(X($0lFsvҵkN4RP mV|VBm(mb }x 1$'sh_ѺېVx' qqKy$yfQ˰jՌAessqȏ BYL/$&S5 aHBEq䒔u \3@ggo'K2ɋQ*?i^=v跩2*~a;,"eB*Xo]8EZ++XaީpKwm,YwܨgrM9 /0:sDӶ?5\UnR8uUx`B{4RbjQX=qfg6f2sIc\hb9zyAaj@\R4Л}5ϔ5KGmazNs綈 _ALqљCz^;eic:J/L;UcJ .eܡ+ u?*J]ۋ\bXUNY½~^{#]Y`f{tĪg( .qHiƊIsE8'8OC#SߙWO ɞݥ"#i,)ѓ& jVvx:]}O~0Q(`-lƨ,RmsFҞ/󺟥cvu` QhʤEQ '.{:j74 oqc`r &V}[0>)d;D~֒E\FT\9?Y 9B+ۗl^ƘΚg_-WZ兵?I;"ho' ses%<[j#'kPo_3Yys"YϜoG_k,TϿ{UO3;oW%,킀8# vPp Ǚ 8aKMTKs x"?O`U*z2C ^xmk|G3+LLف;嶞D)@U~f6ABWfFBt-k<P^+):;XR{J}kc0!{|IfJD<^6(Íy;ܩK=ZYw46y޹gƍ*mj+-,1VZW2UwdŶ{WU/ెyE /! X*.7yΈ&.>8Gj5kgIXzًЃG|,*zAWWZ~j~$B.aFjvH>G6Xj\HΙ ׋k,f#]IJmVJ`A*zH|E$zsdڡHI`@3;wV\#9VIW:@6qepwlj:.nUj:blE1gF!pfDP:"*#R= {51L*wы̊v@/j}Ҁ H0[8olRLXMMvSsӴw9MYnx[)ڬs崫HlfkKQF2vRͳYItbx" {n2(ؗ#*m|Ӯ^z_#8OG6bIly$J7AD?sb:[v'\t2'XO[SL2Uռ9wk)K*UBQ{eH憜+t,]I6NVh9 XCA$ P~UttrX Wg;MpN\+f#W[v.փϖǘڈT-9(xm,o)O"3CC@~tJ"ĔڸWh,t_Sҋ8|=TOi 5hBpprXBzMڀЍ6,c8.0(]6iC֑Ax)kOGg61d7~vjySN gd6}:IWhr+F(|4QRaU\Im*LNLb4dCrSa'8JCMIXˬnHGy9tɁ `&1l ٨sІ"9$хhY 3e $x|7'h?1kPI\NI{^+J;ZQW@aq0S% S6S=HZH[ stq~+0]K}SS(ھKقXv]Q530ILMЩzR% O.{gV&+lyn6K"MJ-]^YZ}"$b֌qh(;O#!Sd*re8!b? Ano$6a4mnB``$JdeSX 7l$ ]XHވ^7l>ݞho׻B&͍Xt1_^6E2f@<>"1')bjrk:o!rLln#ha܎x ,:`)seC]"`B@R竡gdg?>z/M[?QuhZT/֞j9y*F]Y$J' %GyO:}0W="Bhh Q[8j' {LJOc]­);܍ag'43{Ff5,+#cHZ}7XYU^gmh٤@8# =~j7MX0m.~1šB Rόćm#/d?ۄ|OLជϿaw*Uh (œ x/(س畟EۃV5̾U ȕ܈qI2 ]~{>@ib+zӯZj\@$}}-hB\0\7%) mќPB$ZfԴ?.CJuz5GyZ`w~)o XF5刍xE_ksg]&7'kXDK)[h$MMH`I"lv ϓ!#%`17T)_JCf|{)9?i#Rr-]M4:YD.5^Ci]+*Oi@Vh^^wf40w/H9pޒ KdZ!.Lb =& a, Z'Zifh[*d}7P$7j U fti#۬]s7\ܻh|{!'?q3X`5߶uRM*Tx^ȏ[eU<k)*UB@pfxS(䝝t6D=_ms/n/'%`gncVtFÀ0 ^s{sW2[ d]) j2CV`0lM<.?15a[c Ȩoâ 6&ŋD0"A!g)am{[hlRMWG5V|vԙ )Z Gd+2ӊH龾M|T%;5ʢm;ϦKA3Aʕd7Ǘ<޺Ld3MYز@W,RV@&wu׽1sɹ{ ȵ㘷)wcYu#o]m{ I$UY~qNae{m vuQG)x"s^:=sa5D<*.$#sZ gߡ^c9GSmykO菃9b<`=l*&,6|wn3N3m(d|ͅÍ=asHbդ\DwzO[axQ kGeH`'JS݈&}{tJ gqA4$GnWd[Ҵ4vnB/ӆdy UCbƅxҔefLCLJ%lPy oȻL]XkIL=nXGO}tGeC㖹 \2 U]~V0(uzƘ(jt.y n*9d|kT`A - C45iܬ9K?"}WsW b5]y˿r{p(^1ٙc$Z==/VGg{8l3zDyhsr5A+V!bQI4T(3(Z?o𮡸2!c}sJ_g6ٜk'H jʜ[WăxS W-_Y?Pu/qO^lIss:hsKbEx_+Ti@X[H@w8p F)aiIr+0ZGϊz K\x? 'a٫|"`D0Y0 ^ž*xťȬ֤ͯ ͍؆Z`:3dB%^ƺ#KzQ2WH wTZ\X\+OhC]1}|=q '"@MΩg2mI<GX;>Ʀ@jl`ae~Trj-&>6Hw" `K_ T'81ߣ"Qa@#qVDNgL9ʓPVݘI.sPf_HN-iF Y"p3lջin\wbE/ "n*!>Q1$j&bOFYXz}) Il/:heaZϟ'QZeCv.*j Y]E5QV3nKI+4W`= xH;jot>b S.,1Yrve`0W9,) Eӝw/+9JS1^E]^nTk]DIauU< H<${J*9`o,ĢR!1e$U?I1 H׿TNDnn8Cun?*Y/FUعe\Go1KBtߢ1tk8%Ni+27#r&/:91H^&MT q2L =6Y p,=AN)?D㲒)rlTQI+{%}_k4aJ5@Ά:ZySYBoXg>vAQUmDbGjU&?vo$ 唐&V38tc<;9:2McL^ 6LnP'x8UN]okQǜN:B$>5 %pP9yۧ2#+'7GBǠr{ciF^]UAkN,3# ٞz޼0k5ܥ+{hVKU}P3L,F5,Kwd=K۵rgyh ^#b;/ƄsL|31(l.CeP9Rщ'SޖZvF bUt,Q!~)bW:TSvYF%0if-QnimI=!qs&tŝ8-m]\6^p޽X'&7Ù:6QLqhcaݲuk60@|=,GmM;ʠc9$>3ڬ&] ]zD2܁X)&&r/^zѵ:˰PfUc^>̌\1(d Ɇ|]d'B)afnI$t]cɒÃt6dwPD;uO]Y3?{=Ekc- dQhW,~b 4z(L)Z?CF\Hd>-y8?<᰸aLL ese ̞jK%vᖍi}[E!ł|[n=QqQ1V]JܐlcN<-= 3 k3Oi ҇y'悱CQjޅ8M Çip۪ٳx'7wp1{qC@q}xQśs/*ZDH~Uc=X|B]H+vt.2 ]wHxZᥤD#Nټ`8\}bbcM2G|Wg])$8ĤwOfT؊u.C+X+EYGSn"LbIh׵eW2cwm90_2r0X샳ƯH jW!vyA׋DK|%ojUˏBd6B߱lUś'8@^CBk#2AP0튐2"a4^Oe_]<^7' s*dϒ0V~&ƒA鄥Q~|=j< Vj}J(4BOr1CDWaB<BB2􉦂,*ԃ's IVz,lMosk{up1_(P]a_Z|smiGW cy$z!ob(vL%%Aq,}i)^QC b6h/θb=*ݛBS1\irKBtFWM;UOƙqrP)c 5dz7ו7bH{[`6l\h4LWƎB<(2c[R;S1a>pQWp{z&/dǹ(7YMWDXӸU_ Lګ˂ͨsu/eKˉZH[AcG/6N,"nc!c]|jZɬNɟ.HKsڶ1i˼g*L1,qdD?O L{ mم?dU(4ئ<8X.Pgiځռ;^90< Y9s4%h'1}n-X1$rp,qOͬ`FRDJo'`D.:#'{1İA=?Rԥ0 u;,1laN&JyߡW1װ! ګώʭ= 9Vk)FaJE {!?1.ɱVtip?}LG+[?YCQ/&YauV h6`asOLt2Se}pk~rr[#*A׹1C/tA/M t(sB|ܢφJ[EL3y#͜Xlni [ҷ3fg?},zW '|3l $7}5~A^)kje>'Cg<9AG Z=V->3ḽ,kqĠTFX,7©=k&-%mӺ`dMzl"lĎuPK^ =1LOBpÑΤ#$,uQY`vB5FK1)ڭ/Vz&0m,Y):#tYj?y#YF}bV 2>Go~Xcf,l6&  R - 5%!BIOAIOA.TLPIDE/files~~/src/HOL/HOLCF/IOA/TL.thy#$-IOAIOA.TLPIDE/document_id316+#+' IOAIOA.AbstractionPIDE/messages7zXZִF! D]Άxʆ5.f-9 rq:lb֫s ~ *߾uW1gLg}zjۤd9;!/IV)+b ԤpÊ\u2ݖg/2ocW f5J@G.n DC]zwp%.GFY6|`LE)nWC۸r?tI9.Fe< g|_ H{JpHEċ cBUf]0םbI>9qVv֖[f5\Яʲ%n]P1Y} |Ze?&=V޻{lj,><^j8WLXޅ8mw KvP&M+xDKt#$0z}lj4(yɭ j$JB9/pay. .BXkVI~t";Tcݘj7_v5>c2}SQBih9 rc@|a׬~Mss0x 5?ld_o Z04 wE0Vv#L.>`g=(`Wk*|P~NlVмWay+XhM:}P+07r|sEQvAkPlhJn.-9W 3 M `tMl?ހ(Ts /N!Qv8ß*K,T3I P?rMƁhDܺWN#r6ɟtK>2?+˃e0յpU% O E,!oxGI >V^A14Q:g bb.1S|ob}jFs̹Z/t$ Wf$[U!N(@5+Y_E댫^٭),ױgYZ2ku͏.&ScpeQ,'(a{$^5<$GJ]7݋Y_"\b01PCDޕ^ix Vjc51<z򴀿i589)aB݂-)0)s);{cO4'7ڑ 6!U, ŔOdơl!W[BjBu^l1d:]sܧWrn6B>;U} YMP6sq1 oX/j e#_۶Z!1`4JglKC&bqAI ,l 9r-5ϝS3-[! mlC'cJˁ >ae>Jo9C &\9q_°%m!Cz/wz\lTAu##v_N̖ 7l-O,jipSb KFY(o~!"NW,RhcsZP˾X7pe8IU܃8tτƺ֟'r?~lI2DQ, v!"\)xCG~Oݶs7{A yRx~n4[Z}NJfuA贁wY`ȆY tGD f;?OQ.^jJqJA,;Ĥ#4Z`fSyتz8ŀ+'.KӲΕp _Mv"UžgBQPnx u} E@*Jasb[Ww=lG+  `_(#7Ivf|.",ӭ 9;uV TqN s yy;>X;&k\@Ѹ\6c!1!1/̡FgJB5~*%a8pkܕlE_X  mcsg̐K|Z-ۢsoMmo-5POβ\0j4̶@J/RzC vȪ oM.D] 0ѧ|ok#=Z]o[qk?E[Z@Nx[H.y )03SVku+J9/!ǻ'7VO-9-sA%Li^Yfk`xݑ 5^9 pFN󌠩(D0+Ɔx~x>FNE(qF t*dl*)yUIMڰz:jTC'g!Q*vDI7*,n܉d0y ֓lMw5jAS`C8ֺpS67!9e†og}U?5,*.>GYc5"%rKLWxߐ`غY=ɮ/[RK?{rۗUt|tǸ玎("GpR}#tIh;iu)MAרBzԴ T?v+ "|m85q{~yl~⮢;5:KNZ$I-]7&Kl5f.͗Umo0?A-ĥv*RrOum+ysPF,{wwcbd,ږʘ~zi̧Ctۂd$T{2Xmf_!A %z$C "CE.L`[HdK7qÕgY.aM%oX6@[ўyvClG3|E(YݐeNV_dGeXDT0iEd_26(4:ݐc鸁 AOXS"IOfs&`6{_KW'7`ToEl: fs,ĉIFԣ{gf kV7\l q6c/ P38"'8AVÕ:RΔ{gmOEDR "E .V.=XŘp JTp &[.E?Oe󆴆}Z8lFIx9B¸"%=,_7M":hp_~h診p'V('~tѭn/AѺA~!-zFԳS#9t\m3W0Ġ&U'!PVQ"K B| pWInT3O <Acx29g83́Fמ:#4WsHؗcc1G;G:e6b_i\,ɷg#\eWcsQi)D<_z)b hHZ.nQ ˅+rUl6m"&+~=D!.ZL7_afV!^Zpq:oVLRj ` ΀ѻPoؗB,#]F1k0&+ٿѓ edi{q; + f) |A֯,eg8}G2R'N% ߲G$͐HiVXvUd3dlLK!TlK$? }63TIcmIҍqg?9m[Q71q3W @y z 3ItI]u¸+ IA(B*@ |N!|JRLʵ{:GndXR1oQiGEnԒ,ȓqC}awcD2o K ;[ LIK)Re7i')uAJ("1%,8n&H:Fz a%0j'Ö*,A={m_Ns,ȲB 0ऎ gYZp&# 4IOAIOA.TLPIDE/markup7zXZִF! \]ˠ)jk2p O6LP=͵gl5f&E'VF')3?5t70k}!p$n Oh/EypCaߍ񴥷Qj]&f^_JgIE= GͶ۱*<d&s}xc@x#Q:ǫ\=5vEi{6kr| JT,N}x+z(K+q_9>`?Wϛ/\YgN9;&[a-J`?/`+Ո1`՗<&Ԧ|G[%x(:k|\yC&YIDZ'5arT*9nUU'puMUGoJիu!TjHzRBɖ1zI۶Bo茪qD e-5yet:M_EfFCR4cSI1'M 8 Mxd8) IVntӁ3,IBQ&{H݇KaQX2E&\d神1玵dUone*~|w!&}j<%_@OVNcC2hn[K:i ΢na^d8#9dUt"aqOm0U q^p{zC ND4%+:?Kc{o9u.$ X1%XK4gbɫaUS0m~d.X&,Z6iA4CII=α?"%():鎶?OLvdfiÏnO~ZͱHpι/8aJUy82[ѭsST/jpU]<@9Ŵȥ~ !J*#dAt<S=WfhM*dr>؅JK惢;[!8)2B(/w&-r6HW^':3:f{X$΃vsE2i,q> [e*omoq*Uvp^ۦ.IV=ino%5O}BzAW'a_gw@Ä cT|<9';:/V 6]dCrl(49H)t;mpլ;"y)+ kIc0|]dqd>Ũ ,9kSW0g„J]"«>w`o֙nѤC \>;Pud 4ƭO mn `s"0kr ڋB]s/̖ A>doA)O,/}_RUM_tYfav3I09z iPRL-Z<0 C GTc5u ܎e+)58KVP# (Buyя'UWpL='D{Cͩ:F 30\ӽ!v~K8*pQ&56X񶖁1Qd[8 z|ݸObtݺ߂u\<B'P)[eNbMBO{TʧY Nj}svBW#a_9*ci608aoDX^B;E4ӲSo\@F3}UA3& 6I_%Ež$dS~2Mi([͑"ҔsSJGQ ꤌt9+s5[ @+4 iȠCQ 4_RD4ϥIFbCu&q Zt[5ӏO6!?(fBvK%}ČIF]qױtGr9t9N掩V%Rtf~0yvE(I\{Lg>=E7sWniQŎD<FRE7!!` XMc(HVj8hn^.a\c1%'`a%ʦG`kRG+DIeSỌ)QVŨEnURihrv.R#XRR1R<ŕx>j`}BTӊ2 ɸmS?$*L=RP!Hg*(9ޠ'V !Rlvꞓ1o(h F৙i2K-MGu^JT>yy-f(,,U"G^W)i̧%`ڊ'kh$vT(dK2cҪU*rgUˈT# !%_2j$PVwBq{ 6!oQ"Z1U4cl-('>Z$M]!-Byj4U1Bz6#GEd*fz]RPp&}x1ˁO=_;}kipڊu KÞg3|\0lZU6_Nᦪ ]Ժ94gm4^']W~L`u oXa7ycww,/w60t-BbEQzgE ڒLK҇sn4BN8J/͏_0NBGŎ .p(1;W=a;EaI?p|%Fsovb7xv@I\sO& %8g[ʏPWvݔlw$>DnIAe$H?ynոT~u9.YQYwi/Ip. ;E4D~$:=kơߩ>^-.:lw*xN6R27?)|]xiJQ_ƘRIN]EB.1=ѿf割63)8f~ ̕Ft wZKi{RZЂZLZznPzHh_C(2<gCWŽqAt1ѹ}Eb n<;X?AQBeke=`!/Tmgy},0TzNXOWs[vpCq8,QCUVf9_Aj`& 6F?Uw 3tʂc 7eSO<0y7 pYB6h2zUbLq2 MA{X} l"Җ湁jCA#ܛ. kx[|Qь ho#9H~I`EE 4wǕtX 3Mh/4Mza2۝Ya0[@]2?<2QW"r 337('P8KC[~#FYLʬv5Ց|]"s i h,v4Gnx| W͢˟ i"m$ep^;%kcQA;TڈGiw#rB)W91 VNxrCmjϹnP(i*%Ju,:㦑FC;Θar`ߔ~>۴_ivA@MgITTR긡,n* j_* 5cH/ v `O( 9 E6G D a(w1KRmTx53_^(<-6'ѕF*xVb"߉H t◂P(Aqgy'$5J1]|*sSDZkʑWvmjѢY&f*!\S I:\9;"n ObsG 0}k<yB1K%+8qQpCACӽ."7AvlzV=zud1Yjcppٕ~xᱎmt'}瓚 ~z#1Y7o^Z8}EVr/pR3gbRxXt&ߒϟЁ{{C;Ui+cG.F&G w4kmxJ\KWA%Nf3c!},Ôii`3'r0L"9R Q3b2هT~2I۬IE@p4A cpMf=٤\@Pa=Qm/Q4'񑾞*dyp?!^&$)>BQN)xH?aߥ WOtgG)EgV`u I!Xl(Pv#4EuF0lz\" D97=#iuFbLIc~qptv_H|05b#D` 0o YAq 3̵6tP|0 v2 9MjPWO䃕 . ԊCrRp+95 xq3:X8a ͘Eǡ 'R0r wg7`a:וŲsie,tzQPU|oN/`2T-Tz]An M+b2o̴4OpMF=ඩf912_3k'0 AL&) L]<ty^N)Q̎/-58ϩ}|OXo*YDI>g&1:5ìx|K=*Ѱn>dNTı9RƟN-˵ep/pB ?Cdm"dODD7Ԅ[z̜i=Y\^!77Un 3b &|~̅3% Bf a4'MI 23(Z77#,(aS9ICy_`'0;g7jLq9dl:WfX&+^8ȧ6s<2uZjQz"WܝMJBBWS:Ã(٬oGmܩ5]xG.Da%NOFA{εsm/)??]ɯ҈e?ulb͸Cz󓉓볉@Y4ĜUaoIUGsP5eDrx d^y9g7PH#fO rqBVnB; .0A ؃3||C A,G c>KS0O~p)O9部*L`*Ibaog #d9m;ЋR<VVVA>ߖ/T?`'|KrRq.A/q`o<ţ?@SN;ĝsY#![CO}өiWu6~C|,cAT,sfXK'(@y+K!82v?-qmv}ۃOl w?Szݼo=CZ}<yӯegj 0QLx^*z8źc}g۩[qy`VA ]m2{yZK>~v1SrޑB ҀGxك[k`Famj nV f!EؽtJI9_sYZs; |"40Qh/ $Vdʧ2IUo,V`&̄ȑ%(~%PC %USj/?y}lB <5JпZim3 Fb:yז بxC$Fh4S8?$= :Nkƕ[~%+Sw`m Wo/$ ip^d$KFЇ:OCFYG[+9HO\-9ȺM(!Lk ^Q|@ۇ 1Am3ZiNSVa2|DkrE`:B¦W=llpHu)Xp޿FTEbYbuֹX[7Kߚ3`(l\K"+r38)tvT)K/ʰ}t={Rs7ܯQ Cﲧ%NEI4.}2jU`[rl9 B HL ۢ(3Rl:h=Էx1+24i#H Q})cb'Оb12 pR^=U_DFѭ>uHH?BmW3Y { @ #UŽU{lf}Xj I:q\eM:"Ij? ౔ KPo*U8dkލ.z*ԥ4t 2vD0%^-Cۺ1\-%X@X5>ӹ*x,҄ZztTAݒEo҈r6$,@\7q#4ƆIDų[АBAm;WJH5E.7%?EXJ(t(þ fՂx|x]`3`9qo KӓHO&g, W$&d8Pq1 X?f$`~pi3KP[c{o>󝵛" Z>Tb%ݖ@Krc(1ɼ2Ĩ(W|>e断PL%ƪ)9]!xcɰX{m* nV.tx*lF_"Z LCB6D6Go%GgT$Xc$#mΚg6t͕YʗL9*E:E%\Ζs4A*jɘ?ɅS3(!kgP3_R#5GxYo^j9TA=V T 9@c°정CA Ċ  iV6q8p|9j==QtpOMʀxXdP]14iPsykV_fjlXpSឿoln6lm"? ZoS3)w)aj=l=R\6IwK55Us@xm`B$+-̮]=CHH@9o":~Z{)U:ga-0h><3j# f^MWv&W\[ye!x9B~-`@5㎉(9)/||Re2~1CJALO{K&:Ņ] NG?SX msh=TwFuw]oZqg:j ,fu]`:\x; I&8Zf9|pn¥d8,<55n|ݵ&[ZmQptzm v~RЀ*1ojdBnxEn!i lae3pVOpjHwbõH_q޺֠s໛34cNU$ݗ"yqڙLj;i3)ʄf?zJ˅h7GIlH$26&=:[NJ9$1>5wR J?"srs |y2TZڻULzvWOr%ev4:j}=r qּ12̟ xLլ)uX h(,^m9Q"!L9JY>B*ʟ !͊g|Y$Ca;!cwj4kK ՂqU[cnjÍ"0:Pr[\BOþB\5$ =޳G0&+YHfE}:YOK MH'(fڇwY݉=fإ1YdֈQ5xL=>\J%wzOɩ4+=z-yuCRó.Ib K O4OtIp>l!8Gj"g>y3 <o t>Ǭ7 ?必6g [|O9L1:;L'"< 2;T%}?wU4s90pM.}0Y8Gm@I w߾3z5/F <ak@'@7q:]BDEܞÒ"]b`i-^2zⅥ)Vcw]gȕ@ O7ƚJ2< ~Ñ.{P&F^BDvr8hh- =["%f62d^krxR8*LWO+.9d;+0-Cltٝ-uFiVU1ELJxE3}:oFشW)n Z!gs^$J*}W&+u ߀&EwQsX^@o,S}$QMĜ"6^ٹVt(v~*iJHi͏aʀV{aKtE-W#+7J^?3u+ckOM54Xd߫]E6YpsirDZCb+{l;46>Gʉ_yIZ<}\i+0>3l": _N ы]i ~IxAƌ! _Z30ÞQao E590S,ݛ(ŋP#H(_0̑@4o>(O 'SC->AH\)\UYů7 5RߟКewZ>jK(`'X |KyEUԍ lE@aBRlwmfg|LH% 1nŀ7̠Z_{U%|R/zYG,kGAzV!n6(V 6m"O w}6)Z5TEGj!v䘨bP-+F5 R+wz}S/D͕Aw(VXdɊ# BЮl8D7ug5ߊTYi-i([ :'ȪHmK[* Jj}ebx-YHSxF83PY2uΌ`#@w~i/ %Rc4ۡgCI+&M$Ƀ u12]4/_Nd{H(E?KcÅq[/QzUb$ #K&A(BGVW.{j Ș#L2xI搞L9}, n2Z]%&iL":Z  ڇw}4ښW%zC(pr2jᖱ3m& 0GAz4wͺmi!-^j ɓS:9HšΈU.@ub}yJ(f4_ъwl(үp |2/a\Dy \4~ȳpa1.eF2*)*5AGL| 3M+R}FTHv+DF\q?ަm //'c@)IyKGp>*Ԗ.:Zs+,גyz05_̬څVSP+x^SDEʶ]" CxZ kU?(]&NG FtI՗hG%ߥkTD󼚜NT1wI{L)&gW jjX#˭}/GdE651gs m;Mm_TDZukG?\/(O9#Kh"L>]o ԡZ3o>v44]E]`Z Ӆ[r NDL@0܋9/}3 QNP6n  mGUVxKr>'`xs&v]vi[߃|)'+n"h^QI;xkO㷊݉'k p8эk:S ^w ~f6[~{4ʛ'h8!c̜S)"؏ mDdǎ+VkZ$e8mt>'dPks쬿Ņ>F;Q[T6ި1b j.mzw|1Pxhaz(lq.'` /%xd@J-`e.D ?kF''dxz1<5 ƂoU܊6haa:EOcK<2 ''92uQ7wL6գzH$[V$Y>#vXSyc ޠQr.} 睁LZS|dՌ~ 4 ?Xƕ:˷5 9|Vt xÈpH~ĔfCTnN͹t4uv.4!4y50ZBu㋐WRbQQ_ tZ ^@_F>6~!&˂OA(lD *.n3i'b;6 '.x(zޏ/<-jlb KJ}y795qRw-}|BCCǔ6ꭻtV7e2" -\c<>]¥W&dff%vl3{v}!$o*$a*HD-è*\6(Xdk:);m y<IO] ̤xH;M[=*QE:Y>Ԛv.!0ٷɭA7HlEL}λ1F|3{qÙ N&\(J,l\{q7`E.'qݪ4MFz؊Fz}Ydz]P1@R*Dcb}TB{N"3gjK.Z\w :_FAtJ$ Ve$7F<7*I;\P>$_AՏKc 5ăq6rvY?4.ö⇪IjEFz (q]wCT_U@;H"& 9E[[fy"d w_ JxN.rY$Jsi@B (rqepvՖ yCnV}J9v v(M eŽ`Y=*rn6r X@OR>3QlɄNjG,eoԢw}e?mOdpiYOȐv?wC7o* Z"{}e;_0^/S Lq?4 Z^)啰jmc4<5UAO*{MajHW'/s׏۲q}%^Y֩5ia싩d_0$tNhkj.-st|OH^cSRKn\)/-ۅ#Fumd1˶4X :[êL2W؅jj䡂mYz<0#h@ -K zFM׾`uZ~@<{-1\tXP-ɘi >`mIi?wϵu`Kk/RzzpY^@&gχ'E:B~q\n ߿yc JjxM=Jp[˾]Q\3C7lK]lRk4SH9 /vIЊ7L cophH\;-- ZŻ MWﺏ>X,d$A ~9xT0Ĝ}RgD2W06\SjMaDORP㍏kj/20Kw34QUKL_}{0 sݚι]=ЍThC`.q]-ir\mKx$#N65* `#!۰d hÊKE ]2r[7;J}.0Hyrʽ.;~4(c2C*|LUmPd🥙̹QL=~`.ȴWvGQqwS邩r+#F>o ړ3K(u1ft!sQ,YR=z (o8WN:yxewfg흓(+lCy&G.K3\t;3gdumuDk*xnQRp[`2bli4;ԅ : 6nhE 8CQ!0"fP0(0),"<>&2׬Ac/CۢK 9i,| KulH`NvbvW,rz.#w5X#7JitSn + _ +1$ 7\NZWoJ,}"̇98#ƛSg=f,Ed3WD.#{ߎ.(v v&m/!1s[4qyx$|!~ਣ;Knapy=WX~8j8|_ 7-hCVAK bBa\ރ&n9)L>:d6J*H:kU(j<RTl( FSOs=KC+!t1%wjGymY!'}mRR#߈@I@:2Ɗ ~,ra%3\oXm԰=8" iZZښL3X?O cEMhn(a]C:bcu(ŨXqwёF= vinH}'Eڛi=RXlG;|am"a^Xf3^S"H7-̃_\ V;p]ユʌc@(kQqa_fWiy WiɷkQD) .8`{Nq rK_^weSNO)KA;w~vw+m !n cz'؅6` ̺ ފs+Z\1FF*.Ȗ1:ȕuZ3 >#B.+i &3UؕLoUA>b&Y$\x.Y*YT$HT4:RDNkԌ-aC\Y82օ%AdB{*Fӎ@eb#!qV/kCFad!igrOTWm )T 2Ζ}ٳc zA_klu $*"! 6;\ySL6b?YtzSW #4d1)G{y#^kmf+5 HaUloYoY}AJ$gvYnA;H \pekJQe?ݘ\%.r›UnAȝ?HQZS=*o#M?rz&u/N-hVy th5{Wa4ڸbEiTfPk؇\R-) :5q5H))FеEv5! &T {)d-! #Ub~1DAG!qkKRX]F-|粇Q-xe˖Դ"kwƁ#(cjbҼHx/*3.:!.: 1/XbQp'Scsx*ba+0 / ޻܈iAKC^qk}7Yc+nshB24znSPhl!20LsW~0̼c4&J0)\tkz a1~+ӕ!Ȟ{QZ6An5̄^5w兴D? R? :Sf*DmV;(e_4񀩰)!B?6 fFEڌJ<kcm4sȦG .!fMTs;?md&W)]/r..T0Pl,ϖDYAÅ@B/6c#U-Fy@jrist(]Mi Qi ښCmսXūwB|Vp%Ɂԡ`+38 >y RB@f8N5D,2~wltgiB[}Zj@ؾ |dTcRJZʕ-3R/Ws79,g. TfΔܬ^1f᧡(]0'ɧ(cx/PbC?(lm2+ḩhQ}k4,.<.!%&Sވܥ"bzt*-vؼv4*(DԀ~.6jEI*IG%hl0tѝ:fam \.*4ʗz V:o9ظ>e5f`}@N=,HY `#<79FW` 0 ;|]6oN$p9N/u=ցɑv$SoR⿠\ggٰc HO>N-B;-&I}+Vk5M:RA/:dލ{-[LǭC3EZnT|%nqkUu :0!BBSałH7m$UjOLe*h;էT)#bȹT+3lȞ0OF!ow6Y^!bMzτ_ߤ" 3)+U0>5FLqB*͡WDKx&Q{DySh #C[*j3Ih/V< i- Zznfpe2\D$a984#7mܠi^7rwyDJ Wp^FB] {OѡC'C&khR:M04<$rEGM (W<f c~==[g$A;lOC%㨛DB(|؝_\RFFt7?*k5IXD^{z!sg? O/%h'e%9.r.FW#d:2SGr!,^MsH̸iEDTIDƁRg4^A҉+GSMkh T9fÄ=Ue?& e I^Ug}gq3NJ&2 egoQ6x Ռw}kvkZt98:y罷UB2VNLF>ȝxrX,KH{0N,$>v'#wJ\G Ǽl[G)bF;oivPУP_0'NUD4ȋ7"[m`&f;.P@T12/9+YA5g[Df2Bn(׀h_Uxm/;MZ,$Lu뉏{D;"֘#< 1Ezm֜BX#je,L9៶xRA)L}䡆OA+* ζ3"IF‘3R4t4|j[P<3C}I>`%3Qt( P*:mJg_:|mIBa0 3hei2|PZ>"3x[˽F/=Xwʰ+9ýJ =X[I24ne_`deQZm'9%W[z"y!ͮ!A,h"G8ofNƒ%H;w =m UGӢD1&wS'(ՉpJHmY#Tq'ݎj}E>)FD k:r̃楠1U > i-M4 `Oos0jfu1\8?L:6 $Dχkj3%ntmG]wL@HP|e6vde{v/Lg NW 65q'| L9qQ03/UƦf^l  sG…=b+N+ [>ֹZFG Zp2_2 2 Su#? eOD{{>u5?an ff8AP)׍netN6͡:1O @F% Mō XkRjN`of0TB_exLE7ܠHK)SKp622Sܞ"#! gB@`LANʑBT[rBÕq.DUs2in_P&M5 "./m.ˆUQ}_@ {jˢ8fIm5f>{6{xx-ng>e.Ԁuq&F=5=^L܎?.tY@D,d $ B!XeġH;TB;+%Iz8_1 w*lC;cu e2>`@+exppeHM~b'gn./ QmBX%:j~rYFFto֞N5kJycBCR(uh2 ũ+2O" Py|9: t_peo(}Cd*iZ&a1JVѳY`k: D7-v72"ҽk!(Ȳ@/lAժ j>ڽݙVDu9>Qo֑*P6cN#C)-9aJzXXOsL*'D>*L0T`j܅cV( 0%s'*xBā/Ā#zF["}4W"Bc tv1 $`|zW]}z5zCߤ&u=M[qJN"*ET)2dR*%+U& B̓qqRcbЭʬ s} S1б!rȥB_)?d9'N3u whx[-ͪC'F lB*AvBUT[xH=ю3EBQ!WYZ@7Sd1af"L]4Q+&poq$W8 Sy9J Ro`o2 3(C^2~qǟg͕)Y$s űixR q"Ŏ;c-/D9F.aJu%7ɀ šZ V7Ӧnn1b`TeǛD/R@4Tq's[iM@pwUEIa F8=KlBV[N:M<(7:)2 $.ﲢZخ P -S(y8IV{h_6XbKE,ec*iL+h!P]m\ o"N|6 ?t(';FTfttQF045ӵK3f'}<>.G\ #Um=fpg%4]X_P ӂj:p5cqłl ]A>>  2hTT7~~}=DDv6m ۇM{mZ~qs0'VvP߭ߤ5{-36SS o6i ^~75"Xi&|bs/"Ko3+zGu;`Gﵠ謥y[b<-yN)@"|D8IO+ѥ gb 2ckW=V 2X(]-꨻аS?~_056]bhcP\jI oN}g2;xDIN_VvQ֜MdrChp)ق}q[E=#қfUŶdWc(Rۀ3)E˝ 58 UZ*a3kReZwmj9cD:+]\ہ(qE RxF\i7S[p->V9)$3E\pC܋ʢafwED6z:`DKULlexDu:ÑH1Pg:3g I\ɰsPͼ)KCYS7Їw uXH+M bI3!E e<0'P%}yxSúJ&H-V:[ОFE{;?A _ pDBK+yL^SGDL? fV|Lx2ikvsH)/aMbfC,:g:`qcC`Y<n;R!=: 2TkY߆mPzkh)\@|؛IIS._"w/H8bbP9{dN6=,~8)Wb#0;EX3> a)b1/sPQ'fRevnLp9|rxK6W"y[ `9]ex g.L@'TH9Nim5:+iH+$@@m=G(n!PYm5H߳.Pdhq]<ݜN)̃wsZSӋm;L7d+k|7Bm6Eӣ]i He"+[SØyy&l)Q6Z\ i6QˊkT=[8y?z <g л ֹѕ^>ҝAkhܦ5ZI|jFGL:QלǙl[ S4B~0(rʞ5WGR7cX! 硩BH[]/,8-Zwv-$VZ%W''0Lz'-YP~|]+;_8Vp}_~2芩ZOژ rk)FxQ^9V5@fqw^ L]RX)!k|oga j'`m(GWv,z+n5L֫Dۤj0`T3ozqis):2QJxƐ>ԅ٨j'ٖY>TJH/Po{&)н~ J ^a<`3A Cm=v8#9 a,kYZ|مqhQm 4>xjYHy1_2حǹ2 N | 6*s;O!ʻ 0=tnhLފ4j(I+T%uafzN3/vXcm4Yz3j%0<iyۆW/"m}S#j:k~ȑ)I85kNZsffwAx9l`S.=Ϣs0gOKUu՞FX7B2L/p&3Z2e ]ߴ݄covo=OV>|)h.E3ψ^gSfIR9X$0e8R3*XxWZ_JL;o>DWnonqBiv74lh'baiCAgxl VM ,jhɵ] ^rk' e'Slxۢ.7Ѻh?m7< bwS.vd(?Y +Blq_Vp aGchP`5<Ϧ ?fCs:=|HkƎ+b8WЦcRڮIjք)61/щi1;ٳ^.hގc3→/ YXjofI!.$zRZDE[\,NyЀlK)kL0O ?®F=ŞgCzƐ r:WF2}hC2R/GQVl4gtꆼN*p#Ĺe~GOferf,hLU4qLjz=џHC:^PpS$-dm'=b#"^C6B7KBq.AfW19dC6:';IXʦ5D~ ,Um?O_YuG1 Od*F'JVH^<eosY9F EQv C<S/ͺLtiQ>/]ak6[8^|;〺G04c@)yn+QJmkO7љJ>.]IܱvUSK7W#s½.Ҧ%u]ͳy-cp m{|ר$486!&ue/+DX)(Ut{څ:a? mLcdzP%^LbIӍ[4D\y_9Ԑb& ̱M`&sKBjPsNd> &Lx,(#淀f.l\c:crqgJXM+uw1=z*l11n&"}kj a*4`,*=m@p9C /nlRR;d txhD-lz+]VOvcNg!OkXhs)ѦHly2 5pg%*4C޴{xHYl=G%:JwG(@R"6A p7ٰ ](<ɋX>)\) jRWĖ0NJ 7,>t|l= {H#m/L'ri;$4Rf~8BF,Y'ӏ(1̙$er ^]6iA.u!g^ʭUN}#Y@Reh[Lk1ro'M+88#\ԠOJlPk;\-r|Qĕą6! ('Db/K\cɕGOŇmW3]I"9A0o᨞|CLl-O2ԅO=Jml^egeH!:+~~w^cF3gYZ  R  $ 2 1# LIOAIOA.RefCorrectnessPIDE/markup7zXZִF! g7]ˠ)jk2p O6LP=͵gl5f&E'VBMf~Հ.ͅs⍆heq6*$Cϕph#\_O֛$1]7Xַ{Ȗ˜oM> ͇wq."ʔuG+Ӿ$URTnk5`*?di)z0H/EZgU63pO$cH"7!Ӵk\˥ѕ+q_Iv+Y?1t(ڳ|<̰ {BBb- cŋF^c}5A];.cB|Bu:``ժ-DX1o/?W F[`6Z1(iT>IC`?+׶8VP`YHt a8 Rǹo]=R]ݧN;Kˉ~t=BuL4`bO}CfJ ܼd!ސ]I $WIfFy  i,dJdp2 * {Ю 9|`cփXIt~Oyjs}R]uZdq,X*?1GOV`7jmd4Ś3pm&k 3ߕJO⭳)LSz*12?7i]Ѫ%؆C[DkȪoh뾨4ϒO<#}R(ã"xrOfC~VtQ=:Tb#Y/D`ZqQ@opNL65v-4%-/.3ɾG6-ەl_G%d4@w%*Bݛ aZj5AU$<́ȩ9߆oaҡٳ,,#c_S7>UyB.T2]rLA44\>[kt]aSރSi|3݃w藡{|C=t^%Ѓb?9հrxF΄8$ڒ5?p6,Q--A=;Ua==B{D Eϋ6G-+!TIOAIOA.CompoTracesPIDE/files~~/src/HOL/HOLCF/IOA/CompoTraces.thy,,+-IOAIOA.CompoTracesPIDE/document_id334 +%' \IOAIOA.SequencePIDE/messages7zXZִF! 6&]·Iq n[:|&[z.*QK1˕AwAL6򹖰V ƕGcuE#;g' D)&]rkq7cmpRLJ6&[hdB 1wl^`َuOq쟲LT}Y8.4\uI"<-{VMb]FHbvPV|(Zuq gS&ݥN>!no k߂)MQ8fg^0Tؐx${&2F'i¥=7yެ4t{KL·wj6mWG֠ 0Qs؅^^аa"@:JDW dDY蠁v>*s<1էqfӋ弪0Q *0>=F&p !_U#ɽㄠ|^.ŦڄT-Xnzúa䭑>[Uc /ZLM+; 5,3IlaN5tXyPCil2De>ffx4w]Ni*Bg1L](jU 8pl>MfHct3LǁG4Y߯Gbm_y S+\=/-`'|@)*wOK.ϸs]jξ=EMZn (_^Nnբd Fvn FZccIqN*O3w~2B"Py)D?ym$/&-Dܣ?I:8A;d.cV+Arr@BʞHE:\Suݼ:ygGx6Zp|s3I)}W4x,R \.ωW?q0@w~dMnLh,|`AX910CK*AHgۼQQL`$`Gz}Dwd`WRB=Mi7R<Ґ=ʓuBfCW] SErd1К+0&ձc8*8#D'ls&mR<Ө/'qKw%sV&AKa%6ڌNM? yҎb}?XkQD1 .*Gk ,q䫐 o3q1jf(bSZtR%y LOT{ E߬$fM͉xw\G.@T}2ZMX ud4N6~GclVgd"^44yyvb3P3Cnn3=Gn^-:<-!ժ&Vr5ೆ^ҐZ[3 MT?C(?v#@#f> SBNjm6W<$~f:} =p} *!eHh9tN|ʙeےtŽJ1!hLE,zPYer+\o:_:ByIL <b l-M Ym9ϗbnX%L 2H:g_!o&jvd)ǧA]¿{^٢>a:~7 rdߝqLܩANmZArjs%gv,`Jm>cl=0"v+즯bpE d`%vx8:4\#^cqg1'2??}4ie!-ݠ+~+L j <7|:(=[[EMs*Ys0D8PKFt-Vݮ$Pg]{gc xA < `K|p5SYn~b%iېƣY):aWQM&yM4E^دww';W` h4@xՀ:1LpW<}>'TIPU]8 vSЛ-n\JNnf7^~JmbS53 z'-$Uun1qc?=;.DG# P M, (SAVIM|i|BKb8P߻&Fb3=W[J@#B#>mRPsl{-_}h4nc\%|:>]S:b`2xHp&qo+nBENƏiS0IkD?nJ|ǫ6\Au.4.HԄh:C_/seZ m)5a{$]C3s j_1PFYնdbWBݳ$lpr^fvTkb9ou>|ځ3v77g>{ZTQzr(8d86KJ׋Mä:XXMAQ{l@`*Jkd7]? UBc>GW~< Ù-r!DO2 Uy\2rFl)ZBW"8M*[vmՖƕDWc@s=2 76֘W௳{zxnbJYV7 N=٫\<;댂\ՂZb8AT)bNh0Y?$sE\k(Y.ٚA4Mشr) qXNv7o6|saqQi-< 2P ~K){n>ǤHRG;[dNͅp2܄,Lnd>N<>uMm#{JՐ؆0(!Iؤw&X#//qD44Φ5\pmB`~@6PP?2~ '@+4I''9ߐ.ԘX}|I֍9 jl#`z;M.&xHYKFNϮXh|)hc9c[. rӨ<_JN#YU'CڵE@DІ8_\*m.Y1O&/NK“6/ߖ.* @_VRX2 dfW~4n Ln]X)\T/'"Թہ%Wb-XG֓α_f) oh?7bwyk'_$bq(ʳvih.ihrd'B c# deR >Ejwʕ3RE$4Yulp0Rtv_1"3.ɗt/C+@GW{osn97L8%5~rF_ 5ۅP_(νA0X8¡4|P]a~|PٳoH6nӗ [k# Ì|~7MB?MY ~ƒ(8 ;YS̡4ZwX%8=Jzd!ۊ09fZM@hi"\qGJ.@Յld-0tU(ymÑtlʦZDm7Q}Ӯ>)8 U Hh͝9,ψ2vWaKntyPuCI@&ʾ!Ƚ٦y)㻷V1ߛ[ b^D?֜ =^V>}VL1R.2B,`-NsMR|ϜI`7jCBk:o] B&2r^ $dS1 Njt/HjpRΥ.]0YqA`|ots4TزLSHI(CVnt^=+\(` @v&z'N_?]`u$ˆ PA9?NX3йy|ҪZGAym9#XҁO'AOJF_O(a~:}'r}Id~lT?j [>_7줹UR ]5S]˹-HbSBW##4l\X+Pdrl+ә XS6zowf݋ZHR I8#sal-cw}Rqɲh.^ٓwz,]svr/@lkB*"a昂ʝ:r &U–?цuYvGx\%SYDB2RJcbbTV}c^ 'ҵwhvP [.>}۝N.m+QO!-3kmĬe^ut,D[_OB5Z,L}FTz5A]]Kӝhx2Żcz'b/!_LV7?9Nq?4|Uӎ3ɵC~E5hfqو{jWT+(cKtXfc!B\.~ǒD/T&8>"0oEvvRAP*5eD%CPO@K4t"и. ]~J&_r4Oa&x^/ ic/b^ ? t8X?ɳ'd96/s< e-GBǙbͯ/"aY>ųj|` F֡+ߔ,Hro% "raq8~=P,X~F_r/ɺ`lk)!)=0K]`$Ӿڞ(׏ eq~l~5!v'm'sɜ}GI|̔](.U\pv3$l}7njC HYrɱhoAn=qVl?׽OXć9煐,[T.(QUSlu&) ~HTWXң"@[l*L3%}@{h%=5Mq[K&(BGO{)yڊj&nߠv*[m"Pֺ}c-Xƪ<%" X{F@1"߃뤿+(cGbp%fNeםDޤVk<> }yAU$EvAFK%vnI\I>Gr2=5=Gtygѓ EL'"h<<)<'ND]h@M{V`.$cfepC{".L1s q3f'ٰ5CZKfnOb Jg#RLfE?l;8s - ͭX.tYB_֨xGATpRSENhOXe+ "d%81Ӕ()Q0P!`ZLŽnkVdR.`]\3j-l,z't#ZǏgƑV_g6yg] 6y uy<YN#_9w{{&\36 +/h4q,`5կ~Bo\Dl=obyJ:s\9\t.`|hӻi-=U1FZ/xI*JmaQ8ytzaJnRx륚\KJ՚-j-`=W7 n9~<-ZfBF3mpaTqLCU񱒲TH^6CFu- n)L0+澬*'1/l!W ?\.W6D01x̃\nC ǔ»dTALL[F'+uĠ'<.˚Vf[OCBSQHkpN3ߋ YT 7򒭠r]Kjq S>RcsbT(ҬĂ1֍$s6(\xK˖-@ɺTB:}" Ϊ(`|?#f^0j]ɄG,BxXɄ[1%xD\i[nV۸PmC Cq^@F~2*xNШvmö;TZ99Gie[t1ԐW$5&Yp,:YATҤ!`4g%*fJ]\S`r)|FwG =Υh Q#K:1%Q 'p?jozH@<]{h`Vks@$Et*̊fCIP.yݵ 3d9kVH]gҕs`VJ]ZKA+kփ.׸ⴱnt;禹CyU/#6dȿy(SLށϮl הdQdVp^'U: @ sIf:XRˆ(!`0 %eD.AK9X3S=$͢gm^m@9Rd[qgDEx"euރgGcЧ0O8c1:WU8c'DCɔS]6X>dƊJ4 ls`N7WrlS5e/oo)䐆 4E식>5r5YF:Nm]_Ɩ ˜'v|C^RD43A>! @+tJN4bJvJBctL q??VlI4E7~Ėm&SRd#6 "};-N^gvᆈ;!%J'`c @{BZϛ4Rjs^.63֔KZ;v7SےHiRK*GHScGHsHI!W;@*:OMF'YX[C%k)T65K%vʄU+*r'"=N@}hQ=ďxE'N)|}Lld}+)jh7;c6&[G"SH;Mku?9jnqP J n 5^u8HO5R3E/ K yZmDh41?#:@d.Ow8Z@ K#Dž`uK<uk=ߥGϗre KkmRK mǬy/E޺Hb#xÝ v9LKR1 R(.QB&tE.pl-%qjS̈́qץ s&J*$J^QMGU9!Gl߱߃x'LL$xkPG{n%SwU14ٙ-aGvY͠z3+{Iݰuwg嚽ۡb;d4?*FL#M-(Q^M4#jLjRv&W;=l讥|ΔTEc[=[tn\$@tsm(XY}I! n/7ѹ9?Fȯ]EJR qD!QHs*M{8&f尷 j 7?]; `Pڀ,Uʛ$p{Y#55)"Y?~i^_KQFb"NE?9MAxTِ k*Qq禛\8@΃WM&yr줯X,`nKFUi9ؘ]9J 2L)9b&u[ocu#"zx젛%goR+&d-46{9l?yfUp&wn޲2/OVIdb ,S:lF@Jkn G̻<^X[)~˪)\Dj)_ƚkFUd~6ug\{c0%d/5L9H'&I"0gMBh>΢HJ@ n \y{s(HI O߃lkm\,+jVgÇƿim|7\;3% Z;![OXO4X/Fw@N7 x]3^5SݡAh#C  {m-v ^ז "q4v,^53cV)c%fR(:={N 06JS@[^wЩ7 YܳIW/c-܄:E3ȿDΛ:pF!Ꜵڟ8p :. Ne^L!ؘ̨͠5vĦ$N?{t k(oEM.~@_Ȕq' 趍}V?b [0%[~*e].?1.`NY^SaZ-_ RLO,(Ӏ%i7[oC$邰lZkl:fL7*,+)mg ]Nny lLʬj*u|ť*T) Svz醵 \HcJ}95EE762n#Co>6m엌yuDڤz©W:]QEOm: !f0R ડzu?5"&jq!X|V !zFN%^o<ѹQ7YMuZVA=BӣeHP~ڌu0Z9wS̩q䅣1:jM | J; `.qc"oy1"GpO5C<7$Dǧā+t eTQ7ֈ0V9j3#d.J`!mqC r#+M#!Kye1)@r1̡Aj^>.F8cw }QtJ-QukiRD$VSX} -/9v7%nSrI+f“S'=(MLs;{f2 Yfi5ŞXR&h*a.5nD=H7U|8eu_`X L}e0}ꗜmz֙Wf0J1mߐS:Kώ2"]b{1';vq@tboCJ(\ ŖLoo59Ǯ[xcR.C9$.k=c"fTD6Œv+eS8UQѰ23TȈxIgpKX kyӮ^!/͗tbpyQ:Z`$_a%0)~=Y9Ƃ8Tv'lh+81K=Z,p0*@SeUmD8ˠ8I8ӍִZ֊N׵\HӔlʬo;kOUTO>i2-)8Ho^r \_5Sπ SZ+X_I&V%:̳HtX-kxk\@sL{+qiJK8Á3r,\.Gwo[Z(_,{^b/)\Ȭ&Ȝ3KBtC QtD4(lcH`"XRp< ,O?P0-4ɕۡP{^S^- \YK0ܱ)(O`o"vS#{@\F~ABIs.-ihEPńʏ$XYsFݲm%O!`Ci[A,C22m *6y@Ƥt ]-L uI?\'bb 3vUXqnXvCD`2֯+dqs+Xfo r1YqGhlgj>;w: |;IKcZͧ;0؆W3I,m]F1%86 0^T.QS%<`m;1k~r%N&Pʺ{.q 4}ӜeI})c} 02@LF\*fx0%sqVXw<蒄ⰅlB~ŧeFs66{d{~٫b/$CQ!%k^;p#wްiLeMPŚ1YGtwC.TB;cR/œ9RQgRCGXs-! =hݵ?j=N:1?jΣ?gj/!rr_b{{1^> ȯKrK\0G~Cpv+^<0+'BV|a`w|?@ 7KxbXִmR<-b% JEGc\g',ø |äsN'tb&=ROoUfHtb݄d-@Zhp4ҞoZ5xuD8/tÎ7˲fNFq'ONQkP`B*81߅.AGͿ魈2>|֢|!=;!H~@9p$"b }ux/Vs,Ӧ &o癛S<TVY-ݔm- "T /U'`Y@)e&yeۼHN'I(V*Tsh@h fFװ"r9ud[y|VPX@U\01{<#&q|0c_V"5j!-x8eۥgB:lC|ٰ{fƭloFLrOntΧ~ԭ"@uu5Yc+흼:R5W=or\_~Ȉ﮾! LmYCӏ'ɪWʪUx?nD)T\|"w+Je fL͡F9i.$u݉t6"lSHEG+iN)1Mjy< G;qCjyU5y\" т0As! e$]D;?$h-95L I"ܒMvl}ܟZVEw,'RoÀk,ۿ Ց_qM$|nLB_}؂XB ,T =' to3rc9`TJ Jos4gW7TGFe2 `9u"Q/;g9%`ǰ 4wZE yVܟ ~0n# PY@}!##VjrB/a-oKֿEI쫞Y&yj $FTDa>:3fkMz%" ?&3"Xt$)ZU=l@g~P%V:S^k 0&Urh"_rky$%SE0މWo c&Dh0h^sb%Wdđ!8SkUT"ciU J:Yu%zt Bԛr-mڤs|f`M kS;-sa9[]hb qPP]GZMoRlM.xV͙ SOѶz8s;Ti&t_{^R(N`ȃX6cš J! U> ZTlzᅁ9qS?7_1JR^j>m!hhwֲ?1+]{]>0"ʰ ;+$Gl0s&p"̈7$Bm/zΡwgvR\/wKU%}POԸFxF6D O˥a- h~]6bz_6aj*,)-'tD"fc 2j4 Su޸ .VR!Y@TvcWAd" X:&1?r]"Gq.c{ @vƪa [(d٩~D#=}L$ByY{]pWہh{)|/_A}g4n ʗuD=ݤ!0l@FF'dl9Il`THTp@sGM=ZU^Zvqsf| b<5\c?QJ\0.f1 um-vQ3[ה q.1[LT1V%[ncUh6-NvڣIS쌯27!rAR!E6Sȹou r!ѽeĀ4hr9I'K^%ϘO-a^<}X4ORuc;`ʵ C Gu4k\vBM #0MBⰞM䛠Ԭ'@+%:S 1hԹqts}q-/< ՉH_M%eE!r$Ou)%ui_ythwE-0 G\+$ѻ{<,%2b2.q1_7k]ˡįAo+%Xfb0V?m-+gb04?ݛ8GBhl_\sPXHUFPd>=QהiU1ⳣóJ5HHHZ"!ˇm˜֠5YbF^H9̠JߍeQW{Ym)J˙q M_뉕 Jࠀ2seʷ:^~8 7p.U$|nI7gtѵ38˭I;S:yXSYF`󍐭ˠ7"@]Kg79z'2̬wH\(/,O/S/k8obvI^)~qDxnw }fKG+  l?p\"[Lj@uZ,bde낳[ ((~62~I.%jpY] dLVrĊ1G@Ktl(ɡPE'?v3~;_x9ԣ·ҬJ `U5Ǹ3nN|k1 _8f$DXڍ_#loXrʁi:6 R@C|-hQ ;+ڕt$C]SMs 5ŗ2>& ҀƤR磗̜i3vֱQovG{bp~?8oN`}cS/>)e@ٛfZ.m?Cָ˥>@hQ^~= zF^?J<1ƾ2T6~d"1:0FkT@Vr\ڛ'0 dZ*A#_䵺p/C7f!Yŕy֫ A%ثa@ZxRo*L![BokvOBp@wdhlh#ӃI&<LJes]+3mI=Q0d, -UAvGM_9/tf^,Wb6M -ZK`(ZNH>Oj57iWaYxB]:-$_J9Ë SuM @ɭҖʿ=ϋ$ET;_'/CU^dA4 Oe)N÷B ݬA Dv8!l!u-neh"ɊqO#@& qC(F$.Y`^ys :K5mry'`rKeZi035sAm7%ő #K={0{S+~Bz+D#:hZm)׵B~/rL`k v˯3n z,ŗQVi { sJ^5$+Hy|BhY +tl]=]6ixϜP "pD&H^`||]P#[\r tV[Kt;3,>-:ₔ HYr{ړd-$=^EOJjmhlTM[xIXѹ/|]t=)Wuÿ?`s=̼Z<^PBtN+m-mKD(wܡTf[{Ah QC+|]/0"MĚAIx+\u&lPG. p"D ܡ|9Y Qi$|ںR(摇u^+XA3?CBaTA4%BJ;GϺvFe{!JԁT†xrE-GY+$,f}jXC)Kp]\4QB3^י%kh0uO}eu= &0(6e鮚NPڳO *JC7ݸԘU=Ҍ.B!hW+M=Դ0vדoP[>[*:`J(_Z nifn6ce3/pVABE*U0-9>{~q ʥ+1it$Mf6 a+6q?%& *d2RQ1o?z -+V|Ii⢟u}2+ pǘSh?M迯h_zfoI$yxh* ܹ"p+6xxlP1!zju\PF"}^ۭ[uak(d,:^P@IшBk(%U `R[su+C>?K igǂGB~* vӅ;so 7 ~7Mܶ~zr; 5(Bͫ ߬rDFf*WuqW%uZx4Ze 7Q\\Ss3M{٦O1Vc\v3U{a҆_$XB5CNf] zK`}@1˰h?D _\-EtԇLZ CyR-ϒrgVW(*!u _g T+N6@EU&7DPYKJhbr7 $ɦϛ.+ͧ/Ѱћ;0YZ=Z@s)6'7'J1ER':L2nܛ8>" rbYfX.x,#q!3TbEFx3Och74AdG(#`8xm} ,J^{o0L3J[,pF+ptdu))Lg+ ?L%#G#w_?c ORkXlPMp5$kLҵ֡$Kh; >L>ӯtdf܇44 G? :#2_/bzr4~x5fvŝBMύ h蟪X]0xr0ˤ+aEG2_7FGh5=CFJ`JH PfİNRmrx#*,s&ǫJo8olۦNw'jbnop`x(fD<5S0l+-y]H̉}o=}wG\t\; Yd f05Ծ(XPLG2WXtB;_^c\턤Zx71Cr{$ґyf_ЄTh#y|FNxuYZdޭPs}e;+=ՐkX ELo/9BYbH-O*,W'IRѸ-mU zFNP_]wf8"|(Hp'ݭt%'Q1?'s ^62'7Gt0C1_ F#.Xq2Yyg;'3G_6 x:n!{!J@Y wH[͎7@;@IB{}U4lQRث+a*ZhLY@2xۆb&Fnn{Ū3tH1US!(Tp nz_$HM#SWa{@D ܘ /d@~N g\}xe/!^1 u';˹Ne%sG#*u4>4-umR`eEΈXxlDKB8Z=u<7Gumv8,BtH~Xn0CzEoIV\;|R>*cRuN/Y-cȟn_t:WB^pw8D%ɼL|k X&. 9}N(1Q< D!$Pi\|z\޹uҘasUΧwa9ZlR]ox-, (BU28{sZ­h"pfEeϥ¤^zICN^@oU{1D=MͳBLRfVk .ؒO;C'W׍'KNL̗s>>.V\]h̉,*o.Rh9Ky&s(b=[_C2ysȔ i :#'1/Z;HCk- 8KܘytZ`AM>af6tXh󊿋xﭥc!;157@&3.oCjgxF%AsH6ί lIjVi?AG`CTnB,J{Cpoˑc/y>i-X ;yZ!z # 3']Kwk 'ػ!;{]BYwNsRxKeI+Z-N Pp25TNC mL.C]7|?xӬΜPasJ0^d'n5!w/PL{ZTA %$3} W]}@+孹8.r^ Hk讁![MpI͔eɋIg\X IK>Thâȿzu=z^mĶy> lY;) =t0]ZZpK2;ޮHpg <7SHy0nt`}f'[@9;G/8@핹{1;ׇiOS A`q+*.]O۴M ׶^AeCI}.)Ӡ5fޱ="^L{GndWiE Ԑq >Z(nmx & dĖC%o.)fF0&Z 4#S䥸7LIaO`[^2'{q5pq5`9#rC ʓR2*W#IsYsE) Uה+IAX[)3y@+MZjEj'dBƝH̵bP /) !;<hz9yZMFwL,TIxM*M1!:Lk6"X]>j™=P7H5OI45@!,}ph*oPʹ8r 7+sDEkھPHwA .9@ m|y}t[!^o2P~n{UGpec]CBro#\^ED@;>[+`-ruZŦ?tPz cf IIp旆'!.tiЅX}g+ ̇bCl9ˎj3 zO.G.6˥g XHYoOҾ*'v3en dvݦ|rYq=Trc>GIvzriA,Hu2g.G PҘk4GnjBH SQ/A@GjUCD,88X{VM;"zx]2@)1HWGr7RҨhy+&sȇpK983Հ_TuWH=' ξsEN"Z"OˬR/n%0_5(ēѸD[O^v& I9:M.rOyG_bա-I_X aU0& P`oiM41 %6uֺgQ8h(f~ k N"16zޡSF$[EN'|I.)[ja-"u}J0Lf_\VVh0E4<;hiGmy>9#''7Ԧ([hdWI3r4Sm oJ3 B(,ȯDΤjC"TxF*[jsp8y1 59[gT-lp^ҿ,0p`gA5a9#b/ƃ$OD}t7TN\!ܛ_Dϣq9"FjpfWv#Y1gIJd n=4rЂ}SOm|%*%y f:`kěg_T%j{O*}Uхƃ޽L 5 oʁV љ?9cVQHEEcnN@Ogtidn54z6m=|AJ=2(KWkMXC跖%\I:6IjruWQ[>l Eu>,=Qivk{.5~}Ԧ/0 ?)̜lR} 0x}` vi}˗0*@aXy(~iI\wN|iQXyyl<$Asi[D*`=*\:Esx|lzCPaB3kb+TnQw4?"@xf0pl6i mtr:;矏I'Cfg%NO6WwUi[0iOC]@`R(3& IϷ~ w'[13.~TᡖHsy07o(` LWv`6eF, NrzȨ[5o]yFM;%w (k ?Vdu;Ɖs>U˥E IR(-GtXIߤ3"'&)xП"JWY&@~{vճ^0șLc/۽/b5Ab-$ɶžn-5خO[+(0竧Y C}_ cOl)^6Us?䘌^,62/_<:Q,ۮ9[ lx ;`&,T)SUH}nX!irZb!q9Ǽ)ʱMu*C]4ǬxɉčC q| /8'֒qC}vK+wQ, D ƆF|h3ܢN#$Nw'D6|4=ցzWï5p*Z^:[ר P1Of܃$ .; Nm[]DCo{u.2e»\T+AУxWUXuם#Qkc?!qU =D?Ǿ=y!ǻM +2WaNSR6iՎ9#o荛9a`o=4IjSD˃XIQa3Lf{P'@FbfjlNwC8J1gu8X@"prHX}V.Bk<|Z)[*O*ND^w+j>/w5Ϊ:9-C<Ї.@؂+O$%o<9?ܯ.*1%&֘gߔ"B&ew/Aj: sH О7n ё0tkiI|}ŎH8{zP1&1z: Bud: A 1)98d\ o?wCaϸ,72Pʙ¶G21x8FE{Z֧ Y A/3;^Y(B5K=6DOgOb3EzAf+cBC*<.y?!%IJ~)cVḅ֬գSd]n&?Tl2tLLM#74?zWŴEo fVj"1c!l68Q2۴>:B+(44Rk-z# ~9 OYՀ)쵣zQׅpn9b{_KS-JtV3_)ׯjrpPuwi|ŏވOO`|Ba|Wv-{t-a9#cx! FLZZ*@`H۶]E[vg'm܆⊪C}Ir ڮ)0Vˍ#G ~P XF6V\W\!17nR'@~ *r}QC ީy4pW[抱9fԢ8;HP1#L9dƜ9 K1և QnE 2w,YO[tDYeC0rUk$$XJYM`ݶ-& E p.OULw`d%lM]Wl+YnjOJͽҶ 2n/ju)UPډifQ! KT -ꑩenpretYQ-g0O;hܪ'vVK\+GEp.28@5 P{u.5F ?_IRl\FP[F6`tSNܠf 3b\zeKjC1s"5 ׏B( B5;M*VG~=֚HVz{b7~S2PQ),II r"ȝKԓ-r*§n"t ӈ9äO](zZ-!uh vn,ޤ}~4J&BIQ#S E򓏝|BKQѭNR5ԫskAv8Ы0N}j6 ?^XzOo3e= džY}!f"V D)*xq)3}ſOt˗^d~C$ɕ[g)'ZZԠ,:+/FVZ֍7BaZ e#HXNI3>_|)F~c#c"0!$folT*|3`]3n6w>t ~a8Cg v\x+PЊVHxF(É8UA ᰃrM 60iwSXDZs`a,,Ie468:ob>-ތzӽJ*/ivn#hH]_tLf!in8zZ )4"oP?DwE?,>Ã̦'#[EOHK0{+VZT`xa n4Hwakm$J@dΕ`C[5hWѱDr]e8Te;=GfKF &[I73{%2Uq?z(&f(aufaGX93i ːsr*ojTlyA؃񛇶F:.`Br<5O P Fp={%}Dzp0¡trY f{} 7]rw̛̋7N+I``mubCl`<IX%( ڐ` soR+ɾo8V]+4ߓ! V/-H֎I$1d9b4:TaI0Qأh7lˋޓ4:\;N؂ǎ*,G%{~z" s.SY}eĚ["AFP\(UPiఄrpa.-n|9ŘuA2)D~"|"(!j/ƴ+X%6+ީ7nQ͇ܱgYZ 0aw0E8)!RIOAIOA.CompoExecsPIDE/files~~/src/HOL/HOLCF/IOA/CompoExecs.thy+7)-IOAIOA.CompoExecsPIDE/document_id318i6+# IOAIOA.SimulationsPIDE/markup7zXZִF! ӑ]ˠ)jk2p O6LP=͵gl5f&E'VDF W }6As0Zl{@Tu垀Z52gː0 N *]ޠFE12U a j/2 ֓"q!yF4$.ta J b2&D`oEP;REB[ vا#푠,x״`3DCˏjP{̧Jt&=_ y]՛EÌ9+7Sd5<͍/ђfS7 ֧ĉ\Qz޿9j,[G>~)Ğ깖];XL"y9J\>K=dW_j%DZQ)?"%|%;$m_6cSyLPTEc̐ڨ Jg؁$oc\s\#FL;eJI^]RIJkq􌯖v1$TuҞ(+>V~oHx56XڵB6N_kvj_rŮǴ {ԡ8֕9("XPv}=,sZҧgomyRXrq2<)^κMN{)4ӘZj)fRQ9g(qkR=gk7kmX*L Trf6lA*òOvVup~Q*dU:9[䆕OB#r@"CU668o3=LCb˴<]|WU#KܵU{2Kk2i/__'ez% tInD61 {sN 6 Y>[ڼe(JѸX74FYEkыQ3F)l{rj[5583{(-VHK^_ݽy$T|$F:_NقPA/,NHTv*4R+.).t`9ו exG4L[y-=^3܋ƛl7 x~MW OʖLO˄yh@mC+ת:` X~=Q}i61 %aX(ՀES#_{ÒvHwI~w%%7Vi!ۋMS0bgFr*Pסτ" :* TyU5 giɑBET1s 7<$ 5+*q;w@G5+!TIOAIOA.SimulationsPIDE/files~~/src/HOL/HOLCF/IOA/Simulations.thy,4+-IOAIOA.SimulationsPIDE/document_id328n31' IOAIOA.RefCorrectnessPIDE/messages7zXZִF! ]Άxʆ5.f-9 rq:iS=S?F4g9 eD؞++)B6q;8lA-[*e;cKchm 4 l p$qm7cyELfSCBHKEd?p{ˆd&eˍR]VMT5%r= :;q(#s.UyWOHv6utZw*5 R 7gYZ ]ez{۱G[4;oWŧɃfa*W..V H![Wgv\<:H5Lx aYZ ~*-~Mf5sc|Ų$.FwhT(u,W^'1U&ݸ샙 X{o;Iw^& U:ܼqNdќJ@8G*t< rn}C{w1+$FS;S3e𣈛eS {`ߛ2oI[>Ųҽjc}9'Y4q; ccmְz=IkrKL_EB}}GHsWwe[FMޅwHDDzocsd-jRFJ9/RlBA['fP[XfOlt@QD޸F4ΗUDx$F;E leY0C`[Ntu -?{C[}0 ?HCn P qb7uUF{ԩU7[ 1o\A} Q&'HB2mב& y)Pڏj>VKjvcx 3$B#&*hvBo3+4C)MAoٷ#^w}HN4v V6Io=48u83-3.H<^aQ.۽*R5'%3ͶS¸ l>ِy 7.}_h|wA|x TAQk)/@sfne1)|U)v=X6'2vD& = !$qu-~ґBM,#Mhd~)qfCS\d] ;fJaĉeC?UR,>g_?^S!<,#^W񃂝ByN1#Z (R9aj.5_- #Q&ݲٹBPdJ}!G|`˜]9'O)jO}<;X8(وgxثPJ.ղ.br^MOzppťc܁ֈ`=+{mWY5 v=?6`*WP Z[控4⩈ۤlf3=ȄS~:AꪯrIo4M^Fr_fb&104{R V7 =?0gZ]1Bhx_7FWSJYۂqc.cWbjݘ^iY<(Mӫ ӵ3/ΧtޝP)#%`'|SFB@|b1c[OrfKy7%i"@ZT#gf6ؗvڻh[A.ק3⻯AgoD*0LHcb]x'}-_>6\Rx)| !L'%>sX-M(F^ۚ+]Npq9P 5m!JL2fҧմ(Wao׽_}bȳ[!=,G.U 4=O#,dCw8-Wy sUTPUNO+aZM BHeC?O2 462U{]HJ tV(eE(D7)fab2VN{r7q Ĝna&AAa|6Z@JāTx]N+}ř}{er BEf12cLa \Y׻f4Y)?g8růd9ƫ%$M݁T}v}w)i1~@ͩWnjW~G\K&Wn5N E{C kH=]ؕMʔ7[@',.`mˊH(u/= C>ήR {06D.6{QIm~G 1xMV',f0gYZB>'Qp4evd9S xRgeƖmOY&0|hsrӟNkHNaXPe7vȧ0kXzDwHRyO>OK솂ޥg>u"aP7'\wHQSl|d ϨH:ɰV9qnjdyubP2v;h ÞiJEoQmPb![ =m&cy3Fi}+ypx9<ÚOoZK^rM5|MiTUm{ynƗTӊ''B;hN0Ad|LŰj~!_, JvetzZ.8:ƤaI C=?n.S,u]s@P|w``U8?EH~fSŀ%PT2uf0ժ|sICq hXn LFz!rVyɁUu|=]O-+SYALEG"]^M4JalP:i)3!3û Pو,0&w͒4b;vVuV]ô y .,bt| R[,YEͲeUJpֈOMvC$ad_&p9(t1Eluޜ*I_nE^A9ilT &4.*fTJC9Z[qT;cK;.n%L? 7dZ<+1hioXF(HR&\}*YQ[#F1 Cpx7V.e_s_xk'w?;?!\³ʲX \<̝M h2Dma?0mu!D& K^x;3Uwpu@E$Rl"ʶOzFyae*sD뿛fܸ!M:ȭf$50>vƮ/;@L+i}Ǫرx3Bh +1w)Kڽn JLywײ+P Zqwf, `9 m~ 3D9qǹ"6Lkq-Tu-13pW-bꯧa`kѵ맿YytJ ׿"ܰ"-M'2w ARXQ(g <ث:2G[tz%'%Rdolĕv!KNmt.sBfqbo5xi,.ҊÙƁ0eK}j7E}"v[N0bd楟OgY|ABV.yKZyCTw\Tf.oՏ81rj]2*1X6s"ذ0/:R< zxY*#poڎ ,)ŐQ}'gVI_i5zCm p^讽9Y@Lq`G`;uD️$|ML/a?]9^oG7lU=rf^aUg_Ǧk#GΠ|qt'~ĩ8P[R4ugv,iv!(GZ[GGY4Nơ8QXd/m6t[W 7θ|p$I2GuVsx~JY *L®ElPOw=Kw-=wu/|px߅lg-<V)J?0s岯2{!umY1%(M(!!?RcO:(_UV5~_ ~{ed9׹Qq Mfe0SMwSjLksݻ )PjE7P0 $XoTKnt΂hG$X ?7ؑU}y}$z$RR[IUc\/n憕 w}:SkagV-/}ZTs{M,`ȚeZSaZ&d߯ 0M3y6#akL!{,ɬs}WH)GZ.G̷ g$OE]=[."/*va.X:A `XBwg= "b#xX<`(HJH yIM,< Ow2S^[MX ֖e`M.HqX$.m~]Dh`0j Ш̯GHyYReӳ>铆X^?w6d oADgWKo){z~> S0 &|H>8nsRA8SprW|=xwf/kIF3#}R&̩+fu%M3:g`7'i/= IIF0PrTT,F m/?"벧YtRY'%Y.a㪍o ƵX:rL忭.$os:'!Vr%d#mGbyLk}J87IEAԸZ-,zmnEP}~vVZ2!oXbcؿxٵ}-_pHɃ!˷ J/}u>o,9r:RI#7o81HH3e+uǹzj~6kK7e]OTߣS(DC(fp앙?P*8ǶolRch.$|XEl]U3Ѧ%k:B@tCK&;|>}ۦ,WTUphfw9!cє=UCPU֥Ft0y$rELSĎOZ%aLДX!z;\s.2ۃ* vHO|n8Kj\kĞZ_p;<8&΃QB8,TB- ĸڮuQ ѹi%ܢY=vsOHk!&m Aik1sҼu[ .]u2cy_Ձ4`I]-*Af Ye(6*-%´HfyH.@e>~$?xrjݴ /'왓_}mQD,h²a٫.@w >=,iCz}\3鴗u@%~%Ӣ{X |`0qF`&v$!$ŠW]d?^1U*)mAAB.W=;Bm9t: GK4{l 00I_(B^7 =y<۩CȒBb3HC1ZQj֛pF(Y7{x=1peI`.m(t_SP;"{9B0&flX,.}ɏf7 +z{r\b f2E CQrl(\1@M f/̃MdPֳ2ؙ.;-|.1\u;OH*}vkb`P EZgw.)* IGP~ L>QՊO@\)M:B+^UQ[JM(O[ mUHb㸃Qe[Pš 7LjgY}#]ecjv"&F89 Gޠѳ)~'Kx9ƒWC6 ME#ƕis֜H<_ͺnq-)58;曯yfWSms LR2/Dmv rԎ?zwQeC97N Ic1Wgey/89MkOgFL46飗'5*hGF݂$#߭kM #D:/#Tm*"$ꔅU?Ks['qO)cTއG\8[*09D/#> Q+Q!$ ZsMęلͺSƥ R+^%ь HXs=ٳ& G|MlU]@z{9'`cia=4Mh2Xd Zo'y3%EqK 󒷄! =7]48f䳬&ǂ8hOBO%kU9Rh Át%Ygq~ $@9!p2e!O-_?Ʀ 6ݗ=Vx)uN] / u 4:T!C R~dO H1:3=֥ѶŏEsp1%Ql!H-ax$9+j5JIB+2hџOb._d ]]?Qsj)R^Z:ส]V]6wt _L޾[vTFu1~ڞ!V+1Fcً):^"*p#8vT&tR'#hTgbG ^Ը D oHlf@u >w:g̬'0f49Vp DJɓ\p1yVJTva9edpfAq3oyˢzOmt@ } C58 xWz|7X/;Umh?aaO5;yyEFCZ1'L Lo+]6hXOA..%k5mÞ>K|F <^Bc]}(((qks]! 2#O'd*%*=d5澑/2J'6<~l;Sps30KIa&ݟQu=`COK]U^L  Bp/7׋fU?AFwU? XAu YKԈCH EH oq‹S@ȏ1тrYڜ[×z_Usݲ%J NLC;&YQNl*Xm1l6S+.'㵖|թPg+i;]aYfe!2Ϡ4]l!j%g&m<ἶ5[|h0BĐI.|*MpFa&@T9Q‘ A+\[0Q ljNVZdmdy4N-c㋍ Oп}J\${%5Aq@!Ϙ7:PgQFd Q]깫G4ّθN8 yO\X25h3"OT2hB~a(!?[Csz2}8s%J{&+1RU_t364jDg';'2OZU7_5gYZ <<M;1!ZIOAIOA.SimCorrectnessPIDE/files~~/src/HOL/HOLCF/IOA/SimCorrectness.thy/:1-IOAIOA.SimCorrectnessPIDE/document_id33059 )# ,IOAIOA.CompoExecsPIDE/markup7zXZִF! *]ˠ)jk2p O6LP=͵gl5f&E'V#[LKd Gj%c_7xe:&;)6ї귞Bô"ǵ);CBECV8G^U|5yKA,Y#)T~F_*b1_OA}ӗ8fUv;@ ¥DC+@ŽC&8cOfnˇC4rSN95ume :RKȟuMsTuˇZvҨ7B2tL$8Yrdq2H %nM~]kK`{a(>+jg,Ws Krn3!ᓗnݍa|=*mŇQY<Q PݞjE4n flMx.To9TOg 3UhteVnR6+*4b Dp]bJ~NHO̭f8$z ѷ2̽%i$(o16U2Br#5W,(8fq}}De0U3>%^/'P؀zqP<'Xžd%$urN R C'{L %. =ܢADX7ءҰ?a^#>g#Ju޺SW-Lr]czfQOc($`$Ttߔ( vqM;Lt!CcKB bCVigRJiXk]Xj䱶BI*lu(S<׻zHG@x A 07 C hWiJkMq- $5&vWK6G*N0SUfHU}L8T` g.LN .oS KfiXui{gT~eg{=iQY4͜yk"Gdٷ>] X)lnhڰHt]ZZVUE'-i"2hra[Z F.`mV!ۜAe;Htt>~=e";~[v`X:61U}{5Hb`EUK޷BV˞Ws,WԓxL]bzmhͰNM#Ҳ˙J;n5"qH_#IwiAXǮIhu`T6w'"|PҨ;XAFRY-8C{#}k\pJ -:ws&P *?]PT|'fY6gLkBg]7ճ#Ę\~Ͼ:ޘJ̃V92>l[; #YoSPy\KD7bv1Uq r!-)! 4G{CvM1]&ۇLBr;yHq15)p ,㻐"O-82ﬡ ^cŸu}? /Mٷ%“/,i3 fRa]&aɣbhz#"'L+~+t $`%vogk{FV7,6?nE]Q$3LL{zI169*CjWvb80P> 僕r߸g˄ Šz--겇(uhUy,/dU?ȍhF-FV;Tf6yFXU  ʬs C#:tf昫dDXś1^m+ot]lpU^";]eaDXܰ5G .jA 37zpzD8qXiԛ*<9e97= J_[Yv_ AĬ|I3<'6V+Q:XY[rIb}Ph0ݪxHIJ$5dE6eLѥ7bnUD\BAvK`t=pLݑYg2 u,#wX1 J @Ѱ YxeD1q& Dg?'rV!?z)Ja+N.EɘujZG8~X.mַd,aDΑ||տaax7Hudo/paz5yA#n7VnC?B^x9"^ 7Uv~Dnyr=UE']`i0b)fup$>IK]tM1w-c![C4H~mT vEνiU˄5ʪJ{;5$!)kn?lؚcl;ʄi-f{ra&69s{*7~u4:cwA6[>3xV 5"tgh{LL }IXX5 `J 󙋠X3# h^Nb-H168( g}.{Gi:G~}]O9NW`eztzo/{8ȟVzUGhd&tBI +]si i;rDX2v/ ;h>-[w8rSJ3xQ7pJj[)?Ɉ/ YZ"R"UAMdQI?mu8".c!3k!ⲜJ$^.hӗILntz M O8o&3TLP61&<}I²ƚ}iUnc eJ=O3|S#|.>ۅ?h z]_V|Y'QZcq GӤlLDϨ'_o,(;A~E\gw7 #'3"_lv&C[LLoKaNq/H|/c nL˥<&JSJg%޸% 6^#%-Cq9a o5]8 wBQ+erk:NFD`+`.vd랖r93+0'!H |fڅWeA A%]X>|%\ߪ*M+@#멾{cdI? 1k8uAp2IkmXclq8zFI$kfU`Y+4©~PZs\nz*ԩr'Y5oZlQjRj.I[jɐHϛe/ jT7k> xT qS H8["D=PxOD+!G߮{]XYͭnf ܛ\!VT_k\ǰőUMmlV`O`&wfBu~_|+㊥Qf mߟBzPXRxR')pAnOb.{ż+ALs ZtLow[g_9L*:WZqFĐCXǛm+ihXmy~V1ŝŴH&0衦O3]9c72iL(W|x[g^ u^tjzv$'\tFϱE[>Y:ωY kdCuIJC?<Squ'|!8>ADt6GÝ&Mx ּRd}(7!bOZ̶nf {hm'A Eʍi+5v3&AWq }>@ۣ$ݮ=wV%0<=+F|÷MG13umT9Yæ8ifRcX糠޷M^ă 3(h @TMkGkrThe.6JJ˰Fj3-1@e؄]ʞƉ 8+(4wp0U"]`]fݦN7G51o.żW\('DM|(N=na]Tu]u_׆>)1ʾڡN1qu's S}G5!d!XP W:"SVWêVleHyzR2q`6( X0鏧hak%#h)V:I12M9=]b0* EqSM)<˄?N(Nh)NYEtqBE"NfV=WF; .Y2'LONP?V4eZnY-H96'(b89&OAZ,|R7ʢLƔFO}=FE3{vPxBf՗7_ S ]P<\y۽&]<)ZK>=|SܖWMonc[J7&fhrtҜ$6"tgFu<,{篴D*1z(P ijtF1ZL*XL9$*O @'vWmѶp'FRh>oU/4Jc[5|2j&w FM0,mEحސ P5];;/--c:335?SNr7'F xoSb+dr~ID]=.7?O5mKlJm7#$aFB44BoMo.(=dKlkYռkqJ݀K"y;;8ȸ]3yhLU7#. =vD5.G+fKL7op+' LTXt4㈿Ur+y nYDbA\Ny6 k{,xZ E3)Lo:d Dm%P||X- I,_yRB_L9mo+}flnj }gw~P:ݷ}>yTwŸ>,R,鵙#7=A4_-0%=uMeA{xsL]Fo7ZG[In͸i;zX;z}tќ\ Osl0+'i')(&. 4ߦ\$C῞H6Gͮ4{ mqٓ rIͯ!T NL\k2/|uͥNܢůG;6<]u[-1smLv[ϑsv&DEl+G+a@ 7 {B.WQ+љ/kKoJH.: 9 uM JzkĿ_uq`$E# %t=+͢j_M(gb*Fvz&EN䎯_pd#GyKΡ&lz?wOu nS?]|G. c/k'liUa ȸ)܋9Z}GI6^֋A ۅ5D!z(7y78!a %c]##5'C ȡ()~1q@/}Ԏn' 3E;pRqCWRR Sй\3hQVa2j+Hbf^8DLxQA. Q䬮1j|XvhEZ}9HKᑵy35(QI-|k8>i60X|}^tz[*hKX确U1FG=GƜzK>cZ?ktQ sz=XkNO{LsXCRWbIϝN4>m @͟g*(1hbUEŚ`[i'" XVYgIԆ7p ~/ym}3ZLSSWHzo\{ĸEQv:N-ktc LyO\ >M, N%Sm]㸌]N^uR5h4kJ-8!JSOx Djm Rબm"UiF[\HQaqUt.ӰM Qf0~wR8j ^w-2?P^64_GOz"*~tPeqǗ̵ x7עeڬ6gM #wm9.{;fxot ;ˏy};6j_Bj6vhkliHN!xwFvEտ$5԰]{TSI`;U==̋7Ev4eQu ƜbSЙW}- }6ΰyL;5KM|QwiF}DrQ*cWdu!̝50(C0YD];Kz1D_FkZ9oDQG>O&^~@I?C4G_U:TKb +Tţ1 8.̡YHJ[Zt S-7+3^]xYwZ}59faj2C,!cֺevNlmHeP\$שK80)^y!S"Nk; *AĈjkD|+x)m+8?: ėd28ؒ5؝;7]dT%HP2A'j p}m]ŎSW 7>.Y#MyFQ@ mۥ_pQXϣ(j C_OJP}$+IYYSyaF=|TM-dp6ǎB X** umV![;νxHh~g[, D!vG?oQ`hّpnh3 =Ä8W*ThK*)>">I{3en ܕuS$yd,Di.hLej7-DPw|_70DL 0L'į _GN)(\3D55Motlnli*-bnYBik)EB90"𪅦 (L 8 Q=Z6?pNn(<&s'6fRW)goW fIEt Hp %=$)vH\FPi-mX}9L$ܖfFL͒#%0x82EF=nq sk'V !i"߭{uoDb &2;o1C3=3viޓp*vKYh&R݉-u/]E&(#l n*9WGC=sAJlg?!nǨ'/SӔ|ٟW5ZnjqIHmc҈olR])UH zmF9 \&IGI֦_Zu5H{ _>M)^jXJLA!<9NBԾ@ =1w*J_$h`>Q'{-EӲ@V샡w(SmM5LŌXIӾT@4Ɛd.6=̚5<o4ճ$(,(ʮMni2o#}*V/TjT;xd^ 5AӬ\ `7F a);B;C8#ad8+XKVF(pg࢙8Dj]?y>72M z /*u?˹y7(I:v 8PYF>u&-foch?^V󫣴%sw3\J&] ?'H|Qsߣe5C5T]>@ бgYZ nn9>!FIOAIOA.AsigPIDE/files~~/src/HOL/HOLCF/IOA/Asig.thy%=-IOAIOA.AsigPIDE/document_id306!< 1# |IOAIOA.SimCorrectnessPIDE/markup7zXZִF! .]ˠ)jk2p O6LP=͵gl5f&E'VDF E\f`X;Bm(~¬I'bv=DnsoM>o"ڮ!Y%9E?:y @LP}- &Ax* JrFmH¶>VydF9A(wD.a7=1qckVމRRk["8+u .7(B u(й>DZGp|e D7^4{ޢOU謁.Ls0gw"ϡԅ9DVhCF\y_ d˛z_G !{Q+1jᤧpo>e:m]Ŧü Ib.Y4=o![4Ph lSY"b{xK\$E=D]B ,pL[C8ȓ-j7Lۗ/f;^;s18XlG9OG6eiݿ92]_ ˪tРQ+PbrͩE!|tWf05b>3L~ٹ NWyAL >plf-$v /+_D;wpʤw 㞯V2Rz<1g\~q$ 8Cc'qY9y(A]-7*'p=Qj_&X=cW%5KCW,S apq)tS1QؼsNϧL?ynG?($ZO2^_k {C5iQA볙Tτ?#w21b9q2tn!By䴥iVeT?@+k4H Q1C]9cdO=Qlewg 7k tkY79 צ?Χ=QV Z oxNO*/*w\׹6(LUp5 顉&kn(2u`g @G+Nf3^跇.\P /aq4'!m fMsZ@3e.ɲZB@p0/!u؍F=Wk[ 2 PY^LMGێ(GH.d,]^ў_HH BIwJzzOr&}Ӳ'}~ŸFan.8豁'ʀQעta퓗z7ל0I|oȁ%vGB%pSb!VF9OQ4_^lWn$, j~2 8("HуhW0PBm!q1dt\]lԝj+5[PYB#Ք _C.AۂiG'Da*y}]~7n$;5R18>+_a5LQ-%j<>b+zy5qh8IṋQ*b臨C#ᰞ-mdyiUS/ڸ/\z>r |*P\ ?D봉p (u)ݩtٛQg8KyB$jP;C*19q)-BP}Ά j~MR 7qzu򍔱;Y~wP; A?ah[d]M}_5ѵ$`7D isyޠ %ZdLf[g[W⢭:NG9n%7rhUu[ijS1a_| >rM-Z6:oB~0d4dQ5KH>>S(6%zRDDb6 R‹1GkNXYxnFqv&y*zyx[AϠ_fY)>f~K)uohlÓ^"/.l&/];A &])M=o*l:%<9x{o?YZf+55?#N+[A(mc~d ^b!y ~a^0pg, H A# zWLF*xF0efPSW_ `3 ( v kFHԞhs9{:W(&oyTw7,[gSx*GB*rd/VTz@ J-Ƴ1@8"rXK7smfŤM8TF7Am<(pݑo1#$U .VCnHl[FhF%J-^}/٬5.P+w0ޟBY ݆:\}$מFKځ3 ']OPnF]?k<'T'e|8١v&3jg=z_v}XlThhA:FYhĆ38}&-R$-MI h'(m gCM<3#!}!v~yibfn"JR rR# x:;nW΋:nL-uWAIDVQKCr:_saM#+o&`̀VSlh ֖Ҫ۵6Tp-8McrS eUZq5$ 2Y0ieVAֿz$ye6^ZKv9ןѭy凅J4*Kn()ЛVi: U Ju9҉@TBp%;tD^@F?C0ceu"A&T3Yؽ^f*o)F"W{yF?V`Ӳ+13>B˔$ƩH?# LIOAIOA.AsigPIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5f&E'V+u#aJ|1Xw7^eQuhYSjºDL&pp6FxiHt~čϢBO-Z*WʈX/ȻB`l(6P*QXX◀0*{9 ]AfICMQ0z⅘xd$h&a^D5_xhJ<xtJ M dz"BL,j7H!ov~y4C Ac`}*-d&–q]K$u+62#Iawl N{%wbYYKx>⊥'gG:蒽B"[9R1N-rozɡG~4kEƥp+KnYj]s3 n96xoa)lDeTt62O9:,:ahm-b'0WE"@O?BI9}Lȉ: _ cHJE)Vw kILTud22;^>zAR2*8^,=θٗy}ٮ d&FX4%H5 Do0d܊/LۣW`$!ڽYS7")J=l Qf1ҲL"xpa!kɪ'cswD,;"d ѻJP3CiQ4'DVgS_~0qxDnve՚[/w_P.KBo ov }д2osˌogǯ@t0tǵ$02]~ja/Ig#X+h65 &mJ>PEJhM!TR߂rkyzjoy1ZcEPa)Nv4XtIdVg31-wsAoU[eu-51SESs/.ҝY- v]% @N-n_Ivfa{ڮ.eC;\[BAoRh*o[v51G 3Y W!sn,TW-Ҫnh/g:X6oB Е'yA%Cג">$sׇ`(ڃcSCcR@\̎j$pP@V6ЃYk;Y==>XBtd[j$eخ׸Q^hM2vPEUv-^YL[_Z_BpP!_}e턘

XeОΞGHp-$( p ^߅A}wvv7Q A:4 f "wC`1UX:?m14ӹnfЄ/R I `!2  =RJm\^KBy|KR[YM#G]\K>4IС?Ύ̨і˺fPs hxe-7{HށZVw9ɢk@rX?+nb}-I[g;27c"3ܵral-KS0Φ@5ռOI@^ q Wޚ6/Q*N m.rKt*u3vc{<B?T YE¦p^7;kS: s*aec@%IRW,r<7 Ɍ(1qŬtek`f|RIDN᨜krDh9PQCoyǎB ly+IӰ/{EٯWT6) \tϺvKȅO|ySeO1D *L%đ悱WAWcܪwo".SEE &ň|^UQW(ܙffQSByd۹47<.KK!xD>(Pdd/Lu\l _xFSIr"$U"g'K qFtAH+dh=\͞[_32W g]"4p[7iR ,M-w#{I^vp^s5P#2*D}QQ5~U+ǁI"%# AkH39~KLbSkȩ6m:Quó Ђ`z}g;3]{-+Fwt @¡FAx\<*u;wZE9r``űų}>I"V'խp ve%HFB>>z;}Ñ!P]7'ϞhV=ip&P/N2[_O+D!Z.uXN9KP{ah|WGu!SfTӈ)va4JkHg"qݔ_u '%K; l  W"W^ShO?ʣVӖe2vXW5= +{gYZ"ʆx -Jj'70Qiq -_!PklEvE>rf4c=Ji%5|Q,;NԔpj .SUcAsKA{ΌH+Ln^$!} 2$Qkފ6m?ƤR5d]ś3b}C5U+]˘mvS(yǺ @P))dm Lq ` 5Hb[x-X=;tkEo OcIuYIIeB4C=DKGf]k,oM_iz? Υ#F!) UQ09a#&57{Pf&AӰ$0Gx9Bb@Hmfg&86R)l§wTp0dڝTA2Ѷ/]:1pArMvI!Vh&UD1t#uĒ/ f^1ܾ4'(BY/&(XZH LlS'o3xBɻ|a]v@\ j.,Wsl( ΥfF Dn|Q`(r=xN3Uԁ.< V劋N~x#ޤqQ|ZtI''VǝϻϯVU1(RUM,q*k9_ .(N `9+t $0qG"ڲver?`χ{Adf#di8(U"U|d豰O -,.o[kINѷ2(iDqBOL TgX8K:%!N0>s#c5(" 1GF>\l=B:eM7=ZI%W7H̍4mf5'Tb0gT4:z)@¼![^nc zZ#~6ȭՑ+M\`m4# 1]bӉf ?˙$n_Ч2@Ot^`7[4AU h\t/%! mza2Se&y독XHJR|Iك/^Mo6aQR8w?MeK' y2\I4(fpEkę1<1D֦&5]|܇װ+N~c,ge4pGC ?Ɨ?9, Bj nB7?'Dz^5S:;ɘ0*Q?u|JJa+Ef^d`]m[1o,7fE-{+y`酞aMLpK:Ok=pińPd3Ca({j N;5^l"Us(qv˞\Ha&`Pyw0:ҳ Faqឿ:B\@v)mXooWfEޫ\`}G}セ06G[=8*~W8[Z|H,>jk (RHzpʝ+nG Q: Jj$LhNL]=gDba:V\ 5@a9Zup^ Y5\sONVȽ'v-/kʤ2DS_ؕU!h4=VлVv*H&yKб@Q)Wd-H͘-%%o@ Bo ~fO-w1sK;!a.]d݌eqw}!qgµoL)pf̡,J#cy+5 {{uܞ1G-Uz/ӎ7cȋ&0Jh 02aC0XP 9s$԰R}&ʽi )S]ޥפ)'fJ/_Xek"Fg|l\5ۅB KBkoxc`\#vxF aqCDž`>aqgT_z0qR-5 cRt:Jcn[@-wUQ#ӶDzXſSO1"i0c@{ x 7=[[?fB ?Z\gla 0>^Z ٖU L?fi8.(n8jQ-,~P5ءÐ[?@V׋J,ώ?܎4p! *̥,INTzd S(d^p!?!H)iWvՂ&!ݰro>wn&pquaN9RRlM/ Df>Tݯ<@hFD:*{^Gʕ"܁׶<طCMb_aFX1nuד[+zJwd9kuX\ j!ZA ig!bn p-wɆBw6$ƒu^B$M!2aү6MڷˈCܧ+¹\|; ٳ_:3SP 9 Ҍx[/͜m`lt1],`'.7oKU̘9Ԩ"zշ?]XҪ:.DZ|y?Ӗ9r> )D s -C?Y7DTEIִ+LZtPJxӹfhFַ_>v☸6!XJ[w,+3_%kO4D=dݾ+D6&gYZ <AD%!NIOAIOA.AutomataPIDE/files~~/src/HOL/HOLCF/IOA/Automata.thy)C%-IOAIOA.AutomataPIDE/document_id3109B## M NШ=6ʨzj BLI=PY(3?$lW #*yycԩ[OF80s`!쬐"|]KJɰx0SBcxfhPig&h@0+ X3XRݾB{a鶴9Wz3j[ a+o1."q}ivW y,n@]isۖ7?}=&۽/OxB}罢w5|i ۸y!)E#b>o"K'"a9ݞQ)L鹟Z9?-m0>Ab`L9\բ/eػ16 +34~wplYo|~6`Cb pUTM#b!g@`pYQ"FiDkQ8R DHQs OHB0x/B%|hUW(LISW&B[^kKh{ʠkH'nI|&p]LG5t 1*?=g S'> SҮ5=ɠvP,Z i+3Y'־G -Y(SOLlyYuWQE> ')f`8=$|BB0%wV!F wxW -(2/oqyMRs; ~Cٗ n/Ѷ4vȯDIRr@{{""X$Z0@7#4n9Dz։qs% %R&i;#k5Dl8sGzh52m4͸4vvV=E!дVL\NmCTdl!\u-Z;'whӓo2BWjͱg#Җٷ|U~&͵@| 셆~w V߫5,3?i9HH`fT䚑ܤ- D26S|2n^_mUN OubJA{gܵ[U4bC66If60~6FsYQ:WogX\mH `xO%mg~@gI謭/Ng>NKK 7l~RFmzMxWTϛ HP][v$>2A{@y1Jf#^V.°nku(JXlm/k]Syq{vQ16; FLg)µ8~K2 =GeB `*@ <7]0#Ԓ4?/l)Jg$Y㻶Q0!yK 1Ěo 4KV= ўc7LPܝ檬R+9۴"+1Dɿfja:c/x2p)qVv;{e@giaג F8NҲ{~Ghi=U؄ɧy LvZ^<|`[k#8M: RaޏÔb}"[*oJ[.|c>X1 iO-dzoե wahsa7rHKx4d?WWB1E/O3=r(;O^\nDݓ2+HǒL&H4S$ k4Ǒct4j'@Om{TCɎ:`wWIҫ KhTXo<^PYAg[ȁ{&ZIM8if󩳁9d%~{$[AV_*"YmTG{&p5KW~_w 7q+R"ǀv|T T bXk 7IVSCZkpP=1+Hh|QGȰ*Q$Nl\s,g+adV#7 " |>Eqo\0\g0-;PbBWz#6WJTS }gpzKIi@zۮ/c7kI I|5ހŃ8?t$ru݇]u`y0ԷAM4a֖дɳiҼ*xE9`R}^oSE>>GIUI_^T=#S@*Q#TB"GyfhSmW+ JQȺC_n`cG_<{q< |hr9qoS zQw։w\4h9I 9Xylyep H\}=Ɔw~r6{yBv|QMpw磤kQ4Kdfhߗ|aFiQ45HCJOUI˚Svcq ? n2n>ʩU#uҢ\?B}ˎۓ+De~\g?Ypw*'ZoqDm9NoISUB+KjtmL+}>Om{?RU弊\*=H6#.'|ulHQx$n]bs"XG|&ݯ;Ē&D_Yꎞ{hFԑ'z0zQZe8;H(ѼUr\F mLA#Pێ%嶥%[.RTaw?tl \*WZ} ,oK11`U7%EU.;3SI2gr'=,D ܇0RL+zg[w_')hU|3[Gaǫե\8_PkK_a0;)KᬫVGzmNV`$Ӆsk^W}# r{#H;^DlN)uNqJɲ1(8P oq9I6ВҙI Q"6V6<OH裘R?.i3K7kA9Z ȭ~Sl\_6H۰SFثyӲfPpc<R=7tQŴbڈh@FPk[7{ө&40|).u :=M|kl:&uzCkר@'˦]_"ystnkX|[s"DhPUI 7L2u쮸i3" 79cR\\Jv4τ$ǂ'&UlL̜=Zsb-~Re{gڍ^SLq{HjRD3^#τjevF /;l"^2[zpjx-q.KKBu wi6\=OxY:.ӝɺe-XەQ:l?sN)VQ">^~et|27`g>3z L|c̅:Zrd$#Zs̩#Xw #~AbЊ }[J$8#]ݷ:MyBy%F L~v*RKnx?r4>6Ɔ@[9rR??pt{6 5Oo%3a/K]A}$6ZayI:tf%Bu)R'Ȇv>C w8XcH0^AN~'#dl@W i{l7HW{^~ĬXc>_0mOH s@Yx m9=k KREY#Ku%bs6:4Y s8xrs rf)KzL-hY&rK"ԁL?jjD~ln^0>ˌl#-MW:V`lq鍂u-(>۾Ě"{[H 8)"8=eu/WgQ7*~Zy2b%xvG_<:GNڶu5Ovsrzl6i/R|X(lrO,h.ўpa_ѴxNל3pqٖAffiz}=+h@s݌y5|#P΃\jZZqrVskCwp/z$锬\0Yxq"aJ#NGcjp{]WjmC8^HZߔmc|:x9msCrp9{X0- &leYY+NY5䫅CbQRXZ^/~kRZ}/bAjޓ?j7$byMD:qu%:W{wݎ-) oJ5uS(~@DbIWj[ε^bi-xQ-MFC{B[Օt#3_æpk#Xb`Ȁ[eG7_/5W|P:bభ_^cK2z{3W7c>Y9*U3r{ VpVIU;M+ }o[ؐus%0k$bJߜK Sj$dؤy8bѧvLmy3œ6t箍\!Ng 7*'.㦟؟юXK!kWQ )7 ={tfE}-Y_Ήę9{_>tr+O2І Zh,E-ڍ])Sx9q;qnf$X6}t[NZ3ig0i`3gar؁P0U[Un-:W($-mP\M50fp'+?2lҏĄe֭z,Iׂ_*iHnډ άe 6K愁۠+GKĘOq4rkT2(:x.U(@mqspm;o=Bǻ`_x<-fyvEݖh-E!(|>^R Y'V.ۢMCjSe_?ؤ&ۇm="ƏV=>x#b$fJCLh^-W-w' ~}|!ae,8:9Η n PD\u-P3,LZm[/{#9rRDH 0ZasBԭzӘ*ͫStИ4k~(3{89c"y;ǃ f^|"hSDw oB$ʼqAiGe&ə +ZԜX7/*!*5*lO/K0ސ!װ2}[`T#k@b0ڋ[vs"8y!"o/_L6G9@B!_ݹ=6L 8d4WY]҃@O8+BCvpʇM_mj u dK'}b;aBa©}DIUEFjS\f'<2B䲜|t'R9ގk)'KajK = >$$|r1@7'T4囕H6w1Tx1-u@[%^O C| z-8{d,]w?Se+iL"P1NkxjRNuN"}!!M9Kp FA/8{;iJ2 oJVvPJ D-dصܠD0NO+U1 WFݶJDD܇iBȉvR0^)F%;;vЯ*ɱg>-W3o9}I1pN7LE+vSauV{O-H̳Vk6_;dbcn]}:s1yȻCo)!XW.@ݙTZɹ챮4oiRj8RFoMavY:cZ{GACCp3HT iĿi~YD[m:+BBlрDm` [)qGȼf*k "k9>B=OVڞjJtZu2 ?'}3@)m;PH¶!ަ֘DqBBi YF_je]\-H?d1萋zpJ(cD~*CA!}z\J&* W(.H)XsGC|bW2R` nX D^! /_2pA7 ;-K3o0ʚ|a2^"d֙EY[& + fѯQ; эPV #M7©~w aU;rl_02X$~2c4Wg 0֛AA |Qzܗdɍ4E&NKqBNlEۺM6ᑗqRuǎV5QV%?:Jz:a y@Ic9nv᱔/8ƁxȊȖ>|=27,pu}$t5Us<7Hא]qN%Ď @C(jC|Ir@C Ɯ?K#j`}3H&X@k @EQC%RK.6mz1&ݰҕ<&2FIRM#=*4 ,IF oQ?Rn15s@E \e~;= hNl7o7F¸5$v>Xi<&ZmTPP/)8@Q'ޜ'Wv_1| YG&P+rɃxDHj -۷lUPR E-/Ek#{d=_ lv>q;!3[ĊKVU ޔa¯ };'fߴuj-xBy}> .rh5 a rP7D@#ahXur8_U(9LTJsZЮdLAT1Bk1iaXE|Ȏb1PitYFEqٌ zLfJi EIq["]: S %_:Z(#d0źTw4G4۷,7MGJGcr -M NKj9&-,CG=4>:'vb 1;ihi_>Lmۏva;z{B.g_(<_/Пxyt;3]}uQ}3.<2* (;Ká7*aoЕeEƸy1Uu&bwBMTwHZhhw-UІ!^焟AIcj.zɷj8ԨԧIc""co*)\Щմ/VW n\dbvJa5múvK.XMX)lgT?8wN̕Ձ63ȏNF_G F}6)`x 3n(U6 B->9,_˾j VX|{.e,(3Z/9CZ(1;1  Xlwgb IaWz񍵷JjjCD^drc'ˉ*qEL(9kBZX!8K(ɼ(LX}8͠na(Qi6s?y|G(1$  .=ۧXzHL,toU-45,/lFg66 *NrWBu:R:X"\>?a.;5gc9 %ؽ62tQVȵT?s`Q6nśEOz!r[p^(}T08լX 5i0ؘ,[\Q3'(`,yyZCRoz 8`+bd=[ RW'Ė݄̀%Aɪ'锐Do6vd^S)) cDK.BPDxRѼV@!8o1\p).׻~P4Ui*C0aON_5wQ8s~ηAey;Ӂz&6@61a-urM ˴^Uj㧸~Ntj*zK-TaЏa7P5 aJ敻0AWx]ט`&*. 'ރx9.XlCl0]Dp&ግ*8mXj{a- ?' .X0_\t|9*hP8/p0&M{?q~B<`9wi>҃c4'l刹3[)j"6ǿtg9<\HWު+'U Vf܈>D6wwMHt']cPZ/&xϷ&Vy¤a@1AK'Ͳ5U=/a%aMpgB eE> S[sOlk O k\qn~$ ݜ?E`[)ƭ"Af|GJS_LQmW=UӇZ",_ifi)*܊O2n&R\hhNUwށ2y˻mۅS0cp$ B^P5'S+0 E~C+ŋO$A+d9[tXM:T7h4(gOȦD%hش!<)H!C,Ef<93%Nrx$8;\NRLdo#\3s n 3? YoBR>(\ qdp[k87yqpV_JwEbN5D\' 6*B'Z^A6ͲYۓ?NV=gd:,ZQP$:^Ҿ7Hwl?}fmxR>l&MQL^TՓ);2Vt]cAf[,-f2$^g}50^CO=d i߭\a;xLvÑMK }2~ʕhpW$B,ZK$?x񘼠l/}20j. 9UgjWuE/l3dO'zX̎/C'55tApM* H|iX/g@C;Y$&b m[U2Y{`wl0Ҹ 4KGsQ1-_7NP3eA6o9Y[ݜAD%(7A`Vگу*Nw".u2ςk*^Z3D +r =1m[^vUgwr}tJEw>XݠshnZAu!1G$!9_$`xjf46z2@y,pŶLRP7j`-^-m,!VO ?B\ j蔱#)J};nJט^E/Ba=k_I~S-oWWհ~Gd'D)V$Av]6N Z!8A/5T;MF-Ԗs;DG)#7Jfs>a#Dox5WzGۋ#b@PZBfQf>oHA<#`ۡêzXv8.X!; / 6]rf{x= 6ャg(Zv*rgٿaQfy ((:U>NȌrFBiJ*­uAu}={8 |F?dJZIs#71~'3 ҝ,Zrm.ϭP8K4 RvS<<6ҺAӗpYe.03I/<#0=J4X4 -i5MGuNn Ogx=G5\ ob^/Q $J{4n5`c{yҒ@T>$N&V?lT٦oדT=k,RXWTa#N4FV66<Qcc3}{5Un{π3"FޚuVli[K;:ΝHJp(kb\?#vCBܰpt"^%Xgq\!A|kgggց\ "20ZGCwDArݽX1PpxE}oƕT鼘w⢕w1]F~P7'ȡ‡Y1 ՞!61Wg&ɩGh=:X2'],uhEHX8=A/z^2-OUT^H\f`jq  >soˋzRtxNI&ޏ2u4㏲bSoEPᵓ`kSLH*K{\{@MIE U55'd*&}N6E}̲ 8G',Xor'6z.ߊL7$M8fVEAޑ?a ( )?PCǶ,mU%Z0EWA9Vj-?P*kSGEJk=%o'C ArXbw7=ᶋftdzWi3KU跛B~LV<~NV -RХ;y}$*9iS бM9 `-%p.E) @q+[|^uXQ;CNg4 FE)sU^"*\M Qn2<Y`@ĸm^~lKi:1sk^\e3'dhDxubVx"><J9\ќ清 6@Y:\C'5>;xhŃ(~yȮ06 = f/aIpqԌ6w@nRx0=2&&PՐY)Mt:[`^jC_1t-;.x'w2 !UBR{(nߐ {‡bHԉ[EjxA<d8n#2!R BPmyQ]~>wcU9Rr8d>tgŰ6]y*QBJfB5Κcxq҈JV`U'$FҩE5D0 Yub(P!ucrIwqn0L̿jLo\Hd]n.ns#LJm>+^xJWe {vI=7hs_$ *9Oh!}xǃ # >huDYa!cD%ÅiEE-]eओ3Qi;+L@{ެrȨ}ҖtRIs\61ab?tV낊'66 nE$MDGxzrLD,@VP6D $p!"*HL~a4@ JD!T ц!'BDdZcc e?0~9吟*=9^ϱWT6I BV V}Hp$6^:iH)*d F´8I ,b*$ Q8 :g&:֒"$e)יWUSfEϑ&c S8tt<̠ILs7WmpZC{w+-!Ơj%3}dg֡@o@c4\/njr \ӍBÓ VyE 9hFV.9-(3!y> E 6n2#wh~٦Jhݗ {2Gp{`TåMBXZpiYйhk2#bΦa(2hv]و_m7)7lU@+ ,vo۳ MѥdrzMC1j&oas5M$+B1 5]w[I"z;~;r[!ҸBL^_`fH.>ֵ3KCqb^ꜚ\1i Sܕ|,|6Jy?ËokIL\(i/ 2d55|JB>Kc ZbK륛dab4Sp&)% rhRAc}̒|I ~yB0scT@ZBzL{]_iXȌ`TL뇦Q,e㟯MsF'+NAit 9&hEʅ'9u/ffo!zm%&Mؾ8Q"LUcH7|?gM)Ȕs|s/tI(/uw)[\[RbN\fcME_Ekw~8zN]dp%!|H5'm'k4RB~3)Aybf/I4G*>"N l>RVhҼE^IJR7FORR el@eǔL)EShVjx#kAԿSvX&dv$l5u ք#k%74V"pҦ}¸-^. A:}05̲~aylkܙr)? j:*=UE~L[;*0Jj;7^\^N:lآ\7Y4:A'b*1~Xs65 -A9A[[xIAԺNL46IFL83B?Z!͞ڢ?*5th'gp%P m2L-J/v&Sp; ~C voww]zw^0=623Fؚ2-C0IЯI6ٹ$7'zᡰ|0'$+ѿ<~yFHUc|5uXEotA %BɀS=q,jE;mO_,1N8^g*&&"FR=mC9i bDFL}rXKNb0_OcZΡ%{,xj-jś/{$˝Ns tTg%Mb>yRߪ[5wĹ0hqL֭kߩ_b v);F?T!|+9T??ΚRX_%Qj8 [ݟ(Jl#'2j~FO)@Y{UFoDV|_f}6FR )vќ\ҰT~؏Y2 E [7o=$ k ]seFG#te;)$yjC2oW(x޷DOFdnj!!Bnr%we6?8_ ;($Y q~Rc^x6O,XNPOFI+Rt! X%| ՚j^? oۺ~A@evE^HV|Ėo \E胥LpT􋦡=E2ș[[(!Ū{J gXoQ*hBP1`cM1x5x0~lu3J$LZGpj_4!^q0J%YWb2a~D5oڕQ͸o荃2BYl^T]p(ŹKɈI?wY3D=w̼^(׍m3nлYeQ*` V#tJmbt&0&W:9i{Ɇ Hq,AB-sQ à<0fkvhQXglg:W Xo@|[ swi ؓ y!^Gcr;t.a>9'OAd@!? a-3Yq 3էN,b ڃ2!C,@5&>_wm*T}H=a߱A?"NӊVUcQ6׭3ITc ULpֈ6IG.3yuvQ37Dl.W: ^D#P!~ݽKXl cdaj^{C 6BKii -g$#` -qKiy .M(#?*8O\;>4|ʡ;7aXZEf'F )=7^_׆E +L4oYo]j.HNKƎt]YtE9sbJfv9*#B.Ki@6{?rAH=pjӸc89l𲛐8tw`PQA 9!l4ډnk ~%eVK91@qmXGLfVz)&mP 7[u6me>c@t hꑬʁh JļU d# ,8wAc8\No/p\~'Ȩ~oFi4gɃ,Z9`r@ak`w{\MX ~r Z,KЧY  1Kc+L9) #׸eLA Ɉcw"]|w\.JUu:ük.sXDˌp';+fel.eW>l߱|V&d?]ҍ{|OT/i3 xzo0=0n!H};oŞG4nrl|E/9 Dp}(G׬#n7b4)zo$ʠuK[(*bfo&5YhFłMHuľd3g;w\@L^чT39fk_b$Ρs }=9zhnx )˅4;0YZ {E %# #mVh((3[P}s}U8O69O-"bVj+-b:xxV?0]%c#;aSxUlXgEutPмY uQݩA?#htnq)=sd@seT50&O 8 _G@1Om H|e6f-Yv$3_|Cc>ɜ(TQQhrO;XZ2HP'X`[LZ~0[u;ׯY[9LHLl٭~ 0@ zZ.P5(zY3$"ܖzsAO|o܆ph-# u^faz ljJ{Ɨ*LG,H 9Iݨv/C%M0&K- -@L?ԕUC*8UC'P-QEZ\%`p+rBM5j3mɉ1 n0wyB˰($ 4+'faQ-TVibGVu0 uAED)h`𠀲gKd.(p>%iP+ W濨ɿ?71rI$l9_W #0+B6Ru3]eg4^md d}:2:p]<`zt'Oq+Ub[nNlن!^6KҹѮ6'Y'!-,``vCnewI[I BLY{sLay986r:kt ^i%ciHKxC)JȯRзVv; ]l)EtS0nwZ,( ouȢ+B"=TCGҽcĬUgh`]2“*9DR}n-3tidFӲOa)R%{5Or)aCll'lRH:ùjl71ENY ""ڿO#oD i.ǑNQa4vN_nA}^&Uΰ;H\M-#y,#_XnrcM  8~teQM[ɭWQw!m5iy;*K Duܴ_Cһ={`W{\M'NL\O {#v20M}i׀Ynm* 9Nw+}QCp6vbA~H1..гXMqG։6L^ejy=r)Dt@vvp <)v1è dRݭh+;dM@c6 U;kpkǟ:&!2 !?x9<9YXvAMuoۈJi>fـJe8I0Z.hxM7]S1p6 .ם^$ڝfC"0EmY=(2̀\TJ];!?n,YqK{6ph(! eVb(ݨmu;ֱy ~YKzTQ1z0)  -<$^g]b8eG~(nx3e;cL蔚.JĻ 86G}"\t&-/wd\Emi/OP.$N:m29;+$kD0 Fujv!h~~rO0.`"$_?^^Sgbdcq;>2%Iw8"\W!m%l?XX):t~] VxGSϦ]5!XX^TJd{f!a'ɓH/m](`ݝxhC<,Dx1f5CbS  0W &]2}azֱ}Ӥ=Z@nԼÈV"?@xuPW |C|%cV t$swxAГق*jXEs*-O($U'[ u#:}WoB8Nj 6[낻{nbjM/Z?6Ӌ0a(8θ2|ݷn]ncuս|'M*UG1,hШh{Z!I2YAVkXm:€KCyi1XB w)Zw*Aǽ\_D|K!sJ K˥̑M]`PE 5c<&0ԨYݵɲ0$w/sVt&^AbB|!χǡ;zG7/ 9np5w \3Z nLkY58:[(C{)ʍ Sɼ>Nlmn j5% HĥXHq]z,WN|J <{B _.v-<^P +# |IOAIOA.CompoSchedsPIDE/markup7zXZִF! Hn]ˠ)jk2p O6LP=͵gl5f&E'V#[LX[!m ^-_0t&\ڐWztk_6?%Wp=]ᙛa3ֲf*O:-̝3oyҬVO4{2,*TKe*V gYZ"L # IOAIOA.SeqPIDE/markup7zXZִF! Z &]ˠ)jk2p O6LP=͵gl5f&E'VD@ܿxutD.SzF=M ,dBۘ8"BK-4BPJz~S RUm$:&H9RFB4/\I=(-:Bpp`Ӵ=ԄrЗySeJEƐZJ )AƱ͐zy jl#>&V:iߢJe&RraMr0@ݯ"~T /2Hk A|Wq\O{(ٲoZ56|<}@cj'LG|SP\+n>2 $^ 2[ Ul8GQ'ZB~yU:BPV4Z!J/7;4RT'$q;ِ|֘q.Kr?CInl.K?YiPP^#E;#ɦo̜J=ZJ0kkZ&T"vfM|uSn7Dw[= )M[Ȑv7e=l$<0>|KQti+ 7m =MrBveMYFθ\XF.Z]Xm ;Ћ7˶H*h3JesBsi΃eѝsZqI*VV/%ʜ+7ZQ_>tE"c὏fjG߅{[b:C ǧKtA'us-$K1fǁF>TƑDYcG\+sDFg&sl] f6 lwYKW;.@`>xCC{p]4ڶ2SQ*d\ NdSI9ehB6bߢiS`9\߃*xŠζV@(ޚI3NyE:DY^R s:I#Rn3&q@2|Q%rCؕI?PkN_&+i]8%4st{:71 wylgQh*9"kg0dWK&G]ø?:$@Sѫ;+DF=mCE$2fd`,2R0jKZl%{ 7aY #pA`.t8nOu~%]ļ A3b >KX$4к ͐7&<039‰zPe:w~)&r'*|<#9 ` 2mNXj䄺_!-J} KU|561'N2Q IGL4aA7/'ܛ*0 Ъ̈́ۥ3:yAA7q'r-z3=ymUҳ}6+뛶36 +dBOaŊ7w_8c^+W6xUw N^QEV,uc#=p gY_I1rS{Xxd[f0/} jO4n+͕)oB9a&'Z V5;K=YO!`\Wch)v&ȿ>+,:' YUS?E oοGd9&N[=x"):ݢ$aZ4^>ڗL#akN[2xFqLr43m l$=;:A dl.>tnzyu`jW 4 _&^قLh(%w4^f *f71lj^^(C NQ"+ ,\QatGgW ԱgYZ7H!DIOAIOA.IOAPIDE/files~~/src/HOL/HOLCF/IOA/IOA.thy$G-IOAIOA.IOAPIDE/document_id338\F%' |IOAIOA.AutomataPIDE/messages7zXZִF! ]·Iq n[:|&[zbi^aVvvҽ%s-o-vZZ*]e[V:!=<>ܢlmtRUFg6eI*Դ+wRyM!ߞFO2nfw 3vep+YkB-7J|&˨XWsأ{S3`Ԓ"u7QߖeЁG<_gYZR^RVkݹ `H |is J>Orj.9!MxR"PT fV }Qǒ㗳Jz5{pCh{yrKx]Sl)VDS )M9~ 2]?)_T]cY}{X60䖪"{j>7U:=~V )Kg ֛Qxœ]E6>- pSΔ)3FyrEL؞  k6)C1$2O)Yr?M΢Tɣ|jaW@sQc UXF:ˣ8^M= ;Wڝ=(lZfX#740џ4C˃70ěURhSx/.NuSޤ  QI@SfW$<+49 -=/\;^U`ޮ 7I/@g$oFd4{0c[ϸDjMf6oTS#d -+̾/~ZװG!騔Z7"2EU=xR-j%X!j{4 NSas.HV$uto'A(hى1.,o*:S)68֥ AaQ`t5>jeoF9$%hW60fE6v,'zgkBL$JrH-8 21zlVPyJ`s oѻ+aZ@4i*P}dh6_fp!SUFzYShҎNEL|E=Ws/.B6Fik&]_iLl~w:1^-=f#6 }#:ѠT/ ƪrY$C[ةeIdΈ QECo#z#$ǿn* v:f(uE{*U} 2݇,Sk1O$0nٸVGwg 7L/ƙ 6Av x)ZSOr`kVXUzK;V%-9wZ`n7vg& 4}V7d %gG,}$˽6Nn f.W@2 (8#ǹ&xv(I|"Ѣf0u&9ohmb=O(s _P8%s1Jp o:J5hu:j&̾tE!c=lf{Xz+>_&axAK)NjU\A l b' 8XrH+VJ.ߡA$ME\ IɁ1=U|v㕯yRLf;QS;E90ʯLĉ!o|5DJ,-}ȭ wK/J5\R> w:LBDQS$1#29.T]/B(LsW2j(Jӄ ~?e& 4"kFEUŸLev> >e!uVm(c8< (-܉n `MpvJ>YZLmw@OF넎 R. 沦H4""ShPۚ&:$S93o#}34t&)]a])i`eэY z-nM¢?Nѐx}2%:\Y5 /GV"΀Y?B}~7V/e҈q0 A"%I"2?hЉ6Q݋}j` 5JR=@^T^3:+]`PD85v G4]RԹ0JGxR;v6D KD^jݒj[8e }˒7k_"xP2ruP:u[9Q.bR gO!QKsXUິ|[Pboj_LyLj` ZW /V1FɉlԮ`-r׬Tӷ괼sQYμmjߨnd@{N8 vz\Vc ^͑{C\&K]\?*mF5sM56 >65GTkwf&UEh݋lam=)k8XR#&b`Օm֖ qO+Ԍ q\'iշvl!7p^vPpIF6#d:s[IYą2w?mE۝ t&s(0,ٍu cpR%rW1qhuQ4~Lx-.~oHg aT@g(LpiNR%' ]1yMk[3Hf^ܤeN+fZlikhIU6W;?hIi2rI8NXlUPϧCon@.;xWpZ԰_n{s/0vJ0&cxacWj?;v2Cjr'tLBf[.:?P|\ e}/9'oa{CߧQ.F_rJv4&FMS/aӤ鄮ӗ  ɺߏR] t2^f%KJ=(1MdCH.sx4L#!xRmSncp״F8/R/e%! dj148@-J؍޺t1UrRJDt pK2?[ַ {D޺QgR6^I#;kuS@4h\Bzྱ ~i;\ŌDSMoAKN!ʥɜ]oθL4z&k\WD]?w"%;x3^2uqk^No@DEU!ADZ1Ű5..#֊~18 HE=gmlhOB%$,wßPtḑX qQyK&Ec}E΅^>Z"rdw~j5h1N^"Rհ_S JDv4DGꫠ[bDnB`yAÝ<mO L 8όD L9^`M^|VЏ^t䣟SjbGYXNAY RE h$fU2j3W7r~>RCQdr 249_Vnd![JJEђN>$I?wtf =f cOPb xjO ϱd3#st^Q,dQfnh輑;Doe ȨnZ ӌʺE;C yaYʻZOi} Ľ)^9oC6M#~5#<U$Z_F-0N{>ՁQOn p-t^7L+>}ͼfock2 'R1׮Ia+ j${5j(CHbhJ+z<<hWbKitT0i^.tZ'ƺBRǸSQvX6-"4׼:gjg~oj/57-fg"]eO@o_-=H06iTFxJ:=E]-[$]!lGKM(v9X0:kS}"\>v^:I/FT wJF/otwy&xo}".BdnWƨPɜgImq+oe$B ;ߞ?^jKcט&ŠxUzЦ4;`y!Ϊ6>9uJcjZST`E=vaa+RMaUg-N Er%zߘC2NjC~_H; RqXgcK% ĜM]KC^Y]p'|;u,Nߜpwx75% Jr?xEFQQX[Ij*! / -:1t ,94~^)hv슰STx,`ς:ss eĹ3CO)OY>Ҏl7jDz:v >1̓8AOBX$ʿ)HS;Rn.לonaJlo$άϡ>BPG v;yo*Jg" &rg~A!H>ɕP+曨M #)5v)]7Kp~ )7x(ȝm[Qb i0oN x=J/Px@26 S4&fi!8;25.%O2WJ'^ )9.Ȋ@ 4‡~-;I]]QATAAZP# #G@ǘD鼰6Hk dtkQ]VϨg:NYBG<"|ssv2߱ E?O_.T75-C1W@g44GIƮ >Vث>-q,͛g7F%RˉlhV(/;_u]$fKTA.i gebxFaF<-Z˘G^0bs136'@KCX(xz DʏQ>ufbI{!9P &Hh>h{resEGe),݈$CzIPҏWmP7ڠ}Ta^ G?jI#|ǁHsF0ݭpG s2ٱ^DFJ'0TrXIFV*ȣ8eoVM1N' ƍq{80Cy@WċַM? l/Bi鯦*HsZAaA>|-Л'w<ܴB;4|R'Y%5 $ 3 j "#]sOџ =sqwnqyI ʱ(ef}&wFs_R X-kgN?뚁Ib? rO/c>;+)|}%$m`!1YR]bL-PSqf3MSF`W\T^J\\2둲KRpSFT3gLW-qڹΩq;>1etddH8R}zLgO߭,N /4{hQ#J( 1 B WyZƪD@fa&f03Y'='~U0ܒEp hMOZ*-&B%T V NpOj/C5wGurG3/R#/ݹZm9qHl&%+v1P)c@γmw2/⭅ zENRGJ吏wR^U1*97P;>`k]*B҇+&P)C}r|_FOe DG~vÒBa5ɥnN.RX<HOƻ]J~2H=U}./GYy>=|v |B=JoCVgx|Nœl_/kOg:g2i}:&Lf>Q!zeP6t7T}jhs3ϲ#."`zl/mI/?^ָKAtꙑ;HA<ߍd&UWY ɗᣏTY?Tʄ?͑rn?c>.!‘mIw@Τ/6>Ѐd=]OoJL^"kuj s*-#6}<&Qrj.QYr`t }{WKM}Rп%|ʮbofgGJw)GA'ذ?-?Q±Ү%ڽ<`;ނфlYLPhx1%/$8FN]4ړ yn)4屜NtSKT$9Ovn$ԗ026x:IDD\l 訫t0܃yLr0VW><kc3cSflota ?Enk WuW͝cC,y  'U*yV9wTa>>Ǻy TLq)@/'a* 0q-Zd*C@<!es+2 2}v!.'AQɸaTTVjqQhmUlNo!jRq%V¬٥%뤮΅jLhAq0WH~[H{1̈RrxD:S5QkU\hZ+vۭ%4 O9t(C*TVLKNaҿ=A kTƌ%KBaD҉Vk1#7d{YbtXK M&|Ff{MEL})"BrҐ3i{ZʓK^"ᖆ/dp+F>oްO f !DTnGlpDS!6t-77PsD.V4p5a[e[I2|9H6~R:KR;>st_֤/V<-$C!&UcK@wEeHkm9?g@]bQ])Tr_.%URW[ +;7Őa>cP8 3i-^FD'㍕I^Y~LT3JJFWbRhf#R \ }ޝ֦G7]ґp64Zu> 7̋A =[Mxt)-~Q@YVWؿ1r775%B~{O;)UT~F3;#KFU-ꭕ"gh͒ȷs؟o|&s 8=42(-*fT}+vw:>aYC/ұ =lc>#ZU*S>hlNf4 ѧ]v2A\M\CV|VSEBT6<)/!aF$tţ%;a;5Pp#t((Bw= {cPN$ Q(=V^݃LZ p_YQ:Sn k& TrkQ$JKuD[?Rk2~,0b3<S\',*ߕ3*ѩs2gy)C7kEm>HS}*$꿆!}=U/T n$(J z VpLqoo̧2(P!0`I:ĵwϬ/bH5qVFU`)_d_ AA {;XwL5J=Cdvو>(^ kn󞪚ZV!4hY2h^&涜rS,IK<x~H(kj"5^ ,T?QMj2=Z-$' NIBP_!7M |E8o/1WTF`j`*RrU [|W Ï;P (JH'DӽCYK CA#9\;^ *+ tԿO(jv"wFF. 0WsN9IKobzIHho=ϸ"oq{,wlܘކi e*,jMz!n!I']0sCau'п`W3]шjׇR`+s\bx?ꈒC 78}} ˶:#psqnU=dWMTySDi!^.2bS9jÿ-)'ϖ#EIM["6@ܝh-BA̒ ȌwfE" x_jRtDVc?'GƊ~f̷Ys6g:+j9,կTeOӹF0-1[U8ٍ|쒟!cnqe!qYnOdhou%Qi[䧰"E.cߙ%KO*F3<6ܝ3bJ)ilw5-#3`NԁA_%#aL+XsΑ+֊1 ^Fg$.T=zä>$k 4?@RE|H=ٌMlrt,5svO/Kzwe>cERn?eaNq}KBsJIY/sýg=L4,D?buOiX|qsage2]Kd°~rG] k]&{5J!ZlWL93rjyϰUZuSvk*Վ{oRtaϋ>jS3*= #3,R)vg׋D=z j4!LӬ7 ib¤J) @HƹyxF[YH,輳ArgP739-8lt.ϣhG)Nhɔ\T z5ͼ C)-%Y;t)Dקttk*[4ԗ2ů &ks 1юhq5*Zu9eB@RP(y[&w*+x |5?5Y kTA~s BA4X-LdJa 5s MXyW}<Ҕ;E3@]\Ӹsf=G׀7>Wń_"`^>8Cm.ܭNJ۱AZ;+ȔIn8;1iMGS0lu?w@8n1`:A1B&noeyMQCr铈Rvgfֱt))YD˙]UGwRK{>ȡLx0 ^彽sgxk RӴ*=.Ʈ[\zn˾}͵&)LU"2^T0Al#P.pi|jO&wJ=Y^DT} '?Y1pc۳\rq١=Tc(rc%C!d2u=V ~wOOZ󣭒qqnG~K%^""xfkw񽝯bj$H}G$RǴjW 2HhXȹ)DAχ]V:ZdQA,@Usn˂"ťnO3=RX+[nFIf-I (46* *tHU„3{܊o"$9Ma ?wI=QV2og@8B(qy[~__z@+`>yцpz|2Hf{i$zV%IɢK3`y)-;\bSKQOI5 /ZlxUI׺qo1 4pf½0JKCib@@ pQClEB9 ~D8GP\Q+=ڋu_t^jOaHƜ(AhnL¤ZsƩc T(጗`oVQ}gPG/62-'8HQ/Hp/ W6[ 1ΊoOyt.H8BC'ݰɒN-fZk!NW&=~a"j Y"ϯN^%g1ӻ"!hD^9I) a9}qښRaGyRԁv%:&G;H>q[Y C0кv_-Zk/M'E-[Wzt2A^ 2FS͓=vVao.@{ս7Zp?/ë x0,kkȳ7% DYz=҂h73/}Rzm=coar_;-&0V9E&/ćo>hjC"EQ%14iVbe?lKD"8lfZ>M5h <GHYٲ6GXyH||@(Ƨm졻p+ࡡoLCka ߚwVŎ\*=QeR;=zC[msOw#&nA=g_5c)C`rVEG!!QLĪm#ԃ tV 9Oal^(2뜣d|GF  u4ޢ9P- lusO&BBQ<Ɓ_\4xQ t:V&6|SYF3^__\!E=bX:N}@#l\~rq}NtK6G>8~,P[:HOLѵAIB!,[+GIOB2Xϔ>Eot54U` ѣTuTt3 Pf I|</N^) $+BT)[@(J xd< +Ϊ8Vfg (#F'qd?4ME!Vsm.hA=ǁ/kUZIU+LP0)<< >b΍IN (5ǎq>|Ba$|Ta-A[͗2}<屍o_n0`n.Vw9~xzv |SVm8w(VM$ڡD{y*HN8_&({ [PHը%εڪSOH?_(e1L4 MS/冿/R7Wtʂ憽h]P hDz+i 7+1v!`gPk2k3 ~B8 ޻Q|fP2'Ka3%K=ÃJ늇5 n v3o% r4Y-J|hь)nGKx_ϴj fe//N4ub#X3y(1Q.0Ii3 J*%w/0(b m(,9>_—[2դt\ᆾcI7 7(\VʯoH5|k6ͦkGF ?Q;$"JLbcoBF )X%6\bxӥA l M%tFV8W}oJ"ZsYqWt>=pW AQdnt:nKCwP O  8HL3Q/|`k UGQ7=H|h@JѤgYz%al%p& /5-H+ ha͌2uɈsU+͠_Z:DWy?gv5ZVjg'㶰 ~kt`7 >)[񦠃 ұQ@ƽZ'G.n]efq.b)Ѭ; e?m-G=uW-(ZkR4]{xvTfW8J[:5}X y+ab&ʼnp*㠞fcm@3A='h?]@9b *N`I`PC/TN<)7: 2U*VGF*-*A)|EF˽˗pn#s.ېZ~=>( ϲrBJ  n;6ui[d^]ժu cVh,BdYNnU~1rba< u72_^1G2.m>Vc/YZ? `Fg}/EǍL΀_x >qfȝjKgs K >r & `C@X-<~C*ؽ-c8~6h;fXYHȔ,teb;~ySJ:7&Åi5ݷ_ؽBik`hB )!^r ֺ(u8mIT(Pٝ2h&gHLp7xW~*!XOF{x% z04[qAߊ8҆S ve㺁7,_4VA4O$!zSNتp.z ]Xl-1>USKT 3T-sѪ\#l# R]ǿ:"An;ek50P8yWYI3ᠸ C,/q"P4o.*"8}hyΣE)^ 5};fu j_l7NrÎ%4s+vpEACŇVt Z,U6jq$[&$ k<ޫ6g#X|XL CqLB=S>#aDT\m -"QX J*cO-4E5p(};f,ftSt<ڄ&Cޛ.'݊ٷVv?*j%ͨxFjۑ.Cԫo t.23Y2洮[{F-_٩J˛n-V%wuav[ɸ0!ސwq_e$)`wK@8`ٮ0 ~8=]54]Sܑ~# ,C#[yδ1 K;7S=Qq3n2%i_ =c`Q:?qRQRECv2_<9WL.ѣlL *qVlkf<Y>6ȥ{0 lܣ&ڤBP:hCgBԡ#u߻l?]Up+ܲӊ~SA?j3~ ͯ#H: 6&-62 2SQ(d-!2#o^2r|J]Y{x҅^E!+ǣXv+W)@zIIN (iI3q)<-0 # p[꼶DޅN :qXUˁ0nDJn>Ą[ $G"5UQn?֨W2 *΋f aێ"{xA5El-2YÃĹoӪ53@.(~ky_|(C#39D6L͜\J)Za48ms?Ըe/ IjeQt"ί 4.g)8R6TܥOcI00V)\^r=)o0fŤ~'-`WRnv_P#\qb Yst6a\ɳ7dzK'mB4tKNf"#üYLMifrQeP~2 %`hW$ hni`lv 4jQc1mjN4ͬ,c}•M#yMiz@__Rh9$Vκzhׅ2V{B84IZGYxܣ:YEab+X :u9H(:fkYATRCN!Łfʙs8Z#U!ITxQBXbZhܿxZ-x+ٶ)V+BD # Q9ưFOBr`uddsڷb=1M]xo?Rׯqn/rmCS{lL^14.BKPu TmG^xkgxa\z~mӨA!>_ c\3An|\T.8՛At~] |K,^ŕ؁Vds&M?*7V~=LZFĬ)m6IŜ4͟DehKiNŔw;OQ_M&[Ʃb^h'FƿjlQf4zOneinV)¹Z2F2w.O'ICP95yOU;h\G^*|s{cR K;^*Og3k&G$Ua]8Zu쨘GQH_к0̷T1;[ 0S-z]G_m󱓰$iyHG%Ir"uٔp{f'>!r2̃wxw >|&&AW~ћRFQ7~7+#hpGƧ]O$)u |?[{733Qh, RqRڎAF 7A*-kuRSqv*Csr$K1tL9N^:EލaH;ӌu+ѓ퀇Yi-Q2ܴׯeڝzL8v54, \8TwI vCz.7R9r.2aBEmF"i`g1ES` ATHiԑ1HB6Q%c:yLw9{ʑh)61~:LFZpR#t7u2{PӇ˜E{HH ?cD~ hOWSNӃ1~/`(ܯ~%h,ѢVX IעR6 ?P-Mb &zٯ#kХ=]@_ SS9y3\?5)b=*a98XNg b]3 T.tRaLBAP}bhn;6>=3*օײ:|?0ĴA<yI7yR~3bKu zSM"A1n{I~x%f vݕ@V(ɣ91'MMV#BXQSu'HiZ`i4 { \@B+6創7/.*H4ÙO gGkaF^c%!zC(W AB>NߖoĈ$HòXWtHGmu³^'>0D+~p[Ětx@D`i5n?@9!O]Ɓ1q))JUI$Gb_o5'UTvj=jQR;PCAQU1jpfV?_hp$b{Ol:%!3i9Y8\4øz+A/^9FS_h&V^ވ9 3M֪ܘ crvo7[J幪zcuڬU~ZDH۵_f cŸZ̮;.)e5ޤr,А"5E`u:AQel}e(XNz+?e/`J<l 1t6jh^{j¶WMA= pi{ہZ濪9Qgh/ZYd: ʽooz"T-3Sk`m^>z蠕BZ/ꔲB~Q1΀BHﯜ͔e\ Vưi!zRa4Fېaj%j c Y}^89/m8A1 Sk?n/;wTV%J8P!}cw.];8p{TjqhေJ[(o-QMh:aN{[ #t׆rG~)5|_qͣJUV_U${L'+'xX䄵+ocC$11ؕӐub;/oԽfE, >Ok"f"U%rDɤԯmҾ|D(Hl)" ¹'5 fxDP~`ES;3pf !VRX/̻V"w\󙻋g(WP ,'*=n/:<>!ANЌPgH?8բXeI:" sdPWvKyR' =6ۇ}yn| =gq^oD\qs[2\vX˫)HUg JJ?+ےbqHXAȹ@]7:~&7qFMj+ڨe}^鱂Athd6\6P>mY}e0evĀ:cN5|KxoCnދ7C$?T1_XO]s0tڥU4&H7Sװ;yXuO zrA^dNT5R1~^> k6y4ϖha66ĆpPZP=uȵa F*ux i' NKD^bq7T48z?H js?G^Nz^طjFfM,j7To { X8ד\ZyÐ?TV7Ywt橜׭sxB~D 8lR'r!'\D@&9+kl›WG';v&GocBvj`JR}T]JDX#ghe!]S;3΃T7}w6oU):zYg ^z>)6ҳ- {M8{؇i?Rq3*^Cc )%qXey.Xfڧ@ 834N)ހ,dxjiX/pO趒8y3xZ)sJԾa~νᴢJޙ'( =\B$;buA8u+ کa' (a6y>!w7FKftۆ4꜒$#{5CZү-?l UYAS%!NIOAIOA.DeadlockPIDE/files~~/src/HOL/HOLCF/IOA/Deadlock.thy)R%-IOAIOA.DeadlockPIDE/document_id332KQ+' TIOAIOA.CompoSchedsPIDE/messages7zXZִF! ]·Iq n[:|&[z+.I^H3UOӯcw>9(.5+X7􇷴qX,%%D(jmw67|qNQQCMs͛O+ ~<OM#$wj?IlF'_DK>b~BYsƵ`p`)CU/# H1(-Iս) ݫ:΁jgYZD"g?@8e&2'O㿫U3EU/.XڹW#4%~Ҵ FyNA7 mWz頮$ #= Y~d)(mPlD_'<\J y yW+H; $l|@ :Y7*DѾۼ_B7&էFLL I6/D`/!!U_/^r/l+At~ݭu.gu6V}'|M[F>dBF;u,zyotP\gQdHd^6xcda-q?]6y0Cs^>,>ashޒRFŠB;Yգ!yJ+Z8" me;22@k$ \HvuX'?nCW3 ]SAg}'6{4P ܯf|q9cЌ;,J`qMe3Ϛ3۰B%ݟP@d̀uJnv3#,^bk6] CZr eIlR7P'oz?Z@pkvT].d0a5]N?y X%L٦nn>YKWɾSGˮ~o :~\`z"iBy /w.9qet2엮D_dˠ&.g-y4ҿ!>Jjݣ8?u(nUe TÚmM=~t`~,3PX$)Z*ְZ˗1( oG̶dc=نame/\!f"'ד hzmV_BTm?u^`rPiwItX%`"W0j%ذf\vޭR|sc*?y>b<gM6 wBB{VK &(Gy8G6c"^HV\'T˛( (k-"6(`@e)(Xd<\Ƨy۔Tz_;ΞtS؝(&}/aY5nvZNguGEz4Kܚ2"@w읭"꒐h9oS_.%>Z-Qyd XyH:Vv^pwjFxT >܇ԸJ$nܛ VH9@}-7Iy= ǎsq{=ݭ GzUZg0/G|gXclB4|w;Xd?yz%EWVDy{Ex/B7R7Kt)ich9a]2*Bw̺O)W)slqYC IIV__rUYZMtG#/fo(+"risն hX]z)è@콯iC{X~Ws!kpnTfQcqWsн"yx!#!@H|:a>r¬%ޅd6VBci~5xT>Q 6QTE#U.Z&MT5*޵U@ޫ6@%/|Sx|Y =Hd!_.  cgJ65m12j=z5B,Q4 "/pvpdWS5*fʷH (|%2_JKIz# vwW:$W2Y,2} j2.G^9-q=Ic"\/ Ųkz QK=șG~g9 f!^\vnS(Uj|f79+y +l_,`).ݚ+UUu;c#xņV7[w{)Xd 4̸{wuEdNi.eF s]ylOqd$/QΛq3"*:ϏHuEWS뺬ZPpt!#^Y ւ(5@kJ"#Ax,ᴥ p]_heO`[wgzX!Ɍ ϓs?\hhw`E2 @7@WaPma/˹qkio`YO}}Bn$.x_D%$xb&o@qaA10Y=]堞;m/WqN~>}a +K ub|e>GBmIL V: k`Æw &K`+Pu,w*d!+YI磞w&+ͱG\НR̤e*y)?`͔~@Sʐ_CiPRh23zMI?cYL,ؚնe[˟ x]Gu?Iɔ)Go+iyڇc"k8F`7SQBM3=J= ZBS&D&8b lE `)BLaݩqA~tQX\7 1j g)X$nq77w-@6+6yqM 7w_^^6)< 8_ũ>?urd@rQ\ ɵM.Q:{|0}jJ,ȷo.isչpym@;AaNUIjG;EPww ȅ11ms,mzm ׵Cv@I"lc$\נvv-CZ_\1bȍצ.H ف$~DLF!~j{nc\2g|tul(2j5h-8Ewp$aV!jTrCv]B.sۀBXDM HYdW4m/ƽkE0 jح@R*e}. @A@ g?«(-!|q8XYE0 86};r }+q"]<:~&^7^sֻSk[\}Cv#gυduI1a[}Q{atHE ih<xM%lHPY[kaU?yُU|Ojn54<}D\ Ac0OF+Z϶ڪ*\s' Mm"pen2VM}݁_-Voۓ@e({0{b7>xZRv+^9)ftV` ~\M28w0nT &:5ej 4zt7Q!";@ZF!"_nmT IEYII|`]HLS< vs*Qб;rGXiސapճN";ϱ'e4`ރW*O0k3di=v|c6a2畦lڞ(-ˁ%R.Fdے/%hh31cv=v>īm$?a+j#"7Տ+:HpMDM1Z]j+,W.`2~Var} }J8TOB9٩4Vuu;=>H?-VUUCK㤜1T .u"%3]v8C7@V]7+iH\7WM6V2v5}A.a8E?cTO^h+p7 $LEάEfUw~Z#KX= "ڇ`Ȝ!8ҚrÅN餘_GoL l6.QBZaR^il/pdYTo <0Qnԁ2ֵ3-#y6shMKN?O(6O<#=GÆ q< F ;gDyEpnP$tmK(s#Owk{7l6p5eT2Q:YinH]0˘tlox"L*&EFE Ƿ$d2Av_syd⌖~=9-UQ#'g{B Yt)j;H/-"a0p}^-4M*2J=do FWC-g;w%֍K8Jqa ;Oq6%Hرmn7o*6:\C2pm9[Z] Y4М[( 0F~~s7qUw b Z)c+s/a:¶ "E&Hjsn+RWSH8 bA9]PoŽT\#ƌgá #gRܻ'cK,=z>_;FAe1{<1Q|RsOFt݇ ڞ)hR+Э_X>* W}܆B#pSz.7ܶ1EΚ: '~KJ63Ubo1n,,$f-64ڹLk,R M=;ީh|DtON,rano3JIH #Lvr ١W=ceJpx+JQT3r,W?3SFCѝ?ftSaKtе0 6ӸQ;!0?߆;>aɈ0: Ufy\nx&0,cVcBԡ"m4JvVr ^g׍e3AE_E"*+g?D"lM@ǎ,|MOC2Q,Sڶa779XXB-.m9U"~NɆjs51p%[U/uH^HKu*<7isRjnV5EI񈝣:߼b 44n;I]slR|W2+) DkGrVK^Ԯܔz)8~;U[|1?3$1q|u +ȔH瀆QF$NS 6IyIz#mm " 3y"& _-;~rlL_qg0 k{o614|G-|Yi,X4rSi|EL1UȢ9H@~1, bC^e%wv-2wjuڡtL=W pR}\ ,f Ъ\b Zj=b sώ+)"/{N"1uoaj ]O~n~Vp7 ]Z2Y'*wu!F+0Q^V"bQim 3`> 83R$y^ ?E$N)i[)63]n~<Z x"dVn xW,e9xY7:_]-dɚ+A nҤ\w4ڈϫN;'H=7QgmaΎ/OQ E5 RB~Eě*3l@(^&"z%o;}ZjD|>%f :hdF}ʞTڼL/C|>D="YL\ V7+2lzh?#Ԃ'6]unN,jrU=\wM*0$" ,MF-Vg9zzj1V5Q^*!(P^-tN^LL{0*n`F;%g^Ft56Ȱ&@  3v+h7GL#)~}ku'9 do uZ)"U6ʤ;ns&- ה/[TWc$'J_z(h]N YˣNwj]^V!U摈I5yrCdRt !X֐4D-/y hY6T uIdU]qyW6u>H{Cs_UސX8 28xk~xPB#jFQVJD/&c'0IPaw3,"WćHop"b.S8ɻ|}|UXBgʮX0 xԹ^3T(%c%f( P!K$3@$#l9(Uh)/ ̙RBL;Qp)> /5 oM6Oy`NXmHY V!dT,2볲pS[o)'z6!fa7)w!_*V<Ω?M3P_qd8N=M4]{;A2XdH[w'%? Ѽvր'&qT+Z#*YHE?'|{ lP4f̳ CU`;ޜ9p܏{[fL2lU'?#@]]? OjVd%Ur)oS&-椫߹p,&yQ ǝ~5S0zEZ/bՊ#w@݊;B;'-K@E+6KeiqV>#o;FUF5Ƨ lڜFHh=4zM{.]q.k8ɉ"vΗXAx+9m~\_ b6>GåvZk\=u-xgMHcU--V'?_ء89݌,d#f+ WF{["lm~;cks77:9.N׌D?jKc?Ek|(J|PiA8xŢ@äR(1o Ge5)>kiY/fٟcEUߙKux<"D!ۃm5nqx \$>Q"漘0bp./8ܯn-`Tk XWLyYJD A8H ۭPz'g9ˆnc.MilAEZYɯ`p曢/vfK*iSF哝[4|JBLfV#SWWmbu0<:X4zdC(A,`nj,2w!(nw(qۍZ/m$%PRn; &a 0'q= &ٝK_;jtpodоu$Lb`#B+-r7v|.lgCͰ" 3Q`Cai >5U|ȕ@hڐ1 Bk-]d׿.bXA#{?9/ԉ[Cèdނ D% sbRJnqix0OXkp1G IG@s-[7>qiݯҖ] ""cOk*Xw9 G]Lw>*BҹԎT8uQ]NQ0tT|c-L|yYt+^Kɲ~(T|1ۃ3|mFOYA-qoxK*mR(K__dkv6ONՎ蜙%aHҡvT8Y} D4}8# >*Z}SlS,>":@8ՎOвe\_}= Cv״?̈́?D`a;d# ôohIf`0UY4Y%2Ovp((QC˒_ ''¡- %YQyȴi ˇ46 ,?ӁlTodQ7}^dlokkwˆsD}9PW٪ X伭ը?nG,{SBz!71H_4q1۷@CO$WM3X [_o}U^bz}/?ς7TW%3J&%Z!FjHSmwhUK$v7$Z]9 s-U31͡ϺN,݁X }O/AaVeq& .1S=Ja} MmkM0pI![+U@Bjxl <5.jCoݶ:>K  1mnmх+眦"[ ɢW]uORkغAW+2‰]㭑١7"sM _hr̎~2ZRh_n'Rw~1 kRQX+řZ$DH=c<Ƅ(FI1zQX&ԫ xJ8"OyQ+XR8eo? ;X/sc6 ^%`QNήWoWZXÆr`P'q%eI2L㈧,L+ @]D}a d/OogoDN$ʝuFܲ?OHBN}!5 ;Q4+y#pGkא݆],!<*t|DB*K8hFʰ.pƘi`9F )oLI  r*X81`(䶟72V)TpUE'g_0 8K_tQއxX='[Y\p:]jФ&D`L;e|oO,ƹg{.D#xJAIJ<=o͒jx7jE qϦxA ^rfu;,4WoݍO 2edGBY_5@]]QZ5!^IOAIOA.CompositionalityPIDE/files~~/src/HOL/HOLCF/IOA/Compositionality.thy1Y5-IOAIOA.CompositionalityPIDE/document_id336?X3' 4IOAIOA.ShortExecutionsPIDE/messages7zXZִF! LQ]Άxʆ5.f-9 rq:i8IJ8:NY&eOҗ% .1bUz>hsXW$ꤰ;dD+(};s0׽z))[GK# mCBiߒCm*~LkuPc 'Q t6ʒE$NggA%m)f,1/5_gq 1+yMxwK3p!-noRNW#QY\$?!Vz$!) f9B)}ՠbsyXarlVECh* <"GY!)HL$U!aKZQ9h~{gYZW 3# lIOAIOA.ShortExecutionsPIDE/markup7zXZִF! T*/]ˠ)jk2p O6LP=͵gl5f&E'VDD m^]?Ff1@>~c|pBqjf%(3h A'B(Z-#q̱- :*3Hܵkg'3B`\0pV`:n@%&ufϧ8;=;pNȷ̤wb:k<5~253 J. Wyя*SHL;7:䀥hOL!d^G}͋ն1X,.#f$f ?`(VA53bK~YJf pGfjOwə,C$KEar9NFPlǻ:*!{A>WKRBg\QRMz\H\}ĵ1sSa-Om5u4j*zsT wFZ7AT`>:z A=!$;N467 OvN"nDn I[tPi6+ WҖaG8PaqΰXek4 Pȉ6gJP? e`aQ0fqA1XMdf)+m6Xz8׽'U8&䪞I[;:P4,QN/#9q0~0[Vr3Pt]6C]z/BLlkhw(zO$<`M2=֙e|yewt2Ls}5LC(:y:dfga& Ik+p݋MBm} }o˰"#U=icoIT^NrB]N@e"EPN)hXcC{>_t&&NB1ÑY+\,DcЙ"L<^?o{7E>\ ,N5sƸ}v6qX룱`(??LJA{@y< vn/?\5&`lחGQ)ó`鲾 $p!-6z7|v?#O?b.i-NU,Rb}N)vkJʸ,D%C|1CKSBlL(;lar1Y7YU #6>LTnRޣ@fZ;Z}(_]!*CsK<+#t`DN o'b,Xi1 q9P淈FM]8Gadð׆&xJ&ѹμvZ K A׍kvn˾nM* E*(S]ze-ˣ2k"hr&NX鹓FSU+,瘫wut' {8uo"p _wϕ>1c"9- 8p _.qT~ ]ah=xFs ~bySvzIW0i&sCǭkHtq@8wI a4D- d"ta!c&_uR/l`RI`Mx a>Q~DrN{2TPk-hhM+1:G#}Ak clHQ&7To,&sH |:) rT.?Z&6k[߄$0̓>pqHskcЀ$ c`x4)L_N>${e,a.Y J+n+u@٦qwyM{8ǰ*~Rf||/FK!5Lwxs492s;p<@!32dV1\e\~e#oyAi"snџFƆxtslQM'66EGe \D fD@>q7Peako(-}b^j{q~Ia {uLi"K ˴oҚ%FXyx)?Gu\|,JK3IR4 ޹ SF59=A$ Zfsجxwp &*n{NÎ:lpg`aDO;u盪ՎP;ǒsܷ DAPNUm[Wt8hśG$0M㩷3ZWmw<{{w\w$W4$r#rq=6Ol(ԊT;]L\"Zy vT̊h3bTަOϟ*S"H<3*#|,9]!B,r ɓi6PlcEv$,f֪wah96AhL mĜ`dVk7Y(MIefNB M#hwYہ~hO%\UUm|Š; ]|U²-&-|UtoVQ;6iz$!`TE 2eu*؄IH;os] nk=sS85cmHLmm;WrhT.qYv1uAyn^|N~S[)VK*W:oӨ^rתÞbFz$bJQ|BLa dnڟYw%;X J&yKk/S\4nҶ%nax&gaJVtnC *TKm,T/OfRI5|=_8_HϰE,ߛn8ahg j˃ui, ?ܗإW;H'/5ec~=<n6rqi}m?'kR"[=UjCb\#( F=.g~('ޥ=pQm/SQ-j?doS;p U';gcIH%7LWmK8"bkG},ˀwdg6RE5E'>ezZI FX7U% (U4IkT9 *Ɣ32@u?Lxn($rv8э5oQWݹ0=͎$,c\UxWֶ$luBLuB(sͻӈnuh~^PQ9S^ϲ7dn Եpm$uR128)p<}сޮ%#nԓN5=lHR hƬ*SI%ʏdOJ9=eeT%` 0N zRlUP^Jؕ 97iƯ3kftF[,\dneu[$1PvnZy#f-Ct] &+2a0XK™:BkipƳifi QGpݙ0{,AJKr[˶I0Mxg=G"lݘI3;IyGX+ydlg}c2$$,/43 O]Ɋ4f'\ɍFlmCt#Ph Q4=Ͼ &nbAܚJxOWҌ"vۢ=l T+ǒԎ jX^ϗAH4#A l3Cۋ',b:~1)﨨<\ѣ=O\Kn-EU8?$k"n8EE'd~'>,`Ʉw\~ 4s4bLw ebj>$bom% 9SIWq- 2pe@)S>5' ~n~O޺q{[:h*3SNn42ꯁvBo7suw+ۤidEu4[WlisPQ h#gԦŇm B T9)wrҌGu^1rV8g:SfmVnN:=¬Dr7ގ1J6^➒^|zt?ΚEe:~ j\Eayʕ5i~O0eiM Gū$tNs~*1 *C&"8=MtQH g+};MD98Kg>ioJ6t/E;-C bwA`hVt oאLWcn7`4F'֋f6߻#?FO]4O"Z9  ϫЬZxruJg6;iEl<)V eg/P[9vKJ̣gT|oȾ&D#~ǥ^`SH=I8+7KnЯag  LVlʻ,kБI/IV||_9^{x: ssA-h4n}>Rmjk646!:`|9Gv\|MfcXՎq5XL.zb)k \EPHiTOK N#}_r.Z U*v =hсPXAFF,Qk"mw*:%$DVG6q@okDspjsf jYO]H=$c/Bl~@QW߀oQ%,>+Ƭ 8ͩ`[Ux;0`qkƥu[.*M͖j>'n'(SpH(;7AoJ+2}?mo,wP eg70i99,hj A[9?ܡwav "6}EM@#fƁ ЁLP)S}).I3 q-Ų+-:s6Y7ZU(:ҚiZ)juj`ܬ Rw M6S\ӕH`Z[3ћ֦^WݍYf^Pv܍O\a[,1$W]G;t"\f neβx9;jۖFB̗VͥJ+aʬ6L뤛!˶;l2m$3ްB?6Iޘ>*U/GH_^/5r.pxgᅱw5ߠ!7i{ *iM^$ݓ&$ES Ù'~u&g;y7lbP!+)R8Q |1yFɭ8L-_HVtT OI6$K9N&'>(^Z Q ߄S򅃰VԂ#| Gj~jX͌rsEWںc)*־%K-v_oniNbT:rGMڡW  %-ÑSYӅsޛ,h(2z4^_ ZvFw Ԇ+f8)EѥT*"Wjsa*l *oAvh!݇{`20|ATB) c/gẅ '#&7N+o3VoiAh]@K q}Fc*U{ҿ55c:v2$j-b_1"ِ.".B^Q wL6e<P#˅{&zn4+< ,ǜ5sE~wߘh\^p2-׍ˡN^Mu Cd>vШPrC<"eC,D$Q^%9OnȨ̄m s/$G '><!)rԼRHyߕ1,62tFe hZ#|.03\`}{2$| B`jPY9]ԹjlI 0p(! $n5xϲ EJV[tLGJWFlgIqo+i<}:*A;25|JNY걼b=dJRK7Xڔ?ԫRo=_zY@^F?:jDy/e]ݡSsptԏO!K)*cN,czB,K+(%+})Z.'_;6B42'|4c-toj7KSǒ6avIWG&9;!SקfQ\`Ɔ~a=5}Z  󕔑QeLȉ\mq07"?үhiJ`JQV #( BcI/>WPb$Qp)垡XtB-E9˴SӊL^o 8v9"C:>u0!,f=]'ruvM̞7'[ z;ғb׭|_]?H6ӭ.+ mt0uoĥ#S+.ÒC?sMA­HYxl[*eDkqw֨gzu@f94]XqR±og=#Md:c)jųNˤkn|U>a=- .bX[*Bfo堺3#qgyS1 ]3N魱:mzBzf!Gȱς+10E%MdjPo-ڗS̓y@PN쓀W%(YFKwGG[imW9iiCko\ 3. '^JrKEv^:}}9r67m*ߞ$ k"7RRhpe2L ӦK=Qx>@ Fqoyo_ue8<f9 ^zvJYXrNӉu_fb7QR!SzDY!S <%t^-okAgy'<ϔ/fP:[c=1%2¬|H^pfp91U"G|#)0/Rb3m(6:|VXniY .x^V.ZْNjR Τ6bGFᨏ*OR6CaNp b127c Qܴ;<"f%!Za&f dKW3VRxgPUwLאNG5x2q( *4B'hRdE`,8j%K(:gdv)d Ϟ_(6cTn$vc:ԧK?޻up3)z5?\{dZQ,4'陥V[~Cg$|Fd+%beLzh V@Nӭb͙[A'Ryhؼ;abb'Jojеfo^2oO2GDZX*nӥ5?i/Y6\¸M0R?ʤAtT iC>*^j>mHLOJ5%ʀb48Ѵb >y 8/T&q 7nܡt"%.dEHJę3xnp-#u>(e䛑i^h)0 {yxИuM6}'}w/:J@7Y $6 iQȪÄk d]8K)Ȥ|r>eH yC p~&Au`lM0]w4gu=:v -l-;' ~FZkBΓN wb:B:&ɗ]8Wo:%_s^/sHf%i\P)|jbC ^hC$ӼyNd) 9%)[ʡwEB@-` 5Np"*ߙ;Yo{2rMnx`?^?K0jD%J$#m޵Tu[ƴ-,ÒRÃ"td8bhbV޹,̀a F06e Mw&ErA7f3 ieQ6:]| љaNvKEP&yc$+nP-/,B(ht)-J2"Ɏ~=ť3d=q'19Ez" õ@Qg ̡/n*^ztMaI!A%a9`q%jKV%k:۹,[t(a*c@hVȴϙٟPh.?-ۑB)EZDBv\N{g6?0Jpp\OqJu^+A,A;u-tZdZ}d\]pLCen -.[WV(B p x89_zb-~MttI]8IҦ_Z6)6e|/Mh'?(j?5/ې2wqA%%d«x!-jQ}{B /T E hh*s^6.!B2G7Q";ӫk wn}~*ݡ"9#Fi\w[oBͨX䐊ޒ1O0tW5 ,hXK(Mf @elžHǰ}@7cel[.#.&nk{U%+0E zN9 -) or +Bĩ5Ȃ3)z`pFXcW@ىXF/:'fM5#~qZ +yM;,1d@'QROꨝdK_۵*7(Z_*H3Td{3qLޏ 'w"t,0﫷"~є }!S0,B]UWa_v}$|Uv.Ybn& ذs? 4w3<ܫVt*+f(:5Eֶqo9j`ڴ x@LJe J|s{À]kEgk y]P2Zmmt?2knq\Mb{rñ!5-% R3a/K1p)ty" b1ٓ&G>*\G7YnTmn͐N } ;)=· Ѕp)[/7ӻ,ngLZ|B>ul G}k䞪F#?3? ; yůب |$_~!f+5Eփkp2;Rg^-)}ׁ-ziLKs DgF\t8!!90"qg}8 uL[:7EX2/CS ?L?% pd޸bi21ɂ?}AY-xӴBS]s42 @+hpndfcȾw_zzlpR'Ѧ!ʇV,蛱[@d)Bt?vv n78dtρq&^ac#*VLdc,„!ڨTH'N+hKd'F`up3Az-H#\l3'u0s-j 9@!c~H^.c$Jx$cʒہhr*coNi2K\7 "Staق{;?}U x'Neo*#Qz"5dY~뢐˄ Xf- QJˌuv`p'B&| Xڍ.+ZY z6OMC[Ve](#Хϓñ6&m.[DNW|Qkȿ$P5 [Ǩ|fRy1rKb&oaȡ-Dd֝,zIV^|⼇zё 3k,|~ôQ{n>t4ٖqթ Qs)YdmH>pK@SHnQVo69?lcK $aBAY"SWYW'2=Vx+ȇzxHO(|؟,QR e]̨)4P]7VӋWd)ȈBwcɳE?G}ѿa{QDi8@w c $AytLvw7.dz\)^~W?2Jt}Sު#$,ʩkDHPU#GS n&, jҀ tjЁC@ą((;CUzH C5(=tuL}6["])F Ðuw7l+Sh)s) +4U~h컾b4|ܾDӢt?E\/z PxIy JsA3[bi@}Togbm_a۽WPըhb-O&{e[sTFH+{y q B2wSތ =YܶƢ6_3,Nu}.P 1orՁ5x*( cM? NG-9/Dmyh17I{|Dz>Ʌ&2f0dSU)'ˈQgMd9:t-J[pУ61&@Ɖ1?i#Gz3Hge)Aw"u@2LQ85gƓ+G2D7ߞu!&_6!8;bmVy6{JmMT俇OLZvбf .QlT602!c Ec U3U9vی_3\W Hb4.T&Ҹ2E]R@gmJ("uU8Lߧ:~4/׽@: `ny0V{8 KVPggkЪ C} !\2_4uS}0D }}l>"JbȾ lԒ $]9!rѻaSSoC^xx(Y22j&6 u)=? hc'#9dF/$E!&f8BA/S[p:}.`UtlAl{j&ÿdJQ??4n]x8ot \4P8CKg,1N~YH2B/t#w c#>i }eJCƆisэkU7y'?!y!Ҭ٫ >6MR~S4"as@o:c)B!)μ='#'2^p#Dw%: <[;\ZY|785} C?i]j|SGD}-;g~zMV{Î.Y+Ъ^S%VQU b$̝EJ`T3Q[]S AxD9^2E;hҍ' Y :ആ=9U"MCc!G>LQos*o58\[{aP#ipYR"ʕO8UHN:;ycyW݁OʳmMXK0UCgT 8-W!QRn']?P=xG&h۟7vDG qz~G쳝t! J w^+~"0o|W,:J#BjauC~^]1L Z4g^m@\|5#D{b+OmA#􌓌ϸ^]$Nlc;fR %Aky"GC񿮯W򌈎6[V< V9_&rʽ!C%!}b(F>d|==m4…<]$cן&#ss\EIe5Kp4vg;rX{igNv 4wS5^ zKnG}jیQv qyi-v)W!gO킣0c[B%,tVVf,܋n]mbp<*>pBs 5{5p?:m}yY5NϛDm圮ò(U.˪e' ')8;v&~;6Ĺ7A-Z{bh/bX=t s0'^?'Ϫ'AkB}=<q=pQK~txOؾgDin)Aa4A^ zzL-l)( WE¤5x]FS8JY|٩N=QR&b!G,-Yi 6=h-oAK؛,f5%`7QrlWG SUƔ>G K\څmu,?x78/*|UA+>TD!sDQ[DV AK.~)OշkZHnԠ(1X)b{`쇄)쯪fTj 1m;L"]P\dFڮPF < i~<udvl` llm2)j½ H2abw! i[e/䐪 FJ Ϲ8UKnFsi:_^0ky۽HSBIJg;DĶ2qPN > 8g 槺cmL:Ύ؅*: a =34DwR>0BxwAcB鿳ɰ @8fqDuDD8I]pζ]SX*`SoќT|v1*3;7m Ӳ`X٧$YUVԚk}%ku=`doO΍]>yfWn9S}bi^Йs?)ksOۭ̚S&4{@ho\iuW(JVpmvaZʦ;e3*G im /pG h=tZI$RAqWŔPK+S2Ryj3K X4䅼54v-}IU}f/9+Xmv $6$G մѪ{ŗ5PE|Pikob&]^@Hjr +,L;E=-$ʳu 4%B$a8]!45ݾKЋOc[7`nd %",Ղnww@UObci1Mr,Y|ubګ@~/\шԯ' m 3Db۞t/܆z(IVPơ(\v RvE[a lfD5͓k]{OůSrO 2@4GwcGBl h.";4x ZهVCp9Nd?@G&i|X$'#`4Q. Nj:5fk3{ '&D;91g󊐰=_\ގ`q:uѹ}jv%$ bIRnqjr؞am`Sr)njhZIK5ë#zH~sػepͰ)h\t] csE1Wt0XP <,]7ƳW(XhAQKˆ.bagS1C8z/LtF83 O둚`t)CsUPDHf i T-F)R"sb/뉳>9WȦ(DpQgYkkKSаDXo 57mIoC$`!N\LSr50ް_ mRbocNw{3bT ÅXYKQD?BӮͯ{ʭ]ߣ+~lcYZս=9ޥ.)m5Em. ۙ7\?,>m9#;xFn!xxN'jL} W zdh^Op~1*"ᨃF{ѱ[7pҢPPa͢dS{uxteWe!ohoa1;3ӘS,ێVq:#8 wdGDH3d>D\ߚTca.u .dzT3_-b?\P2M9M7uyQ)[a2"l=щ-=Mq=Ͳ;&H2qg SgRB)EdK+tL&? {uGe CE/OEahKCB%,W3\kyM?Hbzʇ^&JBx|Xذ@+&@o}"t7K];ű\=ax~Ssљd*jzW7d! Gr6`O9%MFS&e5׻5'"C^|Qq,&_]pKeR疼/S(szG[N677h߾mcW(%vW҉#%~/b'Oϔߪ΀{YdteqyBM$UKפ%=-K'njR*oIh0S T)0Y,{Vc)H6}#) _ 1}c/>0􄻝hfπjG{2 7Sh抈;|{przB*. P!18A;dE>RYEXɯ/ڤǹ*Hxm  fأ5B7Peާ[_ײyw=p*foΏ l'skuqD;0ݏ eVg b ]?+hr\lkĺq%-eOhAH|C=ށ{ćM)/ 8ln 5#vݸOj!N Y ҍ9IZm.DM(4Dq3n88&Ork a$pU2am"I[d,t^ lO *+ŝk/X{S̼NU]ꁔD%ǝl邡HZz8EPmJ/RktۛtGF 62Q4ȐHM:s ^