SQLite format 3@ +- 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 ,,,+,\ k]HOL-Probability:threads=2elapsed=193.870cpu=309.888gc=10.256factor=1.607zXZִF! o]ŗXf1-q恈͐7ӺV ;Dg[ o83LͯC@!QH3Y1@[D[D")JυQC`ʯ䰗bjON a_6P;㬀}`sH{aA'p[gvhTl%H.c_h2(Y3:gETmПa0j>^0qOm{[_/HeWطZ|,RCHgeyVL|fƐ;ynlt6"I|bO+V hISQjv$ E8#u{ Ac"l hei-y~s| c'1>77ە/$DCH!]Ȕ5kk7uGmUz?\z,:_v'8zkdWfJevQI۫;;KBaX/N!=}Ytɐ (o2mF})+d͒Qtp_2I`M`ќ5AO @ LspBHpatnCrO[eOKW79o(+ (.7 rY^i~sA (/f80ߪEդ5{/ ;O$Ȗ3#,$u81lJ3ݲbaO56',0؉ MpE^=|:{pN'DʙL.Wn W[{o/fIJXWKj)3y]9 e!Bc< -{n1KxLJc"H:EDyւ0+.abbzxisyk^%F%mv[#8"/EpD;<U]!`?bРC+P^}ku#/ϖnџglk -:cbd_icțRͱrFRL (MP" :) ()oROJ*l9[s/ a.-+Тd;er_昩=y1>vFf3"$8R\ tB^6S-\)*3S e:YI)uab,ƱZ98LaPw8Q4SB<9oY K{F$iHN,ysEw z[DaA1եbIm^\xc=2+\'CL *9Wpz#-ʽӒ@ÑȃK܊t,:l]-w=.j6h%x G&OSsp~[tnǏ)2᏶^U;#6lf掸 z!Ehɀͦ"t)#יеĩlAgmleH m,:Q!~B> ^"}qV)ؕtY ~KG8{ D4:WU",OYk#f1@\  9=t@'JT*HAMvL6 2Q|\\0[Uk4 T|z3(sCy"ͳFhTn"|eT(kb ^Z,Xx0mG0&/ł -  T_'璃_|ˤ3,7ID7W7xyoy/mSh2>a !S{QQV辸n U&Je*h؂~/CYmw#Q`3Z2ii;H{'3ǽp!рZ4zr[>HO$$((g12KMZ!ƐII!qwΒ#a>gAףX,xz]zQMN91FQAJ=we{lvzi~buDIEY5Q472WU3Ynyyy R p+D vBg/u*V`gl|lk'K0i1\PA6GrZeBS^x)iCi_#܂_S"ޖy>{DOHi`dV;4&4I!$,"^<0" .dz"^=On (9˝Y쭝jR\wǥSG>sÄT+X>yiV8DvwM4Ud{S\ìz1nTt2u? NϢ !JV>:V5GNصehD62ķh~tJag[vOyEV>cJ˴ HJ0[OW $@6`e6q<伩Q;nf%&P~;[j[ބmAgCZWQ%[z:7xW_D[H^Unw^DĴ%47j4R\O4/^.-x`S$GgNY~KyA V`\:rH)fe {0"ʰ:ʣExqG */p =6.AaF)%(8shz=~s[֪ӱ=naFvzr02@Rq ;OVqWZ*+ɶ⚩~֡.N$ \0, "v(2_mxq|pcsZ#bhQITKâ,ir1H/^Yi|7mM iB)"}3Es'rELS r2Ǖ/CcQd3"Dj ElȂ><-oXm?#DJD @WLu_H@xO$k/Ӏ@qzyT9T{ 2![*w{UϵN/`,jyٱ=o Hlb>񤰙>ULD[LȜM]:muYEkgı(o}_ [0CݿM*0{Э33 E~P3lx0F8QN;{2ob$kz8Bof1%ԌM>ڲS5Sr͎ FIF>2m K Ύt\ʉGj x[M٧=N_Sl({2m闱 d >g!5Wl6$X٩"Z~m$ :r2E#WĀ'iS䲾GhC÷˨#=&ڋWzocL>QleŲL\C+4_hϦ{)sNqPԸ&} \yQі/I3G0[η-,{{/l"U3UgȟH]ꦴ^3^&J\PV3elfj&[c%3gqzU#dҮGa\ %Zx16:lCtt9_zg$cփ~vK&\߳z嘤tr=qFhZ`7+nhZ8Y'-a:Khx{7J몝eq$B**m=:7VHj[Ҕuyx-- ִw 0InoTWl_\Ff zQalQ>wy\ԘFAL ƜwZr_)|LbenW g83~vTN;̥քjIRwA0յBC{4NlAt%"LIb] N^.u`MزcrTuT (,NEܖf9ثٰb @eZOu,__+3SLC*yWj;&z\ֈkG ܦOߓptNv#Tphܗ[EZY$zs%̋JL:FP #/ɒ`Ző^HT.¯*< V]-Lw RڵNTYKJHlJG%*^`!0XtsH8j_J~wBgSГ:׾ Ieb{|;tXbO>QD]3:3±-vl> :C7`O9gu"$b4C3ԙ+í>P<qi(ϕA 4ɵ3re|m9WźMhXemQV0B˩ɿ! G$O <__{:0`'y^,ъ7->dQԐ#;: SSBу;?͞(]!~4!'~V=7e,E-yZ*?׆eJ;RU([Fh"%.Qoznxog0%S_Oj'Cnz$ "ĚJthl*t>I'ȖjDp;ӭ056朗wZȎ=%N)UɂQLZŘ83cs¾ey? 0^B%UN`F=Aj ȎYJ|06rzx=Zm3[NMP:нZ17>-+pG::&0GQ5] mQQ-~ޕ%'x]׋FanJjKu/d;hdqj4:ƴe#1;:ޭ6lzt*r.-b2|DJ_-*Z4/w,; m@ts5W:Q Ti3]5AMsn]+e+sWa5iKz%춸Q%%Ͼ]6rԄAo|oxڔalIks"~AmW v9R̖+e恓~XB=0PAԎ 3֯Fq8PhBt6Uyz_oqf4?Z,ҨGcN-Hu j2 m?F% b*-;:|ޏ#Rn, #ɩ.yJ&.G#(G)G@0mͧO mX*u>syy݈vtFY:^=j|'Wt b@jA N݊++KY 6R^f C|N*fhE\nإwP`ŽvkrpSGEeECxco4 tzgNgLDNYɭ2(Lm{;I DD>Vݏl5-|A&HDp$Lx *HH x~[?a8%XzJܭGf\B2mn*-Tޕ.#aS4M*/qXilv6]9%T./mTl&;Ҝ]p>$.*'MXsq\*5<yIuŏ~rͦij;5=En. NPޅf~o|UA'`E9:ZlWW=79COpGRmՔjo7A7L$:x*~z6t,un̝}e#=`w9j*n9XX?AAUC&7Vw,uĿp\Ga߽f?$t.t!1=?fG2K)A֤Ga~5]"y?xuWT2"dxP/tיgY^tvГoHܻ18wP|cc1IyA H:}˞$CfwᲶ$ AK>I&?3ݏkK*=8:,;kupǓvVЕR%r-l FH&W`)!zs 2]aNT4tB7O ^#e9bBGT@*$mu[8#nWjgwぁ\Ud0MqيbQpU ֏rSQ mW. xxPF $tbDiK8.~g8,쟟4&bC0!4XVDqgtX:?=љ$rm̨2՟Zu#^ں(Ci/H:cy&^##xM{(sO7A?TÓ*(Fo_Ք({B`WVDwhYUg2ovӼ?T*Eh{U]w1qtS|GRaa7b>_b4>tIbkgP1a9j0É1Lȑ(村F`mOśy"ہO"˫ |/K Ѥ|Mdo2$Yêps&6XT#7 8pV}*]u=S¾Jՠ'4B)XI;?;0/m'm}筓6"]~BCcc, ĶQ7ֿZ/{d;b6@clW4Y_ '(ڱJ,'%Lc*ucfN[*fuPy3"aP?3fzjGq^-b@@SpESv8P> =s;a`$8V ךNc\6ܽ1] 0x sp'(>t HkUZX9Z:X4;X!]lOӀ Jel$WݜAu Bmz.(z^b?Π>Zc-Pjrɯ;p2^RmY || \7M ¢ҫ6>(O| &ICQ)Weģu7砊pI o`GRԓzMbfip@ˠ]jw2fNF*[rzn;OS PUOF/&DR$ 4v Z~Z+Bf!MtzE ^s({cHESSF8/&BpJ$R W2Kۛ=dTO*x h!yHP{4Y/Ό@2鯈˃~UF >`VSӴev%͍l{RbD(a+WV,FfbP4#p=sFwl hOΑI>4QǑuBhAh0$0,="} -^K"iISbӢK'}ӣg;qbgMXZ&7o6Za/u3/Ugdz9l,[y+CqX~Z4@Mz: `,G??FC :H]-X _pKm;᷄U6,?zi4iɋꍱl ͙Wib@kY&;rG.' OK2dk%Q˟̃8GRfvk<;A0pz<ѢNy"KˑyiSJ\g-=Jj)(ȏ~Lµy1&Z43:X/3pholj\.-RTPsD0J7E}j+Aiz7U1+U :PQs`dNo&SnQ:5 Ht 8]tNw%ַhSety&ȇ w|3 @XތIafqP0KD7 V` 4fA49tG{${&[@,+ Ez2nIXШW+ۦu~35Ǧu}jێ|#.JdSwL]@k'f Όݎ,Ob9(yuTI9`doT:(4P }=\Jixp:y Ph_2LaB1Rz2Wxez)ESG^HF ]/98=_Nf\Hg/v+ 27@^# +甪5`'wf J⣳B5ݖ!G,ĹH3V0 3\qG!C [qcew Ѻԉ"j.ozQ%wLCLTϾc@d|u+T;_itxOVр %Kscou, ;FoY#JRW\NMDݿ]}&G467L\Jh V5,w_ICotABu7c0~NиCyf[AMi ^{$QOʸK>/etU+uу,I`iZ<@T\Bըݘ`:S]cw FI³"˒.]݆:a`ۈ(LJ:@^eb,EY'hng%߯MBsziV0*yw+(̌֠mxD{JL683B% r_/RVSHY"Bk,w=V|t+ ֙u*MUN;{nR85@/#oH#ꢊtitS5k( ?v[e[ڻ˅14,)N_U8[ͪQęȲRc@EN33M5V(s_י z(M@ˇi;NԨD9]&&!;vFg̠z'(5*u^:=J0 [4u~H86o!9:F{`y{ۡ@MX,?ܐ'M#mtAbͧcC׀Dma<1A %mpgN&.2.`-UAhNiz_l D u9"` E& Q$-R%\rreP4ͳN˪J2H^?7{b憑 ;'kCfȞav*Po(; (uqJرPZ7մgs:dIg.C?`T-,1T2ur̜q DV: (òU;Sןd&<4ʺo+^!HCk@M-^X|U >OwNvȧ{oZRGí-vNDw {,6՛b:I ^؝*Ƙ&𿎥šv](Zݐ&KAiVF+_I08f;ŸŊClաU/A]":cBrjR$Vf4RK˙BPy׭2dVάk?D =JZ2Q 90/pYmoD_ `^yG]l1bߖ5.a挞sq@ 4>*y5ՌFz98xɎ&sL cjτ3 -z2,cbC08Dǔ_l63O|^TɻJLTfN?"@VltRg]i7vxwh }淆N[E/NNoS0 Gj(&Gl#=ZX!钨> zr0%Tܾ>[2LSrrQ?%iۭ2:KVYvkfX1"] /wC 哓 k+'b\P:Bl)A}ݬEi[A1IT=}e!us9~˻u,ԫ$31X]Ku=AB,w3C JNhS4+\[;zC'>v֣AvV&]wF~_THlXtג "# ?>$^ݹ| +FuYJ;;q=?$IO"sXt2jn _ F4 *4*3h;4c`k DwԙQ'"a?XZŀtP\V'ޭH[#{s 9ϭF_ђJZIdls0ćL8kkYGEM0қ癦"ϟ(U>X*DU׽;/Bt}w5]~D,}<֞lÝzrB\@]ZWIt FO/-rF@SǤLjo$Fw3Ggwyi-f5"bFQ =rmXFYo ׄ7I^(sm vM`EcʯK$sw/X:dZ["<4쮩mp2B9 q@';()/\n: ۽ф}^gw$.L(-,)%sRoֵ*<擢$,CVf'`-W+Vgxp3NB0.'EĔ'S+vUyKZG8u3JL`3klFV1Uo*հ(d81ngS7ݯ5Or P;x荆ڂ3)6Njk (ԘQ;w]fmZ4r^TM8H38"Ve y-J,TWYXQ Ц|^[Hl[XH=t5%-PFIQ+p-t0_SfþՇ7lUT6[+;2 z!M a~U5z.bQ^኏,1/!K~,(JK^#uZ=$#/b0*xZa&Ę:teJH+ʇvdm'-$>)42Ϗ=mv6螐V8%&7(]f^d4Zvi+!NB;cd)?JQEL:4T.̓ 2~ #ݙ陃N>DwԮ|9]e sz/7S}=߼TW 'xO}54% B`.`ݥ;QE9R5fϭ)|"y|ֈlIij'XZJ@k}9Vie`}pP&|F7o:Nv?vJϫ/BӋy#mrnL05?B"9k6w1|XhŔ Z͸R7~#б|Hs[p[gE omUH# 6f!r&!CKQ? ';?Hc3mkU?/ѢGB8v!cg&h(i3b Q^S;#󄏴obg|Tv&{ 6H s=~2 ,do{ *\zU b1z\_{NmX@GE`pokXFUe3s44|9P7jVy$$F3yr]8,((UZUeu{y\z$hkvz ĘDž%wA57tBPɜVx==y )O3{%<-ۃ#fY*=9H (q=ޅA7.;0-5b]] Z.RtNNLKwR_~.TT ˓-um^g7o%ٱ"" NU=b^q(IJin71`y93Qt͂ ly&a1k#4%PBaip`,_坱pGbwuc Wps!+v Rެߥn &VD?cn~V_Ym싄`-\E5a$KvzU v/(i<Χ=8G-$д"_#w9olOTSٙ z`7ʁ~X!|G~gSTv^A;'QX.Ut+=*^Ut JAK~ <ϟ鐧'x5wN O=ֻVag\,lҡc?2T86&\]+e>~mkaL٧y-i)*LylELMT {,9cOKsez=Yo`s7.)Ƽ vtlb+07ZĎ *%_W$+OʧkH?/*BDHUgRhv84%z /ڿO;O RQ:z юn.av1\ 3$y3|F{ƉG(UkA'X"#bڍ j;H.O^EoSnR IR#*o YZE{T#׽MդXfl0 ޮKBS a =s9);4|DCYkp6JfqQGٮpů>iſ̂~ZM|c~!,#@%x* Ń9Ґbr :qRγL̝F +"Ta%,)W5!utY'LG?X7>+feń1ŋ7DKuQih}n| WB9XnzMNA 9-?m؀Z[SR6Fۄ CcA<­N*(˸.s[]ہ7L)iz.̻Q`ߛwl:~Zuiቿkr&oi thq%c9 ywECgiPD ZÎ(#ң@/7H U >.*9Um~be,HX`u~~EW 6צQn/oǪl-j@|O=%f!R,^Gs9y} O u eZgMTZ}{]pg昨v mw{XlK"Zsjg Gq5͙j҆s0yj2qf& w$‹rHͩ'was"~0fNSm:3Ͷ-3={)Q ad;/8ǀR95YН aK>Sn/`b~3 r^B<(*߷-)(,=+Ow{p,& 5)x۩;&^)Ng^ Fռȿt=DJaD ^: XL~>rU/[L3<=EYtDddbwȜ ٱ:U:WSED81C똦HD ZUk M/q;"M^ύ fRnmZ.W "%W%C<4?F[i ptxp9j`^QH%|ˈKPLjeLX}ޫDF_̜]m9}\Bj 6+Td 8$paVopX U *P!3^M BaYre\^K# ȡgO_yl*6 =f% AdHxB w2mҩ'\mVkoݐf6ՁXMGpȇ7௥Ѽ85{'7Xu*I;AU;_y ^v9'Eub!."+2_s{)γD7wAM)xpe|6"f>Qfv箶tI&Ti^Z[j C+ c9KDnI&^9u$H78,y=:?x^Ѽ0:dCK>F9hy$|do>G$`WnOKRV%Ufz:GyN3QpG4 #u[#"r5(\5ܿgSb)K)am$f {npKt~ֈ< (or g^Q{eيF;=[{T8G2 BOlēpŗVTB_USќ-GcGƎKgP%Йc*a+Na?q46-Iڕy:G5Oq {EelU5lAx>*r婓1Mi*HIWm=h4OcCS= iݯy8}(q>|ݎ;.BP&Y'ڪ&?3eyۀ ϗ-ALMr ځ 8OzgԲأ#$-!G7jM W2^S{ukAQR0YͺGSxZ4*p`5F\@Aj0=\]d"&D7఻Xml~aKܺN.B׳(h]Y֢!П@I\Jd9yQ5K@NW;[$:yt6I*K5"V|{sJ:"<_kQBemŹ2mI8ڎ m}ip+e\g{,.QN#X™AAٖKșʱ#}52dqg(0HF3(M-W(F*eb!tH)təQJĩ*z|\0u|=׫g_c]OigQNV}Lן}2-e_]5P2ɇe fШ'/r  ?CURQ:cQة4{o3i̎ 'H>B@ͪKvV*$>KawX+UX-ZOU0D/Ԏ8nېX)@zNSّe2L)'̓jltN _2E ;lk9p$a-M\S۶8,!Lٶy45~%4";ʎBm'%g0b 4|&Q^hzܢ!]*h7J#{hv7+*c${)qܶG9UJ̄_;v%y+_YF,S@޳\ͧ9B{>\hKf}Jaq}[abCZ߉3yh+$֘xYVP|o$C*V #!o~kWOc֏ע%2s^_ǟ.#(%ժolYm>NG^;p=g@PhuEsUj 9};1_7~P.A$BIM/6 }Z؟&pL@0.);ƍaa C"n.4+\^`1\vQ8jEܒQ HE˰ dG+MdU\LShfQzgp([0rQ!iC""} (fLMmw`p(y&7=hZ ղv`14f6ካz~Zqq<Gi@tgqh85+< KYo8~~U´hFṭ-x:"|4ż8\<)6jNsFC4^pKoNEGQKm_c/xMXOQ}k4uQ?"Zgj0\ Ҏ: |iyyڦvʤLa1L68Vc}AR}fՂJڃwGs,FDg¸^KͶM [ yJ}XER!GmO@iU\lB8zV2y> "e;'n0G"ĀDZq9ŨّCS: :LYxUZOk*ndI|)nDY~!hlkW?#Q+PvrqfoS'N)+VF|yEьXωTɊ zbbY޼Y H7*L>G#o/+~iA 6IZߠSDS hLAZz GD)^lKeK:_h.) Ѡ?URTr<ۏ,:% 0—[4Btt?D1;ڦ=mXZOD3~X&F24s2 ̞]QD좿qPk-EsX6 k_1(El˃N4<ٽN$<|6V9wM5q ^N9 ޲KTSk2aGt'`>-8$FS}3k|Xi\g&z5+n'JsymSrsCc $_ s39FtSO g0 &j+':95Ti'ի=5c7)3<ŏ;B؎:]it(P6;$2wl,N 0RU˙=ҝ?u%l8UGVkژ!/f.ѪwRQO?X%UG9{Yi9 ( }V>uY.EQ3RY.زZ&Y9J@2w_xae2vIݡ?ۭdž3œ3 L]y#*Z КfX̛_ϱ_ Bj yT)ԮFîӘ(Ţq%(ł/{F`r.XU6:Ɖ[q e̙s7؍^(zN>M U!8Y^)%G3|03=㻁`AXSK1D^&{E82[>CFI -ʺDmd/3ykl'*|i9#5펳(j BO,>%%UØt?yg]N$j'>ͤ^+-t0LEi,9IYÎcz4MO^YTʈ7WHVjp0o j("& 'T ْtJ *(/?@]pN~Wa-fr 1=I-]6l5VmlXgq <*uF1hD|Ny^oſk$MC#6nS -iqq7tۯK[ 2'p9E\C_U{HA;q\!`dhHB< r4ZKE[!5xH-*XHeX.J}#='^=mRKY?s b-v[]Ydԩ!C7ԱFU_0 &;ZP d0%aO[h jp"14*69 5-W@f7ް ?@v 6xm=q8,;`K_#d}(=~#hh`ChzDd?ՀO"i΄.Rԣ^PznmHh+ | C e" %>%ӹ:p"z0QCrC7ᘚK/yBWN|ÌξJ-ɚh *Jc1W HE|ky㿡5Ŝ£%@R:d a¶#-û@mQZr( `91Ϝ.uOKAȱye@8CcΖ2xJ?^W YW2/zM'`>}k6X;9$ ^CvT/`ݢ/?E&{hDML+Xr;0X!xBF(!&kh%iL땐ꞈQ~A(x-Vxс%>K^J3qz/j5et S$TJ*=]N*z&R=e˾E k \n]WQڡf),kv7I(Z lUR C%8s$`ǭc_Oaz(dtj<`` *Ny|އKU 4cI( ˠ!φ h5~l!z])aP6HolL; A+xnOr?Z-eR0iR$2IɵdIT[ǎUuo1a2/|'H6L C@$"TRzC%pKW58Q0fzXI'31 TF&:8LifAn؏`_\ɛsk m<_vKu "NE;6?`]|q: Ӷ;: .tT>A!{5%2~}DSS )8;F\d%0^wVѮoTʲ4QYҬHh5mE=X_//(rBKs*;)zsRha苨u%3𔹳JV0{vs <օGVäo('{Vw,Q]n=IͨL#6')#|͑RƏY>geSF6Óc UYO[y} b,5Ht8~PK)Γ6fH+ov.Y;l/Ui)8N`!z0`׮>}EFg< Gr X}C>(Csb͌ʻCj4: 2йkalnlcHBgqFbtW(L'\LEށ uJZo2D LQ6/MA(ƕቱw8Wȿq! Im=<(&l37Kh4nyO;&pQZ֝W1B}\TFeP|ˈC$wxw0"r򪯐rĕ12UZۦBKtm pMrRP:en\5?!r.rCz( vbpX7Ls0Fb14#TZᦾ9OotNnؾ1j!ތ}džޑѽ$ANjL *O꫑'1 H4hYXU+ǹ18'i{u9B8^vG$wt,-ר:go1SW]l/Ϛ (d'a\yԵa+3DH.` x'JJ){񬄯gN*ezeDd:]%,"pDn>j#-J|`QF+bE`ѱ&*K$0$}qφ2Ӵ)؂6Jw784ЌlvS Gևt%hE}w ]1 eo͝>{v ]"p)8ļLb ZmP,Dy(c+sܓ%-9P$ئ[x{2ꆺyhéN~ءJ<1_ IL w1Ef┟N:驙ixJ;iYMxZ¶ֺߒGx^ʥ*ϗ>:a]!.SPbnF]0ǂ]f{ Y9f\{k%t9 Ca8ԏ@6<9s\p}A/أ%6/nk]5;n *.@ 9ڜJ2ґL}Zz&6$xsSOoX7אɦD9T+Ӑ{D9Ҳ֩!E)~Lopbmx3\9AA6bڪ1Kz9- epHBw 9g|wL8wA K8 |sZ;kiҐ=A~)\awE>]s%.'aꬻHmQǺCme\sW&->'[Ds5ARs<#zC%ݗ".Cf8E:=|0.%pT\& L_c>ꊲʕPϽ pj4XXΜP67x 'hTWOIت4W1GPjP CZ_m1gHh%" I]ZN@8c_Lc/6K]!)L{DK{@>ķukݎ"k-j1~c>-VGJ$胴%@^qX_F?Z/^(t[W w3R"77dgAO)gDjc'+9`o%h1.O,俱#'Ym(}.`j׃,3~ /Y;:DYM8`J~u%Qi،e=*\ s1{E*@t?jy1,M ۭ(Wf8 OAڏ |l]@\DrrcˀR'SeB"_I.r<8.7pːe,"y90Kt;K8,S\̉SI쑧Dȶh %"?@XSy\`Ρ"{4~Mrhc y z#.*Um*!l]'F$67e"Qsטׁ1@Ir$C Q{Nq2תC9*td ;:9M>M9)~P2QM}W}ϵ"E;#$X}_Ax(m &GVLJ3*&5^cmn9WZwF/z691l˿u]7F :MbI8,(uf`Kwbu(Gu:¸e89ʅhŹZ R/ؑ: $Jb*;G (ꋱh'\dq%j =J8W  ~nep~Wr%Ha*iVJ.g8ϳ%6~dlH]NVIZxg]CLɊQ 23b?J&SD8A/>W` Б6E%co;0NV]W|Jq`Jm K1|$mI6šU#pǶ Ћ9SmƖND^]pnN<:u#̿1gࡶ]p/RSe@4oyTs^79T|{4yiP4L_,Ô$SﬤliIaS-7JxՆ;fC"X缂r?b`"ٛ_m`n:+iM?LMܤ^)f[Y;tuOaBO2 fjQ/%ZRJm$c(?_R/zlRQONW5J2VI~)GFQ݋mgʔ-i颱7)pC^e%Nǝj&)OB3.3TVC!ݣRSZ,PnMPj|띯5'rhtfH@D5*U˴Bzp  ~?nZn;!{1iyNQCYQLh \v8G d$gP\! {ZA+ogG \) kĵk{AHF `I?(>/J&"t}qn eOkR݂E1!h@ GʩN1qt,G(B+2\5ЍX,EP'8 r"USFE|tKq6G .cU &Kz~I&8 ʸAlLE# =K<U_>hDw2܈klCd߁֠ӵD'i>2.PNk)٠ [[0 8 P+x)7_jx |WP2'] {QQBGz ܈QKXӧS5술PyݐN1 zɫ} &yy`|uZˆ3y])ruȂpnpQ;kUM eד酏,+ sf^fzKd; UEo?@U9,pL93OF J6"[}|dhO~ y}ɷ2'=e N_4rkζFVvUfLcSp0 ׺h5"_;]afgMzm{v{L}"y[Io"Lh|וн) =5 q*jp|)%7rZa\|zvs 3<9e>V+:- 5N&]!)zU(e_B.b.-G /: #Su{T WnR)l:ذƵkُq/#v,}H!MeZ(77bSR$Jjs5hG g}iHPlE'YM{w+.=-roǗ"x1^CCPT}ﲫlc ]^ l=1{Xyٛ ?Dx44+I:j%%کu.[O٥3uV@cY &:j> &X_qF yb)8CWkZ"3QPp W9lffJsk^ `UgWoE{ nB,/)yưSdMJ҂ 8L½a 9c< /nb-QK{l*![oj VZ,h(-+U>+M ~&tD'h[o#AX"1~rwm׶ O@2T]2 # nh&zJv%ߙh"@*ZkKZҲNNxdژōV]黜C{ ЂjB I`Bf.#ʀ6<^J /W;Xn(fRg39vW^ D燒OX:Ȥ,e:2IF|iAo`ߠ %.;HmY}Tތ"|" @O3h0 ;ly"r%Lm5Nhaab/gЅ _MX=v45_)O|ht ض n maOmI;V_<RLr+sQ >̞0dsLazr1+*w0ָU=,'G(IF1n}#j1(&j;i죀3s)d{1tWkR9ǎg)MWBn%ߍ,3фI{5Q+=s:f„up|4H .^a 7~`L5gs  5Bb{J$\[@bΝTj!lȿv{JԔǫvߎA{Ĥ(s搴e'@kpqoMJڭ=+i2^~x*TiDpCK0T3 /ufG n8tPy4m %lQ,(B1PIjL6AݭƏӥ Z0vP7 1yGߋ^sg=ai5Pmy8:̯&n97QeNI.GK1~Sa\;f= ;;BkB"cႜgB3B)ZMe0EuS]SVk֠7ɇB@l {6茓ϫSIaŠdʤb~2 lXWV^ m f.(`}S`˭]ߛ_cTs,Qs\4 rǐsoH%A a TƒZ!ws:Z0o :lh-[!z,JncפHuR2c2/ vD0`Yh/\V}z5Z7͌o:ކ+w6x^D]?Њ[tf4EoK>j6\:In8 5/^lQh񍖭e_- ^͚@A$N)t*g;^#LǞE,_׏Y2~c@A\ R&^}VB,~l!0d^;~IW'b 4H$=aZ9E($h]eۄ3ށIS-gbO~>UӾǫ܇T[t$-83A C^-f/tSH/۩e08[ c4&b28=ddwRJ,5zU5q>WaȜfOU)9^5$b凾{Lix޳OnR]ƃ/ANK`SmÔ˧65oA9%h1B(Zķz>3|yAP9lmFBL6sh6{0{d" \JCt&[k=s;2q̸Gl%|VKo &R 79%-q 0IiZ7W& S,¯ dOM`hm%Յ1z!G<}8>L:y_|jNrFUkPmr͚Fz؈_I}ǵ0jՙsh!a4d,L^ko/"J,>FsgX,'?ƂJY ӾF!)* EEbW@١MiB}!\nT!6c#H:O蒠=em,Ho63.DI]Y cAbnx=m.>޲ruvz <[ź xN@ j8lx<5"Cg=r:VNajye`!**mPz_?7wYÂ!('9ĕ2tkT$׬Jڮ8S<ԉ6?K(eT0zg8haӵ)f%I~7?^Vj_Z3 )%?+JaֵsĶb d?1sOS$fٰ%#=I!Fگ WR3}>˩䲉!?4^n! c%5 _N;-~;'}nAa_08$Z̬vIqv{n`vy ¬E/U6Z2܌Zv%=oe>ߵ! U5"c1v91;;`Qww +Ln{X=EPTИ F_~j*Tm!W)t~mk+6 By/$l3dQ*5q{Q\ΗT ~ P;I k 8sJۑtbDh'λ)LwI &Mr @%; Jh+1=l=Ff$eP-'\^7uB¯)]fB"GN'5ɿD,cƀƜ~$0aUHT4|3jćTZ\m 2%lŻr _P\i*+R`m"Qt-&;nF"+1kxf239 P&)QSauBia6`ؕɗ zoK^`qfD>[Qn"źYӷ ey߸;XDPy+9 ٗtH|@t5%za xl>P:絪SF2uO5MR5G9%:zpQ|q z!~GLDO\*YZ Jd4Ӓ/lιaUM:Yhro~y_A 0}?d}\M $lM}4   =régf9guÓ5R66AJ@eXq*6y))b9_7ǩ]"4Eٿ+m"G}W C6XS(j A+ymQ X&`ZrzW%Ѯ=Y뫩'eT9w\VcBtR~"V\U+ kH7g0ʥ=oV SuTLꮦ!B\5\|\.UiJ.d>;/1b)XE?עڏMuJ}qS ]ycGqsLu `']भ-#7e(}mht JUSI_BͲ?'cO_KIVYJZttEk5?Uj_/HƂ3N߷0ḁ2QU!AWeRˆCb/}M( LkurNWbC(RINgvԼ+uvq$ FՄ[;NB lbl?MNOp dZr{iwrh 4"L ckaMq!iAʮ z'9y&|Cn i׃d~gl9+;R ;dd-3Mw"+qK(|1)I=Fc(gO6it{AbU[ Pp]2`m"P(ZjL)MHޣg#̓Ʌ: _}7l۹6u% d4JB$ƿxi=Ӗ>C0>#K*wb`7E>H_gޱg?BR Q{q-  LdqwFTS@|j#p)WE4ڏvnS!`66bSA&'J=? eu[Q#@nڑB,"vF xg9H^F%X?1y3,9fm݁5 ɔ=^1Ԗr#n*(ѣs d^ Mo[~Kĕ'Za!de!L/)X7 ^&]B rQH݋.)pn(lߏB@-EQl}3# nI">Z/,T?06xUݝa}|iDHuҺL;kd67!A.-+| iɒ0d;}U2:}8j%SPu ]f]9ny"Z-2_R^OD#zr  #`+?m\A*؈Gs>}m:FB ,{fp%8t$˫vlG$R=B% 5-gj{QXժ^a򡲣Q/IlHZmĸwoZVbv1D}#T^(?,kWWVĒ@.K7eoBw C*|z:Pxs/[܈";].'v!tMN@pfT <soJ֌4t$ ; v"R(:*މ֚Cdwxh YUQg}`~5*R.(݇ e+ѭjU:.3 fqoQV!j7H=gnFri1q(܇޺5YwXMmz#)h*.& [I l Y:Ԟv6Ҽ ؟(ElM^29G˿c'r?8iӨ%K_׺E(w*8`P104 5/vM@ϓF^EժȲt2Al6uh'?K: =vm7{{lӹC]Rx`M9QKs{~a:fR>3>[_r4(_c6@tcz*&Mİdd\A~Z2)Q>f9uߥPԑ $ #ACWa_1C+7N3y+ul%ghz2  #;W,eẠ1p_C d@MD'%9y̞Fo J tE*~[Q" HEBt bqW}脉8I mS h˿*큾gO]ha5ݬѧG%.gxe´`L\s >OJ4E}Zd/b 52q .WYWyk4,)w=2k9$(y:*9E0 3YOɜ.00Zn գoEZz=A>)'C&俿 yTVj@ ,@bQD&%E,*}H;@躾]n(J;viE/ҹ!m)tpE=xAkh2YZ"ΐT1y%gYZ024706a71555fa9fb5a39bb22e93a953eb5035eb 02e6745f5bf1d5a2f90e78e0ce6223e709dd3c07 0861967+85721aa043fd2a06f078059b609bff5a8 0892a5fe5b4fab77b2315001c3015959fb3b0a7e 08a7099ad9022c98f5dcbc232abb232c648e546a 1608625cec7fc7bd8d8e0b94c1d1c7f074a33668 26edf1edad69d95d9f192b4059727b11fb9da7c3 2c84154247571ee3ef47275852cb10c68388ec97 2fc7bd7863fb72e6641d9f2fa335d50e705f7e0a 3005dc502bdd27f84edbb480c0deea7cea52b769 38a360f0a641a5a8859e22337df4e532e42477c6 394c218300da639a7a40938463f41da65bfccd44 3997ad1247c599ff5ca5a09326a165d755ba9b8b 3f191c7ee2e376a50078b5509772599e430acb46 3fe5941934893b5422165e490a489238302826c5 4599a34ad7d320dc2205e44c3cd266df7ea93460 459ba237f6da059593a870886c62daab2e1ca65f 47edf6cce67efedd879a44a89d426b35b0561375 4a7864ac51e6b95242390fc42be066a5cae7cb43 54fc303b4f00fca7fe074e716f4ac6618fde8a4f 55816f384a841e9e85bcad8978ecdb71d7f9e808 58796ef491a0e7075afb3a01c6244e3c0173af78 5dd5e86512d1fb3ba1aa45a89ee305017504e413 6392c51ff2ce1a2a77cc2ddfe0be275ac3b231d6 63d40045ec4fb13a5920b7963706b7cb1df17690 653024aec52636c69e6200375f80fae0762cf860 69b4d87e9cab0b856337e17afce32c08395ac7ff 6b5d87d7318b2fc9d1845ff1b504219ca62d63ab 70502d74a0966788e0e71ddbf43dd7b108bd1465 75713f2c8535d907b4f269a335eb8178d282aa6c 81644aa92190a695085412657ec4a9e8e22d6052 8202abf52c84e88032085c911c0b24fc328684aa 9a6809648743e662b73df2ed39757f12b89dc0df a1b15fd689e32c423a064c24077a1de52627b3aa a438efea6288f9f4f15f7d643bb504a34d38c343 ad3e0430353cf9dd719486ae796d190d5e13f04d b269c384ab09a061fda664fd52bbc160565690c1 b34b736182977ea67608cb164c276e7054ed288a b9c5555005d2457d66592f71382507c4831b3f89 b9ebefe63206634b984e3c42f405b18029f4964a c174dd133e6e7de00523199268aebfc4ab9b8a5f c31b749ef7e5a54b10df1578930b426deb44ab30 c95b6ed6ca37dc7e5d27958fb9b5f5fd572d6d84 ca92acff08e65907819399e2737a8725aac940da eaf475ec8a8529af21336a4b323a4389e34bbeff f212cb99f8e549a05f2f4735ee2e4e2bbb22ed4c f2922164d2c98ce3d58b2f9a02469e30f4e6dd5d f85597fa8a6240d49b441b7b75ed4b2c25077f660dae525efa6f84ecf34af93ff7cba31c2592ec0d 8169f475732fbdf137107131aba0d9b3f4e56903 f8770a37931a23069df1af49c196a864d44af020cc144c3688b5b707e6dd3f734a82a92745aec6c4