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  L L7d ]MSO_Regex_Equivalence:threads=2elapsed=785.434cpu=1010.328gc=38.236factor=1.297zXZִF! ]ŗXf1-/6vRZ*_u#K{Tujab$^}, \#)FY댍  36h`@rPR(4Q!ZjHu yiŪh QBGzʍX .ww=Au:q8)wLA}NF:"Y8A|BC!'M3˛y놱7]-@L˰Nܩ\avKs5fWNM 7 MSO_Regex_Equivalencemt3 Dw\XiYrp ;{S LIrv K"#7T쓥KEϡoW.D]/{j`#ܺ+g~b!>ᒡJ[$?Ƅ=VժK)ȵL+|:,ʹDvnpi~\ 1 S´1$faު;v Eśӣ!CUPJ ==iR#5164O6vT`%˚";"pvO(x rF& E'$1א)m#gJr=L(#F!g@DS54ׄ89()1ד?xh$f_ؚx z&s=0s 8~xw$'fi(2*m=B}NHcApXiq[XqHՏf/| =Ϸ' 9QI+:䳻+c1O rߊxIoqԷ#O ,A1-^eڋ),Z= e)фx .&'9ꤹ !A[\\?*eP13R* _4P Rp/MM#Ms%JD̾i E׎odO9Hr=Toi$ =أԭmZխ?~pXMh|}_-+5ԯ8H(thH +Qtf7-))U7̞V J\XJbodu\5YIYcXw4AX2l g]e͞;;&IvsABF7WlsT1s-MrMk\p{k7]3F a@M)AoVlW[nI͉)^QҝXF&_r'8wvJXܚ.=[qx932sUCYKWId?ĩ} Y][]" “L[*˸22Jld$G3_d g}=])ަ?~aٷȯv\.2 m(ӥO)@ Pq_w뚀ǔoR<U: 'ֺþ_9jExi-P\n 5yn̓ s3A-IOeX7ϭ6sp>󬇈wƫį}%Rblntg70*dmav?ddR^'}8bzrl /6GM1fF RrH̽ !}){͊ĵˌ@LyGJNVqPPvy ">E#4xNs3' ?>@ 1~zJJOuֶHuQH K!hMK$hV;8xb+ |/6Q>1 ,l'[ݽ-0]he_(Rvy8(h-q*9jxKxT-yEqc$fWoT2|#}!䘳M|sE<[aq $<[T&2-<",ʨ۝pH8;S3 zt aI2!=#`_kmG)71m};kVdzۉ#gY.6ktO+5AȐfmcc$K +?Hzo] I'|-ΝQ1j~yRkbPz "V1V [ TjExaO+|.1yܶ"41̷F2ڟIH(͊ !LHv!:ySYKQ ^>yn 43{]H0l,|'|7&Kwnظqťr I<)rbj/sn :!4AsN^5e(\WU޳jLDu[esbAz.ٍseU(\%C:f$4.)Y;|^e =tblxS器!#-BɆCͿm`'o,fb~h5ZʁmAEgkwd17ޓOH[#gd,ڣoa3TWt㩅ͲI/zJR ^!r:zN|;H<'ɔK];:"t)k4b-fUIy(wg?{SՖ<,j q&E_v# sl,g Riվe@ZFQp}$I|}!-lB\k"w(>RKP$ gw[ӁG|GT~ gń| TХ(.!?6ȴH_p(ڵm@CQꞌ2? J-͌2w/˫9lVڠ:je/j&\ט7tyiŅ@s֠i$P'MNb ~tSi _:.( e0lh84HQ=L,K­jGZ/ٹ ҲTb]NЖ3 qf`{bF7~31-_ojÆ0Ùe F;/|P阊q.4.3z2n6!N^4u#hnaR2bOJ> |O0o(v)AZ>Zy!Ojh"z}f"_G˭oYrf&ƅyt-x4bwV?,*\!R0m&@R&u`Zw6kQAlLH_44Ajw$ֿ&"Q҅kPdt`t2罢~Ch)ϺKf5I. xm?.q߁r*/_M5=44*9{+y1S$u:' 쉻u91F͇ #>;}:nh*~@bӥF]!gV^ 0'sr'VtjQ,Zb@ 'D`+/IkudCI?P0\HAS`Ka1q=e7&Rm\ 1[ؿ2fD^6mp!zMEj%aQ'hpc8 {dެzA/?>:O.]@8q=UWy*0g1oC̚"eBB $0&kP{m^uֱlҰղ&c-QgGR{_'AUE۝)dbX ;+{~ITP)¡%I9P+P ecm~|h1 & A3xZ$:_#L%qp@d0r84c>Qa7a@iRw)j]TvX@ f$AoǶHX2,wHR-j;n!L_/d|yE삞*2!Oas/ zx=, U{b8AvDOJ:?*=!{[խ襈8!9چa*izq;~ >Pm0nk5R1]SZk{t s)!LE[ߜ.BO\E<:2mmܚQ;7Y|K ''v/\cĞ-9g{k8v7A DM9 Ɇ"wX}՟uHCq8(f6DeXd׊KRpiS)RMp-E^EfRh8NC㞲Ϧ+*[rOG($phr"&T8ę`QHۘG_I ]mV䕹3Emiv KBY}+p12F:Tk(>cx³hHr28l{JR$g}y[s#FlVW΋֠o&'^};#7Q;s N`is7*3gWBZ0xN}D)S=HaE ZH ae\Cۋw3P(Gw`߯]ե,նSʲJ2Z=$t1k>Bs\ͬ}=|N~?å#Fl_ ,[ uTpGK0ͪ{ j=RlBߩ֑nOtv)#ĶyD$[P5&41U|@3F[bj$Cۂ;SKqSPN$X.hֶP{}7n)KN ÂKPo^BMvR#səEdFZ}1 A賡0fMEJ 8Av'MNԳJӯE: |Ѹi FSYe5lq\:B&(`rU*{723>W !4|[zhXg퐭X1pǩ{zO(y튛G X;Wmu# 3X )ܗ9E} .N 8ڪH(Z  ,3=F=H!iSaL6FE%A++{#I}Rfz |D2n<h$%"%IUd'8 'E `]=Q~ N{5GsY!G44T-a`WAf+/i {2~ *J"5E)`7&cUXIŊb &{ࣚ 1x!+gK<{ XvTT{,;P2RtB7&K,I&}hO/9K2Mˢ1N0埸 fWp=;. s gȬVSzi"1ʟm^RZ&<ާZC6,]GU*/oZ,Cz,i*/$*}\ψFMYhّ&[ieq[=KI,۟Gi5Hf!0hȪzm=,}wYפMr3\@=) 05 ,1VoBg~zS sT&"/&'ޟorկ7;EǾ1nœv l6Q෶ڨl&Vjޓ!t>1i$&!6;zH *kt>^ȄK, 3z܃2fl:1.:Iĸ3-+0j,ѩB~(GrШpC8I)8S@ە]y[7[CYǽ(8;J# eq8NkNBzuz&xHX~ ]#gr/c"̯Igc +#qliAev'$mQ٪rewM.# oWNsQZ8%ӏxwMZE™ԍcNMEgM^Q~$$"/>T=D |۟^gI)1NA=K8 )LfwM0]WY= XE'G76XdA(滾DvʌU{)ɖutnN,a@_kls!zpf (;G!YC 9 ltj'&[Vo Ka,sF.Y b@'OHV7:>H.ly\yQWh۩t} (`>sC&]ݩ/%J&!Hr;։CB9 U ;,#RvI"zZy+ D=CfOp<66 r٪zl0#A Y1"7^嚮Ij|_wW4ao-~)e=~vN>snڟukJi66vw pU/Bʘ=&C^ŕS*'@&Ď}݃0"%F!pݓz/{BW3\=-o4E==ZnϮG<4ʂ+;@۹|&@tK)`^KƗ^) A-vb+f/ߥX\M'7*O-929'ӏgU紌G!AQ,u,)hV)V);tlh ,_B,]Խ2tK~ѿfHY| >7 L|t@HVէ}&5z6kAkbȃ❛Rʔ*I*0S KVwg/6Di XCIi F4 Σ~3HU7k}s՛YXaVߡ i ã^Lw>iU j[]rI8#WP%qﻝd(\@AYV 24G^m1:ϟN_d^?Sr7Tsw\E/p@ cbM9JgHPf us˽gbW_scʒY}TJ/=;r])sA)| $Dn3_"3G-Z/L99_!fQʞi(ƒѸdW]"}  kFU%~6Kbr~]s4Airx޻~Ja{ Zo~RD+4sZ S-{Δ̴,rņ$ b{@)T+|MxVЉOᩔj ~A+Nlêݤә=̻rk3!Љ<'-dD7U*Y(ԓ@s"ahwZ'W8p/1@!]l-vWCx3d&h>낗#8;nUa {$?=! OvbRdO70 :%1Zte2Y:c;9EK7-%KR,`d6Ƕ<_Joetqqy-y!"g| *6Wc˙Tr/>~w \UH#dуr<}Zy٠VQ[ +Z{+dt~}ꝃCz )-aw j:SW#^R^$V^St/mT՟Ѕ/} CA\ήJc mC̔zgCh ck7 A&_e~Kc@ۯ+0̉XU: OCtrȓX1g/*{n䧧6?t4'[.J;{ͤD~ tc(MF]}'ׁ8M^Hᙠ8>}3]ʛ4LtYZ>hIðPLMl 9H~ygQ z?/~bOsv^[I<)h?=}iQ$^{1PGC2[mqyNwxe LDaFZ~ָR+L ($]x"\p#5}$WCREjzF4ԳZ?z I}NvINpRXZ6C'9ٺ!#i2pS\EIMqG &2F]G-aR]ḧ3P^9jMEJMB{:!JkÀt# ^ r@>A85'Nm]e@8rۮO=뤎bd쌯C j=!H//w߹\]KD6F1PϚd5okQKOS;?C9@cc!łKۤ( LbmyU) %_/sTEj$ ȅ5Ia؋ea#`} <#YzԜl}Z)k@RT>rAqhsUu~dM =NPwA V 1"zӲnVEyC:p?J ~#S݃AhQHZ68 +|%L^x_X߳._p@  C~"%j9DXjy%9m43/ý'W>5| VҮՈ>O'1[O%t -aM&dp #zv̎@z7y3|Kcy _XG%|Vxh6./NcibjȒ9RM̘H;}919UPN~)\GԠaU xc4Zm9U7ķɘ;JZŶH{7w }^Œdp,jKw/ZU7.j "f㪐ںU}Ct2U06xF7*) ݒjȖ7UC;'I}4(1XV]_=tgE jflž6Xl{Lo0ǭV[XKc!>leL"x) OJ+.׾\:zL^E|48*Nj^* jywE z,I}~-=J@c,3@8^ B~]'HqDdi_O<6ص:&t'7t%4P:ĕrlV|f7AL*$l)$wixT']CImw`Z # O9zo\d#QaARP*ײ ѩY~Zk?D\w7xhP ٬ H uNUZ&s3L;7$IepMNv /BWyyw ]U%9qx&XK;!8ҭ<&zXSGp KmV-p[dn?ѐ.{My w~1ߧttLz{(b,4VR (v#HJpFv14 nsP\U\vcEBB_imح,wF"<𪘳;PAJ&Kͳ  vJi?K{5:J >vmge;gI%,tW7GG?b(9X :'[?lťzjN&C(EQט%'pUcHu2-~Do*EVQ;fIh"K> 7$[ #WEK͎=B]p,j)ӲhC4S>#F^G- V6F\FDg>Fw΢~Yǽ{JY5Z!A ˃p8<@F{9Qiczk\W-ڡ^ eHwo3ĭUi9Ids\s{30>^[3ǩ(.ZF}<=U g V&&!gM (v$Q|{璓F,E*cdWЕ[4I(W\Gxp4K1)ا(~Ck?qv_S3N(3wiE9Nzɤdu{G3Y>[n4ݯI $H2̹L?Q+(Gx,NϪyD<.ibIM kʔvd^^̯!$iruMXN7,'!)[ oFIGr)UWQw_Du>ɈJ(pAy$ ,׳K+'uBjAu_$n>xcgG0Wkf9RGI X`='/lJz!7N0x4+e4Ml8 !¤ wp#ϦWx>/R /І+ܺ UzR/:ݒlFRY#%UZ0wFt? ͛|μwh!^Z QnX7MON$_e7aW7 &@Xe];m1NKlਘf&-a`f ֵuπr ą!¼;d-po~ ?'0aU&C{-)0ضRʗ$@}:9?eݸ:ZU՟tɀƵKm_8dZ` vL% %!@p'JpLAu Y9Ҡ}Kʋ-5TT@ ًê):.q. )X9rkNܬo,{[xRУIX4~dsے+Lrnqzewa# -` k}!\{%]_ge; /1Ĩ'-wo$:ʡ$ Dw}U kK2.W`p-^@.vwHBry][-EkƐ 7םjB/%!EMω+SC VNɘ>Wt02Q~}KL5{{ιlL(` FcW*ӡsD`:Ä'(mt!N-X{I4zO n58ډ"3TkTA-/j7ΌV^X\#S G n1D[2$3sNͨ$iٲXjV:"jj#ܠM:=o6l eN"ey5>%A 'L6(Eך?k=#c0v}WgKˈA qXG 7K@BLS̈́8mG琓)UDC:\s`\;.jT1 \쏺BK%v_ҁmjKK/C̐ ń{Q& /Y{ HC,T-a6 ugyw.[d YCWfo7"THodk;Bf/ulbh7al vVX`Vâyr@KO`Sy WPЅq_ ]`GV ]ީ?\WGGq"}"$rX= :sdխn%YqS0k>.%|mmvȆHJ<<QG\]dWsvRF_svL77ܻ9j"ʲec:/'d05?<7drKҞm {4o~쳨 A=1+k~¯AsCG6>&Ԡ^> -ɐ*4-+?KTdz%d@N'[ɽ߳'JsF3pEU)2[SJ @?yGݪ(B^&B/LS@&C `8"BT`鴆Ȟ(mF4'jo.Pw1Gh,%3 {F{ckjPb3 Iָ@Va?GUVyPƏۑ_hڐ4+KVZ{D{lv(z^*| EOj3Fu-ͬ }~ݍ ggnU󏉎l~9Sy5{)ܶ_ xL~Kr6=" w_NJDo9u =UW,Х;ʢÞwh<]);:R2lڙ2jUE 鳼s0?}[!jm"vT(Ddv#0&ʮܮņI2ِ洦'7Gj NL_w,MhHG]gdٯ3 d\&؜mey3͠u) 12`l0ni'Ĭ剜5<[o)u !WX\-"abUaS6ؘ)KfPL)g!ChX Ib% ŭs߽~67 YAX#D'g yOްÙfz[6=sۍ,ITy~1<{G,ӪBڈԥn<,h}#^U<~^vd=jqHI:@u7ނ C1"HJL;;2;(=1$K%nΰŐ֏3?1OQww.) i[eHͯ$15h)K{a /-z1,7;XBG62P3ҁhmaH4Uz@U&Fv8+;>F.f-n|.VԮ> dᓢEJrKcs,4#Fkt'?b{2(xI(1Y00 G<<&l4m _sVì] y5RZ;.C)~y7MaXB 2 DM,&$qR*o <# B("Guԭ*vYxCN tP})hǍ4ڄG29e!zk#!YUv E<(JT{i`L mSa;s}zqZ .I'vҝB/ɉRiZ4bGgh85"Y9Â=| [}F3?Ѳ]}C/Tp{m2(vQ!3WrpǮ)Q4aAz pTB6ν, }*R.#)D@kCNcNC X#*Z,7;ΛibD"* t9Z53$R5h4LmYk Rޡ뗎sRBLyifN`p` v[L, 'bz.vrN mpc4q^pU=Kc1a4$td).|݂S;9G=a8 ~UDqڻjJݬz~p~ZOt&mq=rwh*ȚX>ҵJt1j%e2;D\cme*4Z|i1Ax}]Ŝ{DD> N&A A!H?^22yΊKX4vwlX.1'ӭE7xs ǚ]K3{}u) lȼ,ZYWt#Y,Uܾzh*pޚ԰q`+9h}\ey:l)sN?Z-w5kfBnM“-`_߰Of'ŮԯQQW6ӓAo  ?S`/?Ɠa8ڒQd.4Kz(7{ueIJzA `,Wg-# 2$NY3n6l[:MabX~D I rG\#ɠa#"ROQ{)ʄ\/OWiQ@n+F3̬K{ƥw$7JŤi.9ͣ`P ϋ`G姁Ɯv29f4r^$5lǮX@=S#z׎M]a8Ȯ$ &uqfC"'4S<\ /9wY,# ^|wH1 H]Eإ+N|v׊Wp_z xyt@~qy!I! (hz o !^/RIa)_&NTSvo"J#(:/go>NBI9<ũat\)Qx;Ӏi<@Θݺx[_S [rx4oQ xNxaE)a _}3f 8S.brˆm׸R䙮'sIM\W?D݇?$#Z%Y*nRacOhi`ô\W%E~PmXtKж:@dBMV^ZvfY1qqcazչHOv)М6+gV"}% ˬ6Cprr U1'1npx[=}Cli-Nr -JM_Kq 2GjA1pJΤ({eEU#>x 3$4ҵ, f.&u9kX+lt>Z;e9:1ۙڎg#iW'իToC(귕}/iμr.hoU 0N̏&:a,K`)RV ᷐YJ bڬ eDe幰ن9W: ?6eMCwJYڞ>U]‷142e6Z樀S$®'{P,l{޵IY#:OʟZC?;ve))Jt kyOb:)DQP4^^:C:בJ&Bόڷ^?u2u zblAs%JqV֖q8#Jf=̠/0,(hHTP9azI[x0>?ŞAKzLn"/dc ߓvjl"uK+ٌ iBkZ>D7+2fOgoPI{Xv^As&Z==CRFfKAI~qD9ͦ=ӻpaTWDg8Tz4Q%ZP[h:vdR.(9] EGAGKνv_㔲l? M"Mf@)[DyD~ޯo*-ٯpemѷ7@ ]?_PbnnawVi Ggn!8ӥŶ% zU 3ZgRnkwOSnnZ?uJySK6:.i?dS h/sRS@`#ig?\.G >ԐT/ftTf;P"Al  &=r5B4zWQ#Boe(M^1/30$&j<]E]pj 4|m 6IC=ACiX18zߺ[L^5=tM۠E?$V:,ݒ8g]5PZmMg#¡S<-K՘C:wnvHUa&g?nSg0:p/R MSsm6(L(e2 М9Ʈ ,ҋfܷE~2i֥Z&t{' x08vt5ڂ`?! Rx.l.m *P״GRϸP.Hg7 9>`S@pF0n'S`ݓގmW Zzo:zoRtrU[_vjm!߸>>{JYyMF4\7,;6ʰhbܻuK%&N)C#vxђ2 #p1" G՟ws9`SS%q#Kf+n[l{]qn[^]ytOmP= #5>rmlBawڴu6d@fJCgdC*Ֆщ9e*>R`u]P \ς_؎/Z(AFA+pNג":U:N׏NTpd}@Ĥ?</ R Ξjժbum[`AHSU3 <$Pk(%Cي{VtN.\-K`n n'+wD7@ܱELhj2o+̞4YZELm=/#rDas:=\I(IBr*W.!X Ǫ6r[*ܳt7kL?a1LxOA'o !jsR.ME8 ~`ȡ[yop+Sݠ.~U'?bwKjw9[-1J1gn~GK#WM~ǫŴB'n#f LdoF~}"^\ 8 vQGROy{D m'z P cjf  *֐VvYR.\z;[Q}W'Q]|! b< ܚ:rB&:o%"b)v8wM灜ʊ@ߟs-'# :F&ݴ9l Cҵ)u饧?Mʔm/ MFl+ l3u\jR@.DJ˺ApCBL ʰ1ӋR[Ƌc _hS~<؋BFJGQ獬`U$$WGXאsv;G8Awǁ-d7bȷuvl+P7D_uX(gסAmw=`B}FL7F/?E 2MQ@3X= ח$ >J0p\7RqTOwQhG $eJW+1aE f:EKCub0MdsMPvnȊv #/ (GrwҺCU(.48~k)P*9E{.u5]3o7‹[Gos}#O#8c2|[PSSH1Ԑ7c_IyxgmȊ)}[v(K0):agZoOպ;A8haR7VIp$ PmFKu~k'[ZSH/"z'QȆ:.# Oŧ}{G(_~ !89 B"=/b=g ׻C dg19dc=EDdXz&]~1+C"HN+2D|4.ϯ>#XHL):"%@.E7]="^J˰ 4dN_Mm0Ll?l8c>}˯)ѥC*N]h+bwy7I,:r89/iV,Ԕ%|4%,,ъ !j5APi2\,ݢj;8>VkSSB<1B~bƜ51GM.]پ!М,u>F (lUi6-Z D Ow0ldv(u%AhTUmPvnER~@`ob`'mW6V5`ZwR;J\}UڨBݖXu)1oueסl6ަ)j{!g nb5lIe6M׵[f~/Ά cnʊM4W"%/Y&[LvIx)w㽼Uќ JS^5LQQpt:5`3~߅vp'OPS˰9ӒR/309ܯzNWj 6FU$;fx˿wR`mr.|ZlxV?C˸LulR"mju񬫸WQr]FB+S=34zMpCr^sML1kԟH`&c1C$}Z X\7I=k^7\pno|hdXή"뫕# ]ޔjް=Z_:BAִq Fzi8LJjON0-y s8ކOr &z#pUS%2xes|tIOE[K㲞  .Igc%f݁D!U3*W~&\&$oY஠ Jy焋/FJf^_@9"WfXcC > +T?V˩/gNhςq''{?E{7i Z' MM?[:aa.slU}ߺP@gK:Ubu@:ѣ>%G}0wpݢ"o<<ۛK hqxuTw€l| QIO6lxލlwtf1t7 fd؆ ϙ z<3*>QnNʺ:@0=VDO3: U? R$ɓ7:B,]\y"I\FBr{JC*63)hOkRyaD&KetTY!uˋkS1Deɧ8' =?+R3p_ C.ccc@+AMsB lJKm d$#o%+,!#>F ̥Mu* ~+F&3t>vP)zYhc%va:ՍP IUҦ(s5T)? Zl* .,~Ho*Jkl1]"jF/ZjI@jX+hgPO3n9Jq!2ӝ|s78﷏#ҩV뾅R(+AzHe7ߢNr(رSNV}7f0qBۧ`_qv|]yS8+DTnΏ3ž9= - 'Jҡmۢ>.A&H[qrOk])UCwFA3w}?v=W ̚(=* mݕSw By 7_^15X9kN|$#۵~2*=A0_/~oWxy$08 l-PH5;Q~A^`Mqp!]zPgKU7lW)jdȮKϗkZf(xr BG:BgJhV.csD!sǓ=2VaٍݠKD U.c6b[&a<0I&`CNKDK=Fip}X^' -kGK,hLGCÍ"0G49{ȍbT|6:Gn]>EBP)jCbrsVP(CR2`fK6=,ۆy2Jr)Ju;S |n.$e;nA@S,g#E+׬SN |" 03EP5 P͗G eU}ȵJH4`d ;y3؅vv$m: M%@0§zh0yڊZ~yCOmdsH]]uMRqɏbܷ_|c/ߜ%kϓ)J o <$U2(+U{fvx 69* 8LՄS-!;]XOj:bͦaPIGa{CD.]p 2@wtGqyCc+ #pF+׍V qWtoj>(.U~ ob7Rt>Q(ٺN}WZ*3{~PӤ̖# nUiΨOƸaQ~[oO:`H {ͨ~:paЗY|I 9^>-cUsM$!fw]MG5f_y>BFMHyv#z좫Yqٿw@Db}_Y_Hp;> Y+zbN#)m)Z_>/W r*\e8 )BɄA&Z*Y<m<Δsw9GS\!J⥖{ߊwaD I!,uF\h=O<>jȷf )_5[~H"5.] TWi \zd0kQl*(4_a⅏̼@޷Wa4kNRkنyt,$?fC(G7Gl W]<>71^ؚ.y䱆P @H݋bJ5%Hdjv׹w1Z]Xճu;fC%QXHDYF7/(F3ǔvQ5İ3b"g' ٍ]]p'KKnRr6r\{;9g6 f]PeVͤ/A2 緦9?gi2bGe:y3bUNl5f&Η˒~D)U5cNԩ ^zڱ3X11+ *ȲOŵ6cȰ/7[Ր@UW`xc_JC_.9y,j5ږn] Au+L+MTIN/|Om'vt9TvN@w/m9BN'e=  f7uBo 2B '2Hcg(mA !k_x$ SXIpV XRq{Ѯ]jV4&GS'?a}C~FQmz .?t~DawmyZ)eN,h!UҴ׸dmȭrYUE\Â'Z4,UzgvZ(n(! 3 2WRXR8iq@ 7)^pU4A]ƺ9{\%p_zdT+>+QONhz\j2l$.;"a&HP^:hYt9ܱfŜE5< rSFzxn9c-dN%UU'bB%[[1_yN9"vxI) ds{#EJZMOO;(m53*t:L{/u!|s@%Ovńo}{\+/v`fk([o{Q ǐ>3aaFwo1CZG1~KIIzY%ї?:R$InU4ѡE/\F_np&45bw\/(-57sDJlUtqBO`1վ!Ps v&b]~GfתemrLhßbp3(Grvw\K}7vG_`< !R.=)'ΐ}+ѭ( #k]@*K0uꙧ7ߪj#Z2tv-6Mf8l6 Z-Py 4ߨ[Er &ϛUfjf!KU (tREKs?OY+nX9q@6|XWo~ ^/o䮲yؤyB&iE9{ҪCO@X3UMu2o|Y`eID }0?L}k@^"vԹ3Sf&+a$4+:Zs^f*!$[Y gx"8Kw6P&>@tػ SJK W0c2ΐ9WmKI(*uFǽ69Ak:<ڊx!,-1,Z\o3>=tR4xU5/|QB\ߔ !S3l&0AHɬ&1C̘{lsd$kĺIb/j L0 j]o0P\.,t6X;۫:f:2.]8T{O)BcvӣeނHg=żz11V]+*¼&<}='QR^~ ;-yR %k 2tcnI9^Rqdz~ԯO0Efbf84RB[R+tԼf(W D ܗ{8Eּ#!cU v6e6R|UskO v62+3*6zx!rr"ޞwV La?[PqSvU knГ2.jcJ:QvfN o!5eӭ$؈.>!9i[~TkKۗ# ͊Eym4o l&)o:0Fܱ, %ƌ7l>40@#/peNU"Fz͕ pBӆ0&+^g ?& 7(wiih4%/|FxxDmd죒Lp M Hֱ+~!be$z<;|i/,v8]O)Lr,FFk*Ngn9V#FfwƐJv:cP\(}C'u+oUԃ:\;:;bXe:n`ye>r.y"%pIf8UtpU[pKVu1 HDlV1{쥶$g0Z6 [`m75UԮE}P_N~Z)B7PRɼX.G\nZ@6 ֨3B70cL α8_'s2r}ZLdޕDŧ ÀͿ&&kn @ppA[5 @5(T:JdY]Y'VTG֤[L>|P'_RDi2Bi1re'֚s$,8L& 2dR9uOqgYZ08be19446d72f9bcdf2a842a89088d9869228a5e 0b69d8c3f70856201e8c054bc34357b13520292f 11a396b61ff67b5ec635c1f00c6f0e8d4f88dafe 1e3f3b9f42d40107a2af3ebab615eb47af40ca39 2bc18d57ea87da2d3db0a06a6e5558a6dd698150 2ca548f124bf08fde0c7f05baed9105248d232a1 2e8dd58e2ede383cbc7fcbaeff3b051892ade632 33f245ff04a4b617b9bd1dd502c6e158008d8861 37e048eca1afc2c069cebaffb562a02b039bb22c 39e24372458c0987f3d0bdbec288643d15fc5b61 4178d8263ec1affc708587b75c04983d8347c352 62db7c2f912509ab5e52563a32412f6c53622264 6a817a13ea5396c1f21b029eceff23213f20f9a7 7102c8fbd6151cf5569b2dc55155eb20a36b3faf 79f31440868c5686b204e83e4f26f92eb8d94f9b 7fdb4fec52ca3e0a01be6b2d7adba337b9100adb 8a6afd5bfeb7cf465f3f94c15c377f7b807b94cd 8cc6283ec74b19d9a6bd2a74c7cbc59522750437 937f9c9fd64a5f87600ec011fe348a83238dd506 98c6f3f02eb8f7c19f7711f9bff9451de0aab771 9bdd5aa3a04f12448f7300dfdbe400d0b0c4b078 a273030280c4fc85ce6bad40db954e7aa16fe6fe a526ece146642d823be07862c7c8488392c4dd25 b6d0a023212be48fff51171cd7accff79761b911 d2bf831b160f6ea48a6f74bceea75324c48877e9 d73f179eaad464b075b683de05552c78791fcc46 d984bd91b3c24af3b069d46db03ceeff6cf25e56 daa5e0248528bca893daa43713bf4e7fcdba0c72 df7d6430a4bcd2af648a3201e1da746191011f8a ee2e829d20843fa8821278570c7c27e218eb4649 f8ac88e6f8cf4d261ef5f5179023ce80c9ff17f4 fefcf52cdbc5dd45bda0389fe4a696af8c511c83 ffee0b4350c5faefaf940ad0f98f4d81bab1386db9e4cad54624ad835a14cb92fdf2da43457b5cfe 0c8d5da11ffcf561ab033c36ec59459b7d4f6e36 696e9f2819c1b0ea32fa6ca0613aae10e741b79663dbd9688387aa59845a7e17d731909b0526432f