SQLite format 3@  .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  G G 1tl y% HOL-Decision_Procs:threads=6elapsed=209.638cpu=814.776gc=78.988factor=3.897zXZִF! ^R]ŗXf1-q恈ŕ׬[p){t,Ox𳼯=P48mc}>PWH811.3Y1*rK>ܓn,E)0vHwvuQr]"!J8.ϼ0o"lql)+vLoav3:NW>2(#㠞 t!YK] nvMsGf$2{h\4-N.By).@&ejHo{Ow4ful(O3 RkJ'c|jKt;|4F4_Uk̓ͮBȥ`噧B/oy;vմj;6ۓǫ@۠ ;\Dt,:P|/) Pj Z?ק nVٹ@z eId_8 evzR+S3'Pv`1E EOR7Sj;e__=x=fP={ ͉ c98B  1 HOL-Decision_ProcsJ*:JȔQP~Y@[w#emبu%=t0(3YD?btW2ޣ{'73 %:!i#F_0Y g׻XRrUU+}Tv)(a)ί TE݋<<Jd)Aέrdf'򬯄qVq eKjXjʪc{ ią$VL')xX hNKM.g3nC(< `eQ?V[-BΉZl{fè!,APڲk'N$D9t2o)WGH )N~6zdcfN 5 t&[}kj-POr-X!r E0UjpU@A)% $컯pTѹBf3eԤH!BLй/^AqT) J?m1MA$$xac6R\Sg^J2OUhƴ~ iB00#(tſ5?ۖxounP1p_gNFY-H"7O "H]aK0Կ;NCqf;9ei6(l_0>#mV݈ ayv?/zݚ>Is:6l2#xo٘Rn@Pb edL,bκQ6"EPR|x5C#X5w!\>J78گ:"ǍA>[*VRklu}] Z8un'?cxH$!{5^- &9]67j0OYfnh+5c8Uu?xYv 02>bY V~>pa4/ccw{c_&#j~m {]Vz~)TdP eS:*#^R" qdzC-ބ9VhWwbsMƾVVtNP~< i&vLJ UHCjXRDrCƋ#c1kvEaTU[VR2N3oZ 'TmTtm祹rux|R"3nS81GQ*b&ʻ1ܕ(u+W|u%hvtYZ^BYWS`f)ꑤi)W3{FJi ~Y YUyMo c&] x؀X<^ f13+1fhA)E!`Thh*M^)yIHE˰fMVJ/IG`"A&"NJa#mQbƻ'`(yd+pmR7iL0 qm\A&Iq @[mMs3ߩVVYe>c=Y&hfjKESnR٘*WbL9C`Pp=&t~%LcY4HޞkK߇_D(Stchǫ} +>QGf%fC(I>^ nvǫܡ|`58Gh.18QCҚ~>\MI gQJ61QLLʶH-q<Vl>5PN4Į60>^0Gi2f? 8q%)T*OUPNFsvaBc|lIBP/Г&fH+YJB8\B~,k";rPܝ<%S2Kul)EJ6,a'/tNQwљuN̛cH!6t@jJ5yLh*- SﶀѴ;t^XD٬"w\0DCq&l⫱hB[cKɂhUNp|!$fo~yYCA3ђr,gmeTPY2Mz~%~i 37vRWE+G GPbO2`DL;1Nח/a1LuAOnŤ!f2!7Y*p!aK6>h| Rp8hMt =Q5ӮThU'#b`~»#Ÿd%+v21,g{%NL (Ϗ4 2&$;3Bp)#%r3c6X?쯯Pr8a3!J)kT+JTO:)qI}y2m n^̪2+^i `{~-}.[RSv.PE Vu'[4ƽYWSq9~FUtS&tZ6Eɷhs8|:ycΕ*i5_E)^vԣ +ZR4 D!qzpjQASA &8_.KP;ecݗK+0N}$a݇_J#;?hƫB֘lQGÂQ_S3$t9&'/>z6;HpoRjK`وҡ%a&AHxxæ&|&f؛;' "aGdM:+äEHc(TQckꀙ 5a$f^=yQ&|:gd1meɋ篯%lB2 7p9г0*.[$F4FpĜGjP4=B@ļ(bs+&I.,SC9|ZwIHT$fjfWOlpF+>]r:ܽΘγt;=GHnakQ՛MhiE g?):3&e6dWl7h&!Dڞ\ّi3Gv)e+s4p+zxG# v]&F;.'O px!|H]Jn$9ZP~T#“ T,7v[gVft}v@Ĉމޜ1b{pׅ(cy@YZ'F*R9GmV ACйY|'/GFP bb~-E&6EG.}xj%Y4|Fl>=9>+vtƵx.C2Ϡ7kQH^8E ʸֈ8Z=ql`6Jrv u_4tzEbTqZH e݅02mOp*j7 zcSgRxq'FB Iu&(75+_[iigF7"S{Tw2+iOpi ?pz 2o! .mE} cX"B筑,m_풼HiI!x[n,=_3O{dK|tPPP\ۋvpxDm `\PM-:AҭaJ,é,I _*o:hx L QOd{Wc癊ڼs[׏Q bDtYxbڽ۳AED|Ees>/ #y+N5mχ +YzL_.?wcBbXrE+Pv|J Y>x_@|ͤ8Ght~OdvTdzWiҰ gCU"Z+\f\Ta[[ Bʣy3 6,Z~^pQ3vP헿PݥEAc4 !G97"(_$bo`X."+ƚӘ_>dy %cĤ#QHT~Zn6";gRw5fyʓ~,4ucDbb^qsl/Z`݋wpFjWAӰYz6|Ao^3Tz" 萻z$e$a|(wr[l,vknv\?oR9'=}NEHw` ƎRlW7x+{„4vs1i9QIP6[ 4:D Mܠv<%3v0靕.)qPgBsi" @n[1E*$8o<|˦44G?^(6.In9kO^; !IHנlB,`btw+j`Qf1' wHBzN0S<[W8*6D+\$wUiX4S2_*%g]0W 6@wE5 O^H9/Z2-Oͅ8QtK.uhC>n\*VB/b[*>fFaf[ǽN^CѯTurn0G3C`튁r'g wÙr3UV32Z*ɧ6MrpSvgOj~o+fx0C-Peo/&ͰVNڑȳZ=z~WQA^w!ia5"33B$Ղ=g'Nz7^F]͏*Gx $eSy?6'JX6>'`N }==aѤ6@i QRCzT t̂Bgw^86{8? Ȩq FG!lȢa~Xpϗ6>f(G0AU|Uuq˷qx%kak0,]J E|犑j}-C[GsQ l%5` XuW;I+ܷl|VR!B{I{M:$Ғ̫쯆7'k QPJ{ANt[gfƉrWY6ߋSēA *ʣ hІG,t4_Ifah,DQϬn`Bt;&,jÀ=iuk 1jI H; 1.yWkz(ǭ@Mﱻ@H.LSnWuƎ n ciJ!e rcȫ5&K 6R`-MzZ6o[n cw:yƏ"V u7ZFK(,i%،Wdނ bѕ UC /w Î'8g-`ztz6713nbߖD|{|NFdq]] tިDNXIlԲR7:p,pdw@S .GnȔT a9RXGCW;.㩓8S&#' `?a ϭ)Zq´4ʩg\ "T8H&$\$vF؝4JMTr\΁NZQR_w6Cp'?.?zR=՜m~f)IK x9|kפe&c_&7lhR=Ѝ>zEWmsYn DFA멛GPOjCԡJ5=M-ҘƆ-?UO# m7 tU;L_GQ!$MV.(jGڋgQnW1G?.٨EEY3>VOr'=iꮻJt_!~ |BӦ c5 COUl/LZqUJ۶k/fPT|ֺHDN/H"t@Bf"!781pJoN ;;X=OT1o缾X!Ig-1lSZv'C _d+X4;M`_ ,QV|U3?rs`qZ^~yj8!ک@Z01vTLASZRB7l=f${R*΅-)ӶJZO%fK^JYn)Oum/Ii`uݠ15{B m?:㯘1w,u>_o=cCBgv^ :zz_;*%.["qvYR.ek1浤j];;| ՠKݮj+8KgMʂzoI j 1dWgq~igo!gv1NE-ϱX\O*Y{a\3M?&{X;7I5Ům`+ x]C/Aw~k!~Xq)]p!Q|$]A`.7,nI#BgGn%DJΨ8qgR}{_,l9acgX$FzQQZt {Zm78m v6{UDq B[PzT8GOjULZA3_qlNh8Qalt)_ykMhKJkJ "oU ;ySxa)1y^xyOT٢@T 'MEsY4£ZXy 'JY?$n AFT+%nm\=VFݜeL^38r WhlRY}oe-_: jVMOr[ּH; :K>qdEb?4-^^^Nrh{fb}oQk~])Q-Jg2Rؖj|@mGqu 4` HNSD@y\N+O,iiYRX*G-qWrx`$ 0hHk0-ObppTr/@`z'xiwLҁ3oƗnC >q D ZBל9Сu*@üxīzi"s{w+Y7/D[&EPWpe!Xz`ܢ%I|kH!"w9&?O~=\_c^{*;U=eЏ8mAXۍ2Z=-|wA}\x7qdޜAUuFa>:m Vg8cX)loBHk΀`Le ewֈH{Ժ}sHr \, ;l?*}or~/TSs,,Fw] şBݵO~%fE FU"ׂaeFtkpڏJz9@xoW}+ޠQl0DՐRo^ j??QG"Zz+> [T,\c쨦1}ǣu ᣊ!3c{c ZY[ة೅q>Džu\u< m.=Q:g=769 GG{;' {|7VBr}Dbկ"x.?zKy:Ey; hjpf ab/".m"zj<+)Q}M{߭L[ :m;K:ώZwƿ`D>|_t eס"oHzY 2uzd<-5|F SFRأ 7hV xhiq G9F .hnXbȮ1g܆7yt/;8L, H xs\)3_<1jb 9*:z 'wvr܅o_'< i9:eFC5Pr]|7 S'* fN;Bp%G'Ó$/)v L.7,1O?ٷ5Xַ<=Cigi}JOH)49ՀB-u׀>Q1 am|+$;$C1<&-`ǖqh%SS?}D5l{TŭE( RKRVvb ڟ׸Z c7KgD#|?BL;<3L5}ЁQWUW@6DӛQX Qs@a9>`ɽi%ӢîV\JJ8AٸF$JfY|zFPǹ[Zj6Ph_g$+@ޡ\Q|sPﯦWD&$?9:.{ٴ/` lf>?kkHدZ8`k,Cg!O ˆ=N#!_bVkYnミVg% 1j_O\eK U4q?QC+JGamNy" 6=Cm6, nsdtz O`j7-8PXۅ83I[VSC9 Z5{R PQE'C~UVlJx=ch3aȍxMؚz;,/'RE4On0ZU#Dz3Sei|)qqRFQIt_"٦0sGRY-@gGM)Qr8%-d˟]ve-nhxOrL*d~P¥EWn*ԒNVwDgoA _` 12oQ4!7 z)w!_?X%+u$k1mF!ƹ e' !KX+xr$ `0ؿSn1<3 li`CU l]YlbxnRhzjXaLG~vxlS2F'B%q_u*K[}G~05X簿.|O'U.nd l.60) q5(m7%6V ,6~5xJ}r0h |<[]qg8 IA13IFR³96M=u&AYYe1c 2#Ak&dg~]v*XX^{I],j.:vM`ԜzT{N1d5DT6d;Is`&Z +; `N3\ĈO-K.\N&vv TXtvWw;HWUbSz6B=uXI]^j^7Ől :;7/8LtKru!h"`Iu f>rbɧ1K].(l̯_$E8lDSI8A]*o ;'oc X,cAK)9n+ģr#=BL"hoǐQLd+P_%AP" g]rz%"Pp{y5`iM:[h;lʙY@Ԕbmʶr;Oz[wC.x΂k1eV`He/I8HŤ:~ j-YۧhGM. in!]PS1n`pb4ul)v/Ͷe ͓X&VeԾ V$lD k\J4?ʭ_ֿ{^̹ZGu=%yC?1pP#4}aZGNlӼ^a4*}xVUtkth%C/YiFn+Š4Nsv&v%F ( >Z%-J{8".2_o&+i];yMw`ԬRb'7+#Hm>]my-AWk&2§kӛ4tUD-g CsP8OQ+:\3O;l|OAKYk%ejv*})3ؔcyY"H0p?aI n!w"١`A҄K'?w9yeC IǫX<Q ʒu 6Ϟh?}ب8K$?(Hj(Fhںģ"`Ppw8gjG&•CDMnqMӗA+| +".}eòW#`VD@H&A^T˺eTIwĸ{/ڒzf: :}C6"_@U@[ȃZW1 Ӝ+ z`[hvoa/Ğ;:B}gҧ5y! *ݶ"@O^}~QfQPaPbePDᦼ%;^<02DMzT bD6ĺBe^S!ڠy0U-0hq` Me<$z+zRGY÷ ST*܏c1w[c*e;u-b*dnG0Qt p5 ߚ<+FPyC ճPSU&0 }ͨn+`Ξ[{t֑نЗ!ɨ fr0ceɒW)ʛyzc2tAĆ{#LU\UB735ӇWȷ2;3^Q)W!c8^QeQem1}: l-k9~ /^7l-t"8!( ߶9t>/mm{P j&3zeIٿuxز6 BrAf0Dh4+5EM2*>`efd~jE^4Gh$͒y|rG3 $o#e-݃ ڥW?+/!}ȵW(=L>2\u%#LvAdc7$Sfekeϫ^~Q,Br<:xŜ J EtE' -]bǽV<6ל#mt?$m;^Pd-a(ᡏRjzf(]XEW̦# !UjTK :=w6KQ$&J'FQBaT(D#T&dW}oD"22bc|k/ߏ6z8 63kMˍBb/5G:hy@Ц `XEx'D"eIyXY @WæyT:Dv78H <,DKg6#̯ +;q[*q䊤%ו嶗zP&H/8-t Gg3~)5ol"b's>Gps^`>mAPulH.&uqh:qiyə]]#Mg(~`7H8cפ\,^ [!KGYpҞ'm /U}[ȄDdd3Og 8ROky$Tڸ^pf: Q>g$~,2ys1N/a EC/\w<+p4T2rϔyĝ{_MB`$JST!|@&]Ql2hFT[l3A7g-2s%ebSqCקA Gbޖͩ`FÒ~n=M`$Q  G$'RLxA0bف m46v1;:|fmhF>ϲ4>9n~$-&\TS i:cPT$RFp"oe|JR=m$ZMgb9RؽHp >ޛ  m ӗ66"olNܶW!#;Sq/1gM&զ;bxk-ݍhB0Hu$oUd4Td%ȃ-7꘽Ka`hF,v{E%npX Қ:J5d $vBTzƱ1TǍ˥FqF>ޔ0H V/BB<,jفy~ĩvUo4^Ă&c5BҌ4µ\an +iki<% zCӧBfiJiXvliծ&Uh[<,*R;)V@[|; ZNm͊G>(t+ Ժ䴱PG'fk[?$l&Ġ)q6FٴOlēsԉ`PDK&#NIQ_,Hf(gKPBg\@ք 'xW!<y^oQia2}ॏry]2jQ!E-<&C25 ?Ç)3%L-B8,0AFK\VKpXDi܌jK]W1./x (61XM,؝Zn0JМOjMk7(Њcs P1V`Khn=>`!%+E _Pa&s.Bum,cF]CI=p)wPC'Wcf3?Zg=uhw#LۇL(,NU(ÏPUE,7 "=rtyz] 톳[{bbM7($edN0V$$Of^YTzB sqe9!Ԑ LrgNUHEUW0R18XxG+v^FrJ:V] wQTSUs9PTo6)(Ó]h]^Q$#'MMWڹ[}(\oŚi8,WqHK] P-lr@8uK70(&i;IoAn*jc0CBx{Y 5[ 0s>UܷM/BڪWB˔egg}:VIbò;Qr'c?Bl80)o$z'$۷,!ʀ9+-䚝= eGCcK#耻}r˯ 3=BZ=FE$J̣'#(_e ׿-3aq˸@qƮҾ%_sWة,܌ֵ*xry*q-'2ȇSQ ;."|Khf5~W miiwLV $"P=4i< 'qZGK^ >Jjv9B;쎌-ԍXw-PiёE^>8T:_sR܆A|An`@}oUr/ļh~ͬi}A<_&3Ǘ^2,AhbЮ5 N󍪸p?FsadBq?Ɉ/ʧ5ﲏ24. {3C_;Ҏ:aq# U %)Mװd[7JBu [%"츄`ç-;r:6SqqB0HQd_ ^᫣f{]rbÖ?{JzWoM=lt_ghQq}~_/[ m1Q956c<%< Zv9++d>I#ad|5rK.,itڇ]H0xdBCdV@q(z:#Kʆ,/:{\]tA_Zo eޑ#Q'wZvwMn^aG 8J@~Ҫ蟒-0>R`g">KB<9>w]R40voGCc)bXtLmEٽmF 01ioeXTDTN Sym2li P}YH3r I VjƐ " ˗](ճn(4mJu<ְ-DLJb[vS')oXbɯ|^Ty/ M9y X_#rWP?͍UD8eݔ QB bw˰ek&9K*ʬH\IIiﮄQHakk8 }a0"7iե4}%x]!؂hޖRDAb.W~G/ #Ex|ۣYyS X&#V6=W=SlW}8=iDH;%_2;/ȯrDz;&8ţC9D?<\ ..` q"KD?)܄Agm%kZB^̪]uM]"aTQ:Zht8lG~EJn_(mqB'&_rTy>Tѹ#bjy!Oh_7KiCrubNc )n*CҿX5m)R,kDwȰIl,10}veEu - [+QA>Y ]ySb /Df:jڛh[#8`k]I2^y aiWEU2C2.p MaGOUs Y9qY% P ZBQ_A g#a 5ϥ81gYZ7zXZִF! 90]ŗXi%v]5U1ERay\m2Ɉzqh(::mSdAq*Xl}:K* 7sߘƫBOwm:PgtGe Vk3ƆeN'\hHJa6p>%Er}_ቶw&IG'5vH! n)h8+$ZD/ê5Mw糆~]@q=&Fa3*\IrߒQ5#ȩ$'6]r)Ize'w{o4ok>ו-م.{cT.l_m#}<;@{!lc,oL˚(+|GZfIq}!DHe7cm%n` ^i CM̲7{Y鵞Zqqp>-zf0ciȈ4\ 7D\u ;mz̩P$Czoݧ ':3. 2NL#(sy;4Wd8D- Ea4e#DbzQgΖƦ(hZg@7OTS ˖ݫk `OA-J SZuK"r$oIt`e>ٚMii"nHPU%zh -ʫ$9lm+rgV\/~x ZÙ=#fy]"p:3= W9d Tr8Mщ_m~)Zꆬ Hpe]f -7pX'n}zڂ ]oύh$ɦFf4JjD#[+/USL {<)߸8pTbj ]n5tOr5 U h"fAvdCp!fT{q|JUfy|r-(0m',?88ova?jQ%cYo# R 8>A^(ޜXGJfS_ԣ3ʰ)C];M&oUcpf:(k:dW#q-וJ s6eZ _%9%h1Mj)W8]uAcfxY08N$%f?frQcHo oR. QD5R%Y:s1ƧB&zx1f1c3t7hjD^| )]06އ% 3!KzTA`4RؔrđYrdBPYZI~[Z#@qڠ0D?>VU$ &zg\q4 k3?|pVk߿AۊQ2&<4zd4g$^2 *X>x߅N'҃茽??$uȦ]Ty4!f\ÃkxıB- | (P4Ľ!?A~ӭ EϷT<֮d+KjV (q[C$׻c3EOB:_Jؘ[Ac0F'beYWolq<{ؗǓ-f3Q0-8A"f;xj]dGq{ KUBjIڳFǿ;苊[ЬVLc\hpXݣ Jm[@bn Et]h.:OҎBAfIt|Y%ō[ pJBLv*nGtĚ ˿KՊI--Ћ51}c\ԣ/sly cx"Mkccjf#LhsYm*jXmsړVB蘼B͟ĪVQ! !p9 2Z@,N"6cfxdiڶMg87QZ[CSܵl#fFjxn; -e6/Sf(~:nW08}}C-W @ oMq'y~ F6Ģݶ߁K5ϊ;ӷ+jT+}Xlc/4Bq^5>#=Vd5Գ {X1Vf'e0CkG'{:>՘}wJ b qhL-b*Ȱ3(k#@2=4K'eۿ;v.&uAB\3>YxHA[) ka>_pټ1fCh ?EV%ǩl|]ˌ;kDbp, Ts1HVKbdrTbVXqF#݆eU~Lg! 񔈁Rppҁ"s >i)txLS8"[Dffmw-@ʡW^WeGe4_hX!0ҬR.Tr͈! kO J@. [ƢӾ_psa+GQÔ O`^wd\,>k[ %.!^@fSoߨ 0#^N6R\H,ET c<]MǵTRQ* #m͊,hJ?1R>^6t\Q_(QĹ]@T|C]44k=? 5f!CEכǍ_ثC}`}s.9tZpJ~ _2WRP{IK QU_G;U0 )p՞AWjm3 _~ʓIӜ m ) t% СU(upl IyVp‚jic& +>:;~"]cû5$Tu,pr;6AC -+=.g{Չ)Vm .FҝI30ZXvn?{ s?FO["wS˰ze}Fŵ- r&3~ ֝{^>6?`QXA Gjrj^Sx\ed-.J7W2eHηP3-ID)$˒VVEUc:+53y`yY)Ñ/My,pٻk"F`ʠ :Lp7-ܤkzE׫=ީNLVf,#[xFu))MAEY3>r' &6%U>ܰ[mKG{\_ۧ~ݳvW^ڬzxшNSs5;y) BSH:'TF*81apP }u~tuTI?4< .|Nw5|kN TV$WCXl&F\qp嬵Uȝ\{\4q~  os>OLe\FN ı'IWD _>b*;~ō'J:GI*fs_o&lYN0^*r~#1PavpoeJjAf<JE*[i |c=gҟRg׻O[EH] 1DL=ʤ/xZ> %w vA#¹:6\[.Ennj)yfR ސpɉ)J-Gx:sIn<]۲]$K4*=JxQ;dxE;QNcȟQM\bʣ|t(HdZȨY$cɚ|GćuU>oX^aCR=s="0K޾=I +)_+H evrC^*&|PX'v_b4"a;$ig g_X~*ƁHЊ3mLE5._΃m$ 5`k =Sv67qݒۢuYՋBZEb8 !e -Q{~0&t{Xg%0qO@;niG7%&r(q,ɣR}XBb9* .O~T8Lch[VmTMP=ͷwA`EKB#`sHn;{/Vr_-cdTFU[ Pt^ ]m ~ 6!sK>a @s=@,^/qTs%+*fnđd AAgUX#n-o+z5 @PV8&YAtl>iky`ٶGVB't~CR KN7]$Z}|pt>ա +s)֠ ɗ/f-+kkˀwODbhPrMr9Exqa t#plE3R~![eU(coQN&: wtvW~U *tNS+/85EFrk1O;6Vgwgz7NpuluCղ;cl22mL5Q/C f-zvџϝZ܎Krw)&*T ak#E^ ٝGM eKJ \q Qxx4e!D-RXuKt# ʶ&hJ=UR%sdo4i#l;w.oc9>]<8ܝimI6@a]@'Ӗ V@ᴜp8A5 XL:AJeE ru\֜.[̉YhXN?p'? G@^DYOdRZIb^+5l#a`F+n&ʾ(~aX‰ϸ|۫31Pz4::wVPX?f+7h@?bY%)@H{ҫ6c298Rl#H4Oיq17gT tK6L ?k"$a5!Njl4;T4)xa)?6?$*8"*&Ij1l +Is39qDڃ X@?Ld5^Âyze.0 i%CHW|fkقs*Q xBĆ-ŲdDK (fr^1%zo7ڏT.gA&R(8ҪP_,-UUlbFǬ~?! DH0 Nm?"TcFE]غ[S[{u%u)FwaF_d5cF Z~z+ *)CixP`6Pe"xN-KA"dO(ڃ],s7ϼ|&,50 ؐ 첾:X Ib)<;bp0;olv]0y "蚓K2y@w-av<7ɏ2 }kAgI[ŏY)'3YF h` `L^jIH[)Bn=>"q"6Eg J,j^YgLmk:7&S~S#Y\kVSG̯&D(9o :^% 9Qp8Qf=`7OҴ CRu7eڗL0?wT _t5v2$'[p~FIbv?$gd m"M\x6_T3zBF (-2"'£21l*mf9䒊UPT$q 1hc;|og R\0a{|O j'ȣ C[IZ`$oT8: ŷtw1xG/v>>ssGDH{׫BTއ)Bލyh)V.}uCWeEI[`^ qh@D$4 v*栁Y %Hyt|I>•(=0o&*Qq4B5o$I?@į!sWD!c,bWIV"D{赘=$pEb~!S$܅V47ƙ%19+pZ2Pgd+Ž g=lLNŝz՚s#x awe2F *c :4o &>b/~Zzp޷1t-Zf3Ր8W4Q}㌞(׻ºaCgiR}uAF.݊Fc~ah2 JPO2SpƼP:I]*E2$QBtHh^>&5}~ןb؏3Xo_(ov) LPeb6SԦ ycYxChTqIQGZC0w'R*]*V+ޏ*AP޴W7׍iOa7O[E ҫ?$.7FdحC,\yon] 6 VhoswQ,`k^9DMU4'PVTIZkJOzlKNY/iO4}UE{pBP=8Ӝ7ֱ@粒gǪڟZM^ ".ťDd3='|Eqqx6z}W)]WE:%ٙq)0&l^~7d$J^&mFwdfzX 9`ި" kꝆdsI9#H9f_mytoW'3Dx%EMB<'c'HNRq}}dDcGzX*Z[~# 'IK ӳ,Ian)njLʻ n7$$Е`[+F/((VҿшZ5窱z"FE?,j}+~yn8.GKE{TacSW z>F(΍Fe}?SǗi7H:G1%~l퍭&Qc"KrpV%3tgd\hkt6J)_sӖOMvAbD2=xw:_jjPTfHZ2i &l3kRRô OIo)R6+in~䧴4*v}1]zLMt<[#5k~^U؊E91=0tS r&p*lGbf@hCSt2`jIxEfw,KuDZ,TI.]ݑd#%S]9k`wQAR6INX~dVkN#y>Xj/B$" { 4L)N*n9syP\z|'[p G5 `BU=I{ $}*׽ co鬚W1UNFYjS܇w:LR g>u!I ;C5W'78;wc:tޒh&j(/:qJ|G HkNB7)+O4'`EZ3u;P쉻a "q0ˠ&?3km˳cEG(R]R iiUxg-,B+z(ۢzJ f/cuג"CP]Ƹمz z[O";TqN,j{n2IvhP,-Y3]/ڷɅO?lLJzWZҭ%hl99OUҵ]0eSLzU:ڵbΔ P3v5Q}6RǽT!}Kص0b⑬YC'->FmA4.Xq.>d0P@Y ?&B$K>2"̣' J4~Wh)\Kr@ n7RBĤ@K|J pZn:=Č;zrse{94Mi[E9ĤFN"2rM05o V|L^8i;~"Oil8`})J0DM֝1Pʋ^SZ{{YXVdB LhuW%&\`C(!&@igwR/=) QR6ށu8Tىl6=V1ӠRJ[74VqA0-PG"P ]\p~a)5ٕpK/bD&ÓjM$"2zʔǯ`$IJ;;WF5\w0O;e*:e[+ډ 3d;j`c܈r([MpC'0Tޫׂ()rh`N|oǹvJTyQ d_o c!YӠ9}¾#;WǩF0 s aqܪ\ -e2ULJ8 6 %o^Pr^Ô8LPO,Ű8"EhL6e}Z:koz0\l57{Zgxi[x]V8M쌸(YqogM673aуWWD=\o|{4Lw[uy^w8jڎՖ#bb4r:v9a:f&:-2AN f+*oLF_EU*YB6;XWITN Gۮ.*l'"AK,Rk'Oɱ *%j5^.ap]:#c5P# pI⊑S?]K;˭d=rf PP bq> ]۹!{L`R@%݈MP2Dl !w@;5{Xnf%%PĮ؜Fy+~ ?W3~-)X7B赿{ڔ鏀?"R\W6]?'U`vE~VGVFixt rcW~-X^Y`|k!Y}+¶[&u?#(+WKTGp9CVҾÎ,Y~եA>)u 2 Eչ5Y43 ,Q*}$ӏݣK(݂rzn 7"٦~JN;0řEŸL 7aI/I1L$#%]jLQ2Lϧ*/J@; JX]׻*m`$mD? P9ԲS/< |֧;N1.۞9!o_nB-R-."NMTi׋c Z<\ /N\˒@f6HΧ(dGH0CnO$nZZ7B0$2OZa2]:7W|bB *7gcW j5U2EkJ#eN2w6}/L`w\ӛr1b{vک|U)6]˪[$1(u\6nmnX03(ףl[[7l̅a>̘.dP55ok`*!W1K톤yԏU s?rI[yAPC%PV?b봵oљF >>RB^|S;tVH #'B@!Kq᢬:acY+HgZ0H)2\OzV4N/# ixx~g 9B\79$q;o`?pPݹM"{w<]xp LHIqsrD[fVX%tk-~BjK9􇳕+ZG4 Ի&c.+ kȾ\x؄pW$XUf7;^@l_i %Cp==''pjN'9>- 7"SK B-)wޔ}uX@P3WQ=jKr&rA !\?+)Qg dpӶ8մэuH\#dt@{]]2( UIE']"X ֫٬, } {ݑ/P*|\oB\\; J5 A f,gnUY+g~ьy6"Ը:$ JgX +xR{Plil72ۯ»#| ,^e}T7py$svL3}W]|[1'l.aI.jU;5|&(EC?`vM,ecܖ4:3J3 赁$wg e4VE9V9$a^ cb4qz240AkQVf1)1ESn~.&ÿ?\ =%-ֈj';y@2 .I'd߹E zR:֕ШT'J~]AtB#ÞHɸ}Ejn)28V~=Uckts>Ngxf|+ʂȝǵYݔ=UӔŠw gghkJz@E'YdK(~8CE}mU'?*7CBFr$Q]л#8xѮ7pMU_27D,(L|Tr87gYZ0311066192f628ed4f36a5dd2747b4c76034434d 03183532e7392c38a281c66ffe80a8aae248354d 0b95eae8146aa5cd55163797808ccd421050d201 0e2369879c23ffa3af808601205c5bb2f112917a 16b8f7ea660f0bcaa93919105381041d2ca84e6c 1c71fa3ad2d5914a41c79702c8a789b9c66fb87e 1d64339681bc3ab44469ecdcc6cdeb08b0bc3b11 1fd4d278a73767ccb690367825790ca8a2a045db 2186cf03ba671e9018e43760912688aba15c8352 22e1da7fbe4d6c8ea2c63bd30eee90288a1de6b0 30afac17f29e367c46142872751722118953e506 3409823eec2206aa526e41e503adcabd1945717e 35c8ed8e2c243fae4819113c922734274d868686 7c3de80c3a16af05902b9763188afac0814d65ce 830f1aedf1e7dfb3c3de17b04d9d3d48c6d80f3b 876de8274225c65c590359d882c6f08520aa1f19 8a7e00face9e3b8d390525186027a79538ced8f4 8d8434495da4f2908e82a1b077cd387e59f40719 8d8f1e54418097925165113cf7def28df2fd1a0d 8eed0d0d22764d5087be451c3dc910922d5f54dc 918c32f99112343be4627f3fd1ceb70e2dfcef71 9bf2a719c4847262ff5865ce539ab70d1e93ff5b c05d156fe9e4fc70177a3e78a84848e11f2b2b61 c2eba9264d2726c807a7b5bb9ac8e7c01121565c cd318e5bbc9752d35d3812333dcbb350a4ae5bf3 cda994d4ebb6399010f48d9e94586c64fbc24514 d25f3d256bae918966574511fca2002460d90524 e1326f80e97166f8a766cc17a414b40a488ad4a6 e8b32ed63f1cc68c6ccac7059f7fda39733ec0c1 ed14a4dc4cfe0e253f8014829705ea6b33968dd9 ffc80fb2c5f36a24e80b0a22aa075c1fd92eebabfd236e8aaa6107e7fbe24dc74056d93851977f4f 47470ffc6db009906b922ac09f945d373860e313 3d7acd2a9fa6f5f4ded89263b6ac460df7738499 685a96e3835eaf57b6c48580534d5949e7979f95 c8944facb395c03ee628754dcefe55023d62cc1f