split F Y pair F Y F nat nat Y nat pair nat nat nat nat split nat nat FULL benchmarks/mine/split.afs