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  { {]5D\T ]S HOL-Nominal-Examples:threads=4elapsed=335.422cpu=1209.660gc=94.308factor=3.617zXZִF! ]ŗXf1-q恈ބԍW_8FW 4n΁<ۃ[3͛h$Aρ׍e& so-RYد9T4TKV Dg:)-"T *ɹޒ #媨g5Di 37~)y:j L(-CH E,:9d|<*>(뛼Qw%]".1q%)_ ćZ~<*?<̕oY$y!}{_/;LرL]y=ʬ'O=B}vT~QJ&hE}_`/:7i2> &$q+$* Xt ;a _=ȼ&׶WꪧDEJeQ%YEJ4?^Z9Xn--殈3jIS $8F{Z?2``_u E)Zg ~ H[oYtkj8DQ,Xj%6єyPȲKQS:|.6{@7>I$} Fr*\ݟI6*ƐGG n&>Rb49AwTyݮكN]VzmsQ_IT#O[v04Wԯ1מ~⻥  n0)b]~ūzGqZ`O #UCWϖ;_ bƪUv_jv H/sZuM)ЪFRuW{~" ֜A_ a";b*cYexr؝[n+NȸDսu.ûq:'[e#=b=LjFcĜC]U|yQs VVҪǷQ=VNm:@nAxAq#=YWI ɫAN!dJJ Zq8,Y'J T͋Alg_76o!V3Ǩn"Ѳ^ЬERSѿ3͠©RxdwgM$7w$!޶4ł,xtU^ҩh]'đ.Z|B7i\A꜈>Joɓ8'Ny  ou5EM:N,poeD5غZ{(Bi; 2$N: lNy}LE<9A]=CaLX8cBbD;/Bmf)_{Q!]bdo*h02߾۝EEl)[9|-ƒ*(TO%)Mz>3XbtȊ-輻o( J.pq+ ۸G ݝ;~NMNd㛈^Ƅ65_]?[YL揎P,_hL@ډb]vtC\e~?2!6(;EnJ.0qyqy>g ~%2?wuԵeE3X׃_x\oP{n:@u:A/XR1I7Q+FC](1HJ -:BDLwD5YfBP9DZRn}RK& 5A~JˀxÞr·7bȫ2ھ$jp;1 [XX$}JCG0nN!֘|^O搾WemA֋YX^!0NF%GJ3# 4rFk:M,.Lv95G;P 9j-[ɿ?rt}WB ѕgιE!ls!R1pM3YjZI 2 xNCɘޗ~Jx D E`Ӡg_ܰ(&K@@R65G4e'+*@'Wm:;9v-647~bʃWL~{W]?6ߵmH ,Ynu mv3 4t4 5n)*as2HeC~ 27+ n­c:ENvE}@ɤU 9́NwY:#(|FK:I&> 2>z!bG(#20;% q~BNmA}ļTܛw-p'[8cn #oB."/;WZPښ'hҏu׮c;M*7qR',bX O@ҐHJ 16XuUS7UF+Ii6Dz2AJT4{ ʸE X7j^4ibR/-h+/"Ȭ>Ȼ ĸa(ãQ[PX}P"&ACG/sX\- U g)o{Nuݐ#mFrw}Q`M#0Mv A,Gيb+psQLg$V7ozaN35lVBB<2zqHyRj 2Rj#| =*' ~J3J ܯ/j͚cUKl|llϢ̅D zO{#.(*ㆾQԆ( bKN"7 (T Y$ a띸nO<9 kttDjz~J~OUuo 0.+zt8i[]td`i|QiՑ@ZSh"SncŲ/M}xSBI^9pm9tLY ӗ*_8&`*+Bo |4emOB1"X#M``x2 n\v]Lօ*8ĈNuWĢCj vLE3lƉ&w 8͝#>Ÿ}ۨRb=u JAxgM):2ftMAўh8wʷr, ;N케|~+ )7X ֒hhs“k,o-O5 h{bceor3+Ҍ0b>%͛UFKZ1 Q9$O'˙TPM oGE ͛TFŧϗ5&sшugWxMF [%: g-L21]?#:}WUb9G:ތo .s8M0{2a@ 'ƚw)2"nl=r2e߫HY7`'^N)푀L,IMcLalZR`s 絸+ ᵡ ԁ" ùoh*&TC壪0Oj8;g@ޟC }_4y.νӼҀj/i>n߮(/R*Ң4d7.R ?*~oi`8(F,msBt6ܧ@ƣA1߬mH`wEDH3ʕzDWY<*mWG2 !,hs3r{|.N2mEՎsLk;(,1!%O{6TwaD<.ˋ<)+BAFo?I0/;қ:W^iade}ͭ Y8tG'10a~H c2)PjEu5Hє/󇲔*:|E]F$NAz^~ 2ex /(m+O S.Q^Qtü,bDY3[yFD~G]{Ff|ӻ0߀@UZ6[X gk m_}M)ԇX4 _KfӏS`fZR{^:îu'w+7Qy*4`p ud{ןW[!CtEpb<VQbP/1&u4G }(C.CJ(sF+䓪b6 fʘbS8)E&9Ao@!>&yl˖֏!bP4b?a0m' A5RCBbd/8ZjT#v6#p!0#<|+w4/0HLCBQ%.0z1=3t0lOe?gsxs_{|7++;e. R#i輶xD^ހ;jFYd dyɻϸB5X~|oB_|5f [%xH`3 sDhpy;yZaai!,46Rc '>=sV_I3ݍ4)յ)^Jr.o~<ݳk.gYZ7zXZִF! v%]ŗXiɟ1ʹ l93攀Lx3 ?d]GubϿz%lˇeeE7JnN`Gv^V-\/M7/܇:mwRZckrVdJd: 4; @YA!z[)x[LSĕ vS@E×H#HG,`Ag,*xL(Dtsq<~x=6-!b-B04 0T%Ƀm2˭4 ^P go.b(f}32uR`IW1k7<#5z`KZHumNti G:V8y4Fz`oXLy'ACz.Z懕=ϛ 4ǝd`?@bB[ؙ5~0/xRr3Y Q|s|*%CvBJKKN7 1oL{\yYũ8:G+\؁ [q\_6JNgYZ7zXZִF! ua"]ŗXi%Gf}`)}$Z qK|:W.Q{pbpM[dpeԿ꟯cyX MPT>Jу~+פ[|ɁzV¯&mYe~A@|3SNEԤ`?mI{ qso,v٧`Q9*/&TQbʬHŨb!(TdJ٣2'T&WNV{?L8i~uyX.WTL^6rVӡgx>Wלde51Oؘ+e~v}ez1| [:K\ѽf4cu.&22i$ 49S-4?+p'Z0h_\T# Wl '^GVg@hh ƙo2Y$~H0.Or3̙Q`k7t)9ڥDha?[1`ajiJ*ɗc$lEҥ[| /W,LLuZzɶRt*?:W 3fp4W]ك__N&IŤq[w7D])$C8hq'Ş)5fQwzYۧ |'jy g+z:+hYW_~$M24A>%nG% =LR·E 8 Iz=U}LsEma`hWAF(#tPћȻRus {[E$'Qc}9o?*u4ʡBv/P +a 2X6z~|h Ў.GEƩѡi4=m έY6$hC Ɔ[Kk3t:krM< 0Ӹ}O'oMVdMo=]AV (_٢V xn# $.\4m|j@q3h N 呂\ab^TGQ@NfnN0P)}ϣMqIGkW d44UoV3v=g{+)`w(3٨kWZ-,׿šw;rK KFE B@H@ΙGA:2:Ƀ*WXE`8,Ӷ~Tt fI. ȣG_Kg }㻴ѓ5L)y@Aֻ*0LGUG BePhwѳ[ TgὅO ELNvJ]st,#ΝYg™AR%D3#ECu k S,8zs#+5'!{H`ZB綉4_V8(}AbZ[8Obx]7 m;grEgt #ju[ 1ˤTNN`.F#EfqMpsb!*HEQƝ ۫JXN=|DX  ZӖG tArcILO\?*7ȔKQUt| 5nS Rob\Uxj)9"uF8[E]ICl!W/\2E f`!\4H/lp:?G-{X@EH%*r!` :Pyl^䣷**hᧆ8;22ptd~8 Xy͈φ*0ajc Y:S&7G%O+уyZYPMaNy´3)[fs[y}=K!W)T4 4baBӠ~WV/^!@Q.6S^|[kB6!u͇4594YIr^I kSv{Ѽ Q|WeΪ+CBhznEޫCFxXgmWnkFT9K(^u:kAw5 cK g50B0#  _9MXT#iM; Z;bzelx[[1x&;Xo\ 6;3G2~ant;UJߌ|0W|sy]Gz~Dxx$=͎eyTg M,ü"J\}4NUř{ahXYGWϘd.wxlv➍!DnvMfۅAo%$lB/3z+M7x]CYB+5+nؘQNϟ/~Q>s5gO~aˎڄ[^wXڵAsWzZҧ/<:4TRQnĤad?k3v&{t/8>UȠe'VUM#XwЩH 6 &^6.&܌gaѥw? odgSyL;+_H)2@Xd`=Fj)rkxjQHv)Y߁nf|z}V"8\n5u|өQQ0#:&X>9R|O#t6UK d|pCN$HF%;y[X$=18ɩ K(Ȋ2xYB5gT(8kYdէ 79l.!@څkpJtLRW-';0ʝ_ŇLQ.}7i6Ay,BCW4+0,ю!{3 #xSjɺr{9knp4[EZݵij(mnчGWQ^v"즍 kxHA=2SvEi@ oxU1\/(%qĆw_1g6 +V{ һ-0=_3UI$Jl&"HʬcT.ALȩȋH5a-u:Sܟ␻RD 6Ƽ{6}8 @lEC]"ȿ]ʕU!LyV62, 6|2љHdtfQif3d&qUrߖqs1lH\Qȶ#zQQIR?E7;RU'!uLu\l5HџCsL]W&/gqfznsdYHA\\IT[3|VVkB\NS}8 'C/vXr2 r*,ޜ͈+AqSBP0P5ժ^r)u畕H5Hh:Iwy5EoH=ױhG>ЉسՏ !w `=;t({-npŨ*KKt $pJ-ƽ?L-V!).E f0~A(xlSV|zRDC薼~?ܡHQZ;[A^@GOk3RUhDV Kmpp ϲJ~ƣJj\ׄy jZK;)pb ssz:#9DnpZ:涊k(\"SN;ep8{c- uhSt:˺7~=}mj_NrPׄ J'F;1{<ʟSw#$Zs~ )T:/\%IkMw žTKR~g|]# 6gbi:qv@FN$"o :&gYeee3%OL݇X 8noT{|-E9ٯHB5!V`Ui"_tf bv}Xg'> =gux0$%loJ$UbmSc}8 9O)׈kh(60l~8Ǖ;-/&3/3gEDZV'mjIxTT.Ĩj!~I1,W0OsG}I7A0,69L(V7qK L7u\: :+W#- &$ Mc9^z8%2e{],@z^(B2%#${ve[=4cVA҆Mæ/fHPx *Y(Dvt􎕆,R~tXNʠ)%QH{ς/ 2\!8G޷,!F^<4>lTfJ^)5V_ʬH̪εv@qvTe*PHd(:<o7~V1[@ioUQ5joP+AL8]b{5*Ҟ>ĘGJ),_WBj (AsJ }?s6xx"S]BGYDwpuAȬ62Yt}IvH/+Njo!mVK+4"'猌ٓlWxث7B]E&03H;oQRiaqKp)4 KYn4r9/u9؇%|o0T<;hbu}*e ꄕRq#=?2{4E4 bO2vc)ٿ vWw}#l[掙y\^E@.# !gV3 o_GlW0aG?tAziB6oK )w|Dۦ4Һ.X( qzp݁dCbT?(%w},'O9SJ,?TIMF&O1#.zGV#-(BdV:tmSqOMo!W-^} ׮.lD0Bg!6pm`o {j_rh_#Z˺"o/.)01X!'FZ}>.Ƿ"+[pxKi@2nT@ R*ĝpeo# ØCl&Tc<ŬҪC5( 7:rJc%n"ŸRW*0o>WuV7o#ݚ 4[: 2)/)6·+)>0tlO}f-O~DmiK]3vo~a9zcl31= Cox YR u?_OKۗjɱi꽼ͼ|t!09X#Guޖt$%^Gnޜ6y'7ȓ)}}9 ȎQ/֛I =5,M WCm+F0&t _P1ʾh-GhwHF*r90gS9ipy[(z , 6z< }#(7i#9t|-& g6jr\U-E]E^'?޲"XS{{:P%} M 54#T?ϩ3xh< 0k8 7 Tʱ7q&'?-u{wr4Ab5H6u۶pިI u~p H"]m2,4kƑˊ+kZfv"&zS3R AP ²EJrG*6yB\m=ػ~$%jP5c{lg{j2bz/q{}nFjTE$r"t;*p2xϨnr9,ItOOqg#f.:L6oIG/u| DhXK;Bdmw<璺hNblX}27z ~/Џ pvg y/~isaGdhpUӦT&HH>aKh;.k+X߇oҶEњ]. RoIy)K$u=.0 3T1y^Om'RyKD)n:zoHNtHO%8n{QuDZ]NbA۞%ik;)r6J ItPI=1pwGQrkd9*ZX܀9˦D97^rN=b,l^81Q2uWυW92-<`/H\nr+uVCFu0V:[fkRqN\D~) (BYGl/rŁG BܾXi2}OU,&yeٙ^wox!!FF^.V4@i ~QHlQŏ> y'>5_2y6sBGpڱM?WXN#ܰ{!XuSN2r!jv (b65mM~SnQa<7`"l]9D#F =zAFdxE$˙Ch[sG&%PpmrAHXG8 xw R!gm:W'"NzȲ01JWiβ X[sGӽROw&( ֥o^ifio/"3I\.h'u o~k~al??1P&(7BRSO0@Y7dɖķY8 ȇr0}`65te,.h"諯SKr-peⳜPdJ.o!Dj6ߊ8Uo;Y*n0NĴsn+ ୋpz D,ڑ罞L՚︳wiv> _HrK&g&Sw,9n@*ؘekyi?>Ὠ{Y=Eqk}Y 㒈_E HB Tb/Wkpz)jm%!W|*v Kw-j:R5PD&M}|$u"υ5N9H ?$|_r:%NJyYKL*0JI-@UޙJfnacw I&#@ƿT3d9i%OOo!> `> ed.r^yļNo",멿֢fUɳ_;F@vw6vMJKJA fTpaU5n Ӟl~* *1enj7{Jɷ9_Ab._" (2.vJa"nor:$?*p/kkUҩy?\m^_4Y-rv1뜏2CkftGC < ꐊ$X1ಫ:+Mv`LLWsmEtp:ޕC i^<'PTGISU(SR;SiQ]2w|;v0t0F÷=?pNBVw-?]RGe1i 9wԷ:EN'0tlkP#)Dv 0NJ 5fp޴~ꥆ+vJdoty+fmge(T1VW86Yθ;")dAwdf16*Txas+yh6eW"Sqk\%n\ s=]OY'bl?׎-gUwz;H74cԈ$M~OaDfE"tl8 ΣCO-Oﺏm:rИvjz⊎תdl[,r1 2Ls.VЅ0&lvZSUG':UʴAnR){MH_%;k35β,d>-5&@/.?0(!7e{9xc1jjnU 6%c 2WP<{Ds3E 1巔ҺS@ݶ-Un^|ڡHD6WSj)y}D.F~>µ h" LXhJ.@^66QIlwWG "'9LTi+{4^M7W[T/>:}o&mZ*k=֨ -ӰT}q2WR_[qBW@}\쭭^I5E/,~g+5/ ׻G-c ׌Q!CC6j&2^+`D-4Aȑzz^lM}j'`8v E6ؓRSFZo{u喖G}s#D+ ]17&ec>OUC<^Fx [H!ޠxkRuā#vfDp1A)C)`Z ւ!ߍtkZ&,(sCU4NZsN M$c)EoЃ-^#)"?#p_J>?on狷-q ^b1 cd)a)| h4*7w\ N72ҚAf:S((,o0q}P#y)=M>eccn-CZq#r[3Z0t0傗ULu]eHƝj5Ti{o #]ԅR7ʃBe!pzLo$O:ݤ|=QW+.qH7D66R l"_oBhY鑠ٵƠؙ/A؅ݰ!C"堈:8ƅLWBΊx=.L*#,*csDD yxe+"g$#V0HUViv:Z_:<&ߐY}nN, rxkD*#Z9H1"-bpXK+F?ꅬ4Xh!`Yp,,aWG9EUr[7SF`ND&(=PnRF#rf%MMܝ%̃q.9-â$b7Ҁ2Y~;~t5)*mw4}0W%ޅ 8-kcgg#AN2h1ՀLp*;F9s20hp=[ىEem#aɜoϫ& 7,xtlsb>#vD|]h?KV0<4Lox[l,/s %rvuSM=[ڣαH~eZ1gTb^(=uhƹ֎p|AzFp\pМV_GG94QY1>!LW!Cjb[9% 6Үޏ-wۇ9_QMg $=Sͷ z_* {:AQ TӦo7,#P@fF3!8a&8594,K*x ֢oIxɷ,d~ ?\3<%Q%Jt9{y,ףh)UYSY?{_ C+qrY {B't9CN?l9p^Tt8 `}ak1;UhNKH_ܲ ]v`Uhߙ(oE~c-!ő?$H4Ѯb/u l^Z Υ@yj1w CuCr!! YgzqǤ3DGZZ>'Ag+r(x,be҄ƮagW W)s>G.o}{0qA𿥖[`2 QOPuch" 9߈^s0=]?oYcj)'kHLxr|~(~ҹз|onTU1g&+59tbVHj_UCw+>IJH |>h2^8sǰwգ +T}#NiZu62OzX_uClT˓{ݙ `0vʼrLE7ɼE$ C]t8BgQu4G|^;+\lx@OEMS#nw>YsU/59*iau<V?>Rl [O\D?+B;jZZ)a6TtC񥑌|aA 2 uЪ|Z¯/+GiZMsYK1d@3Zg>\zf21$Yb-(/Тf"J^g^oQgW)}YҲ }c{h]pq!w\s\pGWXC$r7Kvj=\,&MWU ,rVwL2s@"y5tW /Dq*P~EW}^;sCnv0xGrٞ{=H*|k繕ٌ|GPsҮ@=cJYr nPJ[鬣%IC7fz6z]?@,eC 2ϒ:G׆WQh'ÝW>xU`'ȘfW鵲}x3s;4lGC# %hk>տyoC>]]Y&F r!C[?Nnd3؝_Ɯ![Z:1$T10Ѫ*gr2E!N8J5}vv pc"/g aBC͝9wm`ԉ;dc6gf:E7rb༆=~'HW\TZ8Z2 $Vn@pT/9pGu=";A eǽvh$ter>&N$l= qijE.n{oLNDݾL2gzs< "f! KκъQ6um:cbGsϽN/uK!ZJ})n>ɃdWտ8f'y!ؗ Ccb=e!g^+`OE-ѱ?_ߕk)r";&]e Fx2][>Xk957 |-[QSؠ@Ł![B8 .F)іĔy9(1#Slis2cX 49xDg럿4 ⇶(gӳ /{dhBmvj]JzW`o= @6ׂn\݅9FpTbi=8=ʅ)#]-^׊^~.|I6@A]Y&N |DwtMz29?Ro0r94|4YZ3{/iqIuvye&Hm-Rl0 sum)N ~۟ P @}s܉׬lBD Aay[c QFhǻВΪ$4=s{t3ݽz"D>"~PZ KŌDOp=3 m<]ig|guB@ "Ń)vWzKPc(Cכlm$ƷjiZj~揶_PϦU66b>IIjs ~8r\5Qp\aArtL7"z3- Fir/g-k}z2NQy2a DV`!pOCnPt}mюix=@p gPuh`!?Xr\d(Ϫ5hDW[` @y :qVY#!qCХVYia\U[=ݳN@t'6 #jzg6_Q)sn;nkdQiloƪ$V#Ϳg PkVm]PKZC& o}5J*`HR^ʘv<̭ۜ B܆5 X_6AӆAZD 4ܩq9@g[-F3\MֈhwMnE`&B+EQ0͡4 0Xd66R"I5L yRMSAO}6:?&n /1Qg+-'EVIfiö#Tbk+rFSgm˳p@¿"*)Ǯ|2 mO://f|"q?Ÿ")}ba|FPbh~ˆ|a]w ı3>5srϰ8#t5nщҎ0Z+HpSCՒlH iǔ0uA=ѳF; ;ẒtŖbR5¸VPS6:CVHܿfT2 YV %`0CԘ:Q>$l@@<YzSl)AreNRt2ox/R[־C2yn 7E$TA$z9&BA+[#{&x Q>˷3}m"/v_RJNXԳKX"ɥE}IW1.BCJp9wSPj!HD\|- Vpp9I|u 1lJA2k)4oX8lqE G#h[#zkXr6f 7cpv5PIr:WZL7]#(6]jz3O?A>!8WP124"2Z^7W v%*ߍ/!,{(z鸳_`B O- {a V[ dz_5%9 U"ȅ!+FuSYODI {\xrdZvQgA~vM'aX-WepӄO_OY(*ao]7(e s;qݸ-:GcVf^YҾs) 'oU %hInJ^qx&֘)ڝlEʺ|+iRm':EOy@,$byREUx7YK rhx95<Ր+lw y5\ ?g L-&{%\D"]]0gI-.taq}>&#o̠Xッ$5y0h,z%Xoue$( Kny6s5Bh5=P,̹#F/ [uʻBLd ޸]xgt4öϏ1Sq6ڡp ~iт\3$s"W,al 2?n2hv_鵰AVJVO'xp9)L4X3X=ޛߒ fY0g쳫6.n`dGx~GCɴUK1Ft!2NvPB&Fxp%iXKµ3q[w*:]|C(L(kb?5=2xH|5FP3+H恵-= #iKlzNYXGTh]L:\vO&A/ÞGP, }= 7ʪ|t4\~vukZ8nIT]`N %!%Up!^^A}2\*QځeQ%Bt~@~jʢ=)(jq=}ӹ Z1bI޽3`?dU{Cc"=XRIڎh3J'$k̑kr']}DpD['rJt/%kA (va;{ R|+*"/4K>'ŞWMdj3x`%mE❌~KLW6nbC.tРܩRYǩEEaaVMl g^;Ht`J*bD؈֮Us6%Ѿ:K'HSpVr20XЉM[#-B& p$¨'N3(5Ԭ([nRYk9SM$H-y[ i~H~MG'T.;FS2ڲ`BA\Op8I3U8.}/WX=ؙum|rߪA 3;9QQ;)W#n($WeO6mS^RY^!!X0mfĠ.,~I.x|ڳ=fu3Pw(%B(S ٮΥՋ/Bo=z!PMѲ❜6/7b.aϧ9g뺅%ݠ((XG -/&,np&b@vh[K7Uư63Tnܵ~ EkFD2T}i;g?WzHaŲ=3ccP:m`Cm epD Fj3FQd`Si0I+U;3Tu{q/gya{HcH:Zh=܍>57Ԇ}JZTg3*M{+—̠Z_@\D6>2eF@Dh!R$rHr8%Aet?y`;{3b:ת̢ :۵ݾs1iuJ-#^VU=6&6__KĐIRƜ*bDgTڵ1|n6eE{X+ /pt;Y&^\EPR/UsةDzXn1GJ~0.:l@K@{׻2FImY~6Z G271_!Z sVA;~uYۏhw*":>;Ɲwt=oBو2J]#qE.<<dFG$"MBJy;m}Tkiw:$D4zԇvDz-LNVׂuͭ|X ěŞ' "*$46VN/؎}h&S4DgE;^UbʄUnjm:]u"Ȗ$ɸ̇ShE6rWoMs)C̅YlDli?:p %KM_ZuF @>PIMDZ*lhbD.zߑ7KMp۫Rb8Q'a{R0aQ$p1x D2ǜ{3p>f}_̗-v tN5__HW74&TW\A VIiE/_(tbp ࣌baK@XdyX;edV吶NJG.7޷4?W%}{@ER+0tgAlEj?i{ ~WiY% P3# 7:j B~x-ޣm;rAp#JZ?cGzz{KO_6fɻ3qT%4C ; 2yZȈJշ[ #,#H"Ix(fNZwB3ôugkZ:2u9i^: rrv&s-}tO5O|L>1eV se:*7Bx: 4̇ 6tkC{G`xͩX1hܣf0o#vūNRRztt uB !-,O?Z<{u}_de^oJC$KjU_I2#Fy_z3%!u"bKC&İ2]+TJZFMx7EzM6ݨ+bVQ%D< ˢ$F:%ue vG9oG.ƵG+3uf~I;P{l 9f~]I092e%R9 X= K /͞ 氹Kєd^VTnN"ŹWrrnD<R;KPPby7xu2;52E{1y/)4&:E1ES%n%q]<&c_Ay0=Y_DaC]fU>}q[;66lLw=MM믤 @"M(-@Z#ٞ}>Ʈw}/gg!ePl!ZS7aűN,ڻhda1N<3`TT I&uGwtN$zBR C6 nj ,D\WZW(V XZ}|1;u+7L:̃ި>*ƽ{?X-&j TaŖdQiɚ{ zŠƀU+H YrmzN-'iਖ਼׏j U}Lа_Iy1U]lOAe70ÐІy$pɇa1^>t'|}ZRWI4zdݻy>9 dV٘q-μ.o=jN9^$ه \#BdB&ܻٝ&qTZ*ޟ=>f@zF%zٚEaN2mN`f:M|)7T9jm>fG7kD^p% Cc$lA,%02[^z$1҄#7nX;rA6E^ BD#Gk[ViAq"_daFMQ ^\1N8"a_ D6gN;h*2r?ZM@eׇ& He@NUU՞^.f"GjX1MdCW)kS3tr5CGj--8d w<ղ-MYjv9<$ۺy$9h7RaoP"!T nU"5ڈj~ bT2뷷q&EqI/Gc+jމ4']d, j+"%7p3yJVm!`y-{w Φ呻q87(~Wq &f$v2oPˠȓ5ԾX\+`@e9 {]#QG-Nؕ ]h?n7 yV%~^D%3{/8ZhC&Ny *Ep5'ͮ0?2<ҌiPreUSEGT_"0qTf5J>:ii3&K>ڪh%x.6}84FF\C/F~)L*TJ!S" \&:,` VP(VLwMIA~{c?@!4`qvhϗfeOB=ODZ:R+&dwchXRKƮ4ZQ f][rũs8הJL#fH yͳ !קpkas4O.oHv&#^y, ;#z[]R4Ȁ`{uRn]F`պX-B!e?O.d Ak.Ix+3:W |iT7)Ey;~ UO[>WފpJaVZ݂UY[X`x"޽v9YyY>59%M $zˈFp˥xM ;Z߲yNƴv|3́i2Pj#ᐫ jC$+)GLU.m߶e@*U2;uG޲@.mde1B߇T3_!Y<([ n KϿ*ϒ1 meIfx Kb>|g)-28>+W*M2$})*1S,>־VFzвm;IšT͏q93F)^hאʦ{țXJnʕIO,͗q10U>a 1WO,z}g6CRh0t!6E^_JH}-,nEXevlՋ-*M߶T5ǼeفoV){N{pW(%<;l2Vh_Z&`g $IH'Zw`cRd~f(ϱ*X],_%|CeSȤs;%aR׀/7``n$ ЖOQqATh:ѩ;( O{A~Ba#[ZgX[|HowV4_o3L{e xkg䃆U=MSKUjE]+@ nĢ,SXu0%Ewc]̂ȝh3No:%LUIzv <@Ǻ~[j)UySHё!l+BB"aj}PPj. ]ڋ "a?AQlIFnb>kF,PqzQX!,˦@܀O%nF@~d+ ֱ)u8R:6\s4Pm'؇?z.Nə *2/8L>^ueG >'oV}dkfo km2G?C M?BG[9b((`) :%O; x+ɱP`ԏJ 'ИDRKpRxS.l=m42kZoa6N5ԌLN!M܂E@㣈$(v& R/DcVdʶfD$r [ ٓ;%~jtxQ2]&TobGNS;OO Z0->fs޲Jpiīb"2e 7Ա Rj_PM3S'?,JT@SNPDmKZQ=d$S6Y1-u)TIgwKc+xs(?@L/[ _6{œ^g]Ul|mUNvw'^C%c@ 6#I87JL5;80\}f$(υKaᆧs(bNohbq\IM;NicU/_  ~f Xʶ[/ߩap졯t5?CAdm A̴XI%k㍝lgYZ4498d059836f482e0210193edb709d659f2ecfc81795f3a7abed9fc1d9546e3552e224994a90ba84 ec123dce693829f016aa17c5552e2b7e72eead89 34b3143175cc0cafe9a5ed0bfc2c39b86220bc46 8b1fe5ee2f83e69acc506291eff9256439305df2