Added SMT-ExamplesToHTML