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