
| (a:) | n4 * rot4 + n9 * rot9 - (n4 + n9) * rot3 = 0 |
| (b:) | n2 * rot2 - n3 * rot3 = 0 |
| (c:) | n6 * rot6 - n7 * rot7 = 0 |
| (d:) | rot1 = rot2 |
| (e:) | rot4 = rot7 |
| (f:) | rot5 = rot6 |
| (g:) | rot9 = rot10 |
| (d=>) | rot1 = rot2 |
| (b=>) | = (n3 / n2) * rot3 |
| (f=>) | rot5 = rot6 |
| (c=>) | = (n7 / n6) * rot7 |
| (e=>) | = (n7 / n6) * rot4 |
| (a=>h:) | n4 * (n6 / n7) * rot5 + n9 * rot10 - (n4 + n9) * (n2 / n3) * rot1 = 0 |
| (i:) | d1 * rot1 * PI = 2 * t * PI |
| (j:) | rot10 = 1 |
| (k:) | rot5 = 0 |
| (h=>) | n4 * (n6 / n7) * 0 + n9 * 1 - (n4 + n9) * (n2 / n3) * rot1 = 0 |
| rot1 = (n3 / n2) * n9 / (n4 + n9) | |
| (i=>) | d1 = 2 * t / rot1 |
| (l:) | d5 * rot5 * PI = 2 * t * PI |
| (m:) | rot1 = 0 |
| (h=>) | n4 * (n6 / n7) * rot5 + n9 * 1 - (n4 + n9) * (n2 / n3) * 0 = 0 |
| rot5 = (-1) * (n9 / n4) * (n7 / n6) | |
| (l=>) | d5 = 2 * t / | rot5 | |