a0 a1 a2 a3
{ a4 a5 a6 a7 a8 a9 a10 a11
a12 A
a13 n a14 n a15a17a16a19a18a21a20
a22a17a23a25a24
a15
a23a25a24
a15
A a13a25a26a25a27a19a15 A a13a19a28a17a26a25a27a19a15
a29a19a30a17a31a25a32a25a33a35a34a37a36 a29a19a30a17a31a25a32a25a33a35a38a39a36
a40 a30a17a31a25a32a25a33a35a34a37a36 a40 a30a17a31a25a32a25a33a35a38a39a36
a40 a29a19a41
a28a25a42 0
a40 a29a19a41
a42 0
AX = 0 a43a25a44a25a45 X = 0 AX = 0 a43
a34a19a46a25a47a17a48
a45
AX = b a43a25a44a25a45 X = A 1b AX = b a43
a34a19a46a25a47a17a48
a45a35a49
a34
a45
A a43 n a50 (
a22a25a51
) a52a25a53 A a43 r < n a50a25a52a25a53
A a54a25a55 r = n A a15a17a55 r = n
a40 a24a21a56a58a57
a18a35a59
a41
a13 R = I R a60a19a61a17a43a25a44
a40
a42 0
a29a19a30a17a31a19a62a25a63
a13 R
n a29a19a30a17a31a19a62a25a63a65a64a35a66 r < n
a40 a30a17a31a19a62a25a63
Rn
a40 a30a17a31a19a62a25a63a65a64a35a66
r < n
a67
a43a25a68a25a69a25a70
a22
0 0 a13 A a15a17a68a25a69a25a70
AT A a71a25a72a25a73a25a74 AT A a75a25a73a25a74
A a43 n a50 (a73 ) a76a25a77a25a70 A a43 r < n a50a25a76a25a77a25a70
a76a25a77
a29
a26a19a78 r a74
a31
1