SQLite format 3@ .C  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?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  B B;!p\4T ]] Spec_Check:threads=4elapsed=1.274cpu=2.872gc=0.0327zXZִF!  ]ŗXiɟ{d5n?Z?xre/KXj"l Hxk۪2#kAi(U:^?SjN76L7&(^B+RvI;_5%>/'3e/#1t[Z!gYZ022315c7f31dd6d46102eebd63df2b0a79b1f8883cef1131ffc36b5267ef54e02c39cc49de01aff8  ! Spec_Checkf!7!vSpec_CheckSpec_Check.Spec_CheckPIDE/files~~/src/Tools/Spec_Check/Spec_Check.thy ~~/src/Tools/Spec_Check/random.ML ~~/src/Tools/Spec_Check/property.ML ~~/src/Tools/Spec_Check/base_generator.ML ~~/src/Tools/Spec_Check/generator.ML ~~/src/Tools/Spec_Check/gen_construction.ML ~~/src/Tools/Spec_Check/spec_check.ML ~~/src/Tools/Spec_Check/output_style.ML7!7-Spec_CheckSpec_Check.Spec_CheckPIDE/document_id8n!37 tSpec_CheckSpec_Check.Examplesdocument/Examples.tex7zXZִF! 6Ms]A-MՋhvG"uIBm5v'y(cŚ5b!X؁t-P2ڂQ:s]M4-Wyq`VqAnz=W ̔ɡ0oHΘ퐂-xL$7=׵.)+ DQLwuݓn1ϺߓX߀E!%4YXbUګ=!pZ ]U4>2aTZ! u͠`menu3f6 &F@OUAWƃӽ2xn͘Sa*ĤuJ??|w>so ^ec8$rKbu{,жEm)~u7w0첒b !A+}ַ#&IhX$G'mwjhNG*0i-bV?Pk9~6I'kEQur>Gw_pl4'  [d*I-si,[ZP*ˣK%#՝\hU+x<<Ơ À:FQҁ1]|gcZ|2%^3^" @OtbDhVKjÞ*y Aə=+ B0N5*?yL1?{ (MӇ :0qd9(@EKK3pUYF+pإhax@ͥߌ Ѓ²?*NyrUOt{ޯN6%o4v-E`= _gށ1g lXeAֳW͢+Ь|^;FBڰL <4ۉMR[#̇f-M(flyItJm~B    /  U% ]+ c0!3'Spec_CheckSpec_Check.ExamplesPIDE/messages.!3#Spec_CheckSpec_Check.ExamplesPIDE/markup-!3!Spec_CheckSpec_Check.ExamplesPIDE/files3!3-Spec_CheckSpec_Check.ExamplesPIDE/document_id2!7'Spec_CheckSpec_Check.Spec_CheckPIDE/messages 0!7#Spec_CheckSpec_Check.Spec_CheckPIDE/markup 1!7%Spec_CheckSpec_Check.Spec_CheckPIDE/markup7 1!7%Spec_CheckSpec_Check.Spec_CheckPIDE/markup6 1!7%Spec_CheckSpec_Check.Spec_CheckPIDE/markup5 1!7%Spec_CheckSpec_Check.Spec_CheckPIDE/markup41!7%Spec_CheckSpec_Check.Spec_CheckPIDE/markup31!7%Spec_CheckSpec_Check.Spec_CheckPIDE/markup21!7%Spec_CheckSpec_Check.Spec_CheckPIDE/markup1/!7!Spec_CheckSpec_Check.Spec_CheckPIDE/files5!7-Spec_CheckSpec_Check.Spec_CheckPIDE/document_id8!37Spec_CheckSpec_Check.Examplesdocument/Examples.tex;!7; Spec_CheckSpec_Check.Spec_Checkdocument/Spec_Check.tex   $ $f!7!vSpec_CheckSpec_Check.Spec_CheckPIDE/files~~/src/Tools/Spec_Check/Spec_Check.thy ~~/src/Tools/Spec_Check/random.ML ~~/src/Tools/Spec_Check/property.ML ~~/src/Tools/Spec_Check/base_generator.ML ~~/src/Tools/Spec_Check/generator.ML ~~/src/Tools/Spec_Check/gen_construction.ML ~~/src/Tools/Spec_Check/spec_check.ML ~~/src/Tools/Spec_Check/output_style.ML7!7-Spec_CheckSpec_Check.Spec_CheckPIDE/document_id8n!37 tSpec_CheckSpec_Check.Examplesdocument/Examples.tex7zXZִF! 6Ms]A-MՋhvG"uIBm5v'y(cŚ5b!X؁t-P2ڂQ:s]M4-Wyq`VqAnz=W ̔ɡ0oHΘ퐂-xL$7=׵.)+ DQLwuݓn1ϺߓX߀E!%4YXbUګ=!pZ ]U4>2aTZ! u͠`menu3f6 &F@OUAWƃӽ2xn͘Sa*ĤuJ??|w>so ^ec8$rKbu{,жEm)~u7w0첒b !A+}ַ#&IhX$G'mwjhNG*0i-bV?Pk9~6I'kEQur>Gw_pl4'  [d*I-si,[ZP*ˣK%#՝\hU+x<<Ơ À:FQҁ1]|gcZ|2%^3^" @OtbDhVKjÞ*y Aə=+ B0N5*?yL1?{ (MӇ :0qd9(@EKK3pUYF+pإhax@ͥߌ Ѓ²?*NyrUOt{ޯN6%o4v-E`= _gށ1g lXeAֳW͢+Ь|^;FBڰL <4ۉMR[#̇f-M(flyItJm~Bj|[gYZ  n n!7% DSpec_CheckSpec_Check.Spec_CheckPIDE/markup17zXZִF! V"]s#A>E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEeV?k0PP aAS7SI88aRj w(6Δ=)KQ.jOS(>{ᯠcqVzc9Ej ۝rbE ƭ֟<^2҆;}2V:y,1liM1ɘ1* =U2kf5هPHF6@JBB`02:4_PKc8uB1&|(b@1++R `nzus(C,'؜ [ZKH2i~ [&Rhlkc%smmx@$w ~UE9Nר'Z]C d+d#`\VrSJh*Ñ$Tc_a JN !X;$"zQ-/}"5j*H F?q-WUd_R;,777)]*nUU:#7Ӛ,*PZyERO)%ӟzl`%+v$vI@DlǺ$[6 k5P\(K(bҞL BUCiH eOpHͫ%DS- ĦDc~ޡQYgtY1nS6:^oV3-U0 a]D~|Y`(*LQ>:Z;`dU=&xTjd^W/>`UeSF!%Q铅je$C9nRsl,LXl'A-AXc;zwr}[KM@āXr3LSQܦ%pˤBFlH97Ad}G 5ϣ*0Zuc7HIt6+ql-DYv3=ȾX7yĔ򶪻 ڱgYZ o!7% Spec_CheckSpec_Check.Spec_CheckPIDE/markup27zXZִF! |]s#A>E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEeV?k0PP aAS7Cp+1f[DX-dj\PsDtZj`hc=,>M[%x4ƇYs C.Aq׶Sij=:Sݠ=4JHc {Azg"ٱIFYTAGMGL@яvhR?ѐ>˒J5@Zz2AԷ加 Bh %13/k#tb6lKJoj.vEԂ!vfoIփ̆U0atJ=q#WvZAҤ={i n;֭+H ԏKF߬4o舞6S &ѧe?fe^O>g9;gG>~?J^GKS7Ҿu4UVv\ٌR4QЗy;fL}WҞxPpM5CH-MJ7ͭ%L 3@G/:hTrk1{iEȒsV",L8j,*טJaCFJ-4${٫%~m;2E#\o|E>/[A;Q(1|oƬ dɨd.0w+vTN+ GMHӼJȲ(5*N]G ۅ"(ijfCߘԫdۆV:0҄Z7[|sjf'JC<{ a/>]a66;bpRRnRuU)%}-H^I4'MLuC( M)h@B?ѪX*CЃc`mi8h:&ҿ5^g;qۤu=(pԢ]`UMy ݌) CfGʝt|e8uBҀ+B:z} \I+%_AfT廮,q|GY.V)$fQbNh9w 1w&/Sy 3w:s?F0mD.'ģ-J-#ծ΍'^"|4xM,v])ӹڅE5F0鯬2)οs GH0n$# usF[ hOl#N? xz yؔ y64(s0r|JK4NzHOHBF6GkIţ$,L~*]'kY -F 1r+eToxP (-EI;i4"rg`OVd<$KO4-^ [! { 2`)dE+E3 ۡyNLҐq ;dZ'QN:0+?!+E'Cʃ +w?%\Z/ m2*@clC$7fFiI h""/ N1L2_˱ \&ҏd8٣ @-~KWD2 *u<)Z܁ז89vDJXqG 6{Zm1Gޱa֮ i3,(}35y@z~ j08C W5,JTI{| P&/7lZOcc(Ώ vFMGĤ04J5dIxi xc;P-.sꐦbJ_2yp$%q-SDxi}#cl2yj}*W1`wZi؎5&k,^ Rib+}(+0 55P?t>L9O-]dINPy{Z0&< -к\Hms eEto2D?NQfrl潲ew6Cuo68%%U2blZPSS5;`6E=m"73kO!*P1ײV⠧k!,VE|0k,lAg/ү wsI,3_#@#(g&qr;[(AVi%+̴nz_/aCS|2>P2, ig1氃Tv@`rD)&QVgPU}7/]̘y-,Yή:"wwz)zxHi{p}- V~ p}_dEUmFF1_ƦM9Q{ r8QӅt</5D+K gk6 (ZSEA.OQ㶑mmVͰ]uzR `)YChqI}Qcx"@ƭ퀰 ?`5_V(Wp+\1)̾$_Vw239EŞ&ƉA4g&֪_**2)*7˥5pt{IVweYYC%ܻsJ6>Pٽ@,"6Ǥ΄*_T7XI9'n 3 q05;4ocgYZ PQdz,'ˊޱo I!QSt|ZXvפL(4I2{~<IAkHDo^['߭SRBz.̖=z+sI5wKRu!DY)8@Vbw\b!mEG)xK 4+%}\}*هL ILc2bX9YkL'>1DIt=rtt4١ZTAo 13p?) 3oM :.-aO;ҬjNX_pjGva=7oޅeu `1c*/;_38៾ \wӻ`)Poa)FnRHK1(+kaRe(̧M8e͢VLXL2EOɶQt.SFm w_/5͙%ߊP\S?:$w!E +ͅ*wGX}8KS^㫲 )`eJbʳG%{ҟEu+H W%>Ե:T-<|_޷MX'@:79Sڰ\a%u"gi.J2ia%X4׽5ل><`(a!5H,Ab1P*/]WW s /uh3ge֞`nY]ߍα Pp9Λ4aoqu)ٓ83kjmT\e0)5t$D!=1,_KKH X_R6 Qެzw;#.gO[7˄PS^՞  f'.Y&^78[2>]hl@/R@4ZGR|z6,&XIc qnL[_j[dFMT #KU$N Bp7%.rh xL)e5D;7x)^`5Hr4jG` iX9& .,A`:2L>JQn mO W: /!PJf};A)IKxrm]p8'B ŬR)x`h5ye>eVbgT8@*M\?;"a㗂 C 0IGq/Q9 hWsRYrV>vN;\"9J ͕bbTwMZcRLCj`PMNCFqL9bNK;9"]D1<KbTFR;Ľ*WMWd(xޞQ%CkR]hݧk@ޚ^`\6:liSűHp[92VNy?bxFRbK6闸gy}RSAK쇓4Xlzx۫q8MwXi o /4b $:%?L"rpQV[nGw*\ߐw{?25R1l3O qblFĢFf.hP@f&CۄnwfRجZp!VI|41e2uaU}Wi9;5a9s{Њر yt61zEg99"S b]p{2#׻1.ϷARtVըoSzmk [ #Gk=c d>I ~u.?p#/Z28y\LPFַXSG]BEkvV jzi_˰_> _QTcxj2kӧ<ܦ̈N6 kD[imMI\~qBN6n=w%YDʌ8O/ԏC@%DG(Cs[4dFԥ6ӐTLLtP=T6w11bJ9 Peɶr[H6OQ BM4@P\S6+PNpi լ|H=RTT{yV{ xAQwsu8Z #B'317Ns\ua \gp S155Tf|a̒9Fa%[W= In`Hf 2pzwaYT1bIM .3 ah\| ?[3EdE# s"IϾ ֈ&@*p@*Kco%CG-H?_|fQ%EY|U~%KR{ T%FP FE2dR? :O4qHwM^Q8ʼX Pb+ q-YeOI 1.^U*Nn2v.K9eXL7um6@y5N1(ʶ\ѓºωaVgc7`66}X}`@0 <\S(ɸy>-:\N}S(XdͰ93kKfVyV|x+܁eMB"(+^zqI 5-m{;lzP22^?rZi]Ҽ/OBog (40s'*bT- Ww%GB03ͳv}-^DB[VZYnVx,S)UX0(vI{0I u?&иD(cWxx:Yו zJ(%D7v-7dhV:M i][8M_"'+2d1zƵ>̛hC -ün7>\1e5v8[ĥB: `/>WcF9ևOSx=swiR؊cyp&!?A=9:8)CvA YHwb9AHkDNn|mUv]g7X)(Yh^͜7 qDUZ0he5ּVL)v$& }S.< &8/qYQTuR_OA/3T$#PoT&bKvb(t=cߗq6zμфtxB 2ڵa.j1 :`XfgҲ

dK ,`$DCfU"i(П\ۼ?]fSu/KFU>'8{2a=B0Q<#;b wg$τWvK _&}̎Bov 439]G Id4FspP rN+ޓV4*H=Hf觅%b-*Vս>65oGkJv%Ěul'Kl uanj9H` XB&_μKG2ҕ#.-N7[e0Oِo>VQӣ#gojzuȆid1A΀_{{.cf=UWL1^QV?X$ (B8窤/cW3qpf9mSzץ;Ι^ݧf!q)^ fjosY 8M`Ȝ5 j'BO쇗+:g=GG|>c'oqpUQx]F/)4~ҙu6k;|_)Y'l>AFzD<3dR,u)v4}AYh)G"ŒwPI)js# =L[[1ĺZ@n%Oa1B.g 6 &#M$No^PnIIqț6ľ>UǍu#K_].nfg7v˒p=V0]CY׸M/7iQ6=kZA4sibYYi`I?1N*w!7e1kހc ^ :cݹ0`վC#كcl"2l*b`Z#f]QgsvC9.IXP&RRmuLjEgreNΌ6p*v;J \JZ/Iu~,s~͚s1SuRϹ6Ob3iɽ{[ATЉ7G>_bɁCF I0b VZgs\jkkW2 '; XMU74/BPH/eb `>7 {KPcNԦvݰDCY@腱Tέ}^ϤF=J&aҳ ز]فuPaHYM1-Uh;1^hzoz%qqEG__W=J;rO lmOR.uQ/f;.lmWz/KGUD_*?g]~- ƈcEO GͿ}#B~b_@)enpb@CjXЎ?<|_6]̄HL;uT!*L2Ul5 D0|I=oBz,k2VҍRFQL=Ga6)T=N힜N^ C@7|2v4oŰ\H|&C *6ȮM=cӞ_a Ph=oK eW&2B粂b EY(Y ӆ]rY>7t{tgQʯ'4GdNvL'x~_7{:tȂ[3݄.Xۡc.#{|E !µ!SPy뒉ZcߠczP8"ҵu SpSwV?uԪxyNLǦ֪+rqÏr`Y8I~)p3$&ntw܉+9z)iU2-u"uOWZH @.pvD v|,yԷJ_ Dc$Ž&R+M{yР 1ZËy.d̜GT 6жo5ڙ TMR{;.1"Í0Ck#@CnGc- 5>hWղAC}']*b6?'҃DO qMmV yO {qC7~#2 5!z }AZ=7@r̤>>RjFd?;j@Sba&L4w¿=9+0l/LQ@h3fAJn 뵈"2ve -qAʴgf~Q(dRrɝk]K)s?7AE IK{=LyA0Z{&˸|0C BnSBV7wӾ.5>0%O=bjV%,_cd'i:5^Oeq)qQ7#5H7YPQ 1fiTik*l 32ܹ*jx[*j>F 5h( m%*@9. ^S u(Nc|'ƯVPcJTO:Dx;̽Ζ~-V.R:%@zF*gYZ  e !7% LSpec_CheckSpec_Check.Spec_CheckPIDE/markup57zXZִF! E!]s#A>E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEeV?k0PP aAS7b筯QނKKBNۭ |3}hCw8=BB[z/4r|9y裆튦X͊ϧXPE:c>o~hćYdФ3p%w`.Rf[ZPHqPMV ! >ԙΉ}Z`߶J&Hx !ȟ^;/X;tih>V7I*hhpv"h<|{CӨŔ*GVhwK B cOQttA2tӜ+/ cwoewnZopPk,#fGHD5x:|6j4C6d !7% lSpec_CheckSpec_Check.Spec_CheckPIDE/markup47zXZִF! \']s#A>E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEeV?k0PP aAS7(Ţ+\#ȃko$nl0em YecS|}aGz,TO +=>J'?hg˃{y@1a|%;tug *Chd`>E&s,Obp O5|sjwKU HՒqgwcw m݀4nXz;7-;n-V5-@Ak7 pQ czx6ż l LodvLOhGqG ;臣byS R:O{O{KZѣ"5ªZ*ݦ:Ft~'XΕAXõ݇RlRL(ގ[[nC.r[:fx>TYhM?GS_,1aAT|j]K=L)-FQUHowKFnKj:3Jy`/o7$O'p/l;aҹH0\ݛa!%-lX&Q\C+/ϡ=[:%yMR*0UZhd5cZT9CRƋe/;g1A ¸nT €ʢʃSq21 \& kj+jbys/@ii j2ȎE&>(M?sH,ۇ:A}G".fYHXfOA\&SKrql tg]7jؐ~kĹm>ONbC) ' ;OdHS= ҨVI/!Hn9!G0 argmtuoL&IThm}xP+AD.o2ڸIaa^-_sMg?]WD(U\iv?#<^wPdGͅۂRRjc6{.3t Ofj ١aRC)b|.C-=KRnۂr`eI f娺j'@I0J:&l&PtQ VeC V Kz* ])3\!PJ?kjpk Bɔ. S&^hNW y])`Uāv3#<}á#ٳHS\vb^jjO?CҴ"D}\6v=$b.J=򌔈ķu_[1ix Ҕ[%5}l'0M=(N@?p_]Q&'p^~N:vWNM7T4jNG #rІw61@a8!M:gOnAETֶQZ -a`IA &hu_6{ᙽBl3RU^1p6By\*FJC*'"ZhF-Hq׏RZlRPUȞÈ1cU/]㤧 }^k[`{Zn@َ c F;o<WTsk˽v Gp.]e$L $+$ƍH*80;0y-O%i 2zږATG!RkRa?4 *fZg$A23bRل$?_=Xgi[TmJ/z3RH 3:sS"" %JoPsm8c2 dx. g) }M*H**o ۗ;`!^n4 ]ӡ8j?IY[4ZB#;K4({l+2n:F10%zhu6B;֬\/KRyf}!]ɜds=jǒl}tP|n~> WS<C# ܓ/-  !7% E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEeV?k0PP aAS7ʙwИ`3_8r* yb>MIxZߺy@0\AR&˭ f mR|`:mA\ ]|_X5)Ct>fS?6v|]_ |xhKT\g ^g 7ύiݹ  |)SP/vϨs_d:g|t3^jŨ,+]u.1D:wWn\ JFx]kۮRl?EM"Vmv͔ٿI'&벩z}sxLTbvAu©bB$CTB5_.mYYH);Tkq/5gc[p.`gBq3Pl8G_$iWU8ϸOENBK0'ݷa[u6*3ݢY;[P=&(>Ej\8Oކ8O1Vc'\ ? jH (;AXS0l1'&~f Nô[?~>^ 1SVռygWf+bH;5j<|GYj|Y$υԄ`sXla`y^]$&nuʾ kW%_ZUnTW_gJ0+ϴ<1؈Uoܨʥ%N~_@~?2LT Pꨮ/(3ί1&~/`^+GriBachBH)jfk䊐ྻGYuQ]Ji2oЎ{P11r!B4߄ԙ:!X5j1{t CwJ`M7~Bee;8WqK tqA } 1;M8#uʚsVz@l/h\r/GC&kw>zS2o(%;;OFG8ڄto]{%g\k )ϝ~?_HnP.ҝ m_Hk whcW2yU ͈83N)L瘹.F B#y#_VEa;G_'E&#olCyI41 \{sܓKădG;Gh78A u7Hg9|6Q}v+ݟh7>5 bӽG?0Bhx1\b峹B.dKeT4FW:-!˓[tUm,N15H C,S8}"f\ }DNT/2";_-#a}8kxmFq;B}hNЭMnR n[0٩eW2jwUG&btrt7`cƞ߀iц8zEx6~`-+n1~9qzړC\lc.SPHMlN@F[]zI!g7Yځ_#P?.t\WLEUnL.\ kMĻhVgW'cAqʚ?@-t˴|;Jo2VrvI> Ǥ86`WJc29O)E}CG9>`q-:(fHY݉'_`whxQdCt9bhy{x'LҢ+9\=@bv~/f9dT`Hqzƌr @S琖 e>67`Q HadPR5IRP@-yi?pBrYlDjݗ@/2"v=#LTLN7A|!9V]2z=R.)~xv8mxػcy8Zc;L&UG(:\L62f- (( 8]-P8TV=9WQO:)1IJ`lzIlNmDl-I 6:ʮXwר<4򷿜aZosX&gU#'PzU4< ^XBޙ1jeZ1Bub1OVEo/̧W0@I  )~ݿP )h`c}KspH!4D,/Cs~ t|Ms2YX;Ұo=[fXhR|Fj 77HS :2|yB}e6>8ħ|1%b=HB+n`C )&X٪ =p$$[?L܆Ԗ/?|ZA)a=ߒϵmaDf)ϔ1ȸ`Mu|u;t2&7s$ ss-˹k?L삝cfdk#ng_åH=~e_Ժuߴboalmh' 93CKd%UR X(fSЪ@ft׹F2Z_h+Y6zo=vdC#(^D֓i\$Bns-$P"@{ g VEsS*~)mMjO{QS4@vJVӲd=`\!-U^ |(R8ʲŭ}-oW$Ӥ7X86%'$OdcxXzXm]=Uߪu2?*9- V'6eT7RgDu?G# ́v[|Ok>ѴЀ ؤpBQ y$z+i#yPDVf)d_E9&mzsSdhZ$kQȧZ_IavQg&!N2-dZ 7}JX}]VwL=yoSPttNH4_ xʧtH{4ssƏ/-CNo)RtI?Qc ,jyA6K=L;p;' h?c:&= nBL.BM$r}eS?\| nitW8`^pdd/gn<4*K, Ҳ/N/Lry{ A*<)t$hunFW֘nzq KoXmt Eyw ruZŘc/R@ [I4#Kϐ44vIlP,+"şu"У\lv>Ծ;9b<;aX=l3:kY b'Yg-P-)d.q2%qGϣxHDz MXGRC!ōGnl *CHJBDo{7Vkx8~"]'" H&%X8eZ"-MP.Iכ; i6/fWWܒbz|}cb7={@6f)Hrihֈena0x-|}j\Τ`O Ju\G -*"UO<pO+qpJ>@,J1Sh+;1@ }+\aă[̀)|F1@d:ƥ wKޮ/iYAkMku( .pթfDѭX^zr]R-$Ǧ9\`|ǭb-ݒW1n#56mOEJ/pd8GJsV:v^1Pb*Mcڍ-2X+%잒&DpS\FHZzm0&l1[:UPϑO;|/B]sq~S6 Tl)UBoa eNI`5[~6r؞I$7*V +0J.!Tm̌"[zR{k4JG$BV+b)ĥY8{OWٚÐfg3뾎 s-#~FULu B:uBr`D9Wa)l⬗p7Ȭ~8Ɔ YJRT?H  r>`1EҶ<1ԽKAmЛ4 P]?_$5ipړ4D~190BV'"BҿG ?Gi.o~qv[vW )dd(#`spP|K-LR,8 G@S*,]b)me@/:5. U3b}f<Q06TFNWd} ;n?VGl*)Xui8t+ n]iSh3Ee%]g!Ac;&m%bMhU4|9F,@Ts' PAzQg% Ftxs+i_C4~ZhYׁ7<Pcz$k g3sOT2aOB,Xв\ #քp6A ~*w[ Eeހ<3ټu'5qU x\rSe)h0sr_KvdgQͼ˴))"S_exh .ƖӤs>T|\< W80uEUm2ԑ <Ȋ˿F/ߏIe#܁ֶ6iă94v*,hLӚsA_)%Z}RU:#9ଅZ Cǰ<^@YxzHC_\W= W0_fI~w.R"]M0G˞tJEE9"oW)]Zj2u@%;\h3z$q9xIROK-:gc*D1`Q=~춇y߾|2@F컑lx@yߢ<)?XkUMmFi]RN`@;+:<[TDr;_&yXin#: x=/p1~a;vR΄2) zhL y.핡g,C$Mǻ*h5A!8@ͼN'ϑ[sQ;i7Ao\XÄ.RݱT`]4+4TJĔ3W(e$2*T34RGnssQ|; .ެo|0c:k7r~8mukGB D ( :KTZ(} *;tK{ˇ#*j2EkCDH*P9~z0 :`Uy(_qzP("<)`OʅFX  ^y[ck{3e}d|XHr KDFQ•-|EZ?J%r䁾~wvHD+]60s=~L+λm_> K߳9ڼx~ s-oSp06-~2$.>m[jMK/- ˣ|Y),*$â !;WA[Ɯ60w)4{PίCc7bi&HR-v oKOfK?]/NY(ΜDoV^ߤAKp?宙\mahљQDMQ|?Cݍm'_wm5 s=z$OaN99 i2^/J[_x[ڝ%B4J +@0Q,JL-YM ]TL㘓ưJjJ)u+2&.2:lvK18ϥTU-eF1o)103Nb#y Ra\[r3'/SɹWh(F_`&oKsYC`#ׅ$6Pbh Ы>pB~8Olʊ*鄹x=T~0oc=u~ j@S?ͶY͇wZj֑rKH@vrFv 16>.)TK׷?y2yp\_O ;.Dڛﬣ4V% Y^X@ւ6)ìo.\LJCM9?"/ KKX7w8Ps"°/t0OPk>8#G%(H,|¦{[H] w򞆯&z3~//q(? YpYZKv6k TvzjuS0A?y`8o}m&b[6_ >:ЌGHyT>K],4k/ #sOiD7^8#Oi2V}X 㰟jkE(m(*0׆ʘ>6 5CJ] vDI:x  84J$ ͪCRrx47ӮLJ9Z{w*rO}NrU,μ_#|'41Q;3ZU~+M^vRy9`ٴ @sꊎ_2p.lW 1yG/VDөvu~F^d1_K݉S-PjW"E2d*9 TS*>%rUmlEű@c(^Un= %ޮe$>HЬ'>ia p4տuFsmjA{X[KT"af;ۦ9.>wY6YgZym-f=qM[QXuf4T;SvNl*A`b%1wHYʭ67KtC;+`q\ Ua1MEE5\t4š +rO5fk /:ucĈpY'nOk{tE >, p7x#юC@2lqM'|z"*vwTcY+D(Q6"ɱ) 7jJ)"}t7_S.#i @6m+xa8 ӳhbĶs3``>pXgF*U;P&\.( `8V !A׉*iUտim{ߢB@kƍKF"pngŶd6f=,bPUgYZ!N#\M)l0~it2΃ݬɴ7}Y&ĬovJ?[G M1 %K쨃GVuHH9vq\+Hyn] , Tى(\bNx&sUY+0XN cjiY7 b@ y0Ef_3@BI nF15޿lO ߖd4/lal0T%XQ/a;#!FFV^Ǔ&(ﹾIڳH)J]W ֛oX%ύfQ#aUCÄIdA@,v octq_Fm(!iD%O˳sN2a UgHp5(>uNx29{PugX7`~W;vX<,ʬ慨Hepfz^L;o6o( S \*Rjm:4YbJw;΋u0-T xp|Bwko<AMի)i=ݭ)fI?{p %CK]ǐ/ѮwfiglЫUpvX`;)܆6l2:UdBTq,/qf>=_rp-@AJ+-43$֩e_{K_LJAMu])st<Ǜu['xh&2Wm3Dq0P ꕍvB f ?" nr1*ep'zrzaF:lUqq΅{97cC"^.E qMGZ#f^`tZu3$LJخ2ZI'yr8A& ¹>mqf0׮4Q7Xzc^ o8Bn e"hG5nX@j*PS{~.И7:…Ǖڀ҇ڹ"lǟuJSmDĸFI#q ˌn-t ~.<&0t%;F-HDǒB~[~lZb# w톥Z΋* ՚&סDd #ƷS eɰMB78վoCJ!o,^֫oͱ@};[.-Ou&YnuVHУ i78]aoP**iJ; Ba۞ ne\h4h~A%mZIJ6Ut.ѥlQV 8m{`cř$=}Lֶ'Ahoh2Um"#R`SSv *Á$1i pcsjqt(X/ Ox-͠>wWգ e6h) Sjl$> 9\b-/#RٷN " \3Dfo1aaZO沝>I P{J9:}J],nFOv$jӗ؉P±JtVvU:2$&myHVve#O]W;1 >̵-̮&? UO}1N>BY^ܓF؁楸6~GM'N] bp'W6ɳ-ىr گix$3^97 0eMVU ̏-WH U;Hw=ӻ- eף!asdӏmɵ '[\1UQGx`ƼLdēw>CvA D`#^TdÙwJc@lb#ʫ>fmz&z:WG^FJV'C4olz6-^FDC8']T |`Q? e#~snF,*֥Wi'`4{]VBhvNtky%-1`ӻS߾.\aZqⅸعy1$| 5)9!ׁb<) *ȁ 5sj  .vv&4tԏJB0Fh-ktE' *>+]gQ?)Drq^-dV-- Q^_W.*i$ˬ{0p׉?Q=hYm%y\rWhdEn,*xk'>ց dС d+%u`lfRQуz}/Tʭ#u-_ܔVx/f'S`%x7"=Tu5_~TohFܼeKM7jry~(~pT,(M*/l^/v:L` az}֛jXz"%|w"OtInS'9-ؚw5N+9NFf2$LD`N8Թj8E< ()[>JbXoGѣnсD bQ[䨙* v,pǴI^s0]ya%j6T}Q,lA 7K(RL=gD|QJ{y7ܴ-3glfi3.sGDhf_H̤y< |kUpiًU3,܍ٌP?0Fʣ7{B2|d&gIc*7VI!QqL[[Լc 3~@<*aZ;t8BOأ:R@5ic~jLɋ:5RhֽmF90۽a;S1 {_;_ '.IM:\EAu<F;tD#'֢ow.GL0uy- afZcUt$G}\@6e]j+C,!-x!4ʮ2K`_ULgB7G?HЊῩMX I˃nhBǣR ip.Áej@cz$q3`4hTj4vP{ˌQFk1BY{hJ/Hc3Goo=IIDѲA/',Ds;z_x mRȎcvdR;Kǵz3(? okCևjYY97س*qsA3oVԭ`N6nrKf Cɤ'HVx:E+%APqM@/-]ֆ0UzT_>d#\3xa)rxhzW\9_ |tAOCTD1TtM stpy;خT f!jIO\V~ ʓD1YمePat^j /үu'5FbpD6'K $!nOX3zޓ !uه%$tO2\f7ֿ.d&0x7+sPM 1}GgpN:Y~ r~\[zE\vN4Œq#!m*NOtVM եyg֕mECT^\ >M-i:oELS?{kv 6/5LS5`[-/g7Rs*%k}Q]TXP kR55R(/p:&H, D5oܜo G"^hoBiQm egfwh9&c+GTv$R2;_ ׉P3)t(4ɿYF (Nx/qC:L1oZ j*yD<fLf0k1nJ4jªu-JD2l4 nU|bW}4o`am5,FNĉzz`7'8Ӌ{ΘkH9iwtY_",[#bn.3 \ÿ ◗r2ݛtQ6ЅsC?1 WR`qvZI`K~hvO+e>dUK^Wb;wh,\:bd>'+7f.}B*`H3AxyTYSYN uOZIĶ-رi wt ޽0)&v)V̓l#:p۳0b0Y~+%$D9B`,]2rW@t:ju7LEBdTL3"iTq}X{{e-0bSP@Xv$S[om3J|KK}oBG)Q+FyO 1}`S*#x}ǞL?\*u} qտU%֞( sX?]ˑqogr5Z t2Ҋ\8>5@jKdw_A3O%؉*j}[ڙ/9 Ёrh \Ke{p &hxqi3Bm&{[]3ў Ac.T&fzWonXYgn߮T`qzT|e 5Y!ʌ(|+6qp#VmNMG=ߌ"$BEc1&uinݹy_йKk혩5p$k$S=d:k{1qEa-HQ9cJyMB1V΋yaZdamx uEyE$=]p>C2KMN@aP`b9WgVZcjXhVd>8ح=^K b$ T19! CݡI.+p;z\فuǷI S!9?Q0'%ͅ;\`S>2Ђ<6á^oGLA`TTPimU/EF *)=.V?IwP]vFEo]y]ӑt)T"w-:|.xNNE#FC?qe}HEh:S•j밯rNuU~-wgUX-K_kmnȳ=Ts38:v$vd(̌h.Xb9qa0z#5/G4?nG F&KU0q"N6!?Fs08öK3:-JGqx?1i}潟yN\dTh>]:~釷qEXq ~e^(>X-נ7Z I=Gރz|5>cv3)4c7Ÿ%:-Wo;g} ͹"W\>^~'V|H5V$g#i{3aɩJ]Eh3)v }JKFM; E8E0C W\_p /P\1mPbearݎ8J)1wJ&i#Li0O;K>m$ގ"g V4SW#BdLX)/3@ϖkTMM|C,gYZ"FȑIYtWeDcɆ9J^!@ZKwpGb {)-j>pT!!V{g e5Z)YZ>O +:<F݌8ʢuX0ćre6TMl^^X%sV\2E<pwN?YN'Z$Bc]zd+Ք[樦˙4=>6kYDOP{;DKM1z{[ʐ3>Mнy{䐽_̘|{Z4gyBa %Z'w`͚a as=Zpv3ax:y+&JCG# 2rU4 ;3te/)ހ_i~VU$Ŷ+IӚ<g KaJ/^x 9qʺ"TV}H!>WpBa> k/\:PRu|0,P'A'埅#TG?vڠѕwT BG{)hX33 *OD8sqzi7@c}PI($ 5OdhtLin,ke?fK#&2BDJ`RS 1^9~]։v*[Ld G6\ x~B=K@@Z$(Rћ~K"[T_%<yiKfZMXV:%>QSm>NrLYeB 7E,f'wJx4h a1 Q9d3W|S;u`zCe)鑝GHHv$$+mW,0UZdCr[c@JkB-%tJ[ lf'QRgxks2%2^p~FViy)B Td=Zq 0Nپ5v9{frsڳb45Od3I:S٤zg5aN]` #y%A3(B?qBB!+k'ET{SS(? 11h_3' ͣU b"Ihĉ3n#8|cg<ܐ[,?Xgֳ.~6MQy'wrM٤ϮbTIIt=jٞ 4ľd/`TI|&O>ٯqX[83 xEb{3|X'>M׮Q`͡JƬ[5ƨX5bp#7㡝 w;EQ/weby ,9vDĥ ̨25SL/ \PcnԍbںsJ9I 8bFw$ KgxHhYSʫpjfE%̒nn C =KTQe.samӥEf`)q&W&dwngg04FZzhhˏ+S"At8^ ^l4dGL%P`\I*UmREx{gn>|ZJrƨ0H!kZt vpoDj|Fl{$ӼS!&r!o |Vli?2?gmzk#hA UySY60Ü0,>; $C'U 6BjG8zqg,Zq"أ$\h*oK^y> :HiaS|?%/$m%av]Ӝ3`ekη 6$?Þt1$YRymM4n)79^Qe MVW*yYVlGaY۳lVJsN!BZ(ݳ2y5uVIDڠEG)]{z$2oCD\r=^ª8'͠"3?Sӡ>#93<װFi'`yFγ'= ,$0F%P2; <+[[0T/gzOk:dXO&֓Oo!1 R3w2G:[9fzI˘v.4qS{;+AtQ%t~mqNz?mLZj!38V6?N/oIvQ\cEhOXUjTE1ִtA m6*2L e/$2QbQхSE=7JE7.uL ¥3$.SteJ߳Sa_sX+[C n"ׅQ2~P6+##[wQs5%] OM% ~yLpM[-Ivyr0i^{ T%13a%b\&tW[3yuBҮ,=]H?cI+k@a \1caU7{Hظ︎:4f#JEΐP̞]>~ (> H)QLOg.۷6J.fQm> M{hv\hi@?l -vn-Y`a@?,))2ZA%J(MҲ#Lşaa+=Ӻi2p j&^[!k6a6T{:6nf%hf².(,pSv,B()W&H}:5;VޚXrrɛ޸%~4B~6MvYIڜɓn¸[(L;OZ)/ȦVடX L 3郥\wEUY/)ٳ5 %S4Ƃ\E h+0C*@KWEk2<(>yREyM1S8ssw}pK%Z6˦Ă][F&ul}#=:oLL DžuVj*V}L-[u.ZxdoR6qR ;Ϗaa6-zI̽,)Uq qWHX|YOk4yDL|r=c?2M6+>MJЖ2Wvk5wo|6WIC+_0"+^iO9ƉFQ$7v -ZvNo cՄ;b$|tNI%dpn"Zl&yi# HxZHED4Fgt(knD>c_׌av̜je``ͷA=ZU QEA/H (/`鿏Z!e>"%ó"b` VdYќ5R0BPvg-=|F5tIX7~OV*As xx}j+1"7 ) 限 :^2 -O'lbS;|#]T{罆RTy#Tfl,%ùШJӧZYcw\XQ^x udB٦ڠ(ͱU2z/2;o36O!*B>lXG`k{| 7!>AWz1&ؠ=*;3 ə YݏO\0o"⌅?ö˛MnMn0"WZTE.'h]!SYF]1 : A\|<'GzH&G7EBp3ZlPq^vQP9vr3%sCI vx~dUxޯn~Jd"RS%^ ,1;My]OscwG͢NFrcշR@)p|rr]ڱ.u&hc{V.⢯.<2d<޶|ۊSySb+ڈ#d (fRn hN( iHPj`'K !!"֘%W$)]ֳwJ5;WMY\^s LҌirurB"6:gHVkwn  le%Z\߃$hRo]);=X=PAe]}:>IҼ|~$"EE3A_2.9<pk 2N"̭za>»#ɎQEУVnS=a v6íG$ 'dxoJ拶QsM! R`P ƋRSdBRc*JvE)<[DQ fi>\;0"!Z#4J!+}lI"2,?agm'$g>: B,? eOeS/·d޽ĶS9:"=j23hȉz~6+^&GM4ˇ.ّ)<=qߝ)|av_ᶬgbl*XD_e!9䩌}+JAkrxw탣KY{H9@C2 X0v*})3\l0q ?cc(fYN yG(aI/wqkʋ9RF.j Pr4Nj⧣HI'{gV\Y*'/aMS%yΤ6o]އm}Hyff ,r΅]NgNR$zx%Ю6ӚJaj>$؉`1&f2/Dyv e#SYvnߢسrV%Ќ<ZH67{^v&.Wʘl>q6 JScc~GL"{ooi/A("d 5y^9.y`T3iNX,n!2vc;"ftId.?/Ef^D⫼n"2Ze G<2"Dg|nL璢>: RNu7*Xn zCrv2ESR@MK-kal y*+Q(P5?ZzS2i{IsB.|j*f*xCr`զ DqfxJ>)Ӫj^5y&ɋTUI(M@8F)$.Q| 鸁XY8Z&U%2gOZD Z3r>%2\Įc:[i/]bX޾+-mJ;ر2*lYy TBa P×SpX!>$l(?l̓MV\$bt/`.2qR)W%·;E"/ΩPgYZ Y; !7% Spec_CheckSpec_Check.Spec_CheckPIDE/markup77zXZִF! F]s#A>E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEeV?k0PP aAS7<}p2(* W7I݉y]~w)OKTq?%_jC@R"n8ŞLp1ZK?':ԃcH-&hb|Iڳ2>VgڜPcyFg#͙#\te96i4;o#/&-G18ج8v:vtgD5ta 8v9Fn+mx\BSiQxT RctwnEioo헺#s!CA4L6]%ʶk8)\"#gϭvQy6w<Ѽ.)&!?%$@TAR(L5a)n* tMiK,QyݰߓnvW8s;f֚ J=}B v( %3liښk -4F {R :$ ycDteH`6(P??Ȇ|M#[WR9odLêNéܯOvDzl:i8(lf`J}8 5_X>L`D1iۤ!\L/i+߬zfل?9_sN S'_'7:Cae=iPlвPyz)\e†X܂3!+(졪u Hƴa%ױ`zCowE|)&+ /?P4:":&l$O _!UN~ nʖr#BThm)>2I2a|imIO|T (ZO+cjX `!+DJRZ9Nwȴ$g`gq3.7^qְHn' VyS'.r\;.1`% ˜Ȃ1AN+Mnt%<k'oE:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEeV?k0PP aAS7Z8XXBXFߦ:09f 1]t:%«%"+&BclS [aHĐ $@0*FS(⻄sA!rԊp*DyCNP boC&zVf\yZˍ C6aYeVIZ! t}71̗ %/ۈI?6n?Í* v1dsQVTC aWV#)m:P6^GU6tj@ vМ+"!c3iY>;\tMo:yӎ -}N1y_yy:K;کQ1~ԬGa-p.pEAt&G>ÔO] 6n}~cy0]%ҫb/tm,AbP#`el" q{79R)V.Qg4vDax_<'C IC`bpzsi:?w>uoe'ZОB__p&Ol@Iz? ,ڠBq + =76?Q/R^]\J]G|Wĕ`.NQQӜ}}fÙ-?,T ^8,_Y>a 1=e\{:^XPqi(tae`o2”\ ݡAc -u-I.yK\}{oS[H)X/WIl>a8Wd%"}Iv"Ժm 0xNxY-\c?LteR,F# z`}kBgx)%Ѭ-X5׾GܝC˘=EPI׻h+ى^Wf`&?3zt۴/=qՓ#tk[ 0 лt.ZD-Kj؈6Su9x8^3>@۳ZKeQ1WqJDW)!mA~%e܅ȱdJlP$)_ S1xY44:d|$0l:P5FI<=v77ڌ.&K[ lr-2t ͊dh!ēO>)8NG#R:S8e{`[Q%`R_gBq'fEIsQ nE)$|Դx).oes;_@q@/tK ,t ~\R& Tu)!3{WJo[Ib:;ufPsJW|{j 5J ?F]{w0c\ T,+ˍ]v I,t Y:MnOoPկGhjnU,S|Qq$'0TeC7 ^RKx_[ 4=tHDZZĪVcÄۓByQ{E7YOb:jF"*!Ya@{%*=(%w:昏^Pu1IBO:ٯ#r4dI}*uc.ގP,U B[̠Ji7XIiz/o(Kìv";] VCvt0O$aϓ/ c!9u LwKrUo: ,9Q7@Y?dA!C,gazA7~6Z%03w"#?GuOE1.ѷn0xteh(ɈuyDLOU7FW |Ny_ o2ޠ)ۮ>u 0uՆב(N eznӏd 0(hͮF5%ө.?f7nmg,F4"Q m];_Lw?7(y;W|["c1M(ȉd'Bh}\/nm#S ެ_8N Xݏ(m;P Fe&oi &諾Lɕ3 ?؋0XA z"h0ȩE}.T".Iwl WLh(mߊAM]"83o@LjOּA%_2`(> guZn}#; j]m.auO'z6N}rb\5 b+&Ytkުr(]. :Seb5(F&60-3|錝7dvhU}Vx jA%F4ͷl'^VkJEk\cg72/JB[Cw@]X:u߯F0EmA8-IOv?`Jݠ᙭mV o%Wu~lm LgE_2cg<6l$ks>5,%@EWʌ:D7v:%B kԬmw)p1ܣz8&9ۋ`X%=_ ¾4y]?EK$Oh^9(L݇9`eսu/3͆JD9Xu vSҿԞ29g: ҁ2W'e Qo.ǀE*q>Z h5G/#H}rxMa5avIXHy^_Fb*]"bEefE\0tT;"/B.ݘ}X:>Io;Qܱ[z<6;U{!$D4>pUVcۨH+lׇxz_ R }^8eq$y6!BC&6Lw=)YQ)^.!î 0BBd/ElTX~S4\XN>.\F{{!n5q$6}dę3k&&,[sCٶz<*ckb$楿6|iR:Ɵ$w!ny=B; 8T|4=/cq]0TEiuF# 2_󋖦RIhq!1[$[KTXe91bZ։|N= îkLoIt >!zGXvUf[G_- =zռASa3*x~$ꡅql,LA}-b_[Io} GgPScXǟ!@*.aJ hcy !D~З0CM<,z;].%|juHay4Ƙ3/׶?Sh;7dlMmnޗy kwDېI܋3)p~  ҤSguvP\k>=r@ ,t B!`Px&CRBNiBB$4t|+SuSyHOZ]c?TfpF=?1lҍ+G{Y;j.4WmPgmjbloDPlpU `9eyBr ̊&,sX(q +%=("I P0/a:TfHHF+TO*nc68\*hNPVb&f7}엿r1m<كexT岮X2>թ)䷣Kyleƙ/I:2ZU77-7zqhI=Na0}f@FK%W6hvԉ:ݱ)A#q`PD!wzI>S,#%bEִ4x}5|dPD$j:V!GOS`}H{o~!g;zb]X3OMIL]2лTD[%V4D½H0ѓѧo'_>P(.w|"$zS;QSwy*c ϗ4V4a&jұ.ӸŧI|h+ߊ{kG f^ <\ y3gMFXσ+"yg-e{Fp_:;yԔ(wGÕUA%Tb|) } kVaUOCB( kլ])[3_`\F޳@&zG^I9>o^+וK_ &3) W؃l yҐX8k#W`A 2eNZc(zlcdFv5=& s%Zi +0Wa|)8 s1%v]zg!WVuPMCS̥Y}?0{-^[S$CD.&nH9ញ|  fTm0ik+Jΰ HJs$CC吖5 0Vy)vh15qsZB 9^ --0v C$0n ;!)TXh"+82N!߬A$)`2H"P#AmHS{Sʪ"z0C8`vX?юvXsLKgW|܉Kj_jUHb bOB|("Jx>~H Qqcn_a:@>w_ 5rLěF/:!5 r6fǻfOa'DwT n%5DܙD;ϺO+o *43AX4L?.h*$QX"GȔ5vޓUTO7\5m 񆁡ç9B 9&dcYr@L[K7v㆓M4yqR0Rmi1Vw:PIQ|A]>W9%L!Q KаmV#?O*WEYO]+D[Eb>l]MjEN;HteB:!p2Ixz } U Ť]'%FR^9 +؆D!G;myccdj)3cO]j+3`q4YߦL mWㄑb*mopZkB%kB@&T}\T SYzQXXbQּ]O\u'߸H_bj_S/fnNQU0)/0{{.![@}> UK]Zbi2+7)YIHo-%!\:H'Y#<U]t(H[uq3FG8)Eg‹kszJOorvYmp!r,s F{m*_ɭ2%F|R\{JK0ԛ5G}dB\ktlnl4B2d瞠r&n&(6wa<ک -rE$ O.VSYGCLꂢr9mcR~ oQ{ՅNr]ygwBij]c@ѻ;&>l_' |kBIMO׾\w$DF+1{v{ 7XL:g`tّvUV6@.K3{)mB;[æ1@+D04[2312)W짳}/= J(q2.M{(·UGs9/7N#g >oG]ojJV.G2[пH2Tf.:pZ qn%Fv'!RL^F}!=}{<# 2CxC@M8"~BDj:$)dʆ| Gsr߻:*m OU*m]_IO*Y\p(e:oM~= x`@`;ub ACudZ-A;͕Hx,B/1;f^΢| ]HKIR<:/Gs0pD-P%LaX^*UW)+&f+Dzq(vnT"ygCn4J&,vU-1[:7i?S_ŠmM}+F>/}S49%N}(*_K2?}҉>jB`;DKdY86,Dyfa9 VPV|EU?ft-快v"`Ld,??ٖǧ6x~h1tlL_Y^V(pҮj@BY։߫<^;8D6\'p诏6[)y;fc("3y=gΜd[ ,5[%^e*-XH`瓭wAP&Eʾa$6 ]f,P[w-`aCxw ch:x{ٷZМyv,yw?Ck;W"62#8&3X1{rK iV1^kn?)Zbk.fip kkgɆ<⢓)Pۦ3gۻ#;k; {D ukԁ[OivE JB0jFH'0'տĨ4϶KNl -ɻLeL,WQ rWV!Aݞ/x@QZ)q[i_;ױ*rc{E>n$N gc8fF=B,E@ٶkRf.dw y&b]N۹eTCT_ ?4 9X, T9V$6X|0tt8ak gdhx_Yy:rGx¬jo{lKk( 3o;-=gQPX[~C|k̚\nT%XA&,9TΒuZ(p&GP\U]; Vgd+xA]DhBB^yZT'.]?\B$΋% 5 8i"Em#&4M#L֞m=&1Ɵ1WAbxbLF㖿R?ίo4Y1@VXffU3tv8WB@XAgVXxkch䑻[Dy)X`aC8Q0U6l(rX !ض.V#2ݧ(+-b>nfYL8ro=U Ta:u>Q<mVzP'4B\tUf̶bIz)VGy.LOco{E@7h@ *MM6;pي1bjKu2ʞ4V+i[8UboJBѩ#ٲ׌#]*6eAC)4GM@SܐyU22e_*m 6>*ܢؚM8S<[X+2p-L A]]t#3UUZ`/Ӵ,Η 'lh`i:"|)ZQ6'69*@ <~(u VoӴY8}3{it+[7\"EE%sKؚOdʠM+86^򉦯-B/2T|r=oO bdzvpSc۴J} ئ?զ-_RV4p銶"R3.(I ŞYJD+ Vn x@J/ ukl4dS(U3:4_aƨޔ7?,`1'9MM`xp&{_oeD`VL(ag(ZKpCM]mÿ"oJ!okkA6w]/#MFq2Ҥ49B&Gb/foCӦJxT65|Bzl*A1!kϛQP"%__枬 qaNW` 9k>zI#};E$pxp-m}DGx,qRNN2zOG],0Oz(rф {;)ENhm{hkU#&҈6vLc Ji0#y7{/cŃdCȼI}: dh/'I𾠎 wxl(-$I5"ըBAKq4760Ss ^2ctUTQ"eNXKu6NB?ܳјz"ҒvNE`C3RkNw3c:gjNfJ̗%Qt[=l#zR| mG*ܥʏqu6GX_?V{>z>yR">DQW S;.Ʊ>C%\wP`g~0?weP;@̭ [4i.]㓳nB1{An8]gs,!yڠ:*{$c4\F7qsDcs14D;EIߥ@sBbf3[n׉ܦ/##KM&h"ԤNϟ6huP'9Sq q\2ܰkaM"!y ,ƽiۈR+yl]-z\L=@K6h(21rJF _!ΊSDgl0XU0- &8&-Mdu|> ͕,LJO`gՖT+mqwivvKތE ^:eaiūt{j8FZ }G5Xb!š:#_3&P6/󪱶\NW`t8,߲s+~R'?K4E>=fO7^ we\;)?{Y&Ip$TnoԸ '&Y<\xt #Iѩ#XCIVf?xCkr}ץ5ivEGH],Ԩ))qIU ᔭh o ]ʚL51Yd;=XY;D´ 01FiFV?sf'@  xWltϸ;YJ)>p QTa9 ;4OvNNT&_aj|ٞԌE~,{1aSXxioefkF! Tus|]}BmV+D[r[i;B`uఉŸͺ꼐=1+_BSC@ ;"q2{ V 1eO柇lDEk^Ky%'ocPC%`d3|UN!uS cNrbB4dYՙ=gȍ7^ ECDň'-MwC+H ՅȠgzhqg@R^EA#Zrs ϟBͮ' F@G;C ؊nM&d0竟2 h͗˗aCx xB,ΥFo~A{_gFX 쒧:0q$T ܷ捤7)ᡰŤU7f{0՞6qR s h>l 52]N"B/n,mF7RFy bg3aN@, }_ $ 4 j@,SDU&? kj`}9'|DVՓ)JO#vHb b 5](n/shc`_@u/Vd~d+x@No1|symJXx0pKga7=(ԹO܆Hm-g4XPU8t384_~f/+W}6mx#V~gvLOP@{@p\@Iy? ;²K]H*@{!G޵{g . xW5I%{O?_}CWG6^jCh݌q-)[Hd dW+jCgYZ