*** Sort timeout --> Input: \f -> f [] == [] && (f [1] == [1]) && (f [0,1] == [0,1]) && (f [0,2] == [0,2]) && (f [1,0] == [0,1]) && (f [1,2] == [1,2]) && (f [2,0] == [0,2]) && (f [2,1] == [1,2]) && (f [0,1,2] == [0,1,2]) && (f [0,2,1] == [0,1,2]) && (f [1,0,2] == [0,1,2]) && (f [1,2,0] == [0,1,2]) && (f [2,0,1] == [0,1,2]) && (f [2,1,0] == [0,1,2])