// time = 0.029 seconds

data[10]:=[**];