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  M M5< ]S HOL-Nominal-Examples:threads=6elapsed=303.423cpu=1296.852gc=133.980factor=4.277zXZִF! t&]ŗXf1-q恈ބԍW_8FbѴ Ny#jx'|h0$q=hŲ;T2Q5-[ S>cqOĊ v$ E*Om5s)[_0LBDMX|v}9uTWT:nSY9q6tH~Nd,f f!Ȗ afrOn*ʵSr $sa CcB[m# `rlu/21=ecZ2`ߒzBEGޝ4&b]eIx5`ph|~Ny~+NS:;p.KVZ5Oee_4S }^,f,JMhDSqSFyj:-,=6#+[F#b%&a hF'lrQgvRZwh=cV#ӽۋpjgiѧzbS8;J,i&F_ة-)\t3w{k&[i3-\p2:ҖE=0V}L\%e,@âa)8K+@.HON)fcAn Nҥ7ڵI_"YH չtŜpC|5I۴҅U`}X<@[ޔٳzoQm(A Cg >NG?.R?[c-G}~Qɇr&ne8k8hl ͤmw34[jA=>q)/A~fl%dد#p~0(Cm:y4sWP]r $.wT I9av^l$E;1PTgIIBӐ 缊λja !!96fhCؤuhYA. 5 HOL-Nominal-Examples^Mim'+p&qE }Ћaցۙᙻt k1. >FUb<(1,.MeMrv]N1=m;} VzJ+CaJ|m n0h*Wp7]7J2Ԁ8D = Usx3Ҧcn&I]-RC) l0P`}tI+4dʘ]Ccif1%ª5. PvoAX$Iz%?ψ26!'Dj+Dl_|Ec0srKCEiq`ū T΢X҇z]sP[ n.K~WPJb"tzfƍ\0 qnrͭk%AvxTZXa/eDn3)km= ZojqFƱW/2'9h[M;\d SSɭIJpEEJsz1=k9VH7Q^Ymڣ]>*t F$n1o:xభȳcRCY4l %_&2ϯΕPsT?A;]^h:"MkX'nxfhsvbۀS G<1x %BS2,B~]23 Ab}\Qf[}yO$4 Dy]MyŸ#JY~@)7cŌJÝ vX EKi $CEOYJk07xj[OYڬC?}Ә锃0S G) ":>Š 'p[| jIN*T@@Sn@FtL:ŽX!vH1H:E@ݰAi/-#ōXn@]Rm 7յM.EEFW]:XPQA-\㞚x!Vn.+W }|#4Yw${CR4ŀhC3ϓ1>l`.ːmRI&՜;XI BP% <$]&wx9ܒ| y0{2s#^B r]?I>xäU<[*TTm+*eb/8;|8a7 ssc'UX%gQ=ѷo+椴c[؀b5.i5@-;k񾥎~,KUM/uY;/Eocssiv ,D*FR>dTkiY^+jA}B砄l;(q. 8( y}ohah;ƅ34$ ;IaCᣴR&lh\*%&;1/u:c/S ,H"rz^lmT hp^" _vHSYl1K3]sHn*`)]t<o%!:'ym`;+`MhTLݞY= V1~t&(1e~W8 %H[@'6 ' fij_1) 1Pe`E26/Ħvlf6+Ә[_ف֪w\c`6SimdUDfbu7{z^_ ' ;wIwĎ@Y+J|9H70+ 鲲(N\xi4-`|4㭶S8h}N?6qJL(WxH8pem|CC{6>vY\@47Qg>W;^T:WIbd82fO tVlѿ|9+7Sk2kʀdNбIܲ`)~Ex"c')?Ūu^5Bisة,J&LAkMp#h)ԡt5^;EY`E'nվo<2%d|^J`P/#Tf=I5Vav[]991:c Xңف G݀+ :zz!Za, ,b..Yʖ^ c+H:+ W YPlQ;ʁsn;C0|rjcQZ{ ~=+e_i<''#% ƍ>N_3?n:} j`^\()Ss4`*u>v:N{)w @s4M40/l gUsr8h"&SFqe/)uE6s$w^1JNY~Og@;M?:8N3i;sakvlzNpJ7?\Ze WǼ}\Qz \9+j@ .tk)<*IxF[tyY5P߳Ž< 'V#>njàU"W;f^m>m1W >B0@dڍ.("2no|[GNu*=7w?3$3hu5GS~TM[zww/ť LHSOKdIh qR}["I̠yL Oaj)Cv}g!F>xzN4MFg:pB~G 递$G!h2Wv ķz jYft$o.:IAxH_2UwyK9]^q]]s]WT8Fm_GE;q:j1Q ɒO~vM_^33Nrah 0+)|#ߐa DaUyTZ"/+",2ǖNtt-:t]ur }ǣH2fi7 (xC㮄J[:C 'mb,a8(~q[5w>ykʼnŰl'P3҉0Ip[ۑzL݀qVmR88s=r^=ݙI״GDZdi7ѣN<{Fqah &ﶽ%.9O!2{E3D)WEٟ 5С4yc1W7y6oa ns䩚r& W~Voup@)GGE }$Ϡ*ܐy_b-#_<{,Ph<+#az\u|1U?>}sqHf smQ?߽2 ,+QEx-;@ss6}+x6]햀昆~Ey 1]w'R8܀ߘwD X{ !T165m -ʮfy ۏf`yTIq>ٷN 韣PHPTkX慩GOkw!s&{-zj> Y[6' 6Ckz3G2֜in'a*}ew*e"[V\ ;1G@֓I"5 _^f%9*> ՑW"[3uW5x~NCuwSI/=,Oʠ*[q;9LV K}6#(1=~F5;q稓ڶĥpY.*vcz_JS sgqynXiRfN;Jp͔UYnHuu.S 9|Fnc1'H#q#i {7K95fhrG#VR>I.qp9x6U@!>r:Z4mHO+E<10Hٴ#c*"4aPfblɔw& S>s<ڡ좣=>V? W!U0IP˜:]Ն1-Ы^KTa%Ub\Ckb*.E1tߧbn6ԿȔȆ x8йfwZjB"uFRG 6,Ãxi9~\͈ER?A9@SX?͕1PXO!ڎByU"&C>h|MGULD8iIٗXx[G0z;f/xB,p=^Yw3yy)M *Q!cBhP Q.nH&<3_B@>%Y闩:6G )J. dׂǢ5g% w\ h ?z^RaC8sr~~-a*HXl<{O "V1Ո)ìۄnƄ5oio6oc㈍Mk]{gMؾry9HP?=|Geʬէw x˜Zz G]MObp%{캪Px/@H4!nϨgp6fÂf-hb:y& mcBd^ =c5y!Xxp"腘}F448iO$Xu@0fĶQv/sx*5irه&'RT<|WIϔn A83K98kl15LB쀼c[eت[{bMQÁM=.A' nVJ,^ふYd8dtɓ\#2n kO~^K'}aM޿]5׭Ox9-I|0ⶡ+[}ScZCWwŋ5U8#'RQ?_I*4{r0r9j\ ƹgEg._C^9ՃŽi溴jкpW6 3L.6JϢʭ42%%hIbjoUl0֢ߤGN 'JffMev`"g35 o;DԤ #@[?(B8{+f?9 A9Qk!i!DSX7nsfUʛ~QrVFԡI|'aAC_w \8 lxXԍIc8cNQeꓗ)mf{kj[Jꊵ0eRWH2]>U;CUc ~iSdMSu{^ c(`Ub?7% zHL>N=Hu2ZZ2we'+߫(aB"7oMl]K}Xg}mXCm-TkcycSl0r4:YWļx^91"H:#RuP'S ]Ȩ e)QGr燃>zEs6[ A-JO/MF#7vޮeXx̳q;TW]ZY>Fot̰e5xZm)@NnNoXdil6k0)N]Ӆ4d57hhHrc-mN)hPfƯ{˝C~wՄ()>dѦ'j;{ehSA9@i/!.YK۠l2%/Jvvģs|ۀ|9g:פNhP9(QH!tnoredĀ9Ladk#M9N 횷%D$)Ws?gYz7^Ϭ^>}rϻi7Q/7wn d QM_W .!s5z= ~!jo zteĜy b-gS/>ulQp]Z.0):2 :j"e1;ګ?x1U;pl [JPK}#K}zZO-LhX cz LKjgnMRu"4#xb'3<\oM F5&zӚ\*+f^D.ܘNKfSmK\`F{6bDP בN?! X%Q3%&yGD+m;9~TPpD܂LA^j_Q(8Ħq ,7߃YYBdY5<]qX8U4&t/0m6@(~՜6 ՟`'YUN")Ϋ753 6a9GwT`-19{K(űZ&z4{74'JsQCYJq@w!՟5ll>H+qW=1>%k>V͢o#.vr. sB>>8ޝT,#t]Q] $G\VS Z$Q}@!J=7s>T$9B\a_LJ %WIyDpl2rž3J=qWzby~qk-͞iV=<=pEb#H T䟞[`9?]^" 0IE -g[ԯ-3f4ai} 0U(3d4{?i-ˮycwkO@YZ(' ЊTe!\/i.:xZƮ H~'k {dRTbur0Ӽz:z?_]t_|qk(9g +׉oZ*PyEcYkK'|ܫ^`n3I0n{8ȡ?˳ ȘC<_I]AV=r&#kY,øoSgLSҽ^,v^V[q%Q57S7Np-OA8e5۬@hErAz_tnk_ Im?GPr䅴fQc0e6(XT~~>O(蕕`_dhk:Y~m}'g;uOșNhx\=~_x7P 0P蘫ocq[3R[k=*\6j6~RN+_S4YD N1V_ <Σ5X AS/H>DhъD@ \a9hȵЩ\z v[^Jbޞn~s :#rgk ]vн$7ՒU;aG9T,1aݜ\%taq.l%A}OuX(5E'%b050l0h8 Q pD +YI{[*׮t#</ ڔQ45 |m v8d :lY4 qtٕuW2FZ쀳;P6;WW7}񜉦6dCo ɨ8Y,.2B5e{@V1|xqWZZy=*LͰn([;Mg*C׏/d1&/Ϫ]OXU}Nty >,RókRYId׹{rLѮG_qi„rC^w5ô6'XNA^ƞI9< Xڀ@Mخ,8w,:`@/z~lJ3rP7L+`|_";4׷N} Xxv3y, dFqd+~8}wU M78Fk_G:=1I|4`u2䑽DsHoxBۘ򣤉"h&΋>@MxM7YpNP"b =f+^T퉬h1CҰEjo[ƃ8n8]b):ɽeCs+hxbA 8@ >n[W LUg_C.891IIEa_>rsb۴xRCDJ9Mp]yXAʼnOK%C)`L&گrVhn@P-%T&6n#>.>ŗ]LU\I/'m.W'2}4_%h'!haIhyrup7yC 8 K>$$]mMMׂ:IE c[[z\\X13 [*rpxfA,jwS=!W(ZIDyai~}Hm!|GK n.\d㨳Ǒމ5b3:?)[à2.NWؠhBbWʛv".s}3cc?͵< Ͽٽ6/o.Es'V(,y0&cF\w~wS|K+8 0cA"y``BLQ,-];qdI35`ԘDO5Ɓw2ۘI/s~2mR!( TH:39EX;;x"2޲ԝgB;M{A^bw45>'l졊y))=f˻x~V USyheFF}$l]? !Iw E!z"rw$uu v4?څ)pp'27Xm.Xy@:#q%;h%БrȖw*^W;{zY-R~h I?z<<#MkzJrL>XmcgL#iSI.8a=+,tTC#⯓WӏAQhH.wmu&rHMȫ}g'g /T@2Y.?]Z{QCZ3at‹ >LzU4Y`oKRx3R=Ε2GD{'  ۞1GϷ1BlfU)rw?vd-,y1d^ kF6F<豌-bLc}FdRLOz7S76$]Š´TtfW\P.1|fI1Q5b7bnl]B8ɟ8 0C+>}mM&'zUh$7FeK:7)GϠ*ˣGݖS{śJ[\͙H!'n;a N_ $Ŵ ѮO:J==4>Gßw!`\vX""8ڱ@  :j2XCbG$fvIf{C>lg¦8 E7wwil֘,%V6dy-u>o͠{iB{n?i~';Իo ")=Noj7}pFVg-jE _|P6cx"[KJ8'E4L-ZUeC_Ic9h$ I%ހSWȢ!SF{4_8Ir" vMaaٌMK G2dBZ(OZCM_Ssܡ``2a4zxY>guH]BOٛo1],Q"Ϟ󈄾⇂xCKYɪ.=IqiC)XzX6 $참K?LM0i@kRQ1#y*b\Vm(Dž8ȱ ݔL˾a1σv;R\@I6?CR2NMe:hg`QKY@hS;ICX"v?T?l#}TPfۻfY9 `L jI'^A`zZ&mj-6zHC؊bK N% QWO{)MWo6#ůI/܆cK=DmYʼH%5G`eґ6jV@݉֕ )_+l#ӤY[ ]eUzk41eFj?]6-qٓ(f} .'@e,= l(TmYgnwqOb`s:vJ,! Z݂p=?Nܷ#ʌaDջPYnIeMg~6>sP`~z.U0]4JN@^7 8nc;%͖+#&{,#Vh#jrY3Mӡ ^<_4&3SQ\?Q|% ̩ѾQ+7:c?Ȇ577WJqWȳeV;k9Ga ۾GLK+ 6ɳ/ B =gUNM )LJ *Q*Gr?(W:qU k_wc]T V[7J*{rFQXYS# gW4mB eʎa+D94ɓB +e #7klKB%)n *sց&(<^VΪ\S2X/!·^iQZ)C]q prp fqPy){R(IVʎ5懦H(rlƐ U`''zpv ?C, [Ćh6wUƦ`y*qڟ]\T *C'b{ C:OHf:#LZ6g8.}_~ld{t5.rRIY#uHGHDj gВQԲ%83pKQ1 ͫ %ϣ B#d5/H'@{dD\=.hLnsCArK@N0Ț?fT͸ 87%З`n,@4i{ 7"7<͑0; _yqހagiZ:A$$q$NC,)<쏮MN\ QSYw|nI30tPOv6q)ԜIa?ǐ"_x-p@X/~$>'<Y olu1/?"L֭3b4Xp_>QΎ B;D"nİۃj!|`So"t)=<A;qU;2ݨ4ǬiX =>c̎j0Q(hY"6q |0eea=I6mn{3;GsbSf+sr`u'Dy6): q2.}&Cq+@|*TqD%bƉ<Թ6^5&m<D(yT6{d~VGKroO~Ղ{KX'`T`{ŪL(V3L_׎p$#וֹE(${6~ Wiຘ>vfr,;|^u© }tlBj{j&ʜ/*x #SaloqTʄ(mY\q/ ]LXB*VOc΀5LecSE|<†z?~m]=8N8[zUuFk>T+9 jSe|hXdr y9W`5(Қ:8Ho1Zl` ~ouz\Xfw)PZ : F[ͫ,/cV^GNT鰁zݟ C XÝ9^nUHzP;ޘ3cd {Od'$\6#2ȑ@˃{K*;oR_ 4Sv_ͻԌNU\(gk8 =zGgL=J;sCN R1JW b˂<@N.0P|"*o0-?kS!sb~5/ޣW *$Cv"gB5F9KK8}Ƈ$!&_Ec p(6^ܖl ^ e9JR|ۘO;xlw :y+S-g9sNS@m+U]Q&R2 34z(9!"vl㤑hi5m*1p5݂rɱ*W_P-2 KRFL-+g6D)]XW|/|OM%K*\@ܫ]&t^ΗrHV$*VshS,+9MùE s`qv,G/8;2i $\'?=<"Y 3#e{o-hwŝg9~ꨒ`a*\%m V%KRj(msjfc =m$!+]T },{Z$E nh_Ӿ:[L5tt+f/+CbsSS"5ǶS3嶌R$^,ܴDA$ v4ץ=sƿbͶvx'{kQ6!X)){bE%/Z?ƐA(GnΕ[4UZ%9q-Qlo;+O%Is7c\~H'boCbt]E|)7ct!3<ʛKI'Lqr~Ǿ=?t;)?4gXVv kG[d$j{Nhva=aMS_虄gGFEc&umIr% N.>&SI"A>"w$^ 6w4*3aw3!jc,@/:pQ.TGrOb[)ޅ r@ԜeD.#rP*[UjXpYٟ.?Ox p=s(g>$TBa\rH`̕HhoB)6I*Ե%)d& Mh GW!ѤC4f퐕(o8+htz (;T1؋FvCZ_vXݢoں6sNZa&is50NR0٤L;tpw^|2lv9fP$WcsϨT¾(t\m#& [/[UCٶtH'{JpWHpw=&z?-H[',_]o-5o}*/s"̥V+slM"'tUyt@=-]ђYh3aWHa9!.3ͺ}&:sXꟋ984_ja "RhIObè|;B%U G۰\R2r)z5oT%`97E/LWz:[I歰 SB5n{Ax=+9u꒧6RMeӝ_= crt8 fROflQrʨRÀ<:/C6̹ tn7\ȴ6: ,AE~WKs F<EҲ g`|0v\SY|o"HK Z,U r`8r/8Oy\ivgn~~3.ciɶu48ÈY\mH"lXu y&nݝ5\pt?hUrS GNjX>NС9r~vIfM49ɸ7i-Dwaʃ Ub~AAy ԳLzJֵӞ"KuMp9eCݖe7G0,e]0hjA [~0\C;+YNW[2,NLsx/7sli\XHl3T{ ;NnEnG֩ƫ0\y(i7,f햔H3zU͌ J@d6 < e$~/(co. pwMLr+hkK5^)`Hh*D)_ 6bpretJ@j# )reaWPo޽{/{fv5'n\b&w̼yc@hBxM*]UUV+y= -jGrm <]_Ԃe-5|%; &#@,i(j?1캌~_`F3 =OO}$XJNLTų7pNf Pgf*N9[ԣÉ0" P%A#pW?fǢ(U<m0lQmܕiz o(ͶeϦ;pMz.c\%(MGH%HzXMnB Y#s.8Bw6 HP"ߛ0>) ɮb߿TθrO LP+HցYhV~YG@8ĢR'4R6yǠkWO! [j!p).6H%ե pD0|&>kaEHCoe:qzs l (nK %CKD;W{mH ڳ.+[Fw큊Bʾ!&0 RB}f^xiI+@h 9EIKKB+2fڦrn526t hP10 o-V2ꉌAr'Aռx_)gNl`1f_BYfcf*BQK:H7Mˏ(2x07X4m8?XTg\co1c q&lcCb:=ƶ/i `FZES bғٛ%;t{'܀dDM ?p$YUh3q>V(઼F1JrC/"KufyJq LҰz sz$+jTQO0#41SƎ#[Fd1)z˗}cT4d"ˆ';o0XS5tn2Dzc[$q4.0D*;qJX>A5sGj|W\-6,Zm |#݌ yBvJ'7DkLRW+L\gsҘ&hy>4pTUONRJř]PYeg6^)3gWR@ʫ0~FA D$NEoMa<ƒ=^X#O#{WA:SѾSXҮoҖ΢G2V ) ޺k O[9bt.-YчnK 3EBpZaqvz.E9(017b=QmSq ߱|8:K3Eg?DٖѤq&_g&~6lLiZE4HDe cZՈ᫟6_YϡR&x-Mj}l>@ oi08 ZyZ ɝZ-,|I9p\ *5;6QXW?9FĊxnTBwr.F:ebLz?ڬM=uq"1Y`Ј׷0U":lxS;x^9BKǽ[cCwCCz+l}N)†"/~ۖ^ ]8"^9wt'ץ3H@ ES$ (wom32eq@7"?VLU}w A =AgKq>xӚ҇f`Vy]'Y?J7%a; u\нfD&tzR#M)B(f;u$}" /|@_|G3.L^G"}e[:.ǖrkOo`m+mzBZ||ҬJ{$8]/6/79;I-?dv؉#o:v(2 %gv@i7˺k["(QjTע]8y!.*ɲPeu;n [H[Ջ%ȄȂayjq`kA )"0ХCmc?dr}k?`h$f}!ڔ&Wh ɢr2i`FJ|§3s Ҽʃ W{P`]t*.+Iq~wۇc03 =f[$Z< 6puFh^̎=_5xD V- X .tʖ(X+RtVkWOWMC2ލC\,.}jr&"Pm1R\:#9$Ys0gcZQVp'AC`99q܌iJ>%Tw^7؝ ğU̽koE)$> K(gu3PaգTiˈ;+ =3rJ`0 u )YlmWyuTt !ߏX%`U592j2P]L/ml}(UmJ”ν%`0*nZDSk~ߪ[u?цj8룳,2cZ+^0=LA%:)Zuϫi41$/TtM :<⑒Ṫ7#ސdB:d_HkN"M(ckwP_F0'/T e3G*3ѰzJ߬}r#4|.CVK͍r et:=0>M"'P h b 孖x֯|k!طڣ9DM9DwWn[ R1mrIʱ.k1 yo'WiH 7(WH\WlJ#5RV#N,.٧L\hF ^k? UK{Y>ȤbZW=|D(iX/֝;)ՌXjR:E͔PfV0DU|*A}%"w|0PIO&kr/@hhJo!o3kd0e?-] Ij)c mK trw(~S|C}'΀:uw {qKn_/F2bfɡ"a*T"^\2Mu,eF9_bJ:$tq8/B8ti5 K)l?x3{ cYhI;Sv]& lMUqsUTh*zoZn*,G>q$J2;EM}qL#dcg*]!*WfJc:sj@GL?6S!ᙘLNv {; 1l>#^Ι >JX5yxN(h4*6AB)y ҚZ.x' - 4ĤR:+L]*)x"o%9Gv7#obo‡2q&I)wVY}f3p>~1Ⱥ VgXPa%fToSr68:k hYK ުCa2$2YÙB33z| į#*P}"]9+/3sGdi,Hz4AE+pRd&eLi$#_H;A *cl`&j"j)gys`@1o( 6T >`*&>*-8EҊzO徽B:׸dY+602* G9OQtޙ9lBv.wy=Gk5V(kȯRG_Ac 9"߳wiu r6Kpq{۫NWI PIZ "p̍DBSz .3W4"2[E>Ӭ:MvƐU6vna=HafO3vVL#D!GbyuM {TT4;9[u|Q+g.~U'M @=p^$m Ө D SKՀ"tSdzp։-]\֧t#m$!=&kIHHo.*)&fXvqӁO#B`Hbǐ8?ʺmzR1얈QNC.0vCE{)YyD9Io?a{ݤ*:a#-:[>~GHBP—~dnή~mk\ )cǙ6LnHGҢo<翦b^0@Btp eс@f{ފ?_82u05eٍA`sQs,عLy"Nݗ-jI;i2Ǧf(ͳ^ՊJ _̥zrqlnSNro"6FȫeIQOz/#db fO<|.}xl:.!v` .µ eE`AX?k2ka)Nް?}p,k@R=qĺUvYw&^I1if$*Lj")zbNca π_m(<(|m CYw#:8i*(hv'|F鎭V :gb.̳"l"eanw7Dmz :ؾlϬ,!iBm j/&%7zCQPi**cp5gOF'yC?Ibsf)}s Xpct;jd5Dc HR$o#KO'$dfqUa7q\Ya+{8)hqCB`)ˁ:Z ^ΧBcx>}S տb4i96|X [SD73fB#k#`/B #H`.2T*US_f语WV=ry #oa [&cs` _ 720Z,VV:TI5XzlŊZOoH eq&e@VPTԌiԻ-B-:krhn:{>Ts,XKuڦzs]r,o:CUQUmPlc͝ 'BUN?[W!&TۘU'z4=]WJWnǞ2t^ݺا X~x'r)th)uUф=xue|0LWEʻ;F5j~p{a\^pI*U>)o%9Cs SQsP )?0m(/@].ؽiIaq|):o>퐹&s\u,?ujs֥ugadr(P" @nԷW"-]`}2afTNT`8p%RyyADc!ִq({X(Yzbhh&،!^Rj X+oa{Ǣ;fMق)mUe3~Ms e{pGܘ0]q!C/L&f?ŐgZnݎ T ب60y= 脳8\:G'^ eZ=ޛH18mWP(o;+q󲺼 op[=x% q9kPY_1 m8^OFJݼ/P[B449j ζߝ;'v +ƑyxUrdp}7B)0#yEcZm1 oValŶZ3認$p C܃{B?xߪ· $(p*~̓EY*z9(QYi?+-|ؒT(dgx:Q .6 c?:]nwP9&>2&!#--kb_䣡4Uw CݧқKIPohll 6(7lRe8blט17VÍDՐO);kz[ %HJ)aލ^J]`Hw}K8zJ])Gvi* E)M{_Cɳ*I88Ϡ+ ˥.ܘ]--GMO+v={^7ׯ)N/6IgA$H"z_Bc sMf$,L$T4*eڶ!C=Mn ސ;ŦXzCe82ySq?|7 3\?ʐSԂo؜!:أ+G}f"*aoNm KuBt`viP-H{|ؕLhdDq Ԝq[d5Tj] Y+(!t1d ɺ(!,ߋ]vpߤ?Ҍi6l&g]3H;A.hvqp@a?<~Dwl}/y]l3{H;< xJq_^QxSbqsv<,+ht4 gstS%"C tf` &R/EM-8$ZМV9?(!2Ld ]f# @ 2R{͠UccbU0%nA䇤m];Ro/t}VyU$p(x(?oHś?إ&,8{@Vwꇰtxx@w E'pۀ EM!Oosߋ{H?V5$78-gH`Y:tCIyA*k@3Wfwg~6}u