Файл: Лекція 2 2) Тема лекції Еліптичні криві Навчальні питання 1 Визначення еліптичних кривих.doc

ВУЗ: Не указан

Категория: Не указан

Дисциплина: Не указана

Добавлен: 23.11.2023

Просмотров: 38

Скачиваний: 1

ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.






ПРИКЛАДНА КРИПТОЛОГІЯ

ЛЕКЦІЯ №2(1.2)
Тема лекції « Еліптичні криві»
Навчальні питання
2.1 Визначення еліптичних кривих .

2.2 Груповий закон для еліптичних кривих E(F(P)) в афінних координатах

2.3 Груповий закон у проективних координатах

2.4. Груповий закон для еліптичних кривих E( F(2m))

2.5 Груповий закон для еліптичних кривих E( F(3m))

2.6 Складність обчислень у різних системах координат

2.7 . Основні властивості щодо еліптичних кривих


Джерела, що рекомендуються до самостійної роботи
1. Горбенко І.Д., Горбенко Ю.І. Прикладна криптологія. Монографія. Харків, ХНУРЕ, Форт, 2012 р., 1 та 2 видання, 868 с.

2. Горбенко І.Д., Горбенко Ю.І. Прикладна криптологія. Підручник. Харків, ХНУРЕ, Форт, 2012 р., 1 видання, 878 с.

3. Горбенко І.Д., Горбенко Ю.І. Прикладна криптологія. Електронний конспект лекцій. Харків, ХНУРЕ, 2012 р.

4. Горбенко І. Д. Гриненко Т. О. Захист інформації в інформаційно-телекомунікаційних системах: Навч. посібник. Ч.1. Криптографічний захист інформації - Харків: ХНУРЕ, 2004 - 368 с.

5. Горбенко Ю.І., Горбенко І.Д. Інфраструктури відкритих ключів . Системи ЕЦП. Теорія та практика. Харків. Форт. 2010 , 593с.

6. Есин В. И., Кузнєцов А. А., Сорока Л. С. Безопасность информационных систем и технологий – Х.:ООО «ЭДЭНА», 2010.-656с.

7. Горбенко І.Д., Горбенко Ю.І. Прикладна криптологія. Електронний носій до підручника. Харків, ХНУРЕ, 2012 р.

2.1 Визначення еліптичних кривих )[ 11 – 14, 47 – 49, 143 - 144 ].

Еліптичні криві над F(pm)
Нехай F(pm) є кінцевим полем з простим p > 3 і позитивним цілим m. Тоді існує еліптична крива E, яка описується афінним рівнянням Вейєрштраса вигляду [32]

Y2 = X3 + aX + b, (1.1)

причому a, bF(pm), якщо виконується умова що 4a3 + 27b2 ≠ 0F у полі F(pm).

Якщо 4a3 + 27b2 = 0F у полі, то криваназивається сингулярною і не є еліптичною кривою.

Уся безліч F(pm) - значних точок E задається як

E(F(pm)) = {Q = (xQ, yQ) ∈ F(pm) × F(pm) | yQ2 = xQ3 + axQ+ b} ∪ {0E},

де 0E– допоміжна точка, що називається точкою нескінченності кривої E.
Еліптичні криві над полем F(2m)

Нехай F(2m), для деякого m ≥ 1 буде кінцевим полем. Тоді існує еліптична крива E, яка описується афінним рівнянням Вейєрштраса вигляду [49, 143]

Y2 + XY = X3 + aX2 + b, 1.2)

причомуa, bF(2m), якщо тільки b≠ 0Fу F(2m).

У криптографічних застосунках m повинне бути простим, оскільки за таких умов забезпечується запобігання певним видам атак на криптосистему.

Якщо b = 0F, то така крива називається сингулярною кривою і не є еліптичною кривою.

Уся безліч F(2m) - значних точок E задається як

E (F(2m)) = {Q = (xQ, yQ) ∈ F(2m) × F(2m) | yQ2 + xQyQ = xQ3 + axQ2 + b} ∪ {0E},

де 0E– допоміжна точка, що називається точкою нескінченності кривої E.
Еліптичні криві над F(3m)

Нехай F(3m) буде кінцевим полем, де m – позитивне ціле. Тоді існує еліптична крива E, яка описується афінним рівнянням Вейєрштраса вигляду [49, 143]

Y2 = X 3 + aX 2 + b з a, b F(3m), (1.3)

якщо a, b ≠ 0F у полі F(3m).

Якщо a або b = 0F, то така крива називається сингулярною кривою і відповідно не є еліптичною кривою.

Уся безліч F(3m) - значних точок E задається як

E (F(3m)) = {Q = (xQ, yQ) ∈ F(3m) × F(3m) | yQ2 = xQ3 + axQ2 + b} ∪ {OE},

де OEдопоміжна точка, що називається точкою на нескінченності E.

2.2 Груповий закон для еліптичних кривих E(F(P)) в афінних координатах

Огляд систем координат

Зазвичай еліптична крива визначається в афінних координатах. Тому базова точка або відкритий ключ користувача задається в афінних координатах. Головним недоліком афінних координат є складність операції ділення в полі F(q) при виконанні як складання, так і подвоєння [49]. Зменшення складності в цілому при складанні та подвоєнні точок може досягатись засобом уникнення операції ділення, причому якомога більше. Це досягається використанням при множенні (складанні та подвоєнні точок) інших координат, таких як проективні координати, координати Якобі та модифіковані координати Якобі тощо, які є трьохмірними [49, 143]. Причому має забезпечуватись вимога, щоб усі і системи координат, що використовуються, були сумісні.
Груповий закон в афінних координатах

Нехай F(q) є кінцевим полем Галуа з p > 3. Нехай E є еліптичною кривою над F(q), що задається «коротким рівнянням Вейєрштраса » [49],

Y2 = X3 + aX + b, a, b ∈ F(q), (1.4)

а також 4a3 + 27b2 ≠ 0F у полі F(q). Тоді в афінних координатах груповий закон складання та подвоєння на еліптичній кривій (1.4) задається таким чином:

  1. точка на нескінченності OE є одиничним елементом до операції додавання «+»;

  2. усі точки R = (x, y) є такими, що R OE;

  3. якщо R1 = (x1, y1) і R2 = (x2, y2) є дві різні точки на E – такі, що R1 ≠ ± R2 і R1, R2OE, то сумою точок R1 та R2 є точка R3 = (x3, y3), координати якої визначаються як:

x3 = r2x1x2;

y3 = r (x1x3) – y1, (1.5)

r = (y2y1) / (x2x1);

  1. якщо R = (x, y) є точка на E – така, що R ≠ 0Eі y ≠ 0F, то її подвоєнням є точка 2R = (x3, y3), координати якої визначаються як:

x3 = r2 – 2x;

y3 = r (x – x3) – y, (1.6)

r = (3x2 + a) / (2y).

У разі якщо R = (x, 0F), подвоєнням цієї точки є точка 2R = 0E.

Геометрична інтерпретація складання двох точок з координатами (х1, у1) та (х2, у2) на еліптичній кривій наведено на рис .2.1





Рис.2.1 Геометрична інтерпретація складання двох точок.


2. 3 Груповий закон у проективних координатах

Особливістю проективного базису є те, що при використанні проективних координат необхідно виконувати більше операцій множення, але немає операції ділення за модулем (інверсії). Після виконання скалярного множення в проективному базисі необхідно зробити зворотне перетворення на афінні координати. Але при виконанні перетворення з проективних координат на афінні, необхідне одне ділення в полі.

Проективний аналог короткого афінного рівняння Вейєрштраса (1.4) визначається однорідним кубічним рівнянням [49]

Y2Z = X3 + aXZ2 + bZ3, a, b ∈ F(q). (1.7)

Безліч усіх трійок еквівалентна (X, Y, Z) і позначається як (X, Y, Z)/

.

Еліптична крива, що задається в проективних координатах, складається з усіх точок R = (X, Y, Z) рівняння (1.7) так, що трійка (X, Y, Z) є рішенням рівняння.

Існує співвідношення між точками Q кривої E, коли крива задана в афінних координатах, а точка R – у проективних координатах. У цьому випадку справедливі твердження:

  1. Якщо Q = (XQ, YQ) є точка в афінних координатах, то R = (XQ, YQ, 1F) є відповідною точкою в проективних координатах.

  2. Якщо R = (X, Y, Z) (з Z ≠ 0F) є рішенням (1.7), то Q = (X/Z, Y/Z) є відповідною точкою в афінних координатах кривої E.

  3. Існує тільки одне рішення (1.7) із Z = 0, а саме: точка (0F, 1F, 0F), яка відповідає 0E.

У проективних координатах груповий закон задається таким чином:

  1. точка (0F, 1F, 0F) є одиничним елементом 0Eвідносно операції «+»;

  2. точка R = (X, Y, Z) ≠ (0F, 1F, 0F) є точкою на E, що задана в проективних координатах, тоді точка – R = (X, – Y, Z);

  3. нехай R1 = (X1, Y1, Z1) і R2 = (X2, Y2, Z2) є дві відмінні точки на E – такі, що R1 R2 і R1, R2 ≠ (0F, 1F, 0F), тоді сума R1 та R2 є R3 = (X3, Y3, Z3). Координати X3, Y3 і Z3 можуть бути обчисленні за допомогою таких формул:

X3 = –su,

Y3 = t (u + s2X1Z2) – s3Y1Z2, (1.8)

Z3 = s3Z1Z2,

де

s = X2Z1X1Z2, t = Y2Z1 – Y1Z2, і u = s2 (X1Z2 + X2Z1) – t2Z1Z2.

  1. якщо R = (X, Y, Z) ≠ (0F, 1F, 0F) є точкою на E, тодіїї подвоєння є 2R = (X3, Y3, Z3).

Координати точки 2R – (X3, Y3, Z3) можуть бути обчислені за допомогою таких формул:

X3 = –su,

Y3 = t (u + s2X) – s3Y, (1.9)

Z3 = s3Z,

де

t = 3X2 + aZ2, s = 2YZ і u = 2s2X – t2Z.
Груповий закон у проективних координатах Якобі

Особливістю групового закону в проективних координатах Якобі є те, що скалярне множення вимагає більше множень, але не вимагає обчислення інверсій.

Аналогом рівняння Якобі в проективних координатах відносно короткого рівняння Вейєрштраса (1.5) є кубічне рівняння [49]

(Jac) Y2 = X3 + aXZ4+ bZ6, a, b ∈ F(q). (1.10)

Безліч усіх трійок еквівалентна (X, Y, Z) і позначається як (X, Y, Z)/.

Існує відношення між точками Q кривої E, коли крива задана в афінних координатах, а точки R – у проективних координатах. Так, справедливими є твердження:

  1. Якщо Q = (XQ, YQ) є точкою в афінних координатах E, то R = (XQ, YQ, 1F) є відповідною точкою в координатах Якобі.

  2. Якщо R = (X, Y, Z) (Z ≠ 0F) є рішенням (1.10), тобто в координатах Якобі, то Q = (X/Z2, Y/Z3) є відповідною точкою в афінних координатах точки E.

  3. Існує тільки одне рішення (1.10) зі значенням Z = 0F, а саме точка (1F, 1F, 0F), яка відповідає 0E.


У проективних координатах Якобі груповий закон для (1.10) задається таким чином [49]:

  1. точка (1F, 1F, 0F) є одиничним елементом 0Eщодо «+»;

  2. якщо R = (X, Y, Z) ≠ (1F, 1F, 0F) є точкою на E, заданою в координатах Якобі, тоді точка – R = (X, – Y, Z);

  3. якщо R1 = (X1, Y1, Z1) і R2 = (X2, Y2, Z2) є дві відмінні точки на E, але такі, що R1R2 і R1, R2 ≠ (1F, 1F, 0F), тоді сумою точок R1 та R2 є точка R3 = (X3, Y3, Z3). Координати X3, Y3 і Z3 можуть бути обчислені за допомогою таких формул:

X3 = – h3 – 2u1h2 + r2,

Y3= – s1h3 + r (u1h2X3), (1.11)

Z3 = Z1Z2h,

де

u1 = X1Z22, u2 = X2Z21, s1 = Y1Z32, s2 = Y2Z31, h = u2u1, і r = s2s1;

  1. якщо R = (X, Y, Z) ≠ (1F, 1F, 0F) є точкою на E, тодіїї подвоєння є 2R = (X3, Y3, Z3). Координати X3, Y3 і Z3 можуть бути обчислені за допомогою таких формул:

X3 = t,

Y3 = – 8Y4 + m (s – t),

Z3 = 2YZ,

де

s = 4XY2, m = 3X2 + aZ4 і t = – 2s + m2.
Груповий закон у модифікованих координатах Якобі

Згідно з тим же кубічним рівнянням (1.10) груповий закон у модифікованих координатах Якобі задається шляхом представлення координат Якобі четвіркою координат (X, Y, Z, aZ4). Таке представлення забезпечує найменшу складність операції подвоєння для еліптичної кривої E (F(q)).

У модифікованих координатах Якобі груповий закон на еліптичній кривій задається таким чином [49]:

  1. якщо R1 = (X1, Y1, Z1, aZ41) і R2 = (X2, Y2, Z2, aZ42) є дві відмінні точки на E – такі, що R1 ≠R2 і R1, R2 ≠ (1F, 1F, 0F, 0F), тоді сумою є точка R3 = (X3, Y3, Z3, aZ43). Координати X3, Y3 і Z3 можуть бути обчислені за допомогою таких формул:

X3 = – h3 – 2u1h2 + r2,

Y3 = – s1h3 + r (u1h2X3), (1.13)

Z3 = Z1Z2h,

aZ43 = aZ43,

де

u1 = X1Z22, u2 = X2 Z21, s1 = Y1Z32, s2 = Y2 Z31, h = u2u1, і r = s2s1;

  1. якщо R = (X, Y, Z, aZ4) ≠ (1F, 1F, 0F, 0F) є точкою на E, тодіїї подвоєння позначається як 2R = (X3, Y3, Z3, aZ4 3). Координати X3, Y3 і Z3 можуть бути обчислені за допомогою формули:

X3 = t,

Y3 = m (s – t)u, (1.14)

Z3 = 2YZ,

aZ 43 = 2u (aZ4),

де

s = 4XY2, u = 8Y4, m = 3X2 + (a Z4), і t = –2s + m2. (1.15)
Змішані координати

Представлення точки еліптичної кривої в афінних, проективних координатах, координатах Якобі або модифікованих координатах Якобі має обчислювальні переваги й недоліки. Немає ніякої системи координат, яка забезпечує обидва як швидкі складання, так і швидкі подвоєння. Можливо змішування різних координат, тобто додання двох точок, де перша задається в деякій одній системі координат, а друга – в деякій іншій системі координат. Ми можемо також вибрати систему координат результату. Оскільки ми маємо чотири різні види систем координат, це надає велике число можливостей. Змішані координати надають кращу комбінацію систем координат для подвоєнь або складань для мінімізації часу для піднесення до ступеня еліптичної кривої. Змішані координати діють найефективніше в алгоритмі попереднього обчислення [49].
2.4. Груповий закон для еліптичних кривих E( F(2m))

Груповий закон в афінних координатах

Нехай F(2m) для деякого m ≥ 1 є кінцевим полем. Нехай E є еліптичною кривою над F(2m), що задана рівнянням:

Y2 + XY = X3 + aX2 + b (1.16)

з a, b ∈ F(2m) – такими, що b ≠0F.

В афінних координатах груповий закон на еліптичній кривій (1.16) визначається таким чином:

⎯ точка на нескінченності є одиничним елементом 0Eщодо «+»;

⎯ якщо R = (x, y) ≠ 0Eє точкою на E, що задана в афінній системі координат, то –R = (x, x + y);

⎯ для точок R1 = (x1, y1) та R2 = (x2, y2) – таких, що R1 ≠ ±R2 і R1, R2 ≠ 0E існує сума у вигляді точки R3 = (x3, y3), де:

x3 = r2 + r + x1 + x2 + a;

y3 = r (x1 + x3) + x3 + y1, (1.17)

r = (y2 + y1) / (x2 + x1).

⎯  якщо R = (x, y) є точка на E – така, що R ≠ 0Eта x ≠ 0,то її подвоєнням є точка 2R = (x3, y3), де:

x3 = r2 + r + a;

y3 = x2 + (r + 1F) x3, (1.18)

r = x + (y / x).

У разі коли R = (0F, y), її подвоєнням є 2R = 0E.

При обчисленні згідно з (1.18) необхідно виконувати операцію ділення за модулем, що вимагає значних потужностей. Складність обчислень може бути пониженою при виконанні групових операцій у проективних координатах.
Груповий закон у проективних координатах для еліптичних кривих Е( F(2m))

Проективний аналог афінного рівняння (1.16) визначається над Пproj (F(2m)) і задається однорідним кубічним рівнянням:

Y2Z + XYZ = X3 + aX2Z + bZ3 з a, b ∈ F(2m). (1.19)

Безліч усіх трійок, еквівалентних (X, Y, Z), позначається як (X, Y, Z)/.


Еліптична крива, задана в проективних координатах, складається з усіх точок R = (X, Y, Z) функції F(2m) × F(2m) × F(2m) \ {(0F, 0F, 0F)} – таких, що трійка (X, Y, Z) є рішенням рівняння (1.19).

Коли еліптична крива задається в афінних координатах, а точка R – у проективних координатах, то справедливі твердження:

1) Якщо Q = (xQ, yQ) є афінною точкою E, то R = (xQ, yQ, 1F) є відповідною точкою в проективних координатах.

2) Якщо R = (X, Y, Z) (з Z ≠ 0F) є рішенням (1.19), то Q = (X/Z, Y/Z) є відповідною афінною точкою E.

3) Існує тільки одне рішення (1.19) з Z = 0F, а саме (0F, 1F, 0F). Ця точка відповідає OE.

У проективних координатах груповий закон на еліптичній кривій, що задана для (1.19), формулюється таким чином:

  1. Точка (0F, 1F, 0F) є одиничним елементом 0E щодо операції «+».

  2. Якщо R = (X, Y, Z) ≠ (0F, 1F, 0F) є точкою на E,заданою в проективних координатах, то:

R= (X, X+ Y, Z).

Нехай R1 = (X1, Y1, Z1) та R2 = (X2, Y2, Z2) є дві точки на Eтакі, що R1 R2 і R1, R2 ≠ (0F, 1F, 0F), тоді суму цих точок як точку R3 = (X3, Y3, Z3) можна обчислити за допомогою таких формул:

X3 = su;

Y3 = t (u + s2X1Z2) + s3Y1Z2 + su; (1.20)

Z3 = s3Z1Z3,

де

s = X2Z1 + X1Z2, t = Y2Z1 + Y1Z2, і u = (t2 + ts + as2) Z1Z2 + s3.

Нехай R = (X, Y, Z) ≠ (0F, 1F, 0F) є точка на E, тоді її подвоєння 2R = (X3, Y3, Z3) можуть бути обчислені за допомогою таких формул:

X3 = st;

Y3 = X4s + t (s + YZ + X2); (1.21)

Z3 = s3,

де

s = XZ і t = bZ4 + X4.

2.5 Груповий закон для еліптичних кривих E( F(3m))

Груповий закон в афінних координатах

Нехай

F(3m) для деякого цілого m ≥ 1 є кінцевим полем. Нехай також E є еліптичною кривою над полем F(3m), що задана рівнянням:

Y2 = X3 + aX2 + b, з a, b ∈ F(3m), (1.22)

причому a, b ≠ 0F.

В афінних координатах груповий закон на еліптичній кривій, що задана як (1.22), визначається таким чином:

  • точка на нескінченності є одиничним елементом 0Eщодо операції «+»;

– якщо R = (x, y) ≠ 0Eє точкою на E, що задана в афінній системі координат, тоді

R = (x, x + y);

  • якщо R1 = (x1, y1) та R2 = (x2, y2) є дві відмінні точки на кривій E – такі, що R1 ≠ ±R2 і R1, R2 ≠ 0E,тоді їх сумою є точка R3 = (x3, y3), де:

x3 = r2a – x1x2,

y3 = r (x1x3) – y1, (1.23)

причому

r = (y2y1) / (x2x1);

⎯ якщо R = (x, y) є точка на кривій E – така, що R ≠ 0Eта y ≠ 0F, то її подвоєнням є точка 2R = (x3, y3), координати якої визначаються згідно з формулами:

x3 = r2a + x,

y3 = r (x – x3) – y, (1.24)

причому

r = ax / y (окрім випадків, коли R = (x, 0F)), то її подвоєнням є 2R = 0E.
Груповий закон у проективних координатах

Проективний аналог афінного рівняння (1.22) визначається над Пproj (F(3m)) і задається однорідним кубічним рівнянням:

Y2Z = X3 + aX2Z + bZ3 з a, b ∈ F(3m). (1.25)

Еліптична крива, задана в проективних координатах, складається з усіх точок R = (X, Y, Z) для F(3m) × F(3m) × F(3m) /{(0F, 0F, 0F)} – таких, що трійка (X, Y, Z) є розв’язком рівняння (1.25).

Якщо еліптична крива задається в афінних координатах, а точка R – у проективних координатах, то справедливі твердження:

⎯  якщо Q = (xQ, yQ) є афінною точкою E, то R = (xQ, yQ, 1F) є відповідною точкою в проективних координатах;

⎯ якщо R = (X, Y, Z) (з Z ≠ 0F) є рішенням (7.10), то Q = (X/Z, Y/Z
) є відповідною точкою в афінних координатах;

⎯ існує тільки одне рішення рівняння (1.25) з Z = 0F, а саме: точка (0F, 1F, 0F), що відповідає 0E.
У проективних координатах груповий закон на еліптичній кривій, що задана для (1.25), є таким:

⎯ точка (0F, 1F, 0F) є одиничним елементом 0Eщодо операції «+».

⎯  якщо R = (X, Y, Z) ≠ (0F, 1F, 0F) є точкою на кривій E, що задана в проективних координатах, то й R = (X, X + Y, Z).

⎯ якщо R1 = (X1, Y1, Z1) та R2 = (X2, Y2, Z2) є дві відмінні точки на кривій E, але такі, що R1 ≠ ±R2 і R1, R2 ≠ (0F, 1F, 0F), тоді їх сума R3 = (X3, Y3, Z3) може бути обчислена за допомогою формул:

X3 = st2Z1Z2s3u;

Y3 = t (sX1Z2t2Z1Z2 + s2u) – s3Y1Z2; (1.26)

Z3 = s3Z1Z2,

причому

s = X2Z1X1Z2, t = Y2Z1Y1Z2, та u = aZ1Z2 + X1Z2 + X2Z1;

⎯  якщо R = (X, Y, Z) ≠ (0F, 1F, 0F) є точкою на кривій E, тодіїї подвоєння

2R = (X3, Y3, Z), тобто координати X3, Y3 і Z3 можуть бути обчислені за допомогою таких формул:

X3 = tY;

Y3 = s (XY2t) – Y4; (1.27)

Z3 = Y3Z,

причому

s = aX і t = s2Z – aY2Z + XY2.

Виконання операцій додавання та подвоєння при скалярному множенні вимагає виконання складної операції ділення за модулем над полем F(3m). Цей недолік деякою мірою усувається при застосуванні проективних базисів.


2.6 Складність обчислень у різних системах координат

Нижче наводяться оцінки складності виконання операцій в різних системах координат [31-32].

У разі коли E(F(q)) з p > 3, існує п’ять систем координат: афінні координати, проективні координати, координати Якобі, модифіковані координати Якобі та змішані координати. У випадках E(F(2m)) і E (F(3m
)) існує дві системи координат: афінні координати та проективні координати.

Позначимо відповідно афінні координати, проективні координати, координати Якобі й модифіковані координати Якобі символами А, P, J і Jm; час складання точок в координатах C1і C2з результатом в координатах C3 як t (C1 + C2 = C3); час подвоєння точки в координатах C1 з результатом в координатах C2 як t (2C1 = C2); і множення точок (зворотне та зведення у квадрат) у полі F(q) як М (відповідно I та S). У таблиці 1.1 надаються характеристики системи координат E(F(q))з p > 3. У таблиці 1.2 надаються характеристики системи координат E(F(2m)). У таблиці 1.3 надаються характеристики системи координат E(F(3m)).
Таблиця 1.1

Характеристики системи координат E(F(q)) з p > 3


Подвоєння

Складання


Операція

Складність обчислення

Операція


Складність обчислення

t (2P)

7M + 5S

t (Jm + Jm)

13M + 6S


t (2J)

4M + 6S

t (J + J)

12M + 4S


t (2Jm)

4M + 4S

t (P + P)

12M + 2S


t (2Jm = J)

3M + 4S

t (J + A = Jm)

9M + 5S


t (2A = Jm)

3M + 4S

t (Jm + A = Jm)

9M + 5S


t (2A = J)

2M + 4S

t (J + A = J)

8M + 3S






t (Jm + A = J)

8M + 3S







t (A + A = Jm)

5M + 4S

t (2A)

2M + 2S + I

t (A + A)

2M + S + I