SQLite format 3@ 7- llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 mm;5TD ; HOL-Nominal-Examples:threads=6elapsed=361.120cpu=1363.760gc=116.920factor=3.787zXZִF! x"]ŗXf1-q恈ބԍW_8FW'<㺊kP…#C̎i'spD<~ H30;\2Ӂme+k `ڹyl f%|H!3Ƴ`=0֘Q=VS缨`w!XvbV!aspW m23l ֨Křv?w2 K }ǓdP&I!ӨT: ێV cFw\Hi[BRG' g@](4߰c=a\W@AK::N^0a&$> ޲cv&8c t p@ΌZGċ;ji(gPx-uUx0Ń^ؗ~vtٲCX[+jL|hU0{SéG5!I90t/˔1`𫈈K%o+{y%ؿQ4xw8^ >v:"k:^g."MUo 8kC;!tV܏%'Qϣwl3O$!pB\2<6hyaJ72p1(|Ap=Bƒ$J}pZdCۓū:6}MG訌p:[.'@ڳЧIHx6w v0i+U͎pWR4=B`=sR1z@ޡG;obcr2h]I_e4;Mϴe m",&e[E>r>E@eXȓNUH)\UEt,~T="34'G瓊= K>uΊC@pz4FbJi 77@`\fKLBmb2t|DG tkGarwz6ɟDSd'UqJ iusR 3 m{1H4[uⰸRbץ4?tӉXx|Ǯ0DURI)J Uי|+>b2ht*) FDA䮽Qsؾyq 4=b4#h=[򃣹\ddq)\WE-],xZUS- _4Tמo=~v RQ3eҿQDH{dSBzw/Lv3)J)[h|Wԥ-'Еd}5oAFZ7`0hm=lCMcqg]>O;]9_^)s +i_y1'8tIUG\63.އ^KiCy3x_5/ >O>ulNPzy фsAar=>k ;5 5oaJGv S46Q}:!19mq0ES<JPa>>RN!,zS~~_YwqBSc w2u$u;ʌo &2q;Kpɋ#Q_huSGu(FAokxUʖSзeuzV$iDu1: |7 s[醦_\i\hsRNʽ]X m_X!(3{P5]xPn;ܗZޚ:늫qAӽ-+ګD Pr5eta#7|FH79²A$hH]b1`Iv𓁣sEX!d)ޏh6 8RkȻ;=bj=  mYdsC>(Gnlï*ųժ$n=gלق]ԯY 4N-@*j/]T&kX@ 1(1r|+> 8kn"D`0 8LYոjQAʹ5Px sKUod$-xyZaʐ.|\;6Q/_'C:KR"<sP+W\``,#khf#@#>97+ooۢ#_czTOr3iziJEAVO@9`e6v-}Yq3P& 35 w}峮@Ϟ"AqPiKC~H _1cIew3A!Ӣ#( Yc$Q!*Q` et^" ׷\piX^[{Ίƙp>]fپX{ǘk!k{d EAOJH χ^}`:|.(!%ù%&/i@עc*ikIn?gxVOu @^X:UanaE*˸run6,Q HD8DQہ n@ #͉tsw2x`̂-$ipb]&{Xϟm( mDABU2.\Y4[l6~X[{sD/sVLAmtauGEN@w2Ѩ0HeGϾ9Ѫ9~8ъQV`E_+&G{Z%!;6f_魌Ͱ9e)uP*ioT+~Ѳ "`uD񢮅yXT&Tz ͚tH&/s Ka9{Vǯ }Zk$ !\Gb÷,?J#I1B_%EgwkxەEt?azTO2˩H[EY7SJۤ/uY7<Isի>cW3 Ɏ#rTW\tH,fsgTQs˗A[?r=5 f'!z"A`O?o}2[ ,HѪd|7:(g$ဧSovS‹!^^P%\'JklF9?)Y] q '$q}\QŐlY(&BR5Jp+Dr{?bE@fcz٢ju߽3'Od~f7V@d\ tA,*J ` 3H5"At}E~PԤfE5iedNVt6ވ[{6'BʟaPܐ:%'oN<6Ȓl7@`όNJ z_~B7lũKex>ёjzofA[h:U'Cg2axx+Bo3H$!GOGP2-ߏRԫ3Nyﯟ{ҖgEI*uR"B" 6X>p0k حv&q1WsUiI"(αz J wfKI.P!3"GDں._c[BCR)4%ъ]13 .@}u` /ex9k no\KԘt#Okek5CזASF0^v:=iv%RYpXܕ А,ZyQnfkZ f_ͬ1.^bX- E / 6kQq""JȭM؂aiPS:T.sY{*ĕ0P9zwĩosfۻ<r4^)6 /Ya]T~frZi ƭ cp(C&C+"GPJYSg=0ZB7W'-G'a&wMA vKM͢ʓt\4P\~U|L4tt^zrl+#Omk-aF|nK?kJ)] 4"cz,N,ctq#w~ nmx,y/>8ץov0}kͺp0`7j$l99B ,W;N~]_< F_9h@2ini NхfBzH_ؒX@0Hq8E+4)`Rp1,ܮ)54K s Ry\g{?bo=3f'tP%? t{m1]s㭝At[tvgn =@amMn;-޾2ԤsKҍzsq0x~PiXfَ}ƖDiOb U9YٓG 9(;! mXrQ'D'fѹZ {Ig$BW腲b^SXS;F5ۄ({J^NLvԁ '#J侮[dkzGUk2Hn{dBߐIh[x\UI`P= @LQK` o=~saxײ=|)ڍb X7.<&H0&I*H0ůZEd3O|JW-IÂY3]=AtOiPCmQGuɤ[`NM.IG~L#4CIߟu?=C"‡tBאַݶ|Mө _ TIYHTb[ sB̯VU6bwҦEАMRsf8=~ɈhhIyfPA:nfg0oNϲ.̪Bp2=4νꙎ H*HgR2E^!݀=(xW,Ic%'إyGx.k|B7|:*:-O B !H1H[taI+gifdl@췇i.EuujP{u16]+r{3.P&50sYЪE@)˄ER_H5xH . HPl/4kBK$7*n<M/ʭckMڋm-Ze@ [J,:;{7<) W@̩v2&}Ǟ:H^ai7|3ʹ- n(u3A~~V IɗL4M7KbxzNܕUkksh(ulx;TĹFONߜj#]LXVz*w'`TAc|ͭ9T/']Б h5{zKDq ri`I˸Y i)5]i xEˣBݽ'*-2CX=Q XN5Ng.1RqOd:@bqUK^fl<O'WBܦkk?ٖ *L8+N`P s֤51bY6 vۯZT@%ϛGNA"4c`?T> /B5(5WvÖ:f;]\a ~c'DF,bJX9_x_wm %ro~8A(# C͒BMANIWe]DL+5lOcpMYr΅-tG dr~͜@ GaP5&5ñ!xճ!򜏁l`Un6쒦ץp6oڞ,$BNkI$֔ZNlР='Q#F̭хE֏l[`)eJuG ?ó9@y;_%Ɨ–B{7ŇwfkZ_GxO=6D[QX!X?H<f ƈxE tv%Khul (׾_EuEM x⏉Ǻ-XX!WFe:W/%-ah|t[x/d=a8^u?~- U%B*WQc45>o ZBVPb]0Վr" j02O a`A̓D#n-um3-TƴBjCvRs[&a#%y^RI w9|5ȃ H[W6yN$"_67~!FMaCPI x.aWK*M%;A?>VA!N4&:j$NGf袔gjfz})lWmsSIRDBLPRs{^{H퓷X_jB}S_U d¥B 4eQ'PSh&*0 <~URCȢE bd8p qynƢi /KNutQކɸпBأ~,e`V"1&Cj)W5'{e7^fT]QvC Cq[ǹk=Z\жS3V;P1' 3E0)y77JDR?e'NB:}Oj)L#JvWC`Ԗdз=IR?YETr- zKE2ts0^<>v- iEԯ[\W8W䫨_U<p0aS+Y'%ntŋK'̢O=N:5\.3` iįr07ȟT U🊇 ' !Ĕ^xE/=ӔhKzXGg&^{ xCsZʺ(祏>N{?h#~D@}<(c[aRHl?O>K%337Pg /g\4c, =MT @|}p;V鰼P{AK +7FKH\( : +7I"/BZԪEu7"uY`_(c[9rD(xU|msI0Wi煾QĻL <87 r%Fϛ~ľ-{gpGFz(r=dq&J>IQYxMAOQ -Aj幗jZ~a%T]{:HN8BM=xGW ָZ{WڕmNQ$f}vpeMQ_Ft댻o.]+Q^kTg`I4vKݑ@^-CT<5dx 8!zKW<`(h27g1-Fohʇ|L'_42kl?63)mּVd'fI΀w:;hCWn˅ɹ9V.nD᭱P@GϜ®Td=LJQ Q[rznq8;a+Et6-c/_B<焷pQ(pdEW,V̝]rDBX}dQ޼Nr O[,~0L#PED_T :~ן8y;YCq=íO)gѳ pA+-.==8&H:pm^lhjM4h2%f_߻0wHSKM,)P"@M'Wۺ.k$٤U$N 5(m4 +Z39%ϘKHP?cօ6wB3r-R}t;Ŀd== Eؿ#ɡ]9T#^2| a( U0U5}6 J _э:,ܘh_9nd_ TP*W$rKeGc` FhOo- x񪈝 VBQp\IV>1? aWp=ˈT2I.4|~AW 9*>uZ7FbN[RG -na/<O-1 AVt(9dپiEXY?jb]h$ڞ7~DjQ}~b ̨"bؖ/jv(Z.1螕Tx#Kl1? +RkZ]!C#iFwR X /ü q)ȑ,VtF$g tl.C4Gqgiys>=ImNkdDyFެLA0?eerg+Û rY,{50꾻p!XLzZEwj*\rHrL3/8Rf1 FyJ?1d[/&֤0:b^rBoY&jR%'RFp{x"]Pꭖ줊Oc13nM8an"p,`+ Δ"kIECb9$4|ңX؇{2k+*Jry,"w4~NSr\JXuʍl4ϗgN:*x9g7f5f~$38|K" l!a:tmg*jS>s6zbn[Klxr^ CAӟxR}%yzI9G6x]ɵqA$}K ^:Nf#( )>%l WDP 1Lod n3>y3 GPS= Q0 Pn!C &/@11\琮C>!S(0pqVm*ow ]"f$%wgE"-k39Wݜkte_i7xzEbB6O/(S f K/.=25,fԭvB w$]Ѣ;.j{]7JӛUXg0ŔĢ"\~ 9S+CM=W[͇ Xa\ݖˑ*B/{ ?!m**5D*w# @-?XIxcguPIvt7OE@7Ȟ  􉁺T]Sܥ5'&@y+@_ۡgM;&;ϙs2 %sArXucS4Zq#e:L75N# +h#ʢ*΄Ŵ>N:js"7]Dg7t3q47έ>&t8Ⱦږm/iDSzޑHNOi=~8ХU}R-iןhr:diS@g1(hF$|h Hu"C^4$t ApqQlxY+ 9W1}w7\?mP&X!uuf.b3' ~1!3#J4w}|,k!xC7g,G:7$pշAǟO sF‡ش3/H'>CH7,dsi3魽 h+ HoȘL H:zHK_ke9j2wC{ MbɞdϚDPbDh \Wi2ѕpV9lx:5ĝ}llg97gQ@4DwxOpʡeLpTm%#~20~h  gLg*Y=)I: @nDdQ1Po_xq85,vb_w#5|%~am\bMŃ?)c.jqiq/{sO)?e&j;nԤW =&?3!GMQٙa!^24rk hM۟ʳ7^I=`J%jX/pfA\ 8#{bf脨:sl`FW6>2ŠcgޢxArзN5dsOoA_OTj?\N*nE.OU!m[I)LFM';?E@3bsM]u;lTe Fq3nSs]I/ҫ*_ޏ,)މ-y \:a,ez'E`gu<n3?"%BIՉj/x3\YlXZ"sExm2v(]W % aDzvVA}LAFztHJv=ӅhuHYjp立{!-hB5xՙpzu K* OVڗwV^V;<~Uh'!"(.Yǃ̆ku:>aͫA耯rSVrGYRz6/'Img4Wbtd71lJ"x9'\ i &^TԘIQ}"g)D-YnsiU)0A D(Xx)~KdRh vx+8V"}/T_ zaÿ;fX;s6 , -Y ax*Rم9 ԡqB`DZ~0ߙSԦW.6j>1$/XoXMKޖnLƒ܅jvѮKĞdCLNݓ ^z `i\` %  Dij_)1(/t nލ:LV @yצ9V Rā;ҴtD% %G{S]Oc{jjA]pÏDimVqWsIOU#:?IEe+ka fcJ%b!s~8@vv At`4Uo\Wƻ& SN[-dZW.$η۟3h(K9Zz]UlRBL: ' QȠw0!E' 0n ɬVo=o~~Yfe.ԚtV6rh }ɍ<`XxH]5,\4awT> 3 IPǷGTU:ĸ:ƽ\J)$dC O'VG |+wâ 3`uZhy{0t\,1L–x y La5^N\7// )Ms-=$7h.myvK̀I2x*͗-F3NVD?5/1$ddj@\i/ L;s~$׆˛0;,so,~hH|rI>7A$#/3 H5=rUMZ=b=˯ףGS(# [jeB3veHۑƪ bqRi; m u|})b DKYt5Ӓ#Daɂ&>#!2 gL+vy AFfBl#b0:0U)(|SvnٝNNtAaie[kOZ(cY tX M@ĭ(%:I|, PQ"Ftڠ֏1NlĹO6FwjZoLFyt>2{`Ζ#`-P]i8&etw3EuHT<剼Tȓ B1q ԯa{ ҦCb-p{ zi'0lz,m :h+W+~2] n Ty !M6E!چ/ЬvE ؂\e_}byвVo>1xP7(R×`6,V'夎"ЧB`;p릢A]!QBͬfN17{ӬN {aT穌  " dUL:nD@]5UP1SJʞQ\ŲIAS*mcsk|uuoG,{+xR{:jOm2VUmt88oA~_5r A%[m~߯26N:xXN<Sf7bJ\+H)jJ8RiQߥ+ nmXV4gC *}xx9U?y*(9#<9M*C}vBtdQ}) SiWv XʤZb&Pfqy8t`@B 깍x}~X~+̚ZmX2̾ZKu*W_⊺SpQ'FwNt0Ev*썚LgD2]t" aX %̳qL- jUp_JiuɎ[xЧ2:خcW|UP::uP>tU,ĉ qU?iCFKav!8|v%00[epC G|6;'E:~k{6,]KD %xyB\v ,\ hg&}ʴ/;G?H8ɛge5('d<ߨnP }<$0*9(.f#тڢ c[ش)B<JsU!qOʫoZHSuݸ'V47WǍ@r u[9D+ # c+aj\r$Y(QS2;嬪m 5:ׁ0qjͫ\WQ?s9yDz!Z,$25clvlbkcM3|lGolf(1ᾐTAgȭ|+o7fR@D#(,-榹[ZZX\5V0-A*s*܉?Աwx_/H$9`O73q#F8DVxXӍW1F?oÒH3و [d@zR|jt"FMi܊Irss$##a.ͫõ=!EN( @UQhEp*n#$z+-S빸=^uڗIT([H0TWO{ぞZPkb[D0?bp6*fn1$~G: DlrwJ,~^wxQfU1<#J6my+ 5rL ݫR^:?1/#NWMz!-ۣjbx 0GE +oNfmIҒ,+yaRz7d~BeںOh.׸u2Alw0')s1A|ٛs]OT֡d7)*e޾10{H pzQ8e/5iIbRʃԱ&=Y{,: 2ގG< 7I1?z"0vjz /T4q-$Ц-6wEkӒSlۓAFyC=^<2c0g1rE TXx+ADRxɘ4B]jNP5KM7 H+A)"@m_tIxIT!a2̵/e ѯ,esrxR݋֠BhiuLºn* H٢]kr:iRk^e $~z_9G᯾ϙl(#PZ[_#ڕ>2]Fy}wS*nZ(Ŋ6Sʂ)$!LYOj3e0KBZ ˺mAQy\775PLjdQ" c[κhj&jp'{;%`2T$~N7v-stJGwz61ev{q?[ULr4мh:UhZ{?E_Lm4:lL S[CǕ"Z?3=le*teKFImVdNXov#iS]1MpbY؃CCktrx,LQ?n}͎VG [U`%*g "jZ$ qhp׸ztޤG>Dp _J=RPe6L,NoT*obw-HkA>X>H$M6}gA0%Gxh9_!oRE]QPUDKx '{k^ϾSYNOM 3WZoW Ų)E®7b(Gش fů)A1Ԓd8#rb;*'᰷,s{ 5GYW(a"[R-1߶zgFÍ=&I3JVRXo,kdmt3TGw -A Ylum[Qd{̬qU-x=(u- ?_@F$݆(L= ʱ{)ªDx$C=dpєbKMeI<2e-8iX- 4 _a< i .x7F^,14P_<8 RFTH'vU;^-t5m:q!ϢYrW!.83Jx|5e^a/ {^KD?Xa\u^^>I/e,hח@֯|C+t r02JʝN|1:w<~:┇5 p+x2 N`rQk0v8.kd'!XlYVC?7~qxV8DHv ϐ'u|Ma@bs_d'ʠRsV@iJUWIlC,w~Ҷ(Bׅ{Hz W{(6Z.Ӻ94zR}ڎ'|u#GԂ仝!Z5l:KtPاd6vWQhxP߷Z@áx3deVT}<WNͤ?WW1Z"zf_K& ʀ 1n8$kHѰ>0 M~=G?ܜe .$?B*/18/8F.?8  Z$. oUt N kXKxͮf=mKsz-OwU]yQޜwRJ$geoVol^R}=A( _&k քI,BRgu c _Tl.}=_ ?lCLz]“bV="?p6_DuƔ)'\ѸOPV?&0Gt%ֻ.tGgY(nj)l ''br_5/d?2?ʆN!,ZjOT'fvhȭcm}WJѼ͒. ;k{ihUL[Hj:}K d4 >8&26ÜX6Sh^2;;Mdl@7 $vS`gkz<۷,ҩoO]~nOMƜ#btr]G @8O˘ҞTy4^jژR ""GT;;O~DGvUCgٯ4\bT7Haǐk;b.k\PJ>+Sҍyyo30epx;3bYH1jڏpeNNQt ؄ح z:Ø B#Qa'&pzġ'End`YBfJ i3Ih1 :Lͧ?MVF(k9gCn/PoIa)RFC;3 o"/ s{ENk:6Ӕ+0jmDI&ysrmu{/X =2A˾m#jy.}"#9$7m:˞[7sB|;IJM(+ÆIv:^4 |- 0UC-EUD YbH"%x׹RR~w)x5J\}Bv_ZUM4kzBrkI\O/ST8V2b'tR&)oL#c,ئivecpg0rR!"ʛa}aZz}c#"@5ΎXӴY,Pt*ʌ& tȐ7VC΂Is1v7nK"'6dSrCD_rd2kY~w$C׽hD fRoTw!DUK~reCPw ܤVƭW|ED6H) ?OwL{'fa ʦl^#H:K,@AƋK",fZ<ͪ\t% 2 E( kQe>gE[Tӕ8Ү=ȮhJ/s w^}:l>ձA%SACLR)"tBH82)=m HQ!&H$ț+< b2OtSKG'wj4^ʛnĽc5o?Ge5U&=3j3KSZ0i_HrriEB(p?VJ&åeӊ"7tB59d`1f{2\W ojd<[fk2<p~P;{>C!̏~)ϙ7jS; Y~JYqoNBuRG(K<&&\gkg45>6X'5v m>S->)_軔_׃ D%2%  n&D`1ŗAi/t# awKgCWy]#='_>J!AMXVԵ]/|xM` \j{ן1̍SY@ZZG`J?[8/]f7o2i1QN=c=m蹇&6wht*9m2x|O&zG4ٳ/%3/&w0H-V`pÍTǷWt|) 7etCZ:VSF1A3W`j5?1Ns;Ay IX dI֑ɄzﺃUzN@+X> Aߏ?`M>Ū[NRԠc?4hK>^Pޝnȶyo> $(Jŕchl t0 Ϋ/M =|]!zPu8첾;zNPRMCae "4f%r$ˋd/WgJ\ߝ0yW@O[c;Cα!P*@p^[T[e@#'IZX햨o2~S4v^jRѺs?[Ven h*،E*5.`ڱ#GH6>ċͥ8OVuB I1Uv՟! G0ʑq50hĨD,]b8w0$ۥ88&{+/6#"ejYGq}jTl:~ƟԖzy% Pwd ;Xb0J`6SƤ(hi '&רATw.|R">42UPgWkO)D7VJ+\SÌ(5~-ƐVnm1i!@JW.y{|P(Eo*I8X QA_lL\Rxʮya'N=?[Dʛ܊!jyJ/~õRct"! ey?#Dt\C s9|iaXhN\'xՙza#x#1;xcՆʫ"GI6ω7}E3Ph[5!('ŃӆHHj#P.*0HȟVnQ@32pu9+ZWջB)SgY# +$ז Aaؙ{}_% d. esC=GŢN(9e_uO]@rxi hC8{t[r`ʐ>Xvz'ʢ`#mF$E6䍙ڍ3 AGOvM;inܼ}i:_Z E-_ W^ߥf-=Qcq\?(ųeՋZMŜr<ΙZ{\;i +GZyFY1;eB5oP҅$ĸ5Jj\qez+zVN6>#l ƅ G6ByJ&t eG0,ii|D(+ HeZ2e&( xōtPHiD) ĩK>N#^R b6uyn3ޭ Ҹ!Nŵ-3Hv+ϳbn}knGL|k:,P?> AAwPGq~KsT Z'{W]ZT*B/-rbi9k=䇒_Z$rA&z@3jz3!E|gq&4J\I=3{291r6넵mt}̘`TO=Nh` E"T:Xh\>|?L N}.x8k0*lwnwT]Qj T[G38ZsirAFh˖sJXjU 6^~{RM*V! Y}~l(C IkB](ziEaX@3b~F,pA7|GW_Vw6+r,Q–T?NOh,c.4yIj *}?S0 9>3H}KWUk)eyŮN| kO'NF@d鰶P7iXO[ڙ8+t1 _mFw}_яʍ{iL9I,:.ZɬnB~|}̃Dͭ+c'w;{pڊ 6jn`,ycz/AF`u Z`C_( ,ևyrpl9p DQ/Bu2}7gYZ7zXZִF! oUZ]ŗXi%KQ4χP|PM82e:%gC^lsE/i(/9f18lmtÿ! @7Wh([3 E:5yhKAF~v_iA&0piü;/Qox6Ԥ-33mZxXw /Zk)ewSΪm^Izqқd[j 5;h;,̯ l֒vQ>& xhbwrp @ID,ׯrNCMդsOOV6ϝπJ9h_6ץ y)>0~Ń# ߙSiA`זŠ&׹Y(~"$R|6t\qkO gI0=Iy%fIթ@X|{_I(- )DT :m@ܠTpU LFt?[X'ٚrݕlo #yϋ9M_ WȄ> BCJtW_m ůFZ1zAp삖qjjdw}{0ʘwĞӺ1 ;#O }`{J "R' G园\E3y//*a~u{gz.Eu*Mϐsr6E=E1ņw#K \`ExF Dbq(+TT4[>"+FwPz%Kzc4Rįճh FMf#-H+=G.-,v"3&r2[`ԧ i_犙ǪI xvbeF%!l3+ $}=Pзe:`T㡰Fkl3X4pf'$1Y+Y={ri"#:*ӽ"HUDm(b&?gA9Շ=DFЇ 5nsƳjw{Vc`Kqsh7k2/FzI|3^38|0V0Ѩ[pH5s威^sZ O(Ҟ'?Hu5;#^[䉂#8"?DQ2z$K2C ^_I}~3T; g\[EV}Q99#:I3A9~ĈSɋ_#{4{11"6D c=#X#!|LXϩ;;BN~kx0bG-&ovS@^ OZQG.*)Ǐi<ȫQUĘ]XJ(k:k]X<ſ$}ڇza̧]ͨҋE#p#Σٓa6+řQѢ׃+sdqfDnT3;w}<* c?2:k\EzkΜb^7 :$&7dK$ta}v0;x( ou.ҭg_a4&SOq _ )i2p̪Pp 7 Liݾ|EC{%XėlHzlG?Ъ'zryz<ӱKR)Ƈ4mZ/T% kCBfqܭJ5Y. IBt^Sz? Y }{ׄ}Nj+!1#ݯ쭒W&Z_<6B54"M5 V6:enk:$q=5$i@49eUu3sp9'7z4E6BYQkw.B7WG|ؼ2d(Ts =Pu#ڡxdj)g<2/>_+giHr#G|'"ݏ7I{g_Ұ.A[87G<r,|+tf#BrM_:0JU (䵁mut ,DT,L Fp?/@m A"%ڠ0P}QPyoWz#:\_ǘ7؍Wa-[g'\̈ikmjd Мޛs+œD`dQz.|q+8f@Scu(4#E;+r@qUʯhM=&6O!M34$*:])wk8zY͑1 Hm{ζ;Bb s09DЧf PzV‰ TkcA ĦԦp-y@{ғ+4qHo!90ku]] IiNxW4j4,n:ȋ{X2SZA:A}WK%bi;:.Ё2--,/v ֩qCIkeO$Z[Eʁ붳lp7/2Ta+FCH]hf:lLwhHpZvzjh\#9m:ו(ڤ,/DM|p Gh?Y/j|pf|*4bd: v|{<϶X(/8rsc`"?Ɠr7un\5~ 1K5N`.]9ɷw_IBFZJsiAĎp 8/u I>YL\T&X>;2.Vdۖ{ÛӏnKHwb|1)R{0z}ߣ3Qx8/"\L3z-Dֺ: E[48ceq7{ZoI4h  VgsKAIC]rܬo0YG@>MDZMOttH}b@M|6@2`S'K-NF18qn_~&!*53z(佻8)fwx:C&0 eBdhmGڨak0JL|;>MǠ0 C˅iK2OkCɬX:_>g`(6@56 5ƬKey[,\_ZDZ;SтQH|0)04Y,(}[K|O\qc56jl?8ՌɩXn.O̐%wBA89 Y$%al/=< hgifDϤDg}]n~#Iөnus8tpȨZjֈ܋2cp6CxTPO垤^]ڂFy=mscry3|މcfHñcGo.E]MCcc}-e0ꦣzߋ*+g-薍N-wM?L(;_E̮-,Aڶ;;ͳ9j4hj`\Rz( %cnT\N;)-h:4z 횠Kj"R3HK|YPvQ#F" G1I0~aB1GG| u&SήhQe]0E\Bf]{<?>+*3 2ülؗo!9{Z&1ren%}"g= 5X=^eYWw>_|ް|p#{CPy*2\;ߞ95=mR8_y*n/w:/Kٔ0ժ$~RED,h6H؎4 Ar{ O3`6qGcr@&m//L [T`ϱ6ȋ Nab$4LB2$9l8]Dl38P{CܟD/OL-_RdGnV3P+ K'9\cf#%EN08Jl(6X ̧p NTD(o͕?[٩īeFu*CIe* *0Nk7=#kjckbڋ7TqpiE`DNمz@1V9<>H'∮d) }UI(uQ5]K~4<6+gEd%}E< oKѰ :?*۠׵hLYc>RҴQZÞGs ~U_8 ~ƽiҌ`@WnY9"u VАH{Mag Hj}ɬ3k(KQ|1XyWS|r#/2>Mio^ʹ&% wٍMGI?HJW͌>lmǐr5~dǑ$h]H>y 9271B!'X}jCJT-ҟha*8hWU8ڸ 0FlŢ RgCXt;]dŞ0ZW)NP!)!ȫou,Eڶ',p{qiO!R#)Z wUDk2~MkA;nوG"NfbQ5S$sp0i ` / Am=fs&%'Ke-`uQrHk.d]ژtwnP |)!} D`ZQt>"{;һJBx.eIO@ $:;lJ![b457pϟRm}0n@uW(Ձ I%׎IaYZzf,TQOD>3 uJ÷誛[q1+,ejbhUEnXjhvf9;2hi ٌmG,6oeyKXBHwUkRA6wZnKo81ix^AxОp (5,<핉hMRpz",>Q) Q-K\ o.P`eTf@)eTx`xўCjVA!5 :M:/~0in1"Tta%4rKS !(bQĉۏ,w+?GڬG13l2;XGN5~0ZK-!t9`quw;"Jy{p,}$!$e=8BװHJӀ宋_y~Ӫt WKMitT5j4 9 aཕS8}7}$`(_El~z82{5a T/\D4K\*N\ !_b\IrQS*06,MB@XPfl(Iei wPfc4@*5ɍ䜜鿝45 ]ɭ55jk3Ӕ7m\oX<ƌ*-9iKUl?L@eF7eēεէU } *TazotmL)kN>tڂ`w&z~QzoX_߃7lZQG<Ǘzq )ab'aQ+Hs \E Cɠ%:f3d9 ^m b Mp2NQ-Ϯ$AQ0eTRX O ) '@4Hl?Cf3 3ʯ8I3b`g# 52y4yvz }єczU8@$'\\~ k׉Jf"srp _oNŽf XF$iRl _g:DeT`޸.4F*~$8,h(쾫cEE+E;jY߃x)1;VoxVw| ꦗcy7D-(%?fAo焨OxbltO^wi(aB̙rȫHszWeFϬBA̋dK۞+; Qw4ʋV j W:;V˄.%/Uvݚ|ޠ~gq -ȅ,0tjfptX)sҰ&Yͩ*5%Q !r -+MQ-sf~qHU_V+TǙ ul|Q%3XbsuiR~u&` Xcz N`pɱ -ނ_8,ŏv[Wylwj6q:I3@Y[WX(tno߼M@Z4"SUGǕhם{ţ]liED⊲j@<:2{]SRsi :4ʌd*7W} Zx;VlzR yP}T k=P"$OnstsbMZ oL :roH z0o,Cqyj~Cۦpd Eت7m#'Gi%|\FO*,o"Jo esxDgF3..6\HxM!&nsI8RJEÉΧFX3aG8jh\KW=pW4{(NKKʇ"Otgq;6 yջPG?YW^^ZCo~NʢXnr/''@ !FhԖ#U2#&p߅mOoGtoC#OO :RS0^14Բm]oȎ@yH 1_@9H.*YZ8IȲOawM&]]HPBpNa*%A^/'[OXn[1Gm#*0E^(ɳNZl1 wqyNXrWY݃m@ro:Tjyc&rH B'*ӡ N{ŽKuO6u$"ܽ!=cY= Āi UYiOdP0ߢ:Wq$ss`$M` $#f!&OXvqPСh&O8ge0EFMhϱC.-+T$Y?$ I{}WJ-t/G 0-Wm+U"^ÙcV?m$!yﳤ@h8ELm$6q0$"c] ԡ>qwn'%F[iE (,(k$`J ywѢvnۆͻj<buZC<&1j;8L ) K9HsG:-[c$dK8T<|_ _KgOb!MޯTnK DD19:-ؗzi<}YInqHNnBmIB&QPYSרP>/ԌJޢmK8~a/@b\dL X}Ԗ֬y=򚙂Y-i1?[u`/ʛ^N@TGЕ$=RPvIDh-n}&9^e;aCb{n#ux{  1BB\H:UV{҂~F+3&-ֽ7 Gޓ(e!fc=QD(~Um=5Ue W/iJu`+D1P\Kv^܁'Vz%vDrsR\ٍfcR^_:7  ː0UjW8+8lS%R[fsB٦+@ 8Ž񚆠QSсѱO8mtpv_Yyu~:ݗ쭰T<7 13"}j `\ya%c`r‹o!Sb\F=AFLg7R)aaop$QV 9@CZV.=XyjCS"ڏ:| ߆:ʫԾ<є!12Y7 =w̌RvC5wOCj>o("$;RZ,H Rئ>c ˒[ }Ԣ.Xxh[;F}yӁ49wT_|%k^&f'؜ ĺ;^F톈w@P0qʼnɁ4q-GQK+k]'яiPFD^{uѿ"=iG"csEW< qͱ#2m3ahC90U$CoL;{G޺%ambwˆGj'CYv? .]Q p%#O] "4,&p^WdzN^,"8U E~~i'ĕWh+؜0x3ȵgL׾CPb:5V+@%Q>hP8# c fM{k>d뀇˩XM~oJ 1ӎ^u~>SD+1P K{1Oؑή̮!-멿_jFejVS3Q R`;fU7Bbk^C['>J/o4g+CW*WBw7u}[0zz5UDpx-[%:WUz؝l*IzsnUxT -rd3\gߑm Y^Sl@>X9#wBpkb D%#5u 8kɝ#y1_Jv p,xaTR TX1g`lTX_5 kaj`qRu~ĝ殔*n a8dOXy̚oտԿf?B@!7m {iS>T lH˯ GfSeOg&Ǜ/l &?Xv>3|q22U)!ʠ9)籴%[P|+qc!40d[Pgdփkv%eN oغdO1Ӯ+19S|n3Z2{}}&/1Υe?#Q#sԀ=Kۂ v)o~g/=[0,reG>E:ZU)-Nm~^MC8hlz~Tyr?Luͦ$^7} C "O,:DFdAM&D:B|S|ͥJC\OA"At)9/E yx|YZq@\pޱ Ԙ~e =XJ`b;9-uiMf^i$f,c>.P*ݕ 9w k2R/C|mc9q'\vIZx%s].XK1?] >qSFac#5@;d( IUK<ԏ S vիءmO`-MMխ=@zڼsWb-mlq`~4SsATAIIk4HWmg*oLCY%i IiN*s: 6VB^ D NJ:4ιĴ~$`IV»ΔQL[P ڼ>5=ZdIO|xΟ(rL,~c>h(,'M/cO;zY51>>}5l; ]ojia{xΫj* &-\ #.b(s>7=qjOI9oMnG4Z׃Dv/),2/F艀t\k莀H@1a㦅"wzGZ=Pᔞұ _E_52&]ec$*l wRY0@f0 ̩OTl;1-M`#q vYniw/|փ]>J? ҳ{\Z1I5hjeiA\Lih2lm~+Brz\Sa [򗄧V*:fLYyg^Uɞm]`gUk\qF?:T'i/T3n|0F$լ5;ᓟuy6ٵd,|`~Nx rem Ap1/+X0g~v[u(c*Y7Ckf3#hrĜWp4w`%7!W9CRk=2LEaRt?Z+H,-LN47 H ,>.n`9 2&DOC-QN8,EܺB @G B0I2N-6q(*˗]2F2,%{-<33#q~t“ZVY+ 0 ZDf*V?B59Yp V#oGOY~SN*mګE3|]˙}AFuu1ͳ)SKP`Wo6ΎCO㥌S׫:.-;Ky}51O]8nG/oteB]\39<4:5p+ YN兔/u,zj}730/ TNpmnmW"~I|̨zv0*L3Rj:IB n<<'h7j0-n"Ao9-Vj囧dQKh!LJt d; ~moc2iNgnUCTz_ƹ,91/I T N,W6d[#02-qY|ܹM\I~$[ lW3jw@B?]v5KlYw94La8Zs}/ 1`,]} J:qx7, i{Ȃ /ŔǟWׂqbWZ4hG\R$*ssؕeS`I+? K^((jLr HDEs1I2f u#_{A"(}qUQ~#sxRhח)]BﰳFyj:ƳU _FlH;tëGvPWaT ;hqlLcanMKAk9Rzm-aIR(,s|lC2UPL^ ) أ:8l'  xPIj80F |^!7Pb^HIp"F?jݠ {Z'(Bi`Qo2qPsG),6,`Hh:Cۨl[6 uY# #:hIb1OSC~KAYNjqI~*RH0 ^| >`J1AvvVݶ-vuȎn뻉Kqs/DYTdOڃ_!ɃbC#.AY5%0 Xl [XtA\uƢ5,i+i6>ݨT۪k!7? Aӳ1c 6 ȢH0=Aߪ} ;>=Ŧ'JV~ ;c(' Oel_|kNKxjg2NC&rFo0~KFNXZ˝Zxe8@I_9]9;&SP7R58'q橉js:-iF{D DL8Zj)fΑ|S7=e!p͈_!Dҧ8(AZS(b'avYzz9"Ht4H/^hV?t41>y֍1rbe؋Ua|}*2>RTٯf If>P>{q3N$=*5Cz[O4s˟4#$Aè*KO*8\i/\LJzrgRNLHYa)U8*iv' ;]-o/9Jj 8bhc.WffsU/7_kpۯ3v</.-mo,|sjʴ-,."mȔ;<:+tN&4؏Nn n'((r G)S h9&pX-@3s|o&_^co gHfУMǤX퀐Kj6a>1\q,7H8w'́^w_؂(Fan Gd) %tsms2qSp:ohR);;^ \qu݇pitQRqf dPE%ᴻ*pk-]= yvLBVGͻC?|<`֔aZ8KId9!P%˭!gh8Cz;bxաg0enڏ5Z( ANI .{O,]K!nlFꦏR/g8j͌= doB%>oTg 3O_<"P ,K'c٦Gw" Ąsd)̶UZW,h"+X/./pTwZs23B#a؎_KAT2;[5јA,Z> P,0i4ELy0E4pMY-_ u G 8Ṵ45իW$_2L5('1)p&\Ѝ~`[ؤ LxB#B௮eZ{?q6(Cg`O0K* aSƪ/6)MWKA&}^ )8}@5:\m&n62VHsI5Ŭ g[Uc$1Ve Rf(,wUٍ&Z~haJk% *M3vhy&'&jԵOŧH ܩP^:1rd.";S4 ;o-C{7hfCEC!q5~O>>HV%Fyj!~KV ?k鑗 לI{؈%?3+2N 6`2VmQGYpET,ۗUQfV-z?dSM߷ϠbEC$L. 7:&G,~y,ؾ4we"7#V+Pha@$=;Ɠ*WSw}{'%'mDyvQ/6\q= "d'Q6N=+bLF:.#xNI幚CA$BO hZ"r_ kRݐoGd'сДm % $A2xK4Ƕ;6K]Cr`g)@ +${)oz!D(F;^Ծ6n=-fLTEaTӦG`^$8tA7VQDnvmDAD;9NLGAy>hbkوf:vC7w@n}GQ\~'_=˛pmE\qD~&XI/j d7TqLs~ ,+*0VMEʢg v]Yetҩޤf 6*-6ͫD[ wVKH_;*@amA̙CRYE78ztU>>F)j6?խ*^0&M|XB"U@LGIr47%9 ĶK{Ndgwp]քy?hړW*~N9 /w$wv;Ʈ!;뫖'0_fΏ?ritC>d[J,*ާVM@Eg8vJNdA}<?sp[M 4WXHO%VN{L;bOQn'mjlt@+mooC4E縳4=E*i4EN{[O¡5FPw4t,fz& 3Cd_Mdʦ7vKSXTꡖB|/ n7Ι\X8W$}qX 3+XN=2̸-,3]UHP`mZ]5!gebuona]B۔5e3UUyn8|JK<'Gz?h7#4w\ ?lzQ,Êsdul\8t̶d ~3\F)8hx (1"gaڰLT<\v^|L=6C'DSNbu{W#>| [pԈ(4Ve>=u)&&5,՝'HɊw\=~8ޠİ͋@U.@%4¤ m98Yږ*zNa> Q,61 ɾ.U$}5|)K6T#Nor^"`% Ӫcal0N͡Y_T}B9lCwu8B{(G'p@3qXЭ5)PYL2RG"UT2N3JrnsM.(}$>U& "}Ӛ"V 1[AǿNG9.l$0B!oJ F/qЄvB# | fVHڜ0jگ.Â`m&4C:%{zJ_(Dk/-!~t:0!4* /uT dCh9pfJgh:$ЫZVHTQp2uw̢VEV;@kpy7m>ޱfRbOq[ _A$#}2[!v S:)"} b|"Rj囮B\Moǡ`{ٕ}gRAeRZT'>2%q^FEWNϛ0~'i0+6P&MNHWǦj&QMƗtb_1ã>(fZ!"HJ*gXrܢ FUPnɕӮd;<(-NՃQmM.dׂ=i |ť⵪V"rN,ǎ5x7q`I_٬9.H׸K@GWǶ>}i[\ʵ/"R2S7ʡ"zODSR25e*plLW *=֜XY4ŭU @7Z2g켰`\Y`=PX؊0Nȥ\'d*( 6{+lSZ.Jk0 1׫$ ۰sDBj%`Ɍ\LD]sġD}2X`ш(7 swX:!UTSZSzGqӗSz2~ Yx?w͝cfEÆ{"3Њ$0(ݢO/5dںHe{+c:>o.eH#clbvMf5kW9Bh۩@CkA h >mD?Q[-l~+˄8[%0Ϛg,ziNTo5.aޚ,4 ÉkIfLzJda&@{/[Y`"σ񯅥 t9I:'%Xm?K`[Xع1KZc)_S*ɾӢX9*\`<ifUI Oۚė[\G|+{+JkpU zV[I2@dGn9H;wvQ4FD *Ax@2Ũ,ԖV"F_|`nԻlsMD긥8U#$A`+KQj-D0^kXSe5ehj aNrJrWkTw4WğUgf,Nnn2ݘpih EⅪk`/$dte*}@8b#V9ԫ1 nTXK",{ϹH6 {=\D1h}I+4[LAWT?f.6{ufYģ=TE H)uS,I<ڋE(M(<{E9 6F