...
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]`
...
...
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]`
...