For n1..3 and a fully captured single-output Boolean truth-table mask f, reconst...
https://datenvertrag.halowerk.com/v1/boolean-npn-orbit-stabilizerOverview
For n1..3 and a fully captured single-output Boolean truth-table mask f, reconstruct ALL equivalent masks under input permutation, input negations and output negation. Truth bit a evaluates x_i=(a>>i)&1. Exact own action: y_i=x_permutation[i] XOR input_negation_mask[i], transformed(x)=f(y) XOR output_negation. Mask-bit i denotes the negation of source argument y_i. Return numerically sorted truth_masks, smallest canonical_truth, orbit_size, all original stabilizers, and group_order=n!*2^(n+1).