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 RR9~<| ] HOL-Datatype_Benchmark:threads=6elapsed=477.291cpu=1928.816gc=697.6247zXZִF! lO {]ŗXiɟH)0%oߑ{гʔp9p ,S),]W@Hs&~Y\y,[8uI`,EMS?[x&G}﷤/ո N31? @l+ `Vȡ9]$*YܸF9QpOa@ǿeF Ì,gsw>ОT$: h Ȝ = X5qfF#͙ /vEIָ#9 Wk(o}t뀬KèAаf*rtEJѬ_H j:}#DT/es=;J~~ 0G/]xRč/<)12S$`%v I#g8G≭=]/dS6,-gbʑ9=nR.^v3 +m]Tz;-F(w(o emH>qxMOQb:JcEm"%v]2s_yD"7"<vmS2\x_銣Ehg%2w3-c4=>]s80Yf{0ϥ*܍t+ƺɺz*姮#uq7l<:#);j,2q2_OGK*K_h3mFbim/Q$#0Qgk:DJa'I^=ңddQC:Q.JňQ%-\*fUn+C"B*2;c I~fWyy-Դ!υCccQerATdi^Nم(Bag"I2 E0IEw}wk9UF]d{&Ȝ3%PT?msh&r>  r.!~mg [B9`[)p!P0tF!Ԉ8,l9K|3;gJ֘'10\~y6,聞v{2oD ҾK>sw`ȱ I< I +xZh",zPy\}O*]Ya;#FD1pwÎF)DY'~;!48'؊x*2lG *FU:ҏVȸU(0R&Eg`9ϔ"ֆ}rbL&)k(5iE,aiM*sϾGfuOL ?&Io%"GQRc\OɌxZJ"wLc)4iբu"ݟD"_*ͮ&MH``NNB啽z5%re7)u73Uxaˎ٦Sn @1Ai"9P0pEkk!J(Ll=}YiC)Lsz;'T󝜸fH@j]\# F NU&i| U@jtr鯅R{+j9ϑL$6KnG*.p><џSU(r8x!X*{ETk=)Y 4[G̏ROw91H-x ULpiۓZ"慓;1IF&Жzڍ CIs'5L^sD ܉v,?[܍\F?b|%+ou {yl8+j՜fY>Vy_,?C nj"%6Vq ¼SW,I7Vk{-8kuH E,t$X-NQF,$Uc $fOP8-JcW3R=Гq#sWꦟZ9FW+hF +@w8;ǃx!ݦK$ql7q(9KD۬81F'*zZq@IJ5w2EIǯ`n>FMB.0+l _3>93%ms5*@_3!@AIm Ip6ىd|kAxl/qo_&O}1YOG6P^h1G?@E~yࣕY $ȱ; aj } wF;dm1!&5 2?]Ÿ%5'KxFUk–#oܐnQKOi7PW'1d9>V8gͤYJKlյ]~O3LL_d'u 9?M q#e@B 5)jxFbnHX6rZkܻ jƜSK7Ym^f/{51+겂">Zc/,=KkҠ5S5ɺI~v?pۤYgZ69KxWWTX蓩R%%ӏڲnKwkչ?5=J7߯2d8;p}tGR{Ғ F;&gYZ7zXZִF!  ]ŗXiɟ1)*u%9ѧ 8mɧbS%|ܪ4Au0_gsZ(QOv{+ 6p+*Fux 6ш9SD_pU GP 5cW2UqS56?3}%_ȫқk/3lADDiŭ!T57 ˪wc'\m0N8ܱяCːhFįwVH+,-^x4)b.l 5Va4w^ӓh0wEHu!}u]9 _VAMrfKhA8wek>DdOpe?L"MB)T@Or7ձv)7Sw%#lF˞CF?{gpWςqXnL8y.{;j*`W?p<]EÜEߎ}WI ,o4a$l1 udlq"XD .e#Cά{$GW_=JcHxp>f - ٷ%;@>8R\y I:}(OSC-Z)50 pb#`ӺgiR'*#AƬcׯ"z dG> }C&8g̳h/Ճ$ѱM5A%125Bv6_ pIVwZA.?y>+o2VWCEӎJ=XWL>I!5m@ca8J]td3R0D y%$NW~PVI@QY{|nQ:u^gu7.楪̠'9 N+Mr,!%.v Õ*s썔k2*:ڠTtFD|{&^*d׸cfK Sf,ak 6U T@u1=Hr$_AA1-Kc4༻!x*ufP+* WbŒ^!b6lz߇u?$>k ΪOd; <#JUe/+Hӊ+ߘϨukC}>yQ>cmϢXq!ESIi 9uDΤ@9(+3ms<6B:bO~4 dp|U[#GK7)ϚT` \vfKnJ OGuss@>WV:{䴀? =Ŭ ǸXn-а&a7gudp_0wz.yA‡]}$|{wb(ec:aM,*(-piqIjnNwFoc.K.)A \ -Ufd1"]҉s ߸$e }%$xYDN>LIԩ%4=p6bhhQ_dwЋ{ɨ9㱀ͫ be _܏Kv*] $T3&sKI'Z#FAR2M?MCKs"0vJd3QHQrڤ5jtSn ߐhV/WݩP^~юoc*a/Sٸ+EхȅOd ~5W&q2;<t^Ar*BFեc_ʐ6=m:_jJd8m*PWgb j-7Qh'RK>*P8jW)HCGP믔prozX+uԇ2;֠?6Vf4e/ŀ{= 8ƞRv$o"2TMu:a2 rx_8c&daj$W.d6s $T9J2μ٦4 qt3!,{N#7?aGQ0Ht8˱07-݋h ,F5\c+k6?u$^Rt ż.m1of{AAXƐ"%mW3Cz'7ek mtUonStmns?V]Ykwl$Gf<$NzM8@ n H<PE pE-X_3Z^Ð#Q5H :k^_PfB>KM",yL~KD ^ 8y Hhr_6ahk1z=:DF|B87'H|zqs:}ul 'E  7w^$wdY|>i }F̨ 4LJӊN‡{oxX\%oqfsO2{-CYwK ɚc*C=;7%%:8L4%/cC` 1־tߗzLY7A¯tyyF-lwq^(8!J԰n ܆NpIq(jfI%Q6` /?!|ЏzdNAsUJ}z" |ۘ_8¸|.r mC13K_3TxI"|s,"ɏ+O2[i *~(LOᝥ)c* 1!"Ӣeib`(VH TxĦ)E/|l.,gh)@쥶6FU~V.#-|ѰȬ?f8彂'\UՔK?7sXґec@SЫ-El(B}E7 ȩm7-5-/-}* pM{fkf 5Ca&E`*g0U'jpHTOU}cz3Y頱~osc ?8ah8,r-AS::`ZjK?lp X1+QyZd3Oigk!5dvܗX1tFg)qEOOS]7Jt|6?+~?%JMKIu4PC@iҎf Hǎu#>S.ԝcj3Ι+]# Ta.ݧMT>9>|옾t raxWӄ+AL#'/Enps&|3#P-2HH,T~8&× n!ݔ0aXkr #t̵~*Fy0L\=CA"w+I=8e_8L" N(&}U~o68Jd]-ꤺpE4Q|/b\ *3i~!- Hv@ȶ/j/{J?| (V.Z2Gゼެ@+N-RHL%#Cyo`|Ϸ_n_졸#h߹s=sDE"gf]w.#"?M7X9˩P`RsCaq-%?uzw+ktgasb`Hh? t.IghU =jjAMXƶ8EyLT\UD"^: NfxjH=J!w֠- ݰXw.Ef"B٩I`4/a%^E|߃-TD %/ x&'K?͢L_ZbM#BV*G BWR<^SE(b@T4Ep(@%_v.ajEB!"W-KU/> c~^s_^ &WAVy;~O2|AK y\,WZ@(JF(08Ҟ@{zĿ8;?-:xO9 '$8Ȫ[Z4%:$6U{Qov& QE5c ]c?c-.+jΠtSL0 ըBsaIj8)N6~n-뼣 ’!#z1X 1eIm 4_`Hs Jxr0vEŏ5b>Z`2v9D9}8|S׽LagtUWo)0 7~;H^>PS ʠpr _7[H(s*JFSc5=0C@q n'%+z!ᲯFd,mFz74h|3C WwP )l5Y `PRAslHt( -Fc"K~ka$ 4 DH{|f(| J*Y$Ye[V\%*^E ]4oII]32 󺈕5䬛٩DB7oN c|Ow|T>$P>yۂWE5'W+B. bjO@wPDq\P@f `=/qOp25}wm8QkstE)oG|#y)L8C{dłG>ZDlL Qը34Bmpž:mU7◃,2A*9`9Nk>"rpMpBI93>MpޅlJ]]11sg]Z*Zy;0X _o,!ޠO&/GΧk6VAGZgv3qeT3ql3 :FJ|($<ȸM y}cy|5萭fA#UM_>߰0`۾dh;c?.!0tbHڣe*)+_gg|技e2~gџ t7|8: * XNtG* t~^g_ UV{ x\ .<*~3x-pF, S]f&s$@ >" gX9~.f`P]qsm}{tr׬H 3>kJ9iJEg}..ıEAF[q+xtB`:?\6hl2&a0tfh5a1$Jg3" <}]? '߳^w'\?/oT-:!|ޅ]PȣkmT|kTHx;+zڡ~QsԇBh # @{)It(hBjtU/FXv>G` АX=gM+gQ YG}h}ʽOy&3QOuHpT@2%Dƙ_:񀄋i3%+v]3~aN -9Gyݜ8POu|Zr6b0ۣ"*c ;TmtSLRk V6|ld 6`sAlEv)KY;eo 뀚!~lcuq2 ;ja_:5p ݞs2Bc:lN |;_8+p[/+,n77$4ꌊGcvĎĊf"!omE?0p"gb.:>Yݛ:B(i.n{~Sȅw"lț\k 1y)Ɂ R>!^C #>ceW*8ŒzN ej$έV$]P,&`yX}&ۖ+3 H-d+BթT`U{U4?g;D*W#Il7} XZI-v1]4g\aH3f䒡VdBi'WۊUKT&]0ah`1ZjPU%3֢15e"ǰMǒiLBgl*؇Ց:OPjxl XNLKQkUpS[J 68_=J㼔P"\t@!)TJBx"R+QS,i"*=#Xˢ3ndm#ߢ=w+-Bi…n 5=j ՚ЙLrKFVz䝉ZR fʪaK8K#B?Kڕb4v0v ɖ*Sh[|FRU^3fVѡٱ Uz P.Q'89X!N&_W~ 1/kD>Sd&U}. P'Ƃ!*ehZdǠTjvuȭJ'o1mS){W/J #S)g=_Jʽ9&LFw [t &p YfNz;6;jd 9>G9lz>•[UD0 D$Dl*x|+"݆Pzw*7W@y^"t"++mR"Sy GVPܟm/:e_dauEA h:vwqڥ8F]/${nN~ʔaيܓ(aYR%+<OBx%iivqzak+U% ɍv\rXrP)'L)f$(! &#Vrڃ$y%.UhkkrA2x[ИJy_ [y衘#]#4#UM;5IzP>_v<^œgr%* Zu~9g%zZ ?=: [6FD/ , /oݯ4aٝksaG֔t(ݱES>q_Vc<{"T@ b6rΙVag#шf*(Ǿ~r4;xJQNUj=6:y'PHK''-T4"";sBNs^Xf;?FaGO?DgFWHsa:ϮW`"Ҹ0R5_?p|*a{[F/>X*o_Bތ}rk$8(rw EuoA W$ae(TA4lj̨L*Ad$4!!\1O$qz{k .j%񑜠.t'I_+\MuM1ښ}f.nuʉЪbARoPo}tCr\! QhCzQ+ \l: rP!p#0S=C!҇pvtaƟ5G|G/c5B %'uV5ͤ۫6n1d]} ̥[. R!MBʪpsTߒ0W.ft8e-o9kUP;[ se$40]*$G,BYbb(\*쵺 c8@5ogL]Zl-ˆp~ CNvT6QR-~`jV6֣J$xۯ, "b@Ӷ,dQ\ǀ2]L* 1_Ler&yDG^T8:0UqF-o)2|bh%<,st| aP&#*o-0/[? ֬Wi M p[zY7xőt15@VN. Jqn?<LAfI.>9;Jhia;#m;U`3D1v;}VL|C"} b@JƲ A3 З]lmxܡT3ܤ]Rέf++60.W=; nx^Ѳsz)/!NO1CMRVΕt^Ao7=6VlAt9?SJ!AyfeLB+֕o_ls9Jbɋ~+O] W[t@%6mK`'Puv>}%  σ@JA~(VykvC}Q`~#ptuxCT\ZYPQIS,e~ ުmG!fBu{qZ p޺-Nz洕O1 əZwd9@tS=ugB ^)R Ulv[JV/wFh+rP[s޽N(%Q EZTZ $oi-Ps} I-cT{"8Ku6-!G]l|( ߨ ïh>ʝ71$aRPy&E1-8oˤyklJ ,PVUu51iA.#e;bN鎜8d=` E.٣PchDD=8s#f)NV{+/8>{%?^ ϓ_oNN,b^Z[Y-9me)("$?<*Tc֐BG6NGFNek-}MA(x;̚[6D{MNUi\N&Mzt(vۇ nI5joZq7Ke9v*[d4lef#r3DpB@7=ԜCQ{'i6L0qb$H4n7۔9xT^J9[=8= |~vI<h:ČQ<0-;~m13Yu5eyd?\mgB{YVx/`fs덾%˒C&e15w1ɽ^UBFvt[Fy ;i{d>h,Qx~rR8=r.s9Qv Y8T kh~ 䱢5_]Tع`NЊ\>zZtd։Ed*(\wuHYm̫ 0RJxs659a4Ή3~T5+DҞ&{^q9/*dC N GPy\'Ǥ\DkY}l&6x3RR7+-lSM%3_Ȳ>#yI+(1#L6A%[56^M$!xC+Whї!kV"Pbd[-R'_GIFfd{, <GVg5Ы&*vKoHh L*m.u10CѩTVٌ>h>eF; g/p &L`u,WRa8_OKSryR 0+6``%HO5zTVc єmDrCX#KGIW$?J=:Ap3.5g-v0U(r4XEI˖=9p3SF0mӃIY(JtSy;x+ҊNt#GfѷB# ~nd 91l9`ԼaսJq06br20@!/+,Ky K,&$˰ +/vbvOfvpS%!nAw]!X8ʢ =&(rB}h( Ll+;W XenUo8Aq_NT"yeqyK2C!ө!>:SAQS̓i@#dޜ\ɰJ2pyRH<[$lR cE;^>pd26{_oopo΀CbC6o*LvhV:K)S hTyM3B g-%X΁.G6ZEVF[ 7(YE}Y;.{#} !%z ৳xhr<Dzm>A9G HC+ϭvը*X?Ah7>9wB/] '`w'Cy=x1p:S&<|Ű&e#h xk)ɣbv'(;*;?,ʷ=W3o +`/LI}c|aDIHfT+*n~Ouǀ;pZv9sQHNnB|<,qnDs'Wf&g"<㿗"w?i2st ߓaRmѫ'>3@c oo@ebhs ?GunGEqk"^*onmBwb]ϐrT;0]skOX rWzLgC=ZL|`Jl6z.x;ƕZcQA]3li!s@.d^.vu+mz"-{^_߆X.7V #i=2w)&W^NN|{}+\DnBM?ObӅo|)<6?[|kaKϳ$&}.n"K\N<۲ ;%Ăb/#nD8WE>  [IPVo%#c-khGt;\5tcz r[ ['2ZlތdJ2FT 7sn9r_pgK.k\UcTBuJ9j<xѲ|}H$੆2 *8htz7fLIۇL|ӝ΅)](Z(G@h\kC U GApkCٛ셵tqj٘LE[dT&Vssx$5uK;N_w LF:445ݓ5m;+ǥ&1@BقY)RzLݸ2^'S4 i լ2 ZJN=`#I,<ucLbwtm76S*)_\'s@̋ .+e]#XXng޲ۀ#jnŇQ `/O8P+Σ.1ߎ >#3Qh fR]7(@imNXpYtO;NI[qj7yzH43hb{VWs=[c&a]?bKkQI:GC+*FCn;:mG;º>/z-G TuN cFWAr G6^nӀǣ<(?M+դK/7N_r3˺u6*iKx YPé#g~GH10]w$Zഗ&Bc0=r,#"'왁` :)斄׉t!ΗH\}GgWqmM*tSIVKUo#qMNKmj!;l#1yC^i70* eM|I˽mKE3BY|f\i,dTA_x Z U!{y<afZW0-A^8ĽϋN?)5 Lڿ>VWLue8JXj\}Uf7^w8Tvcg9zB<K͎ö~Q{Ϗ[ }\)ν!E J؊;3ȁyuAU 8vh>';FMEC>1n0g idHDxCKy 0dɸA&1AG 0rDW8z[LQdž@6CP]QSG g,>оbyc3C)Ә +76E˝p^l^ `2vIz_gaŖmۋvvϯ0_Oz,#Bea1F@9#HS"h褣9C̻Z:ɊEtX, p'kJ4MsT%^hchFAkZ={GTkώB<ƼWmƍr-l }U6*/˃QL(E1E >%T?ʆixlM3aj!D0 |X&)P2~ 1YC?FPTbG練}q~"nyύ"a)m\gi R-%{ O"9J}xjY8*s{nėg15juԋh(3 jD 2+vy KRM*^Q Jvִg&h_[08"!%5UUy9&xթ"ׁ8Fo*բ#,} TNYwF953݆Zj{e!m\y=rMWO*$ S^<$Ba<!Z'*Aq9;P27B8yoGF fE*йutWvg۲3lW`t|1CgTx~z [2$5d7/-esJf) k仪MdFά O!Lj(H:T\ŗ$ppFvGW} ߊ ~[MQxŊ(|?| r;Z؃rk (MWO&L 7ՠqqgy9Y~ʖ;C!X::nֳAi.TD!q$@n<%& 25BnI)yt`s93V`[]eVp"Ctt 췪#I#< cwǤdZuHe~}6ѤfΛ\3C*EX2]Dj {y}M~mly,&1gq愯-89Z~=aW}2@fYt r'nG!kLVD>M?ߨmilձh3!S f`~f2żA Q?r4!:Lۂl}f*{\v?6{pb6cbεښN0P6lW𷠆vh  j+lW)udO}ߓGsF _wB;g3oUfՅ 6y^\y k) u 5`SB[*0' cW=]% |6֯ĩ Vٖ hņ+O$8L49:?ǥп.w"T໩> %uסs uvLsG\ҌPAhzjZdq>\CHl&;NAOEȞfwqu'ѳȟ-I&Xxa.-I_,Mqhj5 (ֶΏܡSMGƌOĺ#Rɪ 3v;E [cJH<ld޳9m)uooڼQp&O A!H\D,H.:K;kzkʹ1 R"fO$0K[dsFPj1Npd_J%hzOntzّFT8c E'BΡuE^RR#|~ 'Z:nENVyi *hM@~r\Oe nDz'ĕ{CC<\z9X]AU~% (u}8+m6\ &a] np`IB_1o?x:Yvy0Z:ۥAY/_R5^u%AFH7C0(y өF)t\66O K7|B2K'@Tfd,>?c@hՖef/q ٸ+4G"\]a&9l<hSc m[мfqZ5!<0?'ͷMU ]8(o#QTxOލa&֨diVOK"*#B[at=()2esqNIh$M+V9Y;pڗʗ̯Rv4[>n`KFƚIOf#uJq 6܏>#X5i/e$V( zTU&ɉ˭ xkk̵!F_yh|JdWs\tX|dI%76F,b#w{ e|X^޴g,<2~ 6O劫ߏNl["hdBx[a^@F"ߡ[1^5jpAh6* &`ިZ +J©uhoX0pt-4Esdo?6I OSAϟl98G6MWw: jd:kZcgvhXˆߏ4_i7zS :Ϧ(P"RnB8*dbn1˃47", ʣD+oG_;W4t)#49tr[c^fcvύ鸔T6TZbg\8@A'@=f'` 1O A>\ Xŋ(:XIV H$ђ9L,OA78%M)Gx&' lN8o?WG|hx\u~Xha(H\K_7 =p6qw6ԩ0d:܂lE;e#M s/S`H]1W}'R$ZN@+zR1%»QLYbZ W4 r\lӊ; `.r;dɞג$=jLM_L A\@: vz t&O.)[Ґ#aPu["1OO=cA/j&H5T,}n&p{Գ6gjXE Ir6hICů୰xm=>*&$I0 &45/!,o##p l,Y/@zdG,2JׇO #db^ pl^,8w[/`Am"sVjM9O_{D zШݱZ/ v/y3ୡeyf$;= M?wlh^8 E'"v}mV[00&,Ey) %CeUȕ5ṣ'S͝(="Dcgk9;A~)k OrۛV&G/^|{v+PUzo.$[V)ƻfdЪ8W9Gndϛ&OG?/ʌD!ss#~WXfISTUD̖4s=6QE!pł'$&U d}ҍ%ugQvzsf=2 _Un#H*c/v[)k'?5eQ7WO^A0pF GVb'$j$ *#4AFOMNOy"= )8{{̐nKo G:ʒt"FB!t)\ L++Np#ܠ5ąh* Id[ KfD*eOʽKt(ɑqIbh`k=Scgǭ9y \)IAZL"e'0PtEΟ{vq`{ɫ446d}ýa:ȝ=`S'".BLm-!IUK^H-[ryVSt fMuk!6 1I2EsVʓ?݋'Eg@dSpH.@1Z*jJ%\@<IcX*Vn] ד&@;r%oTI)Q+~)9`_(Zx*C{~ Cu:h2YWƏULE0_? | eղ'Po^FnimMl=: ߤ 8P= 6lԡk%$jwfN1LA_zF\'R *^r*}9Ja c؆/s t3{j^nWN0n+.sdBVJsGQ2n㠠xj }N cU:Tl[ct a|~OTBָl;F/@A;An>5SLHC0{u\u&㠋Hou::\NGЁ_R9c<ُ B^]`!SgVSr @K4` 4 j%z6V5oye\N1;[s{tVʤE`0fޓpO3xD5' "PYAH5l_+a!6qRZEk_atk6NIŤ4n#+L)66H8w-? eWJ4EsosƬoŷݤ/AS ?&9FQhut^$@Nvs5\Qس5o#PЋ"BsTx8'h;8Vy8-}BŸ߫Z7Gh}'x _\x )fVF|UqghKϫfhߌj͠XiF9Y4L ..C+"1ZaRYZq-=Y Fd9 W"ө6L H5q{m>MiKc$FW76n>K;GǦ;`„L|k-TAςvj/{;TeI|i$\_]:ͱHo_䪠5 gq1GJx')^xS0 a˔Cw.0ocq^lB^8[=ryDzHFsÓ)>h, @xL8!z|eȶ*9q)LKpV_T (+l0 rHyCe#T"QA]d}.")ݑ03~z/ItOQ0V:SPgk NQPR8Щ#5pyTh,s(Äj/ND~ ?fbs;8taUN5?Q*Q,42\cۿugBSX|V_hVhj£}nzeԋaQp@F"o`%΂hP 쉝%حKت\9({eL%d AAHrl:w(i82ߠgTU[w\Bkt+F|YNw MRR7},zZ~}oL 6}w``Q"OEasB,,TtYͫU2q6]J©ϩ6W"Yp P60CP|  'B l PIaYbٴEd:roXmV;MZ]1_WnBtý?p`{!_:4Nv [G5P߫7IH<;q2q;~E7kO2Ӱ`u'URi.R~ gEy!=ur)1IuZ6kũK8 ]-W!TR8@|#fV*oc zOstce,,mLp"DمZKGҩk +hĈ8QerP9V9M41*aoEdhgخ0ikD qC3|-JDϟn}*s{J(|t˷?̘%>˗&jNZ.51A-e!K`K=?C/V^^=l$wj4AqT\wA[FV4\ZO>yU_^t=\CqU hАt~jIŜSE_A¹,;*I'U8ӒEq *H9;ztBV4'&tTW+ KNFYW "+=/8]d{Ǿ+=F+'gVӾuxZ _,