SQLite format 3@  .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 87$< ]MSO_Regex_Equivalence:threads=2elapsed=813.233cpu=1045.492gc=40.572factor=1.297zXZִF! ^ ]ŗXf1-/6vRZ*_vs(}L)WhuQeAO>YAo=/dž,A?}s>[scx9@>dr`zJ\"$zdF^k}f]ހk)CsVI FfyDΐ%4z oT6Q2Ǻ-%lb<_Gdezú$8tK _ePԎ` GPD|`mKR~ӄgD*|poy!n|ajmqPl ӈ z=!)X']vb"r:{{JF(Rj o>u)}p:wly&"Ҫ\ɡӞbo:T> %ɣVV—: 6``6\nYD. wh *w1%gQJS01 h_nkjJ&q^'w `+]:o 4Q˽CR^w2խ9߬c 1RDե{〚B4}."NUVFGSd%{wWn dkoij[eWJLY^z/aEm! ]*;Ex8|OEX-Ŏ ek6\q}^dXK$[+q=v9T)sx$ÕղGbXc*17`N%_j6V&SG!'bPz$@n,HE`S悻yc794i T}8^.Xװkl! 3{Uͺ1to8S(*s3ٴ|-4dT9$r3"9Oƽ^] $j[m*} ]Ux(&G̈́JwH8?r<[w'vm@y O1wMb< 1mGAS7SgVE8?lS/8a٭(F,IqEԯ vFx *#pU٢%QN~L (!(B^xq;=Ta0v]>ā+s AO<.ʬ*N%wW/@{ppA$e;n^ǁD}EH9&&^g`W.޼cz3E~\E;٧OpG=xCum$h{v\&eaZvDNϛ#Ĝjc h,Jr< kY\tup\yIzc7,~g`_T,z OU/ٝBuv%7yQ(SlnCYCщBс jM-;. Ɇ]ˉ=:K|}nnlL;gm"|qS=G, A%܁Y>,*EnL[r˼`]2יW4p<9P+$< pHF Cm{A(~%Y}%A੯YQ?Kzg]}N3I E`Y%;vkM̷JN82.ctb~pw1 g+Wzc90,cyw}7"~zb?gojF I0ī{FOlC Lp7¦5$%0")cj2}!<.o :oT})D޻y,ՙH< $ث;Pg H T[ՔovG>`N 2$Tdח+f&?̸!411y0A®TN M-.d\0D^Tk,!vM6!^Dz&]t yGGZE0׬էCt1#쾎Hr1{~iOÉH[Oct*K=ltsl#F͐UOS|J#sakZ`Zjxo"wI>P!\;=vˎv &M4}0m,"vDei ,@e]\͈n\HU+cU0.:^KJ+EÝ 9̍OGk) F>thgT/; u)(Va`ϐinS_B8%=2 J OϦk]uVA*Rx1 ͘Z x-[;O*j(l%iY?v ؕٻCu23Ԥ!WD:sװ8) w5Sڿ8e{PcT(; 5Fh5p I>ԈMGh: 0`JlIxiA籠Ӷ%I$Cob%R8w6x77zv.$zo /5(c/3{Kw?Io6P+t.pfZhĪN"1E\k ŔtYgSnRm.XՠY=,( c͗5H@=qxOs`bNLna WܧۥD"ۺMVD (~c2%y"˗|g(uڎw-~b⑗0eIw.u/6lվ dR!@SR_~&=u\3 `{>+#,+4,D)y&e$')A\ 2S:ieBjV<]+/䕍P/c&qgYZ7zXZִF! X]ŗXi%6ߴz~djh;ܷ^ vgsoLqWpl_Dơ2uJ3m*YCf ;X?ߠ2%a4NdNFlȶa:9!5}3-YgX%-m.qΥӹbSƼTƣ-(ƉhK˅'iJI+U(9̢8F"dn!K_if&xh,8(~ן[ a^`YO5in7F+%x27Y|g6#YY5|| :y~r\%MFeʞI~" )7Hݪ.uv/ Xq<5`7m? Mn3NKaP]XbC`Ǩ YSn }IrlB3C2;S "ءz lpA @}€uϞmVKY$Xl1sCSUHr0QX3|VTc): 'o f)13 Y%C$YW$]m.AOhRnomfwn|ٹh!a{F#b {A>ٮj!g4Zaz^m+,+ +\k|W?G g%ٴ>tQZ4Rg>[*R:*R 2|.BU}ޢ Cqzܗ5G]s$&%V6Q/;m2 ~ئ(8A3X:veU1 JY_/X/q&ο38cE ]Gwmdʮz+ϽIr`5fVE)Jiw;ӷQa&ZCIan?fls翡SIZSw ^ oy'LO]/$y1/;?B9i5,L`J{|>꠽ܖ1Hn I|;*EGP0O#!d>KǾx}~+* "nw5w4T\,S0e'rtf$=4}c]_;fA@«K$T.|zNNrn-ՖISSS {llm x#Wz>iM&_dXdf}tbWɥZA$͂o G.w&T ս`T ~>A)Du1kܬD;(::Dfqäa_(($2&g%81jS:$ҭ# 9yJjzJzXfG3ٵW!KcY"覾\22 $fDEo+=EX:)RK <~XL응,^ĔiJ, I4'2>"y'׼6,Y6a|ok0I : YY*y~i^KәsB\5 |^^202>N :=QW> ;g)p 2x>O J_w7g{O;|*aB0: <R>WrBBp-c*Vx=:|@:nSB9@?ɹzyd 3C(Ei a jVQyQRQ5s&JQ*l9>C+)Ga|ѸU&@[Q%n.8=h!ҘV#B?UsZH2l;ڷ:I*Tyz+yP"Nxt0҈m}Ϙc1P@ҺW  *?8I]IiF3ѿZ&EM|BDXg]~%di>$z I-zCUb/GM),qT&qneIy9Ɓf*G"z҃z8SEKF'MI "W5Ml_t&5nʡbeM-vG}ZN Y)JQ@WVaBULdP{xiw K.%g]HuHu0s 3z$M\kY杘;gT gTlhp-"#?^r<۰jȴMr߿O{zTdҊ5JJO(\LЯ^,ZVbE'n14CP6<In*uXP5S}Y̾R 9@gJR%=4#ygMFmgqʶ{ ~"lwL<ׄF R{ϛ=v!ЉEP\ lgkQlJPIL7G72Uťh|4@;v| #dz?E'ء,Lx q* i[̼)ϱaRC[,軃; l5A\^@Xz ^ =:N]mBXNsCP(6?$n٠x&x-4Uj)iipS%wJŀznІ4'8^JcaCXn's>| +-Ԯ^ Z`%\&V}1~HAE_T4CE):5a7lUAB\bk}}=~ЛqVg~58b ~+3_Lgu2c8Is:%s&=H4t`9 E s)ry *ո%:(.M`jZnyNV\LK,Z:0A8fjI+j\D(e иJoO<\\Cfp^Ph5˭YX(UOxh;od6OVXZ/t6()F$hW#fg 䰑yF~2ժsUԶpK g$qGdlywɆ=@v 'g.hr;a,#e7EC\Ji~!bgbVJsVORLESl4Zۚxwƥ^r *Hۀ) `&ӺbƻgH * G ʺ`Vf{sKwP/ͩa}7ۍb:ӵNf t31psfr結V@!V3n$M&:HQ92g=myDUcR 8Ԯ']"ɵ}_q!= ݑ')[ypUCtݦ#OςB!gv&·]%d$bĜ^ԖjWkm; 'tt fC',BrRÈ;naUCKz|#Mh1ҙ1< ADnh=hEE qr4 *^rrJ_z$څgnYIzkٽvqmJuG`ݤBƵ4lF;EV2?fя`)'I9nd[q lʼn;a84>q8zJ3GR1AqcNf8faե?{3̻Y]} HDw,eza6RCL[d(J ^g%2aQͥ| gIRNXW40U +')q37ш "zO__qE",1;up:Cm-@$FrT\`>(Cڶk'Mqs\4%E[BDgF|.eĬ2a7ȯ#ɗ!n~&v>d.SHh-V=|WvVM#4ҍqRӺp$W(y- 6̜FԿwkxU+Iuy]qvBϕ k;)@,O\ )L 9ϡfM^+6}!,/AFs}C 9s$ #c ȼ"\RF%8.bڻcf[4r uoΟ.u[.=aϥ<%V,jZSpX=7 R)~( F[R(<(hN)dlz[QTl>r*ć/]M{hDv3Sl|^E>k]ؘS,ц'36/C~M'(,?/>tǀx$ AI'. f ^sX,pȾB&+0q<"?s;QqtY!)ش,a??!@$Ω#\%5H!~:l1o۷IDQW* F*1|1<bFfh~%@R e&[Cɰ$(\0 KBx&f!ͤIK{TQa+2Z nIhJ='[C\.h@հ&Aj?zi! d8^H\HA zG.)2pf>C"Oi>AN291V*˭P WAǖR mwCSDz"f8:;<&F氄0*$Og{s0y%-Hvzl_ 7ї:B:wDWDP椸BY~?zSFڐL0w>*\`$]%^ZyxMXRxDaݺB< ]7FqZQSO9Gʿh[Hmkꯜx?RV< кdZ>`ޏ7xŹ 9듁SsQ3UAHc]A=8I=$E]^|8l 3X*U/׎Bn-2IlH;1y6Iշl3ղ9!".b Nri'%Zc~#l$^ON6*'=껎&!Cs:rLfs_vZઃkLwiB+HE?]a$G6Z};eʋ=ʑ!S.E# %-96)N6ebYHZȕ<1/T9&ipԸÙM}u["4Z޷WZMn\DNz8a+lw䊲[և=VӰP-o/rV5kpɔ.O 0\0gɇ'Fiß_']n⺹ BUR[\1COX"{Z(é:V17 }\ތ\7H?, M^Y(:9tyԐBKX`Ϩ*Jrn R?>9<8Ae{:ՋRj1PHjF^8(IN2 Z$ QrN#IJ}cxu!/-N{xJizm^L}Q"u5`@*領, NY;iIu&#s{RD W1Y x Ax*I(ю⍸W~L8mz?HfvzGY0tw @W|J|QBjY" 8!ŝ!2uLѸak[ 6AJ'wv,'C WG o+r3Z/⨬#k!:H0]ƥ&MI;|vec JIEdM?`GX>Ĺcl𝪪OކqP~ _{}L hð,.MA^WIh|7}jINS[mMmj*:Q9lЕcAڗg5` C*6v^W|:"ÝLhυWNgB7$`Y&ߓ~rByQ\Kh!sw&롚W95inocD3{F%{`RCdag;Lڱ|!$2M0 "'gPRuY؈tYGR8$O& -Cg%MaZI^dIc⠸jH~6 ;dzbY:=vv T\1Nވ(q ց }:7|ZҎ1!&Q&FX#3e = 铆*ng2;W5 H$5AemWڊ-SsBG)PnXfCXoBVARnnD sv㌿:xWb@ugP0ul  ʎgC嗢NSd0ob j-C6HXܳ\hģgH}(S!=EW\1Ț_0'>|>hb'/[5MJH_NT5 FSDw2a گgs[WgMҟ>|Fsˢj)/xYG.;xI>!Bx2/`2+ ^yȼ%>b!VGsF_S”W7mnӲx@PW˧BGS3yx^̒U;%E\xfL JQЍV4W&/=ަEHEd{M:[[!A)-InV>ar'jETH`ͨ[\\K7痒UI oS>8#3S > CgAqK3]VOmouKgW;⠩ܽLz얜Xh/1jSĄUlEXXXն{rYUx2} f0."TaQv5} VL:—w*'Y\F {omE!#;,҈b6fpa(Ld_j(/xRt)TCLAǔ<.QccU"K7.4g}AQY"H[ /bA]< >^cC{Txv-y&i?5xeQJFd#C uL;awkԱzMА4} "d9D5k  r`i @C))s*"jH5p*]\:r+J~M9͕S{yxbb"BncS{n @aGhh_Xy9@)Q9Ek3Euo6_B'*K_,^ ̕㏎Xɘai_vNM¤bK_痥Wa؎ g"\~'m1vl`U6a. M}{8u0t pOFG?ԵEtnG0U tPh *ݍfBD:\]{dz{4s:A) s7V$Ehs~,|n;(*Cb=~BD3$pծcRtT5AdSOaA'[iYzs 8f82ָ&Jpga-9^^*5n=[шE1PjiXf{ vM녂䉭 ͕7~Z]zb?UBNqК刚+A'X}OZ;!ua."ʃp Yȓ|C8)F%()W:^4M;縕R鵃a Ie \|m2{#|8-^0R¸=7X.Vqk>cuuQ?fv$"ΣkXJ;GC8z=Iɹ !f1P{gܠ'"O5MZ4lQ!'9)#:ÎqvzGm+I}deq} po0e}xL/ß#\Ox~'!كm㺷-VI$@Λ3H0 %5wʀyYw$#Q{]?k䁙s%8B܉O5/ ׫bo' %Hit|&ۇY|oT bϝpӵ w+zibɇ' 4U޾nQ뽞uycvWSbqSf6=vʳ5P dxoJ 4B+*q{V^_`s2R^F[UIe3gim3PlUq ETP&g*0 QS\ږPb3kT*'HfQ~TrJEE*uu:`!%ګmFqyB%a"a\=hՇys{#e?VYv0 .ib2ꔨHA3Ԭ5L.ITh[GkLr)Ifzk|zK7(}I.-_/@KrM 9Wa0DwTz$"q_{=+6cA`<+~*70 p̏7̣$7ݙ1{>Òh0ЃZ;xfI Mz nCډh״^7q=PSS.m)=:0D]y"guK9{y k Zt)b+v%"ctRm"K8텎lԖ9zT[)dmN*9]m2B9Gq:& zVN{WwJTO PgKkvvP+{.YpQ`1Ra h Jyc+[{RP H#իxm ETdo,Ln/ :+3(8tq04S:*/0Y$O;bq`k,rw 飸PRwC[K,RдZ"6ÊjA{e7W-d6{!*COؘ?~XVpnei2l s%d+h_n P ;ȬT\mAYzw<#N 0?$MLXS1Ϭ5$u+lwQH)jyu&xcZ^u 46taRSc/؞c/#`Rk⅋ *G`Λ/`UEi'a[%H<ѯnh:OURgb"+;7(T(Pe@s#2#U7 Aqr09HLJU>4͚#9PvFrpRt\c>ތs /KOŁת?Kl u4Ƌ$z!\Ш{'S  zcpTT \jFGmiNeTblh∮ Y>p! ,`ب ][X,uC6-07I\o{e% E/q6CľYAj $ib5. oe6knU/PHUWƷ\ ` k pƧ\M#)vo4u&hj90u]4Wàzdx1ۧC'>\*(4 &n(`Np(@mk2Ef.n9u_ //&E NW\0I cF{ʎCyR|SM/дmy"]KWRMX<ŸljwxP^A .mobqB\f)1gQ]O'Q8g5tX=zKDdD892yn;ܰ8e#|@%!_^_YA비ɿ `Z[Oj4%ƭMH5艟ًPK_*ydR[5}1l錔eQ]6>ldOswo?U稘_ C(&OA2=l(i MߓwGG Wc ~g&#^1!5AeB^x9M ?8#ر`_] qo,1;jsXn 8/"~WJ>NfB:CŢG#: ëCU٘PD[(?y|_QreM];՞Mw5JaCc6:1a&k)ȭmF0(Br ԗJ9 |dg"%'bKpL;!J!&x >Wܿa>M+ cQ*b7+ZM`{W|p:g|bZ-p;탢1TܧhdQ!d+!ŸoȖxQY4.=$roj:R2njۆ ^nE;1x0)+o6\nuҗ~)C'I ɻ:(5ޞfR~&a@E 99dfZo@QcFjԷE B80MqV`{{`pD.4Q 3F.j e8C&T$o6L3GR)v w̧o/&Bt#6pkn9V rV(8ORcOKCځf>sMHf`>Ss,eC,iU/"kb Ov*#'!aP!{+XQ]R\<'[vËX]kMska^(j޲FOAr;屽 {8vx.6 ?NCc3Xl_5(nX %ff -^$oBs%rPтO 0&_U:f:;'q^Ǖ;g849\(s5fUʤ#%sv-8LΣҫ7D y =;}l:!MFo`(N1bsr`+$dpb!ʏOW'R֥ufoVԕٚ]Ӟ'zy䕤ˏ<U\q@o$@%ٹoaB:3KT_9zAB B /MR23`"i?;<h f[T)Vr YFjF>ib1f"/NK'GeILGՏdVl\ˌq&T.RMpW{`1.׺|:i[!J_DJ&t ~V+_q4$'J0+&m.aő'`7˅ +d6:f!3ѥ|"(CE?l%'kuuTu࠻Yvlh-R .Ȉԟ@Mq;:A2IW{ZGN=ɦv/4Eyc]j%JrjaH=VjPEtSl|.LO>N@kĊ)[8_Oz8cvyRmnΊzfkNe6/( 07low<gulbW ^_67]ulWΐ!_NCp՚-YaqUK?{M(&80gT^P]eNl dB <,S.&:7c͠fK/H"GVywFZavZ)Ozg[%S!ox"7ϙ+aU"#ُz 4WBcg*y;v7/{kiT?^8]coqK :>YtZ`^b-R\MrÝ{1VՑ)hآv-@p" x7`Gٔ*Ԏ'jQe(pް}iZR`)Tm zwRvB1FC'Ď1yGwG*续Tzd&47 K;x= U#M"UB:cc #VctQgn짵sISeU9 }".M. =qFZ '$Y%-}$qt1=+OQo'3NAq(i5R:dӉ]q6[[\Æ)TojCoT$*38=u? 0UEL0/x) ;m^! y|2&B}SZM f8BVv9y~,QW^G) Ҟ~BcacgD@β#E=wfqw?6{7(b`P1{>]sC ,"%u>_neW6` l]o0  $0yGRVōal6#I`?szѳcD*nmA{qѻeMT' >wKvHp{c|l[ֳ~]qX}"L^./i[k_P$]rQ0XmM ƻޕCs¤FpZj$3`4眈\ʍ"YsYY 9iufҾyD}GƙfugI:%u'";'`.fXvKc 3_FP̈(h= >Xn`pO] @\[М24ف$#U5RU \2c #srl[ xܤa vKw~*W:' 􉩮 <3Q |2'[6OTv#kE8"Z{o5 1\1yib(ontH[gAA˝QwF'H[|TۊM6T?G^[`'?JSLHn:"o\5Ğ hRGwlt*1b˫ Lɸ<$ ` -Yӊ+PZ@|k.c2;䲓gzƭ{s) r04UǷ$8EL-6/* vV IzJ$O@pm>T!x}Mke@\-KuH5훂r։MWU,;@RWh`{-Z O JK!&X:S%BWәGsD \۫9|vkOvUzb)Yٗ_"'kqcE RcFOuGW~Eds5%SL{p^c=+ #9+E.M^SNV %|JHYwc*4,ʆr 0{>qe ~5MԄ HϏߘ| iS/g;XgR ҦZO釩92ӊ/Dm,ID3&"‘)ET!Lb2jy ѐ7cvps(4E@J=o;t1dC7LC4˟M EZGϲmctV|UZc/5ZMfTH5+$ F&k"_ZVB}~u=bqˎ-¯hr  >nDx`iD3Zy s;U=3q`2S: YaVeHxe9ʿT(J M{\WPd 8JXm5X=2﮳McKZbrnV_Iq2PCiޞ\&* d-|"YUQt.NU>U+ޟxDųhczţ+ 6RW$gyqPfۑ;M()928=-dI V>탵zˮp =Jn*=aF$*C͵k DG&@+!N$;HLuͬ\\!KK f?i w$tw5( V\hY\٫?-q5M?{#芑#DBkG^\Imze$82(($"-ېo;1BJO2R[6/0+tf2R/?t >g̗pj:<ଂ ,42Ip][]|uGs;W * /1.e̬&RG=nYqꤜzcMqbqA#?`MKfs*F'wM,n J F&](elqHW> ?{QuJq˼O$Zdm*w#,g,hАOI4HMVC%Po 4sxz@h=qʐ?Ff?+ QbjT}@/7z vE⊙I=K$Ii|wLw7wq]ì>FwqqZ1O>[696ɌI:AV B?9lIѢ4j'o_DX۶39# AzJ3#Xcm5;V,RɡVH"wÒLD+_CeEr(lWrPsJ0F2 yJzgg!##(>=mPWnR&*;l h: Y$B@RQҙ5SAPCo+™{`pP\is*W`nMx ^7&̭bD=sI? ON,ru'}DcQ[u)p["\6k7'z치-z+P-wijM?JlץS*bASyEw~3\24`886+b\;'N`SA+@uL=-egTMeYR-u[VYQv w$\:1֕*wER;)}%G}pK~-\ѴJ%/T%E"/J=/).ؼ )x>9ⅩT#%gk-G_KD>J鼦"D4UY9E aU1; ,a^epF#ɐ.+A(1OYer>Uk7zŚQ)%iҝW+R67!l6m\L@i .mNt`ad/+)LgR.R]&z<.oͬ`y R* pqΎrYљ?Z% XA7t 2H98R;t9|16QBi("TȤ H jÆamt0#F ޓz+["Nt"0HTe!.X n6fq$ZC3&Pʝ-͡LI`h GzPYC;&Brghyʌ=F(W^z6ZN}˿L ;1&9qZ K:/%BqxugT$DJd\8*X'w5q jF}^" BR`8A/sU!70[{R%< cZӿ<{I,P,:#ENdr= 4ZȔ;馧|4д@3m4J'܁^ׯǏd tmv ?;l}4'Aw|{ G"H6"; =ףpTJf*U?_.~MFP}]VA-\NO'|:&3xҺTqSyURڂ| \nħ.#n˵`3]%˅hhw2Uůg أaqfj|rdpD\Y" P6"ʖVt-gl\&'tyl '98a}( ,Xnf8r&G#yRTpuCtm𖎉)oY+J#g1nk`^L6xj==U&=/%jw'c9uE?畩:8TpEՎQuj]P-8R~u j;fȹڱe9eqKU+џ]ɀ93x0oHb_J2ȋmZI˲M%TKy9Ԃ(.t A[.HzaE]XYK(̴.SZbf'5R.>='e d9Y0ēL׀ѡ;^.+eۿ.1 ԾBUY1x2UȚ9\E{Q Eij8韩 $U-JrL*$ܙi }=ۥuW} \Ax3sw.K^diㄭ#.C+4 ,8M݋H]`aU{^bOidIci;leu kɩs bG(_c&hմTUC:NLw 髑'mizGFj1_"#LL&#uR/x s)F{7 DuR~'H\bw/ xЭ]쟓Nzp U 'jᚐnq}Ug._bnn~+`Z}o1z9de<]!t`@Upvx\@֛^+rul<_M*6LڛnFobۇ7&795ft\Oţ[ Id_^x`/5FfaM|C;yIe.ĉnwS5SEKA{.?) @vQUE B79k=VKf"67%;ߡ"j~x,zk)QĢU+jtl[RUBӊJsӸlUS~ B\og4bбƙ+b?'1`poƔ&Kb*GUOV9$.&YR/J"w9RnyĖE#E׾ކQwtR? )B+p΅&(t^(XCEHW̓!TTD> aCg|/G }8MɞΫ\jζEtt-EoГbpPzV;k=h2{{s^ɋ*{\B%VBHf3A"Fa\v#)"`]1D}Yl͟eP'nܨRCeQn1iv+#<փ%k~z2;Rw!oS=uKkA1`Y|&gS &aBɦTWroEԠ0,сuQ93F_H0RfOؠksi;}?@\}lYaZ٢;7jF:ȷ%1+|"02Rdι%XҥgA@EwT-]zKakMZ;pa5C~ovlYZr1@A2G Q O)6bG^R95oew@[lּɌi<[(?T*; _f]7k ޫn}<Y;Y8%DjP!'1;Pu &xgt9iA 6 l *w ’D 9o[I:mr>ER*~{w,of#t|؏LQr>dKUJ| QVcCJc}JNh Sv: khp1眶ϋb#eIEį#KW10S=/w_ )Ƅ\PM>,/0 q"re.`PBc 0z=u]\ XȰrfcklm~2s26hAs[ {z}VEe!^W8s\Ta*Kk-G f]rPف=TiRz-p;'F_bl9(rnw$ϲjPۉ&Ň7TK8" ө+=bfA< N+nl{"aAF])=7sI{H-QkTiz[UtѶ"eGM`$HtUOi2%:ܱ;植x. pCG=q!E]uYo49Y1]2͈9r\YwbUN`~qD}X,$SٮbZ<7n L/f5-a | Ϲ~tU&_Z?&uW}w[$x-J須(1V.CXUp&!|>\'hyxx PLC~-̿ڕ)sI0 i%4aB3xah߄%z{/܉kl$6IۍC +"!&NB 0{VcvQ?,P2=/*+SH0<& bm\Ғ'xoIAK eWٵ67ѷow7/s1UAs@QKWJJ监ЂҗMVDm6TAӣr",B#G3!! 0+h51%e8RaĮeSa25& Eq&86 J.ԯ3HG%Z*k\Hʡ47G\n) X5|_~ Hרy=A;BlQ @e@4ok q zk+!T,Z?m<7S|ra~ t 7ꬵ,OCPhWPWqniQL644UWOtdfdE~IRAI:$!GJhߑEMJU(,5?WX膽oUFc we$5!0l jE57KZ5 S!B #; W_uq%/64h4>oaJwU/I-$u;i$usfPDbS>~ z] "moַ\C=qM>4]Ց 1?og,"A5* طIRn8ZߏP-9:RvX6[% i? ǡI k f80!H t46b DJ3u$ffO>RlqᚂP= d=}$evqvi/5Hg>~'\F9 Snlt= Yp̠F}2Rȅ0Q 9#th?wIYy>E0L-~Ϩ] : ,6gpڙ;7I ~\j^~R,2zZIYM{CYe~'*d;#)ktQdӼ\rg b~g]]>ǸM݂?F˔OSQ9`Ak l Ķ`IL"bvܛb #~WN>4a'\tn *44g/!-^P&ZZubLa߯X@>pgCpZhZ\fP,RU( {[h퇰_S%@S{Gof ~6Qo0 {&LJ Ʋv:rt-gNMbdG:@bII&$4g'$xHJ][6FxU.K=xEV3KC|xRI+}W|HJᡀnCqOWrZk2cR+nfyFeFk]C#<iE>@{&*(0U6]7r':\#NfTkkk'A<$X;=8ȉ$$$. T {X\R_wEi,QٮA`y-,IsÁPHc-HPϷid}Zê[XZˬ(PTC5[ c<;lk,[@'c)iJ3Q'Jg&ua><͕zJK-_jb_~`; L12"T2Z+uA|Nr۩ʋ|c@5|NNPvdmb &{4fNjp۴j8xH l:?ow|a_U^{QɋU!C;yʅh H `cDr;ֆoRD- =bɦ"94Wݞ]*8wbe{鉷XL:HM6~ gq'GVuMG^ gH[v0&ŻFm$2b( [pzWjNgOxc>)w_Q;(&9c5`'dx˥lF49۬Lh-? 9Ћ 53nԂo5>'EN*=P|_4;2*XWX~mLJ+;B)yWw}Kxۑq(]%VA$賹hbC.>(:^ȗ H# l -R=1BD}({@m\v#{J/dg|R" SwNa]ABgm^vw(AP#뿋꬝% 39΅%ԨVlnuDڸuEp߂G)L XM̳{%nr /E!vhT}bR7ǡ;R5iǾX^PvGZ҃!{dcC@8}+Y"ԝOLb ͺDuD nM5j;`]+a@Լ*qLyNI>گh ;{zz 3?y&4=+nOB1!? 7t2 LYfW~jIX!uu.9Noܒ *1#Y=M3Z]_Z:i͢a6 RπcAr,8$$9sj R#%s+-%UA3# \Y'qCI7o9wpV2R#`_N^xȚd,K:8~t_ւ׊m=uC>aԶ1E\}|z@"qQiY;;tgP"gw sBuſV~-K5 gͅy]y;9R6|{&?ዧ1'axGݮ^ &0Őزz# .iW2]4kEȊ!ya] rʎ:S$Fuq"nH.jlgmd5n(+KNEl J0p=P_ @7C\cȂFB|hR2KB!p ꢞLL-k7̹Reh,;k&ypNl5{><%cIʕ"xڈewaϙluL-CkƜ%i~YпP1Q!'~0'qa6˔"T:hc4~ڣeA\۪oNӹ>&,YAt-0@] 58sln?'Y^^mT7mB@F=8 Yi\ MiLURkg Gȉ67<K/g,rΐ犍n;Al7uj0uM#e:ghU`aM }*^6NoM9Ve;g|:oS9bӁ )"ԠRԕ(b!(m 9ul_qʡtۅyٍ)(ѡ ӍKo?cEw>2J`O4>O"v]CX;0>l4gڄ!K0[C6|vp4 7 EjQȴ3۾Mmc )zK[f$?;g0?gYZ08be19446d72f9bcdf2a842a89088d9869228a5e 0b69d8c3f70856201e8c054bc34357b13520292f 11a396b61ff67b5ec635c1f00c6f0e8d4f88dafe 1e3f3b9f42d40107a2af3ebab615eb47af40ca39 2bc18d57ea87da2d3db0a06a6e5558a6dd698150 2ca548f124bf08fde0c7f05baed9105248d232a1 2e8dd58e2ede383cbc7fcbaeff3b051892ade632 33f245ff04a4b617b9bd1dd502c6e158008d8861 37e048eca1afc2c069cebaffb562a02b039bb22c 39e24372458c0987f3d0bdbec288643d15fc5b61 4178d8263ec1affc708587b75c04983d8347c352 62db7c2f912509ab5e52563a32412f6c53622264 6a817a13ea5396c1f21b029eceff23213f20f9a7 7102c8fbd6151cf5569b2dc55155eb20a36b3faf 79f31440868c5686b204e83e4f26f92eb8d94f9b 7fdb4fec52ca3e0a01be6b2d7adba337b9100adb 8a6afd5bfeb7cf465f3f94c15c377f7b807b94cd 8cc6283ec74b19d9a6bd2a74c7cbc59522750437 937f9c9fd64a5f87600ec011fe348a83238dd506 9bdd5aa3a04f12448f7300dfdbe400d0b0c4b078 a273030280c4fc85ce6bad40db954e7aa16fe6fe a526ece146642d823be07862c7c8488392c4dd25 afee1df8582fcdf78ea8abfb886bea1d98de8d26 b6d0a023212be48fff51171cd7accff79761b911 d2bf831b160f6ea48a6f74bceea75324c48877e9 d73f179eaad464b075b683de05552c78791fcc46 d984bd91b3c24af3b069d46db03ceeff6cf25e56 daa5e0248528bca893daa43713bf4e7fcdba0c72 df7d6430a4bcd2af648a3201e1da746191011f8a f03b13c1e0db20710943bde849744b43bedf3440 f8ac88e6f8cf4d261ef5f5179023ce80c9ff17f4 fefcf52cdbc5dd45bda0389fe4a696af8c511c83 ffee0b4350c5faefaf940ad0f98f4d81bab1386de4688efe0911f3c4685119d2413b25847e9bdff2 e62d7733884c28c7fb0a292b7be70c4f22bfd1a3 e6f699f9602302a36e4385981d2a9148d31678b2f5e7ef11e1caeb68f841df3be3af8120323bc6c2