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  Htl ]]Category3:threads=2elapsed=480.657cpu=904.732gc=52.424factor=1.887zXZִF! kS{]ŗXf1-/6vRZy_^&ZT'8fBcm$7ZL3 Z~B "u)} sdx]EYˇXsQ)z77{ae>/Xaa _xј{h;6]W3`7\H*^Q :4/@a'˂MN;5\^sU?D,]Gh xkJI@:LrIqOJ2xԵt+nw7IvD !|&pQ׉o ~$Xu#[II.{A7m tD9sTm~8ܰ/ZUH iiQ9Zw:Nh-OjNQAxT"sUQ+%U/yM5K~z%% '@֨a:6H9Ӣ"+ dnŻ{.x/]Ôa2JiBb2z ȱP%E6JPj|-5Ay P4ͬ@K'(OH[|\?!rt_hѦ9d?(%="^>4ՖntG hBnR gYnU($ { (TA/oꟀ~Uo9z<; {!H 2X$<*/nm׍, U@:FrU fDg9f:I=uH8Oyx_nqAN[6|x"=$+pA=a6jG&WܚDDŽQ\\PD9"4<3SȂ. yXwBKVsLa )PsssVe&Ɨ}|d"A4TdGIX BJ&CfÁ j?b?p&đj|+%`=D    Category3  y&|wwfVVg<~ [(z~nټv5H32thB7%PlO#s,K3G`"o(^ۜ<]>eA@pCLl5ď$@! BYf[Т0g ^v4W!Н|R i\mw |99dj\CnyLl Pgvu+3O?1cLބ*0v7"84!-(yWX-Z$(Ea֑ 1["~z.?n=$I$CإϚRP҂(*QhP 7uhHQ_>EX oO.{cW''1lD˖OnlX -ֳW΄'iѫ4;hQYZ5"-6V qE+!ڤ+'+#w #H8Xcf^.PٺjMk_ up= "j5ocYגû-U+юB<@xhoCN>g3[lάM (I`wHQ;"==&8ii:YO薑]:c(`@/vowPhDAMV?L{ UXnUmpN>MnK FB~W9mG z+DS&g_c :F_?ItnϧfPִf,3*QW jnm)'?lwZtHvUY z\F?ļ*t쏼gO~Q})Rˊ:t4HIl|~2zx %sL͔T5AlhdpVpo'߫V!wɨ2WX_:pn\C5\QmxcђVLlx'^udWǰ$lA*Eڡ0 "Puh+8&2o2&r0KYzcdzMj#e$kְv"v8ۖf-UyZaI_r{RE1EO@WtwECyC-{gac X12 Bl:Dnr1ge;P0>ę,AJ{P bʐ8qVu4'K{.i%7ͶՀK l4rՏkz/ثlkIĘ]([Nq;#hsLSN3b@p$ wXkLtm4}pn{q["hUarƺ"S~Xh C?U 1n5l;fGmSgF;VU>T'KdXq`pRhٱKmT~r5>9VZ!FW1\Kvr0Ԑz H~e@ \rɒ Uvgj*MS/E\;mȣeƠDV@PY%KXӉ3Ff1 XJS8E +>$7T#%.%_ߦ t94st\h B).F?̯Ak%HThcn%eѶik3#*l46 0{cܠ,$s6w)u_({3 O-řV)#-puof >Y0O+.aj;1,5jT{0&,v 5\0rxw?LCZM]Rخu+ƉrZZK62|*@ D&M׋0? pØXYŌe}lFB$n #(!T(A}EukKγ&uva;Q#Swd `Fr6wBzU)wOrL.!O83ֿ+S+LS!3=hlUp3yVJP]E;T'྆w7T0Mx#;lAWRq0ið]B;]Fũ;~.DTݳ~-sh‘:6鏘gUu+COswaO{w0O#d69(󈀔E1SӨb]à "EaTzn=Ʋ24]Xgh2Cw!߭>7;EH!.+} T$b''Uzg܏&A'ґ$fs8Ȗx=I aq76sG!~S{w :Dž/+ @9,=L:P?bKTc:?VgD'Ʒ1k)7D_J<+t*jio=a )e?qs=. F.pe-̔Եh9e}r/VĂ_R<Ɠ/WQb 3xBs_p.2K>mD@րl:^*̪[%kBZèMy7FÞOvc ٓ{S3U`]|W`KݨIK7[\3y7DC^!уOfeG*ah9 K^(A%pLE_Xj`6Mɇ7FT6'$yTve OǔEL*-Q~ z\4u%Up)o5%0*kAX}%ߛgbk巧†2חgU}2BެVE[zKW+RγĎ9*۞oZڥAes2C41u~9K_T!cN~s &a M6=1wgMZ4/׻D%1)U~[avwc3a-qo$C{{Eoo)DL_(\JPx F _sT7`lsek~әJi^eceSg8+I &xk!\ ,z.oQG{ND<v3*>vVPJ2'"l| nDY1,->w' cG8vϰ;*G%KIosCOhts\*UT؂;FQxʹAXZ9m`VvY3Ҙv$yzD6yJ-/1 5Yx(8x6;WEbZcNQ;zK?bюw*)qӠEB#"!o-_B#_GPk ȹ:'m8KkxceiU~6+L%籕KqV&HɲiɓګQ(,K_F3A4ԢM0eh ]b/aQ~厃-UFcgn3bW$?]`_] Sϵ;܋C "*bއ^2~M<15" !XsChϮ#^ LOrWP܄TI i;Lߐ_<@' _iG,"s5j%1lmu)M Eڼ=nk]Z@)![qDjTŁXIu*HApF緙N]ō|0'uSW[~F5f g$(C$5i<-cUZl"S<; ?iƙ! 5LϦgSUm_dсS~ re @HwA**`\6O+%"6 %MS^%N$@WE3ۣۯ~ǢU,acXύt;r2.moؑ}.UCT}tcIq & ;7?ZK;=1>~r&sH&D f77 Q#J䜬 P0J9ZPq >[7lf0 vOX7#߶©c UK_*Y}iwo{q3l^-{he,( EO?xݒ1Ek+H_g! (M"N=obI?"\'s\P=_sU[Ma綮TxσKVpa%a:DΣ+a9 :NZ _.jGY2f!@g0}+-{n֟!~YU|u1~[(*hmc>߀OW'{4ޥu.W[fFW^G9K,P6tA@ = Lj@1_<@, P]:ziZA)Ø)3'tK6GxR8Rl"%v6Ɔ)\`ۭՅiukjRe dƵDIk Ӈs"}: =Zܾ#}+A@ǣQk'3]^ET2'A/ie>N)`^f5C,J14FtcBQݽM7+|f%!VmKyQRZ,i2(QUD6|Pmrl7B-m5.v\VDY4fCM{ΜtG_Rz#㥤%(5 }E;-"T2χrx`N<[8Q%zʣk(FǸ!i[.LFqU9(k}+nxL+xvm%w%"}{[ևXvA8 lx`xl_J֜c4>lh,WU)G73֓b刑)*,(M60< `1$MVU"04nrDC~뱰DoU~'zr2Z c&)o<.6O-T " $R:”XOqĥ b!}A.o1BpX\w `Zo=fgxX|S44`V9}~! ~yˀ(-Mǥ2"AJ;$^d"tT 3>Czx۳O3b@BXerݲc+$L:C..-FF\9+툀x< e7:R1s2~vhC;Q9_)(+! ٶAO$7ۨ$,h0!\?`~pE`Ȅ+ȯ.K 2{i %6&{l]K߁GC€:e)K۲ Qp: FE;&k-2!f:֐냃)?ݐbKjma6H=坭dA%z庘NIs5V妒`XOc >_[FP?-tZd%OoIp $z49h%0b#vV) K+=]5Ba0vlUwC;cV*m/`,hi;XhMl!)cUvKW%)sde̮'c<k3(p=IF~ 0=5;HgYZ7zXZִF! ]ŗXiɟy>Zr۲^dgYgb}pu+wK~8γ4 \+Kis/>;#6w! W?11&owO)QPKxES_ŤOɥВبckSU2Hqbݕfۄ0Cz"C| m_YEܐr8^DfYIpccogBZ2#ciaf#htiuV#"ҡtv԰ K4%NܱXib_=SҌXy [}Uȗ ålX+8g^F2'i? ^3Z^gג ƒY`pA,bws9@54:MdZ1V< ,_FnDgZOm\)ʬwʐyf@!9awNF}Ȣ%HK ,GqJح 2Dk<6=1Tm b<t@ #!a`B6/xFL@7Q2̗Wy̏bEfO]:w S[ޔ`?l~4}-CZeNP`Kxe06sn%U"pg]Dh!@T1eK7vsN j|:{6URs`Z=4KS偧+cuSG~c\m7>~  :+ύW{Dv8脌{^Au~'ۍP 1_,e;g`s1#mE-sYJU.uGBtk=#g:xM⥬bS$@_UiP2$Po5Qkk=lbEELa7d ߇^~>,ew!gk.g*,e**h%?& 3x_DZZǹ󣭆@9S ?U|/10@vcஜ{4.7a&\X9t{j= $Y% U(;];^'KsD'ly桟\%osz*ZN P$@pW.} eAߞ$oV(p̺;Ƞ6JX*ܝM9HWSғ@ׂb+:[ k! rScІ>nY*7pbiMژ-%bL)a(b,(mN91Cu su}St/uNE^-$ `, Nʪd0}Ǽ2 _8y5&e]1h gO{.B]lh{6!yVOR#*>"$)wM9ȵZ1EeƋ6Pq-}lVפvqqMrO=\ɖʳ\\(Xec]%kGvf/??y`N7mt<V*b?S Wlwf?hQ ߏ>x Ӯ:mrpDbw}c\X!0!7!9 9n :hp%$+b)2MLfRK?MBbԪ6~ svg<oN΄$ >y13'`,IcS'5C J9@_ 3FSקK4IK=K.ޭ}AS: YZ*Yoò:9R3s!k ׅnJ 67IG:Ojc˯9+I-eu8,= 8 k*W%(q )B [FgHALD񹔰 u":=A7F5!B ,H M4cj6x~eKT62P{(B5hd.c#J'|T]Aqp2^v]Z = zÛ-k8QH/wK]v6 Eڀ],r05na),+9Ie9K].e"uj30Í\,(D塣>\*@.edKWdzs"4hxa XƐ񡯯;geHum/܊xD==M|VJl$Fb!MJeӿp]`d?es5)0J6KoJͬQ$2S/?SN !(y;Kxf UkL{&JTuW"ט-22 {)Ax=h6xexJ(̮`\]!!(љҫ"s?_JYVB 3O8zk ?nNTIr7+/P/yՎ&eg.,XPzF8ٶ}=k8L#k5챗,Y#F  fi4xm#ShP:L ~ i n=1v"aU'@謩T31ONaŵEHn~.f8.Oiq䬎zPs UrXV oӲțb!&YQa'^oW zwB{["ʔ;!7"Qic:Mb},\%88BB0$ǻssciFD23~/M ɴ6^֭0cOPY <ݓEh#i?o+2N@e=10hEJytMr07B.]f ]9金qv'd4Gj6A!Xa|Z%vu/^~;h# l- J0j#}̊a:c,}<.Ve6 z} ooˋ9Zؠ9hF +<_E=>F' 7|,-P_t$XէHFg1`ʏe:oW1gl.Oph{X{6GpY$رa屦deDi-@Ӫ9"wBT [^'qIg܆o$|ľZ4orFGAbS!N 0*$kT?Px=J>6/%ml߷g}]H'{cNEWDRĬV!Iv`QJ^+f#nUM/Ip(GkR̖VW^4cpT7д\@8N0d!hOU1[fxK@ Q8\UjeSgM8Lƫkjo`Q,9'ر͔1GCAr;b`DJu9 TM}{Cl D=Y8tלC4KjCN1P"vGНyg%C0[Gq2Kw+LDv>&?/8TNj/-H9cDfXvg@@P֭E aEZFDP w KcY[S4Rf,BqP[SY/2 M3G~V_Cl3ȿ?'*nO@oUJMqK*510;klbmtg4FL2gU0 f cpͣ .%+twa%o`*|sm ZCgts/$sI<k摧6(Z_۪9GV4 ?-w%nAӶ;>x n/,Ʈ @Ib3֓ց+ws,jjv}ϠU0R Fdy_N!5ՌRB,OG1|'1LvOaJh#7<:Y›xzt}NP\gTV pFiW2n _9x?4ƻTDuA|WNx2b=PWw@Pu 24Ցyb 9[iI N]v K a9 Zu5.FV(Dq-1Y} z9WuQxxu (8tmv6r]QBGCHqq0 L{`^pOOvy!}/``-Y)1@$y*'<rco.KQ!H$Q4 H76+z@v‰J]Y ?$ɛ=zOca*z;Z &꺙w#F.1{E=DӑΥ,  &}{Rf,s=zZec))sok{٬˜ML=G[}ފ(/oNN>ܔ $Ks%?AX4ӋCl>֒L/Ap+aH1*/'MMBkTS#Pf،:~ ya-`q`(kߕEo N\# mJA͚גw W1,FvAEH8&m|:LFVx ίFUogq<;ZfOqp^(;̴o"'$Ea$Yt.u4ՕA s #> 'D;xhb Ew)8DVSeS-24K)#ZZȞcP@UאԌ%Bpm}MLѱʺr&_`Œv/d{#S…eUgDZLfpjl7h"QMk':a]r/㿮 )x!w#ȒA E_|a*'?P?Onβp0olYuz}DcVը`R&(oѸ`C 9Uzc^W84ɶ&Z$ꃈH#qن\ŒN\] /+JjHsaE8Aן-"DdWܗY4s)+ ~6F2 Ph0"x8jp{ĤU|7Bztn}l{(E:< GD妱;%Ftso+l6_;kJ=[vG1+YZyŀ@X㹃]cPf |T0|z 2o'S7,iJ"AXVG4gE6'(axb=,PBsokEA<|s&>W'^ZD׳ځEX\)eܝC[ Fjn STt:uNte3J{LR=\(o"=m#Qa:/59c6&F=(x"b7_, 楄sfv`6A|8l"\sM&4t4i(BA uM/TeQ f,;%b`}K[OC2E1oҕяPΥgJHC};tg~h$ya<44w-˜r @ė ,(vᜐ^-|3°`;+LhRű%n!ڨ8[BjUK}v5Ofڅvƫ]$eGkni}omHIe倍b˰:y ^,:űV AnH%E}; : ^B%- NI%냳鮤=8k>vRcv=C3W ʹ8nz8uqqeSz*Aݮ zՂ)E-rzkۤ8~n`VQ{~ GYԖ[jAVĝ~ #fRCcKJyiy p "v&MI0Đ$"Y3$,kб_,9$g'Y@WJ"sp cum3~hwm􌛸|4Vr.nFL2{ҜD /Y~Ze 2\`h聰A6 UպL-Ȏ ٿq~mQtI\A js.T k ڞ!ޜa,lRAEy0>\.{B@^P P7GfMRcEUʒB3,1uPUzQr=bj-H4R3U XAҪePh)=F`[מ(Ʒױh;q~s(Yi]v-Th}LȢ%ICL\jѻV7ƕfX`ͳZX.JkBdrF{V&I4m. iC>Hҙv^癠v94a[ʮ#~Fs泏 la' 1G,Ne+ pWrGGm֑ ^+Uw?>ı-;= / h79ᨍ,weT}h+*CC?^emã٦ܻY,.w3?x`Hp/Va|e߮6+ oE$ G,3ƞުieoɁ\߸4-\C 7Y&GnqN,ڎ݂FԈxT:+H5.E6Iy\U-fZy1}!IEHVu᱉7v@ G6vEF ׸o%ra!6V0&~/Z4lp.92@P S~1k\]V-S_If Bsf#7k|Yջ-=N 5VG'&y>d}ë GO@b|6b[ݙ f c2῎Et&*_1&<EKS VߦlE-ݲcALld+]8.nGFƐ@w ^!I;7[8jUd%GMP"rr{/XL*|ۨA;I*A֣u, -RX[#: &Oab#OqNc*ѪMY-/:F[3ᐢҕ ^ r{ko-0j'#(әȔbj "H DlfF͏Uэ"*|5*SYW-;Arc/96Ațj`=c$1-Tq":DQU*X=6@snzTfe@9wTlr.y6;u~˓SqdoRit} 퀏GabbP8aaa5;:M/A3sJYD:>s9'st*y7wӸ-6ox︶zJ*{Β@dl*0>(d ,F]a9^-,p㱟1ιR.\20ۣ|u9JRӓǬqޤ{ )v.A3bu FžeGtBd")jp> 86,>}v.dSP76+ecjƹAV>~grL1Cp)v7[a5nE2B_|.kNH/|: :j^4A7ҡ :ߎΊ3;KI=@͹$~.`1c4:ky͛8V0DRZQu`97OkALÆrGlbfKvEeFbAJfU]x*EC-aV:CJaM]Ӡv;j9A̚<5]GS*$ձۉn9H]Wa|{q<8QEY*gu8!/UoeS:.&5&pe[y('a=$i@H@'Az]v򎬪*~|PhA&~Rw420!^5Rcv!16M}r= DnCFޝC jU׾cisrc# TR :S܏}+@_NFվNo~N5k`C~+Te|S7C8m[m?˭vg ChD/9֋$\b;P'_YsN\l|֊{Hj'Ȳ2?/ D"v> -)TͱFOf*Cb`o iR5;CܮAɄ#c _YH= * ̈́^PL8邑P$3`7`O[anqRe_tͣͺtH828!m PG1DStĶЪW1WʛLp/ }5,S+% SB &\E#*gu%a 3{E#nm&a,SQcdϼ)#]K+M<rwMA2-,NJc.LD;W+a_zm&i!㊟u @f/ޭ"K&os{]TN EAR.M QIȼUga,e\Tm*5L7m`Ԁ"zj\Kg=R]+Co߫s"zʋ$L8Zm6\vBuv>4Lեey^q{ɞ ^HR#ΔQ\HnMڲ]_ݜBzκ,5M!<'v]a'k%;I_dN:qȸU O`k!Ë;PʕXKT1KmE7Zzg, B]-|p['/1TK-xaea"߫?0x\q-rV.NMic]f,Cٰ&qM4D>oӘ)qL-\L ؍tE)6] q49!!Ww_v.8N `uN+ߒDi7;P1NsSv. :)2О*V=oWU @ƴT@5*G}̴d &4$0xi+I{na'E1Ԃl?2]~+ò!YNUF>M Xp&s7zӎ*Im8IttCɯ,]b.we#ن3!a?DjdyE] XGi˫Z8kxT|DUUo.=_)b@U#E}F3*+e7|Yy1}Ő\.i @Eg:aNٲI ;!KX,,(gD}`r1u<ӭۑlf>w\Rpsbs@y#w9 g`O!0#FL|zNAfv7ܻ'P "ŗAꋽVZk$C0<e8a2>}(Ǧ&NS=*tS׳m~;{KEZ_[翅Ƣв8PאڰsM(-[TƄ4mHFvJX`"eE!ӑӰ6dغWa%tYvxP%`}'}er$xr,+'Z$(@ЁF JJ4UuhZՙJ*UiDSҘy㪷Xg7blb2`:TDlEZULB :v{AEwQ 3|c] ɹCX𱋟pw,X164?P,B5"j]<:boˆO\ڪM3Sbϐz{Qu/cg~W[S,?0&^KZNF%ZD[;. KW$<=O3!Ғ<,̺T0ӻB3s/Smo6@-+FuyE3XuO IgRzbA(n J ؜Jaf'w'Cs" cr=B6lyc*lC4rpBϘm([d: '::uwMg2 ^C%Rrû!}Hg^ ) M%bwr쟼Php,lqڏz閩7›hQp |XVgi(eLj5 QVP~YHF\T!_D-H|^Ɩū UCsMdm#d_zx*TB|F5|vzю鶊)w7Ϻ:!^e^yJw0cP`he P'3\ =z6NUn$T6q%cUoJy{G0܀Vn?YnÜ5!#/^O`ŭVs4`T`}nIJX" `#ϸsD <)ڥ S 觮V58V2f_tySԓ?˩3ONG" hd+a2f.NLu1*#b-K*ȫԆQGUlCJ<. V_*6n'~ 2*)}{\,R{ӡ_V R91& ꆣ /Ѳ Մ'yejK~㵗BʹAfĖ۴:|{ ˿ mᩴm8+B}w9p#DtAz@?(ts?]*n~\>XJ3K_!s!HRݐXXwwYw-o,V5X- `3}asKH]S=!e{hJQ+7eVLu 3i$TM%:t͎ZpNL\j!H2K`I饎;yTH,Z:3\;K>r L vte#XXȞN3)NVՁnDjkMS/hlx%ŸyF9$R%ʜ!g=Нm81Ԃ^OߞU)%{h更*ҏpj= ||/[ z<@'|RkyՌVsZPyPZ:D RFսo{`рU>[IJB|5χ:vIZЬM>[vQupHŚiAhڅʔ;|׃<.)u9Qh[iѤ}5+R *oDs|70y ;詯 1Oz6 M{kO24M H2MSȄwNSKoGhk2mh])Dfuh-ne ZJ=mҦv"bWB<%e+,sLKvt`~Oq!l0HlShJs qbՌՄrf߷Vao#|t1KS8 6?>X@O^0U!ڠw-Ι9, lrJ=d5x}JF̫Y=Y>Ln%X N34[d*ƞN ='&fNQn{b=GyHI4?]կp SԨM y>f6t_W,:O%[q*;W3fOOb|,6zNhQZko)@$7ЋLl(h璹ds=w2qNgaZ+ν1r *x>炞yEwz׬ǃ#%&yX횷׊QKo!Gc +"ԵrWN\r?H\&2_p@FtQTÍ$ xH=B =/vg훁͊K5^_6nao%cR~D&,2:u!k|'] x봿/P/WJ٫lWMizkJjq|t\vԂ m#nG.)##veZT=׭vqe s*/̰ݤӺb>σlN#Ƥ'},h#\| 6`3Co5'2T<(p;. @)mc8&es߮9$"^NlJ}~s3),mZ ݗ@^<{?'^7^I;1D⡈]o$w# e%";S"z/ f*tWD,Otj.Єv!x|@ZsQsپ,S=G;BޑV.Ki1| #_ Ap#(!JȧT_@9;~\k`Z:-'>bQ CpZfɆM]1놈 @$rv*Yy]"^qP"(PTġʦhO4!c qד3>< 3"by3$HzK-^2YBkfTh7< ͧ/N\W~hf@/,W^s/ǃǬs!=@mO/Mۏ.VGt7 xkzSpp3'cr=#:n1-] FN&" Z] UR$unÅ; C%ಉCMwFG3/Mf&EW{INbQ)XglTFzwU,~Lȵ=bVr#펓K e-<6rUve;l%}V-G9w)3%ˆꬺ2p>W_B1!w&-dL Z\o-12<;u1\ݽy{"pY@Y^t>tJ>Xs٩ 6)˛?XM(zɲr4[C!eVfv5i"81p5/<T9P3t' &=j8'@+­g#/J 0Mi{CVvq}B}׽I/& X"a3~bKêգM[.R&4& 9Pe5ޕU?#2`oL1@| I7u@=lOX K͐L(,d#Ў~TZ!"%h[ ƥ𺵮 yx*[A eu [SQ̸ܮy2>zW&iV6J̪ ECc.*RL+X9 GyG:d}AtvՍ?Hݒ 'VKGcL ߇*ߐ}ȥvre.KD$;:4Vo }<i`~qɼiC89@T츟'7{ڷ~Őt7ݟXPU9;뽼?3huV\vjkpV^u63 Ix>tx-m*xGt?~>yUD&0)0޻ÉЁg1`jxsݡ=(g/֎7#eVpDd PH--0s H* ゲ/ʐFmKhp!cn0:gl,"OqO* ڢy:T:K"0;>kA;lݓZpE.ٶצhvMv{7856gso }Z晖 a[!`wУe׻ÀD}}!k2\wg}:Vnઝ5_9;&=cq릟[S=xc»I_n)7!1rDP0X#7rHyO!wSV9G+g*e;j͓BɊ(Io׻9'r|_:D5ã?1?1?kz_m&* |RW@vpȸIqLjD팜#-;k1-! }@[ O]\:;Do<4Ce@q[mqUYlw>G(^G s*?p?dV +C)ߗes s{,:Tȋz%R|s b;'=^*آ{qZNI'+^G[b ;r}QŴ_[DӺs3ת0vQ͹'V.m@ 3׃SR@R sA o;m/jшB g[?kW*(.Ǎ(J?k /C]Z;ߔm⵴uiM&{r޹4QF7@ecw~h(6 +Js!iH]w*% Ev' z)rOwG=]|TZqVMƶ&z#N }84 mmc"ez  LB^Y33;gu|ev'%Rd;Я8AHtfyy ,:ӳ?fXf43I 49!XXBXʼ1FDwp\:j)J.x1%\]*2Jc8T,jM-4Rf(|OZ XaUtˍܸi7 lwuD?- 9 PVIUPF 0;u0u$W96pȢI^jK$Hь5gq6I.,> HED[Lq=f> dP<T$?E{ZvC8̡4ߺVb]>Nas)%Vb h[Tċ%Y:~ϔQQݿRo,mG=D4m3Ql\uG8HagJL VI+wJJ9>S}!]@EXqɨ*\jLj˵cG8`+jİi &_P+ ]BG(δ8cu2{mY69ձoG漺E5S6u~W.PNFnwPw},EMK. 6Xz$:;J|,5^ <ְ#sgYZ7585471e5fe6928d4142c9abe4a0a03d22789f2f665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 ef4af5ed7faa41a9d8d5237b72eeab989fb81c0b27fbabe8e0f33686232a2adfe1c9100b7126bfe1