为每个输入证明普通TypeScript的规则，或者得到一个打破规则的输入：从源读取，由Z3求解。
8.0.0
19.3.1
5.3.2
6.0.3
^4.0.6
^4.17.21
4.13.13
0.71.0
4.0.6
1.89.0
4.18.1
24.19.2
19.3.0
7.0.2005
4.17.12