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   - <\$ ]S Show:threads=4elapsed=20.271cpu=49.160gc=1.964factor=2.437zXZִF! &X]ŗXiɟDYK<;#&zFb4filOc?7fIB6\t}x$ds|$b Y{lH6@ujL0?;_սm.: =h <1 `s>^6X\kַɜ( OG&p-AbF4+3="CbƶɺhJAvd!s+[/B{nKԖߟfD2SvV,K:650sσp4D.ZY_ԈTf z";`or`_`nF%lFցQ})AŘ{h;WA1wH]*fw~PŢPpfSouZQ]7gY5%GYrYe',RNᶋ)WH qNAm$*叙tZ'ގ-V_}KDuxX9󄭣7הj/ ./`  Show  -.F<:@$H Yuǭ 17j/7~k#{A+4FDCc(6<~w8;L$3_ X<̧SxVXpvi}! TKUtK%´Ye_ip1+32壚#YCQlGe_Nf(-$ڑvp:r+O]B,pcuY32v[+j-qerS>BumO>IuUd2HSΚǏ&`mbx䙽ۄ[tE'3z[*MotaIdyثWTj<^_wI\\\7A.K&pJi;.)M#^$PHsYEۯ?p iZ*bc.h5MHq?^`o[˜#cB]Dp(95CG\ DB2z72X1ѿ4 \&'7k`|MajIFEDuLvEn?aie #t<9y~e,4A>EUqm T!M<}Y_sDjfH0(AqH 0Yֲ7i Uf YH$~}i)J\ l"й ĵHU4`>/H\V劏$p4Ai{ʰǐ>wLK#'k#,/0&zĺ%>+iȬ)[% ՇJ5:90Q7kRA[B J9w1-t9'Mbt>4uDQD7.a&^Q"Nw|kEc}&,L+s/ei D;a})Lh !%(RUEjy"Dz);[q `C^Qש#FB??%a<b:? /]/NRȍo6<n85)9 zH Yflw5i 105iި.gM-YYB~_ i%J-]SV=cQb+>&&g֦<´w?{#/i]\\-5i ZoqGJxǖ{.;XNZ"zuiAZy0W9\}kI gR&U[g!?X X;Y=jLڀnb㚻vW =E+~7BzH-u"1f.*T?TNMbytL7B)hkot[۶M?o \L8[-Y(@=uD$ GJmkeCz '.hrtu)߽nAr( q6GndnbP K,Vnw'Zvԫ۳g(Tn +,g})hDxT*@עSࡍy2!6o W4>CC-iP oC\ 8C3nR c~V,(󸖘KǸ9s6 n mU0)Wߍp3НNrω _F2K?j[Sk)%zGɏ@ʴV\uoL/mjVYODB>NK`$W~AT;<˸nhlH`f,HymqHґ(¶" 6xDn?;i b.$svV1tl[vhs,B"`мOIp$B괡ɯEw!d;Bs18@5F!ۧbGH 3URJcubyTRkuWuEVuXnYL bߑ4ɓkc-ëPD+ `a;@|ܤ'`ix9Ü:zl1uDNfaܨ 8dUïhRJ>5^ yg Cc+J3l,= ; ; 5]T׿#jS,e">ߥ纙MƵ]fǭj폱my@),BJ^?έ߹$&pPdl0"Z- 1n dV4c:M׸Y9g?9 ss78!f7 ?qM,9]#f|l{MyZb93تԼi[X3jbTk 4I-Qw'--Iq1HI~pvnQW(BE"P&~ len9Q";U-vrf:rD~7ѴI=b͠*oʻ!+Ǘ׾TĽ:Ac\-#A/stA|άꊪ1`z!48e:.\R.n)D<RK]Y_먭JQw<1Y ſYHEqY<D⑰_WuN8X0tR=+uN$]xM٧n02eñ٬[({㎦((.})BxfzWHW6Ta6/뱿z"2beB1bVUB oCrHŵ_ %%h1/Fw:ލ4U&DDYrhy3)HPWj¦ŸxgX5sgN#pExY:"Ⱥ:rbNFOT jҐ =$sFt`10ݑL ׋cIdl'ɩpԔޅ~񎧱e]Tpd;jer1g֜r6൩{g=z?}{li1t]ƍ8ȒF㎿p<,횃8M} cz_`i%¾Ee'r9gԷve;̐ pJ-EoF>9"Ϟ`gk"SMh'C}??ҴJ-sz I(1m @w%@s?d责)`MI)!৚nߟ~Rq:oKVSQCn -Z~GJWpt#Zp1Rkvc* `@^YՆ쬐US9(q|7ao]Ccr\fi,-c1/)+gUm\} FxC,PpXT$uWrJ;Jˊʍ Y/#d6fbIxCܲj$J5A$.{%w%Cw!'tL!"M t6|b9˼R3[ aN#Z~:musT3ОTW&jz{ׅVZ=E2{1p|rq;h<,S v0lLĝT1(ƼM,D|Լ>,@P,7Sz# P5 9l!tlp,(|qs\(4INH+}Dnyb]+fW$4ẋ{yUlZ][ښ3=-ݐIB &5aˡ9m54F}#k2ҎLN-Zeލ rǩ©LaHhUMDcaqbvGIu+^$#^Dfe _Z[=n0]tլf,}}?'4yȉ``{^0z-فzS'>+p:e?Ŵ̍7n܅U @k5#! ϡxGjl.V~LBrb%YHo+'gZK[XNxbrsA=6V ~< x |~2#%Q[Z!wrUIi_Jw?0Y77`Uqs=фszv+]IOùU$Y`UpI0}/MM`d3l۸ CT>L/b%(hsf %3{NJ Wa Zwq<`+81<][#N'wB2ʊ},˲![@5PVɈ`@U.B} ?3 kNv%I~RXx4wx,0Gq.M+3۳u?z|XsKX]ZTqKJK[?J31ѬX6hpHv}uf)L<Ŋ_T mC~viQu**[ր%TU=nS`Kr>;Kh\#]2ف3!a"٠x &*d(Rc9%=r(;!CNN`RE4*b@cږt/hIw@G\$?+ٔ@>ˑa[~řCc#uZV |h W+.e\ ޶^wt>7u[%X\Zn6-|au `qBPUT YdGz`s:5}׍fgZ{w^ %c!ⷢ7;i΄k_؜O8 .V§l).?+-O&p_ۛhoe)U?vYz6b_: %̟o"r(A)]ן>CrlNz&!8ؚ3v@l·):;# 6x $4vSU v:+Pkͭ3q\(TӘv"BH4Ke_qVu  Xd,ncԼTYرHO $eTvByW GJu _*C6%l`*]b8 )`ҩ!eo(ap\$ jcUܯ/%$ t.iiǛN5@-Wz2)"R4mGYap"݇f[vRvөʜ# hAldB6¾CP+mr߯珙Ns EIi&󔯤LXeBmfB79q3>݉ݜc7"W+od]]_in+H~0Yi^ PlpqZxJ1+ ğy"+}ݑK򲸍uz}g~Fe"ǁ#is^ w}xKО[ AWx+ps8[zsշS™:;+zWgw!Zdk=/]59R x~!X~;~~&^G<^n]z3|uܒ6h-.˖ U\? Na̴M:Hs1& &ESc LMM? EXK1̈́)'5NܯozQ/x·jS0QO Q3®*经_^p!)f=nt3 :Xм돽7GxNʐlu~;.$sm[/{C HV\Ҷdg?`F!S 894)Y>#9;j1ru<`E/*P@cB3Q]t-N*݃ѪuM=sPgE9} |8Dc(9 ; .'J 1E' &'nzj#_\C_R~[ mB6Χw>,!4) +Ż6&ɴd.hi,BM6ڂ<˕mG\RX#͛TE|h-!4͘)m\RD0=\N+-wxjW,EUR6+"Jq',HtRxӆ<5GdHE?ߵc1RV ɀ0 s4Y}=D cxV L,$ogX꼈Jp!5W7 &cǶMM{GM&.!fȷ}J_@6="W6`|559+ˑ#D"i}qIͮaI!;Ntd;p%8àDMo =2XT S>HT*;`~C2]C.6kw]D+ב$)F,;?&+g^9m~-C[7U_p+z'AKi~AlRr۵*rob1u#CWpl  -xeAP0T\byṇeWa"|lD,eq*+u2LK[`D9.a yt>fک;I0[2<\h|2@g{@ݭpj2 jAg')?hBV逛B4+)B ps;Wr6~Oa=Gwz3S7rQU7m?nr+v`+9F:#ktN7}_geEob~w5ZDrc۬`Eoq_R%:뙚~$F&Drb᫑2u/{zzĹ|c_7Mg2;ugy ͈D_l>Li4'PŰgfR_B7N}R`%xqۻ\KҠy#f "*:z<_={ Lsrי1z@+RB:b`7:eXNW`#||Vd'zWK;yjgxݎV sՋvFtqѥBrU ϙVh$d@WmQA{Oz)d-C\W ᓲڂh$^ԋi<,r El|gQrb[CPg(?+C8W֫AX$o}<x;eLqSm~WXޛ% *;6W[3DEz{ 0Ɔq`:4b]k"C2(*f@[nfDB:Bc{wybC:\D{S)/|kU75<0 tr/9-\0lZIeiOJef$|+ oGL},&ܷVX;Cx`º'u? I|7աT{K2zd꿭 ò8: I1zj-dB8E3CZ&)x,,Ch6L}{ckֈO7ջpɅ(l[TnPH%u?]Y3*C*0M?8ߙ]Rp;2|xgi愁 _P[V|ξ&܄W7^ JE&RiWҪespzٕ#t:E5XXߐu^KHfÜW"փyUC٢>P2:"t<i>1sL$ʞza4E2rˆw v^.9f i_8 4]2 f RQ-dJIh aHλS`M Y 7PWʲ^+=DȑccB ڹxNS8,#O< A(_;z*|˹fTC!FjE}Štz+B>O/<Ds3Ε$ǬJ/W$| i#C] f]Lh)W b#R*Hg;}ƒ~VMe;E:c^S`\CvQ_Y}oNw?f[`G8WL&Y9k^s&7:$t"0qOR%PEju|u~i03~EЅ-]<s'F7H?uF\fSP&ъ9[5۽̰7Tۓq tŎ5i\ߤ zB>D"-V!KB~3[6 >k"gV985;O nc Ejk`ſT`bxhW^7ۄ1|6Vہ tai$UlΒTt~r1B)ؗ|~$iJr!LVi4{ۛp͕??'LPkp!Ƣ{(zŭbj'KCIȴiL%{AoQLflR4wA2, ϶|M}K/ ݿynW)2~_iG"* e2E Y#OЄXGU+p>G)YFz$#:o4r –0i~Nzs{oµ'13D{k׌|b߯TvŤ ߱@^Z۳6ËC0I3LޯZ]YYΞB{XP&S֠j%n UͲc󎂇R\TlE ki||4"4lcuei֚'xHchA=)>@Cς#*z8埵/XcI}Y|mF'?Բety?g'xvN;d yw.;240hLFEr9+eO Mm5o^Ś~bP*+ H7b!fc5ІBH_$R#toxg?ݬطbz#!?esNHN!Rʃ|,?C^6E*D٪4癴EO8S9\:́FwO_5B!lKF 46 o,(z>qMIX|x![1ׅT(^/l.g']懊Lmg~'/f.+_Ţ㽗x ѾѠ/]e0U]b^Ee=1{iz[ Ij/vL0AϘM.܇ +{foKq[@F^Da~)gvo5衤*b+bv$-Fye4o(< j!ZBFɤ6>*v}F [`F8$h^nFzV6H.Nԫp8ɄmcZ@p?DtsK(RX°{\?X52=-(`UxgwEv7@xGK9 sN h)4;0/K\#W%;-_8'f/W&Eg*eqIp%Vr̎c'H{F/}^csًRw0 k5>{!݌i&C00Ҋa#D '(.u{?|>}t^}⠎E[0 0|M}*O a6Wɐ3wjnAȎMH [Thy~+J +i6ԏm'ϛ wAC"34& z Hj3񾉛;=$Z~J];ܫ(>oɣmla853I Qe-O0[#n-ffB#x/,햆m"גd}1~{6Uh^FK_jX \58)/D(G93%Ql>V50PUG" Ռcd5hj$ l,s\O ^`oeP`%,ߗ7hPqg6hOꢩ.wo0_=q< [td"5܋I\#[|dn1 wh[:%;y]-Jd>O)Rg_eGqY?`ٛzsQT#2!`e8`Sa{YI*}{ 8^VJP:Q"It?.tL.'DbvFc[T Bbשׂk^d t >d\rS˝6`ͽ%u4$twlS9)-Zv3O[%~RIDrA;G,ltI:|Tlzy'Zʐf2EN|e$ 3U4kyyӖ z?v…<Ϫ j)y&6Z".p^k^#LA4MY^ݯ-(gq˗}{+Twriao|_J{PnxZgRعa@]<\vŨ.&?8h+?#PjgGL(ۄ g["Q4SP8|/Hy)`t~BUgVPK!͘ųOjE:o@_Vȭ#AK%r c"U0հAظ")$S+#Ʞ -sSj"ǭ(qB1?OϜѥhVʐs9>M x,1 @={}]QjB"{J5> `7{hd,|\*KkjAsjtu8RP,CkDY"VQ>-|uyp$7 'L0r"5Y3,X@` 䳓MϘ&?YΙmB :l[kSOk^@o]s)s$Q:YyOgOUV"J6nUhyWQj/vz2k H~"<駄Gdރ)wzwtLz7sۛz=aKA<@+gi_G>%LYHŬssb+`jX;KD|gqC ${ݚ|+9Z Wr:&iYCG/uI`2rڜIc3xMɵV43,~eMA1+8G3"`,م_J& $*kgPLҴӳ ؖ*N;N !aPFg@o'(/`񷞋 Tˬ%GkM3 qjӶ!McwrШXEĦl})GcpO[8B7J=3Ьb# 掴djW%LZ]DJb ˜xG tZ8 [}'u/ΑW^¬qT> Qk m/np4hm?:11V-?4IDM|u)PunT)$#mՍW Uwl:&Kb^JE6*滽vn8$~~\Cu$v"6/Vh;-lx" y]/CHӛɍ *Rw2-eꮫ { ZnK l^F?;܌b'1|c[w╣,' y/x)Pb?Ϝwn8uyeZvT2%GhUrQ!¹_ǁ<&lDW*sӉed&)TTਘ 8lG!Zee" 0mVQt#0];z朒ͦ7}*GM"c?l%Ҷ>'Jja #gkg$EePm(n2Vg4vd*8rqz"w,%oL7Ȃ=DVFFѢI 37eS\ `A2}5-5#_MRSbZmIbF6f3[]f-MK}&3ɰE㿩2'igjp\%!H'ΡLя57V蔁9y(>a{} y`ݫH8nŅᣰM&7 ULokzt-=κBvJvpnō`Ҝx(|cE + kkm%\wA?`Fagl<\!+[)q x+jG\!PR0%/=dqov`w2rwC,$rm eSm< 3"^?Җ>FT"O%3a/;UӿIO)`Bx_5-A dZ&6-pziQ~ovd-& U^y-=` (OvX:E_&}!c[LS53b xQ8 !2ZENEuiw"BԠ)ĘzmAM '-5*Ʀқp"@g1ܡɏZ2@zwoe;ZכWyr9}!P\=!my8kKNNIysǨzVtυ=Qs <~-'kn5W/-X]i!A{%D1g￐j)o.~!8G"S] ;Q ~W˄?O-J쨌i_fy?@`bPca2xHÞDe=tuJ_pU#YZoO^:۝# [͸ZCx: pyMT;SyKV񚅈|X9ʫ(V͔;j3м3i~"OPȌ|k :ѻʆ8| I^,Σxt)' i~CX}0^4d*g"etSao1Ԓq1/B _ EQ{}v4S &zw+FFSa7KZRPS GdTzc(츘Ӽ2z s`Pt: 6A+&*7,r^ǼmD$c"$瘄!8㞭o>I?ό"tҰU)@5i ^,.Ptu.Åj+mL}dZ~Spk-=9Z2$r[,/rAgk믕 m?&@9_2HM;y{ϣpf u7VR1gYk/+m_Q:TigsUGpy/mFzFWtExu[am!H75*9a\q`;';WKc&9MRUI]rI Lݐ"}d8SWPD_U}#GKh-K ڟٷzm7h^gŖ8GC3+xLn)È4Ev^-__Ld*΃lW˹MqjU9ݬ 3~$:aBviTV%AMYrs/U$X賀=HT#̬y f Heݨ&~jW%| MurKe-"ál/D7f_?bώ9Ec䯅%? PY`ꋏ8A),59pN-ƛC?}kN U+\v CW+紱8u|*@T/v['LfZT<}qr&# ZUӞpp"n6Z+נ$?ܳq ItR֥6=Cbh']"ODTTӀ7d/N5 x;VO4 cFE<\XxNv!N7B ^B"}áтa&QMGn7>^քsIRfѼFeW)=xT\݃m([Fa7)|Ϯq@b_OvLZ'ȇ5[IyLHhD{F7"x%׏YI>l=}+֏ ec,Oxɥ{ȸmc@#!A'B 9Z)sU| 4\$|Ѩf";-,ITDI[j|!wU%]FϛZ yBe#_ƞIQMIs@+l3%Fu#޺FG{g4W{k21MqJ`bz=hw1:2`Oig9QbCϯ^\$z7&0$0;9o>6 s=MZaպJ/max@~0CG4yb`q~"ھKRk래;7VQsf5DBx~ tm{.2fQlh d&Uk3MWyxsZ9>kK=(EwLc<(^pzO|=, 4&8-G#B𔞂 RWKT9vعB2$aGgmOQrCyľ@Mofw)y{murkR+zþqmeQ,xg+-fǔ-oJ#2cCYz#V鈏_~>tQsJb ~Ao X1#?::m\rV-ʮ +Hc \Ӳ0}/?W8.kr,r$#/!U5IA[4IUD: gڵ.* ,8l*V8pWEJC2PH=32NZY _+#a` Fdb FT8}D8vdu;Zl줣&zV'KF/R:Ѫk,md5yf<#քzU\c=*YJJy~"mUž d# ڕfRgl|8XlɛQkDQ!hBYnYX5/f<"6R h$%%5 Fja-䗸Pu0֭tskEiEnB! >H[!ʙKyj(%v KY_MXPNRND|r'UZR_p4YvdͷҌ0b-`y/*'GsocdoX^Yru}R8vg60D[) $@֝9]|6QQ{ȿh? : ݆_e e"\o"-!Up2tݶ0,v7`J!aBf> 6SpZW3s.H z@0 Q#PB[oH\;443z db[ F '+D]Yq/jЌxp9"¢ u1zih6jp##iGt;U ^qAi\ck3Pu6.EMXE,S `g-Q+ sUvQű:r>xl'eu4[~kR̅ߺj UfCR z |)X#: GEIzjNr.'|3Η@ i1L%> 5DnL5U5ա?Xd Ǿ{F: #DhHVOiMLJ9ا->GnٛLį"1aϖÅ?ŎpjB5hV nUőw'QoNƌU8XݺTjV1!3_#X S6mn#;B i2 a|Ôu Ɯǝ}AB] Fp\y%724oӄxÞ'^^,s#`5.g1[Rp1PIGl0ֶ kg h+B_;F\HO3.|'9%WA uy+.Jpt)kVE@Kח:lR u|W.9 tez SԴt$Fa#Y P3n:vё )g1?wⷝlwSPdmLFXxm+ۢ/U6*m> Ln} 3i$K\3-vo;1bgO'8걧Q,LV0A!s:?uaNB٭ ;@eENM:q3]έ1%1&Ζ5Q7z!~3g# )x^dTblG0#F$?LEGV41Bm]A٨B$[dd4uR>A}r?hr',84@iٚLJV[cVIDH@&'«ʞ߻h T߀  2]/O Lp Tʏ-N1{+?TJz:p6NԘ}V +O`CݛYrC S?דE,"Dpdm&=5㹡SVh;V9'a&1& eUng #&W,$|{.tb?riemO ut/Žl$;$H.%\5J=1&<Њy)T5YdmCM3xkLCNĄ7 %^4XY; >dap`sHJ LݮM "$eςiäF'ϸj"Z6OWg=) ։cAi2N8ɮĨ4D- L/z#6"lԎݮ$XYmUxG&PO(pR5*M363=I&R>=l8YeK~.ɉ OkWጄ"0HJl4>"ޣP$Ye$qIhʵ Ir{#hǕg>TtC -T2aRF]̶ 1{`Ƿ;0}~{.ocнso t-X)jG6-i\QçOr|&_wWݻ*e4?e)I+/meײ]tHkfN|<HP+cVECN$_M:UdG^^vc8a)aV$.m-U5Q>󷿇qМ:0X0(};7mR=Fc_hYFcpO90vqjl+/2 V;w )+T#a2_*I沷P-^] X $y|cuF} Lሡmqgc '8mʟ]J%\r{G1"T2+m0nk{*&2K;a>/R=߭Y=DS,ȭەWjAX[:DyI0,mlQ($w>RڟS]U[[T˲fU}sM hEy(q>xRcZtP̵N(pԦHU}2WU›ai#H1/?Q̆r!iC-}§y,,46'9/%6u"1!hq:~][ [%꟒D0ϡJ/uz'oM11m/#9d1*]GE.IWY;P+~s ~9]mtM!Mdcfi#.amйEUN4tYZިy2,i:6`GQo+MZF,z-L ӳظ.}¦4#JrDn~&P D<#)Yq.6;CVj<Ԙ@~YK2>fe>D!nR^ao"RxXDì$,.`Es9ICip Z3뫨iI$ˬ@ ͛Au{d[Io4ł̌ քMD~2z@- J,(Jz DoHMPN<-2î ѵwc$s2:HMTQ3au$H%T{(5CI;njC`DkOH%nXhAxfJ4oUF+ЁԞI:7i2U*/L.Ɗ}jˋi;sQM,5c#nl,otղd jI.eGYYz;<~8 P j7ʂ Kξx(=K4$VP!V~oH,~} 9Q欏Ƥvq[B/64G-`Q׫ۣ͝(5fgh`zJ]* 7N %g6i.y-:Jz!9d׾\~ C(f8cSzox`+Hv$2Ϗ+,oT' hNA\C:H@Ȃf2xJԧ\~t/(;qK#F\@Ca$cuNopA/fo49a[ߤ=ˏT 4=βڥ$, ,K5ڈw;`ɲ`h񰋚-B;Ł d)luа63;M"5%=  l*yLCK+@l=C+m\㘫o࣢L/ Y A9CVwbpy,un]GN^ nf~AUN|B*"\m53=Q%NP9S%?!g?oVg"MHY;/{-;Pw 6eds<*AH.TjĵA$ )a@bKSؖ"& !Άn'ns1rV ԙ# +ޒNe |KVnOMZkak7f gHyZsГb-(WXaLM4k5D =s HIPwJUPPr~Ēe_V^`iUGpqndN# ċ"66D2u jO{**pU؆pr&}|*Iv%hIrFY(*)/,ޓEo/0;{nXF[TX U; qfi摀j@AzsuTi@SyC/U)m&]fs'ah،/|c`etECZ.^Ӣ*}=02tcmBh =?/?u8h=.jt.y%+ Ǧ8YI&h It֔I2nk"hhBxysVX@<Ǻ1K j<0׬}%ǹ5@Y/3K.]Ij9.-:%vH.gy3Pf[XTC+#xdTܢ6Ӭ)M_ؑ\?g:bp BHa#kΈp;\q0,E.#hFv7O]RwZZ/ ԥjYzL('=pC~ GvL1(޻Vɾ]߂n Nɛ-|\RCI ާ0YK"s -`qic̀9oʷRjiKbB Yԃ+2/*qwkxAY~Sg0ӽ"Ās8z`Waem/&tCIO>њ ?6 |3Liݯz [7E/~iT^[37;ñ!a)!xZ|VzǐMdetw-rZcFlm hϝXB^ַP/Z6%bJM#]QBj~*)߈}y:PSGR4ZIۨme}>~'J5WC?Z1z4 a<|F4 |Q9EgOA' 7]ɈIs JnERs*lZQH;wy9v{ZIbP{*괠AE ]I*ٯ oܗދ[o|yϕo'|$UgaY/`;Bv2BbRNn$0A1%nlJ5AB0 l[?,>#S:XO'#dwG"L NvܞJ h!y4 @Rw(<2}=l >GW%; 5",+Aa̫~vtn{G6ecDR0/ʖ(''z18ě?J>vôoCWpR1mJ:Ǟ1C^ SF[l/'W^g(C;/״$cpisBm8J,("e׈(窱SF!wgnc>>[}QRTU鍔̂j=<=Rk,W9"0C [j<Xڸa P*dZBȋ[@@GYarxŵoSUo:$o4AJu-)|kU A%h^n*OJ]\rhsimE365],jhOb|qFR.ClH>`jGCgx)iy` /E \@L'mĪɚ"%$.ЇwUH>b& (Y+zSź8Qv/&b&ZqN~5nۇ@49œ@(O*Gp@֮u̐˾pʞ㢡fKzcll}K^g -N[*V\4oyJ꯻Njss` No" WIh7mw+w=Yg-)5oG-T8aWGTZWH_N˾ ͐۰DĀ$gHzDstVᆘ%~JN0%^vsbQ޶doIa@f ѿ޴(GE`ipdzrK$r7C*`x #V ĀA#kQT5(S M9'h))A|f YH8Ue-5,-\u88`յQ;fzRߙqykÛ7V0tĽ.РQ9IdmON?@2\ ̤σLŇ(?5h r\{wsPf͉:XOBe`y>+ (NBDj%(MGM?R\m 5R` pEv?@5oG?k&c'!6S]ԝi} -WR&]Ua'zh?C" *(vk"-NUQoV5BG+%X՞16r [ C4EHPiX*>/HsՋ6283I2':G1=r F).Däxԫ.+{V-j~P;ȈyBcܾD V @/ypzgG$r,U´6?2r}@Esҁ{PP>,L]g60=B; ぜߊDӍCUR- !$ۿ77f~ Q1V_M'3To}?@Z;Պ^ 4w9\Щ71ɡXh}KEg`PonfrJ::l#\6PpCظX+@K|ZVo&N.h,<;6{IMz^T͂xERi Zi>ܬoe_86t2َt oj)F6i;bL! Q_N̥^x$d[!W?-Wa-dzI$!hY@Ȧ ,%QHz9)[( Ȯ R)ncW;b}"t[%A_n#<='tM2<42wQ\62MvËڽu,Ĝ92Q=r)1b+qS&r1~6w7CiQ_)ӑD忴/Ț΋f}xS$ #Dsw]?&®$;C ]|:@UxR "Vc[\EM {w8{A`^!EgπZMk. [_REe{?}`/zٲ&T[)2ߺNeEu2GMGZT2 RdT}k?h Iy稜{.Z$!R2w^E>i$hF~6l2]rz- -K x&P$t4f[dA!K=DZA4}~*ZAz# ,L/(Yb5׏ǘ?\x+j+辬BӒS,@R!fT-:~߅Ҿ|pjƬ=0 JԣM[j$F;44F>T|H pμgڑU,2G @2:҂kncϹŹ켷!7v]'ӻBC~ee 2W$Nxg :%JB}3SdPPg~0y Cw7umҽKųisZ~uS[L zpW2& TAg-d^?ݑBcRh b@֧#t`Uǖ#'T@}:m;9xDf/4Py|˼>f72oOӘoQ=ùUlܙr>zHZtpO+yn4_}S7aAGwJ_blbWWtWe"$V#S0bRS-DHrp9 LҎ&cǐtu2dPňQɭRr7sk Urp\|Teo)+/¦IGEjCoKH XּH[Е:ЪMo2f"-^ziM_ k+Y1k; !&El;9tP=Z3WV]疆z?qZBrs֐0Td_MzYFҵ[4w(j?^ؑ  Jw0JWA!R 0RxX2,Gjp!{qGr|Z^Q);^'ϚmYp|QS ) w FcgY/9ID^AަKzW?ϙoP#f 7'.9 0H2Ep/,`*$5*cNOL >^99!w2?E~ifmT_s]hqFP'*@5e0wM<.rLg~7tk4e{LBJ"Ryb6,eP)O`j _&"ԫbmSiR,׊+ji'`ƀC:!%<deƫ$Ko hM5hu_ X=Q_{LS R)67ΡCO2BlU;4!#GϨͷS) 4ENj }Ռ?\Fc(t2U})?(6C[4cpZEb _qXeb#D ȝ!L$ؐsQ8+xDܐ&xcJbF9m_)hۤgi_ՙլv 2"oz۩`[1˕ԮmBYpD4Dn>2Dl-V7pХwf6ɢGl(N|ɴ?dvVAQnЏ@+LK#fy?pOaG|_S@M,vF@ [ϫU@K!+x:Ļ M"]PLE3=܋y 9E꫼P)yk,Y6/evLgSs)۾6PKQd~ccP;Í6'PA08Y0_PطsvRE]3]8j mؿ!1oN$i`j9S_٦ A%--F#= jDCԓs{#8N[|Ko/<yc.ZOU4oܠ'Pv\͵gQ^\50ڶl"a2$_RO]2Ѐ>!Qe4D;";IU]qU`>jʚf ,F O0S.yT:!{n(dݮ8 ~Adf!70u=͚2Z#Y~ӝ[wIu%sPbWW0#W yg*xN+l&cnY,l@⓮6}Z~bQc8½vxgVƕ YQ0#(ݤ4F ays$pz<,j'呝qKg&ϯ? Iq| g$R$Z<ØNl?Jֱb\݃$$#'|5mf6tVԹӗŵLSȐ64mSb,တZZDުŶqRpu];l 6u=Mn3zU\0wpɳnwJ\] }G<WF<?6{V>CkHWL~pn!REIɚsN;ocɰGQ='BLbwjstaU#yvu>Q nY9=s<4eǞŎ 1';XCm$.!<fUY SB=2~GV##6( C{ -܊f8o' &`u{k`2}m^&dj4XQky*}SC KOIrR(ВQZs` fq0ڡ\t!Y"- F8m'2&zd+y|ڴ( t]H}|^5(wӷsoq;!]FL[H| Dv i8>Ҭxd[,,jjmiYohU=ZB]S'w_=a2lى!N@ ( I3a X2.s".8-hBǎD2o*hO&;kNcŸNyDp"K=a [S\K(Qc֩ЦNB_؂0"9{Ĭib.MAӺ4FǓwI3'/ܲ]@X`Ejg>ґ'zrAsT(G|*pN@ ݼG),nBL7 J▏}'Co oƭ86w_~=O$XAOpйw>"1Y9T/V~CT)P$Fo)+nCςMS9gx80ϼERBp -`Ŷ8^&7[:N^[i\֓,ƺQ'P DԦ&0=F_$XKHJd:ŖfhKAG{1l_8n['te61<̢vqx1R"~)x1`2*(+\_ֱЇle.B`ix7(e&.E%Rt__91fdUZ(k/WBgJ:%9!Ύm4|iܴl(AHc+{)wB#*"8C_4c*XuwGX'WS!U 17 g q𵅌Ƚ&z=l+URʎ=R&K~r$za Gf-^|>Ŵ̺WsbF^ًBH%F-,jZT#iqvG(O>uZ'L sD3M[g#¨f.VFt9(ǜBٺmhCpt>uɯB_ލK8z6zN~ͪ8SD8GRNU3Az@oNJd@BU8_k28$uAhYƬOmRSjŒ%(aa;sߕpe=k|T{"p; /C<-]?! W:mӗ G7˾Sx^$UtIȔC;Cg=CW?;ĹDHHir f7#)ԑK@&B/SWJ*Up6i@?|HhXEm{NV&H|4&y18nft5.$Їk oL~|/zwI15,4߾liօ>PufD9*mtǁ<#XWԣO@tYd92RInӂ1v^cld^(Fmyq)?"HDg#2O.D(@MFOI4u?&ȆAMyl| b.ʚ})EL8!LηPT7M:P^r)0 t|;!E4tJuC[/y.;nLd]N%#[Q sS ;"h/+^2CBw766LmD>@^=j|Y2Oя9gFL]{Gb<9}ͯ[~ҜIAV3Rm=o@ djr9@CN8v(5ê(MThhPHv97 ّh)A5g~o.jn$<$͇,͉gT6oWM&3 o) Ņauι+"x?7ˬg0a?òfYpeJy??X@Njk';ƣ6d\:$zV^[bRSTL[_G|$~1պa'lS]R˪gƑz0!Rhv7Pγ4ا4K@jl[+-18i)7(eݙ• E^ nEl~<)I9̝7mcP[lr[52;ylJS+o?i_)bd2.( |` *l^H!دRKdFL?%l9 B<%jE~wx@? B % #ib,5aEnmt}aK=m*l*8!ZaFv@0a+r+8{Vuxms,S$ dt; s"H@$xLVDd-Z cpA.L C` ;}%7j6 ہ !crCVx;cΈ$+UG:׵ F4,拐B-#d :{<3,)x10a\A.q/GɟU,7h$mNHMl :,FeYXk睪b`r I&esTJX C%L'HX\i=5"Ց7O6{n OtQY&,ުˢpsHVf_Kns1G"s^#`ׁB95g7i GW>d/j\>WZ-C7 X3L>SyAx$l(٘ HMυZ?ˏ5LѳdQQjZ8n1X?6 ܾ!ùKR.u/v_7ĎA 0AxO.AކPb\RnJ cOA}1P&}ˢLO%.UŢsըhH7 3IC[Q^+zzcDa79p7 ZpyKYpn%JlgIn +Q݌?OG>{d:r$*7aILKY ECYHt>$)ݛ\ĪD:,Dh4Тj gŵ.cryjJ&DŽO 9sWP%UMP(639J6'2aԊ*r1w#uwp LRduIIcW݉ܟ%R_J$Qc쵾B-;Dzor|ԧ@Pk_QkI$ZKiWub:!bMf"vTiI=P!;5;U| Vh68cOQTn+l= _~ħǟjnJ6zgkw;i%Non? $xy5&Ëִ9"&w+ߏcW0> m5?..l  zn)S(2 T) 6Gɟ]{ +` >r3C|́8J*8@rIV]'AهԒ I .:,}w@2vk|ϱ>Onζ`l#Y=STZÍÏXK!g.u v.ꡘ >*t~8t7-4}@5f$&3QvDAlmڻ/,,U2I7G*=PB~QwTEXM>XBu$w/뎓6kcK̺$X B`x1u证в!<+'O܅i?1ی0 ;B]\˚qdC,&y.e?xX^`u)h4s'ĿSxс~>r9A[g 0Z7<n^VV" _7#jfw2u1,;`=BarH=Ri!;3`h<OOO?&gI.uDG:+͟$/ oRj}V0ԓ7Rve'ς|!;6>ċGZogӻ6إ-M*w1TH^FjZmJN>R]k43B-d"%~/(QWv:3=и%2[:Y| FVț+A8u477Țt_!iFf U*( -n>a %PyHgSzlT-6Y9\M߽ ᧊?&ܤFG#9׫}fu͞B_.ln8}6$o3} ˡ XpFŁQ%_yĩz\T,ohHzxV*Z'OCp cU<2@Ue' U|E=4d01 { 抑 PI$ߘȶ7ts+d:Tp[%@q.CBZ#:7$]>aWL03^2?AaHv2͝o8b&_OSmN&o|/Կy2[g6GfE0A˼G˂TF-#W{DVgfa3 `ncwMZX{OM }`a1ՙ\S \^` (cQ(U5]DIP׍/"+d+qZ[غEZfPC0{|bʵNc76'Cg"m0@DP@&^"*!y67j^~\DZW*ZgMYmEk0iɮF5`c]qw-BvmviY:eh!5۪c_ ZmC[PqKx9*ThJqY(Zjw!ԐW"y+Cfs[Geqm9#\XW1ьDmq2<c˞Pu)y;7dž9Nod7nxIQq4]Пѧvõ)߄Lw2p:E ^uZI5懓E0;)EmRD@g} Rvd辂&KG0.AItmF$OgG6CQ(b̄yolA{OOkǞCfz)(+ŒAUf~[m WإpnyLrDVoYŘsy(ɨ?_|!R=z\Y31Ćm\!;PcYTY;Z<6FqA.a_.c59F5lƁ%ix/*tCT&qWij BwqQǎ/M}>*LTdQ28՝m$ Fz|b̔/EM_Ob·MFYـLFax[5L46(SPh)F@YQaQsF :v(TPvJ`p8~rbES^8EWl'9>s"%bP 0 \)8.bJIGQ F.; 8> J<%̏=8Cw q,I_&mC[:-w~3^M#r:}D4"3T#Bp2|tֽ4+zHbsGT:s9DVƁ?ZEH( ?{gj"N3 Dn`) 2޺݆W^\J ugs6" oiW˞>M sGj Yp\kO Oo]Iغwc 5ٌ4]Un2 lЩj﹔~=^HLQ *!.L )#CZ]F3VTMaɄۆ?+(xkRbxßDO311Šq0^/Kr/S ]_h@V/ZnRfM,zX119k,縤#)0{x&.v@[e"l4HB1UQ86ӥё JqwXe1dRSϗb"2a-Q ] .!y)'#[;\- &&`wfܝ')J f,1ui'4Q Dˍ"-(^aш2+h#&:ZYE"z"֏oHH5!KuTяlJ̎uیЯzCsMkG[d7Rc,36a^2qe;V^hEυk(R24D2%@nHKETΔ+ŵϝP@XԤ)J+Sj\et@i"^qso+IԌI(u\A/- `y?y1bUy,Ui0;E.A!ǜ x#R[ڞm1JQkkAZKGQk{F _K'<.>EGrՠN͜`v31/2COw[@,JaHEx'\N.+ʋ3|ŧBAS:3kVB҉,a_1o}-W%,q.Jg5EKyI@mOLeS_/z=L w$3 ī{ k2CnNt_/Qcbi!BƋCW4WrL Xd^|ZLssEwֲsݫ1G+o+)3LHyXj ƀ&M7[/{l7O.jk,Cu]:T5[qLSJ %c $G*12 /0Xܩm J #6>wyMա~&[׆5[۷Ǜ 3EgCfajATLd%u& 2̾8xҫ_|V,x1yyҷTV%4o܌V=%-89cOCJy}-*iŒ/@S7yq@ |%^W3:zO/l3q|~ oh:K=7[גG=RFo(**M (\䷒RG'8 6zfNOox000U$ 7x_80e uR ь,kUoCX7a-VdTru׺ ;'Լ->ʶ/W~(ZaCuȂx>NR ˰YMA'y(]%D::P,oy_iHiayS_"pNj8uRBtD@{廳؆x55>7Nzfw+KcH72tC!8G+ p9;x.U] dadJ-42A$W8JƳVɨxPT :ғY|GדEŸj_VVl]8/[5qGEJcoOqi,4cNLM;Q!_`2ZR#EeJ@5d;קgt؟Րca&;dP8iϰ:5wGXc'(ߡW+bķן-եJQi ,A#d#:6WtIAJFi)Bma:O$t/XO,LֈߞYQD}P KXܠ}I1Tޏ$%6 T:RpB]f^-"#z)hx_yR1v?P";`̹<y'"p=>и-ڀŌq,жF([?:VpcίUAt_vI߷pGik(iÈQ8{K&z|X/7! L(CikGwKGЧ3;D{ eBDTQе#&X,MTY'D!iGƚ]ŽX`k٢U`ު uz1n(B܃M!=iQy sSC&(3}KVXkh6c,_p!#{ 3&0Mml=xSӰi4/IA]Լ0"-&r5YG<67sQMTRgb?-rE3>Jl Ah. _#\Ft~6yԴrï3ʖ^>vAO(Ld8߾b6~7_}r^ڜ ?ݡJ[p"Ϋ)o U)ճH-^Ue%y{=g>mf4-A 1ıT|&4 ^w- ~HI?@KV]'UW1 $csh28]*K@413gm?P̴Ԑ*,gc4}QkvlGJ$t qԹ#G |w0}& :3\[ByO8DR%"| %" DW{ڇrVU}DU_ztvJ90loCm+v5a.g|A>\']d9:XQX 5 d%cPv$o'ePVuX/}"C5%b%oaxjpX-*ŧk#4!"^+S ~Wm=)q ؝VU ryO3z~۰|L81>=УW *Sj"Ͼb ۰_7x  u _ kmPַ$Q.[DimY"(YmQv쟊9 $! ,W?c^LGߋ}+Rz'ST0qDKR00)!ct Iޥ`Q;?#9cN0fmp RLXGE?Q8G%HGt.A*xJ$ꍾNTVbdOh}z+M3˗,w-lŜ74a@K9^%jUQ8rzA*ejYa; 6(ڼ>6W%W75G"8rC?)D!zTpT'7y+x['EOOb@VjD?VB)\u\[ 9BeXpoo} |uV٘!ՅsO +|?}Eqx«k$}ry@I> X f54$> b+ǂX~Rw* oh8g&!8MEiz3L~o:L< o٩AFÁGA(~6n||^g1O|m`;C7&9K mFt*֭ʲ;Sl)̻! a.Eځ>b_3g(L EɈ2>ⷍ9 .g~"2lzJ؟q{(Q:P-Vanqy7Vv-`>@ձwkn̝Vm 0Au7)!Gʛ1j7??%g8ަࠛHlN}}tT_(u&Yća<H2\Cdmd` ]-#όBչi{AOއpO#P"MJME7J2?sHk:UyەXn7`atfL5Z$"0VNjsjҏƇ&k]8`  8SNp 6WUe葮aB2iieӬ4foH4ItW iPr#` \cԉO#$,@8v"70LxL*m~3[>RUk=b Ly_"ft/י791\}&9-ϬR*'vJ&m:ǣTp.)tʞ 6Lw3Qxϖ3 gvj2|ǴRf=%@зVh-{dŲ@i6۠6-RCrI֪֘Aȥ!q΀$|\f;BT/ ‚~vy Zi)H d·CZ#nnzUatHz:vzά@f;Ү0#q:<6;y/qM)ٸ2κ ދ >pxS0*dt1ʫ%"ϱT?~U( SY纂kP163A B薚&8ӄNh^Vx_;%b4KW&WW,MBT)Z|.ho"SE(f XDTeih2^ );1!{4J{2qo630g #FrddIzfvM+ qr}ri|OqI ^.i>~x -r\em0pV9gmnG뭔ag wt ߾=`e^Úb7 Vtca{}K (~ެX8ul4Q_a6AV$fgEgC=iOI2t^U\cPi)t173s&p4S5ۣiB@S8NL4ew E23r(rh7ɟ9-8vI'!M/dӢ-@ 3md=fI݆ +!3^(Dxw{դ 2" FD9d{ͥ:_, ǧo%/j+m؈3^^Zy)Pe'32Xy,24EVq?5<[8B%,ҵWs1Ҁ~ Çe eQBC*1nxCsq[\ R$0h 2ء=OIm)_F A eq»Q:Č֣,zČC(]*tըo`EwG/Mj_K[g9dŎ%wЄєp-fe;*,NXIfYRo,$2tONp4+0Dd;-g^ W d S{",bpĖLZ Ae3xʊ!ٝuo{ /- <;;:_SUٱQ67MD;mW0 Aӓ48:+#i/arK[QVDeSqڐ1ᒪ#+sa8ȋR\S[5K+>!F- q%i_LcWR1(Ptkj)4#%NO 6u6 yJa)*AKo:'<#!m@ƣ%7uŠC/o\門dpW \,jcIВlE`5ԪNanaB9 S4?Rм4A6gMi^H~~ssPB& +V!yz%^vN'2Oݐ}]d|WJVe_Ţo&_{kPnCNQ`DaK,0DɢgYZ7zXZִF! R]ŗXiɟޅ*-qb *h q1j'|/NȊr}T7t MݫX.F"'tQ# &+֬4%o};hiyDrBCI%Sb8$\xtw*TY}ZĿ '>?:6zdc_>jTZy)=&!Sa%7aiޭ|tؿŎ˯{ܢŌٱgYZ7zXZִF! i]ŗXi%L!l/*8_Iz/ L^Ef&yxZAXy:tc \=>vCau,&y%hh |N奵S{K]SEʦ{'9| l,D?Ҕ\}s5R4HЎ8i_zb}禺fPsqz@q3->b`Eӡ~[9!FHFV R7@Vp*-ݠX[de[\?8+V\댓ryzR(DcChS/r;PHN=^p8ygZ5 Ju5Y&k0MBq6')E@?a@S# b XZ"5L=خ{RLl ^mQ/<"rB3,a<1IS1Rx}Yibzi%lPo􉊪.?ݺF~J(үRͤT2H $,UP˰S햩/EH UKӇ6>R8!lbs1obFS+;z DH$cщt+{a.4ۏG=76[e0OM/# ^oˌ?;" -agm)wzt!^DjEhT3dmѬeawAkw}*z7श@ ziȾ|zl ZAT  7/,L@ri+؁K¾Ue(SL9lgrpהp/HKkww寶#.D4P['UγL(Xl3E]ӷQp߀Iƞ| ~%d%]/LؽU 1|Dlo yJGNn/1wJܚ?PěMZh8Aqn<ьU쫫S%lUbxjiZPY3l 0;rSMw=ZAUDqcOŹCMzY>%_}0;ݥ(AˮwVu>bh.+3k<2":,GIځ1ML,wڊ40³WZ9eGfdB\4 t# ^`y