(program
  1.0.0
  (con (list (list integer)) [[7], [5]])
)