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 ?z\, ]]]HOL:threads=6elapsed=217.227cpu=739.368gc=61.1567zXZִF! 1M ]ŗXiɟ{so2ԠNS;]~#+`UH+߈uDGZ +t* +wgL|:I&SA^eyE~^_sǂ#KY/#Zٟ (+I$(xN3#h77dƥ~ΛLnbЬ/!4LgۭohjG(Π9ɈPVPa Qe -.TMM8 ^VzOu`z@>\|[ 8q8U6_Q݁|1l!P.4H!A&`1@S]~'VTܡ=۟ZՅT>o]MITK[ R.,h(6%X4V܌ģ/ "1zN(}%,B`YZk>lOXq_ř/PhTUACu+\{ J)7l_ߧd‰nQT_3Ss̘@}.YP#>~ˉ#.=܀Ջ9Ҧ{=.T QXNnW㬈xac y6P|*>keꆲ|sY7.cXDC\%4šJt 5o=dT'OҔe"K>J^+횶kѩŸ{ q7_TbQ _@b[E㤵 X8M${3pM`?j8n1 ~O =K~2'J+B};%[Ѥ) 62hq#fCaBA)qr>жw2*(a-R S#q-/g_/YJĜD=%1I.gDg0 qzEwƐH-U C>w62sFfIHO[װ } Ho3K3:Ef buVr,X6p}+GϑɡӔE ,LTmZZ1l:1DELlXDƆc_PwX,jJOr&]ѩ:iwϊAs 'Xkr`gӊ k}2D8Ih;M _gJtӤwkQv@l?=p6e{*B."G.C?@e^Zż.עICpЌRjKشvnzuqOa3_sCEM^y2QdAVfֻ5/脎ӋlzKㄷPEvwz[Fsl}{!s">|g cn=8U6$3ghUbʛ Ro|oVgz(1fQ*ٮ%Ķ$\'jϬ쮒2DVi|#[IL3>CX׋W'_mw֘,i, yt5\+lClV`YuZu`p c?#%.*w+#^̶}(+KM8 ;* B3R ivAjPI! ƹYG V 2;CvZ5Nʄ` ,}&7GVpbK]_JBavUH҆uBaφ25׏ouJ =[+]n!,We%"rO$7 %0A}!gC gZfɯ [}UX2y-z!X$1Ps~av#+;_I9/m|+ #ρar˖Ҁ- }n\`+1 +ߞpS1#2tvbxY mz fT|R},|&I/p ӑkۇq/Bti_A} ;x%6nxzWfDyPiigwdϓV0þA0&ƣWc{{~c܌˭pe}q55޾܉Qc.;r^;]suz p&@-zQ?ֺ*oO/(yZ{^{q+^8`s3 r奪Ӡd8 ?slURܨ(Im9VmKWF BRUVg~㻑wՆqԑc<)_.@=4u-ʯI[&?hN!>pI^0yv<$gdI26 ȍ__x$}D^ JW-.>)U] Nsa!YrW>V cEe\RY|K<޸n[rA:>:Y`[xOP+3> =F2.+quh O(s"o{qlzFhe7lV65sf/jUoTBOfxR*<~:zEɥWBfŜ߱ ڭ''8oO)QuKOi2DXKƌ,!xi81OB1Naʚʯ6u7®HW&_FХKʐ!;wP8xnig>2GN.! 0c؅`cR OCtK=%JOP4O7%ub@boE\û,!|m\7%saErU1)|KjT W=6iƊi ~"ݺf=tUwQMzn_ *ut}(o{5I>8N[ö9gmz@cґ1  HOL  w oc/3\0(%Nf{bxxIRA;?+c֑Jr;Jۮ5,4֑vxn]&ucE~V'MPًx':VL A|D;"B}XdơBvtw6W`' 8(qc=9R*(3)LG=|}hbSnNPK܎ƎZ'&.`#$$#!>4IQ\? N/m(NS;L@-~'8ZډDu%jYP !}\,6ieuٜg(C|Y&&=C.3߈&cRݨ@|NsU|h%#q1Z4-=x=:+?.;:l(nҴ##ir=o|t8V5PtY*c stlv/z6w L Pg tܘz!oBұ% >|{_&vPNBVdWGWZVz vAcyi4q1ghrd&VٮD=LH+ VmmiecME,NLΑ26%2z: ="PUw.KQ?g.pS)Yz*= kݿW]؉Q/g#՗U.Lj=VqpWѭfhb\ 3]7J?bGlpk os 9VG ;32 C~Bmˤ:<'d|#wHwGuC'fSaxpM!14viDY*JivmTѩ)ݫ>>DxYUSFާ%8;z! i' d-)L7ZdX|l\7>M;Gcx΂@GL͵mX|{Qet kvG/d޳'?z?*dޫT^1uCڔ!ߐ `E]{SGϔ>24*J톂f52OZv2_w*B綌igJV{4aKOCAx g.seT05B% y_9 ; 9Lxokz4%F3fv~I+a@bafT8 oI"&@@Kf;n)@%ju8`onl G5W5Nmly $@s̖CT,h5$ Uo; \n ºUM 8FO †q'::V@fX{j@7<}\.XhFMP)u.jS,|G*w+5>76!T2o(i֌0A 2a#\-C3Zʋ_ى3&\ƾ'sx V`"g/VJ#A!ݲx"ۡء=Q?,O ֪ԆC_ L,`b:?5m7@k L>9e'"_ YZwXR+&λ:juXQmNW] lbಙlj-p9l}e<ߨW U&A*Ln뙧hӚqo1zEP*yf`SIy'j hm3Dc'3c_T;i >?Rp"" 7eO$q7LF|߷,v'Կ XkasYwU9:^b[+lE.4֐cvaW'U<\{Fvl?(fb[M\~mH oțK&7*XÎ.NgU9i`ŁڷMǂ2LWa'FS(_UyEh=6|-4GΖER.<٠IJ|^};d}¯J. Yy.q0\%nkԣ!74[d 蟱 :ܕ1Lan!;9 sE3H$|Ь/FBUJo*+V"V9֑ rezRRNjIe |mc;6-7H,# m ުf"">Epޚ{W2夽䙧[j1%![K_\;yޘ._ɵ,\}9䌄{ؐZn6 Ll9JjZt\eW  jA</Jb+L̂^5su\Prk aB,s4Rg6 =?'{ ăr!-oAN4Au͵";b>ÖKz+A49c]6IB4ɟ㫊j܄R)rZ,/bE/8?d$}A7sP32В3<1ßɝ"N[\(7ojŵXEvm.D;Xm~c?B>qqtK:Cg{ =; pVƏ*CPKn[y:yq-o)i~\ȵ젗0+qXM*5su{u].ރ :%x¡@ Ǭm8XJ7Q|Yb BGvef%鳨@wj]ڣuXH17m kG.wx6h ՘6}̱WOk( zsxUBk9xs$(S.ۅ"{t񆵎D#|>8Tus|ZO{",E$R2,?"Ze壌.hS!.]V09[R$“([MiYlX$ҧk/%u װí;-6ZJ0>TβK6ȄÞQ8(@> ؼ%qr] mS"`ɮūx_ݎL~!n(*qֻJE] #!YĉyGY-ԀOJW%L ľ t W_46LwrSYinw`jb{zLG* ψI"m_ ʝo'{X]:Z,@01Mu/⵫ՇgA<]Ķ+-; `Jy,hi"A5~RMyO4V$ 6A?fᭁaߋ&Ş7:6/{@6|{79엎xwM%?vb?U7nZ#d.s,GܑVy7cK+:w汿t.fe"7?v KkPihĂnl9-Bir֣T!مٯAUs%SoxXה-/z 뫡.= 뮱ჿ&X7 ǭR}Kxbl5XU9X0vsMnAlAFZOЦ;S-;KP١ x##_)^C#>r!%0 6>0Kص GCxюR2x*N :A"mVcF d # 9T)R0hg!Pq& GW$rPsmGRPi?ՒiXWf\R5tBΒ`bS#߉u|K wk&G=.X |~$B;RI*z"uݖ /X1*2!!tjWts))%+1jR7xKVQse䡥kFUX?Ry=JBn9[ūR^7z.gvaDw2E]xފ't;m2":d%Cz|zk+}\ ~}Gkw-Qy>-͒㽬dif!y$)`O/yZ껦Ӝ!_K| 0.Q@:Q sʫEd=-w8ܜ"q^G&v$v `Y*LnT B]cY&Pł .|l@"ם%&]vS`ipqyj9ϑu :SV|x`^(@$DegdnCqc= Wƀ5;Rb!(jY69 ScPC.P+2K.4ךz@}nՀj 3wW\JzJn4}$o o-3=m U1eDdM{~w \dW!ri3rsiu;mB`cIoENdTbIx[_mg2bL I\ṤmP|![V5:3؂i2.2nږ` #C9TU/k$ U&[҆&MM](zVcҚKKӨKz*b;S!' ƟgNqI#v_pf|r@0-%/m/jUq LďſTwik*pV"~F,xcƜٍi.vjyʡyɑˊanq`/ )+la sbf"3~*/mUy50-4MIaEO,eG~|e)H%K/>-K0 3zZi$fa5HV tHh3L'Sbد-aT\fš%y,3?M:ej`98} mB1zbا[=$L 604>)u=H #ӥ2Ґҡm2[4uSs :$gYZ7zXZִF! 彅U]ŗXi%L(l:$HnG 3پuq)C(*B(NT%멏7> !ijH t+j%^X6ҥLhO¤}OrDд8&p.kM.ϥ(8#bnKĹB5`]iI/.=>^.Q4r@%~N|S)!W=0HANuEE!+< ,dvu ןt `n"S\$G"J.FʚUи{ݣgwzmwl%8w9Og*EJW3<_ :~/&ePljd8~|G-Ձ1amYㆣHƣ j|tҖĬ aɄ ؖU{BIgߐX43((&}'t*8Y#HԏVx\Gz(KM<, ҅P1u5*xb)g<3q>OV@u/XTiD#_vX#;Ft,$|Ӿ- qea!\6r8iU %xh_CZ?RH_~jD.ɼ}W#ܛhCm۴< ;8jM]/B1A9T^s[<|we&쁹uo-鯗3Hbx/8Z-f#+EhT,Qυ#Jj1LLa{q&ave' <-Yg>K+7a qTgSsŤm✻Us!Wߌ8Jb w@ы͋BoGk~(]pB  r1.$ ]o{^(;/Lj>A4k0le6?z": F`HZMw +9CH U.cیl+H8OaՏh3rPظlq,3K' hj28fRf&(Ql*e8"ȏ z;'c#K,387^0;`zfO4g3",{tFm<b!.%C ZoЄ#qtrTtr,**x N׎F/}.\oC>SXi(^kb.| 4; s1N$_gb;`׮1͟G=)~tw1FHd`;^c,} =Eo;QdyBݫ >CpvvEL |gWҬq!! h[kb;ŷ`Z<J]+ >J2@OuM( {.~67R'}/@j=/]>aUAXX:;ˇ_BNZK[r%UcZ=^zb%O MqB/8q?!o臸f9S?4b{\w_wcK D~fZuI"^^#-n쐪RKvս20,/P_{w"-B&DzNޏh X,Dz3c`sqD'u5ގT~^I(1`;25[e2x.$V3J>[59'QSͧNkR ?QkPp~wÈ/UGAO~[E J/߭uynh:ߔlQ$HeApbuV 㕴( Z7(wVPW%EoQ +K2`~Xep].@ sau dfg}X p^b) .Gٙ;וhD*R.qƘr^Apg4/fjWM2 YI ߣV$<~Rh_Dwc 7s f F-!5AW=Gr{S* Z :q)ˑkOU$־d/__|Z>PÀ+82N֣>Kڐy?8 ?k" bYXJ|wA|VE1GbAO &Gdn>͘8Mš[Z͇zQ*u~!cHR85]a{U hj qF{7q+et W]l`8I% paeeLTtp{'K^8^!?7Ѧjqv5*kXPW}Y)!cK [VPHL:ZyU#kmyuIdLsBH:Q4 %6R]"nB+S-ۀu&w!TNm$7rQ~P nO?*^vdf9}63 $)xc`W>zƊZg&yTYn*D2xpFq}d#\g:ʝ:WJʏ`ӍPBV2~a%X:+,1̥v'{hۧ4$:L`O't6̍"XpŽ*]ˮs-Y47ߖX@#Wa|Zk f.̕e~!bE)9ЧH[, :A2!i }KtucFL!}ܲ?r{GJ(SdNHTB OWA7>~4}E{4q ѽF[z܉Aa{<GJA+ʀ Ĺ ua_@I0Ô;\tˏf!Շlb0*9(+0A`kh8@@CΜ 0< s׊GP|wLΛ|1b{TPwelu"Z&5LC YaYlXzwP:n6VrW~yRոdvV4{0|c#!5 Y  ) /c[s+_Y$4,)ghD^;\;}NOBb*[8[EWg(rOfQ|L(L`ѝ4BfZ I&Dϥ`4aBR'jkU5uam[Kv? sA$A:Mm*v)gX]M6$0b u'客[ڨ_\٧'/FJվ6(@Զä0( wA|O%hɒ)Fꃏ즢,zdP, xtRpȀC+nu~ʤ-|15Ii3t?𛭬ϳwju zao8ZhEDL<ReB`#N)ZipQyl^&>:Kϒ^,T!EXldgΗav=tofE+M1M gršV$Iٮ-Ѽ廪ֿhˁ5GI8jfAЅW;.u=;sI=0sYQhq'f"#~,ފv6rֹ{_l"#*{gG?R? hSo ]y0UJqVy0l|a$E|ME|?o_@J܆o3{I - ¾S^eG䀁ȩE?˘"}^-h\S>y P<[Am3(-6ΑA(AXrH.h U ˷2/uR᧫Wc1=~R4}c3fS (ZB%3h1z[(,5>! z޽᥎81B#ʱYYp&F %r^\2h*}2(w._lٽ-g[*wur\N>4'C%[{-M̭Z:?WF7X=_jLAt -gkb.rzĂ# dm7 Jdu&bXI!hz' u@lHs^D >^0K򥊥QȞf?=#J=(_g=O~`I`O=%c3?E~c  ȚoQެaΚZϚfU+duR d 8~-+XVq`%T"4m<?ﺤ1Kqob*M+H+(zz74 $6$"׬whb2 ?T1`ܲb0#?7iastN_f,K^B A8;x4W&1 r\v8bR 惃kstMYmIK4GUQ!Of!IHq2yÕ$o> &Sw뤎|Yt<q !흥8mz$e셓2֬y0:*5zlm5t-Lg.7TQZ&zWkfy@ES~_aY ʛ\s zDKSxTv #uנ nb(LzgK >@;ya͹?\a*yH˪SCDkv&LֹؙQ8Lw;ER2'rbFFPDѧi {MoN - Qz*>њc2 M CFEd]/޽`w_ 8A2[4_{r[m>ty MݓP$#zJMWgFTJAsiPA@&rw`)YtwY|@f&^E)]L0zŚLlh E/Ǭ .E yHYfpBΣz1}vjy6D\j4z:zrW74Y3;zc!7"*/ߞc}wlW[99ie(P>hc6!ڍ0}OSr5H^c3>prf q7%Kuim|G]%c65r;=o *iY G'QAʇ<sZV b ^\KaX9ZE,:#.T'ZųjD $/E rbU޺ Q2o9 mʙgѓKE]>#0 (~eYY:Z$`ij _ ;>nm cўhIRԌ=]vJI3۫صR'뜱%^C拝xqqM"mOצz5h>$4ea$6 W,:{\f(_oú*KW)2:, @(o{]^pop&y">x~O+ [$텦Y%Q81J^U |:]7e#3 KW ))FKB魪۽tWW Pu"GbhTXC#mVW7#5aByCSc(}v7o?"023|T_y Oth=hO2eXM`!51'%U4N4U_)>IE#h? ˬpc|[ ŎbԮA %r=/\d$8:+ p7B׶6EysQ yq66Ok:٪,daAy‚uEh!lB dB^}./{~ ("p0VN)1➂0SbxZ͎l/ =ڌ- (8SX0IZW`~^3i[IzP2(u@92xϦ<5 M)CxCBe\;YbAr2ʡ#[guv//sY/V\@ҪuiK 3H}q?IdzFqg+F#N9>TD\ ~.A?9*N/Է'uc'oɌMQY3@vWӹє>(8lH/p6Zw ޒj(=7lMD sc}02S,dF=$@8 s6|`JI#;}<(M;YB>,ҥՔy F墌\ǥQ.:[m@Ul\_iUhRYq+(TL݌*5Mbj-SfdY ZH?{aQD-` /c/곳ۘ#7X}7z|f|ENJ*&^ѡ$*K¹xM%]Ns}y5mɂrʤԹ#B.<ƨ\E/YDzSЬHl\,0러HWɯֺ@ >{Mg&'~x_@Lmb`;q2<^,/{+ !csv- ƜꦥtC-)"Yb W6A5;%x0a-@/d n[N$b G<}$pVL;W-Pvs #U5y:XΒ4.I A^I=Fmg7a1QRiHYȔmb2#o+-jJ{}CwUAЫjtʴaΰ-;dÜXuI rÕcQTt16=▸fJ{&5$ @aS9 H \h9Үtq/*W\9rr]J77`U~lRLF\z9Ju??>|-!|IJsrTꤧR]\:)Ɂ5B: 4BB&){ԚeTo4h1lWo [Wd4ktuVOu8)}(,jUㅹ;Xʽj^Ԇ\jkZ&?qYxGᓘ:XLPA׍L4Nv_Ldga\U( i×5u{[Rm6<@3Z79AMܵ͢P : ɻ1̛^bQns׉Ԋ1ZwTl'fʥhpc^֌qG01c~- !j"]faLkƜ{~bEЗ!{a?yIvh7!% }o]mSǃŇe&Sޣ,kat 2G9%1e)fL]jLCeeE01 mM̡SџPDT`K_i1pQPW;ۚ2 ȗ('a/d7 MtSh ӐDDy{a<+ W#cURGh| [a\[M9BOE0 #*ʩW:A,1ޜ:!"j^)|+u5%Ud|V :A"Uf# TbHiDNJ2\XfrHu#ݩYuez\fHc&9P2HX#ꐖ˝ %T$yx[ VE0t;`J3X?ht.3:xҩP|(wG>*ń^sCQس9\K"BYi;U1FN~d#O^srRJs)ӧо3C3y#G@zn?aNBn [5A[88h X%n, Uk3tΓuNꅜOwTJ)L)" 08s6t͢t>OW%j{)W!r:œ3 ð@=\uۋ7h;?BX7r4(iUնF *;QĚΒgk%$oaJ#)ExSʼFJGB<0#ĪQdT?K J?aLnaַr 3@@1Yϴh9wiOSlo@,@} +0G 5SGBO.i= !eƧVw> æCYE00aBRyD:Y!m= sQm]PW}.cƊ,0eއUex[l~FLM'_I15,IX}d!'Vȇ`ZYM8WBaWX=~7y-JvX"˱sb!M9,kBM(U*m%WD$t֔jQ4x}E[5x1+[MukdWmyp? iWP Ei_$+QDe,#\Cu٤$`SX\,sN kjpxk*»oq;tGf`O&~B.#ղ*װ14ccI8cr5gTh T Q8k-7tdr| .J棡]wĺmm uOodO F]{gM>8,$!;̼/S{gXH+)SJ^24ETUKΠQ׊[2)}AZu;U7sг,y[Dsch.\97ζk3;WSe_o@2PQn8іmfl7 H欨:T.@,̱EG/a>T3wwx)_umQ6%E3o Plm-ŐϼP GĭucajwidLVN"N^j:'JByged^<>xRjR 7Ɩ?%} T&Fnz\ ĠՉu8fu $W-1Y;"}y× [<=[෠Hbb a^KIZw+<-h|D&Z8]8ra%C؜; bчU G;-lxœckS{0u&.L_R[Ux]؋}O 5VKd; :em 1.B[0zpSzKU@Nl?}˿ _xVn" ξGujQ֠nIG}D66[My=ßa,kŴ:5Ɔ05UEH=:ϱp9\G)ro,YkU)Bq:>=^dޏq_ɯG&~#`At4Xя9A DŽvfLjx'(V$}nPiنlۘ @Yr>=`nY 3V |KļnKc$ўyQi:ڇ,l mMM'NOUSߙ[ Rϱn P/KWQ@E لz@ C=Z6 p(X}>Ey3~3iO)e ?7'F'8MCtnr6i]ۗ=BlX_>EBO_%d$8_&=\XXJ冓IzʏnvŠ8 W [#-3A5ֆdBQYy0˒V5mi.Y_ԱnmYklnAnoXؖ&Dy %p>m9IAlQo3e߃`/Gڏ֐,M5KԝVXwJ$$gq].Ƭ޻wv"-ZVysnǒ)JgdvPϚZKcK4JJ0c>qDf}œ^ ǎQ3Veb{g/WSK>Gab! xV&LtԂowίt3\)fcCX,Qթ5l?Fh]S&IȎ:NA_ oQ6h }]v;vgpf4֊ j~t`"y4,m5fIة3W h~1>a޹P  [)~t}nHbS5=3yAvLGa16y}{ EB4͗Na%)CTC /a<љqYctd.&R'FQ+'ET 5(r=m"FGDqurTYkh2-(&4Ho=VG21W)PZn:RW--#B- CF)2$yW#UY:(u ̻}jq 4 C[l֏ E~M( 5Y}ۢ{EON .W`Y_Ҳ6x=D׾DXĎ~FJz__n*bj8eóJbKjk dpܥ. /]8Q#P`[J5=Dk x+9SUn|rlAlJ\w7gV Ė%sm@L$qcK5_\ ˕X|NsȱLT%0|"n :"@ͯ&XGmN&t)[ 6Qowbb~x#X}Rì׹,B;qZ\( ,]PƮxCyj\SHQ0?;t3$֝91ƹ rX(9G ~}؆H0+mWdJa -e'B%Oϫ PRQež*SmnG: Ns,t81n2M,krk?qI eefr3xJo2Top'JR6ݝ 'Z{SZ=Z^?!段M^ =_}'ehu0#G,uS{](g.vRLc4c XXpda2;' cKEGsڷ1xyґ[hރ`hc ֌W(@0PΙ6I{.ws>{"{1k3r?;?j^qiEf2zq׫1g 'yj^T$SpEPu{I}>1X3?GnUB )9חlj51uЇHeavratg%MS4Fa1؃(rb E B<՘#kKq/PȝlƲ"RV0 @`1<hԉSϽOc4 ("I?pk*Ωљb < $Vaq QSL(k|ݒ*XmBX³Լk5c IZw%pcN'F؎%;+M׫{6I9FDgƁJAetĢ$OF ![txC&u%P]JL?wtzPh.ivJ]7 LW@th ;)X!m"7a"$Ibr_ZHF^*k0 $M0ʽΛW0X^wRlFhm=zW`gE'87 5W+섔nT\jVlxgY0|bIw }CGLRy 6( =j`T kcs`@{Ũ Dj(^Cm(w;cww eyBIJ7uVU3dV>j\;<|k ^xYR`CPMZ/3qJKYjH]a)L zy`uet.Om{HM@ռ< ]ⲳLANBjLvИ!ӗ]]ޚ%*Cc3\?80i̩ʽeWOy!e*ΐw{zq}4\qTS x-ᾣK/y J6-1 m$BǷA}JZ2=9t/O8y6iSB5vʇEy@J3W昰$$0!)+y /F?z˛xg* ?l +&ERw|x둜LAX;{h ,(a9W\+i`+H{uwC ~$151ߤ[Ky \fox#cT$x1BRew$DB^"+niɏo2/(^ckp $Yx?Rՙ7dY2%FÒ=^., ɪЧpNæ%aPoEW 7 ߁3ݔq>-\~CN {CM` ^mz4"㬽z-jzto[&|9h &}BaV6B$]W[ /*Fńj*f3ǻF0O!]J`ɲmQw:ݚf7gWE{r4'2h|-ErN;1e 8c^P8a6zdn;F\,ߩ;Ud3ɦrWDu4)E?^ը5TT,QqDZ {Y!nS027xZ:DY˱LLt{q]$~J,\ h}C~Uq T RJnMEk+ 9bkuRz^%@VI[Wo,ÜXPZaWS. 3Dv?Q'=I񅿩n,4n m=jS>]>A8LNuimCN*%_!cs , ]3H ԮC$nF܋c'} pՏkOtp$S tG m);=}g=2dJ}xRr032A7gڷ Vxm$A!˦x&dfϤX0sC ;&9㍎Q۰}"ZeZSoĜw*{Llyr vqO Sΰsr@X'GX<|!~gYZ2a965680f54c903f24e69084805eba7be28d6b9f1765a06ed7bfb95809fcd480531b6aea79d668eedb3306e1be724f76356daf0f2b195629ce39c7d0