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  1%D ]/]HOL-Analysis:threads=6elapsed=333.764cpu=1448.836gc=100.052factor=4.347zXZִF! (J]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl{n/ї;Mx^jJ꒘ry7-GeQ Dw{ ՑfÐV`bQſIgd$&f"~v'K韵($ "⿡) HfWi4fXؽ}&:$knSg@.#i&j%  3Pȅ\,*됟aN WERVTN$-w/ ZuGH#d",C=jmYsA }$V|kڴh**p0%DM dmLNI e蚸Sef}mb 15e \=*2';:f[YBk9p]|| CbFz#'zz{PS1`-?L" qZ)Q*BU] 18jZ9*$6 Nټ7l'.}9= x!VkF+Xrpx|vh""/݅J\ KS5Roq(m` /Kஷ`qNஷČ(sjOU7w"ڝDtv{x:<.qOyjF(F4d5@9JZE8|J}%Xle<>@4}Hr[uj.9 컍Ĩw1yO`t,H, ak)PA=և@R7D&t:hHi)&w2Jr>u[7ҕpt0[0@#~%A JҹZcb:Rh/<_u&|ayCIݣ]J_>;$j)HTXeӷx̌L(dXxp4-43 Ss ] E<b H(PV4D$JJjR FEcl?>h6GX%WFg ,Zt jc;|Y|:OP gmvL HUً*n|O3hE DE~ % HOL-Analysis@c`7??$X o w"R Jx>$G_ j%l9^$ Jx)Bۏ|i/ jQw( XxsSEyjLVY(oH2Q9/.#Ђ>&ݥZeV:~k}yuFǚ8jnR@2`e|aiR+Ӛ{ެ8Jn@A<ᴐ֋* \Mu+j|wќ0=pbMZ| Y`zTù* D[Sd R[uM7Ydrb,a$`@,[;A,@ 0;} p yX=n,qODio h,ZB]ȀxVN2+ 裸+( "mq_Ώ8QtcЙrCV0!.y 딐" a(%r^Mx"E툾U/Ht(%żKDz%>RA@rj$n6#DžB$Z8\kyw>ط]pt U lEu:ΫJSUfv=^k{oRupo:w2bVҶg#b'H܁&ٛ\sCzӀBz#`:"SvƌBkhS'F@ |YqT -O}akke;\IRFcȰlft)Lu^8,baǾ5UzS4.T<'`Z= ZQ{fT}8ۼ}Q`+HLfͺqj ՆTZMcJQ%pT G,,/à*`H=(o@Uų0>A !=D=쨔?^Q4Nf+@8g+} 4Q -|IfɄ-.dl|1c+$pt 7 GmUfJQXJ̎R$N? l@#^P"s6V#&J"q**YMh/_l[#㚥ͬ k6 u^z5,M&,, #3w?ݥq=vj E<&Q"]HT?74^42Ѥ-&,[~BӶͧ$Fy|[>ǘ*0+fs5bkV$p8?>4{%3'S_'/ϢgX_ }:^粯~pJf,zJ,3A5DBW;3џ7dhtOyA5$Vgg2k1-Misi?b}e.G xA=fCBq?Ce<kq4 ?ˮZ&OC&887Beh4lé-e_`f; a[Whn .56iҸ 0 HGWMòs.:/Ӷɜ9օ(48i1~p<{=Ab%ziaNaBG1WIx/_y_,5PLr1.lʽK)<3]), }BQY) XiZ i9/?"qOiHD~lղFW"/ ީȶ, ;n,tOP~^*SL')>v]%ҩѪ'ܿ `4<,yh!㿎%67sz@% *`;"{Z}Xz ?+ a`[(q#V_=zK5n7!iW86)5]C}QP?%nlG0]Hb#r?l#8xOs6wTT2nG{PSd^N_ 9d;֢-/S#4$Tz˙PeA /IYzG{%Xpg_yB U- C&kQUGלZ~~xHg;nB5?%aB:(":'Ln!︺j=xd!&iq3ȼg7ù-`4p!se; HMل0Օ^?a*,g.#WgI YHwo̟3$F9$Z! ķ 2$; 3w4vE%s+J]kkvopΗp ,7TQd4[y4>пodÊ®LVlk]:Ž_vt18=bY-ћa+U?|laL'M,˃2ԺxSXsm[]Da1XOx)im67pt6ҞpUh1w\X`nrF*V"^wbިuA U hYgeXĐ#4-ׇԷR_ 8XJ[Nxl-/?#OezdOO on7NB4/ZMwfiJJ 3@9 we&z"+Yn3н]r!oAs?],M.ևҚ>"~RZHȝs7|7s&7f<Vs9*Iekׯ4TAqJ7 ]G-IO7Di:?J*RK'{d &j+iL_8dƭ9rfXm, f~ssd>V`4_H$tS[܁B>hT:71vz>*gSXϨdCTNAR#oAj+Áz v==,g5]7>6e<^͊ J8Q7}0S3'rS1PʆX_b'EEak6f~<lq!#⧋I| 4w*[sqF0:9̌Hbj@f3-9gZK%)hsl{_sz R܍)4 ri3`[gI޿m$h ]{R'67g }pe'd @94,y?g3aJ 3%®NjT^)\_>,^[RdhnI_3l@9Һme4)"SF43Qc!KK#cBFǨg߉eYTب_ڐkOPr.^$Z[q{Yx1鿕W++#U4$Y k'6BRЫqFW#=H~2tחqWw&cD~w}LlM0$ژ="Y\BQ۶^/nߝ,SvE e.:zTE0taVx1&Su΄ KkEIfD0T d{`1]{c<>n.7m0$ˎY};̔]0_+JR,,P̗ty-KLL(80ft! %͡!N'P#/A*Gg$ zs=Q͠w#H :8,Ko dV0ivE` 9_ytGlXh:xA)ד&:G!)޻JV=ZS-qZBXدE?oR@Qæŀe#Co_`c9*p 7…[C)~#Z9D_jNURs%@7J`0mRR.:dP L')˴)Jyk0F^%.@"16ID{nhmL ,t׋_Ѐ ̥$029llaKHe44mGs925ȝ@'&8I#~-u^tnd-?d͆kX BTS^4rOqk3^PGhFWBY)<%O591ծisH?3v=aO Fw]tF >Pp}Psl=Qnws;Na\I֐]8/6K0mzs'T !hiDڍ*+Or)kNӁ~t>l@[Ԫdz\C3 AF=ĺ):(79<Hh'@i!gd8fWǁ" TcNغzO*SajnypCxJ 0mc >['?%I[ B[$f<8#$[3ߛΊS)ect6.q:@׹dx dR*:}s8&v7]?G 60k4]^/{u0pC pqwNQ:֨L҄Q]S[,)s?FQ8LipAC,W?WC5[hv܇V~ZIjߧjFsX s/*?^CUg@1ˁrGuu@h˰J i³9[|d>mwr,0[*@~j^pYF?do[{}Ó$_ kg`^+6k1S.(!;ԴSS:YtW=Y50DfH{ /k;6d9 ܱN~9v`]ys7H' d_g }<~67u3%\:D}KYj^7Δ >eɗQ> H:xD [ܒN(ӧy,ZuV/1`9%-| a\_ v?X=Z4K3R}U/xUqNFI7{yΐ(F&Ԯ!+ G` wb`^dK-Z_@dG;"b21JDR=֌09%mYbshs ?? gc&Mg^C<tZ#Qlןrv= |x纽) ƶEɣ;avaԀ?UCx0HA:) k9.X=d+^Z][O5W%M'$^_zNJcE7 HmE Dz@ DIǀH3MY❐tJ|\~p# O \clDo6S E?z1jQ}/Ɠ# y`O8'=$<6j^6>3Ek1]ԳkSh|-kL_Qa<-Q/o!suMR)9F0ڨmx"ӑgKSOqrˆiWKLl}"P]P5dB%C1m燐;$RoOit@Z ilb3NcJ7CY-d߻dŸzI:'yoA N #+ȷT9[n/:/̏eu;>)2 ґ-fWL{b4fyQLIN)෺qwYEh ԗ&pǷD.͈K6?ьh}o+6$vu|HW@uzJ ̛~3R MCb|"xߴVC awTPd&{P޻s(Y@gG.a=FLφyJ*Ԫ2s^1#8B;֘-jlڴ]\3qXͩ)߅x}-5~xO ~W*z~ft@fg B.&1Dwi:㋵TsY1g`7ٺW=Bg={ٚ܃R$ ~+/!7" x'6tH;>NRP%$05MOCFߪR%1¥%CѥD pصת4#gx*_nJIpYA xlI`G࿓;FJ(E9-Az8S.q2q'/Oj-C~^K' :0eO.ic-2V?UwvmgN8VtU~HtcL/OuPwR)_7 gJPy.Ȏ] W/&`|ϸ&}itSݤcDH~HwvV .@Hy^U1 =[/P˲5k/;f\qޝ}wb~xGeHdE?g$R+xuWϭYا f%0YH9i.(͐GrЫ-y7]&a"jUt_!bIY~&y?4Xpѯހ|e{v!o\$ϥ+ z:yY"o@( cT}6~3*\tq 6xGW@S):AӃ!ZK6ERU уf&ē[ZJߥ$Z\:ǜB V7= vT ʵsMV>3#@#:o4m+ž|d@cMlZ73?LX+b>R?Z\oi8CP?Lqs\Q/Y\å/2.Xw"B v9U"AP+{lÈm Zٺz~wJ+%6r=d"C\/lol (°59%h~O7RYDG̮ӕ/^\JƲi.1\܀\f&< u8߱M̼ӷԣMD=JԳZ 7د-%n@(B6$n3݈AD!jNS2}<9YX2F4?u'L@EkgɇU^e-µ*`~eT`]c >|:Q~o?SiːwdFFAJJ熵uLl3k+ LfUZ6tW8d{kA3HYAb W)}; !+]ҧ jz@!I Ɵv׋/fﴍ'Fâ&űm4[U6231mkmCen {:vS ]+5voqjɡUI؍=f0jCj61y.xD([Og 28DF2Bȫ<ˀ(EE],~6ː#v?Y5$}Hwrgd|*q_0晒g@DV<ě?x~D1T5jhd&6@1:mt%=[UM]M̕w}_dlP<50[*Vv1ķT}D`2fV6qN/EahĸiA.9+ ߠ荽$TY̜Gț޸^88JP2%/٫e$C_mvrP<ǝ9<Ɉ=6ѰLmmsj n7)%Uzn,$́ˈ > (k>H-4(>7i A lkku*}4 _&@;![rX ԬlNv֡x*o +W1;0H. 6Sdw| ɀ6V\czRܭsRx׆ 1mhj2cEM>eY:0h )`Ejlž¿5/A*'*ys;iO|a@DtvJ.]͘Yf|͏)xhѴ\[JjwnvTi`Ita}#֧o\xd%敶 R Zxׁ~Cuqz';r_全Z7yA!55HyOO'=dw̗ l`RK? mͭu$[˗4P΄H;zxY>>`WdX7ڤ#EG&/kfpER5W]h57Hq+FdRSm@uOW՗'>c" !Ӻ#Zȏf?~aƔY\y@b~5]L4@ԯro_Nnh'pD(\XZ| N'xOZi6tsZQ[t/+{;5Y̓yHy{); zpe#2Ay\!%)6NK=u3B)5OcMd15S2G,?1&C]];LMX]L:z1Jcѩ䨂ƴ\aZW}3Ҧ0\X]0=C&۰А9v!KAsi=0 ȒD]z M^2`DCl/qq[ Ι6QJ6i&0s@cќ{D}.+Fa47j+@h;zN>>4-d0Z=u`Xȃx1T )`vLI#pB5@4{Pɼ"lW-^vL5OȳVX i7GWa@:mDlA}-;N T? -&ކIۆuGn^3K9-ı׈O&-pQs'em%Vʪ|o2SOv@EYCם @%ӤV/>7+rʈGWőL`"B1_I2=dtduɧl>|_Qn~GbF#=İĨPjX>;ުCjJ`l3 x.T|JҺzCsdHor: zc}{4}RG9 I'h~߬m:ՍTU:K4y`N8dHNd 3/vNc nπ*hc?޳Ԙ p3P6q iJ,#;4+؋^kV {&|hɺEI٬? wwVd6 ȝAgv Lc 3} ; +iIJ!F;u=} YO3Ţ7LJ~GeA{' #<@9eSfOUH5nı@DS<+S?WTCHQAʪm00ZqHp ؋AT#n%*2>4űoۂcchlʞ,qΡ1}P%fݍ:UV/gm4jhA5Z knD Ec\0KqZ/cLx&;^wT!38? d=!,<#C;P<\pdPejž}Pmp)ibaVawZMibN;:Ǖdv=ZQg<Ϝq#-P~^HZdl9huSt\ F1TG%|>WM p|bXW/geVd!ТCMy9) X '7C7hΩCe !!O@Gp40rSqH@qqsߴ*<54U!֊΀} " $ҨQ0Fo]agNf|zcY5"}(;M0ñ\@h-э78~K%G+g[7̹;CMgǸJZ]*٩sa1Sجځ<f ̐J#C[:zi<iH Jw=Э!?cV))Rv,~Ȅ$)m]߯J|rbMlT)*O\32P?9JJ {Z:c:”LԴK:|Ev%e4R1|,ȅ/IuceY qjCBHR8ՏЈ>{#W~ 1ygKlü-^7cQYmc%J ϭٞvY qcfBڻc7U)*I]AG{m']BNCUb/RzT\[mClJWdww%ELHly("oNAHD}##&A/0qRo0'G$k83I,}1wt)^96"uG9#]#7t|_ T61R5gBQڭ5p:r IrC8=Pm? qOe6ZDSX&plS@ztNfQ4NnieP)A!WշfMk RcWV^M0R#?rצv)yk(jJE;P;G,3TeerM{\+ۧI?Q9C`XC%YuFj8 |ܶ/JF˻ A <5~7{D߮ 20',AD,9 G:ӳ[LAv7OZ tAC9&Rړr*]su;Ww.<}ԕSύ+{":+wa<'K9KdRhï ĝ&T=K rSGc 8M[*IK悂;[Vr,&^ELS)\Kk>3? rk {}Kp˼ J3iF:\njNj @麔8 c-!䗨8ww3e9zF2;K,H8y #rM⛅77A#)Ҽޱk~;-Kd(\96mg}Nh;1]% c.w$#[ditHJ%,8&uB:mbyߔ >{@ P,to}ϸ;wC,T6=;Z*o>د'M _K+nMR*qImR=<Q8}wG}w{r D ӒUIgQ$..3JtE_xR]m, sϒWAN1CU`785U~"=dO) `痐T_ńj\oN2*hUfB0STZ4v&n6n§O0qIC^j|\I,m;( H%.#MJ06o{_SC`fn4j9w}ӹn "{mL 0VXtsbaLɸEO_Eьh3' YNMowɅ)@|&dZFQ(>z \w@<螘 9.V Rt5Ϗj$cz vjF6d[m ss}&v2h]/geWޓ;P#+Uo[?V̐ҬP vWXqAt-t (A͇7 , 50 UC`> b+\Ѷ#0Rh4K}0+anq% \< PUAa^Pt wʊD&*Hz5N x5.@Vtp C^̈Q?)>ix`]EȤl΃˧L dO[b rP:za &+˦O1_&F~}XviYcIt %:U䅖EG5&n+r}rqS՘nHCߴFful}aR'  D bwjOʷD*~ʓY)IY1VplL AսT)\v9Ll} KTGy{njΰ&_(wM+&iJؾρ,+kc*H#V&1PF 8+=&?f+2@rMnϯ}#KAե NI%yS2^f'b! _r^ V&T][.e$䌖] $ }m(gV+0B 1*:O-?G2nm{DLpCŌk<]MI@sn3嵛)9,7zV$H3smfxÎa$Z#"_gSUsߊ?P9J%;A65o>mP_1^w ,;-=ӵ+c/KBՑ xmO.0mzzоUDh B֕x9:jX<\¯@j@,~"j1JAWM{ZJΗCiAas !]8,En0'&!_'g+3JN3qr{nj kvPxx@+aKzθV.G894y! *U<ȑꐇc'#߷V߫LHEˁѹma?ԧd~s&#"~ELFä_hYl TnmGg)qK2l >q}}U'`H毀V䱱K7TGFN\霹 #dG)Xw-v߼)A*SŖ-(*$_j.[>0ƸXj+Kynⲑ5!$ZbTKV]} #_kH~~ k݅ =`MƟQUe$UxtZ.>͉1x92uuvEzb&(߁_s1}x_7T\gI1t0M \n0OmˎUnw/pqSuX"68G. |A/k4(ATY0h4|݇L"Jn~%) X{N$ͮkOa^|W{+.YF!>c?.S_w#ౢ ԓɭM"&Q740$<|ǻtCgg8hg-B1rwIanź^"~x<,Ef҆KhhV:xq!zCgS)3i|+;zsњ'.mF@eo,`r0yYspux)wܨg ar"8aPc~Nom:x8bNLuU.8Ύ7 aK+'JBxkT^d; A)xIUÓԁhC,*ˬn^NomUX_%IΟ5{9 ҶS2>bTuAx ! *BƭSN^qتo5oyȉ$]y}]Vx`1=6n)!EEA?_HBܹ+"P3ag+[8FԬꑟe%/e }<>fQ:+Ҙw~3oo9qZou}Ҡ˟>WZ?E7y^W1~)7_Hj΍QJ!0LR#RC4)c9^Xc$+x{Ex-5~St A\ͶgYZ7zXZִF! b]ŗXi%96.oT[  bvC{Q6%,Qs3fEnX@\TW 9[ka> {cgo5`WfIYݸ Ch9@yiyYH o8Xu-(J!PВU= \ @.l/odRkeC(Xu0Q$*cS \Pk?B?{Z4"}I J\|}L6kTjR)7h"OuK)ņUC]>%<1US桔9ZMKjOčhY{PKb&{%},S +Oݯ#]^_NΡ։«BΦw8f_~DN+)w]74=i{pݍ_vM;SвSwiGPQ!Y&!e"KKA,IhBȻyd=9, $RG "ˎ(P²i _Ŧߝ<0+Gt(uΝټF'$נћijҍ!ZA0&TPRE98:<צ!_y40ز'<R$cwԱ PyT!0* a)٦7XTP|l?ɺ0f+d._ITS9v( v6PL-1 ;gfKGTǿU<ź3hl?)Y7~ eĶj銍˼]ӹ pPzW0+z;Ȯ'fwpؿ1kbc8%yN!gY]R=0Ո+oa(ܖ2 |JHrXgeh'kw晓z%4u#5M\)DDLAT_;:VmʫIO1G~BGKzux:HeBtxޕJ%/YL)3|V/yَzp#)m O -a7vӼzN Y[=q6SL]7͉~VDqqyh Kp@!!|r 䐮Ë er$,N 0]$#fK\6}Nqzw/60+a%#g|9Q75~)]*HF]ӥ6ЎNZ]<~i`##m1^&iʗGѰKy`.EIxQ# $ޱ7à(# &/|)cq 'F#eh¾Ʈ$xfv.{f]@@̵㖮|-x,Vϔ촠5Hz(S(%4=Jı=B)Cw?NJiZgUt+z($y__hmBZo?u4x8O X hN_Q$ oA!K@LH]4w[GBjTӮ 1b7 .BbmI+s]g\=%6*oH3f!T|LhwP#G)ƒn,&:>2wB^Ce3m4ԕ<%$/u" \HWdoOwE:x2*:})&>UkT~h<7VLXx`< Դ7*B ЇsB92BEywIgVBWVq>z_KxVd( ƽ檦qFt%bɔ=l.B5'PHq&7x &"K-}ᚶ|@ pT >syJ߲q~<Px $7PcK p3xXѲom]=o؅)(ߔ^x*:_:j*IskFJ2xlbF+V>kr1n'!|SueT8jVW]1}LX+:>%i@r5vء5H;2nі<6!vooN=eG+nXeO%.F鍋ߩb,1'(ŖL|orYI+ȹ<2Itö́Hba|noh499YJBO*Z ī25E CP(Uab=ľp6LqxqX^n1ȁqI\{8%g·8w\jP87h^ւ'g%Wgk'l_o]'&uYr&Yp_""cv?7oCNKJt4}&S pKׄC0h#C.l_AP,cRVT sS$0-7$#IT`?L{P~ !yhtNs1cGM=o+A7A+r*j+(e^)-;ӡ!oc "\ k ^zUkEM|Fi.%p*@hUfJl>S TB[^{ ҉/ >K%·^:SFل#@]_}K+Gԍ ,x:reߩ~yӂ'>br1LEuܦ/H[XB{OxL`D_39eiDq0KTG׃~i_&@fsD&\UE qu d:CW/L,W>"#.΄vQnp$ohFM9gnoߥPɾVnq3T3r]җ =oYy8ǩďzxKx*MѻXYҘkS0qPKOlUĚOΈ,epɴ0*IPy FyZat?Xc`D =t~~-.Jm<7^/o ӌGnOg:G ] vlmp>GX[:]1F}XҒVۅF]?T_D"Qᑁ`U"m Ÿ-XX&RrlqT MtXcj8\ ԏreOU%P*`E2[FpE(0EzMrVFKn m>d5 s8{k5z+$5lrK(-%CN `+YBG mKjv1d鈎GMa3C^S^ıUCt:o,pN!hR0f '{IfrԖr۱Y[ >}gvUQ)F=BpsqYj]ֆg9 'ZF}rZv&Fɶ)7R50\;ik Z?LC.2M [V<u9acLv f??ʥW_`#n;dU9X5 kZ D cwb4e.T0 _yw9^0fW缢5 \=!.ZaЪR2=y]u9HНT޳Ǻyp~JvZltNvF|Q%̴QX>"G <)/}$<{1[ѯH͘OɯO@!DM|> yO+Q%D^˴R4_W. hLHԞ+ov qw#R_tn*fU 9ZoUęy SR>J֡4uGNIAܺ^Sf)i.85 2M}1A^Yay;4y\KkgF=#ѭkI,F2b1'T8F4;3De2rY59a)@dR])o8/H"V@n hauCq;D"=rLy-|=HLQ|iHu=>3IChbP[0+H -_LβzPFTUoqꎈV4Jv<v[=6P,Й9Yk|L'ȜqϠ ;PNJ= Nt])56sѕfPHk? >)0Nf؆/V8}%%A/~s> tÝ(U'{o}ܳ c$,|!>R7 ,JeKXM5sJM"SBE+m͝ 8'jJziT~;-Ygɣh@ti~p?ɳmVg,eU!rؖn{c3:AC|nB( b.]%tgHFëAe$ǡ1Z&XXCxWf( %Vӧ*oX{2@NBKsJ~tYIԄHŝ aR?hiN2hÎB?S`M^<غbW&W :ۅV_Yߎ` -C!HeK9VIx0;(~)wlz;~m>\viV17&+QF bRɡ) YyyG+FH;9l^OK3E?n=(E;]]׬xѪ9wƚ FdȀS\@DIZt4 ,:RwKveyg\wW!GlCŨeݥT]Řvһz݋jS䕣/O~I*~SyGc(P7'Ƌ'ANk~V*ːw@u=')P;xl`?#Q*sUad֐11F/0\=)_B 8خ82VPeۊ x x ږ2( i15bVnRCޣ'`~ӨbKq85ѣcL|_re(SO\Acw#NĦ rNɩ:T)`#!y%֭!aMG:h{̃:vupnTv}9L5n= Y_4H~C(.B^xtݝU17Z.d/^BRIBv<<;;iFՀNjgNF5uz`x$hU*C(6s .%kӔZeIwTjNR(;$~V65Yk]r. i-c` nӅ{9Wʦ,iMjKDI-`-V9u 0>&>Cп@% ߞe7="*M؎mRߒ{q\Y5#)DNDim81c/gS XvQ-L.V 9ߖ\Y;޸?N#ܒ=рD?r7~ ,c~..tZdTsac%JuPs]lZ54YWg.[V;h5\K[tf Aj yƙbSn)D+Lޙ2f,?lAۈ4i@qWeA6TI\>H-U`TS<05}i+-A&37V磽?_%֑,8\ ᰅ(Q`]߼Z N<& Ǔ3۬n#~R&}P2nKK+jv TOim 6V{kCB7!1ALL r![H;Qٱ)߸n9y(ppY83+F1tM+T:Z BSn춴= kٙB47|EjIN; '.+ B)jYo/G$\ -k?Z<ޑ)Ad@?AzsZn;%NeH.wP1XBgnCKwf&ɝ]k8v/9ya"Z_N)E/w[`@S5\w +]OA=u+,0^;;uך!Vg? vN>"g;qrWb ̃^n.gk7;ɶn=jU$vb54)Z`O33שa[<\`lA1|ccA'}{Ruy߄!r&nJ Q%4J+\ u{SبȥWtNg,$a?T–3D}w㐛nVZ( cU#2"_&ek#M@ =-3lV9ÐLvq w1\xZNu;o} 6n{zY+$v7)zjݏҠKEm;  ^v{CYQ 7J Rm~(%nXW`Ҟ a !ksʼm SQ-~0<̍4vzq(_OȬm4A'3jq.v8(Rӻԃ3!+?(C3yUzXQ[DEH~ 繨{}`[]o`MYDw.f@.| Om?n+Ѣ@ίwQݟCmCl׳yzwT4@%)|5#eY#lʈP21X"?wQz|=]ME sLt/kz'S*CVPvA }߸17W~E:H@ P2Brt\O|3xպJrCs1i; Y1 y)Kĥdݶ-:keln&h_̓nSWVl?,of_sI#TD%Zه1D?E-0fbô^D͸\]43YJ"O mlsɅ1b@2fMz͉0DT X@Q]+M><\@,aS@ZOuҒs]Ǡi'$4N6g-rJK"Zik%:Fw2#-DrIwP]j*kds?WkXL1>MG mVsWJn8J-~ lg}@ H~xˤSLԊ]tCDwpGbdBwu|2.H&do)XP$! #x?|8ݮS!06vJ#Ȱ`Q?>H\7q:tP0UΧnv`?ØmZSWG]鵼؂;v XDf9;::0a"{NԿjuvcitq/]B(V^n33L+~# -"ӝ'[r_2ҋ!0P)!O/i .u{VRgQ a!LTq¹J>. ܣɞ'`?rSW^fX7kJ+:yPlD"#vj=X[r?C.M7&{ q(B)O V*;Y8eZ Htqe4KPrcw# oqb]~&> HJe^IK\?xÐw5Oh?0!ylVC3 *vzě/DO3uuoF2԰yPaƇ#u&V\`~Xl3m}W0@TMWEdpӌm+gV 91`uS[z;.'[+946׾!pi3]5i񹅵pcT!e ͥRe.]nȠY!1nγ ripy̓ߣԍwA D7y1Ì a!N@?@Xrb"aªcD{Y-$>a5܈*BU}r޵dGd?Pҥ1ΐ9,t}Vp~H{W12ܹ^}Nz{n*׃4 iA1^䫀\yGR,׳d^eNI$rԳBzw N߯?jq`ۗ"^ x;K=j{W=ܻ4k&,^eLб1Sc?b8>b>ۡ)l{>S3ROBIwԬL;k ]-d:͏^=&v 8@~pȖZϔoWkr#ED$ 0Ʀz >zoAU߄6x);\)hhJu98jRQ ټ:p:c+׼ K0&+490'2Ɠ( o ;UNFڵ{ylg$RlΪ(;uzm]xgC/ y}B-ҩp:c~ M@ҵqXQF1{@RoLՓgﯬ)b?{UEI$TDM3nM=?BEQʦe湠ʴq%=~ &xSo&jпark3Je4'.eBsMłʥ/`mX-# I$`OulPJNXCbCSw0IH YY!o[0 QW?z/&}9n~30Gi ﯣ s:dQͤsh)T4ƙQ<}qA38zLzU`ǕJ: ڞo4A;(W@ "޲qY.vɔOzuq}wluZ\HBhTȀ`(aLH;J]=G r>՝TLL2t4i)񜥠d \G oUؠ\/H0۳h8w-Ңbn_Ѥ^(nֆ̀a3&1Ͷ)bC/ t߳ɩ pb,[;0e Y끟k!R"M:ϙ}kNEt,SH5h׼AJ6|VԌ,| IMj|-)GԊ_CxMѶf_喥 v6!5(;j^ondli =q gKzUnطqu E,!e-I? z(j5hW>:iPA+S\E,d]|)ŸcM}FH{1x)9ZN9̇Rqlm,ibcLl$t^`JCBE ~|1H쐎,wAݡј2|h ɨZ?P ~J dz?T]Bҳ,Y YZ :[eIEJmd4].v`ĺ1<0HE|&ݰ WOXw+ -ß7} @'y<Ɓ+> H./?L =\2YSgNΎMtC ~lHʞ69>$1ޞ;h)Du'>w ,=W&C e>$PSD3c~ 8S%p;@ FeܢgIs^3Oql=h8ǁ+.!JKMބ`#i-*nV s{RvNXN2u}="ldD^f& ݾrFOqё*j{?{ii}4oB諾q%DwqqhmT$%ӊU=0^@ߛ=V;i!$WIdMg 5{$f2˂&9A&Ҧ3:=ykPZ QyVsnOIp>|F8S~G&Ui 3c)&CC.WA\%]Բ꿨i()I.?kA%}qxi[D$H̴)9bU܀5 M_9C>=~ X}K$cV`V"&оFv9=23:8r]Z])?!'/b*Fʞv=Ffi 4%mVI1?O y}튤q].$$|}%t'xɨI"섘5U kHDFJ!hG $T(/04˓!r| yE %]br;JRz^vba8fD:P֮K܃{2u3Ÿp`p0?P;;CT;H"ReXZb)~p PKGI^JW,]tQ!c $|.cϙ|c7 ;AX}A@o46$OM-{<[M(AJe jLݱWgC.a.Nck5!q3>^t$YUMզzg$cW pVT|]sܾacd#є1c폫pF[Ub]#thLm Q})^xP͠<ӮYvq-0˹ ܙ k্O}l֦yX0?XTrɮnbVuJeh! S2P ҰLJ]>E'5={cыrSvmF$}! FÂ׵k:jQpMhcIA16>8 dCH1cÈRx0^#|x:@qg-]L8ed$LZekl/'-Qb{t3΁PQ:hgDt % Uo+;qLNgZ29cy5A', xJARzq* bA ?k%fwjwitPZ&Vu`A'&h #nc& K|8k(A.8sN͞ad5kԝ9({6Џ&=2 |.Y9~d˞.u?rFLףs%V2Ryo//p=?slŧPlKlg"8Ζs3L3:q>E?*)LEXqϊ<.8(9R- `u{yWJA)#ES8 ЋǢ*Qbi"^T^3iu7͹c;9zpEq4}uƈ_r9L0añBU^p:zPT[әgDI^"%e6yw^5+Z?z}d_ڮA ߾9A}՗ JToWȶ8Ч&Kܠh{Gs+.ivzO_TlZX>J(_;j,&. "+`YФplNܬ]V* pMit{X}|yb5 e^<0y B(OQ%X54 kL[sB䄊Ó*s&;bT=ǂmT4PSi{S6?0Z&,gV@ #unS)|A< ^$KVL"%bxZV5x؀ɼJ1cj0E@O^5M]rgf[-k`$O7+ 񟠒ϐ߃h\٪\ Wz;^/N6U(ܹ , ysk<R;lHOzEA!@5dGgy̨H/n)*;|7X}m4L9OUs]H>eO2aқOd~/+,U?7D[-V)V!?e&4E'/r魾49硉;lkbniݴT%˖"VdXU8F?\IiĨBPpqVXK$I/\MJet!ek5)(3!zg{pU.dW:tZgևIB֤ ʓ$?#UPK}f L}5.U&2hIJ\?Nu[($)NFM,_}ѾB.?s~? '!m5_gu B't^0y<[S!M)3~!LFdI{3/"NxnAj#kt 0gD$x`?!zǧHm/N~H$X]&b;9[ӜDps ^9pB9:Yćei`c[E PH).cO|cL'z GmІk`<7/Z0NEr`CE15/i$d_.su$ȴm8Fx 'n+ЉstD/_!~CbezVgxeS % wp3+Y 00Ddq[gVZCn(׺/^vb[<_yy~8msu݅V)?X=*5+Q[%-%g5߷b% (ޛG'0Icp"*U(@oӉ`sX~:؃L،w~;F}n2fsZ2Nmf'F׸8"_(ӣc}-=ѡl|cr}`0g2a[(3”g/hb0y;oLP#bM?l! 20Kd!e(? f!_Dx<ccQOK| tǬZ2,N ?=lE}h>Qa:1?_%|W7FP`آYYf)^X}xYws>ԇ|Nd${q3j&cTQE7WlB!LOMJKBwZD" FX莃t= /UQIC $aAc. oѤۙܓ)>֣v?&[X3K[ء"g7E]Vh*$m֬KKpT6Գ֪SG6;>f &h/@{eAg~ˇ#X< +v !M #>Ul 8 }'A25H%ReF#`)ͩCGC?Hzrc/^"憲Xuf8amn9"*!p¶] 2|ĵo{.?k͜^*5$C&%JWCi^3$CEK\tR>{(PoZ8[̤,Zn%,`K0zzE;vނy#o)Gxn-Vc)9Җk]hG6OcEhǻ&e,}FId5ɊEoܫ4[lB ԜMgnjd6F v5lo3 8_A/YdLtL!85o\|aVSuJh<8k|Sب `m f#} ln Oxɠ;(ک?bqѕV>JZ5+uyp\d pm%")Pvyf=C(nkG=rQO^w ؟RxJdZqn `B6Ѓ]ĝ 4λ:DA=Rh|Aoo̽\/[Ybyn10z=M=ENO*Fkj nyIj"Qf!h\ok{iD뽡 lF߲|}v;Y%;_e)1]\_kS> 6OF']4&XŰE jٚ{$g᧲KoE==rJ"ʰ9oArQdG>m}{"`LJ*)wv2m-%~O~4yR27&-S/lKbْoTedٞ[m$r\M+=Dy7V1E7Uߔg@vZ1ptĵ;3\zy^sa),ThŗrI:[8ZQMg#h!nAfrb(<b1.Jژl'j1tFЕJ2dtEe6K>+(ZRIȔs41}l$J2e9aWB& 覱:G!R3'K Φ1wj _|k^f:pZs "{kJwγf[qPv{v'޴'S??﹏GrCˆdTMݦwM;͂kF[xiոs9_Fy'TC~LVK$Xd?f[.bG '\҆{G8H$y#R)ٚM 9 b3d8\L0WJ춵wO-[f=:?[(*99l< ©5h ,F#\6dYe'J1FR6;8b1fkT܎+;E#TcZAgtoWCk{AB͆YX^q%Q ۤZnb3,)t^rzHz dFB֨E}J:F\0I9j3%pPsLG}!Pid#co4MU52+Yu5ԃ/#:sdPSMPxzRɠQ_T ANQ%LfʞLk:;J>G|aN }啚]3Jaj^5)&ܻ Jw41DRس-n2Ndu(Ah5jvI;L}ñ0i (/?&A'ބ 0jj Ss*uj曝lG܊(]{%X1bztOJYq:wYn *11{sx 1/|C~Wm.I&>T/~)J{K!$dT*SwPK^ Ay'9l+ e}qbr=<8xn֣ݣ{m Hץ> ky@F?5LK]uJK1_0 u<]!!H) r;HRFp{LrI6~0 ٍb{ķZ^76Ҝ딼r~sƒQGX5p]4Q+Ր{(ةUωL<>J K8ԂmGDVĶ^B;Fi Y3}^+vXF+tL''ՊB{I9-#*>*"4NnYrXgH Gm-$0IK9n{br~òK_Z,| ;ߖeP9]>GE @ C+WW \U Mr矽P/>/ Tp0Ft?Owѱ o:O B7CXV!e5g=݈hLf2=y6052%0l?@It:_\~&lNCzSB6¨QšLG_-+RpK+*Ul YO%. 0-[q l_ƦPn)0iTw '3v pHo(jĔsĎ"@H+ pqK`ZHlnw?ٸ(J>bQMPJ?fl%T:`ydB朓C?Ty"2̗}߳zB1B2|_ٹqu^Q}YYe_W\F',Tn| mKH>zB/rA'S 9JvBAm ߞ >Pʍ bo~XвV9?_/D(P'IUJ Dk ?0?WmDC3[v2#e'Lo@q,.K`-R׍?-IO%slhL5ޡZ REO(Ṕ'uJĶ8Wܺk&. _-6NW]lyֹN~UU' N)2  ()<,wۋPlkng5wxТ{^4U'\1:3 I/%hQsTѥ}p&&,a@K{k6.q*C-D>nj_5ded.U ryw m{bu ~are8g>( za!0ſ0Ұ>mYSE:sB.f# { \Կ Uiyr{6F^׎&eJ>r>9|3Q ܻ9am%O%;|bgԻ,D1੤hwܵ*U:C-5E/h1S!Ҭ.܄! )b(95#MgR.'aLpcz)Il{ܢϔn;66ițYBJ72 X D)>+r3ó걞r[IwɡE3qyCv)Ԏ R]EuڲY0ώB '2 p$,hPåeK\⊫qshot4R6I{9%^[iLy%y~"ik46 Q>Ș *|Ue;bxgV$mV݂LۣDM-Y'Cu1-oCmZ7KV==Ǩ&Vt?8EK~0Pe ކ0x2(K&ꕉZٛaB̭iD4ɶAdPKjڭّۊ[ޗH_xGp㸙! $RkfwMV ׁt0J/:O sϪv3lagAΐ$+ls~QA45᪪ŀtHwY$VF=hL:Z%Rx+خ6@puaJlUA5`Vlk'"2 1K4p-u#)̠ͅ}65){SVMOuIޯыmPRm 46&!Cq}F4VCi -4|47eLROT{R]DgYZec44892a40d54c1e80b9e67be0f7df4169cfd0ffb7e847e721809281cd40042e7df94b0de64e4297 d40f74ab6c572f5a7c6fb839c79aeb7813dcf391d10ac068fd38d326a27738e9631bfa776376dd9f