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 . <$ ]/ TLA:threads=4elapsed=14.222cpu=40.416gc=1.100factor=2.847zXZִF! ڄ]ŗXiɟH)0%o RE WBoMx'TSY,VAv,\)vImE  H*l Dk|˪јƭ73bHڋ4(ME];xKQM7@D̕~oMh .޳;Y3ڦ!V\ cأq2R^z^ SJO_g˲NIMzpDtf|cr'OV)oO7'~R$Fp-f|5(ISuZO2|A~'駘/M*: `1+PYۿ) ҪƠ_'#tײYTo߉S )W5|҃ O={(#){[P0q>$N(:lkak=eqco̦/}\ӒkQvk0]gk.ʢ@7>MO/xdJCEE=[ñ-f@y)H>[p` ,^P$̆tqxN7OQd,wMK$X*\?v|?Uf$.ݿ,wkVI% '"'xtyXȬNQ>9QXWJ3Q")1к]Dɂ4sZ[23*9fJvpI$&k BwEfgl!L=t̓N:ře<ю=?'q%j VՍp zPA&/3T6<',@jCOO7w V/JܛΞ%S6#\`u<DǮЯeuũщ+d5V\`&_f6=ڭZCv_BGU?1` -w x:hYed"m%>evG l&8Bn cv] Q:n rxz@U5;ΕDz\YuhFq߶pjI+Av6Lcv>4lQ:0IC_=_>fv#M>T5UJuYO6FRlNw9ԬTr$FpL$&'g`\ze%3=֝(ft zY-VX`t S ԅHd)DDu>HkHhr9$.ӈ4bF<P㒌=H ݃! \Ķ`}kއ 7o 2A޵x@$H&;D&\>$9J>G@0=ΰZDL.s3q_K2mBLV&D4qĨo"z#͎.*av}) g_$7FqrplJr)|,M`g[2;k*XanՇ,Z>s]Xl0)ً.3;/hLS/^(!:&$RF1DPrm-mj3I#c-Ytz=3omR'N!i,`Q9W`1NBaND%Uf\_LE ._³m;hl^u"iGjx]2[/)D5uJ iok8rJ '62Q| 9'lF:~D|ն% z69Dp f<8Q6Bf&`~-P,gl\fjj=&^7FjXMDU}HQ%n߯%3P P 8-e"= OiqgW*sǤQRP)>׵A-PnvqVrhS4Z%Il;#8}rG?*M,[$ Ra"Uf!l+khL)fwnX-J &rLlHRP[39%jEAr)R:Ć@w'hn?%+OHn(<^KSBGR 6KF 1PLs/|IRPğk7ų>B7EtY r x3sMaWyf,}#ۄf * lK\ZcCnM51nk􆝨E. ?GHXųyW|a@B/W"h<[.jŔwQsk+_\ ̝YÎ3.!2}b5"S)}h]σxOkW/ևܐx.{f&cz#|Lt{k'F :ӏP%.-[d%kO ţ7_\&Yr,ӌLgx㮃N͟:?JZ:q]zQbks3 !x?aSݞ"ܼQQ aY jd.=(q[-#߻:2/[JX"2  TLA  ܘN\ǟD϶&4q&N/ a!.RPO~ƨ1Q,]sX9*GYPZh+hؓ/a).P y ­1KDi{Y2_*m7IY)}(_cɞDA!{f }9O/5eū>]AM(LD~ inF˂-b rW`S+H@"LTɣKGa2UO+`<%ZሊnR\Rs_{H~j -i?/jn#ҲëXu!oWt!vler +jhqO+YEF޶p;%~kr_iUnMlE@HS\&]2c7?Ae[H,BdpeHJYLF gH[SxiBW#;1Vڙ}S ڹ6 7`!`j)E8]X耆 *q"4ֱe>P_`ީrLX\4oɩrH~7 ͓hu]uݮD=U,dCw8{ RQpv9j9H9ӐY )O6Xxt?p}nD]x+`a[[zuM25ɵ!iK< fY\Q1=s O\JdMEDe>~?zT((luIl`gS͆˵Ji-׷P|/5^ӿEH 1;7?S_Cf'QL) `4yoe,DNϜms[]n'պ` zthȷjfX]jYf 8IٝXgV5\B!2^>)'˧yDe^E6˨Ǡ&V . -dsCb dunV7Y1 WV$ZsOj=>HFلHcCDHS|IΛo6Rj[k~~72g&K>grnMu3`E^)P a|ˠعL?;!{BNvqo]G i'II۱g?O̜bE#i(n1KǐW2W64I$2dXGb1RWTulM mӤB-A ߸Q2)\'Xy7̮n6bNX2,~b˄|T_ud4PjQڧ@ }BxN)gֳ/5)>E(z{ ASGƯ{~͆J`vv[nfs=A;SMݰt ؎k9iHuUhSȺM\m 7w_1l衰1Y`U}HL4U6>Umj"쩜RhXMq8FݢT89\R5 sE4W1i&䛧sWEZoo _l{[:- IO4rdy2׸fB@nx^W@!ԥg2ժtN_9%u%Z3Ŗg5Šd5;/^\qBpVb6e-KQݍ)z\1,K;c! Y@ٹ }yUbG'mt\7c6`Oٳ/w> @u9R18bx]eʔcq.׭JJEjf5~kSİcOz`=k8d^P E}r"]0j9;ɲPhf WrE5[3 ˡu_1XLh ֲf|p{+[e85tl_5jCK(HubF_ѣ'݌2eڗ_::jaLCw%g-0=66ݵ.rXgmP;?޲V4 9xs.Ύ{7B;@i!`+fڊyoЏbR0=;s2C6 $Co} =a k%X)|Is>F=r##AMBQNH;bs>|:h"`a:n4r#\HJhSnRA[¸CgsGzFP*lr&0XUsky\ʾ#HfA+^fQSz!gx ˸]-U͹uNtl%t GT!pGm^dܢ3l.*};rY*UvJ6zB0նv \PHb ~uzH& 8k=;qh^oK}#Uҥ'ģUuVy2P6 }F6$ٕ-y9􉾄^<7h y"dڎeJ> 2ph6^p ;SƬtZŀ`ǶBQniQ.[2. Kj6CfDF.-җ:QBn\ t]H=Ed+7K?{8 ъEW*:as.a$\kB4}ʚ0d)w5#vo,lPdQIYr.#JЖWE vj6Pjj5Xc| t,Fp=81` ?<= Y ݲyVl1jd4EO8Kn.g@׹QɊvXSn4(ߙI!/\ݥ͙vl>˥1 :g[a$_; ӫҝM5|dpzUn#u]jrꎇȃʀ\,.װ}^DLAV)6>Up<ڷ9^j qUZwD"1%yl( AML5\Վ5RHdeLb[It[aĎ Cm0ɝ`n&RMٱ$g@Ximy1RUro9|`ED sϪ }Þ6-„ JG!P E{(#꽔fXi9a{i'a&9Q]Uw0z iqMQ ]/d|AJ`[_``L. yb'X|-!ۆC}]s?)ؑR3hQ1#toU>+Kg`>%7h,#].uƦ8-u4Q,!g GAxFvZh(JT%Yrus3 >CQhpL!Ȍ/sA:mRg zIg J=1|4]We@:( mvP,q$` ZliRS/!21opDwd:ˑr6;sn,,_&&J 璒չZv2F V`ra.!xה큝o }u|N6%F,h3gvArD*mqc+;JQL`z&@Ɣ-DE(| (>C/cOμeG O4=[=5k2ݹH$yVl3`.Z~N@QGd(N%0fJJk;/2H ƑQIЀ<)Oڎ$Q2GNh5߹L&< bˡK8W,}Eoאւ2;k8;ڣY>V󲚮Žt/cGT4vq[Wl4|ɴ=ۺs]selp<陸E_ő5KVxCP>\c4UgArKӄG=1Z* 漄\ )e|E66BN(n:?H/%bLD*'%O^B- n:@YHQL& >^D)/v^|z;$ق3"{<h+j#%MB c`b D5B}y^X,^@6snd/U ɋA7tKͱD8"*ek_CWvl ="hMP+1Cgo_WQC0NWtDUedaqK{d^Rtߜee; Vn{31BڬHuw%6] e Ffؽᙗ% S(D*' Q탛 QK]YO& PF@wC|.RyD>aSW:~i0;%}S.m5tt<BpXYVҤQ/|"sqL-c7T "d╢Tbft܂]-&_ 1U2f/~jvfc(լS6ǟRC(PsIӑl)M|r>Ú=ͫ0خ_Aţkݽ9HR] ϥ  -ŝA RF.O4RPfi8 @#;v}^IP0iUÔgjs4%9tm3bG"@,PM{GŽ~>U^ 焧RkZFs8wzRG l(|ǘkҰT(k.EpMugFg6K?456Shb^vB f`s`SכW,aLYKZfr=Crg[EFh!S-BRh,F6 В5C:և ?V yٴJ 4fǚ٧>#+aUG|a7&9uOL]o2+b o-PtǮ;$^$٥,XKq~=C EN/&Z!(ZV끮oL&Cl,anNz~HG)ɘF*ᰏvY<Mߥ7PJ/J1h^.5Ă7 ;S  W_YvS `=:bx 1V!j7¼V2 zzj}l$pґ-ޖˬB-@;~P)/Z9d >/3WDO Y!2gs3=;y7/4>y$s?[d\ȱuN$x7|fUyʼnN<Y&dz0U ?8dm 1R,g]N)@uI ;3,!}JIZ 0sAr!JX_g!ն}B}; lt 2nS4 X>TMK8j2MqX vRAS(vzt-Fed鉒`~ jɱjĂ';@m0V]??D&򕯏tCB6xHwe$珁nMd&N0Ce_EW Ls/`0 I IG ^ӘnecZ! h2~\qџR|6)^y?b` ^Y<}+L^JTJIi"ƉgU `tlF娯з@Nw1$7Ut1?n` 0Gl)Trض_?h37Wm:w1\[*l)7W:"ٙ9V?f6щo*B{U!p_p|?YTO 16 8 QEW#ޟ%gQwG ܣg܅.$.Y6p;n2+ZbPU0Q1pyxPN#~RèZGy͸`" 45e*Ccث{xUu%@^gY$><4j5]dӫ]Oh)MeKY]~9we0sĽc]6Q R$}4hU_\Ϻ){Tsy?¼ I5YJtM ,Z H&r{l*{lh~I:*l=4ڒͥwוo%-/sz8,l vcӴZ0 n&#r WK,t̹٪w ltļхq(8C{t#~VI2XN}|FA}Ï( ">xlߘ걀]ڇ&[PZ\L땰8W٧?#4ĭϤdԞ›^ZA;SFta?}HU+Md~VeđMÚ;Jv ǵ(ku)z=㛛)߭~?vR*iKqJư ]߸I5_m%)d'SW a\-F!GC+OR?aY5h7F^ʄ@9kn0iz {F] qN#wLE2`s{]U ̤b{?E,+ѰoxF .t ?'^% |?Tm8mϥD݂Z\XP)Lj!8V&UQ&Qt@d+sR!" `]rPUBw GBA:_23ܴbd\ךkQEf! x}Yoܿ+x}:4 1E>oچW-6eb执'L\90"УtU{CBpSubS7ƒjMY̓$7V@ ,)FP/ϣE|5yTAMs&a/rn^YSxv]Ru/~Nj{Fo

56XYL1Ъ?U߽r+[`F*7`"Ze[MfT`C?(Dzc[cg"p]xij §S1YOc&=:w'e~N0MJw$zc(fv_LE 4%gFuk'{v cRjĒ \ˡJK3[.G"KECWE CD?n_S$uhXY/DR ե C?p}|Bd_#eA6-LQ\M wu4 t9#ErƐ0>W_׸eObKsF$y8]qyk6vhCxک^ĚC da#{ 36-5-^bcD]z?;J{!C|9PbyŧHA8dG{/G.X{V92xA.1jXг1u@3LFW=ިZ$4mu0B_jm[6Pdb;}G 'L cXl'۷A^yl358߷{:@k՚eKX9,NvIњ]!Bڭyau#ML JTnf }c*^f*d#Wbc+sZaޕYZ^Xf2QidhT2&^tE7ܽ"VB|ԝ͢DW>Kg;0 ):[t ״˒ ײ5 ̭d&sJ\`iO4eޗX9hZCg{6A,ɯ+'/7v0VVrJ3z3PTȵ"ʽ[BY~YHFgrqLL bDm󙕠.&"a2]<2,m7+y5,:1Όľn 1onqC©g 3>|+2iRRFjOV#;R듪U-5tcUta1aP 8DTQxυKUh*EY275F!ea<:&pmi=@ˋCU`faq>a "e4 uc3pNXw>ޤbTꩭ^19Zr2Ͼ 4˪QN[`gT&lLΏ9fe͋xHӋ]+-_\Xp[Xw@ Ơ$79AHO?摁: S&_U.V9:0o7] ~Pz umD%.Zgɗ1߈>bcTaVմyNbw?qѣ`47%K2(>YE_sQr;2!Q\PmTY RWժA6k{ K:m}֫!e4޼sS+AtDw! S0څVaf1ERIhdO< .d-o Q*xK(TcQ9vYW+ȡwGj܂zOu￲nyʺ C 걆4j˺t^9 ^TA}0z]1p/\ hEv]^*0~pn@]6{IJT1a@Es^ =!@gZ0ʘz534hÊ/4)jlQmCj @Mct[dw"3xqӽs=C{߉[\ͼv.)@d[O+?y)ZO2.-=lcBwG{TF_=/h|LZP8 rbuZ+FIj|S*Bqi-2Mn|$VDF0לNJ2|M-l|͙pG~p`gTy~lUb%. +=UTcqA_q! Y,{y;?қP:k7dcC{!*lֳ|(LLڝ(RZƤ< Z҂ҿtcO!x+r[>OrHFrsXSHjA͝h|hAvD1+OX='ceղa}T'xn7P|c?llpfb/6XWN4YDcD:Q1S/n$ ~2])>;-@~e "_TI *5R! Ј,`GIWgSq]:pTeaGp:U [ De {fLq$ a owfF$< Hҿ5GdPQ",l1Lg^H@}zm 151+/o3 7~0 }_;ļy^EB!Cb胩)b.2JǡybTPV"*74hC]U q9(6&?{y5 JeN}s|q-ib̗1c I磿Pd?;o}*F»QlHA"E ؅=_JsНRrU3=4;%2|J괘K;Q? -)lUB䆯d偋f`n/:maqN' ] =m~eJeA_p/Ug2xHƷMg΁4=+a;lM~oWs/XIw,=Gl':; ᅩPJaVT]JQN֨P1e^իoYW-M9Z{.ׄr/aF:)+ Έ;u֞(cݤ/Zc$kɢ##?'];JIQ+0dD@ ?#vÈ΄K Ї: Xnwzh `T~|PSNLO۬6L)3"+pI7UL {mkymjrxzb XsMs<@\Fg5=R-הץυUqC"f*N Q'4Y4)' T5/:UJ^!BJFՏnMpM/B4*c3߃v8u!=5lhPTیKH@pl̞P 9 dGl|1Di4g/X *7rh d@(SM殺JPǍ (ݮGIko"KjwQcpWCVE7oFR´ƆcnLrcAaX #`m#NLK8)X{!l_6@ K⋿˲a;iÆ0҉bI*K#<},J & |#8w]o誷h_M,ܐJFE~s?td27Pj$IwNk{)DwMOe3I1ERRU82*B}2uy!EMs-Xzv-& poCdi0` DaOJ)[vvj:E!dh`.ie6@/EXjNyƙlPs<@ۙRگX:nPoQ*K)m1Y, 540RķYkcdR2=XEx+"mw"ضaxV 8_sԊw$FS]{k'd/9rÜ Er,6W" BDDF8H(9™ :  mkDպ*BнcT"OCJLH5MXT,( a-px`=fLK0cue\4õˍ(1bch\\*.зD^B4hIEnܣhR$%fyZEr;͙C"17C $p=`>HZvI%aqY8LКQHA=]Q#OΗV])KINb9;7]Ye|ݔݶ(ȱ@K͂askf=ၲ|-2O;X˞| QȖǻL\__hxǚh]ԎnDM?`s8S6tY A$JtWٯC)u Ha̗yB(NB"]-yrܨRd$̡O׶B{C[wؤnݘ1[XǰP Lq|Gy_ i%.wcPI,(w! mG%hXsKM%PS12^)y LNC"{JR3'1r-?}?ȦnUC[wC]S7ή핶^J 7: o6|/ fOP.#Ikѱ+%$a0|Z5\\(Abݨeƭ*hAMM0`϶W DL_)ݳcL'>' ." %ǚ7ζ}r%ZiBȊڔF۶5(VtKKbU"Ø#e!O`IF </'&p%Nqs͊f'ح1֎->S xՍQMXbs:g0Ϣr/[Ú D]վ^ۺF󛭊n-n ȑ@#͵ TeydQtߪQT-[-IgQU~/Sǣ9 NEfP^T}|;h&r 8n7%pqiI墼/ɧ'{ZS~֠+l XҸ2xl?7c;4>VGRjY)1 ̱fSBȆxl-vgX?A& +~pz/^oMx)푾Qɼk.R Kh غ5=up?eM7o%7? ᯅ('xYq>I 8v>YBfUHًA ַFiTc0 y!L˶  Hep`z` 1:L@BX`M?$2;&t$IaF2|pӺޓP S3(\3G$?[$_c~#]maP*&c4A*ʌLm FL~Ow"PLijDeͬ[j.fLDYb{ǩ!iX|psq:BgzQ.*Igӵ;ʜ[yx65$0W3:(Ԉ Ia@u#0ZREѓbQfKNLT`1x %N_8Y̛ǔdv{g!-&ڏ^i}mνeƛfV6N IofȈC֯lcnR} @]f.66g" {T7ߢZx>[e|CryiB-V ylzH{::箝kmX#zNNi]xHA~%~g1grfۻ{mSxZysE=\5ؠ4g@?bam2=A&pQUMѰ#Ŗ+@4tq҃9YN=b;EF2kcj dpX֕@Dsnc&KDU]laI@aeR6GAZW()e;Ɍ׊ţ43ZzSX2'QmY8Dvta1bݭ /ĺz[φ'2w>\Ru nIf3~֬4\h-3 סӡ tAM뾗 O94jK%hGΌk7MқXGGb 88Y1 }9)3(Op:\]}p1_g#z%`dCTi4UyrN\.YUV:qڣoU$}vtVTvgZAwm ( JMρTC!%BF،Gp4JYHw%JH9ӑJ!`~߰AgR7A˭%I\ufBX)9ȱT_tC[%{UU Qs_Lvp%*oʘ(b+bScnWiEB@u*ߍŠ Oj~ &`J9 4bieV1q4L~1rW߸6TT4{Os05ZIٹpO(![?TҲrޕr"!_34PA&bHM%J~?(EYZCZEå7W(c vA :W8Ƣ8/oC!"]&02ikKrF;9oҚ$4}k{ [oR<^$#>5a"] v-b93 "Z@mcNQ8.w)PߟZ2̑W:"T2w_I=˻Wb*Þ.76lѾD˙*-RUNne7+` QF9).58! gty׃8DX2L Z}Sfz 5>mbjTjڌ#7̳pД~w`ЩH_[úysby_^f}VihP}Qޜs*ZHCOԷӌ7(gorδ[ J 1Au}KgeThÍ,y`5+N\Sl`ûxj :SMu^)р3:1D=/A~La@18T'}G3KWy]ހRJkTvћ{$  [enI> ;l$f*,S3>}ͩvT>t&qFXXڜU]9e38o r<)raY4Glӑ[xR0ضFmhԵ- O,mCaȢU~F̈A>MD dʌ>÷2/DA\?漊CaXv],ʐ;|s&%:FNK$uEsxLch^f ~o,J;O8jN]fuṆtQE>ڤj8CӼ_'_ߔ :ʪ#!%FxAރ\w@p߾qne}5c  Կ~T/ׂ;~yӺhnN(qÐӇ/0a~;ز&'>]\ԚhaL*> X: hJ,qu ܿ2[L ܭtZxV-[N%3sC$pxUky6ײғ3Z2ナFO>ACO'UVěaVc$U+qOÞ:"R?ܡ$LͻhCā8e"(ǫYT-B0sݻۃp,EclB8=B 8CYl/jLV!\(<%oD0w`PMTH^>8Oz\1{>w{Rw^Pȸ'sImӻI-Ů=Zcm+w> <'Mh'ԓ[w]NP7L Q)<+_A "|QM(HG6k/2!MU(; &_N2lcwo Yև>΂NY,Bېl92M eaq&'̮idn{X}5\9vY$YgL5^8oPi&xmL+`2u/pȵgUrγg%S9̚WqV?G9,umS(_Hg"-y2B :,e"y -sX HIM:`ճ kYSr~ $L:{i+ET.v2E@'"]l7J9b*I.L ʺ7%gx%,@ hcI FңUXgjipނ ܁/-;#rjݲ3갼;vKFJNTr6alm|{py9;§o!CIҙ ̩?\Wi[Ȏ;%-BdlvnmB}zԒ ߲ϒ!#ERK3HPTG4dX`MX. ]P  G^ %5ЄZq]H_4v=5 y@NȀ\)B0`~Fu{?MP:&ؼ-Nv48<^5!oMSMY-iϼdmi7?aP/1z,Px4(\!-)֦"F SKdyǨ[ȼoD:MM,JEih!/Y_ٍ"!W=qLnOέIoLU 'nb9<ꈹ?B}iIوE䰆**kX&l :Un9jNJ!(ş]eD޵^]M9V{iT6Gɶ' u%p=~łiNÎ%P"eWRC#)Sx1A-o8~$lU+W@%mCx\06"c¶`i"PgN7I $*RhI,7<Ђ|Tk4(< :e8HV vޢmdW_V}F! <=ZTpbuAISG^IqJۗO 1o<|]7ḍUy UgҌ0a$jĽ'(~~= 泏Q3L$} F?%`p thdoւwZ83\`%j9[]rUb|O9@1qnۅݤ9I_MϐB)IUR( XXYFc~<2p׎0 @01,$Iv@Cvl ՟oL@S =\N eZNׄYOnq}bl ݼAؾf4q/dD^UH.G| Sd3hBQ@Zf}1l㇯Ht<4r hf_E' P]HH~s%Б٤u cQ^N?盕Nѩ=ycHm=t!jf G&t\SwNy;k*Mw4)Ρ^pi#ާj~(N}iXΎ x2[8={UA #)49w1%h7>+i?rh cI4#^@,ͺŒ{R^Xe/ BžX!O[E f Vh \ vL2ǮoN_}UBvԏFhv*NakM9VM[OY:2Z)0a4E YҬ֘WcKbd[/QV%#bwXadǶ#$BR,Bq|Lu'CXBR vg`+5RUiL?YBE+!m] 0ٵ#@ @J۔5/49"vfD\~|15AIG\ԍV4eɶCAm'%G/2e(Qg$q\&t@WGńלLBhi9Jcq0cASz[2Pk#u:݄֏ 8^@5!؞ rj5Gqɛ75NnLj qC؞|}{;NY CS[}&Q6ۚ6 cEN)21@ǟ^c);Pť~$]I9NpgEP6MjZR923#ja F&S&XOL, usMD=fT'3&cAf[_KZf.9>靁5 *¹+7sKFTA 8x@(l*8Y4SFyx:UQ1ξ6ӛSY~4ϟrzwa׮X0E'$G$k9XGb͆.*;bfþ4ns2X:T(eq襷ӄgAWyHUIc CKAvi h=1 s2~.dR@!";q$\ }wh=*.-VKD4Pk|f0Zw{Ntd%~-5)+F]qpM+VuԜP$qFF_R}{?3N𰑘1* b$ Nsv>b)l ?ho…2O(B[ʬrq=5Cbf8J^&II)×K eETsYRQ$h!֑_2BS+P՚wu,)@awbHUMkе\8$ hɰƻ 2Y`1,&u})rVĮ ơ!ɑg]fC}Jmɦ*}vdZs^j JkZKZ Mk @ޭ-D8VvιM8~$q*Wuش5=L7oBqw&j>C]nNԗ-{l<ןJvAtI nl""ESj{h@ WaI䡯][Qb{h&j$Dy[J1!C*P_zSJ@{túV5N%7tkӉd|Kq BPWy&SQgɝ${CJ'.#ROo2)nqO#` p `{dK4-xM1T᱅x{C])P( ˖jnN8>:#&lS<ϤGݘyEB\ ҁ8S$U3OB;{|lLJHL=t Q?X@&X}m`OmӨB.=9ܜW*v&8hpC2Lnt)4%VT A5TLK j]Vm$TGEC֪~"QIf׍˾OxB^QR@wU'bɉϛ;y¶S8oU]G6.t}"J\`bW^Mc葲?JHux T_GW>9=) ckDTUQ Y5FZLL X-~ƂMN;[9[}VJqIDFh)b;R  ([uQϬ^t:c-8 ݰǫԟ6Ҵ=:JrOˑa6(YF3! FrpThf UQMhw <;qK7оѤtڧS0jJz e0"ICHҧ5NKj/`κjL^ixO'lN0  dO}.Wع,a4Ն%T ~"+ab 0*,:'i X;Mt)4y5UV!->ߝN翢޺]m=}0&QnqϪۓO"f#HzTsbJ..p ຨR4.D :5IԄ}ĆlsܵG8 lc$s'odyNP`t^$Bቶ>tJKTTCo[|6rXs_ۥP^ib5iD>7L2CN%qTdâDNV|ȧN{Ŷ[bE~xZK=zȗClS(։z _ y55;Xe@49L3/^g T 27cV3XJ[Ҁ=r`BwTUꇭ9Ӂ} WuH<2%;0}o}aL)>%>̗GΩcl1P}lms2RAY/!/g-p1BΎWs:.:˸}ͼ K +C)Lj. ŷB 4LǺbf9JX(G\g#j*$Y6k_y?E.;L/2:?IV] \MCVbjrA,uoaNKj括ePNZ_I}{ꗱqgASx4҈<%-TH#Aav R`k_9z"S(Yv)clJetP]G4lj8_ t*g s.>cx2^1(1kchX ?Vb]UuK+,`N\͐jɇ>;:lG-<ߠaBkhNj`lSWtYl3aQ.?z3cAG+߼{6^ od ]j/"=ҏsoL, F"[mu+15_.Ii({)MĀ` k+Յv=z7:.>r3(T/9>C@בe Vj|Y0uC 2g4n+Bsfgm,͹~6 G&* D S5-lW$ qVRԠauw[tʍ E0 Ն+Y7JI\?]\vG]\mRRs~2w rF j_%T R W[fsݬZ9l 7uuV 6^6~z7tIk.iY30Y1#_:JeT2<[C>[k֥; EL'H8lăBA3-g˻d7J> ~Y0JVݧGV^wџǁn?s_>7%ھ$=E<>yy5uA_H朹 !\do^щPH@(ڱ=RZ®ʦ׮_@< C=,;.v઀>U͏\v1`֠NXo7~jv -@H?8}w03PRŬK%͸=J;ceEe:Nk d}!-vp( w?]4_eP>G, W1t҉6zJC"OhK-~D)CXߪCݕ'MFRgֈ6_\e)e=> IJi~H{c5$pe uю{_93\ ֪[>U: XHAa7MIXƮKg w(| e3eƗu:|c+,.9o3Qkj0;]>ʧ} \Sxboϲ@Anpʧ ly{l-0P4]>  F!ϑI {d,;qݟKxgV-7ibu-aj&GF{aB68; " z/xH4 k:(}3ʺ?K/ {o^i5ܾǻ3Vp(ZMs)E#ă,꠻uH 1GժnF*o&i.0[ðww Y ~ .R/C ,%hC*>TFk>W2j%HF1Le,VF:`'XIXQ/]yޜR3a؞vrU0d&8IES5>˸b}Y$Oz )G8<䙒3D oVۣ9 Rcy.G ; f8]<2.ӳGc?7p d_ tH],gR ި\Ķr=oImMLc~P.>޷n3&'2M)TR+&`la&QDEpIh%^/,j7'qGlr˚cI.hK=AGEm`Z'W7Ლw.6a@Zk'?Zs<7{W[MZOp#q_%}U2 [3i)2u4 M*zEнD 50F"$&I֔2J+D8}0a *7A&Wx絅ӷUr3@&y aƒ,ei.7?IuJkK1s"rq6?P)_YZ+>1L)!seWc ;n](m.0l~T5P,` * po(Xy֥ڱ~zu =\S0,.Q>c5,H~P俽ٓXM2RF];cJ+=# &eRɥU3ʘkd&FzL+a# m+y%{[Wv$+a,qqGpl|Ht%b] - {\k7nh#4":<3e\\V) ٴf}G真m\0;CK>tTÅP $У4v>xϧeJ@&RäL=?ٸaC\}"*=.ogk-F:tݧ~r[HY_E][a? 2Q8x7Sf8= .ViRdaщ [#}Wܯ[.x՗S[kM _B#v BYt= 'o Wl\H~#B+lq@TwdcGtJ_AIU LRx\LG 4\ o=H2 ~@8k<-voمR-1fSu (E^߳V!GTD9@Aqo[]NLj:ڨFv5P^A75VYF/<1ݘr4r-xZw㳶kт5YI\^<vRjN~+-NNQuҙ9K?}Mba0&W1D^$@ʣe, n _JY409:T᳭UlVX;Uvϥ%i\%EB= ՄiwSQfjbDt1av¯H^0@AH;I1} YTwzBq9z=[-(;0:t(-Oyuiz'UN>yҼrnjsD6fM Q`$+X!#0/֛ \[8A*`?I#%s 0 y)TAݟm&>3JE` lF'ʲ^c*-m2Z2\D;7f3 Rb?'.w2=٭%>{QlZ%rF~4 @"JENrM `{%9Vk/Uepb 4 ΄{Ms^a+jnMذqAY ь HN B u:I_6M\l$TO!5flrBտkf%~8Ϸ;9XaYh&t+ځc#<3s2nk^KX Ej@ 0L]ڱuOq-f%"ۤKY-eY~]-W3IFyy3"q0T1i:U_vᇡvmcLp )U9%~ <OuU|GI*>ժ7u? #N!蔪IEiKLT1YYlttNm(ڗ` 8e5TWz8pYЋs- sO&h Kfחҏ*,:='TSi5qKA_! eeIcrn)g (ֺ!FL pVtkՋݎKdV3Y7bζxg|B kטY?mI% ə-KZYr'SO 9TPmKh ⡆gYZ7zXZִF! i]ŗXi%L!l+pӎ۱h)α]?!@\CXQA{ejFnN 4MH0GS884@; 6FEayK\õ_&&eK9j2K_ebv~4q =ƇF~r8Mt{#Xd GKh0:i7󤆼nTGkTQ\ou {>ΛB^von6QR[F-7 ÅC7 SMͲ0-{WuNuz] ÷*UUB7=nE}~c⥵<LJɅc%6>@ +䶰dZٸR7ENX]]wh;h5*ԵP¢Uz5 `_[E#r V%x^ot}A,i< SER945 Yת{kW$:~RuXڳj͞y?3,r4kw9  A繈ᤛ{t:2$PZ*Hu |'9 0{6Pj/3KqMrHK\bfz5M,S"{ܡSC߄1GQ䫁 8֞Ya[t))"v& `CVe;Yu9!P$䖼DX(^1/)LIxe]GKar JYK)UuM' gBaY= ?2 (#//بKE_gc?zҝK^cRiU G)!hTeEW4vC+i(QZcgZl0ЧxR`` 6XjD:wぐR nQ& ۜ|ahTvgm GKۍ0k#s8lyN9gں,x_fh"XY = * \^+GƥYΈ'{6O1іN9u` M(| n`7WZ˱V%!۷Es\\JcvKpTF9f"T 0~V6 7gYZ8804caf8113c9905f3b794de0c595bb5028f36f18215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61