['3005_or', '', '+0+1+1-1-1'],
['3006_xor', '', '+0+1+0-2-1'],
['4001_strlen', '', '+11'],
['3005_or', '', '+0+1+1-1-1'],
['3006_xor', '', '+0+1+0-2-1'],
['4001_strlen', '', '+11'],
['5001_abs', '', '+1+1+0+0'],
['5002_random', '', ''],
['5003_gcd', '', '+0+4+4+3+3+3'],
['5001_abs', '', '+1+1+0+0'],
['5002_random', '', ''],
['5003_gcd', '', '+0+4+4+3+3+3'],