SQLite format 3@ .;  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 EE/4< ]% HOL-ODE-ARCH-COMP:threads=4elapsed=702.273cpu=1564.092gc=15.816factor=2.237zXZִF! 7G]ŗXf[&}k% ).Ӵ&}e0I*ROOm o@,6Ft\ }YZ7zXZִF! X]ŗXi%L M`1Z:OCVĻźb )egTddrNG?Uw ;eittj9m &8O :<Ⴋ ]8K-f6̒*ֳ_[lZ_~[QI .Rk2#,~+GT;6WINĊVU ^'^K׆`Z)DA6W߻sv۫s `Q ]+a+/tf?b@6OhspJԌ-?:[bXq 9QjI(`}^|LFPQq\x@x Jߪ﬑7j$QX^K52f~C=cdRBaPk}0К|JzS$f(SCsE?i 3fKӨrNbBC$=$-ɧ[7\Zyph4ЭkRnܿC|G!%"-(GP唅Fzkxfg qE[p4x׽cs;{+ًM`DĤDTN幄`ӜBpPx!YA 3RGJb ? wLvkbJQ.7|4o>UgAD:J&\$=Z6Y% K:%c/2i$:ʣKl.B+h pl(sgof'<3& | Q0nlYHjU "y囅8WBb;,h[+2TGGnnDUN$eߎIE@ jSX?:^A 6tfUGжiErӱ: 43ؔ ̶'*-ͣ)|N_Q1L%J)H6%PUKX5_\"dž"R sQZY)`F2wLNT"RRADW7O| &`o=T;WgoHO]JjFom N/ dId/}YLH=^ EBk 񞶛6TZ!O^H1@jkR$ũcayM0ǥT!p3c+dzM؁I]6H_z8?pHw&ҸZg>-%OUԤ ܘ^n Hain<₂UkOȺəp ArS,pC@ ._ssY [*eHJ+s\8̦i*s`En ͸1(%Gm oe?GmJFv@(B vE$6yixI8{t;ZbQ?d9dM2*Emdє ȀޟYGv3ebk+țT/< _11` iGl5o;YOpTw :J"af0fX fy J8.N\+w!]AZPC ӺIwG_O:ۛZ짤~B&e@sEw/868}3Qo1Ms6Y%r w\2fߜΝ職?GܥLw|qC*ܷ,/}p-mAnv$XLp D;!=zԭT()T@% ̯Wtr /~'7>Ot`WM:D!/{ߡ5KG7?HcfPyGy۷I`pSZ?*y=%7u&d,K,mRڪP.{ Y{Z)@BnG̨A^i_&e0/‹PWg>nQ@e֊>%>5Bd]ob8\E;b97+mSȎWqWN!)p@thS-׍nδ8OKI!jNEb6y|q< iq M:hI{7C;PeEiYUH-qCHDM QU|>) I lR6H0ˌxT߹gRWWA~ vzՖ 8Gn+ĀZZm/dueێ,+a_騊!Z8"iu{j;eUjϧKe'܈.J& X_Sj("1ߚW3x"V+8&g"$c`f-?!%F$2woh,;J* p&b(=Nv7@a PLxo}C?(=[rMd9-U@5WXABT/ !AR8Ge{e_@ 88 1' gfd N|m^WTwds_;`Ty}s8F'RDgV6jC h̾HiLD l{ѓ:+֍DC ( B`|tbo&`A(J6UIɂ XUC5%avy;ljHOZg>%{L$DBKH==ʠ׻6ya8b{8w?L!*aB$:Ċ:^̍[rJ 1|y׫( fP1:̀\.B˿n%\8-ꥵ$)T܇KZ~mzKNtѯ=fݙ W[ FB#䯆p-Gq]T\FML"~^MP D|u8PM^>I,m'N1Zg`N0.($8$Vվpph{2oj/M |$F_`/(] ny`!,R>/=[;C< () It_;Jw{ajKrW3P]$蠒Zj[/3oA|o>wKQ>pm7 0Ȉ I[8a$1d\i1aZH(J42Z~@=YvD Jj,zh}V3]ʣR1V5a`?^!e4u:E^m7¹4;:FQ=oD_ϙa[08:Rp,s]ag} "dVinifM(3h+5fkԙ '( DMS6mߦ56:XsTS@|qPq/_.ۼpr4pz(=N0m&^j\HVSb ҄"r* F9g>*[s|^;uw`v*e٩Ed9X&T)l ky8O,A \b/D-yD *9xb9v׬)' @,[%-Xe%o qi |ª꯳D4ls; {p7N1ح=:qO`<5ͬql=muOUDjXt]z̥5*7 k g ʈTo_ 7טWM;mz6=Ʉ5V?=hHqֽs\FW-:,3[5*&ETkܳYO$f|穳'Bۛ-ce(k)IuT{>CTQ vEPYi mu,w3Ư~PQP\F`ҷyӆZDK FESkVPhO+&F\dD#> [JES ;o[8?*qW.x:+QE`l2[ zm1>JB\X" | ~(Ml3ldr昬PГRt~+IskD0Tsn ps|BfΐY^LR{p [tpKdT,E V J{jnT,t:ͧVS_<0[]RƸE)8f)6)xR$u>Ce Nf|\'-RȞ£91s*|m-lyLk\&PʯamZ{v%Co43?H :') S{բE:UKu; Jc "cM sT^v z 8"7ԙI]  C!kᨬ/n,tSd4xԪ-DSkw!bS簑Uh ?(_sfRV=5BUUĔ-ǓDNU*yȃFkY6C@  õ:jXV4S /!!;mj ţ8Gjui%!5%D@eAUFӅAme`'Mx? t¾H%쩖5|q[*c(4lP4&e1;^q]P#xc}#˘C ev*3J.ϑTzЄdZ;`ʸ-|߄OKUch=$Jcí]~;=av^mmHhSo#C0?3z'l2`Zk՚?ap ?bH}I'BBC8kt<&N v aAA{p9n$FydOH du^ PvRr%{H7k'%E/ߎݨ 'bMR~}>ਸ਼PYU1hb86R(`g?ۂ`9ޖb$^f1h)6`~RptoGb.H.4ad7IV7L Wӽf"] Ec QM^ZGЂV͚"Ħ[#Ue9xFFw Ώ=eu Uu?I& Q^Vq^p {nk?:q@CUCgD ?IA)Z5H6?M`<52&Q+Sh"hB⩰ԝdudJ$ga$Mlqyq"8wv)NC/`-̽vkRN99ǒu]c@Q>sԹ<`ĀaA*N r-{uѢAThnHׇVJj_AE̎3`Mxy&}҅]|[9NHۈ4?RxC`Ȅdx6 3QMް73!(C'ѪMT΋N+B#2Ux*Yk@r!!U,(mR!1E [TJt٢t58x؋{ edTj Ġԯd]%N ؇T{[[.OT~9d O3=;Gqx8Hއ!܁y; $d!O$8Cw;;ˍ1R FYUd;br5/#dE>v{0:a4)k;#pxNMjv6 6cRӑg~u8/+@f5hjPz[Yd{ }5FQ&]%?3>.1`zDMUeؑo]Dkp(G9[kE K?^(Dd&ea`K&t5jx6A7;BQt"OUfV52&Uxohw55p?u.{k;E^oE~PGkj[[Xܔi\G/;Bl?oawBk8_Rtz,3WھD;ÅELOynR JyUpAvXfII ቌ^?B7~1fkXl s0jd;fӪނ9sj՜vDF8CyRpax2}>~X._&Y~ㇶ0fUpO8TnuYyk34IA>h#S qsyXB6#4¶J\tm2:jէ Og#ZbҷYi'E@o;l *dw>+r֨t+i/!f1= yU5rJtiB ¤'0pn.eν ?448F @_pձb7huEhX=WH5tԦV$G6fñs'!a&b62Ԡb/+ t bjYSg\@QOŌԴ5@_览S+᠎YsGU1O_]?s=QrtfLbqj|J1_ői\!&7މBѩMdta#KI.}I$<{.xh s{2!r?99 tN ~mo2'CrTF& ,9:qW \;dq؃H4{5G^$[I{8%H)i8x>#=mez|N{r$z0{e K-?vE^ѳ*Eț| "B {i`wyGAA?Oie$+*Dy7$g Đk6!5nDΐw* LyPKYdy AL\@iwKBMŀ7psYOU0E=,uZߓZtŠJ?= v㠩tI^+Sh8pe?Mӧ4,_0ʀ+Z( &B#UΡH ~`;[ &ɞj kWĽK=;ZZD~BkJkO eeو3\xxkq5PyJvH[NPiy@&==QŋfFzĝ;3V7.J-׬X>P[u@Gv 9} cܺ%sWmN*?ꇾlDZqhݑ3u!&^Ozxkpjmw:0Z^DPi;8&ge>8Fx=?r^ն8,lDf`8ߓԚV'p[5ώ6ex&x ?uIdLY̹'%*Rˈ]>iYKK__y[tM+41a~4pw.=f|Ljw;:#ʲ]ɡ9k=QKCY[>-J&ڸ\,. y]KC!.9'>Λ-{p~k@cjd"]oW>Z-%7?0P~(/5֞!RBD69;ߚ2A E p"PwɝRTN SޗvzϚ\T,!եɕ}iEO ]x=G\^q>lF.ٻ6ǻ TzSRu]dąG'P冕ı]dV,[$867O$70A)ylk@Dʂ>2i"2 `{rCN}u }B eemVWC%P_2L.dДJmu+ lIwצ'˟|ł=Q PE3G3+3ϋPC5̛UkO֖лlA93 j-Ei%K9bأ3/qd ]T(EmuA4c!R0Mƈ;F&F)sa0hRl顙šViYg  YTBӴIZna' ;RKFX3:;9ht aN?h+KAKf LUޫK}ĒY%TF ~ Ͼ;3H E< Qlɠ(zeYSȆȅ |s fʧp :UgUArʒIM͛_{qs;v8 srL@#ƃ d{f U>#u^q)a ^0+ք (xCp檤 #!yt Z yicUmZ>"F\re9 [iւM~|Emb!/os'G|wP܎C' O,"Ꭱ/];ZLFP B TeF‘jxjzBQྍi4|0.b_E 1nq(HHJ4Ak{O ;4dsCm;G7W~LBTz/wVuGv.jMxW19A7%Ul DɍOk#8n1yzײ:&hEtN4(iY*&@2v o3T?c{|`^Ϗ?^?6h );l\jOE\F@uhnh^jvN2/ᮩ^-ź @dRxSrnmZcyͤI[sRjl%<!ED왻 `/py+y(7/=1Bzy:rT8D7V^oq b[ZnSVVG#XsOC~^Ze=KΔO( P"'3޻V :X š/kYq1Vg5AU}}rqLq&Z*&r0010o-JOaq qAaC]Zs ~&\P 'Z5IνҵLvk"913&ng,$Mmvj65657Ĥ(35^X/0cb܌t S 5AA[}?V|Jmy\̊Fntk63fåiwƐ` yk t$9oqv>->S&P!!2S^rEWScsHvvPI;)XkuS`֦j)?1NB0QŝK ߻EQΖVW*єbؕo7Ά%o0m݂0u҅?CU̱̓(¥b|X󖸚\'^>d\fHۊ9i1f{28VQ&{ݴ3 Z)1?;=)3iÁ8#nOV$lK&b~$YRXP, $kĂ0>rԉZ]rLq;(Dv\߭~vUsG)/ߍr.Q&}\FT⍂ӯ[E_iS^p9@80e N-S0e}HyZ`kp@pG-08`,qM)Dj=> 顀-60gG><P]>y (m]G{.M1xg.R*Lv{,B&:0~Bc@qHCuޏJ6DWMH#XUMt ms!U5XףnԫpS W4emmP;}϶I5LgaB9S("w1ve"7h 3o4A&eT6ez`LSză[=xCSh~+2]S4=:P5iJ2oQޘДahW5\i&OdG1 M?&{c.mp&&`g& gu.7WS,I?c9;uD箤S).:^@^2u[9bu~M%^^'EcpC} ?\rVsC|eS |WQUO#>Xl6xSJ*gVg$:F}Uv 2R^t|ؚwM$[ og׫} @EO ۃof? e*9t$% | SsxSo}k,T¸ "vb5_*j闷EHޞ1nAk7 N_)d -`!&DĜg^c>*|19C's F-5&"^AD+ (ޙ`gG Dӫ.`N $Ն/]rTa*o&+H^ea]:up Az0_7,ٔENJoa`4 u۹BwL{-؎qYAr3+)QWPpNbͻơn]Nq)ҾBekA>\feںZx3 }x޴?哯`%EC-z@ 1Hn7O<3ޓΗhY87;̄/ yuZZ7j80Bh}IW.1ԱgkdˮiU;;LbY(~o{&RnFKzpwi ZUh1u/!En:=\5wMYuX,HGx en΋@X8fse}Ek]XwD-V,PmuIM",)4nomϠĕUn] M~wdN5.O#^[!"?goJ::FXxE4ź驤Z{2Bh8F񧒒 !&H hg$!ۚ*Ǯ-U>"rW}$`_0BloIbFӢlp-Ip@[S]=4>7400b~Ӫ볁!yʏc]Y ,t`yf0c|['ۉVɮ2O$ebOC/Rt_;u~,!_t.:25 )O{S)#3Z{%/9xyСnޝryذ4D?AbNOb0+aq"^\Yd{sut1Qau&(ei Ҽ-%{@D0ɶ s>߈ZI1R5V_#l0^-)/D] g&-hCajו el:69L91=Yc<{Ɯ(l'G]u$5~%Z RL41r#eO7B( D1y~?πtUXU4x|]?ڀ4ˢA SGzxb[}m (z?%W/`F^xbypx҇NQù*rqy(X|e ڃ_۫ω vK{ɝނ* ʥ ]{/q&pJ%)=џl#Hٗ65ub-@,{xqN@ĴY-8V0#o(9_5gOi1m"{Qv%m۹[ap7I(@e vP_\_|{㈢4#vv0ǂTJbRe]y N"yYyuVlZ:'LQW>Ppa )27a O#X \H?8r ~2 %Gb"|<ŤFo+{ޅ>*I-\zU soFO!P%PGܙWp9T(*"z;x5V #Bκ`cD1QEJIcWWYi s BB7)DNk16|OYutK1WHGWˁ\jR󾙓ąy``~àK(/4ބBVPZ <Ĉ$5^ `/" f-͗Dn,LǍbގhSꨵd1tcڱ {؃DY CO0e`15{_,D*tuQp1ځA`acQl4!=F_AmGZd[I)#%-n pϋJr9@q2? 焰,y[;p,)XDw=x@#2GrPQNb`M}Kl_}(I-e_!XD}%[-T))1e[Laݔ6;q8,:̈́&.ߥPNJw&fz=kberG8H8ZӼPfSV&Mf ЌwBf' h$\M3P0 F`zѷ!@ze9 Kr ,H[Qa),Nt9?5;U4Dr IP/X{a,&r!fCra1CyÿMIF=̜7ȋ5AiG+yt3@%v^~S, $>`=5ݜZh+jԫ(JV[p+B9EGkL!&l$ $s\iOBPNa+L_|wpRT߶N _24_t,g(R4?inE 9jeb9iޘ;0 O~ֹXq07&6mX94"In# M|gAw-VGʤ jBntwiǑ@jOoC lG_G]~kʕ _s+MHHط:ٔKcJ:YI']CSōm!?3CB>bGR]bťEYa0bu H%hˌ^TFWƵ;,VG&ɟ˥\=`5!IՋ;ڭ`UZOK;ET T^SD>#yV'&tθᜣt~ozGìP,QZ"#X7,-܀lת86V;Z;hHtQ4A}s/`ԋ#5Tw>z3SB Ne,Yv ^+澚3xQeHo'lF 3ϋw (9\ Ļ.j'nTp,Bβ~C}SM⌸'B؅K/ӳ[f OOei=WgCiXL "Δ -6 W\\}: >tPRLC_7\#zhpqxh7LKY2_̃!Ѯ8ٲ%pWm$tc9m@\OY.T>'zԘK- fP (uI;Z惈59z:9;uW+VJwc6USC![D\3kI钵{ UʼnɫEk#6Z'As5ys8fj|WmɤjAH)R qak~;E}<@thyvIg>E9L|A\rD)JJvz֣~ 㔼cXhrDgp2uӭ_/(=T‰9RћuNM)k&1TVHD0˳5J-,T}Z $rf 5gQ ѩ"C+MxhT.[B''hXMP˳GJv0 0z?OtfK[o!XE`PL>1Fʇ%rtLD:MBOGAkL'+:e}$; d۰Ӷkz<:g\g6k9V?KABb|~Yy ``3CRz1 x #9z^[;]s15!@y5"<w\cSb=X:tO)J(;tl^i$_ؕ, R mS 23d4IJQJ&6Z#mF3;1+I{UȡvK!5tNL#%1-;O-]*N4uu]`ެpؼu򹠊pGжNgϸN-x"!}zp虐fUpǢ`3}Vᘵˑ"/VH2ƒ?G"l6 vo+bNt^>5@~k5衮QwXrdM/z* eRTuKBaf΄zGC?Z& (: vg2*n-'4Oz gM1 Q ^{W0@`Fm 9NdKɁ;t1xfXC'<%bRw`Y mb[,Խ Cd菍 Et}1ĥA0pwU`DOd;uI@@:wܾmQ%u @O3R؃"(䦙Ȃછ'4U4 ώHSJ 9C4瑩E ~ 0)H,#$wY?p;[Br U" 00o@Co(rDNzR.>v ?EU|%yc'|/OASs^Md ~v_V I 6ym$+Fh3Yd*pI+`|ި}Ț,.p LލVFg-G/iM I2 e O1#r&yV6S*88gA:܈޿.]~N?tf{u3/;%18>L2FD]a3W/1\O. &&T`UDsm*Os٠z8 uV. f~CK G:IEگ"?ßSm-gCauGH6'#'t~\}CۦnT4]KY1J82.z)qy[ [MyomLgpWZ:re{&ɴa|Em@;x:ՎWp|GL/WRWdt&yRe,:yxK)`tG v|{₴tEVN2柨zz0ӱU+/78 {fE,^`|6&b4hiABww5wmOvsű`:#u5zGL34>xJC4uu ٤~3s| ܐd=:JiLJOPydo'\i݀'z:tw>@LPoUUB]vb|79 ]ti*o`KE:X^ P<й= hʁ+XLmh"ƦWx!hc9_v ~vpSnAq|8@ktC8Ȉ(!萮U28{v& "h ~98_8'5`S woWTȟ.у@$'Įn{LX' nA˝2Z<)L 4}b۞ koC? <)q䶭;lGg'n_!0{b1mB%~\R.&x{?X:+&&C@@`Vdk+>úg>e/8g2FFHŎ \^_Fm̫8/\*I-1$Rr7垏?!: E7._wgpAJ+ֱHmFjt>hsڛh]r0)r>dzS6\!=}$վAkso7KCHN76$9H,Vz1]h ts;t`5"Vpi]λD+UpVt,%>hF-C +ݩ|,f |40_ <\E͎"vF%;A*a8E'x]&ÑGx)l_&% X_J\B~G @-#+M `醱 ^b7WrypDzE_kRwE1p֊Q4|dGU!O B΃h_={|2&OHomd3I­i΂"/bPGŮYHS9: zd矃X/zȳb:u ?5hO%eim t> !iJ 9(LA}GT@nᇐ,uD۲23~*ڎ7%c59Ƕ@9;J'j^y/\ج"I=h< D;)h>v~m3DAlĄuE2!!d|yl3#/X2 S+UXL? m@( lIMh47K;n'Y8P NFI؄` #/C _C,HIYĺ>l[6+ȴ{`X a]:grQHZOm OIj1SNMu+=sdHv_XF 3ƱBvx}}$V>¢ {fbq,p[dnNRKr?@iR ݔxe惭-0o{!8&8u r{8юɇ8mhqn;칏Z{ ;H1i>T,P` eY7|*lz64^.Xʉa=w|5h+:iPeL8C'g/a0nxV&C{BGj:k?NϮLC78<&Օx\rԑr1-q[a\q\ ^P>i[1 g:4ɡQmc2Lc$Z]Q@] !5;pMsPLg6z/6P~ܓR~oD27 jjֵ>2H]X?k.n*Ď v!cϊV[_)T"ia~"??O)5LisK;gv}~::Jtr2p{O&>OI lQ㌔ #ޢ 9YrU ՙq|CF_BWk[k;#q?do뵜wTcghhQ֒E_:4]CjE5ao&eOKCNb-cpGE!VMnM#xoAQ!vӋ)a6 矶qYmn;=;fMT| LH"f17LftpKmťʒ&%hޝV6rne9N 6a''IjUS`:K)g#$4GXڎ4~om j Q@w*0|l\;p={gT*εR{Fk!7k1EU!&T Het22+P&i8I-,F$foE.?Ɋ0=u4yl=X: H+^6SV*Qk05#k=*]DY45Y b!,ufo=t%t9p Q&g ߁E_*wCn˝y$ b-DÄ=;Չ`8w*fsx-e4Ѽw^!m{.{7ёaUelO4 eUY L0U)Ny`W4D$;JeK:i[-]32M55:e^puB9oº9FMgCY%XBz/ ҌDwԹҝQ_@ Rm[s:bYIpˈQX!Re:_϶x_2X χ/md Lf!6m< "c15^rUr.qZ{Zj$EY^GzԷ1%FLJĥ`ʧ*VƼl7́3zX鷺7L4//x"("{>0#0.I'DrLG=|5S9S\';L/jgS5^k7csyֿ)>C5LZXYTWJoE=Ih^bnI~4rt ?7N^S#-(RGP.D{g%uKGdúǢ) Hh:7](ZIc·mgsUcb^ux45@kId{%&'&E F|앟s6/iwf(h/̳1m^?Rmw)lƟ\1yMT1Q.5zM}-cZq{}Mz5*|W$ǰJ,X~l\%q'3SE&u"EXL NӺCK&KOE1Ȣ!=0-<Pʴ.J_$[7ERFVR h"_`VϗtK,Q*`B@0 9 Jpnn#UYIkenW5 )>ǨHRȃmӏ֓'Ls2Zo&64?C$ Tj!s[ֳHڢ}ȧ|铛"h;DC*$~fwu2DNJhuS+tFX2`l^5(Џ-do>{xߎYI.;o5)ۘV/T;ܐ6d/0J[S\t)ֲ=Cqvx*)la8?7wi5izt@m;  >Uud>-->c{'tM|M-cAK֒G X!@f-C>@J 3o8P$ ?Fɭ!O|NALѬi =Hp^^Xy֋Bp2<+v2tdC7_?QMfGlD76ؑlP!еA7 UTR"S}țfщF$}O@9bi?F#.Sr?9FNpt$ы.byR.]%vW@"d1c s=H/:N :.wofM# y'f.UzjdiuR`퉉VFq8q*P^sg3|jN@w[͒f$zY2܁p:} |}9|*j jP V*M}/Όk}fHz=R7i \r"ۜ],Exu*DZv1h-D@*1by{&2۽;DD=N72V`DVoگꁧ=.R6- QQWU.{$}{&Rfw88gc/Qy0̌-S!2X$VTL\.$FIJ$T3lt-NLJ2kBJ+:2QLM=}`;S وb1 0Z$7&w^ZFJGάQLS *IBhhBg Xf8&j#Wǒ>dE˶@ ͼmzވ<9! m9Э~Z5IIԈT麿E,Z\7aN=5=#> IGXU#"R_so B6 ' .Tʩo@0f 8=E˂5ip,\f >(19}Ϥ(RZ>|Ƽ pAJEb#X!Ҩ'0_Q&NPeP,(kbeqUzXJfga7AH[} BN MP^,zIĝl)f|ýI=Z%JIhmbhǨnrv7N{}'5(/|ϹNa6R9(`yk 993Fuyh[BpS#1یy=:4TY]6HGCPDSHmbf~/X2Z(Ռ[|6Y%]a6N4F~̡&c\L{Rޥ҂~g/u{"n7>?:|Vy¶B^2I:|x 2~[&R;zܦT <~M+lLC dE)%&cg^+j]M[(ېٜt2=.۩_x`b#vMyDC/QEݎvAS2ǰ:A"69dBLd^R-8zXkbΈjM$W3u@k) Lhp<(SʶʒYzAMXΘ{6n3#<#ks}]9M0:8^7 nP-Fdj7a4bZD(ё ^<ߌ{TJZu4N9Hf[' #ZMJu0HJ2s&'W;\]K *gͶ£dT*W})M3dQr%ݍ]He=5ti8;01"L{bo!p7cEbxZ!q z{p$]e'γPcS[[_fzpwά|Q{2d.lȜ"WT8h:0W}B'wEDpдrr bz;F~2|4Ddh|ݪF PbXTY.?A8XIeI C;f"A8-pRգ]{n.X晵 Bt Lc%gN!n^K0Ѿ8;5;Y7ݦFsTJL<4Gw:9 <+٢'r -K /щMbA:[kv˗8¯ׄ~R{n]= rO/UJBG.IZZ~0WtUM&YQվø8J~4;I@\IC=E1>xi`U& ݣ wxPK -Ųҵ >Z%~G=nnj5IpGs[Sr)۽?r4@l=%@[&Ϭl_d,ѶMcr3tUu q L4u<*6҇X 2qGc撻⫻٘}y': HUd>,O@mAy5@ a[2ݲМMպEDѺW=KU`dGv Y[9ڀYq?uz>S9~z_;nF9f({763Peم|I^J)PƾFZ5h/{˄9bݽһ'Lv폞K"deĔ_hJ?IӸ73u]?y?{8ڧ c ZtlftOچns:c3~RGŠ GM0]w惽qId12fu!;_y0' 1*N]3cL,BEsD]rXd J+]N$2t @+`c=ˣv q:e&Zp25՞'Mv~;zRTEDL#G#te-J}2Is(} oe3\PoѦ(\-Tǔ!- )p0u2FpoeCM%uϖ*Ƿl!rE]dX?rv {LZt42|b߉,jW(.v -A4|IʢnjoLS rN0oN60xeN ^ytBnk bbFovFf Z̽E2 #iHU}122Г"Nz02:` +Kex/9x-vQ bLLZW;ǰs4 ;Ov3[/i%W7xϫ-A_pAaI?M+ʤ,ш.GOm4"3 8r(~aJX [`u\(^Z=@@e;ݐ sKUty 4Ojmv O7%G(z_dIGiU}$ p_2!XkbnW_ N⮱gFo?v୓]Q.2{BjG37(fg>'*t֩Eyh>XǢLzaG׽"9ԵQKލ HW6ϛ"=A4J?wB 2T!gTvk(=)stRV«zE}ktlt9{p)UR+Bz3X߫Їt ]>MPhXE#).mʤAPӸvlU-g$shN)->*3q$v y&ÍVpxץ!427؊6؃.X@}6B<1C y1g k3C$ pmv\F!K}@^L%L&|"B:B{ 5Ғކʗ}?.3o6RQ# \bֶHWy~|{?\?,e.zSdظs>6? >vVHd]:gCފ)Ԏx3a+]oߕ$`c;φrph1 .M@#hNhs*#2Xyx!|C(ƈ'հ[9@׏pV@2iok4g~< Я^2O;n Ժˆ zQv.B~o1;_wn$a';H-RXv;k 3RȐŬ>Nr*ݓvMBsD!"KæA3^~U:K{`9il_*5?~aEIk+=&B .W+ 2a1@0/n7X UN>.jL¯Tm i },`zgc+RLt^ց E!UK]> ePWn cWrQ@InؤR-䉫¤b<} hB ˰Nr}ToEeM Dd+ 螈n8"ӆ[6J` rhv1K @X2Or͊=i E;;^oaj]gR˴JfbR[o^ovlDZ / rhۼ]nߩsz[.rWO !4ٻx3rMܸ'Y;+Q͐L<+ T,eoktwp!vt_ /jx \I쳣WB>tT_,|Gъ-idu)fNi B5>lQ:3&L3@=rR׵(MV(O@4/E-I[4'BB~+,-B\wn"TCA401syL8Ұ*"G9E1sf}aBd'M02y#!84]oV]͒XnSzBxţm]),B{I;|JK}k('ny!&jfWudNQ< i mCChᆯuyCG܄р'8ڛg!/ dO G鑜{jF4 ؋)k fJȆJfq)R87P!lx 8X 7U9ы ߗ†Buͩp5G6h<<,SaI[/c$+sNPu}-"F3L" q͊G_ɪ$O{*c@EwXt3^CQhJl^Mp8#2$rpQ{ؒsE2ÔjQٲ<)zPm _/]vrn#%]ʥ5TZJcA:f/ +rt/P Dg ձy0昵nؘxG}ZbIt/T.D a>O Irh<0?q/>)`iO*xc܆YxN>Y+pT("oxV1 fl .1ՐLGv)D?}"Q_kLE_K+犠D\2;#Sj=5}GWFbYFl<}whaVb蓮pKuZt޶C|/BZOhVSUJ[>0D V,AI a Hʀ2@>>I;W(Jϳ4L#Q `m?EB͘iJ#nABoȑC.6p\4d'.!#*p;m\QC'+9}u+"^5?cm|Ep7eKwM i}@ /.(B:GdWTWĐl7JU^nȂ`>*Jw´Xk~:# o& LI< ʧ{'S|Ig OQ[hϽnj^5IvLJiklt:2ŋ3 "ՋҍwC ~/aS7C<` 2Y>iM*#soSdНA^O8"P ;CϽ=c: Lج#ñi)BM u5m%vGRю|gY7|<4JIBςhЗE"g^};l٦[QZ"qHeK_6`̕M?C7ZAkc !m%p B' й~;gom~ͣIқ4-!}sWu1_ch@YNmxDv">Fp[~g2; S.SFm#"ì|UVkiaօ?xny ϖ>s USm.- kqf³?Hp-3O ;+mߌ F*KhBQtkN*/ χL{-s'f-̸U`Y6|Bc+ .afGy~RѪ%ObM]^oPP67D+< ;u\un%Y_g6A\.b ȯD dJ (Ȇf{ʥNSV^l)422ht27㛽1qz\c| -m"+P7 :>i!Zi+~$8̮DO\CiORqqZmJJ\ݔ3c rjBW zC4׾Ll2kǚ'8d=gYZca06e47c8ee74de20d20c2fce4181d67e8deb0e6d3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 8216edab7dd1042815b7493278d1dd8ece407a70 c05ea7efde6d1d3f977e6a7428cfa66cf80ac563 ad315f784cea840e61e5cf3e43331ec9defe8b6a