S
O
M
A
[
M
_
,
t
s
_
,
t
z
_
,
n
_
]
:
=
(
C
l
e
a
r
[
i
j
,
i
,
d
i
]
;
d
i
=
(
t
z
-
t
s
)
/
n
;
F
o
r
[
i
j
=
0
,
i
j
<
n
+
1
,
i
j
+
+
,
n
1
0
1
3
[
t
s
+
d
i
*
i
j
]
=
(
t
s
+
d
i
*
i
j
)
^
(
2
/
3
)
(
1
+
(
2
S
i
n
[
M
(
t
s
+
d
i
*
i
j
)
]
)
/
(
3
M
(
t
s
+
d
i
*
i
j
)
)
)
;
]
;
T
a
b
l
e
[
{
t
s
+
d
i
*
i
,
n
1
0
1
3
[
t
s
+
d
i
*
i
]
}
,
{
i
,
0
,
n
}
]
)