receiving incremental file list
./
configs.tar.gz
python-py-aiger-bv.spec

sent 69 bytes  received 65,581 bytes  131,300.00 bytes/sec
total size is 65,374  speedup is 1.00
Shared connection to 10.0.1.54 closed.