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  0!Ll ]]]HOL-Proofs:threads=6elapsed=550.293cpu=1362.540gc=148.288factor=2.487zXZִF! ]ŗXf1-%˓S, z!ŧo]uA{D"D5^]3ǡ7tGÞ@_BzFMAX+3.m OGŏGmi{JP:sYj퇁w:`O8elg, KW}zM(KMZ𼔭 IUSeB˗sq-Ҧq-.n XQq˗P,c_A`I MIS[H:.=ri/ 32{,^Rd1Kq]ynXѹ񴮑_.(dRm:}wCoį傲c sꢄ2Cn$)@9#;S64:0)ֶ͟E-GIbj!}iS9[ liB.QZtO-(XWlf>TP1 TzY dTwiYuIiT3ӛ2L̟ҲK㾗V^*qϑDf3ķDR H@3搄Fc6r%F 2k8\NZA!K;J%Pޙ-T*nĂW{thݧBi/ldFGU22%0VOuSe!}5 Ȩ3G(& \"hV\8|/, vXc30lՖo!PUhJq^S!Vˤ9,!|vt#|S?$-'С#qsQgX3'|~ \>v( ti"Yt1#Npq>80#y=ЋO aY9+7Xg_RG- JiJEWjReR4VN7ߕg&xxV~YX9W-!'b#ɷ0%QEƗ<*nbp_sKgKȝZ߷sbncvhg燜v3DR]CC [^ ;( [D~n(V}]~*#Y늂8צ6"g|/)/B*Js߫/׎Y2&?# D eB)HramMlM,b1H$4SK>[\5,b6P/<Σz^ 1KSTY֔9v0 \!̼9*lR^9Zbog ai!-V&RV";9mD\`dJ P>c[C.A:2:bAhOhd JIn\6-T5%Kek:hdtRsF!]ا k%p(b$u6kl.8]n{V{jnVߢ3P=Wǁkm%g רRcSO/ z GG  ! HOL-Proofs  ,9pba{ wtgHqEM5ķ> *8q:5P{Es0nAHGdGt#N̈́FĢ?u-΢eBoSNAg?:pIMhMHZ:J9f/qɭWJl+b\cB}@{dԽxm<2EmXw1 ;=}t]'lY>AnTZ*M}7=p$chd 'sN0r ![ӯqc({s̶wy *[Yآ${NSCDs+>/s)O{: %R3FW.%X?E-MtB;AQDr oI ^9C됄/2=yG*OQ9cJWL$N`_VDŊ*[We SSnOFmPHP^G OK0?wI,K0Tl5wPqɉPĻtRR:@R,Z} s{mt] M,yGZ$`(+(ֺ|MAnY\wYU Ǖoxm䉌Ͼk׫A2ީ[7 +,-2)Z}8dH91aDX6mgGNX ȴ}DFڵnI^k"/,u|mm3͂glf0i˼ik@op=Gȥ[.6IFmpMJ]% 8>=Ozqܝ}"A6`DǢF ILk:6&}Xc@(8zi2{k 0~ߜ?BQQe*R[<%M+BKZ(syヒS룆tRHvRs* /{WnQB~DtSaCJXQ㘇4 ؘԘ#8s9|f)=lґ Y&8m3X^\Ns5v*dr,GA20} ܨ_r5*6zMkNORϳ{ꋢF,]I" $\2S=%J^|>)NoqEM$[UQ+ObAh+2hKƍ+ @ e <ӅE3V[3 nqf*xa{5)@A2S5sg6$%xb0zcK"қկ1 [T\u' l L9!/IAa"|ԛ\/ST D)z^ֳ0/VIXӂIvg& h꼾=7G8sݗ>f`<<:2!l]CS䏽FtGsi#ķG: >35ApuJRȼ?E1JqN}uqQ};L #v9.>J'j#s̀tdlpw, ÷^^GzpZ7FQYFV(Xcp…iHH;/#%zW#{}6Ta~0pOwDBǙ-vCAsƭ;vu"ׯ6H;(lBa^FF43ASi>q :EEMD'LHv'Fwza*,ɿNNGXYcDScѭ܆O֌5|p\%f>;:FZ\G%w+_N ^Q88+#ѕ`E_s9V9MK8؁-xcZy) Ϛ)4zOC E"[ۉ(cINN<>"6HP7Gm-O1"MvVK_Z^%0D1Pcrx=mot%8պA]jTGԺk†ԛq:t¾7|PJTci 4 jFtvC s£m-E/ͽvpos1|ڨ~ﱼ t-Zcӵ ъ{pn$3Ȑٯㅍձ78RSFGLsӳ5?SQ༃|a);rV dLmI.q?/]+)X8HMn-/x;1dD(#[$38 @iF^jy>;&NES(?"$}ߜr0J1/ԩ0D'][^:i (]xk()T~pDe{'6 2Ruo}G RS:d\^dsS#svm!溞,wӇ o 9$˙sd]z>:iѝLݽKw3\!M :Tf9P'tڒVsDX di pT/);cPK0.UDY9*b#G"#am*Ը6BٹdH&WW$: rR *C;"zY;ȁ ٫9"` 9`TEM!!*X0ԁnW(h!1nYd2WzB~pJCr2 'W-PVw&}fپCm}khOgv[{{;\MA ->pi]*I)&Y 2&d,raKAW΁ASRMSĻ4j&ϭtz7`9wAHH^!\1Mcdl=%x"E<'g,&B|7 NeC>j4DV,NDOG^]* 4fsinjUהl(&RݸzGafb@%Z_o5/C4rygFB{`cGqck}_nlO4qU@CBR]}uq^khCw\C-S $AUw='&/ηyw2 \\0`8"8f!+DtV' |gd(+U<<(`Q|a2pD.XjG ذlDO+r~ Q_/8$;6t)xk$}K;^ذy|]+!d6p÷mg_+ -.JmEӢe;7i<d^'o7<0$ ߽kBYa%<=I͖Ihp?{em!$|³k~|"_![mрo@4a{6vn0I}sT<ʷE/.je+4<  o*waUfKМjNf0}LACX8 JVK'U':e'l>;#c:x26wsЪT_OӳhH9%h&dg$| OW!ShBky?~pbX2aظdǿ^puT/PܕX:'-na_ڞp0^`{s7O ?(ӑ&mHa'U-!P~% 'miͮ&CO@fXxjm&${Xp>7zngz`NEmi%(E17Vtɱt394:o>F^$hvy&p$YPJ@5;[,Y#?|FIHe$-nB{9d0|Rǧm6^9 ;85Ig3GfZKs0WBj<7u3@T 8HYrVx`BHH91r#p^)D{  2`DgYZ7zXZִF! P]ŗXi%EXg]bN}\EwDTy EݐI!cVE7@2J: z'գY5W،ubZ\ ;:Q]JIxԣT vpXf2pu /܉v@\>#/XphۭMFuN@'{F{AG\?b8k=x{ȥ2j5ci+K%UDvf}^ Ȩ7?-ghdu?z?Pއ$b/uFR4@Ykldm|s{_:]D\2/Le2Ӓ⎟JrB!zlc܍^ LjٹmQW> RW;73wYj#'Z(_^{f&BA{N9XqE#?nKdM^WX0:3D;uI%v0lj>Bί9̹:Fv{3B;^"ه&hCӨ>\?6Ok8*ؐY $-oc*e=Tc1k>Rs G;e볨"iDgLrvS3[4Cp\ԎLrnKs Q{ɠ OoXxI)(CW {jF܇0?ׯ5j3 '-SWl%_[6lIVS>OE)F'18зHmS&8TtʩxZRDWt1<DٻM,*(4bapHUOuj*S/UvI[ T( Q>6|>SvBY?CC*gN:z8~1M<ȓ@U τbE]!aT!-HJ;wI1GidT^[q=/Ba1y[,ri(3K X=oܒIw;ߧEz]-Fo4k$VV1/J 71{ opTb,,qAN]@ 0Rq\+x/t(C= 'uVv/#3r|v޾:0ɧ`XUXBFP1=-!i0)W:1OH*(9drBw?#uDgJ?crV*/ OA'N m޹BcUAnF|zmbՓ* )oMk;gm!:`d8šK_7h9dD>tA0{hDM"W0H@_-;^Nq*>БQ6 vxד%(' `ivLOFH`% txeRځ5@ŬİTZ;X*7ۇ`\s 9RdIF( H vcLz,Ar(]x6fgŝ )`=}T<=/U `(Ww(؈ ѳ5x-݂ ַ]Y] qkvE;tRlw Z]TԠ`j8-KJw5~a ޕkb'E}Il'(L"/0K3ĩ;7Jʠ+|ҤUk n1{#۔4o-+ms8 ^_Mn trWxkIQP4u U" lidz'Ͷ0LE%pE+׫qj8 )!3U&E /V,VP$*\CK4F';|E Bc FvVP3LL4>F ` R'eHuw.BWR JQUԉkjÈxhpI&nH?r$yl׏ƾbU .ءYƒ!]3VW߃V$N[0ﹻ)8DN=`q &EZ]R|wca_p[Mᣢ@N,ūx@^5_J@辯W##Y˝k?@Hxh!`.KW |FsTa4xr>%+T/,Km_=C<_k+oM_k^PJ(Q%t hS2a'AD ټKW2|DRΐ(ʋ|ṵ_bkvNStY:L~;"p$FT6 $v$ZE|# I3@3TT8u<ق] ]'{N۟704#4abjPɏꦖOPt>`9yVؖY|H^+H5ljC|. SSĢ1=7̵TSGYjk9a4N!IChgNCX y>KvFcIaTl{6&è>"XZRNDrjF= iRGu \L̙?;3xx-Jq91c:068[xUY}ރ.SK:xTGKX!ii b_A&n:m`>^VDzI~) m1ِxHr,J-!ope2  q'$*L^D&o[I$ͬ `lGYT"ԮpA$%[>80?xIl>Cwo3`vtt VV6q+{P8N9ǁŖWLgȐMjPq Y6{ {+AuyN|ZZu?ЌګwXXM'J2 GJ~kֳ~·0҉grf7QLT.r?z)+Ѯ(7C9#15/?4Z7!hg(  :@tV4*$ 8P g-A F)l^{ao;YV+f9_.?B8-+-qƜIk~Ȣj~W۪]ɘ+% YI+O XfNs^lNgրh0ۻcD&-i JB9] oIG{ '* :t5c~,c1&3xzB?  #YQ߰w8 C3ᘮ zJ 8u2蝶Q纨qc hR /O[Ո .ʲKd}vk4P#уb¨O<"& O>)vg]/{Zv'Y"qq\>H4!Åj7\lq9$BUwt<-5PŬIjF F @X(Q8;kh SnzvݻNPd׆`q[tr-BrzlHĮރ^wS٘k6LDq.'ySeP*-h>C7 qbpĘ|fWozxR(@ABrro] Ę/6r tB(ϛ֎9Ĵѥ]PN-7ЭM!Ҳ\T8 wLLk[ (^ t^ٚZ4Z; L]tE9m/_4TA8RdY꣓EIʄY6-ǰ4xl *d# L#I֮ARL­2]ʂɴkټ{ZҐwp@U}cLE`74 8^[:5l 3ܛ.snrt4<+`/ԑ<' //H/ ? T!RN92C WG&`4Y]{X$r "c _>f" e u,O_NKE\YVqp^ۿ&=˂WZ~RE~ 90S/jJegOW[>Tdef}1$@kUzFݼTցE5 Qg[ndUb:@BQ=BV[RƉos)% DK4Ҩ$Gقrv,_V/*KR'rrEBc -sLp8YG$ױk+F#SaO%DC;;*,+#YT@v=xL&=~xKaD\:=$ tpQ7H_]]$Sh4Û45JWB=9Stp*(9ℾJSgd_9*ٹ=\rFܣ[VҢ?]#^DYpず4Sݡ^Y ||-<BmR;xMO8fϻ,IqTJ=u?BEڻ,dt?{22ʄlR ߓ:$ܞ "]a, +jBv,Wmo1B\}EC}=&Ef[eK!>-A蘟yJd08X 0U v gr^>3auA9 &Mtӿ^N aFͯ4> %nGmݸ0`l^fĂ;5U "V?4jZyVJ&R=rQǤ#auT{DXjiRꘖ UoT"&(_PK+j8&޶xMmdo띨n?>>{ H|l ## :5ù[QjI֠軁Zsq0=elC%5; , 7X87YF2x[ZgSoVح!ՒIyb5g5ο IqSO_=>|wc?by,IS"VY3™?^oQI)î4-΋!R]# 9X3|~1}cg OeiߞGsQc`4:t5R&&*$砪ix?5*BnoJ_wzH5 j|z=ГK &5p{ `y|2/m~*b8ʞvU\q 51 " O7F}d-߈#kux)Zgv}' MVVY\!q{Vӛ~T^8&?'7 6RH$6kO&SLTP ,E VdTE!6JPM,;Bŏ8f^^)JCg=2reGDILvݲ\)L4G]2bCh)"V4$qHgL4W83 ltQ{:.j^ ThPtVUogqwp}yCo *ރ:\F&Y?^d롖(zh@ɟ!Eg2l(MEǞ-%Estt:X5? `h V^Y#wyCEKlTlm+(<|ǰedlsxEvR@,P+$pmxQ5~u9#})FZغQZqȼ7H#v?F_ K5w b#X}I$Me}+ BIkHr @廿..5AHx~lԁpJdg]'jgG +N҅Ai^Hۥ#t*ձ} bMy9`3buJp lSdڭwk1ylQ e&sJ$g!pBvTjC)c=GtG&;[=R(> 7cݟWDӤbV[=eӽ{E_K X5.A-?Szia< 4 R'%CNj/T l5=eMΑӔdKd[ L&y3>^"g ѶVrUrЕ6&/f%GȑRDRx:]d^zzW<`ww(]A#Ahb[\[ y"5};|iKzVD(8i=*ff`SJɗ#L-?5m~S ~LL5/㶙o X>{h Z+x?9aG+m1@u{+垅Dt`3GO=ot_DWoքYsܗrD~x{2[Hۥp; #Ѣ%ViVGȀ;~M)I4>EޔY"gR .\auP< QȳPbj /:M˝ȱ3\ Qb*W)ꖥz|ꑅN"˲'.0Aua~WfbJaXUmh~c4Ʀ+wnRGĉLW}m{1C4mFP@)C#ʖ8_۔yĬl-p/XGg7nv* b9Jt+9 V%3c@)=Pc9]iNqw R+_߷Fbh c_\Izcgn2uf| &.q,Jʸ+yQ9ی h|-'5`w̩~ĩcsی /62< ب}Tz4kiXQq {Hp7,=iL`dKcds+vȜ-br)שŃqEbg~i= Y!3 :k>ٽ Dksk\ʟ԰1IoƬ lѴȮ9b2P~A͉aO<[S0䆭s1}V }fvpHdUqIh_ͯt y-k}DwkGd-:TeS&vA)ҲvU3b6?Y;̀Gh zzUcZ4sN?jC^hbgGGY`Q2B~.EZUfF phȉTlK=Ji9BW#[;. (=9sPfMsr:_k4+e6zy? 4pgd rz@V|H8SINm|O vF BH$C_3|_^urdy`~,Q%W".,ޫЇwEjXB!?љ8^X܀dZpAB}nW\7p2g۔ j\|5X|ח5!ŘٹܠbMO1zJlS} a8*3%ȕGk W0I$*y1e+g!I [R;}èf>ACa!le5K<牬p\ L]~|oarˠܰуHѹd s Hc[?#tszISV7[/]0E^+9Ekj'2iaI7gu=AƒVr'f^'DjlC$O{ /_} ;K7]leڗMש0w^gw6Zon'Û&Gѷ[hx}7ٽ8u\%t~X*Jd.Dmd9傺2DC${guӖZ=Nhyݿ$h#$2᠉aYpe* .~4y@mz#Kn{fN Uj$., 0db#T{X;<@jnʎ؄2+I_">]]pR鵒RN!;(a+2\ d[S : X*aH:R.wx!:NB{T٥(ŕAhN5 = (E4$¡85]kֺ(sT$SGqj8ǸVd|}c D^3TAo'fEvEPc(A5Vb񵷤X?)gs̯%8C f|k1ѱ >B/Ӫp'C'-h.2.jBJXC͒*aAX#۳1ӡJ5j HE4MWS?{}oTUėH |滪N:5O<&;u ,rlѷM7k|P67ȒO@>ۜy;&du+j7z!7C>%bPgsצGlmn:{g#vOk]h̷Q.W)Ϛ^=\(f F])z(`Nj1Inѻ`EN 1fOsN~Q?WEA3~B mW.>1}Kpqc"BH 22DnX{(!q=k2I ,ȭqՃ}R+]%~{T7ԥ̇vlvr?g,FtOp}X⟘u#D![[6ls'8uey&*2ɛ6*g(:Z8Tfbu(l1A,-i@ӃGF<*:ƶ5G&S=sxDZ\'QҾ'O$*u>=T dcjHq# L0=B0n{fɶ1/:6eK%%\< вp;tBUaןivO^(;pF罓ML zCHw"%CTV2 8NJE ?F4i&/Nmzzi4E &6湿r$>ExGFOin%8c1<^!Wizus CVFX[{^ؖt]كqޢpz\ي+e%x&ΰ&ސUZD<\~Ex<ДZJIQ(95%fG̬aoV "5f{Tۢ@t=u#{++є.DNQ ./r'Dr!VW R[7Հ;5.@<`/,r/{|;$'JY:MO-`רUi?q> l[g@l9{-~LUrӯ:?f2U e0lfe .Rv6qFؘV k!/1DF 6ttRTОwn3U?K my q2?6f2?F >ޏ֪bp0!W^⦏_dt>>JX8̭Ҵ.>`XBka6-{mdIژ~X]5BƸ>>-x"̩(f 'ov$8J()']XTo %S+ }~?? ~LUT0Ruqw~^E= 1ݰb׏pdFk)RTh+ y1$um-Ce݆Pz|:߈Uo@-z {+> [ 5E?_bNt0y, N EzN\7qԹ:95mz K)It`"dϻ@\& =񡥶%?;)17EǘÃ%z[:JC~=5-M!}DƂUɖh]I.{Dpjʝԧ%"^'ްAZB yL0SZ+ZA FgqNbHI!+,.=)ENjFn+E@j"*3Z{ ,cD׵[2ФYB ;xۉbkfZZy&uz)GWIX+_Fbc[ 'jc&T:a;h$}Vxg}/Wa~Px0eVӀh v1=eԂ!ϛ/Io^A&>C+2KH{CqfdF%&>(f]4!t/vev z|z@.Qr_շėUS_͜ %5*&P+dVz|L^AiݚT/|b@|HY\c RMq#]F4~?.ߕ.EV{#0٘gTkxM^as%ioz{9iY]eh8b Kھc͢"\mXS @`*<ʊᥥWDTD- !_v0PorhŮӭxq}/5Ŭg' [oVsW!}W^umG-N@?B?L`.N3T: E$&iĕAe6leՇ? & P\ڨXCee_z$}̫)[ٲ{r}u88E5~"4 t(z3([wU1'(8]0|YA:ÇJo{|aN87\Xi`*YZϷQx v> <.n-}]E}t0N>ep9ciÕPx*+Z<} ըlcSzl{F.a@A8u>vAn϶ ҂Ɍ g"rWragdՓX +dsHQ0G@ I}t_׽rh{G+/{lH(ޕl6BGx`^y8t &Xl#4#+UvAN6UIQNH=")S)}5yw*Wzz]mkN5PWpLtC4HZbOZxRߕ x)MFg4BX>v03$`a+LaӶiưk)ז͓;%@wePm ?\GB$%2ώԹ2vbRkX@3q/^m^^ij-蓠oQ[PO<,%p Cg3nzw7kG==;Y$DbGN BINKזh>@FJ51I/UYyGqw-*> -L~] (;mai&a8(e٭6(WsgH1cw5CƫJ!,R1O ,4sʁé?X@&xըCL3l1'~NN;P_fzlnyָ+ ;k]K<$BbZ]lfڷIG[$ٖkyfe| }JI1چ<+J!,^7l{(,`&,`xx`镸e]+<^h6Un d3;"XAp~.2Ыs|T2IlؔH LAi>|`y=63Y/5ܞDL(H]T ]~dFF&(ygA3/hc~ Ё~Cqw+sTf+'13dPJ[FLhyEVFgz*5=XvF/]X j<HM~{E9pN,1nүavISr( Iі&T{/W _qb`+WpQLdtVoXK&GMF TlĬN,8QUC[\i~#r.|$F<G)`-02=fkꠚNSإ, v^,~!nOĜ_Rld]\f9XTP`Lyd,ibJ*B2k,VZA h-$nɆ'_m krqbSrz}=)[[+J~?S*}!qma$)pL- [ ٳ=6ga RR0n hX.OU? 5fyA &AF>_$8;5~# 0oxcVMlJRCXI,*CRY~gYh:R@.xƍ f^'8% iBmEցX =B[I 띹ijdқ!Θ:eCݐZKrY@t78壠yWRER'gp*KQf`2Y]H7RKOyJW9xJ&P|=#pJxƏ4,_G6b4Ļ+ѓS[y6ЦUrL?!-ӿ8k #gGEUN'ɃA4?w8Y~(5Ȑ}@/ӹOp6?YާOY"f#|N{,G S_311:Q˴]xG&ra-g`Yf0B``µ$rdTnQ3rAy2NF:w*Pzowӓi8] 0Kq614!\_ifJbZܐAKkKIE-ERxb;:18oJt=* 4݆/5/~BuBYKw#;:ImKPy9ad"Q cojx(!F'ŭ>=DLVE#3YE†~i/ެӧ8֍nמ퇱<%}G7NRgG:oxh@ϒS}AZʁK쪗-)/Wt0PҝttPV eQ&Ix޾L6EJ j~_Cs-uRó>9[w=bqUzX+C* "(UG(VnӢGe0r)ւFeGpB c9?a;xGz=R Aƀhе)O,&X!}dVP07b[vm`LJC8WPosfsdm9?]q1ޚՆ_8iUӰH~ }LAw2~VEs' %T=*9 }GOzvD 8-L7V cVHOY#TBb5ab +<9d 91.vHخy6Tv2Pv;;Ղf Mָ/IWP:R~ᾀ۱} Y}cc׆E@c{h}דPmvh< Jۻʜ^Ɇ!UK3[jQVMuw1^*-I.9U%)GuB?A@,&] uX?>VqyL{J]=%Gg-~[tZHf̱}z~6 b*oU?f'<` (e,,U96n1u1nbwWl2wHI5˞A٢XFӁMEPoJ D"̰pݨoK` mtMb-vej li1TA ݨtlCcWxq6{X 0{n[|zΑEI68yzp8TۼY2up8N%KUm&H~63^Zte1=[8/vJ}3`c#iOv?/ BU54O4x]} h"uג5(T"+jd:ٯ=G/2>/`>\A;n6ۙiIYo5{:xԦ4{MR`D}fou-Ԙ,y'&R#Q ycXGDyM;Rrx0(Zxȥ`Q~?0L9e8?Z%W Fp`8F{l{EKp9 yE(p{}ۑb[{jq3s${(7(ՒY "?ˢs? (u棉P3} x>R}V;nM˄%g3qS0&ZwdtsmAseN ZI:c C*Qᅀ [E} nųHÍٻX?UV%9,°*:*{06! Qlљ|jV+2R|HWXoJpؗ Gy]IGн ᆝA'&QTnՑW!U"~ҳl4mC4k:e/o|~h؀6".)?Z(8gv}ΐ-ث(g"IECl@a U ?hͣFZs Te4)INT~qΙ*- [{YR4XQ'C^48CQG*/: D6\IP |=&-x8H| su'zp,S^Zē_5@]B HB C_P ǹvSoOUD#R4͑iߕ u}ep4y_ӣQ*/ג"4DS*Bbg"}neWk^[O V[sih@-p7VфjB"~E,e/4Oʖߛm.%=De-mRM#b Pj4.c&;:靐u)2Nl"ZP04ޜnk+Cth6ֺϷ[^}봏d}1ı&z{m_υoAEّcj˟[D j$PZ.>|wa[4^~|JY: 7ZAȜ ѩ158 r&NI9x?VYBAY!3{4jf9rV:N%*&Ziv\WU:cC4}jp$4A45) 쓾[{SgnڨK\2FsܹyC<-3|Ym9Ӌ9|sp)\Wa[.A ~XҾAy o%K@<4龤&(n2Wbk#4^18cxjdIkN!ŷqKJml{H{K|QW[ Z d#-݇։kG]iMM; p(;&΍j[ꮐ!hb(<)KdGyG &zG&eYknb:9 rF>!ț=jFb]CF` C+"@I ȇ;LHYФAoF!sdM_x9jGOt w#蕝yyy~45=)5A|L49_,C`tRuh&%F^ Fo>)xgaf#8"UzIhyuHLXi eHw"?Ns^XȎ؛N4+vj];^y(ц@^|Iګ5v13C kQ^Dm$%aTbA+{aT~u٪f>/̢/GA'&emgke䪐_@C9"T{J%D `178j&JaiƱQvq:#X_Nwes(fw&t?L4TV^8j ԧ; G=a‘\O`bĠG<]RD.ͨCs\* +.KS1;;gqlZSC8bpv.$2ChoΩ0QesMpk% (ZϞoh+i@.շzpo uTJ_OiK|EMKGrln;{#K8a0\ꮨc ?6le'iFH;XCױMrAUAv8v/Cf#n[MW9~,Cϐ^Y /5/O~]xؾ/A.dXܲԫ<߹q5*s fi%$EH3W`G)9iҕ^$%}% 펖Lzޏq֦.=yվ5r^~*BXp-Җ1[ un2-"nht LGd.G-+ YԎr)CP+&G) o~1YhrZ[ ~[3䥹HX=_:'2JZ7>a9sT+/ ~.Ml#[#2OħT q<6uvudr_~ݵˤ= Op?:l= Z0+|^}-H䨺}of*$J`:l!& 'ǡ4#E).xGIO]s?fO F- @dX3aD;3 Ue[o~p娄.#^b9Tq\hqa8 T2[R|NTWl f"NYpÂ7Ʒ,hcUk^yoz0jf-ݪeԧM/4,aC7s5<ܲPTBҚT; -$ɥU Z]F<{tR;Kf2Ѷⷑ"Us;|I#lK$ELTҿ>a# 9\ d$D\טPu+#{)@ѦU]ÿnGlynzmQ1(>VAJk"-AΨC=)FPe aAN3C/>Ɔ7rbyM2x8^hنm>V\Z5Ԁ"#.8ʄcn=H:-tqE`晜.z!M{&C ,An?ig\۬XsA|i64NFYCZE|D&BW6ګ]zg9;.BrAi(SeI?#pkhd;(1#j-cA1E'otZgڌȟئʛyGOK4GPrkv̰-EZmwL `Jy6`oTW891`l+#U\4]34E1į:f恛l,WL.b7y%Ĝz~pzd[=qh:!TEoT\g`k F1gBW8aW/x|ޓmie埲3t, ZD}RuiEJ0!ӮIcp ߈5u8+Ę;;3t嬯oSȒ z,m0]s\loB ޸3>ZTNghlr^,G)tSohwMOgv~"U`MD )qp\ $@܏!"*;S?.w/mr04JJBcGӀ M߆&}o;|Wd 7:M5W&MW>| aw9zP{?O#S-B?7T%>hq>pϬ9xi }"&Bɀ,X`F 9Uz!|7,|@ϑ6Nu:Щ%yfRl shZL,p] 5n\VJb^EY,q^Yu(g&k?ֹd%H |am]]rY ;Q|U>F<ۙ و0}K5OqVNhN Ju0$smνG­sX.r1'0Zx_Ɋ}vsdݠ٬3"M@S #*T2}gA8<|\a-$}gBA#~FotBZhVɚs٫#ݒ.rDH`)8}بܘ,Ĕ>Rwt`蹌oQ!mgb Ǹ/xVNUCTSY:mN3]9*xȻL_yy~y/bOR{\ >=QJqhb(ĥc\+guI=P_`\UȄ*wEfչ۟i[Ow#qzQz- uJB=aG^o PbNjgife}frԝqHa\sU{A]ִ}˸anvoy7 oc+v|b:ۏú}tmG B]c%b}42O6([mxl2oL!y--]W}'LPE9'j0&GE$l78n c+(IglE yK{Q 5-6uPN,*q ^9H/Xb CDV Qʆ)[=2_칃ϒɵ; >|aA=01_Zډuh x^5wc4ɩg"K>_zςmsKjnZσV\jZçjZrUYx*˜Aף&!]̲3#Sh.js , 4=L{oS|Es1#A^{ުK8\e갟 Ƹ/O,jI];v]:,_y#uՓ1XKf=he7O\>b|U=$ /FZJO{Ho&/ جO09FpǼCW'l8ORZ=zǫj)]X/h˅{iWć? mTg٠Lu}Y:Z u7ӨD d4jn,g .c5q0 85{F{{@rjNJGHQ=Js!Ɨ  !Bm~|1,RjxNq%vIzOPƑ$dpP>oմ]ԈQ"CAy{OW&uRZ"c&1H-랫w.|kVsA̲iT/I,i"i)V(D`3U 1)kuݔt1g2.cJ)jǨ3^PK3p%2,o $5<~ d K{KB[o#W4SF[~Km/Y՟'Mu6;kd"*?2VIANNHb2 R z;aS5NY^iS 42mzϪ*]Mn.d g#n`g@SCدuk v- ;f"ܐtx8fE1_ah\[?% ߢW๠LOX ܆e,fK%C0,82b@^9)sf\ϫ;v0Qfkp17SjB\N|(5AEUJ h*ȫkJ0=|NhJ% 5 [ vu:VoӱMƈDb sj5zX[Z:*گ5!UP Zc{c2r ]i=VZ9cĐjFܘ@!xs=xDyKLҺ\fY}--xbkP ? Ϯ\ys"H;{Dc).,Mw9AH_F[l]]={몤F`0K{*x53J̍o6KQJƛ{iVF Tid$!47#PpvhVi:q`j>[GU,\lV C)X!I&Z0vĶE>N`\;J+܉ꕆ~?%W5i2-ɫ ]^45Ď+PE>PnpbJk=>/ѽ>ӞCDQmKf!rٚ^t&~D(<,?CH,6,uӟd"dسDv|wYBШ"2Z4b?#8WRdʋ:-0N>ѩl-FhGgyA%Nl%Ց"3%vfx+gh+*j5 Y+uSQ/Uڂ90 B Zu\u!g$ _biX6к`K=8ʡ 8u68 x;[!9lbK/$AL4$g'uNXU*mD#+{-jG%#t&SySܩ͓#諒8Jga,1vrSfC*mF}Pg=27/_hD($NV&[i 'FHz3ճe ~AKÃe2dW%"NPҦ\O{~řo꫇M+,Uxxz;Q/X7KFdyÎ"u4kNDbC%~iya J ;?3snv9>3n;3!]7D?~Ai>J^m|Y ؖގ=bJ0͵KtBvZRj.#ۍ6XYCnV_66.v99eAxޕmњ6'h/'"Q_E7Aέ0uQv@tu 8!WPyyyb(eHPOY a\c~ɿPΞN12bW`[F"ϸCjjBS5*[D&~nKE*{^pPpv)fzOTlFH]2.yR8,7St%\}wэ_P~ 4F<2zyeFnzŲfRka(h?Q9&z+Z.WGvdXѭ.u:[PvErS=~XfKL;^SUYք%2 WBk zUBMp@1TC?.P޹٣eš=g+~~Ou$FkND/3@dEτe=*IPԷcnF lf8ig${m`\^ߌԼB':4@G`ޠKj~.J,OkeYQaIClF\Z D-"k DydݵۃyEl2#$]cTdd>5QGr\ S}i@pMg_nuݷ/R[+51G7*KV(u5[BaG$X+$/o jʹ$r/7x8yh9l( Mp#uDcB@tb-I+<9g1I<4p݉ M]?0zmng!Y1&:l'bMwoϵ͟x#,,p!;-] $Ձ.g*idrfacqKn^K]?4uxX  34(ݕG^( {`X@3-(]Y\jb]YHQRWN͖sJ Rń #MjV.yz$ACڛیÁ> 2Cw V3Ur֎r"~IUrhK0.4& s9Q? krs4(<'!,Lw 9Rθxbg&\rѫXxoFYbFT0~\ [B# TZ8/^;_MR/N6!ta4c-?CeteUJ8Y}%uZ~U_{9gpDrw3<8+}iT6hx!Vk7^uZS&vS)Ǫ?9vhP;uTQGMm$㶿p,3|B(-*sg+ =/:+Sy!R=iWBFR >fYoA.zp:Ke&~MMsyU5~},_&w Il*H)T ٷߡ()YY,+WH`=:}@6~;TavcvBVgZao _hGXDnx&Œ`o| LIvkao]ȝrFvfܼѐWѪM wʳs8zmS(Yqs!}>m&|=WL VKEC+%6ĕ!j_g݀62U$a'hY^^]% "VGntDFeuR vg)~E#$X^-9؏-wpl \pa3!?/ER!+z8*c۔Ғe o/sLqBMPd q'G5\36@鴄E)oI j\},}rxA q`o "Ɵ zzнsgmXSD dƟA$KHOWS*|t6c`I'߯\,驼kEowrA_zCy>= 6p, v:3'j%4%}9Fv{NEJ唫rT?GfNf6%==t`NJ[cl ј%h9!"LA5_zT#H\KbW,-ڏ(^hKWDBKF[ɗ$] XxJ$LwsV;ʞ1ʥ.G t'B,gZ}QX,gdH`!+ʌɐ\C@F|*Ȋlq#9@FN ,stPFk譀v1am%hb'ɓ( {(p 3lTΚ0\y-!)W8D.rY&\ve,jBFjB@e轀[mvcxꔐ},<BNT:w|9)a@9-۩$HYd]dL 3&w'lq N# ݱԦx `K:-d1u#6[CŜ@0f㏏7Gol0LD-ʈOz[AX>A &;Ltz!r ?O!W+I""ijXc@P3"LCGdh?"ZRֿƓ ?n^]aOSdX&ų0c1q6UNƒW=\¿mVit8&@yKc"Cnv3$>!}aTJ$ ]xȉ DŀHqV"QGHQ.P @V3̍р.9|-gYZ032f08c1865a2d5b57e6f5dd4abd2e329eff14622659ecda851d7452b7595126eb2a4699eabeda3887523995376f079bbf194b38041e05f6010810f8