Updated Tychaia Definition file