language recognition by reversible partitioned cellular

Language Recognition by Reversible

Partitioned Cellular Automata

Kenichi Morita

Hiroshima University

20th International Workshop on Cellular Automata and

Discrete Complex Systems (AUTOMATA 2014),

Himeji, Japan, 7–9 July 2014

Outline of the Talk

• Objective: To clarify how the reversibility con-

straint affects the language accepting capability

of 1-D partitioned cellular automata (PCAs).

· · · A B C

D

· · ·� � � ��

Reversible system

2

Outline of the Talk

• Objective: To clarify how the reversibility con-

straint affects the language accepting capability

of 1-D partitioned cellular automata (PCAs).

• Result: The capability of PCAs does not de-

crease by the constraint. We have

L(RPCA) =L(PCA) =L(DLBA) =L(RDLBA).

LBA: linear-bounded automaton

D: deterministic

R: reversible

3

Contents

1. Partitioned cellular automaton acceptor

2. Reversible linear-bounded automaton

3. Simulating RDLBA by RPCA

Appendices

4

1. Partitioned cellular automaton acceptor

5

Bounded CA Acceptor

• Smith (1972) proposed a bounded CA acceptor.

• An input word a1a2 · · · an is given as an initial

configuration.

• It uses only n cells (the space is bounded).

• If the cell at the position 1 enters an accepting

state, we say the CA accepts the input.0 1 2 · · · · n n + 1

t = 0 # a1 a2 · · · · an #

t = 1 # x11 x1

2 · · · · x1n #

...

t = t1 # xt11 xt1

2 · · · · xt1n #

6

Past Results on Bounded CA Acceptors

• Smith (1972) showed an irreversible CA acceptor

is equivalent to a DLBA, if the computing time

is not bounded:

L(CA) = L(DLBA)

DLBA: deterministic linear-bounded automaton

• Reversible CA acceptors were studied by Kutrib

and Malcher (2008), and basic properties of real-

time ones were derived.

7

Partitioned Cellular Automaton (PCA)

• We use partitioned cellular automata, since it

makes easy to design reversible CAs.

• In a 3-neighbor PCA, each cell is divided into 3

parts, and a local function f is applied as below.

L L LC C CR R R

t

t + 1

i − 1 i i + 1

︸︷︷︸

︷︸︸︷�f

• The global function is injective (hence the CA is

reversible), iff the local function is injective.8

Bounded PCA Acceptor

• An input word a1a2 · · · an is given as an initial

configuration.

• It uses n + 2 cells.

• If the left part of the first cell enters an accepting

state, we say the PCA accepts the input.0 1 2 · · n n + 1

t = 0 rs a1 a2 · · an

t = 1 l11 c11 r1

1a2 · · an

...

t = t1 rt10 lt11 ct1

1 rt11 lt12 ct1

2 rt12 · · · · · · lt1n ct1

n rt1n lt1n+1

9

Simple Example of PCA Acceptor (Irreversible)

• A PCA that accepts all well-formed parentheses.

(1) Input: ( ( ) )

0 s ( ( ) )

1 ( s ( ) )

2 ( ( s ) )

3 ( ( ) − s )

4 ( − − ) − s

5 ( − ) − − Y

6 ( ) − − Y −

7 − − Y − −

8 − Y − − −

9 Y − − − −

10


(2) Input: ( ( ) ( )

0 s ( ( ) ( )

1 ( s ( ) ( )

2 ( ( s ) ( )

3 ( ( ) − s ( )

4 ( − − ( s )

5 ( − − ( ) − s

6 ( − − − − Y

7 ( − − − Y −

8 ( − − Y − −

9 ( − Y − − −

10 ( Y − − − −

11 N ( − − − −

11


(3) Input: ( ) ( ) )

0 s ( ) ( ) )

1 ( s ) ( ) )

2 ( ) − s ( ) )

3 − − ( s ) )

4 − − ( ) − s )

5 − − − − ) − s

6 − − − ) − − Y

7 − − ) − − Y −

8 − ) − − Y − −

9 ) − − Y − − −

10 ) − Y − − − −

11 N − ) − − − −

12

2. Reversible linear-bounded automaton

13

Linear-Bounded Automaton (LBA)

• LBA is an automaton whose storage space is

bounded by the input length.

• Lange, McKenzie and Tapp (2000) showed:

L(RDLBA) = L(DLBA).

• But, their method is complex, and it is diffi-

cult to get a concrete description of a converted

RDLBA.

• We give a simpler method of converting DLBA

to RDLBA based on the method by Morita (2013).

14

2-Track Linear-Bounded Automaton (LBA)

• In this model, the input is kept unchanged, since

it is needed when converting DLBA into RDLBA.

Input track (read-only)� a1 a2 · · · · · · an �

q Finite-state control

Storage track (read/write)� b1 b2 · · bm # · · # �

• Its movement is defined by a set of rules:[p, [a, [b, b′]], q]: read-write rule[p, d, q]: shift rule (d ∈ {−,0,+})

• It is equivalent to a “standard” 1-track LBA.

15

Reversible LBA

• A “backward deterministic” LBA.

� a1 a2 · · · · · · an �

q1

� · · · s t u′ · · · �

� a1 a2 · · · · · · an �

q2

� · · · s′ t u · · · �

� a1 a2 · · · · · · an �

q

� · · · s′ t u′ · · · �

�

�

16

Definition of Reversible LBA

Definition 6. An LBA M = (Q,Σ,Γ, δ, �, �,#, q0, A,

N) is called a reversible LBA (RLBA) iff the follow-

ing condition holds.

∀ r1 = [p, x, q] ∈ δ, ∀ r2 = [p′, x′, q′] ∈ δ :(r1 �= r2 ∧ q = q′) ⇒ (x �∈ {−,0,+} ∧ x′ �∈ {−,0,+} ∧∀ [a, [b, c]], [a′[b′, c′]] ∈ Σ×Γ2 ∪ {[�, [�, �]], [�, [�, �]]}(x = [a, [b, c]] ∧ x′ = [a′, [b′, c′]] ⇒ [a, c] �= [a′, c′]))

For any two rules r1 and r2 in δ, if the next states q

and q′ are the same, then they are both read-write

rules and the pairs of the input symbols and the

written storage symbols [a,c] and [a′,c′] are different.

17

Converting DLBAs into RDLBAs

Lemma 2. Let M = (Q,Σ,Γ, δ, �, �,#, q0, A, N) be

an arbitrary DLBA. We can construct an RDLBA

M† = (Q†,Σ,Γ, δ†, �, �,#, q0, {q̂b0}, {qb0}) such that

the following holds, and thus L(M†) = L(M).

w ∈ L(M) ⇒� w �

q0

� # # · · · · # �

� w �

q̂b0

� # # · · · · # �|−−M†+

w �∈ L(M) ⇒� w �

q0

� # # · · · · # �

� w �

qb0

� # # · · · · # �|−−M†+

18

Proof Outline of Lemma 2

• RDLBA M† traverses a computation graph of M

using additional states.qa

q1 q2

q3 q4

q5 q0 q6 q7 q8

q9 q10 q11 q12

� �

� �

� � ��

� � � �

q1 q2 q3

q4

q5

q6 q7 q8 q9

q0 q10

� �

�

�

�

�

� �

A case M halts A case M loops

Note: Each node represents a configuration of M . But,

here, only a state of the finite-state control is written.19

Traversing a Computation Graph Reversibly

• M† has the following states for each q of M .

q is for the forward simulation.

qb is for the backward simulation.

qj

qi1 qi2 qi3

� ��

�

qj

qi1 qi2 qi3

�

�

qbj

qbi1

qbi2

qbi3

�

� � �

Reversible simulation of irreversible transitions of M .

20

The Case M Halts in an Accepting State

qa

q1 q2

q3 q4

q5 q0 q6 q7 q8

q9 q10 q11 q12

� �

� �

� � ��

� � � �

q0�

qb6

�qb10

�q10

�

q6

�q3

�

q1�

qb2

�qb4

�qb7

�qb11

�q11

�

q7�

qb8

�qb12

�q12

�

q8

�q4

�

q2

�qa

�q̂ba

�q̂b1

�q̂b3

�q̂b5

�q̂b9

�q̂9

�q̂5

�q̂b0

If M enters an accepting state qa, then M† keeps

the fact by the states of the form q̂.21

The Case M Loops

q1 q2 q3

q4

q5

q6 q7 q8 q9

q0 q10

� �

�

�

�

�

� �

q0

� qb7

� qb8

� qb9

�qb10

�q10

�

q9

�

qb3

�qb2

�qb1

�qb6

�qb0

M† also finally goes back to M ’s initial configuration

in the rejecting state qb0. This is because RDMFA

always halts, if the initial configuration has no pre-

decessor (Lemma 1 of the paper in the proceedings).22

Example of an Irreversible DLBA

The following irreversible DLBA Mp accepts all well-

formed parentheses.

Mp = (Q, { (, ) }, {#, x}, δ, �, �,#, q0, {qa}, {qr})Q = {q0, q0,1, q0,2, q0,3, q0,4, q1, q2, q3, q4, q5, q6, qa, qr}δ = { [q0, [�, [�, �]], q0,1], [q0,1,+, q0,2], [q0,2, [ (, [#,#]], q0,1],

[q0,2, [ ), [#,#]], q0,1], [q0,2, [�, [�, �]], q0,3], [q0,3,−, q0,4],[q0,4, [ (, [#,#]], q0,3], [q0,4, [ ), [#,#]], q0,3], [q0,4, [�, [�, �]], q1],[q1,+, q2], [q2, [ (, [#,#]], q1], [q2, [ (, [x, x]], q1],[q2, [ ), [x, x]], q1], [q2, [ ), [#, x]], q3], [q2, [�, [�, �]], q5],[q3,−, q4], [q4, [ (, [x, x]], q3], [q4, [ ), [x, x]], q3],[q4, [ (, [#, x]], q1], [q4, [�, [�, �]], qr], [q5,−, q6],[q6, [ (, [x, x]], q5], [q6, [ ), [x, x]], q5], [q6, [ (, [#,#]], qr],[q6, [�, [�, �]], qa] }

(See Appendix A1.)

23

Example of an RDLBA Converted from Mp

M †p = (Q†, { (, ) }, {#, x}, δ†, �, �,#, q0, {q̂b

0}, {qb0})

Q† = {q, q̂, qb, q̂b | q ∈ Q}δ† = δ1 ∪ · · · ∪ δ4 ∪ δ̂1 ∪ · · · ∪ δ̂4 ∪ δA ∪ δN

δ1 = { [qb0,1, [�, [�, �]], qb

0], [q0, [�, [�, �]], q0,1], [qb0,1, [ (, [#,#]], qb

0,2], [q0,2, [ (, [#,#]], q0,1],[qb

0,1, [ ), [#,#]], qb0,2], [q0,2, [ ), [#,#]], q0,1], [qb

0,3, [�, [�, �]], qb0,2], [q0,2, [�, [�, �]], q0,3],

[qb0,3, [ (, [#,#]], qb

0,4], [q0,4, [ (, [#,#]], q0,3], [qb0,3, [ ), [#,#]], qb

0,4], [q0,4, [ ), [#,#]], q0,3],[qb

1, [�, [�, �]], qb0,4], [q0,4, [�, [�, �]], q1], [qb

1, [ (, [#,#]], qb2], [q2, [ (, [#,#]], q1],

[qb1, [ ), [x, x]], qb

2], [q2, [ ), [x, x]], q1], [qb5, [�, [�, �]], qb

2], [q2, [�, [�, �]], q5],[qb

3, [ (, [x, x]], qb4], [q4, [ (, [x, x]], q3], [qb

3, [ ), [x,#]], qb2], [q2, [ ), [#, x]], qb

4],[q4, [ ), [x, x]], q3], [qb

1, [ (, [x, x]], qb2], [q2, [ (, [x,#]], qb

4], [q4, [ (, [#, x]], q1],[qb

r , [�, [�, �]], qb4], [q4, [�, [�, �]], qr], [qb

5, [ (, [x, x]], qb6], [q6, [ (, [x, x]], q5],

[qb5, [ ), [x, x]], qb

6], [q6, [ ), [x, x]], q5], [qbr , [ (, [#,#]], qb

6], [q6, [ (, [#,#]], qr],[qb

a , [�, [�, �]], qb6], [q6, [�, [�, �]], qa] }

δ2 = { [qb0,2,−, qb

0,1], [q0,1,+, q0,2], [qb0,4,+, qb

0,3], [q0,3,−, q0,4], [qb2,−, qb

1], [q1,+, q2],[qb

4,+, qb3], [q3,−, q4], [qb

6,+, qb5], [q5,−, q6] }

δ3 = { [qb0,1, [ (, [x, x]], q0,1], [qb

0,1, [ ), [x, x]], q0,1], [qb0,1, [�, [�, �]], q0,1], [qb

0,3, [�, [�, �]], q0,3],[qb

0,3, [ (, [x, x]], q0,3], [qb0,3, [ ), [x, x]], q0,3], [qb

1, [ ), [#,#]], q1], [qb1, [�, [�, �]], q1],

[qb3, [�, [�, �]], q3], [qb

3, [ (, [#,#]], q3], [qb3, [ ), [#,#]], q3], [qb

3, [�, [�, �]], q3],[qb

5, [�, [�, �]], q5], [qb5, [ (, [#,#]], q5], [qb

5, [ ), [#,#]], q5] }δ4 = { [q0,2, [�, [�, �]], qb

0,2], [q0,2, [ (, [x, x]], qb0,2], [q0,2, [ ), [x, x]], qb

0,2], [q0,4, [ (, [x, x]], qb0,4],

[q0,4, [ ), [x, x]], qb0,4], [q0,4, [�, [�, �]], qb

0,4], [q2, [�, [�, �]], qb2], [q4, [ ), [#,#]], qb

4],[q4, [�, [�, �]], qb

4], [q6, [ ), [#,#]], qb6], [q6, [�, [�, �]], qb

6] }δ̂i = { [p̂, x, q̂] | [p, x, q] ∈ δi } (i = 1, . . . ,4)

δA = { [qa,0, q̂ba], [q̂a,0, qb

a] }δN = { [qr,0, qb

r ], [q̂r,0, q̂br ] }

(See Appendix A2.)24

3. Simulating RDLBA by RPCA

25

Simulating RDLBA by RPCA

Lemma 3. For any DLBA M , we can construct an

RPCA PM such that L(PM) = L(M).

Proof outline:

• The RPCA PM simulates the RDLBA M† con-

verted from M .

• Simulation method is basically the same as the

one in [Morita, Harao, 1989], where a reversible Tur-

ing machine (RDTM) is simulated by an RPCA.

26

Simulation Method of RDTM by RPCA

[Morita, Harao, 1989]

t a b c

�p

RDTM

t + 1 a b′ c

�q

RPCA

2t a bp c

2t + 1 a b′ q c

2t + 2 a b′cq

27

Remarks on Simulating RDLBA

in Bounded RPCA

• Several steps of the RDLBA M† is simulated by

one step of the RPCA PM , since the movements

of the boundary cells are limited.

• In a bounded RPCA, any computation process

necessarily loops. Thus, it comes back to the

initial configuration.

28

Example of RPCA Converted from RDLBA

An RPCA that simulates the RDLBA M†p, and thus

accepts all well-formed parentheses (See Appendix A3):

PMp = ((L, C, R), f, (#,#,#), q0,2, { (, ) }, {q̂b0,1})

• The number of states of a cell, and that of rules

of are both 14157 (|L| = 11, |C| = 117 and |R| = 11).

• However, the number of rules that are actually

used to simulate M†p is only 203 as listed in the

next page.

29

Local Rules of the RPCA PMp[[#, #, #], [#, #, #]], [[#, [ (, #], #], [#, [ (, #], #]], [[#, [ (, x], #], [#, [ (, x], #]], [[#, [ ), #], #], [#, [ ), #], #]],

[[#, [ ), x], #], [#, [ ), x], #]], [[qb0,1, [ (, #], #], [#, [ (, #, qb

0,2], #]], [[#, [ (, #], q0,2], [#, [ (, #, q0,1], #]], [[qb0,1, [ ), #], #], [#, [ ), #, qb

0,2], #]],

[[#, [ ), #], q0,2], [#, [ ), #, q0,1], #]], [[#, #, qb0,3], [q

b0,1, #, #]], [[#, #, q0,2], [q0,4, #, #]], [[#, [ (, #], qb

0,3], [#, [ (, #, qb0,4], #]],

[[q0,4, [ (, #], #], [#, [ (, #, q0,3], #]], [[#, [ ), #], qb0,3], [#, [ ), #, qb

0,4], #]], [[q0,4, [ ), #], #], [#, [ ), #, q0,3], #]], [[qb1 , #, #], [#, #, qb

0,3]],

[[q0,4, #, #], [#, #, q2]], [[qb1 , [ (, #], #], [#, [ (, #, qb

2 ], #]], [[#, [ (, #], q2], [#, [ (, #, q1], #]], [[qb1 , [ ), x], #], [#, [ ), x, qb

2 ], #]],

[[#, [ ), x], q2], [#, [ ), x, q1], #]], [[#, #, qb5 ], [qb

1 , #, #]], [[#, #, q2], [q6, #, #]], [[#, [ (, x], qb3 ], [#, [ (, x, qb

4 ], #]],

[[q4, [ (, x], #], [#, [ (, x, q3], #]], [[#, [ ), x], qb3 ], [#, [ ), #, qb

2 ], #]], [[#, [ ), #], q2], [#, [ ), x, qb4 ], #]], [[q4, [ ), x], #], [#, [ ), x, q3], #]],

[[qb1 , [ (, x], #], [#, [ (, x, qb

2 ], #]], [[#, [ (, x], q2], [#, [ (, #, qb4 ], #]], [[q4, [ (, #], #], [#, [ (, x, q1], #]], [[q4, #, #], [#, #, qb

3 ]],

[[#, [ (, x], qb5 ], [#, [ (, x, qb

6 ], #]], [[q6, [ (, x], #], [#, [ (, x, q5], #]], [[#, [ ), x], qb5 ], [#, [ ), x, qb

6 ], #]], [[q6, [ ), x], #], [#, [ ), x, q5], #]],

[[#, [ (, #, qbr ], #], [#, [ (, #, qb

6 ], #]], [[q6, [ (, #], #], [#, [ (, #, qr], #]], [[q6, #, #], [#, #, q̂b5 ]], [[q̂b

0,1, [ (, #], #], [#, [ (, #, q̂b0,2], #]],

[[#, [ (, #], q̂0,2], [#, [ (, #, q̂0,1], #]], [[q̂b0,1, [ ), #], #], [#, [ ), #, q̂b

0,2], #]], [[#, [ ), #], q̂0,2], [#, [ ), #, q̂0,1], #]], [[#, #, q̂b0,3], [q̂

b0,1, #, #]],

[[#, #, q̂0,2], [q̂0,4, #, #]], [[#, [ (, #], q̂b0,3], [#, [ (, #, q̂b

0,4], #]], [[q̂0,4, [ (, #], #], [#, [ (, #, q̂0,3], #]], [[#, [ ), #], q̂b0,3], [#, [ ), #, q̂b

0,4], #]],

[[q̂0,4, [ ), #], #], [#, [ ), #, q̂0,3], #]], [[q̂b1 , #, #], [#, #, q̂b

0,3]], [[q̂0,4, #, #], [#, #, q̂2]], [[q̂b1 , [ (, #], #], [#, [ (, #, q̂b

2 ], #]],

[[#, [ (, #], q̂2], [#, [ (, #, q̂1], #]], [[q̂b1 , [ ), x], #], [#, [ ), x, q̂b

2 ], #]], [[#, [ ), x], q̂2], [#, [ ), x, q̂1], #]], [[#, #, q̂b5 ], [q̂b

1 , #, #]],

[[#, #, q̂2], [q̂6, #, #]], [[#, [ (, x], q̂b3 ], [#, [ (, x, q̂b

4 ], #]], [[q̂4, [ (, x], #], [#, [ (, x, q̂3], #]], [[#, [ ), x], q̂b3 ], [#, [ ), #, q̂b

2 ], #]],

[[#, [ ), #], q̂2], [#, [ ), x, q̂b4 ], #]], [[q̂4, [ ), x], #], [#, [ ), x, q̂3], #]], [[q̂b

1 , [ (, x], #], [#, [ (, x, q̂b2 ], #]], [[#, [ (, x], q̂2], [#, [ (, #, q̂b

4 ], #]],

[[q̂4, [ (, #], #], [#, [ (, x, q̂1], #]], [[q̂4, #, #], [#, #, q̂b3 ]], [[#, [ (, x], q̂b

5 ], [#, [ (, x, q̂b6 ], #]], [[q̂6, [ (, x], #], [#, [ (, x, q̂5], #]],

[[#, [ ), x], q̂b5 ], [#, [ ), x, q̂b

6 ], #]], [[q̂6, [ ), x], #], [#, [ ), x, q̂5], #]], [[#, [ (, #, q̂br ], #], [#, [ (, #, q̂b

6 ], #]], [[q̂6, [ (, #], #], [#, [ (, #, q̂r], #]],

[[q̂6, #, #], [#, #, qb5 ]], [[#, [ (, #, qb

0,2], #], [qb0,1, [ (, #], #]], [[#, [ (, x, qb

0,2], #], [qb0,1, [ (, x], #]], [[#, [ ), #, qb

0,2], #], [qb0,1, [ ), #], #]],

[[#, [ ), x, qb0,2], #], [qb

0,1, [ ), x], #]], [[#, [ (, #, q0,1], #], [#, [ (, #], q0,2]], [[#, [ (, x, q0,1], #], [#, [ (, x], q0,2]], [[#, [ ), #, q0,1], #], [#, [ ), #], q0,2]],

[[#, [ ), x, q0,1], #], [#, [ ), x], q0,2]], [[#, [ (, #, qb0,4], #], [#, [ (, #], qb

0,3]], [[#, [ (, x, qb0,4], #], [#, [ (, x], qb

0,3]], [[#, [ ), #, qb0,4], #], [#, [ ), #], qb

0,3]],

[[#, [ ), x, qb0,4], #], [#, [ ), x], qb

0,3]], [[#, [ (, #, q0,3], #], [q0,4, [ (, #], #]], [[#, [ (, x, q0,3], #], [q0,4, [ (, x], #]], [[#, [ ), #, q0,3], #], [q0,4, [ ), #], #]],

[[#, [ ), x, q0,3], #], [q0,4, [ ), x], #]], [[#, [ (, #, qb2 ], #], [qb

1 , [ (, #], #]], [[#, [ (, x, qb2 ], #], [qb

1 , [ (, x], #]], [[#, [ ), #, qb2 ], #], [qb

1 , [ ), #], #]],

[[#, [ ), x, qb2 ], #], [qb

1 , [ ), x], #]], [[#, [ (, #, q1], #], [#, [ (, #], q2]], [[#, [ (, x, q1], #], [#, [ (, x], q2]], [[#, [ ), #, q1], #], [#, [ ), #], q2]],

[[#, [ ), x, q1], #], [#, [ ), x], q2]], [[#, [ (, #, qb4 ], #], [#, [ (, #], qb

3 ]], [[#, [ (, x, qb4 ], #], [#, [ (, x], qb

3 ]], [[#, [ ), #, qb4 ], #], [#, [ ), #], qb

3 ]],

[[#, [ ), x, qb4 ], #], [#, [ ), x], qb

3 ]], [[#, [ (, #, q3], #], [q4, [ (, #], #]], [[#, [ (, x, q3], #], [q4, [ (, x], #]], [[#, [ ), #, q3], #], [q4, [ ), #], #]],

[[#, [ ), x, q3], #], [q4, [ ), x], #]], [[#, [ (, #, qb6 ], #], [#, [ (, #], qb

5 ]], [[#, [ (, x, qb6 ], #], [#, [ (, x], qb

5 ]], [[#, [ ), #, qb6 ], #], [#, [ ), #], qb

5 ]],

[[#, [ ), x, qb6 ], #], [#, [ ), x], qb

5 ]], [[#, [ (, #, q5], #], [q6, [ (, #], #]], [[#, [ (, x, q5], #], [q6, [ (, x], #]], [[#, [ ), #, q5], #], [q6, [ ), #], #]],

[[#, [ ), x, q5], #], [q6, [ ), x], #]], [[#, [ (, #, q̂b0,2], #], [q̂b

0,1, [ (, #], #]], [[#, [ (, x, q̂b0,2], #], [q̂b

0,1, [ (, x], #]], [[#, [ ), #, q̂b0,2], #], [q̂b

0,1, [ ), #], #]],

[[#, [ ), x, q̂b0,2], #], [q̂b

0,1, [ ), x], #]], [[#, [ (, #, q̂0,1], #], [#, [ (, #], q̂0,2]], [[#, [ (, x, q̂0,1], #], [#, [ (, x], q̂0,2]], [[#, [ ), #, q̂0,1], #], [#, [ ), #], q̂0,2]],

[[#, [ ), x, q̂0,1], #], [#, [ ), x], q̂0,2]], [[#, [ (, #, q̂b0,4], #], [#, [ (, #], q̂b

0,3]], [[#, [ (, x, q̂b0,4], #], [#, [ (, x], q̂b

0,3]], [[#, [ ), #, q̂b0,4], #], [#, [ ), #], q̂b

0,3]],

[[#, [ ), x, q̂b0,4], #], [#, [ ), x], q̂b

0,3]], [[#, [ (, #, q̂0,3], #], [q̂0,4, [ (, #], #]], [[#, [ (, x, q̂0,3], #], [q̂0,4, [ (, x], #]], [[#, [ ), #, q̂0,3], #], [q̂0,4, [ ), #], #]],

[[#, [ ), x, q̂0,3], #], [q̂0,4, [ ), x], #]], [[#, [ (, #, q̂b2 ], #], [q̂b

1 , [ (, #], #]], [[#, [ (, x, q̂b2 ], #], [q̂b

1 , [ (, x], #]], [[#, [ ), #, q̂b2 ], #], [q̂b

1 , [ ), #], #]],

[[#, [ ), x, q̂b2 ], #], [q̂b

1 , [ ), x], #]], [[#, [ (, #, q̂1], #], [#, [ (, #], q̂2]], [[#, [ (, x, q̂1], #], [#, [ (, x], q̂2]], [[#, [ ), #, q̂1], #], [#, [ ), #], q̂2]],

[[#, [ ), x, q̂1], #], [#, [ ), x], q̂2]], [[#, [ (, #, q̂b4 ], #], [#, [ (, #], q̂b

3 ]], [[#, [ (, x, q̂b4 ], #], [#, [ (, x], q̂b

3 ]], [[#, [ ), #, q̂b4 ], #], [#, [ ), #], q̂b

3 ]],

[[#, [ ), x, q̂b4 ], #], [#, [ ), x], q̂b

3 ]], [[#, [ (, #, q̂3], #], [q̂4, [ (, #], #]], [[#, [ (, x, q̂3], #], [q̂4, [ (, x], #]], [[#, [ ), #, q̂3], #], [q̂4, [ ), #], #]],

[[#, [ ), x, q̂3], #], [q̂4, [ ), x], #]], [[#, [ (, #, q̂b6 ], #], [#, [ (, #], q̂b

5 ]], [[#, [ (, x, q̂b6 ], #], [#, [ (, x], q̂b

5 ]], [[#, [ ), #, q̂b6 ], #], [#, [ ), #], q̂b

5 ]],

[[#, [ ), x, q̂b6 ], #], [#, [ ), x], q̂b

5 ]], [[#, [ (, #, q̂5], #], [q̂6, [ (, #], #]], [[#, [ (, x, q̂5], #], [q̂6, [ (, x], #]], [[#, [ ), #, q̂5], #], [q̂6, [ ), #], #]],

[[#, [ ), x, q̂5], #], [q̂6, [ ), x], #]], [[qb0,1, [ (, x], #], [#, [ (, x, q0,1], #]], [[qb

0,1, [ ), x], #], [#, [ ), x, q0,1], #]], [[#, [ (, x], qb0,3], [#, [ (, x, q0,3], #]],

[[#, [ ), x], qb0,3], [#, [ ), x, q0,3], #]], [[qb

1 , [ ), #], #], [#, [ ), #, q1], #]], [[#, [ (, #], qb3 ], [#, [ (, #, q3], #]], [[#, [ ), #], qb

3 ], [#, [ ), #, q3], #]],

[[#, #, qb3 ], [q4, #, #]], [[#, [ (, #], qb

5 ], [#, [ (, #, q5], #]], [[#, [ ), #], qb5 ], [#, [ ), #, q5], #]], [[q̂b

0,1, [ (, x], #], [#, [ (, x, q̂0,1], #]],

[[q̂b0,1, [ ), x], #], [#, [ ), x, q̂0,1], #]], [[#, [ (, x], q̂b

0,3], [#, [ (, x, q̂0,3], #]], [[#, [ ), x], q̂b0,3], [#, [ ), x, q̂0,3], #]], [[q̂b

1 , [ ), #], #], [#, [ ), #, q̂1], #]],

[[#, [ (, #], q̂b3 ], [#, [ (, #, q̂3], #]], [[#, [ ), #], q̂b

3 ], [#, [ ), #, q̂3], #]], [[#, #, q̂b3 ], [q̂4, #, #]], [[#, [ (, #], q̂b

5 ], [#, [ (, #, q̂5], #]],

[[#, [ ), #], q̂b5 ], [#, [ ), #, q̂5], #]], [[#, [ (, x], q0,2], [#, [ (, x, qb

0,2], #]], [[#, [ ), x], q0,2], [#, [ ), x, qb0,2], #]], [[q0,4, [ (, x], #], [#, [ (, x, qb

0,4], #]],

[[q0,4, [ ), x], #], [#, [ ), x, qb0,4], #]], [[q4, [ ), #], #], [#, [ ), #, qb

4 ], #]], [[q6, [ ), #], #], [#, [ ), #, qb6 ], #]], [[#, [ (, x], q̂0,2], [#, [ (, x, q̂b

0,2], #]],

[[#, [ ), x], q̂0,2], [#, [ ), x, q̂b0,2], #]], [[q̂0,4, [ (, x], #], [#, [ (, x, q̂b

0,4], #]], [[q̂0,4, [ ), x], #], [#, [ ), x, q̂b0,4], #]], [[q̂4, [ ), #], #], [#, [ ), #, q̂b

4 ], #]],

[[q̂6, [ ), #], #], [#, [ ), #, q̂b6 ], #]], [[#, [ (, #, qa], #], [#, [ (, #, q̂b

a], #]], [[#, [ (, x, qa], #], [#, [ (, x, q̂ba], #]], [[#, [ ), #, qa], #], [#, [ ), #, q̂b

a], #]],

[[#, [ ), x, qa], #], [#, [ ), x, q̂ba], #]], [[#, [ (, #, q̂a], #], [#, [ (, #, qb

a], #]], [[#, [ (, x, q̂a], #], [#, [ (, x, qba], #]], [[#, [ ), #, q̂a], #], [#, [ ), #, qb

a], #]],

[[#, [ ), x, q̂a], #], [#, [ ), x, qba], #]], [[#, [ (, #, qr], #], [#, [ (, #, qb

r ], #]], [[#, [ (, x, qr], #], [#, [ (, x, qbr ], #]], [[#, [ ), #, qr], #], [#, [ ), #, qb

r ], #]],

[[#, [ ), x, qr], #], [#, [ ), x, qbr ], #]], [[#, [ (, #, q̂r], #], [#, [ (, #, q̂b

r ], #]], [[#, [ (, x, q̂r], #], [#, [ (, x, q̂br ], #]], [[#, [ ), #, q̂r], #], [#, [ ), #, q̂b

r ], #]],

[[#, [ ), x, q̂r], #], [#, [ ), x, q̂br ], #]], [[q̂b

0,1, #, #], [#, #, q̂0,2]], [[qb0,1, #, #], [#, #, q0,2]]

30

Computing Process of the RPCA PMp

(1) Input: ( ( ) ( ) )

t = 0 q0,2 ( ( ) ( ) )

688 q̂b0,1

( ( ) ( ) )

1378 q0,2 ( ( ) ( ) )

31

Computing Process of the RPCA PMp

(2) Input: ( ( ) ( )

t = 0 q0,2 ( ( ) ( )

220 qb0,1

( ( ) ( )

221 q0,2 ( ( ) ( )

32

Concluding Remarks

• Theorem 1:

L(RPCA) =L(PCA) =L(DLBA) =L(RDLBA).

• Reversible partitioned iterative array (RPIA) can

also be defined as another model of acceptor (see

Appendix A4).

• Future study: To characterize the capability of

RPCAs for the case computing time is limited.

33

References

1 Kutrib, M.: Cellular automata and language theory. In: Encyclopediaof Complexity and System Science (ed. B. Meyers), Springer-Verlag,Berlin. pp. 800–823 (2009)

2 Kutrib, M., Malcher, A.: Fast reversible language recognition usingcellular automata. Inform. Comput. 206, 1142–1151 (2008)

3 Lange, K.J., McKenzie, P., Tapp, A.: Reversible space equals deter-ministic space. J. Comput. Syst. Sci. 60, 354–367 (2000)

4 Morita, K.: Simulating reversible Turing machines and cyclic tag sys-tems by one-dimensional reversible cellular automata. Theoret. Com-put. Sci. 412, 3856–3865 (2011)

5 Morita, K.: Two-way reversible multi-head finite automata. Funda-menta Informaticae 110(1-4), 241–254 (2011)

6 Morita, K.: A deterministic two-way multi-head finite automaton canbe converted into a reversible one with the same number of heads.Proc. RC 2012, LNCS 7581 pp. 29–43 (2013)

7 Morita, K., Harao, M.: Computation universality of one-dimensionalreversible (injective) cellular automata. Trans. IEICE Japan E72,758–762 (1989)

8 Smith III, A.: Real-time language recognition by one-dimensional cel-lular automata. J. Comput. Syst. Sci. 6, 233–253 (1972)

34

Appendices

Computing processes of machines that accept

all well-formed parentheses:

A1. DLBA Mp

A2. RDLBA M†p

A3. RPCA PMp

A4. RPIA

35

A1. DLBA Mp

36

DLBA Mp that accepts all well-formed parentheses

t = 0

� ( ( ) ( ) ) �

q0

� # # # # # # �


t = 1

� ( ( ) ( ) ) �

q0,1

� # # # # # # �


t = 2

� ( ( ) ( ) ) �

q0,2

� # # # # # # �


t = 3

� ( ( ) ( ) ) �

q0,1

� # # # # # # �


t = 4

� ( ( ) ( ) ) �

q0,2

� # # # # # # �


t = 5

� ( ( ) ( ) ) �

q0,1

� # # # # # # �


t = 6

� ( ( ) ( ) ) �

q0,2

� # # # # # # �


t = 7

� ( ( ) ( ) ) �

q0,1

� # # # # # # �


t = 8

� ( ( ) ( ) ) �

q0,2

� # # # # # # �


t = 9

� ( ( ) ( ) ) �

q0,1

� # # # # # # �


t = 10

� ( ( ) ( ) ) �

q0,2

� # # # # # # �


t = 11

� ( ( ) ( ) ) �

q0,1

� # # # # # # �


t = 12

� ( ( ) ( ) ) �

q0,2

� # # # # # # �


t = 13

� ( ( ) ( ) ) �

q0,1

� # # # # # # �


t = 14

� ( ( ) ( ) ) �

q0,2

� # # # # # # �


t = 15

� ( ( ) ( ) ) �

q0,3

� # # # # # # �


t = 16

� ( ( ) ( ) ) �

q0,4

� # # # # # # �


t = 17

� ( ( ) ( ) ) �

q0,3

� # # # # # # �


t = 18

� ( ( ) ( ) ) �

q0,4

� # # # # # # �


t = 19

� ( ( ) ( ) ) �

q0,3

� # # # # # # �


t = 20

� ( ( ) ( ) ) �

q0,4

� # # # # # # �


t = 21

� ( ( ) ( ) ) �

q0,3

� # # # # # # �


t = 22

� ( ( ) ( ) ) �

q0,4

� # # # # # # �


t = 23

� ( ( ) ( ) ) �

q0,3

� # # # # # # �


t = 24

� ( ( ) ( ) ) �

q0,4

� # # # # # # �


t = 25

� ( ( ) ( ) ) �

q0,3

� # # # # # # �


t = 26

� ( ( ) ( ) ) �

q0,4

� # # # # # # �


t = 27

� ( ( ) ( ) ) �

q0,3

� # # # # # # �


t = 28

� ( ( ) ( ) ) �

q0,4

� # # # # # # �


t = 29

� ( ( ) ( ) ) �

q1

� # # # # # # �


t = 30

� ( ( ) ( ) ) �

q2

� # # # # # # �


t = 31

� ( ( ) ( ) ) �

q1

� # # # # # # �


t = 32

� ( ( ) ( ) ) �

q2

� # # # # # # �


t = 33

� ( ( ) ( ) ) �

q1

� # # # # # # �


t = 34

� ( ( ) ( ) ) �

q2

� # # # # # # �


t = 35

� ( ( ) ( ) ) �

q3

� # # x # # # �


t = 36

� ( ( ) ( ) ) �

q4

� # # x # # # �


t = 37

� ( ( ) ( ) ) �

q1

� # x x # # # �


t = 38

� ( ( ) ( ) ) �

q2

� # x x # # # �


t = 39

� ( ( ) ( ) ) �

q1

� # x x # # # �


t = 40

� ( ( ) ( ) ) �

q2

� # x x # # # �


t = 41

� ( ( ) ( ) ) �

q1

� # x x # # # �


t = 42

� ( ( ) ( ) ) �

q2

� # x x # # # �


t = 43

� ( ( ) ( ) ) �

q3

� # x x # x # �


t = 44

� ( ( ) ( ) ) �

q4

� # x x # x # �


t = 45

� ( ( ) ( ) ) �

q1

� # x x x x # �


t = 46

� ( ( ) ( ) ) �

q2

� # x x x x # �


t = 47

� ( ( ) ( ) ) �

q1

� # x x x x # �


t = 48

� ( ( ) ( ) ) �

q2

� # x x x x # �


t = 49

� ( ( ) ( ) ) �

q3

� # x x x x x �


t = 50

� ( ( ) ( ) ) �

q4

� # x x x x x �


t = 51

� ( ( ) ( ) ) �

q3

� # x x x x x �


t = 52

� ( ( ) ( ) ) �

q4

� # x x x x x �


t = 53

� ( ( ) ( ) ) �

q3

� # x x x x x �


t = 54

� ( ( ) ( ) ) �

q4

� # x x x x x �


t = 55

� ( ( ) ( ) ) �

q3

� # x x x x x �


t = 56

� ( ( ) ( ) ) �

q4

� # x x x x x �


t = 57

� ( ( ) ( ) ) �

q3

� # x x x x x �


t = 58

� ( ( ) ( ) ) �

q4

� # x x x x x �


t = 59

� ( ( ) ( ) ) �

q1

� x x x x x x �


t = 60

� ( ( ) ( ) ) �

q2

� x x x x x x �


t = 61

� ( ( ) ( ) ) �

q1

� x x x x x x �


t = 62

� ( ( ) ( ) ) �

q2

� x x x x x x �


t = 63

� ( ( ) ( ) ) �

q1

� x x x x x x �


t = 64

� ( ( ) ( ) ) �

q2

� x x x x x x �


t = 65

� ( ( ) ( ) ) �

q1

� x x x x x x �


t = 66

� ( ( ) ( ) ) �

q2

� x x x x x x �


t = 67

� ( ( ) ( ) ) �

q1

� x x x x x x �


t = 68

� ( ( ) ( ) ) �

q2

� x x x x x x �


t = 69

� ( ( ) ( ) ) �

q1

� x x x x x x �


t = 70

� ( ( ) ( ) ) �

q2

� x x x x x x �


t = 71

� ( ( ) ( ) ) �

q5

� x x x x x x �


t = 72

� ( ( ) ( ) ) �

q6

� x x x x x x �


t = 73

� ( ( ) ( ) ) �

q5

� x x x x x x �


t = 74

� ( ( ) ( ) ) �

q6

� x x x x x x �


t = 75

� ( ( ) ( ) ) �

q5

� x x x x x x �


t = 76

� ( ( ) ( ) ) �

q6

� x x x x x x �


t = 77

� ( ( ) ( ) ) �

q5

� x x x x x x �


t = 78

� ( ( ) ( ) ) �

q6

� x x x x x x �


t = 79

� ( ( ) ( ) ) �

q5

� x x x x x x �


t = 80

� ( ( ) ( ) ) �

q6

� x x x x x x �


t = 81

� ( ( ) ( ) ) �

q5

� x x x x x x �


t = 82

� ( ( ) ( ) ) �

q6

� x x x x x x �


t = 83

� ( ( ) ( ) ) �

q5

� x x x x x x �


t = 84

� ( ( ) ( ) ) �

q6

� x x x x x x �


t = 85

� ( ( ) ( ) ) �

qa

� x x x x x x �

The input is accepted

A2. RDLBA M†p

37

RDLBA M†p that accepts all well-formed parentheses

t = 0

� ( ( ) ( ) ) �

q0

� # # # # # # �

Direction of simulation: qi: forward, qbi : backward


t = 1

� ( ( ) ( ) ) �

q0,1

� # # # # # # �



t = 2

� ( ( ) ( ) ) �

q0,2

� # # # # # # �



t = 3

� ( ( ) ( ) ) �

q0,1

� # # # # # # �



t = 4

� ( ( ) ( ) ) �

q0,2

� # # # # # # �



t = 5

� ( ( ) ( ) ) �

q0,1

� # # # # # # �



t = 6

� ( ( ) ( ) ) �

q0,2

� # # # # # # �



t = 7

� ( ( ) ( ) ) �

q0,1

� # # # # # # �



t = 8

� ( ( ) ( ) ) �

q0,2

� # # # # # # �



t = 9

� ( ( ) ( ) ) �

q0,1

� # # # # # # �



t = 10

� ( ( ) ( ) ) �

q0,2

� # # # # # # �



t = 11

� ( ( ) ( ) ) �

q0,1

� # # # # # # �



t = 12

� ( ( ) ( ) ) �

q0,2

� # # # # # # �



t = 13

� ( ( ) ( ) ) �

q0,1

� # # # # # # �



t = 14

� ( ( ) ( ) ) �

q0,2

� # # # # # # �



t = 15

� ( ( ) ( ) ) �

q0,3

� # # # # # # �



t = 16

� ( ( ) ( ) ) �

q0,4

� # # # # # # �



t = 17

� ( ( ) ( ) ) �

q0,3

� # # # # # # �



t = 18

� ( ( ) ( ) ) �

q0,4

� # # # # # # �



t = 19

� ( ( ) ( ) ) �

q0,3

� # # # # # # �



t = 20

� ( ( ) ( ) ) �

q0,4

� # # # # # # �



t = 21

� ( ( ) ( ) ) �

q0,3

� # # # # # # �



t = 22

� ( ( ) ( ) ) �

q0,4

� # # # # # # �



t = 23

� ( ( ) ( ) ) �

q0,3

� # # # # # # �



t = 24

� ( ( ) ( ) ) �

q0,4

� # # # # # # �



t = 25

� ( ( ) ( ) ) �

q0,3

� # # # # # # �



t = 26

� ( ( ) ( ) ) �

q0,4

� # # # # # # �



t = 27

� ( ( ) ( ) ) �

q0,3

� # # # # # # �



t = 28

� ( ( ) ( ) ) �

q0,4

� # # # # # # �



t = 29

� ( ( ) ( ) ) �

q1

� # # # # # # �



t = 30

� ( ( ) ( ) ) �

q2

� # # # # # # �



t = 31

� ( ( ) ( ) ) �

q1

� # # # # # # �



t = 32

� ( ( ) ( ) ) �

q2

� # # # # # # �



t = 33

� ( ( ) ( ) ) �

q1

� # # # # # # �



t = 34

� ( ( ) ( ) ) �

q2

� # # # # # # �



t = 35

� ( ( ) ( ) ) �

qb4

� # # x # # # �



t = 36

� ( ( ) ( ) ) �

qb3

� # # x # # # �



t = 37

� ( ( ) ( ) ) �

q3

� # # x # # # �



t = 38

� ( ( ) ( ) ) �

q4

� # # x # # # �



t = 39

� ( ( ) ( ) ) �

q3

� # # x # # # �



t = 40

� ( ( ) ( ) ) �

q4

� # # x # # # �



t = 41

� ( ( ) ( ) ) �

q1

� # x x # # # �



t = 42

� ( ( ) ( ) ) �

q2

� # x x # # # �



t = 43

� ( ( ) ( ) ) �

q1

� # x x # # # �



t = 44

� ( ( ) ( ) ) �

q2

� # x x # # # �



t = 45

� ( ( ) ( ) ) �

q1

� # x x # # # �



t = 46

� ( ( ) ( ) ) �

q2

� # x x # # # �



t = 47

� ( ( ) ( ) ) �

qb4

� # x x # x # �



t = 48

� ( ( ) ( ) ) �

qb3

� # x x # x # �



t = 49

� ( ( ) ( ) ) �

q3

� # x x # x # �



t = 50

� ( ( ) ( ) ) �

q4

� # x x # x # �



t = 51

� ( ( ) ( ) ) �

q3

� # x x # x # �



t = 52

� ( ( ) ( ) ) �

q4

� # x x # x # �



t = 53

� ( ( ) ( ) ) �

q1

� # x x x x # �



t = 54

� ( ( ) ( ) ) �

q2

� # x x x x # �



t = 55

� ( ( ) ( ) ) �

q1

� # x x x x # �



t = 56

� ( ( ) ( ) ) �

q2

� # x x x x # �



t = 57

� ( ( ) ( ) ) �

qb4

� # x x x x x �



t = 58

� ( ( ) ( ) ) �

qb3

� # x x x x x �



t = 59

� ( ( ) ( ) ) �

q3

� # x x x x x �



t = 60

� ( ( ) ( ) ) �

q4

� # x x x x x �



t = 61

� ( ( ) ( ) ) �

q3

� # x x x x x �



t = 62

� ( ( ) ( ) ) �

q4

� # x x x x x �



t = 63

� ( ( ) ( ) ) �

q3

� # x x x x x �



t = 64

� ( ( ) ( ) ) �

q4

� # x x x x x �



t = 65

� ( ( ) ( ) ) �

q3

� # x x x x x �



t = 66

� ( ( ) ( ) ) �

q4

� # x x x x x �



t = 67

� ( ( ) ( ) ) �

q3

� # x x x x x �



t = 68

� ( ( ) ( ) ) �

q4

� # x x x x x �



t = 69

� ( ( ) ( ) ) �

q3

� # x x x x x �



t = 70

� ( ( ) ( ) ) �

q4

� # x x x x x �



t = 71

� ( ( ) ( ) ) �

q1

� x x x x x x �



t = 72

� ( ( ) ( ) ) �

q2

� x x x x x x �



t = 73

� ( ( ) ( ) ) �

qb4

� x # x x x x �



t = 74

� ( ( ) ( ) ) �

qb3

� x # x x x x �



t = 75

� ( ( ) ( ) ) �

qb2

� x # # x x x �



t = 76

� ( ( ) ( ) ) �

qb1

� x # # x x x �



t = 77

� ( ( ) ( ) ) �

qb2

� x # # x x x �



t = 78

� ( ( ) ( ) ) �

qb1

� x # # x x x �



t = 79

� ( ( ) ( ) ) �

qb2

� x # # x x x �



t = 80

� ( ( ) ( ) ) �

qb1

� x # # x x x �



t = 81

� ( ( ) ( ) ) �

qb0,4

� x # # x x x �



t = 82

� ( ( ) ( ) ) �

qb0,3

� x # # x x x �



t = 83

� ( ( ) ( ) ) �

q0,3

� x # # x x x �



t = 84

� ( ( ) ( ) ) �

q0,4

� x # # x x x �



t = 85

� ( ( ) ( ) ) �

q1

� x # # x x x �



t = 86

� ( ( ) ( ) ) �

q2

� x # # x x x �



t = 87

� ( ( ) ( ) ) �

qb4

� # # # x x x �



t = 88

� ( ( ) ( ) ) �

qb3

� # # # x x x �



t = 89

� ( ( ) ( ) ) �

q3

� # # # x x x �



t = 90

� ( ( ) ( ) ) �

q4

� # # # x x x �



t = 91

� ( ( ) ( ) ) �

q1

� x # # x x x �



t = 92

� ( ( ) ( ) ) �

q2

� x # # x x x �



t = 93

� ( ( ) ( ) ) �

q1

� x # # x x x �



t = 94

� ( ( ) ( ) ) �

q2

� x # # x x x �



t = 95

� ( ( ) ( ) ) �

qb4

� x # x x x x �



t = 96

� ( ( ) ( ) ) �

qb3

� x # x x x x �



t = 97

� ( ( ) ( ) ) �

qb4

� x # x x x x �



t = 98

� ( ( ) ( ) ) �

qb3

� x # x x x x �



t = 99

� ( ( ) ( ) ) �

qb2

� x # x x # x �



t = 100

� ( ( ) ( ) ) �

qb1

� x # x x # x �



t = 101

� ( ( ) ( ) ) �

qb2

� x # x x # x �



t = 102

� ( ( ) ( ) ) �

qb1

� x # x x # x �



t = 103

� ( ( ) ( ) ) �

qb2

� x # x x # x �



t = 104

� ( ( ) ( ) ) �

qb1

� x # x x # x �



t = 105

� ( ( ) ( ) ) �

qb2

� x # x x # x �



t = 106

� ( ( ) ( ) ) �

qb1

� x # x x # x �



t = 107

� ( ( ) ( ) ) �

qb2

� x # x x # x �



t = 108

� ( ( ) ( ) ) �

qb1

� x # x x # x �



t = 109

� ( ( ) ( ) ) �

qb0,4

� x # x x # x �



t = 110

� ( ( ) ( ) ) �

qb0,3

� x # x x # x �



t = 111

� ( ( ) ( ) ) �

q0,3

� x # x x # x �



t = 112

� ( ( ) ( ) ) �

q0,4

� x # x x # x �



t = 113

� ( ( ) ( ) ) �

q1

� x # x x # x �



t = 114

� ( ( ) ( ) ) �

q2

� x # x x # x �



t = 115

� ( ( ) ( ) ) �

qb4

� # # x x # x �



t = 116

� ( ( ) ( ) ) �

qb3

� # # x x # x �



t = 117

� ( ( ) ( ) ) �

q3

� # # x x # x �



t = 118

� ( ( ) ( ) ) �

q4

� # # x x # x �



t = 119

� ( ( ) ( ) ) �

q1

� x # x x # x �



t = 120

� ( ( ) ( ) ) �

q2

� x # x x # x �



t = 121

� ( ( ) ( ) ) �

q1

� x # x x # x �



t = 122

� ( ( ) ( ) ) �

q2

� x # x x # x �



t = 123

� ( ( ) ( ) ) �

q1

� x # x x # x �



t = 124

� ( ( ) ( ) ) �

q2

� x # x x # x �



t = 125

� ( ( ) ( ) ) �

qb4

� x # x # # x �



t = 126

� ( ( ) ( ) ) �

qb3

� x # x # # x �



t = 127

� ( ( ) ( ) ) �

q3

� x # x # # x �



t = 128

� ( ( ) ( ) ) �

q4

� x # x # # x �



t = 129

� ( ( ) ( ) ) �

q1

� x # x x # x �



t = 130

� ( ( ) ( ) ) �

q2

� x # x x # x �



t = 131

� ( ( ) ( ) ) �

qb4

� x # x x x x �



t = 132

� ( ( ) ( ) ) �

qb3

� x # x x x x �



t = 133

� ( ( ) ( ) ) �

qb2

� x # x x x # �



t = 134

� ( ( ) ( ) ) �

qb1

� x # x x x # �



t = 135

� ( ( ) ( ) ) �

qb2

� x # x x x # �



t = 136

� ( ( ) ( ) ) �

qb1

� x # x x x # �



t = 137

� ( ( ) ( ) ) �

qb2

� x # x x x # �



t = 138

� ( ( ) ( ) ) �

qb1

� x # x x x # �



t = 139

� ( ( ) ( ) ) �

qb2

� x # x x x # �



t = 140

� ( ( ) ( ) ) �

qb1

� x # x x x # �



t = 141

� ( ( ) ( ) ) �

qb2

� x # x x x # �



t = 142

� ( ( ) ( ) ) �

qb1

� x # x x x # �



t = 143

� ( ( ) ( ) ) �

qb2

� x # x x x # �



t = 144

� ( ( ) ( ) ) �

qb1

� x # x x x # �



t = 145

� ( ( ) ( ) ) �

qb0,4

� x # x x x # �



t = 146

� ( ( ) ( ) ) �

qb0,3

� x # x x x # �



t = 147

� ( ( ) ( ) ) �

q0,3

� x # x x x # �



t = 148

� ( ( ) ( ) ) �

q0,4

� x # x x x # �



t = 149

� ( ( ) ( ) ) �

q1

� x # x x x # �



t = 150

� ( ( ) ( ) ) �

q2

� x # x x x # �



t = 151

� ( ( ) ( ) ) �

qb4

� # # x x x # �



t = 152

� ( ( ) ( ) ) �

qb3

� # # x x x # �



t = 153

� ( ( ) ( ) ) �

q3

� # # x x x # �



t = 154

� ( ( ) ( ) ) �

q4

� # # x x x # �



t = 155

� ( ( ) ( ) ) �

q1

� x # x x x # �



t = 156

� ( ( ) ( ) ) �

q2

� x # x x x # �



t = 157

� ( ( ) ( ) ) �

q1

� x # x x x # �



t = 158

� ( ( ) ( ) ) �

q2

� x # x x x # �



t = 159

� ( ( ) ( ) ) �

q1

� x # x x x # �



t = 160

� ( ( ) ( ) ) �

q2

� x # x x x # �



t = 161

� ( ( ) ( ) ) �

qb4

� x # x # x # �



t = 162

� ( ( ) ( ) ) �

qb3

� x # x # x # �



t = 163

� ( ( ) ( ) ) �

qb2

� x # x # # # �



t = 164

� ( ( ) ( ) ) �

qb1

� x # x # # # �



t = 165

� ( ( ) ( ) ) �

qb2

� x # x # # # �



t = 166

� ( ( ) ( ) ) �

qb1

� x # x # # # �



t = 167

� ( ( ) ( ) ) �

qb2

� x # x # # # �



t = 168

� ( ( ) ( ) ) �

qb1

� x # x # # # �



t = 169

� ( ( ) ( ) ) �

qb2

� x # x # # # �



t = 170

� ( ( ) ( ) ) �

qb1

� x # x # # # �



t = 171

� ( ( ) ( ) ) �

qb2

� x # x # # # �



t = 172

� ( ( ) ( ) ) �

qb1

� x # x # # # �



t = 173

� ( ( ) ( ) ) �

qb0,4

� x # x # # # �



t = 174

� ( ( ) ( ) ) �

qb0,3

� x # x # # # �



t = 175

� ( ( ) ( ) ) �

q0,3

� x # x # # # �



t = 176

� ( ( ) ( ) ) �

q0,4

� x # x # # # �



t = 177

� ( ( ) ( ) ) �

q1

� x # x # # # �



t = 178

� ( ( ) ( ) ) �

q2

� x # x # # # �



t = 179

� ( ( ) ( ) ) �

qb4

� # # x # # # �



t = 180

� ( ( ) ( ) ) �

qb3

� # # x # # # �



t = 181

� ( ( ) ( ) ) �

q3

� # # x # # # �



t = 182

� ( ( ) ( ) ) �

q4

� # # x # # # �



t = 183

� ( ( ) ( ) ) �

q1

� x # x # # # �



t = 184

� ( ( ) ( ) ) �

q2

� x # x # # # �



t = 185

� ( ( ) ( ) ) �

q1

� x # x # # # �



t = 186

� ( ( ) ( ) ) �

q2

� x # x # # # �



t = 187

� ( ( ) ( ) ) �

q1

� x # x # # # �



t = 188

� ( ( ) ( ) ) �

q2

� x # x # # # �



t = 189

� ( ( ) ( ) ) �

q1

� x # x # # # �



t = 190

� ( ( ) ( ) ) �

q2

� x # x # # # �



t = 191

� ( ( ) ( ) ) �

qb4

� x # x # x # �



t = 192

� ( ( ) ( ) ) �

qb3

� x # x # x # �



t = 193

� ( ( ) ( ) ) �

q3

� x # x # x # �



t = 194

� ( ( ) ( ) ) �

q4

� x # x # x # �



t = 195

� ( ( ) ( ) ) �

q3

� x # x # x # �



t = 196

� ( ( ) ( ) ) �

q4

� x # x # x # �



t = 197

� ( ( ) ( ) ) �

q1

� x # x x x # �



t = 198

� ( ( ) ( ) ) �

q2

� x # x x x # �



t = 199

� ( ( ) ( ) ) �

q1

� x # x x x # �



t = 200

� ( ( ) ( ) ) �

q2

� x # x x x # �



t = 201

� ( ( ) ( ) ) �

qb4

� x # x x x x �



t = 202

� ( ( ) ( ) ) �

qb3

� x # x x x x �



t = 203

� ( ( ) ( ) ) �

q3

� x # x x x x �



t = 204

� ( ( ) ( ) ) �

q4

� x # x x x x �



t = 205

� ( ( ) ( ) ) �

q3

� x # x x x x �



t = 206

� ( ( ) ( ) ) �

q4

� x # x x x x �



t = 207

� ( ( ) ( ) ) �

q3

� x # x x x x �



t = 208

� ( ( ) ( ) ) �

q4

� x # x x x x �



t = 209

� ( ( ) ( ) ) �

q3

� x # x x x x �



t = 210

� ( ( ) ( ) ) �

q4

� x # x x x x �



t = 211

� ( ( ) ( ) ) �

q3

� x # x x x x �



t = 212

� ( ( ) ( ) ) �

q4

� x # x x x x �



t = 213

� ( ( ) ( ) ) �

q1

� x x x x x x �



t = 214

� ( ( ) ( ) ) �

q2

� x x x x x x �



t = 215

� ( ( ) ( ) ) �

q1

� x x x x x x �



t = 216

� ( ( ) ( ) ) �

q2

� x x x x x x �



t = 217

� ( ( ) ( ) ) �

qb4

� x x x # x x �



t = 218

� ( ( ) ( ) ) �

qb3

� x x x # x x �



t = 219

� ( ( ) ( ) ) �

qb2

� x x x # # x �



t = 220

� ( ( ) ( ) ) �

qb1

� x x x # # x �



t = 221

� ( ( ) ( ) ) �

qb2

� x x x # # x �



t = 222

� ( ( ) ( ) ) �

qb1

� x x x # # x �



t = 223

� ( ( ) ( ) ) �

qb2

� x x x # # x �



t = 224

� ( ( ) ( ) ) �

qb1

� x x x # # x �



t = 225

� ( ( ) ( ) ) �

qb2

� x x x # # x �



t = 226

� ( ( ) ( ) ) �

qb1

� x x x # # x �



t = 227

� ( ( ) ( ) ) �

qb2

� x x x # # x �



t = 228

� ( ( ) ( ) ) �

qb1

� x x x # # x �



t = 229

� ( ( ) ( ) ) �

qb0,4

� x x x # # x �



t = 230

� ( ( ) ( ) ) �

qb0,3

� x x x # # x �



t = 231

� ( ( ) ( ) ) �

q0,3

� x x x # # x �



t = 232

� ( ( ) ( ) ) �

q0,4

� x x x # # x �



t = 233

� ( ( ) ( ) ) �

q1

� x x x # # x �



t = 234

� ( ( ) ( ) ) �

q2

� x x x # # x �



t = 235

� ( ( ) ( ) ) �

qb4

� # x x # # x �



t = 236

� ( ( ) ( ) ) �

qb3

� # x x # # x �



t = 237

� ( ( ) ( ) ) �

qb4

� # x x # # x �



t = 238

� ( ( ) ( ) ) �

qb3

� # x x # # x �



t = 239

� ( ( ) ( ) ) �

qb2

� # x # # # x �



t = 240

� ( ( ) ( ) ) �

qb1

� # x # # # x �



t = 241

� ( ( ) ( ) ) �

qb2

� # x # # # x �



t = 242

� ( ( ) ( ) ) �

qb1

� # x # # # x �



t = 243

� ( ( ) ( ) ) �

qb2

� # x # # # x �



t = 244

� ( ( ) ( ) ) �

qb1

� # x # # # x �



t = 245

� ( ( ) ( ) ) �

qb0,4

� # x # # # x �



t = 246

� ( ( ) ( ) ) �

qb0,3

� # x # # # x �



t = 247

� ( ( ) ( ) ) �

qb0,4

� # x # # # x �



t = 248

� ( ( ) ( ) ) �

qb0,3

� # x # # # x �



t = 249

� ( ( ) ( ) ) �

q0,3

� # x # # # x �



t = 250

� ( ( ) ( ) ) �

q0,4

� # x # # # x �



t = 251

� ( ( ) ( ) ) �

q0,3

� # x # # # x �



t = 252

� ( ( ) ( ) ) �

q0,4

� # x # # # x �



t = 253

� ( ( ) ( ) ) �

q1

� # x # # # x �



t = 254

� ( ( ) ( ) ) �

q2

� # x # # # x �



t = 255

� ( ( ) ( ) ) �

q1

� # x # # # x �



t = 256

� ( ( ) ( ) ) �

q2

� # x # # # x �



t = 257

� ( ( ) ( ) ) �

qb4

� # # # # # x �



t = 258

� ( ( ) ( ) ) �

qb3

� # # # # # x �



t = 259

� ( ( ) ( ) ) �

q3

� # # # # # x �



t = 260

� ( ( ) ( ) ) �

q4

� # # # # # x �



t = 261

� ( ( ) ( ) ) �

q1

� # x # # # x �



t = 262

� ( ( ) ( ) ) �

q2

� # x # # # x �



t = 263

� ( ( ) ( ) ) �

qb4

� # x x # # x �



t = 264

� ( ( ) ( ) ) �

qb3

� # x x # # x �



t = 265

� ( ( ) ( ) ) �

q3

� # x x # # x �



t = 266

� ( ( ) ( ) ) �

q4

� # x x # # x �



t = 267

� ( ( ) ( ) ) �

q3

� # x x # # x �



t = 268

� ( ( ) ( ) ) �

q4

� # x x # # x �



t = 269

� ( ( ) ( ) ) �

q3

� # x x # # x �



t = 270

� ( ( ) ( ) ) �

q4

� # x x # # x �



t = 271

� ( ( ) ( ) ) �

q1

� x x x # # x �



t = 272

� ( ( ) ( ) ) �

q2

� x x x # # x �



t = 273

� ( ( ) ( ) ) �

qb4

� x # x # # x �



t = 274

� ( ( ) ( ) ) �

qb3

� x # x # # x �



t = 275

� ( ( ) ( ) ) �

qb2

� x # # # # x �



t = 276

� ( ( ) ( ) ) �

qb1

� x # # # # x �



t = 277

� ( ( ) ( ) ) �

qb2

� x # # # # x �



t = 278

� ( ( ) ( ) ) �

qb1

� x # # # # x �



t = 279

� ( ( ) ( ) ) �

qb2

� x # # # # x �



t = 280

� ( ( ) ( ) ) �

qb1

� x # # # # x �



t = 281

� ( ( ) ( ) ) �

qb0,4

� x # # # # x �



t = 282

� ( ( ) ( ) ) �

qb0,3

� x # # # # x �



t = 283

� ( ( ) ( ) ) �

q0,3

� x # # # # x �



t = 284

� ( ( ) ( ) ) �

q0,4

� x # # # # x �



t = 285

� ( ( ) ( ) ) �

q1

� x # # # # x �



t = 286

� ( ( ) ( ) ) �

q2

� x # # # # x �



t = 287

� ( ( ) ( ) ) �

qb4

� # # # # # x �



t = 288

� ( ( ) ( ) ) �

qb3

� # # # # # x �



t = 289

� ( ( ) ( ) ) �

q3

� # # # # # x �



t = 290

� ( ( ) ( ) ) �

q4

� # # # # # x �



t = 291

� ( ( ) ( ) ) �

q1

� x # # # # x �



t = 292

� ( ( ) ( ) ) �

q2

� x # # # # x �



t = 293

� ( ( ) ( ) ) �

q1

� x # # # # x �



t = 294

� ( ( ) ( ) ) �

q2

� x # # # # x �



t = 295

� ( ( ) ( ) ) �

qb4

� x # x # # x �



t = 296

� ( ( ) ( ) ) �

qb3

� x # x # # x �



t = 297

� ( ( ) ( ) ) �

q3

� x # x # # x �



t = 298

� ( ( ) ( ) ) �

q4

� x # x # # x �



t = 299

� ( ( ) ( ) ) �

q3

� x # x # # x �



t = 300

� ( ( ) ( ) ) �

q4

� x # x # # x �



t = 301

� ( ( ) ( ) ) �

q1

� x x x # # x �



t = 302

� ( ( ) ( ) ) �

q2

� x x x # # x �



t = 303

� ( ( ) ( ) ) �

q1

� x x x # # x �



t = 304

� ( ( ) ( ) ) �

q2

� x x x # # x �



t = 305

� ( ( ) ( ) ) �

q1

� x x x # # x �



t = 306

� ( ( ) ( ) ) �

q2

� x x x # # x �



t = 307

� ( ( ) ( ) ) �

qb4

� x x x # x x �



t = 308

� ( ( ) ( ) ) �

qb3

� x x x # x x �



t = 309

� ( ( ) ( ) ) �

qb2

� x x x # x # �



t = 310

� ( ( ) ( ) ) �

qb1

� x x x # x # �



t = 311

� ( ( ) ( ) ) �

qb2

� x x x # x # �



t = 312

� ( ( ) ( ) ) �

qb1

� x x x # x # �



t = 313

� ( ( ) ( ) ) �

qb2

� x x x # x # �



t = 314

� ( ( ) ( ) ) �

qb1

� x x x # x # �



t = 315

� ( ( ) ( ) ) �

qb2

� x x x # x # �



t = 316

� ( ( ) ( ) ) �

qb1

� x x x # x # �



t = 317

� ( ( ) ( ) ) �

qb2

� x x x # x # �



t = 318

� ( ( ) ( ) ) �

qb1

� x x x # x # �



t = 319

� ( ( ) ( ) ) �

qb2

� x x x # x # �



t = 320

� ( ( ) ( ) ) �

qb1

� x x x # x # �



t = 321

� ( ( ) ( ) ) �

qb0,4

� x x x # x # �



t = 322

� ( ( ) ( ) ) �

qb0,3

� x x x # x # �



t = 323

� ( ( ) ( ) ) �

q0,3

� x x x # x # �



t = 324

� ( ( ) ( ) ) �

q0,4

� x x x # x # �



t = 325

� ( ( ) ( ) ) �

q1

� x x x # x # �



t = 326

� ( ( ) ( ) ) �

q2

� x x x # x # �



t = 327

� ( ( ) ( ) ) �

qb4

� # x x # x # �



t = 328

� ( ( ) ( ) ) �

qb3

� # x x # x # �



t = 329

� ( ( ) ( ) ) �

qb4

� # x x # x # �



t = 330

� ( ( ) ( ) ) �

qb3

� # x x # x # �



t = 331

� ( ( ) ( ) ) �

qb2

� # x # # x # �



t = 332

� ( ( ) ( ) ) �

qb1

� # x # # x # �



t = 333

� ( ( ) ( ) ) �

qb2

� # x # # x # �



t = 334

� ( ( ) ( ) ) �

qb1

� # x # # x # �



t = 335

� ( ( ) ( ) ) �

qb2

� # x # # x # �



t = 336

� ( ( ) ( ) ) �

qb1

� # x # # x # �



t = 337

� ( ( ) ( ) ) �

qb0,4

� # x # # x # �



t = 338

� ( ( ) ( ) ) �

qb0,3

� # x # # x # �



t = 339

� ( ( ) ( ) ) �

qb0,4

� # x # # x # �



t = 340

� ( ( ) ( ) ) �

qb0,3

� # x # # x # �



t = 341

� ( ( ) ( ) ) �

q0,3

� # x # # x # �



t = 342

� ( ( ) ( ) ) �

q0,4

� # x # # x # �



t = 343

� ( ( ) ( ) ) �

q0,3

� # x # # x # �



t = 344

� ( ( ) ( ) ) �

q0,4

� # x # # x # �



t = 345

� ( ( ) ( ) ) �

q1

� # x # # x # �



t = 346

� ( ( ) ( ) ) �

q2

� # x # # x # �



t = 347

� ( ( ) ( ) ) �

q1

� # x # # x # �



t = 348

� ( ( ) ( ) ) �

q2

� # x # # x # �



t = 349

� ( ( ) ( ) ) �

qb4

� # # # # x # �



t = 350

� ( ( ) ( ) ) �

qb3

� # # # # x # �



t = 351

� ( ( ) ( ) ) �

q3

� # # # # x # �



t = 352

� ( ( ) ( ) ) �

q4

� # # # # x # �



t = 353

� ( ( ) ( ) ) �

q1

� # x # # x # �



t = 354

� ( ( ) ( ) ) �

q2

� # x # # x # �



t = 355

� ( ( ) ( ) ) �

qb4

� # x x # x # �



t = 356

� ( ( ) ( ) ) �

qb3

� # x x # x # �



t = 357

� ( ( ) ( ) ) �

q3

� # x x # x # �



t = 358

� ( ( ) ( ) ) �

q4

� # x x # x # �



t = 359

� ( ( ) ( ) ) �

q3

� # x x # x # �



t = 360

� ( ( ) ( ) ) �

q4

� # x x # x # �



t = 361

� ( ( ) ( ) ) �

q3

� # x x # x # �



t = 362

� ( ( ) ( ) ) �

q4

� # x x # x # �



t = 363

� ( ( ) ( ) ) �

q1

� x x x # x # �



t = 364

� ( ( ) ( ) ) �

q2

� x x x # x # �



t = 365

� ( ( ) ( ) ) �

qb4

� x # x # x # �



t = 366

� ( ( ) ( ) ) �

qb3

� x # x # x # �



t = 367

� ( ( ) ( ) ) �

qb2

� x # # # x # �



t = 368

� ( ( ) ( ) ) �

qb1

� x # # # x # �



t = 369

� ( ( ) ( ) ) �

qb2

� x # # # x # �



t = 370

� ( ( ) ( ) ) �

qb1

� x # # # x # �



t = 371

� ( ( ) ( ) ) �

qb2

� x # # # x # �



t = 372

� ( ( ) ( ) ) �

qb1

� x # # # x # �



t = 373

� ( ( ) ( ) ) �

qb0,4

� x # # # x # �



t = 374

� ( ( ) ( ) ) �

qb0,3

� x # # # x # �



t = 375

� ( ( ) ( ) ) �

q0,3

� x # # # x # �



t = 376

� ( ( ) ( ) ) �

q0,4

� x # # # x # �



t = 377

� ( ( ) ( ) ) �

q1

� x # # # x # �



t = 378

� ( ( ) ( ) ) �

q2

� x # # # x # �



t = 379

� ( ( ) ( ) ) �

qb4

� # # # # x # �



t = 380

� ( ( ) ( ) ) �

qb3

� # # # # x # �



t = 381

� ( ( ) ( ) ) �

q3

� # # # # x # �



t = 382

� ( ( ) ( ) ) �

q4

� # # # # x # �



t = 383

� ( ( ) ( ) ) �

q1

� x # # # x # �



t = 384

� ( ( ) ( ) ) �

q2

� x # # # x # �



t = 385

� ( ( ) ( ) ) �

q1

� x # # # x # �



t = 386

� ( ( ) ( ) ) �

q2

� x # # # x # �



t = 387

� ( ( ) ( ) ) �

qb4

� x # x # x # �



t = 388

� ( ( ) ( ) ) �

qb3

� x # x # x # �



t = 389

� ( ( ) ( ) ) �

q3

� x # x # x # �



t = 390

� ( ( ) ( ) ) �

q4

� x # x # x # �



t = 391

� ( ( ) ( ) ) �

q3

� x # x # x # �



t = 392

� ( ( ) ( ) ) �

q4

� x # x # x # �



t = 393

� ( ( ) ( ) ) �

q1

� x x x # x # �



t = 394

� ( ( ) ( ) ) �

q2

� x x x # x # �



t = 395

� ( ( ) ( ) ) �

q1

� x x x # x # �



t = 396

� ( ( ) ( ) ) �

q2

� x x x # x # �



t = 397

� ( ( ) ( ) ) �

q1

� x x x # x # �



t = 398

� ( ( ) ( ) ) �

q2

� x x x # x # �



t = 399

� ( ( ) ( ) ) �

q1

� x x x # x # �



t = 400

� ( ( ) ( ) ) �

q2

� x x x # x # �



t = 401

� ( ( ) ( ) ) �

qb4

� x x x # x x �



t = 402

� ( ( ) ( ) ) �

qb3

� x x x # x x �



t = 403

� ( ( ) ( ) ) �

q3

� x x x # x x �



t = 404

� ( ( ) ( ) ) �

q4

� x x x # x x �



t = 405

� ( ( ) ( ) ) �

q3

� x x x # x x �



t = 406

� ( ( ) ( ) ) �

q4

� x x x # x x �



t = 407

� ( ( ) ( ) ) �

q3

� x x x # x x �



t = 408

� ( ( ) ( ) ) �

q4

� x x x # x x �



t = 409

� ( ( ) ( ) ) �

q1

� x x x x x x �



t = 410

� ( ( ) ( ) ) �

q2

� x x x x x x �



t = 411

� ( ( ) ( ) ) �

q1

� x x x x x x �



t = 412

� ( ( ) ( ) ) �

q2

� x x x x x x �



t = 413

� ( ( ) ( ) ) �

q1

� x x x x x x �



t = 414

� ( ( ) ( ) ) �

q2

� x x x x x x �



t = 415

� ( ( ) ( ) ) �

q5

� x x x x x x �



t = 416

� ( ( ) ( ) ) �

q6

� x x x x x x �



t = 417

� ( ( ) ( ) ) �

q5

� x x x x x x �



t = 418

� ( ( ) ( ) ) �

q6

� x x x x x x �



t = 419

� ( ( ) ( ) ) �

q5

� x x x x x x �



t = 420

� ( ( ) ( ) ) �

q6

� x x x x x x �



t = 421

� ( ( ) ( ) ) �

q5

� x x x x x x �



t = 422

� ( ( ) ( ) ) �

q6

� x x x x x x �



t = 423

� ( ( ) ( ) ) �

q5

� x x x x x x �



t = 424

� ( ( ) ( ) ) �

q6

� x x x x x x �



t = 425

� ( ( ) ( ) ) �

q5

� x x x x x x �



t = 426

� ( ( ) ( ) ) �

q6

� x x x x x x �



t = 427

� ( ( ) ( ) ) �

q5

� x x x x x x �



t = 428

� ( ( ) ( ) ) �

q6

� x x x x x x �



t = 429

� ( ( ) ( ) ) �

qa

� x x x x x x �

The simulated DLBA accepts the input



t = 430

� ( ( ) ( ) ) �

q̂ba

� x x x x x x �



t = 431

� ( ( ) ( ) ) �

q̂b6

� x x x x x x �



t = 432

� ( ( ) ( ) ) �

q̂b5

� x x x x x x �



t = 433

� ( ( ) ( ) ) �

q̂b6

� x x x x x x �



t = 434

� ( ( ) ( ) ) �

q̂b5

� x x x x x x �



t = 435

� ( ( ) ( ) ) �

q̂b6

� x x x x x x �



t = 436

� ( ( ) ( ) ) �

q̂b5

� x x x x x x �



t = 437

� ( ( ) ( ) ) �

q̂b6

� x x x x x x �



t = 438

� ( ( ) ( ) ) �

q̂b5

� x x x x x x �



t = 439

� ( ( ) ( ) ) �

q̂b6

� x x x x x x �



t = 440

� ( ( ) ( ) ) �

q̂b5

� x x x x x x �



t = 441

� ( ( ) ( ) ) �

q̂b6

� x x x x x x �



t = 442

� ( ( ) ( ) ) �

q̂b5

� x x x x x x �



t = 443

� ( ( ) ( ) ) �

q̂b6

� x x x x x x �



t = 444

� ( ( ) ( ) ) �

q̂b5

� x x x x x x �



t = 445

� ( ( ) ( ) ) �

q̂b2

� x x x x x x �



t = 446

� ( ( ) ( ) ) �

q̂b1

� x x x x x x �



t = 447

� ( ( ) ( ) ) �

q̂b2

� x x x x x x �



t = 448

� ( ( ) ( ) ) �

q̂b1

� x x x x x x �



t = 449

� ( ( ) ( ) ) �

q̂b2

� x x x x x x �



t = 450

� ( ( ) ( ) ) �

q̂b1

� x x x x x x �



t = 451

� ( ( ) ( ) ) �

q̂b2

� x x x x x x �



t = 452

� ( ( ) ( ) ) �

q̂b1

� x x x x x x �



t = 453

� ( ( ) ( ) ) �

q̂b2

� x x x x x x �



t = 454

� ( ( ) ( ) ) �

q̂b1

� x x x x x x �



t = 455

� ( ( ) ( ) ) �

q̂b2

� x x x x x x �



t = 456

� ( ( ) ( ) ) �

q̂b1

� x x x x x x �



t = 457

� ( ( ) ( ) ) �

q̂b2

� x x x x x x �



t = 458

� ( ( ) ( ) ) �

q̂b1

� x x x x x x �



t = 459

� ( ( ) ( ) ) �

q̂b0,4

� x x x x x x �



t = 460

� ( ( ) ( ) ) �

q̂b0,3

� x x x x x x �



t = 461

� ( ( ) ( ) ) �

q̂0,3

� x x x x x x �



t = 462

� ( ( ) ( ) ) �

q̂0,4

� x x x x x x �



t = 463

� ( ( ) ( ) ) �

q̂1

� x x x x x x �



t = 464

� ( ( ) ( ) ) �

q̂2

� x x x x x x �



t = 465

� ( ( ) ( ) ) �

q̂b4

� # x x x x x �



t = 466

� ( ( ) ( ) ) �

q̂b3

� # x x x x x �



t = 467

� ( ( ) ( ) ) �

q̂b4

� # x x x x x �



t = 468

� ( ( ) ( ) ) �

q̂b3

� # x x x x x �



t = 469

� ( ( ) ( ) ) �

q̂b2

� # x # x x x �



t = 470

� ( ( ) ( ) ) �

q̂b1

� # x # x x x �



t = 471

� ( ( ) ( ) ) �

q̂b2

� # x # x x x �



t = 472

� ( ( ) ( ) ) �

q̂b1

� # x # x x x �



t = 473

� ( ( ) ( ) ) �

q̂b2

� # x # x x x �



t = 474

� ( ( ) ( ) ) �

q̂b1

� # x # x x x �



t = 475

� ( ( ) ( ) ) �

q̂b0,4

� # x # x x x �



t = 476

� ( ( ) ( ) ) �

q̂b0,3

� # x # x x x �



t = 477

� ( ( ) ( ) ) �

q̂b0,4

� # x # x x x �



t = 478

� ( ( ) ( ) ) �

q̂b0,3

� # x # x x x �



t = 479

� ( ( ) ( ) ) �

q̂0,3

� # x # x x x �



t = 480

� ( ( ) ( ) ) �

q̂0,4

� # x # x x x �



t = 481

� ( ( ) ( ) ) �

q̂0,3

� # x # x x x �



t = 482

� ( ( ) ( ) ) �

q̂0,4

� # x # x x x �



t = 483

� ( ( ) ( ) ) �

q̂1

� # x # x x x �



t = 484

� ( ( ) ( ) ) �

q̂2

� # x # x x x �



t = 485

� ( ( ) ( ) ) �

q̂1

� # x # x x x �



t = 486

� ( ( ) ( ) ) �

q̂2

� # x # x x x �



t = 487

� ( ( ) ( ) ) �

q̂b4

� # # # x x x �



t = 488

� ( ( ) ( ) ) �

q̂b3

� # # # x x x �



t = 489

� ( ( ) ( ) ) �

q̂3

� # # # x x x �



t = 490

� ( ( ) ( ) ) �

q̂4

� # # # x x x �



t = 491

� ( ( ) ( ) ) �

q̂1

� # x # x x x �



t = 492

� ( ( ) ( ) ) �

q̂2

� # x # x x x �



t = 493

� ( ( ) ( ) ) �

q̂b4

� # x x x x x �



t = 494

� ( ( ) ( ) ) �

q̂b3

� # x x x x x �



t = 495

� ( ( ) ( ) ) �

q̂b4

� # x x x x x �



t = 496

� ( ( ) ( ) ) �

q̂b3

� # x x x x x �



t = 497

� ( ( ) ( ) ) �

q̂b2

� # x x x # x �



t = 498

� ( ( ) ( ) ) �

q̂b1

� # x x x # x �



t = 499

� ( ( ) ( ) ) �

q̂b2

� # x x x # x �



t = 500

� ( ( ) ( ) ) �

q̂b1

� # x x x # x �



t = 501

� ( ( ) ( ) ) �

q̂b2

� # x x x # x �



t = 502

� ( ( ) ( ) ) �

q̂b1

� # x x x # x �



t = 503

� ( ( ) ( ) ) �

q̂b2

� # x x x # x �



t = 504

� ( ( ) ( ) ) �

q̂b1

� # x x x # x �



t = 505

� ( ( ) ( ) ) �

q̂b2

� # x x x # x �



t = 506

� ( ( ) ( ) ) �

q̂b1

� # x x x # x �



t = 507

� ( ( ) ( ) ) �

q̂b0,4

� # x x x # x �



t = 508

� ( ( ) ( ) ) �

q̂b0,3

� # x x x # x �



t = 509

� ( ( ) ( ) ) �

q̂b0,4

� # x x x # x �



t = 510

� ( ( ) ( ) ) �

q̂b0,3

� # x x x # x �



t = 511

� ( ( ) ( ) ) �

q̂0,3

� # x x x # x �



t = 512

� ( ( ) ( ) ) �

q̂0,4

� # x x x # x �



t = 513

� ( ( ) ( ) ) �

q̂0,3

� # x x x # x �



t = 514

� ( ( ) ( ) ) �

q̂0,4

� # x x x # x �



t = 515

� ( ( ) ( ) ) �

q̂1

� # x x x # x �



t = 516

� ( ( ) ( ) ) �

q̂2

� # x x x # x �



t = 517

� ( ( ) ( ) ) �

q̂1

� # x x x # x �



t = 518

� ( ( ) ( ) ) �

q̂2

� # x x x # x �



t = 519

� ( ( ) ( ) ) �

q̂b4

� # # x x # x �



t = 520

� ( ( ) ( ) ) �

q̂b3

� # # x x # x �



t = 521

� ( ( ) ( ) ) �

q̂b2

� # # # x # x �



t = 522

� ( ( ) ( ) ) �

q̂b1

� # # # x # x �



t = 523

� ( ( ) ( ) ) �

q̂b2

� # # # x # x �



t = 524

� ( ( ) ( ) ) �

q̂b1

� # # # x # x �



t = 525

� ( ( ) ( ) ) �

q̂b2

� # # # x # x �



t = 526

� ( ( ) ( ) ) �

q̂b1

� # # # x # x �



t = 527

� ( ( ) ( ) ) �

q̂b0,4

� # # # x # x �



t = 528

� ( ( ) ( ) ) �

q̂b0,3

� # # # x # x �



t = 529

� ( ( ) ( ) ) �

q̂b0,4

� # # # x # x �



t = 530

� ( ( ) ( ) ) �

q̂b0,3

� # # # x # x �



t = 531

� ( ( ) ( ) ) �

q̂b0,4

� # # # x # x �



t = 532

� ( ( ) ( ) ) �

q̂b0,3

� # # # x # x �



t = 533

� ( ( ) ( ) ) �

q̂b0,4

� # # # x # x �



t = 534

� ( ( ) ( ) ) �

q̂b0,3

� # # # x # x �



t = 535

� ( ( ) ( ) ) �

q̂0,3

� # # # x # x �



t = 536

� ( ( ) ( ) ) �

q̂0,4

� # # # x # x �



t = 537

� ( ( ) ( ) ) �

q̂0,3

� # # # x # x �



t = 538

� ( ( ) ( ) ) �

q̂0,4

� # # # x # x �



t = 539

� ( ( ) ( ) ) �

q̂0,3

� # # # x # x �



t = 540

� ( ( ) ( ) ) �

q̂0,4

� # # # x # x �



t = 541

� ( ( ) ( ) ) �

q̂0,3

� # # # x # x �



t = 542

� ( ( ) ( ) ) �

q̂0,4

� # # # x # x �



t = 543

� ( ( ) ( ) ) �

q̂1

� # # # x # x �



t = 544

� ( ( ) ( ) ) �

q̂2

� # # # x # x �



t = 545

� ( ( ) ( ) ) �

q̂1

� # # # x # x �



t = 546

� ( ( ) ( ) ) �

q̂2

� # # # x # x �



t = 547

� ( ( ) ( ) ) �

q̂1

� # # # x # x �



t = 548

� ( ( ) ( ) ) �

q̂2

� # # # x # x �



t = 549

� ( ( ) ( ) ) �

q̂b4

� # # x x # x �



t = 550

� ( ( ) ( ) ) �

q̂b3

� # # x x # x �



t = 551

� ( ( ) ( ) ) �

q̂b4

� # # x x # x �



t = 552

� ( ( ) ( ) ) �

q̂b3

� # # x x # x �



t = 553

� ( ( ) ( ) ) �

q̂3

� # # x x # x �



t = 554

� ( ( ) ( ) ) �

q̂4

� # # x x # x �



t = 555

� ( ( ) ( ) ) �

q̂3

� # # x x # x �



t = 556

� ( ( ) ( ) ) �

q̂4

� # # x x # x �



t = 557

� ( ( ) ( ) ) �

q̂3

� # # x x # x �



t = 558

� ( ( ) ( ) ) �

q̂4

� # # x x # x �



t = 559

� ( ( ) ( ) ) �

q̂1

� # x x x # x �



t = 560

� ( ( ) ( ) ) �

q̂2

� # x x x # x �



t = 561

� ( ( ) ( ) ) �

q̂1

� # x x x # x �



t = 562

� ( ( ) ( ) ) �

q̂2

� # x x x # x �



t = 563

� ( ( ) ( ) ) �

q̂b4

� # x x # # x �



t = 564

� ( ( ) ( ) ) �

q̂b3

� # x x # # x �



t = 565

� ( ( ) ( ) ) �

q̂3

� # x x # # x �



t = 566

� ( ( ) ( ) ) �

q̂4

� # x x # # x �



t = 567

� ( ( ) ( ) ) �

q̂1

� # x x x # x �



t = 568

� ( ( ) ( ) ) �

q̂2

� # x x x # x �



t = 569

� ( ( ) ( ) ) �

q̂b4

� # x x x x x �



t = 570

� ( ( ) ( ) ) �

q̂b3

� # x x x x x �



t = 571

� ( ( ) ( ) ) �

q̂b2

� # x x x x # �



t = 572

� ( ( ) ( ) ) �

q̂b1

� # x x x x # �



t = 573

� ( ( ) ( ) ) �

q̂b2

� # x x x x # �



t = 574

� ( ( ) ( ) ) �

q̂b1

� # x x x x # �



t = 575

� ( ( ) ( ) ) �

q̂b2

� # x x x x # �



t = 576

� ( ( ) ( ) ) �

q̂b1

� # x x x x # �



t = 577

� ( ( ) ( ) ) �

q̂b2

� # x x x x # �



t = 578

� ( ( ) ( ) ) �

q̂b1

� # x x x x # �



t = 579

� ( ( ) ( ) ) �

q̂b2

� # x x x x # �



t = 580

� ( ( ) ( ) ) �

q̂b1

� # x x x x # �



t = 581

� ( ( ) ( ) ) �

q̂b2

� # x x x x # �



t = 582

� ( ( ) ( ) ) �

q̂b1

� # x x x x # �



t = 583

� ( ( ) ( ) ) �

q̂b0,4

� # x x x x # �



t = 584

� ( ( ) ( ) ) �

q̂b0,3

� # x x x x # �



t = 585

� ( ( ) ( ) ) �

q̂b0,4

� # x x x x # �



t = 586

� ( ( ) ( ) ) �

q̂b0,3

� # x x x x # �



t = 587

� ( ( ) ( ) ) �

q̂0,3

� # x x x x # �



t = 588

� ( ( ) ( ) ) �

q̂0,4

� # x x x x # �



t = 589

� ( ( ) ( ) ) �

q̂0,3

� # x x x x # �



t = 590

� ( ( ) ( ) ) �

q̂0,4

� # x x x x # �



t = 591

� ( ( ) ( ) ) �

q̂1

� # x x x x # �



t = 592

� ( ( ) ( ) ) �

q̂2

� # x x x x # �



t = 593

� ( ( ) ( ) ) �

q̂1

� # x x x x # �



t = 594

� ( ( ) ( ) ) �

q̂2

� # x x x x # �



t = 595

� ( ( ) ( ) ) �

q̂b4

� # # x x x # �



t = 596

� ( ( ) ( ) ) �

q̂b3

� # # x x x # �



t = 597

� ( ( ) ( ) ) �

q̂b2

� # # # x x # �



t = 598

� ( ( ) ( ) ) �

q̂b1

� # # # x x # �



t = 599

� ( ( ) ( ) ) �

q̂b2

� # # # x x # �



t = 600

� ( ( ) ( ) ) �

q̂b1

� # # # x x # �



t = 601

� ( ( ) ( ) ) �

q̂b2

� # # # x x # �



t = 602

� ( ( ) ( ) ) �

q̂b1

� # # # x x # �



t = 603

� ( ( ) ( ) ) �

q̂b0,4

� # # # x x # �



t = 604

� ( ( ) ( ) ) �

q̂b0,3

� # # # x x # �



t = 605

� ( ( ) ( ) ) �

q̂b0,4

� # # # x x # �



t = 606

� ( ( ) ( ) ) �

q̂b0,3

� # # # x x # �



t = 607

� ( ( ) ( ) ) �

q̂b0,4

� # # # x x # �



t = 608

� ( ( ) ( ) ) �

q̂b0,3

� # # # x x # �



t = 609

� ( ( ) ( ) ) �

q̂b0,4

� # # # x x # �



t = 610

� ( ( ) ( ) ) �

q̂b0,3

� # # # x x # �



t = 611

� ( ( ) ( ) ) �

q̂0,3

� # # # x x # �



t = 612

� ( ( ) ( ) ) �

q̂0,4

� # # # x x # �



t = 613

� ( ( ) ( ) ) �

q̂0,3

� # # # x x # �



t = 614

� ( ( ) ( ) ) �

q̂0,4

� # # # x x # �



t = 615

� ( ( ) ( ) ) �

q̂0,3

� # # # x x # �



t = 616

� ( ( ) ( ) ) �

q̂0,4

� # # # x x # �



t = 617

� ( ( ) ( ) ) �

q̂0,3

� # # # x x # �



t = 618

� ( ( ) ( ) ) �

q̂0,4

� # # # x x # �



t = 619

� ( ( ) ( ) ) �

q̂1

� # # # x x # �



t = 620

� ( ( ) ( ) ) �

q̂2

� # # # x x # �



t = 621

� ( ( ) ( ) ) �

q̂1

� # # # x x # �



t = 622

� ( ( ) ( ) ) �

q̂2

� # # # x x # �



t = 623

� ( ( ) ( ) ) �

q̂1

� # # # x x # �



t = 624

� ( ( ) ( ) ) �

q̂2

� # # # x x # �



t = 625

� ( ( ) ( ) ) �

q̂b4

� # # x x x # �



t = 626

� ( ( ) ( ) ) �

q̂b3

� # # x x x # �



t = 627

� ( ( ) ( ) ) �

q̂b4

� # # x x x # �



t = 628

� ( ( ) ( ) ) �

q̂b3

� # # x x x # �



t = 629

� ( ( ) ( ) ) �

q̂b2

� # # x x # # �



t = 630

� ( ( ) ( ) ) �

q̂b1

� # # x x # # �



t = 631

� ( ( ) ( ) ) �

q̂b2

� # # x x # # �



t = 632

� ( ( ) ( ) ) �

q̂b1

� # # x x # # �



t = 633

� ( ( ) ( ) ) �

q̂b2

� # # x x # # �



t = 634

� ( ( ) ( ) ) �

q̂b1

� # # x x # # �



t = 635

� ( ( ) ( ) ) �

q̂b2

� # # x x # # �



t = 636

� ( ( ) ( ) ) �

q̂b1

� # # x x # # �



t = 637

� ( ( ) ( ) ) �

q̂b2

� # # x x # # �



t = 638

� ( ( ) ( ) ) �

q̂b1

� # # x x # # �



t = 639

� ( ( ) ( ) ) �

q̂b0,4

� # # x x # # �



t = 640

� ( ( ) ( ) ) �

q̂b0,3

� # # x x # # �



t = 641

� ( ( ) ( ) ) �

q̂b0,4

� # # x x # # �



t = 642

� ( ( ) ( ) ) �

q̂b0,3

� # # x x # # �



t = 643

� ( ( ) ( ) ) �

q̂b0,4

� # # x x # # �



t = 644

� ( ( ) ( ) ) �

q̂b0,3

� # # x x # # �



t = 645

� ( ( ) ( ) ) �

q̂0,3

� # # x x # # �



t = 646

� ( ( ) ( ) ) �

q̂0,4

� # # x x # # �



t = 647

� ( ( ) ( ) ) �

q̂0,3

� # # x x # # �



t = 648

� ( ( ) ( ) ) �

q̂0,4

� # # x x # # �



t = 649

� ( ( ) ( ) ) �

q̂0,3

� # # x x # # �



t = 650

� ( ( ) ( ) ) �

q̂0,4

� # # x x # # �



t = 651

� ( ( ) ( ) ) �

q̂1

� # # x x # # �



t = 652

� ( ( ) ( ) ) �

q̂2

� # # x x # # �



t = 653

� ( ( ) ( ) ) �

q̂1

� # # x x # # �



t = 654

� ( ( ) ( ) ) �

q̂2

� # # x x # # �



t = 655

� ( ( ) ( ) ) �

q̂1

� # # x x # # �



t = 656

� ( ( ) ( ) ) �

q̂2

� # # x x # # �



t = 657

� ( ( ) ( ) ) �

q̂1

� # # x x # # �



t = 658

� ( ( ) ( ) ) �

q̂2

� # # x x # # �



t = 659

� ( ( ) ( ) ) �

q̂b4

� # # x # # # �



t = 660

� ( ( ) ( ) ) �

q̂b3

� # # x # # # �



t = 661

� ( ( ) ( ) ) �

q̂3

� # # x # # # �



t = 662

� ( ( ) ( ) ) �

q̂4

� # # x # # # �



t = 663

� ( ( ) ( ) ) �

q̂1

� # # x x # # �



t = 664

� ( ( ) ( ) ) �

q̂2

� # # x x # # �



t = 665

� ( ( ) ( ) ) �

q̂b4

� # # x x x # �



t = 666

� ( ( ) ( ) ) �

q̂b3

� # # x x x # �



t = 667

� ( ( ) ( ) ) �

q̂3

� # # x x x # �



t = 668

� ( ( ) ( ) ) �

q̂4

� # # x x x # �



t = 669

� ( ( ) ( ) ) �

q̂3

� # # x x x # �



t = 670

� ( ( ) ( ) ) �

q̂4

� # # x x x # �



t = 671

� ( ( ) ( ) ) �

q̂3

� # # x x x # �



t = 672

� ( ( ) ( ) ) �

q̂4

� # # x x x # �



t = 673

� ( ( ) ( ) ) �

q̂3

� # # x x x # �



t = 674

� ( ( ) ( ) ) �

q̂4

� # # x x x # �



t = 675

� ( ( ) ( ) ) �

q̂1

� # x x x x # �



t = 676

� ( ( ) ( ) ) �

q̂2

� # x x x x # �



t = 677

� ( ( ) ( ) ) �

q̂1

� # x x x x # �



t = 678

� ( ( ) ( ) ) �

q̂2

� # x x x x # �



t = 679

� ( ( ) ( ) ) �

q̂b4

� # x x # x # �



t = 680

� ( ( ) ( ) ) �

q̂b3

� # x x # x # �



t = 681

� ( ( ) ( ) ) �

q̂b2

� # x x # # # �



t = 682

� ( ( ) ( ) ) �

q̂b1

� # x x # # # �



t = 683

� ( ( ) ( ) ) �

q̂b2

� # x x # # # �



t = 684

� ( ( ) ( ) ) �

q̂b1

� # x x # # # �



t = 685

� ( ( ) ( ) ) �

q̂b2

� # x x # # # �



t = 686

� ( ( ) ( ) ) �

q̂b1

� # x x # # # �



t = 687

� ( ( ) ( ) ) �

q̂b2

� # x x # # # �



t = 688

� ( ( ) ( ) ) �

q̂b1

� # x x # # # �



t = 689

� ( ( ) ( ) ) �

q̂b2

� # x x # # # �



t = 690

� ( ( ) ( ) ) �

q̂b1

� # x x # # # �



t = 691

� ( ( ) ( ) ) �

q̂b0,4

� # x x # # # �



t = 692

� ( ( ) ( ) ) �

q̂b0,3

� # x x # # # �



t = 693

� ( ( ) ( ) ) �

q̂b0,4

� # x x # # # �



t = 694

� ( ( ) ( ) ) �

q̂b0,3

� # x x # # # �



t = 695

� ( ( ) ( ) ) �

q̂0,3

� # x x # # # �



t = 696

� ( ( ) ( ) ) �

q̂0,4

� # x x # # # �



t = 697

� ( ( ) ( ) ) �

q̂0,3

� # x x # # # �



t = 698

� ( ( ) ( ) ) �

q̂0,4

� # x x # # # �



t = 699

� ( ( ) ( ) ) �

q̂1

� # x x # # # �



t = 700

� ( ( ) ( ) ) �

q̂2

� # x x # # # �



t = 701

� ( ( ) ( ) ) �

q̂1

� # x x # # # �



t = 702

� ( ( ) ( ) ) �

q̂2

� # x x # # # �



t = 703

� ( ( ) ( ) ) �

q̂b4

� # # x # # # �



t = 704

� ( ( ) ( ) ) �

q̂b3

� # # x # # # �



t = 705

� ( ( ) ( ) ) �

q̂b2

� # # # # # # �



t = 706

� ( ( ) ( ) ) �

q̂b1

� # # # # # # �



t = 707

� ( ( ) ( ) ) �

q̂b2

� # # # # # # �



t = 708

� ( ( ) ( ) ) �

q̂b1

� # # # # # # �



t = 709

� ( ( ) ( ) ) �

q̂b2

� # # # # # # �



t = 710

� ( ( ) ( ) ) �

q̂b1

� # # # # # # �



t = 711

� ( ( ) ( ) ) �

q̂b0,4

� # # # # # # �



t = 712

� ( ( ) ( ) ) �

q̂b0,3

� # # # # # # �



t = 713

� ( ( ) ( ) ) �

q̂b0,4

� # # # # # # �



t = 714

� ( ( ) ( ) ) �

q̂b0,3

� # # # # # # �



t = 715

� ( ( ) ( ) ) �

q̂b0,4

� # # # # # # �



t = 716

� ( ( ) ( ) ) �

q̂b0,3

� # # # # # # �



t = 717

� ( ( ) ( ) ) �

q̂b0,4

� # # # # # # �



t = 718

� ( ( ) ( ) ) �

q̂b0,3

� # # # # # # �



t = 719

� ( ( ) ( ) ) �

q̂b0,4

� # # # # # # �



t = 720

� ( ( ) ( ) ) �

q̂b0,3

� # # # # # # �



t = 721

� ( ( ) ( ) ) �

q̂b0,4

� # # # # # # �



t = 722

� ( ( ) ( ) ) �

q̂b0,3

� # # # # # # �



t = 723

� ( ( ) ( ) ) �

q̂b0,4

� # # # # # # �



t = 724

� ( ( ) ( ) ) �

q̂b0,3

� # # # # # # �



t = 725

� ( ( ) ( ) ) �

q̂b0,2

� # # # # # # �



t = 726

� ( ( ) ( ) ) �

q̂b0,1

� # # # # # # �



t = 727

� ( ( ) ( ) ) �

q̂b0,2

� # # # # # # �



t = 728

� ( ( ) ( ) ) �

q̂b0,1

� # # # # # # �



t = 729

� ( ( ) ( ) ) �

q̂b0,2

� # # # # # # �



t = 730

� ( ( ) ( ) ) �

q̂b0,1

� # # # # # # �



t = 731

� ( ( ) ( ) ) �

q̂b0,2

� # # # # # # �



t = 732

� ( ( ) ( ) ) �

q̂b0,1

� # # # # # # �



t = 733

� ( ( ) ( ) ) �

q̂b0,2

� # # # # # # �



t = 734

� ( ( ) ( ) ) �

q̂b0,1

� # # # # # # �



t = 735

� ( ( ) ( ) ) �

q̂b0,2

� # # # # # # �



t = 736

� ( ( ) ( ) ) �

q̂b0,1

� # # # # # # �



t = 737

� ( ( ) ( ) ) �

q̂b0,2

� # # # # # # �



t = 738

� ( ( ) ( ) ) �

q̂b0,1

� # # # # # # �



t = 739

� ( ( ) ( ) ) �

q̂b0

� # # # # # # �



A3. RPCA PMp

38

RPCA that accepts all well-formed parentheses

t = 0

q0,2 ( ( ) ( ) )


t = 1

(q0,1

( ) ( ) )


t = 2

( q0,2 ( ) ( ) )


t = 3

( (q0,1

) ( ) )


t = 4

( ( q0,2 ) ( ) )


t = 5

( ( )q0,1

( ) )


t = 6

( ( ) q0,2 ( ) )


t = 7

( ( ) (q0,1

) )


t = 8

( ( ) ( q0,2 ) )


t = 9

( ( ) ( )q0,1

)


t = 10

( ( ) ( ) q0,2 )


t = 11

( ( ) ( ) )q0,1


t = 12

( ( ) ( ) ) q0,2


t = 13

( ( ) ( ) ) q0,4


t = 14

( ( ) ( ) )q0,3


t = 15

( ( ) ( ) q0,4 )


t = 16

( ( ) ( )q0,3

)


t = 17

( ( ) ( q0,4 ) )


t = 18

( ( ) (q0,3

) )


t = 19

( ( ) q0,4 ( ) )


t = 20

( ( )q0,3

( ) )


t = 21

( ( q0,4 ) ( ) )


t = 22

( (q0,3

) ( ) )


t = 23

( q0,4 ( ) ( ) )


t = 24

(q0,3

( ) ( ) )


t = 25

q0,4 ( ( ) ( ) )


t = 26

q2 ( ( ) ( ) )


t = 27

(q1

( ) ( ) )


t = 28

( q2 ( ) ( ) )


t = 29

( (q1

) ( ) )


t = 30

( ( q2 ) ( ) )


t = 31

( ()xqb4

( ) )


t = 32

( ( )x qb

3( ) )


t = 33

( ( )x

(q3

) )


t = 34

( ( )x

q4 ( ) )


t = 35

( ()xq3

( ) )


t = 36

( ( q4)x

( ) )


t = 37

((xq1

)x

( ) )


t = 38

( (x

q2)x

( ) )


t = 39

( (x

)xq1

( ) )


t = 40

( (x

)x

q2 ( ) )


t = 41

( (x

)x

(q1

) )


t = 42

( (x

)x

( q2 ) )


t = 43

( (x

)x

()xqb4

)


t = 44

( (x

)x

( )x qb

3)


t = 45

( (x

)x

( )x

)q3


t = 46

( (x

)x

( )x

q4 )


t = 47

( (x

)x

()xq3

)


t = 48

( (x

)x

( q4)x

)


t = 49

( (x

)x

(xq1

)x

)


t = 50

( (x

)x

(x

q2)x

)


t = 51

( (x

)x

(x

)xq1

)


t = 52

( (x

)x

(x

)x

q2 )


t = 53

( (x

)x

(x

)x

)xqb4


t = 54

( (x

)x

(x

)x

)x qb

3


t = 55

( (x

)x

(x

)x

)x

q4


t = 56

( (x

)x

(x

)x

)xq3


t = 57

( (x

)x

(x

)x

q4)x


t = 58

( (x

)x

(x

)xq3

)x


t = 59

( (x

)x

(x

q4)x

)x


t = 60

( (x

)x

(xq3

)x

)x


t = 61

( (x

)x

q4(x

)x

)x


t = 62

( (x

)xq3

(x

)x

)x


t = 63

( (x

q4)x

(x

)x

)x


t = 64

((xq3

)x

(x

)x

)x


t = 65

( q4(x

)x

(x

)x

)x


t = 66

(xq1

(x

)x

(x

)x

)x


t = 67

(x

q2(x

)x

(x

)x

)x


t = 68

(x

(

qb4

)x

(x

)x

)x


t = 69

(x

( qb3

)x

(x

)x

)x


t = 70

(x

()

qb2

(x

)x

)x


t = 71

(x

( qb1

) (x

)x

)x


t = 72

(x

(

qb2

) (x

)x

)x


t = 73

(x qb

1( ) (

x)x

)x


t = 74

(xqb2

( ) (x

)x

)x


t = 75

qb1

(x

( ) (x

)x

)x


t = 76

qb0,3

(x

( ) (x

)x

)x


t = 77

(x

q0,3

( ) (x

)x

)x


t = 78

q0,4(x

( ) (x

)x

)x


t = 79

q2(x

( ) (x

)x

)x


t = 80

(

qb4

( ) (x

)x

)x


t = 81

( qb3

( ) (x

)x

)x


t = 82

( (q3

) (x

)x

)x


t = 83

( q4 ( ) (x

)x

)x


t = 84

(xq1

( ) (x

)x

)x


t = 85

(x

q2 ( ) (x

)x

)x


t = 86

(x

(q1

) (x

)x

)x


t = 87

(x

( q2 ) (x

)x

)x


t = 88

(x

()xqb4

(x

)x

)x


t = 89

(x

( )x qb

3(x

)x

)x


t = 90

(x

( )x

(xqb4

)x

)x


t = 91

(x

( )x

(x qb

3)x

)x


t = 92

(x

( )x

(x

)

qb2

)x


t = 93

(x

( )x

(x qb

1) )

x


t = 94

(x

( )x

(xqb2

) )x


t = 95

(x

( )x qb

1(x

) )x


t = 96

(x

()xqb2

(x

) )x


t = 97

(x

( qb1

)x

(x

) )x


t = 98

(x

(

qb2

)x

(x

) )x


t = 99

(x qb

1( )

x(x

) )x


t = 100

(xqb2

( )x

(x

) )x


t = 101

qb1

(x

( )x

(x

) )x


t = 102

qb0,3

(x

( )x

(x

) )x


t = 103

(x

q0,3

( )x

(x

) )x


t = 104

q0,4(x

( )x

(x

) )x


t = 105

q2(x

( )x

(x

) )x


t = 106

(

qb4

( )x

(x

) )x


t = 107

( qb3

( )x

(x

) )x


t = 108

( (q3

)x

(x

) )x


t = 109

( q4 ( )x

(x

) )x


t = 110

(xq1

( )x

(x

) )x


t = 111

(x

q2 ( )x

(x

) )x


t = 112

(x

(q1

)x

(x

) )x


t = 113

(x

( q2)x

(x

) )x


t = 114

(x

()xq1

(x

) )x


t = 115

(x

( )x

q2(x

) )x


t = 116

(x

( )x

(

qb4

) )x


t = 117

(x

( )x

( qb3

) )x


t = 118

(x

( )x

( )q3

)x


t = 119

(x

( )x

( q4 ) )x


t = 120

(x

( )x

(xq1

) )x


t = 121

(x

( )x

(x

q2 ) )x


t = 122

(x

( )x

(x

)xqb4

)x


t = 123

(x

( )x

(x

)x qb

3)x


t = 124

(x

( )x

(x

)x

)

qb2


t = 125

(x

( )x

(x

)x qb

1)


t = 126

(x

( )x

(x

)xqb2

)


t = 127

(x

( )x

(x qb

1)x

)


t = 128

(x

( )x

(xqb2

)x

)


t = 129

(x

( )x qb

1(x

)x

)


t = 130

(x

()xqb2

(x

)x

)


t = 131

(x

( qb1

)x

(x

)x

)


t = 132

(x

(

qb2

)x

(x

)x

)


t = 133

(x qb

1( )

x(x

)x

)


t = 134

(xqb2

( )x

(x

)x

)


t = 135

qb1

(x

( )x

(x

)x

)


t = 136

qb0,3

(x

( )x

(x

)x

)


t = 137

(x

q0,3

( )x

(x

)x

)


t = 138

q0,4(x

( )x

(x

)x

)


t = 139

q2(x

( )x

(x

)x

)


t = 140

(

qb4

( )x

(x

)x

)


t = 141

( qb3

( )x

(x

)x

)


t = 142

( (q3

)x

(x

)x

)


t = 143

( q4 ( )x

(x

)x

)


t = 144

(xq1

( )x

(x

)x

)


t = 145

(x

q2 ( )x

(x

)x

)


t = 146

(x

(q1

)x

(x

)x

)


t = 147

(x

( q2)x

(x

)x

)


t = 148

(x

()xq1

(x

)x

)


t = 149

(x

( )x

q2(x

)x

)


t = 150

(x

( )x

(

qb4

)x

)


t = 151

(x

( )x

( qb3

)x

)


t = 152

(x

( )x

()

qb2

)


t = 153

(x

( )x

( qb1

) )


t = 154

(x

( )x

(

qb2

) )


t = 155

(x

( )x qb

1( ) )


t = 156

(x

()xqb2

( ) )


t = 157

(x

( qb1

)x

( ) )


t = 158

(x

(

qb2

)x

( ) )


t = 159

(x qb

1( )

x( ) )


t = 160

(xqb2

( )x

( ) )


t = 161

qb1

(x

( )x

( ) )


t = 162

qb0,3

(x

( )x

( ) )


t = 163

(x

q0,3

( )x

( ) )


t = 164

q0,4(x

( )x

( ) )


t = 165

q2(x

( )x

( ) )


t = 166

(

qb4

( )x

( ) )


t = 167

( qb3

( )x

( ) )


t = 168

( (q3

)x

( ) )


t = 169

( q4 ( )x

( ) )


t = 170

(xq1

( )x

( ) )


t = 171

(x

q2 ( )x

( ) )


t = 172

(x

(q1

)x

( ) )


t = 173

(x

( q2)x

( ) )


t = 174

(x

()xq1

( ) )


t = 175

(x

( )x

q2 ( ) )


t = 176

(x

( )x

(q1

) )


t = 177

(x

( )x

( q2 ) )


t = 178

(x

( )x

()xqb4

)


t = 179

(x

( )x

( )x qb

3)


t = 180

(x

( )x

( )x

)q3


t = 181

(x

( )x

( )x

q4 )


t = 182

(x

( )x

()xq3

)


t = 183

(x

( )x

( q4)x

)


t = 184

(x

( )x

(xq1

)x

)


t = 185

(x

( )x

(x

q2)x

)


t = 186

(x

( )x

(x

)xq1

)


t = 187

(x

( )x

(x

)x

q2 )


t = 188

(x

( )x

(x

)x

)xqb4


t = 189

(x

( )x

(x

)x

)x qb

3


t = 190

(x

( )x

(x

)x

)x

q4


t = 191

(x

( )x

(x

)x

)xq3


t = 192

(x

( )x

(x

)x

q4)x


t = 193

(x

( )x

(x

)xq3

)x


t = 194

(x

( )x

(x

q4)x

)x


t = 195

(x

( )x

(xq3

)x

)x


t = 196

(x

( )x

q4(x

)x

)x


t = 197

(x

()xq3

(x

)x

)x


t = 198

(x

( q4)x

(x

)x

)x


t = 199

(x

(xq1

)x

(x

)x

)x


t = 200

(x

(x

q2)x

(x

)x

)x


t = 201

(x

(x

)xq1

(x

)x

)x


t = 202

(x

(x

)x

q2(x

)x

)x


t = 203

(x

(x

)x

(

qb4

)x

)x


t = 204

(x

(x

)x

( qb3

)x

)x


t = 205

(x

(x

)x

()

qb2

)x


t = 206

(x

(x

)x

( qb1

) )x


t = 207

(x

(x

)x

(

qb2

) )x


t = 208

(x

(x

)x qb

1( ) )

x


t = 209

(x

(x

)xqb2

( ) )x


t = 210

(x

(x qb

1)x

( ) )x


t = 211

(x

(xqb2

)x

( ) )x


t = 212

(x qb

1(x

)x

( ) )x


t = 213

(xqb2

(x

)x

( ) )x


t = 214

qb1

(x

(x

)x

( ) )x


t = 215

qb0,3

(x

(x

)x

( ) )x


t = 216

(x

q0,3

(x

)x

( ) )x


t = 217

q0,4(x

(x

)x

( ) )x


t = 218

q2(x

(x

)x

( ) )x


t = 219

(

qb4

(x

)x

( ) )x


t = 220

( qb3

(x

)x

( ) )x


t = 221

((xqb4

)x

( ) )x


t = 222

( (x qb

3)x

( ) )x


t = 223

( (x

)

qb2

( ) )x


t = 224

( (x qb

1) ( ) )

x


t = 225

((xqb2

) ( ) )x


t = 226

( qb1

(x

) ( ) )x


t = 227

(

qb2

(x

) ( ) )x


t = 228

qb1

( (x

) ( ) )x


t = 229

qb0,3

( (x

) ( ) )x


t = 230

(

qb0,4

(x

) ( ) )x


t = 231

( qb0,3

(x

) ( ) )x


t = 232

((x

q0,3

) ( ) )x


t = 233

( q0,4(x

) ( ) )x


t = 234

(q0,3

(x

) ( ) )x


t = 235

q0,4 ( (x

) ( ) )x


t = 236

q2 ( (x

) ( ) )x


t = 237

(q1

(x

) ( ) )x


t = 238

( q2(x

) ( ) )x


t = 239

((

qb4

) ( ) )x


t = 240

( ( qb3

) ( ) )x


t = 241

( ( )q3

( ) )x


t = 242

( ( q4 ) ( ) )x


t = 243

((xq1

) ( ) )x


t = 244

( (x

q2 ) ( ) )x


t = 245

( (x

)xqb4

( ) )x


t = 246

( (x

)x qb

3( ) )

x


t = 247

( (x

)x

(q3

) )x


t = 248

( (x

)x

q4 ( ) )x


t = 249

( (x

)xq3

( ) )x


t = 250

( (x

q4)x

( ) )x


t = 251

((xq3

)x

( ) )x


t = 252

( q4(x

)x

( ) )x


t = 253

(xq1

(x

)x

( ) )x


t = 254

(x

q2(x

)x

( ) )x


t = 255

(x

(

qb4

)x

( ) )x


t = 256

(x

( qb3

)x

( ) )x


t = 257

(x

()

qb2

( ) )x


t = 258

(x

( qb1

) ( ) )x


t = 259

(x

(

qb2

) ( ) )x


t = 260

(x qb

1( ) ( ) )

x


t = 261

(xqb2

( ) ( ) )x


t = 262

qb1

(x

( ) ( ) )x


t = 263

qb0,3

(x

( ) ( ) )x


t = 264

(x

q0,3

( ) ( ) )x


t = 265

q0,4(x

( ) ( ) )x


t = 266

q2(x

( ) ( ) )x


t = 267

(

qb4

( ) ( ) )x


t = 268

( qb3

( ) ( ) )x


t = 269

( (q3

) ( ) )x


t = 270

( q4 ( ) ( ) )x


t = 271

(xq1

( ) ( ) )x


t = 272

(x

q2 ( ) ( ) )x


t = 273

(x

(q1

) ( ) )x


t = 274

(x

( q2 ) ( ) )x


t = 275

(x

()xqb4

( ) )x


t = 276

(x

( )x qb

3( ) )

x


t = 277

(x

( )x

(q3

) )x


t = 278

(x

( )x

q4 ( ) )x


t = 279

(x

()xq3

( ) )x


t = 280

(x

( q4)x

( ) )x


t = 281

(x

(xq1

)x

( ) )x


t = 282

(x

(x

q2)x

( ) )x


t = 283

(x

(x

)xq1

( ) )x


t = 284

(x

(x

)x

q2 ( ) )x


t = 285

(x

(x

)x

(q1

) )x


t = 286

(x

(x

)x

( q2 ) )x


t = 287

(x

(x

)x

()xqb4

)x


t = 288

(x

(x

)x

( )x qb

3)x


t = 289

(x

(x

)x

( )x

)

qb2


t = 290

(x

(x

)x

( )x qb

1)


t = 291

(x

(x

)x

()xqb2

)


t = 292

(x

(x

)x

( qb1

)x

)


t = 293

(x

(x

)x

(

qb2

)x

)


t = 294

(x

(x

)x qb

1( )

x)


t = 295

(x

(x

)xqb2

( )x

)


t = 296

(x

(x qb

1)x

( )x

)


t = 297

(x

(xqb2

)x

( )x

)


t = 298

(x qb

1(x

)x

( )x

)


t = 299

(xqb2

(x

)x

( )x

)


t = 300

qb1

(x

(x

)x

( )x

)


t = 301

qb0,3

(x

(x

)x

( )x

)


t = 302

(x

q0,3

(x

)x

( )x

)


t = 303

q0,4(x

(x

)x

( )x

)


t = 304

q2(x

(x

)x

( )x

)


t = 305

(

qb4

(x

)x

( )x

)


t = 306

( qb3

(x

)x

( )x

)


t = 307

((xqb4

)x

( )x

)


t = 308

( (x qb

3)x

( )x

)


t = 309

( (x

)

qb2

( )x

)


t = 310

( (x qb

1) ( )

x)


t = 311

((xqb2

) ( )x

)


t = 312

( qb1

(x

) ( )x

)


t = 313

(

qb2

(x

) ( )x

)


t = 314

qb1

( (x

) ( )x

)


t = 315

qb0,3

( (x

) ( )x

)


t = 316

(

qb0,4

(x

) ( )x

)


t = 317

( qb0,3

(x

) ( )x

)


t = 318

((x

q0,3

) ( )x

)


t = 319

( q0,4(x

) ( )x

)


t = 320

(q0,3

(x

) ( )x

)


t = 321

q0,4 ( (x

) ( )x

)


t = 322

q2 ( (x

) ( )x

)


t = 323

(q1

(x

) ( )x

)


t = 324

( q2(x

) ( )x

)


t = 325

((

qb4

) ( )x

)


t = 326

( ( qb3

) ( )x

)


t = 327

( ( )q3

( )x

)


t = 328

( ( q4 ) ( )x

)


t = 329

((xq1

) ( )x

)


t = 330

( (x

q2 ) ( )x

)


t = 331

( (x

)xqb4

( )x

)


t = 332

( (x

)x qb

3( )

x)


t = 333

( (x

)x

(q3

)x

)


t = 334

( (x

)x

q4 ( )x

)


t = 335

( (x

)xq3

( )x

)


t = 336

( (x

q4)x

( )x

)


t = 337

((xq3

)x

( )x

)


t = 338

( q4(x

)x

( )x

)


t = 339

(xq1

(x

)x

( )x

)


t = 340

(x

q2(x

)x

( )x

)


t = 341

(x

(

qb4

)x

( )x

)


t = 342

(x

( qb3

)x

( )x

)


t = 343

(x

()

qb2

( )x

)


t = 344

(x

( qb1

) ( )x

)


t = 345

(x

(

qb2

) ( )x

)


t = 346

(x qb

1( ) ( )

x)


t = 347

(xqb2

( ) ( )x

)


t = 348

qb1

(x

( ) ( )x

)


t = 349

qb0,3

(x

( ) ( )x

)


t = 350

(x

q0,3

( ) ( )x

)


t = 351

q0,4(x

( ) ( )x

)


t = 352

q2(x

( ) ( )x

)


t = 353

(

qb4

( ) ( )x

)


t = 354

( qb3

( ) ( )x

)


t = 355

( (q3

) ( )x

)


t = 356

( q4 ( ) ( )x

)


t = 357

(xq1

( ) ( )x

)


t = 358

(x

q2 ( ) ( )x

)


t = 359

(x

(q1

) ( )x

)


t = 360

(x

( q2 ) ( )x

)


t = 361

(x

()xqb4

( )x

)


t = 362

(x

( )x qb

3( )

x)


t = 363

(x

( )x

(q3

)x

)


t = 364

(x

( )x

q4 ( )x

)


t = 365

(x

()xq3

( )x

)


t = 366

(x

( q4)x

( )x

)


t = 367

(x

(xq1

)x

( )x

)


t = 368

(x

(x

q2)x

( )x

)


t = 369

(x

(x

)xq1

( )x

)


t = 370

(x

(x

)x

q2 ( )x

)


t = 371

(x

(x

)x

(q1

)x

)


t = 372

(x

(x

)x

( q2)x

)


t = 373

(x

(x

)x

()xq1

)


t = 374

(x

(x

)x

( )x

q2 )


t = 375

(x

(x

)x

( )x

)xqb4


t = 376

(x

(x

)x

( )x

)x qb

3


t = 377

(x

(x

)x

( )x

)x

q4


t = 378

(x

(x

)x

( )x

)xq3


t = 379

(x

(x

)x

( )x

q4)x


t = 380

(x

(x

)x

()xq3

)x


t = 381

(x

(x

)x

( q4)x

)x


t = 382

(x

(x

)x

(xq1

)x

)x


t = 383

(x

(x

)x

(x

q2)x

)x


t = 384

(x

(x

)x

(x

)xq1

)x


t = 385

(x

(x

)x

(x

)x

q2)x


t = 386

(x

(x

)x

(x

)x

)xq1


t = 387

(x

(x

)x

(x

)x

)x

q2


t = 388

(x

(x

)x

(x

)x

)x

q6


t = 389

(x

(x

)x

(x

)x

)xq5


t = 390

(x

(x

)x

(x

)x

q6)x


t = 391

(x

(x

)x

(x

)xq5

)x


t = 392

(x

(x

)x

(x

q6)x

)x


t = 393

(x

(x

)x

(xq5

)x

)x


t = 394

(x

(x

)x

q6(x

)x

)x


t = 395

(x

(x

)xq5

(x

)x

)x


t = 396

(x

(x

q6)x

(x

)x

)x


t = 397

(x

(xq5

)x

(x

)x

)x


t = 398

(x

q6(x

)x

(x

)x

)x


t = 399

(xq5

(x

)x

(x

)x

)x


t = 400

q6(x

(x

)x

(x

)x

)x


t = 401

q̂b5

(x

(x

)x

(x

)x

)x



t = 402

(xq̂b6

(x

)x

(x

)x

)x


t = 403

(x q̂b

5(x

)x

(x

)x

)x


t = 404

(x

(xq̂b6

)x

(x

)x

)x


t = 405

(x

(x q̂b

5)x

(x

)x

)x


t = 406

(x

(x

)xq̂b6

(x

)x

)x


t = 407

(x

(x

)x q̂b

5(x

)x

)x


t = 408

(x

(x

)x

(xq̂b6

)x

)x


t = 409

(x

(x

)x

(x q̂b

5)x

)x


t = 410

(x

(x

)x

(x

)xq̂b6

)x


t = 411

(x

(x

)x

(x

)x q̂b

5)x


t = 412

(x

(x

)x

(x

)x

)xq̂b6


t = 413

(x

(x

)x

(x

)x

)x q̂b

5


t = 414

(x

(x

)x

(x

)x

)x q̂b

1


t = 415

(x

(x

)x

(x

)x

)xq̂b2


t = 416

(x

(x

)x

(x

)x q̂b

1)x


t = 417

(x

(x

)x

(x

)xq̂b2

)x


t = 418

(x

(x

)x

(x q̂b

1)x

)x


t = 419

(x

(x

)x

(xq̂b2

)x

)x


t = 420

(x

(x

)x q̂b

1(x

)x

)x


t = 421

(x

(x

)xq̂b2

(x

)x

)x


t = 422

(x

(x q̂b

1)x

(x

)x

)x


t = 423

(x

(xq̂b2

)x

(x

)x

)x


t = 424

(x q̂b

1(x

)x

(x

)x

)x


t = 425

(xq̂b2

(x

)x

(x

)x

)x


t = 426

q̂b1

(x

(x

)x

(x

)x

)x


t = 427

q̂b0,3

(x

(x

)x

(x

)x

)x


t = 428

(x

q̂0,3

(x

)x

(x

)x

)x


t = 429

q̂0,4(x

(x

)x

(x

)x

)x


t = 430

q̂2(x

(x

)x

(x

)x

)x


t = 431

(

q̂b4

(x

)x

(x

)x

)x


t = 432

( q̂b3

(x

)x

(x

)x

)x


t = 433

((xq̂b4

)x

(x

)x

)x


t = 434

( (x q̂b

3)x

(x

)x

)x


t = 435

( (x

)

q̂b2

(x

)x

)x


t = 436

( (x q̂b

1) (

x)x

)x


t = 437

((xq̂b2

) (x

)x

)x


t = 438

( q̂b1

(x

) (x

)x

)x


t = 439

(

q̂b2

(x

) (x

)x

)x


t = 440

q̂b1

( (x

) (x

)x

)x


t = 441

q̂b0,3

( (x

) (x

)x

)x


t = 442

(

q̂b0,4

(x

) (x

)x

)x


t = 443

( q̂b0,3

(x

) (x

)x

)x


t = 444

((x

q̂0,3

) (x

)x

)x


t = 445

( q̂0,4(x

) (x

)x

)x


t = 446

(

q̂0,3

(x

) (x

)x

)x


t = 447

q̂0,4 ( (x

) (x

)x

)x


t = 448

q̂2 ( (x

) (x

)x

)x


t = 449

(

q̂1

(x

) (x

)x

)x


t = 450

( q̂2(x

) (x

)x

)x


t = 451

((

q̂b4

) (x

)x

)x


t = 452

( ( q̂b3

) (x

)x

)x


t = 453

( ( )

q̂3

(x

)x

)x


t = 454

( ( q̂4 ) (x

)x

)x


t = 455

((xq̂1

) (x

)x

)x


t = 456

( (x q̂2 ) (

x)x

)x


t = 457

( (x

)xq̂b4

(x

)x

)x


t = 458

( (x

)x q̂b

3(x

)x

)x


t = 459

( (x

)x

(xq̂b4

)x

)x


t = 460

( (x

)x

(x q̂b

3)x

)x


t = 461

( (x

)x

(x

)

q̂b2

)x


t = 462

( (x

)x

(x q̂b

1) )

x


t = 463

( (x

)x

(xq̂b2

) )x


t = 464

( (x

)x q̂b

1(x

) )x


t = 465

( (x

)xq̂b2

(x

) )x


t = 466

( (x q̂b

1)x

(x

) )x


t = 467

((xq̂b2

)x

(x

) )x


t = 468

( q̂b1

(x

)x

(x

) )x


t = 469

(

q̂b2

(x

)x

(x

) )x


t = 470

q̂b1

( (x

)x

(x

) )x


t = 471

q̂b0,3

( (x

)x

(x

) )x


t = 472

(

q̂b0,4

(x

)x

(x

) )x


t = 473

( q̂b0,3

(x

)x

(x

) )x


t = 474

((x

q̂0,3

)x

(x

) )x


t = 475

( q̂0,4(x

)x

(x

) )x


t = 476

(

q̂0,3

(x

)x

(x

) )x


t = 477

q̂0,4 ( (x

)x

(x

) )x


t = 478

q̂2 ( (x

)x

(x

) )x


t = 479

(

q̂1

(x

)x

(x

) )x


t = 480

( q̂2(x

)x

(x

) )x


t = 481

((

q̂b4

)x

(x

) )x


t = 482

( ( q̂b3

)x

(x

) )x


t = 483

( ()

q̂b2

(x

) )x


t = 484

( ( q̂b1

) (x

) )x


t = 485

((

q̂b2

) (x

) )x


t = 486

( q̂b1

( ) (x

) )x


t = 487

(

q̂b2

( ) (x

) )x


t = 488

q̂b1

( ( ) (x

) )x


t = 489

q̂b0,3

( ( ) (x

) )x


t = 490

(

q̂b0,4

( ) (x

) )x


t = 491

( q̂b0,3

( ) (x

) )x


t = 492

((

q̂b0,4

) (x

) )x


t = 493

( ( q̂b0,3

) (x

) )x


t = 494

( ()

q̂b0,4

(x

) )x


t = 495

( ( ) q̂b0,3

(x

) )x


t = 496

( ( )(x

q̂0,3

) )x


t = 497

( ( ) q̂0,4(x

) )x


t = 498

( ( )

q̂0,3

(x

) )x


t = 499

( ( q̂0,4 ) (x

) )x


t = 500

( (

q̂0,3

) (x

) )x


t = 501

( q̂0,4 ( ) (x

) )x


t = 502

(

q̂0,3

( ) (x

) )x


t = 503

q̂0,4 ( ( ) (x

) )x


t = 504

q̂2 ( ( ) (x

) )x


t = 505

(

q̂1

( ) (x

) )x


t = 506

( q̂2 ( ) (x

) )x


t = 507

( (

q̂1

) (x

) )x


t = 508

( ( q̂2 ) (x

) )x


t = 509

( ()xq̂b4

(x

) )x


t = 510

( ( )x q̂b

3(x

) )x


t = 511

( ( )x

(xq̂b4

) )x


t = 512

( ( )x

(x q̂b

3) )

x


t = 513

( ( )x

(x

)

q̂3

)x


t = 514

( ( )x

(x q̂4 ) )

x


t = 515

( ( )x

(xq̂3

) )x


t = 516

( ( )x q̂4

(x

) )x


t = 517

( ()xq̂3

(x

) )x


t = 518

( ( q̂4)x

(x

) )x


t = 519

((xq̂1

)x

(x

) )x


t = 520

( (x q̂2

)x

(x

) )x


t = 521

( (x

)xq̂1

(x

) )x


t = 522

( (x

)x q̂2

(x

) )x


t = 523

( (x

)x

(

q̂b4

) )x


t = 524

( (x

)x

( q̂b3

) )x


t = 525

( (x

)x

( )

q̂3

)x


t = 526

( (x

)x

( q̂4 ) )x


t = 527

( (x

)x

(xq̂1

) )x


t = 528

( (x

)x

(x q̂2 ) )

x


t = 529

( (x

)x

(x

)xq̂b4

)x


t = 530

( (x

)x

(x

)x q̂b

3)x


t = 531

( (x

)x

(x

)x

)

q̂b2


t = 532

( (x

)x

(x

)x q̂b

1)


t = 533

( (x

)x

(x

)xq̂b2

)


t = 534

( (x

)x

(x q̂b

1)x

)


t = 535

( (x

)x

(xq̂b2

)x

)


t = 536

( (x

)x q̂b

1(x

)x

)


t = 537

( (x

)xq̂b2

(x

)x

)


t = 538

( (x q̂b

1)x

(x

)x

)


t = 539

((xq̂b2

)x

(x

)x

)


t = 540

( q̂b1

(x

)x

(x

)x

)


t = 541

(

q̂b2

(x

)x

(x

)x

)


t = 542

q̂b1

( (x

)x

(x

)x

)


t = 543

q̂b0,3

( (x

)x

(x

)x

)


t = 544

(

q̂b0,4

(x

)x

(x

)x

)


t = 545

( q̂b0,3

(x

)x

(x

)x

)


t = 546

((x

q̂0,3

)x

(x

)x

)


t = 547

( q̂0,4(x

)x

(x

)x

)


t = 548

(

q̂0,3

(x

)x

(x

)x

)


t = 549

q̂0,4 ( (x

)x

(x

)x

)


t = 550

q̂2 ( (x

)x

(x

)x

)


t = 551

(

q̂1

(x

)x

(x

)x

)


t = 552

( q̂2(x

)x

(x

)x

)


t = 553

((

q̂b4

)x

(x

)x

)


t = 554

( ( q̂b3

)x

(x

)x

)


t = 555

( ()

q̂b2

(x

)x

)


t = 556

( ( q̂b1

) (x

)x

)


t = 557

((

q̂b2

) (x

)x

)


t = 558

( q̂b1

( ) (x

)x

)


t = 559

(

q̂b2

( ) (x

)x

)


t = 560

q̂b1

( ( ) (x

)x

)


t = 561

q̂b0,3

( ( ) (x

)x

)


t = 562

(

q̂b0,4

( ) (x

)x

)


t = 563

( q̂b0,3

( ) (x

)x

)


t = 564

((

q̂b0,4

) (x

)x

)


t = 565

( ( q̂b0,3

) (x

)x

)


t = 566

( ()

q̂b0,4

(x

)x

)


t = 567

( ( ) q̂b0,3

(x

)x

)


t = 568

( ( )(x

q̂0,3

)x

)


t = 569

( ( ) q̂0,4(x

)x

)


t = 570

( ( )

q̂0,3

(x

)x

)


t = 571

( ( q̂0,4 ) (x

)x

)


t = 572

( (

q̂0,3

) (x

)x

)


t = 573

( q̂0,4 ( ) (x

)x

)


t = 574

(

q̂0,3

( ) (x

)x

)


t = 575

q̂0,4 ( ( ) (x

)x

)


t = 576

q̂2 ( ( ) (x

)x

)


t = 577

(

q̂1

( ) (x

)x

)


t = 578

( q̂2 ( ) (x

)x

)


t = 579

( (

q̂1

) (x

)x

)


t = 580

( ( q̂2 ) (x

)x

)


t = 581

( ()xq̂b4

(x

)x

)


t = 582

( ( )x q̂b

3(x

)x

)


t = 583

( ( )x

(xq̂b4

)x

)


t = 584

( ( )x

(x q̂b

3)x

)


t = 585

( ( )x

(x

)

q̂b2

)


t = 586

( ( )x

(x q̂b

1) )


t = 587

( ( )x

(xq̂b2

) )


t = 588

( ( )x q̂b

1(x

) )


t = 589

( ()xq̂b2

(x

) )


t = 590

( ( q̂b1

)x

(x

) )


t = 591

((

q̂b2

)x

(x

) )


t = 592

( q̂b1

( )x

(x

) )


t = 593

(

q̂b2

( )x

(x

) )


t = 594

q̂b1

( ( )x

(x

) )


t = 595

q̂b0,3

( ( )x

(x

) )


t = 596

(

q̂b0,4

( )x

(x

) )


t = 597

( q̂b0,3

( )x

(x

) )


t = 598

((

q̂b0,4

)x

(x

) )


t = 599

( ( q̂b0,3

)x

(x

) )


t = 600

( ()x

q̂0,3

(x

) )


t = 601

( ( q̂0,4)x

(x

) )


t = 602

( (

q̂0,3

)x

(x

) )


t = 603

( q̂0,4 ( )x

(x

) )


t = 604

(

q̂0,3

( )x

(x

) )


t = 605

q̂0,4 ( ( )x

(x

) )


t = 606

q̂2 ( ( )x

(x

) )


t = 607

(

q̂1

( )x

(x

) )


t = 608

( q̂2 ( )x

(x

) )


t = 609

( (

q̂1

)x

(x

) )


t = 610

( ( q̂2)x

(x

) )


t = 611

( ()xq̂1

(x

) )


t = 612

( ( )x q̂2

(x

) )


t = 613

( ( )x

(

q̂b4

) )


t = 614

( ( )x

( q̂b3

) )


t = 615

( ( )x

( )

q̂3

)


t = 616

( ( )x

( q̂4 ) )


t = 617

( ( )x

(xq̂1

) )


t = 618

( ( )x

(x q̂2 ) )


t = 619

( ( )x

(x

)xq̂b4

)


t = 620

( ( )x

(x

)x q̂b

3)


t = 621

( ( )x

(x

)x

)

q̂3


t = 622

( ( )x

(x

)x q̂4 )


t = 623

( ( )x

(x

)xq̂3

)


t = 624

( ( )x

(x q̂4

)x

)


t = 625

( ( )x

(xq̂3

)x

)


t = 626

( ( )x q̂4

(x

)x

)


t = 627

( ()xq̂3

(x

)x

)


t = 628

( ( q̂4)x

(x

)x

)


t = 629

((xq̂1

)x

(x

)x

)


t = 630

( (x q̂2

)x

(x

)x

)


t = 631

( (x

)xq̂1

(x

)x

)


t = 632

( (x

)x q̂2

(x

)x

)


t = 633

( (x

)x

(

q̂b4

)x

)


t = 634

( (x

)x

( q̂b3

)x

)


t = 635

( (x

)x

()

q̂b2

)


t = 636

( (x

)x

( q̂b1

) )


t = 637

( (x

)x

(

q̂b2

) )


t = 638

( (x

)x q̂b

1( ) )


t = 639

( (x

)xq̂b2

( ) )


t = 640

( (x q̂b

1)x

( ) )


t = 641

((xq̂b2

)x

( ) )


t = 642

( q̂b1

(x

)x

( ) )


t = 643

(

q̂b2

(x

)x

( ) )


t = 644

q̂b1

( (x

)x

( ) )


t = 645

q̂b0,3

( (x

)x

( ) )


t = 646

(

q̂b0,4

(x

)x

( ) )


t = 647

( q̂b0,3

(x

)x

( ) )


t = 648

((x

q̂0,3

)x

( ) )


t = 649

( q̂0,4(x

)x

( ) )


t = 650

(

q̂0,3

(x

)x

( ) )


t = 651

q̂0,4 ( (x

)x

( ) )


t = 652

q̂2 ( (x

)x

( ) )


t = 653

(

q̂1

(x

)x

( ) )


t = 654

( q̂2(x

)x

( ) )


t = 655

((

q̂b4

)x

( ) )


t = 656

( ( q̂b3

)x

( ) )


t = 657

( ()

q̂b2

( ) )


t = 658

( ( q̂b1

) ( ) )


t = 659

((

q̂b2

) ( ) )


t = 660

( q̂b1

( ) ( ) )


t = 661

(

q̂b2

( ) ( ) )


t = 662

q̂b1

( ( ) ( ) )


t = 663

q̂b0,3

( ( ) ( ) )


t = 664

(

q̂b0,4

( ) ( ) )


t = 665

( q̂b0,3

( ) ( ) )


t = 666

((

q̂b0,4

) ( ) )


t = 667

( ( q̂b0,3

) ( ) )


t = 668

( ()

q̂b0,4

( ) )


t = 669

( ( ) q̂b0,3

( ) )


t = 670

( ( )(

q̂b0,4

) )


t = 671

( ( ) ( q̂b0,3

) )


t = 672

( ( ) ()

q̂b0,4

)


t = 673

( ( ) ( ) q̂b0,3

)


t = 674

( ( ) ( ))

q̂b0,4


t = 675

( ( ) ( ) ) q̂b0,3


t = 676

( ( ) ( ) ) q̂b0,1


t = 677

( ( ) ( ))

q̂b0,2


t = 678

( ( ) ( ) q̂b0,1

)


t = 679

( ( ) ()

q̂b0,2

)


t = 680

( ( ) ( q̂b0,1

) )


t = 681

( ( )(

q̂b0,2

) )


t = 682

( ( ) q̂b0,1

( ) )


t = 683

( ()

q̂b0,2

( ) )


t = 684

( ( q̂b0,1

) ( ) )


t = 685

((

q̂b0,2

) ( ) )


t = 686

( q̂b0,1

( ) ( ) )


t = 687

(

q̂b0,2

( ) ( ) )


t = 688

q̂b0,1

( ( ) ( ) )



t = 689

q̂0,2 ( ( ) ( ) )


t = 690

(

q̂0,1

( ) ( ) )


t = 691

( q̂0,2 ( ) ( ) )


t = 692

( (

q̂0,1

) ( ) )


t = 693

( ( q̂0,2 ) ( ) )


t = 694

( ( )

q̂0,1

( ) )


t = 695

( ( ) q̂0,2 ( ) )


t = 696

( ( ) (

q̂0,1

) )


t = 697

( ( ) ( q̂0,2 ) )


t = 698

( ( ) ( )

q̂0,1

)


t = 699

( ( ) ( ) q̂0,2 )


t = 700

( ( ) ( ) )

q̂0,1


t = 701

( ( ) ( ) ) q̂0,2


t = 702

( ( ) ( ) ) q̂0,4


t = 703

( ( ) ( ) )

q̂0,3


t = 704

( ( ) ( ) q̂0,4 )


t = 705

( ( ) ( )

q̂0,3

)


t = 706

( ( ) ( q̂0,4 ) )


t = 707

( ( ) (

q̂0,3

) )


t = 708

( ( ) q̂0,4 ( ) )


t = 709

( ( )

q̂0,3

( ) )


t = 710

( ( q̂0,4 ) ( ) )


t = 711

( (

q̂0,3

) ( ) )


t = 712

( q̂0,4 ( ) ( ) )


t = 713

(

q̂0,3

( ) ( ) )


t = 714

q̂0,4 ( ( ) ( ) )


t = 715

q̂2 ( ( ) ( ) )


t = 716

(

q̂1

( ) ( ) )


t = 717

( q̂2 ( ) ( ) )


t = 718

( (

q̂1

) ( ) )


t = 719

( ( q̂2 ) ( ) )


t = 720

( ()xq̂b4

( ) )


t = 721

( ( )x q̂b

3( ) )


t = 722

( ( )x

(

q̂3

) )


t = 723

( ( )x q̂4 ( ) )


t = 724

( ()xq̂3

( ) )


t = 725

( ( q̂4)x

( ) )


t = 726

((xq̂1

)x

( ) )


t = 727

( (x q̂2

)x

( ) )


t = 728

( (x

)xq̂1

( ) )


t = 729

( (x

)x q̂2 ( ) )


t = 730

( (x

)x

(

q̂1

) )


t = 731

( (x

)x

( q̂2 ) )


t = 732

( (x

)x

()xq̂b4

)


t = 733

( (x

)x

( )x q̂b

3)


t = 734

( (x

)x

( )x

)

q̂3


t = 735

( (x

)x

( )x q̂4 )


t = 736

( (x

)x

()xq̂3

)


t = 737

( (x

)x

( q̂4)x

)


t = 738

( (x

)x

(xq̂1

)x

)


t = 739

( (x

)x

(x q̂2

)x

)


t = 740

( (x

)x

(x

)xq̂1

)


t = 741

( (x

)x

(x

)x q̂2 )


t = 742

( (x

)x

(x

)x

)xq̂b4


t = 743

( (x

)x

(x

)x

)x q̂b

3


t = 744

( (x

)x

(x

)x

)x q̂4


t = 745

( (x

)x

(x

)x

)xq̂3


t = 746

( (x

)x

(x

)x q̂4

)x


t = 747

( (x

)x

(x

)xq̂3

)x


t = 748

( (x

)x

(x q̂4

)x

)x


t = 749

( (x

)x

(xq̂3

)x

)x


t = 750

( (x

)x q̂4

(x

)x

)x


t = 751

( (x

)xq̂3

(x

)x

)x


t = 752

( (x q̂4

)x

(x

)x

)x


t = 753

((xq̂3

)x

(x

)x

)x


t = 754

( q̂4(x

)x

(x

)x

)x


t = 755

(xq̂1

(x

)x

(x

)x

)x


t = 756

(x q̂2

(x

)x

(x

)x

)x


t = 757

(x

(

q̂b4

)x

(x

)x

)x


t = 758

(x

( q̂b3

)x

(x

)x

)x


t = 759

(x

()

q̂b2

(x

)x

)x


t = 760

(x

( q̂b1

) (x

)x

)x


t = 761

(x

(

q̂b2

) (x

)x

)x


t = 762

(x q̂b

1( ) (

x)x

)x


t = 763

(xq̂b2

( ) (x

)x

)x


t = 764

q̂b1

(x

( ) (x

)x

)x


t = 765

q̂b0,3

(x

( ) (x

)x

)x


t = 766

(x

q̂0,3

( ) (x

)x

)x


t = 767

q̂0,4(x

( ) (x

)x

)x


t = 768

q̂2(x

( ) (x

)x

)x


t = 769

(

q̂b4

( ) (x

)x

)x


t = 770

( q̂b3

( ) (x

)x

)x


t = 771

( (

q̂3

) (x

)x

)x


t = 772

( q̂4 ( ) (x

)x

)x


t = 773

(xq̂1

( ) (x

)x

)x


t = 774

(x q̂2 ( ) (

x)x

)x


t = 775

(x

(

q̂1

) (x

)x

)x


t = 776

(x

( q̂2 ) (x

)x

)x


t = 777

(x

()xq̂b4

(x

)x

)x


t = 778

(x

( )x q̂b

3(x

)x

)x


t = 779

(x

( )x

(xq̂b4

)x

)x


t = 780

(x

( )x

(x q̂b

3)x

)x


t = 781

(x

( )x

(x

)

q̂b2

)x


t = 782

(x

( )x

(x q̂b

1) )

x


t = 783

(x

( )x

(xq̂b2

) )x


t = 784

(x

( )x q̂b

1(x

) )x


t = 785

(x

()xq̂b2

(x

) )x


t = 786

(x

( q̂b1

)x

(x

) )x


t = 787

(x

(

q̂b2

)x

(x

) )x


t = 788

(x q̂b

1( )

x(x

) )x


t = 789

(xq̂b2

( )x

(x

) )x


t = 790

q̂b1

(x

( )x

(x

) )x


t = 791

q̂b0,3

(x

( )x

(x

) )x


t = 792

(x

q̂0,3

( )x

(x

) )x


t = 793

q̂0,4(x

( )x

(x

) )x


t = 794

q̂2(x

( )x

(x

) )x


t = 795

(

q̂b4

( )x

(x

) )x


t = 796

( q̂b3

( )x

(x

) )x


t = 797

( (

q̂3

)x

(x

) )x


t = 798

( q̂4 ( )x

(x

) )x


t = 799

(xq̂1

( )x

(x

) )x


t = 800

(x q̂2 ( )

x(x

) )x


t = 801

(x

(

q̂1

)x

(x

) )x


t = 802

(x

( q̂2)x

(x

) )x


t = 803

(x

()xq̂1

(x

) )x


t = 804

(x

( )x q̂2

(x

) )x


t = 805

(x

( )x

(

q̂b4

) )x


t = 806

(x

( )x

( q̂b3

) )x


t = 807

(x

( )x

( )

q̂3

)x


t = 808

(x

( )x

( q̂4 ) )x


t = 809

(x

( )x

(xq̂1

) )x


t = 810

(x

( )x

(x q̂2 ) )

x


t = 811

(x

( )x

(x

)xq̂b4

)x


t = 812

(x

( )x

(x

)x q̂b

3)x


t = 813

(x

( )x

(x

)x

)

q̂b2


t = 814

(x

( )x

(x

)x q̂b

1)


t = 815

(x

( )x

(x

)xq̂b2

)


t = 816

(x

( )x

(x q̂b

1)x

)


t = 817

(x

( )x

(xq̂b2

)x

)


t = 818

(x

( )x q̂b

1(x

)x

)


t = 819

(x

()xq̂b2

(x

)x

)


t = 820

(x

( q̂b1

)x

(x

)x

)


t = 821

(x

(

q̂b2

)x

(x

)x

)


t = 822

(x q̂b

1( )

x(x

)x

)


t = 823

(xq̂b2

( )x

(x

)x

)


t = 824

q̂b1

(x

( )x

(x

)x

)


t = 825

q̂b0,3

(x

( )x

(x

)x

)


t = 826

(x

q̂0,3

( )x

(x

)x

)


t = 827

q̂0,4(x

( )x

(x

)x

)


t = 828

q̂2(x

( )x

(x

)x

)


t = 829

(

q̂b4

( )x

(x

)x

)


t = 830

( q̂b3

( )x

(x

)x

)


t = 831

( (

q̂3

)x

(x

)x

)


t = 832

( q̂4 ( )x

(x

)x

)


t = 833

(xq̂1

( )x

(x

)x

)


t = 834

(x q̂2 ( )

x(x

)x

)


t = 835

(x

(

q̂1

)x

(x

)x

)


t = 836

(x

( q̂2)x

(x

)x

)


t = 837

(x

()xq̂1

(x

)x

)


t = 838

(x

( )x q̂2

(x

)x

)


t = 839

(x

( )x

(

q̂b4

)x

)


t = 840

(x

( )x

( q̂b3

)x

)


t = 841

(x

( )x

()

q̂b2

)


t = 842

(x

( )x

( q̂b1

) )


t = 843

(x

( )x

(

q̂b2

) )


t = 844

(x

( )x q̂b

1( ) )


t = 845

(x

()xq̂b2

( ) )


t = 846

(x

( q̂b1

)x

( ) )


t = 847

(x

(

q̂b2

)x

( ) )


t = 848

(x q̂b

1( )

x( ) )


t = 849

(xq̂b2

( )x

( ) )


t = 850

q̂b1

(x

( )x

( ) )


t = 851

q̂b0,3

(x

( )x

( ) )


t = 852

(x

q̂0,3

( )x

( ) )


t = 853

q̂0,4(x

( )x

( ) )


t = 854

q̂2(x

( )x

( ) )


t = 855

(

q̂b4

( )x

( ) )


t = 856

( q̂b3

( )x

( ) )


t = 857

( (

q̂3

)x

( ) )


t = 858

( q̂4 ( )x

( ) )


t = 859

(xq̂1

( )x

( ) )


t = 860

(x q̂2 ( )

x( ) )


t = 861

(x

(

q̂1

)x

( ) )


t = 862

(x

( q̂2)x

( ) )


t = 863

(x

()xq̂1

( ) )


t = 864

(x

( )x q̂2 ( ) )


t = 865

(x

( )x

(

q̂1

) )


t = 866

(x

( )x

( q̂2 ) )


t = 867

(x

( )x

()xq̂b4

)


t = 868

(x

( )x

( )x q̂b

3)


t = 869

(x

( )x

( )x

)

q̂3


t = 870

(x

( )x

( )x q̂4 )


t = 871

(x

( )x

()xq̂3

)


t = 872

(x

( )x

( q̂4)x

)


t = 873

(x

( )x

(xq̂1

)x

)


t = 874

(x

( )x

(x q̂2

)x

)


t = 875

(x

( )x

(x

)xq̂1

)


t = 876

(x

( )x

(x

)x q̂2 )


t = 877

(x

( )x

(x

)x

)xq̂b4


t = 878

(x

( )x

(x

)x

)x q̂b

3


t = 879

(x

( )x

(x

)x

)x q̂4


t = 880

(x

( )x

(x

)x

)xq̂3


t = 881

(x

( )x

(x

)x q̂4

)x


t = 882

(x

( )x

(x

)xq̂3

)x


t = 883

(x

( )x

(x q̂4

)x

)x


t = 884

(x

( )x

(xq̂3

)x

)x


t = 885

(x

( )x q̂4

(x

)x

)x


t = 886

(x

()xq̂3

(x

)x

)x


t = 887

(x

( q̂4)x

(x

)x

)x


t = 888

(x

(xq̂1

)x

(x

)x

)x


t = 889

(x

(x q̂2

)x

(x

)x

)x


t = 890

(x

(x

)xq̂1

(x

)x

)x


t = 891

(x

(x

)x q̂2

(x

)x

)x


t = 892

(x

(x

)x

(

q̂b4

)x

)x


t = 893

(x

(x

)x

( q̂b3

)x

)x


t = 894

(x

(x

)x

()

q̂b2

)x


t = 895

(x

(x

)x

( q̂b1

) )x


t = 896

(x

(x

)x

(

q̂b2

) )x


t = 897

(x

(x

)x q̂b

1( ) )

x


t = 898

(x

(x

)xq̂b2

( ) )x


t = 899

(x

(x q̂b

1)x

( ) )x


t = 900

(x

(xq̂b2

)x

( ) )x


t = 901

(x q̂b

1(x

)x

( ) )x


t = 902

(xq̂b2

(x

)x

( ) )x


t = 903

q̂b1

(x

(x

)x

( ) )x


t = 904

q̂b0,3

(x

(x

)x

( ) )x


t = 905

(x

q̂0,3

(x

)x

( ) )x


t = 906

q̂0,4(x

(x

)x

( ) )x


t = 907

q̂2(x

(x

)x

( ) )x


t = 908

(

q̂b4

(x

)x

( ) )x


t = 909

( q̂b3

(x

)x

( ) )x


t = 910

((xq̂b4

)x

( ) )x


t = 911

( (x q̂b

3)x

( ) )x


t = 912

( (x

)

q̂b2

( ) )x


t = 913

( (x q̂b

1) ( ) )

x


t = 914

((xq̂b2

) ( ) )x


t = 915

( q̂b1

(x

) ( ) )x


t = 916

(

q̂b2

(x

) ( ) )x


t = 917

q̂b1

( (x

) ( ) )x


t = 918

q̂b0,3

( (x

) ( ) )x


t = 919

(

q̂b0,4

(x

) ( ) )x


t = 920

( q̂b0,3

(x

) ( ) )x


t = 921

((x

q̂0,3

) ( ) )x


t = 922

( q̂0,4(x

) ( ) )x


t = 923

(

q̂0,3

(x

) ( ) )x


t = 924

q̂0,4 ( (x

) ( ) )x


t = 925

q̂2 ( (x

) ( ) )x


t = 926

(

q̂1

(x

) ( ) )x


t = 927

( q̂2(x

) ( ) )x


t = 928

((

q̂b4

) ( ) )x


t = 929

( ( q̂b3

) ( ) )x


t = 930

( ( )

q̂3

( ) )x


t = 931

( ( q̂4 ) ( ) )x


t = 932

((xq̂1

) ( ) )x


t = 933

( (x q̂2 ) ( ) )

x


t = 934

( (x

)xq̂b4

( ) )x


t = 935

( (x

)x q̂b

3( ) )

x


t = 936

( (x

)x

(

q̂3

) )x


t = 937

( (x

)x q̂4 ( ) )

x


t = 938

( (x

)xq̂3

( ) )x


t = 939

( (x q̂4

)x

( ) )x


t = 940

((xq̂3

)x

( ) )x


t = 941

( q̂4(x

)x

( ) )x


t = 942

(xq̂1

(x

)x

( ) )x


t = 943

(x q̂2

(x

)x

( ) )x


t = 944

(x

(

q̂b4

)x

( ) )x


t = 945

(x

( q̂b3

)x

( ) )x


t = 946

(x

()

q̂b2

( ) )x


t = 947

(x

( q̂b1

) ( ) )x


t = 948

(x

(

q̂b2

) ( ) )x


t = 949

(x q̂b

1( ) ( ) )

x


t = 950

(xq̂b2

( ) ( ) )x


t = 951

q̂b1

(x

( ) ( ) )x


t = 952

q̂b0,3

(x

( ) ( ) )x


t = 953

(x

q̂0,3

( ) ( ) )x


t = 954

q̂0,4(x

( ) ( ) )x


t = 955

q̂2(x

( ) ( ) )x


t = 956

(

q̂b4

( ) ( ) )x


t = 957

( q̂b3

( ) ( ) )x


t = 958

( (

q̂3

) ( ) )x


t = 959

( q̂4 ( ) ( ) )x


t = 960

(xq̂1

( ) ( ) )x


t = 961

(x q̂2 ( ) ( ) )

x


t = 962

(x

(

q̂1

) ( ) )x


t = 963

(x

( q̂2 ) ( ) )x


t = 964

(x

()xq̂b4

( ) )x


t = 965

(x

( )x q̂b

3( ) )

x


t = 966

(x

( )x

(

q̂3

) )x


t = 967

(x

( )x q̂4 ( ) )

x


t = 968

(x

()xq̂3

( ) )x


t = 969

(x

( q̂4)x

( ) )x


t = 970

(x

(xq̂1

)x

( ) )x


t = 971

(x

(x q̂2

)x

( ) )x


t = 972

(x

(x

)xq̂1

( ) )x


t = 973

(x

(x

)x q̂2 ( ) )

x


t = 974

(x

(x

)x

(

q̂1

) )x


t = 975

(x

(x

)x

( q̂2 ) )x


t = 976

(x

(x

)x

()xq̂b4

)x


t = 977

(x

(x

)x

( )x q̂b

3)x


t = 978

(x

(x

)x

( )x

)

q̂b2


t = 979

(x

(x

)x

( )x q̂b

1)


t = 980

(x

(x

)x

()xq̂b2

)


t = 981

(x

(x

)x

( q̂b1

)x

)


t = 982

(x

(x

)x

(

q̂b2

)x

)


t = 983

(x

(x

)x q̂b

1( )

x)


t = 984

(x

(x

)xq̂b2

( )x

)


t = 985

(x

(x q̂b

1)x

( )x

)


t = 986

(x

(xq̂b2

)x

( )x

)


t = 987

(x q̂b

1(x

)x

( )x

)


t = 988

(xq̂b2

(x

)x

( )x

)


t = 989

q̂b1

(x

(x

)x

( )x

)


t = 990

q̂b0,3

(x

(x

)x

( )x

)


t = 991

(x

q̂0,3

(x

)x

( )x

)


t = 992

q̂0,4(x

(x

)x

( )x

)


t = 993

q̂2(x

(x

)x

( )x

)


t = 994

(

q̂b4

(x

)x

( )x

)


t = 995

( q̂b3

(x

)x

( )x

)


t = 996

((xq̂b4

)x

( )x

)


t = 997

( (x q̂b

3)x

( )x

)


t = 998

( (x

)

q̂b2

( )x

)


t = 999

( (x q̂b

1) ( )

x)


t = 1000

((xq̂b2

) ( )x

)


t = 1001

( q̂b1

(x

) ( )x

)


t = 1002

(

q̂b2

(x

) ( )x

)


t = 1003

q̂b1

( (x

) ( )x

)


t = 1004

q̂b0,3

( (x

) ( )x

)


t = 1005

(

q̂b0,4

(x

) ( )x

)


t = 1006

( q̂b0,3

(x

) ( )x

)


t = 1007

((x

q̂0,3

) ( )x

)


t = 1008

( q̂0,4(x

) ( )x

)


t = 1009

(

q̂0,3

(x

) ( )x

)


t = 1010

q̂0,4 ( (x

) ( )x

)


t = 1011

q̂2 ( (x

) ( )x

)


t = 1012

(

q̂1

(x

) ( )x

)


t = 1013

( q̂2(x

) ( )x

)


t = 1014

((

q̂b4

) ( )x

)


t = 1015

( ( q̂b3

) ( )x

)


t = 1016

( ( )

q̂3

( )x

)


t = 1017

( ( q̂4 ) ( )x

)


t = 1018

((xq̂1

) ( )x

)


t = 1019

( (x q̂2 ) ( )

x)


t = 1020

( (x

)xq̂b4

( )x

)


t = 1021

( (x

)x q̂b

3( )

x)


t = 1022

( (x

)x

(

q̂3

)x

)


t = 1023

( (x

)x q̂4 ( )

x)


t = 1024

( (x

)xq̂3

( )x

)


t = 1025

( (x q̂4

)x

( )x

)


t = 1026

((xq̂3

)x

( )x

)


t = 1027

( q̂4(x

)x

( )x

)


t = 1028

(xq̂1

(x

)x

( )x

)


t = 1029

(x q̂2

(x

)x

( )x

)


t = 1030

(x

(

q̂b4

)x

( )x

)


t = 1031

(x

( q̂b3

)x

( )x

)


t = 1032

(x

()

q̂b2

( )x

)


t = 1033

(x

( q̂b1

) ( )x

)


t = 1034

(x

(

q̂b2

) ( )x

)


t = 1035

(x q̂b

1( ) ( )

x)


t = 1036

(xq̂b2

( ) ( )x

)


t = 1037

q̂b1

(x

( ) ( )x

)


t = 1038

q̂b0,3

(x

( ) ( )x

)


t = 1039

(x

q̂0,3

( ) ( )x

)


t = 1040

q̂0,4(x

( ) ( )x

)


t = 1041

q̂2(x

( ) ( )x

)


t = 1042

(

q̂b4

( ) ( )x

)


t = 1043

( q̂b3

( ) ( )x

)


t = 1044

( (

q̂3

) ( )x

)


t = 1045

( q̂4 ( ) ( )x

)


t = 1046

(xq̂1

( ) ( )x

)


t = 1047

(x q̂2 ( ) ( )

x)


t = 1048

(x

(

q̂1

) ( )x

)


t = 1049

(x

( q̂2 ) ( )x

)


t = 1050

(x

()xq̂b4

( )x

)


t = 1051

(x

( )x q̂b

3( )

x)


t = 1052

(x

( )x

(

q̂3

)x

)


t = 1053

(x

( )x q̂4 ( )

x)


t = 1054

(x

()xq̂3

( )x

)


t = 1055

(x

( q̂4)x

( )x

)


t = 1056

(x

(xq̂1

)x

( )x

)


t = 1057

(x

(x q̂2

)x

( )x

)


t = 1058

(x

(x

)xq̂1

( )x

)


t = 1059

(x

(x

)x q̂2 ( )

x)


t = 1060

(x

(x

)x

(

q̂1

)x

)


t = 1061

(x

(x

)x

( q̂2)x

)


t = 1062

(x

(x

)x

()xq̂1

)


t = 1063

(x

(x

)x

( )x q̂2 )


t = 1064

(x

(x

)x

( )x

)xq̂b4


t = 1065

(x

(x

)x

( )x

)x q̂b

3


t = 1066

(x

(x

)x

( )x

)x q̂4


t = 1067

(x

(x

)x

( )x

)xq̂3


t = 1068

(x

(x

)x

( )x q̂4

)x


t = 1069

(x

(x

)x

()xq̂3

)x


t = 1070

(x

(x

)x

( q̂4)x

)x


t = 1071

(x

(x

)x

(xq̂1

)x

)x


t = 1072

(x

(x

)x

(x q̂2

)x

)x


t = 1073

(x

(x

)x

(x

)xq̂1

)x


t = 1074

(x

(x

)x

(x

)x q̂2

)x


t = 1075

(x

(x

)x

(x

)x

)xq̂1


t = 1076

(x

(x

)x

(x

)x

)x q̂2


t = 1077

(x

(x

)x

(x

)x

)x q̂6


t = 1078

(x

(x

)x

(x

)x

)xq̂5


t = 1079

(x

(x

)x

(x

)x q̂6

)x


t = 1080

(x

(x

)x

(x

)xq̂5

)x


t = 1081

(x

(x

)x

(x q̂6

)x

)x


t = 1082

(x

(x

)x

(xq̂5

)x

)x


t = 1083

(x

(x

)x q̂6

(x

)x

)x


t = 1084

(x

(x

)xq̂5

(x

)x

)x


t = 1085

(x

(x q̂6

)x

(x

)x

)x


t = 1086

(x

(xq̂5

)x

(x

)x

)x


t = 1087

(x q̂6

(x

)x

(x

)x

)x


t = 1088

(xq̂5

(x

)x

(x

)x

)x


t = 1089

q̂6(x

(x

)x

(x

)x

)x


t = 1090

qb5

(x

(x

)x

(x

)x

)x


t = 1091

(xqb6

(x

)x

(x

)x

)x


t = 1092

(x qb

5(x

)x

(x

)x

)x


t = 1093

(x

(xqb6

)x

(x

)x

)x


t = 1094

(x

(x qb

5)x

(x

)x

)x


t = 1095

(x

(x

)xqb6

(x

)x

)x


t = 1096

(x

(x

)x qb

5(x

)x

)x


t = 1097

(x

(x

)x

(xqb6

)x

)x


t = 1098

(x

(x

)x

(x qb

5)x

)x


t = 1099

(x

(x

)x

(x

)xqb6

)x


t = 1100

(x

(x

)x

(x

)x qb

5)x


t = 1101

(x

(x

)x

(x

)x

)xqb6


t = 1102

(x

(x

)x

(x

)x

)x qb

5


t = 1103

(x

(x

)x

(x

)x

)x qb

1


t = 1104

(x

(x

)x

(x

)x

)xqb2


t = 1105

(x

(x

)x

(x

)x qb

1)x


t = 1106

(x

(x

)x

(x

)xqb2

)x


t = 1107

(x

(x

)x

(x qb

1)x

)x


t = 1108

(x

(x

)x

(xqb2

)x

)x


t = 1109

(x

(x

)x qb

1(x

)x

)x


t = 1110

(x

(x

)xqb2

(x

)x

)x


t = 1111

(x

(x qb

1)x

(x

)x

)x


t = 1112

(x

(xqb2

)x

(x

)x

)x


t = 1113

(x qb

1(x

)x

(x

)x

)x


t = 1114

(xqb2

(x

)x

(x

)x

)x


t = 1115

qb1

(x

(x

)x

(x

)x

)x


t = 1116

qb0,3

(x

(x

)x

(x

)x

)x


t = 1117

(x

q0,3

(x

)x

(x

)x

)x


t = 1118

q0,4(x

(x

)x

(x

)x

)x


t = 1119

q2(x

(x

)x

(x

)x

)x


t = 1120

(

qb4

(x

)x

(x

)x

)x


t = 1121

( qb3

(x

)x

(x

)x

)x


t = 1122

((xqb4

)x

(x

)x

)x


t = 1123

( (x qb

3)x

(x

)x

)x


t = 1124

( (x

)

qb2

(x

)x

)x


t = 1125

( (x qb

1) (

x)x

)x


t = 1126

((xqb2

) (x

)x

)x


t = 1127

( qb1

(x

) (x

)x

)x


t = 1128

(

qb2

(x

) (x

)x

)x


t = 1129

qb1

( (x

) (x

)x

)x


t = 1130

qb0,3

( (x

) (x

)x

)x


t = 1131

(

qb0,4

(x

) (x

)x

)x


t = 1132

( qb0,3

(x

) (x

)x

)x


t = 1133

((x

q0,3

) (x

)x

)x


t = 1134

( q0,4(x

) (x

)x

)x


t = 1135

(q0,3

(x

) (x

)x

)x


t = 1136

q0,4 ( (x

) (x

)x

)x


t = 1137

q2 ( (x

) (x

)x

)x


t = 1138

(q1

(x

) (x

)x

)x


t = 1139

( q2(x

) (x

)x

)x


t = 1140

((

qb4

) (x

)x

)x


t = 1141

( ( qb3

) (x

)x

)x


t = 1142

( ( )q3

(x

)x

)x


t = 1143

( ( q4 ) (x

)x

)x


t = 1144

((xq1

) (x

)x

)x


t = 1145

( (x

q2 ) (x

)x

)x


t = 1146

( (x

)xqb4

(x

)x

)x


t = 1147

( (x

)x qb

3(x

)x

)x


t = 1148

( (x

)x

(xqb4

)x

)x


t = 1149

( (x

)x

(x qb

3)x

)x


t = 1150

( (x

)x

(x

)

qb2

)x


t = 1151

( (x

)x

(x qb

1) )

x


t = 1152

( (x

)x

(xqb2

) )x


t = 1153

( (x

)x qb

1(x

) )x


t = 1154

( (x

)xqb2

(x

) )x


t = 1155

( (x qb

1)x

(x

) )x


t = 1156

((xqb2

)x

(x

) )x


t = 1157

( qb1

(x

)x

(x

) )x


t = 1158

(

qb2

(x

)x

(x

) )x


t = 1159

qb1

( (x

)x

(x

) )x


t = 1160

qb0,3

( (x

)x

(x

) )x


t = 1161

(

qb0,4

(x

)x

(x

) )x


t = 1162

( qb0,3

(x

)x

(x

) )x


t = 1163

((x

q0,3

)x

(x

) )x


t = 1164

( q0,4(x

)x

(x

) )x


t = 1165

(q0,3

(x

)x

(x

) )x


t = 1166

q0,4 ( (x

)x

(x

) )x


t = 1167

q2 ( (x

)x

(x

) )x


t = 1168

(q1

(x

)x

(x

) )x


t = 1169

( q2(x

)x

(x

) )x


t = 1170

((

qb4

)x

(x

) )x


t = 1171

( ( qb3

)x

(x

) )x


t = 1172

( ()

qb2

(x

) )x


t = 1173

( ( qb1

) (x

) )x


t = 1174

((

qb2

) (x

) )x


t = 1175

( qb1

( ) (x

) )x


t = 1176

(

qb2

( ) (x

) )x


t = 1177

qb1

( ( ) (x

) )x


t = 1178

qb0,3

( ( ) (x

) )x


t = 1179

(

qb0,4

( ) (x

) )x


t = 1180

( qb0,3

( ) (x

) )x


t = 1181

((

qb0,4

) (x

) )x


t = 1182

( ( qb0,3

) (x

) )x


t = 1183

( ()

qb0,4

(x

) )x


t = 1184

( ( ) qb0,3

(x

) )x


t = 1185

( ( )(x

q0,3

) )x


t = 1186

( ( ) q0,4(x

) )x


t = 1187

( ( )q0,3

(x

) )x


t = 1188

( ( q0,4 ) (x

) )x


t = 1189

( (q0,3

) (x

) )x


t = 1190

( q0,4 ( ) (x

) )x


t = 1191

(q0,3

( ) (x

) )x


t = 1192

q0,4 ( ( ) (x

) )x


t = 1193

q2 ( ( ) (x

) )x


t = 1194

(q1

( ) (x

) )x


t = 1195

( q2 ( ) (x

) )x


t = 1196

( (q1

) (x

) )x


t = 1197

( ( q2 ) (x

) )x


t = 1198

( ()xqb4

(x

) )x


t = 1199

( ( )x qb

3(x

) )x


t = 1200

( ( )x

(xqb4

) )x


t = 1201

( ( )x

(x qb

3) )

x


t = 1202

( ( )x

(x

)q3

)x


t = 1203

( ( )x

(x

q4 ) )x


t = 1204

( ( )x

(xq3

) )x


t = 1205

( ( )x

q4(x

) )x


t = 1206

( ()xq3

(x

) )x


t = 1207

( ( q4)x

(x

) )x


t = 1208

((xq1

)x

(x

) )x


t = 1209

( (x

q2)x

(x

) )x


t = 1210

( (x

)xq1

(x

) )x


t = 1211

( (x

)x

q2(x

) )x


t = 1212

( (x

)x

(

qb4

) )x


t = 1213

( (x

)x

( qb3

) )x


t = 1214

( (x

)x

( )q3

)x


t = 1215

( (x

)x

( q4 ) )x


t = 1216

( (x

)x

(xq1

) )x


t = 1217

( (x

)x

(x

q2 ) )x


t = 1218

( (x

)x

(x

)xqb4

)x


t = 1219

( (x

)x

(x

)x qb

3)x


t = 1220

( (x

)x

(x

)x

)

qb2


t = 1221

( (x

)x

(x

)x qb

1)


t = 1222

( (x

)x

(x

)xqb2

)


t = 1223

( (x

)x

(x qb

1)x

)


t = 1224

( (x

)x

(xqb2

)x

)


t = 1225

( (x

)x qb

1(x

)x

)


t = 1226

( (x

)xqb2

(x

)x

)


t = 1227

( (x qb

1)x

(x

)x

)


t = 1228

((xqb2

)x

(x

)x

)


t = 1229

( qb1

(x

)x

(x

)x

)


t = 1230

(

qb2

(x

)x

(x

)x

)


t = 1231

qb1

( (x

)x

(x

)x

)


t = 1232

qb0,3

( (x

)x

(x

)x

)


t = 1233

(

qb0,4

(x

)x

(x

)x

)


t = 1234

( qb0,3

(x

)x

(x

)x

)


t = 1235

((x

q0,3

)x

(x

)x

)


t = 1236

( q0,4(x

)x

(x

)x

)


t = 1237

(q0,3

(x

)x

(x

)x

)


t = 1238

q0,4 ( (x

)x

(x

)x

)


t = 1239

q2 ( (x

)x

(x

)x

)


t = 1240

(q1

(x

)x

(x

)x

)


t = 1241

( q2(x

)x

(x

)x

)


t = 1242

((

qb4

)x

(x

)x

)


t = 1243

( ( qb3

)x

(x

)x

)


t = 1244

( ()

qb2

(x

)x

)


t = 1245

( ( qb1

) (x

)x

)


t = 1246

((

qb2

) (x

)x

)


t = 1247

( qb1

( ) (x

)x

)


t = 1248

(

qb2

( ) (x

)x

)


t = 1249

qb1

( ( ) (x

)x

)


t = 1250

qb0,3

( ( ) (x

)x

)


t = 1251

(

qb0,4

( ) (x

)x

)


t = 1252

( qb0,3

( ) (x

)x

)


t = 1253

((

qb0,4

) (x

)x

)


t = 1254

( ( qb0,3

) (x

)x

)


t = 1255

( ()

qb0,4

(x

)x

)


t = 1256

( ( ) qb0,3

(x

)x

)


t = 1257

( ( )(x

q0,3

)x

)


t = 1258

( ( ) q0,4(x

)x

)


t = 1259

( ( )q0,3

(x

)x

)


t = 1260

( ( q0,4 ) (x

)x

)


t = 1261

( (q0,3

) (x

)x

)


t = 1262

( q0,4 ( ) (x

)x

)


t = 1263

(q0,3

( ) (x

)x

)


t = 1264

q0,4 ( ( ) (x

)x

)


t = 1265

q2 ( ( ) (x

)x

)


t = 1266

(q1

( ) (x

)x

)


t = 1267

( q2 ( ) (x

)x

)


t = 1268

( (q1

) (x

)x

)


t = 1269

( ( q2 ) (x

)x

)


t = 1270

( ()xqb4

(x

)x

)


t = 1271

( ( )x qb

3(x

)x

)


t = 1272

( ( )x

(xqb4

)x

)


t = 1273

( ( )x

(x qb

3)x

)


t = 1274

( ( )x

(x

)

qb2

)


t = 1275

( ( )x

(x qb

1) )


t = 1276

( ( )x

(xqb2

) )


t = 1277

( ( )x qb

1(x

) )


t = 1278

( ()xqb2

(x

) )


t = 1279

( ( qb1

)x

(x

) )


t = 1280

((

qb2

)x

(x

) )


t = 1281

( qb1

( )x

(x

) )


t = 1282

(

qb2

( )x

(x

) )


t = 1283

qb1

( ( )x

(x

) )


t = 1284

qb0,3

( ( )x

(x

) )


t = 1285

(

qb0,4

( )x

(x

) )


t = 1286

( qb0,3

( )x

(x

) )


t = 1287

((

qb0,4

)x

(x

) )


t = 1288

( ( qb0,3

)x

(x

) )


t = 1289

( ()x

q0,3

(x

) )


t = 1290

( ( q0,4)x

(x

) )


t = 1291

( (q0,3

)x

(x

) )


t = 1292

( q0,4 ( )x

(x

) )


t = 1293

(q0,3

( )x

(x

) )


t = 1294

q0,4 ( ( )x

(x

) )


t = 1295

q2 ( ( )x

(x

) )


t = 1296

(q1

( )x

(x

) )


t = 1297

( q2 ( )x

(x

) )


t = 1298

( (q1

)x

(x

) )


t = 1299

( ( q2)x

(x

) )


t = 1300

( ()xq1

(x

) )


t = 1301

( ( )x

q2(x

) )


t = 1302

( ( )x

(

qb4

) )


t = 1303

( ( )x

( qb3

) )


t = 1304

( ( )x

( )q3

)


t = 1305

( ( )x

( q4 ) )


t = 1306

( ( )x

(xq1

) )


t = 1307

( ( )x

(x

q2 ) )


t = 1308

( ( )x

(x

)xqb4

)


t = 1309

( ( )x

(x

)x qb

3)


t = 1310

( ( )x

(x

)x

)q3


t = 1311

( ( )x

(x

)x

q4 )


t = 1312

( ( )x

(x

)xq3

)


t = 1313

( ( )x

(x

q4)x

)


t = 1314

( ( )x

(xq3

)x

)


t = 1315

( ( )x

q4(x

)x

)


t = 1316

( ()xq3

(x

)x

)


t = 1317

( ( q4)x

(x

)x

)


t = 1318

((xq1

)x

(x

)x

)


t = 1319

( (x

q2)x

(x

)x

)


t = 1320

( (x

)xq1

(x

)x

)


t = 1321

( (x

)x

q2(x

)x

)


t = 1322

( (x

)x

(

qb4

)x

)


t = 1323

( (x

)x

( qb3

)x

)


t = 1324

( (x

)x

()

qb2

)


t = 1325

( (x

)x

( qb1

) )


t = 1326

( (x

)x

(

qb2

) )


t = 1327

( (x

)x qb

1( ) )


t = 1328

( (x

)xqb2

( ) )


t = 1329

( (x qb

1)x

( ) )


t = 1330

((xqb2

)x

( ) )


t = 1331

( qb1

(x

)x

( ) )


t = 1332

(

qb2

(x

)x

( ) )


t = 1333

qb1

( (x

)x

( ) )


t = 1334

qb0,3

( (x

)x

( ) )


t = 1335

(

qb0,4

(x

)x

( ) )


t = 1336

( qb0,3

(x

)x

( ) )


t = 1337

((x

q0,3

)x

( ) )


t = 1338

( q0,4(x

)x

( ) )


t = 1339

(q0,3

(x

)x

( ) )


t = 1340

q0,4 ( (x

)x

( ) )


t = 1341

q2 ( (x

)x

( ) )


t = 1342

(q1

(x

)x

( ) )


t = 1343

( q2(x

)x

( ) )


t = 1344

((

qb4

)x

( ) )


t = 1345

( ( qb3

)x

( ) )


t = 1346

( ()

qb2

( ) )


t = 1347

( ( qb1

) ( ) )


t = 1348

((

qb2

) ( ) )


t = 1349

( qb1

( ) ( ) )


t = 1350

(

qb2

( ) ( ) )


t = 1351

qb1

( ( ) ( ) )


t = 1352

qb0,3

( ( ) ( ) )


t = 1353

(

qb0,4

( ) ( ) )


t = 1354

( qb0,3

( ) ( ) )


t = 1355

((

qb0,4

) ( ) )


t = 1356

( ( qb0,3

) ( ) )


t = 1357

( ()

qb0,4

( ) )


t = 1358

( ( ) qb0,3

( ) )


t = 1359

( ( )(

qb0,4

) )


t = 1360

( ( ) ( qb0,3

) )


t = 1361

( ( ) ()

qb0,4

)


t = 1362

( ( ) ( ) qb0,3

)


t = 1363

( ( ) ( ))

qb0,4


t = 1364

( ( ) ( ) ) qb0,3


t = 1365

( ( ) ( ) ) qb0,1


t = 1366

( ( ) ( ))

qb0,2


t = 1367

( ( ) ( ) qb0,1

)


t = 1368

( ( ) ()

qb0,2

)


t = 1369

( ( ) ( qb0,1

) )


t = 1370

( ( )(

qb0,2

) )


t = 1371

( ( ) qb0,1

( ) )


t = 1372

( ()

qb0,2

( ) )


t = 1373

( ( qb0,1

) ( ) )


t = 1374

((

qb0,2

) ( ) )


t = 1375

( qb0,1

( ) ( ) )


t = 1376

(

qb0,2

( ) ( ) )


t = 1377

qb0,1

( ( ) ( ) )


t = 1378

q0,2 ( ( ) ( ) )

It comes back to the initial configuration

A4. RPIA

39

Iterative Array Acceptor

• An input word a1a2 · · · an is given serially.

• It uses only n cells (i.e., the space is bounded).

• If the cell at the position 1 enters an accepting

state, we say the CA accepts the input.1 2 · · · · n n + 1

t = 0 q q · · · · q #

a1 a2 · · · an �

t = 1 x11

q · · · · q #

a2 · · · an �...

t = t1 xt11 xt1

2 · · · · xt1n #

40

Partitioned Iterative Array (PIA)

• An input word a1a2 · · · an is given serially.

• It uses n + 2 cells.

• If the left part of the 1-st cell enters an accepting

state, we say the PCA accepts the input.0 1 2 · · n n + 1

t = 0 B

� a1 a2 · · · an �

t = 1 B r10

a1 a2 · · · an �

t = 2 B r20 l21 c2

1 r21

a2 · · · an � ...

t = t1 B rt10 lt11 ct1

1 rt11 lt12 ct1

2 rt12 · · · · · · lt1n ct1

n rt1n lt1n+1

41

Reversible partitioned iterative array that accepts all well-formed parentheses

t = 0

� ) ) ( ) ( ( � B


t = 1

� ) ) ( ) ( ( B ∗


t = 2

� ) ) ( ) ( B ( ∗


t = 3

� ) ) ( ) B ( ( ∗


t = 4

� ) ) ( B ) ( ( ∗


t = 5

� ) ) B ( ( ) ( ∗


t = 6

� ) B ) ( ( ( ) ∗


t = 7

� B ) ( ) ( ( ) ∗


t = 8

B � ( ) ( ) ) ( ∗


t = 9

B ( � ( ) ) ) ( ∗


t = 10

B ( ( � ) ) ( ) ∗


t = 11

B ( ( ) � ( ) ) ∗


t = 12

B ( ( ) ( � ) ) ∗


t = 13

B ( ( ) ( ) � ) ∗


t = 14

B ( ( ) ( ) ) � ∗


t = 15

B ( ( ) ( ) ) ∗ B


t = 16

B ( ( ) ( ) ∗ ) B


t = 17

B ( ( ) ( ∗ ) ) B


t = 18

B ( ( ) ∗ ( ) ) B


t = 19

B ( ( ∗ ) ( ) ) B


t = 20

B ( ∗ ( ) ( ) ) B


t = 21

B ∗ ( ( ) ( ) ) B


t = 22

B q0,2 ( ( ) ( ) ) B

It starts to simulate RPCA


t = 23

B(

q0,1( ) ( ) ) B


t = 24

B ( q0,2 ( ) ( ) ) B


t = 25

B ( (q0,1

) ( ) ) B


t = 26

B ( ( q0,2 ) ( ) ) B


t = 27

B ( ( )q0,1

( ) ) B


t = 28

B ( ( ) q0,2 ( ) ) B


t = 29

B ( ( ) (q0,1

) ) B


t = 30

B ( ( ) ( q0,2 ) ) B


t = 31

B ( ( ) ( )q0,1

) B


t = 32

B ( ( ) ( ) q0,2 ) B


t = 33

B ( ( ) ( ) )q0,1

B


t = 34

B ( ( ) ( ) ) q0,2 B


t = 35

B ( ( ) ( ) ) q0,4 B


t = 36

B ( ( ) ( ) )q0,3

B


t = 37

B ( ( ) ( ) q0,4 ) B


t = 38

B ( ( ) ( )q0,3

) B


t = 39

B ( ( ) ( q0,4 ) ) B


t = 40

B ( ( ) (q0,3

) ) B


t = 41

B ( ( ) q0,4 ( ) ) B


t = 42

B ( ( )q0,3

( ) ) B


t = 43

B ( ( q0,4 ) ( ) ) B


t = 44

B ( (q0,3

) ( ) ) B


t = 45

B ( q0,4 ( ) ( ) ) B


t = 46

B(

q0,3( ) ( ) ) B


t = 47

B q0,4 ( ( ) ( ) ) B


t = 48

B q2 ( ( ) ( ) ) B


t = 49

B(q1

( ) ( ) ) B


t = 50

B ( q2 ( ) ( ) ) B


t = 51

B ( (q1

) ( ) ) B


t = 52

B ( ( q2 ) ( ) ) B


t = 53

B ( ()xqb4

( ) ) B


t = 54

B ( ( )x qb

3( ) ) B


t = 55

B ( ( )x

(q3

) ) B


t = 56

B ( ( )x

q4 ( ) ) B


t = 57

B ( ()xq3

( ) ) B


t = 58

B ( ( q4)x

( ) ) B


t = 59

B ((xq1

)x

( ) ) B


t = 60

B ( (x

q2)x

( ) ) B


t = 61

B ( (x

)xq1

( ) ) B


t = 62

B ( (x

)x

q2 ( ) ) B


t = 63

B ( (x

)x

(q1

) ) B


t = 64

B ( (x

)x

( q2 ) ) B


t = 65

B ( (x

)x

()xqb4

) B


t = 66

B ( (x

)x

( )x qb

3) B


t = 67

B ( (x

)x

( )x

)q3

B


t = 68

B ( (x

)x

( )x

q4 ) B


t = 69

B ( (x

)x

()xq3

) B


t = 70

B ( (x

)x

( q4)x

) B


t = 71

B ( (x

)x

(xq1

)x

) B


t = 72

B ( (x

)x

(x

q2)x

) B


t = 73

B ( (x

)x

(x

)xq1

) B


t = 74

B ( (x

)x

(x

)x

q2 ) B


t = 75

B ( (x

)x

(x

)x

)xqb4

B


t = 76

B ( (x

)x

(x

)x

)x qb

3 B


t = 77

B ( (x

)x

(x

)x

)x

q4 B


t = 78

B ( (x

)x

(x

)x

)xq3

B


t = 79

B ( (x

)x

(x

)x

q4)x B


t = 80

B ( (x

)x

(x

)xq3

)x B


t = 81

B ( (x

)x

(x

q4)x

)x B


t = 82

B ( (x

)x

(xq3

)x

)x B


t = 83

B ( (x

)x

q4(x

)x

)x B


t = 84

B ( (x

)xq3

(x

)x

)x B


t = 85

B ( (x

q4)x

(x

)x

)x B


t = 86

B ((xq3

)x

(x

)x

)x B


t = 87

B ( q4(x

)x

(x

)x

)x B


t = 88

B(xq1

(x

)x

(x

)x

)x B


t = 89

B (x

q2(x

)x

(x

)x

)x B


t = 90

B (x

(

qb4

)x

(x

)x

)x B


t = 91

B (x

( qb3

)x

(x

)x

)x B


t = 92

B (x

()

qb2

(x

)x

)x B


t = 93

B (x

( qb1

) (x

)x

)x B


t = 94

B (x

(

qb2

) (x

)x

)x B


t = 95

B (x qb

1( ) (

x)x

)x B


t = 96

B(xqb2

( ) (x

)x

)x B


t = 97

B qb1

(x

( ) (x

)x

)x B


t = 98

B qb0,3

(x

( ) (x

)x

)x B


t = 99

B(x

q0,3

( ) (x

)x

)x B


t = 100

B q0,4(x

( ) (x

)x

)x B


t = 101

B q2(x

( ) (x

)x

)x B


t = 102

B(

qb4

( ) (x

)x

)x B


t = 103

B ( qb3

( ) (x

)x

)x B


t = 104

B ( (q3

) (x

)x

)x B


t = 105

B ( q4 ( ) (x

)x

)x B


t = 106

B(xq1

( ) (x

)x

)x B


t = 107

B (x

q2 ( ) (x

)x

)x B


t = 108

B (x

(q1

) (x

)x

)x B


t = 109

B (x

( q2 ) (x

)x

)x B


t = 110

B (x

()xqb4

(x

)x

)x B


t = 111

B (x

( )x qb

3(x

)x

)x B


t = 112

B (x

( )x

(xqb4

)x

)x B


t = 113

B (x

( )x

(x qb

3)x

)x B


t = 114

B (x

( )x

(x

)

qb2

)x B


t = 115

B (x

( )x

(x qb

1) )

x B


t = 116

B (x

( )x

(xqb2

) )x B


t = 117

B (x

( )x qb

1(x

) )x B


t = 118

B (x

()xqb2

(x

) )x B


t = 119

B (x

( qb1

)x

(x

) )x B


t = 120

B (x

(

qb2

)x

(x

) )x B


t = 121

B (x qb

1( )

x(x

) )x B


t = 122

B(xqb2

( )x

(x

) )x B


t = 123

B qb1

(x

( )x

(x

) )x B


t = 124

B qb0,3

(x

( )x

(x

) )x B


t = 125

B(x

q0,3

( )x

(x

) )x B


t = 126

B q0,4(x

( )x

(x

) )x B


t = 127

B q2(x

( )x

(x

) )x B


t = 128

B(

qb4

( )x

(x

) )x B


t = 129

B ( qb3

( )x

(x

) )x B


t = 130

B ( (q3

)x

(x

) )x B


t = 131

B ( q4 ( )x

(x

) )x B


t = 132

B(xq1

( )x

(x

) )x B


t = 133

B (x

q2 ( )x

(x

) )x B


t = 134

B (x

(q1

)x

(x

) )x B


t = 135

B (x

( q2)x

(x

) )x B


t = 136

B (x

()xq1

(x

) )x B


t = 137

B (x

( )x

q2(x

) )x B


t = 138

B (x

( )x

(

qb4

) )x B


t = 139

B (x

( )x

( qb3

) )x B


t = 140

B (x

( )x

( )q3

)x B


t = 141

B (x

( )x

( q4 ) )x B


t = 142

B (x

( )x

(xq1

) )x B


t = 143

B (x

( )x

(x

q2 ) )x B


t = 144

B (x

( )x

(x

)xqb4

)x B


t = 145

B (x

( )x

(x

)x qb

3)x B


t = 146

B (x

( )x

(x

)x

)

qb2

B


t = 147

B (x

( )x

(x

)x qb

1) B


t = 148

B (x

( )x

(x

)xqb2

) B


t = 149

B (x

( )x

(x qb

1)x

) B


t = 150

B (x

( )x

(xqb2

)x

) B


t = 151

B (x

( )x qb

1(x

)x

) B


t = 152

B (x

()xqb2

(x

)x

) B


t = 153

B (x

( qb1

)x

(x

)x

) B


t = 154

B (x

(

qb2

)x

(x

)x

) B


t = 155

B (x qb

1( )

x(x

)x

) B


t = 156

B(xqb2

( )x

(x

)x

) B


t = 157

B qb1

(x

( )x

(x

)x

) B


t = 158

B qb0,3

(x

( )x

(x

)x

) B


t = 159

B(x

q0,3

( )x

(x

)x

) B


t = 160

B q0,4(x

( )x

(x

)x

) B


t = 161

B q2(x

( )x

(x

)x

) B


t = 162

B(

qb4

( )x

(x

)x

) B


t = 163

B ( qb3

( )x

(x

)x

) B


t = 164

B ( (q3

)x

(x

)x

) B


t = 165

B ( q4 ( )x

(x

)x

) B


t = 166

B(xq1

( )x

(x

)x

) B


t = 167

B (x

q2 ( )x

(x

)x

) B


t = 168

B (x

(q1

)x

(x

)x

) B


t = 169

B (x

( q2)x

(x

)x

) B


t = 170

B (x

()xq1

(x

)x

) B


t = 171

B (x

( )x

q2(x

)x

) B


t = 172

B (x

( )x

(

qb4

)x

) B


t = 173

B (x

( )x

( qb3

)x

) B


t = 174

B (x

( )x

()

qb2

) B


t = 175

B (x

( )x

( qb1

) ) B


t = 176

B (x

( )x

(

qb2

) ) B


t = 177

B (x

( )x qb

1( ) ) B


t = 178

B (x

()xqb2

( ) ) B


t = 179

B (x

( qb1

)x

( ) ) B


t = 180

B (x

(

qb2

)x

( ) ) B


t = 181

B (x qb

1( )

x( ) ) B


t = 182

B(xqb2

( )x

( ) ) B


t = 183

B qb1

(x

( )x

( ) ) B


t = 184

B qb0,3

(x

( )x

( ) ) B


t = 185

B(x

q0,3

( )x

( ) ) B


t = 186

B q0,4(x

( )x

( ) ) B


t = 187

B q2(x

( )x

( ) ) B


t = 188

B(

qb4

( )x

( ) ) B


t = 189

B ( qb3

( )x

( ) ) B


t = 190

B ( (q3

)x

( ) ) B


t = 191

B ( q4 ( )x

( ) ) B


t = 192

B(xq1

( )x

( ) ) B


t = 193

B (x

q2 ( )x

( ) ) B


t = 194

B (x

(q1

)x

( ) ) B


t = 195

B (x

( q2)x

( ) ) B


t = 196

B (x

()xq1

( ) ) B


t = 197

B (x

( )x

q2 ( ) ) B


t = 198

B (x

( )x

(q1

) ) B


t = 199

B (x

( )x

( q2 ) ) B


t = 200

B (x

( )x

()xqb4

) B


t = 201

B (x

( )x

( )x qb

3) B


t = 202

B (x

( )x

( )x

)q3

B


t = 203

B (x

( )x

( )x

q4 ) B


t = 204

B (x

( )x

()xq3

) B


t = 205

B (x

( )x

( q4)x

) B


t = 206

B (x

( )x

(xq1

)x

) B


t = 207

B (x

( )x

(x

q2)x

) B


t = 208

B (x

( )x

(x

)xq1

) B


t = 209

B (x

( )x

(x

)x

q2 ) B


t = 210

B (x

( )x

(x

)x

)xqb4

B


t = 211

B (x

( )x

(x

)x

)x qb

3 B


t = 212

B (x

( )x

(x

)x

)x

q4 B


t = 213

B (x

( )x

(x

)x

)xq3

B


t = 214

B (x

( )x

(x

)x

q4)x B


t = 215

B (x

( )x

(x

)xq3

)x B


t = 216

B (x

( )x

(x

q4)x

)x B


t = 217

B (x

( )x

(xq3

)x

)x B


t = 218

B (x

( )x

q4(x

)x

)x B


t = 219

B (x

()xq3

(x

)x

)x B


t = 220

B (x

( q4)x

(x

)x

)x B


t = 221

B (x

(xq1

)x

(x

)x

)x B


t = 222

B (x

(x

q2)x

(x

)x

)x B


t = 223

B (x

(x

)xq1

(x

)x

)x B


t = 224

B (x

(x

)x

q2(x

)x

)x B


t = 225

B (x

(x

)x

(

qb4

)x

)x B


t = 226

B (x

(x

)x

( qb3

)x

)x B


t = 227

B (x

(x

)x

()

qb2

)x B


t = 228

B (x

(x

)x

( qb1

) )x B


t = 229

B (x

(x

)x

(

qb2

) )x B


t = 230

B (x

(x

)x qb

1( ) )

x B


t = 231

B (x

(x

)xqb2

( ) )x B


t = 232

B (x

(x qb

1)x

( ) )x B


t = 233

B (x

(xqb2

)x

( ) )x B


t = 234

B (x qb

1(x

)x

( ) )x B


t = 235

B(xqb2

(x

)x

( ) )x B


t = 236

B qb1

(x

(x

)x

( ) )x B


t = 237

B qb0,3

(x

(x

)x

( ) )x B


t = 238

B(x

q0,3

(x

)x

( ) )x B


t = 239

B q0,4(x

(x

)x

( ) )x B


t = 240

B q2(x

(x

)x

( ) )x B


t = 241

B(

qb4

(x

)x

( ) )x B


t = 242

B ( qb3

(x

)x

( ) )x B


t = 243

B ((xqb4

)x

( ) )x B


t = 244

B ( (x qb

3)x

( ) )x B


t = 245

B ( (x

)

qb2

( ) )x B


t = 246

B ( (x qb

1) ( ) )

x B


t = 247

B ((xqb2

) ( ) )x B


t = 248

B ( qb1

(x

) ( ) )x B


t = 249

B(

qb2

(x

) ( ) )x B


t = 250

B qb1

( (x

) ( ) )x B


t = 251

B qb0,3

( (x

) ( ) )x B


t = 252

B(

qb0,4

(x

) ( ) )x B


t = 253

B ( qb0,3

(x

) ( ) )x B


t = 254

B ((x

q0,3

) ( ) )x B


t = 255

B ( q0,4(x

) ( ) )x B


t = 256

B(

q0,3

(x

) ( ) )x B


t = 257

B q0,4 ( (x

) ( ) )x B


t = 258

B q2 ( (x

) ( ) )x B


t = 259

B(q1

(x

) ( ) )x B


t = 260

B ( q2(x

) ( ) )x B


t = 261

B ((

qb4

) ( ) )x B


t = 262

B ( ( qb3

) ( ) )x B


t = 263

B ( ( )q3

( ) )x B


t = 264

B ( ( q4 ) ( ) )x B


t = 265

B ((xq1

) ( ) )x B


t = 266

B ( (x

q2 ) ( ) )x B


t = 267

B ( (x

)xqb4

( ) )x B


t = 268

B ( (x

)x qb

3( ) )

x B


t = 269

B ( (x

)x

(q3

) )x B


t = 270

B ( (x

)x

q4 ( ) )x B


t = 271

B ( (x

)xq3

( ) )x B


t = 272

B ( (x

q4)x

( ) )x B


t = 273

B ((xq3

)x

( ) )x B


t = 274

B ( q4(x

)x

( ) )x B


t = 275

B(xq1

(x

)x

( ) )x B


t = 276

B (x

q2(x

)x

( ) )x B


t = 277

B (x

(

qb4

)x

( ) )x B


t = 278

B (x

( qb3

)x

( ) )x B


t = 279

B (x

()

qb2

( ) )x B


t = 280

B (x

( qb1

) ( ) )x B


t = 281

B (x

(

qb2

) ( ) )x B


t = 282

B (x qb

1( ) ( ) )

x B


t = 283

B(xqb2

( ) ( ) )x B


t = 284

B qb1

(x

( ) ( ) )x B


t = 285

B qb0,3

(x

( ) ( ) )x B


t = 286

B(x

q0,3

( ) ( ) )x B


t = 287

B q0,4(x

( ) ( ) )x B


t = 288

B q2(x

( ) ( ) )x B


t = 289

B(

qb4

( ) ( ) )x B


t = 290

B ( qb3

( ) ( ) )x B


t = 291

B ( (q3

) ( ) )x B


t = 292

B ( q4 ( ) ( ) )x B


t = 293

B(xq1

( ) ( ) )x B


t = 294

B (x

q2 ( ) ( ) )x B


t = 295

B (x

(q1

) ( ) )x B


t = 296

B (x

( q2 ) ( ) )x B


t = 297

B (x

()xqb4

( ) )x B


t = 298

B (x

( )x qb

3( ) )

x B


t = 299

B (x

( )x

(q3

) )x B


t = 300

B (x

( )x

q4 ( ) )x B


t = 301

B (x

()xq3

( ) )x B


t = 302

B (x

( q4)x

( ) )x B


t = 303

B (x

(xq1

)x

( ) )x B


t = 304

B (x

(x

q2)x

( ) )x B


t = 305

B (x

(x

)xq1

( ) )x B


t = 306

B (x

(x

)x

q2 ( ) )x B


t = 307

B (x

(x

)x

(q1

) )x B


t = 308

B (x

(x

)x

( q2 ) )x B


t = 309

B (x

(x

)x

()xqb4

)x B


t = 310

B (x

(x

)x

( )x qb

3)x B


t = 311

B (x

(x

)x

( )x

)

qb2

B


t = 312

B (x

(x

)x

( )x qb

1) B


t = 313

B (x

(x

)x

()xqb2

) B


t = 314

B (x

(x

)x

( qb1

)x

) B


t = 315

B (x

(x

)x

(

qb2

)x

) B


t = 316

B (x

(x

)x qb

1( )

x) B


t = 317

B (x

(x

)xqb2

( )x

) B


t = 318

B (x

(x qb

1)x

( )x

) B


t = 319

B (x

(xqb2

)x

( )x

) B


t = 320

B (x qb

1(x

)x

( )x

) B


t = 321

B(xqb2

(x

)x

( )x

) B


t = 322

B qb1

(x

(x

)x

( )x

) B


t = 323

B qb0,3

(x

(x

)x

( )x

) B


t = 324

B(x

q0,3

(x

)x

( )x

) B


t = 325

B q0,4(x

(x

)x

( )x

) B


t = 326

B q2(x

(x

)x

( )x

) B


t = 327

B(

qb4

(x

)x

( )x

) B


t = 328

B ( qb3

(x

)x

( )x

) B


t = 329

B ((xqb4

)x

( )x

) B


t = 330

B ( (x qb

3)x

( )x

) B


t = 331

B ( (x

)

qb2

( )x

) B


t = 332

B ( (x qb

1) ( )

x) B


t = 333

B ((xqb2

) ( )x

) B


t = 334

B ( qb1

(x

) ( )x

) B


t = 335

B(

qb2

(x

) ( )x

) B


t = 336

B qb1

( (x

) ( )x

) B


t = 337

B qb0,3

( (x

) ( )x

) B


t = 338

B(

qb0,4

(x

) ( )x

) B


t = 339

B ( qb0,3

(x

) ( )x

) B


t = 340

B ((x

q0,3

) ( )x

) B


t = 341

B ( q0,4(x

) ( )x

) B


t = 342

B(

q0,3

(x

) ( )x

) B


t = 343

B q0,4 ( (x

) ( )x

) B


t = 344

B q2 ( (x

) ( )x

) B


t = 345

B(q1

(x

) ( )x

) B


t = 346

B ( q2(x

) ( )x

) B


t = 347

B ((

qb4

) ( )x

) B


t = 348

B ( ( qb3

) ( )x

) B


t = 349

B ( ( )q3

( )x

) B


t = 350

B ( ( q4 ) ( )x

) B


t = 351

B ((xq1

) ( )x

) B


t = 352

B ( (x

q2 ) ( )x

) B


t = 353

B ( (x

)xqb4

( )x

) B


t = 354

B ( (x

)x qb

3( )

x) B


t = 355

B ( (x

)x

(q3

)x

) B


t = 356

B ( (x

)x

q4 ( )x

) B


t = 357

B ( (x

)xq3

( )x

) B


t = 358

B ( (x

q4)x

( )x

) B


t = 359

B ((xq3

)x

( )x

) B


t = 360

B ( q4(x

)x

( )x

) B


t = 361

B(xq1

(x

)x

( )x

) B


t = 362

B (x

q2(x

)x

( )x

) B


t = 363

B (x

(

qb4

)x

( )x

) B


t = 364

B (x

( qb3

)x

( )x

) B


t = 365

B (x

()

qb2

( )x

) B


t = 366

B (x

( qb1

) ( )x

) B


t = 367

B (x

(

qb2

) ( )x

) B


t = 368

B (x qb

1( ) ( )

x) B


t = 369

B(xqb2

( ) ( )x

) B


t = 370

B qb1

(x

( ) ( )x

) B


t = 371

B qb0,3

(x

( ) ( )x

) B


t = 372

B(x

q0,3

( ) ( )x

) B


t = 373

B q0,4(x

( ) ( )x

) B


t = 374

B q2(x

( ) ( )x

) B


t = 375

B(

qb4

( ) ( )x

) B


t = 376

B ( qb3

( ) ( )x

) B


t = 377

B ( (q3

) ( )x

) B


t = 378

B ( q4 ( ) ( )x

) B


t = 379

B(xq1

( ) ( )x

) B


t = 380

B (x

q2 ( ) ( )x

) B


t = 381

B (x

(q1

) ( )x

) B


t = 382

B (x

( q2 ) ( )x

) B


t = 383

B (x

()xqb4

( )x

) B


t = 384

B (x

( )x qb

3( )

x) B


t = 385

B (x

( )x

(q3

)x

) B


t = 386

B (x

( )x

q4 ( )x

) B


t = 387

B (x

()xq3

( )x

) B


t = 388

B (x

( q4)x

( )x

) B


t = 389

B (x

(xq1

)x

( )x

) B


t = 390

B (x

(x

q2)x

( )x

) B


t = 391

B (x

(x

)xq1

( )x

) B


t = 392

B (x

(x

)x

q2 ( )x

) B


t = 393

B (x

(x

)x

(q1

)x

) B


t = 394

B (x

(x

)x

( q2)x

) B


t = 395

B (x

(x

)x

()xq1

) B


t = 396

B (x

(x

)x

( )x

q2 ) B


t = 397

B (x

(x

)x

( )x

)xqb4

B


t = 398

B (x

(x

)x

( )x

)x qb

3 B


t = 399

B (x

(x

)x

( )x

)x

q4 B


t = 400

B (x

(x

)x

( )x

)xq3

B


t = 401

B (x

(x

)x

( )x

q4)x B


t = 402

B (x

(x

)x

()xq3

)x B


t = 403

B (x

(x

)x

( q4)x

)x B


t = 404

B (x

(x

)x

(xq1

)x

)x B


t = 405

B (x

(x

)x

(x

q2)x

)x B


t = 406

B (x

(x

)x

(x

)xq1

)x B


t = 407

B (x

(x

)x

(x

)x

q2)x B


t = 408

B (x

(x

)x

(x

)x

)xq1

B


t = 409

B (x

(x

)x

(x

)x

)x

q2 B


t = 410

B (x

(x

)x

(x

)x

)x

q6 B


t = 411

B (x

(x

)x

(x

)x

)xq5

B


t = 412

B (x

(x

)x

(x

)x

q6)x B


t = 413

B (x

(x

)x

(x

)xq5

)x B


t = 414

B (x

(x

)x

(x

q6)x

)x B


t = 415

B (x

(x

)x

(xq5

)x

)x B


t = 416

B (x

(x

)x

q6(x

)x

)x B


t = 417

B (x

(x

)xq5

(x

)x

)x B


t = 418

B (x

(x

q6)x

(x

)x

)x B


t = 419

B (x

(xq5

)x

(x

)x

)x B


t = 420

B (x

q6(x

)x

(x

)x

)x B


t = 421

B(xq5

(x

)x

(x

)x

)x B


t = 422

B q6(x

(x

)x

(x

)x

)x B


t = 423

B q̂b5

(x

(x

)x

(x

)x

)x B



t = 424

B(xq̂b6

(x

)x

(x

)x

)x B


t = 425

B (x q̂b

5(x

)x

(x

)x

)x B


t = 426

B (x

(xq̂b6

)x

(x

)x

)x B


t = 427

B (x

(x q̂b

5)x

(x

)x

)x B


t = 428

B (x

(x

)xq̂b6

(x

)x

)x B


t = 429

B (x

(x

)x q̂b

5(x

)x

)x B


t = 430

B (x

(x

)x

(xq̂b6

)x

)x B


t = 431

B (x

(x

)x

(x q̂b

5)x

)x B


t = 432

B (x

(x

)x

(x

)xq̂b6

)x B


t = 433

B (x

(x

)x

(x

)x q̂b

5)x B


t = 434

B (x

(x

)x

(x

)x

)xq̂b6

B


t = 435

B (x

(x

)x

(x

)x

)x q̂b

5 B


t = 436

B (x

(x

)x

(x

)x

)x q̂b

1 B


t = 437

B (x

(x

)x

(x

)x

)xq̂b2

B


t = 438

B (x

(x

)x

(x

)x q̂b

1)x B


t = 439

B (x

(x

)x

(x

)xq̂b2

)x B


t = 440

B (x

(x

)x

(x q̂b

1)x

)x B


t = 441

B (x

(x

)x

(xq̂b2

)x

)x B


t = 442

B (x

(x

)x q̂b

1(x

)x

)x B


t = 443

B (x

(x

)xq̂b2

(x

)x

)x B


t = 444

B (x

(x q̂b

1)x

(x

)x

)x B


t = 445

B (x

(xq̂b2

)x

(x

)x

)x B


t = 446

B (x q̂b

1(x

)x

(x

)x

)x B


t = 447

B(xq̂b2

(x

)x

(x

)x

)x B


t = 448

B q̂b1

(x

(x

)x

(x

)x

)x B


t = 449

B q̂b0,3

(x

(x

)x

(x

)x

)x B


t = 450

B(x

q̂0,3

(x

)x

(x

)x

)x B


t = 451

B q̂0,4(x

(x

)x

(x

)x

)x B


t = 452

B q̂2(x

(x

)x

(x

)x

)x B


t = 453

B(

q̂b4

(x

)x

(x

)x

)x B


t = 454

B ( q̂b3

(x

)x

(x

)x

)x B


t = 455

B ((xq̂b4

)x

(x

)x

)x B


t = 456

B ( (x q̂b

3)x

(x

)x

)x B


t = 457

B ( (x

)

q̂b2

(x

)x

)x B


t = 458

B ( (x q̂b

1) (

x)x

)x B


t = 459

B ((xq̂b2

) (x

)x

)x B


t = 460

B ( q̂b1

(x

) (x

)x

)x B


t = 461

B(

q̂b2

(x

) (x

)x

)x B


t = 462

B q̂b1

( (x

) (x

)x

)x B


t = 463

B q̂b0,3

( (x

) (x

)x

)x B


t = 464

B(

q̂b0,4

(x

) (x

)x

)x B


t = 465

B ( q̂b0,3

(x

) (x

)x

)x B


t = 466

B ((x

q̂0,3

) (x

)x

)x B


t = 467

B ( q̂0,4(x

) (x

)x

)x B


t = 468

B(

q̂0,3

(x

) (x

)x

)x B


t = 469

B q̂0,4 ( (x

) (x

)x

)x B


t = 470

B q̂2 ( (x

) (x

)x

)x B


t = 471

B(

q̂1

(x

) (x

)x

)x B


t = 472

B ( q̂2(x

) (x

)x

)x B


t = 473

B ((

q̂b4

) (x

)x

)x B


t = 474

B ( ( q̂b3

) (x

)x

)x B


t = 475

B ( ( )

q̂3

(x

)x

)x B


t = 476

B ( ( q̂4 ) (x

)x

)x B


t = 477

B ((xq̂1

) (x

)x

)x B


t = 478

B ( (x q̂2 ) (

x)x

)x B


t = 479

B ( (x

)xq̂b4

(x

)x

)x B


t = 480

B ( (x

)x q̂b

3(x

)x

)x B


t = 481

B ( (x

)x

(xq̂b4

)x

)x B


t = 482

B ( (x

)x

(x q̂b

3)x

)x B


t = 483

B ( (x

)x

(x

)

q̂b2

)x B


t = 484

B ( (x

)x

(x q̂b

1) )

x B


t = 485

B ( (x

)x

(xq̂b2

) )x B


t = 486

B ( (x

)x q̂b

1(x

) )x B


t = 487

B ( (x

)xq̂b2

(x

) )x B


t = 488

B ( (x q̂b

1)x

(x

) )x B


t = 489

B ((xq̂b2

)x

(x

) )x B


t = 490

B ( q̂b1

(x

)x

(x

) )x B


t = 491

B(

q̂b2

(x

)x

(x

) )x B


t = 492

B q̂b1

( (x

)x

(x

) )x B


t = 493

B q̂b0,3

( (x

)x

(x

) )x B


t = 494

B(

q̂b0,4

(x

)x

(x

) )x B


t = 495

B ( q̂b0,3

(x

)x

(x

) )x B


t = 496

B ((x

q̂0,3

)x

(x

) )x B


t = 497

B ( q̂0,4(x

)x

(x

) )x B


t = 498

B(

q̂0,3

(x

)x

(x

) )x B


t = 499

B q̂0,4 ( (x

)x

(x

) )x B


t = 500

B q̂2 ( (x

)x

(x

) )x B


t = 501

B(

q̂1

(x

)x

(x

) )x B


t = 502

B ( q̂2(x

)x

(x

) )x B


t = 503

B ((

q̂b4

)x

(x

) )x B


t = 504

B ( ( q̂b3

)x

(x

) )x B


t = 505

B ( ()

q̂b2

(x

) )x B


t = 506

B ( ( q̂b1

) (x

) )x B


t = 507

B ((

q̂b2

) (x

) )x B


t = 508

B ( q̂b1

( ) (x

) )x B


t = 509

B(

q̂b2

( ) (x

) )x B


t = 510

B q̂b1

( ( ) (x

) )x B


t = 511

B q̂b0,3

( ( ) (x

) )x B


t = 512

B(

q̂b0,4

( ) (x

) )x B


t = 513

B ( q̂b0,3

( ) (x

) )x B


t = 514

B ((

q̂b0,4

) (x

) )x B


t = 515

B ( ( q̂b0,3

) (x

) )x B


t = 516

B ( ()

q̂b0,4

(x

) )x B


t = 517

B ( ( ) q̂b0,3

(x

) )x B


t = 518

B ( ( )(x

q̂0,3

) )x B


t = 519

B ( ( ) q̂0,4(x

) )x B


t = 520

B ( ( )

q̂0,3

(x

) )x B


t = 521

B ( ( q̂0,4 ) (x

) )x B


t = 522

B ( (

q̂0,3

) (x

) )x B


t = 523

B ( q̂0,4 ( ) (x

) )x B


t = 524

B(

q̂0,3

( ) (x

) )x B


t = 525

B q̂0,4 ( ( ) (x

) )x B


t = 526

B q̂2 ( ( ) (x

) )x B


t = 527

B(

q̂1

( ) (x

) )x B


t = 528

B ( q̂2 ( ) (x

) )x B


t = 529

B ( (

q̂1

) (x

) )x B


t = 530

B ( ( q̂2 ) (x

) )x B


t = 531

B ( ()xq̂b4

(x

) )x B


t = 532

B ( ( )x q̂b

3(x

) )x B


t = 533

B ( ( )x

(xq̂b4

) )x B


t = 534

B ( ( )x

(x q̂b

3) )

x B


t = 535

B ( ( )x

(x

)

q̂3

)x B


t = 536

B ( ( )x

(x q̂4 ) )

x B


t = 537

B ( ( )x

(xq̂3

) )x B


t = 538

B ( ( )x q̂4

(x

) )x B


t = 539

B ( ()xq̂3

(x

) )x B


t = 540

B ( ( q̂4)x

(x

) )x B


t = 541

B ((xq̂1

)x

(x

) )x B


t = 542

B ( (x q̂2

)x

(x

) )x B


t = 543

B ( (x

)xq̂1

(x

) )x B


t = 544

B ( (x

)x q̂2

(x

) )x B


t = 545

B ( (x

)x

(

q̂b4

) )x B


t = 546

B ( (x

)x

( q̂b3

) )x B


t = 547

B ( (x

)x

( )

q̂3

)x B


t = 548

B ( (x

)x

( q̂4 ) )x B


t = 549

B ( (x

)x

(xq̂1

) )x B


t = 550

B ( (x

)x

(x q̂2 ) )

x B


t = 551

B ( (x

)x

(x

)xq̂b4

)x B


t = 552

B ( (x

)x

(x

)x q̂b

3)x B


t = 553

B ( (x

)x

(x

)x

)

q̂b2

B


t = 554

B ( (x

)x

(x

)x q̂b

1) B


t = 555

B ( (x

)x

(x

)xq̂b2

) B


t = 556

B ( (x

)x

(x q̂b

1)x

) B


t = 557

B ( (x

)x

(xq̂b2

)x

) B


t = 558

B ( (x

)x q̂b

1(x

)x

) B


t = 559

B ( (x

)xq̂b2

(x

)x

) B


t = 560

B ( (x q̂b

1)x

(x

)x

) B


t = 561

B ((xq̂b2

)x

(x

)x

) B


t = 562

B ( q̂b1

(x

)x

(x

)x

) B


t = 563

B(

q̂b2

(x

)x

(x

)x

) B


t = 564

B q̂b1

( (x

)x

(x

)x

) B


t = 565

B q̂b0,3

( (x

)x

(x

)x

) B


t = 566

B(

q̂b0,4

(x

)x

(x

)x

) B


t = 567

B ( q̂b0,3

(x

)x

(x

)x

) B


t = 568

B ((x

q̂0,3

)x

(x

)x

) B


t = 569

B ( q̂0,4(x

)x

(x

)x

) B


t = 570

B(

q̂0,3

(x

)x

(x

)x

) B


t = 571

B q̂0,4 ( (x

)x

(x

)x

) B


t = 572

B q̂2 ( (x

)x

(x

)x

) B


t = 573

B(

q̂1

(x

)x

(x

)x

) B


t = 574

B ( q̂2(x

)x

(x

)x

) B


t = 575

B ((

q̂b4

)x

(x

)x

) B


t = 576

B ( ( q̂b3

)x

(x

)x

) B


t = 577

B ( ()

q̂b2

(x

)x

) B


t = 578

B ( ( q̂b1

) (x

)x

) B


t = 579

B ((

q̂b2

) (x

)x

) B


t = 580

B ( q̂b1

( ) (x

)x

) B


t = 581

B(

q̂b2

( ) (x

)x

) B


t = 582

B q̂b1

( ( ) (x

)x

) B


t = 583

B q̂b0,3

( ( ) (x

)x

) B


t = 584

B(

q̂b0,4

( ) (x

)x

) B


t = 585

B ( q̂b0,3

( ) (x

)x

) B


t = 586

B ((

q̂b0,4

) (x

)x

) B


t = 587

B ( ( q̂b0,3

) (x

)x

) B


t = 588

B ( ()

q̂b0,4

(x

)x

) B


t = 589

B ( ( ) q̂b0,3

(x

)x

) B


t = 590

B ( ( )(x

q̂0,3

)x

) B


t = 591

B ( ( ) q̂0,4(x

)x

) B


t = 592

B ( ( )

q̂0,3

(x

)x

) B


t = 593

B ( ( q̂0,4 ) (x

)x

) B


t = 594

B ( (

q̂0,3

) (x

)x

) B


t = 595

B ( q̂0,4 ( ) (x

)x

) B


t = 596

B(

q̂0,3

( ) (x

)x

) B


t = 597

B q̂0,4 ( ( ) (x

)x

) B


t = 598

B q̂2 ( ( ) (x

)x

) B


t = 599

B(

q̂1

( ) (x

)x

) B


t = 600

B ( q̂2 ( ) (x

)x

) B


t = 601

B ( (

q̂1

) (x

)x

) B


t = 602

B ( ( q̂2 ) (x

)x

) B


t = 603

B ( ()xq̂b4

(x

)x

) B


t = 604

B ( ( )x q̂b

3(x

)x

) B


t = 605

B ( ( )x

(xq̂b4

)x

) B


t = 606

B ( ( )x

(x q̂b

3)x

) B


t = 607

B ( ( )x

(x

)

q̂b2

) B


t = 608

B ( ( )x

(x q̂b

1) ) B


t = 609

B ( ( )x

(xq̂b2

) ) B


t = 610

B ( ( )x q̂b

1(x

) ) B


t = 611

B ( ()xq̂b2

(x

) ) B


t = 612

B ( ( q̂b1

)x

(x

) ) B


t = 613

B ((

q̂b2

)x

(x

) ) B


t = 614

B ( q̂b1

( )x

(x

) ) B


t = 615

B(

q̂b2

( )x

(x

) ) B


t = 616

B q̂b1

( ( )x

(x

) ) B


t = 617

B q̂b0,3

( ( )x

(x

) ) B


t = 618

B(

q̂b0,4

( )x

(x

) ) B


t = 619

B ( q̂b0,3

( )x

(x

) ) B


t = 620

B ((

q̂b0,4

)x

(x

) ) B


t = 621

B ( ( q̂b0,3

)x

(x

) ) B


t = 622

B ( ()x

q̂0,3

(x

) ) B


t = 623

B ( ( q̂0,4)x

(x

) ) B


t = 624

B ( (

q̂0,3

)x

(x

) ) B


t = 625

B ( q̂0,4 ( )x

(x

) ) B


t = 626

B(

q̂0,3

( )x

(x

) ) B


t = 627

B q̂0,4 ( ( )x

(x

) ) B


t = 628

B q̂2 ( ( )x

(x

) ) B


t = 629

B(

q̂1

( )x

(x

) ) B


t = 630

B ( q̂2 ( )x

(x

) ) B


t = 631

B ( (

q̂1

)x

(x

) ) B


t = 632

B ( ( q̂2)x

(x

) ) B


t = 633

B ( ()xq̂1

(x

) ) B


t = 634

B ( ( )x q̂2

(x

) ) B


t = 635

B ( ( )x

(

q̂b4

) ) B


t = 636

B ( ( )x

( q̂b3

) ) B


t = 637

B ( ( )x

( )

q̂3

) B


t = 638

B ( ( )x

( q̂4 ) ) B


t = 639

B ( ( )x

(xq̂1

) ) B


t = 640

B ( ( )x

(x q̂2 ) ) B


t = 641

B ( ( )x

(x

)xq̂b4

) B


t = 642

B ( ( )x

(x

)x q̂b

3) B


t = 643

B ( ( )x

(x

)x

)

q̂3B


t = 644

B ( ( )x

(x

)x q̂4 ) B


t = 645

B ( ( )x

(x

)xq̂3

) B


t = 646

B ( ( )x

(x q̂4

)x

) B


t = 647

B ( ( )x

(xq̂3

)x

) B


t = 648

B ( ( )x q̂4

(x

)x

) B


t = 649

B ( ()xq̂3

(x

)x

) B


t = 650

B ( ( q̂4)x

(x

)x

) B


t = 651

B ((xq̂1

)x

(x

)x

) B


t = 652

B ( (x q̂2

)x

(x

)x

) B


t = 653

B ( (x

)xq̂1

(x

)x

) B


t = 654

B ( (x

)x q̂2

(x

)x

) B


t = 655

B ( (x

)x

(

q̂b4

)x

) B


t = 656

B ( (x

)x

( q̂b3

)x

) B


t = 657

B ( (x

)x

()

q̂b2

) B


t = 658

B ( (x

)x

( q̂b1

) ) B


t = 659

B ( (x

)x

(

q̂b2

) ) B


t = 660

B ( (x

)x q̂b

1( ) ) B


t = 661

B ( (x

)xq̂b2

( ) ) B


t = 662

B ( (x q̂b

1)x

( ) ) B


t = 663

B ((xq̂b2

)x

( ) ) B


t = 664

B ( q̂b1

(x

)x

( ) ) B


t = 665

B(

q̂b2

(x

)x

( ) ) B


t = 666

B q̂b1

( (x

)x

( ) ) B


t = 667

B q̂b0,3

( (x

)x

( ) ) B


t = 668

B(

q̂b0,4

(x

)x

( ) ) B


t = 669

B ( q̂b0,3

(x

)x

( ) ) B


t = 670

B ((x

q̂0,3

)x

( ) ) B


t = 671

B ( q̂0,4(x

)x

( ) ) B


t = 672

B(

q̂0,3

(x

)x

( ) ) B


t = 673

B q̂0,4 ( (x

)x

( ) ) B


t = 674

B q̂2 ( (x

)x

( ) ) B


t = 675

B(

q̂1

(x

)x

( ) ) B


t = 676

B ( q̂2(x

)x

( ) ) B


t = 677

B ((

q̂b4

)x

( ) ) B


t = 678

B ( ( q̂b3

)x

( ) ) B


t = 679

B ( ()

q̂b2

( ) ) B


t = 680

B ( ( q̂b1

) ( ) ) B


t = 681

B ((

q̂b2

) ( ) ) B


t = 682

B ( q̂b1

( ) ( ) ) B


t = 683

B(

q̂b2

( ) ( ) ) B


t = 684

B q̂b1

( ( ) ( ) ) B


t = 685

B q̂b0,3

( ( ) ( ) ) B


t = 686

B(

q̂b0,4

( ) ( ) ) B


t = 687

B ( q̂b0,3

( ) ( ) ) B


t = 688

B ((

q̂b0,4

) ( ) ) B


t = 689

B ( ( q̂b0,3

) ( ) ) B


t = 690

B ( ()

q̂b0,4

( ) ) B


t = 691

B ( ( ) q̂b0,3

( ) ) B


t = 692

B ( ( )(

q̂b0,4

) ) B


t = 693

B ( ( ) ( q̂b0,3

) ) B


t = 694

B ( ( ) ()

q̂b0,4

) B


t = 695

B ( ( ) ( ) q̂b0,3

) B


t = 696

B ( ( ) ( ))

q̂b0,4

B


t = 697

B ( ( ) ( ) ) q̂b0,3 B


t = 698

B ( ( ) ( ) ) q̂b0,1 B


t = 699

B ( ( ) ( ))

q̂b0,2

B


t = 700

B ( ( ) ( ) q̂b0,1

) B


t = 701

B ( ( ) ()

q̂b0,2

) B


t = 702

B ( ( ) ( q̂b0,1

) ) B


t = 703

B ( ( )(

q̂b0,2

) ) B


t = 704

B ( ( ) q̂b0,1

( ) ) B


t = 705

B ( ()

q̂b0,2

( ) ) B


t = 706

B ( ( q̂b0,1

) ( ) ) B


t = 707

B ((

q̂b0,2

) ( ) ) B


t = 708

B ( q̂b0,1

( ) ( ) ) B


t = 709

B(

q̂b0,2

( ) ( ) ) B


t = 710

B q̂b0,1

( ( ) ( ) ) B

The simulated RPCA accepts the input


t = 711

B + ( ( ) ( ) ) B


t = 712

B ( + ( ) ( ) ) B


t = 713

B ( ( + ) ( ) ) B


t = 714

B ( ( ) + ( ) ) B


t = 715

B ( ( ) ( + ) ) B


t = 716

B ( ( ) ( ) + ) B


t = 717

B ( ( ) ( ) ) + B


t = 718

B ( ( ) ( ) ) � +


t = 719

B ( ( ) ( ) � ) +


t = 720

B ( ( ) ( � ) ) +


t = 721

B ( ( ) � ( ) ) +


t = 722

B ( ( � ) ) ( ) +


t = 723

B ( � ( ) ) ) ( +


t = 724

B � ( ) ( ) ) ( +


t = 725

� B ) ( ) ( ( ) +


t = 726

� ) B ) ( ( ( ) +


t = 727

� ) ) B ( ( ) ( +


t = 728

� ) ) ( B ) ( ( +


t = 729

� ) ) ( ) B ( ( +


t = 730

� ) ) ( ) ( B ( +


t = 731

� ) ) ( ) ( ( B +


t = 732

� ) ) ( ) ( ( Y B



t = 733

� ) ) ( ) ( ( Y B

language recognition by reversible partitioned cellular

Documents