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 ..vL\t ]S Valuation:threads=4elapsed=35.445cpu=116.528gc=3.3967zXZִF! @]ŗXiɟH)0%o ^ S_Obv|cѱE/RK^zQ[r,+F )B@+8vcT!Y|xbߞ*H50R@:{u7JLsN-`h_ʐAZϐf0R[ϐ#b)/$-̍:7O| a ѓۚxSб²?&)U6Jwb!9dL#[JC^#F.:zy[n$5-ⶓ u4hlT'sTf]Kz]>irWX; %R˂/5XSABОCdRd(lQ*\/ee1P]:A:5oW6 ǯ"6P"D(8c<7mmWozZZ\AUO'LS-buJH݂l) fU #f-E K`Zb/,/]t%RT(%LIq$%!m| ;/3t25p@y?ʀs>)lw8 ox m?eKс]}@U59*ǍLu-;ܱĊ+ӞF6Me6'HA/m*l{ AE/L n_9C/܎oW zR{MoS{{D((>D}b3D><{ϐLt}_`$HU3&I޴^- 5}|oхUD}6[T < މuq @:ڬMܥڈ2 f w:?f"< o268%BkFNT3i?.;!^2QBgu^ë́vH+:$ Voδ,g,:<%>0OŻf{@(JB>//մؽBkx9 j b6!:yk+sH!!R| " TYdEh.0g{c `xDTzRTN)8sL)λ(PRߴp*K3I9B?C5XhvԦ '%EA=u4h\7JWfW[?2W_쑈a$~jKig8_8huUo#:zR;msR&Uցr`\xh$K3敒Tx[]R젫| HZrF+{ҥ|ԍl[{!v_x.c'K(Lv >Bɗk`9RZBUzr}XۨEI{*bYjƵ(Wl$v{]?ZIp|Ǔ띢^A0*-\})e殱Վ5Չs=&׀cϫpU.3ckzUzQ! HʓLuDq3-#IM TLLOџ:;33=њExa9}7!JjC~4G*웧B\c!wx$&=Jn-hE BBGN G5x[FgZ{ޢb_+%*D({wյSm5dl\֭t<lZܰFZ.O h 1Z_J+dex t0 k`'my/@^=4XQ(vQ%߇lLR1`.]  vytr8x@6piR\]] mȣ?ذEs1*n2;"F< Cb L?#)"oEגѸx %j]@_BJi*O?r pk@&_3ۀdvk#F˲tۙ9*疄3[x?lJ$?<|oa /PGc/ zI6*JdeiRLm7}>S4 oV3T/r8ϒ>1!ȨRm'Dz:JS("S6iyc75NԿ XoJz /rqV4MBF9߁9j o1of 3)_:t l)絀v մA Eyl|0Gmp}2hF^ഐΎD<lb Hᚆ$^?6c¢?ɼ]nbY%5jP/LKEQq/)J6HE&/ :S$S̒oɆ`1p$QBa^|/^K{R CqW\?&"r]#YX֑8V̂OhO ݌7vIUL4̄77 /7FA\OJ!$% Q<o K9'8ϒy^,YOn;KiF UrY}$Xs"+ƽڷ#nvkΝ!fCPA%7:45,jx*W{^ ?ka^$ES 1Bx夭p   Valuation  yըJ˝8bjb|{UnTU%˖믾gU (nQhy =6~cX;"h=5rY~!b%ҩ(Gēa#I!VZM%!Qy4; Ohxkn2Ołl CumWQ{쥢kp&E0wӎu=˥{|g;D[r_}>{0CU :~t w@Ў3 YTli`r}8 8X4 kDjh#M)5c%!LI?eL"8/Xfe98Ղz+ԇB\.+t^k)O&`;BE8!nI2'o,pr:D&)λӶ a6{:\?`T; Z RoWeW}B7 x iB>k.4|Ztu &ʏ --xv!syx?;2%5m_<ƨm3E Rr2|i'm0맥|6\:F3m<Yy̖o=| ˑHq%Le#俪^ԓߖ.sn?2KٰKe`W/Ey}!C 7f1k kӛ~ARm:@ 2컡'_;eke ܆G)ٍcn*ӆ>њ/tA-6R$qHFً^ǻ>7bVV㹔E}6.;0FsH "=%JOgl~WVq1 /av: ت16{)|@c@Nw+`*=E쯟 =~rGI`YeREqv4cFٸh2hd&?Н| e61U3Uș4npX-r{Zxm ,x+tv2܉sA)ϴ!@hɩP28f7%*v7XѻKk:̟:4ἕx5CY B$Y7VIq@ ^(Z7=2M: 3+~j 3tmT Q$"^Dj$E6Ia:`S'<\6];RTH'%UwhiCZO#S{ҡ(z^VWwr+>ashun{J:^=ʄMKjHha8pO0ǪKxX]B!/P$#anw >}^j'WQ[z'@]~>2425k BvJt-Ý2m_7cUg 0N['_۾3.O\A.XKB`@_ # GR]'\JCv+#aNt".( ePwL]x\ll7+>KOcւ bU7LU=&e 9\W10418aV\dZ =gL@ɇw/rE>/wYaһH(h!@_&ьnoD*UP?Ea90s" 9vM׃ܙv -Sbr}i:x&2c vpgd=?HvI)ٺΟݬsbWHVO쁆 !b'8FZHW L -Gɍ[V@v nktRg xE2->)zt`Hz_R8VB f@4mVOJ\Ώ[J:[i@.0Pe/L; slCM%<8S?SnX6(5D^VE"ґJ+ƽ+ѹ}=ͪ5(g"lUW H u۠@Z/L+F.ݤMb(DG梾FA+K ”Id lGj_/Sbt,Yz,VU6H8ZSjiيt^T1|bCsf'0xiMVF}N7>xXF~=t94NIWj[.W>$'ˠߌcs'CG(Nq|I_9sxj2e|]/L=l|C;Fb=)7L`2ߙ8V ~1]U uX (*Wr!30!( uޅ½sT8<@Pjt֠laqQ_]}@.Y|[ͳyriac}N> B>D&fq&CRt( ]ɰ[ԀnS>;`}Cׇ~vN$PN>z&EEUO t^$gbI?dx?!lҫtEVR}zs`+hEg1jl\ʛxϒ\^DrpH߁ihKRD+Tj Yͻۜ~O#1m\s- wz뀙O ǭ(Ȏ]uJiOGɟ*E*) ) Cf$hp[F#osfO2K[_zM8 K* cmG)Aְ7U\egO uk`EYk"ufp줙e٣G:)4ew*eCXjvGj;3]8/D>Yy}4#)EA\֐w*~&g' FIs`H !"Pw{Nd en`_~Sv"q%}" ssɝ *:kBR+Za#Hz_$>Hf rbl\[vdzLǸ`zo`/Hs?`#q#x:N6@0:%^v`pQ/Y RPg_Ls9c7Ȯ"=G[B [9&;gی`Α/> ݷMH=xy\z &~k8v;@G* +lA @ 8+. {Јr$;~N! _+p0æđ4E126[>Wk?v;',,q.,9//v=V+I[% }cY/F՚)z@kMW^_`у:t+X]^lݢ%'[9 m"ʏw;DrqxyDky S`姒G Kw!iW5K$^n}8J0ci2GMu:Gs㫡%6iohb0| s9s)4Ȳ?-nWtm-ٟm{0q@-{@w <,SՓs4*9,PZQ-%-1APvF@5 L*-c@P}O3p&xgT٩ʣwe=IOx4W:Ng,ə!!:spjLUj_dwu1eXgx:m/ @#b^"Liĩ3k6u;TUOBcMgL%[m̚?QdR#G˸VY֘SWY m&AhuZ u˻N uc5J zf:{w m/mf3Th--: eLK h.w6˼##HCke` 4FP>0~$ H@ͼNZ#)K:XXB(YhB0 $NE F}'G!F.z^ ^{=)t0u-M a,!,Mb3F8L!iA5snn an]JX6F(^\٬ gm 8@;',^'F.AR9ؚ{96` KS#|%,_}9$yFYa|VA`9P$ddtv1 /<*q5…ٵ, ,8.xs9hKcPB?b{7fbe |mFcd)'`*Mٱ=>E-DSQI+) ,}{_tEtwa<`Qwbԥ"IZDH's ~"*:WQVCq=j([Nzn m귺=:Kkő{ ze}14ɼn"d')5(ΘMyZNJ;O>lNi_-TEDh&^PU,T e$7pKI/>tJb(:dwwByЛSBk :t?l&TQmi#s볟$Cy$Zpی#W#RF=J%XtԌGMkVףAşU/1>6 Xip\mY#΂V,ė̜We1bCa,e80qMi(ӡڅE Bmt}POjLɽ&4 {.'Y69?O1ʮT>mO? u.C׫7ڀWqV+Ki[-` d9zs{‹~p!bv/WA}2mܻy&pg=wJ"5&իB`B&`i\i9͋—)Ь_zpfk82$AQ٣b:m=d~ayaq<7/Cȥ, cYb)V%;O1v3|+% @umL\~p;kL )F[WC{Y2ϊ~>AzB?Z>O1܇Ra{΃GZ_*:9D6<F 7h&uYeXLc¦, rs-_h(^.L%"GwVDI2$E8ⴿe@<= j'2AhNgĤ[qbr BSSwߏv!&/߁ aW&5'D VѬˊѴ0:sYVNF~♳#WvKܗm%,KO m{ 8( =`pdLBh Qћ;P<>1jld26lZ] $ o* 8y|<ӫ6Ntj~(d軰wRL9ċ~ѱXt O&)a??B:Л"9Qa^ZP’a0GûePnR"ӹa1ҁ@[Lpi;1%ٺS4/J{{MJ25b;e*s;qE>ʼnQ d-̬z9V]&BIʷpaUy;)k;rX:xm +¯QTklלv#\ӝjM,.-B"REw4A'CU]H8oH,!q)QO#ҾzzďlG 2ȟc$$ "yogDY[FH&ba"6탁M=J{:PLдNnH5o{0~Ez+vD͜BLٲcՃ#r"Fx'MGfh^;` J?[_3\ =w@m9A^{ZA*/̒No|iYaWgƒ\[Xu[CCrR:.~i1)FwF#z?!phHw-b^`_kN28w]wN+0B8VN{ ?ױ)Ȕb\hv/~Q90q^t?. ;410vSGl^DjY]YIHKjtU' XT\R5ZGf<12d\h?vt{zީl>ijROip8y˚oCŤB č]x(#+?U/i~>(ӝ ; VgbpZq AH)|8N~JcVD-ĘB>/{Z,2ν5>sqQ-ĢGKJ3l,"*5j6bMd M)/n=cX/[cWӞ6u?Lpiq?֕8 ~Y喓YA wdc*+ZƁslO tll)*9w>AfC$}k$gpϣASn]-sD$H=3_p[oS/c؆$A"U1/BY]{=KvCDnYH Cش_a gALZMc?0 ?PȴVa#}-eKe\LIv nSfE7PH@V+ut@sN͌mbƵt^qvBlFI*#=*53lr.!P /cV3׳Tt UӞyS 貕S]MKxkwN 2.I\$k#(@nŵ7N.mfPlyGE[GcOS/(7I߉<]+B^v y_~E cM؛{CjV0ȅ)^'lEvc(y].YNIEH!e)Z8.ؽ`FU^"X%| r#^~y:Z*EB}"U\N;ΟH92r&˾6r&Ỗbߩ; buςA5i 2,7=AQ;%[0>zqc(')\Uz4bTn*\aac#;Q<VE3K\Yn&1A-";,8k1XR [ ,XL]VmO9gbt]BkQ;C+'MA^h1<_e zEڼg:KvmW-و(zD>BkMΔ}fywhx5\ɅzUosI&WtISY| >DR>ŶiJݍ,/ͣ.q #\)pkknvp>^4tMp>4+M ޻z9M5sR |%BP 6Ml, ̣S^_r[?6-E#]\_|lY +RL1?G6W% .xVXJojGİf׈#8r5}_Hu;!BBEl''_$M2R/@sXEQz A AP)vG3J~ݢ #Y@o[x##-Ov??]Vui tF}]VŹz€ ok6 !@Ԭ`gPt87LW)NX")w̎ϵaS(c11ǻ:)[`#žRYQ@;JD&~#jC `c; {٢,}/ B$z'b.hFUZ983sj$ƒZy;nnaD! *u0ǷnUs!Ds*MWs^$Ę_G/a pD^ı&+-_a00#Cl],0[쐄~uB, z'70FK+3*9w!ÜHh:⊧G96簋C.ktݺ2wR7],5xPP Pࢍ{r,B#v½L`ăgok),(u$7 9ʼn4vЎ@=/?$Yħ(s] :r>X@8B~b7gF/pϥvOSS>#H5 Eh=Z)l+6+4{-'Y J*5Jiu N/PY)>vKo(ޗT8Yc "Iٳ[0Rbnq/n"">,׶L\P8rW Owғvb F.=fFAm20>Zb=5җ\$I@QڕYkћeVUi+(`tZp bǁ T:5(MNECr %55*@xgvW -!P"r!l~FA8L!e@5l(M}vߒg3盬 !?j(Jl16'h&.T/v¸H([Kԟ6ϪV0D]=;\ $%G<ӧ$̈́Npܦ 4]{&SR1}b<4uvV|gozݿ;U<(^NB ?uԣ /RTDڴ۫=^$a& 5BjrkN\+ɝɺuߙyPSMN$towźe"LM|!t~reIWlZް4x&TCvGTN/G%xD t8Me. |92:.>4.܆=WR&v¤mE?}B6)6<'"kV8^<5*.LyGFy'U DXA]sG8n >o^ TnE>7iMO55GX m3PblDQe{Xh/|}^y%Q-hBGe27A`Au%~CGEa:& x^X/R&Pul-4obrT;;\0(1MEfS:n̄ĩ0~,⃑4\] }AzGuގ-dq_ZhҰ'e}9tsX&1,4]0e':xI"EXxfisb;c ڡncMG}ʶHI}e';ȠN06,*:MQ=W!W=x0I'{]ݘ2G>!g6 ϫ^MxN;n1DY6P-2c6RV_btO&"oiyf[ t]R+~榓HO 2|^eB5mY(=BSO\! mȎ|R?3G ZBJZ'k,AϓЙfQ3h2]dj ~1QĀ`Y4FE\`RM5'fEKUkߠ3`]P4_U ۆu<A/D w)y5Q)GR.D$l}=C(!H1mD]+.jjft[E}uj:h[UyߡzD~lL-F3RnH"r _DgZD>bܿoEhum(np fHYFK? pͶ8PN@L̆=yMnȠ/ 9>Úi@Ѩɇ٭g/aX/Shv[ٛK)$q$&wb7~΀l~+g9l (UjƸW@%'YQ`{*=r>S_C>28P}}ʔ!$9B̂#"fʹĂ>I|AG6OK#LLL³|u3TwxpNT/ⴿPb^@&\#xu [G'-DAX'!ʺygJo[WU8oVH_}Jgfx݁PfO,g(6 ȳ/EOڡiЧMq@\!b42yNj3qá=qaxn;[ jB;,pλ&-{sTC(ěhW\Eu1@.չkB/}z}=M_t~x~bjdfZ @PgOX Qy A{2 NPBoܞŒ=iLwGM`8)] j@# \ڰ(?(!3Z݊ln}Zw>dXr2z+6jJJ$G 27m4?K~G⬩ZqPko+q] kㅞV.=l~j'װrTdb/ۅ40LFry-UhG%iDUB%О &7}0(7V͡;.ؗKB&p`Ua6T5]9-@'.%3҈+bnjy[(s081 On!|t|o3R gC4"G!)-tغ[11ue3$ NcsӾzkB~aUVHlP4& )i7*dݜjJkO: rrowN/0.P5SCfL!@&50O9Ύh,'%<"3N4avɒ֠ivjj տdoƢ,D6oIZ)AHEL`X&!QA|}pY ;[,`3=h|YP(ʬ: p0ā'[韘߉ nѪְ% I* :"v+)w}usqV_ 0_* $a@.۩ڎ,cz>r%La3 \,uZ)mVmfq# ̒0N1A-yjM bR8S)@T[\̼"^4U+*4[}W;=rE PAgZtO3-.Ąep!w'YH_kNADC,LScMz_!t7# (l#OwT^궵J{ѭ1ʟ>'[AKJt5_Y}0zw[/F~1qb]qkXY.av@b3묻Ong`ū ^)ц=l`~zGԷ'Z*gE? 9N:xyPhDLZ3F97H6f!6U<< fm|(hr,j/xQac]s >@CY9Yt]B!Ps٤MV[-4̗Z;]13,7V/a3- H+O!Xj<,! EFlu3Jlu[Vbyӓsdzя:Jg\bba+N⿞:h9]Ό̅jfEh5L5n8gGQi[jI =$JI,@T@EI0:L9] p!H|5R8Mt/ܭ#)j-]Ty44%y}za~NH-E^5亹a~r*cz GيG=9dVu0zOFjʉ #{j8li,]Sn!#X:N@pe׾M;4ںV_\% <7`eӮ$g{$ BS~jU{`HZpAJ0IX.⚗\NrGK!h]6 k΍TjKYIP-J:Fw @ؙeۃh%@5w%v|:s7}\ %_#,l'̲Yo4=>r6#od󢞝lkQ-.Aq\I,yKh|XB|_fB$Z.c?e)21y \T=tz4݌e0yE\W{;tRa"&,*mۈVa)@"Ԩ1UK4ksZa@_{8BwhI+1rfyO˫´'_Kt~(I눃q2kU*D\,7󫫺}ښ*GχZKY1stzZMfO]%H9|g[08y(gZ8=)4g6ܰg'InL1`B?VCWRW  STCu?{oa0]R G ߶޳Lw\~2]6>GC_I;ux,r"C̸yg!)1CD7wV̕Zmk6O7ވF}pv"@L,&t"i5CLrDk1~$Ȗ.lK?pkA:^0{WGeHUJv&PF+ʭrD q|cqZ|Sk-CDG`,9-$i.w;66=tpx|K">5gQP,nۣ'YV^K#F,'B'B&)ul(1lc鎦Cd4[Ye_{N`+i'w ۀl58 (ZN\&xĻW<1fweOPYx5CY[/\ujkV]RAI"4*&Q,oTqrD:lA u#ѳtN z+?CBg^m hW|34=*|]r )ǩs.+/* (&g}ݭ$:Vl&;  "YrH˃\(U]˨(v^G4c7#P_@rG.>}==HcNf9#{ϕJ{NVb,AsRAQulj̧sΛH\Yڤ},ķ;XQa<݌M{![ ڲ?Zt?r wħeRݮpα>bM?4$pm)MQk`. ON&r_j;m!qPc2M@KT#QUʌ}L "-H!&_9)Mʾ}rUOk7VB癏Z| fWdZ}A)(L!g'N5]^KZ WԌe Ʀ_eQ)e? X{ Pi\a5=igE'xT1-\֖p s{.e5Ԡ󕼱\ˆ[wã5eL?vo_b9jl^`K $<;%yq!l(>czde+4z]`8 (虲X;$k`O8gEkzӖvf]Z=fio0R=oNJkfX\=ycZCLYKj~3@)J3n( Xz'F^g='˺0nU/=.? 7iޔ1nuRylk >nWHNMdݳ ¡ ݁fœV)4l13(Q'o 0Ta!-FgNE݋ZJ~>JʴXx‰> ĈOȾz Nm2A˸T@񌹝\4oT#zbl* HmEńN(܉fz֡it?<=p xLd ))M&0RxޭfBLG-+V rXAq;)DCH3kd#Z Ne"?=yͶ4Nb.mSevID+c,y_ʦTq,j(Ҁy;8~+jE[TC& M*Q<~F`P=F(KH%uT茔\D[`&cӚ UzQ =BGY!wEfݝcexsBɾ,$+L.lufsƤ>f8U9/$pl_faH—2FR/9?F6(])cga'֌k x+L13/gGmvTXOEpez dsp@[^F9;vqK8~Rrs-\ p^-cM`AqՌ;o y#,%]|xޱ G!#T6=zRWD3,Uħ 9%j iȎ1іrGĶE %fp:q3'eҩH+mr OI ێzmi]cL5NS'<`?'0B} pFS[,9=ZdAmQg>Q wQ,)n=k Gg[~sΥcedR1zNۘ.F1yHWMZ;c1|Q%b;4#Bȟm3Q'/QvSJuh ky$̹)~+n\rf_|.^54Vn}9zo3+pEc9䅵6o5Qw܌&UՁӍ95zPHgڹğ}7T_;YvmÎ"͔\=etɓ~eKXEVk0hJ謵h*tbLRcFpKFBB K&D}aM,Ɖߚ3 )RE}Ѽ#q^5Ȓ{^ bmܮօsyB@7H/dc '8zB}mtq5e*ጋפ~;XlQoD_հn.'|M5V+exof0+`^pq9ebiZbk儝N؞G2s}lEdfjCsJ]Q)0gy@O> A2BG FV>O+I ~~nȌ&oxzHDN(k.S{Q >W߄7@([WvDbî#y-|_I9XWE%]3l y)IڐaA:}!ƒ=@NZ]܍=`lU~'g'ո DgO Q8p q$g1#i^QTgP7μd_饄'c )x1nK@p kvrJIyA@*}r B%:';da8(,Zմl=\ |Ӿek@P,$wC`|\9܈G/˿Y)xd <k?Ld1{,bJIѡ؉7Z0C)܅{K#Ʌ{6 ]zGނ$hN(zńMm/s87Gj+IOr^ UXbϯ 3Q UBn<:#Nk:=1} 2li3Z׎@&q@-f0v>m%[A|qɉ{@d<`=~ ĶHf=W<%Ձw$!ݡA36z f*Ü|w?^$w&/q{QƠ?),˫yx]\5%259?Ey!+@4AJ J.7ii"B5=1 3?}G| jE paMaB5 ut^SqC`/~Lt22n**:-9wvIANzi{P%\ umVT&7m.| 1=mŷukRf)n cD9Ь{j"p ܡr zp,s#RįնH@PN2I ]*#y,Ւth"y+D#;"c ad,*4RHRǓ\SJUe6Fqw JpfD`Cz#zjhS⮺Kt՚xBR7?0ESb|CŻiZÍ+F& ѹmq Ƽ

}(/g &O'1M0yçv/!aY2o,<$pd+Ky;cO/7eqasi." #o" Ld\>VKbSsOlX i1׍Hە~'$Mς&s -e(5 B=dKr:vlk@R<fB>M=%*"+m35><3G>=ybjFLblo$Q$~h|[=I!9,Y7hn3}|zqS3Q-wRSls`6.zDUeVĄ<CThij.qh~O䣠A x$!KVOC*vfY˟1""uRcҀ°1@< hd,L_N#+}+61B5s0olpw! €Eq[O ǣ[݂ ur\I@բsfpXz&yp,#ָٚJטі";t.h3nW$}VUWР&܊u!c*7Jhh<܆6RS yY꘼>bxCꌒsJ$?ȁ(8o@ 2c cQ)$߷T#{ ~M[8=Qqn rt2Hzf0EMv*Ը (nQ U׈ ]Z:?`a)\1;Vq8S* (8(Db?פ c<F5jlCY &#(ʶJt-ko2L˸9xfճR)ۺe*c8-b/J2Kk5omOZ8s;ŴWssz݂6F@ )PWJK!wKKT#q`d#J31n@h83 g~T~/ꢵ;bC pN=[K sr!6Js=DȡP{,< (AaU|UBk1h,'oׅvb/q&pWgR1XET\} U\s_(3Iq0UgL#bQ̽A zbB_pđ}l|~>`g:(8<ո!&LX`T(3/lR+p7\$`>/5ߩ]BN.g76Fѥb"Y) H ջ(УFpfv:X(@%ќ 7l ARU<]a'6̟4n&]}xF#zԺ)޵+kk'!TAd&d]Y_<Qp(ţp=35VQ$Y}}uY 3U|>"=gGSG 8%NZgQ-AvAI,)S/_/:LDT_64 kA!\4GĠ<KWF\i6)P:yr/:eG OhPqbk~VQϮ'0qRSd6Ǫ0I|r BN D4i5F4 R< ^gN`t}k+V\p@M`w]ȁDEޤud ߖKȾ)ܑi+G+25=ȯ!DmH'Iyb dydD jx6uQ_T6l8hcI{bbFAci5.`$ᠡdx4h-au;J!*-ilƪ&Q76{<%Ɏ,Dv*MU[xuN,BEԐ.[ͩXlX8#0 7YfΕ A;$MH^NR.o_ 8-B0ַhQCZ|f"ngz׽R]ju.qQҖk2BD*<^Lsh4@(]ـT9Z~@R# jo9F&i%Ia{U(y|⊑Rg)Z$ihimif!SŒ+zTbx0Tf N N'(T )eT'aR%Wˈp݉'pv˂CADgKc-i̝<eGǒ<7ln k^?Ae!`>m(OHG ITX\vW{h1- Ow wrĽR[L´Gٖ.*!Vhpdרǵ ;àTнr&<ʫm|v]h <M(XIE)DBktl48U<<8lzf-3a53 ŔcHA ׳ ~unM *^ ADbX֐͠'1@ bf#\ `ՆS$\Ln@*A”:pzY PM֥v^AIDON!5+1- ˉj;kܥ i,h n V(8^C@ M jTVlv٬A1(n^kmmCԨ 8b;9Guܠ]ItN9鬌ؼ?$p|sjP"ǐMSOwZ-{ 18ON9v/Ȑe;0dΡw {IN4z}0]N]η "W q)-JRwku菉v蟆v2`veҋК;]1d08E;α"q0v(j 0B}iஏ%.SxbeLRR@~/Ф{,|V v\* cll2`DIKLnFl:zAis xDk].q7gñ{.Ur|8t/rJ> Ov\|]B'sXr4w'}~{xS@M3W_ƿ,C9Pҹ@G!v mmdX*&V+xLZeiyh&ZM?m=,bE<pW*UKn](xLh{ʔ& 6yEc+/N-~].VVee6*v%W-o<p(Z)gTz]V& ({% _(iۂzl5NO _l]`QrwtQ6+ ~aIiw yKL2o Cb@p%:Jy8H#\;p"I}p#=}4M߃%W.\xXe&94Ćr+\׼Fߍ03y5TUq]iY5Ig$"U#d5aX"9~Eu[e< $rU.2pʅ,]s8V;T`cY&-jqaWܙRiojx22fȯuks$hRqouzx@Qx )Hu0Hv*PP+jrWaM4%a,+]SyClwu8m+y4*Tx O'Y&Rۄ=E6ŧe2<%a-_ɘBYF,_t>eU@ޢ'g򏤶IRR9*4hU%P1J9Q`H>NL\(6S;R݁A Nn=!|7hALʾJSni{_N"[㑈=|%pGƀz!]D"pH! C}w#C8eԓLe %C0N~F;AQP76@IV-4MLhFJKmMW7Xn1 D㹋뀝H% lPjXkL[Ow:bsMQAʵeL?#,gmrpTԨ$(6 &Ut={Pnz[y{6T 3_%C"dqʍ]<Z gtbsBPf@juAx[Ɂh_lH~خNqSэ\L~5ʻHu K;XILsȅ :4dѢahթi:K῭4hA;X&9dٰwF)MhC3|4Tĩ#xW*u=K'/2\e7fr~ ׭7 #oh/ aGM's+)adqY^/`sv~n(lgcwQyp<9n^6ܪKM$pW0o'3G3@1<}j.:=bU'M\z7e8`f6[` 2{F9&gw]_^ [T>jn_Behd}4Π.F8`v0#Q޴-,pNk&*Wf)I P ?*Ͼ϶[>&\7q_;oꍒQѡUEngUG>p.HD% y \wk@ɪ!Q(„ą64N8Y9K\xwy'r q[2AfIKrt9R!o*TNcʥZJN?kf@(c\);h+?aw*rEeC  48﮺!:T,M 'I>5BJGר*O܊M ]w f@sz)6}$i#r9":UnAnßtGi#9S8=xJ#3tYQK9I8E<58*z{ѥmsNcW'$iA)9B9g0'IA~;DRaʋ.9k童3J,Ol `q :/*bŽf0Z'ak9[Gmu֘))^iR\p(-ST+t35ñFxvx.Gے$ ZJ XC6h`q(ZIcޭ mC"䞚s=`K~1]^:^L.oZEQGDžf;o(j*8 +V6ymm8QFCYAܱ. K]#`QClN^'GN[+BcQ?Ћ&j tQ"no-#bc(A4M](;dv:25ЁWE4v#)&BR ׊MԟϘ@nG3 1 &f+'xg4Bobv* ҦST#PB;9z% kq=ew Z!}]2@`L?DLEC}FqSlZp⒒iKr S9e@وGX#>Hmhn!cYv o 296Qޡ`@&Via}I|3ԇ'^0R./+Y[~-Y)(fHhNP'? 񂂥r@)̚a^HA.rM9zYz ɋK0𮸁_ӵ{$(f]PzwWF)0G}m%pƤ֏t9/d5w& hMآW\ѻ4g@9VX%T4H^=s"uj2X0qnYnW!\{KLFeC60#@M7CF*G?-$ kgXnآi!/h3' )MIxyߜj@"'1(ӡEVeξ(++۪"ׇ 8ldΤH%юUWDˁzc٪qb G>^6 `Rlf\kij]"|H±@41}3|Rt;~Ƈ5QSI%z@-ɩcmF^e*Ġ@ WjlJ P3OЌw )z?j?V"RsB"#8|Em`*znl HÞvimlhXȅ(&5vpğl4.\>.ne5UWZj)[$dkYz/KZ?G\7Gc.]1uNpA8?pJYrɹ\zf]t̮1ip=^(SS"҃\}_5#/|XSΘW%odD:K8@T-"Qq03_D^O f,p$NI/m VQ *6=ԍ_wE\ǘ7- EqMD"]NB~=o}k09kᇽI40H⎶hD1^*ؿO%(n{Wc= G̶“hqI)LṢ?%t/hՃQʞf@542bu݂^( Q/' jf"k#i=idJxwţ# 7{5(.'voDE)c iwJfc0Aȴ ;z 3nBVҠ}/7νy,"I.8E _nUG0z^niRMPsёŢ=R>JIZ ~#fC\LjR\b~XX^AK ^Jh1 t>rƞ#9|!ᗰw끤ʖ\,B(M^̖TF.8Nָq26.5`?PEw,EWԀO.+$˺W[DA5s FFڙiЮ#EUzUj{0udg1 uzQOGC,W"lC-<sQ1Q2'CP6p"u!/6^HG%PH,̑u:<$.;`6IZgwō |VN},G \” ҹe~|sܵS]}@8mӉPѧS2D^ډA'Y91VU xU 7o=dV^MQ8y,r"m\CJ4a|YG*ϐZDJL:U)Θ!W/ f1Yj w#qVB_i}/M[W_R3P& N{t󘻥t['0#dssbOWθz[<ˮWzIT$CILc(Db<JWf.#pKu݂`c}iNjYR`Ͼna ;FKetDQNu:.|goݰCwuwi"qe35ֱNMD_;S \h4R+J`wD}DN ИzEܿNtWуX@OGC?Cmz d[@@ri\:դKnn\b-t)Crs2DsKLɥ?0}Zݫ*:@*@sZe2R+ߓ0=̴$sG@oR~. Ħv 0XG2o- l|?h䎹bJFB "&d] Zw-l[|2mºl(\[VsKcy8 @4n 0_,K}>9P*x~_θ4Dc*|"v3!2y<&VqS=YlbxY*܀Ӄ\? H&aå]z4uUU$H[k}]3[KڍZ%؃jGeG"L @,6^{K| xws ˊaOۊ95l,kkZlMyjߥ 7quWY#>`"Hv,ZOPqȣ:]|xr/QUkB6S#I,Km:"vƼk#װs0aUz" 8׮SDφ 9x'Q 3꘧ _&NڢKm"$=p&U؃K#&s\*' 5 1 ʿuGvI+x%Ȍyt E:İvDLgl#6-0z.N5ƺM-u)5H=¯|)-X=% O[C}U;O=whG&[5f-8 -?LKBVcM uC|k95{-+Ɩ$fm)R+ xTmA XZ Gg\5jH"ĺEn%f )%/bka3}B &Qc(_mKz 4ܖ@ ( sd c'xD/]0n>(=M5:yMԌrDqH=\Q iԭ`ޛQ.ґ?x[ᠣ >bic?jO !σfWt-}uzXbF͞`93lg4݌ڨ2NW?n|lޮ+ UwO'VKj4άJC "]'FQx>fR5Ei}>'({i)#d4Û|[hk¹*I4٘RS򸮝'yS3,I la |@ [ _,m33y>_UQ͘C܊=Av@xi \YG td6}WΡ8@Hi(~]83'># _^#!-|1sr# %T W ¬@02ynG'*am;N$Gg!:nd$Yi"E8FJ3*}268j5Oʈ,J2l?~UYg ;}L{)̕|"LfQ;L paSۥEG'u`"%8cݶ8MbJ.9{^g?E.P]+-KZi:V$|t6e+JN YZ1<"m&FWR!ymgNVڻPpj؍cۣusjɾZn!D\;S_xE3ϯ $]S {]/*ieP%v❃Lt`]0ndSj G3sa[Ĥ.n7#qӽ ?˃ @vqC;3qh6>o0qX 5Wns MXU* Ś_ѡ .&šaz7p%_YŔѶzA{$I#ʢ]T;))\ϻl4=Y']u-j+hGlLҶZ)jِ7)7G(*O5ۋ7%O~tv2FO4t!<_q%} G'p y0¬S"GN3(3OB7Z+ 8FV9JQfwGV_(&@qf-Ko%TK4rB#Xi9J|}k|L>,3lRJA|<"xAmH.1NT_ P)[1,Sv1Bc4L7ɶH ˨lL#Z =h y]Q$\D]c/YRLfؗ@.Oi ecAАhFzNRC/$њ[Sg#w &4 I57GXO % YE\+y1~:x#d`(D:fVץ$,Ors Tu7Bn1t+_q4LjS?C86>*%C?@K;zgfS(_UE6GAN(hrK ~ę-i\W?0k5l"-YczFDk7f65 ?ÅR.y|E9<$h_a7T]KV!ܕV#N =OASIJS%D@b>n%4Gm4='՗_#A4(ǬsllWd(> \Q; *ٔgk'X2^d;Z`,tGx3f*"esXy#K:*.JlbX5 [nś[]1ƱTR*eቦmTx*$`_$ۗdXPҕ!=Ɔ"I}RBp#eg-QCS3h1S)I68od.C"ה,chzgCs8<%U7QTyYaw3mV6GqMGa%}Q3 soNeA\PçW09^iX7(=P;H,p*DsQWU/:ut{?cg ;=)FS M*Grb ({v .wloXToC7\SvU * &=蒣)d Sk$H a3t X.]&¸ 0^T_qM{Ejnp/>&ΐG]"G˾Jw}ΌÞȪK_!lyMтqt=S* w',fm^JGR@f1d/:J i7}UxtbSj`"Oq+'s߮$"Li(Wvel42_%׆Z(ҏ)d*XXq îy#Zm52a0yq~E6+:.[/8\:\tJ/D9\MVfNc-;6\ϸX骶 .m[59iB_fap Meþb$,殰\-wQ UryT83Fgfj _sey8hUz+l~ý(:Lϫ\s  ƑtJ6]bVcm]]fjg$~z/w 7!u%聰Ĝ-YY]otiqI-q|PO. wAs; Qny>, Yt$ xg32wbOpSUbԢƋ aH-2Dh|/\ּ?DS@ٸ4d6lmãtv6Vc{h|XD6_l E5:rnv( \K_RD$#\LV$xE\-J)k), RhsU3N(kU8\DO,]gljb"JN_,sp-zgNOMpa'edI_űrDhYNj8&WY+Szl2=|CLpqzEEBT; w3]sʊnfFH,k@smpaiBɴlj;KJL664ځhφEf_C?:s='{фw 5[ĖS}ĒXuH^>ǁ4;p@}QJ-أV=4>-ۗJA*G梗Q^>yI C A\1š p9Ƀ_՘ۉXyeؙI.}DŽHs/wl284Y('pA4z~k}HcEovrBj]~ф$[ͯlAQ%09UxPzV/̎SkXWFsjd𖉄IEY L#ۢSj? (b` Y0l>૥KRD~C+J]-]/  O%s(bvTB,;V#@}c 'Hk7)Di 2sthv3f-U0RE 2Cz *T3w۱^!(,gcF 伆9a ͜KA/qӧwW?gퟴf])d57Ǯa1"0$ b "bul3 PwEy`a;ydE>8Ay-+JeV|PS`Ckz?|O֢!Y hL4Jh6֔vh='5m5^now|0A|iY]ABa]}IЫ{D84љ&D, jF^f͑'>OCۓ}^U2UtH7T|+H}naN2j̅w<-%JOI1Yf8ڄG@xt5^֟on̙]D~ð![tT37tPm҅B>)?*}1el Ӡ(Nw}阮 4 }3DWCJ"Yh+"6 QgFnc_y;UlP {LU,C]ڇA]cAwѴ;<O{ l HY//uEsj.*s *53nrN!ШBnZ{ Xo/GVu4,#z,Dh4)ѳy~I~jmyi>eoV3 tg!U<^+W4vua kB șFOeNem1d'^i\wI*mqN;>.Q)CnPRYWɇ„z7WԒ!u`TW#lYj$g@j,iq%>E.3VbhԬ%'rcV?jBj 5+qCoﮮH=5arA1_ ]|xľg ߊS9;nZ0x ? Q&, >PkujƔNn M`v}B+7u O% ^8 BA1u\&Gsz%SH]6Shq/b#LN,;ZnOߺXUA+Ӻ*g~"qΐm(F)] ./?mKQ@iV8fƀ=SNM9Ya R]`(p7[;}+8x>6V#L|Ǿɽa]'^XJ|b#/ {f !&^HM>٨+82)TVewлtn a*җݧ04jT)~|c;կbi,Ɛ8,VmuݔӶ$#잘PD],o:ynvUz%!r<{JQ0T ˫%YL, T)W.SԋNS1pRY1=ug>MpB9'򪒛l֓W^Kr{(4ֲa}NiUrd{f))Qܶ3/3)2avYr;P|Zۛު hR,?t(jjHhmL |$0^cesF~weGzmxqCj2Vd-s#Tٺtko^[h[:^)emO:b-Yrv?{0(L{ŠNQ)$Z#Eh O5KbAՄto[ײ`jcwXZqS"uǧem[r+ofj& @ /k6%׺W7neƫHW +ZK>]ZZX<-‰P 8^ƭ (@竛$KN7L/C! (aJVp(Wq.3AB|hK[ߥ͸$ZR]"/'e윍ջ{gר`ΐT䯪O'=&h6"o3}$;q (:Rxl[r^Py 1+Y-7WCGYP V}CO`wyvFKy&KYA#3L~LDRR;abCKkzUg*`FHɍȧmDwazmp?I[2KMpҸ;) Rt t~9R*tHro@4py!ue=i9<H|ߖ! Ts)Ywri}@|6$ienbRFjB-o՜=8;t 40a`GX^@: K]T6@)ęDe zF&C_E&-&I?$ ǎx+^ cGC:Xcо #ط> H*o"xB6Lf-Q:80D:fS67ȍ4{}5LV7CWG/n(PN+A9sQFKډM,BOI^E;Ztt 4M_B!eDdHM6gtAux ABI9:BAd/o@pOQPń6͏,\C/3QuX2O ²1;yYIuifxs7/4HVQݵAױQg53׀*),%DX uc,x1>.*s˩n9φqRe" Vtw:/XⴗK㗨`{} iܘl<3,7D<'@畉ڀD&ÛBp [i@5w dQstjWZA (N^6}#5bH(B0[#!K&D{V:]Ǡ9ɢ.J9)CkqwSDnk ;p$&/dPzB!ffxclC$C ]]R\e1^9Nb}rdQޑ>!*yqb+L9>vx2=ίXs" ?\>1osߣv"lb҇X; NZk_XA: i')FE0?D\%]}9+k r} zܝv*VgޞKPL_ d]|eJ@ V+S9#= ́#vb΅\LHr 70̵FX ؕsJ.£0ef7^Xapj)~GBQ, Ѳ9nTif`rN']gYZ7zXZִF! h]ŗXiɟ9tfZ6Ͻ ,۪&ڀ`iqI^cv߹_#c/.XQDx`,hJ,N,6P1wBscXA+nР讱gYZ7zXZִF! 2 s]ŗXi%L&bGEQ6,ǟ3&Gmiι3nO8ZiF^ i o7ڱS&1=Qh(+l'DnTQt,::Wȥ :<+s-X(O\woU^^wӋ,b.h9uDLR.:a&=Du#XD$8)_>R8.ÂJ`K#fL{J^#6ZPLIgiCX;8,صH$`)=;+u*wlЇ6X= ҧ@ BX])fo0)!aKYUV;󭿧w\îKf-*8jhwWf~wwr|Z|[>gx%q5uzЌ#Xc@MO@'Ȍ%^TwR{0PFeiH qsTytҷO5 0ƻY_wBl!22zpE6{a=1)ml|+ar"}H#:v#K䐞r2|ĭl;Sh)ű+q i& 1L1:H̀aZ #y'%/^d ϰS9~xb7cl1bH^^IyWDlÝ0x8F¬Sp؁\͵[k֟K_rsB#+SЕ[R@Tp-]͵S' d؊| &}YT)}w?Jt]LE+/֬,|Xuǡ"iꂝn-Xs\%'RηoбӢ2r6&PfB@IqLLUu3 OY_s"6DƦGŖ`!T9{}[tW-ߊQL0j2k6:M)>sKA;6K^zT@,aeUK-Ȍr[jf@Y"!\h??^nWGkvOcxϼNɲD@`ҝXk`(;oèa_%BhP{Wtp~?t1]fS i6[op'75eNJ0pg\*Wc4R w t员͹̼uI<pbm{8`hݑIJxvh !>U^1դVM-j*"?`K LE_Ĕj^$YMO?w# +&n{gULʙD  hee[@nk GH)ZۭfK4k]NEeT{CFRU|Ê`B:(#y,SrJVdjǷ(!/6& ]|xNU|ֿC8{_A;hyqM]LRF+h)Y'A%92?L b~Ԙ&ep uU7_Pl t7cB0KJc#6$%wRP_n9D$7uJ')~|Y=)ޓEi\q\è 2HHPEKL^\1;_DwٌsnF% {)9 //0]OȆ;cA e%0"4hmq =v {"8 e'~1 M14 ~~c$SQN*}`LIAPM j_Zf8P|$(F|ӓ,jNb]yG}\~vC*6$<[;'?v's+MI+ _\ʎ%zv v&u^xEF@dLT VbVפ.W~+<7d2Ӥ%Y\2h&ۼՏ?2r${z?ϥK$D NhY~ݬtiۘ4Y?*v%Ux"6&^m5?bxm1z>1[Bo:Bf}ZbҕBw^ بz]ds]`_WC VRΎ9sZjm?dUB$Rkb~r;_&h:wKO{<+$GkA+,{*2jig@v=ɊQeq(="]L;@[Px%`֍!hj9΃UmvaAQl#{rc4.Bpxrmk.(=%Cav+yq,3\h|L};te#St*=O1.Dv(9ɗ ?[N+GZ-|0H_qo "?K!3-`B\Ű#1ͯ;|G$rbw)dž)Z2*h/C)R ?Pw\С; kM8)~ 3g[T[k{ɕN5`0?KV0G~D(U ru⇢ @]BI8:?CzZ~|~7cDyF9w ANkߍ! ZGu2/{I5HbzM,f(BXǣ@)M FgYZ8a15f5d9994f7d8b4b5735720e2b98eaea1e5d7c9aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 aab967062557b880aaf16b24692103524cf4f15b e51461d1f4d83b62429aa3a70c6575a1ce1f3e13