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 h!,\< ]]]HOL-Proofs:threads=6elapsed=643.208cpu=1806.308gc=256.392factor=2.817zXZִF! b]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbZRr8dӞRNI0"uT*-̝˝tx._-iRNaJ`mv'x^G?>@;CGxT'?<㓆Z {ڙ al$6cIFcΚ8N~KgN[1q(mWP ^`=DŤWnj%1ڴe`bGcSD$%P rN`* !sGQ<[w*XTT(jmuNX=[XjgŒ kĤKutp9y  ! HOL-Proofs  6D62yO5[ǽQF3p$`BH-f[rAQjO% h0|6.sO|ؔl Khztfwnta}n*o-Xc9|3W *͋EV||h@{(& I&5#5{D &l4! zs^i 2aԴpiXچ+^jz[JSm%{c&lZig%تnČ/"WӬ=CwyZM5!Bcô[!|9ZҵI]v& ^vBV|ɽtm-s:|_^g:tNj{Dci,GW8cX"^[C; 6`^YQC)I%cJI_c?*TXjY_ә+L,1Q_>D 6br7;noGrTw֬DVi5jZ!wޅo#ԭhr]ϟK8 0LWB,}Womlp"$4LrsgB9JvՈUdv 6,BI}6I?|~ȇuԍJMU'vn>aMg}GRkpI .={ %4QNY{ 'ffdۚvM0ی\&}b5c,5a|G+bd`.yj}(fNM  ᓫd`8{yf2;nQ3JwNccD(L**j!@xT,\F>58f]NQjwren 8c~3Q6ӧ2b!jrBz< e_0;s{vZUYr-se0==^B$ÕDnc1x@:ZeJb,Skf`,pBPua5[&e1 pКZK黔OBM`R/Y&zW32b{S*\)>"kTQ۪?Z[$ˣ+ * QJK+䢩 8M;V(DRP).ar0`wQȠmkkGCߩw4o8+J FO:6t׳WFݗHb9 ㄩBmw`ݴoƛ4 `٘g7\qr܄vlm~Qa9XEwbHԴR/x zp\2ޘgR&Ae yaDRBNu܅D|63[;Rn( tZ2L$1o:}ܳ Lnj2N9=WD{vbgv]-Z}~f}_C7/h2&ھHM5wS&+6*qb_<\&[ 5;WA$svqF i0~1ޫW^){?FNiAEQTAߞ#z4L.i定/۲B:D~ _KڵɷNg?/>ֵ $KxܻIk:9f,,~ `:Hב|H'YB d9 @k'޲Q $O~}|a͟fӏG s![x|a3?,UBLJȉSi' ☸vsm"hO>f5!G4"~_i4I]r;Q( Lt>Iݥh.O%Մ~b}I#$خ=X][@T= r]*4#xX`ڍ6POػd9rYG] 1 h3,f f4υLT@t*>^@3H, A4=?7AE:Ng7Xٹh`篇--*6 8ȘQ;*&-\,23np_lq\z@ajH?zɆUn}^H%6B95"HqA5L+[EʶP,{~Rx|]vDGv!AL?g aw >pPk]:0;: !.95Z0E},7V sV  7G^e~|^⹉o}πWE^tҶBNaeպ/^M-.!@ t}URZ=>vn'JxmF'Z1zLa %L cfSe;P$V$dI3'8iRs %*pħ7pGʾn?QgZ YVB}lwJقp_PgY~zA;Ph$h@}"B(V)&S8/ Gg0dB4YE 3],NN@`x` sڽ^z\5hsX&L/€Ej澫hChp(Z"c z.Ofբ8%`NwQ(p_]takIeӋ5!:w2b)ANwj+ۛv4JJR*dr;ΥiD>a1a5;N/~LM+W* er nFtjڒPJk; DxMd{!PWjtSIA7*#Scx`|l-q*ZG`{.`%|Y4=#+h$. $>ݨGz{;Ӻ !2B'v+WxJ5=y5咾m)/ƠS5QRw=Zbn1HR|zڐMGn| TImcnWpj=nW%yTlyz zYuF>a{i <3M䝚Ef3(ZёyEJ0qǃ>N,ϩEE:[f027`o1v|cjRQ#Fʲ+95|.M<H~x 3;|qJ_ƚvޏȀN`赴ςJ+e >a.OOvlNܮS/dX))HE ߉:m7sCҥZ[sAH\ i d> ] }) ^MlW3`;|:p͢fo%rn-LsO,-]NVmp|d=E<?ALU!R.7HTP̣u3&ɨ(ʷ{VHvbeVî%GvTS&. <-;pb k.k%vaDZ5Bꨰ&r!& Ex ̀Ǻԟg8Tv-!A& ATi+xFXH2vV\Њμ[^<0}AkL9=Cqiu戛:܆Te͊0lTGS%/8[|B$þ)$ QpC@V,FVNZʚPDb9Pr/±XQr6ޜ-g=Z n!)I}lk_yତTށ`~洬Chq<~q]:dsL%]'<6J/2 '`l +$[3i(eiKFX5V9rT1|vj)o "bHv <} V;@,JBgKq lj )K7ppm4bWS5sV"Ç'$\Fosart)+kzs;쀃~ ZA#0qcxXFZ&]n!KwKAhT?{j{l<aqEJl2clւ)hmqPwi˲mE "T^_ |Hr6@XqXR@ `&=e\Eh_56&,֋k<8ꉺ@4p($ @r!=>{Y9_SUȓ#+f )N#>xCT֛TLH/QؓQ1*t?;ȜQCf kڃA 3}{)k3<ϰ_ TY8lR0^ B8k:kvN6wa9m䅕HmFbT{%g^++'0yI|`G^\}j_ϧw~GpԏcM_C9(2 !+' Dp+a\j؁ 6egYZ7zXZִF! p]ŗXiɟ29aoʼz[%U>EM!!BK/8^^_,Ex>aFOՁլ =h?5WO^s؊{mXv/^ԹxxBf;BјMgx{ޱscGk+f)Y_:- 0]x=byD]/tY-$6'#7D8< f;G,ݹiõl .J9f?2#~1z5edIiiirWb'8)j㊮BT#ernDHw]7.'ծ+{̖t)[XOdR|<#_eS~DQޘtzZ8i/M!>V)@pk]L )UOH4O^kJ?[*a^l٨?χ5\~wD̷Y5I /(okoh#C&T7~sA~.]@Օ*/+,VL}߅ENtH "/s?w|0SHTM*]i<,zȉo50AMQܛs7d" \/@S*Y,'ãپr >b 8YRw*ւ^5µ{%R'@ WQ^Iȑb68)OSWʥcG}?W W ncDzˆT]>oZ-U,(ܝO ߒ8C::c=C]xH?'S#)r>5x /e+Γ}'T~ǵsD}27h;5ۚ(0Qb֦8xq[vaE d?9x\#sf-JPv).-=)+x{$=Q#{E$co>'}s \M߯~yyAq{-HL42.5u1G; I~'fakwE2KbZmTV6Y;e'1M =!ayr3W57ju/jX&k*e='^TX2mx<|X=m%>G6ZiʱY*7@Dɦ @ځoʕ 0R00Ck#]Z 0_rGGJTX+6#f-+fxB@"g6]G2خ]ֲ,1J(igT[+̖NLR8վ/]Cڊa(ņ!2qX~ꎋz]-w?pV x ؏;36{2ӭi>2N|qgYZ7zXZִF! }]ŗXi%>lcfW lAW[=HʱZ>-LFbT^<Ok9L#];.e87H8wYE~Zn;@l <1jPvPg1c $5e=KB{UdJ}=q)O>t&(ыwx<00U=>EL02F6lM~{4詥 1fєiJ6up07L|D`Nɼج̞H_ZOsӟ0pN: ciu`Gr{|%Õ}Qmqp). ]D\k ?O4Kϙ",^N%6H@ BFnww3&{qۙ+\2F;QKp^:tĕ wvi` /3m T23(6/c sAix=Zhr9w]К#Jг0Y&3$V_G.[R~س+!r߉V::v!F+=~f?GJ}[J}[.im:e\rM}+hsl+UVFR6b6 p,{@!u-U/RΛ>`P I$74Yi;4ߊ}\ &8Q) O/bX דyU HŃ6}ʈQh@Zߚ5568'\ %0@y=h1)sHFpZΑP+~nIuŚF hS_J_JiU#@WM|T ~S6:>҅-ͨB ҆;?ORm+6t)n^{Gڭ8ylD1BIŜ ({ ~*Vr0).7hW7yS7e2֝ 8zQN7ICRyҦhp/g6DY-/d[C?PzNB06 bƔ}Fī O¸_M)e:\MkH!Kv%X`  > 5'en4 f 5}5Uγ9.% \ Ph;fqKu ΣY~;`kUiN5ZLvP"YyΨ:4T爪A %oR@:xqNcÂ;}n0V|; U S}/~/bZ "ӜU37^ ဥTEqB$6avaXV%l߸uή_n}Y;ՏjYty)(Ӳ2>A]kW̤TI)FHѻo+OľL{4Ԯ3C;_W VŦ0(1qb,YOD`;HhngXC-J)-t>WOP 4jkL&=OT2Tʓ}  v&p@KG=>r©Ve ^4T6k۳j<<-%K%XGAPj%GZvCJH:",(VHW|wɈ-/ؿb83k7a1[S^N2Ïp-F_ Ϋ ɥg}`CՋN6\Ȅ2]~'gWp+H+ Coޯ -P!wYg+`\PD"JIuZͫ9n s-\ b!3Uk)0qƄg7;>T\^) ,O{*Hs= LxG}k@VPk4.+} ez;#hX}xBuEM_P#U Y3Pg3d }l+fs9rcm/rTitzu-h/gMy_yDhk𢷔6>bƃCߤ>p:uoBkik3`MMG*+菠Q;Ya#k Їd61&n%(ƿ> I5 * nߒ-H"p?JFMӿXveT 4ETOR 'gdd֯1(Ł)K!V]+ tj!$g|mZ39d=4c#a1;D8[d'i*ogYR]^@p.ppl :CL)dPNH&xV`t=URX̶Vۘ{η['w)` ]Ay͂(g9&!Vl^II,6[MI`SϨBbiic^{`WnB n}`+)t1I8w!ќ`'uB?u07U׭ϵ8u$s=K~zSu΂r8z٦Q[N d&."ņWt)fm[423Bp:^֞^e)\cE^&٪֓MIDe%uߎJ=~Gh1[8jQ=؛\4r]"y9 TC'.h:`草Z+SOA*`/ QgXzikWy)ВWfڦpd+d^ҵK;hsgKt;Kc埳(^sP >YKqQ;-wӇ=ےi=Q3\U%%RKp]05RXwy_+(.0XGrlH3`%p9fRG$&W9Kڼ(?#pZNN"޶Ɉ*&VQNbE;r .2NLh_ RyubC:Tg > OTcdEH|Bʮ(DmIepKPf}MPpVrKaPK*!2ZղjBM)x*+bL؜k5̱,v,VÕLJ LM.H5MW.5d'X Xq^_.,,˽9XvLx`ykE]&[;]=F*q ǡ"6.;_D e "#u )J /z7 ¦,sݐ9_Q\JG}aejt4{8z2aRx=̡DO\5s"j\gULF-bq=Z;UxC2:z fq|(ES{-od=؛ԗQ ܘoST!Ӂ%npuŴkQqs'і< wmQod}O) > ڂ̀N{Gl.?Ť˵Bי|x5h"rRiFjPQoa([v+J|u_?UMd"7f㦬ua?*mbe{}#wde6: g$.v, H>&v;gC|Ϭ7=s=}UIꏐgrFC-\|hh|.FpH#"Y{@AxҊ3b/-I'{C#1kkLV5QVGRQQ0^}_<Kd;:~{ϡoj2JX879E&`9CsjlpCᠭQL@{Ed#2zs|zp}y ̪' zlw@".y˥B粬D@ ӽ_>f "OY ˲KxK!ԁq!vcbW6C'Y5Onl(idj%I( W,@ ;~JRR~h<́]WXdVk^4pm!#ʮ2poǹ' };G0OJb Trixu;|\ aάE %tWyء^g~]ε·̹Qa##՟E8sePrf|պ{Wg3{h3N倏 @cQ#,ӼC.]99p60j$,a%C4&\2/:,6ms^Wj%멂f8z X;\ux//@k?+`xⲄ3-U N ͸ •KFU6׼lL|[@GJwՎܗ2LPzDYQ$!8#'MVc֧Hf85H_" 0Ytpu;=iH!O&nwf@$(jGVSW 1#ֱަ6aΟ՜nWX'߭pTJ:d l ]<[͔Z`@[6DQ*y)jp ;܂6cE]# aقHj3 ^иWaB]+ O`/J9RsgFaf\׏92=Jմ>Jt&5s$N6U|L\[ *Y>hݏoL@-HuƠnԱ_d +c0yR584_Z?2*ħWNXGl.ȝQB-@2:yM[m"9響B1y:b%`LˏKktdCA+.u~[T>1Gj}5b}/ a e*裏n8 Mb,,}dB(hѵpTaϏk-<^FyFI$>8Ypgׄ/ ֓quZ\@ bŽGI!CBՂ|mwuH܉U~×r%9/;SMyJJ苝D(ppSʿ|Yk& 8? >0=ss ogIezC?uf PI$!nK ./Eˤ.@\%49Ƃz]kԎEb%.A8g׻_h9(o z fQ,-VhC߳j-j$d:EvJmsAz7p+:=JfJјLj}D[0uEW#CŗP2anј{*?j^m+h$]PMGӨUoUYi^~娕[d$ސ;yW˵ᚳ_bx3@.:b0b%n[*k(!݅,n;Z){y<kG[~UȄ$`zufЄa \+JKJF #bB~v,6"~/x%4eYAټp47 LKߺm{#~A(v_j} zkO[+44Nπ CtA#4k1V:C_q*ylǼSܦ(64}'BdX =pPKM$. D-ؑ# A_ \;6566D ]zBe8 gA^ ?Y|# o.q 5`bס-Bs 3yr=Z5D|V0MW7$#POZȕ|anL(QS]恳C.g$rp66;L('7K÷i=yًdjAX)٠'{{~PKwhdGB+q n8ڇ=צÁMzxljg OKEVj0I~;1|)[lV-;0.7dܶSg)ǛR%б}$]m㶌!ߑ!wi'T%X %R KF㕏 4Omƚ1e[ ˦m"Osن_cDP,,xYxt$[xA<̕?dCVLc=PsmY .>tZ+;KN Horo@B;&e(PpYXGe/q 3M ǘ;<\(I% {H \.Dl78\4[zuzޢ.6JnEp5ftV:Y>г=j<׻~ <$fE#1OfB끈f~{냔F[6e#_\vUz ߚ}E%WvKml7q">q,xF LxÇ46sZk!q?Ќxa[;;kJE?cJ}Vr幖5MC&HoX"3\?`ORhzǸ 1 E[׹ c'sg8J5EIqa[LCp,;R$`m+v{k*^# 핅S**K>~2;Q\߶ p48buFc[DV v&r׭fW vQ#ڼZa*v3I3b]D>E~m/jftئu[w$aTݗkcԜ#5 r жU{") mTҙz\nCTQ`rCn~vslC]B3=~0yi['Aבg@1Ǝ&45FG\fЫ<}s\ajBAԤiH#Y)ql 4,92kh EԱڒj9#xݟ=<&Ȧ.AmW)!HM 4!B10po&XhB~y3܋ΉFTz[9m>i&ӞC?'@۬WWPC%rՄb5Rq aX-J7۹O2}|·6~_ IsqZ !EC*\s?4M< i\l@5D)NW>@QeRhK_Dy01B W[ɿ/1 |/CvE'9Lu}b @BOm* >/`K'׸;Ua򽿊gn|HaYtjG#h7FphvN(of'Fws kMqB&.I"yaBv?t/KҺ*PWe9Xl+ ngb\ \euSч37x)pOٟkbIofhOƇf@ R^}hHדkx*oe쀱U)^C1e 9V5O-dQFVɪ9Ij%?:',͛Kp>ʊ !)R JTZt?rh|dp߾Vt|-#L\[!xD-T?aǒIelt#` wu^}mb7LE2#n<吵w*x%P8*!L>gLRuNB3p@&9۰ykn$U]شKQG^F3P= );{ {c=Ft`Fdϧ,# !']4 k g/HQr?8v >NbLoJX .'*M;_THj$C"x:]RB{!NǹS߶(Q2EI%.Q[9EI6[[Ա̈Uw^ӵ$y YӻOXJ"Xp(W>jXE^{w M^Nd"FSy\=ތd"002Xlw5)=34].Ep*mPI͈USc.OKN8Bo=\O YUڌH@e*^5rAMz8bȉtY|`s%v<ޣN[ KH" ͦ :a|W6< LJ>EO@uбtĸE彠Mb45o"%dbیX,VOnZqkw|B #00c%z?JȮ6Ae@&X!H_>b {'gb hk_lu$#f;rb;c?So& `E}mڋH{:)M7'%P[{| 'Q"qΑ$YsO6X;ʨWP{z*L/>DAuVDad^kqØ>ey BFiKzVN'3peg6ܨ$ށ2MD9Fry⚟oSn[i9-q?{w $n:Y?}U'o9߂F9_Mw~%}//@2 :4Zo?@if ڀEg(,KUApIUBRG z$Si) :'uj/Ŗ\jEJ㲷/0DMe{DI.n1p4|/ e!K"Tj/w%4 [R@u-xI~{yEՂV+ 789OpAڥtѸ̍]SqDj{ ]c|Xj!f '4gE3[PQ#d;[6|oL* rtYU.֒9݇Oi)%#qZ Xơ(./Py^D;srG!ݐ?YbqШ.F6J#HsR ՜Ub6 jPPx5,!H_?m6zڈ>?Uga@(1'\m]m,ޗ [ 2O>gtt}#|J-d*{ZY0 XZ[*y^{H0Z6^ū BfiYٻe}+W~GxS_ksǜCqs^q,J>?M5ۢ5PM'rPSқO\ Vb׊Sβ:k~xCkjZ{4kQ}/-3Th^wK=ڿɻ:C!ٕ}ͬeR2f}2v>hddlB+1:>jmPa 5Q|̦sAp$fxv|bǚ"&y'a*9/ b.r bh3y8C@|kMR 2rNGR0:$̇=}op hg0*i]64|LT efHyn/3YE vJ]mpv 9ZnSrmUSKwI$3Uv>f_k:B/k ɗNUƌ\BO!Ϊ/L<{/o4Id5UIW_%$bXq3]qKl<důFW:\ʳ0Im, [aрZ`QEe 6K0礠IKazsm_LY1~8C|ZZjE/׿HnȿP^r5SAjYEk2CYZpݛYX$.q DG|g,:2OgY OD 3IQ@Ͱsu0ds"}hqq"[Zv] ^\rE;/M6<3g zP|ڡ?xnFI;toCϦRXppM8V̞3$dzKł/]l]츨Z Y:OMHNty+{¦L?#w[p,a}f. OrG[B(B\5c{sAxANRKoX@惁J/NJ³RK U~wS|Ut21;BHD3]p4mbE~ޤ p^|Lq{PuuH%gƃ0'-گ{M8Qh9b@=~XS0Qqsܙ*/a'CRt 2Oh^sC{xt Oa<,Ĕ*P*AwYЬT#y." apc>ƕ"kudSzj[)Y?: 21 CĽNj,ޕGRֺ+5 dvc{<ү ~[ ,v*ʤVzU.1{r>zJ]F@<^i Cr&W(&Ϲ[. `Wwsj5boBgoԦiQJBtod IOd$K9LI~AOB .}Lx&袊cCJa ):eY&y Fqgŝ.zCV;ʗsh%CC8~s]WIA]+uk SMj0 @/l d˓ܘcÈa G 2*#hVgJ,ͺ6ٜ>F;pk#?JNo 4fRjg DGDKP5{"{" tO8+aF@_xx%l;̈́FJᜎbU B[VH/"9vÞDP m)UuB&ٝCbbNmw nH'*E9 eu"7YИ3?[v=a/ EJBM9i@2Hcg !9b*oC)-"lS#.?-BpӃm%8d=Bn&,;\YawZj %E"Ȕ7;p4(On/4)Otxr .ܝ hqʼn0iƇ}u@Cs_1 bg=F52m7('t|kCUx5L=iG$ :-yDiM0@# .\ }A?!eF>ȱ@̀ηvf(3;c,޶b[e/͝/E}OtOtܑ̗r0FlXk`ضޚ|vn]G]o~UyfWt\C>4 =好*fiU>I;I~l/ pc(`$xI#[h C2!]@s/Y-Q}^-SŰ`a/vJ шծ?W}Qvr+߈9&p| m,e:)fw$E Q982[|hF&MLA֎"/JN\,C8ni%.e.ޢWM}hZ+4a#Q!~eU z5_ 8P@܂m5#UPLlVj2@ɧ5p`0W 0mؤ䃠<G+~j4]8j{4Umg !gIfwa6(4 ɶ _rr'>tW8 \CC|h8tXBrcn_lnR ƈs+\]oHr&_:C Havp_*״ ;-ln &f-Y؈z}bjױ> r-ڃVc>br>mt Q>3_.O@Zi8 m`n_zK,Q˗YXphc}6pSf5Mhf{0+;gg5mZS#Z"jXM,M]5 \ f<V &p Tg;Tj~.[ՍF4% 07!$YܟO[:t2͗z{I="A~|#b/z8䲀ums,(+ˆ|dMZ\0vֶ|a i[ ^v߷${/s:AZ7Q{MYo#6 L8ի | pDJ7"&Lu`gWm+FHTŮƥhE |$YiZF:+A ,lo7"] % E?l`)?2fY|S<\M^c71]5,{b%ze݋{}uZ܄2>{2  pen*Y0 R@ãTQy bLwaIzqa딃c|X,G؀$S xF~Qy':ы hRKgu:bLۿOAG'e'4=ݒΌWB|hb<D,l{e bL>n^Oqckތ:gJ w&\y;liv'RAH'Ҹc:=cɼ( {;cAj'az:',B6Gݭ,9U" pxLPq2?}?dLi[&&h H; %iοw3d lXsx[eTc{"GYhz&pі M$Nst(D-0̌nTRxIf-*{*$spKeU|#ΚcYB]k| 9B7>Ք&Dycv(pcH ׂnJ2W%#LX5\Z8,USi4߸+{{Se N\CiPf@\/tRjuM!C P|(9<lّz_K,*>_`GO93gY'Гi;5e7Nò,-f5 :^^C(s8_mQnP(&Cl|0aXi6Jhwj(HKEx*#NǓ-uR%c~ r2Jp<gYZ0>V'vyFNǞs 30~0{H5xKWlwMpBZ&K![ MLe @G42ܢ!q~FT00Ogl>¡L3ĔfsA`5EwiOEDxF0>;40FBc_ ѧ,/ H'sW'(@G4GvdVNV^ڰPAԤw+j$6Ƭޛn SW,Н2{2fǭ-@?*yUЅA&w#Cjo=8.v,9Ҡ1攉dwrL1QIݝ 98p`g'Q.GAH Rz a#[[N~jCU2*͚\$<.dڱRܲxMbkR#at_% hp.VP9n #bKvI<5ݪhv~qGwbDgsߪL{F>@hn 8rQ 'w١c$sћ]U>Iƻ]m[@.}: (\N-3R΍9d5u}~޶&on"%{Wg+,?C*~Rϱ(9Wow#v6sE\`AtYXx~o=<*]XālrEܰ@9)$X@4ǜ'YG*Emm*w-|TRYpZrb '~{ZE\Me7.dp~&F{=-T`|{` À.2Bn5 ۻ `bҀst cT#=p{8 l"i,?5V;;/sC,g|Q]L f1ktVv@Pּ{o6ӀB]a 5[p)+o-91ăhDoGgl&|vo VoWx~!5hk[!%?9m5H-ټh{ A5l}S#4Uò09;29ܻS~8j[˿w/Ϗ"o7ʝ>{=j9wm šbgߵEKB+Zf1M$>ў0o0C 󛋀WE'*{UdEΘS-HD *3L`u).6'p(M9qKr"r7O|rRV7& :%,n^A3ֿ=T+ypexQ Yÿށ$/Da ̖>؂N}X LvF5fr)/K)Qsu!oŽm+ @7DzGZSmBMwvI+5*:9U[ u,ʡ }d%V9`Gᔉ"η}97v':pE ɻD|=\KLMx+sB:: )4|(ގ7lv F=^|4.%p^E2Z33/Kpȍ Fk08V6|K)<"fth+ ,'-%vL >hW$g/^׍[rZ"pčo,PUu啞{޺lH'5!x ?x\)mco}=g2h#=59R5l˝g, (Y&%g9$~إ7zEγ^"Y-{dvd@}g&i-W9|vxiӫA r;8&Ç 4XAvE\m`Ju9h2ӄTMYP=Dyx2Δk`Eq&.5o~JU5DÄq)-*C)K+j?Q7iR`gxptvPj3h]EҬPh}3iMa<X/ṳΫ O9,EJ$B !7O0>D;4 VUM\ˏCO]J;eoas V$<đ3gnr&ˠ*AX TZA;P+54uI兩?[vdMKC3)~w; CSTm;h҈IcMqv-W<<ѐ>TF:wxmmPOtJ" b2{ЅqThLf|drwXQˡ[ !h1Ɵd' <4EXv)ºq;kx' `\ EVa6enťn,}Ւt2,:%0S,F{{?}7+Yp6?8DqN"̟R˶2ф@/S0P]z3DNJV/&h~ReBB N| 1a`:qf\?l<8~ˊ qF9ߠ?bGoD[ +s24*ޅv/luVf܏F$kbjR2B+ZӦ ʝ٪ޠfD.^}sXlmS tQ25$G1ʵs.o[( >ߙ`Ɯa2r/IlARJ ;]v7Z  rs,jpi9>a?O?r.3vľ6p>8DxdRWUn? o7cfM}qըAL+rHs$ͫ\Yj½ BG`aZtL<+;7kȁQK9i#6~}pu+f&yLdҖa":Z fI?.U( @A9" fo oǔp(okU \>Ө5߮Sn.a A|D:҉Ӆ:x#bBocXxޡcn?  MN::%,gQ@U[kpءA: l'\}aO .˃"ީ$wSY0_Cϔ.ĠpA$$̹&6!Tߕ)d&InD\L}$H,}J cJVMZ({%YD^/JQ[f<!:%&څN-jGr|mæ9V6ӎ!~h f BR@wֲ책4"uJr,T{,_ xyvb3Q@R(JHeMWՔtX"]U w1}`swp0db oV NZ"EնCޱil=Z'QԛbV`XN:0!UPiU&(tBr[Ӻ~` (} ˩",hTpDDYme{'[Y bdu8U5 ϿPz]40f`Ymm҄!|!LPD[yZtl V,XcvPBA$UMUH(V鳆#ѿSaP\$ m8?"]?}XGid2{~^>u,vP.o*!-`KdW 7EO'(冷0%lvQӁv`UWC`Qy+ }Ӂ1'zۗĂ]g8ɌdcCve>dv?~EeH.d/-sj 5p2x}Y#t]Vpsw8=E(3r >-f=]4]8t Ljbh67]op-d=l"!K9M^h AjQm洞QZoHd$(O?Ng4RJF"uU<Ѕ ~",(QEX2#aV/5&^VٍdO拊&fK%6@-G.`N/5aM5| ~*,&.d,}>7B ;Dn7d,mD ^OU(tOQbPM4P| &EI7HM ͩ-k8Iv TMVAXq8$Xwr'{A0Cњw/`?)l2 8W:uI !pCK'8!nQƊuT ۼ1{nH{C%ФⵁaT\oj6^QIbʵdc>/Ǒ|G 5X @*/1\O/8}ؓ-Y"g?3d%~LghhsC^Mabrw;6@F_g_mG/vp)bO4jFi(W{,یn^]AfNՄ3!Zɕ=23~l9 kOXV)Jʴ|PXxQyζakcwogRJ=1Wvs#g +vB&'o8QGϬr-QH#M#"1 / im,/0ře1 GFr4|< <=I07&%tzǜWy16oꓙ^ӄfM__ҕ# fe_G 7Eoc5o{mYܒ8;T*µq;e,l(A|fƝ8GB@ݱ{5ygk}S6 ;U')0mfbg۾%Po}ZI (vY!)v7g7P4_6%( UY]ॳu5?xQ7.XncZLn`+a ӵD,^b_e|I= *#as+՜%iwPQlP$}qJH$Qf!)_bWoҀۤGX~|:W6 @~ȸZJ~ ^ԋeMXtuK{iT~ C2)i8xhhm27S] *#&b؁!!%vXjw|QB:)_^B909ۆ>T3net[Ǭl|2X~ PƆ 8 _@W8v[C2$|0s^L%_1Vl1LlHBi}r[١4.Ti"@VujMgg;5;eh4B%;ՕSvSڒ`F-fNt?DXW۟H kY$MMq2/p376&T]]ʩGnMs4jFB̀Ui 1W= 99/px> 놕opUb:~dSwZ0Sx [Hn8 |[oMBK,H'cۺAE [fD!žYTgG2KOԄlyO N.-A@}l^̉Zrk4h:&hZIYKs_\g5Q7d_Q+PiM_9 zxBB\hLbenp)mYQ^pgLh.yVxl(p0d;Ϥw=R`#@m N#^x'+.+sAcan3&oIG}|)ccIE漶)TA (^ YsL|gfsycp]Y`@|].얈/-Ijt5E!Gk %Ǧ9(Im5㓛(MO;=2vSZl8 (qcY9wNEk1CG9 n)pHʮ],_cC#& һM*+WN&<*" KgYZ253f80421c30d360cc47d9556205db182bab2d088cd2a2b0485da6972fef25fa342b036cdb7debc83abe6616a8e4b9dfe951916ffa18c7069c99707f