txt2binl.py