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 99 L\D ]S Valuation:threads=4elapsed=31.304cpu=103.896gc=3.484factor=3.327zXZִF! kɝ]ŗXiɟH)0%oWT6Y>(CH! .*JtI;E/YiEm(JJb o5ciY[[aPǨIaK;z ?'\~dIR)q@+2-J> 5_G9?Vv.OP8XA"1G_+ ŠSJ3oSuEϫʃVϽSd[9WD#`}T2%.HRj[i>!JzS(lH`ׯ zKTY7YZӘQQ`'B02 XyԜ/g@"γ O7ܪY wH ^±1ɞZ^H8sGl{oa^?^Kl3td: ˜+N[FɅ^а"@cNj>L$ruwa) }˻Ǡ&K@ QZ9+#[V-ͯ )HVNzfD. F]8~eQ e#vl&(y[7hG6VM5Tʡ׮96.%f,~I1`*D$c݊2szʗ%A;+܎pr(DH C }p[R0xfXOSoc~O SDn0oM)UQ1++0^FH/:dol,>Ǝ>BbX4_W"Yeş =G O`m)[C֥I״9ÖA&bp$SK@+L̋wən3ĞQV=ungWZ p}J8{fhCq`G9or _` J.!.ouFl\?- &ϔw߶nVc@q"ef$7 QW Uyү PZ)fSvı{R 4|#K)Uڻ?w~[Ŏ8{PuBo_+f/g[v^))UQ$zB,3Hsscicy0<ֿAdb *]MId#q<O܃9 Cx)gd=u `z ׿0$C0󗿸Slݢf͕-_@\$LF>0UG3|jYJo`l\JEkHvo #RfTG̨p UB]5be~ۊmztV cEMɖN%fkqCc|sepk𱣓bgkC AHAz?wƞt=.py N#ZS2S-n\BSRD3oy?~nNT8ѡCgzUk&f~ dƵ$iX%'gP+dJf\a;90KZfdZ/TMK,uJ.*DiKu(O~b[  }DZ,h@/M,?%Po |/ѡ"T mCC2篜E_7q*?#°)\h4+6_>F 1ĝY1Qo{c '_@N-TtWK~XBNT / <=c:q|9;jtpcl+RZ0g.{(=;Cb)vdK!뙻k2V.xAB" 5Oiݧp%QWѕHW"۴x'Yѳ^*16{+~ٵG4R_l>)/5;5=5_?Tcψ:m&ka}7"i/SEԬ+Z%jEXG lBk5[9WF;!#YnI$n{NΣzdh/È/trQ%'Q$&2ڟ)oQ GsqB8I"&&[%ELD`XS+%`A uߍR\$&bPHkk)f5uE. 5 rt↊~&恻OA8aDWP{Tڎ*kD7B {cHR&>:czv'!XecD $͚wd-CN㟐$,2 GFd?PoduGs XAu1arDS|'@y%GJṼik%?̧ Vv|INe+RՆ""`m'U-}2n.0#Jt+IOG@>5P}]k~%"i_m&&&ty*;gOϊoܺv6[i\}4C޸8<YLTy1!P2FQ.pD1WYu h;vzBK{;`n76 \bG{0X>j/2 3eKI6HIdyyʉ}t-T,Fc1&&״غ ,NP`d(scX*"Jk|r-ll;f-8 eR:6>Ǹ/%X *x9 ] eݓkR %2D/Yi_O`^.Qoi2ǩ:3Bkz=L&?'<X&Gۜݶm.2NGk RJ5oDo:=m.עXaf)@8u;kp'O RRU#f\7Ztzs@-QgKUgoM=nZz}L^ful20U(y,_'Fx2C"*:p,,҄C" H<$ a07(1[#\ Lz&̷wc:-*dYwY} HNS)w1miLuj 0 :⑱րDh1{Mdz 2&C۱|8Xe݇㢣+Oliw;Pc!64i2pzp8N ݣFyYy@DZC~eH=ݤ HB>>sM*u#{m2x_7ƴF!TN[¢DZd9͝BY )ШkʼS[F7Q}HytMeޱُ9IQ`mC"=`çia5tJXy13HQ)5^x1i BC*uSE#+l!tsG{ct a)ЫP~ͧw5;x7Z"ՍCW'Rճ3}C#w5H;KA66e_~,_[MD  |U)6Xc,횪%=ĭG+=w^Abk"+Y%;v.'exQp.Y?\Av2ŐZ=܍<~D0}GUGcXR$T9poC]gq zciZBHnMފ2ԙ~rmq5e|=U]uJ7\K穹u;35nUf~Rꞯ^Fzߟ:xjrJ `7F3Ieŕ=́ EKWXU@+iUQi<17ஃCUrЖ>/KJj y! gJLcIRE#qhD/FPӭ?q u:2*Ċ4IV(Rz4<6ÑMBhr B _L)d]:@c'ʊ|q0~hМgLNe ^ϝ?#}L'NJ$wnŸ ؾpOeݾ %'p{j̼ i?wA- b;طPjBkrS- 4ζ&&ǽ! I79vg:ONbXdh/% n>i>#ւV#J -ҩ;R @?eΧf!\ :IP <+>TnORyP\֫ ݘxI}"2IC~Wɖ m8dӹz7ɥEsyOdp S-2 QٔT|ƛ_Е ! q 7_bͦK [/A. ʦr'EGo.-R s9L1+Qhck`牔'--! Cɽ:)欳u"WfdǕtU50; L L^A,O@Ar "&%-˸a/Tg&q~OI8Y\O[`ߍ~32(?kJQ5'y={@z<&#vZ0j<ʉ0> KBN'.hwPh݉0bS\VsF6[F tRS[kطacBqPrU87;n u˃99>jMP$gK p/<:2 SyzXu($q`)8bۃ] JRO{Of# qM ;sGF~gh@h3OW A2/s'O[VKMM})1%3 oYM\0p ^{"^F/UEC&XBBW|l35ݘo`In2VIj0Rmǫѽ5ʽ >P6YnV,ѳ؆)/? pVxBMq,jp|9h:v#Û`X-@`jLccSV=^&RB;|zS[itx~:9J&1kaA5LF,gEtkIfV%_%8ŏ>j m=J?gY)zl OZUX -Y䃹s4n@9~{Ju!z8h~|^f,s=7|ܩ,FEKڡ$r1X-F ZK0 sf`% E$5kjcL>MnBB oJ 67a\Z#:aL#Ï; ѿ׸}hR%(o!=ݶSuC{4x8?pc%Lc8zxB,3(Lq'IRvJF6gNIi(ReۿQ7~Jj&Z?5 os(hOQB=7\OŚ>qO+B1sI,TiϪ/8zi!q!pHg:$Vs^%:x @K [" l1 !~W*M竲z0G\XE|tjl8143Z%3eg.-Mdv+&BZRG>'e4I6Ӿ QɛEhc&*AmS[>!\zWd+Lu;[8 QCF]QEE©i0应h |} X_?\=/ {蝾KE{̥(Fu@(`V0(oi'}3;LO;1G 0ۂ^9;! qeg}awmȑ=v7q!YE1jM$yӚԉ9S5QҼ{~lF(fu+n >)aRJ~:zvx;EU=bjb,˫":fN:F+UH/kA7^͔xWYk%%,Gvjܣ`7=v3DW$*^ # _҄: L'7Ȍݳ0'p8\HyW1^GuNFR)kd #qI:$6% (*WY:S¢kJEu'Ʉ. ްQ|& X1٢f<{?JCDDQ.^6YӭީǢyI*uQ<A.OᗶpYvm[zra0>\ca%Q`n0TdO?kc&{@)Bm:'2 -j c=ԨBMfXl V[i!.x؟$#ulŚ=g &Ê~/(S(m_Qrd3soBӕFUtӼ%6$vY=k&W_F`7a|̥ 88 ۽J^qz\A۱IoCD0fLB^C 'Jf3uE碹d `İ@}=%F SxwH#OEy6keHa/"hZkjuFC8W)0\ d%:GͳpS:ŜP|dH䡆.u^s!bUpK'}Jj''@!ȻiݼI8 2q?jaa+/^qu}8oK8ȸ{a]叜pg79XBt7l!I//XO;.1X`hK ( %.p6(Q<)t$ }r jʥM,9ט#G]M[{f٭'2J M%D3gÑ ES렴_V*Fm<+z_8zqz%٭_`9ͯF Ҭh? {[CL2E(X/xAV}>K3gGtD B%t_i Gmw9 7r0/ͨnՒΕJV@H#=VВ~!*jBQ4'}Zƹ *[̱贤*n֨z;Dde]FN`Wj{= gS;-78˻DRN @VoS=/aµThuXIW_i5 NOёAF|.°9<ćp ^5n+cIZ"l-y]Ixܛbc̪g/v'-ÝVN7puHv[Up $dG qT: b }Gd#ToL+Ν_+؊M&Zn~Z|&:D ݸ LujiL6k9m6bo1+f 蔕dXxITP^;ߚqʉ]"%xG eE/߂~m$d=WhyYst͕`YNJ_AmQLh$vQ 3cU8f jZ.ãsdT=s𨧡ToS f3Ue0]gzy~nK?3C=7ˆTClΐmT[O"豔س&p#`Qu8`5ʧ.G{,5`lkםjyا\4E݆eU"e`qP%(ԯbp?ɱ G@#\qHgcv ;vjcm}wEqXקHM=ʐw} w}EY@-gN BȝW=aCv &7*~&k)VafM̤пDT^M緧WF豲grhGRU_Of-9 B>ݥRxn.P995nu:H۰H`!~)o'besBNʀ2F ^i4þzJNۻʚ/dϚcyh᭝}A@M<]Oњ;b2)D }0$[%/bgpJly ݒ\q>̂7a~Ɩ@l[a8GFBf\ŕ'ls"ڎƞٱwҎ|%xPP>Quwmm m !n%3xks:#d ]̥o3m8~JuzhNSyvgqcgFS ]1e/̮&kK:f Biv>*~N9xvDB $+ΒIM}qG?w^px<):#XY-Ҏ,+6\u8 țUq|(A%۬+&tgRk1?>N Z5 N& w,Y=o> g1lFlPW/DO!VDF?W81$>tۋx>if¨ W^Vl*em|:lrʦdc-[t,4\j~\m@K6@y(>̺!vS 7L;=(SUĺ'&"J߹y@B* 9*-INX>'?\d d+CPV؜eer7}rlg kRp4B 8l㗴A@=R;#_2%Wu"h*g2 02 uSP+|9T<> s@.,4D9mk$PX6Ylz^gS)9eGucZbG*1$0|wBǓE6"}W :frtfv٪i*R^=~9zeӜvʤ;8i1Qa<"TakE]Z'5li1}|huZUm ׭']9sRɬc.cea8Xť\ u gWB^+Jo _2tSdŎ7vDq^/64..J&o Qe ?erDtѹT ҵ{a'SyGbo>^fj}Jݟ< E&3ZU{xsgy턾ǕXpwDB x@> s7 :~8r.|xmã3}W r;2pr?aP򊸛91*K`d M9Պ̿W**ko9:?__uU 5J.R$:ԛ&jB&dtT BgB49s !:Bƴgj8$h6d(C)rh +o\L2 Q.eίÅʷWmfU]ڎ3us&Pd2tK!9;DR!ѹ! l?à}9+W9v{ȣgeFLq9M 4f}&kxLxma}R' -A"eFiΛtxlP4uT`\=K#6`v#f OLE\龝 -z sK ghDsrU' /4h] Xk8u IL ͫ(j7kC?_Y{98?lD/Tà8ڦy r 4SMMM˩!\{'1B& #Zr,SF8FcGbاVY-p̵q'0]7ACNS^VHvQF 2{8jr>xRaDAkn0׾ig zIֵ/Cf;) XޕC%r*)$BU8S->3,C\ď}]ť"HS$-D jy4أ)*. _%+z^[Hֱ1Iv|ayGH$lXNy_Ax+<8[%l]: Qݵ dj.+n tf3$'),qP?79 "123wʥ!u>yXÔ,tT qZ%7Y84Yѯ:j?Ao/i.Mzy7f~d,#2ua(Dt\J0څ|k} w~/ra:]>%7fk`D~ݣ82(+ɛȞIc ^ſ!MQ2Eafp$X?+ֹfdߔ ;K&*13BB5GP=[0?߯V™x:N]džޅ[R]%vJ)FۏC,ɼdz>~ɠY)+L<B ?Bss HKe*/I`f}e$)'PMkJc,|.cbLgx5fmM V|Y+.bBګK$î)-*0MI<\:s &O/N0TE5u7w6>m#SfBc@,eMQ! a|C)]eqcĉIrfoq`P{K ɞ/gaJ%4O $ A̸zAwA N`̕X'TerbdVHsuTܿ ËӟM7p!3&lT9#5%u'y,1Zd@7 m`e xaŵ+=yݩv )t`>*u` n t-4`Ueds:טF=vx)26bW9rBb/"X=2Ap׎\(cEa/}-&(X v?A㾊id8;ٳ5?Q[jV6)K|-f5u/eS &V`s#,ajɮ& ej.I >q~hp?0\ dLqfx%zuBFH%VusE4 AF}3k<>wJ>6SA X0My) ?fBq, =58KHIXO)V\>KXX'h[c$!Jd\wXkgKcVOu߽ZL ɲnkS[?f$"ݓLua*eL<rVK3A>HA/{Y28Fe ijwuhY9O Mlj(TiTh䍕^o(%oѼtbdN. o }y GB{RC}Vf%ir*oguT%ẎE L\*vSc Mvu6 *3k2p =} cR*_s'a*'ܭ2 3y))iԴJ*-aDT2`U`]s֟Mۅ~8Ԍ{!e.[>ھ?EC(%!Ptgq-$nYil?/V(<wآBw_y&S9 ӗ~h11EJr[+!oDrz<ŏ,&1_e>??*b$'boȏȌA`W=(ap6ZI|TkgqUH<Pٲk+>XzҊ'(A -幘zwae!QDޑ[53 K?J܌DBJ9| ^>L`H~tnݑHPpK,b_p t4U8u~ǡp 5}}#OHp1l1,w *ϣfs%$+zD _(9~|%t_ص3䔳6uLR&\,viN4Wj%FxQN) m~c}*U/Q2* 9_8.*_d݌$ Un*݃%QFlca3e~ X%vF1  T=3 g怺D q@Z{7--'=z6PO7:/}6cf{R\)FHkirDN<dke WtƒlS@i e"7Vwɟ!sMOSŸ,iF7-Hۚr) 1H؉Lf^FР37$2k+ 2ƑN~/g˜^^,S*5!2㘀bI(ͰF:姶erT0SȠ RJs6?3s?MFbW81Tx3"L">g3!-vzCůK@*s^,0ԕ]HVR%ʥ O9IG$$h`iZ ukhP;j+ ~h-&߈p޵z_~1S"jΦu&qYjaz 831S'tng$-2RuHKHP5W׳$UʛwWcs3۶`GOHe}M5SD m'— >HnȔfFp.bpMbxcWGmW McCF]5/ώv}tƫCEa<}s86VWQa8ޛz!;EzObϥuAޏHlsYGI[1?UŴ[e|4THT(=urZW}9=oRbUp"jxA8 `nuH^t.g?|ފInV\";ax? Iŏ.401uDB8zp$ ux d?ZK1(.@;g)N]E`RsacaPQnNmd:ҝX{%W EPAn6}`R snrFGJu~ɶꗐ+韯ZC 7eU@zipK~Ew7V9v|b \;Ga6;ϘD x8ŒYQ7ݛD8b0GQ?ў#$;VkW!bVf$N9bp"N*'t UVN1X9ccTYFJ3Pu0hHw`t&aN]3q>ՠ:65ZӻkK~C̼{<V0hJTaK9$oe(UndDҌhLXoʘl<=aj$-i@\ oj~wpDyB<0(, Q>9^t{"ˢ!\/.z~?:?c QZL<.oי|E"X'ЩSm@;-^<"sÞU;j<}ۆIY>jm~vGe-e:.VB-~0l=J_#͉FQOaP0RL^rOlF]7Obg7-NkEv7#_}{4E!L2ZhX x) ؝461Ԟx"Zww2>S$H|ch(1adc*1ҽ/2X>eo^G;P١W.MV|޼7,{W -fQ,&}/74bKNjd)j^8̤?.|1U2ӑLX@N?4 mY%ӊ+Lߝ-L^]/X|\Pt:jPjb_\f)NDUFI( [|lʟJtKl!)E8,Ϫ?Sʩ<)Lv?պGotH.@G1? .qz6d^&N\CRkBnicX$``j.wߗ0vRwhСIK^e?SF/.XڅyWܫ6rI߰KM<_}EB+mOBYrN Ԛj3ZO}'}1)TX8ƳOl&ݯ F٭(7@@xL&(c1Lfgm=_- bh8&j O?#x]J0'=tQrF g `JnYVnʖ;2>zG\m>)馻=# V妾\\>Sp't.ypJ Zi_F\fmP^iwDbӷ'D C~y*R*h I~>!#ăr@&A"GA(8/t0q1rDOa_QcvV!R<ƫe߮K :MR 4a{F Yٜ&,cFnFit qy^v,jϭW G>Ɍ @"r(Rq.%0QIiМs9[U8暟ڗz̓mWCX%6ƒѤMs3#QLUsޜ[i겛뢖T’J/Aw?AerkVYVr:E0k}2WyD%?Ac~NHJg*j҉>&Eax1Ȥt}ReUoD^$dBz|_Q˦ͬ'׎^iB$CJ0`X82;Љ-#/ːg$g/fon4}M{ApJ2W yhi,Ƒ<605xq"oO~3xZ"Dć ?mv>r(v,B=SMѩ˾A7ƍ[t6E)q;Y.E %FèW7TɮŒ2v#ihlhKEx{NX6=I<{~i]De25i|)a!#V`vfU Ueo,aQ{JQXrfױ_qX'^Щll(6~Vq;9X): 9sv&0,ea1vGd[ O}J]Жe%nЛ-Cy˷Q-&o7ZJ5PJ)$Jƭ@1vl~L60XgE'ԋ5cLoJ~-KzdnaȟeU[J'ïEY ԫKn]܌b٩ ۝&l#|#,B(q\zy=s*`e'!١2b )%m/(+l$>Y(r/|pY1,ÆƱ6k 5$Ԙ1TGԂN([c #kAۯ&oufŻ{\ۊ$9 /o-oG~|N7*Vq 4n Øڬk1 !@+\ѣY .P ,אDa_~1?:"Tb`S(D9A7 2hE4 %K+<@:y뼎 Y"w,е & @J"6;Ca%Pǐ dvFrbz0M0bʐuFZ](fNY"(IQ\=\>胮sAt0h'r>I;osNԵ*D9b t\ ? f>Qi$ ) D~(ϯIJxZmPsCxuZ4G qFB(>@1n6jhdCvS%DC"u/-"9k[nbiɫ}6JbYnY5j(-D,H 5!we 9ThqGϏftQ]?3H7Ϫ;63d嬘8)/ ٰQ3ӽɖU3\Si)_f*Feg on|d9B( UMT]a_ DI84/^BD1X^9F#pvQHZxR!]݀0lYފ`P@mu'WWגk%E-)`bE"3;`FoUq0)ggXWK`|2,y=WZ6iVAE=ՅB٫znid.$CYBIW8!M)ؔvw|)’`o+_/ T3 оn HV' x71zM+E]Mwe>P!L1Qo"t/}#O(pMB^:#LGX:4fK 9,(, ?X~٪;Qv Y 7]H 0l܉嘍V,vF*GiM'%Zu*qz ղki}MdQQrɍt; A-؍#Uּ'⬦m40uD-7fKDH$CcN`MO\M-;Z9'BjI#쓶0[m,%F6h3 >I!G&ܢ= w'pϔǦysd |S 9Mo):p=Jl#K2+杨G<-_a؅^& oxo4ٽ]֊wPˀcyR%RȖ+_@ ]ƯWsp(|ݧ\}?,W,2+uwֽ-+wHݮ=&S#)@K ֘x2>Wl]M#:F\9 2Ko#5_m4Jaݘ4izC 0D/ _Yᘎ+r35ȟ!5pڴ.k'WXvv(pU_A$-11-3h:ttO\_UBխ\COFd4ԷF9dPS’*kOec+h tώhO4*m߱D?\u)fS笎5AWqJS4%CNȋx+/$O d-@,jzM5<5~>VH.4V# [[UE)CQWvki!b/1ZI5X"3Y69@k^р<KҸ)aG^{ako>EEXC?t|^t! AKx`zN4!>Ej{899W88 >zIC3uL\yCܓg5]@a'UOxk2!m(ҵN|.Whَ N^+'ʬpJ-}[[oIMUu7&fo vr[K@wAK1߲eg:cP9E'Y9N(+ih&9 f)Ō/~ 6dGNVtF ~V>AjUt2M]SFGaz3MUa , 'sۇ'^B':]Eߋ~*6Å~cDD苍&h;ͯ,fm /IuSvzccQEC.Io냚 䤛=?xOV5^P*8;)H*12qXgK$2@m}LGYY;R0R$n͂Q}Ņ{+D ŝx( \+v).b 8V/q٫:U}~V9>Xf|3F Hjkb[rtNyw 0jzU!D>R;:T(A[P!Aks.3i#55K"*5|MƽM:gVw);Ce֐MnZ\V3(l)\(4`4U[eQ>3'hs 6sE4XK ]> j+#X1m4?^g+ROOO+\J>JNvWe<DRm"~WADɪ[e,]\'R6YVVGi*0ἦcYGIvDy`d ؂ ^'@+PyFU m{y H :8L)c' DU{Ӂ>yȌH9wQpbG6o"w'zQ>iɻj % c={C{D.8Xzn(S?V^o?t9yUķ$v{')>Y>^vff}p`s]ξLS}U4ٙV)$_9H^2.rّҢ;xNZ] A8Qm[uΦӧԹfOk,}>6Z>"֠MF{BŒCЗGp%s/BpTZpɑG r+Kȷo. `4sbBkP淶 AY ObnI<BWyv4)SgpS_$KV8@ zعΉ)>=טrf֏NUI6wm ddgC6{HwH/x~^Jvђsd6~%y"ױlx_ʤWNHEI2*Qö}q07VC7ϼCj h,WS/[j?7vxK OO̎ulGLDs=#$ P(A۩/%^kL_( BtBjYw|'G btmƑ&68aEȧjz0ufb24}VT7ZR@bDT]ӘyN> a@[JEw)dmw1*NVGʗ}xk˼Q HBΥA}H t"iH+Vp mdthi1N;o1 E`|[KC}uox Mn܅Orn9CYyw%Yw9Z3Gk5 d"֟i8k/WKYkҨ=#Z%iGx$D]AyxEBG%t7#0>.5jyaǨCPD5_(O̜Dͥf:;[|+>J~{`t'l6IJsk-Cӯ#Jf}&pAйT[>ey'oa;s""2FkMFa!IiC0>~ws^8嫒EF5B&\FD9hz,lle3)cN#ܾ~Id³ng\2Y Hc ld#BOaw+ \] -۠a &e4;G8 C冸Z $o ,F"!ZMTZjMZ@) f a HA%Uu$6@ lm5_]}JHK;f+A%`+ ⏙> #-[k~?:qoNi:ϮO=?dgHv"<(ua,ui;#$Z,\yA Y@Q|׺&]ONwgY>aE`vϦe:Ył1G.d=4b4h^Ȁ# hjTNjLpڤsQlurEֱkR`vۥ+mA}O pו ߬(Xra9é/UߓN0vB'K _ ?j+@_pM0L!TxH-wdcɳ'h 9Z0EH6y -Lqd?+tH}/ށe4O?N#,5 F]]giWJO 6eҥAU)ԱzϾb[,3햰fT40)%[xHey(-ƣWr@N]3FYfMy4[F8M{rTЌ@QBk{QYT٭(Ziy<Y8[LM Uxҧ^ ;2-$.GVZ*+b{6nޙm7z!|nu&րM&cu}EpFYe8#u1R ^em!;X"ڐTN]RJbN-WZJMFv\lgSwa]滒j=P@!iX[ \,Z̺xrf]&RO R6?7C 3mKbIf"i59Uff܅;423m|)_g؇gj A?7&%e?*z:"J@'8ޤc?1)Qܣ#3 %{F"Ei웴b8>cU3Ev݅ihGWs06Esu)AdJ>rڇިaG%@ZI|`/\ngUWC0ܠC8x'Lk@okMmosⵆ*dɅ^n:WD<nX4ѵ~)ϖU> Xɻ`ESڻ݆G(>O&\^¥>>ťiͮr*,X>{s#3zīQFB/Uvَ,586M:h,.Q(l|3̞v2LDqj@oM-ι8Oa:I-ZVH5>T΂az7{Q0Bl=<;/zb\qy 8l9i2}VVOI}LP<|R*u&.:[E,m~4۸MR崢G푫 B)Qa[tL<k{Ϗ{z U. ii` Nafqm`r֖0"Z)}gaykS_ZEv`a6isϟdAF'*LfN5hl^T kī*]NpQ1 pw'|dcθk˖*=AZ&]X(ml<25k,0qI6WY>JʴWf`XP[;\j )KF/"VJdQȼf>`]l%\'KVisPܼ!mK'ý u^>MQèl?K:p#1D4M;)żN @aGDl`(R[5j*]/N V.vi]4&6-C!>kWK}{iћ)c~?^}-8.+ qnU>qPNg`afeGMv۴.bgz>Iqŝ6z*k2Ew? PݹS[7Ue(+{wY!T]}:7z&czLnpN[hmrSBv{҇LHjpIO^܂0S#5un9m3a˖Dߠ/j>>42 ϢI]p[h S딼 Z ʱ&EnFݤnE7k{ u>s VO |8vFiFmZNYq]?slqpګ$8Dʻdܩrzh.ȍ0n8a9~FP~J'O ͂]2YJq4 T`]Y[: `/QGӑŤჽn3x*LIQd6=˜1Sx}M_|?0$U~Uv|c0EoC02MsS0!d Tgo ? YHEp؃*gԥ"lϪ"a{ZH;>nׁdC2j @g菉e@]'_ӄjJGICݰ-˰ȉ !NPߌƙ2EyaoeX*RcmC^"P۰Zt+d{&QveEgt3AfI+)CeR &.ptOƔaQC7 c 0B'C'i <\{Nr Ԛt2 zT: 2Tfr9pҙDjV*rX|0g?N̲p b c@64^<݊XZ86p3a$%EB%L_j$O>(,uɆ~s8C63M5cuO-փjA8>ktp k.3]̜H-aҠYV{3ʍy  e/OjOЋ">܎wK@M=L>NƶgƓp\"k^Wtit?j?6aDODU{b!4>?o/|ʓ{':c3A{QuGk{rAXt)K:}Xg nڗ.tnb}ۖDZ7=9[AJ,dCi1}`$[5/Yhe]a9BM<.EҤ%M![B;*xN&eR`):K_GOAH9Xw"g_Cujj;zYL7!kGpmݣUU! >N0* K Zk! sk}< Rs[``L_N_6E Jx\O"O*1ItkP]dhaΥ_CO^g%Wb/e9 +rf)g[\mc6+Ps^Tܒ:*1s/mЖc9 ՠhB?3)*A];*P2ʩZwBo|v"%MCʳ cdo; e4?G$j1_4)E dK rLJkk;2X#rBs%&0zqa_φ{A{揕AwqGc&Bys'ڸfO ńn 'Sn,k)򥅌4hRW<0pWF$JP wp{܋$PxXKV-,u.Jgb}<KQ\/4[ ,KR*mD|w=%*` B3g%:|o]c9>?6`A"מN 8ΦbV3 w0)3ʺO;kK7t #jcBNSD*.~J6' Ug1VúÉNcBCWAF|8~V$[WSAc~" 2Sr_9z{2$Qû}Kl |3GőEd&;.0֗81b(f KKfʿGo44vPl?Ev[w)_\q" '(O,yOP7ksL?5L z8 ]#ϒ=;uBǟ;xs t|#ؿqWOw+ y>_ >x{ߕrܺKv4 1V{1SL4y+lm11q_7krsİ3#tەK3 I~;`2ԛ`7#%=%e/y3\Ŀ+̀_$ssmKOyme<ؾ8x)lnsA^hBHzabU$MDVc p88_2!uC–{XvgZms]gs3~?m&ao6lY57B\P p"&4U:\D? ށ&*fsy#<:g |q ՚(~qMgy$5KZD.bl>Ҏ^ WmIdm|JF6{O_Uhb_8'& y}.-C@L|Ѱ,?:ݹbj̫Q0[$RNԘ'RO2^B^7:enzL;\jYC G ީjeT7C&BZ84oT嗟A߰$s@##Dh6 s&7QE@xKR ×'-rl 6Bʜwߺ_#}1ҪLmz:ۙa;^6-G(@o.~r6_`$ac|ץ&>6"E+X'^'HyK(ߙ?لTDݿRVK~OܧEYXص/wZ+A4M5?[^\Iq(J {*(Y?j6vr̯#e"ET3< dj~ /g2d1Y E!y~{.7HFl2;LM[a#q d7hkɂưߒ{u3zlFJ¸L_h/;Z[)?HM6dbP3pbbƊ?1,G.ʰ7Q p(PHL4Cl*|b51#1}Ѧ jVn:@/\ꓭ8I3cgB?qf&Rq2V}Y8xPK g?\lAh-!]{tW:v.a . 7a\!-Zh%@KjՊݠ L]s!bw}y}en҅6&QC$V½gS<٫Uڡ^O03JXkOkR]z[&wSblVyXİ|ufiH:(Dz%Koi=sRoV!. hbEdmHXF(i{֪z l.qe+\( T2H-s)P}@X^T"a.lB)XaGoNR^n#Z}m}+W]%d42x$ap+y`n=y1 LoBpi/,ۣf*P,`NiK(:iIipX b Jl.̬UZ*ǡP?AR=Dejdz+41npoa?]^'LegHgƘ*å3m@>c5(%g^`=vCU72?[#54eɑ`OF_ \h}|5yEJ< @W y^2HQ _ ?Sq~,h]Tccz$c kD5Boț{9vWTҮM: Z1w 7(+-V8QbӇMo3Z=~gf嫑n-_̅ߖ^ ačmT0B4m'hU?B~)秃?fLJPu{ѴS u[<Ӝ!^2/-H īHC2,XNܣovoJ3ǥuc,ޥ{ƣT 9\iy( rNWKDU 53o}C~AW捁X2W6$#f)W_̔kʃCl^*fsbFVg[Bx2,F0\+uR!KPN:|'AC$ ߥ%Up?hn{K #I;58Zc6;ӿES9E g}y[N,oZXR@Ew#yW$hwfIm}i,>\匁26޽2B7jRYi rtB㢣a9>9oYw34$9WK I1-^7JFCA\b0puM ۝̍]L$b 5|n{=\uAZ#ڣ)Á58ͬc4 FN-/zaC75V{c+Y$O%y{b'<V(Y@;~nimn i2?Ƹ%,6+}9}k4Gv ~\=9>z$WC~SIjvk HRh Z-YrMS*@M7O i>@?Z@O>LkwgkoJA6VZyPQS=r\]GP23jǂTLb>3Sc͟*!\ގKZi!g< 7 `Ѫs  eJ#' }'c ]7\GN(&ƸtU-&~0_o^/3QWOlvaBp#Y~ >ߵ}>l2y,Mѣ*Jػ~@rxL`r>d7`>d98홊9RD+om(Ղ7 ϵeVVT x3LjA."Bϧ䞫1o$46N@z!xdZL;*#*_&s.G*#ӿivr[5vK7\B>@Py5dO{vfZ so^U,s_6}p5ת.3m:L//$4we:GP Ee}bcP.W#@ r&hƊnMcC5ĞQ-qbNa{K7;֩Wj7eBIf$&G^Jx'* €u,䢩';+gcz l*ǜ_WB,Rј)$C .lEŌaׁ@(>Di$BV~Y2s> 6$*~x&#W] /| M-\I(H/ Dl0-b]P'rRC7Q:upQĴ'x,XQdkԟƪk.^8y+HK޳[H'd7G:K\vCЅԑAN?[C5<4S$hl٣gh1j*&$Q) 5k *M;x^moRwODĘ^"~TY0xQe0s?ncؘ3'L+|J`hbTXLrDהfŚ> B{ӡۼC]t!wtU$h} ǁ@g:.&xKW(,C8o!PJ]'%B¿-\4+8=MhZ]ٺ+ f{ P5Ud:EBiѥl~zWΎ&4M$?L|jۈjmrll6bfֆlE.5S3AFp^_7#Dai=ӾQPp1|XnP0qS: W(~Fm,*4iwq6KFاIsͶ #! *o!L,OHiSoĝY7CUN>B/٘ JZDN=g.n`CBeY]8eN=Se}m%ɒЎD̎?hX#"9-WA_EraqQGWHGY\d(ZpSEO*/;grsVtX.r,KMf+ciux<В iyΠ_Vxcܣ4rc0AFTz1tYy]O?r(Hz Rv|n}:qy6Jb!< S;U4x]" Y0'~QV):)r?.cf(XF^;dC:ߔ8EgT/ Pi˜[Vqr')`\YHk(QuZ <'jh[܄oCm++ħꡒME,J1[ 01*T:#i"%A+s@ڔ`& VtcOU> ř|4zd6=BIRv_%'8BL=]Sh֬*^,lhPٯ8sB59t9lx4NT ȱѤY5hn| A=V#qp}MAWP߂2XahQF2C2I5YlH$FO h}">7a !TL#nf"Ch#2~B`0~&^& eׅ J[bvkE=`t&?PzN9f ;!\)ܨb,nؤlFhtpC*h !+"%F>zB5S 5}À1[Hx6x7wA '~_Ә]+eOdɱ\(wFg ҔlAj#{weJVou s*Q㷦Ԙ BgSB d#a&bAB:o#uJX.yQ2?ݒ5nĉUH||CX[֒ Jt]9ӥ1$`u, 1&$6Ye%ߝŇ _E[*/FPϹy-ΰl_QSBb8o6P0G ?~/@WAXw ~fuT)x<*:3v!,%q.8hw)>82FOg<Ģ9Oo ~Totȭ4"ep8e, %pmk|]>Mb}Z[TN6ΰ$S>>p碟C+2W@4a7pư?08 {bx2ˏQqb|Ci7Zb/<[opDh49PHK~s:Zcv~OAymVӅ#8tA7.Ka^Y& mmL^0rCt<7e'aiQQEqW~Vb"EXJN+qo;8w˿=] 왱1|"iFav]gmS=Z}G08 ,}M`;p: ~?͔fL\p?PC=>w[XԸj%0tn>.ڥnr9܁/g~Ú0|JA k-}^–ѠGքrA-?Mwc8V6681,i>6fqDɢYQI3`,Ctg<w#W?XPHdVIu.2N8eޯ޲ )I5cl}[PW!-xbX_BHyAygY Aat+'Ε5oz @⻸0Cp)Lfy IlZfQjx+fk`l6>eORe&.2n yQ뢃~c#@g{#K[Qm'KGqu }] 8:Rr:*%^ZQHS/UY"N?+ɘB(o͗wuIL~_eonl%{>WJӦd<׮X;1O,v ?U6{2T|`P_*bL3GB`ʡ0BiQkVe-[j7D& 7(%OXirsٍ z 8o8-b9dK2X :Gky J\!۲~ KҲs'zdfiiNjJ6"ϏlGC[).E8A6ݦbfuoNV5a=+}5w5/\F2^ U tg6U'TӸ,[2ZI&Rz9YܡnlzCk@*L+(wMᵣG{246-wrҦ ?^Ig8#!Ye[0S]Auje:kO y$x%Rݫuvny2`(ފכEi!#ڨ}]u"=YZl*B:\]0v.;p~`>g~y%'ic.D9ymncBn,]6k< *AzØ ;6n}JQ3}9leo! ߦj+؇d0DMoJ _ q&~i)A% ¿Dң־tk 9҅\65ʘdӧ7C2ހYlל?ؒ"{4W\;$'i9ݽdf[ e.W)˿G[LUk >O73슻'!n^]0#v~YfNrIaӃaK7%5"uWܰ59幊&5xnޅE޶/!܎7Ï#GjL yRA̶PYDzQdWazc|(&N31Rh5_M`3m8ߧJBTUVo˯MM 9Zv8HnpN6_wf<SdL YQ^*㍗I .eW\s)!I{ui/Y;v8(Yc߈̢Ͷ,у"͛C:2˵ʧ#28ߦXgDs^0kHC鈶<~ʿnN̡tXa9Y#拄ye>%{ɔ^# AZWj\ gX!6 w3>aA \zXe2+o\VݩAB4L"gq*Opɯ+hlze鐺lOP<=7~P_ĚzBi]gAa k~V]MU#5ʙ-!# ]iؑӔ4tw_b 3 ^á\wj\MmwB;JcR#zw2#e}NpSq>7z vK,8xBJ:ޏ4n`]M+e w's-x3zDn'0jjHU=5G7ljbkeʖ,$Ij~V,HT#0bMVd&rN/~ 2w ZE)TzɸI`^ЬNSI=SEeZ|BcQ0d.kY}HE|Sbt[ "@(G ~ תWr*sD(JSjloCk &LR.g,1_:*"kIpiMc*ryqotDI,d¼& 󁂗u$F+P~ %Cr: >r?>lݨCEMokA0J?>D,w0[cwˀczZ0[Wҹ f: TRNdweנp$Ysl>0hSfIVkXт[*T^OIԖ{,lEdOd- P ]D{}g jrXOau.>SwW|"`w'Ir_^&Ib1 ]a|!,iB@ @XcHe7Mj9e36%b&hk3г.ø)wY|\p%ܝq)Vc^3RO wg *e͊UfI[DG8'.DJu$SB(N;o N(mb7{can(g$x(^d.WvmAϿSԥcDۮ{8'c8.A,.o}S 191ZWm7B  B훠e93`[3vm idK;cT&9cu]4]A_;0O6 |ӆ2-vZeBJ9x7,b3lH! v$ '/Ft l 0|UPti=j@X٬961P. Dٍ;ĨAFi=~'U8b""&s@U׆dpPjWۤCC?dߟg]p;ACNA 2R#,D|Xn#[CWDu}ajkEwd7F{s3^;y.VВ S`Rރ \5zzD 9[QYhj(ko)Jw#d]Pu+<`*Yr1gk˥rSrØjc S_0ћN8?ܲ iN] %)L& tsB23>ǡ (G: ?>@Ɨ ,&m( 8je%.2O0)|߃C=Anf\vSYqSalfyޙ!s\I#ý߃&i* FZȀ>) AFº6t}~R%0nYUk<-f|TGmYl=s)DVHp QPs%8 ڑNAB)q*5/|`PB(O(5L5\F}OyG%3}\oFR9rN'!0)&gy,V2 l0Q% sE@1GJR6t:A0C}XWKwr;օLK`/o\?<E&.uZ+AP-@VV.j_YWb&D PV W?Is v er0BlErDٰE(9J{^\==:fCn^ePMB,(.CW:m蘟']1wcxy^^t\(/:)x|H܀]CX/KI_^|s9v-kXbɵ%4N^g!7gYZ6f55fd99cb62cd5ccacfb435d2eb56906e75e2ef8215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61 f5e991b39ecd6c398783cd24c91c5bf70874d19d 9b37a2668ca6723ac7f82c2e34221b2f5e5107ff