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 e3l, ]/ HOL-Data_Structures:threads=2elapsed=620.593cpu=919.376gc=37.804factor=1.487zXZִF! . ]ŗXf1-q恈%kV^M[-U xNo[q;O^.%#6W6{_;ۿF`){nUMU@?ܖg b_;ӚOH|/I+VmzBkkHe Ag%>䝂CIۍX>[o--&kV7umm~ǺkC He'3:ߜUi`Ԧq8gi24P4rv'W/:imy̷7n=g^Oi` 7)4";[$E4chGصx=ޗ|0!mGYgL@/HB&_-qKf[b\L#yeIR]&W W9h\_Jj__h(R}PE3Q=mlGƪ{OPN8gqn-~ųN7=qB+w h`>xHuk0-yÁS(UƍEnu{w:6D]F1\>ghQ:Ca19Ӷ*%U)NP+e !zo!/,h$B_n" 7,*`Z&VQO2Y_55O^ߌߍ G]ccU|7kP?|.Nͤa=E+[k -cA6Oe 0 P~ȐAL;X5*x~AA"ͮS3mɶblky( 9"7jgPD|_!;*߻>;=T-$?W}|$&wM((XV@܊ؘX6K)t̉P> ee g}uQc,F ijEzUI,|8Ⱦ߅=jI&*ٵ_Bk?5͞V1՝E4o[XR*|kZoC(z)E5t4v545u\Xϝ| kRmY^d]G5g\șΧM/=DZ 0.qKgu:x{/%Tw;gDHmS]^FP5DE(ugg(8GEP½k{(_vvʖ+M{6&+I5jxtw8F7SLit;kT|w0ȉ4i+ a.N 㪚|:9yrj=-tGE*_B1$7I8[ H1N_iTxH'[E5%Mֶ?@j>ui%v|5"uP${]]1+[OWj";.cbx c_04Z4'5_t>j&78S47{+[4O鐥ΕFOۭEt$GZX"wBCӭ>'*A"2m@@-߿·_W$paN"zͿ#,JWU}޷=UTA7@SIq7fC40KO3f;'88-a9GNs۞an=Oc,&c9+)1TE宬9e$:Sc4*u8@_er*bbD 8^  3 HOL-Data_Structureswn%+滇nWƙ| kk/O6^(1,lzWNvG|0x 2u#|3y!ӁecĦ+#~9${r6]Fw.:.ps+77϶ Y {("nѨɈ'墪:>R!Z+yOЉQr v 3<7/ce[m/دuͿl$w-8e&B}Q-fq[C-Y/bEMQ 0vX5431(#)ŷJj((%ϵIc{$? l_a^{ƃ([\!<6E+Hֱ(Y쓉n?gqE\I:bu$lOˤɃY&trR-Spsq_2CD|`A ыFFB)70< H!Xyzwx`6͌AN5GU`_m=jȕ+[XhlF-oȋGgE?_)$ fTm:"%1 2LyE_CVN&J;P`?`/Ʀ98xے5m_:X2yog*I?ϐstWNx:=V$ٱx>+JdЃ@# #D}IuRuyoY񆍚>p;ߨ`%T)m~U%Nԝ}gm ]'bn\<4^P5[˾xizc)#Z4.)eR>ʥi} EͅcKQ4G]=z_Oɴ 5'ȑw\6''?zw'g T!|CO=Z[L^44[ρrF4*Z {?N1ԛ (sZjEM1-l )Uc)AZO)SePSSm4Gs> 6UQ4P&L~U秓/]lL'՘ ͱ9ڱ{/tG,U?; S6{OQםX-AjzO )lrZȍP֩F6HLO5HX^2z-FgYZ7zXZִF! Sx]ŗXi%9+y!;h;s4BZ_߅۞"i_ ׼9EL w3 "T4Cg4`9&LpU["ykS[^K|RXx0Dʆi'wC˱|*j'm=C:y%Uv2cd$IAoCӨ {AW8ٜljk;޻}:d5CX][Šz9^uoڋ}ﳊSߍKOIX:UM4}l ZuWD+| ^аFN\ 5Ğh4@ /O2#dQʉU&Lv@̕|T-|s(Q.)³# syXE#6Bg نF8NF`0hɢUm5?tn/r6v PDvr➖ :b ϤV>2 k6+)C=~f Ȏ p#8/-OrbKgdN$nᡊBnm/u$vQZߤ*hT:>xݾ99xjQxʚg@:`3S B*ajC>n6T s.) M&X$|ٸy,K Z+ކdBh=nm*89|\?-J4J iAWq*2T5Z8Y07,:.Q*.(I^/_KDdZt鬧fѹ-#rmKU*'$_&P-# ,?|Roa_g>r@Fp?FխϏVpx64B#EűZQt/Q. .h6)h[V|]&MhVyu9/ՆK*3]2AJwJ;B$AgP4¼"שFz0ns[4|Q'9uPe?Q60 .y2H՘" n*&QComLm 㝖ZaH쪥S(JA~mU*PJePѱ^;E<{7C|a 2ؚ'Qf A5:C9(!6h[]-!8yr2+,zvSf9vQFMDHw%|*PUWcƥpҤ"4Doìeȭ 1"Ju|}x _:)vkyY^a<cT>xԭK1&-|w-鹆bt̻d1x$M;pmtܩ<3qۋ̱񯈴%>TXRZ˸Z+R.!q=<5iQ!FO^F&,Tj1>) Ei|-C{_p֚,)@ӕ9M:w5<8x/"ʆ8"IC faE9CS'u+G#FqAg\޸Y"Ne9#`aA)6TtL"r3ne FhUQʼ}c;Na8E8|_Pl'44Y4jF>cU١׶[=)bIܨږe%># uԖXQ޳ TC{g0mJe÷XS qI-[1;W\eu3RʯFlD̩ E6V( `5$L![5w\D QƁ (R;OAU%F`tO\n~)26Z-*LNM@'ƨFpvNܓ'_Uw?3KHcBWp_҃#™cY]|<<֠gs u夫u61j>̖,--~~AB<#\(ek3Љ? $Zr}%cH# uABkԓ:f[a0}8TK$Ԯh'_OP1 LkP']tqq KkBɩS.8cI~(23@K鳴ce^iPHwv7$-.IES=`AlȒa):绅qfʵ Z##`/j3bD{RmJsxF(.3!0DKQY.OsȾ里*6\_1l1C3&]f;{t$j7"> `Vi4[-1T.Bc;_PQ!<ӳ.\JL-jqnMwE 6[>j͌E5xI`Y3Ux'w-m8-szl"V$b]*}hh(x!ل>P6(nP ,b jȷ̢X.B($d˗Ĩ8|n -J޲]I˴U1pX %o #)ŕ+qppn&P9Ugu.ϑ{ Wa)3Z袆[|euN12مx!?C wV1HNpNE8K.~of˂Qb]BNao~ 9L!wBdF~6|xS,-1N1I/ݵM1euTq+yvFGʐMH7CvӴgٯ3YxHlxgbj4ǖ3)Qy7|g?T5^td2AH㯒>-gQ:KJ&ˋQXCtG֒Z#W'6V,o4_!o@_T-y!1|T6pj94:TO-WX,gJ]NVq(_eJg~]`Ynzz'߆ 0{3IJ"wɉay.IB("P/pY}GRX%y02HB5_lvcP߃\u( q!1)_\Dg2{ Z8ϹTEq*~$Nn]*& d}`V$*߮T$%۸yʂCmHbr4lzG%32p Ӛ_%Xp^gvVƂg5eI_h~h;h?Ǿ~yb[ɲ[GLW5ݗeiG\MNIxZ,@HQ>/zrsoY1l59B7 UE~yW%A hڶڲ\!$\蟣ot'oVp$P&&B)Jhst|àƱ(޵Q,p^Qo#3zɚwf-=Vt|I ׫k]?y z Mc=00՘[)m*7R,wp!¿_d(c(}.r%)fĸv:H CYcG K0ܗ ٠52ЋZCbso̴>\38t#t_ȜhWΣ@5̼9@8=Z␉wVkQBxJٮA:лjDO4X($2jlӐyS&U&rJjd <_͜K-tpM *$zcmE"_Go.*[(nIEq`C8 02z"7Y{@ZQ;Gp( qT? _a9 aĩj|-DS7OLm ͮsxгauyp.L-=:~?;/@t8T1R Dڋ>!<_dCƦvc!basR *O4{;9 q9<׾O_bL.MZEr54fLrԽFѾ۔fs$c^c=kJ[?EtP|l5& LO5\{r}= Fiw5_ 0}sԠzNuWXF`9,Lgk)ӰXM5!MǂD6XϝH5rt޼Kvޑo DW€&{͈"-[rFήy(Vap)D|jΩ;kHHv.xo_2ڴq#0Ћ?nX~f50Nfϻt0 )W5 b[of%Nm RqnbD$}R(7ݝ~3{M^[@-2Tʎ&rP˝}+^01hi,*giЬ(zw bְ@;1[d6% li|QbCo,Ya0Bg?}:} nwZbYŸp:r.Pg7/[^|_# ܗIn>_>\ xNLڋsB] ,vuuKP9Y$x+'- %$q__J0=u?JGWȨG`uA]!}I'%U,?%G[Й]lMC$ѴD'ӲHo #֛8B69z`P\@A}#24Yb.ge[(-D;#v5\b0+۶n0.|iqjgdGX4ٰ srtS2WIGK#͒eʐx Qx)y84G. rNjt=lO4&눯bTpϛJC&s2=NqRax\xŔ:_%PޏjJiBN m fLa aJkPVƷhp/ǤY@IaÆ Qx~r_t)]Y}$.Ӷ%ɛ}jc]&oHx/y|p˜=)U>HELc##?65ۄ J~v2 ۺ&`j9&$iWtC(ts~>vEnzw9\v*vӇ*Ӗdfd` TN`6Qbq59h<8p16?`?^z|sloI꩏?Ϛ@oqC)U #3ר:)叟o JqIPeɺi1_[Z|վ^0lDA5Ҕ=vg^:U[LV5]kngtաݜSyHxupVd(2fq [3kŠ޻"<"4g{A0@5W Sꋕ WYb rEs{-5gINDG;/jWՌ\W<0{cEڑ@CS8 U֍2W&2YՆ&ZO+ )>*D&Y ;V#k=/=*d<:$'_Jrqk` %M*g̨~ƿM103>t_?[bP/:@&Th5}Sx~7z:o_OXtSFSl,H` 5cGAYB/3_?juzC$S7{? [S"R xbu"#KzlX-2'E)q*DS6i'+卢 D =2dTk},lnRzu+9,UYehHů6\t#K #3 xc$֌w+*x 7A}"n n*kp A @EJ`ǝAn2ל-A3Z Lszg;B 4''nh>V cٗ>8d?QJG& =\1K<#QyFS*obf )^8MՐ%GlP:jZo#bl=ƷM.K)gp|R 7<IvF1;!Kbj=f-T*eg(>]HRt緓/JM3yrHQG¹ eA:U͡,.RJ~ wPENզJ'EJW(YgoT:A{e׺TsS<У\@[cЀDo^i27~n .%⮧w$Q;_ ^8<elF} ^QH[g^hZ|tsZ&haOqt]yc6objY57d_ooXWdS+M=woMwUyCRl]GHhտ52_%*Tbu)Nu֨Wm]ҾJ~ZgW ʙAs:s/a19"G%}Ckѱ76;*m8WX#v c&FӃ̺A)@P4PW:8[k2tЃ֦Xsp^d$Bs༳G6xJϘ`%&&)2'RZ r,”̙_>=!B,#؈0'^6-&~UE OvUÄ;StE::S|"Ġ.n-*Fu尣IýY(?{mk m2&L%m#ۣsWx@ņS%##+W1W 0ҢFZ_c_(m{eÖWBsy4u jDdro#kl Rguq]Nu(MB~0C?rdQ녑cd>66gޅ5Tr?Tc[_@OӎjiSDxVm77zDߨ0g'=q0,#_5 \AhKYRCU!I'^2|)$q.Ce5߆S4&QœQE=MBc2jtV,@dCv1epk\itI (AF*u&sDTwbRWK`K Ų!N,WVT)1`Μdj#RKExV,N\2KzF 7iKѡ@ >Ϫs*Iݣ8ۂQ9mҩ%G "Ğ4fRr*$!)W/_&8 ,t_ګPo܄d;; %3.DǞ2\|& ̬$DREGz{ߕVа. Ǝ"[w 'K TrYHP86!wZ zݎa!!s2So%OX .:-6xՄ2; BO@|˙ u=xd*dj֢DN!DT:)閠[Cy5 pJH3hǮSF Hsg`f@psfoǓR>RNsÝp06J!aq;,@Zy"wa4 EG2&dۋ?eU1\/N[|E>;} Ÿ()_nuK^x3tJ5B Tۍ8EF~Z Q*n H +LW (wCU~&)D@u6rj}DKjCM!nhj.KajbX_N,gzn}ыṍ"_=%\gG/לI۰sǞHKL~k玊rB̕{XWG"-qdo%+m@h.Toij F! nV;pX!V=ILPo])or5)7^r3y; 8mOJ:*Ǿ~ϑB~t wxv91wNXZ.9eu/Е"(*3q}`cRJx>Uf6-+tJ9U63f'{k ['  / :9Q Vܗl`jzɀ2cMƧ“fI}OjIb(qDm4r7 <$Ԓ9BF% !A|<7GR%РKSDSuWCgQxXkHuK_*LD}Ip3WQo{+"Јwj7ux2 :};9雦U,. !珊kѕO,\*U;\CDžnT) C]h mLCC]UaC|jc#㚀Wgd4v]5QNbE05MNDZ6{ /^ TҌ*b-|0;*CPg~jYSZTCmr,BV8C 3GOvJDjܹ~ܼ| JIUE}n+տN^Ozh@r(_XW.j2$ZNՍ { ћߨ'0(Sκ]狥Cug$>DJ@-Nqj)o`(kf~AOG4h(Ȋm$+$b(KyVb1pؖe¶W->lfk+\pzq<*3 !8/"ikc|0Y AW(0!rsc2 b)ʃ|Lv|rQb,:$PAm%# mہ,gm=X=sۺ[y A>loU#X *t/& ٧O4'ڦ Uӳ}woh*_v DzU! b a6S &iT)tO$ iB'Ri(Tph[ёw%7 mak1kO5JRdIlA:aP("f%#0sKKԠg9ޅ >[;TCg(P1jB{S_"ۛ-kȘ$*PKk4tI f8DAtTL{f~Nd FT"cSㄢEI?YDJ_tЙ^%^\|=Bg.J{ RpLsogNAo4/(W.f [-J$mЭ'qGsu~N*TWvNb nwvn✺7Fi҄_$I#] gNMvc ̅j3/ZżLspyǢnÊ j+٩ |3j68_Ros?z Rl%qAoa++?r^.F/A2UdECe },('&p>`N-/]%_hڸz>\@[=P!TZf ԏqqD󲄺@f$5IH?i#B9wuX{,]:??DjR0yoJhgvRZzG#?RV i1^pFZjܑ'Ua(u%Ej_H"tPUNN/#-i/^N?YѮVe~8x*IO,j0 3.`]ƫ1t~Ij&#YۆM 96,:pJuN9͔w WRIMتbyC@fUac߿z 36He+>d)!՗齵)#Em$cjCJsLZQ6輩 FIt4Γzq $_xeȁ}B<#A;plx7"\~0l蝂W\zC2Y*ȱG5e{B>9CY.a0e ʪ̐ <@{}6[IPd1:7]EݶO'ƏV*zM?>i1_~]QAE7A̲Bp•˜.8Lί}.*3;2_F9caybKnͽ17dW :=ݜu> 鎪ն3i60<=[nI %gS=&6/.cR`f;=9G4WѡDŏdBq՘-Z| VY=E:ܿZRJ+"z!Ĺ" iX1}UݼK-}d]e;Tt#,axrh>}N4(QdGܒ r F8\^Z)5ntklWNWX2}t #cCHg%6xt>`%ڏ~u1; +)4!s}|mfA4 Sڽ >[޽ED~m&n z'b.nD 暘T=뒰H˷\H?ύZ  2OTM.U, !;6wSI ObQאc*mc!Iˤא 욡=9$U]lZ$.܊Re ^?<H7Sd"Lht TOί-͛DЦMSM\[ x`خT0.E3oы\/zo@ !]FjIR*޿ .'BNh#Gϭ!w 0FRIvVRk;3 e 6gV'rl"j-.:ͽhrC-Nl0ᰰҬ7;c3>`H̒E^Y1J-/ASaez=tͥJaWcvbuWhl6YU*QĄMZ Z"ETu/A7O^{R*gn*o <C0c_L)H6=@B"M:[\pYdc04zfn|Kb<8QS:,R4 04 T'zL#5ӛT%x  gIJ[s@b0$M'/>[@Zg#I;G`۵ a'nNH@؇&ᬑL e1&p@6}1sД!zHT8iR n D. @_5 e|QZ[dx pϰE.10KW~:$`ė'_DŽӇ z~G*kBM 8FMdKYi_oily),N-L0ܬf e*Qj"@r|qչu%ISKT+>,m|~?:-hʩ[wz gR|uMG뷛37ᔹT\IdH څ&6pAP0Vs}- 4lL'+zVL&ܳ0v\:+rCo"X+,/ G|vǜNtG8~S4cׅ~29<ՒV^ @]d^uGTz=Se 8Ȍ-y1Cb>.t%)ϗ߇ BN?m'敏6(5U!N`M]&J,n_ߚs>P.^}Jft\!&䉈fy̮ңꪋī{f&If'y*Қbjh1B >Us Qs+z9AfjN6Jy~weP|}f| sa Ev%M*JYWl&0u̎|L@_hX[\7 FV|=ISw"]+Crk ҕd+߱;Savg~/6FAhYM׻pۉ,)ԍk/k_ٙ:~~bVcfGr|Jsf[;5xtms,\_e$Jzɱlw28N<[a۵쿅"׎ޔ;akihþAF gM:gm1E5>Y# Sd {ٺ}Jz/<jKw gC8G+H >>^3m3 IUExA^T ,%G{ DQ T$"2m]Gɤe ,]~OrM`U7CƔ' [uo\\df82̸|`2ͬ-O?j-G;4- Iu,mM8N=?{قNQom'60AXLKMwVBc˱*b8)KLW_2Q$z߳)oül~\k;U)wLLFWCT4/ GtZput)b)7FnM?%Js/!^iiԯeI;W?2HY1k^6P`i L:mPL]_eӎ%O3VYEPV0 }ehlQr j# m 僋~~>I-_=6bB@XS+p+uXul~'Wѽfid=$DšnRq?j!i=W* )!T(Dž;:tdF[QG^,XzNO@b~].|`K*;ug+ԯ?UaT[q;#PSu#@p?҃1rf:[> ېW̉M3=nl]1-V+o5Q|3@GO_[/G}vZkp%35V KH2>HBҦU,cn \ƒz{s&->Lx\E ut$(ȭFΥF^5?!G>njɒ*G3e羍GXs>gɗ2. y{wKvM @-(("YOkӹ˜60_$%A}-{^CC(v Kd#OXt@-Z %,#eW썺8AHIdt x*LuAU{PWzqDdlwU' Cp%RmmǙ`xHZH|~@.(:ϑHPN﹖AŁDnn<#!PҮKemg5&t9$\}?PyuiAڰУDu}#aڜ5K*hu 1/g4{ pCxc}'jz*s@w|'nz}oɔT#`)3h8IFDB! >^VcoL9UTgݰ LMI 胞ޫ n*YئJvsڃXd}Z-L\?Jq}h<`PI7]~DQ[y,2orLxsݸp8Qg [HQ-IhKŋnSg$9|OHwWc [j?r#) NFnYT?鲵L,?okmR RRvy-xŬHV^5ЫKd$-OK6ÎI l.܈@0>=(pkqG\_pZt ߃+iXLD[ͯ~Z 30`q&ry3-.wI]C6`L* ڜSM\S ;U}9 iqկn8*ݐuD!h8Gg(yF_ Du/#pኙNYch]QS6XG-lYD@x烷yf- EֺwES  :9NP=)x`DdoԸH7DxD#3OG:(1t0A€}8׎]-|`Qb_4uU?bb a:α2R* 8Th@M]o0ED Y$<$es̞HhvV-'lჂMDp6 ;Qճ^?aKF91\ӘdaIGUg#ϴsk0 ܊u d!%%S+@˥%5m7YC?'6TQ;TֵMԊ+ەTJcm99Z ¼Hfd#o:l<*ey‰\wxr?IZdAG YfwHB#8ORz :uT;/uJKB"$1p/)p`ߙDŽ_mg !9yp*JVOPֻ'TYpd}a>}Pk{ksܼahNRו%f`9okUV--;[!mGm|E\iv_I`N:ߵO8%,= KY%x ̠k=Yn1|fC?Xfd.mŒY9}- Du8hlU'Q/u&\AA>"1Y)8*l|h9F!%fY9QpY뫛pOΒ> 񷻥P"0e?rR½\ ·z\A(]9ơfҪs%OGBin8jm9N|ʥ7P?P 5:qZ$H]r563Yjv#d$[?4yõp aSPq3l]0 T6m9._WWENKlB p -[ { PkG] d0=Jwg ̵ Cee-5] ~=ߔ "2M Ul5Br X@?}}n͚.Y1;续}1Ϳ{F`?;ts01GUy~2ͮy"snicy(3xnKP36Yc(Pݱ!xƜ$lbcc-8Uzkٝ:y6( C2X+ui}pVofbMpgG,΀X*5v<_V2pJ~/fJY1{EKy7*^0F+(FPLwFF5הkU<2weXJb׊i'aALy*M?)DPd"b10F5\<88_W޵A!okF[mFyTGJ%g)c 7!Zާ H_L"A(7a Q%v0S_lao,2^(9fQR0k;lx{XKsoPgЕ[!<] ٚ Mi7͌u*~Ҍd^*;3-J| a5` 2*e9U#x!K:G) X~#1{qWCҼ#\ϘT>x>¯t: i9xRw̢wXW nҳT!$RfŨ"4{y`*G2kpl^HkYԠ;A}VmJsn/E }#*usϿuX_"K7"/˂j׆ CoOL1㕂1@8!=a5y=;,>!)?/HKvduoXqrc\64>Vx҇mTQM@s@m|i%T{DB,j*H7vgA;#0r.A"ϝ9X~c[cLnDmV8VYwO!^ISt^6gZG%]ypW>7/ZR %Ԇ @Cmwd$r!0SPJ!+jqo ;7Gwf2he?@֭/n>=TP a HٚpL0Y( ~=b0eZmrYnQo^J~UɺɄ@lYa9`vyo?9 lGy. ɔ Zj>iS0'$Y(8Bœ wbrH]ŌuMONF/6OJV | êתR *ٖ8&-4'X=6s!P.M8ңWGuuuk֕D|3'sc{žFL *BB{*k(MA8 Sx}L_;{Q z9Z;̧ J^l=MߣVA@DWg,E4crݯ"ṣE%b @*:4"\z`1oΗi'pR_s#x)`"J3qs2:6l"Zw6's۠Ƕk"Ǿ' k_@}ۍMF'Hon$4N 2-XnD{i)€݅N'E3^} Z53VB9OYʳI= Iaѩ~U%!_ܻV㸋i3h?/WRPWi^WfFMǿ[R0KOʗx7Qn%& ôe.$a:|yOh{+#6o3c3Ys#¼Zh:oeJjzГ6)%եO v_ 4s8-f'.;& h*>VlxĖzQ ~GdČ:Q>Gꉯ<(<RӰ՜uizsDhlM*'T+to@jOܯ Sɽ_ +̸ߩ ]T7T K!1iupAoҪ}+Q/s31$fdȒW҄zQ T+&)gC˞wX ZJi%JJJ>Gu)Tƻ9Zա0( e+]|plZ==/Io[+7Ŧ͕+/J%|WMRrkF1H}@.Ek9bYS\yRw4b_'LOXlݖTP%;)lz^GA$BaA\ c&ұA~ۢ.l;<6XTuM%^?RC{5|hY(Z`"pG߹4n4K ?iwft8Hyf$=O ́]+?}H6X~Ihri*ZzuY CϧJ`ͥdVIi U0"~6KΦq Q#AEZ-~IpwEkwyH0-^he.XFB=-`|㨽eV*CV'%o0E~1pOp ;y?\23%6upeJ>(IJ<̂LmuY>›uԝ8A#rHߦex'A{kˏ ZeWQ=y.J`Zc8}$-uZʳ5 &F~q#AOJID@{xE L:ʰr+npˉ!JhmML~9nG5Tay8Z5w d:Iծne8 ZgQŗ=?ౢM'=/iæJe&Kgj"8($ +l yWvmϦV1Ql{1ݾ%IP@I1FZ{{۫~ۤM% B pgWM\'E޹ }dYfCb7캵S\KҗF(w-%||ĩJeO$X+6Gl ٭zp"Y^ @%;, 2sg&2 4A c?cdCi7lrm$$WO)AUT71ۜ\U"Ey]k9:zqFӭpE'0@DmoЛ"#RO?}UxbbG&hZME:/9W7YKUe`}.gF 7ElJA?J[I_k[B퉣1y;yK&dD>q:,$n%Αg2]󵜫Ew$4;|e3+8~$?*`wݿz )VjwxmwtL89Pz<ߙѨb/ؾfmYPj2ґ?nm$r0F""Q/+/ V0A;Ohb,7L:oj0uZjr`2Y:3yW dLW:>Y>sIp]X5z9u<쁾Y3>hZE^磍o.7xtu ^\I