Artifact: cats-laws_native0.5_3