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 ssm=\L ] HOL-Quickcheck_Benchmark:7zXZִF!  %]ŗXf1-ĚEM@ٚ|3 5 !8- ^mE;MR 3nIO˼^7fπ}1i ;8vz*K^;䡹gNB*%Osص\[HA8Ťh:^1zԞ< YBQgcӢt$bZv,aOLI{NcW+!*y]8TΙxl}!9LtD]2'*K`$#d_|\ym͜l/ [Smc1A g0DYH@i"b#\֘%DZ:j'ԫnҿԶ&TKV +sZ}mz[E)h_ϡM}w20qǦoo̐+>eg=?A˲HJ2-޴ʬpX-uT{_jh_5FW7]lNl>YѤߒ.jJ-UV@)&\;3Ϙ E'5؋Fqܤ{@ʵez -(\iױgYZ7zXZִF! /]ŗXiɟ1SeNk: ^7=Lb~CML /]@ج0οěLVsCVx & zӢMf^9)O*1ӣ[Z? p<2#--WMDvN 7.z ⥭$̜TM.Ir k4/rtgYZ7zXZִF! Ae]ŗXi%B%s@yPܿjϿQ8SpVy͵DG/sPu߫_sDԪd; f,;U{jSc70_îё7l P8\J.p|<~P-o dAč^PVO%ܚ@ujR<~TA̘SZƢr\lq:y@ Qa!;IQ+ZUaX^!;i;GXs}ȶ50v!OfB%sb2dx̪ ә5IߘΨoʇtN]XN w=#{25z ްʿ|@j! :a_ۦP"߾HLp6R6y*Epl\v%ۜԬ%[^~+nv{-5Ǩo8tBaziFJb+nܫ,K%ջ!nMoayrlQ9eCLHH+IGCCꎗp 5~GI%zK+@de9"? @;x(ϤCԾCn.#/c@: iƩޠ]Sf,H y(ȱZ[Aƍ̈-rB8C?{+vPw,멡σ%[fuW1(C9MbS!uܙejRb-l/9+Fq-agK2>X.1M{lMT7g}G\q!+ӱ`Db3 SyH \*mo'ێjsq+%gߋ:ЍAn1>ů S=26Y﫝("H7K.J!Y&A)̀MbB^]jM]Rb cU#Hqq/E@c^QO)4tt4Z Tӵ\,bO؍KYPx񪅧1n0?27Hm*ԁ |#9bHR_D$ nsIv72=l$b8,7 I/NG$ea/B 3'|6t `JPհ#?13c6ڞь왤8F.FT8CȒq݊Z&q?'Z錄hi7#uk0%R H4o /ɧGWoɫb?^6KXΎ Ȫ*o8ln*bː !8[fI3"ϥo蓁;n/ܙw9up4۔bn"> JRTc z@ vk`#b=t Zxs Cb-cVG& y?)ӃjK8X po~L/Qu+ I">~.ㅓ@Փn2 1k즣.bm4xp( p֯e^X~n_vA l4|C¸xA؍ռs\<6yr=9@Ee?V~^ = HOL-Quickcheck_Benchmark  6YT\1F"]@LM|D73Ŏ&~ّHb8M8D:Ϩ DLjDgTGE}^*GxXS 0Ppm z@ˈtIp"VV/@FZ80n"\fæǙlQҊ8̼PLYC"8EjFB٥1<Ԫg O;3.}|fg 298:^ 1)83|r1+N~i=MH8N{7+m:\>huoOM^g*i͚E.̨ҰY3Rۥ)] `DINaX|kbt6hyh? o)e-HotBfr<}o{cRcP@ '_v3U_gLmu`f&}~5M[NE4Su8y_o|<riz+S k|ljU _+0(RښOOQ$}\=i^WHc>^4 1 *Ҧ Dt{i-䑤]赵sq 5YF;KNfU1mB+<p0n6WFz!zB½Mqad+~ θ̇Xb#:[k86Amg *0֦iZ)+ "w[Cw"ܢ,?L* I֐“Lb1%z~:+F'PRe6c9U5Lh}R*5\q<9yK_&DEy{4kwJn( 4绣mTlR?y`$vO-Iׯ}>e!Т^u}ɚC'Ce˨[-)j.Mk$Ũl>{Tgr ^9~5%zpF;s]Kqeb()YÝ1%#N}dzh8?Q}2\2:gYHTh[Ofk!Iǽx= $y.],K Z:dKCRB%wӦ JN%U1zF_`¥&$ơ}Dqe[[5owx N?ヮ$r;D. 2fsQW&jiSaj&7?U^iMen\"lpUdIM25dx5wMiu2ړNJ=+U}锝4O_Y t,ϓAVO|~1n:0F$<8J?_FyBBE'7u1O*ti5颭q~I"8˻l?=P+źIMa+ Elޕ|ͻQzU!iHi `YH. zrrjɀDžT%/R7`+T y2'/(C'd=Yߵ_ Ӓ; yYI0%gz%86!D1Mbo%|]-ynMSc,i/zVnTBAI'P>MJQoj0ݚ i,Y]QV G{0ᾣsJxu>袭9Kf)#w Gp"JT;:;L Ue짶$gй-ӻܭzQUPĻOf$SΚ8 Saje;R,,c7JBP7=1H>V;pȊY GhI˶ؼaKI"gtG\V[5BB7Ƀĝ-hS:X8Z@}*(s KЎ3`&Bg͞\ۿOR|9DFd (l37l?swS0P᧑q4)|w3ث3ilE?rqJd&Hw۬,=)_n 0,w'Cىl?_$ZK=F `2@)+k'AǸ͖~{_BÎ51|UeíAn*r%o_Zv7VKJt 9F'0Ƃ3c 3T(2[:_OpKWw?!'ˎd$Ų\Su7b=醠A먿֜HޢFw$3RMx EJ}"Xɡ<>IC,62 FaLԖNfx\(_iӛ .ґ V/nֲ%Y1@!dd̅T!kxka?(c ʕiX5tX)h'\8x3$xKs;ۈ~nSF7m@)t޾Rc`/Tv\|qsUXgnp SâjQ UoqvuTZ^Dv M9՛9tE7&L< $EN\&p#f{(Ŏk&ZiM &rkxF)#첶]tcpUK0gPiȠFqLQ R; 7,TcG`s]DQHCmgb #r1g9Sris_, ll>#޿Nl䁛R>:y]mg93ktXՑ!K^,k?WSV"rne gҴ_l n!ef;"ö,6T}<0uBCCN8whϻ30G٥FMVN4jWL9ɩj5Ԑ:g#w@A|dwT`Gww>JyF&nZ\`9OJˌuDR$a]Ȅ@8,%:]/I1K5cYO<:-ҠulBC$UCFXr4I#YJOި5X#UAq} v"JhڏwGF;S}JjV'wS"Qʈp&],bWҖ fM.-#T{g^kcS̈GjjԎ6‚4 51+F9={=#xn9ҹk8t.ʜlJTgm'EOZM\3wC5>$A. (!} ZI:'ß_ J-C*"/ϸ/L,sOR "A,fbPL].$Yݐ<~ 6}]&Zr5ݹynqܱeDp(\/􍒩fc,X \zJ_dS\x%Ia\<>oNL>mW2i-9D \Os^o?" *&50gd !3h:0=愢M£drX_ș,+%6 ř\+[fyOPXxI wZ7l5)tk {hP'TmϭB^ث/I܄àPó=u+p$)Wk"5!,c>D&@LO \ z{]sr/%R^{o5"(䉔LyUJ}p݅>]]umXD Qix_iN"QpQr5(K^ISTKA{;&F+FڀNܲȓq( X 7}¦Zc(CY^Nl|z5n<>zmqS+9(sgVy'>l͎jA-^M\v >D:^i@6b`%8JPQ3S]'G՗Z.\o/!NcaX c*%$@S25kvvua &TYqhQvK>D ؿ@gd hY`=ʄޭ˓CBd') cB1OZϬ ' ]X_)_w5" άhs$ԇ5a`Wk(-\'ϫYa x#"/@GNF"wΙk4ncX75_gmzNo4{$+nLjÒ +*;܈m!B TUO20hBe$D\80t݅1jv KG1~oZ7F~0ÌpxX$ұ@w[t9Q1O@ي͋W Ƚ>xrfma ˰^bd FteթmpۺL i]6a"<ܙcpƠ'Q%]C;*Rx5qUM@v7kؚMild^l9A-+0^GTa[InB`N_~ÄXvDV}iV%Ӽ9LMgp_'Bs[h?Ŷ_+:MCJ&ƨ 8m Mȥg~tWd7-7kpz/J|0u#L]]r3$# z7tKn0 ^STU6ήy\7_@`aP&~9@_Zp\#cPhTjupR>w*9wQ|zTcW7(-!ʮ2|{Zpt~ӫJ|Jk !}9axԻPSE[x-Sfhq>ufFe`},{PZsˌ#t-V}D'j G¥9%xC;IC"\!R4n^%Y J18rŠ?pFt+5=O~ lQaȧ/]NȭHyIú۔3)c&LWۃؾcv+$~*/߉ ~:bH{0{fpNq/#<#?bYb7")(:/&#EkV51Z (P; .f$ ;M ՚P~ ,&x ?P(Þ\=2n,#[X㋋)y{"WE=2*cZ­iJeqz5'?ohp}3py L>mRJVs IGƳ]޸lsrs{[(`PR`$tDS&\ =8H]>>Ær5 b.REaBz+Ud]A &$4P1M:&r`}*'Wh-YLsp8OQZNNu<Zzґm_PDpIQkIF`dVWxcB&e̥-;JRf o9 ǰd@Xj(Upp@]/Д1Yx|1|e29M& T& o/ ~GsbB5c޷8Vխ!>& o:+qL[1`^1O\6 P!i~Cvv=f!<0s"s*%Xh+|iߢ-'渕d;- 7/'T3T4eQ栀+JN5 A,W1?0~ "C>GJ YzC=z06+jTu֠V\ԯ G7#R^oå͓䟵.}1^Ҩd ?%'Q0#PZ5VGgWꜸ{R''iuN$h& rE,0eg 9Y 㐎Kd`Bo+rճލP=*t<Lwqx/]LP s.SӮ@ove`0B`֓e+u% QxG0Z~h<(X¸SC3))O"Ycҍ򧽯BsR[m2~M؄yf[++|XJ=p&@қaeDu Xʬ*Ӵ=i{ygTrPא]ZWV݉XhҸZerr nddW[-9.H;PjyWݕOЖ:2CP X}ai{O7԰Χ$pn{z/ͰjbWqlGelMtS=3?zd3R"P*3r.$l8FO^^-jY.Gc7+*0_pQ}QogꘛPN B!3vԀPy̖IS02J{s>@X=yUG_酡.ukB\"۠}f^8. Py~Fcj:T.fI~&/@;k.`W6<RAgxxrOhni2){7)ge[LY{B?$aЦ1]n\(pHJshF$ϓ t by-útui#Z gC6A;<#?lGZB# Kz+?vpz48&n}Ih\!NεT"r-\zxYNN{ekZDp}K)Ϩ5|-UˈTxYak}G+`Mh fcJi; R:+)}7P0o\؁k=_{?O`V 4IkIhƎ TyO蘑&!QX0@:kfYd+]syBWCvv#ZqoLCQzw~+ծT_y3-;;䏉Ə Pe֨HڳReLAaaT/la${t&-%`K jĨ\SX)`>FkM]D׿m֮pmdҏ#H0 `j)m9=KƑ`mw}vtBi7Eb 0 X翎q6xGJI}-pd}:W͡ !{!xW/J>-/p\"|V*pc] AcRvLƽHv M5TO$P/!3 .Xb _s_> <9/'| _Y⩘c; 36l~ۅc[7b@D!%?qeka`w-6@eMo֢hugXb _U.Z 0{BPt^06t}&tS66<{nalgn;RծpM`l`mW$MlI!R[ZF iHeƧt;.q5)XNSvG\?X xvMT'(8U?/8}7G+2[妎}k{#V {u.딿Y79@ҹFA=\exƈXwrhpٺf\ƢH}1>5x&h(-؁37?؅6L~,1 >lQnQABڱ)ONr<U *+^Ɔ4ZS$D{՚ΣC 2bL {h˼c2_'r+c-â#ƅ8E/[U̼h@~fK?6bEԥZyeBTzoYtrԪ5muJ(R%(.2,Щ1æ *j7eMy׺ACq\<a7Nb4f{r.D䨆 "x,;~zTK)lTjv.{gqeTRC|~u@=ldĚ>S27)kHNA nzFoP*H}s/1qz]Zx9kѪƷ#o*:zh|j9\1q;p$Jz/jax>9~t*f93 HG .eo_ײ5`Ah.mV?\xӄGA\$YƓ1/u94 ~wʎ4{~GH'Ygqk:d.aN/%&\~/ј%Kg nWE$C[(trH*;\sDxOaWB l\ӨSvλS$n 1R qxtq!@ #|'ٚАYƜi#jjabj~* @$s;e .cyW**$wTE)g"Ǽmo:e](V ޅ@0M@64Q "XU+:([/(*X0=u!HMζ;uIX]; -{ݺChr-Hw|,O. xIhQЀ`RhT$ B$GaK85.4Hbc@?满u'qLz,mk5hG~t[Iۆu< ͥj m b:dbGR#=1w ,7&"^^S.4SF3vSA6c6qV׼Խ[GX$nf%LU55H臚4*Ci*+Fs#tyn'ߊ ؉$өGS Sm1c}-lB+? ҧ (SqyYq:BzahXL'ﭪ% "#[%XlZuڃ*?6[x󧹨xﮏV-!"\Qep\>apHUd$wqg[E@ Ȣ@HJ[_(s-YrX-@j*_r(U Zb뿎T+)ܤ*vbI`w07`.;1 sNmà TaEcD O ׄ\2><>*!l~M`S(Q.ȶ̜%fc/m p5<_رo8 klj*VLKcѯ}+_6px"Hb!v,"`⠎D&9EamUyTA NN@oمc͕56bA2|LaтþB4w#L.CœV<]|1|7gk_;s4v7,tF1_ǿID~vF6?*,pj$aG-XE0s&=6mh{%UA V$AI=m̄5[!Yr0vSB{&"t;#jNw8/ ̔%8@ 1ALpv^qS Z%!s6&SM?WdWZBw6Xd\C }РB%,Nt9ܒkqbd}JISb%d'[I\<5цY}) CʢvWvW<JJCIhAC oX挩Ę %+:-\ 猪xɎTh\70Js\:ґ#3ʘFU,?I_^z9:)u'z:=Y O%ZͿ>]]mBRkTΣeaH`L\ PVp˝s8"Z=:'\O܁U%7#c&A552 #qgi;I=B\2图#c6 r#Ȅ5EoNM}rI`˝(T@~s&DuV;k|"bؗnβʏoъ)PJ"D.`Gł=O-B)Wt*L*Qh9ZÊS]:BuS]e6WtàKT6#Z/쇌NΑ_I{];|]Hw.ƿK+b, Y~T4s \v"*Uo/Hk`o3]y*]zKJK}Ww_Uj%]=\͈m]SK(QRR^]V'msd' ud]+u%I8'TzzH1x,IԈaQr-]$m"op\ `y{!VrnHСE\6>=  :ܿqhbr*aoe-DEqP<NӮ.E7$)K/C6G{ ,ҁmdYYz=!m0?ȶ 5=ԉ@Ʋ2lpsLއA!H"ɲݲx{`d}ŋUCWkgEj N I-_o]< 6e,\^anSP0'qpX!/II#F_1hT'b2吼2OeR&Hvڐe{G1l496hGX{ ;y{`Tbuuo="_H!Pb7(u]X!@UĒu%+y0| hWF Q#bDL ҲfWǗ#<:X+Ⱥ #e,]D;+֣܂YGkQg|RϿ E-W=XyXO"9 UZl˲كL(4G%N3Ar2N4rG0sPܖl u{]zr'"b>"0L~28(5$>l]b͖u׻Kͻxm^!q;osDܶ8kUVZDׅ9R8mXexJhH:ކOq$AP*,VLUvojtIzZ2`[n3T~Ʌv-bC'֙K1s m i0_Bއt (_5Sؓ$yJECf;_U$5M_G1[Sd)}U_}T0V+(7"?|a6ߔG^eg+`hYT7L&IE:+'z,Tkyk~4qw>Ⴖ6(v+W'퓼 k=/MS>|dTO9Lvi6KzI_Zf%9gH'Eo DsmۨIx?8q5 6ɱ'Y+gI?+ p Wf'Jn[$JuX9ɀ?崢0]"_0[5Hx^RjOHPChbPf+Apxt'zorDhÊ#aǼI_H>-nZyQ@hr '[$AѿdFViq,њ+VթpmE*hڄƇUͩ;f %<%AkУo6@U"E7nC/O踏Z׺:! ˁ]Rru?}x&oF۲j*1@Y$b* a_bY0{̣>lX ,jB#KK䴸|-z9a0m\7 KA߳#ةe >Rl ))7QAXs{pҵX3Λ}i ,BحDBܝ5o_C8?UŊʼ". G<Ai=òMO RZ0fYЯP$j\Dp83}$_x?$ڈCpVBD$3 <1/nLAw]ƥgؙ-:S׏-q*qZLf6IOh>bGK$^lhKmgV6!6^q5HN}adN?Fc{^|Ud?W;ÉXGܮO&ۼ"׽>Xo"tV<2Yte41ju&yiB%8H7;G4sw$oj +:xĻFղ[/xZPЪ)Ǐ|2T(m8hZ@b_-!>Ή=nI,YG`l^WFڻGH&em,58=¡^{Zco.Ыg=Ar:tG̈6&K'4>q(Ab!|ioJ,Y_mE2vPzKT}ܶo?G4'a֡ttm1Rp҂fp"/B_XBE2z@%}Rd4rRy )mk¦llV)`Qn)rdvn9biEpJh,%{1FZP@ҁޗ*8JPS˗şŭ`HȰf^Y_Bs`;Ypg$q31:' X$BQTLXXhH@~)LH;Iw/b(3'Jۼp|qsqRp}ǥb"c& \oS,l5( Or .E›d``>cTG8v $tgZ{BﴥlJ+C)pdYxk'+nc-PpdK FUt9Xr~6йd ƌLՇmMAij~Kь/D&挰:8@rUkI5ӵex>q$lgVN)m&8F5ߐm@TVn4C\^E.xSQW} pc|s^+5DT;/3@[MN PXm c5~ )\o4dq{Sc=l)VR.]ZZ̰W0. 8Q% S8RmZB/&^E[~%rm RNk#D 0RVNe_ME(Uę}T,8&ۉ&rն(GWZ/yYD5@JXRrۀ[ֳo+ԉZ^TF%:P@̔Xgtq}'\5mՙ~)0o~85XCU%lj ݌MQ([T #q 0ƗE9\ˈuEĬ-8"`ZLEQӰ2(:qe݄oH7qu\h\X`?wHx_$zB"k#^l!@]3bcdi$AM#rlxVȟ p$D,z.0FZ%9yO1Sop RӜ/4N ƞ)xqc닼iZ-u'|}#TlLTV܆/t{ױ R4OuŒI}c}y?0m)[Uk.T(:b̀} B1vW :X +a#"A0ʼ.η}VCԀkTeb풢 %/s?b1@4j*T^m>se\W뵵)HBR'6.e1!ݗ`'lL kAďq={%OZQI˾643GK¯Sk0ܥ?c D{קvR ͼ巿]!?7r[A+$J+,'J if rvc&64ToqzȤ_-}cʍxj6 UbT`;~TdAyW \MW;aF)cEKk5-+fKeP{AMq%49`kĥ~`| Z7" οw殥AnjK$:H?yp䅛wiD3ElWeK o< y eNVvZC bD]k|߷_ad#ʼ"ģ!QSa;:>'@aTQ*hby59N*{dq"hYmHdsP=X0Č2uP3[oTvKOxRБ2 ˞n'owU}0}Pbߣ ռd̿$ǭϑWbiP;11]I$ S8.:  z:6 14\ZcJRrϬx+,.{[B+CGv:е5= G iӭF 62=z>'31LlTxPLXG(1ԧ ~wn&2y>~Ǘ7D.+O7)E^~&t170ìx%I^/W6/: bs@g˯p}'%][QT/\ο3Y[,-^P@ >v&\6-sӂJ_0SCN"?nQ9?ޠPЖn9&R`wha3Rl[$e2YUߍ5CIG6E D~r V:՗] M T卺"U}5ϗCH- \[f .` |FJb M@>^sOn`W*љ՟Y 2 #>ށ. Zs9MB߇UeZ`^W~ 𴊦_$SgOĐ}UeUFpvJRFǚUc.ƛ0A6a!8U#|ۼ5DrkxUPNZ{$%;)nJ} =\Aqx$a(WidFFMq8'ZBᓽvSwu'2{I;U$f7veZ,9K`NWrA3Cm -O{]h4BOϧ\m|s@;ߞܜ̺J1tcf柰Q^kyo|gVWE9O ^#V$9d4sn+bʼᴍY\"DԻpKtv"\LzNP~}JE[VEY ZLugf.Q0\[/~zBb'/vgqS%*RN)ԫ{On줼c> M"tB?Wm=K"|j ݝjf}V%UMEW};t7jy'C s̢/dz{'Am *WP[u\ Anxa8ÊKIBsVUq0LHXG5C."1=^i]2`i]m_ԟ hBF,{h9X],t2v$ 2L/'PF:~T}/̾浾}lg+k1`fݒk{R,*m$ (".t{3 ٺ 'O*|NL}qeAH^WP8TȸR6N:O#Lݥ&)8 Y}qi-kۙA|@_Țmse5V>HH 3mTf%#$I3 ?@)-W×3T!Q% 0 i sWCSt[Fe2p!dr? 4α :8kFtl5ߏ3v?F8@n$.6w6pkiGPC@sŷ%?5&2N)U9T ʕ F%շ26 ¸Nm޲0%/! pm %"otlvڀ;DZ7Y5$q^+ -GVlNsB$N/nmabM4cV&9V+M1$pJ8QWsEЍ Y gY{ ɰ~ÈQ0``6/;yTDG1ֱsXyZ^n1Aa _*J!Ƈp<$9n,ûrsn羅I.c \(I]Zy MTDmT=<~sUf$j6`K:U<@w)bguCZ"Mݷj@3 \_IBRX,ʫSK}i.xiCU,+߱Z g2lD$-:Qj9.jI$43˦jRrU@o#Q֍}Ax,ʮ=|OS0.*VE#bŵl9ZwS ъ4:GT 4,>ռ]~FE^`9 A-|}"'m0xP F @E PS,ɾq~ &9^DERJQdNØGcM&[K=njXč,O%Ǣe>c 7G3c׺mɧ_ W%Jϰv3{zxz!ǢOGa'^nxY*_:MX[q6 h޻wa$ulbD|/twu)4DS/4Kٶ~NL@0ЧTRr$HjG5+Q*2U'+A syJ0žpSw6|6n 5y@l T)h䜌 ^l)Tގ]3h)Ww2{/b6lII SbcM1#d|a ^`zQ$8";k 0*` ~<ގsD֣^ҔƝwV$IisЂ_~@%pOIPYY[tm+aՇX\G&ƇDQv5\dr<4y\5cm-2&sDS&Dq4 Pk*vY}˨ւ5(gMd.e.3qhJl8JwU&o}AGń0덈u9 3;xyM S\UrGBT:pdjKzc8'b|WӬCI0apetVZs Zogc#jݹ;ҽOc*Ϥ$ X:kU ey@D'396G Cdwlp7K4E'ڨ|?axŨ)GM!(w R:ݕ?~ӂ0л BEBH8@Aq(?qk~ ݶQq h&rϻ')YZT&1GWil5'J֋sFnv.neoμ7/-k1 O&ٌ?rZ]^_6 ~:$N:.Rt L+I3+I&@aIΡ[N FϠiIV0K?W0uneM M ÎU C@Z #/ϩGHk.T!*W̎dT\8LDp+*ҜY?@ʁB7;?]N@u: 7׵ =vvCSp2AdB(Ñbo\`x^Ӝ8[,8.ZQgX=Gܡsv?Sݯ})u'~}ڿL2X6c}m砛2iՖ>] ڮYޒmPEYDǸ!KP(' zD@*Xw;zkZjv?Px02Q *o^t*J9<}V- ,oFa78_7r#yq {f3rkys:lJkI7|8ܲjdmAbh_6[̆ʋQܳY(ea h^mZX7Q¿9Fj+~=!CL]j (Ba(d0=5lKW9eDm%^ZDwc:+5Ū3OThw uʍ0^;ɼ@L)8]rbe˫XXze٧ m옖fY!Eu'8Vg]46(b- YȜjF_)3'|Y5+צ(a mܘ`x69  pIvֲ L|Q#~O *HK?Ah^vP5bꄈ^Y"Vov0KRYOǀ^`87I"M:ԎJ LdT]IWY^t/0|٩HtHsWm̉>$HƵ& ,GP3)Usa Kl)ٚ4?Wb,`6`Ӏ$^t1L$T9 (#E5'xyj{NRW9o/}7BƇZk pJ?)aemX쁪 Ŕ<ȴ㵀t