No. 516 (1997): PB-516 Construction of Occurrence Graphs with Permutation Symmetries Aided by the Backtrack Method