  {type: 't0', value: 'x0'},  {type: 't0', value: 'x0'},  {type: 't0', value: 'x0'},  {type: 't0', value: 'x0'},  {type: 't0', value: 'x0'},  {type: 't0', value: 'x0'},  {type: 't0', value: 'x0'},  {type: 't0', value: 'x0'},  {type: 't0', value: 'x0'},  {type: 't0', value: 'x0'}