Sophie
var a05776 = [ [ "_S_is_permutation", "a01488.html#ga511a0b9f56ed4997b93e589ad119060a", null ] ];