update MasahiroSakai/TPPmark2014.agda