Using OC1(c2cn(C(c3ccccc3)(c3ccccc3)c3ccccc3)cn2)CC(c2ccc(F)cc2)c2ccccc21 to produce Fc1ccc(C2C=C(c3c[nH]cn3)c3ccccc32)cc1, please predict the agent for this reaction in SMILES notation in \boxed{$SMILES1, SMILES2, ...} format.