[
  (builtins.mul 4 9)
  (builtins.mul 0 7)
  (builtins.mul 7 0)
  (builtins.mul 7 2)
]