SQLite format 3@  .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 lll7Tt ]MSO_Regex_Equivalence:threads=2elapsed=507.649cpu=989.796gc=37.952factor=1.957zXZִF! "#]ŗXf1-/6vRZ*Dc,T q}jX,q~yĎHA'? jXu=d[(J#X$:C`-}k4(a}7Lc{x02 c?}G9 Fq%5L@/K+cNwf22aM.)uʫRZ&9%&^Z?bVwR~Bi |E(!ߥ-ьÑ1n \u>T '+# ҟk^d8ҵ18sG6ȅ4uMy,]ȥٸf: 7*DVMFvՋ1LK4k _Fi|3"=sLeu\(A!K ّV '-kRP0 XA=?52obn@I9׏"γw:_ʔcY|߷'-6G/ãB@$DH`^K,ML%lYuLv(줽 9&n58v1vcm?D wF|he+98C`l.DΓӹ5\Z"ȁ=_RQ+bejbZȣ2"Vx[Fۢb.;._:}9=MMtua NX34S6YAd ; _Vc$ת4tֵČH(_Kɚѐ^XR>lf:I\B9htE#PUL~ m̜ߕ&u!pT]|XiPIwmY_3Ⱦ#uazm$f.2%btiMW3&ok@mH*+fSOȇpc0gb"XeO\\htYX_.Hg%8 =8tIͭ3W^q*&TJR1<%thwF%2wTTn2Ɔ<'Y0?c9muj~33Rbf{1dnsY,Kn`Hgt6uuRۦ +HxmŞXpd[&,2H[, 3,)ꕃhGhz (ӵ8hjO?2I0ʤ!"H~ }mjTX֙ޙIZuP91[*D:Zc<@n~KYj0dc (xԜȻwWAȥOok |S4 lɎG`iajfEWڰ;"K; ѕי$8^ӤH~Rd7ԬLr?Z8rս7-zXVeP>o4d'먱 < P;ZݍwTxO`&P EFlHUkqͻ$%ZB SC i>b FrZ 2t>:s^ll ݥeBLL5LN JΞ(a%?*>۶DMPԾ犐]\nqX;YknN$[LI{Mڞu#r9O*:Vw*p/M`b}]4ǿ)=P"%9!1TBE0(!bѐ˸?xiZK I!S7Z6ss{zUREf &sF -cJsg"s#_&(8Y"Bް#9p{9 D0AH}&VxRmb?0Kek"$<6v~c EQ'&X vρ6cxXH:f'ʳ$:MU- 7 MSO_Regex_Equivalenceubm>:_Dޥa%vYIn`4] lbk>,m-1"NŅ i3,' b:\ ;v-U%l/tLL7q ujX=,BSX4V &lYm*D? j7-Dx 54/撎~bIΙy)҃w,Umo2L&*95]0/gLI8EL/|WHjy/ fe(; = O]TV#&GW#iH֮:ˊbkcŋoy0? O-k4AIP|֫m :|!Ltց-f%7#v1}lvP#H2oqˆƱ)}\BBpOb$5^89M',ʀ ϖOZrx37%6%4!P&(؈_4>tJA8OX͔ONv}-LKm %mɒ77N:rC%X$Ⱥ8ŸrEu:DAE_pM7l;t码9R@ N=Ɲ}x}z^1@ dwLa˞C7!I bҬzA'W7:1Wy*w ]J@V'o JM1P-"v+ARJmvժ[',(2g/r_T„p.PYloq\zF&ol^Lԫ(|`2y8%E/%w>jJwX.]Z9jk1H-sk%)Ruѧ#Z)ۻex9S/Ae[^Iw]'l1 awepI Lr&L\k6&ru&5צREoE7bZBjge$=*3#M%Kם;i3LMK~$$9;Muh$:-xozt3] &v*PBF ~Q+7Nw6{u3)OLA7o!}&6lX@`&2TvvoCɩ=f.J ooaSJ5/WS"/-)>6ܕञKߔ7mwf6]䝤Y+6QaVDڀ&k'Z\e5}ά]Q VhK.^oS8)JdvYг.}vԖwW,0qm^DlZ"G?Z5Xc`yU%~rUh~ no z0ߐ9}:5%@@TJ\d>^zdQ[~rq{}UP,dtp9cn+@BOhv杦S<`Q]* v.η:f+E+kmKd>|Ap(U-!"HF]}gȊBסxx"lxchcEC~LyΌh,Cv5" IۉNd|CmN*J B]JZ]ƿeJՖ\CKn+}w, HiŰ0p{ w0Yy̷BYwlpDE;w0{z}:h!<Ę,ÀB w"ܵ7A^ՊXqo(*cs3v፧㬭ѐI*++87+6*Xc*C鼅9"5x?SS1oX6OjhJf|uIuʪnN#aSU+׆Y^hz뎀$ͤ:B4]mw]i IQeH 8@18;?~p])\ Lk3?!J [i,^Hn6Sl̔5^WCf4BYm{\ԃw5/T>#] )QXپkAF3.ͼfmڴxeGC*8%c|N/綠MJ<`igߜی@ (F<ırь/:!zL Q8hnPPUn`_΁fr*^{d`FΕ.fN下524prΩVE@/"( בFSj/}(.I>M1̓v%n7Ӓۖ*jviW8>]/d5bw*0wvǧGviUI<]i͈|x5'Zg8,Zq()۟K#!=}CK7:H..'ذgUa u듡rBV` Xb@c:ń"rr"G> ZC K&hs#OI.r-GJ$VџؗGw4wjUX4)d SNF4d P9u2A) It89 PʜnnlT'GE;`eىaheb#٤`M#|))-D X{`\4@^ǔJzl͙EGF3r0ovN82xPc~z?kkNzb(V&Vj_gXCr K挳d[^?>! Aqہ%DlփDMȗ{oW w0h[ [)( x׊nRwM$[lӚ݅ஓE_}Y\BJW& 7:!6v \!GZ2 1߬|YKĆuYWݯ:H5[%ZwX:ȃu ]4(I_mV.^-ذVAf Qc:VK)6qAjV)d`'J)=fgkPEFf04ڦ >8@%>{-FKn%aa4k9kMyko~v8w9Fy;]vIWdyBiaIÀu{SЭQU+Cv:}3L諸XV#Oz;0Շ%|imXeyo_cޏ4"2D.7 m2SbN:QX:4~%LdI$e[潡H޺B_}3P^ r Lrk׬F9BGfz;gU\?!'3 }O͏#0Hi6m#}4J H)77]B \ }V ;چqT=FLD5&!AGtPl )8d a1ݵI(LsG+.iGGOP 9J;hC,ႅ={l)q82(헩^7kT9e|ܵ}"`EGS,r.C E6+!^H̃}IdQ7$]׿U/o[398u½CsuRF+sjž 1Դ0\TAAQ1yx̅'+Gz |AJAD1e>65= 2-zLUqn [^\qt vVl$f)X7Sq8%)40HwIbW.A;CٚRbM 8b%!1EI3{LH')1_=fT=4@='UsM5_^ C˩jy^`w 4t 'Ԗy׋;Ў/Oq^]\RuVجCE@=2%x ώFmqgukge;  sKޫD: 1Q"˙* l"'(Y)`"&MkWIFS<Sp(YF\H5oWU$< :0> D2=kW % E՜J9̡۹_ZykdƻwsX4_pkV!FPdTؔd/!-1W Ԙ AOqD1å HkG fXeeI%XcofJ,ߛK*)'!%(,L"]㞍o豐$J k]ݖlЪfEWI+8+`.i"IgVMVz9 ׈Oh{rh`%h|O+glpꐱ(]릷 J8=$'"L v=kɷN!OТk^A1Ia_VHԽkxװ[4zW>aHs -tKb:98KJN")VE管7H؞/pMmB%f4jCi2dx .5$k,EL?`UymvA>,c]Gn uVk΄^@2#^2D ܏Z;GxC(-j9X-ݻ/"olv*t8 H j5Б' KUéAG =K_cLVK'`K*-xN *wY\aQ*16=iܭSNDR` AbAHnYN[T;'AO"||w3c#G*.5} u6Nm6͹qrLFٕ AM?&p/Z^,4 v ۬r]aGLi'E=޾uEsӥ\;U LIvU(QClV DN_wpWǫФ_ 䯢|,绳#/ c4MH"?'.]٨2A[~ /ldƬ]8-!Y{ej⸄ŊTI,ә-āƞ Bvz|^1Uv *5mkVoZHMަGIe]<x Zڢ.t-ȡn%8<=beGm+ uwUCCǁGԔה"#kb,~xq$"ɍ il6]$B}{s1*F*}]o_Z _C`M6nB"0* '-҈ 0F`F2~snRv;rKΫyۯ[^ֻ߽vΚT{6+0ht&(T(c-?GBjsC1d2%sk8e9r19U)+ѠH-Ǩnu#av1Y-vWOH1^F5XgfkU>Bc+[?:jw%|_8_*RDVĘ Bo{! H:2 凵uűbꂮ/biIo)nC( I}8]"uY @PCA35FbT2N &!p9YQ GwM% ̾33D{R^o2;w]ݞ* ?='lW ʶ>(BT۪]7 3G) ˣj-B`^河I Tg.ԃ]|CR:>pu:"TJk5]qbTQIE i(qXr=ecg*b(:'\vU2F%Vŧ )@* Тҫty!S]}2`u d5)s>0_ƙU*<#> +y?EX|hRsuOb~`cl)Kz|!g PF S&8jE :JG~{y<)"s, mG}tr߂dqi"L^Y:`( ? ,*#2[ :?7ٕ{'HP!LWQ2g/;T?7VsuR.Xҵ'3~.F38۽1<*7R )^Y8V2%ɑ*3}VUЗJMhIW_a,-G&p2p-^3>8JM9/>^~|a]KPCrplR 1B'.Zb^F).&ZVnrWA'3(h^Zc *Bq\w:C PpzkJᙾ۔#"2"󜟭XO`-./P&BȪ,v߅(ihJn gUuu@RJ4qW@/^QY>z{`< q*X-3̆]()EW {wdÏ3W⡕ a;z-|v2Țx~ DBB°Zۋ+ >IJ2-Lrgӹum C[Bb/ҦIU\u 4.W#s̞.Pp^95pBչQQY ̀A.` FrG@Yַ$as/ܜ!GݳJnKJB!K^>vu!P*vlý-h1}0Dcam ;ՕfHjg}dsGXjDʻ4\K<9ejQ4iꐧ;e&7`(zZGTi ݕB*WbqY|%@∺Fj,ܗQm|!Me!i0մoCzdT_:E;tS5d lYwCO^9j2cZP %A$w$ڝuaA:b- 9]4-lwj>Fc\z /TpFQdzPyrQ#G]v{x ЊI^ux%=>RY_䱑.u2|a׷`T*/*k5 >*fĒEsj7OAx-|oUQl--5fg%>xADl_7S*Ԙ0b'L _+bn:/[& P@dqk1>&S":r5ftmMI$"f*ozP7] `8A@+B:n0@fRnYu7m5*EZrSo .GfB^ q"@=n1/6#3Vpm>|yQ%(GnH  dASmf>Z[vl빺3BBLp`\>0ٖۡ5?_댜F"(Ft5|^m\kS{0~<V?4 ie7gR #wqjU#l!ZҟG[k]S$ÝFN2$.|ArRb2RLTtv>g~Rx [3FH)&\\ tm#od 4^~R]AxaE- H$pBm.&Bd7Cr87B8\}K|e/%w* j|! Y0b pkH $7LHxKZQSpX+'?iSV֣ɪ5d+6XMG Z jวk%(KךVB.KW95KcH"9K6]r;ŗtٶIy0ȿhfgϐC/eQ-%u<@djY4(ifMa`M 3.-z#P"O6QN:37S=?(wf/7 GYN6W:~uj$,F'Ȋ^K |{IޕqhcO\h;cb=qiA;i @ _='EW" Ϸ{#5ִd?#YCdpRa3= 6ٳIMW\#R .@MQ{z[ٻYx2o]Fچ+ 5wt-~ޓ3!J3Zz\ЉkGI%9fVA"L?1D@Kܔ@`>f6\n˸$ ;{K7†=~H. Uf>W$=!@02f!zVC+ŹbАf;Jkk/z#fޔN@%ƃ˗]=v!͕dM39>?8K(j֤2׈v`j?lyo"܌)uBkϊ':HG>Rc:{tds;w\ 찁fУ6Z f擺8\g6<f=+W% rCwi+!ZLQ?=*t ˣ(% rD!rtTDƃd]\y1{2Q_x˘Keƅ70K ! vҖ1 I+c-^ii@LR(A|Yl4,6o5PtT\4PnYhʡ>񏝻+^6 J8S6 y r=_cwTp,)̝$)|;"كE[ξ= uiǕ8`ˆzz<#b<*쨈\dŦ|EeْQM 2>aQ+7Mt!rLk$%C5dY(#H;ْh5" [ ? s$)#2K kJ$W ]{TRfm/3*a+p_dL1B2A˹#QTt]ÏQX>,<`D"GgM7␲Dra勐Wְ8I X.R {$ jtV+/F>|9F p("3d~+ %anln ո%z`Ew4%Ð+CX91w6=gXsXZg~h~lFYDcCru[EulP7nYFXc# :ht8*'|m]%Kd7T@}z5bl%C41H@M!JvE7x]H*Y[+i\1} =g`%oRNƼd`-el {[E$50(.O;ˢRg+ R!n&p󢥄12fvLB#OkxM)б*r_#hOSM^Dcz$( C3 #;ՂTʳR xVB'xnO[Ҫ$-9.CGhe:=@"#PM9[ 7XS$ 7q3wT`[UHב5jS 6N)WbգR>Q#Ĕ^f͏E D(/g]NH<f%yC4u%BHj%8m^Q珅H^6IN]e0Sˁh3G#*]A9ܰhYZ,ة b6E\lujMȚ"))JȢV ,ϸ 6:hB$|2xosnimWߣy:eң a7p7e* XC݈biP 9ͧ b4e2ծŃ~4gs6!%a3Frn[_PmR`<s_"MibR$n?hsmVok-8β$eeH@Mr)]ǫxV|BlSXBxCΉ(f[v%iĎ%[$=sl;c,rE2T%_R^=HSv#_a'a@rSN j[/;/y ,r˘缱 I._>: QG霵 ܾM-|y t̴|d&ۑ Uy-SךBwW¸^%r[%d5*Ή cp#b "fR!Lc2f!-6R7:h~k" ӳ"ŷQVfi6`D7P"x՝.׌wTf KD--\Jnp@mژ.zf8l &/#D3 rwr yP׃_զ )ȑĕ$;ģZ7C:\n)誰ShҨs9zBu;Y-vun4bXDr!?u-ig׽*8Fw|ܓ۷:!@Xw]Na@`[&J4Je3T#qwV)k/jro"ɾ3Hg)RFcB@}Ê;Q:V?BYyTDQhA2ǽ̍RȅV٘ 6ӑp=P-wB$ri&P($e{MKM ?ɷQS2EzP8KoEU42]4 $ʲUam@7@Z)UhQ25-:fpG͸+_e˹dddᷰY?}%f\ҍ[PpL}ޱJH./ONخ!%]$"ZC >Z}xs !h4Om˃5ols_3htX3[So!-a<_qYue2i&qCf3>m?u桝h==fVh! .EM1>b~{'f\|eDvE+2Ts65]d<9=hP<欜:)u ֯˃NnxS"KR!!4ΧnK3r\tTj"Ѱ1id [9|AXnlZP aC&~; j&)5jY^nUt&8D-m n?Ƭ-}< ^3E7"S>Sf!{'X-nۚ ?˳ʰ#CN37[<,Et@b=|_5=]j0 3OڡҌWW1ŔjnJ; v].+TTэ;\&{yiS?\?/Q$Cn5k|jLTxm!GKYfPH7 (l";>nTn=):l;^D:yjd-_6픘UKOceK x(먶hIpm ?Ny Dy#m݁ ϞhO$+05\}Kɍ=$XAm& 3AOr$B._mK˵yb̷y=Wp/㰿tPwy;kCT&n @ S٩Ԃ$"r?y|Q"w9h!eIjDSH Z{8$֤swxA.("|nm]/>e/p,EړMf@Jl%:"v޸eeùtPwɠIJ&s"8ix6+r|Դ^%\SVGAB؋ vbݱ3v3e% T|j2&=k-X_fކ?37ʹ6/zPeE f*u8$g#y4KFK"ʰI'Ֆ^T8vHɬ$ 8xQloinEy'r 'B G=3BO="wd6zS*fJmPOd9),%1J=gNR 386"2i6?Xܳ3/KM2|]qD<u=Xݦ0WA%(c[]\/TD|L҆nx4 Ї9Кv;bIc9p m3R[,ӨO淜H-L)6B0+e|; ogϓ 0D\ V#jbޅW  @2 M$kWx{39ۢAxpO\3"l!u :KZWҫ4vp[o :fTu)*1kݧ+: xD##0e89q'_`qr7%g* ڠF>8Ɠ@%Q؁~nCON"/.7zGgKR֨׸'0[؛̜R4ft ƙ=ͲմHFjTt3/3당 O^kfm1╬]Y iL_RIcgw4z_9Fe*<#b/gA &S;0;±ˉl6|W>rOĺ:^nYi?N_7+rB% \c?qq =$2&\M!# # i7Q<$>eUa݋yTa[{E:{|Y֔@pu9$D%0 XnkXԒe KC M=eX(lJ+z-0BU+w 0 FGV[E5?/bVi6=x{kɹlʽA'4Ra撗e饶mV6:v%jؙkiķɠ2} WWqiBpL1P=45 )arjWCX1 ~z\x_sO{ S#uwwC9JI6Vec )$# RSYIynvq[wgz(հK'Ԓ:Nv U>jT6&9@mgū A( #۬ py>Z6 'R%U8ljx'OWB!ۅb/=44/w-TWZp m5 gIAOVS}ݐp&zqtQ.RS d$?,ENy.?_|Nߘ?;!Y$T?a\.8l:aǭlsXNM(^;ŕʁ( ;SܘN~PdNR4Ft/$h>Et`]Sv-RŅOgna'זZ\yU.`J>K$m{&7lJ<[;#i6_<̂?hgkXP N*o}dK{Hݗ+iX&<>ZREsCieyMWC')E,AiQpDb8X9P_=-T-$T]g<(Q"X\'Z%`{=x\ȹL ( \y0a~лnܻ?hyf; nTk7i0W Kk-qomD|4 b,#[;\` k"GHG|8anMjw< q>SG45 3'耮U^o@ E&ܸCʕ":K/DH{OpAu9kxfhv ٵ-,4Zpz^%5v:b.V.>4^0FUIvxË`ٓqk[Jr3\m :@ea1G};8?3 Sz:Z#XrE#QzI@f50g雅*eN9zNK_7;[xgJ9ĩ94@` ńXU~uY 1XsyF,7k/9s.~Rߤ2}vfѠ:t.vqdX#UB,^:jkM㨂gK} T5iūcMlimՌ;UCZl:gꏄFa?BY+ E>E ^Xb5bD懫[Ǿ^šEk6qtxfK5P0=JHqTz,F)[uEewH<3kǭ]f_me$ENV|nEXM\ܮ8I_?3[ 1uC2Ov&P<g[xU,;,!{#q@zz;{7$AYKD2*3u? ${{h6wբM$t&`Axۋ_4|GPϔ6TQyOӶ 3Q"vE ,y>\;!TǡS M Q%GZk=Z(22(x_!)azJ%q%CʏD\U.ع 䟰k*rN9:-3\]&$`YBl14)&`NOb5 bbA2aYv#(ltJVKHx e[K+ iQqf&Y'R0 (R>} ȿ|{+Վ=#T4S# f͒5mXo{S'!dIKA8h<'bU:Y8o)ӣ5Aj;&OI+`KFqB;:~軤?M]v:XZ.@a[pߥ f@35٤;Q6MyŽV1L(q}Of؉D9DxfP2It;|StjɷMJX0,)sF j3;/ 10C3.p VF%Q"ݎ(ε gy9օ<'U_;KKf*} 8?:3qhz) :W6G'E1 퐼EX:g$z" vk1܍_\cotbm⺐1~A1UZ(+ׄLfB BUQ_I2dOFYv(7h/[̥o>Ɏ%_lbfݵ7nٴ m_:INv 7Y2/>E7nܨqć<q?HL珙1Q ^o %NabX}AHA(\8&y(*/bg=fPAd""F`!5DUf'Cn;PȞiox6D[>],岥Qxw{Ȇ-Gbhi{.t" X\[ۢDx)ԔM7ޕ#_b;v2Q`|O't<Ֆ ?b@%fdL X|rGj}jI7=dpUs&oZغ$#hɔ7瞤9ZHjl!"ʎ󊓠.48=KV+ ׇo JEF31E|Ob.q"q܆L3.V?L#~ ʴ]񯘟£Kƴ>sbuƾ"1FT gkȫ|HF8G/&_-&eڜ0>Ѝ( xHF'xo(eNc>Q4=֏Y<zzAp~7"7!8Ju%2kv k= WPV11-Jp[DD{!GIFbZyANŒwD7"efK1UAqPA_H/ lnU!$tYXу3" zDKS++#+odg34 Cw+ڌS:b,6YGe^㩂,?¤a ϗ4RŁV"G?]F&w~) y~q):X%ŐՠNEG#?.Ȫ9mio͠Q=v/r"=q~: ȡʪRsX꜏T(`B3>='K0_yaXD %8!X{nMχi0SWAk瀃LCxFD^WJp;9v Dd ~)VEFh^3G vp" .A0rDցk)=OchX&(F.|-r1x Q|?*c/l1*QQ+"V_m5w!@SFכ~fzqDc\z4NT=;"j`IƶFT OvD@t|T3n"Y>CsT;~qk0!|I٬ F7gۜ4a+$A,0aU(o^IsDr|k[6nYLTkTYOY$H:@mQؙϔJǘ18Nz:ZG\iSME\`ZW㼍A_ˎHYop޽rɸDE U]5~آjOC]BKC@[вcN#Lr5-FWZ ǼOonKPgU[!~:^W@$Ϋ v±(0aO٫刮kҀ΃?agpvz# Impy8hq?%ɆZj`|]+R/ V֭pVdkH'pEٮ0Yr{uӸ!k&$Gl1eM5D~j#>9+`meWAPDps  p)`0="/s65t3N:ՓnD*EHƶ P8(@u 9=V4}4h=9dԨ ՌW7T\G{;Xz+T@wU2j=uR'9uUVL MjѺ\x r yh]GRî^*7>[) Giƚړɗz[V@Ӏ{f dkuTLL`-,[<#G+ܑ*3~^*9BۤMc7+D3wi4ў T)>jw}x1( FXjme׸n <*Q S+FW#{[* L|Bcg[FM'x e<="Hr.ŃI ƜA\_{9Q+( X 4BDA2jăx3k뚍)[ɥ̧ %Je!-^ne`k~ihؗJ%Y`#Q{{M؊ndg:|^?jk~"w yC|JSZ JS'ڏ֡4}W[hE BZ eF hJj xV(m{;yN.uȪqՏs[p|TSS >u4̐J7F۰Z~1#!LST[cw-85j!!Uu}!4qbPK4 l`Bmt2R:'t(F̜'_KpҟMuqfD%JF1O}m+#Ǯf}a?EVY 5fRqygMށƒJc: ?I"&Uy;P];?d&9`8ANwU+G>!MH0*ĘI;tlctvP23eA׳H1.%(,|SpS$į $Tcl,(@..y;._r|L">¼Z}j`ƆD*Z9NOGh{W}6\!-7V`?A;;K`5W DT0Z/Dl~u&iFwy)R~esLgSo5"҆DkBM᪁1-ՏG{hrnI1cLH EH,L, {b,|2VVf4he g$͂w]} tXKyp䫟°Sr<%c3<4;b>/=4f^Ȱy*pRo$_օט;oQ;Mn,==D`6Ji@/PP),XK7'V$zᢊ2vb~A"K<]]+H&kN͞)^xLM6ZVe'Ҁ\S lǔ#Q9Jx)D(L]j9E}vJZG9^8?;h_ ,pA^7ؚYQ070npCj8}5l2OC |B3CDW|w6 ꛷Ќ5ijoΫ/>7I}LY1pLG/=&ĔET9a\L_=FFrH2.W VM;'8*9D$;9:u80~M0|Nՙg'Wڥ4D>9:`LYu%w)=^Lq) Z }9SG;[d5X6i$M17ȩ/\~ [j)'᲏l*Χ M=Xߒg&fh#ȐRJOeƺZӬDwV4; K;ևdUe]$:,^^ A"NYnoJm6zxz`/=m{FwRIz B :íu`x MSᜈuLa=JfcLw,Ơ/\9T/QAxi%&<h]]kuz"}‡iJ)|Q%̿O[_ΡU&[Z OdeMB&QQAw0q@%Q_ŎM^2TFEQA?Th2/H 3֔R%Zu) n4 \om4]ʶ9t LYuYE7 Bt!]l-q/1쥯TN>ie_ye@- \\JQjBiDj5vxQ )f,T.=Z V B7`}%O:JDdcp !PEASG$.˸иīэ=e[ C)^~}.dw5}Ths&2WsҳJN#=GŅs Oe&Ѳ7u]%-5 . l$ܞɝi04>bv|Ҷqݪ1OB3Dr'F70)Nj=٭Kh+XN3Éçr%S˹*zoXj $Cknm#DZ&2mykeJFmjhxGZ*FL9y^VLyL;`ʏi-hv֫>W3fD_wZ#,Қs*p7Lg JU2$"nBT Kjw~.u2ԀKv6ltF8h8r?u{zX oKqo0R[Z3' ,,G("҃|9\6fs8igx;;ȈF5+܋OW}?T%A!NΕ sYQEQ9w1|/x^ s# ODa" #iM,_ \3Lu[%(%^KޑhKhn[6G^*;j S*dB8SooPWXMżP z4+fm%2k 4ϑHXmϗYƴ@%dl3u7y3Nm(`HyibP*0&)J51z?Ϊ˦QR+?Po٦m@tJ2ҔaD3&-8lVE < bi?NYP:Mma}yх,KA|4oei` "0'- N]U +Z;Ja-n$?.X纓qtlxVLth{@fΏ̳d׫ӊaɘ``\#t,qLPaUh(\$oP')'ǿx}U߯ A. WD 0NJgVY?YNs+7dplWt-Rv鏨 f˜"i`fqZy-ͮa&~\jvvƐ;?~CRPnzU6HbrEj`Ǒxy54 3~U*+EU5vCO֑2bXScP}%qn%T:U6yl>u~du)݌ iIڲ'1c{bY4k`6OOsĬ!l<گ"5Lb|ɏ_,R?I|Da⤎Z~@KCStTv'7g>X`G`|YqN^aeQf;P1Q (n ](R ֺ6/m fn*.\:Jp9,Z'tz=;8L.AhT_>OW~ СS"ZA k3#rs$wcR` %]Y !2I+ ߂oU-A>bw\vX8yOA_~L x&Kʤ~X)*15s )^s˭ɣ[8<j\PڈBթ`Bzņ7Ik %iO1V KbdvʓZZx͛pc;*y>iT-T(ǯI4&8\[y.9'u ؤE|6^(9E"&w:,pt`B__tcfs &Y[W_<"ZG׀WSxNZҞߪa[(o%xyCs~]ϰ%a%k:kDZq9d7oQ)XGQ{MRd.zH+lA4֏uh`Ms>i`1YNB>D!{`.\Tx4kZUw J:QMk'UoC][wpQ~滾!U!j Yh*Zy~UQ4**kV_=69Bd3%sHҗO#aP\I|xuQ]ݿV_B 4O/j=$_R"´a|D>e!<ЦG^b;wjUy?Y(pf1.絛VH,st|}7mSF:hr|1H Ahh;UJDP 3ceZCpPQ&n>\/j4^~bVJu(V{vNJ d$ %i_X ws:ai=-ە2~Z4#U{@mJ;OGk@w#Y{I%#s3 NɈwws6DMHO `dd)Х̶/5$? [ޥMkI)#pH4꒐Ѓa6/ʍ~%~.+Vn]*}%`çt63  /#솞t:*X5 ҦY23zf K$䖱gYZ08be19446d72f9bcdf2a842a89088d9869228a5e 0b69d8c3f70856201e8c054bc34357b13520292f 11a396b61ff67b5ec635c1f00c6f0e8d4f88dafe 1e3f3b9f42d40107a2af3ebab615eb47af40ca39 2bc18d57ea87da2d3db0a06a6e5558a6dd698150 2ca548f124bf08fde0c7f05baed9105248d232a1 2e8dd58e2ede383cbc7fcbaeff3b051892ade632 33f245ff04a4b617b9bd1dd502c6e158008d8861 37e048eca1afc2c069cebaffb562a02b039bb22c 4178d8263ec1affc708587b75c04983d8347c352 4478a234b5ef894e5b94b64a4fe6192ca6573ec6 62db7c2f912509ab5e52563a32412f6c53622264 6a817a13ea5396c1f21b029eceff23213f20f9a7 7102c8fbd6151cf5569b2dc55155eb20a36b3faf 79f31440868c5686b204e83e4f26f92eb8d94f9b 7fdb4fec52ca3e0a01be6b2d7adba337b9100adb 8a6afd5bfeb7cf465f3f94c15c377f7b807b94cd 8cc6283ec74b19d9a6bd2a74c7cbc59522750437 937f9c9fd64a5f87600ec011fe348a83238dd506 9bdd5aa3a04f12448f7300dfdbe400d0b0c4b078 a273030280c4fc85ce6bad40db954e7aa16fe6fe a526ece146642d823be07862c7c8488392c4dd25 b1ef7a3ec85404c96c4b02989c93710eb0f9d363 b6d0a023212be48fff51171cd7accff79761b911 d2bf831b160f6ea48a6f74bceea75324c48877e9 d73f179eaad464b075b683de05552c78791fcc46 d984bd91b3c24af3b069d46db03ceeff6cf25e56 daa5e0248528bca893daa43713bf4e7fcdba0c72 df7d6430a4bcd2af648a3201e1da746191011f8a f03b13c1e0db20710943bde849744b43bedf3440 f8ac88e6f8cf4d261ef5f5179023ce80c9ff17f4 fefcf52cdbc5dd45bda0389fe4a696af8c511c83 ffee0b4350c5faefaf940ad0f98f4d81bab1386d9711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4 a1d4e989ad1a700e9d30ddaf5afc0202077fceefa4929691e885f55d0d4228b5b49e35ae7bd11a4a