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 22-\T Q HOL-ODE-Numerics:threads=2elapsed=890.377cpu=1640.384gc=54.452factor=1.847zXZִF! "]ŗXf1-/6vRZ]C27|ê\?iNQOlZ+3>Q:DtcJm t0<*bn#Jiũgϩ0IYp+x)7:5Y3mF BhOC>U%#)_Ėg ̣"/Z TI&r eD- 9 4GkoȻϤ:Uߐ3#LXfXoNjl57lYšȚ뎉'3o%Wе5VUoOQrf3~;J ";8 quoZEd4+Ha-T@9VVaL$ߣ\X7 q,rU`іo(I` n&"$AOg;J|" \:iEh')VQAfH F' {@Aћmnj/H. DM9a($-@`iܓr9uu! 7N;H!X$=H`8PʪVBƽ]UL6%yU*f}J5<*\"]ID3"%q6=;>ޔ^ƌex?n:>S˅?$nS׃Qk*<+|V~f6th]7rԊidYAc/̢,24@򶓱wN-mk !ϹL i8\fCoH'~_q. +: 4*uܕ<6s|(EpMv`^IןԜm@T՚C_*%-?\\h_;4'%"D |/V e>7c{53g?HbFN kڞηi1)LMUQMwFϘcOO3@{3+B%IqdD^*v:nY)(.QJ?j+>.9!@0zUt1>'.EyŪlw _!zf;CWJRgtR5}efb2 E涭Abe @|5e3S BQ\>m)^Js{gϣyV VlS&dlp rν9iȨͼ*(x遈 EcCiT%<\<͐/OlpzQm|H̄Z#80…MKh3ƻ@V똮1 nT:P_VR1˳! r}9kfQL]ל l-cWt<4oK29sz]&acD]L8rJa[iD T۳3/+)aS._bb]юA}ECpk8'FhQ,$܁Q׷\Ht3oS]Hz5RTg$kI4> *Iv=tQ2^C^{HdQNi{_@!W$K )Z* T;×&3iIco*qvϯ|s yc|8W#wMf9+Nf>)f] ,@r%`6ٯO\Q:WwJT"(G2$}Dkt^nnYZE#!Aii[FkU<4ys,}6pQ[sə 8Sq0<v¢u@vWy?mX6p-OߚDئL4̄\(F 3H7$sc;˥JUBo&Z˺9g(w70i ,l|Djmn g6m$3*>t+͊Bp+W2㟒ZK\maV2ѻkI47 C۟& ;uv[2s6 Cokٴ!`b)E:~[/d'52{:@_~ y4+y`<g@쎘ɾ+JL OA^lLO24E, uB`=} ;nNxW%aagYVΑfj&SPoB QңV idV,(]|V\d9o_Rnh.PCu\^u ?TY:lRe ~+Л"mW h'[r(4gd`:ٽ񪟊֐mPz E,S6q#ɯK%h:"S >Kfc@q~}ÔY̬fb켢SgE $HTW`=gU@Az2 'a ^ā5toa &qšZ!zIt.ƒbUMF#[fRkRY8>+y`mpT4!v:K:$x2!.k2r[^_PcsT`YGpWΔdnDwpjN r S6!r}] suIzt.˥ht圼FAIs_"Cd@|ػ~OaVS_ƴ>K-4DH?ZMcBUe"Tԥ"j_b #0 1bJGBbJI ҙk<,[gEJЃ1U$x`gi E(%HqV/5U}&Lwn,E"O _fCRD#@vb\!=\?m okw h7Dྮ_!h M;0g-咘i/St {FҾq+V<0:4cfCGhh@ ?de{g8{B󕫌fS] #تu!DkjP _ z6*@U&(}ϊR.jHMq9mD~WHnG %~Q[ ́Փ# mŔ$sS_^E۲vbxπ{ڈܥg>`Q2Q@CI^BF~ɈE6ZG=naߵ `ٸ4p.TEbR[_fQ)H&^XZ׈/щ{yL KlCΔ!RfmSzb 93ocU.RD| "0.Q@koPT(QH q_.wlۤ%kJ4"S{WBlyXL[2! =lk(VDMFGVr^zKK>5 <ӲoOc|ӿݑ ԯ#q;lPt$^m-P L:H\Rьblxek~3Jv<Wkp=uj3=X,"f 8PMsmVm;EK#5~x*~s\`=5#:dU4gfֹUN0]Vc.[9Gu_Iצ=PG&ާƕ_Sub,M (+gKz8O ʒhɏ Ķ[v1/O_^: r zӳ *υ0f\@&pM3IbY-X42UjdbmoK-+S15_P1 2,@ @7jr)88-u®v7?D*o*"66kY{Z .SM-$xDQA؜a_Sk|t5gɡK??]l9k%w3thY{c+9=.3k֜C-;T= fJWH8N:Zz'*#*mi;'uzL]_tajlx) W (oa_ՄӇN/o/)50bO-~3695hohs!׹b+ Ţ~9!1gYZ7zXZִF! !~]ŗXi%6ur #qOo 7o](F$D.;/@jkKM̅Iӯ/n4Ti(v,2HS`˺Wd( Wz/)5N޴,,4r|%je t01tב\J^F57qjA4vM/J} zOIʔ.=Y)chΪIS>0$Zڢu)T}ٔuHz&q3cY6q?tvgP ǽXLŚ<2QFm^+`RSaE[rN!C+&u-2sܕ&"%fB;v[á+-:˺hxUTa4z$9{.9o%vi }>BB%m o _e )Q9XEPƑ2ai>fߧ0N|w埭ǭ/bpwgg2HxဳYLz.NCB.dPj\J0.Xk!(>")9Z 0 Ou Pф[\[zoAEK gE\MN0iԆD]v>у6d[+bM2Q {^^si- PMڹGm@>WJΕʦU+AD8y[+pRx> z6zw>O *0?xڴ?4Tɘ~f'2ڜ`F29pO@ $>Gܒ@Ө3ƊvqeuVK,G"qpEs*FG=Ëetԟ6>zˋ&j6>l-ĻKw{tݡ{FMvj?5mQa<;D:ŒOo85rG3u|1ɥmF⧣̗4 -Oczp/&5"@mવO?lV u84xevhLN$AտNZd5 "} O:ߔZ/e2g) B9#T-ogOOSZ.P/\ڭ\xy@cGLk C=Ym>)ڄ+9F$u6Mc9(ځ:F ?ROV& |na. F+5rʿf] rwL6-4AA>mXLJ3" ;8ZBX-jC36aPashP,4/(\eZ3~QYE39 puPVk@w>նjplӜaUqQJdňϱ𩗟ue5a#V ^zַҤtp{N.Y 7xnQ^uDVd~qZ%+υJBXҽ$tQ%WAbf!N}E&̳+py[ps9C73.0_[)( 1>)\ACpkCj EYDg}5ƶ F8֔։q}{YT><.ˌlb='L7YI-?Ҽx,%kŃ /}/_`vXHߟ~ȇ*cK>u 3 Nʁ/(Z`_(ʋ.pM;P5 ƀP1h,*kg4rE';%XT\8;5YDl w·bj:t7 kvNu"v<WS6vzד =g"вU =c0>(O:ݢ?: ̄dwhUqz야/K/?'= v@I_Y_m{S$xZ!ERC7@g?ʫ2MAϱ7@uz}mV_0#7+)>nQ:zWgMƅ鹭x8R?6Lbq.*s5YJJbzov'b!Nޔ-]|q- tَdtlcI~_hYD)] 12CL_bȄ*(X( @t `vru89Dž&NEw9Qͨ\WUmOs0z-h3#;R'JH q"r5Ldhc{|֝ⓣ^áԦSx_g /_jT܌3GPm7{X!acm)ZZ @V2?R}5jZ~[a<,Wnj;5K:TV2+ۺ@Uŕ@!uoz2"b5Df^<=Soe)VUXwͻًmRf<5`_RRy'b"#]1r̟aU9?dɼ3 ;v 3RbzB`ssw(]':s6"$)bGxXwsM!HD]F$f,u!,3hrjb_%d4MaaSDoZ::΍B|֖V{WK=48wx^߮;n UOU+r3~BMq9L0K9p¸Yb0rp根3X`fgLWNs*Ph^N{*0*G)"+XQH?yR yw-ba^|0u wZH GnJ9l`\ß2Їٳa¹ q_bVDZqʉHbB)OebA["23 QuAx&ffq>-51vAGJ÷TNa<72yjH-'ayDNA絲!@D)8L^ӴiHVƮ||^l.͑kv, ^jGʍmUG5Α[Dm K{%MϾtP{AwFSB~tހ܏RvKA'0iաD5 Ϯu\܈ٌ5HY@E~Q D'"ve9U^hm\(JPF2?_ RrA:Yewyĭ6O&:Lקa蘿uNAA CNӮ}UW͞gB4rυ wpBtGqhܱsFTf,EX.0Glbi'ÍҽqB&wh^kf5G.5yCFN[JyÈv#:Qh}dJ*8T:9M~ɕ[(i=EePlEG%qǨUl7daQ3@{9baitsV)i:; S5.0shditځ;zkt9tp݃J'tSOa~#]{9hmLO9J[c{d N!H,t~k#2D~A7fgG\W@.[y`rpǂpt5g&7GC6Bfnj.Mq85٧Hb h]ibdӯ'@9wd.߿2l|aU8 +}.MQj q0MhWH%%4VG;r?Ht0u4/Ϗ#pO}J?O؎C4ez'?&D;ɡƹ\5q{~vEߌdN "+Wai%&>L&*_xMsf>4ˎlO6&h(͘ej@,y}BҤD_eh41{RױOP z GV: _,ϜsUwD+_K;vRwstlFla0_w_YRZF EuYcFRhwS8Bl6'6l2@[uA.J< cpYʸ6=LNOZ8}YZMgixp  DaI^L clCW-#'cRћ&w=-W'e]pq^a=pf hN:3"I^U<x t5cY!Œm;I "hxnr1[pYTA!YכXmX)5=,"LT9tbaݚH(=+fݪ-;L qQgujHO"*H~]Ks h[@F*U(q08y-lbm.`NϛkctIC'c潽Z2fV7hE y #> QǙM0jg2 0f~)pJRSndطoey=tBJE!R8"m1,E *[b Y" g.uզ+2G sF(v0>hpt? [{AU?ZU3>Ђx T@Ni+e29%aޞ\fN e&:Hfۅ2g൛iơFd>B |Q߾,w[h -Ex ]n,jb^:zoz_onT 1ǫj3;T~_u+B3-+>x x,gg`WY^LrkM-=LqLjdq5.CU*RI zÍٴ*B##|ȵ$LI-k3pwq^} If@8M+p/A#\<;D9e+,Ȟ%'DK`F`={\f; ;Ŵ H# yl9b TnLhb3eb'%:! դER yf-ijD{ 2@5 + g`b jF{V4^orY뇿ivR{Y2F%vS$ao_H~H(e:U#;1sq9&oՙ;}!4Pjو`c8JL^.wWG6rtή#j?Ť9(i"9vn2xI#wa8CjQOp5w#x(N5Ṷw!IQ="4?%8W$<*94fߗekW`qf͔̥[wd*h&`p%QG2 ^(Qٯ8b.箢7*B|,*^yxxr";trC*LV[ Vzͬv'3NƃԹ@ K-Wi$u),oS8#@Vؕ'YPF4R" O4KcuK[;v+AJVpa|Fjaiܷ8Z}odx\(!fMίX:{_H\!k~?Q N<(Q 748SMlG}]H<6K ش8@X~q3 e{ބ\ڤ#Z% a<6=_4&?k/os1U}anAlݲ+7ML64hmJx*U!C!;DFZ1تQˇg :uA! &F F!{m$/x.#GcvcX3'!F#I)*<6Z{Z\9E ҽsXתVAY `X==m7cLE|=x"aWQ!sYD|$dIҊadSs\ϻ73Y~{C& 4?$n^# =J`kd.,zi%iŃ.L;7xtR/*rZ]va&v888D,!dW.S$ "JhvqDF< / $$ڔ׻BਟF=Ďv2:Ӛe]cn,v机=a]`LK^oJX6FX޲?]o:0'i<=?uU6qs먵J#o_1A`>г+ەƛ~y LP?|^f.98FfDꏱ"?2s*7s2Ka<|[/ځw3i-_/ Cʔ442>8!kY!4vF(dtԱRu%1 cA DգY9E6vO) *t"mc)P?%wFUK^LS~hHzeTZj㤑gSaiDdGfSZ亨T*.+~^ *Agub&T\L`Ng(C zf rN,p?1Z/&4zi'W'7~-swHrygف9.cm4'>~$ƕUV3ޟ UAT+s ?yiQT3?^h@"# nj'* ޟ &+HzOKD씳z3h\\h+_}@9+o4o4ÝZ׆I7[e #h=],fbV.,mкoRHqʇY—Vt-fʌ|dMv~Jy{:TwcZ@r XI6DzOiϹ65:\M,j^|_ C%ÝXIv @$ۮI첰ѝƤnȅIZg|OqAFpx,h)GDM,fPi;@Rfw`i݋M%q}q0dÄs=A9v=ߑ'Ԛ՝m f`bHZ}Ia,s.)l."9].);=Yb3V8u/6ZKB A@9.Lv3a 2R1NGZRxG.+YpL_i._F9zt8Ndx諓f{Q'd~߯[¥5$orAd&#[aF @$EއY5>HQ\*/ߢWLzvQTS$|B\S O5>~dRD7XKszb:P0.1{@j^ɗ)%W Z< /j >=_>XGwHF9}+lʑSkI ^< 3\ekgb'XG N LٻL7f- !K'ِOS&*߰_#&3'I\qvUzz.ܯۀLpLВ8XBop pNT:>Tܩl]:~|wI3:"qu #Ih:yߕJG@ձJ(r,VU'X Wt5s79 7Axj"`: pjJ[︤]A nEWZpU7cMt?(Pt"1BƠsq/aՄzˇ7Xϧ"J ]@0&U(f#f W0"OimK5ӄp?J]cψHZvXx+}뤽c״xx9֙G>`sw~FXSz&  7՚14>:*9J'w,Qb{hD]+ȗ HMAPpD&6iR2]gPBw8>w< ]n=j<\Į1$q)IyZ),3 )=xa" xӦTbZGoE+!.g1 öw!(y<5|:{Ol R#(mr^Qs+&PQ $ ˼g͖Hz5 9/h"xQvW(gN@B(z ̼-_%J=wSն 8+tXsQzKx\ ^,*F=$TvOJNHX(yd^L&2}ꩡk~+FjF'x]iS;jZk\0Lx|QhzGC,p2ЄݝD6߳4{I?"̘!__c'4.+6EhٺzFyF!Y`D9ֲ{ܱFl5*Zu-Ja1> w(#$8,yo ;r3*tj[Z_+qZ Rh<'_W椞4Gh2 h;. 8ArxFzD_`r_rUCB?emGQ̸>ِO@5gs V\ԋ'zRǞ@P+$\VXy'] <MqPZL%AS'ҹ.xI4vTʬn7=..mGԑn)ŰZz7& UR ꧗OJ>O(XLY'Dy +A4Hʕ/z>f )F9,Yi@ Z^"O(b^)"Ce5NIQMO UZ!x`2QinÃ6%59}(!(d~T:v9F($K5 NjP$nggE?[QÄGg{V/E6v9/w2`'m\Xajq7B=!4K茳 ͯK'];<~۽E!  mZ0SevWxH֐% 7\HwOM'#JUQw|U&V\w 4;>1ܧxVI<`pC EDNFXy\FtF<_VGkr; XfZVT4֕8ee!ylƧfVRJԒUxH:܈?.Tm_C*]AY3:XX4ƹedĹV)f锆@[JoCo@}Ӷn[#tu0tڬ2&Pi/i:kLHq\f4b'(Jo0icmεHMm==\y_ݺwc &ZE]j"oY G0Ms;^e:#V7Wo9p8`M"{[HLfw6<0He+DIE}?6=!\:@MK3=o4<ZuDQfW i?n^(0h6pԓmUZOa ]cE3sdJKO?4@>W3*>nUz+8^44ݫXS 5J&EjGw\N)ҎST0Μ/“SثͶCa7 K &7P;| )5fHk=҂ޒzv "1S}aDj9إ UMA1/k"Rʀ~F(4rS;GNB!RzI'YC-Cx)B%5=Bo^Vy&J>7%MZ&I8=| 2 ejgb"4ǟB煽h B4ޯpqcgN98a z~OhQ 9t{c>hŽWI0 ~#GQr`gy2 R*Ũa_߱kE )uּ#2> M;Ɇ-UD6KtG.Ha9Zwo9q `lpB yK'ԤsOw lDZ .2ӻo'Ivn0N vi0TVA?XYRv B[rNo8WYj3wDDC:?jȈ( 7"dAF@^=-)̺cYbrdH +꾙1^6.op 'aGE.T&I omkLV*,'M9VJ5>wa* r+cAL_η 5)JF ѺSP6Qz$5ߣA<.%S< RkMj9p? 羚1Tۢ}1?pC%FҶkֱl3)P\Ye!9H';ׇ?A4*AM\JC⮾Ք&Vlٚ FRY;jw&PA‹6:|309icDwȒD!DA;v EY)yg+,viJCe Å`f:'*OM%7BúɋHbdүQؕ预ܬ=4M%JܦjMl_rEǘ$G1ϵ݌EU߿gBMIW:ɍmb@¼_4-Z!F8W"bCRkXyXQ>,*O=e 4bOhŏ=ªYY5k7"vχ^s\[F1 с- fMPÍ#条<׮'ϼ2ˎ9!yJhD҈3,p/HfG3d-XYz\9xyPST1:-6MC( +k4l(**ZG/E ]<+`Z \ Ke j }4LZ059TV?S,.N"-Y"ӗ~ܳ< @ aBK.yu@b@2K5{d\O"wv-/IK8gǡ,vG&gJlW5+F o Vh"^Q|?!%M ae?G$ pYFA j$ݢu5' Il?@xNXcgl$&(<%E㓃9Ah]qr͗]q 2 =qB@pq)NSGO9kkg$֯0x/,%vy.%e\!py0V\V`O"ck+#UHq dדXSYm XC!z͛A'= eC?V=EZQӃLgxVbOLgې3:؎4E`yEb̼vΔap#jx Oqpym>r5?}(P (d@-4Xz'NU`!t.t.).tE^ӥVq>:Z,Mjf62{,ޕ~{$a+管$$6;uPUH/4t8(9f%Zva գUo 󂧢+?X3QNLKEAP=Y]xڴ-M e)Ne>RbGjY۠y/V\o^~3!@3Q9;RZ}fhup0s9?R^f\ox*AhNa>'`+oيcvtyI/8A`g`'2"szɥ9ΦY{g\۬U[E` p0{f;|0M$(DM: mo6~;ݜ1vQAes44(|ɿd.GEژߦ*.6o /79\~Σj Ju*JswHa"<;?[H@Bg8<,y4Y1٪a}$P+B*w1G#UֲHƱR<7}#p5B4HRi}nT@*]L2sc\Y]H G:,/0&x:h3|ʕ N[Nbp(r5@[.ǵl*H >٘ yXO%Ph^C`]_d,cuWE2r* ,!:b>BoIV@ӳVݷ2V k41E9ju,;A^dreD<]y)hd{N/ިUf ml>a{Z Le2+39 .I"<]M9"|Xn5fqm[T@:cbD%O` z@!HTW1 rŽ)NLQj)]V~N29L)tY^5?I:4l }vSy [xœ>m {*vdd D ?HH!ɩߵHs^7"ؐfͤYGXm@ڑ'Kb 8Q #}v-!a2).zR .d'X0ީ) ~+H$9E7L9)p +.~CjbPpŬL2xm]ɀRa;J{&:]ݽ|UH|x-r: I"%2#nEn0r,]M~jw6vAH[#xHx+9\;)T<T[|HjP `|zE%bƺֹi)vFxMf_ vj!bS^ݦJ4MsZdc5mΠb?*l}|2vʹLdI] _({WpK72vF`]*+(6Ug|{]:##!ƗX^&f&%ħÌ.\&3_ SlLWC냀(tzh{A{xFbx ŨBx8dB2Ҡ$7Œ ik[;kI<ʟoa$EM)uqrd߂pylA-_@=x?4 Oi2^aǽ*.y*!dbڗ*hxNNMZQĤSi &;?́-xO RSi_hW[pfi}_S\0ji6ߋp6)[!IΖҮ{؋㯈3x~N:C%°-˜{9f]G+~ј ^R'ڜ#<;cǴlQ0 f,ʎͳKy{kG.\ ,!X72D*ck5,ˤn@tMÉ5d9ݩӆ; C/]8YCL͡F$J 2uHՁbJc8zA/Y_NQUMUK1XPgI^ 1\dh܎fgϐu_oޏ֛09 1@-?! _^UBd{=d~dS2Xy =$EBCySÈ:SF#S]K_kVx#L)gXaGfʰtJOޏΨz Qmn 4ºȑLёv.KZC`87oʙ`deSd`,7Mrvb22ȉ㼻[b[ ]=unE"h6R+df=6Eom˙jH| 擱EQqܨK2Zb2OS1[9_POWƘ|w^)I1`Jb<"۷Mx@hA,5@6 (-kRa/ى(չ_˨&7e^ɛs?=g{4G͐r^\J \ Ui %tH{?ދF H?\Cn弈[Ԗu :ć5Sag5l7SbH? @z,g/1^a @yrvt{= *q/U7CoF`J{ faiLcގa>xs#]RV;؇ɝkX亃0ue >dr_2p?5wʲve?v<j,\ Yؠ?5(ZGiH%&쮜/V %ƁecHX0vyq/"8ף ָO @ xڳ}233Q?7?Ms\cXL\c}!cDZH`VL*Q-nk ߚ`ֱ&߬QZ`O ϢL }2%.I2 Hի:.Es{_22SG}l;NFùQQ /NR#U5w'Xd@3;o 6ݸjwgBG ʚGg&& {mK;gofI-ǥT5R߷vm3"V[}N쮹-,{ W~~߮÷A5݀JW>G o!D9,~&9# 1Y vKB*P$ТO:ɑT8"-/?J  !S߰Wڮy~4Va~0y'a} qWQ7PUlXW[1M!O8 *q/:v }ylIԮ0M:<-KYH83A4^T]\& CN~<uNj`cѢ4dkђ섏W[Զ7wfGWD x m_2vAgUJ=SלV 3 bQipy9: %͊k7~<3%s߳#69Eb~SjWkS"Ў%؊UMp5.h ,5t5|.&M=lN 7vwzS#b4b3BhYP&` Xcaɽ$nk or1 MiQ*4,]]'y@-2g ]DqJ{?qkNLmT4\sR\2>g'l - [kx #pHNڐ.J}+wb 9D;8O&)K% CXЦ>B۱[A6m/~x}D8z>u Ō bgeHkH@; YrhemJ^Ԇm%.L< .Mt$@g+du3/&q$gtde)~5XЬ)>\v¢:%mo<gP?-QD4+ u6 ̂Fz*VW瑟v4ꖾiWJ@r,v]%%^UNʽ&[.x*$Xm7M˒;g"j[50/<{=wq#/# ho%面aei>Wn6;>)N`UQ +M5,v̥j#IEeeP4jE6Ug;/T›()_kXa+v*l}|{Oqn*X-wEMQ J e;kϸ~H$W`ӏ;ՒN$Y:+;A~5ةɨQ,e &ȂmAh♖9EuoNy1}frZ(g{ͤG˂uGR_;f5=;6جx]7T&K),ooȡe{%I% v?MB"4Dsȟ.sj{x8l]\n]1 :"o([Dݓ/joj89HX"kˆ%⟬xO|yI0~ Z}qnaLg]ueU ua 9-S8AµFҫyZnq3nyW[4I~VƤv&ޘ'SrZr$9s%vV+0e(VgG  1\'5&2E79stk Wa6"!f̸R2LUYn3%Vͩ&0 u( r[I>Ńx(s?_fL||eiƏ]'w݂~Z T2iwzs_׫N^;09;) W')gq#>(<@tC Y7>JୌI7a[S|T}Rk] O >}FUVbF҆L 3O %I %@tc,\.^fw 0OT$b4mT}|M㶹攃Jz,s֌o5-j45̵R xVP)<ގ|[( sܤxeC\9 Q>o:VPνX=.j2No&$`t"w*L]lRes 7Kԓ(͉K:YyZ-X\Hԙh(R =I~R!\$XF+fT:a5;%D4@SRD%!A$`¯p.&|r*xĤ)"jr.-)9qR/ڎ~9ߑ;/j[ v:#pnJd9w$WAρLXlhGR{ c@1Ї>Z5G"JON]s!e큀"4wQ>8TGwjW`|E3Lk}3Ѽ2eJQ]r{ Da4m?xZFw0ZEN ̣iu&]!!hcF kݏD6󀬒7Z')O+ "ґ 5>2ojjkjlzGFbz&IJ PGXbi4&gL6 ;y):h޺gn]~'wI 8ZH&!7 $s(}20a8!'gX;1Gvea ]Nf:bXeLkFIoܢBbk3PvV冷@gbQVFK>\Q6EDr$t r77~f.A;pzYIrv7!y90)3fݰM_H/㴓=r/؄{1u Zho 94/82k]>϶wvGaK[;dF%R8s$J鰰Å'&*T IL=} ڤQۮu*?u tB[Jƫk'w&|>#0f_ʩz *mDS]wצ >r%澗)f*eԚC5F]VM;.ȗHX#ۡ12J"0 fVYfW42V+ZLVba۟`U ͥ#wLjBA~c4N"/rxE-sjTZ)f~ջ*Q7%`ȓ.](wCO*U$ݖyx- FК`}!+w:ckB/*JLK4}2Mdб:Su7zas0}=`9It.|Dopg:bþZ7to"2ׇr}=&[` /$ 9/h#O8޻ʶ>X){))cXx;Rb7% Aw]u)LUM #r} GwP-ORjY.JHym186Sߖټ @zc!2Ň j%+5k)`奻fH.m}t nk#ŋ{1:1=[#gwou`l$Ō v|:z߲9?OPD"HP,{MZzA!18$m vM {`w8:潦~=qzx=om\|#o+WΚ}`373dN>06^y&is2ӥ a{2möjk.{7Q6᫕ljf]YȌevFKD E(Qi$7x D>0wӁ<=W 5“ۭ^1BǪ^ c2SX]7@ qq+p.1AY.zkN'9qc'80\LŵZU.|(۩n76?hp(e4`5LZoz+Tg|uv`l\A8KCdM\ "4Z_ -(y>ר;%}^ՇWJK^e[SK"hVh5K*+.tӱxؐpti\ ɓc &`h'ǸM;ULiSljv~kfk`i:DZ,PiL9t8`&!2YZy21b.kZ,_`alY"8l6Ϭ}$졔*MX4n5`yꋭ#&k׏_9J@_DoӃVEuQ`Q5*D] V'_Ų*,_"vKq8c|:#j'`- vTr2IBJ)iw?t0 @)/2HN& J gȫf;)DmI{lbAcky]!`}Q7 iۿQ-c#9};3WfkӠBL axHUMZ!XReG/npϧo;-J`"j|ѴU` sW]#Jk-T ܋~=sna&Kh}zK㛓|ׁ55fz^tL6;8]n쎕*Kl;aIyPa?.|`XߨN࿐i)QsH_O>p FzwEd'x s&g h%(>Da0V& TNz~9M2xBFD`]!ޝ+:3s7-lx&f7=^!aWTIPnwا*kt!,L-1a,@.+6#6/4hYڥ EEDxY Y[1e{m׾ͬ|8pP)#[qK'u#q$ҕ_UX$#s$F ro,++Ouv>m9kjm'k,yi#tϖR6o}Ok/`YCSnKp(xfF$Mխڶ)AO'#+OLy,,1H1Έ -OMηXKQ2x|MХVi֑-vv=v9=LbG ۭlks0Xվ[ L4_zUM|eB{^70UB[U3źؑF0-2ayi?g ߿$+BLʣ[:I`O\{ 6-@lK+#q pDS*ócאHN^ߴCXuj z[QE\mVFՋ`^D8LIN6.dnO1, 82k $FbHOD`7s(q/q<D6XEB‹XaW3E2ӍqOH[K1v)0JO&0fdTl:3;;vRGMK8ćXYit~1Ќ`A8?3;+VVN9`RL͓lŊҁiqXf-J0k)fIB-.&J@ء*"3L%'a%! lh-}&tv{k8WDʩ]Tk|ݲ!oṚ%`_F6izavn.vu" ׺}^kWL?:I$59:"UpS?b悳+s GՊʳqOckE.˜C/4^[6=b/yaz*9N8<0KD!g.GRQ%aboU1dąku8|%a٬l tK ɲR2 p!K:()Әӯ\Usj s^]]v1a.Դ]Ȭ{Ʈ/2t X@KVW%ԣ`f2yf˰ܵg܅d+1Q-|0]n4+[.W-jqR'Jī럪8i1-'R4?D1Fiv2 gQv0c*^NGmAXvJBS4 [bڴaqUE>ǣ~XPBjp~ b(A4 evi"Ղ3UF1EݵkcDӹ$5c{QdJ.[PI+AFrt]k˷)zෟ$5:>@wFC438z\VNo /'R#ږL!H81ìvSvO+͐Fw^N'z=uuf\v;*=_?qd,r'$>A)1Na M~Jr7 N@^ Bb[X==Kp2$WʹVrU,G釕mMۼh,zɗ|3tVkӧڶ4pz)#ʥ*?H %~oF6j6ܙ"6qcڤz]ڤ^nF^DtÔr w*뉮}*VoL}4| ocPIө[+;%z $=kGcRݔyR{>Ԟlm}ՆfwߌF^4i`2zVM|F?{p ?";oX~R4)T7Z!PC2䝚Nթ r+QǾ(K;[Dq,J///>ss7YԘ8B2pp:v#tG؏F4a$|HJi}YwEyuH7cF~J^E x7L`Z;zt8 X|e=a<a ~hX_i)uκ?~kec 2={|4mږ+=I/ Ko7=j# xitMLq`Z.֍@fW :G'.4|D_>'K%p D4vhI sYO r՝TpI#jA N_.0h .!I$ z iLV-j(ao)ۿ3;gv1>:fyHSKE307gF*=u kPΈ޴6/pJpsv;k%pVU?8)m>_H;BB4"\pa*\\ܜ= 3B:R&2^%i}v D A>vu(Ur'rM?p}tًG)ʲ/\vɋȄ7:2~+n2bG\^daALI䓂%$`h]_0i끫Ρf^+R &q8˕^|i7q_mC"0  B-*l Tql(Oyw"Neʡ,R X,P&NkW֕mR?IX+c]%Ko |H'SPz1vDC6^ %|Rz)uaѲ"e#Hz8F`':"]) HmOf~2R;DL 5geH%٩r^sZL2VJ;hqs! -Ѕg~a;7o|쯍}l 3}Zv*}u7yRJrT:dcY݃zOay1a!+-$U+9sL?V ECjf"ۼF4_~𡪝k0 Sɬ@N2+O tҝAP e]Kr}c eo$ã#mzfTRa6W׍sx-_[ P-WuAۙV*4[4 d9g|-w 1M#ys$fF͊wk4 _K Ҩh%gSuP2Ļq?{lpQ ғU ۚpJ>-ܚ_z @*~@&/*%X"P<.}B&{4S ,X?+ђ#QtcWDW#j[4 Zٺ6D:0 zڹbVmdO-h-VGzeX*?{RM !W"%$2L@;, 0a7Y+x:{F&N} ό8фxVᄟSH7%!';nOgx:1un-3@ ЇUtqpt'LV%'۸ vj>$߬uxg(w+5P:]o4B䒰0C|2@Cdԧu\: 4bt<'IcBbyO!i5 6KdW@>ieI.8)Eiro0mbe7},!&T壌Ktɷo!|Kha7my/iZf9{f'RT0ǘ7X.EɬONb4GHz))$E7 Un*(Ğ燎 fO@Ƿ\w$&ֿ(8x*7ؠ|.͈*8kA^,R(5v v; ,Ed1cz6.ϕ'?xZɈ&A&ѝ$}.&jԶSL&NG:jl*uxlVx^L:rX3%rs߾]$kNi @()|& mVrˆpy0d6͘5\wUI#{s' `@diB22ӲGnRδ0NJ\֑֭H^R&12(c$#] 0.^GX| fO"hVXEdT5ugQq53rJ{ZrljHkC~Td/qثT&?1d-RvO0ܮR/#r;tw煩|swڨ4Plф?6MmIf+>sH/\j-<еx\W̥_@"F>O@8=!A|艘R)ۡ1gQ5^ݩb9R֌e @xh)ld.lyƾrH9 ڦ^U2d YaCJ7]Zi+ԑz '= )kE0m5+?I"Jwy:@*C IcG*z,R1#R )_u-*+Kg a*_( $c1-=$h=ie}D;'! Hesl%-$Py lUfGmp.Y6r݀#$Z s?l[>\J1Ùl@\Mxd/+_f^9P>u.)+Y'/Alle3xZ*:MG "}sM{rK،5=s ϭ5Ţ>YߩҺzh8ؘ['Tv`?]n3p>OW I'je@>)N36ӍaR}e]|3 `xz~L'I\SsZ N/ 7As8voX7` ǧ$T뙟I1Q<Q,0PZƓ Ǝqf`6O˺mUB ^-,B}q뽖Ys共cn[Oވ8yz%=;*Wmfni.ErBNo|Y`^.D.gmJ7\KLrhWЪg3 y~ych#4cUmNd/g ~aiړO̝k @ |ݲm(v4PoH5Rr7֘,th~m")Ѭ!:ݬmR~?rvZm9A9p7F`lɐ8^㽼yC\MgBK Y(shmAy(Z ٺx Y:]o|jրtfsTdK;ԨW.@8s@H ZD23Yp`<3dCz7 o׈yu_su΋iOX3~UM%n7짛 g;=(D#jz߯bg<= :"* 4!llI6Xz LQߔK 81o=#Dx(ޔJJ>tew<b^s}/[>E&E[5& & ( "qz4#n(cfoZxD 2מ^tΜ {gGfOlI=P^7s-8{ Fڽo[Yx/Q@14WԏlCjde]y>$y;"K]N[a{^BROpGA[>x=5U(LwT 05GZeqVQRJLbs;<Ƅ-`wwELnN>x%~a:w꒺_HT@(_U/v~@TB Jd koW^{Ec /+,DҀsm+2 Q)ߛnUЇ'G@xoCwݔZNj ]})r2Bso~I!8f;׉{;!Zm|Gwi$Y 72w^JOZiW#FC17Hkn/lfgK@i 1oI©eMZH{6WN_TW,N5Ǿ"F*pB -0ϰ&~Q@di +\.ƴ."ЂCX+sĀ2yB%+GUۜ@hN·ҧP,2փ%mefS \5}:Ԝ?ˢXf0uv: (IѺ5ӡ>Kf٦"_0ϧ~bnez1ςܹ+/ӢU1X2BoL@gX$qw2WqJ9*'fbgjWuԇŐ7s|h@BSnJL7<ۖK;MW=KB/+}iDZoDd^%[{ NXglQuۃo`E@)¸{/ƺ(]ŤOK׶(ܴu `'d \laHb4ںO5tCI'U>ҡP;[D׫)pTE֜e;XӔ ,ۅ!ig…}Xz~\@zr* ģkȸTל~o;3i#Ts(Z:=>;W{JI0/S '9Ab J>WHz3!{_?P@ D.S>%VpKBָ͞6 ",eLJ׬#d4oG0Wz ɘ{}Ak_Ô :V޿|cL9:ۼnceex@aΧ 4#ɵiVJN.[x˗3<[ ܍q8s$[]\GڢaL.[SzJZpan/؛ [1uV,ݻ[UT2^p}QYqRtwbK #k3S YGxC.Clth,"ƫEEh %Cl@lgNgYZ03d2b87de7cc5edf32661c38be6b6e329f0f4972 04454f118c0ab9c9619d452508ccec4a3d0585eb 0b69d8c3f70856201e8c054bc34357b13520292f 0f998f25c16154dec477659a65cacf1a7765cb4c 1437e78289fad976268a1c53d4c462661ad4f60d 2f644181a9eef18046b2f747b3758f2be0bdf9e7 3122c5b55089566c74375976fd6040cc34c326db 31b7687d5433d9b2974179da290efc477d1e8cee 34c1821a7e9f51f9406003ddc413e27db70e45db 376a006752ba91a78287bd22ed408721d46367dc 37e048eca1afc2c069cebaffb562a02b039bb22c 4132bc9034537af949509e8539839c161ec442ea 429952f9b1ab48f5480776e72dd795c832ab4fd6 42dee07345f60c7de0bc5cbd4b4841655fda552c 43011728c87fa39af0b5c62e53c9beee3e632c8c 597fbb094f16f328803dc816d2ede8e1a4685fa7 5da4f1f8a066e90a66f3844d13a77db517e4322b 6c10a5f6b21786dbac5c9b1831d1e19d584a8a97 6e2b45afa35cebbc9a7c8301fe6643aa6a831d5e 6f07d7c8a84d841f2a6399d1998e116bd7f46aec 7515bc3cd3b2eca4f9bd38d8fba0eca1930dc073 756d0b05abffa326b94563fb360f88f98173443c 79f31440868c5686b204e83e4f26f92eb8d94f9b 9169bfd49fb8e5243738d07d13499130ca188110 9b71478f02e066362e41439dae6dc24e3ccd8393 9bdd5aa3a04f12448f7300dfdbe400d0b0c4b078 a526ece146642d823be07862c7c8488392c4dd25 b2b5ee5e9d4386b373571d3c0bd7fe787e50bdde b492aac05bf91987603170f7236a5e6af15d9a95 b63b19308defa172577711ae578d2a53c15c9122 b6c97269b3af80550b4d02b597f59f238f119a33 b79dbae86528e11addc14c097b3141987a395c86 cedaf14907e583e05ac48792aecdfcc5b04ad875 cf0eb34815c10b600e671c786585de3d3713e6fc dbf3cb796b90e8ac79747129bcceaa79d14cf210 e541638ddb656e591b67cedd6d2fc74a597c6f68 e60dd8a11eec722998e8518d1bc3e18b7b4335a5 eb02fe96e93a587b7dba35083655dc750f4acea4 ecdb956ca90467fe923eefb041bb7ac70c793a34 ef36663308fe3932b01f93eb89f3039c963b9089 f46048e98cf60d1b708c07c87d1b19ab03cb3aa3 f975e3bf5464df6bd21d33a7ec5174278bee7c3a fc4ae0b9e83eb5cff2f8eee603452f00d118e8e7e4688efe0911f3c4685119d2413b25847e9bdff2 fd75a6d445e5afaec4d07c698e0e0aad8327d77d df6f77d3cba6fb825ee5fd35d1c789d872ff9d4b 86c7fd1199441702fd9498d93a1d3535f80efeef 81c60aa8bc9ec45606136020e3096419ab0aad37 330bafdac93784df0733a8a83abb214e4c51f319 43b6ec54f880325e52333b2501bcb448f2fb7647 8da28683322d00f475b728f3fe4d8bafe1e3fae4