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  9 DlL ]/ Locally-Nameless-Sigma:threads=4elapsed=20.809cpu=70.372gc=2.144factor=3.387zXZִF! 轿]ŗXiɟH)0%oB>P]ˊ#Pf  Ffr;CD O^5i=Mʬqd-UmbhhmwH t\>TP6w 7HWv~eyO@$a`l鄨[V`Fn-l佈 4FݪnFONEM%:A}hV+>"^)FutxE6f4H㉄P`%E\UDn͏B'8.fȹg jlG}XJȎ,O0;9(N 1,fۏf#&>־]yP G,RJB&6@X/zhtsRj/rU5J8Qٷz6_+Z#1b~th"%g *^,RTOҖ{h~*x>{ U4lA<)ӘQ8?CՙS_`p4xߚ>7"hMnVwm PM{%W#2pڨݐbF.4pʜzcfHX6{LU8gM6ݦ&KbgNQ8(udN:PF `2/.m e]no XRm\Qp&me_uGeJ0)]imU8ELv^oΛ`#]76=`PxnȽHXpcnQ9r㗟 *5\r d,8q84ҧi.T H{t6stL6`OR)sӐsBg'D;^MZfS$'@Sq->6}\h-@3Pݛla:]FﮕQwä,uSV94m<:}40!ueFÄ~P5nS SЕ)$"5Ÿ]9S3P m0q m7~捾 /eA,ΰdW(Ú]|Zfv!Y`6]4 %_{a-=/̌j=N CYt4yTp0rTQipD2TPfki_F^ D+X+ƻ̼ԫ-Ѽ':jV&QPn]p0 n6[솣,D0π:YX'A 9~,o:= \0LEt![ ~?40AlyX Cbiuн^ L2ԣE^"2zCoO )”!c;_ikIorD'ӹG?#oq:e3/d8·`͌wJ`@n*`?<ω (qbQ ܁d4.{>ôh~/&˼DY!G7><2A?P잨;GJ[5vp^̄2o`]ܷ ftjm*O~ sK6kiVZϓOj HHkX=]H`87p+`jw1Rdׇ 2X#~kE?:"l3#ttIڛm)mD$=Kxݶ8s:#s}+@:\%҈uPQnfNp`c!_Xe:EWa<Ohn)ɪ>q.kzY?|#=PE U)*~}h T(M?Yb0&7*4ylW<7 (·g5ko\d'atwifx!t֐#˯xG`wju5Uh1#˞ԋ "%QFZ@ :P u({שғk^Ɖ }^̣&% 7^;Q;oY0]1ƓGY=ކ0y zޓu-o7 ׃KąM됪LѮf-Nd޼p$NOW'4_W5(~c⍃*Y'@.7LNZJrq?IS $"}4Njd~Ђ=r7qgiH|^4)t׾:#/4y f_0f.] 5%J8̬ٚt~/Dticʃ<f~pn>SBxu/Ι$_NIs"!6 7C jnnQdJhsPm9F ]~q⭲s -t66 ?X$o!`EsKUetӎ垭g3OxlCIfj+F(л'ӣcLyѾ;"q_0`R D|Ώ-Oq%}/5 &k03yq5se;@䅟N/>B'.*@ kgABWalP$XVNyY?bc<4h£(0^u܈~HHϯ6<ʆXa x xľ/M"b^[|Cs?&0y25ONd:đbe6iGO*_M@n\JWr|zd(MaC [ ̧WSF<M%m782׶~`1'{ _Ԟ-}kBQwheY}%M831\?ܑeiϩ3?z$!Wzy@(ߥɿ$h@0jzEʱv>D7ֹ'Mh@/itg+%apZR=pGV(Ş־uH\ėFHFhP h7[J[ %+K ?RJw|b[ֱJ?8B[ ZK™3zCjॊ;A\ZGLخ4=|X!zktQtphי%&҂׼HUbqэ#(X(>X?2n[& eD/nz:V7YQ?~]nC'X Ҝ%-rk$*tVqxZ.+M\5&Y$#x 6n~2?v E`\5Nw#iy.ht"w wYd#y[>J&zea:u=?,G.ʋCj!yg><K5%ϰ'f233,]aW~Rތ%PbW''ȮV["xuvWmLu\p&6 5HLe'\ܚ@x&L+H')Ixۆ?e\&y ֺog Tb-rZZ9I[;?olb\'h-^ f K_@X,aUe .B۬Fކܩt*eQk:;v#ACmCQt YMNLF讌J>Qjq﷭w; 9˝6*tCp3G2O!dLmŵR\l61 JWsHTGGL91E]JJkUF(`߃3Obd #2(߈҅96lqr ]}r񫔩.fanX UD<j}m= lcO}ϔXiݯ(@g^̲M9&L{u#1C薭l؛ PM-S SM̀ ' ˪ǕfYnI&>wO8ZS5dx< pw7X~/a 'DX(h9n(Fu}tꌛdubjvC|;1$*>((K1A_FWm?9VAv˭#nOUŇsNhK@Hogc; ,Х]?HΚAK*~i#3dZ]QOE{qar_WgrH;F}kf?EٝNѤyGe.gұ?<9SցLzWy/1PU!MMh ">0M+aۋy|&Zߎ6J|ȅp[JZ Tuܮ:a#J҉7{b?!0X=Vgi eB^O_RkzQ,¶j l@'h y̺PڙiqDǚVя4#!g ה3ÀBSbUb%LO?%uɚMH" cωH}2O%X^s.i`u)֎ŝҍTN^$Oib][*8!֞Nhr)vӍn̏l=աIG 9)xWk<"hüԝNDg:O.=#XSnFȦpU-$5Yx#-ݑ{ g57C[GF"՚?rX6KWo ˍo?cO /> ŸȐ? ԡJC--7yr8H~k0ӎ϶!Y[# u %fT\ cO1@#k.ChW4*tovҘʽ z|n⥰i*.0 SK3G22ޏMaC [Yr퍑}AH{"Ks$ ~*@-I+ meb"S <_@"ŬӯoN"޵{!.U1AGple=nZ+qok2 ݜʥM4ѡuz )̛*2^J 1P( wK8܊N*GJ. [݄ BŒèW{ܶ('NZUWrtzdW,,IκN|ӧ#' (UvhXKl)$! n"'|xMJm] $p.H?tsE(O"oQD=HZY)wY:W:ۘ9c$_,_` 1'̝ѝDWhDTp#fB͍pnʡ$|; iBmA1Rה/y b]z.CrapNx+ z,p YE"8ŷ`'_HZ?, q-8 )ʚ[v PB:i{/MХDx=D=;mW挾1qf+8uJk:)RYA:edhO8oל^A_o0'i49nnl~ ('V-cHǻ?`x~{ե&9*_M^K]cwF Q_鄐d.WuL,O\j[K}Zҗ/VV4ɣ~Q< L+bW{RiuP1C(hńD|mSPS} 2`'h)5bI] ./H1}G9 ;RkRY{ݔG^ <W)>IԪ~D8&p@C|#Ykhy^4b4f sf2awcz DH Ϙѡ:!o" N!xu+.%.O ֝lbU }[}~4JKGIEZUwH]c`fe;ϞJDS)..3vrEGr$ `Pw޹"Boe: ) ׀P2ƪkFWvh@J8 |NL}[̞bqɔ1^yb fVmp42xe[C$Gzӯ|Nypn焋+?{UA d=,r)6 f'QUza:W1 m+89]Dk5&_lofYC~i2b*X f Rbͻ BѴ-Z(e1&^DSe<%N@l|4n}R٨[V>X*Q\#xrRM%\*1"q2+P!u掕r]0  }PZ(/pl^"S<& 9UXRnz<6ʎ 'd<5?CH }e=VnwsH]qx9*l8Qf$%3) Wξ{YR:4i'䊦հnc2K/7(%'% a?/JI GZɬNMZ\q>y s[|_?YYI q7o>m\ NjUF欳Eu謪'- h}bBb_b-T6{v\s,ˊGTP0#P-ǙKH<J@~eq_C TO&KM,j3vs£~ &x"lf+{jצ6xMB'0e|jpJ=\2$Ov=v;iW+U{J1-ogZ;!o~vdpLiyŀ/mr`;ri}[zMz!rĄ.2fըfPOY肮f|5~>pΰ?pdKn ^cw_]F2s9gVm֜k [= wWʦYukNJ@2cЏsJɗuH]B> iƆ!e%3üvO8l_9&@CȹF vP؈^U'5jC{҇? GWRoKd;0W~-'pfZ8xWt;Wg1-OXh%-w\fTͯ=!#*‚§`J+.ݟ㉻ l |/R%Ю!]u3FrtQĈ$h2bw*.34?&a.'酂w_wlOj<\) .B\Ida%Q`_:xqZ5My,p?ӗ/27n: !c2kͣ9`'J&|}?_D4 7a>-߳+(sIpD2>8VN}gbG-륖 N;{@`L+Ъ$')!3, #B#d6a:|J^B CBQ"SÕ;K&7*6鏦Wy"9D:>$BlG=;@xNQ'`go4}x IOv 8E, 0ξNֳBV~o/$kաGd xt ygBൣ8) AB;ȝJjOǫ1Tr[lЏm?[P%<fN1޸ꮋPtk%.D+,8TdlgXϭUhV WOa8'$,,F3;qtk]N9f ѽf#K?I/GEۆtAd5!_2go>>7tC*jOLD\]ETvIdB齱l..JW߼K=AFهACN$٩#Lf>oa&,‰<8@ږZ$ywZI'HuRЇK \"?=%+ _a5=YJxޠS 7٫=aCO|-334n8q,r_vu A;M.35;Ž HGR×jdT9MLp;&v;V[PvHdᲆhMi e\S9\4LAiޔ;s*s4F89c(J9$˱"x /Fs6}cG CZd,P =τȎ)c%R(T~bͷƔx}1uMl)pJWXj {&7.߸ oDZ l;-1|ʃ*/Hh1+cպAr/l5W#N\K!JNiŪ'%{n]$FULjaY"ΐY'kU &@w7+d %KҴ X_v#v{έZ 4v ^ Ǔ"!3w}uw(HiR1Pfnjma6 Z:bkHXWKxo8'#U.[A &67MdS cRhTZ瑚\o0az*_%jȊa{Rydy]Sr~<ևGU tF8¨Kxu8%+W?OlM[sTQ >D&$gn2lk-`Fd#1((tmxރ(x`A^wRc0Rs<1^^hAZ :A[JG"D*O^76laT<$UGBFr\HF{$Vq9@W|{</2̺!>.cw? CgV'[d1 tjES:Oa9/0NRER0GbV nnݐ5𨟤hC|62F)9c/|qpĨRLir{S]8g᫲d{q+!$] q_jgф4`׉Zcb@zcJ<4ԮRu "-n*:J;s/;r&#n=C9*1Vs$ Z_>Nˍ}S&|m<9Mj)#Nn5%K.jjE}Nt35_@%pgR]'ais!8bEDٍw!Q'=J%-A/`$'Dj-IibQWfOS@\8!{Od<̄4c9Xƅ3G\t~j'ue/%=h ] *>nx {EOXV+iY P[ͷ?q)tr5|G%tvdo k.};̰͝R`B5ȼcЫOto5)3N}MxYZ4;lզ܀썰zMѺ{ (&;]|DM N5TĸN==Q"G[m+i oxt cڊTĤ jQPyuY÷/J^n|9h=K.k&b$KqXGįeʈG?UC6 h#(t  ;S:''gv/ 15lo-,JX2e.z=` O9Dz ʦNA`쇡ڇaI+fG2By f]BìAUkOXcnLJ#{.o mcrƿ5wmv{4W f@)W~`kAG@ qP-.ꖄ-?,9WI ^]??[ot#w- 2qvJfc-sݔ`2O#%e2"59-Cs}Br=i;b;: /޼cYu߸'[W% pZyIQWY?5Pvfr&1 E3a]k"G^92d郻͸6fVzR5z9U#1yQy 1ht 9w[7{F-GH]eAIt}ЛHFzr]UvT*BrV®IfuwcAM͠!|E&f ~MCbYރ\b,!Z8ejdnǎpQ'i O)6yDojU(:7|zMGJKd[Mh&MYlq9 5*U<@4AІ"7k-`̣_Axg8mݐHB [㙣vbq 1A&B͙KL׎sC Lh9{G:)4'#, Ȣ&v W3Ǟkj/[&H?gYNow.7p"~hw}v M1Ɍ32݇?%5Д+wξ7>8U$!Wuq[ &Ks Zp)4{KjX~*dX+uY.)ѬqC&r521Hə@ksT itٵ<6&$e-4G܈s;Z1sRfV q)YࡿΡQ5rX!,b%#a+mDAIe3z' )D&۳ӕcxRN܎g^]uD]^APQdpQbT]b Mם0 Vň {홽0zU!i7>˵&xψLP$"-*#Xv3;csub}QDh"B}&M #N~:Yˀj)=,-Cϴ=$TMxvZ&_  ѥ+NŘ7snNa 8ޙ ht%]QL}5.$0,i HBg m:6[ocyo=l>sޚ ~=(5f&?= XV떏%뛂c ##k_E4'T@91 wURۯ_okz'N"ENAyfN l:{\FCGLCeIMjA9I-w]agU3g1aK||7v p<$8'%s_8 9Bκͦ_@/_ne 49۠nw\"%l!{KCjKmd2Vc҈/AW4R|웼 }.x'*OSkOa])4 -4FIK\uwQj &KЈ+$hn{&T%i3a&/YIMFt3H-F)I +@۪c)r-i8bbL.qZ @XJY<?k(Έ[Z)i4YL\#bTC忀$Rr#rjZ t+9t+_E\x4di\vٳe2Hku2 %JŽToc M;Ln:Kr!qBr+I46:ar9 "v_}qZhcY7 #(R"7v}"rؓ$IRGkX;J9n$ }ya*8hMxX=`r F, *ŝ/N~ӯ86yDCeӌXԾ@g a^G |L40x4G()ʂC5ZŲb;lhbz8VR*E 8(z:ty(o{ XFS.m_!yf?I4|,&~EDnC$H_IX$D.nײSDNJ΄B*"ngY5E(P 7ys= 8֝X_4\$ZWV=p_~H\x5Ur9I+,EڋI lXuD _ j ¢ݹed-EhUsoS4=57RA- M|ؙ1Lzfj 4qI;h7Ʒ8C=RI5+' "ߒ vj|5CHu+7 EϾ=Js͘(^B, d clƥ.>EO 0Mx;e'>Q-\0v PlH,Ι@$؛liha=A4}uFQK}pxc, ONT!CSzsuѝ\_;]~?=Cz)rOMF"^g惊dۥ_~ *"QAFt ; K*mE'0H&n=agAq!^~{" 9i{U:aJŪ35)xNyb᥾vT %_w%co\!eR^9|q)[G!JZJ#t^fWlI׏Q"8]CEO8t4e,K],yյ-5Pr8)uc8* 8lf@ğ] .wZ tqPD(H;Q1'FE#NީR{}|e_E@bhRgOyK\=XEX|(1ۧ okWUAl#hNo c'j#|. y)I }5*ƣ q(ܥMpV^WNX>۝*3^+i(A {ڷÈ&L^I?d j?^wbcQ@[N]S0"D f̪ܳ 1uo9D&HᏆ&c9l};%VԡV o(Wg Lqz\>w )c'@?EFB4%ַ [`9NPRfMY~}~'Rh;Et]|YT K/|;E*T:_}SLbp};=R>q8gXGRvoZ;wJ 1yBkQ޲3 MҮ͏L%GYˉ'j6 40PW~9auEUA5QXI.*p_&lkj$CA[j8bN_濱=.R-zQ8}}{;8<$(J\Ty6_mP~_5w{Kc9G py0h$q$ 쾏>ٺE&?0o|q>Y52TJBi5 ǎ̶pJqD iK_g2w =@ͨ㒪Eˬp"0|\%Zk7&)7cDC鲝](Tl]BD0[f@ʵmߪTy֫w{M)XmuУ(教^M zsQ1!{@<7g80he|&.>n#y\cڊQ_I&s]4BᓾG'=Wǧ&7"=Lz\1/*wNl2<9_2!,\s8"z.2䒄u2 ;dy;eLbbj,Fe=8"CV9m&Q}[^`# SdPeVӭ[CӈeUC}7H3@2J[g͒~ #O3-qȭű?|׽`&-96<5I1e]U[ƒJD+4ŭT]r*@;f6c:gT7ˬx{OLڻI2T\JdI˻@ZE*tRx'kYX0(ZTp.5c ;R[bWae >jW|ePn\BCTעW%åKOCf 3t~\ABÀGʂ]aItRHfKy[ p C d.k{D:3(fldN>kxpktN7mq}s֧,~>@mWge31r S<ԱOL Q0sp*e>UbHyn9K edǠt5f.o;W ͜W_&tk䌡cQ4BjsMKa' Yn_B@J" Z he.vh$BNnUm'J@3O].9LX3&:ϽBv256}ꈱNt=sۺ KR~uN}"jH y3/׮5%|MӈA;;|HS&m53,X"'*M0>QYZ2V~. SgD埛KS@Hؔ*% 7aH621z;D*?K{+ ?VU[c<v M ;fׂa(bmoo^!څ&K4a,.Y2ų,.& *;0@Лb| nT; >hM7g&-yƤCJ}͐NıTyVETsd ~jHĈ#  mx(fXLJ8 jaCgF}k@ Ci(vbu):U_CޏeQPU9 :,QII0?Y;ZN,1e-őzC!^x]ۺ7U#H_!wM6=TMnBC =_:2˓4Im̭Epoyia84NaN>U#*Dİi9ԷGfT;`ӌaFzy o$@ >gaej7DB`{ c {Mv"/v5$h`ÝIEnWL7J u<6Ւ)/ɘs F1;M1R3 2'ma|qqirNkPd\NޭtO7+en'U)l_wi@R뻞׈,=A0qD(>3h CM8#ڛ "^7^j '  T$#CL:)&ttn\]_&Mpu 뢅CRxc%."Jad,Q<=-3{Q=`_*nVjCᅯߒKVM6(CdkKPMy:^dFv1Y6RQ=(xpЏipP zZ9Tsw Z0B RZt3X i2yNS6a,oVo0l%z8'퉩dL(ab'6p<\n*cDŒd"q@ޱ id4xG褕=њ녱砛8<%Ȁԉ+Ayoo_B(%JGCm E5lKMP̢]%-!!JT^sa!;Nt' >̑=1G@&w,r g$H>yXQ͏aϛS5<,a`8 >ɝR[g ֫)pnQGܛuک EjN]gMSr g k>]n,Ȃ4AOdSoR_RECH0{_xjҵ4(Bld)Fkb8.緤>x"sܻaAfrX+\E8ݶ)/9:ُjxM^ӈC*?p8^~](768vDƏG x {;'KM>@h#|;OFXKs(jӟyO#pQ;zY&ߜkyGpF~Z`t'tW*끇 3ᵑ[)<E<ا}&9=(@e1>6ȔCx>in!&>lrIm* ڻj @W\4l,IR+-QpX'ZK!BRơ4YǶ@,C^kpIb:Ko`)u:1Jhx["PiD9Mpx  6N.KmX9T|i~7*|(_A/ɢe6~/4amnPcWEMb ;֛'$*]1҃k?c?vc+؈,![UoJ؁9H~{~c$* N%[B$~>,{hToBF%6a-pΫ1b6|]@#λS { |?H5,?JW'ӄ^XE0[9f*Www|#:YL}C6hY_7X0wGHəN C(ԣpO7KpI{iVꑤzk/`tyb^k?Du;iiifRngʓ0`7'r-2yӳIL4uS9:I`¼K]?y xÕvu0?¼AlqM?uP6I1^M$`:y ϔldurģ@Ճhn1NH,sԄtQs{qL)rȍo?:bۆFzR~_x-V32 ZtxRj~ Ƌֲ> 2R.`B~#AR/5<:Y(8۳zd!>(%K;ؙij_:"]#(١b1Z\I _X]N '2P w ;<tGdW@݀+sL (LqA/v@]:Je*w同f [ҕʝgjᖒvfҬ=?UcJo1DZRӔQ-vݮ80-jPw69]i<3y~WRfZ-~mcx\3 /MwYZMªlL9QMyP"p7p=uf:c¢yP/ٵ>vC5o)[K*Ma+JkS,)47; eQʏGLCm'|q hʍ΂1vg+﫰E#{_ wQbtOȉs9)<HMj Ą֚mT' {d>FE`gN- VeךG&Ybڛn(b>JwuBV_S3$3>Pye0?9y؞T\HlPȴCs֢= c%^V\av8=#Z2?qr(Lkb˅"9M.c\탩ϛ#kbq]ҪEcՒvcy%d 9h%*!O6*ɀqAnT>_\HGҏh@KXA^ _Qr""G0Mi2?9YCg%Bp|B w./ -`u< _{}i%|h aT2IÃgY0LsI }lXhHyI[6DIPKi>EOАiKr)%<T]=$qvsF5&mrN৞ɦ-!4Ƙw}i7 y36;^bcə͗SV{4qL&) _tQn~KSג&|`9z@8n023 :z:1]R;U>:{c *Ge޴K2e E+zLv5O"6k+xh=:dŤ'nvnzAJGm;UUGDҝ&7 _m;c)cdAU9eYe?UzAQUDJ1A\$dkPuK$IdjvewoH cRSf4 Sqr`K&Ÿ39O'%@+0x!z{ܱLmXĐE= > A6;ʹ cL "xja_i G 64ǶqgkHbC4ywTydSYw'#$jⲥ ]FygQ.70[ZmNb01~%R>aHL&%æQdkH>%xF-Mjt7Ǵ/ qGBɃ^fߕ&,]3 /ɘ ".>\ē7P5s5ZCw)(v8W NE2r>PPTE&\uceP9,!F (WH- z@ʹ/+2-9ѹȸZ~‰;MWi?+呾gLX}N+ NA.=ZLT҇?=疂%~44.|*إ*mZf+QV*%(cdj9nY-HFSc7щK*Y6gTz_+ɚ g>4ֽ6.@v@[ɰ B@>"UC~&]W_j$Dt ".K(S$-#.<~nɶHCa>Ngs+tyKtF#su؟@~,MثfpwVEqOkN8ʷ0XS jTp8WlOnay I7!-a?Ҕ brA$Xew3B``:1Hp_BoҤD23?)C9ɡ̭.`WёE)oc@VVvG7eL3:Z4901/)W$yLtw^w24kqU[ӥ2:1WbD`#v[El /iq]v݈}C~ C:SG@#u72;յfÏx * ZG3Š޶vNզW%ZC]_Y/ǼId-\fa^=.RB-IAW9GڊFZPd7/;1b; (hg^{x ?85V6?YKFG;wWzp$ dҫ1 _*Ѷ'RZB"(K ]5&6ǞQ~|KOUUX!/dvAP{5vC3TaX VT{i&2xzy[bEU #3]B}l9Q7V3u <&<23*%?wHQ@DA< SВ,եF>^T#@Rw!pn'(2k 惋k[p˭LG|@7bFG ?!|<}u[31@&Ѫb#cbduxR|.61B="s[Q|>$tr4c-rJz)?fyELU*hX'4ʹM'Q^*-%w2AB`?oo}c{0wϚRNcl])Eh i3u8|~&+ٿ~"{V Gt)opsP&KV4*"A-Yu#fflжF ݷ(_=^2Q)EW .dT쾮z$wy s矙_|INXp]A*}g-h 4QF l149YYp$;ʉ-7`.fljVLh M OwW-Z:(,' c) vTz*w;#z^ -'~58s/K[(Y0Y ~S p; 7 Šx۹e%hBAz<v>{qLiÂ9';Cס>\!p˓+M+TCg:r&(&MP8u>GRh.O9ip]5A~I!X%9lf7f.G:?`$ R %!ߙ'&]n> |ʁ0=cN# rT!9Dǥ) H6aZY*܅FbR',h%Q r  ߶ \\H7ŝ&E_{ > )e0 H_Olud%ٺV3ϕ21 |'^Z#\뭘eՍO )-#eimqgy]9Eބ/q"-9<EF6_be@@ko' &ekVKvz܈.BQ073](\{Up)cFngH+[=>M"&Fb /W&m/xHsݚJW0a!PAA2ԔRdD-j^As\` ae8ڧgtTL=i~94QS`S\' }QLtf55&זw[Θ-ulJE|18+ WKt'lA}L_ lÈ00~@`5l0ɉl!EHmm@@ >eqxh=q gOrI/Pܰ#C'aֹG{oRN(0-K $ONK΃oRYW%u{{/)e XVo]DnF"kS @@wEot+n"RL\ڔwÉ8~9qY$k}dnY~,Z#Us7uynPmLLזޘm^ѺNV+\Xqb Z/P3Ȋ7y%V˟nTBg0E1["z4 t@fM+ny91a/'BIIuLl_a- ebl@}Ą[y2^0u?2y ,?v<w5 XaD HKxxlm@638.̡Y[| fc[Oh"tPKǯڂ2eHniH],{b+Ӿ([;0M5W4ݶAi&ԌNiܽ?hOA#.w[@^] ^0}|?4@~|1bdf{qjL`y)ճ8}&X"4Iw0!>8 {&)~룬{|yw;F^՛ө`Ŝ ;=N'bo9vݜr.I S|=?P^t|ȬZY,] 稍4;L6EJ|(܈kኙ-x?۹:%:A_DIZ~sWϯa; VKVA??5cSdJgIHK6)DP'Bg9 ϲDﶚd|*V<^h?)u[yy dH뤘ZvzCM YBq=.Gov:㜭c|nVdR󹛈{+/ȵCw8=ű,G :*PB#\j8]V V.jBn|%ӆk"bI"+ A Gmu{Ԝ˓iɾ>'jP &Rޓ٘//pa XmhsRo'ٷ\%<΁+iq|f\)K$΋}:_sW`N<,;yږ\@UA6h>m`I %T_w B3*mZcy Í51~6ыrؼJ{'5;nj܅ωCU?[˞I27ͦ#M;DxuvV!X$<)bԋv'cd٢r^2 pj[P~X"eG`Ju\)e+ѸV/XrV(d8[rّc[̕I%QѥY 昞 D~9)O&|SY#ҋA VʌfEp-j[.g.K}Y~3M)W|&48^j)SaX#I& ,UuYPaj*CE&4 '=nu'61BMq.1Ȁ!\xW&hmy w7 kuq6N)8n wM4[1NW-83 5 xlqb7ҀṲ̊p8s֋T_05r'r-v [?ٱ?'#0|VL >_V%o,'Xp~ j֮m@>6n6tSvH gZ.ơi+|A^뒺4 a+ e&KOIAf§_|_жvc {Gz/¿6+:MU2җYJLbnfu$,ڻHQEݚ0՞|RԖj_wbx'TnGqQgCiTi@ y]nFsCU1d.k0/>0rSh|i$V2#,\]iĭCWma'9YYd(؞Xɫ\'qΔ,I5?klU}g> &+EMrb<5g@eɛ1hס/6@ ޙ"xĿǛg!l,C ]k)E~!#f0 TR4C%Yoڈ,9S}5s\; dN?vbNJ_Cy{|3'}5!%YMāܒF=E"2Xp%Zl8z1pD͝*;41;a =jvUkrD9($gi~h[@,JI㫥8+C2:"7HTZ3?(d`;{Q|7{ ,xzHa/2%ޠ;-yz»DkP !G&% h yP-{w) u,`; ~)t+r_e[Ä@ҋJb7:U{Ç~?s|O#,t29c~s'Wif%fb  $'c\A̒SiS~ ߀j}'2Ra5<‡:*ٮbV93XaD4~\@oUk7 + iU71pdA7Rmǹk܍7PtU7/MJeǦƦ+(a&\H8 Lp8 UՉ0coJ+hԆDr>}Pū.2XG:Xs*ҭ>ΜfրЂ?n!SEpQ 4=B{+PD8)f)x7:-uO/ǚ@Gq@pp_dǝ@Fʆv.M:mHL cU`T9ԱN^x1N4BY 9ګCLϱ5sfpE]zzOsg2ՅWwk|Hi)g*Lx*Ws VR 3}pP(x KuɽzW..= љjѶubδeՑ,#<931<%W 'J7 "`qy/vZ|ummCIp/卬$XnSbetTYQ<!{y h&<^ {JcH1j~ d[_Pe hG8^خwhڿa|[h3D!F|% hNמ7N>s&|s #Z;>:V-D;:ͮpEbJlvO&y~%(!]7nyƟC-+ٱU73|p(ek0~:/L{K (k&2ڠ|9zCMVa/SS+hb+[S#?)wI>8~O0 "?]6ڦྪ>E|!3|;CNeܴ1-i.ǧ1OKa;p'{_bĸPXC?zCɅJq$q+\P^ ReM7Ia~Ԋv`[Euݿ!٦9|})0wF~6P'E߬6h=zK$\'K̃#TN$k_bQU(9"3= !&`p/zԋN:1̃oi'gPǸ,esry_0ʑeݍwb|)FRZarmT>D]L"bÍHSocLAǔ!8D!0rɚȂo [zz5M:TOAc.s@ v4cͅN<S{3Jƅ].M1_> o"\/RjqYoi*^ y˚HQ ێl\G#D\>ݲp}!R.HґyUA*b^N[$T%ZK( so?RKw:\vapH2Fs2f~pp3ث_E@̬`o+-+RBX$`}ĝ frHԝk:fNoK5%tLGSa0ƃH%J.PHkZHyoAߠwgx"zm3^c۝_da6K!&6 ١cL;ޚ5S}y%~ ťLxwsAzш 75n r2}.f:ø̳]2@r<`+ F^[&ںzdb}}g /܉r؎] $">QD>|;:_0f)]Ǘ~g|Q-9?tV\-x2ӱSP4`f{eZgV1~Qv+&sQBu_Y\m:UCakh6e 6 =a'"~B;ý"&cqyD~E4\ ISUzaPhφfZoWv'{KA7< tV2Ug"_}ZvǗ!NdNQ/z@̬5MyxKa1m#8wSv*Pn_ڝݐ仱_tAxqT2ȉ2̆Nc''asp.A?`DswU5+Z.NEϹi?֎UjǖrLZ oD=|<\A0@witI)\5KSMZkXU+KB9)dڋfLXQJ'Hq@ +u.7E7٣ßzo15JfH)fWu諪ੂ$YNı>/#dw*w,<1^r54'm. H0@U+h!'{\qRUptVB4lzX :BrCz3|ʓ/-o\%C-Lȝ[pn(9Z$iVh`H'P푲u*D8q+kjυt3U82ѓ R0;2Xg)XvHS= |_J@[uM<V2}a݉x̌R"x FFxٳW"b+>(o\b|A]~/ys([-yɮχROB7< 5Y*`0i*0ѯ)G$s3.AVcRܶ뤼p.leQN!ܗ#N4WP*{?Oloiї3wRMF.}&wzp y%1V=2|A#4tO?r*fOLl e+zX?Pg!wLqX ! !Z+SuJ9Z%D!z_ "ŝox̟j'sʎCa0Gwu_fl(ؑv_k=<3l=t~{pif7I* [gy=ڮ!p# XGAν%[7MceZ͹5RtZ66<AζrOיr2G ÷'u#ND:ʉ3uԣn `CӗyH ׄwIF@9:+j 6}eePʼn XC;CqcR4|CϢd6WMaڣ?*o2px/M; ~Ʌj7JpM0l^gKH/ neIq'o x~xA/#ƥZiФÀLyg-xA$N2:T]sp-i$'@;@A+$l2AKfe *9Le Ϥ0%%C.ccGG9X,-A5 L )W :1ȒUF*ȉ[XW9˯ {_۬2hl  @ ?i_<$ ~-ZF9Z~[?ݱZ m_vѳpxM-5 [E2̾_ց] ]mknnV6tU4eG0hzjX2ɞJC@4n4E$"7PgYZ7zXZִF! ]ŗXiɟ11bu)\pJoHmX.Z|HičqFze[AE_Go8v,K ^( ;,]efz qնr9KLw]Ņq9`&n, сgz,W"80 BĖQpIU^l KHw.^ז4u f yxlʪ G"gYZ7zXZִF! % `]ŗXi%L!l8_tۥi.˓v-5,XB`J=O圃0މ]hx$<>}0ɜsY!  ؁ 4[).ɩ?=iNh:9;04i胥gS/ݡ** uKn#&hy  "V7t >9&2`5^6ѹ2X-r҅u Rqu7[yN[~Bq˶ rsS$1q1RpB{3jB1FѯrBr^T.f%fr9^.W&1R i72A}yH*(:;㕿_g RK6S{vXN %wsYmR85CmHL,;/KB&SLcXm vt(fm6Y_)Хzxd,A"fpj*|J!U|R3{gyAl寿nxKqGKK-!nL[G 6; Z~e! ؽb06P }K/irt@Sw5I[ $%q <1/jcAEξHhzƛd&{|•leVƳʺ 3I۹&cͿ"&{qJPr  \j:i.< vѺ]R'V]ԗ'͝[lG]qqe;rGҿ/gkԖ~BLJsaR2]^Єi R_3guݭu|)7eX>]K}3\"Gdm;34DUǥAKUBk}܋x1. ~剰}4Bj´ʲǡȂڞ$֩}@r'6E>wϪKµF-͑# 97@/x @]ؕ!:]f .ȄJ m[$aE91u6ԍcOJ/*>Nqx>r 1X B]fzr è|y{B6NwZ WRU~" ݌ΕB_GJ֥ CЗzpMsr7lq' 7(f&ͩX9Ȉ0fKnu_7 #0en*d1IhO![:edG 7G:R?{l!UJaV륟y-XlkY6BqqDłUўHĻHHUi:pΎɖsF**+JEݪl9\i QGG lo(Hc⤓EiunI ;N~,i!~"zûu~ZҌψKHJIB%<-䍷{^N cg?DQU<F/jH'vK'>7Er n/=gI73 XRҳ4f} .j^Y,UK>UM_0fR JO/u:z29d XI+YLz`v|[bşȬJ\v6vn`{eŒ}Qa1-$[Lr黱r_@}Y9pǢj%KykDϱj'~0㸬6sBS[Zvz?f*CI [ KBqۯ|7'2sS]PzZq='iC mWC-ZxDye$T]kGX}sS(8U9;byj]I "%3B(:pQkdHЏx,džBx!Tc.`b?gYZde95b5ee308f396a3a098ec8525217029e1d377e8215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61