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  9# | D ]]HOL-Nominal:threads=2elapsed=7.897cpu=13.612gc=0.768factor=1.727zXZִF! ,]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|˯ل|aJ]wvT0 ؈dӅU>FNLV P~`Yҝm1COP곝3 ʜ&ӳ}ټ6^oW^iHqi4nv~>ȖjNag 0'lJwV.F3tKꍱ<5m=QT t[gYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ }S~8g1ϠNfU`I'{J}YZ7zXZִF! &.]ŗXi%; 3.' dEu My$ȍۦ{5GYPAOp *b@|2ʷ@~mF V_i{į<镏MeR.= PHFmNti]o߂=gW]9NeM5LJϫyI0ds'ObyVEF"nc* I8R#]OgP!VǝxFKzNE = 8u:Bl~k|@TВ7X;uM@h6֫{΋j#58j 59&LֱgYZ9faa9a2570be217f25889a4563888dc0b4e966a40a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 ba77dadcae147c3abe446d173cd63ef2f4737176ebc0d5bc6fcde4f64d074b170b47810d454df226 # HOL-Nominal #3% dHOL-NominalHOL-Nominal.Nominaldocument.tex7zXZִF! 0O]A-MՋhvG"uIBm5ĸȌop< Jm"d7~1YS%U_{{,wnC#@GJlcvD'olHyJhu9)xЯt,;f/[bOA݊z Iw^ y5ehkBƔΗzy|Y;ӑƚFL22JK$oeݠl7`Xa޳+e CQ2 -pעBBBc'MlLݢџoH$5m9#Q Zq،!#jeCNyZvudrO,ɪcCc6SW6 $IR5~QYMx  ;›azZ%$6x1 vz֚F;GX*5GTNSغRu2*l D [8'?:?lcP_@s,Խh' tƝ=G?)dr. ~,cN`|,e2q{.}r Hֹ#l|c.ϫ(yk[$T }t p6N]= m[Hà']gͿIE=9:?~D, j`U;II{.v(.^xRn96JQaE3Jx3S\@ۉc"WLz ߭%8>5֑rE N1Oʩrd/McKj"+J#%_Һ?R. 5-shnH˷Uf/2$q# [u[b2>vX3m@Qu6BJ(`ܡP5%ŐK%8[O;' o(ΒLJ :*c{w<,Q彴8xx\]ϾtEڪcM/1λ>^q#j.{`~&iliJVgjD-(և`9l@VixRش 2 /ΎsHP4AHL>. @<{~}ߖ7ZsmZ)zM1l^BB-%EwH|/(An+G[ D+2V+et{E-̃m Շ nw)dS@^*lP) 74r@{`پ[ꈋ48NƥˉusT 8lΧ/.3@+i:WZ;0@X1{TѥIsl6lbet?cSV 3jYUZp1Gi7󣩒b⣍%P`E77 n(VLgQJF2o"Ұ( C j R\ѳ` }sHgd IӤC6 PϾ$qRɘꎧ)wV G}no-_ckiť~Wؾh4e_pH*Z{Ν8[8 CS, N=U Au"(bh|?$-?(l]v|\=e5,~Ҳ"֧ h!ٌ!'P T/%EjHrncP؎宆ͧyXi;MdWuv=\wГyIFnƼю$@MernD?>͌j z"ђ:wG#\ bGS {:<04`'đ:o%Sitة(\ego \TgZO{ed a-$[J{[ yQi /#3% HOL-NominalHOL-Nominal.Nominaldocument.texE+46H@׋ȳ'UAnTgwT^yW$ώ4Lao}xl7un҆a+\O 8gYq-r/f%A6X\5Eŭݳ}׿C['db<^\!&/d֙xFN* ۧbrf0z.acx:1fkW }.htc#%ԯpV+++}kD:P$o(֞ކ83F -D>BAiOg6E!l'%E%0z‰lcW]`NxX4Daj^3 !tU!3F4Dh*=nmyb'@Kp◵?/}頌Jٕ6U  n6}7z[8|TعM?.iWwZݼh17qnIժXp g>6h>01C e/.=Zn7qֲ)Nt+ m/E,rR4D5Mێ4Qx;80R,&np# '{V ÞV,/.%[@jwlJ~-xιhh٤o$ adגRՑB:At(|]:27:,1F.?;-RK+qp#jm1tw{𫛛__j`d >H0àtDrK

aL3A2`!Rcw;oY%oQ='2RJJÞ)䰐s+jvM{*GOHZOz7CۧMFj>;U)68"\w/)Kc[^lqzۉqz2I(t#i$\>:Jh o%U[ykڢRx||iu3O fTq=ZƛEo]u;uA}S٬2%y n$8H|~럡Req#4ze$=Ȍ ;[OԜ͙/gF s#=i]2~ m7raPVil2uhtqL=-c,'VIS וr9{VAȯbIrJs/]S#ۣ(@Q<')09ܚg.=PY! xm Rmw "  F Mr$|?ZN/W.yUrvb) tQ؃zhf-G861jll0VljZCHE{rpa߅{N 8ϋOR"=ŽC *M+8^V2͓P#2_94,qed{fCֈ3=>uEtq=){%϶ì:,@V#-]ln $j+Os{eBb\G ;݌I277T^k^!GVwy"lxkiZaYdRM;RwYqP9&K$*`Oٯ/^A31|(^Evt[$բogvиEK; _quk^L[@Bd^gySRN"mqc E"U #U:1UwJx+Uj:0(]8cЇ*Ԝ>|iҫs}+&$✸E2ԴZEdZA4(g[ Ģچ2r;JfMVخzCY%ܯCz{k)̣CX9uF.Q $ Džbp%z. OQoUMD}n,ճ \\cPF+hJwGneVUf]q5GÆl`@p% ɡA $"e+obf%'-`c=DI]rWF`L& L.:L )xa(검!<eg:P CXmY<'U`7 "!v$ :;U=&ֿh7iP:3Djj8* b2Պ 1ˎ*4Jp%3Ycm'GBYʿTWl0s$0QA{u?$Z52yɔRKBS奷$aX;L^Cl' N?B!6#T‚I b I{xEVׄv0?>LGi ҍ].T3!"dS/.d-V ocaN5 [E}6z֌ovZ;kF|~QYz4e4$o,ʣd \EzAd's_)YH t;K  V$ X:復dzXFŤhNxZBN \%]FTSVW(>}jvT7Јm4z_j))tNWy}V 4h-)'=N;}cRo'zKt@c8 (֩Al苈t1I7TֳNM;|R#Ş;9"q༰zOT?BK 8zf\%Z,z"0+hN_n"z@GToT>_ɩoWReKSLQSbH1 ) 1$\J+͔ 0%K4\kqsմ t: uAZB:tB' ՎC3Fb^ އbg_sě&5VOjp]ؓ&}sRs%5v_~SDxwFqe͈]s߅b? x:Ek2+17[<LR̜PLPe nvG́fa{O S,^4rG%e mZD(f ZHs 76gTDVHm3s3 \gcKP[<01]d&X0.,=%' {Wiǹ:w,z ŗ ,YӽM'Od`nU.눫J`Q<b\DB7(33&+kKx ccԒAp\n6hJ}f6tiO>LcBTMqSI֙)%r~auEk&ucj$jZwzq\G+hZ@N8&j{zurKnR%j7U: aʧ5Ѐޓ>ewqL$ȑ Z֯)}<Z:j!Eh%`h~krȄ |5 EAu`"m5vh]*ޱSS2I_ݽCDG oeB7^TbxW,U"[yrԒB#VԾx5HX03 -ENJ dCx#SM1p˂yA|T_(97oWݸ)u.7lOÂ&;/bwf m~2Sw7g! <V*Tr,- h{_݂ዪ x:43UѨ&͜ެaW}^K>WrFEOW0/~၃Jy02Ȥ"ީ'. ~+Wq;~'iCc_}&

o9:(& -\ Nź)S ݽu_5H2k4%t+㇐qi*Sin}t![̤uZ:}ʹ?i! oPj tʼ57ҩ9Z5(vgkT_SPJI2PF@"'P+2KD^yA"_|!sHEB} i+\8ws 1' (h-^8os3SHßGd|xB_9Qq5 WIr,xWY$g,є6<ӱ$~ xʒ;;cD_m!ijZpIQ9>1f*nW+.a-zL * fYN]guKOqf̤c#1[FsbɔXv?7`fv2 Ɯ-wý*vt]EҏcWrr5y$ -+\MϿ+Kmֹ_YG&DZj8z,su'0y..)Xr If3!>ɋjAw(i)8>} u` zyh-Q#w襠hěF*-7cKѦE/Q)R#Mz PZyG,4#rO2 LXa3EkɉQcًO`uUb-۸߂쓄KΣ=*AkWe9W/daS.E{{]lA 7cە wClH"H/ۆob^jI5*2V|ܾWģh芘{]B}EU6#+G@*8Mz:a6]-5xRo/²u-r VWm[; _M$Hp`wDG>킬Fld)CwmG&k_U<(Xx.Ιv;)\x*tzCwˢ"_]_iL?VmmeɷpA&CxFa jiwΈCobM+K_Բvј7 %gt~h!+ YA}Y̾ WUsLֿ<+{8bRL d!*)́Tvxܩiҍ9Àxkm:8;xY(nttjP9FHzx|[%՜ۨ)DQWiNk*5ĤivRZ5fCƵ/7;5=yM{;$nW{yWFCy荢 '+EU`pytIdc[gDA|8EyNNxyJث:7j 56q-Gg>Т3!|N[+E"I1aeu+h=|􃌸"FK]AvB02 5> a;YI2!C6Bg~JfiOk_7XYM7kDϦKv-6xPPm2iI.<'P#,4Yq6Bh+WVJ4ed*DqjBV{^Ε݊*.hG 3{*Ȑ|WrwNg95*:>;a'΍9I !9{;$Ѓ0{ꆬYRūoS2B$m+TT h{ؠibbҼy>ñ< V{u(n]/#>F1 ]xVx~ )riQjށ;`,k$+`dhLAYBc G-p &v010KQgUrQdxSz 3m8՘UM$=pJ槓{yK!&ysF }Xo R w,+l#?m3#vjYyXU5^Ub +KW;8Tfiۓw0?M?(ݕ ] 5Fk9e.j;G+2&'v85 OtJL,S#(Kil/UWJ6 J㳳DyJt iфb IB;,LEـ dRS918m{T[9hs.uTȈl8_" (G~n͑ЄP 'VSBʡ! (XVM w]=Ta2]LNN_ZÅQ=v% ]6`/փQT=G2T]"A 5Ȯ#U Ad`nk82)KS kejQ5 %_Z v]+*~E>*N偿)啓|y#Zx$0]r'!&QnWL[ݷ9Pй5S[~z,g1vƥ?o#uOh[(ܤx||}FWMcSCݢ‚๿A{},W)m Xv` OR?8%Kݺ\JPλZRCEO3G輫GRQJ-`/^%崪);mG?.ް_s"]J4R)ׯQ>(<\i,o㱟Y5ŠWi,e?Y_.膔2޺8㎏~3X/=w(P^,Dps E.@E}wHhV(O'HJ3H[[RÁ(TĄ .XIY;9G6+? .hKw+~Փ{1d!%0b&mYFMg7_vs `E/I1hlVsj$MuHp"]h,Eim/Hsw)vfäDl -X?ؙN@bV^ )!"2By(:oF?vG [&Дd)5*o?,9 4iRU7Yp̽1$~B"$g$6[*f21.ElBjVecͩ23qn sD9hv Gj8Sy^PА#+jClM.SS_^wa}rcJ! ԝFTaPՏ08yGظV1_DE 5Lb;V'j˦yŋ!%#q&sVF1ܴgx;[ &l:TGyЁx8dO&_w?^c}UPNOJ` /] Zw yCx:3_ uz4eo=YXj: WG*pŻm%XDH,J,n *Wķ9+)GꬒObU֯2gz ?|%M%6FhJTR LQ=WҕS7óa;P Z&YAEO@aPXkIO4;W.K6騩k!=J]W(T῞:CuTw8~ŕNs<"C`Eynf93nQIrI|MDHopQJ/c5ٟlр%J}DV(CCSr̯w|J߃WP91~% !:;n€C-?1L)^\O 0_G a8ZF:~|m'Pz/ hjE渢4kzZ֖տay$p X9<%HgJH*U@,}F#c'l!ƥ$?}&_BuENVi42yʴ yPD We(6ac_΀4;q-p4bW3_ :;ҠeigȎ(L'= :5(v\|.%΄P*s#|GY(Ŗza[²ƁilA$歷lq:J)Pt9dW %|%KB oaĒo1b׆A4ı.)Ő>۔gMˁAHb_E>cy @[Ts-rcc뉒]0zX-WeD^QiP0wXr]+x?M{T=gx !-L yf<8:íꎯIӭ"Bec߈qϤ{;w<'5{@mܢ&E;J+~43Ɯ-}+ܱ.i2e `L+i_Gm cւY<ܥf6qkog]L8CUE0NIs~3nV6VNŀдPZ̢?z &am6NFShU،+x/^U2z}]LVɘ"H<#A-L,[d'e- `! +Pi~]{qrϖ–XAۈVU_YɅsIsiHslT16HT1^TJz9F4enX҃'x1Dol[ (gaeGjtP2=v:+ӿd! shAKeS`_vۤblI!JEvϝ6QKJ?7UKٟ~|x B)Dyr*v/Dž&;VAAh fbZ1ƍf{31Gbf+I֔Ubzv!}(|1@٦CK]KhqQ?1.~n4g *pŸ|&?rbIt8 uij TB~ hZ(o8q9b1mkŰ*o3 ro82H^%w%VsEiEtt~*:H x>"r#.?^łlR avy\tKDq)'J5W֬S!`%]v6xk aν~;!o]n u~&ڸ|=_PY.B)_JC0"ڊ2FtN'WOMXn퉯ua~/H2kѡTի&'T~+ 0vt!l.Vq >=+^[G2xPб&5YRexYy^Q3P>[ߢ6n44C`NkbY.tőY_-^_(뙛XELLoe:q闒σtp공o;arA,󦙑gK)CI–{SJ;əkZ}U(~g[7W Vu!gt]0/ xf QQ!oFv0#YP|'Tb` !D{EG㘦:I!o`mjoG(űC IWԵX]J-nVJ{ՀeRoDA|ٔ/ [f͡B|hd#)g\þ4)P߽ȱYktZ;ũO+~@EbL #׊$dqHMcLԤ 3-K,JQawq O:m97%YI$Q-d.93x%Qi@Z 4_۝jV̦; 1`^Գ Sgݪa=|>]/̧=jWӭM&L-vLV.bIQ-oX^Ti}"-< `̄lٷ.b5 ]1_ <)HC4Gb _uEϡ#um4%v:J0_N \tGq7w2C13;MO 8W*Y3ئD{:*Bd= /`y ɉiFB$G6Hq敗ssmk& N&nwH:TooNIc\jFpaqf7ZTVz{'S%e&Ṙͅlہch?]6 &^+i|pxU#;$Lׂl7@T8kQ{sc[Batg t4 C=M"wD 5yFLbtK9Gl ,>GK&</YjQeL<<\ %tY e݃'!U J~/0np,wР]P6xl-bȎ^9u^L.1ŗnѦ켁_\:P`cbxj:ܩ`T["X4oҋ!`K}C4*^ +_`d$܋%:`jR_(eF 7NR!$H*NnjWK7X‹(2;0`r;rQM̿G*109/ GnHJzQphuZ5kMxanϩTQWc\hs=>QK_<)O_ʍ59ݟ('e]meh 8 BHН M2 .#<+e@E2ԩ"鐒&$(Z| uMa.l&5Ϥb~kc\#K4 hܜ{ ^C ӌ<9s)v<"7:ח@ (n(l5 7 u/ FfrEoBQTQ8s*T(ΪeR'H1|"Mx m)G$D.:MO%TKO#&򜀛nWF0XdVt*ӊd4}y  $|q\d-X߽Jla+aY4p6:jO}7v^Y ygnUFb/r̶չ ӺBp0*8mƳjУJKd\:L%*tWWDmwV:7eo#LggKO^(SDt|{m8lL̏nQ]c1#+PyiyYDoƔc=?v2"=[ %φƮkv g3T ; m i{4̆}2u'Q#Y,x'KwŽ1g:ߛι6K:^Ω:g_f ƹ텍A.KgaC({KZVLX? T䊁3)ы$kP3F<#"dw3e5eTGb2\M1k!kn#UTrHynU]^i;Ҭ,:Leiăw o;^uJDuTrފkRT5opMp#ں*qP(XmYx#a2|ljf]3^mgu^8F{zoa(DK.!TIDS@{sL>Tʡ+g\Ix[%e)k҅\i/K Z]<9/a_bYB(OfjeEqZL1ϴ9걟׵>+]mljf+b-T*`F /A"nWLm{Y#ob^E T(.H}6pzp.ްh'Td t;*lWPy#5ɚCr3|KbtmwGGaOP<ί&}x@MffE\\,iz6O;!@[eR|.ii`8VuP7{Q^G HB9[PR($5L/->$".$ww ,3/sv*7okIh{ERC?zV $=0'Ǯ&WA'cŕ@ōJ s|i >5,m~Aש~fͫu;[?>!~ayQkJl8XMˬ!6ggqH[c S>ɑY) t{ oyZKHC[3GGʼn=[FNBf@SJ v#(N<+?•sU|SG\JS vwFt53f6A OUuzEfv31 hP;bcx~j<);'w-f ޜj \`/V'i/4 Bcz0@ܹ+T=3)B:V%d%2˩)M/Ցx@[zJ&?֘*"ZDe<63!uR5Ү@cB[O؊ }uj_Bt9xZĦ_N!&`&yzf21$(O~K9MI ey)\5]D;NVvjnßz u{:;v2͇U})Cc4TM@Wa+ 9jBB ҽw 'u,X H-$Wfɹ?ORuD=|iXKi̔r2 %X=GT D:FG>jv?%DhRB#tͨBK\ O]G3Zo@DI sNͱH+PɧJN{xY$H}|0!̛:ɛ:8?sK^>(_-z)؛س >4iSL-:IK5 E}04Rԏa?y'5)}Lֺ) __G( ('$m*TR//vJܐmg C8fL%cMYi򊴈d;~M䁥(W[GqD .y:${,Y3"Y^ɶ?mQ0W _OMΞp#x?3n٥mnjCY<;V & ivtU$}?'W e B,b2@օ_WlUQѤX ~I;? $Hr,FbF/ciYYe(l:FFHExA曦PO@Fk1<>Gt%0Ö$o)5cZW\h5K&]cCEEiq o}+͘7/Q}b0lA<oQO{l1,>ؖU9V-+ $`' W+ "* T16G'+O~>YGk{^0ߠNaсX~;J'+[zm4YeM[9:xsqA# >bTФ9n]W 9^3Z>%2hBQX 8.hzڰw bg2xU*l;V)_ וY֍wX:Y=K UΥeL) U0 7u("UZ?u~VtA-ǵJs|}x 49$I+&.|nݎ 6,4: N[,&o?$:0wndoC"1^ q}` 6f\fPZ1\F|丶u oI'dI ,c[O}C3hZ̘~zu2owz({"nR+Xe -gb|X[׵l)^tL97 40VPqt\;hQ 5E)Sö~#Iir_y?MZR#I 7^_އ+c*= H:k+|}CtCsfc= }ZBx<{.]a 7)EOg_t'|Lւ!ܜCx Yk I{k{1i1c/?W  Ǎ1n%.|g/+2}#"&EuTEjNu_$4X!42l!H-z?cIJ^ X8j',C6-ۍc7=_$+/tĪaq$螳cJ.T+ xD;0걵L.D*QΘ V1^M"6C0USv gndnj*ڦsM:^*ˑ'}{pYg`; Gsv&+ u*V詌|#fCkhkATʖ?xFxԊRϖ&xŜoўzB)=6} :Za2W/Yoo*;H%Y yAH8'::0S:Qkc(0 l^SD,1ޣ^"w5=fٕw^X9u ɽWk{"of*L4M@*$:CӇۺdd[OSBr7.QP.pN#A bjk`0H 0c걋xd$ZxJh?Yr<=iq< &Hx yHkDyݍcX׬rcgZ׳ҒG7Qc8~@>`\Gw,c j A2Pvg*+cj:)~ı5q&֊4s"f3\dS,fٴѠWw&7aj׵fo!Ms2E9Bj\BG9lmw|[!Q_P$Ї.Jez󘀉3 ߼aqilTwZ$i?hKjT oXu{}f>'* i~~a_R:Y2, nV}!T70җu肨 o&%1R.[s1;":ȼ WTfIqO+6c|Ho=x7? YnG,X4WAB*U GA@Q^F38D h{<_E$q?:rBC/k(I0SaD| {uD+mU4l|?Fu}ANJny̍:hFJ, 10ܷV-pN~SV݈Wu PHdKzR~d)&}Ğ`c~~M^ʜ\` DoyNwwV.3OJ#IXI|j}!j| K,lќϛbrSQ2"U ?p" RN :|J1 ƚ>ǾuO辧'&0jCbx—F[4C: b/C4'Bdrx.sto8h6Rʊ[#s=(߂v(IH~LR$e-sx O[Q_,[Ǖhg~j| }3^Gc(knc*&[*FVe4͗iDS"F}pZ*:h{L:t>6*~GC0-Ώd絼|X'CRԢp[;*S|%B_'~gzkL%m]Dԗ7mJHfΜ]ح2ЈN25gi4ХKc2fgnYݜ@^fTN/7^}~`rNp'6b)ːGv>0/Gb(ZW:Ncd/B&3S2ldn^%7Pd;%N-8&4fHN31SL+w7BmTlGm'>7XZlCʅX>'|;Qۮv~*68MjiLEƎT.V;1Գ\/@mk =Ir;҅k(lUj[g Ofj_l2Au{@077 d t9ܓm|B=YHj^$_A:MujDs~$es@اv4_{3k1ꐢHa~}Io vkDX s: /lϥ+o_X }Ϙ:q#A SW옭$Xp?ݯus18y}BewrЊ1Oj}bt;ם᧪rA˷KUW2" 5Zuo6=t;]b; &-b"snZٗ%x%+n!6 c$ WȣՌiK(]m;<;|7xn\0܌}-4 27?bwH`GyTrLPb- rjycl9xesu /1$>!UZAcX +{~pB2(4 Z cۥ5y(<6R"k+zծ%^' ] 9s׃Z#cWՋԘv8]0Mn0`-?V@˨1[wjV1ԜDAh̳Ɠ&NF>l,o~[ė({MAB" &)[Fn~ó"N "d_mHb:A/qkPKn, vϽt cB[k m O$g犚51\6t.cHE^. #y&Y?LH?}/4')J2\?т>*QdELN*lS?sp|WXf¶ze4 ` 79t#EW״StXJJ ѦYecJ)U9ylcӴhUfCe*h1͐ rS#r}M6o)`İk5{Bڿf@n^Hus0+ ƈ'nM5շ2L< _7~A C W_Fb:w`G4W-B@3`ˊA܅Ko8/yd6nY*?rFJL{k4L߿e02㭓}AM7jLBjA0L`NUa'76jwmzLȃ  qc9#H_W *6?0eTqZ^ "D+i竑C69CpW`Tsԑ5V^/z+2+|y$tIwHzl$x X2 :+M.SD2+1d0{ʀˊ_ .b@teI?۔b?@tӚbDxi)֘IG3I)C-(~,7jµ4 21oo5|m$%˚TD|VF&sDQ*V:{L6C~7nq.AI=%t3^b[o:kuɄ7 hM@Dd 7.'lj\5pV/Pjxts߽wgF>{ZB6<1yC{6A6"-:-{?aT?'w<)ԭ  kpU4*B̪"ok6]*^5Pm[(\HtÊ<4455'vQ &phߞJ7pb + .rz,,2l# TȊ+ dUrLzBƽpm e`ZvE|JT(R>1t>qD$5yF{w5F݅7Ъ\%2h,RsN5>hv3ꂓ"r. ̚IC<DL^΍0YXQվ_Z[h}&cv,]*9ph B_%{?MN,>TϱVQ[pǶ҆ϱ {R(\Dœ?}sz(+NvUbҶ)}&&~!H9ܬyЍ?piLJ tt3J2֋)⥨W u3ѭ`.!"u3EEģv}VS+EV%8sp\ P2Qj> ڤpvʹDI7Br-9FP6a{|)->Nl/F-4cŜ'!ڛ#h񎴡*g7zzhoO^^*#rE"q+wIK]eQIZuQl V:hW:s&pvQԺpRE՛ HC|!,o`0~T(%Z4X\ieg9gjmCRx6Xw$ GړCpM&7z⡯qǚ$1_ް) 4hRϋf +FFeLc+#rf(vmK/g;r8Țҟ-ykj5x`wdc枑U>歀I 0 l)VQ{eR4@B {!Vيqs4>Bn5ID#njʓXpQZD5qL)LیӯrOoCnc\A.ǴC!vƞLb%BT^d)=x7#fšz,(q bhDw 얫/O}gDCy/"үU=15 ɉ[J}j-7%ص$D`¬sܶ̍HɽFIuV$|jԐ(ge}+YǒB#y\:nHCĕ+Br;}^7TH]GەuX!vZ}'N".Ͼv# *i,CI .:W<'L1eQ1WTsVsi}ckR\7f?+nP[[sԟh1~`"/6ahKy['Elgn}U3[đűR^B`;AW)*dxSw й܊Ը0G gAm&~a[d/5W؏Jg (i&,iDF َc~+u]J4$/,6_B|)06f/͔f`%+L LB s)G@*ƜP)x#2уT`G̞V:C|xSN`!8P !D)A![rRGOn;4գm3~)iagIdPKHCPfU)el.Sgxf!fD,M0l_5~?uUvŬǾGs|5o] {@[V-,Va_ 4"_v: 1YB0ve!} if)yVh -{E7CL@u* :ʹoILoCÕ&gu K^?$uY#9fk#5mo*)k4XN@3dPk@!oP&rubI6q1&R4MBYU -VI5g FvR):`N4dJ#%h pێ2ݸ)S+qgGV*{/r(TA#Sy;N, G q,ȲLjxX; 8 ڸgݓGkql\FRYqo.fI`x7 ˿[ߙܤ jŬ&kyzС "909qю>QʓWZ'1Fx_Θ^pHoF-6vMF`>:"181N1xzF ӵ2;BT(@%S_; F<ȸ+)(6`Wb~3%fxUOYjGJ`(pE8,,6QGPG8'k`2EW]#)v4oj4bm3Vjn?%Ao(`6x@^\قR( *;YλUVX`zEvARmp k7cc=Ƀ-NEg rrNu+ =S]hC>ҭ?"E>윍5 *2D8cd1(JZCӣ$QpjV\v(J{׋(97WPRX2y=\J_IKt@Ժ\2~YmSp3 xf(nX`#@;$jU)W/ N{NaA-wbglR3} :#paP@b_0-x &DMG`9x7ᨬotgAInc[jd\.lEn&.BC|^tO~.`Ddl=1;a/4y +|1۷XA>\Tvk^ mopAXpD H Ub"G2rh{ [eF#B233 j!0 ]: 1&ӭVܛ(sCY6k4/;DŽY YgߩN 6Y.mf 4M"pYrE eˮkyKHb<=xbɫ^C_~ڌ]^қ~.~Mz*<=h/[8Cj6_v&˷&>}+=8:- MFY}ϒ߾Y`Lntĉ[B3ƎVʻ"$jTXNG+崮+D.QJY_.[wvf5EDu< mqOxj8 C)QK4s &S_jFy(q.ֻ本F1)!Wy"؏wĮ<; rea-Z6!gi[bxOg.)1g &xdRԉu/n@b@HyDaOjo9 @92RwRr ^iֵtglZdxLsq^~Ӓ /c`;\\DӅeN\iI& Y+5ED ;^rOnfi4 UrҢK~_ aA6"2rl}:jʫ %fnI$VTL8`8VUs[cXJ&AHjdvع>ch6gYڢҍJA@Qd tꘓΪyEK]쉬cK@n?gvL,WvFP p2\`<d}ң%'Y(6>yjum(sH"WnQ :dl|ЧZ% "w(v15ެ?xAp8rۧx 0bHlUQuXn.DA/J RC M)bLP ._Z }Ig~6{[E+g2nf$FzIV o[[T,&0?mu^e6\q$VŲLD;$#K>, z: bc'6fK6J nȇN W.,tJՕgЉ_۾KNSq1&!͔;[GcqKB! \FF+}%3?觿pf i/M۴칱4DN/u>P%p→0K*Y\GpRqQHڏ_bٕ#|n!S|P/`CUFf>f(x/VW4K/ ,Zt"'jhN bNi[W}wq3( _}uaeNQS׳5: c0 ryT:n̔s>1;p}9<1Qhcl!_gtC@IƠ6~%x5Kʥ"[U\zw>D8qY5w_8$24^3*Kk/Jf5gؠV;u[U_١w"iMm$RN\coZ~Лyn)sJM7'檰x-%/bT&-6Ux|F6] 6G{`Z%GlIRš_n|C*D;gx(&L2 `oX!;* %>r] 4%,6j$|$7T LB.q"2i=W#~97VFP(&h/^c!6{!w(kU|% eanZ2ԃa bO}{fŰ!"DW"KKp˞? D]P-o*~T,%2Țd3tobT0>OΜeM=E}w|Oxz֞6'\觤r#~OT¿hdrvphqx+mWJG'#]0]U7/j%3:bKek|`Z;_G..J{I䃿j'@M;)ZqFtVܖY2B.sG_Tly8G7)P xTEWl%_u8$X AQ,5R_ k5R<D"u[Snf]M|PX7ISY{Uv{X x IHal KhTިnP@<.m&Z(3=MlƟmw<\>3_R섟o<á{XOEى`` bp8:> w3P):i[dzRKEzGP)1㐅R|>a v_;`wxP?Ln QNhԻR*[[16Rܲwrm&ohF*72Balrg4WsG\F”ӏmWE?[iFVm*vDty}X¸i4XS!bfVr‰ˇ屋bȖ~ڷjdQRƃ\xnAl_묈g)lRo\T7:E[EDQ$|=en}3mlp_v7{noAq$NSV(f;Q*DZ08gYZ