Stabilizer_formalism loading ...