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  } }G|d| ]]Category3:threads=2elapsed=857.999cpu=1424.016gc=126.440factor=1.667zXZִF! &]ŗXf1-/6vRZy_^&ZT'8fB,oV&YBMo ;re99yYR695pA^ 'X"`e !pݙ4a$QZiG2t?010#,P;2:c6Y(i&ŗ˝ #E/j6ݟ|re3>/&QF^]_h-).kM5Ui;&wn_T/9YW=iDܑ6SFji3 m fGk߽i@|!^gNF lN}XQ~2@9ZRc{HPˈxh.ɓ۽WgMJsIaB ?zxeABBC֎2n( 1Q+KnwX0,\ћ--CMrM9򞇗FSu™_bFB&][hWǞ if?Nd}Bb8Jǜȫx3'<y\*I.GL ^Fm IE`n^9T\_ +oQvXNESXx9jF̬FSZۉtVswˤ R00!ՀL]`q<AUbgx,YQ΋KKNP(ӀWc&@=Y*pֵȦ^ϞmB"!dZ85ה$ZڜH<E?͍ʤKnFq0Vkkyc!U`]RD{9c}wQG3M2gGS&B'TuNCe$Bc҄i@b쏞hp-\fE Jg [J39Sk锈$(=P[S5$5,%R 8f;X Ac ;j^~cE1)QbSώ$ȗ]l ;PoD|V)!.[U 81u~ -ȷ/ ]NҎq=*`;r݅&ؒd(WNh kJ 0I`o=QHEyQΕж6oF<[dB6@\C:, Q }-8C(DOU#TiK[t棤 KXA7$(~P%`y ߋ.ȏ@lDZ=5JSCA8Ѹv*G(::Vr^*ݬmr'B׃TݫSl|'7.1<w//^:|hI;*{nJ(sXxA{3u ߧn_[Ą&p  Ηm ٴ>t~FDObDS"q#q&ߕM`Wf~>[ki+o0L% %"` B{de)ʈ{ƍT.C$K§KdRh>wG:hi ?Z\NɶR ?SbЊb{X 3z3'<I C ^Ig4-uwp׷MxWQReRFOͥ*+1+3|*-X6j#w`Ьz27F;)GRk wBq4{Q Q$5j7wJr2ncV;S=PkHP_-_6Y^n_mǬ*':e.uW5 i"[,Φ+l28LeAv040ziU;|cdATI#pqS;FHn21]Ļ8jFyqXTpҞ)5_;뇄ʯfbynuġ]+`aa̻}`/" suS-'uiĊ6ɔ3M˃$biˮRDE>'6:$ :$[>+vt@ 38UK6Ws4cn{FOV *]J4w2?T[w%TKp]^qɜ/z{(ӛF'Zڹ0<׀&'< wpЯּgA {oCQT#c"F۬3~[q7 qn%eަ.Tf6!XR8itByiYl«dP$$:=~Q%<_g:tԝyxؐ-b uL ,Z!u%j #y@)ѷ+l|DҊ:AFH{2-@!mʞ|OP#/4%GF9|S\Ş_:^"Vv3Q*A~6Mc@D s.r,4(??H`#}p)IEq}#rF$nc#.p,$'EU'o9e<{0- i2G(z3c^`@&o!8[#6T0"9FkxC*˜@Uh( 8G&!,CTe Q,Š2% !-{ !Ṍc {L{^K/$4Zu<幑X:Z͉&g`̗F.!G w`,d95ϓCDT o,MPYZz0Y5^ z?A>}NpVFg&m߃YAzȜ-Z1nX WDMD1P͞<].̅S/{f(n4Rx)_92y/v* q1x;HoLzhN29rΪ j+;<=} e@,`q; Ғ#1HbQ V>zxJz"2l(djcZqS\RpJ4͕1NR¬]B9uOj2tVkw:i2\oϺ`h5X.,.ڴwirn5:d2]VvZ,q0K(|)hFb″ o٫(S0bit h|ΟN;PC+푅`^5$s%({BU9ʹK_OoS'ylʤGw%C֨6U> #=,#,U3I"ȘG STx49_0V7>1Yaݗz7=8R3{݀jU΅Uxa}H z`ձ5CZD(w{r,t%{Go*˧G'N%'P1kajnXw3SR{rd4)elsAI:Kgi ݹ-|Z44 jdOs lSMg }npH3XH3 < ezŬ`ը^~|E }b#x ?oޜyi>7[^tCf!zhClTzkcz =%c!֦ +fhd~QQT"W \p\OAH'2PZ)ёh|3Y'y,С$]N} ,p?@^z`ui&K3]ZC;|Y#s:T/0;I2g+ kV[ɲzI{ jmyN;,)_"r>+DWK&6A-ƲIO'l8bUkc;7L0 y gNH],DwG+aUYɝ.i&E "^e! dC lv9F:q_ +^!$쉈0mt?о&A|g|E$ V8_yW&y9xp.{:_a`MIi%.:wZꮙ<]/4Rݩ t2OG~-Eʎ =>i-FJ$)M{2) 磰\3@$g? ]rWgjBy1EmY|byø`nM_c .`4 XtORȗ^$*> e?y\4A2h|&6UX)}g=".n82Y+͹4`{WO*Fc_{df.Qy?t G. FFo9r`|k\בP\ڊq-Q-M4_fTH&ADݺ|? L$B$=Ff:9/zeXTEQz:].n5Uw*gLl")g8AU137$=m~D>4 P&q) &=཰f\K ²p?tcX^X53b!/g{&lݣyQ-FZm XQ;,m r@kmLPfIݤ^a(dUg8gAk#ͲG@m']oHlԖs}aCZ; 2Ndtv걊=` m s<(򠮙`b<V d}9/i-XNc jz̙LVC}s^_r'-Gؚ62,ܪ4F غPJ&,`"iv ?Lg[lb84${uféZBuI҅BHa2СOB ԺtEI'ber"K&oR6dQUudL$ W`Y" Gv \ {QE ĩ_YzXjU5S'Z[ͤPJ'G_כ`h(z.5R."ń~'_\:=2]| ~졥* X7ldWZ_1k|p7& ',>}Jk,\<|;;m@i~r=CK]yENP+yO ӎǿUP{Wyķ5ۚH(+ἪU 8 I=Ǫ8~1;M(t՞^t]~r7XܱZ"YgPa!kmө " G7-^z /\؍Hn0VڵL&8IR"6͇W)S;ҳ_>tJF ChPvT>0P^q+ܯm5iy(v r޳,6u۲f]%'3aCR tD V;$~>ؓzmt0Y4` ?y6jRj3ޭ|OH8p&ߴ^d{uxJ-%SThV^i̧ Gn/ lfka]hU8A+;w=Lhnb n`nBnEaqmj<&"e9WN=äJoKk@,F5R=J Y#|>]x}m_F[xpjoa]/Ic"Q?lB33P5Gk,8I'N #x3efM5Џ֌/0et+Ql7h!z+] kSٻKl?ǂԋ&2[^.9fJX>?-3E:̌ ԨEvb$\eSzON'C5l?<.@\g[uŒOJ2F T] aRs&?z^7C N <ďE)R үFe3[no{vEE]Tp8Ѳsdi<,XoՊ[5APUƝ<ӫkl].u[?K3!){۲t3al+:n]>/EzG"J|f{dGc=+,sj5Q5P _Q*3ތO*-\g`!7}ɯj{.ͻ$l^ks/kNZF٭emB}fOvkNk'W]hsa k%66cI^1 @41NR3a^f<Zr)wN8zGl!m?:cJ=$zdU#V;oEziWcgߙwWahif*FXڬ~~"{UDXXcf\⡜Geٶ2I&!I#9QJbL};YCXiC!+h z}1# ~/Yjr!MHJ[ *5cҐn]zCYM(9 YZ̶ꋻ. C[514֏X}@UZr#KiU+0ӫEOS&AIm Rdf˱C n?sPƮ<ĖLQ8zN<%Tfߧ{q"iFH:6&FAk`SJrjb>.ȱRk]fV%(Pxs Ap!m{J141TZ_e3Ic+ũ[f9ѣeOnz@Lnk"f>fB^V r2r7p7&X>\\DMc8|%י{J=g1gF0#m#b]~$&cv\m2~C%O286+بSv7LAlV8~L$Kk]boŔ)+Tt .2tVZŀɩ.Wb>Jz=?KJU]B̧V!%ooZ|}ż֠~r{"nBcaqcBc }*[=y'L1{)ӮLA=yIf1{ġ4[ty֌mLnoM6g鴘Ϯf=]!];k(y5X睨lchPP bTFwe6'%7jk>ޡi-Lʓ:5Wul<jpYzI-CqMBDQT7cyO휍.g[3d' ^xp )8ڹg_ժNס4kAU'r22t䶗gWk.iZ[,Aq,͛HFfF ^J&~̢9vfh6I}[\ڮ#Ng+p"\{vvJ5 l]͕x+&/b*Qkڀ?(ORz=;EAfk7TLt~F H }wS@a:|uC4E>[]w7퐍`:g1*+i1߮# [hGj**r*c'u <mOcr$BYeH(ݡ;&X@`יѳ?AO_ Pm YbV7irs=o茡,fTllʜd;(iv˙$S+kAtVzJ0вX֥Գ.sJ7S݉'|҃!m0O>|w/!w)]6Mj96#L}><m @:VUZAf9>75HYՐ&prllKt g>TD*l:& jgW + r~"!KJn4Vw6Kͅg[xq>k ե!;>/HB DdϨ 3,K @5 xpj-mg$JPZ1KƷuyd$eaEj]fIXB>mB5M1Ylhh#!LT@a#.90eI,y,K)Уck)KJ~Ua!J %A#;DFX)0rkk8  \*WGحǎ,6n', L0H9rg#0k;o"}kK jp^/ y :~)3?5ca5x{ƢWdA>W8w]=Qٗ;^FC5Gx:Qbkj*fav{.ɛ#>} '_Ju5 |9vWP ]qaHAR˷6u<̌z%'"k9Ə% FN{R贮v?٪畷ABR=wcJdl9 74cA+ %C5a/ Z?Ƿb 5?L y;> EO2;իg5}0 kj(2p3.̩-9n2$*'POGkR1bk^Fߠ2#V p.˅p(EOi\^箰oV/fxy -ed gq+f〠ĒKOǃ4<#V!LU|& cRlbkɓ=Mtߺ:Humug|Ƹ{O kFӖ3E6Xl= |?yiN9,i{r:3THݙ[5K:@ Ë|>cTAoqq 7IaІ}j1%l@ıᵰB Vlm9MGjr5\tEǐ$|Ҵ'4O: XIi :Xd5溎9hXX.s>lZnPxs34_# v\UA7EMiqqOcZf4ؑJsU5sFtf,Uל"Hvc[rV]" nF96fLy3BQݛ-%=Oq`3PF\1[\1 c% &+A'~&=_PԓZg!,muZ^_OrltfW+>gb7-^|pFBHR8||m>{zB'c0< 9 Lz}찤o@PJ |iQ>dAkuZ?'#BTwdmӰ! Iuv5+ WmXW'X46kW$!Sh"4tLؗ ?9B,%<=,6֔l pYtml_9`ԣv 8hI@`G`vu6 +֔ <xI+_,@wy≑;3.^JGN5/}uFѽd6 Э\e:7u?ПֺeW~k~-Ef2Z@ZxI $yz4Zum&߉)>}fJ~ӵ7+л#]Mcr|BŚ /pCRV##έRk6};'bJ;qR+j?_^Eϊ-H0Zti:ɞb`( KxKi0 ?q|ё#ItD%5v|b f]7ˊ4C)9}$$f"C%9,t)4՜];~kik`ـtL3 v63ǭ> srMʲߝQH/KF`ZmYh%ZON|݀$.L[CSmvI>GY 쩶 ,NOmEåm6|ޏnfΊ⾮ʨ:9 7?߰_"=jon4`oFƘv1 s}!Åp A5j~'-*EGݗ7\Ld 3:Tj g! {SI{8ۚ}^mzDE7)@⬵ep(t}g ~'< **A~6wH3GP\>27zH(JKt&݅4Bk9nM D*'֦BTsUrxf 1*ޛЬ廬>1|Y?n 3Hc@v)wS%JqO`)$pEPqFVKǞIӷ21V!S `qV4l!1c+g QrtӨؖ'z85pq(FVδ {3YPFvyBôpu{v`Pr''s9fuWcw).&& ܏VF&>g铱6[3AfCR =5ZPZ9l$R3asFc3=V7"ު Ek-gHN. :MrX[ ;٭ن/>QReGrR6*-u`G&{`@/xpB;trjIh-;\ੁ$H7eI Aqj'o!S nBNo+r4] ׃1QD[-.<[|U\ËĀHFL^:/u%Ռg xE¬_WÏXi]yoςu΀8g(%Lj*[b*h&EMW"[{"TĭOh)L0EwA`T~Iu 6Bb f+Q'~}@tq 8rRGwD)i;?]>g,:;72:W,@[[mO] ?S "Kg#qvyiD6ZkM@wz ]/LlTE)&9BOV)el]0M7ؙt B&#T fGQ_\5=MyE8*\T /<3Xz32-o 0'$כfJgrTr}+(RY bw>QzxdC W/e0Nk6M*2}@<^ ϧͽ WJ {0FNX7@gKs=ִWZ4L-~z4e+ 8b܃!7Se`wP{;Kv/{$NAG}#GS@YҎ[@΅r=H tvG](Lϰ{8@˹5r5Vj `!\1<卛"vfEQ f>ayr~(r*J1 Oޏ慂TTb~BZheUkW 5:;R'@0Fu^2X` Q. X^| '=R`T XJ+RِsXDd#Y-N)w2eyr7@E6OY~ mm<+j(\4*J\5')+%ZY8@AAyޘQB} {JĹڝ&?߶|[l, [-L)_#4Զ-8+|Q6 ٽ&Hg9]sYI6 -t5K'X乽:-HW;u}G0SĢ".. ŭQ킫 wc{*XKY,S?GHuk#|YNz5ys 5@ua$Kkͱ A%kŷV\ar(#c)zPZ(G`tqZ8Qz@t5 5ei} 4D?򜚉U/LFR-`Rtr&it~Xxb'{kNQn䛼L% eAMCBp ) !MIVߴ=^6@R?r Jx~i+Xc_As:~|M„߃?1s[ *n SyW'{U&zlwld*"GMmP`9D}:I]ƕFksa9&A}bP~#=.[6ѯp mpl'G(CnڋyYE?AI+-y*׿6Uh[s;dYI}{)Mh&\Q}j#m{L.~!4QCb̞q`ju=p)X8˱=yu&+P1#r'J&|?0ifqE 6 !a+\{BNlG0437̤x||@Njq#mԬCvn|Tg|qf1 c+Cy_+"HϋQ!<` LS@/¹KJGӕ5F[;45Z% ,꓍#J5r\f:YzG; :[8Pvh)o0 Il5Q ]yQf2/-y'0G2u XnT2t/yqa R}%p\6|bww NDfNgG_|~&dOP5oE/6=h.jv7* w>ߠsĝ2 ekڨζ&Bzd`Q6F~韽o1"ZOXC6Ӓ+IXx:,/=oqy*_be|UH)+&KeƐ0P漞%*RUJ'$|ܵ/X QM_!Gw]i>̷ +> 2ưY+pao" `Spoz >~1GW+mhAb[Tlk<PR (׆iєP!.WSZ=h6u@; iJ!9MaS ZY y,Q ̌շ472~)E$cazbCIM&.̵hO.^)Egd}WPwr sLjf%ˏzK(OCAnp*_MmNk@V7tr@\ [[rE$&pS|e[鬢*vq'pT;c*6y[U]+qTy8C%aj ɀdzNEM3{zδ#"LGsKBnaoŘ)ෂ9yϨr"QDxM$Isq@S6إr[ qswYV˩fp-ndYf-MCYh%u ;* '1Dn)Bm謣1:Žkj181:_c}!Gޥ<\^&DUe$Ww\= 祓_BKT^ |N 2! g>ntm5p̀>4S&6j]APr"d{`f8'W!쌭0^n͞Ds[a-9zMwcۙV9F|;hs'Svf. V,VWq\g[ Wt'Uᴈ-ȒʮB"ldߝğ/S&'87$·H߯L^v v0R ծOsm0cIh,(浽(xe6g ^VqEʠhsaK?]hjqEA3VV! !xvZ!M\ۏz6>݊WrLb3|~5mdMwixAҁA=a+%=D\a]'yeFYTJj# j\ּٜJ4zR1sn4bu*yqlgdy{8gq EiEVPe[:!(6f٪Raǚ6{6:%2nE'-TҥV^ÆXmL%Bڤg?۝ztc :G (Q 6$ҽb ӻ30IJ[F>6@PvDy8ˑ(AaOгϢ/@?1|-qM xHƭbttG#*^<]qSkRpr{]Й&oՍ~0,sp$=  v۝>v~ h@ c bbE'TC<ImMM^3U h4zn- 3՞ۣWk+hFtϦ^o}YYlml݋h1M~J)+*.$ w CV:kE(N`FsW~B6ʅST0sOG!!h|X7#jqQ~.>w,ڝ$zʖ -Y܎7q ,B 6=L[Gsة{mXױuaul^Yp J!Wg+|>J^ԥ8ܡё&e;VYRՐon<,nmy7*n}O(?aFOGFָw\0:KOΈ,T.ے|2/݉#}1h }Y}Ceqӝ 0RS=yd d\`+0؇Z0AAb 8F3^=xx(>i#s"Y/0Ym|vE"< o#&( )㞮~7v 9ւ7#8I㕧!,$[ZퟠI|HB+sY@n$2rfTyN z\)0Ab| ke__~^Dh Zlİw#E}۫/[Sqo ^:R}IO:ƿ~!R\i5R<4wtj֓E!ht)N-HhW-Ujj0k Ɗho0Sܩׅy9üufÛGRXe=[yE zz\ ~٪2&1t\P̜y,OxN rEmQeT&L [;CHft o {zM/4]`-Iugv\W>h*==(FXU/D3HG!ۡ;E`Ucc6[RñLLrcf\v8dll=1_ ^ei{| L}+۳/}xtAΠc+6ᪧTOUАc9p1| (UvC֬%dz$=Yz P 8#lطsX"1FKϧdX1|1lCEıF?$(R]X}ctNsϷoigY"yJXl:4,92EuzrB5n~Sm]&ޝҩLMEGeF*MK5'd0}DOb("'7ha=b _~LͣoCOVf?F;U soY"of!93l4sAp"2m:BMpa ˸$(+E.Ra&L FYi~rj ǝg Kh #nb5ُuu3'͇|Aq5]AV?\ T`ƅ^!}JubYrwDi8pehb_)]2Of=Y/xr,eC)H[GYWKЙDʶXߌ#ʴ+CvP39x_5t~착MYgXܯ0Nvt=!9T1퀣-6MG^=sןp}Ic'mjxȵy$ c Z&B, _(abN .GXa/pXѻJXԸZo-ς_n- i /¯j,JVAR'cdWsPQDå0QlRls+A)CU)|>VjI.rދhp`w3ZZO*g0BY<9 ӏ-:UdB(Y@;-g{ 3*$f&yX\2"d‰eu@3@= y۽TF tu}/&\{ S:%?ev1wl?> GefD_YndYuTz lʑ.*GVv IDyô3M^dPkƒ,3S;4dV{0L҃ G;|՚LOӧ8FOZGR[ 1)ǭɈ;g8:)+Z$[y:_ R%Sb r*@,}awu-qf,2݊ـpzgMJ@_#ꖾvzL=61z>^ : [τIU΂{g a 獑:@Mƨ\vjmW:̓k+҇- lgJ~͇7+LV}T2:Йݫ+$h(da*To'^2,# :-ח0Sŵ W.>t ~$2K4PQ4Y?!%(i}88 ^&[ŀ>B82Wlj!Md-9Ţoq֡ظ}XlyԸ`\1FH#;^V}u[b85Z谰睌M_cިF*Q*&r<ϥF餀J(`W$%u'y}э'1oT\BګfFe@V@'Ex3OM㻹Ӹ:n|^;UxrX7N8lZ%k*KMZ2BO7is٩ 7|B{=DNktN"!1iPbDC )| sf:$er Ah9$Z~&_] TzфvBn}8V>t?p8*=8$spɊp{ ,MqoTliJA>ÌybdŚu<31#4!mx_Ko: Lt2u6|Eټ7>^&r!el{Y9UVkLj AqICgiL^P]=z^WM@ضiBVZU) ᚤ s(+*,|$%*0HACOe38dBTu][ .*ǹ"H*/YpTjZAxBeݷ8 \bY'ѩZ.ge3+z6tX ""꼉b]_dp1]Ky~!i'4UfP"R{\D@S@:Y|S[i\G]?|'X0*v"Cog%BjRXBx YRef;zj5$Xzt @;t:YUn Ѣ'(*CbEw`a}dYσ1dP d@# CyI @~Ƥ*Q ytw9 Qê]>s@B_Qcw0JտrGM3dXoM!/*p|xR^ Q3AEr5 V9>l@.7D6X5rC 7. spBؗQA8Oywdwdص6$-I[;8Ցc2@kgiHFP`%`̆P6xdbR渄+rn0Sb?x?XO";-f¨aՉսmd;SvKLURp, NWy]WG[]x瓳,,͈ 4,7hC(7)㭃~2HLA k8g5g88jP[ij@#JP BQhA<'o>pςŽ#\;1>fLYGEhիAsVzcjaXQDjـ( un`vyS`~o]M06j@AW,=JV-qao m&ՆJ{D+o7|+ĉ&:HYaza02 pIL-â\ Y\gOmPFf\hx 0㰵.q7#e|-3" !H&w~S Kl%k镡AHu} ܩ7!0ƭq'MHS e8m掼q) 'Y0 CFCt|0X a-H o_bBֳj<U}mT16d@F*;(gm' WZ~<34yU1D36ۭ(կl/R¦H|RE1C8G9 vI|Г`k !?+\ />cDu8]dnE+l]]x| ܬ~YMFɩ%g Ap Ftq"RrYL(8sj̙U~R7ħ<#/ ՜Jn1GG|AKo9ClKYM + k.]:Ej<*P+=mro!qIPbusd ӎHs>̢r¥̃wN(B#Eد!oDc`'{E,v$IoZ$4AWund`=gKHWOAN0ͯ^Mޑ'ǔo>5Z0ɗ|®@,s ޤ%kqɈyLo㫨*=Փ }6AW*|1&0J5Z,&cW v`x54k6*.<RdVKfTHgɽP))2k y\?7"ہ^{tynORH|̺Χ[@s>ޥ@GRk"؄3 q6~`CA8䒊}Rs5L5ϴy. rs k~ O$vhhp@L)ҿpj {s_8hWo~!I2KJoܘ nW&[=NSv>~f?kw M9q3q#p$܆eX]`"^a=&&C)\169QAkLI?GqsoXnbaw8~kCbAt3cAz@Q;W[I P[E{wG0c) ݇/&^ZoQP݁ϠPobd$$=Qoy}W. o&=S[2B|*~9]xʩkzL{es*cLㆼ+ldKNi5vӱJgn-Q#҆gA{J'=0lȐXl;2Lͤbjb4j_W^J9צX!^%~abfTKciQ"L>pœBV[/d l>d+m-h-ๆVmDUcu .F-)yKZ囃N&RbWȇsw96EaaNߪigF/u.]51%ml;g[~k8m[ɸ Jղ<ֳ,y-D Y<N?W|h/Q7VbHCѶ4 NLv15ᴣfӻ ;+Q%l?FʫQXq[U#G? ݨvFXkEt >V'XDsqvP ^'%C06:ΖlF|R$G$(مMk^TDB/:,,c:*u@3`&/ 5RX/ /!Ц[6])t JʻuX4Mģ\Y`߳" uԤ|T[|抳 Ts&RqƚtSDHcJ5t;P(xjur Ƚ ޖQͼQ+I'מaoc&*TtTwKS.뾮 .ŗ<A|e@f颇SݢEhVAn"0r$ߘ;օJR (un6x>RhJGj@:vuq齇^}4BG j3"Crx&Y`;%% u$d$lb,ܒ?'<'~fBlOkrs}I6Q2H!{+HdZo5 2^FH O[pv>WPY g]L[AɓTۖ?j5Ӿn2r?P#z4F}D8- M8'Sq?n\ʆԆ\G [Uj@KN;Ձq2 3* U;] 3 F9elc/O̡dj1D_w8u\cpY &!$ s:c3E2H6U](n.lw.Pd߹ht EM5%}jCyv|>, xE!35M {<+'zm̵9n8ܩ3(K"?8]l/uv5jX ~RkK/:}@ԏ,66Zqt=Nڳm7O畔bl!DՌeS)ŴpsQ(p4.'fǩ ʤv_FjIL;wvku ^ #ƵeԺҤW2zN=03d@͗ZY]{xmoG-˫,WXZԻ/)'{m,x J =a-<(a %nTFÓ5 tҟ5i.bXͥ>v5QFf-F\dkY3|ݳX#>2p} Vo4!#YuK&QEGQN@xZSǓ]aEl 4jXA4cy9Z+S_.9n9iFbH۩d(x&rL߳Ab۳P{0o^wN i.AY6FD_;C\p& Vr>bPt`  &o!3K6%6Q<}"NSN|leO4kD+-緛۝p2-gyPek"_uu]5/!׈W>MK_NCB)JUaFZF7HM$ޤ|P9YLbE@PcYAHHP&:<~x(2mx*p5*҃T?2K8ӃlevgzeOdqZGY8)ld\_i.7B 2^ty˸!=%kW/T? hj3;m?ܦ(= H >v %i`WԳLRpߙXr>Pdooﭺk/u w΄FBRWO A$?2WK_'nvԏg>TI5H㯆9BQW 1a5/ݡ Ѱ~"* c$5tPjTXN~;ejȎw\*? j-?H$n*lTS*Lk4kOe0y&' ⚰)OmzYdZc`ֶu.jiKM/䶺>#9[L<.wR bk*0be e9fcܗ!DEނ2d,z'!zo}ITsx }cOER" "~ h_rYVB1vzcyHQڴiNDula'J@:t17;W7$U><ݲgZ?HN%۶93RVFveդB_G4,ʈ6"M@Jk Dw I4 E*mYo͡AEix"/5+4q5fuص35F[VuTz aL?õ .3KLzFۜ)[̸c gvaB$QW)yф?m3#1xr[`P( ,vZ0:%^=Do,%ໆA-x}Xx{rNnC0x2Khӡ T2aB^=6p}b O}vC"p߈5~ص)/OB cnGл.8FČL^5BI~h$~ʆNwpĹ@\K0FViL+iN!b&\HwdRDKi͑_% L_K쵖R#8cMn[W6Fs= ӍkO5kX0vL%/lƍ-4h\TE#1|LMy'1j y+ [RVHғbi`V3iApvK}T2;GvP ࠜ՜נtkKq{2@HC+o1yXFUŕ"V+̪ݮE׳ SӞyM00b.q<(xY. ~+GKC+0@ο(SBIB "理RKa{hHg;2[c^a}0vD;-YH'|t:Uz-AhUG+JOTx:4#Q0 {?:JOh[зrN89zkAԱK@QeǟCeMH+x }czn}j`)^0i} OoIQ}E-IûSRMv͑ >nxdŗblj_ Kyg`q909t=˜0Xn<&k*+u P'_{F0vHmZ_9q\V1,vjGڶ|]P@H)S=}V=p DjJY{ <Qh~r݂p'c'Z~v'o, 沂Pp EHA #q4wo-w f TZL%m}{槯>4Ka-hcxD02Xf%pxt{2x}G3(t EӨW8Z9?~@uOs+N2;O߈$47$ZѥLP]7W Ƣ$^_/Ĭhh:L뿜ӥ, EvlcCv74'G鍫~:XK!B]f+yA~`t~X5!(Vrq {qCG l߭ ׈;nGu#V:R낝~!=?,.SQWaWSqE8v;`0YVQw¾{,XQZ@KY>LɄ'1M]7?ϭpA}mco}|ZHU& Kh;:i3ܕ|*pR4&!+h ~„sŤV~,a8=^LhbO,[4bVxwKct $WsoeGeETG?=k{Gcٜ蛑ۈ 4`K!8_ 7rFy(w҅H|Ѷab-ge.HFI#'_Xr(Rl.:pO7꥙B7^|TCP[_M?~ͼGXfճ;X,oAPWq"BRK8ji|Q2^&R<1a~RFt~!m2o+Z5!{Jpf~&M4kɥ]FmiҮ~8m`wgacU$ YzkGH&u]ȼQ\xE%<7k*a{Vruk.O>ıC}JlCt[=/FN5iFp3i/d!.ж.c<T5H VWhVxK!*sϝ'p|u^:)j|w#ʸR {:Vh0_M3 DϹȻio$`aT6r 6v:KC+T޶%iQg~IP,h?L{>vNͤwHT{^4pʚ?yRTg |#?B'P)яظK.}!OXub?)D6/3 |`5 EER9J*nN^ >d(~VKw\VZ57FEzAͪm+ۥaS~IOIܘs9Nhum*+a2u)ee\N21}_nVb /Bws\׶UFm\e. 㻤;^2O (O"IP~b|a&;1_ DdQ,Zn:NUͮxU΃ Y+?k=KH!cYǛ+o)?t+Up>ѡ61Q> ^cy# H>`qxfp޼NrMH M8*OGZu#Q5!.QގңVw||zdOov kM\NPgB*oӝFt0 t5['maz #Pyt*L!2k05 #C8`+^eJcxR'Tn;\K;ɳK9KYEQWנASߠs1!@E9X'#!DhErMir|tﻅ\qbO𑩾iWn5%kl"=UZUⶶ,J+lj˜Z\+}c δ~е8ܪ+qu"; ̯ eB=6S=\&tPzĻflJnU,CDZ7$ )NI 0)  _cVW)`=m$H(B~YH`{boT0I^*A T&C ,# Agǵb<]xī`&={lK-Ͷ|hd,rǵhpNl+TpOI)D Nȉ3õ{BBfFz+*7I4_53 ޹@ "٬ӛyg+!a~ze.r3sF#1<{ ,-_CaM@ޠ\`iC[os&|SD#IKN; \a>jb<ٰ N3R#8|d $JXQuB*x?²zͽf0634 z(3sԅAH~)Z !)koȊrhB5wu* qtZ ((N+˿<> |e'>(V.Ic,&ZSb3PD]b,Z'A+W 9*o:XCF B\n {:4ɽ-yqcag%mŎgqx IAky7ŸMNq)&uѴb$<=L]ȨFFdrtFI];$TzT`ņ Bϓ#> .~?S?9裏Y"vnn/2jV&d84avOSds^.pj/%VŒY#YgE_:/47 ;^ wj8BfJhy ب Cbha.DyNkxWdme Dy;Hy#/8- 7F)um|p%3|^"|>1թ@'5"<†%d-eX<>ӇÒ=dXNPǚW+DZv]RbEkK<ߦМwFGq1&h+XAՉTNH)r}hY!\#L^{Fڈ,G,i;qzįdkfH]cy+ }ifp;w?Tc$I0e-Lc&RY6tӂtYRMFv_[ZotRyD&TtP=JmX%QHnDO B߰rS,6 l ljY-CH YI]lЌLY$8ǂ;+yXE&Ҥrz,ن?:GN5R; 6_^dl *o4@ӣU:4%$FOP/OCP =EhW= 6Z:[9vzvoib\u6vb6Om2QJY7ޢ&:*nx+c)Xx#?>I0{Å\Uu?l"ܲhчSCicćLOtcr|T\dk)i@o]n~g)hWۧF  |q#)8|[2qcU1,?)TBaYiHg$VlT^p"f0J5idTF)?NH f1BN\F7&~z i;ٜ}Q {MdlŢ>f)Ogg2V>@ufٳ0b o;Ͳg>&Ror_[̤aueTNI$NTQ#Õһ9Ӭ:VN!mjQLLg+3j-vIqYL,"[M|!5)S7!T/b޳AײߋIu-|ŲsjBa=!}@-3u)p=O@,U-z"<Uԫȁ(Q>TԈ9x/K KB=[qY>D3\xbWVdh$.`}s0 )N?R%:M7 4<\aF% t| `2Sgp},+%|ucA^pB30&+ 8$n0~k"/ &݌U7\!XxaK ׄ|~_b`|x^Uic-j$G,ˋ - ږŪ9iJ`9 59[=֣ԅ'Xm^8n AGM]"`·[fqS4v0B+:ѵ4 :o;7FsϦS y}i 0HD<`;.RFDO'iX5Rypkƺk~tzB@2 p|8)@┭SCܧW8P@b!b n2>ów dirH`I&RHj2Dj"0V2ф\X<ؔQj7sťp՗H:JLhSQӮPyu$kQv@3i}+OYn "uABN#LWJӾN"^7!] r)9Iןo ,UUħ,`+j<Eɚf*.;W^XynkEQ\\{<636X@3)cRsʥLoW[aGzYPjYUaLњ[6{6)Om `hhT!1x6+JѦ4#Rzʪ/i!D?Dkۇyn>8ɝHj /kxە0˼w4s8"|Cw%)&wK4?f(K6ɸ6mGpoϕ~N\1Hc-)!T|&(MSMKi,MDsխQLK)fR7\ў_e]_}UA!￶6np #}˪4vZ@ia3D2'i| 9B iif $^Xemٿ&H"kLق4=hWtxKW01! b"o푇6(^{Fq8g~ V!K:lљG_޾+ PĶ_&buS^d!\4YRFdӘ1 oҙ%oM8kqRtص)%5hJ/zjp)ҷpfk5(ٹ UwH 09p{vb6RfG3#q/n!iJn64")н\SyyZztsTT"pl_eԒ}iv;`Ld xEVҚ'3fOf;q1CTVTU:EͶ6Y)9NNҵ` k^w,yVcFt?Вs[2-^X tS j6Gyˏߑ Ix+\.}gwhnx ?!a I+6j]z5}\ U[ *HR1U~aN/L (1zJ~4+#*}hp.I:c;3A׼N@D< Yk3gk^Jjf40W3 >Kb Ql.|LZ$s|ZXaC p}#S9bL$P6.*9? ! r+7ó>F+ºIpAIZ yvq K;A}6A7X}ߜǙoyIvjOp$zo f~,K۫{-;st3b[o.q K#MvvWp>Xq`t ̄i$9ޯ[6a@)d/QLwٲkĀpSAIĹCr8mzEZyo2iW^_&E|TX)TpSwdaUv]:vn\4Uht5j呬[_=Wrf5\7M?׃_'Qva{oNph닥I/pz|~Lg,4ɒ"]67-M]~yxK7ƨ 1yfKbb6T2Svz-$8n'8)tg;bJ-VͶ  VhH)0OcAv/Ȓy,p2qKr2t--oh *İ;QmN@~PHj=SWOYehfb%e $Xf*~p V*I^;>>Lc5<jf%z~_,Y- qNe(ݫ.m׍~Q֪fEpluӫm. AdcqDM21obXgv&!s}aΨ>Rpܧ.c)HH2EZ٧1qbԢ/9mR`;U'aNE/2mo-|VXv[ƼZD6ϸe\v\!6.uL>NxsNеPN$ 1ۘK>‰3YQ3%M% 82 Rҍ_؅#F|hFNI_q':lҪOzXbŔ$@l6 TJVӕ?3rtJbO%7@arzC謬(q|6º?[L%ɹ)| ? yr]n|9 :nGtFޟs7Ɑ(B zCC77wۣ#NpUK:5IK$eP]V$JѰ@<Ye;;-I߻Ȝ@^eK./R3rRgV|D[_bDS뺦oT2G%BD5c3T㗨iQyƓ# c(V<*w 4[^G>'fLԻ\owz_M8f̫@÷kkn (U a q2dW&=' b$M2_.#;$ keW"$*lwN:77/ӡNK<@) s%.;7pV;ǚ]g'c Y4 \0 ۻ!3b`k -:pBKxuB19/+$Vj{ #fj˃!u+6E;P]﫱_ ԭ\oA*M;[0i`8BF)9!ά䃈1>,f!-fw͗dSJPԀ^ƙsnub;UK- 5 U5uy?;ѷhqkNҷݖ$ɿ 6Y-e$6Vp- 1[d .LZ_A*q- W|Bžbwk-lk~TDH+|v,g쏬Q: >בP;p1i"EP# E ~'(NVlI]ՁġKR14NF/&V5yD[_mtd2SXq&jV~B*mbUٽ@MfNbB޵1|KE|v5r mB?bܹ+&G27+^𯺿F"JSe^6ܣW'aj  g21UXԡ~QH 2OMH$]bP)>F(!y5W4#whD]v oiKSV2]VǺhtYdfA6'P Ќm{UOrlem#IXrYg'`<:L+ԙzioxD7cKd)34׳˾њ>xdPƉыKY9h''fnc>g?IY> ,oW{Rf)8|)Π[XL|eS#Nyv?I¬țdRFt2t5vqpcZ0Yf"a+yF^;9:o# m1XAvK<E *nOe;h.XiTdx K]0^\6v s@yw}G((؉Ak:{.@j^H%ᲁ?Y܀t49JSh{sM 9) N% h~rA8.#s1Ջ&J 'C&{=b彃~ 3a29r0׹B˒uJ+Kƪ>Z֧F J7>{= G%8\74WQ,8YqD\=.rk}G>oP8f_6%l*~v!P׌ݞk-A‡o๖޶  ߭I$mR2uQm;ynN)67q;boF 0e]0zrKk,|~fFe_@~ojb(>vdZM@f@i 6$!^,:"me?h"O` 2ɤ \T a;,VDwtZ?7:{~ [;I?pΊ5ܡ({^,|&>7ߜ@Sal6r`9}pTp3ewv1^k<~L|84IqΧHL$a;8ADum{xsK7~\z,?Xttk2(`w(5MUٙ_vVr*1YyOaq))+eǠ;&?~ޱSAHRD2E 3]˗QX䌉!x"ֽV#nf0`,N* XpZYchzjSvI|z{(շ՛@#BiُZb//\ PM1~EGˠGިx8DZlyzX.CK~f'U`MD?-h_h't`Upm^x UF2{I2qֱMb[g{ t/6<֪)˘ΠoEYT "[ kT܅, Uxkw~ZD^vKu8M⨢0ķT@/B]I;ܣ9#5|5vym5PG}c|. SM=up[gV)c%_(;d([!dَy+3 :F:W҃5-^P =?fxs,t'4 הt$M}c0v0`ƼnU1W 9. 4y> W[ oq׽2؉Q(b<`Yf;]%>;Еx;}Џ/J*Qv;^) w(ˏD7bļ.XĿFv` D+>2A9恅0)Engoҫ;{ FqUD.?d'6fao49 W_k沲 cCףt;}_lNbF׮m!dۘw55Xzz SPlOݵ<[}e v[HtCm<`kl8\MVlKC)GҊx؟-fo{܊GEmܪc!{"Kd TF6JדV6u gUG1:b\O8OXDKYG^Q3ڈ[*q_z(`1jǐ#m.`t@C-E- }mtu;FQZ)j 2ܟ&"('yR䇆6,. ] Y;vbú* M`o]B'sr$RR& K. b5_jO%e CA[xzܲy+ =gͪo屼mՇ,}¹KAN΢ (uQr?}RpA'LmcVZaRƥkȺ$cLyY<1!t9y_WBi=%5YI5v᎐߰M?y!BR^݄ k#t@{QUyL,hɚlif{6XSno;xӵX(FŴF#,QPvN*%`[ވ^RsB:M%*t~me+>&Q^8W [pݩTהAwgü쫊QKFn'DAg*053ٝ$ki1 *2W\4sƪΓqT 1_0Lks46 7DvfB^`yUrףգFyKHܡH%`3IkU#?Ur({4?OZAz/g "dp )!OӇڸ?|\VS+3 Cx2%$ZY @l~l nO,mK)4ĭf&@){$x%͠$%ʍM'|'0@+~e$esr8I^zv x)ÞpK px \몤AfΝ*l42)W3nk&!WkG:m4L63z 2;;/b)z#*u$Tc9 Q% V *~ XMVfԕ? |="'L?qg>r F^G*ȓdN˗*:td&\2Ԥܵ p|ޅ̄ō`MߝDo<=d)(U7k(4L2N.oQU4N XN-҈d] HUZQ"Zu4B,\a'XSYFRhRAWA⦉bc+B3u&'g2*;BԲTJ=g4u~~sױ5mo(ގu_!6P-::ݿq _C7J ^dW8L@*vUg5&n,Tz/ vuM:Q!:Q9G4%s!WzϞinl`a/C\H]3h'[TMJEd !-O1yO ,'(H^ٷb H+wǏT'>"Lǣ$rJE6e ^TPJ]KSP}rSJ!8](<ϼ{Ytfn%*rhP&\Z/RK(*a ֕%,/!IQ^0oP&jnZK+H{Mns`e8P:zyv]uw+r4rFdr*{z^&P*VNsB)ە-5(KQw8uY&!"Ѷm#o &2&JdUc7;>:][hF<A?[l0; (%2¦GyfMt#䪉^6ܱn8p?aot0 ƴw'ԷX4$~E|@d0֥!8Z)Ȣ03tFJ!lzT7i5f{he,xq"6nАF!n4=Ţ=ގ?쨸nrOʅ>=P_KiGCTI܁j)lmG :m&383E:5JnPү="K.RY,0xTj8 |&o.U,; 9MBvtU>* ycUdp%YsԥMf~QYi%!Lk I:Q/*\ݎ!2f Na_kYa zތ!ObG"EF봖HeTScr\IdGoi$\= l Yߨ\~<@k7K(.h1>MqAdd!*jېB{vbT}OjwᲳ 3WTBu瘖TeʤXzz(ScMp UDRLiqrNIgVn; :4T!QR}/\rgaθ jTf碪SL3-L i#}%Zb=ɔі=:)lFw\L5" /~drb;FCBhAH[LVaz#:Y@AK>a4('Ry"~tmW6su>C ~rZXNNciImu r-]`(Ph%U6 Uײx;zVfMWңB6컁r&\O+x=x h(3}Ĵ=*ʊaMR,`uαJUFE/γB6[/a{@XEZ,YV E_@ԑUftMp7ZqYq,a9$N5KKRp*1Ey# 5!v.D<֞iVr&w2Y@P~bnOUp}XcSc:Db(!o8܋khEdthkࢮA('є163v{j#N]j=::`/DtGåzt%U֩ }*N'7eSCSm}m '`R8reM{h9$+D'B" 9 3o~j~jR8\wjjdd ljғgo>zs=b&cq֨˝B5w/yj-WRM6cXG{ v%"3j.l0ϖhd Ѳ8ɣJX12Ȉn`L1mk]Y`r|cIt@|tbiJ%q!\ ײGGЕIL;Hix7`;5%gYZ24ba5beabac6f6bae06fe42dc7e4377aaeb6384279d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6 b00b49c8ed70ed453ef127711e671cb988aa30696de3992c75703a40ca67af2e0ea6be8ccd757c9e