MD5 (uppaal.zip) = 2358ab2a7cf8a575015066a144bc7603
SIZE (uppaal.zip) = 8535802