construct/mc magic sequence
construct/mc magic sequence: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). A magic sequence of length 20 is a sequence x 0 , x 1 , ..., x 19 of non-negative integers such that for every i in 0..19, x i equals the number of times the value i occurs in the sequence.
The task
A magic sequence of length 20 is a sequence x[0], x[1], ..., x[19] of non-negative integers such that for every i in 0..19, x[i] equals the number of times the value i occurs in the sequence.