User blog:Rgetar/List of ordinals up to Bachmann-Howard ordinal

This is iterated fundamental sequences for Bachmann-Howard ordinal in modified Wainer hierarchy and my fundamental sequence system for generalized Veblen function, also modified same way, up to four levels, n+m = 10.

For Veblen function used "mixed" notation: my new array notation as well as commas, separating adjacent elements of an array.

One level
FS #1

0

1

2

3

4

5

6

7

8

9

FS #2

ω

ε0

φ(1<1,0>)

φ(1<1<1,0>>)

φ(1<1<1<1,0>>>)

φ(1<1<1<1<1,0>>>>)

φ(1<1<1<1<1<1,0>>>>>)

φ(1<1<1<1<1<1<1,0>>>>>>)

φ(1<1<1<1<1<1<1<1,0>>>>>>>)

φ(1<1<1<1<1<1<1<1<1,0>>>>>>>>)

Bachmann-Howard ordinal

φ(1<1|0>)

(Total 21 ordinals, 2 fundamental sequences).

Two levels
FS #1

0

1

2

3

4

5

6

7

8

9

FS #2

ω

ω + 1

ω + 2

ω + 3

ω + 4

ω + 5

ω + 6

ω + 7

ω + 8

ω + 9

ω + 10

FS #3

ω2

ω3

ω4

ω5

ω6

ω7

ω8

ω9

ω10

ω11

FS #4

ω2

ω3

ω4

ω5

ω6

ω7

ω8

ω9

ω10

ω11

FS #5

ωω

ωω ω

ωω ω ω

ωω ω ω ω

ωω ω ω ω ω

ωω ω ω ω ω ω

ωω ω ω ω ω ω ω

ωω ω ω ω ω ω ω ω

ωω ω ω ω ω ω ω ω ω

ωω ω ω ω ω ω ω ω ω ω

FS #6

ε0

φ(1<1,0>)

φ(1<1<1,0>>)

φ(1<1<1<1,0>>>)

φ(1<1<1<1<1,0>>>>)

φ(1<1<1<1<1<1,0>>>>>)

φ(1<1<1<1<1<1<1,0>>>>>>)

φ(1<1<1<1<1<1<1<1,0>>>>>>>)

φ(1<1<1<1<1<1<1<1<1,0>>>>>>>>)

Bachmann-Howard ordinal

φ(1<1|0>)

(Total 61 ordinals, 6 fundamental sequences).

Three levels
FS #1

0

1

2

3

4

5

6

7

8

9

FS #2

ω

ω + 1

ω + 2

ω + 3

ω + 4

ω + 5

ω + 6

ω + 7

ω + 8

ω + 9

ω + 10

FS #3

ω2

ω2 + 1

ω2 + 2

ω2 + 3

ω2 + 4

ω2 + 5

ω2 + 6

ω2 + 7

ω2 + 8

ω2 + 9

ω2 + 10

FS #4

ω3

ω4

ω5

ω6

ω7

ω8

ω9

ω10

ω11

FS #5

ω2

ω2 + 1

ω2 + 2

ω2 + 3

ω2 + 4

ω2 + 5

ω2 + 6

ω2 + 7

ω2 + 8

ω2 + 9

ω2 + 10

FS #6

ω2 + ω

ω2 + ω2

ω2 + ω3

ω2 + ω4

ω2 + ω5

ω2 + ω6

ω2 + ω7

ω2 + ω8

ω2 + ω9

ω2 + ω10

FS #7

ω22

ω23

ω24

ω25

ω26

ω27

ω28

ω29

ω210

ω211

FS #8

ω3

ω4

ω5

ω6

ω7

ω8

ω9

ω10

ω11

FS #9

ωω

ωω + 1

ωω + 2

ωω + 3

ωω + 4

ωω + 5

ωω + 6

ωω + 7

ωω + 8

ωω + 9

ωω + 10

FS #10

ωω + ω

ωω + ω2

ωω + ω3

ωω + ω4

ωω + ω5

ωω + ω6

ωω + ω7

ωω + ω8

ωω + ω9

ωω + ω10

FS #11

ωω2

ωω3

ωω4

ωω5

ωω6

ωω7

ωω8

ωω9

ωω10

ωω11

FS #12

ωω + 1

ωω + 2

ωω + 3

ωω + 4

ωω + 5

ωω + 6

ωω + 7

ωω + 8

ωω + 9

ωω + 10

FS #13

ωω2

ωω3

ωω4

ωω5

ωω6

ωω7

ωω8

ωω9

ωω10

ωω11

FS #14

ωω 2

ωω 3

ωω 4

ωω 5

ωω 6

ωω 7

ωω 8

ωω 9

ωω 10

ωω 11

FS #15

ωω ω

ωω ω ω

ωω ω ω ω

ωω ω ω ω ω

ωω ω ω ω ω ω

ωω ω ω ω ω ω ω

ωω ω ω ω ω ω ω ω

ωω ω ω ω ω ω ω ω ω

ωω ω ω ω ω ω ω ω ω ω

FS #16

ε0

ε0 + 1

ε0 + 2

ε0 + 3

ε0 + 4

ε0 + 5

ε0 + 6

ε0 + 7

ε0 + 8

ε0 + 9

ε0 + 10

FS #17

ε0 + ω

ε0 + ωω

ε0 + ωω ω

ε0 + ωω ω ω

ε0 + ωω ω ω ω

ε0 + ωω ω ω ω ω

ε0 + ωω ω ω ω ω ω

ε0 + ωω ω ω ω ω ω ω

ε0 + ωω ω ω ω ω ω ω ω

ε0 + ωω ω ω ω ω ω ω ω ω

FS #18

ε02

ε03

ε04

ε05

ε06

ε07

ε08

ε09

ε010

ε011

FS #19

ωε0 + 1

ωω ε0 + 1

ωω ω ε0 + 1

ωω ω ω ε0 + 1

ωω ω ω ω ε0 + 1

ωω ω ω ω ω ε0 + 1

ωω ω ω ω ω ω ε0 + 1

ωω ω ω ω ω ω ω ε0 + 1

ωω ω ω ω ω ω ω ω ε0 + 1

ωω ω ω ω ω ω ω ω ω ε0 + 1

FS #20

ε1

ε2

ε3

ε4

ε5

ε6

ε7

ε8

ε9

ε10

FS #21

εω

εωω

εωω ω

εωω ω ω

εωω ω ω ω

εωω ω ω ω ω

εωω ω ω ω ω ω

εωω ω ω ω ω ω ω

εωω ω ω ω ω ω ω ω

εωω ω ω ω ω ω ω ω ω

FS #22

εε 0

εε ε 0

εε ε ε 0

εε ε ε ε 0

εε ε ε ε ε 0

εε ε ε ε ε ε 0

εε ε ε ε ε ε ε 0

εε ε ε ε ε ε ε ε 0

εε ε ε ε ε ε ε ε ε 0

εε ε ε ε ε ε ε ε ε ε 0

FS #23

ζ0

φ(3,0)

φ(4,0)

φ(5,0)

φ(6,0)

φ(7,0)

φ(8,0)

φ(9,0)

φ(10,0)

φ(11,0)

FS #24

φ(ω,0)

φ(ωω,0)

φ(ωω ω ,0)

φ(ωω ω ω ,0)

φ(ωω ω ω ω  ,0)

φ(ωω ω ω ω ω   ,0)

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

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

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

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

FS #25

φ(ε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),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 #26

Γ0

φ(1,0,0,0)

φ(1,0,0,0,0)

φ(1,0,0,0,0,0)

φ(1,0,0,0,0,0,0)

φ(1,0,0,0,0,0,0,0)

φ(1,0,0,0,0,0,0,0,0)

φ(1,0,0,0,0,0,0,0,0,0)

φ(1,0,0,0,0,0,0,0,0,0,0)

φ(1,0,0,0,0,0,0,0,0,0,0,0)

FS #27

φ(1&lt;ω&gt;)

φ(1&lt;φ(1&lt;ω&gt;)&gt;)

φ(1&lt;φ(1&lt;φ(1&lt;ω&gt;)&gt;)&gt;)

φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;ω&gt;)&gt;)&gt;)&gt;)

φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;ω&gt;)&gt;)&gt;)&gt;)&gt;)

φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;ω&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)

φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;ω&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)

φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;ω&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)

φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;ω&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)

φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;ω&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)

FS #28

φ(1<1,0>)

φ(1<1<1,0>>)

φ(1<1<1<1,0>>>)

φ(1<1<1<1<1,0>>>>)

φ(1<1<1<1<1<1,0>>>>>)

φ(1<1<1<1<1<1<1,0>>>>>>)

φ(1<1<1<1<1<1<1<1,0>>>>>>>)

φ(1<1<1<1<1<1<1<1<1,0>>>>>>>>)

Bachmann-Howard ordinal

φ(1<1|0>)

(Total 281 ordinals, 28 fundamental sequences).

Four levels
FS #1

0

1

2

3

4

5

6

7

8

9

FS #2

ω

ω + 1

ω + 2

ω + 3

ω + 4

ω + 5

ω + 6

ω + 7

ω + 8

ω + 9

ω + 10

FS #3

ω2

ω2 + 1

ω2 + 2

ω2 + 3

ω2 + 4

ω2 + 5

ω2 + 6

ω2 + 7

ω2 + 8

ω2 + 9

ω2 + 10

FS #4

ω3

ω3 + 1

ω3 + 2

ω3 + 3

ω3 + 4

ω3 + 5

ω3 + 6

ω3 + 7

ω3 + 8

ω3 + 9

ω3 + 10

FS #5

ω4

ω5

ω6

ω7

ω8

ω9

ω10

ω11

FS #6

ω2

ω2 + 1

ω2 + 2

ω2 + 3

ω2 + 4

ω2 + 5

ω2 + 6

ω2 + 7

ω2 + 8

ω2 + 9

ω2 + 10

FS #7

ω2 + ω

ω2 + ω + 1

ω2 + ω + 2

ω2 + ω + 3

ω2 + ω + 4

ω2 + ω + 5

ω2 + ω + 6

ω2 + ω + 7

ω2 + ω + 8

ω2 + ω + 9

ω2 + ω + 10

FS #8

ω2 + ω2

ω2 + ω3

ω2 + ω4

ω2 + ω5

ω2 + ω6

ω2 + ω7

ω2 + ω8

ω2 + ω9

ω2 + ω10

FS #9

ω22

ω22 + 1

ω22 + 2

ω22 + 3

ω22 + 4

ω22 + 5

ω22 + 6

ω22 + 7

ω22 + 8

ω22 + 9

ω22 + 10

FS #10

ω22 + ω

ω22 + ω2

ω22 + ω3

ω22 + ω4

ω22 + ω5

ω22 + ω6

ω22 + ω7

ω22 + ω8

ω22 + ω9

ω22 + ω10

FS #11

ω23

ω24

ω25

ω26

ω27

ω28

ω29

ω210

ω211

FS #12

ω3

ω3 + 1

ω3 + 2

ω3 + 3

ω3 + 4

ω3 + 5

ω3 + 6

ω3 + 7

ω3 + 8

ω3 + 9

ω3 + 10

FS #13

ω3 + ω

ω3 + ω2

ω3 + ω3

ω3 + ω4

ω3 + ω5

ω3 + ω6

ω3 + ω7

ω3 + ω8

ω3 + ω9

ω3 + ω10

FS #14

ω3 + ω2

ω3 + ω22

ω3 + ω23

ω3 + ω24

ω3 + ω25

ω3 + ω26

ω3 + ω27

ω3 + ω28

ω3 + ω29

ω3 + ω210

FS #15

ω32

ω33

ω34

ω35

ω36

ω37

ω38

ω39

ω310

ω311

FS #16

ω4

ω5

ω6

ω7

ω8

ω9

ω10

ω11

FS #17

ωω

ωω + 1

ωω + 2

ωω + 3

ωω + 4

ωω + 5

ωω + 6

ωω + 7

ωω + 8

ωω + 9

ωω + 10

FS #18

ωω + ω

ωω + ω + 1

ωω + ω + 2

ωω + ω + 3

ωω + ω + 4

ωω + ω + 5

ωω + ω + 6

ωω + ω + 7

ωω + ω + 8

ωω + ω + 9

ωω + ω + 10

FS #19

ωω + ω2

ωω + ω3

ωω + ω4

ωω + ω5

ωω + ω6

ωω + ω7

ωω + ω8

ωω + ω9

ωω + ω10

ωω + ω11

FS #20

ωω + ω2

ωω + ω3

ωω + ω4

ωω + ω5

ωω + ω6

ωω + ω7

ωω + ω8

ωω + ω9

ωω + ω10

FS #21

ωω2

ωω2 + 1

ωω2 + 2

ωω2 + 3

ωω2 + 4

ωω2 + 5

ωω2 + 6

ωω2 + 7

ωω2 + 8

ωω2 + 9

ωω2 + 10

FS #22

ωω2 + ω

ωω2 + ω2

ωω2 + ω3

ωω2 + ω4

ωω2 + ω5

ωω2 + ω6

ωω2 + ω7

ωω2 + ω8

ωω2 + ω9

ωω2 + ω10

FS #23

ωω3

ωω4

ωω5

ωω6

ωω7

ωω8

ωω9

ωω10

ωω11

FS #24

ωω + 1

ωω + 1 + 1

ωω + 1 + 2

ωω + 1 + 3

ωω + 1 + 4

ωω + 1 + 5

ωω + 1 + 6

ωω + 1 + 7

ωω + 1 + 8

ωω + 1 + 9

ωω + 1 + 10

FS #25

ωω + 1 + ω

ωω + 1 + ω2

ωω + 1 + ω3

ωω + 1 + ω4

ωω + 1 + ω5

ωω + 1 + ω6

ωω + 1 + ω7

ωω + 1 + ω8

ωω + 1 + ω9

ωω + 1 + ω10

FS #26

ωω + 1 + ωω

ωω + 1 + ωω2

ωω + 1 + ωω3

ωω + 1 + ωω4

ωω + 1 + ωω5

ωω + 1 + ωω6

ωω + 1 + ωω7

ωω + 1 + ωω8

ωω + 1 + ωω9

ωω + 1 + ωω10

FS #27

ωω + 12

ωω + 13

ωω + 14

ωω + 15

ωω + 16

ωω + 17

ωω + 18

ωω + 19

ωω + 110

ωω + 111

FS #28

ωω + 2

ωω + 3

ωω + 4

ωω + 5

ωω + 6

ωω + 7

ωω + 8

ωω + 9

ωω + 10

FS #29

ωω2

ωω2 + 1

ωω2 + 2

ωω2 + 3

ωω2 + 4

ωω2 + 5

ωω2 + 6

ωω2 + 7

ωω2 + 8

ωω2 + 9

ωω2 + 10

FS #30

ωω2 + ω

ωω2 + ω2

ωω2 + ω3

ωω2 + ω4

ωω2 + ω5

ωω2 + ω6

ωω2 + ω7

ωω2 + ω8

ωω2 + ω9

ωω2 + ω10

FS #31

ωω2 + ωω

ωω2 + ωω + 1

ωω2 + ωω + 2

ωω2 + ωω + 3

ωω2 + ωω + 4

ωω2 + ωω + 5

ωω2 + ωω + 6

ωω2 + ωω + 7

ωω2 + ωω + 8

ωω2 + ωω + 9

FS #32

ωω22

ωω23

ωω24

ωω25

ωω26

ωω27

ωω28

ωω29

ωω210

ωω211

FS #33

ωω2 + 1

ωω2 + 2

ωω2 + 3

ωω2 + 4

ωω2 + 5

ωω2 + 6

ωω2 + 7

ωω2 + 8

ωω2 + 9

ωω2 + 10

FS #34

ωω3

ωω4

ωω5

ωω6

ωω7

ωω8

ωω9

ωω10

ωω11

FS #35

ωω 2

ωω 2 + 1

ωω 2 + 2

ωω 2 + 3

ωω 2 + 4

ωω 2 + 5

ωω 2 + 6

ωω 2 + 7

ωω 2 + 8

ωω 2 + 9

ωω 2 + 10

FS #36

ωω 2 + ω

ωω 2 + ω2

ωω 2 + ω3

ωω 2 + ω4

ωω 2 + ω5

ωω 2 + ω6

ωω 2 + ω7

ωω 2 + ω8

ωω 2 + ω9

ωω 2 + ω10

FS #37

ωω 2 + ωω

ωω 2 + ωω2

ωω 2 + ωω3

ωω 2 + ωω4

ωω 2 + ωω5

ωω 2 + ωω6

ωω 2 + ωω7

ωω 2 + ωω8

ωω 2 + ωω9

ωω 2 + ωω10

FS #38

ωω 2 2

ωω 2 3

ωω 2 4

ωω 2 5

ωω 2 6

ωω 2 7

ωω 2 8

ωω 2 9

ωω 2 10

ωω 2 11

FS #39

ωω 2 + 1

ωω 2 + 2

ωω 2 + 3

ωω 2 + 4

ωω 2 + 5

ωω 2 + 6

ωω 2 + 7

ωω 2 + 8

ωω 2 + 9

ωω 2 + 10

FS #40

ωω 2 + ω

ωω 2 + ω2

ωω 2 + ω3

ωω 2 + ω4

ωω 2 + ω5

ωω 2 + ω6

ωω 2 + ω7

ωω 2 + ω8

ωω 2 + ω9

ωω 2 + ω10

FS #41

ωω 22

ωω 23

ωω 24

ωω 25

ωω 26

ωω 27

ωω 28

ωω 29

ωω 210

ωω 211

FS #42

ωω 3

ωω 4

ωω 5

ωω 6

ωω 7

ωω 8

ωω 9

ωω 10

ωω 11

FS #43

ωω ω

ωω ω + 1

ωω ω + 2

ωω ω + 3

ωω ω + 4

ωω ω + 5

ωω ω + 6

ωω ω + 7

ωω ω + 8

ωω ω + 9

ωω ω + 10

FS #44

ωω ω + ω

ωω ω + ω2

ωω ω + ω3

ωω ω + ω4

ωω ω + ω5

ωω ω + ω6

ωω ω + ω7

ωω ω + ω8

ωω ω + ω9

ωω ω + ω10

FS #45

ωω ω + ωω

ωω ω + ωω 2

ωω ω + ωω 3

ωω ω + ωω 4

ωω ω + ωω 5

ωω ω + ωω 6

ωω ω + ωω 7

ωω ω + ωω 8

ωω ω + ωω 9

ωω ω + ωω 10

FS #46

ωω ω 2

ωω ω 3

ωω ω 4

ωω ω 5

ωω ω 6

ωω ω 7

ωω ω 8

ωω ω 9

ωω ω 10

ωω ω 11

FS #47

ωω ω + 1

ωω ω + 2

ωω ω + 3

ωω ω + 4

ωω ω + 5

ωω ω + 6

ωω ω + 7

ωω ω + 8

ωω ω + 9

ωω ω + 10

FS #48

ωω ω + ω

ωω ω + ω2

ωω ω + ω3

ωω ω + ω4

ωω ω + ω5

ωω ω + ω6

ωω ω + ω7

ωω ω + ω8

ωω ω + ω9

ωω ω + ω10

FS #49

ωω ω2

ωω ω3

ωω ω4

ωω ω5

ωω ω6

ωω ω7

ωω ω8

ωω ω9

ωω ω10

ωω ω11

FS #50

ωω ω + 1

ωω ω + 2

ωω ω + 3

ωω ω + 4

ωω ω + 5

ωω ω + 6

ωω ω + 7

ωω ω + 8

ωω ω + 9

ωω ω + 10

FS #51

ωω ω2

ωω ω3

ωω ω4

ωω ω5

ωω ω6

ωω ω7

ωω ω8

ωω ω9

ωω ω10

ωω ω11

FS #52

ωω ω 2

ωω ω 3

ωω ω 4

ωω ω 5

ωω ω 6

ωω ω 7

ωω ω 8

ωω ω 9

ωω ω 10

ωω ω 11

FS #53

ωω ω ω

ωω ω ω ω

ωω ω ω ω ω

ωω ω ω ω ω ω

ωω ω ω ω ω ω ω

ωω ω ω ω ω ω ω ω

ωω ω ω ω ω ω ω ω ω

ωω ω ω ω ω ω ω ω ω ω

FS #54

ε0

ε0 + 1

ε0 + 2

ε0 + 3

ε0 + 4

ε0 + 5

ε0 + 6

ε0 + 7

ε0 + 8

ε0 + 9

ε0 + 10

FS #55

ε0 + ω

ε0 + ω + 1

ε0 + ω + 2

ε0 + ω + 3

ε0 + ω + 4

ε0 + ω + 5

ε0 + ω + 6

ε0 + ω + 7

ε0 + ω + 8

ε0 + ω + 9

ε0 + ω + 10

FS #56

ε0 + ω2

ε0 + ω3

ε0 + ω4

ε0 + ω5

ε0 + ω6

ε0 + ω7

ε0 + ω8

ε0 + ω9

ε0 + ω10

ε0 + ω11

FS #57

ε0 + ω2

ε0 + ω3

ε0 + ω4

ε0 + ω5

ε0 + ω6

ε0 + ω7

ε0 + ω8

ε0 + ω9

ε0 + ω10

ε0 + ω11

FS #58

ε0 + ωω

ε0 + ωω ω

ε0 + ωω ω ω

ε0 + ωω ω ω ω

ε0 + ωω ω ω ω ω

ε0 + ωω ω ω ω ω ω

ε0 + ωω ω ω ω ω ω ω

ε0 + ωω ω ω ω ω ω ω ω

ε0 + ωω ω ω ω ω ω ω ω ω

FS #59

ε02

ε02 + 1

ε02 + 2

ε02 + 3

ε02 + 4

ε02 + 5

ε02 + 6

ε02 + 7

ε02 + 8

ε02 + 9

ε02 + 10

FS #60

ε02 + ω

ε02 + ωω

ε02 + ωω ω

ε02 + ωω ω ω

ε02 + ωω ω ω ω

ε02 + ωω ω ω ω ω

ε02 + ωω ω ω ω ω ω

ε02 + ωω ω ω ω ω ω ω

ε02 + ωω ω ω ω ω ω ω ω

ε02 + ωω ω ω ω ω ω ω ω ω

FS #61

ε03

ε04

ε05

ε06

ε07

ε08

ε09

ε010

ε011

FS #62

ωε0 + 1

ωε0 + 1 + 1

ωε0 + 1 + 2

ωε0 + 1 + 3

ωε0 + 1 + 4

ωε0 + 1 + 5

ωε0 + 1 + 6

ωε0 + 1 + 7

ωε0 + 1 + 8

ωε0 + 1 + 9

ωε0 + 1 + 10

FS #63

ωε0 + 1 + ω

ωε0 + 1 + ωω

ωε0 + 1 + ωω ω

ωε0 + 1 + ωω ω ω

ωε0 + 1 + ωω ω ω ω

ωε0 + 1 + ωω ω ω ω ω

ωε0 + 1 + ωω ω ω ω ω ω

ωε0 + 1 + ωω ω ω ω ω ω ω

ωε0 + 1 + ωω ω ω ω ω ω ω ω

ωε0 + 1 + ωω ω ω ω ω ω ω ω ω

FS #64

ωε0 + 1 + ε0

ωε0 + 1 + ε02

ωε0 + 1 + ε03

ωε0 + 1 + ε04

ωε0 + 1 + ε05

ωε0 + 1 + ε06

ωε0 + 1 + ε07

ωε0 + 1 + ε08

ωε0 + 1 + ε09

ωε0 + 1 + ε010

FS #65

ωε0 + 12

ωε0 + 13

ωε0 + 14

ωε0 + 15

ωε0 + 16

ωε0 + 17

ωε0 + 18

ωε0 + 19

ωε0 + 110

ωε0 + 111

FS #66

ωε0 + 2

ωε0 + 3

ωε0 + 4

ωε0 + 5

ωε0 + 6

ωε0 + 7

ωε0 + 8

ωε0 + 9

ωε0 + 10

ωε0 + 11

FS #67

ωε0 + ω

ωε0 + ω ω

ωε0 + ω ω ω

ωε0 + ω ω ω ω

ωε0 + ω ω ω ω ω

ωε0 + ω ω ω ω ω ω

ωε0 + ω ω ω ω ω ω ω

ωε0 + ω ω ω ω ω ω ω ω

ωε0 + ω ω ω ω ω ω ω ω ω

ωε0 + ω ω ω ω ω ω ω ω ω ω

FS #68

ωε02

ωε03

ωε04

ωε05

ωε06

ωε07

ωε08

ωε09

ωε010

ωε011

FS #69

ωω ε0 + 1

ωω ω ε0 + 1

ωω ω ω ε0 + 1

ωω ω ω ω ε0 + 1

ωω ω ω ω ω ε0 + 1

ωω ω ω ω ω ω ε0 + 1

ωω ω ω ω ω ω ω ε0 + 1

ωω ω ω ω ω ω ω ω ε0 + 1

ωω ω ω ω ω ω ω ω ω ε0 + 1

FS #70

ε1

ε1 + 1

ε1 + 2

ε1 + 3

ε1 + 4

ε1 + 5

ε1 + 6

ε1 + 7

ε1 + 8

ε1 + 9

ε1 + 10

FS #71

ε1 + ω

ε1 + ωω

ε1 + ωω ω

ε1 + ωω ω ω

ε1 + ωω ω ω ω

ε1 + ωω ω ω ω ω

ε1 + ωω ω ω ω ω ω

ε1 + ωω ω ω ω ω ω ω

ε1 + ωω ω ω ω ω ω ω ω

ε1 + ωω ω ω ω ω ω ω ω ω

FS #72

ε1 + ε0

ε1 + ε02

ε1 + ε03

ε1 + ε04

ε1 + ε05

ε1 + ε06

ε1 + ε07

ε1 + ε08

ε1 + ε09

ε1 + ε010

FS #73

ε1 + ωε0 + 1

ε1 + ωω ε0 + 1

ε1 + ωω ω ε0 + 1

ε1 + ωω ω ω ε0 + 1

ε1 + ωω ω ω ω ε0 + 1

ε1 + ωω ω ω ω ω ε0 + 1

ε1 + ωω ω ω ω ω ω ε0 + 1

ε1 + ωω ω ω ω ω ω ω ε0 + 1

ε1 + ωω ω ω ω ω ω ω ω ε0 + 1

ε1 + ωω ω ω ω ω ω ω ω ω ε0 + 1

FS #74

ε12

ε13

ε14

ε15

ε16

ε17

ε18

ε19

ε110

ε111

FS #75

ωε1 + 1

ωω ε1 + 1

ωω ω ε1 + 1

ωω ω ω ε1 + 1

ωω ω ω ω ε1 + 1

ωω ω ω ω ω ε1 + 1

ωω ω ω ω ω ω ε1 + 1

ωω ω ω ω ω ω ω ε1 + 1

ωω ω ω ω ω ω ω ω ε1 + 1

ωω ω ω ω ω ω ω ω ω ε1 + 1

FS #76

ε2

ε3

ε4

ε5

ε6

ε7

ε8

ε9

ε10

FS #77

εω

εω + 1

εω + 2

εω + 3

εω + 4

εω + 5

εω + 6

εω + 7

εω + 8

εω + 9

εω + 10

FS #78

εω + ω

εω + ωω

εω + ωω ω

εω + ωω ω ω

εω + ωω ω ω ω

εω + ωω ω ω ω ω

εω + ωω ω ω ω ω ω

εω + ωω ω ω ω ω ω ω

εω + ωω ω ω ω ω ω ω ω

εω + ωω ω ω ω ω ω ω ω ω

FS #79

εω + ε0

εω + ε1

εω + ε2

εω + ε3

εω + ε4

εω + ε5

εω + ε6

εω + ε7

εω + ε8

εω + ε9

FS #80

εω2

εω3

εω4

εω5

εω6

εω7

εω8

εω9

εω10

εω11

FS #81

ωεω + 1

ωω εω + 1

ωω ω εω + 1

ωω ω ω εω + 1

ωω ω ω ω εω + 1

ωω ω ω ω ω εω + 1

ωω ω ω ω ω ω εω + 1

ωω ω ω ω ω ω ω εω + 1

ωω ω ω ω ω ω ω ω εω + 1

ωω ω ω ω ω ω ω ω ω εω + 1

FS #82

εω + 1

εω + 2

εω + 3

εω + 4

εω + 5

εω + 6

εω + 7

εω + 8

εω + 9

εω + 10

FS #83

εω2

εω3

εω4

εω5

εω6

εω7

εω8

εω9

εω10

εω11

FS #84

εω2

εω3

εω4

εω5

εω6

εω7

εω8

εω9

εω10

εω11

FS #85

εωω

εωω ω

εωω ω ω

εωω ω ω ω

εωω ω ω ω ω

εωω ω ω ω ω ω

εωω ω ω ω ω ω ω

εωω ω ω ω ω ω ω ω

εωω ω ω ω ω ω ω ω ω

FS #86

εε 0

εε 0 + 1

εε 0 + 2

εε 0 + 3

εε 0 + 4

εε 0 + 5

εε 0 + 6

εε 0 + 7

εε 0 + 8

εε 0 + 9

εε 0 + 10

FS #87

εε 0 + ω

εε 0 + ωω

εε 0 + ωω ω

εε 0 + ωω ω ω

εε 0 + ωω ω ω ω

εε 0 + ωω ω ω ω ω

εε 0 + ωω ω ω ω ω ω

εε 0 + ωω ω ω ω ω ω ω

εε 0 + ωω ω ω ω ω ω ω ω

εε 0 + ωω ω ω ω ω ω ω ω ω

FS #88

εε 0 + ε0

εε 0 + ε1

εε 0 + ε2

εε 0 + ε3

εε 0 + ε4

εε 0 + ε5

εε 0 + ε6

εε 0 + ε7

εε 0 + ε8

εε 0 + ε9

FS #89

εε 0 + εω

εε 0 + εωω

εε 0 + εωω ω

εε 0 + εωω ω ω

εε 0 + εωω ω ω ω

εε 0 + εωω ω ω ω ω

εε 0 + εωω ω ω ω ω ω

εε 0 + εωω ω ω ω ω ω ω

εε 0 + εωω ω ω ω ω ω ω ω

εε 0 + εωω ω ω ω ω ω ω ω ω

FS #90

εε 0 2

εε 0 3

εε 0 4

εε 0 5

εε 0 6

εε 0 7

εε 0 8

εε 0 9

εε 0 10

εε 0 11

FS #91

ωεε 0 + 1

ωω εε 0 + 1

ωω ω εε 0 + 1

ωω ω ω εε 0 + 1

ωω ω ω ω εε 0 + 1

ωω ω ω ω ω εε 0 + 1

ωω ω ω ω ω ω εε 0 + 1

ωω ω ω ω ω ω ω εε 0 + 1

ωω ω ω ω ω ω ω ω εε 0 + 1

ωω ω ω ω ω ω ω ω ω εε 0 + 1

FS #92

εε 0 + 1

εε 0 + 2

εε 0 + 3

εε 0 + 4

εε 0 + 5

εε 0 + 6

εε 0 + 7

εε 0 + 8

εε 0 + 9

εε 0 + 10

FS #93

εε 0 + ω

εε 0 + ωω

εε 0 + ωω ω

εε 0 + ωω ω ω

εε 0 + ωω ω ω ω

εε 0 + ωω ω ω ω ω

εε 0 + ωω ω ω ω ω ω

εε 0 + ωω ω ω ω ω ω ω

εε 0 + ωω ω ω ω ω ω ω ω

εε 0 + ωω ω ω ω ω ω ω ω ω

FS #94

εε 02

εε 03

εε 04

εε 05

εε 06

εε 07

εε 08

εε 09

εε 010

εε 011

FS #95

εωε 0 + 1

εωω ε 0 + 1

εωω ω ε 0 + 1

εωω ω ω ε 0 + 1

εωω ω ω ω ε 0 + 1

εωω ω ω ω ω ε 0 + 1

εωω ω ω ω ω ω ε 0 + 1

εωω ω ω ω ω ω ω ε 0 + 1

εωω ω ω ω ω ω ω ω ε 0 + 1

εωω ω ω ω ω ω ω ω ω ε 0 + 1

FS #96

εε 1

εε 2

εε 3

εε 4

εε 5

εε 6

εε 7

εε 8

εε 9

εε 10

FS #97

εε ω

εε ωω

εε ωω ω

εε ωω ω ω

εε ωω ω ω ω

εε ωω ω ω ω ω

εε ωω ω ω ω ω ω

εε ωω ω ω ω ω ω ω

εε ωω ω ω ω ω ω ω ω

εε ωω ω ω ω ω ω ω ω ω

FS #98

εε ε 0

εε ε ε 0

εε ε ε ε 0

εε ε ε ε ε 0

εε ε ε ε ε ε 0

εε ε ε ε ε ε ε 0

εε ε ε ε ε ε ε ε 0

εε ε ε ε ε ε ε ε ε 0

εε ε ε ε ε ε ε ε ε ε 0

FS #99

ζ0

ζ0 + 1

ζ0 + 2

ζ0 + 3

ζ0 + 4

ζ0 + 5

ζ0 + 6

ζ0 + 7

ζ0 + 8

ζ0 + 9

ζ0 + 10

FS #100

ζ0 + ω

ζ0 + ωω

ζ0 + ωω ω

ζ0 + ωω ω ω

ζ0 + ωω ω ω ω

ζ0 + ωω ω ω ω ω

ζ0 + ωω ω ω ω ω ω

ζ0 + ωω ω ω ω ω ω ω

ζ0 + ωω ω ω ω ω ω ω ω

ζ0 + ωω ω ω ω ω ω ω ω ω

FS #101

ζ0 + ε0

ζ0 + εε 0

ζ0 + εε ε 0

ζ0 + εε ε ε 0

ζ0 + εε ε ε ε 0

ζ0 + εε ε ε ε ε 0

ζ0 + εε ε ε ε ε ε 0

ζ0 + εε ε ε ε ε ε ε 0

ζ0 + εε ε ε ε ε ε ε ε 0

ζ0 + εε ε ε ε ε ε ε ε ε 0

FS #102

ζ02

ζ03

ζ04

ζ05

ζ06

ζ07

ζ08

ζ09

ζ010

ζ011

FS #103

ωζ0 + 1

ωω ζ0 + 1

ωω ω ζ0 + 1

ωω ω ω ζ0 + 1

ωω ω ω ω ζ0 + 1

ωω ω ω ω ω ζ0 + 1

ωω ω ω ω ω ω ζ0 + 1

ωω ω ω ω ω ω ω ζ0 + 1

ωω ω ω ω ω ω ω ω ζ0 + 1

ωω ω ω ω ω ω ω ω ω ζ0 + 1

FS #104

εζ 0 + 1

εε ζ 0 + 1

εε ε ζ 0 + 1

εε ε ε ζ 0 + 1

εε ε ε ε ζ 0 + 1

εε ε ε ε ε ζ 0 + 1

εε ε ε ε ε ε ζ 0 + 1

εε ε ε ε ε ε ε ζ 0 + 1

εε ε ε ε ε ε ε ε ζ 0 + 1

εε ε ε ε ε ε ε ε ε ζ 0 + 1

FS #105

ζ1

ζ2

ζ3

ζ4

ζ5

ζ6

ζ7

ζ8

ζ9

ζ10

FS #106

ζω

ζωω

ζωω ω

ζωω ω ω

ζωω ω ω ω

ζωω ω ω ω ω

ζωω ω ω ω ω ω

ζωω ω ω ω ω ω ω

ζωω ω ω ω ω ω ω ω

ζωω ω ω ω ω ω ω ω ω

FS #107

ζε 0

ζε ε 0

ζε ε ε 0

ζε ε ε ε 0

ζε ε ε ε ε 0

ζε ε ε ε ε ε 0

ζε ε ε ε ε ε ε 0

ζε ε ε ε ε ε ε ε 0

ζε ε ε ε ε ε ε ε ε 0

ζε ε ε ε ε ε ε ε ε ε 0

FS #108

ζζ 0

ζζ ζ 0

ζζ ζ ζ 0

ζζ ζ ζ ζ 0

ζζ ζ ζ ζ ζ 0

ζζ ζ ζ ζ ζ ζ 0

ζζ ζ ζ ζ ζ ζ ζ 0

ζζ ζ ζ ζ ζ ζ ζ ζ 0

ζζ ζ ζ ζ ζ ζ ζ ζ ζ 0

ζζ ζ ζ ζ ζ ζ ζ ζ ζ ζ 0

FS #109

η0

φ(4,0)

φ(5,0)

φ(6,0)

φ(7,0)

φ(8,0)

φ(9,0)

φ(10,0)

φ(11,0)

FS #110

φ(ω,0)

φ(ω,0) + 1

φ(ω,0) + 2

φ(ω,0) + 3

φ(ω,0) + 4

φ(ω,0) + 5

φ(ω,0) + 6

φ(ω,0) + 7

φ(ω,0) + 8

φ(ω,0) + 9

φ(ω,0) + 10

FS #111

φ(ω,0) + ω

φ(ω,0) + ωω

φ(ω,0) + ωω ω

φ(ω,0) + ωω ω ω

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

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

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

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

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

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

FS #112

φ(ω,0) + ε0

φ(ω,0) + ζ0

φ(ω,0) + η0

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

φ(ω,0) + φ(5,0)

φ(ω,0) + φ(6,0)

φ(ω,0) + φ(7,0)

φ(ω,0) + φ(8,0)

φ(ω,0) + φ(9,0)

φ(ω,0) + φ(10,0)

FS #113

φ(ω,0)2

φ(ω,0)3

φ(ω,0)4

φ(ω,0)5

φ(ω,0)6

φ(ω,0)7

φ(ω,0)8

φ(ω,0)9

φ(ω,0)10

φ(ω,0)11

FS #114

ωφ(ω,0) + 1

εφ(ω,0) + 1

ζφ(ω,0) + 1

ηφ(ω,0) + 1

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

φ(5,φ(ω,0) + 1)

φ(6,φ(ω,0) + 1)

φ(7,φ(ω,0) + 1)

φ(8,φ(ω,0) + 1)

φ(9,φ(ω,0) + 1)

FS #115

φ(ω,1)

φ(ω,2)

φ(ω,3)

φ(ω,4)

φ(ω,5)

φ(ω,6)

φ(ω,7)

φ(ω,8)

φ(ω,9)

φ(ω,10)

FS #116

φ(ω,ω)

φ(ω,ωω)

φ(ω,ωω ω )

φ(ω,ωω ω ω )

φ(ω,ωω ω ω ω  )

φ(ω,ωω ω ω ω ω   )

φ(ω,ωω ω ω ω ω ω    )

φ(ω,ωω ω ω ω ω ω ω     )

φ(ω,ωω ω ω ω ω ω ω ω      )

φ(ω,ωω ω ω ω ω ω ω ω ω       )

FS #117

φ(ω,ε0)

φ(ω,ζ0)

φ(ω,η0)

φ(ω,φ(4,0))

φ(ω,φ(5,0))

φ(ω,φ(6,0))

φ(ω,φ(7,0))

φ(ω,φ(8,0))

φ(ω,φ(9,0))

φ(ω,φ(10,0))

FS #118

φ(ω,φ(ω,0))

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

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

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

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

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

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

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

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

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

FS #119

φ(ω + 1,0)

φ(ω + 2,0)

φ(ω + 3,0)

φ(ω + 4,0)

φ(ω + 5,0)

φ(ω + 6,0)

φ(ω + 7,0)

φ(ω + 8,0)

φ(ω + 9,0)

φ(ω + 10,0)

FS #120

φ(ω2,0)

φ(ω3,0)

φ(ω4,0)

φ(ω5,0)

φ(ω6,0)

φ(ω7,0)

φ(ω8,0)

φ(ω9,0)

φ(ω10,0)

φ(ω11,0)

FS #121

φ(ω2,0)

φ(ω3,0)

φ(ω4,0)

φ(ω5,0)

φ(ω6,0)

φ(ω7,0)

φ(ω8,0)

φ(ω9,0)

φ(ω10,0)

φ(ω11,0)

FS #122

φ(ωω,0)

φ(ωω ω ,0)

φ(ωω ω ω ,0)

φ(ωω ω ω ω  ,0)

φ(ωω ω ω ω ω   ,0)

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

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

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

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

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

FS #123

φ(ε0,0)

φ(ε0,0) + 1

φ(ε0,0) + 2

φ(ε0,0) + 3

φ(ε0,0) + 4

φ(ε0,0) + 5

φ(ε0,0) + 6

φ(ε0,0) + 7

φ(ε0,0) + 8

φ(ε0,0) + 9

φ(ε0,0) + 10

FS #124

φ(ε0,0) + ω

φ(ε0,0) + ωω

φ(ε0,0) + ωω ω

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

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

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

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

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

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

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

FS #125

φ(ε0,0) + ε0

φ(ε0,0) + ζ0

φ(ε0,0) + η0

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

φ(ε0,0) + φ(5,0)

φ(ε0,0) + φ(6,0)

φ(ε0,0) + φ(7,0)

φ(ε0,0) + φ(8,0)

φ(ε0,0) + φ(9,0)

φ(ε0,0) + φ(10,0)

FS #126

φ(ε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 #127

φ(ε0,0)2

φ(ε0,0)3

φ(ε0,0)4

φ(ε0,0)5

φ(ε0,0)6

φ(ε0,0)7

φ(ε0,0)8

φ(ε0,0)9

φ(ε0,0)10

φ(ε0,0)11

FS #128

ωφ(ε0,0) + 1)

εφ(ε 0,0) + 1)

ζφ(ε 0,0) + 1)

ηφ(ε 0,0) + 1)

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

φ(5,φ(ε0,0) + 1)

φ(6,φ(ε0,0) + 1)

φ(7,φ(ε0,0) + 1)

φ(8,φ(ε0,0) + 1)

φ(9,φ(ε0,0) + 1)

FS #129

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

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

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

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

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

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

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

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

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

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

FS #130

φ(ε0,1)

φ(ε0,2)

φ(ε0,3)

φ(ε0,4)

φ(ε0,5)

φ(ε0,6)

φ(ε0,7)

φ(ε0,8)

φ(ε0,9)

φ(ε0,10)

FS #131

φ(ε0,ω)

φ(ε0,ωω)

φ(ε0,ωω ω )

φ(ε0,ωω ω ω )

φ(ε0,ωω ω ω ω  )

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

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

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

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

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

FS #132

φ(ε0,ε0)

φ(ε0,ζ0)

φ(ε0,η0)

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

φ(ε0,φ(5,0))

φ(ε0,φ(6,0))

φ(ε0,φ(7,0))

φ(ε0,φ(8,0))

φ(ε0,φ(9,0))

φ(ε0,φ(10,0))

FS #133

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

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

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

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

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

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

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

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

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

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

FS #134

φ(ε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,φ(ε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,φ(ε0,φ(ε0,φ(ε0,φ(ε0,φ(ε0,φ(ε0,0)))))))))))

FS #135

φ(ε0 + 1,0)

φ(ε0 + 2,0)

φ(ε0 + 3,0)

φ(ε0 + 4,0)

φ(ε0 + 5,0)

φ(ε0 + 6,0)

φ(ε0 + 7,0)

φ(ε0 + 8,0)

φ(ε0 + 9,0)

φ(ε0 + 10,0)

FS #136

φ(ε0 + ω,0)

φ(ε0 + ωω,0)

φ(ε0 + ωω ω ,0)

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

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

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

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

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

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

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

FS #137

φ(ε02,0)

φ(ε03,0)

φ(ε04,0)

φ(ε05,0)

φ(ε06,0)

φ(ε07,0)

φ(ε08,0)

φ(ε09,0)

φ(ε010,0)

φ(ε011,0)

FS #138

φ(ωε0 + 1,0)

φ(ωω ε0 + 1 ,0)

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

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

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

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

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

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

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

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

FS #139

φ(ε1,0)

φ(ε2,0)

φ(ε3,0)

φ(ε4,0)

φ(ε5,0)

φ(ε6,0)

φ(ε7,0)

φ(ε8,0)

φ(ε9,0)

φ(ε10,0)

FS #140

φ(εω,0)

φ(εωω,0)

φ(εωω ω,0)

φ(εωω ω ω,0)

φ(εωω ω ω ω,0)

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

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

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

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

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

FS #141

φ(εε 0 ,0)

φ(εε ε 0 ,0)

φ(εε ε ε 0  ,0)

φ(εε ε ε ε 0   ,0)

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

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

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

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

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

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

FS #142

φ(ζ0,0)

φ(η0,0)

φ(φ(4,0),0)

φ(φ(5,0),0)

φ(φ(6,0),0)

φ(φ(7,0),0)

φ(φ(8,0),0)

φ(φ(9,0),0)

φ(φ(10,0),0)

FS #143

φ(φ(ω,0),0)

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

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

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

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

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

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

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

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

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

FS #144

φ(φ(ε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,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 #145

Γ0

Γ0 + 1

Γ0 + 2

Γ0 + 3

Γ0 + 4

Γ0 + 5

Γ0 + 6

Γ0 + 7

Γ0 + 8

Γ0 + 9

Γ0 + 10

FS #146

Γ0 + ω

Γ0 + ωω

Γ0 + ωω ω

Γ0 + ωω ω ω

Γ0 + ωω ω ω ω

Γ0 + ωω ω ω ω ω

Γ0 + ωω ω ω ω ω ω

Γ0 + ωω ω ω ω ω ω ω

Γ0 + ωω ω ω ω ω ω ω ω

Γ0 + ωω ω ω ω ω ω ω ω ω

FS #147

Γ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),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 #148

Γ02

Γ03

Γ04

Γ05

Γ06

Γ07

Γ08

Γ09

Γ010

Γ011

FS #149

ωΓ0 + 1

εΓ 0 + 1

ζΓ 0 + 1

ηΓ 0 + 1

φ(4,Γ0 + 1)

φ(5,Γ0 + 1)

φ(6,Γ0 + 1)

φ(7,Γ0 + 1)

φ(8,Γ0 + 1)

φ(9,Γ0 + 1)

FS #150

φ(ω,Γ0 + 1)

φ(ωω,Γ0 + 1)

φ(ωω ω ,Γ0 + 1)

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

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

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

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

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

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

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

FS #151

φ(ε0,Γ0 + 1)

φ(φ(ε0,0),Γ0 + 1)

φ(φ(φ(ε0,0),0),Γ0 + 1)

φ(φ(φ(φ(ε0,0),0),0),Γ0 + 1)

φ(φ(φ(φ(φ(ε0,0),0),0),0),Γ0 + 1)

φ(φ(φ(φ(φ(φ(ε0,0),0),0),0),0),Γ0 + 1)

φ(φ(φ(φ(φ(φ(φ(ε0,0),0),0),0),0),0),Γ0 + 1)

φ(φ(φ(φ(φ(φ(φ(φ(ε0,0),0),0),0),0),0),0),Γ0 + 1)

φ(φ(φ(φ(φ(φ(φ(φ(φ(ε0,0),0),0),0),0),0),0),0),Γ0 + 1)

φ(φ(φ(φ(φ(φ(φ(φ(φ(φ(ε0,0),0),0),0),0),0),0),0),0),Γ0 + 1)

FS #152

φ(Γ0,1)

φ(Γ0,2)

φ(Γ0,3)

φ(Γ0,4)

φ(Γ0,5)

φ(Γ0,6)

φ(Γ0,7)

φ(Γ0,8)

φ(Γ0,9)

φ(Γ0,10)

FS #153

φ(Γ0,ω)

φ(Γ0,ωω)

φ(Γ0,ωω ω )

φ(Γ0,ωω ω ω )

φ(Γ0,ωω ω ω ω  )

φ(Γ0,ωω ω ω ω ω   )

φ(Γ0,ωω ω ω ω ω ω    )

φ(Γ0,ωω ω ω ω ω ω ω     )

φ(Γ0,ωω ω ω ω ω ω ω ω      )

φ(Γ0,ωω ω ω ω ω ω ω ω ω       )

FS #154

φ(Γ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),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 #155

φ(Γ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,Γ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 #156

φ(Γ0 + 1,0)

φ(φ(Γ0 + 1,0),0)

φ(φ(φ(Γ0 + 1,0),0),0)

φ(φ(φ(φ(Γ0 + 1,0),0),0),0)

φ(φ(φ(φ(φ(Γ0 + 1,0),0),0),0),0)

φ(φ(φ(φ(φ(φ(Γ0 + 1,0),0),0),0),0),0)

φ(φ(φ(φ(φ(φ(φ(Γ0 + 1,0),0),0),0),0),0),0)

φ(φ(φ(φ(φ(φ(φ(φ(Γ0 + 1,0),0),0),0),0),0),0),0)

φ(φ(φ(φ(φ(φ(φ(φ(φ(Γ0 + 1,0),0),0),0),0),0),0),0),0)

φ(φ(φ(φ(φ(φ(φ(φ(φ(φ(Γ0 + 1,0),0),0),0),0),0),0),0),0),0)

FS #157

Γ1

Γ2

Γ3

Γ4

Γ5

Γ6

Γ7

Γ8

Γ9

Γ10

FS #158

Γω

Γωω

Γωω ω

Γωω ω ω

Γωω ω ω ω

Γωω ω ω ω ω

Γωω ω ω ω ω ω

Γωω ω ω ω ω ω ω

Γωω ω ω ω ω ω ω ω

Γωω ω ω ω ω ω ω ω ω

FS #159

Γε 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),0),0)

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

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

FS #160

ΓΓ 0

ΓΓ Γ 0

ΓΓ Γ Γ 0

ΓΓ Γ Γ Γ 0

ΓΓ Γ Γ Γ Γ 0

ΓΓ Γ Γ Γ Γ Γ 0

ΓΓ Γ Γ Γ Γ Γ Γ 0

ΓΓ Γ Γ Γ Γ Γ Γ Γ 0

ΓΓ Γ Γ Γ Γ Γ Γ Γ Γ 0

ΓΓ Γ Γ Γ Γ Γ Γ Γ Γ Γ 0

FS #161

φ(1,1,0)

φ(1,2,0)

φ(1,3,0)

φ(1,4,0)

φ(1,5,0)

φ(1,6,0)

φ(1,7,0)

φ(1,8,0)

φ(1,9,0)

φ(1,10,0)

FS #162

φ(1,ω,0)

φ(1,ωω,0)

φ(1,ωω ω ,0)

φ(1,ωω ω ω ,0)

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

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

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

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

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

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

FS #163

φ(1,ε0,0)

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

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

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

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

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

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

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

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

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

FS #164

φ(1,Γ0,0)

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

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

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

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

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

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

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

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

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

FS #165

φ(2,0,0)

φ(3,0,0)

φ(4,0,0)

φ(5,0,0)

φ(6,0,0)

φ(7,0,0)

φ(8,0,0)

φ(9,0,0)

φ(10,0,0)

φ(11,0,0)

FS #166

φ(ω,0,0)

φ(ωω,0,0)

φ(ωω ω ,0,0)

φ(ωω ω ω ,0,0)

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

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

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

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

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

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

FS #167

φ(ε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,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),0),0),0),0),0),0,0)

FS #168

φ(Γ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,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),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),0,0),0,0),0,0),0,0),0,0),0,0),0,0),0,0),0,0)

FS #169

φ(1,0,0,0)

φ(1,0,0,0,0)

φ(1,0,0,0,0,0)

φ(1,0,0,0,0,0,0)

φ(1,0,0,0,0,0,0,0)

φ(1,0,0,0,0,0,0,0,0)

φ(1,0,0,0,0,0,0,0,0,0)

φ(1,0,0,0,0,0,0,0,0,0,0)

φ(1,0,0,0,0,0,0,0,0,0,0,0)

FS #170

φ(1&lt;ω&gt;)

φ(1&lt;ω&gt;) + 1

φ(1&lt;ω&gt;) + 2

φ(1&lt;ω&gt;) + 3

φ(1&lt;ω&gt;) + 4

φ(1&lt;ω&gt;) + 5

φ(1&lt;ω&gt;) + 6

φ(1&lt;ω&gt;) + 7

φ(1&lt;ω&gt;) + 8

φ(1&lt;ω&gt;) + 9

φ(1&lt;ω&gt;) + 10

FS #171

φ(1&lt;ω&gt;) + ω

φ(1&lt;ω&gt;) + ε0

φ(1&lt;ω&gt;) + Γ0

φ(1&lt;ω&gt;) + φ(1,0,0,0)

φ(1&lt;ω&gt;) + φ(1,0,0,0,0)

φ(1&lt;ω&gt;) + φ(1,0,0,0,0,0)

φ(1&lt;ω&gt;) + φ(1,0,0,0,0,0,0)

φ(1&lt;ω&gt;) + φ(1,0,0,0,0,0,0,0)

φ(1&lt;ω&gt;) + φ(1,0,0,0,0,0,0,0,0)

φ(1&lt;ω&gt;) + φ(1,0,0,0,0,0,0,0,0,0)

FS #172

φ(1&lt;ω&gt;)2

φ(1&lt;ω&gt;)3

φ(1&lt;ω&gt;)4

φ(1&lt;ω&gt;)5

φ(1&lt;ω&gt;)6

φ(1&lt;ω&gt;)7

φ(1&lt;ω&gt;)8

φ(1&lt;ω&gt;)9

φ(1&lt;ω&gt;)10

φ(1&lt;ω&gt;)11

FS #173

ωφ(1&lt;ω&gt;) + 1)

εφ(1&lt;ω&gt;) + 1)

Γφ(1&lt;ω&gt;) + 1)

φ(1,0,0,φ(1&lt;ω&gt;) + 1)

φ(1,0,0,0,φ(1&lt;ω&gt;) + 1)

φ(1,0,0,0,0,φ(1&lt;ω&gt;) + 1)

φ(1,0,0,0,0,0,φ(1&lt;ω&gt;) + 1)

φ(1,0,0,0,0,0,0,φ(1&lt;ω&gt;) + 1)

φ(1,0,0,0,0,0,0,0,φ(1&lt;ω&gt;) + 1)

φ(1,0,0,0,0,0,0,0,0,φ(1&lt;ω&gt;) + 1)

FS #174

φ(1&lt;ω&gt;1)

φ(1&lt;ω&gt;1,0)

φ(1&lt;ω&gt;1,0,0)

φ(1&lt;ω&gt;1,0,0,0)

φ(1&lt;ω&gt;1,0,0,0,0)

φ(1&lt;ω&gt;1,0,0,0,0,0)

φ(1&lt;ω&gt;1,0,0,0,0,0,0)

φ(1&lt;ω&gt;1,0,0,0,0,0,0,0)

φ(1&lt;ω&gt;1,0,0,0,0,0,0,0,0)

φ(1&lt;ω&gt;1,0,0,0,0,0,0,0,0,0)

FS #175

φ(2&lt;ω&gt;)

φ(3&lt;ω&gt;)

φ(4&lt;ω&gt;)

φ(5&lt;ω&gt;)

φ(6&lt;ω&gt;)

φ(7&lt;ω&gt;)

φ(8&lt;ω&gt;)

φ(9&lt;ω&gt;)

φ(10&lt;ω&gt;)

φ(11&lt;ω&gt;)

FS #176

φ(ω&lt;ω&gt;)

φ(ε0&lt;ω&gt;)

φ(Γ0&lt;ω&gt;)

φ(φ(1,0,0,0)&lt;ω&gt;)

φ(φ(1,0,0,0,0)&lt;ω&gt;)

φ(φ(1,0,0,0,0,0)&lt;ω&gt;)

φ(φ(1,0,0,0,0,0,0)&lt;ω&gt;)

φ(φ(1,0,0,0,0,0,0,0)&lt;ω&gt;)

φ(φ(1,0,0,0,0,0,0,0,0)&lt;ω&gt;)

φ(φ(1,0,0,0,0,0,0,0,0,0)&lt;ω&gt;)

FS #177

φ(φ(1&lt;ω&gt;)&lt;ω&gt;)

φ(φ(φ(1&lt;ω&gt;)&lt;ω&gt;)&lt;ω&gt;)

φ(φ(φ(φ(1&lt;ω&gt;)&lt;ω&gt;)&lt;ω&gt;)&lt;ω&gt;)

φ(φ(φ(φ(φ(1&lt;ω&gt;)&lt;ω&gt;)&lt;ω&gt;)&lt;ω&gt;)&lt;ω&gt;)

φ(φ(φ(φ(φ(φ(1&lt;ω&gt;)&lt;ω&gt;)&lt;ω&gt;)&lt;ω&gt;)&lt;ω&gt;)&lt;ω&gt;)

φ(φ(φ(φ(φ(φ(φ(1&lt;ω&gt;)&lt;ω&gt;)&lt;ω&gt;)&lt;ω&gt;)&lt;ω&gt;)&lt;ω&gt;)&lt;ω&gt;)

φ(φ(φ(φ(φ(φ(φ(φ(1&lt;ω&gt;)&lt;ω&gt;)&lt;ω&gt;)&lt;ω&gt;)&lt;ω&gt;)&lt;ω&gt;)&lt;ω&gt;)&lt;ω&gt;)

φ(φ(φ(φ(φ(φ(φ(φ(φ(1&lt;ω&gt;)&lt;ω&gt;)&lt;ω&gt;)&lt;ω&gt;)&lt;ω&gt;)&lt;ω&gt;)&lt;ω&gt;)&lt;ω&gt;)&lt;ω&gt;)

φ(φ(φ(φ(φ(φ(φ(φ(φ(φ(1&lt;ω&gt;)&lt;ω&gt;)&lt;ω&gt;)&lt;ω&gt;)&lt;ω&gt;)&lt;ω&gt;)&lt;ω&gt;)&lt;ω&gt;)&lt;ω&gt;)&lt;ω&gt;)

φ(φ(φ(φ(φ(φ(φ(φ(φ(φ(φ(1&lt;ω&gt;)&lt;ω&gt;)&lt;ω&gt;)&lt;ω&gt;)&lt;ω&gt;)&lt;ω&gt;)&lt;ω&gt;)&lt;ω&gt;)&lt;ω&gt;)&lt;ω&gt;)&lt;ω&gt;)

FS #178

φ(1,0&lt;ω&gt;)

φ(1,0,0&lt;ω&gt;)

φ(1,0,0,0&lt;ω&gt;)

φ(1,0,0,0,0&lt;ω&gt;)

φ(1,0,0,0,0,0&lt;ω&gt;)

φ(1,0,0,0,0,0,0&lt;ω&gt;)

φ(1,0,0,0,0,0,0,0&lt;ω&gt;)

φ(1,0,0,0,0,0,0,0,0&lt;ω&gt;)

φ(1,0,0,0,0,0,0,0,0,0&lt;ω&gt;)

φ(1,0,0,0,0,0,0,0,0,0,0&lt;ω&gt;)

FS #179

φ(1&lt;ω2&gt;)

φ(1&lt;ω3&gt;)

φ(1&lt;ω4&gt;)

φ(1&lt;ω5&gt;)

φ(1&lt;ω6&gt;)

φ(1&lt;ω7&gt;)

φ(1&lt;ω8&gt;)

φ(1&lt;ω9&gt;)

φ(1&lt;ω10&gt;)

φ(1&lt;ω11&gt;)

FS #180

φ(1&lt;ω2&gt;)

φ(1&lt;ω3&gt;)

φ(1&lt;ω4&gt;)

φ(1&lt;ω5&gt;)

φ(1&lt;ω6&gt;)

φ(1&lt;ω7&gt;)

φ(1&lt;ω8&gt;)

φ(1&lt;ω9&gt;)

φ(1&lt;ω10&gt;)

φ(1&lt;ω11&gt;)

FS #181

φ(1&lt;ωω&gt;)

φ(1&lt;ωω ω &gt;)

φ(1&lt;ωω ω ω &gt;)

φ(1&lt;ωω ω ω ω  &gt;)

φ(1&lt;ωω ω ω ω ω   &gt;)

φ(1&lt;ωω ω ω ω ω ω    &gt;)

φ(1&lt;ωω ω ω ω ω ω ω     &gt;)

φ(1&lt;ωω ω ω ω ω ω ω ω      &gt;)

φ(1&lt;ωω ω ω ω ω ω ω ω ω       &gt;)

φ(1&lt;ωω ω ω ω ω ω ω ω ω ω        &gt;)

FS #182

φ(1&lt;ε0&gt;)

φ(1&lt;Γ0&gt;)

φ(1&lt;φ(1,0,0,0)&gt;)

φ(1&lt;φ(1,0,0,0,0)&gt;)

φ(1&lt;φ(1,0,0,0,0,0)&gt;)

φ(1&lt;φ(1,0,0,0,0,0,0)&gt;)

φ(1&lt;φ(1,0,0,0,0,0,0,0)&gt;)

φ(1&lt;φ(1,0,0,0,0,0,0,0,0)&gt;)

φ(1&lt;φ(1,0,0,0,0,0,0,0,0,0)&gt;)

φ(1&lt;φ(1,0,0,0,0,0,0,0,0,0,0)&gt;)

FS #183

φ(1&lt;φ(1&lt;ω&gt;)&gt;)

φ(1&lt;φ(1&lt;φ(1&lt;ω&gt;)&gt;)&gt;)

φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;ω&gt;)&gt;)&gt;)&gt;)

φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;ω&gt;)&gt;)&gt;)&gt;)&gt;)

φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;ω&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)

φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;ω&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)

φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;ω&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)

φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;ω&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)

φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;ω&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)

FS #184

φ(1<1,0>)

φ(1<1,0>) + 1

φ(1<1,0>) + 2

φ(1<1,0>) + 3

φ(1<1,0>) + 4

φ(1<1,0>) + 5

φ(1<1,0>) + 6

φ(1<1,0>) + 7

φ(1<1,0>) + 8

φ(1<1,0>) + 9

φ(1<1,0>) + 10

FS #185

φ(1<1,0>) + ω

φ(1<1,0>) + φ(1&lt;ω&gt;)

φ(1<1,0>) + φ(1&lt;φ(1&lt;ω&gt;)&gt;)

φ(1<1,0>) + φ(1&lt;φ(1&lt;φ(1&lt;ω&gt;)&gt;)&gt;)

φ(1<1,0>) + φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;ω&gt;)&gt;)&gt;)&gt;)

φ(1<1,0>) + φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;ω&gt;)&gt;)&gt;)&gt;)&gt;)

φ(1<1,0>) + φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;ω&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)

φ(1<1,0>) + φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;ω&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)

φ(1<1,0>) + φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;ω&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)

φ(1<1,0>) + φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;ω&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)

FS #186

φ(1<1,0>)2

φ(1<1,0>)3

φ(1<1,0>)4

φ(1<1,0>)5

φ(1<1,0>)6

φ(1<1,0>)7

φ(1<1,0>)8

φ(1<1,0>)9

φ(1<1,0>)10

φ(1<1,0>)11

FS #187

ωφ(1<1,0>) + 1

εφ(1<1,0>) + 1

Γφ(1<1,0>) + 1

φ(1,0,0,φ(1<1,0>) + 1)

φ(1,0,0,0,φ(1<1,0>) + 1)

φ(1,0,0,0,0,φ(1<1,0>) + 1)

φ(1,0,0,0,0,0,φ(1<1,0>) + 1)

φ(1,0,0,0,0,0,0,φ(1<1,0>) + 1)

φ(1,0,0,0,0,0,0,0,φ(1<1,0>) + 1)

φ(1,0,0,0,0,0,0,0,0,φ(1<1,0>) + 1)

FS #188

φ(1<ω>φ(1<1,0>) + 1)

φ(1<φ(1&lt;ω&gt;)>φ(1<1,0>) + 1)

φ(1<φ(1&lt;φ(1&lt;ω&gt;)&gt;)>φ(1<1,0>) + 1)

φ(1<φ(1&lt;φ(1&lt;φ(1&lt;ω&gt;)&gt;)&gt;)>φ(1<1,0>) + 1)

φ(1<φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;ω&gt;)&gt;)&gt;)&gt;)>φ(1<1,0>) + 1)

φ(1<φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;ω&gt;)&gt;)&gt;)&gt;)&gt;)>φ(1<1,0>) + 1)

φ(1<φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;ω&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)>φ(1<1,0>) + 1)

φ(1<φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;ω&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)>φ(1<1,0>) + 1)

φ(1<φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;ω&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)>φ(1<1,0>) + 1)

φ(1<φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;ω&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)>φ(1<1,0>) + 1)

FS #189

φ(1<φ(1<1,0>)>1)

φ(1<φ(1<1,0>)>1,0)

φ(1<φ(1<1,0>)>1,0,0)

φ(1<φ(1<1,0>)>1,0,0,0)

φ(1<φ(1<1,0>)>1,0,0,0,0)

φ(1<φ(1<1,0>)>1,0,0,0,0,0)

φ(1<φ(1<1,0>)>1,0,0,0,0,0,0)

φ(1<φ(1<1,0>)>1,0,0,0,0,0,0,0)

φ(1<φ(1<1,0>)>1,0,0,0,0,0,0,0,0)

φ(1<φ(1<1,0>)>1,0,0,0,0,0,0,0,0,0)

FS #190

φ(1<φ(1<1,0>)>1<ω>)

φ(1<φ(1<1,0>)>1<φ(1&lt;ω&gt;)>)

φ(1<φ(1<1,0>)>1<φ(1&lt;φ(1&lt;ω&gt;)&gt;)>)

φ(1<φ(1<1,0>)>1<φ(1&lt;φ(1&lt;φ(1&lt;ω&gt;)&gt;)&gt;)>)

φ(1<φ(1<1,0>)>1<φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;ω&gt;)&gt;)&gt;)&gt;)>)

φ(1<φ(1<1,0>)>1<φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;ω&gt;)&gt;)&gt;)&gt;)&gt;)>)

φ(1<φ(1<1,0>)>1<φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;ω&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)>)

φ(1<φ(1<1,0>)>1<φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;ω&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)>)

φ(1<φ(1<1,0>)>1<φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;ω&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)>)

φ(1<φ(1<1,0>)>1<φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;ω&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)>)

FS #191

φ(2<φ(1<1,0>)>)

φ(3<φ(1<1,0>)>)

φ(4<φ(1<1,0>)>)

φ(5<φ(1<1,0>)>)

φ(6<φ(1<1,0>)>)

φ(7<φ(1<1,0>)>)

φ(8<φ(1<1,0>)>)

φ(9<φ(1<1,0>)>)

φ(10<φ(1<1,0>)>)

φ(11<φ(1<1,0>)>)

FS #192

φ(ω<φ(1<1,0>)>)

φ(φ(1&lt;ω&gt;)<φ(1<1,0>)>)

φ(φ(1&lt;φ(1&lt;ω&gt;)&gt;)<φ(1<1,0>)>)

φ(φ(1&lt;φ(1&lt;φ(1&lt;ω&gt;)&gt;)&gt;)<φ(1<1,0>)>)

φ(φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;ω&gt;)&gt;)&gt;)&gt;)<φ(1<1,0>)>)

φ(φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;ω&gt;)&gt;)&gt;)&gt;)&gt;)<φ(1<1,0>)>)

φ(φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;ω&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)<φ(1<1,0>)>)

φ(φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;ω&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)<φ(1<1,0>)>)

φ(φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;ω&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)<φ(1<1,0>)>)

φ(φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;ω&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)<φ(1<1,0>)>)

FS #193

φ(φ(1<1,0>)<φ(1<1,0>)>)

φ(φ(φ(1<1,0>)<φ(1<1,0>)>)<φ(1<1,0>)>)

φ(φ(φ(φ(1<1,0>)<φ(1<1,0>)>)<φ(1<1,0>)>)<φ(1<1,0>)>)

φ(φ(φ(φ(φ(1<1,0>)<φ(1<1,0>)>)<φ(1<1,0>)>)<φ(1<1,0>)>)<φ(1<1,0>)>)

φ(φ(φ(φ(φ(φ(1<1,0>)<φ(1<1,0>)>)<φ(1<1,0>)>)<φ(1<1,0>)>)<φ(1<1,0>)>)<φ(1<1,0>)>)

φ(φ(φ(φ(φ(φ(φ(1<1,0>)<φ(1<1,0>)>)<φ(1<1,0>)>)<φ(1<1,0>)>)<φ(1<1,0>)>)<φ(1<1,0>)>)<φ(1<1,0>)>)

φ(φ(φ(φ(φ(φ(φ(φ(1<1,0>)<φ(1<1,0>)>)<φ(1<1,0>)>)<φ(1<1,0>)>)<φ(1<1,0>)>)<φ(1<1,0>)>)<φ(1<1,0>)>)<φ(1<1,0>)>)

φ(φ(φ(φ(φ(φ(φ(φ(φ(1<1,0>)<φ(1<1,0>)>)<φ(1<1,0>)>)<φ(1<1,0>)>)<φ(1<1,0>)>)<φ(1<1,0>)>)<φ(1<1,0>)>)<φ(1<1,0>)>)<φ(1<1,0>)>)

φ(φ(φ(φ(φ(φ(φ(φ(φ(φ(1<1,0>)<φ(1<1,0>)>)<φ(1<1,0>)>)<φ(1<1,0>)>)<φ(1<1,0>)>)<φ(1<1,0>)>)<φ(1<1,0>)>)<φ(1<1,0>)>)<φ(1<1,0>)>)<φ(1<1,0>)>)

φ(φ(φ(φ(φ(φ(φ(φ(φ(φ(1<1,0>)<φ(1<1,0>)>)<φ(1<1,0>)>)<φ(1<1,0>)>)<φ(1<1,0>)>)<φ(1<1,0>)>)<φ(1<1,0>)>)<φ(1<1,0>)>)<φ(1<1,0>)>)<φ(1<1,0>)>)

FS #194

φ(1<φ(1<1,0>) + 1>)

φ(1<φ(1<φ(1<1,0>) + 1>)>)

φ(1<φ(1<φ(1<φ(1<1,0>) + 1>)>)>)

φ(1<φ(1<φ(1<φ(1<φ(1<1,0>) + 1>)>)>)>)

φ(1<φ(1<φ(1<φ(1<φ(1<φ(1<1,0>) + 1>)>)>)>)>)

φ(1<φ(1<φ(1<φ(1<φ(1<φ(1<φ(1<1,0>) + 1>)>)>)>)>)>)

φ(1<φ(1<φ(1<φ(1<φ(1<φ(1<φ(1<φ(1<1,0>) + 1>)>)>)>)>)>)>)

φ(1<φ(1<φ(1<φ(1<φ(1<φ(1<φ(1<φ(1<φ(1<1,0>) + 1>)>)>)>)>)>)>)>)

φ(1<φ(1<φ(1<φ(1<φ(1<φ(1<φ(1<φ(1<φ(1<φ(1<1,0>) + 1>)>)>)>)>)>)>)>)>)

φ(1<φ(1<φ(1<φ(1<φ(1<φ(1<φ(1<φ(1<φ(1<φ(1<φ(1<1,0>) + 1>)>)>)>)>)>)>)>)>)>)

FS #195

φ(1<1,0>1)

φ(1<1,0>1<φ(1<1,0>1)>)

φ(1<1,0>1<φ(1<1,0>1<φ(1<1,0>1)>)>)

φ(1<1,0>1<φ(1<1,0>1<φ(1<1,0>1<φ(1<1,0>1)>)>)>)

φ(1<1,0>1<φ(1<1,0>1<φ(1<1,0>1<φ(1<1,0>1<φ(1<1,0>1)>)>)>)>)

φ(1<1,0>1<φ(1<1,0>1<φ(1<1,0>1<φ(1<1,0>1<φ(1<1,0>1<φ(1<1,0>1)>)>)>)>)>)

φ(1<1,0>1<φ(1<1,0>1<φ(1<1,0>1<φ(1<1,0>1<φ(1<1,0>1<φ(1<1,0>1<φ(1<1,0>1)>)>)>)>)>)>)

φ(1<1,0>1<φ(1<1,0>1<φ(1<1,0>1<φ(1<1,0>1<φ(1<1,0>1<φ(1<1,0>1<φ(1<1,0>1<φ(1<1,0>1)>)>)>)>)>)>)>)

φ(1<1,0>1<φ(1<1,0>1<φ(1<1,0>1<φ(1<1,0>1<φ(1<1,0>1<φ(1<1,0>1<φ(1<1,0>1<φ(1<1,0>1<φ(1<1,0>1)>)>)>)>)>)>)>)>)

φ(1<1,0>1<φ(1<1,0>1<φ(1<1,0>1<φ(1<1,0>1<φ(1<1,0>1<φ(1<1,0>1<φ(1<1,0>1<φ(1<1,0>1<φ(1<1,0>1<φ(1<1,0>1)>)>)>)>)>)>)>)>)>)

FS #196

φ(2<1,0>)

φ(3<1,0>)

φ(4<1,0>)

φ(5<1,0>)

φ(6<1,0>)

φ(7<1,0>)

φ(8<1,0>)

φ(9<1,0>)

φ(10<1,0>)

φ(11<1,0>)

FS #197

φ(ω<1,0>)

φ(φ(1&lt;ω&gt;)<1,0>)

φ(φ(1&lt;φ(1&lt;ω&gt;)&gt;)<1,0>)

φ(φ(1&lt;φ(1&lt;φ(1&lt;ω&gt;)&gt;)&gt;)<1,0>)

φ(φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;ω&gt;)&gt;)&gt;)&gt;)<1,0>)

φ(φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;ω&gt;)&gt;)&gt;)&gt;)&gt;)<1,0>)

φ(φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;ω&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)<1,0>)

φ(φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;ω&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)<1,0>)

φ(φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;ω&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)<1,0>)

φ(φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;ω&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)<1,0>)

FS #198

φ(φ(1<1,0>)<1,0>)

φ(φ(φ(1<1,0>)<1,0>)<1,0>)

φ(φ(φ(φ(1<1,0>)<1,0>)<1,0>)<1,0>)

φ(φ(φ(φ(φ(1<1,0>)<1,0>)<1,0>)<1,0>)<1,0>)

φ(φ(φ(φ(φ(φ(1<1,0>)<1,0>)<1,0>)<1,0>)<1,0>)<1,0>)

φ(φ(φ(φ(φ(φ(φ(1<1,0>)<1,0>)<1,0>)<1,0>)<1,0>)<1,0>)<1,0>)

φ(φ(φ(φ(φ(φ(φ(φ(1<1,0>)<1,0>)<1,0>)<1,0>)<1,0>)<1,0>)<1,0>)<1,0>)

φ(φ(φ(φ(φ(φ(φ(φ(φ(1<1,0>)<1,0>)<1,0>)<1,0>)<1,0>)<1,0>)<1,0>)<1,0>)<1,0>)

φ(φ(φ(φ(φ(φ(φ(φ(φ(φ(1<1,0>)<1,0>)<1,0>)<1,0>)<1,0>)<1,0>)<1,0>)<1,0>)<1,0>)<1,0>)

φ(φ(φ(φ(φ(φ(φ(φ(φ(φ(φ(1<1,0>)<1,0>)<1,0>)<1,0>)<1,0>)<1,0>)<1,0>)<1,0>)<1,0>)<1,0>)<1,0>)

FS #199

φ(1,0<1,0>)

φ(1,0,0<1,0>)

φ(1,0,0,0<1,0>)

φ(1,0,0,0,0<1,0>)

φ(1,0,0,0,0,0<1,0>)

φ(1,0,0,0,0,0,0<1,0>)

φ(1,0,0,0,0,0,0,0<1,0>)

φ(1,0,0,0,0,0,0,0,0<1,0>)

φ(1,0,0,0,0,0,0,0,0,0<1,0>)

φ(1,0,0,0,0,0,0,0,0,0,0<1,0>)

FS #200

φ(1<1,ω>)

φ(1<1,φ(1&lt;ω&gt;)>)

φ(1<1,φ(1&lt;φ(1&lt;ω&gt;)&gt;)>)

φ(1<1,φ(1&lt;φ(1&lt;φ(1&lt;ω&gt;)&gt;)&gt;)>)

φ(1<1,φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;ω&gt;)&gt;)&gt;)&gt;)>)

φ(1<1,φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;ω&gt;)&gt;)&gt;)&gt;)&gt;)>)

φ(1<1,φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;ω&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)>)

φ(1<1,φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;ω&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)>)

φ(1<1,φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;ω&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)>)

φ(1<1,φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;φ(1&lt;ω&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)&gt;)>)

FS #201

φ(1<1,φ(1<1,0>)>)

φ(1<1,φ(1<1,φ(1<1,0>)>)>)

φ(1<1,φ(1<1,φ(1<1,φ(1<1,0>)>)>)>)

φ(1<1,φ(1<1,φ(1<1,φ(1<1,φ(1<1,0>)>)>)>)>)

φ(1<1,φ(1<1,φ(1<1,φ(1<1,φ(1<1,φ(1<1,0>)>)>)>)>)>)

φ(1<1,φ(1<1,φ(1<1,φ(1<1,φ(1<1,φ(1<1,φ(1<1,0>)>)>)>)>)>)>)

φ(1<1,φ(1<1,φ(1<1,φ(1<1,φ(1<1,φ(1<1,φ(1<1,φ(1<1,0>)>)>)>)>)>)>)>)

φ(1<1,φ(1<1,φ(1<1,φ(1<1,φ(1<1,φ(1<1,φ(1<1,φ(1<1,φ(1<1,0>)>)>)>)>)>)>)>)>)

φ(1<1,φ(1<1,φ(1<1,φ(1<1,φ(1<1,φ(1<1,φ(1<1,φ(1<1,φ(1<1,φ(1<1,0>)>)>)>)>)>)>)>)>)>)

φ(1<1,φ(1<1,φ(1<1,φ(1<1,φ(1<1,φ(1<1,φ(1<1,φ(1<1,φ(1<1,φ(1<1,φ(1<1,0>)>)>)>)>)>)>)>)>)>)>)

FS #202

φ(1<2,0>)

φ(1<3,0>)

φ(1<4,0>)

φ(1<5,0>)

φ(1<6,0>)

φ(1<7,0>)

φ(1<8,0>)

φ(1<9,0>)

φ(1<10,0>)

φ(1<11,0>)

FS #203

φ(1<ω,0>)

φ(1<φ(1<ω,0>),0>)

φ(1<φ(1<φ(1<ω,0>),0>),0>)

φ(1<φ(1<φ(1<φ(1<ω,0>),0>),0>),0>)

φ(1<φ(1<φ(1<φ(1<φ(1<ω,0>),0>),0>),0>),0>)

φ(1<φ(1<φ(1<φ(1<φ(1<φ(1<ω,0>),0>),0>),0>),0>),0>)

φ(1<φ(1<φ(1<φ(1<φ(1<φ(1<φ(1<ω,0>),0>),0>),0>),0>),0>),0>)

φ(1<φ(1<φ(1<φ(1<φ(1<φ(1<φ(1<φ(1<ω,0>),0>),0>),0>),0>),0>),0>),0>)

φ(1<φ(1<φ(1<φ(1<φ(1<φ(1<φ(1<φ(1<φ(1<ω,0>),0>),0>),0>),0>),0>),0>),0>),0>)

φ(1<φ(1<φ(1<φ(1<φ(1<φ(1<φ(1<φ(1<φ(1<φ(1<ω,0>),0>),0>),0>),0>),0>),0>),0>),0>),0>)

FS #204

φ(1<1,0,0>)

φ(1<1,0,0,0>)

φ(1<1,0,0,0,0>)

φ(1<1,0,0,0,0,0>)

φ(1<1,0,0,0,0,0,0>)

φ(1<1,0,0,0,0,0,0,0>)

φ(1<1,0,0,0,0,0,0,0,0>)

φ(1<1,0,0,0,0,0,0,0,0,0>)

φ(1<1,0,0,0,0,0,0,0,0,0,0>)

φ(1<1,0,0,0,0,0,0,0,0,0,0,0>)

FS #205

φ(1<1<ω>>)

φ(1<1<ωω>>)

φ(1<1<ωω ω >>)

φ(1<1<ωω ω ω >>)

φ(1<1<ωω ω ω ω  >>)

φ(1<1<ωω ω ω ω ω   >>)

φ(1<1<ωω ω ω ω ω ω    >>)

φ(1<1<ωω ω ω ω ω ω ω     >>)

φ(1<1<ωω ω ω ω ω ω ω ω      >>)

φ(1<1<ωω ω ω ω ω ω ω ω ω       >>)

FS #206

φ(1<1<ε0>>)

φ(1<1<φ(1<1<ε0>>)>>)

φ(1<1<φ(1<1<φ(1<1<ε0>>)>>)>>)

φ(1<1<φ(1<1<φ(1<1<φ(1<1<ε0>>)>>)>>)>>)

φ(1<1<φ(1<1<φ(1<1<φ(1<1<φ(1<1<ε0>>)>>)>>)>>)>>)

φ(1<1<φ(1<1<φ(1<1<φ(1<1<φ(1<1<φ(1<1<ε0>>)>>)>>)>>)>>)>>)

φ(1<1<φ(1<1<φ(1<1<φ(1<1<φ(1<1<φ(1<1<φ(1<1<ε0>>)>>)>>)>>)>>)>>)>>)

φ(1<1<φ(1<1<φ(1<1<φ(1<1<φ(1<1<φ(1<1<φ(1<1<φ(1<1<ε0>>)>>)>>)>>)>>)>>)>>)>>)

φ(1<1<φ(1<1<φ(1<1<φ(1<1<φ(1<1<φ(1<1<φ(1<1<φ(1<1<φ(1<1<ε0>>)>>)>>)>>)>>)>>)>>)>>)>>)

φ(1<1<φ(1<1<φ(1<1<φ(1<1<φ(1<1<φ(1<1<φ(1<1<φ(1<1<φ(1<1<φ(1<1<ε0>>)>>)>>)>>)>>)>>)>>)>>)>>)>>)

FS #207

φ(1<1<1,0>>)

φ(1<1<1<1,0>>>)

φ(1<1<1<1<1,0>>>>)

φ(1<1<1<1<1<1,0>>>>>)

φ(1<1<1<1<1<1<1,0>>>>>>)

φ(1<1<1<1<1<1<1<1,0>>>>>>>)

φ(1<1<1<1<1<1<1<1<1,0>>>>>>>>)

Bachmann-Howard ordinal

φ(1<1|0>)

(Total 2071 ordinals, 207 fundamental sequences).