 {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'}