4023 data/F.in data/F.out