[
  [7,
    [ "=(number,1)",  "=(seconds,2)" ],
    [
      ["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
      ]
    ]
  ],
  [7,
    [ "=(number,2)",  "=(seconds,13)" ],
    [
      ["function", "*", 2,
        [
          [ 3, 4, 2, 0, 6, 1, 5],
          [ 5, 3, 4, 1, 0, 2, 6],
          [ 0, 5, 3, 2, 1, 6, 4],
          [ 2, 6, 0, 3, 5, 4, 1],
          [ 1, 2, 6, 4, 3, 5, 0],
          [ 6, 0, 1, 5, 4, 3, 2],
          [ 4, 1, 5, 6, 2, 0, 3]
        ]
      ],
      ["function", "c1", 0,
         0
      ],
      ["function", "c2", 0,
         1
      ],
      ["function", "c3", 0,
         2
      ]
    ]
  ],
  [7,
    [ "=(number,3)",  "=(seconds,15)" ],
    [
      ["function", "*", 2,
        [
          [ 3, 4, 5, 0, 2, 1, 6],
          [ 5, 3, 2, 1, 0, 6, 4],
          [ 4, 1, 3, 2, 6, 0, 5],
          [ 6, 2, 1, 3, 5, 4, 0],
          [ 1, 6, 0, 4, 3, 5, 2],
          [ 2, 0, 6, 5, 4, 3, 1],
          [ 0, 5, 4, 6, 1, 2, 3]
        ]
      ],
      ["function", "c1", 0,
         0
      ],
      ["function", "c2", 0,
         1
      ],
      ["function", "c3", 0,
         2
      ]
    ]
  ]
]