path: root/test-files/mds-kbdc/simplify-tree/valid/unordered_sequence

(1 2 3) : 0

# (map (@ 1 0-0)
#   (.sequence
#     (string (@ 1 1-2) ‘1’)
#     (string (@ 1 3-4) ‘2’)
#     (string (@ 1 5-6) ‘3’)
#   )
#   (.result
#     (string (@ 1 10-11) ‘0’)
#   )
# )
# (map (@ 1 0-0)
#   (.sequence
#     (string (@ 1 1-2) ‘1’)
#     (string (@ 1 5-6) ‘3’)
#     (string (@ 1 3-4) ‘2’)
#   )
#   (.result
#     (string (@ 1 10-11) ‘0’)
#   )
# )
# (map (@ 1 0-0)
#   (.sequence
#     (string (@ 1 3-4) ‘2’)
#     (string (@ 1 1-2) ‘1’)
#     (string (@ 1 5-6) ‘3’)
#   )
#   (.result
#     (string (@ 1 10-11) ‘0’)
#   )
# )
# (map (@ 1 0-0)
#   (.sequence
#     (string (@ 1 3-4) ‘2’)
#     (string (@ 1 5-6) ‘3’)
#     (string (@ 1 1-2) ‘1’)
#   )
#   (.result
#     (string (@ 1 10-11) ‘0’)
#   )
# )
# (map (@ 1 0-0)
#   (.sequence
#     (string (@ 1 5-6) ‘3’)
#     (string (@ 1 1-2) ‘1’)
#     (string (@ 1 3-4) ‘2’)
#   )
#   (.result
#     (string (@ 1 10-11) ‘0’)
#   )
# )
# (map (@ 1 0-0)
#   (.sequence
#     (string (@ 1 5-6) ‘3’)
#     (string (@ 1 3-4) ‘2’)
#     (string (@ 1 1-2) ‘1’)
#   )
#   (.result
#     (string (@ 1 10-11) ‘0’)
#   )
# )