SQLite format 3@  .K  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info   ep | ]/]HOL-TLA:threads=4elapsed=1.896cpu=3.304gc=0.0007zXZִF! M]ŗXiɟ1zV=5_8f\r+xḊ^ RԌp+RAg1!. D "A|+m>0,E$& ?$ݔT;85VکK␴k1b5p|_z8B^w,7ۿ夔#DpguM/IZ59 v&l,4/ۗL81r6d j#ZX68/+5brh4 BA})5|M Ī,hRGdR5ܦqc(M4BEDO n\N8]?3-Hp2L99BBhܝIVR_;RD8) ;-O-(_YIdn*g!YQό́"46gfavM co r ` awOr=Cş!U~Jq*c[~e? \74m [,=l'SnF*K!XC?"Ƀ奚j06oXOkEsz*J0p 31,qOe%-7²л\KUW&d`L}کmU o ?4M5}č4$cgs'fMPfΡ%4bD)OD{=4:Y4(Fes MF^G}+Dy$WDR(+ҭS/Kl'GwXQ ;2L-(a}DZl c N9`'BY<0^Qr}L Pڔ=VOyFr% %nYn/jH\m,?;s9_uw9̆ t40 ƱpPAM_yٖ"ZZ#S4ݏGGV*g۹P;؉ҫ`!PfpÕ:cpؐD;'`M3/u'#-Bbzbc)נW>wC'!^TdZ܊eJ5E«79wCre&gAY~֣Yi*nU)2-MpwxKe+'-ާ[WXo(Ј:uHX\ dYzOcqg`>^=h-K,>\5{.6yb{ F Ѣ(ZeMZV@u7A5XtLQح)eQ"9֜@O*K[WPLG _?hQPs?LIs E+Q3nK)ٻ́ NI9!cpھBhf1LϥT"/CqP󛉋mt:J-4,s]qT"'7[pjH:x\D]CQ?%`-~`„yT-rڇѧ>Qc[ :A-mC}-+ue5b8ȲdV#lhB wr#SL:=8xJRCS;&Is"o`GWl2W1CP-R416+κƨat-Z})v*K_d6r_ݨy(Ƅk(1jni,|wphqy?cl,6iFY9z%e/#~4NꔛkgNq>bi{sOKJ1`\`Wm"g&$0mfa2Pd!w6_7`VXcKL6(T mr܋ )nó5,L[g2QU(X? JC."Rw&pw%.UrƔź$\@$=IP6OQu!#4g |XvM~@`GퟵL_y.Nn2Q) Gpsjd3|3XkȔ#7WNnf^"8Dr5%[1hC%-tZb Z1^T;A?>Y8> 'QjX Tўe 8Pg`/59SZ>YY07>0npxqk-X5KSWh>_u3NG%Eo %A܄fp(=KZ`X !?#Ûq ~Al].hyaѭ8sxrxLnJ9#$6dk PR0"=|*K[86OoR?P7Q2KC4 ]Nx cn\c{r:hP!]v@UZd~{1m:n_UNTu驽)a6$|p8|Ӊ}︄Hϣ d헃sɩuD7x#KUM,)fn/:Ԑ<3IWl' jrڶzikUoTC|dGQ;\ʖt̃h 9q~ZK[@X€9ʠw~:3L[{22=- 0 ݰ? [|ŋ} m.{b/wJ[Xtx?ӥqqe3 0[6~x1茈;ow^1Ə颞PzSk8a~ADf@5n6sEU0 eqە\x53'"oZ6|D͏Q[uF\iB n    vz m F  A e @  M* '''HOL-TLAHOL-TLA.StfunPIDE/messages%'#HOL-TLAHOL-TLA.StfunPIDE/markup$'!HOL-TLAHOL-TLA.StfunPIDE/files*'-HOL-TLAHOL-TLA.StfunPIDE/document_id-3'HOL-TLAHOL-TLA.IntensionalPIDE/messages+3#HOL-TLAHOL-TLA.IntensionalPIDE/markup*3!HOL-TLAHOL-TLA.IntensionalPIDE/files03-HOL-TLAHOL-TLA.IntensionalPIDE/document_id&%'HOL-TLAHOL-TLA.InitPIDE/messages$%#HOL-TLAHOL-TLA.InitPIDE/markup#%!HOL-TLAHOL-TLA.InitPIDE/files)%-HOL-TLAHOL-TLA.InitPIDE/document_id%#'HOL-TLAHOL-TLA.TLAPIDE/messages ###HOL-TLAHOL-TLA.TLAPIDE/markup "#!HOL-TLAHOL-TLA.TLAPIDE/files (#-HOL-TLAHOL-TLA.TLAPIDE/document_id ()'HOL-TLAHOL-TLA.ActionPIDE/messages &)#HOL-TLAHOL-TLA.ActionPIDE/markup%)!HOL-TLAHOL-TLA.ActionPIDE/files+)-HOL-TLAHOL-TLA.ActionPIDE/document_id(#-HOL-TLAHOL-TLA.TLAdocument/TLA.tex83=HOL-TLAHOL-TLA.Intensionaldocument/Intensional.tex.)3HOL-TLAHOL-TLA.Actiondocument/Action.tex*%/HOL-TLAHOL-TLA.Initdocument/Init.tex+'1 HOL-TLAHOL-TLA.Stfundocument/Stfun.tex  uv.d~h8*c 8ꑜyM-Co@($cFS'2|~ϒlJǰ3(; ˰҄$ ?f4:\nEJok}٠ -H=:#cK{Kz-^E%}>6[ >NlB[;1i``KRoLQ31>ξ."y%#^YyS@ S`QXvrl\&V-|!Y49!Z=( ATjT~ʺmѼ-f3E I`s4q]C oH~jsQTFwr/ @ rg7P̃cUET,xUeoi|bp"3WwL]qrCLe rebwƯ /7 w2s _KDV!D`ޮ61>aX:5t@/LˠpqCLd4gI8>4"ޫu8䅑_C(=vRzaSTY{AHkpvsql7Npso~WIBpt`, :E[Pn(ijc @!ODReS Ps8skE "Rh̲i2f3n,{xK߭K疂K"P !PR6ED~+w^y.1<)1voaLOW!?E]~Qy>w*xʛ?OpOf*O:<0nh^.|Fհl0V)bPQZ)5io=$H">ky޾k8)^*[U(6TX]I&;znBaK&] q[b$9rIw{_Xe| `S=W[^5g8pfo>Ք:ncF-115$EMv궔'_iK0*+1g:w W&dVA UT(>c[OateG ^}Sn6s` ~je;1{@ <3g>V~-K%BxY&0Rf8UB$f/j8?xi·Lt( 4o&U5 D45 Psr{@/gj};> 6ȴ(#~U`~U&k78\FQ!y$|m֖^>3'߱K1IH*K'jf9q:Wdo&^XFhexvb5!aJhNL-3vڭOYKY|DH~4iYGIdߡ`jZlVXi4-AP<ʠVk JԾQ>'/(62Ww?"+*mO1;vUu(W~0df+6U2~vwD]hK R>D^hUϋҷo<>G #j2X6I'qf$݅sQO猤סdfE7bk VnJ&gjif>K+M0+;hi1 K=7z@.-2-\0j<>} -iK nB`6=u;\I݊bJW5}r5@NM0P2޺`%l.1G}OAݰkϒ001=CE5f ,9+kDX۳Z:/vPbhw+?0_i Y|#v@xs" VLJz ;/L"%ݡWS\lH(!5!&~G%R2(#u(oi{I쩩V⥥郤'8(ՖG V. /jUABl;ލA{X> !͞e˓զ%-~7xz|$TbBuz֌ıV}%E A$L`M"4 )-l,|jb*aI"AܗnNyKWĴG(x"ڮ^3 }m5mKPN7MW?fT;TF7Ug:xcP\(H)HGhش}ق)l \i4_`L#Xs}^Hgzoǣjmkպ \f_ )#1({rHY lfJ!-D}ZآI\S~*p^ypN#ܮ89dG"wU5^+Y`4F6A'g1ai*XbG՘&[3AQi/ _wS"Tgv[/o;m $* 1;"$jE8rƦ}}\b_k36VSр `TLwޱ=z-L|I 3b0]H=A[pk0^}"ڷGl8mհ^m3U ) !d|ң~iXAYGZ:T=ńWƓQOU߷'`sgb%ns^O[awp  @gV>QYHӚhf{1q`w>/\ sl39f]$)2SN#r'}m)2h2g=qw&Y?"I<*#VnS $7[U Ol~E)dY=6p$3Blj0/$~HZCM8(cOHU.υz}-FPCenرHָXlHHc ꃔpX~y,lI/$`#;dXVM͍M c֪&XdRnlH, 5i=úƗ=/kI킹5@dC=Z0e)q|~ 6p1P0(ϯb4@Ÿ]l5o-sH (#/`ww*r7F"Dg#}eevے*suxuT0uc$9杁2oiI"]\M–BVDJ0ɬNֺk[m7[dw:,'~|Zh/Ng` Ӈdm[(΂!FBKl^-q~X96-F˗ i=\Ez]yW"Bbk~4p(/ī@0'v݂wg =d[GI5 mZ _nYʢyB?tpX҇⵾ז?G}OLk'ʾw%4ݏGGV*g۹P;؉ҫ`!PfpÕ:cpؐD;'`M3/u'#-Bbzbc)נW>wC'!^TdZ܊eJ5E«79wCre&gAY~֣Yi*nU)2-MpwxKe+'-ާ[WXo(Ј:uHX\ dYzOcqg`>^=h-K,>\5{.6yb{ F Ѣ(ZeMZV@u7A5XtLQح)eQ"9֜@O*K[WPLG _?hQPs?LIs E+Q3nK)ٻ́ NI9!cpھBhf1LϥT"/CqP󛉋mt:J-4,s]qT"'7[pjH:x\D]CQ?%`-~`„yT-rڇѧ>Qc[ :A-mC}-+ue5b8ȲdV#lhB wr#SL:=8xJRCS;&Is"o`GWl2W1CP-R416+κƨat-Z})v*K_d6r_ݨy(Ƅk(1jni,|wphqy?cl,6iFY9z%e/#~4NꔛkgNq>bi{sOKJ1`\`Wm"g&$0mfa2Pd!w6_7`VXcKL6(T mr܋ )nó5,L[g2QU(X? JC."Rw&pw%.UrƔź$\@$=IP6OQu!#4g |XvM~@`GퟵL_y.Nn2Q) Gpsjd3|3XkȔ#7WNnf^"8Dr5%[1hC%-tZb Z1^T;A?>Y8> 'QjX Tўe 8Pg`/59SZ>YY07>0npxqk-X5KSWh>_u3NG%Eo %A܄fp(=KZ`X !?#Ûq ~Al].hyaѭ8sxrxLnJ9#$6dk PR0"=|*K[86OoR?P7Q2KC4 ]Nx cn\c{r:hP!]v@UZd~{1m:n_UNTu驽)a6$|p8|Ӊ}︄Hϣ d헃sɩuD7x#KUM,)fn/:Ԑ<3IWl' jrڶzikUoTC|dGQ;\ʖt̃h 9q~ZK[@X€9ʠw~:3L[{22=- 0 ݰ? [|ŋ} m.{b/wJ[Xtx?ӥqqe3 0[6~x1茈;ow^1Ə颞PzSk8a~ADf@5n6sEU0 eqە\x53'"oZ6|D͏Q[uF\iB n>6?@{sW p;رgYZ  i3= k VO% N!7VqTV##y`Ʒ^1.\G88ikȩ.mg=˕KxY  }8=aɷnRTt?ȭ@0911^^~(H㶸V(B[|,@V_ZYΐ+A O S9N=Ot({2xؾQ»E9vs r뉕blYs"SCtlR}BQ tR`%e)ʲkX0FVw2-F_/~n)&%^Dt&?@xPq gZD*] 6fz 0Up ԁV_R$|e7dDR92^U"0aAӫk#_ MS:- ;=C]b30:}5ueQmZQ<$7p˜_GaVg!zK50FxF&aFB5⍣U+io\Ľ*Z@ Q@2eaA;l&)tO.OZhm* [ю=]1[ + ,~MX95H#oKIg߬E!pL.z Nmq;KV) Ege )3 DHOL-TLAHOL-TLA.Actiondocument/Action.tex7zXZִF! ]A-MՋhvG"uIBm5yB?5:Eеdy,m|cfP#G > l]lg\AK`5˙rM o"%2:tJL:BApT79 /cV!A-'yĈR_|0g1zDZ4-pF"TTdoe 5+bY+(mKԻ%\̀6iCmb,Q&GcG\4۔FRjb $k= 5['H @4 *A5qf#-.nլn\ D!T8u6%6_7xd:Y 50닮1XH ' ۚ>Bb!XWƯ[W1O+3cw1qcG8=H}/ &]UbSԺ5s_MZHPYym&sV6>絺_ T\5Y.5۟'6Aw|_\>ziZu/8Y3]PC!9^45~m] Jlk˾?$3_7n[nž ,#u5㒺1}0m^j2{frx(i΢1 lY+Cj<)uQ&q\ۜY#F4.ɭվ[[z'TmwP˪+!V5/$+guNRM)m-I!9ZB4(D_[dl>$y <e-}`jUxlk:Ɋ# +tFcAʅXs-\k̊K+Ɇ;,pFW71Jxy+ae! 0I:QѲU(+`lQjRF}&>~oe 7 6#N!Jp5|Ĺ_`*&屿(@0!1$ cEI[)(A.x =J7, [RE7aP>3xD'zt3 _6RњI9(}aFP`If:T=LɞzIB4v =u`P&bz30fJ#qҠfqNUU'SY u Gv^ KnWUyZc$_²*?cxpτrnfhQlLp`Es|5lHV26OpR458f z\8o=1dTW'2]@윕j쭄1X%BBcSPź2gtEZeMBs< zTmYH}Ы`"(@ZҵkV9IPBN_&"”}di;|O3ɃTθ[0HCJcQn.:9 ,{Asc%__( TضHx0ڸ6gym-!J4.-CImŠfWmdl,Qc㺍/ :ySm]O}Yrn4n"n A=xHf(vɌcjM?&RQUr =^@VG|.p09_Щ?$ ߭LvbvK;;)ޤjF-e}YK.LT,Z36b1~aRd]3f!ݵLL3h-E< AP 3)զ2H0~p-־TwŒB=a _?IQmoUoC1 :`{I)Ǒl;n NYW+_\zKNSCUG);G]74Y#&lCSq 1,fp<AsמaڸgN5֗Ŗ0gˇOVi!x? {xax6B7 9A؍N O9\sEqN=*U1[R$*FNf)RfiGuuJdk^*?sz08SC8iC@02%k;"l۹@/.w[ W \̞Aw*wfr1U>H&UMA?aJ D{TPkŪSэyܔe9{{hvrXʑkfCƤMoPcTa`՞Y/ŀ 8髉 l2'old:B~/ۇx I43`e nNmw\HzHܷ"!8~p > G7xyoz簭PвQQ?BMtP[-qXi 5Tyl{& w>x4ħvM JKkFfOiĘ i_Pr8qy>nB8|FݖɲlJ)ϮNBE/LhyVs焴CY%v[>fԁqu ,A !ڍޱPh=,rc9ΎsC˯3T F  n:+jWQ{h9yZY bDa@9=2saW"*Ɏ #Sj=*G1%#N |'G]zI,\ _HY;=60 zC% o8 9r']5w=]/xpx r8,?-jPJPIog(>ZKx%ko쟸gpp["\c!K`ܩ!TXֻ(wdVIe3-u^ɥ?jEfg $T7Ц$ lD,[$P6\8KjTPy*" MꠎLΜ_)f HEeu;~hjڪׅbY <\ܶj;H(moJ6d.(KI?ۭتyq[Fl \[@'-^aD#BTɿ% ёikwkcם2\:4.n`˱h{4X%&^ z&6QwL.;읪ei֞,}ư(< rkl @C>jov ;) \j_~Lh'v,ɹxۉY1׷RؚQ}PZ(_f:*I {H1y^ q#>c%íE\-' fi=[}}yٲR(* ^2[Z_P.nu),̸atmG4XdLB4l)Ud[Q!ʥhV'Q0ՋeDA |R=WoۼS,k'3I VAZzaAAj}&$b3T";]Mc8{?/Yzb\G@ $m\"pXbE'Ge%Ρ>I2{vP}')_G6|g(96 x_O O+tPqhӻ`Օ|GM>@>Ad8!ktU_Ϻ[3)ͻWQ֘9 _psP8m4*VaoSM?7iV'A_G''5o||,{VTaa;Q &WdO˕́~^9?khW:7F4tvυ)&lH\-:av#ÜρO'&xU[aUBWJ]+GOR= {\WNw-QJN<=oLF/؞%h(5H~XhHodkŇ4RG+agI.\o>ނ8z^:u8ֽW4 Y|W¸Spt';^Jy*bgYZ U)ou0aZc!sgwOһ1p:~=l\a묍Co\ĒP9#:۲MhtF=Ybn[Xԛ󦹭pha|A`[^+.%?/ p}PzM#_:ѿELm19-]{=ua7fL3ps|e7*ǫK>hy3Ķ_8* TV+9c_#bk+l϶S4%7˸4z<ﵵ}8=v8@Ex"f{6Q}0%$4Qx["3>ÿGM*˜l5;qAf.D< wߪ;!\ +-KKC4\`đ`3~Ԥ>D3"Vlaf8i[azi6 zEl 5WQٚ#0f[PQQ)F̾h칡>cH+ mP(Ħ ME$eёYdeվ23)$I} ,-ϥ٦l7n+ܺ(DĺxfS\ 'lfyk)S4l[[(7g5 l87\lEfY ְ|ij $GfǧdkMm#n2O! Y(x!mzD7%O +nVBbJE]4W>IE~U8v5awpٙ.͔P Z^R&q3F煮)JiJo@.%ES).gg KG 05 JM4(bצ#o''撃-rjnUK+Q0r1lH@ ${;b,T?\op?n*Oh8PsnsMBOl^',BA )z`!J[&n( 8J AeLz?(%įcb1AACOmT1Qc@lՇ-7߼fzas b{^+w;Ca=jzQ*p%SMAi }pR5Y^(%}Ggf~ךD&bjoFbqJj7;owOOK[t3&k_[asUrbրw>c{(a3&wإi!fu nCZ\]%HĂiԏLN {\I{OBx|s0 ;9^c,*]6V^܎Ōt0Ͻ'OE.`.XHC¾U`d `3P!4&wnЏ#''#3WM?OhV8UL  9שiNb@JeܺA[xl zQ}F'[NX)7&(VdzX裹6mJE}d _vʭas*];Rk8/ Drpl.|lG\= |*/hk* ۽AJUI8m "sW<+"c}P_zemh)b "Q۠܀jd PO4 $q'\O u/x5Rҏ/^Kbq[qdFXn:OIC&ͅş\)"3!G'/I0>Q5La,"cgq6/k]`FhHU$VGmR d5HSTNztj('Od-BAV NG.PAV$&hlSw+S@ETq :Brm7|\Z"c0ż ݾ  Ug1`ؚ^(&;*a5_,PR<]gG3u E&ՆPD'!uio>eI@ s#oFAzŋEĢߢtxZĭ@\cvz0҅XU[Jy}/jKc r/t0D} SK+I@#ef|`k.Eniap p3SrDpt %T;g?1ra1Z B>v▦- bz ^`;ri3ElvϒLG{VFA@1هhq/9⌠j|sfaZbw`q hcQՎˆ! B ع0W.\(0r[cO [%%C_aR~kY! gwD~z%}n<&qBo7mJwF^&8Fi1D>u8Rt+Yg]O[bUap3*FfJ<=7y&M:0඘j'5Xբ jv7_Z 0S6;3lj5VCb'ćTܚEjEd;.v| -RtqL~%Bs6Z]OZxYqs~ۀBu )sU] aiH;=GcV]}ӘT@~б'>@$?BݞY`$\[L Y a% rdX(B.M|z؂GrRFH}uMONUG7?+g6A}H,pANh|:QȿWL N{:a2^e7~WfrXY vy<=Lvǡm ('w%ź)fRpj􎡾v7a y yaUtk>G|^Va+}70R:4Ybv:\ N0ICp=&Q^mZ:Jʲ:󛶅BaK}jX[˳|[ȹt `9GFd}Eݴ'mTM"IKʣe-MFo}h 2täerB3ȑo.vCj0#N]{J[QF5B-ŀt4 @+QdΉ$"2fUDsPըp5(= GEU` 7F璯7iVU%Pg-[(KͶuUnyh +,@8Yia.)fR@@A® ]_Xm"s1c+k=u`A9}?-+5!GAמlL{RG@-m.ٓq&  RIY+ cF@/"+^La6zlwkGY<ի_S`^z42}!K{\4-r ]s\*;'S:g1)`9&}(ymaPg*iȢ{Vu '5#=34C~j1E yhY/[6je۩!Q~57mwm%6F)2Rsi?l)>zUT@-'q>RF|85KԞw`IXAXZ8g%LG--ƹ k, f2xa2: ]0 L?UP P{ |}')}ɺ0G |75=fpCqxBX"Wk=%LA&:Zv:J[&oz&lkBMfRC(P/k|cAuV•Ф(SF%Ǥ݀X@FGRuc~Zn|sXgd<(h2ځ7~ mKt6oN6۲g&(~!zF ޾ݬe^z经='4"u&J!gkK+`L`$N#P(xך0GՑ Lj] 38Ѹ@?2H|0l<]2 |^o&Aw,0G7GNǁ@ qsts*l.bn͓j2)67 >l0ٰAƂ\;O&^M 0 ׫wl1L꣯ ZuqD2̜ |w<b#(Rrz|HOߋ(sXxnntrks$axoP 7M\Vq$]A0_$^Q4ꩈsC߀gZoBZFUn+/2ңѭO.#SK RY(a΅!sRxh@téA`h%DlATR)U .@ ~2IJ=wA 8tp0@RY<^OaN)U4ulc!he"DG3~5׉vy<&~b W›^ ,vw 2mI#gRC G71o$Q+YpJXbs>ulQL K6[{ǔRك+*gx%P.FT-߬ LyTQdJ]yfºqL_ !.?{j5rG,3KPyX\4Ձwd \;%Aqw@v/T7b/5ҫo9TE>&률F_5zX js4ر/d|&Ki[0/v9Ǣb(fA7(T 3{`04V}aH [ð5Q/wÏdYB#klU"]Qu֒NُR{5P S2rDVH_-m!,n+}-kc6CƢz8x51{nJXrkA_F%ҷDÛL*<(. ͥȄ:5ޔlx2#s.~&գТގ׋lzui~{)΃R,z}J RrGB0Cx "#J9,m`3IPLH ȱ HiUDQ9"u@XT!G<9T0wAo@7vrGY3'> Po=0xتD hKLt/ѝ IQUD*OD FnZRHg@دS$ h2xS aޫ5}ΑţWӤJtw r7I#V4N=;0@N|,z\0_! mijIpII$@O)'v{Z6U2bANuW-e_}_' y $iAq{Hݫ6HhXz3A`Vs2f3:~t6CԦ܁sj&%0cyw{۱RiPy&5Kp_ѳ:]?`.E)؂ElLeZӵЊ1r0ROv;⢓z=4Cɬ~}[gv?nkΝtvBiV[]GPĔ~2c jE֏'=ʐ@|df.T}ѱל!I^V⩾LWjqvNeZ ) |#vum3a9oc1TYMlMn[ǂftSr}5,^?|śIOo@IgJ*] 8;ūexfqN@mѻ C|SV#x2e y\J%뮉 +/sRB6s;ΎKrp>h8qpd$)@b.Q&_$cCfۈ1.}!!(ڣk^2x[Sis+i +j/?H1ao\r nW \z͓s*%vu5DOgFy^dBE_WIvQ=@Oeaj4s\qLބ:5E25Rgȟ m=֋އ1SGR6zY]}юa8CB7a$pʵSx4kvhGVepu ~yfމ"S6xP3o߿_yicK:mIZhkEXD`wzNeg$(m, +>o d*f:;HHE(h eSt`Dak>]`mBZpY9n2ԷaK➼{UQcw?([5,+&eB-!u>@gaä.&9;+jՓU.%=U^!$Ӟdi:kX%kۛS>a`-y_Lͤq慎-U/qo-sC)'V_L L&\t'c2kr$dm; XAL! <k4Yyh0v-Zl"#o 遤5 }{/~03X$Jr1+sBeҾ+9lj;:& =]6DbZB&BwD;@iTԔi7Ƴʹ6紶Rf ĴuYZPh=X=xzIEͣ6Wgnv (/OOAИĻ)O|KPn*UbZkv"E^OPŽbYk:K{pTpkހeCHNTIS?:d גdJ8TJ{_5$_,x?*!],P173bͮ6aqMT; #w[7bm%GmX*#2YUrv}?r̩p =:@uuyeT͘aZ0uO-dtg(8;F6?? `t>t3@0S=Y㽱ۅ8X%`-|P407[7:~Z=ɒIʭKF> C3 vĺ/d)هR1(4(mB5nTkͻz}vHVo-qcV lƁ֫mlÑG~e{| ~o+†L =|x56ж!UߑRcJ.;MrG)Raܚc%]f 4 |Kz(@!eLJ*9SMxi?>z}0ƇC#Eu»0%C~_fWW]{SɃGK@<3]7$ܣ|MF#@Dr L,4>dG^ #1}qnI}Q']='EGO@J(aA˟HqI/I =+0魄l!d {r@"ì[xlTQ[3.o$='蠁{Єo D{Îޚ*87UdȚn5"'UA CLݹI_p]2 `Wl78I*cY:%eS6d{4ڬݍ6{MS!ymE\~W&%Jnw&Dw?*vòդީЍy(9Tv2s%siC 6)Ii @׫<lo.e +~ $rH%Jb=O`=tJm&Wʐ^2⑅* a,GQj mv Dr'J=cA">iʃCIiU i 7YvEp2ؖ)C~ƊjgIcN Z"~=DU!4}G+k| )Ci@-My\ܞЌ)zͦhήv`H/@gFj y"\lcq!~4Öx oapm!i4t$(ʨ-6YyKdx|^I(QU: #4b [ ^K}:̯| Z_W)QABz?O1) fڻBig߉/Ezgh_~$#$Jh4!V#aN=M+6<[}X5M!/=Eޛ6nt|#Q AK"4,{y߷b1:dip=0gԀ ~߶,fyC> CgW"\cpAS)1lh<yFEN*p\A\"{$ lݪ`p _@܋Az3&1$eGhH/r&=z;V*m/Y3eR瑯OhƇtkb ?RX#5 r3<81OԬQKu@A]EN9?9%܆_ MOX?,"JUۦ3TV'ٓeלyRG}^"Zd-_ATӐ&mms附BE#O)AQ.{v$ eYm球47Y&uphy)??_ѣyWwhn,.]xn\b9d!SYXh7;4?M̂N+OV P5Zx8TxX9~>G_*'ڸވdt[,"'` ABhK 4O:Q cgu=jϵD8 T! ӄq^~a2^'=6eU%S G^*iYeWLiGTC}z5O ꯄw-Irfz{xzY +R zCLBKYT!cC/A9hwQ pb} ]ن'+ zFGJ uıI(}ˉR8vfp4EWHNQm{hGnyp}\ٹ8uW.Ʀ:]:TS[p15=GHȔ 먢nnOE'7 DeyU2y~ZUд^ȓ5۷.ʫSP)[L<}r+[Nq7c3JYȠ^LM +l?)p 7DؕݶC6$;giWw)!%#sZ,}-u+''WACXwrZt ]#糦IkL?[Ʊ$Y8O1>S]hGCAyܻ\Fw^r-o-"`21, 1mX_à5 CHa nn-c &pN[4AV~Lx}H"ѧhz[-صW ˃&>ką@A^={ܾrSOy!f+{ڄ_m/\HFւݲdS1mݫ%r>k|BtmFx᥈oIO LҮxWa-ȰËE5iO¿p(q1gYZ ~M i )# HOL-TLAHOL-TLA.ActionPIDE/markup7zXZִF! J&}] !M젗OFK?˳ػBky "0jK٬^QIXL6esO\/[@r2}B7&4 Y.GݥX~Ɇ!] ?#)YwjS7  gw06\V!!QV֓]~1HW~,&B%m2c蹏2AY&3[Ɣ ^cQawj"#wL3^TJ?4Q=k8B҄} =ש,:gS3%iRF;)š"7Ժf^]V8HͽS!(xA/_&Mwb"~5kVRle@Yȉl7W.,ҘE LHGv.1Cu&W`5EM39zk"e`In N:x ~5ɵH G1)V7i-iq]S9[ETE3`Ύe*HX8U g<UALBs뾔-P1BzQ)Hy*wA 19yг)T[:@tiWW:h_nR݌\]1du! iDYrXkPL#rV 0Rx%ߣlSC`DnFIr.3`e7=G}&8D+\b~PG7K9椆azOmVH[0e9(ݹ1jV[k\S)JJ |,1ZmP &ݤ=j9OFV I _nZ=COL 7L?R7ߋ5LZќA?)!>HOL-TLAHOL-TLA.ActionPIDE/files~~/src/HOL/TLA/Action.thy/)-HOL-TLAHOL-TLA.ActionPIDE/document_id234o #- HOL-TLAHOL-TLA.TLAdocument/TLA.tex7zXZִF! 8]A-MՋhvG"uIBm5_M3[0u?G/4a}ٻYlR C|* G$QwGΑW͕Vb/¥$yaTQRYm%QTDKG amHmΝ\ Ej3(ŵ p{#/ܴ*zHIb*)HZݱ 2.r+F?7s):o:MޗE"t\g=4J9ZE!O{dJx%[J|+_ ~IA~ߓ֏_%%)a~?/fZ9ѱ&f6܀RKZ LT>+IbBV''Z2|MH wEIRWefx3-! aDm+6}s MN;r[=CB)\@@.c KMdT6*e/q ȘErWyQfa&P~ "LNa \,L7S L{Ԙ@$}d;*Z,2٥ݓj"K*X` % *#mdU :2 wB֓1Q'FQTaxɬtzr5YVoUtT=BGp{|͕KN$gd;(p<2Xı`o \rKlK!{]=6X0OOwFƓ|j0K: MV *?2ѾeOBp= ۓ6zH# Y-eėUd:>=4,9`S9I> bJʏ7FP;A X .3\s!oXr:_IH(,D-WÃoU:tSې"74WZ{/rÚm VԃY6+ Ɣj!/jĊRL_FIDŽ+`16obGu@_X:=ޅ I ~ڱݫ\)$DMOT`G1[uKg{j5bF,k˸X[_R~>ne)QgRZ0=.'an` ћiN߁(z'GklD|Yɛ,F@+_߅#E+',,^[F,1t گVԚSI1ӡ~uq`=H*L"`?lcטcPv BssuDWtwV_ /K@' yig%#HSӦ' I5 ٽ JxD6 `:ҷ;7`sX TՔ͖bX֡O&+(Ϭ>% [+쉾b 6競f;]x#=s9OHyZ`@ T֐H-z/T`Pz9ʧT-`WHN[ cisǤWQ| 9N~l2XdAQCTCN͟p Y<Q,o~ge:2ߡX-C (딩n{ؐ`iOr9Ȧ|d%̥CTH mߓR>r ~ruQZ7Ӗ "+_Q@g/{S5қ$yRʙ1v-PæD݄(" &A8K|PJ>VV< Psl56Hdsp/|`Doʜ!ȟZHhH, Rﲿx=*% OѺ;32$:HkhF~g# m$t J 3c:> [oç2ˌrU|em\YlTeZ:`J.ڐ*Mġ; l.]ˊ@゗!3kAwO8N@Ɨ1[@ rLZqU,q*e}i_µ #d wl?i_<qJ褸6P5rSL=uG4zp؞eOrQrD,K AY9R(h` 9{wDc)ܭJ |lv& b=5ywpd_~Ie m^{%ݣw[in6ZZA]`J5G?;R @WNVY . GvmkE˯qa+/[ä0WtS׿(fOT~YTDt-{z[Ϲ*.&C 2ZvYI4l}z)!R#a2s`hJ@U *[=Ax ]v$y=+wObRBv$RlJoEN]UZ/s7qL~`e꿙QW?cl;{ S];GkoLp2N4Vrߴd1Z-6kW0| Œ=+ŠK>HM8g7ʔ|/ptG 3Ebe6O&@ENvzHcV,ق`75c 0l9z:\sǿ L07雹)O]FptӢ ׆?7=>˿}} hE Usթ{:܆=pKCciI)uUK %`J ]U <%k?dעo?=E4^b0 9"樵4/,QCfnkVմF]щ Cpa Ʌ@2H^; *.@>}CVdf05Y f3T8< vB*P(r>'AT]Bpz(^"Q&wiN.+# iM@2#bqm ZY- {rh03بW]qM]ElV$r'Ts@*8o<ūE-_ o [yO՞N60n,|NW78]$ߙjnBKvM^~;lЧ4'{JxVx *$nӻgA{g,%bbsӵmSa~9fЊ Xsr/2>kǩ|?QD`yXƋFVې]K`:b̈́9(x* 5", z]n0pZ{!xen*m'E1 eʋ[= ř<.vEo}Ox`%;H)-)C`l*B8,EݱpdDVU1-}'z~#0ɖQܔK I!93)zq7YJDtYVΞ#69ٍJVbQ޹!4BXȯpk3mUmk|p)ֿbFЯJ< iSÀ 7m @AxNSiNǂmHjW,ޥ l LX3 t hF!B|-I.s cFkVlOK~7wN18sWڽvu@gNM#]'Hh3$  N ڼ r.X>$Ly!_dQYzv5HS0_(EG<hԉƣ12J8u>4&np'NJ|0|{Bwigyb::p:JZ-%SNK և yQRIƎzU~6]OzW78|D ,wy@fPco)A{K21<&WÒ$r9x2Q׎],"DhتFS;iV7TȦg }H!#8 0ÑLS yR] ȉüRfw<~gK63Ju͚X3K~ù3/-{oI" vaޯ1 QO7P8&vѫn՞8ҿVl[av~x;>rnl Ĝ]T;'s/ \.'piʎ5@3al-ձ#|>r}a #=lU 1 7 PmSxEb=K?U+:yY] @JQ 2 [E7Wj=*2眃MPdw~3[bGl \vZ+QsHbx0 4 6aJQ`58hzJ+i>ωEU҉e}X}C':n?<1/؃]5Ba7;M\KT']^@Ri"^R=g@iZ +6lvFD@EL~q6@Qq*it|\/%݇jhQ:A'E=ӦYԁ%ce]5tCEןA'鈒 9Gfg=8/70s*@<ɡ6瓲'GHRSN\7ىL,ߞh {avOA=J/vS3 B۫eL1MPjH7lnL(<% ɑ  ZjxvYǜ%b9. B4+i< FUvuqpBȘ)wA\CR Q-"J![ `ZuA\Z1#6=/gK(ifa'Mi@؛ j0ƌyUM뮮7\>d@ZyI 7ϔ>KR#,'!:u S3}L I qU ysZ9 zh`gNҋWadU}ez?P$3U"%c`^~t'|eo/&>U5IdA9y*K>:=wL%2PלkVܥΔhJE}Z8! _&gM(+o+Oh ǦͲe! T?mQtºiMbg?oPdj EIbIfn QBj xv4 WR`d[3zk,GiO[!pTI@\ٵy-p $`UR E%7._|!yzLGOY<:3L E1!" |8X x3e2ZOHQ՜Tk^ۦz̳ȥ  ({ZFyd5W⢡NKmi ^@]1jD*nZ=.uV%ُrw!p=fwWTfJgd cK8!=%,-nOSԊQ hEa"}.eso-_Ւ,?r=]X.noI蕮XFACGqHfعi WM.df6/p uV%Li6)66C ONzc~qtȟ7}P>'yjQfmim̝e8:@y[/Y4ir7\~׺f#XO]{638m/F%w-—usr#T3q/eЃΑ!&?j7YL>.Gaqp  0)!R*r6=BkأGR#ILhj 2 e3Svx\G~ JZ[L=W(ʚW~VYEcܽm{[2F-UsO+\~Ц=|[3P + P(' &îvvh#承<&tI,[;w; 0,1| (]1,JYY-w5BO}T~XLnB7K;aܚ&2mnIDjuFeR'2wkЯ#ovM hĽh'4sxjئPa݋zLçb *OWv!t'U9ɅАf.&G"H4zهR^l".J\zF y87M 6Ĵ(5Bir3#=1eGBHjt_x_&cj& >ͬ']1\( lsq1!zs6,_׎޲lʞ[ʼڮޔ>ike R{<"xA?w2PP.ZV|S>agaLcdnҝQ(7ֶ9/a:Β9 '{шYNPhkCn6יoȓ@ޫ:DAֽ کՉJe]}~iu2%aB:Q(0prbI5[h * ?6˘r7~q~SǷgp 4"wٙ~a:_NR$`{5$,&P!& oZs UR]ёt/Įiׅn3r8t`BOQC)Hg9OO͸`E <-k*ʚg'zYY\N^9hwt0O?ckIi}-* ·PK &wXy /; 3] X2 I/əc1T=oo &&B<ⳲY݈CkYuCG%~,ā[{Ȩ> 2+A/ޢ֥c|3n bEN_D#Ag2>dO-EY2cadd1g%jX<-`G>PGni=&MıDVJNk,΃۷Ϝe\q7 *Js8IM cq!D'\}WAW:p߲G$4goKyɟiBW DBV\&bYGģTzQB{:x.ۉIrFF8`ޢ>@)1לdlqcyk( '/hVvmGRkgeID,b9"Лi{${ _Έ,|[E^Oӑ&Ոyj$ı˄ K{Dh(uSpb{jMM˚ DcgYZ  H ;%!:HOL-TLAHOL-TLA.InitPIDE/files~~/src/HOL/TLA/Init.thy-%-HOL-TLAHOL-TLA.InitPIDE/document_id236; #' 4HOL-TLAHOL-TLA.TLAPIDE/messages7zXZִF! ]Άxʆ5.f-9 rq9nC2PW*I!/#@m a d9^%􆡵@*gr#)n>n=Bv#l?KSŤ#HIܕf8)5G)Z%37CFK='|FԨ(h&CC  G޲av %|߶6973g~qu ԢRذϿ $FҰ,9}R) ߯^Q%L0lmdV?ef7fӑqE)^}q/BTIn'=wbr[5dyN&*Z&FȬH#M8e~gYZJ ## THOL-TLAHOL-TLA.TLAPIDE/markup7zXZִF! Id] !M젗OFK?˳#p (gV3ApR#A^d]럎fEM`YQ=(NEv r@fˏV+Qhq)ȜǕ ͫDD~߸ZPV2AߗۙqCQYECG%Edb{? AH;w%轐#el2E}TRQ.M0m,'/]h8Yގt'l0=|)"L n(4NآMҮ&sg1TI`3vBѓN2r2롩 m){ruw;RcW=dw"N(:E̒4vrhHiApf523V ,o(gQ^;Λ_rqߝ"Z;-.AT7 b+r g/cd靾ƟJ ló7 Z T8$"dz S<3b! m:[' Rn2ѫMP#O\l&X BrEk=P2[QV%tրb|441 OųW x5g"]⦆T߆qօ),}}`4vƞH\HM;A 53E麾v+?=(!i qX`z :@ paV)#WKQK>Ҭ í jTne"(thrZٶP;;}l$6'c,s3<ᐺ{;=)B@wU~ah;*WD}cPG+lrp^@(pHZLk/lI2u$Ilxhd JDps{:wOO\Hiw{|SϘ?De= B 5]8|Q~UZ/&ׯ?@g]8,V@fİAAv%q,|6^d#Z)J́oZUgzqh'@ydeC1>m&U^NA3>0$K8> Q=:ԚmnMuǔymu9 #!8HOL-TLAHOL-TLA.TLAPIDE/files~~/src/HOL/TLA/TLA.thy, #-HOL-TLAHOL-TLA.TLAPIDE/document_id238b )' |HOL-TLAHOL-TLA.ActionPIDE/messages7zXZִF! w]Άxʆ5.f-9 rq9m*へSQ υ\A_Q CQIm7;cL|i][MAoEd$cxglxUZp"aן̾Za4b¼e' tK"g֒fp!<2ELEN;]4df8&7?Oqapnu_`bldepI!Nշp26fU㵵NôovԞ\.|C$O% m.Ay7lF/Q}o^4t S#Q;fA 0.CRbX)i"VBwEݨ8FgYZx"MOWYh#68 !C> d7gf4xyXkd[&xzBn9 gL.=b#>[he(Fe$UHu!;=r]ģ,9@u$;4nsL.C3?\!4-xF]:flk݌ w|`.Awgl%T)!-wniG=u'6:$-Loneq,VP$8$K]*QXzow 6oF:5 9Sʼ5Q@bAZu&FI[?cekd-<%ѐǚV`uOJJ+G}+ I 4Wp]m{*|-tSǬ;Cmh͉ C$\k ;DBYfΡz0h6+`BzgCCd/$tH4F`4R#W"/~``j<!|0pOY:Iռf\~9/!-)}>)P$9f}rD^bD2-ny tb`e qqWѤ%'E5c,ǔ#(²c ı :i}C0NY/B嚴jGFfPٸaO0PPWˠ0GEJn8e >KoГEH+a\lBUAb4gS|n$*]zEbLDP֯ n п[^\|5%!wcPnm,JֽomJNē+3uwB<,!"q&Q*hloJE~&]pf199I~Njf^r_y#.3 Ewk4"plVK^#C[9>Ltz o+˛hׯ.6l4UћFSEv.>T :^1- 6T광}p*!'aUw0jъ`\:Ϝ^Әlk Ѱqm FRek!_fC| p\ݖ2Ie[w, u68^ -PW\D3qk4U;gliǫuJfI!PV~2-B7|[k&ɟU|Q^†(xD ^*5YE:"( n\(#DTG3274;琩*' lÓbN#.[+ԵBcWInfHK<@]]dJcZ]*ɨHKCJ+a۝pY>):Uq!K ["yjoWdt>[>B'LX_V:DBI/ޔ'6KB7@̰LNևW5HX|.yeS mڍ4rtԶ85eAD)[\v+ZkSvcV)_WnX,MgIXETļw[,o,Li=AahWmX]7_-/7 g5$GIm|[+V(+t~^0%Kԁ g;p\av,i:+k%Ý[%A1UuzMqWvݔqiyo<&H2rpνh9($ |=֡H[e)2ϩ -)n{/&no$Vmqcn՗AgZc/>^C'~pf`nh2mroL,ː,Ko\|X9S`93x7qF9y0(d~.Á9#,5V|ZUS$k{myD6+βx5I+^5+8{qH({is(+Fݷ#Y ;lqȓkPoȴPv}D oqE+XH~S@Si-,JJs%g @ ̺eZ5:6RI7H0pAmBu\qܩju,U,\{n+3D#P.H?}<qg[ƣ>8'GN8l_ؿ3m) 3*'V(<9e;zv R*xǑ4#"#%> 5i~eOýwFN/J4Yox\(ݱ!db@wj#Ϊ]dhXDh~0t?'e{D,M7mVÛXe犊~PҗSN6pYώRe$=&RA'1o 4D 8O-ۢ<PCJgYo`Mvpŧ Rĥ1RYIݜh?4HW[Ӥ}ڜb3@7ޟ\7|$uA@4'w"~='zE* ӣ3[ .5̋Kd`vf8ׁKX6CF;{U7ݨz62>&~'fq\Cjgͺ}$6خEN3=mUt_'!UQ'0Fm)1ψn$@*n&)b} D&Pd;$3a{'Sgi0ɧgnd!mv(er򷙑Tf]=|ǚZ2 D'.;Q'kW=gX?FW{2t̅"Q 蘆oKʭ9Lױ@2K"D)Or_թn{>-^Ɇ^WF'˺"3Ƃ$7(ssAٓ;J7gO{򼜐+BI2T&V4]Hኖ8$nh1GOxW'n>0thU M[a p* ۥn?H:r yɧmJLF}>n@{=ڍY otʣeLR{SloH=ס<96G8@Ƀ|)-ԈV~=TOboNdݶ}|3&8k=n:&h,h2Yo&aUˡ鰔Q+*ǽ XwBpo]84mlq%Oly@C2F;H%,XJ-[2p(sZ-:|X'a|%`1t=klJG2H5jk1~^iza[wU$uEV7|UwJ'Հ§[@l)(r,)&Q"xю)ڍy5aD5m|"lymv B}!wLld.<_}n@4]ar0=Z˱FP{Ϭ~WD2#R#836 ~ F [sHH,nY̙ ԧxBL%v`ROA<هnZg& w({qՃ#^z燡$mΌ"8*r$6{r-hJז/JLZ 8' 1Iyl@|@}vφ6ei>WBbC""AR*2Id3R`*)ŋFU~sMŻ46 ~aG0X_g2*pM$l9*V̽ U^VV6MwCؒ`,)D>A_ӼU7Mti4V_OŒysgCuS+0-us\8N^_pxLswxqrQQ"p&Ks'wAC>oZn+-/S\ؑ8$΀71o.1w=_M`|- |<,Wpnrz\A%5}NJ^~z7ķE؏lFKAA׬_L2!{ ɟFLNKvin8c(8R~~-~&U^UU 4J2zxN= )nsÁZl K'g,vTfT(wHD9lG~<nG xdsfWk!q*r*)3Ϝ9셂x{jxхEfpªwWeS<g݂}9.ey z0x-ST6 [QŨw~M%҂M9 /FBT1(A0@1Chq 2&lx|ZjĮp >ߒ6h.\n #u=N4!qX>0( ۂOaX2l40Y]/\ 2IScjw1db~.g?4è2Ka :L/%<3I11XWO 7uq)Ơ ,Vk2 ]E.p;±u\"BveM+r`hL"iyO$\xYj~)b;w;8_eTLg1ӗk * doN4o)ʍQwA3,Si/@rk)oTs@RrXG+tl ,~.Ufٗ6^@'?=<~яJ$Trc(PeĨ׷+/D/d7?7Ek~1#d:ߏ1JbD6}Ś.=vt`ڬ3| z顷Ed`!he;OKbL+6Ayh˵ JA!C\x+cK)DV_[Pл9Bk:zݡysuT5̡{ojU&ͣ^ #)(:h(R^sIR9mcRSbm$}uPR V4ħ!U;S\ys K!xCs0]29̺bY Dh\G+:+F|0s9y>F :5)ffa0C6[ן @A nD9m'УsȌ u ȵ qks ЎN h=.F#Xzu [֗aE>)/i2azƒJ*RL=@WQG.ώKϧ&> ' Z3W9_?۲{HU6s4 َc8ȘUFx{i~RWM9T8HǛ iuDPy_?<Ł״>ɕokE5EAS _~t91WjUTwK_1E$d*5̓Dz Q7"w0 1r;]wF!ڹr'-PC &X.by0!ᠿďALqJ񚻕3&e5E^ *g*8N{/lh06ۏ{GVMh+ss>J5 v3| U(b"t?ce˞|. NÜ!o4r<\ǕݱǨN>2fN*![z8|زb\{c#>n+NŮa׭1p3K{jlL;YmIQVc ,1O@ٵldFcL8՞`b>>z9W BiƒM!?v%Uw v{M5T;A &8(_`QUN`S;59ι 5ՌQÊaT¿Ňt|EnЃ(hN @`\8¾j0 KՊL擌C~1?1ѯJ Pkl_*aDIt~zK|eXz:ATg哬T=WzFތ4Z?"6Zj*'悈@(jiU Z8:񞿑|O6T=eOͽGa$G?SlpSm[^d:v*eh@h0D'$KqB#HPw"Dw:X~ T& iv՞R^;F]*RWxSvq}QY)plX`iF"KUnE/I0ݸMˠVbz"ѧ ưo mDbͶ̠Pϙ{ ^fP,r[^yA9 M=x4ÀFІ1 u+2\v J}<Zi{7{#ϼ3j/[ȞY]5xY5<*YK;ڪ,Nn8^#j_b4s.Ԫl_S~h3XJ0j- "7-RqNzKx?k| dDeӶf`͜lL&rXP(=c9t/h*Qr'[02)d# WCyi-cq !9%mᷳWuW˶H"T2D}=wfҧitJ.q'~L"qGػ.ȊOc]q֝u?4hF0]sD!_yy 5À7F ?,Au?L2Á9 A:xJ!dpB^gܺowq;-4Im;q9ε}=-)R`k}:u $Ģ_Bj)f͈i)L jzR7 ";ic>TH WI|']S$ɚ^:}2}b܀x6.X.=է A:RSP313ac%l  $kxtǿcSWu >~"'4D ~BOV_"}cC;J9Y1Pk90O0,و'~`FAčt/.Ab-]X=1o,+|kGma2%H\p75tl켼 ) pY1]L}qlWlg&㿗0O!iv+86MJPg]TAotI~~Or2ҙ_%%efGU>Vb12* JoF nE)ed8=}}}kw%vaH+;gPftDrP*]&'dbtXLscy L+jVr'0YiDPC;boDz0P_BUBx:TtjC(Z[ni"oh~]vP}2iVGJ*}JM[m,RMyڠBx k8I IyPЃ9 i @SЈ Dlvjm#uNl;nsgh쩺S~yo u?8F= jҁPuGDT ] )Yk./jꉃ3ؚAE-7Mwfj7̔"!q+ʾ&L=3&w蠗N扈<Ƙre(4zLMIλTfAca.$g_w8;U D1S53Gdwg3$V,]L$lIEoQ_Yi("Z+Ԏ_a) "٭P[`;.K9t4tZxmSqh]nuB&Ŗhwr"ݥ1^ R1(K"6H")A5] Bj n調m=SFh<hp6՛!c9ID o7jƴ,}-=LŠ=;!{y Uv%3E1n\l#jL8uF$Dv,"7MS:B>wS͵-,jo:C;( DL8G| Ř^kGmѓJ0 _4K /GTfH'hs/N|Rsѹ审~.D yfj-6wC#G1L)h8e1O5;ENYxq.{GZt $9#2@ 2LPe.57V4/|VžGEܸczIw֢)Ѫ2\8FYPaW9zu0( 7+͸՗ C־^ !*2f #y#C}M}4 e*SYXn+{DakL'LZ.Imaqk))eZ|/ ߤf~z4̥ DNttр hy_ž8][ĭFFYK]݉BӦXp:uJ+lR ̹#^WL~O\E8 F yf"X΃MY#W1N74DD$}wcw@ˇwh:v5@V$Uk&pa^B}߰JWr`@>./Z07 x$߲~' Kb+jvᗐ_%֩c)!4aEZ6>Jͻ"#?k"R2ܴ1UB.Bg2jqCRDBPUo/9N;0^_D8lUYt3ADWzuqc M 6Ou c k}`&lM1^2\C\'X`hU(mW"s_~7u\ZjzcB18Ƿ'|}wAgkO!rD[NAe QzfКmXټ/FsIF&A+[ n9نR8+r)f5[P5Aʼn۬4B0cd$ąu㣦_ނЈTǍiQ[w89SD߃n:>cp&q-{i{;,LkP8vp۳x^}pUm?qAwB=-Jb_d> A&V?}wfʦBV BLܯ^.-B@ +jнO^?,Wl)$7cjX p기|3QÏz)x>qyQ`E漦iB!%YZP4Z(;jcgI#oy/_cE{#BF)>q!>p)~BLOq..}6y ônui W~&7p/q}*A~roz8C@94CjelЕMv}k;c4 b{K-*Z}ͼFOL]UcVCnP+ ȵ W8px#_: D8dO7 t҈)Zs(ZTAm'鞷!MOb ʌɴ-Dl]wxxG`2{ l@ۃN9&Q}63g(Zt̏l]X\uA_m9 NW;̀Ŷ'^ mp4'q*ɳJ$#W@ِQM߃8N>$)5Gl0aU1aw8hmpEddDhcq-?Uv ~5V{9zJy<"7 ҧU E.. K^! T۝YP {ZZÂ&,Wk^&qN'{|1 N ܙriĮTO.*)>>}d# N!Ze?yrL*# uAp:оdFφ"i~wҘ:쿞u4 %j'Ix $G\Պ64T޵[89oL4 =עa̖ Gc.}9e*!LjJ Tuyԅ<+2oR-EܵW< E/ iʋX&PdtH :[Q+;nϰTtف:Ӳ_h}|rS!OE`@09c*طoB%%Ѧ'qٱvcG*Ş^> jHE۹P [w$.#G w@w0k-7tF\yRi3@\TПn6dmҝT^Q]-vǢ'YR*) = '5!5xG [8cfn#hqOs c'%5PM+*N'E4jRCUޭ,p#,8̚ Sk)4ɫzG٪:@CXOa9t [U/s ԧXS!Kߥq2)s,îkKsB߭3G-$g`|N3z RSN$(uNk6C͇d:ZQ9BN4|6K{l֬LԩF 5l -Vrrk٠"e7/뻖cĪ#yeƲ1(^>ܪah36uzoQ:[cho`AwF,% &Zfjδ(po(2bM*x.ˇNم@rsIH<ĕKj0O`쑚SMHSy[=Q?$ 9TJdEvGQ: ". }4Y0o(ս!4 7orH]Ҭ g`Ot(z3z*g? ߕ@ D(Qؓ 0(Op2dDC*\T9KG(gb:3NbM< KyIJ} ȍծ5Ɉo*#cɣ ,*:JIPm;m^]65j TWbQHoc & ;n IfǨh0MoaZ'{ U8cp/²>Ǡo?ċ˜: !تP R5Ġe9qVlK=YM[w[^?Uxz ~.gHިpvepĹ~/_oAr:Ho!癯\<[7In/եӃ)5^/UCAMP:J+=uY[d2Y_y i,>aaH8gxHkC+YƓz'jD)DиYmxutb`Lr;?Û<SN2T>S6S?C1.#!YFckG'y4cZ0|߻j> RqhO91񊠧8SG/Hfӿr;?+j`#xg+hz xZοEh]UD4]йU\}ȺS8Sq,̽O"t4xJd A jPFQQd1}k|R2xE@a.qqtL|(%2uG kc (=В E?t{qèGVVG@,g*>Dak?E9\`+DrP=Zp=!ʉk47|k]Nlfif[}WR)k<ȬG$7nDNF-b_ ͪ rx҄"{+ʭSh)Zn~0(U WA/%t܌C ^9uݦ|uDpUoJY]hPLm.:K~! uPL4\Bhcs>S1=S$9$76Y|r<6&fZ5T;}R$HH`v5r5֡OMƚы(]vJ ;!A܊5s.D-tc`[gBDG-{$`xUS 6m3%ѷA>SR#ȳN.kY7 ~ {HJiR6"IɾW.me#jrl{_] <|5˾Ξް1g@V0d4;,>vˬahОug e^1+9U8~dO}@@{kRb4 S\V<%Mx/VĿD1.|va.i΋P)Y_&W>kf6Kn9f<{^4+|1x Xs_=V96L}^V-p.N./dBLJ:.Gh{6nDhڂ&-5 S7qPh`m-[Ha 3%͉E[Cb?!wW)iݬX_FKkRtߕ y2 q8Di0wNiT y vf0a}S0@%/$LL%V?iIIt ? _+%8z߆!3  yڸ H@Khأ5SR!XFR݂E#/{8w%D'N,Ǭ%L|4܊ܫz]r2X27٬8F%g=&,Gc971ii1,6uBnd_緭p oee*OAf fePv^@w8˷Zf2ceGB s8QyDDQJO=2Xn '~[*Kd˫5A:XC-ό\b!b/i,5½iQW]O9#pn[s'Xq2Ts7"6C+Z~ Qp?;CYz|5f-I]l4~^a)GwT#&f6+gAu9I {~485dLvՒ4| [3p7)'+:K-Jn٦!T|U &[pMS)CRK2wqӌ' ؈D$06k 9KvvbJP6Pz^'#CX(C HSvnAAڵDЫ\mPcX~5uVPҢ_01I~5^te :Ţvyd4R(p’ c8ޓ `v$eeިYT0}ոڤ mMA QYbY.JC cA_|cFlW lusX؆ΕO/s8}|Py(YB_{wܫMS ݗ scdc 0)~EJ\xMNj5 U~oy_ ǟ# zpRwWlb`q 5_w/UڻJN_=l$=1t6VN%jpD4c1! 't(kɪ `l%E*5XPU3.' LE76Ic&pE&D TʦAt*=6lcA6:2nѤgǢ辯:qk\^Ԓ>tBxHqRPw+r"h-XÈ}ѝ`Yv Qxʚ_N|0賰/5j`|19TBY|]FjRx>ߠ$6 kO3uEj@Ly"-*˾ .~ޠVJcœZo&nAhy̽iI}'s C ? Q=B}a{n>23Mg\)l-],օ_jx0ͥ9VwMG1>kICk2DZ:RE Cr!!1~YM!YɫPxn 0oU@/RB:SK qج N0!ȆUec ⺙m.x&Z5ϻ:`b&cX@wY۪"H*{r 2+^|/3+ zD5*v,zc{.:oNBsgJik!^'"6=ls/r<F(4z (^ǟ;s^\r z|c `) =Oq( R߰#I_n_C6th MsWo>XUm2љ͋A^l׷Э)[TgUG2MGL_Lus~[uj3aDE[S$3Й0 rMRwDK"?f m)lrl+p lqvZӷl?Hjni j}f`Tp3K^4`J}/o[L%M7hMG;VDjUM}g9Gtk0N%b7Pp2s@$̼Pz.pf*|5fnN?q[ڳ-(}@-+mY?F;=9T؛LU:ZJ #`̈T@ %ndLZظ8;𳖂[+?9e*pH.Z2ش0"}Y['v޺At+01?2693+Nc,>˵YLJqmӁ.4iYaR\+*ZWH#͈ Y`|IwG^Ui)QB䬈q^HhFji-= n1F/6vS0պ6<iƈ^a,5k4>[ / N|nPBj$vRYԅ Ҫ0bw*3Ox3V! xM0;CL^$6.Sazsk8k{A7[%|B@\[N9vb}Z^K=MQ% IbǡinùC#Z.ĪM ˲HJ>HUI .'> aJ;((?\SҡAHe#wݙ&#̋]˲^3iE6TKC3U~˭+X't)fTEkޗ7qa\|oh7 lZmS|7^V dp m/3  L 艍`/i%CXcQe{c&rBj8%^GI2t= %')bAdR[2d",{|bUNVHX:A;s>P!ҾT2/)(ć(5|H^{$ƒv' U>eƼ3*|Sl 5Dy8B${nG09DWe_ w΃δ)iھ%\įJ4' }s \LB }˴>> OG([bcϺșV2d}a |V}ɻH& ؆0'ݫ eb2-xkE/p:R0pX)z @S2,fd"-Z^h `py 0󠠥2+>DόѠ oROmXQT9{TK5dM)ЗHv;GlquxWΙԚ]%JV谙F)Ujhx]A F >bxI[:%NVcH ( ?W2pgH!PnewVK>Fվ~q&5^w{|>Mi5̒,bYdٱ G)5PlKl"@\Lw5،nD"2ZӃJ)Uޒ~Zp[1@ kLғ8б"v0=+tPAW7PiF1(!a[J]Gj$V]z5UAQf@5Cr]|xjl~%|i` m2),хc\N;a9+LE05@܆hެ2xԀlmj0}c˺07a3"sŸ&_ sa%6;ehJyW=ɺRGU)<7Y_nhBi:F[-3.r#m]P}R#ܡ+B#>v;DY|](<X҆'+' &}ťDywF8/G8F#=ˁM{fML4|95 q> o<4 \Kdax^{7.eeܨ0KxmW= F Lӗ*X.*{:Ry袂__L GSػK<+0G@; 2)DɶqP*00IYŨ.ڍ)^i,}TmYeh,F_c?{4[{dg?Sz v.c;)<1]/v ~0T ^Ѻz|)3cs'o)[У⎻7?C$=} v_nJ)XAy,I"q5:c% <:DD_#,70] mm4[wX6C LtL&OdUzp@]l7wHϰ3jۻ<ٱkS%uӞB&S Ȣe*G(`rgA;dL Ms; &1!ȎsZH@3;iD#Vs,%ya_PF"|}ay:7  Ƭ4?h?.uV_ S$~TS-b=1_?|>R5({[!N[ԉ YlSV F{c|Z_)C 4D?F #1I4hBO]ɪ_܎U2qQZmoDnn}d$V}xi_uySϜ PwtCN9AܒPNظGiivA]]8%{'EjrZaQde 3Hu'qGzV?u̥H>+B%O#@ C_߆WY d07AHyW֯RBe&,w+^vlXcZjPȘM-(t4J= "7)qGw"xszgJS ,7`6 $[L4!$|D<nDSW)#Zh2@ZZ4ܽCG8pG:gjU對79>0@GhMwӧͭ" *l_{g1UԻu}aS3U$ϿG%!6M4$- rG< l#.[,yc])̕bv< -csAvs}` 1#J|, ,Yp,%`N4D?m'VfNzd±gYZ%# lHOL-TLAHOL-TLA.InitPIDE/markup7zXZִF! /] !M젗OFK?˳&1;I8{yêx78\/^dA!:j_M6]:<2dSAܪ]LEu�A,6u-M֌>xcV¢9ǡjIy:ڞv}-?CtnRAN[WiLC"wl5@!|"(7*>cmgXx9Ϟg|J3x49#:>,;ye7챯nGZqnfk9̬zU^B6&S8>x{js̩]'gb vYO{([;{^O!U !dcxPؗDhRx9ЪC6?CM0]ɜhnogrQ@S y~^=>G- \+cV͙cx+/j$X 6Yk7sq% \,:ky8Bw 2^8:q< Dr3dkB疎C0 eZ 1n2Nw>^9aseUB{'@ָ q^hǴZ2{($Y睝:_F\)n/Ӣm#=kC !'Ncj$j@糳K֍A*$g^[f 70v`.'C*(Zp-i +T,Ћ;/:~bys%_?P23GZ WSkm/%B=(1ީڤSp$$=jdP 7̓t-:$Cʼ> -4ۑ.p4v`![8p$b7C\F0n͕iî(NEU[Or 2'r24(+aȫmLOn0Lg=>!Eݻ-S4[3{ca闞NJJf1Z mWy'I.R Bq'pKeN`YɆDY/@uS/C[[\OX/v:9V 8+$r'؟t8d.Ь4pйN28/zh^DQ"pM@ZvH #[2& *n|W%{l$-_/tCrtaʾm"9\ JzZVே rqڨ'W:[J7 cy;ml`Ii{F:wrơf7:.bq7\qA|#xaC2U G} HT~m+ ?w^U%ҧ"X%b:U.mGr|I=F25hI+"?:B?]ߚiFpy~qBep„頠 j% %Ԟ0&de.|asG|MizS,*?*p|KPgݻhw Յ[:? !M͘VtIR*dz;p},lj_]hA}Sqoݥ4\ЪDxF^`$h%z9ݣT#CH"jA{]FIBYoYd'3íW+4P/+6w6ZR)# rZVm lsݘ1@=A㛟Yp嬆,f A| l5K^v94BN.wlg0ݭ@M]^%qyXFf.킋J˝^砹ÃxMa\e."[7m.I$H»gڅZp@GZ`qSaƱ(߿-~#n(/lnv{#HܒV<$SrBeYF‰lÏ tӷCKkliL-;3|Imgu8YPENt[qSN1O>̵+xr $* LY7.|OG$FڅڂQ[$xzq$> "wuc'M*gn.X@¥%G9Q3A*.mc"o ouh? ƅj@fDz`?l&v^hg¯v W qgP{_.u%)41zn㡿irP8,SHF'RZ Kz6`,]"ꪼ|M7ǃs2L@umMB.l^ٰA|(וyIDe_57G`],ilZA܈J'x`wmtۇRjٵڈ~XgZ0farBtuVտXbǃYX& VCBl.!xyu6$'Myeڂ׏\l?xS,1] \ah-`g~$`ㅸyY%#- $kҬW+=x n`/p(Ou]0gьJ@KCy4Gg_(⟗uɪSlzRhE 8H譮om ]&A ,O\OMv0[$8ӄȾ2}2,ss`(&MVc6~*׋LJ7(4Bch.G߸PFqhXnۦʙ1Y"3:Cqke;S|.xjcgoInX^#*@D;<+I\3:HnLmIIZMBr:ȃeǓR"4;w}吁KR=% MWA^uWS)!%rk W#C+ hPinņϸ;?d;6&>þ 4nh& >_M"1fy@s j@dϣ(Q Ix05QPsqCJ< Ec_nN.6P Ϫ†aOi`T5Qޯۇ sp )>]Juʼ $y27HW1,7R][Q-]uX/bVz p^FE_Мx:[O,l@wŞٔj'q-4x|=,AQ@矃wTtoabxцMyU1JL ܊oj:F\/Z*?x-MH?nDX@0,!O R,猾AwHXGM&N-Ńٸw'BҔ[s!j2WœDF(sx4ɲʬaAܲS7=F,H3 T%ܣv# PA0EZ 81/ 'Xn,qnN=ǁCR= 1QB|n#&v_4jLьq`鷯'WO1~lj&סߒ#97`3~rd1759Zo3Im{iZ>v˱,(Tq3Y+:2K.9tzŲ04eZZ%ֱ}5а1vt7ʆk \׼̭nS%fG@;Zᅪ@J 7#fxQ~˛Z:YǟT8߄ߒpg*,-4clFT\7`{4<|Bt?W~5$U{9 @;ě-?|Ƚ (}BtE{H㋐mʷ&D:ZdzõaEb2"߆gu ϛqP:$Й' /arS,Q~~)@-\6 MFo&ߌPc-`9+{if0z&Wo@AHoၼGߟCڜy<7?1Diµm+J\Z6.$Ayw*X⭅=d7#>쪛0-n!8P!$%&+|hRU+߯6_xx6x;XS| Jm}bbvBvSUƪ&/ZXUل7!jzYYV0 'XfR!}Y~Y9 C[ J%ǭ)paPڱ3m%|(\ֺ/yԀJ2VDI$zT#?5Yq oaDh)姲0[&x" P4O"BkG1UρR&r4#dyP}N1 *₡_~UQ,l 4q %)s4ߡBWDxJ3$L,㖼+"N yX0^zr:'3jMz6{ùhh]& Q-S5F k1:*h=1Uyy ?_fi}z>\M)r x-+աޠnҼ+vޏOnIr6 [Y"Mt; ߣ$l8 ݆:!9*}TnjNF堥h@j0%"UWA*5NCO*/2Ѵ61 jB#(ueōX@$}Q˥H#X&-򋼷+[%pJm_@ UW܆ ʏM(RQDٷ"䣮` ;V%sWbʒh>(<Kpn 2dxf+npVn\KZy-sd;j]5ءne((tZp ,G! X1K&J[]sUcyc3ߧwȶ& =FNdY܀2 CG-Adyho 3Xk;1eNrk!'6ʷw#eeDQٻKQuP>q!E2wjBzRmP EdokEQ$F4_1yaz. sFB[C'\AlӢ]*$Xwo8h][ԏt2 v7!)>D" ЪiTĤu>͞[A7LwG7JG66h'σBg&0%fBNUEB FBc/_QCR0[f6R3+pDWx/ڿ9Ql%;1&/1I}xwM/qad㝼zf v|7ӗ dQÏN!. $t):{.# WꍢvRedQM?sA^ C|f{[N8L.zxs6+zrWMYڭI|Q=(@EQd#|*m>Mru(PHbr 3o&\kL-,/,_Gr̈́k MLU䑬ޚ.:@>XwԭwH)uSƔh$#b f{qV͌'Mbj_#J9Asu0w kFp-;@$}YZxJ"Hp4ܝN NۉgYZ Q!='!,{\7DK˹INAu[ЧPurSdU4{t YSaQzLdJ$nȦy?=6Of p[jQ}-WM@pWjVmnr*8",`\cXqkj .!w\\gu\#,EfSI&& ֐KE0쁲q"=D~ 仝-1k+WÑVB= cS^ͯz|aGjI%pmjzr2'>pcS}:@8C ׽UYԄm)Hd@q[.@(8Yc|L]s5K;&>Gi~.5aEG1,.ݼ9'JZ_|mj‡U?aIZdҙ ڌkYղϞ$>K̓IK"g7%پOy'f/PH-ho<-yzg3}? dO ue9.d]'V9N}VPDUǣsK{I[S*C%A JV E[sR- m}ġ0E`|Oz0'ަ3Z4h%xsRʲna=E`S{\z ϔZѓyOSGuZ0AЍ.== E~3`k*U@c ߜzmNtmEO^-w5Ah_z *hcZNa$(?8"4lL k<U߰0\'qoك\~蠈3[Nd1B=&cH'j80/ IrWlCcύ*R[ N zl]) c=Y/^XFCTSY&]m]VzgV WHbkװ׺vOkq*g ܒ` Tu}z1,QOL,kpcWO4 Bv >c*}L)g@ŇbiGhjɝG?< D*={lG` #8TUN00ݨ6 VV''# HOL-TLAHOL-TLA.StfunPIDE/markup7zXZִF! -@] !M젗OFK?˳c2n() /І[pd"~h }`"T ~v3"ͮo!꣡,aEG\${P5AW6 Cq{OɝS"nR4̞+01-x'zـ ^]` 99d&(mѯtQQXr͋R[fɶ<XYu~09(VWWccx)iS)oU @:kҰC{xߏ6Жn a\3_M n)BguZ/[AGQR_u 6Z2,NHvÝϐ.iEyRr È.Ƹȷ+@2"GRB}SFjd-wrn.$[hd6ȌqySmYoT: 9z L)dzsl\6<4 ;9s<` 3'8fX#z1W)'bK(++дaUtGIXkwrq[CtymE؊Wd/u;<d8QӮVmZN3p8lݗy𐱝Vь(h70$\L*!q OC4-u4 C2M#A[ ZPFI M';uyVIpDǦMn1d#As62Oi19!%]Xs1Rة5AT7>^JߒQ׀vu$}B=@!H^q@>g4?(cjoV\^ £4Q=LO4 !+ ѧu6glRO9E-wwΈfz e">FEp@Be͠YqG]6FT_wqb_5E7\(ߨ61Nfq9Zz~t 00 .lߣ-dàkr=Ki A6r}6CD 5~vZOJ1ijX@B\X#{?EϮvt1m6ÿ)n&޹HxɈd.|Du짤x5מA2逫 ^q}F.WTlq|c@|b8@NC@4[ 6KhڼBź|^2 ILۍQg^,yh3Nyۥ*4@X_.]5|BiBgޏ}e{P]%f[}xh֙Ƶ^} $HE1"A= -K"&(V;UVW3NIHg%:|=EMw#Rgh_kۍz@kce Mꊗ4Ͱ+B0 7V*NU$5:ZP?ЋKṇ4èr7Y]-{Wgָ}P=A͉ƌ(ޡ=EgƂqJPl|#פxzfL\Ukk׫V+%:y EsɆ@:WC>DT)/]ɤ}ă~x3،BzuxH[S)S9t\us@~nflJNhxh /O4W0jWM$2Y;dhɕiU!|4cDҎ-9w5f4!t{ө1H/5ok= . +;Aݞ#*.56.ԥiKxa7+-gC36S 9_%,?b^_(vYN=BB}bt?Q3!Jr{d+rQ}>)MhkrI(rO?NlsK3@sk7'U]?&$ğ{IxØ?| ?Z  %z(3jgP0UokvM4KnX.,}D,1KFRǺ2V@* 3kԂYJ&~tkC? 2|c2Td^cwyɼIOxzxDTZX?6'9rޱ mk$|d~ D邓 TS.*Cs5a4z20 Uo&w[s =}4[p>.@MGuZ]iq $μ]|]5gYZ  1'' HOL-TLAHOL-TLA.StfunPIDE/messages7zXZִF! ]D?7 {?:fH\A"o*\INmkofG/<& "r7׈al 3UcU)VVKИJs2'Sio#`b}T?x 2dhZxxvA]R~LG 9V0U||I>B@ݲ%Mܛ`v3o)rĒ WQ-r*N2gxiXfj x,O$81o%)G%buwYE㡯-~^nL$N`24c-Cao JA5Bq}uT*Z]EH ;FyG>͞VnV{FNSn[;w>_Q2k.HzĨ Wߛ 7J&* `M"T?JĨ 6¡gYZ