t machines definition tbeq

error code: 500

• error code: 500
• error code: 500