Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

МАШИНА ТЬЮРЕНГА

.doc
Скачиваний:
18
Добавлен:
15.06.2014
Размер:
166.91 Кб
Скачать

Министерство образования и науки Российской Федерации

ОМСКИЙ ГОСУДАРСТВЕННЫЙ ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ (ОмГТУ)

Кафедра «Автоматизированные системы обработки информации и управления»

ОТЧЕТ ПО РАСЧЕТНО-ГРАФИЧЕСКОЙ РАБОТЕ

по дисциплине «Математическая логика и теория алгоритмов»

МАШИНА ТЬЮРЕНГА

Принял:

преподаватель Н.Б. Шамрай

подпись, дата

Выполнил:

студент гр. АС-124 В.В. Коробов

подпись, дата

Омск 2004

Алгоритм

S0

1

w

x

y

z

q0

q1wr

q1

q2S0r

q11r

q2

q3yr

q3

q4S0r

q31r

q4

q51L

q41r

q5

q5S0L

q51L

q6wr

q5yL

q6

q13S0r

q7xr

q7

q7S0r

q71r

q8yr

q8

q12S0L

q9zr

q9

q10S0r

q91r

q10

q111L

q101r

q11

q11S0L

q111L

q8zr

q12

q12S0L

q121L

q6xr

q12yL

q121L

q13

q14S0r

q131L

q131L

q131L

q14

1!q14

Хождение головки

Пример работы алгоритма. Умножение числа 3 на 4 (1111*11111)

q0

q1

q1

q1

q1

q2

q3

q3

q3

q3

q3

q4

q5

q5

q5

q5

q5

q5

q5

q5

q5

q5

q5

q6

q7

q7

q7

q7

q8

q9

q9

q9

q9

q10

q10

q11

q11

q11

q11

q11

q11

q8

q9

q9

q9

q10

q10

q10

q11

q11

q11

q11

q11

q11

q8

q9

q9

q10

q10

q10

q10

q11

q11

q11

q11

q11

q11

q8

q9

q10

q10

q10

q10

q10

q11

q11

q11

q11

q11

q11

q8

q12

q12

q12

q12

q12

q12

q12

q12

q12

q6

q7

q7

q7

q8

q9

q9

q9

q9

q10

q10

q10

q10

q10

q10

q11

q11

q11

q11

q11

q11

q11

q11

q11

q11

q8

q9

q9

q9

q10

q10

q10

q10

q10

q10

q10

q11

q11

q11

q11

q11

q11

q11

q11

q11

q11

q8

q9

q9

q10

q10

q10

q10

q10

q10

q10

q10

q11

q11

q11

q11

q11

q11

q11

q11

q11

q11

q8

q9

q10

q10

q10

q10

q10

q10

q10

q10

q10

q11

q11

q11

q11

q11

q11

q11

q11

q11

q11

q8

q12

q12

q12

q12

q12

q12

q12

q12

q6

q7

q7

q8

q9

q9

q9

q9

q10

q10

q10

q10

q10

q10

q10

q10

q10

q10

q11

q11

q11

q11

q11

q11

q11

q11

q11

q11

q11

q11

q11

q11

q8

q9

q9

q9

q10

q10

q10

q10

q10

q10

q10

q10

q10

q10

q10

q11

q11

q11

q11

q11

q11

q11

q11

q11

q11

q11

q11

q11

q11

q8

q9

q9

q10

q10

q10

q10

q10

q10

q10

q10

q10

q10

q10

q10

q11

q11

q11

q11

q11

q11

q11

q11

q11

q11

q11

q11

q11

q11

q8

q9

q10

q10

q10

q10

q10

q10

q10

q10

q10

q10

q10

q10

q10

q11

q11

q11

q11

q11

q11

q11

q11

q11

q11

q11

q11

q11

q11

q8

q12

q12

q12

q12

q12

q12

q12

q6

q13

q13

q13

q13

q13

q13

q13

q14

_<1>1 1 1 _ 1 1 1 1 1 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

_ W<1>1 1 _ 1 1 1 1 1 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

_ W 1<1>1 _ 1 1 1 1 1 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

_ W 1 1<1>_ 1 1 1 1 1 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

_ W 1 1 1<_>1 1 1 1 1 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

_ W 1 1 1 _<1>1 1 1 1 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

_ W 1 1 1 _ Y<1>1 1 1 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

_ W 1 1 1 _ Y 1<1>1 1 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

_ W 1 1 1 _ Y 1 1<1>1 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

_ W 1 1 1 _ Y 1 1 1<1>_ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

_ W 1 1 1 _ Y 1 1 1 1<_>_ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

_ W 1 1 1 _ Y 1 1 1 1 _<_>_ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

_ W 1 1 1 _ Y 1 1 1 1<_>1 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

_ W 1 1 1 _ Y 1 1 1<1>_ 1 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

_ W 1 1 1 _ Y 1 1<1>1 _ 1 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

_ W 1 1 1 _ Y 1<1>1 1 _ 1 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

_ W 1 1 1 _ Y<1>1 1 1 _ 1 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

_ W 1 1 1 _<Y>1 1 1 1 _ 1 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

_ W 1 1 1<_>Y 1 1 1 1 _ 1 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

_ W 1 1<1>_ Y 1 1 1 1 _ 1 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

_ W 1<1>1 _ Y 1 1 1 1 _ 1 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

_ W<1>1 1 _ Y 1 1 1 1 _ 1 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

_<W>1 1 1 _ Y 1 1 1 1 _ 1 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

_ W<1>1 1 _ Y 1 1 1 1 _ 1 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X<1>1 _ Y 1 1 1 1 _ 1 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X 1<1>_ Y 1 1 1 1 _ 1 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X 1 1<_>Y 1 1 1 1 _ 1 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X 1 1 _<Y>1 1 1 1 _ 1 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X 1 1 _ Y<1>1 1 1 _ 1 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X 1 1 _ Y Z<1>1 1 _ 1 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X 1 1 _ Y Z 1<1>1 _ 1 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X 1 1 _ Y Z 1 1<1>_ 1 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X 1 1 _ Y Z 1 1 1<_>1 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X 1 1 _ Y Z 1 1 1 _<1>_ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X 1 1 _ Y Z 1 1 1 _ 1<_>_ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X 1 1 _ Y Z 1 1 1 _<1>1 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X 1 1 _ Y Z 1 1 1<_>1 1 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X 1 1 _ Y Z 1 1<1>_ 1 1 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X 1 1 _ Y Z 1<1>1 _ 1 1 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X 1 1 _ Y Z<1>1 1 _ 1 1 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X 1 1 _ Y<Z>1 1 1 _ 1 1 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X 1 1 _ Y Z<1>1 1 _ 1 1 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X 1 1 _ Y Z Z<1>1 _ 1 1 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X 1 1 _ Y Z Z 1<1>_ 1 1 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X 1 1 _ Y Z Z 1 1<_>1 1 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X 1 1 _ Y Z Z 1 1 _<1>1 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X 1 1 _ Y Z Z 1 1 _ 1<1>_ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X 1 1 _ Y Z Z 1 1 _ 1 1<_>_ _ _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X 1 1 _ Y Z Z 1 1 _ 1<1>1 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X 1 1 _ Y Z Z 1 1 _<1>1 1 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X 1 1 _ Y Z Z 1 1<_>1 1 1 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X 1 1 _ Y Z Z 1<1>_ 1 1 1 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X 1 1 _ Y Z Z<1>1 _ 1 1 1 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X 1 1 _ Y Z<Z>1 1 _ 1 1 1 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X 1 1 _ Y Z Z<1>1 _ 1 1 1 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X 1 1 _ Y Z Z Z<1>_ 1 1 1 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X 1 1 _ Y Z Z Z 1<_>1 1 1 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X 1 1 _ Y Z Z Z 1 _<1>1 1 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X 1 1 _ Y Z Z Z 1 _ 1<1>1 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X 1 1 _ Y Z Z Z 1 _ 1 1<1>_ _ _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X 1 1 _ Y Z Z Z 1 _ 1 1 1<_>_ _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X 1 1 _ Y Z Z Z 1 _ 1 1<1>1 _ _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X 1 1 _ Y Z Z Z 1 _ 1<1>1 1 _ _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X 1 1 _ Y Z Z Z 1 _<1>1 1 1 _ _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X 1 1 _ Y Z Z Z 1<_>1 1 1 1 _ _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X 1 1 _ Y Z Z Z<1>_ 1 1 1 1 _ _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X 1 1 _ Y Z Z<Z>1 _ 1 1 1 1 _ _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X 1 1 _ Y Z Z Z<1>_ 1 1 1 1 _ _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X 1 1 _ Y Z Z Z Z<_>1 1 1 1 _ _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X 1 1 _ Y Z Z Z Z _<1>1 1 1 _ _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X 1 1 _ Y Z Z Z Z _ 1<1>1 1 _ _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X 1 1 _ Y Z Z Z Z _ 1 1<1>1 _ _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X 1 1 _ Y Z Z Z Z _ 1 1 1<1>_ _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X 1 1 _ Y Z Z Z Z _ 1 1 1 1<_>_ _ _ _ _ _ _ _ _ _ _ _ _

_ W X 1 1 _ Y Z Z Z Z _ 1 1 1<1>1 _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X 1 1 _ Y Z Z Z Z _ 1 1<1>1 1 _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X 1 1 _ Y Z Z Z Z _ 1<1>1 1 1 _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X 1 1 _ Y Z Z Z Z _<1>1 1 1 1 _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X 1 1 _ Y Z Z Z Z<_>1 1 1 1 1 _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X 1 1 _ Y Z Z Z<Z>_ 1 1 1 1 1 _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X 1 1 _ Y Z Z Z Z<_>1 1 1 1 1 _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X 1 1 _ Y Z Z Z<Z>_ 1 1 1 1 1 _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X 1 1 _ Y Z Z<Z>1 _ 1 1 1 1 1 _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X 1 1 _ Y Z<Z>1 1 _ 1 1 1 1 1 _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X 1 1 _ Y<Z>1 1 1 _ 1 1 1 1 1 _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X 1 1 _<Y>1 1 1 1 _ 1 1 1 1 1 _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X 1 1<_>Y 1 1 1 1 _ 1 1 1 1 1 _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X 1<1>_ Y 1 1 1 1 _ 1 1 1 1 1 _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X<1>1 _ Y 1 1 1 1 _ 1 1 1 1 1 _ _ _ _ _ _ _ _ _ _ _ _ _

_ W<X>1 1 _ Y 1 1 1 1 _ 1 1 1 1 1 _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X<1>1 _ Y 1 1 1 1 _ 1 1 1 1 1 _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X X<1>_ Y 1 1 1 1 _ 1 1 1 1 1 _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X X 1<_>Y 1 1 1 1 _ 1 1 1 1 1 _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X X 1 _<Y>1 1 1 1 _ 1 1 1 1 1 _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y<1>1 1 1 _ 1 1 1 1 1 _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z<1>1 1 _ 1 1 1 1 1 _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z 1<1>1 _ 1 1 1 1 1 _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z 1 1<1>_ 1 1 1 1 1 _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z 1 1 1<_>1 1 1 1 1 _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z 1 1 1 _<1>1 1 1 1 _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z 1 1 1 _ 1<1>1 1 1 _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z 1 1 1 _ 1 1<1>1 1 _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z 1 1 1 _ 1 1 1<1>1 _ _ _ _ _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z 1 1 1 _ 1 1 1 1<1>_ _ _ _ _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z 1 1 1 _ 1 1 1 1 1<_>_ _ _ _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z 1 1 1 _ 1 1 1 1<1>1 _ _ _ _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z 1 1 1 _ 1 1 1<1>1 1 _ _ _ _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z 1 1 1 _ 1 1<1>1 1 1 _ _ _ _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z 1 1 1 _ 1<1>1 1 1 1 _ _ _ _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z 1 1 1 _<1>1 1 1 1 1 _ _ _ _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z 1 1 1<_>1 1 1 1 1 1 _ _ _ _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z 1 1<1>_ 1 1 1 1 1 1 _ _ _ _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z 1<1>1 _ 1 1 1 1 1 1 _ _ _ _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z<1>1 1 _ 1 1 1 1 1 1 _ _ _ _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y<Z>1 1 1 _ 1 1 1 1 1 1 _ _ _ _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z<1>1 1 _ 1 1 1 1 1 1 _ _ _ _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z Z<1>1 _ 1 1 1 1 1 1 _ _ _ _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z Z 1<1>_ 1 1 1 1 1 1 _ _ _ _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z Z 1 1<_>1 1 1 1 1 1 _ _ _ _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z Z 1 1 _<1>1 1 1 1 1 _ _ _ _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z Z 1 1 _ 1<1>1 1 1 1 _ _ _ _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z Z 1 1 _ 1 1<1>1 1 1 _ _ _ _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z Z 1 1 _ 1 1 1<1>1 1 _ _ _ _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z Z 1 1 _ 1 1 1 1<1>1 _ _ _ _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z Z 1 1 _ 1 1 1 1 1<1>_ _ _ _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z Z 1 1 _ 1 1 1 1 1 1<_>_ _ _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z Z 1 1 _ 1 1 1 1 1<1>1 _ _ _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z Z 1 1 _ 1 1 1 1<1>1 1 _ _ _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z Z 1 1 _ 1 1 1<1>1 1 1 _ _ _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z Z 1 1 _ 1 1<1>1 1 1 1 _ _ _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z Z 1 1 _ 1<1>1 1 1 1 1 _ _ _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z Z 1 1 _<1>1 1 1 1 1 1 _ _ _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z Z 1 1<_>1 1 1 1 1 1 1 _ _ _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z Z 1<1>_ 1 1 1 1 1 1 1 _ _ _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z Z<1>1 _ 1 1 1 1 1 1 1 _ _ _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z<Z>1 1 _ 1 1 1 1 1 1 1 _ _ _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z Z<1>1 _ 1 1 1 1 1 1 1 _ _ _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z Z Z<1>_ 1 1 1 1 1 1 1 _ _ _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z Z Z 1<_>1 1 1 1 1 1 1 _ _ _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z Z Z 1 _<1>1 1 1 1 1 1 _ _ _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z Z Z 1 _ 1<1>1 1 1 1 1 _ _ _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z Z Z 1 _ 1 1<1>1 1 1 1 _ _ _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z Z Z 1 _ 1 1 1<1>1 1 1 _ _ _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z Z Z 1 _ 1 1 1 1<1>1 1 _ _ _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z Z Z 1 _ 1 1 1 1 1<1>1 _ _ _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z Z Z 1 _ 1 1 1 1 1 1<1>_ _ _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z Z Z 1 _ 1 1 1 1 1 1 1<_>_ _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z Z Z 1 _ 1 1 1 1 1 1<1>1 _ _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z Z Z 1 _ 1 1 1 1 1<1>1 1 _ _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z Z Z 1 _ 1 1 1 1<1>1 1 1 _ _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z Z Z 1 _ 1 1 1<1>1 1 1 1 _ _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z Z Z 1 _ 1 1<1>1 1 1 1 1 _ _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z Z Z 1 _ 1<1>1 1 1 1 1 1 _ _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z Z Z 1 _<1>1 1 1 1 1 1 1 _ _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z Z Z 1<_>1 1 1 1 1 1 1 1 _ _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z Z Z<1>_ 1 1 1 1 1 1 1 1 _ _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z Z<Z>1 _ 1 1 1 1 1 1 1 1 _ _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z Z Z<1>_ 1 1 1 1 1 1 1 1 _ _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z Z Z Z<_>1 1 1 1 1 1 1 1 _ _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z Z Z Z _<1>1 1 1 1 1 1 1 _ _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z Z Z Z _ 1<1>1 1 1 1 1 1 _ _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z Z Z Z _ 1 1<1>1 1 1 1 1 _ _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z Z Z Z _ 1 1 1<1>1 1 1 1 _ _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z Z Z Z _ 1 1 1 1<1>1 1 1 _ _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z Z Z Z _ 1 1 1 1 1<1>1 1 _ _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z Z Z Z _ 1 1 1 1 1 1<1>1 _ _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z Z Z Z _ 1 1 1 1 1 1 1<1>_ _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z Z Z Z _ 1 1 1 1 1 1 1 1<_>_ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z Z Z Z _ 1 1 1 1 1 1 1<1>1 _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z Z Z Z _ 1 1 1 1 1 1<1>1 1 _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z Z Z Z _ 1 1 1 1 1<1>1 1 1 _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z Z Z Z _ 1 1 1 1<1>1 1 1 1 _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z Z Z Z _ 1 1 1<1>1 1 1 1 1 _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z Z Z Z _ 1 1<1>1 1 1 1 1 1 _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z Z Z Z _ 1<1>1 1 1 1 1 1 1 _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z Z Z Z _<1>1 1 1 1 1 1 1 1 _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z Z Z Z<_>1 1 1 1 1 1 1 1 1 _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z Z Z<Z>_ 1 1 1 1 1 1 1 1 1 _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z Z Z Z<_>1 1 1 1 1 1 1 1 1 _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z Z Z<Z>_ 1 1 1 1 1 1 1 1 1 _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z Z<Z>1 _ 1 1 1 1 1 1 1 1 1 _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y Z<Z>1 1 _ 1 1 1 1 1 1 1 1 1 _ _ _ _ _ _ _ _ _

_ W X X 1 _ Y<Z>1 1 1 _ 1 1 1 1 1 1 1 1 1 _ _ _ _ _ _ _ _ _

_ W X X 1 _<Y>1 1 1 1 _ 1 1 1 1 1 1 1 1 1 _ _ _ _ _ _ _ _ _

_ W X X 1<_>Y 1 1 1 1 _ 1 1 1 1 1 1 1 1 1 _ _ _ _ _ _ _ _ _

_ W X X<1>_ Y 1 1 1 1 _ 1 1 1 1 1 1 1 1 1 _ _ _ _ _ _ _ _ _

_ W X<X>1 _ Y 1 1 1 1 _ 1 1 1 1 1 1 1 1 1 _ _ _ _ _ _ _ _ _

_ W X X<1>_ Y 1 1 1 1 _ 1 1 1 1 1 1 1 1 1 _ _ _ _ _ _ _ _ _

_ W X X X<_>Y 1 1 1 1 _ 1 1 1 1 1 1 1 1 1 _ _ _ _ _ _ _ _ _

_ W X X X _<Y>1 1 1 1 _ 1 1 1 1 1 1 1 1 1 _ _ _ _ _ _ _ _ _

_ W X X X _ Y<1>1 1 1 _ 1 1 1 1 1 1 1 1 1 _ _ _ _ _ _ _ _ _

_ W X X X _ Y Z<1>1 1 _ 1 1 1 1 1 1 1 1 1 _ _ _ _ _ _ _ _ _

_ W X X X _ Y Z 1<1>1 _ 1 1 1 1 1 1 1 1 1 _ _ _ _ _ _ _ _ _

_ W X X X _ Y Z 1 1<1>_ 1 1 1 1 1 1 1 1 1 _ _ _ _ _ _ _ _ _

_ W X X X _ Y Z 1 1 1<_>1 1 1 1 1 1 1 1 1 _ _ _ _ _ _ _ _ _

_ W X X X _ Y Z 1 1 1 _<1>1 1 1 1 1 1 1 1 _ _ _ _ _ _ _ _ _

_ W X X X _ Y Z 1 1 1 _ 1<1>1 1 1 1 1 1 1 _ _ _ _ _ _ _ _ _

_ W X X X _ Y Z 1 1 1 _ 1 1<1>1 1 1 1 1 1 _ _ _ _ _ _ _ _ _

_ W X X X _ Y Z 1 1 1 _ 1 1 1<1>1 1 1 1 1 _ _ _ _ _ _ _ _ _

_ W X X X _ Y Z 1 1 1 _ 1 1 1 1<1>1 1 1 1 _ _ _ _ _ _ _ _ _

_ W X X X _ Y Z 1 1 1 _ 1 1 1 1 1<1>1 1 1 _ _ _ _ _ _ _ _ _

_ W X X X _ Y Z 1 1 1 _ 1 1 1 1 1 1<1>1 1 _ _ _ _ _ _ _ _ _

_ W X X X _ Y Z 1 1 1 _ 1 1 1 1 1 1 1<1>1 _ _ _ _ _ _ _ _ _

_ W X X X _ Y Z 1 1 1 _ 1 1 1 1 1 1 1 1<1>_ _ _ _ _ _ _ _ _

_ W X X X _ Y Z 1 1 1 _ 1 1 1 1 1 1 1 1 1<_>_ _ _ _ _ _ _ _

_ W X X X _ Y Z 1 1 1 _ 1 1 1 1 1 1 1 1<1>1 _ _ _ _ _ _ _ _

_ W X X X _ Y Z 1 1 1 _ 1 1 1 1 1 1 1<1>1 1 _ _ _ _ _ _ _ _

_ W X X X _ Y Z 1 1 1 _ 1 1 1 1 1 1<1>1 1 1 _ _ _ _ _ _ _ _

_ W X X X _ Y Z 1 1 1 _ 1 1 1 1 1<1>1 1 1 1 _ _ _ _ _ _ _ _

_ W X X X _ Y Z 1 1 1 _ 1 1 1 1<1>1 1 1 1 1 _ _ _ _ _ _ _ _

_ W X X X _ Y Z 1 1 1 _ 1 1 1<1>1 1 1 1 1 1 _ _ _ _ _ _ _ _

_ W X X X _ Y Z 1 1 1 _ 1 1<1>1 1 1 1 1 1 1 _ _ _ _ _ _ _ _

_ W X X X _ Y Z 1 1 1 _ 1<1>1 1 1 1 1 1 1 1 _ _ _ _ _ _ _ _

_ W X X X _ Y Z 1 1 1 _<1>1 1 1 1 1 1 1 1 1 _ _ _ _ _ _ _ _

_ W X X X _ Y Z 1 1 1<_>1 1 1 1 1 1 1 1 1 1 _ _ _ _ _ _ _ _

_ W X X X _ Y Z 1 1<1>_ 1 1 1 1 1 1 1 1 1 1 _ _ _ _ _ _ _ _

_ W X X X _ Y Z 1<1>1 _ 1 1 1 1 1 1 1 1 1 1 _ _ _ _ _ _ _ _

_ W X X X _ Y Z<1>1 1 _ 1 1 1 1 1 1 1 1 1 1 _ _ _ _ _ _ _ _

_ W X X X _ Y<Z>1 1 1 _ 1 1 1 1 1 1 1 1 1 1 _ _ _ _ _ _ _ _

_ W X X X _ Y Z<1>1 1 _ 1 1 1 1 1 1 1 1 1 1 _ _ _ _ _ _ _ _

_ W X X X _ Y Z Z<1>1 _ 1 1 1 1 1 1 1 1 1 1 _ _ _ _ _ _ _ _

_ W X X X _ Y Z Z 1<1>_ 1 1 1 1 1 1 1 1 1 1 _ _ _ _ _ _ _ _

_ W X X X _ Y Z Z 1 1<_>1 1 1 1 1 1 1 1 1 1 _ _ _ _ _ _ _ _

_ W X X X _ Y Z Z 1 1 _<1>1 1 1 1 1 1 1 1 1 _ _ _ _ _ _ _ _

_ W X X X _ Y Z Z 1 1 _ 1<1>1 1 1 1 1 1 1 1 _ _ _ _ _ _ _ _

_ W X X X _ Y Z Z 1 1 _ 1 1<1>1 1 1 1 1 1 1 _ _ _ _ _ _ _ _

_ W X X X _ Y Z Z 1 1 _ 1 1 1<1>1 1 1 1 1 1 _ _ _ _ _ _ _ _

_ W X X X _ Y Z Z 1 1 _ 1 1 1 1<1>1 1 1 1 1 _ _ _ _ _ _ _ _

_ W X X X _ Y Z Z 1 1 _ 1 1 1 1 1<1>1 1 1 1 _ _ _ _ _ _ _ _

_ W X X X _ Y Z Z 1 1 _ 1 1 1 1 1 1<1>1 1 1 _ _ _ _ _ _ _ _

_ W X X X _ Y Z Z 1 1 _ 1 1 1 1 1 1 1<1>1 1 _ _ _ _ _ _ _ _

_ W X X X _ Y Z Z 1 1 _ 1 1 1 1 1 1 1 1<1>1 _ _ _ _ _ _ _ _

_ W X X X _ Y Z Z 1 1 _ 1 1 1 1 1 1 1 1 1<1>_ _ _ _ _ _ _ _

_ W X X X _ Y Z Z 1 1 _ 1 1 1 1 1 1 1 1 1 1<_>_ _ _ _ _ _ _

_ W X X X _ Y Z Z 1 1 _ 1 1 1 1 1 1 1 1 1<1>1 _ _ _ _ _ _ _

_ W X X X _ Y Z Z 1 1 _ 1 1 1 1 1 1 1 1<1>1 1 _ _ _ _ _ _ _

_ W X X X _ Y Z Z 1 1 _ 1 1 1 1 1 1 1<1>1 1 1 _ _ _ _ _ _ _

_ W X X X _ Y Z Z 1 1 _ 1 1 1 1 1 1<1>1 1 1 1 _ _ _ _ _ _ _

_ W X X X _ Y Z Z 1 1 _ 1 1 1 1 1<1>1 1 1 1 1 _ _ _ _ _ _ _

_ W X X X _ Y Z Z 1 1 _ 1 1 1 1<1>1 1 1 1 1 1 _ _ _ _ _ _ _

_ W X X X _ Y Z Z 1 1 _ 1 1 1<1>1 1 1 1 1 1 1 _ _ _ _ _ _ _

_ W X X X _ Y Z Z 1 1 _ 1 1<1>1 1 1 1 1 1 1 1 _ _ _ _ _ _ _

_ W X X X _ Y Z Z 1 1 _ 1<1>1 1 1 1 1 1 1 1 1 _ _ _ _ _ _ _

_ W X X X _ Y Z Z 1 1 _<1>1 1 1 1 1 1 1 1 1 1 _ _ _ _ _ _ _

_ W X X X _ Y Z Z 1 1<_>1 1 1 1 1 1 1 1 1 1 1 _ _ _ _ _ _ _

_ W X X X _ Y Z Z 1<1>_ 1 1 1 1 1 1 1 1 1 1 1 _ _ _ _ _ _ _

_ W X X X _ Y Z Z<1>1 _ 1 1 1 1 1 1 1 1 1 1 1 _ _ _ _ _ _ _

_ W X X X _ Y Z<Z>1 1 _ 1 1 1 1 1 1 1 1 1 1 1 _ _ _ _ _ _ _

_ W X X X _ Y Z Z<1>1 _ 1 1 1 1 1 1 1 1 1 1 1 _ _ _ _ _ _ _

_ W X X X _ Y Z Z Z<1>_ 1 1 1 1 1 1 1 1 1 1 1 _ _ _ _ _ _ _

_ W X X X _ Y Z Z Z 1<_>1 1 1 1 1 1 1 1 1 1 1 _ _ _ _ _ _ _

_ W X X X _ Y Z Z Z 1 _<1>1 1 1 1 1 1 1 1 1 1 _ _ _ _ _ _ _

_ W X X X _ Y Z Z Z 1 _ 1<1>1 1 1 1 1 1 1 1 1 _ _ _ _ _ _ _

_ W X X X _ Y Z Z Z 1 _ 1 1<1>1 1 1 1 1 1 1 1 _ _ _ _ _ _ _

_ W X X X _ Y Z Z Z 1 _ 1 1 1<1>1 1 1 1 1 1 1 _ _ _ _ _ _ _

_ W X X X _ Y Z Z Z 1 _ 1 1 1 1<1>1 1 1 1 1 1 _ _ _ _ _ _ _

_ W X X X _ Y Z Z Z 1 _ 1 1 1 1 1<1>1 1 1 1 1 _ _ _ _ _ _ _

_ W X X X _ Y Z Z Z 1 _ 1 1 1 1 1 1<1>1 1 1 1 _ _ _ _ _ _ _

_ W X X X _ Y Z Z Z 1 _ 1 1 1 1 1 1 1<1>1 1 1 _ _ _ _ _ _ _

_ W X X X _ Y Z Z Z 1 _ 1 1 1 1 1 1 1 1<1>1 1 _ _ _ _ _ _ _

_ W X X X _ Y Z Z Z 1 _ 1 1 1 1 1 1 1 1 1<1>1 _ _ _ _ _ _ _

_ W X X X _ Y Z Z Z 1 _ 1 1 1 1 1 1 1 1 1 1<1>_ _ _ _ _ _ _

_ W X X X _ Y Z Z Z 1 _ 1 1 1 1 1 1 1 1 1 1 1<_>_ _ _ _ _ _

_ W X X X _ Y Z Z Z 1 _ 1 1 1 1 1 1 1 1 1 1<1>1 _ _ _ _ _ _

_ W X X X _ Y Z Z Z 1 _ 1 1 1 1 1 1 1 1 1<1>1 1 _ _ _ _ _ _

_ W X X X _ Y Z Z Z 1 _ 1 1 1 1 1 1 1 1<1>1 1 1 _ _ _ _ _ _

_ W X X X _ Y Z Z Z 1 _ 1 1 1 1 1 1 1<1>1 1 1 1 _ _ _ _ _ _

_ W X X X _ Y Z Z Z 1 _ 1 1 1 1 1 1<1>1 1 1 1 1 _ _ _ _ _ _

_ W X X X _ Y Z Z Z 1 _ 1 1 1 1 1<1>1 1 1 1 1 1 _ _ _ _ _ _

_ W X X X _ Y Z Z Z 1 _ 1 1 1 1<1>1 1 1 1 1 1 1 _ _ _ _ _ _

_ W X X X _ Y Z Z Z 1 _ 1 1 1<1>1 1 1 1 1 1 1 1 _ _ _ _ _ _

_ W X X X _ Y Z Z Z 1 _ 1 1<1>1 1 1 1 1 1 1 1 1 _ _ _ _ _ _

_ W X X X _ Y Z Z Z 1 _ 1<1>1 1 1 1 1 1 1 1 1 1 _ _ _ _ _ _

_ W X X X _ Y Z Z Z 1 _<1>1 1 1 1 1 1 1 1 1 1 1 _ _ _ _ _ _

_ W X X X _ Y Z Z Z 1<_>1 1 1 1 1 1 1 1 1 1 1 1 _ _ _ _ _ _

_ W X X X _ Y Z Z Z<1>_ 1 1 1 1 1 1 1 1 1 1 1 1 _ _ _ _ _ _

_ W X X X _ Y Z Z<Z>1 _ 1 1 1 1 1 1 1 1 1 1 1 1 _ _ _ _ _ _

_ W X X X _ Y Z Z Z<1>_ 1 1 1 1 1 1 1 1 1 1 1 1 _ _ _ _ _ _

_ W X X X _ Y Z Z Z Z<_>1 1 1 1 1 1 1 1 1 1 1 1 _ _ _ _ _ _

_ W X X X _ Y Z Z Z Z _<1>1 1 1 1 1 1 1 1 1 1 1 _ _ _ _ _ _

_ W X X X _ Y Z Z Z Z _ 1<1>1 1 1 1 1 1 1 1 1 1 _ _ _ _ _ _

_ W X X X _ Y Z Z Z Z _ 1 1<1>1 1 1 1 1 1 1 1 1 _ _ _ _ _ _

_ W X X X _ Y Z Z Z Z _ 1 1 1<1>1 1 1 1 1 1 1 1 _ _ _ _ _ _

_ W X X X _ Y Z Z Z Z _ 1 1 1 1<1>1 1 1 1 1 1 1 _ _ _ _ _ _

_ W X X X _ Y Z Z Z Z _ 1 1 1 1 1<1>1 1 1 1 1 1 _ _ _ _ _ _

_ W X X X _ Y Z Z Z Z _ 1 1 1 1 1 1<1>1 1 1 1 1 _ _ _ _ _ _

_ W X X X _ Y Z Z Z Z _ 1 1 1 1 1 1 1<1>1 1 1 1 _ _ _ _ _ _

_ W X X X _ Y Z Z Z Z _ 1 1 1 1 1 1 1 1<1>1 1 1 _ _ _ _ _ _

_ W X X X _ Y Z Z Z Z _ 1 1 1 1 1 1 1 1 1<1>1 1 _ _ _ _ _ _

_ W X X X _ Y Z Z Z Z _ 1 1 1 1 1 1 1 1 1 1<1>1 _ _ _ _ _ _

_ W X X X _ Y Z Z Z Z _ 1 1 1 1 1 1 1 1 1 1 1<1>_ _ _ _ _ _

_ W X X X _ Y Z Z Z Z _ 1 1 1 1 1 1 1 1 1 1 1 1<_>_ _ _ _ _

_ W X X X _ Y Z Z Z Z _ 1 1 1 1 1 1 1 1 1 1 1<1>1 _ _ _ _ _

_ W X X X _ Y Z Z Z Z _ 1 1 1 1 1 1 1 1 1 1<1>1 1 _ _ _ _ _

_ W X X X _ Y Z Z Z Z _ 1 1 1 1 1 1 1 1 1<1>1 1 1 _ _ _ _ _

_ W X X X _ Y Z Z Z Z _ 1 1 1 1 1 1 1 1<1>1 1 1 1 _ _ _ _ _

_ W X X X _ Y Z Z Z Z _ 1 1 1 1 1 1 1<1>1 1 1 1 1 _ _ _ _ _

_ W X X X _ Y Z Z Z Z _ 1 1 1 1 1 1<1>1 1 1 1 1 1 _ _ _ _ _

_ W X X X _ Y Z Z Z Z _ 1 1 1 1 1<1>1 1 1 1 1 1 1 _ _ _ _ _

_ W X X X _ Y Z Z Z Z _ 1 1 1 1<1>1 1 1 1 1 1 1 1 _ _ _ _ _

_ W X X X _ Y Z Z Z Z _ 1 1 1<1>1 1 1 1 1 1 1 1 1 _ _ _ _ _

_ W X X X _ Y Z Z Z Z _ 1 1<1>1 1 1 1 1 1 1 1 1 1 _ _ _ _ _

_ W X X X _ Y Z Z Z Z _ 1<1>1 1 1 1 1 1 1 1 1 1 1 _ _ _ _ _

_ W X X X _ Y Z Z Z Z _<1>1 1 1 1 1 1 1 1 1 1 1 1 _ _ _ _ _

_ W X X X _ Y Z Z Z Z<_>1 1 1 1 1 1 1 1 1 1 1 1 1 _ _ _ _ _

_ W X X X _ Y Z Z Z<Z>_ 1 1 1 1 1 1 1 1 1 1 1 1 1 _ _ _ _ _

_ W X X X _ Y Z Z Z Z<_>1 1 1 1 1 1 1 1 1 1 1 1 1 _ _ _ _ _

_ W X X X _ Y Z Z Z<Z>_ 1 1 1 1 1 1 1 1 1 1 1 1 1 _ _ _ _ _

_ W X X X _ Y Z Z<Z>1 _ 1 1 1 1 1 1 1 1 1 1 1 1 1 _ _ _ _ _

_ W X X X _ Y Z<Z>1 1 _ 1 1 1 1 1 1 1 1 1 1 1 1 1 _ _ _ _ _

_ W X X X _ Y<Z>1 1 1 _ 1 1 1 1 1 1 1 1 1 1 1 1 1 _ _ _ _ _

_ W X X X _<Y>1 1 1 1 _ 1 1 1 1 1 1 1 1 1 1 1 1 1 _ _ _ _ _

_ W X X X<_>Y 1 1 1 1 _ 1 1 1 1 1 1 1 1 1 1 1 1 1 _ _ _ _ _

_ W X X<X>_ Y 1 1 1 1 _ 1 1 1 1 1 1 1 1 1 1 1 1 1 _ _ _ _ _

_ W X X X<_>Y 1 1 1 1 _ 1 1 1 1 1 1 1 1 1 1 1 1 1 _ _ _ _ _

_ W X X X _<Y>1 1 1 1 _ 1 1 1 1 1 1 1 1 1 1 1 1 1 _ _ _ _ _

_ W X X X<_>1 1 1 1 1 _ 1 1 1 1 1 1 1 1 1 1 1 1 1 _ _ _ _ _

_ W X X<X>_ 1 1 1 1 1 _ 1 1 1 1 1 1 1 1 1 1 1 1 1 _ _ _ _ _

_ W X<X>1 _ 1 1 1 1 1 _ 1 1 1 1 1 1 1 1 1 1 1 1 1 _ _ _ _ _

_ W<X>1 1 _ 1 1 1 1 1 _ 1 1 1 1 1 1 1 1 1 1 1 1 1 _ _ _ _ _

_<W>1 1 1 _ 1 1 1 1 1 _ 1 1 1 1 1 1 1 1 1 1 1 1 1 _ _ _ _ _

<_>1 1 1 1 _ 1 1 1 1 1 _ 1 1 1 1 1 1 1 1 1 1 1 1 1 _ _ _ _ _

_<1>1 1 1 _ 1 1 1 1 1 _ 1 1 1 1 1 1 1 1 1 1 1 1 1 _ _ _ _ _

­

Соседние файлы в предмете Математическая логика