[
  [7,
    [ "=(number,1)",  "=(seconds,78)" ],
    [
      ["function", "*", 2,
        [
          [ 3, 1, 4, 0, 6, 2, 5],
          [ 0, 3, 5, 1, 2, 6, 4],
          [ 5, 4, 3, 2, 0, 1, 6],
          [ 1, 0, 6, 3, 5, 4, 2],
          [ 2, 6, 1, 4, 3, 5, 0],
          [ 6, 2, 0, 5, 4, 3, 1],
          [ 4, 5, 2, 6, 1, 0, 3]
        ]
      ],
      ["function", "c1", 0,
         0
      ],
      ["function", "c2", 0,
         1
      ],
      ["function", "c3", 0,
         2
      ]
    ]
  ]
]