All rules > rule id: 800979
Reaction SMARTS
[#1+0:1]-[#8+0:2]-[#15+0:14](-[#8-:15])(=[#8+0:16])-[#8+0:17]-[#6+0:18].[#1+0:3]-[#7+:6]1-[#6+0:5](=[#6+0:4]-[#7+0:8]-[#6+0:7]=1-[#1,#6;+0:9])-[#1,#6;+0:10].[#6+0:11](-[#6,#1;+0:12])(-[#8+0:13]-[#1+0:21])(-[#1,#6;+0:19])-[#6,#1;+0:20].[#8-:22]-[#6+0:23](=[#6+0:24])-[#6,#1;+0:25]>>[#1+0:1]-[#8+0:2]-[#1+0:3].[#6+0:4]1=[#6+0:5](-[#7+0:6]=[#6+0:7](-[#7+0:8]-1)-[#1,#6;+0:9])-[#1,#6;+0:10].[#6+0:11](-[#6,#1;+0:12])(-[#8+0:13]-[#15+0:14](-[#8-:15])(=[#8+0:16])-[#8+0:17]-[#6+0:18])(-[#1,#6;+0:19])-[#6,#1;+0:20].[#1+0:21]-[#8+0:22]-[#6+0:23](=[#6+0:24])-[#6,#1;+0:25]Simplified SMARTS
[H]OP([O-])(=O)OC.[H][N+]1=C(*)NC=C1*.C(*)(O[H])(*)*.[O-]C(=C)*>>[H]O[H].C1=C(*)N=C(*)N1.C(*)(OP([O-])(=O)OC)(*)*.[H]OC(=C)*Rule Set Version: 0.2
→