SQLite format 3@ %c%.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\t| ] IOA:threads=6elapsed=7.881cpu=34.828gc=1.6127zXZִF! %]ŗXiɟLe5u%\ 6+4m/LpIpF(a()c<3{YVn;\~P5_8cUE]?/<_~ *>ݒ6u jk/yܸp{%$8vuEgYZ7zXZִF! `s]ŗXiɟdN)ִmMD?j_ ;1E,.>)9+9?GWbni& -=U [o7'If~R=4AV"E1>:3M2f:'Qڞΰ kA~F#`F߿ `bjxyZ^-b Xv<<%嬲a$)YW}ACAw p],vjdSi|]Ih{*34l\u%MioB.dl*tCP!j; lz22aZoǣݦpJ0=N9$;~ ~'# IAG ;W GgYZ7zXZִF! /6]ŗXi%;p_hJcܸN2F쀧 ؎*u i>%z=a/$VA>L8:FN]_vMb`aÑ=?4АB' A+z Pʺ71d7_9Vɺt "&3_~ H"W;cΖкVqOє=H #mӗ UKkd.w¥ I^k[D [}Z%:ê f"G pDIN.,[{ MsQM5L[FK[A}.Mg!H88Z,SvyVv>2KT ֳ+n2WżSC}L?`\5"! m5%%7$^82R_+țԙoEr,D~Kᙥ,e wR'Fqr/,V=!֞~]P(ajuA eIxj|J(잁@"q=lL g-އb -ts+=9 # @*O .H<>N˕2{BP'@ON]Cpv@:kM\&+*E%ƁL4j~ؿѿZFU8ͧ 3(EPb ^9LqS!:l 4C {PݹΠsXعVw(p+,xewCj<6q+JH$7pF6ݎ?p)r ij}%DwM`p3^$deMz(*q,b&0b5s/n-Lᒹ@|EPq4'GY%m6ޜ$NM Z(X(늬Dq>M/r R 讝SP5?8dRJ T%ʳK{Zct7b{ǫ zz&YJkK_R bz$P:r!?h/qGd/YȜ#tGNJpDQIS֤vt<$C+쵎͊bXb hUC3`GCeTX\VD|#v_ ;8ހhۡ_$&52JK:tQМ5^}Ԗ[a131W+be#n Ýl{HHweb  |XNɦt<%ҔzJz_G| _gYZ44fe26cbf8378bfbe2f7eb65c401ce3a9251f87527f83cb75cdd20c60083d6072d302ef3062f314e dd918606b85bd653685a072b9f3f02b489037476 14b3e008d388f66cf30165b206f03610550f1c20  IOA#Qc~ytoje`[VQv+= 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ъ4g_^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ߑL^]ZVYPROQEKDIAH>E;B8=5<.6-.),%+"&!$!        ^g  ~zwzTM f C  b . |` ?bB @ $  W h E ! `?$7 qGN(.  k Q 6 X 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:5GIOAIOA.Compositionalitydocument/Compositionality.tex"/IOAIOA.Asigdocument/Asig.tex"/IOAIOA.Preddocument/Pred.tex -IOAIOA.IOAdocument/IOA.tex0+=IOAIOA.RefMappingsdocument/RefMappings.tex(#5IOAIOA.LiveIOAdocument/LiveIOA.tex -IOAIOA.TLSdocument/TLS.tex *%7IOAIOA.Sequencedocument/Sequence.tex 0+=IOAIOA.Simulationsdocument/Simulations.tex -IOAIOA.Seqdocument/Seq.tex +IOAIOA.TLdocument/TL.tex .);IOAIOA.CompoExecsdocument/CompoExecs.tex83EIOAIOA.ShortExecutionsdocument/ShortExecutions.tex61CIOAIOA.RefCorrectnessdocument/RefCorrectness.tex61CIOAIOA.SimCorrectnessdocument/SimCorrectness.tex0+=IOAIOA.CompoSchedsdocument/CompoScheds.tex*%7IOAIOA.Automatadocument/Automata.tex0+=IOAIOA.Abstractiondocument/Abstraction.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(}gYZt 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.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  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ъ4g_^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 !DwyD&#޻ 8l[k#I0젫2TLDr\Yf˪fk1L| (B}$7)^ԌdzH@H:$A9t\\DPB[ _ d<|g6]6'TӐ/BQ;D  uu;wT`(1S-}J[BֽY=\oݮjt*mJ$t%{I6vePa%Q]rloy}fR*!Dv4CwTGy=a @Lۄ9եhM[[c m`rP&esVDKng2XGԷ0"H[퇅GgwU hig>N"">U]=w>L/T 3w)ƨK,@FsM{N<%U$t/ܭ4W.*4(rmxnt2O^y(!;#RbWB<-J ކ)%vv/3Ν kT|{d9&IվI0IN>Ō]"+)WVDN]8Ԇm#Ŀ16b"D$6 @0W,wjA'$Zpu! %%z-NxY0>Vure_NrƑrʑx!W񓚄\IwEȣC%0*O̹9:l.H9YeʌmɊq3mD,XҺn@Ȓ)خ$Mk! mh)X q@3qėE\ࣧek4xO h\ :_bBP_O#k*zcLZCt~}rP =2yVW?`Y,Gj䭬BE-wuv{T| ;; m-ܚgD^A>p6~+-R(x>gW6IW߿,ۭ.JJUGv2";SUcfs/,3C7WZ]抲wy2FN`ֹyڠ¤{s*Hp7976dPU}ڦ\Kf$J8U nzi=Һ%0p qo gFŧ# jV+jBp\'VbpcsZ]QLdW_}0=S q(je4YAZnPJ=}ۛ,Q([.t+2[º b ǪtУ9@Ai :#yYN΂gHf#*NjReEF-L㷻FU(]܍/$s܊][)t>u~O6ҟJ0_|1QJvMv-XvL>"P+C*%}K#kd#apF*vjDjxm+,GKd]ěτS0D)ȍ #&z¬G=:8 h8BSeHlJH$=b=Jw2A+Yv>$P0`q{_1R ;K D$TJE/hf'{ōccwȖ_r~9 Pd>0Z1QX_fv/ #[6VT15i]@u Npwc/zsֆjOW!SiHf]DN.H!C J;<6DjiQ ggr$'e*A[!>\\Tpf2i,*](*3VXd,RF"C)o.>,ZA8q#f$fȐZ ^IԳ@\&JRՒ6'$JQp΀`fHT )_Sge[!Dњ-~{ rp.kr}Jhvp,1y<(sq i[UWa~8W{$e Mx8{,u|aJOW@4ve-WKe91߹¬ӑ<6δp%3tfCmqg8Bq2BnWf79:N)NOhuvW4ĝ15Dϭ-$H宕B&aPmTW෉t]g|u#~ XL<ˮ`AЂ׮@_I79`˽ YAWE6ZIEN~K(i-3L!ra@>UDŮu`@=s%$ z NG AXG :֧d=%gCT.&pD,,.t݇w:RׇuZ oӊ)>cȤ W9!ڷӿqDaG|Z(va\Ȣi!ۓgА֮ "Q)cP>EpOYa>lI-\`V^1*컃᪬u\fw5s2hV%U- Xe +ARmh=~uT49GVFOğ~tqzbk2qcN!R.[rKc} a׸f➙;mRJͨd[fn^<4PN@k8kkZ ku6ƊϘ|fb x5bj]B_h'x*tCAt)Wt_PH*-T56ό $2n  &6}ZL>F1O,wO$='=UXw@|; pi70mMb3((3O\;}pvp : y?C5'c`Gm xtMU.M6):K7ٕ]lV]>i^lZr8\(p2"&$nG[Feq#OsnN5L&Î4d0>m '[ ˚b~͑L`\3U+Q킮ex ۧ`I&Ԁ47'6" ^O^_L\4hKﶄ6^5Pӹ9~#e*J7}=ή~-Ȩ9"RI@c1.֞z,P2LU+Td9rېזsTbg?86~5[c8)ϥ@|4^YSV0 6C;!{,lB>!M]0`WŻ7Jx>'GEpC@ uU%WƮJ[Iş]y\9r~>SOZb5=08]3lQp)LFp!5P 0 L#Yu6JkF4TDo1*Mq#IHmJvOn6r+:jX2jٴ<}yj`\ NQ=&_\µH,/?>哥Dj eY(KrV](뮚s6x*zKO =9:q.@d:<8bi^x@E.RF{WHx7_ߞȰץB# }ik_G5SaYaGĂEŭ}nU<8i_Od5$c[)w\ti'_rm^`{8W 7ZT_f]:{/*?: ߩ"Ni3c/DჸG gzd'XÌ`ߝaYȓ5})ƔO-eȞ/aB&_2qtzc(VsU86}2pL`w}\[\@,ѡpYz%U @J:`Еd2|*y!Q6slsDHP ʄt8 '!q,ϽzyY.2'H!ɾwgjgTRw!jw̢1 dc˧cVs'y^1͒G|#5| XNbOu|w]18lk3ΑѦm$y ?YX>Q|u.F2+W$=v {J| NOX'vwe0 kx^ N/vfe|}q9RVc\zwұ>@=@X6*YFXJnݼd~ ( —3}5vL0f\ʋ~f-d1A ~7˖Cr37ME@ޗ`^Z?,d L 34im٪"l"5, Rj$2ro Hz\96Y_+*,dOΪc@~eI0ĎB_̜6nڌ2д[э c +z^DrZ.>6""6/\C$ʓ]٬IXh)ϚLc1.TN^ eϯ.0=H+/0/ji+yMFTmu&(G1XN*GGj$mƆIyoީud\htfL/|\K/.}l;3MSdr 鏑Zr#Au‰BIM f(ણ@o:eR!;$)l  m@Ӷ9R_sXqnYNd˴ 'E< OJ݌Bfrz"vTfK)H{`}nwtu*]E6sMT;G x6>  u?OC01kFe"=bHYt'<>t"IjVN??!btDn;dͻF/{#ь v)7] r>dzIgfw%D3A?jH}l0ٖ"wg[HJ/)6@V#o5'# ̸9 _=1.͞3Om&,, ٘$0c} tGn@R6jS@?@?녥%S/xY] g\FZ"` 9N3ԙnq֦4J$R-+.猫rQ.iAt9g65\t),1gvs[i>VYb1Y1QM^0QV8hGfSn%MpKpـR|%MKU3w7q< JR"BZ ΐ2[r c$:^[58X1@BOx];I^=W9@*#9XCMQA=7<'pPPjav9qr JiH-HA?q+^וNt ǏOQ׍/Ն,?q()ī4!6aԊ(@: H23H39̻t:<Ї6}܉#|G9P6B^(8`Co=S"Lֆ+J"RW]9)*i+c?*,De tPS6ă{.!PA5))oi3߄ 0ialZ>53p K;rKOKV;emwkx.5Rӎ۴ΑMd[@0#~+⠐ A-eZrg'6,cf(]GF64Y%0(٫dZJqYL+Nb] =<>*]Y}1#93!:P١P?-.j34^rsؼaA@HrP1L0Qzbi"'X0]КZ7R̩^*[tdfwZtW7lezwʴ5ۑL*㸬M[J Y6KM8q:ۨ AUPu<:7,C 5έwl^P c紋ez 9V>AmZ4h;яn]CnN$ ֑)2j<ҧΑVL}s} UHMyxX?W;i-RSV%#42w7ͷM$vc{Pbʐ%F)U+u3e4itSycH 4<ƌ&k! Β?. ͗(۾4ԇrThdwKV4;ŅMj;[-9yȀkgYZf0zK܄/Szz[Jzv^C{KfYB% IbOzA8.-Uˁa{KW*)6.sWZFQEsA&UFǮܷ`PLDNhFSB2q Gd]tʽ m>|` ġz%045$dH+~W2V_sP k&zV(XMIFɿW#h8E6 ?) Lv>'/oݳZs=ތ;;bD6%a>?rE%$b, ( 667K촳Bd >RiagOԢ]ʑ&(-2wڰIQ,)P\+@:5u^[P,%npZ{k[hK(ȆHż" |@Mv{pv@ІlO@=F* jE#WY0e׏/_qdXSU4gӵ,T-ʻLGuo> =u. Ef,&}\@E W XRgчgrSiyam]~qXNCN9+_Y)19$UKjd4a/V4<dKuv5dG2gea[Ny\-CCFNժ'%URI"KV}#*7v/ I䉖 : "^lE%:־ X-Y/R'!|(gXkdF:3= t`BY/Z`UrdߪQ Z]꿬Q$u7qt\凧6M^|MQ5x,4Rq_;ztQ+t"nNAwc`-y%UYÛSD` ~m>jaRaN/2QVEΆNDW4$eI1J~U]nf)w a/gܝH!.ȓu2cjte PqM+6d,l '6,Gӱn 10T9Zzkl{{+o6$AknqIIفJ,(BOp T+dtbVp0L^ |e+/2#YW8ܚ@t <c }9Q:蘑{q8=*#?B7z:am{xhw{r!;־)ڿbӑ[O>`l2zΖ~WoVukӑsdKGUr&ЊdM &9ŵ%+F y.?S2DŽFW"Bͱbd „Bn^Ir&GK. &نxݸEBVŮhNySKJEHВ-j$Bj#YQ{P;N?C<06Dn m&vo]Xҥ@ym8㧆&D!p:sdjyInh{꤄!}[!Puʩ*ǜ7E~HU&~h@d>!fżggVvsvZ_GDKM21o[ط5'7|MEDSrδ]L_+{˞ӌhUl2w[ ^b2:=6!4*FG~. Pj;U״k$h2 ?:k2kvؚm^ yD\j ˩{2A!4(<ʼn_]T{&ywl "|tiHs+F PQr\VjQUA;OU}EK=w'^ڰ*2IU.%eS'mw5lwl?N Z=ZhMT–dE6sͳײ#(#YQu:igT p>۷]ah}rm9&f &uJ Akyz3(H#~7kd:@z,؛F.-Zꄢ)N|\ru1ro`@ԠHӳ*^s91)KnlscLKaÜE{,=7@PuOoy{')5J2;vUZ0Yjs8}qvm ChncR6Zc EZAz#\bPA%hLSV.SkQUm>[|E@Q i~b*kt\|oPi 橷7˟n$"7@~j0~wPN@C6C g{,赜wUyPy|ޱaw9kk1ٸ8Rh×iFXMl+!K|/K9enB>en8վDKpb$$=|0-= > ̇vUWk,Ц2/7*t), j?zLyd"z`=s뱿]i_Cn'$r<&ov/I"= g\55׶F6A<}ħ ?YL6!/P1O/ нZYZx7RmA+ h 1Y2E*>MH!Sٵj׏FN!!Jj5:Qya3p^ #_.ͦv3z }Hm !D@.%lV&րkO$1gYZ  q q1C $IOAIOA.RefCorrectnessdocument/RefCorrectness.tex7zXZִF!  ]A-MՋhvG"uIBm5m&([2lJ[\d x++*E=xЕ^Ը+K@(Ӽn"+hi15,}H %*ufDև8&m%Fp8Mm%.le/nó[! L^6?KSu40O tݓJz߂%^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!kkӝ p G}A^͐Zg<ԕ`7 ^3x)  *@ -N$Udh}.'=02ČJ,|L鰎udңXmM;f *Pl"47r[uGd E M~Lŝj e)V O_a8t^SOH`ݦ /'d֦ȡt>a4[:7h_`bJ O($eZ~GS]W\ΎP,w.a".|IpaOFZW>hδS t]勞Zw|ISs|dRlQjZ4"ҐQA!'4(GuUS 6ٸq!kIu+Q!qK2x*T9iS῿Y{TcS))EA|5$B7kƜ ǂZ?yWGR:v8oEF ܯL3 mz`Ѳdϻ.ޔ{GFM{J\-]>r;ڪd=I>nVlNeV;-{1K?K 6bHJ{f܎+ŧ1d}PPl?8ky$8P@Hty]`$: {dfM|i>ߛ>,yn +wZuDax{jŏ)G(Tc@|dR4~E3a%qV6JG!;MbB=cnˢMvw-&ib:aypuDSK.18RK\Goz>xn FTQGxLa/!L@02E$ƪc;^vwbEѧoqcwg;BeV!O3cqAgo>?w0kO0'&hJVqCi*ik +䥖/vKه7"Hq7Yo$$}{.o9dTK\gd-B\V$N*NYRBFard; g,x$[=0{5R)U[?oN~mXPocI>FWeY^ִ̠a_D( ڢ͒_S +9Ub /yq#&l`hX=v gڥ<"g|PFkbxٌm,'T>_g[p*]|z.)h@pNS@bdP~x?>RDO`ы3Y7Tj|lGmK"qFkXQ- j-솂\LΔ)P>'$>xf<[B: mHDWG-D!#{ q!&EIi]jVJտ/O@l.!_!J|׊r7˅ D}#pWPem:1\rCIo߻Я8tZlx\uyghE̟5LTd0Cqh6̖┤9!:T3 Pώ n#t?O=WއM)PGYڽԌk:!m(³j<SOj y ,%S5ۧPmCa;l[K%`Hu'{'gjyDq.:m*$'H&G]\O&^)T@02׷;#[Q$X:3$\LE Cn&? }(k/* Hc.ohV@yel7$'n-9`bQd# !vqjx-≂+ );}d豹rR@ឳV5g5,z ڌ2ŧ$4#44)\kdNŬkHf:h{8hWUoG O mT .J.7 ,E/,b.a!0gYZ | + DIOAIOA.TLdocument/TL.tex7zXZִF! ]A-MՋhvG"uIBm5_q=D1b(6iPԝOG|JD>(SY`2!xgDi/l)uMtiHOUlZ j`GxU Mo(SG^tTs?~fЌpKRvJ4ܫ҅b~EnYFG&i6y!"9Dȿ}Տ}3)7&B_,zE~ YB8V կ#$#E.ÈjJk$\d뉝!CY[ doF=&Kn^ΣFyNY˯]oF*ǬNplw>7+?qKH-;!nso܇Zljإ<ɟ%)[ &NΩ(YO>L 7Gcl6Ҷ$\=s ?0BMMFFOͧB?lm$DF<@>1f[>- B2 K|MeZɑA^񫘙=X"?"F4OA1'f$کD4Cfo!{]{}P'u$߽6~v/o; Z~4jlim|CEXӳ-&bcnXaCͳ0,bb_T!%`7(iE[3K<mj_n簲,n7:ӌ1ˎ?E4Hgܫ2ЅJ)KGw6!CWT@PI-YC |Mfŵ`-XFoB"vgCͪ#_ ]s=`Yb"g&c }1*=R*3ɆSu[V8m-0¢E9$rctoKyY[*⑞Y#ocvj<5 bN{b&Vh@x+z`(9Dy{jz-q>Dm|$|10 vcRɖ3Ŀ:l7rsTkGk%6*- ޯb:c)N@5y)z9ٱm/4 qR0Ǒ.@\J)[ ˄UWf!5e^&@Te=o՚v:F"wta 8SiGk)8our`x~˥"PMƟ[-1o0lM^hyIWڙ4=ĈALJeYXpC4Nbإڡ)t$6&[߈i%,'ee7ۛg I"5uN'y5I 麜ڛ30F< P+ 0WЖ5Ƨ1E<($X1қv l#HX?uh~bQr=Hb`ɺ+ҁGOG(6޳"8VnKfb ?0Q~Jw)t|J:tz8Ug.Y R8|Z2en7yPΐt3\\ENdAr{`HO9@h7f9oƩ'ŭ0}D+=O /;2zLs%e!prIϾJbč&Z{V'/o?"!.I6"}40x {Y 1NJA㿼>,bA vW]<:!O⷟Cq6C"Nf6AjcC0\HIa|#1j~ᇞ@y1PH[*g|̶Ar 'rnG +A]'=!!`D-)/} cu,ZIR{zD0l&k@d 8a32Qn *ApRc Mb(hm"nPz>'`mi~WFa70bm;Θ{=yl}Y0)Ut:,fӄ}"wDi):YݭvTNaXfZRktv2OL q%+D踬yKW"rIKȍdRc9"Ԛ´6aY ӳ* 4Z̧9vλ˗B `LY}'vhۅ.~A6H4%^̧ Oy ͇w| 'QF8Y qì<ppؼ(h+mr/C .7=#Hl@u`. 'rȢԙշ?\ǠOqIDmC]yOE[I`~.e9o5[zY,ë/"o$wS \cSCP,|fg%، R <şVT鲝ȴtogBHc._R)6{aIg̱gYZ 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 ZygYZ5}(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 6NAln1dw%o'dd>`bڐJ$ c)|~%Q59tR 'X`R @U[i_SZIl7Gf7rJɟԘ*tJ +Ɩɤ$d!pY2?S̱LhDžzhwC>Xșwp~!]4ڳ|]hm}C E["/ERĺɝWۥ`Y0|)}2IAo3ą%2exjT|r= yt\7ɥSI/lj-|!}XCsX|i, u! N+hmJg{ O.2Y3y9NH ofµQS5me%[1 gYZ6- 4IOAIOA.IOAdocument/IOA.tex7zXZִF! R]A-MՋhvG"uIBm597 X4 W;nwuq! #*Gi8F]=dd|:Nڃ9ǣİu*YfHOQ㩼PqW(~Yu50QIF;p'Ef`].yb9HTB[f#[Rzv.S'0|^OoZ]i(w 4"`|ga` '5 :%60S`/ۉ_j}D*Dמ@ /:aWI#.JK&^ЬhPڤ6Am8" Y?6bPNlEμ,Zdǻi_]eQ3ԛ%mbG~gUV @Π]Zle4CIuy}ٚ;p >Ys1$W8S`er Z|:֣>a2^Jcrj;. BIE# k+K;zd>$ G 9Vn.4jr;> Pt! 'İBZli?iJk/9C1xgwT#vuokd:% Z,ɶ|F/d^Uy>8H;mU!UT4Zp;Y yDӻF03(}m{Gwšc!RL}N ?^[G@7wwZk{rVz!y{/.{޼.&cE-aQJWQvXLTD+pV/dqH]$i^gX!~4 [j -[ۛ5Lc|@QC:'3NkL1*eɃJO q(7X$4K$K*wfUߓzHSY/7}KpbPك:\,+fM[Y+w~E&v$I@3q-^Veȼou=nMJZVnny(岮\,z>l8@aXEĸÛm4kэg^ ߕ0B^/TY"_LJ k]t5͹47Q=H]Dku8iKA`Q2&:ؔk5r ҏ5˳ #Db_7`А=JOU2'5QOGNˑq԰gctXO[]Z⒧ :ʣ}WN v*jYw*0ak [€hMzxj&67y Y>]M9<)̶#7SP9޳+㙬lg)ѧdc,<l9+PaMaϲn&vgYZ  H5G $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/ 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'gYZ 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{}?hw}i7/UX|?՚ %f}=5%?;ZW-ފq!#=痄y--[Pv=I\#2,d>l 4<u]^/Ą?͗߸^őp;xDESm(^߅,ow<KBT+u~,G45l4_קd XhVI%n51 L IkbA;/LB #1/y/mXC5$q  :w=sU*<3G'8Q!Eo6G -9[1#em%aR2gЁg]7 b߅fѵ.,O?68b L)Zߝ/&}WZ]X9_^BMu i. FAѰm$BW%k Yf#|&݂A̸wtJ÷ ]5i|ƿsy:#J!.h %y[8ٴrs~aӞF~b=+/2>8f κ= (:Q|e`K'"M-)tfQUE֐#WS!~?7m!5_ +fb\ٷd %q81yq=ٮtw;'g# cG > sFJA{/){Q0N C51 лؚS~iԩKEߚw Zn u"VB̵NQZN *rN&2j;~-yʕwpU ;ᴛ%fȰ^GZqz:\ROj3iDq~I:'!SZS Q-٭/Cv|vTa)<2:J,#Wխ_yټ06r}~NAfǂOpܔPZY%4 R=54 1*)7Pr]ńW Peek Mxv k3(HT[]b7 ;!"9f0nϋW/ dz5çew#osXXӽ $ LJwHyz_֜vcIOl7C] w~r^ZjIiLU䯺3f .p7#L);?|g_3h&d{u;b~! r,c,Rf="!(a np%鸟Jv7O,F'0oeY6P/|+}(#QSb yyi0T3A6䀟,4\'Nzv9 ;.z,zԘxs[H(WU!7[$G{:cg(<0wRv [4)<:֤iItrр"h^ZCɝTE}(*7>1͕ l |CD3_P]Vn#].Pv'$@Q8nM/eAs+s28PWC?ު\7A}ʚ&-k6śN&Hj~Qx4aړ.T139fmDt͙.ov4k=HA+dpo.66#9h>OҘ/Lܺj!wD<;$ݩ3D]UӆdA0c 15uj@Gu A!hv,sVT+7tRW"^ DvL嘑3M$ѬgYZ# ev?$uZ\Pӫ%`I1#uyJAQBz{6VjѡF/ +bdPp vt?:,n^a|)&6[M' *3s{}TւE,H9kkIL>EU$!XS][0Ee V:9 7-,dL@/: }G܌-S.'Ϡs-Ŧ xNlGy/&|7@ۘ?R!Q "ꑿy9+fjR:pb 3[hR Dtn; uCF))jEbBYd[ e ={|lG#mWFjm$=Ե$H#k8ը K??3qrӹT,MnA&Cq|'C3 ɽ?H|WjQ,TT}xXZ}cCd?ߖK1+\b/O3A%"?,>FYP' g5pdj] Цd38B5Q+,X_[ g/Yv.}=nk9M"6?WbL[K9T| 6mjEI p۬A1CN\>H .;44еۣroۺ벡(E3dbܹZ`]NTz!ZLq땍l #Pi{Ɇ29 &R^^@ P)ngui^ߢ 5>["e HQӶHX-ǠP'Aj#tSs"[VaH l}A֞ (Q(H_=B' !bט|:("E/'wOS\?QTlt^B{Ns)' poui팗(`eT7w@HU𣧧0ONZH+C9@ڊASd$Mj .VA Va׉! 7$Z''*s=@=e"Fc{RiPZg~hG$5㕁X{9s4꿜-w.GI:Nju]6'VXEѰuV#nrɯ29TXѿ2y̕8ah6"7 (v|ܚIfꩧ3ڒ"i Mn3;J0u'.?ݾ}-l0Ѯ\- lɷIG/ӄ5*dԊtIkD[6Ry8dHLIz4:ע5ƅƥ^>?Flw>^ 4ݎ~L~7aivwQ&ٟ{y(fi8gMDA9V&73=SDֺG`V֐D[^zW kU5nL|:Yl.CKx5M1FL`|yYqɽ᪕ߒlP[HCV\jX`e>Ŏߦ%i8[JW Q5fJz.$dh0:!W;M⑂nւ>1]T/*~wpZO)>Dv g\zӜC~Ah&^Ul=&/#mTٚ9A1Lu<Lb h]51l9LiaƔ~>u=\ v2>ݱ5"&H :<_yV iVaZF-N"ϛ#2ecTJUr־Q~(M64Cr;5嚋<_\z';ʏT|.1o$]F me)g]$Je95;u+%6` H8 528y.|>>!¶G?ա5^=xbf64x $!|x`߃+eHèQ䧬CwpX}Cnid]]qxY1d,S> TNʉML%!:లA)UB!|P& ]'ZԩpIiĉ`ɥ.Q6ny{g.q6xxx&VṪSap#$QZՌw&Z f`޹Aأ=.\`) Xr, G|ĦRMG#"8*Qc>+Y"!Ix. u'6콃bj-xsj j1/XJݴ*y ٶ Eɺc# Z F'hlZSB=@a[hn̓7ggkF 5( a&ܱ4> PmSJvI븕y CKU]&d,_mp30u77Ũ.\K2c!*[nD<+Imt_RXFe{M\T_Y9My'`;P αCVK8&yC=ZYIzLŖ2]32-fΞ=Ķ4堙 Sйq Քep@_23*t8K)?8,Z*{"7 kDX?s/3{Jm3sn8Fosmt2-9"h{M(kGđ!% :-k1A(/\!^-"z*;XXؐYj¾3 `P5f) j >кòG_j\C9g8FYj( :ZS yѸqO:'{ bơ5;bT itbTLv(d-Բ{%R+soQ,qG]"8/gcpR$EЍM`jī%C![gA"/ 1HοrK;/zKa {2M<F<)31w FbT `ۇb 稯j>B(_ӵal Fo߆fP4Y& 4M?#j k1U(liaU5п:A_عcE_! ̍kjC2fGʩKu9i+Yk!&犆?-l6y>!i70a5(v9< /eFQ:Q h#TdWOs+J vJݘ+kmI;ހXr<ӽ% [Lܥ:bH VKA>fF{TqYC'2l^0ɦ2ke'g≢RNIp EJE' 9kE"j4dA֮,AzK|TKj_F'Or"AKl>9Yn7"bWg,>&8@cN/0;te9 œϺgPOfZD8]$}o剝xEgR%4Snj׭)R`twpQ0nFjɡ5=oxi5)í2d6" NLZyY uhIh@A|Tгdw_;F7}yӝa Skݪbl;JfBПsnH*2&.Ct5Tllysv%>>7Ǹ-QcKQvԾvL" ckj3M,[|n—YڏS[D%Íh.fϩs6df`dJnT+Qdd{gjݲ HwS_JM=o.<^B*q/ %j5Wk&gT]W{]uir+Vad0*-QN=bu  f*;vtL2Sj(cW?ނ o=<4qyi #[ia:5G;ڮėlN?kv񣓤^}`, %n~UN4^KͥϖB& gbdbo~thlfݦ?\|d]$'P qч*'TSSO%k˄1<1df 20JC HŊMHpM&NIIfIcj'nSnh }C]1C\hi0X[>$Jj9n|\6GIG{CUĞ ۝V&@*3N({3!/οѕ._$,ORE4'~N?[^YDzDšS1; c5u)&++~ߜvTg" @\\gq36lNkkzխ%`k6˰^Ы7@Qlp"5@TG\al)q:$mgXmjdd\i!,2J~z:q n5F V=wmeb`m721ްV5fRב I.{$fU %^wN[_+cq109Oj?;˾G@KKEϋ;e|TK^,"N!AHG&#PGl#\&@.N4MGLz֝2G+|z$eG) {Ah8lT3{XwTE(͘!I85e{G&-Cn Lg {C 6ABaE{*7؝|Kw'>öMY$X]z-\&w4n1QCC܁(+ ޘzgYZ?^ԫ]zO#( #zU-D88q:g [aKH~͙W~ RҜUww˙Fus$+4Θ*,y$]=v*v'}J5"v[#j aXn (5JxS|r `n&R}1gCu#huS8 QpKa*Q()Z<+Tm}Bvq_-,x7>ߟ};ي@YPr&ї=eY_X05=Ӂ vb AUɤb{v~ +C%c|TgNnz[gK̚F~9y)_!M` e˖Y\Mu4BdS(܊Nׅbļ Fj2 lh L -HnT x< f s,.6ު2i>YFrfl恥@67'-\\,!^#u2Ri;|$.do|0t[oOۉ^:J6:J- j eӣyU88EIHZFRB LTV(:ZK.\6@DP/[d-^bV?8Yn~Ocm\MgMpc:Q<*zM wewC凶[-!E;F$+ @zJGƪ{: Fs}m]bWM Ab,p[GQ[!xDWd9Rqiv6#YQ⢫-ҍM0/!~Niֶz(xQal |#Qg[kteX ]joLWmMy;jջh]RV;8vBK7Ӳ5Q8TSm9nOhZZ$z~z #D(2C 8[yJqrG8~Yh7lePojߗ6;U _g+sH7(C&S3Z)l 8&p 7+˜J[  s?7? XGK&Y_6 H#sYRr&ξ$#%fpU1<W@M:Ԭ:Ѱ4wU~5oɘ'2ڿ-{U.h˞N"!OysX1pn#n 3|y \g OF2Zkz/E*tPRG˄r'u=[}p!erO}G˳Ħ= F-/V8pln3PK4{wI$02}k`r1 oEGӕ4YWed0>Jj"D .[W|vQxsbsY9eMU:39stn*| -#{"v%]FͺS7eǥ蘑*ãS\Qkʝp::B_7%?L]S£St⡊-R_Oa`R5dA;x6!ud'Xl8M~/ܻHFs̛-GWc,khq 0X#lS&еC)ĽjإC+οZήC:E1*ѨOW8Dq Z~to$5B<3b^rhYMgȬ$p0O{CQ/I^݁@?Rh=2(N5_^S^1^J/2S da;!7y5y {Uzp%mpa7G+wz*_/V2SBie?(SK+Xe& z7&ZBOya-]Gn@u8u޹בq&Bu*9@jgmxQ mdEus#h'8hpuyuLϗhպ/moÃg[tߔw&FF lwT˜\5l4>kUg}W?K WVs>q:d3nrm6m 4dJo?,ɣ+mo`igDp) FL pR!V0e ۠O`YCr>0іm+Jj k6N w{K w}F2W'zBٙPڴV+2gDZ?QQIf%O\_.X0@R~~ȡ5xA2"]o3GYY~́:uJ($I펈K A`@ADN覦<[F\#*Ցgx ҧ]li{ϳTr*Xݎ}R|nHyJWњLZ ,*=ckL鏆%yJ|z1, l&zWn!6?s r{52>ʷk]})o5.N±pKzaor4] doT3 :(‘oځ ~@uŨʐٍڎjH o].ucp/`"7iYT tnRBU:ev0ug/vFw Dݢ{rAE1T)C ȭ\\("8)C _0fF\0a}~йPn 9ۅڹfp ilC,Wh0+os8TKu-޸i;9Z `mC[%) bxma Ӯ*,#V)96.+N,w,81iYg 9e#\neGgAf ]Nܥ'>:[:$7K2Y j~)іYK@$8erK{${.< }‰/òomCl:^я:r(zzE+Bx607$AtY='Fm.R\(0}k'daP:_ ď:<߱.Mliûp n5OVPC%*׳rmeb5O ]5psf>-]E/5Dl@WMJϾyzX&BWe-H3@X<84~fi4Ne'jTj'@l4Jo"){\ 4^[?yc^!o)uÓU[ϤIyJDp}IZ^ dFDɯy4'[TK&p̸n\S{]m.gj_,\Nc^a0Үcͻ24Ԟi@>WnjͥL[DXj:= A-42d 5kǡ'9zը3XT!pGktKHa)AChZ ;{hqhg'W@#5x5 yS83|\E/t[`Q-oض|=ڑ:VG0>?LܬrK\~% SBO ӨrHC}Bz_¦boQBǠcfe*l.Ɇ>+cv9gbŀ4p5&d)f+.H"-?yI/iLk35kAYØ9wM}c1Vj7VYm [Dp9}aXoNծ ۚRYqWܯ4 'fm)ٺo%p\%;!i␡OQ2W 3[؄dqT/+ѫ>4X. C@4J6ũh2*'Z5m ֝-d9,Bj] FȰv}U/%qd<N0Ucp3pJ t'h>F,e|N~reAM'!8-SaSr(.j"_3`;-C8L_uڒq[H9 ϸzc2+׮%(X& .xp#ʉLK9ApJ?_â{5E} ]󷥓QsY]M_RCyezҶpW{/j)ۖl(LlNMA&$hkg4 uL./{.HX\ :'i0v5L<,HcAJ(T,99va6Ġt0 iyK1@ !76"9/ڞjL|T;8XZ=0T%Ύe=`n!KեA"MrF[;qHYQAVx#ΘFh-|tM{V)f2u"kw(}GuH # Bd&98x*X^Ȋ%A&~KZdCgUeN "1XKr-s3*1?$qqwhJs-ciy& K=F Saw^Bb5]o's pbF2$׿5=ׇ̡#WRsyrotٿ逼o0Z''Y:ߑ;dvfT[r1KKO?G* &Ǫ9S^/nx.{Cw,;xQq-J.4W-i˞}r87k,E=;;NLҷ+'Ng3иGpLEsX@MKh7ڌ㸭tҪ|r ߸BeC*Jiu#BQ|ɬ&ƿS` .+ueރiBZSҡt~Ͱh1Zމpxw O@M Jﳙٖ-iag/B0y!Tc#_ל9Ù&)%v*-3p0]~ IyQܿFDÊMZ%zK x{t ; Y omv+ _ #fpjK$3"V߫dRjw}RwL [W[zTXⳜPNd4;z}D7kMp 3^Pa;S!h0b7.=D*we3U7\0ւwuZSw[ پ^ަ?3GJLe XL&(oS? ؝b+^$Y.N:APb|y|Hxn6Z XY WgzjzLbq>鑴X@J]v缱S ze}S9ry㬱cQ.eR=6IcS66ѿ[໵Lo9 -̾hUnawSUFXL~Mzߴ℧`Q9zP[`y NԺ'G~ԛ}Ul>o6A:LX}C˯sQ<>yC? mb7$|8y0>֙oѦ[Be]dJU7F9ޢdfų:%Cq^9{ aer5Nx K7&6tڞeM6z~X%1遖L͠<דi$}xtW v<&N/v8o1di7Ǯ8N? õNLvUUWaq WSR"6B_FdY60 v͂:PL }R#e  lJmEؤn^=$oz'j:ȪFg邱Td3xnmO "aQjkK xLz 3咋/IHk.pN(M*"&kC4F5 `=°.\ҳ 5h %'"ZyVl ن לBgjsa" ?-ܜk~Zވ⵽c,rͳdq^:)D&B8@sZnH wzf |-dDzs kff'psu.P97f_e.]%XZRaJ̎ujÀ83I)G h5b紞>YCF{aPbCFtɢsk#O mw.]|6} 9SM +-K}ʜ>\ZiQӤɺow :~ 0mG,er|,Y LJj0zj}<.R$"=Ը-R҄%)FԤܵ WEI+ֲ A+fg]VT»vnƀ/;\B^w?@yx#$Qo2iN7ظOu1 |~wW~9̧R&í jGIpWھc"S N08. ?p'p[ , 'V~Oo@ kd$63!Q樭/zD"0)n,uFl3fQw,;nнEA#a{}~=Vм"'Ke5Q/> qU)=oC*298'w ʲjyg@W7p"\Rc7!8S,rVT&r'AiX*eYr.{\F yVk!Stⱆ9r]cw^'C >3L!ޜ kpJr4~{&Y`ϧWof sҤ:d+E^> ]U1#&"/􈰯=itĕƧY1sUjZwB\m=fH2f B#:y²)|G3r>2` G,&r YҝBM7oUFH40yH/t cԳ´2 w\#BSo_h!@.mx2?1'*Y|Meʹ0هNeO(Ӵ+dwHR-ƺK@!d[߿)L5>1B^%HiB"AHM/ @u 5>p :x02ND0"n*&37\%9c }˯m!A G"{^)h8>::)2=Rt+@0\OXs.Q;$lqr՗2O?w'~(Ю8׬;w-Au_=ïLճ>eu [E>NiD|Nn ǚטuvSH"r+'e:B+ Ag`ڂ$|W4knotBQyi% 6;ZlƑi:~ ̷9Ķ?Iȯ.6^'|[dG3L01ctzR[!ZE{"R"`[ r1d ~HU72¦J5J`<'j:˞S*Y,dW"J{5Ϧi5D电u-"b(@_<=cV6ĴL} oKZ!⓶QR6/juY'3ohz>eDזEG,2<&6ٕ[3$ + jf2w28C]H*]Mj[յd+vw xby)HT^er" .5Nk"o_ʽyܹvݙ@~\# L΋'社I|۲c4܅UzDLk% 2뜞Ҹn/Hp5vS"Wѽ即-C b#B\ '=+w)x :޲>(#2m|`8C^k橈7N-^[w;v|h,YR͎֛;cė*}0?%FJ ȓLj'9$)Ѐgՙ|%ߐ*wZ;|t &uk;!ZgBލĚ`Nz@)iԑq!c;3ֿBfm(L+,`lG 4`Y^ N`ΞJ֜kY7+R2^r7AgY}]l@QZ&`++_o2XXzӞݜjISt#ZBH%'ADwYq?gr ގfy=@V{:g jxIYS5>4'e󖖲Жp=);]p=I#D|tGSVa# n=ٷ`^B -^J4ҋN0V+S Ιf ~Nx}\[ -Ѹ5Nqv¨n쫞usoGfj⶘:Ul)i9=?3Z^PoGы_Zv{li_!w?bn/FC CY\:B6{C =ucc5%eZYlހ^oD˕p!{-#V^乯xR8{ф=ZGW " ټ_!v!xQ7H+wh~²L N[]%;|n< ?ZH,3_i69a nP u kTد;[xN4qȯl/ l։YOTӀC'zRk˜!\[{ ͡V結@K5i9Cplh-(d@ _JY?68aU\2.ߦ4׵’$Ie9Lu~B_]dHPa0?׆.N$@.$Nx#ψ,&!{\t4'f2&YhlNCWS1g)@{ wk׍"ϰ£1NdoaF0(p (Yq y4^fT!cL26܉7v.o~Ux—*Y)˦ʁ?9 7U3>Q2>v&\Gzԕue唴r8< tGpPIm [^"Enn?2E\)'l "3LKi1^Nܡ \ q}r+i^_.{ho>}kCg3&+p h;-'el6GS|ٴj;pcIl IrBFn,(y $uBkC҅H'ǀe C4\$[m}!*'`ocq=LUOμ:ig<3QHbU2賶|A}Iyu ۡ=}X Ui uxDYoXcq |QZ\W|Uy)cl0<]LՈtTI%/'8Ptکy'[7Wl1{oZehj y`R8KP9"֮EG>7r<BnP ƹ\{}Tk=r+Hx-cA 1 *JJͪT15e5@aZl(S1K Q: N5(3ƞP@iaǏ=`wv݉ ·)!Dzecs *>8z~ܘ]W* ɤU]R7{'gQyy#ے\cXJ׎9B.Z=1.\gF#$)8B.eG/"Jus56ls l%Ax4 <60VJB

'˩] p]~_ǍaV;fon_ pӈ%MdPOL_ <\ A2iǩ`PcŵnڂC&֥M]Ѥe3 CoFEMB"6U7EL4H&3g |YHC9ƽguޗ"RPs h! Ǫy%0PVWCa! ܐOAiOF" ϱQ`;l[,,;9dE hYe?B< /_a  SEc "r{FGL!gu8 Ir ڕH$lJoc!;NVHfHm W/w; coLjhjvwL9BOxs7SZ)ͦޯfm؈٩h+,l&F;Eeʄ#z9C^ ugCsX@|$T$ 3Vm  SY耺NuѾRbRP|Q) \Pq D,l.AOQf춢&ͧe@j>[s ߄dЃ?Y.ȕ[?) ֬AZ^G:j{7COˈ966MadyNGm|6 x2 Ԥ?IEu:-'7!;pඇ>1T l`^2yr^9Z2qV; o2ʈ EגÜ鞨rLfy(K7!j,V5mc&=#p%{ ^3ۚv'.@6L b 򏦹/,~=k>E ~@:-g3̃Z( \H r<a /MJ`K$5܂u"i%!\ aUŎRNJ˞AJ`+@cB" D"1rDSZb7Ad{{& SXJ Xk3HCLo&LC[fz8au7OE'v 3IJPRZr fڪIRJ0 FܐQEוysE" 8/Vp2#NxQJnVa2C!MdQǣ.fDV刺dSɒ pb& ޣ)st$t_[Ā%"{.bnDGe?+T,awV!/idr_=AFV ZGu,[~1'RsJkVð{vuDYMvȀ  gw7Z^bRu@'JiW0W5Z_H|̂ 1 o#xY!O1O#"ES5꥕kCXJ%Yab?O)X ox̤4XYM4e׻Xj~;(hkC(BN130BkD fJ@MyX\MφS] rxWJ_ Qm)]_,66EJd]*4~4)[׊OV燍6C FH77aY4 fIRT}e5%r\&6M8}~e׮Daub?` uhfW5æ MRnFX,&c:PBiJ_UWSf[A voZjR8YC"O\pT<.t8u)b(/k4Ѐ(+/l2` [0F8`H1}]AeDw{ГMhd2e+OܣGwdxw >Ye!Ml`xgnzs<ʏ hs$@kסxӶ+ F%| Ly #o\mq,$YA)tfpT'.i)L'WCuޅ5\=g}Y D Ƞd-^'ބϳIgfZˍ ^ϫz|Rt`avy9q- =ԅh4a^/>L JQy`M)~RgR2F򬱻5m&-ht0t}ԑ%.URmў /ֿTmCk̟%vis-nWO#m "Sf 5i>wf\kc:3XF r5H?b.T nyF4TYw/7^<< ŗRz4Z@GdJ8 wA6]A" 7\yK͖^R!=EjX-\&fP{v.)$rNӭ=_n;](P i 7Ӆf1C w{usx|QP}=LᙖW}]Dc /EFaVY/ $hHjwg|v,p(CV8%z:g}BhbrK`?^f0s \0KOr(%gѼnMyxBxW6jv0^m"ѨZueW7;|2_mof('Q+o1Y{m̦i0.OTj1Ej'gͼ`~4se7Owrui8(0CnA0E;r  )v^)@; Ȭæ*pyh$sPM/1h%X,ɓ?S+TucY|(IE%#2i(C;% Wp:3𸌜GK)L䳿qcdEEٶ+5/l}*;lD4wBYe x3rUׁVQ)Ɩ#]:)nP\)v٨;k: {~B3=CSj2F,DfܫcT^0!9J5̖0 Rp?oz;o`|[kxmZGM݊Ij%O/5l!GSS/]ㄶl?l<NdK|\B⪵,PaS e-,OᏣo'37v}ľ8t Ra&h\ ӽ!* T3'H8OX O'#,"sggXUh8(3xoD;EY!GzBaHX6&!w"j[^-`;mI4,{2l9 wr]ni2nro8݁(R hC<:Yy"iyz-e7謒݆ۣQ*q:YAk-}y6dɕ&r{:>+`l =|`(6;y7ҵ0ьsClCD7o}⢣,}W. Lj:?'6Q}`4%_h 8(ϙNu~|2 ?%i!IX ŧ΀Dm pRGkku{d"#w@ :8JDgE܎|caT#$K^fN 8~Q6uOuAt@< Zo~V5uʺI;`j 3>{',3 CݭL AY;'gQ^]wHw/f' L2(N|"NBJ12tNy:1dԪ%4QnV(gM訝-U:xovl}r|]ȤqL(m w}(OPjJ-2XTAە^a+&Vg{~`g8afڃ?YF{Mi^7ޕI }KubXrb~iyJW<_/[.S"-F(0z\+7=r]`uv}_O) Q>l34p>LB?G,J;yE}4S٦&}($gָܼr3n̓~S)ݏYGwOn4l7qy*AjM7t;uX<8Eh$VXaOOcZ0 3@2ij[5 ?^IC ץ".ڒy)TGZH;N L 7?ݰ_JFrzkܠԜ%xB/Yqp8!e3a^$蝞-^跒4 [eԛ=atC~ɽS^&SиmjvǸWu )# =ԺdX:eOOGcg;mvڛ97?S{om€&TN,FٝmuʋZ@ȯu)W&[sWw{]@tYvv/<8 LUl%sLz7HJՎ\ +Lqq2/DɔHbќeiC@-3LNP桉(c&Bg BԱ'$¥mJ c27QQoё||rQ%}z<%^/ydh2SR&K/X gxPeI>|dŌ^GZ0U96~M[ gF;Eޙrvxh;mzBHĦ6.ضN\zF  P #Z@Q[јFJw|3gK_F]|5^;{@ܳ"}e{|R)qh D_"#ϼb#okW@c[ @_*4\`e=yO]\ A]n:sQ{#4!̐ w߱gYZ &&B" +# DIOAIOA.AbstractionPIDE/markup7zXZִF! #M[]ˠ)jk2p O6LP=͵gl5f&E'VYlo`;ZhJw.gȦpPYJ 2TbܨN’(bs,::FD3?~pmoKk 6jue҄YG_wЂt^"ep|C nA3J矴,)~"eVTxjazO].3&HÎ;th0ŧ=O@GA EGo]Yeph Y 0ਓxl(TA'"rd}!6{*E'>u08P3 bNB!f9$B7o|T>Q À.*SZ4UâfNLrOq\7dIvѓ\%1!ݎZ,z P䑹sب{IH`GOe2U)gysg&`GAjW.p6KmنTähu6P,Jb:;,T>sw U'ӝ΄o] I%>0nJh':YE;buMճ?6FR,m"dkɀfq2:Yp}cu^%5 yG6ʫlJ}0Ag6 %)D\L:  bf?5Z]uh~}연U?o\F9͖NY|Ă>߅`N#L̞H7Bi}k\Qm".4Q@55-H״p~58(5u(^= R AdnD!*\i0|;KĻUF%^˛B*9!ah&u,Rd)ZsLWO#|])Ey<{za B&*5eyO ) \-Dd JWd.,K]$ʽy kAӐyU RPKVIЗ?$'OX 7߇feXRCuӇ& 腂1Jگ >m6]?gZ|q.GI{ߑjwMzda?ۘJrPnf 2@%hMPQ&6̩ S :.lSqrEBdAaDQ ˸c Ȉ6ΔMafr糺xo $Zeu %&O|8gGZV:,$/SS9 BrE cS(a([`;na:@-Z%wD1fc[2TZMt8!9b ~/}v},4$m# rb1%tk[tWfO+1ݲVNb## Օ:iGEس?2/a\xjXڔB) ~2mݡF:eپ,m(c̔EvǸҬYpw>` 0#F?{}O*,; #<3ޜ=:tk?)WؘK_<l.J$yO~ijE>E O0qR^''wjlQך oOIy9o MiF)@#82*U@EƉ78R[FTCɠq<#tA;>E!!^26&Sb(+7<9x1)ߐ엲G{,zY.@<{v(wW&QTZh1Z.F8ڦy48T(E`7<@R.&C,ގ}]޽]vm6|B80,zOwI|l/0mFU5!3G)vD Fʓ]"9 DDI"m bvY"zb. θ9Y~Sm5GC3 >KT$pPLd&T{?>_nsk-Z-Y-$5Od:] I]vE}JmWEACxC~JyGw['LkWݷXB+)ϵ]`oO _Ҝ<m0NHXUo󗛩mWD`J!wɶabRGpyNoC;{ʙв+'ON8XjB:dC#d = ]M̅nZ_S.:OWװLhZqɇk$G2FkH}a;?GV!?'GxKDOj!6xhA1=%b0V3;7!IMKn^n䕊X1GG.Оnߒ3RV6Zy5u9=LXPԶ vfd:@nD뢓J%֗'  R - 5%!BIOAIOA.TLPIDE/files~~/src/HOL/HOLCF/IOA/TL.thy#$-IOAIOA.TLPIDE/document_id316+#+' IOAIOA.AbstractionPIDE/messages7zXZִF! C]Άxʆ5.f-9 rq9,Bo#)*c1SK?AxnmpEćk tT`Z{_wPƁU<dZ֓R_2c-ܴ*Y vF轟aMF (O$>"(vd͝ GW(&,4E-'9!3:>ndXD)qȀmG^ppXzW>>XE񁫲Cgy2w8 ~uݘ,Bz{CcwsV ~e@T < CLsŶiy5M9p UZk7H4$*? @Y(ۮt2mJ Mܜ-QoQ!~Ud ->l>@JYVf'nS*Ш> le7cyP 5D'ј~ke*]ŶV#S UXQ"FF벱+^DKl\5gq.Obά6H&6r|vѤ|F \u؎Z:Bf t4`E 覆ry޿]KhJ4/A>H%(jq&eobsQh5"\-ZҸ.)M/cSߢ-G?䠛BRi# 'Zc"gYZrF/,Xetwr4"$C84%U-D̨U?tl}5#2{BAX،/0|t8br{ sЙD&t."Pthvx)ꄋs-1Gc>[ M.gof-3@UT›ޙ_gO2hz|%Ddӝ_==`5[?d \&sr~qvhgG1:$G;+sC D7$eteo! q(޾- k,>tj0R7~њrHYe l-կQi6+\TEcA$XrDmU , RTF3]0'9Џ25۬_641ge=ۥE^,Z@;iZF޾^oc&+#G[@kLĴ3>M&GэfD>'ms%'}jrM; )t" (EiGO@.ùI i4'h៶.9H^%_?b#fhm[N91`V1>3d~o\vA;+m ܽ1ABn>HC8s?2:17ܩ%Y3!n\KcbɌ?Zs]m*|YM/R?w][-Ff,zfpjČN0"ªp>qN0RM)o@ ɵi@D$d^ $4~p꺍 }W4qnu;A4?S5.d戓gՊz aL0s_~dk_9$EE-8^87QQ6K/sȹOmaK6`T:9%(>-dUw#1k)uAg.kc5:pJm07-;P {Ш3!̉>ذBF $7uAqyM ': [lo+‰ϪHa PT?砄hQK/SiCN3o:B0ǂ?J.E;`z7@E?ߝH:ȡ`pe{ 8^۪eܶ!(G: /Aw k0 *^c{[v7y0F) TϮ JJ_U K0kL`|iq@d]zY܊dU6շ>ƴ,@,G?enPc6yw6CJj("K㝀IHΙ0GTeL'ƍh3*cO5ޚ˻KB6ݑ^oTT$Ĭ0/H3mAraTsyr$AU\NRMӓ@k +0Gcb^7̠y-ɝ|{Zdp-AGRfL"Z0rjeECz޻;Gw~B·.&,kW>Q6MUC}LB,5lk_M[\;DE[.k@TԳ -Ϙ$M0E>Ȃ Ү $5eR^7M Usfˀ)/-BN ~\(y\G.X3B=g1p{ru3n뙐:_jkp'&ObP~un[A8QIwyM+d Vw'm^Il&)qt:J}{8k*Q|S]R;d_Ÿ8%^+F!F=!YmfF6q~BQYD?i{ҥga8!ܵ6չ>m?/f>U0>&sDqib;'gD־㪊6tS;bXa)C೶:{:*W+ߢrY Ixe̛31ґ1NU&%N9y9l/CHkdr٫g/6mZ'T&1wuiX$ϳL$ݕ/{b"zrǓ?+d u32d+H2{zF6P VfU|L%.Zb=Jm`ط:mAO7D1sػ"b@Df#~HZՁ tAA[a(!5_WT]^yĽuM=X(~K&޷?<5Kuvx*+#NGz~D.2#9;&| U.iSB"f^kṾԳ5"A|/HjڬCUCok#" K?۷%-D1N8H;`2uM|M'|3GcA'־F*pXrfx>+v¿_#Aw9%zBvj F I[pC58YkD5D> @t!*%,%8r7"<4bҗk_>Eaǿσ;[yӸȃ4olkFR xG#>DY͚K=7^>XKF ܗ99˗XCYgs36SjGT*1[~R#FDqpSIBLP +UljZi2NQ}i]#VH, eCӥeN󌭥W'QnK5r!qZߍx)r󷓞tHuB,n쉳P3UaqCXG11͇ uD;'X΁ sLGFA ?* l\7E=a,e`s٧Q534M[mLqQ (=׸FohY@C O \mLMdҍu %5D/&簛{)ڵ ,ڌqO0FDeS OV7i: 7X>>'A9z B&=VyX^2eR'?e-Ͱ/AO ~.3%:ᬟZhgYZp&# 4IOAIOA.TLPIDE/markup7zXZִF! \]ˠ)jk2p O6LP=͵gl5f&E'VF')3?5t70k}!p$n Oh/EypCaߍ񴥷Qj]&f]1x,vVH(YNIGfdo_B@y%|OKm)բKnCSE}6}>B!@NY(܍Il_L5y%\ijv\TrAXz TX[ǻAg|tfΊrۛ-du\rA}J23Nqi["+6O'*-}JX ?=dNb-F-ű V GŠT-4U" !Pua4X<OwƼA2HD22K'yKtoBz0B@B eмPzKAz|,HgG؊`cp<rv ZzQj<+C̝+fxbim}zk܀FV^gGJRT$֎Z*+ݷNb TE] |2y*/ϣ@7%vרh9G*O1BQlYg 5HG9ay&SˉX҄7k3C0$?xZtc-]6M]tQl{{5+]G~%3IM`% oVI2j.l#֣~p_F82DDŽ!w4Jh@kJ>tm9ǽ0Pkv +##QUgPKQw1Wa37P7T4JeKymFiE5|vyj%I8YH{CY#&' AՒ?*'啍n9x'dI gK[*`hL[]L K9^-Bd'[cuv+[jC<\dHku>j !}ػ pvhptfNhw|O!pS'r7i?(mmDiGX+PmH{F5kVZn"wR>$q`h7J vF\$7rrcVV@cX}*_g֭s!D]׵$)6;"(DaXy>{MꊪHgؚ^r)#Bd-IWiG`RPQsEJ>dO$&&_֖ƒSe0ʉY2P_/Ż'&Uo&\\K M3':̀ ~xbP#Os+q1B X] mI@d97rYfu0/~$!~D++DP0_~F7L|w(ԕn]Ùʈ!ͿH7>mMU`-Ywxla9B3[k@]^gHf3ōaH_1ߥT1w28vk^??L[7,W5+vPTf [נ{mm"SMۅP>Q_@DA0 Ўd_l9jB`Hٱe=\ t&*><\K=iح!tE}y~0TsUฮ,| # M˿_=`\1Js "tGEQfR)?FxQH$6{[F/ /7m9ZDJ|qSooTnL2fi^L~U"[+i˿hĽ)Xw\n\wy;{O WEa3~W+^ a{|*g TjF?<653z>[jrw'hُ(;MMFA7 G ´9xFo 8w1\!0.R5ZpnwqV>_.~xzG~DeYnּD/(Zi/ׂ-7f;jZNPV(*YzjS p'"֔Pl/mt)] Ԗ%_HxdD?3Or@b=/is)6O#p'XbZ lJ࢖4:­ܐILD~(Ƚ5^R|<};fD`ڶ{@i/Ys.}sC8y9a".~ȃ+Ȑ|"Hi.TK d? nVb.oC66K#ScP$˪R| ]Ǻ@io.EFf<-0g4Z6ڣJ;5l߿`%7ڴYEmSq]CxiC6ct($JN׸ B `Y΂Q# CIoO"b 9r^HGU14'd-3RLESzwHLewn{v,9ON_Թ%.%dF)Fnm/^Hd(U{ +"BI)rL(X|qa2w+%2?+fJ 4[>u|MVz+{ E ~)@FmEP> yn|ŃOЌ]JKB:wQuް|N \c|Q@fQ~hW11ld"`ڗl܉q}-I=lTFv=J1u@BPsF֕MDMV!ZEe8:o- v#{p8q #FH p``%2ǾUe[KG ЂE\^d /`}u@wt'Z2!Y^*}r%5j# aI=åؖw\'dv(јk*j|`[9Dx)`kꝭSzڼ:` g6C$qCr.'DRo(זj}_=SvZrOL+ju}<[ KdpИ.O@dc jY<91bf_ZN,08;ֿn)J@@[Y<wA]y{@&9QwP ,~յ85'vV6k.ksͼ ڼ%CUJVL 6*z.7o2Q=kR7"тζ#jW alvaU'^)9[wX4isetT'<_L#*B` ded J`HGlsząhbi3yxv'ϣn~ɦU{Obzg(sBf[ ТX.xx.aboF.'^'|j#Iz杷.;1< 7Əmw*Ut]o)$BbAZ 3%n72]Y:K?w*^k̓ϥFmVya0gd|-VE!m~pZM8/ۤ 8dRשZxTþ—zxy;9(3_Iq-âؑ8ޤ]aڵw9%r'9IyREYl昗u ņ rsc0 tU ,po'9k9JR6v-VQjSeb.=(}/)0Rɒ Lch}&_ -dՍ[uwHkvɩX BB$Xҍ*D PpA0[uO-e#r7( gn@KED[, +ȍX@i?VF Kw ` |.13FMERX*)3l:hC;h_&(dsA45@kdFКE܌WVn3 ~A +yC)RZhQzmoN1!`>YN}^:\Q5E0}i8mBS;mlX\mQv= Ct_H= {4\a ̒8zx }o_.l7T'-K\O"E֦I^ԸBL/vYzn!~c`8 AuUL)ZrȦ;}DUgͭה--W%λ:THkvQ{nl^Dm +c6!CFұK+|Sz^;o9^{=.i+а[28o힌,tE" 8iF$YtZ|#z5'S4bfU0v:Ix6%6՘[~kg1 Ub&ɹ7E%.,* DcL-diob)0.,jKA@xWozt~ږXo4R 1 ι[mFA[)%}?$ 젤tAs_` <ȩr,D ILv]3ld3ȭj:;w_8%ꊑ,* MM aߔR)xGG)/!R:{A@l/4K%Cew"yv2!jN2)1SHa#+yk^5޷l]:ZS?}֗6p1*FfknA{[h$ `Fɇ9̨JFvttŚ [uL/=S"Ir۟bݽ%PZEZɵaһ,*Ͻ}[|LgR0,k4k~R:\DXL-/:1[/ҌN-T\8)X_V?5aםXA8vpG1i >>J`k+3%k*]lK/H{ B /k$Kiɍߍ0>";k.@l3ݕAT07qR|ad;%¬٪*o0DKވg [B[- Xz,pH17@O^B:/ii>r~럢tK nٵ)9^W OLdL'M<:L-8Zx>J0JYËR{hU.*ѰS|6Ҍy__^h=~03Cm9Ok`NUV2en1O$;vR<] M/+xtW_ZBӅ8ZhF /-1/rQݦ5#WTg)吴QƑH$O(Z܉CstZc9dۇGZjwkHDY{}E;Z[Y?#$3V3v [ 3֕zfѣ ImFY@&[ȦnXO@p^, sy Ԓ@hϱ |T (=Ǩ?rq0[ҟnG8y55܀Nk@tj;<8DY^ :AXGP+޻2=+M`rWKQtmXl˄-qUQxu^>P@Ćӯbrw =" U+' T|Ó?J6/I@-]Ϧ7iXqKպ7c9{>Gu%2+&+VG0x3d"LO# .=fG Dg2[=D5P`ix]ɱ5!{aY4TD ˜(![`} r(YuZHYq<ߊg]7'a|=uNep(/qɬA y4QD*eUsp)snjM)D%b6޿DaaFQg̸ݳ"eygR# ?`ZP`0C.xюzKmO'^˖Cs*|8f`fd^n72$.X[OzݒgkTőz!PH IIdsnGcմv/P מ2 kgu$}Lf0=fo/LJrCe`h gsv$M"¤tr@0k< q"P4di8LֽnE+\rP0}5 SQbgQjs7GIr-* ϒIbX=gw"GfؾT̻bg()&lB"y hފb"< ~ܴ[&q6XMG ֿ_T~ra)RJę{,Ps"޳)RL< ֡5<& 3zxP`aԽƿczYCtKiY,W`J0h_D[WmPM]W2z:Ҵᤌws]d5G8r9Pd}5;  GW`cdF) cy g5I%춇 ")h1*Sjȁs ;#ڐ wnawk[D0'\g Z6 eJiKC+/ԞoIwC@= vFЬ3 WLdҭ@"B> ky}"KܦǷW l'G{!-Sy('n`C(|;+XP?;N+a:^+hIlߊ4T5A.0\ [ ^uYH1 V]Z>@$ݕ\kA$(g`{C)Αq1]-˹f.$VE LOacɴvݗc-vߚ/fALEv66wChKm vS9t*:+VݭD,*&.BS@䛽 @f[mi*bPNl'М!kCHی[ض5YGʬty>B !W?%VZ 0@̏jgC_MUɱ;YI2%J jߦjK6B=*zUߏ|N]I& nֆcmu"H5[uVlUujYQH1W'+?Ub+X̠iRI =?^2X#:]y,S2tV7x0 |ҔB粕Dta8JSkٶ!YSwofH}% },Ff2"p]I!@~(pfx*~_kyEȲ s{|U<8q'?Ѓ!Gp.Ԁm]T.Zk9v):ډY rF4~P |Y;)mA9Iμzf8Lxzka]ء{BZ U⚏J^5V-h\u-Yy Vnh]}dn1 xTM0O&PSCTĢU޴2f4:.?`?0Wld%}O4'."z ZFe,ㅱ!>79fMx,, Y'8y.2d7MԱXD '0E]_ ~A a_}Jv}XPK&b7 e~X-~wyrB@#JxŭcW̒~AE] >ӭyڐ&şyaAb Hc ʎ_ZHvF4[29\OtHBlGOA`-]f(b+NVoΪre><ț2dt Y?4҄Z{(d46Y`p)^ \"~4v qJ\{a1d:ɷ^@g.K_+]p_ b;p)AFc$FH*E+sp[]]bxv01XMWXr\VԎZ;YQk8}KlbW )I\V|,o @Chsf Fo!d}/g.&L/z6``4=7N5\8Vb[FIc/ - n[w)Ri)l'E+1 c!.U95 :I 7)ޕKVZ508o3bj=NN~UJKuFF6.%їP~p!Ԩ_KU,MVX8M%NdlF(a'1,O簲-CzPvՊ- yL#ZS#KhR~ T^WFL's{aB:D G78mLu[fT1zS ⅎ,cܦ9Ħ4L=R#klNVWҦ-ؘ?ϱ6ˆꏯ\Rp=E^Fٓ=gs eN\e8OTU`+0^ !7:`?{_4KJ :'ӡΣĤwY7{_T[ vW [hDqXbChՖCI>jj_ :3 rγCR@f Qx/6_7iQ8 Ibt0 b8Q `Te?w=QGDSyB<-4S; )ٞ dgnm<:@n{6B bkQe< =WGsɐ+Bw-LH`&WP1"FOe񪁔vcKe aI>> KpbFuF ҭdid*B&&w.N|s`~)Q#x?QmR9уs:p588='! UY"aF|ѩ_4y ~GQg CKdPZėaO;l }0Zs='LSzp|5kr9TђRIݚҼpdu/ZT\wc]pOFi HdMFu&CL9ML<~n|LBmeğ>LKQx>8oT[(n"TLDIԇ"sڷZ7LxꔬҶ @;<˯b=A5M8r6mԤR6KgU}R^x2sI=D)IG{ͼ:i6Vco>nٵ] 9 vZf1JZdM[HvB\#IVwYX7,1<X'h2,а̢O.{eYIc@XL=1BnOuQ[TPWQFs6*Pa+TZ,`{< eΥ&'}|U&hlqQ޷m"!l#ɑm,w]x#$. ׵ B<'%23V9 혬dMC[Z7o8caHtך4YPp#WIfQ7cyP3E;-gj~i_"GR6cY>Y.a"-x'*/b:q(o-B>+sXQ% EI1< \BysUWÐG].<~͓㐧 5_o D&ĻC:gYI_ymehұRſ{`Ry'U#V@U{b|}s<՚۲y,4UJ3>ۨ<g%Rik' :8*GYfÀCFF\ ,:nݭzU:deގ7nE^f^Z\MK m:_eNz 68dh̤@Mn"8-9[ʍ?*5{inԲ!2k#2=v 3jA h t$l`!x/ T fg#? >/P`Űy@vp7CD7Gg)FaP,jO,bN@j)RTmE)M)RKyEȼ,)C6'艑,O83y(x9 r4:F)Nޏ;gAm}q ҧ*ۨrJ:tXΠ#Oзƫ=M xAU TI°,dfMAyq_M YhQB@MSYqҎ!PM+*}"HK漭0!5QMˊ۠.q5Kky7B3XЖ+/$r/mR/CY[ |P&:4|E G&!D=Bdלe@-&?0dzNH-ei>+ȟU~ %{S;S-YN+ cJ#<W͖%F_~kq7z)-9XH.nzq^h]J[p&6 8eTt/Fr&j/ܮxٰi 4~/ ŭtڛ ٮ K"pw6*8fȝ;IөNh05p h+6aR4T×[Y5n!ؚj͡LNNGBنTK#6NHµ^_#YclpږB⻍Հ,A 'lS;əSbIB#vUЗrl[܍W043+/"{ZWB|=B=@բX} tb!x,\3Iljn)M UpGidAy -oJiZZ!Mhgpu_X!Oy;Lٕ2LޱFC(*3UQѡˀnsVC|n|?>4[yF#vD~{؅N4w 0܇XYJYN| a|$.tMp.Ľl$9 ]xz5c;r(lzrj$Zv?3 T! [@8f,cu*q0+Tn$rAj(G6zEɆe:$[ gF_}r?gho}ޓiG'kc^xו`"6ecܬjT 䨎HaxZb!3>pQ:WK\$nmiiGاɂ*F9߹iSEC wntפljȽ rT}݋[:~OFׄVG)O`|bOW(xޙR=b8j(38_F'Sa -k#B;^$k=_l~;< Z#L㫤ɐ e2K];-$됵t Jd Gq#4yupq<#X3;:"k)\Ϻh)sg3F OY?fu>1Dmiq-76Paz4qI5 ,MCO8tk&8o.R`5;tCoeVbZ)%O<z c]sԊײ*Ra "P[$u~+fX˱Eez%4t' (ywۺUɏŐcrbyuP)Ͻ0HTض'uꪵ4WD=,oyqrNS^K'v pM@m9L;=o.yk #֎̈\{m.d,dxٻi-G9%o?e Vj\Vc5)#-u*'^|&ϨQv]PPuK~/ם[+#P0&r~@qVqȓ|uj)TAtk/URI3T+-0*0I^!UZ.=:]~0{BuR !aM^Z>ù1Z4Cxa`Vc$oȒ]ܬ]QzLsjB=φ!3v CfbxX#+0os*Kf3eP3\ 1)|?ESՈ^xo1>_u y[H%'a'Q#.1yH%,#^|3=Pb"L #x?Rۢ \@=chH&DkKcɺo-p ItFwJ]gkBʂN|Zc հnJ s1>lǢ>Dbl??ѱ e({}Smz%Þ#X- 1vaELd [LR?&{k *2EYs6aSʍ bb7ZoH֐Xѓ4σcx]{wRVĵNKZTAN[}x,l =ZWKp]\ $YjT."q \J:*VYmsl7+D'f>ToF.[S<1Q0ߤ_ݿos~$R0?IZ>r 23t֣-%2 Ma/GoAn%_s Лd3,q\psyy;kL1aEPbJocLN2$| RS#G?/>=_`[NE0j˖d׈Va_ 5oqͅ'g<# ` E-|͠#dUJ!H@f !u` RxhyT #ܐ`W*C$ 0 z`u-=B]3t!-ԨG lP-xW5`miI/dPuQԗ`IG4?([8HLkCb#RG!حCA(ќ =zNc sT+u6M9F}.])OڥJ~H!Pjv3ӛ994Ub]A/6=y-?d`yZ잕rp+mǰ@wAq%}BlPϾ<@"A0KN`ĺC-.ڳ~O cLu:R,8uq|66nN\_5k@kA=-;_Dziɬnl >~L=%C>^̑F3W{B B Ï2 (4=1" HON-'!!`bEYV'Vcq;rxpx`r`MO9q a]V؛y0ŌrsN_`BbPR7azEx[ mZVs'tͩ8#UxREnPQ؎3c.#U!a\c=HNC14ML|ѝ $.yԷ->ݵ52wҸZ2zm1{R6ta&x̵[C\cDYz>ODSU1aʊ<7hՄ1$E)eg%Z JHT<  zm"ߵG"gx,:w0˰l-GA*_(]@=E٩3l3ox2S]ʔr>toCs}ZްT  4u*JN`c- 9Td2 9l0rr[$.S,=5 jO-ybfOсV'p$v(dGP+i[ $X7[gUQn _ V / !*~.7U6 "#Kbq(iҷM &G~QC};P844RM̸ ⽈o뺼/Tt1\(h=4yqp3iA"f_{ Bzn''UvڋUxn~"M]tME9Q19 Bɤ h8kyS˺ Ɂ,_/(1\>_)8'pFc"zc4]9AԲx=HA'Ύ{mᑰcCvYMaBz<8ʄ>ƈ+ǘ%_sGnGvaygZ,.tk)sP462o5ۭiUSmLڀͥT2X$G`84hm4JY#xS:jSaZ2ްfT^C\f1Sw)Rm8,9t7V4\l)8$(^mߚ0j05SfͯP'ͮOZrڲd>O8Յ^=SGU i 7\Gzyk-#d L^[7bh$Yg:s`G3/l.:S>u168Z4ȯ/Qį3زuG?nP0Bc _GCZǎ#>N,CS*!Q?ZCJR`\%:Y87o\Ӯq ά͉B|թW m`ܢ,^]pr)Ux9EDo#ҡʴϱ}(1ZO?{@tOY䒫7eBb8:$6恹nsH9ȒW.q():;\Ԇ8d"8%tx+%V)mKS3qG5aM||c`?! IaX-`&Vo$7v|ꞝ Ju˜S.U(EVFQ_Cb$ ĕ 1"{LWmAۧU㳀 I  \8MpnWS^ E3WȔE26bq0 J&:Nѿg#pk 2 /8`-p”ԹKڼ-g]ظo z-b[OX>+0ȋ gwL+)/Vm>Jjhɸ!wRW)KcNP>ql }qDu:n8׾7Aȕ-ΐH?(~/VhGey(o*V3-Z/1"XRn< Y󈐅iQ?La.#Tm_@1IoeJWMyסu-wڛģLprCIЁ چk>gKW;UZ-tOk/!2_D6V/'(6`tۃ贄`f{OIdÉ*5Tt쓶WϏ`5|P`;HxoC.m '~^6λ} 蕼ǵśL퀞I~za#7 2uY qsIF=P_hͭH5g d/z`J3sI6O ^ F e?+j_5LqpĬ {l7O5K-oq׀Q ѽ<qn3UoG#rO.Pf1X0LFrP?[ԃT$ bհmRZ+hQEbDV4ߞŻ8a1_7Qu>',?ts˫Fo-qm1^[IEP2> c &A5eq^,Ly]J'6-Pzw*xY{4TeڀH,C Γ↥\C]M4a@9;KO"T[=pA,ZBV܈MhOV"ŻҼOXnh m4IaN*c m^]Sz!ihxDDr&0\F?-)U!=M0DAn{r ?]4#JχˊPa,c5"4B18?x;WfGK}J>,U5K*1P}`<9a5q wMnP N ʀ|6#`m~ocƛp[mj}#$y47$$9cv]w8?=[?R\Z;qg0 ܅$3qa[~W7~D|Zo:ĊSRW~M%'ǕDn%>߉BWGJ$CE"?ḙ wF芆W`rȈI>a\(1K\68@~9J81#8ܷ(R3G|&.3nX-(1OJ"<_:ϟ}ƵyFp ?bbE5/ԏ gPz?A偧ue)]ӛ|@+kj;@0XG^".\ķ#5wҡIMw$NI7s8z5`ZZul[~qr=Sdf9[$ND 4yhkgD0A gެJR9oTnprc"E#h|˽OeZuYyGv*"RgcDqXHscN7^ PbmM Lne3jJȔr>.WHŪr9j BEPR{4It&zEwrR# K}s\ h2^?erNAF+`.mE?5",[h&&2AB,5tlmHdt؊yjg@m{}COBU;ml ) Y$;_y-b %c0Cv̸y+H0mE/=;A> ]i8|_y]`*s x0GLc;[R౷b/lbvgr^6#dNrSfuH sm;kX ^T4nq͎H C,W&/G/=;MU(]BSW.3n6LP§V8TuBL\2^uy 0* A[XW%REOj`uWW}>XbɿQ@bI1 aق%vCT:h*Gr2R&pSa7F# j!);*Mǃ|ێF,|S WR #]^Wus2vfҤ( JSk>Fn5]h, 0sXtۭFHfnf~SVۻ13'w:}W YƧ!Q6aLfIJGMbŁލ.wP++=Ln!즰L %:D`|dɯ p%!G JDTB1+8"?Ԩ~4@ 5@4;8[ߌaTaX=-xs-..O&AE+;]T l3&04" 18vzxr@ʅ1cҵ1<ܙJmΘv75p-kq%DU3OƿI޶?-UAD"O OЭ" "yFp>aoR[⺥^Ӭ:^#Ȗ5v6ʫ44JУG! S{ʰ$Mk!!q=RyQ;JipD~`NcXPV -76hgh#`Tf{Zk[#28j)-k_Ƴ!aJjC++H6S)'Rܛ9e+QTɒcy?¡9x=Lq]V8@;7i6~:4sm8?Q$N$Xy-QDãBwx2nK-ƒm숶V}5x;>-?d2cB } ǚ\1U[6^-t+b؛kE盗y dHrǾ 2UWi Ol 6_dy Cd}Ѹ(=q'.sZoB0J&7a >GLLSl|g 8g3?ߏZxd:ty ̤Zhw}M:gw?VA] 2ӑ!Vz"N-CVX ׅZKK;M7!D]x_20ף'ڈ4Q-!FD)XݣΑGxAHP)I%A{< R*AҲ޻/Oz/R(^IhDV ZA^MEZ;Do)[װ8YI8<¸АJ27CaE@9 Eş`4/*X{Tm&7? :ZN([;G(I=yƁ$A„UElLBE}35,.`AtYvUR6yWA$-4j,b~犐_n 2'51S{ј!/|8|NxXΌ5FQ@= :HhGC(Y:SO6J7ۈiU3\s=+tE=bfzYR B"霱o2Ol2S"a=U4ňv"/Lz̯8s ;Cm.b@Y(,G左2z ppEߤ!Zp~d/_@q:$2-J6/C%(L @֢/ȳ>ʴ~ ..iʉbD1Vd*|j %~@p(uoaxTjb/$*17Q(}o/Y`Hoa3'&>3 |*T'nވɼ_;$͘Cl<:Wz8:}~ZBBGYN<5Oc-3Fgz8sSrOru!KQ=.ƄdJ3%G3c&qĔ&DVs[m)u5Ϟz,χYB~~S6 8sO1Ub3ukM5=(+;3 Jsshap5O\wՂH[Zpx JꥢiQB1Bt uP{FW2۰Y .*K<|(.pwK@ @ɰ\>k̐# UZW*80wĚ)7<>nл pWBT?j!0Țޚ󀁵m"Fh_)]sp^Oo Xc7l ٿq o⮰%T_0V`YG0<@-$^( o$gO{m Ue9! k@1!rzOG6g%;F߸Oj'챫Z>z$r0nԕ̲Rw65[?`չ3T& WcNB;s\]^E@Gk_zW[=MWWGIH帀Y5lݻH%+o[C EC,fe7 E%3v3ԏk} Fy#zj-ș\ ch}RrzܝG z|tM ݿ"N5Q^%#ΥEP_ő{zْBv!|SNe!=0zJyKߑ!ΡXc)kRvuDR Nf™i،do $Q]4xǙ?KFf}1ys ˎ 9*iEA/#lE?GNktU8ur*gie_9w&]W!mˮI `|wlNV 譁܍>2^<5<r BF z6T3.t T@^ 4#x,WHIK+:h# ȐcۿwX6gl6] )K>)fZz~~sAU T^;H"OSg<0#֢ɲoWMa糤8bVpZx KpdOwØފ<<zGI=Y :fc7JQ/?Fp@5:Qdur݋e{s7hͳ`r6U:DOhPQjmDKGQAi,Jz/>IװcIVXh5}8ulgN T$JZ"B6"wFN8*c߄hi~]TKPrZ3 wPRΚGfE͏H77%oR:韽z%Hro@~{.7$9`{MPV<(U5 *:&O>o(Y:;ULJSk󥙍 ]N sH0P;?A}WVVُvu]Z?ĥog,˜ȐBB ɋ=sH77Y:Sy/\(WM@%ek4,_ژlVlV}Ż;lT[}|pmi}pm~ĎXqD.9P9& rƸb=^8k/*319hœ?L4l^e|;1[ZfbHnPS\y0sp@ a*O;ؤhF 7~XRZD(5q_Z]ym Y+aE1LT3vٯ<'詙'.3 u 0KsZ㟯r٪\4Y#->{9kn[2 =+j$>zF>rbE9ݛ&5Y R%{Qŗ(W$|M@~3NWѠV~@u/U'~>uAG9Q—w2ҬЗ2-EWePMRlODS>"Q0K`;l20t(rT_J-FIvԧhm}Pэ|gs w'\`(CGG -[E;3 f+T L$'+>I# ;TNϩ}T4q!ъi{A]`3s@t:gxWKlP PeЖ 2)݂ P< 勌kIdΓɻnv}L d?]Ϙ66_WDR*0!)XG]zٖcB{?U imno<6^%3~z .>Bq#!@T-f37AF(o ;bKJp!(8?KWzR,W<H5b\q;# r8lR0/ g 'Y1{ȸ5taq၍Ri2}J}FNZ=U j-Ƭdmިp_q30hREprSGV>ׯ̏_f /YS$ JgS`eTaDԬt41ܒ6Zp0s!ϱWl;iyp꿽1׿#EʩO9C@%KHZLH? QyMG0|1_I=LE75Rci {rXAT1#1*eT'xhAZ y>>Do>5]]]>}xDf>7Ǯnnx4D t'?l3)e$ƣHL!pG}w!{wd5/܇w ғ,&?(0Z5Sow}ĂZ QwKV`׾bų?AcQ2qDX{~ Ab9=X`5~ő$1ݮR-v ={ 2ʔAKQIԴ$_hs! Jlp2jXVkh_+?IF=>{9V wb5x>c{gYZ   R G-+!TIOAIOA.CompoTracesPIDE/files~~/src/HOL/HOLCF/IOA/CompoTraces.thy,,+-IOAIOA.CompoTracesPIDE/document_id334 +%' \IOAIOA.SequencePIDE/messages7zXZִF! 6&]·Iq n[:|&[z^>"ߐ8 +1:F2lF=[2&7kk~4࿩TR3//p SA)L%Kzt.۶ ]SNA <Ɣ,lM*+UD0QM( =aYg|.TGPы0~wUO[; 593l:ɹ[!zBN?x7:VFbE4ُ*q`UG{WCɶDB80ɵM_0hq)[q\¢/84pyJ"p`wt+Ƥ _,;Ԣ&av!d &e|k?OJ Sߐf, 4{]) Bj|gcI_ rإaMjr}]ĆW}Q*Hwk$úΘ \dHu ^>Unre1v6!L A_UHğiaaݜ6ɰP@1$[{2A DIyrn6CCv'`(1o.E߷A1Pm `LNdByܖ(jhn0NP[LxxonGmÒe[OFvB߈0Zc݆*Om_4:l9u`U-L05(n[ T!Ć .ٮQ.{Gy$@ˣ| x ^aճMLIWonJU{Es̬ozw&XARESK5j l",=fl^hʵdKZtDz;K"ޞbLu'ΦTWb.,q KRYLKRVj3P pK50.x2u瞅8 iE2iyzP}J⊬F ' /,Iҵydᄅ@%\Q Aπ^dbc˟E8 Ģ'⟬.{,*5"&,n{H.|Y9SÏ=51 cKwyO[mBBb%qͽunEIVԈ;hy\e ;qVYKdZ (wlu->QfAx^Y`G@o ?;oD*ӸQ,MP>Y&ĉ# "΅0C+۪A y;蝊NSB,β # H|8Q\HUM$.TUfC% &QLca- paIxSKt8+S_Ƈ `,hW~\cvuL_޾[*}cKR}M&+E 8Rgom0(mߖ[[hd, +"-&ug| 8 nVƑ^6xϜyE]0zYvCC1I4lRH|!'i[?8TE/-¡ ߎ! 5n:8@-;K#cl݋- >x{'4tlw c]6<)wOlrK9sn"Uy-꾎@zLr". n?o3N5"founpdz YQŚRrgm2qW.*_k$pq3 eQ$Gx?䗽o/~OMg$|/#w2F|!Mabl\3E"HNoJ`%S7X8ۄg )0ˁ'S__ޝM>I$T]~ 9@1}H5uͧ8STjb!ٸ/9q_0K'xZU P.a^6CTɵxCQ7 1sPPv!m, b"ʧUOؔ$Ɖ.em4LB$"G.?cyWĩ3*FKY"JJ߽Yv=gUY;_CDS@+'f4Zny} 8Ҁ5D HM ,mj]҈ /nD2$nHX7rt]UTR 3/f{?|~oy"Ic9W)`:X:ڿxHM@|s?1ʼn 'h1Ri) ޿r霤=OՁ/V/(vTz~&A.WƽIKԦԳe%|VhD3}%i[5)Ƈ%Y؃a[T.«$aQPYr!{豨/7ӀQ͏' C1f4 [{Mu0ᤱ٦yv|pOa֛'ҵ˝Q#-OW$b4x'^}$ -rtBM q@Y٤ҶgC,86I=j\ 5Gl/-vPLWB͎J(mȘ 'lG*;tX,VP{ >b _q튂ewƏcHI3j:cňE&< ;lbLJs~rR㷅(to&-r2YLkQc-GQB1'pnňmL1ݖ>k5_x7~Fx+Yq˹ -t[o86 ҕ}dhƟrb#C>ZnS|"Z?q(W~V&kuLcٿX&AL/Bd-ǽC#T}^0Ez5Ec1[ ʐaآ8&|NrF\YF~'9~c:xRdD9\br:?K%|= (  6; $gD 12TQ.5ςFso͡GùYKKhG)%? ^ &tM̴ApdwA-,4!gP: h0.k ;m0ӻ(!jmߒ)_~E=[IN }^gǦOq@hzmp3:N<]|F__t:rJ;dlՓJ3 Tl)⎝F/ou̚|;S?ސP1~J1hgd5x BVބAD-]8.j=ZԢS&W%A'A(v.`WZ㞪 ۊSjw7Nx l_3- P0ጞ*/-'郎y; 9wܫ<. }dߖczf}KRl ZeL*e=93 e^V4pE@!>-͕!m1Z  T ⸬!L:( ٰV,{ I/P~Q_NJkdH?\aga屶q#̸&'=찾phd e8oq$7IN-&#r Q85)n( {3#LGE6=BVOl~^U H)7Vw ɿ0Dck/3WǡKQ"^$TڜCn'sQoxU|铴ĕ!uD NrxNÛgEb`$F.Kz->j{Lޏ5h8Ϡ~]cq`[CUY[bp85UV5!dC߅W.ZUi[ u޶^Q$ȩqenwF4I2=]YJő5҃g=$[\;9[cQC+x~f8W'XQ^f|!em{hkE7d'28J \ߟdbGu(1WX gzw?*; 50)j@WD,w̱0W8I~^uț<:GV~<̬O뮲]gG]Oj5FA29?=lN@݉uwlI}Uߣpk.xZu޷+OךxAJ ,x'U?aPHo)z(b4pÆ, WAzvsz=[UQ}{`FB؞>*) Buٹ0/GX,JgғHEkFY;I8=#,&N;WB:op)(aHlaEkd`0rp:&7c $[jo$[< h6(Y4$y~#Ҝ!Ԍ6Y[@ȳ1 5 "ÎNPdeH8`}FI/7A;vfɆ߽_2emGәgI[Deҋ0\"X0ڨIrBcXCԎshot6_\¡'8CL;1l[|Tgv$ʸiG!h#7Wz5_O}gB 4˒%_UN27(evW hWO#iJa(=Oq[@PK!X1>0#{Ȩ mpz)w0,3X2d{V]qDwMLjq'>޺X22 Y6.B^3隑 -HE <I%#]@/!aԖ6|8@jٱc EW&T1@ Z'J5Rv\6i 3 (ϣ;jq̺ۊbv_G-r)b}dO:40`hsFREyYTqUCKgn}:4{ ޘYB?[}Jp%,?gCh2:XC$9r'ǻՌDZڳ[՛8Jhcm2'ٿ`ty40ACI=kG~ÁM zffjS8X?tu_j9**>kA<`tA4T>QґY5H ֏;ų@$WR}``Hn+*67ӿ6W*k? %! ''>Zvkƚ.ƒrJ_+.Egde}3o9嶡2g `v$[u`\>!rEz[ 5u"F_ 'X:t@0~)*WuހELiz}V `!پ\Dww;eºkru&#A86r ؓஅtB Nb%V)1Pwl 8n$D|?$.xQ' _,y{>hH1m6,Dae>wPv6nd1aa5;8}%6=KQÐ|Gwgh$I}_%=ŗLH[fxAr3ǽv!YvWtG m#da!V[[ҰY⤋[!X ܃t?±^oi/*\{ 9xF\gx ;K8Fn엡$ 'jZ[qS*k҃=Vs?6.ƍZi6XVx!RhdmV<Ѽ W)B'j!\%þ +50gTIbg:a`5#1ʫ&!q%Zo[1Uڷ嵷AwNjRdӵMWwz{oaɴcrI_TrMHJ`$<*zfz g;-~WlwZ;ĂI]ӑDqP .y3 d }1<2Vqq-\ϑ;yԂ)ޘ0̂;ӕ/c}\.n]UMz*Զ2Hq\2#2 3Ң oe7côh3ˤu|ªAN)B`S/~_9`GbvjGUla8O\+{yv IgUx@4fF]:}" 4ۆv]JhM*ћdcvԁ&㍚:0N{BMojJ֪ B{|XNi\1mש.$9dU}fOUxUfdbb;Bp牄&iY),ΠJyĎ 588۶Ee4ČAP^ /W;J>lOiYa,PSLIo:RP1$WmSUZm9Ի,x *̂4:a(J}Iuv8Tm(?ޞr=ZܖE֍ ո׌2b+kcrCK\r$/KVk5t1!҅(Z[  *GXghT/(o"bS 11W8Ң*F)\ sqŮ#'Npx}/w@\]9u `:ChnVJ{gԄFcz!qD\M{ѠUyg&d F#%z^AH͟#m挐6'aC`4!4!lR!]Űc,rpދj":`p+V^ޟm12uSabsc):җQkȂHdimÍa5LK#q< ²zЏ1򦄇=$!g~OA"qgpS4Smva/W21`(ޑPBNI=!0>GUEzSreZ1XJsWB g[zjL=R&j3Ǖvcfz[5\#|>I+*حhY hr V.L$>vIƮv@ݥzgL气[ ^u ϲ3Y]75@Q܈ў[=;mb5s >te.<g[!O\u|i!cezl 2sx#tdds9 (&'*1Ou=丷!I8ݿirQ_ikcv-:侠sQ&zZݙQuI/ky zY~9tm#pȒg@q Iאy1֛Hd]9%7/jmK]|KWq~A sƓ۴^|^] 4ˠ, >zMANm}8V**e[ whzrB*s՞^;z7WlgޛwU2O4iFUE/HN(- qj2XT!TRxxp\[ޏa SP|RdӮ56h |l^m([U` sA#A ޽]o#^\uꆟfP;~܃6(դYQmR.N$tD*/X;/U'sp>uX6Ŝ[~.Zj$< m;.v(.y2\sgu`j "Ec CJPq 5^ʒ]ܕSrX=W6N#% kk5ܒ7z1ԓ[؃!Yz mI+o<%!}[žS􂠋Z?+F ;8?ัW>_~LۮڃSYS)ƙsb @f<nWӁǏ2 ^M\wz!-bGB> ]~{xU_cEXÓg*}- *kqhvRJW!a >9?CH@+:Gzo9N,m;](X1c K=Fs|q#1]["Vw0B}n﷜.9Nحn/Lߵ7/ms嘡ЅV\yy+#տOcULWWnE0°U Ud7 :^ a$߮ !I QsJ%JiXn)E|OiU;Iv LK]-S;%'l_PuWF3I6<&&ϐTD"Iͽ(YUR?EOV ++W;쌅31''t ԧF-?~]|n!lhD2RMf>]W(R*qp2rKC/1My]oJ-7{+2eJ l>5|T&T.DtExME--&}y0J_ |w{ʲRw݄oAaױ{D7W ܎'}6RW[4.T譎EƦ|Ƨ#[tDA~ /T*iǬ8ݪwub;)&ipGQ&d2bO@oNllZX/Cx4$D)Y/23{1Ƅ%cVV!S+zv4b6!n mXiڕT;46 A$Z*V b|ᾑ/F|}{fZ,OU2Wi)ܟ+ ;fqURt׃H %^9%, 1F:Ha7CjU-2 OEA)=JYp$2//"qPYVNH\eo־'i ĺ ?|G # h+Px-$3g \#(yzAۂڝW hK]ڮ|J-y+;jjI ecu:W\XqtX{w <*ΆpIbKDtX{|yOШn vpPܜ^N_+! SzԽ^ey2Hu`TxG M[iROVkلURP*^_6#[hhJ LFچT.7/@q,-^G`4| ¤ӽC1f]ZҀ3(qS0E䉮BMveO_~KǟsS%6̵e[KY_.zEO[es?!yz@ys -xK{` ǥbh W [t=|~gA&n='!+Xh,K##NjOúS=SOaYs!} 2pȴesv Փ]8IS33fesvt]=r=bT}2Fx~=OԐh T% p出,:[ݝMi*mOF~"*t9@wAd/SJ3Ql%7j1 '_(}| ?3}bYtG*O˨g¾ .-c-+p4,JԦ넄.NXvᘍ43!KŀMr{+p4ivOؒPTgM)U7ƉrJg!m o'oޗL"3.U,rEmD"]U !ܿʊhNf^,'Ado[*E`ngI;Vnlw9K^m2bDw#cRGB9^BQyT&~oE|5u~m@E(,$ܓo5?SZ;篰 E- )Ïg3r 6zﭚ8X2C<k:o=6yϊc LO˃,@۪K~g׫EU拒'$BDQXP5 k*P ' oJ"z2p@繄jGEa7(jcP2"XO [! #81WqkVk _o ?cRGInUNÚږsLs;ƎL3)d6$.զ5D)"XޱԢT>ϣ9j?Hdpȟz&OE[K Rӟ t+*5 HssMpBL TCIㆎQb InE^$>7KT 3oYu^TiHR=oP#) (|^$5F6÷_bH[^8 ,V"zϏz= JE(ڷgm3ĠV3k Х[Q{| @YnE&v i}6 &G>1bZ^R1ӗ;OXImmFc3Z?K[ng `:n1<HM RڼS\1z.tF\Mb\N. 6ߊ:t߭B\p {zPѵPt ge~uo\.b| ,Y` @X&ofB.4.Jvhz[[W@THb(2#7N(]M[!5lJsz泳b))2krsWF3jsx'j%{JH,ȁ” A7LTuCw^i3gg밒x!G^[=&4hzNrg؉W۞"D<.-:='Xj~nig_IhFW njm~ mMPE)iIUBKD> >;=?UF=;Z,P;;i_fjX Wv#=ڱ1\%"a ă-;2r`{OF!zDrS˒}iABa\}{]u=K| S܋lv[^l2c)?ȜM'(>}[Ѕb33e GWrcxs82ys@̑Kc22q'gl>=DPvEt1h"06!ؖm{;'[A):$lJlYRlmWm@DRŢ'sb:A$keJ0|M,k'׾u "| gyu#uE. K S0kUjb[*{/K OC+KFӿ.wۑE)4;,8.iRGYy}ȝ:'2xro*VD-B!\/Y&O]g,UikY4SЛ)f"r*OhT SA4I C<,O8+"sy9-6LwÇ\?VAY/.6%YQn~ԿO^7MbL:v)@pJO%԰S^H(8\W]L;#dJNKe-.ޔъɇURr7Pd!,^VWetFmۊ@H~H:ȁ)*Vn` @w8Ѱ!{Gg%LspPǴ26Xe ׫r}SCll5F%gs_c& 5"=.1m{Jܣ&ˍTghf P:]Y_W5o8gt@) 57Wo c=ު18 ƈ1:z7|8kg:YwMn~,f`Y~ySeܩgIePO3\mmAK\ naIZ0isNxS_)E;N`Hd7'"Uyz1D%7 .9ɟj`7Y֮YQ=ʪ o2i{'Uqaaё$ǷXd *&04}$[=W*23St4a"!b; _vmH RK/vGe])3.CJZyYϼ4+ynXAsr4>Wb]8E3zI\(SDX WO 9־ v\:YڼRCS9nr w [$(S@"Vt!t.鸖W)w ‘Ws8 3/8Cް6p*ٟ-F20 gqC\ik #&Ds5KN1K9Ja1#2#iS~":yw( ,>Jcœ@"vwn6Ьx6tJh;,&D*r隯/[];Q*=O݀^2au~O.CGN'ul>,1G_|/[Kѧ\n,^0=#B1G_ /:9\H՞0H嶻!01Y)Qۉ cQ/ se1-ZËfI:>kVNnqRrl~{TR 3gFphy+ ĝkY~j!posl q9n!:\bɿLS\33Ӳ֍F!& u!\@zdjǢsV\12! mNI|"Jmx}$.Y$}s.p \m6Glwn ½ ;xZR]AԽdwWDxZ}]7lqot(Fiy^ uDs-~x+(k0@z[LҖ nV/ LwX]+&돔F޽&V(I8_\Ro#f8.'ORcI"g|;ɴ pAo=<**jTm(YRz~.,D1v JyK _~O%eEf=|%5(=\S&Q0J͝¦'B4Pt~q =OF3V<[ 5L6.R[G*Fz,pYe&aMTr7Aam ?gjT}[zui Ap}+͏*t>y;s({|=|caRUBdΈvtKOD",P(():ט*{K31YӞf2K1G8i,{QXRTYѥ4|Rqb;Oj o6F&B 4J0. ȴ,w `GSoS'KG9MqU&4FkaӼTfQۡn8קhZ2t:%` Iͷtq$g-CҼ&獓e=*2E6sΦ`u9/o4-&JubugU l5o#,U JvVi?1֡eSǦ}Cd)ٰߨaN_dq׌-Y6 H9".c/45W/=PDBh9]99,~Nݻ5hajȖ ЂNt梠)-i޸>^y9CO =ܭUhժsՑYRR\O}-#+uGe'5)p PD@q=$J O}8_&BG7zI_ɏ^"| z8 nBrnU"quȇP^2YнK,(dPzZ)kà_f“#;꽉.yb\k(p">.衅ZLlY^-F=beMmlהd5Y RsA1 n)EƗ/A7{VYdBm8V@}yr)e~lRo);"HJ]<`Aqvp/R>=k:k(n=G}|@+5 R?ҽRBn:fVI}pX3V~t ˇ+CğSDV(gW8}Ȅ<dbvR?ҥhQg !$SV/pvȫ/Rl6p'fEbm`0^"k"`ܩ/f5y&H A"MΑT J4POK hG:6m\M!0ğpPāQVo))}czĴ60cNyc`dߍhzF1[ϿA݂-`<כa%'p*$u'mo^Y+/HRVxYӞ .}eISV[``y%7?{w$g^wrH1l0ch^uHT&5lHcyp]3 Hрl #+Gڭ/t Q' pEiM`xPzy"laⲱ4j93zLj@^g-˨6kn}J[v;5вiGI= jN5A=/~.V](u5^#OWyamr퉜CNr(t=(#eF9ҸFs4]yȎ8m h,vۃNYj|]Ps9e IMǏ!w' c18ThyJ>G ̳,=T0sQ>\P6v #7@bX д3.g:0{}cUGy Ǔqe|}~1nG _(!O+۷`UOqR೅® aԶ\s`9, s^.~S&U Ιޞ>yy.Ho[H8l٪)8 =R?uO~T|o#UEdTXZ)r?f0*_Ω޳XC)E@ԇt])˪mQIYy( % gy7sOLnBg5Fufv .+bѰ:`Jt;0YZ rrr. +# $IOAIOA.CompoTracesPIDE/markup7zXZִF! =]ˠ)jk2p O6LP=͵gl5f&E'V#[LY怋({8ynke"'jKi5,r\^iPlrU05MnVdgw5rY <^Hb ZI55(w.8d"B͸h=t / roxg`ZܛoOlH(vFoEB2:wesx˷w&[j1XҺ㎑PQn~4"ڒ\\1h.M%~wDMVVvzz}zY55}|3T ޾0@C=îN (\E] ^/jQsJVR_a~z%bbQBMex%jʗ#v&j'Y;Ɖ.S?+G\8G[36|gC׌^~!J|Q"[oNOkd3?Fpp>=H0M}Cگ9҇ļ_kWS=ġդj} g4(Hǔ0ڨNjggbM0)}0\ sUFNȢb%D< A՜LWŽ={Tҫ4xinQf}_nQ^v5L.N`1f7[PӴZzcqG[8 i\օq,wD%VJMqȄ1 5Z=j {gw֚=O Lt|$o]=F~vU5QAŘkm߷6I.vh˻ٙ2FO]vn(p ҡc\[oD ¹>{y1b/*s&/' *n=V ]8אgbS'hc%;Fm@WLN >,ws"d-G8JԳa^cڥ,á=M ` OfAQr#5,M86֘8"54v_VbN{ީ;EV,?C:E'7w>?ɍ>oUJIpo6{Q[/0Q GO| -Ѫl.'xR)Y /'6e[#uK dvCUŷDJcKi! M2I̺}@غ;GL)8 ̋ݟS+!gs"u)ށ8 \zDp#=u uxghK}1' e갦 ըYvҶ?dft) ʜq] Er6 6p 1n$/Ͻ~}G!;f>O £9\TA:4wC^6_֪Cffm-+fsc%ydF GՀݎoŠ wP1 %piL3 {]qufFv˔uYUM#q3* uLy5ϕ y)7n(5R WUJ Բ5iu2.-ih#kWr @rey8T=Q+34nt: it5k $Z4ڴɓEHC_]$aH5ÈcV`ID_BE%RpDž<|¡mM(|7 Ӏ/_|SHb\ςO/:V0PJE|1, ~&d|t]񿛔C7)ҪX ^hg0,kӐڶR@P9*A%yw@OTdfJFr|-y"47'zqU.y~}|&fG!T`wIǨ(p/PI|1UPfec$:#\vs,+刾AЏ}"ʷfȳ2gv ;<9#P( P[-BM!p69T> Ib]|8.D_a:h2!:K]poyQvi/M85ruܞdž~Lgɿ]i o&peRi%~|^qΏw 2&۟30siCi%.o7­pQ<#ȼ&Ue|]!M`e/ٸ;)+~(8".$$.+#?8`ބCa9rgfOq޺W,U81 󻡮&mN}5cMlo'{t MtzP_rf~ mIW X)'"yANywqrCUn~dٯ[o45?5eTn?ٱȆ({A9k]+{;蚣CO3U_(,;3աz, Ś5ؐ\Ft/2G F>J3Y1FOfez Wrkd:qϱJWP+K(uѳ*>އ3Đоb7)|pGACleݭd. 8L"O>A.CQELhY-jT! >*kdQn B^@`,=RubkTOE-`oB&I\;wpɭO2mCUaӐ 44~~p#ܠ#.f10B:S}}%2 "xM*wOQ&ܔ2\_cQOGƥtQ#Ja[bTyV~;+3Ń5˜ 7R> OgYZ2 1# BfuWjԍOw$9{Mo{E%%ʼnN biU5 9 D DbAݐlL͔):KwFof4h=#,q ]4-kG!_Ϲֿ51HO/ٶZP_ϐy}|~74?I' *J _dnkF3ϲoLTE@%+D`KOrv[:UBHKi e; pο!S$@Ĉt*ma:)R]cEIރnZӴMASRq3% UR@TBMrG [2":4jd:O9D~P˿Hfܾk}OHzMw?S TMv4k.N2}W` z,39Oʭ 9N<sFْɫ5eOTPi%$mԵB:+JE5cfsӼɩLEhfzCWËV?,ê@MtOeZ, OfS i7|]QrߐiUoYARRx){j6nVzC3&,A)+:wpq'"pEɠ #ɖ 6ͯwdE F-%ZqŔy*A$d(aMn]?.7dHͧiLdyQJ44vB9ugعc+F!ؠ6{: N 2>$feT"k-͌3߰wqpXTEuP;1k.;5 5]LˡؿԜ=aPOy1cZʒ~mLgEƟPd 17sDFΩ;ՎÎLyKX vAq"aewYXОEȁ=SxG7楁'ZFo: iMiO@GʭuZs.!6'_S1} ^XhcXʕ-$01gɨMuo˚*rŦJkOOXz_%csR7/Q wB^m3mɗz(a㭼#i T9Fͭ`hj{B0/4K$)T")Ӧ* E6ك x`ݞ8I%/3X$ _C=@ k/q=#T#.Hq嫑؀4&^@G }T"H\LKL=;-R&rٳWs"@LAagu(>l᜞5- \XmUcKXS%Ԓ ݭ^hNzA mas> {UیW{QQ:>>M11!ZIOAIOA.RefCorrectnessPIDE/files~~/src/HOL/HOLCF/IOA/RefCorrectness.thy/01-IOAIOA.RefCorrectnessPIDE/document_id324q/+' IOAIOA.CompoTracesPIDE/messageswarning_messageserial=3479420line=48offset=1657end_offset=1671file=~~/src/HOL/HOLCF/IOA/CompoTraces.thyid=334Introduced fixed type variable(s): 'a, 'b, 'c in "A" or "B" or "tr" or "x" or "y"?x^uтuQoP{(2LV0jfQћ&k\6X/'o23oNS.`$g>r\qț[QZPIU3*G̔TQm*(skpU?`n>X6Q1?dFA[T;M\ _qk/Ku žJ o\͜ / zz`Z2Q塹WFs FVs-(uEED{СCˋ\lA >K&6~ВIxHq+]NIJ|G%'R/\tL֦QIՑu'3Ӽ= ڮ46_]C0 0ŎU ,%8Cr8TuKTLu-Hƙf&ЊgM,H@-/? \5ҁ,lAYŷe2jjuf aQ C;2j6tf`$ĢJ0xJ=v<_5SLb8.Z >p-oqLO"aӳM*wR/y…8MCGئ앞+JIg;nxI)#?c?ǓDh?ȆY1ʾ Kqt8_+ZB0* "Wf(Zk*l/H qIhua5#8zZV9m2YB"$<liAR+;34 &XIK!4!?B%gY_==gdRKCvT.hV/n3e0a~z+F8`5fE)7=J''| |b,;bJ+#>B4|XK 5 y rdSгl3k_|6L|H!i~9XkK~/e~ 0\>ؙ,O 6b2o9!>%IDKԔK-OGm ͖dNIIԢG܏09=PQ(C0E KsyXhۘ(Qic5'W*u2|G*W5x_DO߅s7yYoK4{:E}zeZ@*E{X8L'R@Zf 7:h3Rg, #^Cz{Cd]mT#6RfۯfF? P[+o+๖_LU:ԚLiٰkAR$xZ-efY SU#GMҀeqn%`Dp8$^cVU<[ y0p1v/s:(^%8h眼y-ɒ\RRȚ${xcv,c C'Z;Lԯqp : n+|1ot> NFu{nc~M::%0`e|Z{ЃHwp05ͫ'Q҃XY:ihl2͜G:F/s&76@XX 752%v PԆ8C…֬!eȆ~nmx7 z*Z#VSo'8PM:=$a(-O2`5OSL4?F{aud xIR~vA/Pq@WvRl$PqյyY4RDéڲE,qe}$3:y.DQH)HS8djϑR fOTWtK~r=fOHPӠhf?Ƨ3çtL(&a PA4PQ'Gˌ&R&z}}jjB&K@1DxI7FwSE qB{l? $B+|>**9Q#Vt8{HQӼeUs"͙ ɴ1К< ;O!bqVɀ%ج}̑lRd-X67Z3!Q5c'ݍ6s.1d 8GHdnI_7.EZb+7|rZ:A #3΄dTsqzL%i''\%GW]iwB((s ? {!>=J~c~+υd%bMzެx+ /{ K #Ԅ1*^fbE?;@ <h< xgn/z.?h$5yh1 Bd'O`q_H܍aYyX(y= :}}}0F4~W4 nʌZ'}Nߚ ħf9R_[Wꚇ]eܲΩ\) >& 1WCzYHsLldTiZĔ֝!S`u l4P4Px^\WŻ}MTI=yR4!B\{x?g#rcbhX 0ʹa7M<Pԏך}>Za V8me:DDmb FFUxO y14` nkueFڶǥ5 a|; 5R^^B6T/!n$7WӋô~U@Ȼ%ao~3;~*bi P3,-֑[/Qo[M P(tiN{i4USbĠ&OUO?Ѡgٌ;e1kVht9K}./.ڛS[DT[KmU%WB:8krc Q/F=ׄ}˲>h (UNw~J]dDvGCld,M3ٴ] nΣi@6N ofXw}oAd% a~݉z,TSTor`8"G աYL |$NEIb{tkUR3*2Uz Q՜p(We`b:wRB>#rʇK+1;.Y|C8h#S`/@}w @>}ܽ"򣗌 ϱu^ޑB?eo-T׬Rڒ z&5O+}:guhm>Q)JƯ@}c*qjm=mؔiyU]}{>Z0uꫧ {b/.'{g0S%uSON]1uY9+^}HC3'9C`^lDo'LeJ=1fF{Y䟻 SЇ n3Ge}6a22f]PD$NǮާFJ)~ӏ** 9\Ϭ /$[ெQ {4NRmg&N=FRԛRVd)Loc/2}FAߔ%zp8 ;ٷWWeLHF1&)~e塿Ɓ! p9a|[T1XT0Zmie!6~]8g#I(6^Y3>}Q c6|ދ4$Ϙ^&OM[n:[SԼW"[nNsʾ/WT3 [MF g0t+?c}m>2j~ߜ~rEbն(9&e+i2 ؏})f dp@>{pa\_)Ѷ#r-i;DOΚcT \xnao7 8ĺjf6T&5%Rq":-#)VBuVQML1Esg6~jwQ6A>4V]mXvcHi+t!Q-VCW"9*pX:zq+Ui!P'ׯ`NY<3I.SGLiLmHj0#g7oU%pMVmٝaVEVN-&K5lmzuhs'2.YkIR@tъ=plAXEŦԫ"]Ay O}0a6ZIN)xBU&=%wNir/M0΍gi)_b1n5Zkp=l۱G-3OKqsD`~靏B4!zPzM,"hN{?^kgLZOi$|7"Ov6[bEЖj6~s(Q6vyM)\@ =WSyy(tCcgI⢊Rp|)+]]Lan}xpQ)]->x_tk'~!Tj:Ep@h:.*,YFDa;{QKlt?^M62s秆Wf`0 iϭ 1g@ wǩ+|bj~Qչ-k)9|&T\\ k>dxȖXn"fx$ L~<C>Pꅿ=RѣbI%_aO;\ӆU{&]Z( ))ěYn<q||cW)B,1͐% aswJJ8[50 n'FzN2'vIAGȏ#;;RtNkvi@'<ٮ[7 ozBgHK8eoHС0n{Et,8IV~SRÛN>ff#{uɩO ,:%AQ¦ϙN՟xisi]j-0ʭX%!_YfJ@q4:6!.d j8BIFnˍ;qj*b01s\RFiˋ lYZAuqNưgɐ\jh|tW:n62 *֩G, )q1P>^v׼k2w̹6|ْaOg ~7D4 3 @^s r븎C!Sh֭ⷳO^MTU]`.RLQ¼h]OH* uѺ눾P7PHIk#@;XWt.EAjKKВ("]qm#6C w H.[_״R4kA7BAG/vS׬c4y t5j8p]|WF.ČhV{paJ ~f_P1: 72 Rk1_3FYe u5T3U9$ҏqKm6B_:clUxТhkCVj)kVe+† =]ZCMo +Pl bOY7T!('|oѸj#0e,VyV9B EC'1Ԁ[3$#D`\ WS+*jɩyQYpgRWFjה!)GcheR흰ɇ,AkV ط\ڠk޻-(0廿x{\p#_(v{G#ESBDBiskdoDb[@ufQ 2CadXD1p9y^zT+`e&R{%ha[9]X,M==~~W F~40rw{B1Vg= 5{I!|L SyknQ9j|QI욢%[`1!MC9j?dv8e #2id"i=BY!c),(QX1 "v/͆@2&Qtҹt v.21S tSӳVI5Y1{K rT~l~Ahp20Yǔ!)XNxu4i7Oڇ !tTSܓ`y :qEM`SIKa+{wd+Y<+hk87$r,j&~4~S-뎅2Vʃq%[>^\pr7mx;& [աg@p~PVڍha`^OZzo;o-gΦ]M ɛ㝦"aj& 0n70€S˗H=j1a ;IywO"u!V~T\t~7傘#@眳l)`ˢw2=Xc5漱#EJl gRx5v]XW ]|I'qpb3[u2L FUz< fFy$eXר6gJRiCj:8o-sϭ'-kK)\sԭ[r`IJ,kz6,^FBh)8`h aޮpd=P juɩ^C 5:ry _)k3ҽ3&MlAq=V8ފ6Iwj/ZY4}q"31 `H 7= p('U2?  Ą$ۀBTK:cnQ}gYZZEZ.ʋ*T`7=it{|qEGڗ8*۳!zo4CAI]E2Ըif]`CM %!@zAP?.{m2dŏ⹜)8a̠YF{% !TJ B7@$^NZ <s n_dWA,W%Fɕ/J`ա0Mɳ?BZr Y4a6f pd3J^Nw lrd-DI:r葞CX@.az9JHev[ Xk$;IiK9;+No}h%<.Nk=[|ppB)ڧ,Iks,yJV5OWG :<&FcٽU 1`V\,Y~1BQl~.旴,,0Ho Ծ;OGbZUtA}?EqpBOEٺ*>FJːɘ :{lD9~Q,\BiLUvGmUCzRLo}@<_7:_x7cQeWbg=,Dw08UOoȾe{;lC&)V2 {f-d#y"y=cRƒ>SEOsL=<@v`Mo' ؜c4gl\V/grCwasR R朽A\yM>s)Y?'XQW_IcJdkxI];:oCMsJ\"ͥݦj$|+aND gSݲ)a|XB(G^h.G+ 5[ҟ uO2)'}s?Ҝ1e >8g74I%wf&/$ l z+R}^a_TW5Kg/汓݁(" IZ )H'sww΀8]VDE.iF,jP)V)tqp@1N~߆qr >,we1P{|?xu"D d#+S{u`_%؎s% o!3~$tbwFopwx/4>Oѐl_": R/&[ O[>%sA酱Wy2` hνcҩwU{N+}'#Ҕ_b,ZSymoϦ[~&uIʿj3O県Q{WK7/t[`>n'"MWlkks=paQr*llLZ"C]GR5Yd`J3ޟi BEvXygokZ$oU\Jh.o.:eu)]AF 5vB2faC0CTVϞmG2ЋRYż|h&b(^yQ"FYAUDR4N>]~~T@ӏ/kz|̷.bMxU\0-8-C~O  ߑ\j V0rVR݅)u TM4̼%gd `fו0HfX)uu^݆4J]?_z>]Qяjer^w'b wƾ_:bss^C7yqylVYG]e2s*T 9os fwTGD*vj=R a5>JS&PR)f ˩KQFWqN]j7(6V._Q51a{'B$=L$iH/9Maۗz Aq4&]!&7A)9>7Ң,'$WIDH G﷢xhGpO:\6ih& _\{ld.21 %($!wݭtR<>3\g0˥4I"\n G?վ'm|Y"֯5Jj@cs"Z 3ةoUBB.Ϻ@݉x` ``@z]c otp25=p"Yw.(oOmAGbK2j@:* ߠf-xNTKZ(գEVY797]*ᜣԉ RSz>;II%7C`3`@נO&,'[8~ b0GŢ/Y{)gԔU ޮ+!=hBy\[&a5$,1AX!ZI31r.O?y <135ojl뽟rq0QUBa2}2kMu0Ȍ4 `QdXQݻpZۗ,4Rݟ.+DH"ˣ|΄q' 9Շ03^ jh_v m䘵e14<6] 1 D7ёܤ, ~MP-Qs.dla\X5 BZbG"oI}C~G$$8̌=9TcMTzD%ǵuԅe^j/hpA?D4t{. 1壒Wսh,}sbiKw+MA P.Dw5Y _ӎߑm#J_~1:k2D '$WA VҜ^3^0G*^ek&7F*m->e6 ##7tWeb| ,m 7 >iA+̽Ӷ,y٩^ ֭ \;R7~,䄔'5CDiOiMˮ;l;,XJ'#A~@OZ,gYZ  S E8)!RIOAIOA.CompoExecsPIDE/files~~/src/HOL/HOLCF/IOA/CompoExecs.thy+7)-IOAIOA.CompoExecsPIDE/document_id318u6+# ,IOAIOA.SimulationsPIDE/markup7zXZִF! ӑ]ˠ)jk2p O6LP=͵gl5f&E'VDF W }6As0Zl{@Tu垀Z52gː0 N *]ޠFE12U a j/2A| (1qE̐AOmEFoh7^[Gf꣨K:A]8cRʪ#R<_7sx ^`=r/1TP؀oO\psqzRgP':ۣkD$A`m'KƀA|V 6-4vzH|~ 8$Q=9~p,Lؿͯ r#ۮl1$ 1wX-eS9:([pQ_m}s)$ cࣲ &.Agɉw7.TIe!e7D{ؘKמ*.f*g k3q&!G`-D^>LX!UzaxYC({ż&GBd% " 4[PP?Z ]KCc.. QY5ƫ6-q"GoUXs ?ݎnʁY0A2}Te_0PK?y{llݳiu7K桊@ a N^ēɨOʛάLmTcm0v8onynEi@AA5|ԬyM׋Mb>oZ$Ibh BSzM^ Ovd30 剼4QX P#FP=|夋m}W6{ 5ZZ-r^. o0iH)?JYw.FG,ј\Y|>-'Ejw@iT\UѣjfDCj -^4_MeS!xXFEȏRIhCWk01a~1Џ6p H ^VkjոT -Qxc[ nmzՠ?<,!|Uyi҂S odROfGgოUcu-#y܌ C XlTY_n9XFzqٓɏX/VߦuI>:|\"lx K/=c\#9gѝ*ʕ(mvLUxA# 躡j ڐd̏i ߱'}cF]Jt)@$עNqeߏh]tCpRS=RLK-v/d {p-.zmC-Q/'Z21:Ɓ[PIO''\ձ{K BXðO9޹%Q24ug7I`\I81maFINY.ϭnu+ښPxӪ1Z?1\GVy 3JL5 Pwܤ#yh畉涛_|ѾSӁ6u <x7=XاjSmޥutTADY|g&&ЌUIǦzd?0FF`nyhM~ֿf­PX7*I_N𭷽ƕi6f?_R4˦1uN[@DU 2VP2]_X/}=edIF6"&jVĞZMyzk:?9NB)sZ܎G{6fS u~bU۩:ӰpF SK GP"qʹz@]`ڡbukb;NǪ;?=wW,ȩ(vmV+KV9o3tԺ?jSP?i;tm0Q`ܻ?Oq+6ϧϭhǜ`,\ar 21 )gA%F7ع.rBC|@ἜMg-no9wSg aZK9}vԷCu;T0 -71b#Ugf s\XAeEt導DOlxގ_}:Cxb?).JO vE]F0+:V1M$'皪ujm4Y h(!sZy U'U.| K+Gi_P2*!r70-x.*ltlJr_^ q:kn9vVde>fq.1 n9e\-l/ҵel@NiĿ7lwia4+w!d60|e[k2w2FQhN.'DqA$֤{΄mo :b6;\%WkuT#hd\.ƃ`olPg*͚\]\̆B' fj^zLl(a &:UsC%`|aP}]"VCiui&DRjk`F,F?y .>]"15E6gZvJV0 3ɩ#uivp^Tz mfݡ*}~]WE圊e#"|lZ5QVJEᖁ*E费9!Qn(b^cf+1 JT7φ4eU otvsCD?O@oK K#X)#ܾxKm{fl& % 'ݪ 3^AIqlvE5)yTgB-&]PhҪ@Makaٺߝ>WJO ӄ^\TKMok_7(5ڶMF*ĕ 3Ҭv[k){؝!Dpv$fєg*W|Yc!r]6DZ`OXNt޲p߷Tl&\boNpthDf;4u.{ݤ4*JOZ(P]XϞM]`\ V+Euu*5Zb$1{+Y/rЀF |z+Db.@80@*Vd]p]JҮmZ2 kRp^@Wܲ'=jۊu5/A 6$q9@2"(=!U hH=9s:tK01NG^TOE1X9MDv:J'ڈ$v>i{i)kuOغDμOq EQs>yfH=vJ*v͘ &843d |m"nT-us54 BPHrE!TҼmUX$R)YVїr~ "ӕ̍RnuY'#z;$S>J_LQ>g#z`Z#,dÈkui[DU[9H%e!c4?b ~pl>Sqd-)*T#r6(/_LXNBRÓ&/gl-sH-ݢ8T[h;G,FdE9kأ/}Ndhָ6'~l@" ~+8Z4!YPßB,ZW#K%AU#]DQx7ۣn+~7QSTl% ?LO;PQ17'u_H (Y5v-muH 4Jo!'Ad+wm #cSRg7 bpo%k,u *0$u5$dKd}@.c|d]HHs+G`z~}.sU- Mn,s^h{&'^kzUSkb0 ܴfDAج5MG>z݄:fˌ3({T0АeM5L_M<mABc9l|EjIOIتOQca+]Α+"lv땹kBq `SP&Wx =?[(Abސ]A7bN&I8{pBZs @q8x7M<*OK3f:tA$33,Q zCaMgtk$ܡ%ۯtؠvAEGG9Mv$ru !ILP)j%OL02gr%I6Z^h 0ߔvɑ:ŸY~"Kr]QbGftY^9hޤD=7@FIyhXדnVyg}k  Zڳ=Tʛ913W.)p@f:'@ [1 e&?jmUf2LKMb5_ m崭ᇩf# HaG]:d?ވD~oV8I⽶yG^°jGJĎxBkW+cZBEG +\#`= q'oPX'ω}.gSeRu4/ۀ߮&nN ^wW$l-p]4g}4 %ԩkIaMeWp7iu|hh DG,qڃ 6MQ1]>2/^p]5ɚ)Sxr_*8Gܼ,WQXp47KЕ[#JM pJfEٺ҇'zD{MY͙C1 u,y64@ڦDEW1V].'fSRRTr]`:Hv1}P57AhR3^h 51p8;*΀Mpfj:8؊ܠG˴+(%Cl )B߱TT;`UFIOIea,yF;#š:v~uSX|JBɭ`e ㎫$}pG \w 8ƃ MfOOlڴfĬ(so,<4Q;Sez俅 +e_au l4gWt#aB؎U\k8OѪ^lv#,ݡF-^&C#ѬUrb~ytH(>Kj,dGCźеGS=<3h)/(dѠ~hpqjV~GMJ5<-kG&W'˺iҤÜ O!Zcѝ-1\[&X+ V1G=X=A *f ihNȃ1; $;&d})HA8nyHWG~&78@N %BXr7 ys_Վ̌LiM /oVO]ĽzT\k_| 8Φπe襽Sc֡"2PFLQ'FDs.Rq=]؉+[&PBi 0-x@\:EVU&.VrYtR}Ŧ\#7R-bCłvE+싐_V+aaS-JlMD p௞Y]j[ s捁+MoƆEoƀ˄M$cVb-s.$]NZ%Xa@ 3Osi m{su8Ժϯ6pAK[ Q67 SQdIʢQg\n^G."ī%!VcB3,+INwçugj֦buT[=`儉+GNI|CU:''e%V Fn2Tw]Pa d(&oNf9yh9ކ߂1Lz .N@"lE}U%71VJ_<ȝe GؗKBSw%$:7z6*,B롐G}3BeoK"bm)`h!FzcUqt9%]i-w2.F&iqH1Ty5 ? w'2qr  NT?ċ߶ko]=*/kVm˅Gm=2[޷ssߋ0Ѷ[a:"WHĂ +{GP۸i'-A E^YZ;U[au#|A4rL蒆q9=dH:1Oa9`$bE7"CP奷_fO ء?R(/ }a9onJgZ|>PUQj L zij/tV1`5#j,^ŪêL8.'+B=i!~# e VPˆOf=ʱCcSф^+] 2fè9 Ro-Oʈ`>(qR$U܄ո7-Ǔ9xi;~8~%g-;˯Q4GuoKJB7M13*1'b_[iv֪:g8II:1&.{6##Hh saBoOF +lݐFP½Jk])Z%J?+6j2U7d@ıgYZ DDM;1!ZIOAIOA.SimCorrectnessPIDE/files~~/src/HOL/HOLCF/IOA/SimCorrectness.thy/:1-IOAIOA.SimCorrectnessPIDE/document_id330-9 )# IOAIOA.CompoExecsPIDE/markup7zXZִF! *]ˠ)jk2p O6LP=͵gl5f&E'V#[LKd Gj%c_7xe:&;)6ї귞Bô"ǵ);CBECV8G^U|5y#d0/jLӛ93#bS׸7kp8wH$ YCT[;Utdk.9B)C}Dϒd*yLXUCPi !{zx[*S)4 'EnpN| _4a]j<*/n(+:US&8O3,XG԰0HLM*ZH7[1A[fOJl_b uZ7dlc ʁLOANzKF nVYbNҀ)#SDC~U^W!LaftAP F =J 4D-'j~{+t[.%nTUAphOh|nmbt%I _,OC|96T)o?BkBTy٘{^ Sw~=Z1z5_9b5e7%E9a j4rX`fvVE w,fm I֯^[~Q@.E3Tkvּ0L!`PrJZS.IҸL L(J ?_Zִm=1bW4HC3?VJE#Q-pۇ'F0 -L|G8WFT4 _OWs_hl1o%I-53;pѹ ~ųc᷊mņt:ߧ֩s4gov?xؗMO8S+R6i-Sm%,a"j2fEU JS/iήsKG&S+L?{<}\ '\(+i+ZzYL(5(2iN 륛7`jBhHeB-uk1G0W"ZKuZT,FQpHQT.5dG%r"_|uV=Cjk'K P>>vi## əf&c޷4$7FP~bG3->5tb'ȿFfNM05Ό8a@OFѬ4}A gBVu [;) .r~!mU}KՈ"aq5̔#XVΒɄʌ㖙6%0<3(q" r{hޡ1U3'EOM UrNM™Exh&-mSck ۜy8<1X%|CI"%yDz.NI.fǟ' [fpp`ýQf0= #h} [Vg hn 2_3M8]Ow2E*-*~1u\(k#'3UB AyFIDv:|2 bcs;\HV9;MmJۢM_XHlqVEܒ4xȐ$# "e4.q хؑbXF!]iܭ nqXff7D %AR<;,3)1ɪ E$gi# lob{ԁeƲ%3y5хp (X Xlxp aq@JK37 u{*f3_Q^+LZ⚥>"Y e4VHKB <2m[|TK^O $&:7jgh~;d7_E10PW8<$UǭlXbYë:wU%@qF9 5i! 6M4bH1Tbťdɘ]$Er0]I-+nm/[-hRx!`Aav<2Q%}w,ds#(%fI xb`O)Cΐ_:wWv8 Ld=4ó[l7Kb Qݨ`c90g(:k%cu#b\qDhz#!NZu0Le~ ܼ-^ p!$fኸd VA?[Mޥ 닝#,+=ꁔfNJIu% p ikb.rcxt[ 1ebze% \;̯1`Pf.IV+3-CؙI @2vA?~˟EpTn(>!A.B$\hi%_hkuաy+]i~ rY醉d%]']IN'&`2rL JdqOMD+roHp+` ^k%؏G.@E:w3)BnaiUS'"WM10?0~=^uF^tڽsq#e!^'{zw*WXHs܍[W=lő?A6戮.!qt@L(Du|L@5N?g/IC/m)aI Vř=`dN՚qL []` cgq&15Q92~Iw?/qNގf9,b{3d Ȭk|dsٟ-,'24(.Z[{Ph̻];ozٙT;Y7LZJ%]LWFiaD5'o׻4Ɂic%q/Ej;=' (Nϝ~?툙 (veU`~>HAfDTf# -J3Ui/ם_) uz  ^{8d=8TCxuܶ^PkAj֝BZ7ȣ/>Z5RT[ ɞph:7} xô.%j4+'Cy5,3/k OorSaI"z7>ph'{ZN OwnIPu=WI6r$X-ae э,q᫴|e_i'pS-}r ɲ,lp}51 \#CAuD`YOZUFj;쁞=/xd78qЋ7/D!~u~eZkj.J,mj O4~(yb= _X&x,J~aI /1Ζ$A"Hѐ>p dGT|[/85cD@`HT1Y2!H2\YSH!Ѻ1O47pHC|:As9t)_*!|FVz<0y:~+63frWRedZ4ȮDLԡreX;O% 'z){Pޟ06qgodq΍af~qyq+zD YSx3cvBTSxEu. &7y]!]ފv/Ɛ:,sdx赪ΉL/d3+k.=McZz{QpǩN6>qz1IB)25i,dmgaۊ6\V釤s󾱕_D 򛪌G6pKVЃw^cm>= _Hc{1_CB)ߋH4ö@Hæ̳頿/TAT/tƧjrW3šSE6 g zXxn/9k'ICGOl;0G̣w/"Tp8oKul0ѡ&V+jO X|_ӝnXCY'e,FT b$pE}/g 2m ҃}d:u.5XJ❌'N5:?npgS1HIEGcZ˻*FpP&Mۧ]'$j20=jRpcxs}s:k^E;2Q.N=kW`iWA"zJ y3b7;2΍#\c믆ਁ}H TMJ|x!C0PqıhN2g{-T[V4-`xI[H -.g:]~|:+U˷ y1/5%31m!Au͙TmC4!UE4X?1Ud,>LW~a ]}BW%K~:=%qj*Cd*B٧r{LDD:o|+kټ+\HV:Qnj!(f^݈H۽1]Ĺ }~PSQk=:Δ1Du:4\ 4Y`v5ogE~M]D3-kkg˴B;s~\G!j 3:1p,er i ^(.lwY]K\y7pk OHQ慏^fXipt֍ }u$aS!Ɠqa[t?S~_'|娮e8y-d3o xE"&m{YF5 ]R~diXkbwn7g~"ٓDve]+:tv&w-C,F| T:ԫj]|ÿLȽe$+lk:G`^P8EKtP C57Ԙ0)up/qgB;9Q#*D#gM=q! \H.;\ i|I@T0)9lLQ2_v9NryX&a[6zj.y Y6(R>ùcF3)MH&FԸʕ2n â}c갩7z-[ԽILxRB@"n>#E׳nWIV/1MM3Tqz*ԣ΁;kRlC(b}ϔA)C Rh:JUiKGWQIk͝5D #Nƀo.H_uVxW^/3,Qo,+Je4m ٪O,ln$]PMsh{GTpJ%_%9ObùA-g?εO=0L֔AA.[1ĐbHn ryAS4Vۃ#!@Rݜ2:ohnqhJ1CeOY7t^zEIuO_ycr(Z_Ӿ$)2MѪhڛ>A ԝ+/=/[$;K'ʄm@mw#lML$ :PBD`N4 hpG G iE$fn# {D_aAqyx9A]J]%b9kt"  u}]Fzb K>TCKsAvG|Yfbw/܊΋#$>FM9oO߄:aNLB- P-glL*t44Q|NTH+(Ryş`/F[)><%U#K g>jBAжx|{糚wY f7 +!_]C}Zy1ҟ2<34zF4 5jN5>F%Jq#ˀc[!)mjr+ewR`9$RwSlBg* hY&/\eFDQJ0q/䐙꼝ŭ=94SR_#`KDukmy񇏷8w)擬쥕!n;[f 1M!.nyZN|h#6/>&C`oRP]{珃,23%δ;8c-jμ3%ڐ$Q>="41PpX~L;0+:礋9Vp)A8JҫTZKG_iZ']`wMTj"MML*$XKh L=4UuA`lie6L2 .;;S m^&ޕ>1Imy~ښFFTۜ)/I÷ܚ K凉Oor!!s rm8&hOG!Nk\xĚ੓1YB`]ɀ㡀E'ˈHieXn,y%͝)ef"$Bv9xϬ:' O\"' ]uwwFeWP V}b2z6tZ :BcB>5vQ]-^wi|ax$Sn:MKQ$yA^*)i9B\,,)tLo,iK`'2C&6cWbT >'0ӷ=rP^LĄz|9pY4W<|{#['rzHkvTPʦpd]rU|ʈth@njI̱Xvn(™@;hSe7>[ ^vBS;$C`Xf@[( 'qp*^,*|C1{k2{H!4O ie^:1VF vjw;(2C5nƒˊ}BO;-ĒOS!X LX!4bVmyu(t7,\_hjH5~:E'ѽTƣihYh]$_޵@ұs+$G$ʫdHAV<}4@4< 'gkU{HQueJtR1X?;%q%ta97vKcA_g>`hz";CM(Um6Q?&$l|HHfaA#-|e&""d+wX2+R&p-7^>R:gYZ 2m29>!FIOAIOA.AsigPIDE/files~~/src/HOL/HOLCF/IOA/Asig.thy%=-IOAIOA.AsigPIDE/document_id306]< 1# tIOAIOA.SimCorrectnessPIDE/markup7zXZִF! .]ˠ)jk2p O6LP=͵gl5f&E'VDF E\f`X;Bm(B[uYJ ޾u`w 6`^#1ejYD=3x)ēzKG&񆠁nfI:HޫgԨ,_~taF@#JZ}U~䡮( V2^C/tOԐRr7CXw_ibtT*kQn݌Tx8>&vlzpf.PҀ^M (惽9J'Ohj+qT@ћmG#0W;g1e LxIbf?`) n̓k"SֹhGiq 8.X1RHvs92"fW)15 WE?e^n~gIM3<5v J2 W=KPq;'5% y$ĝqb+w{q2wk/S6qHg &jd{GE5Ozv`2GdGJB/#>{Aq?BAe:]+z )Hr8vI c40Y2ƮF`Q!h|k:Q(,r^1?+9_Ϩ"HtSrIݿ-nN9WGC),xQ)lj(КEB֙7Wɜ[[c=d?.)aԮ;ASZd.CQ8ҽXA)q{5}ؐQF6~Wn$f3 18گ*#ZSmKqXNo$B`XsД-r),@Xѿ;w 21w>iinIx*A)=Wytq~DSz*l~3@"a]yC-'WD6?Eԯ]XNW:67`Vbl3Ԑ:XZ̴WO"{%~k-B%zxwX +?X@HI߿Ս |/90cK֙¡Z Ψd0mѥWQ(xx\@#9(L5wgD6ktUu/n?i9J8FA]Ր`.*Z,SY58`d:K'죊Al}] :[R[C>`Gh(iۣC/q wyuyBFcxDASy@aqI)]:wP=`Ԩ*&QIvEu\/lEDcm4ݭsu kW#›XE$)v+ TK6^ŭ;֙˱pS*Ƈu85QuI$\OKKE{'[PI&H oȘUunjVn ;Q7x}X͕~ٙC ^ h_{|G*+Ku) `H DgQZ3H@ӴTZ%*Qb6 \F>^ASE(w%{ -F'Kݜ \K$4G((u86X =;Fwo@kp!-DxR1b|7a|on'<DŽ9ObֵT@CTw "/]+.cɭm=j:nvTZkJx 2Ml9j) S"v*`峅$:CM ˒V:`E,e K+~X^s,olaAnV8*_tA_n@/q=sW`p^[ nwGnd$Cq ֹT45“JD8b/Elb]4/A}*GGJ)jN9I;~E@yX U KoZvoWpv5*&l3rK_ΈNb i5YNUY}\eUZjuI`h?eCŃˍrW8g7(KhPJ,b\ δTg/ [0N (N" YDT{/*:95Um:*NѣVm}(9@MEqjG±+Pf8 yR{+? /V6#Ҭy,A['c9(ЧD%z$eЃX"[ =Qf M lH6UALl_>]8 [X}]$;U/̡ogq;f 2+#:|F=R䌥Qk49j!`jF DD?A#!LIOAIOA.LiveIOAPIDE/files~~/src/HOL/HOLCF/IOA/LiveIOA.thy(@#-IOAIOA.LiveIOAPIDE/document_id342N?# lIOAIOA.AsigPIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5f&E'V+u#aJ|1Xw7^eQuhYSjºDL&pp6FxiHt~čϢBO-Z*WʈX/ȻBFXʘ5ǞB:"${#GCZ0O@wN"3xNsT%EhQ*D`U9P(e} t__Ǜ8ag5)G+wȮ282ӏ|6Sh ߷qs?DJMA-9ܐ'_jhnj].֓x ˁ]]C(x:@ lտiVgʕ6gܽ ɂpt`]e2=gFd T 6ً>KUTwpJT_Ep{[߬ygZKm+`6|&`nЧE[WS>(@ bqB[Qs=.jv;r֭~$=𡫂;8ȣO#哷6݉-:DMaHEFO2 rq}IUb/]\@s|×2C\(~ޮ7O}-}/y՞T4Dz8ip)U-6 -%8;~+|{c0COM%yh qIi?/$_~4lBsj\\ԤUG_"tbXwŽBhO Z*?fyh} R 6CP>?5hVB$&JQ*BK]TK 'F'tOשh,#"~.g8/ )ju3cCȖ?H4vH l҆CHbOٗATfeO+wij4/1S+I4=|!M(5q:H |wbHBG2kds5VtD_٫8j)Tv+jדS烅t:%jiȔ\6Wڀdb`ڗ Y:ښ+)/_x'LN i <+G%2ۓS&rG4 1bVnY52ȘqQTrP.C Z-˭ǁۅgWdT[)oPW=*NWۯRE),ߗF#g5ZMoj.Bt΢|Zh% =d?|E cn*2= ׫-KsWfW? A$7S:Fo| ܷ-dٙfd2(ꞿ%6L|QDX{H$jD'ș٢_d}A D V Uf<ծRPPfly; IB4VXŮn|,Hbp;p)f|J)&lR jivdt 1[.t ;|KXWVq(+m$n)nXM'y˴fPi!~(hb˓|+|5EBdBFaj]}kBC%4 3,yvc8pw' =`-diK>us {K9{(1Dx~aE0+<18ު0Lۮ*i垟.AD| ߐ:(B@ȕa"0PȘp {ׁ'&cDMf{+S{Uh ^(~`j!=?>\s?+0> h6»bUTr ϡ*a K3 NfZ\McX`v։ٕx{qt[7vz4~@4k)'%IyggrqHճX? k=R?;bxP)qĮx\G {R"c$aQLv,[b"p1&3y>rA_ .v24U,mO1)4Nx8{ im8<rfE/,X] Q6>Yn!tsyH~u)[ KD5`ӒAIL2hѱbG[YAJ` ޭzdt3Rp;ܬСť-^.UQqwݦTWq:VϺ) 2"B+p] E+ 5±gYZ|趉Vw0gEq>$D[. j9WKF܂.Fd1e2L>~ 7G1< {g|".~>Z D\ _!qL) ^ S,Z VgG`Pz}G#Ĉ'E]U6\WkhH\}3~@ގZk%`2&MA>ԀV3)l=$"Qj٥NX>۠P#ѫv42ݣE0ː-uVyE^ =mTwCQKpdqXvKgSj~,AJpnjYYTr-Wcr5:++a7PdY(>Vmb~LlZÏʎp; kq_3&T;&z=P6ӵDZnNR ۅ>lAIV%AQH捨fd6QQsp:t{ o8r[ڟC|L|z,ʂZ%8k%==^YN]tw7tmuXC-"}.{"vڲ~a:})(a;SAJhdBՖZ On6@@/Q6=k{O6ZAjH3 kQUZsPQӁ$=3fXP/c%G'_iă1@G"U`vClSwdST@[jY_'@-o"\RJ9g+i:,}| Z^YJNmK">3fRptXWb c P)t%@d)p/3@'oL[<>V2# {/e60Y:'cTjr[~*=VB?㣤 2Ψv"}/9e|v`ݖeCWY_9b gsx nRQcl0~)nx1;.6_="񶚜wioE=jR~6[sɑuR Dn[>r*Dۊ# #.is+F'>L&:52\#Y1׳_@Lye}Na ޵WY Dٜʤ )l,k *kaٙ 3}ȕs{LDtZ_4m_`BR{T`4w܌xo6(^W'I[኶HP]X[{GexoF&"4%2G )LhP4̉xe64M[.lt_=TalY wYC]89qBH{xx(+6-X$!"D)JPwmvNvziؠ:Qg˾TH8r%0.5-!+0кC"$(ER}!TWPrM WhǿO'/-PC8ت Ҧ!rW]o;/}mhn.?n9WOu>>hnY+rvg6УٞÛ&-G¬> c!t(Fe44@U\IvC[P U$.!93q@ a=a_ %HU>y;4dqw%#voj]dn'e / Q;xwur`m ə$:㟟[8[JMԓVH7Mڣ`7޻3W-Se J)(A1xJoںXVWsMpcmd [^NR@>n幀#ẑnge4SM9[LBqYpR{컺žeF;׾/\Yހ=\@lË6nn{~PK!}Kv\J)]%x~Ǔ)gs/F`X!,Ku %c#`kr9wu ؐ ;€h@ B y%/) O TxCH]N~ɹvObu ; ;o%9UpVNW,J` NUj\Pz}B4 =gs&sʃX~ܯxԣ#H-!@ҤkAhg9 uu ԣ/S{bU9m uG=xK kKPklc!.h/N33Bop_> LW?ʔ:.S+xPwN߫JG9?挽*h9\-Hr]|E%PR>\EK>ʹO-jtwɓtF$=2 ;dn=FYc*EvI![zb=ZmKRK^eTV!:nDs,o82$|cf( $ՃBCA6iŜ"QzCӕ5 %@BZ v1D,,$dk˳DيTI`%a`y)aM&,9'E`ݪ!iQ5UJm4?1' ID9Ei\d6Y,4kAϙFx| R$o? PLDh<hp7ץ{6v9(dG<'j!ˠ> F,mT9g- Xf zZ#j{S~%jVK>hH[xݯ3@QDѰλ1'@MPm,P}.PcDT0Ǯiqyq\R4뾙F]5@w0Z޶"K Z*ėA tT]RPc=~|6(~Q"5IglYn^%wPe݂>Z#+xM:Y^968$J8nPSY0~k&P|O#{UOo%8jnΆ L;L{`hgTH`(Hq]vs"1x+Ÿ0@]Át[Kαr[x)|$Q'd;@e&ث-04[">? Xtq̎ fv *i+uV]s~l~BKᙖE:{D]%m1`0cL]g&LJ<`O16٥@-$+HAqvςi 7f%IhjcN *XәO(1BW!>̭RHvi_ϓ]2f0H+ҵHdfix$$/S(\KZP[K{~;0jUftW&vK˒cIvԫ o擫Svxl$K̼=82 eU= fh]Hl#d935qOpr.晥 mUNpS;h_Y(r3 yCֿՔ t7Mixg=ÊD*x1|As# )֍czw͓IGE#˻_.FΣsQ=钟>Qgh]8jbI7*ӭHwO|C-盗IXnf #N a!0h4OUO[W`_ŶW^ۜDaP"tr^ؑɩWiH7 Q,^nؗyӬAW_ - S;%=*KrҬ0I`U0\#זȰ31lސwœ𖂁l,pdD/FAot}PL2Jlg/-%K &$1 d҉k& C-$~DBY]] wrc+cAQF͓heDP@ XϾթ7 >0D~rք]'_gwc 8X(쟆rVSNA9SOiyI2ndT8Z+a$\.5 a@bߨ)vǖiCYG\šiRv50!(WthQ9U ǹ`@n 4< 1d*"G_z=ԯUq4]ߑcpTrRLhC9?(P H k ywӁioFZMySu^QASr,kTW[suqoGM`Ř> $#zT2į"-a_D*"ރ Q./Qraj//#(wߛCx1a^?D L,ОviH ma%%4j” &B w()D܅&xqn6HKG.Zk%А\a(cY/?ۧg_QLIFmHDq"[VDy~ PDA||TNWHޛ,o;~ډ˝N, O8)4[aɤ( ~l>ᜀ sWG s/=E8HvFibfDP? \kA'n[.bd` )WD&>yG \͌k V9Yr T>aBnq̣ 玐 )!6%ZJ~zW=Y/[pH\KU>E-Ճ9a\gt Q `a .3K:>TW0M9|e)W5b!kKܧ tgz5Tf"Xqۊ uRcNfk+؀@8c4TAAUR+^LC` AJ+S1̓qIiR$8X[Z:dƺ0@.FѬ+/ R tVfPbTyR{6&U/y\0VeߢmէMP暿ZA/tzNڑ_۵|K" }i%>mZĺ$۷HaۯDhQ]ՕWn@xcn.j"-NjI|% B(tpʫ8om2iƿ/~Wö ɿu۪4|d 2h1&~?/qYeC@%ݻzg[țuAxlyBl4Zy?/r]{1k!#gi8WU Sԓ3kPp^[Oi}T^Ac;&9ڧ!z;>SjШLMDSg> .(ȑmc<(mƊ=;gqM]oٳ)*U'TXf#m?ˆ}zG%G;AL}~=ٚhOk<%Kd9$`øF㎂Bp&M[; Ղ2eleF?::I׍F.P~ @obO6D'ؙR{bf/<LtX ]7f8u&Wփ=}k57>٩q[G:fFjR?XU+d/5 \ r^1z.}&s;pH pH\?Kݴق /ăztN!TMy9R@tu ՞{w~J^n GS~n͑Z[X[N<R 3,jXY5M4 ALERۡT؟0"V+Ew0Gne п"^GÐ%.QKXRDrnd4q`u% ICgfs ډTCRn҂۸4g~w8!H2Ey˫dckAX>E $TJKO1qbo+i_2Uˇ=N _:բ$Lo% r:P?3\StrX|1\ACǞ.Z%{͝K`ރsr^4]8#8LW  OUD<ӆ !]f71@utVyp86\(= wɈ]3fqHD[Gm{e!џ-7>M)?\; Wu^ \UP]t4U o]_y4 = )pjQ%9\́\{AH׊=fGg"$)f ZX,lȤ95]w0PpK$eej_D +WQrM]岹8)+3@gB@XTgC*M]CY Te:p)hUN(C~֞EWt#C1^v9Wmń]A{"p`U *yK*{QU T[#']p7vVM&0C9g9S [L|TH Ú:}XE%E5et}v=QV)byGfb i4kyW~<}r "ݰahPR]IauT`MV^mu/0H6OE^c\O+u_> jD8Jw.ms$O>g:^bD|3{@wy|' HˡWNM\ҸOC͌ ?i!׉@}ƒ%q. ]jpeQ9`]grTS9CKTjXcAI1gsI%xڥ<Œ BS˘7// kd\ 4+{0 VHd3Þ5@}tdG S 'o^;U;#^Z8!Vtb|* 6 3hDsǼp}N$hG*Zc!{q:)sɏ6ȻMGP#5 *DGr'ib>qK#佞I"\Lӓ[lN3&~v|qYp(u*]ƚ=Fm#Bbdb+![$/ȒTB Kϒ̌ot+NwNkƨ6%`O@nDk\=u\i B*x#^u[)wwCA.>e(sK冋{*ejDz_F"[znV'l|8VR )Q)_;hV <Ԋ;\(U3zն>gSzc۟g.j-!ɚx( "85aDj mj쌜`6\c5tMu4"6VWv"N*p5GgYI#\Xyj+\U6Z%15ix"sAd@xJ ӘdګZ37q* ړ9fީy+B;|:9׏Fn0UfqqmM{lߟG!_МMWr|(| 1@F-'!"L,΢I1V X#AP&30= cPHE %6 '߇<$X'l,79rYA@ř!Q{W&36#v]F/Cr졕[M/˝ՓEy\|MI>X^i 𵵸^\rQ"{â> w6uX$<K}*N,X\ [~8k*(ڂojfTN5ww{/KOۥл2qsF<$f텔ZDsUEkʨAMLV="@57}:~#qD(up 6Q aew\E N]'d_9Kd\UO?,3Mna!U/ ,w'WQ<]pL &Vv3,Q&pȆմ^'Z ł"_Z.p7?ECN22Y2D^~gŋuI CGͭzS9^ AN (gc@Z<*e:wMtΦ>\R@G}br|F YaOy}twFU[~>a˄YH^ؿ=Z2-=x(j0R>SȜM jDRO\#2':'63[$ tcy\ ez8 z"IO7]`ҳD,_%`!n7s+q8I)qy1#E& Wl;~L?R gÚѕAV}C/ɠCҤԳ^d֦p0J{ti{OjXMS|PԌ|8ߡ!+#s~1Zuy |Ǝ7U@bw5Kvb8ș5 P*q㓲Qb$s~-T)LIZ.Ɍm11S\doz@X<_=*$-YvA )7\qh!J1j}W19\G1VǘX;UÊ:hWJ_9%< ,]wku;7eę*_\J,3WZazTFCjт:gBtGGA:T5gWܞ].,Cv?ܒB.Ԃt+LPnOp~upY"QRXRBH,7;(qA*FΑJ3F] 3oB>bO,,[/[H\Ou5~|>'/~6tme/sjt EЙ㯪a?6v!1,iKȟO$ge"P{,Р#a ,#W*9SK I-zN⹗9_tf-ʶp$nPujOSl{w$5YMOb&Bh]nBp Fy%~'qb) ɞc1a*BdKj25kZ'x<_d팾} -W*s>Պ-F!9^ՍߓQƳdeuHo@-!*<sGRmhmPXɨA=00M/=ArI)o>'1LYjYn N@QBr#6୸ *BKɾ({{ ՐCr$_ѭk2N =]X15ܐ![β)ْzWm~pSl տ[`uU .0tj^)ŒKӃBGOK>b^)!Vwo7~`QTeZb jLAAߡ-}@nTKö}rq}꒟\-wUkڙhZ1kx!T>Jd18Ea3n@Z.kց s>G|SWczq5^Ф5I''n5ppEy@]{ܗ泅aE5w=ʫ/=q,I(꼧f3m)C(CFxU5p=JZgų?z9T܏'P҉nW\Qr@<@ *g4ucݯ"xҚ %&X͊o7=VKIb0?h\Cl[ˍj֯z@N@LEנXQr/DJ(#$nhDsn*}/;+z f o!%wOdhq{&ڕ1C-(02,MCVeID퉗WNsUmW }h)\C7cj`_qI勳X836WQ|91HDYi}E{`@2svC'ppa^>Y06ErG\Q[L*,9^^\% +I_1Qȳ6QzиVפu:ߞcutuzF^w! JF잋/ z5ձBrA> As=DLU& _ b ׉ ',3gP?y@~(!ӳip)}# l6:1<;*Hh"}em~|Rʼ w攍 Ra^m/B> +'!̛p?iҖ.6lfybƍS@h@*x06 qPԿK(cX> Q]Ru$ޭ"Z')乫[z+{ǘ~L(aSv°E@7- `21dk{"3` X*!!zy55o9˰9v=H`-_RUN˿a)?c|#mRCbvsRT @mYC}ąJWBLX>\zW:f\n38f/>fJ)$%>\n]UL-hSL[iTZD_mFv傏6`7$y Z%VN^_n٤HV;So1^+G^Кw,$['AefO/yz)##w!9C1&&Wk-DV QDg"jRKWd4.Xd^]W.0Ug~FȎu-i/  {ۙ"1% /@c`- Ky(yyp~F)/^Qؤ5 mrĭ }G/m/bXIME#&a^[#St]bHӃ̛ga(rM. Rd);օ%YFQ_8b/bGbQm?mE[VPYm҇I]oP'"Ra3ʹg.oqsFKPL͆6}*9?~ x̳9fJk3o}:X)0uG K >j!+0TxNϊQ@&(`B`jaVQNnO|Qҋ+X}|^; x 'oz-Z'kUQzHo.g<\jL }fE*hMW7&UD[lcT-n"Okr>h`Ac=vgٴV '[҆gSjx`pwI=yK[o07g\ƧggW Shiy^UF5ၿR* C/CDgl1N@#F!Dd:V}pȢ%nMQF~Nf~+gVnijI-f yD9XHdLKy05t%+tL΂{EjE\1NT"cEg" Y*>Rl5a) jP];`Ly0R#y*>܏,kk~?DA,!@cLqxkETYoV429c5DKW t#1pxJ0 UxC qte_$R;' 4?Th2s$GT'02T e?PcNO?' !Ơ9좒A:Ҿ?c -BXWTr^]>DDHH3sbBs[W5Qzc+|K;%|[W$VmX#&č{ri18pAH[Ж^D;LÁrG7d@yCaRԅ/7#3yNHx ĂO61q9Ƈv}iG5(^q :97`\/{ HUrx֓/Cuě5/Ѿk\:n]SXlzns*'Ӛ(2-(Bޏ/4!+9J ed0b^s&A`'PEz8L [I{\|z`vjhBb`SZ2u֧Il{?{>6^6-9/,쫝C4w _B.`Gwv~[OKJzz B t吂9SF`,[AJRƏqC"cfE_Iq4kOcW_#d.<"߅2 AO0r<^P[*pxo>ʐst%oNgya(9.AFAjZ'x29WtÙ^&:5P͑vֽKWd9&"bPBB_~Y3)TN25Cu)bRgNt!Fj+=._"it $V3Mp)E%4xU&DqӹZW,b ]k7TTwxHX° )R␕o`CHZȟ@Ọ,9L} $͉ci7PR~a|,t3OQJ WhU`\ӓ?#;Bgt5Bܒ'ۂ}3 _06{%},#(kCbCؘ2`, dХqUC fd d!hy$_1))%5uwz#!۪Hz@N8LǔFi4oGd}!uiöMf4ތ94‡K @ڏa/ԹSӷEKyu-wݫt/Ew7?%w7#vc5(էȜT {Fc2r% dr=xp!oBe$±Wq*?Y[Tz_Oy=zk.m r$\eHh C-2hičK5!2BnZ>ᤙy__CYlM7 nV)Fd!s{#b])Ssٓh{WxD(i]O]32hRWVez 1hdYUAyp$F{f3qk悪x 7U"zcPJlS%䟿yZwxE+]4̀]iޱzMrJJA~cqs Jަ"AR.1e̎w%z6(p]QYY!lj`Y<99T0pX1C_e)LYz970 sQ|Ͼض`˰57xהvң"#Y@$/J.cYK*W43Ei~=*|,ib h@B mzfdwT# y)jnw =+#F[Zj!VO#R(V[(qٞxrL/ u־Klǧ8H 9k9d[Uu@?!;^LkhAA88l,bi0{7 ?HS9%ػg{؆BwkԂ)ͫG&ZY,~FEcfHyO&ilUJ 5Fo|Ɛ J$ bdF"6ُЋ=:5%K(mY B,}Skw?f@Ea Z <ft*Ob͏~h$Sj7xpk)Ћ $koQ΍HsZ.cP>#8!'wxg؀I_]$$a?_b7͖&xȒʞ d}NSdnϊrԗLnңG7{|ŁDŽ".UJV "l`!O5}حP $?rVRQ >-8R7 @Tj,dOQRw\sb3i[?ڝLaBiCc.#$"?zNYP!ܜ-E0tE'|6ǻMV/Ap7fۻaƳ'4̓JrUمrSƬALN2)]4;7; 9cQ;S2>?L8Luۈ R \ ixNs4i]4v%z*rcZ{5jޛlY6\*5cq-''[y 邕ex c..|Hyw>/q4rK*uBfj"ӐlP0b=l<{"?F2]"u[lb3wa/ Kn1Q߭pJd.Фm\"a>خrc˥kF80]<#sJC_n+ெ[^ Ͻω !6 fl 3<0 1ǔ$/6sbd_M]+-P|Y4. UEןVtd_Zڜ-i\AҡP9s*[װ,XѿgO:D]÷޳,Q4 / aQ܄A.f%C0* 5-^ubRY(Hpti_ԤQI]cU|k?*i`8^{w",Ua66`qIX[ pmx/ݫg2f10톸Dd续dJ;0YZ CE %# LIOAIOA.AutomataPIDE/markup7zXZִF! Ia]ˠ)jk2p O6LP=͵gl5f&E'V-Zk$²wx*VlPw\`q~! o6t:JCgfHȯv<-SFI!pZ\u*mVzw]@{SrE7Sslb'vYdB8GTINBb?=t%@jH"ג.k&70>(T\ԶNi"gI?smlV޶joTQ?|=G $4|MR X: )α`ה,o;觼%z [!_꧔BR>EoP$sn;R"7zxf#aCa|ZgŲ`ZR sZzqu+ {kרxqIʂiK7,FL< \mutԳȲH_q0;!𺡤/lж~ku2͔ l !VT~޽ޟnU]}٥o(`X#ۦ9P{9<;|%,tꆳ栛5- RИ ϸ ukE9oMR41#Ǜ\q7ney8:{_RmqaE'H~M~a Fok!;cri/q R dnљ;G%#``C:bJk_|2l.  y7k"~CeY BZJ:KɯP">ZE S+ Ti=\V~)M@/p?D 0Xc}(βzon5?~6,A2H:FHOHL{̔44˝(`ȉDnB{_eøSڷJ~/ChCa RI?ZK%l+ 8]W3q9lz !*x+ݣdq8ac)a_Qa|v5+3$SRa:y>בŅV4X)W*ve_;=!m{ƥ^)9yfN@)ˤYHfS~EhD鉌GUڝiyM]=vio_n8En" D@x`S[fmLylطm4=@d Y$Zpģ7B<)x IԱ"jQ IB/{ͤӅ8,8:wP'6  ov`LR!#{?eV#t<3J|Yɾ'9 F/^(&_4Z;`ٲ7ehBCw΢T İb̘vNct9$ߐj!_u1yC5a>{,8؛:aœ]; 8rBL l6DiƟPU JkلYJ<ەV20aȵg0a+X{O%qƦp_If^@p8Lu#qRof@fIcOE :֤-ybM Ŋm.K(Fq6XB<5>m`\^vCn2K9-Aщcg\G.2'XzM@)F ǽT8mvi ,-sВhU0NFRrh]|zl @bIyp^OnnELėӮ xiPL ,DzczP*{%=Bnz99ډ)? W0v iw]a'Lҥ1<@ tZ.M8fgyUݧkݗoZܸg{ES||LVzB}xq9Uc؏ e`ōD`upr/6tu,[mWYх"))I fG'S[/׃kIR!T`ϮR Jd?խ~3H{  ĭVׁmB(2WƔrGwqzMs ܭTЅ們XˮF\nwLN'v?a?mL2<SozU'/oN[֊mV݂ QB%w<.] uYۻyXz{TdUz(A^D Ys!Yvt95EQ1h!]ƺ#IΜ/t  %6g-ST@l m |C 5#FM*&Ϡp?Z"D~>NsIJ&M "*viC5B$@q$*8±h#6l7 Z}?IWY HA5ut1^g |Vcɢ>as, Ty)}Nws$yT+ay2qKClڗ ݙ1; wL7m`|Jj\gyDpaxK;A} L{N/ -~' e^^ns.Q.O_q}> LWNs-?1@SPL ){B _*r)GO+!TIOAIOA.CompoSchedsPIDE/files~~/src/HOL/HOLCF/IOA/CompoScheds.thy,N+-IOAIOA.CompoSchedsPIDE/document_id326M' \IOAIOA.SeqPIDE/messages7zXZִF! %]·Iq n[:|&[z)F(@QiYxo!xveg3O@3C4 k3GT26U5rXiGdI>G(E{DklEE'`㥧,>wr@:xr!'~40ŧ s.d[΀iה PLgYZ&L # IOAIOA.SeqPIDE/markup7zXZִF! Z &]ˠ)jk2p O6LP=͵gl5f&E'VD@ܿxutD.SzF=M ,dBۘ8"BK-4BzxP$ SqW`K.^AK>N tb)&Pkt?(7\+yEUgWm.o΍.wcĄex!@AW/d`-W4?$|dfr]ILA3]BVOzB~ޣEUqI t`jMr~wۃU-1jKk"h5BW&Q)RL[$Y$(ϯBJ{QFhA;B!O ޸ieI9O6(ji1Q{!t@A?pZ+I'itTAp6X Cs5p ɱ(sOج2̏RUY#V=Sצxsn޸G2A݊zvCEWlꥺֈ˓ RΆ rcѫ=Fs߾ꐁPib֡^X--_$:^ ުOpw͍ nDTSrif௖LAN_xq/*f/_6+)2MK M;1ol{,> ?#pTryJFMC`SrmAjc' Qc%oW@nT^2CL'=" \(m.gDc?"P6)](KX#b`z&SGڶÐG7ş $3u?JeK hVA:pv; J.a@۠m@{HKx*ZBw6qpA]>JjX(SQ ͗)_WȧX¶ hckJ1.22Ȯ.NuRE`pOr*PpĐ#F%ڷџjJn^jZjG(CQ $m7?G-PY~ U-28 s:2?_AsJy Y؁bA[tvO "LK [=u@+3 >B IPdpC &-ny3Ud9(]wFY/ݼ[lm-a^[(f%װTN _zx^;6 %.gYZ7H!DIOAIOA.IOAPIDE/files~~/src/HOL/HOLCF/IOA/IOA.thy$G-IOAIOA.IOAPIDE/document_id338\F%' |IOAIOA.AutomataPIDE/messages7zXZִF! ]·Iq n[:|&[z#lZb7tsc\gjoi*&h4,O'Gڬqa^Al3}5? ȳ!qs_I W 7D3#ؿY%\}{$J?[ E;hMCyVyl$.ehm*x8{O0 ْÜ&OgCU|YD*t7[@ WsqhӶ+ɻإT#GK6$j5lZgu _Mad*C{S(-jAt(&e.p,O!а!eqM[y /`Wb3>9~ja357sxvA"dR}I~Y F[h1 3nH /6i3dzypKfhMI@P͒.ȍXEBit0},礣~Һ VρUefUHƣ(e3"4[ C{ˊ"ѰS\Ʌ>?Q`^VU`w! ֺ :bC6yaPn)N?ű.z9$08&,UhJ-{Ԉj2~>.5`+ Y;ҕP~O iԂK< ^l>2`ƶ$W}3*!,>>Cz=R zZesYa9ieEe2.TJя2VE@Y[]Ѭ6tPL2E&%\iC))싙(>5gܠxI1m!A|}Ti}#\_Јh0`8,4.گ0yl_74 K[FT{ai(#zzcuC!z?^J ~Q! y"+G2R& 47{I9F=k~z*PL: NFA|hļ/ڏՐL/@1S ȖSTk[zOF pWSܤl½t9Ĕ! ';t|7̩m7RB9_%t$7ʮco`J-`:TcNWJ,}j1T1J?lc PS31P:hZ2V2WRQ}uq !1O61G@3\0ɶrQKPU3L@6٭s요iz+h(n%"L l3}-zӱ>ȓ #hY_oAd%rCYbch1Kt.ķ%g;)i/ 1:y]vcΚv =v[2屁7`֎hW0(;#?2"  S#U'ZkU3K 1j.1COm1˹m\4}A!TMXÌ Kb,>Rк ;ɱ2d td{*Q;[ LR/M(/jR)0wyo.n(S3ul*A1w_!/tXƃ Y@ŵ 60@74UEu MoِȔJ-E\đ2fX1"5fl9AZڔʞ3[YO UMc,sYZ- _&푆]T)E> 5;΂: 74G) WJYYRZdv`f[EId托GL&.ԇN]5 &'sf -Rldq x凗ţKk|f76vt149"uȡcqHC)~5>hrĐS~J =_~Jo617:=Fty|R-H Pp U Fxf:T$?cB(q4mf6aarS򛏩Le4l]gg~zp)mp׌E:9VFP‹yozcZʚd.ᅓVd> yLjv+m-)ģdY4Ta LNk>3+G/C\ 8o`iO!gl3m٦!!w|=d,}d+zvm~ f o] L "ZΏ۶p泛c /"]F lE XJ w4?rJ?Kp\Ti'Pf I& ٫^sArfkTHհLfnIe}$CzTZX5Hb&ph;;VTR΋L0;V|()`ĢR8S$̚/{gRMTQ߿N7.YpjW'`- ٕ@ {E.|j@o?!@IKϝEZd p FM w  ,S4'3zඃAaw4ޠq]SVi8Cɻѵ=x7QR枱ez$Y]O,yr$4>ټQ?W I?ܿ50Ő (n*eJ }pn$[8X ! 5&ycꚼɖ@bR!@4#4U4;ʴ'ii rc$B|C ~*ZO? .hR=>م-t0tHa2'0E0!lmG5lk[ڋjyx{} "1&H3ϐK:,{51(k뱳i(+eSzD} ׏^$Bў@7pƦ苹扱2TE| 34gQ-Q,S6Ң1 IR]=Ď8E` {rbo9a.*u귔P8|hG-ߝ Wc*&X G 2 }B|q=:///֩Ik>хf2'nza>1Xj^c=gG nV)ڶ{sP(#ق7^PT {E?x`ao 8Bة)3&g@8APhwb87!Kc"+.@2y7snʹJ:-X_F^^BjPCo3(2hq2cfW|.wk "g9Fkao:1˚96Ԁe `k h#aNRJ,\k5N= f󇑙A$kj߯P*!< Rk]qޣ#qq&&[Ê@} CCyՑh!y:ZR1_ R]ԈDNB'ɧ_;\ |L`/&OaHaV$Xq|쫫RX1,0ʩĒaz:2A`R5fj3=jo诮`W.7w@Rb@8wE-yXQb>wI4˛,[n P @OWzcf E fdQL|d(9N:?hݼ$WVL1? 1/ #Y4Cn :TX/rϱwUAl'cG;s)?Rҗ&S5OtpcAn(Ui&*g:<\k 3{B*έO&-6|Fu.e+E=׫K'mAy 1- ʠ`=Bo۠b$mhᲽ+j^ NqBOD6l6}{Z=`{,nŤ'ufsN9DD2ߖNB [S9%#* / gWFW>ڛ5[TWWcJAWK26vd`[RDP=g; 0-{rU(]2 7?!٘toUOva*Xi8,LpFq^rTEm&+'[8u\0jH4aysؚrLCѭBEīx75Iǐi7 rK9@ʋS{wA'2$!e %Jn5ofq}7uJ۞IeJY"qxЊȤ7f9)y $9@aVɃRڂ/×.h:\ ~o>2 \Ќ?xB C|s}4vumε"VBTgkE?G묔;U>*2vdFs M{ESxV8/@u$ZIMdkBs~&zWb">2h|[%BA)AmnO%2ɉ_;a\꤫?"{ɟC#;; Y8]oZy a1Ȫ6SQږa\ILrqsW6Be/6գ '8lx*"^ii;yorٱJ"UVm}'$G/ 6*m)y05wŠbt;vt&{*Rbʺ}%N~FT,rs,zOn6t{)ƺ/1/lw 2"El϶WOӠ+݇  b e*8F II *nT>oݗ&O$_f[I%cX, {^V!>]{ZG9+^}9kdr"!5B5niAcmhSMl&-a(p xbjb$~R8-m2Z=7@CѲo >u1 c Ǹ!2b񩭢 dDk?+ !?4scQ9<%ߣB\x#` =h簄J$B>|#<ދ_ יwg:&K2]︪]1{oXCtzt2!nj3 y{k2(H;Lϲms?)Tm@&_`і:H<Os.`'5٘Dv믇F, s%sQUzjٱ$2">ˠslR5 偂+a 3GG#y?6"35h>xTiDH׫CsD]'UlltQom ŘMnUOiEXqPBO ܻ?hQZzI!GG4'I< d)J}чuR iA/.Y-J*PsY<U OZ΍HΑi =^|MIMsby&Q.Hj񶜓gSbX1JJW," xB*Ϝ!k!,ԘR hWsۍV0 s@+X.,AzfH3AQQz|_O${ɇ+ﮑMDuV Y&iCf,VөS ,,p!\C4cُԥq #VU )Ci]z7NlUB$ͷљ-Kf/`@#qHT)*zӍ>/m 4o],d/fnnl)39=n(ZϹpdkYЂkctzt.Ja0RW#Ec+*Wjz AʓiWʃGGԔ[oXsD9su/ՖQm2]e ^UN&NI.%?{F޲J\VpG~VJwL25uq|b_6ϸC&FmD*'sx()]V EKAgne aԦZS36z4.x [f[=5G A}DE|o Y_"[m֐ڜV`@Fv):>/BeZ^ Ƈq94% @DN\ntdsWyo7 .L n X} jVAg>K5 4Rɡt /g)/ xN1dW)f Kz\AuwkU:sg۠{q)lT\p/F ((~I`y1y# pخFbߟV~ܡ9kKO5+[CK;tsǚjV7Jr=_P-=okd Skh?p10:-)ywߕ`-ᵚc zJ MN0?גjÞ6``t_?jUC>.)-fýK4ߩXpsjCJZ`:oW ">̩Ç~CEx3x oW[S0 jnd.J%7*'n01JjY2kF" x(8sf$dُӣ4 L~ddoy Qsq%)PsWY`{^ռ1v<0<3czy1 U˟ӤPw+3 j}F4׼*bۛj܁A\O2:ZX7LkXo!xB ~]J, )XoCkMe+c)5gƿA<JUN 򆚖U1⯭7'$ x Ӧó<ҫ`>tZ z kK_v*z_aKoGc)d? YP%lr5`FX}"D _4{E'>HE ʃ8xP ?C|&9H))3C]ʺ9j,? lVĔMF>4g.[FHp{&LzH |eMQ΍e`@e>֥o`Փ}5 "e^A JEزZ'ZQl?f! GqTg~8ߠe=C_[#R??W"BḊ= )*UaQucSue}8t40D6]p GNQ'V$01ɷn}o^n;v|j_&44Nw>@lX`iV'(IV ?p&O/fmr]!~.^jr)9#2?">i$! pIxC.na%.~DS%L3@-F^q%48ӝC4g-#o6RRռ"iw*0n\2Yd3a2D1z4Q ƥb)Jsb{+ cK{4mӊt ~mzES?{\C1>FوSحnw=1[W{n:O@Ԯq;41:a$"tbͩu٩IP0*Swi=&r,`'&ө֯'94W&`9{:M$6G?x-00;5bd>]$wzT 3BII'q-qSÇbn.-WtHTXݒXy4N;l2#H[B+z|r:]\TnI<;gߘ_9? lJC*f9z^jh#PN8qfY ظ~y3t+vUI~a@풷op8i5TV~UNNTM$piNu.n+ʼnЖKi$O9?kԄ`W`-Ty!O_RSGam[@i$(򑝔x|{tnh[3J=]{UNcyYpPs‰CkU-(,QrV=v'=lU x>+;\Cϩ##s,T9"ɩ^~UBΙwS=1l?t²\K覀VYZ=lD=#| y2kLMN.ނ|x֌b : Ga4ZK nk &^_M:&|-Z<4@MNoNW]~#yRp/y-H"!`CF%\ sH/mr$#L*$g-hncTƑ+l?ç[4em>q#Zp"G*' \< K{b><@ռ{!_cʺ\T#2Q#f8'EF@- ;7EfzqQFPvY|dSE=#iv4`Ax="cH>/I+TMSek'b>S2LCM>c0@Vi)NlN!oWa;[ƛmRΖ{T42y+EP6()/1EK)ը'r]gäĹv0y]LWѲ QI/l' !c"ĴWGҔ.;M>sX˧->Zc3$RТߵ\ܐ&4nFKIV ބ[bЌ3 Sa\8rxZGzvR Ԥg}4D]~D__E-^홝0F~)`›d| e N%Z%V^c9M\O߹Lw*'3q ^j-&LmZ 2Q#:=^Guˬ,ۛ1tmQhh`B çn9GKfBZgCǍa 99ÂO~z"`.x=0uud)Ȏ m-%[5FV=u9M@%hESm`f7e?PucǺJWCz:'#%wz.٥@Sf`RaP I@&;sץħ+Ozph6xIѷRRV@&q1׼d&2H8F8Woqkg[|}E2p!Vw.2Mo"C$_^Mr9]ɐ;Yᆭ1ZqjKD?82lWgq&=2LVHE'-'! <|1!)@WNr*JA3_74SyQZ<z(2} pUZ`90 T$2Q;\k^SQ<:^38kQ.%c,`X ACSNk "?l4g1PoʟB7'7GDVY0ع^3Nk_X/7oZ9K0 ԃµ f}^ O>H"A $ m[׳24SUSg8dN_u:.r {ːAN NgK&"эu&>TlAQ?[ӔINչ=w{v'!s'Ef!Ƣ,]BgSb"Hj=Dwɏg LMqUk]Yg pXp?3y29VW:{1_YXQeFz2$:#xɞԩiPF|z*dIE Ι6>v5"Y8[G~M2H$5Mo&"ny9Kt[6}Zɓ9 @Ԋ7abV8w,%CXp43i7bݲ= [(jIFFk;[ex`{4/x6V =ɮZ?o&I̛9Qfe₆>4fHDY39S"۽j'$?nBsb݄^_6'Uʺ/ J NT@El\gBFu< jL~̈́+`q6VzDŽ/Ȧ|U}G*S4& M 6+"/B^POZ ؕtk\ puSpDWKq<.F?1e< GRʬU@װV:FB 5`muG P3/zۄ78Β$Wa3KbhFmuXANo""9N<[xd?f ̎`noŷ`^f 7B^j.ӧPBkݙjxcʬNYd%xL6phH,擹WބqP3!NA"6@ -}Pm#pQn5X!<@P/ϒlТB] q)iw$ cdIrzODe?ȜgL'"xIx^ kJg WpฉoVZb6EдM˱Ê4vX$OTKDS =>g땩;x  ̰PcO:YAH[կEORIOg+1&6FilhtR>d 'aUO&t ۞̊vש6i~gӾR[β\r2玴BƟCl+gxCBjf{3<=tZyA sj}ނ/!=U[,vQs^/Um+5OE(ri èW0A#$u;-X*hڒwq7TUS5:8R0GhW$*$L?e|J{@ƻS:Ò% .iS^Na2t /ԷSc)wc+b ,;;$H廃@6Y .ꎺkMlm "堣%UuAknj;zi'rSbqwHQ/"bw3t"mf;]coěeEHyp]w2Tׯ#{2Dm|Uuh0II2ӎg!L4b RqDLq`$ {44CY.h?!] jo_h $q k_ ?p=vk̕7&_ }Bb $t++Vm%JV .D'`:#{bڧTF j?Q`T"'ȡtț-G%uࣈjV*}`y)v^~.<21|9f}AOTmC EMz-&]]+;DU,R"N_s OXʹOw>~]㿸&ԏاKm(.A,2(%f1Y17|"\`JT(m|(;:^p?ZZ }c:l4Q_%dc"އTnؖ^VV6LZ>P-3N˵܉}hBtɼd{^\$i ٿPD@x\|H ayuH>0y*=1Bކ-=Ō1ywZ) +,gt[ZA@%#_t)'COT}<*lA%ЛI :5Lf"#dɲ;u;RY5V@~}~P8*R.ryƹؗeRޘUgۣӴ=¥UЦ&4d>L5A瑝#{py.LuMD>P#n6SzZױ >exX 1bǎc}Vo7gY>vIK5Eډh nAG]}[.KrFuϔzD|n=,U~%O)';% @@M%P.q/Άoɍ||%fhM+\"}~+ 9x pM?/&1JL{A"ذ TwA4 ISM$Bɟ~ճ&8C}3:,mL- qji:(qI$| N_AWb5~IЊ&$ h@*L 7YðyO{{#EMp?ęb775ɨA[Xmq&`vQ+k:F g#g`\NX ]yjv֐.?^S>EQ-**d7%nի3ÇW""jفֆ I}hAOPX]ami‹E޻5~Jb($O)ʸ [iijG!! C؁pb8vcy..i- ݂ٯ;v%\5C(2+݆Dw ((f4| 'X/C_?a*dpv|#YMun OSJoC߫{GP]ju2;S\HڐBXdFm=_07FCjlr[WpνTsRqLk1h1 -)z~(2:OƸXhYZHdJZ^m*ovƆ 1’Mt4 ]/GØZ1 2RGx\"Z5B橮\m۱Hwwrc!.kD$~{bǀ,`NXl(QjǂXB~ғ^CY` if"dCJyWb*#ɼrE>\`\N}"՝b\|I#o X!/JGd 1◝tKWBR?j: 5D4kçSL/_dw!eaz]pֽկs/kJFt _X܅7V>.#i$mU8#ȯ}!NM1 ,J ă9e5[N7tP:=3 QqrhyB)[I^ ~-kc+_Gl#g:`m ^N8` 6A}N'P;bM\pfX2;6(gap; &KJ~]DO*#H$S6/V#XaT"Co&^R ."Տ8mnJAP3RO>T큘r{g.(b=V@o66C5p15jyQ?$ eA;?u{cIP ||۷~O#rY :`sIEr B oJ`t{=ab4z E ;n;oC @5}pGnS5:,k1˨$+<*Ӝ=hUoT{%*Eպ_N,6VaN;ASȸ*勤»V M:eADA7c" .{b^wCe2&"_sB(W% }[\9̏JzIN9< I,W 9kW&I$6DqVo%|( ]c_&Z'=w' Wzv)jD ͮN|R;YOLxk{Q5;gi髸uFB  auVNOĤ4%A@LWoM~$e"x^l[ Am*Ѿ-ǭ["R]!9?[VrzT5?E}]S,3>+Іx<φp@ims@vfwZM{CW]s?VѣȨ?"D'hHخf7'&>/5S-Xb1+T'+BZoHm;X*ԋ T88$ulZ#w/#&+Ԁ:;fV|1eaNb &vYRƀ>٭ 'rf/a8 }]zB_ɧ!M+#Sڟb dp=hmoڹ_l-k;xjrW uz4/7gpQߞ} B Ec=u.6]``-l#kΈX*e}KL'N3#;G~KLbRrL12U:kV~:n91JT$N -׏p\K(0 Kk{n$eEJ'![L!}bd2-uIHc+ij{& Uc=#롸y2 :(=pqfKi6+˽Jtű 2i F^#Nt答CG6E]C2؞4;0YZ BB&P +# IOAIOA.CompoSchedsPIDE/markup7zXZִF! HK]ˠ)jk2p O6LP=͵gl5f&E'V#[LX[!m ^-_0t&\ڐWztk_6?%Wp=]ᙛa3ֲft 區C$`19jB6۬3$dr/H㸴BJL>/Q?K!+y Ԅg`R)5ͫpM@bK8J%Dhtہ@f e"e/]z' ~ ʪǘ"$gI. g@uqWl%qf;X_ҺjO!maTBM5,|c?ӿEJwy8HEO GfVE9c`i G[f_8'*+!{/N37Ht;C;PN2Ѯ(ɪ$]aogG#0290\h(7I_2*4Z|+]"MrG|ͻٳipjG&Wڟ)Y0\ؔVjMܦ#aC{X$&>qu^{H)6<d򸆬m m% .2G1P‹yg|¯kBW{_ ,c~Ve͟'⅍APaُJDQ塐+9 s(%ʨ_^?b}MI;o> #!v^nyH"d06lMz,˼I䅿`qeM>}pcK1K2`2gzN1r/*p2E-ș7kpa 济A UIW\ =Xl)ٖ&rQJ*`1&M2Lf6mC*\kb=}-U n<+qlG_p rH;H>Śc1(EULX7x+=../:< anm\˹MOJ9cJeXdx60әr D {`ἂ]n-sFJ9đ%*HU.$3|v0bA }/D  H>7c.sz* ud=+`޵6_=Q'JDvN?*: L7^Kt+E9hRQs]>| GgX#BpWSˁ1(R+ICяz?q{7z2K8<ك` W3qgZt萉wm8U(cI:NJ$ݟ]މz\_ĒIiTr퓱 IUZm]e毨O]Wv`G/YNЦ%mcI(s?-&;QrRCU/V| XchKq&)!h&ƞ}JTd5FĢꡳ{#)SFG17r((0GUG<͓!QHbe isB_KKE1_@궡LءHEtE_akt)@G_ 4?\6BAF(y\fыl^~/Qw% k.̶T뚚.>]T?0٧6aNBgjBGf, M\:hUe9 ƵQ#0-.:БJr5ÆXj76*H}^.n }\b(G|KGzgu=7*M"lX|uK*n>WM˃D eeZoz\v,8?ibjŢb@x 3J6Agdz̢/x5) 3~> n=J/eei>s4ӕqN,=TdW¿'^J#(!jQ lIJj.T+ja:z&^R:תt@o6zm)5dҐNI?SwyXČi%-@]LN0.fdžˈЖ12k nXH 2Xq ZTZ ,eC1:n`f[n\\ס.,PeǑ20W*w!u&? [:QǓ1DO%?gUYr XrL^+ި߳aC#^ibQ!ҡͳ^0GjFKNz!Mһ);#.U2*4|o^\XpJ-1S? xX"y>r؄WCꐢ,lQl &A.VWuho7#K n4IAcpμwo:\mKt]TOzo\>|dB/t^q#'*[ZcZèBxȌElPA]٣8XȤn+L2%g0@c0@kq-pAvxzII T.$*L7}Wi;ǡMD W0~bNEYPg៫tGsk?ij\B9*J9 MjB=_펌EW|byPӀ󸐓DRd9HdikZ6 Ƕ75_JI*M'Qe>9*^~ew_lwDiu|OueMB)H4U|hV˺yuˆDy+do32bGK!F^`fǶ_noW')'r_7,iQYM#4?FhT z}J -wG=% d3PEJٜv]T,X/:)J* {˪oԙVv32džqtLfc|hrPgriApyLJLd.2ֹ.0+&1;meSֻ_|fƁAݼ{$0O%K_X qi_Yc ?fT"uf1^( Xn7Zqo}9laq$y>~/}£D{owpؼ2qN&-~\lyĞOǴY3YzNژKi8nWYGKm`<i;Oh ]s]P>D ߒ]EI0S3oeNxx\Jh6[AS%!NIOAIOA.DeadlockPIDE/files~~/src/HOL/HOLCF/IOA/Deadlock.thy)R%-IOAIOA.DeadlockPIDE/document_id332KQ+' TIOAIOA.CompoSchedsPIDE/messages7zXZִF! ]·Iq n[:|&[z?'ϼt#b2C6 [Oe.TFKuRdN ԟ@^nƯ Z/A`nuOT~.8,̊>cY8[w係?VH"XMHt Kgң"ds>mڴE2?" hU¢(= e@psAlgYZT̊)"@uYd96P!?qyn-1]u]?4Uo6+S*)K-mD{qA_ϑjnZy_IA+]vFIoN[OK yn3f,/-\v }zSjdq&iMr0)PD'o6ZQ/~B/w|Ι8b3[V@V26hV ,2)Mڪq3(o"]. 2C&-&LGk0'̶.jq;v7^@} e~|M$)6%漰mͅ;41 x!5Ԉ(Ho:߿.,R.fȿ*NK^V vjA] >8ڃ:;'ܓyi|/)CMnoV`3$Foq8ቱ兕UfjJs; 9C)3l,~gw"֠P'f`L/ ǤJ]7HΜ'+rAZ`5^ϰqc ݺON@%zu(a_A07KHzߎ]&D❴ B !lx+ :MksNiԷ/^[@ $?"ppf ^VLXwhf(>@,E>ւDHaZot:uٲkd(/}ns;C< uT)M7VP?G;Qd0}#g4i8gP%*5]m+!0+8Co4AjUL $8nlv/iUV-S8 ́pԷjZ k!enj4HÄ߻ȻW>O;tGd%3@kuɸo"%9XCXT\S<(\r .6,*,-M.sเ^}Iu d]:5#{~T}HzOrT|+R^ϨDē)kzogX(.HNnUuhJF۠m, /ܲu2̣ʔ{n4{{(=Po#,pd›qKs/@"|@bd6FTrݪܨ50񟀅`CׯLs/ R5嶹㟛L Q|%~uˮ8W٭! EIe2#^OXf䕹ql5"ܞyՆx/ᒔo[k1Ռa-+W~_<c#ĸ]+3LPqhS'U D(r{"K%[LWP9Ǵ0Ti7A|p 843mz7 F=~Ԏ[3NZ5/74~NƯn# иB#KjkD$8ZKCVQW2t 7dҸ:/t`6K[+=$Pbv\*ВGaUg"ȍfґdaG((3N6K} Hthcvx72aFoc2hOa@ST5(hutATR~W>Hf#{YT҄ VR E[ a.GvVxb[1QT葜K;U+&qıSN˃pL6x VZX0N%=w~>sVx 1M]{LfW\b\Fu@csU`7WujhK"bwާKi):S8=yoܼpV aWuYB3~hwWPNOG /bn,c] F?՘Sۘދs28sDS mxxc>B+/gtj?(tОsj` m?ؚ>_uuH'B $X$7Gy`8:6Ӭ7bwߡ9^iy̆Iݖ\H-2k֣ Di~9:7 +qvF uB US=n|={rM*fx:.hgt\x@\{ &@/wσrſ6/zi\TX&ZfƒPΒ`$כn IDZA<|+A;ȧW.Ɉ[z-[תAC^|lA˾|Ԅ0/AoNh3cЌ7xb*J,>$1bXZL)pg_o>^렯}[tn,K&Y!3DZN=0QUܠфD} '[\hN~9JȨuLhTk}`&;' ) 7f=gYZ]de#R%͚' ijȥ-0OV?Uj/T_ddISZxqܸ.d$ITX%1l^KcS2|AJShc]N9_D3)i_SEj/@Vew0tg"g8v4$ OR/LW5wfQ8l@bؕp2/?tJ.ehU|#>~{Z5 "#9assݐπ\?wxf =\R.7 _ߩYt x"NR\`i 1Pñe[v4 ngxz^)jrȂ5?TxɍqFp=py Yg;J mcMlz$bߤGOw" ~+Pq_QF/f]/`UgjdQb#:Æ.gS 'gxuž)Ԕ=OdP1܊kz\ڊ{QT{C5MNCB%* B gԺn|*MHMG9/euJoW^x4D!U$Ygx|,W|S2閎y!-] pS:&D'aɓW8\p"YN |9xqQ]Nӟk{Zm,~N -7PW È) ono5&`~}6UM & W;Ʌ ;!DsZ. } ʝeiiNj)Kuxb_,{sܗ: Yg= *l>&N1Ɯ9-ւ`|iuc HCn(l`ݕYݮ%NT ='vj@u*T{Sf6XPidyJOUb ӌOJz~ZaJ7EcUѦVuB! n-T T|)kNBL3Vl9; ;]8{ j}P%! Dx(mAy:>RТM:xXr,clPi%^Q'IXehTdD dtl=p9sZoz9^[8 5EG(" KNA3Ho`f/d 4UwӒPC ɸfxj2PwaE$fB rM;ͭ葰  KVcj5 366 Rư^#q͙XryscHnP Eli5T逇w. pgSnTڣa*tJ6l5&C1\}D @{m3s>nYm;vۮ>nOȒ˨܌?ln]P/Sy"K #|˶<1sp+_%2S]ӳbp͉/Rrΰ!#թV⭿ ;*5~WCc5ᖽ=ė =g6 _RS\6 zKɵwI+uxNE(ǣ#Z|=8? +yA$O/8|b6yŷ7 XB;٩ &06=/IM$2LGնZR *e#wyc9uAJ{@\⪤4k,21Y yg#7ftD,#0 igwd@5r|DHF nΟZt힪&=P&W{rpSwW[o{ Z!,fXs ڔ: -^'K#JlFFěV[ut}ݝg Ђf F͙eʛ2iMZv8a$`TPQrt2bi; ?;e?SWCy:c$YPܻ%t ;C`T >{Ć㿁!!#CzHAU#g9ΥkfETtP͔;cfp+r\ JEmK!N+T3[][P{ǧكzh;m@tHX;nv#, vv߸%T];?J AcOrA@뢙QG9=?#Ry| E'.'%b'6ZsLRR"Ω*#[.Bd&Y8.턥tO1'>Eq~l^Ag?3;0|dņ<>Nd9~֬š7ZyiULd`H xUE3[8Q^~ o,sa^L/j#L۱\+R!1֛T'҃ւ eDhn?1u*4}0r "`_]jAxV<|aTc!UjZ;_ Py2p0a4gI/ft68}7G9渉W.mu KeKY,%rbo6S>\IVH6IYQ4C^n`6<||]]~~R^ U:!xy|t);N:A qn~^"uRg&{'f%!7ooQp߳75d3|egտdDr+", xIB8/H]sH! Np%Jcr] ϓ戜 ]9!NZh!_|_t UD^~N:{Tεx]Z/Y/3X ~YX0yn-fŢ\9L484Uc"'@dYjL61qgq"<;g$B>XPQaW_ 6X3d`4XTk\VI \Ufk5x9Enʛ/D:X$Q̆f9/\5 = c5A,!r%#G䯒QҚ_0DL2z zBy<4πtygQZHFw4kupRmVQ~+b6 z;P 6ၱ09'f&J܀`ix{BF+*-y\܆ҋ{s x{ٶg%v; @,eI nDN)3O*>3p#|^jBW&Z&y*T.D)VmY( 31rĒ$ eof4;&^RNWi3 yE]kTh^5eF,gN-]Z|aԆKndֹ^+,bƝ,qpdIɘZ.uDOk PTGGK;,V!yWϊ~9Z(UW(: =ߪ ^̋8%wH+UbMwuQ2<$G1+67Mև1 ϬS6NB{](VLcw+%8ڬp&//vbT%!zKA4BYVZ/rљW?%1M&8loL(If넆6cbJ mb\1.Ԣ۪ 9*h ^rq2/aAlvIgq*IWذtP?5s!~^[Ǣ<݄'A&~(%`]`^a\y]u7N6>k^It9*HΦ]Nﴏݟ'SÞD H {vC V9 ]h2_q:>_ ?QABµ2_ڣ #/mq{3ca9^ܭp3IDOG\e9vi9`Y8d""=4{6V^qYpk?T6\*’cSg{e(ߑ2]ycF@:JS?Ģ-_.|1Q+#XIm̪GY)9da%܄ܓK߿o4p6c[iEU X6j[~ ` j w>"_J@7QV\g4oXYy?sXBDmgjBV 3|*h%^ (QpնIŒjk& bwzh*UZgO5.\)Mh޵WBiLYFxlzb$(6ū=L u.y{)/>P=Kjw[/# dQPtk@.d,j$}:FާE\7TFv LP4M i5s|h>h.TZ x> 7#gO#,Z8Jƴݠn%łcÅ]5VWY'_T`J*-`-Kg+*g+߽oB,q4 rKN,v Gva7s8d$͉hIKD(b,Bh{R-Sycƻ\ .ݔb3G3S<z6o.<i5҈Z2ю⽘+=d@@\ɼ3o嗣AD ڤD$jSlywc@["&"o; u/t(`uJu=Gv#+9j@X=G[TLo=H6iȐFn*Й:U^rjIaX_q7:8(dj8ƞcBi_V+ɳB`)H9:_&/wγKx!& L]]oP<ĉޅZb+w,(;@w3\0lslk9$ ?Rҷhc ݠC3C3GP6pdW+/ 碆m:-)j3;Èv=S,~+[r6[u %k,9$}y!I\ysFDwЖd({=Pu"65|U#THd`k߻66K8z~{I&NZ2X1U~YqFme47q+yy󊁍* az0&|Yqu;`7܊VBթـ&foVkKWN Y 2Sxg*+YUh_ri;&J G_= r~ (wq~Tí䨆)-qR;7dT(1D<g ִfs!p<0Zk|$+hkTk'ˣ \I[y=<2Nγ1GczlF͑[s:Z9 6tblT|D%ٖ@c2 0 4:Y*'7#T+,R$]he3fZX:c8eæ9.90!zhQO#:&wh2N }1=Z<$U#-@vt= ƣ6,m7|!VP06Jڽv{p; +fH1d°6 #=ȏ'춭LF@Ԍ 1!?,O݅3WjX7CYR) ?[pud|7I=zT:Rae\S) 47^&(\!nWMwU{sIܓ l{~{sZ.9=U7?[>wD^sO% Rʌa8u_$/L˝D6J[9;YݴTpcNGYʠoeQ x [_ыLz 7"=*p>]iϦBXZ8EEZ&jL)7!@kdr93 Q.7J&r>U%[RuxTD2Zbک8ӓ2k &"7ȇ%C(AH،-Ą) xI8;YRF1n֋Û ̀aYW#Nʢ\ լm(TsRmxP@&+M3@ FkkOΞpJdcOsvqƠОkHO_g^ ~ݥ R+FnN!ZOpv|C̢۬QV DXlfKU ɦiix_ [3;A7N-egZ85z~XudDKnP-ŸܕxIc?2 _X _}Ha $cmҮ%yqI7h9; Jȿ+OP-mwȗ$<ǵ;SXJV|juA+yNh+DPgh$8?Rj_KPl!MG<+KLGp(:]r,p#l8 tڶ//UQm_QZ5!^IOAIOA.CompositionalityPIDE/files~~/src/HOL/HOLCF/IOA/Compositionality.thy1Y5-IOAIOA.CompositionalityPIDE/document_id336;X3' ,IOAIOA.ShortExecutionsPIDE/messages7zXZִF! LP]Άxʆ5.f-9 rq9 u%K˟zUK?wiz hObP T .g$lSb*0^d7~c|pBqjf%(3h A'B(Z-#q~ħDPd])HmEz¾Pu'#\wi%W~yuz'V!#HJS3er 8ب"%0rP{|Qyz"-Y?5}.*y uXпcs!YJmrEXc#sAOPBŧz.BV^8 z CB庴Dcm ;If7vJ: yZֆ仰QdU+@Ku_?,+;TzeكThQF(ےя1X9|GgEN5 tDžeT8KU)hD v{npmU of78x=X9k3Q׸D+C4 f[Ŗ%]eU!6p+? @4,xѴo/[2>;u4w%;}CٵEҍr{@'tu}R4͗:PNz -X~ʴ`kDeSϨ<>?ο!/r:yq|YX1f=  b7krD*e{F+2lLwMr$f@U%8O+OulB!!h#wá(dk:"iUʲs}Q>Ƙ_/1rmz"䷁,?Da> kkpְXn̜OB{HgSUR.Z)7SD=8JNh1ӣl7-Kj bd1x=0SuK &)!pa6ލaAvS=h*{ob*+ 4"2b7dL*%M7P{W}usSMNwuWdTJpnoJ%8+<~v/4RW!{9AwHO!y:`Z{.OIMWaLAMn-Sfz<Gy̵aqY[] !k:>1hd5jڳ NEkִ0.Nn7Y-ߐNX ͟{[2QZKYԯ]~ y\S'cΠ.3nOI̵ 3eoL?WF}g0cU@*8𶝛X2D–Zd&clS⢿=s=oD{jԧfp66Ɏ0*? QVQOTU%M@z#/ ͢kwKCxU7U` T`4ҧsR5by.^7Y.P֌6Nӱm j5nPpf$[Ħ=hk&,_Y1{%i]%=d$ҝJ%:UJz,Ԯ7vkxbYSIj %s˷V;W p@, GfvCo sa$7BJD+W?ƽ(Oӻ}p,_!̦΅pl2?D+]Q r weИo5 <-('٭pcT=#۔8&@PϤ?G khE 0 ] dѺ@PlxLFjj[-C=zbպm nN,mO,4~تI>_\˹~\녎K>Xe`Ň3?xjdl쎨wד"Z:,d'Z];TؘKK/Go_;V'>/Vw_D۲jx\hE\"jqw"Wէ1XO[%n6QUؼ \?1z:qokkb/ktZ {C[}uYtO{|af]`51]$ܺ/<5aotBrU 2#[1g4@R j?:z9B{Ch ҳn ³m5_wlZm_eǑX74PY 0 b9>^7#t yd&n\@jPTIc8qCu3-V-IJF KX:O˯M ^8e@S;)H3AqK` LhjR7f>]ESi񓞳rDg$ Rɋ).âQh`w6u Cг4/Nq@LCvb@d:,9`>WP]ca֢"`À\zʿNSDmαM?WY97<OΉ/ , eڱEOJnB~uCkCo!H2zEw=ɛo}:6YQ6?R?"#v&Om@Vp}Ԭ𫉙 m -:JtHj>P\TO[""!hNyAdU&ms- $Jscms#ߝb"`ɑ- Fm4V0n87K l,Aoc s*+EOZ\eŹ(=zT5QP+ A컑*̈́"+ю u䓯*$ySpjvv1驃j4ymݛr@zB1~fR~450!mukT$I~= <5*e] H7‘I6bZ;)qx!#[Փ}yʠ_)w &po)V1io^s0 'i]C\ ~v zfd24O5 _!>1"m^n Qm4sos6Щ1My֦ƭҷ[wUF A~L| i3XhZ~%00I1/[vaҋ.rHN CkVSɟ}!0;<w z $2)To32D7rf<6Fw< 3]I!'/TWR"nXI?Qj2մlN={7b 57bR p hLϦ߹aKWC(E5_/ s78WWG|!dtllgn2Ç`0K@^'BǀV4ɝ߮^L+݆*'urrWjVsu22vi;x'+&j.\|K48kgJ @QB8/1?LU ecvQPa/x;wC7s,ش xπޝ֩)u7WY(h^p63% CvI#֥{uC9V0V dU.h eiC;-Wc?%n" _ar0p`Xq? 5g 5V? pNjy 㛅GSJS ]v4uMA*?m`G)Bez9lS-ܹjZ h6|J0g/(%"~'zz{K2 x lmŭZ y)Bd,\n-6[0bb)}䧳ՑhILRF=#~+WI"٪ l"J` CwÉʹ.<ǫE`JKM僤X|Z&TRmm*nG#<Ѹ%&ID:w'sƝc &Q },[T)!cum>RP5rPըWbPt.z`aV>dM7FQ{fF$P!'&}OrU6},q_Q|rE8S?qWs0 l Oqy,@1 D6wu&Sm7Aufv/ {B=>G F<~sXձcqeBؘji{v#m2>k4-0Y\: ux\;,$mM(D՘#r(ߎm'A{(B8bJ~RH7N x yFή&D~1$Ĕ‹5yE'Lwg-`IO !Iೋی#[U"5ueѠ-I?Q-wy^8 S6h] ^1(vf ̭zoCn)Xjt//ް( > g#ՑyM>lVX3[ { մOB˷tpP{_Fz$3.‰deIC~õp\fLĶPY[>wQh Mz+3Uް*1yX,E(~GFc8X5gwbh98Q:c-]2 8E??;|sPf2faXM%GCPP3_03!U KΨHCܼ6JrL-pq^mx6yN 9>CU1l6Gi^G]ŭF. kRt~}>?>P\2+wǷd[36q[@~mQ) }+KO$@L5i^JJ2cqjWW+5*염'e"{GV&X+QdŻS`P❪)v CMbe0 ouخ }.1@d|d\' 5hQ/` o3GU|NYIyxfw 3gDtC[I;6'֗{W.wA׊tO@lV2qH/K7AD#sQO6X|UIA[Hܷ3w*=ZW(n$UvmZٶ-3ODZ/@_Iiɂ'~gop UGfe)~_iX#]W1ԧ%.hk c n"ZEvULKP;2Yk?BP$Pn\WӎexC~D7iFMV0Wn%*.+eÊ0 Wᛛ@2:tX hyqꃻW_W!*Y|"4KRJf 2q6S/ B75o3t['\p+􆊆,eQWU/A$Em^$uCH[M]dv>! SٟID yi"RZl]E #<侽xkȇ*e]gWYE`r JjB)3.FVo<4H"OӜyL}9,~VR7OsN-]gOf\>- iMkMg~ o6%P*f;uxbD\Kes}_xU,1o 4idI7g&fKyxb W??8čH,r>k W-Փ%x+㡃Z0 .wU4*kT@M*ԯJ"54V;7.d9zޝSwBǫ#ਧXJBVGӪ Q@xI_> kn`λiUjOR:,s)>fw*EMTGCīEA[$xsȉEZT'󻏝>ŝ94 MWmtM8 vFR*e 5PS:( +cc|U ^KNvcz=v%j'P*>w-um>DnXU,m j8n:#MaLvu&^E@]C!@~>85hi;BIhn  Hfk5UZg`l7]ֲP\2dW5,nA+ &UWFwY^48< kGCTiff V#'sY II{ ;yJl3KgJR}Pu6Huťa:zΡƲALpr ]RsY$B4bS:w[.`v[~/r-XfoA;'48p bNһ nGL\)̍sK(( ȭ|p3+>MZ{,|wvYREw mq `kͷ. ?Zӄo8)KP7sC@rML\-VezhRA\U㔁`ͣ?dxƦ7a-agJ.c-FK<%Vy˗NI-Eq0/FILnhlLGAR ձJSZ,b$%Q4rYt# TW,JθYoEaz⌑\­_hG,Z@8mS(0뤻g" 1?T.`9ۤDR h@dz =OM3:{֟RfoZk-o;eyxΈ0 + { "1퓺 `L:VrYk>yt'vKUE^PCO|`;+JSGlt7Xt9Ttrs!y5 noOF "Ó KHe 2]vtF&3$}q3<̺*lR %3WmhӤp^LQN%zg'-LHIߴG硺Vo_VYԜbE!=syO]9,Ti\Y'ՒS}qF慎!3m}ia"!G*Պ{u*\SʈrOvްej/+{!C<0 h1Dw?>˧mnuo99P/ƊXD=; aHCС'C2եg+Z>2 îgҭQG)%bV#< ,Tj|Lu-l/WCL3#Z;}= q/_\urCn"\2@痢o*̉u[evZe=5@f&Ք /H{bhRϧcZj>fL'D*[!MpOz5z(ka 8g`;jC{+5蟷\dž1R_)L~%NF bmHQvKG "B@a⚌YpG6A+׎S{YS؇оϦ qo~3,Ctb3~b ]DˢrAH0VI,pn$ڠd{fDjSkX6 P0}cǃ+SgШ_^IqP yDXVYIg+i׃>VZ|8L9Z9+sl;(&-j۫CNeZt"<](oM@u=,po.'G:`y_uL0gLz++xoq90d M*M#pM{͊Bl:FBtᒡz pJqrϏ,jec*n>7mClU#% A!E~4wدF\pU-,9 -R\Ec·9·K^6*ȭгt9T/0? ,)6Ն-1^"]GzBl ן=F[WYQ#CPm (*¥>{p3EZ]!Sኤ"e n>Nr4;y3[|&pG$69#,m̾=8>]i #gBB;,FqVt;Q/QrkMii#Ϛbݦ=.]k]ws`\)6;1\SVc .A8C7ZR =c$ @&^X U/ =m<}yQ/U+Jl]Υ'z+&I6x(KbðEm¡FN?Sk/KGg"U|3WtIZyUXT? > ;_(ĞRmׯXWGtׄlf9L"=E勅GsIeo6-չ2~ޓzpUtf_hF~-cq('葨Oۀ?щT<#8P)~oFzuUmFgb;9\Re_Evi!?xU8 VKlI[2!~Y]~CfJҕ2RQkqE{+LPI@2{\CYc8|NM_ 3WਾOM>޹/=(8Mo*du Z^} ,.7զoXfvU8 q",BM2ؤU#ZFY:<-jD\>jW"d}."vçd=/5]ѝcF1[D8p1pߗRI0E1f, B7)/-*#YQֹGL$/rꨔ̣dGLw/YMFː0WˡBcRѬm $fȻOC,Y˞64I>1~ϝ^6HPչOQOs 'Kzp[M補YTp;*c^z]ށL\Ɣj^ϒ/bL9$!bat!иthT>I-刉mzFd+N1\ &ޤIxVh34 &aNi;P0]hmܑ]>iKIjh/ċp@aZ9\sAn-SqLw`ubDŽzA֞C:OI$UV Ft%?G rָ]Q$[E1pN۞``{_4J#F]&9(K e o,rTrAt g>%>ҫ){_!Qgf19.Q3T,'`>i{fvpp^`N2=wM #k3(cIڻ*Hݥ`_9+f{_̶EGlWƶ7`ȷğnP2ݏcMߒкA>.n ΖZuMs}Hc `.(/:ɥ4g*|Ⱦ\4ԑ펍[QIZ+} qNn9^T a/L8bkmf5o6T\Ğ?ibߜ5XeCn/&XCp矱e>^֓a/btߩHNl   R`ytDUmK_׺cgx^? RYiL!AώЃM>&#:%!mm%e{*ʃK Y*_W@XNVE_CV2T/ӝ0䭞gbI񎂌0AZa$I2?IhFp ?_^\^L_j6\I.(㪓X51'ݯLfn4bFV{ρ`jCNj2 $$i}d tYO4*wіvBR"ڟQY9o T芨o@ G==PPg'(r2z?}}ZB. ^Vt4ɂ1hƭ=PcnR`$Zv72 Ht@cC3ؙ1>dwN! -7B{AyH7jNzrz̶ϴpVӻP<( (,Zƥ|$V9JsXssAg%j{!$q}Y̬E8=lCia+29$Σ޺%08rakҢO(9}kIܱy4?qVttA{fm9иLj]DQzneih6!7*lTqpdEI~Fmޞ-hYAxu0eИn?Ϲ܀ K4xxA=^Ty?j%$fJ qlACSXNRdž!2 #XC\|=JAllo$9L,q!!c)! 3!kJRc pr1~,| L<)ZZ6<ȨsɕOc;D"}K[H` YA6sRA\QWQ j@U$v*P} ym-48qͷ&=K%&DoB>!*(ÌP>4xw6ٳTgw:rAMG04i6M Jzf\pƚTg_)lN-k-_n{62z!4͹8H Oq}yk׶s`O4"$M")Rs]'1ޙh &sIZp%nbEGg\%.L1RD9R;v?cЂ-]@1ޝ/c?8N>|-ia¡pMI*s]ƀZlGr)`1R`:BBJȤC,hdu vaH:ieh,pꕟ'&_gM:F!Rfkc=aLU_~lxAJ ӤW 9?ɶG ? `}7>z-OCQ+yncYo:@e`WĈW_$ߺZo&'~RK MC?p $eWD}W6[2=}Bh$ՖgYZ]jo )΀1yTa&E^f3I}QwԲlC;  U~DPOZ3 jj반-PS4<\fwJec4[n\itD>WYsD @ip( C:6V}fDj3&_MH~KpŇPUCՈEG2#Ŕ,F_Atbj@yH{:4$Z3#&>0;Fd_e=.tg΃VTD-s8dK Lz8d~yׂ}9VnPԩR[kް64ck$ԆMM57B $ОQN(=w1@j<:rFx!̒;A]4 rP<-)"!-V] Ls;_~.#BG"%bHS_8!Ek4)W:>X lD8΄bN Qޫ2 [v/In:_ӳ NV 0.5 JBSf00fsx12:՗\y块*^\L HBVc'0K^_ 9![OQUQaM<+6I6Z1P찴t$AfQbiX3+"I^#j w}RrύfcݲnrKMhDŽNrGUp˿:i!Op49lq$Ob>C<.VS1!8|d׳ᥚ?`"yᡊ@~,~7?sB`G*EĔbL"pϳd2x6U޹BZ蹱ܑe%¦޴gʝ`JtADmEqW('#WKҜFM5 .ÇR8f%SvB,L< Y,IW^Yrk$]nڰQt:y#$vg: 24=>-[p YvZb(`OS n"!3Xnll *[#PG'x,cFV:2P+լ dZM)+ vBHdķZH˽Zn85.B!b!@s! z-sT<{d|׉k '3?uPZaT$vH;`t* IeQjE[g/poyXX :Iq>]!Wh>s! ٴm^!wRn >u9g`25y2~)qˣQ@ۺi?~x ;jN@ +m[x){ƴMgYZ ]^ !# IOAIOA.TracesPIDE/markup7zXZִF! ZE={]ˠ)jk2p O6LP=͵gl5f&E'VFZT7L;Wh4z]WPhJ4k}Ъ`e$MfkସZv{44fv``O:2+ ֫kGI O!{,I~o-m,@n YP/}i6Kky\^[!`ph4=($cA+kv|[l^mћ/h|l "b)@td(i3#Y'v3 Uaaa<0n7_trq(pbG9[Ĥ ֜>PcXE:)szz pL-D>;iX]SrB6s\Ub.|(T(TM2 _k9Hol+YMfO)piQV/м PbETE޼8Hz7GL }ketOh%A('g# x4 tҵb4-Уm"]p FU 6I?hb\y4L Sּc`1HJP9 u(A0PEtB8.I7Gev!ҷ¾Cf5ktT ZtydxX QNpPOx=3#=Sp*5 Va)s Y*#VNta!'L/=`@"L7;aQ1\) .>f7\E>޾Dffr|l3WnWk ۃ$fԞ<{fN/;4fV|ZdJ/X#evHZRt҈C*ȟO*;@El)0b5=B};KĐP[ ɍUd0mse)uwX~"JtłZ$=pȷ}!9xFP<D2/7/^hrJ^x\ԕQم'oB㑌V?否Ox8wKVz(=ev ` U V1o&2yܜgVU;5~m.\vn DDdS!ۺu<(+k"Kgpz7;Gߒ o3=Пg[x^(!4+ ^~x"@\ޤpokA?ҿlLQܒ7Xqqa|BDB#n(/H]Jre`Hi=#dU6p5b:nZ=6;^\̔"6lguScOceEyw+v9­1CEeܼձ2x[+8ၗѦےsg&ұtZ0F0$K窇uJTwk+ Wf3Օ|!U| v#fӍ`c^:Rk:eK#$CϼP!2ρBw`dή;8$p4 T!+~qƹ%MV-T\߼[?=v}]mjE[zB֏pJflcC}_I ;^&ނ/3YSL Ib)??b"=F$cc}A^<7 ~x3z]rQ)>Atn85%NE]TJR 0:n3ˠAFʶ+VRc u wa*$3pod=Z"ٳlm3TWUܰQѫh2g =Ucnμp5]Ir|1isPK;רw#w`\;H|)yg\iG I`вMj@G_*JBr۔C =&w8&"n-0[ +M=[$.(݀]-UF8\}zXE[Wa w%l]R!  *wQw*i?0u4xr/B`|C9}ͺǹMd d&2/*ݠssvRUހ_SEY;jreu6:-/Y- p9f(_%&NMy m@\(Bn?oa2ւSy14Mf Ξg |jJI 5{n 4v4*qBsFAVBBYoƙ6]so3Ņ3Uv1i _lg/ po$!~Չh-u:N!!63%D+*}>{pGqJ)<0 A4CȂ.$ꋛ0'vAohjk&!H"ߴhnG6P91j ߐT 8j3cLwU"9($Յ6E`“-iQ6I4;<99Hds{A 3ugKA%X7;e|L',)Ҋ*rű XTv,T)DSY3B$`4MaNФPF9XdY͂:G 7+ 3HCސ.MJ S֩[. oq1pCDo2XzS7iaS +ݐ<=f|Zz";ۘTV>D#