The controlled NOTs (with order 22w1 , according to Section 3.10) form a subgroup of the Sylow...

The controlled NOTs (with order 22w1 , according to Section
3.10) form a subgroup of the Sylow circuits (with order 22w1, according to
Section 3.11). Check that these orders fulfil Langrange’s theorem. What is the
index of the subgroup?