(source [0, 0] - [1, 0]
  (sqr_arr_lit [0, 0] - [0, 23]
    (num_lit [0, 2] - [0, 3])
    (sqr_arr_lit [0, 4] - [0, 15]
      (num_lit [0, 6] - [0, 7])
      (sqr_arr_lit [0, 8] - [0, 14]
        (num_lit [0, 10] - [0, 11])
        (num_lit [0, 12] - [0, 13])))
    (sqr_arr_lit [0, 16] - [0, 22]
      (num_lit [0, 18] - [0, 19])
      (num_lit [0, 20] - [0, 21]))))
