Delete instructsOldFormat.py