generated tex
test case permutation