SQLite format 3@  .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 [z|< ]]]HOL:threads=6elapsed=219.558cpu=743.804gc=63.8767zXZִF! 8!]ŗXiɟ{Z$ T~N]GDݒXꝌ߬y6O.RDT eQ]\0k_ ւ0#g 4$L-:ׯ_|73ʑ}uʀ$}+["Z0J Ȱpiͧpk3g,ڌ=Q?+O.獝Η~1:t8z!xÅ#I~]u.a0;ݟfGThzLk3F9AHQ轶89k u~8!;"Opl"u;mXm$J#K|}lD!c޼'r .`>RqIxLLp`H-`u.D˞Bza~&PWGEo#~ tɵ4C`==!f_4py %Zsqm-4?/'K8>0*P{OӴ~w~){m|< [׵>¶)LqkZ#tJYG|'.MA{N 7aFz HCD),V@L>(' W<&P@{ <~l(YEE;nG~ݙ(kH{3n@N**O)ӉUjʐRW7n\C@m  0$/[&M;`(vh3d>07i%`W&i^{?׫|l[ԯ>ݢd@ML6lgz2 WvǪv[O  $G wn?Vhj(g 3l,6FbqN^NѡI NC1|"X2oфBx:B6œZ~EY/2aYI^`5m8 "*-$!PBUsg }f;7N[ ͇fӠcNm֚(czvtNT)ܑkX1S9 AW V P1T4DqpWp|#>S~~ 17 @`™gO$)$nVzzKE)OӔO>Ke6kXˡd(潏fhEs8;&xΜ"cs$dž B?DI o2D.)|w *jx ^PlQ + 3'g?ţ$ \JHu&V$o-i3kr T.Vy&r#36D& fޠNgJD6 ]+ؔP1$-x%R2#Tl+\ŰPY|:Vy'&w KK(v(93Si;&\zݷrhV/V Oa' KYzO(ګ %߰.wLKy4n?ilP|c%|}[Z7DB] tX0з\,53l7u*|aWF'uV.D] ݒnYTǎ-bA/7)AXHi/FkMx'Ԏ%NM_fL$V,uɞ$PߘoH)p]jӫ۴B$"ޑݎ§$%Q@Ubp}SﶌcO6 6"V+W\HSndw3o(j)/lqߠO(7fe(-8mJB{_Yw <6[ZVAz%4W! sB ZtiJD}($ټl- K hF%7MH h2zK4@m #\B03foZ2*;nm ~|ьۥ*K 6` y>*x=9x3^͚v>Y36_ܑ2mL>C,M'[<\9q;8)ȿ LWspp(t ~caq,i;8KN6lv*-+,GMi2p苚c1o3s>K[v@O:qRܼuFhVJ?xLr6C)[qU|f8&.`?s}t!khuob f {yd`נs%Իrjo4 l^,C;FrɐMsF,y Z4;O7LZ4=չiP,NsW b weŶX%Yvu@*d!Gtߤf])JPeXH'Y5xx,R [pǛTSLG/YcM2쑮t㼿"iNv!O[VυO{/Yq/QM<'nǞWBH>2./W쫀Җ B(1)Ӄ HXtR|prFAE?T%E#6K[5bʋ'@k}%0’/@wUW-r:LmwmHG@㘎 PN)ƿX IÄz c^E]/U2 sxj#(/}~ -` ? w7*[i#`vN0c}J2kh؀|pD@~&x<.~RJPft;Oۉl>Q@f-+Ch[@"wBFL>9m `X&nqJRׂsy vħCJ_oړ=NUiIY kC2wYA ߎڽ{Ŗv$>rN5Us굑tڊi˝.#x];JuJpG^ 5"&z8#gp4hh nkEO> ִyF0!_צiFc~=!h>z3SׇAuj':DӮ$ oŝ[ yԲB;xZ'Js/Ř˻s Z\kc0b\p>ndo靾>swtN!دx'9a+텏s*3~ պ{%B Bo@%C.Ω'`(Z1G1 okJ`^crw~=@6jo<ۂc(-SJp8d[\²Z|"g4UaM6OzQ|^JP>#x`Zr] :e'019 Rp?y_cQFh#Uw kD$ĢhWͦGy豷R;Gf +ߺx(u5s1kfcI={Pb:1ߊ'JP)UڙIW.jd,"VrZD2.t2-ݎ p\D{B'M)k&@ {4PSpM9znq ?B.XҜ퉘UVp":ˬ"g{ju^|>>k./%(z&dD.*k6$ H6?܅'g}IIj;d}Z^pmXlRh;~@ kBh  nu*kG^35vF|օ(z#Ԭҁ0wZc_Y)J2׫R`qmhW#`7 o>Ҙ{ z+|O2Kc*Tc 5l*%3ՖGe?͠)-,95r~TQ P|aJp׳qyP"J!;׷\Pt}WbBD ^q bm-AX]q5E3ٻ p[6꾿,BM93{k7G\Gs++583ỳcܺCo둡Ih,o˽q0qoEK2_]}(*{fL<>`eUv3shsBi⌑A Mtw<~cW[c2{}#f,t\v%DZv5 ٝm;`jS ^mm8־Q= vbZv+e߂o1(-Q5i?wۅLF׋(T^TYXX>Pλ呠LWV=ۿ3L iϘӦpJMdžxˊ:AZ- mk..RGazƆ)G:ˇP2ke\]{$yW%an9?, 1Ԁ)|*7" 5ZPx,Ak1˓Pė}: }v! E&|A-ɶ+_\9X3\[#t'ğMLM ˣ!!Cmθ3ElTS I,*ܮP):BOTm44 &,[b$39"~˦N]&|\C] `V͉d'B%ƭ1`Hjc<;7R2&J v++N_zWs/* t^N}+1V?Ś0K6ߪ˩#k-5e+*6tarƚealf? +_)?k =+-T!l]3]9KYܔIL4^Rin cdpY>QsF,8 $WFpWeBpsӆe(<7RF5zD:_Lͪzw:!vkhE߅T@< ]4NYv>tWs#o@wD6GZmԡcmOlJ4,;-7b U=fE, ~Otb%n\IBS) Ae5\@^Կ@Ex{͎! .o2R{.^*65e;N|q)L [IIdl:zmz$sZdqeNhT)zYWf\(3Fiê!iO0߉`nG2WE~5I!VCy|/ÒST1 '(9- UWTPUuA .uBV}tB4zi14%W-1(.}li%^!$鐕],5b_8oOMsPNjg6q18˄c{# ?!'JǞν IwfNwLh Rev_*1WsK.8tM5(-yxC.Cx׋d[5wC|[|(6X%I'?Ir35N|=>%e(~Njq~iс;nmY֕kQi,hG&a}]t!i]s?,;FF҉wڈ RXt{'տMBrZ%9+YV>ٳ?.4_ =hx7<niv[C@aAgYZ7zXZִF! v]ŗXiɟg_$N%Q Kβ[I5Tʹkp,,'GЃo+M.Y5Xt-| =6$Hp܉ `?p{@'զedd_1@?\ꇹO阂͟$Pgiy-•/εZtxyr{7EJC$a61>ȖtߥW9JвLU{{(P+'H[5p0^y}V~mXfSb)7$5G]clؤ_@ 7XΦ)_"X*Zj1z#v0G]]ov]  "Z,{ _0.k`j3sU޸StDdbU%y5-nO{@Y,]-'&,22E(żN"O6_[F%sagd5,,f&-^P 6BIzi}HE[IQ&xo%sr$GrV*5c* {;ܶ?hJg8FE5Pn&G{ՃKRJAVUՓTh/N>ćW|c tie[-8eeƳnxtcvrHe"NZ.kc-_ O9ҳ.3 pj~R='ί 2\+xJu&Eej3\%Fau$kuo]_o8d,;ܚ ~\r"֑P~7>L3 D ̖m+RlZ"K97eډ8Xҵ?S}^XbхBzxKM'WUa |R$nZ'ç*-;|;8ٔ-8lKS .ё{e2uց:98bgpYwjyəHL!8=~J7Y{HЄ<0p5X $e)- MUMm2 }OswƘ?H'(9tю "2(FU+;*]>"fY4x^22 W ύR̖gSyx6eʇ]t\f;mzK_8y㢹,ӷrkncJZCG7Z?fvr ]_h@N!gyB6qIN [NEyiM+<Wj+#3vYtƃ?Y^6z!x@(&Pl7~'̀A\I 0TD0]B δ z_f:GOK]M*SG@CcDIPa )+׃i ,tl&?8 o̷7E,s7t'ptLECa.gʚG'cB\ن$is3; P=^pz`%ո*_z<b#bn&Ҝf׮;~kro[3s!E (#H}5 PS'RsmqBC?hc=l@ÖU 2u.h(8&Qx o\2CZ7T4J夨^x8ORj^+J`G^s~Δb 0広jӪm]^)FU Ql`Gz)UG3l~C[_:sQde/O{i0?|e%K6hq,t_h&2%(VBdwyݚw__1wFdy$E -`:^gYZ7zXZִF! ؎V]ŗXi%L(q0`g^K %Ey}[U>RH^ :'`no|5ClmG⋓XF v`yFB`~okR F8\%A &Dt^Eů8qH {oЛέ LCF4\&yd{!,k!xF-1/݃4Ɔxav?^ܟF˜Q1^}ѧGJGO]eې{gQ8Kk :M>5l@wL0f}׏_DWZ}!r:0ȈA+W  jǴ%A찅Jn4`Ta6# _%%NǟiYqDA d,!'{=KO8Ln"YiMu[R|Ybq$l5@vy::st:7\@ơP*ṽj$Z~t$LLZ^ !bIloZT҂Xf; E󁺆fk2U끜T{4LUp 'x, Wk R`҉\-c]ގDo_j$<ӈ$j "x :-Da]qT?ƂWQ9- UAD:Ȳ@כM$CJpyݨ MjC7y)f.h۲"/1G49P/vev1>ZvuHnyzy'0B[6sǺ!wgc>f袧T# ki7Q8/xI"a}n %5T{`|VwgD 0ʓLQ&};Mc9ig(h[\ ` #PqfA cuyٰJgLpVbNxՆ9P'xZr;;&vl81jǀ|ŕgb#t hUz_)/ӽ48g֭yPeԵ+lޖ`ee+h*-Ô8+~~j=)[7iUD|Q<E*,|d> ro2D2]=iZ);685[JKAW7Ḣ\9l s~̛Q9A\/7mnl;4a?F%okBA'Lm ,t9{( *hs*X# uz=TzN.'1Π𮟨ODm= WYk޼g'VF^f#0d#gIK`,+P͑I:,S 4^Wbp@߅^{0ϙBG? (6Km,ݥX{,!3-׶7־w?٪g-Cȡ+ə?ZG%*sUg{rH+Y;cOBJWLEB [eod&Ĉ ,[^oD/{9HM"nq( pIJ'`rn";8N}kdDO3F=_:H\iz\{U&bv^=vRC|bQ!1m (1 uVtXnuQOɸ5650lsh}&Z ]#WLy@0^+'pL, ƃ7vd3Z=H`K88QGP&}myK,Y5%,O_u5 ]Az]^>e up,Ұܿ|WO>˦Qh!v١'(tam`K _␫g&j@qT6^ҏ ٜTU}7xr-˾ G%hpdPfVæS?cR?uom|~&.)c0-_*c6В8@SN-P }afn!< 8gvJ@ Ȧø" ]3vL*}'Κ֍nPCr;%s꯷j& UsS6+*gڐh ]!f®` .EM]wf+jm)ޓ;cw8*@STΤZ:Ď .9.5E2騳?_ҙVHnj,?Hu^h)K{JkEɥ;zyDXPNw{^2;eN4r b ݌uG̑NR1,o:}Y6OBN8Q)>X"8r\pFIʔE9 __\<:񗴁ͯOGQeX @V`/9 N2eN%d걷E{OkJua,mu?vO+'iJJ!HH ~|aH7 ؓʻ0%X6}7LjwEߒ焌{g8"P{,1C ] ؋y;Ŗ=9&ؖ=&mlbp8r8e̋?dÃG zXAR-asG,;8 =?f61>WGIdqvPGzI|PC?bj"B:#by ?K]CM^Re6en$ٽd8Q |4DpEto-xI}긵ڴ:aW7cˆnN7^`Q̲g D_irs(κצ]= VxGư1n}ܧ&m`ΦV=Zm%# jgK]fȽ06bBLzxŦͷ׵!hR^LsTBTPA:ŷ("YV?3 zԠx7=yInQkCxVUܮQEV[~ ѯ阶YItv$r +ݫcB{Mr x~I^7F&,oG=#>~{Nr~Ǽ"7Ac[le$ l;GnSPƝ9kPoC ,V]`*)HK Dpo~ekl.Y5~UDF+vy *@P0q@bV24$7ܵy]Pg1⬫*EwUX梡3GD`z{:B*auځ aZ\InhՃ1^@Fcc)w A!Rg0kS8jtQִ\z~p2%`YbŪݦ1\zV{ܩ`)MZ9q}KJ+}S^0FJ 6/3` S>˨'Џ#%OPAt=ye|Po,^P6횟R ]`:Gn^{6I7]ș1$[@[Sĥ.XtnYx+rP}u)ZL}&HVdOw!1sd`EBGOdv 3BEƽQ"e1F.lOH=R;;Qr!_!62 6/Yκ DTG(83<~)}^YzK&S N({ {2huT-8?LA_R;2^L9R|GdPmE{IFFnoX.&%{ehkO!_kE,aT΃ `rpU Do<֑ΫCWh0бu؜`5?ITVUy2FIj3.MOg72)H40.GJ/]u&U"䦂a{nbWhHYxP_QܐBk%6qX'YYUaleu8B&zg<w/c ORS`Vc:lncH%mWao]B`u.*,j 3G.ĮЇuS.Ylsl~i'`5qS1dE^QyDx~l>9v0 ?1^OUe+e:!V&@J>D\kDKEDbEƛGa9p'~"Eh`0 l/(MtaaC++PV X9E&.qREɯ9SO omlHQ% %a30~}΀9ieI @zL@_x P:{j_4LW l Sm\bhq1@P]7}v?1Z{@|~߻>k92Hd=5N#|~2<dז䮦LD۩.@\<2I KL-PlOjƆ *Fxt^plk82Giw7ЫwF,!:׫\.7a!(# KPA<'*e$k8MI#u|[I1f*>:Dž=$nIJe51;!y>D1ВX cChWEJB"9ϴ*J6j/*];b_[^SYF"|sܰWL \ _vw*ͽ?uc$]E%Zfc I~'E.;̱<ģG7zeJJ;+wG3rzOJnG6JޥC:|ڦu\DYza/I tf6 I>v&{i-W|f~(DfǢ ׻0O]JF\7iZPl8U6bJMvHT-I]| ^"ߓa8)/mf/H4,m1㳫m<;@ ta\EBp'&BFk!.iTh^)O 찣D|jΠk)rAWZW\HKg1Ҵw45v•1r2 t{#ߺ L_ob) L:3s/leXmwi̭螠1a=(PPjvQ_rCLMYi(ě\gv|( GNa]USy~1c;Kkg6LJw*T C k~i!5P~+iWkm}- EvUH\eXm4Lo1AHήբOwhjF@}z7 2o!xR͂4Zj3ʷ2z^3<|A傪\:څY<_gH-Y }Bu(%X#q9\"\$y?N /m+|Bon48Ӫ_Is#w0G_2pN&-\Ay`PY%CiXl)wC{q$Rd f,X`'L- ɛQiB"KC[CZ5hrAr:-V4b7t!{ƨW˃3m"B*&6R^F]%d216Hd` +, i?]"J2бsqCW"ND]6KD6E.j_OȍT [<88.d^]**Z5~QU9?RZF^CGݑB uwuJ%7Git,' ՌsX}çB,@Atƕ$hPr!PC^j QԤ6!ʵ^Zko!Vc H<8i( ԬOI`0 "4EkQώg |[?5hz>- 17%0mter2v(n. p!ߞJDB|8&>BΩǗV5l 'p(츗W1"Ns sESK҃?S?Sx,в =Խ{bKǾY*h@MYPfUK6kKhO&l:XC)`Br(H >+at-TvZ8w?Toǻ><~GCW9JfEUAǁgnZ.ѓ[[p#t0{r`in©9Y3o> @V䬿zmt̓\vbW!Ja,'%3(3amP].)5ǫzc^N}2g< q:y.s:pt5/ʏ'ڲVYͽ.SUUʬYnmYi 7ad-T@L 1< e~ˡ|?F.GJۗ2 kJ瞙yN]usNgg=ȧ<%? o"\q55'VKP_Ѱs\A=D(qrװ} m~F*Oq?_g梯 /vMEߴ}hFTyw6Zjx=c9R-AFr@$h߬X&8Q` hF]' AسhXDϻPJT8A BOx(-YVK, .`.+j (!ŷ ߈+CAz Z<@?WrR^(cL%6$"@F~P>>`-T\1F=a;D6:nt.rG?)k΢ح`')Cc*ڦ)]ks-8CS'Rx0M-{@F /9!l7u G`(shrCyD78KŲc3x"ӆl,5Z`>U. c&!_Yn-᭣0x2~zH亁z%MJ_cFl[7Vii lDtq̴< $>eDFu;N1#l`gUxoQJНV=HpbM/xʿGbyo-ѼL"Zfy8,v&$ ])nEvUGeD]ˡ+ХgIM>5}!k,f~xb[,?x7vܲI cuC|HF3PV 6Z2܎ bg}\zY (]b,"ԀvD]  :OrN=gP>#pf)}MdvFέY \C`Cz1$.XwkBzOͷ|2TG2g<aI$KÿGӨqI6%*mx:ҢGj7dE}`@?xlwb ! >aez{1+7㰃lt3 ],&y-M_Aq=zeR2* xMaDeë3w[7jDv]?Wކ}>~1Ciq6!&nB+\*!IR, $l~1sݴf,Ɯ9y9Ch&C$X"`!ĨvޏF|k )cGbEbZ]W/zFk?Hj1cL5Xf#)Qs$k,Sʬoodt&5?!_XSD۠XW;#8ݠ>\r[YP?|TѭH}3tOET'JzI,8M~4Vfz̄4 )*1{n>tE k3R&̗~[A9w^Aeb)d9|Ͻ!R;v4,Nءҙ71Y|,^' 7K"Ԍ:]}\n|d!< 8$ {OEUg)\?nH6AkLҢ=:޷hR[ηzVxҭz{kVy~ꐆk\[MS{P7E(^]D|a&`arcE{v]ٮ-T 1 KƉEq؟HE*GDuM鱑hu%V7#Me {{NIQ?jPhO*hg&;7Mea]Q FXwDu)2+^2JPHD( _ՇOHvaxI?2iM m;zܙ˛'EQf#+K_@jĊL>NQLOsumls>fL2:›e”+2 :JdYi6mnH>L)k ֥Kce )\~Rfw6I68{Xͪf sgОOJ)k7LGYIwC!0yG͑/'!0`6턄 sG&0 CRǹƦ;_M(ߓgPt5m_LaI7gv9ʧ3oboV[`Wj|ۯ5zl$J >H{sK6h3p%0,WaXΆ1t( }(<զ؟0u$f;ΘD`-feB虳VS84n/OY qdJi7|3nmrx * ]1fw.#%_үQ^j6H}z,zm=z)Ql6g$ۿC_X]Yw>E k *+ئ8NHp6Sp8_`s t `Hǡl\: QZ0e1((#3C$ϗVxRpĬڊ@-[zʍݛ@0ˠo߿hwUWɬKf*Eܼ*( 5ʍs'OIYZrPI* 5R/# (CaCtPhWoF|$qFw]E#7L^7Ag1??Ƽ1H~,m`3Up8.'7[e_`˜Ҙ8_1seB>UZT[Y??-qWV|¢4s=9;FlrBf;m%Ra75U,~('Q7ؕFۣJ18ݨT{^2gxAO&;苨͝?:L_?1Lw95P+. #}k #=K񕇤V&v &DK=G9ҳ{dF_T<4m џqT[2! :?e$jdH +>[7*71I8&1gR6od<:mčؽ1)cN"ffɌ}Ayۊ26'AJ̿vS(;*vez dl+iM'a;z2Lp?LD vi,OwkuG v_Hl#بOlE^}껒YcqWoY~^1B1 mV?_+:R椷&A =m= 2X\qajmƆ ϖ˷li?0賻 QBT~+mˆeF&n6~UWaN9 DaY9q{'shɮZR%&l}}4:ՠWd5%YP|p *7 ^NzWyLx*MmGO{s/?<ߤ|;& oZ1'O,ϔ,uDy :j12)KFM_Qt5Ռi0ӓ*B_Lag_=VUI$9 cAϬe+SKݲpz# yrX˳}]F yUO*GAEFc؄z0WGe⃝9Fx/+c> 5YxvxF 5Q3ܰ(m:N %\.bGO7r8|QdxO}zej̕*Ze*o^[ E Կ/Eq )^/:Km/PI3%Tna tml(W5$TDJz y\ڳ \3 9XC@lKziYʽg;½;TR  9=tEen:YhfaY)QQo.cLyjK} W}:'jJ#Ndti7o֐BÙdQRgf<z]Hl342|sE&[` RAɷJ4|n+Qcqʢ _2]`][3lQmd>8*}xq%Ҫ/\ ,P'bvF(7Ve;vGjY`t,D rdR<>|I g]]iJXO Kg=UgwO92ǔut*1Aw]}V1Ŕw},w,uޖ=vG:Xx?^c(w9Oun, ~M,[շp%^IځU,RpUK*SӧkyCتI0o8k{.2kRJ1jS.QiTއgŝI-p3D+2/JͿDfP2x%7z^!Va^ w\Z&$~vgP[`N؈sX%NȜ@1bޱ/^;*~qr`o@ 7q{"lȩ95TK*aℾ`Dcp 1!a#KZr#1~]0L(%?{mMW8ԛJQyt=L>bLV*Ô8Y L%ZZRS~͓6r@&]fB`czWڱz/WIo!IJIvI4+YYԥ^ETJ+{O!7`u -lFQ&R#Upi*ȑ|pج'=ǦTJُ)A h0o68bDl p4uepZe]-q ;cT0 Cȉb59&ԓp"eyv YXzc"\m`sƱx]ŔM<\ktfW^,L(7Vo ۣZ1ƅ rpu{+gh]a:-MKb/Ky@e)7q(5N\'2F;:ڐNg=Z0KZa5uO$h:[M>Qai&q{vs5<9g^}wx, V?z N,⑖eT׺-ow:ye8|agM #h}L,KC`'t*T{;tG);U nK _OeQa}\*zEJzЭOP6HE)Pu#`OdjkU4mi,P˓7/%㴽vk8ơnA5ŏ"1FM\KzAۙ";ZLp'tƇAJ\r*y ӗJeci5DԚ,Bn `M$XaJ7C({Eva>[S40}/mPL*MpKLЉ\hm~^4DW w5+0ێCL򏥟ʞAc7Lj_{% ;bT:PG^]8މS.\XĄ:W?:*h\AQV.%<ǞAj1MXl#;S ބM}!I#ډѫ>fn08Wgdѯ7N]US~BzQ<[8x8wr%e0O6'm9JH{ik5?S@-O˕ taC%?a?ֆ;ڃPp N@}tR7Qӄ4W&C.i$h/"qf!\s88UgAb3d~ AB {O\2)s[Ws,Df9:MgȢ帍s:]hvz;h,8(%]"hBMDL9?P>kKY^>p#77 Is/' J@'Ei~GDr*:ָ~XJv= ځ@FpӀ0qv0IJE?A }1T<5 ϦZg<ga31ޭ ۩n5F?KfgAb5An=d]j2DLxn%סOk"] DT߬J|[zݐD cDw ? Ǯʜ&\>%縓D2}SSJ D좓^TMHI%DzNs4n`1`ClڟtieDdHAI<5ٙu#qK8 rqw.cd*Iyr%6~Cߑ IUC TaNL!:V\0=uYXE|!2}䗖QCG2dH@v(8띌ހ{B{I_X?dT^êy{U}=3A_u756;uݓ83ˉ~yYvɗZm9Q#ZYSZEFwBjWEzk|PǷ{f+<1|U<Ҽv&i!^윆ٷ's5Rx&,][&*|+z bL|<'LJpO+~#Zu #{=:si09(o ^gCWKmT 6M+ƒ_f&5R 'CRd~63 [ɽtS욷RHQuLmF J7E #I"qKbS]4P~/ .\9^ S6íK| i)wUHŅIj'Tp hC8;\e'Z뗬4s2OEڅ+ KYKiF@ԌoҀ| cc+us害Q@ O ׌Y'+pb?ZeйtGߥX HPpׄaLv2 n[0mUŶCz_ad`Ռ˒DsFnpIΤw_՟FA` @d\ u|lp2WtL~n/Ca{J~*۷I&ҏ}2]cɚ VN|Bs'-CdyA(ӟš<5%q)^@=@JtvJfݣ^Uy%Czme{ Dyd96<17%&ɦPw㿊tgV?㩕f(&y$_%o!-k~+ 9eƁ/wr-KJͶީ;KGjnuWUm4P' yhg+rpoںܧjY噎bei`IP^H&mℒT6SQApGÔ- x8{1ک| 3k2*d{VMcæȨb80gYZ96b1ba549cbad04b2a308acf41a864e681c88d2a675319d71f30fe1113ab62adde844862bf61566dc1333403c22dc8fc0ae4e661507a58bdb1e66a48