add labs 12-13

migrate labs 12 and 13 from rest to markdown