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  (%,< ]/]HOL-Analysis:threads=6elapsed=318.155cpu=1571.352gc=57.172factor=4.947zXZִF! M]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl({n/\Q!bN#О| OoەÑl+gxEWZKsl3IFLlc[%4O9`{urǐZ2Q蕇9a2?f 'oqp0On{Sۿg#%50feMӬm/smʃY)97ϻK Y+槛Y̆%"f[Yc4p>PNl._bO5 r0戃f$= vl3 ֈ#5ȒDcu9F8ƛHr%!g~k 7h]gDG˜gJ̣]ENY4 U"iv~ށoUPZpDJm5\&LLHi7-VЍoA׋dkGш{HDf-g~`-nhr9SE)ne vGO(dK^8NgYR9ncT>,iA:,Oz>6E%z6 ku[Q w0[#Sfێ~ JÕ+XeK.!-g /a.ĵ?OeHNac*]?dv|fx}UZ)˜K8Q2bcRFO͘'wGu@EXƬ"N:_O<Nv) aG5"ReA#-Gؿ˥ +*{X-"}Y;n=ebedT7gV)r r>[~_C |픊N8$gJoԫq]Mb'<* 3^׹TW__nDtN@}u}^BNlvrz˕̾ܗA*;XiQ7v%Up9A|pLO ^ ,Yyr"0=2k%mb&ljfbd1(.Vᥔ BjH߱85*Aw%|MBkO,gWN9ONдx1^e_of@ TN[fd̦;S l1"D^T}K0*}n{ HroOҖ6{KfME}a4u;פ#fүy.Ξ%f+xsFtl>LJMhJ@E'G@jϲeMl.SR\4b l^RT?w0_Pl}G$$OIe<էSWv6gĠJp| &IaށKE(qu9(C˽%Rz,sx4>ȃì$5M]5{MZ|yt +P#:q/>cxԩ.PrqF{5Is-^{J _sVrN<2(uύ7a˭ZF9ۢ.s"v4\Q?l.[.(y5փ # @:ˆr4]'U 1\F[36wUx `md '{j2T}TWu6pmp?~*lzb=4`,OAc@W}A B!!ڒy;6!Bl֖pWJna k832050%~Լ+%Эb? eul.Q|0ɲ w<˕kHQƧG[avEx%ǫ}cD5Z=/dPbyYTL Sk&S3Z:ރMeiֽQ38=QKx8GU#$͍X Լs;d)FQ9fkA0C K%C yFSp\Uq0ʭ0?d ׌~2}mہR88'Dw\J1|۸W,~erR?E5.=M"8s_jã"GߖJ2PR~N}FzM0i^VM$<,,kn꘤keFIVQ4c20蘒ԍ3_5 FԃZ fi׀$,ʑ$ZL1ĽlssY)Mth:Dz[:%^?4 VEE _$D:+0-A1ov\2(Z(;+>.֋cD_klt85z$KDKUqdܿAvZ8:M7P?^W8oJΣA/k-(AoKIio= orS:#>w%KؠN8o. #I]D!\f&Z W]XcUG† .2n^Jd5%}ZHM wld.IuTP>O|nGg?6r(a /Qk Z%~{.@>OFJ[¢<||>*eX =\va0SCp4ꠅE ioLĹw?5\6Ň*%~j_ԸFueCY Vrc8xƲ?LCu]KF2)ˮ4wu|뤯L]Frvaغ{ Mrg8nS{{,s<< Q6#J"{SY6i"jkNȺ(d@SDWjhv䊳+ ]ϢonG)".o>[he.w-m!y nv'<`i%Gc29+^qwK/YGNί~USUƀ v~r0QǣoVfRH}O^B&d > 2{wCh~lCd$)OT-Du֏K'4f]k΋[@h nOfc"U9l'Mo c˳ st籔뷆k/2$1h: *,hMJC~UIvPŊ7ܒ<6_Q l56F]Y15)$6?/~Q^+8~ߑ!ѨL{OeF.hGMsD!' P nPjѠl\>dwI}T3Զ/Г`%{~JE@#ތc~Vip\$8\|wUɅ˂.۰ qW@mim[" ˝e I-aV`Y{1uJQMf!%e"zti"OS1ToW' UY]q_nhNJxV1o(rD 'ÆO4Pp̉( l~۳a *x22[9waqV[ *%`M`DŽ8OjKHE4IMAwOsм_ھ0֙ƣh9I`F1J|wE,[?(|E b[]=|ԉ`:JacOzO㝍}hHb}5ȝX)?EMo^mFG#p:gP7e۷0m?odZ(4̐IoJ"Kx@T:F!Vt-}H5 toف_DG\zVن?tƂCm+87S%>\,lrG0"/Fs2NeFRk߇k3iC@:_-B>aB~8E9wŀCHڌV}+<ӆ֧:6?O~]?ġ,VgLL՜nob./-ogϜ?O{jVriTW: .:6 CX昐~xbm9?s+ǧ2Ma6_dYGyː"bPХڱT _B <]j~ ȸK˴Kk4Hjఝd:#M\Up0őSzq@ל;bޒqn;J#&K\=qfn@Ȏ> sOO#8-q-1':N8,O$Xr>Gza% (9Cf.iW=a;}XO$T2ff^r, єM8+λX阭.UԱڱnmV^%O?VƋnq Oa錕d`TJX79NË65j?I $]]>LcX- V8s p%:0vP6[`#69ʃq+m 2*[=R܈}ruʃ!{/FNй<E5B){Ý2Oܝub_mgܩ:`X}H)x3+2,k~yj}JN(lEC'p{b *LzDUW>ʤ7침xͼ8oc{kV"YHBzٷ\^= npi xSG>ҵ4 K9f 7mӴ7&yu}2>h]dr=;_a U|](+eDnfS⵸>CVNuQ؍fgg+ xtsu1klrqߏ)UwfWy= );~_~S,WD5F%9< h57qiEOg(nu{V@QS2GAn '<6񽊬jy1G| SNbLپ_G ޱ?,?]%7ܢxou/pT\;A_-_Z3C!`">bbZ״)_0-5M[(HNOӛ9ejӕS)# p!Хj\|9)Lk叼e$ZKg9\&T'xf|ڔ7[b*jQsCS AN)>fzoA jq @OW٠8L\z-[lK0ט4\Gʨ,Ty-%&j(0±60Avj,{\pөC21q(27mLf!0HFmeDlDKC[J&sIr t  [oC8w'.#jPo`=-M2j6b0;ZL ©MmO#!S_pbiwTv VQ q*n+p=y] ۦp#+v<^=ۊ0 2G&Du*O#IW9BWx迥ߑTʮ esW$U 4RUЄY2؋7]+s2`ȖOqX1RkLEc(hηNM^n~ӔؠB3{ c0!T*-)w`t0G$(dZDnig "n0壭޼<^@6\}SY ɢ74Rv;O/+0 F?YKlS/d`>/ّnXg.IuOPπ5pl@<š~81E"HP+]lj=$`*5hSW@N 9F=.X''"1_qO8g6A&H>< ^BϮW%ӱafkhl#پDXDC%y+g*Jw'6cVcPd K :kݬWWi#cPTh/PI7`7w73yʴ^ʹ½ ͇%A4qS &dS}"Df2Q:( rZBUYpCƦd'vDKAUbVԶ)jp䩤OTa43"Le@li:.CSjN4t"#)>'DC}\,ko@} qr;/LcZ&\ߍDalR)-Xj"~sÿ*q%ZoR#5*dxfF. N4N QԠrՀ`*W¬^>k e IF-g# _ &˄;,2kTВ#Gɰ.<'}chŐ9#'on`c T0KqE8ibBI +(;~d5&oX| Qxgk̙Fk9@?eDWſVIG 52f:r&m7L ݤV䕼ŜB,2}(,R4˘Y͒G˗u]k$TD `DoO6.JE3rJDDHl,Kkw^Lfgܡ>fLmݡ$4}<5| _Sߋ XJc2tŎZ ],Pl@S 1ƛ[ U=VdLb+($ϿPK0oGa]60k&t#&$XًgpYwNUi&]9^qs9z)NS+/:UZAq8TpBtƾXD@$.QmHyYs@aZhz%?T|wdo̢Čyuwk#M,zEqR>#I5n{0!'{@{ LY#pFm`}<@)m_(BuĥOzѶGOQbaZAķ$Z\F:?#{z.9g- ^sȨ7=h_H^;.[#ﲫT mZ l>Ȅa5o 8% hw⏈.Z_PgmWI{V[_aIݪm?+QIB~&Nҟ#jO;xHTgyvO&Ba6?ȷ}o1\~uK ojy:`3Hb ̚ZZ$y'l#W 42s(iU-0 Aꮆ S>i,36j ڿ!-TwȽ0E]ܹ^| ?X4MFT$rsԝ~T ^{E2ʆM^k۞i-:WuرZJr; ;`[<]$<_ݐ$h B+vLiH.\׮H|N pFц< K!K@ NnΏ!DL< w٠-t'ߠO![ 8aF)JH0yI2WW M!H;\+pQw&p!3 /@T3]Xy0 $%(z;",+/P0):ic! Uy ^; ehJ#-Q*{g:).S]Х,?/$n :೫Cg;1zvTkc7qW _e1٪Х 7-j3w<- "qՊ zϠ)]l4־VmDmńTvhɀBTaM8# *~%]?B~ͪ=(kIX+4q~jL qf6E4k'lNbLٖ'G$&Քe"Bˊf,QJo+wb9\!)7 .7͙H!\7Yx*].`I3f L7&# iUFLQnT-_nNt=Vm1NkWuDl CFKOHBM"_=h,ȩiZ-Ia:@_G'3ē.Wh3¢%:bH шB#Kj d@G:1p~ڟ1U^*#8#(N~48 W4z>[*%B27F wHߎm;=+490?7Q7|53bvT^ >?TM$yWt|'s^`ud*s`A(@ Mj AVhu _tI:>'S:# [jYG9DFS'~(c֔y0>KoB}-'1 H_(HPL+t9"};9rbK >n_ "e J V:DˈsaH0];4?rw4H:p*.3G'*%^xDɚ٪@Ar3%z,*դK{EyB"jRw^ɚv[UsFJoYPYP."k–Qd`b $X`t 8n\V{xس|rabMZվH&O`K6 2:22ЯQmW@P5Sl:f`0U bfܨNʇsӥ*.R2[RX[PNf;"R\k5iGd[Tܭe We_`G{Z?ēxr;NJ4!qFQ[*osK?滑y|c?N?б|5Z#ROA`& 93-@/u5.aa'7օ(8VJV$zթM`5XN /{!q̅+e0r.+,0KQ|JnG] 71`gDj\.1V"u a/㥫XmVJ /gK선 Ŀx6QR- H/.0pN3eF5wUk:UPSݬPl¢0t .r=)Y$#ڴ`L&ܺ@U4oP[\ tdb0`\3AF{0ؔK%L;fZ唷~Kȃŗ}«Zn``G%E $1l1-k2s!bR'/:eZB(Ipd{ngI{{BjD;˽$d/n:e|P\";gZr{ mb-׭c2@uf.8x̴267dQ@!DօpsNVJr"m\f+,W*0Bō&̊h)*vZESڕdFNwՔqBpDf)>Y}/-Tkuڴ8&mO~MPݮ̭6]u?TN" c<0%.Ÿd p{tn08o㉷,9Wj8"ݡ ڏ; ylQ>s:zp'XNVYn^ٞ,rTvWAދ6Nd]Naѳ[ -ƹ\$G !dl5;(4њG]rU Gg3+2nC\qߊF'2zVrךW+?~{h^f8Eo\5 LJyTqzZ9D,tHrQ$->^?.UK~jafѣr }O^g;Z%sЎZ&QF@8C~֧fNWt 0[UvUn _]r?;:p sKrH"R6sx#w90g6%Yikv^ O/]Bw.T\P9ҐˌUVskpZ R &zXi7[{$#m]AgERaJIkѾl(us5ՐӵASåh$ْvޜ 7q'vYzOݠ1ѡ4/gk#6MƫL4Je@E B 5ᔯw6nJ2n \[&J~}QV۾ y̾|" .|>BA 5(J9i§A| l{z},9c8jZ~V3{AWp`,f¿Hyl~GU&U~^y)8p:W 0[gsU-(\Gȯj$z)̧ƦJf0u$L]~/o #wѿ}OL 25^:-dp#h;[;l<ν.팋2X}Z >е+%$ŸyDm2$)&FW?%}ve'KY?sx'֓k״gB+yECBI_zHwofD.wT}~*0;zH"—R( {k!]Ֆ3ȧg]pQm⬓b/c}( "LQ<)l\[1C"'Bo >/u:u)s,.Y~nor͝a.NmsN6T;1LX3mst?k!o-qb7`/ݮ `>TB芾j]u<,vq>?5!K;Ydp44+D!?ԟkHAr=M,Wig,I8S(/\w-?ˑRy8Y!0ݯ+̶win ]7&g^$b k@0 @sYBa:FI FcA6YKUt*mӭ"Jt? F|AS<C[pu؏G:ߏf/^ƒXd-HsąKkv2h2u[SʝҽSͯKFS Wc XyQm8@d׿vr lU5toI5Gݵ_I8'L+v0ݡw̙s{q,eN%mQ\V0.@•~gCҖ*Z0CZ9ԫ|f&w+@ҁt)rz(l5, Ő/(Bg4r-$wU)dׄ @jwK6QrɎx=K{:>*}K9lnݵ-?ZcDMN/AYEef{lM=8Gx bSϻPuXgYZ7zXZִF! ']ŗXiɟ1˦r!cHkMeBd4ba''o0+5+0Y"*z=Hݴtےna/qYrG\g xPjq T&1M}ƒpPd|S$Y}r>fn<}+gɊҡך=ڷDZ_jSg~W:phL?G}0XE=Z)^u@ė-qHGQ'aX 7pK6VO"R,aOErG$%nd4|3G>3;~>}T/Tw=Wǚ/J6[`&P ⅮOZLDeH 296lEKp,έ. ZD˟rW%Qʫ:8\c,W3#,8X/b$<׈| V  WYFtuZ/,06={=P zSi (ɈhމU!{죗O*nxT=1(}vwS"tc#(2@XG!v{2gb&"*t! B}YEz"^t?+KKb,zk88yQ4537ʙI>A (`.Mu-UPTYT"u99rʑ(#K:N%SwY>ӆZAF\ uQiz[Ca4evYf5L˗: ^])䐪H+p(>z=avb<=)gJ/b/? غ] |L ]K8': W>Wx'e}*+&ȫQj̘x. n!NA`/b q? Q]$_-X"؏`2*xTnjHË|=Jl=m|tI ʴOF/8\EήfD|P𘗳{VqV@zlMl22xw30es㣨G[=cĻwYⰗl 3:*HRoqӳsU0F Cx43.OH eSo5HPcP^+"!R][%֚޵3 /DLڣ|+Ri7LC]lH?hS:^Z {=dO^ub!POzܨ$.vvA1rY5q Ŝ&UOe/R(Z,C6/{1d HE)Gt,etsYb@OUyi~ЕNMNi ҭmX$f'{*] Uԅ;,(Q)|;"#>iFYBY++<9["cF=pf㊚  2߲8~jbL7~qIQ8NW>d*9(᫅La?W/r&?y2&;kkP0,&?8խg6,u"G3+AoKa 8o= 7Ri\z,L6i4dn X ޏoDv1^}>KIU+ ]v0roУ2R"OXM]ƍl9PcǘDoӌN"=ȇq]@<rA3i Ocr8 5]',D)γХWm$*8F,NS̞^Ltcn1';&DktsYITV?,< wv})bj hHR:zEf*} M{IӆAQ_ Ţ} ;۔쨗Զ?Uń-{낡[)3(9֊5!}UhNa,YI5QFI9eK?b"U%sVgv66L'iXQ$ܦnUgBpk< ׹38$UcEjs}}UZft9T)[\nZ^!DHELPx25D5{LPw*ew`3$[" Olf!jt>N~B2w F^%{+64~ _aYIv[N_n\c][vg+ȿH &2F"K F̹功R0p~ {[=2wB)SKoYZMZz`sQ XDsW l(3;*%i8o@4B-BFR)2GWLoʳv,bΞ5#[^-zdʚ*|zrynr ck!%FB),OaSo>ꨣw7^D{^"dpN/=dpqN(jtHf2m&pצswl ~ 1zԈ)Օa-y+ f}Ӈ~Q;(V|S[d>loV-@b9t\ì_q@ɃCQ1[ՎYI5<`Y[->AnUF|m} :&1)Z͹˙IYkݶvP)ֶK, ~ڵJ @s%To"ZMj >8s3֥밠`4|YP`):̩g֗z mݟ~*?'X|plcuU).T1(N=Dv}ݺ1gw= ߏOpvHH .XϾFJWTb'%{ b`|{ g}`F@jЁ/Ց`IAᭀGw8=gT!m4J2nZm|wl E-tEI"rS)y$NJ0DXXJg 6A=#-ܾEn*3ĞD>cBeǨq' xJ$8q~DD% WyU(ٴ6)U[Jqd3gFE⃮0j\97\1,TLZd«G^ (&=}R;ФS!mN`r$g+ʏ4{2*^gT/ZOp6=/2?^);ۓHKv~y@EN2mzvO+55Ȕ5;#Z-tۧheOw0,&&"$\=)-E[b6;Z#%>rQY"' y$̩߰ ըũg j M0 X|ţ,gz٠l±j':"|_V4Kۛ@^ik4,J45yۊȩ߀b4:3 V(8,f(_cf}y&*YIn[VcMXmoeH̚oiHWׄރ4&uwJ%=( hXvη&d =!jU"ORׄq2p"̛#)z .ZFRVZPF.m  ڝ*7K}M5?y+ $S! [TQ)E|85S*#>4O(!"'M Ssvva7_i`*}hg!R?27Qw3B͖ eG]z|P\?81JۄrEqTd0v/2v&-sCXzM跑^AJ! zqJt|z DB"y f) X ͮvĩ9+B0ڞ +w-k=-FV|}f8Fc7?^/ڹG"iŸQtrzTe=RQZq)MРoC?KᗠbSC353wA7*C"kqp2}N׼ orW1j,+LaG qh_`W/ iHqI%6X-;Y+ºIm=[ai**} !SL99XNވ*~/כ`5* j/5z!Cy5>B)"򪩕|5>0'顕,y%B@)ٽp98ڳhr3[Զ3H/O8ػYSrBG|iS{-+[Z_ Zb1/- EDBKOR4̴uuj--8]ѭҮ!jFDyo1|`Jhq 8Ru*|Bw@̾6u J*c2ussY5"oSwQeyWnY/˜1q&˥ZzXCOQO5Ҝ`9O$w}QQNGr(Ư= L(X#CkKZҸ9ԹgxL '8w#+̃n2ilLuWö:6᫄Q< J6 GCXFi%9kޭҏX#aM!븪! -{z*[yؽ& 闕r]IOKyX!Hq}< *x*Ir,h/j*{Zϙs5kz"v5]~QOV9WΔ쒘H հ?C%-KC#m=F<-ꂾE9؏aI՘u0S -d Nr&_JD-Y[s̔i1 4}Tp(X3ZCC^ VY,Aj6eXCLe?O\z^)K}_ 6ğ(Z}Z{N?g=$™(r`NS5+3Fیvb)@çϯҽunkH u,x0su/p sO(0cMgpk ԾA2UV&:/0^x01PgTZhWd)aRA7LGP:H,T<@ѷ_E/7,^C\6ř9[)p(LU]?~]E`]BUcr WJ.3ֈj Rhi{8LF:Z5 4E@]t4wj>{X@eުALܾU8 nw>&=f`iC4'\;r(LkX;&S)>ONx9Th--:,/T)WSnXж#Lj *i4&a(a(ۃdȂ{$6_S~_tcHCS"}8;,XTsR}vI1ώ{/ZcXf3X4ٮ)3 A| 5#d_Xd)@`f E޴cQm@Z+g 3č)MZ֩|XO,[-^ngV֠ q_N\a}f\D9EsnjX8]p ?{(؃H;ÓklV{M#ʠ^.a|t#㌫ϥ?Bd(.[:Ѵ4>(pinRĖlLd8G(^-FGkf`,N$Cx`ײe'h㛽/u?f Zu]>oYk/|E0tD֕c.)@b|Aں'>(^fk^˒_F9}#VUK#~^Ʋpw] :] MSnM">6or4`d ǕyZb涫o|$ؐ h犼B-{-jEq\dMKaŴ=Bz3֓` Liit #DY^%_~a4՚ũ FG1[v*ȷɠ1s.gu#U#%NY:c kNM*et}Sf6?4?d42zW[dQ l\/8Btx="ITur8e() Cç=(KY()v(.\^㵽 Q$X_*+/yvԥ({y׵5CƊ) ;lHr>EΗ*8uH@#}Xr1'踫P}рG.+"F~o0(9tL HJ.tFAZ7k՗cֱ3/'9 RëeP 4ٯR:~9{p_ygV;GrMFՙ\"X(PockkY97̶HWe[3_Igj[lN6O|IߙCPC 5%cUb)qϸ=Zd 5'k (򰥸x ,CL+0y監xtOd,S0hm ~k.,g,w-1H|(dNQ= 0u)e}iD/XMLS~H܇q{&{? g#D"\KnCYOk{][2\a!.;\b.͠oReȇ'_#0 o:8Lj-"/>II1fl8~$|{< we"sd8ŷȸ~ǹeE$>ό4)MSGrϣe6Z)8hGi..a ~UBG'Իϗ[L^y#Q!82gF˾JKh-6ųT2}|ş38xЏԪ8r6/?Qͻ?k CلSSN=`yy4QIBV}I'L_!Q*-`o#3D%M`0`|Xz5.+g]hrVfiv* R{}F3 qw}#g$Kˏ&{T\o# Q}ω\*jV)I!P D>I~Z8 N@8&^M Ω>Kp'aq(j߳}(N&$ BfKTM頗mN룛!%[\Rl ڜq]}:ӱ``o(VAOuŰggTaq5AEZ`/epBgT]ǚHJd$X抳VQ$nhk/]qjw}͜⿢l͗_0aJkd́^-E HUcBjE6n3o 6T( l:>ZC?v3o(Dq9ӵ0̦a7 ( LsN>p-!$ Sk'a]3ˠ%uYV T塼Ӥ3KҟBs(o`vմtԾD.Vҍ=:_$e`P ɟDk*H`kC|*1 ?Ϸ&fBa&]m:l|GDXyl;ή#R3|-gn lJĺ+$.@K|RWmk98|uU嵟ª.'WM@qvqŗtn-~vlͣ 7RA<;a]&P#g[Z *jz>@u3A/ Y%x c3 S/|۰_fzwؓ٥56>Σ/co>zӬnPCxAn+]D3 b;]bP3 }M zY8|VW 'zi49jی$r7cu $uA3ṅ!WgF\V@&5H_Kϡ/离%FMX\FMBY\n1M(6BeTSWChHClQ|N ɠ1н>=ρ31~γA;PQqTxS q(RdCwLZ~V3T:QJ^g`6 n~6]"[y*-Cx^cC2j(ʄ~Qd0Q[PtJ!SaS` B#7Kgg`LÝ7ec+ipjR+Z,)W|Cx j([lG>*0"Wlfxjw//-}M0MRrۀ؛ou/d604L?zO8:2ð P~І[H(oQ/`s7yk'>(xv3 g6գSaa(uA p빺oZl@ S DիfO R̔Y!g2J4|U&mVВF^;#(LGݿMeMCy$$b+.#u/_I%Wg]+_VR(Jt/ _& AywK\:8~1CI1]/!C '_ᑒ7`lũj\0ݖ9=ܕaQtN۠|RP*P;F; t2217@I,SN]$Ht*MY,M##Ldq]jsKAQ{͍9[&h׃391)_L1gakwHZf[frE+qy7O.O% ᆶm@{Mh&8{\HpYPI:WIPv;i t}'iŷ+jÉo 0K'S0ȩBhboo*/ _< A_pk+*<c#.ō0cmW؅lCmV;{LD^ɖ$4ǙoS`>ӧۓD\%y1Dm-ҡ13tnOTt೸ѼVQ&Pdv{C<H<EF>P7_}3cBN3z߲5,bVrTD:?F6]/jg{p&,4? j8sh9wXșR#a*+Owf٬Byw ӃedB-OBҨH%I`kYG`^44_WZ6ֳ@j\{2ig ԛIy<\t9R벇tdH56[ڦ+{:Da?V{ Iazb ;ފjԣy9~7Z!)*kw1Hi=w8^F3Ky'h F۶:;r% >jHW-\$g@MwlpR3Vx# Qh4p'Lp2w¥p0펻_)}qr 'b6gJz+ҩd//TR,$=f]WFC*m#m ڭ,&bDkn1 "2`:c՗΃GRţJf@4*p*um6Hό3>aZv0eXQl,yPnYxR>]jHpjQf|_{Lex:}ģD(NClS3σ"P} ad8+_ t57,b}ּ۪V0/)ZIݺ'T"C1`ۅwD4JjI^9.?^#F. snZ՟)LUY ~$:Ő6h.3bЮs|!lԖz?9zn=7,w(*4XkQF ;'זd<8%<ԶXq‘^7ԒD0Ā&ư9,L )@6?䏁ҫE^+s9Yq<0?V,ik uǾ9UPL H]bsnH2x-q_s}1 H,6 ϊ/lL> -lv|hPY8#HAI= !j$w)Bw2-|iV+]],QLvdyk{$P) té\&҂׷p*BR<jQߦkR~4${,k7NV(!VgCbc;4\W/%CN2nj+ Ǡ>&+wfzeg8`w ~(8 !:bFomz_ *se]{":Mqf yrVAFZ«M_ٲZ;3($M=Orh̼>be{eSJUt~I=6O :.`7,z]Yce1PH&|(c,F=n#(>нGIK$i3Q\cڍa.ih8N}>_6s~})\!cPk#'yBߠE836DmV H9F}'wE,3`˛1Jy1Z!s=ɴifWm O])0d1 ]y⁠tYJ";K.Ü:u@'S_py7A,qXUzB%j0(sd^Vyx.ʚXug0^໔fM!E>Sg\t `с/ <$N_ eʾ¸lr[ʞrPt2A*La7HL#FyYZY u 1Lj^sC6\Jmq_+@b,ĎO|tCz{&$Qc/*-v3Ƌ-ܵд:&;lFѫڐ źcAv"cpE;Xt+(H+<, VtdXn1!?qfiKct e:^6b-'`CAd ~ ^BA] ǖD1E֥جn(3=-ZF8u7kJ_5;V SMX Qp?oFKݐ,?++ēd-y c])A-$JS[Uwsxj, bP}lULՑ:66 3=kkbh@GKz\nݐ>J'a'JUB۔9k@T~؍^U2{3t"nn\~y޳M5 I)`_Q@,V@-6hܳiX!*$&.z}[xKtjUIa8LyX?}M&^ 5LAL @;"P\rgjs >_+kYS9zX 8}ԙ!a4 ZnwFw )]2¤6xdۇĻǏ@#7wgFStt_vBmD,s XϞߡ18k N(})Di1T` \sf|1q,RAy.kr\%Գ:n r? t6+6sڨ49 ~|ADF, C&w{QMFK! Djt6JyylE[^B aC9ŁzXɌwdTyaW)F q{e }mUsmSog\6ҭ6Ur0JNgKOC{|y7u_G w(4~|y0O^·N$)Us6E]bp<{,ܳ|U~fYK W2jGҖߔtt?RNr+1fVH|jk^k4\n!J#{(ँzY.AfM s#vJL1Ν/g {/:_tεCK;!ng]Mlc]B{&*R:r&字4 rJuy?~D[E77-QZА<J PDgmq"9kVlz?ak6s^j~a!JE-4T]2qg9wC,,t 5BmYMO5>'H^ r1k]*.]X*Ư{q;aU[yP3eE ZL'@t1w Ef{uJ?^g&̕ćGb7QI'N7_Z-KGOcA_3岅S9U1xXJ:\U_0RO$BP<(:{'`!lOVJ܋.nL1S |8nkqtG2ꗄ@ ڞ]y\(b8NPG$McrUrp+ K=<^zb#Bx"}o -VMm@m@J?۲l_b0*4vh`W {"QF=D:Fvujo}+yc?,;hDQgHІANܖ@:Ȑo[Z%@U Tcp"#H~j4Cv RKro4 0O޳oi; {tڼBZpJSK+?@pY'&е!X]%N $  PSi*OCv rQ1t>Y>J4>Inejʭ/{yZke_Z$G|62:ߣ}T*L!^JżrȸR ={t{gFR'v N\dpa{4#s>ĥ>`L_+Y-0T8U iPNo0?k'&O(JuX7äC;r+e>jm2.s@4ڞiAݺ_rbD|+.=0@YrN$b ީ[3/N[5 2Ë d=iQ^BBm[U-Ktlҋ{:@{CwhT@H%+IsnJK-oO zczz9CaѶbԝYH^ 8bdh&$a^򿭰+2ehJW1/a*{v/ >w{eM@#ŞNnΤ҄tvKJ.gSs+{p@?:2]@zn :Nqt%6ϝ8)wFh}yݏ[A)FtB> }{<뭄J\7Z:]9Bk ]TΞoW:kMូ  .,hawfo R dn5 2ba#_Q"p!bvhE|Z"'i%C^{ra9\Nb8<'zBi_ف@ .GsȒKCq#;{`Dj nAV)֫RrT WcIŋII}hs*FK+7yUukL59aT >'/|⊊2ֲf\ ˣ9Zj}jeHC!F+^;SBP{0+_&4zNL/ZT'$uzn"#o'|I<N ˴<3q(DyTaxHxmmvr}_ ɱ'ddrx1c yGJ'޿/!U`Pղ0 ٖP'v o<3jܧ-,bN'hN? + _vĠ,]-"g7䜝Ĺ.kL,te#ػc r>p,$Iu8^<ǙS,0]J>%MSh.[LU C!^FIYRE'!=\2 "d<<fzVp%ˍA՞+?\`!iwd[h'#n(sbx^n] . #$;K{+`I{،8bgV^UFX8ᓪ=8?;|bIʔ&T"sNElQpXp,L9,-* fQ8)zs=ZΐJԸ'z}\de2Qlc+øA esEJ5]b%lO"^ڒLRҊ?8⩹jד댪 LN 3=pKр"b`+vBr4<-=Yc^ZN.,|(C[P \ݬ}Oi&? ʬ  BȱFF aǔqHcPAt<%O:!iZ؊Q-=ɷ'~hݶ/fGƘ=<\E;X==Eg$2 GtKz /d>iUeK/F%[jgb:W%õd݅~.ѨblI;qnK[WEۅVtF6wZh4;8IcTuW:~hvPzda^(q^-l$A;GfH{_(J`Ƨ|3IS7AvMZbY Q)b4K`&x>qmeJfeECAδz"zzw^>x~U9}R%2/0% ?sҙԫR&B3,6K3`T*(bs.oglC[Zzf7ɪG36ߋ7>%#%0MNl`I ~!r]!cPл/V ‘)wvʾ\Z\3BR=lOĞYt)d"ʇX?c4" Ko7;+]GFqqU4 (2*2n+y۾/˙W)2 "2DTn Rq8^5 p_gʚ rfykǔhOY*LDyV0gYJ8}¾Q@NjC#!v?' %kw8Q~2(gHYEprɺ4^ ]Bl[]D/qx[މ㱦қ̋աA(hL+bID.mJpqu4r'0G0οzD+:X'%beed`跥4H&H54g뒉ziXgY!ҽ~~N[N`ײƑ~Vb9!Cedo [<b.l +%A4:eȭL)ik@/eD[ }X"70*@/H?*KE0ݭCכÎw!݃vWQ,1$/Ru >rKYw,xpW;6Z)#)h0 ;0}{[ 11iRp'nmN`^rUo;dwv4Vy;i>eh\Dm~~FN2xuۊ[;&/= ,o+6'34c d`F'lҨYs?xrndw ,Lcֆn-:$f:im@GБݚ1ܬN2pruW&ZK4'ϡ_d[" n7PofNii%ZcQ uqnT#wPBf<;Q;ͳc4$vv `|nǞQPͨb?CeM>#qT4.0K-[(ŴoD <O.nFQ9@p4aĕ x$Tmd&3W f2jzn{ΛOpՋ#߽ mMAV`oͣqrQ(;8ڍ>hJ$3RY~ipӅfm:Eա@)ϰ@"loGkI) ;57F!@b-dU[W<ɀ,N+q!a/y.TVNa/\7H\O ʯHXQ&?W3W]:MixLlyV/:Inèj̋J׊I;GAc:é72vun툮g2vqL㙶hl=G ,uSUʃKTwݴtГ]b%-&^ZO ,wI8,d rx$6MTj:ǖLz\m7Q:BAT8cS&wugw1h H ϑ[ܚOـ&'rcDv"O):7&(|t,_q1Nd[n䮡(Z>_dzN:QtS\%J6f{ K^WwP~̺s3:9COGW9}:5Cj cUo}Ӆ00(|6&,5h~KmP=8`$b sJHwOG(\٣Kȱy/:/hn(ug{t 133ad:ӝBjt9%$콢Ղ_mu9)MCfKoDnOD>V<ꊢ@%nM=x0Zfk֮iL'x +uEjQհ^kq#BVӪ^'[5pR݄)*\Ly7f]13F=nY= ƲO46\#_xI1UD)pPSQE@fP2]=wee60Wk`3rDޫyyq40a=/Q۲v Q}u҄m4&w]}q{Y Qv9SMXX_(_ߟl~-WUlFt7^EG9TSsȇY94 ͵#I.~:[d2}v6'Iê1:_?݁N#jK.rlN^ Tr![X?QUU hjQBd7LFQU9 W5ݏ9T;`U/E}W\J)) ) bIfmx> X], &Ǻ/C~"nMP!4زCmIq2خZqgYb @8 %+r 3W-ِS0AMR M^#&)u.>[&_B !LIB'p zeKd1;U -gT9eC!AT/@ pv+ҶR{H0ů $B))϶]#TeN2'Vb}'-K2GwV('.yEۯҎ> ̫^Y]fé= $/έ!\B$' hp.vmdR_S\{@R "r@ztGOҼ a^ פ26a"ewF PDm^2t/ ,6`Ӿ 5VD 1ӖpRQ~x˩F\ߣ*Y>KVaQiq)j/tyetSS*OJg莏#h_$cd AAw#9 ɤ6/畣BP)D3i suQHc/WਧIBC1l^X6ySiioÄRhL~3Ćz戦TK30ޚdƐ'OZQX֚j"sl. N*yf 1֡[:7 wTD^;,YJr{3g=nx=_XH B@HhonRt˂Y^{t E`HIԖf5i~| cR2frscڋAvHaX0g{ jO@R1{AGYB7~kofPvUbx,A]2O @$.ؔ,R͡Uޝ7| LC/=}z Eʥ1LbHlʻA?cOcZac?vjcic FTfu ]o힓u'qC[痑\( ~#0$ĂGIdݩQ L,"k0|H>sۈ{=/RRnK5=&OKg:,/)U|)+t s?IĞduf8\`+YFgpAaQCG qQj-ꉴL0-zܝpNZ/)fTB@W\2γ^+tsM.R( ]5;ogl}N.='9_ ԹRm|i+Ag:u X:z;hSǏ`@.k}}y s` H3܌:dىV#aSx?xm][D7ӜTOOhХd;Nk)7tS) +C<1/>c: MM@{~K@?#9ω Y-v 0D!+uQ\\bI )[^\'--E0~JTL"Zw"6wG\ܾѻRu$jp ;~ܹls-W,(Я)]Ѷ WRojC_ 3;"9mdL/v8Zșڽ+?e@6d"X.ĵD_Qz wյ|5NNkGz3_~P!\ B ѽta|"g25a`B' Z{cei }\n8!g6j A{?H%.4X0yիA"nI~az4;?O6 ]׽(q.whҠ"X=Q`Y_=>ňa^za\YHݽ%)͓+_\1[.j vCq.@֟=u)#^kY~TOS&oܹEa{֮#-+3O"t da Cv׿OTIf,Rъ2*cW2= ,Zy0Yy6ØuHE2^anqW)UqFً_"Ţ7,tIgЯtS.X,3x.?Ep($evC[Xpr;?|k s3Xε3<6zyAI=/68Im[:5BjVzڕ)WDqF%{ݸB%^ǫrSG+C('͊{g4S!*\_-χo0V;3?`` 9K Clh<pMV 5)A˟Hx%Qh@ yαv@whM[W[;*;XqK%܂ +gAzuTքLh,_cfꙄf =#)oJO/rt3?R±̸\VErP%bISo: 7`CW([W{uCΜ"T 5sVMX_YkDt#;rwx߈ ?l/IQkm 3`RqfG;cY1+(>m8{ 5yi&xTODT]fρQצ-=pjsӸ-iD6 qÇW7ˈC9VMG0ipA>Eg jIAw8@7lIUzRύlD+(aJ-ٛƨV(AH{`uȼf  hp;(Zb(V a;e 7 phy&)upJyp)l6ud#;IGF0XueJ'Eљc|yz*<ʼe[&Z+h~3JpV+ˍ=, -/HwVzFB~ gh IvngJzvv)vu^UJ0(f ~pbc@LưR+lrR{YHOdgm[9e_2Pbw:d+< V5ft<49uj0""{Cj #M[9HٜnsRjawS@e YXxۯۡ̅=l%}0ZMC`{1'#y}=z_60 .2%u1P~_KMBϪ@͟bi\8$IM),՚1 $OM%uqӬ|6]"{ Hc*P_gGrX͡]36F z3,#@dC4#A/\Yg'}3!/\Pr. ã.@Mf֞U~qآu:@0 u&XYmK)s!Jùn* $zowڈw14s7?*խB0<0Xώ.*]JɜG(qݹ?nTTG%F906Ϳ:Vݴ;VWdz\xF@HH1F i7Б4i<'ْJof}Ǘ0Jf҆B=W;˺4Mjt|XއplGI~CX;Kcꎂɝ#{m1WαoρufeP L$~,n  KرI՝k+Ce-°n6z?/,&&.3tfLXao&_Jg\!%!V֖؄5  f38D!5R'@eT_ A1T lByJ-Բµݛ`A4t/XDV(SSHᲓ k'Of M#W$k8E֨x Kټ/<'R.d[p׋Ŵf(/Z:G-(͘ XWLФිE;W n.`W3ٝT8x<*@O餿RlTdV"^+ࢆd|7)JvH)to\u9VGxXDqJ;ou0F?0-76xG: \UŒ8Nb,aaϔL\%wkquڃJ%>kmbb"aM̙4~s]gj؈6u>-c+tu,D ԧc/.x(M&L_G/4)ѨEHtQ]AHA>޹")aN\bY'b/.aE3D`Mv7"*s