Using COC[P+](c1ccccc1)(c1ccccc1)c1ccccc1, COc1cc(F)c(N2CCC(=O)CC2)cc1F to produce COC=C1CCN(c2cc(F)c(OC)cc2F)CC1, please predict the agent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.