SQLite format 3@  . BBh77otableisabelle_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 x%l ]/]HOL-Analysis:threads=6elapsed=286.646cpu=1249.276gc=90.848factor=4.367zXZִF! -@]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NV c:iN1IqS5tR+ *Qw"euOIw8w!!Y4 ՓLwFܛ}TXEC&$(v>hpM#'q/b7-V7LjH$\&Ŭ*4p53%h&K lyI=询6ʓFf:k3Bo<& Mp(wJL wX7ye>REQ1$ft^}oA % HOL-Analysis2@]D¡g@w2Xp$f®ƨd3*e)[y7:e<<CQ%HNHpkT 4B)ц@;1G3Ƭ"hu6d>] kA-y%ߐ4ď}q)5?]\PɊ3ĒҬ80KRaz'lrQ1]9|_q wƴwEGF X#~ܾjDpYZ:ìJD)(ktz DRKI *sǷ!.*<{ЪZbfjAn$k ¢ۉsAg-05X_Rfuzd.;7:+fFU3J}CqJ`FēAXEc@_u 0`c"ۉ AaQ%braotrXq"n&#,NFmyj(R eUë,An u5fc%uNo+7(turΞ}_¢ ͪem"9auu^Pb -4Sohpm< M^6:zBpkU WQsp ˢB>dW}#tRL ; _d+뱰\-BTLq֋ dČ,v.Rvi,hbs?.\z:x@%9?q``7?- NtcZ"S$B^ˈ5^@@jqfZ-qvZT9BM¹x'; T.GF"4[rذ(_5v`:}GgaچkDh1rUNj0'Y/,@|v 6M~*N<4KޜQH=Gyͱ~6 |mzwu5f~{X =KظoNnHz_]K|bjAJ{bLagӬs=U/N-wbyk.w\ u5_Df:J>czN=Dp6вr R v~F;DVXL>90 ?)&޿܌,G93/NTPp^"-랧 3i;&&6ݫ%<ѳ]F˪R)l[u}3ЁcjQk*IS*?|PO-й L%Wo`]~LIe|';`cYnq a}USt>X h!z*˓!/ƇfTnY+A5"'(ѵ3Fy/) !.I.'$H՗hC @vIA%&ءr\nqai$*oWJJf(&]yЙjDϝ *}҇jMjvb&0 $^J.iS HhZ8tv:gĕpTf`}OqWIL\)H 4^c*[1D`Ɔ>3R$dH? =ږ17ڦ qtxN#)TEWbpW&[(eq$ E.rjٵF'|ց|0N@xM]"2MS?$,:r"RJQb#4Q:8]&t/%z Yw:YGt)13=FO3nq fN!ɅZnWO"6?\ mw"hE]E|,g{>&Udi@)Cл_, +G\ ì.dj5r@*?z6=Bpߥ=j(P3^6hcE2T6<K52S*g+p?1=IE@ Z| =ʷdkLf" 7Z*c+ZqԼڴ r7F81(^;!Cj^7[ݓZ/uZOAqi,` pnbKh_X 2C'Ȑ#8ve>x?t4Sʢ^D]̝`?-Y;j;Ѕ58Sb*%=Z6R l-`G'^8򅓫UcAKk#kt^?o3[@:rs IgiU0?W6?.95rN|l!8!1Jz4Iz|6H|hx! 8ìn5~\1|iA\a7oe !MuHY~_t_V7 ll 3'v>TR7s 4` } gwCM51{}bI-> =k"vKjrMX,w<7t8Sk*y&eR:<e_Sl垰gL"H0oYţ)%:8> cqZYM s8 WO$Pm[gƀ2~ R+31˟T!APYM7\r9(B1J|C7e~t__gby p9ÍCRӊeCBpyp'J6ז:r#R%iTP氄q&\ #sVBZ eHkn[{?PSmDI >ZI2 0i(5[wc}mEuc"r.1ηWv= KoioBb)p,d-Ͻ)Vnė2jS]FmI9 h渘-TTpbD]MdEt#!!zJ=Jwj/;AqWqVRGjp8z$K#2G<9؊\PH3G H!e L*A ,;ȵǤĜgMk͑정4/C+HUBB1ڔIr)oAm<8!"GаX& b]I5Pi杆#@N #>s˔.yt @v| U/~C}7DloՄ2`Q=Z^-d07Ɖ   f}17+T ݪV.;xi]ҭDRIE^@ ץ @LtYG`4,oR,':4/MQ* Y/L2~Orwvʏ,`JU |N6'm~7yvG); JaF7ubA:vD Ʃ&a ; ¬ʍ) @ ȫ'/;4Q1%ˌ=јq 3fZӯd'6}7z7U" ;,`}E$'$ʷo=0I{mw$eMŭ!yͩ㪘unkZ=|8cٻqɛ8- 3uG-O9mؕL_CS•ӯ,?y2cSsE>0Nu=^HL00BssS95 ׿{zsdɍ >oL!ޠ=XSX|hs.ITu"c5 q!¸i5+ ֭_όV;BLkUq2'yIh'~ ڹ)YF'TW_e;F-݀LGpPig.?df6D/"Mc"<㮈@ԣ%uzkЦu0YO!4Uk`mcfD$Y9 HO/$ t8εj)c!ٜGo_ s\Dl/Fpdt{1AC gܧzEnzxBj31TxQtjI"4 Z\7SIydK8߈jRAsny`Eo eⵯAT,f hQb/q <ܣ$ c߾o4WLKA#ȜV O8/zXw2OM =G#lNɹ{BM|flpmt* hR/^ }Y?''5|pTz)FF\M$>" 8b%r m TZi}*B ?{Zd)[{FlȪxgY/XNR/J%o&`s#*@wz5_yW6W4||e5HOKC 4l~U-cꉃ~d*' ǻ,BBd/ 8w+-ȧOI/d#YH]j/tHr{K/o(>ezx!/3 4SlLo" d܎Ve3Auj&*Z[hhRPF(K}E@rNk JfoY~KBf`W߈0c lG/4~3{ZH,qWW^7mQ:~/͵^KrJaa )?P:B%0|d4Pte|Zn=:eS܂;E*ZOLDd?fAIWOkɦw'%rxd :yYbd;6E%S>J~U!HƔۑdԉ+C+Nӗ5]^5wCglFV,dk&\5s&>C-LPSnʝd4Sv ڹzGF܌L% j2qs6 %UoOV;@򔶬 ś(`D`yHX[feÞ@©wgtHZUe.yymVY-QOo`bw23*gCkz g6ViE15tcS烢9wbJ:dh3n,e˒VJH6`6}ҋulߐyaOXDD5{Q$T+A61=Co+y9dȔIìQdk C [\Ge&;4 HwKYd386``3`M1tZmIU/>D.4'³ EXRy S rcvzta=/TTF8[շCT$7"V`C/HXOnJ!5½M["/O:6o5B`f7,K2eMÛ[ GCўtΨ:Ҙ"kUI,j2L7q\-ɡ j7L8 N1G3WOjʼnW0 =׆3*OrT}V949֣!-f4J-JtTQnsdRl ѣ6Pm+xxvwRfK;}Ӄ  !R|*WG>글Xz5"Y1.7luL`Wx;@Spm90bTfI(j8 ґZ fɟn?>+Y.ZzQp3n9цP᝸8AyiZml$euױn%e-SI%ȋK~%!cA$=L:o͋C` ˎp}J0-Fc^8umsE[em}KdJqKH-DN#ͤ[D#fI#8I+їLUzBk߾Hv_c79Fn^veε -f3cڮfT4]9F k=s%%QUf Brrr&e9?͍jqk\)ąq^WQMKX&ػ(WUG4"%ffsC&;R6[Q?xݦjZ8LN5)R{TWRk<P\`1HʈNq\P!ZmWa̚sm;tӴ a1N>QP>tdۗ)2$mm7#׿RcU J$W#!"򶆦]ok4t<}U|pr:雺J+.[ln(^q-J#xqh[(7EM/(t׃o,vz@!Oz@ZLDd&[rX<̆ ag` )ȱql&_=j,Dc89<eJŻm]N 1\!.4iK*^8 ? W HRw|.Bcڼ/+jkyJ oW~tʻ}vf7v}5,cu\"( $ qaj.EiPIin/Bu[('@qNX v=9h8ʇS sktc1}z;8h9JQc)BjNr$aJe}VpBK=FdBIylu@!B;SNO.\]]+H1}(eUV39:=xRAs't!Ḻ-+[fb__/DZDj!=QZ5KC{)_O,9窥Re̼edv͉I91xf z~o吰O  sӿ{b0蜐6B .tG7LrqPq58'ix%:fkJxz`Mm6Jfm=$3'"6 zpI M~˗n8^ӫfkv,DCk06SP$f}?Lݩ2¥6uINYM gR`TjH0{OUr/E􏊣؋$y5#qe$$'I/V>T Z'Hq~UC,۱Qrfb%k D<T X6LV.=e{iُ~OY^9MD Vަ fĺњ?®Ӥp '!Syz4-rZCB%wna%=_ 1f%lܹSC-H(Ϳ T\yq'Xؕ}NZPg atBOeF[MTmmِ'Q(!\(b&~ûWqm7v7 !t 1F;\3W@unu28*ŵE|c1MAbs#Hԫe4?B{ b5j\Ĕ'XgdZo20^F=)?1x[ٵfȘI@>ztT%cط%\+ҝ F,sհ D!+ mkG.Ld|W9[lRD˨ךX@ AotO+:cX˓wl;8t<4=P!?J'-;1-~oRɇޛ(Ωk[y]q_|;3Xe4_6PH_6-lvHݫ<1vT$zm:k0֡|1y'[Z)JCnx *JSЌbj~G! rVR̿<<o|P\6{< V B*ɸOFяT~=Q1D  .!6֏K;YEx|- Y!,[ 8>(ToT>ޟ3uH׸R9;YL+M4&͌'5# !*}8w܋brTIw竧?iZW3Ͱg y^|SP}F^;%ap\8 G(*JfyDKJj~%69"*}Dvax/:[-rQ^Ft֕_>xϪȸju/!C]tN/Msv]^ 0@~WE-Qc9O,w:$&ۏ.pVXgp挔Okvb2^ 4exLiMvFL. 5^&-4dX-TA57I_"DsmcѺD\p+"ҽ-TaZ!ΡQ4@e|q,w:#urfXRͩ &b/F_>j&zz;Kc::%'Gڅs/e[Q̦p`Hvk{]qDiN~ɕ7t*k|~N@U=]YxA@]z F44290Li4e #HCuML@U#b҇ʗq58%~iڏ}G"NR-b$dd|xQ,כ,)) yETrK/"ɋ"8RQ[{)| m}2L ~tҽ26AxaKc6 M6:\1**n$CBZr0s?e.$ZcX`lߞyxSoʻESHqp˛ww=AkqW_'7!RB3]%@Եz~<'ry v;սR;8L`pDz3y|DhX<56olМuDLs*mTɸ[G{b$OZsW782^yJȲ-ּ .ҹ&!u#MQỻ *3z>)jcZ 5pB|ޢ~ T...uLeΡMMi"ՍiLF9@X"(G g8vО})Xʣ1r*GC!?21&/ V/Sm,)?ԡDR'wV z3 i 2k j[k54#CqV:"QfoGw1Dݼ̈́ =ԓ* O Q g5`cIӯ6#W3H&MMM4{UX0(4kфU=M:0!OVeFfgŠ!oylaּ(07\dJdjS{~\i%/%mjP< +xzWrJ~(lRoL⾠臿2s^e3ӂJ0_.Vgp4wcX|Oc۸F DRp`'v>G$*;IRbfeF&D>璋B6>ɣYe <Nŋ#h(H_/ާ,Z!FD[VocNE#p/bd+ z# HKyæQW8{Nh :.Sz8p)# x'j#w^ܺ; =""}J0eϺi'^%6c!P[ s-u6u5pl0`!]UΠm ^XOe3OzBӣ-kSZ(\53R! ot\p;:ߠh8CqCe]OO.>[4Q- /KbJ:D@~Y9qVF/[S`'Zay ]Rs[OV{w 'ݬy$q׬1G)#}YW , ͗(tEu;jaL:n?HaLc4hnx)u2E^(m9k Zg^Y~ $B|932(H0V)_m5҃bIIdz04V |58!QPXoIjӗW^/p9,%6bׇU嵾D[}z0g`*V2WTnz PwACt&Bw_bZ} :׋CRUVc i. oHc{1Ƅ\VsɗpU5c̢{wǰא]RM7 ˫R3c1>ӤGZ8_ zG} YuRkzkULؠOnqDzV{UM82Gj9Lߜu]L*^Yxdt썙 x8H_oo*G7A}^DtL_f85Jx?lr $J(ݻ>C.Xlb'Hn~1~+__.b|[(l2 `pP]Z6} N5q8tĽCͰDg%sYdMYZ5% ~FA X :x0ccl!ctdغ3UsS r6w~.2 9KRTi,Q ZGNgKMlٞE*7n{NjMt#e֕<*RzHxK[2GF;~荸mE{}?arvΎXbMK4jDyΣX[-G0 F2"7HnOVx⚠.}A(ӵf}+ˮAj 7rz#3ǔ&w)%MQ|H8//S2+ax5GҌS*e԰ß4{ ]*,Մ0 sn, Z]z2wir=RIB9b.K]Ur}Y0֚<@MPp1Xd QA%Q"ooR 8C#(%6_b_x =Z oC4T2 .EM=5 엎ᑼψ)-dL%b) xP ~6Y_T3+"x>~FXh1vEn"~*;;r}FiMBt ,{rAcI:Ը>Ӱj(NML =Ű+$}tmdmb<zEMF7f( exyq!YtYLAV:WU My@᱆WE9ܐ:6RC) &}?wW)k +~x>GO!_%ypDc\MtV.& (RpErpW/:՛Ͳcl2CoQQd9jJdm].N}GI6<;k Z&TA4ƺ*,i1B}K(S%Ҙ?}tUTiP8gM_̷01z+J.@>2+3Zq(|PrGwY.K-{zHa-,b!ĉr% 7{ jص½35>Umt/گYO]fNd.A XhV^o惫=Z tJ L hqo@pAѨC@ t#T #D>rʂ3f p䩡F(&StN[p޷?<&1YJr#+X@w AsCUb,iɑ!/]*CהyoYU+zpyOC bd{oGpax!d1?q{N(̎Jpz|tXf⡻׆W[;+~/Ț2*Mdcd-H\ڲlh>\ 0CF9 E]dc?kט5cwg۾*bݹh0!O9n|ׂBq%faMpo)`tfJ|dєޫW{{E:z?fʃws2/ciceS N/̄{Ϳ.->|H 47r͜6pw Je, X8}k0 ,-5ګmw2) /0nO7%2KL%K3GX)8zR:k_֐+C2u=@#QZ)9VXI.9פ?7mkk`v< 2vd& bD,r&#bYj#ƥ%DžN="r^+K90 ~}=""|ҎJb5Efn9m-;|ʥC Za3 sㆠݐ88Fņ&V1Yl[ A)X8] m2r(<7R49{g*ΔHcɁZWpHa_;( P*a0/Z{)~+D۬='XheE8Enev3NvB2gYZ7zXZִF! U]ŗXi%;pmg:/}c$!]݁ZA;FqdjrvhږQ/xo(c욘U~V#GwV,4UeåѪA8ƣ]Db?p Wr9%sw.,L=R"\+>ׇ֙~W/bQ9%"TUwӖCW0jxht'9(-wVd,u%UGs`)ɉsّK@~G]z7/bA˭[ =^-vJķr+p´Jv224npxd@^n{vRAC?|!BAWuش&%~ 8FY2J0D@:^3$JBc:%RW:7r/PFvQ*& H0L@z(kԜgj`Uu!Ơ& !ETƂ0Amh/XQ-Uʗ[5SaTozqDkQH2W!x)worIJNaaRТ 90~Y0ƪ,+=SiM߰*Lk NۜdHFl;[mH~|Pʐ|!87zW߮>⒟ >~7GaWQ?!f o_UhU eY1" 0̤EO,@rP|4dKE!\(EwC *> 56=X= 3<֙Qp&X^l̓n.9-.eSUp~prIq@/2(~^NfSeexMhA.{`FKe+Q9 Kme+Sptjp0eN.KK<,Osk xvơC"c*)RUq!1A-fFʠ~6^ʮRqm}ky E/h 行;$zYtg^ UXec:ޓuKvyy h ]QFI|#Ѐ2X}>1U޽2%CB=? / $یC37<1D$H_Qr J֖T@}e>~E⯚B$B[D ca#3V{1B"WcGK'3+`פ1-ꘅ~Go_ct[\ȉQ8Zj::E;1gl5v2PE-~OD' Ēsڪ#G+d=,%S0* 2f+lmY~ĵǤ8 -n%c@k P@s랮U-u*Xґ̀*@xscY!}j1z&绎;־dvmmI`8NMNdbdx|dC5n!`$mx[Oo5d1($v94bEOxFIo0x9,P͍\| M}cS+Zf&速 ۃ9ՔƉe_sUJ`G|p)YY2aj.)պo%iH(>l!_:J6Yh"\Oogcί'63zL%3N6aEtÀ ~L'\RMf(~ Wk|T1wt7cvS qjȥ:Lz/p0'^Ў&m.[kw+˭jp$خ @L:ڿenz`LAn]8QU*ŗ̇j;$ՁksT۵1q<&}z XAZcߕWKn͗<>ToXt*kr:7^5OI0&/Fl{ wӬr:=%oSWMPpFz K_+$~i~ NIfμj(J`D9ر | m4҉_dցKP|B(J#{f?a\zm*cN7B >}%:b9ԭ'ȳieq5[f*'i'7\]P' -YWαl /BYZnbbCS'== y]/ӯ}7y3\m)\Q>CHXmV~y>NtߥQٲ?TLڑC2PoE?AmN)1<ƍ}bU$ 5ʳTԷ a)T5sz ԤL8C5gҸH!AC,R#ޕVH}gu!2 l8<ׄr2E~sPz6GbakQ}/H[ |oI›W>ƀ%-@G?,&"V6pBvU^.>1?[wшǪN=ݐ̣7,_?U@2CP{D! LMw46A QI7HؼL1.)-=a渓cTc0u-& Ʈ8_0Ƃ@beBqCMUFhܸT[\*z PW5 g׼)W{-6ᔵnn|>;1i\e+g=Nvy_\7^X DB/!(J:+4Ce}0Q#+] `-RF7dA-U (;!;}uFSY>s 6:yTJ >\9`1gjL8&o1$!]jIY0/ [0ivgVm.9RKD'\}G95 }nD>#j0p]ubYG,9LC%o805?nq`X U n?HnbM '!Q&N+F#`,_1HhC7K;A&~qBOORA@FH4lܪ\˔wi7Upk tv~Cn(s Fd1b=sC"T`\.P8ge4m2k |%yÒ/Svo=G:f&Ez [L4BjIPjZ!s%.ΥD)۱ό-<ȏ%2.2C͕s~6i&GL1N$L*4胗4ye(#hGUJ#f&<9(R>3wQ8)aI`P4](JCB \zt4d\ I&w `;ʖK8Q-w0R=B(-oP nrΣTkܪ>Yf7)ӏ2;,W'RjٌPo>C?%bJu S'IvA0rlPppr<mhJhS/3t(R*-3oةF[W6]JH.e75зB>;G|ĐIGlмeC} mk&U_*~ߔOBSbCt|VUô cM_Nnp\NO3=]@Y^ X.l_t~ de*0!THJA,#j |^B`%4n=Q=nšek]Џ]d sJճ${QJ:+bFg,c8DR_Qj'+F]I_zTU*£UثNP*D.w Wvh-1P}w S;b[t|g>Xp5-w΍ޗXi$ |}ߒ$*jdM\x[gYOcblٳh䛆;DNPYL>؃d A,NLUaa{!+3԰V"mVҗH~ۙ@᪹!{x#`pPa6;jGnxmk۵s[SN~YS!/qֱF2~am"[TTܡ"6^H\,{J2Pn!ה%@/ՌU+wFlEAYɿƵM!R!6d~_n\UpFU&$HT>2lM7)"MY;PCb+{cRчz?s;ߪpcj0]$]lI=I^E@=( ' :m\ڍ:tf VS%4⾼[뚞/AwEVcɴJϲנomfqQY:mr+mzhiTH3?[ej0%F~, ^WE}HS7Zq=>Og'B Qcʅb P_nsfS6j.kk<f^=1a GܔQ"Q7u oTujL=A^lS3ڿn,9EHi^ZID6õw_4Q`;TMRe<Zȓ*3GUeMfc!- 8kãY/;C,f/VK"ZICC;S|Ύ2uF:<øO]˵R 9q$ĩycۗ*L`[R*\Y"Il3]͓QWFBϏ@%.0֍*5}3> xx!R-,'KFb@zdq\F|))JEӚW|?dmVpv9U )amdVYA.rRd5K%6:G:1<WS[=G-XZhJ`=%3sGІƒJ:9„̮/Ͷ-(u0p,]'WŞ> LO+wO"YBgҤ*̻ocL>) c8uwDobNA9X`D^v̔qOv(*Pu®%u"alcKs$k'T3gk?7%!ezSVGgOd:'^~>>I 9ӽq!ѶA ,jD`1޷dH-eZJi8#%0sZ{J]w\-iW~;(yD`k/T#TOzr|ɝ$at^Fja9~"Mbbc"MCȞD.e*[ӂq A, *P8$޻+PBekI>F-Nv=C ;40Vz\q GX%/ 4C@-Ah#-zވQsFF.q,kKo2gt F(mQU+2۷^w4ϱ{b*NFF̕i0EEassUNu_9Lc_gU=rϖ0J+}U#¿T/J9~K)'rʚfߖ 8/L{4] :iPm|AH 2Fp|43W=qm*?&hh#em|ZP.V#a~hT=ly.kZ\ˣus׳JK[+$߼|75-1GKP0`}h2*nlC)ߵl7ߞU6Z[PvSZ&pL;#IK A!K%Y PüB1rH: _*-,pwj?B֤^ Sď XC3 ( 輷52q2{YI ~)! NŴvXJYW6aijT;zNoa6%6ig.(+krs/[ ެѣׯ色$U%?[ïaT 'ϊZ"rw|Ji:nɗ$0=ECkDul|ZTcp2{ թ\8-Ї9H>f@ w@Ă{ ԭ>b2{M<%Wf;3k.rDVFQn (w)$pDv\ Ia{;%R0i$Clle(?5IF4k'14ЏI'EZG>% 7}?@n Qm:5¨*/^@q~?^r! VnU@0"H')k -/b^%!;C6AQ`VVu8akt{[)+:ɤCzFM>/yBadH8asu/{&Y#Jd$/ xM"̝ Pz!KދrR}1(PD42<_іI`| HrpcrSh{2"eŷ>Dq;\N#j.w1{MA}s tUVsP  \Ӫ"e:Mކ9+;Oa5vҙev?#* *K%nKK3ӕ^/S'sJA8HFQ@''1x(X]6!tT5$LO ~ TEhaLռܕF""* q} sd̷o:d4i*(_Ӱ9_D`Pux:щKD=4j)F4@[<q<9;6ʘ'b[lIB`/x;:-Zǀ>`5p]5T! P$=+_@Wa}`4j;0=2^R~)] EccK~,ő2h139~  9N yʦdek* }wfAT1;APX$_0޹z$'nigŇ_s/(41U&l AY@ u vER/׶3uPVUCzX$o`zI*t luҭPZ~9Ѧ \s75t0/O9dS[{R~Y; bpf?fJ[ƃ= zQPUibzuw~JT@?DhE$duC,ޕs}v\rRZ3%0)|/}*j r0tJ'@U'S^mFu|2JعuHwaX~ŗ ;K^:58tp"̒톟ɊP#,2:_M<Nkwr ֦ɯ,"শ Ҳ=WJrS2JL"(Nl;9A5+V>%IZ dgq5D@Pk8JсV- sz{K<;ԂhwT}0M1?U ,j昷ᐊPu \S;Tcճ D'>o=mk=H_,"~Eq Oq[͝R1\ڲTÞ!bJ gl+poBӷޏHxY= KK`x#>K=lݼ®?I~S%mE r}3<,QOm@#.n|` {MGJGc;Xqv֨`Hl9G@bb&i` w=)D"57dJ@=}r.SyPavtP2O-Y ocRL7Hه "9/oߢuqYqЗ,9ԅը4@ lɘtHo0Ts`-3]>{Y>r$24^Tuc6,<| 4qua NIZe *bFkDXu KK\'Y}~\P?E1T v~jHIœYצ`Iߕ-iܱ" [)wHT^g} f&L-wn땠~=n(3jT99oYA=QO)OmFyxۅkՠ{|g?[)҂Y:LBr'(=O39=:-81ϥydw̋k$ʤq9~hZ~;-۔7YAH(BTw Xu|'s5X2 \?O#HӬVhVƚ[ ̘?bAMוE 4k _HVɕѭK)^jGEVߣ}+96\8;ef^'I*;Ҷ<^3?(+]*LY-ͥ7p~*pV8tUf; i%lWfrnqۨs@_PsI^ y Ӟi%F*=Pe= [~@P>J+\/!HVBÙ ҜrT}8v/—4zM a1%="(ٟ7ZV\dn8AeS3 {Ӂխ/'ۂuFh#flS sl]54V(я)}cTJwaR GF:hX"?42za&M,B%ݝX2y~.gۙ}|e{TxL )ZEcxZ +5r\S3ghm@[Do*.PS4 w῏Ѵ<9nXhX~,뱔EFӚfZdGܣiʌYy.mϵ+0I(ь֮Q4p[ĵ9<2BJtgɮ^z 6Th4' QaӸ} TLqƵ`ou4_'YcKF@}$?S!O9ëjhw%tY5a4;F'.3af$Ivୄ$YeKˡ/&V%۬Qe=ޮkُUm DONr2'\*DOt"C:ieU.YkW\Tq;;/t`&w= sTc!.# isRw+y@D Yֽ1]D˼Tbr anV4 ]Bqa8In)8+[sSO0l'Zh'al!qjX:,QՀs#%ff& 7^b |N=k%hFݘ؎È+k"vcuGb⸶͡3%\`'xj6B5~ ۓNI<_Ί~Y !iXC.֘v Ft- 3d<9Ѳ+E{*X2M#"ѩ`+:CGf8]ޕ :u!tl#QjhT|dQwV&⋵e SN/3!Yd7C/BYYR=gc'턨yڊo"^e d #쟭{浶_,n\$WSKMSg;397gfBH"jb S9yR*K[z`fq>&Uy}gr݌axHny5vP)]vTk%P-?X? 9_P4/H 1P)a,՟K$P=rԽǜ@ЋOVS'ңt;⑱q@fiOaG, j's[?'sV7d]bɸ*2 >t"6_'b+^Yr-ķ693e/KP'&%;Mʭ 8 g6kJnQЃC:Ӹ?䣘xbhOoZn=c*܃ #k`jt}}P,N`8&F3슂uh>@Ddz,L^]ydfːfRXfH!~$D֑ave|~` weAj Ն?K0&F~ kW|SyȾ|r%/:H6w?$C( OzjS;&7'KK.XԙUz2־K=+.jJD-LjȍzLRT,=/Dμ"]S/3^X4֗JDYJQO$<#4QBշx0T)> gssP?jb|.ɴr46ڕ d1+#:vg0z_k;ӳ$۫S$S3ct&]=VCkB:cp{|Lz| xg EZ4͈|(^i߾ ]5GYc J\ׇw;@U=b$cy ct_αq{|L} q R}]EJů<nuۆACRU4`WkDבםQkŽeR]QPeCX/9<ٶ-(3rJWM~ _Ț&˝ Cx| #PdDFGR7EM%x6LA@y^ jE/;9{y6ei!u}X/5?0'+}/-B( {DyM+ 7X [LFxF|9Kʉ .ro"a/B0OʛƝC[ ow aoi{MDD3d: P[Cqa{p}'Tvo 7\; B85u{Ɓ,'s6`۠פz:suTqEeHק[="T'{#u.`֧ RaUQ #}ӄ"C^L܇ހH[iM+kEG6* y~>kԼ>Pm|e: P+%(L I{rZ)mPDT·id+(szos?u|U9 >Lo?~x+o` \Hrh_c[0ȻܯdG:lqw31RB /멐8b$s/ $/} \mTD 91cUp@ݶ`YOWy< ⨼j xfUM` |dM:XTrNĀJSBoG`ȋꂱ{EKV8y64e }լW^om`oa:,m1xϬ/(ꑖ99/|z>-WDhX 5?}>Q73BZ}=$>WݙsP:PZǶT@w9Ҿz!e1}>qxmk"KiuϞ3jHQeoE]_pͧ}Ë)uo68:]\ zXC9oF =}Z &4HpS_ՅA-Kh'dKVEw:]бWgu*2|K{OpN\B)[Ggx/ $N\Iv>:%N?칽gߚ 8Q~OIB UZpD:[g.=ImS M'F VDpc`s-Am׵XZЮ($:?ٗs!닲2MVn|B!Ys*~P|n/ɈN#'jXhJ/1^l\57+|#cԥ.u (/)rsaqtّX!ƛʐBezFռ˶}d B!Jި3q#-{s _X'!e-NIpW~q×krnJi)}Aѓw $o]saT3)ޟ|JIUs2?| QkFl!4[zȿcY2e~ :|ܓ 8Unէ:a.xbb^I׋n&:hǡihBtHY}ƬgjvP&%VP{澛4O՝vH=R@>T Ƿ=ߞ(}S$^Q; sXIVk6E]{٢cclކR/I^N;d1SpΊ1㳋ST9T Z􎸈 V?>W2ֺxeav"J|cf:lUD@OGgs3+vj7@RaҚ =^)@ot^?*@m[@_J򰟹zQ +)\shrCXP?yJ+ 5,VV4p{p ZD9oôe}*g ^44aGp7%u۩#ר^8&?6nSezFAf}ҏ@o&68Z:7 "}y #wgf4VrNG :q桏_}VfC4u 70a3W*wݚj"ۧ[!, KI=,a 7fƚ:p ܕwPX0w?NJ^O\].|L3h[16! QP`"ZL+?e9ql֮WFMW 'Y*-:}{]9ly0Wl -W6MtmJFO Wʼ >}?AY"=RXlDnMklHFNG֌Qv78򼱘Z]?3AAOryXj<?n3"^ >'T 9-T:BKw9Zd% +է:RI=n?\:Չٯelԑ{,„g ݈(ZB#"j;߸=6|pI=V%_"23]bڢA!n?_[ GSA*_l?KZ.S3D\4[Aɱx`~|H?? wyLY:⚼ T%(bWVdKC8tƾT\┳KLJa6By$/_)IAt"8id;-5]2?9nc2/l=&s~_s~3@&VC,t!`GSE'Z86LTL/?K)66Z{E"Ż+ kDzz<5$L۞</$~ÌѐIU ߘ8sM:=뉲MR夗ݻCso[E:96]wj =)쩐=z\(P)6,:̝gSKVOj辊q;lkW&jXjU ߘLŷ2hAMEFwHf k Qw9xw4h6lNY./pc9:v6qZ|ttH7:rkGg=ԦGĜZqRKe^̽t.jGf,u;; K;H(r>OQEQQ\` BG&z y2|lK%獗q٪qjƼSanEc|N#ЛنΌtfft -c'-|t \CRAgYBpﲴm8xνˏ@TY%NAχ}~Wo!f* =h6;ДYy[8NBZ(}g,^ږn=dBdU02V@}W]Ց@Wxkh7mDUJU24 !k i 8ބFpeA8E"bv뿎J-,:}{ofUg0YΈNO;"|,.MڎuwIPvWPa_;V]\}%| ?.j-{]6.>ՑKxAN@XA5?"|9z?ˏ=-0Tb1ssX<S|:e̞_<*csfFj[9o6riH91NHmz/ "m ;yٛ:_x^HO\3quxPh" M4MЦ A<%XHhyv̲|K ybl)&Py$fI?s]VY@q x+^;RG.DTj4"^x~VzClw,RAOTzW3{w48>}ԂR8ot__kgZUA'.8rf5E wM[#g0=-Ո^ߟ$88f PEȏ].e]JA[֚5ήRs  z~{AP5 -'`"ncv,^*l9#E 1Zz f@ WuaB5v'3j R\ІOMԇm|(Q<]<Վ3[ƧnXzmM{i)s 2`:R) K,8[w|[r:S 8A˖LtLYk~`fK[(~GQ?0~3bL_}k}OYuuuq!u '0rҀgʑ`.3T{l+IClNW0fK\sG`n] |k~*CKrSG ,`DMd+X/'Ѣe +M^,Ӑ"{%JDEFƶcP%#gITJ9x&ֶ?DB] h8]x0d#A]R_y$d.j S$"Nqϵo;C6hv࿿;AoG$7^C(/Fq&f+6-~Ie d-9:9DxqVJȾVL~^)FHE((A/űk-QZCj4$}G{xc@8Le6Q/3sds[4Åa=N˻Tzg;\;. !_(@j,u:7Bޥu0cPu F1fdOLj/zn`w('#2N5/MdNF3bfbps3sbBwbC %*x@MK?+':4_` l,径qK:x}p $bz&:< !c8ma ?mN\ֱb:κ"#ʗ OuGYF~ S/u?*T_Glq>^s3 % -C amg9iM;-2& ٟ}3aQ9\H  ySJBu5}bA9A#Ĝ%,Ώ〵܅=5NF}y"9*+F!cW+b(1<TWDݺ=DYCs[Vx~ ki.sSŲR,)4״"01/|P^ 9NC"x Pi볖r%c y.`E_z'b+3N]".]NE8-)4qfz3!IZW e'2=c<#İ9Cx]t3$4 H)LȂ n*P[4HޗXc8fcݻzŘc @6Xfp\.PaY3(}{7+_XV*'‘Mֺնx^ߖ-8Te(Cf|7Yq,xK$)*sl޻sE9 =iH7HMjquք"kS"˳ HJ@I dҐ&>SMÄ@7;g{I,(wH<6vRvL}O$:*y&HAS@gHMP֙ua1mrn_+!ӣq`;Y T+sjXJThoQ}ߠ|(ٞ\ذfP`Q ѩY}Dtvb_4D7()A}*]!ᘕAǕ m9}LpKp)GSJթ)Rk~o.,#v)dRW w\wWp}>7P<>3c\)#&]2T왵>6l(_T6esCcCG^aeTFc =VJ?g\'5ٞF x?ɀ/T; ~"v>IjOzକȷiw$/|l np`VO,Zo)[F8 B[_~&Co>Ihzlm'lK 2'eM?o48_g."6,%CnPP𰭫q!;{IY.5@C ;pbgƲ֋‡3f-&epuK 5%RAQ9"Z[vN?=u ʻPANj O{G 1oF9-2R&wzf,O,SqK>>%d:OHg&<K6UZ!C{L-7)9̱fd917;aʬYx ]/ *ZgG쉥Ϝ[[, ga]0%|5Z0ű.; E~5M U$NUd 1/%&Æ-1+VM\^ҕdr׫7,gYZc9b18893fda67eab301962c6eda3f9ef08224eb51557763c55026864eeb1fbf92ab3ec60267ee348 5cf7dad23d1e903fd6eeee54e5217926f169a0e467c56af9258e892b85c4f57c8e0b2404a7c6d48d