t machines definition invb

error code: 500

• error code: 500
• error code: 500