Sophie
var a05779 = [ [ "_S_is_permutation", "a01491.html#ga511a0b9f56ed4997b93e589ad119060a", null ] ];