sysy-data/performance/in/00_bitset2.in