import data.pnat
open pnat subtype

print pnat

print prod