SQLite format 3@  . BBh77otableisabelle_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  x x\7 4 ]/]MSO_Regex_Equivalence:threads=2elapsed=780.954cpu=1015.872gc=43.124factor=1.307zXZִF! ಛ;]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jk܈ìFwxB(1'-b'OV8Burz0a.d;<OV۹@]Oo± 4prܿE^o*o]cfؑ}*r(n@j|”MH=DgfI *uKc~PLXE[Y-#%LA vbBs^;mwO%@l~-eF<mXq6Ku0H}3.ԂoJze CÏ5qHm )aܥ-QYD4N.Hv{Ul=JO)}`eDtVC \Mj\8maa \5YyL_jdp4:!dΤˣ)r3F؈,x>Q亻sŞ[{ 7 MSO_Regex_Equivalence eɧ'8"7}qh4>^"?p FyZ=*ܒq?ԬLt]Mfj-%J/A\%#':i.۪5Ǒ sg.0w ѢU1~w̦Bs)ezf޸Mx9|]%:bDA'µa=[:~.EBryX#]N&LqTHsw_@>JeǔhȍW8lJFa_xt耧Cڦ@kY 6G@"ޘ:y!r- }ñmD%i G͝`Dk ƌjߊ݂nYw29P$V/l/Y 3BW,LeejJv}6H$L4`[f ;&З@eeN [m1x?ϟ|품ѣ|B\&r(ڨd?OiR꠷z,|Z'a 5!Jz|B-0嘗YCs =h+Iw/JTTrWHKksIbS`agVd 3&whHh$r6";~fQBGwzR%ؼHAv`>FRdWDz/r_?"`xsq^)֪xh9 @Kj$a\,C)d ^}]ׁZjqrJfYv!m˙2o -X0rDF8h>ma&z9lq߫WA#ysy[AЗo Nada@k#ifSA 9C\LVuo!~~%[8a ?z<(H1IZjG;+ƎXq 6ѿmѯucr̔rnuƂE ,֠,KTR*-[y2b( bЅtM?jQsp1n_C>O9B_- NJC 7oz<|D1!Shuҹ ~M,KStF- STg߄!)tLN{Ż^θ\Vj:ebjؐ7Urq|yuW1h\oaqOxmGNY(Hd|GQ*$ΆX+NPIVx?98r L,֘f1H٧aU&(f3PS0xQlf$U&M lݣ (ښ xzD NtXotlm)!1>͑Rw﷭̹\klei <Ύb_X#nIwZ jLz>L[Ohgs)Af' EIlYiE+jsUȷ1-_\؎as^+頱&d N6nj=K=jsl;UsHg/e䇂t4b, -uRyovB\H8haTY焓G}8> 7zh_r_Ro-:֍#F_%ı@X2PiDyL("a756i1`] 6 6~aKrfٿNJ'eJlˮ)^3E~8?6{f /. ϯ[yvYC*dtv*TD$T Rڤ.&O.cŠm_b`0;4H/F=?U1I`J#=ǽ&4 -UwąIUٔdc!-"md4_tݓ)5u+Qh8cq8wFK5?W5SpF2Tb>@,zK=/l2څwuNwT̞'T/XJ}RU7SUm> !;ԁR{z^qZK1Sy pp+ ]+'rSN :V,4)mG@(;V`QS|L:gYZ7zXZִF! ]ŗXiɟFTp>>cP$qXLE۸Dυ&}b5EV!xpEko;זUV4"M%MW yVzRߍqoF6;OY"XCx)U i C'T*_fҩ Mсm3 QrnQTas<6mA!p {"vKWic f WSs7<}*-w/%ɜ #XI~tXq#7"Uj/٢'u9lٍ۳IsCACc*6H~_Cpve./@\KB>5 ѓ *JFHq= S^m1SQBms2z{Húuk[H2rJ<) C34vSP 쟏jt!MFE`ml[ ցQ՛S'BA_.A#ΐY4懫KmЪ펠Aы>0SɽW1sM[ųbOKF!ˊÞ.A/7BY~k%ʚp 1(l :zب ԝjHޱgYZ7zXZִF! Vx]ŗXi%;83Zm :LoJewl"0axg"nm񙧖稯Skŕg iijзt'cX(ڵU=x.ʚ,A*ѫf-e^D4H_# m\5@~bEOIZO09  p/eJ%שUtm͐D֜[Fa#Irք})HFXtW^wvJ}d=)1q0}&<(bbSw)\aכѦ3YytPB^\u?1:SAF9lݜkȪ0K&씇Aqw&uTW7ѥaS%Rx]0"=yfTeOϨo9@I(W7dI[C9VlţZ9|!_tn??]">T)$ҁ h(1SH%S{`_=sogd9eg7$V (Γ&i\_@vGPcXc(p`H99G=8 d|(v1y_$ڪ %@|,EW9Z8m ~^mAG#S$CV[mȮm:" 凛|¦gB][7Wr5/acӚ9#fb/C PwV0Q+laD JN}ڠeB%0`@fe,p?UU;pqPSZ_Ʊ1.f7b>w?v"\ N/3~4۔N UwO`yǛ chgR=@||ANL \Jv\#J'˸Pqh0aPe`aV\5V*ZX?err\͕,`oB)/s1$ļS.=ɫl q/AlpvﶹH`76&>'CN@L`滘2"=jJ $8*QҊyb5&x/Zԉ ufenu{;([+(>2]bkmzy~Uɟ1 u @OJxInvʕ,ѹsrm!zXb0Bҥ˾<HD'^?tK)za6`gt<tg@SV}N۸sS E.C[xLR_D]ԓ+F|ha1ϽESlcܬ+r/ ֩6,.Z6uh]k=Q^ggW]v8w;8^E 8LqX+)~RMY;c3R, [fcH@"TyL|ͦn{ڱY ěxf7|kSX~\ vFsgI'_|ތ%Y)á(Ocp_IB0 ]ŸOۚC y:R=[1 %T=%WPI.+L| ' \#VnE]T$fח"=Vm0m<Ɔ$ᚩOgyE6H0WS@P®Nl֩Ou>L;k#qEƏX UR궚杒_!dM @GAn3]  ן0#MQn|^"]aۮ TZF,dO)V1;`*Vp‰iIu̶8R:;`gA҃0&^K?讗cj6UIǷRU;A =_G\p7 @bTdk{aH 5"KfG7u3mӗu9\?ϻЮmUŵ,8 'Ex̧YeȽ븗7}wz;ymWNf[EjT[بu;SaҤ._4/+Q1~zWSҌ6_ 6'6+{Uif%!S+fFx4iFGxN 0ͱFRmrҖT}Z nȺQh/ge;F"w$>2aR.zVkj光u"[Bna.~Ph0G*-;i+_7d,-,͌~Yq 5=sDE?a'.};,"Q~bi:8]k q8 "Y$à^3' .ͰWD-Ub3vhokn7f;d^VL ːa]- 4_~u _7pL M}+=&79Ϋ]ٹ5QI:S 2bxfD$;OZhe2c76{-p9l) jq̍M=x߰ETzrڂdm6=^ ӅkXS&vq2}~'0za럟|a0 5h=JsĊZoSe [2?Up|Un ^%‘9ռDJ08 vkJ){Utڦ)909+2GEYI}tgNKs~Sn5?m "PԸ'LHo ~VՆXYW QϰL0EJ.]r~r;tS [ȟ5B$T8}H m+M4K.3^G_+βev[wCGPNd}hxzq*{FJe>JK9ލ )op|݀Us5˥#nw6'Xx(zJiw%d L2ӲP żbv?[:aDyP^g0on? ͎nhΛ㚦r=Nk}&n3EeWp7J<:@D6p2 dvR,}NY͑!MT3AT|_`[ /1 9[gUg=i)U0Y$åf( 2GC&,71oӶ6CK՛X6|pĮKg+V gFepژmoR?}Nnq%[a%MkSs!bLVY1uRlD.,R+(RQә,6*Z(o'smO8f /d{xb^;pOdCjq> |& w* W#sC5o<. ȅW50@ ʭr"m dݶ{_L&cr.f"y2SW;7x4~)N4[>8h|iXޛ-71VkoyB(7}{OJ0 \'zc9h;!t3DX=!H"M%`JKu,o9o 6Yit;vjW7kk Wl$(-A+ъv7hr^n Vٳ]QB= ,oRGL4UJ^-ϧ x4=:lj1Ebh I=w2aaL=̍{ZM)*Gd*û5#nDR[,!/:WkndwptMM~bЀ(ImA.<2`(+}ǸIpAvyr_eD2XȽq;F@?Qf Cݨ,c}B_>vy׭'@z`.0_%' ? ݏZá$fvϝ&HъY8>P+y4첆kTe0[uج7+K +NfL?_"iӓ[u=u=!eϬ `3jKWRq-cD! B7$%y#uFZ^ig۝R%\~9ab>ޝrĥIXP=X{rV(d[V4S"y^HFU%ɈvjwxP:Ce:!YǨ*vWIr2 eTL=t=$ FЦek&Ԉji{ C{AT&ܝ(u-ͳѢ<0dF?u=|}lv#g);%6YfUP Zس1?Uw$e+K/푑H .ѵflW"> m֖UawJJ兎e֛5AT|d &|&M\j Yf6W8;h!l!@TgڱZJPyLcj.ObqJAgyKWb_JNM&yOqQ5Ʌo=)MNJ8} !M5gȞZdW\D4o| h߂_&,ih-RZ0n&'T2m/付֍^+MiM &*K>L7=F`5kg9c W~rC[)v@+bNUF6;t[1\r)| 8./?k{h'N$ʁIJFB.601p1'I]eՅT- X`''g|OynH~WzHڛs8MsNB샊~nOZSjs սW勻,AWb]tpϜI}zH_x9k`C{ L+Apʺp盳h+ zZB IR1E 5;="QxdeDM!BV ~7*Za%,zA}3 T|+cS21ՆNؓ1^xaeENV(n8B*U]x 18 ~)I\rr#PSxa0I2{}V{ &jXE'>x6mܫF QRթ$\ً뫱|ї.͛Ri[F{!S8ЧzuĴ>$.ႌr`" Xл{3~yEf"uP``FS|TٗPU$KX )$pjs}0=M8>uX:Gj"O.Xv޺H&EpqvYpK^>'S.1[ĔFAjL\H/8N7c7?Q}UJ 7UZ;3fB(,mxMIǮ% 9W!vվC“A:;K QxI 7[tm!6.KozvV[Y'߀aO^k0>hX4W]/"F$Uq&L 2@$y^_ÌHK(if/p6,JV0=[?-eE88erЬJS!dҔ2Ⱥ,X >-&0[gFGt5 S, 42tZ֎'Qbo7[$KU 1#d28 -R19([{(HD.v/x}RQJ%M@\6[@-s~ڝK'5`'p22n}T2Oij:A>f2hصwMP)sw1ZԥUO)t]WC0#%] r-yؙ.]wXLW%^gb3,>av*z"b,fUG#|e=y9ؚ'7$NL=p.88[zN8 {lz+YE=[&f+m1$3k}QTW4/J]xmmⱂf>A: p!6B.Mx@=L߀;"9u$ǮF;tNP`_fl:#|Nf%1\mQ^@ixX*x9=͜b ݙBKPʧ]cy^ vf"&UbC b-=/1+W (}Q=҈ڟmvbN>9pZLx (b*)}) 8LX϶4 ٚ ;tgx``9+IL`cVf#%Mq,Q"5TE1:n j[v\hs;]11uÏvN+I6f-_P=DŽZ[Ry٭20lGکEp|#y_f \v6 EǑ4rL7ܖ b}F`ZǤg3bJmklrOdd+[lo0BY1;1oKf1`ӶՖ!o׋ACa2}∞(k㔅w^w%REK q #+fvbd#AzUlKgqɭd/~;%?Yd%ڦ_JSAP/XKHj sۏX[T%!C*W-H35Ie<f ChrkTTP9, $1.rk[7h]yc׫RHe+B0,NOAE/JjpxZQ=VNt/*1h ,0רѾL Q**K]$_T#~wwYQeVWazloB-|8L ,MK'Bϣ1JIpDuoQʺ'm7F8FD6M.b]^t՜rdQ'&!IjV6znv&da@XW䐳@T#=pȌ&B"I8+NOX9^ HAgOpURMD 4:l Xd6GǷЊ}w"Z1 Mhq4V.m0~Gky""2} 6D-8##(:`ݥ/vCǙ rr O˨k-t2ҋ30qceFt;윔wZ4bmeϠ-ɍ* drA^'"s/ zXsT+EFkp:!zҏ+pAW,1|bT#^񘹇UQq8$qzk_ ;?8bu%Z*j)p{3xYŢ!;H|Lr5!c@C#8F!k |VԹRAN^Uq1ũ*>̍oR[!siDﯬol®FGĸꖭS<(p;szx:$WVus0X?ԡ)G]uK>P6=Yd}] ڞ~mzړG)>|'KsAčc~Y1!u2,"å\`΄,| ~ 1 |9q܂j{v/OB$]{*<gY| 1V@(JGAq&Pr-MoB0L-<"/p?ypr=X3̅c-=o(!7!i{7Svъ%+Λʩ]^-J)%R"Sm?g\ 0nӋ|)A+.i˫&wbP_{XKlYA U !}6SC[vW9{SY{-\7}#"QF.@/m*9Xщr>W~|h}9 >Tq$ F\A/' *2pNf.FS}{6M˹ nv ۮ,QJy`S73IoG(l Z ;<.xK vt>E6t}Gq5TdBRUIL~+ KFR.63"xM]Fӈ1jmy$NOlobN&s-;3qE<)8/+RIqHA%,9~C!iœt%lkES&P2bLYD[_m}|:i~Lz/y<0oG)ɼ8WqGY FbC6^@'BSixz"~_ۮ[H`cO+=Aδ#y~tj$̕wc .:mv9{ U*~M`yPo9s}8 ty/S6mjC>{,2tZHUpa$낯Wtx)<}޾F<]TU02TV}ϱ}$t"l qT'ڕi0$lwN 6]Ҡ1Ss'\&M3zb49AQ (Y3k1Iqץ& C%qoS$-4kyֈfV{Kdmxq#ߑ~8w]nwTZ)' G US\:?6j]X|2I!E ȋP*;8!ѦB{4J~= Z]xj$((W}Xa#&$ttOw@zEEIiʇX;Uщ=RLD BMS2-|cVîo*{O @B]] K 5&_p 6møik_keGbՅX%F:*_T;80/i{I[3߿# 7d{ Cm\*z(1_){|#k$;zq(Y֜B:lfP%δAI|P5s_Z>M v`baǽIP鸩T &ȡEvW!$ [t!N흡hdd@-gF#5^@uP a } w.O\uo{;s1$! [羲>HP*qP# O#w:)۶N9V$tq^-D9!FlڝJVFy݊ꅫv=7\Gù-O<ԖAƌ?oF0ӴA }zI-5^ᗹ i+FY 7{vtby7;LRT{{eh 0nƥ] ANxl\ӟKޙt)?VH~`' k]l$Z۾EC ԝ&T#K)4tP؟ $Ok>&i2#Lyx}IP\?g!gvr⽎ nHEN[/k^f00:]|8ցUϲ eѦ+~!1s1 8g,M|Cn&7=PD dˁ zrB]. 6jp3r$xu拧"%^}͚)X!pH1Jmsn#$YpjbxU(cZ&4_6F35rm~0}ODkXt8V)>]a .rCwRs6(vYlSCdS;R>{俥ȟIQ ,T}IRwPJbA4 S6Q/0 RH&m%Ѯү_$tW!".mkaрPxe{#ծ.P0T.ig#_M4H'Lvn-7ѳ{u+g W1|e:m$_*R"yV"|COmOCw6@qAP7L)ɬ'.6{~࿡;x0͵,=ks^XceDf T`2A{@薽ƩA5 mWj-a b po Fw6ahwC]qik ņn;QErl⸁ ~GL5C0SqfFGWb?vI[w*=- uc1P*u)X}8wf|-/%s/^~<$z!@ 4 K/WbÌͥAuZrA(vkœs!(TA^6Mop!Z߲o0hp!dsOTE.8Ps, .q`%Ëg趀6-js|UC(BG?4[@x8?ߐXO ȵ DQE`CBn$ +gOBhғH!A42A5WGa DFvs|̑ML|yMqTTiEBR*~q*HGC.4Ȩ (9m5ٌsY}ۣd jCN&{{:;M/52w뇫}$3TI?1MCbr<+0O%G"Qz|O;F 7CYw WJ8qxZQR+魝 GS~av-0lhk^D5c!9Klg+KҲʼ]X?Ƕ;|v 笿&?3n[;̈Q*I! AQmtagub8rUz~ݼ cǟ~2fNuva~)ۜzR-7G8#cqC& *ÕPXWo\sŜ&WNJ9&5&1[E䟧M=qLwGaəogsGCfyl(s7{/ Ak y]%F>pC`:LhxDcJ1wW'5&ۃ{2 }߇aR͑Lܩ8 uo+q b֜y:.)1cНeeɭi9;HbΝRBoCm/0qJ3US1(ѤЅCޅxc5F(5;r7ۻtV"*@[$׊1aO8bTvl|u:sZ0(ؼ@H:KvP5jJ|&E Z!-)d,TSNqO>JclH2hxy9V=zޕQi$zF Fim0-;0KkeSaSF1ztS\&7 ]ЭI|EL.x$x?-Iǹ7#x͵rkwJ<}puOB;FTѓ.L[ۮU1Ϥ_:;;IlIeMompQu\<I$ MjvGN'b/p?qus_>ehv0u%0h[ґw~z'2~}-nvh6SlMN0EE:1>jk(0fgiL%SW}V9p'oǹe6JV 3L61ow*xt6G< T'1'% ٺHnΥMDVE AaA'o0y"= uF55PYm[8r^zgxC!oJ0Z(Gf?.e9rUqJǔ+%9KXqqZ&-kRHSʍ@(GG _F{ڝāFx~|ʐ?:WkbCUr.Ao\WɇV~j9t-gIJ8?"4bT6g<,N`bb%1: 7+<[)_h%nV]70pUHǪ3UNJΗH Ya.25I" |":'@DP gET&rr'JRJi,T4;Pb&U[,ĉk|n鑲Nw5ʃ7ҋVF?V@GyR;εˢ[|ߖk#@Q:S~3pV%$^lƇl>J =P9˜i^xlK[BT,_cY{*뾴|ݱwlϓ{q0_M_4S9Heh(-hnrKCFy Q,p.mIYm+lQ%OjE?j]Zےwu~ƸO}Iӌ=t#npưvBrTBQcEZsQC٥m$2O{ TgZ8y[MrI/m ︫"n|h]05 鱯-|ernjVHp- Nݸ}N Uu'B $ql/_ʲ#YwV !^Pry6Lsy@nK;#ނ&q0nh1#F vS}=ʵ z +!`zY͌MVeB^]# ;r˕hRi V{fHJá4$+tS ÒWKNR,b :55X[uoj{$&U/VP5B%<(HU-7bdHOXs@H@Dj]}v$H??p1Ud 98Z1g)Ey#QNOQ~^;[("Hs 憃*$: n`6n84Us)$:#-4pRffZ(껛E(d _ D=϶%S!HmcچM٨605Nm)+~jR 0}n6C-sы'kD GEPǁ~;bU->qkԡCsP*kĊa{,OgV挆@TQ١y-|nQթ|9. j}*@ h&yz9K'׶ZY7m8:`P޾feٖZ 4.GAFWWI:Vco1D# QWb@6c6*bG Yi$T葠v 8Bt](ش]zRl䍅'+JhPʋڭa#|тT9:{kԀI0$U” K:>_-w8OlY(Ko'FRM־ZaCSM–*QLd}n,P"At&֤)n 1%Cc8 pYl.\jBQzL' 'l(8&[TDlJgW6B:*J(VV@P5@]-yκ }m/l: 8IѭD8ߝ28z8!FYt! QkPFz`mq%@WsQ VdYbUgv<[Xb,ˆ_f(hVI,Q迒)-=G=H0zqoϲ}0+2HUx~~ q aӡJ3Ϋ29?wi랄է8|ΤB: __h Rg" NI0HCFE3sCϊ'瓔Jky64ZS?M q*9;j:d}|[ Pg2J9ڻyyuNj.4<ļlpQ4:y%V2 5~s'Fp91@GVA?*vz7[,!7au zfNz1jf{bi..tKAVt$q$"0wϬ:TG Fz֬bv6jh9:h?)f%czLp tnU/P qC{ 9 tAzAtE-~ڰ$m.P0nzV:M]I!}i'w!g#XhR˟S2lCǥ~(L0F!4qͦ )J;A  bAnю'\&HPzhdz:VJ9 [0-\GEh:LwrxLRJ 3O+㹆6=Uc+tRɨHrq PGpUd* 6Z7Tn=lL.=N};!n̈́@< L&/bK )rC.VP}oHΨ,0ꏓLsoE fW" ҁ@diHwR(t)y)|U=gIJf<( r}V<Z5W <\}W{^yyoKR#$WϣLy֊`0h2Ic27G?3 +1I McXOOKNm~3v5H$}qK}~Vhq|Q\Rr+}N\C([αdH -KIȌ4&c~W pb}n\_AtZ[)Bt&.;,v "'K@*!XRS[)j^9>{Q!>;O:킳~1RdPKtlwMG*Wp3Kc⩨i"WnKnz dRjV~S7g1sj wDK/cf=z [6EX!Aͤlt \=\CUysq7iQ RQuэu }m Y{}=K|<)dש63oFBEj [{ӕJWǗ :+ <@ew;qU䧯S}7/- !;)x5\3)a2`Q  ={JŜlӯb-3qh["p]c XʛVF{Aī,'mW+)qSaϊ'go[]f95}9+ȸ/h!1h_nPGWYCܛӳ<Zz }{}).; )`qT)=Z2KwypBQJDC"Nu0!o];$P_MeB5 YXǐfZCZ(-'*LJ_fRD.rUR#'͞CR!k1+\_x7l!-&uë`\UNGr6<2/G /yI×`dr\dөZВQ)„NkÀẽUF d5Eoίk +q^"%a<('*pP`tҥeUhڛDHXc#E@+/-\WkFvqQ=lհȗjlطj}Pƚ +Іu)郍<%/۳&|7`VĿ=r%_)bk[Rs: nU>B1cPv!xSX g=^SR CeVZJ¶rY;m"^L1cH `kKH3Q2Kc[9r8:Ag 6D ^ 6>C R"T$c +Jv'{[W69ax\2*l _FgsWXv9 -J=ɴ#2m`4Xua|B5 !"!e*ϿOf; QPoKhyOI/a德eMqf<؍N1X8^c*_2<0j\ۂ10KJD0b8 T:p}@8L #Ʈ.>`tlq{ŸVoᤙL%4t Y4a }KPѩ-X=SnT R1mEpE7L}VJ8,VK;6klk`kW_"+%AQ,n°"H$z\l͜, y>߾;kC"~͚|;("h p 9Reؔ__J:9Kb )ڗ7w -xh^i?7}_E3)x!u'뽨$2,j2KfDL Ѹ<^=#M:ua}l>.LmV,o}Kק"B4ޛ/A# rY+v B=%mr`z9W9c/;k #$cp{ 4+o-11l.iA磆q\l`SD!L\e|O)6p!2vY5G]]`MDT0N =a:^/N@I |lFb܄RJz֭T=p[ 1h neنE*cVҊT eGNi /'ldU8lp["v{TV!=;>Y,u'J5 ۿ[Q[&ZxY@t{mcL)Gu\pJz,/hYġ#EYe ^KBHjh͑v@}5jvI:rB'}ij&BԾ`ePFv |6Lq$=/-"?Go&8=E͈2+d$)j=6/tBK [#@:a*-'?-EIC =ְ8XL< üDLm.^F ݇ppK:CS4'Z4QGiMW@%8̲DQOJGn#>wdMʞPJ<Wے.p \c-朘uɓ9 4&:vug{e %Rq)qZuɭ^D.Q]((KU*:1[ښ, .{MR H,XOsGޯf͙#9GUXBėEI0"e59bj׵Nq,ޠ 'X\N5t՝v?$|I19.9Nq \W }iCd) 5[DA'xg '从ȟ+"ȭͼ_MCRލ3oc7bȕT̓!FTN*kښѶ!rvȢdOQ;`~⾏1ᰝU\?r ߧTV<32R3g55%==oi04|RwG{_AvA)gT*Nk2pH'ձ.Ye|.)J8 Ѧ2m8*Uq-6w>1WL#W-G#fÛ٤QSMӏ1i0LŽJe+"jde6h9֐`zD Zq=n$_O;FYW%;;=5q GDiN*.J8[lbeU:rB$vVԶ|BqҟdhXE0lTq8VEJeanoP L!/Z!T֪1ZBlv,, ZgosB'JE\` 6 ; =_+X;d=R"%H.폕eux+M1b9D

O_"6q%|P/}^ɇ):t= ntؼO#4\U^,؏넾w~Pl_ Z9#p-· ȒqN}\3/y Y^&vn_ǂ888:)1_ P;.QjccГ+pfABX1pw:2""So]zI$ 9{ h?@BuXb ɴ%c[TJ-4c\(>ۏFJ4[>/*I?&7X-tA<'مLݟK'Tڔʿߧt a7LG죧ۍMñ*zFC=x*Ε6dUV]&4y )v[H+~]&ey!?mgtQ_+ 0ʹ`S?1ҫ֎X/O*X RsȆ e|`& Keu Paȧ =FÓ1Je8 OkЭ{BA/F7WkƐ,:4y>Hm#1M4c`o 4y<% DbfZkj'`jgኣy 0zYbኩ<!n\@0o""h' " pь AU9Vܙ :osnA"4+E-$I3~V>INgT+hY/G3|mcIڲˢy5qg{ NQ?%ByS6\a=~t`xǺqArn* lȊN+ua_ْߖ.i<ǏLZY[K`֧1Ѵ޸N6yQ^<L7n gԲ$OJhC4=̠ >B+[?dNN?*19*ĦP J+z?mL*WNނu`XӚnb+'|?lMjVb [. >3Y0:̒rSh꿯Q`hY룒;u]:7?\$oѱ sp!WWZ:{˭TwN/Vx+PH8(Pu 1ea ^Gd6d-ƙkgHlYꅊkL!eƥ$r@ QcL3 _?;M,n<:SmҰ"Uf.-8aIwI\G+N&vV s+&zHl=AuK!  ޽YB\oꑳꂾ5E [;RjǯcbOuٴ4 JHcmh.ylEmbƢy>m" U'[N`FAXdo4Q(OTa9 li]FwJOVH?z^|s›D{wlnC?)%O^wu+?7Mv\=T&G&%oyaVւ J0-\} '4x-\g'.mN2dtZOL^o.0sԴQvwR WCStW@J>q^r|5<cjCq .ki RR:zh1xS $MM7gX<,*&cUl8FKUgXW6 4Eɺ36*-߄HlIǶ:2~>;0Un"ǑJmnS* t|7/ 3cN>e҂ɏ^mRm 5+ Ikws-W̿fS`h [AikL&G|XxRU,_ߜM{0qdFyp6_jqۉ}rŦXWjЯ :9qwhsp5(Uo/H ЮIA6f=r\wSuOh#x8""A2!Y 2 rI:A/.Pˬ ~.e,C}pSڵ&۞3VlY-x8v3˅;?7YaJlۋ%V1j<>3Ydx煪I4-LXƸd[@2Hi6P( ~S6QIFb3" yu}]r!zG_|yP*vb-0Te!\Uz@q2͊н#,F8!Q\\Й6~#M->۳x}U>%x=yy*gf&w0S|\~x7wth5Kf@HikHW v^npz9TLgYZ9b550df7bc4d89bf018514b66622e3180741062779d8e835726df87c7b301a8f091eddccadfabbca 5aed350afdc15f56ad5b986907a91213f8d8b65db0c6522483efbbc4c5c55436a86b35bb0111622e