PanLinx: verifiable formula

English	eng-000
verifiable formula

русский	rus-000	верифицируемая формула
русский	rus-000	проверяемая формула

PanLex-PanLinx