// time = 0.04 seconds

data[12]:=[**];