. "2"^^ . . . . . . . "Sequential boolean analyzer"@en .