SQLite format 3@ .0:  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 I%D|l ]/]HOL-Analysis:threads=6elapsed=356.831cpu=1814.636gc=115.428factor=5.097zXZִF! W]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jm톟UڐEBNF]Ƥ;Ƥ P8uz9s񿴵#ik.GZz-Wx6WmR :(`RJ6RW0G`AV쓏 wt{,b:0sA{e{iQ@_5̉ 9唵#D*F\2l >nqIQQGdrHFcY}n,2l.Xr rmo'x=S-Ncrk+М~ Q6C.ϗQ $px-(BRzukDw@E \I%L<-c%"=g7.פW(# qHvtO`--EB ` }?Z9[ZΪÿz#VRjL)ks]+M6/V{ckLJ*J>ir6P6,66ȝf7`FDue34^F$z8uq&z_ 0ᤚGסpρ3o=QǾU$1xDi0c1sW緁&:f%Uv!2XF ۣԫJGhQ鮦 4h[ƣv+ ;umze.RCS_7!ft!߉>VNW+S[r4?xofvfSGO|:hV~`s$ExDƁ`cPD O),~/&w=0)0H4+[6\gǍT30!e@~/lQeڃaͩOV[6=񢁓pW%== S[mEzr/3gѧ/vQu]'F^PWO+ GV\ v l :A.aEe @Bb&)GE֯e)ſI^ |Y_+yC+/%| Qco@"(1֎nG o>v+hRF Z8blugD'0 [4Ȣ{S\JZmN.S˪ijxm6د(6@}"{ich1!,GUc!0{;&I׷ȊJ+j?͂NZ1t4DSV YV9`nms#H}Lfk2=]:X!W]X.2d8oV"dn7MOl0I B%.%/^X>)_#wͲ='Z$O/Z75e=ߘیU+pKE!O % HOL-Analysis  P;ƥ[ܗS -֜UfPP H@+rO3H8x7":*ڠ1 ']6PnB{~ ]`EMWUy'h@(~Z;+($%#O {(a?fzSč4ƫw4AW3)WS"L6vfGhZL Hɖ~gKdIc=(JqaI/R3vyfj+RZϒo\9şv^,0,2U>5$x/Ylճpg0q0noÌ#O 94FM\Ӱ&՛U`yo(كU8j'/-7=SJV<ԁ;iٟxO\ n{`yMgħUdq^%=HOOCYV,}bE0?s I(лdh;jk|k{o猸uS8A @JvY-~j4B3 ˜lde"F{$""Y|»=?JL\2wi8J|X!qZ#YA[Ƥ.sTP1C@%<,Pn4[SY X;G҇쇉H Ǩԏ]U!6rV(XrK\TMO2TЄn:|'[Rj{JW;_#6l凪&$Y^Y|7k˵O4#r/fjדpzsQ:l;@`Ǽ+gqER5qֳ;g0vRI丳YxYG؆s*ruėr`G)qU$U4^ vfkw^r8F %Y:Vk@-%_ ϯ 7'yq ~6q’)x"swlcۘXA[K'q3vJ37A[Ô}H=Fw˼PrfXfO5(`>-ۻc wauĔSg'Y?>H" $&o6Oȣac-e'G,8'c'̥ uOdRێMi5WH-=4*]Z{CPL-<(X]3R]juvXe~|(.^,+5i<{r ڡTo& bCڒW.+tKSS<>)SaIlY^8e^} w vNJv%)뫀ӑ vMb̥DS|VųtZ&u83yf+C&C>m_=YKJBo^D_>#7*<[W𡌱Y lU3.{=El{CJ ąCa6Y7V^d}6G^P Fs@&#57'] zn&}{d }-m,]\,)NUz^@15N*:ckKKܰs.3H ;(^+jn _mxJi{aiᆄ7>~} *eKV1].؆÷£9޽[q*gEE;`j}!fOULmwS֋*ʼoW%U pWBba}H,?A7\FH&Eˏp0"RF|G_%ҷ%Ux7bu֠dMYyɎ~>@u/ߓV)|z+!p9S(= bGb ǑjI>v?Q7Kءr {OXyA;iH!dbX[ AXZPW sC_EM WxObDȥx^iUEryV4Y\V[ X5h(裇b\zZ XXY\A6c増B0\^ye3is(IbehNV6s驍+*utk{}5'-qv"7 dGBA5ĵf@bр)b 2o8]|W^b^á %5cj4NA; ڮGn# Br1xc >Kч%_{V.rr^tm=qޞf>'ZuX:cCo` mtO AN{`K3choŕm1$ ˭Y> k  /v^%D4"ejܦM\ `F$kڌ @2H2H :ˎ~tξऔĸhS+e9  N ~N=Sun mZT o׏A`m8 F KיRw. 2⭃nT&zu^z΂JSZUr~g&& 28o9*kE#&t憪ho|:e-hjϑϻq^8SɈS=94D\' h- (GЯ;A"dnPs9\ãOPC~ HThLCƒJ[< F:\ioyRF0?3lɫi6+ZB T;9/J?dަ6Y//UO4l!sq69|Z*zQ:\ƓxT 3S^Ru_V]Xi+kJs=5 ھ-W`s@ӳ߶м%1sw?Y.Pt *@(ua{60 ;Z@KAf11$NxeK,z֎p<1$8{&JPwcB7_ſOO¶W2]E7Fg(1 3RriET"r YBT(ؚP'(!,9rES0/Jً+/E#K@ edDMa-2L73%&}e 2/ժN{N 5뎦y1ok`|9(1S`) PV 0&O(*k&qlmKalu;X#֒{j~pǣ píhR˩lqs*V- 0 -IX_mlc}kw$KXJOw !oey7&/$oxζRa^0d 6`̀\3fE2U]jΒv?|ئpਤظ yEaJa]E45&YAY쬿9czqR3Ъx/""TQr } b^8\5A@ *Z*QroߋǗu , 9RhӃ;[_q2AO0="g9d!6datM-%$C/kau57VJhv2AU@3}miEXWBMu48CH>qyJ5X1֤ e/ */&ߢ%B-7}bo,[#-ݟ:JTq/Eƣ>ʎ K8'Qp\N>M- jTro}~]wVSԓ6\"#:*vrHGi"\F=Z|bP)/6^ŝ։]*ťeoZ)9Tẁz؂- 'Tc^aCdƔmP~*NKqjE`Nzh3 q;*2Jg3WՃONГ6˧[hjl$g0XB$s`N *7hď{\eEpۇ9U<ke3g?٘arS|(_'ST^^쪊amcy\l0p7ۉ2P| Gm✳ J:o[ c[|S>[,vK5wќy;-G%f%P&&*G+jE~D޺,J)_j>/^ہ 9tFx2_-I8M@e "%;5w,Ի%+9?iae2cD j8K5LG:@L9.̒>aNjMO"ڽn4|z ZZE|՗Wm ,~0|qx\A$QGEhL=d\c*֋~^ʓwSoNЧ(OPVPy9eҔ mrYw)W 0x%ndevwGU܎aD&Iعw#&D|ٝR;ݨ'Hq]$#F-rkX_r \bӲ=|)PF&M]sby޻/_9r҉Ao:|A+1F]CV;T؇ww0vCO2a(rv~NuejSp\adȶ]|ERqN9 pwdg߆|Z&LnD!jZ9"LgA+M2$-6(3/mF bU=Wn\T (˗ǘm`+V~8@lˍK$@i9~ǧ23ZVimꅌn2\vg88hx¸bRL RKxקY|FMe`lLP;յσ&ʌ7LHa9M7:9g~@Y^\F=xI 3DKYn' v{!:I?o/+Zҹ-y 7|'{^Oo|Dz3"chTOKɟ󣩹{ C\4)n8hoϛtsWqa&lRk.gjʺ,#UgI>:DW%M|beؒ 1\z~vp^\*ǕO^;o]5KgmڼE.>3ys)x+ˈZdx fe4N}f`-01h{3@^љbCU K]X? |gNǾ~Zs^6fE&_ upanfRʁܗK֬bLM`Bԕƽ W;wPǭ"fq$ S+|JST`ܣϢAeE<N4{L"'PE{ mrAۺZmÄDW\=ǰH"kocޮ~ Ak#`m+ЩWl Rs̑]2ɜkc Li:յ&d\J/{7x1^i2w- w˶ɧzy]"ȵ#%ː.)]B`&|6G i /ͰTi#t45ZRx8(~&ѷ; vap-7n[;aӭJNRgx(PsEQ$ku%ªԦ>ȏ.W<^%> r_s4Aa PMNx7,Ε>dmʇN— ? J]h _Y#t`$DfRӯ|fvJz[)Z9jn)ߝ(-#ҕ^յ"y]jFKb,1%^v=R=Gm( |1 Hݫ2Aƒ0^zyE)9Xt($D\{ jP*ӊmn&N)NxQ7RS_c됳 0irl~@qrlh3QEyYäYOM28,6Cwv~دh`mm Vo0,a? U]pAj $̬%Kl xq$y1R7YOm9|GD2Q(7OS`@獚Nwb7;C &5,%M͒@'k1mz8IoCo[).8fTn?u7H]\Yl|UOIf!GU.u{| ֧8=ְ"'Z{KpDfJ) svZXs$8^ies\1{lO j~ֻ^`'[`];O+^l̅3#RL5E!Tmѓzv{]Iիx}Ͼ Xcp>iwhZ-Tı]#ST.~b޼G}'GrwUP[2TB^z,<(1qe̱|yLd5Wc=WN/W%qj(Q:v}hArHӑ f°uAz 2jdf^"'ଭۡ[-am'f* =@]3l*іu;e3dVu_ؖ`td G!5_E3mŠZO5>Kε tn乴E.m-t̘zS 禑ΏgE$QԭI':FDC6eJtա|؆~c봈t~_Kpkq^[N)pYqp40:xqJkptOLͅ׌WbT]!!)_C&F4,6eZy.sS0HcfGk=,Ϡv& 2Z ݮM℄킽3I-%kN-өuѺvF'բO&䯁)˪ mtxFwJgjc kFP?ǐБu±/]'(hۤwˊ<ABð2 0e+X`u+z@id,4>%t%)yc*{xi k#&KEBm\ /.{ɆkeY׎>2?5sE) YuF95wf?#9 *}U$TvI߽z[wP&=y j|K0KB7OnSkxPwrsM:E=w7Sv\9QOy9Rx @+JS [*cu}`L7M&$[;j4"o8% Z I W #|":VYlw8Rދi'ggҺTMt?4KPNi2h|y)@ٽF|6[1I䲣لHPW>P2~ܜZK QEXUKCtMe6!mq^ZR3M%jOvbʩwH]VuZ\Jk#P!өE1CLڷnW 4&x|-,oi^Iɻa PNwX 6+Yc`9w>;ЉG!]sT_ W!mWH/?oTIܷ)q %)ZIQ3seՔP%6Gpi=%E}.+K(cO|LGi LX(hj6;0X$mY<5PTZ"#HuM)" 3/7 ,[nw`[QeA'2Z"۩|*EANg$VxC:R}Dۜ⃞Vb,}YS!GG!quBz نc:)d3wc1r<~xՋ\o>d֙ I\ g3 t<%%/jL<̻ЪQINx__kNBvmzJmXa]aI:bf*`܁>1 XH|Np#F-x!-hcKeF7YZߝ4m :p0L(.˞U&?ljJ3vG~F6ͬ %
    ;sʷVVp<+oVl_J:""ާS7Eywh;g"/[ss/ 4`h,&]o{Y];}@Z' Y2-3}w4;xPl+kUV hodX/aVƬr4i֚GhNԹN+⎸ %&R|LoFPG)+lLڒke'eE j L@oc'wW}Ao[~*uE'Ne rף-WrNŦ+Pdz\Br@*~,pdkN͇9HHa˥Z\EabSgwV`Ǯk/QԦC`o/ԣ5|TF:JCUhX6 Vi3Hz3]&PtGՆ4\&s|PľqwAqho%h.tA'ay~9S#$'+P!+0I@B6*PC8f?c!A6:\El2] fG1uKf H{v,t%g9_G7qtcLX5m6J1קi!Hs]*̅j@q<|J\5\+:_pEڰMDk0dI(K, Sg Wgk4fN?!iNVxCe8Bˈx@J L,EuM~^ cT}KlȸU׵zXxH w D? H LFEc61O1Ķ)eS8Gnӗ=Hn밖TpcJM!fx(sMS(cKȶ?2jS"y|@3Lbf op8AT'M)^o)0po+b <dJ Ķ6]Mr![d7cuZH犔4S|i̺>L].YS͜y/|Y0->Z?bYo*ڟ)<6sBN6kԽK I=ؒm^" Mw0)_P^ {&ˁZԓj4_tIXcjoE[ɥs'VS$Զ.k2,J^8@Q2a]װEy\Q8[`SIJ:Nƒ{{*oj':-P(𫟐tk}\.HӆkndFdqqM$_˽Ad!fqk 7[ PPf/ϻq{,/Va֏EO^*F)b$4jjJ&_18gSf³>I;o?K%3BH\Fb5Mt2*ظ8C2] b}A9ͮ=7Hy[=OG \a ɹai0Z3?jE|HmE'("j eӤ> #\^Aw8d.%;9陑4fЃ1y=sC kwOД\>bYPcJ.Lk{IZ[c|'+m 5l*"eڽossU^R?do5RtHFAտVR|>VhM:~J,RDHW4VD9,^gZk 4Alk~h-#ѹ0]?!.žB #b8bvD*\ poJa^ӧH]9OV~;Xa'ȔWVd*% n!yH9x;\ͼ>G909qe/缄{'i(g46n#Q:T8Od~@`yٽJ(=cTiQ^I tȻR`&d݁~|hj5,2.@Hp CÕ$OVOӪY7ܞ]c AaHǨ56 $R1-vҽ?x4Љ|6nU';dA%X,]z<-5p%5e~2#+]qU1ebynפ| Mog!t34=sC1XAe|^ L>߀?80xeO8xOZ/='4%HT6dkCSdИ;[*Z0":j;ϐF&M$Ϙʭ(UPM(N:SLpl߭s߅}Kasw:9Wm[Y{/R]n_?00q{Ub }O?qUbҸΌdoy^`?̜Fzd-^S\`9P:Al6G4up"a|NT0fNrt(]_|>9bڷӞVuN?旑H}9"‹277FKj2.ٻ)*~1gzϏ[,WUH];^K~U'+ Yx/Zڢ;Gż}8S%( Bjq q+ )z8K2>lDEShӢmdsYJa 1b=(!k 3aJ 'Pd*01=;ӗuuC''/h#tkTy bjs:1jڅ. Ўk[$?1;{`1 7lu}w5S}wZ6lQD aV;;~^Ī\ 1۷熾]h 89wax$^2˪/0&wdy0*8d`'4cHrtKz(ʳ?u\;F])-EV SK]5KM1_awn~`cyMܓ]%qvWpr/T2:KO@KEes8׷gYZ7zXZִF! ' ]ŗXiɟ1˦r!cHkMeBd4>OFm䬚z"G*^[iw+Xl86r^,4ZWCNȂ0 ЩeL׌6'=-MTNI:O#KC r*JGOXLI6_׻pvu3Q/B`ayVC1%ap ^sŜ>HR%AZUem2;{mOlHJv-$b/б+}.69e c`c陻 6dS4:0,G ҩiߦŧq·FZo7$>_JM'wd:j~\ʛw猷9^0Or؊y 2=b(FK5yG7{'A \-7:\%~rF(@6Bin^ř blnOMB9 iv5.r֬3#" l$Q(M>92nBqkRh* Roo^_ޖSmg6fI(;p8M*VTZ!=ZmZ=TLanW'+sR3[w(G\g.us^fWS119yt7:>2{ɂ夋w "a9\N\ _Gz@W>8 vU F=낵>v`@׫aO@M=xwO:YKά)ok2q ,;EV'U;]<&<q(F.IH]/L%H& ̓(b6;^-[2M>$2Ζ1>Y;a7?40h?%1>9#4A|AD8%hZ-?9`>q`=HrܓGق]/zsR'#4cdFH7_c {./q:Uv.|G)c`iAޠ>U`qa ~E pAjQOܰfANjl@ⱃN{aaSH;~4v,)$:|Iu')^St1-*޳RIk;IhVfK)jbY2,/ܑO. xq,~ >x6~%C d9"bph)ؗîOaYdh7 ADuèz`b+ ͰX+@*H6sBfƞ7|Zڦ;zd@7δv/O _[(E? p3W:E^[kft",`lX/;,EWk`2|<Ƣ+-]ZAHwm}6qjEBD yOoYɪа>t5;u3y,8CMlY_^Zǔ9 Uch3wV ͎cYo%_m@|˃=7+]5uߜwym@.tOǮmҨuY!0i&u(yVP8o]N_ E-4~XRA))cʄߴ[g0:t=ZJY3UM6,]RE7/]ġ3QuN|S@EӘ>hִ;=PSD沸d#=kA&iV-+!d-ݖdž7\v1Z]~L)|>eg՞;z\ Ѝql&$Tj~vpHEǡ0|%, 263B1c[Y`_3\{LX̀3TޚAuX]f0 kin4翝U D qO'Y4 j\a5R%&;:Lⱑ^8NDDƃ; <:uJG O"@ UP67T#r{ACJk"߯gʂ*OA DUKŐۇpB/>أUHWkuJ2*t4քrLMHf PGդߞhNk909W8\xJ|F204̯,M$k*ekNH=M5D$=R{2M 8T[*|5O:BQ\ę\Xt]UE5 FSbҟzi- ϋc ]@ !Kk_cimAľn3צHgEϵLb(PJϞاlcWP(AU_Q;/Yh*[_1Z'j,]jRi.S8it&Blު< @# s4BKӝEhP {AE\N 'P q$4ʉ qܤfhcg Kv 8xwOY%.wD'M,bj2vy)4 wmF?W&=A"zx`[`%Ewױ[PH:CƩNb90j>YGY?Qb:Ҡ#e4Z'xE>@ȯUΊ0Q8 x{5<Uc8~7n]6r|Y~bۂIFC/㱍.߆vK{Ҍe- ղoZu9GC><Ņ;=[A'?4s/6 _"%g_ tK,FNj$Ѝm>Bsn5b&MD1XXG2߽I6} ̈́rGtG %*[$ĩodlG/^3L0L,5C%hAʱ0&cJu׺[ @,<9SRVUS7.ZrHqghҀ:Ts1351aQef$jqS7R]uqU>? Ad5{c"mQSc\ S慎 _A H7;|\}:K(ܢRgjG^I8jE%UoTmi~ŚO@ypMၩگXnh\7yfHױKɭ⮿Lj11yr.iza~/fK%KGM`|492T{{8. ? +?LnߒZ6?AxAӑ˦IJJ omieE6a6X xxdf`xT9Ȧ!mk-ז=[d:4x 7'.7'$)b]qAa!)Umͮ }ɻ6DSd0̍dqpq0 rxHfU@H%u.y>떔 ! RQۆֶZOWOB( [R<nmj| +x!ⷴa;o.(ML=&Tg+YYCxʹwg0#Z 5([&{tT|98Ο j t c7~K樟4mr5{38AduCc%m"tJ=L~#l=0B8QcX(Jd4ۻ:u@kFfFLp秣q,Tϝ!ɾKUdAT*3 S8lP.T?%9Z)'/V`Ї-@& @i &,#weqؙO^ޒL6p0T)/^pSKd\D axp]h;MiTB l#Րy ׼QqD-(}54y?PAu$kblt)?{?G-CwsTlM6Ѐnx>m@˲u?.t'F HyEJ^$"Yn "'^h'enFSETTKNLIJ(lֹE%mH%?CdoQ.}E&wwTEsl >mnBnH0 a}u@{1Jsl6+!ez$-7Afq[},5YY/q5C#@@PQLDjUxEH1MRvYWY2M[]?]f0xSMj2÷7N8.}xFBzˈ=DeO3T'zym0cr5 IfA/ߓb/ t WODsKJ%0jH0@@ᄺ~_BS+l3&U̖XgO1@ "uƥ&3eQm˶Z$X zi_^ȏ^Б#?YEZ@lCsj S) zWN S ^MeA?-71H/CQ z{耾(D0m{7KSRa|yg:V'& wXakoR<[G(~s1♥}~;V6Ôb۳ 4̰'e: pо_D "dڢNxOblJ& io,:H+j>cjdN:/$@p,Q 3W.0MїgT&ڃDvgzpe#e#ܧclS FXV5G_-0AQy?Њv*=c*2 B]in] g'v3*Eb4j+F$ Ӂ67d!ǓWY*$ӶW02}^]'8:&:BWR^3YT9i$JsJB8IjX~RoC<<#ϊ[M]kJQR3g I1m/lj5v|Pf1#1ج=$sc hc,F=b+ T];Ko ʘ7_44hA@qN{܁LZH*ƒ} $ςaɔ;"_hHc7A(O$V< vd__VG2a7ܕO<~!ؽA1іP$bYz}gT%'C/nHmb"oAP͹T6?NOן2>wt6%QExF%1|(c$$h 3W7l">~+A 5{ M**gVȱ:LW,UKI:vzzR| BPPxMO+.Yخ c_+>mꕁlhؤI;e1ݞk&e&8۝`A`|:'Gs<ӣ1a}9>"-MPbP%zlH JlfN|~ I ?<@ G|5OI, )aOp*_SsN: E-AN'Qz#/k`ʣ͢=@@.7=AiHt'-u7tu*aAF- RqB=L Dğ98\#Meˡ,AkiUw$-9 yѕ=\J7X~S@AJ#1ۨӎEjizD/ c6 -E1q]-p3dCWjEp*hD 5F*? ,5y}3 /-\lZ"jESZNwݰ$)!jx `nUXQhVqtR|6@k^D 9y'>J)McW)yA5_Ɂs"} [z{yDV>PBC6ZP{CEtυ-ogF)4M<]3X0 Jn2?.?fϐ| 5!YsP+a & 8:M6 v}]J}z!aQiX~\ոm=V{sgPo6ox~L{xZ~: Y##ԔOѵ"ބ2&[<}K/?QO`xcQn1W9Aɂ޲Ƨ\ƸȒʞU4Kwy"< H6?*M$vl;Ťwt;ܙ!{ʌ  e(9cFD(DM Oǻf;e^Zڍ_U=iiE[_>X?zt $ズ!k!Sw7vx,8W|Ӯ5!d@#Cݦ3|A`40RNXV1O0"]=Xrxbv)NA3U( \ QKWzE4規XeTY-S fݡ>?Vo\"Lؕ(qPcM|b*; !3vH|k:p}4/ZrRIF'nL#ڿ-&쀝zHQ+Xwp{HWuLoЁUE]7MݖhkiT}XO疤鎲] %Qnѐ\CJR[.:[b⅐IHU93^+Bn`4%Rʮc}I?hHn 5@4*[L=Our1lQ#|YaN F Pg'Vxh/'^q2R~Xx{s JHye}&^mSǍAJHsJaX{B@7Q;8g^iU,n&TL"9)@ 1Br`xMc}6;eX\g`z'-;_ưO$Z{F6(cEuMlf~xJ}aB]m;~Lr{%f(ɘN㭶nHP[Q|)涖!V-P(ʧ;$z"~uK+!>j=~, #ÄKIn|$Y.vҹltS6N 3nHLcHe( GtWc0er@C0d6§K?lPyv^Ρ|9|Te H-H3Jc5πnpOH߫M&4f)9Pikck\,yl綂)NъP6 {*+ԫM2p+⯚"; YVv$w Fi@@ovkOG"(&W IՃ7nxB|nP ^xt Dw=c_ψa͆ $ͻZ)} qL :v8zc*G[ kGFS1!p}>^lGӟX~j/M|M(ťy t~([?$;7B.u"Tt?9 ~\:l3e=MQSa2X.wTd1LR/p̊udLj㹅)['u ]rE* ?C״0E3 XCv: x}fllvT@C"Z lbG˨E`uOԹiLveeF5JN+1FS'4TpS.p֖ %9!)Ą=[gү[M340l Q =RYpd=2U إ8e놺z֏\ mY^a~4L. >#fF,~"mkf7ŪTH|;j`KGξ+q ٵRl&K5%VS,5AK@v03ʒľô3aȥD!((sxZe"ePa7(FvbpvŊ1Hw Wp~b(fǤyKfDNWyhaF8!(xlHUHRɢ";53G(d?+n0|<|Ͼ}Slԯ0~g7OCp mN[$`a^,ȃ BiK\X#/PV`{&Br$4ӝB`k"|ĊIT/lg;{!vcj\ b*/5RC:`&qInq*b~ȍe[sJ߸275&|5{>gcIkg:&h!Hv|V_YH\KuW2-.ʊmi[̶FjJc ZǞ23oG\WCڦˡ)DHDJU%ن=x䏕j<>Rec.먲jx|TD䈜T.qH*DRi.اUu'8֪hi{W_-J+v6lke +] {Z]g8j X4A)B<AjuH^/'E5u-.֐uV\E'\RӺ2:G7Ի~Nrp0dst5D@@{ԫܬ@3ROQF0o^H TAU"UvS_ tSV @ Hs@@y1N"M~}YZSl K*L1s9O拓<:-(}7-_ڹᬪ!=7~N$3+D{4mK%ǎؑш1jx)E)BaZѪk<91* XBAА82A3@\XkW TmUr8_܈Ko8 =M5^ļ>xdJa=Ԝ\_V+C-E{T/P؇6Z&:9fWLgL 58zNӎh9 % %PaU@XQ ئeE~~WK>434ll]&61 KSl; ^MntD Σ⦄̔SG5AOٖE!@ xD0]%0l z4n,+/DxYk1gNB5;@@CZQ?+ ///cq˼;͡BÈbPw X-$LM ȨͫHvjqy@ Xbns8*&񺫑M>Jk4֧lS=LMv]%l>od x](h:Lrf35{(]j/' xRZ[q+siv`[loPf0|#= 2Or^Ġ璖YwO۸7fBn}anϦ2]ֽȒNY2Cfxr՛}Qm߹5u|qdc=Yv?,J!I:)!vW6tp.GEؕM)Z#ؾB}tD>6:f˛הŜr}_h gvie kZg:pșZiNUg. ɝ E, yY5n-Dq=tV2.U.9<2T 7ssd_?ũWkWrPWQs5䩖ths o=ߘ,l;;;lMƒRD~g;G$U҃d^ѲIB1\w#neFr O/i84U=;֬ڵc {/ C&0|M%Mwuh XMtum*N)Y rvNrz!v4Ll~W2,jW% uM|l㿤TQ ;vh bۄHRNxfc nXCM"aCqZUN]qzݥUt 'QeP#eَ{߹ގS{L=HxVW4] )("X2L $>]UA5(tVޔ1hKEV/6ϡE%4NלYJoh9ӿAP-͐EA-wKvOsD)BMH7H!ׯV. 7$+F0ڛalLѤp)%ʓ`!J l~Gs8ѶcL%vGE",h'V .Wrn0AgDisL#. Wv^q]y )]ǔJr\;9~je'*9)¥,7%Ei`e G ?IL•ޝktzvbxGQj:\1P#DۮR@qྭ+ m#fu/?Iդ+n0RZ.Zr32z; f. %х\`I CZ{^R:K2 :Ob@9vsϸALgH ?T+|R[#w|󷜏 "VBc]"{WƘ%ȤUY(OqS1(9lؔE U*gT.Qx࿬L#F)dD{`ı}Tm)]RƓbRGײ~߄rIWq &KJTTPZM#e9p2/ XC aإ,?|8(5 ﶏ==͒'ݸ`8ɠ),6e^s5YsؘGSAEhx^O׈`рkdc9:p7r7#J7Sʊi je+`kRԺS n{7st _lN\f}}0 ܘfdarm'->d"$R:a 1x'`q5niuL-6<}6+͏cQ 3܂q~@tV?x:_/x\oHQ  7^nj/ ΚQl?#WУPЃ5\|^^ aw ϴ:Ag:Kva-PVaC1qWV!CiwH W9?lܙ)R֪/i]U ffYK%NsŒބeK`Y1o[!G6x~XSϖpt a{;kB<>pe@Fޅ_AGo_n|#|nAP`4d ԩZGK+ #4Z ӡgu\"J\)kU "Jz?ҋ梈B{lv.i->٦d] }#6 +102v4ė \hxz-cRcq@pb]/0i d !.N_,1K䶪5ⱂ>kz8k0y?p >3q ky|t}.x oY$: I*‡TPmm܀fieRΪu(}{I'U&8ܮCA!Izm@Zҧ5ޒdAK%wT?o~)=sKmɂ$f)ܸgci"=s/ L~'sy?Aj|Z{,s!VQv%C!_s;hFZkfct]?),VŰ `^w5v,HR Tw,[{#sa%EGB䈢A ?:e@9ؚŞZ)1!?]C^utbnxYr+!ZM\ \ڇIb/j CG^f ֮bb+WUײCH6]E,Zag)psOOOӬ:"ƥ^GUގZP[NVYJs@wiKhEя,l A-"HU6j*Իda Ν`%"x:6uD{(\ G06 c)*~Ҥ.N U%Uh`{y07zG]]$8^VI赫;sҪEw],oTH5&_ @,zx=b&|HQ|Whgwj\*ci|u=3& TN'Z?I<^ l,z"Y..aE7c;  .jc|v{an2ɻɩqh=}3|s|G7VC6G).;zd*C{LQQ0h632gQ?-wgLppϋs;5LfyʀYJK:[3"攆;݂`I kp2SBqN-6J HKZΨofSE956O=Ť%D~Z0K 24dŰHA7 +N;X2 ow\9bm~Mj2۲HGa"EE4΁t0v80 k:7ķfx9 _p .tz?uƉf!`ȦnoxT-b?_oe` II Dx A.ʥə8%YѶ3\vr&7rI٤LY5G1 } Y"(gX#-XW n4ٜGsZۉ'[xԭd0vl}k5-Nf^3#YkSJid'JB{nK737TDZWNR[q%k$-WbPeuIbPLӽfs!yH!佔-DI3΢nG#,†bD$ β^1tp1Z}Fg¼7 bE.^SE9(,?id9 Z&4B,v͚ED/qq1j*ZZh ô/p_qNJӫXV dYe_S?}lNֹCY^4S˞R+ B"&wR Q#U{tV_|࢕yt.B_׫À_A)O0)wzL঵%z)gwX:?{t,0 C9C4Y6{JD4,t2"gI|Tbl Me7F3{dx >YM#$RW,I;Kĉh74J K~Εѽ1IX4x|0A!?-7˜JVYEF$`P0x$B5ܼFt>P'6 b?oM_78<T/heWu5MD\U';X,$JAdeJRXs:-'(mT Ssυ"R&8j{|w" n&n#N qPo'`%BvaOϟ$Ngړ>">GW|D+6˾Ů?}Jy pb$Ó?#\ */W5X.>bɝCJtYlzӭ|< \-2NJ,Mb5 J?a֔der3a,L~cΤq=SiXH;CsCHf}wmDq/8ɧi7ҿVطfR(*!S#"05xcqoǾ6% E[2Ed}%Z|` h&2=z(-ܸ3w.0L5cQgۋ3&=of(1OjO_wt`8ZFQ\R.>@'*.NG=;= 'l=۪m!&UT %W`\2d4ֲ)Q9\c5&_V"aEo9R8YC3Blu ImI՛gɂnW)ri{uICbDf"x"&v(w؈|MV!zi[xC RgFT^snnHFט(*269CT;O厝/v %k .*;+6vhyĖ{gJK0#T4Njq"x{S2q ρۓp(t3*uZN~A#~P:1ZeSWa0Aj36i&W@- xd?#0gGs3W82pGu&$(M-NI6yf4}W2xWϰI} ]-PW1wlFdVch:'MBYnrۖeJXĪzDf|Dֆ,!]hbB(ٕљ*2hNsxDP ấD:({@/p㵽+JC"~ Y:|:8O=( 'N>bŋÊԕl_ڮTa>بm8|+϶aj{`hCS]΄Fz$\ya{V?gc*B_JVEڴ}OW2*& Qoa\ijvP (ـ1ZSGpHA. *oq_-C;Ckыc| a|h$r}e{Tp+q3aqBުހPy}ma2kiȒ^mTh}8 ̼ jRқjS]0n&{oէ{+֧i>ߩrmDA>mMxUcBRȣ@~Pv9Om ܕi8a*- H j2|7$ƳBtDSxջ|*NeP"K `'I)2rm}8|K)(3SF4F !8/ڡ}`(9ys?Fu&W,oB L DmRFPcY^/?9wXm::\'#UDeE+ȑjWQiXUzh&88 kYqNl+EV/Cҹ}XWLME{^ #>@$NtMViTf!kUj!ƻzNbT>аإDfqWZ34觾;ByH&@L|V.|q jo݌sx(Lch#rϩ+`;E/eBˊEa"66n뫪 C nSA>aOVR,aQ[\YPW^4.a?=wMk-@:,%lg1Hݽ]βlL { &40tKh􋋪_eCmCZFB_y*NPFx4ǎLzPi K/xDT&>׻z[؊,AgT]-DR(†> $0HC2]QYM1?SZ'h{ L]u8X<7rsGOD:9 \si*;A{gk,=01C4/,(2ao`G&WEC12o]jꗭɣk_ vg"ؙOХ5N!N-/Ë=i y`NH18bzS6^/ G(DG:aiڜl(@4:nh].m9ȨI_)1t풥~zt1$UkX|-l -!,?gB,3Q *=ufw";L巘ToGOuaaGh9+縰{c$]Etuz/,gJD)VaO~ ɧ<e Ck/1hC$c{F||J"bB.`MNƨGAZѤsɃA^qmrg#7UÔnYΗT~ya`- QP~՗!hzvrVmt}(F2oՁxMS~MJ$JXhVfm./Zo;=s++ⱽrgۆJn [T\NPBi3K= 3*r; y麞-qg07y-8 JOt AJݏp蹱b%4brh?ʮb)̮!Sq]4®}#dVj(Z6X\?qЀO~-Ku^Gv ލ6^jGΞD4 !r F1ښs [2zVu!gȥ4>D{FO->nĩLmt+LԽ{_6b H:;oшW_']Ďon " %$]9=L^sOY ֎s&挃6ڝ 6hUB !fѰVf|OL6273S7ѧc==^.(>YZwd+}Aڵ`iY 4"a<a6LOumK[~+k6$vۦzYTOoy P ˛>E=,w+yQҹ ɧ %uD˰ǼNwQ0(э]zJ@ CЙQ,+z'(4 ^f([DȨ(\ u#EV ٱ̱ɷFxGB:P1QBI kg8 N[j):' )|f$ ڞsse9=+-|B?Qr:;D*:,FR8+ 5 `gQU2(-V@YVP΂`@/NdcQ-.h3$-O` s̓U mڼMPŀD| o+yvŧax\_ (zMGX6D< k*<lC4f,|Ws?lŷ;/ݧbcҼo .N?{_cu*ג{Q$FDuHL$L+>Yؽ?olqF(e1t aHtMzBF6'jUGo~M^9}ۼ";;yT )Xzh.eiR8xxU@OjXp-f#/q,Ka޷^5d/WilB.E+])svܾMI CC!uNQUQ ~K^^ E Dk5_FDF{ [;5^xԽ q΄RaoYoP?nUE+AZG6<Ɠ,;zz+P!^d1 $rnGg]|H\ChA(cOj]6Y~g-B+6E@KvHɊm`&WҔ^3xԕr~\;w87D)9-!j<%P}Þ **RŰsR~^ S2`bnB^:xiͥ@2Cȣ[g4l١|xe:hB9K جk~fh[i1[}4` tlOws$bAYP}gyX&1]I/ߞo`L?[e r9Yg4RQ^tG#@Z]2;$?o>2*TP(kDž.j^0>,!LA !r(r5CPuS]H^c3f/T6G:mώ Z 5Td񯴲rfgLMЭ(&lQ|Q~vP BeԳS*Ё7t/пh)lay( E:@ZJS9qq#:EŃhV`|ԩ:4jD_|Wu01Q34W P0*aN=~q?eM Zl?{?\v =L˭̐_<qXލ_}L*W̙tמ߽ څvtS..!D*OYm8?ih'e{An)R=hr/C6_pM ˑo&-n%A'qb68/*t34?Nm 畹A}q鼣 _M"̭L+T?r gzY]"g03uVԩB>#s?2Kbw@K#w/1 fq_gX#T1"A`b 4Wo×=}JD s-&K+"K_~g:5X@+ٻY5^,(Y ݄S\f 4Eq>v-|ŏKK\F!;*XPđAjkr*fXbmý(VA }IŹe,Ոφ7, jСBSζZE#:{:pvi ǰ-~v7A\ AZ[Rz7\̓dΦ|LKxN%5< u3fʅոɾ@YZBBB:@?RλAԣ Wiad)"G{d2vW MN3c;m u+u5 LI ʿ wIG`GԈǏf1R-D2A0 YV՞?=d^^m֓ ˲]oevퟁr^ R@dhWԈyd%ß`#V[Njؼ;90?I'сܖ qfZƔ;CDvrԓCCDMOZA~$ lUwS#4̴\FWk,%~ԣ/ߑHWY...jtH buB<򏪫RAHйĤbyyn[)@0Um: O9G4!*n ,@-}B?LUIr]Y'mA*y&/0WcJn9 [З?el%,iM?_gƸ1faRɎf1D[U_ơ$㫰X5c|yCNbBѲb 9,·]*](?{- u#+Y+:H a:+;ʳ+]-TMkwG? k9'_.@ߠ`4'뎉-čS8 >9URjoH֩s Q$U2|Dq#P4rvR~Fvgz]BaqIlT P5Z v#nqO4ڗ/T:Q5 )$PdCtr| !h!,p+sL0s &g 1 bJ2{1ߛ:. 풷KˌAn/Ծ`3x)@-?Qr9M,S9g؉%d|4ꎺ7E<8hnUhDO;E1mѮQ\T|@P]f&$h@='5\z_xaxxrɀw?ХI]͝+R5[BL߳oS(U[NIس:*xII7%6(DǏ/}L'Ar*T+Sy9@%/wPGij! ))9p=VMI|l( D|4ry G/ley0[p^R`]eu-ݓzE<_J ܼR!e<)r Of*$o"AdG+Tڬ7Di݋sr-3X@rگ6^VyX69L<Qr0)7yv\/یO$*RH[ ɋU(]!HgR@D;[I`Q$.SV? ;yԲNuw&j]PX[(sE~5H5ve$J hiъѽԦzG U0U[p˥U7GYEz¼."xYi˫J&ao XѯZVN*JM) H׊Fc&K=< AeNLIQ@1`?=~Dtƞ*Jv";Zr"5 G bw]4DO2 /zTVλʤ=ȜƎ} N]<0Ad79᐀|uqRokcXnFhEM~S'Zxp7gtokXNkc"ƆUwп"߃K;@ ^ мVio}HQF9Gu]eId@@pgz*0>>Ik+Y7+n>) E=¯H8Ҏf Hy8 D[alm+=M |qC.0!oa}O W7ݽEEl=H[Ô0ItVEYUxV֥z3>Q2%@('_(Zl <̯?# r)DۍފVzQR:?L>vWKpp.q؃X-yADGGsIqd6@ٍvHJDGʙ[%%@c҅ D逍-(8*Zvy<2&>d~q-^XP ut ]e7n<ƕnX^mHAqm蠏ե̞ߢh\MhL!U @$EG1Hf[;pH<߹# #l嶬 %;DM?&3kkv-g=dQb k3Ksc5Ϯ=¶Tϲ\ipx08 4fѼ|́`bJ5 $M#PձuGx\mk4J L$%{pO F;r,dx8:Uk.֫|ɺbuUޤY vs4@UEj.4+;iS\TL |ϥ9x>!冓g JY5mHy2_$dzgAK0( K t}>ZcMaCJhJM*Y KsA9q@,6OBA@W ,=Ye];ܪA@:z ~gGM.5/ ˎpi1/ Ӂevif)"$ayRykqPؐ뙛QLt7Ap+f .I!\}\ 7`HO3i[(lT6>i9e#7֗Z\o0J֓|_pi0LGE_gJfUP&q?|>ƏJ,}۾þr_XPฐOM^Y._[ *t5# I)5ʪfGbafQc\U,am5Exh(sIuȪ,'ݎ XSK]% & ,>rGeO7,/1yy]|xd:cr>L P}͠:N'C,4ҦE//ip4av&E;D@)t'J 7L 0]9iۮ"X Jz=K%*ۮ@5q} /bNA06Wږ[453=cZ:l!ȃ;N+lg9Ij agYLY!6Ja't`ŠU><|&hH+*cjHZjH(`?9 G M޹1JĤjy1eYUY@_Cc9?-rKLG*r ZP.:7PYa}wy/ Hnb*([^s:4i@gf%h`Po=uyM;ES5([ڶ+s= ݕa#t < ff(ՠd~z0gAQh~')p_hB8KPmu;~ݟ;%xWNo$PY`{,B6w.D&YNupA5ΏP~T Rckb^}YWg %vI[y,Es& up_y`}W"( APdj/dXOCVt^I w-3. |c>f8Z.L|zSkG,1z aJGL-¿{fNCmߞ~) ewEΙwj1ԇp̋e<>+_Ȼ$ @aޒG䞿8ޞgTDU|4,!P0gYZ90ae42917079f46c5c60e05c4b64bf51b0b2d0865a4c3aee534d8fc2c29daf82c88ad11d6baf9594 ac47f7a6e2098560ab3bbeb5be667268dcbd86d0d295b8f6576a694195c944d4127e4166dce26b3f