SQLite format 3@  .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  y y_#d\| ]S]HRB-Slicing:threads=2elapsed=554.762cpu=932.352gc=30.660factor=1.687zXZִF! N(*]ŗXf1-/6vRZ;RsTct.{oۯcZ %y2Ķ#~T˪%A+L#fdU.0oɰBH^*уbZ▱ĦAmZdg&ZvYZeP|v*-(k*:}حDʥg eO3RH)7 g㰼]!AW_(dj,dv9ZSY, auQ>a+ooƗi4NY=V%l5PNtK70Rq>y孲j̓UK *8zmUv{|8F|9 Ⱦܧ9{xǹ9hCRtDȨ$קFQrm0 ̚ی;@ }Q,׵_-F6nxXb/s%[C' /jVz@$T4[Jgk0S2}rLp3< 7vaVkssROiH1I|Pcgk *vN Ł`I_ :܎4DBBW6=|zRӠ* ҥi$치Ax\?3P$n^9=>' DN y1VCu^|ފ(YJTs'bKUWK̤B֐rQ3cDò+<6syGj_ad!( eВLuy"|v6ȹFD4]]]^q zL@ɢKp15 ;HO=͆"$,PdZŅ9:$+؏EX P:<UC͹-)aKNvZ7x_ʈ] o!h9?dKSֺΐJG%ZçX!ܘ4hQp{EM=SV:G0.K{ Z6imak|ވ:'хj!RqW@Vn1btiaj|XhV6aOjx֟J'Rt蘂,rH$'`H4aʯwQ-yXiUA8E_|%;W0%\hRx'PADV_ o˯~D+;PA^>j-&lL# 6TϹ¨Fj,hf~~Ɋ_,nҭҫrLZ7dW Kxq\m cmnRصε@V@ttB0Wd景N\6!Nd/o&Gm+SN65J̴jja=_fT3a)o p@v6!lB=E%!J"C,´7o<_d%~zЁJ`Uطq+lEiz3X-t¥evLηs"8ү.ԵӖ}&.'h$%gի(vG#7fč\v CaKHߋ_?siJluy ݮ,WD_ a Ge4A;%]mF(iI I;&\ yN?Cߕ'c0EN O2L, 3n^m7QMn6#+% ܦs#4EP7ESC2 !,*n3س/ y/p1'17f4qOJbZM:SӪ)^/<cr\\(LؐSC.EܝE?ZD^,lo T^'f䑷A/<7uBiM6Wn79rB=p]3vKс} {A~)Zkq& dC6 QjQ1nP }" ʞ9eB W%f+Y{R~3Ղ[oQĥs^X`I{x1oނ?UѨe4߽^de0nLSX)"h0C2ǣ )Z;ehf6΅Tn.Xrsp;B}'p}|RI6 8-Cd E3ɣ!;:jE2|O <,/ZX!뮻v'G|}>N#s>;|iFN`‘:"CY o:W ?*"!CVmlUMÓ>dh['@)H@="(͓OjD"/;,Fk}FT_i /,(r3r <\eQd,DNo;~; y-se!?Q˭7Ҽ}b m j:\ $cRz]Qb|<1p ,yר0_(Sγ),Ӭ\8K̆aQjzTY:X<^\ m*;֎~jV^Y9lUbөJ<^Y.GaWt>܈c`QTdҭts+1$:>h=;,$4(kgjXD!+O yV*b'J.%̗x"NnFA=hLn`;By GVPPyM>VF>Vu:UJBcBXe""?o;$A#'o&Z|K>7\EO M0|}Yؿl'#,w#|ƎtJ|h2N)JxfeI@8po90*܈iVtoWbS\K"R~7ݞJ!xyCrgbJsun*526]Lk 8+6 Y1CwmJD-+l(z8hu@a`Ů>˛+P;W}zk?V!7ק47˛ #QXL"7yY\s 2Uqn}SrlIj9E(A6O_Y˳E@ ;c54\-3"2erfwp[FXW %om_ZpEK盋(>ڌ7GE+^`l1UiGKE dP5NqF&.>&nAN]^l\Vf͢\ar{2EdYn$.ռ%eiߒ н;m]M y9첏XgoiXyol7 ߲|#/SRwAW<Jrl^]Sh`}F DPA^=F(?.cBicT.$FtͪO'(| ( dLpEwi =[&Ǽ:aUwEp4pa/:i&j߅-3տ$iIc(bcTDoԬm:UF(u6l&8m: agMB-J Tzh.Tkt'ݪ\|`IFp?8ogڕUSNS$#lpAsP1*׾{s$ Pנ/ xN3xYTwGKoR.ck)hWX#ؚrA2>W.+ fة)^EO'oVqnDhßa,dKx,.c4GZgU6l"ȍaأ/q}]P=E^.A[ Ls;Q 6;pfe {#v. =f}VU\SGQl^g*QO+qkeS2)-%$Nݫ41FݼJ>i߇8?:h|tUU 1e/{:0Uțci՜OFn]c<:ͨy:|n@I\ϭE!7;KnWAτa J+ҋN/(mZ#;dJ co%G ɂݎcۮWUJ,.-1'5tӘ.Qv+] 88'%KOmuB+BQR(m{7I<]@]DN@~)&agg>Z?u< 2 y1hwVoʸlCiv="D(K^%@\eւ0L[ gIzL7O`4ҙN1Lg)p" Y6tuY  Y dF zטd ևN]n]xgfG*| cF ^OG\q\CP] ʍ?9d4_8(+ u5Է> L ٪](6GՆzCumSRj'-r4Tf j7*M\pV$sD|d}qAڊ!)w+S c`=e@+hX.գM(vmv-{@+L|"E>\Tm2j p\UJ-@Gl=PX:hk@ˁã)j~"Jr&}E@{*mztV~}H]p{1 Jt,u]Ɔ-?Q:_VNq$ &qG")SMgڪxHjԸZ^^ [OF+1pV@CAʞJ2 mK׵ݣcQ!(kU~ͩ|&7ُx||DV/lY~*O zXൡ@lzpl]N |fFcBin=^]tf}gYZ7zXZִF! e]ŗXi%;>7.&Zg#E yû)j_Z5>IB3a՗ijKf}jq^vCH0alNv#Y{w(l!Kf5IB܊[X:3ǗQ3ػ'K,ѣ_^ԝxIE:UbOjouE Ϭ㟡%|yu!`@1j~|l}*ܲ Y?͋'?W FغL&xUV?ȜۥD߬ۘrHg%So%qnޛ!oҭ5;򲥸ˇ (W'%FnLM@W볐p2T0?|K:DԆ R%#ݑOT{،2~kʇj;%nN7cByi4e@^?kC,SDPȪYBS| #}7O5ttyxۨz{Qy?T6~\E2 06Uf$+m6PGKKs`A%(q#o\$}aT3FHn3=է1T[&˽feev-JWߟ~xk/"GT S"d’EL2>ʰ]0-) yA4bnEۅ)OvzmKN1:{=rM&fB72d+^{za8T!I`=|CM$'w;WÙ,#qG^D6Yǵ5:OEV+T*.' !ߖ R;Yd)%/F24勧1]S$Mٮ㞗Tc=BV//go{v.Jw1=NQs9n[AS0/2uwx[H2K΄df>'Oz L?;٦RR@zkOyT~BxcmnQ; i*.QYi=5a2hS8nPm2 Fdz#:RMz1|wFDj"MN26V峥Hly};NbjjQG=NٱrkW;o E([YrId>Ya 4Obl+EcAcrʼR $?4գ5E@)sBu?fqEnF \:; h!][MVނlmEdDb|k;Sav NMXΏ˜zt-%~SʁcI[1P%y*a!;"]Gk.|Sm|~J u }ޘ%QFbm}V>B)G@˃ .{TJN&+]nn!I 0*cӌZ6}򳖼D$:>-r Sղ::eC |ⴇ ydup-=َ8y ȆnwȾ[.k݃h1MgP o N5[%Qz"#L.Yz&Q6V=|{M 5Nܓ9gkD+rY݋e1}}J`4[, +h]e7@Dhtձ7[8(ZZnѩ+kUd 5'ynxi0s3t O Ǥ[6G# {+_bRJ+khwdDNyR9uG6" ;`AX`א Jhvi^chڰG{2D.dž(rtg@)'ebF/'(/NPYg~?|ϪbY۞ti%i]+{t1 !URO)ڻr0{&͋NiW.Tݷ 0rk ?p3,g-B^G,@\uf_݁μP,H54>KX8 Dqb: T%k>kK2\J0.<ބI)h'3:bg b:|/|4V\ɻ g cr DfWfols̡Ŗg7`/@%Fiv/!f }DP#Ezsl[fλ+poJS'p}Y.KP9^qKK羯k+ *ٙP=y$]w[ ۜ:SE=O1Z>jAѡW#bgZJeEQH$ 犩e¦Z|x8Qʜ Vˑ@e,FHtvXp0=7CW]^G+(7wRmݲIsUt-c8/ σ-xW!'z!dY#ڹ6#TQEeW9$L7wg e:TX?^08 /QEr -| ! ژ dCl>y@kYa$\T!|&0W%?5HIm=j/s^}Vr wu+DIMDlŕ>##.삘R~kHi߱+riTug1`CЦ$4VQHlc6͓]*M'W ULw9; o݅^jM\/iǼ tvS\ڴ`$Tվa.@bIؽ,?bcb{1RS(e-U>#} a~(3Uۛ*#8 /!TOd-}j[V528U!ӧVD}_p*WvVsb6(9cZKli:Z%+ i)7\"Kn+O9Yql [i_e9nzh;9k VU<|nM-9PzFyC\9gu'fx!Ovj¹g* 2_[֙#+tm0{zDu `z[5\5b?XLHcbY߿e?Atߴ5k@H>!^QrG\4\`^Q}u s5 5dO*TWmEf0No3@bSm!DֶK8w?o|l7ڲbb#3w7e3J5.V;9JBah}O.siѽk V WX=?Ăc:qŲH @0`'^}_vT@%Jqq+STܳ}\ق4L-8[Naaˍ)rm؏:98TCL%?Ŋ?͂ @chwn°!dl<͢H׈$A[~P$ 6W(@`22"=A(嫼o$[/sG% od6'4*r2, rψ#gqdy!VF++Ud?VTS:Ft~tI9Օ|H'h`#F#@*M1ѭ3`RhK#!ldDŽ3z's~?HK_i59|-M6ߋIi֠v$H<2 %i68ȃQ҄Y+dq օos+{'q.#q~;$0X9(@b@$@vI xo-P"#dI`2=Zc> ysO;D‰>_zanc,ڀ1Σ#"TSp[tz2 9x*B  gk T]ﯤrj*ԹmSSS;5-{ψ/o]&X#а];eӲDeObTꯒDPj|)/,Sk5yoO>A\12<+;@)p/9 XYGDݻ8'+m4~K6 ްBqnC\/}L^\X{&<|Ao +Y'_A0rxc)B#Г)Hl}x"*jG\c)Be+?wy,Uv5&^fd}#fŦ'ũ^:9uD;f&e6YUhsnyي\`D2=&%5+O6XXnqxy*XݑBg7qj^U}_( qȳ&D<.c|]xt(haHw1.T^Fxhc]gv:9/YfxHs[4 ;ܞ/Pzsqb,-ТnڨrvkX&|h3IC6WKYů<[OVăh$P#>>s2& bc*臱txĐ=MBIPh_KUBLiqAuS5:X5B#rQҞO4J 0T`zwlT)h+ce|;VK-U%l13QOQCs2NO]_`_ρ:` c/r@ Tȫ|G3ȰzO*A!!Ё й =6-:rGDԋC[+3stp IJY]^hgVv$Kt`1VBB?VocWq[,,GF$!n< oVc:-*gM9zn]BH.+^Ilf1%PyAxH.[&4 檓D2@[GFYIwk}FGZt7C# >wPy v$U1Q L>>Bٚڼus Nyhqi.}H٫L}W Ύ}֦Dqx!d\祉tqCO3yXbGU49`9RfG kX}cE%z٪Ru yvw( SzR/\\A&6kQ =vɠ#@ITf@C?<2kDu/BP؀*fj7bB⚋^7)6*GΠq̀W5`xP2}HB뤂сnL5q :H[v|^+-IǶY߀5N$ o&FZUo$+fĿlj!'s;IfNuSBy:Zky&bF3qLr$J|vf+nt.&@$22* t受坾\m3v8b䙤o4"M.h97s*ŵ85ㅚkV!x XtKIiV0>pTGG>(y|vj zLj $ >S,~`@( oG4=ܗ.gu7pSoZPPwӽ*uX ϋEH,$Y.XfL%ׇQάrhY㺵L ui8~ۼ.?TC'CxB.<-[)]HIi(判DE. ´NF2B`?IP^g|SiZmXb%@ 9Π'iցp\#Eʛ崝-;NtH7*Dy bK믾5x Ƀ 4dj ˱ եoG`] Y:tgJ;lofźtM<\h. w ] ^=fo:Hf4r߲*"O魆B7<EmBxԁJLl["/4W⃁&کk; ρGP_mEM̄ }\~X2 7Jn3fJ-+" ecЛ"O9sN"[;4g yҢAw ge=HrxR ao{L_,x5^WQ:mskL|{ \u𩆘īy'8d6~K[%fA٣za}Qj l%9ֱJl6 .ȉG7} { ᠾ5(u?0UVox>Ϊ]TQ.GB1 h^og_bj@ $! o:BKT|?^jG2Mň˱6eKf;ǜJÎ* B(Upz=+&zU/1[-Wb|)j,qĬ$k6|>٘PX|*'OK5IjA 3lYhϽn`ĩNwPt+ LőR_; AJ]qRm> ]do9KhR N4=j#앻+kb#]$Et;O:Q-CR #&BVA4'ԵɓӰ'TA1-InGh#IO($ԩ귻n*!F-;t'nͨe9(Z,.Ԋ;= PR],#}j{3 ]JMtRϋX*X$'s77_:$g@~M[k@dFc*P23Ra-uT][_oB6oS6voTH_w#ϑqmU2="t#mNTTrځ lKQ5z~4Jwke~u([? TM |XԳgHA)yV.zEX|4^ϸQ30 [lI|#Lk< x9fk`-N-}%pgsBͥOEމ@8r$#RL'(X6,}`fe&nl mJl E[Rg~o {YHLf`?\ܛlpPL[cE}dgMW͑P5w⚡|]7^`hB0>2*JU/ XʋυJ%dȤ9YFT=R@ΣȅI֘;0'^ K)i4cms >Tk 8%n#%5y]0]M:"NW8@M'L8QȪPɐT=&KjdVC/3ss P!)JUA \cRֳ&`ƆWChDd-g-,;̥tTe;J?m[u9)˄e{~DcȎ)Ab7x85&XY&f?&p6Gr[2)Ay|Q;A56k#H@?x{כH.7·^u+dˮzt}*MGg n%#w8aA (7n&NVACFi|gg3S·GzطjsbgڏBs; _n%أɄGx&>!ZWOJe+ʀ$MuTVp|x=Hy'k#J@j?iq{Dh?[L䪺 ֒umԙ]6le߉Ꜣz\ת. w^\ܟa6Mu,:΂ssnD)ox)o$hP[MR,kȈ!wb׳))+{>8+IZm<ى[!M%j*7NEwOrUϚs {@.ݶ%4vɶeⓝ6bY˺o/ u *){ Ŋu=)0V >aꠌ{iiR@crtbֲ*um:6\mH$tȰo} oAl> 5콍ͿG0PjkFNiyʖ "fww1t#u‡l;K5o!U .#BG~Q͆{J6>хO?eI 3#xkV"jz7xE"+̄B=$ vjt:N#0)_]6>4\i[p[!Up1c̹AÈ`GQ᝚^x'_|[_'rs IP$~. [vѲ]..ʯ:VX$#ȐOgtSrfW6uDڱ)bdٚ䏅^`ԨBz}B-+nR0Ľx^p)IɐhO*?lO+m)ϻT=Fd̰qñ.Vf*9S1r^Y %#Ӂ?Еp W_wfD p*U),Hc+E?5@f`Ŵ Eu ҋ<1g8d(i N|w0v2z}@*Kż 1[g0H'Zd( ( %KAJc.h{igwbe^eVe;3:_[D2ټci=s-֞ƴP;L+e)Ex]u0@:t@`ny> J$q(؞0~tQ_̼D8ѱzH9buZF}>hK.x[cR+ 8zY)'?!,aP 68m`uc|-t)6Ft}b"wS}cy ]*Y@CѢFgof M*X7=4ɦ7vk!snܛ>-ښK_p 29KW]c+FNShdlk Ba:7m8qtk&0=Óp󿜚m}F CpC'ff-< vԹțXg3ktedV7$uBljY|=BjUo s6Su@HS1n e7(Sr{>'ݹ͇fL\kH2m]3z}fyt~N}Q-#K?G_BܨEN)‡gCD9<'K17eL2iڢ5 ^u@$Q"Iz)Ú0pnG,=@kr+z=t3RôrѺiYtˁzPVo77CUB6ܦW>hvơ]P<r= ˣqxĻv{n IubE7~Ƭ#(?3qfA\{ʭ#{_"p-Bݟ`"^zx>Y+H&sJI1E^2|̽sOsY-}N=`p~_ H1ˉ7=ؔ(upHmU=>햁bzvH%TqUn-4hDA,u.1;# IR:JOm>SQ߽,dɠ\_yx']/~(Siv{}4BEﲑN'Yi &wH{򦙸fOP;2II*QwHW t.6ҭVEeFnJ3/T4_5KnR"""s+'-G&Tn 37#L'=2825t?K{-l%m-OU@oӮeGr`g2-P[ٮc6)@XD齴FEV,Ե8 JLY ̎CJ@bU`H8xu=|r˦{nr4|̰.d @{?O[$G _7@?6Yy`!zyjxc_J:t6PjwU̴Bf[^64;PMMr:ιEyG>QbnS9Qxqjۭ1.&)eY.*n,z0/1n NR? V{h=H7FƜο)D /abG`!gɚ f$I) [SnK'f#c\ !%.pcYiuU7GUWcx{*,| 3obTB{UqV5bՊd{{7Ye8JP"rEm c_ -'ۡ >FUEqX kODr-Q;HZ!4j*&l&V׉<FPoN]3H{ql5גϳƳ~eaV׀Dp0[F.(Zʗ r# t+sHײyn]o;<P@H%Pw)i\0S(Jc9@K6 +{EIZ굯kOeLBߌz@W*G0Yw8?Je2$g@ަච5624Am<eDα;[!ooA[AAfb10YV`Dk#_,ʛqO7Yp/ S1/%_^c˦<"KQ#RJ8Mhe, \p i brPrҒf]蚟ׅYxS١ t܉dEPg岗w~|p2Q-BwO\)4 x1T[\P|Q[h>%Q"Dw ˛ y;YK"pErLg9鏱jR/l^qawo<5w:[ GB-O{,Jϴ#Mo@l6/Yͤy:l5|^K DiA+Ć!E9g; ,I:ni{.+Pw fإ bbu#G&AѨe ,^Dan-ZhA9`u΅*O40w&G`Kb0枴w۫ff7rIEW;Ü IW/d[8dEh X=+A.ht (lb)t_Y`aMxUsk2VFf ѥמQ $*S9h;C53@Hp-_wF.2 ^;=Xy1b>uu)*%L s;Lf%<#`q3vy 8*UrnXEqCmh?F!@Y9PmsL31h-Nb;oMJ)M822+_1/dh@ު#oF*\CYe  Pp5qTQ6+^gSI R4ܰ(gKD Aw1bxk"^s~E,+6Jo-R(o쟡ɚ0a1?HZ"˲yʵ C mjRG 0oì!'MfTS+YrCOƂz"º8.=KcRs%BM8g%?בmK zƱ ^rhR]ѶI|'¡7hΉD ]c'ԶS뱴R]h!#}+zm16f, mY ِ\W9flvpnBçU^2P&G]͐wP||ȲoVu~KVjdEh,Ď`ϫ=Z0 '#\ɱ?/=.)0VVyAbaY N]!|/C#/5b/5m.=m_Hw ZҴSqL0}{@KlpؿV3H\h/ĠNm=`<ϫ}=|sJ7C!}tNyy5Se^?SwmsAO3i [7AfL󸵯a%/P5Dd(+|UZzBR#q> CXlQ#P'{kXq]Oރ6"SmiyaTuBnirkT jZ ~P7Zi\c5ԁ\yĤOm167x !ʸ4/GTjeif;c`yv~WF1pB6f?ԸBLDcj4icim]2}Fx0q)iTc=l'Bx+o!h Pc =S;J\Vly4|'#ϡ:LNO{(z;Phe W7e/ 8{kq4YQA(\]'le+"of[ U?8ұKÞí'1=m;4+Ž=w 0 lG>2heq3\jKvX%2asG+TD8%*}J%ؠχ9e"e;k9ii3\j+,^>} &:%q^bz2πv@y'  t6u릛OSb])M$.oRbSsQr@Z,]I!--=/IP.戏gKpTh]ǹa,&IVL s.oz qߗma\1!_[ tXHQXks;Oc;|1Fk(60 v5*D Hl" "mLw[յV ?rHΣ':*joxk T! /BUC'>$qjCC=3.jh(Yx}Uxe81J,fS ƻՖ41 (m DG KO-ߌ^tDR6r?荳6d)\!||UC>zF918N' 跺dɭCQczKD^*گ7f\p{kC.(b DmX(}5k zSӮ]T&#Not~kU"Q)j@]tx%Hw|W7n}L3Z}Qb$zsZ75ٙuP#>3n&_`-[+J+}1M}V]6Y6xDlHPuŌv bY U/,OTIดCxlbWYrR;j$>GbUb_/ThKmDx*ʠvpS.֨@7ӋLo]p],U[ {w怸(/wBs7r9˗]oqc( 8aSC3\~k0s, uiDž.d=+ r^qZFb8W|*CQ|U҉ $Qaΰ]HJ2X w1 j߿(|jyN;+K"f3ٻqor <=2;Ab'M <R~ɏ*Wvi P紨sMq,[*̱ Sf>P콀ĴCn\0iy$SI+nb2_WClLQ<l+2 @ A2W2ɰD~RKd}C1]ȁ"5B8^#Q$A*g-vT:'xLj_K֐ʁs \pkx~ﮃɳ( #ܥd AlPsTRS yz/5*(=sjH![Dե-Jr׆J=3̂ST.#s}rU9 G暎ߟIcOUDg`)?|8%W/4s蒓En~@gGu[ooA f eQEHNmv"6z1cHtoR>> ,t-Uќpz1.BCK`M!wXepX")4[rVWq4 8$ }CCڢ _oQ H`ı1)}?v-nN 3'Hײ@DgsfF * CHѬ:@=(~<EzcB!q+2`|FWG(L2@Izz0EvTƞcǑxwzؘ!_HgRC+-=z87u\'Jo] !z DYOwMpdW?m8:= $zU]}PD'ND~ Fzm{ 1h"p>[:O;W/9^Zf"Ṱe"w4&8Lƥvf_u1ɓ2T p$X /נR|?%r3ЌEVmܦ oC^t.shg 6.C"Ͱ>lkn3ùA,xGIre\+F_LBkO`}U3~е39qIР\Tct@@'wv)+a'M*|H5ͮ/iWXI(ƙM wK"JyhTL`kes8 Pi (R"jqqP'8pXK+%3 ]]VCn D"o2T+vRYB޸ W{ٰ$;\~dqՎkDĉ_p㥻n_HuL3>Md=JoPogy_PN-K 8B  6P#C3,D@f:}\Hn a }n"_롔$qaAh,iĚ)8;V2~fS)ΆxrЗ[hӹp҈<ˊU׾B}nio.#i+_. S'VNpp `O`LQ։ԣ8*dfr;O$@VM]4EߣDhD++Jy/A)q1*O "*lm&kǧQi25xMpq:@oR0pH:EwCdxgČL2R/e>ǘؠGv):_IV3'64}*צKM2b*# ѷϵSޣ=*SAwlj2'zp{_G&SS&O RvpdC][kyJ,Qh{DO $Il> $_ѻRk -t!(uT7X:s~Jv\q6Ox;h%zoـ:n9N){_L2/ŴA]5oZ}&VAʚ} I ZAA8柅ǵ_IGG$v ?Z>l6oڳcGLv5HRҘI<_(Q}<%⿝7q\ >ϚR_3xͩٲ {n̈́Q ]I&*J{}pG'ʟd #)v$.7 t;+R]5whnxeagyk r {qmBiC!’no->$>e v"iylw.&mOZL%d]gלԗF#\>vTzl ͡6E'Xwϋ}CMbTv૲B)IeT״ MelYThtk( 'k LF|n+ϧHq3w'= Z^ 25lhl[>dB_dzk-1S h-%@ְg&RfxdFׂSE#Gzաl|=z  ұș)[|?'riԓ/T;|3)$F&z7{T%ު"1uv %?}=:Iwk!>ò}9E,D%7/NiR(;j\%ԥA28#fPa|Z|umܝMˆDCH{eu1iڨtPgaE{@) m% j!P)26I *(6YLjRg cDջW 1>M]Mb=~'>~ _A/,|B.utW%78g_ſbr&; ,Q`^Z!5 N#XH iV4^ +xT5BV㲝AY:`R:̼#ՈNYm4S7"06l-2?+*r;+@oɭY˴nOV f$r)՛Rׅ|":uEz-[;\Xih $ݠG[+,ULYU$6"Fcʔt!uK?fb'M99dLg^g:|&x.w Rj4VNox)USU0G0 оůnH]~2̜Hmz;0C߶WqLj0aDGZvYBèV<=ޑ}V~V'AgXQky4goU)e F 5z 2`%xszBHQݽL:R׆T7hgרc!Ou>MPZȭ.C 86AFh@99Xl}ℨ"))K{zd-}ΣyU72iX82~pMLx7IV]~(~r{.\ƿctjfh܄>~[ֶ2MA,3N 귈py" @qʁmAsE:HUI,/M JL bQt8(^Dݛk f1 |GUi(cf}Onw{xXEn @-w*O=V0'NerSm%Kq1|T"*M 1,z os+y>MDeVL"bCnO:,)znH: 3,3P'kz`Q/^ćkFs+\rtfFN]H1٤:4"Nr@ƨ@eաKL^ùrBviᆰ dzjQkr}l*VRn,.{ ~#do&%=ұ¥ZL-\.N(#˵b81CXlUrԄÔj3U IFSrǓ?b_ܸH\?]6c\6jA)ӊ%Wvc/FH.fs-cLp& H}}p}އqDɕn'4UDYp:ݷ3Jn൯tP,`jmÔobvO'zae Rv; ťӁ0<!2nǰͩl> p2\qqsd(`zs!>