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  l4 ] Core_DOM:threads=4elapsed=308.024cpu=1018.940gc=62.292factor=3.317zXZִF! 0 ]ŗXf[&u <|$Xjw~ tI~'⭚=ZJvDՑTu'_vx6ߡ.';B7$=;ykcER][Qo@yKcBh: }FBm$Znߊ&n./Fi}jjXA NuW؅UZHbC4Z)p0^ O#_ g. fSt :yѣbZ:ߤDh*uIjn,x %/٧X ~*   Core_DOM  -AkE&RᅠCVzL֏_ Isc ?1 T O+KGVL@>sUluypN! %KSt :[?Y4*;'{ݿ|L8/-^_8M tl_ év!d|;q?%yV(L-85{D֣c'F5G.FCc %W۰?SFO4HXl?\DftZ9`]Ĩ!^TDY 3[bmVd >9l~[c3,R 9 GaXv}-fydG76g B5sdO@,G|SW!3EY$K 6/rWկFx N@ I7vy31H.5>^6 J[oa=VI c瞐ja:"A ހsr UfD&6WR%>==3á^MхULFArx W.5/Qtc-%^ۍ=P.Ñ r2=_0+qN+ֽӆO940_`kxx*b4+E*?/Jf9|K7O5VwwB`q|QSMw$ ϕUb DmX' SӰԻ %\*&P\"ѷ ]7m?-K0"Թ[h3S>EU,P/wd$M^؀ȹaD1DCKOi%:H~ERx H.AU|,SG;|Usq9_&1QxG :G(7xNk's=&P6ĆYюMQ"G#Шc)ЎN,ZP]{1ULG仪7 W- [UYq"52UN[؄1iC)a{0n}Z =j郰4A~v}dns.DOY#=܁}Rq?3G%uH=-(1;@@nG^R` ~VT(a0"u|%Kދ֯g>\wqmYd,UJʸgZaŒr3ny9OF֤u,'JUFX}=VEh.z8MhثN@笆h5G|T<Ө0[6;C\|ùN'T>Wk8O̓\/ 21Sz+]"9v|!-" Q|0{<bO/`&i#tvyXIMR]B'1c2%:bm^_1T0NT؝kkѠij9K+PX^2W t NAw*@Ss5qK^XMB?g'aBQBLV%gyTe͒1N._ԺQ}<{XK}kR"c` ίw2@|V}RبL<2O+8o P{b^  S̲oռFOd0E.wvlx<{hVi5 7Z/0gvKD|W銑I;iM?lQw0Y6D?ș3vg9ТEA8y"{8ކnV]%woK{R u?E B3 ^uuUWh:+rv|ƚ.!ϱ 2$J g&KO +ݸs8-*H3ϳz}c #xe.H _ " -[%;'4)N!TpjquwxJipk9uY){P/;`$=OVS~,*rgX9=T Ste¡2@tZ"ܟ/8ddO*șvM`Bt !ݮ^` 8t߭7ҖGR c?V*)fڷtYZ 6Euמae A>lJw3[xkcc5?.ؽ9`` I5# W :o<;WY`mT+|Oź_NU$V&~&$C&&XxQpTf|+#9S,^JdjEԹXm|C;Oߦ @vXxGD%.ly Q(t>UTW扑>@:ەYՃ܌MQl3#y':岧 @=љHk:F3V5rWw䭨m^By`b- :tz/ZÚϙj8;zLS % ¨)qoMld|Y>gۏdP1jZ8{r8`1R(! \ a݌%"|{/olq]Q ɉ:ֆM&.Qkm;M6,ʾrdݝqTGOf>Wɩ W+Ueѓ6b+6m% yep+ h=ȁ"Zjʌn%C!>n\[z<9A)qf_7UeX]vߎ6Xd<44ҌT)s ĝnd縲'-< `αr0h"epD$T!`CuRlx΋~l' *ʋf&BWٻMwʊ)w:&բ.l;o|+[3=ۯ†k?vr6䐜OL(W?Ǖq.1Қf%=&Fq@퐪bOs.BURu/ u{ m`^f;Ufayt^#H$oǔb$Wn&cӄuz^pLѥQ ' n$S.BZVE8BP=3hSK,#R=TNH[dGʌ0lҡA+ZX**'kkVJ SBsX~SmcȦ$xi/[@}䚛I}np>#4.N/"m \f8iLV!tf͇hJחX=p~uۢmB@!x!*N" 8o6YF+ 1L93(YRAq!q+'N0Wtpe[Rʵ >w 47!}ZjZi-/3gOH8WRXOa3IU쟽Q0˩( wr/yP=SmOR.\V/Ṿ_$5߀o&g1Lua H>\v od/,-ʂUcwǜQ- opݕThSƀq_{ !g Y͸aC>6:&v 5-ZY:W+`~r933XꙒL&NfXЁI纂i)u43: 6條#>2hPed^e_n@֩IқrBb<XQ+6 \2 S/Gc( IU[^jf`\/&dPx3hf$\1.ECF ևN[#_H)`jn 歧q\S[ &VkCDz6iLj7~-S;,OS:9on8ϕ48& _'P-/|blӥ(4rGɭXsIfj,;b?}Hm\Uu<3nn9jц\ z_dR*'g'_fqvs pX)ӿ.E5}=G|סM', g(! z/=Vl[Za(ٟq7/]|Z|9q shtbMCe"5 xTM3Yhz|n=eL<`BlMCzmLܯU 蟶L)Bw¸BT9Ņb(xbN˨ŰpNd;)wGuZrz{g0"jciѾ~wBUT[G `Z1^."ܔ`Uq9w1Vcш "fOkܪh TUA{N+F1 h͛Z jw!&4i&AA~\|{ሪ:)CS|1T<̤80`"a7 G3>p7 !{f)X ('Ȋv%֎Fȭy, Z뷦ݲ<4vI!599L[^oIzaJ f1΋+NdCnΤ5^KbÚ)$bt'kHV18U{PEyrk >#*wq2L(,[ : "lYdvgLpb[=T T.Cl1v ]\yYiPF|jSqȈ>Y:q{;+X$; B#C{ EЛhNB5+ytY N?}WI4S#1=6k<߅YT{58aěꌔ\b!wl4 ?&0oXDK7s%>X>}y^u}fB};`︐1xEllqqRz o,q1( FMs՚"mNdt֖q˗YD9O[v4}/ڦ| c҉G}՟\cd]G%Ri>P[1tZh pW8zHebNM%.R#ę;㖇2fÁF݂ ;Q .EԠY QuF&4yl=?$pp,p8 ו8(>kRu7ʍ[S|4&H@%r0."]QQG.BřlXN Y s]/5FT*BE_$2}X˅eR,ʲg΄<({<7ZqS=ةfEop/z8!/mf0wP5q•(Az.'3w kwBVt }&PW0w4=Ğrn'^m:# 5ʛWCLOދlc!t llnr vo[w]#\0;m(蟂!saB.|\>NUWO~m@pሂ30m=-y\=Hh휷%[ ZUIHR=ϙkొ$0gIT7}ZM!/:,A5CSF~ 5 t¡ Mҡo]j=R߄A_aDgYZ7zXZִF! m]ŗXiɟ69W:)N}})Wn+xƾdXA4KY&5ͨv5ZV y0Tbnpex͔t cVݗFl s[ h>\y,ŃJKSZ| rjy*5r1 ]AfP:U  ks}?hZ:^S2ѩF}fV1Џm.dcEH>V^ -H~E`<Y56Eϊ`MUߌ>}65u+$|VBT؞ayG9[co )Y׭_%'\7}ߡx1n6IPHuŒEa'szڑ(,L ^O>(d>8IqƜY1ܗȚ,n>@ed@d) #Lv F64h=g @ӑ驷9@[ = HĨ(h:IA+6҇h8݌$:hJk4h- ?2g—l="%Z,&ft]^66 į0H焇U.cEpWBby即rδL:MFR88қrɠTS0L U!{oqO]^k0zT^Cy-Ԝ~m%0(#yԭ:~P>٦4hФS7-^!vsIŋBɢ %'n4{{J@jV}4Ƒ>V.k#j)+ q94dEfcSѹ]EϤ 9WVQ/]LyJkÄz10mb}6@5a}uMpr +4qx1hh!*3]Z–i lFbhAՠx SG0sHJ^E0)iDnk]Z06(A/t vi>!bo[EyBDv`O_4e+{!6Hxr&EBVb=жC2~-e"Յ8;|Ϗݪg#bsF{صCBm4p7zK1w 5"gKn&^Ðrmz7B*RJgnpfCfseS + ifZp{|[bi$}@o1۱h6lj*J+[s<|xw;ԩ SٖvDn'FaO5}ѦڳFHh-ci :2m BO"Ko+4=Q_&u\&iw֌;"eEp'1 N#eW9WtS]ַu>9Vdm,N^)IB*!n 5M+Y_^kTv.ZH0֨e T:(LSbpy5w 9s' G2B%r"da@mo//~&9Fɲ |]% |LW,5GV*h|$;Ciɫ EWtٝJ}­4ϊuIm KIU2)Cdʍmni 6}Sk? mg`,CF[)x]0rB(T=188I  .Hc:yh5 .Gl4:ʖ3֋P؈S4. < ˁ8}Fl]4ȶRP)G ;iUXaRE:[<Ѳ=\?T D}`O 0!<hZ 8*BUa5?NqDiLHbSQXa_}0i2W@Pw1&{B^ڸV,~Ǖ^%G$EJ!N<)/ct[p42g۟&i|9eZM f!X#Z~+|I8<՚I#1&ɯU,%qqn:-jcZѦqDqkq;ޘBNܼa 2k43JmU3!w+fcQ&ÓLQ~7ՆMzW? :;֓b 2pm3Ďn*~1ƔT`YfDIP] TA5存ަ-ݷ Xق z^Hx&SyRŌ ?}v)M'Eo,}w'viMf'nm(QQB;!NA3 5AImg:r,@0Wpϗgiٳa#N sભ[Υ4_PƑCY͛;3[PSjsMPkQ$qvp S 5*Y 2Pj.L hZSbrSġ:0 &@`f 6O߆݆Mخ`ȏ¶9~:I"ʝpF[SU.Bel' O=\:q(Y]Q$l8孞 uzK;ڡ+4٤R*; Z3 \f$7 9ArUcsc7Mm䩡⣠V;{# L>}zT^b6ŽLvR'"n` ?26{_﫚y5̨8׿[Rm`f/k-"tL`GA*sGE酤譭ݿt1I! (௣KΛ?>Z٦ysBIs?p7jq#}]3ٳx2|qENk8Lq0u;~Qp @3Bp#-1;5$5a$ټh:, "uWꣾѶԥhN03nUu_U#=]P[Y`pa+:u5&]t;ξ!Od jdd0?Aݞc3Lp4Ѯ m o[c0hQ[-wZwX&xkYA)1+ *& dv4ʈ̿o62vRB/"҃CEp}e,w[@^,b7ʣЌd$GX1~~=#!?x8EȐnֆ oԞ?%0Yd#+mYR'<}N"_#Cb&B8eaGJkЃUYmbf6'x\Z%NgKz!`NܝE$/ b Ld*?2rMy(? xcGBys$}[7OB'2Ɣ —G[#o&ZRQ^VPzn)UUf\YPNv4PtĪ9xNUuC7զɋ AT+D-ֿډ}2X}2gnfs:>PkC&.'gCPۦwrp'foRw|xB~Y]ɡ;wdoB&  V ~*^m{ W Ғk^,ltW- ̅鋱h-JܭUh+^QoRiJwn A9\-'e2.ޮApJhd ]Y QZ~Ŋ"w#OF'q3_l%oSA@#}'ٟq@4V?iٺ?;3#S/wE}};j)kף6L[}Ke52ct"o"\s/%> ZN'&?~P .LԦ,Hum>T57$ӃV qXJZAŝkh!xM\\MBُ1#=aRLJ7zqk<(B7)RqtK2Rin,IX8ǚ~ɭh.cP$2/2&s[PMܞ~)y""5`$ 1.02v7E@|,-Ce' ߛbԆd*[@yPd*[GvS(N8^ Y|0ؿ~w6;N0}xԯaV'[N }\;$Bv{":k|l=]eP›o!&vtδ9=pz,Lj9GS)A3ʤSCQ:C yqOhpR5U6 tߒO- Wjz}1S[-T:b@Naafō3=GH\8fzLq.O6P\2d aJv($O{"-l~o14Jfjau|;g*,H!IWz *\YQ( af& 8x8-_#m'bC^jT1Ū^\[!I,4U[{2l (5q4=С%Ccd{ꂻkd ˏ6 ^x17JVvV3̯T'/^Q?iUղb%vL{(t7SQbU$/h/u[`0+`_cpRjtM+ȡ0=4m1@k 5nlA} 3 gXQAhlN?cİ9O&Νq*bjlIAepO5JWTT!*XíJuچr՘.` JS7НOAӧEڬH"`e6ghDsDE+cV{9v ғ5]Md(Xq.]{9">e̩ j@[qݷBOIq$3Et\ JLÂ9/}L*9l*_&7`u* +[Nf,r#U 8= ޅ@ihfpӨ8QO}ʼn*WGú>ҹ0ؤcΎ aJK>;zGk0Ÿ!2 ;mٝyS$=L[>z9,? <)n [b۞ "#pŘzVNEy|u^;ߐv)Z]j[ėh`Ͱ0&bO N!\R !KrE\BM!R-?>25/>j{z {t͇"\ukv^p%4zIeK 3!)Sb~.@kf#Q 22 `X"OPb ?K8R$G3';^m=Cre;4ǿ6+T*2uUqLTv?VTԻnl+V^jP/Z%ueZ h`+qu“GSj]-K%s3}h'Iy/|X zmf4_J@G85@$1kqmtNCjkJ{"~%U3Aj8:fIk{ɁI0Hu2$/G2RUwˤlr#D:\bבf1C"0"B d;veOP#ᓃ5F#p[)ZXR5sFIw0g9ޤjJh #UO=}; #Ө7.8G,O;M /H mݛd9 8m8*& $Y/R׺ZW.5F@NDJkI`7s_q!'d^sd!` z hkgI׳!][&]fSliVL# zG{9k[5uy{Bߓ2h\ݨa-Bˣo/B Ax͜**E ZJA/Fbۛ\c1oLGH|^-=@%'ӃQԁ4؈6 tx~%kЄC&qo]2J]F?>(YBƙ3yDCR]W{ŨO JЧO0*6btnj\>kO0\ &T;EntL(rICLt 3!2@d~됽= #I7躩 ɘh 0t#r/x:|n";4_2|kڜ޻{V<&Qƅ-@oٱy{&"Je=MAq/+4c>2H}'V#]U F̸m L "=w9_ c\F3Yo91)= m= +Tp4œǟI"5T~jO /#'lLJW<)%Yfߗ9QcyKH!N.W~~'i*V(X}xY3TGժĐ*mfCEY0h<)Nr`ȩqa)@氉DuG%XctR9dޗ|jKdARtvBj(bU=!GnyoX]ȴ}`@Bٝ6։ͩVT4QfV]C h7P._z~Gbhc^Mp1.DPOC[j1sa `%|&L. bpPh4wF#s5TWxiN&>.GIQ߿HR{y"I;D{4C_]5jwUE xZ4ir%= es.S#Ky3bj: c `l f !AV xNtBFwX1$7Atywpj:PXC'[4e^q̯\xv5Ul}uXpE]#d!~/ 5bqJaNٛ8; 4d:t5s[ZYmy$v3%\N Aphy>S?CJ/sc]"r&,3C:d%0 YW[͜U~bl*ZB3{=o@XB$'fci Tl^#%Y\ Hþ>_ ,+x,<=P2k S1}[Cf5[(uLʪq Hv@x[Wɤq "5ruHrLX^lǭ3eԧzn2>f܇ѱLLcW͌6Zyh, jw,b @ w&Ѻx}CSĞ\DG(.!08W;+!duYObLg:oS->^xoamC''/*W@ByŸ~TX`@ L5V~$W.(L CDoPbnKѷ>g SE i_nbcrozi'_EԷy\?(TZ,c .@߸Vq*1AK"Tlp 1W#Kwh)Q,_ _Ck,}GꗣJ2"%T!U ӂ>42uHh^ڼld~34CsF_QLpb{M lWE"(s1/(M r o[z3B(4-hneP);Ɉ('WpTzqTe >NH`ҀOISWB4ʼnzpd9c6aEx'NfS~qB;ĝ[m :Yo%"e\_4I:lgM\7:bU)5,a? ]6+.jq__".D6ɋxt (kL PCNz!o-*.m|sxQαvx5$dTL'u#uĉ<ȱ( Z,`$'ߙUV Ũ=Y}Ge6ꚁJ} Lp`fo ۜ=jܖbI4$::*7(Z$u\< l|1BBFbD=< gb@@snrkD(&!GhG^  ?C" }Å!NZs^CW&sE;~h=IZt8G?5(IUL}7^CK kb! Y[{`׫_^0?U5$T%Ez)t"6^G'މCI؁E)֋ld|)Jtݵ$5=S ME+zkF d>gk9ΟwMm#lzz8awD.Vm/"x93eֽHˆg".& ;n#2E'g˶XO;h_p1ۉѯ; qO`YNqhqLO8=hbQ €M0]\r)|t5[DS]&?XZp:o:25 uM'9Gax_'"tn]9vT4u8ͣ!xrv2B[S^-`H1$֘Bd"{hHf@<98{LSbb"%a?T/N}W)WQ 1P_B?:Rȫ! 1}#mLW%+CaV@EYty<41<N_6wFn_DE.C$(8\{tWb|PPŨh8rHr9ӧ|ܮxw&=W2H] 9nN:=&/\I6;ɻM.~\HUCGŪC Ч,0S)ȴ!Fd('4VK(}KLd+1ߓXպ*<$;B-d-_rPL-K3'IG/Ct'ċUmN:ggI~?[C0|0rWOPyK&?{.@%'Rr8c稰tSdMڬ)KoT a3Ȍ"Bիm)"lʢ1kຢ_eruKMB2)7ru&[‚?eQhO-khdݳ Lzu@3EZp}c>ohuw_Tq46(71KZ݉ oY07-tTqW@`{à@x,qL]NyO!eiЂ~&Y1 İWG#S9\BOa?Z[LddU2&ݤcj3  g:1,͖٤ۢ(\@(]IԵP!q:~؛(4~,S8ԋ$7h擹}`xmmXU|5 $FqBwEx)<0IF\ Q_8fm9R]h>G*#l5}<;,ډ!dcڿŌ4w/70il kIV=VB|a$N+V A6d)@g!K z ŇI+q"Qy!s;-jXQqowTJBQjEAUd4gxcYC^ZڲN.lB\_2o+JIQ2KEηf>#c{,&$qysՖ +9xFZ_4j{'W9ޠ{-_s{.;/ LB.ⴄ|DRܒf@,95D(EyЌfYnIK }Be()7e:쎁J]Z&J˳Fqs¶Fdbnz*q(;xوI`Q c,'ɍ9MV9uCQϰyik|5C1`AU$.9:7CR(Rޡi2C぀XZI{zs+}PK p = fsKyAe!mHLR[AD@Q+" ˔K8 uhfè;V i 5xI|V]8¦ء$&4Tʈ{ۉWJud Թ$ԡh0lUL(!66bR;k1KkD8ÿCSJ:he 9rZBϐdȆfzy ~ s(-ZoHM}{ x%HJ݀H;T4C2gĎ_(TJ, OGQB,6甴,/O#duaߡ7IbJZAI_]i%>~pf')}_Xn<4Qc<_t ғ_m1XIiHD)t=$SFXvS_@F{e9])iLƼ15bM`(c"[5ڿsI'E])ՌdE(,M_Z8[j(G=MjuURWpKn,WdܭޓĿp$(aW&$ƞlf۴B\\<{tnl=BnxC@)%Z®uNdj`cvm^/sMⳅNt~ @ߩ*6sTMX9e,}`c(;e`brvp~\bUq&l|o>נFj;N> Z3 瞶 MHBslIrUZXEU0H.Smo:ٜ3=+aEbC^fkIxǽN;:c//e~0)qŌY $|?ɟE뜥@AQE}UdSYnwM]ݹ^w~& ^e*E!JSn#g!%˕xWj,={A;wh|/o9w ߿F "F/mw7?sEIF" gX31@D5e!'sˊ:KC҄oIcN:[hnt%U#%>jO@* .+ $K%E죦a{!9tɗ`|"U*X+,mT7 rhfMK;o:i^L5>]½>QHMas h'l_i\;5uCga b(zP捵4KW˯60 "К}4t4 @Y_"6IzsdTs'ZY-aS< /T}@b%մxy[1;1{矈 ٶ:)c 5<:S4oZ} 8xio``?%em ՍNK2>*:/Rg'BZ"=,uw1,#2\`z`È,nVY*܊/ڎ&a Zؐ-4 ˃6$N=-r' er۰sњO~YkַJyYIdGT-m_51Ws`5ҹӷM{/:P4ɓTV`;\9S8[ T=ig. ep.ײ|@;3/ vyيb`I^Ze-5۔.M*RtϘ]Zd[Dih}=Nvzdc9:دS;p]rQ-,osd,|_}N0c܈W"}GoK!4C#9Zƴ'$dIʳ + tGj_BY\p&A5MIR$ˁz -w*ma[]YXž #ېMb`8T5s@(ZlnSA=; }U & :ǔi"C%x_SкOFLT& rkiLJ!yuj545}&^7ƲpamRڃ#ak4Nyh6( d$q1;30EF2s8Lċ4u6\3^%[(1*EE1FpWd`SH=Eh+p&W:r/xouZaCEf-uҏ%Tev,Eĺ},1lO2ёˁgБj-áVѤ!v8^#u}H:fgƢ Ms$J7i)t!8XbBqjl`}zWJF,lUY@3M .*W"&h,,cIJ$JkujR pN裸>fƨu3+gun# ,6πDV,Mk{2[w4\~X=rۉ$'9=o@EӎP\ͼ! BorV-$VbPJma|,gLǧJNOHO*0Yɓ.⻋[UG\.<ƄX7?cR>VA@?wAZ녱!5(۳2Nx0aյR|hx7EOۻvUFCe[ʤW0fEP4rG 2*Kҍ_p2O~';J@q~D6ic.w@%*+g^BD<ﶍCX&<({ wUS2kǎڑnHwшX"O]>۷! CkF(HXd`x)NR#Ǜ*QgG-н2)Qce5c F\t3{B^0؈I@{@"$CPBa=U`aJB2Xۭzj+]IAwh*dfwk{$OQ\J~9=@Rp[AK ۇ% 0]ۡB^H!fFc M4kA-̀;YP]AKH1=wh/ETW2}+_ &:_oiUcY~ۚd5%OK(^^ןuZ rumB,Eq`ge:yl8cj`lWICKHIy[R G@'eAf1S+VR!߼ CmD NOh@xDWE-T6Yڎlqn0a̓m>ཌ Ϲ<ҽ>MR:W۽^dm6p5B1d/zBa9AUaQ`:upwn1xo>S o{VgmsL70͆j]gЏЦwlx0f oENLOh:Hj"wߦsڡ&6֯JuM;YdB<@*Wnˏ K*Վ" :8{FO ˆNJ=7͚i0u.h|09yђӫ12%py4}l(&9_%A'pYg HVrT$?]t;c]/2WcHMĝZGw q9PWaR\+H->+cƶ燞3VZO>2}p_Q":R@Qٝ-)?28,x 4E}pOV$g&c̺ܰ?s2(io`YT_"Rm޵|%P (O;OfE"Q#G+%Y6?]ϯ8,:/,u(x}]\e0F}>})=Ée9gnK-EZVV0@В+2pqAgBc (&ћ84mZun)-^ 1(k :7`3SٱGTzP+VpZ+J* ͜VjF$s{ÙDʉ7rUBգtnn"\zT&ˆDLuUȃ{axއ ea*jJZbWܮ-a\Lc}^&M}ȨC'G~}_cحM(j/]Vy'y{9k bG*n^ c1{ =L9g-6d7w^;_kE{f@hgRf ,x@+U:?ب>ST4X+:Ug1cijZEo )e_q VauYwod7/JcU4ښ"W7ƻ+r;ЦcnBd:ʢ1/pm` u ͼDu/Zc"9nם*atlK!p*3Aòo"T|0\ ս]ՄɸYs6aE-0I7ԅ R$p@`[J6c݈O ТkS;:r2Zli70$h~kB; ʯ%ohyE#GIRy5!!bi/@AЖ'Q: )K;XO΄kgmD?يq1vvu}3zn|K&6=RGˋNܹ%׿nҎ´(l"Ñ6Ƿl^e;{|N@J}s q|Z/Ͻ l8FJR?N=N.:$EwvƲ~0rB@K_@K2=j8(IΌp|0-no9A+Y|EYǷGa|c5v6wm]$8+u*W׆P'U*nӵ$h'@ޒ8&YAh9=Cd7=D]S,zi+Օ aVɈ'LF } @\f"bAld j+^gwnr~rnRP+n+ּya CfA7K|Gv g.)>D9#nx{|ߥMxqu`͇?F``dj;/ F\1xqB,1<Y<c?WMTTM*2[H-EɱgE>!G[k$D.Hb_j\~iڻ$=E-K>5ػᨵїal':78y~0.pG3<)]9<8rֽȠC!o+%brDQryEWF׺ .$ّD6/ɒRTY [[$"DNe@gYZ1aceb4fd91f8e3fc231797a1aba187026235bde3d3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3 2b11f4ccb587528b98467ed17165aa165adff39b