SQLite format 3@  .;  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 e#td<< ]/ CISC-Kernel:threads=4elapsed=15.140cpu=51.852gc=2.3767zXZִF! v}j]ŗXiɟd)&]hR3iG{u-N1f* eU#?_Y!͘;R5cZY4+MjmZǣc\lߛu0z[F ˇAK(?Jd.Ӄ8hҰizZ௮m\Bn^! G(q X~_R,GʉU~$r6noDpQZ:KTH?D:IDZHon   ,ekLi-5Rf9 2i`8|7@K oi im∥l6r2ӥD"6{ԳQ/?pvm5)U}0C> ϗ.J(V[oc5lH 7#rV-+h/kk >4ÊGMcj3z_I #k~l9N_x ezfO&I(4s #<N:yL3k%L#g->@r 'PJ`p.HmRQ*d"^}k,e8f >@]&ݣ=oӼ)7>~*Bϖ]]J1E6q'21ƞ&{wR;O8:UmFx=@_W j> 9; {?+ؐ CzO[MXeqOWaw, 23*',GV&Kî s;t 6܉>U"VaDuB9,iod}-ϸ~m|atȉruơ6Gpk \f,6~IW-@T-ͩ`~\]pE*Qy'FVds!OǤpQߔڜPyހ"5)x}b7ֻo!κ=';5]SAAF0@=^u@*9z *xo˜hJSҘ\6c%.{iԇD/ ߎ,yuMD{'B?_*%[|h'r5r{ȇ]h? n2u7 h cD*`}%┃`zB'p OW-+w:A{bTL`/WuZ7W qkj4K3Bvk`Lr?;{kϚ xr Լok/X}&O&"8E?tD5gv ؿ8Ũ7s5^R]3eyWz$upD5;v*1tvHLܩN px,g`m݁_D p eϮbB<˂HL tG|_Fݲc.Zkfmq=ؼVpaM$}<)}|PXQRz,[MߡZ=;V6;,»닜Y?{9 tG)1DE"z. PZ # CISC-Kernel  ɷvw$ QKw3-v#V ]0ROU\ʘ6Vp;n{e>@^Q&^0iUylD¿Ȼakң{V*xߚ]&=sP0WFAOh&^cqNh Hq$*R@)8.c\ztNVn6rЈ}ipM'$kc[ނq-io> w=VJ|8A |ٚgoxZk3&㾃&$UNNQ\];ogpR[.JD{;S#ïvı1Zl'K* =W/WZ湔Ѡ㡆 #hogU )WeGgOםCzHȠ:x[uFy||x0{M.],86*xPc}vu ]eoN6@RI;[SdI,fZƴs CQ7IܨJO(|}AX.{*S Sk?{gPU|IC\FvEǃDل84dHo\{i3Jp }꩛PZKv#ԲNX%J)Ė AY?ջO'XzJa*w4P&맴tqn zL6> @J 5iLǸbx 1˕` ?T8M1b>jHg4FzTo:T},Ͱ8?h'#,yek05HQN:EDanr񨤂+_a |Lm0 )i0,.I=es؀wdga$B+tTn۱-*d) SO ߀ ~*r9VLp2 UċWr15 `$xK18Nӧ83kʶ OңۆXFVD(`6<Ѣ AݎXǬgiQᶔo1s9ͬY ok4yK@+W`@W6eXά,T`W B^|cy׬l:&wdz1 $%N#*JÌr>x6ѻT+rQh5C ؖBzb}y~Q,b"d޹ `t~:w^(բ HEj{B=9Zś^nbh 4.sב9euV.(y5 D.5{M FevV)I=&7c/A 0!n3nIڲ-0] HCVi׏Uoz0H|5';X#Z BȦ ơti D_aC2Wφd!GfG1dQ oMQJ$*烹.=JG<|eҙ$,2UB=R;|Lfa.hbIIZ@I.zqar@K*>HJЊV{C~nAvڂ#wJ*4+F<}=jrl?n7_t32Omf!0.eR}si[響ŕ[P`@@07^'pY?s3X|b\o1y9iNa׿zgdQ9~oEUًr֭**𮎵E[yԊwnѨ,K7^ZI%o0`͆s(hV"AumnxF9)0^s@n^"\I% liL[Ԇ6:_*6Ѽ"&!*i3!Ej*K$Pi.<jɯ%E rg!`~ھd,D $^YJB8FUIl>Qy* LbLT9\""?V>u,_ ;uG@@Gafwm! J@s_)UWr  :]LX|I/_h8k PŅq.w@_6Fa?y J x:5ovqVH#ZQh{jSZ 0[cv;U1^SE)GymFiTBN.G >cD2vڂLz5+%&G|l;}+z X+킠`,֚J U9. ֫L$*7lSp>dMq@$2$aXj6/Ŀw|rq0YU]STJQMY0KԪ@Bd&.pehQ]ԐD ob+&wSpgvX&n4&`enDgw+}?@'20RYpDF)4C0%!_TA]CE2W2kO.gb s^ޗW˃(%ڬs'aꀰR;8XDҼyY9> "zWw5/be1kAxA!?%Mge=g"pKۺFH)k$z=F!JrI Kwl,u~m+ul-hѸbJ] Y|@QP՜uly&s}G%\Ypk'a؂YkնolEzXyPokOz}߾wGV!OBTA~f~0_>7-m"O30$W؁OVJU@Y&`/'ih8]>K'v"G(Zwt9?mnXǿ#.VN#¨X$&&k+ ,BZX=;ݼ]8.;Ob̿ >nmth֯[FcB Mf}{8Ьy[V^hP6?Q\4xOYe3V?0=6s)J(8|@(Q]+ן._:톉v0A-e3ct@` 8 iiOqO>h~trg걫i594z; %'bmS+İմ~TBCɒi|#h[ 3Ub+گLc_t+Vwa\"DFU_TOȏ5pl#S:c6L,&MD:ܟk@ʛznD`cuw璖Gm~YJ52a'#xqK: ZˉKG,;1^o9Բ pP^{8ǁ"WɎ^Z#c`M!Os(K{8MrԻil%JTlRb9ߌ Гgk2*Sd@P?a%d'Ch HHn]4}<~'M}!:ҺgV[`L/O4 C)> p;_b #ii A}L$Д{ BlgoHSV)yde]0&:c(Ĝp(ymI+1L:C/ &_sLJL@Hm/;hQ Kxpgoyhe˲x翇'?΃xO|:=x;ϴq* #F[5=>ԙwd*Xlv+ ]?;Pofe馳J3M88N kTuDy<'et4H_K1j)q `n6G^7+kyI`]DTa̻PeΚJZ:j z2$H1N4d7wSOWEX> 3~cM\B49ϽC:'L:Y eopĠő9y"}k1. wL k32W =eb/2+;7+jYjPq)b9&P FoIU脽@9>5OϫWWiCIE`^)҅7c+[3Pي/X}s6Z࿞_.!`*w z|č_P3xH[ oQZ=:)T*3y0h*]@(t喈 < 'dߛI'v9C%a}gmum=҄{hI[z4K%gX8hx%2u1^y#ѹm^+:T\jS?d4w4S oe\b NFr`{oI7Pg(<{{jqyVa tN-F+Sq(=PgkIK;vYAC̰85ޠ-F'<-Ϻr̘e@t"C闯F>AܦON`^S.U\cޙB /H+s{tr4zhPUɋxtD"p Yuy, > 5W꡿K?Eg~+:J}6 KX^M=gǽF\m81LclmɗjKp&c5%Kft^녵匙 Q =2jvK&~ SvGqZ&6Qw1$J >%)0%! sʤ .5Z"8<|vil' ]:yQ##r8As Qȃ!wuXT-mt߽דIʔ&ժ3X {d`ȅ+ӌGwy_Ξ9\NGR~y(,0O-4 Ui[3_W ⨽tIQߴa$rz6SgpJ 4avdh~f7$pU>r;nh%35CXMxu%7KEeWԥXX.7+>e (,67 rl$Ԋ1uIDy0 _'An?eA˹w?HCC%s#Ϲ#yq6d?=l# k ?x&,=\:M )W~D~4Q ЙVr<%s ;#}q'n<ՒՆpy?݈u0CMعRjPUWKϘe. :vX z,iFrb4~x`eVPG<sk0a$p+aa|:7;jl dj~,up3)GXV-Y GWF/akuL|B~2A52F?җ0}µJ]6{_\A`1$F- +* >O2k3lq6˟|l?ll¼4b ~=F~Mz3!(Ԯnd~, V-[؇*y|΢BniM+ ꢟ3Suנ? Wjʺ d8Qj^ S U]Y@-SS /@ۈ=>+ ҥ}BanF:|Jcn곙?}6䲺ej872|3Xu#򦙫*|UJb31x364Q0LsBE{8k4T@Cɪr6etphfBHrh C|3-7сDeOӷT 8O Xl5w33: ӦŅ*h~1Yín2*TΓ( S…9q̮I`^ b)AbKQs˿(S z<2T4R-0ٵ>cƝ*צeؘJk~jP1ӰG6F2ҙ>T |dt" *[pѯàAfͩXȯ.y&NGErsR&>0ճoK3%rL`؈n~EݓJjn .qbR{L2TwH{2/-7$A x ~BČ+Rمf#>.Mj)l%R_DU )f1 @MHc(dg=TLD6y쁲doeV27b3U:yuĦah"upgbJUɪoMp UK+}- N ԝLex4CPUu!!g:_H։x]Ԍ ;NMgTn v05ie&Fk"SpJ_N󲥯I:[)aQ*2Jb_b VWٙcL1ѓ-ӭd$h@*et)| )o6i8 Xf^鬻U]ob׿YF<! $8;D`*+4kvg_E ;HCq.=D&Єɞp ýOՄӱ#wqE[^; c`UnIZ;m#@5mDzȲ (秐75S2B1=zalѳ(̀RNҵKU3lp@d wD8TaAT ^|s.a?S@S{@mG(tTdC2Ϗ}eM[/&G@),)w=Y;Z>yxc76rop`! Ҙ2Qx%%f>u3Ku;D[p//U`kq?S1U6lچN8c|L4"%/ƽluIhDebH Ǿ x)u} 6 x r~l{@fb= .:ǮccW,7 PdWԖ> v7i璖Q47Cd9V ʩYHWI<CuyJp@ N̝k[1EvY{o\ٵS҉FYje˗+VKTqP=zxxi} ?;A:!= -PoҼJgoq2fP]baDɤgBMǀD)uC 1PrhAY>Cl fZdVdjռri.ɼz 'r˭0IWڑz 㣲np^OXU <}+s5r3U shž=ӒgZk Imkd7!nyWM  )r7rl:2霙/zB{mCV.w)b|y^ "܄_|ޝeev@1 7`s'n| Z2~0̝N̫g!`=dȫtua_FP# 0x|:&tXq )놝vש^\TMx󴥶eF!3SS6,>Pp"JRx#z%Ač;owVi.(2aLʳ-HxH[aVcI?bO6U>@^裪F> ȈWrh%3NhlbI!<>" W(F}Lcs1cnQM] ƅx?mZp+ŋug?n] XdY2Bc@/iC= d6;w3x sxG t{%|DT^贎Dw@;} M# ?#r )Cqe([A<5BGUf@%錢tt ]Ci브ۂ'|i8٢Pvh`s (|ÌOXز>",(3Fd7O#X[zm֥–Pɹ?DN)=߁U;K /X4*uזp@ 4 \\+6g孔q[/lW<d)2>'mM&_wp8+B v+a~|( -{EkU$~T^iBYU1Ote*qEřL'BF<trb,_q6%/H,V{5+N"dT惴IgR>}DþC:Ye$l=^wqa:b?Qҿ T,uW7_.WqǞ|e$xԾOzKdZa"Q\F?n`e+93470m`4ъ?""Ǭ?tF]?80k/ zcs􉬝d&q in݇LAVbH/_hd?D‰IE:9TMܒm dB$evY_!0̒ſ U\_$nd@w6&Vvܞ^<-PY saw v~xWK)"HPRiwd'd6SN?ju S΍9rv5 DŽdҶkv R?I7 B֨cNAc39 :gE.4'.U˖F \w.HڒI&<ꝨKx{рWs Z&$t UJN w q}FWI#+`8Oi/J/@_0 *i&L]GyFw'2 :H%[5o.-;Ι ǙQ^ Ѵ{sKCo5; (mlЀj !CtpX.|2t!:ZtJ;X !U # ᵑ݋ӿJQ(>:nk ANR)Q_yaLO;jctwZXYW#)|[xYrŒЗfRUmM-K SdmK;!R`ҖD/X'$EL8! ~ #*O8LOKR˚6E >O(wL\=@,ӆZl]G/ |ab1٭mK ?b }/~8|^қ> /{ՖG1 kRnQZB "|BZd/HDz諈V@^>{uĒA* O^B`|ȞrO!X;@ Jc&z'] q 6'  $٣(K-&@{z[OCi5qlȻ%/P܉zAlB;?_P+At|E>;DL'Drc7v·E* Zl»p;Jw ek!Ąu9vDd0v7aZ3"i|ZE0Wbk4o^pzo!ʅa,rk[\:Sg!Yo[gamhpZS|ycbyp[,ԝق$[;a,Not(Q3muxP!ny꥔'6c9aa(Íƙv|]+QyWɕ{~x†=zɮՋ K|UØ!Okj)c_ŤmPZ%q@S:'.Sd ũL8{54)]*60r؜!|˩&Pt" 7э7I Aj;6!L7;SJXA$‹ 8DlnP֖! ֹΔK`k '**(-m+9׵(ϳB["P+]/44. NRU͊ 0[U+fE(͖#L9g9Z1D%Xd7s9/lܳd-0&W)1Sd4ǒ BrCAe/Y,qG,H)FD".&wAq'g" (o._(Ȯ\-؜K/^Pt&dјli[l̓5SLimD:4#՜ց* hݪJ\aPƂW}\O6ǣ)`b0tT΁fY d==v%1v:˅ ezVƆ+x2ƬGB6KʇWSFz.# !{Pbғyds,i/ á؍7J{`ddwU'V;Rrhư-yRS&3Mrĕ똞0^x;3ѩ#χ, s!z Q? d>VUf(35PbM_NYH/ o.!!Zত)C& *a =F_`R#+.=Ms9ktHr'/y3$[[$bO Vdų>2G7t`V^ly?7t(?~f!?[q VK1<]OyPTF `>Z:˒@sU2F``db7w'Cׯ8TA؆b],|P@g0gHmbBJ0JH};KZ~fcعi+po%P޸꿵0 t]wq*cW1?F bwR4Ge9-ߎqM Ń[%voCt%|/HqtȢMӒ[-&ht(eA?EK/ٌ~~vAyGV=6;8h~I[7R2rAZ =j '1w&*vB vh(lBi^={B8UFLmf:;1j ٮ5yEM1Z*zzdZB䯖U .s^ffqg̗,BVs Fρ jBj&l?E?O8ޛ~Kꗹ8-H0.n'qUrP$LAv-"{a-D%)w1:Dk9m> lnGЍ@ʪqdJci'cбU#N uD5ܳmaæCLmT #np2!gu!hVi&gicq+Y/6qy`BMc=*F1wWY6ڌѡxtkq1[yGnj@}zC> (*K]F L49mx0b+>J|v iodc@Ӥ"~J+6XCW`) ,,^p|YbesZ;HD&_+`f.T~lZld /x,7"+ʻqUJ$&VyK^Yh?t;$zĜbyLJPK^*q@5iT>Aw7:W6ߙ*bqa2++5a\`jK˓G>[IM$~f_Mm &SR9@H J8Q# U=[}`u+,/\yo w򈐫j9bi =OQhljPZ W[9W$P"9Y{> Q8OkO_-[ӵ]bLXE?*IȨ4C^o{|:lM𻌟sE|/*/̟{ph5kV@TKIDknP髙(f)L_ ?Mlenܤ`C? ,5g/Ϳt:umo@n 8$wE{4\cc.!gVc ϫ~@z@Ln832R%^>)nK5A|\Z};bVP],Ii9fm?>PТPm3QSRɄ2ɘQ siIn׹2'8UѪwCJݦ(h LרEx2a`F3KZD+::Ft mzMfL>YNB\Ke~N{W0s#~`j&g@@>~^ n@$[n^E7׸jyp+ߒ7C`\3RZ\OrSW7Yb#9K7`|/ÜsQ,aBeß;kʉU[/O~l c sM6h/?nNoiv6Jpnش iNdkEUmQCuH$ PvD~ax*.%oxf"xh }-D; kς wFr].Xdc1PfR$\扷K03TahF%Ve‡0ʅīwk){ڞu0!v7d5ȾPn}ʄu\k+ le}1دyhY:rCc)/!}\y=dBMLw5|1&MeYa8Wƕ^CgOz!e"%C&f*z#ztql}jMe@\к! fe:quoЕ?I2SyY=9"q#8߁٩a߽V*:^SRӘO=]d!;U^Thk`:&Yq }o=9l Il|E/MP1uv bҿ#:T0[gDwϫtfm/_tИ z;OAnp HσY7}%쬿r/I-\munݼ*zi-,BQhUsHALD*x!h%gbkRF/~ 4F]v;^?ݼDZl &޽u] N 3n+xe ._`5QR=GϤqi|܎(dWtt`Ŧ>0Cie;\ >9z x-S`k<ʠg{Gk?w%Ɔ&Oۥ>ЌnDIWXf;X:糦LO +MW*i*ByZwmID pZ KqZ[jP#D㳣 \y*'MM5Wee:⣌_hY{R`EjB/|sbB GdP3r,9@Ua#"<. Max쵇\RU`q~{O^*LjŰD `cSYJɶ_𹺇\3:af.*'*1WUiLT-I 1TgihkV FX^}9cG?@P+}Ťa^8ˌ` ;'F N W榘=;#ECBYhBPTϏp2 F<ַ⡭`(&n<wmOQLN.d{v$8{B6 C(S,eu1ONkm8oԆy, })Etj%."pcPOgBgSs;{$w4*92^s_D#:q7(XyV2S>嶉OIVa/ݞ:$}=Wv&TEY A˵X^޸yƯm΂>$<aey6]`^70ȓy^K sXFt Mc? =}._daq V x/QQ㟈1BŦ;I7f뾟A*tSt3}j̲P3 r=!Bd^UYcYgbj| 6UU_cI1%v5)XOEakn<`yInz.V )D"$0]-3I=Wߡ`a9VU(P~"a9}&-&b䡇RK)vMҰI Y(CWoBC4+ j`d Lmφc:h1>?64o-$JPd1-14ԩH]9j,s~E^~$npl=e `ز$vO)+V)M҉bg2K\-e(Z7su}Me{nf겁,U͍OeZx*(+b0}|d0yB-yG>U@!]'VL"w հ4!dJ/ZkxD5FJhaF/7._eq=FPPA` S cRVn)LwBpӨN<Ǽ%8#1Rwy|uD " ,:JN|%:U!~VS(@tvomc4#OǿqJ"T?Pp0&j_C,QB)EGu ř*R ZOP͙" t?"j߻hX9ܥ¬r?^ځ6 pd#^BSie:MCg DCb86r=f o_ݨYf ܗ_m :xFY I'$얒4[3S2F^€F 5/,*`Osf)G둦Aa`xwD!d]\mTlOV,OMz3#!# ?V$DSz \\~+VE\.#E-8`d|% #~^'oò}/]ltW/&;:Etة!{ Ԣ?mjd/rE[/^2c_ J4 ϠC VnOhٴ !վ/im^YΖ`^Xqmd`:&8\8ٲflP(_ ޲C^'"S>Ӟѝ'vu0W~K+wY?1*ogtJoty7eJ)^I7.BRIk? 59Ưּ c8M0v+:h3prd^M2EQr5SF5]"C4/3,jgX5JrxF̿U{+! ܆R{"z ǛTOhkP=[`Vl|hǻR&cZ y_ ]DشAK 7)x&q=aa܊݉La9:!MbxbeW|,&Ɨ ҉.zM7NCTf9W'i)2[Ŵ4_4 :rSF?|jzI;AJWl`w{%w0۹C|"ï#GspRlBn@ϳo[N7Z6 0/rB49Ww kk82{nb#:Pk77(^?6Q!7zRr Uϧ2gz\e9pZj D6coRMS5bԀ_r0F@:;d8yP/,:9V=zJ𴦜+`Xa& WNYþЙHG[V,}Г8s%zum.H13h Ԓr:Tkog&S*Dv6v4iYkjǧmMseG6Rb63ւ+NPF+M6Muj\ZXM}"PRXSRI[V=Yz2DtWS os^bɁ~ ;r.g*Ni$AsێuLfK:ߐ^9Yď!a^+n e(P,QaȸoMBaH6C72KhHGk41_gA)q\swp=%EK`]oRނ5]fjqhf ~J+E?>* Ww`$l X>#c !d1Fg}Sjsd ͼ)H+W $H},$Lh" Xn+["|ԊD.2w2ϑz\CU  m#hM YM4-Xgn!n,F8>?s}kuX\goD[41#Y 5y?9[<>]s,!d>]u(5wC}mT5r{ O 쳸vt@MB)|Qdun-K8x5QdA.R\ *\GORQaܤlY-٠ӂ2B V#sYpKFnW98o»^JYDE̗<DUT偳RV RCV2׃@Vq>SG@gs.:;Iw̗;|3|\(([9Q[N2wZ"lIbDu&e,.a5iVitY*ըb>g,C 5iO͡+.m&xcKUD?QY=b(Z5^A8s"u$С~a$uܘ 0~M :,@DF  Z bu'ꩻ&ΈmHmbRᰖ3%B:l\/hATfQ?yV &(Z07'^< o*-2_23&̙(󍏥z=Mv;Ro v~6% ""Mv$-tڮ\ 7'S֣ ZX֕93ɝ ژuV{19͖;sn;8YIj@e<Eaz> 1 -|7ઘ;5@এe0v1@ e;$; `ԓ p c ~ ѷ,#%V֚4XDE}ChJfChj F䪦3O̳1KwW_3b^wF쓕{\pFXlO %3/wJ@ CYePr[+N_W90 x17m>;p\wbj&H!DiM-Go겴nX1E PPpJ@'h ᑑ7< &'f[@+@ner4e)tIa?Ww Kp74 gp ye4H}q/Ly> Lۚ9v/pa/ A=!O>yD݆v2a|j˿ǡ{u'] \vg F0-+&QL*v*{;~$*aKGtLrt)B[9Rb}FO\`U~fW4Ǣ >5%Aƻ1w<(gsam B[bbSc;)ezCWݎYܪpˤcgLŔ/T Ȗ%ਏcTm"Kb7.r@k -L|]m9U.n\ V H{úL[XQ^g@ 0Jq*,iXAxN1_dYïӀGKG`m!|. gN߃:>OZZ0~}ޢR mXV25Q6| D" ,gJ,$u?ȶtJBnyF֙+K=mS!7J6YNG*h:Dl2 u)v6GG2{X#v<'(Fv<'a03'uʺI! zPw5{W ! YnӪVUHlBZo3SWښaLJv`/H#Po\秱R'4OD1q fux6 )u8'6mŻ w0W1j ?OD#&9/.EpyQVNBV?*jx)ʧЧv1# ۽ԐjꐞD*D Gs0 hBvEef8Yt,c pڶS3D.}b^S dЙ:{w\r'J-\ĐӋ 0{Ii4 HF64m`DjSB7ɀQGp<-c [ø< ii3Q +jXw`i6geeIVt)ޢKץЕ6&IZܓmJǝD]q}z<ʅc"ړs֨8Z0chȸ R9hfRacKX# &;&fCoK؈@wFA?sHPߓ?(kug6npLo~͛qVզ}/P:bڮ3.+3 x@Nz2:ߐhQ*>ČU ;\U6nLL]D k1CϞ7Ii,8:DӀVc,B4ηGUe '\pF̋.5X8[_4Pv "e]< mo4rFaqzߺ`s+fQ9(ԺoNȞ=8'xp\*avhc ǰ|ѿ/5fV9ER+$݋h6,*yPX 4ǝEs4nqQ>7,Qc[lw!CP 8DuI;oǻ1B4cNd^ّny|o|%GvY6i¥ =TELaps4JL}ˊ&?V'=1cGhͿix4v󣫾/V=YPOy{Tls4:Dޢ/(`U&c%ГS4 "9ۏX,[O 9֍bA1#[uA͔KHGސeHJog3<܄e [`wrg .u{,MxN%I,&xB;$hT q<.[uLO)]JJ$ 4+6ZHn?)FꥦWXlKgRеp H=2e1S Df%)9fܭ[S~|/ʙU#>u"8:m!^~ʅqٗg>ԸQhDʠ 9xxGt7ǻw3s>}18JAbj ë2 [V55cD04bWuY=bV}sU[`36 /4dqQlƸnoX`&}DCmLaӟҷړ\ Ae"80ʟtsM(T_jY-u3=b5GPKq_`l6faa9".Ő5tZS8Ead1Oj[p`3F.QYZD+Kj>HjY l+WlP~TM4^wLPE;[ }1ǘi v`WxZcvFv%M·j7to ?gYZ7zXZִF! `C]ŗXi%L&$J0b) o2:Լ;|?s>h8Ɋw,Q*`=a@41VZk>ڌQ73QڈH|Llȕ~ϲ(]-W2p-_!O(ui޾䆠 L@13mGJ<ґPDWRYy~ʗ*&C GT\`f4."C2V(R ^Lc@7R,yMwGjh IG8wOE{+hmĕZ t@/R?BROe4h/f6Fq4cD\#tXPL&.֐'}(yBZ!Oil$x^t'y~xϧBtPunBMvOb2yV]9Kg0fl|[z ޭ"\F3uv __gCqM tQ1pCg &e e(Rw*}qFNWyUg=2}жó!}~Α.z|#/sN x;ܘ8 ϣZ uwP7,lKTUĂEWB@ WMF,m̮P=@uר.A W8^m!i+<6(m Ґb}qΞ#%Ý ɦ#Œ_xǀfB;!epz9[6Sk2|՟\-Ԇ.{J tsbm:6HSv2.݄0*r8s͗&1CqbWgW`M"'*a* T-DUai٪nryUʑE>@ iUonpx}]۔r=ڙU1֮;B5# s'{Cg'c7 РB#;Qur!\RX9o9@0p0wJ!4P,q~TV nignk J2+gЉo ʒ}zj4ApBT, M}gYZcd5173295ae0b3a299448a7ffae99eed6c32cd809aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535