cd reduction-gluing && python3 verify_invariant_decomposition.py
