outtest.txt

Received the following input and output examples:
[(['h', 'i'], ['i', 'h'])]
Running synthesizer with
Vocab: {'i', 'h'}
Max sequence length: 2
Max weight: 7
(indices - indices)
[[0, 0]]
num_correct score: 0
(indices - 0)
[[0, 1]]
num_correct score: 0
(indices - 1)
[[-1, 0]]
num_correct score: 0
(0 - indices)
[[0, -1]]
num_correct score: 0
(1 - indices)
[[1, 0]]
num_correct score: 0
(select(tokens, tokens, ==))
[[[True, False], [False, True]]]
num_correct score: 0
(select(tokens, tokens, true))
[[[True, True], [True, True]]]
num_correct score: 0
(select(tokens, indices, ==))
[[[False, False], [False, False]]]
num_correct score: 0
(select(tokens, indices, true))
[[[True, True], [True, True]]]
num_correct score: 0
(select(indices, tokens, ==))
[[[False, False], [False, False]]]
num_correct score: 0
(select(indices, tokens, true))
[[[True, True], [True, True]]]
num_correct score: 0
(select(indices, indices, ==))
[[[True, False], [False, True]]]
num_correct score: 0
(select(indices, indices, true))
[[[True, True], [True, True]]]
num_correct score: 0
(select_width((select(tokens, tokens, ==))))
[[1, 1]]
num_correct score: 0
(select_width((select(tokens, tokens, true))))
[[2, 2]]
num_correct score: 0
(select_width((select(tokens, indices, ==))))
[[0, 0]]
num_correct score: 0
(select_width((select(tokens, indices, true))))
[[2, 2]]
num_correct score: 0
(select_width((select(indices, tokens, ==))))
[[0, 0]]
num_correct score: 0
(select_width((select(indices, tokens, true))))
[[2, 2]]
num_correct score: 0
(select_width((select(indices, indices, ==))))
[[1, 1]]
num_correct score: 0
(select_width((select(indices, indices, true))))
[[2, 2]]
num_correct score: 0
(indices - (indices - indices))
[[0, 1]]
num_correct score: 0
(indices - (indices - 0))
[[0, 0]]
num_correct score: 0
(indices - (indices - 1))
[[1, 1]]
num_correct score: 0
(indices - (0 - indices))
[[0, 2]]
num_correct score: 0
(indices - (1 - indices))
[[-1, 1]]
num_correct score: 0
(0 - (indices - indices))
[[0, 0]]
num_correct score: 0
(0 - (indices - 0))
[[0, -1]]
num_correct score: 0
(0 - (indices - 1))
[[1, 0]]
num_correct score: 0
(0 - (0 - indices))
[[0, 1]]
num_correct score: 0
(0 - (1 - indices))
[[-1, 0]]
num_correct score: 0
(1 - (indices - indices))
[[1, 1]]
num_correct score: 0
(1 - (indices - 0))
[[1, 0]]
num_correct score: 0
(1 - (indices - 1))
[[2, 1]]
num_correct score: 0
(1 - (0 - indices))
[[1, 2]]
num_correct score: 0
(1 - (1 - indices))
[[0, 1]]
num_correct score: 0
((indices - indices) - indices)
[[0, -1]]
num_correct score: 0
((indices - indices) - 0)
[[0, 0]]
num_correct score: 0
((indices - indices) - 1)
[[-1, -1]]
num_correct score: 0
((indices - 0) - indices)
[[0, 0]]
num_correct score: 0
((indices - 0) - 0)
[[0, 1]]
num_correct score: 0
((indices - 0) - 1)
[[-1, 0]]
num_correct score: 0
((indices - 1) - indices)
[[-1, -1]]
num_correct score: 0
((indices - 1) - 0)
[[-1, 0]]
num_correct score: 0
((indices - 1) - 1)
[[-2, -1]]
num_correct score: 0
((0 - indices) - indices)
[[0, -2]]
num_correct score: 0
((0 - indices) - 0)
[[0, -1]]
num_correct score: 0
((0 - indices) - 1)
[[-1, -2]]
num_correct score: 0
((1 - indices) - indices)
[[1, -1]]
num_correct score: 0
((1 - indices) - 0)
[[1, 0]]
num_correct score: 0
((1 - indices) - 1)
[[0, -1]]
num_correct score: 0
(aggregate((select(tokens, tokens, ==)), tokens))
[['h', 'i']]
num_correct score: 2
(aggregate((select(tokens, tokens, ==)), indices))
[[0.0, 1.0]]
num_correct score: 0
(aggregate((select(tokens, tokens, true)), indices))
[[0.5, 0.5]]
num_correct score: 0
(aggregate((select(tokens, indices, ==)), tokens))
[[None, None]]
num_correct score: 0
(aggregate((select(tokens, indices, ==)), indices))
[[None, None]]
num_correct score: 0
(aggregate((select(tokens, indices, true)), indices))
[[0.5, 0.5]]
num_correct score: 0
(aggregate((select(indices, tokens, ==)), tokens))
[[None, None]]
num_correct score: 0
(aggregate((select(indices, tokens, ==)), indices))
[[None, None]]
num_correct score: 0
(aggregate((select(indices, tokens, true)), indices))
[[0.5, 0.5]]
num_correct score: 0
(aggregate((select(indices, indices, ==)), tokens))
[['h', 'i']]
num_correct score: 2
(aggregate((select(indices, indices, ==)), indices))
[[0.0, 1.0]]
num_correct score: 0
(aggregate((select(indices, indices, true)), indices))
[[0.5, 0.5]]
num_correct score: 0
(indices - (select_width((select(tokens, tokens, ==)))))
[[-1, 0]]
num_correct score: 0
(indices - (select_width((select(tokens, tokens, true)))))
[[-2, -1]]
num_correct score: 0
(indices - (select_width((select(tokens, indices, ==)))))
[[0, 1]]
num_correct score: 0
(indices - (select_width((select(tokens, indices, true)))))
[[-2, -1]]
num_correct score: 0
(indices - (select_width((select(indices, tokens, ==)))))
[[0, 1]]
num_correct score: 0
(indices - (select_width((select(indices, tokens, true)))))
[[-2, -1]]
num_correct score: 0
(indices - (select_width((select(indices, indices, ==)))))
[[-1, 0]]
num_correct score: 0
(indices - (select_width((select(indices, indices, true)))))
[[-2, -1]]
num_correct score: 0
(indices - (indices - (indices - indices)))
[[0, 0]]
num_correct score: 0
(indices - (indices - (indices - 0)))
[[0, 1]]
num_correct score: 0
(indices - (indices - (indices - 1)))
[[-1, 0]]
num_correct score: 0
(indices - (indices - (0 - indices)))
[[0, -1]]
num_correct score: 0
(indices - (indices - (1 - indices)))
[[1, 0]]
num_correct score: 0
(indices - (0 - (indices - indices)))
[[0, 1]]
num_correct score: 0
(indices - (0 - (indices - 0)))
[[0, 2]]
num_correct score: 0
(indices - (0 - (indices - 1)))
[[-1, 1]]
num_correct score: 0
(indices - (0 - (0 - indices)))
[[0, 0]]
num_correct score: 0
(indices - (0 - (1 - indices)))
[[1, 1]]
num_correct score: 0
(indices - (1 - (indices - indices)))
[[-1, 0]]
num_correct score: 0
(indices - (1 - (indices - 0)))
[[-1, 1]]
num_correct score: 0
(indices - (1 - (indices - 1)))
[[-2, 0]]
num_correct score: 0
(indices - (1 - (0 - indices)))
[[-1, -1]]
num_correct score: 0
(indices - (1 - (1 - indices)))
[[0, 0]]
num_correct score: 0
(indices - ((indices - indices) - indices))
[[0, 2]]
num_correct score: 0
(indices - ((indices - indices) - 0))
[[0, 1]]
num_correct score: 0
(indices - ((indices - indices) - 1))
[[1, 2]]
num_correct score: 0
(indices - ((indices - 0) - indices))
[[0, 1]]
num_correct score: 0
(indices - ((indices - 0) - 0))
[[0, 0]]
num_correct score: 0
(indices - ((indices - 0) - 1))
[[1, 1]]
num_correct score: 0
(indices - ((indices - 1) - indices))
[[1, 2]]
num_correct score: 0
(indices - ((indices - 1) - 0))
[[1, 1]]
num_correct score: 0
(indices - ((indices - 1) - 1))
[[2, 2]]
num_correct score: 0
(indices - ((0 - indices) - indices))
[[0, 3]]
num_correct score: 0
(indices - ((0 - indices) - 0))
[[0, 2]]
num_correct score: 0
(indices - ((0 - indices) - 1))
[[1, 3]]
num_correct score: 0
(indices - ((1 - indices) - indices))
[[-1, 2]]
num_correct score: 0
(indices - ((1 - indices) - 0))
[[-1, 1]]
num_correct score: 0
(indices - ((1 - indices) - 1))
[[0, 2]]
num_correct score: 0
(0 - (select_width((select(tokens, tokens, ==)))))
[[-1, -1]]
num_correct score: 0
(0 - (select_width((select(tokens, tokens, true)))))
[[-2, -2]]
num_correct score: 0
(0 - (select_width((select(tokens, indices, ==)))))
[[0, 0]]
num_correct score: 0
(0 - (select_width((select(tokens, indices, true)))))
[[-2, -2]]
num_correct score: 0
(0 - (select_width((select(indices, tokens, ==)))))
[[0, 0]]
num_correct score: 0
(0 - (select_width((select(indices, tokens, true)))))
[[-2, -2]]
num_correct score: 0
(0 - (select_width((select(indices, indices, ==)))))
[[-1, -1]]
num_correct score: 0
(0 - (select_width((select(indices, indices, true)))))
[[-2, -2]]
num_correct score: 0
(0 - (indices - (indices - indices)))
[[0, -1]]
num_correct score: 0
(0 - (indices - (indices - 0)))
[[0, 0]]
num_correct score: 0
(0 - (indices - (indices - 1)))
[[-1, -1]]
num_correct score: 0
(0 - (indices - (0 - indices)))
[[0, -2]]
num_correct score: 0
(0 - (indices - (1 - indices)))
[[1, -1]]
num_correct score: 0
(0 - (0 - (indices - indices)))
[[0, 0]]
num_correct score: 0
(0 - (0 - (indices - 0)))
[[0, 1]]
num_correct score: 0
(0 - (0 - (indices - 1)))
[[-1, 0]]
num_correct score: 0
(0 - (0 - (0 - indices)))
[[0, -1]]
num_correct score: 0
(0 - (0 - (1 - indices)))
[[1, 0]]
num_correct score: 0
(0 - (1 - (indices - indices)))
[[-1, -1]]
num_correct score: 0
(0 - (1 - (indices - 0)))
[[-1, 0]]
num_correct score: 0
(0 - (1 - (indices - 1)))
[[-2, -1]]
num_correct score: 0
(0 - (1 - (0 - indices)))
[[-1, -2]]
num_correct score: 0
(0 - (1 - (1 - indices)))
[[0, -1]]
num_correct score: 0
(0 - ((indices - indices) - indices))
[[0, 1]]
num_correct score: 0
(0 - ((indices - indices) - 0))
[[0, 0]]
num_correct score: 0
(0 - ((indices - indices) - 1))
[[1, 1]]
num_correct score: 0
(0 - ((indices - 0) - indices))
[[0, 0]]
num_correct score: 0
(0 - ((indices - 0) - 0))
[[0, -1]]
num_correct score: 0
(0 - ((indices - 0) - 1))
[[1, 0]]
num_correct score: 0
(0 - ((indices - 1) - indices))
[[1, 1]]
num_correct score: 0
(0 - ((indices - 1) - 0))
[[1, 0]]
num_correct score: 0
(0 - ((indices - 1) - 1))
[[2, 1]]
num_correct score: 0
(0 - ((0 - indices) - indices))
[[0, 2]]
num_correct score: 0
(0 - ((0 - indices) - 0))
[[0, 1]]
num_correct score: 0
(0 - ((0 - indices) - 1))
[[1, 2]]
num_correct score: 0
(0 - ((1 - indices) - indices))
[[-1, 1]]
num_correct score: 0
(0 - ((1 - indices) - 0))
[[-1, 0]]
num_correct score: 0
(0 - ((1 - indices) - 1))
[[0, 1]]
num_correct score: 0
(1 - (select_width((select(tokens, tokens, ==)))))
[[0, 0]]
num_correct score: 0
(1 - (select_width((select(tokens, tokens, true)))))
[[-1, -1]]
num_correct score: 0
(1 - (select_width((select(tokens, indices, ==)))))
[[1, 1]]
num_correct score: 0
(1 - (select_width((select(tokens, indices, true)))))
[[-1, -1]]
num_correct score: 0
(1 - (select_width((select(indices, tokens, ==)))))
[[1, 1]]
num_correct score: 0
(1 - (select_width((select(indices, tokens, true)))))
[[-1, -1]]
num_correct score: 0
(1 - (select_width((select(indices, indices, ==)))))
[[0, 0]]
num_correct score: 0
(1 - (select_width((select(indices, indices, true)))))
[[-1, -1]]
num_correct score: 0
(1 - (indices - (indices - indices)))
[[1, 0]]
num_correct score: 0
(1 - (indices - (indices - 0)))
[[1, 1]]
num_correct score: 0
(1 - (indices - (indices - 1)))
[[0, 0]]
num_correct score: 0
(1 - (indices - (0 - indices)))
[[1, -1]]
num_correct score: 0
(1 - (indices - (1 - indices)))
[[2, 0]]
num_correct score: 0
(1 - (0 - (indices - indices)))
[[1, 1]]
num_correct score: 0
(1 - (0 - (indices - 0)))
[[1, 2]]
num_correct score: 0
(1 - (0 - (indices - 1)))
[[0, 1]]
num_correct score: 0
(1 - (0 - (0 - indices)))
[[1, 0]]
num_correct score: 0
(1 - (0 - (1 - indices)))
[[2, 1]]
num_correct score: 0
(1 - (1 - (indices - indices)))
[[0, 0]]
num_correct score: 0
(1 - (1 - (indices - 0)))
[[0, 1]]
num_correct score: 0
(1 - (1 - (indices - 1)))
[[-1, 0]]
num_correct score: 0
(1 - (1 - (0 - indices)))
[[0, -1]]
num_correct score: 0
(1 - (1 - (1 - indices)))
[[1, 0]]
num_correct score: 0
(1 - ((indices - indices) - indices))
[[1, 2]]
num_correct score: 0
(1 - ((indices - indices) - 0))
[[1, 1]]
num_correct score: 0
(1 - ((indices - indices) - 1))
[[2, 2]]
num_correct score: 0
(1 - ((indices - 0) - indices))
[[1, 1]]
num_correct score: 0
(1 - ((indices - 0) - 0))
[[1, 0]]
num_correct score: 0
(1 - ((indices - 0) - 1))
[[2, 1]]
num_correct score: 0
(1 - ((indices - 1) - indices))
[[2, 2]]
num_correct score: 0
(1 - ((indices - 1) - 0))
[[2, 1]]
num_correct score: 0
(1 - ((indices - 1) - 1))
[[3, 2]]
num_correct score: 0
(1 - ((0 - indices) - indices))
[[1, 3]]
num_correct score: 0
(1 - ((0 - indices) - 0))
[[1, 2]]
num_correct score: 0
(1 - ((0 - indices) - 1))
[[2, 3]]
num_correct score: 0
(1 - ((1 - indices) - indices))
[[0, 2]]
num_correct score: 0
(1 - ((1 - indices) - 0))
[[0, 1]]
num_correct score: 0
(1 - ((1 - indices) - 1))
[[1, 2]]
num_correct score: 0
((indices - indices) - (indices - 0))
[[0, -1]]
num_correct score: 0
((indices - indices) - (indices - 1))
[[1, 0]]
num_correct score: 0
((indices - indices) - (0 - indices))
[[0, 1]]
num_correct score: 0
((indices - indices) - (1 - indices))
[[-1, 0]]
num_correct score: 0
((indices - 0) - (indices - indices))
[[0, 1]]
num_correct score: 0
((indices - 0) - (indices - 1))
[[1, 1]]
num_correct score: 0
((indices - 0) - (0 - indices))
[[0, 2]]
num_correct score: 0
((indices - 0) - (1 - indices))
[[-1, 1]]
num_correct score: 0
((indices - 1) - (indices - indices))
[[-1, 0]]
num_correct score: 0
((indices - 1) - (indices - 0))
[[-1, -1]]
num_correct score: 0
((indices - 1) - (0 - indices))
[[-1, 1]]
num_correct score: 0
((indices - 1) - (1 - indices))
[[-2, 0]]
num_correct score: 0
((0 - indices) - (indices - indices))
[[0, -1]]
num_correct score: 0
((0 - indices) - (indices - 0))
[[0, -2]]
num_correct score: 0
((0 - indices) - (indices - 1))
[[1, -1]]
num_correct score: 0
((0 - indices) - (1 - indices))
[[-1, -1]]
num_correct score: 0
((1 - indices) - (indices - indices))
[[1, 0]]
num_correct score: 0
((1 - indices) - (indices - 0))
[[1, -1]]
num_correct score: 0
((1 - indices) - (indices - 1))
[[2, 0]]
num_correct score: 0
((1 - indices) - (0 - indices))
[[1, 1]]
num_correct score: 0
((select_width((select(tokens, tokens, ==)))) - indices)
[[1, 0]]
num_correct score: 0
((select_width((select(tokens, tokens, ==)))) - 0)
[[1, 1]]
num_correct score: 0
((select_width((select(tokens, tokens, ==)))) - 1)
[[0, 0]]
num_correct score: 0
((select_width((select(tokens, tokens, true)))) - indices)
[[2, 1]]
num_correct score: 0
((select_width((select(tokens, tokens, true)))) - 0)
[[2, 2]]
num_correct score: 0
((select_width((select(tokens, tokens, true)))) - 1)
[[1, 1]]
num_correct score: 0
((select_width((select(tokens, indices, ==)))) - indices)
[[0, -1]]
num_correct score: 0
((select_width((select(tokens, indices, ==)))) - 0)
[[0, 0]]
num_correct score: 0
((select_width((select(tokens, indices, ==)))) - 1)
[[-1, -1]]
num_correct score: 0
((select_width((select(tokens, indices, true)))) - indices)
[[2, 1]]
num_correct score: 0
((select_width((select(tokens, indices, true)))) - 0)
[[2, 2]]
num_correct score: 0
((select_width((select(tokens, indices, true)))) - 1)
[[1, 1]]
num_correct score: 0
((select_width((select(indices, tokens, ==)))) - indices)
[[0, -1]]
num_correct score: 0
((select_width((select(indices, tokens, ==)))) - 0)
[[0, 0]]
num_correct score: 0
((select_width((select(indices, tokens, ==)))) - 1)
[[-1, -1]]
num_correct score: 0
((select_width((select(indices, tokens, true)))) - indices)
[[2, 1]]
num_correct score: 0
((select_width((select(indices, tokens, true)))) - 0)
[[2, 2]]
num_correct score: 0
((select_width((select(indices, tokens, true)))) - 1)
[[1, 1]]
num_correct score: 0
((select_width((select(indices, indices, ==)))) - indices)
[[1, 0]]
num_correct score: 0
((select_width((select(indices, indices, ==)))) - 0)
[[1, 1]]
num_correct score: 0
((select_width((select(indices, indices, ==)))) - 1)
[[0, 0]]
num_correct score: 0
((select_width((select(indices, indices, true)))) - indices)
[[2, 1]]
num_correct score: 0
((select_width((select(indices, indices, true)))) - 0)
[[2, 2]]
num_correct score: 0
((select_width((select(indices, indices, true)))) - 1)
[[1, 1]]
num_correct score: 0
((indices - (indices - indices)) - indices)
[[0, 0]]
num_correct score: 0
((indices - (indices - indices)) - 0)
[[0, 1]]
num_correct score: 0
((indices - (indices - indices)) - 1)
[[-1, 0]]
num_correct score: 0
((indices - (indices - 0)) - indices)
[[0, -1]]
num_correct score: 0
((indices - (indices - 0)) - 0)
[[0, 0]]
num_correct score: 0
((indices - (indices - 0)) - 1)
[[-1, -1]]
num_correct score: 0
((indices - (indices - 1)) - indices)
[[1, 0]]
num_correct score: 0
((indices - (indices - 1)) - 0)
[[1, 1]]
num_correct score: 0
((indices - (indices - 1)) - 1)
[[0, 0]]
num_correct score: 0
((indices - (0 - indices)) - indices)
[[0, 1]]
num_correct score: 0
((indices - (0 - indices)) - 0)
[[0, 2]]
num_correct score: 0
((indices - (0 - indices)) - 1)
[[-1, 1]]
num_correct score: 0
((indices - (1 - indices)) - indices)
[[-1, 0]]
num_correct score: 0
((indices - (1 - indices)) - 0)
[[-1, 1]]
num_correct score: 0
((indices - (1 - indices)) - 1)
[[-2, 0]]
num_correct score: 0
((0 - (indices - indices)) - indices)
[[0, -1]]
num_correct score: 0
((0 - (indices - indices)) - 0)
[[0, 0]]
num_correct score: 0
((0 - (indices - indices)) - 1)
[[-1, -1]]
num_correct score: 0
((0 - (indices - 0)) - indices)
[[0, -2]]
num_correct score: 0
((0 - (indices - 0)) - 0)
[[0, -1]]
num_correct score: 0
((0 - (indices - 0)) - 1)
[[-1, -2]]
num_correct score: 0
((0 - (indices - 1)) - indices)
[[1, -1]]
num_correct score: 0
((0 - (indices - 1)) - 0)
[[1, 0]]
num_correct score: 0
((0 - (indices - 1)) - 1)
[[0, -1]]
num_correct score: 0
((0 - (0 - indices)) - indices)
[[0, 0]]
num_correct score: 0
((0 - (0 - indices)) - 0)
[[0, 1]]
num_correct score: 0
((0 - (0 - indices)) - 1)
[[-1, 0]]
num_correct score: 0
((0 - (1 - indices)) - indices)
[[-1, -1]]
num_correct score: 0
((0 - (1 - indices)) - 0)
[[-1, 0]]
num_correct score: 0
((0 - (1 - indices)) - 1)
[[-2, -1]]
num_correct score: 0
((1 - (indices - indices)) - indices)
[[1, 0]]
num_correct score: 0
((1 - (indices - indices)) - 0)
[[1, 1]]
num_correct score: 0
((1 - (indices - indices)) - 1)
[[0, 0]]
num_correct score: 0
((1 - (indices - 0)) - indices)
[[1, -1]]
num_correct score: 0
((1 - (indices - 0)) - 0)
[[1, 0]]
num_correct score: 0
((1 - (indices - 0)) - 1)
[[0, -1]]
num_correct score: 0
((1 - (indices - 1)) - indices)
[[2, 0]]
num_correct score: 0
((1 - (indices - 1)) - 0)
[[2, 1]]
num_correct score: 0
((1 - (indices - 1)) - 1)
[[1, 0]]
num_correct score: 0
((1 - (0 - indices)) - indices)
[[1, 1]]
num_correct score: 0
((1 - (0 - indices)) - 0)
[[1, 2]]
num_correct score: 0
((1 - (0 - indices)) - 1)
[[0, 1]]
num_correct score: 0
((1 - (1 - indices)) - indices)
[[0, 0]]
num_correct score: 0
((1 - (1 - indices)) - 0)
[[0, 1]]
num_correct score: 0
((1 - (1 - indices)) - 1)
[[-1, 0]]
num_correct score: 0
(((indices - indices) - indices) - indices)
[[0, -2]]
num_correct score: 0
(((indices - indices) - indices) - 0)
[[0, -1]]
num_correct score: 0
(((indices - indices) - indices) - 1)
[[-1, -2]]
num_correct score: 0
(((indices - indices) - 0) - indices)
[[0, -1]]
num_correct score: 0
(((indices - indices) - 0) - 0)
[[0, 0]]
num_correct score: 0
(((indices - indices) - 0) - 1)
[[-1, -1]]
num_correct score: 0
(((indices - indices) - 1) - indices)
[[-1, -2]]
num_correct score: 0
(((indices - indices) - 1) - 0)
[[-1, -1]]
num_correct score: 0
(((indices - indices) - 1) - 1)
[[-2, -2]]
num_correct score: 0
(((indices - 0) - indices) - indices)
[[0, -1]]
num_correct score: 0
(((indices - 0) - indices) - 0)
[[0, 0]]
num_correct score: 0
(((indices - 0) - indices) - 1)
[[-1, -1]]
num_correct score: 0
(((indices - 0) - 0) - indices)
[[0, 0]]
num_correct score: 0
(((indices - 0) - 0) - 0)
[[0, 1]]
num_correct score: 0
(((indices - 0) - 0) - 1)
[[-1, 0]]
num_correct score: 0
(((indices - 0) - 1) - indices)
[[-1, -1]]
num_correct score: 0
(((indices - 0) - 1) - 0)
[[-1, 0]]
num_correct score: 0
(((indices - 0) - 1) - 1)
[[-2, -1]]
num_correct score: 0
(((indices - 1) - indices) - indices)
[[-1, -2]]
num_correct score: 0
(((indices - 1) - indices) - 0)
[[-1, -1]]
num_correct score: 0
(((indices - 1) - indices) - 1)
[[-2, -2]]
num_correct score: 0
(((indices - 1) - 0) - indices)
[[-1, -1]]
num_correct score: 0
(((indices - 1) - 0) - 0)
[[-1, 0]]
num_correct score: 0
(((indices - 1) - 0) - 1)
[[-2, -1]]
num_correct score: 0
(((indices - 1) - 1) - indices)
[[-2, -2]]
num_correct score: 0
(((indices - 1) - 1) - 0)
[[-2, -1]]
num_correct score: 0
(((indices - 1) - 1) - 1)
[[-3, -2]]
num_correct score: 0
(((0 - indices) - indices) - indices)
[[0, -3]]
num_correct score: 0
(((0 - indices) - indices) - 0)
[[0, -2]]
num_correct score: 0
(((0 - indices) - indices) - 1)
[[-1, -3]]
num_correct score: 0
(((0 - indices) - 0) - indices)
[[0, -2]]
num_correct score: 0
(((0 - indices) - 0) - 0)
[[0, -1]]
num_correct score: 0
(((0 - indices) - 0) - 1)
[[-1, -2]]
num_correct score: 0
(((0 - indices) - 1) - indices)
[[-1, -3]]
num_correct score: 0
(((0 - indices) - 1) - 0)
[[-1, -2]]
num_correct score: 0
(((0 - indices) - 1) - 1)
[[-2, -3]]
num_correct score: 0
(((1 - indices) - indices) - indices)
[[1, -2]]
num_correct score: 0
(((1 - indices) - indices) - 0)
[[1, -1]]
num_correct score: 0
(((1 - indices) - indices) - 1)
[[0, -2]]
num_correct score: 0
(((1 - indices) - 0) - indices)
[[1, -1]]
num_correct score: 0
(((1 - indices) - 0) - 0)
[[1, 0]]
num_correct score: 0
(((1 - indices) - 0) - 1)
[[0, -1]]
num_correct score: 0
(((1 - indices) - 1) - indices)
[[0, -2]]
num_correct score: 0
(((1 - indices) - 1) - 0)
[[0, -1]]
num_correct score: 0
(((1 - indices) - 1) - 1)
[[-1, -2]]
num_correct score: 0
No exact program found but here are some approximate ideas: ['(indices - 0)', '(indices - 1)', '(aggregate((select(indices, indices, ==)), tokens))', '(aggregate((select(tokens, tokens, ==)), tokens))', '(indices - indices)']