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  Y%4 ]/]HOL-Analysis:threads=6elapsed=332.498cpu=1597.184gc=105.992factor=4.807zXZִF! 㸬N]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VA#6sd:^mtLbX`6aDo#,Vfo7Sy9q5ŲԍjWը+Zۖ+|Gjd܎}KDPB c_ ڗ¼7j_[buZ- >03=d$[O ҁnrŵp9}H["y4'S ? 2I"7B^/(j:\c)C/PiC<5?qOpǹMA^|o'Wp/h kHÿ2#ȩoX9, % HOL-Analysis  )ݤO=˸]NΗͷIm2xD &!"KXXV1g(Zh@dJLO`SgkuI'/QVO2vZ͞Ly2o3^] #Ћ§pޱfJg1<-q:;~eX5m9xz锷Щ[8u {| 28*b&҉յ{Ztdu~tpjp%P7uFG`(d e l0ALyЄG[W1=N pKmOJdq۹`}#ҳċ Ɩm= 'G]lWŵUЙ&CG! \?Kfc-;9]̻ {J GBJAbHobq{{-rS~ǶѨ},bIWGOlVR;ٶIZ2 %bVqh< ʗgy~|!n3º|]2'93,}Efty6Xj <c>{kwGUtAm5WkLL%\eM/#wH3+Zy(Zj51;QStap޸wzmܕxVw"}k* 32egpZtql}Pbt20'CA9AbXjs8KRto)O"x!Q Pn]'/C +o 1'@G4I0n^QO}B@.R$~` h:/,*Y9+ adi3334{)W<\܈/saf ҅2S,9F`\sN llByB Uk>NyQΠU}K# Սʃowl[u,h{sI+=aG%0B>im0Z~3`X|I\敥 ,Lw3CH2 ?_Oer9-q䐉 Wj#C/LIFZ RKr3S PN#X* ֫B1UޞްL6B^$emܨI| _M{HHC(_ĵN_x:81;A7Mq++u*Zwl}fƼ4 ,hMpdvnLvo<8[\U_sn1jb'v(T7gLM"zهsqpB\cbY&^o0!`ÆQHWa~)_I{=+k4&ǰk(r|ƞy?Oń!dgqJ/a`Y-Mg0z`r" Iw'$B6aN&(X_8hoTCΏ8IoٍLmG[Apc.Pslq,G/cRE;3I7Z; Hہx2ИuHk 9]4ϥef1h>L'3 Wݖxnn}r$[&1KGq>Rp9=m=ï*B|\(}qZ'աa 0/]#E29H!U~m <>CG2]0rk>d 7V`OqOr C*eRsuCQ͓@C8(ܭԹis#ߍ5Wߨ\0Wh5$j؆LcuD#?^<WH{fmT:4'qҞh/u Y%oPaSV.-߿B6qχ!=fDzCi?xvY6=c{oOSعC>į:7_IkHB[*>>$ICݭ2 PLme ޭk3),Q I@87P_^sazAv*K5^c 8Ts#%'YЫll'Oc;QM< T=g3Vnb˟>Bn5oGR@K e' evH:(d0lj'[ɻHK'!L֌`F %`_òsj`n)/W”zG[Se?]zܑx#u#F1,;*ﴈW;ljN\s2pύX|~y{{4}.LS QG炸W߽*rJsLR2ӎNkT7c:MАU >+k'=0EdWt_k 9[-;On_-eGiBgO^:01,(gFum۩r`E 7r:l^sۊ0H'CZ=M_ X:.vӿ5!'h+[Ä)YiN{ i<~UHn+;Ac+Ў ÖFKd>dyժaROvy$`VQبL:Ôx$RH ˵):̶ Oکk{J2CS?;83=VJ $Eoǃ/2=6P`^#q qvo;FzG )TZDԶ ;M}i<7 >.͈,:[0AH%JK[Qf#1p_yɠv OŊ(%>d?["a풞8SD S^hA/YsBF7FRy8f& gv/%Ǔ@#qz"% i9$\?/l]}!GV4 ĩ'?6ytB?d.N[y]̽N)tZfjӲ&LVpE㨴K -A]jl/ǣOZ&_bGLĖnW/+Piy[3*O><2'Sr!f5tG'iU:YBf)hif\hBUv $d~mp  MJm8JJ_9oF*K,ZOٺS]|?)Q}n~].T뜵F<T܋L OՌ)ū 2WZhv}hiKvzс$JhuSB9T4f6p91vyQjSzξ_F' CmIƠJfԯS J+?Ks₭f;UEa(*\8ӐH=]M= F ]i&0|U| q8~t40ܔIuئhTDAŐXpKqE?4jݿ$3{p|s{b(9T% l7BS"N s\ ʷqmgTgvm?zUgTT.}X}ٗ\N7sW~bT*>?B!%o9B k'5X?EDUϫ4Jz;PnNR7{1۲* ԋD1-s`u]<(B?qh0LSxw7M$nʟwx>V\=EN=+פ2}0R!C72܅ q° N<ּա liDi _h>D L!T_ԓL$"㺏nHe)5dDzij>藞/#h$-ຩ;x=4$ B{z%oĝer1ƛ7Q nlXѾo+KQv;)~s"8 K]E{@j?#8et:]c.KϹYJZ3x ~5OBtA('<'Zi?|c:ke"^wEPЏKK72Xܥ˹К/!j^!La\MrsE%NAx#ms}Fe` ~A"MZJsJIWR4(kd9)V+V:,> 729P$r{QB'/ŴkS7>\[ u[N \0{)2iJJܻѽS팃n\44/}r,!gTo4~O4RhK_1zn{zsFUY9UK1>wY2=mm{0:$0бfCY6+(`A+~h}oBp ~@8z4@:( 9kZ68*܊9;2wwۿʬ!/vt`&i\+@AAI %y? ䷮̼Z)Ӫg\E49R:`N&?]v^Gn_'5T'-Ko&!Xkcj?Ⱦ$jDnYLg -P 3MS]u>uetaN?kJuye> …q#NF|!Y#З{(;3o-)(R(`6f5\#g]7_j]b% [wmOݳmutײ~1p8(&?z"PE`OuT-m7STk2o䞛wrHB* #Bd4oQQ;Kj3APSSR)DU'pR8v'u${*r 2(bd/&ˌD(ݒ,^L?c)eaEo&.V /Bj hI)wCe>M_ .^UUbԵ򛢈1"6}-J\0vQ{Ɋ,䉾5zBV{3QS e0NX*b?cvCZ;ċcaFb{6%^4xx%@X'[s$3Cʶx;zc!ڟJ/ze/'g˙{(t[cauV/}x2S{%2.ƽ{m}E!_$hdXx epdu>)/>Ju-z I e=N7iޠuݸa+{E㺓~X<  Z7)O8oʰREtGdJ6bI6D&P${L7 p݊`뭱ұ˹Clj >xw׋Ø|pz!s,o3b.B3^wW9M$=F鲌ÑԱٺUylUfWa8^{1Y/p ߺ"yҡMҫ0j&c!=3FvwO#PCyҞ2P \+Յ8'LL;z9c0&yyE#KӔ{ՀZ%}N$֦{Gi p&p_3/^yU;TV˜h_ :'u4P*PvUc꠻E>r'XQ-6НjʳE|SN%mo_Ԃ ?I:&,ip 9"q(Wt4݅xȩvqy։K bJIyIb:'4Vk8] i#z؀ ?5r qi=z[09^"7QA-)?Kin YdJ@Jq_*Q8>vJB啅,,6'޸w_bz8[zn}` m\C#%Pϳ zi`>.1 H7x~W'Ì3τ0eq^Jz R!L>NB!yQ{ hi 4;87^PC_W|`b 7u@ Q5d;lJ|QiۉpMOV[FoB|;;{o ZK/:u_PI7Y ʸrwx\(0Vxdk$dݿO1t]iذLi#AtD+opm@9ylDF7&^gپZHЭx1FAlQ.ؓ@3ư4#f `+Uw։g7L ٯj %LNX۷Ѧ~ ҋj!ba-5(A5{\4/U̐Tb:NcW|;J"S/HY:bÝpYtaO840-u΍@bٟmSIz2FޡbX 'BV3}‡P.E`J6"< ^: V|Dh]c3& %~ S/nmѼUtVu]O;$kكE^X5,>GpgCF6,'D;?-{D桾"ׇ,Fou3  ʌЏVXԣ.x|XFbٴcuƜDz滑1~zV|1i;#g[h%/y 27?9Qe{d<@(dC.Hz?OULyC>$ZY0 ^7yذi#tw rօ-zدßR9o\Tj&^Sn;`'-HDאlEzU\j n 3j(<Ֆ00:hWX @zp8M qG@#B EƔ,Q3嫥~e׃ZDDP#~a{oX A #w0 W1gRq6 wa:NGb,AdCȻ:Io'g Doũ!yhKCyI(ls>ĤwV-hp} -p/|iת7R/{;Avwp,e |! 600b`~oOϲd}F֌O6EgF?;f?NN#X+-B8]ѪXa2(I1nܦf5w4[ Hf^!Pj*z֮xZhAŗ%R& dVҟ2lYH,-Zu/b #.Ffo}UlS X!៚bxg .F׈dJmYdF 1 @i'bUiO*}Pi:%t'+N1}ӆ4/㵷Z~pu|rY[Fɺ7$BM;|0rȎ^e8Z2n_-8h k^YA׭kXP|9PM, ڋ:8[o#f,ǂH+ہ?ͬU]NP8@oΝ{kV /LP~I!SMGjqUYyGCL6nQ>◴3 rY}fE^2U.Y`~ {3Iç0=P5dI;:1 B2=+9e+bEVDē8@ 9WU6@}yHV\4ŚEV vh*sYo\cua&,@qW8O6B7,LQIST2j+tRX#Ӝr.؇jf) ߓ~VTFž) qgȥkyK&N K@G)(Gd+}+r # na1x`|@z`.9~y,)BN3TnߥSX9'v8khп-Eg=ᕣ{I-櫙jI)lJ1@,F\FyhGf[Ծ}ר;Ų8 ᅘM~/4^Eq=P& yGh/<9Pʓ zʫEو |&U+{ ?"3Ymqv*HQ|'j*.qOVN!~'YNn.^d'/32L猇{xȌOlhbI, ncΝ TxuB%$+[%$8\4R6f F J=m;vCe'4?w*d}Wk\=JhО* XxWTB3֌{-qR_x>)~ ¨Pw'PD PB[{mN׮]`9JCIYy _1#r}])Sp@:L%\*$ХY w|l Mگ iE+&6n\-?~?TxL1ȭ_DP.4~bu v9r^.3aT%/[>'hlXɁs">aᰒqzS%{Y)lcysݧovp[)7KH\SW.ιwR !wM:̋%<ŝb\[6ӛ-n=4*'hYk,Q$H# ЍMʦrXo(HcޚEG)Ʈ%(9lEeL  pCpbqJ&O/R/hSdp ؎ݼ#?Z#L9؛{`SK n^=ze0ђ^IpT,|Jqo2ǩ O+|U3w)}o'_/_9≜ekb_e}QQyAހG#5^ԕdǵ_N^JFr4bQU F}{k=_+z0ē?T)JϛqSCP{)q0=^B _H '5:sJ2) mU;uX H@a `(7#ѣ$ nXgYe]í|ZjFnHIkOvvjPmLJ43B!J;)Knl^+|[L{A;ihULƋUB8 4{)ݸ;{SL|W9p=ˊecB 濡n-/PY)Vuj͏ySY4Wh;n߷FmzʃX@[cd;̧c0WPIl}p s4-Lሜ>~lZj}מvXirUlW†%yr<М[gz eMMYʬ sAwQ$0Ip"gex+<9kYG+Xa4K,8D޼ ^VtZ2S:jIZCd2%=D#nE48 1L:("*sI`,[~OnjG@+ g,Ɵ0ZkxOswkʬŏkL~sl7+8}h0~Ź%suFc8pc$r9v]$@JibB#%ɿNn" ]42fCϷ0‹:P6/S47,Xqj0yƃO!M $RWӂv۷"CĞ+B$:kSͩ. 3OEYj< #1DXgd*t}[1^CscޟjyPB7#Z/6* bܑWJm*׍{Þ᧛ '7`3:Nw 2{#Éa])Wz~Gh퇰tP_VF_d }LQ~D۠w5QmOIͧQ vUEH6Ƽ=u_" p%3/N:iY<z^y  BO#g9ε-NA:VƧ_K[)hóGdԶG&brz .w^dy꿧}IE:KU[NvۼT8nS]D9xM6sI6sZ\kGOevETB-/]3#^ R:gHPFIB%[q`hwAr,v˳ަrڗ[MϻAx{8E7K#CQ>C֝'ڰ'2kf-LWdHXH!:;Ǩٟʶik2PlJQI\W ͸,Q w7~D!C\QCB:$baxzhFL1aWL) {\cjacx4ֿsVԂ;BW>3 X;}/9TDH.Kؿ"^wg_2w5NHb?M?v1VHœ+Ck"pד[Z"{zIxoD'>8ed>S Eo3blr:$=,9G"O&J*^[ɎO3~u&l_$ A--Jծ``p NkX}jNiJ1:7d$@{>PB66Pe 5l&f,Zߙl-k$ 蝰+?/vV {0ҏS6%~ RwvdpHFiwY/q7E|=_t7\*k74`|=pUپ6Pطeu:?P*<%HDLk؆Q1y pmf0îtwd;րfޑ¤qPHsxL Sŧ}xw@%)oxp`20+[^f;6 2!)M : c))7/$}&;c#&fQnjK TmkΛ;2fl*[uֶmCR!dϜlRߜ$+CGJG w!()7 6DDUк7 .ٟ'$D|ܻchX qUORش`D4+:Ӟh/srٓ ICA1W-QlӰQ 58nѾʙ[8lF6Àu8m<)xmiaԌ! JIAkO6һl 'H8ՠsO=rY:[.6>0PF5z"M<GF2zKKKi9f>֐­B#_YYBD"SpPL(ZZ"4_Q[su`cֹ?YpDzDe4h!wapJn iNUiv57TЏJͲ&%/x|i+!>p%4񌯈wjbqg5țb |Сq X.ـ1-dIgD ^ XtVzģqZkHz%`Ug³8OkF0 & AA|Qhf" ȼؽ?3:e3 >N]@<-d+.Q 9A;BSj1c(wN"ώh%W9 JᱵEMAJ$jM4QR%JcMKտ[_ScA8i%zV n-rd쒶4X)g[jrt3Ϛ(xGZ,zؠ- *Y>rE2?gl HPCx? &B/ZV8*u·'j?TWCEq@kް>H2gGxS_ZCDkߙD 9!LE7DNI NKazk"w=\H*ä"EF\zc~ "S"T+/1״$fT\3dG765kS[uHYv'ְ+:+홰 /ZynVJ 8kG|t[ MiŎÀHJd(ঃ1NPiTLsǩI6~Cuv![3Uy5 1ù/{E-h]| !Y,MFh g:N9$ bd_);XI2 %G>.a.z;0S~@\7-F~jf^(]]C7&Փd HVez$HD{/Apx?z2L B'rbHN!9(M-5VoSfG-uƢ&({\24=iL^p4rÄyqT;4KFm)iol-N d9#&P,<9}*ePkR' ?t͞W~-̈%wڻv\ (!Q㈨DS=6 mX>څzf:ng!;o1]ZyHv1l\Ѯ>R*2IbdFS@-*V:d5^a-vi%~Sa4O_m/ۚh! <,朂ԅg~d}S6qA5B:p>q%UWsO|'5.LA/,hfuv&slk9V؏<R4eǟmy23돛.l_1cps.m@|eS]xWhLF[tW-?ȮRyL9!|5@HޜAM,_'ng>Į6!IRRpl0oKˀ,CڰŜ)ȖJLX(DD2f)ɲl';OU[~Nn fއP!ͽm] lD]`\#(REz[IRX_ -}5܃~z*S7 N(pw a$IN'Q`cP墄VUOA f親NxYx߮-n4JE2 L@\Ia;^n*cГ20Ӈo]x S7QHfݹ,#b_}dݧy[A4g2ch͟of7U8TE7%dP]g{a/I)g(BmkQwJ$'S%S@-$"WMrPwQKjDT~Hju<o2O5EJFZA*bG<޹h2-9 b@͊_/!֨IV ;b8Vs ^;e_Ƒ$+v ꆳq@qb:Vi n+ 8. |1.<6y Fɸ97=|IB7iʏ-DE$]&c(fA7 FuTrA|gT-JW*:lxm`+ʤdlS#NZ #\ NYsQVpOVw^GƼ] \I asGZƿ _>^NlE ,ISlrkN0/4ȲO5?#zEù`Ez|Og9 g#4NIN>4X,}]Q%iTM q9Z,<TNI*&KR~Ԭ2;Aዑ +)⊶zzX ͯLi7k9|\]&ΏL};8sA[8u'E(OwO]&Dz&aw;[;V%÷v1QЎ=s:d$d4\F!oŘlUAD"^NzU,צ#po8΋œtg뜖MLoxWA 7;!}*r'.Z\R 䞏Q' lSo{˱_9GD#jo9dH3C۔ nQ?03͙.Ui&|($?7=> VsIaA/4K'O靣A-jiNYyW;֬>Nk5>pn@R"uwG=S$3ty`Bj %2]8+]4ﱔy"޶QH xF{&4Le @8k&}Z.T:3jA.7N\7+(6TR0N~eDnїeUD?;&MRU/<)>+Ƶéb+ξV(#]ؿ{/0*rK7H&ڊYA~?;*@eICh~/zϊQ2tqRV<'%㹅{gAM4*ԓaԔmh218+/|F`'u\B򺽀D $YVVɏAԩ%O:Epuj԰k{w:Յ !Zu@ϽI W.1AW3umF§U;/>ꉣ)_&\nj{㺨sDbVF$ik 1qt;' doS59) QFZAt{oCr}rHG6bWSY֫vci~n8aZaϭ{ k&QZrķ$ɗGoцt"3hj%f Fˉ anQYϧ=⌆*6ףD#>Ehk'd 䄥 K/ҨB\)9:5:lG\7q/Rbw*fVZ\M q_X{m7**AT[>AUOHAY.7,(pY6C*I}z#m~ Uxu5bkVF "@ȇpơVuюԀGPE xLB >Us}c airaȜLAn_¸ 9oQo0-َ[NjHLW}X/ {M 0lvMp(qؚQGh\F`atq[2]ԽnR`)31 %ŸUg_B:ê˹UTųbj&#?Ɍ@p{Μ2_A݀ۗi2[bUC9#A^GI!ڴ}[&'$U%H)wJ͏ ҔS;{AvAIud>Ă(-bߺ'Ypֈj~b^5atހbڄNLtE!'&MM hMB -t2Ys?/m E ohՄ3սfKhQ5,kC5"&\sɨKkH(¦9Os5x^1ω*  T^Uı߳Wj!.ڽ+"^^:#連m{%uB~;5EK{ڄnn`Lp9eb5FjWmπZ,g=QR*`E 2#w)u @T75¥wu1F@)gYZ7zXZִF! Yh]ŗXi%@`lΜ^$u(zosifaĦhI H'{/E2u~Zɵ\aJGf0gdB|d~Z U><ޔMD^EhgN3<[6+ "ydY=n7LC1aVWk}伨nL?aʴ] kנsOHK%*l+ E=4{?udϵuM/i$y3B7NT5s ><=C>IӋMmr@ZYy3죖MD=,;h4&=*t|>@2sϩԣ]QNCD?_Y'JF]iV´K+^r[rCti1u?]j_frgg Nz>jc;La\_ڮbM\`z9l T5UYUxOdSCvȎbCcc稴5d+3$ 1{M ^Or`ޜIP124ОmС ,GeAcPz%>eWR^~3@ _( yߊ!$Y 1%顁[0?.ƧcguU푥]ߤ|s+λp)ǰ{fA1%uVkqwn;d&w0򳭯:R 28;]P{ 㐧A1iS'5wS=vpR,M.4`䈣/Z߈T 8輜gbf2łtS}[,uO჎7Ĝㅕv|I֙7;*)"4viپ߼\!`twThu+6z2CulRo87XQi}!) V  SM'^vzwrbR_#pǷ y%X g4aexW L~O`d{k9#x yjn 7^~rzӓǦH-/rwuXrO m bwu>|v ۀe  ,UqX_ sU?`\h}T'JLҳW4~dtlCisO¬ qEVCtP,Gzv[$bu~QvƯ8qbQ_: ?ټR&$8p \>iAW娘gL/7[ٌy 9)wa4bMۥu  x_=У(V]OE dip m;7 PﯰCzxoGva^(y@-Մ/)/5d[txxf+ giӅ1\Σbĩ$VFl|}9jIuo=9((T0wû^?„dp`~R\2>vTn4|}1r5$.7$P62i@)5 O#W\/uzྔy!ӄqڡ+jn)Pcź/͌(/n6qZ ^itI%SA-R_mٕ>Q CaKpD{O^ϯ&&Ӌ)h~q̑H FN^+g!k&3#O$ޚZmu [pp!J_=ʛ~OHMh-j;s#Q+@]ohXX3W2^ %Z RhԴAۼ]lp=iRfy'An\Opfmʑ0 5r1yӋuiHǝx=P:Qu.C;!? `fɊ vQ,bãK񠞇W8 hv2lٖɿM%yc ˇz?{#}@W8S;c4*,_6܍>ߞ _GsUdա9_A{/8NЅZ.+un7ma"*.B[cJtk*ESB:KI1Z$\ @Hy Oߌ;laꈵ%xAECH~41 tl |A[7/$OZ H:+]ULJ7<.V#C|Ӈ)I "De3#+CFfK ZsE0ĂCW$) -gЉGKir옆J V2.Qv^L GEh~2YN!JwKrxv>DbY'i@d+;  osEE$iKIRZ"εcƫjul RKEtFkXF{ m$Z``ur3#5&@Ot X{4`g> p5RBI hǘ*Q` 9N` ¶E U}jm{8&aYibMW(#e?P 燴 7};cc_y:(e  ֺEQoag+X rg' ^ ti{1.B%|y*^YS/ !j^׵-MO(wΎ'=E9&U 05a+hQU9ⒻۥF@ J%e=ɂ@r>J|hdv)M^RyTq @e&KdE<=Q 17DP># @(5sEUN.cAN4 XdP )Xlƺza]R6Y?FswXuIc>hb'C"<p]OmɟвUG l;S[ uWq~ClPZkbNM_2~}rW,0 fY- wj^9eA[pAH}C0B t/J;YjO8€OˢCuco:'Ahi9g;-fS{,4j7bGzb 3`JUͿ39+M͇}m=/~JxdQzѼǷc  1Tt+mCY j9 rdk{C-Q0B I#|P43`_xpAd ,bd hb+GCZ!%; /rئ9\o_(KUOj5n)@R#b~@Ķ>W#g%-ˁ^:9\xxq6dcnh"`%hxiku}xlzd" ĐĤH3R<7V8CEjj!asɬLƓFƗp;>Xm.0fs~>C.@L1CfJ; h!d0{)<&z׬iߛW9qj~eCst5k'Tl|Cxu:DG\x޽`iF|s#_vMe] ׭iV0֚W]ݕn}O@ `;Y q> Hصn@ @Cbީsohݝq}pP<譃{|JĐ{EMMG]Q}wHtS^@G۰tZg8|_Z? TsiQOݔr˔ɱ5-O{=|m ݳRКG'z@'ߥN:u(=k H_X:<$_~rW*`4 jd>%!JEj\Op +OlT bSPsUYhTNxv/d9HK#V6w"b0K8*I ydɤzU4,.68莭$W9겐y<( Ƞ"/D(Hվ|8`[뇏\#:vtZڦ;k)\9dim!3`xV[3kyƝ.㑈/Uцڢii-*23,E/_U~%@#c{w&%@hEgS)Jb>*)7ݎuP&E[_J8{!ڿ,ZqPJ!(%^wl-}S$Zp 7P5$TYe KԶXmuȯ;ӡꋅQiYϣ/H5_y{XZ$֫2K]"0ۉi5@ӶSudoNC_رơޒyzhK߮~?s qk蕙ݗOOX;=]oK6a#@P$u+D=L";S[t噵'|t挹,6v cx ذ.} h xq6L8^5f1ى9\9_si"8n'rɕ05Ԅ&ѕ}8jP Bar$Dy {LsjgC:wpj 0qxڍ3r =c2kl] /Y$w?5* !p1Jf2h͢IU \vז"L |`DdJٗ 3]j"DX!͕ō8q56paKbLJרҟ{3i1Q68mۗ=-}\.jl-Gh/l4|ȐRv8 Jq)NҬN+oV_QZe`xnM' dJq͢D5PѺ֪f{ӯzXu7x!,buFhw>Z-ظslwCڰQOtQKU[Qщʝacgk$XFTLIŨ3N-- *Lqm^ lQ* esMRjwkQpz3y4EqbӞy "6IO2lԷ[=z܀28:9*"/1cNiQs] ~rb@Pnu˫1YPVq$[៞W;$0~rEiPR9 V=J7߀բ0(pщ q0g)fI98?(mNx6+^8VУZxql ,Z a͐1U.~Wq,k tnFMVVmR9+;k?փuȶ"YׇZH2\q[(LG㬪veb wtg"XgS侟F6XU5nO'.UbVU.Di̾Qreq3'i!٢FXjС(f`>>` 46+ 7沮 tEg}E=Α:qE)+(>yF}b;kڳ;ưLzwb ҧ}׾Wyb^*dتn3̍vB39ltiTa..4+kZ= %Fc}t~Y3hLݹ{,)Roqq#yz&;f:I`+T,unٞ|XՈUY +!ڀ7 $4D@2֫n;8L_?ĆdV`<'8{\oW9(9rms]L!=,ɥnwJ`<_,?xh ]<;,Npd#KZ*r:WJ?Wٍ̍w>rw&lT@pŤpmāMWz/$U*h;, A>=v*g:񱳒w5;MD18[j ! l2 O,C1mFpZ)ѹ@,E/NdE³vТOyo]W$^*c^GT95_SYmC`\^zB@{gGiСll΢;T ,i>.IrrMDz^+6o5l?o 2"hm2MrdB~2t($3ڋ C|>ĩE=v'·=so{m `Cwizm !iq΄.|-nثʶB6c2˲`^d #|*WMI?8r:W46vn {_BLzjRԂ| ڦ-/ꖤ AmT\t-?B+ڊ2;M48ųvv*S~oEAv."X6kHk͂X],8"l,1l+$3oH<&(RoID?&r L" qVLi߳s;*G5 *+%C< ΖDdVpygL;c(JɎ&y r&M_ bS]bQАS"h~\Ky C}VL33ef,R5`a43]POQn;à F= UB| LoȔF(r5jYWkKL-rO5!ڡ=xq6U2~)&/e~0 h -/uQ 0?}+U)UWk*WкHBlRy_OQK>sOFŘ5"{TU*yyf9#S|D:"G^}bԘ=Fp5 eG8 I58\:LF/n㤇Hl- [\m *Jڻ,jɸD:+UcdD:NoBsy$R{^DO{G'v:ioW1nLPx>Z%OEC䬅J}Hu=v3@"Bs0N8h0dL.kndR^&wb˸.1eH0L]F#GV0 Îg ec(\}M7wpe_i4^Oo>%ܲlZC72>v^\10Er_xR.I)ewajkx]&VohF)$I^~Mƀ*'5#Xɾ h>~3AnI#,uhtN`w"*y\g_|"+GnOV4mk;𣏕L8+t߹K-).:X{Ke ϲP"/O$;~;hrq;#T3sUs+A9;"= Du,kj͍+kH-P;#8sn`x*MP,cBx4xc86i^;Kn!6(`{kèggi{U]!->3}۠+)x -竢$ȍ~-`lbb%[į@;y KQf^Ug6,SgHi?3muvG8}l7CUns'nQq'` $QKjFT>E_.:b.ё}Gbdi-x %rpA*㰩\DŽEBci1?Ț6b|@8&CܡJ!!͎Q}:jo뮣5(@.Ƨ2/}hmF$^\SgN)ߨ6CU Rq0KS7ڰeع3J[hgfv|t2>{JN5N郋/=Y,$_(R ߾Z[+Ė2, 1Zspy}^dҦSS2-6_ڱ& W?ʄNM"gwv4?de6~F4\RIdTW"H\?>F03;R8"*.V/L@6gSi~F>ζ)*h%wNqyd^zX)MRw57Fe&4| '{g˥x2mo,DAeEYc e,&c7B&X0KR) W˘*ϖF[Y/ƊF7g%W4I f:W#Fmw}Lj 5SXu!|jHuZQViPH\rR{)ZYa |2!Dӭ>HgYff,(dgs =/ 贸/7m)Aw3@O$RBp\?H3hwCqZ{!4ʑbz gϖ~0o#ѠΤ HT*žO^[qtߺJ5lz;X.KW5U7 @Tƥa UN_}^;rtMҵ: $D= В$\Y`ce^KSû>/΂ޥ*0 l\g`'(_ȈM^pRԍhl3r;$B]98]t?,]?](vu\o嶈7Q}x|Wdt^]ZӐNZ`w8<%_kS(}_p,A^(ҤHU Y/Æd>*ѓ9KYVP΢95v-hQpҴ~>ՈijNH;X I͋'ң#س7D!(W;W|j]*:k$ZQo8_=f{6- Q,BIIZyW c2W6ڼrzcUU`ކ%k! فbNPzWL]£>FkL(˚s2\i=o <MuhRL*[CwYP.?)I;7wJCş@-A}gͷ4RN?ό*ahww,[{|)꿽Y PZ]K}fa9ɳY@;B ]d,oX F"WYg93.7E$[ݤf[2&f E섖``)/,|ߒ AqUu #= +/%\ v/5QrQ6JbS$w;VkF!gƞ;-Ӱ\Yx)|-/i1ٟ6No ]p񮢴*`R)r+}4&I2Sv 7Nt-du4E۸Ez I:OW|i UZF :4F{75O!Qhi+\L y5I-3G<3XΎ+-CE'j):x| c%aAz(ǩrYJE٥4'?M&db/8n:\[amC+RQ:)DJm@6R!`M"*҃Fj@߫u a:~lnƩLza @-hʇX z~Yſvm^$ f|:۶~euI7X(U4r6tM{X2aW/6ڎ,p4(7&1VMßb"r7RgdIW|E :+"?Pmg|5 -rLo(7VL ]=nw5"$0Q9UYr ~EGiQ·F B1Lݒ#tN߉ ۼk2ہy2*[4فAs!pJ WOCv3g3\Q/7pŵM\f%LdӑO*+-r7Ǫ{nLN s,0VCe!Te7+ȼp`H:tL*$ަΰ,A$ 4@ZdѵȝH# =mP*x8Ђ†gŷ5ӾUhg7Sif_X:fG9[?<сȐ'+EIdu˩Nx JeY]`d".g¾ZNIO?55!x'~e _܀VVPFgXL*ʯS%/:s{e-hr+ݣV= *17dz9M _&Pl!EP#ʘTјWܬ̴B+7wTP*vm-I0h mYZ-V :$2 J1+>~ݞ-!_!Wh\FÐ.ZmI-cT6T-+@#+~04HAS^*!n Ï-WO'oym_6$ 3r-e|& FmKP4O5m l5+αCHyf$k݄ ,׳h UjPI]9! |CJd=T=G[oscg̲ܿe7D1k!._XT>4vѾtN_Ns#{>B4M(vIX nXY5:gycRhh*ʩk!"Ga \W,p/>v!gw8RpX -PAlLg| ڤPu53Tj{ʿ|J~C5C ~chs{̈-g^,lܰDV4?UyJ,B>ik诙-wKs膲HL3٠8cט K6߃f{2^_/HLBn,*RAT\̌*膪˸Oz31LZ;|m4Vec:{3-*foU$E0xLl'd}΀D{4t1pyuӁDVCbX8ݥSW"s~=pZi?󦉑֐'yTBM?/X<&9 {dl!ldvߝpoHb_\R5Lz4ޗyG9,[ ="|iy c.B@0o1(Fby-$H5("Cl"V:5'͞^&L.55pڜqӭ])^P.Pyn/ѷ`U 7EuU z9?Wğ{eԤ0mܛ=5sM*rO~Ք8q 0jՀPԈkUD 3˳أu\VA;Ӛbpc_>CF8ۇ|1gA!Ë+&3Igo>ɃHQI{? V>nZ"![9tf-0w]Se.! xesmϐ)j'd3͐Fv8fS|me?KasDGkn*zG7 ,hz- թU΍->*\8>/uADewR!FnjgUNq:LolF"b!us5aVV[mdxC=}`. ݢ 5ˆ^lMK,>ɏз;%W霐}]u`mb=Q lvo@/WnۥAN7벽h&!$۩?U-{2ݐKFyՌ`8Xu3[m 3C%?7*F6-O$?2i8#;!X5f|fC<-Uv}( .u9ЁS.OȖrP<}F]M0u  ˭صh_l 5x]9g5/Av ǫ~wRgb93+`E: ɕ8B V) WD?O=;.qa@h6q zWb*2+RzQs׽*E "B"UEցzvCqFyDqˏ:/Y9Le> EIшRsg#2fC%2(ٺ|*Kf:tL +Q84wݜ |bK%dMxk%fq|%? Ny vd'sqS'ަH xan/uT_ٌ3h|ELG^,UzE)h *9y>{X1 v3͊,%AgHRJyuAFg,ȷqbyT޿z/>a9"`3Ai#u&]u|Eg3qR^!yfw"(P`8/raH{^ <}p0tZI޴Xԫ"޹\+_W߾E ?S$K1C#1 /1XШ=椠kq!o]"LCGL9 @@p{$MB~O#߇$Ы@IZ )yǡћPKM96P\k^@]Rbb5CMr&D^0B iyA3yWj, ۣTZƉyP-7[]%)R^ DЋq_V@ݒ%eEBo<0DOjaO32A!k&f;h=/nlb)i%$Z o^0AB}A B !]zJ=Q$J[ -}!!kT!!z4֕4PY6,@^ߧ@MI\ 0<5 I=ǢY.Hvtz^϶̼Fig.P%oo07A^#+W1wqU#= '>&c^M J!Gr՜ ysFef %`xڧU$ԓRNWO*"K>$ *\ͣ,+ a+im"b:)+Qr~ #:9Zw;-+g}aw?0kaCbC(ԹJD@a IK oU/ ؞݋{ʼnLX oxqs.cF CBTu.}ò<Eh gmaпʩEx~4W1"A,hgJ <8MvB5ad2Otk~{HDpcrNaO>m+5FL3puT@d dB^(isXd< 3PDT5>|$;I|=q2? U%?²[flŸ?mNI  [^D# /}ko:"c J'0>Om[ZЯ\WG= )]Ɋ8 j*Rr% <Ɓޟ5ȉ[SNȗ:s>CDsSH}}yr>䝅nM.2ětY^=#ӭwt']J7ܼ).MR1(-oLNx־y./;$(iFʕ6ۍH/ܜi%na4vnG 7w#? Vaʙdm9 Fx 6 m郛+Ӿ?tx֗߳0d`2v+_CgJT hUo3B\C $CR( >Ozw /Y%nYm Ok뾐{NUÒ:>zڥZ(ha ;81Ƚ%_>duZt>"4] 3o 6F?(%*Ѕ,/vZޜy;τ@:&}pˤKKvPTT梠hۿ C"ݰJMJX*.BkPVa6.<;U K,XjA}k:'#A`LPk'4RP[79쌳'.?ǏC6RVFv 7phr&_o7$? aPW6 B2)auޟ'd|ZVM =8O$׎V2i.>sy(rM;{zs&E>Ey%|zYvgnRfYKX9|qON^ǿh/^No悷NQ%M{`>9{2x1#nF_cs@q:w<<8UOگ=%!bU"~ewv]Ӧ5UU gOudOO]*Qa<.}E WJ}U3+ЖT¨8eYx~zBV0lϴP3!̱,&;װ•>6n͙uqM/[;1t\fCxq6{TD(M`%bu(dӸ<5 `PmesO()ȂB7* XMװQ2Fynٔ~WL>6v!*V}1WB#nd J,)N@&⼒TT0K_ɋ'=oo]3QYJ| 3W8P>)vh͉xKY>K‚(x9DSo8sD|`-{|c=LԛS=XN{M"@M4)6+w\CBp{\|JZV*~^'#1˧o5A*gߢHELmcp0#A`xGD,ncT=`Ivz@M}vB1ORd.HeF~(`:H5>'> )huL &>*!:PԤFa0X ~[K4~b4x}O6uc姩gBae*ݷ\?iˢGs+Ff b9ddZ*hpw]m$){e4Nhs ;cMrz/FWX!GdksX…I-J ,W Q?ѡj<^\V'"LWR@!$>^Ì](}>1غ)ՠrl=X퓞ܥ_yBTigd` { X~`d׮|Mw%6DKx\Pt] `Pwv-e6!ۏwo%R{Da3E82Gi]^[.ZKN%4txYM(<ʦQ Q7U`*<*&}U9C;,/5P!cb*>qf%kt_x~xg_C0aXUVc?92p߂ɺHw^T[ךih/}Kj N}?$ R[=En}W'^T' rϲ 7NRG&j.$ژ%'/StG/ szDy6f  bG {tTZ6>ld0*Y^,#r;)v-?)|zVMsI\dK61}1-E'JLsh/ 7ށc٤Ew,3|ͯO3hw R7/n&?E7ϋʻ(Ѡʱs ,H$>%X|1Q$,'v~D6*7ޚ+;,U`Wb:$d֦vE6O",Ȥ?44iN}kIP,8*y7L7|Srz|=}&`K!R[2"0MNtPz#FL_*`ODS-g oO Z(b~ϗ\D񯘉9ш6}_{ rg"s, 2kWҎWsЭJad" Uaz*vV°Sk!w7:<øe{T'71K,B2:~rӿߠYwE5a:EgVud>=pfU$]ϛXJR#p (߇-97Bl+T䂝.E{|6w$Da4Z*>DZ-3p */sr 9[PE}(%L#|h/aH-@,: >] UK]J"у4ٺˈNlJzT]AblqAh$Swƹ>P`+s#y&\Q ɲ^ X§,Q~k; .x/Pnp`?"vAw\s M/bZ^*<K1cpװ@db A?{ 4mvG9AtHK=5J}VD#$Y,eNDnŇٵ0)ũs1kx."DJ%  7B\vF.9sAU0XDo}SU)rO`%"ݠG7h!TE \ Ybk7e{un&,^r lГO'>Ű&K;Yj5D"*F+b׋LdL1ل}^$-L6[x$(⭇fRC]nmCm3& ? } 7/B:$KCdԢ&-\CSe+X`Ց.u: ۳!إRl6\}Rc+hGƽT+HqޗM^@!^ nºm:8;:' 'FI+؝+#5>9}Ex r>ٛ41)WJAT_@XUF,mzFw&W륿uUFT`=ջK^y u VYqlnpB0/AH,<3 (agοgOsO¨  M2[+.bejj,wz19mi1Sx(e_2Tݬ3`r7, |j{w?MUU d}:R[&y!" LTBOr$タN/ b KR,x 0k:WaQW%>[b%#3Z4}bah?";8/Ra걲R\PT.#ؕf~V̛Lnd8ߊfk(;`?R KS]_ڐQHb( GЌۓ6JB("剸c(Ds89#FgOUc.LcH<Ipc92rICk0x.M}'KNf[2׻Igkg~F 8b䒆$Wvd g:`쒡kOY_6D2M|b[$IZgewWQ{U!T} =KJ~S-HԱ0zs!%Ë<+Xdiu虽uw72G/i292֛*LfT!/"7 Kjy}FٚS= Na/hbƴ>{-ǻ=Ƴ>BSW԰(Ybb?\*p& 4R6 *͈#E vϥ*ILQKزd'"MvO~(} €Y˫fvA=ʇpػW4A T_dw v>}8 paPK óg.r Nԇ.%E/ Kڌ7R6 NO}|~bDniNmLj CAs8|/ۏ,::pl-]{vEy-StYȸcQzZ *P㔦xgb3g[=IM$g6Ʊ;vF&w= != #hUY=٨e7a89*L0b"Y 1Z 3N|X4ػEP@uE,cVKb =_6U aS!s =\, YK7$-|Q"(M$ю^W=9=q7`%/wH/'}Z}oȆ"Q$Ǣ:}Y/a'LobP\pWȸ#ͦApHbɑc8l* @=[N?6;Smy+&-q"fpAPdI MRn+^vʏc~:kM~DwC2yܙTვn&K X"ir㞢gLaĉ#\\yY-s-El-2 Oك.(9y&Ȕ\ސ5*,Fʭ2-^vB:2!l%-16IL9ĥ„{~P*:?V sX=P&nw@ Q'M\VOFk3I]};ZsqIѐ}y3ަCꋝmP≯O]