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  % tl ]/ Derangements:threads=4elapsed=13.468cpu=41.256gc=1.516factor=3.067zXZִF! QI]ŗXiɟH)0%o36<^vZL'}% "w7х"1~( K~dD|[/+IpǠC/X4Np5YyR]Pv }.M ݚ{w,Lė˦@)йAŖJsc@.\T\p9,05 jꥻ~[\m ÿ D5_AFK )iWMn<)xz%'qOhػ>1iљQu7lyɤ! ٔ _7 0f٪sVI=> TP&'7_b|\8\ve˫q7 % Derangements  \HM&so*6j{-.gвy<{\͊E{%}͞7Af-3ݣOy ǝH°{ ! rzSƼ/$,jԉOY|.]oaTqW _zHNMb=א1溚՚]e%r;Ŕ@_ !d3je熍1$U^'=}U9*Lvth &KT >rC}P~em7:j%d`[QE[ɰ{@x!O:ϧ(Z8N>rȂ"dzTTDJMjþWK5)gy؝j|C{ul#BQB4+D>1wB'!ᦀ/`ڽz}>Iq`ʐ4?* LyhB.&K!OwOVttQjQ%vYEwR,w.![-].Msfܒh*qz`m@wмlKbb@1w՘ᩓvaҾun1vϡUV) @oKVsR.6||I\nցA2Q;_Dt"jNWzmL#2up(#fvqFp1h"r:H߀ܔZ >+| %Cyw̕SiRڸ$qo3HJ+Ԣ֝]ZMԣRvFj+Y&P(򊅈2$+(M\8u읰Yc8d;h7)Utl]Q]z/R gQpzŻVgj&Uy E_QS(C<2ߎlUtx茣xl4~v!0q26F@жc-(Ojk(LPTTY+NAZxG&NhLvc'!5SDP)e4;na>#{{ew3 TaK~/O\|ǓkشVF<1$N_S _}ÍBZFqܙIb'fUu>{-'X|a*,<e5;=ğfFsWzK_b*byw.=X{$+,[dH 򘟗7(HVћۄ*a%&xs C9&/O3''ty8@^i:b>>#Z_^wjߛcf?κEFDx R7\pU~]hAU1M&Լٓ!(5WP +#~[݌[APe nbV~ʨAﲎ 6pfJN7K̩}F3ZC|<[u/L BFh~A^ٻ BATD%Z_ۭp: mЮp1ii?XFw)̭{% ,徍[uஒtw c2x Tc !? ,ݖ[3273vf74V~k6Ms# 8Ʃs} Gef7d}%GٵWI=Ĕ3B?;n=B0 2^ܦ[ ejzRʦoݘOR( tj,AW_9n&IӲovxZBE/sev@A0)U)㳮#9Xd_­i|K[g{I]-3A.^^2ozL.>Pk6+BWi0S^ ׺ՙ ?oWm%b*F(G^HR?4e><(l4_h_LlYxMU/@W} mJ `wYu)>yU )QV?ͪ'3ATư-":{N̸dc D!}cr,],g²t:AUBnpN}/ [B'm{wJԭfȕLawvBuj$K0XBmBOT p*"Uzaml.|,vPIʰ!3AJ@osd nƍ%ӣK ':0SH1g 0i]ڍf;$0' {a\*'*p0wJA?]tȚ&z ~Ce2MAQ $}팺!h_~Y\VQGգC[[?)躓lY,B}F+>tA+Mc(tyX*p`RH*4U)}cػ-QPY az!"TEF4єd2>ҦY;IezeFrMP~ϵ*Rs*nGM 2U>2ë LNx @ Y:A{ȢXwuogmrz 0JcqUŽ硅hk-#%I}\L>d0V ɿUXD}k)OѸ'mM^lHK4У"0"gp?^]sB(y]|wvRdċ7cٜ͂P5CI SKW.^iK'YNt' *)@:d @c]<_ [ NA]~EY_*hE,KH`&O.+IvhE?Y1ݠU9=Bq <(a9EO&" Vq{Q4\0ME0>\r8߹vfDBVgm*Q8k[Apۮdo%ʃ&YGI#9{x;^V4te. 0ƃnW` ۟_"N Kg = %l|)LNc|$ЏRŠѴ'v;~ DWz|֧Kuw EO;4:|A39-l}-Ewӱ jYWV`Ugl*p;KORUcpA!mP-ԁQo47ނp¨x|~ I }uLVgPjrS:L;HH_;e-{Lmoꀊ f*J7ƅ-Cm`d8`\E@]]D3wG&ˁn lMyȭe?GFPV r٦T^I(ɠj:|8Pr*y>%HYErG'q^/}~rk@d`1XЮih ƈTG+12}a2̀~H@j.-^}$+zO(ճ{蕄>c 8\uJd2CN8oW>nei`qĹ :c2L#Ka;+Qӭ㍰%NndCQ^d˜0ۭ-:XnYjʹ@PZߦR%+<0*s sȔzsJ @@f(.y0HՈy1nvV'M mjP m`S T2C՝iV3NC'<.c)TˊBIMZng+ %+u5yFLe% *^ؼ7hvHnHQfcQPjRyr郱:$+;bS 6/ : +Qy7"@&wDF f +OVL: *K3VQ;Y+pO-r:{ؚ& Y( .hzdhph viL5/Rs36FGM&Fx1qcdÖg].&b_ vd|3o RVoҟTHI٢!HS$`Pmcm@ufkn}Ubm kdK-(}r{%x:#$v,Ĩ`I{>U'愅J;S9K*Ti"Ol:P)2LKcU\.y% GκBA!w(,bں)(AP`ǾICj'G6rF\.Q8.B\وyn7Ab^팄rڳd++ʻH' y;{p\PdO!P|ڜW\tP 1?縎ZrX>̑BuRVLz, xa݈߾GuǫVu\߳cKJqiO4pU"ODعl78s`y6=&ܝYϯ獧8cP68N@t/r& &/Qɰ)/˩Xȇ~/ &(7"m~vO &OeDb`zȩG=Bzـ2orn[4Hi.&^,cO;7w͓i[ϢdJޠh7ꢭe[~ӑ5]`agArLja֎iU%w19T+:zbn`pxYd/}d+ݱts$gƞOA~,ܶQ|:@w]Z+=jeX0\ j>RFC-$`ؕ-(?!6|ɒOr~1KКs9o+NT7jx|),̣ROjY8< 2Qa40Zlh/'6r7%ed*M"OT]HjZkè]F2>#7-K mc xOԜ{ER-2:H-~JXNԛݮEp0彳jKo}W>>4͢QōAA'24=BSvNDA;ZAWFZJQuϪؑ(jv>ynRv%*e`!4F5`n^Uc %Y2!h[ULoL@Dw|F2gf-q#m-ZiAG=wYSbC · uJ܃U{P%Wwj*Y'MP+މ01ϧ8ּg6(m6* 5`VSD@\fjeUH)qݞ61hZw` x/f&>[>4_) ky!b ߐ XcqYjrA~%h*+SPI{mmQIVХ[nĀtN:B-09Vt U>Dms $Ṉ.ePv[Zܯ]K GJlX!1VxKח+k\Q*peȌQfŸW+&PĀܙB1J0؀A?YeZζrHy]`^5Au M1&d,ӾY_TRA1l6xx *Yo9\P+T4+L?~00m.w  IȩKñhhss1X%w%ɠml츁$ߴe!ͦt| +:w(!ߵTZb N:,M0:og9NŬ^ZIJ4 ħlƔ9eOd#>,eFx~׳_*3? sB!/;_8-}Qi.t;˿Y-=H  "[-K4P}7jltC|_ל3s- Y=0!@N9lmY l$P?=-˘ܶ{Luwc,t7,_A*+ؚ'9-w2ϵ GfQ))L-Y2@yqlZ4 XY!8Ʀ"[7˘nR&B=hNb]]%WcIr_#ty%.~jj v'fsߒz~-@PC@YEaëOO^jKR],@SUP;u.F"WIcT@\Pp,R7 ~ff8SMPL~Զ~j%h3T֍ scX "j#Eӭa%2进SKgVQ]7e$Vbٱ7j#K6ALj~n]-׋^8{gt _V??AedoVPպ:y*@il - y>+:TupZGNPXy7Ս[q,*o4ycUar^ÙJYd ہG>yIcth{]=w!^:~}h+#gZ YE6 ^}1p,0Lܰk@S{ޘEPqOp"D`C-`U+lNHx"$v'b }΋]f)+*ABH^lP@^[z(f2k`Eֲia83IztD[h O H1#%I9NwNa\VLvyy6\%z.^fRJ Ƨ5р5Θ{4<Ź`w^Y1">RmXibϰ G<3:]NvS3Z<7&}oO 0}s70wL8LQ>4O?u/?Z%צs*Tc#9{IXkƮoWJ冸G{Vt0'?.ZVG$.; \4(֝j-Jn7.]I !~,dg: ^ehH|1QPp`s#|+Ѕ7^Sn,GG)2 0k+FLN$0e7$*(%d,(+`/yej ywCPk;\BsOBhcCɖrN;LPW$~f~b sDmZC8vE|ޤG\>k::ےSo?Zy)e]4<Ɵ 8[hMrhkօO6A &0UԈzXD?cY"K +!XZ7\y8:;N*H0X{ƍAntF7R" i4O\>ySmԨrF4Uֺ>%eX $"{ T|Sߏ`?fƎS8aBwn&HaѯAa e 95xN/X1I 懶#+>a|kT脌 fg)Uj# Ie֫j:+p4ܷJ^ Pu{Yy+k`c-C)z^0A^3Iꘉ+o?x(hB8-cvq[w!TWbs\Ie+f Q׌i g Ϗ.xB?Nyve$@xKn zehv^_#sj@`,lYSt+HZ)M:as#E:51W7yY 侧.;R; C98=B]N b| N3A+i;+ȍRʚL+8w:# Zr*7'o"U tWbˇUB~sELnт^X5oHRBy髚9At:Cm4b++޺~2͟>h=tVK-<%&Y*]N9iX!Uæ 9G} {Xq?Qkn?w|[ (vuGH4J ~xje>_$ =牺;\Q"@Q|QYs33g#]݈3Dt &bsޒ\z' َ?Yi]HG C/x g|:?3^@M;%SnNб}%m|/~l-xN0YZ\6l\RS^'ЛI,HmY #=aFfmr:^tӛaõ/0O@?U]<=Rg^F5!9M WCܦLjx0`q`4&@M ٬<{ _8ͰnLyMQyI%D YVlנOAXc~ 7j`ʵ9֧eLм" 7_?}<>Ьt0\-ch(h& `q4)Nmĩ4~8qL_[$aV[1hz ?Pg)LB奲;VR R# ?=^X ?@_͏#jXp79ʻ7)cp(ɤrW_[ʚB*d\CUskQޮ:Ld{Yu6,S-!P @Ц:A*n'bBc̄3> pi\ගs@^Hoa}Bz%yJ̆{lm9Fu~٪V$SzO"eAeCz!۱Do&OU8Rp 5yHsʾ@a+p<n]vh?}N c8@.&U V`喤{^wi"q0tYS VUÒb*}~P++J )k:PPkVI9QNQqc=o勭ߒ[_E(Eanߌ4 _uƳ XÁ {AûmKڰ6 ˭U)`P>Z +'Ċn1}u-:mmt=N@eZs-ʊWCɪ틒r[V0^zDHdH Z&8uD,7ϵ5kJ^N`*G􎯢!\FV}31ڍ}X~5Ta1fp3D0RJ+qW\B,oYfaBX% t53O=t'Ih36V@Os;_7>!1&A?3tI6) d4_L*-C^-Avajn=s!^8wE;Xuk,N5 *[<1TQKl6 3UT&d/$F&ڀa{5[ @Imn;aR7NfZ̃K(ș j\uCG)7P@;"6x0 =qbm|KxͩMiYJ9)H;8NP3]x&XS .: 3Z||-hbx&17}c;(E/TA#Y%!5&o#bt,|'F[UObFZ3[e'M5҄졍 gSȾb 1k+ĵbW& b[2(9D&,HB;dʧ㊅R B.пVK"^$F\ξ&BSOBAA?qg&Ӑ#K~RfB'#bMD,{Fp-E{T)F֐ esxn<*>Cc:.TzQvF6{EL3 ?UPHS_z!P[] 9VVb=cia}+*\e$4p넇ߒ91 RȖ)ݽLӈ/w{ m,jv'X}2u> fd<1C' =F:5ؐz?݊Tn±ցr̥D4@&aWX?%4Ooc"^J5fۀ5qPi1.`hygz(^H;BPTP롼SbWTZCOCqc! ݑY)[{˴'G:tPX[ &+k` !?Px\ ;/!NunWA'Jz^2 #F ul-ֳS)4+ī2@gfo?X"wC̄U7N2IptD%~r3%Q L$Z&œf 1H3BoG"5A(O+ CŒZm*ms8ړ<\$U)_ֱ5 ן*6)4IЛjݡ 8r渵Yt$K+9VJ>ض6"E'ań.yPMZO\fWKS`uؠ Sؕk6ђ YxT蹂%tf{xK@jf88Q6jxSߛvJIK!sګZ )? F@WU887kH݊c+@>!{ cG}2m3<5m5Ϫii&yV'%>?' d <;ۇI$zEy_v d*N岺NDxFRt[^$߆g - Ru5Fy^wHB(XMCp$K|A;NÕUDg wbVoۃ:R?V:U8a1?!*X+ن)N{ɸO[rz6;:Xu 8T܏pL \J`Y`l;D~ς`鵾Q'RE^iSŶ.+3G@ɚl2. O:C)@xa|5F`Q|s=z;\[a=&+ S320ļ; j- etb1*2`kKJ*bZ,T@pneK/+6监2@V(9y E}ӯsL DٞJU" d?Hh0:`-JQ婙4a<ԃ ^yo0~jl"Y#7L4yY?(9AUM-ZgknEJ+#?<խݻsZd Ik#TPPΕZsau.Fe 75(]/^a6051Fa/D`g~њiyÜ\ש;7h?S-F#ddŏfvDŽv#v2KQSNt7FIrq{bL5!'ópHccGd08{=~ޣمw(x $W@.,Hx oGٰ Џ˯n̷a|7kĢg񧐚FX]'@\͟-5Xez;8TijWɶ0Fk(2Aj']dñή~ /2<,o {(<`mưW'h.t=G v~͘y.껞{KZQ *Au}",]XAe,=,PXF>bʗnnDIW~1r96(>G?XCK T) v k]*|(u(Ԧ1|Cw+xw5 -ҙ"*WOx-%?+v=7ȒMP{ALaN ~_ԔxHXTR;?J6_*:z[3 o|o]H=Zt?gl0>>ӳ".kE׽jNC;)}:IӁ k?9@a g?ן&EE1O0KBŚŁ =4i )|cӎov!8[rv__F.w}Ga] S7/MnL? `Ťuk2#;XE( _-G=E*vn11@x~nć7gsuh$PO5|ͫ\Ǟf.,7͖-m$\{GC:O`JvW&ۭ$  TY6a÷6Λ3I¼ |ʝ ~ F5\Mˋ!M4${HUY;ar(]D0-cQXJYo In@ ?̥;3GGC!;gxwD@mϷSm8|A0+E*$DR1tUIG) eITHf=.m,3^]rFDžFN`ѥiי@ y1{VWGC{6|))XT*lnP*+!21@ceV՗كt΀jCVB;\i;揲t=BDgB$<-J[iXڷ;NKڵ(p %sĹ n0 T Lk~mQ\|O1 ]"#g[.$=PuZM[Az74 k b^dt.uD9վn۽+3d&^ěRՍ3rQ9Cޝ#x1ދH4c %Kub2!N:y당T˔TQ&j!UE#'fPD:V ~B ǃ M#d%mn꧊+0Й hh?XoU2# :)tJgwm>bgYTb|z*h'ȼ-csBcD86ȾDd'B {`OH9c@ |j"~vN Q~}h7L yiC*Ph!lXwh]3(d7ǩ2=1Qz-Eﻚ3ߘ&ܦ׌> a|gli<S35c`gbST4h^d ,//Ȋ֬E"9v1#p+i=`Vx:0nWWAjMVJm P̣ҵ5Æ~Ux 6HXi4yIi7B&b:%b:$|oZ1_2lH*WBDٕ)~v(ܛp E4W̃?I'_`^ŁFnX`G]z:ԭ)6|9 sM-DA)[v?`78Z'#񮷱+Qr deM9+t,r+gֆMU9^OTkC߉9K,pJrدN.$b]=EDPZЊ)/녋8X>V*KW"h('SU|*egmAD_ze)nU\Kp-?uHs~|M8DZ`i53~ yI!98`M)/Rs!wƓge4|^w*3#p`+!ADi@~Ev6#S'B/:h@M"98MCOz%0EW> pRn(꽭l2GmX$$X/+32< t)*z1XYRb_Mk?.x\p}r/~m6BFKm#4`\kJ0er)Q9l}ʀ Oq|ƠB5h<C>Ulя!Ptz2DJiV2Nkn>sVF3czGIxt'\Q1q[kvϧQZjuؼ L7yJ ޏjVPd@G0.x=x^rcgD}ro噂hTJ JMh="Y#½6bhT l;)k/+49]}NNJ7`FS€ﻑ^`*%yɥc5/]vRc2mPtwEdERIhpL2s9ʼ|l ]uv8ƎQԻ 4Y;ŅDCekPc?o۔<1+'qT7:l܃&T3 áϓ'aQ}OќGW z7%21tP_ }X+H ƹIT! **'$${pt#! pTZnHܕW"^"_;M $,!)/*2iXeM# 1KLН`eaPe ]y2?)+IHqd @a yhdlչϪ_pOZb c[پ( ^ԖWxu>c gڔJ %Jkﱕ8{'R[0

\ЇY5mhRMYꝤH=tмv-fn6h *3&~/I!W?'S=gOrl%Z+hrz Dtw=x['Wqꋛڠkk6eebU"ӣ+ jɭZa,ŻZX>G_~k6>rUR2Tk=2/rxpq6'rp24gQYV ::\O*e3G{~1䷮dق˻1^ Bu\=xL 1ɒUt = It" uLGrsRluU2 SX*¶{Few)륰!e5 r׻.D5ɩޑ+._t TkIi 2r6W]:Ȯx# L!զtѝMI)8߫^^&Eg|m~F|8 |-@} ?`}~FW#DAu|1hA |ZQcQ' p iYY2ʕ?)/ ֛@!$pMXXXP:׳*&>ga'[$E`ݕE@3';ˊ-\JfΩXdeB Z.t.aۂPi -)YXqVA@/|sO|pFX@xp|Fs%(d;IyNNU&gvmm?Yv̉x(8[6Mt>Ik٨e.󹘺,2\lGc.'\}Z׃ N{n㇗ڂ[?<֝FHڌGQņ 2xQSUnq~<)3/l¥b$"iN8M8}4h5ٞQHyVȅZlӦA` Lt8̃]/f5L⊬4'֮v_T]"Xr2@(pb.7?UY^K$Lwҽ8Rt5yqY;ao'[{s<R.q}Toml8wutm>Ø9nyY-Yчc45w /A^~(tpH%B`ȦJKAKŃJ=ᴸelQ9L=Wt_2:2olJEh kMR`@1\A`3recWvܮpk#[Y( )֐؏H19S4MNSudl䉄 =?~."LgjNE-f+btwfe d;[u%E@$'~&ž7X#C-.(!țւVyUhx4LSCt7qQ߫U4veIBb 7[]B7+LFY[r\lY+ڬ/3w8vG p}s/fv*v nǝJNg#|dy*4m |D|a.ɚ~_/S J2&RHbN$,<)gtboy P-ϛxE hAۆΫ}5J(IQܷ1zUD\p(JN>/U :m1s\s 6hRմ=scK/ Khb9OY-_jPjJv~#:M.lmgy -ѿyXxG=.ƪY`-ɒ8$z@RZ7kI4tLHX<JKN?ۍ8bAI-^%fSx" eS@ _hY5 9Lh|#/׃wDJ) ĵĚH`|_fQchZJl#n/}53qݎp{6%QvOzN}ZBG3^L܆ܽT$዗'_[Vf=Z;1xPH>Ł yu]ojxdFN [vR"V&,eIK>Ar_T.r4hK}j\E1Ǣ$imSDYs\jwW{rQfauW=Z؛\``sS?JuPed!5zG58]5 TurIhs}o>ؒ;Fgp D>(w` "TY3@3)WmٍBfs[O( BHmQ2.!.Nu2Ծ-] Q:A]D4ح6wϗoNTI(>$6zaNmp +L4Ws|W|?Xi4!tCNN7z`ڜTUTnqF᫛J][!N,=,ڮI;풵?GG(NsN>k!B}%uKWTD#QQջR;;S&"JA0}o|)|p(#f 90ƠQhz Rꓙ* O5ql ] +J՘ϥ1qnw `c 9EF@iAzP[JqZj ^-w%B\Z*R<[rݗp]43mX7(hIIu9l<]RCUBHSV Ay<\ /x(1m eЧ1)(B `?Tmzހ'*5$az[U،͝ѺJTvձ/7=i&p*i?{"Sc:zuͯhMv7y{ KT,tUmz6Z>JPd|eՐ|Ք>x ~1G 7/(F S@Tf~~(29ug_je@8(DO쭩c 序kcJ;> .ݭz5U8e2_xb[4qsd ^Ҕ.c'X jOTou=4 ND=0WB eR h pؓ+< se=NQIWـHp{ǽM9xW#fHJ|=0sII\ʟ\nJ.2TKeF44d2]gbh*q/ߨ bFJd{$'ng}%(Wqw4sQLDeʔA/~e2^PS!~FLwgk e@::.W힕|HT4cX3WD"5ݎ$ .**wZhӺDVy -S+{6Gh{ FIy00Oz0XwxrM൤P~E_EނE',z);Ma2JgיY4O M4]F>F)rRꀩV| 60 ڠĸp3 ts߉2qF˅!؃D'Wv'uq6sCs[\v !Ju_o+ '혻S*_Ύ}>żHI:x5t s}$94Ƅ?1~{dROLj"1NI/bݜ!hNލàv`c8¨Ln;p*|>_ (ٓ#؛r,NI7ڂ7*i {r6L.启L_ׅlgZH5-Mb2,klN!@t,RSSQ+%NGItzV9! **\Gka[94hd%'$n8q@/粮xly9d ͨ Eסm1!+k˗9f6l"^y(,ɫMcSUyw7o  Grf/!.~xݜsu%M4qYeI/LRn>{.a57EO}m[!2.b8'ż꘎9DSi%-jW]wo?+HBJ;L%s 0\=MUPHQpdgr٥4.d]o[YwLPpG+jH*)jNmEoIҬAo*obc57d@Y9yFؽqjK# Iui9Hb_qR>  i~-S8gmDOꙷVA9~]I?fIH\Vh1\bǡRbiZm,%ĨBz^oտnn.J !+h 4CvuoA*xd&޵re N~pъKVF6I}@2kSMgW $`: ‰_{+.\rL%w:]/ӥ0Ş&'О c\V )+e۪tj a]e̖PC'BɡWPK2,s쟻 4M2"!SC4H=%,Ƅ}ඒ2EXHջ Rz8k/ߤmէU8nq'ZGkrq&9k>l,L'9>/ޞ: [GvJnd[EfC;w%%j|0'>/= kԝ,J)ˠ9Ak2dn^=p`}i 0TE-m#ݝIh5KS|C"A3"q騧Ò锣,5bSjҍGQ'~sNiE.![(-$>=b#qAֵlq^] OO;mPPZ>?6]M.wDk/,C#5"I,Z_>bzJiQmO`4f^"HDG8/TVϝڅX exm%ԗ}^D'f Fw25fsVz[nFLr9e]\_*X+P o)%}e߂BZsAb6@V $-ea{aZkDY4.ZS t ‰BZݼQeHܖ!u\qàK>h=P%tFc|êӻC}q'+ihfP6]$ |{HX$j5Aщre˻RR^{pHܙM}t!G– )D 2=l97Ůb07,6AQ,`G/xiM G!_?($뺨dGh BJ)*gJܠw&2͚FdQvؗ|{ ݈d5гXandHʀ-P*ڢoEHļ%'e5{x/N&7_}Tj1?1?]1w r; ;P0=&t$3`(<1t[S*Ds\rW71%fP~ 7 PH6 =E`C 6P` lUfZOЀ?H:@ݿ-G%Ǯ1U=-uWhC=%^ !r ?4j,|E4x9|Nּ^FՀ mx0tQh*V~ow-R pNW-K#qn,'qo+0u~ɿN&4g[Et/r̎@N>#hqBE0"8RtԌzVUJ=?u1y/V6ˇ-UrՔy6uA/p{pO%)h[{`Gy׉0O$ %hfBh=՞GT OYH.w<5S236a-s-sA8/TgƸDwˣvYG*uB<I)DJ,I毭@C 40@33-G2QE92Wþ5#H̄)OOT|kr4M&b*LPIK ꃻ3&߹3aJhgEWжI:I?BNcM:FB}Ic  wb^sļCo4EFϻ=KKSD Q+OSWY~Xp+0X=877똰 ϗgOjZx c4u6}uAsau@'Cjn%:!YLb d72]o8^맚g*5C[w[tlJMSu[? S/[ 2_hJ~QpH} R ײf>a6ZңCa@;A"0SmMKsetdʍ'Mzv2ѹ5' 2+Q|7fV"F/~o$rBw k>?s24@5_H mp v{CSSP07*X^z-a#!Hi#%L+hvżK<ۀ\]-&Ms2`]'{ItMvS]?EZsˎl)d"[akeҸ:[%w|* 17tp=s!j~1BVkId\PK:R- 6?G} =J. dWMQA)#>M+l#},!5QŽ3A˟NKD bE0.؅Z+6N#΅9"Z&'Ƅ4=,K#h=FV;+i{G{UԞV4DF[4rr5`?s1 Wd"'bXKso'g&ZU .bԏeᣅ\.&݌8]WsVwCsJNKR].(ċ {o`Uc$Mp7,bGgd\k(Qqzc}d/F(I 5R5(coLzk_D?Yѻo<וȠBCkHX]`:MR a``&=|ڠgX7ͪ~`N 6bc^Jٌ'Ќ-tQaȪU_rmP1!Og>Q_@Ra[?ij&Kr&{JLr6@Z"<.q*<;(?.疘!A8+ $aT;N,z~Qp)}4@:Ld˖4|<ll!G\1ffV@pt64;o6.LȫO>S/W`ҭ4VAo"_5e|4' I.yb^|[FAe/!]ҟå "e9m(`3[^k V(໤|F~hUx]ct%"0z9H~Is]f Wvy*w{z2PI(3w Μ/|0BS)|6}R527*/m;ASq$?<AFt;%-*?]05ec \t4W?pl̴iM4ɢFi*XP*aHR-rBN[Xיz;;܄'n|3"RSѮ+_%+Di+ Ab S9j7ȜJD<$?0Q&TTxx|psԤAWj@O[6M<Y3.ߣ^r`VV-r/rCY ?1HlCr=JYs4'4+/ކe gTnl Ň1ftN#&M;&D#7'37>;E`ޠ!ɉ0ʜ)z.c ۢ=&ءP [rtlw ^-{_LuV9[Y jJ8@ʠ[4Sk @8PWT^j8[t~uӽ@msQr,oO?ܛ7蛩 2_HqL&wL,ݡn)I@xibj cTXݏV`_]+])m ۣb ; ֖o]q'f4*R_fˢ훰u%痳ęd:xp}# |X^J>xMԿ^w\]tIkBвxnK<6b"Ⴄb`#K6SdqtTFCQPӾo- ?y..8kk#XWffתAiڕ Qu?Vt;Al9/SJĬ穟e=$xqٰiy/3'q \ 2hBQ)e\nq|*ܚBn ov&%SzLUN vd2s} |)"rn cR]٩5̽UFmKM1y7AY47^ bϾg6 W![sTqTWM( _CFP:a.O| ohZ=^F9բhMiYЋr~ZOr69 ՋO&dfT+Gd CYAJXcp8;-(C?Ȥ6d^>y h}/ ( `🇱k@r 5@~>e'D wOZR0lxPXbhqe- [3y;Ftbt+o.`Sp>z 5ɪ&.)M5& ^O j_`V3*j}i]!7JF8UO@v#h h8MDKB_Q~9>?=2W MEUhRzef*;?uEӻ k`:o0hC_Yͯ(Sf:CퟕJ5az`ߘ 0a{XA!ީݴV t/LR۳{N,s64z8sӶd*̮G-G]Q nN]okU'AڕARWGAMd|D 0^,j-O |Q^э<9nX__R03/9! s@n5;!%c?yW-WݘyY5mVxcX;ͭ^l"#LcVtfbǾh9X~2wprP jP$N=Vj8:-B`ȯA +Ocw2pC2 keĹt=!S=n& YJ. GZ_(1FxsWںJ+cLaÝvӨ{M1"E%ZW0Gh'jexµLgè@]x ]E`qFGąUw|ȹ=8$:*FdowFO g+~ҏl&8ihoL@ҤiQKwk v`hP+&^& Xh$夰ѣ2x~;<$6tpiĮ܇Mp$ [?<V*C-fӶ? ?hʲo*@j޳QR\]*n5*x_;88-dΜ-1v #wGԞLk;넕I9_8 g=_GRzdk ,j{|٤H83#1KQx-{Ʃ{1|G BҼw,͙9%Y@@=z9{1j?HK6^䉴!a9Q<ߠ.BKi:(`9qFTz`ac zHG1GoՖQ ?DsP5lYQN#CqSլ7Tethe>/(tZA| V+x]Q*󒢻xHo{PUH(Y< %=*xCF*oOfnaH/|jH7mP_< 10 P&"V0Q 0O'6t/0p/U7&=-bn`)s{:קN/!Ru " <Clv^LޕLyȳ?%m(x @uu agWU~U_d-ss2rKdD,Jltjz-GlD\%MCfZ3<gsx6ɼBS/]*]_"m(5A`eo},:ұR4)x=<W>zZ( 7mɘd12=2aDOJ| =r\qH&I`̞ibT@? 7[*d'-bh~"Z2U? ֛yDmÿ%+Cnb a[.)ISfiM'ᵝz2҄5+_t9+30;߂"HFpjհҰJ^Q#mTqx_,g*؇ƈ:2V!I|e).u$6sghKO,)͇G]0Da͈YתD@å^67礻rkNVg.⻳z'[`W8Tm .j)* jpV=&,ÏaT*sIOdn٪SU+0b,"8OqƼi(ẁ`o|S1솏 !^Z%H8HeBo]ׇ]5UN1#J(ku/%?!| 'Xm$~SkAmBLjECR22_Fj͌|T:=S߹]ASOy.Q}cgGMuāqaKUFʽm&0?a]{t7]}ivse]5#0:B+ \pR`"YBL!y1mn0^?A-a ΃#'ݴXLT:̧Ey6w{yl:h M&a5GO.FyγmW~HTu]}͵QGӨ99@eCT\Yai5GqN9kUafW<߉FՈojSȥBC(>Ӊ}4 iY5Lf20r`v_.$ѝ~U2* ,$ou ѰVžhTCNlYW6llyϛiyi!}0h]<>tѡp-+pJ\qbZaH:ѽ Z 8bH>TeaQXП %ޥ 0ܗfts/Zgm0O ~J!"-(ۅ\b@ ZdÜGm!8 xRdA#MR<:# x6 ލՃ+ϖW5j4>i2f hF] xYŰ6`?ϐ%P$}`0&P'kpSs2xiڜh6z9oV 2-69[Loy5bDY4ܑ} ӓ{߈<V!)Uv:%+p&<9|aJABU{~AQ3jbgXo4R@bII8MeBaR "\h#S!zé|֠*l"Kd[tIϗ"=]FU(ݾ|,KXwՇo17E1ОY!K&R',`r1K(6l[LK8S`/PEuɴǑn7faѫέ7 ! ax› ͭf*gNڊ'#m{7lG m{1CnJGrWQ~!]^wu}=3GKF[AEg&.-c!xBΪ}Crz)iL 1Xi1ICNK *-LvZҳ9Jpf{{S~3/0Se e"`Eb@N u4 ni{_9}#Ҁ8'*i"]p xKާb]qZҀ"32̔X~aKZT\ z8r\_ֺd&ZVN剉#𚈐I4ij<z^n|x8 1ɈY hʼ8{ʞ3۠P*{cLZhK0[?5#8NOEj>Ozp6ƻB!v4pml y#Xh0}-B+PZVѥpw]U1] AM//Z[($ p"~}U6"!1EpKY1FGg7΅ʱt Nm)HͅEĵXEl-a=953BL=koʑk0P̾v cv-~uNnWKu}g<ʍ3KL/_h^r3T 4;By=pyd_[)63|:ǗD߯-j{?yd7.Q31CzSv^/ * y#V>ХP?Fs#CKrv:1iX}^o ,eSo2t&Ȯ's?aPo+C52e}^=!kiy{7+)Z?|)XޘݬOJD W< 34@E|}"J&X'L cE'ꆟa~Fbgǻ-oPCS  &t2V8LJ^OOpW1Wƾ>D\BSE;$Z+[A@^I!%n #Ŋi2ǫY#3] @MG0r;jZ+ƃEϜAڥvt.y7]sIHtO(@ּÅ%7&6PM:,r, 6RU"2wVIk^)?m_U}ܪ%#}Aq 0[VBEiƽ~_t,0PFnu9?|;L݋PN<䰍(v:{Iљ.>//?éŢm1i=ٕ3i4ʮJvR!wwy*=$CbAP^7rNֵܐPyUr݉ |[F=wb"dp:XIMK @ -OcN,BB>n{w)!D I[^ ?XP8?CcP=%o\~̽hYcqtk5|Xh${;3.ND϶Hgt?\Z{^tA05hT}vPP͒9u ̵cRF<f$ GIC:[H'qH b2R1g EG")7庱rE{F>ok;xh@|RCYG:=I|'ZO'OL2˺I|HBJ~-s*X>dgSɧ+61N)AI0'^Hg o{##qa", j"tԙs#bnU~oӢ 4wIUf>tɮ%#<3_'u56b#`A#ABpyhOJbP e?3DM]XÙt}RxGBeܪiognCb2Bvgeg` kzS <? Y?^dG#5$j> 3^0GdD!E/%L)+j` UZF~g8>4d%љRܙ7U.O4xCЎهhLbO_#XtؗLiT@rQG"CT^řTA;)R4ΛFUJ)BFhv=ya3ҰM݁oٔȦ|yT '~]XrskER(?2Yn ]̹̯č?irG'2??r}6d! N!t蓬(BVe3e.Cm(6Z_m!U[8 #;Osb!ɐo'd~Ynu'Ú`R|D95k5Km=@i,wh-ӵetcrNKGUes1AoL6cBLDJ ~fSU%bijiA6\ɴ1fЇ^r3]6{"Ǵv_׊Ia4~/@K/PոWαPYP0fMSǐiXZTNo46hfѡVwʇ[}->z9?lW ș'_=Z.ʥ *"mi./j&Ͼ'[<&Ǥ7n v`ƍk,潊J Wȼ/,6tTZRaGBIW}C uzQԙaPc5<{ٰXd+Q]l* BQjOR!I7̊Mu:g-tu(q1˛5aV}NӣGj6:]uvu[睓3 w(Ӈ7sZץKz'rg&MT.=^i۱d7Gc9)1`M9t[Y,EЉ@SvM\b8{R5}Dr'D>1lThXSm8nDwصG"x_Z`|XkCP(;'Wbk)]. tjEФ 4c᛬e:ja1)x.Ʊh:sysK>4\0*8#Dޕ/xu%T$"?w{`bêx[-p"0(X~8yFvu_d8JEӥF3XxgGVRvtV9se'EA) $C^O$)j^eQ Bk]R5f/P^F%pidxl.R~-nLQ@ZkVpg͑yhjHUGo!U=b2п)&d}h[Co04s 3?y_-o_ԟגttl\@*/*C(L(ك ݂??֗3e+ ]J(1- lo7 E0§q4ҲcBe PU%8Њ$SG&y1V~nh=>TTxESGB Kn(jAʹ #īz؆Qd|[de|XU@M:˿jHyaB-'ʚP\ vXGps93p?)@ _ev|4yWtJ Ԥa~h*(^h}6ɧ/ s ]պ?魬Îux@liTs31{EETD!{R'#> ޳?Dn~rq2{JnS:{HpB#4@W'+FHAЈA.FD#] \B<>l{aMzG1n*'^|ݍb ozΆJ;ۧ5ؖ}`2/١ u-Y0=cNUKvK ,.܃ ,-lBH|0X[1b 2L ] >P>ޖ4X#!Rv x"A.5`mH.Nk4%ا7E]%A+bjunm+Q6Q)aİvH!KOMqkIX7 Y > WN h,:9P r.ssBw{ؿP{_ fiF&5q/k&5W˻:)sƟhm*IҹMʳ[D]b=:2*bqįY,ރ[.㣫;Ԧ˛Fd|JPOI~V}ҝWCrJ}~z[&VWʆg49V,|v dcp<23Qyd~?|\}~ۅiX~%\,^MIcڇ0f:uhW*X_b'7-k?`cuM9IJ&_C5YpTdHA2#z%BADKKJ|]1~0M_(]l{`x}TG"9=N7biխQJvM(s=o0.y/eƅ66RؓUgw?+O?BzvoOtv=9!tviZIU%Ly_"9ƷaQn@!q~3ԇ9&>g{e?b}T<&ƮavOgS+uS~W# _/M:7m&$eEϳAi,0˒b?.4|?BUDj ( QiR5AV!j'k? )ӾdkN8Ud'l2\ڷ 1 'QJ@ЯvnB M]ol Z& ZCW9v;siB XOl;UOBbuͺ"OJzYLUq_ x4'k,88jA=!8;Xc"cBx (I6eGLʻ5 ٜIEfڗ;\ ;B~9HX>(-ͳ DJe̎FMTQA i' 4>_D>\ fvr*f`tō$ {ʢ%e-gYZ7zXZִF! ]ŗXiɟ1˦r!cHkMeBd4(\hxAxZ|{s9SO%!ox g1 Dӑ'Y/-q Jy=s,na6jHc΍`M_%rm1wsxk7ZdhXO䔓" Ԣ~9e\gYZ7zXZִF! \I]ŗXi%L!l+LbwaDMX@̬/Ї婺ȅM7}E )n/ Vh'՜d |s%#}x׾ [: ޑլaFU*;&!hȬW]/ꞐM4l)F10uH \vTޕT&#q(3YON򳢽\~]IW҄HcAeb`Up%Mu섀IB<8a&[\:#CJ#'(_Ό(y+QYՎd2V&"LO1nSjnB ݁냯K9[j=<ae+3I@3 %?ٞ UF "0HAHh84<ۗ܃o%ʉοi7Xó~q>: 1Ll" XX! X%U@]eeu\ lF{+ j3t<.On#9JPvqPWz?cV]Pdz $+B)-"Ϭ(݆:9iXHBt!B^-$Ȓ>4 Z%!>)K47(t@kr}滞@'rZS5u@.i5xw{j3 /7/3>`2Lbǩ-PqLHA_ :Gԕ@"ipy{>Vӑ(o@tfWe9aYk9"kJ"07$zn4rozÝqI@^|y| !ur,퇘M``ht|=+(-^L 8]CJBJ~LǡܐS9c8/b!x9B:@DHk"WN2)rF*$īOp:a lA\ _{s@@t(ꋊ)D3P~G,y~ Vg538\61oԥ-x"Ftv[_t߭6VK[4JK\i(YLYl*+Յ{z_BJGosYD $$ԝnG20XOZh\#EN %k[d?l1>3wZ};¶%e Q &tMlEz%]%/joiăN( T5"ܷY/seǑy5cov#,d-sQ{h|o4-3i+hZ@kxnl*/D8-XwlIrx`6{1&X%l, ݭJ5jP M,m% R0 ʸ5@gYZcff3b0a6edd3284ef5f84865bb557b3e4003d8e18215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61