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  %\l\ ]/]HOL-Analysis:threads=6elapsed=342.951cpu=1632.100gc=148.884factor=4.767zXZִF! eN]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jn%b‚$8NbB 'o&3!?j٣tZ P!@<{4%e|Gp!'p;J׃(=>Q(>4Az@# coMvEatV0ٌyDa1Uz$)xx~.ɛF4RuksنbJNɹ%Ŕ{Lnv jZ+3IO.8?m=OdAlV^gsIIث,! ho(4_^ b6Z`& ity7DXXGQq+qǺrX d0$@ЙZC DbS@5g}i`ZXB$NڼS 00Gb*|% `$evk>nʈ7\2ˆ8nxwFC$ENkLvl^Dcf,ۘo^gex~ RE&K<"gOE$9|ij1D6)` wF^ůx;(/uM4S>D' wfHJ N!S.͓,wMm?T:T( ^|l*Ѳ!,1 V3Vlp=K,F`]į^AҺn9BĿ7O'pd# `Ipy <~7_rVb--y嗯ۖ@6 5DƗqe7cC4Z}|!;yeRSU'\R@lrA'EC1Qp#0$mn&|E/y5hvn)Zcla?`AvI3UkezN@"gۑt9 -bzhR`]N0Wu\ g +6PKmYƥ~OiΠ [*gd3ҷQ~s ׼C4& n$9DB42hQ+ ąHʐ 0 D؄biey"pl5 fłk^c_!ѳ3 ["9Ad= @c`%M piͶ)Q=V ˃\&86N02&dq % HOL-Analysis  Map#!@~;o~cvQ7X?غWp ue<kd͎`o΢% z|J }YՏn3O߻4:ز7 u3W@oO1|k =R=J, n3K\)P2AI"ZZP!巵.7/|2My8r e)D%'a./tp_Aav Sk >]&zqfl|ɋ)ñؕ )qѾ^Xtn% z-'׹* B9k8q5ɜczѮ$kf8KeA\mNב:m\ܗ ?J'iӇĩ?=-,NX8dƛ$_9Z|TD.'̥32m-F D”U`Nsi|^ޱ6vmTR\$"Eٜ4OmlNx#%6byZ/A:ظR4Mjּ~R>8``@J;tj:Ѧb;Ɔ$鉅ɽHai]N=/VxюVÿV==ZFCC-&p>RG|:T3D1A1ʨNw*ghKKUlS}rƽ^c6x{ZDx<ųmZ#':(i' &G[?_ HUָxN;tCfioM.@l?k< }Sļ cQjmqekҨTƓ-G_q#Z Opf޺2p?4\)WZ(Kb$rhH>zx;~Rnvٳ|O&@fWjv$L#dj (3@H%zXI/w D元J{ݕH0zf[j@д1g^L @^w/$]2< bUn7Fh˵̖Kc2D7$_T0YuuTC?B7$0 Ԓиۥl[`}*`jwF0n%K}vR) BpME#y3ScXofCo97(iޣ)%h;M"_epCMA2K>9g] D*Da [c5$ԺԜXpWT~ Guȫvk8 Ǧ<가Sdp)Mz1$&8\[V!w_, E& эprm;4(̚ZH1 h$:O1F(ǭɪŋvrA˴gN oE6\9cQ"I:t&uhwҤqG.HQ[7D ؟f!Gʼhh(}+)ʡR3nB"$0jZX{VFr[ݯnJI$;4 II)[Y'E+MV?]fƅ!3n<{]4N"Iab2*b(g"[Ͷ5\M|t@'\ U5I, T~yK )ᡂ0";IZb^R +~ ։-Q /r aԸUus(--ՃK(3&w~eM]f1$MZX|Ԗ ߍu<K]ÖNYb잫SS_Cp{SOVgwj3+f$l69IxRLgGv;+ 6!HOs pa2{O)j n;v46mo*#/׷v =oލĚC #뒩{t7% 8p``EC AI66aObzl!` =Yreʽ <ICc\1C ? 2&2qhu$|c?7Ө8 d{fɍwmL ǩrH&e, _L},?+-dG͂7֍G s弳m7Ab儤;ܰV(BV;B2 {xZi`&12,k S6||b/i iټmͷOu&7e32,h(Oݟ#\{K&K:bB Щ<NɚQb~Ho)Yu{w c%*CF̭V$_̭EZ* #f GArL[p (#|[6ǫ7 t!SY<чִDelC2 q? ^"*:3/[ /r@Dd3?r(D̈́ F5J-Ϣ^~4( _-+7ٞLa.ݚ]Ύڕ[%gmxBL0Dhu} Az5vK#LTRL&AG{vJf&o[UU[x!_-x/Jh1nb^r i(LGKDeռc쓊q@s%5)r^Ąo$9%{,0a\Z?AM;"HD-<؃c|mpוmUA ܚj8iŚu3fs}tOd׵HKⲣ؞ܼ.T[ߐdv˕y"~_JF-VX`g"),h}8F0 85pR&1$bP !+ƋU2u6A4s:)ӳpU8RiáFsTpɽJƩ/+_47".MxŐƉ}̎M>EͻtHmɤ}\[ 2JYI$芸^1f}șp""2R+s"fzP%U(,X6>p C(~4w=DFB- ,Tl#F=l3E0v>- UD ,yXcl:`Zf;xK: i. UVU߳-lr"9Zp)b/c7leP SGU!O _r鏁8e1"R0&Re%(۝Tҽ#t&iI7: nZX{q|jLy<9-"A;a7$'/uzc.y񭛺 ,y0 ch\v 4Qc./ }wV NW>.Y|}G+=qΌnAde쭚?+6q 8oRQI٪R&2)XJHkTf|8$GE``0TҘpQHj>Ѫ>Q_%Y} }qcQ?̓+MM>SZ% bp+'<28%b|}^T)XUMPf !@@$H^n>yu06+o mDPDoҺ5'1ҶuxT<t!e|p/j% H$3Ue^&r`v7u@ z/l"[g<2Kݿ0;U[7Oso~ 9O]c`˟mJh@G_lPD^3Bu F1 ߘ }{`-pNJ>#܋åu .*GOOȐb4W1O= Xɀ!sȸLzUYf/;Ȟ=Ah UFweӕ>&EVӹ0oQh,gbvXHqpn\sDNǂ>=WUѓv*ULJZ D/TCq{V=1@UEW%-s Xz1"9lF+@ @KU@Q] E{=Z.A9O'l5n-^eLo토O-FEĉr[ρ3ad IA$|M2ay𛏓 M܃:e10;ߪ2 2bDROjDz+ukh`S`í+N<^[_#鞴 M"'A<syjT'2a'KǡD#ܛx0xNt͜]#,xJ? SB_ 0!6i`}bwIs.is4OUw _A?Y=ϒQ$5.Pvµf( Q%8h *5ȱzI"hP5P ,AKI o M=C;lSk$zU$P6ڪU?EQI+ߚBkRKSi^A &U]I;x`F#ris CX)UVMDTZauu2NF5rθD=ǕCpCDgv562p>l̘y64G˃{I{aLlEx٪Wbڀ0Є "n!8%i7´UTD%_iş0@؉8AL?K:/u/}0v 7zp^Q=spҕV?" aòx* eyV4w QJ^Zwa|7~NtUŝN`Q۝ʇ6Zs΄C^ mlɐQcH<8kG,Q}svLN騑֝,~':Ƌt8cxio3T=o7@? Wԑ ѭ-:*YT u'U7HkoU rY}ja  *j`ܰ ־_!Da.VeEk3?ږѰe ʠ}&a*wϚ_ ZR{NC&5Φf"m1?~F_*yu,F!qoƤe*OK i3}'l}r_#lh`A_.K:{ NR@N fw®,i*o˅@FR"#L]nnj2,?Q#=[&f sSE!*8y[حfMnz>]1@+k^Pd!tx qo"ȩvh7Z ;Qp gt]|X=Ӻ[lψ ,'Ӹc^М=2';_?Mڀ`h- yc|_~w)lvƍZ%G4Hb곸rm(aVK$zhnh]צ"aHe_XpswvbNPW>x&ik閎j@.VbA:~U!~ ݣwu'=*Iﲼ4 pӓ-4;n74u3$V/l %UmBWԀxA Bх'c̣P]6o@n–o!! Pv׃w;v{5WKH(zyFl dw(,`Tu$rL,K\kp&PVr*Ҋ!ek2M8r #]3!jC#{p|oirC׎>K/$^Ne8ke%,naԟhM@oadb}}+C;ˮDO8\}WKښL7k0[5e]V%:˾ ZҡBy# %e9 ÓMf`֏ZfoWzzdӼRk8# TU`ܨIH1|ےX M3hKcES6Zi·ܷ r'ġC.~~-9kGJ[ a>'$hug3ؚiEvyE@?rqCX C$,NIg@2,mMJǢ@{C]I]f f>bxyv/A{x4#oX gJ_XHKɘ7qѡus#e WWG[1B s $`F>.3*8&%͹[.W'SM9sR 82.'."D"H}79uc5[v9U &OOlH٧+| h< Uf{ݛ7O(cFRvWyxǠqZ97yP\Ga K/KeQJs+)ݳ,`<$DP&H~pqԒ>o0R#JsDN 21_ֵq!@ x& +񳫅1~ۖ'ҕ&a¡PM@<g.&nQSoJ߲g]URah& #I%o=3O=[P]rIAD1\+ \ JEK'AHS{|J\%OHD賽%#O8IhӧCΰ& 泧eyhBВx拓J63 .2a>ӡ`/S{(~\ndpϲ@,BiuPy`W-]Շ$tϭDtP+ŵB\>|}GC% K!yrLnP{^>dzE(O<5whlLv3_O.3&K8Ie_4oP<DAtr~zt!{,o1: !r `TsSnGS .7[W}W[;MWПV$Ɉ;&m" YjN@WV>d >zqOI@g&ဏ']a?j jإPli~=r,]11a +&KDEpaM SV5ކO|6`j 2Yf,MB;JbJ؝" c.7nU9U9슗yc%9WlѤC iT>($z)W7SƠnf$-vxA{$=FIx넧NY-utQ?d<7{.}KiU`40ԭ3w,M+B`ETLrS3tUp{"[R@6b=Q"rXg$ UH|0 I?z2Bcձ&T0`߰3J3(Qa5̃^hyF EvÇR]0NP3I.xPyiX3> W% {_d:A:Ui,<≏JGw=u(.0n0,1(A'uR̍y)u{VؒW`5yltqzNnatsT&ENhR+8nRov86{^O}HTTpo Vs|j|Qc35"O`3ˮ'6.e9Za;=ٮ[CY q鼕L1UٯLtꑌhcpH:`/R% n†Շ)9rK O[xjQePtȇRYSߺ$TtxB}Hh P=b1V(e; =GΪ?wqU+w: C̊xCFdx~XkOzUmCaaS316GPex)sS55s2/UĢVP$s󑂜T莊@sԒj`O}a?OɭF\NR^= %V];,WI=}()qQig\},Ee-$>]ɭr)S-R%n&S&?wHh=w?{H!XA(Dg?.T<`3&1"~BrCNt؝ BX%T(Gr#b+kajmеjhOo GRK82850{kT 8g 6-o2[=ǰzEw/ot\%6zgÓK~@|S3i:> G,"HX[,$>om<{ǻo"s,(8m:x6nHǥMߠC#P [ :mddɰ_YwdERv@yj3c V=:ڨ'BCX|AKJו$9ꇺ,ç/~ghŀψo)Sz$ vN$x!AmXOպaf0#t,oږѠLEwq.WsTU |'*8Eٙ  C⪱-Bx/"'ZyK:-F@L/5"}N2वB9P߅Wgy=ӅYzg'j'Fq'% mf89s/ 0Y3 u/2sVTM XM91 ZF|R[2WJK?R@U 5Ց:#Y1![+%%yp;D\#\h=ԓasf%-oEbIK:jC&S־>su~0#͉\~(PB\HgeJ@|J"5Փڦ(\zq㺙\|.Mvau um FpI *ZxJ$! y$1xa`t渫P9 d2NE)Hƥ>SA/Vz{B*|FFK'BPPƻ\V2Gx諔_ }+KO@(w/HF PϟA ?md y]yV>B wo0KFn=^qEXqo $\(YWqŏ0rDLJA,K9OraɈ:=Vx n#6aemWZC'{}NMuaN[ޯ%e FQjעxbc=Ѿ *7Ӂ9̢(Y$UK1%5k HNd5S&q\F8FT4} 39L"Kb. fC =`cS"WybR9f46raD6*MJT(nzs"s;!@tkwz==1Dc.-Q Aje% BiQfIcGs-wKz2KW@$׹Eq0h 2W <泒BvXL"c̵115\D -vtSA\m zݐ eHbMa| c潜j;r7n3sS7 I;h_ R۔u#!-Vy=oEefݺErWA\yH?IWddoGvJۋ9ja(mi1evw'!J>CnfWdyZD.^1 P&(駚3wPB ^(8s)Lߚ"Idbi)|g/-3*?rB(˗X aZP x\#xݖ=t$-´ˊLu+J z({^mF7V='#5@96Ҷ@gYZ7zXZִF! #Ho]ŗXiɟ1˦r!cHkMeBd4)kEJ#M*#GoT Id)g8#8flLQi5,}:vhy/F1amvX7h\/qO n%#.RڳrF-bOҋ~~} >D\z͡rK.lavz6Ζ!д&w "mhEF~b: :8HΦ(e@ jkD]7O:ͩ7pt!,A.ZȰm㺭)5 d=&kl1=nw7%]D nF?rl)X +Ԕ3 qpK}(30rT {o.lH.L[1ҏۿDo2f g<@b~3Ql{OpجHw!-:8Gn/Igu#>N8xko=;1 ba2mhY;.#%U'"buCR+u!f$彠#dK0=[Pwֹrj$&6VenXAw5%E{c` H|V%RI?a6ccft am~,y9ˍ8=iɻrl2ƌqbR&TJn]T͓(E5LE5XnԒP%bԸa "FbZʳ~NBphr]JY,aڀ'~6*3t jKIfڽ"hm"Ak8lhs?6 .M:8 TjxhձsgT$#B6o0袢5bko|iO)\PQb+_Go3Q0Dkg=㠼|3j[ 2bn:'^$loKn|N7K=Bo9 )74{%(Apa}HvOk~0o.4~ x̫ep|Ij%43+Nw)B]\?ʊH535/%= g8"g*@mCҬcVBlM8{qяPdPʂ+ܡT+*: ۚ[GR\HU jo3?oy=ll["ؓK+#!OM!/+u|hPU}joZcW/b(0}KWu%+DFzU ;&DWM/x/wK`l K$K0L74%À'@ñ2`SL6y_ , $)H dghnlm 2a0S: mJ nNGf0p}S.bMޠJRZFQҲ|eqg՛j/y9-ŀM{;{+2Q(iG4 k*vUNaV<[L:nk1hč}@,<_Iab6fÓR Zsd7s DjK=k hi+O9Y: ,0 g,D];Ψ۫,Qd4a=7`?vXSU{Ԓ)G$/5nxB{Fs99oO'֞܌PC|5c5߱}+mwzZ6Hgo=@mcT|cA W,> (h@Y/H9WF)Lc֏=^my!}VF(/m7qիRSy)2D݈ͥ0+gVGCcU(T^3@ zR|a/ov`kuDUn ٢ ((!=_unLZb6uwy45(`⿺'-<H=v*)'+MSlzLrc_XfS>8O4+Zlpi\*E1xʍmhtBi+bwa Èh:Rl['.,*BcEi=-,2Q Q >LqI"eJVx*V;Rح=z&k޿9I6v5xzğt '`E@בN8!0v -33;4}@>r_16An0@?ȑ;I(qtQ'>=Τ9X~...HIF Cbr6UQIJSy;>w5`txe4tdvCG^r39P7 _KCjK}[@`|$-*؋5,z[d9 W&4jjV}%g<8UYkZt#d~o ~Ķ2=\A?'U[rI43Lڒ5B;hrr7rgwg:DY^$'vNj$dָ 8ۄ2>d\6Ul{ t(˷#TUj_z CJ͙ΟfkM[-*2;OPvd'•LiH`?"m=arM}E,RHD-aJ+MX՝↾ 9HJNR(չG)$.x 7#>gWy tl`EFr)j)fG1AƩ )7Mr * 0^\U/wcӚXvYC"f>wxܞt,d֛Ko9B$vޘGbcwVg)V1 2#9,})`VcO"YN$JS'&w1cNZt=m{EL3ޡ#vk&/ )(QOzQ|rяjV?L20EN˒Z!q).3b u(s-A|dJ.#Mz9|^ NyLjq<-i'fR#g{s K"c>0!wZú:`ejsxܞkke8y^L鸄2;$ ~wldw耤%R9D*'<sg7/t.jp b ЂYte1oo]_Hΐ#+du+ fd`Ҝ!0i$kIĈydǪ3Ugz˂ q%ʡ~}1"HOnCЎAV # b0=55 }f| +^Ag1>:gH6$:/Õ^+#CyrypҸ+,Գ/WK8F`|MX fR^5=JIJLЌ'ǂBW7e;dP#5նk_e+{G'/ǻҧ[V]zz}VV(c3Fpn,Єמc1+>VzҼ*5A9NӋcoz&Gj XQ1,co7"Yok[Z ?UmXynK91RGSFh[p%vޅUmG"}Tn%Y,jqBGeAO[<o_6}5c҇U&8](^#!l4܅[Qh_~ f;|O7JypbS`.=_GX,mN' 1)"'cm童.ة Ĩv?H 3Z-`;dރd$+*MܮLҦQBg_b jl- )Z+tU+$ZilΆ$ oKw2(!sITv V7`½nJ+MPiathD&{w^`'&߱[m=SJsIx`N sIUh'%ؕ6k)H&\ 1GX}Sbx6׻v:FK'ǭ.VD7n-^Y2c#?I_rIRfcC(:TO{|V:QҳGp8IuLx-YFٝ!_O)}A@{{G$*$m<@&6 ynW&thBY7.)Ea_4 Dwj1>z8r?#__-Nkb)a/fZ"\'3(v%b.w7ql67'"@f)*^ O+6}d{]Q^j,ߵp6$=ۥ NH*', 9jgT= gi`h&à;ZW UH BQ3Yz:#VQkݎ6ً'khꋽ~zO,wėKSם?IL-- ..T!M2Y,?͸daKa)ΟX8DgW1n,h*D>jfVM5M]05s7 sS*92Q{@+N(6%PҀruR](CM󗓦:juA%%ʑ} Cɚ ӵ)k% Ԋϥ1%2)H,RsZcB3HJ-䍍&T?I<6= e @Lyi1ā;;"v#diYv$:nPTvX9];І(t͐ȝ 8W4T`,3YsMY7iwYT;q-Mk PFDfü?L:bGkМftlJRT?8WZGF,͇xBUQ ?ۇ?r4 z*gH4k {R-Y@N]RR}i Նk)-Q@K3$薛#s]i`"]N%4kǰF|$X|KS'%@I[ѓ[gz-^ :Zm&@|å23mXm i9K`|w.qڇM3W]*>I"gZbQAbSɽ1?o.cl\{LRߣ̡3àB^ԟ 5~B% a $ul0WT/LŠ 6%waGMއ`fVjԗ4 EhTA-|uӫQ#(0F`8`Gbɕ@}>z}N_Xnor@;Փnc ޿CF^рL`x2]ԖI}:&"at<E$!WY,DlGi.#.ӏ,!r "%vrSpt+ o_ eQC#@=l1)SY*>K6FL{Wm!9=suNbZbw+@p 6"f!8]6vsIDF:T',]L㩏<KĽ̐!&-t'0}@5Y+7̴4k.?0Un*& A|1#?tUM\ ȳ\9HOy,/hd.S,HmvFo=Re=>Ef'(Te?tQ[ {b$ٳKu/ lHZ'X#<.Ϡ~t^^Zr,z%;,BD #nIU29/BM/בUnB\ŸL(脥zLˎu)v_DZw&*.4 S"X1^hL;wxR P "b4m>ՙY~U `0S؏>c@Vs_k@ :" !ARjG]N(kn*h:kH{s;+M 8|S1Hv)pU 6YԂMEZ 3ۦ{@3%Y Dg6|߃:.l+tD ;+XLOf_^ 8PWWSPbq m} k= jsq%[ӹ"2ÜƉS]>D=cgzJZ!Z1j&4إR4*&,GwE0^MF<LY ̹1Fj|ڷRsOr} Է} ?1~Ǒ) l{N ȳDj~ŕ0"ŭ'護z*=ыJ%rCLi[;d1ȉ`h2alF>nX׃Ky*+{0n &}3!md9jC[d$ GirROH&Jp@RAf ȀAt֨O% #*A%ӮYbBːaLZ)DkR= T:9`!_n,gA`i*HJa(Mpm}..љ&:Ũ un.36PD $Ѝ]0?jhC+O^ 6-)L)#jMՔJO$hCʍ*vTU&W/:?ߕ]J54\Ctz3=SѸgˆ[PrEM$_Scܸ _{l؝Uir9cCbڅlw%'鞛%Gw@_dW5'&賀}0IdZ!DJ}I͆R"qU?I:CqZblzl#I(O1t+zvTɘ? ෈JFt&ok@ϓAˆjWP`c'fbuU kuk>c JM@O5G64fM5yB1y.|ɢec=/ %d٠ jQ~EOST6\6 ׽vpIR͝伄mh~*Udڵλw VI䦇m ?{Nb49$5GQEK*tȮEl klg`ɾSsE)aBӖ>jg(]F)w(<[)W07su]Fo-'WE]BFRnY7CO1 qPmtz6!h@´2zZW4 4mЗn7WAʞ7Kp(UG+sfeS7Jpg>9`|ǝ-)H !V^^Bޢā q{Giݜ.݃3/c8aTm]}Qf{$E؝0D>f9IƄ贈gi7dpN_7͋ v,:JUh3mu`4 H~aPxG^! 7إ2 2(.W4eeaFޠ JSh^^4[Mzn&| &|oM}~%YIdvE?s2E=%B.==Y9F%qZׯ1(")l^(j%t- '氙{n溠m<-{?2Ą?[j]*sj445z"uςFw焀RJ;óapuqO㦑/BW@σHlH<*#?wp5X|>| $T'nzxPi29T}%(ΐkxs)/k 9n¤n;MyYw4Y1yI&@'^C. ^LAFH `.#ͽSFwP%JqXM}n! 78gh X&0>1rdҰU##xFScO _3iCKp+=;qm_GQնq5Qs?$rA@3#'TcFu_{T,)vqi0ly6;}Z<3 m/.a+u'_%0q&ؾ6&,bo=c4(:u6q[ ݜAu{l -c_LbTi9v??r](KUfmOG@o9o]Z!5;VaV"?sMmNӸ;!RRG[P[5b]%&81~Z:?c\ߋK4!lN~i4mxR=T⇡9~H(ywu1'Ů9d 29t&2mYr\ 08g>:x&i@N%'NQ~0 ^9y FfQ5D}ar ͨ_ЩD-d}ʲHNț<2D@O z^eNbPkk:(X@;KT#Pu % ;#F]0^R-e;/,nme kEl}`>oG/d2Ld^0 lCL~ MSd1{x+WCl=)q-tHM]1d^Isˍ?X#QDf4ol-rU޷- ?]FZvE ||98}:j·GY(.mp+;VR ,ح_Ι P8"i&Rp8s]'f_o"z/MďI={tB=>_ʀQVfH{H%zn׆.Xw4u}QjeP]U&cإ1$C$|A򼲳*U,Uɍ2D7wJ.Lj:@QۅKYw|/dn̝و?eHjʿdofͨFO-JNR_ D%W~`8cR]{C23 ǁC_FN@F9m~r?kV]X^7eMdw =F~Bڎq>CVВS8 3&ڢ?+[mN9w繺,qpF\t1$c14&>ȰwύWS-reS2ʢ  D8MXd0hʙii#"&L#ng4+M| ]~&mvtE=P϶|p"s?zŸnX|aیɇțRqk+ :1*[;Nb2àhN`c-ђߐ&ʛ01W),^.!"G3),6bE8U{ /8j{/"Np 9o*6da__b~_F zC(38"w)>A}J ,[rJ?U S~)io˖Qz5qd"o_믟mXG ynd_sB\*#9w'IP~yq!֥&K5=;C.Z?^û1rhL-%򱚦0\VvK =vz9v е0+/ úl"T-c4Z΂FQWO藍okT^,汱=Y9$h{۩OPx,.HEs#dnĖtKP^TwB\^5l7a7tl?{f/ddn5Py(E.{ɸsA\?Pm%c VdtF=`D:?PtG!;ye{ФVR8|ҟZs En䦋iȳwůM<2YbGVk3 0FK' Fzm6@ϠpXBr-˖@wӐ/Rqc VmHmnLi]l( !`9܈Rvz`d YZ L>sS;΍es`2͕2u H&NPUd *|UuRzZ[n@ϕϒ<2$&Y}n7# վ=N+p9u#"s YUz]hO2 $~ݼ!OD9ݕ`Y_pnL*\1/ yQ! Í63vDs$^{vB29^O>EIKI.Mgju=ayJ ZK0zNiI~wUS{sNSP"EO\$sNEn "N<:`fkepj[mH~Ěk{6Fq;[d.55$p w@ˇ'=É -`P~%ж gF_+>B%j 3`{l{3+ޯK~NBq@PNVN}&ѸWb< NJ "xQ,ɾA.3 ajЎXJh#>7 Ssڐ/smɯI .x J[Vg'T|Tנ4` As*> {Px ag_#*g6UM\x"P@l,ҧE#*^F]< K3 +׷(-1aIƓZ2ZsipNpdOp).g VZ24rn6sGq^è]X2"?ؘ’75b\/1FvvۂR6cAB)8a9U @;Hߒ/dȪY$f'6ٲ̊-q# Iด ,WE{}=KLv][+ܟ aJJI=re 髗Օa X׾y^ԥ+ |qØl[֢&zA M,0>Z{% KTnDuqy{&k`Wqd_ Qλ 8#7{WdgL.)BzĔ}@ 5s S%ߠcSm=:=cT! D)%D䜟k!'UN* ֓&x*P>w%p}j*Pyn~ H*V|Ұ[{L[Z{:AW iUҁ=Hl$ y᫩DݻV6X7wLke汳A&mrřw#(:1GS yKdcΞ5`A%qŀ/GSf@VxYh%$m֎@TfyŌ<#4z,?9.GHt@QaqOsNF\?gHF $Y@ܺ?ʹa!#tѩcS>Qlϡ/u|a _XJ,.NKr Ojr͝n*Zs[dͫƲۨ# z;MMn^lK:fF'|MII5$.iί⵷)zJ;R"b꾀ͷ\iJeX,>ŝ`"rA,.vαaDw%}ΞK `7{"DD<%H9Ь:`sQ^Ksf(7nW'5AԯC51[e_1jcnU-CKgB"_P$ G.8ƿR8!PWϭnP>7 -u9؏YQݴ6hhXx@>#>^pf0*QWe٘$[KO SuC:LKx?{&/gM} ;гq#6r!l~v z4CF?/͢u$#s4{v9{xF$D ~C8Y45-y_$ @͜H*5a Y s`OPt氿]y4Ϭxzˤ8SpxAr2|J?>'ʮi#ͫgMFV'ܤ7K5/Sə,JwG[ ȇfyB*5F[)?ۓ1ߐ({ʂJa$*'00|4R~ĺ=+bՈlk"c5 r(x@ L1ⵣ̃ob-Pޚ1UNst"\.H\ˍ R!tN.3go5f= KI)9$-v/rDP/ns8d}ɂ;r&5BɉAz mNiKNf7Z ,mk\Ɩ!s8DԽx T\AEՖw5:z$PZt\g̦=)`]7H w J[ P(l:׹UC {夿hzC$VY/r:4A3;ܐ3 jp3 n)~-WV Q3&Y@&]|,Q˒7$Dk=I.g.cmoR&_!L(} z=nm&AQ}opb6k^nvB75VD'+M8¤TE=wb8z ?VV=WԬw{|Aq䋅Or-kޕ%)ޑL`,7x7Ub!TW*:EyF!( 7!kH&mZ0*+-6B 7Wӡ2&bKP^+bWӐv!(|Ιs}:c1eY 'm "ĎH[#iΖxCˉ&2ɀh$uzCarӋ;~M 40|FM(*$vY2Oq^{𘈮B)[)Te W-P;l].o~Q=^+acJ0L1J#>ӧCguwHd9 9 =Gf齔l.*x3 %G4'9nIdEJ ipfdc`>\ 2X.anQo nLV{o&7R3Be|175OBVֲa0.1/P$wN;H#c'IGdM,V`y4So6S `%{)^TisO}Z3lŗOs_}W'h͟  T}mI!{5`]?͞.qZz4'R|˷2Ps;瑍nq /FՋ1-K:Qt!AL afP@{ǡ>5u:&p!JӞLӪ\<@FA⒩;0CJ||_" P=U?-duDzGNB8Gdۉ^Mr8+9ƑrSZΙ a8Wѧyz gEn3re::snF(l7x\0ԓ(Y0r;ΟBdzjOxH^&Cdgvfi U3{]hɗR"W}J#^gn@Ldff媉8$ ] N{3zZd80y-[V5JSJUp34MrP sEwf5 [`gJk3&2\Wm$Y"g#4}ÿ` _KD)P09j_4GB٘s U>yv@Ǖ5]9_VnuE#4P(BFȩSkBP$BD> B.xDVj2#Я`}1hy1iVW BੇKqаPb\avI\5O G>:"1NWM.> wWx|T 5#s>կ2?l,n0Z)AX-ݾ^gW>q=IœO%>/38B m'7NXwe}iqZtI'3_܃Kk3^iINO_jQ/G xIԺ FKJf@ssĪqX"0<{b< @p;_:{>G k%}}2{buc̐ B4y?ƎUKgWm\TJo$k!Kiu-)޹6 bۑ)q{ɸ|W]!)ucp5O sjB&$h4eHrhœJ(xWQNyxPA*_I1=*$qwf5w-|T Fsa8 (0:$%e3js»}u.gɱm$H"CÄ]\R9mvTefBD+F?j4A)K/k^a|?*beYlH~Ommkz"1k U?O00zCn vt!F6M!i/;r癰Ye(rBm.C-&^6uU>a뉬>0F8)~nWXr9;{?rݸ`M;yxM%p6ȧ5- CuI|Ҭt]+4Vʣ=D-F{z ­9ui:=Jju42X0 TGjnÉl.c|vs@'MD˯ i2d~PfC.Y/H_+TwtFS2֜sAe2 k"iAR-)K6}.q2ڦynn,{tu/ēKR !Ur)(i1}4[ ];FwPW%ay1ET?0brFF7~f*=»2kд] ;E"VtDCh B2GaZ{^Nf"F:_o-M;sa@$K\sJ&gfK #_>>N1cXPtXv!p J lF [ Ƴ3Mdt{:'|fI: CSZ%L>;uJT\JbJb'24,>0yxvMOt'&!߱ HLmMǔg.&ODE.N0%d,e6m[?EH1a1=d遅Y_VVHcDH%}|yzդM/@u.bP'^ը^P6kv[EQ; y#ހ)+/sy6GXmVؤj;bߨ\J %hCOž6xIK5O4 i=-JTXS)%8LSDS.bv wKeJu~+CIŧ?Ȼg&%AǪv ӊRpXda>md b>~<Jj_3?lߎx\˟ee鉉UP7`-\z4u$LԨ8=0bJ3kv1ӎS5TAk> MQOx5 ^_#JTV536sx ײ$cd :<*w屄q7;Mon;d'vBhCNc\.k3X4*ޟOfimQU>:7Nx-"y k i65ͼ77.dp/V/Ge*٣Amkt&Z%h6$Wr0=R(sr `IOYkEPib ;@"VX։*d&3Wۛ W%,[ˮQJoK)JdS Dp Eܭn8M sT?l4V?r`p<^/`=ϓ,O)^פKI+jK9k jϖ0bς IP2 >c>(6"uPIϗIPm$o*O4l9C4,?@lt~4hy24y(&(*{`ϨW/TTr_me>-@x|!}>[^hLmo5mdZNٻO&o}g@nXR$a,'flgH$|טpA14KuaD]GE2 &@_wq6QvWnIN-["c5'LQ8C_7|yݝNz9,8_?VM$0yoZ *Mœ1uR <v/4P#g|9W3h Hv3~v tOA== dT:íUkFVs~OA_e؀VMeeܖH,y?G3UGWI n6M8$$r)?b`zQPA[Wlq{I|GyY]Ƙ{WT&3"#:9z1V [JyOm<|Me7D?Nt 'r2&@+ ]zͻK$ 1\PJTtx6B23A`O2ձI4-81ѢY+M')ՁO󺫹 La_^>BcL4u%64eU0^'cEGR)1݉?7bGI}'j_QE涎e?C @3ԡD 顩 M)ɜ=xڹ]1(XA-C(⇜ht&i\9[Ђ\IZ1:Ive=sz)vixJ4rW 7NQ,RB)C TH2Dxn= }~mn8$>ڟJWOH"TChJ#:kI; ֚[XF?1Rj93bRO gFLP|F~= Yu%ٻҜbg%uѡF<1x$pلuΗ$îpF?hxMi7(2OJ87iFPԎ w)-%ܒ^l*Ą Cȗp`j dhMXմ`mKnIƼp7[WٌW!ƜUDUఢԛ̳nb ^踚7P"M6 Qz=ٷTM͢сa$@ڡtf,OA!-0gzhZS, ?a2e{@ĶƮ7< 5M7QZMn( m_ fv:D;&g*'&vtawDcMG{4 ݖ-)g5e0V^KM-0YFjdV[vݝҢFMxqo 6U-_1NB*b N8DPtzQиPm&PjjRDW3wd]Y_a)$ L rTEtD|y}Z#hl¾u"7ϚB(ܮU<9`Q~aƈ?)\yk=$7s_OZ;{||zi8P!ދ"*rB Aw5P+UD bqnnI1`Kmݫgq#a^{P#LKdK1^?bP#ЙzazGy?m$gZNO,)ϓ8]?KHxZ !䃺;VA7d02 a䣘#z햗K--\S9$FUGZ4)q.w j}EY]I}[U+ .]zV%ZT,oXǔ- Âc6p3.qݺiDx˔XV.P;{5CT4zvh%K+E7DO E;RӰ]gxʜN*8X*z_@o{xxEoBX$l^US}g'Z,ҳ{L,.8 &4qcӨS 4F}N鬲.e475MY>N%fLG;$()t5r@tf$'z\޸ Ɍ E zt?ظ(xHFOL)p'[b;M+ W^pw$Jj(9zje$jDTi+8Ӌ]!;Q~s/ #wZn3kJ)31Ap%"`"ʢK9x^(.kla$ߨ[uJ7,G#дxSwlkP+8K}cAWB ֧D4HMBl18:?d {kHBؒTy12wXKNFoz2k2Έ}56pHj]^U؂]{ZKQ4kLa'%P +3DWu'wyS)# ڃ݆ftОddotZ‹UE`$W.f@u7#u$GrdMҢNȥhE3e:cRe[g^hnvACg<ى#dqSQg$;ۊDR)Py8%&*Mvn9&VH#$IFK15~}:r|vo3nV~͇ 7GCLA-)A>P }sNiz"/$1veR 9dZBqp9\@jW!$6lch͈Xť6*n w-_M&⌑7?-蠴iЋ zjyWH/gpWaWM4 pp',! VAa߅35vo0K&nـ*mķS>=&3?rt k[orVV],e H|dg[5yZ9ZKzxy W:cXEg@ՎD2F'ggshI@JQ.Se &x-ACXw҈Yce1_foN)c,B>v֙fB{z52]j#T`M'~,e6?M9]v{?xD}4lUFkD“_/ͻ;g+o06IY >NU Y-wq9fg9zQ&1v۾!m#XthȑFu=}632XЬچ{NB'tU+E-N}X_ a]NtؙU}:N'i7)e3^^v)5!M_f Q6G:BpZd(ɣ!va V‚11u-u|(]$$`86SOU0Z/C_(øenO<`p>guV:'qGzɇm)9"3.IZeF@ߴ9iP/Zs_:%Qk5w|HPhW[`xBwiy! /Lȳ @x'v2uQQGl# ˎ^e#}d"LXtdΔF /ٰZRJ["~du@ GǒUDoYp|5D5NS@'Qv}T3ؘf+nMHF<Ԅi?7.B඄WȢh;V$[,{+2Uàk\#B-snhl~߻2T0 ~ ?J_n;&IMҙTRME xzFv0Q'E7E5zw>=r1\|,Ԇ%|ETGqJ :i'6i%v=O'K_ M))T-9ʡ9*?}ӍlFdF&G}P )j<@e$DhbM%jp (VsG>qJe$#`QzD{t ڼQ-o/a:Ard`)D=l3UЛ#c"VH GCmοcnu{N JvRDؠ8(!J<}qήE1N>ԇR{U4`8d*]m~߀R/}Rw/TXLpR>Jx5&v( D ?}qPnO.=S\p\yzWP'2HK\7(g?E\5>Շx~!?}h|p4Xm9p59*5}x[Tl}R` JD碱͌~+~!JAaE -9v hcdXց2,=dK2좧E3B*~=,>]u~{0W?-WV؞IؘRQ8yW벤rrC$do7vbJ3wH2:F1^xT_Y|Al_^2jw4@B7VdI{"'+m<~< *|/R⛄+>BBܰd{[D$L7T1  Rϱ^UB_,fAU-HGSu{/m=~/cЖvR̒J[0 X P_7o!bq:')2f{$їB>p~н¹Q$1X!w . קC1X U p Mt*q 9Ժy kԗH8CT}_MjuL*`Zv9gYZc192d723c081db6c807a4144fa381cc676d1f0644956d3a123f88ba684168ae0f47e8c5c96d9a8f0 9f33b4191f60ee90bd8923d099bfa6a3e9a7d12ec0912680f48cc13d1de567abcbb3b26e8e073a87