*** TAKE 0.05s --> Input: \f -> f 0 [] == [] && (f 0 [1] == [1]) && (f 0 [2] == [2]) && (f 1 [1] == []) && (f 1 [2] == []) && (f 1 [1,2] == [2]) && (f 1 [1,2,3] == [2,3]) && (f 2 [1,2] == []) && (f 2 [1,2,3] == [3])