577378ef74408fd920e853c95160031f68523f51
[YACASL2.git] / 0.txt
1 -32767:  32769 = #8001 = 1000000000000001