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 3\l / HOL-Data_Structures:threads=2elapsed=657.264cpu=903.288gc=46.580factor=1.377zXZִF! yv]ŗXf1-q恈͐7ӺV d>`;Gؽ8n򭖈:)FuKȾ"1-H*3r4 w=fu6[=.Н`\d_|d-A:+O*XD໯?=β3 *4RGU@KwM1SѮ}erf (0&=06W҇bod2#^ ,%H燯1',.'UQۡ:0{۪pn胸Re,::Z;$(o)c/(q~~mtڔǕ(BYZޓV$4f'6_|Hڡ'Wj S.׊.hs \EZ| zi)XAA3%%$iL^()[sjLy DwP\^d]Mq\T>* 3 HOL-Data_Structuress2ݑ`}mu:[:$qEZtI^ vLڷ|?9@e3uz"fY51I׋Mͪ~O|mP[B#FutY-Bh΅Ǘ08})[ oA rBx()b6u+l@C1:޷Lry3jXYQUqU'x{WF3'df<Ϡ,sH╬4ze΢do?L?;s__4{ y^x6jAֹKÜæPq-󂘼8qQ^y8n."-\C4x8N>yx -_biN7M"N]sܜWe'76># QxzFݓmA.BGXf܇%!Q# }jU.M%T#H-G!yY'^e}C- jd.=*e>_嶖B-9,+6wmrBς;D;b=y[ PCBƫ9V xcU[½j0r5%ݛ1PC1cEUȢyJOl:ΦZ4_K.xGHĚC-Cç,|sxR'9{qWK&E7kV(}* bV`xN65W5M+:j VpE1?3#&@-Hr]{1@8 1ń}=[Uͺ>dlruRvCLٗo#Ue pڱ'J&)%m. ehUZͭH3WOV#Q/#d<5|/Ζ LJhZDVcp3UxHv_uB}R0^Tpoyq1zgZ[灇ڎy]i& 4^p#} HWE=XFOl1KKQ9(&Y3+_ePIPH6# ]ۏN4/W$UFCH~#RY-ͬ&%\֠me_[PB<5:ա3H6.˹WѴלˆeGc-M"?~{j.+yQG(:zYdx? '\*^ջ,:rd~#-xr+$O#禽aWbޥ@}H4}҈&Nf>cM"rh#TTKd>& H8̨3z`=%Ƥ h B8OQ VRM~λG^h7 j7z9G (~#EqjX|~;e?oB =$S/Q7r?VG| fa7rnS.Z|/vcS4;d+ 5N`p !=d]kp~Qgsr;&l! >_I>[eߡW8"7 JӪv䵫SnRW',m+X BvOƒoIߥuFV)Vbch#Өy]ʂxC;7\ E]dumk>״41zB,+̡in:.Ģеi:gdU[}\\  ΉgF /%]*)>?wrHx!d_,>*XΝ i(㧩?O8{E?@3s$>MpX2pIOQ!NW ٍ.2AᘣEn@JJD=)9pf>[̓$CcrxrbAvgi)s7uky7O {dY9#DO+{mI<ʧ0?mo0ܻӹԀ~.0P$\Ҋuxer6Zd`G'=4WV-Ob\v̐p:)8F(豆xL1G9|~7l!͟_ E4wަm(7\d.֏jmT@nDO}׈TT ȕ_~|@ζ#ݵֲ GUHU?dF1Tya'oJ ۸u\q\5$%!Wh3.";R26=/ țͨVE {;&':!fYPA4/f%/4R5\}L:'(;!/TR Q |` =PAsj[;?KcD_+b^uSGP>7IqRJ uHn=MU@hlrN5P3JZn!5"GM]0noanS&kps׋5*[Fiœ${!廰ð,iu={6ljOzOA_XʦXv8e/PI(J MB89][!?gmY?EdN)+hz,*+8%:ֆlG򠔥Y>;%T ӂo EJFxӁ&̷H1c-" Bs'8J&|' =u()/Qc鬎 ߚwڑ1#&YO|`љdHQTgrjq% "X&/3*U5oj HPѩPC?bZL1MvH܇D?Ht`M7 |kMwh"هN-#Q;u,.` ?UC:e1P. ˼)-V\RXE#b@/^6Zo!X1m%qGZ/O ?Btj=ߩxC?tdco76d vZ qųJt9 EO_b m_~'sԻ=}JrG2V2Zs7&JƿN& T^q C6AfdxT^Б7fPa`csQk濫" CtԎ `*Iocy0XنAԒ~lp{q0 ?^ptZE=xS^A04NeKݯQQ:_{~͓*5laו Yq~ɨRO YY s:jڻ #c&Ghm$Vp!9Ѳn7B'r2S*GF)p%Eu.gc!;1`cE!۷߅3/5A'{]ٚGH%@h!?rTR0!LD/ꈏdP{I5A *މ2/s3 f;*:2'S$ =ǣg%ǙRvy?66KneJL>rv6*#o-;,~ij)r򧤸:by) ( -Ex#+,0O 0D1\cE(u*fdWwR^nat\UoG4QgH"\jnJժ veCh%l22>ĮͫL+xN@~0y+ڤg~A%EQ$ӮAmNKe/XhhNV+F"J7PSdiPWUqkP΍.z= *"͏8Wԑ 3`jB[W%;@Yyef3sD mBO $}HpE%>Qf6*wOf$TWdf 3JGnFS#:{Cpi}E8pŇiWN IXu*{HLplHV+*U1, }3[9' ?rSݫid|p2k⯯H:zn1< J[-'4@m?\Ԋl@RQaK4l/9+Ui>..7rޛ -^))aD^P5Xr5RM߷$S e_oJ 2yeOq1- x4YiSNɧɀ]6U{; zݔ͜2'HYs2y9macp5Bzgg;uqYucm+ CxHFv|voSP;P|0W)S{_Xq"L '&ͷ/<.pMPo*dlqj<;gYZ7zXZִF! ϶]ŗXi%Ju,btc,Z ۚd&EL )[ Z\kG ;HY$vZ ~.g4ٙk wBy4| +5nï4e1ܠǯ8A(Nb`p CX>QW S jU5nIz.jCwErY0?.I{P4>$-MrbY{O d5XN*;@SEfͰe]  XFF Set^2)5EH v|(%(K2US5IO۶'}ͪlLolm.x !6Ob&E>0mBk:=Dɚ}5m+| 5.blpwiusPqMў:Lq:Ln@"k!`5襤G,ŷ^šoU%&h܌D=:'Hi@|*TO9E  S8m<{#Pd#(!oIqՉF/2m`ʖXB6 IQfh)F&Fe*Vj ;SpoozFϯ ˲s-+-|~6 @*ؙJ?lPaT!^)x&#t96N{69*z<abiEa5> rPy"ogÄ;T3lJ3 oQAL ƒv5]i Q9dĶhIan U"x-ŕwU?P yNA49O!Lv4W& aES{&3y qMIJ*rr܊ # ڌh[17S$a\t( z|6` &>x)BZ&d  kOjA$f)ga /"m +4(Q`ظ@e; j;=QIG_rgZGZҁVVG;~u}EyA]tYjُEE۰x)sDN%WD+A[V~:c@kvB> r[>zįoA,?t%[*ʸgnC66xp BV$ v i&.Yy5l}z7.paxG`j+D]kBMڔ?IqOXI0V31ꁒ]M.y&jūob|%jD*b|RP<ʽ2Ԧg ǡ1j7?!|`⤽z\-S,XDB/_;= D!4:5tRWY7a>n1jKU"z~w,;^|nl^ٓЉ^8deHVYN3?VdYn[Kk_cdsNSYC7pHT,O?ojvNZ{Lo/8 Vjn8.;pJ]9&"ޒ>ؠ5X25 c2:o`|z9,V7'u n 2Ԩ9Hr-烔kgH?bo)kkD3\doigdŸy劲vo6b#)ӟ :iz=km ;loLpj07.e ۉJ41D?6v'u`ߖDA ZJ[jc\`Y0M9@ԾD>Z6dzc*Ęxˈ@>cc`6P2^%6p!x.hs_cZ'3YPH?phvAOtaeG- sЬ&_i&/nU@b]OۜZCN/s=l1OgڵF?;8̭\Q&n(b>$ p< =64QK&Ȅn &B]Rs_.e$h "CXd.Ct>&OLAqC|p GpJ`~٘N޳h IjZSMݦHJ5}.N΢d(Bc|R )UuONsLw)(<BjZ# 8I &x-Uv "ؔ rG`eD@tHdW+1; Kd>Yv9O @?ȣ]@XT i#?ZirPØℭ s5 d8Yu57ʟT>kjΊkDTRyRh`:XT~X`E,zCލw#SO⇞dHp´ۋC|S^-ϢdtOP9saU|y1'FDuj:u7R0|UXW)oA/ukA Mem|LHNV "}RK A<͡0HkZӱ(?U$DUr.O¶uUdMbw0!ʤݗېea= v+łv'Ak9]?|$^ןsG‹JRrAtS LܞO,1\WXt i.c=醃M{|x?jQ *`otXs)זqIGI!l 8 $+9eEVHnSwtZB%zdSQ>CF0fuwia1 5M_޻G 3A9cx ̈I*1⴬ˢ肂>wj$:ObZV+O6B\*PTK6r}^т#c?MԿI|bi=!$Qn! L'j!lY9 GB7 9&Kr*$?'ȳ@ !B&|F+Q Cf4$訁8 NNN$LSȁƠ_OBχ !P\rC.N!/cph6H4o?˹^6ů\Z#4y\,eu| @ fߺ%p3]WSiV(Rܙv>R^1̈AWߥYĩfuS`)[ﭳ'~lvڥz[a ët ~HMl2MKj^W}6ڑBvm†ȑ_fSGC`;z wS.";r26O?@YohL HFίd*\"BV׆שR[yUl2ꀕr 6{%2x)Ik,{ȏTLE;g1XUGɵ1 l?e%ʭn3l '*tǞ)*߄8Px葾8-≀S?SPkOkq({O[b]@ڬ(@K黥C˨@k~0?R 3݁"XTxS08>2VXU)u" y1v3^s&a`G|~Q5 o |% ;rӨ&#ѶCem5j]dډ d[xDEdOm}C-tX(-Go)/7<lKga37O>Tv& {|te/vg폥^A22NOHڊ$4R=V%|'XQZ퀐MvI^6 !m{SU陪AW n|cr;XК 9q rHl.TMJW.yPD%6IϠdꠞ 1ukpui&'9|$p>&8 `/jfw I7u21).bLD]bYr; ܦh}̏^h\*iK>@,t<C_$ btERՂB5ZM&e#Z hoUFCb T:e^U'4a߅k=VHhw/z3\ڰ|Kd"qoCLQŒ3iChk7;fӪdkCgY_Z?Ed;pG]<#YyP άj\]A5k'oIRei; Ng1#~)/cp&,8yIB?hm$c@sfƀɽw^HsUTFV. nr0 Z "w`qӑmhmMZ,'RBٚgvU9xq Ҟ8P.8FJ^_q{ߑk !Q4T-bb!BBv%T |c (L}tA_ʗߘC )%Jp,PR$Ȕ%vp֬>_KH = %e+<︧ &xT7U]DPKs[NDUyR,q?F/"MRtKV 2o TP@KST2wf.7ލDMz2ɐʁ,I`^Z'1O:tb]HMunj_"P?2t?o\cbt)2:18:Eߡ2C;799r Fs5S4P)bM9@6IV9CbB /BLO+s3kg#xQj ýFgoi⨇f-uݳѷLxgK<6,,xpT܏5YSoҦB 2=y)-tIcRL+Kbzѹ|tschd+goMrRpϥ-T!#PA ~*0CS7^'7I0:9+e=?XBsZԡ 9RMRb (+G>H>gI S"}ZSOMlII>Tu3&ҮnjH[Aቆ` I-@,H@<)(̓q_QwDJ};bd j(5IC+E`M˹*i, @Ib+ Ebh;\.Y b 2bG5 [ Ő0x75ﬤG7fC_Tyǯ׸.z2.hiաw*w~KߕJ<ն ߮kkɔ0+9ߥDzy{ თR2c"ǃEATkN TBNǕ G\1B$nLtL; "6 =:ʯIĕ4fv9ՇԐ%-*"RԷs^G>BTЬr}qS4͚fO•3x!mP8¯rĕ*a0cz=ځn/]ie ~"7)հ'+wPyRG"@1FL.q(; *S;Thn #WD]( /x@t8 OBTsUv'YJ2]`ZQW;3*]AIr J*)aƅ)c& ,Zӗy0L*+BgP)NJl>҈k6%#0 ueJ24UI?PLQoCbG<Poi(hGG.<@ñqg@@{*>.Ⱦ@m A讟R+ɒk%@ |=,̧L˜#fA I'|c4 ihţދ+9.NmJ33ٛccj1GV[$R+Vm)9UGAz$HH&ЛqJQ0mt>,o@ƒeo*2@t:h6ߠ= -FDIɁ&j"A%yb69_VBOۨP9DE5ls2_oOFM(UcnbYZ)!vt] bp3> 6nex2ռkpUbhrrH A9_N8Q$hS2HAPjXF]~Ҿ= 2C!Y '}rL!' AdѦ1v\6d♻(}Lw͗&J|$0>|ܑe2PLH6zd?70i'bSvt3"J{9|B|qNCG㦠ouU:Զ0~= r!'b?E!ZU~ogPMrJn\/wɱ ⣾;0r0?`:EM@^W.M؜< wJz>u.&m^+Gu?G Ve%#t "M_t{tKx&_PkMTPÎk)GA?K='%U$Y-;T ezG7bޘ6yN.议H?[*RD(Oxstͷx8br)qmll83#5-' np?MQ#o`Nu\U6+2%eHD GRpm+%H8Ua|WC% _ u?NyԶzy6>^;wO+js$>UXHS$w5/[U) 1]"JUg uvkGaDU8/cgмA"tAR7iKYA~DdGd$ KSy%>+MJ{upKΥ_ASwUҀ)4RCҳLXyc9W!P*䓻iq1/'1YHN?GJD(u9zI !!:jP08"fܱ"(!5z˃̼ >úa',N_QM%s LWRxOFWw% *=G@(^pmZZ3_`n9L&4X$g@b0>f F4EkWO XH@yQqٮf >[2G}"NPY\ou6F~lJEX'΀K_$Rlf=n+7v,owij,C#h Qpj}6]Y Dt˘LZOсC9/meOj>gb8I+d˶ets[V/nO;6EnT0J4]7C(11QTÙ~ ~<%C޺bg *8Oxfɺ [l), 8GX|( XmcŦ)&HUUQKCO Bේ\>3n{t>ΊC95d-(w+d[W1l2M D*  ~@ jXt=N`XV܉`MѾӲKވuw[n.ݣIς~U>ᔴ}>sw7T&mK_DJ)@^M{Zs BUe1$w# Y 7E}\"pc^VH6%jZꅥNe#Sn=y{A=}W?ko(׳z1i4oPm`؂^Vd5>;imRҎ\U;ZEP,}m\TqID _p/8p[n{Oq۷>ElH,:hQ2/=L~װb^''ԌxXj=RɥcmeIL6䖺4|EG4zRyEYšp4o^+ܚPѮGw*PLZM`lچ6 -!Zn-1oGOAnBlKn?Dўe=^Ru0~^0U1؎ J_篴AZYTn[xpd`ISِ5+;{>MT mK^6~Q;[ɗrƒCn:ꐷ-/[TXދNxl:Mؐ-d a6oh/,Gɍ4N^6$PHZF R * XP5Hy#{=ڢHI4BhbNOJfCjzX1Łi& W8%W@#QiA~ f K68N@C>*VGo&~(0oigTg/Zm- ^ў-27%V5ŝB&!Adi9R !y$/$"qMpL0}~«L} iNǣCG3>c>4VwhaBwZ'h5ģW2\ ֋'Y.:bMTzLaIvQin,#]v|ڣ0 ZnK5+7+L*fHZlAKXmIx[`;e2I"83s+7dM$ΜѮ0 p: d8n|rm`n DߑA俨p=:E .,uchvn`1U8H0voz߾XkU*j;Ç"LZK;jˌy;C\r5}^\$ro-NhӋ~z$.Sb4t%oVf[@.][/}e6KKyEz_B=8v!q=Vkڠo*|KzZ|UoX^/zR7D?9W~t[2_Qc/6tu?1(O_QnyU[5ԑČ GUNM׺]+'Dc c"z}b8IKR}G{K.Rr^`ȼp8h1ۜxQ~7FázW{F*a!RSӛaEU鶌ӛ^!YJA( *tWj4d=@/WfBkHE?rӹOxB;ʹlP|[` SX7m(-:v7`t|C%v'Xh޺vupH$,Κ`[nIB>\ITGw!G$X?~򎔕y=J=ܺ%L( o;&%DG^2N{(]%3mR%lKB%X+.fM(ELDH6LE'm)v&pnmYͲ6@NsT1|֛}r``g"bJ oP}R}8 k@S#n,—*2b2(4˔J~J笴Ffdqes[Bs"' GTM,lwNgmHn qHbQu∼9UFT|[RYEX콊j"5`6 v*۝wn9m=aOd!uEx9l bW(J)'Bw&|!pÜS5@\"_R1%G>%@+1Ѣ C͊ ?z,.t:^KBJj=%qGw0ӦݠE`+6bs&|h0XAN P#R F[* L3+\Z Hv&V 3^nt=vUڬ]꼧{6wx84wט%( [@~fs!MѯgLFRUObzlAQK#ySť)s4meWs!aCY-Q#" L¯%_ʸ'|=0LI0HZ.~{Ɂ?C摛P-4 ܉Mm<0ӡEJ*s1`xe@O n)-bFf?5/D:[$h^́x3lbta 9q lFH(,m&9MȰjx;& 0ك =צ^J~q3i|6|70SQ&C " gx,VItg.ٮ)EPBilAhikuq&ShKYB4tc5;`]qq;WiW{ϦX9 8եo>TÞ9k%0"0&$~S8}I2_K#n2$;]^\!-72eɇ'[A[`IdS2FL102һU (z%|$c#gx<#kkͷa}0z0|٢ieMWjOB OzN30ݞsLr%S ^K^ᦨu0*;p=BJ0V&aQo&)MlK\RW(o ƪj2FmD+=sOfG|nOi& S,3J?3jL%#\hp}tI$jlSOD_#^cU0wl "À@Lo]@};F }Vq$<Zn-5kˈY`G5vSV *w pœT9]4 q 9 t(ţfK nuNVӿl yu*~3_k6.a_ kuMmD7Uc!Ql.ё2}.[)ӫ nյps97u.)PJԹ=P(mۏb$Q蓸FӗZ 8˺2KX4Y:% 4s35ዕ < PjKAmɀ0&"G`8e-w,ExH.ݘP#YZnX*~R)i-6}.ޱՔP<;f19ef>j&dY|uBۘ ֣ӖZ ~"] 3A_!$OCt_fOu99q?ˍh% aru himH1{[m6З,~0ۅ.H@) ͬhgkZB3dfi\lyΊnJnGІ&28Rʨ`K/;n%/; YakWμqNg컒)@D䖭G+(!{3 n/ZrXA5PCOQl}$#5kE zI}e¥~:w3A({ƺw)°Zf7@߫4ovќV" ]#w$\Au!!3@Id:8SVA#tZ| L d6;߶}ָ>",)~PYIITQN7s?"{q |S8/:_mIa@?eQPl_ 'ΒZVܐ7k/nwϫoGg&ݴB"ZBy|aH*5QAs$=o!r7P@ݵ~ rJy5W֋?1t R!.+k fQ:`m%@:`ly w~([T?$Y*t`,RJS1v <{>11_^1ȶ3:\"IZNikzcEmV=^;P{V]%W >i\[{aȁ1][0ړ'u"mݨ4/#|vppk>0UL39{WOH ~6^EcYN,ԦNL` 1%4JjCjta'k^VHp'>r8%ˇg{N,Z+':~7P~kA_ ؔA's)pH+ǸRM;xne#׏^_Xk$:)Tǁ(5;-x| ܰZĩ-iv޷oͱz]̭rΕ@R//z#;ٖG-Г,D q8PT>*lD~AX+8ƭ9>a/@N0mSu!淘G=mᓲ`< jW92.4)> ¯+TH44׾<ض4oA7^u`deڅ +hYAQCS%\iHA(#=w?;GW{ؙ'b!<JY\nvGi\D dDj(-CR%@#6j*[; Cyz_<.گ 05 ^[jM gQ>VfHfeZl$`Qm>PiJĖ!I HIP3rxS 6A`͝tmrse&-hcL{~#!ec\ZaJCf>LwB~l,z$Q"#R1\;P] ?*IΕ+ }JfzyO#tvg"Ɇ߸QjF!ތ\ސ#FKʤ)rXt?)Ei,3#pwl-c 7jGѬ]ê9*7|ZB+jԋ67sվuK*P+Q?#A +ڌo޿>gawŖ ^ Aa̓lZU!dJK6ͩ2܉8E>gfӢ׿rL F$+ 8Pwd%J,,Ƅx)"^%},rruS1xvO0lDalY //xWh1MCv8a ŤYB?O WkEcp`& %oU8cxE+ Daݘ5[Z'M v;Wܐ왑ZƆ_Kן:'DGs=µ @84T(DE\GQҾ ~WZ^t'6CEuAcm]<ƝPvfo2i:W2CQa āޖrj  9$Q0Fr tQJ!.g`,6򨯞4a{^_YiVf]|;/iz3/|lV^1\(\lT2qBvA?B]<7~C Z7C<_%mN5MSK0aVA,$R瀡Qi\J3 % qV4MI<O8 r%mt?Ln&ٓ2FpWoS[ŸVuw |q=g{ގ] DYߌgt==ZALJZʦ*͘_˧] N'NEyŸ]@8њQ_ ;C7m.} (E+A4Gظ `Vj5)`,7Ԝ+>Uu,a!: l#Zp&\aA*bE cFg7ܚxH*Ph#ͪtGc` ne]F5au-p#S b/i7HPbyH'5;xDD M{# U>^NSL'lV:ϕ 0H9 7Q =A׺<|= BvU*+*H&6TL2"n`(9wϑ8-0á?{'Xk8풚WkJ[2uEB-A_x ')e[jT*@i*Yp0ni߀.uY #pR l>rF<HנN0eS3'mlL-:Y'Q!.SM>ƊK4R”jDqSe$ nH"nQ~D)M D9 @Qh02tRC~rжE3Rp/Vv8^bSEVMU,Nt0AJ=I_BW qczhWȀ ]~Q.KFҔ ͣWF{0Oϔin/O;{Rc$£͛~o],|wnAֈ HtbVk:+rf:Xjxx@[-$vplI۸)PDuVgJǡJj6 OU<,UBE%KxȀڂ4_= } .QP]qHch嚐]g9&P(յ6:y^0kc"DzA4C{PTJI+٭?6q)i옣l U"4&3Ȓm6_0M##hW~΍~1=)s}3@A[ƷT RqɨDq oc8u %IurRt+ x3l\s%wJy+V,\ff.o-i]Xt)[4 &Y~%}XGtL VአkW0|Qz1h#%ۓD  Q`K}0LJo/^9e@j?y vt=ճ/f0qzV_U/3 Ųc)EW2-nԹȚlpQOZNt\:e>ugeһ-ظt&PI l <5߬Wviȓ Y'$h3.u,dx4 3}i^$@ $? xs޴ѓ5/'d-P ' esPw7SR)uis}cV0DIzm 7dxqZminaa(xׄ+ab */%yR[2$W&5"cyZds֧;RJꑴ5d2sڶkA-Ƀ1 6 l_W KjrMSf:W&ˠ7 V%dp,Zd0JϚxtzCbo9#!DM b6/fHAx]5K-)B-cNZdm5$0]Nz'aş6l D{8γ8/貅˽d\_n'"{3L:.-9~@P2`y4mF aEr'KEQvcUjmzX ,+Z";ͯ nW{Q\{)kpW5os wvZ?C@TTJ]Eeip;Ng(DŽܐZ뇌1ݔmEK k6-J6Xc0&F*وך1kTD NӗI$=Bb5.dA756 +I\@JbW%NTUԲ9c|ZW9qT) Q:SS{]bW8#2Lc/2գШ6ŠxrP!jA9x\c`ynrf'U^DgpP~r(c;6 S?.VDv2t0!af,ѕAU[to#GxW m0$5X[9$wCp55|ԳH杬8InƶN2՞b uԎx]vm}#c/ÃSzZ<ÿ!O2 R\2Z**aO_lJ(ԌXZQgz?jԦ#HȎj|6x-U1=J#|gFlj`z0TIikNO9*$ڄ,nI/1os!α}jK4%Km-){|1E}}ťY\ 0Nn*)`HqR&[kֿ' {xVj֌r`^YSMuf#[J? gō8UǶfDrY>wS=^&@^A^ٰFƤBP% Ex-/nI_nۓhW]ڜZx_|x#kD^GӊKtղ :~tDʕ+pŪ]"mn8?jwmˌA tZGƌ&DoC$遍ȅ{aBJjx Cگkށڄ x@e k񹹭C;E[_!Q9Ia 1} _->b:D Օgjm^=%,{t?ͰbTdHE̪8 C~*'- )E;h^ kΕҫ;|7eWL#2ik i>E03xfB&>Rŏ"]H;+4i5Y%"ļ@0;Z "*(Dw04 St2c9sWwRQЃMc}Gd2hW/mSZۦ~9XOpYaTX[Qz-j3yVRF^z~[ݿˈ悔ӕC':iYf/ؚ2D%j9+/=qw3To|!L!Oa Q8P^]./:Q:5IvM% P~bu+=!6|u\%Tå\c0UU+J)p|I`/ŸDR={ڰ%@mj R2 5U&@n:1?^_Ȕ *{YXlƘNċ׻qeoRN|=T&={г7֓ED`4 4Z YZ"BW'+;}@MȨ 3 #JDtj k $iZ͓y`cNAq,Uك̥O/̆1|iB}t !yFɻxYee~KճA/f[k|P^^Q į Lf{?fC+ve=<9bfx0VUb*+}%ϡ=ʹ+ Tܾ15+sAiDz #9ᛮ>\ Z)h~NNy7p D(:UWrp7eԱ(ۢ6MVCNajNTtj\OȌ9Qw-Q2?P7u/ Rbʠsݠ%ݹo uAow7Qh@/Vzb }PVTIhiqii#rHz;t?9#l_V-rLI{d}=uiЉqญ,|a0 dן{sػa*l|S~_KlS{BkLzx^4\s|vynЂ42?k7kyApMo|uڛ+pB)}Cs{s/1q'{ЪL+pk qwܼh? x$k=1RAg)do4h6VOX,[g{Х"6sOӲ(<{._pP<&Oޅ)Vta FQBN t.i?J<:(ި0֊z< Hd $5Z0D>Qt@(BQrtGl#MgklNW'u`+k?G6QIy/c| GDh|S/I;wk(oH72c^b$fCHybP!P;UTvUD@ .7OH6b!V* uLBL0(\L.eN&e>Mz~'?s|M{ ߗ1#֩;CI\4 DV /u1-"ܡ֘oA4rnė [cK{;hʂD Ȍle1Cw`{PK̐7 9>-IOBEFO}}+e0I,^P"M<Ѯêi Ae0pj40 6$15P C$*g\s(9+b7530hu0B2ؼ0 wTVx*/֢~0a܄#`Wtt߈9ߖg S-Lgyc1N%c"ʬwgx'C+Y1OS"[Pb\)Ay})zP#.ZKC_|+) K5UC4|7mKSX7/}a}Yl9xy'9V~k}"ʱwd?4}[@4L! h͓W˂2'!W;D uNb'P^ K8p1rk+Jagr|}TE }AMeϵ#Tm] 8!PCU0p7^ *vdy hSSYžC?I1Gr*lEf1A$JܛR P'G'ćgoGnƒ,QB[PbT~ծ-,.|Lǣ`IZmf;՗KM79m|%w1dMwT&nfb{{Vqvjjj>a;ȊHI)&zkP~Mg"ύ#G;5yqڿJnt$DpCWXط&Yq~ǚj+sM|^Wh(~欈ѱ5R!(юO(Pf3ߟT"3k/Or"狀0.N*SXk)_?̦i% 2>yN!)`E 瞵݀jۓԻޏmejRW`f_X`ܜB1x,SILUURN =o+WbeoÍ8Nd.?LIN) 6|q5x6psmwg`CpbɡxP񨳕 Q(T_WXmaP_FZ&g%vY_BtL76*3JB%%KTtj*6c(!'nzr|WCR(׍DH"ޗdmj?\Qo ;MY]{Xiv*<ϜCm%{$/ͫp33>CʁU)Mr'VB`8k,I(txR~km(L+m(kU%G^ŌPԥ-h\7"Cov gGO9}a+1vQO.fQ_almS}gbL1 F/ yaA3=Mh`faWѭ4MHm0Gdo⏀T9Y!rKa+)|گGu| AКKR)[oN%fm3~Ss3X ڵu^ZBG?j$@dD%#く_w ۣM$fLٺ<"5<z&V3Ĩ,AWh̙S{_#zG2m55+n@Z9vbK4d*`3kv:]1@-0 *1=>f1S_q`v+AY[E\ Uyife-Ģ `sfV$)>Rb`L&5_vMv!~00(H5)WugBNESAiك$q٧i`\h+ȃ@zlRA֡a+Jڴ"ْH4M|k>4!N1{ppBi C  |iTo0dLPz[k!GZ^+\$H.,'W0wG ]aU$*ؔDԦ*ioՙ>c-*LviQD9WA'aZ?5'?@xH5\l|)/6]$5RW_Bd/RSP0mAr统9ɲ&t"Ԃ9,B 3 ~ ܳ[QPCG<;Ytx^= OCU,!6?=rs1 5Eo*LޯV,.h{~/W],JGpQk[)EA`(z b=Fh@/ g!C04wy`._jUgrQ¼4MomW+=2P>nk' õLnloT/ȉ߾)Dv{* BKqP3B [#@Z8)|t:;x2j^(dhҽW,ڑ+9d9Ў7> ;6u^ǃ#kc8nid vpzhp.[qŔޛ[xqUAoNPؒ8upq[^̋M>뵤XO玹z="xU?2,c)<&,4ka[s5~?/ʦ6 0MbσGƫ/znPoŦA4Yx3ӣ҄ lڮT֍iY^IQFdQ @FtBxDwKQiij}2A4)hy킒(`'l9{ lSnqErS A鰦k<6p14(Uڴ^_*mnYq­OOGʉ/~gYZ087c7af85752954f0acdc5777e1f9cab64006a6f 0cef64d547365c36ce2b07d63ad82869d058cf7f 0f83e9379368d232af1423c3a9685e6e1cf74f88 17b9a1585aef604e28786415ac55e6599bc1f806 1a9bbbe5bead4a777dfd8cff360423b166de322a 27abfc4f80208ce2315b25ef1c7cd6b0e333a212 28d1c39a1cbd82a6fc8b4ad6eb4144240e34a08e 2beedc995de344b2d243f1e49ae9db7239872112 2d85093fdf9250477107e3aba1537ffb15d00e09 2f49a5e95a6a1245cc174d0e9e127b870dba15a7 30b6c2e974cd2da59f32add24e209be98605594f 32427f3247c39cd021df83e286bad085e8edb40d 32a632be8433576f4cfc87ec285b172c7ad0adf1 34221437a109a5594ba7786476b5abb5979a2647 3b722566e6a6a6d64dfe4bea3069cd97a2860e4f 47e756eb8636ae441b20bded9ff8e438ec9d355c 47f83d20c1b8692ffa67199b5761181969f9b31c 4d9e3a4a19ecfba574d07ffe568da104fcd573a5 4ef3f82615cafe36872080c63f0d609bd92bf781 53a7885fe616a83d8be7a1a17c02b88be6af0359 56f9bbe1ae24b42b2f1cdd0f23b3815a49036796 6182ab98501d24aa7defd95defafa2bdfd4efbd2 75ab70fea14c8c654f24c0e23524b0fea077e9ad 767b848e899bf51172cfcafea6b2fd397e8b0312 77222580c7c7ecd9bf11814237b3d7a6d6d9e572 781253a33cebe4f11895d825e0c5e34b6970a13d 7ce48f292a90fec49f4aee6f72f80a36d4a39965 7fac9826dac247f0615ca2a2625a718e19376c27 82fce86746f9061205d625fb926c1da3b71e3bc1 8ccdec289ba1954efb6d0640b571fc84972bba8c 90fe3391631f5ffdc1ae875ebdebd0c8332bc8cb 97020981c6aabcd5f9a12344194388cc00a68b45 a269b1b646acf003dc2b5cb861100b5a9dd7733e a3226ceec7ed2717f070670b41ef8c46f8bfa8e8 a6d881014016ac510413e96c94577bf126ea335f b9da1cf9d5ce6b6340c0004876dfab2f5da7f51e d245d2093b2eed70c0dc77b72bb43bd6885c0f0a d9fbc7f7eda85a098cb7c62a39e6cf3a40c3040a e21dbaf449637eb9161af006cbc8f4faf91e00f5 e3665764588de24c15f05979770d43c0f6a88276 ed3710f39610adde0748ee8f641fbb4ecd7a1f4b fb6363a0ee9de856decbd42448870af989fc821f30107fd93ce37db2bdd67b83360028ac0c573143 925f367ea52555ab30ecf3c4cc0b2e6ec9edcd76