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!$Dt ]]]HOL-Proofs:threads=6elapsed=750.944cpu=1743.952gc=206.860factor=2.327zXZִF! L]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbc_$>s*+ `H.(?6l0(u5EF\HbKVLB#$D>* [5>X$oB>B^j=}xiJx=S>*nsNE%JI **2B}ٴtw%Fk䷶o1#!_+(DBC%~Jyח3k'7GL)cQN@1(іULX!6Fv P\AjCfR"3kޝXDz,XaLx9* yR?$ E6X\1v+! <8rbߙ)wu~6X\^- 9d9hef8ǔS?PMĊЪ~<&#,,11%ź=P؋gp^Uݣh?C ܮR2C9_?TeZ.t(& Xаꁅ`5V9R](#1\'6@}?>.*FC^ЛO :+S~ Ǫ $G:F?#ZJZ>hD6LD(*+[1@뚻R[k4CJIGF *C xYbEy'h OmB5?GIgX)o; bQ -1a'} EV)I!T"?gUuk'ШC$s2G'4Sw>ٗ-rʂCdc{ĴxN~?댂GXWLjTKvy9[_zZaS %dVyx9p/uCVss`f"X_ٶgt׽]c]:؄\̯?O`vnb}wp<6LJMW:-l(`cTe4T`N4,=Cdm9UVg%N b"EoЕuwt sH9[էԵZR/io !yl&1]"Ƅs$>(fo ڠ[9C8sTklR"jV˫vJ"{SO+5ByIsm7g|eZQ0 2]K  g$ˉ`{Abz3s ~Y]x;m=|k3l /y`"{^eDL;TpvOSwrcQ<WkRtyZ!h?!I>(JB6o$"D FPw .y??pe?#Zb* 㓁ߥz]n[R+Ϲ)r_~.ԃ?ZnU>XkK9; /{pdyɚ`USɿUfRSsQZ\@7z  ! HOL-Proofs%K͠ZM#a_A;9OGeV*PB! ! 3a+2=z5hޫV;".sl&ɭk3[h ɞyTn7'w ׯryL (0zTJ ˸J#<I;!~Xؕ+C_TR4c& ^/w恂(+A*%޶ftMoFl<{#AVf/-=-젰>{]*>3= ':Cw\=u?,PzW8\C}N)n粣&^%Nʚ:b(o9{JF[vEmV?/fFw&~אWC:56u+če_5`uZ}^|;m9*E ,c2'li7LoCfX2!cVn I8.tĕ\ϵ1Nn  Xٮ ?O9ڴ ,`i SI>پٓohsUM&Ka\>]6Rv?Y[B$^%S{>xF!+j**>^S$8Ba83$*jg?H@wZ#*P]t}򼊰9Zdցa7ўڎp#Thk(hq*;ctR(eW";\g)o˧x`]2pHL ]Dq~l]OG=h8̥)fio*6ԃaJnCeb]6}nG:\48AvE{|-#'-]d?/ެ-2~Eev" fQMP]T)(LQ`3> z PׯUpA2fW 3Ϋ+-oIwYg3\t~4o*wZc i',d$kw"ݦDHrNi6pАW/i`u<P& 1Ï8Ҽft W 9Q˞(`_AqP7#R\ATNEu1.vS%;yהBnOk,t MN4!gv($FFH+*R0oI?$Z= ڰ&Sp&l}~̹2J=VQz"D`&zC?~tn5L/M {~?$ ga*@m~-.f(/ȫS;?lÇ=B$ZSdIW(ϓ#]Age>2D&g{.9F?IfN3Jva.9C}(-w+ŚFF+pP+AϢr#mrA7[Xnp!luf^ʡVUV6a\N#v7WRu % P8i58P0A3Ǯ Ϧ+čZ~)J,je WYH_߁ |qHtr"v{))dQW[f.(Al6Irz I8!y9 qw^f}ƯXAԞh$sB#>lwbǙ)!J6uR@ZG{¼n)'Nz^>EP[pUЂ׭@s<} #Mq_Gۛ䒓[,le]'5v]42_R2=4ڳc8po05JxѸyP63Y=CFn( >"0dcUZ((\:*M`5 <ˎ g%DNC4j]=Z'sH׿ 1A]%\oBkBM$~>w/㦖Uo˘^\shbuޗŐ[@2WA=VNhh w3>x[=[3 <8"4رgYZ7zXZִF! k]ŗXiɟ29aoʼz[%U>EM!!*X`RqCD~ rWQt7l XO1CMlyr!ױz- 2+`ETAhkf\8?j8oWp )ϝ͏WKWhgQmW; Qf\(x;ZX4'֊Qus[}&XA18CjeE4sp b}~XU S־Owx9ism4VKl?i *nLA l'}1Toԥi y"d|^3Ӫȥ隍:<B98%7?#zU]$ш.)תd5 z2w)縊Cаk:J[ǧTD)LubLTg'd[~F-HĂ@;nm~rrvCh)),Nb4ԞʿS}#2wth q# S]X{84>Ip 7R*&Z(oTO'M:; r#ag=[wAJJNz{u)_\$WE>J{H䆵I4Qb+L$N'UDsNjm k"س@\@WuNI7ik5g/# j)A1[u|qYD;]v0_m&"حRD 'l oau xO5o}4NÊu7u/1ryw~xy'֯Ki/˕T7saV%F!3UXm1 qJ僾 %V?Θ+F|fLuWlY;ΏzX׊t|*W9/G_T" nOEyIt< AƨtYua4;P8O ͕ U erυ64eK 1 B6M,/V0f{+ݧ/ nψRw}?E,x˧SQ: 1Ko*K^놺] uV!>k ,%F']h2iଟ O8IA7mZ5V } sgY굟ҩym:ƣ3QZ\-cږ^82˚{o*QX0.RJ\H@zB=x9OK[6LZYiO+~T 4-lg^hU p~}w\({&9GovNFʏ''nGud2$eҨ[r쵿**;ߊ?qqZ?3Q1 lgU[op6-ej*C6ըwt^Je`ع_^5;A?-5nWpl|Z$UHKU92 c276zgflAPK|ѼӜ Zm@†@62[!YIJnZB:xzct"a7YS0.Jֽ CkmKCLj/N?SL-BhiREz4@,ZD`~ϕ9% '^W T3_'AՌ]%$S93#U9&$93PX)nStUDZg3EK4;- n0Uڵad˰rA0H3x 2%HCgYZ7zXZִF! D]ŗXi%}{=5{>\, F7$<.o2j@7hh<(T.h0ٵ!ן \:|p9aNV;l e?[? %\8X1B byF7.}'Β|NŒٶiBR<8zi@r"vͺN 98Ո GHBƹ: wf;5Gqk4f؁~?nAJJliSQٽ4K+[!mؽl2eOshk6,\r#,- f8^v^Y{$r!:0ۯuĤEÂ6{`=]ɳh l.B8@Egi@f88:,ȻdAlHCjcLd*fA*OT̡'Sk{wTF5W{o. g pO(&'W -o@sE6K$D+<5\ei+*,=T[x)nH!: - 'q9p5-Ldj=%D[:XڞIYmt ݐU] OZW#=_6Hncf)Td vZi[8}ڲSнefy3(o[t\ !f:Cu<Ⱦ[o@GhujsG|^Zh^V{A]%@|`* .y\0 >o Vd^$HenF&T\? !{m*D&X!ڎl{5 8.R4w!iSk/ si}z8",QNZ>>_6(SDni}OW9]H̄oaoqe  z+,Mb{'^ .<?E`튘S+p[#up:F"vR͋~h:lK*ča8k!m-= =cTմ0Cr6\ZŰ!ؑV[iJuo԰ h$E%\[_?&"1 /e{0NFa`K>Yi:Np"frOc4A5PIrp+4%>lFV*ŀLU,RDNR wC^|9 /|.\G9Zz[RL ŇJi̱ZzEe'Ic_#lZy--:wc[|n}m9A^o_QB4ɇhOrAV/2HR? ?" :۶6ι7ў_JjEqQN#Q EO.e&QthhklyەdMajY>wL^q(֘&jPrzn }qR9S1ᩐN;Uld0I ֦-nV`Q|I7k)FhDX|2w&`{s5{eY軬75Z\lwÊteTʶxqF/?FXPsx)͂%/:x#.WucnTtmh.<"uԎHRG1U- و_Qa %/`{u:;c[b\´!hȌpFcS/.a+#kӄ>-*|״|Ľ2W>o4{rYt5۝0ԆJ7E ֏<1 佗u2yu}B#3pVqJT>5wr XV/nx,/o뢐u4.JuCxzGFy QNmdSL1vGp+"IqG_-^߈%#U 5|v#az8~#~\-l߅QJ!V] ʿۛf`H\*g^+=d)hl{c RrJVL/>wݝ7f_؜tQ3S01-W SLOᳫhC1T^@9@v$ޯ x/G^#"?v7ψA}92=fk㒋f&MI}VΊ+tjй|)kNR+9F 퀸#8dM A2O$|bz7fV۫Ԙ OiY9-W51d=%W+,(*sdHM. SG5&e۞_:H2fPBlP)P#Z P56d/O} oTr$v>s02C95V(d*PuxZ8̌}[o,B'Ћίݹt mzIJ;JmUKLL \ (eVmh-ie6 f"ѡ;ՆkLn=漖rق6+q%k8Vs[C5 d#z&YL{61ަ3:{8*$ ^U>w8wY|>ޮ-R%nBM mVjiƔEJ`kUo(:h$#Ш݀hV&>'hm[)qiUk<򰜝QIj٘'} }鍖< 3x[:ablAiwi&|;nK٫cI8daûod.gUb&uI3fwB/],tKa ~,[[Oش|M=s?-,҅g)VplD?Gf^).Qvi"@3ij'~R s }bV!׶E/~!Pv=Uz!sZnf!E_f)crcen_G'4JXiYS  y-I+Pc XvUD6/ ;QV9CP u3KX)1/p3 c QKX~˖mg;ASXKe%uV6BQ 7啹@f4džPrr^JAp]tiD"蝄vPtܦHvDžA`kWIEsυޯN PpE>s wFt9(n1]KN&DQ(\K,l9JK0-ntHOyG!}X0 pJtX_Pam!M}Azȓ̯%Kn!=3^ u&+Gn~A~4{e4j7eMsrW>R-ͪ {loS1 L-i-u{ NkҠ*NRG,"QdrheW'} )FвGX \০#{~T2a &' :s%W Dɨ8P 5ʇJa]c@:#a _uA ubJ6tS;;y5a Ɗj_򊁜(T:ؽ OA { YW` CrE=|oSCc$\|q9z+Nʛ"RXSjВ^Bbz#xE$b Zޓ#k3Z^R r]W|3 79&^L1FӀ4KN? w2FPڜ%$R-4i/|1"GdcXz5]3fwvЍ #f:j@}߫B"_oSx i0& k|ˁ^o JXrW#>=2ff!&$s}oމqO0M4EoqOMoZD"T HSǘ|Md;L Xy;W 7 +wCkvS-rw~$(;T T9FKDRk+ݒ76Fq=7,1mS?1cboݥ,mk/XONuHk0]kqlJ?$>^ ʼiT^cO_A!E2!9b@ #Pw/fK“X5j٤ hO&gB#9;)h?FdzDψg򰖎Oygf9` ރ] >c˼-Bp^ptů\l*a(8pPsT83'#8vu\x̲AGue21(F𓥆!KjkkR/-dEcӔ'o[9~69ZҎQl`A_ &k]}@jawIۣ+ yO#{}J^]&ܶdpH⻲N ryKxf Dw-VZI!B04\6Q7/]A@$zD9-*ϡ4a BTVQq3ۉLڬtzzt@+cq_>@X&`^ e ;3+!hVQB%3h` HJ5bۻCr;n,Ž/ye?*(?MA;zG$ g2.*"+Gf4Y@ ]$>g*}6[,URqCPneApȲk^f7=m{`PPniRUP Xɋ=kɲF&<й $^O@rK^=L!pVacN0t\IF+):ebV7̙y 0ъ)44ަ&q,GޔSЅ "Dedyp)'N3dP+vr=gƦZ\PAlr351d Tk@-StMpO(ӧON?XO n"MFFI&=<Ϩ~.C8Z4^쏖e*ZXVrVoӪM37kijme4˞TѬE`dy4._Xt*.MFL =oJ nU$+as:*>KDfxX;gp+FGcFb]9/3<)Ӓagq{w s6#H鸃u@sCS{wacv;x}jY%ؠ$qbWYlb,^@U>,&5RE{bђKֆe|k7㦁!Ǒ"`g;$K W:#',m֚,5&]ˬ[>JZ|Ե0wز B2'hduZ$0)mtL]5KFJ s{VM1d[~Ьwi)9Yb% # 6fU4v4 e1Kcθ-04F8$Lp؟_xn/ВnQ%yT~I|77X"Gΐ "֟;ѽIxE5s~KD5D9UO$]yuc#H Pu?ɉ[p'm~QΊfv丼 ;A?(yxO#}SDԚ;@iƉaLal/(^<唳!Dq13%Bh`ニu|0D;Qȯ. Mô/ʔÁRlH\R_CRfCBx[s+dVN2}Yɧ 覜Ε#taXSlW4Xg Wلn>AI|! 9Z"uw3)c" )%>: B> ( 56ƣW-ϛ5w,7.R]ҘYF #IɹEs6U7 yF- 0r*?2o "jrU|`֔{,/y? 6Zk;6eZPN-dU/E}UoI8 rUpu }ia Z^!zMO:'&#paW3>5+' 2$x-%@$I rMHx5ZŮm^,X-7D?rm_G,jLCF׋^NzV qy;!mb$[ ף,H۪L 4Bӧ#M~|1␼C&Y5E_ ̜ۓoSOLk#Ų*y%1* Z Xrn(t4&_o܇wd M١k)H:p<7AMTЧQ^rNƉ SzXmH[,ݯ p^$pKlԯ AtgwWfu؇E2hVe+4Us z .Hi]eNJhLz #wFDCF&R +ImYg/b04=7I QX=JKDBuШ.ζ^4y@ŋ^j>3= A<Ǔ&W3zT)KyO\>KƔX`F$^ d^W!|UTl=0'4nT4j\v-G͎9)*S kM4yϨB56d_=>/ d.?o)[NvU0<U|W;wk}= =)09_ӦOZ `2 ѧ8$xy)Ru pnE** YZC=|g7!m-qLD'_q=_M$A|-FHGRpWr2;/nwŐ%+z'dd g|-Kl oovX0t#uG56#) ﬡ­ݣY S$m!uDB[ BVd]3eۭ!͍;2PJqH_Z_?xP꿝"И.U,Fr}&`RQCڲMNτ95Aw> }kd[0j Y3(' 7OU˗;_CE'"xRyC}Wܖ_Mɵ-Ӟ;aMذ7PAS2( 8rVqYߊY(2(PҢnjry)^৿R3VU9W8eFֳqjq@V AXvAL.kF%{RF=y䝄DxE ^ֵ&! dm-R1nd| EgpYrm-}FMhcfRq Zynmg̔Vuj> ]la=zVa:8H}tmk Ja ݈m:=Ou˜ ;gmբCZ;]=E2յ(J9 ɈXԴ:3洢X:1D.ֿU",hٽ4FY}-B`A:SKAtxyRdrSǛ J́e${#I]uiCe)!&cc XEs;GvcXρ6yNI)rYۃ2$H.%4%jC?I2tcVc<y}Ib0FP}syӰwH=Bě-skGؚgedYqJGBA`I5Y.-BGkDZ^͎eASK.g١j Ry֢L?$sube{S ˟H&}Bl ˝7ھ G|0\2z% j"R8MD"ZVWAOEQ9J>crVAt2{eQo1^5& t`k_lŹyij?bw/^Z &P_{}(EQjijaj_D5OW<U o8{/;J>s6~ruLI2qڨUw~y*$+NJ(_iYͣ&|/wBˍ/2 4v5m 7io֕FkRFVZšz߆.ILIn\ADJ>nV Wޥ2$N?U`hKgsߩďjMQlvC 6>p??E[aNL2[#9AZvM{'mxq#F x'q;\rgvg6U~1HKHq y!0ypʴߚ**/+P@avׯt6oYu;F~<3e)ưV(Yi(Q4r祳(ͧ%+@"G\QG:zHA{Qބg&)h߹QIGtDXG"6[hGZ1Ƙ/p*_Rq (> Wnυn<DkO^:hv;E(Bd%5w&Bne,hMa?FD<@BH]*oA$wy;vD& &Yko Q~ڈ ?{+{w%r6csBЅ ;:C/le%N/8]CZQ#,MԘI2䣄@b(7BX g)c# ) >=|N2ed&ha+PJLh,禧(:wA}n>`AN]Nk̎f/ 3ALWjz?iYEh-Mѣ5M;^͏|X?HY8(Qq(ed;jOlMPW,=htU7BLřPs HA9Z4ģYFxC,G1nm̕ 9/ns_+njz[}c\#cETj\<'HB~ 0 Di }["TT$^N}pBH(>I5=")춡b%($Lc@R/oZ1p[da?,}YZ%*q=8V< `hbQl&7[wpT0rou 4BBbXnM2jq5&Z!NrTϜq֢~KT|aM.&w\hZ#{3.滍L MқloNʰEbǓ-ǃV& Ҏ)ku+AYt Qcl(Po~gKsF}} :kd>$90OHS @ɏUdA8w_gWDղϰLR0fV 0_,4,^q7Pz(O`s\E_H*ZN:ȔRUHL) O5YmJ?*f.?7dq= #ArOr%K]vJxɁ|UvjPЕD9.1IEq"ΙzVo}TSVL15-UkA3Vh%A?EHE&HUd? _no-*S׍m(/L@b|>FmLG[B-1=Xꧪ5I[rB{ `ҡx@+P*'bh~9ll6qj7zأ/Rp)2jJ\Y۩Ӿ+~|,x8GVbFE `D"٦%žδЎ]db;Y͓laHc &6_p{?:oIE e:~+DۚE'xkXߊh=QvrrwSDžVJ,VL*杼v@U&۪Ik/&Z8xA=H={z9pn%)_9>f\oUd_.JE uw{$2\E}pPo\YĽ,]Ap)&C>]$1%JHC2TY-&- Hلg>H)5_U.aC]K V1XDu =ȶ@!^pjixW J;`o?xQ eOԷHX5-`@Y[YMlbFDk;\>nCC#?y ^7;SΛDq mY${BgT䡬iG"xp1Ň=Yn>O;VpJ|*IT'>q?(m&M-g@ Cчwן:F'㤶T|+!Sxo#; \okLխA<aq+v?FL}?2#z/0k15rS ]ł{sW@m >&c,|Mhu3>ޫ Q !")( 4s607[XA)rdZPǍKX:lMg8bt?Ru;.>Tm+A<ɓ>Y1;}w9pɒUwLxXNtbGo3SΉosG|j8`5k}AW>T WxD0!๺Şnk`J$;IRsT /@9?^vGJA#˗BO2ɞ('XlRv̒R #IR~1".)Ō?lԯ9$YpNnQg;bk3ھp3_9Z:rItR}bXǸ`m21dR[Xy円F^ kz&E͋˵ ǠW3s("lQlR6*jp!ϕ T"0jyyHݔia겵p&mBD2tuM`]<\+ e C9S戀g%xV=Zp2M}NnUs_QHgdwcg-2Uu=m@G&Ff]Nylmn|HLRq#'ok+( KEE^MR+R"d 0vORW-W N9hȐ/1uc[2TbU+\raeV8*0=%OIUuT\y̅ۛ`/NjZxx& -B=UR/\Jrgy4N\j\;ȯI[=V|7Ւ'Y p*l7nԏE6K U=Q0ʓ hQ"_]V0m`?:"|n$&a!~P8v9&(' $JgP:X!Fqxl~{(R *22\ֻ{M5-p^Zp{F`G)MɮKS{&2Ənܬ33q TQOwKk\%Q0Bj8nmC{gS[.4Q]z?m+)a~)F296;;ɛ`t'(:W7Or}OΨgCV*- :;k[!؞ϻήpIh.YAj sIuL [ 8*켼Wo0 P(8WXGW(h<}xTTȰk ֨Mm\"D!݁Ud΋?,[fs9?JkjblSja+kP -fad~["\Z@{؅#m<f ;GIN hI^k`D{m> 6gp0M\d 3[.F&Ȅ,MdzzO/-ujq/" .ZO|[:6-\vxo?B>K\a' 5Bzch!%>c;t֧FHQ,}Q:n;<۱@:vί,pڢ0_B@ jV%ZGԫ[7nH_ if*##tQfC?1Tc2ƗCWf1B jImjSՓX7T4!BZ;гg YGtĺV}MDBIXiZ ׫ۦuX?MTw*v46MzVBm8m6FSʳURo0ҴG8|ޕ0!+ws}h`reЦH=R6P KbmnJ)i!)NՅ9K Gz5ݘws,G*wvx sgg>qbJb9~y‚f\N0Ot 3Av -2޹9 x16RV;zDX4 S>{c/^hzI# j9W[l ]L.?)ϜR$`=R&MLN<A/JH^ ̂,p!½uà VۄDE4H 2)QD8ehI`U4~k=ekf(ďC۰;gwO_D&gމnºU#ݭm!dw@:`e”;uh8Χ[,ܿY E2Uh6{)N~?@9Uz9Ikv"-GG ]o]H jc&>4 ƹvg *qES>*n0w8r?ޞ.QTY#yq;ӅsҲ~IyA87Hӌm=~ųK,C'zah_ Jף'q1Z\9FO@ɨ=*- ܮ?VSA_M(Uٱ'o(:CNJWY8>4i~vXJicMwE1ZRE7 4_$:v}hT{Gܦ v _+\[Շ} ՟S<#߃ؽ0жlNF:3^Lf롚*/f_PMP0T@f`~PqИ(7;B1TH8mXWnq¢:kL4yRSzGRPTګ$TM=PUtc+$'H1l:d0.&Hׯig%܈tZ9ď)PpBa-tX/H7x*[>rdJ-^#CGYF cDnC$~ʲ?DB$8ڼ Oqwx ~)H\m<`#2MI|ޖl؍]wTW{+ J{_Hy&fj*6~БwD_y0I~+c 1ET=bX һ XoL. 9IsL[l?\_MiV<~SwQ*`:LND`讻=LΘ3+UmYAU EҿEL6pkzPI9Sdt߀RR2oF/)5ݩ/13 *o1 K&0 _e xG)ԎaN[C\gtTUJrIFC QwWVJX=qUge OU. "}b.c q') 0: >0dAC6b^L{?I,ud>1ԏ%7Z#vUrumڱn qpK`E};z5 ܝAJQySA? d@${1}BE6D3aa\팃O#'%Or{Z>u3|?"jKx0&H-:;69ԗ`}l3d{ɇ)[ib_$׆+;^QuX8bw>߳dStv.ų*);ҍ>&fJ]En( 9fY$Nx# Wh朋sEKrhoG%-rI{eXF~aY^K13S+,+۶i(n sb1bj &=&^\92r.u>#C$6sG^Y HG"]hs?c_^Տ]7)ON&#}ѡ؊p{İs&Ń<ঢyUn}}+dN ^1 ]s8m^x qd㜦E=5NFoQ.('`jK7|={Bu;5!XbN_NdF{!3qhK#>N7a9AݷݜAvӱ SiGށ'#0;h!0|+DWǡBmhȉWD'yr23*UL)XALJ9Q%' F IA7_IBhHV։}u[ 8.;ጥ&Xdž 8=/Tͫ A%ٛgFS ìbB>Q>2Л(.a!iÝRrLwrܖ\PYiSuѱ8T=Jy@ z(|qZ#L;ؑ4<`i5>OLqǎ3)zUGgyJMOaJm7$ U M>WNjISDJtWʦak]!8.Љ _YXikOwyRNU!|?-;VБrB|ݎFIuАza s r68 h+B2*32EW04  UbxGiiHnuLŒ;]}bCPV+o*~XʯƛpG vRi Wg[ :l;ŧ!v<0Y B Wn_^n{KL佐u rOe#I}3Ҍb)YF?1˜LKHH#U]mE2Ϸ`4er cC썉O=UC6e{N%-!ZP*R%WyhgQJW4 -3oQ^|(.g}m"ۙ굟t7^^!aYdD(XWi{_|%։G|235 '"0?ccmGDe%E$[Wm{I L;(ABZlA]𝪞E6"p(/OC}V I# # "ŠA3ۥ MzހtT h_5hفg? Q?ojVz;e5'Oh;fVج^C ZY8[hKybvu/uhy.}{z=4LJ]upfPJtjF :p_[2vܑYby̕~܇VӑgG2?ND3 K,s3` Ni*Aiʸ}C=..:wc|%˜ NCXű>-䙌ޒXl(@>AH$ц`0(lfT0kR\4>E 2q)@^@j';p?([5z xwRugsCH%[͙ΩGސX#W R0:rfym9K 'CGdRHhLe;`QˊⴶGb"BK͟ #ɡI+U07*j@Y!%q!8ٍ/IUa['DSx?#}jk@ȅuJ8G(to*tiCl>=|^DA%ƙțG Azo!Wn^w3<3sEp@$8 WtY27'E(UbS~ǤMףC~r~t0vš v*)i,2[=aTȕZءq ٍU峉 Yo /LAڛjy;"^̭@hO[#유xL`cL9؞d!4?9Q}Ќ`F뢤"]$hYҸ|{UʦpI_P2p#a!|G/ˠ鬓ѻj6$6c^[ G6߻<ll jP=z&3'>`yJrW Rd5Q{# nG݁;ׂ\Gcsr,@z+6hjБ4z%JF bMV# uQfxO2krH([(TK4Ad 6~Ϡy2B7t>t(g$!\;Yu8TTYG7!pTmŏ^Bsk g<7챉vxpgۆoIrCv͗m"0E'(ebL+IcT@U8<9iQ3?c.(p-htr5E9f Ǧ ҉ŕ'M_H;_6zce-h5f_֬LAhG*tӻ%_=οhax D~,Jē=4 Hɜv/hNi-׆3z(6\b&ncg<\)'D}Q^]< oeK?W$&a7Jsyt7bkg@XrjF.͝$M6;vHؔ\G$XrJ- E鱛銔ZUza ^ql'}ɦ264ǬAnĵnAf~(2EIlŎ?Rϼry ibj6_PIK{ȃ {*%zAwRjxIQ4+Gsй@ad"~bxZ_ЍN98g(P4s:T1f]WVNZElUH'$mv5À9@}q]ihl}dEfS VѼָۖ""|B*Ck2g%)Wnw3Z6̋6&ƇSI5 a?t+rYoʡ#PXxφZ`QC\evu E- 5bS~&mˈH&%B،u'Ot_:fy>S cZ9OCi(τ ^lFs%h7:?4B=OZcօYrcŧR4ߝ! Q)Aq6Mq}L?KfgW4V [Gj ׁ|)c=9O)ʣϻi"HRb V_׍Hܭ DoIq6m@6fUR #dDRqt5p0wVe]霰"W|p 0,iC-4qr}X:af~$b" 6N\}8'D d5>ˏ&!A+Krm̦IvN1r 9}C_/qW yADULOv]\ $hE^oj{5Kk%sď?w :i~ sYu8LQ/`t|Ϛvh;7Ku,qt1='ⅶ} lꈡdm˽ߖANܚx|.Y'j)t^|,*EKyuo_j-Yxt{">vcaX5˘||ۣڦR dd\ Pn LNHjF aG)H8*gH|Wsb^Ĺa}d'bw~>:^spD<4&NtԒe 走0,`}#Yx&֫l%z~Ӭ9z1j*WGIaƣ 7ALgf3/;3UdZ˧HڬXH.̄Wr/C"%N*(\A'8Kou`TUm1!L.:\bu/A=xgGFC،o;/W{\ʹr%84SoKaןGaH^D}J( a̩t_u$DiCH}A؝XNZ:tf ~ůT8'vN<.}xXJǪ)s1{>hk}erJJ$\|9{ϸ͓*_T3 dZ!g0 Uso3hG"XC;Ӧ`eǹdU'->KBDq:+JRS!D`_۩fkV`-jzNVzPN.\Tj=>FOX<''rsvy9@OOu䎳0>oOȠQ*ЧBnfH4t(}i&Fz։}*g%wcdPG?qvM$ڮW>ǀ5}v7N EDZwKD:ֈ!okĝt(VfATkS羥ϔhIyYٸ?< GH==BYєHIDbӝnYKH{`dl!$xqo%%u RYMX0+aJG -Y L$",YX@q]k~)QD'^ay~hˈ0HF#tMpbtTPǨ;ͪ0tWxgK{3  a ܵR2O8ޠ O|r:B(UAQ{Kst7ૈqQ> Fx$c,Fju>-_jl~Ğ)Y:L9977R͢A#ϡ1*AL*^I 8/ XejJ/"\f.vHY)kiemMxPL4㭑+ܥ0 H6ذi@&2v@?_}I^~0z]z~cVV䄚H%Iqyny5KÍYH6 @r3`<5tU ï%ͬF"Ύ撁r, AIu.1/6[-o|[D襗y #om& S; q W$0?Z kt+ ~TSc LPjC8>uTNT_=y@]Ӻ9$4|n-~ ٤ >qvpvRyxbP TV;l&ZT:2ĨbEYƝSl9voIGIgvs3sHe@ZNh%u4緝Drf;e}s'+1q/K.#[W шMgKb Ga{7C S-n|X5Doz/5UVEbk:mm(KU`fhKyX,&Mt@3db9Bn[YJ9|t~$)N32w]r1-:t!Z+}ga_T `b:f=7 RC>fR `:8$fU0^<7rLKjQ3?Iz#˪h4\'ֈ cDFUI޶}=AJ$9:f?q(HAY᧙pI~=Ħ hk@K Z#5ZK R9@d3M1!q-(KFIDbi 仺9hb!m;Fk;ٳ+Ct*iƵϐ1T ;_49A,xf,sr XiJ~UxҲxawUd'LLLl?~G}bym-+tT 288&Gb쾹V YS6ը^&P׍2L4wVm#2Ն'98槀Dj3V2@\ޜ7tYxߕ.5zH@=Altl +/M)yڙ8wZZ\9{)țQ-p)u;/)yCMWm-rhr쵈,y Skn >ssXh@C (1h(xCNRF#$xlܵw8@wH .v`5pv`č$tM--Lp1h+R soPz3m6j_\<}-4D~L'_t 0Xm9+Lʷ1MKfBh IDן W Zpa+mq+'(]jߠZxr:jtg sUx {|z,Ʃxw.; 嗘w+$po$As"u:'!ru X `}@_Riv4fZZ- mCM28JvKK6vSRTNliWuښLZMRNmNEsWEep[ VL t@F^׉ښTS֥V=/{^WW-*\ R ;"^O)VV V >r$RRm sIΏLlYX73r$A[mz1icY85o*&[FEE%YUzRWF78IKͷۦ sUIXBsmuV9iyWB7W~hP``Kh tjk p}f ^y^y yKuXen`: ca2ˠsڗMj п("A;0#̿+2 E.>!,B]4`ҫcXhڂTZ:4h/x;~s8:%=!eC 鷫)0iR{ I}|WRFf/8 Fzd MitfT߯ w미'Z?ѫRflji2Zˆer ^Jgtќ[dȜ^M;&~"Tj_Zo@$WQ=i#TqaOs)ʹ؂9w Y"x |o ߯kSV*9Q㿜PiL+@8Ų?r >B).h-BvttO2 &Ύ=2J +uIkzZ ҝ쁄oc'`wfؾ!?TJN_Z]I¹Q$K%?߹ FFrsFͱo@-\vR nAja؅ٿ14GMM M /h -i;lA|&V>kIu,X0RA1t /zX`MLj_.EdN4sw|=e{*v} (P^`5`͍P"ۊJG*6Z"-b!d[go}[)\WQ5X{t<]0wEѦ,75I3OLO uNG:Nʻ+RDaJ3qkzv;D"?G?\ǽ-.*Vv`^ĆH`.1J^`B"Mdd[K@6E6ո(k`ߋq :$GfX{#_$O ޹/KNUW D0?uXj{CK:9 "TS=Y;Hp 7=ozd}4t^KwT{u2?M=kW>4{הD9L" j15ぺ5ګ@BGmM$ MEi`I[Bͻj%PKг:s8w.󑝌0m .k9 _NI&gpaen/ʤX~2YwU~FXOitQ}< <0 tȗ TYS u5o.]j&dp[jeLa4CRNTezPb:U#3,cgH'Al3Pqx4]-l >NjzMU*<ѿڲ)*LGшLW1M:&/kK +a28Glvx՗͏ņ4,gYZf755c1c145827df31cd1fb24965c5de3fb0889530368d846b91517e6bfc74b22aa4589a14a64f8680aea43bf64e746d3b2f882f00457e2a63091a53e