master-thesis/calca/heat_flow/two_ho.xopp