Tutorial 3: Differential casing thermal analysis by seal4...