numpy==1.22.0
torch==1.8.1
torchvision==0.9.1
z3-solver==4.8.15.0