SQLite format 3@ .;  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  x$t ]I Gabow_SCC:threads=4elapsed=121.688cpu=307.600gc=7.7767zXZִF! âI]ŗXiɟH)0%oR^`jpTng z 3u/gfDhd5} ,GC?<%-b2{H)d]f?0&'+|wI II[= ݍ鷞;M.yt1aG VQcR\g%HOg q5Y"C 6^651V   Gabow_SCC  9uIeWk6mW2K鯾>*z)n<,M_kWp*}"e&ŗf ׷?jV ^wTxo`2x+"+#\l.r՜WCH{$4*.LaM3d1JP@m-? n8B ~YiFbr'"FQu' bVnS pp/D4.̺co'r2lT=΋qWnsh"pZ s*?K֘ٛr/S p'܂o[tVvOg*>3[hkA$1*0Am&=xu!#,"ί wecni s]٬1˪m'=(~{TYs~bPc .<8ߏT6^y]'e\F7uC`mGqvusLAB"S^.g|h28W3{ wՁt}~/e@ Ա':47BȉbVç`ut=&%?8V@f78g[^VzJ!]v]C^R))gmo{4&*(Ny~L$r9`-O/'̨iW3.}# !dTTu썁- A4e0W4Rc\Y OdJ'ݚի|+(bW0: S}/$/17iCpvAT76i6Iҏ-.?u 9"o@r!h%/oA* !fYmO"e6&c Ċ¯6'?M{r5>.;Xq+`_(Ǿk{1>U@NmR.Ie(+w>mޚ6]]lor6ϊjЮ\U{1ݣf!jL(k\޽.vKɥd`6ZW1$ss?,Qsqy r<63]2]҄=H- ێy4tߥ |'ϳH?R_AY.IPYye(2r.+z@b6½5/nvKOISt\D:dxcNc"B\kO\iDt 35Yɋ{7VWAS1}>LSqn3wbliyLc2lrpEMӒ>263w8{Fp.2. MՏO5,w|,Ձۼr slm"8*?lyoIiX Ԗx( ~,ހllLbB;VbfGgoE1m<]?1"p{h ĺ>Ĩ7]Y;AMjr$Y~ 7=E&w$y%xo~g%/;eEqX*ܜFPHڽ2:-MeXW讻鰀.D{.`Zlp{;O|J3Go脝>DEdp`" ̗ʕ95l$oz}Ͻ*/kPw_ȅc qd8PJv &fzDm N@rz rl8|RBVI0O"~,H ?Pwy?VR{CeXڰ1,8(CP$0"TW}뛣%Lv 3,! SkF>0yvG"3Gv\z>nɪ{]C}a`W张kL!WL'ǼU.;Bm. W', a!{NdLՁg?P 2S*%zH;L&FH?XX9@|˟hB%AI2/ËmьrN˗ 2b?*"`*SOe+)Ksgw,ڹ>ɩYv{_RXϓ _;!)a9'(O 1N,Qt`!r)qLj'e몧8NLCt~vI-l[(xПmiX ,gGӍ oJ/DG}.;53Usߏ+X [ie+PA06^aN,*lWiM..7^ΤGݑ{Oƪ~KDJ<+ !!}ķtQrѶf鹎x|ΒxكQ x/k=1z0ZrΌFYMz\6u#1DxrYUZ8lu +9)v{pzջ4\G俌x}1yHwh[tm#5s+I)jiMƷc0J?&1(Ɠ½ĝ% mO?mrqS9,>zg!nJ1jڒ0qe^].Аօ|e/9ԉ#"?MʨGÜDg7TvgtM{p9:@BhV/zbA ܱJLbh!pqa;G5 a8ku8ӄw⣹ *`X#cKuPBz;( 3u.&@{ţMnQE- WrOb+Vo3}+PcG^4zѰSWthb[B**6ӛ SDDÉSԇn|U "ceLҔ15axͷ<.HmVN}sC_e9UuSe>h<붿qV_~D(&>("[,5 'XL?Lt]bR.k2yGS4~40R2s0GJciԩuZ`v[5~dmMv3{a4Ƴt߿qO73 6;nEEex=YQ$rU \C'tO` -+ r 8-if_+m""c/קՖ(]՘2t+m$ͷ xM v[̸O~RpRy4B_iUC[N##:u\Q7w?); TM ΘqP "yɡ㵙?VsD& =z]V;i#fJ?ͩS'Z,7h_b_2ߟ$!;c`CēV^^76_^ y59Av8;wD7a 08_-ޤWedx^r~}uI{>ӈkg᲏\WP\mǎi8u" PgI5' .edK$sP /&rއ:N}%x?@/KQ)ึ۞[ xGep<S$hޜ U5⻘zћ l2<6:G^|P=&AI UG8 )|y2l1%"Nf%P1f{E\B"6'@.{oo>蚠VP1^D91(›WHq {ޞ7EoƋM\[{).<<`2[`Xg"v YI#֍)&E෷-OSj! "9CP i mR!jwzVD~0[z[ҏjE4X?.x)cު YH@cydxaJ25q( \.j*7ث{vmJ5<. mH3LN&$TjdAc^E#.is7g5 (;S(6X;rr!Js0M-1*&F v!^NVncLoC=ߐ_1H۽9U 2 Ei99sX)H+7yAb]Y>tb `R=, rxm p9?^8Oo}eaC&Οó/<_F3#l |TTjP_tRWAa._ ,5 RGrP*fT&zxG qKg^1VbGY9cN.SNR= jAq.ܙQ;x "'LfJ2uqֲ'qC8geVʡMaӶLlPҠ0y8fS6VWTةnκ,<o++_~ Lq%W+"f#tܽT:>s RoQ<)SF9j.t;;V>yJ5p *d8{i2kJlT?V:OHԤ2ݤ@24{ޘ|́{?KKS2·2pa)^._ 5Иvr{jF#|7qvc@ # zK7|-!fF̄va #(H?=̫[-CU1%nWWؗP0 &uB"S*&ICH-M$Hks/?q01#SF< x}ԋMϹ3866ɘsCH_IjNϒ.!K7.߂'MH,t/q(-;x9?f[x-S~7i;A]&Vì~-pONg2.>w7̏*E-1[']aO`V⎼}jU''xhhjHԋp0,M,'J_${Le)>n)2!b>T[,uyu=-3 Tjxb !0q #`BIB"13_"FNl3^&P@%I"7~_}~w4dGuR) fKLlj~w߇`ڿD`[{ OEhFx[c~ :>MPJl&WM~N3pߖ>ؙF\/.4oz#Co_B؅ɱTix>rR⇗ZrM(h"Sa",;wnݩw`1zZ)Y)c/r(B`/yIƂqDd݅ 3?"2T9CDH9VX1C)da.V?à3݅?{VFV~pNEIrK fFM`rܽ8W)+si` 7YI7";Bp++yKמf7 ux@2*韆f>(!: o+`s'%%/#An3YIմ!΀S}u[b?ƺ{]1SAVFK!f ߏB/M95,@ Odrp89ģ!#Ri|WndslpH Ëh18t U]!5ήKJJyZFHi5J=p~wXmUްVwEZŮkx?1Myr~ e/Ise8R3-e(>MT0 H7QRs ]"9>6v57o?3( LXcA_gDN- yZ0%:kkr1"SW|f׋z:T6Ҏ,f9ZS,-L(L1HYfm]V,d AWt9~' xT\odZk-e0Dn/v \T5tEx*?g =ļj[my9pӽsT(9+BLT!s]7%@R]! pIaz-i K~n:~5p :6t]6i /ڡ0$uki#\ep>?E5v~"lv6K0;&݌/2!EP-PrF>i}3z>3^-%n,:O0.ȝ}!Z=X s6M|oVA$Aĕ~ yZruɣs&K.OfM9 _y UQnGCK<#i ZAY;O"KάcKCnJ!uDs^/ŕ_1rҭN4cx*mH.UEN>9L{m7K?L"lЫD!fEp3aY/[O)iQzҐ-X> }o( 9$aw6.9;pEPoαxB+83qh(ؑV( T5Lᦝ/ablnT_ "Js#5x~uנaQ%%w'%/!u^sW缜Y)D+3`y3gG$6e6_C'ZE#o0[ZCn!BRWYgc瞤( k^~-wi㲥FO2fQ:o]w7`cf,@y˒c]P/Ic@' $P}r@}wN\"VZ5mr e)KC<.a(tlh)<_Muc5Gf0Qo %+9].`GHd$a`dZbqj4_bc,7"O2>Aw!]ʃi!ZƇǦuἫ ] I ~Xgnkl 9 "'9fZy"^Cm]ϲ-xfe e7D[V^*—z\Z=:z3 5adR%IMHL%~ؑpcO`Ӂy;+f^,#7={),›l3T4>n^t 2.)oFUA&[꘱Ul?_黭e/02 3;I7vOٜwK֢sTg>QQv5-^|-x,_(GT/X+&noH^@| mJit D[l~I6׈ t{6{52vS,!viA>"eG$wz}~'x?t]/BPGK*{! E}]}x*vS*?dUYT3ApXI#2 a<)Zb2߰*hqv ڥ,RF:9ta}|WA0UwP K&Ei *53 /ܙ;)`QB"FhO *F9VLi5@7蓉k/6SQ`NQ$dS}LF"u/p%O ݍ[H dPbŜ}@)>yTlMkpc(yT;c+-#@clEoԠ:LH`v }az^q;$' xwK;%7?=z&iνᰞeTc\>wihj:X+SHMMIsjf^u+V r} } Ǯ$&"6df Ǵĭ-`Ki^8ĩ_ދת^(~\,>69s ]hy{F;ZDyR"%s:z*.4&ȿޘ\C<=M'; aT.rYo| LSr' smYxB@ tfF >VCz3r]q-@9xX%4'qH hJbg>ۑ] "R)k" <^+J_ D/ ;]T ~e4ϊ*^l ;E%[x` M[b6iҠi@TEyB( K?e`ugR"RBԻWШ/:ӏlV޵̫$A{Gޡ|wjx(4&k ġ[qScI kEvB$N[$nVh+Gt/<t`|'!߃L_?}CbKjQFj%7C+li^ŻDhdȗg|kGwqhRX|3Z#\}fuIGDkߞ]%CM_M;HA?8bj7Ȓ ϽlMkjq¸XtPgk-[aOՕgGUS=l$?t+ Z J)&미ByK~vp@} 7%ҶSh: |&O PaS tY@kM*.띡 .uW z޳JݮKRSR#.UJk;ΙaگWsx*}xs}[̔am1\!oWF'tF ׋dB)̰E $.91 '=gBO+cRp>(}mM_JիһIHɽ8[k< \єXzm/ou$+`ܐ]ē{@Ĭ8JyD;GjP9hg9l|2ʪ'\L! WT(ẄCGojj:WYU?B&r$p5':]ϼB0o8" tBSk(g Ԏs߈^!ʦk O.9) f( 1>(*Mز"@c35.0l;^E8=%W:bZ>lhHe5a懓X$K*,l7X(vO7)gl{"Bl }hJLCTN`|"f́%bV˼5)ߜ.LdS10T `Rc0O dl6Zr&縷[_A&*U]o(YE0 dJR`qX &2 Oo~"?:uN>N^+$Jhڲ7[=SB;t2`Np |G N=,nmO]hF;G<3WaEo >O~6ڔ>o=kF[8.,]f"г\iVWؤas܁lu0%2|ܺ_݅~L8}yк0rzՃ폪1B82xG_]+k}C* DL1̩2sIxkmslE2-RE.@Z\13VϊZ@Wdc<{ }8RpT'ExQ_UbJrETخgV(^EĥrT9oN[%Z)Y.o'&}o*: Zm#&[_g*b ZWBt'LEǔa.AYsNo5:se`5bgz~ ;(%TQ"2nq5O> nӰE"~,M>4A}0D][>L9?6hi'֚V # CxVsr]7]|QzBs0 +hq"h>PoՙW5) Tx?]54bŰtfonĉ{>yXdbi WWA*PdXn}n幺u +0hV{Ԣm ý霛+V!B1(G#oS]=;kݺ|ً˺i=y -{$R&liԓҊ`^8lU򀼋hti;\ouNpZМ26a&PӘ-nk_tsu9'֘*ri1[+b@g+̦LA{uz"EH4dٴh<՚m(@KDtB%t pqsmhC.*jYXiՄn1M ayt[inCTXmLڍ%#QV@ Y{X4\Fviw  TD7QMk[VgǸk@=[?]l:kԹ)h2k}p"ڭkV۠n&hoGЕ]r)Z5^BSVv9#W_upOO<u3[.wp&M7e'5Жw@B1'AI(t [[yZ_}KSj1) qF?L@dx&i[5ff1 o-g :N٦*τ5df4"z\KjwVJ%wkolaѐezYTÅ%egDvwK|auigQXB7(YY,Ņ7yP$> (EX`*$i/Y^*.~rW㿅v+J :1ЏljaŊp_ vT`>=ߨWz?QTum)9Z&P`ʩbZ@WۨOc4f!@f[XD֊k@ }ȴj)"J0R׉7)wdCbbMhR uEm9hU?^~? ʅoDi QjϒeɰfwpI0KZT QhGgki1(@u4`DmU-ԝi&#y64owe)^{BSfǟ $ MAajX3E[I'bdKf<,gW֡rkf %pocYg8Y q6M*]ȬhnB?e *!{y+i<X6V nQTf:̴D0S5 +kXVDN)[ѐK)A\|qi OA.@*r5ѐN=n=#BP~ #h*P+Ss.$"M'klST}Տ#i]VR(gYʥL*_e"S|}TҞdOр0hqʉu& ig*:"~*Qj$f8I'If/mk[.tckk|}L=͊Q l*'Dp4Ы˂+`mh/w}E8^Y '}+/beB馸[mlr\*m8܀ŏd!e'$|5tjJ3.sAS0nWS^n~VFc2OVc>ʯ91ش voFVG@V拾qWmFӯ m=뀪9le8G,O}*.VPy r/g͢!Kfh{Zg~CCeY޿uҢp9 u35/WR|_P;Dͪ5! 5 9Af[͏^W>S Y ߖ-#ީ@∟]V.;kߡ8 GYS&!72F]E?!]H,.Nm="[N `.߇ E>ڛD^ٟH4Dp]ڲ+(I DYVelߕ9˖]Z"2l)ܐu/ b:4!\vՋK{|DAX̔!:ou Ry).E@4SalҎT- xw :$S+1f5i.,}IKye-j JDq3>CbOLI=cb>A1V~mpDouQcbb%_{xap! W8U'%c;j O;n1uDQd@iPHBYj{7QI"*ATPq̌i_Ȉ*|[x!k\L+B/9z9`ɼɮw vp)}(oDY# @q \‹HEfA=7ǵ%{I"vfضJS~ju٬Gdռ&f4`z&>CaG0 [Qܫс b֋I<ezݾzHyKU!H=Ńod<kd~ѼvܺNشބq'm:຋5Gf߼_4f>i^wP0X娆 6Tv[SYu>nRIBu>oh8 .inO'|X7aԣ*+1.ͳ!\,pT 'G+|N ~M +%kE˳P#yl{PHߍc\*FVNl0hLy\SȮ X9!x.B_ " .oBB(ɡe9#G t4 Gڳo!5u/7A ."h6ؔ(s<& Y0GVJC\QN%*^W4 1k8[3P>BKƏF D1# p槤vũA#襣 3cn=|I"4Xy cgZ{ w f^I8dp~ӫ *(A3Ʉ#m&wfqpopfV1"Tu4d~DiW />a! ra䕾,+!0 I8-񽔸\UCnsa 8@ CϿVoZB8s1􉸵,ޒ#2ڦxmGYȠQPt"?7GWy1`S]r hm;JwI3aJ=}Ϫ4Z@61r״)tfC4z&oo$XX_3T R5iF⊅߹8).^;P#^7CHWps$hQy,ox=nkgSHز]KaBni~q2BQ.CId[B]*Fڋ29ڿ{"1Ηֹa4sw\3[6=o=9(&3 Tٽ}kkX8RאK>+lvsBOۙEku5ұx &Sqv;9/ri%y,kXSUoU>2u ؎737PD,IA)|҈y PR)G-y?)LIif5un0+cȋ:L Kʾ-G#l#x^σi4ֿKy}^iF1V#&$7 awa{J~j@jaC=K)Ix (?Ѹo^ 2! ]+9DցfƱNfnWGG[zQ&@n8hE\B&UPXx^}m82B`Mp .ŸMW/tP["?`<14孼I"xTQ:X 9)3gD̼+0Ot_vD%۴ʼE\u5g<~`A\( x"y7 ^dmX0шՊ%mBЅÆ;:pL-.ht%uRkTCQskl#d-2ϵ~SzC@ 1G4g^ j=\P{qB#wU%~8c3q*=S#\[ZS:t*F+O$eZ*oqy$_/0gcz<.Z7YL hʏhE|o{'RWXO%xcN4Չ&\*8U;LX+#9&SmϣtL~7p0 T6 ʲZoQ:v,'U 9f8/#&OTBQ?Yhpbb`F,}7,`iuqU軲Z%4 }"&x=TcX],t@ $XPcgȘ+)nCl53c\`lܼgj"- I}ŀWv&c:A-@'R)#t"^ 74't{%h3y4=w迗(~o7 e^AlD'ޒĸPJVr"oeOz;ss:>擷$_ξ d^۰pKNSy0MHc,7Sjr3!/#N ##-loJek7nmh䈱V5@tc|ۥUߕLӛ[C=4a{j?*S qoWLwet %xMN}>ԸKlO3l ⩹L*fe0 9.'&xUro |`]_mTMR3kdDۨ W;z8% ss6+JW߉c6-(9{%r7iJzs .GIOzXp]Es6J_;o,d>}GlySG; \)y-`H| 0!)C JHg hPPDHswA|v>}/3MY{˶h5^3MXif0^ :1cjp"?'Z[7!fʷr۹3vCPjsۍ}axbrHήj=޺OeNZ_rsEbjg9op:)8Q~;JsM1DiirE^6'ok$3lpsV%iު@Uj{֫lnx*ԳUB/y<}|[xy)LM7kxeEc.slc(Ћ?>UX̶l޶e%4A6 tݡH,KU7(e $m_g8,[86- TbT ER2$l{'עԁLs;b#TMm | _Yl E: (26c\dgaBm1fIPDSWENљțF3חs*P)NL7D3}-ˇ em]4')_.aVWh&mJ̞Yӳ c mTH:ؗ\53PW+g GftXZS!Tqgл⊼x{W9TA"}5[V%j)X) cd q&)Gܚs]G޽.[ kCpw2(k-<Y15e\f^<{&\6Z<=݈6)ڜ75GP4*bAY0GSABj=DNzEq0|-sc>Au,h^2tiL|/@81)rȉԂ} $lsv&@*l}k_cA<_1$4Κ˨/ gdY4(ٜi'q'Uӊjz.ZŲ^Ngg!F )bT2$ @0n4WLIއ ,׉bԀfZ.6 jfBgΨ%,aq0̽4በ{ўq, op΂l~SGЪ3G^7%2>ܔDxXU(P}AYX`\VvL6>zKls\jH'3UL>{y8XYc$d+y1@f5w#^w(V7)Bϡ<"bv?6>CNsMkCպ8]C^J:6b ݄$NIr5AՈe,,r(Ҽ*gEtWa2v!VSY遜PjwM61^*alNnѽQ)[뮄*Q@qsY `V0nAW" r儫|_B_Yu.2]Q#΋fO]/rK ˇvc,^vIf\gr+b0׹7TR[YOF2T_9[`$PuvJ3$[_7-_P"/>ڰ7+h]KR㖏BI򚢸~l{a'sL2em,ΩLEKȆn]T&}j}Jkz2o kZzFG][[q%:`ϥ$Z00 %/"ꪠļ"uk嚇C ^\VEUwF?B#dq% Gpԃ眪4TD]l[**ɂ`ҸDDLi f>+dh6n͒}7W5Zv52F6t@L[1#&h[ @(wAydq̒cȗY"N>ؗe@6.GFT_%z#ȃqh:X:=96 Z%Chb4Y@lXjg)wN ''v`0ߤȿ,јcg@m^­2k}ur:dQ<9e9 p49H41):5\.aԛ!F@vp&l{Q`ljwnz$y/{%ak^8bH$=T3ZX% LSBpv=hɌc'+ Iw~!3e5^gB@@[CI*2iNC$ZuCb`o:am_f}XwUr!>kiSuAl*K( @ vCʏ+wsRb:,κv 4o9Q਑K0?E{@us^Qg*ȏT6 W @(t}|mm@ ̓EwP?1iBgTwsw9,|E'klm< UF اsOx94GWbXDW\+`Eo/ Pv}΃݁#X͙'K\p׿k{a( ac/Dj08+YŊ>0nXg6t|n1^~ )e6+}5XU6D4%^ fx|ւj̗U12U[Pwn_*PxgMpSdVuk="He뵐*8Lɦ<=U Op,:25ws(II#Y%FzWr:{&o;}d1K4禿ba: d&8@P@KK݆% JUd*\~&l/VK;jG9cV5")u_]?@%=de(Jf"@aNCPf :#-7bEU;Q P塡 =hKE=vJI0NF|mRJ?ίhq@ @]uD4ߒ'Z?9<0^%: rɇ+I;n瓬Yu-p[ [TΡ]{5dFee>ˮLL 쓳R9~ˑof@=[]ժc77$`>ƦgGD?'>TCifn6G5 Mf@ߢ 't?^~ W6YӨ)l#H1wTŅINq#+n:d(+Uwt^ܺ]niWRsD~AxqklNZd #Zg5u~|,vo |sXs~m&$Cǖ+m$\zwY 3t,:zTH*Xg 8<2GkutD^$F! ^ʍG%݊J^cs;M&y⬭r βX[%̅,]XoM= Ceߥ#%e k+ 6a&}n*7HBr* @(ŭvތZo\QšnE&^s,\菂 TRxtHVyLS\s@K}Kv{VVt׷@B*:VTzqfL&r.*nTx*+]a,^~Lj>F18̎ҡ_E>ꓟIJ([ ޑ>X4!cK00s eDU7JHTK=QBO.;6 ]%w^tUa̔5G F!7?CQѩהƠH/LX~_KFR}˶69*GGm3lmֽ쳓zWq-ډ^PU--(@wE |MVO'V;dqH%C=fоx. Aaalu TO$MP\<|tCC/2AT<}ĺX7|'i2<ߒӀTV,li_Z%H/\^"k ;:4 hSrS˷R%L ^=ߏIj>5j]"6 0G] QP#`ɮݫY|?Y$S{{'V3j$w2"A5r}XO2td0zU(xIH/x=4V- ߴ-#!>S5Sdw?z׭ j&+:)A+=D9y0w&eXݞ!PU8~O2\/퀍J_hgw-Gf!oAaaNTtz. M<);RfH߹g9o)mۭPiNDQEAvK{}$Ub\/7m$(=s̀o@~ x> !6}p, {1;XvݖF "L} MU܂N*A:Vm0<@p%|oҭ7ٜU#Ԅ+͎'zy2 si<yxHӱ;1tdht*_T9AK !fY~5,F`5Nʬ/xuD=2;95uRpS{QS c/ #4(-ⰼ=mPUY="ܤn oDʛ0z1H~Ɛtʙ"J<{Bgc{t ,ibd'[k3V~ɤ"2E&mw{w?qS!H#ۧU@Jd:o_Be[w kHϼC<Ԅ._ Y :rKR7 }!(9Ѓ z/>1fI^kVrH[=xvKO s@)PCZ?+mRi_81~FVu>M(9?z{)Ǫ_H @\\67i۴uĆQ:00o钙ӞJ@27wTEWVb=XM,T`9îbPBD*`aLXW8èR3c9 b#.drP'd I1{ۦB^!yfp-E1w|R@ vr!I}[rjC LZAPɴwwSЋc0pFO klp*fC<a ?6ʆ* eqWk-riSo|g&æi/]LeI~rJ.I<: jEH i/l P>Gn$ IʳA--xҭ"8Ө/NE9 >DR ( ?.3Wnd:_0+xR:-fIGHd(6^;(l9m]`b DPɉQڮ(3I.ސ3?qYyh\geIt'~u6kLTdM'y|Dw[#2h8Q[ޫHL7nъlt3FO9TeְX .x=޳EC1"&iNS7@Pw>ȋuT:0I̡Dm[M"lsD9_9j=`c˗rn§XH:X~oE&slywtTpk~g s,YL^jQ ^+^ ^A&N0ԛJ.m661o` LYK&s2]E^my4WQ/У|vDޙP5X!tL*0o)0>xBox# GdzDBMP/ BW–^*7=㩪Aʫ>z-%tzI>Io࿮zSHf'+=w֌N!j+㝫lYrv 6^is4֡yү؁u0Vï<5Zu ۚM7'?z=#(K.PE;"} ="y~~cuJV^Ut›qwk4lTW2l`kM}<Enjor~?NU~E]Es&)?ixZpʸG2R.vǣJ+53r'=ڜF4X--'KM QlpCF8>b>|Ie!Ct/E\5A(osI2Ix-W(3VezOf #.2U6-gg|hx15y~ΎɳKO\ m8MJ#/7ܔ`ED*-9^8_t(/A%ݦizjl,IeOQ2hzϦq'9E;i(7%Ѣ xͪg?N|a(_3~`,zNMdhÄ[Vj5AJ>?9gk *K5c,h}bJ|bLPcc͸ {eىt\t=t/b\ AJrľ:8[]QSJvrI2ul[W_lW<]YlZQvrk7SnlLx8IOQ#UҹF{v%9b{`]"O Lg ~t@-ḍmE`uE7MѨS'F(z1V>z64+zR&P5RCTg'&@]-Jۋ@=ӅU",'uӪ.~F֣(*QF5;pRo8P웸-揲=~!6keh_OB1هEж%'Bsȡo'XJְ&te$:~e =)ӣEQD{. 7}38¤dF!=(05W]t#KPVYD"/yveBl ?'zBDDE;O|;pdOrE4N|X,E4EEi"]kj )f{KS[E,L) [hc)bR4,(aA4ݘY2Ժ1.&9 Ⅹ FZ_P΅6XPwا}73+b$6u ;&7oHiͿR{}d>)|F~r[+㱂:{U2:ѩ3 Ԧӡd0& nawGsw?$Cmd8Gf\_#*mD>Co8=lk OL6z*ɠ+9=#vhܯzWK6cO6"3<~[+͸.,~t3TڅB(jB9~%-q [gJ/VH1'tL9z2/Kb ʼndE5ȇ/ c+}l#q'n=_2꛽rnР{x}}rݙՎUI1Z6^rSN/˿K:(XC"B jM&S:T:g >+Z0O'gaQu@ ZJPjm(-Jc?Q~oBEW>fV>EM`o9Dt7â ;/j`9;ÖKk2= 4qTZ ǭvRLYҗc*mLx6dtQt`Bm| ("fwWئd.Po.WNMƋ/@G/ZZ0tԂb\# u̺iίmSr C+obqx.#w}Ƽ>qBٗ]:zk ]7[C`z/ܧGTdwQ4 /U_0n(huZZsw;EV/俌.OfShFAx;~!(y=ʖg^ƇF맊3Wxnl@s:@'h2T`NM 0>P-rbpA߰468ҥ/2* Nq\z/I8~DϱuQnyZq8%IE p(Kn).JiQ:\`V:]L%6N LNja$#xRQ=o JOef^BSOx"Rvhdq$ ,OZue!9,()5PCcE w.>̯CiKx|,#8 ڏMNe1j7{NsɉC-^cōuB@]y哎vLUʼK"~A>`bM [z.MB@'zY0dޮ7j.Yrϓ- czn^zCWW(c;,)2,"zJJ%< vtؕ LuWCP'^R[A (;->QY wX2]?6L+|N*IW҄xԺ4EL͙mz- P+CtF5cgg(N5|= u}JJ:բuKMmFj>BS)l}@0hk9e} M 7 Q%/s!i+i6?~O7"ʅ}e u<;$#d#po{x}Jl*# Ӗ9G,"a H\GmE@U>ZbNϟ*:OS6Aco $3]ݾo&ܐɻ[g4 h%wv9>DkU$8ï8d!ʡБG T4@I%nTt=72m ^C <>IV0ytb߻H!%aIl,[4iղq.*lҰX}{nͻ)4O=[]3?$h%@p1u~Z/zKWp/JLL>,Lk !DSTJ_7(|lv="pRs}h&5N c]5ZZK!,1%:D֊¨3a,GmmVʑV %aTFh  lo;C ߧ1֑Kn(opP(}FR^Zkک ETqHw5*(W޲#H#G;%ΑKrmrm}. NX/$z_@S z u[ oߡZZU|^bKfJ7fہb|b  ϴA]vk.= 碷3wZ ;YXsmY# ~7ڥu6p"f ͱu5I|}οfe &mN:Nby_0,܍q%n;꧌q/-h!ژL\%R@-EL?TZC_UQ]!Ԃ4жV@ɋFI@d{q3& |".;lVIС К3flt p#U 'wjt86yP[P?%"O9Tf)|ƎLzۊw~CrJ^1$nUҔ~I{Ȫ-M.s;G``fi*F?aMhSLW;x嗒{쬔˟vx#1V)]U/|3ts05mH3,bAȜjql -:f'OݘRDŊ;jIXrR:'"r=Aj6Nx|]~U)Vr.Mp*qN <`98I#7Ӵ!ڐj=,W++l^M &T9]+ riGMJt8%{uiEoQ~xI!Rr2ھ)I S @@I3<ẺMHLdUw ~oP;ϐY»DfmH# U) {䛽 q9/ز3-,r3UPW 7;=xrwKٍ`E>e_Ѐ@Ir]/xk17X-_깘\ӱ4d_SrΆGK/jIJ}hM|;D7fhԫ䟻AM+ G :6u(Viܷ×Xki˧QD_Dkx4y#"857waddbU\ؖ_^K̗*iVQ!Ii򜣞A%="m 2f^&VU=qDObvLFY]6 WpBTO%J5~Mp="LnUl0]%U3hYRLCWFҮEQ&t\ #(]I7r!gYZ7zXZִF! ]ŗXiɟPmKhU1| 2 y_eHab_ ae(.cb>˫Hδ'RIsE]Ԩm_,}=K%F7 %۳FglY;3d/g7JoGDP2iWQ(k+89B,ږFQ?it!|Y+t:=7!'s[)zϦg=vߧލ-8'бgYZ7zXZF! Fn|]ŗXi%L&䏋?;pH݊f4Ԓ/~kB0_,V&*\^6|WR_}/u$JOX EA= |J?t ZPR=OZ5PNjҲ1:-PfQ kˎ|rYX+@_L΄̟y*J5W\΍CUtLb$v^9d~櫲f se$ S$m| c.N Jͽ ռg(/!ϷG?tmŐ}ߧrA*)LGc|hIt6A/S:S X!䠤]`h"Ğ-jf$G 1,v  (@zp4ǀ2) *~NT_b !dP0W&zs%Jɵvl7OWch5 _I׮Wn `:46Sz~(0}LkW]܌QC!$~Z -gQ-dbШ@i^CL,57ȓ\8my v@Ŭ2A$)f^!XeI`(!M joBySFRfۆIQ16`h'Ʈyß٣i?%gFF{hDsA ߣ3I{ThEKp>:HlA_ޞsֱ ywo~t\eE ) |NJG}y[&ŀWfxAͧ9 4y"`6,VRu_9@1{@[uM8n2l7xu wmڑ'. h2 ;諪eJuoPNakԲ@{0X*AC?`la%l/ۿ>'eo^Wڏbd~G*RY$Qw Ȟc6BD,-((GpK@D=|"J}7dTĘWƥfFQػʖ 5;70mH}FJ~%X:@"=׷ʞAisCk".$sNqzr*S꼄6fsSgM"T+y 9PdK;peX6,~7 ${ \hm5D+p9#P~גw6Mwvj%k]D#Ɋ} B}ݘ6W%l =G,4ڛ 79 ]ћ@dIoe 4bAEiʰTbE܁T?S4ѐ7L~͸cSt@]m<#TcsC°=D@OJ_>Vj"h~dO2PqD!ذ'`LxZ ]mJݵO=;;ڦ=G/=s=n,%/2Fۏ֩PK+ *dߓ MW6XP!pZT DB%S;Y`U1P+GH"69k@Ŧ$ĉ sSB44;}ri\ VqWQ}M;YDΰ!ZҚymXIŒ섎nI"Ml+ԿF*՛yҬLt$ͺCFGC^qY!њЧZ/S{Dx"b2 ݎ21=hyHd-0x9}u{<ʢ C:̜7{8Aμ`&&J) hsx0R1eqw{@?:(4͢\,=消&&O .VyT1`c7% cGg8̏)Öz 뗞c.9(Q]G+ ׸k /`|1D :U9st1<޺1 dΈDۇ;nsۚv"1Q+],&IЂ&փ{~y/ HJ*Inc`C-AD}An0j>@4H+cO3CQ)7QK|WȂC5=;xBGGqDz u#}nĖ7L:TuD &B[`kR-LgZ%W)R[cS=K,ScIQ &PI '2HI>mٷtG 4i\fn#cܙ1XY!oB|d K\'[A6VhaQ7+L0$||bL8%YH<~&(뒳H%!ډA~qzaX fc%2*%(;6h $fm.-MŨĕ.=c&!(}ofnQL>ʍMj23høDbk O IHb`~$⿺ ㈦j#Do*نLL* >-mA *;2:xCյL;:JܰEyDtT0 & [qbmR3a̭%N=MogZޅM@j2H2Cݵu U "1rlFx$͞Bёg~U7YtWɍ%A3Bwv8Bu'i]xݭ Z}94f()%z3#Xr۫Zt=x:?-}bq(1$ QWW9qguG^٫#깊s=Zꤹ7#X;ǁϪW0'uc,]E5ߌx*_" };7(.k#7ۄ}qYb4w1E]R>dwPN"b*o{̢X?LrbbVkjC"|cJwP)3sV8ףu t7 -*[^=OB / RV(Yڢg=rC/zH,N T EZE\W! ע"OGe]nT_j3~QT(YN\V|3ͤ5F &-cփrvҌҊs`+6߁/@[~MGV*m`yy4ojP0(@aZͮ8/+@n0Cq  ܼ $=Cby *`+}'j\06)Q^8烷~N,'SdBcކ ucSm2a!V@CZt\?s5J@-9=( t wP:Ãb:"&n 1y 9{pX|.rX;.h @~BĮߐX-'n>%DƕSG⨺塻*Q)Q嬻%e]?qe"r vuIN=HҚ\ɧ;eJ%9x^1[.yT5.z+.F(x̚-$ -[wj;k#`1Ei)Iw,I''1Cizq-x>A )9J<-π dRwkaD9كcTo8]j\g!>g,oRQ[劆WOsZa;7ThVDcӴ9wcɄZѶ<؉Kgd(PYD& 8w &wf]["j@NC)YMNkY??C1E MW'Ce@D'x3&IVMݒ)`5(:3^ tڝ!^Ƣri#M.dٮ>_0gx 0)DD8*7Go1F;Rpa{guL̍?bE8d'*ekBH!gᯰ;L/ASZT/k li3UǠf8C}񳾨d7r\Gx3f  ѱyVSЇO砻7.[ͨ,RW3/a2)=̖ MJY:X„1}İDweédq;s%9 nۛ ,7drº/ XӠR]W\m#(r#G${AS3,Zғ4kRI~o]ǧ̻. 7BH{Ɣ'*ؿj8B̏r&?klwlWJǀ8Lˤ5ƹLM7\zɁ3g(w^'Rp oZ.)FR0-ÏyC˜Zv284=q/ 71}4astꐊ4S׽L8{ 6 Jdfǔ0"Vx-g6|+Bߕl"`f5X4'>nb/U'$;J0Qb{BC $<)%SwAt3eFvfgNBtj蹧E^XmIO/[?P^lCI΁U+8~VSqaҐɎ .4Sf) BQ';d,֭6Ϋ݌sM _~06/P!6^1)V[6{Nk_8{^ԢHDE-3jL/h0 W̳8* )HR#Ǖ(bK}dag+ jʁDmEm-ˆ ]ΥKMgK-B٘GX~ĜIdp,hA;i d K)x*_ecߪH P9@iӔLuh/qlV$㹲:{\cȃ;:ͼU\wSF- xa~I8(V26oJ+I^yշ*,~_w/(oS;[%I7XBBɤ &+vD9􅿿}t~ ~b;)YP ỳ.\kOt=)L_۰-3CWXEp\`*66a  TÅ\D]`J$hďE8C G&o;s)CڧdjRU6xi&UlEP0`9TG,Ci. MW"fE#mI,5<8{v*mIH#L| jMDFShy Dπh;N9:OB߬2g+Mmߜl+~lC1V5}7x"(|m-8‰ '3)Uu)H&{G -;$8R$Ea7JA]WB)lY~T7t~Z3"fT(ףy}$i׉_K#4, n+ W, ]S{0{)u{nT=!CyB˔88GMg_X$E?o!x/m'B@k,Z9\=bD@yPjrC;g/N]L4d0BO(&?ILepU ȼS{)z`cWп}NM-¨<|%od(CBd:܋>WEY qӤ1= 4 ܱgYZ6ea9e2420fec5e0c676f8834b113165341ac237a9aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 b03b212d94edfcd0f45a59cc46df5cd8b170a7fe 1461e0be47c4cfcb35fb5733b9584b2691e8a2e5 0255e5ff4a9e715b0a239eb8e2ba5af49f6487c8 99d91c39352f8c8512bd8692945c34f241f6ac7d 2c3d19e5e7029cf77d7e56a91f71074967cf5d05