These are byte-compiled programs compiled by Python 2.5