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  t4Td ]/]Auto2_HOL:threads=4elapsed=24.812cpu=64.716gc=1.6967zXZִF! ĩ]ŗXiɟH)0%of6BN!8eHtIM $<=X#Q+b\+^3vzwb41P eHX; ϢanHNJÀĄõ >8U4|2htjv8.[gEÖǂ 7"iKjahޫ䅖 HGB VN`A@ϨJaYξ)a3ފ^ȼИ/Zo$4/k1ϞJ*ӂ)kBLP{Ѫ;ş"/fcf@h5_yK>J}6= J8H T^m}}8bY鹽w-!%O.}` ]oW,Vs1]6.Nm%|mj^;E2qYT^H}~fx0JJ6I$gs,o>MyWjUID.XڵNA #(BKi F hb\ElNhR=GUU< Qx>a+Rzqa58s1 4zh'S.VwLM*mVV͞7z){&y<=[FlCYBjgȝ/j^AARVe󣹋+\pE){VW(`UjQu~//#s-s-rJOOH+Vʙ *A#xD8D&B CYI,ZCHEy^:00D`%(k 7{xߣEHdG| 6XWtá>^nxfWTۦcNS OhʯlfB6tQH6SLdPv38Or| *_ * uŒJPa".VClnLօTMo:]i*7Qsӱ.1_Y0/#QFZ"Ō??Ƚs.EHY9n@r(uHZSY):Q)Fc݃-Fͼ rONUc2"!^_(v|:f!G0l~ѿ3$1*N2h?oհmٱFTkH]dˁcRY۰l =kq@JgNoALσ!N3qN9Mp0ၓ&*Ƒ&0લ#Ϣ\08LgteJ27i$ a|' & @-@N^/V*%~&_z;*7(.zAwl+i`t0= ck5;ً1&i^ٯ)}F:5L%  ʾQRWsYa튨`bG70H}7vDNctZ%whezzd$:C48%Ӄ[G:3%SӀqrkS ڂ Bel bmPfmkQir'#;SjYN/QJI#'E,إ (ӌM x%czx / y sȤ22Q4ky!K1|iRiEYv['&74E1, =92Mczo'V:0~^!'5˯,%=+{Vm]Z|ކ*[5LͅiXG*4fIjȬ:% ;)%WF@Qi!z EfQr~A֙9\QPe Xv= ?ХBa^@mo@wӃ} S++ A 鹵بQHn*#~Zqy5hl0^pɋsZr5gL63Ku?ױ:(Q"M#!*U;Jd7P |gonMWS *-e&Sg.-jz ‰%./j9>gŬ:Mgv/%G7uoE~ HS&tL Y=bOynV ߔAL|%kٲ&lle8:[%&5)0?Ϡ5tQSzmbp P;oc%;4ۯp{^ѹL_΃NK܃+;m_D3>K׎I `⌖YkH)iQVwWv=h )` [X`%"G h =3<'~:GQ߉)Dco4g(d CM`a?~1V%Cs0W֊'ɅXͼ$avu(t wل^!yeSSDxed+jzȘF:U!N{#YS62&WiDuu3 wADI+ڙLj3F $jv}:1-f`cْnVIs2Z)=H&#miܘ@܏Z' [|&󌛺?E9oPaYǵtɋlDX["pʓvn].`<%xuWl̈́!5ի,l j* Il3M'7ޜAk6O=Z. x &Hyp5__-x)B^PV &/"{3TQ;L8*}4@yW?wikCi/%iWa(IYHtL-K쁉4#AGCK4p1D2|!SRF\+,2'yT4i"y3Vkd]P ̘[ %msLZpx3l?QpY$$1;v_9كB  =h(X4}a%\AC h;RsGƎ' e[|p SN`K~8D~_8Z4O#Ni.{3^x ]}0}mC QA{)yn7v" "k% WGeW%d3$eg;}џK9F@drA *| %Y{*#;mmv%vMP U3}Gtx ` U ,>[6ւ(ܡBo!7/Mk>Z*db%K C2ψunn,X6 (#@VABB?G7gPSg=gjiizPkpMs$cLw1(vT/A֗Ɔ40xax{鹫(w܃K\nQqSVhYA P˅Nl: ._ẸQ]@뿑@C9^Y.ҭ4PJ4DٝReFYO9Hi}`OtP ĆEHg]JoUq{/>`( yj˼}!ї5*k1!O!,E=ȻݤS sY4npkGbB)R~򁦰k#PJ{xȖ,|اhݜ.y4Е2f0HJ>>q,ΓrZڼmEQgu޽LM* T#FH4ن$_l%}%ÊlSJ8*x(5Tg4iTMdrRjf3'tN]Ir!)jyLFKm{_+ͫ#ŧf(^ 0~R0d@/|/EUGD"Es,uqpLn$ly=Ӎbk/g2'9O3RB2uQ鿠Jp1,SUB_  ]_?(+!5 0y؋7~lJҲ ,: _*cLHAPtsҌ u>:ZN*63:AP`'Ѓ=oX&YCnI"x2Y цLh" "PNj|c sCP*@}~+8j9)\A$;WkQڛW%.7ͱ aq`5n|aE;V2=by3Bo&yLLmMN؍ 1x:uCh ҧw'd%LPko'2j'Q LVT|446;+x };Y"̷U/X $Rfs4BACB0Ѥk+x!>ih48CPf3ZCLΝɐIs\\2d/6 BPJ>qV["#DaPU K y%唛J e;ٳl&ٸWP=n:b^Itl(O=L2@ ꭑvH89io|j&eW)%Ҡ&0S7b3`ic-g.e? fF\Q2  WƒlApe&1W0)h,A gT|%`1 oyc:Axv>z J%]c3hRM6P~<8 QgrĢ+5>fc"<#f/;^FB T;HWJ*؟yunhsf)3FzӠǭ>\6˹т~Uu>R%Ѓ;H(Mw4eNTd">O|b߅ TB6:`KfKH&D+DZ#m 4;R[eϽM$B_}ЙahE>S#O?OJ4ms)׸(c'y'͎C{h ҉{a9mvn(0Oq^_;[VI@rh{@mcm8d;jrPUQFp3GMv %IƕX`Ao@ 'k%nm~wlM/ت4Ew<;hS czysnf7 ԔL+ӳ^zYQ9Ӡ-k;K+\ϡF8M~n*s'LLSRSW/d ql(1괮Ǐf̕@dmu?՞ϢXdzPGqw- X 73fz)\T2DGͬ%UDp(S| H=/rSO1מE#k+phʿ1CNѾ] KUzmh0ڰ,G\ɿ~bb^V(*5<qbgd١tG/jQ(~ 08rU[,7mS+T\Xab5izH>J՜M_ ?sFTVIlz18I^(hj_JzPfSEٽ4d'EoW.5aGdh-<@Om,*p b-Që3Ͽ}d=2+9y$jyV֭Qgӳ_.AAcLMu`Or945t$TvY~ -xZbߚ?-P'x3Z"=w@JڡTŪ4JIcSOd9{&Zm P* TRxj ϥ^`+1,\gBD*&iH+qT077NCTmP,w^a+M.2#CPV&zDjc]R WLBb@܂88.G L*zՋPV+ڨ KJZ{tBq/_R4#hRݩ;ڨ/[т=N(K+>G1hw RӍ, 9G1}T)vwX-eI۝gIe,9_[="1VXz&B7n!< ^q9CGJD"D۳1P;G%>r}v:t,]\IrbRB$qFg?uP[>] S;"|vcVvGOIȐxڻeԍM>!X?`sYFj67=.Bq$q3;1z=*5gf6^TGi zaq*;'4*1"h9v=C D5%nz֐/l>~GHw4z4.ŠԳp!v4)T`^.}Ov|oRBiO/BNJUl++^ma%Jd]Z+!}ud|Fh-PyGjx+qv LPgc#4"f_6@`{iqՙ4X_$R98Va,"Rn;/?[dՍqz6 ._OëS7xYM=9\/NnӶ]vj*5l|#`wדF6MjE2bI12(i"N%+0>-Ż,L(eШH} ssuj;kRAy g CiW uJobi8j3[lCb`Oʷ m:{Q?rH$吳_ۻN[X[D.rEt{Ybd,Ap $ Đ3DT flz¥&*A DEiereuݜmȱyLMc&Y'qF;]ȆypY "ᤔVnl[7Q0M3F_srv(Z4!{` nI:Y 2Ee0+6c9\gg^x{}Ζ5v0gePoFܐ@PОkXEIc,:yydV^%*ϓQRrю9WAg6qYZ\Zv􂴿di1\?Hܦ8.SG7%cߟMOƒ`j2?)Ӷ7yNe8mĥ|sr}F soQuʻ BUJgXZ:Eۻt&\抏TaAP-EgNu*4omoeG7Ƒި:ZyWF79u#~^u)?wk>a.^VQZ>Ô }*ccrxf3W_>Y6M/Gw$gSi@P zdɸ=*$?q)Ins,i=,9\HÔ-wpykTTddfy>>wNL7|QMSV;z/1w򴠊a(CpC8pL$3@ɚˣ4ta#`MOAӚT ]v0P^nM;蓸[^#cڴR /b _ Uj]a\sNAjQ aB+MxHӵ;mK0řiF ̅|l؂q"f")j[GQR.`*ayVڻ{1beev Y;{vB/F,)ۆSVd,u)߭Ōr;^ٖEZgu5 A?0h'/>/$u9eYNA/Dj*G+}_دsӐmA{hĜf^f)BສR ŹޣEnĥIhG}8#$Km40l*S4!@* JpxQS dI= reMdΈ΃s:lIVJ;H3] AKc5g DLEۊj>AHT_߫OTM/}5]/}@wBi^6WJyj&>"6ƚwaQMbۛ)7ZOҶz{l7CݱD 62qpSyW:+҈jbJnWuT,p'f(ɲp_^BRڔz֧Zboi"uHlv;{.Ia9j!nP3H 22% ЕHPŜn@P)V%,WaFg"]l|ۑUj~\F (M)́ Ҫ ¤lBxÉOI,[r1' 'PFo6` 5pg'$53N %$< οP4^N> jYK ضnr: % i#m< :ku8QcKŸ2+CtnA Ƿ%Mah3>{1~^x q,[5w-lGb$3n8JA^ 7ƙ$µzgr@:Ou3<U*w"QtڰDڛ`vIpvg T@m0⸏2>D;Z27 擌 uCOE"[8_9F2為TCDDj+@p .=%g|}6 ,plz`Em GL㨖11; ؀ 9(I!NT-5c-ձ~}鍷3DιI g*q[B䧹afo؋67<ט1hK4U-0ؖ9p$mʼ#MSW2N6>c5°$:# *\&ةPnck ~/iesKWb<( ~,KyEk~a\ PoO7~!VI̭S}>x.7-FNh)C*u> u~huwA5Ew?He˘` >n.CD40]53_OxA[p MwZF'3;! lx!z>GƌKi$u ziT2_B!uJ-Ѳ;@*J1Ϡa@TN@7y=8,t)WCrr_D.q@0 :/ԢY61q5vZ%Vo:Io; yID2lľ(1i&A+G}:`" u\Z}O $3e ۅ4IYoZqe*jޏ]hqI925 b  #ntHSr?X #8CV"DD ̣fzz}BfM/ܸ(#5HrG/嫲Խ~/DћhYAD%(i7(#]iVgP2T ۱}; h9S'L #v]gҤ ,MpRp_jV}*|nlUKi?~p=2tTLFNbx4'fĉX$'M':ƾ䡥݅`S" tͧ U@70n?ML#rm.O.`5̅0QF^i2jlcn;P 9%>Y9 {ѽBȖޥ2fsumv.D 8.٠u{Zn< P`qiK#RP?}7ic\j` )?d 6kvhňL8c}bl%)Y>Qu(:R}̩ 7T6.3aTl'KٍGgأ$҇CińOgUʓ;sYf}BN-LBv m 4E&Ŵxf7ɣW 1rY6Jrmֿ`?6Ia˲fC )H3i<ɠUwʋ) ͕s&=\Vװe7%HFjwLkT5uA^;w&Y3Su9p&ʼn.x`sU$U.$X,7W1ƃuW?ˑѧ0dz~Fj4"epsx}}ŹN UrE= {.%b:hxSZt*(ڞ0/h4GQEGLvp5uHJۃw'#h.y4qEIJ]U2qLBrJܯ kC[p5rbo~0Depy՛uI~xy4K@ە4My&fXBA \*.Mg4&z\O|%ΨꕅȈk0)ӠG݈ejUzP\;fKL՞AJ_ap5&rOv_At^,C8 ›Ia,+dZ+9c&VBZX;1M5oywjh XlCvpSyQMI ^BǐeF?4! ,Uҫ oJP` I<8<5Kn4?< f褟 |$4f&XXW@Պ|=IaI0[i#nR'$ӐM:ݘy++ζi G^c1W tffJC!Z[Lja -P-{iX+Y˘i⇥┾nj}9~7߾ݢj$RQ6QlX:-߭El _%ꐙpťL J.\;3aurϬvc|s͊;1%h}U&#S hm'`ͬb@%f+Qn3cR:r:d$]NBj-SG`_1V"mg"bTwZ\wC x^C#L):QRT(҃@Ĕ\ dY/Om"nR@eJѮ~p$@0p$^NQִX zPԪj_d IyW 蟸)HW->c֏rkΩ`h.P0B#n D4@.)Ԁ >G3`t96_]Ah܉8B'%P~J%.˺>4bn?-#KpťSB3ͯZ@Bٲl1jt= ""VOO7'EуxDl'FR&ɋVpǢ89zu/.Nvt@?â>v`Ta2SL~nFG>Vu&HDyX۠0ū=@O]gsi%hl~: VO$>U.ifj-DO^!FAfRn Z]c_$Rj xuf{{GZşTNz/{qX٘\V1簷FQty:3:L1o=SmٓE5MY\xD-}?*-8X143+n ݴ}pk$?J"V+Q\[v˜D*rQnVY&)NJPSH+^HJ^ Nǁ#W#ok^?C^&KXӂ@2@x>϶GQxouSqv4 s$gE򲻤xW b,'ySˏԍƗ.&dJ$oEs&\)>EQ#uh x53*o(|UF JLVK,sxruY-mD8[t\Wm9GTRJ۵DG tw/VBʮI͔չc }Rli]fG!y\v<m8b7l*oE鈖Wwع.H 픁t?MaJ`buhpA/ pk /eS4ˢ,\v?²fP8Pr(>W^FϷaFܕr|mZJG7IRȊvpR!DLyxv&y2)FsiGwdYۍCdBh/OE p tܼޤ''u2CxP]8lҏT7o7φKxt7< qZD&1MJƅD+/5EdTxG',{wR'WVe=3dDN\}̯Ml݀-Ћ-5cUַlj8xKBlqFssZJyEͻNt smt!5 'ʢ#PW-;QKA{Þב.k?8[Ej$/楰ۀm>D )8 ̓˜KΗT,t{ BB|d>!wk "! A)dFEϚ7?3zx?VT'=2fzQ_5bC/v7p-~?]3NKF*I`Y n+)85TYEr9NFٳt5+}I:7 ?Sȸ~'6A[yk,Jִ_dvN HZ1@%ѣ^Tl7&iQ1~bi娲5r]1cPy-K .2]4{DEkBt~Uj|$ON#^&ɨ2{ J;n$n!ĕۦ|?U Tk9l|u}McX)f dUA!J8戗'{ ;U仕--h,CLMMKw~&wi-@mGz}:Sj"Jc] x$Z`"އITĦgemnY1g 4wQ0(2w[\/Vyft+[gi.ى5xnPsߠLнWB[9(xgua>`u&mx8P1Ib$R&b_5$ ;{Z|*b ۛc)`͋kѭ"S,=. 7fx4ɖkd U ɥF`5gـK6e_m=Id9P$tt3&1!:#6+ X>^@堁[ū※5.݅$v#6ssplBu*_͚Oga(-RD`k1E9F"ӃNOHIT۸͇;ddj:LyT,|q$懄$ݧT$s ;\ 8̧ۼGTmj̇[=| "r/ܸ=7rv_^f3DO$}Bvt*"^dl>c5b_2|Z`h_kӢ5,4ZY3p:V.ܪ!~HZ&Id༛)y_&DF yB6bzyk$_Ӵ}7tC|77qwcmЃ&{S(uF=8hU>)VJ4#@Hnp[Z⠈id{ӫ&fb)H@mytL`tT [ {)F"Hm% AVQ=Qa(k gۏZ^L Ʌvw⏀ T v 67eY[W+zpEdeXJtl*]V\fMAͼ^ҵ8t H >Hjl+mk:/qu[34jf VRח K=νysVL=5BA7  00 5ϳS@"a̲m9j޸lPCe9q$f.Ld{UYB gfH濿`%tL؜ΒxvvŌ|O_dSbDnXGi.Fi+L}xfFB4 DڠidU&m+b8U|V1DSۙCI6ׇ-vTҷs'yz&΄=X4Ws0I~o+U;vTkt3O3rq*؞a9ͧ_TxтE} I@{Z*WGl OEGPOؖ՚l 1B<<$d9#;L3(mg *5k?Fq> vLگa9RMi4q(n'![LzC>^/D՜x캨`Ğ^CmU;Bņw-M, `#|N2 JXb2tS5R~)I<uGlhgw, L&!۪#CaiW< ק=3BGH IB7j9VJc$f|{ yrf]S"dkCw2R!I'T}QD/ZQ8 tc%2-_ qPzjrs}j n#^5Wsk+o47ǦPy5,%^mЯjP?",;{E0D8먙AAMJwa4 h9;$^e܄C\֓q[/G D}/x"%k]M-^}!.h%9G !For,b᜺)U?oN]-5Lr vj n+eFgb]fGS>sbv৕S 7M.iǹOy9;) |me7|1%;~g:8Z$3Tϓ_jtk [yфqPne.8?gMM]O<\ B|N(V9ζC79ʦY#sco8Bԥ]ț^P@ Zr|kjL׋>d%9!OTx!r]<6 HLj-7Aɂ& 8kekdwio ӴlGAa3ތ-a^U3v_W;(W!Z}Ѷ2ۡaI%$:>nx7ta{؋NeWM]lbQL2K;\sA`HL611//T|;g8&jNXWmw/Df;;ix+qKMQYZ82H$]u+l^Du}EyVؕͰ#ȕ(SW$+<įau?!O'$hQdyk*kl"L5G^}U W6T۫5j]h&\d׬}fh+XGb3wClҖz ##*`YWZm*gilqY!ep=~;bok5b#H="4_)cnsq=v7ީ5yT[Dr"NWz̒T U(V/@+6f`%ڮ! fV_K,.w[B\dA[ h\y/ ޲^ sZA}^.w 5оr]׉8`ɔ+a X{쏀N׃[EiL1 8L8{He)E*g"g^eLtC1o_"NI% \U"CaA$gRgQO\._d{9§dy01 @B'v}#[SP6J*qF%F.|+i-.GwBޯ m1NbH.Ϧf%77&Өrr R};aQCM/ ^&zo FTvӣB'oG+8#T*̝QGdN+&M|yY"WiN7-wF8~gt:#gj\0_@Cn* `DC1o 58){Q@]#gSkyU ehlGLU]X94tRyɡ6 5/Z8m4O&,L1kޣqTQqC"/l *r-ȊҩJE򁖛5%χ?Ý1KWo WtUZ.#l]P߃#:E ?ohov,8J~P"[uk/̑>'|rф9=W‡${r#Wʂ{,lp;hӣU<)EVɐk7 :c.+ԋ{G/~w/ CQ'gq+]ij8\ŕ4|OkF[u"iG B2G+~Q[t髲*}57P.@ dW73ItS0z98K_Mq_CZ\V&M'KU/\ƞyP(a_-&d-qf1 aq-2Fv/%'m84 a &.xǘI q)%L)*!O9*Q_> SN6 q3?E{ DϘmn~nI Ҍcη|wu6'eMDGW^e!g}p*OYϻ^!iW{™rp.`Q%RiAu+|+Ir gّgd. .۟*;fNBxP8łswl+ʩ_sr3x:H 8P6e:# ;֐3wJg3Zښ$`p~tnV!)\qh5[Y@^EG,~fע,q&^{s"buuV2d`"] ];AZ{cM?n) y8J9x+]jʲ ΒmƨI{ 98.і5t{@';]7K!̛ c $E-' aru'DX-R@dYW4Γ* c}T6 o_N&c!Ⱦ5n%@9HD.?GJMSD)q^} _g~ɀ# vz$DUg̾ޟ9"OӿjRw_;e'{e8P+$@ݠ$z"a6%եD+| L;6Buagb0GDRt3< QkY<ԭ\*??<8ǐjB꽢!E=b@D~'35m/]ZÂ;cH;ıQʊ4bGw$&i1|*mTvA s9[QPHwVpmͩm"dGlz(HsppՌRBH>s=z[$=y):EIc ŋp#0ue=,_6Β]F dz(L8 X ]^s6i 4Mӱ5*]! jyj ~'=1gJ.t=_6tf9%)ȽGD]OSqRLe_5\ŷ *|3*%vvz5go^Zm.e fyL>ըg|ʇn'-h6Uy^(_\hHJe)XɁUuw@e4e6ż@,gA]Fp$KW$Իzv ́`<8nڴ_ut;d[[-FK ?^>0iJMGHŠݒ _^`37;%2xfIp{'jRYWD0pK<i?N'i!ڎ!,Vŭ?w(KnE7JFoUnxUvO1>/gSg,B=#sDyVtU:71J_c jM5 –VڥB`lzýy(?O ,v\݉Jp:;=b-'!̿tZHc#6{~Pˏ`'%]OjgU`D"=ÇbY&B=L! q5ˬ{5tm>O!l:15QdY;m$`l:21ob3RHa?WPGbdL&߰^\'yQ$ fZpg ^ !3VْiY %c=i~ur'zY\Z'pƉ o4B 0 D%IF6+Q$7tTE(|U.D}"T*Sehűr%ߛnJ{\/Ni'i'oq v;dKeESA~Hehz }$fqu * d%lC".vp'"SXȡ/ǐ9%u5dgSSy~x|״B1&cW׾3ǑO߯iBFF7Lbco [ Iaq#m d ,Lo[ AyucF1@'Y֑B͵ hCNmhcK=t(/#ua_ӄ}ffS?Ki'wefkxr'$Erzwii#xEq0-icp+=Hx헥),#N~&yKqz+ qa{I`<ͅ/FM*ч)c{xmT;6;pb~9paaՈV*Ni5 wϸޫv10'3;E9ʤJ]8ّ5rd^Ge^N.bË\-Lv6."`V!&E#\p qZEXiJ:JMtпTN>/j)2cФRya;Lq ;ηP[*apjuL9\엞CJc$ͭL#PMmSgG| 2 y'X#Y&f.*.`:zb,u͡-LKcLƄ $&*μ(=T?i(-R|K_l܍ eS7VAh$LY,q6N'SD#FɎ_$pꈬVM{AʹutJB_~Mv;oj*eAͻ^d#F+ Z+Jͨմ1@ SObdCwK-ʪ{z( =;!r0[?e| ȌД6l&yKAD IipOcS_aBiҐD=[∖w%g 5 Z~KXM 2[ef9 V}x\_,,#ɐ2#}Mk<و<ɹHA &j>*= ܙEl쯃!F~V/- 5ғ(020,6D.շqOgd2q,(zXfrӈU fAA}Z R~3ULve1mrܠʳd{c'myѥĨ6"C%y꥜P11WJd&&(ֹDxr$}*?/_-Ac/idCv7p ;®qX.ƉFDK ܖ4z7qΔs*ο) 7Vun~7[ɼlU 7eպ6C6f$UN+%ޫR{aP6S˔ơ5ܶLL7Ȓ,2XJ=L~ionՊ ct"p diCfrUo+Fy2 >܍=L bkzMHcEEeo$v+ h *Fǎn=u\aN,!9^mq?3"m Q_FG}(B $G6qY7k6q.[q"h?J .)p;˒e˥#f9¯SA*sDM%~mq :M* ޑi.rx]9 В?%iq~}fg856Lټ)*1n)0;% k!9aQ닂w<&{C*zݩ0 PۻF:mit+qޮ2X 3EV+ #@v\lVδ`6s$8P,ߪgNNŨp<+>Gk AuU:Oz,l!"0(iik 'ܲPǏ'6 I Ip~ݐ.Deb<{~ȏ9bŽ;s ȓ1U8Y٣oӨ T0Y4ӌ)mK[*@)aǙA,dXY]y>p5C(WXEDY! R*c-~ة?ic_3{JDrwVg ,ͬꬺNO!: ,x.w`&mn>ثXܜj^Gkn~Xy1v%J]<*s/H(")9B{ ۹W!.[<ą!x+ !d7/]@~*>JL@Z_oʹ-'m1& -K4OS.DɚmLJߎ|g zQMʚԫ5,dSTq&~stϓV_zhI0Uy, 2FNbj!wz @OUZ Qri=8bh{+q7r?k@k0@ַ"u>a 誙Fmo1%/su|:f'R ~KzT˸_{YCJ*d rnؓ4¯mS]] &b5H2ag#?&RԳ.ʠ<$MEq&?H^C0/u т.㮝︘ڻ%MQI,ɜ}>xT 5ʱS?vH^wD88E-.D\2aπ.1n_a] qͳn6/ػ}p{F*\ V}eN22@a'N~ۿ? tPT[- fk ‚ľOz@2ǫޏ,=lmWT:34i l.I@;ɮba]v*=[r\ո;)5*dP,:ڠq@wKmxi2ln ea%|`֎g$h=>ʷ3ZPF4no;m-Zx$Hi'- `㷸,`hrM28őSs?ͅefB'=eiz{l(0wHdsY/anPf= Npc4R1WϹT-2xqejD4y0a62w*U"Uu"g(T3S"WpH>THԛ&^uEj zA~{|]iQI 2F/9ٲ!3?j<*~ZS@Ojڵ'1hoBO|>DĮU!Yj%qdz o !-4ƺNce~b ~*'13!{ݟٛs7s7dĠ .;xg"G-PkY CZƔ6+I2x Әq  XWJw.o -K0Y 7rt硦rgfLpP4Wg,u~6lzwYSGD^{g\FG &dw߇Q9%t^GDÓ3Z{h+ fK:ǵ]Oݳh??,{’z\7֣""Qʠr7z~, cHO+2Q :8_A5EjhI.\=ɻsd0!wvW9ΰ@Q4H2R[A-kvfnO<Ϊibݪaqd"oھkF~\wj_ pp2-]?R3L4 :)jYb5 I>&ΫM4b+d10YQ^=/Ls ^py#}øCW->zF}w`>T>P{fA% p}4nXQ?mu+ ~E} S/ ߳|âFki'C }undLl~cj-ZEy-5pquz3nAE{˜xDcnMBL v yd{fvu8xA}I @ܬ_ d^wN"!fwŌC^1o}ZMNq̩|U5nGtvbo 9Gl3>Ex&=LWKtʬq,VGSW&e\9 i9=xAVAeWۄBqzuN&rhRDctZ #o4?qdkGW-*[ҷ}H$zw_ދ؄-tZwBZ6첕s~DxmJGIF:UY<2:@=!|U\(8Bx{#k;Mj$u9~@,,R/ݧnm%Q+icnWӟ>{>Jt 2s,|KU++?h=+I/lv,U).Iuh2'͑BuW?,C dꭇ37*0eЍy pvRxynbVS ȒGp0#x/P^045fKG˔4\*ateDo^6~i$ަA,A-['.n2meS`ځWPNt=MT%10WP3ccV$:!-*/zџj54WW{s f2'T Og}o<vn* ?A! Q)t,la L$i6 „Fu2&ƫðd GnuAp_dF7!?7-:@g6dzn+-$m;nE|}VRhNNQM N2PGWRMé*n(UJ0'תf/AuR]3M.cmiXM #yul^o^m$TeP ~OL/W5Ph*HT*FŷFգ"Cm_4{h:UDGɪsәZC(DW;"&h/sy4vQ&  gKLyxDג|hխ5Lq Lkz5c_~fHj؈Yp׭x!ƒcۯ{1:88#l3TQ'# \T ͧgjha&H^+C`yU#e,8(૵Ď5+UY?KHI8' b>uPo~:6''Ee }C@L/o"L Dxp^[MPSRtg݅C*Bac0:̓ܪL.Y>6/a^$U% :1\H'N̺M!=hA$ڬ=cyIصH#N!ɟTb ӑKk3ځ~ǥĺtA\C;d mi8L r%m`BOŬGR,]Xh( wێ {k7hJ'nwor#r/{/R2h(K:ʼX$t Nz/XM!D{zfV\KU\~5Oډ0z\AIBgJ{`cf4l%3;;މ]\Mbm|M`5ٛY[qU&1?,,b,:-Ԣ$DŽj>EmfB.~^Xca(Y~rrTZVhצ ef|4$A(m*AUSLP>s\.O(NmFUB[UMyoҟ~܋wԄBb`׮e<ѽۄ,Z=+U=W[G/\b}$^X`ioFW'rI`ڷQL`m>H8$ ƈxXAُX(E_1K;m>6Ó#f;Jf4iRy\P}ga=n)h  Uq=tA.]uMYԷ08UPRLSkڣ$JkbT)ըE~2qҝcdً]%_MLYv`gޤPm8C _>ϯ[H[,efbэ!3 /`vmMB"A磌&/tY@Zm{-EGXI6RU#GG0 ;$W\ -T:ٺpZd(1tkڷ8hA#t/d1g0kIaGFߌ,z =P,9N3za*Dv6 0ʂc;{ _w^I(t9ATDkQ kc`(V~'dd\;7|xK,厂MNKzѿ;7}ARQ3|k f[[ H(K8MKUl!ܨs<ivs)u *߈`xH}M7zFT>X,mVb'dԳ+J}v>_`R6 '{%9z6aS0 nf̃-n:9ЗPx+Z!A)JR+bM"yC"=y:ૣPm@9S:˃VW?PF/)و`ɻ\kKW-ۊf'wf|ĿQ4*Gi>xޯll鎖Gj8ˬf α¹Ɣ>Q$G_lOxf6cQ-/^T>pZGeϽ(e?zEgWgSN"viɘ45ԪOt3RE0(!(Glxթ0_sVSz,pT:ī# BM:mUxA8O%,,嗪G{ɳ1/iUt0#V]De|K!-$̀lלBYQӼ+U@Md С9lxGQWVy[Cǔ A _1@|l)qGC*V]kKR0DeCvR?>li#0c!nHV@QLҽ7/F3o 5ܬa`\y¤9ςSz쎗Ш2Im~o#I-٢dLuU >7S%[wU0/8bpL![U{BHc`ߤBTBp8>y-e J]9QUPb}%a~H?Gә^)Il^  BIƾ8"ݣ9 +z&-{1Zbq߯צo= 3%㙏 |DnyhG!&;Rӈw5|y5 !Zi`o>hɂ{i8dZg]w.P<q;FZ PFИLImh[.V[#G8{?'G-))ܾibAADY$gɰu lyD"*?;ʟ47q/KOH9lm%5R.zQַ(XtiEQ)6F}ZL3Y>6eDA /7MQUꥪas8oM]i]Ʊ:5 D2qj]`q>wN%MDvmBg83AcQcH"'<jY"܇&iΫ U>( (d1< wʕ6.;cZi;-A3^MaRJ#‡z˔y4^ېIߴbK3[XEn i+ gj]A4*; a_W<10/}slhs[._ z(m͟r| }w(rv}Ϋ>g1;-/ȣ3ׄFQ 7nN!"j 8ÖjXߌw0ܟQE SA8Rob3xU;sWH9>aFiy΍NwjjfK\t{ܟNGJ'Ӳr%Z[+svwkN3eJ`\B '80|94uV:pɭuh)'F 0!+>{;M[7Fg}pW7?h2 m#B''2A8Pf|Ame})d[Qrȗpcw9 ( [w}7UzJZto@z< b ӥF*G؍4W+?c2?Tz6E/D5h?FggӾ^ٷ"!e].L1jL{ {-ZI%slcwNCx|*& քLVI)kɅt}/lD:W;?RN9 cxم!p[H~~]䲼?G0nAھT@H=%CLG=h΁QiӿiGp5li#ER7D~MgQ)PJPDCI3\nnyeI$ P=vr>Nބ?az()?SU4埿+[9y1Ȣ7c7 چZU2'qK^Sc%dymH:\;/[NX! f*2yML.ոoT]qWyU`Dóp/M;j^2vcgR\6dNpsyxT4($nO;b{ٗ~ɕǬGbhG@iۓ$4FA鐞 s /uxoR5*j*hꏚb<๹^C=$P*g,궷yZ%,n8Ƌ$mlbA][k{vR#^ro f4E"DU/fRZ[CMcJ6({8PQyDM;3rB{Uڣݳ%]\VU!Wܓ?nҷ< B$Ug%7(l:KLLYbqpd6n_] IA}FHѡ ^FkcR&k K`1,Y>끭`{;9ڍ)k]l\s.BwuNZYnĚ鬏~ PFP)z-ېdS( rMQ! X"}VAyiLD{+Gy{0`'>l%E}RȎgfbcUGȰ*搤!ya`7- i(@"Ѹ pgxDDTK>51$юAnB=}7$syjx2[XjAQۇ1ƒ5 rP̽ GǙo"4>I:ؿjV٭{*X9vd=}"OS) A.2_ \! 5^0wӴj݃s1 0eZTK-X;9n;ve?gR>)/|c#rx>Рy@v EcP}zT& &6OT; \uXLw;LcG87a{r%w[r4]<.\J-^j6Hඉ[BV@,o;|丵S׳4(F,|Zf59ؙtr8fNϘ놕 n_eޜ!K3ُ}1ύEzt4/2DrL`ǜ5ƭ\B|zLa+|‘rFv|,t5u_| ?yrxKnQ7-$]y߉79kK.oW!و&HJqd@ MrKS7 ֥Bcz.?!3-9$[$M&X NctYi'\b{kE!acdž j*Hp{{4u2SŸ=m.1rd] nMwSW( #*F'~MFV,Ed3[A;kպxZ߻sTK;#0b⪉㬹S_&nv\ȡږص5hlul~qjD|t#e7cmql꾢 \y^;B[[pg(ͅv3^rEBTzFp?H l|3Kɟi>+`2ӀEvL.'p!e(?o$蘸I & щ]Ymu ^ԩx{FOs_q Zÿ!y/RoU肪ѝ0)=k;Jr0#'(QUuGPPǢjѽFZ^I:s;%:Fq:0o֍ԻGM=o^c1lt~뀬So܏ѱqRӫeptzk1-za6#̞5jәnKn߳5OvL{ȍ9\ 9*[l0x {RVwΥLk@Q7P8 m_fm@01wy ǥ]p&b $z]H3iuS?mCHYLo%QKwb$0F`) F9dP/%r&5L"j' ̓+`!uyYa;!qN}Is?Q zMu~E aa KAFP,,A9!Rn(~UE2Ѓ3 W`C(WS@~2h]Ad]B~S'a{v : BO̿Iu o\<,bԱR`?^J2p5X>ͫC$Bn˅i rn܍)>YkA)wt[L1!2PSH8|>/IofV+B2#(j16Gtp+X 1-Ŭ*D3J>d; H_(FB旁[Hq3N;)2/%T_&F\.{ɿd`Wq45Ka) .kP~#.gCyh ޮ+~8GI@뾁X4#%V ȍ?YR^^uΎ2!`?GkꟚ (8B h[1f ˜ʱ˻ģ2KuMMvNBz߳XR眂d=dL3nHEhU]>87`E/x'`3+dU{RR(>EӪ6 N1n1"k8MݪphjR2'pT\'ȘS.?3-)pW? {,H,iOL>io_ha@xro%gSF;eC4ycˌmGsk< .w3Gtˏ\R4GM4`B} ^we{< MזYh{eI^E<5k kde+~ ,@16\ő"LS^v.Dtmk1x5%4ÒڷnSj1RPwOKGXC +s/dgKvY;*h;UP%39r+uPZs^--E~8IpAAB۪>]GP0:NYxtܣ60۽+;: /1ͤDh[zlh?_sfs8^b=DG\y- !P)-4zh3M: VrɌ 5`csW~c+lF]w@]q뮋ؗD6ڄsVM b+!*w ;X}`[ WԀ|澏E g{7pRK:wo`]gZ5?JrBJ^%$eE|़VA f3)6/o#.F&kk9V UaW4& <i$7~l*Qt)Nu}\` +D|]ޔdC\K |0 `T?6xcL[D(Qq}yQQT ;NVݹBMGVq"9;i6] ɟb0 eBіVhEmOg$e#z׽X|[Zb^#^8׀9M%LȀ]EW0[n/gड़I),6-c0B2 rB~HifBVSgˇġƱP~/ 7; rڐ0C /f~B+򹓞 &&aܲλD,h_fLDD<>2:[8gz]΢~@H xn0e6𿉤a|4թ/w#.7>7AtZ*j~s7OYMP>tkr:hO΂'67O]*>~r{@?isLA$/# " H:.DXpp?ny&`QzQǦk/GYgre{U y1T@Rg\|| ܛ@KlP[02SL|_zs7`٤Wdbe3lDn WrhW1EP3E/pc[tQ3BDye'5~$+:v֙!z6nW[]6=q\?Q_zUj=mugZB%["/ƃ2b6MXPsr@!9Ljw#{[K&E0fK+LWL5*~`{2G4W?47N8}̎$ls^Xdv2K$&]nQZ1ADrf7vy&(9 RWn^J*-xߢV0D8TG)m$6' i1d 1YE??~ rkd@a 23qxo 2܆ ~>kQݸ1N&7+5wJ=35*Jr?Nj LwhJ/0(S(o2YͿ/70Mޤ>>lA p \Iz7|ukM %?-ho``K˖*]gBg]Y--#f鰑b25JvS8%%ܠpZo}`)%(`*Rv0ax ,m6r" qtQ@rY!Fmg?$L6ʰ#\ӵ$v?1=̺2&goo⣱Eɀm8%&Ja Erg ał#c%>\ǧWsmfRCBX;R`'xT[YYvAEi\qbY> &(mOeI) (ķ9@ATh0,ҰUDZ8hcaVD)%B LSX8 I k3 ޡvӈncSq~rAro^hzRgp 8wATCL %7˙]xLa9r7IoYՑЀyЌ xq[ K#8gYZ7zXZִF! $]ŗXiɟ*#aZ\33XNsV2v3K?#aEI (JduNy}?%ytn+F7 jB1ݷY]Mr3e`++2 Ɯ6X[ #-j|4?BR;=ojR&;9Lb~<#?*:W{%N0-oN'Ʈ(-P=2 Y=Nw./آj\7d2M Z9k^@|38,16YpN2AV"?gYZ7zXZִF! k j]ŗXi%L&B[5ND ɶ:BZ4/& r],c܅< Vl!we+8gu xG $6.E$y_@ŧL>YGmZ4+.8,nkN{m>M >ᄆ<,!`6_q~F8$L (Cc))a!!#a K(`<@92F'{O?l"w ZR0ơS!>a$Ed;>(4xxs}ܽlGҏXdI(Kq? d{Ph7=|3[pREjaODq 81 fLuDL?'sYZ*i/u%#< m*'žG~2蓆:5/ᙘ 3aW-|Nvį2KS\EDڣVjxKdaHYNQ"]ԛ\icB]5`o0o\[W1+op]*9aLN7| yrD{slӻ'Z~idRry]L}j׹ᗖ ҨZ+8N%m%~4kJa']QJ2цV =fML1y%SҌGhjFTb("80O/#.ūR>l+Drw=S]Ѷ`dǣ(T=*9+LpBw}'RSDe AYsN Y1p)/P^_jҵLdEQh 8F #bԋ ;dR&%(,w8EX)sF45Dbdz6s`㢣X_ab5+|y?Ȭw "eyKmc-{G}2w\mв]://E_'_-%Xw9G"FCįG9X}Iʌ io#-t*PFOJ(>GM  |2:e>зvE921YgDG/ >sU Kb5]s>M[+CNfHN\!1OS8Z 1 ޶3M[ZN7K|=߁]g'gFe6k1j%{XX;v‡ ,/דu󕓮kaަ6v5bXE/UHDTLScڒC+{7F7IU3נCg>5BZ!n}Faڋ~YJB;1kξG_Qܝjj9K" v2oa(D=@Q%^DF>x$>PQvR.B,%ZG,AK~#l깘|@L]M}jo1ż2eB?QlUTwyTcC%ڧֽYj+ (I2}!yXDg_|~3ݲeF- zRz!MARaX,u'IXޡHHMpFz$.j'G{fĭ&) mK}[ 8Sq-t`" v'M8UwFlؖ595rom +4fAgf˕8VpeKGM9:[?3 j_\[9w74|`cػRJY }w5%B$*or)#^)r~5N' 4cI`bp RZv{4*͈odA'p6[+i` tR_m!YQmKK.#;7[,pعw(ຢcm ?Ž{[(C};Jd5 I$Tۢ "_2od3 XQh