SQLite format 3@ 8- llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 5,| ; HOL-Nominal-Examples:threads=6elapsed=369.042cpu=1380.984gc=124.904factor=3.747zXZִF! x]ŗXf1-q恈ބԍW_8Fa/G`|X&9围P X;ٵX9ʀu2&l ]5xJHrnBbb,T)C}ۮNi1@NdڰO쨨!NChTc^J#_2F[?\{7 )髢&u|8yЊz*:`ָ֣eݕ_swrQ;G󧌒FIi wo 4҉:oԏt9\B EDxl@ef+*2?y? \yt߻>釞Cխy ߗZL2Z3:ӤEXC4+n.bLAs 2WEXEAAwd9l~y\vs1cŒu6={U%K:켺ȵ^錢Yv"͔A 5 HOL-Nominal-ExamplesU[X|Qƃ}FQ4'F18X֑C",2lJcsbKf:xy!"tB\9b1{I t<{5Y2.%ޏfyS@ª{l_/}Q-_<2N 1 cidQRg]]Og\hBȃU0ʘx/\ְHJ#ZKֽtڇDcb<ar< #Hv)~7zz_AdarQfٽ5: ѹ&㟐 |m(Xդ;Y\Z b4@ф=Lj?\-VgA!ZvS+_!n,HIW'.@}1Ǥct*}x{Gr.>adtnsc7/Ehs^)E\1RM>;tr۩ѯ$ 0 $7mQK!Ѹ:WөHPLMfdh6sZ>ã!'l A?t%qݝ@4GEQ/v;DJn5!:56kʲ.][jR[b' ^] ~p=;_t<'QPK5|AVPC8+i-PMoFE]{[`ɣ-KS1p=D=nK%6"(='r 條 >x!|ism' ,:*&n5(s F0F"2!31C/I gL/5>hdB%jtû8|?aw?JXQ-"uxNoeR0[3*ӫC27ͼ#as_DWqMJ'h} L94 aj4Dp=_e%o(.ÕȤwYO^hk aÜ\RyfQb[:hSDuRMY!4>4>iQ:}Vkir ypc~sS2k'y4dK^BYd>M;rJ(S#F"\edqj .]%Cˆ6wj,7;"X,w~B>Џ{?~,a\Яj Y@vF1{%(@'=M_F½zފ@z՚UpewGI 4S~Pc[: k\eO,U_:\ov P!'k2mA_Z/ ,~.kU{+䷽VUs*UfgHN8 +.r"x]\?B,G;2 c,isD q5ui I De{ RDG~+U (Yֻ"p^FPkm0۸NZ]apZ$weu yH*NxhĔ-50$|eFPّb;>F՜n2^J_!ugF`Ʒ 3?2g Ul귦D^,|dP_hn6涁6f@D`^_ W{Hǯ~h;h)'60 U OXUm8- gqF5U<ݼL:r :ٺȕ u CMҏ![ٖS1sj)_i8d0`2ʯiT q HEhݎk:2tJD+نAk Z4݄[;F1gW/(hVGupUrT3RlD;M`͍3~9# gjŤEܼ@O$aM{P*zx!%HZ#;^-`n 6+c[sŞ'DZ , !%,8]IU7"*bN!`B Ii az@i EaaLD$CmZuS+P$zv=ffNȑuZ¸ڼdʰ%;C 1t sp)%h]+;}myjDa(G\IO}@QLBHSၵQV}Tla?ƜȺ7^*\u: ≫oc>i\d1IqMv3Mxt%r9v]Sӯ k@iPz6,#ThXveιUݔ0X%)ؠN{me(Xu)P bvN^HĎ7cd#ISy}ZNW3܃wع]]}-H_楕0KDŤ5ejAعEBoUwcxlrDSd, ;𗾶EfDNj•u^oJj16gZi>H Կ|m2u7L“N픒1;A`wzQ l8CVi>CwY:Z`ϳܳB/h3VpN{PP T?N}J—vh׏͠A9z$ Ry}K_Se|[~P:aəǏ]jWΆ)q>d֠B %zc]jP՚<0AU{jM0v5Eʮn>VhL@Kd#r IbC!3D|2+[I"Xx<,! h/GfCBJ%ks&<9IJ,Z{+1-±WA0@`mɡtxJA i 7(JHݛ:)*1.*wxC;5-\AmE8 jb%i q[rP}6=dJtIC6/0#6«Cs$aFӤ!ʠˈns Pu}6彺X[fvƍ1_Gs." (32> \~1f v Ay_BQC[%!'C)*3K{iӃ:0<Ψ>W-\^;#h<#ec=9GCHpIf$2t3o|WixZ~fk\:*ǀ_H2wDc AAրTŻ#& z囟ɻسuHyr즀hOCׅ3qI2X{?V|(f|yw coz'UeX '{9Ac A0~2sFsOogڷi. $Or^%w[?FJǝM Ե@V 8F(`7 \{,Gv;OѭgA.'kCn0.D~ת#$~cϓm.X(i݄b|kB`1A\c2׼-2.F $_ \%BEu-$\ӈ0VB<*=r%>i/Ov+Ln";ᶈa_ DK'R l13=:ZqWI\Mkw@R馵iQ̝ݩi/k6#o-Aj T3hv._% ^rRqEgB|zp=k)Ta|5Z:db05h1"{ھ&d[& i 's.8^}sc«!:oДj>Mk25rB2dWwm fJ> lj349 ZTՒzK@ +h'u<VhL*(B648"6Lғj3³|Ha BIkZSj [#HzHǼ5=//QT]rW[?<4H袻7P $=(* ja(h#yV%Ȯ`2ȡƟ/MX .W齳n);  )(l|rd6le"liW){ t$E>vߋC[b>aX̅n5/.~t! .tK W؈}-{6/-^u" ]mʲFC[+&B ,lR-9d 2R2Grt׆JEd4#GSж8VcBoK:,xi_`+&XNguЮ׸l-k̮ИTG'R,q!+ã7߹,wDe׷-@CUNfdHm4,naQ@&fR~BhfYtLsJs判^F) m kQdbK^?BvrU]'K~}e sAPBKd<Ǹ/~P6c *ԟ$pcVx^ݿAnX:M_wviۣ^7TNm;uTM,50C?]@sr3'l-E'`RDG@33m?\$0.\]UOTIJmS󃪪G B- z Ms0{Ga{w{0S{Y29JADr="LtDBLѮ̧P@_VUX&т07&ؖ@w`bn iOp7h aԢ|vɖec C\G@tZz<*cp vz:: qCmb2Tn[z'uW17]J㻫 w)w[nk]2ڳs]"I܂naaWIz tHrbFcr^~O*s"Zp z9SZ5"sA{Õǫo he5a=N<ݶх @Sa[ɸkrh@%kQx50tj9lSk*8ħTYJnlBeu )m[,_IMK<%Jog>]iw1?B/Tq8TlԏIh6AL5=?fO0b:+S ;|`QFX<1gݟz$(My8 x;F6=I+M/nY/>`טחƼ;(wtt '3t;-r'of6*a:.IL#6?Ҥ&8"-,\7‡KL$џ{)hA=|}YNLBXd֎ߕŶÂ`Ʃ"\nǙJۃ !yxGL9#+4N-Z6񍵸"[ͫ"fd2X#5&л{l̪|5 ^j2ThMnn&uhM2؍-GkwW=Zod pD@&U*SUb6BD&ɩp)JN6P썅SbSO ZCLLhj<_)4wätLj nHuyͭ]y훛84τpSt0 *M VXX'MШ&;Gg'KЊB,Aadtü,vW^szy&_@Ó9٧90Y'YePqS|WoX9tto3cƎ$WmXMIeN 0Ձ?DNyYYrL%$I гpU% ȐV5T%Ȍ8V0|MXuVԊCOk 4G7祗Jhk;f {aHCm>-30=NDjmWN!cӶ1<#~ۄKEACosCe JR=ni8-+aC>U|JX(جPg4ym,Dh8;A3٪QT!Ġ'%_.K-w4Cp2 ^m4G63LИ~?ǰ1_GLWYQKXy;ĦS+A<%\a(P6]XT!{b6HmouY#4o)}RZa;ith.ݟFRup1F."ތaڣV^'x-YudqqE~h;](ZRV(!{'dܟ JRCޙ.+,z 0 鷫%Bh GMG$ aC.Q&ih{/c2w":|nP1'Q7qttɵr}A2GoI&3A|S+lRuwj+p)ԉkCe*'Y4a`3܃YwVe)>G$,*Шu%<<0>GSų%pdlSJWEN1a pةy5|g@~SA:X)' d˛c~'Wm)tDzfȒ#i~8NQqԘ a&YɆQ E7:Z# \=bc\,KYV,=lOʎ!FmJtj-zp\Q xazO"JS 8ˆڷꞈpNf|ςiOʌ(!XlM8%L,X[N(o;+={KUl/E"l_>alDiFT6 'c$h2x<*qRжtԏ~v+}N$S <$kE[~h~yycBءIVaeu)$HM NY~uwCy^V{?~Th1/)idS҆e}9 -Ρ~ww-6dMBࢁP&갏E"`&C5(Rc/lO3y: fx^pVf?wjPqo*19db ܃0Ҿ%`1) /t7J=a4>L熎P)BZ2wbIdzEAPCٺ1+rC%֗C@`ʢ4;-.W=p!͚*|[eslxiFb< v,*f]CZטKNv& z{`D|p(l NPHe#EpGqڇ4L VP+FD- ]aM/,A8N3ܓUh [4j;pnRI0MUV045ʞģ;mj{5q՘=q7,X 1)NӕE&hGXj xXբ0 g m+hoH7a؇◰Br'iWxVh#ۆn.m:O\lt>ﯨ]Oi:##I&7N;f8l#G W㭃:jRB& nlb g&V:hũlP^hn̂eeԮl=ӣo]jnU]Lɛ358{rm"!fp$`knca]븭f6"rJ{:MH d^VTIwkΤ?y5UtW5^KuЦQݴ5KzD5 $(%:y@@i\d+ѡ 4g`Hcod _< ˧SRwE`wR =,AYa5f8 D5=_2DjUilt?pDLC0(D HPW,4#xDW63:6m,]G}{f)6V3kd1Lև1\V\/v]wt".G=`йg@ܑ}cI(Fp~_sOZW jMv*sk^.ukF^1,!]|"bFd~$EʊUF1*s(9QVj,b:/ݲ?c4mxvMBmΉtf=-J^S/]xw9&kW{ _r1GCX'aio>s,6mS(QzO|cǣIx+RE ꓩi݁B2A;kVqa[%T cA#]}'F|ma^4)dH!J  pW"L^)Q6?$Ȥny9^s c٫SRRo:`N=̴ l0LRDjs^? u1wK^-UNc}?UvNAO8YB%L]Er\Gj!3;ĭVUAԚ(A)[H)t7{ѓ+ŎxV'7, "8uC}0+rC6 %Bv/ S9&hJ Y۷d$}r-E-mn[U4bD%GxjMr臋z?q OAκͤ*:c],c?A2w1t(4){  ԣ(o%=zL{:\4@ ,9\=db;_Q$I:SGq8@U:fii8d3)<݅q"IhNEK /~D+1&`zpۺ d:U*dmfQsRW)X10#Z1 ZE}!w6B)?~U;L+w' Z# k]Sa/p$[RgwUe`IAJ"}֒XݡJA 6 GưNR!iPnh b,j_8}aKsϽ&3^)',le}# t4H_Vb7=E1 ;Tٺg}K>"fɍ&- 52WTƾA)uBO%,b!FvMW*Eڏ hc\fRT.y#Yk-c4subdF7kboV4f':`M֐W;a EowR%_|>@9õ_5O*}ꮽX<5406kr:hObl}#Tz!jpoG(bבUS\];ÎhՏDƅ; *sM 1u(.bBC^q]JǺŘ$٧6^h|Qq߲"Ec ,y/&a?w|/Tu#JH_kXF Qwဥh܀CLSy5 uad5DKC=`MQ2?k駛s=I@?`g@Ttv@;j(p9Ƃxh2nH۪}{)Iɍ#^ +_\y^(@[J:l 㞂.WiV![SXs,xa,Wۂʆ1auiLHAPWupׯg;ک_:QEiv8eΛdI@Sm 6\A)Lgӡ6I{@_VȆ)0 ʱy3.GW\DX|<4X!7h`ӭuUuMxw܎`! !e"2 DopcC a*Ӟ'%xrh7EQܻz_h0$ʨpn4Ǵt8#d=!hq˃W·2iJY)0mdY|R 2s*b/)GiL;\JJc*Ae) X̳! LK,C\4Dr#9RǗPP)A>! ńS5 +!zTQ\9P7nnMi~_)ICM0vUfS᧑M< {bu2 cw홉2޶p+] leBL-Q SB`U\IDIрNuPo@Xv]&$f4ev?eY#5Ìdȍ@xG(j*X6J䥪[͙>#yeԀWEFK3үS vr#2ݰJslWhg^{<o@OO_˛v ҢhAAeM{] P > uc֨Po6uqrI+ƭs/!07t?}CT= /p|/rKQ!űӘ'9+go4fo/$*B)7LN Vׇ̚mSRRHF ! pTx" OK`f ?T/,0knRYj.Bg=Fum+$_ _iFs(@6ՙ$e WC&z_(3&04JkEԃ}i; vy%қD,X`Yўq]YIp)N`*B@ Ǡ[Twծ6tDF&F4+w WqN4vl6.F|yS;T M{6?/-ꃶOJ.7q_l$)u7=eB}pCI9fh5ׂ+][::FZ[;ň,L^eJpJy-/e_vAg9|\& _X|!ͨQQm^iHA滝oDžhܓ7H\6_P]00jP.#}iX+ ڏaED!|ohׁddE3}o'6"TEM0;oM#;o)'H %k}[ޜ] ;(ݯ3`{۠h:uŒN\KJ"oٝ;V!Ky?E;<\(!0/u2y3P_JDaU<[nK܍\+~ }1a2m{=KRXv@ɫ׹/e(S ?0+zI* MSfF!UB%*TDGVZz1HDRAwQɮJGX Be8~J 0k \z1(U SAOHF[ y_Qv )I`M03>|! #dQ>LIbt=f*B]TS*|L &y wM708qjK [ysZ}!Έa6(>6O"gj*%TbH*])a1qk 0O YĻ{t >c'V u5,]M?i1D@iT1R09iRwʼn@iwŶnb].ƫӫj9dfȀ_ڗh4^wcw֑㔕]ey+qћy,IBġ_+yGHwWIOS ֯<41. ~w0_sJłI)==?'3r"E)2Ʃ3L}fkX KF [iCUlq}o<&C&vQÄ_1!1(omlt_2BA YXa WŮd!& &+ZLXB QogB=&?K@eeA̭ =J\3蔜HlQ=զ'bjuD*CO5ML u@Xw?9ZJۈa贉EI0k9:x7 Q4zl 3L҇+qLަ<: 3+I]zl=#.2g=tu./c7b?Qf׃C:%XP5F$ wľaF!p./yQb~'?"˘e"ga]4M?ۮD'klw,nH9g>hȇyB+~ruJt'^0XM9Gpx ōc"?D|^$ q9f 7bѲUHa';fp{\ 3 Mx Uz8ch]Ƚj+ qtn i})5k礪v϶g]WZ^̴tJ=eD0oDd7IU5V^y̍ڹzfGAF x fzA"qO+Ō<Ί=ņv99jv)8 uk [|=o i{@y;1n| z}8,ubgqQ,܄&|[\Hsi0Ͼn<9d4'gOןa,jλPQH@$$/6x1.[\3M^N1s yёRWB+vRsk*=ni/q:Gʀl 0I:A5LK8 +aAn_!:y 3|̶j;C|!O{Iҡ2kCl`kӹLܻa:X2țՐJ5_pٶ0 a#_1ÐO||1`# ew$!H'kNoh2RaPK`#VJϘs=? MjPvYPM# `|~NɎc ͹_Rt?1B:c K)h7|sd(Fʮ/^CJYO0Lo&;B!v)1 lXYcxX_MPQY[B&7^(dXToVhFQ,^1mv^#~zv^1uJUf,5Ž}XO_1mvNa)U(\C%;:Yܿ?D{C0r+ (gu8ZJxd2QTŕ( UkOTq{w/bmQg6iyR c7 `bKxWq﮴ϒ;uYbD~,H1\m#pǩ?+4eBfOKRtU& _[*YH Wyt\( Ls+K}7M-UA;E{ÑwAFR&CkB?LC[ugcV 2b (P PͮJق630Ƈ$wQ5{a3͔f]Tz²~rุOH aG{X=j&|c51GW7mr D%"ź ,X&3gn>0Yrdsp )#c=\,R#u{H[W;`L+mtrP¨}OJ.xBhSqLʩfErQI;Uh}BHAw tˣ껕ҫ,5ThY)-7H8+70o;򞵢=M}oHF̀Ѫb-x![0^?5qыeumɌ/}.@8^? ͈!VMF'Ws%!*yl}}~;N:G+}cx6:JfJ3Ş>(Ոd ] :bU#p$ l㽈Z!J/X)fXQ,ڀ& \Gn/dxw`qZEzr~{Ÿh YX Wɋ*٢q­69wi""؀C7\n”q BE):E7m&%Mw3a $*dFţ66./p!29, I,q"z-f`#hje-/Ta5ɋ&K*i8rrV:8dk# e}5YxDAa`r£ ޯB}4m "`Sxt<".*jʐ!eʽjv{2Fp=f%$+= >>7 $sKuG)/ H]k[)+*kmT܄έ@3^Z!`7JFL7ȫnG<~i5ͱUy«նsַd4=u/MpsGuxiIQy g=bѩl8dSۙbToXhͿt=8 ۼy-{^̦ +qjɶol!ꖁ 4}cwM/UמY "NkRX&Iuf7p=1E`.l0_"(CrK 1N 4''ĉbW@0gpQI0ݙ|v%rCMEךr5ē#W{IY}`C,T}W+^POMoG' I)Xs,FlC6݌5 7ľF [?JkQJejw|` G ;)㜫2v3 |CFLc*LW*Pd-?RV,Ke㵌xj-U& < *F6 T tw<* x=D]]6'P0[ hOc{x%4XdVq3Uv AB6K,EHXh?Dt+J ]@C# Xc3K3AVaTew-2i"l4fwn*F d~h"vn x<ӗly`Qa< ot/q6nVȊ]I#FyYT:ݐ#&/L?7=,G'aJJ|!zؚPe6:Tq^ 2N|cfmRTW>g^v(׻NHmE-jkKTc~{z槼zL.U3\  K?ww˴Zs; :͎F(Jяq^q+ c}-sγ Z†4}ɼ'<"@)<9\'>"阠NcsD.<>Ņ1`yf~dIХ]ԹVXcksm Q'ZN[:!3N#~8-eO60|Dl $23dH[m5,@1C06LVؾ蘙*z4VNh& ^!7&-CRFţ wf = "idy9.1&H aZΉ;5dkd hP U6w}TŔpK Fxz\nZYw<#F6ؚ{s ҟ'g: W^%`^e`@\C㫄a=Y< NҧI`iJvP&3b !aؠi&*)f#~w:C`<(wo|O9ۢ~V(gUE:`!d e)X9|Wmr`3qnMqf9WJ\qeͤLwAJ9LAD,&4p-=HY7~G?1+b3۳DN0">=f$*Nd~DqYT=^4N؋hzȹ 8}b .ƃ1Qs60h=Yd a"{`' GѯIX,A+sLVSկI36oG"4lxLǴ0tZDKd?Jջg),$]?2$-  a̴_!%}18DqEંâ.49K/nW 𞍊>Y]Q]MB/|^~d8,ȑϻ)$srϻ>6]J{ExMZ,.k>DдF¤ !1#N2 gh.{Y  Zm_"aĞ߾V k33h䰙S{Id-Q:l'3'x뼥<*ePސL Νa}R,!D=ah:kM۲o}U5z"fPw[L` kh_yIr_"0bnA (" c +07 8!e36 vT6.9$})Oc-! -YM70]a h<x0zY?|P92?Oգ_[!/8~(*GS)SK ¸ (CRtl>XBh/Wo4_ `ZfU\H")PTn+qT+ f/e/+f̟cd?4DNL?b ďFj@q>65ܿBfGTMl̑ fEMX;ƽ_8^DH@+ʴaӮTꬖ}FREy&-+,Kߞf89 oE:Xr!N( \wm?Tχ2/LW Y6++4;eƶAwqtb =̂A Z~MdcBشƓH⤃^ﴋ/|v\H5Q 9V1bs0O/'ka;^6Z+:μ+mlT#稐DPw#-'Ӎs;\2cP]P*6 IܷdugD׊&gAh5ƏXD.8cʿ.WTdȿCP*?:R:] McȬ|1)"3\phBP|)9e"J8!oq(ݢITs[|9fߥF'up 5GOCR" ?;Uz [vW^ g @ XCގ5R iSܕ|=":hQvoB&0UMfS3Q79L{@8^ثi맜mtN @t )LP ]zfd('7r;_8 30[<e&Ex׏֣Y#c@MD5i}}CLQu5S:;i6[$4lw691En0`5|jmu7"[R-\r߿CʕKMCfkugkzjOK!)9w8`w.^3BcݨL|4-]l~F͙pl@\ئ2 gwìx0sGT[:Xt+}?wqIWB.W{p;x-l = :ҁM[+߻/lP@=`J5䂝 ĩ 0qB> \m_Kk]iz5PJAyXll[~N'[u ^γ~I'':j#u 9xzDQ؇!l й;BnϻToŕ]zO3Gq;#"lrƉ XY0H q(cBRߡ<^Z\R GJ} >c(=֮ >^->xChbP:ZQ!cb `$_Vc rHMC2iATbFC_ꨭVw|]c۬< 7 O\D%+Пn>νݻjv~Sxץ_D!gLA:y%KzZ;W,pRiS}E"? ns([<QpU6sţ?k$7A;']LEI'hZ 4g>t4\p9Rš9U3SRKm|MyEj(1ieqPpaV?_@MA[8ےhqkWt|c([v6X/ny+Z^L#T =z+ZoܮJ* PfUT)Gt+rEN8ssߧ{X]7YI }q_Jy &M1y*=1Pg3'RN"0,C(n ]غ>d. $-KkqL8tr:V@[*3PmBtGl eDŽ-9u+r}"*Qkҥ0x8Ro3Bǽ|aـS"'= wޡxECWŁEد1x7tUoz1!--T8*ׇT/06|z+-v)-{~^:b>Ϫ<~dUĄ-\t>;b0^=t\cETjWY웚}(9#@_bAnj0m`MT?N=22AvbLkA}K.[nBUu RMu\K_w2}=&**Qb]Z(j}\{چI D2#ҐZQRp TFǩOk3^A3;ݴy;0!!:سy= 2Q7iܵx6?vy zW>޷uRm|![G4v QMԟ\/)u$H;ᢪ7‡9۝S`KIS`קv>>r}i yl(ʀW@T8㚶MʌS 5iq *w6XLW![m~ 0 +%NXg̟p?S aq ~⮳Z)]&{j$7\M[\DB " S Yл|^m *YFBtq[6x/k2/ ѬBE}15ĆxgV tYqz*<_8,nպ(#5֗JW_IWa8"AbBм Nn'8e1]w$_[eRAq񥂸,֔ƋߜczS{rҟG c`# QS~P2Í_ߌV}%@5Z$+rDNWWEV!)MH ueoQbt^Wm3άxb"W`j:bM%BS!s:Khhu8g%^b[<jH3`єd X;]nOD צQKV`lx'8!/6;} t3s){F0"82=#䙆yi8`45EkłM>y)V`+mJb?ۘ6g79[Pwf?E[G1 :D9I+Li*T%pDk!F/66od22P::p[Bܴi犰rO5zg}>qeXذ4!ֆc~R#ۿ)QҖ8\3o'kT 1ot5ōEv4`#`E7!>M DQƠH/hZ+4$Ce Ec: Νwn$A9.۰")VGrrRQ\/l2ȑN/W,29_}`M܀ $L/$z0@#ŵ狼]@J<3 5 Szy)QuS5l"/ߛZvVx^uC>᪲nC-=,+-MIi;FA=R=Po2u0UN'c'c6h'mDz:_*Epj<ΙxXTqƶ*{gYZ7zXZִF! 懰W]ŗXi%8|ƽ6Ȼ9 :P4հZ`["fi`!/㋬ilW5P =`cI,ggwpZA; `#"62oN.tcMLϬHLg̀`@%/</jQݹ7 ]$O@3rsFΡ)p2GUᕡt5- 1 M 3M]Տrk w>z-9Z;{͟@acgCO P]$Z@+8lN\sawȵf 1}}ᩮ.3s:{$mj$Y5L m⃨Mci]*+Rllq;e)J rg“^ yngh*8 =sOϞMva><v&%bt2T_i]G;j)CbF &8/"07~drYcOTig6kbacQ)ַ&'NECтx/t`0!tNdU^5?DJ񘯍"]*,)D &DIrw?!e ajxSr !}9(;̏K=&`X}s3a1\ jJ'7Puً +P Ow~ڴ|;v]=فG;p(|!KOHǀK)`&BʂGLxoObMA@ͭ=.z$QXE"JCĩtc0m#׾9\2VX R1QoA TF>.hU!g!Nn'tE@oD̒5`VI8E@J'o] ~} ٗ=m0RY+nf;[n7OA1>R`^BFSڴ "Y_:#m~c*M2;:|~fwQ$[QgoP 7$Úw|aW{ LSmn`;Q$? b`s`eG PM"]m=}ٟG_$fKaD56<x1Utv2Vؿ "pG ش#Tecݼ*{(5(=HDžLw"EQբ0JȰw%T.uIj3-02nzc"W)r;&oc7~` ͝q4XW`9:l͓gBkVM O`ܝ7o%wt`Zx;=T".Q>\x+%C ك9A``3I|L+DRV8`Q_#\;Iusu [TJ\*ʂ ǭF%/ȼᨵolR+[dxS[`B_Aa$C#doRɿ5Wdꆑ<`qSO7+~qڝHأK5yB,1M*ڥ- ͞!"8mŚFcFZ¯sJAPIESFSKt_x[K4ofz&䶦gtd !fd7 g m ۹&bZ~4^C g6j y=7CyskW<%հ<.j &MtXp34&ܪ@BiF_N}~k#@[LH ڦX* , d2\r+uw8lOfC&!Ka I9,즸d"u(j Q3S7it5n 3xcg]S7ƿ7'S]L׭b׌#ßSKWmԨP]Pa0jTd"ct&pYJ\s3+alrvt˺sě҅֨kg DJQnpN6=e0\d*oW Mܣ6U&&O)m h E !B_6!(ѹ/OyLZkVC+|cM[gFRE%+^{+.k؂Š'¸t p ڇ e/gdwb9!w{)pb?CS#d,|np2r0Troٮ7SypkOV9qmsU|rz_HZ׼@Sy"s@EY4,"LPju6OLLH=cj7b-YI:0CeJKTsoeoM$(۱/p$;K7Zaxq@PrP\S6GI<եB$2#z֫If;ipi5UNprc|jH? *#XCa/+zx0 5&ah:_S,3B#Rľdt/'!u==$^44QS?F?|!KK#_)lgǢE!/ #2bT6z$7+PdUsaxzCXrŵܭ*){nh((ygm7_.ҲWk6"/sW!DI΁L#b]ʕqPo<ځ4 I&?Ber1ߒeE! ͩ]qi;1諗)'/NO/x+ ͸{/)GC?v[/X ǃ8$ k;47ݨW(͓ pA)nǰߴZ`3|_DOo(~K{FbFg;5͸fҰѝ4}g H)a <:o6)<:͹_BXIThγ=CͪmA9qM$߹Ht=NVdnUf׌Mnjl9ْpѯmqv7Euu#/3V(!]-EJʚ "Ycw/!nګحS5鬌{ ڈQMh2yS5^FW2l*@*jErr(N\t^cѰFJطxbβ q I"d eVDٺ3K T_cw2'S1,\pWax St-DFjó}G-9{[ő#׸$̖ '/lRo\ xļ4P&.n( ]+-ϼ_$r5uyx}!Qm#kS6`u c'n/\'pCI=w54?s}E+9 \8(pNHt` ,x).q`ote3|MT8;@t|w=?,sZr{uzF%>M8n+TVl!Al^K*`WY! voe -G.ϏbۤdYR͜`DqhZY xM`7@[ pcE = rK18l `s@M֐5vlYCp^1䵖 75ᄁE=^iu=ҬPѨzTԎ {N]#35EoW(\qä5{$F_T9ּ wˆZB MMȘDZ\ȌqǭLzhngRkTH2ŗ5}veءuB>az,;ޞ$ -S?_3A ^[oxD~g $%^)8ϓZ.'o{'^ɿ A`ˉEk>ƪ.7p߳n-H4j\i{.'l3K 8zn\|$<ʀ:?m89J` ǚQ,` zmov2VeP}D~L | x*nK}ײ 1CS鞳*C=Hn;Q æƭ9\_2ړ_. Rnbq?>y?xCI0}1ն'b8~9L`D8d(,m[pCOSƦdX tbC_*2rɞ;N n~N|]y,."n7Uvp ܅UCZxQS&ɜxUK̽ƒkpd/o~trpbRnU]C\uH |C`K=20zvo̡ͬ+f>t%vəe$#'SE ?INA<N O'wҴ:RfDx5,A/$ F;@(*J5pbE?]kAq\74 vjMola1͉m-;b ؃ChT0vB^׶3Lin:H>f{Q8ļ">9F,̸v*|nD=Qh*K f4./")D6)VOz #zWd)k<-ع!s]MgΦM2|K[%XNvdvث]I谣q1uȮL O6o401wvyi9- M^sQ`wAHb,w)޿o=s8d8et1} " V}R K&C*63bfPrxKn&|0VGgA~b+u m=yXI('*}Y}Hg&-xO`Gґ l*j ðo4{/JFS O^쯅 %&v {$ s#M=u٠4.[Zv{'}nNx(G@9b4M^O*am@ʌ ^ pTf%yQ[ټi/fY::(pRPk^Hh*@tTș\yYRö~k˰偟/@,1%_Zx0m(gcv6 7ݕgs;Ro wJxzz$CI%:'7a$p?q?JΟw?RBs}|!v$fu\Tub|ο=^ H>A<f.EWp7'Wdhdr=uNC6szNu`ܑ6Ȩ(%wX"]΄FITSu.'P:>*pc]}RqN9`hcFxu?lzN(|eWDuJ7jp"~I8.0Dt9ILKv4t(K:e5Ϗ⮄GlUZwn Htu11/F dFϼFz v9*k/,ϱ T!vWx@IQ͡v ɒ7<#H^. JK6B?+"$`%! ƫsitNQPEK@7]=0q?3[erԱ$vAM u[:ZR *ohu<^ @GTLEu}P'G<<߁vX[kCdr{8O,&PŪ͝iwﰮ8*#C41ґY>qp!g_]gA_ >983}p.yKe3Ǎ l$ y' 3^K)f҉Wlo+>AP KMHhs+#=C|9i])_Rsç9ljDC{HD 11iL8J$gPmAgi~b>qYE, PdMmpWm˥ipg߬u_@%:t =ͪȞ-Ug{.qC]d yi{Vq"-VN?M1By1VLnd WEI*Bǀd t tM!#B@yp@~LAW+Kz*GcXSv(NVa'GiȜvn.o@Rvs˿pꚎꜶ1|Q[&8_kpFuY2CX˴#T іk~&E>/LDQh,HCiPWnޱ-F30w2d92VF6McM8Dp/)b5FأCQ8,Fb1GN. B-18h:*voIӈ.@4PGzI1: I0Ne8<69V\@♳UYJЄ 'iS6_ ʃn~о|zbp@9L@ ܫӫ`}{7t  $5慇+=f!8"UNz-pE&W_Ec@4Lӳ {$Trnkk~Mp-.4Ɯa{M(mvq%T}nf ӻC7 R%feRDXJf$IIL,w.zXJFsEpՠN ^!8Ϳg"rqSP}@y"`DJCn x\$[gȟO',:V1PDPFJ n;hYqg$hE Xƈ_[aYj (RX:Xr06%sհ, Df앒'd.mp-.wt2hHNo#=Sk (V[L=nUPX;|0ڽnb``^/DWdtCTrI.OFLm< _ }03Vy+i 3E"e#v;HKCkj z%z 3oPhc‘A)ɝmiH芵|#pLGB`C|''DxVupr[R b6>] Yg!F9gcRYz ;D %XO?sq?C[XDAiv(( sxZC/e\UBQsBEu2_iAzk q;/[Qgfl#J,I7`8 jXpSwQ`E$GW>&as1cP9xF )SzV"p.D*jp϶Nep>uJ|{ZǍI|_ƑVjґݘ5Օ]'y4jĽ\goC'tU\3=XB17Bm`c̛ J(+Y#uoMRf-BKǤ':dIGMm]StUbo\n/4cU+w)srǟ?ĈaӞkJCqg ̓c9~P{s>G}oPY^K^O2}cHbQ!˃fQӃԩT2L tr7K;1J ,RxCj̑5Yr!H̋+r>w!oMz$IE")iwhϜ nږcN Z(ˊI.SfhxTFZ+.4w ^4,tgn' zvޞ,BS 9 tRHM{2Oy޽G 2Z,Bwp1hscyU@lO QdE| +|ڳ =Pۋwe^u)5wLj(<+\v|#)g  OYV#N 28RETR.ǐJ԰4t{I`2-a$&[OzZR>$N$Z=J23n8v's% Kjk X!_}Av!qy&g~2dޑIbF{>D!&.+s[vd&RNaf=$0]鿥oi'!ʅ#41u'򃡐2ëS#*q d%Ra9nQKQ]Ag;KO!Ƹ?^#\n|gg) S~A,c#8_U ]+&cB0W}E44|^5vFeO'$W{KA0zo'ﯞadRS&ڬCoęNxqWKb VYҙ9a5OhÙOL9fZ[.O88ڒ  ݆e>QLQXL{m OAa6=D#Z.ϵD{Fj˦E(ܛ_nm@A:X}a|y}͒),;v0Tb%HjҪXF1 +zhK{:IFdYnڗ!I/;799aל:Kk,^i-R8WjvI6)B?oPUe/ȂQI7{dxVXZQ. qU3z!7]~0ȴi']\o~I3k|5Ky_Kx)"$cxf*`"J+^}jF,+ƣz6f YB7ëUZ¦4i[EZ׎'Ӂ4 {b HnTZAF^"_3EH'ݜfKf@K&orոϕؚC #CÝ P;uB>&o{Z!s6Y#ǣRP-KPֳb4΋ y:U} eUwHN |1,zĝU֯Б Y/v'\{ @da[[u6>06SLqatprPC"㋱bVcwb^MD: AlDRU+Nl`R] 0b~o1ul`P xJ0 G,,ILD!#sVm1gKhIEb YMiZj!Zsn݆kqf]o޲jU^n fuC>ZZ5MqDv  rWO93L@FN)mu:YWFE .˜,WXCBܖ!: w TIi2YgܫFMF)v\/Js%H٣xͶ#Dıg0D;#^_F<}1݁Vɳ:IF L]LWK+Ch~c(Vj+-mkd qU6$QLEa;ws9 ۞(k-x:^x&Ӆs \jm^ϡL &L t~~\kXv2=(b\ ڛRAP)Y3#yCC`jri3AM'4UT~`sETrF&UJؓ-)$4! e49˦suoI8t-OjU̓y6 L̓ MTvp}G}tc".5㋩MY4JC0 54bV̳5WB7P 3W!Wl V?(|ۚp" pi>Ֆڬyi. )XO}eYr*4/B7h~&. >KKuh=4+d(g3w,d;KXH |h*Ox"XVp*zS4@I͋"kN θ'qjپ}R_&r}f*[?0T!T”G^![C 'J#9=QƗ,7x}G\OH9,Z2W+ e1jWY)r֊1A3n c5Y=hJ5Huu3@ ĥҌ? Kt}`iLSI+^+_{XC},(zh8UYIOvTy?[\5]ұֿ!ȐMSM4 O9MS9@@fBz5 *tv[F!Ir)~].+I %r-R"d(\Kb^]wDj?1N Д0 DAGMasya' XHV7kmJXK Id]_>W_XC9,,kĪlk]C=r#Wq7WYmHc3\o۵KG_HEu@# aӇhEv٬{c_%zb`pb+޴#a^!C"m#e5FߏdRW"%1:"AErdSwG[Ē4> nحe ?Vznwf:`O:>\OU!Tk$ b=Ukw%8&=υ`*Hmp~q"'XgoQK3v\"tx&WZ$FNGzb;kU2wS#}iFH.JY7wYccw\i^[ + ZxT26UoO=_Ry`0lBMwggp! ̰MN>*=-D~]^]1-3Ec~>b'َ70Ot3ȭ&J\t=i[( SSmC&Zxg=l/W7269JЎ/M xvP?^bU/Ck\leNTaW;~m ɛuI@̯i÷OJ-coS{%ОQf) ,2~zS;OFe{{vo8`B}> b'D7+h5(uC0X'>!V,!]Ja~G{߶Ku-J%'#qHRʼscH]ⷾ/QUVL C~2c &>+-%헬VW<-4Zi̒&|z` j-o\WԀ)SX$iDO殮]ݰɘk[8-#?. bQ1fB_QN!pY9&o$NZo`ft ;<5D9%=5pwӎqfLNp8ysw"K۹+c:S'l}Vm=GD 0CtarnA_'AC+ݎv?>|,Kn8Q Z /ijn':~kY/r=^ddbtv+j7\IK74aZ@Z^+rv+g<袣^yW!*7]p%t|g~G7JB]Az|ݨb6p_ьhȥoG$xmPx9RՑoL WA4qSYR={;˃ԩ9͉P$,8iDCAdnlX,w_Q7Oo{' S8jٞc @ermSTj:n[^H ߲/Eֵm!mQg`| cLF6^EZ/<&\u.}RuŐ^ _^-UXԵhrfQwwًR{Oni󃿆Eޥ_/FCSq>Ha2ufp?c<\*^U/P e)Ɍچ!{э,6 dFIzq-%0RƠZLO#%6wr7 ;EZ~+.OJVWݏq%ym^H-R$b 4 R@WSWqv_4[_+0\OjqH[.gk`1 S$pX/r1lT=Řb0$?iBG6 ӸGD