@n1<\Tr@ks2
k^t1*\Trot2
flem1*\Tro2-X
mI1<sN-\Trop2
mI2<sN-\Tra1<pIk
o2<vX-\Tro1
fI2<l|n-\Tra1<pIk
spEnd1*\TrIft2