SQLite format 3@ >- llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 ii#, ]]]HOL:threads=6elapsed=142.819cpu=451.436gc=33.576factor=3.167zXZִF! |A]ŗXf1-%˓S, z!ŧo]uA{DZX.f4vg]3K^=eӏyj?Qa7x^ 7dC:@QUX+Zm!Y"ü㏞O7mH )"n O4WBc<]]l*Eia~?"^M&iy-j,e HUe#I+y5,WeW;m. F> ?j-_%* KmkFDYAdceZg`ճmPT{l=\njBlSPh0^r gB7j{X@w #[2?ї~K3ЅZ ,ɼ;/u)HW@7W4Éc`%:$`J9X2xᖃa ]w2 >K? 6@tAl)0-/sp%F-jtUh=|h~SQac`=񓾶^Xi- d@||V+3xs@.Y@TEydSsbK=U J-ͣos+tא?kN|~ka*޵ZhnPdSDb˭>;[G@fͤB/`OC '=u3CV1<'JJWt/;C~#]d͟KhbBAPv ?Tv}"ax$2uz>_[I햇,:tjJ[k 3_F(ҙs:J\?"މ 杪6ҩp9ږA_FbԋsSmNbI+ց21Cc@Y!ՠ`CīzOQ%v5dָЅ5 ̮b;];{r| /T (Y-#):3ybD?, ܏,7IJ[jȌa*:[?i늀}s4wS>ArՌ /B 3`ۗ)6|I7rوH]@Ct-5UMFܖcyKVP±9`IHKoIfQ2t5dsh53Pxf}YR[¤,Đ-rÐ5V=q`ʼn';,4x1K8?Ɍ'5fa:[8[+$3l(.4t&[ t%<$&Qkw}'LTMM9G),:Qi#6&RAx֨m%k*Pkwt:P{5RSP}AJ9)BjG"sm)r 6-n,Y7x_3FM!SsF\ԢQ8ahX2),ÊP[E)47I^rrʊULR:ڊ$sױzLЂt}˕+ |VFx\a+%gVXӅQwecα5zd-z䩝iФʥ<, HfU%e:Pt.o}Q\ q`I”W$> MVQX0+cq'cN.ӼgqrŅL*$x4f.]Ȝ=%p:a#VyOI &P]1SNYi:v#0V"'U N-*x2,zFnYՆIhKeȅ Y-ţ~c_b:B02}h( s,7J2nO3C,rv7z.֊f@ɧl?TM SMhĐ\x-vGw̼ cVZ+[0 ״jugo"!y:8H]IH7MԆ\*rp  ZdH䢵ȝJʓ_M8 -[iinPì 9ˀm&{!d֌˦u0)1$2i^PB'y6:M3 s [Q]iDVIpCdU #\WKZW%APD*܇6 _D6sSW>Sh>XrsGԃM=[Kt|FIw&hf}$.1l&<{n)i$UV< nTZfKYdSoڊN  y[h$o95p>+0u{jmy\5PQu6* al>qe(l: Q7̜ vuFjßdn],t2 iC?K].N2̭@j`dR3x}mgr=LaW'@Kqm#W.nG\i$;mrz{r Z9KYa@4qtkBNoČN#CqFn>uNEȾ>4v5ĤX̪BYLMqP<-^B嫥jaV{3%TW}nIg4? FTdmR"= c5ML>_*7WJZdUg d"mxj&l^! 돆QI or;[#}QR9ft7ET4.A8]ᥧp[Tȳ(G=)m 2XWcZ]Hɒ93`Nj7&xۨ (i1%#)铒'H NP1@vQ3:К92>qP#b:F#o^Dܩ@2K;1E9gTcSmìu X}΢{f4},תiO*u ImĈWGVrG v fwUH>`IAC¾SaFlAĠ']b.d'V@?UgBbfZ 렽.R_:W~ ,O+*F&=4,EH-$VET\Tov~qm$vQ$U)e\,הY\qrSJ/JI 3gR\z:^aՅYաnBFVAјb*tqko I$FpR'(!4迦8Pp>׶XTp-=lNK еhp t'h䩱 MI8fɗq*.S+7+ 5 a{JK}O{D^{i HWz\ :ϒ{*5XdZIFh3e<VzLآAFԽ'yk@WQ'ڸApG!EGlgRה{&eW`EEF4r,SRMg$ Hw1mMaQ?óU 6zDW8:)&(/&`}f<[de"Gyw1 #vꚻn9 |6La4/;YҬE.=|5ŏ +kHo Z %`9mk4usA_k!Ug61"18G]tc*mGm4}^{;pxOZ9ѻ[Le >BY1 ]/G;oG1{0<+睦.{~ \D lEj6:J09Y(HqyZ!|vy:Sz1~pj⬩zʘT9pǻbKÚZ])@Vӊ 9H6ʷ'mQqu GvuSh}G9W[, V%ϛq˖$񊷰{`.܇ O?V$ayITϲӨ|+G$HH]fΑamd+&1Ft%A*R @maJXMP23tUgcЎ# Cl(k Y}RhОґ6:h 2_3h$tKDqP)04N 1#Ռ-Jd~&YyC~V>R 3L$/Srñ xE7TvH 8[bv!_Ԟ0 x:(Aa|7Qj]FB:<`DD%~]4$t_Jsn=[(i6D9Pߢ"Lr2Ӭ!5G,ah;M^>Ii{f諾vw&7j߲{vn/gR+I|ՍUc+2WWB] Gvb21I{gK]EKbKo ".|lBDk#Y 5ru?@<kQ"mb*y;t$S AJ+?B_ΏOז֪Dܮh`L(a6ljA*胨[Ș*S?8I5)T:M*)CI39K5THyP6)QI\*y.ݒh*ѮH/oVdK-e@Mݭs|E. `\OP:G6(,>7d($>>j )ѫ=b"䗴1t膦%Si/}y|ߵ*~S4* ~X$p43ϡNUtEoumrBB8F1hK2f tg / ?q|r#B dX5p88 J_R(r/%O퓞ۗZYFC+.u[>f.U{TIgY -1)Q'JdU|iCY\l]D^Y607xu3_2JYnl~KJ@y y7&BOg:~˝iN^;Uo2O65lUx)LnANO5?8, m!O jvCD_2m;7;$AwC 0ȅaO cE1OObx})VmWnJ[iٌ^ gUN:OsRD::  /YM ;53\ 1RSݯdio>S'e6Cibfg*l..uer`$2G$#PL.ƊOiEdccݮ>xro>z}Y%CRL0kЊX2p@ n SF o&NciŘCҬ `>lҺ?x7r襏N} BNܮC 7QB@3Ӄ-E$g0e͢>$bZEeGz@%/JKΫDuw#JH'=&;|4# DžܮlHOt춏ҿugu!lAܡr0¿"aD߮)-ӍaHiq"8^Nhw@5X w'dx[- $tzMQyE遟WDN Av? FdZ;q3*j(Ve8^ZC 0r,,0⚷Iz&] &#iMP9}ĵ?zH19=+ON5r:mJ-a.RMgkU\WTX\T&'jB5ed}2MN1} {;Iqc옥'ߓfA~+,5c%f%jDM'O7W.?)K\; E+s8ʖ6( >8b,y䎖%Gݯ6,C`H#+4rɃ̙rD4!>kh> ~cLDiﲴk%eѡr ,VJ|BPjZ}ZA(19;[OS? $|e2$nZ3sN fOD׭Q`1k,~X@9C]:au{9f| ; 4h H8V(Ȼ'y V[VP|ܝ r/[^D rbw109O+[BXI4al}dC2eRr2[NUhmiKq,i̦v@wv5< E7(v0k(bAȠU#{_Ћ7\+'f5RtF-(>qєwiy`#\/RMC)Qp@,o[u'"޺Fi8XF0vNTH TQ~6b}]O']n,T{'0hpN4$!ݰ*٩Ζ2]HQ[Y3|;3KLk8o 1"I}@sbrJeNե{_y np1|B:h~Xݣnj ({%?lx'1!s-_.'Hn99xT!ڰ.h?.J.-dQB,$3xݟ;u 3_)~!.>8*mC3*FW:D MN> {$.pi%nlݚBfKu%YR)e ECfߔ-( S`?WwV SX *fgRpL D2əǥI3ƈǝL0G{O<*`heQcSG-V=` ߻b$v&WQ_'xc V _ov~X)UiжS[l'?;X6L&D@":9~ذ6`ʹܟPz lcSvNlFRIQvED$D& MۻQgVXvf)7gb&9|S&Oʩ5MxQs"̀*OJ(jtZd' 7T5[8P"}@T 򦏝5QkDxù`ζ/d;dWVv_rA5ynXd*mZ uC =aAdE],9UMdTIᠺXB:f][v G&W-&m\_60;7Pkї~T/l#a3!3;\H Yopmg_K^E`[(T=nF<_\ws>1R)MFb%ڇ@2iӹ (dsc^$f󯵟HpNyN:fƨ)(0Gދ&:[3`-|DPv9+'>3œ@R B%MRk_Q  risDK|w>tc<_ג润Ub~Id26 iȚ~+Qt+[YhCN[dn;~!4^*n#]5)ϭ]'5 /(<vRYC87t&$%0zIOI\S v?}UIYꆌ'G}V'Y/8F6Dup(qN8kjK`@\z7 -˚RR$w:gpB4_g⣎vˆLSShs'KlĠW%{ӣ7'?t7xEC?Ffz`XFeh"Mc}]e(o*4uJX"i l]JZ~E= zMeu"h8eH6)`KH>%]А/)V6ѱ EСIT,ɮb;Ί1"~5.4@`[螰o8H1y BPu{:? "~}Y"oru]'#^O\>7=*V7Da(Ӑ}8Ex,`:h87[W<YI1pUa/=eQ.@D=(`F|s碟'9P/ |q iQkYH( '3Cf>E$XmY7tҊ/]Jaw$,J,[slۚr4%Mbtʬporn2S>YF?F%ƠT !CyHQFmTphFAw-Jv=KD4/ Lͱ䆔T,{!;zr,8(R(7Ynqr #vd&v>og]3zX\(3XrÂBh$R=4ib""\՛{a{Nk-B*W\[lF%Yh%sˠMoMVȥ(1 ~,ĄڨQ`Qe.0!{U  3fEF唃.?3!@2,c@ 73&oLx'GIHol}h8RWPbeCi7:w|&lo>RٹsA1>W 4ΗU)s#VBYZW]sJYwZƳ ע{`,(z'&|7 7r5z"Х> .67?HL\ɤ&Vh)qW|uNB1G]ZX JQI, x&raD@A 4›2)C ԁ~3GMexC,N-.k$| @W7*JwiO#F,\hbRb]Iݛ 4E:^dzΥZ)]AYc2vA5K i>celo,O.z?\ҸXEtA6W-(FmE҃y쩟GNn\%UvN)vM28#CsԕZO~gg)ƍ2e[!]%jk6K,Ӑڄ%-r ~f ZTd:;C(RVL^FFOdg1鎫*Tm&ea%\~&VHY8ek{gV o4n-shE*õY\|خCUQ7Ϣb [hT0 [V餰5A\ NjCHqyv##םXƨ% u-’S@_3Ԁʃ@ $eS( K( ]oOPJcq&TS5a ߧ$o 篫2I`^O.bUOp&me ?PB=OͰ} Z@#t?4&{3a I W4Mm̅zԵcӅRF\,,[EL朆&?aMYN2Q{H%:!,UhaDhtንj?xS(1A&o<5Vc,6Oo:@kehi߆6Z8zK1iBh*X(/^)x9Ie?R~ r $zpģ[H:04myݔ"kєq^ou]aX;@~J%'HӫEM]H7?F3w0?ЛUhMGDBj##cVgHi/7$owA1όܪN]0V6Jw p4ĀWwNdMy徆\' n3L)kV Tk0 ԵMӸuvƖ3 A$CT`~GlYHGQZ)oSn.3 s4^^IKBmpȾZ x04"9ip#a &ި'!ye +4CT@`L 8661Ɉ/ڇ~ n\N*lwk"vYuzc:Z*IrT~B 2GQ4dSwlziC"o`|gBC"?+ 7W ;"ٴv?D Di^ݬKvvY5 &.fF]{AB:*%ز*]PU{:>#O]tgƅO\iQx_Ŗ#E+>JwG߁Vjv]"ɲ*0vdf=RTɹk* B-T Q7tv.6C3zF,JBg mwnK*$6A%&q͞niE²N֌BHsT\NaBVuh܋`هQ9#V#7湃G<[AHgRQLY4p+D0zEnj̏Z4 Ap,O`>v2繺amIʶ#5oԓb =Q:'!l y|bKqI2 tP$̪D7sЁc>ytܢmZ 8:&揣7Id&; ﶓTpŝ1i->Z@ʝ h$ac̤,yG0@28Ԟz 10v,cœk*áG5@ٍGy HͮU7-n1$sّA}X̎F+ve2TŒWdMΊQKvlH}u\opx/$D?il3"Ǎ 1Qenu]:w1+3K8G#]o>WqhZdԲ;˒׻Dހg5.*;ge_`}mvC=b:^L0*mr v{ڶLb&dZ2mZ\`d<; (+yXw[ +Z2&]).TY=f K 3+Ixw"N@)FaX0Wfc*nxx_!L"Ġyۮa~-5(s?aC3뀤9ǀу=1!$T )+wb@ TU?V0"F(#5Gģ.NૼҰZk~.9fǞgM"hg(m5߻N],b*e©ğ[2/(MQ[@WFF崂Ҟ2~k(dw%q)l0b dHTr=RN7hEy]}ѧ'`'FbgZاdYXi0F:޻b_myOcp"˨/~+AabdB*>VAd9v*3`O\9v- h"k|?< ^RQ ^8^Tg ٩TFPmNEܦY z8?7ep2ޯkG`5 dX9[Si `ZSR`9'B/;&&" *lz1#4BAtŀr]-KgkHo˜݀j,dn=jPV"F&j)bQv F# 7L\ 5L1S_qv;nW}n;wL$kovHZ0\&YM5-15f.UXP}c)@&}rTy25p'Uۦ"oG7VT5'r? zlK~nN2Prc[Eݖ0j1Km{P.fߛmpdL+et>6'\0 Proe^RPI|,3IөHb=Q+ F"-z=.l+ZX*HS\9:S"hS?aJ2OwpؖbD:p798V {S r_8r{wC-XNe5T8(Ȉї|V[| V^KɧYϻ"X+ O@D~@|k LDMtX #zTѯuk1~}Ňg2i6pzBY vʐWvb2'"(CObV"O*dd.a/ˋ¢T_[9NUYlSy^Ix C@gg,E7`oOC?KDrj=#۾v=zjCf+h /, yFsHTי2#O\˯\Z,ս\04!TV %&&m깟J}:=}}Wү17(07.lGKH.x^8M\nq}: JCc0? GJl <sbQkW PgI%R8{L ~tȡ\9X?:5wR%O<džߴ=b -O?`CO>vd5*,7,#.%-L3Q,g0i3'7Zס) p` `=/<^LêjTJ(s%%f pV]oRV_9űj\" Ou l, Zux^i\:+mw0XSa>#r;,Ul G R. "}/CD`ۆR)EWӰik9],djfU$Zq;zuH1*z_izx Jw Rr'v)~`Svcc݂mQ{*XۃG'21|9uw:&O.~KcvA/S0bBflDc `Y)4 MH'z{}5'.D,n_ܛb_^ZIZJU/2nK~>*uw՞?j h:aNfO QEֆqvَ; >H-cŷuVk6-OtjS8ۖ-"J|`0E_gP)/fl!)XL(A_xI;b򠟂NWUr'G5 5%gǯC#m=݂ug|扎5Ӂy|T]v㢮TvzS@6#SpD<exr% S;Ηëxgi WMPG:eT7/jc0{ (. 4'?-;. ŋKLqaN}ȠC_M2 s3?Ow1&ote"ZjC̭<) 4RƑD:/{iJj9Lgwݔzj/VC'B59qOpf p$S@EG FE2ԡpϮ!=2(ןJtR@6.2L}@zJxI$ĬAӔwY$D6+"W9̑b>2ve8 *J04 Eh'㰅H en+r[Z<ĦkY~dΩe0kB+݄ F*9|=/nLJZpه av7̣"X gJzS-ME78JG" -ƪ$n+Á]NU{\^)ԺqI$T1APTsneBE,fJAMιd‹ŬslL+,)6!sQ,zI d큮 bذ.j ˔Kt;Ԕ>vQ+e6H*Sf&fv*Z5s3!ҟh‰ a4C A|`SSvNk75l9`&,kyȤw_i~ ~lC`Eވ?`Ȟ!mF{aN"< L2>/cQDS V/tBwmT/| W&W tAz24 z(d?JZ2~b((8}&=!/u/͂we*ԍKtr@}YwAg|yshma=`I1ʵS4 ˒N>vzCy堔OѠp#~IB2_fTbHSxʩt{IzěD~Kӭ`ƈ=tqop*fgg  Q歶%Dqk4 sqR 0E[ǀF ɐcׅ= 6a#/3v%zBsU{ h(YRi&|YRt-v|&_$bеߤ_7s/R;L{֤##db;_! %!\1[ hD4|"mU%|)wC̀>@7s\B׷`:RSNcMQ\4eFXF[VE?RBgsFek %rQD{kDF@S uɂخp# U1w]'6dX=TWZ-Ξ QyYr]q+1*8<Sl3` '7_a V Gc vS[f+T=\viJwASrEVw[,jXi-}:9ә?" qGLء# ʮ1yzƑm݁G}PDSf~<×<1w`m;8^7KNmk)k4tU1ܼOLU,jDDݪo~(*X3P[6uN5/hk% ym921"cKƽwzMk ],5ה[׎@AO<dAxI;Q^#cgz!x/W XE!Wkv98\szcG=_wv7>40MFpH頶] Ǧ)h5ˇu嘹߰U#Ż`L6uo6F2"Wg+!;EzZ4WpbD0]l/Sʙ D(wpX`yڪ ;(Mh,Z`>s4Ss0*7oPf&{qK  pvz <@er_橈LNu.qE$eB XO㇣鱲B!!'۷gB,K+tk/W۝ ;5mEdNj%4YU~_[.Pf aML那y3u_M;-0GT,h 0@;ric. "GUR%4@ i @b9մȽ6iAy~P`'ތy{@p= '$yM'ϫ6۫^u|i:Pspˉ}W6spE8YlVPau. X*aD,/4|-)4X@y۬%`聙wOQ txk:&Q{$?z0OJZRZŢc/5$v7vǬlx G0oɴ$@%^>=yՙ_kj*l+Bý 򕥼O؈ C/ UbPU }uɨj\8ZdkY҉e-5Iki?bU<(Q+TB(žJ˙h>$fVH^nάsЄ nWH~wtgjE?d7.%ꝒA:zft'i\}M7"o{ e,;կl" *?tI)箢V=:9螀`O}x &*>NWn[?Y-;dSVXDbq=(6G>\mF$5רK A?0OwefQD0 [= ,f@> [tU9a l!?ʖ ?@Ibr6Ġ['hwU4PI"Ki5!p?ゟN7ꈁ oC97PV1Mg[9-bxu}R zaTCR*n:mօ$#lG@1&z}ipc=m&(^6!?qfTz<OW Yb5 ߲p>6!A sn£듹O{a^NdE(YTkH4tJPhިԶm֐bW\F 6>:`+dS1n$6AFBO[q:WV@4Kqˉ[b?֪LfpoNCN[=&Awjl~K$I B:)3kbif_ǙJ&zӓ⮙~8'.8(1װwLZrC@~(n1,M?k3bn-9DQn}8tRZwQ<_IKZYE⑑F>jY7Y"渻v C WeYN7!#[պ[L7ƱwۋpHW/7,$_J߈+U'.K\t,1l ^nb1ryFI,='|ͻRaoːm)T ;4Kz|R|i=Qr\v<Ѳjd\pKn2ΐs`08кaȑ;5|aӀ5x =#ci}dyUq֬:l)f.>8vJC-ݵ}l׳A[e{0}(I!tWp͑Ҡ^{~if-Q=3byS!R:9P⦒a Baiĕr;6YƠr]gQQصqџ݁t)e<,.izWк=^[F}TNeaw8T;hAJP?*y z/$ 0]Oф2`Ol J,55=4ݶK\smN󉶙ѐD1I/4ha]r 4 xz5x-0I@h@f ̉e4m"[3'B*8²) %39mD1cusVGX,Oot DA6 bi[T3?/+J9? %#H .gLF$]dY9Tx:DbrJa2cǚ/hh},%ݴi-w HvY2`6elXUxW?t3|SU AXTŽ ױfb 3肦C1mô܇ ʚ+4xþ)Z԰Uxت$ݝNC%NCΆ`pTdGHG+= pڭMx9(P/EM?&^Px\ A̝ ξ ?iBcePΘTQT";L3$!P޿<> V8(w_].*aq߿ݧV3WطWb0C;"ހ%u,&]lU //9otgQ ]1? I*}OMZ0v',}ri7-Ch[2 FG[Կ1NQ )x g:4￑+[:xGgx#mGщ\(MبqX>m_X^ʻ^κ.m+rSFaƪZK b(^v;Q:/r([B\o$5+˦yt*B\X#b‹t9nE" "o{Ro}vIRfOZsp H94tz?Q]lt)>2隢'Bƾcgol3J*ct I_SEϻ'R'Txᗝv/-JK5k4\M7^Rj__Xoq}- l[07ɾ ,6WŞ썕e,J3H|;-,p,ϥNޝa~ZE0ߤ87:l[uIjح!m,>Ak̪-=y&.Kޡ諝(zn@'2 [k*WbO}j/; h)zdf p|A34]&/xB#=7"geá_O8HPP,w&yw<8@/,nQ Y }'O(JzqgFvn`G2K P~lB #N|\]+[1_XWd|JU[Դ x*5NdCLxKcW*eIS-=ȆGDV*ᔾ # ˳SR ^ĻO'ŷTmi$\YzlG.OG~Q-ꙂC[A!YO# &v_%5F1;4'2a_'1p%)Z;e*.Tnf(RW8=aY[9Ŭ 3D)8F,ryWӱ~4XeG+G 0ȒXZYȽZ_Kמ 3@a& YjnNEW~l4YW5{Y')sی@+ڥ!jç|.5zTYgOI>q)C)?|,\PO%ɇ`~ʣ{ }v{ lj Qkob8L6(~E1fPebF)YzUaDw

L@bMWW1_m`MmTY Ih,IuiܬW 1DI0iR|n *VdÅHDע,Ű+v2oa_Fx=|3dD{g"NAg'$g876Y(D"3Q%3 \ɞdp|1DEMg]DhpUISMzηT&]қ:Yۺ|=Td9Gu`K@ `KRs)OWcC8p N=YV|qA%zѲؑUf!0vfo5PXx^&l:t3 a;xw/Es&hG5e]AWC͵QtjsG;\ݰ"?uxdPNw܎ F &ՍTeRYƘvm|\FE3;M-' ?*$e 朒oR6?_@)IPn8az=u+%l(CT?_lE8tآsd7pj@]~Ұ*&b̏Jq;3$$At\?t~Zլ \cIrb&%΃9c28ggfR{$B7^%pd{޽* _:n/qΰJEZQoAwf73 ):-^+k<&]"u(/=c=NT)1/`䅕y/z{4{W3no=f)(Mq&>\YH ׉5ʶ&D> TS(!i~U3]̂ s*+L5tntﶩ0R 1¢U#X?MɄuC7mO'|p1#K4{0uJ4(ϻb/rJtEzw_WY"JBpWp}{tOvBEu>`[ņ7ֽܵ!gM .,N̗ygݦ͸cb/U-.׭Zkv\Sb8/x-n)I4IaVM\ں k}_b 2i q >Kbܲ,pWC^ppvta=~?ɾ[#G*(ʄ3YC3:#{8ϥnR^_zz*տr|˄ITC14;@Ed3˓ u TI@il(-<[8f@ )u!KSMB$Չd,;[1? ^Ӯ(s4;ZJHZk')-8Zh9޸I[1j kw̐TY-HB"OT…)HF!bR׫H^ѵ)Gz~B: 7*uu #c!.zD)?UTЛe6ÐتT(v0t[WDFsBʣm3-l`aOV8 45D-M_M΋{Nfu$ >-a3VQVCB`IfA&Y7RC |.)Q\>"T y3`aB$qBuF.H܏E6 s)itVIveD{K%|2vB|pU`CT$*ԆK>ܾ(:bs^*^<^t<4RZ/?a,h ,P%kؔ_ȕW1>A`:l۵.OSgʱRpG,M.+ Bml7A|c)QEefi$y)'/!j5l:wmcא\ќ+/L:2ACXg F& jmȉdeQ7\Hu8?Nc(Tz(&d2ֵ9/Oյ߈M$hwdtK)|=g~E';ҾBbf6OrG_}lb(dPVƧNHs-^Q󼖯v4r?҆^+_j &̮֚뻟p dU'؋xu90%G$V|ݣoȃG["P/5jg@vQ=I}ˬ#d繅Xްx>#?{|D%.(nKqF ٮX&.F&%‘_-Q^mg@g3pm0ge%ynO{Uȑ$a0oR-@.p-ANDS" X4zy1wiS)E> Mr0o0+e4=b=0L/j5&}jEFq12#ft6L'C`a 6ːn8uߩ!I[J&ŅjY# h>iXvKBܓԍFTiFOyLf-tQe0 4 p+*23!e>L&C(q Lun0q-jV4;dHw#1Wz zǶ؎i&;P}h]޺̈E.W\*ҕB>Wb u1l<Ɣۃ.-W0Vk`7XHrh[̧#dbhЦ^x,~#}8y|ynYcx86[@)+mK7۟X#Ez_GN,]ةK/j:4w)ʋSۯJ6 R]6߈[n',9~C1 Ta,- \FKo#gPdPJxd=u*69mA5ԡ}d;(^.wq_T^I%Eޕo>BjB+'oqYIyҿrao5QHgJrr[3MQO慙 3m*1x;#=y?=A}CY['S5eXE8JB_=D"#TΩ ê&<.%c}iAT]=V[>oP \f4[:*PBL*Io>Q~;Oy/;ih*ܴ1tRjV#(0S8hDf5M6# V80tжFTTno(<"VleeEFՃ ϙ3,xC!"_ {@l (!vew#FXUD<)ttлh OlcaЪҥ[1$rW #:<^83Z, fj^+(_J$ygSUK 򜿘wד \7mm,Ks.]\F.c'̼xbQ5u\'c$c^ѤVIxC^PcɿX2 0L) AE`D 7~'iPgt,[ܼ1#{qSS녎7LKmc-{xCtkc zJ弽{Rdk$g@j0. sxXlnv֙FՇ`& mWM`ec"X;{̦.X}{lusZP ՂQGiqe$㭏xu @j3&cG: ͟Rc8:SU$:T8k>A8\:"Y2K8oDz w|RF(Lhʵ9%ۯ /4&-_MRu:Q~Ҳ.t?_POHAV~~g5id!OӔf.!nztMYK')m0Ü1*U4RunV;w#XhّܤYqZTp_Ph7қZ *LPTERGϽIԞ{&1$aoj<\޳hX|7d*Sex}@Ar`ŷ̪誀t g }^YLJ<rhu1sG2njX %4'kՈXx69n-o^߮#jyYgyU?F@՛ڵAj*?\$csq]W("wy)>Z%.vc;9K(ud%~Zԟyty9 % "ivF&9лî@1eV;J|Wmu&bʐkȖRXi1: W5ZO! ;[Dhy ~(Y& K zJ=YG''+kVb\PQX,h} E!_C}P i/k8#f! h~l6i.בm˳tPSȕ(.Sy;1gsڸ9+@$j=\{ W7r&VaΆ~St'߯k뮡۞ɮ|dEғ9$F˓VS1<ى=# 2AlAH^,3lruTc5(S:S W3cq\@?D]Ni`(0ϵZM1T`.$=S98SGOˤR*h0m{Dіĉy mN --qkJ ;O3Eh F={U@uW)jx2맺e("fi/soA{ia|r՜u"iy9RG 6bfn!y)R^PK^Ȭ"'v$̘LR#'-Rq(]`]xZQ .{2*1ºF#sA|J$N7^"U-pOa4BbT!jQ/cIS'\VY&O9nJeXk#n-`{h*"CH>b'x +B ӡgGcX{l -ąCtIc0 ި8NmpcZ57Fi)͗)q6"1B1TEeK{{ OPM!c;|;osxIt}4tM8+utH~F8REA4e%Ӆ3޿zJϵ3>Yn`7;^&=blJhLG,["} jx4"}r:wE_(NܧJݐ=agYZ7zXZִF! ⏅']ŗXi%H}Aanv#nw& e֫qxCڷ$F ./$j tmf DͥbB1Tkk]B4䐷ECo@fYjU"TsYCY?F?U.oIQrsF[)j>|9pòNhC!-l@)4 ξ:^ `"&yϰ%"^$40)s Zc Y"xD>L ]Tc%Vc =,^Ǎ;"_#Qqff42c(hH 3;!,c2aZĘeo D5lq\6+x1 p{1Y{jsGe* B }n]j|GL4V,6ۺ쫺ŰU}z5 +B|%b" _h1XbC2#j\1wڻ|b| &v*>g,7V-LT]xpߡO{OFp)S GRSG{w65H2u|M=1nz1yWxIm-Ty&I yqyǡ>B08nB*^ɫ]U m<:e'=GȄ]!q~.RZz̀r46S?'8lJJ7Aֳj8ʞsG ӇP+C;7?7# c0m3zXx7+\%nu=V8J 2!ʾf ٠m׺Hֱa3<` ei5}VRX(2 mJ=X\;mX/HľU8̴klW[I!:1*Q"~>Gs>&D Ht roQm']F`/ST/҆@a'TM$iX 5V.j7b `ZԈtWa&1?Y, FCfovtpj̉Q9[~q|'!P N*u$GBX$eihfWQS#_!ˉ#_F[!Oɵu 7X`?>߾3-E,e`%w]a'`+( pn@9T^Fgd6 >7l +ς,ҿ(eg~eAf9KW_ xqgCkQ2 {-6FoH+`[";'Am5P:t-Q hAH}|T䋐Hd%;}.̄%u?GWU.W:bĽt[:k ?F} vӈTIH T'k~Tiŧ(CA ]4/r>\4xW>>YdA,gn79Ъh^Mp/쉝hN=dJd+g^XVf"{ա +T]a">)]Uz,G*B6cI߅;{\Sڛ*njo ځLR}I=;j)v{)!8t.')&)5չ*$ӡ} 8I3mcJָ(4FbB"!al&W0[ i.Cϩ=kt.{?9rGL`,~ tHӪy9?lDI)( ]p3}?Dda|(OLsn]#ս} ~*Wǔ?0!iU.=8m8iI7u;#W&YTu{u\P9MK.;||C pĒ4AL'Gk#EZp[8U@p$yI>$bs}Brq&6>_A_3{- .&]1htu7x\4?/!=XBs=o ƪe5&"ytVQ0:XCJC :2} Lc#,^nЪH+f?hqh87J(0 !h= ,̧~Rn C) ƕzhAh&:+DhsO*/vGH}q\gsԛ:I`n5);h&τ?Z MmenLg&~5 !<1M^hJFf4$1ňGaE(6ޚz~,ݕbj,w6@GEȊ|yp:W]AG(s:0WsTrzckzQm0@N$k"?U'Y|"Ũn"qՖS؍Rʎ= z~- Z<}`o_zc'qb>u70;K8mQ%6Yn[]5߁WL&~ESqڊD2?IB}b{z! GRE%;f[*q6Z^9wˑjfܒg5C

iX}KNYkF潟Lly4RB놇}c$,uWmDT!Ic~U 4ڽӖ1}ֲ4D7sHú+z1 S'!TIc6)ue,\1oO `nfeB@!( 7jKSkQl%}76Fur^>&'g߇WxFHw4dj,ifpV()٠ldIxEhS* +;R>Xڼ&[? /]rP[|\aexg|{uou`4s},4Oh6:%ܔYj:M\j`6P ×y'>Gr -h?sL5Bd [z% = 5ryHΗ{@XX?Ym90QM$=جT3ҳCR;Ͳn')qͻ}ܯyjyUGØ_( }Ir){B Rny="Q A %`$H9=ډYBpl$F$9tĬ,Mjd!̊2c(Ԅ;J͡gzvys!l9_lQ9zZbʴ(~oTz)PYs|2FQ\&w\e~KE"lTKo..+"W 0]"ate#9_+1i"Usv&s 9sk/˸qN!an XW L@uMyoǬj/^E^erSj~?՚+Mwxqb_Ix٘& L<~fCŶjՐP9MGvv q-U^d!_2=uCl=FQf6KSVtJ1+k/ 6QMr=@!.` 36׳Q ̏K0i_x.sڍ ^UI,jm ([$=qmm"7'JRN[ʇ67:Пoc[ &%f!}0_H9𶦧&onlA\Ybر9zar)z$dlu*(س3cϼ)mW!}-8sH Fd ,-|M*N!nc[1i*T^ewI "F¬"1z̲cJ6=AXGbp&)Y&^`"@wckgn{pֽc`C-liMȩREa:kLaBI֎gcM'1#Vps )${_{S㼿16ҫ6iI 6"0du*1"ܹ)"6I+ 6`QjB=b e2R :=b}w&3?? 9g+M@bʵŰ4paڲ,%Zu~V0"3T|<%Xٺ"WGSaet&}V NCBvAחTˍUk홇1DahrYXYDVyF23cCp~3?G9z>c+RP}=LP4n洛V Z{ȧ>΅EBQdҖ;fD"C[lXN:1?@,^jN+U2}F !7L6?xlгE\C&@iָUXriqʲi˽hb |s%2KIؓiQiDYy M:ߨ"^;r(Piݫ,=ɾ c iRvo=Ȍgct DJ[sbҭّ~Zd cVve|¼Qi!,ڑ:g[u`fЍyBcsi z5?kjجS\,5n)fV]ԡNdO¶bq".r?As- 7{li5ɢU&)"UmX !Hby^ڛB@xOuc m0ah^Ё=i59]zBWGp_ 7y+ rea $u[@rc|4]6/!kR;̜ԍ )Sh3TriW-DVϻ_|~>c NCrpQ]i#u0it $9Ԟ"/".c0ݻCg5xqpcܙsOkyIovVU5hiL(g4zrdzg~^w;f_帑+f  QzcHr7=o3> Fw;*/Т 5nLjd'aSEtl-@ 3g1+N$5=;oeR̛e8DK& :AJ7Ĥ|wmr-LΙ/-ۖ'|<xp&ƿW޸#RXtAjT /ǥ(Kh)]I}\@;3dǝ8:ӅU'n$>FwkClUj&2f Yh޸h?%`eUwěEJ:[@!Wy'T.. EJn*-YxdHbwV( QHa;X~m&F4{!b2M8ͼꖿGbCD3). 9u}5:\q{ʧ/  TH%x-Kd RݤB.ztjpQ(iOڎb\v)E>NľJ)Ȫ;«$>yq9P-M/㢿] 1Q!^W8/nJF[7) I2ہT X9:p} Յ 5[da+՚|F z 4*]!7dI2ғ5//:!UGֺHIa"b.ifl[(iݯu9|!s QH߰{(NSHAkZ+RKA_;oL]2Wf)9.q= 2Sϑ;_,Oc|k}/m߭mAMZM^DaUq}w_w^`Sg&l>K|Yݢ?IY >O"{#cIxeB 6쪧:gn޶Q@oPdf=ԅGx .v_yv)UF@6 {_ MX&~핷n󛅥'KbN`ۺhأ D|42\IQ~В s|CGC8\yre9Gܓ%=]jyW(ҁހi#w%O:luN@ӛHP>ZN;>RAHPf+8Sv.q˹ \²Av`ع>S37{a=/5]Э:l"ݮ=`ЭZ'TmGs%y9 `*]zA۟DޝP0pZY̹>A_qN?xeo* ڙܕtJFj#)IAA ^^8[x7B CIv/< (ȡ4G=01Uq۶fc߽MI$?F vTJvIH-bO$h8+C9?AF;6R( ƫ}ݿ0ۤUdlocw^[J +:kmtK9b(vJ "8i;f}/ "v\4C?`-kYNLm3YiTú'/0fH/ŧ mXsDL`lR³-{H8H{o Yx)"{sx/thK:׳/Baͷ݋zYj)w۔iC8ږ{Y;q»2>I͜Q|NEnc S{˥/FӪ˼3=S#NHl>6:.&`FZhXݼPyu^Y+eì4lzk;EmVS]zr''ێG1Q_&$,6CJh% .c٧jz2t=˪Pm`vmc6L6{))M3[=ES} A=Pa"k{f?E ߁M7LL8!mu(֚z B,,UK#x,,NDg($h(QuGo=rhA^h}Maf'Cr17mȎܦLAV!2J`-^P,`985711de7be7c7d268ca77e64bb1c8d46 e14053089b8440cb7bde4cd9176a848335e3d99e e266d7232e50e2eca254217ec8199917c27f7eb6 e2d9899bb534188bf9ae0e167449253aa712651c e2e8a7c4ebea5553f3aa0896ff3fee2d4209edd9 e3076356d70f35c17a47b97dc41c35db33db582c e53c6caac60689891ba3b4be4e55469d41eac899 e5d6cae5d66a9e46bba7dd35712e1f87cdd64678 e61dd30730c3ad4bdf5a92cfea8567acaff69888 e66c49bc37666a3668dd310cd1a9197cc02fde69 e6e0d130aa51012e646b06fc2249cb35242ef561 e77350c51b042f0d1d3b27921f394c0a6ab0e8df e7df8b637d04fa4c48e3ab63bfb0e8b2f81b4183 e807b21e6ae55cf947a4130a5d9aa2005b99004e ec2963a5938cdf2e851b0350f519c352a02573af ee8462c818e1a47e72f0713a645c2dfd3c3243a6 ef3fc270338ab09f394a04bd09be955826ae4c6e f0de55cfc1dd5548723090aab035e5323eea205b f0fd2b7c06f457eb5c7ceb27d3cc0be2a57e4063 f220196654d59d5cc52e0177cd9d2c0f5e03c1a8 f22f0029f33e2e874f5c3f7a79b570f46171fb9e f2330a4496b455074dea2cb2e80374d7b85a698a f23a197d748c8038dfeb7b8fc61fc644bf116869 f25c6ca10bf8152e9b55f1fac6171e18f1f617f1 f2fa20fa18396f6c4807a694ea0639e42e4f926c f3bff9a86817070e29272c9d37a00e65eaea0f0a f477140e58716424ec0d03573df937e9621f2187 f4ab5eaea02e8e225c961fb5f512062ca171a998 f5ec7e823d613d2448111b3a7c146e9e7aa38d2f f686ff6458b587d239c8102e8f14fcf11ca3b644 f6bf49589bc66db14a6c8b5cfa468392b6ad28b8 f6eaf59f4c0f79d16f377d76490c36ecfa31c112 f9346afb22a0d8166a77354ae08b21a46496acc4 f999e6beeeebd90a2a798f3a0c4fe4962334fc93 faccb1059b382d536f7483a88ffc6ba6fd6bf0e6 fb12fd635c79a5d5f59b2bb3c6cb669ad0f0b1e5 fbd4792988f777dff5911485f88842943bba6670 fc07afc98f86d90a4706a0dae2f8049df085601d fc4084c5ff0012f0286e50511fb7ec8ea21db2b4 fc6109335be557c5901205ca25f129ea5418b2a8 fc8f0767cc61e0d72f223ad3df76e6be9a834cc4 fcf2c6fc7e522a9989fef69cd7e004f10ef5bd6d fd161e4262bd9c0e06f45181b3d5ecb1dd657c4e fd24b625cc2141113f0a9dac9833b5db73ee9c00 fd3678e17286d46fc356e8b71c095b59afdf7bdd fd7686a56a58e2d694330ffc2fd5fc1cf9a8b14f fe1b100e35d479047e872380ac4777e6d3f0ecd4 ff9c3c63b39b6b2d522813d09a745cac4ff54406a1fbef8c7e496d2e359552fa046c8dc98269d9146cba8004bbf385c346ff17d6ab7b5344af629c2a