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# d ]%]UTP-Toolkit:threads=4elapsed=20.613cpu=76.356gc=2.340factor=3.707zXZִF! ͙]ŗXiɟH)0%o+\A=XT1VA,ztJ )'e-J$t$#>j5)ID@7s@C̛awRlKܜP}u { FEnf2UۗCJHdmlZE:+jH.ҡj+0@w&$(")3,&R=h3~g5ڄCD7{ })RQKRwVJj /*Vma$dU][[V^鄷׻2֚'x m~7(˘(a'pG#oiHyq߹4&LCHTtsXlhh< wU]B0%S O9 \3 ~ LLjsQx8;?mDE\eE"FfmU"ɂi!3wBF̑ɲ7T*(JُSkic/3*_VU, ,HJ-szú L#wF,no<)et]U74/s,P [Fv h{*3:l铏R?<]ye@"=ǹEFUI:~^uCbHٕrR_c IzT4AW'Iayq Y S kDC2h52#;kHJH܄7svz*;D6D ʼnq7SbXV&B)6 ^&S ^0rp{,(zUɪ#qFgȃc) # UTP-Toolkit  n)ʎopY',mdlj@5l{3cl(~s  /#cI6c{s qKkq<ޜbochݝTRC2$:"+(5 1Uu̕KU1-S{8.y6MB9iv:G!s"JE2 zR6t4:갾?.V溲mK e>:Dmp % J@,_t|GҾgQBЁܙ`sisc8z.zTB-┘c9ǐ3(:klju"bHdž1Z0(WO{@& |*mW)j44ָٝ"'o|5M'>87'RtKoaGKx?Vhkn/l2L7!y!A?6Vd1¬!Iף2+pf؆R3}H.JM@'{ݐ‡(D5Q1}AetvU l)M42J_Pl|l ^*!mtNgrnciNHki> YMS2j47 _4@hm1q M`6k5t]:pGx95j'absL&n}}/0ee$Z()Uݱ `R$cciw=>+۔atpFf7[9ƂTM0e-kKyuw  Ŧy{~l\BZ4D 8Q9h_PQ}aW~_BQPoUYtܚmFze+xR?^!^v!<\8=qSu ؜ -WWutz00=ƜTǃ:lo`ëZn HāWM;@7 @?+ID֯.-Ä8REKM7TN᠄B>Υ$%tUbknsR+%#I(++5ᘜDCAhIk藍{JM %DpȨ+ɉL"/sLL(xZ`XLF#~o,?/15q[1) ubCV黎\D[N3X:OSgp>PO =fv9ԽQ&fRi`n8hG!WmS+T"iaމVȃ̸FK*?ɧ@;K'\[2Px*]9\hRLR9tmlAOAvr?`8 ]pLxSDl=xJiq|gcʫ%U,]9dmc >~Ԣ{w go [9 &inMk Vw <4WOf[* $:T}u1>~2C1^n8r':E -Iۡ6nR^Wrk Y)4 42 ]T3"Tz3 >o?NS.0tu875ЇJ d 6gm`l>L,&ԚJT3:MUP+W9A,e蚔$kFTEhyPdBDST 2Z[\Eը@@nĘv6ƾ8PG%SFȓ9b#`S= Ԧ3ƶlmF;fVx|dG.h'd˟qnb/~ _N urڅ RLR*xE uS`Xd݈mZS牧8M셁wvhAYK4]}9nmp{Z{fEv< HVlQ5ߏ4&Rvw.>ҳ.%lzғ+ TⶽJAiPfn֒aK'0\^ֆ>on-Oeقp \Z Y ZoTzCYVApmT~̴cD+b1xײ͍.t ̔R#}&/6pڪ\/m`˾=+~_sVcZzIb P)K+/Ǭ)YCGDv#3芳A{%+HdCbt. ~VG+]+5ȋt4Qv~u"z_T@R̅jTrt'_9ZƟZNȧrVެ&N|V79`*U:pWP14$!y?/ºj 95p3֬9վAW6p9rSMjQtWT4pv$]6,)!L`xcK-PҾoӧ)-{a шW¿T/3k|bC k俈Ԩu F@CrL y`2qDxPM: _sM8)<:=bldn菶c|4jBUo!Ω\'%YG + Nn11b6v$OE}ޓ\wu.,N>S?~1ڰ |#sTKSHꩄ u~#yJΝȊXvׅ;h(H kc=3;t"Xe"KژI `-ikd/=X^Cufo#~_Wy>8v?0Y AK<cڧ'Eys>$;t1;ƈmAh( {Nb:gɶb0rVH`dC0cMZ]~ 7>0I?~<8?5 y]> oJqA M%Gй:5RTAzSӣ_kgO\M Nh:hv/}s4?Jo0~椆]31kZwqZC%ÔP]|aZGAg7Tv/X^^If~""s_2Lf_&+M~rcaJ}tx|w(ێ N1TP JetgK!eHp$L̔8N "fe2 5OdȽ1YCMqaL  '6dgGݧg@װ|X9䖷KM{~gz31t yc,4) G?̢Isrzᣗ%S׾ǵ;YoL9+s Dyԓ1M'%؞`"Lap34RDbhi+Cqٯ5Q6?ބ=>` =Ię,wƝŁٷx_k { <fstYcѲCGB#R!IM Ղp挧VIUC?j &@:!y6nf;a?,%e-l-oZ;Ulȋ BZGQ24ݏ?y6W&n jS;dg H &)3~];ItGY$8JjEO[0XxĔʦKM6Gk{'#՗u1 f+@ ̒:,.V,UXṥZ.Sk4[LwTKר) ޚ|z\AEy#L33;Qv.ql%z%ZxAf:;Zp=x*` 5J\9'';s P'N⣏bvi=7eM/6nQw'm: lql%C Lw%8?MS[5dz7-Cp=  }78|t.%¥Ԭ}&d#FY<oUlzt9B-=0c h9F*p:6;/ؘjC NkHFsX5ڏmcR/w+L |Xl\ =Ǿ9B4o~bg^5 t(tuDW?aXՑD32)XK&/O\A݁*U ,s 2UfV3S `Ɇ};? _*!CIYd򀰊}k˵ΧNuZ~3vmK@v9Ub E #q@%8E[Zix! TÁGH)h򡀷wnKDWGOPЋ Nwuv&H^LibJy^LN铍"f@<٭r((H ,0+'2.2v5u%zMcϖٝKpXd-L܎)R?0&+W)֞d>IKJcw )#6aLMcV<-*LYϐk̼|_j3 &`>+D;H;@ /؟Cc%@9qI*!×7_lêM6g͆kZΈ2mpAX>Fȭ@ũGæ Q<6Fs#Vo vVbv 1{{F RvC4@a}|/Xd2x_Ⱦ7w̼;x&܀p{ V$/!1wFvoB0lh4{ [Sq݊RK c)L,!/^uSs>=[4)w1'gtv1qGƥ`1gkg` :t?IB^@(ZߥZb]UX~xQK(,F.R 52E* n Ԃ1O0B lD ]y gA;w_bN)s6. VdǤ.s 7͙LCP!a󎟃"+{"%tSl\d՛q s=&9!/pl&ۆb-(ypqꙁpT;*I22W 33c7RJ"(AS<dQ^i$\' peL82,4pϓ#` gETФf?,KYl>IC@GN yU8MuQ+Eenswgʆl6qW 48CZx{iMLv3Ś`+v㉀}D|)lCv6Iy^UOD>qV)>VK7'@6@-,zn[ w<+2%R{Hn=+KX xNPx֨gs"âYBc*lfIXI{ * |gƎ`( rr6.$lQㆆq 'f?6 1P OSru23Y ݠk7Hf&҅ oG JWv~l܏-+Ye:vVki !ibS&YA辝)Diu4&[s"dLÓ7AQF ?^(udj<RޖWP-+ ͦ{S{=9 H募Pv&aQJ Iv.7 [&ǜ|`2P +Sbt\ b͟C2keL< 3,~][FgF?' G;9Z=?Z#&}WPN riRl,V62Q+_T$]oc ޑ|Ą  U7W;r m5q4.R5A57+}6T ի@%UdfWbYǍ|7 HDK;dkMGq5h۽YHį~~!Aċn4Ϥw:@QpӵT SPN%haM&7۫;5cY2f{X[1֗gq~E&79’4n;W@@ y& Y8#N[VSk? 0z^<,y%} rK&]lJl |$ sgM_Fk&nM\fyW56$BkS jֵMa-*&Kf?9v0wowZfx1ͭ%q{Den/lEݏ CCȓ~i_,K XiaM6Of8 50Rh . ZU =Vs뷦4$ӹ-k*wt8 B,Ev4(# m,S;ۍQAl|fQC_͖&ñJ!7Ưg;0aEj`6kE e⽬64eg Vg:5z@6rI]ܧ&kb.QX6mtf0ܬIzP1ڗ0&k iuӓ93 +}c}|qœ*;_cy" yfJԀ1]jU"7$m c"(H8Ʃe{lm-uk%,}tKr^20=,s8l(eWZzZ*h 3PBM)Hqz< \\>G ӪP?}&g"O pL%}cK6COV10%6ɳΓ]V}T ʻ|&ϩ.@U,+M_1ZN.kp5}4iqF;LZohw݅dIQw:KL&ᑛJ!n|iJŅ@e2kn)r9Jdp{#Vn ȯ%鷘ox% Afu`KהIưOۼ&ܴEJLuY0CNizE ڬ {$6XmX~}rp׬kZT3# f(Ɔ뼜1fLi{dz:ur0#:<<<_ "w k}оi=QG:dӔLZ%=Hz)<:x)2&d {*K[SZ\ i~Ѥ(=%hR;rAu-FBS5Ng:As&?2bR &<8.#?Q~5IC,7+["5E|i`I]9P5ʰ9CP -C}+efKX@NF k#9.=hp4['<9H iGz!;8 t$`\_kE.0h=yl6w<j>j0T  x崼si!OZlXN LU饿ғMP6jVV DB?跗&Հ iy7$z"BK7sM*SExƈuߖTx.K3bU]lpr=˨K3vh95˖+w8ٙ+a=jJwD5j*4[]5Bx?i !L+*#cY2몴w];t̄⽅y~uߒ ly1H*DڬQ?WѮ\p6 ."Tp{9-: ȍ "4)vNې{+Ngο z,!x*ov)\GwhS.LH01>dlokD0mfeJ(יPW OpU t7 :s4(R+CqgoL,m1\`o.zrxm)`eVּOq?5> BpJvތy&sce+C=BW*5vPzƗ)UP&?ݸ&RzTK>,sQ𨳡*D 5Ot[Y6RDȒ M[ɕv`]@Y9_ꕭQ\ kw $_hsoX%H!wuFh*sh=` F#GF$;dz v{R.\ivhU5">/L\ߣ>gKh04YcJi+b$0>>] ߎK*BPz=.򡎪QIAR}}JʭOg? REكTEƥV.]aWd# FxMHBzg82Kc똤AvzOEaT怰S5[`.l8+&8|$  ~Y*@_h'_%P3#D)ںv|ǝ!4 8+saI~em6ﻻFjP w7iR}&)LaafK[~yvQǖPOP%+HPp#|ܜCo~Tr2بVfCQ% N l.$Y?2;pA:o| M6ƫ Fb3?IcR]}O Ցi곪+)qK- 5݇AQ։"`!6 W튜sX`(H8pVK\@dR/^6C~?OA&^أ_fCJe:C9ubw;;RGlM2NYQsmd%{XnMN%L(ձיqWV.3!½_K:/uSVΚ ,wJ?䒩1d2nx52_RDϒ;њW)qnpun}_O֐.R?-r2[[t%N°W^mߵ4Zz %`;k VMT.%!}]E@p>Գ5Np a g9}j_Hp:[w:S.g6Q7Ig/ٳS'\Ur}8rY=Y,n21@8BZ e G(2)]vu͒"wEJC۞0UCDo\y1B5vޢ"㓄(!&G,[bdn:q(k0,m *wxHr˗oe7nQv :bFKf:>૤8o^\BdJg gC%Flӗ.ld1՗Z&!ZeX`q B68kc{Z3(, ,؛znu4CU6+LbŇV'x$%1qUU{'$\,,M-1{F?=b+ړʱL8;~u=3ij{=f;*]f=G4ꓼksJW;+Bx}2P0}.v>Da[BZ"o&*Y8aslbUv6Zp953 ٰVnѐmAV6>jOlGUz$]Ok۵F ]?e-}<{No& $Eث3S;$f$8 ɸ#}FvN?!*'[;tly ''9ϩfl b Ė  P7~,Q ^ɥIB(# O* K fHn|3vl!x85䍆POn' ND"!)- o7 9giԁB ܲ'pCMv:'>Yo! xM} 4+ L%d1z^7O'|rz܄(k*rDS aħh 8&3?>=o/"*$CY  V9v$I\67<ߋf7b/_v?=]}l*+:]ԞgS f9zz2bz>F0̔iq.\ֽ5[~EobM}~[aEh Q䮌 = ٺبP6}$U8 s%vut Sʓ+k [JR; DԤV Q U6-1[ԯ&D3cOF9dz1'r^okT۞renz&>nlt\u[/uqg^e HQ&cʢ{oc?4ow: AMƖ3%uEâK(}Bx4hZY .BvҢbE\di1l3rRfmScsoc{h0ZN@_x9_\8ouJ9-Bh21zuʹIWꄘ\jF-hv}zJ]x;ߋf拥`|,N"9n*¨*KaK׮]?h'jvG'!y ֿ?ma9Lv{ nKg|&§FJmkB k jr=1o BRNK[nr?&??rW -E!K9ס-mmV\IfUܞEK|7A/*Od_F0Aw(,^55Y M3%3N!u\O~y)N2hӇVUx{;S)MvLV8YtLԖoYiGh., Xݜc JѬ,d<$T :||G/ .3$C3B .h5Ŏ;Y)>8DOWB|औ]۾e&UΝ"uŒ(A-{2ͼv0 E]L˧? ‡CocIJ(AY㫗j{Ccj /NۃiMYLiEAkACMoyAeiQkڂ~%AwI6sJ] W /rA~F2$YjZXͳ { DZR&.qU1aS'OB}}$Ylc q#%ٗ3mc 3Shwox>I,0OcmE؏(hܪR[ɳ%#r MjNW{7*N<%%*5.G*;Q#ZM/ʥNGT&jW}'Od{sAySF>kN1|!VsA`T g7W>jCtAu9̵JBȨHe;#n`pջ01bQsZ)>Ecl~`ΌYMt[6ᥣ9`pG ϩ;f AW 5hrSh 6Ees(AcE׷kd߭R %̢fh OxI _m:{&22W[H *̟#*1uYNI['Upg@Quc,X,X=u UtMEmIm[֏)D "6 ]` m D-iTnt+^Mϲ×'h{YNv_pBvI͏i/^u BU噒,E%)ߩ\OQ5{`ڕh ֓/~b/Ĥ䬸B;Lp:fXk|eֈr!}lymNZƴ.o#\J7_Pn 'tHaE^LkorO>aR.%W8BqEL*oWSZ7\2a_5btRU\gC8)* ڝ͔Ùb*;,9 rXGA0A z>3[tQf\j&m;8}rNW@%/ p^ҨKM(ykS4*x&b& P#UoVI.Ͱ ] ?z^.x3F(.GWG 8\pmp{&/b{{]Y nCFJ}sW.8Ӆp_ɋ=8). la:S#|?[q[Kcжpk Xc7㠶 a kjQ6cE nbl"tdǞ w:WT}'̀_6qAi$C<]F|y6ޟsg4*D,X-Z5$=@MC80Ak E$t_qʋͭfc1ZnKŲiq¢V ` d">z]/f6?.eWZvR,Qq:$.ULWDEiG~%zEjL\ (z COtOa9{E M!qNZЖ*IvAcL7dtgkqciZV6+DoT+,#QpF~nƜSx~?fԋ#\##$=X HJr: xLw|.2kĂ+XׯLH,Io&zI[tk) :bƦ14Waw.̽{ ǹDU \DiQ+Nc#~*Z6"&YN tnᾈ 564Lm>S`"~ G6fIp%N$Bm2K%jOBp|1|Ce`3BAh>%^@l6͑* DHf 6FAMoӹpc\$XNY3%Kxw~\«^l+gg xHaʘ*IiVQPL9q|X]Í]?a' ;{3zW$[U rszeL4Z\?^X#Z2"XZmQD,,ߎߨMa0?)-2r R$vu{LCّFuqmnĊ¶Qj;l}h]+4 }>#(ӬڬIRANOŖ!tm(0jV)=,0cyIs U?#$d=%[/Xvàoɺ[p[1~f;,Fpauo6V)CM(s az}ziPP*(^ w9Sz,=`mρMep:݂Y'c*qo5j"(޼$܂eSC}\̙EI/nʱ܃NuЁ4qi |$N47 ;FF M1Y-Os4IRvE3@6XA|3lGD6[Ķ,-~@>@tQQ3@yΥ ,~ 'Y\3 ޾emC؎ X헏d P7)a"\?d`bQYt?叡ّ"@8سmx9 (q'YTRg0Wp ߶ba v5c 0Fi 8vx0O{9w},`oQ k=ǹ)qh!' O񮈎O6Aw2*;3}ւ98aI!t؇GRn4QDH 1^/s-OLj(+@(}Fs貺v1WQYUBD* YU*JfXvLQ<% 59s  Vo HphwdLOX""\s`Hyu8&F3XQ[^@'{[d->HZ,q!L{y6]#@C_5[9&ܒt)5MTꁥ/V.t {85 ɽl2a;RX=H[AX=pqlŰ(|Rs"vKJCl瘼 QipX@W8“NsOeLéF&_8Ə.~`;{XȀA]؞|N|[lmڗފiWܧuyz@ >?M{XrA@>ܠIl-8k|oqZU)FZw&t5;N6`@mJn yo<@e>àL-j>ٽb[LS]P?4o%CyGW쎟 bd)/ʹ Kq]D1lɥMS.KKvuG-l5qO]`TD%:1#1TJsTv&|7rKP{XTUl]颸Tq  lK郩҇'I\݁ O). p/? [vG(w`2N$S f+?F}rd12c>FU35P(7~].9ӕ1J4Q2%夔T#ҕ_ҴxHVnw|D{dGQp^ [~ӱ,/Qo_ YE8\xA*Lݐd(zjӬf[`вCP3 d'.s .Hӯ4:x{.1WzʐvU#<|Ύ"sf ΙT뺷8BR QV:<;k}&[Y{5w:;] ë胎"lfl_X"-Mn&0x_B]8WÛhYdY7uV8P ^lI/gnc/\q)ls%wW0p]xLw9Ml6Ɋ: ?<{y_5 E:b05oAB=07luFxEK䓐= 9&>=µ8Eհ,xEĆfUl~\u\c/ڹ҉b&+1쩷ǘ\2KalNRBЕB:EɯZc$-qjbB;Qݲi`EX ێ cKD})C.X&+0GgvG2OUypYH-E1wmSdDҹ<Ö:V!7ʣH`8ԏ󎾋;'WMBŁ{>HѺB6G~y{্hF[ܒ~ܳY/̚n0GiR0֋Y-vm`@wݵc ~GcS*'-ˆ4 Ro8"q\K!&i8y-< fMє8&4ɅAz!EJC/V;ƚK"қQ]'-J(:ZEBgkl"#s`(6@E0 n 3g?gĝR[5O:k'%$1 >bgV]>YhˠReqk+XQcjuYÍ1)tx<#@m_`SQR;`PN\`0i (9c6ĺZݫ3ǧ߇ਪᘜٻK8LC{GZ)]lbgu\N5EF@$ͦƜTp h*gO[]ʇׄl (ӸSaE9~"*IS˶d!rQzM}\H)>kH\΃4r6Uؓ-2 ߳$ͮh,*w4O>!ovTP;oA4YU`tKar9˶KB)a̅JGގ"˚)Gs&)t=ZaZbG4R2~jI$tb(CmdAװzpϘcd.rʉBO7k'a4P6ܙ gK#]_6 3+MM] \'%82yap't ²[/̉q6(;鳲û_= H_Nr]%%NU } :?u"q3>%yIezXy5OI0 }aLETxSS ]Y`/${K;r Y?#TH MNI4tTKxހ6aqqX.CB'MJ΄{A88 d+BW\ @f,;mt`%Y2y1@ReFZ*cbIm!նYhD3KLֳM;%itC&JŖ#Yv|"וV"ŞNuxѣF>i52nK# LiZ\<,HS[HoSuhRÁ1|rrDl\7gQ#DrU0,Wf1Pt6D6S9!x^X%Tɀt')2f)҆K"I$j5Fj(p 4Ӯ,3}ج&cN!w\FpulUdBZj*!H u^CL,z i[ L{̃+YrgV&WTu"fͼ(ᔝgܞ%F0gwy !_6ZbC{rg:dCvX]w_$Ȍj4~$&y016 cv[;\PWc9~@{Y;%|u5gDAރa-0 0Xլe ^8cFgKWm0Bix9M~,M 4^( lA)5wF^\f"]mo "ǘkcƆωPЀ~=7cva`x؀̍o&CP姯` ֢hR@#zmwM N`J s'hi,#{C/"}3]iqŶȷAbb\Y2(:aEҜ dPX3 qp !ɥ]*K >\x a,?CS|MґR+} >SS1#HζRSi  :eAF(NڥKN;56Ҫ]pfiJGJ,p–&{L:S7%2͑ORz%#_w`;RT6Jڶp}t?sy6O^Sg1wkb՚+" ;,hO9̎[33%u%kH(  X0RD/h ڳ9Bq DS|9ӗ͠KE;:cb 7(iCOa.;la E>^:\' )P^18gIx(Ì{M asr/h[Q1<ވ>utm_X|B񮚗t@c)CQ]l 1Z*NZ\JGmJgfP,2}ok՜q. l1ʸnK>=,:]{ÐF0M罹z @M.D$>psĄ©P S`7`werۨۂ ߨqRɇtr:Cju`b:ip STB<܀Oِʶf9z0\/b`/=~<&Z7$(pu66-A/EnI( ]/J+ M2OZt_@li쮥h.A!jxxLaD ;9P"[EXrT|FbYkjLE[k5P<%=1SC enؿ*U~}DFAc\Q[i0@qH/Ψef18hkdfjHHHe=1Z?6۠!>w}THEArw#,4E6x']e sj?+gjm2Llb8zX]ާajt!d0bwk-ͱfDT^FfkZߙ'> N4G!H=,iGJcz3[Hiaksqv!g h2}p}PΗ$еrWI$'|8*[R4,mV\geOkpkFQ4RQqC)\S3$Y;)v8njW~wɚ'hvӁT-.VW.$dMxu[U#+l$Cs{qy|Qg]@)z$MC3{mc4vi2rl JOlĽ7g314u(|tSiEa[Aj=?p9̿atЗE[L6n)@S1|n̩)J/n)x=BR[21va,2yɑ{.f&}Ε*(pb{%Rď$mU״'1R4ܳ9PߕLȒ)̗*Mn=F|Qc>~'Z(e4~bGA·P)n^L9H NeG\\I XUu#KEF?T.@@0{)Oi>2H1)$yW/)=e!o^snf;ڱN<*PBy3 jVQ<&40b/dX8ȶJ`箧 o*(Zt5kT#R88J~:!LxVI@\L?L@O~shNՖOTJwVVGEG.E$F6^>g*tyZۏ?f(#Ô Ĩ|T %쏺79qMPƭx̹Uٙs,xv@v9Z뷚 ͻ%2p9aLYys%QA"wT@"XcŸHY2% a^6 Tq`Q^86P_#ĺ]޳vo8BV>njl!* rfk òR fUKq}ȧb'a2W1+M>1uR^10^q޳9\ "tk uj՛^~"ޅ#,)n{|g,smW@Ȇ\?3[-.%љYsF$+$Kf"' Uꁪ ԋ2۶fȀ"Q9\-{x Mg<6'k+D,_WThf5'_썙2 ]NC5{fu.8=U߱WwN4'BUxL7 'ɂN@8YRoa fu(\0Ì0'5~mzCu4&Vj5w[\ (۸B*j>cV.n=e Eγݜx AJ!Y_jM<ǿEMHÌ՜lnUnbRATU+똱1b1/ǘE'l[ƞV4^9} e^ڊ _pK [DDK,S+%oxvrn 6]ZؒyzGoo?&q_2HjVИOB@E$;!3V2!DlH{m%, cP7`EjDtΥ5;dӤ`f8}Mz_vWy#`ʸ>5d#HvJ Roܮ8 T 2^TrN_؋2â,Az{!r?߹N3wm1=-jRau 2&;dD~Mz."hR7G{EjqI!3i½mce݀i飂.I/,O?pд`OH-}C" .[:}1Z=yi?Z4݅2 BR~: m?z 1޿j ;Yet ?ёGʓm"^n֤u.{SOfȊy40 6` 'O łx`w'??NE"wLjrKBB&W6U"Aa$eG22tΩ{90P˃}>?o9‘s ܑm;%2?<{RY;k!lI#B9d;B.31C2l%lHf9`yzUz Z$C|잷rh?]4/ >D m;?@*DܰB̉daQuDH(?%ir_[R-Yx pRƴF0H]L m%"Rʜ*@Iy5f/g(Fj- 'Tw۲\# F8f F¸ٙ[PꙖɛ{I I Lt4hŊ~6J -E".>t(9eM/sx!P*aԋfm^4W/WK)yyfHr?!sjgVPߍ _\%t,zn4; ͮZ.|f$Wa8X6P ]|+?"ȣøtR#e=^<(4EVx4s|Ш}yۛCHƴBJ38Ld[jGW@<_v. إ4G!d@$S}m,kRJͯ7={LqjM*w ],l]lӕOE^=W*"+F2YWAANQfʆ*4J[ [͎Jb)k48粺$1 &k6YcKJ_r "ӕȧfq ="N]LOn|L%Ǥo>Ԓ4Z*>;8*P.{QȖ3%+r:-n+E%ljjiL"x2tu ?i?H49IX%BwVzgHٹ0(7:uL(:hmgY!ތ`޷V) iG l/!NHPPT&oKv7<Ԯ+x `Z dOAh O"Ua׋.m0AVhdB_aV~u`jSBM7%x?ayDn] e8mWJ6Q} [3L.| &=_L[mu1) 9Bp>KWC}TmW +`Ys;uj@*,-: ~ PӛuEQGE[(GvnV v9ճlZ9^иp-r}dZրFy~aکOw!OlARjL2A0[>m J= AL8Uġq<<MS =u=?COCl‘2pj(%-b}3+*' pVɉrZ`ᑋFhCrY@uW52^J7g5GMzܶ~̝Ss#I(rR`ƿxBd* ׮ 1.\̥&j)+N}vje\a./á]U۬Qs1[rL0s0J-OY+Q'zĻw_ܫ{*^eC#2rDDUޠb,9MKe$)JDEu,dm82Fq`Wn߈(ʑ9t-;PQCܕDfc=vk%G3,&?Y㫿\Q85Fޒ~ij[A\ @LUǩr`N?-M86pOSA؆>6:skR`G,D^z˖O&Q45l lx{MyhQ̝GI|b:{S XkwjR7 Qo2H[>f8A!7e^Ɲ5IkJY#4c~B!b7 ˧}-!av&?oj+Bx}*:o_Axg-EAwp"#I5*ܸ# n(}燞%p8=l֫gi #ѶzTyІ,SFEoJr㥲U ==y%p5ʜ,D>x#]#iT ny"䲦FLvʚ=jzS}mR~\Vh~EL5tru`t/KwڻC%< e|;de v-"~lϋH8gurTEJ Xox pOӿ9K8_} 3iA'nl S<^P 8~j2ER7׋`w=m\yIDzY A5fNU壭g”<}7f| }>Aj)6ƶA|*݈y+%:ycw d(ɍJh ܗGNKѼ݋6o N)5Cntֵ \BfI!>nZ֖ \`r9a FƧWI8jJTh9)SNd?2Zc=$iYcEO}M[= [);sԋ˃atluuYnqei7H1!5Pf34`)c'VIy3鴳$A]ª(K/ KBNa?.25 nJnhGnl"Z8`#IDWc-a& ט3eELjX;B Y=:"z(F #>e߲Q7q5S [hܺ`~:36D&n +dDuoC&LE hָ4'-r[C!Q Epm` 2ӧKIi:y ו|&Vh x!}qzJkݜP>-?0wC\́[FCEdH@)5$SAŲlp{7.&:Fxx{2QSzBjx?K~P1[ ʺGs*u[nxigYZ7zXZִF! ]ŗXiɟ.z+ j5P0clrM0\sIl-S/]E9#rl+D^#wt KwUuVGq͢W#8z$I:Sk vaD.omԣ|{l.$B=o?3 };&ݽ4 ᳓PK{GIw롯 r)O̓~~1w7_k@.5g'`Wkslf(vuB5r= 44EMo,Β¿#pñW拋U1+{{ 㒷(Eeظ $vC&5f4rp3V^BPsBU`YpB5-TTW.֏U0v]biA:ԛv{̉])I 4gYZ7zXZִF! ~ ]ŗXi%L!mEdP9?.R2R Wj:E?{pz#wAsUsEܒrDpC/)57{Y͇&16[t3;X ׂ[$ T5R-<V'(W".laGg n1Hx #ګBK#k=I[Ήa&!q*{K1/˛Hhz?KS /{g3qx UPD$(u݅Tm@L ~ ͠AS/<,%:/cMB{bL"2`b&3Ü0s h,׫|h;?k\ ΉʎqHmtMކikSنux ɼ8Iμ/aObo#l qίȴ!KƬ:K;x#5n 5h$PD98J~Qj$Ysw A=zK~#mi)q"J6>ƽ;bLS) 87>hpqӛ@BE{t*H҇jߧOz+%džhdSլ?ȸ@лqe[P f@8}P鴢?fȩS+㕝sbpeSA{q3K@@26SBWa{uxɑȭ?z>xH65a׆KVptHQ95ow1UDZF$#~Ooƃ0-{]r{JXGא`OAaIʢU74A!IT^r݀n1z(4x)ͦOD]UT@A4B*t,YRA2> b}owJUL5u%{-B~shn 5!yY "\$w<4 r LA`4,.)(!R]F䯠ecM+l-Ajb" by5эXdN)ow0N2K@J5۟޻%3;#4%vOS wUx|!W 4 o+Vjڄe]EqJJI !ʮXL/ߍ|#$Y͖0e#66μA賍` c~؀4wC4epEM{FLΧ0YG bJ U0gVwk"{/%:;\ڛEf>PU5˞uYW <=}LtWƱ~X!zb~_($m42Ss^+Н6FBz{,]lO0 kXx7r9^VDur}aU*m͟,}+Y (L,-?Ö4}TxL_89I(6ߺϹt:!xeFI1Ч>T&my8cs-N\nș$W{ T($T׫Nx`]jnZyZaڂL7,fE!lf|BofaUW7϶p;tsNk5]BK=-%>JYnp"PmLFTf>lLK apDS{p!ŧd C6›u{2"@ WGogYZ02167e72e289d12b14f627d4bee76f71f0b18e2d8215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61 f5e991b39ecd6c398783cd24c91c5bf70874d19d 031bd5f5d88e2bf19d7dfd154594e94961efe387 07d5259867bb6e7f9aea952548e2e54f879a11c5195b545d75664b82f2c659a35ce0ce2c517cd5fa