There was a PASCAL with the variables of SR 16, may not know where to put the.

• 还有一个用PASCAL写的16变量化简的，可不知道放哪去了。