import XRay

/- All eight declarations in Challenge.lean are proved by this library. -/