['3005_or', '', '+0+1+1-1-1'],
['3006_xor', '', '+0+1+0-2-1'],
['4001_strlen', '', '+11'],
+ ['4002_isdigit', '', '+0+1+1+0'],
['5001_abs', '', '+1+1+0+0'],
['5002_random', '', ''],
+ ['5003_gcd', '', '+0+4+4+3+3+3'],
['6001_printstackstring', '', 'test'],
['6002_printheapstring', '', 'test'],
['6003_printnumbersign', '', '+-'],