PanLinx
русский
rus-000
число логических переходов
English
eng-000
transition count
PanLex
