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 S),|t ]S]Incompleteness:threads=2elapsed=661.274cpu=1049.696gc=23.772factor=1.597zXZִF! z]ŗXf1-/6vRZZ,}ūG5m&*qޟֲ) Λr~LM` ˂<8zۿ_MmԺ'KsK9ڷ Pu3BW|BѢ?~*F+"8ݥqB[YR%Cne}?7+^qbiU,M#1ƀdc"Ӯ.$hG&E1A/Bn*Q< VR90Y{FwϨ엪3fhXo#ڇR{[퀔^I!r@n. Y+yʼO2ߌ_ ~17a=Ph/-Â49;dotȢnZrNL\ޕ;,8_ i5Z=9zѮMq`:ND:űU&$!m ] c [84ĢnfKݦk-I~<6}Xu#qoyϳۨ2Wk\CiHoyn=@\H Bm.X{IE A{eO1EٸU*Q1@(r` P`Ktyi8X:#f#P4O1cqClq#ΧIvA qw$#BA Yb<`4M#OV]Y_֏"<=^N.Eg澨8!˪>&{xЍ "qms #=TnBsEୈĶŭjf ]HDbE,}7 Τv&gYp xg@ C{EOsV2d(wTbɛk{Lye(nav˸g2zR]zq_Mf4U# 0A̺>D KPX+ZDL{-s+<]wGoH Ml*m$p}U 9Z$c}M*[0iIgƆZr iW]7W=s)b:1jb]|%i0vlnGxwviH`i7O1DߨAt)9zA˫^-@?u>ʮtA+矨0&n:J }JE=yI^)~ IAjJ.OP[xMS7GGY/t>P(&SZe{mr2F.Y#)сN`?<zg_I- L\:dw4 ;7XC[TjCkU>8;0j?Fh3ºmp&ڜFLgK!E]#̳ݥ]2:'hA^@ v']R|IQdW]8%+x' Oga%=܅wdBF"ȯ~ j:W㞙&òc^M"[z|H7g%59^-V*tƤ?+l&4+'a(,(T@_+?ׇܛxbS+L0/0G,$tؙπDs?q1*X,Үa#~JKzfe#Hų%ElS\FVp*7N~*Y0^aƞ@$0>CҿukqƢPbgˡS~`O3fH8 ?M{FC 9ܳn2Rm:.AűV0@8Ŷ#su*4;'$[LFf9p;XrFӵM@i2N}^}YH,j5m=bn', 02jJ/Ŷ Y6(ʸ =k+fphIv(WbyZcE} VM&퍍-%L$pee$]ZϲJqɤXOgK"#z'/p͂ 𮰩iw댸 Ѱ 2W4\l7Mgc \O$+W^.Y Rqey^'Ӟ{duOb)zSZeZ'?YA.'J)iUjIQ{Zn篪[A,&IbZP~N  ':ܪ%'Zs" W@15~%lkmf)#c  sN>km9Д)j@j[)지(m`2ai0lRwF~~BhXZ80z,f)٠g" 9Q{Z Ib=ZY9ˎפ@t%&HM `oPQ5h FgMhڶq~XLM%i QJneWSo5ۻS欣s5ZԤ|پ^u%fzV(GFM]7vf/|tޗV.X_%&YvD[ NW"w 7f ehy (:2>~e&0󈌏tx z}[x9#"{'\/䫷e4Iq4cq+q#]]l5MﱿBmHcCm\<8P"MHae1©WAvGLN) ̼qq{uF\STM sZ(ztĀxq^a6RcIcpEp U8{{ YՇQjQtcd.mZ^\sCq<㟅|B]?ce$Mc YWVfޏ 5$v=XAx$ڋci-B ʁ袵 Jd=Bw;Yrwk08ͳtu ) Incompleteness  V͉,W6!蹱ǰ uHtzMҾq#gsOrrW˝IN#/>}#z,+%~;0LFdW6^Ж0opa#x@ >& *ɳ/ py}/RLM"7}j)$MbóCPiSR"[k?K1B"zm;E9EODYI|syRlRѺ@װ-{&gS SgQkzY:i >P5_m)7%-V5? b~%3ٵ tmH}%U8IR֕֞iM=5RLBҹ=Csó+#b.i8wwjr_o7dvl(<Rݫ6/w3ؔrEPzz4?<8+W~f|sUIT ř7eos{bPD8T/x}aEӊܵޤ sqk$\A"sLNimJ>Eq9X (j|bĨGnS(S ?kN&klhR&AJ_Ix*|! $; 8ԒOAw+|2l"ɐ7Ԑ|ca7l)I J?\iǚVk[ ĻNaSkߜ)QyX~8QbtLIws]➫ E i)siD]-W%Tr˟4(Lf 6 5Y ʀ~ajbH:aq.P[b^+M=Z4 tl(M׈ 9us3OB&$I51&R6;m{_jO M+NSAᰓorvY7YuW|>o\v $ȁ3*}V%#TqmZŬELvdIcu?I4BnPsN2 CBD v,}&J2֗@ lՕoD70l^]ӓÚ,8Ag1a_ P*Ԕx'O ;fByfWꅐMP1(7XI6OZ`i*PԜZ>{I3'7Gfp^F ]cqS^?y=?i:vCĕA)14ba)ȑe傳i:5q7V h_WA]~#zoiRF(> #Q7$oeMN TU6~m nK!"'r3qloy> _O^ZHk,ues:C%vÚfp=*--ѱ( m˦?2 IWDk>wz ,:Uj'8kL<1̤5qu'Q&|k2uߓi;`:TaߝychVNo˜yv 1rWto(]I-dUУjh r}XVxSMg^bY{0s$ߝ+9 i;x2BwΣ T[(֦\  A7_,/ r[O|Ua! O$i玳_A;i2?kooZ\{lͬESJ3ዓYnc6HpL,?Ô&F_inzB" BG퐅G҆aSx{zEB=-PU)F_obc!|q r U.v[ >XgqYX,:\-+0=Rbh@C.ۦX(Dtݙk&"Z&-U!m,$AXGi>+Zh eYG(@3.N3H q^䭹gS:% ^@q-: &li]vE(yęEF:oEuv6hUwnC 4!LtϠ1}j:"mgq2Hke7sȰjr|LQ]uHjbL Hګfd#Թ}'` ^eN"hz9MN933K]6hVYMq{nݵWkiZwUTXԍ٥ <MP2N=:teY;\hӤ;,7D^Ains>Ŏ8K1)cvd|Ci 5w=Lv;:)+$n!tD׿L#^Sբ=CF&*A"a~,π/:ĚgYZ7zXZִF!  u]ŗXiɟ頏ā˙مPn /C$^ ş,wWEuGiԎ.YvzMEf1 O~Pabx˫L%UܴvK`jVDaz ^./GO*?-f - ArRFY f)QRg]{o%5{l"Fᇠ'+wUk?|}XOޟ׈ e ]z]é[eYF oFl({"hUl"ﵪ57YfYzYnJ$R5f(4Eq+z~?[^#&았ֲUmq?T1s) pCjV3(yU)PLȨzUϺy E:nW{έJ% &U m3Ku!%]PgƨbL̴ 2rmkY>.GVN$_ [ 8bj][g-t\?1)GoXB[:W(N")-K0OJ'^?l"lbHN\?NR#ڙE6E%1{]0-Țо}ּjɨ/~jXgz]#٨ ӵ/!cʾѣ@|W-g :uVRUC5r%/SW`g݄n^q ޞ \HBvھB=ea`-+]ШA^&tR>-Ñ]an*o==0 cXGԁ *[\nQNڀ_uo&%ҡnX#/;$H-¸nզ9 (UBٶ%4g/y)9$sImǁoisoX[U,;4*>M-^%Fgse|i"י:yY^'vi QFJW.|·V>r/ RUDỴ<︟F޸'%&s+:67Y#A%_Rex _.L0>KLF_&7 s=,..7͜k;}_X#VgjSk) I: .nb0k:DDR:ubߊ6 t VFϊc2b#/nD]I &a"TN3(NvzF_Tfaͧ'2d^$vXötQMeVEt%KP}s^9t(ϓlMiڳ{.1^ZV?HIpJa) Nǀh v]a9GX}T:M gI02$)}i2.e4f#* (c˴c rL`|ͨ+A$-DU/HLiTK5#Jh^d\K2q$W\I#+h8h $΀6rҀ6a?eo_d$FO )F7j>wf늗umv손Q&G"Uiܛ7;dqdKcRz~Ck޺~tGV>cW4F])5_+'p߬"<=q^tJly6:yK9/{1! @.~N''UjW@126$#;%ڦHv}x {` c?XUz5yN!ԦR}$м6F!Ͷs K$ZPˤN΅W%OU* 5N9t;'&Qz f(kzXu;Yçյ]:g+#"$eNcvkh_)"d;Aelm*!.Lt8LQ?VﻲB92^~Haڛ&0~.Ói1C&sc(Oé)Wp.X=P%̠EMINV@˅N-ShZ\j~vf])ʧ'}{D UxTcF@+ />A1j XU-$0RM3G/Gl m32' *ۯrl mp4]C6oNǡ΃Brk"gG(mL”yX5Y Tc A<)>oj,Wm}Ex[/%@h(E՞JqCטigm2;ͱIl6Xr]0x6\3cĝNve #|+;/9Α8]q-HSw$ Ọ2IvgZ Y]O B23,iQ-*kB}U@=+ 2T2BN<)l`sj?"ׇ1@+eW4e AV䘱gy ׄ1`UwtV9?H;Zr(ݬ9GaӖ48!a.}6Kбa].CP 2SJˣбimkT  Df2UZҸHi]f%ch=0luHFu=S`nf>>-zWA M}Yk|Wh}]Kr!fd^J#K]1S}_XCHnw fD|l&"4#OַU-Tëבqϓ K/sWBZLb+Jsy R-U-A Ay6'( :Dd:bI߯J&fL +`G 8o;hӾ#s**da>N95oZfWQj0θq@.⨾"IS@ ׹Ayҫ=}|6& (#!*?La ij}"! LTfXte3Rl\$ެ3v,p=A?NE(Q2:{x.S3> T.yͷ(0.=Toea_ GmMTq-} s"B|x#BC/u$&x$ȆvboXD6CGz> yXv#AdislpRm. -uXn⸦nZ;>/B~ie@RΉŨ+67TwBF1!*RX# !GĥeQh9''ctu` ”U|6噰ɖ^`I! O NSƕz:O`'b`]-F~+^2edgU4#ٶ剂y9FjD4ьTsG\q%zCTnG .ަB{!;13&bEN9>9?СKp=mBz}>Wt\j.ݽ GT/I\`;UsQG ҉֢erair!qRU3w~ÿǠaw^TVKD5bMe$<:+*M/E~#Myzdֶ"Ud-H_ -= ?ٕ:d^.? wJH6+Ž#o DX ?e W_r_;QS#W$i:9t @r˃JuFn}e}CC/]8`W&Y*[W[SsΜ O9o6c.ٽhJ?lQVn/ZGH}aY>Gt/.d{m;H%<(V%KFN̂;ӐItA.h "dhk!Cq䡲2Rfa(`_ h _l 5Z|ae fe4 ԾHA!&7DNt-!=:MGhXO#3h^֪-MUcpK#bb`vd%Rw#X<ؾM]y`Æ [ gH<%5fsy[vaOB'kbp:hy~ ڈ! jfF?̧oZLhIO;zvȴE X$/!ND0y*?}}scbrrOcP1f82&->eOGBGԢymihZrCFTx,LV Rbw TR9^y6[HXNcF-H7_sHMJʟE("J'&lzT]ʱwD5b4M.~dy0)NL5Y_X:;(Na?&kGHq[(k Jή}2Kn!7T͙3Ow)4u˅w9Iʼn(VcG3)XxfQ{ku67@á^RE24R3P"Dcv h^U2fZ!s,$*4b:!:2vf%:w5o})6fhP)vuUsv#(h,I:u~ "n>,ST'P}7 5u (j}cp(7܁Ħ~蛺9 qx/Bx JTeBt^R %6FbQѩ?mmtol83_f+8Bevm'm:,r'R`۴saS ׽[f]F@ki,x!jY%+gVY=,WzyȻ8L ōwߪ<fC!NJv0]"4J#L\ (Z1yo2H:3W)R*<`Tyv>g5hV;7jay{9i3i d⎥ 3]|^e?.4hvn%oZ#o5hoAtq h p~2fQ7csܹ'J,}y$0AM;EJ p m 1nnFSƌcԖ-p.* <"3 5\C)vj$iielm,K*\6qɆQoccbp+!|;464! /o/Lܶ'JIQ>=1[/% ONۊI۾rw0=xF\Dq$Cқ5}n ̔Ejz29͟=/Pi׮Q1wre{\#r']_̭%W,lbe8LYnqyJ7T`kC{I2$&vȹg`4'??'_q|(XG$*#eyިc]yr^obƩNR-d_Ru5آKm?J@GŻO–>Q4+ϙ#A[skr05)ϰǰqRP6wixJ;heB6dtaYu%~1gѥ;p('(;g~ u2+Jώ/r@LNuuf8m;vt(j Lt4OA/>I.Çq lj2h⏜R9q{ucLh :ʧ"wkNޒY\=G,x恘C}J}lΆzE8ER >I4divCgW4*}sK3ys\mTjVbʥ<_WuayB]P*7 ĹP_\Pxƻ%r6O55 .['^*yGx!8^tSʴ(@ &C!."+Oqv2 )Uv:WuZ@Z!)&QUژI_ROI.YB()?! XMc- j>K;H3x7j 3; {$M-4?ޕ޻П ϤoWFXO}O}JpIMhơQqE$ΞaC0l;Ntsbh󷒋CGb}5YByY"Љzf':]vZŰIEI_YxmˣA[=g=w~$'|UfUƵO<݆ QknM΢ F|m/OnIȇ|VômpB`|bfgW-$8*7A׀EH֛ rN pN VE#_7 _g@(T`ǎK6*m ),Ȳs.X|L4m?& xsmm➍awwEPWц_~trH76dy'/e@))@-"aY k Ǿd7] OޤYQ!1sIqj1+ kr_ͭߌ(`>A Bk5 = H:qiox\"/Y.Qgxb4-26 U.߀yXi: q'i^h*Weym08iAzc~<QBrRIZ ö d8-'l0-QdQ|Y`yt v/]4G{6FͪW}gx!;(hm )>2X, 5Z mCiq ?(L+i9S̰uzLJȋbr-dNٮM20rjD ^ި'q`߇Sl#Pԙf$3v#}4/U@j OKtN qb65B}Qma򎿜ӱVFOc{9i$ALkl}~?>ݦG>Cq}*3.-A $?+B$g;E#uZL*+&oԿE/# rNqw&󂔎*~pqII9M(9"иHA:M5H{O%V,>u74p!4}X<݅ߌtrzhxwnYsy ִԱj5n:$23GuNM;ܶ,שC[%t؉a7hʟFLPɌOz )r̖*L,Zno2O\SpP 6gd`UnWוc3Y]] KH ~X;PvJ_(,JEH3O~ $ӀFEJBCyKNGڡ@LKGMbktRh4:ڮ`jj(1}kQ. X_ in;naE콧G 9]K Z+ɌpX[MX/X O =لCfb߉0w? V.;K4@0n:C +3.#bxKEv b-3)4eSQ CN_IoӈMZhK)6PX9AR \^>VH|pYҤcnq&-nƎCmg@"B/n} pVK㳳8 uaPtΝE 3f"q4/F ƅX v"ը Dл;.d~Zpt5zWRA<{ܶ[Xy,@t~ *4XGcao_;ٖ-Ё{HܫvÅ̜#k<Bi8(:!mj3JMੑQ,i䃇bE߶rQ! I\Aj1JU:~ n]gVN=8 琪3yQU[#dns*{0*d("s- SA+;Ix9ʠE$&\a<.yDy"{sT*-?-xu*_q.p Rq)cud)˽&DA$g$) ݨ8pƆ{Ps -8B8W62#biŀjԇḬ>}&la=èIR;`t Of *RDE贼qKjqミ1r r+"$`t.!X n1(n(2t :Z^}h$TAjIC+ĭ>D)K3ly>8\KӴT̟S}HRmƏӊHx t<)V%\:\*fML(o?^򔾷/<̑Ej0V \$-ܫl"<`ӑ$-z 2gcL7W_=S ЄC41O^Xe~]+[xb uwg*p7R^T=־&Ve e4g-bj"BEZgP@\uR|y֥2嵎U'-vLt#i#O:_X XX1P+_-jMƔlƓ& Vȵ_.rנ==oqP&Bṡ6Θ`Мʜx\Bwft}$ŲZ-wrZ>xm.dt9-0u{$;9n)_$>KY/l5;{΅ tηE39-`}`?ay8>m.$+q!Oz0"r>X"WNlfθ!,.+};;4[LW9T@5QyW{fO՟!"vDf:Hϰu>bw(/4nvHQX!o֮ta* W6KmB"򚞿(d^2!=.* y"YGpD*ch: p411bf -`G7ˇ* >k~',,1:2i|+l(Ȣ%?:pCbߊR[fqx?<|sqe;ozƆxj0`^UWzM0a@3/IZ2GK1M `RN6<)z}fyp멍 u!kx}ST,EvWH{o(ߗ % ( KG Z٦_D;#υ"ќ-}1mQw|WUArD}'@l@+X'Hcp2IfBrc( \$C,`(-IO#r%Xn1#P4zVH` V0e 6Rc//.gA/^zfrt_gd=YSW{e:~3lI[u `z_>c:m֬';d^!C)(}SubRe6u o*!-*2Igp6d߄dfvV^2Dga,!<~;^y"~P3 ^k2j%b(>P(-xJ4<#Fn_ѯ/cnPA7#G"~n~`>l5w2]KxfvLՏB\[姉A_OTɤE]u1}UK`v7c7 rmD4_T[+՘UӰ݈[ooXQuQf06DNT,ǂuhkDЉ 4 8<')`\ķ'uξ)tq%Kp=b_s."ᨇ؋!ѩ72M_G`K|ΐT'Y_d Kpĵ5٢QIdĈ җN{cJLj8d#.SrҼ5m0qTBUpGh:b"t8M-_3s">0޽ӉڼIg;P7E!.Bb- !\Ó09w&@aP~tXtE$޽7lQCDfpt;a\P_sMJ ̘Q7.h7 ,0EغIG*eVT"%}NGyC0inٟ"f]v7ZTy8M*rcOO~YTZW8Bˠ[kl"# qXxT҉૪;{b(A-Mx;i:5qx6PHfs4|3ݤ֨8;?JxJzGC k_UKM˜ʼlN+Su{ ,$5q{pBHؑC~Wwfϕ nW/։1XMP$(G؎h(w-Z12(MBI| VN Y3rZ/Л>)`A,?`K* JE ,]vJ*`F&ށ|]`oB0_(o;/L4ѰFmg"Pa_>U KǮ&gASf~:k',JI^ i*;~6w({޸yU!)'Wkl. #`xn0i mf0owF5«Sbq1)aLk=zNNpw~ `?_Ml z`zކ,onq;œw]gV<8ҽvV}gxhFRB>XvOeh<E]QT\Wn}i ΄*.-gW)h&jj^*%:יkV{,,b??$'f؂qmG&r m:>!||aPR6I 7ErRM}&7ܺAvP:/.BdO߆!сZ T~$FpYQBʁ*\bΙ^6vup4`ǣ1D/*g-%t)5``;wOռfKl1GK4UoG J? M' n~|g>GgV1A\};,xohDqG.NtI`:lsFQ  5`ag)'!+!-F^o9ǣzJdx#R{aΖB*V)^e3Ni/UizfJP@k *}&U2ي7 =m? `Z `FY{<ٿ5,pww!59Ʀgngȫ!)aqm]_hoGk6yƢKk;TU8!2GB>?%:ɵ#E)#Dn 4<l p -kKn?h.8TvuncQ2\eP9Pya ͪ eV dlduR 55@:%B҃}dDD:zB56UZ)P}GE!֌iڿShΔTH/D% &Gj. +l>95h k\#hv=uHB/(a};AAރw%g֕E-ܶxyF:t ~ ~{nFiҚjgI]F_F>X7}UpB<,S%"C9VzU;۷RBX 1-tԁxjC̐.27Ԡ?@:Av-؜T6=wƚ2{rn[ilxbgRq1{?"4.k B\j" o 4Mvva <+s}}PZuF]۸7|Cy:hgFx`#ts& |`2 ~zQɏ+G I[]S kXc?1 t3Q9h Zo_^!Op)w#>ʗΟJ}PR bn3B"p7O>l/ʝN\)DQ+2Nztմ6yߣY֐1d(o-1 wla6ٵ@,yhsYepdh3o'AXGÉ3"w+.Ie&B=rUM%2<|Sh=NAPx ٠Ą))8cH\g;Nf Ǔ)3XYqCQY_,k^cBhKK59:n5T8gi 5031OEQ@[pHW vP%:7HpuRuDܙa1}߉n"wr^% llukkBł[6x/,vs{>PZ 3hBO-EykЇ3-Gtjs!9x[Ԧh/5cxv4Q35H7d-^<{N-G.]*~61Y\:@3J3\>i=kPOhp9q^9ҝN$V9[zNYԙ)\~zb=k-_wdJID@[iQk fǦԙ)̇lr'O&"siLq d\W9{W E!buHRց鄔p!Zb{X4$2"?"O7-lgb(p7Kt-\2 PۡmmlvUܹDw*OOgك}`"̤9*Gz!,HU k`h/gZG42ɘLtά;Jug0%j'|]kE٪Me#`$FVy1Ps=deb UIswJ/6b2,\_|`44wT3PT.k8\QU X .`x9z @d&of QNM*cdbh!,UԾ-Gjǔ>È$2?=օM̝$N}ѻ'yd™"%tfJr -׽Erl8 ~Ne9nbj6﷗@'}ZYPJ[aoĞ/󞺸MĔO09 (gjLÑ4={#jOT@Ę8S `/:fNk4c%dȾ._4TZrKL`>b;a?%z>ڳS'`®;}^̇M{Sĝ8M_w'I+ EGH=3.:aeK qD9=*FZF+OZ93b7J= srPca(<}ZitI7,;^S ]3UP4\Ymlk6էT;\pd?O<n/Ue6ՙpFO#$خgwTj;OgD}fjDjd`_?ȃP*5ȕ;sX&-)B4R Mt+.ߣH[mHِ۩U?qW-͎8? 0Q*m߄h6pӳֹu%(L|BHuŅ w_]0x;x676k 1]A9g.+-_ȥ~S%=B@2S*wP;>eA Є`u-X Lq>^gU"-Sqftr-#>*D^dGdtk_F^b.[WU!{%Dj=fLY&}#!2!"_B&ik*\.EF!|8"WK 9G>=SрRI_(5d6J˔Zq5Ir/Rﴚk.q";AGN1&S]iXo$$5Px_JupXf(8I ˆ̬" ]uߤO(& Tzpٰ)XBm9Bi^.Yns|vR@Mgn$рشǖ o+WȦLgdXd>I dOC6CM@i"Elex+qa5"[/,|X>F lox-nݦN!}92|hҡ.LbzYL~7P9}4btHx|@a6͎R #iC@r<=~2fl@lqg YFXqPޱ {mIH0o,$EA/c+Tne5;Y*حJ RS.08aÆ$7u-V,HH[@?8@F~Ǫ]W}!jAoȾBTǐeZ\ȭLobU+}2#0v-l`Qd+)ވ76?9Yb ~fMN8!EIr&,MVmC %Ꞌ:DJ䂵gш!87;>Ҥslv Ъ쎍3cS5'|oN 잶[l9|"ndcj2Mk-.-2^2/z T[ .8`1J!dodC/j lPk]Z.C在J `5F)&#@*Ȧ<|Dd ϳjۍ/{t6gj8@duhZc ^eb3!x= ^FH[ P>[wYGG=8nx8C(,y%G\7i!5oYl xU2uLm TCBEWXoZR70dkzw_mޱzs[ToUot -vL'K xOЀ u2TB0! D2Ajcޞ9{!Ȕ*`hɁ"O=UEo ^\=^LnGwJf:Q"uO97gX ԪYG4'oz%qRߜo+oȵAW|Q\ʋY?<Le bd1 oyQ8ϢɷkT/v)FFTƹ^xZ2QtfZur:^AF$NSl̪)?kBv_|pX_TK=iU$I }WlJL7u?SJښˑB;.?쏈8ݖϗx5IlnQ‹T”EkC_ L.d'LD,u~ k@c<&5?BԈ숇3d.L_7B?7Su]<8#dnNĮbOqu]p0ZR*ҋ[`|JvcRmbOO"{A42d^<ϒ>43*o`tiG鸂ɠWq2$mrL~d8F4@9Glnܹ϶C$Cfe /!zsE5+ fT٠ <T1X lRem)Fmiꙺ[ɠz;Ϗs?ra`٠A$9d?s$R1D]tWfsLe]e͐&gS F+O+ፒ%xH_|ʍDe=zkI;mh ڄ 枻aT91Cb6w(Q4>NczroL!{T ?R`@eȏ5 #Ykfld~X:olԲhyD''ۑC W"Ɛo.?H/}DHQ=g:0Y ۭj^" reKdѹ*kh md@`4rH7p{jg %XS%I 1fS'UQ˭;~ ofqaOJo>nfRڏYH0(zPф=!G<H_HR>"U$m66 iJBW5jG2{ZX6a^fqel&*SP|َ1,]o3`K;@`X$9ܾ k=njO'dSD:rs;38_, }AIcG(FkzrXӲ>o=Y5냃-e9;0Z?T{l2#$_8$D^~Ռd/ _5cWEOk*_DNJ;5fvrjB׊sRpwWסfI'Y#&0pY-k{y:\TjA`SdW1AT R s 6NF$`PA)fC4Rfͼ8׃]E%je]TbmfI'Z DvBb㾣;XHbj)7zVHrz;0VT>bf#2aȱ~K'_Wt$Jly6U]'?ED9s0*sVG>nH}k;Xîzzj?.^IWTc9m[)2\2luy|ܴSV4#G:2 gO<]S7R6ѩZ G2yEv"#9C,rZ\o _o:W&%~3fhmY[щylWA J>t}B7Uy)GJ\U386!) 2ϋF'tżG5(H:(%&wK G iqzߏNKb&u˒1UvsP;x0`'Y} p1e"@r>Q=6K 5VM]`/zގ@Dw[n].\ p9yZǐ*u $GވDảO67v.n SASS `<7ʄSJ])?}q %|p>؃C.]g^TCѼ ޑiҥodK_bU ˱X,s\BvEMqC`uGťē aa(}Ne| x.WH|,MRvS#aֱܳV>c#~;fiz_F:iw?T'cq~כ MXt$Ei%9_|6k 1&"bҼ=-q UǮyQ3DW\=\i+bwwAҥj)XI 'bX>}c ? (I`92@4MQYe'I.ۥM,w-"{qX[r˪|Aϭt1<0 @80eέR0[،[>0~̞F [@iѽkX;=Ц|x`?i:7\Wgv+kT06_S VRlޛ,WXZpNԊs#oJ?>@f~%YIGDf{٨]^O&F;Pp0!՟@ps);jC4m | iƵӦh$?f 9]-."a[s!~gaԚ&zjn5?Brϧu3NcNU B!聰Y)o (qQh-TbԠTMF0׌Mp̰1'*V=7bQQ"Z(Wf{֪=`eZy-"<³wU8v.5q,T5I{vboa^<)ɵT:~GW97-'tP  b3[vTqGGAy$cIPRrm,sNb}Γ̈rua7t{A`򮈉jheŸ-v7NK>IPy.د^=4mUXNc BCqTgY8kCOog cO] N,@nꥁS,BQ=7,\6'., k잟oQ 8LA;f :oJbU-NLNePqq r 80];łk;m F"8nޭ|"߻f"3K֖dqΆqo$; n?ojD{ ؁5XD*SuKy3kmP=IՋ_.bqOE`ʈ0OaĪ{Uօ9.ߣLD'Av׉4}%N%>z!aB^e҄N<+COѥ^]DX``ykc"\l17vCT?}(:@Q)LG[ <2<{kih-tcn,PUcj+NIɰamLp,jngrHE)-V:EAKe$;HtvIҪR%s[PB 20H9HuiyvnTqMt\-.Lu%dP GB8gY)o1c̺z)(=#(X̪2z][Υ{|FHh9ZWLE4kj"]8KNZ|5e ̂Hѱ~ (ȵǘ'GKtNm;~D ;xmOjB㇉ŀRP\)XE=mi7u^dy 0,.`)*(7/CKS%z~ s̍G<nz0]4XmՈir~ei,pȨ=[Fg**l׬wJF}W&i_;_-Vz=;8z㐖3uf#Sfos#U~Ta)4&:t(h14 b/"y5Fh ?@;ہINpG,P> '+@dx i Z0 ko"JU|b$ Ds4VBWhx235\OOmʅ,8Y)]B"V~7аNkV7. %T"0c s87{m( @Mhz{`‚rzs51QM+X%L[.D"p8Dti-+{apYf>./%K9œX!':Ŏ'w Z׫POqHhbL)pԾ&AV&VMK+AI XIYuj SHխe{qg0@hŕ~+|l`84"mTUbEZF\lhF̟-NA"_AjZoټQzԔdV9^gxe/|r7SȢg~Vj@I!yk XF1ͷd?rA?Ыjޤxah8#\X]Wᤍ>'˗o&'}9::yêBKʈ`M3Z:V)`xoء_9Q,JHf.`[< fB;JE*h iQ \(,]R5qk4G?6 N+r +ϋtSzryֱ{_EܢtW7O5F p\ ]u+oj$SpQI$Aqc~XLQN4@z4 ښ74eu@< XhĆhBꭕkRkFO&:ܑ;wN_s!T{#5ۙc͐Ih[~R-kRãK$CqC*}V5Õ63 +xnEj"X1)Lk~.+} '.]x*.K==*Pf'A'SMP;UO[(ySA;6)ٟ.\3MHgvw0_Y(' ebVGͰH[ EZ!F1JZE3;yݙH EB)sOֿh0|X@5z3́ W yq[0< O?$cG=#t׃@mسOK&(Dsgw j$@*zN_YqrYYz_u1TKk1]ƳAF\zB{V(opH#MfYZz#"eJ1߫{Jidra|EADcI #x R.;lM]/ק2t1lġ7H=ᇮ ,ViSQ'h,ܰs(Tp34Fo+ **0ƶ$Nw0{[![;ET|67t\ZɒY|v>N5Z 'pռ5H'υ$م9̀LZE}@Yaqpqk-Eo_C\-<vUa4j1N 0-S.;3څhs쳊sD7kp' _i 1g8dц!^Ѽ,Kxjk_FZWE*#*$^LѵL(Fb44{(R Kt"oCb GmG)qO"ˎUemy{G+6:Рm*Fo@vE@ rA|b2QS.;Eԕ̮r6\VSU׆CK_.z. J.ҮloPk^ʗ(PwC옋GZTIZ='={`f1.:tCoYi_"5w{Q3+^BQcQ42Z0Q|_~~;R]^RTU 3X e 0S%p͞InjY+ndB{:jwS티3—9GNX$Qx\Gu.C>"ķeK5adP@&7ƢE)b+T0dQZmv ss_wf!^H-]5ը'H¤i2V#UΜ cCq#GזNcqQv-$6``I٘Me>LSHBaD7*e)y'KЀ55 w͒=h1_[?2o8;f lo,42y9uzn}5 }ڈ>e+MNKAk=i9l y-ow'ox/C*&D>fu52E>"{hSz iƒj PBA,1 *\بM·8)])'G$ y'[pCK>/ G[2(ªOeNu"yHqmyaun]KWZܿ1晴;4G5#h/';hQK8(%}ƼGNSgLiѸ=̦_{Y1[2>d(zmi/es @ PUYݯǣɢgw5\gP% )9 02F41jUrNDKZ:l$c"hLHhmTH󪶼hjkmH- 23>.G;wBٺX;ӑǦG(xI_Wk+H8"~0O+D  8O4 $ٺFd7!\CIY.$Wh{Fbl*$ң|<2Md̅>Dë5W  ?p\dwmSz/# IP!0&ϽP5 T+B;"J@i~)!(^0cJ ߐc [=㣕8R, q״RCMZ (jKVlgP!51yqYO˰vq$yp&$x@Z=q4Vߡf8DQ7/*{zQdmRԝGDFfG/Ct\!+\0ǒ.`o1:q0gYZd9d4c3508c28c7fe83da2b9dca17217ca612c69097833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f3 5885f1f569201b0b462a9f3f8b1e15c36a4412b9 69ffb661b336633e66a567e3e45de1bbbb34cd7ae9184de6802437483135f22f3d9b9555798ee8de