1fc0cd17597cf13d16309e08aedb9eb59bac1858
[YACASL2.git] / 0.txt
1 -32769:  32767 = #7FFF = 0111111111111111