F
A
M
a
p
[
r
u
l
e
_
,
s
0
_
,
n
_
,
k
_
:
2
]
:
=
T
a
b
l
e
[
{
i
,
F
r
o
m
D
i
g
i
t
s
[
F
A
S
t
e
p
[
r
u
l
e
,
s
0
,
I
n
t
e
g
e
r
D
i
g
i
t
s
[
i
,
k
,
n
]
]
,
k
]
}
,
{
i
,
0
,
k
^
n
-
1
}
]
F
A
M
a
p
M
a
t
r
i
x
[
r
u
l
e
_
,
s
0
_
,
n
_
,
k
_
:
2
]
:
=
N
o
r
m
a
l
[
S
p
a
r
s
e
A
r
r
a
y
[
(
(
#
+
1
)
1
)
&
/
@
F
A
M
a
p
[
r
u
l
e
,
s
0
,
n
]
,
{
k
^
n
,
k
^
n
}
]
]