
| (a:) | n7 * rot7 + n4 * rot4 - (n7 + n4) * rot6 = 0 |
| (b:) | rot1 = rot2 |
| (c:) | n2 * rot2 + n3 * rot3 = 0 |
| (d:) | rot3 = rot4 |
| (e:) | rot7 = rot8 |
| (f:) | n8 * rot8 + n9 * rot9 = 0 |
| (g:) | rot9 = rot10 |
| (j:) | (d=>) | rot4 = rot3 |
| (c=>) | = (-1) * (n2 / n3) * rot2 | |
| (b=>) | = (-1) * (n2 / n3) * rot1 | |
| (k:) | (e=>) | rot7 = rot8 |
| (f=>) | = (-1) * (n9 / n8) * rot9 | |
| (g=>) | = (-1) * (n9 / n8) * rot10 |
| (l:) | d1 * rot1 * PI = 2 * t * PI |
| (m:) | rot6 = 1 |
| (n:) | rot10 = 0 |
| (k=>) | rot7 = 0 |
| (a=>) | n7 * 0 + n4 * rot4 - (n7 + n4) * 1 = 0 |
| (=>o:) | rot4 = (n7 + n4) / n4 |
| (j=>) | rot1 = (-1) * (n3 / n2) * (n7 + n4) / n4 |
| (l=>) | | d1 | = 2 * t * (n2 / n3) * (n4 / (n7 + n4)) |
| (p:) | d10 * rot10 * PI = 2 * t * PI |
| (q:) | rot1 = 0 |
| (j=>) | rot4 = 0 |
| (a=>) | n7 * rot7 + n4 * 0 - (n7 + n4) * 1 = 0 |
| (=>r:) | rot7 = (n4 + n7) / n7 |
| (k=>) | rot10 = (n8 / n9) * (n4 + n7) / n7 |
| (p=>) | d10 = 2 * t * (n9 / n8) * (n7 / (n4 + n7)) |