Toolchain: leanprover/lean4:v4.33.0-rc1
Lean (version 4.33.0-rc1, arm64-apple-darwin24.6.0, commit 62eed1db4d67327ec8120be05f1a1b0847d74561, Release)

Exit code: 0
'BSMin01.projection_ignores_height' does not depend on any axioms
'BSMin01.projection_value' does not depend on any axioms
'BSMin01.distinct_integer_points_same_projection' does not depend on any axioms