texlive-lsc-10:svn15878.0-66.red80> K KtĉH2!c31^ WgeZsupport@red-soft.ru  Wg+iYJKۭ*Gh#C\&|ץv' Fs!ɶj\8a3jZcV[ HѐI\ϗYi.X !.$˜mv%6n" G>|FxZ ff}JF Q[{/A4)ۂٱ90wEXX oKmRU+}i(e;W4!|jܲtyJ=+B =Ĝe|4a8025f3dd43dc38a66292bb8789a07555f7377331e365d91da46ec12c549188476b1948c67d2d1c87fdb546fc20db61d0bbb7a97P'8"DP>t>; ? d$ ( I #,D P \ t : @Xv   (8 9:GHI4X<YH\l]^bd e f l t (u @v X p t z  Ctexlive-lscsvn15878.066.red80 Typesetting Live Sequence ChartsThis package is similar to the msc package in that it provides macros for typesetting a variant of sequence diagrams, in this case the Live Sequence Charts of Damm and Harel. The package supports the full LSC language of the original LSC paper, the Klose-extensions for formal verification and some of the Harel- extensions for the Play-In/Play-Out approach (cf. the manual).eiFbuilder8FredosredsoftLPPL-1.3cRED SOFTUnspecifiedhttp://tug.org/texlive/linuxnoarch#y A큤A큤A큤eiQ4eiD eiD 89358c7072db622ba6d8ac9b4a322984853dd6d870f93c39efdb3f6a22719cd2081ac9a8e22e5bbf4826027d861959a2b607389f0e7aedd37ee3f7a780929630054f0612504c637a45224924772cd2af7925ffb488f48b389a197f981bfc70edrootrootrootrootrootrootrootrootrootrootrootroottexlive-2022-66.red80.src.rpmtex(lsc.sty)tex-lsctexlive-lsc    rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsZstd)tex(ifthen.sty)tex(pst-node.sty)tex(pstricks.sty)tex-kpathseatexlive-basetexlive-kpathsea-bin3.0.4-14.6.0-14.0-15.4.18-14.18.0eicN@b|Vladislav Mitin - 10:svn64935-66Alexandr Subbotin - 9:2021-47Ivan Karavaev - 9:2020-48- build for red80- Update to 2021- rebuild for e2k2022202210:svn15878.0-66.red80texlive-lsclppl1.txtlsclsc.biblsclsc.sty/usr/share/licenses//usr/share/licenses/texlive-lsc//usr/share/texlive/texmf-dist/bibtex/bib//usr/share/texlive/texmf-dist/bibtex/bib/lsc//usr/share/texlive/texmf-dist/tex/latex//usr/share/texlive/texmf-dist/tex/latex/lsc/-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redsoft/redsoft-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redsoft/redsoft-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protectioncpiozstd19noarch-redsoft-linux-gnudirectoryASCII textutf-86d157d686c36a7bd4369229c610f3ca6d5143730982e73523366532bfd5951f25f3b96d668c1e6856bbae4491ca384b2d885178108f84bdbba0e0852a3de6e42?P(/hj&2qhn8oB.^>γRn)vJEHPu*#Tx=6[__/n =6j'jvO%ٯsՍ9玃mi(g|FcCe(W\wpXШȐa  gnGn1R9Rbbkb٠Gl%5MvTgXBzN Uesji ܚ*rzeؒdk[|xؐ67[q[K9[F($u140(F׋_-I[, )Bﰷ_m˿^|~ zh+TkU3o@Bhdg0ϗΗؾ_Zm^Hz\5-[5'k4.80Hظhr}qx+=^Y\i=o_}:o!Oպ(#n>mV'OZ,K$E~HL`,2O^zKE&YDE82PAozEzK `  [ x<`;_ցϏ=N)mZ\_?>dݷbg|YF Nbt =d8zL|FJ-aڵ-> כN^"@S Je }Szh/j)9A~2o҇}6]nX84Bِa.T'|lrgz<ڀpA!"2A@&ژ:_TB5&L2Q80U$!@xJ$Y[h݀e ˫& ߊ<rZmc"{ n &ڇ:qV>0:STJJ MbD( #1an匰-978[LWrPkd uXZe|ƀl1lA/K>#՞b pNبЊKcǷ(}֣g&Eh66,SDe`.P,p<8.0KQ@|k+'y< ,稚Nl*>o>@IjljJ >dcI W b\eYq@ŏGt #|LN{=AF؁1{S;DD>:~)Aq!o`"o}V}@qbܜwS|*g _K[b `%F0N*["B!ߛjp'O N%.o@);:*.^0Q@Q Q*+Ô Yc٥bWеJF$ E'}1=rUc(> |ԯ$ 0NZ8ȑ9-p(tDH8ODYR%Jv*X+  (`Sp6"`"pS: 峳bd>čR~D0-g-ˇE?T* a 1r,-6Q :2 o# ]r%e] 01L$,EEغc JEʷ0;Msl3> gyQ!BBjgxb(~EL 2B][Cz~;ÐSRh,+{y0L~t iIdvp'(W- l>Y IMH@AcP ,D:ΉwJb!<9B 40`sP;z9q팧MN㚪;*<(r׌ۢ.käꐗ߮n}.JOHHP,jלP&6#Wb[(9BдN&#T[=G(hĪfX#X%z ] }p U(cZ͋[MzuXMX/"*O_לGڻiA 7a~셷_if\)[O"EP+4Ou˅- ٟ}כjQHvE@zíP##YE5X-ƕkepTt0ϛJ/j/S]LpR^;'mkҢa Cc%dyGliЅLT {іs6s7P%g~"G!I؛7<8?]:(.D).m ! #"`&zt ')Qa.?F nr4HNo'`Ȱ;[Wq V(-z*:F&/d\{f,qln?n7%QtPH "]_,lx"l6 w~VeQ"ch_SLa땨{ӤwBR"YRhx+a1vMHqDIomljI\C\@rM-N°G)F+H0XF3DOPl@>ʬPGy,>=C zws.OH,'&4 kNy#%2csK)CB]0zP xm4ѭTpҋj w(vEG7c. o!ioK(ٛG!G4T >rh4?uo̷9Dq6(I K jm@}#8򻻄wZ( LVfi(Ɓw 7N*.^h\9.rܺsU8TL毼Pl+)&~hF'{> 17%c?νue멐$F re-Sčk#YIJZS&ˢߜ qSW :sp0"r~N$ CuJ^w_/DZF^MT -ōlŮ֨s&(گi1ZWa:zK6 )6T0xBS4FXdh@IئHeVAHJ5(Q^'[7Dhꂦ;h+nO5c С30ȓ N%{VC1O׋-epB_8sAR7Vr'o/% Xil* ]DL;U+a6 nC-Ո?Ը}|8N;=qD(l"`v9G0%&gYct"#,NHEn}W5/sY"|V_R4T@]a̽$C8cH,p$G_LITHe4^)*EO'g73|Ȗ;3v`ľݛń}e zæ {r>J$oډ/O0 )@߬ mSQ30c0%|1كvD5BHG8_4pNpCLJ2YLi>ks[ Lm/*ٚ %PMt#(< d΃V,"O]2=-wn;S'rŎYK'V’nDot~cɫgAywl`G"鯷8Po&vWxBC$cO!8mfA¬Rizyw1ekE uf]'y@Dr䭣rc,D)ǻ䁧:3Ԥo3 فOC{8@jSo'9 +.f8ź\듛RÄqdO8jok^!b&܈piyLC\UMi9JnܶV,ONGb3QfMF;$cb|8S g"N'Cm]4G\ԐRb\',O"(4':0ݽHҴaX7L`hyj>ױ>"< w `- s1⠓Ay Ի Tx{~ɢ p0}ar!Ҍ Ư@+$2lY`/$,@#naf+wQ@K:EdDOzbP&epY?Cg3(ZıpLW՗.\)oIv#gR4Ű1 W֢FY|Γn&z #C%.)،Cv\n4u_hsS ș/vU)|I&3J@1 a<9v"w 4`eňH<5]c"Eb bb;ף#Ģ\AjUfpvwxLݐ~ rB51+p-H~p1 aes& ٢٨ZVqUOM]喖`\QOMqcl\qLA!-IXy2fΒf 9\'CFEJrƓKs4" %i &SFNq@ui+tqU0L?JI?:uPG*Mm|XS6 XPυZYřiX u:H@ ǀza+a18džb~]~qKW+r;q33 `s,yGUh:]RZM*" e kԷSZ7Y 51²n28p;w*@f@̻|:VjSA|*7?IJ`XG H]<ן=]S%MHlkj;u==/7ETp= ?)ܚ5Ӌ {?Eb(%ScDf& b6fЖ/VڦN@5:3Pz=k?4Y_nPbQ:Q쒿4iy9@8I}fsjt[ O^@%AinLJa/ րKR6Mm,TƇkU-zYm=wEs_8VH.!݁ɀx̚,'򮻇gEҮ{'d\; qI"QmhKLʗ$+^8G\վMb\W)˲/:nUtBݾGYhR6/,6]|2.Ճ0$My2]aHNs0G$(a0B5)Vj؄-橄1}3"0&Yu}E F"Y!)I'= lWb0>F+i (u4/N::3mV萎) hkg|uu |"0 %V+o/'J;RrDtJPJǞXr:pxh {'l8ߐiUDW@g TUf0\AСsQ KFv8ڇfI/³ kW%A+ONu F(NRGI󂂑DV%wBHhXZI?)OjD;(r&PEj#U'dڂZVY>+_>/pXNu.UI/a)xdrNy/ύ< rBgER>6Q֜)}Lf~]\G=AӖʱ)Bz( X5)Ag\~"H| R1[O 1Sp*Nj o$eMI0$kUdz]JtE mD\}pp  sT\VjFJޖKLDXCa/ 'c).Hا  i0x祲`v,(76jl `ERjl@wQLE~|T5[P=m1gn_A8o>Czj]gRG^-M䆷@63nL& YB>{W`7k3ZϸE nu^(2WPRI[p-Re?N'zm ~ Ekq#Y*9ֶh"ȷrwZ'#ڝ(z_%d`l/C_ķQ2a!(s8HtN[)-EVfZj|B EשAE)-H9u* i9;. BK| 1dnBĖ621U0Q'@B9tΒa֯cK#~{ޖ3ٷA!O{B<"~zV8o@#vJ.>}ՔEbIڊd0'goBFJ!^W-!0 vʚ-w^ه>m-"^>7Qޱ1:aE"&byK4lŢXl$RIE=ou@5R. :9H$qhB[ Y pcklgkfiA֍#t5H ²6x' o[b5xH4@IGpKs zehojp3J Wm5No)1 p=% {/%:-^DZT}#,UQ:q}kŝ`pd %/dAEԉ9 l"X{d1JwU QTvFr(WѨx p[_ӱxQ+S):MQ"EX.3{0hҦiSNmcg'N #svވU PWHAP峹RUD*ZT 3dYhEV@Wpq~˘sՉ+i6٦*LCZ+X^Z5Pj/V 9n>Z׀Y{/:?&>y"x5.wȊZi,**N\Wz)77nCHiՏt,^Gv4JQdG`* .;wl)|Z}OWS4OMfߜM{dm8R.A %q-(j ~+H٠茤ng/kȉ߃^@&ޫ`)btNzg.o3ǵbrU*sלN~Ԙef.zb7gɚ΍~\Qp q 0IcpIC?RnCk~Fʤ&s#YO S;sBz-GR:fWѷNCHQ,"l`L9M7(ئqOj;.`xDWDO/C;H5th[T&6nZSKRnɚZTXd܆ ^[VɊ:i>:5Nئ\ 0Fֹۨ3U:^n5^;jb1N*-8 17K5.UA} Mٻ|o4l*bY2;2ebxZ]0iD :H~}HB}MSlmd`MʽO:o/Z 4R }LiFml*fx$LkJzzӃIaV+n^Ĥ3Q1[:#g:>N7{5KU>o% Ȃ6xj".Hɶjχ b<$3)l̜D}[dE3E:_x7S*ꩆå T2'+^pD'^ ߫;qT3 5|4rg>0dz{׊~b vdM@C/h{B!4~{9WMQ~UO~$kF%5[:-+U }D^ITϣ!E(IRAيvB3Daֱzd;-_)F70'p ab\X.:;u, `I9ƘωZ& (hmJ+ KV_ǎ.qq rVz27@?dIH.1"8 B4pƟGtAqe`C^;ʀ'R)QGqt1A]5- ` H)My3y, 5`pj?Lr;4Р,6Hիڡ˱``=  F薟T׷,c"=~H:Ȣ흚@cVl.)[xH yĸCq8gi&Gr1K,.7Ȁp$ઙCϮH۹ZMa|˃l}b؉+h|}4#% ,d)[͊]7CtNmQɿZa|{ \)Nc8<Ha P|%B q| F/I!XLYªsg'v2D Gcn-%Q ExJs4L ϗ&s]zEJ|?#e(C̱su#\?>yCR |fwWٰKPÊoM)J0Jђu%y6ixDdq(I^xK!]DPAt6^c4x&3p1ˊ):-ewf.KOt!jΕyVuj€E q֤nUյ(ifں1V.$ 2b=c8Ԏt㩿 TYc(KI/g jd7QiS TA H1)gqL"ޒ:N `L^PWꎷۘ* $j6 1}PS%k 8[*GWSis]і-)Be LBiGQZ&#Tm_ ޙT,d|?Vχ0# H0 m!tnk/+7ԙ%2{#x(saql,[$/LÌ%VȺ1zv "kB+p6>b9\JlV?paEe+̈́H @ >?4=7fT嶮9(v?[6B3n3,t1E;m0îbW LlX;c3yP!6'SՄ h YNД)YlSk HS⫣ Pg$*g/L0Fzo% E'4W9J*:i%iSI*]hdcfK;x!$\2LdG9&Q0}d$[+ٱ`muL2RrXdizWΧ;yH ޶Snw6Ԙxkxƙ]*Z?IT$<=(Մ3`w(y09Nhh/yFb>+ʺYlE)! ޭ+}Y-|P+ex% g8r#HA'45VoA GxEWOb uߏH'=n쁜S>c[=$rFk;Ffbn痱t"U]<?N 07[/.Nq$u<^o}W~m5TKvVX+DxZsu#TuB!w)ðXw:Bc<{`qI3+g+1Q2u&IgxsX;(қRɶo n>95GLu6XhQ6 .4dAj[= Ő<^0ƪ RA֯:.)8˖s7ACb]um&tbĞ?`J cӧW>b=OpdJPW  F;oi~ u֥EV}%`3*`RLRE6'kW z]J -;K+ROxT8yvKw!ĩF%xM6@r90zY6pP'fpy=P:<0+Q U!Ѕ&(DEjұB..QC\$Z|/gH>ś2˝Ճye^ _,#L[deuKhi3xM8 :C;HϴIUôgԃ̃- {R~^@H*0/Kvm􆄱+qFYqEyֵj"љm1i'lw'.R  P2ˈkWZ#grhB[3Tsp ʉ,@)8 9DE[<cn ;֡ Js8Tx ׎D\CL~YH,-ENbGBOLf$"^$wћ|[d7m*-@|)35mK0т vaB٪l.Z^- $L48KƲ!ڊ*{ky˥Oo\RbtangsI 6wπO_ Ɵ[Jv((lU]3c*룄FNoQMGN%BA.9 ClhH^(VYCCKʍESVvR@hAe.\Y:X+P $)xgCw8?OV-Hqzʁf籯`Pl{2z!V[Q} ωlӸ{ļH~>FLW dcIߞig#_|j.c33:fwԜhOT]P!>"EǑ`ٶ$ 68FA ct*ʝЙܴbS.-q|<ؠLTϑk4C&nRU7]զU%_Ԣ+|whӽYKX[F0kcÃY&81US2}R.*!r TchrǻfSBk)mɢW 'XDI „<}H W{=BۜbϠ䝠hѼpFd