. . . . . . . . . . . . . . . . . . . . . . . . . "trunc"@la . . . . . . . . . . . . . . . . "truncav"@la . . . . . "lemma/129107" . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . "trunco"@la . . . . . . . . . "trunco"@la . . . . . . . . . . . . . . . . . . . . . . . . . . .