SQLite format 3@  .0:  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 l ]]]HOL:threads=8elapsed=200.262cpu=688.187gc=70.858factor=3.447zXZִF! b-]ŗXf1-%˓S, z!ŧo]uA{D"D5^]3Ija\$*B"ACA]G_E)7߭Y `0oR=!4Y)IYR<:y*1y}F Pr64+bCLkt]O(H5LԔ#F,f)E0v+,ꢷP3E&y8HUijT(-FX $B{ P7$tmgY%LHfd]J$Li}ٛ0.MAo=Yד^(f)mk'$IFb1i`ieTCVzAK8& L3FgV񧃤viMh`ŕJ*$7\Vt*6gP}ڴȕ؎w*z!hOV25p~i)x]Ҙ<`5АsDbK,oF5Wz`4CTEa.u bAX1QuEA{,5bN#0˦4Ѫ|\,#T7v\0ۑ@2NXR_tPsdoTG vI݊4'q_?a+-+c.)'.Ef}pf 1Ìsa#1375W1Xņ2Cc~C0r_YC |A (MBHɠ 04zT?L y;{<]t-+S*r)aCimW>]/cWTo.?)Ⱦm:Lթ 8`G9osvNnTA&T k 5sOE5 ؼ_5\/4B 1 WujZuubG}%PÁ>7jBBPrΡgd蓯/䧳ɽ9R6;Pk6/wU!af:nAp$}cea c0zcԩ 0euUJb  {NDEPx&i7j˓Ef:W:œGL+K\OQd(YI-7u=(ƺ.`Ъʎ} Vw\Y: e{a>q1Ez'n:҄'r9@99cIg V}q{{ώst^2]1:vwsg %͡kʠ62ɷT;azlѮhf!8Vt)).F2қ5>xڽ:O2޼~~0夃x-`^zvsا4 WSZIr|= j+XtI R)+ܿrmA!PalXT%*Џ̣GxHg5a'h2paYi%ќd  HOL   Tϡ8Y=+ﲎX"֜*{o1Akq'ٱyM3}Ћ+;9c i;jM}zkS?3orK!zpҫ`]u@mxN>ve/!߲/`{~_>ҎۄWD͏ur+#giV0jKr(ېn=u";͎|:s1X&v֫ PL%[IZ_ Y sr kf+iV8j%[ EP^C\ U71Dr;+p){1mf ITK ffmK» Q4\[\}p)<&%3l$&G0Ŗy"O4H[VvxTX>~` NU0[B $ꔮ_3{pO1 ᭓լ*ǁ"E5ԮS*S0{ܹ^j7~=%4Ͳ_ ߅GKCҶ T?_ P5%fc2nִGYfYw3[w-l;~)~C/ aؾVҸjSjMeW4eQ7ʼ͜E'+LJO`bx}k?o`ӆ$6]ws<8Z^P3b `I6YG$3P/L$&ܪ& tAPB湜q* '[fn ֿast4?lZ0PnnQͭ䪂kaJA4g}XIt4Ნt6G%k/ynZaBAA,iNaɇ\n~2xX6 ZF"o~AM*iBJN!X"w%{1j^e9:XU.YQJޑ:Ә0tnDwyU]`9N/l4ͭrwo+emE/Wtj+f, PLIDF$6RoQ)eҟiy:3gH_+(6%q w'N\@\`>),eF)gZؔ`ezx[}y CЮ'3P~Oc⌕=]͎V~kMَ;*WX>x˧]U(`9p^e=[+Ik'YvdkrT8LM'B!4Dl ֩jDj䥺?`0`P?Ⱥ凍JUQQ%F o>B!ږReJe+W&oo75 6 Ɖ=P^MblگԚS#mm"ٷ=mc,߼OmżUsxvwr4j?:!m 7~pHYP-ݜ=ANtXv* (Byhy2 V*.q,5nz]H}şڅ_>Jm8$s^fTwLUT;cCzx&!aR v Ɵ/@ghA1{+ɎjL"FtIs/ -jFƧR!,X}%7 Y[!9 G&0}gKZtp80WEl(h>DUD1)zPH4w4HIօpsّF.M麯<%%(lVoRֆC%Zرb*y7– 2DiDӈ73 N Y[~7@ e@#5g*D]wɤpc$,PԆr.JCC-Y%6^*uqC= z)a RY ic/iYhÌlD3D#:j3[Hr[ޠn#R4wIT\7w6p8HaSbuCwr+ZE2mz{ƶY,>LXrLt~Zgt\- )OֿDB0~C7Wyx >ea4:Y/"/\vb'G1N\lYƓJӎ):^LZ;8tvfaf|EL7҃_ /DqCR3m\$8N/1\QMwu?:Kz#KmCUi?wuvo^$.>ܻzl0?:np^7o^myQ@WY#[9|$a z[ed/ʣb& krM2 ܤ'fIj˽5-w+@cۿg !ob'њ!MrLǂ܌3Pɳvm3}ଲIïgCM^3qYd4Gxr ֜nƚMX2n0MS\Tr= MPù1 򨍖)xXꊎ"3C5y1Xɒnt{MxRš껰H'#o>:^LDMtQ4BtU:j"D'ۜn+vWk I5BQj&c]n~ l(u6 j(UCY#0.D'܋]L*,g}6ł?M+| NV_+-VUZ'#L] YD_/j`\BP PGVgBƒ^w7tOum5{ry/NV',/ ͖L^Qm>#ǣ~aMfBW`JYɊx$#ܴK)tNpuی`\m5N[Gњs*[ IGJ.e !_X= R Tq~j B<[N<*L)I--0+ԣByr^[אK c~X*4MgR-vV n)%k{.Ri8r aX`K bId:N%B .4}NZ{\dBE:yjD&7{cjjfWH*O:4é7HQ)ܟX8BQkW'mXPIGy A30KmYdOy¹LQ)_F.@C!Р9)IttSƿF\+"Sj6G7OAL>1S{Y8.3hQ| z7S^׋iɬRO o1-H @ԽMM(٭#D2W%hy~THzL=v,0f2 0r29 | 85}Y46<cB_R }+@M+K6鵬,ć`fc M, kEM!!*Xe"U/tPXPXp#K dzߘRM.ń&IAf( 2Z8JrdԮ mc K8iz1뼆en'iYx~>Tkc]n,{q1.O@Tq'wpE xř//]9#GbT=a|ӻ6eqluN岮PUi (cm%3>f'q'Y%A m82] C׃ܔ&ۧk XM~Ӑm7&c q]ƞ$uځ,t>=M7Yk Bm~7|7d7 h/m^ZM_ \a0x:dř~KءR-`ĄPk`E#UZ <2[2? ʴNsܤOlaD4kON~*% "_q0=E`DpjBNUIi"P#Z]w 5vTsQ%5Ȗi^bR*mQ%ChRr[*(;Q6R5~G@sϚBB,N0PZf6&7<@s&cK?̷ַUKUz'$\u,HE|""$/hG)ff8Wh5^ŒKnk1Ty֢ѫҘ.cx^U5sl#[6n'Z1b=:+GM@ }#IsH%][A.EN,S4^˭l]͐/L DR[l%Rj`Cػ9A.FIș |JMqXQkɻIru&%x\c+*/5Z5)^S9fW+M)K~?Uv>GGE4gD*J nP vL(Y|<ڇ9 N;" bve$p1Yq KRnqtibPΎP/Nb:,P6˙m 7a:"s뾙"6p:]~Eĕ]T/ޫ[‡`wxyu8R6[ԡ7܅ +Յ/kBKa߄ʞI|Ü}ϟ*@OZkx/o` /A"Ja:ocgYZ7zXZִF! }U}]ŗXi%Ed~v `PȦ-!'{:SJ)}MBK~Ԑ1ߙ6AV 'I !H5h1Y'3/~aX@zdɿ3€97h%[ yufCCm}aR}Nw2[#ݘStP˺&k,.<]ى+Y)1&Lې样=}p6+/)5#ҽbd%l'NfFcGmoJmc/Z]i`xyhqI/>Xc (!PbV(9BRlg.k0iW.REā|4E1qxQ4r/6X)'aXaV >7z|"` [9$ݙp|ȿ uSʝoW-Ҩ-Qmp}1sU`P|'L7ĝ_b, r"L?sRԛ'\+(zKcM"Ѫk¿9I$]Yƺo>Yͫڀi)ɯC3rhՠ+kK4n/Zb]{eu^ԖKg!Lϡ/%eg~ߺW5D(бr`gy/7!G1yC)qy `)%VAvҬ:WuN P/mNi0͋4S#VBfskD)~Ja4lwiS~*]X'g" Rpݍ~0.̷drLp-n0FO7Lԙxt^ ^\+ņK$L`eI%GkSSIoYA?s|~C:#|DN$w]xg C ns6Oo]1#E/Dig:gȇ%&#"$JO(?e?H}>Xs0r-YmD˚T=EK`BNPh;TzTڡo7@ٰ̳=)6~Dޙ s$j=Rr&ZcG‚~@ȯLTDža#{"8˕݇f2Z1nBٰa[HՎjPʞp;)m`{^Q-g'YIh4(PAO~LksSi2W1KI]{ 3VdX"00|G;_8 l']O\fcd=Ta+xnϡ+RD9dPW%GP|}w˳qYRi+HLWIJ*`7LF9 -D_)kR Ar1%bJ*F{MRN[dw*FVc$\«79-ve0(;b,VMӤRY&2pyzM[:cHd+j~]Cp>IӬ㯝a#$Z/IrL+6^O/ja$D98XF-zl݆b d(4{;VgDRh?nnaD.jW-Rv#XH~/rC)R~NzT> _w:bQ2\YAD:1'0veu[͹o6@w w*zWѷMC:Gb\?x 4UZǸD|Ѝ)tn/l*AȊ0o2A3`YY]lXy349Uba B2ڨ >\\KM$d?b_e@V&6%_ |5[aW YC~]>IvĭW>Gb@1]١C"x "~E3qc`ޙ=Wus J w/9&NqE3u1yo6t2%=N€ޔxk&q>zUEe&68I\\WZ<>j^ 2s&f"!5ʱO,whhB}8u ٬V;Tsu 1ㆋ8qg -f!(l,z>u*˷զ9{` 2-OT׬B_|$ 5 S '\`Ro7膅+_bt0ޫM->2JN-KfNV`'sOST$zwr[4v:܂/kzBY똈 inA{`v_qږK5k żZv@ya kNևs4E'} 7-2p֏etAC?H$:i?0ˀѫfk%M.,wf`\n)@P=r"Jd]oFC=Z3K Ͷ!tn0(-OA7_-m?YDD>H@Ro{3sNmr7A~b-|$JALĥOv}-9}qWn;|7rBxhT !e4Oce}DsHA@aaaE_NJ ?\ޅ%`gܱ*H.pRy)TgF?UU\?M}VD` ۳y'6%/l(; TV)LwSgs&D:+W2H(//lqXD p0ųB٦FƆ] -Ʌ>CȺ?Zs:a(tْ 3֔.u2osȵ^]&Y;֘U j'3UЧ5*jk>;xm/i\dHt d-*rFG 7zB|=Sπv jo1ȁV- OkCft'rPJ32/A@em3Uz萹lA>3C0@#S,YjYnWٻ?ffV0d.n~?!CR¨U?<=/sܶ/p=.Rm%O JJg)e^c_/2ArDmX 04A~3O ɎrĊM!JˁPp~w.#f +w5d$y05*[s|'0xo/ 6[6sC]4XU7.A-hVuH&2㈴ipGAy#Y[o>G<9r>U&$tP g$Tij,v3,ָĆ'a Fbg9x&['NQ~y:ߌ3O/.uGV6I( ~gO2db%Cm \)(`>s!k}Cwd.utq5L^v,^4ڳA2p %#Icه}7$AJ"0`12b凣e9331c㍪*H;7X (jp7/ZjDE֘SN hk[Nh̹gO0A ][.6J+9[:7Dy'ʑ/mȿsY@_Z>qӮ&F2XjXF]1, LXz:p,;` z!i1 u/$hW{l/}Qv,zpUGMEN@EϞ$Tܣ/vg^9Neh.nk&B{LpzidH% ?l{."ĥ vkQ1POpcF_Z~+ `X"zp-s[%`aUbđ~-oȑҹt[8)sFⒿ'i:9lZohؤNoʛH44R26_ F6\~@P *D~DXy5OHu wePf:B%z&+&wExݵl/DB5VWb6W:Bbn5;)|VHW3΀M B ᭶~&hti/TY0'K! ;NL]ѣMU0:BH̜m#ҐDŽUSe\P,䅅H ]hA NcIG bSd2ă;8D͸SPw&T.ˊVRܕ&a|4ZCRBwK]$;UTb<'ݺ.l'7:cm8! Gr9w٭О1=Vzh#{Hˮ9 >h/xC&qvӑ ,hOTi`W) C_?,يΣ'Υ]< ʬBzƜ `wGE": 8${ }]LZ`7;[Ǒz!'}@DjJc ؉bUK'r2+;?D Ȇݱ@Ӣǧ:ؚMH8ϩsDEȖlxB }E"2xA]ZE'rdkϿH(GCL!*Q %ekY578O饛kҌ.Rm”?o??9TGAwZ:FO&#q:4vRpJO# L"o$!6>ZL<g6?a):;k[r@}q&1nG_Lnܟj0D XNn,2y2HO8VܥAuS0XdmD0tn1P5$m+DF#19yV&NXiQB&N.uhNݴYV82CPABlE7?#M4V7{VEß"D*1K:p.Ϡs}pTdـ) vB W~ q08T$/ T!ue쎄uf1g0sGSE3Q# gQظ"8jq3-?ͫ 3> bOq62,3A}3 SBd–, HJK > ~L wAUpZ'.[x[@}mDZWE, s()Y)TiۤcT7y`/@T iNT8_6BR 0,Eѿ[ODɦGhVٟ!Ry Du|nhL\~̎EpBFw [\mJ71龡~`.rCCG+Lw,ceрTȧ0@:*=%{[n"+ Zцr#ɟvc$`,sLZ-yuymA&0\hu4/5. wS 2՟B#S˹x5]lUyT5ko"G+Xs}'$l)?`\&̥O űEh9͚Btlx},ߺ"VFx#fH.:UdYop{,ѷ٫ݧJ_92*Ʀ8Xdl̑Q[>gCr/CE#@#=Zh-Eup8;YYIm2Ё9&,&]kC)PF7kc> *ޮ͹ʜX]|u`EV(ZDz OF:a `' i؍Dӟ̇_G)iGK*>+ƍqy;U8ɿݣNؐ#Izrz̵b u0ZD_T98HB1!rP>c+sg]VF Iy^-wVYt3Gݪ8ud. *f8e(xajKGL\ao '[Iݟj$Z 8.oE%mw쵹^YcZ3 ^"Cg( !du/Qd>yBǩVgф({(3 *)(cӁЄ4373$~~pFc5 m^k _*K@6ۍڦɄs&ڈ ҩ=8~be i΋/y~1ЈEVҮ",pc]g oWgR?AYlJd6j4g͙ylWbt᪼Rߞ.Qs K㾜W{~^DpJQ3yYGmn1  !pIvVE]IN<53Lʮ<m_8C9m&\t)G-ƳTXxY<;낆 l<8D~$xF >F˛* Hc #ب4UynIw]121sW=w*<5ݠk8tJKP!;r.9p'syvGuz ³Q \ݩsƔL!G\N$~ :п=U/"=?oZn}풚HD{c}!R tNX\%?8)a&~ž^'l- v.Q'Q5j4M0eKCDC0妩IL]W] y,d ӆ(>r_T,u\$/GRؔB8Յ%i.+&C*i(k2lK=W"YZLQ356gf7$cVNm0-'R|1sROQ,H LS(ړ]MO31w)]r۝D!x'oj{ jx`⛭v8`7W $76/qG*d'XxH7f{LQOsTAęL{I=ʺ`lMPQiK% #5]}eb:7(QT.oWVދL2M7&.p6OBTfȪObF s@.AM -}eʊiNFI>?u(d$\J+\oNza~R^%װVv6nw_A^+ŜLOMd*{GPc$L.=P v~ݞiFssΏp xtȿo[6~?JTVs6 {F6 [e0G? U>9͑"@qfh]EB Xk_ښjv7[C\~8ALsרZX3VYy8ꞁ*ҧPT,yPod#gf\}WG$r|~b|.b~FZOuOy(DձY,+K?Q|Rܽ)LZzMՌp'2<)Gv9ۖx6#!%"}UJ*i%L,ix4bE#p{DـB BG5$B(%I5 gwz]x 't8fJٸM{t?r'5(AYŠ\3p*Vsl㋮&sڲ$QzV߰"It-% KpHZO'd<_Fte DɱFavrᓓ,T[x=ejp|<ٰ]ϗK˪J5!͟UeaNssai:f]V(Ne֜ۥSy/˸l3\MLp% OEe$JRMo[Q-q7.xni$YPFm?Q!pKI+sZ~mrav@G+$}u/ d <,ȴNXԄ,ؠ\F@fo2 uf? `%NiZ'M"$H !Us,ed V{MN*u6D dz_xbثZ{Oàt>+ɖR6Pofwb Oo \=dhO% / -xJX`D]GrՋքeEfeo\PM.d CKà jĮ=% qH~-瓩F)<ܓh?k.K$Pp W8ݱZ}H^mc!]xP"9}L _Hp̗Z5{@K{frAd̲A1c5 ntjWUX_'(ТM+BGmE:l%~yWt$< K;cr͒dB)o,*txd~LV ^H I0G3yct.M 'R ˎ bn[8;bne~=Y$F`P ^﮻\4oRZQl0H]8LbuF AQP{kvVS6ԥP [B EݯrqJI]>+,e3~a?ۈVŶjPO˃wXܑ/svLQ˞% qMmam>- f~%RK7es^O\eSUift|X:Y&PoD^о!䥏є~Bhf{:ꣻd ڃ Vai#gS1lӒ$Hi~fw+zQ4&M0* *)e(QIR 2~q}Vq3\ 3| ~4?;;E:$u;X]?`B)q d (wY8J:^ l;30]4|:O;$zpgs#QBY9~=H+iXUSPTo0tW2/rUxD%DTkTE}8,8g+cr8`k ݘc9p0Nr$YVތ Hch!1 :Ol% c$<\K T#f3߫{4NzT8;ǁ6yMժt!W _uQt Y'4XOgهJ~=koL-%qqp{?d>a#G4FEZ,DҜSa>&lo֋X%adRGJ :AqԄ*^߮0$5+SVkFs j;ć -ha,)ށڎ{xҽ&QP>="H| ?Aߙ5:A!6k}MaN1V{nR+XE=azorl<-UXT_mޔvǔQnxqj\h*GFh8~QQ:Lj^KݙuiZ75L"RLSɃWH:&ccFc[ o8!nw\H%V0*'A ywy:,R^CS7o6u:Ð5ד&yoWFRqb Kp`;ER$UshDR`=F{Y]37/9YC\-k&]Kȶ]BLU|#|*ƆCb2֒?b(4ꄨb85n4R @ xu pjO]n4[{p&}2Ut5]{7 ,⑗G Tq*{W@4U昇ԃ[vVoC[iPC="΅ Sc|ݤQl!>= _F-:(zR5ݸ>YjJU0x\=Zfޏ6xf({\j}qzLĥ{r_ oI DPi(ݳj EMuigrPmX RN^]Pi׭Y/oUe3c?3HHf,5P鴃e;zJ;ة  Вc v^^D{tk%jQT~[fW+};K OwFVGF ]pԛb#㡃- Otyv33i^3T1pMG; %G1}ۓU Y_ED{c>J;SmYedqGy.|^ʮQb`Y;Lo|LV}򓗗id q)>~ i3ZPO-`bs?du߄t_CpM_;,nqtQJgDJj*9HR)4 % YE Ǭ㶇nk*#iZC(/>S$R9l5=aEt2ӰhsT_沱ˁ1*OvCz^c#nZ>WYkTyKh֔+6:L|% e}-lNv +}S'HXr excL]FL4HT-T`P-NRةwp+8 <>ך yRywZLعvX g^XW6& rfwկxL续 |wWeA#el%mmf DĮ  o>PJ}K/@5hU lQrYoC &ץѓٜRڪ?ҩW`faU-QjwdݝªaM"呦WPlxɳjG3q{eN{u9"BgS\|Գe ^sY1+8GV<1z,uZ2SgUNG)Su1:\nS;kfk>klӐ& M)0*^4VG ;\f[51G[N5vm"@J=4Xrv^c`r }. b6-7z!M.=3ZR@T~nVȃu`,PץT$"\hE'ԤUZa35 GZx<~t5C.lݓ^VP_9 H?T}Zh;DvS~'FIO>`%2wR_<\P1nڗ}<(`eT]Op ` D:yN4Zɕ݅4DɼAysXegypG8'g>r'-wތnZfGico (V^`=DnqzфP1}tH:z,9k ۮlMR$m]5hѣ2dZ6ǥ> Ǐ,5z9"o7eW ߕg}ĝ31=I˩ 6MdP01oMipF ȏYftn(GkF85vnFn\^ ?QWs2SsȈMNyG͡'9[-. M}f9Ckl<ُQz+Q1`ZYr|9W/1A}nFZΈ(;ݵ86:Py`iΣV)%K@L¹xfӾyQmbԷ\~>m]ˤL( !Fb|oTqQLMM/ X%|`%G՜2RpS>kĭQrژ.D9WX z>jzi1[䊶S g΃vL 0 Ӗڨ1fok z雖"j&H%v!91  hcIUuD+iN%Fks>>b))8(o#:oNQ)@w=iӓ\)FfpkfH-s# %J'Xa\#vnj鉄EQ> *鳛g4A\kR35C;Xt-;/- UtXNʢYt sB}  ەţH 4iJ3ۗ+$Ӫ`F|ɺ }Q[ $BBK4鿕L.F(Cj{u!u~7e '={Q^ӽiq0BW" y^g&ʰ#6 ASOofP?Xe^sKkMcρ RL3i @) e_;i%}C&dh` (Rh⛆]#C:~5UxА  IXOaXoG@EV,t dTg) Պ̯]`(l3Y鱻BlטNar޹?0$*}G*WHv#s!ݤF;^\'8e›+#=q~(c'՞E"uxyzgHpb:1dL"ZUpɇBMo&+9,|By~?c7tt mۑ)([]q0]]/ oklDJ8HT2DR"}ْ-draKj㴦3J $$ x:i4%dخ X/H?\A'B]zZ9N8x-2 IYg;ɓnn¦[= ]$V9@z<8rF ;FVs5XnТC)@;@Evȸ8|f7jC\F.T5~ZG- k@ ~lQl!8 <2[~g Ir`ОM}ULnoOB!бG•QAdh8Pƭ P*~Ho aYwxHoadxNȂT&! .%~Mv!xM~j~1s}#,=Y:ޕRsu$0P$d -6M!mzBȟfH{fqEM˧sў Q"?hޔ(ԗBmK]9 ŲX&G#E[8KR;5@ +~?< ) V?ITTU$ YJ/Z D㓒ώ`6J(\]I{~@N?E< P~Yz#(:0i7!I'] -Qg_KŃ"!sm+}6 qv?.Ar-G  ѱ$+OŔc59Ng# VpŔL$yZH$o01sOoM6PoI}"~A7b dE:sl62z@.;J2y&b_ i˦ҳ:P831U2yUU~P O;4v9@k2*.14w$gE3n\8Ef憗i8Q:4E*M 8< N#nOʎk!r[6R? fIN$/}â_loA%u= z1?d'HnPZj[ʹY!hd-xCxѤ DY -l|oDoCsz#l2\R$joL4ua%+A5P8!ܲX<$4D0 ck*5[%{YIJgIaOYO 0FqRQ(!jR(a)wWд-z>i)=%Q3̊U 2ko+W-(q\_M !Ey8(v).rOacLY(\/ьz&>U{ ;\}),2>^±ZI'ɜ %bI8&9 ,Zi.XGdxԖtf: ?"GqIs-oܽT)g:"ĶK57 @Ol \c\i5I${cW_*t~lifK%N kw.L(vT_-d1.$}:}Ѱ{%CyR+Ye>Cv[,vƒXՈexͳ.&rm+\z蝽F!9cwn B}<īޕ XQ= fPZ M͊Y?ʠ!u9A5'ŻnwD8] ⊬]J&)e|hLdyG Znl6arMm׺uےm|lWT# (Fmg:֔h~~3֗