SQLite format 3@  .0:  B --?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 \Kt$$ ]%]Transition_Systems_and_Automata:threads=4elapsed=234.173cpu=840.224gc=65.432factor=3.597zXZִF! K]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVJ44U2v)Z{W$}68C?6 M 7Qzs_lO6(# @M0<*/Xsd=Nuqp^7"iXlvh7/xwFǝ*(sšy+BҊ0)Tb_mڧfˡqYEmcְ\?74?b.J9+756ِv |{h+78D_ dNjz24aF[$<$%EO?=#j ϶a ~b0ޮ]0ӺŞLLlLʚo\s \,|ߴ޵dHY7J,qҠ7ObܹN6kt4ff=Bpw1rh+&5Kgn܌ǿaTfלK4+1+_fK9kEu}ȟ2MРغ2z0&z[&Q7 3֡2 ? 5i͂v{.@oٲ`걸 Muan?Oݿ:a{*GYM7c]ٯmFqc_k CYkVb R^9:\ogޚk&m\l&0@s!@]߻ҰIP021 zM;Xދf] ɦ_#Jyjb-Kzy($w(yIhؒ/W=Ysv- : oq]_rHX͍XXd!PNz7]qc&1io(p8F +z'y39]n&7,FH%DSE M_;s |dU/OXpB_Lzv\x>z}Ce?ԑTIJÍ'PLgV3T]|sRrV`-3?Wꨝ7PضNBSi?S" (Jdm r^Pm9o*D O1tb^n^74M]@qwpDz{5yiGQT{_mKǚxɼ9M/@+Uz2EX1^NK8D|l --NQ{>Ƅ]VFuf5ɾ0bdmW_ Y8Tp;Jn R=لA`N2ctx)\ĶϮ]=HvlF9>d[TJt" b$T$~|S,DžYDb IY'zL ٩J}r4?O3Qۖ[&NaK \gYxi݇C8l?$]dP5S<Jÿ/ ]x|PQ\۩Ch7ש.V6 iU}'l уAG6_-7C )&LsJr y~%A3QL/ x>"_J -E`\mvփphk c`{UZd5Z0Ȃ|)~Ixw&֫Q[ָ*.Ԅ`60]J1~pR{kT5 }6!/e D_i*"7ˮd8RM(Bxp K7#P>ԥ {U3EQG_scN!if5e3h!-U῕X4Q5g 2J{ ˱\3s2쉒vKWzH!4ǚ ):$)U!ך;_7|-bľe߇ P_4|d,sX&rvr1t:IoSjT3Ѻ12C/4>N,\[SljxZK䐿f,{Kjo{@c$,Lg8L w*BlXc:F`x m%VńBbkѢsXK?-?dwQk$K FqZȎ}舓 S){" .NUh7VYwIm4Hxm{][hd39#4%VJpOlF2 EK`D652n@!2PҸ\y^ٝKGj<Iy!$̂ˏ9S$KK%@L`W> i4"孓A}N8l9B~Bɶc-ü`pE2 AG j!Z$.CQ{:oR8=32*\, SOc80"#?R鱹Q㇬gi1w ), ﷘Bp0XgđoOKV_8 "K Ko*sE nE*zd.ۊ]e"sV̏/Fz'aK< <h'حKjpX2|jЛMt/{̨6[mQ^tk0A h$R/ϐ:O=pkt6y3sXVZdF#ye~HL| ]Q&϶q̯ocmt4Keygsk &C{G|ZwcA줱62r9Hrho )*p{O8s4Yxcy4y?c"|h~:]oDh>SeoV6!!n֔nΜJ䥊ӹ9Kz]Z1sj?e 34#NjfsEbϐW_khkxͅf($voΧC.e@roA @3]'p7. J4-g<Op/7}M4+s]ݜL-NMSvNFg<-DsE{޸ d;_K;ȇn>g5׼J:&3Z: ;<W=ЦcaŠ1?6!ZLG蕯8Ϥ0kL?u% >9|6EQ{;*ߖ|dEf|O(PYV[DWݫZks]C7k<ǭ#2d҅h# #.sѬƘPwF)M5MU5݋2CI_a7?>e*oBw'{<LwĄ.#a o(M\a,O A&+?D;NH3hw_;lzӆR36~s|rt ?KNkm'cuol\J12HL6U'XϢV2W:h7^m-mR{.TG"˚!b)ū]xZphg ~YKs/Ik'5k'-"/faAw`l14QpDlxR)f#%uy@d鍤.*LMR _ZC@AyL>$=hݏ<ɵ,0R@~hΩ{]F#H~LO3\N|L찭.۞jQ\UWuHrc*aNBگE;ؐ@5}"uk=p~ y6,{f^BˇaF=>sЭS4tR4*Jh2< D݊/C\p*:3 A>v 5+ISC{elj%? 4:SìHCc@2>6żމtб-,Z:[2lITȽPg֭:ޥͣ-ۉ'SS$TMԵh74eD`3krlɛ}aaDJ˛1\i.F)mg`hY~0YW0?nKpN}$@v /|ײַMQ-K]hegg88MB^c8hgxi{mw2zUa/'?KMDɨ K޴'ɳow]Q^u Y434hV&,Oݿ-0K;7ʚr(B֔ž4llk5آA dX\%A {L`F b>1BkdmaF{A g'-)(xדWU>q$2t)h)E|n!rr*QO0rF)hiC9H[C+L_eVZQz$aZc~(u]3 78QՆ9gQR20j'h%ͨ漵;-z>)sW tw>g*798 N{a0qѸt%J lb'r=>#g~·hۻle+H7d'B$yT;_ǩ+L;K@Keħ~%]zDKPNXdA$ܝ!s#4UHu?E? T}@gf$PU(_-S"{AȆ̵1VKo,cˬBZ9~y|*d bi{ MWO`3qUq@j'goRudv},IىήEdp4&2,Q4l>xڼOKGxb9iA8ʾÍyt1L)[Sҕ?ٸÆg{qM8^Y޶J=JQ$]Qn3hlD;6OD9#j/7Ɋ%iN/q.= !`%)& (CÌ;hW!PfjCtjO]T߱Vf'd2J}~BA]JKRU[cNYO(i/$˿: "ʌyA|hޢq>쿊sGO2O7{-MI2,ig/4}ЕkrxHXqIu 5t>=l?>6" N*zRb{a; % Fe،pDw~̩=-|4`Qz[z8r$x@(^09fBBnW J*$O-f gkLY3= ]j8WD\ >U_֋rұ/8F< NDO M q4ZwM@e/<4J˖!\D~9αD`Cܘ9*n`8լ?"ϙnyIъC7Z!6Z7ӹb�Bgu0wkOV1\۰^K AkiYTdja;?uE/> 3eCtuud,&)@:3<7JEaNM< ܋vu4L|{[vn 0BZ}pڣhOGD<@׹O晬Yv6pc>Kf鶮YH`O9~ 岒>fRd@KiT%Mtkܒr~ٓ׼dVٚ'.z>cz]I$1~EjŘ"K)71Z$?ax+з"dp-x-EHwb>|֫OI˙K=::Btt)}3qWtUsBL8KeSp|b* &t5bw Sę g6,zj?,fıJ׮~gf Ө8^cdD[&ieh]hwtwf0'[Ya+`1ߩzłQ@*Oƪc*-̨ 0CC7ܟ ;[\DaIr8?-ʜJp&{+L M"SILJ=hOB<4]*@D'W@7;#J=Vd'2^NM䵛>zӪ^y?L<&W8W>9dvNH/^{]w58<սFƢPd"jsugyh=ij^JЎ,'<[݁vЮva(W(}lC8ߤQO8i}gYXTgŒǭ/b)Ig]V&9=?qUQyjy:2YG8}Ƕ.af*"kL6;-iZnHs^Cq(Wg8e?UlDr~,ŲD Z懈(&t/T}?I%^ZLK0>*H^K6N$xEȈ5mlиPԎDL>2,tn?г +G ɷ^*#u+l>}\e |b}5E9NOg\\~ƨǕ-&}ܤċ#5''Q[83E.RѰK$=+vXEu}q\:Y񪄸re@տ[0]ŗXiɟ>P++ \D;?!W 2{5sWʛb젧zۧ/Rt^B"֒J.4IfJ_b`>5A#e1ͽīO}Y^PwF61$ -Bu_4Q!rk*F{LzX!s: A='UBXdCRtp-,uH++aQfD28D 5 ?ZEX6-T0,Rt-ߖ; ~* A:R20G\jL<mnVU6XvrPÄ?Z+ebp.'d-OC|FF'}]~ `h6<'\mHt.a. eS)*oSuk/  mAkP#=Q')i AA'^z_|L%HЉV+Eם?Vǟ>F+XvTECuפvY-0UUi(֔RPOB8.BTK%!>BEF,$0iUXƿtF 3Z܂Ry0\F1p Z%*@Vh&㓏ۯ'8Dޮ㭒˙92h|_! |<'K4<`|] ][@U8IYoUfɠSi$2::ْu%!g(}F~ J )рs Pd?9vP$RN@/MK'qS}m1R柢SqWF o( *y6V +Q$uVD0}n* ĝѹI#@v ߬4$ͱ|xVfRR@~0<41|(؋D[g zkvý$z5) ^004kX̫=ZͿާj1L ilFFQƙWp{=!sW5p΂)PCͳ? p+L􏰍q̳3{q(@(}Iۏ5eέ ˴hQOt3]F$sdjPZampd 6.\cD, g&H1Po:, u!~I4' "xqH8 3xuoY8+;MoA}"k :× r8qs)7 ^Wj>1Eh +q]Wp9Um1yK'"'`?%IC"f)zrBQK=(HDZp-NA0L?~Ja1rM!x8d>(,b2\Z{*_rG/Flu3ULZ+vͱY#IgUԳ ,~*۪p}ux+]={x= YB7OCyX b=0W4F'ZLc^cmQ QaH-&&Tj\N#z~qpM **"h(Rč,JmgLw/"HxFK͑G͵DқKɔCof./}dI|u&E;jBq!wdX:Öq b)tff.x'X;IԩJ0 VGOBn@:*9+o ̏OۏvNNT+LFgagH&TsJf\m o< @V|ěymm&AE| YrdkSp1 :)uDIaXnzȺŎA˻Y%j0SLX1J?J01\#-{(sf ^m+QDE  W8Q4g% @eȽH\0Xc:\P}St쁒MY_tWoo uL쩚aos%J>$ miz !F]5v%ɚJ7 zţPs۔ SvNyԵTRJ$Cif%bM<1Oz* C*wշlj -I)'0 |f'g4ҜjRFx]j{ŵe࿪  Z\|ލa6zXT{(JY^vi(- (2y}}m Bcv5-R"A,"Z5(M]]DvB=gk^=nh ߅Y28"DM+FS8w"| nBXաay>'%5j{әIzl`Ib^D ǣ׏L _"oxCpFh9u|eT]1AAl 5A,I2޻\"?` >&]<+)[롛m!\CmV=v+, S=5@ ϗyϜp-Zhi ?N &;ՓR 5䲅mW/ju7N&ߎU<ûwZdvJ<9!յcP|8/׈ciQ F;vTƝ{>Iq.٫ʋ.zT-ř##,3m=P@z^ /C N:`HYNTGd⿛r]-t#sMU9`kT>a%B3t|y\6K<[Co9Ȅ_mQ3PԂM^QB@V/EDC+E-hhRoX쨇E M$IX]0b\yB"hoZ WK!Q똌|(O1SZr GNS~dAL늞0:3JE~V2dC@l' ^qG{ErM CYlzt\+$zZ-/)!^ܞ_ˑH= (Z6 wBE- 2M9LO- 7)Te{x2bvM>u 涾cce^mC/Bz 0set9:,sMiQ[p{OiZ"WOr=3pYJ9s_:c[ga>렘MG>GYn L#2n5E *BL+^ Y ĚԽ ɿδ7lײI@}q`um##FM\)+2]竰4@V~@J$J0)X&1@V=Qzԛ |'kwP1蚓*:'H \o"u_ M7Z%,U}-IPSF/0%p+ܝ ; ̅%f, )Hl3|{B+Yt嬷YKԊ2WV/iCf*0)$\.#H+dgD޹*w桘ΤMT/Q%IӖ*?>ۮ`eUÎ l{oJou9 UaDzݓ{Gu>4' 4`dXLˌ31D=n<[ 0){vmP<9բ`jcڛZws$ӗqFM 4釨q-ᔻϿjhc ?8.SM)@_]t{`>HtWC>T$Qh#yEܛ 7]@eydGk0$rUz L<=;Xb~$N=9 OQsrJ *1E l + %NL L #ܝڅeTXۋOhx`qHqN7<KYҏthrMX/U-09VAoݤo1 "5;E< Ҷ_ugXJoi9|`7HIOUPgqe>=!x-CH1Md|*#LfXo2g%6[t ͻ`d Ϯ-wCIs+P f5&%G6}<32rzyo=B{vUsRlA6 @5LS p 󩍖Cp Bdڍ k1-nČFm * PEH*|i~:~11#5mFκ! KzIwLz.mWL[ȥ%. Y(CeⱹU;"Hc4~M]nyҥj1tCh= BgKu ~e>kS,f/'d Z~ʯZ3lkq@@i5mИcSQ~YyOQnbՋ{PaEE"t(9|aRmbn[T&ڌL w2d._%&]Đ\KVq-׹qk]bзx4U^Y|}Yq_Fkrd!JZ,4Cvi$x5qotYraݒ{T`ݔ<7ڸf#:&>R+o7Tyn-ԬO˿;h 8c63S}ihV*zT*4nw6.\K"&o*[v 8'ܠh}$yTLŔ@ .{d_(׮6%~nI-12hPb$5^++*/|P+JprtHtKJ|岭,v|4lX7!|v 쓧ؖQvNSl ,5':*}v5 g?aM<ۥ0VF4pm𔃦YV qE4wS t*񏂺v/plX2/-nTFz.n,!';?:y9y!-)$!` Yy3DyOxHݯ cp%_<=L[= U~6EEX5/@3"ЙȾ} ϼeraICw艭 Ay6@'^վ >kRgM`"%4g x-BP΄obK/7 u#;)i]`wj]xjF1ٳM9_wRN ޭ=%fXQE!Oe$céV@}}JQ!G X fy+q9Gl ) 2u(=<"0,^CTdyJ1,ajJfyӕ񐺃RUR Շ&7)| 9Jר,?'FgJz&!(G4wPA^~K yX0Il Ljd0HHGFR ei We-.yzWVt AIO|3 ܤ[PWCk_H"!;&uѪ9LLË́=QRZqgRx}殸7-A/T2ܶu`v582\kP s@UU7Pƍi32<(hjOU9r>M83*KD? ro1+Gf7Aj1LˡytdG>ci_[s_E;۔4;L-꤄2(]d!"a.$ ߀T)WcoP؈I~"G˦Hp8(M ?ԏF7qdNP *4;p윾V=|v#rs)͔j 1|jCǥ@gA)/Ơ|3hF`{'? X!cie Y{ɞ_M(vCnkU%?DW`,OL] -BL_~W֟OVeߝpǗ pm8 xd=N(708GbM9S܇пYNyO;^v,Z9Gwfxm Hos,= kKɈS*DXlMRN!)s7'{Wܝtn[% yk zw&[8'1 &b~'rd'&vN-ϕ?V7Sx"!δCm@,=Q*!ÎGM&HH|8!-#R{M#b4Zo_hhZٵ ;%C/lIp1o !oy}m"DV|Fnsw@z2#,U1iE+'A@4 T> =NՐL7OnT_d.u%^19} M}& x8EXo @~lʲzhBT BpV 1. mzq Q!V<&4Vyu: :1GlٕmRL@2"sln584 s\?N=OJ AJUn/ q ?Kn9yC hΎ l|宍`#mc 8RLy ԭ)pZEaXH*otX!ݖ *gG )k&_\Y&EITCvN'[b{a rvx:e,G`g Mh.v2_[/6j7CLg~ \ ,OdQbBfS#&WB]{78l7/|ZWHL5Ptu5P:`{i2\Ⱥ4A {igRB(c\;.fp?[~qy&bY31t4M{qìs3L<5ՀvJ.\ֲdFu}mrEk1P,*&FIs.nYǑ>1#X4Rc=d,[v.Lk"_?gȃrVm{b`3!uԲ}{p3B%i-Tw+Lk@|aLqkg!2@ZfJdxe7 t !4זcəAj|謣(H0 $+F4njLUF_gRyq7 \@1Vf>ޘD2bĐ{jP QtVQנ,z'bNP9̐&8["I97ߋzr'SzOrڊBWŠ8=q Ɣ '$r/dqcy&@h{4o8SA }A=#+ۮQSսH  8vs30N H%9OKx縀Y #: V1`$jo Pdw  r 茷NLFÜ5˺%#x:Լ/W'd1_?<0)\swEo: 9I-$Ϡ?;moLﭔ<{c2vܽKF)S I7?U`gDQoVf@?ra.+͵y^<-W9DQ Ykδ|܂.7{{qH4wm Wc3~G[3 ؿZX222l9Ä.K+XE:>+32arj` [g\+,H;}j"7TI`n6t"Iq7J\6,,˲rhFѡ QAyOQ m.j;LbOo%OL 碌N)]l-p4rS]^@q Wyth&'/e 3 wsPU Ég0 uSh>mّu!j" ۊmÏZdeeA Wx!rjp]I|q*pO2g>]i@ UX =&T:P)GC3 c>\)9EquVii݄ϠJN ?;k_4gRX(3 ы=*8'Q!WB==w4PoqA#hAQm!7tBD"LWfTd/ؐRDp.Y<&W1K`έqE' z!p7ttvj0=Oޥ[u}s,34M`~(bc#y /qx˚ܛxND>D;;c:O5 {ќoLWL/]dF&:AZu|oڜEVm[So$Rʊ qo 21;5i*1p,| 6,h<6}qUO89l6aUJmc_[0Cm,{@q溪0ԠYmFd9 C ÿX}'/3 NŅWGذ, IDiOL:lF&_0JYޅ| q@zVVP ;r-@g^»^(nYvmXSwN&?0V*k'Iͪ>;lĈ)ܩKJɋ&3So2Yԋ dzn]mifc^WNV" mTHNQZd~u1BzO5Z: *i_27YUpe͑lW?;f)C&|$XY"Ha%2~.Ac&K+s㔃'!2hWfk@zˊZW&#e1jA 6sۗ;dƟ7Pe&\ƈOz7.ha;ңi"JD:/˲wwN93mV[Qk`wNw&N\kX2YEd8A8U6[,LI`{W% mݷsX^zR. r&бd>v]1 gSO'Yi L,DhX3Mc}#'p>!2GeOtJq5T߬VQK=F[=M'Ft9 ?x\l2e7 7R[ȼӆfrB7RxXlǼ]  G#oJx9q^dyj`#1*"U,P3}0~2}&\,PW_QXOi8 8\oaY.Z?w ۝ W<2e u=䡴os'8E{r6]G ^BQ:rO(NxXÊ^'"GР3s%3Mm舚6>4iyatb;2* (-hGM|-S!8:kjduvnk}a*_ەҫ_k\M^Ti`0Jk9,^v?ⶄU-w̼%1xaT5ҮN&WwޘD)P[KʴbVqJ3,۰VƻpΥ"ylM-]:&$` 1dׯ`S 3xҴg58|!࠻儢Se:h"|~%F =H]NcUt+c>+lf|Iy7!U%AdSTj^:!>l|x_S*m]i~dC{ ҩJz{qEH]mZA9W\=H0\&RJV4'Y鿮/j-N{e \Ys&.)zq:A8 =ERƭxWY!ckuC-M4 &=giR?Yh|cxAURc1#y+)#xsQȷqdTbRn oJ%½wL;;-XulUXwfnⷯ=lpvp1W4Z#~r7j@of;CrR'U'$ٕXttv"V}.ա#+D4}Py `|r <$k Xv_J0Cix=7RLA[4g$C_ԯRX7 1~L%MbJPrt5Tg$ mǖ)]:e菴>㙌W/#>S|yDaβhY&eoD;gHK!Jf:>9E o  d#0P&UBQt@TC]$>$ju4M`|~Pyan}&9;`KluTn@l%zC_!PCJ]tUxCկvE# n`B佟Wo fw6x+sjQ[(%M Lxh1S>HiƔ&'i|/R$_%ω}L#GʮdMbaDM]LCTR4~ ?7:QIP!'fl1+$! 6cvb:saNQjE+.-H4 +y6 Tv{!*;6G清>l}B'AN>U(PUa=,!R+}ւT:'hE"ݯۓ]GXp^f[&]pD{zm)zSi!=y߶t41lBhш^hšGm%`D7>WYYfs$u$f!>>uPcFD$ZIT<\Mz(F|zYgR{C(*}!FGyA_r&6$0{ߙ}&2î~g x UuKEDdJ 0`_Dp<- KOdd8Sfitd-קA\ Fo"?zޤgP2uҎY.2o15N E_djd09I(yGb0 1&c;HzܐbaOfh+%+I))26 FSDϓ8{|~k 5ަfl՗40X*`j+BgXq614RFUO4cIrtI7~P=|FEmnQ*(twpNF&l>)Ʌ)27<+7 IYsj*dUԮL-E d\Yzn$|$ `m|Ki_|ebN8bCřu&=i4KDESlP_6Gk"CԯFpIyh SJ墾,J$(}=/=s=Qpr˭hie2JEE|OB Ʈ?JĔh;ss~9Eȝy_+at:kQrT[8UU*p{2 15vF+jnfꨜzֺݾA7IIwvNpvb d,L~|mTaqRUr Bcy&'i$ ݋ i`gW \|@I6fZkڠlE8<h< w#{Jl Põ`+:'*S؂dDƈH[pFe}Z;vѲm+N t~|B+!W_dn"=.o3{3 몱 L-rFUй'¿K߂ mtYRl,JִK__hMud={\ cP. !cOLŕv"{Naba4%.; A5Rޯ<ƗQxS'%qPu):MZnȝLZ=D2ܜ3^IQ<_=u7#=[${}ƃ2bc 4J#8_4 5s&aZI0qXǔ.;4t{)V/r/on%y)eU2Shz|;LY Yb$Hs64Z  aLK2o>xTh( &zupY>g=WhBR1vBzГ-yႣ׉r8I;3U8_{NQҩYTRsd&jH?F.k5 !ÖǕʡoT[o+|"”g2--2 o :`~NxN&z3 ԋX4_-ݧ7V`Qrr6hh%|ʠ s|Q7`+ d14:G%u01q0=m[!"R` !Ȋ>GU; glU`i㒫]DWIJF:4 ['W#Yd%Qw!'g я} GcnLUm sg4(on8P3b$atMB]Ǜ.଄lS,&Cb$p,}Elpȯ)]ũ?46MM57kΙ3E}̛e~lHozX L}JAnS:7ʚQ"QT~}߲zF-8LBUR=0q$׈Z /ƌ3co$ݐLة~lk77PƠloBơ{+O#Tv*)7@}8a$)p-76k5_iƇ܈((r&)q Nk<5Wܢ,Ǚ /2H1U"Wvo3QqBbLb=hîPv m2`"g rlrV#Urkm0~B+=DM}A 4e每/ܡj?&^OiqI8PqE3Ƅ@c%yD_Y0xϸj8 FV &z{o h XMƬPWҮ>} 7NSq*=G wH1?dϲdExqUo(OcSs _e=Mat}v'yyLS _0. ڰ>m+Swm E݋Wϥ,;2AU,fHv?xgҗ  Ć4(UEpD?acȁ\Lk }OȄ °x'Y#NA[>G"^6 ɴC;~:\=Pyog)G]$>Iy~>}?-΃B(^F}/YMWnñOIjq5eC_uʦsՋe]*3QǪ7R{Rʷk>e27o_q"1ȡÇ^ьJ#фR3[T܏աr[`^jh{+Kf;#ZLa|S,_E} "P1U#= o,x} k%g{oέK-^i(m&, &H 1%0O:DlknNLNN?| 0ȕ*}yy>P=9w)4E3PN..!,i_+IdJ_Hi0AZKQlIѴ%Fo~Rɵ24 !&R8 gni*;<;~4/[DkPfeE8@i>:뀃;Zbs;Ti^=FIS%1]siTT Aɬ͑C5 01PJ w._qey KH91~QiÝ)o0i3Sk1a=\aT&5ElE䟗$,MCcwjHHXԠl_n: ՝Z:w$w`>ls&WX 0:xF;BjPI\Lzx5|y~ٲL& t"7yCij#To@@@"D\V T# evxWH늇 ll3FBҨ\)Pe0$իרж#*=:ĭگW/A [җ~1{<- hy)2!{P(PyBr!%@cP=)f67 س`O D Ps^4O~Cekd͇1[ϠMigwA[  0`B$LE="2E̠.ҘLm ZktΞb`ܼ%ǧP7z& shDgZް!3-ެvό-0|6j봰JHOƃ1s߭f/HHzKo"Zja x#Q?KpT%hCB+MO egHM݄]Ka;0+0ș9gW2/atsnB6&j?ݷp &`FȀjJ"J \˿q{=G\J?8.?~!`rNhӔ 7b!x_z)q˹֔ `e$\b6]zgs?*2QkXa{ea2<1ƅZ}_j%8)CD.oyg p2Bhɬ~#N6 /ehElc'3o*<wH5sZe H!۹,Ә*Hx!å}esl7oMT*^plѨqԞ՞20q^r7ZMvP}KVs yX!Rq27͍{rWFxE\ұu_Rq>?ewþFBT:z0h:;eL+?o !z$KXI5Te,K4G3%'0=%it)#p풪j zEu o&*y52rEg=~pDgQӸ{¨2aup\,Pp8mp7D.$vO$%A3/jy}]5&vH$9~1>y^$lm<.T$\^u6Iarcf''ݮ*& @X`E{E| s11e wThܚJui߀G#>T0p,6b(6;v@়%f-ϢRxS;a~ˊQ#`5gr`p!Ui@YHC1VL!JHqJzl^Gב-X^t9P0FXKdc.lbX7{ycyjm+΃jNLc2.i6)SS~!K./N3._OrۖY_aݺB8ݟaъV,ْs4հ+k42HۗnD &v5EV/ m]c-WA>`5;w2: 䝨lE9_)y'X) 9T)2Ws"j辵7B~5k!'xxT}j (תvu螘9pE]9U\g p]|^^8c2gYZ4dd92c47eaf4c7d2ea6b5ec486ca17774bf7e1ce1795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b b15095bc975f1db30190f9987ecdc07992115d11 2573ec8a11e13efc9effdb7faf84c87b54d36a0e e75e4b6f2f0354fddd10bf7070028f51b150c3a2b0754b3d31f8f1bf37eacc17a8e455d55ee17c01