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 !L 4 ]I]CAVA_Setup:threads=4elapsed=530.972cpu=1867.716gc=113.464factor=3.527zXZִF! t 8]ŗXf[&з>V=$ϟ=tUY7e͓鮛"O`07~ఇd:O5k8;LKngs mI &jo]L4M; T%"_֕ rt)oJ~y_8C-;w @}ٔӜSckJvY /Si.L,"&9zgAegG%{\wR< 8,oPY?S ]ҡl$;OPk[E)5'sm9JH,"O&|aӤnr;':MDX 0g?Vkv.nC?/5u<6 `T7x([G}P ߀x~|E#F7:/BF&/8SV]B~cs LZϞ/*Rb U!_H]ZgTX07Q\?YR&ψ6xuybCF+=Ȝo/ sOjsCGV۳@i7~8uL\ Ņ& 6@3;r@R+{yQ0#rnejPS4^ %iD7ˮE\躼.& -˜m$euŧ???xJݥu= N@Muv Ea:A1HQ.x ^^o D6vQJ?3F&dD=dSt6s/[IO 7A+ܥw@Oљgt `#v a!GK%-a7~E( }T+ܺ93o~V`߃8[5u9#94=V,`c+Uli0V.1tY)DEG M_m}|=3R6oޚw ݓ/4Vkg/jNӣMBO90]Ƕ(]| NF{UJM ķ.x; CIU"FiZ_Ny3='M{tԣ2;{][-cEͩ)+8C|rQQߐff_jp\W (PCIav;qsx9)Ad:{HHU%GN۫ r筁0H] 5}HxLT樜x*J5V >9NERQC;OTG/^=fO7۹ W|5bP\D/DIɩ ix4:Yu戌gDL9)I zyŞC(RܯE~΁vmv)ʊ1*>VPgKefڡyigJ}Ghɶ04-Td)qPtMRHm&LNQANò2* x7nnh[yi{U:+1?,m۵|~O_ܥ$2eXXط]+R~倐 W~9zM9[!w2[Ssbŷd\hN7=dÖ=>84bgq~*yҩMSbڂM+6ָ=c8k!?g5+D;5͸!U3OưɕolJrkKv䊔^QvvsY P kR7 Bt,YY èwb^.G/=3tHK 1^V}S{}yG⧐U٢˾djW2?~ϣ FfȢ>&⡁x6Шvݨժ0[`a#rBSG&QMbEQ8ɔ*nLx\\^'6USb-Q0'VwJKӂYi1B? zh&ߥ%W~&w ̟H(ݿNJr@2f@DOdK5_EAn?RK>>]|/}%F7rZt ~be 1Oܣ hzݕzꇘ#rFB1|6.STKpw^8V8A5- ɐi$~(WLTc./ե֟-((SAPZdMCZuy}%-nyU۾>^>2oGS,HE<Ց߱/2C'U(ׅSFzMKNTVPt![ՆN؄[ぢH+IחC>2uBvctřj I3{-˰Y\B]f@KNsL/'{+?_jO2T v=cمtfZ$ŷXb퍟=Dۋe*R=\edd ޑe" {_eP1>t&m2Ik}pZuv>ƭǒgNtpLPP)?Lr^r\$pؠoRxn &9!%cM Lybpj04yT9 ?˽t (/F OwhR:m1ڎ>qY p5e6DeyMo+"X <0ȹp)mMzTx2Z5nk`I_ ȏE0#| &EbwMJm4hAL1@+nHhхIΐg_/ri_s#.=C) I {{fɫR&!:λ.pVwQ'Zfi8L'*p7ˢ_} vP`ҁ,lQҭեg!sbΦ`4$#[ˠb+uHRz6⵲YLARgu|kM 2bqeQ36<`[ g*O "Q=X` Iv~UBe""aZ3oWn|Gm{DAU8FupJ:eM.A3)563cȕ v'^rʓ |͝O`6 |ci3}y9lqbت[|?PfIfsif/I}dcM 19]Cd<5?YR|4I/bM̋)w:AjCHy#pq"DGOQ:8."){R/6t:lAR`A&zhj*o.gxzpy'wǝ!';*ppA⑖9r_ZoYƧ>eq"*Cb lٳHnc, AvA 罡?k$|-dJAɃ390@1zm4 OdIbvofTQ ֡2Hj$TL5JL1ioQe`JрDE8L Iχ+vL?(->dGVD<hs&:vzE0e +>3;3Vj a//c%j x&>qx=$1AГuFo0XKبZu+*4,}͓2 )סFa}xwd*49wG4²Ҷ(4c&JnK 7XM8F!Tv(阄b!c䕫qʈ֭X7KV (0 `5Js1g\Ξz$'z!T"ަinPO騼FjK m.qxD=W(jjgQm^^O& dVsDOL~$E6b]8\_ݥp'f3 `pb0^cG|,-W^ӓYoVpzoDIJX_]s1','kb0exw/mr!ͧ2nr}V\"ZZ1hHtRG_O<1Zi9#'_`hAo8'Uo熒-We-{Hy2PIiC+Lp] Voy+|)  lsH3YC,03G 7: 8ȰxÍA1g|.g_5!#z4oJkL Q3Goaf_f7_zP^uBVb]5녠5WIh#z@/tuI$XAfLᦗs8nK+A͜h b-ӖOګ6/Zix/)_"6㋿ƧʞօfBL؋T5>dqG+ď7 9Wj|B%724 ! \W^ֽ] f݋g7)!lRZg|ba2UV-.F-kC-_z&/H&;] f #$9Ј? N! JK` \PG}ۀ52pR(H![w?_)h;^IAu ހJP1?27f .J25 GWNnhT.>s^;7djhK"^H+~Ya vض0ɉ#;oDOx(nCJI?ųmm)Q #a5 ptu2Vy@])>KP¤ z18Qs-h!4uX Uiace4W=ЌSaΛ/DګBbɲȮaD&UOHROU{vVz ˼ٿXk@m2`G7B!Pmai~nONGOl2XcQ­܏T/yα)^ZOH_7SվjGr@bܝbAIĉoAԺ w:옢+t(BCijʌgґDM협Nn~SۑvXxm Ȁ(k7ϵ=_NYf=$2BoPH_y9 j9P(6vWAAXm[㜛ՍwdT7!&ZQ)zG,l tUbYz`< -lR&ژzaCnW3p{L]주JG$v* SQI8}P~8&L8''FHҳ}EeXpzf.7~dFSpi^0*KP¸JfѣiNnZatR_J;UwfZ9ep8L mLUujմw{#|ͺ:Ck{4QuPWOH7ؤ3g!RN6ItsX44<4hncoӥ 7!Fl<ݙ/V$F48eW!"^p g/Ӑ8w-"0n ]<Qe -ǎ23]y9⻎c Ll SCq'+x5<$nmb3b#l&ʒtN3*;I41 .p|Se:`)&6u1$պrŘN]HuUvUz|_M-iU-7,N楡?U ,mƿς06CqN7o[ w}Q1o)y ֥j¤7w_(I<Ț <|C|(5I3ԡOZ ڜ-m1`C4$r \qI"/f}]p^},s9.׆,(9<>d)kاUZ;%So#=47ϙC{̝aX:ްus7S;\gcEQkAq2/Fd+rc3:oM ۸[ Ko;հL+d;-xOn]nN0գR,FJF1Yܤ-G%K|t.";hIË/'GҮD{ /^ց_YB%wz>EC&gY> 7r7*HLBj6d9*j*=sVjg'w{Cn%*~ۧrCLO\Ŝ֌u3{a8zR YOUBuFiq{HN-7CxPNFmymE%xi)>p`84|N<brkcd~Ž]hozyuc-tWd㉙" Jzv&d0x<.$5e9u)aѵ[{a[_g e#,ƢتGbPڌ`W4ԏ]\b-,g$|\UdS.QWR#28˻wqئR^;Ϧiivp1wpq"w(me8hV$'-b=sRݫ83=BT))=[6WLK0r!Bo^+AxVt?Hpuyǒ-|0%D4™F n(v5#ҹ-t 㰍WaA<T]1UǀS±{/kfrw/V6_o`R~.3Tٮj0rk{gmЫ5L_M֒ g L|60d:ǔt[>sQp.W"W |gamRJ<]  c- ٕ( c5)>֮-Ѐe . , 7~ؙd5%qc2VX +#ԓп瀉joWfý*@)ӦyH r @+J kx ?섊.\ĺWCYH " vۇt йldRj]-=Sty*Qn_ xSG+@HHe˦NY{aX8Ӊ+X1̟ʊzfna'$Mԁ52pƂu˪Ϟ/@^Sl}pԶPكV,.iJ슫8Ô֪Ukֳl_h_+ŧ(#S45F*VE GnҦvۺ܊dVG~?ֿ~g Ww\ cˮZsxS*)/˅Ta(;J mq0;֐kH\ O*:U:*Ek}f8H8;9 Lj8_Z+ JR>QTݻL HCа&"PZR ʜnW6+B/&Y ':i ɪ-QA" l[| ƯcŖ,&&]^g7[yXg1G]6;fa]7uyfV{I/xFzU4вDƴ~ca-3>=XT jDjޓ/-'JBb4 9:sN:O"e6`x`& >9\׭ЏzKj"Z="W0iN# v1|H] lC厏ҥy]U0M_>z=?=t L=#aX)be*Q;JmqZg뚌Q˪}=⻐F8ljպH"ݫșPfcc?= ZwŴr> .vv.yקu exqJ MmV$v-#Thl~j6`F߿K՝mjt@ۀ(UjA}xdfBe_/s|K_HT5z#8. )0m"e&eT=S Tۆev2xeH׿.e%$ãeծt2K!hFP4L݅∬7X*Wl4m I-ִ7\qVPL+C6- R+ݮ-Fi{"!B&ZD~;@"[I#yl&,JJ@1[SfMّo-݀G̯C,{ i5͖%1Y YtU<ے]鈂ZfԐڇXEV#VI-= c_¿R~GU2O\iJZvYn:;@]/ b2S}ځ9caN =P2,JkA OJ u~u0MZz&.-S $&mR7\I{ݱ>O;5Ztɮ!3ϫjiR52oG+I7*Y+?F['MkPf:3QbP87HM&W$d`sR䃄ߩ 5O[,W08wN_X}!|3r]3.?V v_ELP(Nxume$JU8rSǣh$G$o[B]}~H6qo -3)療l+gSe|ŏRU;&`pGu!Hm˲ Drqާ#[i4?J,aks@&Ճ# 3B|'-3N$4ee`pDp`7=_qZ82 d%7잏q\s>> ^u4|اqX?7[Ax9oFTSv;4k1 ]r}q(-U:*8;x$ᘳ_m,dլdt{x̆dzCV3.^.oʼˈ:vKd>5Zp~:I=@bo1 N:JFZJ2.Ɏ"&XlT'|a.`kX3.pA@HkgQ<mb@ ;l54Ű$|I\T؂&h;Xpd﫵s L|i[zH~:$\y]A,f#@ya IS҆˱;EHΔ!j)7To*ٌ0^вyC0 bX_ߢxj_sO]ḣF4d(/O%QTVi@9F+:HYk10wM4'dG?B"b(I(: Ž- Yi/R3@aKJ9 2!܇Gą4֠K@KeL딌4$@Yq)g,Uҋ NTHD I8_ g B3Bo'5:v.5<C$4,Dz+G-gfG;~s:99c{#8c-:Yf:<yCktJ{v^O_R*@P lYu?nZSԉ5\%MRz B -f2uI'36FM)}C@͍FFd`u֦CWl{hD- pj:~Bb]7_lwfRg[ĵ_ԥիhCrR듙|~QYڜE M'p\bE+Su&3 4Tndyݱ.w]9cUt3>ђ_kKL91gF̣\\[;a0']ptg'AawԲ^ 3 kݪyz9v A௟AStXf+PµNr2?*'zϥ曯/KN.\\"wr`:{eE,:'xO\sYuik$6X _3L4%9f^\f5Q{ v=aOFUcFꃔքwPUw~4-mOL8mSE0Sp_;b:XtF5E#!g` ` hf#c vSGV=f:&nߨB7_ $\@C\E*Xc;p_ɪ剭y\`qTm#>1:ƿ "#;Bvz2ߌ^<珆y?ϰ)r_q]nC*r)̏{3/.)G }NBIku#k0,1`]p,vn1ʪ o3Vq gYZ7zXZִF! !!]ŗXiɟv s3mU!Az|ByR:'0Od8$J^@xHiAu #DhQ bySBg ,rZU"kF(5A 9c/5$^!CJ픹%qͿփ'}'= A{f}i4?tN g(@)_y緫fJhG굨üy`_D)uJS:RLNrmO`ys?`be(#i2kUPhpr^~$_'L7S,g1[Q:q_sJȅ}}zٛKLq=#:"b a~jM(MipdJ56e0%+&}nrL6<#}$N255ġ{0 $$K0uK7]kf^0ٞN2p*`_FP X0+3m:x v th&s\҆vߙ$_D6^5s<>/k v|}j|Da j$oYjxxVZY9aU˽v>};99NjM 7xRJ;I7%;(;p6/cד96G7¹!-F[\`i^0GmK&W?cct݁|$";ZQ b1,9(cO{H"5 G0]&MX@+P5cfH"6S,)3h ݊. `)ߟ'rS)΁, #r8Lݎף/^'̊W=>YK`7&qIvtQK9u%3R*RL T@EU؄ޫ Wk9~i$&> cEΝa#d03yWbU..eǾd,[0jЭitv.01(2f$w /NJb~g{h>οOs> x!2Z8az'v->~b\e~dbڗ΅|VK͘赲eqLg ֠Z8dw? #om7u(Ї%D<vyv.+%;[1ӗ"5WGTdx_UH`5竈EM F}ajəze!k)jٸ}aĉo/"en!˹z9M)i Aj֖$u9oe #qH;E @ڤ)xAw9INy /2eM~(U;O}@T3נK$[3>ډҭ5zK,w呡 v(w(# ȮI(rNs &g*M(/ѴZȱJ6/HRg;&ZY(_d2-4X%s$G]WybDv2~jlM̅ Ѳ {u;$v7yʗrFVs:a4诺6UH\"bQRpkDf*`z>+ӉV47z?&'diCAB%ID,$9cx} nc>=[~û>ۺ)3@Mc *.% 5zXDC`24pxS}=OWotBXVu=qޅtɤIyZ3 }x%=/`}CbTlapJϡyzhQN)K~_މy'JƔ_!ϑ*%&Vz#pdhAj?p)FqMsa$,ɺB't]MЍ(wZ]޸SXnOȮ<>*wTHpoHHFQ7Zr3Б>l]sal t`_0; krV;N'7VÀsT\LeA}|@\=R,A+w[{ҡS$5;B n< }c9O7\,٢IzEbm;UAsulmAnekOxU ֜wJȎ0).Q# vL͠ehQZ*+$ ŬJ}veAdU?k³f?Cv݈J9D"%!(Ϋt@_|$y|pcL7o3cN$\n1% &U( pmM!6 Wi֞Z2LS7`8zLwp:qa _]e_iEH5ŭKxSD ̰0'."efR59r#m,3'5F!HOo+zick7Ké> ƒ?Ni3 $vP8nlQN ϕ"w[O۠y 29ʄƁqȇIJsկx|=YIJfSrryiyxSS}k 0ʄD`U81W(nkvkLEy}e(;ByY}cswPz)fJW/noQܒO$[;qU2pHZJ14~.9x lrU]:ENmc"-^[ {1 dꛍ3ޙv69|iZj!\4K`S}gd`Dvqb8=a؁^d #<^)_b =),W65>RPdWɹџ Y%q*h,V-p.oD jheX-)z^!W+ۉ0<W֎<*GOSS te?˾ecV͛ :0et e5O~߭qn6ڌF/Qh &ZKMDOK7gMc#j`V3GH}0 Ѕ-`ݦ+G9(?h ̿6oܜA+WʰpZQ=>fxݮy_uENg w`oN!8 ^ψztܗvLE+e`,+8Lr7/ >He^齍}@0q~0vEϫ@=A7"憀qL y5Gs}2n\h,XcM,j$ B3!d^vtK1 oo' |O{( Λ2fn8Gp=>ȏ@VpcC`8>ܥcW~+qJOKc/^0ͤ b͖MFgSeGoA/(?/_pƻR\D/>0GldObmw[HNaFd=E`̇/fΑe>[TfW 8RE4C?W6{S6Ou.2n*5}p,1/bZPϰ}Z vb!Myi-.|h4Tyde!ƷK2kz89b' g}߂Qm5ZL407*p4{P;ÁZ˾lu#)"IU23JY܈>蘨\tlhUz&H`L~[cBr p I{L6d`,P* ΃#sc0kEh^;}4 aiWl=Н1Yz}@F|Ui"CZpd_7#)^%]|\%:Dmf!rs5l^*ʮݑ(XQq) ~$ex7k1kOgj13 s8ɲMqgc7OI::|f*glxR mm* c͸-&:1)W/ k:b@yU17W⍝ѫ"p28͙Ah nDZ}cX6e<°RAvN 9oD.-[KX^~^|(=__ } 3?RW7۰8IsՐ\a ׽L]ɳG i ~UouKO=)lI06\Maw5_A*5 %sߤui[~WIjb)Mgۏ`8Đfޙ7I_!Ur;̄VITq!fSx+۫Эc޹1RNq-0e}Tyr)jsiwWe9m$Q%8:$*zW%DN_9Q)oMh@9#/ZoW<9J69ݻ4CSbQ?Q(żm;Zk{9GJ|^f<0M>qt_Qrki XUPKڌ\%7b8V#NX !""x.1wEcMq`GWhiR,J<;sq-5W!rp%hG%# iE3QTL'$s*:F WYĝ3I2$3/|2SCޒ HF{$ʭ=,AbD1Z=եho2ecEE̮e(-/3]&4GzS% !h&Sir NfPI+D}_E*5}Y:©)eG챁 ZC~UN[ʙ/ ;}4ev,$V{`U x{KfQWVӛlEc". zmIdV>UXg63^5|5,b oykĜ钉O ,2;@jjD&u\aҪia?+i}iOҕZ '}t&Ma^m9uvYޡqgu=ݠaOô+8?rDPe *OYsHP3bުsmMsvj*ȈuL*yV)F9߱z_xg,6e}h"`ͼY5Q/E팜ޟ_iO| HU8C^Y.}>$?;_?&Z '/'a[DTh ]{b$i%SwZjpt"DSl(ڰiܦHծYTuQ~ f[g,L›rKω 7_O{XHD"Mvyc2팬\/g%"Na3ƇRte >vN"ɧ;sB ,mN)YLҴVf?Ks9WfNtcӿ[p$y]bBU+n%[ 5"vSam xC?IWRK>(X*i.`umv'F=^&-u).oz="J:A.p&!lң)QeI+cW<0#GUTj->te7aO%l3{aZ.:V8^BDxjKufCU)nQq}f^O x>`tΝXRWsxped)y%O,2NogGi^tW'Iq ǘNg92v~&t5-AX;K2Kt%mޤ$QЈ cmJaߺ}^Vqm*i~LW-#k^b6|'7eB궜NoWᙬ! {]|7?/ RhcJHU=XjrڵYآgM29*ӛBㄴFR`f5:bV hGэ-'0I ےDSY>&Ǒ:))yg9,XnD>rtj2#$L9_&(HWk(@|GsB*AU\7lf ?Γ.H3vMFdڨ,Nh{x_Ur%J[dU <;{6~nm Lc,_oWnCZŽR= ZN׬r1MVihA>Iu vc&r/&2p|]k;^I=w/wPa% O5-,XOGrmM x~7GG EEqAiғ6e`sپtr(n1lͽfpܪDݨ,uH0 #Y7mwU=m0'NCBI`޳nnnwL;hH!̢>KMþUDzPwHRވp47OykjsoD=qg;}[$.%%?zMAy,C#TlQzn '&dƎ"!\$ҡ7$]"F𺧼J$,)!D/UF.܍${+V;׋Y9Jj^gE]eT\ y p>;-%O6COL3[l:UpAwP/91bfPl銑m? ttYDZDҴ몊B?cST6-7:%o5"˲eol+V!'% gB"@{`h}_3Ӏ(s|9dg\U<8s't0b$Ycggz={kv3eq~5 2t9`Sf ų⁆"秷Rݙ{J>:-&T窴 Hwv*C0$(Nm_@ɆjxJW5 SءZUh6ze1 K+q"Rb+s 3qmBQ@0M9zA'KFAN& " MP:-.D<} 6+)bcC"KI!r`hV7.Moed k^~<'H?CSY˾QgΈA4U<7r/E_G6r~-nHczCX;IY~wIF^,< D.ϛ@mR4痔qf}d#xyJa9C}\rˡiy'M<|U=Jh^ 0⏶L\AB ~{FܙMzqCt l{P܌3ZTeR~][k}5X'-#ipeL:&:Ֆ XS -:RC7o3 t]L$wNj T\Tj ,1^sg*9ޭLo*GW>2׻aJD'뭺M } ̓(r<DZYdŶ(d}9/#(0Lg>%]w3≂Ql*԰T:u8 VGY-h{AsWwg)1F(fas@#ϓFlB0.V0HtTC-1s"1 OXm:RPئc}Y:2E*y՞X(9|QV[P,7!xK ء@8jde]C\yWk|QzUr~q (lQ '!ٳWͣ{{pb}Ǿ+^2DYy@6o#d98ϺyfʃO^y5Jc,&fͷ8P.~бI"Ê K7hپvOى2SI3rggRH쐰(F%XS/Q-3O.pVU( q=$?ga=]PE:ԕ98l.X> rPu4j+ Ǽ` ^e^p^0LM-OY9)(- (9*&ũ}FSё݄r-S19RSmi~`w-#Mʪb+"J]^>"nv5j^\"k32ZD8zUbGBZ=)[rĜsB˔ks2~^@ \`7NsrSHS䆣8a]1.t vfq{wC֡i'OyM>U3^"7|,Țq _GmM N2q`d;\)eɩ'.6LSwN!x-2]yvd'Poۦy>7ym3O|7V"xKč^zRȵ#Sb)L:r;_x.bo0_WNweidIP/v諢Y R &_l>~8_~XthWrUmcd܅}xt5< +<#{ m n}s̪qI}KhIî%_/0cn%MeŷZ@zs#02AA22aݟ6r`AƣWaelWHvj|l;V@aX \YʎcWztO奚oTeæH2_;f)^:9aKsif=,qnF(tSsTӈǪD f`5+]+-h VL ed–$ߨR] <^zڄ #,bxQ^kDǸ\LC ^e 6r8>PcמCQt l2]˞ ל'tSïqSF}3{KXqY-mˏ0gΘA3 =~C("ӣ&n&;Su}N7C՗j~I,BY6֢ɦθHxT ۙ 3 #dO03(9Fb.^ !T3%,ޔ憕tk7zC0v1zHq&7J}nQ ED,d7L%+ڟ!U.AôQ9l_z8b-^dIqzPUX!gJfB|s{V)^} cgB=J5.V5{sM2/u=Bd9_F W]:YIpvqv3 hg#B buv@%rte(<,=UO0FPg ?Dy5߰v; rqZ%]Ч.rס'KY ܋Akܖp[. r\]> (30ZP^t6ԵkYA?m$4&06,|~e>S1jTT-2j('"4hB?t')/wS+eb'_g"E=KPWbeFwۇGT}ɿňA/yihrEøۄ< h"Ǹ˹x)]sWTWu˴-"B/!GeZxz)jȞ@I = ?>f06f>pt`!# $?҅#. ',vbj~K#'[ QVFE^'zrԯV`$TDQ`j 긆6)<Sp`[8<vf\ ԰%ENP0yh AEj~JWYhK$,/ABBUg*%ermxhr?{G txJ#j\|wb.PZ%xnA5!1g  ڊjR {tąI4/ ῶ ~?agPmfCDc@EsI\ZۿrA{¶t.~-UG,<Ⱂ?#$ۮ {ckjsP$Є #P)RsWgfJ+C־twX7Y z: [6P+OjJ -p+m[EzrQZ6 QJ&mя&Uۨ\F} + MhQ(Òia_ Ō73w^Z|=Ѯ98| 4j=r?FPN7ed^G%uanq+90b-X뗛{ngQ͹DŽt*:@l_gx g|´Rkn?vl \+/ U%tyCq |uhӊָCN7"X;ﴭHZS$: c7&3+L[ tR?26~2>]WT gz+xu)sv0J-#) bvqu7 IhDn@$|քve w03J0pN3JŴ 7?}}v "Xw#M]L6>.0ͿL@S*2J}8V*#2Q+9ȽTs1#RG!ɬ-sl@n#ԣ3Ƀu>KTZSn@&s,IJ! MHE|LoB) I>t^,eF\[s Td7(^ӟy?5)(I#S#/FAysWjԬ*?F`תjVzct8eC2i䚻5Gt|ubԎ@J^#-:j>w<:IyZ<׿!xM 0I'!"-woNjճi4c.GPTw)E5avqhPwYHN7jd!]D"&R}t\>J adRdcڟX0)]9&D1<(͖OZ[ F0Lj450dWu|Bd$ uŊڵ9oJ\W4j |㼬tpκ76 B[͘k1}]kRPe\tC@NF瞘][u6ɻ M-;me=i=Dn,&a2oӽ_x|xz>cT %U/(ס񮚁쐭P%}J4&|\jylZoWa oT~E`t/pP#۹ )@o5BTX j0Xo{x#sy ᗠ&_)oQ |gP÷dmbq&'l l.5=_ ڲ?QZi g_| ߯v pgד/' '`d쉘M'*ÁKpi˭ qϑx}~?ѸY2U!h,[R"@ DAR8|P̶̍ _\ce<#9%Ć඲1vb2;_ ->M# (_mLnpOyQ tU&Lg>uFCqKG>[Q ײ%ӛ`Yb4C30`'|]-cԛYcJ^< J? 5;"5N.?5˸KIŤYaA2?gz9:tV" Y}.O::-2]rdt 4"<3֛ZWDhug3icOe`͊9X3**Yc)IjԂ.|,ֺA<h$I$ n8Q糓ojIi_{PC:򦽬K{ASSsɂt(y|)W~ AF~%]?onvT 4<) .zaVy&2Xy48)O9i$Xi`%n З2_y([v<%U^Olʠ3Tf$?yheXz<@.Q F {$ 1a$aS B7J#"6LJ{!?Ioxi%ͤe Jm~ :EEk~ܴ@MpBt*m03_!VN"Of-GAq2GL1"BcK:0"łRhm.ٯ^d1 8 C  .S?cE}8ꚼH)dWj5Qua}J31]8!VPAI˟I4d2Oj"ߊHk 8@tAmmL_Z$n(m*txAQz|,_ۏ^)!iHqjE{;G@i#umJ֦jX Om}<̻D"v8@+f]Cĭ!g+Y:1_*s^i'BzQ3*4߫2< <*Z5[ i5Ů,hhp>NIt+]gLT-RK1nbi/@WP FyգuZ&@- 3* ț ȱZF 2tElؓL*gH\L0cQQ)8ne"u|ZM.iV8E'[^B\\v~W9SbE94W%W9qW$6!!`F;];1|r{ {3w o.Qyưhl9K6Nhy}L46)2Ybhx">8 Qҿ+Yqˬ/!nl9uAx  W?kx|M#2>= e[L{;iwjuK9vqhS{kfxCE7<.̲Tpѽ}n *1nY'Ȭ 4w^f3˃rà5cXj1Ix;ݎ }P/l(Pk0er[Km!W_yո$w !J2Cu"4 d{Z VM|~\a_mI=z>aڈ W5^skjʴ / ,r5qv&tCK A#Fײ"j%>e7W:}[nN7"GkWbXʙza9~14gy#( 8%J)QKO/*|7DM_x\j ?Ώ APStfDz)2CsɟP?^&X*l+i43n_ mҰ* [kxx*wޣA zs+m},!W!8;ұ376F֍1o :LU٥[^'BDpL1*s(<ٹf6Ԑ9l Lj=ObggXP>HIV-W,ky/Q* ̈-b :lgEh3_sV+URjĜO*(`j|=ӆ&0Sr$=OIs-ilW&ޥYfm0Og@Ow}# `bQl=?&@x)ַs!!XxtOBEsBD5"h{&|bpE<]rG2WQGO. D#!,s8})F$'WڽiW3Q\^׋~B}ܻRD̗ws.5u"vJ=4vLR _/>ufpuwj* ߽pH[%/YxԀsד#WjES'5 9JKIu-SVq}0#jOB3 v Stߪ0~ryve~i}VhiO*{{Qla_ɶ!5QIw06`:I|BJ/بUɮ⫔ftT67Fkﱨ֧JQ"2`K8'gB3bL]<_}H4V2Yݠ> lZ9ܬ"&IDŽ-\\ ӍK^]Bq^lve#Vw[mF3 &1T4$(gwwL@1H%kGQ^z4XnA\萟Gn+m% O$VۃZ㺐+}>ײKb>(=k9͉SYe-uՎ`}%ݛ囔cuҧJwo#OjZ1d$R3LNZbnd=yL5.V}gU{OAOg 6poC~_j!t,#RvlUZyhV}Bqّ@yY<:9RR̷%ͣH;\т:+2!*W<+aSqbjK q3 ebGȞ`gëaLrߋC*/"nna_ȓ+%5,/QRR1Z}bqڈG܌.FUO`"TN9Po!)vzkCL75 ޝAdpbHb.4_͡o(8s.2ֱܳ@f )9GxGm$0轩 d}0M׷lzîL?YҰ!daNn >{o؁@پkTt'X#{L(}ĶX3a!z_ Wxe}@9 PC 1ҬfŜۡ P@I"εp>$"D[] J 3[m e*Y2}[?T#y=#sTaDb!@AF|ȯWZM ')?D#ey/(g%缽j(seBTmZwf~wY˜E%:HgPFA?2C*GڈUs:*+ LMkbXY>y\ }_7`'mH݊ŒfǢXҫn'sP0 -6(]d ^\Y+[BK|a*-`i~*6}E]?"cA}C2K!hųdrN%2Dd2&= g2Zܽƀw4`lp_ޑ6"ܼ$0{^T#W7ފAVLzOG(9XhwB%y~ja=nbFMz(M/>LhS dU?z/̼5~Wczr)k^,as&BţӦ,O$Up(S (CQ.*?fÍ_㴓}z"~nϗu?!yӤ*ƴRUDyG꧇ ('U+2Ѻ9e/b][¼Kàb*T}ч w" [!M_5q(LxP >gGX:Ym Q4zPx Z+::--B5wS '=mzn%[9 c58 Yf,HJl=B"O覅:56d [ώ.i>]g5|de@ޣIF/O{N> 1?9{MgD iXhiqF2@dZ f,^g ]B +<2^M4^)Q >_"-`޻~ DHӛзtN7~k):& qy.܆3R.e  ;: {!]W*xe;|H]ȴm|`,"z+c׳:/JSQEqNK{iG:Ou$y0@1 =u.f|MA-~+6A$9ΠՖPav.`2it$mۯ+0%J@pZLJ/}@3ϭꠛ/;ąŒM"_"USQ[aBb?<̦X1Uln|79gS|Ӝ#}#@ B3WT$PRpWtηByFp)(YḦ\5Td޹1C6ʔi0c64T~(1ǏFMۖRZpN E6ށ Ҁtm%Y fMq_ 6 yUV`d[{QNK2o*} $yiRdg⻦2kMD({C'/g6iqjR*Zt[u& .vfklW?-3zu!'2HhqWnmadP7 9rBC.ǦFvW_RH Yh}iڶfp@,/?op/` ,ksT/g&|hL% KZ|0ھ8{OaKP5-F P{(srNVS |G;? ?w V8[36MimЦ^k{$Ԃu$ <}>~Fx;a^idRNגlSz_1 0EpIpJSvjЮ$}EwuGUZ)^I( ;H]G좆Rtcj"~~*~X)'_?\m`y.fMآ&@d2 # eFl dk~!}回NUCHy>!Vzr4¦KםBltMISV5 ӧṽP}P[r+!YUL(5vT=fzy0Ū*!@"\q0t6:#@eoSZobig>:0Y86!>Gٯ,h4r|TyLG<<e>[}0SarE@Xo.v戙Ty*A !"[SlYr?wJ -S9N 9Mwl`ԋ}"2mE7P`ͥU Qٛ~Ƙ*ل  ,5ﳈAkfLl_GWIP&3n^ӠS(OOG`h- m;ҍ]z]SPodJKAlnpB*6sxhEW2r5**"Qi}_8=H$Uשİ .euzۚRmi%kP'YSVr*5}f2;m1#D2OvOL`{i '_46ʷTt Qt% ̣ՙSFF7^4d=EX"Kqi,e[ڠJpkY9NLk05ػUש+x).bPd$ !{0C1bO~ԙ`Wg;^kQPD?*2-!í`YbYCL\iv,-f'OGNUˏկvS rtba>9 HC:r/;TfP'1*r;8nebߏ׽s]7Rj $~DgEUHe3P~@uۣs0b9; آlkt 6!Voh(uo6 26mTVE2]CA(|F1uK9̳#09o5[z510ew{.M蛖gW-PD(8k'#Sz"̏>jQ$5-mM59 ɀ|ή u"}[|)jW+-'pHZ N>|XtmJϲk ˥QP)9Wcs혠j}DvF]FMFqW5_B白DnwZ32ۂJ׌GP ysUs<HbBK;Ynһsich9fܪy9mol2(JnH%H<oLMk3M(X%iWj݈G}/ة\ND yvcPe\5*Ҡ[^c6 ^O^~X+81ǷUŦX HԊ܈?0G4Dsg i^t2MTV(u=v"ڕE_TB6Ϛ݈V@KM4Iye5)^/gJ_0 Vx~ /Xu|TqLAKd:'&cQ&܄}kobnk($Ԓk{ec^ZA?SRUmK΀1>2^ 䯝C]J(MfVak?,duw Pwk-nxb)fyTo{O13MO^%zq/D 1d<Di;s̜N;S"%fo<@O&3t%AV:E! ~ {*wm-taw«\v-ho˖{?-<:6 vLKPo&RDf1ׂ8ot&G.-= />R'XXؠd6lJ_~sr5L)1+k|pQIk8J,D{f^AySAFH^BZj:Z9ŲFR*\Qo`+ZԼǭH:)rxbk4k!o2Avy`kyIS\Ofj*h )(ƚ$fv38ߙl6F7c; qu28K3MJ@ M ils2jnd"GTd&3|oL4LIռ4^3_I3Fl.ڂߍkXE6uIppjcFdpZ+9?r/Lwᴛ~۩^]C ٲМD\f8!AG'_tIVʨ''f14#Yze/Bk{!7@ ^>0{5cIMp2wdJ)X8@k4dbm#H JG3%`lE*S<Z+`y[ V*tp ըTp Τ#<KZc;ϻ_OVOv{Fsm),E.i!KN">Ȣ;toh+捹uAP3_Gևwd=Gύj=J軑]+Q8&C:G)me\ z؍ }2ÌJȯ09p\À`wfPpW}{n솒cE@gGMawdD$`K!ES&HPtbW_c㫦 ٸҒ )Ju[Ll n °?r/{~)(D.?|z#?"p w5 ڡ@:FYO CBkSr$HdΖpL~`B$m/gWڤI+}oƆ;wv^܍m V/qӞx #-ȌxۋwIZV~4ߕc醹2 zT~Re'T\d%#K>BeϜՀoz(0ghoUGdfqa}V*5mų+3K CM@ʃy:XlE}qeؐu fgC T\p5 ASƱ@bhڞpABŐG+91Jak_ "K5I͖5\|6X}V{#^tyXJXtTPYL*?uvzL<\\S _eQ@1WMzem,-h1q{}GGyJB×.~l”M}ۗ3E 3K).K Jjea'RWĽ3ۍAO3cvMng|9qC4Iިɰ>u dFY8#1 ? ,-OUIka9B~2֣YK16LOnM2 :`Czߋՙ09$OJ>\R2Tf9Qa]y~e%=vqJu 09Ģ-{ˆ 2"ՆVwDhyOykYM*K*b STv7ѦS qMt{cš8Ձt؋T/JnC$pY7U0(ܴ(79m(ʽڭey[`}eE/dh[]KTr~̿'<G=:cXIչ~01DXyw* - lq&%l<-K9YY(Bqw}"[tΤsou5+CFX^?V ,}Ub?/T&.F_McBҀz< O =Jl-(@-g&3Z z{Ӎ;HáC02c/|<.RHKv!kqgphBӌS { gYWnT-kbd^>*HbJ+`%ASEts}I${^ I3m[/lvܷf߰]X;oVnCpu)ZsD_gWV'B]Kk *_~>]&8df1[uA48bE6T09nq쿒7[s/5t9>n[Run7$bEu9Jw*o4QWzK`x&*ue?7y3hxx : y+R!Q)X D.g5J+p'@.-n%Q;zIE.>!m\tL뜕#Y?ו؝MYBYppoS1f9= Cji:xD˼,١@BXf1uB&G7}H 0Z} ^ G&S@B\6*Y2E)v4;osX##ւ#\J9l8gX*+4sH5J k>zMR9.Ih%BvU*R{T)0'h;l=}ʬz1\/@fLY5&0;*`(Ʌbۤ*KRl.|<$<֜q-lTT˅!86dTLߑ\wo#] a$S Ԍsd "XmBTq ;NaB6!ԁI# ,fČ~wc/$Y C䖦kKu{!keOuUSY@.*X%Wqy\N/Xn<^8]LB3iNal`9JA՟W$l!puTZ͡Z=@ i-)+JP>9"ˎUJX ˝<hZy:,k,g2pr}+7r?2w wMu<ึunӖM< f5퐡߸W칇zD){?Dl[Oαu="yv$N X)l.L<$7Ŝ*} 8BU\"=]`U:-JNJ3mhjω-U|]1<ΐU5  s/:_;HKz]Heoy"T!l/`P1}0Z% i-!1fn^$S[*~֫Msz,rmGrq/c>w腦D5fΞW a%@E_,ld@L{0tP!g4&߉ꇔZPEldxnj?8Q#s߿Js}KsiROp$j}ky)wv ]oa=t4()M(ֻM :Evtp7g"j[^6IHSݴY(=#'R$,+-|ۂ ZV_U)MUG^$B(᠂Ba6$bgY!+ *1ڙÏqt *.gߌ4BU|=s,"௩a(|@ ܔUS XZ^h >&E() ׆[ѪB6fИI A'܏5rY"{(T%M%uz{EaQ,M0< -MM4`v ta UNOlg|oah:29:),n,׶RCG,^N@Q{cj x#+$t Le șXILX"鷯VO_?`uWGm( ^|w =Z$I|<*oh'Z'`Eb6'8$?^6VaTv/qс4x(`1k/t@=8 r>SZzVt~1fm>BJ?ĊDYIݤ;u8L3fjhVwxtmՃ/>(^B&]I^y)lQ JpjH`1R"-v;6:(K&pYr7r^ t5%|oS*1ˊ:&T+"0+2!S'~ .>ܘ^L\T蚑`L&DDP B"icy__#uPA̸LRNk-BPR6{n#\*Cjwj[,\0>7Z@Жs6T$1K;Y^:A.|pU*ێǶ& V P':}ILB^t`,WU~ɱi?z5Qn-AcYpm \}, 3&[_LT9?&?\`Dn 3%W9JdQ_lhlJ$=t9cTVx.flݴK0)w\Xn7M3,m!IH CUy 0g]CyaR%]kqlrr(p,[sh>cs9{ *VqR%H%d^spr}80rc+-"KW RtԒ#j m3 H#%,Z(qh1C&f':+ `vgC:v^Og HNsNEˀf^q;s `Q0ߎܿ ofdc~!š䤦.{m2 UۚϬt!Q3.s]'v6^3U9BgQU$>$ܣR /Z_>7N]I BsɷCG ܓ9ic;~N$Ƥ7,E&u)^˟d $C_ƈ&EۂG@d-W@P5̥y j{',UG] X4o W}WYQc}T\oHuJ\M"Ilύ ߞh}āK~dg=<Y$ RT_w+M9qOz _ldE8G2ku#ڮP1 @+Tn5̅\$<" <}L`^zvIjNA"AzNJLqgAqRRs ;ʹHgg-:j?GJovA8p^@Wa2vŚP7~Ec1_eD,};w|p;vȜ$Zp8yBb g 5 -7i+.s?jn!&OWfe"-#eE5syT*Rur`\CS@^KjUYKJ LlM1پhtۀғwyz$Iba #2ni`k%D\p$Kj"m-~,NN$V fD\!cBnxO|2 }ő}\c> ((L'7R}C| (ˆX.0 aK={h_ 8 L2.v$Ztc:bir8Pe7dTui8ǃ~rNWuq#pN)KsdzhX[}\e⯃ɖ-> ϯ?s _4Xֽe=i~ r n^_!خ^$.Ռ|1n3zZcvt%Ӥ_'Er@}j K#+ [mya:V <3$Tt$\EKgGY[?ڛ%Wba{^_ypaD!, m.ug12[MT?. k8؁粠\@_c5n@# 71\eFXf䐹ɢwRs;_@M^Z˸.|,J0W b1*R9z;lgQ&?yCҬb35B)PJPK#ŲR)Z|za.$NXͶ1kr2`CMZsk=ͮ$w>p>蚭S{;r UcX>8!o"YoF\d8")P7Ɔ; Ds{3NJI'5jiW_رK\]w5PU'wҥ7lD\Vv edDN΋v.Cm$?uN5x &5˓ܚ76|E0VY;Ĵ2 Uo ľi.r/n.-Z0\x$#򁟐8,j294-hS <8m+Ct pY&# JqV8e^6rpȑ̪kl\]*6p Ӧ'/_ޠt-N@ޯhݵNS;$U#h In Eϼ:u[ !߮|b^4OGS\WKFIӿD(${ ȡn9y>K4e0Ga3xF|l_$Ƚ4 ,+LtDa6?ܭ$qץL+%Ogu$ozSDuٷSĄuH!}y4:Ԕ}j%tΤEb'#!Sbs,_?ݰv ??0#@SC|p̻b["Z $N:<9ʬF[x6$5z!昆N\H9|DDcE}*0eZfU[w4hy֤x2@B2bkb;Ug,/7+jUYo?mCT.4b:(sl=