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 q3tll ]% Stochastic_Matrices:threads=4elapsed=291.255cpu=765.596gc=31.868factor=2.637zXZִF! "3]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^`&:b㼙/̄oI\ )I4<NJ)6Wnb#ن"&œ$lTd% dSx9Sշa(N g#_%e-XY,u"떶H@7ՇG+H i~^kt~$Oǔ_mU6}%%1x1+\ 9 L9!˶m@Qp1N7deꇎvA~G>^gCߡ z|-v, g#EL߱JDLIV:By/ĨfQ~&$$?Md*<yiAΈWpmL4>^#7 C\k>4H tJqLljWH)K[rx_YgFv /l}/]@|Ğ7 j?KZ%RF {+r‰d1; B2&4AyL91bUw4!#XTڛ1ؘqozIs}a2تRJtJ)Vrp6%g7`TGĶ8-}Ėay 'Ηv>̃;>DnWԨAgS47unO0rێ&3;+8ITX`s5f btDƼ]>l I,diTy+j\ֳH_ѳ!u# ٗ^:Skf]kR 5QE$^w@qfX) ST±APGgQ \&Q.S0Y&3- }*Q茜׆dž PSTS4B@5(_W=w+bl=VW} 27߬*I[CjjMA/WjGP;R|lxێ5P?˓~/@ϧmG#2*eKvUMb;F{|Uu(5n(#mwU3^'3Fk{[̿va[|B'TdU}>D7?Jy5RVL/I`qC<P:>[<(le@ ݢfc2$K<e]57 S[X.ڙAa߳a㲊ܱ:ds直/~\K@w4yM]gxS]m| gT*=+zUis&*[!>< pFnM,߱Y1ְT`S2i铑[חQ ǡhxScI^)sUaͶ3Fu˟gȘuojj8Ks^r(L]3jw> z4"HaslqP=+P9K#82`x6sݱq۰/EHLq aj "e\,Y NA`Zbiv<5/#z[aIA Pb0_:!ۜXUk޺\ߘ4W94UKLJ. iCq6CۂH<)L̜F4.E Yfa9x"R͑ :``jqb,- '~PSWM.U%T;$p~S;_:7SYA)"ϸW-܂|R<9(Yd7?c6krbƁ0ST(cOTՑFmNT+ "_@zb:twLZ&K7nEK~mq-W9۵^WC6!{Hcq 1Ѕ)!;!֋n ֚09x[-Gg JdzSfқ'_n)xчRV 83o?8FGEט,$2;_^N)Ɇ<ȷM j @]fGTOI ص'GFn'}}+ܓU;|.D)eHoY m -Pp<;MsѢ$`)ʉ#¤̢Qa2Y'ʑuUu Ykܢf[yҠaN / *_Nj(@*YWY/e.j+H`V HExY-Co{{` h(lގw+SQye~bCyT8,tOd#|p`dP~N>qTA):$%2.kN51@mæ+OHނyE_ :Ųw`=(Oڅrċ,vh+OuR0Qj(xG'ڇUf%p\=(9kM'PR `P@PlO/!G;ch\to?N}T[2Ro9ƿrôެ)_H2E,~aۺrεߍ?ڕmtWθaE[#VLqVDI[i}( +!#@zl6Z䙊,h<`֜v -py;#Z'v} Zq۳;ҍں>xʝ( a0=?P ;(>=mVQb0kUR/](#]8HAV/54ٌ؍eܫGfS|>J0m|d ק/6B%wcZH7k( ujż]I^Ɖ jxxOlS;(e̮"k;Jl4Ӥa6~/{4,'u:ѭ(GstDC9|x,qAԔz1S"CS{&Mr ̗Ca]' =.'n`* 뺿'nq5n*vD+Ji7p7 r|D!=>H m[]r6>%]@{-fV͜"gעcy\Ãp̨DX @Kĺ'#M Uxo[Gi.p(,T#"KIRvΠ \!BN&Ǻr;=/6Ũ3&Pn͠RйW[^ow01cX4Lga'[Q=1muw~ %n). I 5C} G]2I{rNjs\ [VǛG ;9BohX]P)@B_TC+ݥWuIW;Gzhg%HF,iV|݅z]hY_"l/>sq ֹj96{ѣ ^Sg9Y!F}5]Nw.-n-56)z"LUS&"X~K\5yeRϋ{EtBm*S (k'n%Kx ̽p5fqipx!L+VlN<}잎Z2xNœOC$Fwn"3J Hr6ۖ =2bJwԼnQ՜[2$lƍZ/GMOm`˧ezѠ0l"S.~̢ks RĴG˫R >f"d5deU%]wI*q.udR`P}}4ua@=:-΃Ѕm[͉htm'<N6X"aiGrJ!ә,X>'EBulwTM 0Sל*'0 L@LJSxq#q(sٻ'"x̍diݻx"#,|s<+FM!d)_z| XEj콯W"Lly9R|.tP1aWv#z%3CY2 |q3uM{r?9OcX$®v+-P><1"J6nFN'$h9]~ʴgT5:ELƻGn~BEl0/9bWR$bH_Y uZ~vx?D}CсbBF=e\P粝hnsW]BݡC]jVcƝ"V9Rp#Hv7T}ZibD'ɹ^vCˎa{P'uZBE:85ًCG|Ր}83G#"3W7DBY+e*Bt 媡eZdr/ަx㐆v=lb2x胓k'a$ ܅awW+hTmhi;+~ ME9N؟5#Ϻ7 Jhf lӻ JUO~I(:yQ>uǐmXv(wbI[]ɓ{ՈO/+:*C,>fZg|7{TO<2'ՂnPXe=F&|} f 9*2zw*^-Nӟ[΁15ɭ RYCfֿP_df{ i;_ TNf ;]G?:zT*t]_sKWŹ韑NNČ )}A tu3dl=\ZT\iKxj b/60H=`2 GP'SeweW$J 1ZyK,x״p|0ɡ_(]tjQ- 7;ohByLї*jML1'ta]0 \ܹR; NHI[KqV)ۀL떺H¾5T䄨tfӖҥ_iK^iϴf&NѱSb#GS+Nv'd/2"> MyR6z|p]؉ y"ʮ<Zme|vq7סT^@gHSVϏ*R`hџq{j{.~y fDV z74s@]9in7n?Yo+t 8Cw~bDdLWZj Y5&o m}m̼R*'4nuJ;T2 m;^?" 3\G߯ha78 %D5)5S^(mʅ1s't[J-\GLRo i_E('Ϧ^[@6TR`_Κ;AA' Dk!}"7^wUm#Aj aňSۅ_.G%f1S*0uubo/K> )kOEڜlm*-&`hF܊{mhSXF5 Qs{vmqc24,{5NI+;|Tbڟ:\n ~:,G?0,wqDq `0A#P=Fcߍ}1zeMubeXz-9خlsg@sRE$ ({/M2@TW/$c 4M4d3Y`Rѧ&{[J~'cݖZ(j ?־Yۄ>t9?@ƚ^6GsXjN$$ظ%jR1dh`QTT;(\ .t%wvѕVq.q!`'[oUQNeηJ(:>N$id3 @aF oT628QUk  _w&ĻS+[@Gp,.\ i^t =xMzl {@N^2L(Yo@ +|m0g`h4IG N&O|ti@Z9_'fcmƮHYKIz]TI8fPDR+ gYZ7zXZִF! .]ŗXiɟ1˦r!q=4!pƹ $7# _k#Z=1V*Pd: `!ӭ7 {{,h@$(MI>DE+^%WY5Ê\Aj[.@j,z{~r=X]llrRUϪ ? <- d#/aRal;E 3y^8x$'jZyGG$T+ِe(gG*kY~yppҭ\<:U=.[HּVQQ{U>}3j+m-r~҂T眉3M3L (2hI) GY#/}}+ҝ.?vx*GS\!ؐΧUhyP)Lt-@܊AMX-Vu]JQ JDfVaqUZ O3:>xc+g}8(aEH/+!R\l:pè.Z?@:[HH`wݒ O'A}ʰnRib U{`B(ưhOiݳ fo9 gg*̊5($c0W> K-wPK(RR>Lkk2HE,# O' ucpVƛyvzXmr_T@U蜊Ew b{f|4VbfVCٔ.V1W5qij PT2\sz4? 7/uw~ _J(c{lOa2Pcؿ=ƀ+zWe`nذ{bojJa?J veF!B0<3ؕQKu$Dܥd XWKe䷺LRiRSّCs#ǻ\=$+Dtg!جt 1GzSSBKEȋzO_4n)-59ܺ?SgR F26Z46CЮhL,/4(zAģYGNOInTE) œE=:YF†רrsk>Q7z*41V?3̌E>nKEɕXjVuBөIT왃=շ*z@T/2q+XleV=vN)f)N7)[Fϥ2my<;aڜnd񁹲Aj?)61om‰bE:LR=&i$' %G,x?+3ҁksg +y]H&$B@@K@B?Tb"h3` kuQi1/dT[Uio:2X;QX gVtizh`d kt}%6f)dXş;UrM45ѵyHQ~HylǻCT^׹Av)+te'x:[IN"&̸^#Ox@GڴIs2_^-.tX@ЍMB|SՉ{ETRM6V i8W)::{_(m.L)aepɇL1;=EYmFVRٶgـf98]trُ{j2yNޕY`Jʾܦp̱~݁uOH2gX#Uj+EWͻ"HFb?GQh5]-Ob0ppؑ I>1"je#JF0`PC*> Zk0/ˈp= CzAB[ޤbIN3s6RܱG%m*Cx ``(rn hslF=FE"a-- 5:AG+yY+?}, NSPHF`9Rw [\$5Xh?f-˺S 8f*?<+<# q= 2Wc$ŋBzuySA)^=R+&,IC!WvZ =-1؝ Do?LBIV/5Z wɉ$&5,!1m$L %}&#+t -S⽴Lk[Xw(r~ygQTgġLZ~a\ҟ!cwHψ6*/Ӗ@8e'Y|P[DqUyxPahme}='rf["B+\Z@:51o2zn32].jEwb0K,H-Z.(opؾdPR+]S[i#Ģ{\e4?)j!~zjE -~Qjxie^؍);Ըo:k5'9Uo1 ( Zн}$<#ꎻ㵶N 'mF9zg b)-oE^[薷#D)OI2~"L`*?L*=[`eUu,B揵 u\Lx'~F&7Tb[m_>"8d} 1HG ^ 2lu?1"_i 4 ͕"?gsoq UH!y}z"K.sfd?";wyZuڗ%U$| Ry{O r+m Kȥqm8jKܳ ߈IBMV!:\*.;C9U9hXsPVˣDy\=-ZL%&#kK#C1u'|A^tt>Wwcj )- SfE1zk4Zۓ#6L rW VD_yK]p"3dgE>a< h[Cw1 /b;'p gdzN" I/Uf ` YzKuPsfqz;UJ <` o\Kl2ޕÒ)_H,zy3̷)N7Uxp%K攺u9nū0SzvGRJÜTzj/+>\Þ +b֍t`͛ n ^ʭR2)_zz! ;r >{G@st/lstAiVS1:.}j,Z'qT1ZZ0|ܝs`K+\ȦCnhN4y2zV%D`|L+<<g>{js># Jb˲%K͙|= c̪`XC JKܣ1 R6D<<'@uI+}g`6u/~[|GILjC?9ern:VZvNI{?L* %8Mxx|mɃI:(iv-j<ҿlze}RʽvN?t3Lj? oS I>U;&"CߵP% 3 Lk>(#?Ԟf;o l‘^^Wv5mc-UG Eҋ̳Q:}pGpPin{kG Y^.5S;GfC|n>j:UaDV,Ă\zNuSzX9cK& rA]EVna%f4O;{,z;T2~\ƶqzZ}"N+ܟ:Qjrn*WԼ>(qt}XM X'{1FP] (UE&R>qF%Yd`:tXXŞZ9)vSѷa9=ibyx佮E뜹-*rno2?/sA!w'_'@#pI}Asrk\ޯIkq<k~ 64TI__@ 9bӁMI!K^S';|b.XNNG5#-QYdt븻ٴҔm;mxΚfL%Fq:\v|H>[ A`̇+)}6f]^9%T=d2uӵagƜ$cYT"8dMo2*lԍ >Ϯm 2]Xo> YvS=ݛOIQqR 4L"jNۃp._Thj*BO QPio@6)*zÎ?:Bop(T O)"sѢEx{LgG]NUn@XO?$  __&۔%v|e@lѐG4 REO2o҂~4]{nڲu$?wufKzu|J =;$=Me6yWP>LxXv 쥮>$g!\ʆ6YSgbs rd?rizrM$_vQc!hS4շ.훝 []:U )tkO04TbKҷbp1gt0] E?'LNmF3?W]m(+`Y̡dҡHU"/vaXdi/{Yku_So?K ?:9ځzr24E$UdN\hD{腇k K۱0 l2 aBM>pʿU׳E˩Z[/|Sf|揑xnLH =co_)La)9eIAD{[`@ "d QY@7>1O]Uɩ.ZlrƑc.<ZsEN!P5#=5 ݽ捃D=^I}6)~Jpj͋vEfԜy,GIB}[囆{nfX`Lsb51F$n87JH]E|G3.L4!8fp&ө*)@ ) ]9a$uOy+IS3,&0qu&>QUrP=nPH?vSt05}H i6OvsUz)zly `wrw DbKAhXB4D0vUFx"}һ]x4^̡t$ 5Z|zKF5lF4{$rNs)YxUF_9T>Y`Qr-3oÒ}|;B0#1,p둔v & |sAA]w6Ih=?VhOb{F!K7X*Mg e0OQ׮~*.u5$ ɿ8 8#/dlj4 wH!Ī0#HU 9Jƶi)!SSa< ]'Zz_r6ZB6]µ&[ 97:2=Ms7(8&I%TPJ_{Ӈ&-1%B\Cx|Ϳ MIA%W;8ԆG,=L^/wtV?=<=Bb'#4l-Xd~fl]*n y|4ž .j)K46 YHɤ -B<1*T/D;XĨiEacLk-t@fԔբyY>j1}~BXC/3u w?ɑa$n{"m\1v7ɒ)~>'evIs 4\1vaa8eu%M   <ɺ0CR>ÐD[Acs#cܞ.by2!{y9B#&BAJPGX/e鼒9,)̐/EVZJ3 ^J1C5rDu^رcZKwjM?e1x~M]ac^&S ZhD$ϏWQ`-$2Sgdv?7Kw#%/T3*;~sn~/͸%⩻ۯ'Z8|aU.o-7(VCܲ*g8$U96c)e~/e0kԖ*ȓ wś{Lיˬ6taCfb i&_,ñn7jkGρ/qz ,_WɆVS%dž+4v'|y7 T}?C?PhfƬJt"k>›| lsϟͧR(ya.+>:Bl_sV]Aଜ1"Z`jJ-Ͳìt|mQV=boyYkߺ;/6}Í][sT*C Mc Q2vԚ( ԧ{R `&>)#:~Ip%{9u3o;MWk)88:R`Oa) ;,Ш¿9l '쩁Lk[ zӄqqۅ]9[?A*S/D {]td)iP dCv!NSؚ-aPm 92RU:$[/6ɽ3ϙ yq_UWG1a< a9wzqwFYrH%mP'ف[1\t#`˼Ѕ9s.Ck;$>5* tk|4 wArӍJG5r7XT@v_Q4zcqBnD@QyyyZB 1Q0sJqvke,g!)1u2q=4A6<|:LCoqJ9H0]K6csȟE6|8X"Q튥OGV-jqF99ۚ_,6$9<<^PPm0'~WV oa>/ 9e8 Xa gFLM]n/Z(~ГL.Qptk\=|V+'B68iј[t`栏H) !$JT^a4sVDT*;l- [YOv$D4܉iX\M…;n#MΦIˆ 7o_c˶,gl?6[fe9`1dnѶ2.Vd*E2e]o\[7],no2JP<3lqS]LJhn8z,,Jft:4Jm|9A>=N˱gDCy`t!J]s2Jq|$qVKղXa}F*IHj凿<ڡen,^c4EՇkEA4](7b89V#Zͅwnwݭ|x"MT,.Cg1M 30 ȍTHkEBq U9֚IԌx3)o#0"bB." &*]?p$-.Rs-9?[ DچSD -,hmCA~+NB+lMs^.^k1jg䓰*i*ۭQ:~GgV[5Ň>T^sS4❰Unuy%_K ~nj7S&ѻ],3^Qǽ,[l?;ALV;|f vD;{m5A!̼jon&qwgP f3j-xpQuCh>(8Y-Br%L)%m* TVl _+-:& K9|gVQU8{yGtz"0 -t>O4u5]+{Z yz/k1F='`(zIU0sƛP]MӅGKxSpvlS B=C֙yNYaJg9({_Xma8pH@gI-^y`@O /03vQͦxme A(x {9k_`W-PIzc: S-,4ݜAkpU|+;`RejW. )=XOG ,*`(4~\WKӫT#>fX&?Nh.F>V[/{TDf #EzhO-l de`_5+Og/ '\滶֣&['HЈtHWŜpv/lҒ^0VsrthE"Ac'o#TS)w;G ]Qo1Ab` PW QkijwPq$%+t?y=Ȃ0?Ԙ>7gbL'^lH=,hHkqU2mYefL*ּQpŋ4ela$/G_N@#?FHH*:ɗF3Fq9L;V۪;$E͈fəz=DbP8fp{I}s ɯ57sVwϔTxC |*T%Pϸ<25ֲ!keUimv"YVEsƖmX(? vuTc? $|Y n+CAlv3 L^;ZXcp+O.eh&),ED 5W^R]5 Q A;? {J([{H󞽁?!9ȓCJu ZD\ʊhO`g\&ûld|9}EU=Mgp7HS" ܭ㲠݊Ht_?#oЂpܒyt0R9NgM6 eĩ46SW ?kgYˢ>/s* ~ZE&de0)N/Z` 1\ЊB_`:nK;rCNӃ$מm<&Ux|5626[in.JHr p u"ydꝁv2~dqPYjז. .C;DYBdOPH7޼y_~`H+Siu>U > n\-6]ϥWyݩLJP-uJjGG|dLs "zQbx?_i?'&W.F9i*g ؗfޭ󼽭 w=ՔDTJ=nZ">yԵ^SK+D`9 _0->gB"U5z /M/NRtaarL})PfAautX.MnY4^XۛHhOp*i@!2m,p\b]qy5r6`yQ bu5=_Tӻ /(f/ش.k R2TN'Ԭ`Q!ˀ{>+<=j=}$3XAo#' mjHEDhvu;$xYL{#Є Z' xdll{S_½$}]ݘV9l.ǵ9zTTGL"qC"!iLE581& KJ10U"*:<9nUTόM&>f۝<įq#W5OWG5FyDőO u6>f3:ٲ$̓n*MKS%}LxY Tީ4;KY ϲH_,3qq+Q }HFfFo v,iwϐo #SW)Zbo_lǘc}] M7SZӉ[𺬶 UֶLh ʩ1'eS>ȓ}ew3Kɶ_dG8 Sp a]CAH24\(XQ8%LkqCk.A, zkEBWl=I΂m}>RyMp%0.]#*6P"7Nr l3WI~2 .rb4kMNW5.f.4~](KA[ܥg_1wA$ry 8, vpg7V1jlWE:"=jRgx(x=إ%]b_x]΢!2=WQy_1bc;]͡MLܢbOLC2 ,xߖV}R)smWBx&цQZ,FGGrǻll5+WΗ$/&tQvFqu5_aBɐ.1~w,fy>d9nQ풾7yGwLI ץO - ҸQ Wz T&%{5mw0{e#CK!B{ťZVI*#U]|.ȹïww19 /{ ґI8|a'Ry[-]R_8P:r)Ԇ@c+LPYd}06g^*sBDEHA.WAU\+d^n7eWksVQ@8+EP.:+of?7oL8@Sf׮@c挫3h\&ZX^-݄ GoJigiH3$2;/kEf e%7%wX1i.1+16{=䉕CBFSkO@|Wywecc/,pVޮ)VD~sL}@(+7J:$9^S|zu;dW~xjΛ :L9)'"~Wa;}qU tIٴ>UUa4;[-$r{L2 g5SsbG=+z24\ hxý |oX^&v7v6͞(բќ/[B;?a :o>fsi49~j/i˩dQ?p(|!cؚOMJ+sXKfwK)"7QÑM23:_dW 0ԬwJbj\E+-&PQ(Fr~TQkWTDm۝e},t| b<(OdWl>Jb&)$ϤNs $yOx!,:a!eMF#*t*F#I \Y_З:0q&?T0M2rR9W}mpU##;&X2|kT > \f\!Rg3H[h q吠=>ߥANCWu`sh DjJ9T]yP51Yn쵄π$e4GP=1R@(Њw G8(LMÂ_ywӰ#g9?jb]i5Le% {7.][D2L0ɵF˚PBP۽9M^nټ8ٸ5%# `n 5u #=|V^֊>QC(oYvO%QTNƨxNDP+(ة3l _!RB  JִIe?H8 9j 8Qj̕CZ[u^i ɋsQ5cKa5kHr1aP].YX .( ~(=e |JB?8לJ<0&kKaXց}\6;flu`=nԥͯLRW _+/?vi֙aS3_&?rrϋi3{~ٞts-8c oUnUѕ^ &z ]7GyXAgUDrEݳ[TzҲuFo9pg?Xvq 5:;`q~LHYjBmڗT šjf3K dž*=i.9$1slg U=T VZJcSTT .&,f2Zw}J^Y&`oknu;\S|_u>.` v8uf%| tFy;^ks<~yLem,4U搅gM\`Сp8?"FZb9=S9E@6|&VEb-ۘ(`Zy)leQ,٥2e"(u|X?` k.U j@[,]1+\y3#[ck Pۣ/Sh-gY wa"ӣa qi\: v]F}s%t-)h?,q#MuA{9,mqYT|&*ƣyJֆ"hSxžPPzv`_qw{;WW<|6=]:1ݍA%h'"%t6+i͏I)vb]jQxbqY8+xG1`S5י>.];LzNF.ce5C3L3Rfݻc:aF}LU9ߛ&# Z,nrb/6E 肠v{c7#;r/vKB>r}/٩M<)˩oxk9|ZPrgn,,'U0km,r{rFb631pnY{Ʀ?!]&}𤩞>7-u lÇzpoѧy&D({5PF쏏j[ 6^c1]ҮӒ.psontVg`kl]9J4N>sD6#ɻM!닂q_)̅<jgRŮq)@G疠}tZD~VnRRɫД2 d8W1Eŝv8 ,Pz:&؂0Y냯g'7iGt2y(!%Rob,}Ro~WSE<[js"xOagYi2K]{g <OkEN;m%4R2nNO.dRPfXmՍBSzs%o0WoϽJ8>؛恂"o{,Eg- |z/lGe6 #`WKwhѣc0bMZ̽q3M]OMCMRعvcmD=\; i>N`(P8?_* #}~ynW`uU˴ j)=ᕈCI72}ye#tY.Edf1{0%b2 ŋZn{3}M+0_Csq|ݧF;_OۯR(*tmLRbMW'gtDoa  eHO7V$G95tݛHsO L/vpj{_>XbFЂ.8.KZ¹s0`*%l5EFWkb|w֫Q:~,|Fz[Uk1<-rzXVYTS%Ϡx7 c#H1lA[ BZ&_ L*Cxe1iyF6IY9l34~⅃ $ ѶP>0W%Al*vb[UP\ŕD&+En.qMQjBR2=֕gor~[GXtsMTSYvK1O8<Ȯ!tp?v{" [=EI MZd2b$f՛hJL%O$$`32$9Yed7'jk4!?#U'>R#d *l6$\ǀLPX䑉f*s 0𧤆 X}H[Z 5wECU`E>>܀Ԕ9kO0_GvWKŖ1jU8t- m&+ s;^ă+TLi^QTS##|"X