Parse successful.
sign: (set1 * set2)
body: (set0, set1)
sign: (set2 * [0])
body: (set1, set0)
Checkmate, dram!