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 44 !\< ]]]HOL-Proofs:threads=6elapsed=628.498cpu=1513.168gc=241.640factor=2.417zXZִF! k%]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb\3dT33 ~gem'a/CDOO"lHc*MLўx1#:ad’٧9r5ZC^f ҎXW6GMۼ)q" lI҃T'}nQGjF'$B2|@U՜p͓%G0DNw "_{"}w䄋6 E3Jؤ;9t 5K%5,Xsؓ1*5"5j{GD($763[LpW#bk V嫂|. #I:oT4叛Ĥ>4"2@sJ9+@Srga˩ԔWlSGxP!#YQwp,zIiڦ | $ ']Z+.V4ڶQ)3&~~ ;;f*ENh* pLGf8-"Cndn^ح~d _7,>RN ^:($ zEق12}E{;-] A5-xG僫ך 8^28Be)z/Kk z^ŲPA}1 # Zס"(JZ&чqvhɺDs{Y T7yf;=ms(tcT -%[JɡyD!5q)X[=M=A#Vʹ/Jt.K4|)tNF2A#eI>F v(hBcp̴1T>i|k 8iEZGH%-50D3-fV2]=5{.E=[5W4ru񫴺BX+7'(P mCR_ފDŽ\_L D.s|q .tͥ=xPE*[i0 J2q,!M-IS;N 1j D4r[$:К 2X >g^!ކ6;@ <2078Єut!8:ys\R1AŝnvcsJ%py`x30gw2锐䨄=C{c3Z (E[/X8.AҦv~XH)9ygl%ɜJ\qmGi #XE7^aw(,g4P/eHkr+]8~EBƙ5)VY K72; (XOhۀڴH&FŸ2p+v[9T|+U`EMD1Dԕ5dCNJv-DJ~)  ! HOL-Proofs  ZL3'*u*ЪP F=P+\-V+aFH* -xUQrkML!C.aqnF()@E#Ty䳏㋩}6 /"Ptl-v%bY*[옗dZڥ[V5#7LWO:v4h:mo0*9ޢ(-2 ͖JTՈ( r'{9GYEoN7hY3?bMe) ''{#־.q! d6lz$fbp|WYMxwM@Xr6Q{ߎVCք0IEQY#Z6 cl/ L>VvFJhCDUV7 ~,Z2іYzW{U&mT]7xCpScFnlM cJ@pl$xl>K: yӧjWt,!k UAyu##yE/XIXy=C|23ijuQ⽺ >gmNYgAI:u:F㿃xO?WiTR9o&*|(Zd oÝy3V[w_[$di3rN̻B;5u8/d.`JQh| w\]ޘSx.3ʨԒdBFVX o}p S+?[V㟠ϙ,hD{}+P& GSN#X*P9i".rR?V`˪'uh<63P0$3@ ìA;:n'ZbFk,^ҁWU%^* L!qEd-zZ픏q]В?K\8 /U7`|@(!\ 52A3>M\v?n(WP@ȗ3dCom}!Meǯ N?ZRTp8B WxuޝދyfC$mg}O5fwoW)RG\GqBi@Lϲ<2FT(u>E҇I}X6̚I桴V9"M 6V!*JHo1\5[e~1ðT2D1a@ [9RCB(^_H6 X^D/Y]+=si.ι2=̚|R\hcx|s@lNckJĦcpKz3ox~#m& *<.XxTś|/Z( 9H2`jXNʇC'!g#vT.5_ *~9S`A"+EںXoBЏ?q7S6QOO3 QQ'(;xR,l8pԖ "*4ّXs5ɞp1V0 L ĄTҭ/z-Kɵ"Po,)&MtWEntl'Z) .)h]͓y!A7h6O,Ia'T 97+dZW(LDKi:?-||)EC\V=#F,NSBQ.؜r(/585>Cz6t`cvG(аra)e f;cR9Q4^l[1T2;k e4hYvY'w䉰7#Lٶz9?v)̺jN[mߝ kz_;;lE4\ &U UkS&}v;{]<<If8nj˿㡈8oq ,c=um%d9 mXqc'QW3R#'-|weG9Rl-W7qW&)={dmT]]R>D&9SWjW>SP\O|Z?*j+o 8%gT0k<+= &s77H_Q:"\L i] (]j'p{ $!ٵ#!hEM!!BgiR1!Fz%Ū/%3 dyPteeiw2yݐs>^H"2ur-j ȯYk!!{F zdoc@&Hubv`c)ۓ'e1sJ! @ ] L>C^$cAϸC C;Gc)V8gB$ IJ< d/{ BA]u%dFX`СկD*Ԃ\f5x|jW|{8,QG ^v)It:i9`٪ :D[Uk!X\1ȣ[ߙgq- A^ رKD 1-IOt 6n49$1,*i,j?B1+d7p4c>QVo۳ t x ?cD\=&3ԣ[/"NH >v=~ ̋AO.eF*bؓzQnEb+gf:1/f6=o8/&LjcB=A OݿpamԈG7ti`ȣf(Ϩ\?v-IjEkV5Q?>iLlX{7W3 -D^H9f46'h{b @{>f]K` ,AmC!WZ# q".qH<7eKu!+/ˡ1t]KU[E('fr'oĈ"`RXHr0UW`2zY<I'ÉM6(joDl`KIowwQ@ۜddIJٶO^'޵u%ib`(׸O 01DvBUΥǞ5Bϭw)ds^#iYulP/fqt Om/WV"ХO^Z6β簕& AL76J 3KvS@)nHD fAGt3'JZe'SPrJBG"5K~blHe FۃoMs]/LؚO9umm',% /*Ja| =_+Cj& !Z͝ȝa*V /n$uJJEFf![/ >ů'uo =Q푅#-ìtIJo&A\-;j"F Mh|¼ GtZ!kV:7V}7y(fǻMhH9ֹ̱5El|38҃S!K&h\Uwli$E4v jbڗzUIQفSʟ4k!'E=?{Ȱ%(??Uuq>g 2D[$gYZ7zXZִF! Qw]ŗXi%@\rjy;g[os HK cS}{>c;e/|6Ud5Qķz@\7>  ȏ: O[%S>\NQr^k2ziC&=׸Z[c9A"%Mq-X;W$k g =&ٶU{X3N,]TSDL( Ż"at@ȧ\e,> Z}g!rdM V&Ri+7vr(a!>rHԆ|`4co0Цc1e%t5Cw BnW@Fisr$IfhCYܐ՗B QHnjw~\Ru % E )K 3'y<l lT {ߘN!迤fe=ȿ#-u5x=t ZxYּ+n! `͋\!b<|^$ٳ9Й^gT' 4Ms7I(Wӌ..= pVz&\8ɾ)O_]Z#g&h692d#@K9C~ Ɩzz5tK15a{bЯ^o-1nb}C_GF)THY@m7?gܘF*JM9Į2'q k]o0[TzאW gn#xևhe+0Vڤ^e\d,]}}r{L@ؘ?j[Mn3wɷoEc~Zyu3'R0#/m|ѲyAA;O$ʄF^e7r^,/lx"sHu$]~)7I-,Y6 v.Sb"eU_ W rh{Ū[lm>%4%Hf$)~4(D[()=ְFҹlCh2W-8Rvn-lVF]}♪P6b t*Vh W m BʜQl%?Bޤ,&́Zg?rkn+ĸBߴRgh<ǜW9@:ۦ?@v4 PzR#XğL +؉wt NLR?ĝ/ oߜngrzJ(} '1~ظj%Wf3v_:h\#nAIJ#D)csϵf HG؈RZ-ۀld24?iKl SN3Ir)[ ̷e;.OӲHcEK*mȌ-xCx?x6J։!EH1%l ̸3+oVk|Xh'$VΕKba ݐ{hKxkHu1NʔO*tTMQ+ }(2Ĩ #*roHHaB&9}D9:)V`Bt͡f esKiZD# Aқ:. n}E!Fe -ݖ#(ۏg9 V=A{ෘO;! %6ND.6:z\%DJMu5B"Wd VAzɘ@筦t] }l?cG1Cjqy!/21M4:`e=ʯN߼HV$6CX`We7 eC-IIGd+:JmzԾR{0R}@p~ L.1p2r˛:sžUO"H\ s])FxpbŸ.$6?K:wo<'$)%)iH<:ͭ(j$~!e"7Rh\u:֪2ij!xIO8nӀsDo > iz :J'ZϸHZBЧ   |ˬl|+4,?xXuϵ;ˇE@ޯ#}h>Hen`Â!I n]eh-:@WW "Ef݆Ў,)XaаJG2?uPE%DJ,:Y=u#ـz)Hʅtp'HbS $[b*$lSTݲF'4g!ھGBX0vPWArϮbXBr>p>?m":gɭ}omtGln{ad"' ǧiۤvu*G,g,]XjS/83`?"p{1KeHUOS_|Oo jgϺ$L=ˠƬ 0Bm$jRƉwZaum\Ǽ8=(iFQQ/ALV)֝隸a7ԁJxh4m˙3K LwEh!ԏ3Nb<c")K'][/Qh?)¾D >:eXؖS\x" |F-XAB;x+4;G\ yqHmÔH]#ܧxREǟn^WTs|~'626!$C W_+EV!$qV$S | Sp+bz'Eq!r2 U祐-ͅ#Hxֲ}Ьh]jghT\Fpѫ g9ww H4,[ p2G{CZLŐ!YF3fmQ>/osou!a_K; A6u~|d'սG2gz:2U뉯h}2Kcn8tX4 < Bys7@KH=g_x~kK$z&9WN_oЖDf Z, KȒ\uGx]>VUJv3@~w)l XNpq2!56u\F޽^- ;58QUfi$OvJ=q+#!w7߾hU?il#R[?&zO.`,-=c@Rțyўg6~- 9"wS? AVY-,.P|^`lUjIb ⽞6w][ tTz}o砚Lܴ c7,sEF'gu"S@bx*s#I͗n]NhC,klK5d~ݝ 8[ؤU',2aW4N1.)WL 8@| ZD*z/5 S,ʾ9Z$Gi@f)W7qTO`kh"D,"JkH }ZGnL=E>|Rc^rr2[,^ވG6I`Q% GE<L1@S|^\Z *J::ە49TFY7~ m?Z`dsfab2^3#m7?u`4ArCLb/̹vR%v'ψR`ͩ:R7T|SKQ(M[bWH殊.^}{d yQqޟ;TnNMB.(>tOJ=׽] Cmӷ5ЛǼJ `[@,h6%aNWyZitF5b:'i}b_I 6vk̰j cWΎS#ЇS;M+?-.')mۀEh}._8ADJ$o4۳cV& _:J4\$Y{)D7Ώ IߙZ]szgZl6J.>*n[9h-Օ2t7hp2Y,sqJc^tj;zY6iyWk8MgM!J]m8'EWdj}!秳¶z7j- bi]_ j^-cB>qhmʨe6j4uKw3^ :,S s(hT=_p g{h =4##Ę*M:=hB>R0 %f"۪7R,*%YKIL-v W S# r&/6"RxDvKck^*+`q7U#tCCg!K@N]V=ԕHIvQinuU˻J-p_p pςFP_/EnlJQ)F0GHðGXL9'{",k7 <ѓs:4Kf6 Ow#,_K 3c˄v^ʦNB7e#ޗ ҫ/VP}ܢ\]53iEU5n(\ xÔY2" (a#3pdJc}०Wpu®Vd0VVb+hmyPeԆZ0mKJK:}k1]הA{/!$* nޖ7^udi.)nI*ɒ߶s&0~!EM `b"v4t1Túww*.&]Kbi~MtKiށN?*pwrUM*!A7orX'@u0 +$mZ1DzqHN ֏ Ȁ,iΔkWC)0NmK>ERD] -r 6:i㤓^T[Fo_F,`ص>M4W L帩C/ܟH=޵ϼ=th4L"ḑ[%A앝g[3ݱԑC2ngqw^ݟ-u'K-ɱ6`$)\T[29Crvq 0╈eN@]w=_,2m URz"5i_υ4[ :K iLNz}? 5ZwVmXV ge H3Bζ% nTtŝ\'lZ2™2Ԣ;ٳ6,n%3wǷ"1/1ӳ%^VA2D"N 7P"A .Vfzv\d1WeiEV#OVWMTC!U -H^Rk_w:yڄjHQfާihͿ6jL.Dt?:I.fSpª7?D>mȵbIM_Nce ʂMcD\gfno+9Z MSuZrPP ܯu~C|/ɯQeakHlx<`^'+Xnn5E0њKrDǵ }{ .5 G,I{RԔ˂>K,!& /l.8 Q7۳& BK?#*W9]5^KA;W`4kj2@[Zԏ.6W;SM}_=4wVU1|YX7QwGI\ڊ}j.adήE0,2ށb7RDb% qϚs)4ߗM tpY\GʬcpC r] )3%X@$,b"6O>R}Ql^p?w = qKi$H!`X.,U= nV26çH{Iq+wɦJfS%jQ^kKrpKY_=Na9L  Oh=@|b EyayEC8fdcv0 sE+TH+~6 Y%=C쥪&C5!~86":/jK9}xql=E*0ʢzo5>AIIXrn|KwֶԪ]K.[kp}"E3-vS@p$ʼn(ENũ ;+A](E_?gZmø-R=fmFFvy &f8Z6Of>Dd n `yZrJTf1c1D6%.M"lQo!Ð?-A1yWii3pXEYn"9=pz;5^:RN*́p9#>VW †(ReI]fH 6v.+t*gPͳ5 SR LP7æD#kA{ɒMYeҀ()j=|N nU^S ORuqPjEHM_Ad]@%J F#'=RDJ?UI4TqĦ~%5+dbe8^T6# @'SW+l,,ctԂ@$E.!;K xl]qdjap@!N.GhMGyCd!),ޜVbQ H_`x W5&,(Lyf~3< WP$v4}*[@'uJRzuw2;5w(ر,j&D'Ι YZx鵼eMxE]HpDI:]p*mn'!XO_pbNPK7#Wd$ܥZ]}tq-p#13ZNLBho~ jھTVfAW>=$.'4S] uRف>POjG 4r;+'Պ^EydƷg Q RIjA FǠ p~{ C1aPĽ,c1hzlwRY`2e!gg!u-hYL~{&H&Ur0"r%TA~66tzRiM>2b((ɗ[B @ e~X?C*}&b7v8b˷fTy߱/*M[ x4b?MDw? {|Pו<8A~ f&ͽ'OF WHi*2L+7mvr^1s&O"2ҽuZ):fg/ŝx=+c&DpТNm>+ސ?#df Ltq@xy~`ᚩBJ_Wc2U v#ycfZ#˻^)u>Xbl_Ʒ{¥v"cbnnaIDSÉP0Wҕݗ3.Q*Wd+k.h%>( PhLӽ|dF@%8[6!φ}bcdcдMl\6eIۇˆT,G&TܸM(x| գK=(m\' m}cಽ\L~n(0W򅝩øl8@278H&) ?"&7fU#me5 By>( u1!2He}|rm|`:5N>ͥ][a)yA' ] gAkرgh[QaCuƦఎe.B;b@.F d#BҖ8bAzKSbп A1:N>7 i5aDps|:xJ(MDQlgo:l>+-e)Sr_>zEa&6y*w+&B*º߸ݴQ|! x>ߘ/̯agBX!ՠ'W""-(FElƜ]eض7{/ H[F/K j qx#7^ v ځ; _04\ #rc4q\g's&tN4qvrt;R޷#4=HXがs͔`+ =UcYT>.<ӽKxc'cHZҏdƶ |cĨz 5yr[hq޳M*'Wk$$W3'-kjtΪ6JX7=L y\!Z5'k09FC-nO/BeqxU⡘b-̛7;es'Y*xɤV/NQX()iBk~buWHh J1m͞Y!|vrd'+#wNDb;|i5!&-˂Ss<Gbحΐ&JZ/roNf܌Zqd h*+iޔůHqU !/Qx!y+c gh%Yc,Zt&N6~m} "aMqp#~n]-HMЄ䏿 L^Y~[v[K0g_ʊLY\Q ĭb>g+KȌ2 aeLh'IE 0+78~뭘:kpώ͕NB,Iyc’}AFdGfF$U!>#G{2hcd)3[{[߹.wgJiZrmOqÜDaAۼ3Ԝ#k5`ϰ*b}yzTF̜%vT2.afQBn aϯCԾA!ч*3cKyr\&Gӫ Kk,97ށv@aq 7Aq%`0 Ly1GN]3QOGiUv<ߜbB= U[碏 .Ev7~\?c w&lAF5M٥*EԴ=D:`#;L+FK >{A1eɠڥwwHS|45+=.J45P]DV 9{{X?I ac7 {.wqHfIq92eP(gb@U7_ucCD||6WAfs̩;ZD"tyLB!BuQhʕP!p}m.5$y ~ J>rB%I1B\;EZ gQZtMKa+C$ͥw"W8ʉ=َ*(0VȖ4BAԔy]sF-Ģz*R,AE,g}Uwe¹HVr}Z2yREi $T)3sYqb+B#pt Y h]iK|}ՇtkuYC h3ea7>w"h8O/Sv/č]38գ/DٶP&\lH."gᠹ窊Imiv:\z"~a|?ZSB(SɼA1R;]= pN Xeq٩LKo(UQG-S@Y^f l-h&sWn7,6b*soZ:qMZuV1b4 oZ}I+cQ98zHu l!?~o{\kLȘSFEr: 4{h^:edVYn-Z]a\ڢ cN 8(D iSCtׁ" $Q|ZpZ>lVDI-A1j~W7м*keտIQq !iv'5"L3J8F6*K $ p<'zʺv˜-wlIֻ^N)^{VˆRGrvNH*` Ts_yI\9VO#RTh@BaL#,Ғ3GSRӫՀ2AEZJ9ճPJ"ȣ7BD3 .l5ٮamlX e;ĜY9xXj>1uLvfN(6kE!13U]X#k`Xp! HsOJ;u:k }*;6y[hRQjV:ٖYF>rNvF.'I(\蚐zwMY=T_+Ryޜ;;jR %+apPv$1BL>YrѲUc+䆩\rsvA<\B(tu'aSD`kaV*&fĵ}1i;n,0&@Ӓ`U+ǻqՠ+IҠPzWV;=1V:>vbG_WH-[J^m"IrfۮkyVW{Zjyt ZKo@( w>V`u$pc\m'׼9QUk J]"V˯FMzOą7z Zۛi`?#&at^.DFI\*U0R ЧsDzhvs'| aܛ)`4ʣE-jtP/y|5ݩzS{WR[ml"SܬIprH ZVQ1G[d4] TcC$\R]vv# ~Ica9ʖzt=;Aj_7lT]ȦKZ[Vf{cq_V &_z[ ۆƳmJ@ER=8>Y8@]fT#HYI3.Փ|6~R\c`un,3aq$V;y7|~[jv^nP'a@N)pf&U]6fcGuPMZrig@B%0c]SN$JyQl^;h9E;6}["|b`->[L>1?Nӕ1YIUึ2g_p<0H\u* 3RnKM'r)ba ĹN_!l9 Ȋu)wZau~s獳[)`qg26B!t߲;bkhDNGon*IsXZ ҏG!@9bp& $"FaܗoCf$OZ؅=-|ak5`A>wORO􉔃ӯoLf!*TRh:?_F(/-LPWrB1Nq&YXN5k ٧VI^Htcae(M,2C,&s-ݭz4((H;`JIT8~ns0E;>3FiUP:>ۨRUIC,؀zVF $'Ot/9| 2X'z;_&ՠ p$7y 8ˎ5KvHo?[Wa]Jܶx GD;рHk,]mB1pוT\MKL;*ù`\GXSRvF']ofWZ:BMF|VsRXAo0ѓ16C '(e- ظjj-r)2}Nzcyp ~鈰q=mQ-7K2X \n`lـaĹ.̖#O{Iv}X %T.΃ bs%l34[37?N/g'oe$g8.C.(ahjif CZZ7>5;hnc4?>|V̖ٗx]~ ܽ#ckNKD-9Y|?3J*ĉ0 " c>!#j ˖Na ni+g vb-:؋vK*Dlvn?^et2S)o>LeJJзgk,~OI{M*ƒ{tT$XdA` Hb_@j)iCĚ8V1(do\)b^n "RO1.#ǭo,@Ǩlx\ssR4ꌫꞝ0YbN37t.k%}Qlof~}{lܒaPto|E[vV ӱNBÊƜIDkN 1ULn!\KM̶MSt&O#-q-L RTdqwsl6y6Cؿ+z҈Cx``C$d6ۋ* c$Ctb'Q Uz٥rr1b™`Y3"`xN5'YP9X!R Ι wi|K,t,όL{ѣY\4q6%q)01ҥ X ~a 34z=0Q&:Qg}3vgGcK;rͬR=gn2=XּP? w!gK$nx̗Rٞՠ݊9Qpw1{5UL CɌ8zJřnכaFrp$0aq (' tb|:?//-U(ڒz4x`c#K;dq3GPfC?Ey$ D0aPIt^216-7|I nb33c_6|+\ǔ3iIM7DUxqx~+4ֵM)F߰?Gfxba邊X{IK*')r=5?v Z8,?rlW^Dw i$h;e#g5ˆۜ(;Te@x," [Tjߺkf1.\HIutW1V@|/mY's#,k!2CE$CťY p&7iZ\rHV}OC rGdC$$ϗBr)I҈a"Bѕ1^Hb@D]2Qi+gMd6 r.=ީm aܯSܼ&hu %`܉PgeUqjH4Mؓ,3S`)eR?t$/9u &>«ˁVm/ eN&fgl(<T|ٗ,'&}a!`LSGNIE}KgwׂK-XAђ"L[t'erN~`jE[#NѼx1쌽v❞Dtmf[ "0SR鱹Ym^/U<Ӷ٠+yJ15&)DZKx . cܪWꡂ)mAG*k?D؂&Kz0J!5oVh]>$\h* JP2.ǾcQOP9VJ-)6C/Zse DQ]|ȇM|wVȹ{^#(,2WnT ]w/U:=L$+aV'Z5s=*˘%iVC\ft(*&?6dRyW#EQgwtx mKcNc$ǒtNGY:a;#C^'!̻ s _C@V w'^53 7<`lRjKT>яd*ŵ5_#-WNt)$֌#C4vkp7|_2,L\T_rLzQVLJQt}TJ}Aeu:z+99ؑtSV2 \c(`n_ie3l%Jͭ3n=700w0RL<,WπKJU+"b'?bd+.O 6R? ղxn1QꖸUm2Ol R6yّggĹW NNYĢ*?W~(?V<n DkH>)i.v|0Os('kX$#^ѡlm5{v:wfw g_KfZ%k۠Ԉ=jpi(tV-c!; 7+?LQw]ZR+fU'8w"'q ]qC[@Uѧ~4D@ jkm/*6@U0HxjW?1romk`Ccȑ QX|gN&<(6-xz+k&P0O Ұɫ遪_ N.8fKoXmZs@'2Ľ7pzjC"@;ޥr BVԁTnmC]& qG4ېTH$J:h9RC98+AM︾ K_/Ia=mIJFspvm{%{`B³ u?yPjA^Ji/` SB%&sFP*Yl٫6¼rР`q:n LlBRqXz/ |؞>r0Jq&5wnpإ.HbvQ%Hҧr3* P0dnw>/DB͘ ҇rRn`q Itɿhul{&8dJO0v ׃1F)=пmsWlgj%R_Gk+ • rlBLoIeS_YtqR{|.F ŠhPBLCa ҟD̐hM19{[S-&O,)ϡlV#w+z,[*>ʆq G&VY/_^f. ^Z.ׂWn9>GV1 GTi:fZmUPL-6C_Q}uF7ڂZu:w%N-1Y`(ءã7ӨT^fCԡ]^(*//Q]c(mvw*e %peFge`tu3 I) {?~ qVCDL{5Jnk iHhLUc>%^ WuOnZ80;ʦ';7O'! I,< ǜ &;!we^fZEBD35Uc## ǭwO%))m3cUTY D$E;*q]rψ kJ$] , 0 +pͷBh0uK&2YkmNh_F|e*#}6/grgR̲I_^ b8϶fЧ5f UEwKRƺ% ;- }2/5Q׷{kxܦ2u1=M"*Ve4)J@Z4U+@暘ĺstaqUaI4&8,߆m1gD}, NpP+^5B!\=A8M2)W/{r~`FFm`x$& _oš߿&OU7u`m*p삈ŽGG"R>c>$2a>Qo[GU6Д O.\ZUqnmk9Ÿ)v|zPzu|ͩ u69`<|Wl l[N6u( 9v꘹LрbZ@w\=0F_\W/1o)I87ԥf 0“3p-6ܘlU< $$)*q^4u}jFhC4/$_Ĺ( SV(PFSe_e]v8BZAx:Bu->⾳:Ї5K5C @^98"_bT!x Q^qB ;E9tlzd|p[`!CFkYp)R/hV^op@9FamO]*Epw{,eXigW+n_"%R:?raoZ~ʌ)\4>P#J'I%-&nO3jYY vg4$ hw&8\Io鬧R6-;0J?@hAaI{`tUH𔋇_j,WlK{>{,@Td&e҃8=HmGfΣ/ k[]A/yhSRjG㏦[W(XO^4PH Pa"$sD :{6[rT8}~cI]#1ƆVI4:%mT/i%4- X4 ]@aڀlՙY) Ź}ݔ*lקt rG=`]f9t}B>_ <<(e:o`(ڭ>~R`Ra T4b 򬠾УCs# =$]־8Rbz; `Z {3~yDbE<@/><1<5-0_fPE!͹!CC3Ɛ:/=);[;5]wJK/Uf.gerfl]0COVp)j@+vPգ ?}}hi[Ae\[Uihc{\߳&ӋђAqoˣa`)  CZ+,8PHl$}5X̶YP~1 ^TnyNg. )Emt>[XA|e`Q&r/̷IBJ/G a> dyj(>AcrzUI `|$:0x ou)$q5ГjAHdFORO cS}1KW{Pïi|b5k$]?#m00maKmRHMi7O^X*ՊU;ncW 'q, y ^ ]6]b"N4_wĒq*/WI`4BkG\##엄:+䎒N6ӹ 4@8P)RaP*{+xj>\ ,]}Vg2E'ބO5F镈|xP{̋|]_v'."IfcRAq4s .@s?_w%Wt9}1ECwJ-MVիΐN}|fI}Eth6 SGH!o@,+Xr;nw}rOდw۞'Q_, N4j'EP2HVۉP(?O):CfWeW9|s+ /쫓z%_( \mPQw?HaMdmgPvI ƕb [F׈/?y[ZhgQ?8+|yJQV=FU0-X(ع{ %1+%Uӭ@ٕ;wH!xع>3d<-ih mwpYzy$opݝm. 1 FK1_ i&,j~o d8IH&HZ4xYy|C=)avGP bYQF^'YדbPx)ී(x\9M{:FZMZP d=CLz *QQiGLaC"crO6 L`Vs {iR"S*#AZ qhXg%W[w,P稡:AQY .S.sTl[xuny`d ++oYQm*{|ri˅͞袠QK@DN42? hqt-sf6 vkq=#9:fU$G>6Ӄ-j!+S {ur J,72هITIjy:~tH /`{=v?GCI6Ana6p̷1.`$7L4n荛 Ń`:mE5XK-0lsoŰ#](pm3fG B 5`R{:>B79smn"Qx⳶xIĆqښyEem:}u\,X64pO*?rxj *^i9Lx9}Yh%3'#Ӽp´󲾧ZwK>#NA (L5ƭE4/%χ$}%_H}dQl"^cz\{YQ ѓHFc">Tw}^diCSYOLgEVԦ`?e{A44'e;d@-`dTݶ hpbU\ST[E@Ҳ*L}gYZ0b9ec1ba2414e18c86753ba6628ccf83ebc6ce7477f3e6117d8d9e81a63ec2f1d36765fb9761e63db99e386d670f44a728c28bc2ad5e12481d8f0f3b