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 l| t ] Safe_OCL:threads=4elapsed=179.846cpu=341.964gc=21.908factor=1.907zXZִF! b8]ŗXiɟDYK<;!lFb4gGeM ?e(tL%nfs m*٨[ؽXTnZHHu]T5 L^\@)&n8Žeh=!l< S 3Cݔתb3Mwh 7oQ-'2\KwT"%iLRDR}.'<r`8,>r*? ( _~Yhm X'z!V)`!=f, k^^ӿ6D:]1>h[J~ףު)P,Oo.*&5-j2qI2    Safe_OCL  >ǰs [+c/)D\RlYijYh:$pDe5¬oҎGyc9h18F!95Vj-|z7S[(PK3^Z4욟Wl$TuPӆ/_et*bsV9I?k.B.7hYR<.nl0nLh sg.ZuF\Ӊ͟=ٿ8z;MMRGLȅ3}:iDfZt'o"G}Q}N BC;cBt|sI3I8+40`Ԏ2'GIG34< ;HQx,w7d C>wۋ3I!rN#72{]?Bƺ;>QwQ)."s@ebՠh01A=v%S[p fm[ObqmJՊ:MA ~dr8Lhg8n=1W,S&n½D`;2pn0wҽ8Nlρ'p. $n/Ozжvgi}q3w>g T~Q=D +|"VkfG< rǿE >!~=bO5ϣ&ΖsFzeaⷛ<3u"=ٯU>>I{jkeݲ:2(3m ;mWj;"BJ$mJ4R=hŁKKCsR}@I}^:ۑs֎ 3g m*`'\`M!f3rѵh2܆}ΖF{}akI+Z,*J{H3:/ҝe¾:cؿj/c#23*y+J wz\L&Q4GtESEjKMrɵRs/^{2}+E( }hEtڒ縴dŲt!6x%B@`Vo!Cyk&}6(OtѭEږ o HKzI?B~V1GҒD>-ˑgRRİnfgc7O =nV~$Bpt˺| GQM1b)XLuY?Y >J..>#$k=sJL!'W2s0A+ZX 'jCˇ5TpA LX(KJh&l;cl;džElo.z|M/v5d7pH.%K ĐмxcjGA1xγt]G) t]n'.ɹ[kBnmuKa};i6vަVO`rdF2YrJuDCs}j-au0a:hq&R^xȘRgơ/h )^QhOLn6,#r`D]DXS& oEٯD)1i0NI)Yh}jM$R||Gjy皛#lvd467!O<W{zo1- qZlUoc޾ٱsĈ@õ`h1ˆ8eVQ1~^;WQ-`y5OuC86-HzY(KPV!LKT e)Z㣰Kaou`'<{C<2ܗ`L'`#݋+ޣVE@9} g:bJv䎫7w}gV0""J<g?me&#܇L%KImOl4#'܁dxՈs~kCXH]+*\/R8Q&!-KG%Yt͈մ<3v 6P M®"@Ùs7X+,`-)|YMA2(Odw^WĹ%()5v'ZiՋbt@o3%M¡ZiTɴѦSD)Em\~?`z` OJ66pp? :& ӧス8/gc%U5>]!6~fl Vu# l8Zl?.9ɗM{2)5wMg# %GCjֈq@МI 1aFr 1ŀe*$,}$a^d( (3ڥO WfEgMһ &fTwqRKm_ʾ`TPaݬCo+ exnWt'I]_ 'nH^$]Wߺsj5E!/<2VsOb׾LUq QkfRˇ{\Cv /_mzPyqxސne/289SKnӒe Aaf?sCz&,eFR~Dp (2C:YCE_z6Lux$%)n{e-D%Ҁv/*2Ϡi4G\F%;<@kБ%KUl|G" Iڜ*pieS*mw+f'̒TUz%DZIIћ- :xқ4Oݹ+ rb1u $53FEBԵ1emde>9Rcmu1S)k*No w :1JA؞uF'6*WȌ|"ծ//dJS7i?u-r!Calr#/>n^nH||R +O"h:`.À9uk{{|GV & ٌ7erV/9oa 䉾N~(H3LO/ptFp]UC2^uBg+}v0SΫOߩx̩h:FkW7v6vp`_G5,Sb{^T{H{C?GCڼ1s:yV9iJRSh[$)sOiǥʕڎVa/3}9QgJTۃ9 ~4ybrM?8P-> be# qXyyA|fkPUFdf+5{=e bKyM"?cL ^zwGw/x);Jߘ}i_msEm,r8 ཎPC29,aZ_; {yy f!bL^e~XyjX7vGoJXޮ…N`+7ֺS~x)^_כ21(ym)7^e=hP2db ~S[t \]_뼒<6~_).tĐ|˷V )b^E1qG?o@ë4 $3I+5뙟̧)I.Zt{%$ZOw<1W¦Tݫy+;a@DPdHUB_5ww5ANB rkcPۖNJem+uhEU݂sBioj* -~jKPلȧMBY9{\٧}]+);xV*$JߒYe)8[D`$/Qzt˩q޺}IIzf1L R!\Y){jVc= ghJ߻UK]ՠmK3&FQkyt;RE*]SJcZӠup%l$6}Y}F {w~TYPgSwA c更RٷUCL&ɋ`}eѵ™U #G{^!N" Z1b#DXMύ +ڼЧWұ6! ;KXcLPS+W%:>dof NtJ`Ne oam HsphTOMH2vxYg̪Q."AGS 9ܒMGza yK5qxk"m&+=~E19J] 韨",i>28̑(늬̢5AMgjW|_ k-me-M;S\~5Ac @A#F-rǐ=Wpp4!'a ֐b[CT8u1gGxҫ"8#f'w4nדIg}M> 7qjJcCf)smCW%auKC̨?ӿCCچL( ]_ֈXGtjn8)w7h!f6ӡdF~U =i׵$W'x\C9 re&3d/^XA5j̸JaQ.%1tJ6.!l0K3x?װ$VVUG0 g*}y DXtŋ#D2Ti|D+#4h,]N;`NOz{"%a)31ԃV ,Հ~CN1=DCiLGʋlo1E=ݖդ`qho,ƾ g!v\=;4`ddQ 4Ø_|PA,?%yl<9vMogс|h$Qp"RKce\ȴʶFha2ύ}㯁poq&8=~՜Ffi}AʡLje?IU/E#4mC1/|U$ 3rzYȥȊJze̩&Ƣяw3n/M&?ʁua?SvOz7`qA"oe^ :P: =k0ANη|p5$ARԭL.Ž o*"qP ﱓ;d[Sdlل͍͘c^I/(nQR~l\J6d#O2e(CRBfH|*OKS:Vs>: Di3K0_caqHHt;YL)4.(fG<=ʤ۴7:C/ ghkp%3(]:pr848 ~r.q]I@vH8x`ѬAkO H]qB`Ӭϛk!Ǟ WU1 Ktf–y ;![ #b&& uβt"5V>Ed:J5Ki3iRD A1QŔY#.T~>+ cHL/4 5uDb)v*;ŽEAǂ7NDU*̰4 uA4/swS0ĴCN" `z@ĉT~֒Eуwt Lܧ_XGta6~M&yoOׅ${WT*4[hp9U6?R&sJg!&|뎵P)@H#!2,sȯ g<pk6(,N dFVl :yyƺK|QJ.J)insfΧv;%|phaakx(dWn|`FsR]oc2y/_֑6[%!K) J'ohgOl3MЬ ک=&7fiP4+J8e})5N:s9</'@쐔PRLfԹiث0(v1Tav=ubS T.J1Ky G΅VQAZ`66*]ㅩPZ~Td(T)> t%T_X`ĒA5vqAdx (Hbw3ZjL=(MJ! @$Fͣ4Io*.X,LSA1-Q p PZ$1XEf{Jo,)ikZ8qt0фU:U r bx6|җd3)6}1iWZBZD^KHt> 9i]1d8\O1\ہ)×JY MȍuJ9-VAN2BiFI+ík85 "u0hMI38 ~ZDЅ1QGXXZ: mPsvGJw/oK{gPlX\piYQ‚C`]Jp[Y E+2eO/eHh*I"]!5OV=H6<%l:NKԎ2߼&Ot@~MFdX(ǷމTk퍻Psh[Uk[fs-C5!vPƟ (gW|F Y(4ީTmx 0MAJ~UeuҞ3:.a5S$948*%wt`+:SB+1,#9DgTExUbf.%`el+U_A,OZvȍe^z"0)=5U$ÿMZ16)FaѯvYEE5DyH *8tY1m[Ϸe&TӰ.\oOm>M&/X=^ǧt8| ?~=x@k~ݓN)= [_)).YToĊS@i$4/6p/s0tG&LޭU+[1;s.DTy0O?'vPn6VZ p]w[Ydy >&40a?' v\#Tj$;4q,(܇AjϘ|o(T| l^~Y?0eQzb iR]`CbRǨ.'2c`]W<- fH Mв+ -E65#0 Н@ǶWaE-͍%;̝S<~ةAh gs&1[9jvtƦ&U h7-~QJ YYJ i@V^ p| hPX^-Y-b8AG:Bu{~|6)|#< |LB5[$?(ŪԂQĶ^"J%GI$Z#؍ #:{tҕGlCAQB6XpH2y$#2O, j("X1OA[jV2PaH|JK8B!z1(`I@TC~ JQ&~뒁7Tt@xnfIZcM*{}RgQ*1#8G$)(ˎ'|v{mq4%vpk CIyg`?B:@QtE6v |˦,W8q&_xº0FJ_j>8[` ^b%C{%[;EpU"(DR$KeYJ-^|s.f'%,a`s4wf_E 0#u޻syC^b/'W>m"E=YMO % 'i69SM;Jφ'lry^uSsSFw6L4//dt\ؑXb(IxɞwMM3N$Gޱ^OO7쬶@&ZP;EĔIP߱D?r_$KT{t>Wh,q?lFxi>(JDtU4,:9Ǒ2Ϥ;? 3#F8)Kq3{Z:$Re,\]37Cppe߬:ȒwoE&i&8%ue^S:34D 7`8/#J^6/Nf}e ws[˛P-jFxPc~ڙKB$]k n3!ii}٠[-}dlx:3|AF;by^ox'rLJ#?CcϸyH5L>k&7us&aghw>(>[{[WJ3X(bZ&ԇHRL`ZLOh({8>;G`̽5}_>[8+]hfɶgb@H].^엱T>--FP<0R8c]6(Č`~:{璐Wٷ# C`Q Y_Ꟈg٭=>#eX;l{'7n}k/*3DD!jaqΡ.qji1(k¼%[Php AWbz!g$%COK򤃓A3IO2LT) xL/Ŀhʒvo ~#H%wU{ަ-hKbpzKĵ/0B\Ow.IDO8 |ָʄm7 d%~-C4%~njU7e ѓjѾ,q((2ޠ\kI49gs* v`"r/8*@dLAПZ`$zkdf$l<+(^R1uԧD eNgpu`M9&kuF;XZw<:)ES:JG3￧p?iPKu;iEbx+!rNIgpP:rԟ--/vNgrtsDČd%bY7Is[Tϊǻ(lNf/ <˗C %?I37Ŋf>vA.\r`:l=iUᐻ45եTq S=Wv Ѥ~'iU@[jR[Lx9*w}/[7J$,<% !bVWxV]@:tdK @ark!{2?,wL6ʂ7*~!Hi;@Kԃ[M4tK9߃"Mʚ8GDvyչtr4_CJ"?_;2EDsj#\TӜx5&ܮ0~~})DoS{SQM1Ġ7ާA%Jo $P3' K^`c;7Ck@7\awY'L> }ZJd]JI31яC5}cm&z֬ι&=AVEC᭓,݈ xi,ƝjB8R7`aOD1F| njۈҨ=-<K^GRQ!KVmw/V),6 or,F-`ښY Rޖbl%!"W|l! )YhOoӅf4{[ڒrZ I^{: o4Œ}|^7Oğ۬@@ ѳȮKp.k.*uU3\~ċ}8KDzWfI._38ӏW^+h>P:Ff X tVbCt`R+`l{[d,lQZF 2fg9uA}b s[8}5eH\/ivX@.w N.czmϺ?Qp.p/vɹ<'0πutKe*_Vsx*I8tx48~x6FKLĵPNY52h[dv/!Hҭ2ӬG8UGvˣ3:%f%njkxS`\ (5OtEw}-}?0ĵ=/.+k*NaԤS4.ZFXsDvA# V Tf:&փ }>#l&A:>^Ս2sʃ'tf`/!$ " GH<gÔAo#hg3ov&14!WB\Dd+W$Y{mO+U6t03 ^pFk4 Z V8Y7ߏ p4i)ŕ뽬ēGTIWk$Zbn;O{R4g]Ք Zn[>I oEn{.d(e10n`>fr7(#8N Iɴ]eG*ƁXޝA>ٺөh2C,w1;C0ZFG4Olghn,x > Ps%]d:u@2pƆ{{1W經ce#UE i,'AhV5я"A›ufGr#eW@UJyvv:"3ɖ/EA8q.P[)Tr^ :]rLV$"KBm(ƞygx;i/$2&oQYR2en Ȇ'by1n6bGnIaY](~PW#$H{{%CjhtL4rTpO=>>;XDD+bm h,mhn S#{D!1Zbx,gs#7[=nF|=0{bE%'0|1 *!;+I? O>HYw/o% j,Am].ٲ57ۋV&nAʰR+}֌>4Ü<f30M9 !0Ȑukp nZl"-M*r{v'w!)tu.\=~V)h #hKdTV^ e<^p/v!(!{ߌNpD0=sMV4v  =͐Ue|3)d{ݞ'c(ײ~}D%'J[a+ZYtZρl2 s DGEثl([ H~N,|Ot?Wj&vyj^arJvCcơ@pK@o3 |=Hbv+d΃n,)V$hP;XtjDWvPX)_"~xfuT &_[TKhuP5.cW}r"k`fv~70Ҋ^dd\;aV[J#ɚ$ nʒ;P%T ,9y$Ϋ 0@3RP&fm~ |(d V Dv{`sC h?G݉L$9ӗt_:5?[V^q&C8\&% h1mT~%CXA* .Us,U6; \F܎XŒ:hɸH@"!\'@B s? KfmaEYNûp ܉[ڊ3f8՗c?8_=}p4@uySteU*oX4B izYAUvHm/ V23ʃoŇ}Ǟ6Y~J 5z(y= g)m,̩L鴳[w_~֪eI*0g6{&<^c^!.&{,X([³}(CZ:4E&j𣠵EҏAD;^Kd+?qղluy7w=9<r}8A! r~ְb y 9:|ۏ߿k W 1 f[/ˈXP ) 9fÚxg)a~a@?>ǨrUqJ6c͂,Ee@Rj'mw aL*6-iMfͪk+Yj0pUCǭ Ƥ߳WID"+|Y| "?C |FVkP`$Iτkua/%ey7 ]%w%^ 1C5i^5qig̴δL'c>vy,D"XsAK&,KYQ )KC6<^n'Eɀ^O~Dsqv=M)M6ЯibEer <,Ym<;Ֆʟ L*QGEK1x91Q3ZJU =|_?K?]T3j{KO"Đx)YSË"PcI\E5㻧.ǜB)^s/Ih)x M(S?w7]vCΤjC%ahWJuh;HJmd9%Z{F(a64!88xL>r+ Ekhpd.X7&P"v5q2Bu+@K~ mFk3xVw\^KjUb%QB_||=;T7 =rԺb1zW&kye" |B&]$FvC&c{dK $. ItAsU΃AXC`z+{]ҟ(oD(Cab a>\MU[sj [D@:2FHIBmk Ѕ˜+;FhwS_4gϳ5YﻨI2 n28$@ .G W]P{F.[O879J8uޫ_ZoQ]F?2vBo,1n 1 >J$Yrڽ.tYԫ9)fN}7z89 #OcDZbP`vt04= :S54M Eܠl:VꜲ$(RW1i!gu;P0Z$Фv/J_l3 F>[ޮ`zVWG<61FtP5 HCM_PVtGr£MV v/ج3H!d nXUkBQ[brd[TtM8/I?^8Iru'6Ob!=K(Fژ!TfnmH 79#Tv@ؼ!9CŶJ<;U82܊uq Q nS:'GQZ ]Bљooj1JcTsez +| d=ƲGy˅ug}%~5)V8(hd~ t"6LH9Efo>;$tmz :gn\]hP?eڒmQ`fMp[;{aX}ý}U=]`jO_9w1bzBV#ߋY\J"؍]^yQԢMC Z͐8EK`BN؀mN.].kfH6iBBnˁX`9ΥS?1u.d.-#c-_VB(xohV~ (L"m\R;.Z梪a,Af|=/mK]Ob򂊑g47s]hls [Ɍ6)2JZZrYGWpW[&0r} \EG-pݜv!PSl"X<q (~;7bt*Z!fNY g]c~ a8:3SS%ޫjtw`ffTRkӅ)LE83vUs]**Zܚ7OBueKlCD/eb>ӄ4k8'txf*"3 ИP;&7Nm<"MZf֘|}GyCd /N$yិ(IjAWNf@R+Q5I5VO3[|9:q}odحLcQ&\ӻ}*vBwZRR_`Jɾf w @ܙooqHvv 4<ƥ6z7vNv' D (&Z?A'䥍e-cr=fiR{Xmuv0ּf Ē ?=syycMZL &L2h ~Oa߰䑓ycMȖ T>u%Z7 0 $>*u}̥,IfC,/G5 1ok1<w9%z7u9am3Dpro>h?%24hĽÞd '`bT~@fU'wt~uk3Uߪ`g5`[pjp#gثnNO8%/"w2qb RGHhUˮW.^ޖU@vEzˁAob X,# b. MF6QEqCDh] NtɈeq$n,w(T[XA 6_uFzØWO6STb.'/swPzj xo0X_ߨ<ʞf|zevbMӋ1'zQ-ڪ*B)u3q[Kj:|/|0\P mrwS_rB,Z[D@Y\+;D(xL.TVt>Fbvk%72ݼ9{8(7;8:ZSC7Cz`>7o= zһ3 ?|@6ѤȝrkMxbGAL.K]t9" ępAEE\by(mmY$ߙ+o}X` OWﴻ}N:ĒRX ܄,G'ԆlT凐8T7a7HPm:OdXDnd=M!T`0Bt\-._X.p̄Wo3Ӧ asXw dG(FeT{Ja mAPXV9AȬgOFT@gFWh=ޗ-J azQpòb"X|%KO?jN6>8_!?ެ].޿5~qrb zPZ%ޞP}:>w9% 0Z$,}B*stp0;#%YqqvྱHg/]h?I D8%3ixf4ƌgx2>~saYAw0V"[*sF(nu=+We+G0$dQ'\rK [g {M; | +zYۥS PnI[%bg%Eŏ5hՇAQ% \l[F)||cu69IJKO'ζFg Ub2"p73 h yEnwѯtNYvXO b x\u~ۢA cf^"_{OG+GBUQQ3uLJFmg<-:aT_ nc`߶*,H,8QSZmzs т1%" s8LdGGHgYZ7zXZִF! >]ŗXiɟ״o%..(Jm J!>n;Ol6%ԦrC W6;>Z2BI&A4h=١&mx`s:lT@I/[k^{cA&*M\`1lc/a@xk @%5 w4nRz*vQ4H[ x0~֜ m]*'g- n#huBluVO8@t6ټ-{-dVa )ڤ_K n]X6A?> F#2W.gYZ7zXZִF! +]ŗXi%L 7~9FY|}\y2WR89YxlD^gԚOH5,sRZwj7't)"cM`)/+M1ӐЇ$4 x?< *+bEejN:kJ+ܒ($2ۥU)82}- =OE>ְNz:T*Cݚݧ]'LPPlu uS6Iy]ǠwI@PKF^K4LqA2_|FuR3UWlL.٥͛5|:$yaM,iNqg"ȥ[Z&V?›6frc5 tGȍS$)9ںYMzl<|K)%^I$nORcI\ăANg6Ď?*5=˄v Gjv֚rdݏUM ]/փBq0Fe>F8CM⩨L[whZ%Mvmف)A2=0pcOL:]#6vѫ=H'TgjP8˽H'&? *Enbu@ NcoVZX8~ER;(jl7VҚuOi g|Y9_֞>-(7;Ur@"2FF!0DφS.=6cUbv͓37B{KD.u.1&8L v&$/AUYxPyrJăfYCWioJe-u, e?Ų}YOa&; ֭;K9y0j?^)LR~{a6  4oYFឧV3ܕ,s?%*C@ Twzc1^ $ 2^|۰S$[*3ߘ=\ *w߱v;;1a|vDDZ IqyҔstl]BRdvѳZ7$2j! ;L2C55Jiި1b@zMvO,YsVsm~ :jTӪ-)tv\x`&5 R T%^^YDCПu6ՠLhH>]Yd Hچl{Xɬ>7HmbSr)ɒb@I>4-(C_lg4ߵZ .uk 6L8= jC(xG`s|c![|&B4㓀쵺RnX?>R`˞ZP^ɨ4=p 1C>4fy1>rs#ĐHEdzA3ׄ#>̘XpYPpGeǍv8b&2Dhs84h|r.R VW{1i\\#a`bZxVj'zLqӭCc,=* {R#v]hxȂk35"` B&W,F34c%[ӋiUAg4Zg6ysfkܛSSj -տ*{'v$Z,O>9UlF&!?SLᶫ !J^BTrK`mN\.DFNÐN඄ ō{!vF}ZǷ˺?#ݔ" a,ÙMb,e݀~\!FQVOL@*DHXs(`?g"t3u}k&\wiIMg`k^^GSI*<ƥ[ 7UHi e}S{{ wA"`%$&j% ĎGSrpA-)#<r@~@2l' HF7/N@c5 O#!֨1Kv W2C͘'f>' N#qpS% ,ws% Sz o"U/1)Fc&bT h|aAT,UX; {c9]?,<)nz3Ck-Z/=P'K\싽IMJ?73 1RX:PFJ^?*! #d-1Q=Z~1p .К;]Whs4 U axd,"yi%. OLe7o͵p <ۃuPI ? <دN}*.#yf}5L&k-2/st"rY9&ljٯ OVޡ"xLRB$m{>l5!4MbuW%m'8 \O-^K2uM h Yf&\jyQ7>45`7 /$/pvC@ƚbU9&ń lU$7Pkpy0(cӚfHШ:1n%18_)ÂRN<fשDȮCj 'UDKG\ }N qN)ɟ*o.@Vl{M*NTo[cool!3z$ʿL/DL4CĺwDeꙃ9O4`pt[4dovj|ч%oP{Inj> v M;]>uȆaB6-i "}p'':4xƵzQe>^N| #,E 訿bbF.:7Oe;zjKȧrd>M7Pݘg#{'Dz:6*#,ru%hh86գ?֌`vT~mԙ/MaNÆ{$U{B9-t1D ?b&6nK6 <ñx٫r `b߻>ͪ} uEbNir}S|w7` @6轹 ¤[,Yj3WVFWz[>TՕ~Ύ'Gx\_e9d7l +e >>J2+-q, M=Iu$dTQ3g⾗=K y G|f63a7);PhkazlzĢu?#M> ;D}ǘrְv X18K`4EJvE 8*YaAkϟߋ`D`UUlŧQWsfr Ew XaE'٪~vñHZEe@\XΘ-pntAH+͐"7%rl(m17dp 3M 죥 >gPoӢԱ\1X:+gC:O2T沲4|+$ڬON%ݫ$1I\f T8]rXnkRPr*mM^THa4 UfX-Ÿ'5)ki,|O~"bd] yyn>(Hf!791:I*Ȕv%wyRׁN 2[CZفdQB1OOt=Փ m9:j?/iOfk#u -DdfKY%r%Ξ6uB -]BD |0,ܼ%6UW!o!\ .m:ٵΧ ][>~ġS-#bY_v?O"<qBs"HrI9:uţ%s,ֺ`ᤪ= ӈCY>7RFN;8{K5Ł5 pbbV+?AL䵝ulGQ2tܖ[d|ͲϜ8@vk ?zn;RF{-P)]J+ɾ􄼃s6%7+*n;})`:?[^O7?汑݂V2Lӳj3[e{4;- !M :2zsdr$OҫJ!:yMV7k 3L ӿ<b$}G*gȲ(lBO;$0o3rdh\r|s!G&:@DZ}ԄL [_ /qV2Z~UW"BLR*@g tYrѻn]9o1[  u-sy f5-pY3S,%Kz0FaY߼&#͠lI?db}3i;> FP>T@CB Keik- SdO c ѥ1u`P9N|9V.ZCDM"k)-=Ә#^$tΎ,c^I駉SR *xrZWAխ#~/w^}.KY-~DhOv[7[r`ߜLkbx/i[~C:l80YdKS+m^(&fq)jC'h+k%v 'nw Qh IB#-adEa|)QWx}B]i#h~N*gVkSnH 2hyF}jq-_߰A>;Me#ܣe }pt &!]8Wclck[rc[<O\BBnJ~@ 7m<&Y6M >~N+zE_X^Ov AF045˧Q i"M2CR=՞&Y;T"0WZ@e=##zaѷc>{AR;/TqS^odQ{1EJGZ9C\yb$%z{}\'R ؖ%e(vmM r~= <;jG1܄o31 STwO#b]pd$ՠa[Z\u|r>tC(S뿑h@T] 0R.\eC;rub{KYc(p )@1 d5?-E4U; -򃓐ጛ.Xv ݉Qqo*JL޾φsKvlN W %,'Ina_V8t(FGֈH Lgq4HR g<')'ѕ2`a;|睮gŤSvűhܟu* ,.o3LJ_w'q-j:iuD^2$D`7͋GV&, Ƒ=0`a9OJ^1'7f*=4)!.hhOtJ{! BnD^I3Rڽ7 OrR Qv\V?.)P\+49Ȫ{ͨScTAjѹ 2ֲ]a`JTwcn}}A{RLMِ@ u~fTh! jTrl*bK+jrW5mU |K"枊T94r^Z׽8S' rXQ;-TC \Vr9?>+A*` ~ DMAXX }GfD0AU.Ss9c n`L U^BC0?D8z.9@iϑBȴ.vMN)K3BK.4%6G(ll X zr_eĴeg8e98~WcML_]Ks/B2T0Vw NT`]OzcR`]oů><)"d@йAlsm.&s<>Cvޱ գY^nMX Ujqm)Pa;=5ԋ) N(㒔=r:cB-giI}M틍{rJlBoEVb #"= 0,PHeJ|f3lڮSÙ /L$ \Y-V]f1.O<.!L8=6UlqgQuG#0sUSM(CKԖ>p؈$.{[J)ǠxFbJZKlwoU1lp>׃tfp?j}0=f5ג#" ;_;'/hq9+Zwz<[ A_5D /%u]$pNټl~oήcs$@?knu^>O]Nsf [Рucx] +ZIT;Q2CoFKi_!ՓR'= ߒDM +^߬̄u<dz,G0[ Nx'gb|F~ sPϓ)I ө}1#4LW?F^REuRBBÓw+ 9mn^!Z`R 2՜`k޳ \:ƯmgR"> U4x&ތ[5T"薏8|Zkxٖx›V$Ed;ujыz@yk. ̿F{$~Tvʘ >E0ʎN "tzW jg>wO- w%o0VUO0e֡-M$KQ*rc.dpninTj;S-‹jd30rOAXü9U^>vGŏL9y? BoRsj`z0IPwxd$VҭĄʞ JԑF>` u[$_im.B#ȳe˴)ʙbrs0ny˼oT$h2ZSVB#5rJ9BxP9W4!^|)l m!!e*7 Ѱ3ۣWוbyϗ4rਮDlzCIMj8\eu>>}=#d#"sЪxT;dfaK5Ю 㸓i)o^ȼh8X ^x'&Y3t]b- ;P*Ǐ`z0LR[bGoMɭYʛ# ?4<5Ӎm} 30mfR]52Gź t0qj3(Ϩr8RR+W߹ *mPr8s2˞.AO}{C8n9㮉jz=+/KƋ?{@^S>\yxl~[~O[\^ʅAIt&|GSi1p/ uo~%Q$,IU@dz8yAG?o#ı t(>6׾C/DPG$vtP)NZ\ʁ20Sl[5 + ~ws!UzC)qfm $|c{̰[Ԝh\4Yy(DƛFA-C,6Ô<78x@iU6z_24G HQJB~'cQa|ĬoP![3 |%~[ף%8]xiн}1lIը%j>iŞƲRӮ>LbZbvuo54h+}D/19 A[ш)sl#B%:3%-NFrXp'PzIXy YZks9?ch=EDGo  #xk]Ѩ82u[y_if[httT?lsC+|IKB]?ʤuy1N?"LlorHP+IJizo_4I2y9/݇v1n`)kW#9;3Q{˜EӪ&ʱ:KE{96̞t6z@헲ZZbN7xiB#ĉѴ5/Jq0ݼ&zbsT!Kj"i?& ?qG09ÉKjL_E4z0qm"}`aͻ m@گ,pNyD"4tT"q3 k0X)M&$Jƫ~Ģ[:=D0(()7(R]sM-fy?n* $rzSy8دվ~NvD<$e|T6\]7K=Z ?OZ>+m%!yh Цgc⟵bY 8WȄh9}+;WDgYZb160171c5bee3ca31db85f0f8933fef09e2726f7d3f90704504dab3f9fc94e3d143d1180eb260c4a a8749f911b7a86e71244743f340b7cedb910c4fc 363858bd09512bc8ba5a5986f54c4a9d2e5b42f3