SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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   D!L$ ]]]HOL-Proofs:threads=6elapsed=576.109cpu=1380.424gc=218.428factor=2.407zXZִF! z]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb\ g-Sa딧d-_#SE3wfPTNX. ˨PNw YŒ #Z{3^+bjs/Gf.eYGcB>?$+^ йF vpkq!op{2iD9F][Wn@aRĂ|~ֵ%g.,~~nl[_O-Ju~KN_vXND6%/Yne'FS|*9StZ p]vlwPvg96zX$2-,mq7!)@Ag?3ȋFFOtTh@6hފUᝐ=^X'"S OAZLWΧ#EӮ05oz*0M!Wg R" f qt`{ VD$T\X@x뚒CAFn3Omm~w@Y-g#.'x\㸑M>i|_w#ɠsLXD3Wo/f$˪O/RED>B*e댂|Ԭ#Gk>ueHT.@P#R mngF( (ooCdh~$%_vRAf:_3}DjckNO`DG}`ߘVrTk<+erH|䆂M)P%xk(`AYgd"Z>e˷t+Հ1pXM"0XrkX  ! HOL-Proofs  j{mM6(y2.h\dg+DSgipԘLޫ s$U-RLKfܱVpjȓiIrnBT!le+CSaϒ`tV5Ah061.#2"4WZޥu[H+Ç ){/N gQ7rdy9衇.|#phG,Ql(jJPϥY(oq_ Up]"."z@Hm=0ĎzӘ9xV8'xw۷v(;> ^!JzFS_BCH?A~Pkurp|giI^VQwj [{1"aY'ۜEkoV Fb: F:jus1$`:&hQ pj{mi@a^̙qֲX99TpeM]\Glr/dUVo^U+'s0Ffq+&0a_kf!zPlS÷ mgq\6^.!u%[,'Uph9AL@"V5_n6Y҅QDK2TTgˉ *ֵUjl!u,r GÉ?#R9Ry,߹ysh3=Bn)2 FB*:De7m#K1k)FYxnDZȌB@B>g8?wpb{ dQ5熷Z(HҚ`c)Eyte>"͂ >"ڥ@۳15ql?ݶ,]b'JhC#MfH ģ_q((O7^$xLqTq]sYSy z7$m8!zifhջ ƒԔ  3Dtv%A[s-nrmrƝ3 |&SR>؟.IoDsGQlj%T}{ܲ$/1z2^槡?}wKt@gj|a1s~c&2#~d hZp!l,kQ/"FTUD7Ŕ[/]Z,QkrS֯'?Ä{m)~~Jns Qe#p&wm2p90HNz}uE'>тei2TWUf\@HygJl 4k/u;Pa#(mb Ns䋌֟D.DcjrQf[@+JƘ' .Z@-ecJ(x:ak%)B y.I+Rޓ r H8+!9 87QS9KSD;90e^6Rija>PT2~1UMWKzfJ5y"謗fc7G# g>m(7ނyN@~fQbrgL_P^T(A'È_IvCӗ'FN3x7bòߩuő+jf1 \.'>U#צ%u,IIyQLx9h[ܽ\x8zwH KҋbKp8JwVwt\Je+>"ku`5uCv$c "}{5RWYe1Omu npU|f/qOp :'g('(0 l[/ pGi-G$!U3YH'4# Vju5үjz;yAOP lCy1yz:saS<8ڑ Vt(ҙ,h.:,&|=4t:*$G0 N6 ;b׎*:wE)&q38ѻTMV" srjZLMbrLXFOnl7x/zEV>Gո1c*uw .'9i CcQY )GW,.o IQԯ-UI*nPNUؕi2mb3S-ͱ9tE|g5 Am|m Q1@W| 87)O<s"jU$'8@7Fuÿ\r9Օ.A>'E&<Ld&rV {YD}u(& Ol4a (j|Uz@D։"Ҹs!S Vlg2KQSΥOlRȦ"3h>n:p Nv,AL0 1gLJ+ۗ¥PCdyBKA7hZX ܛ7̢1Gk1:?eՙa 41l.['n2t-Ch.vnYkK 3oIfAV.?H"zx;,2.|8%W`hpD @6}e~Ň k-Oozp= SSVrh_~}G T2܁/v҆]j>.ke~ReLx;Xf6Fۢ2A|xA[(5C0= \hΈ+H} _P8ċ> .Ȋ,b5XN$(L9\\5VŔG[^oh>;D:EKyM$ͯOuJO$je_Qt3glSo88?T2۔PEA+k4'`yы!nN+};%U܁7 b3o :/)EGp/w'tL W"?ژ:&~ᓑwF?ljX$V]i d xr,·ش:.<BA|d TUILG v#`J+F [׶ej_@6:p@02:.{&H͐!3 A5Bs@3.ꍚՂHOgMm:13;^lxeCw1~o R S!Z@d&`O ە|kضUjysʍ#`QD?h7HE>"N8c,7`M?/R[8)gT}X,lD3:z_TF\0@; G_r.uzeԵj).JMjoVʭd>V~,vC͛>"*6G͒;,G_;nöZKk@ʼCnlʘ]a‘CͰZNCI"|K KsEQ=ŠYl>&^_.֣oơ [;)'ft. RKkjY0OE5Z=gLv/W$R ?+!MO2΄3&z5# j]ħ~ȝPjJE>(MEf}VW?YX۔z6kCꥐq;}ol k%;&NBk=,/xSs B<r,^aYXbO`+"]L ǡM?-,?3t@$9bM߄ج!Ux|sCWk_Ob27+OgYZ7zXZִF! _]ŗXiɟ29aoʼz[%U>EM!!B0Lu䛠3<;W;ls=JnLd6* Rv$OFe\Rb?*xRBt 7͚P1rKׂwJ۔YkÜ}I8 p:-fK|>6Fp|Q,'`PY4 MD@q$D`_ {XuA}jUnE=7lȓ B'ԡw)6&ҩQèa =6͂e%:(9Z #emmQ5!3~VnS1jK"1"ItrpȊyw+(&cRsԉ5tS ӈHn` tm2IQ啝bjЉhDIY+^ ?Gʥ"9^Ii+J) ?oRfi.3Qr2a9r=},J !ՉRBwqG,0 o9\?ߗ}MPJ)&3HA&&":bBjo5"u"/>7!RSn^"\  ՘K>Q3,E+E6pŽV=!qu!<]̳?A32(щ0oz4~\ 1\du\0A/|(4Y=qK ZkygB.m6x9੩wF;3-Up`SVE!L=y LՓ+r)_u2\jL\aHKsdoIaSc4~նQ~p9\>Zc.^e* bcƳAщ:F#w Z2t{ɍ[ 'N-2WQr\҃ѦA̖[ir\)2V6vcZPT`w ۻ@ |jhA>\QG:LM}.dwR0.cm1(f/Weţ .#)6=edOlt @)a>xw.LycXӗDQ&}EK* ZD@ROhraܟpZSlf6[p0( E:l`NԈ<ڻ–肽:L 9c"*3?9Wgc =gt'+`-4gxګO$Q][aR*K-aˣ&+u*W`Oi=G 9R>vO0TœD1NU&xxuOT~>IΫ1(.j9j)ub>ߞ:˚4.KNRg0!,cFwp١ FO\2YpqTn =fΨ>\(RA<_A\gS\#0\N<6((4^VVqĺqfdfПI 6LF{B 25H gYZ7zXZִF! 3u}]ŗXi%;%~Fl#WR;Ni?I7y>- -zʱμK]#Lk8J deUgPqls$Ӟg7ZkZ X <+-J>M#5#u~{xsv&k>f҅4gp$ ZbE켽c=<$Gld6IΊKJ#TP7MhӫN;WLaP27kp/J Swua,vytQ=+7ƯUCCut ۜ`LTU:N ;"eUԿeizKr|NV8yyVk&:4R!.eL=ʶW#[Җ3!i4Q9qd?96=5ȿyOQ~$FIG9U<KCof^Ԅa2W$gAoyarElJ9=M .8y{덛T= òGxRܺ/Ckh]J}y۝llPLM).PhK¿0† zIޡ|ZAˠx)TUX1aMtI#՗>SD q|ox$* yegz?"Rh0JB8 *`0==WK2TDg W2N \(#QmR;fCneU*-P̆[r!s*"qV4ɤڑ\鏽t~(y86Ɩ 7#]₁%ǐdBcXXڶiO5@l6PBP"佸QmUzm>WtnDQvy"7'^\ YhLۖBgpw׮AZԹ|I7L!rl ՜VK2ZgVKnvRLnj<ٴwtEy3?EK^y4V~xk %z@dy=FF1b:PS(ZX9Hޡd(Z2ݯQR-aћx~ lQ'N{KYd^2ʒm`zAwMR[2Ļnxcv}rOyH`;X^~31NIB,^fՉzR[x nMhcrۜ4$ZK^ic&|͏K¶JЦfYHYYn 8A#8wV 'Q>!sRHihu- {;{F೿ 9 L_]ih]卨Ħ[Qaw>"qs$͋s^ʌs 펈4--d0oVrvEζլ۲!GP%xY!^o4-ῼe@N;Yp~\coHV?*5r~*okzynR)rl`5XẀlbojpBŕbad)üBԙQ [/s\nhC뮌0|f1y6z)F^#T36YmD v=pljm⨩ÒmD? LUAG_(e8ⓖcȄΤ|@pW괪.l.c;/f̼ӛFZɴZLDJwٚ9/C7Ro05C!HCm57`J*?J{WP[8(TаRL2>˚yK^_Լb&O 2aZMe)`CPF+}!Gi% cTc Q rm>ӝB DV^s'e;VLf9)Ls+9V+5#/jRO $6Xs/ѲϚCI/4Yg2f(X&LJGq{JijH>:vYse NSMdh):Y(-V&v S0&MjǕ/3o:fyr-!H MʜOdpҏʭ >X`m6, bQ/0%LOXc1UdTx]c*0O|wѫIX͞$86k$0dE:ҽaYёUkVc4* ܢ"ѹρKZ?`pԴoy^sE"yYf-zX >wt'wD-4>$f`[ \20O}53HN"`ƴdGFQoDFĽ޿gez)ܔ*ZUCf\WP$Rt@C ԑRU2->'i#9p/bXx%?> iXG~1*g1FW'6n/sGoD T! 6bg: O{*3ɳ#-^(wIhG *S4wh˯F ?&ubBcȚ 4ۡASd;\c&.\Bh} aE]BɼÉGӟBs$%&D5U>zP_6vRr6_Ap3^?mpm )c+,PHO' :1OiUEM@K7AW$iTٱǍ}ȫB@Eb+ F4p@?U;;u"2ƿ Ý럙 gkxH;m{L ;I}GDsnBYeyƑb8=6+TDKb7N ZoayK#}SS)B*' ,7#z7HQr+Sʠw(UI6-Er`!9Qt+vxAyP^}dN j M]+ N䐕b xh@Y J{bI?wD el>,9Z ^K҆?Tz%CP5eX\T6暽M>!o$,bWƼ5;deVJ.KШmj̆jYhJ InvG)",XNDs8 R_N|1&) f QQ'0m|a ccy0q6.fZp\ jO'Zq$q~eKlZ`GZl2mIF}\XCʨIxyT-jY+2p?x02 4Sʥ-@Xnuܭ5: L#@n3iR]QPBHvF @g Fvՠ]. u|D?ñ\q$, MNV2$c(Kn Pz uK%l “kec~Տ~s;19Tws_0$bs|#jW f* -{ۘjH!îfk>?f kW'z]gIϊĻ1@e(.7@iu̞&J)o ;Q'qwH2|xc_JlxAne+HB(m=ӌ:)z+:7T6*< ׇ 0uLnnsb>_,QfO;|yQqt"̱9hJXD +J'S'tz s;t7wXoqk;?^IE6ݻl7!XTOa^E9+ _P@M{UO.GwHɘ̫j-Ʉ ="Kj8%#v֑Z? weh@&V1LF, 6 ZI Iuq'Yӱ v^{h8%+T.ڣ-w~ɜӖSLo?цXŘ/>7p,YF[:#*=4ϫO+1 yV|tKE8h3.`xڷV{8X?DM!=#KPS)mLh7}}hiHfNVqnI=@!"LmvPye(u{hMe [5em>u(BU+qwwïEABn@Ћ9(|n%?uAOL܍|&rᄺMc5.hl`M1 *VceI}_frr:x/UQqH 8_3ɿmWe|s.@f▫u^KW~l &F&t7GW3C<-g5aW4&?94{4 (ׁ5ᨴ"[Ui< jfi!y˱QObs2,PtpIAOR8+ >4A!%5#VC/3_\DDXCˢlg|Q o^ jϛmɳs US9~/B3KW9F=Quy'q,J)R3 +߯@S+o$yό&*zQaî{T. vpw-BS(w}DZz ?(* V# 6}VV`c35g+Iօԫ N }M[E͈}Th>m⿘=*CK3 ts$6a]SC@89W-Yy ?r +# iFDB<_x~ :&pgQ<:˖SO50J g%? M)É#<.bcZ?ty `zմGS?u!_ pKMȭm#k|=q6H7{%$Q究'V@!^{A V* 2_3[]sq %KeP=l[ o,Vg1b~|ʧsBKٶω}e3zf3tm`'SOȐ\9QwRκW?<92qx|yipI(cvwc!JBPפ Sb4s̥weB;xϰmmiUۇϔq$)ytn _ԡrֆ$"Lqѧl^!#2^ܺoEy34wFv vSB^ʠI|b>z>;L>21pؒ2$-2LG #ފ)yoONH)=yRΫr : 9W.os('pC% ) VZў氒8 Xb!rȋr; pYf&\m>h2э*}1 7ehg`pϟd^M##OՂJav`9P7IN؈@eU.5G΂`n;5?Q7#Y;Omht飺Nqι>;NkLߴY'7s=Mzycy2.C*n4cv(ulIXD@VvEy~ՊB&Wg"&~?kd6Qqt62CZ>=We A' <ROr3kEu#)v7iz >H!4l;rzlŝ] *šAI[A7LV74V $;V3X }8I\dm̫iEp{hj3l =ۛ#XHTUqjT)_#$N2r|:M\k`u!p ţ9Q϶,H)'~-LXЫknj}N`cr8Σc}>i~#u/Eo4{ .1& sid-dOA/{f$Q3lݲQo-L˦w>b pDlfjm}}Knr% R$rpM{JD ^+'sqiKyƮ1K^@X X:bʑ)AXkm-gZ}N$^J5 [R;G7S=ɂZ]%T7n@ߔ0KPs 2t;T[ȫD=gI6~IMS]N ́M. o9 owпQy T߷WSTv:;to.YjUI)Q~ؑ,Dsԕt>8~JoM_XP׳9ym"^gm)<"IɆ+36`o(Ϡ)2kn q}wTvXs_!FgLvR4)8ruc;?.OSWƳvec2Ts0w48wYuB\ro0:1h^u3.cu?:#z99OQ*M ;Μ 33B@ژ-eHhsUt :z7>a+5^oSIjRɕ41Ԣ.vؐOS37NgAg]1{< 2KzlpgŒJ)Z ..}3%WG)`݋M` &՚Gxط%he'Deyja$UJ5#ܔO0_) >AMoB\.s}bL@Ds\>0пn[ i!z|b!8աG ƛw{  foP]t2(gv|cߺrU/_ا;f]lxanraQG>ǝQ)c.UT}zRBa0<=Fu/>=RR'F9!D+m} j~] lh<L.m<~7*$ (x:MHjOr1:=[J3g}_ "T'Z^;m-կdHU{]U&/]f:>/B†C+آg., FTD)@wm%mװ |Sv/Gvvбg'd6!':Ja!vmSrz->SYE?KjLC>SHXסK-[=Գ|MEͻ،no pqj(0]ѱF(SMWF|O-;3-ݠq襴!˰-; cCK{n%2aOPeQ8R\ʺJgRp!۔02尡 :֍ըAKђwVm[p鱤_Jmc/Lrl0/LJ{R)(.ZjUϫf=935~CU, 4/7ˮTq"#(5)egIˊ]+xmO7g=:*ІiﴼE0^ 푏c%'"u6zvϰM&CIƔgQu> .n!a/U^z&K1@1a]69-1(ZU@ (\_'h3]}8I HE&cY+H@i=< )FuM] 3p<2RK|kɒ#X&wcOX sF58FHe@wHrI{-=6_y'&MtT< &>ӹqH.I@#܆ʳ@S^%iҕ]\vYvSL#b]h|c 3{`ۆh+9EɶO\ Dpmτ` ^U0u.ڄ)$G+kgr%ѶHl Me+qIL[I"lbL ~`0DҦT6zw=PxXԽT<}@sZ.:4rBre|bљ EPkY-UH^bzcΡ1~D5fVRt^T#M`[ۿѩa>y vw&PL*0`)&[9HyoC?l駥6rA.}H){L<=PUҵP(ԾɘE J*B eT3Uفe1ҧxd Ѱׇ1yP}TKH+C띤ʹ~=b*C1r=tîh")m%NV`z3pU%0q8MYo0Svꁋjz}T-^D6!`BӤ(`nT} Q.)܇g`goi>Fe (U8쿠zPk;sJVHbW~cPb %:`PI&ֱZW ޟ!ݰFo~>>v)Y0kr<,S#-G]+)>9' 72lJiO>)gqG[wl6)R @$U;jsy}VPzB-\k|dy+b%/Z vB:u5B!&-Y;%#-$7`ݎ8BX%OhV6c-FٳrsRUo  ~B~v݆14x'y͆ wk[$>^%UQR Wt8)`kBi kfCҦ;NoX٣"$rڅ`߹w]ekN}/ oA%* Qoev,Qx > Znv͌'Dpo~Ko.ffc”gY{~Qk{ȂZXKuwXmʤd>!IVn6ًevH@Z[:q'|́a\Ұ.bܕr5IBƝϝp;k-d⽜U .%tv#' ֏A/j瀲ߨUż(>/él%{/zY6 wоicо,8Tj:>|wfQéQ{G̯,A]udگ q(c"L hu1 vA%kdЛ% +0C@@,&\ /%F+"hbz~N5 УP"Kbb=%w}u ^5)<_I#xS/g?ШAz[E ӉpMY[{0JSjGy19!= ]Q))C)ddH$O2j9![4|7 Fxk$cM_z&WG)5-Fj8^&vv.e9@06ݠBAX%o[)+$TRZɍZz!1ЕE#ǡE(L <*Q)MIG"*gvB@a4GuL s}g<^km{RKٔb3{(Y-V<~SNN~K_0 Qρ~۰ KaQ3"yk?(mau)o2$^ M;H Vgs'e`TcXb˳K ݪ_qCkYj]JG]COs-}NuST*]!~v ؕ&`h 3BnFBgT>>0rj굼2.G;X|-ɲR}DRUA޹t;IwJr]mS#i`/ oWU1&UU8:(crdy Am7o}rdHGCaFPw98%d+NJoE?`!Ŝ=uhܻɍ]uY˥6J.$z~H((1D33ƚv6q%PՖ] xCCPptl‹&.^! tn˰(_Bh\mrإIEH}IA4s` 좌Ԏ9aEj1!gܒ3ZB|DE qIiwݞ 6MC4'SG>9ܷ>y)Ζ9$~e&wZQ$jSmA;>Gs,r(S'  }*fy@Da/T{~U2L>=q0qԽ a[O|s^L<,3㫂閹1@66AlR: \ 9RINJ{fda~5L$'=Yb5 y̷S⤊d)Ks S/aJ|.dIQ3hku 2dY\jg>0Zy41WA#||}ۅF"JBJWc(dW_>7<<% ~Y"{h?= ìTQ×KC=PiCKKA!&3>%=EdZ/>$j(F#z@<͚Q-5}H@Bߵ3eA- Amg)ѽArTU2-:{{oF}#%Xǻ^bV?EfM Öuu{FGsl m pӵЂGYdT9ƔNwu&1}6H8i#<DȦ{6+I&a:$wYs!t1:|QŰH]DMmXgHufipׂUS0QFX(ure1`ZKOGҬ- OG`:檵2fE @2pXM=l3e}Vߦ^h{ nPg,k~d-qWDҪr#UbI%-XFgpWn)7GF[W^#W0&?tjQmTd! .8>f#W>?,GW< "\Ɯ^ S/>!9x$^8dv&泈*ؠ 8ʹ6ܲG=Hݗ"XVT+rn{)w}8Z5w̴sDI%[i){h㯴} xiJM :1] bB討 ``|=E1-)Z3?ZmhҨ$ ZphH7fE8Klb5@Fn oa,0m`nUNrKqN UT Z^DIarhHZS'CD⟒N;RVlFVUɫ^$vN"+$[=82^7uk#bsJSb2gĎ7o͙E&2N`7@{E`.J&j5cQ6ҊD?5Q뀵YjP˝" C.lM~P&Spoyu>l$;BeF@6v4'1~EݡKhtGV S?D`h.Cckz0 ?.+P/<.xt7f?DPD;u/H{zI;l}EB";7k%!!2Bbr H1ғKrlCG> MMJ Q cGEH1~?w:|;S~Ҭ&WqB(%ON ~HtkB|EŚrO㎌׽{bE ,鴾NJR^7.Y&"]c#'9@6E-mHԅ$Xs±[Bflj;P5.rd@yD˸K1'~"%~t+f9.y(^Us3g2^ F;4A}?ٔ&n׸0Nlo4XIW87؊Ö ljr9~~#^)wt%#f4p֏{%e?/ku#Gf4cJIR y'n0Q幖|-LiӐjH<73i V 5Po):DAoX5lC:3䁺IY]EOFR{)O௝lBc9v~k vQU*IQ'4gF&|[Dz1!Σbyo-DH#ew_сe+}cor+ڈ~wEj3„D99o4BY^ />td\i|.l_9^8א6"BTQZn;m5}He/8'YҘt m4@'4Cwex3W},Ł'<=`'A%^b@z6a NZ,I!1^$`?4V)UK$P %d9_?TɷjR[`Γ{kpNZ¹㪦b 䍩^}l4TQgM7r=k[g$]vJaI܆->ܕl>HC0{CE'K7#1j=,#x05EA.$wO8&q!`BNh+dּP! Ƭ=y ԊmJO6BZRwlVZ f=ɤj5Ql /;ڵo*'p/ZCKX}h〡; xk`j̖~V^{*:©GFO/,-_޶9FX\Lӗ$O5""cR7߁/k]5V3d{gB2 VF4N&DUww1*5<v"^Uf)8=-E.b&Z2mehMTшʬ"^ ̑9?m:ݑ|<w^M\sm.Sa6O 3aZ6رzLCWQDM'\%y#Qh2m[?:8hp^uP`m~p@Tv W@9Щ4u-܀A s49_J"}f>|afOoIe{%LdekOZ/UZABS("Z II0eaPܣB|e0D A) 'B&A!0r7slA-h1F c=T&l#? ח7k=ƈ@W—/0{z|%f ~94V͊I83iOE@P(ڛ}N՞_#rjfD}p4)-XD3ʟ'G3u2p5#LXҩ=#.YG`l0!=sy-$,υwgm.N L|`$VKbn ! _%pq*Y}|&>\8$vPB2.ci|lD-iM(Az8]Aw!v'֘u!,Kzq7gбA5AϘ/0]2b\y̜EjV㮵ɷ;= ,­3XOȱ1yX2@Loyҁ-XXJM%I.O).R>Q.dZAGc3Le@B/LYJnfŧi7B ~p*(οq<"VPNV!,/=漓{h1_ggӾ e\"P޾-qSb#!|Ihj5j{ \7dV~VEy95:%1nMEn|℟+qƩQʞ c[+[Q`m l jOL(t{>Sxa\y(rY+Xg|Dޢ~q29]ǃE iX;-X[ÔO gp !=1%<+4C eoSɨKz!+OEgd@JXɻ2q%+1!duBlJWߴ7'xTiB $lH!drۀ /CŻKUZ]2 t_36gBA(a*g0X >4jhnS摧7՚Si>Geighrܠ2Eה @4no)p9׵b}r$F$^7:Z}e 7' u&Soի،X!t!+7#p~q,KtuL&\@ ,ң`q{zجD̀WxK;8xD{44J,A+eY<.]:&YFxU1*G69| z0׌ssmuLI%d́sCj:ndȻ[{ <ѿ5n:΅7!2:H"~ _+7D>^B؎y~Ixb&5tT4_˭`}i|' arū{%f}&h)AMNp7zf L|t&뀭Қ1$^;R|*נV0q\ ܢ55ahuV]kYd jm] i4Ve0*; \IBٿҁia( P20|8daNAǜ6=XI'S@Nר_"*Sd(da]vptt=pLdlw1doi7f_'D}d8"N~ n)ŸlqcjўfA*~q!KhKWF r2g(Łg ;8m g)kGf #Dȶe{74; @G&W &ٸ.b]2#,9R'<$n/er$w x_qrBLw-6 oT0V2>1۱ETNb/,"bewNI=9>`𿥏€bb7MS': (1I1(p]0 ! mbuO~ˀ͚mS&*tHOLySu5b  ѵZ@#| ^c #hF(.n2aٟEdANG/k7X=9i% ٜiA3|.JEٖkD CJ?#T |-  Dyl^۴q&DHHHE`aM4q^ }6;j>^mhql kL}WM0Z]IGה58ľ C v[#k('ocXLsQ?DB)bc>'WtLU+ f EA ,$G&9.YP{6BވFbT=Y~ҡ;C:q '9,ɨzi`OASw0Jum \q,P\G/6&Aaܜkt;8_L`1 Un\& }/q/%^%\rgp9P:XQmE(oLDv `>O/ ?}0 uvs:Do){͛t)״q1k n,1#caȽyKYq7]Q#ԙߌ-{Ώ93غYq)+? `0t1ȷh.bgſP{EW:Hd >bSٳ!}I, o@i\͝4#deE;&dut]" 񓝭/|=17 -A8\8Eꮁ-dh8B]m5*/m_2x<]aYQ)6l BE0F{8Bl&'4JG6Xد$o 57>-./tЅBsA$a +.4֒_mjCK+w@Cm E-cLW$ ʾ뮹 kQfZKѬg)rF9 "c\ŕ%`vUj2)S~kiJiHNw ͰA, ېaB[uU4p˷GtYZizv+ ӌBX"-̞T@=$dB x.gΏ8jK">x#wH<1`Sh7^<*LPhvZ6D&}CHK$pi`z&Ju12jSP:@6pXH>H\퐜G_)"8[G%GTT# o9|qLZS–LRuv|,=$ _?}Ỹ/{ yY!\ r }eC,o'BC">z|Z䇠 5m }_5S#_i<5јP֓0)ɷS@qcA swο}s>ڌv q+/Սi7ۓp4PY[E]qs!OBܟ??H꛸Ӷwhb3w־8]|631o2@J{Pӽc*]S?XxR[&i]=nY#M^^'xC^Jb ŪyG&pbv G~[g9itǩh|hiBӡ@T|Y/^}j8]7FOs\50j%>A Tԛ=Eg8xkK''īpXz},ƸJTN*T]X\xE^Z Jd2h5Cѯh_!$V HIqңL\˄QjKmkZhM ܾf[hp_K !'4ccjKf| /wWl9ĹãVs\77 ؖxMj&s[RuyIqY88UL5e8/Y 8@;i^O"_/vR=ǍLM>҂qSM.>)0(*'%!i#aA(3+YŐS?`޾ q]| "RevOu?wt2tz,9bjJOx1MyTRlf1 -~#;).?XBwY~MJ=M2>ɛEYheCҕisFsd~90Ş1qf$B% Dg}Us\^1_v 5Ǫ,Ptܥe_r|KsHp8QAh Ǣ ~O81Qk? 2kKKl$KYw 0.|s&twD'$CUTTmd5I mjQpda$dHp+gfuu)ՠ~aė_9P7il$n4бKD6x8ӝ^.)EX^{.Y9wo[hGkwUvqbHFDCc ˛f*B%$R$ U-Ҁ@i $‡J뼍QIӵ TTuh|"rP?H&K{F">iX@ϟB~7Tb_[3LN%ZObe>[ 6eDa积|Hl,qbDl+"C İVR QYcqIlX4><$Nlzka ;>$!TZ]R!aM퓼uѧp'8:Q PH:\ 6$`}fǀT*DMhU1Qcs S|cJp/`i:8y@u˻|&K#`wuΞ)%wFw~xq![kz{\+z"1]FE]jfgoW:lu6 P4+v_8Yd1p7 o?8aɨSLEk"qЬĔmzk\tNðaJ-I~XV6J U;ygi`G}{";H8aAĥ$OXҒP 0,R9OG }1n]\*dt4\J*3jĦj5ħG1B]k㖰Y<#<u"5["c$e0PfW©U?|*E1P}%FP6׈hs76M>?S0w–Hg*%L٤h9^FNc;0\r!1Γ95Ԥєc5F\ɫ"ǣSx}BFNIpBю]xmQ]t;ֽ9B嬲w~ ߞ7}:t>! S}~⸝ DVYu^`rYR-&[6D>y[iTV<6K #g xH\y#AdS+z#H?ؑZEG%4+Y8#k׋BW[t ޜ<26~ړ.͠`n[Px>F ?PM$B_ﵼ\{z ,=4C\MȓZ)$|I:ԉx?} kED6ghTeZ,}Jh46Uo;T^ 1*6jeA;a %(7OFj\xCJ52&护f0zV7c0j /Y cˢRfs| LQ'*.`hw虿Kq\zOoeH(!Yd#,ZT-/t C .! Rm-5ӌpgps*3)- ub~2hYá&p [W4ãuiE).2+ d9ima h`NMCV`W[RXݳU 8~.t~vVx/$FeQ׃?:OF &aQԤ::ԙTh!rZE)Oە9nX}66yw_ӏX(C7M/bjqy\$uion뮮.wHb y b(!8ePUW`*4j6);- TX g*l+D ګp▜о99qcI$ =`FSkFl4j4uHolñDPꞽJ{TX2fdqLd7DeeFKeC\6^A%Rjj 8ر@2+J5żn g3[|ʯUNCٞvG_9~q-ڲّ ?~ >[~6Þ3Zc>EHJ4mT qτ|",Xa nᥜ#tW(qeU$'i?sg\tMkI(E+QBF)l$Uq ꫭy>_P?m އ ɢԑ3&~S|!/NV{d_6cSZE#n= bBT_'n2_|f)#YđpMY6 7\YD$KF N7`bse=ݺ!mΚjr3oƃ#9[*匟1 ԅRg9'{Khy)%ACJ>wkM -%MTA$, lu4Z-:~9 Q ]jxi3 >{ŭETw̲ 7zxܝZ|\gL;D>Hٶƀx/k"|n!oG|?HLZ:HYKIRvw&ה:ȼdᥭvo N ݪ$  QZCy@!4;I8YCǼ 'hSrЈlR^. ZLXiXTC3rrH}Y#fs vlOk p,ѱQA#Bӗ /#Cu#YΞHYl+{W *>6Doahnퟐ5T,x_M}g iq:q,1L)! xߴ߄B\>}Du1CKz}b>mc߃(^Ϯfru7:aszjyMbO.&4ާ R j6IQO#h/x)e%a&qr n#hc}cU_;6e\D8 : dn.(~qQ\5#fM..Gs*Yrٔz`XQ4TNcz;+j%h`&E aeȤX ` kI=AP׊ ߩxŲW2ӈT=!x0Qeߢ3g]G"dx~T"EThwKz0i7*UC81x<nnTK&/f/Q@.GI0QЊӨ,/Dm?,"RrbBSˮ3]Ob΁m|5,Fgi?0 •W$v!|I.fo+%K_ L' =m^7']PQ۪&Q. OC%CeQTP\x"hx}";nU67AAS]|x+=~Q'K@w.մf.y#n7vܫ {SWSSl܏Vy ;!9$<}l"2UeХJ]KCyEzLq wg,+ò6y k9?p|=Ztoepqğ7;F{IbGF&L3Y3YrPȳ U7\slRa:j֌5O i DW~`Dhu :CKvŶq?/6ا UyD)R 3bDdqQ ifj94J:HJSƁ r@_6ະx9șMcs f(Q' X<Y ɹB\haE@Y:ƍ5T!~'̭ }w_NaF%  7F(Mw[)Zi !P>`jlo-Y/RDO| yqˎܿ޲qt)wd ZfJ[di` OH^axaZΙ6LDS)"U!5m=8%)Q ʓ)md pu]_Q h޵{q\,k^2=I %X^Ӯh]cgi.-- B qDI8 ndC/ɍ >S.E>Je (= ʅ՜qO !R.+v:X1H>FV :AYUld?ڸ~שjp8{YN-ߵYk8n]Ag1g8B 2'^ќXʤrgrw?4h PZes"b`0$Vēw@ٷ :d uHG>ABR s =M~'0c$_J# |A|"8b*{qJZ [=Mgq7sSyWݮS 6NV[N!U^J;񸬐zh3zk}'g vD*!}v?jꝊt$Yunn9ہcQ=%qU,viA?p$`.#$Tgl(mQRzAWcOAOKĺgGb]E~wm&|WBǛ`R:PoN9 !+$y|[PkpDbt{j?mh ,rdA8ᅏ,I۸|5$%jD|)r;4``b~JI3ߛd.*8ei7BuXkk'