A Smart Cell that can parse either a raw TH0 formula (with an optional context) or a full TH0 problem file.