These are byte-compiled programs compiled by Python 3.0