SQLite format 3@  .  YYQ77Atableisabelle_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, "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  B B)$\ eS]Incompleteness:threads=2elapsed=705.740cpu=1096.516gc=17.428factor=1.557zXZִF! r]ŗXf1-/6vRZZ,}ūG5m&]s#PtDZ>P%@KhHQv32O/:L?D0Z$ }eEIGiyj,82h\ɋ=5b݉5]Wטig ;"[ldz}ǟ?p+|'w-DK-\`&]:RૉФ ]!%J R%ș3)uBYcydZ 8LO\)sh Y2kǵOÒE5RO× .x=_%wuN[B8ɡA#ن06@%Rr#5cWkC mC: ͘,_$)%> ~%W\P3ŀiGbqbIO)w+_hdEʙh 'r8ibf;ὄJika2 &z'f=7V-Q.c,EqK9TldX; [ڰ * T!sda)e`퇝fu*:ioG~#jIy{<5fBᨽ5f#Iu+w";{ :\D Y6`p/r<1RQfF'wniNɲ9gy]KəSќF6,}AyI >gX- ) IncompletenessBkN-KML%|KaJ(),+[yNbFKk(pn)QC+3iXWRYHmGY*byjI\KV9@C:b'55g%MMVON]Ո:"1Fbp%=lmjq@zޠ_IN4k(P)(d@%47Xk&z|wzNeޞE+A[2\EyKdMx2`p qGUr?ĉHXU.Y|N=&DQQ>FsAEp,Y_͐H (Jl{33Q5Aoч(BUցںӅiT1e%6M9aјpظE7>~Bv;@ʭg~e3l&5k+kmc2~/Ӊ`Ӵ24zXXX+KF?:O KC9@eL%fU}G{Eŷ.\DS>'UL n)%hY.o[!jss<~܈>M[, k&9rR#${)-p- z@*s(G"hm _ߥ!]mK*Xs򆅥pI^ bi0#G:\FL9.&Xu_ a$@etFr *jakBwZޭA9^O2Jt8~Om4Neh2G1Ċ$K&DMdE6^Jw7 BTî@mYłr:H ^YAij;0i1ZZ-Ox}4G.v(gxRЎ܌h"\{2 O-nJRZ㴵A!̓@?iRfF0.V4j&[KPo;M\MEp@7-|ó N5dGr7 яAeMXuV6^hAR*4ɊQJWYTxZx]?1$Pv zf<Ä]kP[8C}R8I븜 4б}{76Egl FWC8ȃߺݏƸ0)gM LHd5MN)3]G *"ZӪVpT,7"UVX_룑Qeݲ A}kXvPZxm*H '{[e+ݺ* BTgnA/yQWtzyaF\^"EHP,_͖M߾o7Ei)/# E!$߳6 iRS2ΕfenKժ'@#F{-JmD82"ׁzݲ avYTSEKj)kˁ!kmD:g{J0R,%)x}>O읋T+GRp)<dzۢ3F2/*r4vro^(`lc+4,JgxFsºMc/ ;<鮅P4eX8#5glYr4_*L.ؐYvr97Ӕ>ߕ.,uí(g_ޟPHnz-\11"0~d$YB\T D4.`,_0hMDdD֒Bcvxby#eLǤ_UhF"8 %bd6\Up5d$+ډO; r60yjf "5т^\d Eo{;'UG@1PNѲ&Qԓ-3"Pmdβyv!k7?܊@þy\o9h1?Ztjq,tP'&3R$T4Q[(nx|(iEAŴĄWx{φ>G EĨk#kama_v_O6 |N<,6Apz%cKkcʮXt4bӖs^ ~C= uK牝y9H\3LBTCnWLDesQD,>lrE*4N:4mB't)ҩM 9y4&kAb纺R?RzvC~bo7۟u^LL!RE4rWRO$K 1T*;DA hSn)ZwB9qo7,}<CAڐWM܉5RxW~j+ Z] eS;l"2nKVa,lrgZ:3 ?of0 ]Fĺ9{ ]ApJY] 4d=o."Et{,}N_t1f*ܨSh`d5 K$:WfT,/@n%<.<y%λu)(KB-M^~*5>y%6 PjD>=fQ3'!-NX吙m]Dߴ2YPDsКi XH7իQZk e`;M9߂.,u)$Ⱎswgo$/:7)Wd/ԀK J0s0$2dH0sfO.rl9UOf)f^w+qGJ1Ͱc!#)fk?QOOb)F5=W=% Ftډ1[j7|p'us8AAsn&g݄qqD_m!R;IC[pc gHqPwU[NKw4nTx$4OգnU~2#S >qq`ZˠX7.yfh TN)pAc$`3>6=ҫj q׈YeN ^6]1180kܲ+ªBbvJ9dܧ*0jIa-mwzP./1q8Sq1>&fZ&@Ƚ-ߒ!S薙CS1o ԲA6VpP9|IvPAܹY^x\2㖀 Ӓ".f-D2׶Nx[kg"iKBUhX9n䄘jo#쬱(ns0 v_'/ UY]H57<2T ' )d=Z} (Nj aW8J6^ydfm*`W.< ߀jnɆq1sRR_t :Np2*y,1/ƕG͎#8z&]L1{{b3#ȒDL5 9XoUrj0Oa "yz SA\ƥ[ Ѽ{͡R" t%ՏZ?(T٬@OjbsXYF^VmcG'1zCPP1C .orLCOK[^xy)nj| YI|y=`/i WIޒ9ǷOEvjwAL~#i+`hlOs?gcQ)6A(e\T;g л~!jgBU~yn+pn0 6(|~Ƨ "3O 0$Zxӥ4(*gM%b{-} N kTI~Bh>Pb}1Ĭ^xˆIr;Ġ`DHu]`-л|re~V챽yVn!'{6oI< sgw8ۤypHU Ǧ}q9m?g|a$4_(P٨_lGzMUqv ]QTEܿIoAh7/O%~ 6P^>0lWgiMܡQXj"ᘵw.Weùl#6Ч2 =c452;gYZ7zXZִF! ~h]ŗXi%6S&% TYFO_7r[HQAgb!.^3z;tKlnQ*i)mbeHesn4R\!`]A GT}NW2>S{$$~ƣzeEM a\T^[9ܻU嶟pȼ }z.u (y?wv6>#xy31 cD ]bg؋?|Ԏ+zIiqYOK'-oA,- D7w~F3?j3?Y<9dgAA#T_zʼ*9$@APTiHt3Q{Bӥ|.ۺ1´1r&AUj o@L:q)b?/: V)Yzod頥!oe.cŃOǐ8;@q)l7'fѡ^pR׻|AEohд%7 JN?2PnY',({v:W:VL6-QLH4ozŀǿ B?8h̯`418m5B%>I|eUH3k]~K7%Zt ,`Yr,Q tT8 ՐdQuYl/Ƃtf(jbP [B_=;9KAwW,XQ&y M[B;]&˯%ܱض| I>A?̃p NsewU6,勒}د"uТzZK7-w׭m^YZm^iM ,`gt} /ٞJV(&6us6z-:%lXJ9Ns22f`O]sVXg1#Ԏ?}#ȅX<1:jRcV\Y%Yزoxk9)"xXY6iNPZ[T0 @@`C>()PǍAb 4X-;/,\^#Oϊ"~v  B&`jvu(=+}lё"CمFAbeՄYIӭ+/qVr7j}1)D.W>٪(dǺТOD~}_W6 /AkjRu{U._ջem-B5MbrdgMn8 꾨-JL e(y)(!N7 /6R*옚i AZFj*RZTh0Fa<ӺsA+ߪSBm'N+H](s$EI){/LP U.˚A-#6Bw (J{={}M!/hw?uHRGK0ƺ'S r4rjFoN";s.GM6}Oڑ4=FMkLJi| TgW9뫇YŸ3Iuܬ\*&-'5&ڪT0`Pjz} QOz}^6Cǜ[.dDG6\M}V+AAL=me0eB7[w3gfVlدz147oDAgtNv]F([BƆqB [6#) FioDA9Rk[E2Рms]ר`\ָdL0CPSfĈ5%CV!nEh׋UvdEh@c|;qA,/vdž|<$M̾:I; Gk¨Z*ลK1N)+-A;ꋙH¯Kt#M ѬmGYv]!ʋB,+!6 ùGb~jn/X%QPƳɑC蹍φ%8&D'w]SM:ܚɸjHXz.)"oOr}'kQůӫ?s k/oۇ]"3";gرQ ^K`jk};7<8N`π)V]YI7V4`y@b!8:fӆ%:nkM|[ӑrqT{vC.{ۧfv*krK g"4s4W^ xxܴLͥTt7yڋN)ŵo9ܥcnj4+$ӹ=tMt3lGIO.rs8vṃE$4lGFkq!d=k^@}˶b.ZG0{nl׹`zz E7olB:#ƛK6kn˾] 6`q%HJm e{c*a֐~Ғ_wAuDf౲~zrĐrp"S(r_NuaCvՇLGOMR8qa8[QPl^$g1?cD#?nZED>!%ء\s;=Xt\ժ@sUU$걖JnԚy.jEgO?>$0*&}>׿Of$d]IE7 oͺ:VmS(b=] _aӐYU0jb0 Wߵ~u"MAn +8>?{ت y0AQ-a]0Ncd$#cލ(xMQ.R#L?  ma )i>6=22 %q{-@}Ϳ[gZz%Ƭ[nxYB̥OyՄ\Cw.t/W֯\PH&{Pᭁre_**4d3ewXY5CֈfѪsK[F˽oT}_gg  9U تڌےjx "KW**l$ڎEhQ,YoshFn&𽜁Tś"g<ʋhv=۳x@XA n\.p?;?C=X@ Ѩm[##;m6gJ<Ӧ?e4g]~aX]egB SE6( ſ4"qЂ'iT=Gj*a>YlP6  M|#%*x|3͢LQZ)/(u҇'laFku;põX?Ass$鿎cI"D~YAȌGW]֙w"J̐#T}8E9-N!D3pk{|1nx?6kC8(0Ȏ=K\"'ZMp7e3kۨH.8դJ>&ϯ(TS=tţ7k>-`Lyd9ULOٿjVgQE/Kgrj&|yUɲQ$,wA]Gmi.al/%7z7 =# J&;b[`I"SR@OX^k؁##U؈mݬbbixehIYN"e.*J'~8y!@gM.أߴ\nC ߅_ $F'˲c }3()ttA] \WSzs" uo=.igX@*e;SZzζZ& H\{#qE,Ȯ6>2@~ _MtcɤD;.YIR`"zd$c q ?\?Ǻ=f.O$g(rL?d\Wۏ)rzn\BRxL R|}zr J6F_su{(6!%K(%KR0|]ش{$DZ T$E`5T˗Gt?#fzܿ8?y"F\) @Zs)6]\i K74゙Ã16VYc@{|nɜo%rvĠ^7jRK$މ0>GQT|xH&]yϺ S2A8+TQ,cl,B*bdo ÿ +m*CoOK%9/Pv no O<rZS&N3nq^ PO%TӾW0c8:8YA (4U;VZ&\z!\-Lrk.}PZHa|izC˛l CpevnLd0dd"D4 fu|y9֒n~z旊1[?#Z{^nPiܚ[Sb~;ө"J?+9iG Ii"1-^ ֶ)ۯH^-}R*E|8(>EȹSaGv'ÀP0@Ƶpmyâpg=38BZsE}d +Uobdui؂72h?o>&&!ΙqwȞFN-tMbJBM>Мm,3ύ2WGH@n <{w4:󘳸 {eepX(ٳ7p[@E\!w r?0ucICN4Ώl]\^s5kQ6wZ?טE<%4tP+*\ĸ#iFYHJ?܊ڼVɟ:,io&v_^2lU+J46Ġӹ:Z PTґ% X&1D=HP w TaX Sk hاm‹l,'Dm:A(@ pBl/ xW4ōoǹxE\&VmbyU>0=c TraSTxާKʠ#i@B.=Pҵqykxµ#*K@̼j S0BHF2\Rz6u$~bLxuQs^&s3&jK? '+/_~&j\!!=ݔytoN4ܺ%!D? #o(ƭj?+;Rސ\ǚ#&7>!a5K9OM,Uq8 pazi%axi^&C$ÿ_ۓbuI/9l{psN"a{!J\wiH~9o Y݌v7DkVvDcU1nl&ymW$ؐH튍 0kMWc3TMoTv,B K~P1:9 ˏ&Dx J]E,3XK=@8?+].)W2@G'ի15ɻАrDͪD5l^$JL)Uoƶ {b:P,QlNexKXX#t;m<#"=K-g?;#H9Y͗m4)F6=S Ĩ7up98Oϵ3O ;'geHƫ~ L^=Z߇H)N+jorK.×&jT}-]+٨z 4zGm%ZlgUsk\e3pN^&m,ӊJW?B5brXsq61woZQ/³Co_ѯn[^mnwZ&n\q)_xVr/"Em֮72*]8mFOriyplVMB[>1#Dw7u~v&E#jju"?`1ttW48s;w_C@r^Oc"br9 zd>UK9XSRZ ej_1|Dd/-r:<+;ʦq}5 ]H<+BLz8;rذې.#Мa}­RĶF&%|%',.ڥm+s-{.|ӛDғܧ!;AFsOsތJ#D"{xRI75B| )dA gk%Oe{/e $dOTk@d;R"\cu@_!x,w2t*'U0uWYQRFM,CuS`su{(xg< ϜUc脲'xk^ӜzSJ:,AGnGC!( TO&A1]D_CRWOLr\q/+PL|]wzlŐm{f?"?AjTkCJyQYxg}q{np;qba\62Oz}hJ< ɾm%*&CA**Ρ(`O-Tk\1!׷Ko4\ jtO \ɴ^UQx:.9j ܞ0]s ɃG79N_ okFP;' #tC%:aWu;ڎ Z0Kk4o4 .,cfIJӋ"oaj"_Bt5O<WԄ0VMN]4]'pԀ%} /ͧyl8׾kE`Y2'Lns֬# #> FpxILX#cv$Z?v T&$tO{!\ 3bc$!?A ]wuQ,^vVcF8-Į+XMbaYA40bJ!|F$M~1$l3-Ր߳Giqyy#PG#-<^Su(i^X8Ůma;MbLV1qN{-ߖ0塑WBO׃b$]Ig~Hqr+)Yh 暨gxQ]jl/v/~Y ԹA;"0:,ez!7c0gM0bʞ ~I֫$>hV<. B" U"cNq-,4ҭt\#u~0ӗs|鱻&&1稣Jv vx]:Lp(d"DIXwJ^k6Q .ILJ-R? _+S H"Ģvu9lΒ5[XQBD/d6 Ľ8axhZon#4eUg_㘯MfPG <{j <|.! =K2/Rzw:!WDlӓ誦ґ4k|c?59lҞ$- _OKY4 v{*Cr43:QrjDfyip#/â'`76϶5=n k :ŜO0tEnq:odIJlp)uQEх >c 4D2'LT'/*/i+:dBpJC'~+T 6}8eFJEw r|ُF+3-Z_;Z-NE3gNn߲;D43/b9L~ؘkoѥ<5Vnd8(30ĽpK(j ~_3w΃?dE' YV'[U:a m_-pBt xqZɏ{V$ͣ4 I,×\þeD~>xxX0bpIW)Ŧ~#}iʏ -JiiB/4eBü_%BsCKߵ5ƧtEq6ѐ1a;LpET& ־IܰK89VsnjݸR'ސZu ؖ3r 8pմx pt<L!ځ m$.xwa4Vhϖ4^)r6g1(LK87M32gux/f-e=Fś~(^orX_mϏfmn)bޠ-cvJ5JBf(+%sf>MB{*NYQQijug_q'SsBHH΁ֱz>XE ,@/KgN(R߯1 eW bʒ9`m B(dOnF@_цVl~V2OEoqDԊ TqH:f?`b=hʌIua( YŽ 2wiϼ?莖 BCdFm0-T`ĀyAylaqu;G%^1nv !Ōò_,$]Lƾ ) T$%B]jr( UE,q)N7{lFSRB۾V9I{1K6+jͭ[cP+a 3.r({oKMSkiBBJu! O95}^MCNJ^cĞz> Ls`Ez5Ȭǐ.~b4u0.4B_Lt)|w'įq, 0Kr{3ܝ:|ɂ|$vMgL/7#P}Tsq}l\1$@G])QI\=Bl?48}8nD(8OE=p)%[J YYfS!T9N%Օ qY]WM[L׹utFf0zSeH ^wMj䊣鹳itB yv ɅMO~/ O WjNĒ:G3tv0hn+Ψ >Z τr׈tUzdm *=*9ۥ=B=JBzQZGϺSQKI# ֲ0_?$'P^W .Vitn3 QgcJ ;y E`6ˆ0j=6"olm4{w@J\͋yp|4 t_LwaL"h&e7#$ndω7ӋGV9^qmxΔ7?:\$C/sԉ599Ξ%Z ,& ZPEL]7dg6Y [5 o<~ PTlL52#9{cAWV&=cҼk#I&Ii9kVhOnq<  HXjϙ{ٴoNҝ 69 @tgǍ-RE ď S3s?{H -7W4/Tq"iI4=Ť0@#Ѓ$ݼ|;UF7.2kkhi^6$s7E=#8c{_Ue?i=~ݿ#x^J:AE0[_lC0Ҍ{gb+/ӷ_Kt a4t&ue8Dpc D 5Τ#]uӭ;ßoۡ;K `EPx(z,qWkveU, )4+]iRdGuyt Փ5\t`<Ωs$r|f`(kE|*JX#yy,SO^8nGLi _Z)~+p9 sPv6~2+_R⁄E8NN&.Za" 5sDVHh3+̔iy(@cāȨrU8vã.3|~U"~ Pi#mga]&2LWD ̟dzrTm![c p²jcC-ӡS[T`࡝U?^ֵپ*^E"F9Ĩfh朜ʗ{zi!JrK'X\='yZz]h+N_\ ȩY]TոZ,[#w On{^G(ԌgH`uu$|t$tk3Q5~AHfÌ#f7V9駅_G8 ^=GAXUSkw3z}4e; c=~ UhTa߫Y$2D\A?Puū%"7YuuTku&w/1KY[\FMk%ӑ;uP+X_XTڊ exmɍ"hfT PN(Kj@؎_(hdz 0lRK(#'{C<)3ω!t,LLV>j[[!!Ϫ,\ p-vlqNZ nM,$Q*szQF7gDr (с"@j=vVhGHxM0 'NZN?b~+]lLl4ـ1K[İyzldީ<gR]gڰԓ3Bx.m7e{~.u?6 (pi#P w9ހ-Sn8X|\&-"֏-.U!=[w}kwΗ5:N*"gy"4mK1}7pt;2r9ތR"*kB\r(mS=LN@LqEs8)ZzH!Y(s7LndSItG5EM2` HcU1`hv5A*X)eHQɏ? m"PCXm|rk,7Rmodzؘڽ!8ˑ!9k3`-62:0J3@+uC9XsZZ5dybGZ r!Od#{DLmqiX\V4ICklt-L] Fh\mC`?w^:0¤;L,[2PV8 7 T1ׁ `t=WM ?#z ZrΓ;UD+v̓3Ὤ$pANlWV|d۠TroHS!}+`j#-zJui hB؂dځ|Oe0 [&f(h-@eZ>Z>EQ~p*Eg)) f2?'bS49Eqxab#T+Ыh{]Ol C]uBeĽG9!f #fvvEY%a<9cdvneKm\N:X~rhpmv TK1q<&CA2NV' pɽ,o*Gغ_ZTg{`)]$7=O5Wy@ȷ yȤ2̩NI\X|6rȲ37>d,uiP,/b9vHf hK){bȤHKK)Ttd80&G1ra:2 cbC~=5s}Jqs>SVpI ~Z5+SB2JޤAR\yWE7fdUP, Cu5X]9v|tI򗋰SAAڠK u wfJKC&\?%zā!fR J[B<3V#Xк?R4m|XE=PBKP^ޥGҳqSf'0%:gOM,#>$}%$q%`08>vr4b_VxNg{AwqZx&u7/ω[Oݔ2l᥮Gq=K5djo4zL(e%":쒘MsQ? ch 񞴈-%Ό7# )z4(m >@3G .$5 s,9ؠl5^[2$p9Q~x? fh<,{/a#3cԽ ,^_K%1J/ YDReSdzU^zHE%ud4̖ݏm[~-HTg &>zW@ۿ|Ыtg|X7)[Co8#'Is䵐F$ 2/g#j E@כԛ.o1$^kNwq*} |Lǁv}'&Eˇ/P67U5}ԗwT1&wHp\?ɋ!"{$rLo)zB«y;(1РZ11 n%/۝Y}!ཤv`F h=mk:j5u/Ԍ meOo[يEoe^$sES$lTUH~UX ݭM n) 2Dfo):ZVjR%s^aKҰ,;|(?<+&27U[ۖ< CJQGO6PTphvN&_a³c+xMnޯoG )j, _(O:?K&Bdz;ۦ@2@Uۯ{p_$NSn3'kDb/U ,OIz1aMYGb <Ƴd) /iۭCJH8g|62.yF^ 0>iؔ< 1c3-H +5Սće7 PU DEːP1-(D @;ؽ۳BN+0dI  a&zR+/ Kᾶa 󥕑EY67y0ɘ݆G~UR \8\n|:A {9Eezcm땷8iO0Rc]F$y7 yP4൞4{?05HO[NNY" GD_㌂ƬE3F][G>U~#u%7ٔiKw+8ʻE&QrDž޽BA0Z[cj?x؍mog \]sHA2{˓uL^DS[f JOME,a~ )ٽnzCB%nCN}ֹ#->^~“x, ~ut{_y!Q(jfh0CGggH/c-e,Ic*2g!ʃgce$Ov7B[_Kmy[ gHt u@燦gŻyu{KV:şٽFi vZ]p;cA+_fh#sy^; ,LHGߥ}u:orK\+ydkrP?@A8RWRxoҜ_T> P07x5"dFog'D<,EH&Ҫɪf҈U?=QF}3H>F^\C .(6lhZ#Q[F"+ɿ&[# !>v(hf !18 9مBDZDpW(^ XurPT9nnj||[XOMnߞyS;RƿiY|=lkKVġz an9B4DyJq.#pGP-cqO]HWC\ kWaLH.<觿ע\XIw cZ#(%i pdz?6 dq_hʴmh7F~ UC0ԓE0a魈0Ԝ(4 W_!)N!O{<#8>J!#W#Z _7K2yL.fK\\dx;Cr|{<FL "/)_le֜+`,>(Y]2_*\0acUrWiUkZw= ` q{Um{cLй: g$P>ozd@h otg3!ޞH:_EHKdH[jmE\7:(" rYMgiw#mgyaڐЌw1X9 K򝠓!ʜ 9_'@WNL 3%QkYO jp!6H7ltF<s3qfZ;$lWۊo9UΣ?i]żiˌ0#W{75{@`HRLH-ړӟZSRԐ]/ /jز y ӡŽ>;D4Ӌ%:m)R({lTVkϷY\p^ %9Sٞ40r4 B˭qŚ~A&^,ڭ.7_ܿm4CT>A ^Y{J> Ёn[}h|*b^ _!% '=6ز ÒM\0DvrCp7"Gel>Ǘ# u 8?acmثk=b#|A~ g`( DՕ˚r 3?r,f'}Cp=&B<U9}VKÜP&B{束3+/l3C<\ح_aէ&L*l4} p G,R?9I3TVlN_@ޫt ;jo,v^"/n|2Se=kNaFqU  X6l<뇞yZ_yW &Wτ52 i!3[8pKXN!2QN =']ՙA^󮞁@O(tqq#Im >l]f_nT7K5QQP`՟@xGs /&Peߓ0|`fcu7YI@!\+47 ̝ҁWho";S8HCѕJvbkSyU_UpN9WUL]@g;@7ט*'`ڢn&6\X}RzZ}/ǹDt}5b`zqYіbu -4\C-l!R~X|GUv耱5C5;Q:KuXW ryEHts֎R[lR9$?)M0ͷ ,: $E@|c=0LW AZ\u<< aK0x1{$ztGIYҽH\S u0gGlD4SgѯPT= B J3'kweZ/{:'o̩Saj,igu6GJ|A_k,C)iH%註gL}`ΈwHH!qkb-Cꗏ#ձ̞HeĈ́͵4=Eu8w巐YOW&uG' J6H/KmBeNeaZzŋI 8n|+\'6ۣzL}/sLjFc#Gp2cgR)jxU&ZU'6wOF;8/s$4%ƲyK_FOvg *?k_0DmNb< k?ݹA\ܮ-C6א-z2/E *a7=G_F.T0Gi%(N{1Xszr?{I m;ҒJ(oK"2U)ċU53ͶbzXP^/nA!0=vlk)ۀ.\9÷_94s+k_I|Xe.0v1yV,Qk|PO䷩kEUIn\r,ﵥ]uŽi):(xvp)M8K:jWuvƚNC̤9AYA`4x5p`V^98_mY?`D0\,j="^$DZ >jTe?m{i&#dENe{"tҕ 9F ¿J D:U0&2uАj7F,?hrSVA{c<,s@Q2JenحHȻ/6ha8s2,تĢ]gV[@)Yoe׼ͪr政sEtzbl%1Z}];yKϟ;TWezE> ye=C74\S>@&jkFi;~R̆3*VD%h:^5|VPW H3#C?4aE-f~Q,4V Q752IZi`oC>jDϓ*"8uH”s9}z2V ɗ%B)p R}Q$:- 4> Xm-׵ Je鐆np-b>cSFlw#!x7-rql% -`6eIeOXfp, +DgvX1= I,Ɔ 1ěљz4;E`l`X"M˺gA-v+0(7R;\ x ey'ihb@@_.;os*X(RaHjϜ4ş=[˚q򁂋+_ R\*I Z MP se]::]0?+N 8T,]$q\.kaa> ?Dp^6A%@>Qv}Sd1Ae2T^c1 C]ǸHϐ8*h %HZր1&Y8Z̟J-z'tu ]Wb򐁼+ 1Sp6.`M@4w<[nN"&ۻuİ8>2ȫZ#y]mĞ?65}1jjlʋښw~\Mv.@XB0c/FO'I_Hݐy+ڵ_ZׂmYA!LqNLY!yW xSBW*lؠ1|csFO]n)={x u7=f' "Bv,†s#v]+i%6%[Pc ;1(B&INlΝW)[\ !dP? }G ct^>>Qҏx\X)Y[3J6ܿ-T2iq֊$gE}|^F)Lȏu!ߨ; W 3m*2'znV%. [BtC8z!gfE_69s/Qd-kzfx/74́, %` "/_7' l:X|$X[o^Ϯ.n\ǮčM.v&'U9glqoѦ͈j-pMg;~| Ա-+S9 o'Z:cX3?1 _m>Da2sg0کq30-33JF,vv8#W➸-]dLs#-;Slh%L?sKXĨCl9|}ˮ.s+ƩB![:}NDУywsHcu m a]N]&ъ7V(N&vt+WNۤdae7=wGJ O u:ppzQUڮj~:Rp{[=O:z+q7RM򇲂\ U2t x_PψzbUc9B> MHyO^Eڨ17@Iq)E^2잹h^ѻa>Fn]%y뀋/3ha<>MFQV"XW}eNBb|7s(UXEλ P 0vE1l *j~'^U8:W`s /؈!݈a ޗhCU4[#р^cH,n_bs%Lx."aR'6"ov+t`p(h-,fI7T<a"~rd4F[%gTags? ɍ"$9꿰5>..4G%Z cIj!B6='쳱̀49?X>!ȺcpK'Y oO@_N1Ӣ2״Bd7|A~:c(,ќM˵Oްo_qVB|I1*X aU9?+A5ံ27Aj-@P|^-E"ڰ<¤Vs@wA}tŚúۅQbqH+5WW'w6u 2"iLz6i)H/+* l~n-aBdygxu>K)ne&,&_6OsS :?'ZP=Y"#\Xj#OZU ;a`YmOpO{ \$2(-q $qTܼ[{Cvo0}Š] ?=KK%Lrʾl\#Y3Ap!U 7  >.c$9y` j~3>nl/HmeyiR2uRn5@0֓YC  q&4d n&"L]\xexض<˅V9]tRd"(@o%!Qt;5N`2&K{F_`y7U&Yٮ؊JCYPM"ąI[72'[s̈v9{"{Ho2m]_ UʫiOOdX ȗ@i`"-'ՊE5 R{[)YxnM–~Hv$pnλju 1/p~%`hkM/vp#8x9Mtߺ@X]%GÒy㳖9\mN>V82^18Ͼ.YbB9(UsXGMYX%Azia{#Mvj J:RfZW*q0~7;l΃HRw*3i`KS23/`2)̝4No rZ&m 2\' EΟp66p8 .YEgdOR ׵j'1k1E~X2C Cbetծ\U6C$DGBel=%De '&C2f s8u^T'v  jTjݤL$6d!E[1`NIрS ~[Q$+&/c\H>bj}}[4VDM|"0 }5M wu=~bݺ\(Kg[Rнk5U[R1z3kh9Sg-^&p!,у#Bǔ=V"= HSyZ?7NhaېR)qSgv+%]D<oq)&vP̟Ž˙:΁_aS]]4jA('V`D%~֩!ؽ-q|Db5stb V@o7U#"ע`\2@"QS'Irov2F;Q&?,,廑w Ќ\ +gI f؁: KdS,";+G^ӈ#n:E Λ-zsv5\d;K @{5HR4in4RlnF㤻xCց U iO6궈~i@o\D8}cp4#Tn@ .e(KsQro_~P,O"aGY)2;s5sl3 Y,kmkx퐟T4DUEOgYZ00373f1096635d47f99703056d4932b2c263cfc2 07288005b47a45c684a99fc2a9ef65cb0ab5644a 0738907043d9448f60212f4ef776b0ad444ac916 099379e03c73848cffd2ebcbb3dc99825b1fbed8 1150e2a28f4eb1fd6cac72c79f65460e7cb70e62 1265cfd725a7f4545a68bf17af11dbb36dbfa2b9 14c612156aed91f8e723f97d0d9caef66bb1cc1a 17d6ba1af215abfc9a7e0d72775e791f997784cc 27c09e83c0adcd57e9417ab1126e36cdd96f0c8d 2aebe1099077b35e9e774b3e59a41196f81f29e2 344ec78dcdbe4ebb7fc6e1845889a17f7ce3f03f 5235ce6aab6def25d3666bf61341c40d04014e89 59e3f3187d6e1edf94ca88092c59ca9044f40ba3 61d13f390a9a8d1e31ba2f9695654fca769788ec 6aa71802aa95e11ee72860ac813f7635fb95e7e5 72654f471bf8124e48bd6115516cd18655ca2033 8509601f43230645e69af81205b9dae4ebcefe25 859a0a8c3226ce4c9e95670976735845ca0b8d8a 88abe6a90bcbf4223515fa5d0bea9bd11681d328 89548541d85dbd39bc42c04ca2e2b06eab0af27c 8c3186780427ce1155750a6e7dadb77cfef8adf8 8cc47b744beb3fdddf2f517591082a7a94f3c23e 8d0acc8f2f6d6274886409e4fc4e27d51e792d93 a07055f2fb48bb9ed75b82681cd6701c235d6918 b27e8549c94575a704e4138ae768f609ece9a3ed b9692c173c620ab74dcddab64d2d105e21b9f42b be0b3346a4d8e6784f2051620536f3169c392da8 c3e6ead939a35a30532df747de054efb084d3245 c8a7676335b10fa1ed54f187767a3fb2fec547dd d051334d5bce52e784fbaf69b41b2bcfa686d54e e0516334a3db6388cee0f6435546b6c827bc9afb e06cb36c47e33f0e8b8f70518d19fba59a0e5177 e5da68d0133bcb57ad77edd85385ed2062b6cdd2 e8fa1069e98b103d20da55ca173f29b0a315d03c e99c9d3ac85e924fbbd540240817aa6123a13bfd ec404475baf2e7d72f22669aacf221ea464457c0 fc8203de16c61c092238a1d5eb780b1e7d4d11d3e4688efe0911f3c4685119d2413b25847e9bdff2 e62d7733884c28c7fb0a292b7be70c4f22bfd1a3 e6f699f9602302a36e4385981d2a9148d31678b2 c2ad3ebabae22f00fdd3b6e0193f077e5f59267919d3d2d3c7f9c19f3d196df94e6d3253665786c4