SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 =! D ]]]HOL-Proofs:threads=2elapsed=1084.782cpu=1978.204gc=164.692factor=1.827zXZִF! }]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb~iCmXaiNm 25i؉ϊހ.W{>Ak%!75vId@pf0(aDb- iZ˽ڬLRXMOb9&5aΊ B5%Vre.16nFAu'~l1h+s,i ^OBX1*Ȑ$6'Dž)HExUI2o^Zy~3VAOq5 urS4H%:Lw2;rYP  ! HOL-Proofs  [GЅXkdr4i,7z.mG*i.*~ўw+Աi[VysAX,#kUXj'O9h xq <=0тt eXK8̢`ub˅5Ft[&\ ?[`>u͋7v۹k1Jٹ O=slsXF㝛v!Xz7j^EmXlg.c:|Z BSďʶo?z@Yu3C vJp p'KeYۀGAb([ZsB2TzL5,?̔~ܷHTpt `oWH}փSLMMo&;NE#Ɇ=27/FH ]kTWȨQC1(SNI\ԿVRP"XSI?.2 (hpuu 4 O )I"`[3fΒ`8 )lbVEڣ8JNĶmɧ|.f[. ]@Wdؒd5KoLM=W*æOfeʕL͡MWrhjU+`lvKa TF ҵ/'1ACe4zo^gk j@WRG\2BM@'; =&+Oz3a?VEˁ`6DHOp%0s2塺t ᧢-2f}NCBݣh SV PB{/1'k d3S7WIq7i0!D[DU-*Q1U9'޵e<)a bא9Wnw[7mKvv6Wy)BENp>ޤhf&'o45l2M8Pva{2`VjaZ5L32`> 8E <_9ò;췳iCI}w8`7n8Uۼ?QgU?Eiez! E;'⯟wć$~p*Q'vWM_UW{$eUjҿB(*G@9+YVӫWQ\F:v@Gr-\NAl^灿ПT{ t8Oi 1]N$[3 mO!rA_Ias쨣zPE IN/9 Q>Y/^ I:@[: ?cL0 fTa؏B!i VMΜxeGL+!NJ7[aAjS #Pՙ8қ@ZƀN4ɖse󬷜B:+a]L3=7͈E^f%̓ PBvЪcz:_\1F=sujHoo.},n )zqJim^hz"A=gp㢽 A+Bu\0sDKuozSoyXb" 4\:L;fvr-Z7,Z CA{!9eNiSe\3bA~k)Ae;pYϭrśQ\} $y&f6a^,D߿ꏋ>QpO$S 15 dvudpdh}mQ 1v5:Yz.>CsɅ4H, /FNwJuo |€}]}'ٳp&qfFI ¥cJV`w.^+3'/e!VJ ͍}wh|y4|KYSs\Yo+-/u3 `a6ZZj;BUyKp[GI&v`Z!Y< "shg U̶iĻ(U%0QUZ_z68~}V̉@U/Q }RN~T+1b–7(g:rxp.rP4A6?qtuVWg6xGlAfx(~wn-&kӵюI!&hApGטD57q+Bjs)+l/ti#NL뺲MRC ~6 wuMf |;d{l!ȹ}>;ɟzY9Vm0`?x[qynGUœzi )拯˿zäGjE j@ ͑fHY ӝ$4o˳5tSDС;Ksm6R@l 24erfyOj@wn[SoɖEvXj52BPlGN*DPtOQ-%o)0whᰛ让IÌ|#py<GvB%YєGLu;ʜs岐0ISJ$2Ԁ`ژMҎKz{`cҷ4d tX_G̊u}rqpItݵ/Qp:`qfS1 Ncz"H35j!R.S2XKB ~H$0<&̂%z {8f;)kǟS%zMoGuLB~ox<O g;TL YXӣDv#u|x)-5|$i&^}ޖӵTԋ{*\5}łb7H7Xfj@ZDźE"^W 58G7GZ0JN{)]=K?dXWްlGNTarR% x*DQ^<c5F)J Z֒P% 8*Y2C=ܟ>ޑ6\=t9Ix%A%\U_U-EϼDB2],>yO@>.2Nw]Qt,UQ@ca϶E %kwIJLّh`r!| A$@Q?19k$BٳISbq_r?)SH6f5FC5b NʲM maa,b: ;PpjKꝇpYB K* vsh!4!f-h^3_ 6CT@Ioe*[s>Εi䤃: csJ%&qˈI~Mn7?;LcďsL cDD;]0tq,yxg5g#c3'&)?=^JktaWi\6IqmBRL[͒v (-IH NL]dҢur5>Q:;gGuReU]t$6`ؒjOb1ma"Wx<*WyR/Ӗ+CF6Ϩz,KH`lKYQ>Zl[2ֈ$ A5+8KND`S"&"yGEV48Aӄ8e5ܡ6kP<3%gYZ7zXZִF! ^]ŗXiɟ29aoʼz[%U>EM!!*XKVԳKܚ.ֻH"% 5Rٷf 2ckU1-a\r[/pzJz Q-wtN$a ޘXLyܳt3ȏ7`Fn6g2xKhu2jVa,kCr*VȚ0Tc([G0" 4i[0m6P&ʒ3u{AgJ&k?ČmGw>b*> ,V)aMǀ»̫Z(G\2qrE8+# aAs$23f[ȫ#UYt8gĤyuJT|@\j!]j gtMw/h J_.!p>akR&k:Ii-j7746yu4^4=On0a#ەG8B+X6GFLsؾN]*:|H7ORSTgZz{ #]:od,XRIr:Z@:{a,G7-}K6).X `8ۤԪBZ/-%aP-ߙjlTݸ#XD@g!@WbRd !An 89݁|Wk Uȱ'Tf鉌v-HWˉ% \[0?Ϻ-V 'A5uPZoQh Ak>,el1qvQ[X,*D^VF`Uar;0"ui-a=`!atnqmSVT=# f9z ÉP [, DZ 2gYZ7zXZִF! q]ŗXi%>g稐 Hg[Iu@KD4}k ~*3$ۄ1ړ%pZ岡K8;0b; p<[Wn0s_ |1RR'|BH݃j*A= Ue{Ld)OЇs/]&o>d!Zِ֟Γr?e{S6axkqCJ:To=\;񽸸T" `Cצ3ǵFu.(,[|ylm qa WS~0ڈ  -˙Q[Rɱ6>$"-Iz~`;@זuX ^qWm&_I}*Z+ vtz:4Xy:/)/O*m9p&Z[;1>ȁ^?@$x< OӂLČ@J1zn-, =X3*T\9Moڪ&=ݙ7IqмזRyJ"Z%@|wL+k c p.M{Ɠ7EN(y n4/j5p_pr^!@Ez횭3_}-W[?nd8"Dgڦ=Q+0XS(,nDXaE^uI񗔶qP%l(#X.wX{2Q,^_ {2=Yߠ<&mn,jdрA 1rݤotSRUU YLU#"Sf%t@t}Dm2 Wۼvy了 EZIcVKMc{tp4|UK7|I(G*#$^RUDҽ*1: Ͳg?P$}Offݜ\,GV:H[HMZ` l_~{~C!$l$[E0W3Qp2~H6vUq)Ĥئ(2EB\n)QH!-at4!EF ;fA5d&֍ Ҏ$)TǑs]cX9HPF,1ͤ#ↀIH!Syp8B6qUvSMigL͝r7 r {v! 0RNSg*-NfZ[kͪqxÇ3b)oQ""&H\ECňvrѬw 5y]Xyn[n ;_˄.~fO5W/.Dvǵ3._Î5o u3v&X`dy`X< b3^UvٴO2Q92إ/ܻV/z`i8hțn VQ=8bp\К5vGp= @)WGRS~~ 7m 46WW͠:\Y.p6+L?#TEZF@nf)oUZ#t*uԂk;D^ L]bޢŒ|WˇI9d#>([el0i1 {oۙt}Dnl6XڃR.2^z `u5RŦOiU:.h*nړZVv`+a"y w cINdӚ@Ɗf|琁%L^K~8d\Pܜ5ꮽ÷x'n 6$a`-J\`2A;Tp` 7KW;H:$V(z_q<N\A;Y w%4OL48zL* -BmNn%Js'MɭtZ~.me%aw3'Ps)KxhleDx1:|් 16ִpT6U^t0]$O٠p2@ǫ!dS;rM`I}mwXlDieYIyx ;" GD6~-5*t#;p+amN*Bj~lzH &9@oѪ8-,y'?rYDgr؄Viۿ#^k/,wԜr4yGԢŞ?5 )w"Ƌpp+@0W⳧P~|>BRdk>Nbb]G_NE rH%_\yn Vtm.NN?> i{:~ {Ipn^, %/VjOx @ćwe@ ('Wy\؏ _3R7ǞjF _CV%\Rsy@‡ܪ Q V;W tab5BT舮vءts4VGp=Kf dHt_qAyI] LX$GmpTלdB Ņi\U\1`O``jn@ߚ=p ZA&jX_bO<c,áUw 3#d^Z?@B.k`Ҳ'yͦYxx,ش}qg#cv~\>1ⶀaJ;ׄfkNX'i?C:(^}FW)tEHvD |ݭp)dL #EٱI:I&SV`*ͯT[Z+#sHf{R)Pd1h\&k)is^ekeѝZI@6~]h FdL/u {F+; 1k lWv4=ۡą]@k1$"n+xp7理r O8\i$fMvK*Te< |4؃Z}OyĚ2ϪAuv4@u`:݌F͋hWp)͜9lw:K*а@QO# d^Al6HO)8 K.oR.GՏV ըc+Bpb¨cJ+_È΃#b^E˸ ]3]1g5K/e.2,R.+:8VyVl~Q=8ٮ PǷXGYO]uM:7`LOh;Be@͊q}od;B./_N˛^>Ọ''^~/EWuFgXzeeF3֯t£b!SQRe67&?pʈ:x%;ij}$L-c&ţKP4q+1r@_I#Aqvr,"9Ӛ"0/ tid(\u@S>=]k09j\3Ap]tL `EL"JXa +Q>4 Ճ P/"iLLGQA(-} q\6)=s[erCy~-$jRJ 3JEP!v{x J.<k\+@"5pbK"+P{>Xu?5$.Gr( :?q f07ШX>K*=IilR; N.;]o&IzGjۏW*-;˨&ml( /B PCEk9.X񓢝7)Zb `xK۴V)&3ApKq~u @Qq=Fj65C2E(Q@l_a3Z8 sXGr"=7X1B]Evg^^`WDO>EGJrscڰ[}u0}ƔˮIJۿ7L9PגGR( -,(HB[,xNj˒ɦodV]džOWvV4/tK7x==(ZxbZϧ4 ?#k*a) z!C}NWF6K*9S̿~;`SԽ*ˇLsĶFhѕ҃Y-jOqG^fW%p [q'U!igi VZX3kAa/[~yXHԹ}H#ڊRv{ERʗٻ 'hHMK$(pxK8s{iCv+P>8; %V|qo_sa-DAJ&'V? b _EQJ̈p u8'礄%5<(7 mmRQ |:Oa#wݥzezOlEa`'4q+{r"^e7%Wntݙ)j6yp?ޒ8RPu_ 5B\z/*O!;}nWJrܟxHZZ4±Ζga:q%'p63(I&?]Deşp5`9g@&#(:sSخoa2u~q~̳LzO}{^͵_=r`߇>-8T_Yts %wΜVA,u+D4T|ͳь6Eiuyiĝ .EQ#dˉwR%Yf>G-f1c jj#~Ɯ#ɬB͙6kAfgwceiWמkDj) Smћ›]I%[vM0hI^spzHF"'vwj8(R ]V HJ,\Øg֪r* F#UG4$/Av۴8R/RL"氷5+r5 X\f|jޭYiU p(5,N!;S(lQW%}/:[ 1s?@n{NXii!9ѳVtG Gp6fk%0Y7m~ 1͚S~(2UQ-]ZGLd|NΎyu< yn;h;6(t gHjߪ/GFtG~}xK@ exzFUGl-<ʢqȖ搀*S?*@_A۲?yAMe>KHoF9Qm bMNwaSKb]lREObn}$/SⳚ!LFy~4EЭu)7QsSu} %ܬ&b4~/цCPNF,`pqyHX<$hBSi6Nzޏ~Dn.ah;J]e4#u[a|.RQrh_Th}3K]@7,OO7m8\ $Ɂ݆DC*9|AD ZH8cy"j\Nj_F%K&D/+V (߭ǍWLvn6hKŲ~X}&QXza6b- G\Lc5TG(>"mBs9qYo?=56}z{ #`280[ʓf4t`Cp5ޠz5<?SxM8Sdmq z cn'L!r kll,ylDԊJ#|H@cb } թLJ|Lpfo!VaHtj_6.P0{&yЖu,s1swa[WD&R8%;#@zdC9R<{@A=2Oc^{F?Aa # cXvgs:hZh9شȦU_{%=oj%Ŭ}2`"F3 Z[-5] t".4Wh2moZ^;{A0{{'4H(;_ļqRf8DvFrM_pDo,MjV"s``G8^,dЋy#F1L\bu ;k]wƺ*k [h6}61x,I{𻖆ᡬ[vށ5;2 Au3h!oA0I֭ aNw NT4WHW2Xn*}f/=Ч '~5E(̝[ĀQtk͔=;6\$FB޹tٷSBY]]"A4 hĿfzwW5Qa^a|PX:OWlBc!zvdoΰfsȀn@,Oh6 K]=\[ʃ'WoE JX};rƀ9T2c_3Inc&˴\fy8]e'WZ+glB>`#'993k=yp0`4- TOOƺzH:.)j/?e7(uּWˉyVx0C۽s-V2Iq\*=OQoNףs+R)`.(A`}w2 0͹n$$=6W]m4Pt[jIiͣDnn;PbP`dH,$ӻWj04hj=\: O~.P8Ly5N"8kع *$>jq e&e\:!Aե,5ʣ_.QNDOx&9Dwf֤ 'KMG.IH'fŞ;sI|9 uvT#Q^RIF41gkJY:jP[ t͎F+UsG(2>;'ϯn"'DNQR.qvՆrSlz+Q7xVA:֢3K\uߢmX s|&5Um +=k?Osq"Ủ|?""*$g5b' F;Pe,D|b?^rt-t#yiwp@h͊{Yq9C1">#{r7rZ| ҭzr,ѝE(Ґp m(*q9L*?aʩ0<' lD@9"^(.00orъfe&kC }#h:)}꿮fKd4Xn HoI ꈩ͍l4=?% 5sxmti8m(W9w:@/s)MsdK5 _4E]b|ttfWR@ v 9j3;IUAcu5"VX>[X*O9^}XT-O\OQo 90#L4&{nEw`V qJ7l7ddO80} P[A4UJB,$I0 g{cY#): bX/lkr9c~:EUtmӏ t6&=B:#* jա'Rݧ(OHE5O\I u4%V;1E>gB8, tbhxK||'?gZ=pdo-W`[9{k礀ZzHO/I)ZE1'ӡGf.AҔQ#M6%лvY {RvMh8[= PV}cmӶJ#-¥g"ijAd'D8~[]+RNXX85'/3R0]ZK0qYPi2 @@7UQ,a0}>e"C/{͏ lC\*!NW~"eAW˵7)]z%Cu k4XWvkGis麵 6.j ϛ)r\ǍP/N*hNjGzF7kJ 'ַ::t9W"._'[v,a!8j%YƼ a],;9)#`U/i <$B`܎yʪC0ױ0܏/quKp+]%v1PO

ѕ?TnZ=>fR̍ ~^]di&8rXܬd&E{_)L(2!m sހKƼӭLYF2b+r4ߜL3@تBX^50 Ë /!Q`D,vqa!]^d]<+k=TE .'̃!jZe/mA+!b`őȘkgviX CƘˋ2ou@"YP3Z,?bx,COo9Z5PïG]֌&>?lhk]OuVkn\*` i37ek<7#]dlI֫Sf荇ÃYoFԎdz0>?(5| k}Ai6,uRʛCA)PzF l?L߿$u.ggr呐}Dv0Fnn;`­QѼ~@N@I<{q)R7oҲpX>n ?م9htbR"f3bEFVV`O_ y5|t[xi^$G[<8C#em2:ՆRl>g|ڇ2Dvoba+UA@'&nӡj\W$A,]P~%؇pcBZ)Yjڬe]؁xs*p^th .2jw  dm[R6V~QtK4w3)nW"^2QΧuK(ޙlZ)>DA!緯7>[jq;0]%~ʳbQe"GXCQMNc 0o{[լ+7׏uΈyW?Vq!R[ta]ԹV@b4$( O ) Wx~ ?:*F`4I5BR?[nJ럽GO:%~pOթABzϐ9oyO&{` #P' YO&z]oiR3QX wPm$KjĉIEJT9%L.R(SۃF"DFgR G2:7.[T1K޿}p ɜ^eb ]N6&loGl="\F.#Evϋ?9H9 *aߦ;x iwYݕq_)Ej]Y|vgq0mx r+h" Gܞ)`o4Ѓ}Q %d(}3k{?ȃ>8L|}X*flmYV]n缘2i!x!t2MWv3#[=)3٪gѐ`r3?Y)19{2XK [) Kg"j2Dl:3Ij:|:Sdu5 r9gubqB j:5=`J}vt*A H_E%N*zX])!VA9HQt9߄\}zqgI/GΪc)QQ+6'r#ifǯԦƌD ʾV<-όIp')X/hr"5T|_u^QIb?k/}6'g#u#(M d.X# ~o8olSx}&z7ֈsn>bn8dx09yS%L#ƏV&7-luHX[oœRy<SŤS%-税mȪ|,^׏8Z5HQ΀* I?4NEa11gDoPRVwe߇H|)dC_ "g. ;v*{P_,l<悔œ]X4 |QϲrFґ`:fbU76;B?^1п(ZH}EVmM[duOA''+¥ Lbg/\3!OfZ!B߇t$DN0}%KLRQ<JKVt=? Y$GTl2XhLtf[142;5d$ ר8%B.)ߦG .G_f3 )` #bp}wo5u8So٨[GԜ^mlQpؙƿ4zDXC)q' d Œp}b'(~!^CILBxPK1|4vE Цhi}9(f IYc&`P[^\: ,&{7:=`|7:wJ"+ ,Db2,#|H>%)8ؼɫ`d^G'XLC$ &Տ9yR h6?DnbzRo~t-C+)Xѷevv j2M N!o/510Ęm/z7/R9a0UH8,^/GPjK3h ~2Q#`bEv)DLە{;3 p֞YטwbpASOQ6aơl<:KJ)IMER&˗M]{ɁJAGoB?M}&ɗ/iJ[!El,'twG'4^]1Q㻯?.5ZPk5\ںʛ9Kgt9m"U͉`oUh[fh[1K>lF̟xGBcPWvnn~<1o2.k-ܜMerfitD=hS߀VU6 ~OuNxjU-2e U]]z6\Ѽtjd9K!:L3BQw^Yiynrw? 9=IC&&$HKmzDMM'(Q,{ yRv J?M+g&TBSbvN*䄼/pKƯnZ7WRg`MMF,~}4B K6\.w/uwv!h<,uQL ,?.i}'*0}}OQ;f26GZtYa'Ng MҢK84HL-D#rqIјQ|=`Pu3F, [ڏUxMwH1Ax0^EYn(|J>&HKsBc6XPv|Do .fYEJN"*ӾU$J(pVl vEue)#6z>CgoGOEklp:6\YQR:Yu#"cæfŸ>xzdSB#9%e"$b)@:EPSʑj9H'mko7ªdK ܗ4R6$CӕQx~<|kfF\CZJS+vZ! aNI:ZTQٽq#@1hkhI+|=!)Ô0/8[ b[^wVȴFƝIuH+BIuTJPҲV+89j 0r b5A+z O]#~WG#F+P+c EwaANp,Ogӕ)7HD {9x8wb<PL-RFѸA}.v?G;%m;yCW~qGQCz nZU%0FyT!?DXλQxSb#l$yBv.RPv2ʿr&Ve= /jTDFLPDֲzқ!ù{q|K7REQ'ܩJyP/„:9\Z1!d F7av hCrr=ԬSEJ#k'I7 rǿ>sZYжwk]?iAx{r'E*Wn~jjS jqp/H$m^ŧ4dW033zIT|ˤqƳxkI-z !ò,9Gб C/X=~Kߛz[$!\"HrqPY_h  [Q׃)冠Yl;<"=~`WVTi.h#'ɬynADF$np:+Z3TJοlى[>|kMd-6,fiQN_?aޔNɪy ݧΰ}}6|ɪ q`.<[BЉ~_Uuv;n E.! W[NU[Fo}vv&L8exMX$`8n'2yFQQtpsOjElf5~[+Ndm_=*?b3࿀8`wacamG`͇a4 n!acÌmmn'L X*r'C^Ts<ҭw{Achm*l6uX$Q'F%6gC_8 %w v'slߩS7B/F;!gz]vgo^fKZ#<!P<.`V1,\&`O˰P̓7y&o{Vw|Y`?hN~O>{r8V.3)@#Qq [t8XGcQkwG-N8IΓyP9z 6\Q`Nж04"E#Ϧ=?WjyoMSp;F>6zC+|MK#GSn1BIKͯ\["d3 s*Gk'Bn!aDsq~'j5 k)M<9}qڱ]caG٬:PIPkIl;o-q6KDղV>u7'Xk5!qげG^%ݍKHQ+- 4ZH5+#4No{%a̤c[AvS*c5wΝ'ÊyK:qE-]]Փbz_?7;ZeY\@ l4ɪ!;?l% NČSB1dle1#~L &eLa]z&pTNJ"MEGV^ʹ@J )FWtEb 96?fm72u?:%L` ]f˗n%$Zh5͘ꑼK8tjeU(1XIܒ^8O83FmxK0&ZUN8j-s@LG*8y{9@\,r]n-l`ϑCƕpp$gM{} t"5,yJH-Ԉ%ZTԜDYpCIW\^GgC!~#2p>vІ!a 6vԷ{|ۣd80l 尙 ES+MƫA[$F[1&Ta9}DJ$)?)޺h4xgĄzPUa*)%0Od=]wS8,>>)k':˂3®7 ޟv[4e)B j`;=^Pa]_'&z{ $o94@?-+ %tqӇ :LQ7ZӇ բU.Nd0p̢{_sMT5B_#7m{4VD(a.<ßck1ǏD5gF'Sy'f>w鈴TQ)ÑvLQXX[abfVk{H'y}U;M]j]!̀cU4UR)ʥ{;HMNTGݍ\YT>:Or<ܫ:d*">nBH&3߫^""Hn܌R{۸-R_/~:""!ѱY)eǩH=L"jC<#=p73'ݒt-0X8PɺVM֝4Y 5,0 |ӗ^o{Lx"@ Й`۷fy+օJa22!U=5 u?w-S&[V 臓;ѭ8[lĈW m,;tCEhk=v [&(mﰽ0^slpڙ t fH:UXޙӖklxHdH.Ql{i!IA䯆1w/#D꠺Ah5^_Vo~(G E$ao K#c-K5m2E'Ry3byP44CB3$*AwPI3VX4|(bPtV))ؙ^ []P[Th^vP@̵G7a sM(Zk@~n9W {)8 E›K9;H_x)BL# TŲ]4֑^$|+r *% qt7H*:lA?4v$DEWz)h②yo(# ~M14 *VbjI;e:RV.v%ԪW%ɘ+eg&tB~RR\UX#:&v9"{Y[ 7vs=wl|'q̶AγЎ;X3 jUi>Ktq(XWvw -dcE  Gk5AHi Z6%@*hWp >Mrs.0BE΢b̥VMS[%T3躣G{OsZ)uzz Z;j`iWL;/8UQJyL*lVߠ][m'FhۿyNN(7-L%LGVQשȕy@7%/Z iD `hJ=~Aouٛ^oѭwݷ[|o~QჀDcQLdLH?Ji˦nj*p0LKOǽ֍˴\r)w/o)#65jL )X# !nzs&JtbҸxA| 7fDv2 ~ [Ke.%|ķuj$/ս $ub5Ż>jsn/#MHPT`¬WlUUz_6rFynLkUVs2x&x{q&T4]LP&hP=*Ktul~pZu4d6u %gR&k >QNGs3VJ1y=K :$Hїi!4΃GR?FMAa#7vlb..]%ldE;E5X,Zyܷ.rG'FW/]jxN_A<(`t *cc]!4m0 4tY6ފ|me?p)P jj/m7<^/T_ ?tD''NM6=2ۻn@dA1 wN:}; \WdԌ^I/ ZV zUk;۱Zi|=c_9$/AnʼE;E<APJ DCϸt[YF J`|cdP:Fnⵓ+$s5bdjALd׀h.-So.3t2d 1NbLx\ϝ6*A$5*oK<|F;f+FsSWC,jdd8q@Mk~WOt(\)*0g-[A Us*fjJ`mU5S|˾2񵜒3|+Nj\ ^:t;>lF3 ~?hP ?]4b'qXGMDuF'$QP~3ݻ3a][{?!ȴM[iƥM ږ m51O;CB X퐌lV 4J1cNLz—5eR;)֮&g )L>ϢGdąi,RlM(GYo6*uijZbY4(O)e<@j:U;;U'L* a-^$p@FMy7H/;HSViqe_f@:SqJq مkO[59cv]kEZ-1lg˘2L>T]P Wß5 Jh,. @eUV t;Z@E[QY]% ܧyw_ #8jX>DWsᙴSLk=iů :;+* f9 ՛lOٕB6QF{);w[J=GOҢ@%Ϡ7[C˴L=HM:^pVO'ǘPRrVKAI~幖jnBwk*YنZCw--(lRm$/W ' =;4RiGӎp ;ןYjFǴP ѲE^~\ш: @ze?Qry!lA8W"pTb|W<&L؀7RKԠ'gD=nu 'Kc mZ6'SET\:6 *`r+Q&K.෸ĊܕL78*ΐ#0+00 ^@)אp xgHCNh8oIo'UyȈ,NJBgvI< pңS蜩dMmץjQƽ. SA"ha+莓T]!X#t:ٴ #&♹319أ _c][tȳmU/zOd-̮o/Z*S-܃<^ZL Aug vxf1 xwI8\e<[2A;$2I|FdPWN_~?n/`XrRc #߭&G 琊",,94~r&@IG!SIU8_"hr;Mn=Lttr^KF AɶQ07W1FD+,0~̶ElH>LQYAMp-z1̄P)o9ܱl:;Nc"s(Ӗ9)6Yc+|;5k,--c5+=pQ抿hI#!ƦRLYŻ >~uAl+]ZY)K\tHwU{4,3?;%j̝ [ 8@. ;*>b4wmCR\OU^r %8uk'$UW;x(ےݩڪ-CMӑ# 2SҰNK-\*Ek*|dg C SÏ ;EYuxCM !xe!ڙoBVYX%Jh(?m'R(2 89 %nkGG8~vaP)b, YKkvt9Z ҒčmJS_}/cItC$1e5vG%9#S6DkF=s܏pTf=l(-7fk#B{JRY8'm 2AwXkn{Vq1SYĢz`)ܩ+D6_Ս? 7mT~tb+ ݺJ \64;$2V|<{B@i *\wj#')jg%W icDcQ,mw44QO>K7Q{5Ü&ȁss UV~st5j| K/B %ǃ]=tuP=7 $)wȖG*1v}kG' ~w]hV,dD8</&bOwlF| *W9 6Q&:@^qd,A7^ܼLYeBp>JhgUV  tkpρ4l<,gQ _??VK< a4H7$36Ҋ~?}Cu6M4xN):HKkƫ쳁*mv q1aw>IW<.ZqKw܏L\1H0JYL{K`f[I;RXd/<@j~G X:zFk:~tHb;F0Omzm䇧UoIecD[k~pFOP-"H 8AbwTm xJ3Dn7 piZ|.^J-rWx9[o枣o:62 efb>r)4q-"%M2`] (xm<5rM|u60~h#3%dl>= ~IwIF 3϶5Dp[tk|c,^a =lEӛ`)s9{@L @7?x( d9F=Um}޳u ,I={3w֚tqx'QRԔs6CwqS{&zv,o>쬅ƞ#2 T`]9E U8|O'V3+o)X%)1NkD5Օ'o2a4@&ۣxO_4 Dlz  @1hO`Lmap 41xjr#!ع9v +rcMz `8h^\naxI%i;VkxR}3<+J#tW(-Ġzp&ZCvs"?#Rs$ZRn*w9w NN8(&}y=8m7Px(>[Id`k&DO^YxEl/U÷4tפ%-LPCk4Ci>;1 gek/3.y~r={|{Ix瀊xNfJ&~KVd#jr7T"wݓL[˪ärHEo\VB7ArXQߋ¼% 7)8@xǪgBmDn&/^=%\YBoڟeսM NX*K)s8hʀ36yE&cJz?K @{7b["/ OV򶛇<ە[5o 2K~2rV.%qw&j)u^/} t`ð=0 #ɗ \+P`\A9!>u3ݜ %*%ۨ'J"1".IGJȊ,6!]S]so3Sv,2[O;R6d> 3sIHGDH<ظ؊EJNn5Mx7ji Ӎ2H/ C0R{pԥNәо*׿lHYIthgP8mo⌋T}Gv9!kMGunX"ɣ]ams^8#}pI6]N J"pQ|niA$pTL*B2fP'N8ԣ<4WmJ)G^3۔pf0^p;wq'/ ޭWKv&^]HHMe|1`YA^nCMk>b+8+)jqL% 􀡊ʺlVIKs7U.qz%p+ v?сkmPzCcYΩc `T.oANc&x>Wu)2e~kN`{}GrݻLtO˒#y/c?#¨dljANOݫ[*?&ȟ b,n61b-'4d6} ܕ0,P e2b!0"a8dSGGԃcdDacnT_|KKK7I;?1]_0_4gz^X._83QX,VD!M ogq1ۓ7cgBD7 }d훲KIj|t܍z14s)Lc%G&۩mHyx8f`_"U;>Zd$>3 …NxsNqxe;Ȫr`[s{MVׄA Z^9=Yaʻ#zR,VlFZskgLuoʡɓ@}&Bk;FPy-4Sߝ=i799la[э-v\X|G` dbv*ۼS[f7CF$Bc;{(ѴvpMe s/3 >PK M!؆,묄a@܉ aJ<׸C`|⏓acbdpz4@YH9ρ//*+isIf~^VQn8o9skEYx0){ s#ۉ#A67WXlHKb{77S.p}Q@o|@?bx`#ǒ\U#)̉n",UEvJCdY5ʙ_ιw0m*‹ޙN)Ymtʾ/{ӖP1|) ˉ țgTYF)`A57\_ FKRLd2adZd(+|ML&AF*0s#j0$5[מ]Dr G(Zg$\c ٳ& R5SkPn?UB \4pe#T6~/|?揽'UPhe3;ךYjMs;AqF:MLt>O0SWf0$: 逮?]ԏL^֩*5M\tH+[襝e,4U'M^_yy0 [#471-p@2gT>oO4GKYҫlY #O;Ʈᣋ Hqm9{syfxPƒ!Qci͝'6 GMBȥ.,!ĩ_z2E>4](Vi@%8q%;XO04uz;N:>Iu<:<}a9Dcgu[OѝQa(>D+u!A+H_+ͬjA7uC~d5R\G~?=^F߫`5G"96 {Nn9P5*L6HX=ԣA/bD ?)9o@v@w͎F25# +N+AY<8˨6"F.^j<+W0y zrRc>-72 `# :;r-˕LoĸbiO3jVc,3&߬0|Ai-n$HZ8}ΞE2D+oe`̩lse[%: >q;@YzNob^Ѡa. eH|1-[Ӝ2AT|rLۀ{4hWMCFБC[P[~0"ޛ<(sJH@-)rtKFkq8qMޒd85`>YV`>GrZCIO QP/dE "g%*+v ciԕ>Mi-s_~%3 3PV' fSA_ɷ_!8j]`M=h8n~I[:H3j[ѳAd쾨 bwZSZIPN}oke7ro{!wV_E1tpnW4|*>|a~MZ:3˴;IĪV7"iznk0cZG,Km]]F BQez*7*Vc=Dp'AY ݐhcaI5wFdj>2#KO5[n˯޻HOCMvwzҥdXjӲahBSV}33X ֖W'r1hE@JuZxI0E}VYe\+_oc%)1e\mEYWr;jjqSœ!JO+N--;0]rxQS἟t1smnt d'FFIY67e<_:Z9769K~( ИW"o)rmec*ZɌO?iv h"2$7Ga, )1 ۇ.Il|$&mw@{ƮLazt=תoGVI& }bA庱mZDP)Be=(U13mBorT6<8 N< 2?}/X,.vhʲXC| qaƍF$vF #w|h8DΤ)yN!0t O9:uNj}XSvCOk-{x6;o@#*vP^׹] ̀M/uTHU^:t%ºԋ3gybd';1[=^FnM1:]I'>(do kcEWje+- #*QC+UߔRɄlAomUaݑ3} ) ÝУZ@:B>@\ ͯBAlsUxTUK$MB?kn.UYQ:eTA~>K>qp_>{݋n.З?K?XjQ3YjEklV)XX0DNB_h1zkbJ**^œD:='v+4!^0ߗ@S,%n4#kbV'h xLr($DSQP\@[_q/&t! ʣ>b\>VBqi)b?\>.',ʐ+v^LzLpGh?!N:H55*,驕Dhb䡪J݇*eJY>Lk`v s?8[UyYpm]QXjC`b7L⃡v]^j&ˆ_꓁/^ߪ:N+KUJxTaş{bkS7)nwIiee~Ii{Js%t|pr}m#(ѳS]P{(PJ1 $nwAw-'tѷ͜{^Fso3[CA# 7e9+DGxq~'f7>y~},@*S=iX+!?n]hDR҄t"y?kֺ1xD>I/:GsG3L$yl;3E:I81 V䥞t'':v8˞=S7IjF)$Rwd yJ֍*6x,kU3TR,wR|`dQbR`rSƻeֆvXe£;N{PHM`Ʋ>9]G xKR՛[=^xryU{ F+P=8쀺?oGXS?b\FL7 > u.@0g'W[[ )f! I^4].* N4J~]'?qZݭ1(mLٯ,:Ab{ .h{]8?N>n v)]۟ 1=A_FxM=1oz$)D0HLm\TLU[sivG7P8BRY8B}oVHo~Z7ٲRg E#3Nd?Ͼxz,UXN'"pӌ7Ӝ4@CL]$.*3~Uh@ƝT~UҳV@v+2^/F}'@o"[A&PGqI,:]3t'aZa  и5ށ@?RE9Ҩ&ױ7bS3w)eEm:!~ /;mYðH-p7Ҩ60뚎!2PVYNbKA)D_xU iaf[|ʤ¡'Q! `߂2 i`ry4 `_ql qtszR툿+gbD&ℰmҙ%JU` dHk:Rs0'ʄ/U(I(grtn>#Bi?]w%)@l6Ac`԰ .%}̆rQXsNVͣEj ZDe5Y9eXݑOV( ڪ䶫!7d>(p,vj]j5-ͪeg1w~5+?ԵVcbVr7[ǶO[s>ͤ.kG2;]X \2uYQ2MԴ|Y WHnհDbh ;½p e}ݰy_c,_ c;j0зg#=L6* D:KƔ^YR 7#s f=Y|7k}Mb #EO} yV'u@+il zX(,wE|خU ×/*9NyL}J1u+CԛfdG~J~|W%\Fuz| >V@l b; f2E*\Դ}Uπ5 aX{*g&r$n:[m"z8ï|=bpU> (.Unܧnm5? 1g+9mm%K8 GvA2:q\!(܎?L_ceZBMcil(< 5y7q1h5Xi&\-(Yu>#w=$41m^*̪;x:e60eG3> za$i&M=۲s'Zlli%Z)yDr$l<'NǦ ~Pnn34l91 t hPS$ޏQz1g͸3[hC0KH|SK+DRſ)z})"T! s}:G/z>UޏFM3lWZ{5=^SaPA';,/",i^L=hTА~#=x(=| '>3%aM7G#?6gY*izsztW #3D{4r0axSP6JzR_,aQU $-G;FŠ|bFxW ;q@$Wk7֜":ߕOdexqWx6g햐n&괈Ìdsd.Ix1b2.L# |i:%QͅW;ٙzay6.\SPVSAޡ' ~ F?MuDNN-GJb~znnoȷVH֦%;_WB:ޕd6&3 c(5 bڕ+NgF4lN&j¹ -1Mr:y۴8#D3nOH2851?xdLO#+F=X _]يooSAIu=\v"!魸˕; 3t\!=as)yy j.AVHF4:qpq7RA= 1ƻIZQ^:u ,DiPtN_Hg@_/lvH>*aTf`^iE1<:ӂø/Run>G[TeB\Z._2DYP-_ŠC[ Q:94/(Nbr|L@#"D0[Sz:ubSܣpTMe?MIu qqR,Sj,hıeAL0I+yxوN2z?T2u~1֣CEʼnEB,&46ʄ,,UDy-:F[r A **v}ۮ>f_N' KA_?0r~N.|fw9,fasO>&gmuM !F}1,dma1Ҽ勬Yi&Ҵee& jH>:0^3r4-P?F$ G SMc]2?hY)9o)}G߯SykWW7=XU$Հdͥf<AX=ϊpMBvjyݘ쯑 PA#҄y?sq%ךnXo%'|FYv0I mhqM(c1\ |1R~gFD`"[! 梑-RYbmu'e^ܠx.XL0-p f$M3QZ&hR*l\ ;Lєefbj8n3,E.`ɰ&pZ@\wUqoPeϥ)RY`lCysQNmG0ܲj@ F'~E,Ĥuo S7XmX2i ^duv<\tk&7'#z+ |41 BB?`zݓ3XPOZ_,i#@ &ߨHSݢvlm 3u~hӁ B~Dd}@7*^$*UhG7 X K};n`ԯHIF!?zywTJȂ=ui]>sמN֌jULO] `&h uiR B(PgNN6DQv{E*6b(됣&=kI刦^'oŴn$5޺Dؼe8׮r5`J]%\A eb!俿8 Ed؃etAN#-"%.5̌ Լ)?_OQk5;msbN?\fIwza`z~HDtrR{I$cfU%յZC ;Z2'X9+'}RY`w}Dԑ* 6]~/|&34TL$Шԛn=E?&y P4@@XK, j[0p] TU||L_LPrkrC΂fL b̢ӡv" м;P?ͫK߲Rc|(m7A'بP͋S@xq82A?G l轞tfT0Z:PGnFܡcʲp'uq/xr6]~~FHh8&"_z@V}v%,O*qҙb @1f Hɝ&䱚*yxI S|Olcw.wk3zoɽnmtlGЙ'䁽%^:C>e^)DE&yYx\/=O=!X{2 >H]_jǗtލ0oO ܿq4x}+Z'yUߜІG)zrwՒ4Qh[ ` ݳν q{WϞ܋0ُE *2abhmF[Yb- )Ǹ*)Ү ߀PVRnyQ2e [FD"/i$TW]sV FcjCB~bg= ˾`m~ ?b:TlOW.?ێ "q$M4z2 rn/`TsTVYUpCK8iAbZv)M%qJNw(ίERQ­t<ۙmxYsmz8%己] Ɯ'Ή$^BeFg,y~7XQu –  h9A2^xף.]y6G&M-c5nɚ,BhrE8(1 vePPOlCVqG'z}TMo0q*D!`qmd|\~[1x'r.H}C˺>Av vx],!H?*=~D @2U!2L{F\4m p;|ak*@Â㞄)j1Jp#@K%2YA-|ln)632PqAl[A;>Cmҷ cVI,p'p1e1T}9b|pȗOÇ غW]*c n#lYUWZ.,LB<ۑg Ē{:qȕ>d^zq¯m wqam>J!Y4h6"8q>+Ox0$@r&2;SU-,u[tV45{כLN$^zO&MUqp@"<۳v RM(e殂@(plbdɇtPjs NX ~,`(Y ]c*#V,y-6W6ZYY[4V-A΀yzM9C#z &ǔ?t\V*JZۋRa-.Xz~nvmO`F|}!&Њ QqvyT;0: )Kc:UadݪvX&LVayQK/y J{jؼ oHhĝ$c= L<ۡZ[ީc5 tb] jx86= _\_c?X$JٞD dyU_u;b%VON }ޔh5C pMe_%kYwReSܖBr3>%}*+\qHm+> ^Ocן[7H9_BP֜0+dNup>ii vm9BYF`t'do uG,~ִΦz^6ՉD68`BJ ) sƜnYGq} BM[B88ov|E;PY|"A}ԱVuLJxm/DOQ͕f;-xsnXSDwde]vMdVbo}n5+% ^vzbZ1|j7:0'Q577tasOx.l -|gxunz΋Oob/ ʸw>c;5?d5]& {K]r2 ӑτdvnZtzE yy' |^D&2j=Ƿ~cvs>"v⇭+#*>1ުjT S!clG^}9ZiN_FI8>h6"GGܜ|& u(7|`+~mJw >Ut1oN zI_Acri``blt. [ר 4a/U0Q 2U}wԹ7vx7R3O0o5lsOUB䍭bZSh/uut .UCOfI``{u9=) 4sz=}o|.ĺq'*q"$6i\ft6 p*V7nttlj#2[?RԔ^[oqQEV8}Z 6:KSvӾ7PDb5Z~ 5K_GT_j9YѴwzOQ01jĞ٤r 8ۢx~x~25.*g}Wt d_hDX-4io(z64~.A[\ݨƙ,Ѝz AEv!'1bT| 6 fRq/~Ψ Bgsfni.?TyŔj@cR$f\G#Ndܧէx>q<8liDլJ<ܪ]^N:% @s}fۯ(R|VO6VW2«S(qMݓz 2\Kx r坳1򢮀aqzGdyZLca*KlD*="U~ߩLMrZzL ◕a=/(FMqg7.`Id6ئaE7/e`yC6R|ð1P Ju&6!]U!%1Ji~nN6gnm_nݛPv2>eݿ6R1$XJ?ng.f|-w RH%eTo9P^JeEDt:uR׃֫傛 VvYRiy7tB[ 27 7 Y/a(3U4Z#Gޯp'tm}"[NĴؗ;7y婲Eet#>#E#m <е"ؤZ}qr%vpgaL_HCTA!雪L Wr x[?=8< #?(^)AZپ=*1UXW%qe,=30.!o _+bXiۊ]Lޝf7];cBRxǾfBȥ?K*b;Bcp/3H`}~8 a#Y~&PBU@j~p3L Æj%2BATe61L qf \:إ;lZQ?K[PL%5At@zx !j DzD'xz`NbD17lwAۘKkdG9kd%؇@gJ Sw(o&ЈP9Hl#4Ȑ" p%r[6Qykԩȭu@09~w bOgdu,GYeU|sye:̝LH1MAVVBD>^KqVK]=0W xJ5q~;&)":زܑzK2&695k/}dQ3Ӗ'ŗWPs/͜v 8e77OPL0y{TRE*ftp `g 軰9C^<3{|#"}JFKIV(Mԁ`AV淵G N-钟0PC"]'"tY|oD8i$C3sעGgG{rq 6@Vaw^Bcg egѬYfl7^:з Z `]iMxq[@R(fx>P?ze8CAcQ2Gp^ݭJ'ݭDwҸ2tN]ǞeH =`$6|J(s 3Vo;ĻS؆-^BCڷs7$ew6(rց0{as˪ij9Cu]D 1Pz}|9fhu `{6h$#$3oJ>HyZ?Q؜ ʠ?(= l y<Ѫ҅;&Syߧg{î{bc:boO"@{/<*cgz2s-,b FHKL_1l`f##{YpҊpcKc`UJdLհV!ʡAXDםwpF >3栬\ˉi$Z'9z.2c0l1H JJN(9͐J<} r.a!.=R ]\X ȧGoFM?>ʼn)FkvdFW h2.qn WuAՕBmPx0_$ 1aJ[xƑLi0լǙ [FnDgٚU$ [!j^X.ےX/9 %TM-M'XޱgYZ36071854c6a7c38924a564df26b814b49302c16a82ea62db878002abe1f561b243b2cfa9fc69801608ca5f5dc6a95646972017c43c267cd6166a411d