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   7)t\ ]S]Incompleteness:threads=2elapsed=680.905cpu=1076.236gc=23.588factor=1.587zXZִF! ቚt]ŗXf1-/6vRZZ,}ūG5m&*qޟֲ) ΛW$?L%Xi׿E wN [WwkXDgH.dez 1: jTCXa~v`7| Ikv'+sUm2ۈfs; @AqQSB1I.h:E߳tƉ%!|;* vIB)gG=rxv\;FH0=W_2][BɟS\$@NqU*,=EAKt3KempIrp$1זN*]ړ2Mo1?[BO{D.\"/n? ȈbܬK ޿V,Ve~`^xL iݫa|} }ɋWgu(<)UmȱܳڨUu">?@V%3Yψ{`9;8- k2);_.ƶ`+!g q..h.}z?pfTƔEna=Sr.G`JjFJ~]$m5g=n'13 vxR4^S*`}4bz7bwH %ԪܴW~vfӟCm׈+F=&E`pm64AsUV\ƥVo_Eo6]0d(׆inZ- %Nuϸ10V V,ӯ <1ɾ˥7/YSwd,0Q|>Y=.iޚbzo.5Pļ݀[_<#dfRoE$%b3r'PYNmdqS|8wn\Zq LT 4R 1b`f.p(zJ]DꔔJI%߈ꂲ%8R{vX|#OvntkT@)^Va)ą2RZƺL Sjt{E6x:zwKeUOX%j]А+Z$@fK"GQ@\"-xwFi3=ԦN TV,Jf'qYEd_-(D(A,S&2$t}cZ EK21>N)fVt-OyFl@U66:h{J<ey۝b5|\jFI!#c㍁$ AQq=z ,Q>wmQMx7'@kk̿Qt4{6l%]U7u!R5R S: Ʋ[dͿj3lCE\2dݦϲbwd8aspK3mGϚH8L#̌5\M.lO |"a_M AlngqN60lSd/f5K}"vӧd}OҬt8 Z6wW܍=XtB@`74yja9aΗ:R DdaZM/B-o:e@+ȽlJy1A%^_jgӟjȯZHknq'r̉u'J/յm 6Bu*ION8K~ў(YeL׋ŅLd$` eCgcGЛhdC~Ƹ%dĖ<Qߕ4`0zJjwD]|oOnM@Jhk韟,Op+DfNح~OZ|p?Giv`2 S \EMA"s+k\%/#4Man#O "2Q'XT*E ?8 Yy&1-v(8hf 4O\ڥRl^!yiS];n?>LJgZb0oZ]Ǣ',ҧXt F)-S#v{ͺ Dhy#iX`((u.OOs: b+f Z1ݹ*Tۮ B#Dw=R&LI :o)naHj:DQiABskN7'P⾈!T *lm?ij&}R +s`nMبa!>F] ~Y272G4w^ZޯEk:*M;㒀{I[ K.00,ըHRl<)R浚{ f{6ؙ #q>6M`FiK()2ς" mwOLyd}(xuYww3F&~9Gt-V%H~Dl*_Ʃe 3f`M8-B}wQUȳJ"g䁴`>jݻ#A] J AP@B?',S9Ie=(an.h!b%f3*m`wqA+923l Swa[b$e'~/n8itx JdXL0GXn.įGS? F@~Z;&):ڢOy9n7m"Ŕ9yl }fq]Ij;JTԧ[W2J*w~ԩ A%b>g}ȝL!S@F/Z ؆Vdg2OVZ.Cñ2N~YRt0ȳlf]tɚ") zK1?O Cs->24v+Tc!PlvAt &7!Anq! mc 8l}3©m~$w"3nY_WlN~{ޕ".1MȒHogЧ7?&cEVLl*mIl"=[^)${Ik=gfաu{vlp{/]#%%oOCfSy&淅ָ깜i2];XCƆ5Sd``v%j8 6Cƥ#eW!':>B0Ĺ@=!\ڷ=kjmdlgT#gQ5Ȫ!P4Ov®Pf(uH+_go׊}+XB/uJ~$#TMwCJbTk:~y6u,EDZ ,' gހ]ϴO'tFpeOjcf_I7$TccWX?"=݂@?b!0D5<^(2$d_&߾6)l]iK[tKP 6TnBbŧ\dђD&KZGsCb=y"7af`C{O8ynK i¥F[ +5߫+8`OXE/UQ6/sĶTDE-Hz,x]}4g!'86h^O5PD`" /K+e@߂ o@[c*m\L"-DA_>Y4 N }>d܊^&%DcSҩvGDZ/3j {N?{m4WdL((%Jezxъ?~oim$,TECv3NEHter9ه;j3kY(>sv}_M"as8}?SVxzDpX *#n ~]DaVa-U W2wXYH\(Hc/:OQEDXjIXx=@ӂxqT;W!+dwzNQ^Kёr͊a$S- %Jv1voh𔲛xGhOF&܇KrsGu9Ye.z'/G;kqBE;*|ULkXN~{u=!tJDWxAe(G?}F_VL9pAh؏iz!N`O@0+lY5w[Pذ >!b5Q@x^SiEM=SSI2u (/-WFJHzBB,_ٻ{WV0jw轭FJoEERNe<&4*Quyv '{\/bE[.);P~#{y9g5W@eP(AxgS{^?C;˱gYZ7zXZִF!  ]ŗXiɟ頏ā˙مPn /C$k5jGX(`)]e[!@GœgzFЂqF%iF/~͗fe*;?YSNEbXg|! |E)(ʋ$OiD 6HϮTl+ z_\1)0rKÃO~p$CvXYv#on(`a 'SU41 ʊR##I(UỹŇmVg-ڢUK`Pfemrn&]]2xV#_,P%T"ƭXAYlzU~?pD}51cVyh~lS?SS.ګ [q'frcA/ ƅE\ѭeG9FOd=0j aBcdrdCNN KmA(z ]uMD:fE /^FͿGx8'_C-INw7!Y6x7w',dM fn4yRgAbRE I$]|<_&B-~-șN|Wja@3ml;c,zx3(BT ) Ga,~(~BJwy( _>spڗƪ )KYd]1uޠRVd2NSBzU_|[|yqp@*W(b۹$42kPH;*iy'Lyف߰CERiC2ʹ-~DN@-!Yv(_n?; <j1CR" M-0g`kfi1pj  LkkZDcղ=3]0(fU 1nZ/DkNQ\\|hczin^ "ߚȥ~řdIИ.Gה%WfYE kj)tz Suxش쎨8=ZX df4QqcIEs}|J##<|SO|=o Up* uQ!*g"g9z6Ƀ|.}_P,|=ZCsϙL*d[9 T#jѸ$,OEuil5B&( }G 27u-hk*Qg(ῇuOv.K,uYxv-?IB 5:VR}.C]ulTO/XE`-i8xPh:/;l-Y*/2r =N$*CW? 3Y됳wԙ9&3 RApfEȻ%YW^E_߉0;D< W`"9o-fC:gv3ᦂOڍ/|MJ9;1KdGf  9Zs/?ubewFzHэZރADKhXVhD5UXz8q (02A+"U$:<4ha)woc ؁`%ΛC&:F'( 2+HXkW^pfP9̴>VfH_$4ȁMiGmy(AGMF?7.{(ƛ{A.-؈L4^9nfJJ#;&7eY$&{%UyΏXh3:Z jcn6%}zSr|[3g;IzuNrZrISGFeb[+ :TFýXB3\v"p |Q@6؞Fܚ3.wΒx,A} ʨU9MXk E0 ؀ʼnLaiO>z-Fۣ{x"˼#\gZ&— i3t3@+ҲVui8IS5O ;b[c$u'aKq tcS ΃E_ * vsVtީ{K~`1:Z Vd3TuaWw0pCoŧ 3~h4Yxn'QzvpaAmZv0 j s8$haZ^l) C/\$q;0#оriqNm)A o]Z ATJۗ3a-wr^U,b]'}71mgVm0&!L Ǽ3 #BլDR{.; u2wa&nLثy.,)gֱaLx|EHxBM6Fzj7a^5A<N{K|*!slbJ`{R;) Ux!&J=).6h!VM>'b(ŋZd͊!8z?斛~}Q?]N w`#KiLAsX)X9\&^nIý@r^\lU<ÚOZ*ȢylBzZNt+K"3aC`' }Цy%ԦFڷ,*3^o_`ϨyJ~ OS.t}|T FI*Z|^&ފu|.>ǼFlsWCۘB˽",D=zuzMWZU)?Axhxt)zxӯ-MA&&Lvdxz*y#ẇ()R="K[dس 4.C!)*ޘDa6. 28xoN|OKȱߑ8w${VM>](h@l:5X~cy!,Ѳ/OE+$qdFfY$NZs޵$|'荪$; ,hbPy'\eR|u}Vز؄Ͱ\ӭ5BeiGO@oȯZQ8&i]`AI/ϰYoOrt:ޞ-uM"W Smcᩀd3Ws5^! G0 y_\?a.<'4;^cqcQ2GmT9hPLGU!w(?u-S==wL@)'e0PIKBT17G\bČ j_sǖn5s|S!ӋhYLB0mSw4/(IxHeB#*l(lDwC㽼w9L- Yu˃,}߷qG( L_Df2TFTK v cCU(H=Wg8|iV@3˖ $qy2#iR]S|'ɫ}rVwySfjb `*&PX+wGlΔqeQ: #;;;J/Nlb6NXkϢSBΦ*nbUV_}6BTvvL9D'EL IޫΛl vˌ!`C,T5޼OQI+5~KgqVJxf<+ O}A[3~3fgOV`(g%U cBE5NG#šof<+]7P6a(a:MH`:!-nv;EԳM;;l_i/Z! W2mz/%nKߤj4s\6(#؀ؽ˼WSDA2SgrFܭ')t%j1Cp1҆mIiB*2{95 ֌RmeUVLM 5'Q)K]Acl%_=h 4m*gB3D".i%T8YI愮DxN{v<ڒ0ؕΐ9X;7ed2Ƹ;qo2v@%lR NvXt`vQbf,qA .b55%Yۜn5Dad֮55 :*pLCc s(w pHXY=[B\2ڑ}Au+ru/ ^p3R SG.܇pF$mԱ ܲ̍ =YÕ.P(_ĸԎ!g$run(d. H"%텶01!8nuN(lM49Sk/f+zy,U*>񇹃tM$dVYȾ[_2Y:Z -+J ?2ô 'oH>^QP䚾aC靲Д͐&6,=#2 "(6+YNԡ[\8 Yn Z(NĢټl'JEl,*H^8!‰D.,z+s% xYFmߪk<qP=C4@/xgaU1"hptךіP˾/ Ċgy7Cn ; Ӗ6|>h#lɺIZ9-ܯMb^ zHCa’hBM bl{MQ'0j}SjQuc\CgI[-1J0I(WXo=LhvмʖT-&,W6Nʺ#[gQirp )&!O#k=kGZ1du=SLAr&3j;LB3#."v Ztpx$k :rℙ(#'fz)s醼骫=Qu򙅨⊌sI8.b 9r;v*ۇT_U.ϲRYQW+ŊK#,#&C43?\s^U&V ݗId%ysnq=y9i鵨X}Not+ҖbkX+&+C!@M1칂c̯vSWtw]J7sܣL{VBbMd,9Ǽ94v B6œNIH z!tHl #c=w;C'R'~?ޖt(E Ӱvr6xd*iVyvTzC*"xd6V>o3(I,X ņ x @W lբ$V4xHQiUm1:T $839 ?eO8yO& ZMmXyk,tD[ "s![_D>^$J]@[CAʳgK/Ƒń(xkL9&g'AE{oWF髾+-_'_B-]'#xS.G؎;l Ӳ>"4i2@uݫ{o:}XThoFQGGՂ8nvcv@*BS'W{{͐$ޏIDZҤ'bFY|1FU01Αz?{|FްSw'd[x¡> G8;OaRER6_! vNb }ԀhL% LWe`)Zy9F./{Yl|j)<TҚafuXHdGal{̋WP "ϲ<}7|3 vѶj k[vbH*6vg1Y"i|]:#l2M_E`+{ԋ@)bJ`Ơ~ul { #@nsML0^>l\=0l.{(J{z8*@@aR=t4P0EcSmXɻ%"`Vb1#dz\ c2 z4,ԃp]go4z{ܧGJƤ]>B{Y>>e2vi.ecoh&!%{#k圢/ ƉBmBgFz33t=A>ZH,kh~?&[m*5R7*I5ꃈ'7vN!Ż4ivW*ĺaIλ ^&\MJ[obNnjv/̈́CW.&yNtGd׉/Eq{r FI9eaO9 wCOr]29shú :{ڷ&Qg%2rf W'ZY1RW% LyY )cxۿM'+P̐`kxjPz~?WKO K[E X*֒ =6> ug,`A>o}#7:}CdNgc[0t6 у#jvG/ywO=ʾuLgQ?R"rw1" QV^ڒ H yW?$G&NS={:^IƒG,CYjH5&HUl4"N? g8,hA'~:~B2t$ dͩG\q]{5J+SHBn۶EcCTsr0zg(c4E_ DB>W!71hZ2iu~)v ߹I :QA)$jvo#P:-wH GݎeG@pph5u>hPdK"*#iF1DQ=k x,V:I$ɐAc8txի㉨f |3[7FW+|w HIHsZ6c#Y5(O0k5iY{7Ť PV>A'h ?e| $qdXNh2 Z;?6{x5|YM&QieoOP%uX6]%k^WB;R|9EZZPMǎ XuiӶ PR_AmnL.ӫHOQ) j#|ˉ]p3z3ritK)}Fy{ޱ.{L%I,2)(V$)Y2g_R~l/]9;B&{D?Ғ e4vD9T9۫?;Jcf 8g"5 {a7&K}'0}Ȅ;,>,[#\kgsxecqk.`! kE8!ml-?ҎѽFId/2NA3Xw,:Ulq(hikl4%5_v8neF׻QiRc(qR&"G-7צ6fUm(Ty?:Vi~ UgMǷHyio^zx0`Tmm "-8 `&+Zc] ( D -Z n ݋r5F `9AiټO#1=#[:6T)IV {vLUc i3v}ޠMv/@ZeW~U雗Յ`\_7Qx3涜9nXU21A\V拏Yˆn's$k>As w[u!~x}.pBkY* #Z 7`߈_} :<7|*+;X~U DpJv{(n_sɁV0$R35 ^WMI:NŽPn_ x#U\'Wuyrc|QUX:H!:Qڣ rd#C^Ƌn9xX\# N@Њ*":׎2ρTM˭ k?P "3^3+QF \C=0qfx9^F{ܟ:>ۑGaX>Y\N <"ViB +ʸkB5(? q2!^FXwvWMb!]>}b~[Ai-AH$XZʂ2!@6xUYqqhu+lNtoh)˓ed"\UC4c)jMDznRUz)Q{4%ơh ӌ6iОD#8 .2HeV5cJzz}-}c\DT Aj^ >b&N,+14}\>atID&փ^A&2-k>}ρ+-w#%,nM#Gݫ#5{ɀWwHXX_\hHDMU^ߛ8$Ɂ!ZўVGX,}UpO9嶗؇ou(6!n-t^nm=,EnˡI8%c`kA+4YUtlVJje`6]WV^oȦyOVX25ܬ@I3 p 2}/ 3z X^SոKjlzOvܛS ql#9gƂViX?PqүfT%瀘L`cpinCgJ9^Q_o3QER L=|l:Qt_'> Aj<޼+b,叻dZHfDYWϷ~)G\[UWѠU6aІ*aq0%95Ԛ^92lX~@^(?.mOUTMܯ l l.e0WeT:['7y7:daJl%Ig5LJyn>vd@#yhZZ. e3ɡt iܡ9- i˿G+RGX\LBF ZaWf)l7x  }AKH6 ;9bJ>ۇ"/ۀ4H|b=ւaW%F&:>߹-b 3$_7o&QͅN=´Ztqe=ɟAG[cCi*2͌㎸^<-mK˹ֵPd'j:\aau+bc_xȱcK,[A;p9"xzeEQncG@"!aIjuH9+~x)&0hK1d_ObosZ&B$zđsx71eױm:\ ӧd/uDƓX'r Vf>8Sېȑ`bS!78ڏs^tP!O`ݙ?'{Z@KN vpr%&[B籛>"85*xMO+2`]"[";^AƾuXξP2R?TNi#; މE/S~;0jQU,YCHZІF{0 t}&LwnE`):Ot8ho3u?V>J!: p) \W*NOj =m)y (.+Qx~ J5W Gd[ Mu"أ)LO';lNʦ?&K'@,3/+Ģ ,xꛅ*8jA@㾑 -,q{D;[VӗU;tS؎TH/XJSSy@ 2XL\FY!r KSE ۦA{.< V&y *Q4Gۅ'o~>'|иI!D"`!w`M† ndL8߳hLW ƌş5F! Jy/F1-%m1̫":hf(,B׽> b -*<:,@Xmsw';4v'qK ˄V&[Doy (V)'~VG@Z4B~d'2 B4{}<`@a{~_`J'cݫpdqRe t8~'R`m:\f-۲}ݚt4KHߛvg&\!U٣A cGs". Pf:n8Zng`n.W_.po>R`$EqV~I aq2Lz> כ@x5e:"=΁ by!AJ(5-}yuP,UF]xgx*\&EL 8 ;D$|hm?򹇝EP}Q+xJRO;VȜrVM=0&}i ݅^x}\uіbiZYӊ(|Ƣ!J2UJzGtiOo{ؾ`N?-ityg:8(MŐc5`1=={Wq Λ\ i&1CJfxϒIt;,AGpJKRUөt'mx}.',HƓGVY%o4R`ʑ^];f]r!IVY.5 P*T)2Ν9+i g7.CG~V0(_zv4[ba_IK4:.<< Mg 2`^wsIk\  Y3xuWVvh.M?RpWPcxj1qp_tgv/ 8'#\j9݆ުE%^SanU<8h^.tg,3CWDŽ]MЄ|r}DƮhm}z񕝎qgG#2pvy s\C|Y=. aEOJ*:ב1>2CضjE1~g~k%XBEod[1 vo"^Dz ӝ9r^c`,ZD'y1?:ccDZM쏻#bcrS ~V]lI سx5CǔBm?]8dk+Yp I0~JP}! p2/,:!Cʌi˛`7n /^>Ko$:*kplFm qhvo>tcCeOAI]ɞj@qBJy#@YJ*we R},rWP֮pm!ʄ ^{ȗ ZQ}8h &1E=%eN p¿[ܩPYB)̟s _+/+Rt>&NOP ֊C!u.ũN[n3 2յPx|R6N$υÄݨ;~]ؑfVwؽb+EzPv+ꛎ.2/, *4X ǙYbِ҉Vȩ,msMhB@ωrʁեYEjRN ̺Y4$o& EF9IQ89X AA$]bCQ% aLA:.S/sU4>Y뽹N/eT>nqRSgշe~sƻvI$[d_f/;R+?x"$bHz\th1z%Z@N^IyM\?aߊ|hJ<bŏ{XZٰ&pkБKOǼ`tzcb 'WS?FĐ@ O9r_4<0F (7bqvFi@AE.~Z@v߯W:\Z%@* jsUcɷ!BN=,uݿN@%kSjtV%'_R0U\؋v^K")!=MS"f?6KOt5/=5e1_1Σ?oIiO-8WMi(Z+9m8) `yxIfg jQ>߾ݎoTksA%3-SFKpEdݗMRY j,LqlGn|zA ./"T+9DO!E]R~/e gan$0Qq;^"Pu U[:M@d#z E1@x!&iQyd9:7G3?ٕ/"Yom wV^xpp_]`d+!V-puP zZpYC^}ȫFl2fӎ\ڢĮ|${)-⪋1B td0Xz?U{,S(ר,S'3qj^HUj l θP1T~PořN BtPR,[ք[*蠊H1j==gKyO9K3]\t)k lwRkZ`2BdHbyu*讯{gcb*q<PH_ɿv'yyv^(ogh,Pl(Q'xK+tV!PyA`ޢҕEd+/Q`eE'>Gx^fF0Jfu \*%_;e,ItC +06j jf= yI N}Hv%|ŻFkX%ong,$KapAu r͚[5ps)I%]L/_.RA0{-"°5_*Av5-f[]Mh7ض"|O#f Da)EK%˟Î.wB">yNҵN7^᥁Լu=ۇg=`mI$|B]1kw4bvCQ`EN,d Q><7>rgwgK#*i6#+ѪbVa޳/MzrZU :g,?Mbt"9dȸ|AlQpq*$4@F"bc cGT3y5 gVY*0$>݋DvB~xj,E5uiƋN +ëFU8p&-Ȏ v|b}LkX³ B1-i\|-Q/8TOeCbL+|$5e{GYdM֡ΓjZxPil?8 4q=RF Y֠Q9̟Nؒ:]/[$Rd9Y,[5iJCr#2;%ڹ^?$U~?5k&]EZ{t ֫PYy\Rlek؀5yLMNA*z.;1W"Eߗj[~z@'{C JU@!aA#I1HQJdnJ CMg#h\F1g68U<>[.]5U*,{dT,2җxW3Ar8y3_'u%kJ<$Xm̢ou<3FvO( y팭Ɇ,@ 3cџ1k#\lh,C; h5OQ2*07o䦼+jZ#h2 rPIzy &w`v5$N~LC?5s{:Rkߵ;()L D4 z z;6 JkľK ۵ Dq[r8L 90[XD(z px4IÅ;j#faЈJ?3 M6pPn$%u#w@1kC &)[5هj7oi3{o"y4ahdE'5.& m3AUf6S1Liv3*S/A|#iuM{na)) eVT e;2ɟ$u&G24҆b)/7ʕ,~fOb/cj/8{(ՍߛYWJ\*JNڼ}t*G rc*DB2 }0?Uc\>|5QUYnȪd2_=-ؽSDc ĭ41=# 6P9;%^ ? YBS&.|͔Y#}jԔ;~ C $dgUHvv(`P9q'"1|FydaWmj&_kvꗩnU? CKMџՏpeի\i`9:]҈vޞCana㰙^Gdql %KKRUӤxGsQEnJ{xyK_Yx-Ԉqm3?C0 -0zSbfSrU+.@~xYu/e0%ZIJ$}sw>P QB֏ 7|: iPӵ)QCyI+$o/_UH FiٝG_f_A4PT3͑t3±[zW*/(@[X7)ڭNromkjᓚZznD$y}j/UZ6i'6mNn))bg(Cہ2jˁyj_̲A9wߖ{i4g;<Nt}#cZ+9Ч>ڒQKm,MQtw~͸hMkPCYGNoHv57y#wvȽ>p~bUҸ$ӕNlr͌z&飠DȟzE7A?$% 2nQ_3V!j[S*}1΢l5EMe`Yl[=JvI+@*)ːյm]93uƈӤb5 ֢ s(}1wieݾA|9O^gV\]zť; Ld&?T :0gsZ=&'a~Ag|% jO? bɏ mdzk(q'O2(#,)Ͱ%:m0,yrv:3!4QYȖY*3瓈aЦm(`< c+%zrڈ* 1V x3P<+-vGtG$bd\n$TDzJ򉛰ñp~9*j> gW4r$}bDC驘(Wy}3f+qrHxy $Ec[Ne_Ҫ>EӖD_6V~ܙ|2cV.|46G7K'G"OGYuH%5U9#X^EoYOVb%F["(Kfko q c9_~'oN8PhWk[E wQkmYẠ19:$ϔlCޯiB3ЦVыY` Xu[>aMWm"_o Q ~dYee38c؃@}"79] /ŜoX[fbqo$u: x֎&R$ᲊM.A'9q09BI| >t#0%CHfr 57 bx*'IP_S&ا4M g4B(]Ǣ=b %U } V+#ǽj;'*h T[f)/\`x}e c<ҡ]^vIi Yp{` }$KAX5uIHVCRjXopw@U_nMBDxfEjZus& g%.ق*q o{P Kx+ }Ph@RD\ U2(ՀHHjF}iޚu!(UK^o E?כNp*a-ѥ_T'S4)EQE L7oC&0lpSθFoo𩯚 8J=Wg2^VkfxWx\;!i#JUVB>QN])LA*{@a—i@կnxJܹ򨜣ļYf!ݽP~qq̓v@23P;䤱) nBA@7K~[& /mCz\CY@1ԶrK7>L 73%o`|]RU:O)wUaP׶ !tډg۲SϜ 3= ^$! o~FPAc06Uy"&Ծ2/h*:veq\CZ@& q8Y!`u+>6u’ʸv[w7G1?uHEδ2BۈSXQ0b+a&n %Ɖ#Pc|s[ b,u'Cё"?F g5N?$O'lWL7%}m'%C^U߄IBrԭc`7_>ٻy|ōAYEpAODmajbO9Rs&, c:ȳLLh`}? aA_a\p_Q͠>;D"-0(B=wdzQR[ڂXThSMJ}mYSz:τ[< <ϕxaB{]3i0vHPB-Qd]95ܫ[*NZ^nߎ0 [Ea׺)]oj$O]#x=@M}j~N@vZ(XqD53L oZLY&L ߐr*RpPgf$@`'d}ms3mB-ZT BF|L/9mϴxi{ ]GX(x+8N1!8BU;.=(dJ=EBQ%p-I!qkܣA\\|kJxVG p|>Q8~10wG/ԄBe=gsz׼xaZWVG#x)uG-ff|쟛$U3Sɢ b >ٚFsM}YqPg,!H0[d k%!F0=ƼA]֫aiO~>UWڗ`ڱM.ɰAj@Ƚp Gܞi-54{ 29ѩ{t'FбiWR *!Ҭ+gVRRvP_%55R +hW5}$Lc)u%#mlר Ɂ#L$9rz?W+ "&(lݕYKC=O0L# "' DtVa]8Xֲ_Af\l:k -ybZZE7.)^_^`By6BpVp磒9xj/>!K I9_xq@bU-Q)1cxX~Kv [y\fn eB^AVPε7zc9{aD<ܡK*yO`M2t(/٥f5oeS Ct>ً}񿃥vѐEٰ0{- J: ;2vEVd>O] LYvZ)UAjZd,¨l>PWy+xT6:{Ghʋ ,\WBcg:_Z8 Nmr֟E^sX.zb1WvcPE ʔ,GlYWlg-SӲIBF~79-}Eʽ2CZYU }jpy=Yegsťk(d1fIԪBبu|JR(!~d\>} [j닖ƐzWn &Fr3 UkP6{p6`);.lIjt uCa6xTN WEbEQ8V]KvDʖD6654ǡ&޹ ^*GŀEQdJ,#H7-"A! F5M&:ƘzzDfͧcι lSۓRg㔜VRTxU{՝WT|'^IxZN EXȏp9 lK\e*T9@b"= jõAAZ9f00v,(6ɛ N~L`U/wJ&$HI~vQհ1~GP1}|b&E˵\->RɍhP~AH߉*}mv(8X@q9e#Zyf3Fճ `u{{emi `;3nCLKvQ<K Llɻ2y2& IuT"@yvig]@| A,uP,M%KLNnuo:zvv"W ϝ4j ZٸTT1Ì?Jo6*:Vy:t_9E/ g$v8XM.k" so[%{SrGΒr~=k*$;pNmQ]#[9]lv`?ck.nFQI3/r ;Ot2VaDz)Yٔ 0 i.')V Le>)1eM2v 7ŝ.Gr%5pd+,^ 7*܏zqɗ3!2/RC3uEOiT|40i$KYXDQdk;12!(63qI(P [F-e \ZM<ғmKBɖ)#lpAo\%7DD pdr>,/uõd0dǝ^2c(^eV F?Xᬬ/h0!MOnִF ?mFгNp8'/a86+ҺlS/(zv\`"b dq٪W \_O7m(YyϬ?% :V?^꼫DqG`q]G`=sn'mJ8.Xd~61myŇC.yheWea=Xn6+8_oVFɫR 9 ' _g_B}' AR2sUlFiIސTϦKOwSJBnUhHmKRP<Jgasn8e5fr˘^*& Jؘ2+/M`{YgYG\.5ɰ DҦBrFFl <>WD 9.Yg*S,L8mXೈ)el!TClm Ybf/b>`\@b# _D َ-&*()u)eE]WNlu{m3ǃ {k \2/ή?y8~L7RF3+v`;ͭD1OxDf*Vִ%ݵ EF7^a?Ød7Д3'ٔ/EX=atv7.3>Qo (Ʒ.̘][D!1|{%MVބpj(8NH1d̤_c f4[:iTWi&<߻ڥLMwmS"WNm꫖-^ٯ1𾜾w1a{ً?G֬%&ɵ]jfh>v^iEXue/@4i4Gs9Z;4?3G}"wI̡VMޖg/4a$N}<\\f{d=iG$+cZC3~rCp\L-0P(ڼE >D06пreCm&H#Xߵ@~k x_ HS. b47p}SH%2 ۟eƴxl>ٌSj k nqL 8݌6m躋vO,mҖC@#ADY;RDв͡c4˘(vGdp! !]*tg~|qy!-ba)DLK9S pGVhYaY 6WhaJvxJDfB"!F_ͻsp Wo(JRS'dUDZֱlVƁ+>VL,¥?4L~Nf=[݉&M!ui7p-)k) n[+:(==[뉁#rN@+Tdz 4|}i9߽PVN@Afsj]38:C/Tw@[#"-8pƝ,7 Qu j쯮u϶n8ף ,Fx&J3`6a\=\2ŔN{4QؒįQaD KU'}LӳYTqD ~ QyCzY~]l `$Iqbם4CU #=e866 PqhBݙZ.3Cﳃ+H;i$nZVB:VBOT*ڗ4q%j׾#W.:[5;ue*ٝe5, @;% MlDM^ "JoYЬ(GUjژaq*>Rt"U%SI@''&c(A[`*o*εUY_nkg5/yC-.-5ΓfSU(b6MI*,aq! JTkj:Bvu$+ d)|BH\ow#GF m,%HaiN{Ӵ,BoY Vuz"L〟0_5>da%We4<0?Pfb 4􊈘 j8e<\ʡΡľ]7ɗP03+ڈR3@[Q:AZ erD$4~~dxM/Ȱpj1>{y}nn:Ƃa7Zݹs!>bIcW R`dЩ76#t2rʴzǘ#e@T3Kh5|1nC/yĽjȻw@~R&Yǒ 9Z "v~ѠO3ڥƳtPBP4@tΗJF5^-MsfEI˚QVOJps#6H챺P4G6F.&_[7ྑl H;' EjBZJȗD[8ö~J:eʶ| *kRD>\ViR4͟J"yo=dLj#}YfN+Z<+E1v nVuPZ?t߈x!Z;`852!9Oxtq8Lw\`U]G[CU•P+ ]qY3DMɷHa^cL륾@6uc5Ft=xF5̼aS{8Bۯ*"g hwehIl*+I r^6d=Qf%`sF0~VF#"2i;_fDIsO{04slx fn[ݚ*dit}s7KS5}y MJue .=^ "؞3NXC\!{n#jp4j8ڊFG݅07ΈոbF&ɄoW#(1tC h]$m{b~/[/'~%S-: Wr@3ރ=T>v_m%fLCJR*=,WCJBl y tzخ8>T+v/`=U_.h$Qofh´K9 :4HaV:v1ߟ0hA+IR--AT"/ܻT֢Hk ᲸDH6󼢸o<[ך6ƃ](EvRl?6xʓRw : @,u#3`ʢ.w|,F2%CrzwueD22?UFm. T<23+6j/tBkdN:Yw)#ld'%8UAOvsџ@ajƦ9OY2|=eطk./c(.|p/aJߴ'KV`"q DqVķdImu,BR߇9잝|.-bb8񇶭F 3r>u$&;7ltӒ bCAAux89Te sq>ڳċ8b0f&Da‚6?s"vn`2M;uRo#08́;vaO5X ~0D>Q!+]puFQqcÑ7NWyB_,W#X <2Z'x8bnٌ'?4R]}(" r1p|~ζ}g E!$7` A.{GT>\ RNI(>_ǂlW57ڹ^3XeHc$r}dWl>)Gq =EB3 Q']?#T+-QU!Nx5/"ۤmHׁiFAh%32P~K,Hd:򖥙_V P ."ԒduƫumNO_Cɔ0'*D%)s%)93ᣨ .-hQگ9'YDM$:P. k)?+sͬvXF݂OU«mH& cOP4-yz#"PW(p9=)URqq.]и$x,ڰчlN[>u̴ɸNdhQr{4. EI%펌vӅ ;yh +Uh$7MC\Lq_/JX|xQڂ ep瓏Fy)32gQ램D֤o&ӥ'vB|bA5ާ<&!#788Q6K4.GRDc{p,OK_lCF"LB1*b OOCmEl0w[E5戮v&,'[,1gPvs'1{/nSv]NN,^=>)P&I8\elǴv'wezJ ,_&GS̮[Bk@ʢ=r? ?,a]'!!QRWFNTeRZ%CxaEpE@D*$mE?G +{F7/ԖChl_(VOX':%|5^7 Z蔄#.jBib /,sE9wlֲ3յHd= ῄz't*8t14s,ِ-#kZ{}ȾZQG%n*9:ƒ;#ۜOJKTQ,be@=E!ceό)]Pstm.ȑxI‒&ΐ MJ݊}9IH84kܹUŁφ2:۲d<'j'#FL9 QPc]V)sn3ϨgYZd9d4c3508c28c7fe83da2b9dca17217ca612c690767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 4aa777d02a48666be1db0a0252cf123414021bc0 82510b30e64d0278b29cfa6d69ea08c167183c6cfa509c5536386a3a1084e38e56297391f8c71dd8