Partitioning from file functional