factorial 4000, 2 workers