SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 xxX!$4L ]]]HOL-Proofs:threads=6elapsed=540.707cpu=1325.576gc=131.388factor=2.457zXZִF! I]ŗXf1-%˓S, z!ŧo]uA{D"D5^]3ǟZz3u=|ېq=ir3y 9E2MaXĢmCZ-|5ILSxjq_PcasEV`o;oS$#x B .'Gڛ Hxu,y'lB,p[u"E55%}: tE\?%7ƗAD#[FY|$M ]Ik8֋18Xq6>DdY {ZˋP_5R$|YC3 N6 MYM-]W(vXgCۣ; =oI46cpr y+:_d"Ӫy|,M։ͣ)<0d"xjצWͳ+[ 48>{C~Gߠz)w8w4wMrj#].F1 Є({;=`h~Ж߄2ԶLJt}C7"9+"ˠڗxzR98{MBߍFF ;c;|IBUetV>6#'I>:kݺ4LI,l9U.dRSV`%4^Ql#)Z`Pn8"7cETS=&m8S{ ='_Qw D{쇒􊏁`peg(vޭNYm@ k/%7OXֆF_tsҊRmYT!Z?p>6n_:Z<3jyaVB+S=COh eLmWhQtu̍$6 Gγ$3ct0!8<&Ǚr|(')~7́xBs:xrp`!P,yh^&f9/edk\qݢ93N &o'.?|fP1}Gޜ` O|. JMr[AUYV{5L"|mbD(^8Ƈ9 (žq9-~0W i, ٟe&i 6c.M ڟ'ہY"#ddm=ǥqUfMܠ+CqZ!YlDt٨4*ahVnÔ454e޴'Ⓗ$箐+j*D)r{75E |ӔaPJ)F*SԻY[t*TPzƙEO:jǼE!n䖃onjmzy~q kw3j l)yc&tx{!hGcу~Kȶ2yv$'"Zs20L8r  ! HOL-Proofs   :J<:j_?17,P1s嬬Uގ(THk1|]rU$sLm?qOF i٧yv8B4}ָ^^ D oVN:Ymh=aֲ5Ǟ q♳†讗e}ޫ[DAN4I) >֕#24,c1h ?{~ZW+dB Lߠn-(|9 b>oC>CȗڹZM I"89o0JJ_F.r(+LOս z(_x-xzVα|烆wz~_ВI*06NzX^n%9mPkPjIp֛M`(̭Rq_n*G{2=M 2{sfx!ָBampy<^_o{hHsrM67/ w{eZ1A;ygnKE۳_,~z5]v/^5v 1dòwפdBJ6`v\E B&}_[<$t9Iu"3 'vX /spbubq4w h *RAMLxFP[Jeݿ 0S8e(zG2Xᬢm}:dDIYe%p+,dOŲj!ļ?- oRj^;O ?VP"C3k qt)OC0DԪҁ RlcCVQ@.i**B NZB~bO '=rISz7Y^|I*%:c_70WcW'\z\vbⒿsVG('UfHpwN? 7[aۃQ| Σ3歚ٲF-Y/ cfuP#nI7NR ]@ps-0^HzR,gB\ѾS4 _c}7PC_#"TĿ@LC*n1ZDoYȄ( e9įBwY((GLsȐwr4-Vm6`,ӗs* O03!W[ /˰DoyT_Wtԓxli I+o ~a6~H! xoiהsk A,[+K.}C)ܲM3+>`/ޭ ۊ+ufKsu+641EEhɇyD$ѹZkKF%;$La<g3@}BnȫF·T9QAMk2Uciؠ9p*Z-5J))mCJ ͟];'s#(498PEILK KVR@襥u_I;hd [N&=>w&x +,vxyotA5bvV3Zkpzym= i(Y[+KrK,.}c. T\ bT뒩P^9Go(tvQAz.]R\ \99idV>p pdh@ #d Ӊ!Y@ѥ`6}\}z~Ƒq"l^4ȺHD,: (shjG2 .)u_J@m:oH FPe=e$8Bq(}6˳ >rŮ,6YZX xF]tR;Y2!B@5%`d, r"lG<4#6c21r'.0{ˡ5XKt\{8qvW;|s?vF |$o޽ \w~UǣH';Bz[,jA4?6?+`Җ`[nL9P2|7)e~’KH3Ԛl~;p3|20ĖqQcr4̀9 WE'ȇ0FwEh07 v ]϶ꕃx:c \MeMIe--É 73 nLZD'X* 7N7G$r71jg\RZci?tWD^b~2*Ǡ :ġ%1z JNh9U+ Gs:EYTZwb y%LiKLdɰ6άnbLu!ׄԻEM%op;ADDBggӱ{2aݯp )$SNlr8HMih|q0W61(չ/vqQ֖PɠmWbRT e>B\1>>WNWN":7],/ u+n0ʠv%-wS9L.7*mgYZ7zXZִF! `]ŗXiɟ29aoʼz[%U>EM!!*XKBWLEڅhdɿ|jUH{gLNWunD3b1cȾPڪΕk{B ҩX6CJu ݔ+SDb7/kEi5L^3p9<Ηd]CtFԆSrySEǙ1'|*d`O\XLXn7MAw;P6ǥ !=NTM9v;Y]+&x´C3n=¼"<"sdMf[s'M'v޵ ߐLɁ ,ן[g&T(c~ݐ=N.F&NfҰˊܲ8+Mleal$'N~ksiMjhʜ?$Ժ!N,NM1R&%%KceRh@r08p#r4:/{n=}Q9[AJ>d)L}Q%+],J Ds,\F9|+Sܼ`l5& \ \ʄ@[U[dq u̐@3v,oY ފs"J]`!xM~6S&ںk|csw 4FZY/\B'ɳ b"-].~ R8@jzqj%~9gѠc,md% dE])(wVC![PMtղ> AGs3ۗkI:ޮ;Zm0*r!84 m+u(f<}=xCw~6<Qӿ^'=bI"mA^ ZPBw{Gf=PFmO7߾v!H~z)߻&"'Bv2ſ:7bs˳H= QQw0dψYi4UKYv>/:+ 2)De$LaV1eP{[;_AigmO9ֿ-\G;0 ] <[{ocD'a=6 c^v朱4'RdP&oɌWAkȊԕM.E\.fbok쨖mOn񼩵7q1sz3Ճ~?.~h< Rw>#e4:hūj]O! Ƿxg6~!ŷA#%Sw`:fQ o9XHa]c圉:ؘkOxفG_3,>L9GWݯڅ2=@nֿJ!MYdGYKz6fx*βWJղVvpwWAiYkc?g{6U9qj7 UV [Gb2 @Rrd "KyGQW5 8[+Pn+Ӊ6 joKvyup =QTpgh ZMVǀSiHp˓15[Q>5u+M!{W8 ƛ(  2gYZ7zXZִF! g4]ŗXi%ES)~:m4EK6?byxa#-|/vbuylmOL 'cqCn\DKؽ;nyͺ ?ﶳ#ue6`Y ~`b;yEzxop wuqo.woe`tЙ4k* mggXp ֕ 3bIzM.wXOk <֟׹d"*j6hf2@Гa:Ǝ4%" 6DH(_fyeM=@I{@N,퐙"3V~'SĤa#fe O=[#('֓kfjꌉz Վ8{88hSI7G|x?Z#q6DM%%fw&o3ZpoL#M$wrnUgh'nǐeߠug -.H{mav&fi"@]<=c;E$mv=ƤOq>Rht%ld \@^q 4݆/M#f ˥ڵB 9Ԭ yz2pn]vz~-\:JعY"M]+<\/R#QSs bM, GsoQRX1KChU:[^(^ iyeVjovZ[>):^.J~JIb}UEaap wѯ -lJ;+B]/w1Ihoe*`+wfi1rc=KL@!lVɯI`R[0w)pLB!`Za"<{=&ROyq=L^ l2Jwlșq)>vh5(߼koƂҎtͺ0)Uk Yƿ ”'2\oiʔ{zrTIVzҒqxAќ[=Vҳ`kw%+JnTldW5F?g}X"A؄){.,?jkPQ*2=/aK±Tqـ3 øH Nb6LC*Q8V6 ɟla欺s3}µ(. !> ^}4nl hB\Kn۬"@`:6!1 :Ne@jQ 9@&[qI;,ߦSrGZ#:ySE<oRE K]ϐL>-%,z<oեR$.n%Xshf+IS,iK1bMAU3q [@0ǝ+yKFayk}~;/@b?x!x.39Vv0V+:[G,Mu_v> Ѫ䛥O]8VDr ,h .<:!ŒyrޔG̴1Z&GI3K-VD20U ,֓ ƄKB1 &˙JSMvsD6NNQ3ȌQ: 2pF 6D@K'5*B(ni'kX[Eք*akX rd̖^_=moe::RIg{hT t:]:c26Lj&̥mu `s"uEWiO]bCF7Leޑh( DVOݠg)c S0Eֶ 60̡Tڬ9(dFѬ,uyG.(/<%Mׁ$ 8X֡5BT&&d~@S3-N Vӂ1QcF7#o.-M#؆8/ EսD;ֱ Mצr}S ;2 i.>3_KNuU&Bz5dhDFƗc';i7yղսt0v!Dٰs~Qb\s)ʜyڂp0]=Ā( gUSQr1:F 0?10??,Fd<YzM2ˇϴM{ .EeX*ԧG#.'ݸ> 8S&6?|e+x ^6|XWQB rǿt _~3d16Q`Em!i'"ױcGD9gg$~r~%h ÆoK@TQ_R 9k!rmBKs2/؃P#O[[!X6~T0sID%Տ@Rhϻm|9h)!%5Qy"bchndV!p^QYLɮ`u!E6,aO?,R8:/Mj[\BTW>́:_{=k$3|ߩ'V*" E˩'Bmo|~5CO4͘)FzbtAuDnNB wE>v0YϢ<s6=N#~}x~X™q) )3d Xv u9eҬÀ:d\!L6&g{K=gl)Rif=bϳzV;ޡ&Բ]"OԵ [vKgoZصpju3 |1['&"j;֦N:hH89Ec؎y?۞1c6tVk AT7:n`]q,}2YQ%X-ʊ)`8R""9F,XK'16EV+eC\ j◌zas{1xMaQM@(ğA:gFLat6a0wIU[ 9l qrR aH84jh%?fO񺛂7  aw1tף3꣝& *&EJ䶚5U}{-xr;OgEЃcaG]2 ڵPI%d>HսKX,zg/<\w?BNf:jm Gs \lOP&v<);̩;[ =[L.YRĹ8QL-uӷ_7,OHW(_`!,ۗ%F*8e$Q:9N8X?6}yKf<"ޕ|pP ^R %~wmFEZ]]m&u2VQy ,9 =~;T?TlkOxo%=:@izR26X&PѰ[8 (bL[ur$fMf)Hs_ {Gʔk*Nz` ZF;.⨑뜥R|3NFnol,$fu|rӇ}Ic׊**]{v$ӎKCC tt*V$&4|d8lPWש,@ WE]ꇚ;qIʋSg4Ujr۠N[ ŭJ4XĜxh?é Z%4ZO:YDpCޫTl] g 9)=9Q$J x)t607K*}m+E3) *+ NHTZUQdK$10ߟH58)27vYAa;mOɼנ4ZZ2 VJ7r(?$ ~GN-!6 ˌG,R[NCH½2wa-q:-J*4tlDWnI/MbٗIo]qXW-@ԥM¶QƬOBkO&/4x_= J6ss%qq,AV]`t/k ĄCʒ/o:/Y6C-2,Qcq3aw keNH|㒣Bn5rҚ\(0]T- j}3U -E9*7C 3qE:l}(ZC+@e9HXA`k7.kdͰ?z,BzJ\\b@˕"L|)ذ my a8 ;v`z.ħFSh!*8n_ks@FPRWCVG!XxY/NU4vɐ3ړՓ`8kPzN$Z:Dٛ nҔ9?4T I'LGzš HnH1lt מ%bL-jHւ*!|؟ 2HgK2،A72g\fQo KJ`ZiC$G]C:-|I{l=ߖQi-`}Λ@PX*bb1H(?oQ ILYd/p j O᡽08΅,=s6kqvl$M['9n%?Z7*Q9 ?~7DMFfljLkþE ٤yV~ϵBbCe \z2eK4m3C.惼8J!ea%{ZD bHok|h?Y;-z>faf | gT&' }@+U_$!ZWUD A\y@;6or ԻҤ[,Df;nrP[D~rsJ*״#gYW+P!b g>=bvRauuADdv ?y1ъn;uNr v/0ݎ8:+Lf*( w}5`BP"mRv#H=xxC_; c^f{,KNb\F+T_ҋR&T- }vCVdG$ ߑt2G-̥ᄘ2HD)n4QU|4AIIR=q@ݐ^ IUȶ!5u$GҸYBw \x77דkyjb,ofl#ڦQ1Vq7JGpd;\bS߈lqcI F:ssZ=+RH Ibh}>Q$Be҈ЅvV7P zR1j{?{)"H;,dB\S㭁#1u|>΋r([U_}Gb1 (=)ՋюB9}纗 G9O *Y4O4f{!m"@:O#XYv{3ZЈg|?{j~ Q(@UƮ:C{Q,(fyaLA쵏@h5 RxQnUQ3t'o f㈭!:-x=5I%=$0Qה/ )Eun{J 2 (7R S7I+ &LJ4Q%[o+zlV[B{bm^l{iL؀6nbU1nBIfwEP .سٕkr8W9mɻ8Wg)Yʠ8LEvo&jf* Uv+qLf94x krU#–_OԐ<Ӭh̲S àepV]j$h},v/;6NeKVOxtZ-^cMɱ {A0cƬ斒'y^GJuhW}\yʫK4 N>?VjSl;9"ÉЍ_z:mW -HtUȎ"B:/CxZg<[I[ 97m[[a td/RQ>Uq7tV$&2ϠlR _]ܪIB !HrYSn.Xn)/-22V[ *<33Y+X c *z:ZRν91Yk`j?:ӏ~34-BS GTHA0 ̇Lj9]J ^;"4?f>\%;W۸hrE]) KwدJUO[ncT|ZE0 * д9} ewdG=j*ƉbQ@aA7UT r︴}8GLɖWM.&Н\RA1'EV>lSzo8`&KM)yV1bk6X< repqꗶK 47a Z'6ˍҷ!ͪ=+~:sDJ0-J 7#;D/5e7;E)0C"drI@<<&@#BkG{_,ozbF\pJX+$/rk/f[zK*Y0Ap PKSLdTbuB)mTPSxfvv/ia\SGWBCv(pN1o|QKVW9rރꑵ)L!c(E%m5"K{*l%y !v'EHכj{+y5 Ę\mSu"^N\i͙!>9`K_~\?r&I4(D!Ȉ3MW.{gyu:2#;mj-)| uCQN `K:b ZYc6oNQ&(Pqze< \#(uƕ&G/78_),Cti|;嫑DB5 ѻAA1)"Tv.SQ,%_}#-¼իF=jV CXoҕPF҅M@ZixyG`Vf wL̢[Yꦝma]a?R%%k|R^;`|SXP<KpU}ۋV j/@:fC#|6{ۍ48)3J]E.K/!t6r!vU,N$hI2 _~#Ui4Jw"V7sXhpaCۇcY Ǟtμv84KjR1[;6Uuս1o$L"FX=kMjz<K:x;nAu{pX+~}FU`ȒfT5lvf5h,,v}y":DK(&5~m<݀P{T{>C7l5XMb%7kpm* ,V k5p @~c->/mc2wwϒ < 2/ uhظZ M ]q{aK=x`u2dUL(/ r'Yv}ŧ/w:Kw4 #q# .!4j]:Ln-s.Wngׯfi+Zs#@,JD"nWGGMFwUk ;0>e$սy_b;( T{P,63K!:E.o+UMJ*Q,{1 W!'q\FNXiU;/4' Isidl%[+[e/C/DUUY.:X=R'봈U Zw'RKq!I@MȘ}nuWnne_P"?dIk"B[)JiIlP\Qq g '7gpw֡IuYodcWwY&爞J9P%GFx%isw#P cFf6TA0B"kލO$"A:3 gmڥܢnDEo>E~V~wIlLzܷiYfcZIq,jy+Y>~]I!2Yg5a ^!'zG\eιi{6pKV4~#ݻ[f8'cEGP0pIyK{6"K *nCE}K_%EnP2,{5*|6"Ez)h7-PZCX%Cis a}lUB7hc/6A a4Mμ۳뵯W5]{],VF;Kbr+|__)iK.v{6"=DPkޑ!O)lPW{Buڞ̪-6rIOB"#;ƲZ'op{̇ᴯl2|?bLLm#'(b`[6k I7Y6ȷgHRӫ{-[`O|sJ MΙFfU0N N8 EwֈXIy&vPyEdTͭZoK|@Oz1{S*A O d>;#pыӇ#rˡˊBY1qyն8ddD+ җMw ʲګ#s&:p:65K"<l.A5$䒇뜒x?H $l Y!cGe^#xƄh5|gIVVai)QDScoh_pq:ɐo ?C @sSdH^`]@R !R6s4{eGkԱ ;Pg rD# \@^l~roCS#\mV3?zTłd+S{s>Ѓ9|F>)`PjBY=rFPCJDiZ*Kwl¢&c& .m 9J;rjjq^3mu* <0y;d_oSvL TJqJU<ѭ ׮N!ޗkxK-k*-~ܞ2.ZLЈ]ʆYR+EK6|oS-Zfl_CBCvzW g/>^l:[}'W O9u;df RϾ`9XBD~ !vʼnZWvTS"5WGUSx7)}>]^Bn8/Of5nJZk^&+JR4e$ GRR~!N# zPcϑ*"XcZ^WA&{9׿U^o&|]m>U(e5zuCsnn[a33Gp`!27.6.d3Vra?9jtqʖ{Ck ӭa@ؙcla#C!`zu8 24Sx\@)MH_7okѓ)z`/DފӕݮS>zшb靹;S<Ј$ Xegcl&L /tF <;#CUMoߌ<DOr̪qE'vwj ww[,紆'2gjwW2w驦՝:٫[MI*~#}$(%T)A~~0Eh-⩨~ֵ}uQ@a>my Bå6zkֻi+4aP4֭'(ű WLy'=ѷwdiHO鞧8v*ڤ˼U ^xxhD 0'x{qрOӕ Ѯ2%^=\G/ː, H";er)Lő9%B\Јv {cQWn9]7q(YF>S  fDArfʪ X7f(ɯ?wN-o@q:E?w-SEЃ>;^0 VzQw{ZdsG"sAX%F$g$r`=sʉT yi{c=`vL)sU&PFDg+:h\'m<;ΩgrI |(ڮGВ\lLX`ި> s17P_ӪO5¼2 $~գK['7@fqT8duf$b&n'UԐS#,TȽ@O"_y}Ghn=^-1 lܝ^҈;?ҡZ{(|Ԉ]Q( ]O3.l ',rkAUV7oa_T{wx`?ILlU&¬$:7o|~z x.څۙ 쥺-$cꝅ rj II-ʓ,DDֶCO::˘WꢪwxpE.>Gz8gkY3+Ogɣ!u ΍GU#X xݵw]ѫewv8YX%#톅 ЖkY.ɤ:ƯtQZp!hVPPn{}"#i4.-,zP# x۹H_F!α U' &X>9-sIRM N6_Qʜ]"@Gr-v!S=k-%DDҧbM*U)l, NV˲AH"ZS3wZK,2*UFD@1&"F)6}d*\= ersdsAEd%!mK'[>{n5#HY]2Յs#`/e}8NV0YU*b]f_p5!tιT!rY.}ȫ8柅L8?& !)\ds>7DZhHTkO6cr~'5i^|}4c#Mu2I= 9חIH]e Gs`ɼhQI1J㦓'/I=3YVjp7g\{cV=(ۣ֑:7+ԻdiG!Hbn67aZZ!c4!l Q]Lq*ݑ3CB2Bȱ_}6grR4g;5˷R OMӕX?i,o zj\$inO =Xt%60:et.uoDRvH΃_<chSv'ܱt2]0nH* ʙD1YJ:v4=yeҪb`Ȟw" nmFYA%W6#9B9N8I ff.O*A3>2Xnjm 6Dw w@UUnF3=J7&t;L^Urcёi[~I6?$`asjtMA T` gjhFFA.(t],eˀTL C)[ S΋PZ >ATOΙxJvgKL7O ۪p{HKw@qqDQTܵ\GҠbe,0-BV'%; _**"'J9ڮT:8u`Հ !nPe:-s,_Gꢵȅ5H̽TjZ[;`rd9|`676ƴZ4hTpZ?!G%7m.Oʏ>xFGoKR|)̄awwǮf:Io3yg~&yWCm3JUz]lw_YU)!RM)]E/._= ?_cRM:vIu0UZeYhQ&<+yL7*D 329l;_cmzzRonv7rfW `B\'Ǣ,G=z U]vl@(@\?d.ZjAm yڜK ;;ՌEM~[sPnJlJ+lцj'uPA{xU=w@E!#ݍғd^LSjImsAX/ࢿ*UFX 7gy^c^~jNSZP '7)<3iuBXhh`{jM聖bvOo! =RFa1ѻeqa'vCDdO4kAHcZq,ʤw ta*'o QcKs!QSC/~-or!4݉uW+2(z=, Mz)GJ 7.Y ԉ7b҅5 ,NwQEIAf֙>H|N8Gp.[MF ؉&*x!s+jgr,<,q-Y~oFso1dzv^fG~i` >4U/|qö IɊrMP8`5)Dz Ndje=G1C*hZ6UMne8/j2lgƧ8C`f΀74"1Gwr$İRg6Fufeqt6~W=&sij!607hX/~%KFmVZm{5%3ͪȆ_;h1~M%܅ω4(z6֮-UK4R 5o`1oHAanڴyY"Zl%.QNKk)1iZ\گC=тX).?'13wxe9.?MUc#n9YQlhE8:).9{kZc!lU$bzzhFy/-+V])zpOcC"nt;Zlz%AH՗ܽȉ9h!KVȩ=ܑN.wEQn'g+` 1M̳D>!%;C^.$zO'纰Nމv-#b<nVWmw¦4I+u?` RS5^ba/je f n8;J]*K-=:,s#ƀqbXYZD[? ]6ָJxO#WЯp/q؛/*qhIeib3Ś5 =#3|ʽ+K'@Ҷf_ojeOT1kh%*ImS$ [;~j]PԠB^ZD=ݤR ЧʐY IYhǨ Qv d3(:,ƤK-we"SXd-Oj{dٙP\ɹmpe]jCp21Y%D,B+{drqut-MO)r=hn\VUZc{/1,B/-[R.T:]@k<,`,a QP&CLC.#ZO.pNˆ]1+UuCO̅LiOzAziq,9˜$}իF^\&#!mqGփr@NDtSkBI܃A.nւ#uH`2W壎%9FAW3US]0asɁ`)ɨr6> %Ԍqn+IlحS}2Z[ '>Q_ңִ|w@36w@bj_ f<E߿Szڎ߮2TU{x}]5߰Dsx*¥K$noNU{FS+4|(z u_[2=a`X4J &uQ^5M>x҈]F}X[1#K}8b\z<ڞ ,ESCLI'g' E⾽ޠ1*~6[y3E Kg ؼu4b^~0r>T:FԀGB\3N=r]-ׁHTw:\6Vq/}n-LFEGvOXxZcs9Ë e](pbc7]5I4Z!{Ko0f!BK $o;8F_]AҸYeռ՘w]y!V$ݩezMA֚!JZ[B3X쳫)Ҝq !4ȁ5Ŗ626yߴ0>rV(k@f rwٜ\vHLgy%_1$5ǥOa𓹫v31sPBZ1.ך}_._5I볱p×6kQ_$? z}1EC:n+9586rۆޫnWiwϼ>vSEBòhnk4a{ؒah3R3Ezi~7EqhRބ9.2pa#_Rweu*zf"Og%T ͺ@30Q[?|9hIu6Z͵&c[*\L8,LʳGHVqؙy:? :DJOO+cr Oa&ʷ8qP_M1!L|Oy2WiMIUe8ܧ/7`y5WXoJMfp=͗0iDƉo E 901do'MҥA} ͼ^m[È :R Y p0bDLJ\ ,h[qŮ K13,M%b+{6G}'=f{Ul'Ȗ=zp5Jdv9Oa9$?i^, a:hm҄:W۰Q@ |v*$m"'WŸL0,=z(.0(|#65۰H{Â;噟q_a5+~oQżF0a+!Mr*x'௖H\$זͭ4V v@'UV<2*` LH苻y !籋5/JigHI;E,w ?Rf\ŭMm솄0sSp_#VˀF0qe>kA¸96ѹ'SI&t3~z-߹Mr E nZoJ'=ܽ hQ|YIKr60wRtPJgd5 y$\A-\BLi.I<R3J+f=[`t'G_@\:-6tY^]i;'#܃lS}ϨZ0祃4 w6~ܭ?r 9n4yպ]"> }:\ɑ1k]N;Oj=k T3j+{J=ѫU.USZvO*2I^jt=_y>$4k㜷B*zsbra O A? 9c(a, A0ψ:gJ\dH'% --1JnubryǍSצw!C@;ur>0)]mMVRmmZ2pH^U( Ql虐^ކ,̃};Q+/^:γ=,@z'ePNwDRDS6:0wڸ M$޿7GP5'a1Opf܏ꓠAj)$ĥn/oɷJf;7l%HbgVZ\cSjFLB/gǥ:VaVndAHQ'$/f7+#EoenKń"&yB/X`QcJKȊ:8rT0\=Qj\v27ݠ>`,jKӆw1(ƨcO邰 JhљFRد㔨Si?`3}7 ͙hvkOdOݶ ҟ{䡅4HI郠}3ڂ{ }O-!NmYuKԪ7K!9ݯZq(zdZins@-c,1\ '^;M+>lg۶Ż4V |Rf^fx$z 4Z07Ya|Kx:m_UsdV{Gx$ t,uv[^ʡ'BH'y!n0F.2;-oM@+ FAyZ;ނDis{-O+6cT&pwl C ˼chȭ: LN<@i-$ǔ5WtL.LGyYA%",I*5cEPld}^WҦOy_*E~3-@s㺽II^dѽmo30c]:_ إ<" &V\c {zgܕU&#eIMw>W,h'qp!w?Sq?WY/HUӺ,razGQCVU-kT"Wc$p #ǖ(vaۼ7Wf:R Zߘ6wuMNmBL˂o' ԛg ol Ka=3*5s$>3>rBv^F1|"- j`,P| >&iG$B^;O@|P&3 XqkFͭ.u/SKUn=m2N#iCl&5*dW ?rqsy^}3GΆX 4KXX_u-K{!0JʧJ v@D2 K)¦͕tBU?RQ*XG/嵋ٺHnSlJ|K ;(Oǖe(C ɻAQ՗Oam5RiMGd*L-xY ?:!CRGWއ 5gB wL}ʬfOEj&#@W};fjd;9y@lj5LK3ǑIQ=xWudݢk|a,ܩݛ5btZIɵRo(79%j.ҲdrQRBPl[6S];w$ySB%0M7۝aj l1{f0L&ɥóͨl7R yX)Fwa5Qf?-\ucWg,_27-$mES7rHpwj [+@<5CX$0ORݪS0x6l1U(y _󤠬'K(t_(]W?`n_yق[zQ{xFp~%t7`+_0E,gAs.{Ji0 K6NW<cbhuG|H;UUNU*X wβnBX/"]hn^.o>W}+ `] hm@8T')g[Y&ة<ސ:}ZTݮ .Slxe`4;>/]av 0Z4|$)%j7̋8ZfCYib0 xSsن\]0{8mَ{0DQRTgvʴx=4EUZfRWΜ*юCqʼnJc[̤|ikx܀2`G|C͓8V7Gj&;ŭꗴr(jC(iT[F&|"X!H.pWiA]_C(XG|!k-.Mo*7  V8/+i!g4)bHAz^;LLn{x}{[&bp_ž X6.SH%#Vh6uxꨐ+i׹FqIsJpl2ɒOGE`vEpOTQM2EOfb>f,L_>wZy0W @z _T\Fƅ'aEZ &q$[Id|k#Ɵ"zw&&u&#Eaę]Pc?IBbJε~R`mħEO% u& -rտgf~ͱ#p6`N+>q|<?zղ';Zƾl6YԹ$}u9)@}GّhsX:Kz;2"r Cote~3jy-Tbx9-;Յ &"3߱`X 3=\MgՓ>5FC_@GZF|ߋ2i%擎l# ZzdC}rD%!Xu Ѻ iBrG6_dRRtY~>.HSNKG- {E{ O8kNK'\h#}J8ХF6/.OvSyUc}TRt!A0y/ .Y5CH_ijKG x}0#ϓ"(QTd%pn 30s]\➦SjJUS܌oYF08PJxw,ys$7t~I*eRՔ!ӗ}/d}'˦RRsmAJޞ@[Cv&ջt0 dhW.TW\NH yNp^nړ}"=t!c{uײ$fyVuҰK6+3XKD3IU&8y:'_  \=x..I ks"YL C^ӉqĿuF)F[G:O~eQj @k8j~L%lLV_Ă܇Ւ#Ea::VS|s<kL?q^O!;M*C  C pR+C0F{X/V }t~D>bˏWoJTe"QA7Ǟ$ҦUڀ0ɷPFOt6!+Ly#iAyIMp[#-yVOy&?p} U'gE'JOfQDƶ6P6 vd_Em EytkugGKqAa^Ty0_ZaW^E%Jr:iAO=D/߶# `;QUebdFAfj? L |pZjvfI/JS.g rmTތD9%+i݋4'.XٔCj r 8T 8\{N*&-c5ܛS7M3fƒ)l h \0 óJ,b:EãV^:1deu͓<0G%)6:%KEpp4NQx}7Zme*'[l4eO1N@A699{bSb$8A5kOYJ7+`]!tȡX/o$A O_ Sd?. %d[ z5ݩXIWl}VHKT>YJD&ByEDZ'>O˅}z[N\\,["Cbrꈜ_䏞Ҭ09cRGZ[E>b\8{ypcm}J`(8j, Ɣ۞/sHX2錡)"OܣwlgvOY%t &%L]i@۞щid\;x{ˌAFjW{ؙwp-,οp9!i}EN:h"PfASyT =UBw|nW0x%ފ Tϡ#].[gk.mG,ЅTsw@K^4qYh#ЕE1s1#uUU{?Y n Κ6EdhoQi2Aa2#xݡ-j(s Il` HT ඨ~t8J-lcE`v1x<Ә4:V¡hIg8d&`K&3E|z忍Tui掅D{keN{pxQJƯ}N]Ôo%]<^1xGl"?ǙAԠ^^j@[GO00A FLK -q yuP鄖`3Ljqwͣ?Q|%)_ƺr~$I't d=Yrqʝ/ps9 Ǖ㽚ۍ*1{#b\`hd J1bFvY1-% _aj*꿨f z.L<22Ż<* |QZc[:'}|xX}" ARfy b@L@ҕF[?X29!:RP cQ2g1Wck,}lSӉ'9ޝʏ؉CJ<j3 Pɰd r8pZly9н( ݰ-NO 00}[8JwSP3gxwE *I9?{@Ln"hvb몐FeBpyr;y||DQQ sSIp mkyW;~RS=<+|65-/wa+[RfXa~e*T;rt%PHk# CeZ1r1ۢZ(v7I4B YPcOC[c)kG<Y` Gd1t0ڒz){&N#GŪ_]]I31LY#k2J7#厫`c@MJi7}ŃCBú 9{Oָ7h``+4 Hd _^'|7mtw?Dd1q2z4L:Fem>ڠ)G/MPco>޼h P_i3ҋ$c2]|j`{׹^Q?9·hQ !TB"i#eu7p_zҀ26jpyFy- U;oweWe{U>sEoOqV\GȊ,!Y$}v8[앨oOl$3^Z|(7;Wuۀ7e, Ng!Gf.ݶY[4rYh=^~Y;5prwߝIbjRtdX5Tv2(;2NtF3:\K=~=sL92`@탰͙k5LwM/%}҂#irӲID9!4Q{̩r!Zϰԋ́5;ҽP^pbVyw6sCx{1Ea1'T7ɯhn{.h,\*)S;Pxkh2݃mwo?HP]HMmC @4R\Tu) Zb |@a>iA,}$Gib Fua6*B[4obP8ʆyf5Bo˴( T]K L:vc$(~%Nʯg>*io7ŕ[6H bE(h |lϪD<~3E~N)~M>fE}6ɏ)]"&֤ClTMRy:I7(_gP, i s`jS -mpkRbb!dsnx'Գ2i@~`Z_9h$|; π: xwrP+31Ta>0VVhI̟L$Qi0AcF"VNRP Tx*mop̘uݘ&< ;C}n]/Gf=D^1TG Dp_9(/Rm& ڗ iD[f @74q"oأJ32^Y 8} -q=iٯ4#NҀ8+:VݠGW%VH gaWUz g %D%ْʊ0qsKNU'ֶTmh^GAxo|E M: 1/4֏P z1(CE7K2К +pngw}9>cUZܽDDLQR6'hGm4K'V'IE606j$)H5b*3[!{;˭ 3WB3d&PAcaX.-SΈ>ރI&i#A`"z`#_~%>v\]c[=pDUL$G̨xZǴ"&ɗhC6pU c63:e7 ]]'i ψ!\L`p]xAJbMα*[֎+"? w$n8ăt%㰚5g 㷌dq!OȲ}1bqg cnp.εԆ(9-o2~SW9$OкX%8 w