1. 1
2. 2
3. 3
4. 4
5. 5
6. 6
7. 7
8. 8
9. 9

["(4n (3n 0) (4n (4n (0n 0) (3n 0)) (4n (0n 1) (4n (2n (0n 1) (4n (0n 2) (3n 0)) (0n 0)) (5n (0n 3) (0n 2))))))",
  "(4n (3n 0) (4n (4n (0n 0) (3n 0)) (4n (4n (5n (0n 1) (0n 0)) (3n 0)) (4n (4n (0n 2) (4n (2n (0n 2) (4n (0n 3) (3n 0)) (0n 0)) (2n (0n 2) (4n (5n (0n 4) (0n 3)) (3n 0)) (2n (2n (2n (2n (6n) (4n (3n 0) (4n (4n (0n 0) (3n 0)) (4n (0n 1) (4n (2n (0n 1) (4n (0n 2) (3n 0)) (0n 0)) (5n (0n 3) (0n 2)))))) (0n 4)) (4n (4n (0n 4) (3n 0)) (4n (0n 5) (4n (2n (0n 1) (4n (0n 6) (3n 0)) (0n 0)) (5n (0n 7) (0n 2))))) (0n 3)) (4n (0n 4) (4n (2n (0n 4) (4n (0n 5) (3n 0)) (0n 0)) (5n (0n 6) (0n 5)))) (0n 1)) (4n (2n (0n 3) (4n (0n 4) (3n 0)) (0n 1)) (5n (0n 5) (0n 4))) (0n 0))))) (4n (5n (0n 3) (0n 2)) (2n (0n 2) (4n (5n (0n 4) (0n 3)) (3n 0)) (0n 0)))))))",
  "(4n (3n 0) (4n (3n 0) (4n (0n 1) (8n (0n 2) (0n 1)))))", "(4n (3n 0) (4n (3n 0) (4n (0n 0) (8n (0n 2) (0n 1)))))",
  "(4n (3n 0) (4n (3n 0) (4n (4n (8n (0n 1) (0n 0)) (3n 0)) (4n (4n (0n 2) (2n (0n 1) (4n (8n (0n 3) (0n 2)) (3n 0)) (2n (2n (2n (9n) (4n (3n 0) (4n (3n 0) (4n (0n 1) (8n (0n 2) (0n 1))))) (0n 3)) (4n (3n 0) (4n (0n 4) (8n (0n 5) (0n 1)))) (0n 2)) (4n (0n 3) (8n (0n 4) (0n 3))) (0n 0)))) (4n (4n (0n 2) (2n (0n 2) (4n (8n (0n 4) (0n 3)) (3n 0)) (2n (2n (2n (10n) (4n (3n 0) (4n (3n 0) (4n (0n 0) (8n (0n 2) (0n 1))))) (0n 4)) (4n (3n 0) (4n (0n 0) (8n (0n 6) (0n 1)))) (0n 3)) (4n (0n 3) (8n (0n 5) (0n 4))) (0n 0)))) (4n (8n (0n 4) (0n 3)) (2n (0n 3) (4n (8n (0n 5) (0n 4)) (3n 0)) (0n 0))))))))",
  "(4n (3n 0) (4n (0n 0) (12n (0n 0) (0n 0) (0n 1))))",
  "(4n (3n 0) (4n (0n 0) (4n (4n (0n 1) (4n (12n (0n 1) (0n 0) (0n 2)) (3n 0))) (4n (2n (2n (0n 0) (4n (0n 2) (4n (12n (0n 2) (0n 0) (0n 3)) (3n 0))) (0n 1)) (4n (12n (0n 1) (0n 1) (0n 2)) (3n 0)) (2n (2n (13n) (4n (3n 0) (4n (0n 0) (12n (0n 0) (0n 0) (0n 1)))) (0n 2)) (4n (0n 2) (12n (0n 0) (0n 0) (0n 3))) (0n 1))) (4n (0n 3) (4n (12n (0n 3) (0n 0) (0n 4)) (2n (2n (0n 3) (4n (0n 5) (4n (12n (0n 5) (0n 0) (0n 6)) (3n 0))) (0n 1)) (4n (12n (0n 4) (0n 1) (0n 5)) (3n 0)) (0n 0))))))))",
  "(3n 0)", "(15n)", "(4n (15n) (15n))",
  "(4n (4n (15n) (3n 1)) (4n (2n (0n 0) (4n (15n) (3n 1)) (16n)) (4n (4n (15n) (4n (2n (0n 2) (4n (15n) (3n 1)) (0n 0)) (2n (0n 3) (4n (15n) (3n 1)) (2n (17n) (4n (15n) (15n)) (0n 1))))) (4n (15n) (2n (0n 3) (4n (15n) (3n 1)) (0n 0))))))",
  "(3n 0)", "(19n)", "(3n 0)", "(4n (4n (21n) (3n 0)) (4n (21n) (2n (0n 1) (4n (21n) (3n 0)) (0n 0))))"]