SQLite format 3@ .0:  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 RR)<, ]S]Incompleteness:threads=4elapsed=488.325cpu=1194.636gc=9.764factor=2.457zXZִF! |X]ŗXf[&x20],_Lxr?6`_a!ԍWd!h0aɸ_zw 7p rGy$ ;Y4""%;:rJҿ,j]oV)yWcTMYM&`or?=_}0=(NxiQRo;z߱!}Tެe49ע@087绌[P06N;/' pK49f yY ib\7]Е'I|Zy{MTC'p@4u]nL0J\"݂9> S{5>(gƑ.&mg>-J|l<<*w:ȳxga?{ydh7EQ&wq8\pvv AMPd핓M' cq5õe6C}ߧݾ[b^T%Kժ;pShGfŋ̕~Pdn^øDq]͛3΁Zo-pi J:' nߪ`c|^:XlKdϼX##~7`E}lC;%9%=5aŅj2p( f!iU̓ʽtoq3Gn&CkO{*N ӆICMPlr3@˷F)2޶:*~[N١0 a KV^CV, ^uOLw@E-ISwKqp{de4z89Z>UQk \gyJ'2 F&PJUhh|c x(|؏%') P#?!;CF !hc Kޑq΋O~,C ᬦwJ3u{kv~HN!{S _Mr0er$=d$hޛէm{B>&0QӘ4`ۤ<(#9GW)$T8Dn.:t~&6tNiO'(έLa Kd7B|6d dSˌH'l6 ri |M)ahJ6APAXAwxeEMj n_RJsoJ8A?B6LJ| 31Q8QhsaF/XN AZUK7-ݞewdzj.n|wyLsZz vIW;8>2u'DCioH́1Oa"n "G"!^C Awi /*!C8PKr()x ٝ '͚)^vTB/lφy_[c%A !d2,Ϡ*ւ#ţ1_.?<J):pl-E 0Mc?stqfT!,8;=xCwNߧ[J-A\Xh9^8&rZC^d z't/"AޟRYy|Ob{2 KSNoX^۲vRZG߱4Mm+"ZpCrDn 0)PЖ a' l~Jh荬 Gź DȢuYƹ՝1ݛnl/2ƞbgUPjC<߲x>Uη4/~(XfzNKG~s^F_4mt vp6NA.bhnX `%iR<4"n"e@x@ygbe+uZO`)-}Ne''y׮C֛/ K1bCCc2ntl["T0D9QL^T4{ֿ/x Xu܇G[yj ;/aOauPp.TSdIАji%P0d}j;.,2z/(loWj74n1ٷ~;fl ZmN淊p! vv*֬FY/[ڠL}8GWJ##(`͸R/$+o֨^Q9ǭFn_""<Έwj葾IEyIX]DmX1>-YT ͍t!2ؔmDKAFtl sq@ax-L*[piRgTGbJW) xmꖐ"SyxyR(م9NHV4bMY+et0&F`'rx[Iǧ+x5 63Yॲ{8'IvbK`[m["^1B\3nwfx ~gk ^i`cVw%)nf'4Mq)J#4h#J(7FT7 ̫ 1A|#@#s鲶,vIPA$Sa7kD/#@ yghЧ,šυ ڧ,y?,cU#7M̵metWhl&X@'trYUY 9A@ FOEylWC{4RJƛNF.kCJ{?B^ -P*M@(Gv7eׅXa"Dp(h+vRb$RǍ0|oOäjpܒ?>O(*N/ ǡ@jv_sxB+Z})&CIHpƦ:BR.'6U{C1)!*ԻLJ @h1rwznoۙZ,@7]# YԹX Q 'kICZWeE ,OUXj o:K#8y(=xs9f@H*ؕ^~3_7~zX^NW, jCydi!r5D%QIhob)A*ҒN7مbjÉL?_IS%-M@ [*1/:qZvU4Mg(""'Z gOɘ#9eMde6%0 ׭ ],=Zܪ{62|S&JxD函`FLMIxJ)@΂a 6]gI>7͋,_[p4|IZW6(,O+ ) Incompleteness  E)ʜ,#h 8MJL (%*ӝauѕ&Ӽ:tMZ9B1MڛXpIWZog۶'~Wc?X* BgԤfV xN,>ܙOuł):w+~>ST*-%=|*4.I-L; )mcKɀ: uXbK S}*[H^JQ߂ZCٴ<x|iiGT73ST;ۂa[A!ޥT)Ɓcj"Y Ǐ pɢu*vLȋluJN|9~L%S/,ֵ0#><ꠔ Wr_^YH ʽ{{aeN{n^DdsxhRC p+4 bݼƭ); Ak)a]QcEwp'>2JA)"jqj#g0{ +nkN بqowbj2>hYL`A2߼PCͩ0IWoV1iSOsYzvwa*(H)5A,BlF$h{@`+IzC-Uc"u;V\>J i\ey `IU!ҁX`.b"7ojҗIcBQA\:>L-G2KMMoŷ4\~\M繍m}Cb\N0 s]l(Q#|Ţp_:ݍ7չ&rи)nMڮ~!#a2KA|YԛP8|l:Q27SJ>_C}"$W* ݾ=+i !ށVbO2l:S2j DO @ŧ,:j0:c2,) E)g!w)`l4q(j_sH1.*ɯMũf=<.UNʷV9W&QwOҪ_/j6cV'U.$r:ob=§p  A(Y F5mB69YT:L۔tb#~/hHh/4ܠt{KI"g^7*]OpXbӎ֗ZY?d& TZ$J9hdtRHѼ4z%r iz躖5|é7BF:#_lVܬH]܋ #{L,ג<ŨaʧpY+64 ّ~<<ۍ;f`OE.vNt ;C Gg)60?QG֏ތŁFǻ_o|:oe,CH`bH\U68|hF<}Eq u^1>fCh/Yr@i4'ql EtXT gVxU`o'^U)4U6ce̓ lRHj*5_+DȩyBJƼU0^m,;?nN,dm7J tIc9m ckV۳@Tb5I{#,-i3QI o!o:QG ˰ۛAL[}4nz0)QwM}Z;㫖:CO1ۤX&O\U-K{u1iN%T[5{:H }eH_cN??C"Gg94G.Bo?"ŽT1uZȾDs 7WqG`fuswx!./n0Oh)T40/G 1' H$g:rlt~pʰDC~,Gq/hd_<컲;bTg:c/:_DuFݶ\pp0 B)"wMRn4ጵ9flK#]"ADa_? L--"dEW^Nq2 1s8CK+5iZtxyiE-Rz){@ʖQñ͠/ #+7u;Sdo30#@q$W~7"9垳`Rqx!@1&sь3ѹHDeԂO4u\%q/l8Pp0 r;NVX?\Zco}$|҂DJ&?u OŜYҩ$܋G{1N7Ϥ,[w߉|;,`MHRWcBQ{qpTĕoe03VAIC+&HT7s 2NϹ_ "&/C=\FFUHBS/708B| 7*sQ#)g:.:$N {S{й4]!0-s {σ1!-E"mzҍ܃51bSt4=Te, L\{\C=/jي{4Z+\ߝ%Є? 㬾>S;D:Ջ@8j,`H4 Cۆ/2'j:7Gy/lk\Ħa&rt@Ws`>N@n&<`$d`ut2RdXGGH}.#}O=\[ ɯ?L0?[˫ 2T:'($]iGѴMՎLgV1s-˅+,1!:hajvm+#5^s#RiZ8WP(P^} <_# ~NR?ONWL2"N1i:#FHXcO+4yYIi2PGAq^9(r)0 d}w{nן6J~|c.WO3R^n\%ZIdal!FE[Rou4psj(R ͌S"d4E7vgYZ7zXZִF!  ]ŗXiɟ頏ā˙مPn /C$ZN:xMLzB4`dxd}F`Td$=WC"kA7m([pFlEPcJP>vf.ť D84Ƹ9ÙhkCiҥ?Ľ#+< \DSkx}GNg: D(;$|-R<$Ǫ 臙ԉYV4ԢeE45Wa v_El]㊏;fwYOzb]zF%S[{"UZgqe`޳h&'ˏ{ Az(tʹM~N:Df"( "uMi)!%} v0dJg"4&v T?E kU gYZ7zXZִF! {]ŗXi%B۾+c]":L F@BRĘi )_Dh?k$Ny~rpj& "뺪kS?vb/d eod~WM"@8}2wh[9ԧ6HBp>*2:f%/;Ro{G!!/ۃit.kE;TYOWڳgpQzQUT&V;Nz9)~6^Txn'~b է:$\^ԁ]9:ĀCRB$H#7&L!Pa8:l@OCwZnyze0륍$7qL+ZV]o6~ x#xw܄.J|,/nndaZ6X3;Bp8ʗZ{v/_Ț]]KOG]edQrfxc_FnEi3>9׊ }yd]$Z*͕S1}Ydߊ6tGnəRۻȸf?}<&a v0@mgI:DS/uxR 45pB+D,> nQ{MEEj /Z-4 5 $P[.\|h\N'\ EpE 1>^Q DYq6AjcYAK"2P}7ދkzT' n[8ɕx6->otk.CJ;d{~ofR=V7}{*hxe\(4-j zovw&H6EHPT){w'Պ/TzWJYa%'4iIޯ'qN8T; 6,x\boeaChoz8JcUnM0\g*1ֶyfD% w$EKǕ<1tB@?y.coYcܥ#e\ňw; |;"@,H~+:G tov?Rn&,gG+ԞD |%q_l驆F_Շᾗov;&>|Df?NHOb)rjt؏w P-Ґ)6 ~MRtw҇Y&{fԥe{MW[RU ce_Kq6/.(_wck#Hh4rB 55y+ot{u9֍B#:}X߄'vcJ-.n%paE؟Tݞā"]YG+`?iz=3[Ց:mXAD4>56[vHPJ麖}:]>Vo၃_6DKtuM"S Km-LY"۾>-*Zz aD-!7@ SD'v0gRИ>@$39nCЧx_BA4聵|0V?@>!"5E<ѧ>#vGHV'G|?x4Pg+&WM>s-E{UKznKGYcIf3X+x3+; |Y;2Zї-;0WпbyG=Zp"XMɐr]MŜ]2ԅii HZ!qY;@Wvu@uEm>P"A&rϦf90rqI&[$2(n{UtSOK GUጓc<ƅ;HF2"P}ĺuVo{M=ʍ^uWU3x>;Gj̃%IqLBP 5g&f,H -p %aHdh|7^D hbzSF>'G&9[ULAk !0@iSP܇'˗ZmXXq&@38t+9,>=V%{X) tU3<ħ62EiMxƑ+{;nanъ,BloRdIAlQȹ狨uNSӀbRzcV4ɤQ3 OQ,&&k=Lҕa34r3 iA\`*gUXGYY{vIFdEbU=[ ד o]Cݼ?&[Ł7 äf,i=,bBѡ[0[d7_OҔrtE6-Uj[E1|0`*!{$sa:vJ̼d%#6"%e'&M J"C]H(_p JڏDW3!^eSKܥ_4gu յ G*"=/5n(ҔO#B*=l*u9;yiifWia$3=z@hdžI3 $6oSն].֛4;یGm0>Od(E~ue+.K4cY_ 0xUk zUA^.|VK!E$k]o:|(KF" 0DwM9CבIJ\Q}=VbU|zUMZVꋏ^{FÚ Jpx\AZcqJtWb!0*Mb5WЗ??yhl% &QсK^' KuE!}t?"Ҭ4d3sHVzIo=qXk{Lu] c'&yz. !v3Bj9b6ZǯZt(Yv-e/ꙌyZRujhT .=nJ+‚!rc.L!LKI>۞JAF?;}j)H5ap/DpMm; 7+Ə|IY#eNUI@xaMRrMB5>􅵶jH@F;fF,g<^M~ce!2Ft*>A U*y.*nV;(a#X \:6_Sͥo z2#Ą$rX0Bh3uz+, ͊EPLhSaI~ r.n4 k$qdt4]ዿHiu`a `/,jCjÕ`u1~[P6X2ߋPt=LI8n ~Dž`Y/QAw -XcƶXig&N_A S g4Xz*H ~DX,`Glhж%ٯ3ni ®gĉnR$? TxŘL͘eW"BrU>m &U٥f @  ~}i,%bhiI <[&*gXfC[l-Bg%E5Af;ݤt>]: uC *L*Jw{~ÈG@1&D QKb.[(?9teE"`~+f2Y% fdơ&N`SیoT Fyv;qVFm1|Q:8O 8, mW7l>ek:8O3,gA@H)DeŬ%-.jZVDxoIO?:Rڊp=}J=q|" }P_}f1bv2>. d\ V8' $ & nFN=Wћ'Q^nR7$1WOf7Lc ~ ZTJG+o]ˉȐ-6?zZX$*mb!cTo,@d攜өWh0 oG曻 =oY@acljAHaMacWY+蕏Qª +ب8ό$~*-UMj:K^UP ט6kH)6˔+9j負SSBG'=Vtt2JAMmxMk5a{ J?+1#uiJZ8o!n٥/V-Fc;cQ C'ndU~зw"HÈw>ص\=H8kzIL"^ut{d?2aJ}L^ߗ~=͝AraaX5F|hV^jE_#ՆɃw*xŁg8tdou3@H Uf~_9&ŹA.mɄ;U取+%ik_=MR+0AwS;gg#ڤ` )d@/Ab )$R@#H.7#S䶂ze[d"-@ƱK?vn8@..\fŋ.52,ys_}zۯ +_iwS/xTY`CH-t}awֳ xG E]˰`&t_\, &}+|CP=X[bRR'zV͂cf tmXe-b_XsYi)ɔ+]FJ@exx*](Ej~_Ɲ6rgf+x?K-r!`d7`apșݒ륅l5~ρr~hJҾ~W!,bYmc^ޛG@>y5r*5#'ls_N!,Œds[%̥Y!Km6WR\38ykpgüQ~@7S!4!='%#Mǂy3+@llg_i wzz0_J힎*?EVveV0M_PUsoCS2~9.‚ݞb*1}2ɜ26=G)5z7ƞσ29 ih8%D`o7oE<$ ΝO@0/c%[re6"=YɑHd>#d'fW2m6p>zo)\5P`QWԜidAH.h>Ň#B<#ߐzi,` dOzֽ-:Ѥ<,@lO+=z8Hd9a`y,>.3([ƢO9zLFTnNBBNXw^![.?4O1OȻj"E !W{LP 4m8{OTr([5"yvT` A'Y`Z0dž>1 uI_p Fe4dF7+LI|(I"(FXDn *T ފB TߓQê=k'"N ktlpVK PsWأR|Cq:5RBmY%iwM@>ɧR/t:d#-IN`?_Jl%/ŀAi7Fi2nvݽT.u%nECIzW@S52ܦSp'K׆춌½ia-ӂz)sԟdz T2ܒk-޷ r։l A 8U]Mab*`7&!;&EZW`w]>uA]h3SfHFJVQPUĆri ?<OqE0ґwg|׊ڶwAbΛl{6z/J# ?$}5\}goM_- 9٩4N'wWaz~h' (>c gkuPsjf'DS5.G*Wܶb My FIDDј8qdʚ>3-egoM:4supZf}18㽣_瘀s 4d/t K`_3BtAqvndy2Y; EZ3we v}~.pgt?Fi i$DYUHgf'vRM+(%1˫Sܟ?mjj(Z:`p"Zèf w-綎NUIv*#_Sy.TT/اEbw8|Ax )b8?b 6zXejnf2_ VxL)ŏQD3DR֏"}pywA ڲ?{M΅2Ru@!Nr1bYjEjVXE7>.}/6v@FMהuVWWr`/˃rZ"}M A|޾kB¸ ]a&QXe6ÏVoe.8C,6- SW?M-d=)`R EEmѫr: /x⏱E]J!ǝڇ!lR;}1(wڲjB 9& SNF C_ ǩC֓2_>%y.GoWfBR x$EL6?[]/uoC*pk1^bsrhSgԑ[nChz' Qz] BeT '׬*~*= !GfJq;'vG`&*OG\.L_VF*'[핟`{%.CTiX$%KIWS$~ۚ8x  Vlj'f۹F ֫vK2VN~k9woWpp/7Ⱥx Fv}'+p 0M*+wؿYmX J7e' [A72\a:䄬6y) jr{"mb]"{.Cbc<Mr/7EW3\7ʺ0hY&OuS4`O@(j{QcҰ|lvp8]5,I_EњJXmM=K9>{$.o8&GaoNӀ*o tpO5w6C0)'i󚛬}OMxϏ̢.X>$AO"WMO͢c M v rQ+iߐt$/$LVdސK@`eXS{Xgh1Ci :%[t!&˧"cQoI^s8DB+6caCfVl_ˎk86{,k O>aOInUP/. cE s{fZ8hU[X#"φ6)DFk$g=h^- +7j>FСYW@Xڹ!JDbЩ$>EvS@9pX{ݶG:x+S#Fx"-D,s!0k-(_n[h7޲ Hpsl:xP5'P)]ش~x+#5mfj༄ o5E~-bFَ1Ӆ1e[ͿMT_Iyt+biиJdvN2 "ou5{V'xJqXsgU[9fx]B%Op<.Hpn'#QLyˤį+h5fxQvC`\}0)IT ^WDcJW{ |3ML9N74ǢkۈzP!ٯ\R^ACVv,ʔ3zP;UVP2:oTM5SviUшѝX*alV^QƷo ˎ-2_ᆰ,FɄ׉ gt x'ƞpB<+QSdٜw{bgg8lP<n}`V7sHDVb_)YDKە;i3J2Lx-l6~de^FgUF2,efuO/N]v m!^n"«ord/ VJKZS_5Q]䉉 ,ҫ:v7I N4J)VZѢ .YԨ: jH%anX k!fuV,T\c"MˀM`V? 3nEO#lbFPMvu*LU̡XkQ20Ʒ2DB3E|g f R`,8 FC_^G1yT dDg(h1gp hΈU6HD,5%2`(^}6fb{ V]@qVqg~nDnA#^CK*j[À xwU~c(-F_,jB]8^+w d<; 7%FTkFz^w#;XMvJhj-!W ub{c+?J6BxH:.bjMaf}H/>Ua?@<3mK~Lۦ?ym+s ݽb-^\ZMq$Xl*"Fr{ܦ?afz Oɫ|t9}<_:A|5_٤ZQ+|\K6e5ߎ'Ui"<{!W s4P;ޢReQ}89%~Fy/((NHtC>7ͶuxvРxr4֡XsX)#['dbe]:ޛr՘Wkhށ(k5"&@:%u:ckQޏ&1p+[p#9nj̎YᅧօA@{rk4Tzrs 9xۍn^ >Ƹs5baVc >|Y#Jw7 ڼOl1y?\yW9ar%%ϲxdf~gi1#GnC'D P ݹe*ȵ FM;[mƩ3|V&ը$2^;,Bd ~(F5ϓUgA@i5-&+âi2z;pMCKqz *es B߾+~D~Kw&Ah @ 8aRq\ḎzJ>0o_Iť Ig6L3J9˂G;ۻ<^ՙ)7dW8QsCD2'^*=t #fk^PB`Zsw r.GP"AE!mt.6Z {r]ݺU`PBvJ*?}0w%0`r"kaiC}zCC嚤o73vSMmh/$ j ]B gb"&ԂwC=S܌IϞqm]v8GH`¦͙"\yӺDg-[qV.$ /OP %vs,@H"/*jV;8HrKj7?MNԉz4 cZ0 pu8kK[B]YB89'ӷď}6OB LKT^1ˡœVՂL_lkeL!u]R~X/>5pOA\Cg8bNs$EvSNIjKLZou^eNJ/4IkыP70U0$}\ -4UzRY@!MtnGU3dkiIY:E$k7sUUVf oIoU+lC Pٰ)o={2kǾF9 m{#=S?aٶ0ZV8xRxzp;ؕ a?Dq?=oz̅ʽ(jhʩ]<+s/QBfB(7e^x{!SjӥE/2-l'"$Wp _,9>1ew(~d_sCg[Tkc-a r[;e0 61v0e$E; 2^G#n@@)⢫&]=*tLi̴όrk:VtߊZ~5˜TvwR^L s-sA"!ӟ9Nn3CP%4W]O/5[n" TQ7=/H]c$[ZZ;x5)?=_gW푝dRU%D1;׊|u,(,) -Yn+ _=.UP|CbJ J-Q@8FC>3$"bnYq}Py!=gI2GmmZvo\poߚu.)Wړ8^O]M.ij‹Zw Қ4~@3|HTaF-qA?(h_U{1A*ƫ7kיBҦs ;UtMנH^ﳝ7D4={nz( X.eܖ",Er-2נ]f(>osh%*sQA - &:e,Z-tN⅖v(2׃r8e0GDfFKO@tᣑ mP]Doy/,@ݪvP)nDNEl.1 k*_vagX||2K%Q4r,%=u5[+2Epܢ#%~:ǒmSXJ8zO3ҕSJdcu?t/Dڔ-YSՀdZP,ANe.*ӪX; wɗI]O`5**xql}0AJwoaP^:lST&]IVENuBȮxƙJk0HXff N Nn_>xV٬Ln:gVhz#xY)4fn~J3cjD*ѽ-m$'>B6` '!^c1$\2n)r/8>> )ӓ,a&^} EF 0%Ζ%z_:S4|t.3ZC0%>5AC0 x½罁ݛobD DBUC}kOľZz>\h&ګHIz .Һ<ǒd*GYb}7&E>yhBU;{ܦۋj B%qN<''ƥ{Eܑ"p٬qHewّL#BH$$):VKfMZfINH-({zy1JZ悙5Һ:Ѧ]NP*b~q[Zk:B@vN˧ga,|S, q&1uP@&\ME8jsw#%݀DIo(iPHhD7 41vpxHw aZ*x5 ho uȰ;=l3h@u N1&ZmD?ՙ==1bPh4Uj텒qѦ Sq) YPRפ^&l ;a|jOs5}!,!L"!K=Nn\ O#;&"2]nꗸ^ZCxrTNxTkތ;4jIOTQu˒N1:IqqB;5r WAlx1LqoJeS9 x){I嘆Xq>h\=<יc|A,&S:[O!Ebn}_׊'Oܧ[1"8K䭰sZ/g}Ք_@CJ>6=&|x%D/?z`Ju( y[RNM>Hbx{2bCw;P.u6\Й(Yn[+Ro/fn^&gΉT\ʜ:֢ݐ~w@Bg609Q S$ȷX\VZggMVAEvtd'S*޴, X7,QYd19; i>NqҸ9gsJ/^B%w6zg=PuH&{+{,%N7 ձF ӭ6Md[[&+gxdP+n"j*/F,eP^b7: fV`6:scP'JCWDo/WY%۽Q#qAu . pp$By.ccGDc)aR1Z6ZdEp{7aDŽ^ <) PRh4)8䠤<4rP ⅅ*|cz}{*y59U_!qt? 2:_nMR{9ns @b](e%΋p_t3ɒ-U<\Ӄˇ|$=ڣ|Q"cturѺ=C4X\D EQzBE[BH CМTX0m僔XW<-G-3`ASC:Iz^~ޮF`֡P#hۄe@/AdJ;ӡ G)ad6eо}ܸ`C9JY(^g/:&b@X>'+ 0%}X (.㱽5ɤ]&@J`LfyLp 2¾e˗[ τ5ZTrj;]?4sRCؓ:8SMfJ1w/k.Wow> d/0G\ga+BDy!Xnr `1EE?i.GE"/4HlJ$aG U[縃T)_p)\դ~G([[ɬ~w nh!tv^v ޷\_S%GL@ s up{Gg9$$`"hA-)U.zbgrB咬̶*[Y ѤvN.o17FR<>bb YC~MwiRA#$UN2X{!1qn-8낐4og3d[hĻo&/Ȧ*Yʢ_C!)`L_aria-seTK2y^ƶN07t;9wڷ3Oq6j$ˋ}D󲾚ɨtd_U mTĊn%=Bӥ!7`N_=|̣IM%l;$5G'e`UE=0MТkF]B纅 ёĿI*Pku_C6:%#5TDQ̛]LwxMj8+N ) D 0RCvr ,Op:Nj!T'Ox:=2Wť#uZudA!j(y+%k{ZAIjeQ@lBQ$vv=|ۻ&=JrEـRT#&`nT,g# :4y ē(L '-ˇzQTPqi1s'6r,Ur2>U{hm]-n@^<}9':w9ТH]8i,`ܿ}y|~%M?LxX2LTz +,C"lG3$P;pB?ӈ@BE^-FJ'P3Qjxu]K)'DkY Zq&@.3a+@_I,'&E{3$z C؇C>+C y sͰmP=ˣC^I*`̄V#,U-YMǍR>" fV4/=lTZ"|ZS|)36!Y?j,wGj5{ < Y#Dbiݐ30+~I:'Xmuqj 2Vjz9!86II2I":?VeY]gd[AHx_(cL~K^}l9HE9u9gdzA,\Ҩ /ovTォ0༹X?R?BGs^JJ9g ӼȺjB# y1I&Mr)Y/'D :r&ƾsNHۯr[ 5ThNoky20T '6$/i 6.sM-?}-2c2`}贙ˇw҆XvDh?.XfQ5,2ܟ-=^pk$% Z(Н)<>tO4iNQ%V =}Md_oGO%TpXV$bLsk Eu[Q45u&;}N Wh650Też{;}j֤b:jO8<ڭtvݼb%'wϝX137 7_e1ea%-C(#7KCNҦ5u`(V\~KRD}ǏU:âS|:W+(8g~OhG>;yc{vh',X=cŜ^s L!a»`7- njJ+Iq ]YCsbaZqҨDlͲ v;W*3"O$w[ҫ0#UI(X];CT`qM 5L y1LpYdqSDy+bgCfe1]UE66'BVcb_Z|c"`ћ.vlPG2q,Baº|Q^^ {c%dlZE,l fDIu/֭r}3!^P %rP~&@sHĊvu8p&P@^! q ѭY#=qFUq&TW?Ui1TZ KMP4o;W ڜBoHa>MH,1x,p@2AlBhrD4kHȵ ?r?$oR'.*QSR'Z\uG&@d%huOr{~ilgܱe:B^خٿ~îw.Qc" Ls*:0sc˨濟kQ$ W'ޢ;!0B.T+(=͙50gL-Za3P癗F!Av8dň৷K.agbT+fr`2$48[I`D"yGtp̞Ru ƋAGhu1+1ۀH:t~e̳V?)@ʌ0R2O*CH'TA5KU ~%/<Ş^-ik $$:B- f1u#xS 3B&)UDت}E?rnLV7OZhJz=u "Q@ lqs$ALPAFLҋ-J~j4)[ć:iJXX*htՎVÛM\=verxRn,rq[Vpu9oT/JީDŽ.iuJR!{t煃?W:F\Qnd7P}G"f&t5\soܽ/Y8b^!fG>+?,-tڨҙYU \#90c7 wW$W:Teyl 0 o&FCx Q D|wkcND'wt[]\tՃ8"2Y&%|2?gG?w71ͨ9>T!v \H">WB}&=5bI <'v #1:vCԶmb+#l GlS$`-Yš\!C4h0O{qybBFv?76df06*,p [d!C/Ė1Xk>{䐜=/vI .Z:_述(l Kj {@)p=/)o+o+aea$4Ż)^\Y+峑~Jlz,_yi|.֤Yi9Ymt@(0j䃩,C/Tb);M84³ ߔN7D5 wjl""68!T:O/Ԍ]ťI]R{:=\Dw5 ^x(ꮄD',p=i\u ݐ27:Ui# *ūMRʁN3t_Q0:d- r~Zߠ1|}_1ql+2VjC"HVI&~q[௝>t6M"hN`}q\ypQ%)VE[_A+3X?74a@DᏢWo==Z6kfh@u4rHn\qguDABKGS=øjm߹^riǮaӈMPK:Av\m0u;xm"VoP[aoՋ3(]USH T;!jh lfȁeE>xW:n.hLD%\lqw6Ȳ}NP oѦ Xg/IxwW쒾McL#Fq}d`?${$Ҷe0Z$h1DRS|-X(u vп rTBeqY^N%+ s;Ԗhit,AoS~gs=Qd6J)["bȅpЦ7vhEIk xҕi M [`Bl #:@[3L [:`%)ֱhz\io;z M|C#4 &e &FG/ziv3!&39'~CgbR.dU|dJ*Q$U=i[&#pڼ Dw4kL,1e[h]Wo1'] 4/?!x\_}&z {uz͂Ku~نueܨ"Q0Ţ#? dsKw|bf1{zPVԺ*Ln{ku$ڛt]\^։U'}"vmR{C q [X${ SwyH)k_tɠ \5 "ʛ}Xk 3N$Ddx1WjZ/p`7M?KwN\VPvϖg&,VuyRB${6!2,xf<5(JUl@ 6!NwـP9w7:;,(rH䞅^G"‡Fm-(/v][ZOUZg J':=<ƀn:b$ :K4)z<FH/i`8ݓPN~poR1#;;f -@ 8*}:u?t !y.8l[|BDyųJ}цM=Gi<2t@*W s_l?;cGx4tC}7r^TZbje~wy+O=-d/Fb2^ΥӳhP2iucWLD+@_(bۖYWYᔹv)$٦J"Rz$NSkg@Pu|2"뉒 va3[eW!WaG_|K׾։i豢\;/{/^B.ig`"V<i,/mX=-Gzy=zP,M_` )D6.V5'7<. 4Ivexn⛻kŚe*54%@QƩRSE@gZxFbRyTz/5h%l"6 ^s+/jڴ1f KB?t ޽l moNoYg+>p v2rJ_#p/ԍzD6@*kdGR%I-5A=ד+S.!:m#ѳ7͛M4Q, NÔf7id*gį@gq@w~-YiSv^e`7yh?xE:JBO`! j 98ha9\VߔMag<ѝ|z^PQVjlwC\VtP+=c@cu֘=l J?3Fȉ>.>\ O'vYD=F | 2-\QVa.#Q|*`ܗ֙hƙtb.FbWliy+="ձWF!D|j%q~qИ"bI^rId'm.+l]R*ke"2f2hUCzB}d6Q(geX:jVcA3vڅ4[:K?oWìcW>1$|- 2'HIQok}߉h\T +9/2tקPt- 2_G ߢ1*g 0(l%Rʊ:Jnݗ -4'I]CG}`r0(w}by=kJm\HI3GG@XG=R3_nKHahY*^n*N :|?Ӷ|T&Hh†ߘE_f,)0$Y{C% q@B3ʓB&F籩Ɩ*G *0&9O-EE G܂ vx38 E/сPc5H8dџ"Gv2˔LGȀbK;5)Lefk )88>%o973l\ش$F4> y wYq=|?F +i)xY»F*cu em(HBꚴ]{:$ܬˏ~U9cSt Z1]i,2apM5̣p>mϸЁR?g|'{NE,7Ҩ!FvٕñX\7" EW19_hsi5 *N 4 =X=<~Sr3TOϞi#} /5)*{qڷHT>g-zno57naNW͔G;R-:mwDjעCۋN=-~GQU0>) S TglZ&)$&ķeSܚiZEQB¦N#8۬x/vF?uѪ=q`Y4Ŵ_t} 0 6M*1Tpph%xxt>{C8;8M&2a3kD:YAF?*S`M*|ZU{7qA5C<0Y  +^$7RE8䓼I![yV+ +=rOPJ--gx#fw{^O!'H q DͬPw*BKM^8)4]K:޾mmWpGe=P8 2)M Xqo>Axr[WyUss4z67v|mvY+u:ajw?$Ѥwfv$V9#T)E7ou񨮂[.qy :CR ~<=.>p=p]?6݄6Kǖ#ѣ2=C<=fPu(=GmX(5ɹ4t-v{$vU<] +g$ׂn/;ތphw_k5S:MǮ'B)]@`f%汱a Rs|$gw'`16VG=ء.ΤO4Bp%8񻧾(ssE]·UAC y\`kAa @˲,-?T/BzWJ8t/O3aÆKcp퐸oiȸM]HzoA >slj=;!U7E]sُhLK8A#QdN ܚZ1܍|/ndz&I@VZ itE,{^ oNT̉n0č[ȁC5lnɵUic;~I_0ԽO\mkc4^B5g4f쯜9*[5_{ !ZbHTP"#p`+%XLcd}?.n4hح7 {$m5b62b4M^i+)w(-+wdϤa#ǭY_d\`-N+ܱgYZeb2f14f819e2e7a6dd5556947207f2b7c256182476b019a50eeda51c4b74870607c55fbf00aca327 877f746cbbdb3ee6d67adfa0ff386a8af3e6f35f 46b2a9780ba5902f7ecd4ff6263cdf90a09c3eb6 db316d7857c5f0b99414cc7b8a6e4becec5f780fdf27d6f97956a795956d70820f31381fce89b188