User blog:Rgetar/4368 ordinals from 0 to BHO

This is a list of 4368 ordinals from 0 to BHO, made by program, which I wrote in the last few days.

Definitions see here.

Ordinals in the list are expressed using generalized Veblen function φ(X), X is array of variables.

I noticed that "φ" here is redundant, so, here I use designation "(X)" instead of "φ(X)".

Designations of array X:


 * if cofbeo(X) = 0 then X is designated as eo(X; 0)


 * if cofbeo(X) = 1 then X is designated as eo(X; 1), eo(X; 0)


 * if cofbeo(X) = 2 then X is designated as eo(X; 2), eo(X; 1), eo(X; 0)


 * if cofbeo(X) = 3 then X is designated as eo(X; 3), eo(X; 2), eo(X; 1), eo(X; 0)


 * if cofbeo(X) > 3, for example

X = ⟨γ1⟩β1, ⟨γ2⟩β2, ⟨γ3⟩β3, ⟨γ4⟩β4, ⟨γ5⟩β5,

where ⟨c⟩e is "coordinates and element" pair with coordinates c and element e at coordinates c,

first I tried to use designation "e @ c" for ⟨c⟩e, but this is suitable only if c is ordinal, not if it is array of ordinals. But then I came up with to designate c (both ordinals and arrays) as left superscript of e:

⟨c⟩e = ce

I use this designation in this list (not to be confused with tetration, which is not used in this list).

Also I use designations:

ωα = (α) = (α @ 0) = (0α)

εα = (1, α) = (1 @ 1, α @ 0) = (11, 0α)

(ε0 = (1, 0) = (1 @ 1) = (11))

ζα = (2, α) = (2 @ 1, α @ 0) = (12, 0α)

(ζ0 = (2, 0) = (2 @ 1) = (12) - Cantor's ordinal)

ηα = (3, α) = (3 @ 1, α @ 0) = (13, 0α)

(η0 = (3, 0) = (3 @ 1) = (13))

Γα = (1, 0, α) = (1 @ 2, α @ 0) = (21, 0α)

(Γ0 = (1, 0, 0) = (1 @ 2) = (21) - Feferman–Schütte ordinal)

Also here I introduced some new designations:

Δα = (1, 0, 0, α) = (1 @ 3, α @ 0) = (31, 0α)

(Δ0 = (1, 0, 0, 0) = (1 @ 3) = (31) - Ackermann ordinal)

vα = (⟨ω⟩1, α) = (1 @ ω, α @ 0) = (ω1, 0α)

(v0 = (⟨ω⟩1) = (1 @ ω) = (ω1) - SVO)

Vα = (⟨1, 0⟩1, α) = (⟨1, 0⟩1, α @ 0) = (1, 01, 0α) = (11 1, 0α)

(V0 = (⟨1, 0⟩1) = (1, 01) = (11 1) - LVO)

Parameters of the list:

In the list I used clested modified 6th fundamental sequence system]], 3 levels, without limitation on the number of consecutive expansions.

Unlike my previous lists, here I expanded more than 1 element of a fundamental sequence at the same level.

Also I used different numbers of expanded elements and different lengths of displayed parts of fundamental sequences at these levels:

level 1

length of displayed parts of fundamental sequences - 9

number of expanded elements - 1 (however, this number does not affect anything)

level 2

length of displayed parts of fundamental sequences - 6

number of expanded elements - 3

level 3

length of displayed parts of fundamental sequences - 4

number of expanded elements - 2

Initial list:

0 and BHO

0 — ω
FS #1

0

1

2

3

4

5

6

7

8

9

ω — ω2
FS #2

ω

ω + 1

ω + 2

ω + 3

ω + 4

ω + 5

ω + 6

ω2 — ω2
FS #3

ω2

ω2 + 1

ω2 + 2

ω2 + 3

ω2 + 4

FS #4

ω3

ω3 + 1

ω3 + 2

ω3 + 3

ω3 + 4

FS #5

ω4

ω5

ω6

ω7

ω2 — ωω
FS #6

ω2

ω2 + 1

ω2 + 2

ω2 + 3

ω2 + 4

FS #7

ω2 + ω

ω2 + ω2

ω2 + ω3

ω2 + ω4

FS #8

ω22

ω23

ω24

ω25

FS #9

ω3

ω3 + 1

ω3 + 2

ω3 + 3

ω3 + 4

FS #10

ω3 + ω

ω3 + ω2

ω3 + ω3

ω3 + ω4

FS #11

ω3 + ω2

ω3 + ω22

ω3 + ω23

ω3 + ω24

FS #12

ω32

ω33

ω34

ω35

FS #13

ω4

ω5

ω6

ω7

ωω — ωω ω
FS #14

ωω

ωω + 1

ωω + 2

ωω + 3

ωω + 4

FS #15

ωω + ω

ωω + ω2

ωω + ω3

ωω + ω4

FS #16

ωω2

ωω3

ωω4

ωω5

FS #17

ωω + 1

ωω + 2

ωω + 3

ωω + 4

FS #18

ωω2

ωω3

ωω4

ωω5

FS #19

ωω 2

ωω 3

ωω 4

ωω 5

ωω ω — ε0
FS #20

ωω ω

ωω ω + 1

ωω ω + 2

ωω ω + 3

ωω ω + 4

FS #21

ωω ω + ω

ωω ω + ω2

ωω ω + ω3

ωω ω + ω4

FS #22

ωω ω + ωω

ωω ω + ωω 2

ωω ω + ωω 3

ωω ω + ωω 4

FS #23

ωω ω 2

ωω ω 3

ωω ω 4

ωω ω 5

FS #24

ωω ω + 1

ωω ω + 2

ωω ω + 3

ωω ω + 4

FS #25

ωω ω + ω

ωω ω + ω2

ωω ω + ω3

ωω ω + ω4

FS #26

ωω ω2

ωω ω3

ωω ω4

ωω ω5

FS #27

ωω ω + 1

ωω ω + 2

ωω ω + 3

ωω ω + 4

FS #28

ωω ω2

ωω ω3

ωω ω4

ωω ω5

FS #29

ωω ω 2

ωω ω 3

ωω ω 4

ωω ω 5

FS #30

ωω ω ω

ωω ω ω ω

ωω ω ω ω ω

ωω ω ω ω ω ω

ε0 — ε1
FS #31

ε0

ε0 + 1

ε0 + 2

ε0 + 3

ε0 + 4

ε0 + 5

ε0 + 6

FS #32

ε0 + ω

ε0 + ω + 1

ε0 + ω + 2

ε0 + ω + 3

ε0 + ω + 4

FS #33

ε0 + ω2

ε0 + ω3

ε0 + ω4

ε0 + ω5

FS #34

ε0 + ω2

ε0 + ω3

ε0 + ω4

ε0 + ω5

FS #35

ε0 + ωω

ε0 + ωω + 1

ε0 + ωω + 2

ε0 + ωω + 3

ε0 + ωω + 4

FS #36

ε0 + ωω + ω

ε0 + ωω + ω2

ε0 + ωω + ω3

ε0 + ωω + ω4

FS #37

ε0 + ωω2

ε0 + ωω3

ε0 + ωω4

ε0 + ωω5

FS #38

ε0 + ωω + 1

ε0 + ωω + 2

ε0 + ωω + 3

ε0 + ωω + 4

FS #39

ε0 + ωω2

ε0 + ωω3

ε0 + ωω4

ε0 + ωω5

FS #40

ε0 + ωω 2

ε0 + ωω 3

ε0 + ωω 4

ε0 + ωω 5

FS #41

ε0 + ωω ω

ε0 + ωω ω ω

ε0 + ωω ω ω ω

ε0 + ωω ω ω ω ω

FS #42

ε02

ε02 + 1

ε02 + 2

ε02 + 3

ε02 + 4

FS #43

ε02 + ω

ε02 + ωω

ε02 + ωω ω

ε02 + ωω ω ω

FS #44

ε03

ε03 + 1

ε03 + 2

ε03 + 3

ε03 + 4

FS #45

ε03 + ω

ε03 + ωω

ε03 + ωω ω

ε03 + ωω ω ω

FS #46

ε04

ε05

ε06

ε07

FS #47

ωε0 + 1

ωε0 + 1 + 1

ωε0 + 1 + 2

ωε0 + 1 + 3

ωε0 + 1 + 4

FS #48

ωε0 + 1 + ω

ωε0 + 1 + ωω

ωε0 + 1 + ωω ω

ωε0 + 1 + ωω ω ω

FS #49

ωε0 + 1 + ε0

ωε0 + 1 + ε02

ωε0 + 1 + ε03

ωε0 + 1 + ε04

FS #50

ωε0 + 12

ωε0 + 13

ωε0 + 14

ωε0 + 15

FS #51

ωε0 + 2

ωε0 + 3

ωε0 + 4

ωε0 + 5

FS #52

ωε0 + ω

ωε0 + ω ω

ωε0 + ω ω ω

ωε0 + ω ω ω ω

FS #53

ωε02

ωε03

ωε04

ωε05

FS #54

ωω ε0 + 1

ωω ε0 + 1 + 1

ωω ε0 + 1 + 2

ωω ε0 + 1 + 3

ωω ε0 + 1 + 4

FS #55

ωω ε0 + 1 + ω

ωω ε0 + 1 + ωω

ωω ε0 + 1 + ωω ω

ωω ε0 + 1 + ωω ω ω

FS #56

ωω ε0 + 1 + ε0

ωω ε0 + 1 + ωε02

ωω ε0 + 1 + ωε03

ωω ε0 + 1 + ωε04

FS #57

ωω ε0 + 1 2

ωω ε0 + 1 3

ωω ε0 + 1 4

ωω ε0 + 1 5

FS #58

ωω ε0 + 1 + 1

ωω ε0 + 1 + 2

ωω ε0 + 1 + 3

ωω ε0 + 1 + 4

FS #59

ωω ε0 + 1 + ω

ωω ε0 + 1 + ωω

ωω ε0 + 1 + ωω ω

ωω ε0 + 1 + ωω ω ω

FS #60

ωω ε0 + 1 + ε0

ωω ε0 + 1 + ε02

ωω ε0 + 1 + ε03

ωω ε0 + 1 + ε04

FS #61

ωω ε0 + 12

ωω ε0 + 13

ωω ε0 + 14

ωω ε0 + 15

FS #62

ωω ε0 + 2

ωω ε0 + 3

ωω ε0 + 4

ωω ε0 + 5

FS #63

ωω ε0 + ω

ωω ε0 + ω ω

ωω ε0 + ω ω ω

ωω ε0 + ω ω ω ω

FS #64

ωω ε02

ωω ε03

ωω ε04

ωω ε05

FS #65

ωω ω ε0 + 1

ωω ω ω ε0 + 1

ωω ω ω ω ε0 + 1

ωω ω ω ω ω ε0 + 1

ε1 — ε2
FS #66

ε1

ε1 + 1

ε1 + 2

ε1 + 3

ε1 + 4

FS #67

ε1 + ω

ε1 + ωω

ε1 + ωω ω

ε1 + ωω ω ω

FS #68

ε1 + ε0

ε1 + ε02

ε1 + ε03

ε1 + ε04

FS #69

ε1 + ωε0 + 1

ε1 + ωω ε0 + 1

ε1 + ωω ω ε0 + 1

ε1 + ωω ω ω ε0 + 1

FS #70

ε12

ε13

ε14

ε15

FS #71

ωε1 + 1

ωω ε1 + 1

ωω ω ε1 + 1

ωω ω ω ε1 + 1

ε2 — εω
FS #72

ε2

ε2 + 1

ε2 + 2

ε2 + 3

ε2 + 4

FS #73

ε2 + ω

ε2 + ωω

ε2 + ωω ω

ε2 + ωω ω ω

FS #74

ε2 + ε0

ε2 + ε02

ε2 + ε03

ε2 + ε04

FS #75

ε2 + ωε0 + 1

ε2 + ωω ε0 + 1

ε2 + ωω ω ε0 + 1

ε2 + ωω ω ω ε0 + 1

FS #76

ε2 + ε1

ε2 + ε12

ε2 + ε13

ε2 + ε14

FS #77

ε2 + ωε1 + 1

ε2 + ωω ε1 + 1

ε2 + ωω ω ε1 + 1

ε2 + ωω ω ω ε1 + 1

FS #78

ε22

ε23

ε24

ε25

FS #79

ωε2 + 1

ωω ε2 + 1

ωω ω ε2 + 1

ωω ω ω ε2 + 1

FS #80

ε3

ε4

ε5

ε6

εω — εω{{sup|ω}}
FS #81

εω

εω + 1

εω + 2

εω + 3

εω + 4

FS #82

εω + ω

εω + ωω

εω + ωω ω

εω + ωω ω ω

FS #83

εω + ε0

εω + ε1

εω + ε2

εω + ε3

FS #84

εω2

εω3

εω4

εω5

FS #85

ωεω + 1

ωω εω + 1

ωω ω εω + 1

ωω ω ω εω + 1

FS #86

εω + 1

εω + 2

εω + 3

εω + 4

FS #87

εω2

εω3

εω4

εω5

FS #88

εω2

εω3

εω4

εω5

εω{{sup|ω}} — εε 0
FS #89

εωω

εωω + 1

εωω + 2

εωω + 3

εωω + 4

FS #90

εωω + ω

εωω + ωω

εωω + ωω ω

εωω + ωω ω ω

FS #91

εωω + ε0

εωω + ε1

εωω + ε2

εωω + ε3

FS #92

εωω + εω

εωω + εω2

εωω + εω3

εωω + εω4

FS #93

εωω2

εωω3

εωω4

εωω5

FS #94

ωεω ω + 1

ωω εω ω + 1

ωω ω εω ω + 1

ωω ω ω εω ω + 1

FS #95

εωω + 1

εωω + 2

εωω + 3

εωω + 4

FS #96

εωω + ω

εωω + ω2

εωω + ω3

εωω + ω4

FS #97

εωω2

εωω3

εωω4

εωω5

FS #98

εωω + 1

εωω + 2

εωω + 3

εωω + 4

FS #99

εωω2

εωω3

εωω4

εωω5

FS #100

εωω 2

εωω 3

εωω 4

εωω 5

FS #101

εωω ω

εωω ω ω

εωω ω ω ω

εωω ω ω ω ω

εε 0 — εε ε 0
FS #102

εε 0

εε 0 + 1

εε 0 + 2

εε 0 + 3

εε 0 + 4

FS #103

εε 0 + ω

εε 0 + ωω

εε 0 + ωω ω

εε 0 + ωω ω ω

FS #104

εε 0 + ε0

εε 0 + ε1

εε 0 + ε2

εε 0 + ε3

FS #105

εε 0 + εω

εε 0 + εωω

εε 0 + εωω ω

εε 0 + εωω ω ω

FS #106

εε 0 2

εε 0 3

εε 0 4

εε 0 5

FS #107

ωεε 0 + 1

ωω εε 0 + 1

ωω ω εε 0 + 1

ωω ω ω εε 0 + 1

FS #108

εε 0 + 1

εε 0 + 2

εε 0 + 3

εε 0 + 4

FS #109

εε 0 + ω

εε 0 + ωω

εε 0 + ωω ω

εε 0 + ωω ω ω

FS #110

εε 02

εε 03

εε 04

εε 05

FS #111

εωε 0 + 1

εωω ε 0 + 1

εωω ω ε 0 + 1

εωω ω ω ε 0 + 1

FS #112

εε 1

εε 2

εε 3

εε 4

FS #113

εε ω

εε ωω

εε ωω ω

εε ωω ω ω

εε ε 0 — ζ0
FS #114

εε ε 0

εε ε 0 + 1

εε ε 0 + 2

εε ε 0 + 3

εε ε 0 + 4

FS #115

εε ε 0 + ω

εε ε 0 + ωω

εε ε 0 + ωω ω

εε ε 0 + ωω ω ω

FS #116

εε ε 0 + ε0

εε ε 0 + ε1

εε ε 0 + ε2

εε ε 0 + ε3

FS #117

εε ε 0 + εω

εε ε 0 + εωω

εε ε 0 + εωω ω

εε ε 0 + εωω ω ω

FS #118

εε ε 0 + εε 0

εε ε 0 + εε 1

εε ε 0 + εε 2

εε ε 0 + εε 3

FS #119

εε ε 0 + εε ω

εε ε 0 + εε ωω

εε ε 0 + εε ωω ω

εε ε 0 + εε ωω ω ω

FS #120

εε ε 0 2

εε ε 0 3

εε ε 0 4

εε ε 0 5

FS #121

ωεε ε 0 + 1

ωω εε ε 0 + 1

ωω ω εε ε 0 + 1

ωω ω ω εε ε 0 + 1

FS #122

εε ε 0 + 1

εε ε 0 + 2

εε ε 0 + 3

εε ε 0 + 4

FS #123

εε ε 0 + ω

εε ε 0 + ωω

εε ε 0 + ωω ω

εε ε 0 + ωω ω ω

FS #124

εε ε 0 + ε0

εε ε 0 + ε1

εε ε 0 + ε2

εε ε 0 + ε3

FS #125

εε ε 0 + εω

εε ε 0 + εωω

εε ε 0 + εωω ω

εε ε 0 + εωω ω ω

FS #126

εε ε 0 2

εε ε 0 3

εε ε 0 4

εε ε 0 5

FS #127

εωε ε 0 + 1

εωω ε ε 0 + 1

εωω ω ε ε 0 + 1

εωω ω ω ε ε 0 + 1

FS #128

εε ε 0 + 1

εε ε 0 + 2

εε ε 0 + 3

εε ε 0 + 4

FS #129

εε ε 0 + ω

εε ε 0 + ωω

εε ε 0 + ωω ω

εε ε 0 + ωω ω ω

FS #130

εε ε 02

εε ε 03

εε ε 04

εε ε 05

FS #131

εε ωε 0 + 1

εε ωω ε 0 + 1

εε ωω ω ε 0 + 1

εε ωω ω ω ε 0 + 1

FS #132

εε ε 1

εε ε 2

εε ε 3

εε ε 4

FS #133

εε ε ω

εε ε ωω

εε ε ωω ω

εε ε ωω ω ω

FS #134

εε ε ε 0

εε ε ε ε 0

εε ε ε ε ε 0

εε ε ε ε ε ε 0

ζ0 — η0
FS #135

ζ0

ζ0 + 1

ζ0 + 2

ζ0 + 3

ζ0 + 4

FS #136

ζ0 + ω

ζ0 + ωω

ζ0 + ωω ω

ζ0 + ωω ω ω

FS #137

ζ0 + ε0

ζ0 + εε 0

ζ0 + εε ε 0

ζ0 + εε ε ε 0

FS #138

ζ02

ζ03

ζ04

ζ05

FS #139

ωζ0 + 1

ωω ζ0 + 1

ωω ω ζ0 + 1

ωω ω ω ζ0 + 1

FS #140

εζ 0 + 1

εε ζ 0 + 1

εε ε ζ 0 + 1

εε ε ε ζ 0 + 1

FS #141

ζ1

ζ2

ζ3

ζ4

FS #142

ζω

ζωω

ζωω ω

ζωω ω ω

FS #143

ζε 0

ζε ε 0

ζε ε ε 0

ζε ε ε ε 0

FS #144

ζζ 0

ζζ ζ 0

ζζ ζ ζ 0

ζζ ζ ζ ζ 0

η0 — (ω, 0)
FS #145

η0

η0 + 1

η0 + 2

η0 + 3

η0 + 4

FS #146

η0 + ω

η0 + ωω

η0 + ωω ω

η0 + ωω ω ω

FS #147

η0 + ε0

η0 + εε 0

η0 + εε ε 0

η0 + εε ε ε 0

FS #148

η0 + ζ0

η0 + ζζ 0

η0 + ζζ ζ 0

η0 + ζζ ζ ζ 0

FS #149

η02

η03

η04

η05

FS #150

ωη0 + 1

ωω η0 + 1

ωω ω η0 + 1

ωω ω ω η0 + 1

FS #151

εη 0 + 1

εε η 0 + 1

εε ε η 0 + 1

εε ε ε η 0 + 1

FS #152

ζη 0 + 1

ζζ η 0 + 1

ζζ ζ η 0 + 1

ζζ ζ ζ η 0 + 1

FS #153

η1

η2

η3

η4

FS #154

ηω

ηωω

ηωω ω

ηωω ω ω

FS #155

ηε 0

ηε ε 0

ηε ε ε 0

ηε ε ε ε 0

FS #156

ηζ 0

ηζ ζ 0

ηζ ζ ζ 0

ηζ ζ ζ ζ 0

FS #157

ηη 0

ηη η 0

ηη η η 0

ηη η η η 0

FS #158

(4, 0)

(5, 0)

(6, 0)

(7, 0)

(ω, 0) — (ωω, 0)
FS #159

(ω, 0)

(ω, 0) + 1

(ω, 0) + 2

(ω, 0) + 3

(ω, 0) + 4

FS #160

(ω, 0) + ω

(ω, 0) + ωω

(ω, 0) + ωω ω

(ω, 0) + ωω ω ω

FS #161

(ω, 0) + ε0

(ω, 0) + ζ0

(ω, 0) + η0

(ω, 0) + (4, 0)

FS #162

(ω, 0)2

(ω, 0)3

(ω, 0)4

(ω, 0)5

FS #163

ω(ω, 0) + 1

ε(ω, 0) + 1

ζ(ω, 0) + 1

η(ω, 0) + 1

FS #164

(ω, 1)

(ω, 2)

(ω, 3)

(ω, 4)

FS #165

(ω, ω)

(ω, ωω)

(ω, ωω ω )

(ω, ωω ω ω )

FS #166

(ω, ε0)

(ω, ζ0)

(ω, η0)

(ω, (4, 0))

FS #167

(ω, (ω, 0))

(ω, (ω, (ω, 0)))

(ω, (ω, (ω, (ω, 0))))

(ω, (ω, (ω, (ω, (ω, 0)))))

FS #168

(ω + 1, 0)

(ω + 2, 0)

(ω + 3, 0)

(ω + 4, 0)

FS #169

(ω2, 0)

(ω3, 0)

(ω4, 0)

(ω5, 0)

FS #170

(ω2, 0)

(ω3, 0)

(ω4, 0)

(ω5, 0)

FS #171

(ωω, 0) — (ε0, 0)
(ωω, 0)

(ωω, 0) + 1

(ωω, 0) + 2

(ωω, 0) + 3

(ωω, 0) + 4

FS #172

(ωω, 0) + ω

(ωω, 0) + ωω

(ωω, 0) + ωω ω

(ωω, 0) + ωω ω ω

FS #173

(ωω, 0) + ε0

(ωω, 0) + ζ0

(ωω, 0) + η0

(ωω, 0) + (4, 0)

FS #174

(ωω, 0) + (ω, 0)

(ωω, 0) + (ω2, 0)

(ωω, 0) + (ω3, 0)

(ωω, 0) + (ω4, 0)

FS #175

(ωω, 0)2

(ωω, 0)3

(ωω, 0)4

(ωω, 0)5

FS #176

ω(ω ω, 0) + 1

ε(ωω, 0) + 1

ζ(ωω, 0) + 1

η(ωω, 0) + 1

FS #177

(ω, (ωω, 0) + 1)

(ω2, (ωω, 0) + 1)

(ω3, (ωω, 0) + 1)

(ω4, (ωω, 0) + 1)

FS #178

(ωω, 1)

(ωω, 2)

(ωω, 3)

(ωω, 4)

FS #179

(ωω, ω)

(ωω, ωω)

(ωω, ωω ω )

(ωω, ωω ω ω )

FS #180

(ωω, ε0)

(ωω, ζ0)

(ωω, η0)

(ωω, (4, 0))

FS #181

(ωω, (ω, 0))

(ωω, (ω2, 0))

(ωω, (ω3, 0))

(ωω, (ω4, 0))

FS #182

(ωω, (ωω, 0))

(ωω, (ωω, (ωω, 0)))

(ωω, (ωω, (ωω, (ωω, 0))))

(ωω, (ωω, (ωω, (ωω, (ωω, 0)))))

FS #183

(ωω + 1, 0)

(ωω + 2, 0)

(ωω + 3, 0)

(ωω + 4, 0)

FS #184

(ωω + ω, 0)

(ωω + ω2, 0)

(ωω + ω3, 0)

(ωω + ω4, 0)

FS #185

(ωω2, 0)

(ωω3, 0)

(ωω4, 0)

(ωω5, 0)

FS #186

(ωω + 1, 0)

(ωω + 2, 0)

(ωω + 3, 0)

(ωω + 4, 0)

FS #187

(ωω2, 0)

(ωω3, 0)

(ωω4, 0)

(ωω5, 0)

FS #188

(ωω 2, 0)

(ωω 3, 0)

(ωω 4, 0)

(ωω 5, 0)

FS #189

(ωω ω, 0)

(ωω ω ω, 0)

(ωω ω ω ω , 0)

(ωω ω ω ω ω  , 0)

(ε0, 0) — ((ε0, 0), 0)
FS #190

(ε0, 0)

(ε0, 0) + 1

(ε0, 0) + 2

(ε0, 0) + 3

(ε0, 0) + 4

FS #191

(ε0, 0) + ω

(ε0, 0) + ωω

(ε0, 0) + ωω ω

(ε0, 0) + ωω ω ω

FS #192

(ε0, 0) + ε0

(ε0, 0) + ζ0

(ε0, 0) + η0

(ε0, 0) + (4, 0)

FS #193

(ε0, 0) + (ω, 0)

(ε0, 0) + (ωω, 0)

(ε0, 0) + (ωω ω, 0)

(ε0, 0) + (ωω ω ω, 0)

FS #194

(ε0, 0)2

(ε0, 0)3

(ε0, 0)4

(ε0, 0)5

FS #195

ω(ε0, 0) + 1

ε(ε 0, 0) + 1

ζ(ε 0, 0) + 1

η(ε 0, 0) + 1

FS #196

(ω, (ε0, 0) + 1)

(ωω, (ε0, 0) + 1)

(ωω ω, (ε0, 0) + 1)

(ωω ω ω, (ε0, 0) + 1)

FS #197

(ε0, 1)

(ε0, 2)

(ε0, 3)

(ε0, 4)

FS #198

(ε0, ω)

(ε0, ωω)

(ε0, ωω ω )

(ε0, ωω ω ω )

FS #199

(ε0, ε0)

(ε0, ζ0)

(ε0, η0)

(ε0, (4, 0))

FS #200

(ε0, (ω, 0))

(ε0, (ωω, 0))

(ε0, (ωω ω, 0))

(ε0, (ωω ω ω, 0))

FS #201

(ε0, (ε0, 0))

(ε0, (ε0, (ε0, 0)))

(ε0, (ε0, (ε0, (ε0, 0))))

(ε0, (ε0, (ε0, (ε0, (ε0, 0)))))

FS #202

(ε0 + 1, 0)

(ε0 + 2, 0)

(ε0 + 3, 0)

(ε0 + 4, 0)

FS #203

(ε0 + ω, 0)

(ε0 + ωω, 0)

(ε0 + ωω ω, 0)

(ε0 + ωω ω ω, 0)

FS #204

(ε02, 0)

(ε03, 0)

(ε04, 0)

(ε05, 0)

FS #205

(ωε0 + 1, 0)

(ωω ε0 + 1, 0)

(ωω ω ε0 + 1, 0)

(ωω ω ω ε0 + 1 , 0)

FS #206

(ε1, 0)

(ε2, 0)

(ε3, 0)

(ε4, 0)

FS #207

(εω, 0)

(εωω, 0)

(εωω ω, 0)

(εωω ω ω, 0)

FS #208

(εε 0, 0)

(εε ε 0, 0)

(εε ε ε 0 , 0)

(εε ε ε ε 0  , 0)

FS #209

(ζ0, 0)

(η0, 0)

((4, 0), 0)

((5, 0), 0)

FS #210

((ω, 0), 0)

((ωω, 0), 0)

((ωω ω, 0), 0)

((ωω ω ω, 0), 0)

((ε0, 0), 0) — Γ0
FS #211

((ε0, 0), 0)

((ε0, 0), 0) + 1

((ε0, 0), 0) + 2

((ε0, 0), 0) + 3

((ε0, 0), 0) + 4

FS #212

((ε0, 0), 0) + ω

((ε0, 0), 0) + ωω

((ε0, 0), 0) + ωω ω

((ε0, 0), 0) + ωω ω ω

FS #213

((ε0, 0), 0) + ε0

((ε0, 0), 0) + ζ0

((ε0, 0), 0) + η0

((ε0, 0), 0) + (4, 0)

FS #214

((ε0, 0), 0) + (ω, 0)

((ε0, 0), 0) + (ωω, 0)

((ε0, 0), 0) + (ωω ω, 0)

((ε0, 0), 0) + (ωω ω ω, 0)

FS #215

((ε0, 0), 0) + (ε0, 0)

((ε0, 0), 0) + (ζ0, 0)

((ε0, 0), 0) + (η0, 0)

((ε0, 0), 0) + ((4, 0), 0)

FS #216

((ε0, 0), 0) + ((ω, 0), 0)

((ε0, 0), 0) + ((ωω, 0), 0)

((ε0, 0), 0) + ((ωω ω, 0), 0)

((ε0, 0), 0) + ((ωω ω ω, 0), 0)

FS #217

((ε0, 0), 0)2

((ε0, 0), 0)3

((ε0, 0), 0)4

((ε0, 0), 0)5

FS #218

ω((ε0, 0), 0) + 1

ε((ε 0, 0), 0) + 1

ζ((ε 0, 0), 0) + 1

η((ε 0, 0), 0) + 1

FS #219

(ω, ((ε0, 0), 0) + 1)

(ωω, ((ε0, 0), 0) + 1)

(ωω ω, ((ε0, 0), 0) + 1)

(ωω ω ω, ((ε0, 0), 0) + 1)

FS #220

(ε0, ((ε0, 0), 0) + 1)

(ζ0, ((ε0, 0), 0) + 1)

(η0, ((ε0, 0), 0) + 1)

((4, 0), ((ε0, 0), 0) + 1)

FS #221

((ω, 0), ((ε0, 0), 0) + 1)

((ωω, 0), ((ε0, 0), 0) + 1)

((ωω ω, 0), ((ε0, 0), 0) + 1)

((ωω ω ω, 0), ((ε0, 0), 0) + 1)

FS #222

((ε0, 0), 1)

((ε0, 0), 2)

((ε0, 0), 3)

((ε0, 0), 4)

FS #223

((ε0, 0), ω)

((ε0, 0), ωω)

((ε0, 0), ωω ω )

((ε0, 0), ωω ω ω )

FS #224

((ε0, 0), ε0)

((ε0, 0), ζ0)

((ε0, 0), η0)

((ε0, 0), (4, 0))

FS #225

((ε0, 0), (ω, 0))

((ε0, 0), (ωω, 0))

((ε0, 0), (ωω ω, 0))

((ε0, 0), (ωω ω ω, 0))

FS #226

((ε0, 0), (ε0, 0))

((ε0, 0), (ζ0, 0))

((ε0, 0), (η0, 0))

((ε0, 0), ((4, 0), 0))

FS #227

((ε0, 0), ((ω, 0), 0))

((ε0, 0), ((ωω, 0), 0))

((ε0, 0), ((ωω ω, 0), 0))

((ε0, 0), ((ωω ω ω, 0), 0))

FS #228

((ε0, 0), ((ε0, 0), 0))

((ε0, 0), ((ε0, 0), ((ε0, 0), 0)))

((ε0, 0), ((ε0, 0), ((ε0, 0), ((ε0, 0), 0))))

((ε0, 0), ((ε0, 0), ((ε0, 0), ((ε0, 0), ((ε0, 0), 0)))))

FS #229

((ε0, 0) + 1, 0)

((ε0, 0) + 2, 0)

((ε0, 0) + 3, 0)

((ε0, 0) + 4, 0)

FS #230

((ε0, 0) + ω, 0)

((ε0, 0) + ωω, 0)

((ε0, 0) + ωω ω, 0)

((ε0, 0) + ωω ω ω, 0)

FS #231

((ε0, 0) + ε0, 0)

((ε0, 0) + ζ0, 0)

((ε0, 0) + η0, 0)

((ε0, 0) + (4, 0), 0)

FS #232

((ε0, 0) + (ω, 0), 0)

((ε0, 0) + (ωω, 0), 0)

((ε0, 0) + (ωω ω, 0), 0)

((ε0, 0) + (ωω ω ω, 0), 0)

FS #233

((ε0, 0)2, 0)

((ε0, 0)3, 0)

((ε0, 0)4, 0)

((ε0, 0)5, 0)

FS #234

(ω(ε0, 0) + 1, 0)

(ε(ε 0, 0) + 1, 0)

(ζ(ε 0, 0) + 1, 0)

(η(ε 0, 0) + 1, 0)

FS #235

((ω, (ε0, 0) + 1), 0)

((ωω, (ε0, 0) + 1), 0)

((ωω ω, (ε0, 0) + 1), 0)

((ωω ω ω, (ε0, 0) + 1), 0)

FS #236

((ε0, 1), 0)

((ε0, 2), 0)

((ε0, 3), 0)

((ε0, 4), 0)

FS #237

((ε0, ω), 0)

((ε0, ωω), 0)

((ε0, ωω ω ), 0)

((ε0, ωω ω ω ), 0)

FS #238

((ε0, ε0), 0)

((ε0, ζ0), 0)

((ε0, η0), 0)

((ε0, (4, 0)), 0)

FS #239

((ε0, (ω, 0)), 0)

((ε0, (ωω, 0)), 0)

((ε0, (ωω ω, 0)), 0)

((ε0, (ωω ω ω, 0)), 0)

FS #240

((ε0, (ε0, 0)), 0)

((ε0, (ε0, (ε0, 0))), 0)

((ε0, (ε0, (ε0, (ε0, 0)))), 0)

((ε0, (ε0, (ε0, (ε0, (ε0, 0))))), 0)

FS #241

((ε0 + 1, 0), 0)

((ε0 + 2, 0), 0)

((ε0 + 3, 0), 0)

((ε0 + 4, 0), 0)

FS #242

((ε0 + ω, 0), 0)

((ε0 + ωω, 0), 0)

((ε0 + ωω ω, 0), 0)

((ε0 + ωω ω ω, 0), 0)

FS #243

((ε02, 0), 0)

((ε03, 0), 0)

((ε04, 0), 0)

((ε05, 0), 0)

FS #244

((ωε0 + 1, 0), 0)

((ωω ε0 + 1, 0), 0)

((ωω ω ε0 + 1, 0), 0)

((ωω ω ω ε0 + 1 , 0), 0)

FS #245

((ε1, 0), 0)

((ε2, 0), 0)

((ε3, 0), 0)

((ε4, 0), 0)

FS #246

((εω, 0), 0)

((εωω, 0), 0)

((εωω ω, 0), 0)

((εωω ω ω, 0), 0)

FS #247

((εε 0, 0), 0)

((εε ε 0, 0), 0)

((εε ε ε 0 , 0), 0)

((εε ε ε ε 0  , 0), 0)

FS #248

((ζ0, 0), 0)

((η0, 0), 0)

(((4, 0), 0), 0)

(((5, 0), 0), 0)

FS #249

(((ω, 0), 0), 0)

(((ωω, 0), 0), 0)

(((ωω ω, 0), 0), 0)

(((ωω ω ω, 0), 0), 0)

FS #250

(((ε0, 0), 0), 0)

((((ε0, 0), 0), 0), 0)

(((((ε0, 0), 0), 0), 0), 0)

((((((ε0, 0), 0), 0), 0), 0), 0)

Γ0 — Δ0
FS #251

Γ0

Γ0 + 1

Γ0 + 2

Γ0 + 3

Γ0 + 4

FS #252

Γ0 + ω

Γ0 + ωω

Γ0 + ωω ω

Γ0 + ωω ω ω

FS #253

Γ0 + ε0

Γ0 + (ε0, 0)

Γ0 + ((ε0, 0), 0)

Γ0 + (((ε0, 0), 0), 0)

FS #254

Γ02

Γ03

Γ04

Γ05

FS #255

ωΓ0 + 1

(ωΓ0 + 1, 0)

((ωΓ0 + 1, 0), 0)

(((ωΓ0 + 1, 0), 0), 0)

FS #256

Γ1

Γ2

Γ3

Γ4

FS #257

Γω

Γωω

Γωω ω

Γωω ω ω

FS #258

Γε 0

Γ(ε 0, 0)

Γ((ε 0, 0), 0)

Γ(((ε 0, 0), 0), 0)

FS #259

ΓΓ 0

ΓΓ Γ 0

ΓΓ Γ Γ 0

ΓΓ Γ Γ Γ 0

FS #260

(1, 1, 0)

(1, 2, 0)

(1, 3, 0)

(1, 4, 0)

FS #261

(1, ω, 0)

(1, ωω, 0)

(1, ωω ω, 0)

(1, ωω ω ω, 0)

FS #262

(1, ε0, 0)

(1, (ε0, 0), 0)

(1, ((ε0, 0), 0), 0)

(1, (((ε0, 0), 0), 0), 0)

FS #263

(1, Γ0, 0)

(1, (1, Γ0, 0), 0)

(1, (1, (1, Γ0, 0), 0), 0)

(1, (1, (1, (1, Γ0, 0), 0), 0), 0)

FS #264

(2, 0, 0)

(3, 0, 0)

(4, 0, 0)

(5, 0, 0)

FS #265

(ω, 0, 0)

(ωω, 0, 0)

(ωω ω, 0, 0)

(ωω ω ω, 0, 0)

FS #266

(ε0, 0, 0)

((ε0, 0), 0, 0)

(((ε0, 0), 0), 0, 0)

((((ε0, 0), 0), 0), 0, 0)

FS #267

(Γ0, 0, 0)

((Γ0, 0, 0), 0, 0)

(((Γ0, 0, 0), 0, 0), 0, 0)

((((Γ0, 0, 0), 0, 0), 0, 0), 0, 0)

Δ0 — SVO
FS #268

Δ0

Δ0 + 1

Δ0 + 2

Δ0 + 3

Δ0 + 4

FS #269

Δ0 + ω

Δ0 + ωω

Δ0 + ωω ω

Δ0 + ωω ω ω

FS #270

Δ0 + ε0

Δ0 + (ε0, 0)

Δ0 + ((ε0, 0), 0)

Δ0 + (((ε0, 0), 0), 0)

FS #271

Δ0 + Γ0

Δ0 + (Γ0, 0, 0)

Δ0 + ((Γ0, 0, 0), 0, 0)

Δ0 + (((Γ0, 0, 0), 0, 0), 0, 0)

FS #272

Δ02

Δ03

Δ04

Δ05

FS #273

ωΔ0 + 1

(ωΔ0 + 1, 0, 0)

((ωΔ0 + 1, 0, 0), 0, 0)

(((ωΔ0 + 1, 0, 0), 0, 0), 0, 0)

FS #274

Δ1

Δ2

Δ3

Δ4

FS #275

Δω

Δωω

Δωω ω

Δωω ω ω

FS #276

Δε 0

Δ(ε 0, 0)

Δ((ε 0, 0), 0)

Δ(((ε 0, 0), 0), 0)

FS #277

ΔΓ 0

Δ(Γ 0, 0, 0)

Δ((Γ 0, 0, 0), 0, 0)

Δ(((Γ 0, 0, 0), 0, 0), 0, 0)

FS #278

ΔΔ 0

ΔΔ Δ 0

ΔΔ Δ Δ 0

ΔΔ Δ Δ Δ 0

FS #279

(1, 0, 1, 0)

(1, 0, 2, 0)

(1, 0, 3, 0)

(1, 0, 4, 0)

FS #280

(1, 0, ω, 0)

(1, 0, ωω, 0)

(1, 0, ωω ω, 0)

(1, 0, ωω ω ω, 0)

FS #281

(1, 0, ε0, 0)

(1, 0, (ε0, 0), 0)

(1, 0, ((ε0, 0), 0), 0)

(1, 0, (((ε0, 0), 0), 0), 0)

FS #282

(1, 0, Γ0, 0)

(1, 0, (Γ0, 0, 0), 0)

(1, 0, ((Γ0, 0, 0), 0, 0), 0)

(1, 0, (((Γ0, 0, 0), 0, 0), 0, 0), 0)

FS #283

(1, 0, Δ0, 0)

(1, 0, (1, 0, Δ0, 0), 0)

(1, 0, (1, 0, (1, 0, Δ0, 0), 0), 0)

(1, 0, (1, 0, (1, 0, (1, 0, Δ0, 0), 0), 0), 0)

FS #284

(1, 1, 0, 0)

(1, 2, 0, 0)

(1, 3, 0, 0)

(1, 4, 0, 0)

FS #285

(1, ω, 0, 0)

(1, ωω, 0, 0)

(1, ωω ω, 0, 0)

(1, ωω ω ω, 0, 0)

FS #286

(1, ε0, 0, 0)

(1, (ε0, 0), 0, 0)

(1, ((ε0, 0), 0), 0, 0)

(1, (((ε0, 0), 0), 0), 0, 0)

FS #287

(1, Γ0, 0, 0)

(1, (Γ0, 0, 0), 0, 0)

(1, ((Γ0, 0, 0), 0, 0), 0, 0)

(1, (((Γ0, 0, 0), 0, 0), 0, 0), 0, 0)

FS #288

(1, Δ0, 0, 0)

(1, (1, Δ0, 0, 0), 0, 0)

(1, (1, (1, Δ0, 0, 0), 0, 0), 0, 0)

(1, (1, (1, (1, Δ0, 0, 0), 0, 0), 0, 0), 0, 0)

FS #289

(2, 0, 0, 0)

(3, 0, 0, 0)

(4, 0, 0, 0)

(5, 0, 0, 0)

FS #290

(ω, 0, 0, 0)

(ωω, 0, 0, 0)

(ωω ω, 0, 0, 0)

(ωω ω ω, 0, 0, 0)

FS #291

(ε0, 0, 0, 0)

((ε0, 0), 0, 0, 0)

(((ε0, 0), 0), 0, 0, 0)

((((ε0, 0), 0), 0), 0, 0, 0)

FS #292

(Γ0, 0, 0, 0)

((Γ0, 0, 0), 0, 0, 0)

(((Γ0, 0, 0), 0, 0), 0, 0, 0)

((((Γ0, 0, 0), 0, 0), 0, 0), 0, 0, 0)

FS #293

(Δ0, 0, 0, 0)

((Δ0, 0, 0, 0), 0, 0, 0)

(((Δ0, 0, 0, 0), 0, 0, 0), 0, 0, 0)

((((Δ0, 0, 0, 0), 0, 0, 0), 0, 0, 0), 0, 0, 0)

FS #294

(41)

(51)

(61)

(71)

SVO — (v{{sub|0}}1)
FS #295

v0

v0 + 1

v0 + 2

v0 + 3

v0 + 4

FS #296

v0 + ω

v0 + ε0

v0 + Γ0

v0 + Δ0

FS #297

v02

v03

v04

v05

FS #298

ωv0 + 1

εv 0 + 1

Γv 0 + 1

Δv 0 + 1

FS #299

v1

(ω1, 11)

(ω1, 21)

(ω1, 31)

FS #300

(ω2)

(ω3)

(ω4)

(ω5)

FS #301

(ωω)

(ωε0)

(ωΓ0)

(ωΔ0)

FS #302

(ωv0)

(ω(ωv0))

(ω(ω(ωv0)))

(ω(ω(ω(ωv0))))

FS #303

(ω + 11)

(ω + 21)

(ω + 31)

(ω + 41)

FS #304

(ω21)

(ω31)

(ω41)

(ω51)

FS #305

(ω 2 1)

(ω 3 1)

(ω 4 1)

(ω 5 1)

FS #306

(ω ω 1)

(ω ω ω 1)

(ω ω ω ω  1)

(ω ω ω ω ω   1)

FS #307

(ε01)

(Γ01)

(Δ01)

(( 41) 1)

(v{{sub|0}}1) — LVO
FS #308

(v01)

(v01) + 1

(v01) + 2

(v01) + 3

(v01) + 4

FS #309

(v01) + ω

(v01) + ε0

(v01) + Γ0

(v01) + Δ0

FS #310

(v01) + v0

(v01) + (ε01)

(v01) + (Γ01)

(v01) + (Δ01)

FS #311

(v01)2

(v01)3

(v01)4

(v01)5

FS #312

ω( v01) + 1

ε(v 01) + 1

Γ(v 01) + 1

Δ(v 01) + 1

FS #313

v(v 01) + 1

(ε01, 0(v01) + 1)

(Γ01, 0(v01) + 1)

(Δ01, 0(v01) + 1)

FS #314

(v01, 01)

(v01, 11)

(v01, 21)

(v01, 31)

FS #315

(v01, ω1)

(v01, ε01)

(v01, Γ01)

(v01, Δ01)

FS #316

(v02)

(v03)

(v04)

(v05)

FS #317

(v0ω)

(v0ε0)

(v0Γ0)

(v0Δ0)

FS #318

(v0v0)

(v0(ε01))

(v0(Γ01))

(v0(Δ01))

FS #319

(v0(v01))

(v0(v0(v01)))

(v0(v0(v0(v01))))

(v0(v0(v0(v0(v01)))))

FS #320

(v0 + 11)

(v0 + 21)

(v0 + 31)

(v0 + 41)

FS #321

(v0 + ω1)

(v0 + ε01)

(v0 + Γ01)

(v0 + Δ01)

FS #322

(v021)

(v031)

(v041)

(v051)

FS #323

(ω v0 + 1 1)

(εv 0 + 11)

(Γv 0 + 11)

(Δv 0 + 11)

FS #324

(v11)

(( ω1, 11) 1)

(( ω1, 21) 1)

(( ω1, 31) 1)

FS #325

(( ω2) 1)

(( ω3) 1)

(( ω4) 1)

(( ω5) 1)

FS #326

(( ωω) 1)

(( ωε0) 1)

(( ωΓ0) 1)

(( ωΔ0) 1)

FS #327

(( ωv0) 1)

(( ω(ωv0)) 1)

(( ω(ω(ωv0))) 1)

(( ω(ω(ω(ωv0)))) 1)

FS #328

(( ω + 11) 1)

(( ω + 21) 1)

(( ω + 31) 1)

(( ω + 41) 1)

FS #329

(( ω21) 1)

(( ω31) 1)

(( ω41) 1)

(( ω51) 1)

FS #330

(( ω 2 1) 1)

(( ω 3 1) 1)

(( ω 4 1) 1)

(( ω 5 1) 1)

FS #331

(( ω ω 1) 1)

(( ω ω ω 1) 1)

(( ω ω ω ω  1) 1)

(( ω ω ω ω ω   1) 1)

FS #332

(( ε01) 1)

(( Γ01) 1)

(( Δ01) 1)

(( ( 41) 1) 1)

FS #333

(( v01) 1)

(( ( v01) 1) 1)

(( ( ( v01) 1) 1) 1)

(( ( ( ( v01) 1) 1) 1) 1)

LVO — ωV{{sub|0}} + 1
FS #334

V0

V0 + 1

V0 + 2

V0 + 3

V0 + 4

V0 + 5

V0 + 6

FS #335

V0 + ω

V0 + ω + 1

V0 + ω + 2

V0 + ω + 3

V0 + ω + 4

FS #336

V0 + ω2

V0 + ω3

V0 + ω4

V0 + ω5

FS #337

V0 + ω2

V0 + ω3

V0 + ω4

V0 + ω5

FS #338

V0 + ωω

V0 + ωω ω

V0 + ωω ω ω

V0 + ωω ω ω ω

FS #339

V0 + ε0

V0 + Γ0

V0 + Δ0

V0 + (41)

FS #340

V0 + v0

V0 + v0 + 1

V0 + v0 + 2

V0 + v0 + 3

V0 + v0 + 4

FS #341

V0 + v0 + ω

V0 + v0 + ε0

V0 + v0 + Γ0

V0 + v0 + Δ0

FS #342

V0 + v02

V0 + v03

V0 + v04

V0 + v05

FS #343

V0 + ωv0 + 1

V0 + εv 0 + 1

V0 + Γv 0 + 1

V0 + Δv 0 + 1

FS #344

V0 + v1

V0 + (ω1, 11)

V0 + (ω1, 21)

V0 + (ω1, 31)

FS #345

V0 + (ω2)

V0 + (ω3)

V0 + (ω4)

V0 + (ω5)

FS #346

V0 + (ωω)

V0 + (ωε0)

V0 + (ωΓ0)

V0 + (ωΔ0)

FS #347

V0 + (ωv0)

V0 + (ω(ωv0))

V0 + (ω(ω(ωv0)))

V0 + (ω(ω(ω(ωv0))))

FS #348

V0 + (ω + 11)

V0 + (ω + 21)

V0 + (ω + 31)

V0 + (ω + 41)

FS #349

V0 + (ω21)

V0 + (ω31)

V0 + (ω41)

V0 + (ω51)

FS #350

V0 + (ω 2 1)

V0 + (ω 3 1)

V0 + (ω 4 1)

V0 + (ω 5 1)

FS #351

V0 + (ω ω 1)

V0 + (ω ω ω 1)

V0 + (ω ω ω ω  1)

V0 + (ω ω ω ω ω   1)

FS #352

V0 + (ε01)

V0 + (Γ01)

V0 + (Δ01)

V0 + (( 41) 1)

FS #353

V0 + (v01)

V0 + (( v01) 1)

V0 + (( ( v01) 1) 1)

V0 + (( ( ( v01) 1) 1) 1)

FS #354

V02

V02 + 1

V02 + 2

V02 + 3

V02 + 4

FS #355

V02 + ω

V02 + v0

V02 + (v01)

V02 + (( v01) 1)

FS #356

V03

V03 + 1

V03 + 2

V03 + 3

V03 + 4

FS #357

V03 + ω

V03 + v0

V03 + (v01)

V03 + (( v01) 1)

FS #358

V04

V05

V06

V07

ωV{{sub|0}} + 1 — (ω V{{sub|0}} + 1 1)
FS #359

ωV0 + 1

ωV0 + 1 + 1

ωV0 + 1 + 2

ωV0 + 1 + 3

ωV0 + 1 + 4

FS #360

ωV0 + 1 + ω

ωV0 + 1 + v0

ωV0 + 1 + (v01)

ωV0 + 1 + (( v01) 1)

FS #361

ωV0 + 1 + V0

ωV0 + 1 + V02

ωV0 + 1 + V03

ωV0 + 1 + V04

FS #362

ωV0 + 12

ωV0 + 13

ωV0 + 14

ωV0 + 15

FS #363

ωV0 + 2

ωV0 + 3

ωV0 + 4

ωV0 + 5

FS #364

ωV0 + ω

ωV0 + v0

ωV0 + ( v01)

ωV0 + ( ( v01) 1)

FS #365

ωV02

ωV03

ωV04

ωV05

FS #366

ωω V0 + 1

ωω ω V0 + 1

ωω ω ω V0 + 1

ωω ω ω ω V0 + 1

FS #367

εV 0 + 1

ΓV 0 + 1

ΔV 0 + 1

(41, 0V0 + 1)

FS #368

vV 0 + 1

(v01, 0V0 + 1)

(( v01) 1, 0V0 + 1)

(( ( v01) 1) 1, 0V0 + 1)

FS #369

(V01, 01)

(V01, 11)

(V01, 21)

(V01, 31)

FS #370

(V01, ω1)

(V01, v01)

(V01, ( v01) 1)

(V01, ( ( v01) 1) 1)

FS #371

(V02)

(V03)

(V04)

(V05)

FS #372

(V0ω)

(V0v0)

(V0(v01))

(V0(( v01) 1))

FS #373

(V0V0)

(V0(V0V0))

(V0(V0(V0V0)))

(V0(V0(V0(V0V0))))

FS #374

(V0 + 11)

(V0 + 21)

(V0 + 31)

(V0 + 41)

FS #375

(V0 + ω1)

(V0 + v01)

(V0 + ( v01) 1)

(V0 + ( ( v01) 1) 1)

FS #376

(V021)

(V031)

(V041)

(V051)

(ω V{{sub|0}} + 1 1) — V1
FS #377

(ω V0 + 1 1)

(ω V0 + 1 1) + 1

(ω V0 + 1 1) + 2

(ω V0 + 1 1) + 3

(ω V0 + 1 1) + 4

FS #378

(ω V0 + 1 1) + ω

(ω V0 + 1 1) + v0

(ω V0 + 1 1) + (v01)

(ω V0 + 1 1) + (( v01) 1)

FS #379

(ω V0 + 1 1) + V0

(ω V0 + 1 1) + (V021)

(ω V0 + 1 1) + (V031)

(ω V0 + 1 1) + (V041)

FS #380

(ω V0 + 1 1)2

(ω V0 + 1 1)3

(ω V0 + 1 1)4

(ω V0 + 1 1)5

FS #381

ω( ω V0 + 1 1) + 1

ε(ω V 0 + 1 1) + 1

Γ(ω V 0 + 1 1) + 1

Δ(ω V 0 + 1 1) + 1

FS #382

v(ω V 0 + 1 1) + 1

(v01, 0(ω V0 + 1 1) + 1)

(( v01) 1, 0(ω V0 + 1 1) + 1)

(( ( v01) 1) 1, 0(ω V0 + 1 1) + 1)

FS #383

(V01, 0(ω V0 + 1 1) + 1)

(V021, 0(ω V0 + 1 1) + 1)

(V031, 0(ω V0 + 1 1) + 1)

(V041, 0(ω V0 + 1 1) + 1)

FS #384

(ω V0 + 1 1, 01)

(ω V0 + 1 1, 11)

(ω V0 + 1 1, 21)

(ω V0 + 1 1, 31)

FS #385

(ω V0 + 1 1, ω1)

(ω V0 + 1 1, v01)

(ω V0 + 1 1, ( v01) 1)

(ω V0 + 1 1, ( ( v01) 1) 1)

FS #386

(ω V0 + 1 1, V01)

(ω V0 + 1 1, V021)

(ω V0 + 1 1, V031)

(ω V0 + 1 1, V041)

FS #387

(ω V0 + 1 2)

(ω V0 + 1 3)

(ω V0 + 1 4)

(ω V0 + 1 5)

FS #388

(ω V0 + 1 ω)

(ω V0 + 1 v0)

(ω V0 + 1 (v01))

(ω V0 + 1 (( v01) 1))

FS #389

(ω V0 + 1 V0)

(ω V0 + 1 (V021))

(ω V0 + 1 (V031))

(ω V0 + 1 (V041))

FS #390

(ω V0 + 1 (ω V0 + 1 1))

(ω V0 + 1 (ω V0 + 1 (ω V0 + 1 1)))

(ω V0 + 1 (ω V0 + 1 (ω V0 + 1 (ω V0 + 1 1))))

(ω V0 + 1 (ω V0 + 1 (ω V0 + 1 (ω V0 + 1 (ω V0 + 1 1)))))

FS #391

(ω V0 + 1 + 1 1)

(ω V0 + 1 + 2 1)

(ω V0 + 1 + 3 1)

(ω V0 + 1 + 4 1)

FS #392

(ω V0 + 1 + ω 1)

(ω V0 + 1 + v0 1)

(ω V0 + 1 + (v01) 1)

(ω V0 + 1 + (( v01) 1) 1)

FS #393

(ω V0 + 1 + V0 1)

(ω V0 + 1 + V02 1)

(ω V0 + 1 + V03 1)

(ω V0 + 1 + V04 1)

FS #394

(ω V0 + 12 1)

(ω V0 + 13 1)

(ω V0 + 14 1)

(ω V0 + 15 1)

FS #395

(ω V0 + 2 1)

(ω V0 + 3 1)

(ω V0 + 4 1)

(ω V0 + 5 1)

FS #396

(ω V0 + ω 1)

(ω V0 + v0 1)

(ω V0 + ( v01) 1)

(ω V0 + ( ( v01) 1) 1)

FS #397

(ω V02 1)

(ω V03 1)

(ω V04 1)

(ω V05 1)

FS #398

(ω ω V0 + 1 1)

(ω ω ω V0 + 1  1)

(ω ω ω ω V0 + 1   1)

(ω ω ω ω ω V0 + 1    1)

FS #399

(εV 0 + 11)

(ΓV 0 + 11)

(ΔV 0 + 11)

(( 41, 0V0 + 1) 1)

FS #400

(vV 0 + 11)

(( v01, 0V0 + 1) 1)

(( ( v01) 1, 0V0 + 1) 1)

(( ( ( v01) 1) 1, 0V0 + 1) 1)

FS #401

(( V01, 01) 1)

(( V01, 11) 1)

(( V01, 21) 1)

(( V01, 31) 1)

FS #402

(( V01, ω1) 1)

(( V01, v01) 1)

(( V01, ( v01) 1) 1)

(( V01, ( ( v01) 1) 1) 1)

FS #403

(( V02) 1)

(( V03) 1)

(( V04) 1)

(( V05) 1)

FS #404

(( V0ω) 1)

(( V0v0) 1)

(( V0(v01)) 1)

(( V0(( v01) 1)) 1)

FS #405

(( V0V0) 1)

(( V0(V0V0)) 1)

(( V0(V0(V0V0))) 1)

(( V0(V0(V0(V0V0)))) 1)

FS #406

(( V0 + 11) 1)

(( V0 + 21) 1)

(( V0 + 31) 1)

(( V0 + 41) 1)

FS #407

(( V0 + ω1) 1)

(( V0 + v01) 1)

(( V0 + ( v01) 1) 1)

(( V0 + ( ( v01) 1) 1) 1)

FS #408

(( V021) 1)

(( V031) 1)

(( V041) 1)

(( V051) 1)

FS #409

(( ω V0 + 1 1) 1)

(( ( ω V0 + 1 1) 1) 1)

(( ( ( ω V0 + 1 1) 1) 1) 1)

(( ( ( ( ω V0 + 1 1) 1) 1) 1) 1)

V1 — (1, 01, V{{sub|1}}1)
FS #410

V1

V1 + 1

V1 + 2

V1 + 3

V1 + 4

FS #411

V1 + ω

V1 + v0

V1 + (v01)

V1 + (( v01) 1)

FS #412

V1 + V0

V1 + V02

V1 + V03

V1 + V04

FS #413

V1 + ωV0 + 1

V1 + (ω V0 + 1 1)

V1 + (( ω V0 + 1 1) 1)

V1 + (( ( ω V0 + 1 1) 1) 1)

FS #414

V12

V13

V14

V15

FS #415

ωV1 + 1

(ω V1 + 1 1)

(( ω V1 + 1 1) 1)

(( ( ω V1 + 1 1) 1) 1)

FS #416

V2

V3

V4

V5

FS #417

Vω

Vv 0

V(v 01)

V(( v 01) 1)

FS #418

VV 0

VV V 0

VV V V 0

VV V V V 0

FS #419

(1, 01, 11)

(1, 01, 21)

(1, 01, 31)

(1, 01, 41)

FS #420

(1, 01, ω1)

(1, 01, v01)

(1, 01, ( v01) 1)

(1, 01, ( ( v01) 1) 1)

FS #421

(1, 01, V01)

(1, 01, V021)

(1, 01, V031)

(1, 01, V041)

FS #422

(1, 01, ω V0 + 1 1)

(1, 01, ( ω V0 + 1 1) 1)

(1, 01, ( ( ω V0 + 1 1) 1) 1)

(1, 01, ( ( ( ω V0 + 1 1) 1) 1) 1)

(1, 01, V{{sub|1}}1) — (1, 02)
FS #423

(1, 01, V11)

(1, 01, V11) + 1

(1, 01, V11) + 2

(1, 01, V11) + 3

(1, 01, V11) + 4

FS #424

(1, 01, V11) + ω

(1, 01, V11) + v0

(1, 01, V11) + (v01)

(1, 01, V11) + (( v01) 1)

FS #425

(1, 01, V11) + V0

(1, 01, V11) + V02

(1, 01, V11) + V03

(1, 01, V11) + V04

FS #426

(1, 01, V11) + ωV0 + 1

(1, 01, V11) + (ω V0 + 1 1)

(1, 01, V11) + (( ω V0 + 1 1) 1)

(1, 01, V11) + (( ( ω V0 + 1 1) 1) 1)

FS #427

(1, 01, V11) + V1

(1, 01, V11) + (1, 01, 11)

(1, 01, V11) + (1, 01, 21)

(1, 01, V11) + (1, 01, 31)

FS #428

(1, 01, V11) + (1, 01, ω1)

(1, 01, V11) + (1, 01, v01)

(1, 01, V11) + (1, 01, ( v01) 1)

(1, 01, V11) + (1, 01, ( ( v01) 1) 1)

FS #429

(1, 01, V11) + (1, 01, V01)

(1, 01, V11) + (1, 01, V021)

(1, 01, V11) + (1, 01, V031)

(1, 01, V11) + (1, 01, V041)

FS #430

(1, 01, V11) + (1, 01, ω V0 + 1 1)

(1, 01, V11) + (1, 01, ( ω V0 + 1 1) 1)

(1, 01, V11) + (1, 01, ( ( ω V0 + 1 1) 1) 1)

(1, 01, V11) + (1, 01, ( ( ( ω V0 + 1 1) 1) 1) 1)

FS #431

(1, 01, V11)2

(1, 01, V11)3

(1, 01, V11)4

(1, 01, V11)5

FS #432

ω( 1, 01, V11) + 1

(ω ( 1, 01, V11) + 1 1)

(( ω ( 1, 01, V11) + 1 1) 1)

(( ( ω ( 1, 01, V11) + 1 1) 1) 1)

FS #433

V(1, 01, V 11) + 1

(1, 01, 11, 0(1, 01, V11) + 1)

(1, 01, 21, 0(1, 01, V11) + 1)

(1, 01, 31, 0(1, 01, V11) + 1)

FS #434

(1, 01, ω1, 0(1, 01, V11) + 1)

(1, 01, v01, 0(1, 01, V11) + 1)

(1, 01, ( v01) 1, 0(1, 01, V11) + 1)

(1, 01, ( ( v01) 1) 1, 0(1, 01, V11) + 1)

FS #435

(1, 01, V01, 0(1, 01, V11) + 1)

(1, 01, V021, 0(1, 01, V11) + 1)

(1, 01, V031, 0(1, 01, V11) + 1)

(1, 01, V041, 0(1, 01, V11) + 1)

FS #436

(1, 01, ω V0 + 1 1, 0(1, 01, V11) + 1)

(1, 01, ( ω V0 + 1 1) 1, 0(1, 01, V11) + 1)

(1, 01, ( ( ω V0 + 1 1) 1) 1, 0(1, 01, V11) + 1)

(1, 01, ( ( ( ω V0 + 1 1) 1) 1) 1, 0(1, 01, V11) + 1)

FS #437

(1, 01, V11, 01)

(1, 01, V11, 11)

(1, 01, V11, 21)

(1, 01, V11, 31)

FS #438

(1, 01, V11, ω1)

(1, 01, V11, v01)

(1, 01, V11, ( v01) 1)

(1, 01, V11, ( ( v01) 1) 1)

FS #439

(1, 01, V11, V01)

(1, 01, V11, V021)

(1, 01, V11, V031)

(1, 01, V11, V041)

FS #440

(1, 01, V11, ω V0 + 1 1)

(1, 01, V11, ( ω V0 + 1 1) 1)

(1, 01, V11, ( ( ω V0 + 1 1) 1) 1)

(1, 01, V11, ( ( ( ω V0 + 1 1) 1) 1) 1)

FS #441

(1, 01, V12)

(1, 01, V13)

(1, 01, V14)

(1, 01, V15)

FS #442

(1, 01, V1ω)

(1, 01, V1v0)

(1, 01, V1(v01))

(1, 01, V1(( v01) 1))

FS #443

(1, 01, V1V0)

(1, 01, V1(1, 01, V1V0))

(1, 01, V1(1, 01, V1(1, 01, V1V0)))

(1, 01, V1(1, 01, V1(1, 01, V1(1, 01, V1V0))))

FS #444

(1, 01, V1 + 11)

(1, 01, V1 + 21)

(1, 01, V1 + 31)

(1, 01, V1 + 41)

FS #445

(1, 01, V1 + ω1)

(1, 01, V1 + v01)

(1, 01, V1 + ( v01) 1)

(1, 01, V1 + ( ( v01) 1) 1)

FS #446

(1, 01, V1 + V01)

(1, 01, V1 + V021)

(1, 01, V1 + V031)

(1, 01, V1 + V041)

FS #447

(1, 01, V1 + ω V0 + 1 1)

(1, 01, V1 + ( ω V0 + 1 1) 1)

(1, 01, V1 + ( ( ω V0 + 1 1) 1) 1)

(1, 01, V1 + ( ( ( ω V0 + 1 1) 1) 1) 1)

FS #448

(1, 01, V121)

(1, 01, V131)

(1, 01, V141)

(1, 01, V151)

FS #449

(1, 01, ω V1 + 1 1)

(1, 01, ( ω V1 + 1 1) 1)

(1, 01, ( ( ω V1 + 1 1) 1) 1)

(1, 01, ( ( ( ω V1 + 1 1) 1) 1) 1)

FS #450

(1, 01, V21)

(1, 01, V31)

(1, 01, V41)

(1, 01, V51)

FS #451

(1, 01, Vω1)

(1, 01, Vv 01)

(1, 01, V( v 01) 1)

(1, 01, V( ( v 01) 1) 1)

FS #452

(1, 01, VV 01)

(1, 01, VV V 01)

(1, 01, VV V V 01)

(1, 01, VV V V V 01)

FS #453

(1, 01, ( 1, 01, 11) 1)

(1, 01, ( 1, 01, 21) 1)

(1, 01, ( 1, 01, 31) 1)

(1, 01, ( 1, 01, 41) 1)

FS #454

(1, 01, ( 1, 01, ω1) 1)

(1, 01, ( 1, 01, v01) 1)

(1, 01, ( 1, 01, ( v01) 1) 1)

(1, 01, ( 1, 01, ( ( v01) 1) 1) 1)

FS #455

(1, 01, ( 1, 01, V01) 1)

(1, 01, ( 1, 01, V021) 1)

(1, 01, ( 1, 01, V031) 1)

(1, 01, ( 1, 01, V041) 1)

FS #456

(1, 01, ( 1, 01, ω V0 + 1 1) 1)

(1, 01, ( 1, 01, ( ω V0 + 1 1) 1) 1)

(1, 01, ( 1, 01, ( ( ω V0 + 1 1) 1) 1) 1)

(1, 01, ( 1, 01, ( ( ( ω V0 + 1 1) 1) 1) 1) 1)

FS #457

(1, 01, ( 1, 01, V11) 1)

(1, 01, ( 1, 01, ( 1, 01, V11) 1) 1)

(1, 01, ( 1, 01, ( 1, 01, ( 1, 01, V11) 1) 1) 1)

(1, 01, ( 1, 01, ( 1, 01, ( 1, 01, ( 1, 01, V11) 1) 1) 1) 1)

(1, 02) — (1, 03)
FS #458

(1, 02)

(1, 02) + 1

(1, 02) + 2

(1, 02) + 3

(1, 02) + 4

FS #459

(1, 02) + ω

(1, 02) + v0

(1, 02) + (v01)

(1, 02) + (( v01) 1)

FS #460

(1, 02) + V0

(1, 02) + V02

(1, 02) + V03

(1, 02) + V04

FS #461

(1, 02) + ωV0 + 1

(1, 02) + (ω V0 + 1 1)

(1, 02) + (( ω V0 + 1 1) 1)

(1, 02) + (( ( ω V0 + 1 1) 1) 1)

FS #462

(1, 02) + V1

(1, 02) + (1, 01, V11)

(1, 02) + (1, 01, ( 1, 01, V11) 1)

(1, 02) + (1, 01, ( 1, 01, ( 1, 01, V11) 1) 1)

FS #463

(1, 02)2

(1, 02)3

(1, 02)4

(1, 02)5

FS #464

ω( 1, 02) + 1

(ω ( 1, 02) + 1 1)

(( ω ( 1, 02) + 1 1) 1)

(( ( ω ( 1, 02) + 1 1) 1) 1)

FS #465

V(1, 02) + 1

(1, 01, V( 1, 02) + 1 1)

(1, 01, ( 1, 01, V( 1, 02) + 1 1) 1)

(1, 01, ( 1, 01, ( 1, 01, V( 1, 02) + 1 1) 1) 1)

FS #466

(1, 02, 01)

(1, 02, ( 1, 02, 01) 1)

(1, 02, ( 1, 02, ( 1, 02, 01) 1) 1)

(1, 02, ( 1, 02, ( 1, 02, ( 1, 02, 01) 1) 1) 1)

(1, 03) — (1, 0ω)
FS #467

(1, 03)

(1, 03) + 1

(1, 03) + 2

(1, 03) + 3

(1, 03) + 4

FS #468

(1, 03) + ω

(1, 03) + v0

(1, 03) + (v01)

(1, 03) + (( v01) 1)

FS #469

(1, 03) + V0

(1, 03) + V02

(1, 03) + V03

(1, 03) + V04

FS #470

(1, 03) + ωV0 + 1

(1, 03) + (ω V0 + 1 1)

(1, 03) + (( ω V0 + 1 1) 1)

(1, 03) + (( ( ω V0 + 1 1) 1) 1)

FS #471

(1, 03) + V1

(1, 03) + (1, 01, V11)

(1, 03) + (1, 01, ( 1, 01, V11) 1)

(1, 03) + (1, 01, ( 1, 01, ( 1, 01, V11) 1) 1)

FS #472

(1, 03) + (1, 02)

(1, 03) + (1, 02)2

(1, 03) + (1, 02)3

(1, 03) + (1, 02)4

FS #473

(1, 03) + ω( 1, 02) + 1

(1, 03) + (ω ( 1, 02) + 1 1)

(1, 03) + (( ω ( 1, 02) + 1 1) 1)

(1, 03) + (( ( ω ( 1, 02) + 1 1) 1) 1)

FS #474

(1, 03) + V(1, 02) + 1

(1, 03) + (1, 01, V( 1, 02) + 1 1)

(1, 03) + (1, 01, ( 1, 01, V( 1, 02) + 1 1) 1)

(1, 03) + (1, 01, ( 1, 01, ( 1, 01, V( 1, 02) + 1 1) 1) 1)

FS #475

(1, 03) + (1, 02, 01)

(1, 03) + (1, 02, ( 1, 02, 01) 1)

(1, 03) + (1, 02, ( 1, 02, ( 1, 02, 01) 1) 1)

(1, 03) + (1, 02, ( 1, 02, ( 1, 02, ( 1, 02, 01) 1) 1) 1)

FS #476

(1, 03)2

(1, 03)3

(1, 03)4

(1, 03)5

FS #477

ω( 1, 03) + 1

(ω ( 1, 03) + 1 1)

(( ω ( 1, 03) + 1 1) 1)

(( ( ω ( 1, 03) + 1 1) 1) 1)

FS #478

V(1, 03) + 1

(1, 01, V( 1, 03) + 1 1)

(1, 01, ( 1, 01, V( 1, 03) + 1 1) 1)

(1, 01, ( 1, 01, ( 1, 01, V( 1, 03) + 1 1) 1) 1)

FS #479

(1, 02, 0(1, 03) + 1)

(1, 02, ( 1, 02, 0(1, 03) + 1) 1)

(1, 02, ( 1, 02, ( 1, 02, 0(1, 03) + 1) 1) 1)

(1, 02, ( 1, 02, ( 1, 02, ( 1, 02, 0(1, 03) + 1) 1) 1) 1)

FS #480

(1, 03, 01)

(1, 03, ( 1, 03, 01) 1)

(1, 03, ( 1, 03, ( 1, 03, 01) 1) 1)

(1, 03, ( 1, 03, ( 1, 03, ( 1, 03, 01) 1) 1) 1)

FS #481

(1, 04)

(1, 05)

(1, 06)

(1, 07)

(1, 0ω) — (1, 0v0)
FS #482

(1, 0ω)

(1, 0ω) + 1

(1, 0ω) + 2

(1, 0ω) + 3

(1, 0ω) + 4

FS #483

(1, 0ω) + ω

(1, 0ω) + v0

(1, 0ω) + (v01)

(1, 0ω) + (( v01) 1)

FS #484

(1, 0ω) + V0

(1, 0ω) + (1, 02)

(1, 0ω) + (1, 03)

(1, 0ω) + (1, 04)

FS #485

(1, 0ω)2

(1, 0ω)3

(1, 0ω)4

(1, 0ω)5

FS #486

ω( 1, 0ω) + 1

V(1, 0ω) + 1

(1, 02, 0(1, 0ω) + 1)

(1, 03, 0(1, 0ω) + 1)

FS #487

(1, 0ω, 01)

(1, 0ω, ( 1, 0ω, 01) 1)

(1, 0ω, ( 1, 0ω, ( 1, 0ω, 01) 1) 1)

(1, 0ω, ( 1, 0ω, ( 1, 0ω, ( 1, 0ω, 01) 1) 1) 1)

FS #488

(1, 0ω + 1)

(1, 0ω + 2)

(1, 0ω + 3)

(1, 0ω + 4)

FS #489

(1, 0ω2)

(1, 0ω3)

(1, 0ω4)

(1, 0ω5)

FS #490

(1, 0ω2)

(1, 0ω3)

(1, 0ω4)

(1, 0ω5)

FS #491

(1, 0ωω)

(1, 0ωω ω )

(1, 0ωω ω ω )

(1, 0ωω ω ω ω  )

FS #492

(1, 0ε0)

(1, 0Γ0)

(1, 0Δ0)

(1, 0(41))

(1, 0v0) — (1, 0V0)
FS #493

(1, 0v0)

(1, 0v0) + 1

(1, 0v0) + 2

(1, 0v0) + 3

(1, 0v0) + 4

FS #494

(1, 0v0) + ω

(1, 0v0) + v0

(1, 0v0) + (v01)

(1, 0v0) + (( v01) 1)

FS #495

(1, 0v0) + V0

(1, 0v0) + (1, 02)

(1, 0v0) + (1, 03)

(1, 0v0) + (1, 04)

FS #496

(1, 0v0) + (1, 0ω)

(1, 0v0) + (1, 0ε0)

(1, 0v0) + (1, 0Γ0)

(1, 0v0) + (1, 0Δ0)

FS #497

(1, 0v0)2

(1, 0v0)3

(1, 0v0)4

(1, 0v0)5

FS #498

ω( 1, 0v0) + 1

V(1, 0v 0) + 1

(1, 02, 0(1, 0v0) + 1)

(1, 03, 0(1, 0v0) + 1)

FS #499

(1, 0ω, 0(1, 0v0) + 1)

(1, 0ε0, 0(1, 0v0) + 1)

(1, 0Γ0, 0(1, 0v0) + 1)

(1, 0Δ0, 0(1, 0v0) + 1)

FS #500

(1, 0v0, 01)

(1, 0v0, ( 1, 0v0, 01) 1)

(1, 0v0, ( 1, 0v0, ( 1, 0v0, 01) 1) 1)

(1, 0v0, ( 1, 0v0, ( 1, 0v0, ( 1, 0v0, 01) 1) 1) 1)

FS #501

(1, 0v0 + 1)

(1, 0v0 + 2)

(1, 0v0 + 3)

(1, 0v0 + 4)

FS #502

(1, 0v0 + ω)

(1, 0v0 + ε0)

(1, 0v0 + Γ0)

(1, 0v0 + Δ0)

FS #503

(1, 0v02)

(1, 0v03)

(1, 0v04)

(1, 0v05)

FS #504

(1, 0ωv0 + 1)

(1, 0εv 0 + 1 )

(1, 0Γv 0 + 1 )

(1, 0Δv 0 + 1 )

FS #505

(1, 0v1)

(1, 0(ω1, 11))

(1, 0(ω1, 21))

(1, 0(ω1, 31))

FS #506

(1, 0(ω2))

(1, 0(ω3))

(1, 0(ω4))

(1, 0(ω5))

FS #507

(1, 0(ωω))

(1, 0(ωε0))

(1, 0(ωΓ0))

(1, 0(ωΔ0))

FS #508

(1, 0(ωv0))

(1, 0(ω(ωv0)))

(1, 0(ω(ω(ωv0))))

(1, 0(ω(ω(ω(ωv0)))))

FS #509

(1, 0(ω + 11))

(1, 0(ω + 21))

(1, 0(ω + 31))

(1, 0(ω + 41))

FS #510

(1, 0(ω21))

(1, 0(ω31))

(1, 0(ω41))

(1, 0(ω51))

FS #511

(1, 0(ω 2 1))

(1, 0(ω 3 1))

(1, 0(ω 4 1))

(1, 0(ω 5 1))

FS #512

(1, 0(ω ω 1))

(1, 0(ω ω ω 1))

(1, 0(ω ω ω ω  1))

(1, 0(ω ω ω ω ω   1))

FS #513

(1, 0(ε01))

(1, 0(Γ01))

(1, 0(Δ01))

(1, 0(( 41) 1))

FS #514

(1, 0(v01))

(1, 0(( v01) 1))

(1, 0(( ( v01) 1) 1))

(1, 0(( ( ( v01) 1) 1) 1))

(1, 0V0) — (1, 0(1, 0V0))
FS #515

(1, 0V0)

(1, 0V0) + 1

(1, 0V0) + 2

(1, 0V0) + 3

(1, 0V0) + 4

FS #516

(1, 0V0) + ω

(1, 0V0) + v0

(1, 0V0) + (v01)

(1, 0V0) + (( v01) 1)

FS #517

(1, 0V0) + V0

(1, 0V0) + (1, 02)

(1, 0V0) + (1, 03)

(1, 0V0) + (1, 04)

FS #518

(1, 0V0) + (1, 0ω)

(1, 0V0) + (1, 0v0)

(1, 0V0) + (1, 0(v01))

(1, 0V0) + (1, 0(( v01) 1))

FS #519

(1, 0V0)2

(1, 0V0)3

(1, 0V0)4

(1, 0V0)5

FS #520

ω( 1, 0V0) + 1

V(1, 0V 0) + 1

(1, 02, 0(1, 0V0) + 1)

(1, 03, 0(1, 0V0) + 1)

FS #521

(1, 0ω, 0(1, 0V0) + 1)

(1, 0v0, 0(1, 0V0) + 1)

(1, 0(v01), 0(1, 0V0) + 1)

(1, 0(( v01) 1), 0(1, 0V0) + 1)

FS #522

(1, 0V0, 01)

(1, 0V0, ( 1, 0V0, 01) 1)

(1, 0V0, ( 1, 0V0, ( 1, 0V0, 01) 1) 1)

(1, 0V0, ( 1, 0V0, ( 1, 0V0, ( 1, 0V0, 01) 1) 1) 1)

FS #523

(1, 0V0 + 1)

(1, 0V0 + 2)

(1, 0V0 + 3)

(1, 0V0 + 4)

FS #524

(1, 0V0 + ω)

(1, 0V0 + v0)

(1, 0V0 + (v01))

(1, 0V0 + (( v01) 1))

FS #525

(1, 0V02)

(1, 0V03)

(1, 0V04)

(1, 0V05)

FS #526

(1, 0ωV0 + 1)

(1, 0(ω V0 + 1 1))

(1, 0(( ω V0 + 1 1) 1))

(1, 0(( ( ω V0 + 1 1) 1) 1))

FS #527

(1, 0V1)

(1, 0(1, 01, V11))

(1, 0(1, 01, ( 1, 01, V11) 1))

(1, 0(1, 01, ( 1, 01, ( 1, 01, V11) 1) 1))

FS #528

(1, 0(1, 02))

(1, 0(1, 03))

(1, 0(1, 04))

(1, 0(1, 05))

FS #529

(1, 0(1, 0ω))

(1, 0(1, 0v0))

(1, 0(1, 0(v01)))

(1, 0(1, 0(( v01) 1)))

(1, 0(1, 0V0)) — (1, 21)
FS #530

(1, 0(1, 0V0))

(1, 0(1, 0V0)) + 1

(1, 0(1, 0V0)) + 2

(1, 0(1, 0V0)) + 3

(1, 0(1, 0V0)) + 4

FS #531

(1, 0(1, 0V0)) + ω

(1, 0(1, 0V0)) + v0

(1, 0(1, 0V0)) + (v01)

(1, 0(1, 0V0)) + (( v01) 1)

FS #532

(1, 0(1, 0V0)) + V0

(1, 0(1, 0V0)) + (1, 02)

(1, 0(1, 0V0)) + (1, 03)

(1, 0(1, 0V0)) + (1, 04)

FS #533

(1, 0(1, 0V0)) + (1, 0ω)

(1, 0(1, 0V0)) + (1, 0v0)

(1, 0(1, 0V0)) + (1, 0(v01))

(1, 0(1, 0V0)) + (1, 0(( v01) 1))

FS #534

(1, 0(1, 0V0)) + (1, 0V0)

(1, 0(1, 0V0)) + (1, 0(1, 02))

(1, 0(1, 0V0)) + (1, 0(1, 03))

(1, 0(1, 0V0)) + (1, 0(1, 04))

FS #535

(1, 0(1, 0V0)) + (1, 0(1, 0ω))

(1, 0(1, 0V0)) + (1, 0(1, 0v0))

(1, 0(1, 0V0)) + (1, 0(1, 0(v01)))

(1, 0(1, 0V0)) + (1, 0(1, 0(( v01) 1)))

FS #536

(1, 0(1, 0V0))2

(1, 0(1, 0V0))3

(1, 0(1, 0V0))4

(1, 0(1, 0V0))5

FS #537

ω( 1, 0(1, 0V0)) + 1

V(1, 0(1, 0V 0)) + 1

(1, 02, 0(1, 0(1, 0V0)) + 1)

(1, 03, 0(1, 0(1, 0V0)) + 1)

FS #538

(1, 0ω, 0(1, 0(1, 0V0)) + 1)

(1, 0v0, 0(1, 0(1, 0V0)) + 1)

(1, 0(v01), 0(1, 0(1, 0V0)) + 1)

(1, 0(( v01) 1), 0(1, 0(1, 0V0)) + 1)

FS #539

(1, 0V0, 0(1, 0(1, 0V0)) + 1)

(1, 0(1, 02), 0(1, 0(1, 0V0)) + 1)

(1, 0(1, 03), 0(1, 0(1, 0V0)) + 1)

(1, 0(1, 04), 0(1, 0(1, 0V0)) + 1)

FS #540

(1, 0(1, 0ω), 0(1, 0(1, 0V0)) + 1)

(1, 0(1, 0v0), 0(1, 0(1, 0V0)) + 1)

(1, 0(1, 0(v01)), 0(1, 0(1, 0V0)) + 1)

(1, 0(1, 0(( v01) 1)), 0(1, 0(1, 0V0)) + 1)

FS #541

(1, 0(1, 0V0), 01)

(1, 0(1, 0V0), ( 1, 0(1, 0V0), 01) 1)

(1, 0(1, 0V0), ( 1, 0(1, 0V0), ( 1, 0(1, 0V0), 01) 1) 1)

(1, 0(1, 0V0), ( 1, 0(1, 0V0), ( 1, 0(1, 0V0), ( 1, 0(1, 0V0), 01) 1) 1) 1)

FS #542

(1, 0(1, 0V0) + 1)

(1, 0(1, 0V0) + 2)

(1, 0(1, 0V0) + 3)

(1, 0(1, 0V0) + 4)

FS #543

(1, 0(1, 0V0) + ω)

(1, 0(1, 0V0) + v0)

(1, 0(1, 0V0) + (v01))

(1, 0(1, 0V0) + (( v01) 1))

FS #544

(1, 0(1, 0V0) + V0)

(1, 0(1, 0V0) + (1, 02))

(1, 0(1, 0V0) + (1, 03))

(1, 0(1, 0V0) + (1, 04))

FS #545

(1, 0(1, 0V0) + (1, 0ω))

(1, 0(1, 0V0) + (1, 0v0))

(1, 0(1, 0V0) + (1, 0(v01)))

(1, 0(1, 0V0) + (1, 0(( v01) 1)))

FS #546

(1, 0(1, 0V0)2)

(1, 0(1, 0V0)3)

(1, 0(1, 0V0)4)

(1, 0(1, 0V0)5)

FS #547

(1, 0ω( 1, 0V0) + 1 )

(1, 0V(1, 0V 0) + 1 )

(1, 0(1, 02, 0(1, 0V0) + 1))

(1, 0(1, 03, 0(1, 0V0) + 1))

FS #548

(1, 0(1, 0ω, 0(1, 0V0) + 1))

(1, 0(1, 0v0, 0(1, 0V0) + 1))

(1, 0(1, 0(v01), 0(1, 0V0) + 1))

(1, 0(1, 0(( v01) 1), 0(1, 0V0) + 1))

FS #549

(1, 0(1, 0V0, 01))

(1, 0(1, 0V0, ( 1, 0V0, 01) 1))

(1, 0(1, 0V0, ( 1, 0V0, ( 1, 0V0, 01) 1) 1))

(1, 0(1, 0V0, ( 1, 0V0, ( 1, 0V0, ( 1, 0V0, 01) 1) 1) 1))

FS #550

(1, 0(1, 0V0 + 1))

(1, 0(1, 0V0 + 2))

(1, 0(1, 0V0 + 3))

(1, 0(1, 0V0 + 4))

FS #551

(1, 0(1, 0V0 + ω))

(1, 0(1, 0V0 + v0))

(1, 0(1, 0V0 + (v01)))

(1, 0(1, 0V0 + (( v01) 1)))

FS #552

(1, 0(1, 0V02))

(1, 0(1, 0V03))

(1, 0(1, 0V04))

(1, 0(1, 0V05))

FS #553

(1, 0(1, 0ωV0 + 1))

(1, 0(1, 0(ω V0 + 1 1)))

(1, 0(1, 0(( ω V0 + 1 1) 1)))

(1, 0(1, 0(( ( ω V0 + 1 1) 1) 1)))

FS #554

(1, 0(1, 0V1))

(1, 0(1, 0(1, 01, V11)))

(1, 0(1, 0(1, 01, ( 1, 01, V11) 1)))

(1, 0(1, 0(1, 01, ( 1, 01, ( 1, 01, V11) 1) 1)))

FS #555

(1, 0(1, 0(1, 02)))

(1, 0(1, 0(1, 03)))

(1, 0(1, 0(1, 04)))

(1, 0(1, 0(1, 05)))

FS #556

(1, 0(1, 0(1, 0ω)))

(1, 0(1, 0(1, 0v0)))

(1, 0(1, 0(1, 0(v01))))

(1, 0(1, 0(1, 0(( v01) 1))))

FS #557

(1, 0(1, 0(1, 0V0)))

(1, 0(1, 0(1, 0(1, 0V0))))

(1, 0(1, 0(1, 0(1, 0(1, 0V0)))))

(1, 0(1, 0(1, 0(1, 0(1, 0(1, 0V0))))))

(1, 11) — (1, 21)
FS #558

(1, 11)

(1, 11) + 1

(1, 11) + 2

(1, 11) + 3

(1, 11) + 4

FS #559

(1, 11) + ω

(1, 11) + v0

(1, 11) + (v01)

(1, 11) + (( v01) 1)

FS #560

(1, 11) + V0

(1, 11) + (1, 0V0)

(1, 11) + (1, 0(1, 0V0))

(1, 11) + (1, 0(1, 0(1, 0V0)))

FS #561

(1, 11)2

(1, 11)3

(1, 11)4

(1, 11)5

FS #562

ω( 1, 11) + 1

(1, 0ω( 1, 11) + 1 )

(1, 0(1, 0ω( 1, 11) + 1 ))

(1, 0(1, 0(1, 0ω( 1, 11) + 1 )))

FS #563

(1, 11, 01)

(1, 11, ( 1, 11, 01) 1)

(1, 11, ( 1, 11, ( 1, 11, 01) 1) 1)

(1, 11, ( 1, 11, ( 1, 11, ( 1, 11, 01) 1) 1) 1)

FS #564

(1, 11, 1, 01)

(1, 11, 1, 02)

(1, 11, 1, 03)

(1, 11, 1, 04)

FS #565

(1, 11, 1, 0ω)

(1, 11, 1, 0v0)

(1, 11, 1, 0(v01))

(1, 11, 1, 0(( v01) 1))

FS #566

(1, 11, 1, 0V0)

(1, 11, 1, 0(1, 0V0))

(1, 11, 1, 0(1, 0(1, 0V0)))

(1, 11, 1, 0(1, 0(1, 0(1, 0V0))))

FS #567

(1, 11, 1, 0(1, 11))

(1, 11, 1, 0(1, 11, 1, 0(1, 11)))

(1, 11, 1, 0(1, 11, 1, 0(1, 11, 1, 0(1, 11))))

(1, 11, 1, 0(1, 11, 1, 0(1, 11, 1, 0(1, 11, 1, 0(1, 11)))))

FS #568

(1, 12)

(1, 13)

(1, 14)

(1, 15)

FS #569

(1, 1ω)

(1, 1v0)

(1, 1(v01))

(1, 1(( v01) 1))

FS #570

(1, 1V0)

(1, 1(1, 0V0))

(1, 1(1, 0(1, 0V0)))

(1, 1(1, 0(1, 0(1, 0V0))))

FS #571

(1, 1(1, 11))

(1, 1(1, 1(1, 11)))

(1, 1(1, 1(1, 1(1, 11))))

(1, 1(1, 1(1, 1(1, 1(1, 11)))))

(1, 21) — (1, ω1)
FS #572

(1, 21)

(1, 21) + 1

(1, 21) + 2

(1, 21) + 3

(1, 21) + 4

FS #573

(1, 21) + ω

(1, 21) + v0

(1, 21) + (v01)

(1, 21) + (( v01) 1)

FS #574

(1, 21) + V0

(1, 21) + (1, 0V0)

(1, 21) + (1, 0(1, 0V0))

(1, 21) + (1, 0(1, 0(1, 0V0)))

FS #575

(1, 21) + (1, 11)

(1, 21) + (1, 1(1, 11))

(1, 21) + (1, 1(1, 1(1, 11)))

(1, 21) + (1, 1(1, 1(1, 1(1, 11))))

FS #576

(1, 21)2

(1, 21)3

(1, 21)4

(1, 21)5

FS #577

ω( 1, 21) + 1

(1, 1ω( 1, 21) + 1 )

(1, 1(1, 1ω( 1, 21) + 1 ))

(1, 1(1, 1(1, 1ω( 1, 21) + 1 )))

FS #578

(1, 21, 01)

(1, 21, ( 1, 21, 01) 1)

(1, 21, ( 1, 21, ( 1, 21, 01) 1) 1)

(1, 21, ( 1, 21, ( 1, 21, ( 1, 21, 01) 1) 1) 1)

FS #579

(1, 21, 1, 01)

(1, 21, 1, 02)

(1, 21, 1, 03)

(1, 21, 1, 04)

FS #580

(1, 21, 1, 0ω)

(1, 21, 1, 0v0)

(1, 21, 1, 0(v01))

(1, 21, 1, 0(( v01) 1))

FS #581

(1, 21, 1, 0V0)

(1, 21, 1, 0(1, 0V0))

(1, 21, 1, 0(1, 0(1, 0V0)))

(1, 21, 1, 0(1, 0(1, 0(1, 0V0))))

FS #582

(1, 21, 1, 0(1, 11))

(1, 21, 1, 0(1, 1(1, 11)))

(1, 21, 1, 0(1, 1(1, 1(1, 11))))

(1, 21, 1, 0(1, 1(1, 1(1, 1(1, 11)))))

FS #583

(1, 21, 1, 0(1, 21))

(1, 21, 1, 0(1, 21, 1, 0(1, 21)))

(1, 21, 1, 0(1, 21, 1, 0(1, 21, 1, 0(1, 21))))

(1, 21, 1, 0(1, 21, 1, 0(1, 21, 1, 0(1, 21, 1, 0(1, 21)))))

FS #584

(1, 21, 1, 11)

(1, 21, 1, 12)

(1, 21, 1, 13)

(1, 21, 1, 14)

FS #585

(1, 21, 1, 1ω)

(1, 21, 1, 1v0)

(1, 21, 1, 1(v01))

(1, 21, 1, 1(( v01) 1))

FS #586

(1, 21, 1, 1V0)

(1, 21, 1, 1(1, 0V0))

(1, 21, 1, 1(1, 0(1, 0V0)))

(1, 21, 1, 1(1, 0(1, 0(1, 0V0))))

FS #587

(1, 21, 1, 1(1, 11))

(1, 21, 1, 1(1, 1(1, 11)))

(1, 21, 1, 1(1, 1(1, 1(1, 11))))

(1, 21, 1, 1(1, 1(1, 1(1, 1(1, 11)))))

FS #588

(1, 21, 1, 1(1, 21))

(1, 21, 1, 1(1, 21, 1, 1(1, 21)))

(1, 21, 1, 1(1, 21, 1, 1(1, 21, 1, 1(1, 21))))

(1, 21, 1, 1(1, 21, 1, 1(1, 21, 1, 1(1, 21, 1, 1(1, 21)))))

FS #589

(1, 22)

(1, 23)

(1, 24)

(1, 25)

FS #590

(1, 2ω)

(1, 2v0)

(1, 2(v01))

(1, 2(( v01) 1))

FS #591

(1, 2V0)

(1, 2(1, 0V0))

(1, 2(1, 0(1, 0V0)))

(1, 2(1, 0(1, 0(1, 0V0))))

FS #592

(1, 2(1, 11))

(1, 2(1, 1(1, 11)))

(1, 2(1, 1(1, 1(1, 11))))

(1, 2(1, 1(1, 1(1, 1(1, 11)))))

FS #593

(1, 2(1, 21))

(1, 2(1, 2(1, 21)))

(1, 2(1, 2(1, 2(1, 21))))

(1, 2(1, 2(1, 2(1, 2(1, 21)))))

FS #594

(1, 31)

(1, 41)

(1, 51)

(1, 61)

(1, ω1) — (1, v{{sub|0}}1)
FS #595

(1, ω1)

(1, ω1) + 1

(1, ω1) + 2

(1, ω1) + 3

(1, ω1) + 4

FS #596

(1, ω1) + ω

(1, ω1) + v0

(1, ω1) + (v01)

(1, ω1) + (( v01) 1)

FS #597

(1, ω1) + V0

(1, ω1) + (1, 11)

(1, ω1) + (1, 21)

(1, ω1) + (1, 31)

FS #598

(1, ω1)2

(1, ω1)3

(1, ω1)4

(1, ω1)5

FS #599

ω( 1, ω1) + 1

(ω ( 1, ω1) + 1 1)

(( ω ( 1, ω1) + 1 1) 1)

(( ( ω ( 1, ω1) + 1 1) 1) 1)

FS #600

V(1, ω1) + 1

(1, 11, 0(1, ω1) + 1)

(1, 21, 0(1, ω1) + 1)

(1, 31, 0(1, ω1) + 1)

FS #601

(1, ω1, 01)

(1, ω1, ( 1, ω1, 01) 1)

(1, ω1, ( 1, ω1, ( 1, ω1, 01) 1) 1)

(1, ω1, ( 1, ω1, ( 1, ω1, ( 1, ω1, 01) 1) 1) 1)

FS #602

(1, ω1, 1, 01)

(1, ω1, 1, 11)

(1, ω1, 1, 21)

(1, ω1, 1, 31)

FS #603

(1, ω2)

(1, ω3)

(1, ω4)

(1, ω5)

FS #604

(1, ωω)

(1, ωv0)

(1, ω(v01))

(1, ω(( v01) 1))

FS #605

(1, ωV0)

(1, ω(1, 11))

(1, ω(1, 21))

(1, ω(1, 31))

FS #606

(1, ω(1, ω1))

(1, ω(1, ω(1, ω1)))

(1, ω(1, ω(1, ω(1, ω1))))

(1, ω(1, ω(1, ω(1, ω(1, ω1)))))

FS #607

(1, ω + 11)

(1, ω + 21)

(1, ω + 31)

(1, ω + 41)

FS #608

(1, ω21)

(1, ω31)

(1, ω41)

(1, ω51)

FS #609

(1, ω 2 1)

(1, ω 3 1)

(1, ω 4 1)

(1, ω 5 1)

FS #610

(1, ω ω 1)

(1, ω ω ω 1)

(1, ω ω ω ω  1)

(1, ω ω ω ω ω   1)

FS #611

(1, ε01)

(1, Γ01)

(1, Δ01)

(1, ( 41) 1)

(1, v{{sub|0}}1) — (1, V{{sub|0}}1)
FS #612

(1, v01)

(1, v01) + 1

(1, v01) + 2

(1, v01) + 3

(1, v01) + 4

FS #613

(1, v01) + ω

(1, v01) + v0

(1, v01) + (v01)

(1, v01) + (( v01) 1)

FS #614

(1, v01) + V0

(1, v01) + (1, 11)

(1, v01) + (1, 21)

(1, v01) + (1, 31)

FS #615

(1, v01) + (1, ω1)

(1, v01) + (1, ε01)

(1, v01) + (1, Γ01)

(1, v01) + (1, Δ01)

FS #616

(1, v01)2

(1, v01)3

(1, v01)4

(1, v01)5

FS #617

ω( 1, v01) + 1

(ω ( 1, v01) + 1 1)

(( ω ( 1, v01) + 1 1) 1)

(( ( ω ( 1, v01) + 1 1) 1) 1)

FS #618

V(1, v 01) + 1

(1, 11, 0(1, v01) + 1)

(1, 21, 0(1, v01) + 1)

(1, 31, 0(1, v01) + 1)

FS #619

(1, ω1, 0(1, v01) + 1)

(1, ε01, 0(1, v01) + 1)

(1, Γ01, 0(1, v01) + 1)

(1, Δ01, 0(1, v01) + 1)

FS #620

(1, v01, 01)

(1, v01, ( 1, v01, 01) 1)

(1, v01, ( 1, v01, ( 1, v01, 01) 1) 1)

(1, v01, ( 1, v01, ( 1, v01, ( 1, v01, 01) 1) 1) 1)

FS #621

(1, v01, 1, 01)

(1, v01, 1, 11)

(1, v01, 1, 21)

(1, v01, 1, 31)

FS #622

(1, v01, 1, ω1)

(1, v01, 1, ε01)

(1, v01, 1, Γ01)

(1, v01, 1, Δ01)

FS #623

(1, v02)

(1, v03)

(1, v04)

(1, v05)

FS #624

(1, v0ω)

(1, v0v0)

(1, v0(v01))

(1, v0(( v01) 1))

FS #625

(1, v0V0)

(1, v0(1, 11))

(1, v0(1, 21))

(1, v0(1, 31))

FS #626

(1, v0(1, ω1))

(1, v0(1, ε01))

(1, v0(1, Γ01))

(1, v0(1, Δ01))

FS #627

(1, v0(1, v01))

(1, v0(1, v0(1, v01)))

(1, v0(1, v0(1, v0(1, v01))))

(1, v0(1, v0(1, v0(1, v0(1, v01)))))

FS #628

(1, v0 + 11)

(1, v0 + 21)

(1, v0 + 31)

(1, v0 + 41)

FS #629

(1, v0 + ω1)

(1, v0 + ε01)

(1, v0 + Γ01)

(1, v0 + Δ01)

FS #630

(1, v021)

(1, v031)

(1, v041)

(1, v051)

FS #631

(1, ω v0 + 1 1)

(1, εv 0 + 11)

(1, Γv 0 + 11)

(1, Δv 0 + 11)

FS #632

(1, v11)

(1, ( ω1, 11) 1)

(1, ( ω1, 21) 1)

(1, ( ω1, 31) 1)

FS #633

(1, ( ω2) 1)

(1, ( ω3) 1)

(1, ( ω4) 1)

(1, ( ω5) 1)

FS #634

(1, ( ωω) 1)

(1, ( ωε0) 1)

(1, ( ωΓ0) 1)

(1, ( ωΔ0) 1)

FS #635

(1, ( ωv0) 1)

(1, ( ω(ωv0)) 1)

(1, ( ω(ω(ωv0))) 1)

(1, ( ω(ω(ω(ωv0)))) 1)

FS #636

(1, ( ω + 11) 1)

(1, ( ω + 21) 1)

(1, ( ω + 31) 1)

(1, ( ω + 41) 1)

FS #637

(1, ( ω21) 1)

(1, ( ω31) 1)

(1, ( ω41) 1)

(1, ( ω51) 1)

FS #638

(1, ( ω 2 1) 1)

(1, ( ω 3 1) 1)

(1, ( ω 4 1) 1)

(1, ( ω 5 1) 1)

FS #639

(1, ( ω ω 1) 1)

(1, ( ω ω ω 1) 1)

(1, ( ω ω ω ω  1) 1)

(1, ( ω ω ω ω ω   1) 1)

FS #640

(1, ( ε01) 1)

(1, ( Γ01) 1)

(1, ( Δ01) 1)

(1, ( ( 41) 1) 1)

FS #641

(1, ( v01) 1)

(1, ( ( v01) 1) 1)

(1, ( ( ( v01) 1) 1) 1)

(1, ( ( ( ( v01) 1) 1) 1) 1)

(1, V{{sub|0}}1) — (1, ( 1, V{{sub|0}}1) 1)
FS #642

(1, V01)

(1, V01) + 1

(1, V01) + 2

(1, V01) + 3

(1, V01) + 4

FS #643

(1, V01) + ω

(1, V01) + v0

(1, V01) + (v01)

(1, V01) + (( v01) 1)

FS #644

(1, V01) + V0

(1, V01) + (1, 11)

(1, V01) + (1, 21)

(1, V01) + (1, 31)

FS #645

(1, V01) + (1, ω1)

(1, V01) + (1, v01)

(1, V01) + (1, ( v01) 1)

(1, V01) + (1, ( ( v01) 1) 1)

FS #646

(1, V01)2

(1, V01)3

(1, V01)4

(1, V01)5

FS #647

ω( 1, V01) + 1

(ω ( 1, V01) + 1 1)

(( ω ( 1, V01) + 1 1) 1)

(( ( ω ( 1, V01) + 1 1) 1) 1)

FS #648

V(1, V 01) + 1

(1, 11, 0(1, V01) + 1)

(1, 21, 0(1, V01) + 1)

(1, 31, 0(1, V01) + 1)

FS #649

(1, ω1, 0(1, V01) + 1)

(1, v01, 0(1, V01) + 1)

(1, ( v01) 1, 0(1, V01) + 1)

(1, ( ( v01) 1) 1, 0(1, V01) + 1)

FS #650

(1, V01, 01)

(1, V01, ( 1, V01, 01) 1)

(1, V01, ( 1, V01, ( 1, V01, 01) 1) 1)

(1, V01, ( 1, V01, ( 1, V01, ( 1, V01, 01) 1) 1) 1)

FS #651

(1, V01, 1, 01)

(1, V01, 1, 11)

(1, V01, 1, 21)

(1, V01, 1, 31)

FS #652

(1, V01, 1, ω1)

(1, V01, 1, v01)

(1, V01, 1, ( v01) 1)

(1, V01, 1, ( ( v01) 1) 1)

FS #653

(1, V02)

(1, V03)

(1, V04)

(1, V05)

FS #654

(1, V0ω)

(1, V0v0)

(1, V0(v01))

(1, V0(( v01) 1))

FS #655

(1, V0V0)

(1, V0(1, 11))

(1, V0(1, 21))

(1, V0(1, 31))

FS #656

(1, V0(1, ω1))

(1, V0(1, v01))

(1, V0(1, ( v01) 1))

(1, V0(1, ( ( v01) 1) 1))

FS #657

(1, V0(1, V01))

(1, V0(1, V0(1, V01)))

(1, V0(1, V0(1, V0(1, V01))))

(1, V0(1, V0(1, V0(1, V0(1, V01)))))

FS #658

(1, V0 + 11)

(1, V0 + 21)

(1, V0 + 31)

(1, V0 + 41)

FS #659

(1, V0 + ω1)

(1, V0 + v01)

(1, V0 + ( v01) 1)

(1, V0 + ( ( v01) 1) 1)

FS #660

(1, V021)

(1, V031)

(1, V041)

(1, V051)

FS #661

(1, ω V0 + 1 1)

(1, ( ω V0 + 1 1) 1)

(1, ( ( ω V0 + 1 1) 1) 1)

(1, ( ( ( ω V0 + 1 1) 1) 1) 1)

FS #662

(1, V11)

(1, ( 1, 01, V11) 1)

(1, ( 1, 01, ( 1, 01, V11) 1) 1)

(1, ( 1, 01, ( 1, 01, ( 1, 01, V11) 1) 1) 1)

FS #663

(1, ( 1, 02) 1)

(1, ( 1, 03) 1)

(1, ( 1, 04) 1)

(1, ( 1, 05) 1)

FS #664

(1, ( 1, 0ω) 1)

(1, ( 1, 0v0) 1)

(1, ( 1, 0(v01)) 1)

(1, ( 1, 0(( v01) 1)) 1)

FS #665

(1, ( 1, 0V0) 1)

(1, ( 1, 0(1, 0V0)) 1)

(1, ( 1, 0(1, 0(1, 0V0))) 1)

(1, ( 1, 0(1, 0(1, 0(1, 0V0)))) 1)

FS #666

(1, ( 1, 11) 1)

(1, ( 1, 21) 1)

(1, ( 1, 31) 1)

(1, ( 1, 41) 1)

FS #667

(1, ( 1, ω1) 1)

(1, ( 1, v01) 1)

(1, ( 1, ( v01) 1) 1)

(1, ( 1, ( ( v01) 1) 1) 1)

(1, ( 1, V{{sub|0}}1) 1) — (2, 01)
FS #668

(1, ( 1, V01) 1)

(1, ( 1, V01) 1) + 1

(1, ( 1, V01) 1) + 2

(1, ( 1, V01) 1) + 3

(1, ( 1, V01) 1) + 4

FS #669

(1, ( 1, V01) 1) + ω

(1, ( 1, V01) 1) + v0

(1, ( 1, V01) 1) + (v01)

(1, ( 1, V01) 1) + (( v01) 1)

FS #670

(1, ( 1, V01) 1) + V0

(1, ( 1, V01) 1) + (1, 11)

(1, ( 1, V01) 1) + (1, 21)

(1, ( 1, V01) 1) + (1, 31)

FS #671

(1, ( 1, V01) 1) + (1, ω1)

(1, ( 1, V01) 1) + (1, v01)

(1, ( 1, V01) 1) + (1, ( v01) 1)

(1, ( 1, V01) 1) + (1, ( ( v01) 1) 1)

FS #672

(1, ( 1, V01) 1) + (1, V01)

(1, ( 1, V01) 1) + (1, ( 1, 11) 1)

(1, ( 1, V01) 1) + (1, ( 1, 21) 1)

(1, ( 1, V01) 1) + (1, ( 1, 31) 1)

FS #673

(1, ( 1, V01) 1) + (1, ( 1, ω1) 1)

(1, ( 1, V01) 1) + (1, ( 1, v01) 1)

(1, ( 1, V01) 1) + (1, ( 1, ( v01) 1) 1)

(1, ( 1, V01) 1) + (1, ( 1, ( ( v01) 1) 1) 1)

FS #674

(1, ( 1, V01) 1)2

(1, ( 1, V01) 1)3

(1, ( 1, V01) 1)4

(1, ( 1, V01) 1)5

FS #675

ω( 1, ( 1, V01) 1) + 1

(ω ( 1, ( 1, V01) 1) + 1 1)

(( ω ( 1, ( 1, V01) 1) + 1 1) 1)

(( ( ω ( 1, ( 1, V01) 1) + 1 1) 1) 1)

FS #676

V(1, ( 1, V 01) 1) + 1

(1, 11, 0(1, ( 1, V01) 1) + 1)

(1, 21, 0(1, ( 1, V01) 1) + 1)

(1, 31, 0(1, ( 1, V01) 1) + 1)

FS #677

(1, ω1, 0(1, ( 1, V01) 1) + 1)

(1, v01, 0(1, ( 1, V01) 1) + 1)

(1, ( v01) 1, 0(1, ( 1, V01) 1) + 1)

(1, ( ( v01) 1) 1, 0(1, ( 1, V01) 1) + 1)

FS #678

(1, V01, 0(1, ( 1, V01) 1) + 1)

(1, ( 1, 11) 1, 0(1, ( 1, V01) 1) + 1)

(1, ( 1, 21) 1, 0(1, ( 1, V01) 1) + 1)

(1, ( 1, 31) 1, 0(1, ( 1, V01) 1) + 1)

FS #679

(1, ( 1, ω1) 1, 0(1, ( 1, V01) 1) + 1)

(1, ( 1, v01) 1, 0(1, ( 1, V01) 1) + 1)

(1, ( 1, ( v01) 1) 1, 0(1, ( 1, V01) 1) + 1)

(1, ( 1, ( ( v01) 1) 1) 1, 0(1, ( 1, V01) 1) + 1)

FS #680

(1, ( 1, V01) 1, 01)

(1, ( 1, V01) 1, ( 1, ( 1, V01) 1, 01) 1)

(1, ( 1, V01) 1, ( 1, ( 1, V01) 1, ( 1, ( 1, V01) 1, 01) 1) 1)

(1, ( 1, V01) 1, ( 1, ( 1, V01) 1, ( 1, ( 1, V01) 1, ( 1, ( 1, V01) 1, 01) 1) 1) 1)

FS #681

(1, ( 1, V01) 1, 1, 01)

(1, ( 1, V01) 1, 1, 11)

(1, ( 1, V01) 1, 1, 21)

(1, ( 1, V01) 1, 1, 31)

FS #682

(1, ( 1, V01) 1, 1, ω1)

(1, ( 1, V01) 1, 1, v01)

(1, ( 1, V01) 1, 1, ( v01) 1)

(1, ( 1, V01) 1, 1, ( ( v01) 1) 1)

FS #683

(1, ( 1, V01) 1, 1, V01)

(1, ( 1, V01) 1, 1, ( 1, 11) 1)

(1, ( 1, V01) 1, 1, ( 1, 21) 1)

(1, ( 1, V01) 1, 1, ( 1, 31) 1)

FS #684

(1, ( 1, V01) 1, 1, ( 1, ω1) 1)

(1, ( 1, V01) 1, 1, ( 1, v01) 1)

(1, ( 1, V01) 1, 1, ( 1, ( v01) 1) 1)

(1, ( 1, V01) 1, 1, ( 1, ( ( v01) 1) 1) 1)

FS #685

(1, ( 1, V01) 2)

(1, ( 1, V01) 3)

(1, ( 1, V01) 4)

(1, ( 1, V01) 5)

FS #686

(1, ( 1, V01) ω)

(1, ( 1, V01) v0)

(1, ( 1, V01) (v01))

(1, ( 1, V01) (( v01) 1))

FS #687

(1, ( 1, V01) V0)

(1, ( 1, V01) (1, 11))

(1, ( 1, V01) (1, 21))

(1, ( 1, V01) (1, 31))

FS #688

(1, ( 1, V01) (1, ω1))

(1, ( 1, V01) (1, v01))

(1, ( 1, V01) (1, ( v01) 1))

(1, ( 1, V01) (1, ( ( v01) 1) 1))

FS #689

(1, ( 1, V01) (1, V01))

(1, ( 1, V01) (1, ( 1, 11) 1))

(1, ( 1, V01) (1, ( 1, 21) 1))

(1, ( 1, V01) (1, ( 1, 31) 1))

FS #690

(1, ( 1, V01) (1, ( 1, ω1) 1))

(1, ( 1, V01) (1, ( 1, v01) 1))

(1, ( 1, V01) (1, ( 1, ( v01) 1) 1))

(1, ( 1, V01) (1, ( 1, ( ( v01) 1) 1) 1))

FS #691

(1, ( 1, V01) (1, ( 1, V01) 1))

(1, ( 1, V01) (1, ( 1, V01) (1, ( 1, V01) 1)))

(1, ( 1, V01) (1, ( 1, V01) (1, ( 1, V01) (1, ( 1, V01) 1))))

(1, ( 1, V01) (1, ( 1, V01) (1, ( 1, V01) (1, ( 1, V01) (1, ( 1, V01) 1)))))

FS #692

(1, ( 1, V01) + 1 1)

(1, ( 1, V01) + 2 1)

(1, ( 1, V01) + 3 1)

(1, ( 1, V01) + 4 1)

FS #693

(1, ( 1, V01) + ω 1)

(1, ( 1, V01) + v0 1)

(1, ( 1, V01) + (v01) 1)

(1, ( 1, V01) + (( v01) 1) 1)

FS #694

(1, ( 1, V01) + V0 1)

(1, ( 1, V01) + (1, 11) 1)

(1, ( 1, V01) + (1, 21) 1)

(1, ( 1, V01) + (1, 31) 1)

FS #695

(1, ( 1, V01) + (1, ω1) 1)

(1, ( 1, V01) + (1, v01) 1)

(1, ( 1, V01) + (1, ( v01) 1) 1)

(1, ( 1, V01) + (1, ( ( v01) 1) 1) 1)

FS #696

(1, ( 1, V01)2 1)

(1, ( 1, V01)3 1)

(1, ( 1, V01)4 1)

(1, ( 1, V01)5 1)

FS #697

(1, ω ( 1, V01) + 1 1)

(1, ( ω ( 1, V01) + 1 1) 1)

(1, ( ( ω ( 1, V01) + 1 1) 1) 1)

(1, ( ( ( ω ( 1, V01) + 1 1) 1) 1) 1)

FS #698

(1, V( 1, V 01) + 1 1)

(1, ( 1, 11, 0(1, V01) + 1) 1)

(1, ( 1, 21, 0(1, V01) + 1) 1)

(1, ( 1, 31, 0(1, V01) + 1) 1)

FS #699

(1, ( 1, ω1, 0(1, V01) + 1) 1)

(1, ( 1, v01, 0(1, V01) + 1) 1)

(1, ( 1, ( v01) 1, 0(1, V01) + 1) 1)

(1, ( 1, ( ( v01) 1) 1, 0(1, V01) + 1) 1)

FS #700

(1, ( 1, V01, 01) 1)

(1, ( 1, V01, ( 1, V01, 01) 1) 1)

(1, ( 1, V01, ( 1, V01, ( 1, V01, 01) 1) 1) 1)

(1, ( 1, V01, ( 1, V01, ( 1, V01, ( 1, V01, 01) 1) 1) 1) 1)

FS #701

(1, ( 1, V01, 1, 01) 1)

(1, ( 1, V01, 1, 11) 1)

(1, ( 1, V01, 1, 21) 1)

(1, ( 1, V01, 1, 31) 1)

FS #702

(1, ( 1, V01, 1, ω1) 1)

(1, ( 1, V01, 1, v01) 1)

(1, ( 1, V01, 1, ( v01) 1) 1)

(1, ( 1, V01, 1, ( ( v01) 1) 1) 1)

FS #703

(1, ( 1, V02) 1)

(1, ( 1, V03) 1)

(1, ( 1, V04) 1)

(1, ( 1, V05) 1)

FS #704

(1, ( 1, V0ω) 1)

(1, ( 1, V0v0) 1)

(1, ( 1, V0(v01)) 1)

(1, ( 1, V0(( v01) 1)) 1)

FS #705

(1, ( 1, V0V0) 1)

(1, ( 1, V0(1, 11)) 1)

(1, ( 1, V0(1, 21)) 1)

(1, ( 1, V0(1, 31)) 1)

FS #706

(1, ( 1, V0(1, ω1)) 1)

(1, ( 1, V0(1, v01)) 1)

(1, ( 1, V0(1, ( v01) 1)) 1)

(1, ( 1, V0(1, ( ( v01) 1) 1)) 1)

FS #707

(1, ( 1, V0(1, V01)) 1)

(1, ( 1, V0(1, V0(1, V01))) 1)

(1, ( 1, V0(1, V0(1, V0(1, V01)))) 1)

(1, ( 1, V0(1, V0(1, V0(1, V0(1, V01))))) 1)

FS #708

(1, ( 1, V0 + 11) 1)

(1, ( 1, V0 + 21) 1)

(1, ( 1, V0 + 31) 1)

(1, ( 1, V0 + 41) 1)

FS #709

(1, ( 1, V0 + ω1) 1)

(1, ( 1, V0 + v01) 1)

(1, ( 1, V0 + ( v01) 1) 1)

(1, ( 1, V0 + ( ( v01) 1) 1) 1)

FS #710

(1, ( 1, V021) 1)

(1, ( 1, V031) 1)

(1, ( 1, V041) 1)

(1, ( 1, V051) 1)

FS #711

(1, ( 1, ω V0 + 1 1) 1)

(1, ( 1, ( ω V0 + 1 1) 1) 1)

(1, ( 1, ( ( ω V0 + 1 1) 1) 1) 1)

(1, ( 1, ( ( ( ω V0 + 1 1) 1) 1) 1) 1)

FS #712

(1, ( 1, V11) 1)

(1, ( 1, ( 1, 01, V11) 1) 1)

(1, ( 1, ( 1, 01, ( 1, 01, V11) 1) 1) 1)

(1, ( 1, ( 1, 01, ( 1, 01, ( 1, 01, V11) 1) 1) 1) 1)

FS #713

(1, ( 1, ( 1, 02) 1) 1)

(1, ( 1, ( 1, 03) 1) 1)

(1, ( 1, ( 1, 04) 1) 1)

(1, ( 1, ( 1, 05) 1) 1)

FS #714

(1, ( 1, ( 1, 0ω) 1) 1)

(1, ( 1, ( 1, 0v0) 1) 1)

(1, ( 1, ( 1, 0(v01)) 1) 1)

(1, ( 1, ( 1, 0(( v01) 1)) 1) 1)

FS #715

(1, ( 1, ( 1, 0V0) 1) 1)

(1, ( 1, ( 1, 0(1, 0V0)) 1) 1)

(1, ( 1, ( 1, 0(1, 0(1, 0V0))) 1) 1)

(1, ( 1, ( 1, 0(1, 0(1, 0(1, 0V0)))) 1) 1)

FS #716

(1, ( 1, ( 1, 11) 1) 1)

(1, ( 1, ( 1, 21) 1) 1)

(1, ( 1, ( 1, 31) 1) 1)

(1, ( 1, ( 1, 41) 1) 1)

FS #717

(1, ( 1, ( 1, ω1) 1) 1)

(1, ( 1, ( 1, v01) 1) 1)

(1, ( 1, ( 1, ( v01) 1) 1) 1)

(1, ( 1, ( 1, ( ( v01) 1) 1) 1) 1)

FS #718

(1, ( 1, ( 1, V01) 1) 1)

(1, ( 1, ( 1, ( 1, V01) 1) 1) 1)

(1, ( 1, ( 1, ( 1, ( 1, V01) 1) 1) 1) 1)

(1, ( 1, ( 1, ( 1, ( 1, ( 1, V01) 1) 1) 1) 1) 1)

(2, 01) — (3, 01)
FS #719

(2, 01)

(2, 01) + 1

(2, 01) + 2

(2, 01) + 3

(2, 01) + 4

FS #720

(2, 01) + ω

(2, 01) + v0

(2, 01) + (v01)

(2, 01) + (( v01) 1)

FS #721

(2, 01) + V0

(2, 01) + (1, V01)

(2, 01) + (1, ( 1, V01) 1)

(2, 01) + (1, ( 1, ( 1, V01) 1) 1)

FS #722

(2, 01)2

(2, 01)3

(2, 01)4

(2, 01)5

FS #723

ω( 2, 01) + 1

(ω ( 2, 01) + 1 1)

(( ω ( 2, 01) + 1 1) 1)

(( ( ω ( 2, 01) + 1 1) 1) 1)

FS #724

V(2, 01) + 1

(1, V( 2, 01) + 1 1)

(1, ( 1, V( 2, 01) + 1 1) 1)

(1, ( 1, ( 1, V( 2, 01) + 1 1) 1) 1)

FS #725

(2, 01, 01)

(2, 01, ( 2, 01, 01) 1)

(2, 01, ( 2, 01, ( 2, 01, 01) 1) 1)

(2, 01, ( 2, 01, ( 2, 01, ( 2, 01, 01) 1) 1) 1)

FS #726

(2, 01, 1, 01)

(2, 01, 1, ( 2, 01, 1, 01) 1)

(2, 01, 1, ( 2, 01, 1, ( 2, 01, 1, 01) 1) 1)

(2, 01, 1, ( 2, 01, 1, ( 2, 01, 1, ( 2, 01, 1, 01) 1) 1) 1)

FS #727

(2, 02)

(2, 03)

(2, 04)

(2, 05)

FS #728

(2, 0ω)

(2, 0v0)

(2, 0(v01))

(2, 0(( v01) 1))

FS #729

(2, 0V0)

(2, 0(1, V01))

(2, 0(1, ( 1, V01) 1))

(2, 0(1, ( 1, ( 1, V01) 1) 1))

FS #730

(2, 0(2, 01))

(2, 0(2, 0(2, 01)))

(2, 0(2, 0(2, 0(2, 01))))

(2, 0(2, 0(2, 0(2, 0(2, 01)))))

FS #731

(2, 11)

(2, 21)

(2, 31)

(2, 41)

FS #732

(2, ω1)

(2, v01)

(2, ( v01) 1)

(2, ( ( v01) 1) 1)

FS #733

(2, V01)

(2, ( 1, V01) 1)

(2, ( 1, ( 1, V01) 1) 1)

(2, ( 1, ( 1, ( 1, V01) 1) 1) 1)

FS #734

(2, ( 2, 01) 1)

(2, ( 2, ( 2, 01) 1) 1)

(2, ( 2, ( 2, ( 2, 01) 1) 1) 1)

(2, ( 2, ( 2, ( 2, ( 2, 01) 1) 1) 1) 1)

(3, 01) — (ω, 01)
FS #735

(3, 01)

(3, 01) + 1

(3, 01) + 2

(3, 01) + 3

(3, 01) + 4

FS #736

(3, 01) + ω

(3, 01) + v0

(3, 01) + (v01)

(3, 01) + (( v01) 1)

FS #737

(3, 01) + V0

(3, 01) + (1, V01)

(3, 01) + (1, ( 1, V01) 1)

(3, 01) + (1, ( 1, ( 1, V01) 1) 1)

FS #738

(3, 01) + (2, 01)

(3, 01) + (2, ( 2, 01) 1)

(3, 01) + (2, ( 2, ( 2, 01) 1) 1)

(3, 01) + (2, ( 2, ( 2, ( 2, 01) 1) 1) 1)

FS #739

(3, 01)2

(3, 01)3

(3, 01)4

(3, 01)5

FS #740

ω( 3, 01) + 1

(ω ( 3, 01) + 1 1)

(( ω ( 3, 01) + 1 1) 1)

(( ( ω ( 3, 01) + 1 1) 1) 1)

FS #741

V(3, 01) + 1

(1, V( 3, 01) + 1 1)

(1, ( 1, V( 3, 01) + 1 1) 1)

(1, ( 1, ( 1, V( 3, 01) + 1 1) 1) 1)

FS #742

(2, 01, 0(3, 01) + 1)

(2, ( 2, 01, 0(3, 01) + 1) 1)

(2, ( 2, ( 2, 01, 0(3, 01) + 1) 1) 1)

(2, ( 2, ( 2, ( 2, 01, 0(3, 01) + 1) 1) 1) 1)

FS #743

(3, 01, 01)

(3, 01, ( 3, 01, 01) 1)

(3, 01, ( 3, 01, ( 3, 01, 01) 1) 1)

(3, 01, ( 3, 01, ( 3, 01, ( 3, 01, 01) 1) 1) 1)

FS #744

(3, 01, 1, 01)

(3, 01, 1, ( 3, 01, 1, 01) 1)

(3, 01, 1, ( 3, 01, 1, ( 3, 01, 1, 01) 1) 1)

(3, 01, 1, ( 3, 01, 1, ( 3, 01, 1, ( 3, 01, 1, 01) 1) 1) 1)

FS #745

(3, 01, 2, 01)

(3, 01, 2, ( 3, 01, 2, 01) 1)

(3, 01, 2, ( 3, 01, 2, ( 3, 01, 2, 01) 1) 1)

(3, 01, 2, ( 3, 01, 2, ( 3, 01, 2, ( 3, 01, 2, 01) 1) 1) 1)

FS #746

(3, 02)

(3, 03)

(3, 04)

(3, 05)

FS #747

(3, 0ω)

(3, 0v0)

(3, 0(v01))

(3, 0(( v01) 1))

FS #748

(3, 0V0)

(3, 0(1, V01))

(3, 0(1, ( 1, V01) 1))

(3, 0(1, ( 1, ( 1, V01) 1) 1))

FS #749

(3, 0(2, 01))

(3, 0(2, ( 2, 01) 1))

(3, 0(2, ( 2, ( 2, 01) 1) 1))

(3, 0(2, ( 2, ( 2, ( 2, 01) 1) 1) 1))

FS #750

(3, 0(3, 01))

(3, 0(3, 0(3, 01)))

(3, 0(3, 0(3, 0(3, 01))))

(3, 0(3, 0(3, 0(3, 0(3, 01)))))

FS #751

(3, 11)

(3, 21)

(3, 31)

(3, 41)

FS #752

(3, ω1)

(3, v01)

(3, ( v01) 1)

(3, ( ( v01) 1) 1)

FS #753

(3, V01)

(3, ( 1, V01) 1)

(3, ( 1, ( 1, V01) 1) 1)

(3, ( 1, ( 1, ( 1, V01) 1) 1) 1)

FS #754

(3, ( 2, 01) 1)

(3, ( 2, ( 2, 01) 1) 1)

(3, ( 2, ( 2, ( 2, 01) 1) 1) 1)

(3, ( 2, ( 2, ( 2, ( 2, 01) 1) 1) 1) 1)

FS #755

(3, ( 3, 01) 1)

(3, ( 3, ( 3, 01) 1) 1)

(3, ( 3, ( 3, ( 3, 01) 1) 1) 1)

(3, ( 3, ( 3, ( 3, ( 3, 01) 1) 1) 1) 1)

FS #756

(4, 01)

(5, 01)

(6, 01)

(7, 01)

(ω, 01) — (1, 0, 01)
FS #757

(ω, 01)

(ω, 01) + 1

(ω, 01) + 2

(ω, 01) + 3

(ω, 01) + 4

FS #758

(ω, 01) + ω

(ω, 01) + V0

(ω, 01) + (2, 01)

(ω, 01) + (3, 01)

FS #759

(ω, 01)2

(ω, 01)3

(ω, 01)4

(ω, 01)5

FS #760

ω( ω, 01) + 1

V(ω, 01) + 1

(2, 01, 0(ω, 01) + 1)

(3, 01, 0(ω, 01) + 1)

FS #761

(ω, 01, 01)

(ω, 01, 1, 01)

(ω, 01, 2, 01)

(ω, 01, 3, 01)

FS #762

(ω, 02)

(ω, 03)

(ω, 04)

(ω, 05)

FS #763

(ω, 0ω)

(ω, 0V0)

(ω, 0(2, 01))

(ω, 0(3, 01))

FS #764

(ω, 0(ω, 01))

(ω, 0(ω, 0(ω, 01)))

(ω, 0(ω, 0(ω, 0(ω, 01))))

(ω, 0(ω, 0(ω, 0(ω, 0(ω, 01)))))

FS #765

(ω, 11)

(ω, 21)

(ω, 31)

(ω, 41)

FS #766

(ω, ω1)

(ω, V01)

(ω, ( 2, 01) 1)

(ω, ( 3, 01) 1)

FS #767

(ω, ( ω, 01) 1)

(ω, ( ω, ( ω, 01) 1) 1)

(ω, ( ω, ( ω, ( ω, 01) 1) 1) 1)

(ω, ( ω, ( ω, ( ω, ( ω, 01) 1) 1) 1) 1)

FS #768

(ω + 1, 01)

(ω + 2, 01)

(ω + 3, 01)

(ω + 4, 01)

FS #769

(ω2, 01)

(ω3, 01)

(ω4, 01)

(ω5, 01)

FS #770

(ω 2, 0 1)

(ω 3, 0 1)

(ω 4, 0 1)

(ω 5, 0 1)

FS #771

(ω ω, 0 1)

(ω ω ω, 0 1)

(ω ω ω ω, 0 1)

(ω ω ω ω ω , 0 1)

FS #772

(ε0, 01)

(Γ0, 01)

(Δ0, 01)

(( 41), 0 1)

FS #773

(v0, 01)

(( v01), 0 1)

(( ( v01) 1), 0 1)

(( ( ( v01) 1) 1), 0 1)

FS #774

(V0, 01)

(( 2, 01), 0 1)

(( 3, 01), 0 1)

(( 4, 01), 0 1)

(( ω, 01), 0 1) — (1, 0, 01)
FS #775

(( ω, 01), 0 1)

(( ω, 01), 0 1) + 1

(( ω, 01), 0 1) + 2

(( ω, 01), 0 1) + 3

(( ω, 01), 0 1) + 4

FS #776

(( ω, 01), 0 1) + ω

(( ω, 01), 0 1) + V0

(( ω, 01), 0 1) + (2, 01)

(( ω, 01), 0 1) + (3, 01)

FS #777

(( ω, 01), 0 1) + (ω, 01)

(( ω, 01), 0 1) + (V0, 01)

(( ω, 01), 0 1) + (( 2, 01), 0 1)

(( ω, 01), 0 1) + (( 3, 01), 0 1)

FS #778

(( ω, 01), 0 1)2

(( ω, 01), 0 1)3

(( ω, 01), 0 1)4

(( ω, 01), 0 1)5

FS #779

ω( ( ω, 01), 0 1) + 1

V(( ω, 01), 0 1) + 1

(2, 01, 0(( ω, 01), 0 1) + 1)

(3, 01, 0(( ω, 01), 0 1) + 1)

FS #780

(ω, 01, 0(( ω, 01), 0 1) + 1)

(V0, 01, 0(( ω, 01), 0 1) + 1)

(( 2, 01), 0 1, 0(( ω, 01), 0 1) + 1)

(( 3, 01), 0 1, 0(( ω, 01), 0 1) + 1)

FS #781

(( ω, 01), 0 1, 01)

(( ω, 01), 0 1, 1, 01)

(( ω, 01), 0 1, 2, 01)

(( ω, 01), 0 1, 3, 01)

FS #782

(( ω, 01), 0 1, ω, 01)

(( ω, 01), 0 1, V0, 01)

(( ω, 01), 0 1, ( 2, 01), 0 1)

(( ω, 01), 0 1, ( 3, 01), 0 1)

FS #783

(( ω, 01), 0 2)

(( ω, 01), 0 3)

(( ω, 01), 0 4)

(( ω, 01), 0 5)

FS #784

(( ω, 01), 0 ω)

(( ω, 01), 0 V0)

(( ω, 01), 0 (2, 01))

(( ω, 01), 0 (3, 01))

FS #785

(( ω, 01), 0 (ω, 01))

(( ω, 01), 0 (V0, 01))

(( ω, 01), 0 (( 2, 01), 0 1))

(( ω, 01), 0 (( 3, 01), 0 1))

FS #786

(( ω, 01), 0 (( ω, 01), 0 1))

(( ω, 01), 0 (( ω, 01), 0 (( ω, 01), 0 1)))

(( ω, 01), 0 (( ω, 01), 0 (( ω, 01), 0 (( ω, 01), 0 1))))

(( ω, 01), 0 (( ω, 01), 0 (( ω, 01), 0 (( ω, 01), 0 (( ω, 01), 0 1)))))

FS #787

(( ω, 01), 1 1)

(( ω, 01), 2 1)

(( ω, 01), 3 1)

(( ω, 01), 4 1)

FS #788

(( ω, 01), ω 1)

(( ω, 01), V0 1)

(( ω, 01), (2, 01) 1)

(( ω, 01), (3, 01) 1)

FS #789

(( ω, 01), (ω, 01) 1)

(( ω, 01), (V0, 01) 1)

(( ω, 01), (( 2, 01), 0 1) 1)

(( ω, 01), (( 3, 01), 0 1) 1)

FS #790

(( ω, 01), (( ω, 01), 0 1) 1)

(( ω, 01), (( ω, 01), (( ω, 01), 0 1) 1) 1)

(( ω, 01), (( ω, 01), (( ω, 01), (( ω, 01), 0 1) 1) 1) 1)

(( ω, 01), (( ω, 01), (( ω, 01), (( ω, 01), (( ω, 01), 0 1) 1) 1) 1) 1)

FS #791

(( ω, 01) + 1, 0 1)

(( ω, 01) + 2, 0 1)

(( ω, 01) + 3, 0 1)

(( ω, 01) + 4, 0 1)

FS #792

(( ω, 01) + ω, 0 1)

(( ω, 01) + V0, 0 1)

(( ω, 01) + (2, 01), 0 1)

(( ω, 01) + (3, 01), 0 1)

FS #793

(( ω, 01)2, 0 1)

(( ω, 01)3, 0 1)

(( ω, 01)4, 0 1)

(( ω, 01)5, 0 1)

FS #794

(ω ( ω, 01) + 1, 0 1)

(V( ω, 01) + 1, 0 1)

(( 2, 01, 0(ω, 01) + 1), 0 1)

(( 3, 01, 0(ω, 01) + 1), 0 1)

FS #795

(( ω, 01, 01), 0 1)

(( ω, 01, 1, 01), 0 1)

(( ω, 01, 2, 01), 0 1)

(( ω, 01, 3, 01), 0 1)

FS #796

(( ω, 02), 0 1)

(( ω, 03), 0 1)

(( ω, 04), 0 1)

(( ω, 05), 0 1)

FS #797

(( ω, 0ω), 0 1)

(( ω, 0V0), 0 1)

(( ω, 0(2, 01)), 0 1)

(( ω, 0(3, 01)), 0 1)

FS #798

(( ω, 0(ω, 01)), 0 1)

(( ω, 0(ω, 0(ω, 01))), 0 1)

(( ω, 0(ω, 0(ω, 0(ω, 01)))), 0 1)

(( ω, 0(ω, 0(ω, 0(ω, 0(ω, 01))))), 0 1)

FS #799

(( ω, 11), 0 1)

(( ω, 21), 0 1)

(( ω, 31), 0 1)

(( ω, 41), 0 1)

FS #800

(( ω, ω1), 0 1)

(( ω, V01), 0 1)

(( ω, ( 2, 01) 1), 0 1)

(( ω, ( 3, 01) 1), 0 1)

FS #801

(( ω, ( ω, 01) 1), 0 1)

(( ω, ( ω, ( ω, 01) 1) 1), 0 1)

(( ω, ( ω, ( ω, ( ω, 01) 1) 1) 1), 0 1)

(( ω, ( ω, ( ω, ( ω, ( ω, 01) 1) 1) 1) 1), 0 1)

FS #802

(( ω + 1, 01), 0 1)

(( ω + 2, 01), 0 1)

(( ω + 3, 01), 0 1)

(( ω + 4, 01), 0 1)

FS #803

(( ω2, 01), 0 1)

(( ω3, 01), 0 1)

(( ω4, 01), 0 1)

(( ω5, 01), 0 1)

FS #804

(( ω 2, 0 1), 0 1)

(( ω 3, 0 1), 0 1)

(( ω 4, 0 1), 0 1)

(( ω 5, 0 1), 0 1)

FS #805

(( ω ω, 0 1), 0 1)

(( ω ω ω, 0 1), 0 1)

(( ω ω ω ω, 0 1), 0 1)

(( ω ω ω ω ω , 0 1), 0 1)

FS #806

(( ε0, 01), 0 1)

(( Γ0, 01), 0 1)

(( Δ0, 01), 0 1)

(( ( 41), 0 1), 0 1)

FS #807

(( v0, 01), 0 1)

(( ( v01), 0 1), 0 1)

(( ( ( v01) 1), 0 1), 0 1)

(( ( ( ( v01) 1) 1), 0 1), 0 1)

FS #808

(( V0, 01), 0 1)

(( ( 2, 01), 0 1), 0 1)

(( ( 3, 01), 0 1), 0 1)

(( ( 4, 01), 0 1), 0 1)

FS #809

(( ( ω, 01), 0 1), 0 1)

(( ( ( ω, 01), 0 1), 0 1), 0 1)

(( ( ( ( ω, 01), 0 1), 0 1), 0 1), 0 1)

(( ( ( ( ( ω, 01), 0 1), 0 1), 0 1), 0 1), 0 1)

(1, 0, 01) — (1, 0, 0, 01)
FS #810

(1, 0, 01)

(1, 0, 01) + 1

(1, 0, 01) + 2

(1, 0, 01) + 3

(1, 0, 01) + 4

FS #811

(1, 0, 01) + ω

(1, 0, 01) + (ω, 01)

(1, 0, 01) + (( ω, 01), 0 1)

(1, 0, 01) + (( ( ω, 01), 0 1), 0 1)

FS #812

(1, 0, 01)2

(1, 0, 01)3

(1, 0, 01)4

(1, 0, 01)5

FS #813

ω( 1, 0, 01) + 1

(ω ( 1, 0, 01) + 1, 0 1)

(( ω ( 1, 0, 01) + 1, 0 1), 0 1)

(( ( ω ( 1, 0, 01) + 1, 0 1), 0 1), 0 1)

FS #814

(1, 0, 01, 01)

(1, 0, 01, ( 1, 0, 01, 01), 0 1)

(1, 0, 01, ( 1, 0, 01, ( 1, 0, 01, 01), 0 1), 0 1)

(1, 0, 01, ( 1, 0, 01, ( 1, 0, 01, ( 1, 0, 01, 01), 0 1), 0 1), 0 1)

FS #815

(1, 0, 02)

(1, 0, 03)

(1, 0, 04)

(1, 0, 05)

FS #816

(1, 0, 0ω)

(1, 0, 0(ω, 01))

(1, 0, 0(( ω, 01), 0 1))

(1, 0, 0(( ( ω, 01), 0 1), 0 1))

FS #817

(1, 0, 0(1, 0, 01))

(1, 0, 0(1, 0, 0(1, 0, 01)))

(1, 0, 0(1, 0, 0(1, 0, 0(1, 0, 01))))

(1, 0, 0(1, 0, 0(1, 0, 0(1, 0, 0(1, 0, 01)))))

FS #818

(1, 0, 11)

(1, 0, 21)

(1, 0, 31)

(1, 0, 41)

FS #819

(1, 0, ω1)

(1, 0, ( ω, 01) 1)

(1, 0, ( ( ω, 01), 0 1) 1)

(1, 0, ( ( ( ω, 01), 0 1), 0 1) 1)

FS #820

(1, 0, ( 1, 0, 01) 1)

(1, 0, ( 1, 0, ( 1, 0, 01) 1) 1)

(1, 0, ( 1, 0, ( 1, 0, ( 1, 0, 01) 1) 1) 1)

(1, 0, ( 1, 0, ( 1, 0, ( 1, 0, ( 1, 0, 01) 1) 1) 1) 1)

FS #821

(1, 1, 01)

(1, 2, 01)

(1, 3, 01)

(1, 4, 01)

FS #822

(1, ω, 01)

(1, ( ω, 01), 0 1)

(1, ( ( ω, 01), 0 1), 0 1)

(1, ( ( ( ω, 01), 0 1), 0 1), 0 1)

FS #823

(1, ( 1, 0, 01), 0 1)

(1, ( 1, ( 1, 0, 01), 0 1), 0 1)

(1, ( 1, ( 1, ( 1, 0, 01), 0 1), 0 1), 0 1)

(1, ( 1, ( 1, ( 1, ( 1, 0, 01), 0 1), 0 1), 0 1), 0 1)

FS #824

(2, 0, 01)

(3, 0, 01)

(4, 0, 01)

(5, 0, 01)

FS #825

(ω, 0, 01)

(( ω, 0, 01), 0, 0 1)

(( ( ω, 0, 01), 0, 0 1), 0, 0 1)

(( ( ( ω, 0, 01), 0, 0 1), 0, 0 1), 0, 0 1)

(1, 0, 0, 01) — (ω1 1)
FS #826

(1, 0, 0, 01)

(1, 0, 0, 01) + 1

(1, 0, 0, 01) + 2

(1, 0, 0, 01) + 3

(1, 0, 0, 01) + 4

FS #827

(1, 0, 0, 01) + ω

(1, 0, 0, 01) + (ω, 0, 01)

(1, 0, 0, 01) + (( ω, 0, 01), 0, 0 1)

(1, 0, 0, 01) + (( ( ω, 0, 01), 0, 0 1), 0, 0 1)

FS #828

(1, 0, 0, 01)2

(1, 0, 0, 01)3

(1, 0, 0, 01)4

(1, 0, 0, 01)5

FS #829

ω( 1, 0, 0, 01) + 1

(ω ( 1, 0, 0, 01) + 1, 0, 0 1)

(( ω ( 1, 0, 0, 01) + 1, 0, 0 1), 0, 0 1)

(( ( ω ( 1, 0, 0, 01) + 1, 0, 0 1), 0, 0 1), 0, 0 1)

FS #830

(1, 0, 0, 01, 01)

(1, 0, 0, 01, ( 1, 0, 0, 01, 01), 0, 0 1)

(1, 0, 0, 01, ( 1, 0, 0, 01, ( 1, 0, 0, 01, 01), 0, 0 1), 0, 0 1)

(1, 0, 0, 01, ( 1, 0, 0, 01, ( 1, 0, 0, 01, ( 1, 0, 0, 01, 01), 0, 0 1), 0, 0 1), 0, 0 1)

FS #831

(1, 0, 0, 02)

(1, 0, 0, 03)

(1, 0, 0, 04)

(1, 0, 0, 05)

FS #832

(1, 0, 0, 0ω)

(1, 0, 0, 0(ω, 0, 01))

(1, 0, 0, 0(( ω, 0, 01), 0, 0 1))

(1, 0, 0, 0(( ( ω, 0, 01), 0, 0 1), 0, 0 1))

FS #833

(1, 0, 0, 0(1, 0, 0, 01))

(1, 0, 0, 0(1, 0, 0, 0(1, 0, 0, 01)))

(1, 0, 0, 0(1, 0, 0, 0(1, 0, 0, 0(1, 0, 0, 01))))

(1, 0, 0, 0(1, 0, 0, 0(1, 0, 0, 0(1, 0, 0, 0(1, 0, 0, 01)))))

FS #834

(1, 0, 0, 11)

(1, 0, 0, 21)

(1, 0, 0, 31)

(1, 0, 0, 41)

FS #835

(1, 0, 0, ω1)

(1, 0, 0, ( ω, 0, 01) 1)

(1, 0, 0, ( ( ω, 0, 01), 0, 0 1) 1)

(1, 0, 0, ( ( ( ω, 0, 01), 0, 0 1), 0, 0 1) 1)

FS #836

(1, 0, 0, ( 1, 0, 0, 01) 1)

(1, 0, 0, ( 1, 0, 0, ( 1, 0, 0, 01) 1) 1)

(1, 0, 0, ( 1, 0, 0, ( 1, 0, 0, ( 1, 0, 0, 01) 1) 1) 1)

(1, 0, 0, ( 1, 0, 0, ( 1, 0, 0, ( 1, 0, 0, ( 1, 0, 0, 01) 1) 1) 1) 1)

FS #837

(1, 0, 1, 01)

(1, 0, 2, 01)

(1, 0, 3, 01)

(1, 0, 4, 01)

FS #838

(1, 0, ω, 01)

(1, 0, ( ω, 0, 01), 0 1)

(1, 0, ( ( ω, 0, 01), 0, 0 1), 0 1)

(1, 0, ( ( ( ω, 0, 01), 0, 0 1), 0, 0 1), 0 1)

FS #839

(1, 0, ( 1, 0, 0, 01), 0 1)

(1, 0, ( 1, 0, ( 1, 0, 0, 01), 0 1), 0 1)

(1, 0, ( 1, 0, ( 1, 0, ( 1, 0, 0, 01), 0 1), 0 1), 0 1)

(1, 0, ( 1, 0, ( 1, 0, ( 1, 0, ( 1, 0, 0, 01), 0 1), 0 1), 0 1), 0 1)

FS #840

(1, 1, 0, 01)

(1, 2, 0, 01)

(1, 3, 0, 01)

(1, 4, 0, 01)

FS #841

(1, ω, 0, 01)

(1, ( ω, 0, 01), 0, 0 1)

(1, ( ( ω, 0, 01), 0, 0 1), 0, 0 1)

(1, ( ( ( ω, 0, 01), 0, 0 1), 0, 0 1), 0, 0 1)

FS #842

(1, ( 1, 0, 0, 01), 0, 0 1)

(1, ( 1, ( 1, 0, 0, 01), 0, 0 1), 0, 0 1)

(1, ( 1, ( 1, ( 1, 0, 0, 01), 0, 0 1), 0, 0 1), 0, 0 1)

(1, ( 1, ( 1, ( 1, ( 1, 0, 0, 01), 0, 0 1), 0, 0 1), 0, 0 1), 0, 0 1)

FS #843

(2, 0, 0, 01)

(3, 0, 0, 01)

(4, 0, 0, 01)

(5, 0, 0, 01)

FS #844

(ω, 0, 0, 01)

(( ω, 0, 0, 01), 0, 0, 0 1)

(( ( ω, 0, 0, 01), 0, 0, 0 1), 0, 0, 0 1)

(( ( ( ω, 0, 0, 01), 0, 0, 0 1), 0, 0, 0 1), 0, 0, 0 1)

FS #845

(41 1)

(51 1)

(61 1)

(71 1)

(ω1 1) — (ω ω 1 1)
FS #846

(ω1 1)

(ω1 1) + 1

(ω1 1) + 2

(ω1 1) + 3

(ω1 1) + 4

FS #847

(ω1 1) + ω

(ω1 1) + ωω

(ω1 1) + ωω ω

(ω1 1) + ωω ω ω

FS #848

(ω1 1) + ε0

(ω1 1) + V0

(ω1 1) + (1, 0, 01)

(ω1 1) + (1, 0, 0, 01)

FS #849

(ω1 1)2

(ω1 1)3

(ω1 1)4

(ω1 1)5

FS #850

ω( ω1 1) + 1

ωω ( ω1 1) + 1

ωω ω ( ω1 1) + 1

ωω ω ω ( ω1 1) + 1

FS #851

ε(ω1 1) + 1

V(ω1 1) + 1

(1, 0, 01, 0(ω1 1) + 1)

(1, 0, 0, 01, 0(ω1 1) + 1)

FS #852

(ω1 1, 01)

(ω1 1, 02)

(ω1 1, 03)

(ω1 1, 04)

FS #853

(ω1 1, 0ω)

(ω1 1, 0ωω)

(ω1 1, 0ωω ω )

(ω1 1, 0ωω ω ω )

FS #854

(ω1 1, 0ε0)

(ω1 1, 0V0)

(ω1 1, 0(1, 0, 01))

(ω1 1, 0(1, 0, 0, 01))

FS #855

(ω1 1, 0(ω1 1))

(ω1 1, 0(ω1 1, 0(ω1 1)))

(ω1 1, 0(ω1 1, 0(ω1 1, 0(ω1 1))))

(ω1 1, 0(ω1 1, 0(ω1 1, 0(ω1 1, 0(ω1 1)))))

FS #856

(ω1 1, 11)

(ω1 1, 1, 01)

(ω1 1, 1, 0, 01)

(ω1 1, 1, 0, 0, 01)

FS #857

(ω1 2)

(ω1 3)

(ω1 4)

(ω1 5)

FS #858

(ω1 ω)

(ω1 ωω)

(ω1 ωω ω )

(ω1 ωω ω ω )

FS #859

(ω1 ε0)

(ω1 V0)

(ω1 (1, 0, 01))

(ω1 (1, 0, 0, 01))

FS #860

(ω1 (ω1 1))

(ω1 (ω1 (ω1 1)))

(ω1 (ω1 (ω1 (ω1 1))))

(ω1 (ω1 (ω1 (ω1 (ω1 1)))))

FS #861

(ω1, 01 1)

(ω1, 11 1)

(ω1, 21 1)

(ω1, 31 1)

FS #862

(ω2 1)

(ω3 1)

(ω4 1)

(ω5 1)

FS #863

(ωω 1)

(ω(ωω 1) 1)

(ω(ω(ωω 1) 1) 1)

(ω(ω(ω(ωω 1) 1) 1) 1)

FS #864

(ω + 11 1)

(ω + 21 1)

(ω + 31 1)

(ω + 41 1)

FS #865

(ω21 1)

(ω31 1)

(ω41 1)

(ω51 1)

FS #866

(ω 2 1 1)

(ω 3 1 1)

(ω 4 1 1)

(ω 5 1 1)

(ω ω 1 1) — (( ε{{sub|0}}1 1) 1 1)
FS #867

(ω ω 1 1)

(ω ω 1 1) + 1

(ω ω 1 1) + 2

(ω ω 1 1) + 3

(ω ω 1 1) + 4

FS #868

(ω ω 1 1) + ω

(ω ω 1 1) + ωω

(ω ω 1 1) + ωω ω

(ω ω 1 1) + ωω ω ω

FS #869

(ω ω 1 1) + ε0

(ω ω 1 1) + V0

(ω ω 1 1) + (1, 0, 01)

(ω ω 1 1) + (1, 0, 0, 01)

FS #870

(ω ω 1 1) + (ω1 1)

(ω ω 1 1) + (ω 2 1 1)

(ω ω 1 1) + (ω 3 1 1)

(ω ω 1 1) + (ω 4 1 1)

FS #871

(ω ω 1 1)2

(ω ω 1 1)3

(ω ω 1 1)4

(ω ω 1 1)5

FS #872

ω( ω ω 1 1) + 1

ωω ( ω ω 1 1) + 1

ωω ω ( ω ω 1 1) + 1

ωω ω ω ( ω ω 1 1) + 1

FS #873

ε(ω ω 1 1) + 1

V(ω ω 1 1) + 1

(1, 0, 01, 0(ω ω 1 1) + 1)

(1, 0, 0, 01, 0(ω ω 1 1) + 1)

FS #874

(ω1 1, 0(ω ω 1 1) + 1)

(ω 2 1 1, 0(ω ω 1 1) + 1)

(ω 3 1 1, 0(ω ω 1 1) + 1)

(ω 4 1 1, 0(ω ω 1 1) + 1)

FS #875

(ω ω 1 1, 01)

(ω ω 1 1, 02)

(ω ω 1 1, 03)

(ω ω 1 1, 04)

FS #876

(ω ω 1 1, 0ω)

(ω ω 1 1, 0ωω)

(ω ω 1 1, 0ωω ω )

(ω ω 1 1, 0ωω ω ω )

FS #877

(ω ω 1 1, 0ε0)

(ω ω 1 1, 0V0)

(ω ω 1 1, 0(1, 0, 01))

(ω ω 1 1, 0(1, 0, 0, 01))

FS #878

(ω ω 1 1, 0(ω1 1))

(ω ω 1 1, 0(ω 2 1 1))

(ω ω 1 1, 0(ω 3 1 1))

(ω ω 1 1, 0(ω 4 1 1))

FS #879

(ω ω 1 1, 0(ω ω 1 1))

(ω ω 1 1, 0(ω ω 1 1, 0(ω ω 1 1)))

(ω ω 1 1, 0(ω ω 1 1, 0(ω ω 1 1, 0(ω ω 1 1))))

(ω ω 1 1, 0(ω ω 1 1, 0(ω ω 1 1, 0(ω ω 1 1, 0(ω ω 1 1)))))

FS #880

(ω ω 1 1, 11)

(ω ω 1 1, 1, 01)

(ω ω 1 1, 1, 0, 01)

(ω ω 1 1, 1, 0, 0, 01)

FS #881

(ω ω 1 1, ω1 1)

(ω ω 1 1, ω 2 1 1)

(ω ω 1 1, ω 3 1 1)

(ω ω 1 1, ω 4 1 1)

FS #882

(ω ω 1 2)

(ω ω 1 3)

(ω ω 1 4)

(ω ω 1 5)

FS #883

(ω ω 1 ω)

(ω ω 1 ωω)

(ω ω 1 ωω ω )

(ω ω 1 ωω ω ω )

FS #884

(ω ω 1 ε0)

(ω ω 1 V0)

(ω ω 1 (1, 0, 01))

(ω ω 1 (1, 0, 0, 01))

FS #885

(ω ω 1 (ω1 1))

(ω ω 1 (ω 2 1 1))

(ω ω 1 (ω 3 1 1))

(ω ω 1 (ω 4 1 1))

FS #886

(ω ω 1 (ω ω 1 1))

(ω ω 1 (ω ω 1 (ω ω 1 1)))

(ω ω 1 (ω ω 1 (ω ω 1 (ω ω 1 1))))

(ω ω 1 (ω ω 1 (ω ω 1 (ω ω 1 (ω ω 1 1)))))

FS #887

(ω ω 1, 01 1)

(ω ω 1, 11 1)

(ω ω 1, 21 1)

(ω ω 1, 31 1)

FS #888

(ω ω 1, ω1 1)

(ω ω 1, ω 2 1 1)

(ω ω 1, ω 3 1 1)

(ω ω 1, ω 4 1 1)

FS #889

(ω ω 2 1)

(ω ω 3 1)

(ω ω 4 1)

(ω ω 5 1)

FS #890

(ω ω ω 1)

(ω ω (ω ω ω 1) 1)

(ω ω (ω ω (ω ω ω 1) 1) 1)

(ω ω (ω ω (ω ω (ω ω ω 1) 1) 1) 1)

FS #891

(ω ω + 1 1 1)

(ω ω + 2 1 1)

(ω ω + 3 1 1)

(ω ω + 4 1 1)

FS #892

(ω ω + ω 1 1)

(ω ω + ω2 1 1)

(ω ω + ω3 1 1)

(ω ω + ω4 1 1)

FS #893

(ω ω2 1 1)

(ω ω3 1 1)

(ω ω4 1 1)

(ω ω5 1 1)

FS #894

(ω ω + 1 1 1)

(ω ω + 2 1 1)

(ω ω + 3 1 1)

(ω ω + 4 1 1)

FS #895

(ω ω2 1 1)

(ω ω3 1 1)

(ω ω4 1 1)

(ω ω5 1 1)

FS #896

(ω ω 2 1 1)

(ω ω 3 1 1)

(ω ω 4 1 1)

(ω ω 5 1 1)

FS #897

(ω ω ω 1 1)

(ω ω ω ω  1 1)

(ω ω ω ω ω   1 1)

(ω ω ω ω ω ω    1 1)

(ε{{sub|0}}1 1) — (( ε{{sub|0}}1 1) 1 1)
FS #898

(ε01 1)

(ε01 1) + 1

(ε01 1) + 2

(ε01 1) + 3

(ε01 1) + 4

FS #899

(ε01 1) + ω

(ε01 1) + ωω

(ε01 1) + ωω ω

(ε01 1) + ωω ω ω

FS #900

(ε01 1) + ε0

(ε01 1) + V0

(ε01 1) + (1, 0, 01)

(ε01 1) + (1, 0, 0, 01)

FS #901

(ε01 1) + (ω1 1)

(ε01 1) + (ω ω 1 1)

(ε01 1) + (ω ω ω 1 1)

(ε01 1) + (ω ω ω ω  1 1)

FS #902

(ε01 1)2

(ε01 1)3

(ε01 1)4

(ε01 1)5

FS #903

ω( ε01 1) + 1

ωω ( ε01 1) + 1

ωω ω ( ε01 1) + 1

ωω ω ω ( ε01 1) + 1

FS #904

ε(ε 01 1) + 1

V(ε 01 1) + 1

(1, 0, 01, 0(ε01 1) + 1)

(1, 0, 0, 01, 0(ε01 1) + 1)

FS #905

(ω1 1, 0(ε01 1) + 1)

(ω ω 1 1, 0(ε01 1) + 1)

(ω ω ω 1 1, 0(ε01 1) + 1)

(ω ω ω ω  1 1, 0(ε01 1) + 1)

FS #906

(ε01 1, 01)

(ε01 1, 02)

(ε01 1, 03)

(ε01 1, 04)

FS #907

(ε01 1, 0ω)

(ε01 1, 0ωω)

(ε01 1, 0ωω ω )

(ε01 1, 0ωω ω ω )

FS #908

(ε01 1, 0ε0)

(ε01 1, 0V0)

(ε01 1, 0(1, 0, 01))

(ε01 1, 0(1, 0, 0, 01))

FS #909

(ε01 1, 0(ω1 1))

(ε01 1, 0(ω ω 1 1))

(ε01 1, 0(ω ω ω 1 1))

(ε01 1, 0(ω ω ω ω  1 1))

FS #910

(ε01 1, 0(ε01 1))

(ε01 1, 0(ε01 1, 0(ε01 1)))

(ε01 1, 0(ε01 1, 0(ε01 1, 0(ε01 1))))

(ε01 1, 0(ε01 1, 0(ε01 1, 0(ε01 1, 0(ε01 1)))))

FS #911

(ε01 1, 11)

(ε01 1, 1, 01)

(ε01 1, 1, 0, 01)

(ε01 1, 1, 0, 0, 01)

FS #912

(ε01 1, ω1 1)

(ε01 1, ω ω 1 1)

(ε01 1, ω ω ω 1 1)

(ε01 1, ω ω ω ω  1 1)

FS #913

(ε01 2)

(ε01 3)

(ε01 4)

(ε01 5)

FS #914

(ε01 ω)

(ε01 ωω)

(ε01 ωω ω )

(ε01 ωω ω ω )

FS #915

(ε01 ε0)

(ε01 V0)

(ε01 (1, 0, 01))

(ε01 (1, 0, 0, 01))

FS #916

(ε01 (ω1 1))

(ε01 (ω ω 1 1))

(ε01 (ω ω ω 1 1))

(ε01 (ω ω ω ω  1 1))

FS #917

(ε01 (ε01 1))

(ε01 (ε01 (ε01 1)))

(ε01 (ε01 (ε01 (ε01 1))))

(ε01 (ε01 (ε01 (ε01 (ε01 1)))))

FS #918

(ε01, 01 1)

(ε01, 11 1)

(ε01, 21 1)

(ε01, 31 1)

FS #919

(ε01, ω1 1)

(ε01, ω ω 1 1)

(ε01, ω ω ω 1 1)

(ε01, ω ω ω ω  1 1)

FS #920

(ε02 1)

(ε03 1)

(ε04 1)

(ε05 1)

FS #921

(ε0ω 1)

(ε0(ε0ω 1) 1)

(ε0(ε0(ε0ω 1) 1) 1)

(ε0(ε0(ε0(ε0ω 1) 1) 1) 1)

FS #922

(ε0 + 11 1)

(ε0 + 21 1)

(ε0 + 31 1)

(ε0 + 41 1)

FS #923

(ε0 + ω1 1)

(ε0 + ω ω 1 1)

(ε0 + ω ω ω 1 1)

(ε0 + ω ω ω ω  1 1)

FS #924

(ε021 1)

(ε031 1)

(ε041 1)

(ε051 1)

FS #925

(ω ε0 + 1 1 1)

(ω ω ε0 + 1 1 1)

(ω ω ω ε0 + 1  1 1)

(ω ω ω ω ε0 + 1   1 1)

FS #926

(ε11 1)

(ε21 1)

(ε31 1)

(ε41 1)

FS #927

(εω1 1)

(εω ω 1 1)

(εω ω ω 1 1)

(εω ω ω ω 1 1)

FS #928

(εε 01 1)

(εε ε 01 1)

(εε ε ε 01 1)

(εε ε ε ε 01 1)

FS #929

(ζ01 1)

(η01 1)

((4, 0)1 1)

((5, 0)1 1)

FS #930

((ω, 0)1 1)

((ω ω, 0) 1 1)

((ω ω ω, 0) 1 1)

((ω ω ω ω, 0) 1 1)

FS #931

((ε0, 0)1 1)

(((ε0, 0), 0)1 1)

((((ε0, 0), 0), 0)1 1)

(((((ε0, 0), 0), 0), 0)1 1)

FS #932

(Γ01 1)

(Δ01 1)

(( 41) 1 1)

(( 51) 1 1)

FS #933

(v01 1)

(( v01) 1 1)

(( ( v01) 1) 1 1)

(( ( ( v01) 1) 1) 1 1)

FS #934

(V01 1)

(( 1, 0, 01) 1 1)

(( 1, 0, 0, 01) 1 1)

(( 41 1) 1 1)

FS #935

(( ω1 1) 1 1)

(( ω ω 1 1) 1 1)

(( ω ω ω 1 1) 1 1)

(( ω ω ω ω  1 1) 1 1)

(( ε{{sub|0}}1 1) 1 1) — (1, 01 1)
FS #936

(( ε01 1) 1 1)

(( ε01 1) 1 1) + 1

(( ε01 1) 1 1) + 2

(( ε01 1) 1 1) + 3

(( ε01 1) 1 1) + 4

FS #937

(( ε01 1) 1 1) + ω

(( ε01 1) 1 1) + ωω

(( ε01 1) 1 1) + ωω ω

(( ε01 1) 1 1) + ωω ω ω

FS #938

(( ε01 1) 1 1) + ε0

(( ε01 1) 1 1) + V0

(( ε01 1) 1 1) + (1, 0, 01)

(( ε01 1) 1 1) + (1, 0, 0, 01)

FS #939

(( ε01 1) 1 1) + (ω1 1)

(( ε01 1) 1 1) + (ω ω 1 1)

(( ε01 1) 1 1) + (ω ω ω 1 1)

(( ε01 1) 1 1) + (ω ω ω ω  1 1)

FS #940

(( ε01 1) 1 1) + (ε01 1)

(( ε01 1) 1 1) + (V01 1)

(( ε01 1) 1 1) + (( 1, 0, 01) 1 1)

(( ε01 1) 1 1) + (( 1, 0, 0, 01) 1 1)

FS #941

(( ε01 1) 1 1) + (( ω1 1) 1 1)

(( ε01 1) 1 1) + (( ω ω 1 1) 1 1)

(( ε01 1) 1 1) + (( ω ω ω 1 1) 1 1)

(( ε01 1) 1 1) + (( ω ω ω ω  1 1) 1 1)

FS #942

(( ε01 1) 1 1)2

(( ε01 1) 1 1)3

(( ε01 1) 1 1)4

(( ε01 1) 1 1)5

FS #943

ω( ( ε01 1) 1 1) + 1

ωω ( ( ε01 1) 1 1) + 1

ωω ω ( ( ε01 1) 1 1) + 1

ωω ω ω ( ( ε01 1) 1 1) + 1

FS #944

ε(( ε 01 1) 1 1) + 1

V(( ε 01 1) 1 1) + 1

(1, 0, 01, 0(( ε01 1) 1 1) + 1)

(1, 0, 0, 01, 0(( ε01 1) 1 1) + 1)

FS #945

(ω1 1, 0(( ε01 1) 1 1) + 1)

(ω ω 1 1, 0(( ε01 1) 1 1) + 1)

(ω ω ω 1 1, 0(( ε01 1) 1 1) + 1)

(ω ω ω ω  1 1, 0(( ε01 1) 1 1) + 1)

FS #946

(ε01 1, 0(( ε01 1) 1 1) + 1)

(V01 1, 0(( ε01 1) 1 1) + 1)

(( 1, 0, 01) 1 1, 0(( ε01 1) 1 1) + 1)

(( 1, 0, 0, 01) 1 1, 0(( ε01 1) 1 1) + 1)

FS #947

(( ω1 1) 1 1, 0(( ε01 1) 1 1) + 1)

(( ω ω 1 1) 1 1, 0(( ε01 1) 1 1) + 1)

(( ω ω ω 1 1) 1 1, 0(( ε01 1) 1 1) + 1)

(( ω ω ω ω  1 1) 1 1, 0(( ε01 1) 1 1) + 1)

FS #948

(( ε01 1) 1 1, 01)

(( ε01 1) 1 1, 02)

(( ε01 1) 1 1, 03)

(( ε01 1) 1 1, 04)

FS #949

(( ε01 1) 1 1, 0ω)

(( ε01 1) 1 1, 0ωω)

(( ε01 1) 1 1, 0ωω ω )

(( ε01 1) 1 1, 0ωω ω ω )

FS #950

(( ε01 1) 1 1, 0ε0)

(( ε01 1) 1 1, 0V0)

(( ε01 1) 1 1, 0(1, 0, 01))

(( ε01 1) 1 1, 0(1, 0, 0, 01))

FS #951

(( ε01 1) 1 1, 0(ω1 1))

(( ε01 1) 1 1, 0(ω ω 1 1))

(( ε01 1) 1 1, 0(ω ω ω 1 1))

(( ε01 1) 1 1, 0(ω ω ω ω  1 1))

FS #952

(( ε01 1) 1 1, 0(ε01 1))

(( ε01 1) 1 1, 0(V01 1))

(( ε01 1) 1 1, 0(( 1, 0, 01) 1 1))

(( ε01 1) 1 1, 0(( 1, 0, 0, 01) 1 1))

FS #953

(( ε01 1) 1 1, 0(( ω1 1) 1 1))

(( ε01 1) 1 1, 0(( ω ω 1 1) 1 1))

(( ε01 1) 1 1, 0(( ω ω ω 1 1) 1 1))

(( ε01 1) 1 1, 0(( ω ω ω ω  1 1) 1 1))

FS #954

(( ε01 1) 1 1, 0(( ε01 1) 1 1))

(( ε01 1) 1 1, 0(( ε01 1) 1 1, 0(( ε01 1) 1 1)))

(( ε01 1) 1 1, 0(( ε01 1) 1 1, 0(( ε01 1) 1 1, 0(( ε01 1) 1 1))))

(( ε01 1) 1 1, 0(( ε01 1) 1 1, 0(( ε01 1) 1 1, 0(( ε01 1) 1 1, 0(( ε01 1) 1 1)))))

FS #955

(( ε01 1) 1 1, 11)

(( ε01 1) 1 1, 1, 01)

(( ε01 1) 1 1, 1, 0, 01)

(( ε01 1) 1 1, 1, 0, 0, 01)

FS #956

(( ε01 1) 1 1, ω1 1)

(( ε01 1) 1 1, ω ω 1 1)

(( ε01 1) 1 1, ω ω ω 1 1)

(( ε01 1) 1 1, ω ω ω ω  1 1)

FS #957

(( ε01 1) 1 1, ε01 1)

(( ε01 1) 1 1, V01 1)

(( ε01 1) 1 1, ( 1, 0, 01) 1 1)

(( ε01 1) 1 1, ( 1, 0, 0, 01) 1 1)

FS #958

(( ε01 1) 1 1, ( ω1 1) 1 1)

(( ε01 1) 1 1, ( ω ω 1 1) 1 1)

(( ε01 1) 1 1, ( ω ω ω 1 1) 1 1)

(( ε01 1) 1 1, ( ω ω ω ω  1 1) 1 1)

FS #959

(( ε01 1) 1 2)

(( ε01 1) 1 3)

(( ε01 1) 1 4)

(( ε01 1) 1 5)

FS #960

(( ε01 1) 1 ω)

(( ε01 1) 1 ωω)

(( ε01 1) 1 ωω ω )

(( ε01 1) 1 ωω ω ω )

FS #961

(( ε01 1) 1 ε0)

(( ε01 1) 1 V0)

(( ε01 1) 1 (1, 0, 01))

(( ε01 1) 1 (1, 0, 0, 01))

FS #962

(( ε01 1) 1 (ω1 1))

(( ε01 1) 1 (ω ω 1 1))

(( ε01 1) 1 (ω ω ω 1 1))

(( ε01 1) 1 (ω ω ω ω  1 1))

FS #963

(( ε01 1) 1 (ε01 1))

(( ε01 1) 1 (V01 1))

(( ε01 1) 1 (( 1, 0, 01) 1 1))

(( ε01 1) 1 (( 1, 0, 0, 01) 1 1))

FS #964

(( ε01 1) 1 (( ω1 1) 1 1))

(( ε01 1) 1 (( ω ω 1 1) 1 1))

(( ε01 1) 1 (( ω ω ω 1 1) 1 1))

(( ε01 1) 1 (( ω ω ω ω  1 1) 1 1))

FS #965

(( ε01 1) 1 (( ε01 1) 1 1))

(( ε01 1) 1 (( ε01 1) 1 (( ε01 1) 1 1)))

(( ε01 1) 1 (( ε01 1) 1 (( ε01 1) 1 (( ε01 1) 1 1))))

(( ε01 1) 1 (( ε01 1) 1 (( ε01 1) 1 (( ε01 1) 1 (( ε01 1) 1 1)))))

FS #966

(( ε01 1) 1, 01 1)

(( ε01 1) 1, 11 1)

(( ε01 1) 1, 21 1)

(( ε01 1) 1, 31 1)

FS #967

(( ε01 1) 1, ω1 1)

(( ε01 1) 1, ω ω 1 1)

(( ε01 1) 1, ω ω ω 1 1)

(( ε01 1) 1, ω ω ω ω  1 1)

FS #968

(( ε01 1) 1, ε01 1)

(( ε01 1) 1, V01 1)

(( ε01 1) 1, ( 1, 0, 01) 1 1)

(( ε01 1) 1, ( 1, 0, 0, 01) 1 1)

FS #969

(( ε01 1) 1, ( ω1 1) 1 1)

(( ε01 1) 1, ( ω ω 1 1) 1 1)

(( ε01 1) 1, ( ω ω ω 1 1) 1 1)

(( ε01 1) 1, ( ω ω ω ω  1 1) 1 1)

FS #970

(( ε01 1) 2 1)

(( ε01 1) 3 1)

(( ε01 1) 4 1)

(( ε01 1) 5 1)

FS #971

(( ε01 1) ω 1)

(( ε01 1) (( ε01 1) ω 1) 1)

(( ε01 1) (( ε01 1) (( ε01 1) ω 1) 1) 1)

(( ε01 1) (( ε01 1) (( ε01 1) (( ε01 1) ω 1) 1) 1) 1)

FS #972

(( ε01 1) + 1 1 1)

(( ε01 1) + 2 1 1)

(( ε01 1) + 3 1 1)

(( ε01 1) + 4 1 1)

FS #973

(( ε01 1) + ω 1 1)

(( ε01 1) + ωω 1 1)

(( ε01 1) + ωω ω 1 1)

(( ε01 1) + ωω ω ω  1 1)

FS #974

(( ε01 1) + ε0 1 1)

(( ε01 1) + V0 1 1)

(( ε01 1) + (1, 0, 01) 1 1)

(( ε01 1) + (1, 0, 0, 01) 1 1)

FS #975

(( ε01 1) + (ω1 1) 1 1)

(( ε01 1) + (ω ω 1 1) 1 1)

(( ε01 1) + (ω ω ω 1 1) 1 1)

(( ε01 1) + (ω ω ω ω  1 1) 1 1)

FS #976

(( ε01 1)2 1 1)

(( ε01 1)3 1 1)

(( ε01 1)4 1 1)

(( ε01 1)5 1 1)

FS #977

(ω ( ε01 1) + 1 1 1)

(ω ω ( ε01 1) + 1  1 1)

(ω ω ω ( ε01 1) + 1   1 1)

(ω ω ω ω ( ε01 1) + 1    1 1)

FS #978

(ε( ε 01 1) + 1 1 1)

(V( ε 01 1) + 1 1 1)

(( 1, 0, 01, 0(ε01 1) + 1) 1 1)

(( 1, 0, 0, 01, 0(ε01 1) + 1) 1 1)

FS #979

(( ω1 1, 0(ε01 1) + 1) 1 1)

(( ω ω 1 1, 0(ε01 1) + 1) 1 1)

(( ω ω ω 1 1, 0(ε01 1) + 1) 1 1)

(( ω ω ω ω  1 1, 0(ε01 1) + 1) 1 1)

FS #980

(( ε01 1, 01) 1 1)

(( ε01 1, 02) 1 1)

(( ε01 1, 03) 1 1)

(( ε01 1, 04) 1 1)

FS #981

(( ε01 1, 0ω) 1 1)

(( ε01 1, 0ωω) 1 1)

(( ε01 1, 0ωω ω ) 1 1)

(( ε01 1, 0ωω ω ω ) 1 1)

FS #982

(( ε01 1, 0ε0) 1 1)

(( ε01 1, 0V0) 1 1)

(( ε01 1, 0(1, 0, 01)) 1 1)

(( ε01 1, 0(1, 0, 0, 01)) 1 1)

FS #983

(( ε01 1, 0(ω1 1)) 1 1)

(( ε01 1, 0(ω ω 1 1)) 1 1)

(( ε01 1, 0(ω ω ω 1 1)) 1 1)

(( ε01 1, 0(ω ω ω ω  1 1)) 1 1)

FS #984

(( ε01 1, 0(ε01 1)) 1 1)

(( ε01 1, 0(ε01 1, 0(ε01 1))) 1 1)

(( ε01 1, 0(ε01 1, 0(ε01 1, 0(ε01 1)))) 1 1)

(( ε01 1, 0(ε01 1, 0(ε01 1, 0(ε01 1, 0(ε01 1))))) 1 1)

FS #985

(( ε01 1, 11) 1 1)

(( ε01 1, 1, 01) 1 1)

(( ε01 1, 1, 0, 01) 1 1)

(( ε01 1, 1, 0, 0, 01) 1 1)

FS #986

(( ε01 1, ω1 1) 1 1)

(( ε01 1, ω ω 1 1) 1 1)

(( ε01 1, ω ω ω 1 1) 1 1)

(( ε01 1, ω ω ω ω  1 1) 1 1)

FS #987

(( ε01 2) 1 1)

(( ε01 3) 1 1)

(( ε01 4) 1 1)

(( ε01 5) 1 1)

FS #988

(( ε01 ω) 1 1)

(( ε01 ωω) 1 1)

(( ε01 ωω ω ) 1 1)

(( ε01 ωω ω ω ) 1 1)

FS #989

(( ε01 ε0) 1 1)

(( ε01 V0) 1 1)

(( ε01 (1, 0, 01)) 1 1)

(( ε01 (1, 0, 0, 01)) 1 1)

FS #990

(( ε01 (ω1 1)) 1 1)

(( ε01 (ω ω 1 1)) 1 1)

(( ε01 (ω ω ω 1 1)) 1 1)

(( ε01 (ω ω ω ω  1 1)) 1 1)

FS #991

(( ε01 (ε01 1)) 1 1)

(( ε01 (ε01 (ε01 1))) 1 1)

(( ε01 (ε01 (ε01 (ε01 1)))) 1 1)

(( ε01 (ε01 (ε01 (ε01 (ε01 1))))) 1 1)

FS #992

(( ε01, 01 1) 1 1)

(( ε01, 11 1) 1 1)

(( ε01, 21 1) 1 1)

(( ε01, 31 1) 1 1)

FS #993

(( ε01, ω1 1) 1 1)

(( ε01, ω ω 1 1) 1 1)

(( ε01, ω ω ω 1 1) 1 1)

(( ε01, ω ω ω ω  1 1) 1 1)

FS #994

(( ε02 1) 1 1)

(( ε03 1) 1 1)

(( ε04 1) 1 1)

(( ε05 1) 1 1)

FS #995

(( ε0ω 1) 1 1)

(( ε0(ε0ω 1) 1) 1 1)

(( ε0(ε0(ε0ω 1) 1) 1) 1 1)

(( ε0(ε0(ε0(ε0ω 1) 1) 1) 1) 1 1)

FS #996

(( ε0 + 11 1) 1 1)

(( ε0 + 21 1) 1 1)

(( ε0 + 31 1) 1 1)

(( ε0 + 41 1) 1 1)

FS #997

(( ε0 + ω1 1) 1 1)

(( ε0 + ω ω 1 1) 1 1)

(( ε0 + ω ω ω 1 1) 1 1)

(( ε0 + ω ω ω ω  1 1) 1 1)

FS #998

(( ε021 1) 1 1)

(( ε031 1) 1 1)

(( ε041 1) 1 1)

(( ε051 1) 1 1)

FS #999

(( ω ε0 + 1 1 1) 1 1)

(( ω ω ε0 + 1 1 1) 1 1)

(( ω ω ω ε0 + 1  1 1) 1 1)

(( ω ω ω ω ε0 + 1   1 1) 1 1)

FS #1000

(( ε11 1) 1 1)

(( ε21 1) 1 1)

(( ε31 1) 1 1)

(( ε41 1) 1 1)

FS #1001

(( εω1 1) 1 1)

(( εω ω 1 1) 1 1)

(( εω ω ω 1 1) 1 1)

(( εω ω ω ω 1 1) 1 1)

FS #1002

(( εε 01 1) 1 1)

(( εε ε 01 1) 1 1)

(( εε ε ε 01 1) 1 1)

(( εε ε ε ε 01 1) 1 1)

FS #1003

(( ζ01 1) 1 1)

(( η01 1) 1 1)

(( (4, 0)1 1) 1 1)

(( (5, 0)1 1) 1 1)

FS #1004

(( (ω, 0)1 1) 1 1)

(( (ω ω, 0) 1 1) 1 1)

(( (ω ω ω, 0) 1 1) 1 1)

(( (ω ω ω ω, 0) 1 1) 1 1)

FS #1005

(( (ε0, 0)1 1) 1 1)

(( ((ε0, 0), 0)1 1) 1 1)

(( (((ε0, 0), 0), 0)1 1) 1 1)

(( ((((ε0, 0), 0), 0), 0)1 1) 1 1)

FS #1006

(( Γ01 1) 1 1)

(( Δ01 1) 1 1)

(( ( 41) 1 1) 1 1)

(( ( 51) 1 1) 1 1)

FS #1007

(( v01 1) 1 1)

(( ( v01) 1 1) 1 1)

(( ( ( v01) 1) 1 1) 1 1)

(( ( ( ( v01) 1) 1) 1 1) 1 1)

FS #1008

(( V01 1) 1 1)

(( ( 1, 0, 01) 1 1) 1 1)

(( ( 1, 0, 0, 01) 1 1) 1 1)

(( ( 41 1) 1 1) 1 1)

FS #1009

(( ( ω1 1) 1 1) 1 1)

(( ( ω ω 1 1) 1 1) 1 1)

(( ( ω ω ω  1 1) 1 1) 1 1)

(( ( ω ω ω ω   1 1) 1 1) 1 1)

FS #1010

(( ( ε01 1) 1 1) 1 1)

(( ( (  ε01 1) 1 1) 1 1) 1 1)

(( ( (  (  ε01 1) 1 1) 1 1) 1 1) 1 1)

(( ( (  (  (  ε01 1) 1 1) 1 1) 1 1) 1 1) 1 1)

(1, 01 1) — (1, 01 1 1)
FS #1011

(1, 01 1)

(1, 01 1) + 1

(1, 01 1) + 2

(1, 01 1) + 3

(1, 01 1) + 4

FS #1012

(1, 01 1) + ω

(1, 01 1) + ωω

(1, 01 1) + ωω ω

(1, 01 1) + ωω ω ω

FS #1013

(1, 01 1) + ε0

(1, 01 1) + (ε01 1)

(1, 01 1) + (( ε01 1) 1 1)

(1, 01 1) + (( ( ε01 1) 1 1) 1 1)

FS #1014

(1, 01 1)2

(1, 01 1)3

(1, 01 1)4

(1, 01 1)5

FS #1015

ω( 1, 01 1) + 1

ωω ( 1, 01 1) + 1

ωω ω ( 1, 01 1) + 1

ωω ω ω ( 1, 01 1) + 1

FS #1016

ε(1, 01 1) + 1

(ε( 1, 01 1) + 1 1 1)

(( ε( 1, 01 1) + 1 1 1) 1 1)

(( ( ε( 1, 01 1) + 1 1 1) 1 1) 1 1)

FS #1017

(1, 01 1, 01)

(1, 01 1, 02)

(1, 01 1, 03)

(1, 01 1, 04)

FS #1018

(1, 01 1, 0ω)

(1, 01 1, 0ωω)

(1, 01 1, 0ωω ω )

(1, 01 1, 0ωω ω ω )

FS #1019

(1, 01 1, 0ε0)

(1, 01 1, 0(ε01 1))

(1, 01 1, 0(( ε01 1) 1 1))

(1, 01 1, 0(( ( ε01 1) 1 1) 1 1))

FS #1020

(1, 01 1, 0(1, 01 1))

(1, 01 1, 0(1, 01 1, 0(1, 01 1)))

(1, 01 1, 0(1, 01 1, 0(1, 01 1, 0(1, 01 1))))

(1, 01 1, 0(1, 01 1, 0(1, 01 1, 0(1, 01 1, 0(1, 01 1)))))

FS #1021

(1, 01 1, 11)

(1, 01 1, ( 1, 01 1, 11) 1 1)

(1, 01 1, ( 1, 01 1, ( 1, 01 1, 11) 1 1) 1 1)

(1, 01 1, ( 1, 01 1, ( 1, 01 1, ( 1, 01 1, 11) 1 1) 1 1) 1 1)

FS #1022

(1, 01 2)

(1, 01 3)

(1, 01 4)

(1, 01 5)

FS #1023

(1, 01 ω)

(1, 01 ωω)

(1, 01 ωω ω )

(1, 01 ωω ω ω )

FS #1024

(1, 01 ε0)

(1, 01 (ε01 1))

(1, 01 (( ε01 1) 1 1))

(1, 01 (( ( ε01 1) 1 1) 1 1))

FS #1025

(1, 01 (1, 01 1))

(1, 01 (1, 01 (1, 01 1)))

(1, 01 (1, 01 (1, 01 (1, 01 1))))

(1, 01 (1, 01 (1, 01 (1, 01 (1, 01 1)))))

FS #1026

(1, 01, 01 1)

(1, 01, ( 1, 01, 01 1) 1 1)

(1, 01, ( 1, 01, ( 1, 01, 01 1) 1 1) 1 1)

(1, 01, ( 1, 01, ( 1, 01, ( 1, 01, 01 1) 1 1) 1 1) 1 1)

FS #1027

(1, 02 1)

(1, 03 1)

(1, 04 1)

(1, 05 1)

FS #1028

(1, 0ω 1)

(1, 0(1, 0ω 1) 1)

(1, 0(1, 0(1, 0ω 1) 1) 1)

(1, 0(1, 0(1, 0(1, 0ω 1) 1) 1) 1)

FS #1029

(1, 11 1)

(1, 21 1)

(1, 31 1)

(1, 41 1)

FS #1030

(1, ω1 1)

(1, ω ω 1 1)

(1, ω ω ω 1 1)

(1, ω ω ω ω  1 1)

FS #1031

(1, ε01 1)

(1, ( ε01 1) 1 1)

(1, ( ( ε01 1) 1 1) 1 1)

(1, ( ( (  ε01 1) 1 1) 1 1) 1 1)

FS #1032

(1, ( 1, 01 1) 1 1)

(1, ( 1, ( 1, 01 1) 1 1) 1 1)

(1, ( 1, ( 1, (  1, 01 1) 1 1) 1 1) 1 1)

(1, ( 1, ( 1, (  1, (  1, 01 1) 1 1) 1 1) 1 1) 1 1)

FS #1033

(2, 01 1)

(3, 01 1)

(4, 01 1)

(5, 01 1)

FS #1034

(ω, 01 1)

(ω ω, 0 1 1)

(ω ω ω, 0 1 1)

(ω ω ω ω, 0 1 1)

FS #1035

(ε0, 01 1)

(( ε0, 01 1), 0 1 1)

(( ( ε0, 01 1), 0 1 1), 0 1 1)

(( ( (  ε0, 01 1), 0 1 1), 0 1 1), 0 1 1)

FS #1036

(1, 0, 01 1)

(1, 0, 0, 01 1)

(41 1 1)

(51 1 1)

FS #1037

(ω1 1 1)

(v01 1 1)

(( v01) 1 1 1)

(( ( v01) 1) 1 1 1)

FS #1038

(V01 1 1)

(( V01 1 1) 1 1 1)

(( (   V01 1 1) 1 1 1) 1 1 1)

(( (   (   V01 1 1) 1 1 1) 1 1 1) 1 1 1)

(1, 01 1 1) — BHO
FS #1039

(1, 01 1 1)

(1, 01 1 1) + 1

(1, 01 1 1) + 2

(1, 01 1 1) + 3

(1, 01 1 1) + 4

FS #1040

(1, 01 1 1) + ω

(1, 01 1 1) + v0

(1, 01 1 1) + (v01)

(1, 01 1 1) + (( v01) 1)

FS #1041

(1, 01 1 1) + V0

(1, 01 1 1) + (V01 1 1)

(1, 01 1 1) + (( V01 1 1) 1 1 1)

(1, 01 1 1) + (( (   V01 1 1) 1 1 1) 1 1 1)

FS #1042

(1, 01 1 1)2

(1, 01 1 1)3

(1, 01 1 1)4

(1, 01 1 1)5

FS #1043

ω( 1, 01 1 1) + 1

(ω ( 1, 01 1 1) + 1  1)

(( ω ( 1, 01 1 1) + 1  1) 1)

(( ( ω ( 1, 01 1 1) + 1  1) 1) 1)

FS #1044

V(1, 01 1 1) + 1

(V( 1, 01 1 1) + 1 1 1 1)

(( V(  1, 01 1 1) + 1 1 1 1) 1 1 1)

(( (   V(  1, 01 1 1) + 1 1 1 1) 1 1 1) 1 1 1)

FS #1045

(1, 01 1 1, 01)

(1, 01 1 1, ( 1, 01 1 1, 01) 1)

(1, 01 1 1, ( 1, 01 1 1, (  1, 01 1 1, 01) 1) 1)

(1, 01 1 1, ( 1, 01 1 1, (  1, 01 1 1, (  1, 01 1 1, 01) 1) 1) 1)

FS #1046

(1, 01 1 1, 1, 01)

(1, 01 1 1, ( 1, 01 1 1, 1, 01) 1 1 1)

(1, 01 1 1, ( 1, 01 1 1, (  1, 01 1 1, 1, 01) 1 1 1) 1 1 1)

(1, 01 1 1, ( 1, 01 1 1, (  1, 01 1 1, (  1, 01 1 1, 1, 01) 1 1 1) 1 1 1) 1 1 1)

FS #1047

(1, 01 1 2)

(1, 01 1 3)

(1, 01 1 4)

(1, 01 1 5)

FS #1048

(1, 01 1 ω)

(1, 01 1 v0)

(1, 01 1 (v01))

(1, 01 1 (( v01) 1))

FS #1049

(1, 01 1 V0)

(1, 01 1 (V01 1 1))

(1, 01 1 (( V01 1 1) 1 1 1))

(1, 01 1 (( (   V01 1 1) 1 1 1) 1 1 1))

FS #1050

(1, 01 1 (1, 01 1 1))

(1, 01 1 (1, 01 1 (1, 01 1 1)))

(1, 01 1 (1, 01 1 (1, 01 1 (1, 01 1 1))))

(1, 01 1 (1, 01 1 (1, 01 1 (1, 01 1 (1, 01 1 1)))))

FS #1051

(1, 01 1, 01 1)

(1, 01 1, 02 1)

(1, 01 1, 03 1)

(1, 01 1, 04 1)

FS #1052

(1, 01 1, 0ω 1)

(1, 01 1, 0v0 1)

(1, 01 1, 0(v01) 1)

(1, 01 1, 0(( v01) 1) 1)

FS #1053

(1, 01 1, 0V0 1)

(1, 01 1, 0(V01 1 1) 1)

(1, 01 1, 0(( V01 1 1) 1 1 1) 1)

(1, 01 1, 0(( (   V01 1 1) 1 1 1) 1 1 1) 1)

FS #1054

(1, 01 1, 0(1, 01 1 1) 1)

(1, 01 1, 0(1, 01 1, 0(1, 01 1 1) 1) 1)

(1, 01 1, 0(1, 01 1, 0(1, 01 1, 0(1, 01 1 1) 1) 1) 1)

(1, 01 1, 0(1, 01 1, 0(1, 01 1, 0(1, 01 1, 0(1, 01 1 1) 1) 1) 1) 1)

FS #1055

(1, 01 1, 11 1)

(1, 01 1, ( 1, 01 1, 11 1) 1 1 1)

(1, 01 1, ( 1, 01 1, (  1, 01 1, 11 1) 1 1 1) 1 1 1)

(1, 01 1, ( 1, 01 1, (  1, 01 1, (  1, 01 1, 11 1) 1 1 1) 1 1 1) 1 1 1)

FS #1056

(1, 01 2 1)

(1, 01 3 1)

(1, 01 4 1)

(1, 01 5 1)

FS #1057

(1, 01 ω 1)

(1, 01 (1, 01 ω 1) 1)

(1, 01 (1, 01 (1, 01 ω 1) 1) 1)

(1, 01 (1, 01 (1, 01 (1, 01 ω 1) 1) 1) 1)

FS #1058

(1, 01, 01 1 1)

(1, 01, ( 1, 01, 01 1 1) 1 1 1)

(1, 01, ( 1, 01, (  1, 01, 01 1 1) 1 1 1) 1 1 1)

(1, 01, ( 1, 01, (  1, 01, (  1, 01, 01 1 1) 1 1 1) 1 1 1) 1 1 1)

FS #1059

(1, 02 1 1)

(1, 03 1 1)

(1, 04 1 1)

(1, 05 1 1)

FS #1060

(1, 0ω 1 1)

(1, 0ωω 1 1)

(1, 0ωω ω 1 1)

(1, 0ωω ω ω  1 1)

FS #1061

(1, 0ε0 1 1)

(1, 0(1, 0ε0 1 1) 1 1)

(1, 0(1, 0(1, 0ε0 1 1) 1 1) 1 1)

(1, 0(1, 0(1, 0(1, 0ε0 1 1) 1 1) 1 1) 1 1)

FS #1062

(1, 11 1 1)

(1, 21 1 1)

(1, 31 1 1)

(1, 41 1 1)

FS #1063

(1, ω1 1 1)

(1, v01 1 1)

(1, ( v01) 1 1 1)

(1, ( ( v01) 1) 1 1 1)

FS #1064

(1, V01 1 1)

(1, ( V01 1 1) 1 1 1)

(1, ( (   V01 1 1) 1 1 1) 1 1 1)

(1, ( (   (   V01 1 1) 1 1 1) 1 1 1) 1 1 1)

FS #1065

(1, ( 1, 01 1 1) 1 1 1)

(1, ( 1, (   1, 01 1 1) 1 1 1) 1 1 1)

(1, ( 1, (   1, (   1, 01 1 1) 1 1 1) 1 1 1) 1 1 1)

(1, ( 1, (   1, (   1, (   1, 01 1 1) 1 1 1) 1 1 1) 1 1 1) 1 1 1)

FS #1066

(2, 01 1 1)

(3, 01 1 1)

(4, 01 1 1)

(5, 01 1 1)

FS #1067

(ω, 01 1 1)

(v0, 01 1 1)

(( v01), 0 1 1 1)

(( ( v01) 1), 0 1 1 1)

FS #1068

(V0, 01 1 1)

(( V0, 01 1 1), 0 1 1 1)

(( (   V0, 01 1 1), 0 1 1 1), 0 1 1 1)

(( (   (   V0, 01 1 1), 0 1 1 1), 0 1 1 1), 0 1 1 1)

FS #1069

(1, 0, 01 1 1)

(1, 0, 0, 01 1 1)

(41 1 1 1)

(51 1 1 1)

FS #1070

(ω1 1 1 1)

(ω ω 1 1 1 1)

(ω ω ω 1 1 1 1)

(ω ω ω ω  1 1 1 1)

FS #1071

(ε01 1 1 1)

(( ε01 1) 1 1 1 1)

(( ( ε01 1) 1 1) 1 1 1 1)

(( ( (  ε01 1) 1 1) 1 1) 1 1 1 1)

FS #1072

(( 1, 01 1) 1 1 1 1)

((  (  1, 01 1) 1 1 1 1) 1 1 1 1)

((  (    (  1, 01 1) 1 1 1 1) 1 1 1 1) 1 1 1 1)

((  (    (    (  1, 01 1) 1 1 1 1) 1 1 1 1) 1 1 1 1) 1 1 1 1)

FS #1073

(1, 01 1 1 1)

(1, 01 1 1 1 1)

(1, 01 1 1 1 1 1)

(1, 01 1 1 1 1 1 1)

...

BHO