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  tt,D ]/ BNF_CC:threads=4elapsed=15.489cpu=51.760gc=3.2487zXZִF! C]ŗXiɟH)0%on#4sU1:?ʦ[.۞P{ v͵`{{k8tp5Ǧsx:z CfMg<11NUT㩵wTfqXH3IsH#)Ëm"Tޝz3r%S`Yo-M'Zxs伏`ş, >g?怒0;8JǛ=P@̸ˁ`o5gJ7R&`qJȢ܉jnUB:OhͫiBv43ՎY9t@x8: =28Bp ̪Zy'k0]ɳ;odt58mQRz?G1jAMJ.ͼCmk}|)|h50_6 گT&U益^j'( /L̓^v؏s: 9:K'v2SUҿtKR+FN.O%6eoS*5 AkmEz2]n,3y4Lf7 c 2fO Ͽ 1tH܂_4LՒ*aPLٵ( Aöi/t]r~k^€X Bt3S*@=~_2Ӹrzi&WO`/bi=F2=ꝼ/tM>_ZZmP n(%()iӘyG[1XA:ϐ[C;=a`   BNF_CC  zTNӎ 1|ȟ\w[ʸc*xF]gHN1u}%+gozN R $ O4'0dlѝ W؉F &Wtz!S _ (}h eOSF_5#\/>{ 4@lM~3VqF Z4j иO̼`޶qBuAr77tG也-~$t=z8Vp㧂!2y !^eq$&9nz]U^7a!*j5UMk64QS!%s},:.|B3x͂ȋC2QQ,9's^Oa#@US/rw0PX a?[Ww*q/`lz0'(}3]42:R8`on8km֋y;'},+:7uqԭ!3ro<,"-+4֠>?:3BZeUWo {(-ʴE7iQxR`iΘQkA"/8kE޿׉6 :fq3SWWL}$ NQ,fWBoB3C8mB0y81?*" BpeD&uqhm)r iLA7[sBk-Q D<;cM|fom^w1!.Ǽk]KC0jj>}Qn7~(q0_RAA=ι! OXql}מ)YyfǶ.QdVN7$7!M@,f&}oS ?$^lM1͐#l/[Avņ vն9[N"i0VA>\XV8yDyɣ#bOJ&,s2J,l/] ; rFɎAX;75 %)塢=CoFNE[EnZ` 5GۈkR]!5>5ƃ}L7s$ >1YMR*OT^y8 r[7@i':ou7t[pCj|^i'Yl>V]H=4ٰ `B\v+fAd%{ te""tIO+[umSg|,paFM3O I'Iw[GVKp+l7dőL$id@ɕe__!?pQ60@4їKsנĨߤ ?;<8 tseRfGKMW-$ؚJeF܅xZqlO好|>jf,kfߑwߤ-CS0WC[Y;Jb뭲Ysu`Ǫ&KyV_tUy*HvI'+>8M%Lv_F_FI F?qQS Z?\燬dc-jð`K0i+'YC dY ^uCH$Vh(+yNdndcRivKnkb&JhɇC>Cͼ 86~Zp#HʖWpͤ!&[$JV"0,CQ}iUEna13u~YQC;A;p^Kqll._O|4w{7^]ipz?ިā<>-ZlbkELUXQPQ::0wmqmOcW X;+{o?w()Fý"pDgu qϲe"$KͲ_UӾPKK, Rȧ䆞+N79;[oCsuo2a'qŤi%IgudEA074IE )RNAH be^<9 َk1ZTfZKfd6gxB?Djg6Zx %yc@NF(< Jft0fvg[߸l4Eeޱk(eFc3[WHKk fۂGlv2+JSq@*r2S[ &\S *Ic%AI.V9+7$7j}*֕{Lrb 東+jl!'q/J/&!-(//AnCGDp#qieސ.qׁUt)Ll]̔˂>1JJ?_<NيVveٔ]&\ik.Ezd)j_c>R߹ iZ Hr6+MiK ^Ob=>G_d#A"<>}J ywf3ޙ9e\Lvl$7h;R'cS,oPu,|b+P3BTF|Ôx3:H鸍DHؠ?ǝɰϪ-ڱC'#ӹ~%j>T춌WnL݁ I{N*#dߨxFp((h?fRr7sui,OZ7~V(EtRyf\W"H߭YI*~XXx TH\CNImpK~ / COjpC691:8Ova):'٨WH+4䝉JCwKdݰW2) v&)j2ce{n]My4FΚw` 𬥹'h) > |w(40Rf(SҨ ck %Z'&T ]N,["qa17 G6h 9Ac$;ۛ|!5;{R10 y0$uC*bF4 _lT w^~y$t6vZjRmDBhGP?w>b=I+*"O;^mw3.#lG3 S2w~vԬDЅ^1q)|9D҇/-?4s_]U&>+p,9r|O+ʾ]fd0_5Ӗ do.p6|{Y^NnGz_5@2Fg )/M5dvT^>Gl$[.@8m[++34c3tkkuPBN}J!ڝ7Hcuq<dc 娨35 sXCc7 C!)`h٬531|Hj>+ЀkaY_u9Q:Pn:M{W u֒sewkYAV^k@E5RaXgje[j[sn0Je[ vCz>1@+G>[5%r@ 3?Fdu晾(B +ն;k[Pevs$Yw6@-,CWm 9>غ"."gƹp4aMv߸ u$ͦCB/aXsD}ɖ300 Z]q+Lj~o2PN `]LiZdB Ǐ@S8REy\2G:1=n8Y(__vCP 4i 7Z!;DŽAR*"6ժoxd W_j -@sZBV[urx͋:.(\?M|ա8̠!d g~8iK,9Nv?wVVbny+ P]-MF_zAIѣo`B*D3u~jq+bQO W,Soi fUOwS_]{Y$X}sn5cyv@rpBű~47o*D;[Wl35zE0~L *|qv-7]/r u1nШ@qÆE{1C)eqHy+? kW8Wg կs?.I? ߼f{]}h6Har}ýXH_ o'(mPFм1IU] . @t GN}bTT9߻U$CAZ\|JӨ D۹-a[i#f×O$ʛSfb&\[F9QɊvZ;ُu/B`HQi-}E*ϔ񜎴*6%΋@aߓ9xŁTEAt@>ȷ4Ӻgz dނ^8eLW\ƒymCym5,)vxw|04nQ lgq r |Q3iB6wGxn<$ca]԰ `2 kI`X_/:!sғ!^kOQjv$ r}cB2 !lR{(-_L;䨁N,Lٷ gBZ-ZJtjh[>۟T) 4AݏR?b;i,o*=jE7_:Mbv.$@4J1Zq&'z ub"/J,]X]kcZvu טgg:)ʉϏvCG{*S`|{.Ƃr $j\bXxa5i R8DdUῊaKy$hb(LUi9!r47Ņ<6)Yrx / 1.I|@b p@aB9TӮQC]ǰԛXUsJ6]1j$BӨ'F@Iv!|Ak%sB;LqCzj憕JaQM8+Ɂ^m/:P-vUQ1xII~e4f!^.Rx&cjcu$~KB|a>%q9P`ȕWG6yo2 ZYhd9 M>sǏ_>v)<+fb=kd(͘qr @錠O@h=1\jK&_)ދlӸz52)C @Dx΍IpȬXY:Nb$K6Z6_Y'N ӆv g@3%&l.,Swĥf5}+ЈyB$I3fL-C ׽g,șr ~q f@)x5'5w2_P%)tW~տgH洙m_ X#9H|U'M nRhTAMXIkJFqRȦXƙ]SR*:&cdE~-0U^n@OmJtDžو.9q66~akq [vV}\ѽ"xu2;#/|d_p\#1ZCڤrI;]ދJP-b띈^̦9v%䭧 RhGE{iD2٧nXYL'R')ߞߎmWzX--/#Nd ߎ$ydu̕ ^É,ɭ='&0E`PbzE rPL"WZMr4&=݂gi2y]%ܷ!C湰RxBO$j e)DeQr2T0ke@CLG{Ge6 AI|Um Եn܃X6Rlɩ㼜%Y&0p}]m"3pQAOBO{tu߳ y1XƴI'@&WmỽS]䡅l`li{ *Af 6?: YK4pPDgʏarg~bcÊ֔QPA9,l/WBLAUh޽p|ĜSʸ;cXmlsFNj )^U -8Gqaw!єkߏSD%:2'jȦ~#l Hhrܻ.:7oB- @{zxEwKz>Fc  $%oqhֽF9FAVn_"G&|؁O9bc*}Z'eRD'i#:nŨTZW ^98< j~TEzq|0KS勖9lcqk o.A ˝1!(8ƻVBCaꞥ:}IN/6L{2)jK1/[ 8ܽ y`*(AT:q4zwH m#_WF!s̼;|:.)FOnO-h9 +]ª֞p;LxIÝgatG~Oقva+.MX5FpBaVI0`T7T$@:)/ږ5EjR.{`=lPЍr)+wsZL(Z8+ h+Eed*F Hh\f^;nxAC|I)}z+*7ɄPRSc7_;;U`(s<*Ԓ/N@:euXEDa\;)Ҽgyi0yuhBe#`VZ+e'M 7g;q]YBj(u!:ON`ROB%~ch0[㳾\vg\.v3j9;F0髜Npyhn7I:M}(KfRD_рBIW>6p dc3EA PV5 7Z4 X) )LŠ{zxNDP!-rV @J^0{/3!w~1z6F<.GHIvγFxvVuAsN\RUӣv6a{6|fH&[M߆@w?"?sRD+ZG!!$_eSn8S߼40P`% n( @:⪤Gҧܤ@pam4d31wW;ϻ\fx9Q/xR#z&)RaA$1A umHjW+AN?tH-]>aK:(e A:q/1lo7EJQ}`y6x Cv,{ܻ2 sUxg4TB$ؓyE`Ua:ϗ0d t̽#:%²־9N|4FNT_5&(?+3DMg7O7F#6k ST~ed@.<53iYM,^8qI| @sO?CJwoc{Uk—+ f^k,ЄqMb2]rxB?.V F䚊1ַrQ7Åg.,ew0rhs(q 6)v:ŀe4u'P/"xNJ*QD fuӚb WT>}M{Sf')lv1m $Og:ҧL3R+y>"H ; Elh3~SJEd[ @UD1,hӮ"n.m3_zRX)9n;5Qgp` zZK @4t/5ug1_TAt+Qɵ%@{˭F#b5FKCq]1'rx΅,d|1Tx} Z*A07Uչċ}ar緘I-<u:fh t,3 Sb4)4VmcH28gJz"qxiH fb{UsQʜ@72dЭ7+^4wI,;>cpQ䒥?DZl+V)6sW rtt6l]Z +_S2QiLhL- pv]- ޙGJh/iI{u^ kԉW"ÃJX5**RD>;~܁;H#y@dhIa$mحa~Z6<\Ϣ>W>cEC7M6s`^Bn蟛6^H5v$YOn:y~^j*읥` esܲ# $ Oz-^A P&NnvF-kezr?H>p"d;@ i *%"b|YW=]͘g_r2 [uo/z:ȣHf63{׈<Ż?8(%vX_KߦH~zcPhH*v3a&颒m3d@Q_XS]]τm"_hP Ig8_͍!'J: YcM"¤c֟RN^}V~O5Q5:l(LדY^$SQΆGgk{E2fJ*բ|}4>tSI$ w3 a\yr~;1ԝ;Gec PA`B9AmC onʩcItsŵ#ƫk{ H3WOkO}o!c}=(|dpR-yOy_, ##QaauBqĪ-RebqGgZ<8aI1D$u s'#ShO P$bNT$LΑL~Z|,&. Ϥ&3eQ)NU/ 0v󍖚ljW' ;h쬶2(aN|ވGknd,>lxݭ5`@l`Teryuܵ 6v7+gW\=kOT?o΀aEx-b*y 6۝VvbMX ]7:gY$޴QJ-ݣ<lQ,!Vy;bYKyئThأ/$UV$G!:°.]`R=N^"?fػ{ ,%kJ"z0|vFHT? !.ik!m+v@R)x4<qtԎ,r6uԟAc 8]Dȡ nns2Z*Q V(db׎yeb n*1W~|J8o/[=̖й7 \"{NQEz =B:*7ܽ(A;;d8UyZTYE&NQ<g] I{pPUƁ`ɢ8s#+uWpPjc|(5L|+tp6o =hn'`R6Gnrk2f7L:6ysw"4 2e] Mdc=Żk]pgx頞/ҕ A6q>b`rY\]L[̐R#>ձ/7~]৒tJ:zq4\&l /}â=lN!آܟ[> H($%ͮh,&a|)3=r%O [DWMVbPz@7>u̯6մ˓Sm1сPHkuѝ8 Xqt%&ޥj:9-B*2) '!类&*FN5-"4׮e&@"@< 9:1c dvV!9tEOV!@Z9ב>+@5}J=Ըڇ"ֹ(qMZ}YDu?8%cj5Ņ<Ǹ"!›~Ӗ. KvQ"ޑ 1S Aoӫ C/"^_ IzEђAw0x"0u5¾5LFs}Z83"6'`YNNd؋v &@ȯlgƏ{-Ō8Rn:kwU(l_ئ* C\*DOІs.+-EZd/-W^_i~{a6ZN!Y(vjn8#Lwq|MT$br;ٗG@2=ێE[!CA.tѹ/׈T͍E>A%S(_qVC̺ElPQ]"=e#7`{PqW$|3ȓwAQJkʪP^{,gD#Wv%nK4ŨbQpx{.G\u5[?cy ft*ކA|>eBc40ԂݷşPhۅ IE6,%K7Do'(YR |wp 캶4#ǻ*oVv(5^f f|ڔsTpHO[Kj1boEuh}J8r,HeIS&/Hѝ>OCe 8X<1_*Ӎ?iz˵h Ey`h m4}0h]5L P|3\Ml- ]_tDLCW$G8t!?oCb/kݚv"Dcv.mvI;pڧSHzͺAB]6'ҩ[# f z4|럂%pQT?y,8`VV1gҪҸA4qRnWXfOY?/ӬƦ.赦rv62%'^hyJ KGԍtxc#cN,'MX+9ޫ^Ğ֐,l8qdNA ؂PQ/Al'bēk_ :0Z(8[DjߪӆdCl&F|\@|emh?\Qtxz ӕ*`7e-(O`PɐQu((֯9_w p-`&:<!K<}8Ts P]'\-^i֌[b:`~<%#Hu[kCC%Hm$E-SAj Y;n]ar67k슁]1:s52Tim咱a-9y3JE 6W Ft]9?Lz-=8&H˕iT($ж0z4}1 X஍ѕM6 4"nk}SU]'^El/4mnq# $;JHr0[4?n8D]bΓMjphu0pVT) u(s/r+ ꠑ'zX ˺ߌņ1u'^9vAW V̤̒reA]xd}ym~_>!`$ױXU0F}c4tr$>PR~LomϷqA;khiSgbp!U;D&',Z/WPvEzq LϋThȼEOڽMDߜ d(Ѵn /MPdZR;Њkְ[6%/l/]ITEafZ96< _>PÐwqY܁hxDɼD^݀"dj@eäϖ-1G WL DZkZo&0|0W#teYV?,"H:^Hm)Ih%¤o-0cH^4 o, m@QSa}խrK\f4)ݟrk )/{z ^̳K{Ն(7[S./$V55/ Mo㯒vuu'\zk]㥍cklkuҝ|d*oA>q\!\w$~R1!G+7D `YDy"&'aD7[Ҝ6V[#-T;sEh!i I`7 =ӗ(zЅ\+%p".o.hWI/iDr6xK֑%t::X)*b>Jm݊_9xU{}o574H1'`K ?ryl)\ /%c˥B 2͌]G./yL/p!~\ds\a1~YhP.LEfYǷWG nAKIӾ6ݿU38 g' * CI'= hנ͊s.+ {\MoL*RW|X —^&Ơ^?F#&(97o(RQ2&'ƷDcEL0m #H$FEjj<*[ շc7(#`S~A#Ϫ(29MV*ݚ`ZLxFc*i#H!Ir[P_+^O54; 16 ,jNbM;l^}ڄwW֗_T1H3߾L8\Q[=B^GN(((~qH^qz9DG+Pމ0^ziר-g#ثX˭^kL(zEO"ZU&J6)縸`:E"1[ԎkehDo΢NfqMRRϜ7>k,dZ(S5c*LO(3kH Pm`p%}cݰƙY{˺kԺZQ9eF0 #_mO `} 8`29DSE?bm33ElTLlQq߽@ a*).$+lbň-+ 3IHK,&RCRXmbh[ucR+ `@יts<03e?y5,7]6+tsN˼P9˱thL̘a,# /fA]4ZƢxB֐毚X 2Etȣ@2pg`\gJh5&/Q-cfG0f4D\rSID7`T93wB -J vzmy1KO%ըix*DעX'IRo\~\WGH'bY̹r\ mb3ɚԳ,;ZD=n6䟸,J hzy ywu5L5i8$9bp8DT +~JNNE"6\~6{^̌S Kjc?77 ,N Ը.W#d%#\/4W*A 9UħeXq~:" ]\4d.>߶?qVji}e$pK RW3 SWf?4qd8Fܑ`EnI#+ ptBn)G lHkW" j/߼ߓ+ŢݰDb$0`ͺJ*ˠOiܹޜ$MZ;_",0P;mzƊWMH-t-BUtp&bYjfeAbz ^T t<:f3,n@:{ :GٕdmAyO.^|zV` Ai(N Di}4Xgt"JpTrޜ4]'=/o$tSp/ϏuAab5Sլ ۠߼Dw2Ŕ0ՁCohLP珈ŻQ[d׷&2R?Ɖ3ObH^&^<GSQ-0,:Uv4bvԍD`*OJ10r/-b!Mb9 # 3e0Kd vA|OdLw/ ԢQ7GYz.~*Hlҹi"COɫu&ӥ-E}KeMmU)5{Ju 3(eqĖuz0ɘ?VnF>OHYt E ǝ).OG$;xFNaIٙ$ ӡiSS&)^99c^yh̢ žЖZS*c :Hg0G(s,0)'G*XCyI=7D?JW(v=5V$=]H44AHr$SV^̅P&|M"ilU@}Ƭ3pͺLە5`J],un~,v1NE FhwdgدxLb}F/  Acጂ |1x mB 8F[ǃ%V)//Z8d0h6B/rbYXSXb]EU;>բFvXʐbV/W!RZ,,4IXYl?du_C9J3.C`݂ڪ]{hm;2c`f[rغ_:$y3]^܎]ԙA6pwYcc}oh@ n؂˺WzR'=9Ή[nNA8FŇ'4큺'g9*O駫_ d3*5q9B j RurR,{)ڡQW)"G$wҬ :owIe))7jq4h *0\ BÈDRh Ǎ:ۇԀpcVnK$dO2Ήl2HnA! I}&W2<K2~)?mB*wdڒNA=OwC-+AsˋQcM;*Bi6\{)ԠynQ =u]Azdv_ EB')ϸx冀 0S\$6d =/J"ZPMfi4$>PUZSTdhhqOϯ2:Xrg9vN^uf5TA^(!7 IOq>/z'P2$YӠb!5_Q;nPeH eV gWl/vi命{8ےpx-T# lDXM _E":m7Aasc 4/9&p>g4km83e/Ϯ6#tbnШnhl7ԏy:n!|/)wׂ\.\ 2.b\GUYS|?<{2lρ yǭ]#m l+q u1gA$.0ݺ}1j AӮ$n3$];N1t0WٹnS8dzn9؎[*>GR~WBؽ}o>oXF){wJƹǐ}H7>}أfc1uŐ ܢw<-'WE<X +wyҠ?2G7':ui\vs3K` ]Y;:1gtZ. Fr мoBX]M };4w`i ["dȮƨ:Ok{DцP*We+0} ~pxY،}/uM셴}xޡ?#G팡AHHeCc.`O@R< M\aNsG3,s< TuFR޺.e߱YtzOpTejVd.~62CpFRK4tP;b$s-oAZH(U 1WՐX\px^vI2b7&N0qtCٗ,y zG_>yɤp)\{^. ;=L0Įw^ub7# F5_'O[z5f Yko., ap%p^n!^ɺ?WZZt֏ϴA`ڔl-dzxX;!("WįS`}4!MĴ\(8zaGz$!% a-ޯS݌%. C/LdCW_]<\3OVcrKos!:Y1ฒd}(8ʽ皭7`L' :*e)pivdP@ZAErӐC@f89ŖDA`USc,뮺L˂,~[am]4uMpj:YMOnP_MLR0@~⼶R$I_XPPr# RMr,TDGV+r:qxB'*֍9A̡j0JޛCj2Q>V5S$v@tpAqBI?&LhEO"$U]Z#ZKVB À=OQ-$%J2~+8z7AC+(ЬߙM]Ps4!xl*\qЏFCloFqZZEL9wBoy2;YP+&des]+YX/ =BSHz H|$֗ A{+=)ggF \v^ш$Ϭ%5E TK\k56ZjD -F +< 2z43耚U{U-AKw=~>0E"/40'HGV9}8&m6(Hw-)"Y%2/ VJY~Hƈ~V`M=OaW`c)\T// O~{CxИOe,⨃)JEiI徭ᷱ@ӄ;NL*\]rLą|eԛZoS V$> _.0˰KӉ/wMR }뉕~3O7'W+Mrג]n?/؆)q^ceq{.5)"tg4sD9W^Xm'$adh 0ivٯ"vy!os Q݇::FE808bPw? @t 61ɅNqG>o 0#WN- ɝIpo06gJUc2~R;PoaנLȀgƄozsUWZ~  >w%^zP}4к"N-lb& *Nyۙ0`f^ewI2qrioi8o';B?ɬsv~}MNX T?—Lp ~4 k?,weLٹ`g^ Dģh!juxF_9{!d<7"ؘd4>3h RY(IvB`8pj+s$d@t@ϛ]c|h@UMu˃f4bA_H@5Et!֪2)C>pf{=im&ϣj7-TfոW |=_Q3+]tHKA=fHD}T8ѯ+A2zT1"sS'fOeW8_Xs!U^Kpڍx^늢䱆UMd-vLf%L^>?j"L[Zf 6qLնP- ~dhPkXK[HL(=n2Yuy[?a)]6sߋa$]"jL}'_^HRUQVy:ŶՀ1JN p2HT^ob }5K%z+R P_]]g#c} '͡\o CsS[&OSω*n_?]k%l֤ԗm$?FgNcFE 3ް?uk (ؤ/| p-7o*dZӉ0?s؍Ն+vF\׆ɗޔ #zK23O\э& ʤr5Xs$xrB b-h~jy>WmB/OҀep^'DԹKQx}_a^ (){B/gv?9e۳\ (!IP)\6$"j?Ů醓R2a%)AB H0ծ޾AٟΤFrg?e֒ ]Z Cۃ0˗6LoRTߡV-p60>vk ײA Asn'lmR-2a9rM㙧1ȕ=WHM?Jo.ߡ/i;%U ' -QPOiC݁@s<.F{wx3ډec;a |=/|CԖ͂Eˤ^ƠT1b͏wkNbJuEЇ=r&.{kC*4 q>98#c3S̙+J̺L&g.-vd0jCBd(7k%UZnS~3B2FQhC舍dl `h<+[ #]jeݶR:20U?j?~,35FJ +1o qq݉(wWͿ*ƖUm/@sL1w;&A o&Jkff(n{1ۭ7TJeou 1VeN=nփ UArJ ql˖:P\!cUEgşT2~LGLص@ͲַwqTDwg#.BDNpOC*jZDK|#f~f:ݡmd5ќy!toD%w#,'>Hx׊+wbD#kuVfUS"Wm(rtTiyq ~QfpBb((o1xz'H3i*?,xyr2oju]F{PQg#܋ojR!>}mKd͒wJãi*5TYVx KxbnŌ:E7JC@Z1Z*3R@9 #?qH#G@q \qgfb"١Q (,8 em-hٶ'i1\ϨhV sxlfMorYM*c[ƨ )`)u$ ml*ԗщe<.Qyp?[o z4d*7h0o%xۖ!Cܹ<~z)A {c%ǰ3{ n+{OWb_p?+&n؊6-]tgަm5AR5XLV!2ĢmbZ0hBԲEĪ }m7`$7WS+Jn\osk ?Bå!jDvKK~eӁ}h f( g #qɴbET#% n\W?p6 _F2!3{Yt,ALH-E jOf.YZr,X+FYZCϗ(WܴCdIot/n>Af!: [ 5rkמ'{r@faqSj0,c kƦ6@1]C 0숃}qq͌{Ixo|36v/Y={"B\,}Ls<\Q3XB EVAN#qf[>O©όȘ֯M< fU]e}oS_|]uaY74-:j Wa ~;D흱Dg Q ]USJU\5 S4TBJX[Z4[) 2Ah_%cpϴJH48,qнL-c+utQeAܷ6>ȗdtfF^+ ijbtC#={-ܮ& 0Ra.nВžh=k!=YB-heg]c|GuD'?P=6;<~ɧeuπs_]bhPϱvt  e}/g},9~`#LOᖹ')h>SLt!+QIn.tq'mY~&,@e6Z ~[FAT;SiB Jߥl⩉(utQλ-La{^9:@XDNNxx:{7&R? D`K>nfX!LHsv' CTzȦ7nͭ)22U˿"@D–fjM(8M͠Pn@B1 hrI\Z "OX|3HXa?fԀҕ swo&<-v@#ؿ z@;#J͜{5f<) 6f\8Eaj9I^C>rX˿7ހ,do |c_ 8ya i=9٣G &"u +*S_?wvߦLȹvW&VOQ+TBPܧA'BU5` /2ڧK/:_1tC>s8ba߹JVEcwy|5(˼xZM(^Wq{RTSRkZ/( !`s'#CO@9?kś4 Zx8_ַHvЈ bk>r`w|y>ɫkb8u%N? hnO0p|vc x hNeަ$Otm@%W'xmU5 X,Źc>%돦GEʬф Odb4X3ógqD<+fl Ia{XOwYz]< `G$08UəNQ8C$T@i[Vs\Pۘ]鲵RgMq419_k9i^˃b Xvr&V<ġJeX9Hͺ^&{ H E"G8?;W3ÙmT&!զ=_8ygu \\M.avoTT3 hI7%rA1RC4H_C.O^)j,Ew=Lθ/uYD`ɇib|fC[p+Xwj bI2|GVxm'yA[tD2򽖸֞1I &4Q^1G +%>QIfQQk)&+5T&WԌ^g5>6qk]l~sǦv˦o]B{d T#vDnN{N10T r{Y Wͤ<4wkAᡠM=ph,Ln;72rwy_\Wk[v!&vC9v(eߩg0dκ\D 4HXl#&~"$'ET|ɳe]!sm ^ ,BBT_KVp5q K(+x[u:^H"01T7|\*B+%?x xd(TYXUUr*ҙBiE4Ee+֐*U#_,*Ԗ<_ 4WHKf:!%J$QC%Bk@CI# d|cGhU`|]Nt+ K hsڅМ6N(20!ÃӢ2T1 |Sb'ghPɃ#)US74)/>g--?G/' [!k*SզܥB7UԷF9d._p(~. FDum;9Fr AbeLZF@mVCY YopU$HtqwuvIvz Fh"& uY|YۗU(2mRJk|Vj-+]+t%9ɝX93o$\ԙO 8<i3H=.5¹IP.FQpͭp mJN̊|?d£VC'(j NtF"T"n{ ߁?!n9ӊ3Uˣ';AY9O,QO4cz➆}'<h1ń5N$خ#]i9L(7ah?)6ɱARNS;zzG1'"iHv>MQݬCenx3%(9[Mzssyg7hin2\8?7tx]5 CQ'EY8AaPII.ΠwgCdOs6Bu}-w0T;IbdH{)Y3PLݖQl|0S(t%j'QFCϑh{8C9))I dc^m9/ 'lrY=Ã^̨s+}d~Y. ntDzم*D[+"=(~LV?ݏ=Gd"`3/ä@zTדY; \Am4];41l"ȇ RWHD9v!N[@fN-Vꇃp׫GcYmW(kVwBǾ#Et9SE%,^hO 4 bi=[::_-:J3յz1VSQ*4`ض :S=v1].`|JCB/ *K\sxi1}S?@h9?hƋPA?\օjB! ̱kaè_;ߑ[%]6̟W`17eT#ڱYmKm@Cl6A-<0C US ٦[E^ mA)Ւ*p 4~QWHA$Hah%$E7w'czd6z#:'sygׂ6U!4[UDW}3ho(s<꾠Z-X !YOK#b5w* ]Is!Ml©TWZU&iCP0r:FbW/IJMCB[X-&̧}‚2 !ѦbY' ۴5q- q3x0 sNG(P&z&i*VDš딧OnD4|2E0z5kJtvƙ~fQC$J*@ =|'k)xjÜpj^[HǦ ?bIo})w8PdqϢ쨽߱eWws)pPuȝuMVH棚xm@"z? V'l.jœ3:'vAuȶ=A?e@\1O봒߯l聐퓼N;1=1CIa\Ii-[^B/#Riv4%W̖{/Ϗ_aS HO(5]IIs|28/;LM#xtc5eXɠUwu f}!蚕) , #gÍ-: 4,LL(Uz)Hl!.jV)0r<g#M P!,(/N+@z0wNM0:9k u:;ȇ{MYctڱ6#< ) rgINQɳպƷRV :G f{QAw殣mꨝs GݰhuU"/q`-v2!%K~U^(ƅ'uhdV1aM~#QDcPw0zEUVN`2$In~6f9K}9}Lˋ(jSß$[*:~:[pqKtFq3짇3Gnm-Μ0\zT"{r&*Q ^\3;񿒙B;MZ3gBgM {P=JsD|Ir`BAό<@]$N|K)hvVSBsS~u sٶjxy67+՞Og}]|_d!'b }& 5+6(yc8]nbYS@sRN5l)٫>"wY%A~ԝuEh:TέlecN81/ȁ\roxm-Up8#npn-X;WfG(\0E%ܫ(,kE YfpC/U2T6(rұqI0Qqu*@u}Rݒeue$v"$,c^ܘ2‘ےzZҫb͇e!8yZ#1?i<>=FtK.7gwa+ mvQ} D,|2{9)[[Rp ?n?z|T ͎O LN+@#:h褌8`lh搇NPLvk4`#UP!9͝rBXJH4i+Fd n2D"'YG'|Gol[؇sT UT}u&)(}VESjjKID&`&`7ȲwR#u3U'53>e`B;Ade2K(x/he ]21Qvy)GU<\bbo'Z^k.;d$jF#K9v5q mkupn SoֳiB7^4b=0:PZx &}'^|9=}C 6DL,zں>P4lVޘÐ=n:"w%Xg\+ߢ1wdR! I䔺4s Kɉ X\$ŗ.0XٯY mf.@fbWWy/؟3T@KEz_\N^x%8&"d?}oIs0\]9l}a$DFS[> ֺ,u/3Y@\81IJN*PhLHwr)`aS뇱zU&zAS6c0Q>*]U:ߐʒ%,+PLR1wV9ڿ"L? 5)p>$5ݑfP Ũظ6ģFD?ooU=q*TF1 6LtLX&Ǫ-8tߍG<+YnOμ:~?Cl~7jvz`%^Mxkky%z-9/zM6<^ZQV<}WWpxΏ;)jYTW+ql%jg;gpi߲s<;dЙNir.Pn_ЅV #+s z\(0T͠u i!c~Q]eҼB6@|eޔҎEXaR#+YS`Qft,6Zm]O"ojl_DۢRI£O-_Eʣ Ivw*ǶWtRR'/(ON?BUL<`` Q&E*R!qNa?mG't+Ѓu8e38( ѳy :)}gԷ5/N<5grh z. CCEмHla݇riFـGn.nRJ_aaUsl9* 9>%Rs@>' Xyd>~BpWZ*cK}6qBY6xչCT&cl~$+\#+)¼br '&PN–K6;Z"$(^ `=uJJ(WȹVB@W# uB6OGҸ9X{Z}J"C$Q5 ޴Eely&~ar\IC?q¨a -ǵ7iN+v2-%G桅]yu?KCᩯi2JN=d@wS |OJ==׍e媪.c7v'A.OR ^5)~u>lH7jWBp2Tdڶ ôor| Ya55hRcKBb\v"DPr7|%o*QoN4?-&[ybDY>l,͠F/3}ǨЂpߣ8]?,´a4\3lQp *W 0@D=NmH5ÕT|3,=T,dWmJ#jaY;UXpYYO`t:4EoAɞhWR{] 7W7Db8?Ctf,4|JnJ2`Hv{1r 3ԥ & v *?ϯ{&3*ltj %j!ܦrHG) %SŘ %GꙞRҶ;ȟR3ΊWTϙ חZ&;uOzKH>'|:4ώ%ŶK,s~LZ <4B=erk QZR7 bV [=%ʌ%ۏ\)7gJj#5MPt ڑ2S!#-E󵂜Fif|D9v#w/o`i<ږYn7V}G'S  a5hS`i]]%7vWlSAR,#  Vވ%T5JH{څT_Z)d!2/MBiCNݼUb&JF tjMtБ'Ff`V`\]-J˶,)@ 酶'QE.~# xLze'u 4 ɏ[`ȄCpG O:_VD=vȐIC { <?Skš !mݟGj?}60h aH{QS<>On"A[ܵ g|h$8Ixv +7t}9ː 4x"8%CʿiI8NB,RL8Nn[Nea hVlG$74pDNfaeN^_e30yإ1(3U0`X|)0i3 Us醱nk%S`hZU;@  &]" 0acDdZB j0) \&amۅÙx Ƌ 9X.~7 o>@;]z1+ fW%(:a;nt :}J܍Q('(8RΟi3MOvYJ/7@$3h8}}XvP߅Ix&u1Cpp.&iZ :uV M;BP0weo 4y+؏g1)PGQu$o 73)A=+oTɯ^gU+jXnPL/` Ж4uCV\*>}Q+%SCoGsSѬt24C1ho?^:rӬ$T]Fw-~*[LD.KF& <[Ud{q?M`Iʉҳa)A osKE8Pb8q=h/mR;զn0W ^ Ānt(0ApWqݔsw0#T3J;#K6gvL3uNmjLcS+j͌+bE x`(PegYoLTيEǠC=f3EHSɅ|r,j'@@9"b ADV}~"_7(R+:Uf6 ~i}i^Xj)SNT:!6\yݵSTC l=hj!vt\P~rI2Y}q3ˋ+8a%"_ޔ5OJhOpyb*Q7uMBrb?8fx`{}`^L7KUK~ 9C_J-1!'\ بCY}{ɰ=~K(AT㚜5"`[(#_̡±5)GZZ(,rxcot@/`Rz>1S'6_@-tnyޝ-a2 YEʀL4 4Ջ5ӕ><]j1i҃#( KtwGZ ɾ `}e]k|c Sɾe%}X5K/rT >ԊffhTbvha2 0uLֈNi&83yZbְpXhFJ؏GT͛wf'ȎN_F:0_zDL-3b K`ү1#{eeb5MO`VbN]E{Z5bxiW ER ]?`T5W||)\쪃=1B* DՀ/!%q8&f4G*ohi##Ag'TpZykǾjى?aUefEv\r晏ŮF@ ;Gb/P|>V,HkWZJ;5~_vSc^pPU KP9ܐ,P WDFj-t|;qbuڍ]F#S|?'IOlfYpp+\xgg8.SRD\ܒ:w&%} MO9q5G~dˆm)ÔT= (CC@{ɵ㍚1xFڝ=Rл" C=L}M_w"/g]'ʳtsr ȥ@?6e4T4Ta}@tX1F(|s $v  dӱgYZ7zXZִF! ^]ŗXi%L&lƑE 6y=(:vp X>c5ÛELF$ac]aa0g&z)V0QZcbir%Lqv^-x3d& r۸u L4Cق lI*bt57[u ht.(`FWxk&`r3yjYYNW>ܢ&of7}O߼q-h&J ..:#RvCD.8C5%խ\ YApY!⽵Q>kJحg=ǝ"gu 62t~[~ !jD8Gb71ƕ'PJpj tV/6 U;8 +Zq׌A?QjwC%4;rfOn֕_)L f9 wф) k9HlՕFP_@ bw'%Y[f\_zZ(6!Fs!HĆ[`X O(B-ew f̒{g)!0*Ȃ[o Uhݍ~# i'G)92 W(W}XN{5/bN| s "'yg*mI<HqIxêt~ۆwR PiptŝGcNMXL^ !WWjM6BjΖq9.LPʀջ" ه-T(q!r Z)Ni[dܒ-Z 8{Dq.ߏ6h.gύ⃺B>Q$H9M⣩Ȥ^]&5s&:$֒R%We#ቔjVQqjc `Cw8HJT[\ئmD*2dn_=1: ~ژ]>Aͷpk0i8ϕ<7?Ucر5-}&L.[/rpo <BkNqz#U~b* U q,$< *AqE&D4dP z7uSq.XoPJ9Vep1"8FLHam3HA(-Fmcl}%?CP W/{bۑFI˄i}PF\)w\{[&v901D:(s fB0OC q{ւ-A }_pe1#\~pTwPR6 mloN09eM 4Uu; PĶyi\ШV/,K9!V_@S$}KT4l$$U\jɘhD2Ur_bBp5& 3$Xzu&$>$3>|U=r)s<[ucO+aޅCѬBweFwUEA"Ji`}2/.V#Ox1zK s1cRYzzn>_9)YE،fU/xSzs]Nq[t\EKj|̓,Yٲ@_wM?(.cKn 7fA),YvˑF 5 9mف Ji]7=s#F+$de?T"20* GY3MɲLh+=gYZ73ea332f3d005cee1f1cb70725fa7d46fc75ae5f9aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535