Rename Lab3B.krl3 to Lab3B.krl