These have been created by a SHA.1 based procedure, see http://www.skip-vpn.org/spec/numbers.html. (These values are taken from that document, I have not implemented the prime generator.)
