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 ZZEt<$ ]/ Security_Protocol_Refinement:threads=4elapsed=343.953cpu=1256.616gc=8.812factor=3.657zXZִF! qLt]ŗXf[&Q8}x]:P|$e;PtNeһtTi&p:+&g-&-N9(A0BՔe Spj#j*WW:~([D⸔5'D52EBbX(w;W2JM"O3&Vtl$B6+su?%r`Ü Sm =Tʅ=J\GU7x4<uؗ{ 3+3p5 5O8gO܍<~3͢O~Ҕ,CHGڜ(u"˺((z"`[6YJD6?]IegG;OyM?>Y},<(9om٪ v7nwiKA;/\NǷI@ðhh ƸSer_۹I%MOפ *RL2CZ(w:9sUTT:uɈHLG )i! ^zE}R͇[@L]`T@ ]%]$sKۃ ů"{լ *pbNMӂAspmҺc ,&Y78 JO:ܼYrV6=i6B0o1lTWe ͌'-cnNo2?0}?(;cm}vqC`j;KhI?;X8z΋ES iRerQ5F}K񏵊| 8Z&|aYh#[BCrRC E[d ew!;lI™$/ "gbQ{PabGaM)nm lfUd9qC ${w7UVp|t(};r! $ω`(98VN0RH]6Y틋vpo:o+_<#Iڌoz:NjyO"ZoCQL66nS.]5Y"hj ֊yrye|:d^UH\菂/;tҍ3uš-xK.\YM-4;e+}>'m 2p̠cf`[MoG[0k*%kk-nKK/§sٟ׉:;k?N_yd+ =M QS|͔[ijE+HL6]˯-?qἸLagwbڷuR/{yz9_%QOyP4RqebcP&Akq ׶}_^Kz> ˿p9S@W۹ *k£cҝOlӣ1b|WO! 6nv8h$]>Lj faח` b&os|aD墡{ʉ>A]"I#>L/gYɏB3K=+NC!A>93 ɞ[ .\r|69G G]txDj h8ي,ON<ueʗE9 ?gEe<'u T@tnb(QYӦ7!ݹ5yJqcd{Ⱥ-dcɹY'Ecߟ{>d60CO~ U^K)D6PJ<5۸ZC')p {!gDm0#2#zWfwBI"+t4FXXcT>1.J;`dZ-f!trJ)8$ȥl]66~b Uu@׻6G&7Pu!F‚Dyl7 |s"qȟh?2p1h nO8a|O;K0nɱ'(S =s0cMz]R)qpb9mCAvfGfi,4a5cahym$5T#g() DD) _%kq:X:E9>v#DY5 m#60>Ox^1z/6@[Xs*RvD)h;NN+VR:gXKE.-Ejfx %Ɉ1V\g?T&EG..T\mji:Ƕ>h?ғK?BY me8h~ }VB8+1@((: o Pdg jV vdCX7ωW@³`$}QDV ] >Q>_g {3}ieD#\",'\N,[X.F#1" $4g6^8$}{LΧ)*6>f8̀ˤVrp.`D=s@T<>2i9ʥ15f팇Oϸ[+J:UhܟRa m^Cm}[sV|VO7̂ !L{E ICL; i;j#L 1ī_0grDKED#{/-QVFWo,'@΁[PŮ>s3:?`kk-4mNK!(K76|w`q hduRy_1ӘS%8  P0@ XVLSҍdL细#A~rM#(Kq$m.@j-NE ~]DGrϿ%{]EkP%s.?2ZWĕ8j1^4izƵ0\M4ם> c߿WmG@#"1|=p`͊߬%{ wVxWU[{ 5ޅMuKa|IhUW:fϿv;e >NfDVb︟X]|LS s_"œ&DHZ$'ioTGJ“Vԕ/(XogSQ5hOqVy!ͻ}"Z&mKRRH;5UuxI <)hAZ kSz|D:+;IU*.yM9`:F'}DղR|;3BJH& b(DFvXa VQ1 >iK~=73ѐ_b.uni5yUmoX-,*V"ֈ<Ջ0 E׵Xb pJ>Z%/ˌOK=;bq6)hVgUhc^T-TW A\W dYabAbQXWÕ CV J1ۇ@KZf[}Hu<b! +oPII"LH{0Vf na:[GچΣPtݾsj72ZIN5Ury"*Z:E8ZyP)z6),0mb|đЉ`V 6o!})rhpX4+X*rKև{һ(Mrԏ^PeX2Db `*x7_:qed.v3jn%X`WHۄ,nѫ)ZܳЀLσy="5pz-:xr W%H blU^^>QT!,Rt3[!՟o%YaWL\ז۵O'##,n[RGI0G8)r5o5VpR6};i}a:SGNŞ/ z&tQ[]+2BZ4$];Oŕa5ΗEef lM(cxh\#r;*ĉ~ԁ}BOAr_'%A`◴6S"ej;qqYO GCiRJ~ݮܻGx?u~ p:Xn#GBO'W/;a?A] 1ua¿rs SX {dE[q̵Z9::+3ܮ!/JfT$s_U倸˺M7I{:툎g7y&-xDU0W:'s{=5 :r]K?7c -*ă>pXHX|)ɔ@A)w{d!2#KY=64?A7K_c:JtAgYZ7zXZִF! 3\K]ŗXi%L Idj14r4&V_8hN|PxFr.I ܫ}DO|jv(:ùW tGvǂ MݭA:eh~=(A ~o\ ~}ޕ[R@Z5D.ӍV̱}` 088b Ÿ^*pLz =^ T4Mtmnm.)n&L+I p+QN\ X㚖ۅr(f+q4,.@ ^I N.gtT4ah cHvF"}}+\^5 EQz%ւzB(zZ6l蟫Voh" ipBlT|2*>yϬS,TZ|_bjA.=W&e9hg-av;ͦz '1e wq=VK=uߵת7sWZy_ر %?P P#8Ru#о,^G=O?`$رN Rmhm~VLo HCN;WSl@K:_mJLΕQ-]")5mq1\`%kqOsk3AɝCk8BC >~LW>|aw;zTB@;M}CGW J?z$4O)BI5KBdBv:~ikQ6=6!zic)SYҽ4'I _Y؃?(f"rzcORǭTiNy כ@K!z]]ҏJHD,f1P(qr^zsVco Tܖ< #z(?˛n4  :)2_4. ĺģO倝wF /yyX5xw"sLtCEyQ2C^b rίd{R濈~ƍO%x*3fyZv(@(/PK!;cC J zp\u9K!^'[XGYUWy+-4rom~OUQV[G l.ew.ػ›y%>VA!|\VxSi}} ,Yb>Ju,x )*BoS>ibWRVr[`]4bJBZ40+b7N &'럢}kN0;nSf q iD$MPp8ޙ΋y= ܢKrDHZڡ|Bw@Qvt6%{L2c2Ѡ P.r!8&xфFЋ?m a=~;pG4tR!4Hs6VHTCN,sCDOIYv~][a񰿜r=t'ۃQ#goQq[>s#ll e7Q}F0L?z^cV[k{yQ1݈mKUOi6 ;eex~ !_.O|%.Z(>Xo5*di[*C&W~lEmB 2w>.;$T:qMhJ/&''Y/t>35#uShE'li8q?8;Ϸ J|W|]Ot|ȋZPN/n?p @,Zw<tvNiB/Fw}tk}8 Dû:dP8+!0'!XȟnUfA4 rGqCWy'7Ћ0P4moƮߓ(yBm3yؿfKDN0;g|j] G`v$-fʸ>f;uv|u؝ d>6 >#$Sft\7yۭd&ߚYy02kor@X!BĉŐB&vdT ݵt]fX67PaĖoe4{eVC.ҁ=Ot}xL wQZA&لMvU$|"LzN~&R p*8i,9̓fYǐPs>CK{S~ f7#Kd$EG4YO-XF:QC%oaO~+?pfӛA{%'.nIvɿ5",R÷jN di'Zlyla  gDf#?/qrtOΥ2 \&OYPkojd8 Dl"?]N_ZZՌaC/\P2 q]Q azZ.Ϟn&6A8ҶnA(FAu 􁇐ҵ\P 3ך/u"~Vֿε{Ub.$IQ%յ\E2j7UU>d3* c![SK+R"4%zh๬V=ⵝQ)B柁a%\v*/pWvx 2ݐpAlyLY?'GwQl(hɮ>k^LKbzwO.ZiljY&jgexk"˻d &p'R X3$H0lйA2Y)lR}0b#nm`Oja#r;CFYR9FoZR۫ZLJv D8۴t࿻$~q\Y2I»I1flˆ>L+C #&=0K1Pb; 6.Q^8gO0mڜ4%>~m|XМv*"~U5X H!f|``}>AO*`V;8onvUdIn^gXzvǑbw _?)L+}ݝ|ニ+~SrjSɉT4NúYPo =06Vҫx-eJُ0b|V?Aɷc svz;?@D,'tyչ ONgɰ ,S(gNӔ!g׬:F᯴ =7vyAZo  ub#ʼIsPKQT5Q{2ҭ"ao?ESq[׊𑒉FfjFL>Fpr3pmJ[>>ա>Nt%NL+gnmO*3Bg+!pH7'n(w[4G4mV4vod@AD`]s [L~vzV VJB9!a@>q62nYH@aM,:n'<xgrK{O 6 QM;T[&] 3;Sô HH[Jib$璦|ʺY4 \ -L6i׊'aA?tL/` O6h J |IcT1F(Nnm:ʥ<Ë:wm~B5n0r ljl2b }Y5$?&J[s? `.szi~$GF܆Pf'V˜dT%)%A j`Ene"p&Z@o" RΞ% Gj A e(ḣ0OXU8ɟ0=q#IO}J8"'vw` xdktl[5tN, NdDiZ=|bbhtjL'r ^~o9ߡ&OG[ ôR#!pڨ1i%F0Gz  `4G(_#8 }sL?\`YO@9jPhiL`cKE~W$a6cC&Ls%~݉4ǬGpc@B`c.*JL!I:#NsTmǠ~8~ E5W6XK6h6%5ڌ^SPyWIqo)P}ZDCei̚°]s ]WU6kr#Rr9^uWRƿfh(BffDL ~WG9Ƕ4쭄ʝ˜dӑ 9tp͒L4is>+5bItk/=&:ȱ2 uD'Y NP!'Uv v0}{aaٶ[j["=ۊа ^M>! 2ЊBk`; l\"P~ƛgd$$'p|j76*B)2(*psuғ*|8O}€5N9Aab!x|=f\ZΥtU0%lH~JG`had)]5dͭ&11n|k*n|Iy|<qM835?3[[Íj!(:B!tv>B6-4V*tctVVE+Y႞\obE %Y֞πS lPVh36Aqu=֯JG◢?Ega;G0ڊ~p2#1+Ec N,cXk*@Zߟ+S;!.yWcCtEXc&N6EB(oExVmG$}%|{@pF4SSVUɅ!BV5*؈,¡Upz#FPòTV4~^rrSc|{7W-L:A'cR3T+Ln))SY.[ KzGP8r+8TVDC*.v-7"I RLnj~MR?]0k]d+FH;.D0  Xш߻'5EʨR'\i'GBdE[D7TAuN%n7I:TXJE)K.a 60p+ζ~D&ӑS(hŅ̣Xt>ѐFcKRzJ]!ne$+deb.k@dL\qc4 }ͼ"N=>Cj)d﹞^V9Q|E&em o4INiBiIkC3fVR)d&Vۮ=Kʦܢ;=l x֎a]]Jn*[ Ҩ V lrVZGe>=~DDo~&EEɬr;1 .BߞNFٳ#~{/: =;59fIH3 D-6t1Ao zk$l-pW}Nx{-}t!@Ggҭ(*,55%וʅt Ey@dž a$(Rkg[qLw~ivIK ۣ2h**Sb*\ NjpI QUm^{=1XTVqF@۸$Iۇ[Rwn K>9PcKz f h"%Cv; tCaM FXz@Xi̫DMƠ!#x:\!`Y9Mtp-" LNW]N70 {yJ/-x\r=o'KPxGs %&>E.>~Hէ6jq^?*#Y ЯNx7(i鬁M{͐m ssyVFd_[KKu2p+j&ڕ#<{bs1QJ•"Php={ml0L?Z$s_Ay~2{}Yu(+IͣȞRd[Jo:2Q:d6j "IA[jӺVqJzӡuO4Oٮ8^ mtEspMh3-9,FWyޗzq$FZh;۴q v,Pd:[>_y)HΥFUz>S_YBwK})v npLCP qFoRw f]F̙ρJh0 *ɵGndb&6B+&e ||=B]ʫl} f*h]j;Ǽ2Shp9k+R?L0هn"Ao62Xf)e׌ngu!E $2^^@vD|{HDQb?dcHbs8 "n3ۙArU27@|@,lP/I4$WkeySx*@%aŕd&5Gaӄ]zYwLX9GEo7lV惪qqX|s z`:Ӵ@{ƩBF)+viM3A 3o% EdZ3v''q:SluNw&);֔%HF轺BaaP Ju-J^k8Rn=2wEN8ﷅ{ s`S@sk*Y%jLKVv `{Q z ?#Ev'L˯mXQ2F"έ^]5 Z"86)Ie+MR]C`n `GpVԆJ1ZC2 dW% =zlyk"=ACL(#[4D<72fQNBX2YiD~ ÊjEW!5bmךj_g0qSƿHqeQ{|sՐcqM;)cC;% Mh94Qq3_kwD|snH GhGj1%%w&Q&{%Fi#XN=J@9;̸8ID6UѽdC{H?DEmÌ9 o0,)DM!À[SlijXJr~R'V-\mVwG1seakFқ\'ĕq̝4ρpH4Dٌb^[d A;X.=-$EW+1'ک(L>]%lPѺGD=4#*͗L=KD|6$0Zfhw\!Ӌ:2sp [W]#2٧C'&_Ρ]1B + xKmɢB[rEn\]\de=Qç+L8|4<xbm̕Ysd7ج6,^mcɦH Hx.פk%h1-v*tohF; )Hjj {eT2,n H|SE >8"u0,1:qzt :QJˢ;MnTH߷C u]z+b[:vχ YAKov㱀j8p=UauBVzEJ< i!jCu0~EcѺvu4 P3nOe$hl|YfƜ:8@24%XqoRQ_Hg_sm EE!eJ&-rٚ>^@!Z(lp0G -RJDIdNzSDq#v͑yߑ&6kU # ۥ<(0`k^aGaXXb~Ȝ^[vҀ+7g}q-9=D-:QM 6P٠?7'EA.~ >:,{^hrB($7S+MmZ:`Ȕ1 |$M z6f>5)ޗ]]Gw7)DL nBEo]r3H&tKF~ {_p'")$zgbS84/;Ž풿 k5k8xeCz3pmvWTvU@FK9_Dp/- q+AL R{Ղw!;W'J좄$u?oC+ +ʤKhJ]W!ul.g0)+ a{w\$0ݍx-[2׏*e, %@eU(rHY,(A+| 8 rPq8ECBaH?)xi0|k O]Y>yV(tPA7g; ?oσL+\U@5q]i1[,Ч n_&5V:g" &1l;!y>aaq}& T?"!y%ZRDa # .᤬)1^Yl F+L]Jh&[-Hz?VDʃ\q7ZlP t`ī_W47cD?dܻW5B5zXӑoHDvA0j]Kbo6Lw!^E&|,Ecӂ aL4/tԙ$D) Hr>X|\+Wpᩨ`- Ⲷ, S'DNciF=fH ^ao٣w(APNǸQh=lW๰86Shy-! }U쉅P}0kKp$ѥ׽S Cja{d}"N]YxG^RHRm ê\H˟Fzcp +J}\>vGaR,JMvI@tέ~.[m;UwL 6 =K̩Fr(bL?dNn9KNznr)nה2"^L&BN+ V= 2eA-҈sөÏ"0{Aa9:b:\G=Sj dF:d8r ]IprbP:[VnA%Yn*[CW%㭬07AY]mDg@5>@ |15t4hrzZ箖8T^,A)~D ik 3-CQÍ-zSʈ:ճyާ]U{{[uhwG$noH}W'0LJ25_c[~Vd_4l`2^@$J,TWc"9)h6 g}_"UDh1% %/j揥%-{m_·ggwp{XOvhq<!(dQ0͞pۣDkl=zS!W~Fi#룝{c߼֩߭W++ jRTo^w<Gz({ Hsg^*A3ҺQ[@tcr(2J2Xc3_7jJSkopyZX cza@ (RgVoVHʪa w8yK @6t{fT+ B4mYZOQ s#z:oo$&E3$T)xu[7!>id]H*PڬaPs`9UEYE9`%\]QKYX`hǐE-İ( sl‹7܋ C\0W'/\L]|}itUVW\|YVka12j;ݶu2EqA:ndߗA&}گxc%vzfٔ 5YJ[3 ;xt%KTLTe 332جc1YEs "0 U93۲ٓRJTWl>Iq~8;=~cgVQ*?<3mLA[ϙX;,d6Oa!Zw1bsP{a#\v]uGuHiD@=S|6j$KdP[ݝa鎲}cf'wzlو;EQS/ٓtw>dmJ5`O7=xKi۩SB׮݉Q Nȸ &LۜWE57s4qZBkǏo_ۃOeE-I,'!Սf9?zHcq^ȍ)U 1yƴ&f|򪠌a㣈6pۀqrC!XG-:@&!N_О(]ɒ{QcFdVBJHb,R_A𯚆HvE¯$|?^òBOѭr,R Xn_RgXT#+ 3*?J1[v&k0j4mx?o:ߐidU?VƹKRL^s7&չX^) A~ͬ9cp0s :c\_ f>C0Hŧgoh%)gc xgߚq"=[ (^pN0=f2׀or#a[pa@ QwDw?L 8N}5.D?Pz|c[F-&B 쩐C${/q壢#/JByߢy-0#7/c6c'&cqnĎw< ,ʹGD||#%yȞtlP i0!BS:dU{e 8}vfb| Ź|#0/nU]O6%Ā3Uɏq Lx|qG_ѨNv:Jӯ*`EM}"rJy7RyZ"gIUچ9*I6M8IBm5zkZ.LܞתgL6d%Bn^&L* k)6wV2-nq.SM9DltBd0$bZH l'ME JW.U]7]r6ܓ %TO m2(W/g.rjtjvQvVz3A^Е޿) : 3C6jA~>w} Yt˄ r>\Vg&*k5%*/r⣕ZB6e%' Iq\ 뭄Z0JBW#h*7ǑRs6+`AXQ""VW+90Nqč~ Tëgu5ci_S$;g-Xr h6EvdަCjBپ b1+Qd%]8Tj[׽'T:}a w 'ZN 4<`ϔc' ?<!pTA$nn{.h ˪m"d>Yh-SJYOh5.+1E [؂CA^d @R]Efj; Y`I߯%X/݅[z#gA.MEj}>պ8#LzXϚ/oD\ϑ;'r0bR-_x6ۃ{-'3lhZ&E y\_;}Ɂ`JN.&("l %G?QyʇUɿW?^A! e6Djs7qb•Nv-&khiߩfҴKM3g2JrHMCQql }#u |mĒ˿gk?,7"fT{.ʛ^H%M28=ΓT \0$r-?WWΚ)7YE3ǧaw|(BPKgs[f#X>YŊL"Ԃ.ؕޜl~r(#3Z9^DqQaʒo~eK:UGbJ5D 0np*4&H@on}~"Ck|;C+''5/ {HPm2S ='0;z)"H 9պ9TYSb7<,NQQ>k+ӳ˸? ihLvi.t =5.&鲕?ԶߟIUQ\ +ƍ1!^#YvZ%E5"^6Џ/Ѣ^hxf F@U'eZ4G&C:pzn?8 ;7Nhհpys{e*Wz8m Ȗ?9/4˧p-Ȣ~0,E9)=/Q{u%^"l=՗\]%Yt2!;sī-jfj kKPF5`J<,8-#Ek fTCУ:IKk\9e**KOnX3"{ِ&' 've[. 줾I7v=ڍ$z4%48o#! ot{4$EAsebVa |cрN~mϊ6Z+e`}g8 {5}imlYųHjUuB5ٷrI:9X( + ꇘkI/q[ N;#t.nSrr^}/gH{,<'"6lPBͅH[9Ck@e4>P%aMt`ngـC;&*urۼ;KRmup ᢕ&ˡuSF^f2QU@mT FcV14A^pUy-D66HY&d&BI߮ܰ^\5mJ-8@!D`XGnQS[plg4WykVB )Kta+P Н2,4VAy̍kXPnKŪ(g*Z6wْqm'վ<2o>'i0fGmL^^`C*a t⯰/g.bv(K-xvB,dZ%*1g?D6Ώ-)p: QgtWD Q 7ThZӗqԲe˰k'n.w ZO3 KʥlL}X^UO4PΚ{ vOފQ #x I(x?kF}sqTn>ϼp-]= Ӱ6ؙW] %-ZdU \?*37Ŗ-gtn|҉,I %N3Nlub[se,4ǡ+*J #/(+T(N}yc؟rJ~Up=*2/эAscvLq5CaoxDIeZk=gm<1}@ ̲͊d.I !{<Xޚq}9ii욧 O[kdǭa:0UX όL9ue9>~ %TLFe+jH +`\4Rn$-фCwnYGX\+8#Wo&EWJGSaa>Pۻtna!w&lB"SšB@ 3,G=9rv9|~lwSlRx}'b%vS3ecMҋ>t!,MR▀<]N|MԭZ?$_~fQ/[Kݕ>75SgȢ ,M9 ׬@Q{.起 HF;N淸 fު %xS(7 BZnZAk\Azߥړr꟩du&BX}2>pZu> %R1Yqe.ju8۰*bA@{!WH<φ"ENn%% YEL(xPVĊW`b胔HД=D&/bmVBhhlZ p"p$*7 ʉ>nϦ)k B&[W-OW6n $rcKBʻy2r3/'km.;8Qph wOB]FW?PcjDg}MF̘{M"`e4aѪ ;9 gA#]u&g.|Xw:a2zhK¸V}Skc#v;s\Xsq[qdOnCͱyWi/3 KoZ_ΑJA n ?ЩdgYi&MkjԁվN)vgKEs!2ٺ%.J8`zuѽþ?TVP<$ƖRc9 -_fR:aN^j^ sMi_(_x !ܑ]3{ 0=os$Y8bdf%rbK z O mI(MgLO=I+g!?W}ˋY]|[Dic>{?Rd@S_)AԭŻ;"Iߧ4М;*qQ)53$<& j,M3J B*dc'/P ʭF(X_kA6&}Gve#PaDkVfZuI@Խne~TaDH8d׫d!a/)<:eS\{vbT2YަQPhK[ C1wzw"2_˿n *c+EAw߅yךKW[~+2pEz!iʜARqWITar FVdg €z$y'-Uy=@HN3YYf!Y~Rc>|,?CHFQ)vJ$-MbĞ7PXЎ)t!E'܁Z*mmD2P>.Ua85 e zb묌bmEun;j+J5f&n99Ul@ mRxN2 oK5Q&]n8j`0k,Axo KfVz/mvF[R|)p\/CD-sqݱ@ u6ve)o; X:'ub'93qMdgy1(6u8vm}]`é ,B$J4.WX;y$% 1J:̀dRǪ7*A-B!Bq]O_ѐgnsp`vb5m18U'5lhSPM1jU|w#2vsHpO6 y jDQf6w>z7&Wt0`CfN_]91MnkXOeǣ݆G(,ٻ8v#@AZMΫ|2@}vTw_{w$!$M BX!j\Y+ӑ#ޓ7\h}bBy" (i.l7^ c?d կշ>^[ &2FR) .1Z)bI}ORur3Q: ͹p3 f'jMD&}u(jCpy֠_G5Y?y63ysE>jXS)aQsO5y ,s(QY\'㸡(ݔuYZXpˎϒ8)MKMjm9ODSN3^z2uҬ?b*[5#:Y=kn,*R\` S|rƄL5t?uu~OV#;LQI