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   D)l| ]S]Incompleteness:threads=4elapsed=528.213cpu=1265.772gc=10.068factor=2.407zXZִF! ᆆ -]ŗXf[&x20],_Lxr?6`_a!ԍWd!h0a|(>@\8D 39 oD>T2πAmXW8=bIXůIXgpm|dKE4jC N9BBz4n $+KB./9^3UШPfx7/Ycoc2jiȍs_ܺL*-Ns&0w1Kɒ/93GVi$%]fI@`ws|x0ْu3Z@0Sr7eSG 9TB!ȵ!Y++a~?:-TĜ'%xQcG]Sj>=,LNؒ}f"bK&EG_% ?jS?leHT,g5{6aM* [6JCvvIJWL ЄYj-NXsYIn/ѦwA6|jnU J] =7x}χ6Sikkt7lժJ.ށRy8nڳ>qS2xʨ}+Dy\0γ9,FTg~mE6/\SɾwgXQr|y^DbͫD>r6xp `M-̡b1|!.>=!X?gZz+##z}gKROOu P2$e=ifb>a%-Ȳ{SiBn)+ƹ9"K~D,7s썒bز~OôgA5@MP,=de\tR7WDRS*nq\Di*"%U|HYEudrw>_=\OŜmXi*Յb:,_]lAhPWQfdqVuDX:8 b]]A:àvzZʗ%|z /GOq@͐l}i*F-BSMweofv.3\/_=dxfĕOK*T˓#~wSkZLX|öJZY[nY+:x)2eQd 3 uL i)SFa_[ihV拨cY6|۳RŜ boӏuO#^׿ױĖWlͮ8X_7 ZysL&f*IXh g_5RzRv {Ї_2Vy 5#ΝA,5֒Y /G%Y"$EypYzړQ@րdc=ٍn(c nWPAދ#=A TˏVLHmNj%dbeHҍ @3q邞ըeF+SEFԱvx,_ֵB>6-dըN oJ؟xIJVmQ3;Ԫh29_:I16lT;z!qFDL,&|nXj^6)9.T6H+ڟrqʨ92\}] w[c\zts:όkcxpŹy JxUڪs"N+̭&q hG2.e`固MX=+Mݟf3 6"?1@ zy%RԿ9'ΰ(8u|;yy/x B!R҃R{}ٚHc/"<>*÷(32mZH]YoZ?^FQ!tkw;U!K{3=d?" MTp\_N8Dqh`ײ+Ff5BNz[ ) Incompleteness   |יnքqisJRV"03n`܈}s*j8X=c O l>Q"qt ##c/=kPdP/^1tGR*Q,- [Z8pLuG^Wp4ŧwpxɴ[w-'@=_T- %.؊8}7oybSt%obMvZYjhkGtQfbkX, $j-<8OTf#h3jwV%]8xI*HK%`{:"9)PsRKJj_P䱴AE IiK8Eik-WDqQEHVy0nlj'BK dT`jsCŕƗSWE'kO^K1ϵIO҆Y ]36]~*&=Q {_ boJOaQ0Mj\)U6YpX_g0<09,)iMK鲨M$ 2u6'Swl|ؑ, N7aMroHSH _gĽz-lk^3_l(u!=^M1R"(G"н遾'o?cM×]mK[Z|C3)}wa [n?90 g4 ^d8Fw]l7SzV5x Iw8r:2A88~r ƒV/q!pJBT1լjsq7Oގ)geLc\6Hx5c4N 4fu{hzmD8BRF>30nOSo2H|ɭ}M+MHäNpwQ])&j+A6> j*2Zzh֤[::ڑ5eꬕ+SXB<Gg>Ї]Yv8c >4BK8a]85qҗ|Mn(٣,<&b<h1J{ۙ`46x與B#tƼ-wVQ| ^P Uׂ(@U/|D.^NG]PB3tQ hs0 Ϋ֗ݑ3Mf&1aIfmoլ˩}PwvMXLJg\\|QM$CC^(3D?Eh3sw]})J.ہLP"((;6M4bC/uO{ڞPM}3az@x;oP6f#D|37܌"Dzoj%/է}i!u|r0p_Wx.W 6=Q=;*԰=coCh4;BF3{?ĤݖVy z6z)dBמ4zڴ g_1Mp+YS$v~ JLL\h|5GQpJ[-q531yc6EBP6+H/Ɍ}ehkVz gRI[# #7bxWSda\!O8 b߁7a"]Li$>p0G\b .3hCe\)hV#/Ŀ/;63/d;{崤겨>r='|jmBUԮfkb*Z]ؔP,ٳBtgǀ ҼdIEWQd-!n3hhTz@ɇ670Y1 K8wS׫du)`x!XCTLq"h=t*LFStbcW+G愤gٙzc얾/_xȇ5V.˯˫|=XHoV쫲EFǿ='g2kR β+n1nK9 3f*2HDr.u!8⦚L9Ip6niƀisua_`UI68zqB>͑L$O>(mb^14nD]n]`6)cF+mB M9;fa> N5kMTiX Ii#lʵВ]\z>XtL!eڲ\IKS}3˒=nP8P Io)Cgz cS>4~*6b]˚QqSwp&"-aO ]o Fa12- mPs٨lp.8Hi8q(EjBP:巰~N֧ /A%]6aryl?6H$OyN&c)m71*h:@X.!ɃX!,0]xw[ WG< AD;s/8nOv7ۨNCZ?!TV Z#t֏#Ϙr`R#P6%KyWksRPQa*9>GѷKr`;Fr~i 7 HjyBaQ OhpKDL_'$K=Yh%p5YQ+ɮ{? 6N"G*_>TV'~"^Z\Dn` *-FJ=ťzE;'reQ]7c >|c$O΂H).!p ~oY4e0/LŅnH_ܘA yѻ GIՐ ϘcLFL +brqNr b'YHNc|–*t^iA2]*S*E:%:WJ/*$&cvy0! :|L:N]LX!#܈U|cP~$c$;q~ 5TcWtpCn*M1J,/r*f W|O +&1at0͛X 'X>6re]+i\\(qr|KlU%II_EOktl2;縖 b a/%A;my05COD.s R,% ŒM6">Α in %\_^p1XG}q.z4<ʴ]%@n`j7{]j?Įyw \z1nB5$S]LQrSK7gM4)t[\M_ڃZߟ۫DZlh<ƙxiT﫜F9_æR-AθDd,<Jzסae$45w4Iqw>9k G k(3ͪn$ x03tqɜU'X[*DlqEpxgFr vQ:ܠQ5@T~Y'Ѐf kWFiOm$}oOO͢;!B=F+oH'X刁M/O3n>^ cOz`v$ǬP ʏz*\Gi:Wmvw =҇/<й]ߺ~ŘaO³DXsiRmw$Oj6O}Ik&+X<\j8N M|=~-~ =y3MRǃ.%)Db O8ر%7SO"LJw .<mG/| RT(dD8iBc %6nv@Hs_j_x8nw"PHx=sIX|R!Ze[up6*O4g `A!cyL @,%/l{r̪4׎5_RYmN]㶾!54hd9`snymՈuv"cN=.qxm-2N=P_.{(ÒD* %ӝgcxذvhIzKY"`d[;vX݅$.Ь_Й;_sz~a|/ /9 hMNkx$+G4y4\Ư(x+v/]!l#ַXԩ~]gbxsEn8 Q\\{6)("9̂"m/a=$$- ZЉje\@?bxbgYZ7zXZִF!  ]ŗXiɟ頏ā˙مPn /C$3@;ܛ,3㐸Xa@NF!xHw Wi_b·>vK>*v1뱸Lހx΁;3e=" @69z+4 :f~h+jTKFWcÿD|xx")O)Y}= liC[  &gYZ7zXZִF! ]ŗXi%B"E'E-;7lhg8}'?~!8굌L}Tv'mtwX]8? Bl)!hC_Źk5 Cl8WC!Su(9(u: Ax 11 @6i}^ȗbyS=g3 ms۫f(^:Ҋ[J5`j9D㻷&Up?@&kmU.b0 ㉭@"${5B8c0,air?aM5ː^wƼ <ɣ35i1 k'3!!.G A?$(c5_\ZZxXJYX1e͞3< ɵJ9Vy˭;~YkP!mNl_os~#Y>>UӚTN>ʻk$:XK*t%j:IGx駴#[D;E)6#:ڟ9/#X|$&ymc %?=NKС bK  'D' z6AA >9(JR̃I3&ġWLb|k15$Doߺ+o("e x{ $ }8砠A0-؆ٸNu%de&ԡ׏WS#esHt$@Upכ`[#X"T;i+8ų]mPQt7Y&h5P))H6aܿ;=  O<i^uRHa?~!*|1п9v {="MK Wg"rfc@2q5pvD-o8 Ҧ7MO|xe2.)g!U2v^d@-ijߵ r¼B=&Eu׳Qg?~{S+\m CC8w4?&1ɲvdegaU'(wQNDv(1’GpESMaSy-$K'P<N ּnӈ2(^EFS4dzq2h`X'tYY6LA[XXrb՜*&7荕N~$ UgV6BgC7IZt]b(ߔDp}0$ŘjE5|KDM=d_50-t _ޞ;/Qrn{C‘VpGP7gә܁"<s#9vFPmU^d. 53jYX? 8_ oѥadXl5ed j9r?OXZ'&@;(+@娫Z8v*c>PGsetIwXo,C*\)>fF ,ed$J2vQ")(*QRiN6Ǚ`,4+eonm$0}qK L=SGussu^etJ231ƘWXbS_0v&_q3_IYR21+PwmY:Kcv+H]RzGUo["$Q)\+^f~D%=~v%Cl]ˊ>l`yKap^6ȥ/HsֽրqOQ,ľ('M >(wM"]9D[:G`;|1©YISC#MrN=* Ep֤k[& Ws$W?Ԡr N0Qg'.¬ ub`>usF&AiKjx)c*:+E,?AgT*!hA#:}7#xH@6Сɠ(HO EGJ2W &'U6%\+dt`tܷ+WKؠ3 =QZO`v'(F"CbQ~m$~eD: ?\a˩OxdXF 0n$ij{P^:Ϊ;SLH\CzpsQV5bڴTkH&3ġq~_Rar۶"K{NzCvDt0pÉIzq3Np˖ozbC*9Q3UYuzxg$aj^4^BCHx)W78h֜y6ԂF%W봝`uf m9Ke'G"WsMc3s 󔌰s?N/ bj2DðO\hnOyGe:q0mۉG@ɹ\wA_n.%!x^1o~3O zCm \"i.@&dP$0Xa6z5~ œOw{cu `@Y y_ED`,|ﷄ,\nEkA`^(?(`9w-m7QQx"hDF:k\ ҹYigd1L9z L`Xxp@rQ>7n);sƚAJ (%.FdB)3l J)t@/mrᛨggsOBve$ և?Mҭ<4IڽH?ys&Ib|5aj ziҊF)o*!uܔնo[B8n!N\0 il+Э0nb1ǃCxdݢrdymr oa`qi3/qP/S({EЏ>Ԉ SWu3o@% Y.U7C= ugz2*Wus{4-]>h1-KzB&L[>GݑQ D"25 {̵ wL0mW|DF"0^"V;3}b A+@LU-]E(չw>oH!%ɺo4ƠHʗL}ъ/cLdPYtaP!ҫP:Kp*|`Tl V_֧oIh&ȁPA$"B5GKKB|;MdD;i,@d:?7{r!rS*c<<[6T L:zwQd*[l>oCJ[۪jT >Pk8}~b4~.w!4ZE) OݓWkP/]g.6tm2SZ׻NΐEІɵGsWgGYfcYQmIEg姵ae {bZQ}TU艨pa|$'F$E>G;{2Q79=܂ހ+6}oq6ʩቼ+DL R *2bV|ykvXpN<(wb/d"Dkg)85d`nf:zGo>=ءӲr $Q;fSp!(1vZgV_,7]pޕC>A%,*3 7tc4p'NB˾d*Pm5)@W[C{YW'Æ*АozOIkaH5HDI&lw6.ON}&܆ڏ;o69\꼟MW}+1ʌ_H5hj)1(·u xjʀkƖGdǵj2N#CvmHL4 LRgb|˩ddp)̟L9Y[j:$!8z s ̬t=..t nG{RE]z)~D$`%$5~҂48OgZq!9cJ;Gd/s&︻x׽Dƶ C9ʪ^/bYA \ Me_-%ttb Nݳv)1%0\]jSY6_ZҹZ D;zg(BXꕯL}J|zCZhl?b4D3cv z:R`myp42o~ȭWt-D9ҢLAS5kW$›fĺ#g%իA&W 4Ėˆl{"wZ>gœa)f]f$liq۞~YQhlE䶚Kas~X(7-9Ic @ɁHtFTigA~Q!}&|^cR$)",qgHө Ɉ;)cOpCO 2\l"A@!2O Yo&WslAMϠ6e(^ #/!6N'bߢ$\L&G;u Vq| Mi;N EE6Γ2Zw7XÝz, }/tHx2=Z SO2r&tYjy_4A|kDސ}(]R.UzKŅPBĮjd9*z䈟`n6~Ntːw g'-PL%+.Ő0rEg UEGp <ㆿv DPP!do7ADnF>7JX,ͧb7f0X@?&;sȋܮËr!kֿY[DO`5tI]nvTt1]}|rC ml_7ŝc։wʦ3piby=vwwm{!qn/e4'kFnїh9N)vk %jl$XT!iWt9| iA.XB箙r]fbTطG7F`px›Ɠe]|:ui7ӝ)jf /w&?m!p).tF6?kzT R ]`~P{虫T[1 ,+qnr+Gq#,zgu5ޘhɤ'ŭ]{ҿ5o_YMעBQv\VJj^[% lUe/n ϙ{PL/>e/udE'"$5|CM0{OM"))ԣH SNQ4a<✒I!ZU`,DhnrKì00"&y]˱v0@A}1_2$ fVdkm#bD%_gQ nJe_D j2Y0MsS=݌Qm㢝ԑy$G;<~ 9SfIkYϊ+?8 d]rU!e7~%aɜB)5ɊBԢa1׷83ޑrTܲۀG/xx%#|HNU_J,aY7O|9 ڎL` 퀄:'ih9[-{Lڦk|V/AEtb~0onbC[3xn֪>+49 oFTN88>'W eQ4GAP33X x_*뾆Oeycx;l,BmXXg&4]*{uΪ_ SpQ1i<906~)';Ԟ+FWӻ'V,I\W)˦THa%2݄d Ao NBTD r3ň7f gXBXuo on{E^pW( q yTkݮ[h)gJz6bc{h+^ (4)(~&'dɿvLi~S*`Th 9e4?X$C _ӹVeDc>?d0kmypdNPBOvTua vKjꋃT'z(fLxEOз2V'Pnǫ`[7 ] ?ck1kʞAl6/yt#aj$^Tm㊳ںwa nRV*$` WIzeb"Hc6X#-(JڗjH eJ˄є=׌3Tfq=NC%@&Q9~=n0rܷP]ߧtL+5Xrf37HS8-^UWM__ RcG=L%fhprDN5pw)}E}NqOR镳68tl:Kašh wyeT Mi0?y=r@eh&QE ޚm#aXӭ` v'7mJJN`0j4vgio n T/Y(e/w?5fR'cmWe:zҫ8{ݍ.x12D 4 Y~0V1̘]| gX 6W` ^t&k~M_*px_. Atۉa ԮZvte$$9p'yfvr`f+ 1[tVt'iU-cw\ IZ spDBGQBh&@ᅵWuKih]^1cd=dI{p>k`KlO}cӥPm'ȇչ\W`<ˍ!d.}@t VRV@hHCkWH ZJ7t5^n#2zR.)챑fCCpE?d&om}RZ$⏔f ew-ͧA=Ps";ٿ?DMF3NYNi#ؐt".Ú|p6IgZ 7?pJkÜw1\keu'Xf%q>HvQW4CKtt<Eesi2=yUX:[\# 2;0[Zp ~ר$^X*ՠ _Z Xbo Q* MaM.'Ay9kR _”а(ك @mӍe)19}2>f:&k.erM)XGP"> kY<%[2y o[4Qa,PzAK=\㱣\{ɐaE,g9ߤ'T^L!dD}"“9j!QFw/0\FR a0P*ɮ 87)E_7W}5`ZHxP声#$RVV*ݤ?8v)2JWeA5'> t& ~؍)dG4_yjEvH-o=hyCt]}T mLd8H`=]@+t `ԺI9 t?9u4R8M>o=@͑qِ{4 }qʱ=16XNNvp&Fp\ t_Rrwa_Un 8U.q '=Pɿ}:ѐmqkG,5/ oHKX/d@5ng;ھa xn{)]M[ZchrCu`9@qI;g2H;, i& P_hQ鬔9+-"X `*v0[`Ve7fBgaQQ χVCxܒh5s-Q$FI.Wl^31LEP%NvGL1|w-g `hhݓqOS7ecnvP]S)hm"  gܚУ*V}D$9F%5< j9n8<-G=:އ$w`C>*qry5RSXB:&8_X]|gwcw]F S.I^Fl7!IЀQjk4:GTzVNDjazxA09 )aؙCc͎AB/wv EsÆZNG+Dž{\: o?ӥb+ Oh-E'= *p5L 0(  Ef;CM/y{iL'EzvwyV<$Iȿ7%U㗂6/tI}*0dAzcMQؑ^-9 b8 {"Dx{eZq CX֥kA.e7pnLXxkCrQW$SLe$)`R@G6y,#sRz'c^}^{쀊Ѱqj6>h&ܶ-`T Gw2B~eG" e CJ)%1Qu^ rYE(?೩jVـKk3E5-Z7;DX"lվţIyw9Vͣ;k_{r6Mߨ."8PfiT,*zN7Tʋb[bjqP=߱ο2YU-i9؃\!vJI"Giv$|c"?"*j,V}V֦0XgazZ􊋑Kp@۰;~rf&.׿[(@)JIӑV/1;:WTzC S)*Ka#'_)?]7b.ꯙ¤W*F}iHImh!Ni o L1͚M[3//ӧ8}rQ.f :++oC%̀C,!A{Ƭ9"@' ^PUB>ٯx;C:J~E|阦E \rmcj޶Z< U"6%rBUrd6wm82*c07f Lx`fU'֟TXo/yWdCX,_ \fMsX)[=ؓU@4g|f*qѹ,#ԹL MY12ac pn3<|(k;AnX ⅙zz%4FY=X(a$'}-˨ߎߝ; &ᯩ="9B-RH]5ǚjCKD}'A-{:w9C+.b]ЈWūsq&NrEwMYLn,}ZG X iaۘM`F%u#+;Hʟ~0Ղd=rI/RC?(q_EA<6n$٘/eT4qFhx=\R֙?RӼPȻʎGe8^ uUl3\Gz:>DHob{ #@UQugXq!HHdTx6)^jy8]TN{SHS5E}y 1SA!s&)`i] y/ ¿T̲ "<̬# c"+CdFlOwgy8-XZfZv_v=} Eu3?iv5Sb+Ia(ttͻc| gC ~ w}ªV2;#| \S1dC?$qgh?FR5dZi5A}.D݇$[$ɏ`I x(v Bc対(IVj Igi;A(f?rB-[9cEBհ'†RYJW> a}HM%\. E|TU155ئ->Jp'")cnG" f`-bѴdJK1K%fu:Nqp#M9@w woHiK3g4q~~)b7p;"ܳZ! knzgUTO7y繌۟wL_-8^iJ^q`4~[P«U$_4, RsMF̧Քh(l=k"28B20( *eE bAҁൈSj6ӊ١67=H1G̘tZ樅-Gϩ4DŻyk (Tcl㯛7Vt>;j $?,ҿ;" c/.C^,;whJ~n;e5E^?Z4gK^apU U|AH :]q>ۙ jQ~X@[Ps4KzEtj] o}qL:FH|g#" 6>|7,ծ%_.pf?Lf6 bcc ߥA ?Ҿظ`܄ E7 MRqf}n j SC߻dNΏWϴ{w=Cͪv>u9)Gu,7SY=gSPz/1{+BX-5;IV\=9V1oTDNpSĺ|bKL<IMV.&:X#s78loX;XTkt$eҰ?Wt#CY}fequ̓Ac%xAd '~fpiF0?["]&7_$ .] oeYxfHxxxz<o bj%Oy eKO:+ײ E!=gMt5_ J yxj+8}Q{:0u+gQ"1׍``qٍ\ +9}B5<8rUٺU*M$i5G꩘lF$DJ!o[3Hii.L;7yD.,h-4} }m}s@tk޺7i=}| o ldy3K0xszw !qjA,I@0)N,R[53'bpZ(SR@VBƯjGJi.?g fl X 6|#16MۊvD e[EA6?34ʏ6$+ K %+mmXb؅̭ȢD1)XbL(k] D/tz8[T "B5ftRIk[҈9.QT5l9ˤ8x\LӐR˞ݑCKsW8V_{Hs.sIg~35?W-cO| '}i$2CX;WFdjkHZ(E)iK&O,y]dʎ,Q Pba_/G 5^s2gE=qy!kZ6O;f^_2z{HT8k!p4۵ԨX!Pv**U<P[t2K=:%yk' ɏ tmqMm u Y s0ʟ9Wz eN}PQy]M~{q"-~ڥZKSOI5'Mcab(3{>}!Bp o*jbN:̿T 4O}eDM>2#J_5(5R]Nqc3 sYuk0B]?+VsoxBYQo.1hUCj tQ7a'y%)q(CW/k!@̺zҸIA|ƶ#\4^Ao @oc}E䀬H(.\_Sk~Mj7Qu̷̸Bz&Z15isլz:X #wAX2cxQf,]zyw6M4&ǩ*0h9D)v!`;@+d~yU$㲹iPKe䉏$ 4>`yDhahtS/W(@2fLVji67%GЇ7K_6ωԂcIӍ+fW,$Y qz¹6|9OrtƃVED~.+BPp2Y7)C͓ 6H,Y \GCw? a^7OlUA)`Nkv>:~BĕB_'i+u%+֗Xwx !SJq͙@GJ((-{X= "dU *DEZ,[vid1>[hI[k tm1()1k"k.E/97crjNB[WMpy1t63 ˙-MQ2TLï"K~@(\ڱko'3 @ C( )p,h7'~^Llȇ7J<=8ue`#//[.ZI[ "v/sNlHy;SȻ·&p\~~Eqg$+oBCucr A. nՈF 6!f6op@p;oN-[LJ~y_|;bSw29ޚFG A"3EE-'{ Qd-^BTԊ gAyHCxW$+Pa4?2#t .r^$݊=\ w^ׇ,Ꮺp\FC)#Π[ݨM!UĿq ULN5O 1t3/LPUYaH"J@↵ǚ#Dٛn1L[1Sf"!oIyT?B0J"}4=8dS<c]rPnT#Luze]#?J`?e?^piE4wH{`|\$~{UYCT!hYL ʱ1T"{׏1jP`l?VƥԦ1 x Π»^PеErp s½)XV=t EX62S 19JJi7Y(,=Oڎ:>G(7 $h׶Bl  X pEلzH\6g"')ĕpBfW/sYey*!Egv_;T; 3+s%JG "9MI^z{e3th:kDyѬntN9_ΠBa3"^DRrZ&w9$TWB9/W`kAxZ,TsTlM'4WK4Ps wܽhYGC+i ;6gmjՋ]%pj!=!!ofKLNB]4=}P<}:aZ_͂ NMí%m4Ս+ /_cLYɢdٝв5[Li)8/qYc^tezCVT,Ν&,ћLv He-[(,48\Jx RVϔywrkv+ƦHC ʞ.>Ӫ-*!kڽ]hΨvVlv=X~)?/'mf *ف$29|].2G:Eߊwo(7^uǰ9Yq<>=FpH8,rJ>lz7in '\*LͭM>̭>~%*x=}#JӔIvZ Dzbm<9ϯwARD*kͷ$KZʄZ>fqs|N6.ST%8UFD2p.hYvΥZ]޺_:m( Z) Md/-LÌO/#5_fxO/H뗅C l8jggJԌUCWYyBiU8G]!I;I9V8沷׿w6Q/9?_]H"B*ڏV7jξqyh=71+zP'ֹ_}ޘ.Pl뾾ʴb J]<[ !ʙtp|&K.,V/uQQSUO^!ޡ 8U8ec InG^U馕u Ws+}6_ 2Yf[LVCn-D4Lq9$jB#}hEuV76)=c2W\2˶]> d%eK9po!Oaun(ָ[|h᰿kCG_Y3'5B6?=E+z駼0_g[0]M0Uj2*!wϜ)/ ,|-}wFr0DžA)tx<<5J%C}Ss@xi}Eċxo}a?Y7sX3C=bM(zy~Կ17}Ƴ5{ x:7|j3!T)wpnoY H)\k;{B["k:3tLh`PY/UieMí<`>#C 6O`4_5YG:+|,T6oR4}ӻE WdE*"Mwix)k(ɟs5zvK?$@ʴCrt4urKA&]·B6Kff,-x[,E[kZQ2Xwv8MA}r(o|nrA. Y4"a]Dw&#n!mt3u+gAa9;@,K%"ϥhO<7vʐgcJٶi\i0W!o_I\zih7A4~y/cl (p\c%47VИ ;K\g0S4~gU|h_TZr f oGkԛiJ>572i>@$F9=9h9ʽ:޲ W&k&TJ5_G"Ca ]]q<1)fN>" 7*tȢݣD-P5_En#n+cR(_חK[=> wTܵx΂B7TLtv ےKTgDw'ko`ڂ?xE\ vaW A]y~G^ukHAЎbOW ?tNx1Vv~Ǻa}FP~ 9Kg`-%^oO9^ON 6QKl#=P$t' ^AGq D!4+a('Z]@F:dmkgqk|/pd%FP \/hKZuB >'n`Cƨ ' ;Z!yg`:PN8E1\;Tל <<PQ@Aҡ;_e V@g˗(+3ڝVg0RcN'588Ƥ|ꄏU²&G;`3eCwd_GS \;Xy;xeaV~dW™4m(+V^CVβZp_NuaSlۿÛ| tӧ'N6攙n9g_;OH~񯄔*dU:f:>y~-yӣB}.HҘGe } Ӊ@[Y70$qزL^Iw)ǐ|ߣx$BVcw\۶t7EH^Fs'_5Z ,>V2x+fNjvS-YuX=fϪi /ݠZBÜFkVh8o{&iGMi ` #R>iެV/ޏe-$1&cѹnm?+Xi~YTۤ1peU'wߤ)u]G(Pg 1A;p^V$Ay',?~渵9$Fԍ=EY/mJhWȮHpoI{){9Aq_l;iy<ըTӛay>UkHP0<-9{K8a9[* 32Q;xMA_4y=h`Hx- ߣT7]2kJ BjG=?hDbOKB+(K/\<:Qkt5ҭ警1 $҄),ZD?e^|߼&Z0n bdheŤra!+t0𩼗ikӒ:II|wsX$uɚK­0<-m0p%čŔ'/3NR[lΟQq(aJHvSȶ^[䬩 /*ڦ_E$}2RΟv`v"QJE~+6i3>EٛN͛v{Zn>S,FR$q݂u6S>Zt2o O zʒ8 mTuʉ-na3o C'(YC@V, <DdUE Pp[[@Nϼ;W\@zpq!nIJr\(-ό){#e>껅sgv^|nk% gy^Nb|7#%M|V,uHtQk +d_rCڅKwO+eXN^I4PJM6 Of!?u=1)jdex BɈQM2QV=3J07C*|~gdl27e?LaPzܻʍWlnt4S9y\,Vr/JM1Ըw .?BhZ߾l* ;#wURh>[ӸbNii(ZQ\PV[V||ڍ13sݳƙɉkn ' +Ô>e\qTVc\+;WY[:~g'\Nzo&݇++1C>9[W1bɥwr$l0Ұ ruгG‚*5 !/;!H)gVXQХa@r+_q I ]vɴ72q]fr70C;Ɓ,tm6Mk~ VP!Q - `d÷LwcOl̦<zpUX%LOV Q¤gׄy{#i+a-AdL)t?/J@@Bl7TAt7$^x;qi*Pv-DJ]Lײ=|7| ?@j{v- zFֻF}Jf=/$S5A]0קFIY Ԡ͓0#LKL(W#,ǃ|IM4WLg6W[zfUSL [+oKk$ߪO:XVqiϑu+~[AWeJt~hVoIk5o5޾1;*o8y1&yEѦbj F~**jI$/!8*kS! q _bTk i"SbsqF0xo)څ3u;*EILϫӾL"69~Qid| H+ J.@1o6p.fE[l>"\lCo1Ħ4 xl-~:ih+쟌Zep0 9xLR8eYCljh:,pd/RQa|kF4W+̑CeķR ;m styTݙc0yY]^8=* Fmyv/ula*)iFw[@^t|!b fA2 4)c;;읱?#Ȧ`7ᙻT>l ^jy2kOбwwq9atB[e0kq O=*#$3EQqV|ϻ>@R!Rk M@JQ۳@.U@L,1_8vNlgi^>@Og? s;O"_Uoo9]ԝ?Av5,fo-`}Qo;¼vV ]=8#= DOIQU]e׫zK_Aƌ'[\vRw7kӎ,u+"3 k8_kUnQ`ʦ}Յ#W 8,*ge[7F5eC<*?>.jINU !ANvSQ%e<v*z{ erW-'6-x9;*ζW/s]2>V l0{iՊ,C:6%oIn!$g(cJ2m9ęNI||V%ҒH:Ǚl}P_.[Qzm+7m2YQA<ψݵjW"@ 3J Wc?DiIE;!er5\\x(Tɧd2 a./ }_04*GƩ K>1Z2c}H PA6:C 0'L??b%-K릋}i f֝ 77aNdž9\‡ o#$ϱЏbA3~\d͖Pk"l0N cdxM +t;#.X~x_yTӫz8*䆧HQq 6 JjB8H{P0`٢ڝ8,>=ެMc tf?.`luwVGK' jٲ A7v*W0rNaOq3gVm/2o}oS5$8 ISμ}Bرvů퍦.3=rZ<&˞niXp8Pz('2x-*GW#2$egs(]QrbXQ2z,F{L>IIQ( 73TȰ2vKe.Jв:~'2SOr%=[5(DcEdnj5gvU1o{_S Rh20Ǒ:yaPMV}-c).!?f |,uV'*N3-Hy?/2"qk̬.wk԰ nT--t|@5m=*ёArKA(ȀQ0EF3FO% )A-?1Sk4[`v?s(7l ` n+oU=kbnÙ8hXYVPwi 8Zi\>'p-Tqc6: zGXB !cWKB:Zr^7jrb.bS<9J =wKA#Dwuݿ}mʋj4<:l0~NAc@E@* ʄ(%%BOyHq=5<ͻE #onT!ʦ k?f_~!3pɹi3 e'9IX%XNXou`Mi>sLu~Tߙ\'CY~Y*MyJ5uGʾ\˦WEPL=e*6(JĄ{}Hܜ@#仙qv)/Vcİ6(}"V/&E qP(hevHMoN0efRS ]k*P/92&)^.(vUF`SCGвSΆ}Y?B5 ά]mUF+vxYHKA2|=يT_] jRXc뺼 ZGl} G&܆]F,T蠇"^ HxZc)bl]lX/)F4Q '׍fōprv ZOzlE *JQaJҍ$4 z|O1nbUOf5軇*nShcd=H0R ǞγjЌn+N jf E;T:X)cnSG!&,řZ|qO%)d 5ꤛ~4'vpd6oR!C/Zi@A}7!Ƙgd0AV.Zʴ=yɈw!tC5Kx7s}=J8Ujl?`}`B}byfSe{.álOaeS Y?S/JrUjz]&2o,3T@1pR_P)0}!+:X ~7/4\ia6 0,`S"xO9e2˳UYl GI?/R84̧Ċ4Q6_)^"JGL#(+mLjòu/V*ES+' ̥E8mЏ]t\`'BtkҽFxn팵Au{A,;47S[5e4PjEa1N_«uW:>vQ\Ty9<{AV^Uiyk.OsFh0%5LT̬_ReY z@sFG GPDqoEDTޠ-1 oTb=E6GKlil;Y#ۑCsp?Ii'&Vвn\v2Kj&U%kIg!ZlHƐ Dl:,GF/CБ:c$']03(pg! UywbP:pE6c| )e<20fjx9їۘVinEouEz]m&z11ѡޮB?Ϲ.R+(m~MB~ 8w`jV*}AY_6 $@ !g=EJs'g;&C`=>s]p]<#֟)qK&Ī UA\ .{ :Aдd,f:9"eqQ;9#RanR egGӭt(//z)+*3olb޵ÖUP9:xzS`i*2 MF;/d!NT"t?4eí k| _(L8u?'pҟm* G*wGf?PڮzaI=אQ89+R8e)#/u\FO[!ԗ.]F4 )dfHo[TiP-O X%Ѩ,`Cvpx՗Y$Yq}qɋe4 Gp _$zSDu3|("A7஧ݢW i-'dL9Is-~ѳR!}j{WZ;>5Q@mq(:҃8gx}u_w+/Eo;Qו8ZTg+It9,}w){/0l:n0}b/Ni[{vVmv{ubŻLo"_Ơ!6oxmzi=7%E]7JY8z8P)Mhֵ6_bSpUJI qҧW<0;{Ñ(b/[L'YB(ŧ)92j8ÌJCu \5#'wQ]$ȶj=2ހpC&qLT/w"TIf&:;|M 2- ,FM5a9(EYOYIT&ԀuZ81iٰ:.'-'VJcJ{dݓTg) Ȃ֭QfPǜ3vjkiPߵʦY3rP$tږ$-ޗ۱N9 훷C!4Aji"k,j2قgUDx+/x|U;}nhjDE+P'Nz^)2D}Bυz"x `< (7S:^,s'b6|Æ"PXmӘh{=B3rY+A|D?ajH8G,dx12]{^kBd? cҩQ/'N -ׯ)X.cx[[H^Eݪx\q3K~ci\G; V$g3MЂZPǻVz]2zBT SKQKL1l`fpF[79;$y Bd#s hPN1I`=PS _75M) N 5@c2BeVl՘I3l]pljm@ d8ש@z6`=/%RX찋2:?3c͊GWVq?5`z={d|FTrY<4Ԧ{q+M'B&Kή) }ӦyO/3?%@__RU)_#ˌ⧚ ^k SC^n.ЅϿ=ءdgdRZ5eòV\b^ LT*B-)T,o@"ώ5u6<_}Qi2M_ #1ـ%\\IfYsLVDiz=Y qb6&8fz hRXv1'\`4Ac( d|Ư] &H]Byt KdlԱ;vuJPc]&5odKzoKg.G'( /l򏘗{{f8#28Oz?o}3$uHΤ<~,.r~@E;4INskᖰ+eaD5{*Fb8Lӏ'˺3Nr2gX#^@˃FSBS2lYRaKրL*ҫԢ4$I͹6n _4rĭORpq\WzCauT"vUecd?%A=9BZxH3C= N|<`_MЄYcFlZZMlZ-[\tܡ){[ yUG@w~B8FDQ3`8=Nt T*jgMlӂEM_: @[O\=>tw\2>q\:VxX./z۷[=FJYbf`1pGd'"$hG܀ Kܪ&<=|?UCL=;#J5o݌# 2~w}yYһ>˷Wp2!YjN Z tO?Ro!zv!&sUGHz"`V1W%ɱM{|#V$f!2ull &_}@#)1f.ˊ!QQ ae_4/3#iIe߻{=Ƣ]RgξID{D[0oYC,Cww@w=` TI "|y) Ӕɇbb2f;٬hwrJ(V.!!aG*.VFz3kxU8Gkt+$/ڠNac9wU LG*U递\fDWXHXoy