Traceback (most recent call last):

 "<pyshell#21>", line 1, in -toplevel-
save('test',test)

 "C:\Python23\Lib\site-packages\numpy\lib\io.py", line 159, in save
format.write_array(fid, arr)

 "C:\Python23\Lib\site-packages\numpy\lib\format.py", line 285, in write_array
write_array_header_1_0(fp, header_data_from_array_1_0(array))

 "C:\Python23\Lib\site-packages\numpy\lib\format.py", line 172, in write_array_header_1_0
for key, value in sorted(d.items()):NameError: global name 'sorted' is not defined
Traceback (most recent call last):
| Elapsed Time: 0:00:53 ETA:
0:01:29


 "/home/lrxiao/.pyenv/versions/3.6.1/lib/python3.6/site-packages/claripy/frontends/light_frontend.py", line 40, in eval

return tuple(self._solver_backend.eval(e, n))


 "/home/lrxiao/.pyenv/versions/3.6.1/lib/python3.6/site-packages/claripy/backends/__init__.py", line 447, in eval

self.convert(expr), n, extra_constraints=self.convert_list(extra_constraints),


 "/home/lrxiao/.pyenv/versions/3.6.1/lib/python3.6/site-packages/claripy/backends/__init__.py", line 160, in convert

r = self.call(expr.op, expr.args)


 "/home/lrxiao/.pyenv/versions/3.6.1/lib/python3.6/site-packages/claripy/backends/__init__.py", line 194, in call

converted = self.convert_list(args)


 "/home/lrxiao/.pyenv/versions/3.6.1/lib/python3.6/site-packages/claripy/backends/__init__.py", line 182, in convert_list

return [ self.convert(a) for a in args ]


 "/home/lrxiao/.pyenv/versions/3.6.1/lib/python3.6/site-packages/claripy/backends/__init__.py", line 182, in <listcomp>

return [ self.convert(a) for a in args ]


 "/home/lrxiao/.pyenv/versions/3.6.1/lib/python3.6/site-packages/claripy/backends/__init__.py", line 160, in convert

r = self.call(expr.op, expr.args)


 "/home/lrxiao/.pyenv/versions/3.6.1/lib/python3.6/site-packages/claripy/backends/__init__.py", line 194, in call

converted = self.convert_list(args)


 "/home/lrxiao/.pyenv/versions/3.6.1/lib/python3.6/site-packages/claripy/backends/__init__.py", line 182, in convert_list

return [ self.convert(a) for a in args ]


 "/home/lrxiao/.pyenv/versions/3.6.1/lib/python3.6/site-packages/claripy/backends/__init__.py", line 182, in <listcomp>

return [ self.convert(a) for a in args ]


 "/home/lrxiao/.pyenv/versions/3.6.1/lib/python3.6/site-packages/claripy/backends/__init__.py", line 179, in convert

return self._convert(expr)


 "/home/lrxiao/.pyenv/versions/3.6.1/lib/python3.6/site-packages/claripy/backends/backend_concrete.py", line 87, in _convert

raise BackendError("can't handle AST of type %s" % type(a))
claripy.errors.BackendError: can't handle AST of type <class 'str'>
