HPTC 2013 submission version