SQLite format 3@  .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 }3l\ ]/ HOL-Data_Structures:threads=2elapsed=653.230cpu=968.852gc=33.040factor=1.487zXZִF! ]ŗXf1-q恈%kV^M[-U xNo[q;O^.%Go/пBW%y?y^x[aCr㞋yq/n<,qܲSth<"1tx<=6u)y@٪$tk/ns<8o|62<TiOŷ[4:Svj@GaJR@xN]I)U vO([ⷽ`m #ڮL-MNWxm#F PS]w67A29ǩM&: HX 3 HOL-Data_Structures  ܭZZ k*%bHLN/T~#cs2/jT67L\ &O LD9Sh(12MSqFNiiȆdW~wxo ڒLJg\-'bX飾M.+ 5}sR op^)&8]>zrn4SYEY yj-_ 5V_A<(PD6N=IE8mYLVw]㻇noFwG/ω_b﹗xP%xq%V(s&pELclv'WCUR]"!! CIN'rOL~QT682阸rhNmw29 #yN y't 0 _E7D9+vhȢf|W+ޅˡa2M);jU'w/DgfRƐHD11ͅE8%r@vegN/yH3=9#țF#i 5{?_E`hrϏ3k(njdiNʺAz鎿eM]Wېҗܡd내U+;u~(6c<6wi܁qPI!2bRuWc*]ScDe4R|~|{fOhꘐx-#d4R+a_hmȱccz+Y>&eFc꓊+w&x-ALJ-f@g/XP=-WJ& t}M 3t/vu=kzPmc%aWҜt8çg{P,^?h8|`ף8ex'OhgO=&w5bIXJX}z¸PCH Ȕ_Q?Q$l샓:7&[NP(m*v@j`.W(Ow\?hJszHٜ^`nDY'2Y1t_`%% XDYAg-B1m۸WKOyн̗EXE_.eFHs*:_+h^Sd2.溺 ;  zE|6 ӶcLʋ~ nQud$l] '$`֎:ar szC'lJV*gpc؈&%T#D‚Upip-ܥe3Opkl\[7bcўlsT-=W8w,xR,t`^>]q9*rJ!xGh&@VʲUJ.^ lxcIԹ91mUK᝚!.P,6QZ}hH\\K*@~U'.p:m^G%ɌR6`7*Y;XOqR0iB2':Y?;cɣ៮Nʸ) ˓5tIhwE1uOFpm(` 䵒ooI-^Z"󵂎]ur zOLvy95I|IQ3\Na"^vH6E]VUknlgHpr] Ȇeh͹MJfo >"k2yU; woIYZ;}75UaUs_ qd$/@t0 @өp@Za=ic݊]6 Avj ]Cߊ>R|8ڀU/-4vpqMWjuJ7-T:idk]y^!Jsڶ5ZORk4EKn:(f.zwCΜ'Z^G7[ub:A(X0njAM`U",KNJ4feimx!X:: %w%zpDB"H(Օj0%%}g~ ۻgl .6%Nu{lN{04oʴ#Jq%|ĨpS->4?uf=֊+,Ukn vGsB\ncb(覢a_p/UAXɴՠޙC={ղQZJ 84N[ҀpwFmoڇWbHG w~ga *,o6~U r߆wc.v;B6u6jGlaXj 8Qg1 ?&9< gub[7/"p%aQ)V~B% z`W~m.|!fQKT01 xW2ҷ@i,bwdk֋. meG+;~7t0z\b FVbP֋H () Z^ I:Ѯ(pWJ#>DU܋q/PTm& /W|) He[}V&)3@e afjx|cD{bA+ kPOSБv B` #SʜO>y3@7Qu(' "wjb'nxm.#Ãp8Su'rR64\>ӻgYZ7zXZִF! ]ŗXiɟ1]" Mԭ02NaD^/*7ѓ떻q##/BnD@cK'yqr_c) ly ;;=ޤ%_ %T?U3ؗ[:d# D:cad{ x+\k[Vꢩ9 DgoeLRm:VR͊5֕Zj1DԵű0ʏ#5±@隣KmB>V:рF$#s{SJN(C6/y oHʻg9]/(vegYZ7zXZִF! 8m]ŗXi%>ggrW~-gMg<,'U%#YI!:j6".݂g`ŽUo ʆGdW~] "rWgQjb.AhgtRxEe ]OZo}6ztؔ@,{=9j[ &B*0AXPҩFo _0HΗG]){Sy3VrL4E+#%,sͽ;~7W Lu\O r$)ag\L!og7+Ia+bX܎;'&;> S.Λ:rTS"8Ɔҷf݊\i8: DǶ=|ݐF ?[vL7=͊?-l!i @M5`m@ljJO c#J38K +C:9i5*ƂU[0"4͈M/rlGEu>:hK9ż[i`.8nv+A o诊zta\b7ʼnFX; f6E9H'Nf8zʪZ 2S^{-昝|nU src:'ei3WunmG=XR ,XP XW'cCip tcM@kr7.{R7N!ET;6 l)TͧP,7AWoJQ"kIpG-!%!5B̛zqYݺpe:f hr%[:Am et!W˫&/+*x`BdElAAJ1I婀y 2R=U<`^\azxZ%F|co]"(%sK'@,ш߇&3*I\!0(5>7%A|݉>|BH" =·~Ddgx(@FGx>VUFl* RQ^KL"#>fjC&ÙKޠraO-'P;i5;r#cU^|Zgv;F, C!8siBbreIvTs͊]M!ES)mME2 jWp9j۴^F ܶ#7A &3׹c3Rpp+<"".{Gm,'uB/.Ç|u(-5E,6Pk9,c񛓸?4X毓D62Vdj1%"Y/f W"ٍ)Ost9c P)^8W>6Om0>iۅb7¼۵NLZj,i-N%ϺzfLhRtL@C,İ:) EZ,s̮i>#"2BA6N!C{7d^YR}VK1!չײ[/5hI"BGȘf};j,) }h!)BW%DH)A86EhB)"6gu9m:2J۬O5iF4.t;*nRSfM)ÝZԝFa~'d-Tj}Z#1m' {!h9$s{nQAi ,6)BquTZW<˻Īx[:ӡ2JPLWg^ɶQ}W(é## ao<~v=8?09ݴ{BOS ]!6uf=mYd!HG8Lf"jNQ-A:;iIa,Rf0]*$0|p76``r1[, v6flVj-&u RtHF 4!Ok ޶"1HMÑV5TRʿ87`0jyP,Bk5p(e.jSVqiN^$@j2T[łzlma' tl#Lv⌑3&Ԝ97.(ga!ug(B?@ХaGaKr=>'r 7n$#.f= K\4S 14s1qڰ(zfbs͙ɼK[|xTzTZHH xօ{o sP>peeSw H&&!Q!ӵz%Znv#DlToQQc*ߒQm 3ڠ@9H+JPwab,,a|R{A45ys_[*L>thlš׃(slFp {lKib !vq|bŒl{Qhl`~onK 墭>\b\"?"7YKݿ)b)A5v=G)J<6ύZ{unK2BpK[.]L>_Q]/3j 7T8`G"];y)H._t4߄5DY-k&DPHl߰ik1܄>o2"I{I #yWam3B81f+M4~Ū_⻎ Q/#*K9u'C@zDSyzuK+=+p4Aެn]*~LF; +PLcpBrMG잆 Mq6S&j%b?e\,q[Jb(m\{Ā`ٶpF w,n8t1Η%yraz]_I@G/澜!3TK (q.a !Lεu 䟰o( Wcڂa$I /|\5u@+6V C\zrĺôҟOPNZ, iX+ 9&]GA=q_$B; x\{I}*GG։EF9 ÙX$-( 1Xޛ('dRdE(ƮM44u\olHF}<Ճ[EnYUv`&gP@RC~9C-Iwyn8?փ=k8p򝚥98+_ ?ܹ`g.MHգ|G_4l{{}ζ+Jc%YQ/VaM3?k==zA'qf~`+v8*{TU3xsNJx ZUk#S:Sbq(Z kkݔ4eOM8K?mt xѩw|.Rg2bq샕Sh 6{x@ Gd`hjxXAvK5$'Ү|9F(ջ ZƨVZa?<,sQ@2 Bѵ3B$пP C%I':poHdy7QkMKo-$v+K =׀5yצ. w9vT70kBֹNC mefs^9=HÚD`3)\'d;JRä9BFzmڷ)W&}!es'N3O_^;xaTl~&x+bZ5tv Dvr4θ.ZsF,j Λ 6W6v&ʩ }QG^,5dy%`!#춒ͣrI6O,]PhH\=/!,9o^$Mڄџ%\69~ͣb[nd3#I'_r@V=%m`w! 3xY#oy9[Un[6 R~^JőPi*B[E|>kB*xBoilU97DqC Z)U+?nIVd3iJ=m YnA8x>=jV&ujxw8Hnf#SΪZbՓ^]?6Vqg쎔a|Y.1P=$*G m?UnZfT]9(}rQZwk,.fwd7Ҍخ{\mjT$n}2ɴT]{R.zHlC7-B]i:~˂>_g=У l{)ߣY TIu^ vEX?EJW:5wyv{-j:tC?]ܸiM&SaIŎ7l:MZJdrb"7G~H-zd8Y]M<ŔK}@u:OVOTۧQ Azϒ50 M~nTFSƠ$Aju+”BbXP9]n$Îb;Do!abQ"%pF`@=dWw2w9\#$g.=f­&`lIl @7V`_ˑ9] hlŋb'IqUBAD4CG.O;}')-jNl6yBj:;7 ɤ=.cj9E~ (_x))ڧWRpr]P/l-z%#;IzZ]J}= HF(~xa; q}f'REiQ8lԶT<8IRZwHooDh5g2D6WlPPB'eM8;2ݔa iɩ69O(by,__s׵!v(9?:K\Abkୖ[xH˼]Vr[g`ѲqG^q^yY?v] (]bFjqaƨ Tfk(.KD̚3 GDAGНx\㰜V鿬ii *Jbg30A]b~ Ƅ;ʅ[bIͽ%"ܿ;rL7p`?UMSnEV=x5Q8f6syY߷oi*S <$ rpҷ<3%x>'Lu~)51aB)+]OXK-.$ow >[і l[D_y1h3I -O0Bzr 7zg  .DO2 ӛ{_K k) ҹgz2f2ɤOqxqLj݌k*&0R,9a lWOkWẒVucqdJ 8]i7=]2LSXeN-@ j6sAD_;;٘ ٣aױNH(:.!B Z'j±v%YWoxmgW{,\>\Ըⴣ4b}kʚ>h~^L/W2m0wvVEQ_jrI`D 0ZF&ZG(6ğkO;4&f!J{q +<eCd<_5L#jsE!sw)5>K< %=I*IZӓJœ =ao.mjo#W\!Ytog婭war-NLƏ ViOa!V@w,-W[->l' m8up)g^;"#ArW"Sőo5=b%CvS see,2íU^ qh ,=0^?Zd&2zUT:4gJT]Aaf3G*t0HJ|f9fKf8ҞYSۺ"t l_ljQ SB^pSq`۶~ZA"Jm*^P])5lynDK4c.3 EmJ7bW|Dgݒ!kFfb~^P:gQ s^, f\/SPzuM/M0d͡4q*QE-M TmZ^2՘\5uz=I8Ԕ+I1VF ŧ& EEXnMJM>Q#%᫥G9t-EcZҀW* Rg%kv'ۆ5"k`xΊ!ԡ w' h>TCJD'vmNj([Q! 6!`C{ ~suw#@fi}>x\<{U~h^9'jGE)[σ!k+_yy:3gfh)u"rl,~0X^ |~׫ ѥ}( yvaT>瑉]׮PX"f!>}*%%X^ݟE+j]/%ػ@- OBkS'ÁIsV 8>Θ#L7$t*vgN-gAhBۑ>_FS"ͥR6֠+d rtk/A۳T/\HLŒZ@*Gbn huxF!x-Z$ V+"[ԻfU'#;⴮ZUJ@u9ytU-OΟ#C[z-.waVuO gŪrL/%&i%|am/awzq]?ZȮ|oii kbz} ]ulIXft']'$WyH ! Y("h eg aqq}ì!K(-Է%Vȑ#JPY/ >^*n1'uIכ<ٟ ׬|#f4L x%xܤ ~8j=vjp +/sJ @j{E=$)SRg9eJ4/GK= V _Pg~fy9S_y}leLr箑xq ͜C J*Ƹ̤4rL B*V6'CʢTdزkaB/xm1rn% 8q! G6/9zdޛrHhu"` Ñj nfxYPWE״}NDf1:@ 8gjB`7a1 d]-oTIJcxỶ;=|z5U P N J=iʬFOG ddԜřyU$[mzDS'Oԓϓy`q"ơRHlq&2qK^={YU+Kl6+HeDɂ 6Kٮj^-;Q Qo}x$w = jbDF8xװih6~лo l}eOj X[@qU\dO{?ZCM nY璼^12:8. 4.$V朸PE\tZg0p&rlU  *hmP_|GޱkQYߊBuq#8SUQm~u1MWh_Ji3\kiMvu34"e7qiQ W7[ŭ$4π;_?ȾWVVI4҇>Ϲ}Q= QL"L?sr1A=8>3 u/6=N<.ě0_!6D$?7uE҈I]O7)-&_O7;&w b $FV<,|u**/tGlEYnd<<,Հ(:[[~4;o|4ɁӬ>ɘΦ68|ULɁ3cLQZ") A<9:g'TNW1jxeO.K Kh^3 zZ#NĸSg%pR:L'WD Andm`a̳LN C)rfC%m<+#Bc>+r!孓Sck!hIt?p7ZIJDr1GQ(i j%"y}qZAS8/RgBYwSr+l1^qhěڛ7!"AW%] 7ΘV7. aw${DZϝ޺pT֗U,==ث# 11LS.^jqv]Q1U͔:/s"5CcoFD%t!ǵa |ׯ{_f?ɬ6|'0 q){0'#~ VqSK3!9!@Jҏkɷ ߉T9d]oO0M P1~ Cւ# S~b~9 45QgޞrtZW+BFܸoX?5Sam־⓽ݫ!tUR`ly uW2ȑsq/۔@b;,4@]*}rQ!>YaO{\{b~6 f\-|)*lb;o_$ئvhVccg=x-q~~ZԨ^p `@"˲!mO +m .ISKߊ.hdy( Q5_oӚœa?΂gb)͡~YvK|a̤|O~Jэ >IjFց{Y9w lI NÊB~Y ˜X-r th/ G/AA~}X/U$NJ}PaQ}Oy ȱlVMşmCC D!#6܉E'G4G*Hw(3*64'>4}ĄdQ>}J}jodP) g9TwL5CK^h5؆'ajբRVZdݚOyP:!y v7сԬ97oK&h5 oi~bB="^`$'JmIH0VDK.07MXt4C 둄)YdA+<Ku5U)֊#`G!NצӴzb`T![Z !/k#c͜MV9O\"S":F? 7'L>r]ص -STk٘]Sl]v.Ӂ7Em.P҄f y~ g$6Xp>P8>*Y5q Jݩcpqhma_}vƦ.`R`71ZLaҶ_gqL:SSfN|OF2@yFP".e;8쬃HLl{{MPFs{6-_9aLL?Y15B}'< lKL"w.k[y $,ϯ9mmrR]0ܗj&onaHz9X[ GMg?z Y"~TZ! 4F+]wypG YԞrYo4?r-7Zken3Rj|GyϵV'/ҶD R-fPem CoK &&BtNch`~}ֹ5$ ʋ몥ajqbLݺuTe<;Q?S\I \&et6 rk8qŇʛѠwH܍MX MwqT^)SV?1K >*#LeI1UN0FK M.Q{g v"Bj*+՞n5`;p+(&V~/ReaGv=0R3QW헽s>~c:$y1 g3Mtj*CAx /EADaNlN5FSd=!yN3A/''5ք"&KzNOAK:A++w19# t'Ah]@9 QӪ-B[8ȹ ;1un]B|`VT=]řSAk_R<4^|h.Е$OpGS Db.ܹ sOi/qcASv>\g~K* s`"Heӗk1&#|J}6a-*6јo.ݐX. ScUYhI훺`C}yOYMftd~nL#Z})dqh /G+_y;AԫD}mW&[l׏>&5VQiryz$ _?> tT.mIP?o 4:22weZclȎ|y0,1~_&>nk?LiVbA._u 0;ͪV,92ܳ/{ڱ\%:%\*”j^ЋC뢧 yb sWC_35;x"Fҡx2Frg) <R^fLjO$͛=ݱO~+D{qlz@kQ js=G])S{;fV}a9 =bK; PY%։r &$b#2Vfu41iɿ &mTm".dqģ5 5bsQZ!5Jnp% 2vZRsfDȻ'6וS "{UG9XVBV2{&ϗGWؾlJ3XHkq?e/r>"CE DF=`$EK91{Xk qQlqKU{13#d\8z81H0[+ §nb'B~o7מ* bˢQGk@j9,r:qz&t|FIx=8;ISwWΦ+_ XD;EoMKR7R:GF!@%RIݙK]DcW*8TwċPƵ\W;^׷䖵;rv`-)xs2N2 IicQߥچeiv>X7 .u'G4q'wxl>{fCZ zO07G8 WcNB9Wc^ulr3F-rM)CZ&^r5v)2BTeB-7HnEQ~i>݀'9s_x{Ivp e(]4 ښU/'O0k(_`ʓdgF?a^U&!*&s-yC?3h'j@0 \D2݅=vy~W w c2NNW-LI"jGl'9qiUI^kzdC L_hv&5. դ.eLަ%/q~?սK=Be:.l޹ !w: 2CxAKucS- l#+Sm@\l$a?Tp}to΃tvzum`[osW1qEæQ>g8vS))G`X+ CNacUsGNt@+fBՃRgX rA[!+0\r 0*OB`1-b:jH9f bR'%)TBjA_',2 tl /,3I[0:,oE$G+aөKeZ@Up ~}#\o@z%&c֞5/78SgK.+Yi3%x ݽG78`3W'ʯJϚr^*XvdѐVPS F-[@Y&ϜN(y|&;.Lf{?<<6.j5ڒq?udJP2_9OJ%1"]ft [{Ʃoj 1,^b9T Hk[zP$Jגxk\j@\HE;mVu * aXcp3üޅ*9qc9k 2|FKCumγ`p5gid6jg}bFC哅]Q܉*Y~-s̩{)rJPQeY 1ȣfj|]_K>-@@co:KiDf~~U;ѼG՗_J) zZtfNjZ{}MA0'-J .rߏa4D`4qGuS+ N!c\Ot? Ϛ#@i# _t!!8{kYF'H]MIEI= 0~VhE]DF/6'pDV\- UG!wŝ']3CZx ,;U>+zـhy Ϗ8[2vrCGwrNgڭW\s'1cR9B֛ )|9 _U*(Se0bE(lmf -G]?W&.P 3*"CuoۓWȴ]FnfE -:_Q"\z\aڢD]'rXBxG`Xj{Kkqx Z7bqgW4J4*EzLÒeVPOA6R'cTnm x 󏖰-x yA2<>R5ZP+a^m2mdy' 卽x]tI1hXj_(حL0^=@oEJZG8*OݷܫaXM]޿O8VOZb-9$JVXUʽ/'=oum[݆_7B|kф} %c}l0ul#y*,Z66;T]QM7!p?(0,3Spۏ#7SlGWOyj$h(g}teD9OM8Gc%y3~h0/ :,$Zw_d؟TԵǀ iom؉N`UەE rիPU WM^ d??zFr{l1X̦_"%4lKlt+6wϦqu ۟3;{~0@Q]偣J`!OVΧ\ Əհ,<qBNN$m/S寞r2Fx̊hQB`,*xUH i/>t \C⓽ * U&}gYU) %=t_Bx`ub?(}tƆeAC-/R n=17a+(%LXJ aStH_^/LBpNJ"@5y 9C}@3cąU4qɚe/~ܵcT6KfMfmJ,/q&8jf`e $Iky`8 c|'@wjG"xʚ ^K\D't~eZ%WLS+;yd}M?}RG>-*9`lj-Pebե2v9\ѷ*d/~B_J!Tpxg9aoPt1 *_;$yMbjpEaAxݾVpWk ˢvӖ3k+(0x?Ǫ-:i-퍈"!lA5l:)]YCkG0=^|Pz'=hb[Fn"?zi50[Mi;`DGxE\c\PQ,ezjL7$UpT)͓jd4B?ܮ(vVҪ{#n˂K&,ꝠL=B"6.eyUcAdnl|㵚Hy(;(ǎmp %QPY<5qF|zSRzT"Rx~fӀL*oJ-N G`ѧLJo@8D^;RW[lBSw x4!m 3?8|ԕKv{̿68 )Dt9$a#jIF *@CT ׭qI pt63b;NR3S`UHgE6@j*h =lAscf!cފX@B.kRWR/988Œ4Aw*o"n5dlXg]>#GTnhg1N`خÝ*\*7 tzUiugF2 ei!bK5Q:@xɤm#Vʪ {S;3Eԧ Va(sԳfVÒav5JBs'P]º0[ 9En&M >fZ ]h+Ŏ ]<ʲ-A'a305nN{R8_!ȯQE8Fh"k_oπUZՃL@YdQ:ڦ=3FTg,?]f>*HF*Uwoy)Yβ)05dH\-vq)M#Dnn[oh,&]%\vRl_,Zsų -ZeN0fUgXkMW"HU߻녩Gl;ߖ?}ZGpCۄM[.nMLIF968cTDIV!0fqKlKk4j]V|vy K9sd!p #'#nj gTs\Ɋ TMx|oM[U2`M9z)L[QRT'zX+=%y[Z > \ztoBca@1мL7^mV84-^P45 ܆|o2"}pi3j!z*t'Qq!vI wsMLB.PkrLܑ Y#u\GN.^ލQ(L`sK }Ѕǵj^u`!W<2weqǻj`ݴœ>F8dd}s& UJ6k?_e'\{#v[TN7Փwd@vtQ>kaIN}QHYfV9(c A1gYlaTm/q*FNMtIBb1tGdO"9[@3t=nl!\񅂥Yg>(% vB$m V\ %Urm=y094sp#oR(S4>4h1R6Z&I"`]#'M.c@r<&nP!qNj&Z@(z &CD" /~$U{[=NCX>PEQY_hN ^f QMPbSܣ}R8'c@8E.l\.zuaL^^#k: D(^e7^}g EQ/GH~ԎWЛbjB!^GV7ea[V٣՝ Daz;5.w@qEXG\NL4Fle1p⁹2-_x  "KW^c jc%M# Hl>nJ;& fi(z68;8]􄡧,ƌa/?i\vJUr0=RRƲ  6No]l75rL EM5r^@;M@ux嵉%Yy݄ܪ1׶^B|kRոBkC .^fѰys`-v~S\nN֥8 nkguG[!ޝ░7L/&`A|H%{q}[pnS ϓO[-VN?8 'L U}gE0I`fΩT뮤.41{eW>c'+3/:|f |jpjC!жL7gg۹8@Ҭ,qO՞x\}c8+ |:%Haޡ,F,VQp/pV1zDZB `ׇ|BB?h/* EiNChYkY (d,(!om.q;X]>S{wo|Iձ!ULI:)=5l{^:?)j]Ma5XBq)b?[K/ݖ"dr0nK:6!xѝXS ,=Xs[7wr ;OG>oˇ=s@U Nl(J_c}+ik4F^d%*d;u]dU[Q:2B5&$BR-Vɥ-qLa,^5S߱Drjg9"do(8bp^ WOz*)>Y$od+SeEܿ'mXwK==>|>U0tP%>I/Dɓ$Pe4x? A*daU>-tQɂ@$ lcz VPkJ]*o,B&!"i>;#Н$Om6"{i8 ߔv?c lAOۊX(AdT~>#  |TܪOl7AQ95$E</vB2e쩐}QYxG%ƴA;Ue?dz5к+~wRӶl0?M;$F#3:Ξ#.T<݁VT(dP6d3̨^[c׉M#Rmp,4LAF?} VD~s towKCR>[ڸUq@:26<#ZLlu"gdž'/ѝN4åQ|tOaVyo ƍW`d6p c D$#gH\2:+$ǃv eDM8\: ivrO@,)Lmkȿ_6 qsñ⊦9  X^J ;U/XflUio Wc/̫HU}/c$ߤ?T "vb0fNm_,lw|nOYJBtЯJt@8=ϥONX*"۸N x>%eJCv׶9/w4/2€[Mw.$/ Q,u٘!R%<=m^z5č1Yb FOA:ъ+C=Q|tY ;'?ԨzĎrkQTR&Zjuk\Q ܚԄ}:k׀,OUL砻tQ!\Vꢸ)_jЈW^zb5_ZnX$e2bZ hDSR]uӴ@Zʶ#+U2Dv r8=3ضIƇ/F {-F,Da %hHò]]U^hOUKxH2_6ڏ4D44Qup{m@pJOl,c". h- ?Mr 22BK [pCm-q 2>,b0w^Tz;*hndOTr:kxX^iLxeIͩw/ yib2q H>M(^мA 4% (`aC< 7_ whp|o5iz.08X7RNznwA2dyW-0x' DtyD@ZʫHhONY\P+YOg`V(!X鎾J')G)گ8@Jf=R]QgZx|N={ةjCnzw&.IS/Iuє=g8HyLLE,G ӥP)VBߓ`[G*>.;clf7J9iY[ϰI Iq?)I7 ۧBm^l:8>^?]V緁+^k֡ Փ>&6 0`9 dmGouG&l7ho]SX(Ba8^:m2KL%ei40%<@[ƶ?տ ֿ46!R#O9]DPr(DۚOc05*RE4 0`)sr-98N ˁC46 {c3Q]6zf݌6 )J(Bm豹_em DU`?lzd !5rqtx/h ߥ`fs%$ă%Iw>|,6͠NF%2ɢ}T[/zMy~iMT*]h0R "`TQ T Ifj>/5{+bx7+nU(C0fY4^ٵ/'x/ DD]F!=bC4I^iQ&OΈv}h QNy^}])2{[b8UOۈ =$[FAXOr3 .?N|x\Um21IM'|N-^"{wВ_F yFI9Ѝë3f|+Ȍv/И52 {l@szr¿)mQ6Rf8WT+S5l^\V,-g-2DG,r.i(Ң\w}>y0 ަjRV@'W;2`NDٖgDXbo Z1xwi`!kqtl/qjN|dr8>ǟZ2zee1 <}]a!_-cd֎DW@t"W9Zovv~l ƅ>lEr?(j~M΋UL[5o /k#/`Ps2&87 z:8