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  |% S]HOL-Analysis:threads=6elapsed=321.299cpu=1380.428gc=85.120factor=4.307zXZִF! qHG]ŗXf1-q恈a.WT= O9x7&f*Pn sߋck!E^FMӍD͒:NDv2܀Bs|]=lJqrSbW̅&?>LJX&S ڀO`erP?@4`tiI.;̵(E9g~:Ą%1uo)Ǽe)=w@{eF:)5SA?Ē}bu4`&Qmn Lh9T&QB2Q'Z٧Veބ_/ly $RnB㴩}~m]WBOaF阴nf4wFԟTNV\>-? gV& $P[+g79Dc_WBS.쳏ZD0]̉Ucw7x:f,6-iv󕠚TJuoax֢7X%eu?hX&dp:2X={试l]jú-4H4*TEX݋6\:84?ge9(j9p;mru5}%p`X5mZUJPw{$כHqK % HOL-AnalysisA*֊g ~d"dXĂRm =|]Ḏ_A>4 lOhjuv;Z,{4/W@֌ixzguXtcܵAYg}&j8c@0X1VH?EJ^D@LڭS NK\?.U2 'seQټCH"Ғxqs^`Qg:8= XOF)B[Fn'd<|n-գP 8h:̥v.@1)NbO:X5~_ݏHx9\DGm1$jMg.Wأy B~y;6pN/, K[O<Ǻgwfϰt[ ؃v WѬ{Е#'?~!['4XT;^lQ?e NoH!|8ͲB'o!GQQ %9 v6}ɑ1\d ˷]Ep12HzM GiV@iYâ/ۀfZ;*܉֞g//혔i<|ec+ºXƀ(niZQg.&;`.~_Q¾2;q'5@b>- ft9Bj(` ]|έWc߄ޮ 6JOCwH.t1t\KW)9wo\`Ndž[ ZnH9}2[&UN_Д@)kƼA Sd `FbW:ʩFbȓa! 7/[(D6|MaM^hzk+_Gzstf,p6K+;|:Jl>f45Nu!(C}̯?YsG|WM/}yC y~U,@TZ>}1Cdqeg3L`N6ՅrǔѹѬ|iٱ]—n+IW|KX6l_ Y{@2˳7F$1 z>U0؍'L8ήna(o|9wX5Z꼞 YwWz{ox}^AApHɌU:.Y/KZneS"p))2Pw !y=HdT[M߯HXD#Ŵx+=7sSBMQtCIBD|[=VCx-p`k*ԍ q#? Jr-~NX-$JXXI{eˎ[aaQ۷`䋪}|\Aune "=,k A|; ;*BnvtW,[@)A>;٩q掛̢}@\#½eh~k{5MtSEPi.T[Qg*4miX&졉uڲWdt28dN<R̭C[93 _t7~:1ʴ*/w_Z3[4cc%|IwC9f, Ug}) ;mg= P#Bum^jp u" XVGL3_Ůf+n4j;8[teonMS:}ɥJտ]'29\߲'}ӷoTD?bXr%Ǫ3V8f9Ku'-=vxA)6nJe͛3filxޠ(-IMDTN;\Pqc¢~vO8i.EZL@O ^{m|8Esiw&C[^L:M ھ;_\:=*Ԡ^WF*m9/'W [w%J_3tK%E5_XNM}uY391{$z*fP|jz_FR&QB3RSCg sq4Ԝ)L_zNjV#GbU}$ Ɉpm,h#kʅm{^ PO@i^Fړ׫.IH4tST\4o|O6An5"otx&X&GA,yi$гSS ȱV!P焖Cw9W E!X^?so`ˎ2%akcۮXh ]m1(̚P7Vڳ<[szbw 3wĂP 彛*c&|??8p77Ĵi/v\'um,ъG . *(!#9e=C-@ܙC#pv 77DWoYP;r_aY764ib%p wNA1=ۦ`#F,"3B_͉/! /(̠ ä_b4d)[OC5IwA,IT^ ί{0IAUZe/[D&Nrp, 8+@0rDtg-.r&Op&*ފѾoh./ 2.b,k >l-{ALg qղ|2욬uunRJ@|sfXs )rLIaDvD≂yӟiŬ}:~tZ"yMz .[(w Dwt}5 B 8>ޣ\ʏج9Rj5!M+X3KX1\J<]s6D-JHWVA>5sd؏.vʳ)-**bw K-"#b> W|l_0ިdk}XT/|rϠc!R.cP2ޮ'AKp}T*ݷy7DQHQ"}[nY ;_sS`H^ 0+ ҈uj[Kk/>ɠ#N,9+`šSsEwgF~YbL<+l$6$B10Lik ئdr[آvf_.dϋ|yt1!\FT2,ǹۙTc@t qb;tÇ^),ӳx4*M5PtMJXee#*p;o# Q+CƠ?:UWBAC벗aƤ`v*h~`d3_dlAϿ!Zꇥb0UevNaXDSV w%nmd2ILXKU.Rįҳ-WA>ƏܤKk1POsjϧ2C%Lryߖq(cHJf3z2 t P ӓs ?oB28 aʃtdSwzIl0 |&!?{VO "M]7\P1+AU€TR:'btH,UƽC~IQkSM]PZt%B%7x tAu$*(*6J. )iVHC_=.x Z䣰Gڐ)U/s ??/!X 0 )dQ?|zd"?C\?# w(AX. _LN[ b]z_f;UK{"x]`B'bgf{+p$nLkRרjlAs5dE2DGD'eǚ` 5Ҋv"~+2qk;G '$a8 WF*2U>Qҁ*`~=Ovu=D5Sck5vAj_T*/y#]V sL{zvl;uЌBiޅ ;YiE^ UV3.nyr{ҡ OÎ ̖Hg PlcHw+?09Io9^qR#@Q[D R6|r=s| t?@nE g =X6kٗK_Xd5殡7}$&ҎQƓ[ؼGeBbxCyr|@ И'mUnW5v&-[g!H&߼R oxdgU6i烕u]L觕D*ф(XJW9Оk̯]]WDWDן*2ctmX{U~?ՋOc/"431'!7~{[,b[tI !Ng)#[Fn¾?%ڬ8 G~=kEvKF:Q>:`Ā--񋠪ߗ>q;sZ Ucf݀H˙+&>_wa({h3KdI-1Lgf2^]sW&=آ#, ȤwrOD+d;2BQfϐNtdRZ;v,og-We)1XQaR'Q ҇H{DAs#V-wU~ā=[V{U~,SA0L܌/,,OS@/$;@Ge؁~ͅՏܴם"O[/V?hM有 \ ݡ~M&j8I3Υ|,"sA3r7;(?Zw)}*(u/3lƵWI@ !O4{Z҉"a‚&5 C=a%hU!ak/tx5 PyH15w1KʊY_?$>!t~}#Bٰj{/2ތlrny.!>V#Nn5䧤 ߷||G$\~!Xmw~#V6]kQCꐾ@v틀Dzg2XEJio?-)Š{GܢU9& 'HYuyBDD<؅6pIw.s.ZflN_ PS%}5;~% ?ĽU:)X2]Q?(]ŷb@!ggت,|ij7q vg *H[_P͍0@Ȏ!8D~EH\׏NnJ6ب{LՔikP"v55gr5GYsIş᜜=W!-t>өOɯb"5=3,Φw{jjEu `l)mI,gѧg^0$NNQxÞ E]Uokzgqs}B6ሏv/dG\e$ZЂl Ww!=RR|oaEl%^W1O{;&&;sOÝ`A46Fshb5n+΋½b5Ĺ)(ᨦE}hIe/W7w |jel^VG>ftE ]~؟h$yUje8*EbN?O$>> `ZA$Ge4D%J)=qfy͈x@ gBeRZ\nvB%B}9җ7:"}|iuqG;h n6n`SfNl%x3;mU9K O1λ Y(Svql`m݂ *Ӌ9Ob,U^(Fl9-{ߓ)2 Ăg6>rRh ܪgC'NVCjs .xۀVʇ@o8OpaNw=Rl9c/`YA{sh/*R#a,kYEz:{Bn*? @eA \mgy%%86)C&ؓBٰn5ĂMe?X;ߩ>-Jђ~*oA=ytY=JhP89UHTOR1btdکeR 9J醬lqn`M,kYyU&+QC7rK6:l}˂L/eazxJɆJ@dSArY8[x`$2_iuDff3.x+Z5bI-]( _p@%~rmqMW!\]WO#!m.v E |cCǦ$HQrPyh V߃0h_14 Z4ÅAͲCP'J%_py,$BYej]/pU Q0>tF b3rc5*CG9Emw:[s\x V徻ME !it!}y靮=#Ty?Eg\)?MFpvnYIbz'~ Ziaa+06 01HjZxru{+ QoIPXdxUH=tvCwӴ0Z..*Nw~"HUt9 "F\QNmd~vL{WnC{g뻩='[blG`ɚ#wAegGCy? vٰw)}a0l8~xznЧaS ݜ|y`P5J*C\Nbf[şNuvE"#6&0~ɔgW٥67֋yaݼD#!|D(7J’$uU1mL7ovr&'.`ށ._*b9ݝ@:֢șI~1$} Z~d Km=JτlnKVmhj:gb"h•VtmiPxw}$8̑{{۝7[dl[~>auVQt7#=:pCDCGge./}6NfO* u y-*>lr'͛D੊]?v%nzNe./YMfXBf7Ula͞ќ pSp2HB ů*nt4TFizC}hj/C_ɉ V棒޲{WgZo/qX.qg:m!TR\3S5>k3 fN+FFOzII ;7ū|Bws"p)-g';}{=+˽[+ 5-4?C'dM !2Kgك 27!K-9ɠFʑ_1.րwܷ8UmMR阝_@1K@8gmR@iؤ&+:ws]5=x^JcR"UxAǶ(_6i+8g X8? ϊ)s\G^2*j%XL%:+Dh *l.tjhtQ4>0-GgvttA-98+1\1e RHG~b)`S:v﹬e·Vw;v0 -w>)BD+q3-~((vB N'7WdhޔdNr0ęɔievaO) >MZF>C}ۋ#d8|xԼlidh X]7fdKB%zYHdY&01  [`uHb}zITHA !Y*zA== Yzl1SI.N$d I :eVAdd:|4$.uX~xBw+zeyJslr{y7w#[ z_Ӹ.`f{; 3q?֯.;4 !,EIĄ6"LQyi"VVɾdrh]D"5`OoeGRMאކ۔jz)IApq'lxeA@|t}i.sťNL2zN=TXs ruWW`l<2ZQiw"k@|yIDbEOKz¤<FqZ>~e¿!`YؗM S.Zn8ѻ\xgZC u[!pwWǮ&KzH3Bݞh%#_Wkr+>bِ1`;:݆r3hߡOuЪ}#m ǎTI-P g V`]o/K.%ª5[nẻR>Ejj1uf$z1{у61(~J%ݹYqLRZnfIpe&*ύNw[_[n#Wry/lT:|MkНJs$`d-" (@<|\fQ`vؕYx>^9_ ou \{@ߙ־qϲ sJp8m蓅{-f|P~7qtA#JI'[jcuYbo"ywH2]iV?n:W$]I6f?^xWwqf|;Ŧԡ XhXčqlȐAF'6711-P绾z szUkGD?Ů' n?J" zuĈ; ǭXBol@_q¯zAfIwfKF@MNbC4Ҡ\3DfeS׉N-%쫏 P ܟϱ_= L"]zVF&c tldy4˘?}UˤJ|>tl< Q$4>oLpG9Fª>Y{Hqͥbz*AK@/Ac$ r'X9D"DhW)0I9=u5Cyjy՜L傲"Iǹ4|M2Bn^%|#SҳQ5!vt)U颪2GjUL̼*k;u|SX"ڤVSh[T-_=u!&lCZc1V}H2#*"]/+}c,wZN#(:ГF^v䤭A D>C@eqPl%pT"Lz0X!֨2o\N}xWG:EU‰FlߠmƎ;EX2+WjeT؆dtYM($ 72TMeY&.@?Y 7wfo\e}Rݢ|L42AQi )Xؑ CUZN67TG>n)0/w:6kGGEՐ nx: Mh1s*⡸hqв<&Hs~RAF!Mb\%'h}=َ,VO~e~!q>y|5b:ƶ9 ͅkSuRu[IRH#PX8. CF$<&+ =K z(S)1$AG|`H/l"LytO,$C_i78/\XUw.zC$d8b?gHi倯N@avN) HԚ ~hx]bt'|[Tc!ߎ0rqi\/T3 F<߯bmvw֋QڿÍܘIZ35-Ű5Vz`edNӿ;5? 2< |4;Ζ ^Ƞٟ;q:? 8x, _i檋qHbXөm}1c'mx_֩ωiIxydu;kێ}Go`͊.k$@rQ|V"dr><L+b= 8f86*:3V7uͅcz<Lf);߆{&qv.H.岈%W{W=ӕ@Ic' -2Aq/9vˣ2 5qׄq_°Sj1дFqůy <<`ÝIa'LK Le~h9"rn,IqQbe }ޱF|p@AnBy9!_>{hRuc8?~2{_psfxw ,ۣ#{IR̂)kkjF# o $>֮*X<} X<0}R fᗈƞ"{gL x}qB,+ivZy{Oe;FWWtt!"w^MpprM#G ƫ 4s.MTƢǫ7#|ΰ?ð0VwK"> f_Sy UTU*4 Ƈ78uqI+-g|Ϊ.L\7 +$76(Ge+5=| Q`4E tΦl푇Ԗqٌ.֛/s*/{@e~j `n-IE2WZ7gl*S%&ʅl%m-S ˼ V'A)[bW]pa DX$|zD=Өg1C wy$q9-y<-mG,~`C$Fckg9]) 1b QMMynX#8:lS?D#>r] /( ?pi J2L.nA,MI[q0Lb AN=!lYzjdmˬVQ9vDSk*&Z0v^ uᛅ&/YjMہzKQ7i|Rfa?.OҵuLfe.)$&^_mۓ %C6qyA(mi$k*V/b\'{tj@6s\BYj=3Geҫ d} DIMy*\8ʗ; +S6(SZv@#$@YXt"`Aј?2I8C=w.|XMzJ'9szoYZG4,4; P-[#=I㑦 )|A"}C!/vu*uqw} \1bv@"ebʄşF$W0U~`IQQqe(^q+.\ (i  gPDzawloMpr/M*yؕi'&-=HV"!qʂN@h+ds[|P-nt3|4#d@V#'Լ67hMeB=zb }9F xz_  aRԪ2v;7#I`Ph[!=! ^*Azqcâq }\}'D+9}]_oc6ٰî\%ʉIJMa I~{8 õʎ[_:115>E/#hb ďzO*4źg0_iΉ6/NK.m)ξ)6-zF1TtVjC*B ^ *kxZ8 jO Xz,k]XjTkLӀ8i_:3K%KgEɫkxlܢ?4 B hjHD.4t_\qۥI+LI& 67z2)N e树 # v[́Ԁ0?_O=JX+zjԛcq9%rzgY7`Qv 2ap\Son,,$bI><̆#U=U3gEyiq5 ɿm&>U՝Ļ}ټ?^aGc+s*Z{A_}i:V@/8Pֽ ^4E94(Q#ϣA gYZ7zXZִF! ]]ŗXi%6 ܽ*'4S-Iza-#6HjW]vuek|xu^ą FaP°0/X'q3&(ZI7~jT==8i|y}5-H!Ս9i>Cb-m7W"_g`)l/<<|z  G[ ˼AS*20~[TN8'~d #b 9&ˀ; &,&/χszY!7.LdwX 1ԖnAuNŒ#%?V#x+府FL9Zǂ[yr\nJF%ð`+!ЬH?-._a^L+,V+&^QcV<Ρ|߈'}^ytT uHR>506vCB}X(a"ÂiZǎPL IA@#:º6 563ev:/ oX(;tq<pQ%\۸ 5X؀"X{85ו1skUqK1>B(ԈO4Pdt{@wb}x]9A.U7 (tา61>rEnL$sa [z9ospP40FMHW#\P`x|p^ qĵ>69H3F3~fDB)x,pcT澫:qxp-`SॆՔA}wAm*6d-\#RKg|$ƛ1iE!v$}xl-7kZH61u[=Bl­{ #a\H-{h 3qܰq 07tN =qkIbA^#>ÿ !kbPFL0U~ 2@V,ιF4&\taDžNڏWUD_)E?@D"odl*Oxb^ybVuNœo=X%wQBҚ^PF-Zj} |- Ö24c@6s 4`jgӝ^E‡fik Az@}$i9tF~|rٜ Mjm"@GTZr=u>:U":k )_U N\ #iMۚ*ۺ]`/-Y ru۱gR r M]륰+)*ĀyȞBcVqlD$z:PQx}>NֺL-5?6TZ<:ޮHNHBD@&x/))vh^ӞB"|ztn6poX5\iO!h GG-qe|*qu]6B>C"G9KDH暷\AYTN|֮%Qm6tcrկٻ$DԖB  M:BO⋹ǖq@&^)GK呻P*8z=7h1'?ڀ0)ɣOfDx;p^!]1& +# "O*Gvze}"$,ԟ_t{qE#o !(%,_ |ry/v(ɾ!O /qs'RNnRM'QGcD1I\GWѵ"K!pqhz CW CҸH hXoB`)֫|Mχ-?d` 3ѷIf K\&Qp'TsPO]~-=Ht 2jLd%|)ef2kӬvA#ϥ@EMh3`TK&%3٘Jl):)_ΚN'C7Jv"!!cAcm\#IXwO˹(݌nodܰކ@)У.dl[ Ud-!A#q^-Euy. ÕR2au)߁=xz+Elt;Ft8a*^ј5kτW&ˈfү0Rj?L5Ab>1 4ʵ`Ҋ;i!:ĸ^d&T5!9jr;\'y\T,B. 슮ō(W9? lZNFwQqN&q5|Bۄ>46h]DZ"w7KU-/^c3/CUIrIkC]/iMy?`.P>{i f)-ޒdԁΆK>aԉ~}9ʹr630TZCS!6]^/ jF1+=i|S}[Z0l׫V MuR&1zyrZ+@Ju®oSIKd5 q4;>c?grpbug~]J}u8ܶD3 %+UEu յYeL˨kxJXv6hPZ ğ j$YQ !li 7H`['5.{ y8i]gnK|Tbo|+Ϣ 5CF"iD퍀5Hy% 9H U?g-PQ5JÍ= RN퀌h v`9QPV_rŸ8ʍ9ac"gb % 9.ųXIt1/fZKK=7iMl(xH>Xbb!)~FAP(y bbp\F [lħR  x=q9bTmH31Vnq"ʠe0>-1;8WP$kHhΖ޽}EL4n z\OUV,0ewCNB&4Taԩؒ폗Aי> S>1 ILp8J͐Ã4! Sru>hLPy֔BdIOz!Umv /,185ELeYZOIKLKrt si$D݋;@a EI]n+Bk* j=Qm%0k{^QxK3?o(W4⌤߷W/'L P'<}nIYyf;lZdޔG|6xsvXS.)a=$04"2L(%JO6fSECpvکn}o~1;4Ǽ$L]Gih/y}{D>rU [?:wQvv ٰ-P:$335԰*RXQBkXM) ?-Q-8-8KCиܨ0`{mCZ򋬀ŞѨ٦p&92#ݎ v_0{S4$ Bs;w˳50*?{,[]I.μ?-sW(Ȍ7vaa@FTZj1I=Am„zk($%&@ tb~lwQئKQv޲|PguWKB>J{zCJnZ(bKV*Sjo}@PFI |on/6׬*gwe!OyE*514Gm$ ;_[nj8oS4P1]={޲u Lv>F{8_gBGzs(m.cdZկda"؁3^D|̹IRJ=:72 /egONl.=2Xx#{j~p 9諮 o:$j~{dv$!N<0\!wo],o/8ѱ?; RKzʣ:hΚ*JB@eއT6ǂ$DsюbɦƊ@訶c,zY|'B0cQC@+A>hLtD$R|O^ɬ@AKew pc@:- #w0=;W<&~틿rٓ\PGy B{-m*HN^& Dlc[VզNs6m'R'vٌ\@Yݔ@dqwk],ui&Wk s%%qf0-bd 8+Oމ'>"3?kȯh46=NՉFxɧ}WdɜxW^P;NCcik(nW =*JhVImr1U*( k;E2@Bpt >Sv m]oJ˟̆lEwo&*W |N},5zK ЙG~ɮSp*Q ،U&*Ltүz#~X_X-BYO-.!I?{ͺ6VE)@z|6!#Gn_Z-fqnsj(EOHw$sۂUkOl/_ą2}5{JV-TBȺlO(E38 Y dBهXOdOVR> X/2ť<䘞,xhcpy D(F؏?W` [! }Q_nzrg)/C6(=M '6gTi#,6 h 6U>OټG.fj%inFH= x P=s 4CΒ|=/7k|1(ÁͱW7ʰHr_RT{D3oa~+oz`)|R+;3v $zR`#Mr?rMkxMPFf<1\9 wo0Zi~Qon,7E+IWX AM@/y|y{yn&, ;#;-~x@X/@ⲙۃoVAxLEiJUv14pi+3UK] ONV{[-\O3{9jk m^RnS׉ ЀTK ItYVhWX^QQn%_x}8[iφ5Gy7 5O4/8)p5oW7?[-YL>4󲡢!Aoyۑ?vlQ5 cy2h˜ , _%_ 7t~N2:H=4\{֬;Ju?&{y@1hy'CZ}{93FOyiO0wN- t.{&ݚ0 nˋj:c=Mb_'1ώkapcHۄ;t~͔:i W1o]9/-1bhiWL+Ph "3ۑm^H([==Ų+C+H,êrbfz*a6?*Bѷ.E˵m Ct8:F8~OVd c)]. $F.<*2 [cG:Ck$#XKW_tgny$ɣGJ4AѠGêfm/y7?z_ WClRcn[v*>ҵP٥L.8zC@U|3Rl(%OQV:4ci6c:=R>&KgJS/SɄ1m."xLpn=#jWNA 0+W|O6A~-ÁEisM]wPUlL.ؔ:%U ng=W xqs4͆h Kd0B7Qڕ>B5p4a=eQPP # IÁԽfk9?Cxs6N)f PPoOOMSTo=$wf:{`B+o]jo3M6)ɣxg+(FP/ ;3yw O9Up9{c\L[޵?%"ԇs6PU6[5Y'*h1(WVCǘm[IJ;MJ4>q$j _V{4Α&yAͪomoYSnlo~"y2 A67k8TA`Ngn:v\FO:d=gO &iXE{jn=fKD:,iY\y$ @/_J54- S`]G*T#,%y`w&*-I::zF/y~;~<9"mO[p,@prhjFQf6}b8_W/N?E MR'J9Z!(v0PeaK;~Gsğg)[<KiҩtbWk6-nYG(c]&_b ʨΦUYDMKSXXðJQcȦCCSUZ j),T9E3IO<,XG`(qpR+E>37"-a}U {kN*dz}wNSZ_{tӾ_ +73$= 2l='Npg!g(T4sHzuq0S_~9P_f HTL|΀ӡb6.6~r@uM>:O Qf퍙o1A hg gꓯr6[E[b-c3ʸ¤&)S:+Ԋ!l$d襋:Fk7븄q?Jj/]X}I$~su&4OwkIjq5=2!I;*GV!6(H G۶&x [+6ss߬zPXGWX(r):Pcjc|FǦ?v`Si[%p;_!sbJaS]~_+ś"Н)qi0URަ%a*+7]<+EblԮ4'ՅZ7iMP^H_ Ej'X)I>?^97Bs"=Z޲2h^gߘB(X,A->Gmj5ȍ/Cف*NyKj)C3 ȔG B32TAƾtrGNrWB"#\BÄՈnrm)#G;`u Fz$ySmC :F# B!T*rue-ò 71(rY:RmK;킐3'2xRFIpX[Q=daj:U,~ n07hzU*`Q/iGp,Rr3vr6O@IFWoIT%72ɂIFp \PU1_F~9O*u;LCrc+ ͔ok 4fx ^hiDZ-q .-R.UWȷ4=ƨ2xiËzt[s s)CH:NJ쨔j0[_ C#j,\0NQwZ@W!X%I2hwXICN\(f'#(W@ќ>`*Uϙ[Y~gFhg.J}{vk?7Hh.dx"vs@U!/'pB/!>m]#[Tu* %潒Zj= C9> :]Y.NSZԎiyG1e^θ(zMq *ƞIċyjN*"cJdw<^gJd(AfmIvZ7? kf$!dMeM ?dg^` .))o=?v0LGru nf-Ld-twMRD(Ɗ>ID 7'acJFYk!hK:( |:05#Pxq<~C";uwAOَ}aX#{?Q']am9;Yv_8:,>,ifLFAN1 ѹ|ت9*"ҿDPC}}֥gW4+$pFJkpңk6ǎq}!R;O-hP~sҲprT3rETf=L Ll|}pˆBH߾T\O4/Q3& -jS1pT-w$(:D%ͧ#ITt)08G#1幷_A+ӖBus9EXikE7C+4Bt$u^oH" y踟h.P-s \n}u`#R'Qr:N˽KK/X՗9w'iŽ_ikLx"Ks7K '^5 #*Nc>k5?c,f"Q} <)9z/·\3hgBRE^{͍ͳ؀Rc_3FFmVջ,cpq;+:dK>F`֙iaHu WD[r{MUs[&}?° gcHp KQNv QN~\eG[QXA.іDjGƙ=pGr&YBO2NXl?p~ˆ&_eiP[ݯ6(@IpV[c?\< -:Jkk,sS%}TSi'r(1ϭiլbp紁ujx#1rOkUm{a}"D_ɀ*?êr73J"rLXyg hbO" W$FT.Cҥ@'g Xo5*W\-invB"p\3GgrZT>O)ҍILVN:/`S<M.nŽ;0@2A:{F4bR')&Z#xS{v=>ȢfvFPP}VùFҾ4 T K_rrehwur+?u7{ ~M4}xZ!q+ >ߦE\@8 x?hMhߙۜ7eCy%rZdStUayi}UZ)HO RC7Y,0;j;' ^2ݘ@{*xhK4kP_|2.{:وs 4r)c)BzOȣN 9!6EwLlgǐz9ľ"oęEEhK*PsQ8M"{AB%\3ܜAdT`)mivyTĴTmNPTBM(Pj ڊ H8#u>=Sk1F:fL2Ve^;d?ZSYv*y2S2u`##ăEJ-ofBM]i~r&?` AFOH+񁃵쨸EL.A*d^$X`Y:#ovm9Y¯H?pYV70Cc`m/8S}Q8ց2zYPoPDMh*O ^I߂QӇ|̧^t5Y2fI/E4j|;+g$HHi-MI{:# /`F9X2Ut"i{`3k|ज़<%h|J^nsکIܱr v۽pS){6蘳DtYQG)$kot0 Y$v[sX.kvt ]?& z‚ʤk*Ά0¯LC# Ʉ_)-LS8W&XCK#^-Sem-4yx@m:b QVmɟLR-&"mX[V LC?[Q 9 z\jnzc|[xB 2o ]=ЈIh/@,T]zŸqrQ :pEd쫌u*RgƓ U9q)@1z:7g%EޭЌoi`=O? 66SH2YAJ"B%)G-_ate-^j":[ P d; q%66\MRy{Ln\&`㝖v9G[iGM {&%qP>?s(YCմ5$j[QCT^RFsGw>Bi}[׳u#ԎQ́:zfnLr8B2O>/)dgUq_&gIg~= FDsvN|U{K<͟ cw݊^q.=Qe~Ə뼔&K#hŜiRĠZn ?/'8,O/!:"f#y:o.K5K`؏VRe^rlkK:>?GD]XL.-y%yvwTmn+5cwտr/yHQ< U L]y"Vyb}CExmdyeLLngzegB1t+5TnL;: .`mp1ThC #GuD;.sj#+ C(Vau.eP0M[M_Yr}#F}rHiMdʽ( G]kɕ{Z.Uwd7lܲ*ʽA͉ |NТ f*^J-ѿ3M@0U"U k7OкE9f琰.=,i$tc)dliw,)@[RV*7u,E3 eY )ywu=z Z^-vlOَz-&C2~L4пؠ$ظ0*84V4|@+TT <Nf  ń^Hf9 ~\%y!-"c1hc.7A YE4,F| Vd84=/a;EUbV.ب5f7 };TXϓ;k;Eox ,'{T޽0Yo4O+7 Qz횱X%J~A+lGƜ[^WLԑOdo$vJuGR)*IWΣ5$}nI3yu>G eg"䞟,/xbmUը dDiH(R; ,))\_ZE>E6#_ӱ 7LF񽆒Y:E2@ߞ>s;kȡ_^8 x-O}؛_îyҊC+I ˨~gd$4_i荮O||ů,l]2-'t\wbaWyDI)/%8[G.)AjaX+ٮ8Kk򁛊 )%Z l @?A~ Y ){ppèxV#HG>F*[z)095eϥ曓D}ѧpQY.gI;gI@ÈGzkjO_b7<֯ua*5S8R IMw}fsnfLj#,>I_h/8[!KΧ7s-sʠ@CќT/bC‚v~RdXz">·{*. .ț3 ;JXۤ9HAҧ!4sjI1v'V>C=D  h2,os_3c59!AU>sSuǠ 72iF޹~0n!WqN#6n|dr2:(/tu {ٿo ,QKf=`ok[y(F G(xO؈ߜvs: wV7 k,ŠmSu u-AmlLB0*}L7PK+ҸU9%gG4`2CшLiTkdC!϶E>N_zksN?? կ%Hsu;Xag5D߁*vO-DXMuXxO{}d< XnH{;(RH  hn"r6&h2@/+KpzR2ĭ/r`~˒yNތdo&e9x\DZ]#%7W=#XfqNtR"# Is^T(~x\$_#XPsD8[r6`3..g=k.KX}WV Of bSJo=o[[Y}uIF2-fw}$#'処g(Gv~C©ˉX&{j(.#m]z6A{9Z鎛p~y#rT-'dSdgZ[c%.+uqMO2h3ax+*^Ӯyq$bGɻYdۅY,āIpȁ3`ʼn5ynywyW9 0֒ok{b*rhE,ϡɕmGa !5.#H,g.>#"4Q-.8{Ȣa=EqqriwV=6wh>_~s cH:oO5o :y<=^9]8l]Cyse_ 8[7xu<[=_ x|ZEJ6PBGQ㨧VY:J[v)_2z(l-ȱ;}蜚6 u}'v E)ہTAoa&v2&B 5˚鯨㘑AQvyڎͫWt2:0z³.7X| xW"jLdoQ_Z1r*H:8#[.\3ysR{.mQqżw4u V;Uj-͕`#Q!ډS µ'^z3?v/ :S6/ld{x؝Ȏc>JdĖ_I {6FEẺ# 9;c&׌ P۔3˰5E,h랓CM,u ĉoc(dj"ON{?>u}іmiA |`ZE24Oxt`˗F z`Ìw^X8@(@0q̠:-SxSYd::>O^s2wQe=\U4_o > ]9Ln3}v2^ o;*%=9vLv 8o3O~VEE*߃5k IOu8 8ej- +&7՟1 @;GfUM9Qjv/g@[lb`4<"-ƚBĺ" @^ >00uu% @T\.!+sUPS6`hŅ}~,#Jjy~0{bITAf L1w )1Tk{ɻsLz J"# !y%I- @ey7Mqx&pWICgK"%=Nk-b~Ug* bfuoHCl]%1yzn/ʵsWGmvAdfR2PkcQ2c\{ń#M'RbSZZE ׿( 2^&fY S(VFmH %azz#:pd,h4xpR#9jE=1SLxkGpʫjg߹*E͝7T Q\mp-Dd6*Qw[ ך.iPk)I6~P9v^u ݓ{DTU+c&.Ib^wT7co0k.tWot@iڒEsWtHL9t_kwE飡$.XK2ʅ$*Ye3#@47?d;Ӯ) ڨ]fhWke 1FE]:YQ iM420D;ŧ }gTgڀ33!xo-#{ۡEW% .NqFy?PY)oe @@y<Cet"hځ[O>+geH#sT͌Tknu0uU_g&ѣVLI6 e f'v' 8M_gOZBj屯#żBP ghU5?'b8^Ε_?ӏxԼZ_D JΗYxXb]*yx~2%Yhyr]EIBBY4+b=JiRN( 8c>]\)@8Hnp)mܜ_%'AE#w3', i3%\!8s(qFI`f@@6jkAdkfW41WDgm/Zڍu=~xxP3*)=]x½@JZZ͵I#XXwo;p)^XW)1\\}6U"s\ ަ{q J E9Јeʃb6T}>ȷ~D{-,j2έKj ՙ|3B(:e鈢:^% 5\)|7^eItSYmdy;ǒT-fCLغ{bI80,;% 7$M4JWy$|V[=p0~f_ҏ|wQ5+39Wvc^ȧ :)pje9EqaH2.d?U\EZYkf X|" Gd J!DAtkl{M~߾ȱ2*^G5zԐaUPfңvD.0fPR^ŗ7wvlzuL j(P)/ƞ}gGz{p:5>=ԟoʆaDNYUC .Gr @쩅:ܑ[,b+#&ۦ2Z N3%< Y6f< ԣXD:t̗A%<]֠hM%&g=l$<2Z֢*;F\K#&5$<5Yz-m>'0v6`||{Tgqb]o^/- CmI,k/ 5oUg m̚ 4(e`}ҺyJ h82/|W%jsÄ =/UrX=JE"##7|GT,x9sHhC02Zʀ>3кamW A+e2Xu){griO5ሆNsd/ͳOwB:CG +s^3:p,{QC|-PtOwn餔kD˰ M#->s%1˰Uj`6@%c*S5ڂQYapS$lVx5ӑ^r$< ;(2!L?̆Q@el!Ɋ |TJc~O,u~uʈi|Am+Luj"q6hW?UpC $_E2U+-qCey'4f0Ea{kJ c{> ,"ѾmP o5w5){:!3L d+~E'gosF *{cCEQEɵAVM@6 g'=h }26t<"Ucv?iR_.r%f"ךG93}2˟P<)rAuXF!9z\\ġ꘭'kg{$d. +T~t5Mb~0@A gX1qxZ^}EI_eEha7Tֱ97hQߜz@_Q-h =I(PND4Vϴx@_T] g#P۬SX$(cJW˽:OzXo?FE67SnJ0ؘZOBfAŴQwdKbMb,Tz:UhTf%0C6 2e7qM]&vjC)98z;a/ HJ\} 27@0ީ Yqz;d3d[D'4_N