Implemented Godel decoder, filename: decode_godel.py. Had to make tiny change to godel.py to make sure all digits of the integer were output to the file (to make decoding possible).