a sample circuit in terms of constraints + permutation
a sample circuit in terms of constraints + permutation