Adding machines.json from SLAPCHOP