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  8 8$5|dT4 ] HOL-Nominal-Examples:threads=6elapsed=241.878cpu=1166.708gc=89.6367zXZִF! q ]ŗXiɟH)0!h]?W ߹ĭ˱_Eq8Fp7 6>FMJH'f9V"xfX8@[+G'/_ O Z~zKHo3,ڱ&u&#'6M4>K} k7.n55 /:F8d&]IDNu 5 HOL-Nominal-Examples  ) J"Q*Cv{/,V9>HBgJi`%T/@[DثÔ= Mɔ釃R?w3y9Ohb;9B28tkI5Bg%Oe^{'YE(B;|EpF%/҅8LBl{kZ`+{%q@]/LzYB{QwW%tݧUKہ7|C!Q2!B[J1y#QYZ&ar?R!(Mq?*)Zx&BfjN . ;8?x M(Jꑕ*d}B9C1ZFԠǹk氂1+J8j]3KW9KbO9S՝uKeOE)Hm4q/dɘ@%(;ks;>rk4:8s3Sk)+Sk?R抵2դ~L۝^e:.V/-2|"X畫F;x<C8ߨۮxRJکeT>B%]0Z?z\Z͕]uBre.h%YT:1LrܬɘnüuCS@}V`1jNS=wp:& hJYad7yd4"\HmxkAlzy_Qd|@:t&Ⱞ CSRh%!䙣>/9LH.xùBLڞy,bm"PEB $jmʅE%0uig0͢`PQ.MZ~Tۚ Z*|WaնhGPVbyxp%@C,6^LS);V[ ȑs;ƲچyD5ㄚ7>%c2\#db,i"]G?ò*lSX .I|_>{ ݑ7Rkum6\[ AVeYx^顷`g_^L|թxhkbuտ~}ӪC]NH#($;mvq@&D;"*Y@s^59hl4q@Rj|o`k@@ܓhRܶ AV)l83(!OByJDbOyktx΢CTsn2k6TjV2pPN~@!(+_8hH"錜أFlw1`ǰ|Ef>ɖHxfcHW^7M#-6P.$!1>n~g~mU$b,Ade_t,0Fb `(~ב]Q,Ú} FhM2w,KABK7Ԕ_ԇ-f5(}s$39}Otă:Ya҃9jj+>? N(O!3E_vI,E`x c>d|#u0ۋ1/+Eo%^UF=,+ 5C/1^fWU\afvĶ]d{3;$lseJz@| esEϽ^ٳøapl4+ReO SR28MN){tK^6~J"m߁'˭0k]\-!&٥i U~bì/{*syi/€3NuhR \Q Љ)V2)#~ :8pT1˄L: si:N~}^/H͒5SMs$LOyE`̢kTmjUd)I"ȏ o--hq[S\ŷ[v(,rL`G[^*&%NB|#chӣ:|o4_IhLj_Y#l|'AB^=  𒍬@Ɓm'FT`ZM ,uq[=h+G*x(ΎR;&B\lkW>IJ_jf1IG_]PFm]VwOjٿApe<$*BA%{U5LkXKlz>!O~kg{p*Mi.5xYY9v'ʿKVrkO]뒵S zFRҒUٹM_oL[^k,odLg64[;u(Xg0 :q(~>g!_v$l0_"M 9(9"q>.%!RΜ#9fZ m %dXTT7i4Qͮ'vn=*)8lqAK,5/ѰB'&C 1ɯ-Tp=6'Vk=d_0;KެgXM?•{=cZ72Ck gƲXcڮ7Lm)J$:lA{v㿐Y:{c"^ yJBp>8RaElPG$ _=*0:|]9XJS(TX ;pZrs;PiCbq5XB6S[X)jZFW=3%ľ?"z}VZd2tLuTw2zy.hsoW>Gfd,WPLLhj*-3;0ÜIZWO""BFꁧFq,2=$ n]:m5`/?9w[6 v77fϵBm/BJ)t\Z?߶tLy;r# b.ootj s;a3ZD[~|{ Nr.9_񝣸p$߶ 6KPgه!$]0qq eEB.;d~h(=;EEq,h'J/e`aHO3]z ˽Tˢ=.[| L@&#%';ݍ~֣5w(x >'yLv{ ;h_ b"4^j _>\՜˧nivE;>LcY~ʹ=nt/lUHs~=]I8h%8<5ėkWjJ^EuKe4էR1cjLZSO[?/.kS(cmW^W%N}fɡw#/dv:9>Yw=;Ca ^twײƟ@E@7or=Cb:'c=fK)zapPp9jEE:"AL;0'w%ީv}Xwܯjw~ DYlI"NÏqn \E܆xn=;>vfmOiiI'ac>-R*2;d':/+ĝy6w!?H[/Ռe(%.9 q!ťO4Vd0('vzUB}L-VS[UGg/ē׿|l^aywX vg*xlcl?F/!`hd_{6WGLwwGhN@w`' /I^tpr mlhxB; 3urLYHlӦgKA%.\COOa{`W[;Rv%w`3CsVvtZZÑ8;(_z?gKVv.I1 ݘR=g;r0)A~ں/ߌwa֣ !\~9HCZrq@6&yQԜ 9j8Vrhz.[ OX&=hwlk"gPodB.S BVWguJ2 PMpE`F|ASe 7Q'N2tm6ǻfHTim L! 7+Bߧ~.u/`׫د4j`偪 3%9^ ? /3utp痐7 >,;GNӧbmYb#>ELuO';vZ, Aѳa7!blTrdzf$9r7[RzÕJO/qA[A BGJ/<5:Fe& a8iz`I烓JSCr>Y)ȵ2E]B+?{‡Mv˂ӹ@ݭw?,]6Vp YjczL俧#T1" 0~– GT p_ߐ_vʘM񁰸d!QCAW?#|e4v9ǶhxŇML Z :)ڍ/sTŸWͻ+HWʶ@#Teiw.o7J22Ӝ'NY4k ZGhz>+)Ti1MJMxmWeGX\5 1b'- &_Y=<XE+h Y:pgX#=M*VYkq9˙9gO&XoOR>tՖ&h>? 2 B2'jWf@k'@R,w4$\+4,@vad/.փ/jSogg2rn+"?.~{k_?fqYs6b9]8K,wwB)`C6W_0i{aOș]XO}ZyrdD`]bEU^ʁ}x{ hʖ WHTK$Rh5TJtDF%o!Qn4;':eqaI%0L!BsFY{sYfJqvd"`K&RV;:W^8C^jTx=:*u_ݓ=޿R7-fn{n7dkv.3*V){C%dI%<u0_ɹ:8k[T'Nrd`x,ghFڪ2ٍ݈ CJR|sLj+7!zc|.8h&1j*̎a6_+ }s yS;hw,x!)OxjEmd\H2/~ײt Y/n@`Ģ\Ê&CĚB]lYḪ+:_NX3?>a>:wÇ/ wv3WLx|([0ɭ׹Q9g[1 wYs:X2чٴE1˥^8ɳ67.؟-|- )I+u׃:ydo(XapZ6|o j;0 k#6aﶄAUMIYn˻PؙtDLJj(%7bOyl̜'YVL]pa߮M˫\Dg4_5 ,52i.1 ԷeHp #UhTƫ"MJ]K~ܘWJ̺6Z 4l4uE"{y΂2ͶVDD\)Vi^x$Cjui=w1o-cx@2)!OD~.?k"h2P;7n6N#)$h=?RË́&8 W[*7֭1-m4kWoD h%R 4J\B߹Mj 7e-ō{ԃn u'D$CbZ}7;qv0D/5Yiq: !z/+1ˆwŜ|6I2d?¬q}K^xN, sYBT;FyZ;ZOK"d+Ѥ"?V.o/8}6K6׊]]4sw Ç's=CnиzXLj>U7=^E{g* `T)6tLh6.3ؘN#QY|  qw̫4=&wKz֍0qBTyDjv).|ƭSlV-{* u +OH{m 5-E|YPtPڶ){JZO-VϯMeNֺE-:$ =/[ "nɭzH8?>E E Z?FC!q`ɥ <4D_?,pS!:bᝊ?:=ΒEwTc"? L^ƌjN3t~bL܇PX?1v;+f+p `XkA(bsgYZ7zXZִF! x"]ŗXiɟ1ʹ l93攀Lx3 a9lNXn)H$9178 k#}/&=%sjGZX5]v0u4[(Ŏ/r!֏jn# jb&Ec QqZ(vk6QAWmfZ7M-+D_\~~7nD6n'墨FC7fRivuR|$+c3r1cQ@+1 'pw)YCJo70Rhls?#oF`z? 2Lyn1 q4yCis |6JiI?h_ZBCؗI1/$d#&)k A 6+r+X̘T12VEd1&y%zz\mdl| ʊ)7U Y[>K4Ԇ&@C_ewFC -ddnA[ ApRV8hktw*{kG?tgYZ7zXZִF! }N]ŗXi%L(hDV݅E!oz8$%UaG-D(Nޔs_9<))A?h݆R}趰b1e9-G$)JL1n_ӗ,neVÒo[ʬt (IIgD9Wz4xyୱi mKrOw`4ff XD HG 1HJr٠V_q g5G]|P) C i$(уC, E?՞I 1TkY{_'CΡ5,F?f;,b5T i]dJE&',.w[R|_G=P/Ą-&H9 sqZN]}NCqKi| yoj7|OmE###7R9(/}%ӭ5T:AVmY 55XDBI:K܃q:$e2=Z&,u#@62l!f RNDe{₦%ûZ+|wXx?ghu#LCUț#XjЃq@3mfT!nF5V3K4*؂ ڍ*`(O,UG:fP هr>qid5;-x!nX:0B,R sG ]@B*-~f*XI'`o o8f4KGB9|/ay _JjM>Z+UK4R `0OQ1OOZz(JoWU56\L%8UےNcPxбh/drG2@: A3Eo/qwM~ P&vnqdԷ ̋ʛ 2Rq@J)GOHcBs< 5[9a3Gv}/yIG,{l:zsn`#ZXUd`=(B6t1vE7HwWS1QU~,`"I;y*)m+0+<gX(MjO|%h@oy^5aJw$Q6=iKΞ΄BN5<:Ln h~kV* r*x򿕦r|a{Zm׆S[RzAF6w<s*K l\ʀ֋Sۄ=Iz|FSUL |OMgavҶM(F@u,?unv-(qeWv,j`C=<>RR>fBg{$B2/dZ} =*_EJn%9'W3&{EI>^Мa=HEșDVhL])jOt9(V81-{krbLHhՁ&$8DUuueW9f 02:Y@Z|TSukbf-eȰe_ TiۯLB]D0\=Nflk!1孟N?QTSt6ݴ.jC"u=YNQۆwmIMNm!t11K/=ݼ^FNr~ӔFFw0Oux+g>J7 $+*s11:ch-]W0P,%6' ALgdyTn/nLQ;2g]A=t3u~|!-G׏סhM2 *1mئQ# e?ޒq3py{u.xow2Q]o k>IP(LbLa F2(q/U]xǀ$f&H,~+Sf(0zqyֵF0o_?}?$8MrG ibki[U5W.յ /p<;jm 9Lp8g0?^=4enʨt//?hFK( DRrVfQOMgȅj.?(:W#ީ/]2`Rm `ҹoB}X%rxMtkoaKSSSYs97Dk\.Z4x|Y[x$ãl{\כEvFVaً|gr=,b fC C,=o+e>zl͂\ҰSIC$E^ߊNN/Djb~5|5U}IC|c)>jOrG^A<[FU$P/c6S%wtYT_gc. Avkp+ ͛]_%H3-)+eVF>f %bݡ.dN{:r:L,ԾQ{F}>O .e8RBZ^rf:ߩLk_E͗?%e2?tXŊJ/dqܢ֘7P{&CܭGl}Ʒa"|4W>KQ>MSm[`W8}?p Y#(y Ik @| ®0]'rU >Tkafg33cEn ^\0B}Sqj^|A-*i>t#;kh-5" xk2zrc*L$k<0.V{6b ZZZ\v^$iD \Nbs ηn9lA w#HiQȗ Qw'ě:^xˤ3SE9+÷;`E`~t`Muu0Ƣa}OnJqFhŔ: .#1`*~ ^}#@T4ʑ_-N 2s»32+b2b9 myds|ݑv0"5p}}vxߣ,,cQvPކi*YHܺ˟/ 25HU̥뗮k$`a8ލЈh%nxė+܆8^l|C ^,/AzL9B[^R{Qt@2}@'0x,AJP$ D9g!^`To2$'ԁBNG;Orb0cTX jt{ƀA )g͗({af*@vdCdvM~Q<7ŎZqFNu/'@D<*]W:ӦtJ-  ^搯^W,OSjշWUx@4R(#"F^SLɒ,mٙQE wDBnsaıשEK+LyrJ*&&Rx4VS_d/qR$V9"Bi`4oZ?B.H:5F3+/NH}XE㹱>Kd}u 4]Jk+f-ZjM@ۢbwv?(6+ư\|E_m~( y-|3n~BzФV| 57]t_A|4o6M]6x'I XH{96HF\ؑpzšRcӍ[D/-|WY" T#魦:6y}f#FWS Akhb{,Dfpa:,fOڰζE_IRY&\81Rf\r1¨` yQB 7jc:{!KYp݁l&"+ű^iZC.:!A:+? WnAtB1Қ\[T" 'orЕpv4aƫ5LMPq9 ڿS3ȌMaJ7BaVkө%8m/s6f{|# h%bשH+Yiw?ӆŸ]rW#)'~l?*MZ +A Kw5kie[(QCtepR˯4Y䉑!1Q J-:s (H\FHTyi=Ͱuy53 Юv Zh;cv9F+l32H%FX~ ԶoJ}M]jt/P&1y\Q݆waEeM-‹&drl'Q:FYKX3S;on?Ϫnd`0 ̙~䙅qභXT.Q yR_3B>%ŮB<#qnqԭ"#Ycqo0>pnIh[ey7>ϥ24`uZ̸^ AFE!cF=pNkn1-RXKFߥ .x Nydo(i MGʯTOYE] U jN*PnW.7$U\ bC89j>Qh>֞M 5`(\fAjnFTBKw=^as9pڞ8-lWE.vµC㐞GJY=ci9GG D7ʪtcR męb}Ŏ- X*ȐVL60~$"&Aw94s7=* Z obj^=ȏ m~-JP3oW R^UU E(!>ko;bvVAQMxt#_K7*ðh/t !֦1T>7(0 .L8H6زI;#@:g4 ,XkJTҼ dCςm-%/l<3nu~[.pb bUr$+G4麆Vcd /EXI}4t K}so ^6tFO=-:,^3/o nW T 3:>-~L}kk}'ӇaEP;ZIz/9/6&8 h&@;=촮' )5-U9Q2naM8<*0::|/|k냣nH, aF 6yl{#ǵ=KwWlVkld{UƠ*2X@Ư̺" 3TM2\/b,aZd|!v ĒtWj; U3:?2\p/ V1!~p`SE{=_VC լyR[^IȡVE@QmQ+%~؍c73Cb|Re b@4xR)s!yXhf0ի/҃jZxvKnȁtEgP7H s[4z>$HMa4uTpؕ6!S]س<3RU.=$'~Csy[h+.1Bڋ0[etW(Xv^rF@ tX!m+CqUA z"!dDxp- eK`iܒ"lv,5Cb2#IhթL۔̡[ xutTO2uqAB?.FC6(q'˨ԝτry ÎҶӺOG Ԩ'gz=穒Im5&#'W,PTKN_DdkQ\=є /!{oxi_g* yWM. è͒~=pRBQ[:ue<۷wp}"dA_ɇ1 g7PB84LO[" bJ29ňY.%čp)G#:b|H>T=9.5K~7](t/` MA(*J"b8*2}wTM{ɏwY2]`%Bh5lUj, "Xb*:)!ނn F˺P$4=B^6pHWbzmVbM2 ,WLBKBH*_R&>('"7[-R_].i֐bݾͼrmjgZ.LLJih]c@E{iёs.h"uu/A0zGV?cR [242ϛR ;$1 fKP!pF9GR覕 x!xx!Á (#ApϞs\\t^&fʏRViʅžxL& *]>f[NUh{u@.*~/ ^a_ꅰaڝr %\k%0-q7T!YuhA]mMijk ;#WQ$2u_t$S!?Վ2ѧ3ʻF\{,,Rp@.haO )%CUCQi) PHSVEjl"[XJ`u$r$<-{*R qG.x=\".n=Mq٠+g5ݨI͕0j}kL/~[omceW1p߈H ۾ *Jj c;>$`Hڶ{u3pY5Ŋ2ᯙ[jTXp^i/\S #IiA =yНg&d,7кF6.%J<S[\Q} ݇-H(CoGθH"AD YwͨE^P!*n6ȉ={g1OaU)m}]몢;"lOܱ{<vh0~yH@}N<!Ne)H; dsZkk6 \ba&†?}1Wgt  ץ "l'[h˦/И+L紙rcDd &F~=S YC/T=n\XU퉓_՘|/ 0m!.%qa DL˦bdtωv/]!-+Iy`h~ dHuHqT ⟽7ۤh#> 6v=1l{-Vh]ߔ~ɨl2 K_'ý2 @D,C ^ȼÞ=6ue@NJu-,2Psɿ˛ c8Y>R:duYoPR-Hko*K<d@qu~g|$afm "K2L@ U,JG{U'DezrF Cwud9Q?RǼb:EྔK*L^3](]Cv APLt_ 8 [OcRܗۛ炲7 XHUrP4W^"dF hm)*̏b#"y@gu6v9۵#U"= r%Xp/e䋽 l~PĹ~7uK5dyj6DE6+DGŇ*.0}a Y}6LhDzo"v&?:@sX@ ކdP'еCÙ񉰮]cw~:ĐHEIY 2(b4n_DlVsQQv6;3omT`,Ugy$,91U Ob>ouOŮIz/NyV\NG0cnVYєBnTf2UYr./iU涂`ccUgZN)ISU5H|:iܣpS-*g PW}j j8)\j\M-nh˸%Pڬ!%(,uZ䣘(UuԻ^qfKhh cM9Ah Pj͡WEdQ[2p-QkB\X,T";+1Rg84$ m> b: NBS(`$o vU"kiEٯD;gB?$)15{Aay%kZ?` 01K01Wΐ!މA߯<ѯbuaZoe!^ fPfxǖ2bמI1$ 1B51_* c H)Ç 26 ?ܨaAc𐁒+ol19oiO_oeբ!Os{ݮ%k!Cм+'iBM{0-GTKk`"Ex8񁾋S%oX /UAmiPl%z4#n"&6 blD>s穊-&q$+%˫ ( `v \0햠 QC^Әw,m-^Fy:  M+԰7 _I!&͗*Th2 \S5;N:'9ׇq ׏’iмGɥ&ߏr65Kw0f=CMpțzqTPغпD r[4l;2|sgL{|r% UJȒp@q)Ш,U̜x̘=2hq"9gSweIf>ֱ`i${5qݲE>M5w@[+gfI^/K00U5Tz?'7!:cg4Cnd*BC`MSt̟;tIdÉG@cbšmx:j|=qΥҺD1wSSE-m#ׅc`: Rӟ-с"W i8/*؇)~Onla.4$ G :# ёK 6(>m'wQ XպKvٝ[xgϐoBE9nLqF#]LzW|m9*iOizu" P4*zLA_yeQMÍkj( `)#m13(p꼍Qk%V ǩLiB0$-KS,l(K:55 (P'"1QG^=\mCԷc᫣O,,ȮgdT{/v#L>>0>Q'ոQ@>N#k:U㛰'SJRL/}T5m")Dc7yZZMdsy]yǜρM 0xO;i+3Ѧ B[_jLB^}*6c'aDX;,;e xaӏP#CӪi9vGKg%Gff.*[>O-N~Θ#S[̠ L&Kl66-xϿ9yaZ9oǙG "{y+uu3cG*~dm6ѳ iB\HVE)[`fpKڠ! Y;YeF|MJ2|[7dMu 9t_8mn0S5љ ySE{Sz:ui&SNگ M;5L!pܪA$JeSI.߄% a: t{}Xo($EuKdN򇳌&jϑ9FVC EN@_zv.'_k}T%ӳf {V+k[`"m Ck>IO^ F.5N^rVphRk2 cPF^фz\d_Sy ׾yr9oÖ uq\;:Rr4x.t̶#al6Z:~-2pu;h+ ïs@fH뾊~xBA{u+6^ڿHc`=R)> ݴM U)h^ȕYټɌE1 (? ƅ{lo3C`ghGvCUb.b!b }La7XOˌ2>sp{h5pl ;~JeUVxtmN|6S\n\5!E#G:BTZ iAt^sdYj<ͮϊ ^! oh=1k.ptvK!ʬqGN) 4bO`bֳPş dZFhAdlR=ًifC7]bĠTNXPpͭ#HpI3LZ`qG]ѹK("2qcm4E6UՐ̓| 3LE& 5 {u#z V<?8%>j,t"jYӻK%<9p& dAx:qقт9\U]J{i%`1 a4ܓ9On\ᣣZLQ練c(L!3uqMoįݭmr}./>dhAEi94#b8_M0k5 :wfQTrBǩӕJen_^[' U=+zKhz`p`6ץY`vؕ^XZ*BQLy <◐13Qp,P?vYJ7\.w^iN>g,̭i}$ɦi"%Nf0nwL1-_AʳYZ=ʩH {Px V@.D N4 7ڲ7 iK|húp=J ѱIkC+z킧 Qt#v޳UjJUk9 :'|f5𓂽'HJ)],qzZV8T?RF |F^Q'o" . b=܏xoh ܗ\R yujhH`Q^Zbd|]z%,|_*n--9D+-T&ɾMjEK.q!o%eX:BrBݕwLw!ּ2!①ļ%Uٞq2|_u' S@L8It`sԸ.55 a -nd̈IP_k}"g.F+ gI#!6& k@(rVqŞ3Z> .h6dIzQ|:Rv%_G݋8㦵zNJC@%|`$ټk|2ǁɺ%-vp93<8D]K3T61mrgН6!>J}$JU⬂Fbv3.aZ+*qC[8bPWQ 7)(C.,#P3:f^ $$jV[oC?#߂tE?" Gͅ2kfH CH%& LtAŸyIM/l>? X ԣ*f"83d.mǔNT@CoNg1wpRV(af! ?[l˂U.m1{m=UژLtO?qMa4 9_Ym.YUDnpz&櫤`i8F3ӂr i/b=X%yd3g/r{꽇5g=]ߛ)A-~#OK/6 ףmNl?̌DN?o(^3L@ m#|8JǹYӜ)O#Ss(FCV/e/V7 (9-aNR3ezOS2טphjpf")ni L3$THtUh:άQbosx:* ,L,Pd\]ӌ"[YL~s7Ay+-6݋pXd,9s}CT-u3 Q mLio3A@.c;*6fF'8%?fPV#٨y^q^^%Dԡ9vQ9ꚴPeT? /p%7d7̍ K1Âd3R c̸KU(!C@yk 9W\C`}j܈G"peOaO#+)~9ƌ:P_!XXt؝S r: lȞ?؛P d&,6:RiyM#I*d1IF/sndߌ̥Ĵ4:=ȮlOOWlnmVEXZYpigfxuHS~Z߯%OkRA5p/t/£> CT}f!+W}oL&q?I!cw& BQ&̭ST}V2EU[ 3ۣ۩Z{(?ń9avo7MLkcӌSԱ(i_զ~ն;VQ >\~[tԚܕ7xBtwum^bgPen,"K+9;Mpvv6k ^ ($ѷ.5w6)6J hm21 ͉dZNw~ObP )y U'I'ޅ7@xtPԈ6&~*e[bw&]*@P 5:@vIpUm6#> ͖H SY_#EWīQA?_0ΚiEPҎ>hJ t5{׋aB*f9\Wlss[SX8ۙ\Uys;55Έ7yh$/ZmblӰFpJu.\x6Z3$P=mͶ[Y"FO8'|&t8 [-{t!}^bR*v^ yȁX!)/rWKs,ZM:O{\0&١Rf^x_YUgl|0A.2 X)0&Ҕ!+×HA=y{[Ɗk4|g.~;tfsq7)Wr$aw8$],oBc *.ϥ1