SQLite format 3@  .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  c c T ]/]HOL-TLA:threads=2elapsed=1.615cpu=2.700gc=0.000factor=1.677zXZִF! M]ŗXiɟ1zV=5_8f\r+xG%&m!vW)gAGnֆ:"UO1-!NYQ?s[3:Tssy:a:RVgYZ7zXZִF! b]ŗXi%;XDԹ#B_rgb# б[Q4 z9%>0de4NëtsȳwDvIY󩲔 3HdVR7.vG3k,Y8U{`*~DО>hOd!@D/2GƸT!`e顳6]'mp&Kƿ\pgS\tUNH7QOMM9"pE- q&Kə/7&|=ԁ168[8r^QKg:oU)"9-8f_b 2s}1gJ*MU"9qIϒx`'/d,Ug}}4~s/-Q'}BRXUn1 G?U n7gYZ34416babc1ab9f9a64d844b7083e7f7f910cc2f904546e13b3ec7f70b074138ed2f4d8667390e734 094d1060cfdb72ebd3fd1291784fda6152066b69baaa1fc27dc416c5b5b3ae3f50089ecb4656a4b6   HOL-TLA c'% HOL-TLAHOL-TLA.Stfundocument.tex7zXZִF! 1|]A-MՋhvG"uIBm5ȩFKDI29Qw\վ ^|-%ް[nw _Y*┫0,3^J#sĥ9#pӟHIcO)t$nquil3g:t&q}%Ze-{K_Hw UgIe{pZiO:ԯ1u%[ t!z^20492y2KjP^][1>]qT"'77@_pttݓQ%wf 2F _tTR0TzY Td7?BSlά|?r$Eǹ~ƒbr5M_P6LÎDcxZ@ٌJ{Ba}kP^wrt;ʩ9g!oH"\ t\ @eXg*U* QG6RފSU |V>bĒYG|*Al%!?{EWDYڔD|K X;=("}om'GAK&ZYܬ<ٙ BNH?ϼk^ָf0,cQ7 뮚3{5(N*( Wd zzǤ'B, 'wC:s d*bXW6d.wY<<}g{4u)-P{7nhsb]_ݛ3MZtTjs3OLVk5]is`^jyEnF/{Lbf_osU 9DeN4x$H}IYPTK`<9pVȼ|i wx[ rf2S BiV-X' :5? >,[[ ˜<-'7;vlW|&*c)%犫 7NfJ}x4v WǜeL?r&5HaxpɎ=CIc!57-X L%럭d%k<_ &T9S,B]ɥSn#"e?H-%,:DCgƤ0L"UCȎz(Y#U*֥P5E5ѧR@quv, 9}P"GUG6L7d͌N6&F]!tm?WwF`(F{hs߷>OhI¤RR9JM&/0pov)lSb:,)&7 +^=\ c0gYZ)% l]lg\AK`5˙rM o"%2:tJL:BApT79 /cV!A-'yĈR_|0g1zDZ4-pF"TTdoe 5+bY+(]\,^Ud8I|zsv pA3&-I+}r͵n;tgLn lderbԨOrI l8r^ap[r dJFPD0)+ y՞6Ge xd S~(>$keFyX1s14_?+Wk(XyDBW=.F r%O\/jh_ּ8DOE78?PbNAb</sRºV6&4MІ?EFKOLԹ,az ~PSظe<k]@DZR3(m|^_c ]e u:q[䎦Hy`[c4OIIiMȄC+LՄ\؝[ӗܧYTmem$h!UYz=OCmXFiS-=?Jvǚ_2k#$` kxkZRs-XO"[St zwrd_E ?+q&&|V3b\Ǭ kwBg_v[RLPyĒnzDtYJ6ܒ POǭ<^ nZT=O?T^|zMb''0T|cNO"7z83] =-G!l%LJa3% tHOL-TLAHOL-TLA.Intensionaldocument.tex7zXZִF! r]A-MՋhvG"uIBm59Fg""pIL \S% .ەO&avq{SoM]*U[|ڸlctڦOrz售#16Z]`6XKkgJ5(ǾZ:UsIpSUDĵ<Ֆ l#7>k VO% N!7VqTV##y`Ʒ^1.\G88ikȩ.mg=˕KxY  }8=aɷnRTt?ȭ@0911^~}ţ)V߬l "م͔N q~ˎHw><*W"ϽDmh O`=49KF.|j4)QE ZoXH\oP_Ѧu~ R8}EV$'kWk;Ðe,pa{<nfQo xą C݆3nY 1c0i}:|'FOyBlۥ|p|A1 (%Ndl}{X=r-!P (h%ܽ2T\ޗ+>2 y"taʼn٩i|gr)sO[_ *f+ث N,RQLl0Wz'#.08e&F;!Ըw lj,Ld~ S-MڝrRh>rۼpk0Z$M;׭|ҷ dOy=cs4KcR׮T%U*W-Q>i )6Еl{dB9DA-x<TtC|UZNƳ$%n/X/ Z(Q9dFY[+\X(͹E;}>/| ǪNkⷢ`ƶy7[K%E˺-bA/f*#HC*>lD;uf/g\>ca]D;< C4A,`_Hإh=7Phc.a}ީ|[6D2pFd;#9 :_:$#%HOL-TLAHOL-TLA.TLAdocument.tex%%%HOL-TLAHOL-TLA.Initdocument.tex&'%HOL-TLAHOL-TLA.Stfundocument.tex')%HOL-TLAHOL-TLA.Actiondocument.tex+3% HOL-TLAHOL-TLA.Intensionaldocument.texnZ`A m[">Y>?eƻ<ռbx99 YYFy'gn"o4g%Po.7e3.[NgbTKAX Y$Z c$n-r&T.'SړN)oWvy), C516OWNr^ȳoHkTm1T8hN'vRc^S`OieUF~/S)X1A 3化Bf, D$CD+<64jʯrUNl}~1yhFv+_Ɓ%uaҞ*T V"ZX;a cV&yP'nxGNoD8ICSߤLȚ|$W6\wl k>ev&&ӿ2uJWap->F*0-$Xi^P)4~J=*L9m!RLC!%mU>T5UjPQ& } DÙTVCa鑈p Z_h;Ѭj㝾 #EIww[t醣?f(*yÕ|Of;<p(9Pj%V?ZhBOeKq-T3ȠTG+g/2vD5Xs4ϝ]V sԄvͦş6oMo+ksrS3$'s{;z_d@_F"gM4c#>zuVj !fKv܀oh Zq&4C!Tvl{1ᓷ*Cl9!M^% 粰ߩ֕c·sfw]Wtޟ}hS%f44,NR 6A YAynqpC5]ĂԬR5 Co@Ú$:=GY~K~8񍟬^5Oh.P >Ys#fi O&`뢱]=ѕP.7ivi4OW _6u`z|8m6eFA6p0b7!߾~,* mKl>ЂšKM9)2bxaMyż&'[Ԟ|5W'_TnXa~"^1q}9=s3=AB&Ź7\773+cQkl3>s s"&TQotB3. sg\B1 Gc>ge`11LFzjV{X+eIHiv #KhfF L ;GTFne"({*}op!1 Vum3/k`y=\iL{6lgt)K8e`\oF&ǪΝr\{Yv<` n@ARa`CFBhPU}Ga_lϰ~I,3B/ 0W޻CnMxj<!b1ONiE{d^ ݲ9O3l綿6 -qwR Oh'~L,]!B!fl)(PW{OyCX 9F`st}:n66 tn$z2S[]6૖%q`?b2 '=^ǭ]A 򢶏w='La!2S?e'7`cv)meLcV"b]uŏ<:w:V` Mhp6}t}ƃk@=ʶFϣJJl46s>v}$<h;~e=ErUG93r,@$R۾\{d:%J1'Թ#7AS{$glԨG84v UYiG?%A/MIie/=jOw I. DUF@D/;"IKؤ`TR˴@# m s`zWV!nѴ'`8y1$ {V:xٵ2Ǎ*W9d?0ZK2H4QLx=r =mΙ+3/5]TLYH&E 'T dwݱXKTi@qsBFZN7𫔩PXhPZèڥ ݰ¤dxvm#xFN;wqaU ۋzv+g_Z!BO%}S#[ uY.(:L/|)[/:P{(Smcם.&7J.! WG6^5Y2 UZj/FzZ lz=Nx}o>DN9s̬Po ϓO>[2T䥑\qѐǏ/xijawd@)wl鵚c״8NGIGH1OjܒsgM7|ALMrوA3De[ C-5~NCn"cs@䀪|)wo7gYZե>c ~78UkU{r+Kuh ,N5zW? usY1;BͼݰM+^?O1}P?W&fN!^cˣ R\':lK"CX>o!+uo4KeG:BLUCHGbO{l;1Aߐ>1؆=sZ((YiқfFIr XGeA@LQqJ%ln,gFPm(?yOY ͅ8 Qnƣ!U gCMM( '{,2^\G᪵EpjGØ!K|1C\'KR\!LI𞄀}jx/D]q %_(׶9%~P*\ ,=j[YcF"/w||K d14q5ăyLTEOA'Ov`4@(ø J=nu{!> bj,yMܥVA_-Z7;}k#.q]yT{>{gettBn`A.^yPTvT߫y1[kAiY>:5~O:#̮JoQ97h Xn]Y yyC& 8 UU؂]әG`y7oT> 5ԑUA>yrNNm0.4/EK{Z&nSum׿5p("ϑyLBE|WqAQ;X]6j?Ï,9|6c(G_:3b TVt pfs`$*`]@)BA Bguԅ4Q+djSGv:2oV w58)<;CT6Iieڊ8eЫl0r.m#YXJ^lABK,ḫ/mBK1.Ib`uy,LJ<#g̃^)&Hf_ 3SD bNW"#ڙޙʣY4A@ @TP9'Z1YW݋YO¥YOcqBF| @3M#SOX@oC$R;1Ÿ9(VV}cYJm621,aeY(5:gŽ{FwO{zՎ'3Bc?ӧTzbNrKu7LP<@Y)+|FMQ{q}PY{mORS0C+`Vb7 `QhqcUfeEAfR~wE,A(ŚYZ̅PVR "a &xE~sCHvT"F[00=ƏHU#}d4wZwoK%9_u:E@m[̆2kۖrMT-ۤa+i@z O퍳|LC%O02廿~d@~u:sX1{OyQK%J.ڟ9`%̨.g1_鳂Ax5+5=6"JJ|]׋ކg K=TmuH|] Y[gx([qQFj)!D'howMӋ)d~ZWfGҞqDCp 4^UN]Mz% %-~| Q~uȴ/KMkDm+3.׿v<݇Li|>۰ $lXcb2HyԦc¾zugg>:"8oY$ 1"nˉ3 GK-}>ZzVyO|!wϞoN:on9C|M e\k pp4B㽬yTlf2bJ.uЇifʪ䂨]|o[du*Y7'8Ԁk9^':"`G3e}@ݔ4VCO07oE99߃D%0ddfu^и]Z;(f`B+&.Dː:4k]ݲak/i|-xK%%S1|X^Mul- UL4[?Ti{!6Su',Tsrʻ[,Įc<[ ݶ-{|[ ^ WR( uDWb3T2dm>ڟGNn\KZ01@'4CgYZ #  #c'% HOL-TLAHOL-TLA.Stfundocument.tex7zXZִF! 1|]A-MՋhvG"uIBm5ȩFKDI29Qw\վ ^|-%ް[nw _Y*┫0,3^J#sĥ9#pӟHIcO)t$nquil3g:t&q}%Ze-{K_Hw UgIe{pZiO:ԯ1u%[ t!z^20492y2KjP^][1>]qT"'77@_pttݓQ%wf 2F _tTR0TzY Td7?BSlά|?r$Eǹ~ƒbr5M_P6LÎDcxZ@ٌJ{Ba}kP^wrt;ʩ9g!oH"\ t\ @eXg*U* QG6RފSU |V>bĒYG|*Al%!?{EWDYڔD|K X;=("}om'GAK&ZYܬ<ٙ BNH?ϼk^ָf0,cQ7 뮚3{5(N*( Wd zzǤ'B, 'wC:s d*bXW6d.wY<<}g{4u)-P{7nhsb]_ݛ3MZtTjs3OLVk5]is`^jyEnF/{Lbf_osU 9DeN4x$H}IYPTK`<9pVȼ|i wx[ rf2S BiV-X' :5? >,[[ ˜<-'7;vlW|&*c)%犫 7NfJ}x4v WǜeL?r&5HaxpɎ=CIc!57-X L%럭d%k<_ &T9S,B]ɥSn#"e?H-%,:DCgƤ0L"UCȎz(Y#U*֥P5E5ѧR@quv, 9}P"GUG6L7d͌N6&F]!tm?WwF`(F{hs߷>OhI¤RR9JM&/0pov)lSb:,)&7 +^=\ c0gYZ)% l]lg\AK`5˙rM o"%2:tJL:BApT79 /cV!A-'yĈR_|0g1zDZ4-pF"TTdoe 5+bY+(]\,^Ud8I|zsv pA3&-I+}r͵n;tgLn lderbԨOrI l8r^ap[r dJFPD0)+ y՞6Ge xd S~(>$keFyX1s14_?+Wk(XyDBW=.F r%O\/jh_ּ8DOE78?PbNAb</sRºV6&4MІ?EFKOLԹ,az ~PSظe<k]@DZR3(m|^_c ]e u:q[䎦Hy`[c4OIIiMȄC+LՄ\؝[ӗܧYTmem$h!UYz=OCmXFiS-=?Jvǚ_2k#$` kxkZRs-XO"[St zwrd_E ?+q&&|V3b\Ǭ kwBg_v[RLPyĒnzDtYJ6ܒ POǭ<^ nZT=O?T^|zMb''0T|cNO"7z83] =-G!l%LJa3% tHOL-TLAHOL-TLA.Intensionaldocument.tex7zXZִF! r]A-MՋhvG"uIBm59Fg""pIL \S% .ەO&avq{SoM]*U[|ڸlctڦOrz售#16Z]`6XKkgJ5(ǾZ:UsIpSUDĵ<Ֆ l#7>k VO% N!7VqTV##y`Ʒ^1.\G88ikȩ.mg=˕KxY  }8=aɷnRTt?ȭ@0911^~}ţ)V߬l "م͔N q~ˎHw><*W"ϽDmh O`=49KF.|j4)QE ZoXH\oP_Ѧu~ R8}EV$'kWk;Ðe,pa{<nfQo xą C݆3nY 1c0i}:|'FOyBlۥ|p|A1 (%Ndl}{X=r-!P (h%ܽ2T\ޗ+>2 y"taʼn٩i|gr)sO[_ *f+ث N,RQLl0Wz'#.08e&F;!Ըw lj,Ld~ S-MڝrRh>rۼpk0Z$M;׭|ҷ dOy=cs4KcR׮T%U*W-Q>i )6Еl{dB9DA-x<TtC|UZNƳ$%n/X/ Z(Q9dFY[+\X(͹E;}>/| ǪNkⷢ`ƶy7[K%E˺-bA/f*#HC*>lD;uf/g\>ca]D;< C4A,`_Hإh=7Phc.a}ީ|[6D2pFd;#9ܢ  C:#% 4HOL-TLAHOL-TLA.TLAdocument.tex7zXZִF! K)6]A-MՋhvG"uIBm5_M3[0u?G/4a}ٻYlR C|* G$QwGΑW͕Vb/¥$yb~Ye-M:!'MI}⦽A5 D&Ci>d45]A1ulGd!2f8rFV1^jX8`:FW䚒M)oqhLZx1Ƹ$&zרx,KMgBR286ؾ#wTj#Kdk 7no ׉ J&I}p:rnCRJ6m0i#-v)CVrG$ % 7hFmirMZ[ u%34yw =ϪWgg@2,-ѣ}>rpZYC-'+ G\f(&$M/G7Լ-hwG& g5{(<;0b`CTC_ds gd v:|?G9 7mYVz~ ۊI⇖ f{{ NX)蛅51KEj:#lx&өes)cӉXwu93#Tp;ec+tOq5{[1 GHl{wdZFhc<^t$ַwƏY q _UH2@N(bxNr,:5iЎ}rb3?ZvܦX H Ve ]$pu3CÞHY>'*ڃ-BTlZe > 3>,.y&ur/St[=^c";kDcґ(:YkKdX姓Ǔ$2 zi|5juFWH84nyI{n>_!w"XYkrJU&$q;V۞ƅDceBFM޽>d]`1 DR_̿GVd*_h!DLvsSW#|?qO+n:rFuv-,l8fד(ylܯo[q>f,A,5HR83 ,0TB{𸉟lS=EئJ^}9$ÃY!f[L;.VYog83*Wćti;9NWȇϤ ;#(ow>O !$.zW\9w n_C3ٮIG~O) }kB|'{326nT3A"ԪT ]>0mpn@+,iP5%Nr_2 @uC+v)d+qJGԳM!R'a"2 o^|f4c&^كۗ-[: ,"W?E)`wfg%ahVSn˞o5n,VL qqůUX#pRxřWyAF)К,+i!qn,{Ӏ=+ *6þ hkI;8ephQy[J-4Dh9ד\m$k7*vV(ȑm4 [^SzˎR˨YTdEh5U[<˫aaԄٌvTumЄiW7y^a ͑iJQB%8<>Ie]hl(]“Y,ĒBk UKa w-E sKHjk!ltd"+C1 4uH/SLi9cpOfp:^pBj@*y{ss(̪R 2%e$}@9n*Yz@?aOމӅPzGhqO% 1IرJ"(a,e{ZO#k"ҵ@d|SE7T<AL4MzB|*BuN/"ݍxMg0~WǮ9NqtKAXg )cCZ9/pGض;3yvfaCJɟb.0Vv%$zÿ">fw?p@c8.=*e޷b=1T^=A"Vz5T0BQ'o"<58j1}yD 򂻌;eG g p叐Ǣ J[׉FʼISA6t3*ohl}d7!N9tVFރ{ZfZ7^4w/;iv~7v6oaꍧi6ض 皴yϿ x'ˉ™oDfqZN^m`Kw\b3x 3>N%ܗܒFvʇy|R6 n;B68[1ZW,av qOgYZ jv7uZĒg4!,GCRLJ`oWOGI˞(S@Ye *Ѝ?d,,ŘR 3DR ̀ڼEX _i*Y\D$+Ϟ"EĦ¨_.ɞp܌i/J1oMx2 ˇ[GH i@P𫟼ڤk31 ^W_|ˌ>mirR'WcZM@UDGH0 2P,\Ѻ˼U7>4eoZ(H.0oT*W1L8N<6i^gȅ7%AŔJI'XR՗<eQ0P?Ԑ^V\A:]d{|qv#?Mg[3НCF%kՒN6cds"RKgM2ڽL1L(d͠ "/7njˑ|Y~5.6ÛU{ PP0@SJ{,XLKQQ="1GM!CU2JjR8V p^RHn+@U4.0&wԍO0ɀR.qxp8NUâ)v̤>0e-@mdϑLY}~iPӄxu:M%D@OwD@`x_d/մLZgKOXCxI([.~Q[x "cs*\fLy jڗpT+yz ; @/4т A7Vd1QOjg|X.?mlNtdd16QZI"12:Chp:h,ay/ _r b }@i)y.C$p:aH4|m)^̟aӀfN_伲7A:9՝A$b3t:[6$O9)RGǕYɐ.jžThE~E-$k6@Dž쉵KWt"2}8=8l!:7<-?Q`GMގZ T0HzUH>6]}}8!ׁ>kz]cH:ꄚx$+AJk ²񲪆j0MӻԺ6HjHuⶡ=';]hN+LBuƦ} %.B $ !} U U_H `"'+D'=j]u tld5jߧwL@BCΫ,]Q9F1#ve 1;PHK5>Y2 Nœ Q=/ v}aLH ^ йv qvc1c ŽI7&#iDc1GeE_L׎,}fNx$+9yE}/ tZOWvHuPܑ.pĂ d"&[D$K!+T 5ZªH,%YI̮犇5m ! ,AaE샀&le? ߣZP} (r3euh?2wt Cv)<XUZNu:CMJzk55Bo$C HbFD\7aT OV&M ߒXخ bx4R-{?6$@ ֢&'d _ʒʣV:vZ.zrөj5GG%X:z'#.HÔ>u\B[wmi%c$bQ{9QP@PMhT8Նs]tz'si7x@dەeA8rWAso_`P:f7\y g1A Z-8T˿# :TE[X=;m:}HZquk1, #4v.V%?n =nr $8\ET xF..LrG%Ƥc)r w\* 2fT]d~G k~p}=5:!0QDI6.^h)eR:Y-[C=r2Np=ʰmd,ɾx1 8WDq| ОZyrݷt|]H WQcT3ĉu%;G2g$Bzjj Y"^!F-W*: W?!'.GScUe9Ͳݐ> 2F8WK! z~+*e}}fQK07Azqh'=S(hǬ=9UzAY #Z1GWֹP%tְ-GƈKEXnzUS%c)a$A1WUt\͓(x*"O4%ID&YXɨ^d88]< OL4MyCI ]D0W9?Ihd&ª  Ij"^zvq{0%r&4I A=w߱1ʱ͖ō7c"aNՎ{DɷAw1 }K`!q9·u) &6wQyddfťJ(du4?|HuhcYGapUU +،:R=e{+eEX"1X )ߣ1) ^RbW>:Y7v:/ >@9y ̐!F«: |w@hz86^k8LG=⶗pPrOXam@j6;RWG&|2FKAOiYvK\@Gz/o)<}rn טzPZpgPP4"m2A EJ< $.,̱w<\(1 $-aqi- ?lSF9wh<>F#O)nDJ[%Χ^F0re-A_v"t;U;Cwoī9˔3$%Y q (% ˚0/Ln',1Yh5Y: x/Qf#@<6@I7(mBjh[mDń ѭN\% wQ?T-HWRC~w"P\T/KX 3l_mokDT/KKĕӿVu4\n&3ӌ c> Vɐ,&)x^9*{iR'tE:`r ;1`oN/tڻ@@;:^*<!euI' Xu\ V7.$XA[\$bUgŨRm3͒TfxO$Z-UVқM |tjcvIuF4O(^Go`sHhoخ[Me&HzObt+9J({fӾ)fcDq3@.P^@טA Kfwn\T69K>.ji&BwKMZ83,Sp< ϱ6 Ҟ_Q+ToOH,tZ#QL0Ze>x#5:;q!;+$_oF]p6[ }HTmCObH?jvXZFJh*B&ʷI40<|'eX(RL?2kSZTēg_K j.mv"nY^Cq%PsjzIȡH̄Sh$d=<~]8+l hr`Bw7.!f vMngY1*&@9Mb?x++й|)x߻#ÄSV̢8!I={G?OjiXPrkLenk&=zsahڈ<=:Hd? ޜ:M%Gx~N_ժ3XA[GJ nH!ќ{getHʶmYs[ !wy#:ӣ:E^˿-F| r]G(Ȋui f3pI$ L+7F Oŭs/u^`Ht(J"'hIe_E UYCJIo߹12:Kʼn5jڳ@^qXE/űdzsֻ9 7WHy7E6H*c)Dph@4k07R$WmuSԵTx3TLt6axfAD=@9`YAsI;r+UP7zX dzN,y[Kb|'jzDz'6fΝd N%97T`/d7e]zT e#O|q5>O隂 ? Ȕe~ MD:;{|Q\E釰vG9U/֑$|Tl d8|CcvIzc2菰Yak&*G"8cb~}h?c%6P^dy5''_O6&i- p ΚZn߄<%EuӬBܪZZ6`sugA|7i*ީr-aZSSvt }ǭ)8Ko)qt ݊h {Vt;&|w51!) ƉTN @q+쵨!j=ם#kd ~<(d/Zk,,KU7:B]`#d/_M|/v0EW!3Ao!QA1+w+zi x$a UgCzuI9Ŗejڣ431&$[R*S kr.(%L\{׷Ї!0?|&5^rI[0g|ce>d۫/H~'M_ѲѦڐB C7'GeO䀟aX"6{\3Kzyx`KfkZrw~EI:P/Sn&c[5Rj>~( gF(#MZ蛤Q}'|iUE~h="#r&dm Ar{K&=a-B-kwfM_W@٭zKAp=rض:5LfmWNEk`1Im+3eg`Q*A FT093~#K6)! &\shQcL.O tYV1%-]`Ɗ+ xaՖ?r{/olwAƟ%$ۉMQI-DH(tS½a=>X}*"v/cc֌H{Ah.XtoJm 4l.h~BF09%-~ h A31V W -~_U~ߴ a(q'|0 ?XBI;F' F:U ,6sBNY=z܂J voJ'A9S$h)mu&(d} r,5u.ޚ'\ #iyTΪAɰSͷ 9lRA Li$=[OkJ zA\QJ@@U+)}\3(cCwozR,;T;) r mlҐ*$< Jfv~9Cc(W̩(2c9 DK,xRJX EjaWxf⣴ knqNJUһņ{t'n70wFEؖVP:5Q!)ӣwzCA[z{ԺX@? tqWwece`8sxQ|iem5=C6eEHP7)I4\nb?(x;l$+ML1,0J;ayox)_WmX6[rq#.+y}h~~R&dTv{t(CC1_QT%{;|+FDzqc jEs uk:mPo=4KpO0B ZRx\*&!-~ b XbP7M9$1uǙfvj0qP[ǐFu79RiP*}/I$;wȯ&Z'̧Vqݠ-d+,OH+z>.ⓟ<}y/ U k ` ;uQw+I}͈pJIo\;M)׆Q#;Fi-#aw3x`Ç !}mEP.>< @b{45ƆqPuă61 c=Άrj!!<f^>T< ~b^_S r͖=JW ܰFd9ɘyvFWo3Ko}`rT4=&d"PJV`79Тtd~W\@a.Ip}k_[Srt pS 7Hμ8ޡF*@N$:ؖ{Bt:Lv'# wutj;&5 uR( wLfdզ|Q;-gC7$vԥy#TlB7bpM Ճ}Be9v{32ȧ{Ï2Jڼ7ȅUpEs*hOF)ŗAȮlbN;0&Oz5_}ױݸ!!XQd3'%oq /rp|Яv\q1v7 G. ior yyd"z֏3eh&gc9#-sQFV.+~}IrK[kLN$M#~ͭIG Z!DddKn}xJpr_cqp}d&QIr㠀U<Ɲσ068+>vF-f?bm"%o!±,VsŸ̔xn 8[s ؈._!{ASND */YXP|i·~7JoԽQ?{b8 $Q05Y]Y0= Y62O;͚U(& % rEݸZ0Y0̌{WF. n4> :\1Bf,BL(hVڋ :X[&dh$KsOHX!\lY&9HсU]FEo'P22co(UU׾Ft׺Ġ(QJT<]ĘC Uik?ƯUt#xזP\s@55eZp/1(h1̳xkU^G6-^ ^m!wN-# -كR 3+yH!Xk4>eq.0TKq/6LӭtmW{{ %c €cPIO>~)ݪ10 ^dʖ(0ʢ6(DaDZrT];@ \n.Spγx <.s3Y]wuV?2-˵Y3 =D'=>KJ)ǹu&PqǮ΍a).7o蝟VfL0<6׺^Hp_zx T#cyyu@qH`h@%8]О "l {QH$mlD^akR/'/2SBm>h]s^c ,-Ƽc4L1ή3S?"OS7JW$hhT$p|TقГ28MAh,"Pc0wy£LwxK]7aom2Fkov- RJ6OY_FMd,6%lB8xfh[Gؗ1Zh~,oaA#}_s=4 9g;UH0w \`o 2䩖)<ȧaKS\PcvR1ўЎmZ-{0}Ttjµ,4q,4e@sO=x+uMM Ʌ1}s_}]TWl-oě6!>)8kazr2ZboկdtԮR>&[tY,0 7O@Y6<̃>j*;{S.1 `wNg \{VYruuL[=GjzڶE?W4}v*F-Al3\ߖBZMb8p5 m[t$a0sgD*3+~:ԂPۙ`o%tjW󒆘k+.0F].% |S˧ Z"TNijvaouktËp#< [ JH2ǎVhMd ڄvק%Zx#:f[{:rĉ m V=ٱgYZ