...
TIG0: [:1]~[#6X3:2]~[#6X3:3]~[:4]
...
TIG1c: ` [:1]~[#6X3:2](=[#8X1,#16X1])~[#7X3,#7X2-1:3]~[:4]
`
...
TIG1d: `[:1]~#6X3:2~[#7X3,#7X2-1,#7X2,#7X3+1:3]~[:4]`
...
...
TIG0: [:1]~[#6X3:2]~[#6X3:3]~[:4]
...
TIG1c: ` [:1]~[#6X3:2](=[#8X1,#16X1])~[#7X3,#7X2-1:3]~[:4]
`
...
TIG1d: `[:1]~#6X3:2~[#7X3,#7X2-1,#7X2,#7X3+1:3]~[:4]`
...