SQLite format 3@  .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 @ld ]]Category3:threads=2elapsed=506.731cpu=949.500gc=52.440factor=1.877zXZִF! n9]ŗXf1-/6vRZy_^&ZT'8fBcm$7ZL3 Z~B#+P#~![fhE0^8~NFkmӮ-ݚdb-&ꥳ㤅rn)W{`ֹ'z/R|S_1Oqw 7?u(G >.*] I- g[$xޚ\# oŶ3Sp`-s;-IFm ;Qy2_]z˲Sg4?IGR1t>pGkk`ϻh}qvKJeX V5WɨcÑnʅqn}~njcbl[5NWäv}djYO"P$4;$ФgMs]gbt}+B9bv _]oǠej¥eQUP`40DaKm#Ax-GFD1[eEŞe_4,͌pH6BLDbKVM?Ȁk敌'Š+Y.1Ez՗!6(A޶|q=vѤ.hU>AL?ȍ3GjmZ8m2 $5S b\]:YvR&\T`bh3Y}#ۍO$לtOEaJְsN3@_rg)i&4W+}* 4ī_ 5=5WA@nuC3 k>#u-94ي|#B N0riNe&הnI   Category3  p6fP'_zG!S]6*c @ SAW'z`_=Wzіŷ+p}郯MH jY 4#TB QWT_q_Ք"n\øYfL9}3\>m+$R&q(h&^T/5X8{e/Av yϧ݇ GגYѮ Oʥ)@iǪe(2g"ZUP!z a)d*q U@<8&i4d||AGq H$AJ^G5BpOtJk#}5[> )r[G<9"9WA:)P2ngcj *2$׫_+|g}5u7VocB^9Fkn-e/-+ p3z|aX<ϵ0%#Mek L}0 gl;3CмJ ?WBd~^Z<|S..[:&>>L Ul! !Kmol L:eV@_ӆ,a9_EXwʽ5BK rYL>sĄU$r-’ٝKfHOfАcW]b&? hTg7{A;pe*_;U x^몲d1 v~p}6J?wx_Me"\ݝ]XȒ&N]?R+pdd[;o ENͫ'K#g,Pn0[m,pNR,dc7ڮ?eDdŊ׼"5%00 Vٗ!yAf_,pPvTWEX'"Xg[ ]44f0qˆwiͫd )=ǼݣRN(GY`xfUsYx_lhsPPQ2e?;MӃ'A)kƼ81jʾj[@ w(b#Ln"hbMgTnpJ5e&xƀ]5I 4*Z4_ g%hw3$(7G.)W\R{ +;DEIW(Mca0M^433G!c{bH|Җ˖]7FAt3k o:?6;bx^SS'I/h$DW1gqaEMa{ dw5TKA׻淸 ^d<@6$`AuX]>"MT(S-5KQƃ}vIk̊uز &Fdٲ>B\ޠ&6߬Ugo%1TWo-ժFm|HoPu&"~|JBQՌJhx($%'p$`n(>x7֠% yQgZ9 nDvbV|< 9BFp>2쁐!;0%zLYt~5R G/;gj{'5'xu:=5;#9[ieԩAXIuJ;F3-u:jyS)(]z kRҘfoȇ罐8K I6c5wIC&{W wW|`61 PO22cH !:BM"RaTnT}ez&'ENիb&-b5s7{)iz7e!.{A5c䊵c;Wj3/?0%Lu Q#!1UYrk h=DCrΗ AX@kߖBMm؀[!ݟѥxQ5A@B2ǵzT̴~U|3[$^Z#ݗ6O PZS1kCΞ=_|,^Hk̙"Omg:^O De*f}SO+4lү$.?0M/vtwX0oQv|,$=1yԁfxboR$@o(8z8~^u{21zȕgp2QOO7ޯQ:-h8}ƶICiӕ9F~)&xD@@[X[.xX)+DdnE /ZF$cPo](+eS66oU=*!,z3a`]Fs갆Y*љ4wm-3Yym-RRܠ_cK[r\'Hl|I*{~HpN~|Qq8)CFKI)l2Tv7JK$: .3>0[lh"hJE z(wo5 d>\]F<$&?1/vuh C [TGVN<ԁPua\Q,[ڼ)aarvAf͎yrM]Z+"GqH?>21 tR$/v$;P: 4Ac;DK+ EoŸc-scpm."p ܂AhapGRoƚJpDH metN"@9tbhP|-9^do- fl1î#RAצ }H \ݢ o[pwʬ9t7xzQPoԧx?xb3+EvrxD,พ _@1iTLN;ֺuo5:B" sdZH^ s|qj6)tg0E@[5+YB3g ABO49ǹOX; +iBңџ,  &t@GTlD3%@pX5ap0P68q2PA^QK٩tx'c>fJI0}'e /@5lsrFnust{k^*m:7ʁ/_=UGwq/"jp& x =ijE%N/\߶H#4zG6UBRl&ēe^7zqT8|OL e<8-IO,ξ>C ZD\, 0\1.z} ` BJrG@g%[wUYgw)׫;K%mʡ槆a՜Qfrf~d^'"fwjFzAJ.8"o…wsP~T  aέU̜_(>/rvRjbp5$ %"#߬t49F hC,lFЅ3ݠY':e󘕕͈U @tnAt x3NIu^N[2f}(X,S^_[0ݮ "W{6wސ Px7"[`  !M'mA~+vUjt?:BUlf%J}e<{r ߷Qn#P;e1cb.Oɇ1$ADc?hhK62:]u?|RE;7)z'*%Qhkz\= Te_]9Z&\HQ' G 80M[G6]N2:9_ăFNQh `,ǎ)jecDC6r%B\XPǰ-}KYGPBnD=fF '+ivLF {|^pY72Lk|b[;yňs&a,^PIҡ X1G>TلQ!wto3򏮶OJ\5,y@Ќ.Q)Xj ҹ|6i2"˯O &N˜.hU> *fkkfG`^}>#^<@\gYZ7zXZִF! ]ŗXiɟy>Zrq m8]XbS4vIϤ$ rn ^ADbWԒh3-: KĖu<<[nصkP&Ȇ)MK;c}V/&aTʎ }g_²T/M+^7=&p/YyQ˭IxxIdqZ/C\bW:0L q'4Z|"T#JDpVLϐj3ch/Vn _\^yh r7)%Q 5 hRIJ(zEI;)3ƪ;r Is΂|^ooŒ!N/RTK Mf==Ee֓lȓ͘B0qinT'=dN#k,{A+\7^ D? Džn1F63ěIО[Bbfr RFd1SGy]pYh [ry7&(Lyf CVՅqGG-<6wK^3D/ZKUJhEw AH:Xd;UKPC)Ɂqd^)+o݉oZ<#-0M.ß3Տ=Ldoq?dB,;L_.AEͽ*C>!9n%Ur|b`j!a9RxQ |'{cPok M@03^c _W'q=#ls lF6\؆*Z Kꂳ4(C;e .y/ E.H KʕL5f=3h&RJ| SE69܇pnsgH $8.OR4\uk'XWz 'GiH uun6ی4J#¤h} ցk JVIɛ%XU>*V ;`'Q!=4/2` 8 ,6J +CHdxRrG rt:7ި59:Jk wm VDtZ>>_39 Rg:C"!䮤\ doYz9lVș|Y>}GX٧[TUQKs"FZ)Q4QߕE7IM z˽v s&׷hY⵵l  #:$\j+%~j\۶#ZUN_'յ197$*{93KB<0xݹKS,ZfsTzʑTIiǒ1{eVKѹHٙtk"2Yٶ{QOry4ŵO@EIKk(ocwA3c8G߷;!\K::o<VʂDKzF ` FnV_0F>7!<'М][p>(\Y K;"3p[fF\'9NaV$VCqHf N3{1po;p􁉃EI s" p>~W>gRa̘ J[XA* `%htXI;Z`IhmڝUKyuG>U(zT  3V&/ K^rq[* cYu6pf]l:fc kw-:c꫏{rǪۥD^ Y*Ѓ=wr@A} B~ &XanL׆R4ӫF!7c>.a)A6951"9sN ~}ʪ|U3=rA+~{O^=!G2Kxj!Nٸ4C}}ڭ%&E2lMg5un4IlWhuI0fg24 |Z; <0[`H;螄 26?}(ΗDupK`i361g9V1$E%C)GBIoWj 2h/Ӹ& hyя7>ckVr234mgGq،rRjX»7)ׅVKCZYҲG>bxyn)H(`,2CYd5>=)5mG*#yz!Qcuӫv*?> . [VJ޵D(dX JjԫGm322eH_MEwrSZl%#DOl`s9 7BaϢNblnğ8 0 \"8ZU8gA,*=EhJ B4Ǝ{~# Q%GSI@Jl}^ͺУ*LV[?e8S=xu۵RB쥌" 3wmAK.UjI vSF&I;PYJl_W(਎xC bx>r]u'@\)+3{k?[@jOA [I3Or-"eՍ3zB៨f: ”&&%.RtgGEW r]S;TjĻ#Yw]iE.RH{'Z4/jbu܌!x8Cz9Ƕ9h4$~/j-!&JFkZtghLӺ;iK\E +-2.{0B7rt eJ1JHo>D?4RVnVĝ޽Ctj,xhf ջcҚ٬1|?qΩÐ|c5y*e( zR` iUOZ ڿNMH-@[EiWPDU#/SœҖ) 4T:,ދWF6G0WwI|[:%𐡍)iY qz.\'=YՌ׹yy^Fuƾ,-L#EÑ֥q '^&#@lgND\H,Bz4wȝ-D |!PjVAn/>R~z _-ycg_w,xʓ3gڞ-!`wͩ7 %9Kf+R4'2ԲjL/7쿬'j}SpniU*X+>\~":A>/(^՗iB E; l5{K8pz0H4TDii4z*:`4P o(`@(}_@e0sz@H6&w᭞ȅ((b4vƨ1Ro:Mh iauclJV?䦈v*м9g@sC_A$]829Ye.a{ ǔղ6wy`f3e9v1 & ȿJ}e0ml9" S 8+2[v4)as8R [[(E(YY 4?J; yX)E~5`$n_F-;-lpLl~O'7ۓ Y:ó5iy.,Y`lxm`Xt$-}BX g@[m [4;i[(S;]N;_ [;+fVjkĭOʣHp*_kǽ}CA }\Atl=_h-m%QsXVvZ-n?J~yS(kixaY8u m  w(OGmq4x1{]U+L&I->_Ĕ$ ֗gG<.zȬ[9C3 :뛑edrrHx&liC9,fm luk|ʉƀAkM糰_!<բT_~M T w><4Yׄ $S҈n3{)WbEhfK}Ol[_Z4rw|fvwęݜ bIz.ƭ"Wa>qy}G$ jNg[x&I:?`fdzp=%\u9)2a5'7BK 9*9PAR^mu1*,8!,ۊω bB)t$ $gc[w$4V|?VM. 09-rp*T"[I S jv3. OwJ=x Yڤ/0j$Qh(eU %{aj1^zw %r;N)/> thAΖG7]UVe" ;Jjaq+[Ew4)esx= VWdpR0)<#V/ p,EE ^|cPR5#;$ aǤj/aw_`v]=7Vf0Me~ T'/}r8e![9Uhfll ׄo_Ju*B)d؟J= ao`EܗGW78ubH@^VM[Or݂n(:޾ۼ(՟ *,ÒZ98uEr=,N"utu&՛gce&KRSNʼnIHG:x'EPԠIMbH*} &mqˇ2:_\ŘSN:# y"հW~U~)1FZK2;V8$[a Mwř$gd}㘾:= v@R,`U0rٝ hckԈ/ THK˳mze cf9(NZe*MD)*>OgZ*ŷ++o?/EPl ʂ@DaM) uԨ`/-*L,:BK@>%^ENOTOxIɉ,nisLM[OJ s=׻ɉG}Wٞ7{vO(ՑFy,ry=5Vd??qZFTTye,G7A3a 3_wM3[/åEgruЉ0\BclZ[%EQm0~e{c9[T MJGmS'!HE#9O`g]Q\ 4=)ܹƲu}ē4Vj`PP;nMUH8.kc)6G"|a3tya37hxe߉Qk3:yTf3ߛZ+m$4Fq >c8XO WGح UDgC{oWiVsp}pJ^X7\da g>'h𔩤> jgH9Sl[Q:•b-nfd]\G N'a8!^] QFE&l# e3S?$x/Uøz ^רmu9S2Ķxw4ӗzHF2t-6hi=Qè[2d[nekl[dB3ےҴ&:` Qe9K)| )!NQ pӹzsJn.NR-yXPR$_<1=H@# FLJU1Tn8eg`ФX۪RJj b) ~ܢ(R%6pL;RjJ"3aVna&8QtW|Jsj `eCHnh7y?"i3zl@},b4}̹ T*G{K P|Hb1׳. 53O5qָC=" zJg:tM!ۢs*X{$mòOzюޛNS#PVVWH~36%zx,g7AN<҉K=rڭ8{IyV$S 5ݡ>EGk!'aef%F,Xq!8!:p>g4[fl9lm!$*p_K&Sr$V-BÒ%t1L_xb%{ Mp"I .˧ZnEj< z.+!NμRovKG Y7Lr*>`/v͌CG,wFn$-_k)Sog,ıpxd)b?q}q j-&37 {YW')v|faxKTVnfPOѴ7ێjvY p9&T繂$+f8r{@_%Dswy퓩5c➟[So:|O!T J)i+AsK%2":\B$𦈆2﵆aR]/UUԮ)SOڬyGp>hVg%tM䄞'`λt)yoAVEb;ꉯ1~kv[s&Fun>i oL^T! t͢pG'8~B24Zp. A SSe,Y!E`/wxQ".s3(Ӣi_Ze3+!wR Ng&/1@{4Xah! / 4n[2} y/tj@HݬO>+0nY]Uir2l9Ӽ_a`{ɨi~s~Y6N& XV/_S|K+p+ǬQ,4󁏿i'cR4twYG/Hy~kC" {+U4b iy{bY}s-3p dMƬe[R-6MXWDا I$6:W!'ަ`ǁJloxNAegU]M㞩V{t@y!agǹE#8@6:f|[Ȭ0[X6$"Cy<9q+u@:] eHlUTyl_Xj)L雛#_( :g|&(aiVQ́n gߗ/007~Jb|Ψw* $Yahd& kGyV Fd5xCzGMSڱ iO$Ѣ^P4g[k 1BĠ̣d-Jt|G}Caׂ6]j?aGDMf'ʤho4dGNSq{F,9ur)8r;tؾDi(K <ؽc S#pg$=[p(OB2;awS\ ZH ~*pk8!m%oR$19 >;`V}@0SdrxRx ǿk R}y!I+bXe3;Lza@?*" C%`?Fc~HE7 JXL(e@_NcUڴF~1_ Dڍw"E˦Zy}umd QEItLc]FJ nn!ĒNtTX\S (ox7qH]DֆIZue"-ܬ*nR 6ShtSIm\U/^;`tW}I_ XSI{ڧ^'6"NM2u_ˎ(6>,poK,@Dmm #MuJ6^zruQEj.]+sЍ <~=f/VoOX9[zB2E*|"+)gΚ )t.`ֽ]k7j4ğQ;l13u`qse:yϖЉmoFDk~# j8=mgpi~HeFq( %6XxmJ <6s'/gDG}~E⇉MA#{qWb9Pe.(Gb=pj7AOE2LU;nRQKja5{Hޖb3LkK`>yjWe5yϵA20yrֈ:'ԒD8p841-L֖G@)T5NH2[ -˜wJ<9!Ѧ<`]}}[2IČyuw]$R5;"7iN@*Aׇ.ڭ@ c]j+^G^ŭtVX\wD7{oESѹ(^;iSvWDF} \S*{Z5˃ Y3,]tNm3UK؝:#/2#WbVz vu[6LFlt6x1p݇bm _}̕x_` j2mf4{ N4Ani&}kRb1J6 iLK=(.y.ge3P@ICP$\qCpr/m&lKy(+')LidBh\`8>[ӭ0sRIE#" Sq"h^%(DQmL3(u*4'i9-33q*sGh/p_I;7V$ n.5)Yªrtm{ v$FFa3%F.%4<hJ4Iqȳ!.XNΥVSƏ$ &ߓfdm pli<(ÚHaV8*(6T2{-wZu 6~9㊌oil-Mհ-0=O=Ѵ+"*MRƆ:4MxnX7[wz'$B!BV 3L6f:Vl! 2ڢuc-ۤ42}_U; ht.Ua@AV#}Se/<:8ZF\(5aKkY K Fq<8y(Cs! il,I{Miol i@(z)D|󚉟] =^lXz'nTuR$ qjEeSѱ?<,oS 9L9/$lr4s1Vq9lIBFGs_tn9W~GeVIR-`}?H+c#381 ZO}=ȷ?Y uEœ,~BDF3uz#ؕ40vT M|H4V?eUz>RAp9xSre~DWec=>w( FhB24Z߈ $ -w /9س|YV^~-=17|O]T=A Tl|m[b0wUЯ3wtɮ}7~m%V(a{\(yIB\'oo,f~ y*|RD+EH~ S荊<%2Ra7u.{_`+B $Q2>2R;]޴?j|I.nR!޹H XY$`FhRQ/PXnigS[^?riYMVjy[ʻpu|)EZٌ#^++.bFu}?z%q*TԎcըgil8'P=W8S{0ZIНu T>*kaLh :T '_w Uu/#fꑵ^BN r1@{;gsh<$A-aYO=ٴMʮrs8j:G'VtF  iɄLAJ˳01 ?:36tz +$DZm]Ȧmje^o*?z9Ss&͐ E"U:??^րXdpE q<\ ] le^wO9f:n܁?ഉI߯H-2>d`|1jYk`GQKҟքS.p_BCGثdۄ1djxd$%v{E*=䞑>W8߷L|b3nc:טߟ B%b+|)T?KKN}*xZ~OHUZ^dfG̙VBEkIidF>^0%Vh_ܜDz}1:F.qs:O?x= [kd#7|2爕uBA9NcRi Γ4YAfS|R-{͚Zp÷EB00oQe?w84$ FgiK@4*Ykzkho d9!؂5waN9 ?{pǓ}w>&41kHtt`MY{65}ܱ1K0wgq!4Ѿ^Wqhڠ 1>ȓjcCƚh}VxLTFfЗiV'pJ3Lφ U%2ClSkas2h+$  l-sL_BӒ,h~k" h\# q+I1@Veg~hU'ʎ^PiF??&F 2,=zs&- O9~ogEGDɍ-MUzJJM^*j ;Ha:\6*)>CʳmZqdd_y<*_INlm`z#flBzsZ*!*W\3#":"aPȘI#ZYFz]WJ- Z%$B9 &/֙-Jː:}N.V=zkmPN w}*xN/5'a**8춣W;/>MZo.]_t3ndod/|o<d(H w]&Gt1U3\mhFxo(R,wjfOE)}!es8$[(+W ^ӓ%#H.Ex7hd)oR@nlSih2J:=AeDS2̔ J:ƿBGhoI /RD=hxG )%fI}sB|OT뀶z`c{rʵȱb8cHYJ | 1F`Lc)u^\-|vꮗsc DŨ_fu.5±l@52p+xhK/Qm#6n$_eaҿ`D;`ՙ^GS&7М@&yQ]A?9f{4A]8 ܧveVަ&~Q|ԹNڼt_2ASٿU-Mԁ8/pWI8鿜Ġ"z#0nO2fo:I0ӵdSH*w g\~`Ү5?T `'Uґw 7cx -;q r>r3;Ak' \=2GՃ,!x;||-(G2Tٳf*Kt2sGb;i?LfCPu C#1ï7Ҵ.uERdrNʤH24G~M]8i񍝻J5` pv^mY,p,\f& ;rxIa׮۳Nõ<ޟվ3F-wڛْ-6,K S=ҙn(%JofC#)04}"bD2g,[AXfB*ۄ8 /vk>&_\AFfizrX0*h^Q'GȯSDD:Li*GsƗgӾ'k?^zE,_?MJ5'!lsv>A=;)ݰ 3>_pVX^Ʌk@ S(h =B}UTI+@"b{(`ŞGdZVN{ԋvTKށ?zjq[Qw`HM'l ɐ/P.)P\1ɸ 9CZQJow/%`TgMz7BmgّiɝE`ԓ8z'JwK.Fx}nF،IψR`sf`ίP^l;JYx!ۆ [#ʖK?zTԻ݀\k}vQ;] 0;>C0*x#s*u<ቨ,]%3ISN=rep4L4%"|o\E H) J)MO?L2[!1ܗ}~{}rS8 ۾A f-"Ip7 6|lt]n[ޡ\̗Lr.fol[\t.GXh L=Z0k7 NxfcXZR5_2YĂҋa1b>HlGAo#S+GluA3ntt G;mZߺHg4sd~#tj6|Յ f i?h 8&-[R$]kr;G{m*;X8kW)Y-7T[X,A`m堗P0sj` z=@bbL)0;yV=P2l8VʝVYX~e+ڡUa@TAI< ɕŁ-f݇>7Z mBx70]TN4U彶Lp|7;-+8<y2Z$ӟDBoݘ٤ҝNQm9u]ݍѹXOdznw>iNg~bbi ڪ݅GX/#7hsZmqLWg~i܅B 썥a{ϘP)%4@)$L2bWI"at]obB;H;:&9I S)aXք7~@;) 4+fh?k G8:l@̓o}7s%}ϖO6Zj:DR EWB5:G{kCShC#,D;6L4[|SR{5fVFk8ًӑuJB-MA&*%h aB0"C# QU簋-C\7'2*{_$XgsV='tEL!=9Nˢ \ LZ )HWbЯL:'/nxg y5oPtK9Ǡ cMaw1]H-buEΰd 8yȮ8C%|_bf|_ -K2\V3LngnqC}>7op= -Z yecQ6kz HHH }sO\[* %{#& zkC]LJD?+1ż`"X{EHb 'Y-'Eya~ƽc%D% c^":6lɐQ,^.` "?ۦrF.(R[̦0v0bF\­퐕7 [;Y3mݝiWjٳ\b`t˼juc95,?k/oQ$&٭/yU[Vc<ɘ:9IL_FuΒ˼q ͧ=(Jv Q`Up." Aj1#{]~=vľ D~.!$*q#!.5e߮XVw8cr-;z2+D=n{9:Q$顷4/8BN+!)'j>nەȢ6U;0$a];6pldG葵F{1'ds0r@zQ5CXL-}dsN!&VI3w"U]I7-_z]nvH+h,XH[M.r٪[ iJ9 ` gj.WC܆z*8qFw60(~E?IE?'%vUc#cts$]Mk|LH!4;cWQ2PaV-*uiSz/ht)]m zn[,!0kJTG |1]44.xhǻIObדǁgς$q]}ԊBg(i6:F -Tki~n ւPc #*l).>K;htkѸY5wOtw<~L t"ѷ6`AZd=&Gdᱥ-{ᰤ.vNVY,'*(hW8 G\dGٶOn$bE8E𛜸LސA]*1ɛNpo=g%QFKsg=# MlPoTn1vBZRs2Kg[> 66+ w_[}}~wkhoS ɽB}tLZξ,[@CV??+TKt]5\YoHrG9r(mc/%j7u{nb#%LưV8{6,gNJ SNL}4aPgnIO Q%5a2Bbss0Ӗ:;硓 Ya$Zj7hv:d 2aı 4ʌ)_TTJ].q j#Ude3wj7 ! Lsv5#f/ޣn2=EP$Hv#"\,d>D!ؑ/`UN5|ql.X@WkN @Fd,v;v#f.LSdI7`/ؔ\3辛@"W^Y lXYU)m΁B9SqM=c)[fb+ьb^~?'a(‚IRϔjPT&=_s!x};\gm)XmR3VPsyG}`5aMm,z"ZGI!DC)1E潪ͬફ=paOm?v *=n'5>yE)3[{됮l%Vp6>`]Ppze5`Af7ndwb1O.zJ nʾy@0m4za/P0G$f#ntBDD<.WsFcLː|L'o[2IԏFC䉲TXj3M+ӓZ?Cu3GVz^Q],IvCW2O7ڮ'FH#",