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  ? ?%T$D ]/]HOL-Analysis:threads=6elapsed=296.873cpu=1311.488gc=107.600factor=4.427zXZִF! Ac]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGWBw{$Ϗhl 96L/HO+tZn= >-uaũn\ϓi})ʵ;~V]pHb^n@m9=*% %ba/e$.`7ep\u?҇A'tؚa8oZwƅxQ'j*:s寷Y Gɒ- P>%),1 e'T aA}(;KHNkн slqzqHV^{ykQ*C=͇3_':TkSFk2|bN/2wqZ:$JNd@ipOmڕNZM.zHg{u@)!%Y鉯nV*A砌ӉPuOQ')Q-ѢixT I]+,uҹF;ٲ! 0otpcTeѡRnhR)ȵ7dq26: kېn ѨYşS0xrj UP dP0$X5XnLD0x 4Pu' XBͭccS j=quaP#pYVUZhUjHF4xsm|QbL*`lVϼcjmF7g'TKl  Ln[ c! t_陔6%_)rα>窓k C̤H![t>9i=iNSkq&FO \:-o:\s&s@-,frҦ.$xj@6v"vzrHךOGl V  nw}NHd^C`~4tghүc֮Q,I%VrVnչD >v+\w-1U=F# *n~lُzbbnB#yMMSq'ڷ(D?/a FwjXRӴ{iC`wWs-'Xoa$%mU!"'g#~d[mRJ/4lE`KvJ /jH5B"e`j)+r/ )eFY}jlyF^ Q&2ה|zpwiԞ_x8_[xqfQj7Z2vjgM#tSi2CQG4RCdNF$dzVixol}p!kQ SW0SD=:MӇǗHv3Kt\O|{4%3}p6 dj&a_hX\(xbn':ZɱުД_*8ӝc 1(Hr䕌ngC2TL;'hR5Ɔw?mN@^Ggf{؏0@[-yҟAvE=V޴qOyiihN7[c݊ 7]\4<%^_IB0E]XEөLˬ̠u *.=eGo*wAqۺ@NjB{2Eapx#:X "ܸt+P"V$˭l^#1 ]BsxMA (/ MGE),Uc@&H^ #:Kap[ivZ>%{+a@i+|rXݰZ)E ›/`@\swNЍn>j\Hm ]}Ek^/[{ޫV/67ow dfÛ2 #cc{NGV:i곤v. DZ0̧҉s"T+G۔t)MK-q+%+x̣l->N$ wPeb>q7l+*s=X-33ҽd'hQKFc9`x+$HQkƄW3q."m|16ol#!wnJ/ҭ⭏`-Χ;:$ 22Hj' sbt$wҜvI7ƿwVځ0:񇡞⮚Bӡo@RTq]G*s)b9tU iW;_OXWNANʣ=c/Ce5&{b@ژ=I-!F 'D>}XeūPaŘPdM$ tA-ܥ8Hذ/ś ,;cGFq4ry"MlR˭z3@+լBxq P΅zy%[Zʂx@Z'7?\2ZItfW-꩚8܅<;#շgS>z 4I's l7<mzu-0f׉xs}_`56{.=|~:K GK@j`i {n*7 ٫HD!N;|רiًwAEpynQ_ Ma@sW~+c9hucog1L#΀R*Q eѧbiUYEK%x/k/KNb]&տ!LNltkmԴ¬@6n}Zu:XT-,4mV+Ha ϱcz"mQ:UT'tSKoPx`NWkkCpE-# 54!ڠtZoƴAw`5>a ~Ś%6dp8;$NޕĿ%p7)ݧ9h,gluCtQM`٬=~c+37A>ٵ py] һT*[)Ǽ'Ր˹=ukpeɼ6hDN!R0JsOt.Bg6?65F~>%3'^gn/#eĄ8ID@pFvKƥ"6x;;+Y:|TծPty?0tec_Psc0h~N>paZU0+HnCTܦILPЯQgZ)(_$nqK__X Pbfq .'k `~ɩ -I~()[!\9Rf_;v_yѲ kq t|qGqzT_Y w :@ah?9j7w"i.>׺ 7o>m{`D?̹ p0nS=8#*/1K |xiUR_@2x{ĂyljG4Ei{NBgGQmz eà>eTɲ㥴7X6pNc4rWf~9#fyEw k<˽и5*>jI+ex\9˒Ύa-R.:1|rKPd{A4]7'l m?{θDLEU qelQEsNi7ƌ.7zV"\:y(20)o/זrߗں,}Ϭvalp})3NBƆ|n@WYʑ;\r('փ[*rAY>JҢ:šy/F潐)g[/h\丸M(pC^ۓ8X~\)dx.[UAR c E(syÔc0 N&,:ݰ(&b/򖰀R@zUݗPd)XO=8嵔=SY x""ۨdU5qb2D-:~zGN-!w 1[9_(vWs5$vIrg^Va"G8?6)<{|ԙ Ʌ &)s}qBΥUE9Ua`} }j[x]Xę?3WaV3#y]:#԰ x['LqF< ň'w, >$2Eb^'XOФ3X1SwXV )ӑQC\O?5eRZ@Y5YdT X/xWs'*eڑ&,N9|z2قbx{o :s @H?7Db$_ݲx`Dw:J _VFmh-J̓ R佬O_hrĸry,հ`5Ww*.35'ՙV?v?͓)U0\G73\0kJy8xwh?pzݒVf(؉Ӎۦ酆|9=Rsh%EeMm xGf<-jƅ!!VTs pV/d Ŋ\auu'9"_I[ V﫾 ߁Hm/a>".[ܱÓQf~] M5!x%N("Q\b G^+]ռdkS˱*Eicr&QʒTW DVEu9`׸@.{pDhZ7'?\͙h(&{ 6q ,~HsLTf(N8,"X]LjZqF9 fU OTظv}".Wc| P{₷Tr `DEْHCƂcLp.LXp?^4q G}tDc"$0[> eq]iO8sm;4(^?] pgu Q'k['iD!@ӁpiZ$B%NAyqE_4unyTs[k7c ^X1xoSo+,-~闆aŜ$BJD Li&kĸo1LO-odNLY)`RTl*ki{Lݏ#ęכBU4Hu@XWM+ adG pW-gʺ}6SM>ZO^lj0Iƶ`<2ɢQ!^)0RcǦ@.OOs PseNOQGOH99B 0*qἾZXW|e*jMfRK\ iou *z&޴F5XXz[W# 4 Y?x|) տ w(w)WC=CgMNXVs j~Arge[Vo(e~f&隑.&o`:!iCڛUm@.Jy*511a A4˳=9CWo465&phΦ)fe,/]{]JF ;GZ2dJKFfudmB: w2[ߴ z:ω8ep}~rY&pmTEiLVN:iC1ne%jrK&xAŪ>$r;ѓ:cV^F\Bz0[OC1tb2_|CLAQO=KWg5FrNQ2,?T5FȺ<{DZQ(qůvR1-|3(,[}]Al[e#u̵QckGld_߁Ty*A+BzF^W r'6 MԐy $6}D[6} yc,ԊY7b{֌~8gmSrU:t1ܸXXBUn-mN b2fVxgo/ ;y4]l:N; еh>rշI.sPb"yk' D혊ԛnI8:_Y̢ +^MB9mWV?*‘A6-mHnos&I,"V=( ȓmsAuay;a 23؄u^J(#l `*̷r +zẩX}0|L L>\I9&>8M/GRK} _,"C^ 8Wb5$hlV em]0_ ,2~^&~orx 1=]d O5e ެ2!60)||`2 IGjX,AeO\8l'\>ī)zb3Gj]F&iyHo7 cOZ {֌z-F{,UD<RLT]d3$c7gv]:;NB:9dxKIdt͜lIHЄ ?N@>*k T:3`;'- [@.-R%1!8o{ @;|ʱmbGߑgӁUPorZTb{U3 ^}lmS`&) l56L,"ۨ2'.9+"5u펳ې[MuAb zDbL80 yHgJfts*^Wh_e!Kav.'~=b.^A?(4,\:g XsX5)*ߌ 5S%&骁izoUvL iN@g̿ri?׵oB~LrS:R&*RPL㈥ȶݐKӌ=ZY7r}d"ەk=$eٻ"?H$n[ijQ+&-Dܱw!Pcj!*R`?9DSSc=[bZ&εft"j /{aZ'}͓)nQ<'0s K:"k B6r |tcm8짂lq 25>"Ul>AX TY۔?#xcfNuE{ $/Ogh(4Aqi[zx)dH{ǐZ8 5 lniZj;V8]]Juɧ7~MEmSZlR Z vB>q)4 (s_P긬AAY"@"ΪnS|eIzØ1 #4HZU_FRx *^G.U}kі%:`Lnug~e{21I0;EUt}j@kNz- ϗI]HBPXå +Ar)GSw#> NyO15#5;Om_i&ԙeQSFђE N@=8$-M` YF~v y$%>H!+ w5T6ƴeN)\؇wVk_ʆCgy06bѰrmD\sd50M[D":]he)bPb^SgY :U2S@ZPvb=6Aqu _M8 E25v YXsI0ܮTM2G 8[>F/%\g(pt3n?0"iy@924@z'48g~P/ߋ0c&hX%@I 2Q|<~gˀ}w^O,Bޭ%|o 7#a83Ƭ m*ߕ" te98ɘY}8#}ebJO}E!<駓[bCӤ6Dph+h(2iY5BJ]j?Ga噚i=~s!n'5Zp*aB oajF*%/`Exu'Ǥpae &h#EјH86`бC^`z''(N M)+IwlZIᤝ7Rl$4rQ_"w\~5׀ $`Z25"ZRlƖO8*-?7|v8\(&pzgՌcߑl폊͉Y7osj/ R ך53ta?-GqLѕt vE6<ڊPfm_ PL'q2’PB-3P*zӧ6!hedU^V}U~+ ]bck!V!rʢU˶4Ӓfr,,/W2^~2ag,$ܑbZDLd˓AIӻEJDr!cV|EԉP Zd"vh淋8̑E!5diqBfX:0d#6:R)h*cRi&Xɰ2|/"LSgwgkTز(%$x ->WFoX}yc3d3 SY=b/vi]p2y3.`aU@q mFN̫nX~xoޱҊݥ̓C{N#Muj1ӕ@NRn%8oLx[s T Nl4P`LqLTeyq$p *V[fRwh Wl׃4muRA: Řl n%AToet%=VB:YRPo9nJƳHfCY;2f;?Jvlٯ<ðluU3[ڳG~ ~Sj5֛B_.bL6z8i mT(8Rɫ:Uv'nf^ ̮0Z'"To7p\S79n?!ܹO8pXKЭc't{'og ϐtZl+Q`|]x'OaxL >x,im^67y'mh[($n'Co>?Mt^?̚}9f;dzw\], Rx?3t]e=p0 w$qh}sSg/7JWtC֍%APTSzL3*55,qCY0}X[^\Z$6`d@OS2R nN P5)Ӿ'w^`߬XQUih&G)A4k+u "'UѩEKKMٿ(^5>TeIA^$;GuX;Ij O'j%tWmWCR\G :e'iusaF)vr%Yo$q<$c`ork8!3<ƚ#'T'm<"CY~Rri!? tQAѕC!%Q}?Hf) +X۸Ѡ ys`&qy䙨%AznߧZYB69Ti}}uqEx,!@s:pW૧\`5Y Y SRDŽ1> #wQ>I„)0MwĶ&%8iO<Ϡ_NE By' X?wxpzسnCFO#;cB#f';${QXW񙚲)a,xt  ^ߜz#90=/y |"m`9S+؇*B`ۀ;8x G;Eh:oXaM;CԘ; -<H0F%m"۞cgTynS^!#\Q`KY4n3cs؏m8k^.ׁfx͇A."$ qc`Nm ň[@O{*J b@-EFSœt!c)Ĝl0r( yN'5 Ywɀ  /nIohZh'axaƸ9Sx5" .N&N֝0(~룃G\6 ެrMUvufs[6aTƚ&4d06 bݚ pN5u~>$EO}5QL#MaFDZZ'P$cӗHáU Ľ]y T\nG fx}moz(i`w.l绌Eovǩ,Cj]}_s}=اOO0}*nwI=^_!% E,U! Իο#l֑x$7eτN`$+ y,k?Ι>ge`}Bg58'oi \TNMه' wdVG PWr}  gK3< Ta?D 6+jfvNdAl%vX<'r2ŝ娾6ŮqDbggI?fjwYBUɎ2:HybϩAyF86C;y"cyV#Hez or\WOkP˳X'AjVL~]rډ3k~0&GQ6#F2[8[,KuoQ˦~*T߹uQ%*iki?CB{0jTX8?ŘtV}֢wh:gaˇPTRM%72Ho7O; %Z7O[auS|r<,mqu$^ C_ w%Ng-(-νC}{xXatg֑l4( L;" nڳ~D%aWL%eUydU-5i@xDv>vaoc^{2SbCC{v!,_lsEri1SS;{%%J(j:3G" ,[ER+-/NHձ/BC(:c0yCs bN)4<ʈV0l|oî5gĎ9!@`r; ꅾUU-d߰<ܝ@DZ٣r;4Vef|u_Cp0vԒJeW%7 w' [7~g)Iѱh;RG R38UeMlq 0[p4XԀ_0l-;J>f$j=`ҫ Ѡa ,Z ,IwŶo܆v^E#U ߉f3`G?d5$j/ٸIawrƗ5- /~C_tԅcl[ݭYܮ#R}Mug0LdݭtK)*< b]anX=rvxȆ,'([ZT>%'s1: -bpjTyWO,F|=5^9SRC#=Eiwd*~ZnP/TٍOQװa8YMo.T=D̍%I4Y['.7b* u#{\Bj~Hne싪k]+Z\E \َ~#b.;_ @T5;dD',$Z>š7Qn:m-JO Һy>9;ht!a[gɓ ۿ" !mK',~|;N'K&x/Gݵ]A-}wW ;Zփ*Sh7X.~?^TPl^/;Se']0uxm-)V0=`EKկ)b>\\m =QOtֱҎI~ yB D>(/ܚ!DCөv-V4f.=㑀/z czg 6B3t>c1Q;aq6>JBs;fgT Y4O-doWvf٠ >?X"y"}&ԏ{X (2Z4|O L\UX)3f@ ygYZ7zXZִF! 0HW]ŗXi%6\k8M]; ҬQR;Dj9@m7,u2më;63֦'')06/Y6"#~(yEK=zjt\:==}+I~i04%.S7uEՋ.3х/`-CC,>FC/9׹0meS2շT #[Uû& s"~W~ij@LẺ)nYK0?H3o \B9Ǿȥ| |K!|n;?X_0UʡN ̳OBOi?7M~[7\kJj7>[RȼS$RT:{Q Hasj0!6F5 B`+$)ޯv.Gd=}QΜZ.o ˜-3b_ҩ)?)2WDKy!۴3vͫH)ے W8&YDE{kb5.NA(Fpji. B>#v$C ,yIILj 0oE_f%eoHa0ёhZM)khں)4ىN4(5HE~>m? @TiXs60˦ O8q-_X59c,\?Ň|Op+^<ش؍3t A5qRF<PW JʌY@XtMz9GYղAqpr2@rhZ$ē{|&(Wepi3걯bƎ+$}WnyTPp "/xxrcˇͥ,c٘CI=.ڽ^ /~.Rꭿ}v.ZyI4=Ys:ydWdrCfӽ11JƘ,;gaz!y&v>‰$!VT[(#'@]{Y1Od%k- wBO}0ӓ>¡?W>t#wt{"݂ r)oqFY,c i;S;e(|QaWfa{k=bz*bM4{nŶ !g޶oݔ!D$Q*q.H o48I7$j_R{kD#p'C -8o[|UQ̟ r{1r>J ^ u3j1.e(y>ORy)D s4|tTHL3`G:PDW4Zk_;:ڙaF9mNu%=8IRP>"n%ymgJmwF_[ ,uV/zksJE~?'<8=eUm oDF)6,*%wxQˣ ,?Rt.@ $퀓&0ȝz"CڟS5&h1~{ɾ7]`&S(_|"%t- U{h)`f C7׹{wMMq!_!h0ri鎤!TdU%=-Y6a Y/k~k!B~]!LTJ)K Se+3.LRĻir:bM*sɽr0#1Ih] .Ck h#&r7[\r&kw]}勾6kw{J͸G&6tj$cKh>nrWBBdE$ٮd玒~d_n+ )B 'rtHTOa`([n;%&(Z=Q~'auC(gDI/=buI)j֯lAJ_rY4 T@ވTJ \!8sҹY](zҿGw[:/ 1dMq&U,p [Rb7O-XT= ShVSKM)ŖsmgS;+|oajyNyeaWg —*4BVkt+/O{QMl$va'^G3qav#X(=%7$X=iU( Skw^;thg&#gHRw٬D\iamݳ$ Gnji=nxLm|9Z4^>+$T l[SIɎPwn:O#k3ܤ]?)vC႑]ܣ>8̬f2iT !KmhFqbfCƹ9|3I%3DKXi,V;7*j@&<.F_<oBVTIE@69,Ћa*qG)ۄ[/R8vix N7T ն iPJu]<5F̼30#gEIiưt veK5!q5\(SKxǼL(n kRKR^pNho6 Bs"dM̛sa0X{\^]JAkRРT[` _hSC;t]8"0FCJ;k^fҴv02@w,:LgW3U@L;%Q&fp&d3!ŧ %> ̃xx%tD; \}c3$.[џ',UM3'Ң?;jaM9!:YwLɺĽ5+(hCyv~P^SFtbI}EKOfC/@l/x:E'#)h;UGq 2rG2@&0~c)ѽiii4a#eQeՕa͡mC<(Yna.SZS"m 6NT6:\E;9;&)9i6t 9pQa382&:Bo5wf4-C ;VVhb5ly f.Y02t۪SR?lQ8Lg[o%S] w m,n?m`0p^zIHFD# C˄vމ+O9Y }4 ᚴ5sB>g$K`E>h60t]XN*m>X(`: nixX@#Oj<:_9DRݵ6İ~|w.UrB#[6F>+x;ɮPqVA'ZgN5f7fR1xR|!hWmn/U={ (}jK q&τzW63J^VgYEw,ӑ<ݫn&KQi8->yu}T a]5qMǖ $NISiV8~QZpGF1b2zNV'1ٜ;[u;9I' qMQ?H;)ھx 1^͈.o(ۈGWq\0b4O)Ţ۸W*问I2wAN: NrG oЍzn00cCh)ׂZ`ɿv6wO57`xd/LMթ ^4nEr#QNc geL'F5g95(}GE\fVف7]7qtfuM;H3K=m K8[a4炯HmUl3I ^ɱYAdqG_9J&'L TjVX3'saP 7EMK0mBb.JQ Qḋbtt#ZVg|Q(NVâ3ef3A\N;Wg'"9鉵K?⹛`w~A1+Xe EeAv4-ozXi{3-i__&|i"KXAԐ! I=bZ04R`ap |~M2ꔊ.6`ɗ: :8Lkx]P^n\a->7Ac=.)E1Ja&xyL@ޙoNەl69Ehf%;i Vĸ94şb3Oik4 8Ր A=nV3-k6~}9E%{@҂_ӄ7]iI"J.mVf Yo4\NcUQ Z" By5yQl%+3l5?FGTStgvLk5Ӱ4BӏrX\"Y-E5Cf [tu;+Pν-(d GyYsg(GȔxJV4:bR}j/o' ]P*&n/b>mTrC~=_mK +4شkXbpwJynGohQfŪ#Gi=ཚG4"z0AQo`ͤέ$~-W\.\i d(\g`?i+'g A?6N_[*ADOXˡc_#I;{ <рxWfS7zx[A+!X5^Y3?R՗f N`2Z#-E?v+$p~sB5&|<9`?Β xy`sO4&Z[\ylW-z[Ԃ!,邊02]Z"vJ2d9'%@æ,ίE]g/в6.~#tqjεq`XgD޼O;`sC[kƑ oy+K>nJnDZ6F01h Ru䣷$ _.@p̶c0b}ej +1q6E3oR5؎2 &sǑ\P-Ȳ;:/rKMVMxmNTb/ی*ZC)sL64`$iQvȣ{zF]D$FufT^wsnwz>:k#O 7ķo>ˀ  4!_SOt_³ѷd G6~/in1qNFaG;LI.лrBu >1-N`u'=0@f3A'!{3|{?ru`kPeINEk Ω_-sU;lu띸8W @e0\%я`I~f>`J\X 3;Lk ]No/UNs !ۘY3>`S;`YR!D|t<΃H+X #OMG& u}^U\[yM%F#Fkxt:Wx4d-5Q<`Bd\c` 6a)ŷ#t531Ήj@gƟ(֚CmYR]10oZzШuXRGlՓ7熋@ 2Ĭ'МW{V׃LVv 䯌Ih݀a)v9qAhàbRܩOvZqLeiR#h "6[uc|h'\q1OJ̲~v ']nU?ƪɭCdK}<~6B*+|Mas$DtŀJ%kؙ$lT.@<9Fųa[IGldz֌SW/s0'7yB r'?67n͟ުۜ#Y~ CŔd,yZ%t1}YWޟCNwftw,(Z<09q$ǂQw@5^BlA xW@ `Q B9V+ɬkPR#L1#:cySz5n ȏa#9&nTۛAQP+ggu<Nq07I!8Ϧp;ĥ ڐ[xfbmgiYyPd+.<5eQr3"7˜rqlw~d܃t7*9_{SCC1>I5*pd\'Irݐi$&_wfmq9w !d![ɲCOω %<UnG`51aMfM@:a93fԓd1ܛ4VrF+_TmS#$eBMO7Z5/LռܭK*]pIi'p@aJ:gE. <*C463X$ݤbZ,߂7R;F ظ%~z!ۭ:-%:jXd,sӃn,.* -[i'۾X_BwJA "j1KSck=K W%c#!6:6ΥLBs] CŐLo1뢀;bYt[[rh1LxkX X f7p5ri ֒?yV _ĭʬ2a-1lc/ZVe͑V[왅rR2둩7&3~Ig]4c0p֯##O<gVduWa >lHV=O>iQ 4>`~ת4#[Lő[gI#Td/߭> Y C [ G.QATuӹ.} wl z4+3kDB50c-ܾ}r%#_f],Mo3J}U2d90ϔvfڃ}'+LY\ 82"T X)>ؐ‰<& lCצ,zȉ ]Azʧ0z3|)]oDUflҍ&_ڪS Zlɚo_bwp> f7u /BMrxes3D-?!rJ<8Q.913EŔH"B틓a7ҍ| s,od;1h6+Zi^< )kFNu, E5BvUʋs3|~%aotIgdCa8ސĂwͩ?Gӥ>z[*M}'ҠiA(P *uQ/6n{聙I8#?r&z3}t [FE V D>K>|%-!ZRx6fiɐ fJ$*P8F-6YG5Ͼ^+o7疈(ؚ8E3 n - TimƌHIY{X]kIИ+Hg xM^ѰaM߼(|ZsJDYM96HoVGjh_VRPVk@]ԇ$aL9hr-7d1KOy4#+x14K؜0Hk %0L4NHQ`WQ )^qŠI_Z邩ܜE4?'q9O`5#ȯ*Q X/!<לB/6Q ͊KN/HQ{u(apZܻ\{f"yf>q0CG7]4?>Plܻ(y]f_dRrd%i- ,u*|XSzn"hJW*;Z Msv):=Zl p,QwEh^)G;6KiVRw1"0rI87A3@e#`6Mh%fl_iㄹ> Y2*Vw^ XXm_44Utaw\*wLS \IK r1%($:v6ψK).a߭2;NmG3fߞJV<'9ԭ}Wg('Z+.Q**TyUZw!1Bw5~ք&2-#cS^Q@eǛ@=ˈ6_YHP)(t͆b5ŗ^; H/SћUvlyP!Ac`rX/)>!`#^1@ m :\!/ƐQg?_8IIg{o pF:́X!F0J=h ]1jKmTxmWAla6@6IAZcъ_:Ia-OH\ÿN R*N\5&(>vڥ ,f՗h4_kG {o?wnmEZo@`u%o?B:4m\('V46L*l,awRlZd ھo |ncL٘XJiot&$X-RNn9O;fbK4+ 8,.ٞ#).'E~ׯy8;>t]h'iP!RօA͢PcƼO/&xs])0 0vGl$$YV=[WF-{E[.wYqiUpI,w^Ϧu8w_[i Mo7Ǟ}D=Y lcMW bO$F 4Ũ_\əT&̧#t49:.'Jz\њSfG7'YkkbY AiE?==6//W"-i` ϔk8? nҠE@NɷLm[FPԭL2 gt`y6 >[PaU=0@f|mRG%/B ԋ@FHm2Ɣ$.xı/H]:! 7g$9u:Gpei)a%ot:(S 4nq{i9_|AUybk7>=h8mkHeG/P,Qb_slVoJJy+ 桉_\jMeRgqp9ЁyH܉ W#@HY/R>Ok5 5=.HpV\0(>bPz<@7AY.6Z:Y __њݔ(TdAϘ$":+ ޕ=nYOOU}J}.2_0#jE;ItmEC$kɈ5 #0?Gf3ai-6I3 T*AH6r"/}_lyVgg{(QN0@wmiIVt!MwVQ;(  Kt?a+f,N_[_ؑ%[bT[wJٲYȪs=S %~`/XW<> %=4/іǬw <]E&6F\/lڰ?][Z헵& џLiK_((cVxdW]'M< +*ew"v&']NWӪ 7㪨74@ *I`i rvPVERQk8dqVUʽRna)zvt _`L'ȑ>IHbJ~XMbU)qSPˢZ+@I{ jEرƼMT+?5:}ߵ]I\N Ǿ QuOv- +~ShI6=kP:^_HLt3"gkt'r(wPTZU}bض.[9"!'gT<0rc~GފRY 0IZj\F7~F]XFKlߐMϘfە c/A17Қ:/CW⑧eQ w^ #,A:ȔDF3 ,yCto VW^hGu!^nɋ[$naW\ܽjmQ[yc$z%v'i\ ^X8&Uٕ-Җcnip]o,p,?2d|=[n-!Nv?EwYx߰C(5ra2] .3 v$ʒq ]aR6RQ#*ѬU"nk[wO%Ut4OT8,lcvƯߍX 2_AZ[J ._k@rb_w$3~{'Kp-e6\[+!u~ 喻ɮfëzY^Nyÿ B8.%AɷۺT=OR;^ ._1 W2u.Hz*/2MOT%ߍ$ǽ:vvTd- nrݕV QrB P5Y=Bs:TeLO]m%Dz)v3Q-X>V!R=R"xU|EWt(8v?]Bs Ag4XJeh Fzx)؃*dPg⨗8sXy2z7쿈DH8EDb sșO%^L~O m[prlX1կ/KohojB W.(!à8?T348uԈӷR{6D?+ :̠h37v8ӄ_>#EՎ#E35v+=H]y7zczE;!ٻBUʊ ^'Hum WJQ0G5Cf^5N]\I[=B"#/9[bjBͺ\ع*cWۻENEKzX#+[jޓ]@` 2֘gYE ?^HP`G8i jl-WkOvu=̶ 1YuĒrӑB6&$S&tm6}Z64)}$)oM"X60"W?ڕ4^W>]$18ޚ%yX؝ Y}#pI]= -]5Pb}HcPN| `M0/UF'|#jyn7S=)b'lzD>)+T-:˭_PޡջKٞpbUN:{/_8RقNd RkipJޮǮK6or15m"`SbdsrK-'ρ%s2-NODVtf[wEY"D6]R9k=[";'P->' ӼԎitH,P w&3좩gR(ozKף,u>\,65m7mcc/PW) SpՄʌQ#ƥ̃4[SLِ|s/$O^dIg](Q:۪Љ  9 mYY#W`#as G?~5ʛVRޖ[wDddVVi?rlRO;0?Nf[ srl葏ɂ xfi`ga>OTP~.IM?.\;ܜQMX~+e@CiTHE~o:qm\ZHTxhG((iw+%cx):q~ؚ:ߞfA,w/oG":sx!hj5R2K-gY H}Lagɗ؀=ӹԅ J^ L:v2xclj/n¸"Z3((XnBJmi);¾eK;s!~]gи6_EwLfO2}@5w.v ǞC$ K2*#pz'5A*]x ͐wt zacNMcRR/=LF#aT`R*`` n= ,Xa7M6p%S6biٗh^^ Kk9>/kr*iv_#!=d?0@47#A>x .CzyH/8fy%~n#zMڿփ5̒!ۆϥ#oag'ԩ/_Pw)0RW\)WgVߖހ3-͆f6HUlaf5UԽm#Չ-#$ 9R=BnѪUZ[FbF " : ,WDĠu+}\ .&XD=l7彙ΛT MPNauct*g,U#Eٝ]ԀCdJ11;Ǯ&L+(A I e>`qKmFqTh-ej){+bo4j 㹥q]H˳k XyM!5UnHf2>{z΍ e,2,-- 7WQkeՔyv敖5mߪk"|=@06yfBGj&5VΣp^$hlX^d| W0VwJByY%p69EUCT9$FBckEqu{f'tY] kvNii}8MAj.p=TK;ښTը:)iR P#&}>%H#jB Z~5o юElgh =X6W"@1ka S9Soj@Tkþ͸㕢b,~mbAt4^ EOU9ol!o ag:_4N{z_Uj_qkL({0>?rkTC̴d=]'0Y.R\3y8gMI 0I/JɵsqP=Rp4l ClNnCv! #TĊf/I`4-E:x?ft{ IMlc%jkC=<>ڎ%NpנWd#iQ!víppHGF2w^@ ֈZC;y90=:wne) rJ3]GM/|}UpHf, pÄ6OKZbsWl Ig CZLNhޙ4C8QQI"k8q&1Cpɋ!NUT RWĒ}~ k imv\ר4!4س7! *A FZ?sq)2wp'.]Fa7 8HR[ okk-`g5,c'_WPDb G˅ p>elB c P5YUɓD1q<J9,ֺH8ߡe'CZ:Sl~9 $,BOs[ƴ,7= poRN& n oKpݩj>QV{=9'mL-(C( ,~I4 a\ S{ؙ͠ THܜE1[ڦ/vxŪuWkPuwÛVG UoŘa W1tYQ`9 F&Ac ekɃZ 6 Q9{ѓQ-.е/2A{TA,XS?o;GcْE '(C+*. Sb ; }5S`:O4 Åb&Ү; ܴT`+<4{B^u,P|pc+C; ʳ^Q' \@;d祪jpL=>Ija+h 08!iNHMX5%! +B啃9v#,k;Cp01Ĉ g֏FAԻ>nhht R%/Cڮh-ua5=Mw 9ߌ(|gKL^g2K|Id #}])pufY{EyŅn9YW OIb/ hr}ĵx i{>1?XKĤ~Ԏfek I .Z^mEn\Sʲܙ"WHip}~רkMyWZm<NDW:8,oPgmt!j؈ /A}|OV!ieZVEjzp װ ܂0"Eb/j<{$ )?56P! 3K %Li>k[!' _t '}d9 -8ieh;+ mSaOdfz-q*jKxd1)>&Ba)`A5FVB P;L,÷IK2x|>6>~&? 邤PFe|f-%Ni>R"s-p*.YMJ TXgzdE<û5IagȸNE&]lBD-C\Aȋa+/֚/O)GW^>ϭ8 i$8I" i3h+΃S?V3z,|\6|^iZC 7i)f>3r{9o rڔ(~~YtO0M^bs0%%!LԀi62Uק_%nO^C3?J#H!t9 B/1`Ay` +/ިǡum uq25Ph^+OvYS22 zͪ7Mͤ& Y6`ΡJ yZ,۠DŽ2M~= Lr=oaib=.X9i{[M1mS \*$ *Ccch~Ny_*M y'sI+}{t|,9>.㥕ǔE8<9r %&Ati3|"4]fP5}1{ݿ܆}nB'zxm_ 9:d˱06}CTMM[f Nψ77HӪNh]m|g6C?WkBuOd.9lA+W`RG|ұqQe˔F+9Y-3um2| ypbQTg U3|Yo%"hߘ}|[ ir7bq`%PyaR 4'A/~H3vHoTwv6xDAh gt͞y9䭳y~mUKx[&in);\fAW+3Y`|)Bj#..$^<& n5kaJK@s_DM_Nvϛ;?״yw"?S/ LbZ{P#eO+nuKîx25qg\v*%Jⅿg ܍(X`?UU-`1_U@6 ξr7}~+疖^:r)&72ĭ <$⒵=I 14!Ն+L-Q=/9{19'&u~MJ\6=.OB`s@LLVo%9p(+/QjCt!x_\ȰCy=)BeJ9UвR4 [rYCMz :QG>닑6 oYb>y\X1jFH"!V }8^:UeX$\?XTĪ~qcb{v? {ݗO1ZDⴃ}ro8ILHˍ+wU:u7x-mWR>lH>,p"O*kG6侚S:YR0,SM KXWc0@II ÍҐAXZ>(<ߍ5/ptZ!Dn†o> @* tQ"0'Mf$n5ϮnI- -'YekBDSx(>7h|;\}YsEZ2zJDDU?ƙrмkE亀$wI LZ}0]I;`ۍ7WS5u6?ٕ:Ogv~ZT0IןgYZ236f5b682c557de04562790266346bccb90ded9feb06bb30852b87bf08fc9bc974d190b6e06c78ba 540a2732a3304e44cc5d86f9c84329d38f7892cf39a5f9bb3cabc35aa2f660ce53215bece97fde78