Here's a derivation of HI-11 from HI-12: |
||
1. CCCpqrCsCCrCrtCqt [HI-12] D1.1 = 2. CpCCCqCCrCrsCtsCCqCCrCrsCtsuCr D2.2 = 3. CCCpCCqCqrCsrCCpCCqCqrCsrtCqt D1.3 = 4. CpCCCqrCCqrsCCCtCCqCquCvurs D3.2 = 5. CCpCpqCpCrCsq D4.4 = 6. CCCpqCCpqrCCCsCCpCptCutqr D1.6 = 7. CpCCCCCqCCrCrsCtsuvCCCCqCCrCrsCtsuvwCCCruvw D5.7 = 8. CCCCCpCCqCqrCsrtuCCCCpCCqCqrCsrtuvCwCxCCqtuv D8.1 = 9. CpCqCCCrstCCtCtuCsu D9.9 = 10. CpCCCqrsCCsCstCrt [HI-11] |
||
|