pos(f([32, 63, 52, 42, 14, 78, 99, 96, 99, 48],[48, 32, 63, 52, 42, 14, 78, 99, 96, 99, 48])).