Print invariants