Program used in the ASIACCS paper