master-thesis/calca/heat_flow/hopsflow_factors.xopp