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\l ]/]HOL-Analysis:threads=6elapsed=339.076cpu=1631.208gc=151.708factor=4.817zXZִF! :N]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jjQ]VVʠ3 pٜ|gvIː.0^鑘2$rj.wJuSJ<= J2׉Bd-+LBMљ-xq.X(X4vs.Վ1apQ\/O(^D2KqF3ykQ[Sῦ)\F@D7~#tP'-.>oG. Tι.hoգmݗD3Z#dx:Җ4ˤAY?3Gt+rJbЬ0+3gc(#(ༀ7z'1uީse}i|]$1'GS2#J7~΅Ǜ%ˤ'CKû'ၻSU !b2zF~ Yc"L[yeه! @T _,t5|kw>}A A"kJDͻ[.xs~鳿6^ֵwO_lNrd>9_RS9sR):. S(6CtSI3Q鮳?[{79qCb@Ncdפw߇ckp?&j"3OWbuR7L3CbX#~]QZ0{R'iXgh"5&Qg|jIȹ|GugY^kXܺab~pk\NRQ.Q#yaP׶OybN$ ]aa'xZVgo2V % HOL-Analysis  |gTi??p䗫y!un.Ѫ+@B9s !w9@#u3>_{ʲg}Y t8$LK,Wʴ.'YKs˷ M-XJK#PƳZ5*g唯YK A"Wd|H<.߫#ǬY::-d T5w!<1I/E釬:OUͷ?Ȥmv-#evQf`4j_xrл9lE^ՌX}ld]^Zwutq|+lfxt1’~ĸv~i=} Uˢ z7#Di Xy8Ht*(lipV(ﳼEUm!գ=x7 K n C Bi['M?mI&ŦG^]ŬZ/o4'ˎ3͡GKL`[vHe4TvvpCa.#sxX7n[]a<,w ^Ib@_ɋV*਑c.Ơ9{6 K5EaB1i9qJÒfO'U]A(n`eoBRPK- dJE(O.0@ɑN^peѸA}gub5|  S~?p: t2^[̀GWhC-JiY` OQP~`vmFo:.B{ECg9 /,ECPUAPc,:BBƇٿW,PǴ-H]ln5X(\~<maȖ9f"\ E ?Iܭ" _Op @}خg$b_;GE,ʠ nG|qWo;CBE`Dkr[%9\؃@"- `eIKo5=6WҷxC04YyڬtQ#{LCȷX9V!*.MOSQYۿr 89 (NKf`^Qcl xZ*|Y}*] !~l."W+wBŀOө 2}@s4z'  D4}>6”2{/2& BHiԽ6ȕSG7!f=\noAdol2 XEN ,}F*%C ( f^@|Ui5̕{3eA* R *'8c]mI" oɊ'l[idQ3J2T$8t+. tf%|0TUӧn}Wh{y?U?bz::.X&3ۈ~p{9<&ܨfk\,RbʠZWӥk!4:H@eBmELԈ@a¦ `R I1^)} (SwCfٴ{8ZCPH%3s㧈䄸#3Di' X%~Ɉm;.ExRD & -!ht6wؖh2a 3*l:wƻnϫ \vNE;uV%q$DK;LT>*MoN%IL*/f&\ KC] +fWk@}Ggs 6wG35B7/a/YʌٛU6a(~~p3$nu +cY1ɼpUqZeeŌ*Yuvr4uH+a1>B*QsѭS둏X; 'k Bޯ -ĬĐν4e#dTjp ⹭}V̻1ƿx^(Byٛ4pn{cjo A@Y)OWH3=*R骮l^\r8uPw "Gr,8o^0LUhm{`)>w#ņ8n+6-kpvbtβ 2FACEDJ<"^H3"pgo )U(L wDI{㵇E?˙HSMUN_u /eB/Y+QL nWl̪*F^l:+zԥ:IlYhd8%Am !vF!Qe\NЙ6d+bwm:PX;"rrmdXFM#hf 3=4  bhLsdmL/7Q(|]qR*wӾGp몀ExrffEQ/ aI{(")̻# ¼yбҟFTq0fj6iRxQ<ɯs x>^v^]8qi٬;wU»f`oGsY"ji:{HHh!g+GB'/\2J)U}V}[}RƐGs՝Gv3:^$bgߧ8oљN8%b}=cZ'2;q"H8ֱo=ț|0>qU$ҕl|is ə6tGYItbb*f^g~A\*DQ& ^e:$CqᒛJ*jxNLk@9lOu|:#"0 lCPexz{y2umϢg3~֯Pg1z6Jm:sÏkYs9f9|ȆEhovztrk d!dBciLnȐ2u),?O(.D8:ij|̶c* L>c{\}%[WA@W{VRVZٚU޷J{>{ŒvzOa\i(%"cog$hle}!"JZRǥtnBNl󾅭E}eY^3 Qfs,e0X ~r=֡2-n of^SAWP" |˝?$dI%RCSbmIWq!6` TiB@("g͍̏'Tmt"$zRKFR})X&ŎV.܅];M.\ÄXX?v覓5,9mf<&7No<*Imy厘=ڍ,r\>/ AB,灌_ qJ`x5]R1#Ef|89D4Yh3@@d@ B;vڬ5/I. 1WEL=a=%>= MnCRE_"j,cM6v,^ gQp!)25= ʳVHMetc+ڨe^A_AkUQ71>'\xK5i;rĀB#68BYu~Ⱥ`LvټX+b[$7:#AvD Ӹza+(~lZ/<%Uc~L+!jK]1\hԫ0Ğ)_]rxwFruo"<;۴*>$/8pWouh 1˱hvhnoMA ?尯?h|I#A@W_FN+uZ8[f{%JxPQ ie+LιpB>K.@fmwG!:95:gm9w6G׹\}s@<ֿk+!-o_xca`LBY\ML_A94)XS4!Ϯ%MsUp[":2Q枽9T7EhXy9z43;/Qw7{M)Vh# *@}s?,ge=?-6Vj(5,$ۿgy}bDv*.cD~^/lwʠfs+a庞®'}#FIlI&%xW1ydZ".;2RoV#P3#G#"s :J4K40=d~pk( -~Slaq?No 742l/CfERsq6@L#xl_ zhkKwy`B.POm' R mY4OuZP|FkYeUbO !9F3փq;aoPʘ`FP~2&!dmZ|6`u 7!Ahetg$2}}j(Bs  ϴF9ho0*f,yd e3cm]2$>WFR d^`e [[Tg/Z /fz2.IFS/[Z,퐚> }BEWL4 5Ԭ7Փs9/I e{ miK,kdCez(0z<|MT٠C־8݅$ˑP5#/UrKݻƝ;߭ `T걨龸Jwȅ%׀ &cHIT3lFGOou7WJe, 2X䓢A\70UahO](߰[397}7?gf :h̏$g`rӯˠFF@CFxkۂ&Di?BnpU<{6ƂD<^T奒kQ!-MrWP:w~xІ&6ʹ \le&q9nT>{q;TL'yE[}&L2M$3\.b6L=W$ AEU`Ɇppԙ1.`o!Z.BOͳ 4rA1C@"Cez'H:r6l 笚ϗGN$'SiE7\ f!Bu9E(t"khx]5ڌܕ/G͆/Lt^+6i[^f/)U} WmvRgB$s'v +mz;h#i7poͱ&1UjXw?M'F rؔ] eUF 5_U[pġF .Em>NӚcbkW 똟e^S_Om ''RR\_ò/Jк}ngt#igh4wY(kmkB3fhQhk=M0yk$Ѫs، F v%Rҁ: < Ǻ hQ\Nt5-ADbynL.36$}O MYo nNQ,̉vYRg›؈OwFh{evWMy-mjJ|K+JT*1B[b2$a%5u?!)Jd:aëKdc"-3hi,<_4)ZjؤBx{Tn2"ip:oຈ[$/9{!vW \~WjqP]q1y hPsy.}ՇKMl W!G_5^OƋZ7@~kfgbVvN'c@']Th lC2$!JH}/G éB~'Aå1fes Dv!8+D3<U󤀌 @ʪH޵d~dEhqBbSܢ%|!x.=Kx.*4O:u;R>p龀 iiG_Ody8'3U;ie༭(-}+EqJ?RC]a$bI2B9_%G;b[F $uۄ}ٺ\N.m ;3cMMV5@ p/붉}5Lr8B_VwD1合MxY$z5r5"G FrWV pҠoHAI,#l,`k6kߡAQ /|:&j  X3Ph>/_ŭDDDJ[E<=GPgf/rQlrzwrQGq96to 1´D$4H"2Ъd\CIKAKJ0`!Y4'g&wh)E*-H"cΑf c^]|wE(&UE 7kG,xKmb4%(bvA:}tuU],s6EoԥKR診6ҚC!t,ïe;xV@g)][c0yjT#ZŰ)]̽&m[?! >)Qh8~[*VqElzP~E 7؝U<IYձ{gJ`,yuCu8]҈=zF:TKYg {9s-/ Y;cF/V&%{{ E1cq8!삔ݧx&%q{ n#gثyy%RQKT#Y"tٳUp/<G߈qm9=NSF4염m9O vM$d"^_*pJ^)@ m;j+Lg4ӹxҥXZc?5sw9_h_Fc l~7F-#E2h ҙEVbfSA Yf8e rk괲ҴkgNֳrjȻLJA^ղ`kg{o%dAXP{MՐ$J}1txo#RU1Qf$hҧ+Ȧ5.SGD41/41]Jև$%Ef ({ rOMn$qwE4j `=A1<_A,V@Jwm{ZQ-*۶{R{?8ozDX_|=Q᧔'\_d$OdmlRrTZ"g#H0AMl>5j~T}H+BS: +Ag\4@Tȹ*^9<;UТꞣ/KnT`/5cE(FJ ':k/x=tҎ7 =Gpcj3`+ ؙ#B`v=dU"h@ot@r=[M=>GRy ksIC\ VkhԎ1gQnї9xs!}D*a B/' :\,+e/Z^Fzf+u<B7`C b`bw_xwbpG|o|ዏ"uA^B^+DLqT!uVOQ[qh*B\҆x6eԴ VFVVm)Kި(EiLtA5PhL2U_'K,G6ݖƲ *'ч%5 Eqbz]GO 7jQYJtxOaUwArs qYr`k'_31^fx+l{w5* ʹKl3m}' ; (Dи=z_}qp1I٭Y_UIK/y*=6~hx3G>@~dG?l|Ili4ɝOg˺*81߫(<SJ|i=7G`c1Pz!Ɣ3 jqlK'x0?RR7$/?GMoVC(J>ܤ*Ab $ѶaXo=tJ[٘2vЌD77{">ïI:Kκf[i0q,J(G5@63JA %+ *6+M:N v5I`{2NѫEu uag2m^n2u ~i@-*XČ$* +!{O+ҁg@DZ8pg?"|}WjMMgejl6p"A&>qbwL\ϊa$ پ%(EPJ̹'C/W4şG jh¬)#UV+v1G_Q?_~i~~'/PݞRoN>Iy.ֈ̙Ht]I(y\\jrġSe1GN9UʕTA 4 珧ͻC S2~3ﲈǡᓚTe{Jz! dFJ}%sZ_Sqr:-Om?kbj.IcZ)Qw`p!lR[Kx}?擺%xʂ{)EU0E6Zæ~h-6{"*Mt]Ji#lLP;՛z>W }{>AA6Hdƞ{ջF{U 5I^v߾nj:G1BTEeZmFQ^J#Kˠr3nDiJ/rW;~;.v.'"q(I. o) #aya>Ȼu7Q# W0u-auQBI9e$93g9z||HN󧹞Vp ++k =lG~EXE} CxW=g>+3f gw%06JVW|' 8EȹDIC\KOuOuk>m#y aTYA΀m/潫L#|[6; '+[ `bu", (N)Y4)c?rEǓ Wf'&fV={Qr&#'vD%@ {kGSWV.?==u-ʳ,JmJPO/T'#b.KueL$ǿd(DP=q j,!|9i";TZԆ="v[p_6#4Zofߎt.avvıQ삡&UĬ7owqa|i=*D.Up,Fo.eDWG"tP bLfԣL9ɟIo[=U&X? V<5z5p6lGKUQ|(¹ہ77lΠEjyޒcBϗ5F AP[.XĬ_oj.TVxز.x)h0DA~x^VbZG oD?Szp=bߤv"U7gpi=za)b k63-UJ=']URgELJAzIT|\ pVR"i[ii6u:Tj&븁ͺvH)=4qnH5aQqf (\ǽ ay?/WwSbro8npb9&b%\r{@bPZka4cHGY}nUeS(31ѧ&'.;K>kBԔ0`(_[+A]fty`(&%*t"7$op|xq A%*ԮDF'rM1]782;<<:3~k((sښu=/.h"UAfT{ʜDq+ڒ}K6t?q# ܹ)dl>zBLz_7 Zzb;1V2^k(ۭ]B˃d.9^my4=n$Zn*JvB2 K~-#AĕIr(5?ZerqsR>dfLJd ͊A.Ŗ񶣆bPL(P\OD`y`f:PPP ʕd KSԆTúNU@##{z[ u~?Hf Z?,a't{q^\ ΍[9ϧR&`U]d#hSodCHh~n_"AuSR溁vh~QmWMRӫuTpt'w+Qí˷%=Z"5w\N) Jr6Lo`8ţu*p`pW? ΚO?L{VdX~À'V݌Pe9ȥB0Љ\ʀhx,כ8iIk2tIC7i=w6%*uT͕:!*!do3;&ϓrSYn9[ -_n5H}:e~soԱړ[XKTQg?h̬i)̯a M2;Gσeḯ-sfy 3' ^kj} oi>>8$'-j9WV%&+&vY7BT]ۍVK_UM%b3){V]f8gFb )iϥ}ע'GQhtл.e{Z2a6an*vxh j zls,s`QQaDL]׫WW _xݞuq`*Y ր{(60өC[DeLQm7Ƭ0{ z=Oh"\ ja) .\ѥ<~T|4Db9`G >a5L5RSXi$Xe=Let,z mQ92 (w(I*'wHjDr "O“wx L7p[;簩7 O1ɝzu T"5_>M/8_޾9O#9uDJx8A*n͡7e1rzNU/Y9Qt~xwhudtz_LhԷ[=!(JP1Z#긼헦M-dAKTLCEm+7ky fl"k0 8H1\q$) t m]S,)6ɫ Bbը:CmxxaLV#Dc̊iYh1Z+ CT [dI.SQӈ`[4-n ,Fs-emE@4E)V+ ѿ5ePbJ۠uF4#Vx3lМe,^]<#dmvdBr(7.v}L_5}X*ccJV(Hk `[Hru[1`MqλǪ=NFUkŠ6=Ooq0>#vOIby{|K$m,(aYJswhݜe2 hc-C\mQɧ| ֈq-.hD0~AOd #u{&Q3Jߘ%1r}j=`(-\di 7G*G 2psWotY /ӅLm_6<+{~[LW"{Ur]֜e|;-ChP{UA>1##R,`{9Aszݰqo:jstl@{:vY< q]"Lbqi:;e^aέLXL&ḁHJKfƘUID?Sݻnv5U1gUiIg q`aa"^P=ALFHh텻L6Ph &&¤ZO,ueAs#$.i,q6qe.pzU& Sx3{;RT; @q(:F; 'K9to! 0+w-ǗﯿS[/&6Qؠ=627uW,T[jY?sϢЌZRAٸo3\ݧf1rwl=ĵ`##)og&QP@sd˳I[=6o>?Q"7j RJ mOEZa]oON +E>;o/\5LRk67_,/vS-ހpg'.v*'O!1* zg]!?[WF؅q60 }TԿ2qZ*/lj)Fibnꏽ1D&WW0˔đǎ?+r?='Jz2[xm(xhNzI)FEusθA68x"Ja3v2VZt*Jۤu{N dS^D1)-'Zk bƭ@Д=s$O'$1*7[Oց,(%C瀞tZl`/?b|gݕm} \ŪoI{}NξE:1 6B>DX +>fN29}3^6[%phi5Z1K~lt}F(K2,JX] ,_;twK!R@U$`C%qH0B7 U| @U j"[Wwq"PE!M?^GB61 gSo0ф fN{I/i4uNd17/Cxt89~h 0 Ďt8`u=޼W(iF +W%1 S[M %aC;Dx ۸ݺmOnA6),_'Z$ Q^$P&.3nOgfb@D Ym\)syI:LZ룿 (Y0wY?#>!ݡQtY>ayo% ;H6m*jڵ,$y?Yj?|+Rw;24<(WK&@Կ^Kl ֬֩Q Gژ/jNsUH!lsoD%h.m )zd$2xce+[>p;!e)@ef-vL{f7Bv}0[)S]ͼtR`4|W919?uK'ᦈTW0hSJoڀX5ksq1TLW_$>.Xi`fL 8"( 䛆R-{,Ġ9գk3CG- dTSDeYɉO6Jk`=: DkIjSeMq hه{ !E}LE͈1Pk`4x7],0͸I;e< NZ@>> VMa(KePXLB j4Ů%]\ցG+]W ;hDW?pfԋSVPp[ r@~=i bh#xLu+{2'84 Tp./ Wa릭/3p7:w9 v9vu)<5l\#3o8*ıRTH0J1v$5ܘyYH[6 Sa^Vl_*UanB- ;(!N _J[F^6D!p.VH"loOAjьbdy _]N'><2_z ;S9n!Mo5 M. -iL (@|{[d}>.AEFO1c'= EPOT :kQ1ìӍc,}=W5g;6 m@hɧb"&w){eu?7¾mmKm[ϜwgYZ7zXZִF! #Ge]ŗXiɟ1˦r!cHkMeBd4>Lhx*>SX# *=7XQ|N0[)4t$Ũ#i&''leud_8NvZ DL0nEH-f?CscP k~ít?>۶ H;|IFQ4߹ wN3@oüR>> {pSj(]S+^dYb qj?59%I58T(W4Gp{x"g@Zl `O9?DC9fyO b}ëGH!IQa6UMSxj%rփ{фwx[b !כ.;a:g9hY@U\op5iau>IIuPlajuQWs)0f(4BܿaH⏃ޚ<ęEwjCpH 2tiB"(>IV^o»Dܹ7UO=@WW{Kjbo<g˂{I̺MՋۄ@+:݁XA{C6M¾pUnj-QI=WZe~)h TmCj3cSLB`PU%+@^??o9pքˆa2>a9PH&V%=^ Qw$Wx]BJ:Em)Zlo?PM[?%1׵= X7$pE>@ic '7ǙȦ"n^؈P\WQiGB3푪| ZW.)l^5KȝS$sB8Oҵ1?"0V6xSV0 eY9Wa[S* Q mqn$pـ&83Aρ(#$7Dd4 /ArLKH-u76]n?[ʃd[ WXAl 7XNDa ("Js= -[Wk)ɧ̈́G1qM0W;<ɍZ]>P\Č.hZ&tQ9 1Jl*~m[6$|0*uh%͌k`; SB+9-Z$]e1xrVN;uC!_MfV^`[0d2'du%?ڔ.hZ ׭%4R}׊0g  m;p R8R~u{:,4:Itf f=v+r5(z+sEKy&t58/s;tC%~;<7]Q-B+aF52c B "]4tFh qu'D֎0B4y³aC՗6Ժ9/KsFDJfGt/3VȟPgW ee064!eˍ0Rʅm<mWyX* "#ƃPsu>@rD7~(Q䕾AGqSȉK&" Yܑf:rw-*!UߠEC͞&Χ9C<{T zu 9ӾIlNA@>̋@fn[e_'zBY7>*? go%s-#I 5NT-Z,e{4)Lq=&E{1aIU8q6zKaVEOnjKbl!u 98d,rCݜGP'7T7TAV u0neGg !2 6*T#xjǗ,P/kd:*Tz7aS>GWk28|6@Z1i4m͒фsa^tbB|XSxM9$G?iyH!d|@`)r UYfvn}mWLYx>\Ͻe"ݗm˂0AS<郯gtBxK? ̾0p968{HX(>')~fN,Rr1{=lc7GjWIc ",%Z5x/Q񞌲t%1}:7 lK 5jݣCx=;d._j[坼SpB*()[V1SW6S~xfhRW),Xw VB!;GJlF_8urA& qPn&>wfۉ]4i4+I ێ| mSþCO3|f$ޣ3/8/ 9I7:n w1fqOiA-RgUq Oyɛq'E,`LgrW+-~'n Գ\<n}NvJ#zN*ÍXQhmmn5xi숂4!a|n| q[~f<紆E[*'U-zA,U=0SqEckKV;IoQ!g=~m˹f)'P4<+7 ΋$+Z%ZK]/OmQYvmMsUfϜY(!K=h10*"G⍬h/h-xMͻ{S(h)VuOôc\ڐe;ď{ j Y V=B71{v\D81 ZDm:`_v|U _]0,'&}zigcUWT!Mc [LqtFh;o@SA6{ʕ([ QWe%&\SL0(Z!љʵ3IU |dqYsvSM+ ;Zn[rC[ {65jY*˜K?424|r⇿"c*vϫӇQ>ߠ%K[AlufCF@}m6g(3q{ l9"F s*YDئo>0]m `0,NL@rw);$Ϟ9?5,p^fk7,)\ wzݢ/HL*%My*_,Q׆:A6jK_1jHD{0gw~QRG!k1͎͑Ԁ` t[%)H?-klkGFJT麿P(6,f"oZ9p`%vDe`&^?ܷsiKˈΐ09!$⡜z[:w^# >G"! 2ɇ%,r>+g` ij<ڲY ɳSkNv/qѐE0 `mo5͎+MMY^ᰧDn dyEՔG+zp>+Y D% .ON!Xr2Խ*?Hy,,9MAd*C'XۺL[P`ͧ_іYO+0H⸙ O\ۤD8?;i4@R>r-2>6_q_*,[3wծ{숁}KHutYDÏ$U=Z4&ZzwƔWTĔx<D=X$̭Bdʠф>+G֝9ȿ)V恚WeE~i;nTFTlG'ڼ}!9V8?qLeOa 1ӄ[1&WI)soy#<\qBXD8 :\%Z9㠐+7'+Q}qMOA&be)ԩоf-C#sng⧵PϷt1,e?:{qz,qtTmFOxe2usa)^},0>̰75Ǘ/%Ƌ {4h nCO;e<ڤmǔoETU7lZ0ye7JDφ go!꧳G3Lel{5f7 ::%0!{?A0$\2rQ–o3\d΂fPI*WSI= (换i IU3ܻrW i,+7gM6,vᒧIJM6) jD7.uIQ\=ƏX 9GΡN;х7V4:{DhmC(Cz3C @JR %ԽC.M2j73 +Hx\$WдKBoZ^ӹ 9ƓK>y7h)<" ~-Zy>p B+ b)HtKD؉\ a'Tu(  7Qt#bHVXcqw@Զ߹AItD9 ւ@#GO-).h^0[)ǖjPwDsELi;rU%lIrxXѴ]>YUֺ - k=ƥԯI٠JD,Dޚ:5=w7|hlZmv Pgu"nwh)6?m9)Lm#jm8_~`h$Ͳ6 9i=!>fWP ,[HD-'1џw&d7ygZdOVהŚ^F#D|h%`z,W8㪭zh<SyV5}>Hv)|龜e=:s(EljD@ )!֐ S8iO#g4:]NLÑ j]g>0Ư8Hz1P'څ5`CC]_vth]==>h ӑ*]~Ѽa^J{pfTBs'њdm!~3m(:ηghYR*>|=YF L ȓǞx1^';~,p#bzUqw>0Ew€Y?\4ꬊ@Sm;*EQ.ʄd-B8}LwQ4m蠜3H1vCc ]x;L 0\МJ,zSJyJE!=}ё@EzN˸>`ף[4AfUp̛C=BWKvH\q19Bwc`&}uqJB˚:sD$iB/3eRɺsJBcmEXxJ1,kv #9 j1'YKfD\B\QTpRe"]<Ƣ2Ȳ F1 qxA3 G^o"+!/5AL4Ր^ŋv$}H T"H` PBJ5-A&NE/TIj4$VKJR2ΫN 2c%@]Lp [Q^|y&ttc %*o3 X2 Hoe?BIx7_g9rhf0cZN!w@B#h]; Py(ЉU rNbO?hXoR n%rD0܅'aqf)npkBZqM//>uCsVV (p}՞Vv(T%/7.}J[ $5t;f-_وۢ=B ZͶ B/Qih̓"v{%LWgB<а}4boHrM<% v9.N4}E ؗ W`5UGK6L32W.ii i"3w d53c(QP=^`QRse:b (آooCo@?P0Χ=yL~z{N`%2\5@5 + `_fY{O iޝWڐժםH'31=\KfvN̖%']f ƕLCy MH8h;Ku8ɵ^B Q栊|LA3uBi/z!ϑ0T+fvErIYD%RJʔO n~ Gu8\HS&>0>mհ->Dq=1!p83aJt*QzB0OZvVȿީ89؃J j<{c;7u>81{d@}Z:ه˳zcy/s dWQS|DxA|+Ar4H Aax`(4$zӾ wK;eCzOac+W'\tbJ0ځԻdnժ\ y;A-H/(V媑iU4lUI6<4=}#؈ll99'[iEZ'ԥB$%ƉqsRJק&c^xh"AcbП'xytn,@07XМ-6ej6|_giڰ%004{MT;i02JWܭtmHO"BL(4V0v #ujP/-c=[#ʨ;;Y55ՑߦT;?}r)%5TiSzZQl7I`Tm[+ΩLF1 7V\a[RcG-F-L I΃m_UeM7^S.& [ycyq8 B'.#.uHn,WJ^t]md0Ԩ`t-` AZ- WXg c}iHrBhd۸-l;ٹ1e5Dpkt/ 9/B!&e#y1jϫ8Gs\ \QZWJ^MtRx2">"U;PFx+k5Q"((1BoIAS$#>&+AҮ= 34u<=a^AeOKI?\gSD1+RJvP'Q[W2O7yOL$EėdUVgvCtQ6T /d}M 9V=iTUcܤֱ&?D ?*&,&,3 grV1N'ei[bC@k.?/3B+*/\VFﶶ@G/Shmt S\[Px%aY~*B |yKnuC),*G j6:q qdcv.d~_JvP aB+[vEI 9I!'΁XҚvZEEȒ&WJ R~19h%_h4UB[{xcP#Z]qm}9Y1+7u/G&zɣ^@a\oJ#ǎ̐0 ZaJR-lUY)KK( g.G0gڅaޤ{9M7AvG0bٲW/Gn(0@$>6 a XjZزFÙ/ ~O^; 6-y.Y`en澽,yqc`Fjiz#9w=aj D*0D)G<1Ci<'s*L(9A8jbY˼pUDj6/%1yZ#Mo~ɇg g'1 8|[B+N:׀)  ayK$v鞹MY9%-,TՙV[)f3$*'a:b#bv5p &t=ΎJ(b+c&*.E0P(.c rIPk!75cY#0,qR/|A@4/Xx sG6BwdsČCJa!fhkCv&l$k`0l20=d w&$継( SjZ$VW3HL6_P.e$I< j܇nC2CȊ<&p(\<^lf=%opTITHrpUږ{&9mtXzfavdD'Ec_Yu{pQVbfʗa8"^f/(!:gg"÷uu(0<}ͨS*e4rBBԴ7TqCGt1 \hvqs(v5Ze]PM ^FJ$+;NXL{ wˠLsh`tpnbb_O)dWOg:."RR@j62^La"\ub!E& /9d l ^cXXLx?;8T@|a:?hQR}Z+~)w%:5b4^<6|S@Lݑ_y#'yH0d[LJ{HFs}Xĥidž6п5M0*=:}d5O9deކ:ѓn\&a5,.2 l$*^x[.lNUȏCo$,td4>oŏ` C*X3/9]7+eor!oCO*s[6BPϷB-l3~ ([M^j+g)ܽsBf*%#71y-WIrZYbABbG2yo?L"p+g @NWaSRL RzCzXcuDq~L [SiL|VcMIoe*$2rPbّXq{Wz|dA_;Ƿ=s\@A|ORGBe2}㟥qfm:Uaz{~?:'yw I6ޚ!z;&XVZo`O6et*nfe3R1.9yi^o}ǻkn(jb}ASҁ B,SgzS5;~4>\@o*H%,tkTK0FYX9e $\Q* .n'hXG.B[sbuīƻ]Ov@H]!jASθ6:8Vor'^'_6\QxΫBqn4Fn]=reEm!,58 ( `ǺPLǗ!^2o-};8s({𥉉lFG'7jIc) rQb*oJkdleJ]BQ\ˁS\:6T16oNPJ0:-‰m3zGOՕ[ߗUIMWB2*2 W-|GWd v+8[V!֎cِ4}Zp'sY/y/]Xb F*h`2b,N,{-(Їhteֶk63Nes &juT+S~K7_`z!sƢ~0R '8p x:9|siQe 6Ň}6S#h]ZHf }; kJ]a99g9>kw &@w=x]Nnr֡Ć4L\lt%D B(NmN)Gۮ9$a89'75\E|I`PwMo1Sr?Jo HKo<9z(U,S6RA`A* '{b$|q&`P4gek!?j+<04C~ H@گg FV&R63D{3~O`=,1^ <% !3r3OB~_ߠрK\~Yu6lj{[vN 4;^<[~rnmӮ'Bl &KDi&.HP hE!ZyNkưK\9N^^g%Q>$7\gh@;l֯/^H  lwg ݦ@qy FV|xvB/GjH0tYutـhݸȟ;!d+HRB=5" ,'aefů!@wMbDŽ}1@W&B'l6}n8Zh[Pߏq:dv!T`,0r>LpPMb*1,[#ӯk)LW[u7@|d(ͶX-cycM s#5?*AM/ȍ< Y+Z%?;f4[R嚇e՟s%+M|\(5YZ7r#KZ㐻 )I1A 'KAOlKuCKֺݯ)PC̞|LmJbFfy2ޢ2ybZgMJ쏮1ڒZ{k/1}=Sd<CqFaڀ2 6,? B@#Er7fGS4{l9yb1I*oܥOЈ3DŽc:Fє3 *Srg6;oAl6&?itfl"G3z(|< (լh&Ny!KU,nZS>`. D=Zm)^)oRG/G@ePY<{B;%~,t? Q`0zJ a;yD55P&g *Og%_ v?:ζjPzcƓ`Kr7fZ3&a  N8+lK$)]pQby*A`"xܬUL'~v1anvL=u\ihEmm=l Ye#~[ZY"΁5t{ =PIlRkSڒHx\UȌ]ެȁ[_ADp.Mep,ʳrˣa&M(OvqOb> <#qul3Ó\D?gUJ6f%FKD` _@zowLd dQ/4ݶJ'w(5h1 WXeS96H12ܓ۴CGk[ӎaM;2`9}>Yp[ g5ܷ(8L,kRxX}?DBoP-n_=cwH,'9S&Oq/4WoFktI)dr +>Zg-fj8RK$>\pOmLb- oyll-ҩ]' 6'@ t=coi|t?nN+=qygͨsO& `YQʼn"4jnzkMAq~mT,wq|oCu_w ',򒡯xɃ]`@7cOm@[LB.w vEw_ jcLf-a{y@7Vks]4?HBWRyzs*zJaS~skE->xA]l؏w.P *SH.VY\@=zk9Eq+XZq2NZiC פwGH!C˶ʐ$s}Kg+L™^g='ɲFreENO(z D|X'n h< n[5&'65a!6M3ܡ!Y̚xk~qwuB)f5-Wmp4ĠvP j$n&ޒca6ܾ݁2ux"&WC=&֐6æi+㾬l!s+LUIhTI p3BōN V\ ڍɲ@Ɛ]Ʉqgnl‡oii.ΞOlYeMV0S<׬'22> TMgji X$t8Kh~״|>̂/iN#/-3o簮6X1dlvbgB]8Uuk3G U$ogѥQ-NAIp/pa^σ**Io& A*B`udlhDE X^>Lme~(E ".Arz@b7#feXuiu'@!½y*fTj)I qgY_T wt1ɠ\J2_CPԑ&Jv/<(!zSm|J|/]}]RH\L%_.;0&ߗWNu#Dg:¥Y_4X>~j!+xfow..ϓ|yLRed) MmլcO)>R;" )\1$szv+f/6Ep~8M’"1HAļb #IOw{6Og$ aATZ6%W$EΑw@i$׬e0]JAy>πz=: +9Bp52%v|ҎwxW7n:)I8@jRwWy t!ΉhTPiQi\EwyrSW09Q]A\;H:SZY gb'^@|F٠O28Bh9ZgŜi-S=sڨ(:M&7ۼ&^R5e۴#W1wPUԲyk~l9L'!=aqx"U 1(,? @Ø@hZ#hCI/\F.s@MNO#.,ÙPvR|IGk25`Y8f<, /Ax%Π 1:t(l,,`?l+C6o_q@ֺMVh'jORC~F$"X=c'BsڔG0s %Aޭvߌp=ZgG tL/svlĒD^B!=ŰJĭXlmV&&*RCCd`?N=}+VYbeX/rV)FC51S]FK|Cjxy `&^5ZSzR~i"~Ne|(Y "|o&]ENo4Fcg5E~=E5#!Κ|AfcŁx4Y EWڂgŃ/|OJeߐqKA-,;%;a. s?Y[̪Dk(qlr\?`1ha5)*0). Hw/ ,M)b8P槞-@]kT}1˼;t RqSH6aҍ740!9'BtJ!ůXt0&M` `'q0M_E|WG jy1D]S16g [U`gy! ,>(Wնʆ~n5iRk\\b`!P\VV˄IE3XxǭkpPjy%) PMCgF /.cᄈE'RmINw&=qr2~MWW:'6G_:>BOUZէ؎DIg5)n2f@wu;O K e1*%E`QOHӗEwgq !]^-I‰ґ0Njc,&mrOئf[MPF‘F3D3{cu[* ZW*Ey#MkM![yv-]HMNeI^2?*W>n1=_w9 W8N˓]wNdt2z_:ڇX*}!)sc[s 742BX^UfM*`Meh٤016dݖÑDM ¹FdZLziJgxyKjtX['#5=ORMΰCzi:~3Q1pwjF͘= pKne{AJ7H;wF_!0ψ ]nW11] Y9?ٚ]/+xV gqi? Urrν&Euƻ,.\)E(A }$֖|к0gMUy, ~y { {L@ sL$ֹ*}i EљЏCc`oĿ<9or5nkxt@y fwXja`+BzJi(O.ŖhhӰy:Qas[>EbzVHX<yo] mIP 9W*M#TwsYޛ^%x8z\p1Qwl\m51HUQg+%F ia-IgY^^aL# h:+L]^Tu U;nBbΩ\j!:B$M8|Bx,AѮ!-DX<}dyGp#g05?ȀDi\=}*y!w3zе<45M F)GDᝄoTN`t_o^2Lw 믢k|R&bcBӻٯ۶#=fQʤ~/;҄NGV}6:DmɒJDR=Gd>CS 'w\ fwL6X/$ͣJ$_>H_i,nJqN-8_e dR(7EStgɍ1\ c3\yyb7~q:.d=fJN"TJ_=ih[a[hśRFfyۥ՜$11S5hMmlԠB7mh"oe%Ȼf-^plN4u+ :NC9,z?W! I#ZP2Khe :У$]Bo8,; _SN)2Ƣ5LU}*V3.v2 ZiI߼c19^WX'y2-_oEȬϸD j|a̸,- {0D {*Yk;ډcHTޒ$5._kݼOofåKS7Rb`k2EOʳ1;0/3H9njszMsLrB1MnU U⏃ęҍ2;RM&.֧)+meLF`6fO(u1ݑ-z $uY퉛~-c˳oY?=dH pCTeӌof ֠>&FN3L qK<*ƙfq-E^j$\>c3iUĵO 1WEd%b#%C޸=JRu ʟ鶄u6Vmy5w!u/M )…; ?/ẹ?[~Eن)3=wa(_0L;FJJ3w꿰U`LUḅ/F aʒ.Mg XZfi۸^g;+M"Vn^R=P'O—GzqQܠ G sР>JooHIEVɛu!=&Gx[RLy!DԅVnY]$bD7SGa'D2BdL@d4 tGvOqPSLB8_ YW"IEYh!19\]$yV:\U^a6@ܪ#'LP7\K. *r)观%ZnUڒ4j\Ɩ|fvKRױpEݡAPv<1„7<$tfǤ/ &]8RF;O5S=rγ^pڢ"ϰc)~ZDkAI‹`#P?u:edV%x!9kfn+/|mcx# v;m\ xqS؊JHNdm|NM-:щASZ r;Aqp+$0qqH3h+dJ2;Wf41bQkbNػm#'\[PӲ5SZ/PrDln0"ة *COM(@Ӌ͞ALAY_[C_=ﭟwK_RqJvPA,H;Ȝӫ@9v@ߣkYEIC X}bpEsv].׊{@&,# Z[hUfLDzqry< :}œ. z<(*%'/]tWXfG8FmH܏<$.I)!okvz-$&u(GI6R2r|zUpɌ31@w|OFz%O.5CE쓒pQ|N{x3Ɉހ414}{eQ*xʏ酘'UuUwZ5{ܨKIB; |`T;;=3aqd;C}n6ixNֽUfي> S9=́B)X'G]~;4;]KłO2 G9i!;VS:^(n=`U#U%PKפk:w] joO_ź?qB[1lաG)>UL 1ndE.0=9< :Zû<h_ϝ~ WQV^qfBI/">+ UOpV6ֆ;5?< |V3 bYVnz 8٬|f8<2̽) [6F& MA^h@eNtΈRkbD%d@u[Vml]_:IlBA4- toJډ)?k?#5-KFNR:L6jSs3xoU m;`/E*`g7)],s_uUYXqݢlΕ>3O◗<(݋;_TBUot%ǖqdfYnZHc$]Cü 5>v=fN¢eYnGD/Jj\\/f fV][3 pMv19-FA1W'E Օa~~IA0Νuyڄk0Ar^Y \tb ](Gۄ@M VD>mKrt=+| 3CڙU5gf-ku-,#/ͱabe r/y yhW.ީ!*\R _b!@ms%Tp׌k\g%Ϩ0ŃEn=ƕ2y{Ha`2K=gYZ5cfc6cceec5c7107cb383b92c1d9bb7e088fcf967fc82d96a6cdcdfc2c4460ff25bb9a8c30e0eb7e 15b300149e9f03c6f17b2c67438a0a1255b696d9bfea5514fce990a6f12650336d887e46a86c4fca