SQLite format 3@ .;  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  =rLd\ ]S]HOL-Nonstandard_Analysis:threads=4elapsed=9.783cpu=31.636gc=1.3207zXZִF! _]ŗXiɟH)0%o«w~5ZRP=VZqDl?%靶vfc"ή,iPq BYvGή5vh`B&;5'Sy|Cq@ PVI"}?;٬{y~Yb(# Yb̹\*;f_[f +ozuF3?+472Ni!a=kd}R5-s:lHtE$KFhg}ҥ[.PGf((}WeKQ `+:XHH69UybD*!9y&TFq,zNx'/YO*`1R@Y0_7ٹ&0 kuIa[T~ݚeoIs9.G;6P =X,zjuΨ%y*`lڮrm hգ>pR ۭhghj8w J5 ?ba[돥4 3 $Z~%9cKDq:$Y{>NJŧ  P,OOͥ\SVwT_AՃE| -Qb_v 3;`eF#~y}AIGJ0RRa _Jm k9(aY) cZ?5͚VX" yT<  Ċ5Xx(h5S3ڍ|!p= y船?*S`#8ZCwMBuF@&!CwAKMD`%8ltWߵ1~$孒τzAWw!T²9`&=W/fmito휤yxRJT CdKp"KVDb$Gşw&i_xl2- ʁn;TP 8b&!/mIB| G(r87 + Oxt҃J10ΣAxy\S(Nnk>VAzP9#5dڳ9"5^pWpj<- ^Qi. M ذJ F(xɁ)N0Ykˡ')h.QcqD#ek,Uf Yo f-V{7c?mॐ>_37ͽ eJl[JS9khO0&W(C i:uzEU[Bde(7I8x=E< '{JMN S&|[ާi0Oi-~f(+oM)_͝?y^nd 6;<_sG'r0;e8N,%m!~T Hځ2̌.&06|vRy48wEEf3 z :&8"B(;B[.PZ %HbAh,}Y̮lhʒ/ TO@Dϕ'm^lZ$=ӴMЙWNJO Bc~_4} N4dkisgJ맥VY6W e/CSy- Vh>v~ٷ<# mTF3~s sDʟ| N`!B9]fv^[룰Ma, ̇ęVP]< S(+/Jmyb}\s(+(LmܧE6=`aMbNOqC4锰y,~KÜn V9/$R$ 5ҴC{E327lmŚY~ _iAgK<(Hh7m23C[av?>VU\sKլ~] (+#GOPhxdl-6Q`~lpi""rƧ3꿗 3#vצ5| @ȉdqE<(mW#{9i "\ %$&z`±!ؗX} x1\[Cjovni3}Em^1kqlp,&F5D ݠ8]fV@'6X$ OezRUȽQSI0ļVU9"p ڥM`1G} aMM>J9;:\82Vf[;j*l5) w9nUDNXtZF֝5,lt@q2>V3C }qB_Z;<F=G|Ecf>UWKx*>rVl % >Ja֦}IMy(4I@INM  T_΂eyJ x=(x2M bE.Z% N^7<GBXřXٻd>#MtzZɗMeRp*Az7@a6v ^yIbKhA؈G`,y1H51f(YîjjJ{A:e,>@lB~9Ӄ}fy8󊓟<ɲ޿HA+W^Q" /2T.XHy8Dvi4.3ܝuH\^} FK&1֎kp7VoX(lF w h VȀuv*>U1 b-Jt_ JIo>j _{N cbNRn럗l/jԑ4]҉BF7[Dې7؟@3{HI ^o!U45RvΕ7EwGGff"8Z>N@PN 7%E2 ih9)p mU{\C[PR ^1w#h x]۷q'eBԡk{K1,„KR!:/*ŃϠ 3(ڻ> džhSyAQMؤ6Ե1Ltc\@C<ƫCAԼ+5l^Vs=jI>Tj0L?vAYMWevC(NP5.IO7Z | JZ "M3K*~E^քα ew"@kH̪&q p֞j;5P vՔ^+ a%FP9e_2P'&b{ B 'ELCu/\MFCΌ^gȍLH~[FQt772*XGqr9Pre(bQ9d\@AvaN ͷ^K>N] X`^V Y,9-ОBNc+hTanz.E]M|"HЉ/+@ʧ.ˈ#*ajNLAgyB}=RU$Fl Cӗ_@A*l/EhR;߲AwLcbwSLQ~3tkU*7*Di=sV90=HNs!$=n#7)3SCIFS)#wd ŏ4/KC ^σB,^X>D7c=Axk_G!ܬu63$2@P(R|gF|YC'NA8om(9GAhd? K|VaML.ۆ4lj 4 TcCXbLCq:dt+nq`t |~W׹|$Kt*QDyep16g/*]z*NLqS_Ko^㾿:JՇF)?5xm S>S+V!|<=V3w[/YzM0|V("W ׀q*6Gio!իz ( PR9O70b_2ku1r^ha_&<>p"%~U#!ޢB3FR&X(ethWz0DeB ?zIy^I|%0oluӪ֨ыf^f]Xvu4DCA wRS/@`߷N/(ʼn*b?rFpF6"5"{c m,^4lf +mt' - FuF%N"SwNζe9Q9}dh6_jX:Dw+Eɥ6g93r_ǟԛR9WAXՖq}Nb s 78vO.Ø)&ܟҀQ!'7x,Wǻ,͖UB:Z eJLICHx77- Bb{;ތIx˸a{o)2jETƕNX5\5Sx |`n:y%S \TC`e*#m>Ӥ2S[\#Ԙ 9 [~ZW7uY}Xp8Rϝd?BrDK%ja+̾S9qA0JQ~X K`^oƛ%n3Ңak@uU]\uۥ~Y ҝv;UJg &G{GPee:zH䎤*֪H=M,KB/ 4&dl-E6!/ 1QzN NF>@3&|kq|5#=&o\|+J\dێ5qzf qnfv`-Ł-'Z[ọ ekړJ*wu0t*j{XjA)) 5F:w$w;r.P,cJ_Nplrx8H SAHP?*ʟAQ]ȣ8![n ~U{m۰d~k0\ f5HNE^v9FӺs&7nGQPH]Cz(wDV^2-MZ^'_^0e͑QPsZگ))giZs⢴2  Qg]hbr[ w"yՋm<@dG6CܥLYQBmL^F9?r ]J?U'?ZwU +|V9B۪n/._ƒVyk2ҩXͶ^v1%b_ds:uYbBzFSt# shhx9r2x:*PH*P 'ItYZ a}p!}͖"c. vC\5榊5 # 8_Ʃ{h#XJD 36j~S=>ԍCБ#ikybڿ{$K(~ MAO)z^-X{L^G rei_-D^R3:M[ DP1T6opD_ ֗%J;2Lx+8G:_ S¶y +PӠSi͹,D͖g5wƱn nDG s㐛q_|SKEK|8Dosؓ/'^JE4?S{w- hk0+UEQd*tvA N#a)NRq4څ Du$Wy/Z^7|Ij5{>2.9 w۟XzXR7 sKm0 |D''#hOb3dPίYC\V3z9h1K젺U2]lDp٘2cd ܮbѝ*}{Iw-//WyCBf`tp\%p\?etݱ24O&ȎNdǧfQXN}+' 9mȼ8''t,>p/|*O]QMpf3e$XЌc$7^b|@,$N|QT,.ϳU R1†P+r~bO&r>Y܁d] Fk~^$EʣJ'zuX>_pudk8fEWT\P!BRו9<:<21EJ]ba[vWuS!i;֣N]ʉy֥X ;9|)ZR> gvQs&;EkrHgN'^!o9%nAk WLtko<;V(ԡ1qE*!j:Am鿚J~Ѷ%wsun;3_?U _QP{֦0ՠ n[dD&񣼔d9&Zfa{ TC!Խ<@Sx:xr!k_WmA0\Z 7\ (~~.?܇qB%52z+ nQ`Z7NT,W^j?pZ#޳~׬,8/tٮmںZFstlC{'[|c0v20 HZb,8hwߡ3ٓPEsa7haHݔѭuS@)¸_d"A~yҕVD?7Q1;x^3m(;U7Uqd645׬G57 [oP\>NyN#R+7nq3*ONM-ұ? T8ca;!kx, hhc<' V$V[`OGLvUxoִvvR m#GwӲaZrӺwn|i7nn7 445pl#co,G^'fw]dF5i6O0WeaR̘ I -o*0t*TB-yˤ=of2YkAWY!pVE趷*( Ur~rޏ/ xá GOɃo_A> MoUV? FWhT>\uB0Lmj/%U,5"m[!__QL0WN[~Cpрr-m*AuIٺS-&S hQ=Y(Ay !u0ɥv3w>F䎞 p ;V.aȽ>W .Tz3_ 49MB?nĹJ7j@ֺXb@ZG^fi/i9s4AoqYRה[6 f%n/(hD ^rlcCfsFC)W1@ުIX&ŝJ$P*.0»Dwd Ư')Y#6uX9n}Ԭv+HMC0+ I?,o6CI߁o;ԄoO]ZlC`2'z*@{HJ&+nJ-CWIϴb5<=!P l_4MfY~ :C 4׾[X6%T5,6YK{ sЁDd _ŁT|Tu1w'MԸWRo,7쭖Z?@ :Lc:&~*@h|ʗkJl"8h(/V&/:ao8mqc^rƒW0֔9OGP},D*zK]^v Nӂ(AMP* cˢ|Z୙8&uhWU >l $!Y)yj$ܻJޢ[߾T݄ 㽭q=*l[mKcZ3`rs-d>3όuߡxg,.b8d&w40XqbqZ~ NLNh2J#0ALG̨QĬh|ZP.lz_WdnKeKq,GIm9P* rr7_-c*,c< ͯ3~ k{OQƏ #E aJK1H|+O  V\e R#Gu?{(r1*ASFδ @@O< ӓYlQkzwk5]  gIAZiakE K8P$bxBU)nq(&6UZ܎%s'9f{>V&+;+ǥ).@{87~4 RT} v鹢O7ADX\kVز3,dG)aԦǁkÝ\ ߨpۦH9RfD9zvG%ub fSLůg~toX+?g"Jb tW/WsM'k'"Y2묅A!tڛOɉB=L` 3y+seJ+Lkmג:>vDdؑ2fō׭{W'-.G?EBe:`21'UJ'Npš)-IWpJ("/ӞWg/*B-X<^y 1sQtu$Ya/ oyqGn)[^;\y%,2T~_+N"/ֆ M@_u ނuQ ;y8X`k*uO F~#z' 'Cu]N֎D3ʓ(2gISkA7d^zMA4YY9 s>Fd"J2.=eug9. /Q+!LT SfSUFˆlO2oӽ|52#֌H\d~ڣ\_!ӥZH/u-:Ag8׀T,^~g8dl ,~m'td)uAXڮHbeYOS jQVs\RBI~?p)[LG( ,\-Dn/;loK8"l=XtíIB3j#v,^s~ln[2dX_{:u5r=sC}Ȩׇ"ϸWBXɄWIâ; P cl7d8{<h@37Gimp7z2$Ж ʖtq-qg5jq aP3֐[4YzQi*hmMYyj"F o*j)"/p^Lqn7ǜ87MF}[0Ol(J],_ "JW/m7-\9¯ԣ.u*\L,PBݨrZoGB7x1ܜMPX$2oH͡4UQd~pWc/?Em* p{aQ6..n|7J@V33r%δFŰN9.%>C_us8$1v!SD9*:Oi=yr,oτgQT5XŵqU@aKN|n#~ڨ2kgovygK3TrƈYm+{](Rg GnU6X E$TNJDG@m9,i㤏`{҆g9򙢘9a*+13>1 xߺVAS[PJk@ LVtχ"x ݲZpc "Pg}۟GfB`M0H/hť~t3+ÉfͶ?kaLZaB GGRuaHyTq%\ l4sYoax~M%Ȇho 'ZDS "T,nFj,cc%uմZH[Q*VcvIW(_`.v׍v8My*y߄2 ڡRZ"Cf>K*hwe$y^N.D4 i;Q) 5ۃ^G3NDo^jނIX]+FSwƽW.l@1L*=aL1`QTђvgYa!^>~aљY7y]P l0f}.P-Muں}O,*%@…g-J\?RK-hʧc}*N!ڍJ^bЀ" Ћ! QUQh Hxy) $. Hז/'6Օ^V,i6&X4)(+HCJ>"gC.eeHEh")ڏ ECGhbW& 2FjҨRkhC{xhsj3{n()<( B*$Cg%%lY!w:^5uv/ $T$0RRU&9f /e6Od0kT4J>%xfhZ'1W7s nw(n|xaj; (:P/ mDV(ȼ%#OH_%x]ξO ˜WS~ jYb!qM(ZG! }_ ~7: NI{H*x̪c!#wRqs9fa9ޣjՂݒ}\M^lF$O̻ %ǒmҷ#-_e7<=mHoԧ.UtBGڷr%>3Ӱ=M(4 Wc:(9aO /%B`K8hTk~MQ׫grmUbW`nq }&|3N181@b?tn9cN2Cr,G>k"Έء`+ \ˮv6zg+/UW5sQT^nTӟs({ZK-~FМG -Iֱx h]_ZRcf]Ba_ U2_Ì +"h8l\MH $I1og/kSC8S9h$`Pw8>P;X c.ð/@"m3SOiEÚ7ޅ. GH͂4 `ڥxpijW [ug:eF5nhˎWVVMH]%ecޗTv )/#z01DA]F:#:Ɣ1t.t(gW1b,Nfs ck se,;[Eh-J#Ev MkJ"3KΣamc S|Qv/рL/+,EAKGFVN"T9G]q% {u >{ >jh"QtR'M >&AQZT\# mUUBp$v?T45#ǜSpz%c>.,$Ar3$h@5svsX/|-k!kn`M]H;#W^$wq~)=iۻM=+{gOJ8N\."pT%C}]zjgIDfYu3~FџfNϸvl+Br˜@B>Ñz[SƙųϞΨS#gYLO^m=I 43~!N]n$_!$Sc<#`Y`׭"5dBC,eH4`;C D_,d_矌j+#"۽ > $L{{]X]70p}ù5D'"R)"T2b?g n;덞xdYʈe%܎TR~>c@O\fi9 lPiDJډIl@QPeYBˉ!/'c.vUa8!z+oWhVx )&tS7K(,CC}\ X-٥[n.1L2yd%AP8ٞ- s?^w% 4EE *ZbSzסN 1,,KOϪOU&?1 )5g:"~ͳ?x2Άyj_tv{2VҦcJ4a?@>ioi͖ZEh]e$KPG<Ԡ@ ` GtfSL<͢_;V˨J;"G UP:.ծc4kGmݵҼ_ 3aǃI GbM+z2*bBnZezr7DM-lT2W?(r0wm8U!F(9i9 )Ԫ4(;pr@EjaD2>S<wд4[}fޛ#0s 2~ZKCz3KJGEqv=fS3;sI~S[;E'$%TDS(Oj!^yNKMyESYz[oR2}WI*vTfIkUtՊ0jD'b5ӵ@6י Z)ٴ Ms96(A4~"H.f}ֽδT<ǃ,pFFsQQkc 2*n˰ٱʑoܘxsxk_ǹ\]p Ts5r=ջ4@%fRhhw 7*Z} ^T-V{[YRm0q g+L;3di$?)ܥSIQ97D/6h7{EuqF{uF윇ց1ؖe3Oy&`GJp"Hpf 5+=R[$(AZn?/vMJP#1r y\`Ptf#%$6H4嫜|%g2d1N"O>(4`9p׊;xEopUy$3WxX "a9Hl.oԘՃm|rW!V\14V&dN%0Cq. ÷ѿ\M .#} ghGEwL.Ֆ`)mE"BZs.hJ<1oř4d.%U;8C $ÈCɋr`@Ảp4c;(e ٠z?zGLҖ 2^p>XF<\pmS>j <9Md$/'S$8R%;IV{̎O!C_.gI@)gejWAe {@a,EK̾J] :\p,4p?pTm$b:&KqچE7 J+ONs7KQDĈ*@`pzGݾQ~5e'k-?ywIZo 9_J 1Ƅo, /"qpYm}3Mc+7{[4qr˟ٖqH4E.ʻf4u`o0;&:56,`3fŷZc`qL9:Dy7sw+;n0dQG9R\%9!>&<5Dc#Yi93^$F45' ZN`k-YA2:.fƄDPs\\zH1?^a+yxESZdA0ɖPA ^+ijkAl$D @ B8֫SΦt*qfR*2=HQm5">N>Ysm =cEd&8"zBdwE&K0۝ c}ޙ5#u{ڶAx @3E9(@+'4v2Q#Na{T} 77q,vޡa+>ó穋RG@7 "c[CFwGS]dnV+rb>l_2149&A_QuqC}R7=`],A~хSӪ;+"f.XB[.񀤁L#vcT2 J:ZJ*B@ivvWk z^Et!_szU|]v7i ׁu]9l3j'k|M=G6]8seEEW%Ga]w9~Mdƣv\g%H#@%~=&{۾ފMqE-w %""m! c}.J)$ZV!mؼ2|<mC7VK Ⱦ>U[(DG͇mL=*aS:d7?_+b&)cw7qETLr =<<ϊ~|kj/g?SoGXەȇHN%vB\hD >ͤh>f$ۚ:"-IIOȫdJq`VArZ5ԉ:*i#V).J9($Nnpn2\*E^YkZAOZ %T 7TSuR CTrP2#{JSe3RcD |Ã!*JwCְtG)+OбMX]P pʿZsZ@ZUЇ7`:Ir? \! H\t5ȥ޶K͆V(@Imd_ي`wFpvdW~ 7r+ dNkX=> ~Kպm_g]`>_ ?X3M%) f/0)u#da(:{G)L&p?0 ؛niQBԱ%xAwm_?$w4yPrg1}bGП7i Јp654侫4S;=WUN4ڊ7 `)U(,eqnc.},4}C\ȂͶ;8$* H2WbP;wcGtc }>S0Սa+3lV[@7Ǯ SSGC%nPc, Lp(3kIԴn Gmp#ͱP8c$%g>Z>\wv|2N3oCmW\Nyv<7H;Sb:0"`}KE$(f둾r_┿ivrcZJxȤPVbjcؿ+dOvqFu!_Jn&B"bqOGR\_v\,{́sȗ_ :\mЙ:FOoFfqF te5k}k r~cgMsvtUsI^&Hbo(z, =ry O^拼bd|]}P@ف~Qi>ZM1-Jƞ.q\z Z Qh:W%TX6wgCINk=@C"ޙ55 ^lIAһ@/)3* ۓ_.3|] @W )ukK?U>Dd!PwìSG^뗧D" W}qXaY-İCJc+L SiJhA:rƶ Ys5܊u@!-dAs#SOŅw yQb~yx9 3`zcP G80ToEjV0,tHs5@oA[Dr|+Y_Vc1aYѨ-Rf\ A:sH2"B X@ @js̎آ-,cJ{%ŦCt:]_J/FXߝ*͊кܲ 57eӮ|xOx~1ۙ7,U<,qn" n,.Sl؜Ey:g'LLE CՖ( JoN a"7` *ƫ] U] 1mĽzs Yqm{.(k7pE44;I=+.K]{pYj0=r>uS/bR:0l؉oS6@sNbk\+>nx]Mb,cи>A~jxC _kި7͔\bNJDc&s@8"r"qzzǀ&i1rP ՎfKa逄:~R݊LG>d2o!.RT;Ќʢwgn޳)G`X`>* \nN٤`bZ;@t ڦ@.tܞZ/ GUl/+oϳh1I^+7l_`TZCՏM~Q5?+x1JQ$l?u[ > H4(o* Ƥw>5LFhX?`:h3TYrap/l7T5QW嵎Aڭ5$nu߯FI"5Y{lmQS {RՈCk rs[2+y(eV*WNOm|@Pr[5\^?l)Cr4  w _$-y1BwMj>#Bv~٫"R#;dhHHV{a9@o:\,?A yrf{0F1v yC{K[T ɻn#^ůyR.wإa ;Vj##jN+&H-WB>vcQwN!n PiyeElxrtqs+gV"(u<@~>eێܑ> EGpp/۞Z}! CC!9E/ܒ4B}Al}mvm/B%{ƔOČ#%0fe'G% q(I'8 4Иp1"|J_ 0ш8Ȝm[[|.籙ZfB1{46R T-rzd1 Ypi`Cy]lz'e} 39mP(c!c01#reۏk'M) !7Ӆ[<03QO78%6y7 ̈'!aA:pVeLr[*Y.5[]- ChUyga-/<.ah(Wm 'lf[+)0|4TQ{&7,RX0/YK>QGyS^VSHѣE0s)ƅuђ: ~8v+ͩYUE{C n>YUm+0.j;@Ř5eҶz{دԅ$uj0aݗ6 [~U[W+Y.d~~8yW,઄~ɶ"z5y%Wr6a5˞G4"<tcu`T`~V8C8n&_kpiL6po@4  -,3d~wISl,Wa1գd|Ih t-u$QZ]q !pCHeH@aڨ&$d6((<ۑ2!< r/"r ;$`@/GQ:{7-"QXb0ɾ_=:R/RuB!L\ i!,FΔxѶ\Mߧy3?gӺ՗_+ށxVn!fEORc>(3%Fsj[V/.1cϩ=Xmz*l?荢9 ɡYDrmvͯm}ۣ*р;-lf|o;q qKQ&9CoŐ#qd[N=UW<]e\`g>G\X_ QI!G32C\ӛ z7d̢Ya7+ @oDj`^_"sH,m6\$i-!%}^G(Ѳe@[vX>k CEyK_%C;\籩.^_ +5Մ3 quHϺ:v/nڪIH-0]KëZ b"“X}bvF%$/łVQ_u(]u'`- IVY@Hiq7_MAo{!OE*死ο$~zӍN |Ff9Υ)۴( ?]'Mod #ƗE*LF 5 >S6KUTB),LRm4J1LE_!G7ib}|VaKnX8eπ`e UdƇ$HYayDT]PXHf$ 1}  ,!K\OߥO(4Q` `r>Ǎ@Ʌ4I&qJNLe\|PޣE# YZ;I(]0~)۷Ƶ|`8cٴZ deJG,^uwA--5*nZaЅ]xY}zn@ 7]T,;.BZo 7.nxWut os"C.=F=Fk%pRJ[תkջ.=?"K|q)zq0"5y$7^QLbSDb3dwj3aR&x j/K3?0<^DJ ɿ8qf՝؄5 BƊxWoCh`UZAOldd~(ǜ4  #h1Idc| GӏTdwE 6$ɬZ/׏3yB/0;|Umt%̶"=Ӷz6}Kݖ9ᬀL^VT֓ˆjWy/J2&KuF)"n_.?848mcN"*]҇s͈XDڮ- )N\<}W̲44WB4[i1GBYl8U 胷<';#8ҍϘLHNp3 \ %#ua jvQHA<^},&4;/rKAovnau) L!h&i+2t?~X"@zIZ:'|p`V"ˁ(;y*/~$ME(%2,ܧЄp~`[Gr )GOΗ}BDHͿr@ sx0arYw ĥ]F3ӓB1FK/ v`b\\1|L(\}UjߨQ(/}&ԏWy#B.Y>l2'-{ǰ|*I{qZ.C4T{GDaOA+`d/rv5[1m }i2A _QZwbb;Dy@>qr(N.+JG;MAۄrց.z/wBHׯb#D;93L VmJ9#ZD",DX@pǯ02u*]YawwwEd1^? vȵ1#fg?~lUhJdpG=kv<2ypu5L#G=CQ\1Tvbef\u_^\-=/p( .tEu,Cĕ,4rSc (9y=s!Iɽ'n~9y>{JB~+=66gHE?Vb8<_C`/ǔ;BO4?hy3 " \Pmd9f޴]4a^[0xݍ_G^_aX ֺv R6独y~P!:(WjL zj~ wn|~N֧Cq?%&x@\f[X! 6ncį6zS21$iVx,Bdt=)iNNFyfsxȿ7bl6`vdJn6ܨbXB7~aѤs ShHa323 4xwpܙ=[^O; ])Q"H1 )+(<\7l.َŇVr4(S Y rNLs8k%O*;Qc<ץ\`zUQ2 5'ϛt>Cc٘U{G,b<w*獀EVO]g|ךO!auve%]49`t|mmoBm;mByfr+,4̸g ;*Gsx)I# 5F'lA%[$gNDZZb%s'˹3Ex =7nzmqr0zH?Rm-Z+Z`7(Wz-'=wR1t\zw]hlhpw4LCdlSBҥ y4Qg 06^j;TNk?Kݵyր*V+^ F@!qR_#h6Y!)*o_3t8:B&S_WB7>ٷlݸ_<&Ž.־H!3rFW|R(eYzʜؘ)]*W* _0N,"sxWYn#&s V4ѵ=F !dUKZ64lKwVNN17cWX7I|>SRsPjf1z H d-9i4 J2al4-XD!,*`!VSF|"}hJ6ni ! vT*~ξ$e !1KjxG>-y\+KS-Sy_wLRvR-Jzu9쳿s'9 XRls#$0OD<":mϱw}+V9jTBgZah|WI2ߙ_ctM+jR3f3ʇۇvd̯ veYcq]|3&QMkm j[ 9ZB+$dGT,O mV& T.K ƨWⳫ;_>48b ̸Jw^xƠFIH*vYuDUOs'BIOte9迣 +%aP02 .+UԼnڊF[om}J \QBIULh KWh/x_~?>IG #4t[CBK{pV,ݓz>]q *GQ#RB'8jP?hhv3=БuTBDfWMGԵ1%}d8p RbQI<Xp(q^%̦gUBbс)yWw-Hz^]5x@,Aṕq"᳽:7;x nPGi CM+,I<:.%F%6|J0ĎppbC>gceV\_D!lzN#?Wl EeWq#-,QzC%>eZnkw۷Y"Qi MmМ\7si*Ms=s;F7p19dY= Sy@^*˜͓ dʍ4p]=HMkC1Rcu"ټqr!m) hp현޿Dp{lre sZLFN`D}!v[C亪Qk_TsT nFjk~ Yсw܊+,wtioD G$u@ʂ/m 7xqX wY %#r_=Ο:ԶQ*H|y&lunk7}X]%&;J`'2r]ptyuj2¾$j1WΝy8?HqwEMKT};NNPKOhG5 W#BLx2~u"TzPO_90M(ئut1H%v7eћC24Q+F! cΣ|+lMzlg :" ui55?Ҩ "xӔ+V 2/N,F˜4'-dԌRΐ (!w/H' +Gl@/}nx;]GhϙY+g!cJ"pXTc41+}H%@$1Cʑ-}q"&IY򈘀9(^U\,"Dj~ºE+ףN|ЋCH/y{9oܸQ~]IdaΚ4{x3pS^n=}r6] "ܜeF@Q8 K>l"!QAb zSyFUhZrĪJTӈnsRY{B=۸ 3T7FL^%c u@ =q[9uLę&UwR*^8@3RФu@ \x~t@/w2Ǘ?SF8i Jl`K)RASbi%n}gv]ʊzܴO G[G]J~&s)ԅ՛0;٤QjTeQg+Xˀ"RsJkV^|6hWcl^X~dYu.mAQ%IǾf%wnĻ&yb< yöہl c Bd),ɒ"qP71 7 ?0ww\@s'Ygw@r#z/w{uGA Pi؅)ɣlT{8u_fjDiL8fYfe.Pʢ܉(:؄;.e, ^#\Wqw{qhvپ돐/NƾX 啜)UŰXib^Q+p3S2S?yfc8v\‰Xcta+dNy@Ʀ[$2SH@>]اrc!KA@iaԩNMX򦞟U*'Ec Qw5Ova1ƐP0o1R8``}H匲*~F >+Mb x+睗h~E!3ΥhJyZCW 0Wl=zӡa~Bc h5Z_X)^$V_yԧ\ AaF#8Tsr iKƒ@#䵕Iȃo+0BƎ2 OEvӶ3r U[u;oy8Q-x/ Kb`ϟ 21yr}M@@FocQ"QqkZh)sN͉[R=ۨa ?}8eE}7Y6!ko J U_bݔit>![M<p'(uo=-a5``Tws='j$*>(CF];d{|*6>mobOH.L̟[mjLRLI)ZTDgB}7gI4'oG%73.heƎ:('w~ s׮f'^BֹC=yX]pd'$RD$VYfH>](qt3ΪV& $[L *6`J>7x" rp`0>lF'C 2ԧlXE<0ҲV7 RCzi<'6#C-Of]TM/@y"sJ <$ͯES->S6i 3ro)A,/*|pDq#5߹?͉{ B%]&:J_PX]qjgEkĔzhP!ZHj!hԳ)uBf> YXy74RqObh?;\Ӫz.@+ )>Sjf 2E{0%_Nt9 !"ᶻm苃zpr>as- '$,X8)s`sfC=ȟ iT3@si/\ $kƟ:etlwB>+#Q[9|/b'k}/6p˵ ` ލ\?4q)mn20n"f*r6Qɯs@eڝ?D%fo}l;{yGGy34`-S]% Pg]uV0qiN j&?{(SG3aoi)Pc/\Y4Ɔg0ᰌq\\E;'z-$*ُ{*;$bBc"@BUNF FVx> N5nʡC;_#KA_Cm eeᵱF^[We9CtulG1o:șd(39M)Fj[Wad!]뽿& o%c޷4I^7Gz!:w= U'DUA_b?ml&yȣ&پ:BŒ'YKdfn ?~o䬴X|7@5ŵ>8@R"j \8JJ?:r&~7<7b,0)#gYa\?HEi0\+eP2f,Zj@Nhя4Xa IZpHRzb&~' i]Nu21tIzHYKz790fz`!f >zDM"79)Ù [;_G᭄X"2&ܹV;>}HN-&bP]Lz`Тs;u;=AQ^7>jN&Q2h^t3g+6km1ޜVUsP*?Hxw|L˵K=2UK>/!,|FOppeqQG$7܃͆9kGtɖ}seC;K^Tig7bq+'@gn6I1^#oQ;.}YK eo+&33*VwaR~(RJ$2᭤Ր{Ljo1VM?i-2^2I$ $ ,RxivϢ4|ć \lrm 0`xd,EpMUs0a/!Sg%0u^_AkSj;07.c"9)֗QOh> x ͌UDbV| X]A!CJB]M6EpYֹ:f"sS'C{HO5>^C3P]ooujZ>)_NTJマpK,Gϰ±}^)YibMrf`QM;2 \Z&NcWk.B~珒!Į")I(NKvz^ cE5e(eV*ɿɘh鉽0p_m8gzAi 0^kGG}y OeERNG8Q_Wz4sh^Wv$}0c|%/e!x"1ȚdhJL-bsLnN{4vu/PtB&(rױ~F[Hꃡ~&:I !%n%H$IYrDLQlVbu]_m a1St0e~i)xzQ<=USaToX'0eT/˴ڼ)«T#.ym?_z~\nrCy1c yEPgat [d>/ %LjsJ܈й/-|mxƜܣӌS rLqmJ c4 N []S"3@4DeK7KF_BvYvżLּ;8}d7zԅ+)!n(D+w(|ĆNC%y5(hWo¹4Wz~T9b2n3孷U$uy$ڑ!Y*C4rP,|u6݅;YI`+vat;Y6CsiuI-0?ݾT`<Vx~6QدDdN q+ ',]8#d߅WՏh;qXq~Z$ 1_=폱rf{+~jbO%ן$s>]n?I~BU*T?EP1 0/c*Zq (Й(Gomb[ZSW6y^xަohV(jU?Eʚ76l5hN %YXzjUO|5:x;Z{kBFjt {Uqc9r5GW-賄87(-m,&,,d:|5VyukG|mJpnYuB*1E"&& $#pUjeorC#8!uyq7y^T=ݶrI:\gn3Eb0;u+W~Gt MX*}itdhn$w׆cRJvDXw$&V[~5y7pBzLgDXxlUWT5u VuQ-,G kG5|*'!ᬓWL+<ȴ3ƤgePJ穠}$ˉEN0_sjap\Ps T, f5|W~aI(kM’< Mߢfp J+7OT3 ]sS'_@_wf?9bˎì'Lw;ՆEH]UvT|ŊY]v+]$ (zf/aҤmD*$L~P͂{Xae_ h#F6IVӢlk9b{&8X9 ?4vaҤ8FW&PxQ*'3p!W >b̊栶~,|oW'U_.<'ѾNn&!䶃!5 _*::w"/[2t=|uu : "=le w_[{tN>uFv{w!oK}EF;M06 0/aN7 ~"bS"Oц:cty$^eW<4vD;JRgx&ȩL> Nc8 !:$++jZH%2g1ITAD~N!GY>v Yf0 4:DzOi?Å-f ^ӊz{]JY,CjReS')X2Ԉ͙p#cWϼmTՍ]m9X3.x6QH [gٔl Dԅ>Pv?65‹p0݇sl>gb,)HYϱ Tj!mѽVʇp\n#_Ol|,!?%1@S =Sh^;M’3]+M%Ve8K/dʇ-EE|k*"䈹ݎV%W~k[~Ϛc{ w U m~rf ٕ;gRQ>8A}.ay(?Xx&/ϓU%/9 m&'q ;Q% ƂTse1~"1{TЏ48sNcFa؍x&Ş_?RB(XȪ\\[e| {T7X:=SYKEp oE"y`{Ï#z&3uU+’ڕ̨%J}8H<1fFBB4ºjYꓫ=Pf٭=Ay.e4(:Z}V_aRC1Q/Ǚ 6g lq(i2>2dF~ӹgC4:ٙw 77ZyFqtb:C s&K&ꊔM&"eTk~ȁP55{&mf%{oqAvn &4ٚݮJHL&ED~Ld!xĩ #_gR5Fof얼7Z3 z@g?rTjAEi֌6ˆ6޷7o8~N _$i`ښREZZ#yqMgV'S!ckgӎTdko[C͢$8#RZj ׇ,%yDpS6 ? dm@3S6&Bkgn5PB1;Ul74%gF$\Sy,è+H, {yde\б =)#Xs5cHP#SZ.' O=pt+6pxJ-g?ѕ/M]BV52әALi>Kp>Gp0hрδnh"~,Xcr1o|5  C3"׼X%<)&[qv>ךY<\vl t/ZDɚEb✉ōA7r/ 8P6z[z.#ѫe&"u"QE??_3"oh>}|P%f=t)zxzpD'aD|5C]y&0cxH>gj_#57a)z`Rש`~ Dx$eG8IƘ2}/!UΆCܲ[G,!oӏ\,4%B@Oݲ[CSeX"K|r4/c֠jpJNhMxx3qDl'ulTUs%tQ;P "..AJ+zEӱ+Q\k|,@DG[3qE `#EKR6㧡K.9g]eUw>XÂ'}zyY<| VDiB6!=78,MpƮ0UUxmb.4߃M4@ . 坞p"$9 ԮyJDP1u<*3#+Bvmg3)C| Y !g"3Afy'cQ O%b"b+4[cfa_,1>*t07 ^@ŽHpXQd"dL+¼/rrS11DvIMctv!AM p)+21)A~0)*sիRbP3v> qhYIJYۭdBUIuƦ0^ S : (_R ͐uUXT/G\!pkʷ`>跄9Ki7PJPJ.>XB-KuOUhf(&m5)P!(-X0JXr ٠UA1rS '"djuuf!N㉞pDa1-vosv إTMCˬ!tpI>g0 >ѨTNЛw@!9^i\&uDaO_5icց&NBípP@( ֟_6"2y.Ike\;Xf\tnDr#HJRC'< y#_쮖/:bGSh_F?՟{?; -o0m|+CdE$·||2U:*n ܹ`@?sZ4f S/`#19Ry |J2<̹'Y0!E =)5[siKxZ-呻\S ^i$ۺV)-1f#tSŸK{d5N),DWբ.F[#!OF9b< OWNiT a\ m*: fcd5ݫ@Re!f ϶jcaU))i+|Eb5z6=A>?_-O"7Sxw?~瀨gSȯ:/-[Wqx@d!F)_ ݀]_E=d' `T׵'Cƒ=d^b.69RdMSIv%VWIa*[Um/ 7^H!:s7ۡ3W,+ch>d bl\:NE+1ޑ kᚋzЌ7:.SLy0\ǂ+*`fytF+nӕ%<Ǯk/u0"*+uwa^E<*c #vƞ` 7KLJ¯<<%վm@k򖂁5ۿBp谶j{ <:/A`]F"]O4# VOu$bZ"íoO ;}/,,+G܄$u9/Vjf3"teW\ҕkEtWilE[@?5CܠB0,I%ssx϶墣ϟ\KF 3$(Ǵ_Q8eyCuHY:JbBش5F$}-\gM7!q̮c؅LXX5 >t1e6-z0FOJFf]C e{fK2a[z{05oAH9 s,ՏI eRF se<=h<|<C7LRSmF?n1z;*ȟL"92~gUvT=K͵ʿ \r S[5!de޶ m8xn:=#Hӆ(]#OX41BVsKZO)Mgq5p(Bbǒ!ZTQ66ƔZg)~AJ̅3!Їr'Oi;#ֶPoB_Oo0аFK*--]~>5Yk蕸*ë/LE4q&Ai%6i]OԄ`Ju%ʠЋ6OPwY>#:kE ^nX$WsQZxkoA;3,H>{,KA!e6DLѠQD_'ȤcsruuBz:n5,V痈#씲i<0ʗ !?Pj;, e:㊓#'#v$)~EX)OEjXy83Iw'E[ş0\Ǿ*q`0YG B|'& IW;T4e҇#x*4N69MOT+&o,}4l3T)w:zʝBZ75iϊUrO`+73-?m7ҜEQbW5 ! SM;wƮb/=>~|!vx'.!"{QH΋~b7|./8MN<>diqCW7.v3; (}"ș:LP\`w}wnSBWEԢd6\-V U>SpӮ2!nz/JhʶH3 sX0G`'A, *A rS}_KO10^Fd4=X:q>fpE@oiH?u4)|7M Yo~JeО ^M|0a@璥IDk1`Mntq%ӎ)#L97[(ynvex\[d!_@ʳ5Cai]c1VФm^#z}IU>8T3\ϣÝ?j%e:I fix#++sq P -f@6R҆%#/WYg{˪?* js8ڀ4]!-4cSk{ }aEKv+eW{%?DF&8yRYU7?uD8{iv._F#Wyg!jUJtFE=ߓ.{x!-~W ¦e66 z+ZRZX=kIn7|ɐGۆ%H1$U]$|872($LLӱS1eg415nPn_ @oIYUQP21ˣRXg Q :CZhgzQRNg;l#\RMs>ov˒zҵi.#1DcGz겎0ם&ͩƂR$N,?YCG=IVD _g[^Se9L"K~g9+)o?.Ȟ,;PyެN|_}Yrb;-{["F?EFv2ЌIQK%oUtzqJI*_;~OC; ʏcӶXqJvGNhq^es<#<ڂ0uiL|.SDem>Ϥmi-_GL":FMc}f⑒shKB$!z߃Db%ۘk ʛۭP:kGXf_b*W?y+&,o^*=u@SQ$GSzJA~@պތ j`>ggAx)-/g#L7 -068W.bȩ>@ ⛪cU߿$uOy'o0;R(eS28 _L(%%eMkנ*VwNFڀBDG ndH2m' w[e\#Ns ǂ,6蜣y*e(16ZԴz۶BYiݓX+(??gYZ7zXZִF! j]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>v pA7Mh&$$s-K=Z-磒X-^pNYp\kc&{K]m4+PNI&òTSG״A)_2u·>AS٩is%+7^ϖ5%{2= 5hA]䊄\8 ^O/dɤEwӛ l6)+dγVs/M|)s{J|Co\Vj~GT gV *$r<|Jv<^!*=Ey@ !\wN VֱgYZ7zXZִF! I2']ŗXi%L&䓦fv8F6{;q j0HaRvTHXգ"Ii\1\RE)gwPK2q0\*#m=%}|~<ֿ3zUpz~Ph~̿X"0ɃX_w*^9?4ԻLU)mE=&p}BV. !v( KoKu RT};Usc :,Kvq AurY{JE!Gq>Ye܃Jl׵>K_ρM*]]Pb!d$V0zp'\c2 +ح1~{VnjDeojy'Y`_ȴ+XD4p0uVjWdZq-!! f`} Dh.J_fը1S}ܮ[[yǧ`v ܃:~ś!~ ~<аnڢtaiҗV۟Wz~:C7o5,^3 7*=+[2uA!-䶶 "/دq4ajKBo,@v,[y%沫o 0 h[jsIZ|Moqػ[mݳ*ꌴ[vC$շy_7(j:lB =aM׬B*HB38)7BgX)s#$`jk]ȿ6 ?yf6٢ t{SY j"X'pnM{y jhIGOrT1&c$0'SLSǢb ^\ {Rr8'Xwl(ʎ,g(_4F?ֶ/Ț}p]b2$vi##(DR~2<_]bEĆ=O.zpt[n],)y_  !M_Bn!`!4e?aZoxCG*@ȢD2*cAA@-g~6$kwhqKV^~=jNx/<OKS^DoPTfKݢ&Qƀ.c}F}S@Uy,'ztܬa3w\ f5I$vOV7O|基):;=44v:fhsy;`afOKXr=GU/窱,>55\7󺩳Ҟ;(?%+f=i%ɺ@e+W\+1(9@Y]:\\g. qs>5S1;_E1vϏBS~*bnCGRJ XJDhL$䀱 2;F:ky6.h1׌t`;7Fo7O.z8u^>t[l=bS2PJYBvz ,"™k۳DayӱC mygYZ6786e98f5e908e58a8720386674fff6b7067b8a89aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 aab967062557b880aaf16b24692103524cf4f15b 571411b4feb06689550dc2e63f29de34ea9b060c44133dec08f0c32ad19e3ce7291327799d4d505e