Stabilizer Index by Pieter Gijsman