Sophie
var a05189 = [ [ "_S_is_permutation", "a01441.html#ga511a0b9f56ed4997b93e589ad119060a", null ] ];