Added proof for random_4.py. Added *.pyc files to ignore list.
Added proof for random_4.py. Added *.pyc files to ignore list.

foobar167/junkyard,foobar167/junkyard,foobar167/junkyard,foobar167/junkyard,foobar167/junkyard,foobar167/junkyard