sysy-data/performance/in/hoist-3.in